% MAKRON AKRON Capitulo FUNGOES ORTOGONAIS E SERIES DE FOURIER 11.1 Fungdes Ortogonais 11.2. Séries de Fourier 11.3 Séries de Fourier do Cosseno e do Seno 11.4 O Problema de Sturm-Liouville Conceitos Importantes Fungées ortogonais, Conjunto ortogonal Norma Norma quadritica Ortogonalidade em relagio a uma fungio peso Série de Fourier generalizada Série de Fourier Fungo par Fungio impar Série do cosseno Série do seno Desenvolvimento em meio-intervale Autovalores. Autofungdes problema de Sturm-Liowville Séries de Fourier-Bessel Séries de Fourier-Legendre 115 Séries de Bessel e de Legendre Capfiulo 11 Revisio Capftulo 11 Exercicios de Revisio No calcu dimensdes e vimos que dois vetores ndo-nulos sto ortogonais ‘quando seu produto escalar, ou produto interno, é zero. Além do nivel do cilculo, as nocées de vetor, ertogonalidade produto interno em geral perdem sua interpretacio geométrica. Tais conceitos foram generalizados; é perfeitamente normal ‘encarar uma fungi como um vetor. Podemos dizer que duas funeSes distintas s40 ortogonals quando seu produto interno é zero. Nese caso, veremos que o produto interno desses vetores é, na realidade, uma integral definida. O coneeito de fungae ortogonal é fundamental para o estudo dos Capitulos (2013 Outre conceito encontrado no calculo é o de desenvolvimento de uma funcio em uma série infinita de poténcias. Neste capitulo, veremos come desenvolver uma fungéo em termos de um conjunto infinita de funcdes ortogonais. ‘estudamos vetores em espagos de duas © trés 199200 Equagdes Diferenciais Cap. 11 Volume 2 11.1 FUNGOES ORTOGONAIS Em matemética avangada, uma fungdo € considerada como uma generalizagao de um vetor, Nesta segiio, veremas como os dois conceitos vetoriais de produto interno (escalar) e ortogonalidade podem ser estendidos a fungées. ‘Sejam u ¢ ¥ vetores no espago tridimensional, ou espago-3. O produto interno (u, y) dos dois vetores, também denotado por u . v, apresenta as seguintes propriedades: @ (a, v¥= (vm) Gi) (ku, v) = k(u, v), kescalar (iii) (u,u)=Oseu=0 € (uyu)>Oseurd (iv) (u + v, w) = (u, w) + (Vv, w) ‘Naturalmente, € de se esperar que uma generalizagio do produto interno também apresente essas propriedades, Produto Interno Sejam f, e f, fungdes definidas em um intervalo (a, b]." Como uma integral definida do produto f,COf,) também apresenta as propriedades (i) — (iv) quando as integrais existe, estamos em condigdes de formular a definigao a seguir. DEFINIGAO 11.1 Produto Interno O produto interno de duas fungdes f, e f, em um intervalo [a, 5] & 0 nfimero Gr hd=[ Rone a Fungées Ortogonais Motivados pelo fato de que dois vetores u ¢ v sio ortogonais quando seu produto interno € zero, definimos de maneira andloga as fungées ortogonais. DEFINICAO 11.2. Funcées Ortogonais Duas fungdes f, © f, sio ortogonais em um intervalo [a, b] se + (irf)=[ ACAcr4e=0 D Ao contrério do que ocorre na andlise vetorial, onde a palavra ortogonal € sinénima de “perpendicular”, no presente contexto a termo ortogonal e a condigéo (1) nfo tém qualquer significado geométrico. © O intervalo pode ser também (—Volume 2 Cap. 11 Fungdes ortogonais ¢ series de Fourier 208 EXEMPLO 1 As fungbes f(x) = 5 so ortogonais no intervalo [-1, 1], pois ihre f) feanerer Pe fe du-cy'i=0 ‘a Conjuntos Ortogenais Estamos interessados essencialmente em conjuntos infinitos de fungées ortogonais, DEFINIGAO 11.3 Conjuntos Ortogenais Diz-se que um conjunto de fungdes com valores reais {,(. 0,00, 409, .} € ortogonal em um intervalo [a, b] se (6$s)= [Gal 6dr=0, mn a ‘A norma, ou comprimento | w], de um vetor u pode ser expressa em termos do produto interno, a saber, (uu) = fu [ou | uj = Y(,u). A norma, ou comprimento generalizado, de uma fungio ¢, € | 6,629 |= VO p09n): isto 8 Inacots ff zene O némero [eco [rtm @ échamado norma quadrétiea, ou quadrado da norma de @,. Se {@,(x)} 6 um conjunto ortogonal de fungées no intervalo [a, 6] com a propriedade de que | ¢,(x)|] = 1 para n = 0, 1, 2,..., entio {9,(4)} € chamado um conjunto ortonermal no intervalo, EXEMPLO 2 “Mostre que 0 conjunto {1, c0s x, cos 2x, ...} € ortogonal no intervalo [-%, 7 Solugao Fazendo 6,(x) = 1 € ¢,(x) = cos mx, devemos mostrar que F200 ()dx=0, n#06 * JF Sn2ddq(2)de=0, msn. Temos, no primeira caso, Ls