CAP 11 - Props de Algumas Funçoes Especiais

Cap tulo 11 Propriedades de Algumas Funes Especiais co
Contedo u
Discusso Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 11.1.1 Relaes de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . co 11.1.1.1 Condies de Contorno e a Origem das Relaes de Ortogonalidade . co co 11.1.2 Frmulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 11.1.3 Funes Geratrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . co 11.2 Propriedades de Algumas Funes Especiais . . . . . . . . . . . . . . . . . co 11.2.1 Propriedades dos Polinmios de Legendre . . . . . . . . . . . . . . . . . . . . o 11.2.2 Propriedades dos Polinmios de Legendre Associados . . . . . . . . . . . . . o 11.2.2.1 As Funes Harmnicas Esfricas . . . . . . . . . . . . . . . . . . . . co o e 11.2.2.2 Frmula de Adio de Funes Harmnicas Esfricas . . . . . . . . . o ca co o e 11.2.3 Propriedades dos Polinmios de Hermite . . . . . . . . . . . . . . . . . . . . o 11.2.4 Propriedades dos Polinmios de Laguerre . . . . . . . . . . . . . . . . . . . . o 11.2.5 Propriedades dos Polinmios de Laguerre Associados . . . . . . . . . . . . . o 11.2.6 Propriedades das Funes de Bessel . . . . . . . . . . . . . . . . . . . . . . . co 11.2.7 Propriedades das Funes de Bessel Esfricas . . . . . . . . . . . . . . . . . . co e 11.3 Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . APENDICES . . . . . . . . . . . . . . . 11.A Provando (11.70) ` Fora Bruta . . . . . . . . . . . . . . . . . . . . . . . . . a c 11.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 487 . . 488 . . 492 . . 496 . . 498 . 506 . . 506 . . 511 . . 517 . . 519 . . 523 . . 527 . . 531 . . 534 . . 548 . 552 . 555 . 555
ste cap tulo d continuidade ao Cap a tulo 10 e concentra-se no estudo de propriedades especiais de algumas das funoes l apresentadas como soluoes de equaoes diferenciais de interesse. Nossos principais objetivos so a c a c c a deduao das relaoes de ortogonalidade de certas funoes, a deduao das chamadas frmulas de Rodrigues e de c c c c o relaoes de recorrncia para as mesmas e tambm a determinaao de suas funoes geratrizes. Essas propriec e e c c dades, que sero devidamente denidas e discutidas na Seao 11.1, so uteis para a resoluao de equaoes diferenciais, a c a c c especialmente aquelas provenientes de problemas envolvendo equaoes diferenciais parciais submetidas a certas condioes c c iniciais e/ou de contorno. Exemplos de aplicaoes a problemas f c sicos so discutidos no Cap a tulo 16, pgina 691. Ainda a que nosso tratamento seja to completo quanto poss a vel, dentro do escopo relativamente limitado que pretendemos ter, repetimos aqui a recomendaao das referncias listadas no Cap c e tulo 10 ` pgina 415. a a
11.1
Discusso Preliminar a
Na prxima seao, a Seao 11.2, tencionamos apresentar ao leitor certas propriedades de algumas das funoes encontrao c c c das como soluao de equaoes diferenciais de interesse em F c c sica, propriedades essas cuja utilidade maior manifesta-se especialmente, como mencionado, na resoluao de equaes diferenciais parciais submetidas a certas condioes iniciais c co c e/ou de contorno. Na presente seao prepararemos o terreno discutindo algumas idias gerais. c e As idias gerais que apresentaremos envolvem 1. as chamadas relaoes de ortogonalidade, que generalizam aquelas e c bem-conhecidas da teoria das sries de Fourier; 2. as chamadas frmulas de Rodrigues, uteis para a obtenao de relaoes e o c c de recorrncia entre funoes e 3. as chamadas funoes geratrizes, das quais outras propriedades uteis so extra e c c a das, como por exemplo representaoes integrais para certas funes. c co Os exemplos principais dos quais trataremos a seguir, na Seao 11.2, envolvem os polinmios de Legendre, de Hermite c o e de Laguerre e as funoes de Bessel, todas de importncia na resoluao de problemas do Eletromagnetismo, de Mecnica c a c a Quntica, da Mecnica dos Fluidos e de outras reas. a a a
487
JCABarata. Curso de F sica-Matemtica a
Verso de 4 de abril de 2009. a
Cap tulo 11
488/1628
11.1.1
Relaes de Ortogonalidade co
No Cap tulo 10 tratamos nossas equaoes diferenciais como equaoes no plano complexo. Para a discusso das chamadas c c a relaoes de ortogonalidade devemos considerar apenas equaoes diferenciais de uma varivel real. De qualquer forma, c c a na absoluta maioria das equaoes diferenciais de interesse em F c sica a funao incgnita y uma funao de uma varivel c o e c a real, digamos, x, e assim consideraremos aqui. Seja o problema de determinar as soluoes no-nulas da equaao diferencial y (x) + y(x) = 0, com x restrita ao c a c intervalo [0, ], e que satisfaam as condioes y(0) = y() = 0. Tais soluoes somente existem se for da forma = m2 c c c com m = 1, 2, 3, . . . e so, para cada tal m, da forma ym (x) = sen (mx). Esse problema surge em um problema clssico a a da mecnica de corpos deformveis, a saber, no problema da corda vibrante homognea, do qual tratamos na Seao a a e c 16.5.1, pgina 743. De importncia crucial na resoluao daquele problema so as chamadas relaoes de ortogonalidade a a c a c satisfeitas pelas funoes sen (mx) no intervalo [0, ], as quais armam que 0 sen (mx) sen (nx)dx = m, n , para todos c 2 m, n = 1, 2, 3, . . .. Como o leitor pode constatar pela leitura da Seao 16.5.1, essas relaoes permitem a obtenao de c c c soluoes da equaao de movimento da corda vibrante homognea que satisfaam condioes, ditas condioes iniciais, que c c e c c c xem a posiao e a velocidade de cada ponto da corda no instante inicial de seu movimento (problema de Cauchy). c Diversos outros problemas f sicos, alguns tambm tratados no Cap e tulo 16, pgina 691, podem ser igualmente resolvia dos com o uso de relaoes de ortogonalidade anlogas. Na presente seao discutiremos de forma bastante geral como tais c a c relaoes se originam. Na Seao 11.2, pgina 506, veremos as idias aqui apresentadas serem empregadas em exemplos c c a e concretos que, por sua vez, encontraro aplicaoes nos problemas tratados no Cap a c tulo 16. Mencionamos, por m, que as relaoes de ortogonalidade aqui discutidas podem ser elegantemente descritas na teoria c dos espaos de Hilbert, que introduzimos no Cap c tulo 31, pgina 1466. Na teoria dos espaos de Hilbert at mesmo a a c e denominaao relaoes de ortogonalidade, a qual pode parecer obscura a um leitor iniciante, torna-se natural. Boa parte c c dos desenvolvimentos que introduziremos na presente seo sero reencontrados na discusso do chamado problema de ca a a Sturm-Liouville, ao qual dedicamos o Cap tulo 13, pgina 618. a Resultados preparatrios o
Vamos comear nossa discusso mencionando alguns resultados uteis que sero usados logo adiante. c a a
Lema 11.1 Seja O R um aberto e seja x0 um ponto de O. Vamos supor que tenhamos duas funoes reais diferenciveis c a f e g : O R ou C que satisfaam 1 f (x0 ) + 2 f (x0 ) = 0 e 1 g(x0 ) + 2 g (x0 ) = 0, para constantes (reais ou complexas) c 1 e 2 , ambas no-simultaneamente nulas, ou seja, (1 , 2 ) = (0, 0). Ento, vale a a f (x0 )g (x0 ) f (x0 )g(x0 ) = 0 . Se as constantes 1 e 2 acima forem constantes reais, vale tambm e f (x0 )g (x0 ) f (x0 )g(x0 ) = 0 . (11.2) (11.1)
Prova. As condioes do enunciado podem ser escritas em forma matricial como c f (x0 ) f (x0 ) g(x0 ) g (x0 ) 1 2 = 0 0 .
Logo, como (1 , 2 ) = (0, 0), a matriz do lado esquerdo deve ser no-invers a vel, ou seja, seu determinante deve ser nulo: f (x0 )g (x0 ) f (x0 )g(x0 ) = 0. Se 1 e 2 forem constantes reais vale tambm e f (x0 ) f (x0 ) g(x0 ) g (x0 ) 1 2 = 0 0
e, pelo mesmo argumento de acima, segue que f (x0 )g (x0 ) f (x0 )g(x0 ) = 0. Corolrio 11.1 Seja O R um aberto e seja x0 um ponto de O. Seja u : O C uma funao diferencivel. Ento, uma a c a a a condiao necessria e suciente para que existam constantes reais 1 e 2 , ambas no-simultaneamente nulas, ou seja, c a (1 , 2 ) = (0, 0) tais que 1 u(x0 ) + 2 u (x0 ) = 0 para algum x0 O que valha u(x0 )u (x0 ) u (x0 )u(x0 ) = 0. e
Cap tulo 11
489/1628
a Prova. Se existirem constantes reais 1 e 2 , ambas no-simultaneamente nulas, tais que 1 u(x0 ) + 2 u (x0 ) = 0 para algum x0 O, ento, adotando f = g = u em (11.2) segue que u(x0 )u (x0 ) u (x0 )u(x0 ) = 0. Reciprocamente, se a u(x ) a a a u(x0 )u (x0 ) u (x0 )u(x0 ) = 0 ento a matrix u(x0 ) u (x0 ) no tem inversa e, portanto, pelo Corolrio 5.2, pgina 197, a u (x )
0 0
existe um vetor no-nulo a
1 2
C2 tal que u(x0 ) u (x0 ) u(x0 ) u (x0 ) 1 2 = 0 0 . (11.3)
Isso arma que 1 u(x0 ) + 2 u (x0 ) = 0 e que 1 u(x0 ) + 2 u (x0 ) = 0. Tomando o complexo conjugado dessas igualdades, obtemos 0 1 u(x0 ) u (x0 ) = . (11.4) 0 2 u(x0 ) u (x0 ) Somando e subtraindo (11.3) de (11.4) obtemos u(x0 ) u(x0 ) u (x0 ) u (x0 ) Re (1 ) Re (2 ) = 0 0 e u(x0 ) u (x0 ) u(x0 ) u (x0 ) Im (1 ) Im (2 ) = 0 0 .
Como (1 , 2 ) = (0, 0) ento ou (1 , 2 ) = Re (1 ), Re (2 ) ou (1 , 2 ) = Im (1 ), Im (2 ) (ou ambos) so vetores a a a a reais no-nulos. Assim, provamos que existem constantes reais 1 e 2 , ambas no-simultaneamente nulas, tais que 0 1 u(x0 ) u (x0 ) = , e, portanto, tais que 1 u(x0 ) + 2 u (x0 ) = 0. 0 2 u(x0 ) u (x0 ) Convenoes sobre intervalos. Alguma notao c ca
Em muitas das equaoes diferenciais de interesse em F c sica a varivel x restrita a uma regio J R da reta real, a e a sendo J um intervalo fechado (tal como [a, b]), aberto (tal como (a, b)) ou semi-aberto (tal como (a, b] ou [a, b)). Podem tambm ocorrer intervalos innitos, tais como J = (, ), ou semi-innitos, como J = (0, ) ou J = [0, ). e Denotaremos por J 0 o interior do intervalo J, ou seja, J 0 o maior intervalo aberto contido em J. Por exemplo, se e J = [a, b] teremos J 0 = (a, b), se J = [0, ) ento J 0 = (0, ) e se J aberto ento J 0 = J. a e a Daqui para frente vamos escrever o intervalo J 0 , nito ou no, na forma J 0 := (A, B) R e, portanto, (A, B) pode a representar intervalos nitos, como por exemplo (0, 1), semi-innitos, como por exemplo (0, ) ou ainda toda a reta real (, ).
B b
Para uma funao f conveniente, vamos denotar por c

A xY xY+
f (x)dx o limite lim
aA+ bB
f (x)dx, caso este exista. Os limites

a
lim e lim representam os limites laterais ` esquerda e ` direita, respectivamente. a a
A forma cannica de Liouville o
At aqui escrevemos nossas equaoes lineares homogneas de segunda ordem na forma e c e y (x) + a(x)y (x) + b(x)y(x) = 0
(agora j adotando como varivel x J). Em muitos problemas de interesse essa equaao pode ser escrita de outra a a c forma, denominada por alguns autores de forma cannica de Liouville, e que ser importante para o que segue: o a (p(x)y (x)) + q(x)y(x) + r(x)y(x) = 0, onde, 1. p(x) real, cont e nua e diferencivel em J 0 e p(x) > 0 para todo x J 0 . a 2. q real e cont e nua em J. 3. r(x) real e cont e nua em J 0 e r(x) > 0 para todo x J 0 . 4. uma constante. e (11.6) (11.5)
Cap tulo 11
490/1628
As condioes de positividade de p e r em J 0 so as mais importantes. Note-se que no excluiremos que p e r possam se c a a anular (ou mesmo divergir) nos extremos do intervalo J 1 . Como o leitor pode facilmente constatar, a relaao entre essas funoes a seguinte: c c e a(x) = p (x) , p(x) b(x) = 1 (q(x) + r(x)) . p(x)
Dadas a(x) e b(x), a primeira relaao acima xa p(x) (a menos de uma constante), a saber, c
x
p(x) = exp
0
a(x )dx + const.
J a segunda nem sempre xa q(x) e r(x) univocamente, tudo dependendo da condiao de positividade sobre r(x), que a c foi mencionada acima, ou de qual parmetro se deseja tomar por . Na maioria dos casos, porm, q e r podem ser xados a e univocamente, o que car claro nos exemplos que seguem. a Vrias das equaoes diferenciais de segunda ordem das quais tratamos no Cap a c tulo 10 podem ser escritas na forma cannica em algum intervalo J conveniente2 . Vamos a alguns exemplos que nos interessaro: o a A equao do oscilador harmnico simples: y (x) + y(x) = 0. Aqui p(x) = 1, q(x) = 0, r(x) = 1 e = . ca o Vrios tipos de intervalos J aparecem em problemas. No problema da corda vibrante, por exemplo, pode-se adotar a J = [0, L], L sendo o comprimento da corda. A equao de Legendre (1 x2 )y (x) 2xy (x) + ( + 1)y(x) = 0 tipicamente considerada no intervalo ca e J = [1, 1] e pode ser escrita na forma cannica de Liouville como o 1 x2 y (x) + ( + 1)y(x) = 0 . Note que p(x) > 0 em J 0 = (1, 1), mas anula-se nos extremos x = 1. J a funao r(x) positiva em todo a c e J = [1, 1]. A equao de Hermite y (x) 2xy (x) + y(x) = 0, tipicamente considerada no intervalo J = (, ) e ca e pode ser escrita na forma cannica de Liouville como o ex y (x) Aqui p(x) = ex , q(x) = 0, r(x) = ex e = . Note que p(x) > 0 e r(x) > 0 em todo J = (, ). A equao de Chebyshev (1x2 )y (x)x y (x)+2 y(x) = 0 tipicamente considerada no intervalo J = [1, 1] ca e e pode ser escrita na forma cannica de Liouville como o 1 x2 y (x) Aqui p(x) =
2 2 2
Aqui p(x) = (1 x2 ), q(x) = 0, r(x) = 1 e = ( + 1).
+ ex y(x) = 0 .
Note que p(x) > 0 em J 0 = (1, 1), mas anula-se nos extremos x = 1. J a funao r(x) positiva em todo a c e J = (1, 1), mas diverge nos extremos x = 1. A equao de Laguerre xy (x) + (1 x)y (x) + y(x) = 0 tipicamente considerada no intervalo J = [0, ) e ca e pode ser escrita na forma cannica de Liouville como o xex y (x) + ex y(x) = 0 . Aqui p(x) = xex , q(x) = 0, r(x) = ex e = . Note que p(x) > 0 em J 0 = (0, ), mas anula-se no extremo x = 0. J a funao r(x) positiva em todo a c e J = [0, ).
1 O caso em que p e r permanecem nitas e positivas nos extremos do intervalo J particularmente importante no chamado Problema de e Sturm-Liouville regular, tratado no Cap tulo 13, pgina 618. a 2 A convenincia ditada pelo problema f e e sico subjacente.
1 x2 , q(x) = 0, r(x) = 1/ 1 x2 e = 2 .
1 y(x) = 0 . + 2 1 x2
Cap tulo 11
491/1628
A equao de Bessel de ordem , escrita na forma x2 y (x) + xy (x) + (2 x2 2 )y(x) = 0, tipicamente ca e considerada no intervalo J = [0, 1] e pode ser escrita no intervalo (0, 1] na forma cannica de Liouville como o (xy (x)) Aqui p(x) = x, q(x) = , r(x) = x e = 2 . x
2
2 y(x) + 2 xy(x) = 0 . x
Note que p(x) > 0 em J 0 = (0, 1), mas anula-se no extremo x = 0, o mesmo valendo para r(x). A equaao de Bessel esfrica tambm podem ser escrita na forma cannica de Liouville. Porm, a mesma pode c e e o e ser facilmente transformada em uma equaao de Bessel e, portanto, seu tratamento um caso particular do daquelas c e equaoes. Vide Seao 11.2.7, pgina 548. c c a O operador de Liouville
A forma cannica de Liouville (11.5) sugere a introduao de uma notaao muito conveniente. Seja uma funao u o c c c denida em J que seja pelo menos duas vezes diferencivel. Sob as hipteses (11.6) denimos o chamado operador de a o Liouville3 , denotado por L, como sendo o operador diferencial dado por (Lu)(x) := (p(x)u ) + q(x)u , (11.7)
ou seja, L := d dx p(x) d dx + q(x) .
Denimos tambm o operador diferencial denotado por M por e M := A equaao (11.5) ca simplicada na forma c (Lu)(x) + r(x)u(x) = 0 , ou seja, (M u)(x) = u(x) . (11.8) 1 d 1 L = r(x) r(x) dx p(x) d dx q(x) . r(x)
Se for um n mero tal que a equaao (11.8) for satisfeita para alguma funao u , ento diz-se que um autovalor e u c c a e u dito ser a auto-funao associada ao autovalor . Essa nomenclatura surge por analogia com os conceitos de autovalor e c e auto-vetor de matrizes na lgebra linear. Estritamente falando e u so auto-valores, respectivamente, auto-funoes, a a c do operador M . O Lema de Green
O seguinte resultado elemetar sobre o operador L, por vezes, denominado Lema de Green4 , ser importante no que a segue. Lema 11.2 Seja J (A, B) R um intervalo como descrito acima e sejam u e v funoes duas vezes diferenciveis c a denidas em um intervalo nito [a, b] J, com A < a < b < B. Sejam p, q e r satisfazendo as condioes enumeradas c em (11.6). Ento, a
b a b
v(x) (Lu)(x) dx
(Lv)(x) u(x) dx = p(b) v(b)u (b) v (b)u(b) p(a) v(a)u (a) v (a)u(a) .
(11.9)
Se u e v forem denidas em J 0 , forem duas vezes diferenciveis e satiszerem as condioes que os limites laterais a c
aA+
lim p(a) v(a)u (a) v (a)u(a)
bB
lim p(b) v(b)u (b) v (b)u(b)
3 Essa nomenclatura no universal, talvez por causar uma certa confuso com um outro operador, tambm dito de Liouville, que ocorre na a e a e Mecnica Clssica: L := H q H p , com H sendo a funao Hamiltoniana, q e p sendo coordenadas de posiao e momento, respectivamente. a a c c p q 4 George Green (17931841).
Cap tulo 11
492/1628
existem e satisfazem
aA+
lim p(a) v(a)u (a) v (a)u(a)
bB
lim p(b) v(b)u (b) v (b)u(b) ,
(11.10)
ento teremos, conseqentemente, a u

B B
v(x) (Lu)(x) dx =
A A
(Lv)(x) u(x) dx ,
(11.11)
o que equivale a dizer que
v(x) (M u)(x) r(x) dx =

A A
(M v)(x) u(x) r(x) dx .
(11.12)
Prova. Usando-se integraao por partes, temos c

b b
v(x) (Lu)(x) dx =
a a
v(x)(p(x)u ) dx +
a b
v(x)q(x)u(x) dx
b a b a b
v (x)(p(x)u ) dx + vpu
b a
+
a b
v(x)q(x)u(x) dx
=
a b
u(pv ) dx + vpu
v pu
b a
+
a b a
v(x)q(x)u(x) dx
=
a
(Lv)(x) u(x) dx + vpu
v pu
(11.13)
ou seja,
b b
v(x) (Lu)(x) dx
a a
(Lv)(x) u(x) dx =
vpu v pu
b a
= p(b) v(b)u (b)v (b)u(b) p(a) v(a)u (a)v (a)u(a) .
Nota para o estudante mais avanado. Se V for um espao vetorial de funoes duas vezes diferenciveis satisfazendo c c c a (11.10), ento (11.11) informa-nos que o operador L um operador simtrico em V com relaao ao produto escalar a e e c B e e c f, g = A f (x)g(x)dx e (11.12) informa-nos que o operador M um operador simtrico em V com relaao ao produto B escalar f, g r = A f (x)g(x) r(x)dx.
11.1.1.1
Condies de Contorno e a Origem das Relaes de Ortogonalidade co co
Vamos nos interessar por equaoes diferenciais como Lu + ru = 0 denidas em um intervalo J = (A, B), noc a necessariamente nito, como descrevemos acima, com as soluoes u satisfazendo as condioes que os limites laterais c c
aA+
lim p(a) u(a)u (a) u (a)u(a)
bB
lim p(b) u(b)u (b) u (b)u(b)
existam e satisfaam c
aA+
bB
(11.14)
H vrias condioes sob as quais (11.14) satisfeita. Listemos alguns dos casos que ocorrem em equaoes de interesse: a a c e c
Cap tulo 11
493/1628
a I J = (A, B) um intervalo nito ou no, lim p(A) = lim p(B) = 0 mas o produto u(x)u (x) no diverge nos e a
aA+ bB
limites x A+ e x B . Essas condioes implicam (11.14), ambos os lados da igualdade sendo nulos. c II J = [A, B] um intervalo nito, p(A) e p(B) so ambos nitos mas u satisfaz condioes de contorno em A e em e a c B do forma 1 u(A) + 2 u (A) 1 u(B) + 2 u (B) = 0, = 0, (11.15) (11.16)
onde 1 , 2 , 1 , 2 so constantes reais xadas, sendo (1 , 2 ) = (0, 0) e (1 , 2 ) = (0, 0). a Pelo Corolrio 11.1, pgina 488, essas condioes implicam que u(A)u (A)u (A)u(A) = 0 e u(B)u (B)u (B)u(B) = a a c 0, o que implica (11.14), ambos os lados da igualdade sendo nulos. III J = (A, B) um intervalo nito e vale uma combinaao dos casos anteriores. Por exemplo, lim p(A) = 0 com o e c
aA+
a e produto u(x)u (x) no divergindo no limite x A+ e, alm disso, existem constantes reais (1 , 2 ) = (0, 0) tais que 1 u(B) + 2 u (B) = 0. As condioes (11.14) so, portanto, mais gerais que condioes como I ou II, acima. A Proposiao 11.1, adiante, c a c c aponta algumas de suas conseqncias. ue Realidade dos autovalores, simplicidade e realidade das autofunoes c Proposio 11.1 Seja um intervalo (no necessariamente nito) J = (A, B), como descrito acima, e sejam p, q e r ca a funoes denidas em J, satisfazendo as condioes enumeradas em (11.6). c c Considere-se o problema de determinar uma constante e uma soluao u da equaao diferencial Lu(x)+r(x)u(x) = 0 c c denida em J, com u satisfazendo as condioes que os limites c
aA+
bB
aA+
bB
(11.17)
Ento, valem os seguintes fatos: a a. R, b. A soluao u unica a menos de uma constante multiplicativa, c e c. A soluao u mltipla de uma soluao real. c e u c Conseqentemente, toda soluao da equaao Lu(x) + r(x)u(x) = 0 com R sob as condioes (11.17) mltipla de u c c c e u uma unica soluao real da equaao Lu(x)+r(x)u(x) = 0. Note-se que funoes reais satisfazem trivialmente as condioes c c c c (11.17).
Cap tulo 11
494/1628
Prova. Parte a. Consideremos (a, b) um intervalo nito contido em J e seja a expresso a Podemos escrev-la como e
b
b a
|u(x)|2 r(x) dx.
|u(x)|2 r(x) dx
u(x)u(x) r(x) dx
a b
=
a
(u(x)r(x))u(x) dx
b b
u(x) r(x)u(x) dx
a
=
(11.9)
(Lu)(x)u(x) dx +
a a
u(x)(Lu)(x) dx
p(b) u(b)u (b) u (b)u(b) p(a) u(a)u (a) u (a)u(a) .

b a
Por (11.17), o lado direito converge a zero nos limites b B e a A+ . Como com A < a < b < B, conclu mos que = , provando que R.
|u(x)|2 r(x) dx > 0 para todos a e b
Parte b. Sejam u1 , u2 tais que Lu1 + ru1 = 0 e Lu2 + ru2 = 0 para um dado , ambas satisfazendo as condioes c mencionadas no enunciado. Como vimos na parte a, real. Considere-se a funao e c W12 (x) = det u1 (x) u2 (x) u (x) 1 u (x) 2 = u1 (x)u (x) u (x)u2 (x) . 2 1
Vamos em primeiro lugar mostrar que p(x)W12 (x) constante, ou seja, que (pW12 ) = 0. De fato, e (pW12 ) = p W12 + pW 12 = = = = = = = p (u1 u u u2 ) + p (u1 u u u2 ) 2 2 1 1 p (u1 u u u2 ) + p (u u + u1 u u u2 u u ) 2 2 1 1 2 1 1 2 p (u1 u u u2 ) + p (u1 u u u2 ) 2 2 1 1 u1 (p u + pu ) u2 (p u + pu ) 2 2 1 1 u1 (pu ) u2 (pu ) 2 1 u1 (qu2 + ru2 ) + u2 (qu1 + ru1 ) 0. (11.18)
Agora, p(x)W12 (x) = p(x) u1 (x)u (x) u2 (x)u (x) e, portanto, pelas hipteses (11.17), seus limites b B e a A+ o 2 1 existem e anulam-se, provando que p(x)W12 (x) = 0 para todo x. Pelas hipteses em (11.6), p positivo em J 0 e, o e portanto, W12 (x) = 0 para todo x. Isso diz que as duas linhas que formam a matriz cujo determinante W12 (x) so, para cada x [a, b], proporcionais e a uma a outra, ou seja, existe (x) tal que, por exemplo, u1 (x) = (x)u2 (x) e u (x) = (x)u (x) 2 1
para todo x. Derivando a primeira e comparando a segunda, conclui-se que (x) constante, ou seja, no depende de x. ` e a Assim, vericamos que as funoes u1 e u2 so m ltiplas entre si. Com isso, mostramos que se tivermos duas auto-funoes c a u c com o mesmo auto-valor as auto-funoes so m ltiplas uma da outra e o subespao que ambas geram tem dimenso 1. c a u c a Parte c. Como p, q, r so reais e tambm (pela parte a), ento se u soluao de Lu + ru = 0 seu complexo conjugado a e a e c u tambm o . Fora isso, se u satisfaz as condioes (11.17), seu complexo conjugado u tambm as satisfaz. Logo, pela e e c e parte b, existe uma constante C tal que u = u.
A equaao u = u implica u = u e, portanto || = 1, ou seja, = ei , para R. Decompondo u em suas partes c real e imaginria, u = v + iw, conclu a mos que v iw = (cos + i sen )(v + iw), ou seja, valem (1 cos )v = sen ()w e
Cap tulo 11
495/1628
(1 + cos )w = sen ()v. Agora, se cos = 1, ento a segunda igualdade implica w = 0 e, portanto, u = v. Se cos = 1, a
sen sen ento a primeira igualdade implica v = 1cos w e , portanto, u = 1cos + i w. a
Os resultados da Proposiao 11.1 podem ser parafraseados da seguinte forma. Considere-se o problema de determinar c os autovalores e autofunoes u da equaao Lu + ru = 0 sob condioes que impliquem a condioes (11.17), tais como as c c c c condioes I ou II da pgina 492. Ento os autovalores so reais, simples (ou seja, no-degenerados: para cada autovalor c a a a a o espao das correspondentes autofunoes unidimencional) e as autofunoes podem ser tomadas reais. c c e c Problemas de autovalores e relaoes de ortogonalidade c
No teorema a seguir consideraremos funoes reais u1 e u2 denidas em um intervalo (no necessariamente nito) c a J = (A, B), que satisfaam as condioes de os limites c c
aA+
lim p(a) u1 (a)u (a) u (a)u2 (a) 2 1
bB
lim p(b) u1 (b)u (b) u (b)u2 (b) 2 1
existirem e satisfazerem
aA+
lim p(a) u1 (a)u (a) u (a)u2 (a) 2 1
bB
lim p(b) u1 (b)u (b) u (b)u2 (b) . 2 1
(11.19)
H vrias condioes sob as quais (11.19) satisfeita. Listemos alguns dos casos que ocorrem em equaoes de interesse: a a c e c I J = (A, B) um intervalo nito ou no, lim p(A) = lim p(B) = 0 mas o produto u1 (x)u (x) u (x)u2 (x) e a 2 1
aA+ bB
no diverge nos limites x A+ e x B . Essas condioes implicam (11.19), ambos os lados da igualdade sendo a c nulos. II J = [A, B] um intervalo nito, p(A) e p(B) so ambos nitos mas tanto a funao u1 quanto a funao u2 satisfazem e a c c condioes de contorno em A e em B do forma c 1 u(A) + 2 u (A) 1 u(B) + 2 u (B) = 0, = 0, (11.20) (11.21)
onde 1 , 2 , 1 , 2 so constantes reais xadas, sendo (1 , 2 ) = (0, 0) e (1 , 2 ) = (0, 0). a Pelo Lema 11.1, pgina 488, particularmente por (11.1), essas condioes implicam que u1 (A)u (A)u (A)u2 (A) = 0 a c 2 1 e u1 (B)u (B) u (B)u2 (B) = 0, o que implica (11.19), ambos os lados da igualdade sendo nulos. 2 1 III J = (A, B) um intervalo nito e vale uma combinaao dos casos anteriores. Por exemplo, lim p(A) = 0 e c
aA+
com o produto u1 (x)u (x) u (x)u2 (x) no divergindo no limite x A+ e, alm disso, existem constantes reais a e 2 1 (1 , 2 ) = (0, 0) tais que tanto a funao u1 quanto a funao u2 satisfazem 1 u(B) + 2 u (B) = 0. c c Conseq entemente, as condioes (11.19) so mais gerais que condioes como I ou II, acima. O seguinte resultado u c a c aponta uma das conseqncias das hipteses de (11.19) e expressa uma da mais importantes propriedades das soluoes ue o c das equaoes diferenciais discutidas acima: as chamadas relaoes de ortogonalidade. c c Teorema 11.1 Considere-se a equaao diferencial Lu(x) + r(x)u(x) = 0 denida no intervalo (no necessariamente c a nito) J = (A, B), com p, q e r satisfazendo as condioes enumeradas em (11.6). Sejam 1 e 2 R com 1 = 2 e c a suponhamos que u1 e u2 sejam funoes reais no-nulas que satisfazem c Lu1 (x) + 1 r(x)u1 (x) = 0 em J = (A, B) e suponhamos ainda que os limites
aA+
Lu2 (x) + 2 r(x)u2 (x) = 0 ,
(11.22)
lim p(a) u1 (a)u (a) u (a)u2 (a) 2 1
bB
lim p(b) u1 (b)u (b) u (b)u2 (b) 2 1
aA+
lim p(a) u1 (a)u (a) u (a)u2 (a) 2 1
bB
lim p(b) u1 (b)u (b) u (b)u2 (b) . 2 1
(11.23)
Cap tulo 11
496/1628
Ento, a
u1 (x) u2 (x) r(x) dx = 0 .

A
(11.24)
Prova. Seja (a, b), com A < a < b < B, qualquer intervalo nito contido em J 0 . Consideremos a expresso a
b
(1 2 )
u1 (x) u2 (x) r(x) dx .

a
Como 1 e 2 so reais, isso pode ser escrito por (11.22) como a

b a b
(1 r(x)u1 (x)) u2 (x) dx
u1 (x) (2 r(x)u2 (x)) dx

a b b
=
a
u1 (x) (Lu2 )(x) dx
(Lu1 )(x) u2 (x) dx

a
= p(b) u1 (b)u (b) u (b)u2 (b) p(a) u1 (a)u (a) u (a)u2 (a) , 2 1 2 1 sendo que na ultima igualdade usamos (11.9), lembrando que, no caso presente, todas as funoes e constantes so reais. c a Conseq entemente, tem-se pelas hipteses, u o
B
(1 2 )
u1 (x) u2 (x) r(x) dx

A
=
B
bB
lim p(b) u1 (b)u (b) u (b)u2 (b) lim p(a) u1 (a)u (a) u (a)u2 (a) 2 1 2 1
aA+
= 0.
Como 1 = 2 , isso implica

A
u1 (x) u2 (x) r(x) dx = 0, como quer amos provar.
A relaao (11.24) diz-nos que u1 e u2 so ortogonais em relaao ao produto escalar real c a c

B
f, g
:=
A
f (x)g(x) r(x) dx ,
B
(11.25)
denido no conjunto de todas as funoes f : J R tais que A f (x)2 r(x) dx < . Essas relaoes de ortogonalidade so c c a de suma importncia em aplicaoes, especialmente na resoluao de equaoes diferenciais sob certas condioes de contorno. a c c c c O leitor interessado em exemplos pode passar diretamente ` Seao 11.2, pgina 506. Aplicaoes ` soluao de equaoes a c a c a c c diferenciais parciais de interesse em F sica sero vistas no Cap a tulo 16, pgina 691. a
11.1.2
Frmulas de Rodrigues o
As idias desta pequena seao sero melhor ilustradas nos exemplos da Seao 11.2. e c a c Consideremos a equaao diferencial (p(x)y (x)) + q(x)y(x) + r(x)y(x) = 0, ou seja, Ly + ry = 0, com p, q e r c satisfazendo as condioes enumeradas em (11.6) e suponhamos tambm que r seja uma funao innitamente diferencivel c e c a de x. Consideremos que o intervalo J onde a equaao considerada seja J = [1, 1]. Para n = 0, 1, 2, . . ., sejam c e denidas as funoes c 1 dn (11.26) r(x)(1 x2 )n . pn (x) := r(x) dxn
Cap tulo 11
497/1628
a E fcil ver que se m < n, ento a
1 1
xm pn (x) r(x) dx = 0 ,
r
(11.27)
ou seja, cada pn ortogonal, segundo o produto escalar , e que n. Para provar (11.27), basta escrever
1 1
denido em (11.25), a todos os polinmios de grau menor o dn r(x)(1 x2 )n dxn

dk dxk
xm pn (x) r(x) dx =
1 1
xm
dx
e fazer n vezes integraao por partes, lembrando que a expresso c a fator (1 x2 ) que se anula em 1. c E. 11.1 Exerccio importante. Faa isso!
e r(x)(1 x2 )n , com k < n, sempre contm um
Se as funoes pn forem elas mesmas polinmios de grau n, o que ocorre em vrios casos, conclu c o a mos que
1
pm (x) pn (x) r(x) dx = 0 ,

1
sempre que m = n. Isso signica que os polinmios pn (x) so ortogonais dois-a-dois segundo o produto escalar , o a intervalo J = [1, 1].
no
Vrias equaoes diferenciais do tipo mencionado acima, denidas em um intervalo nito [1, 1], tm soluoes polinoa c e c miais, como por exemplo, a equaao de Legendre e de Chebyshev. Como as mesmas, pelo Teorema 11.1, so ortogonais c a em relaao ao produto escalar , r no intervalo J = [1, 1]5 , as consideraoes acima sugerem que as soluoes polinomic c c ais possam ser escritas, a menos de uma constante multiplicativa, na forma (11.26). Isso , de fato, verdade para vrias e a equaoes importantes (como as de Legendre e Chebyshev) e da expresso (11.26) ser poss obter vrias propriedades c a a vel a daqueles polinmios. Isso ser melhor discutido nos exemplos que trataremos na Seao 11.2. o a c A expresso (11.26) denominada frmula de Rodrigues6 . a e o E. 11.2 Exerccio. Generalize a frmula de Rodrigues (11.26) para um intervalo J = [a, b] nito arbitrrio. Sugesto: o a a procure uma transformao linear que mapeie bijetivamente [1, 1] em [a, b]. ca As frmulas de Rodrigues podem ser generalizadas para equaoes diferenciais denidas em intervalos no-nitos, como o c a J = (0, ) ou J = (, ). Tratemos disso.
Para o caso J = (0, ) devemos supor novamente que r(x) seja innitamente diferencivel, mas devemos ainda supor a que r(x) seja limitada em x = 0 e que r(x) e todas as suas derivadas r(m) (x) caiam no innito mais rpido que qualquer a potncia, ou seja limx xk r(m) (x) = 0 para todo k 0 e m 0. Denimos, nesse caso, e pn (x) := a E fcil ver que se m < n, ento a
0
1 dn r(x) xn . r(x) dxn
(11.28)
xm pn (x) r(x) dx = 0 ,
(11.29)
Para ver isso, escrevemos novamente

0
5 Veremos
xm pn (x) r(x) dx =
0
xm
dn r(x) xn dxn
dx
isso explicitamente nos exemplos da Seao 11.2 c Olinde Rodrigues (17941851). Rodrigues foi banqueiro e matemtico amador, nascido na Frana, mas de origem judaicoa c portuguesa. Encontrou a frmula que leva seu nome apenas para o caso dos polinmios de Legendre. A generalizaao aqui apresentada o o c e posterior. Rodrigues tambm deu contribuioes para a teoria dos quatrnions e para o grupo SO(3) (vide Proposiao 17.5, pgina 835). Apesar e c e c a de banqueiro, Rodrigues foi l der do partido socialista francs. e
6 Benjamin
Cap tulo 11
498/1628
e fazemos integraao por partes, usando que limx xk r(m) (x) = 0 para todos k 0 e m 0 e que a expresso c a
dk dxk
r(x)xn , com k < n, sempre contm um fator x que se anula em 0. e
E. 11.3 Exerccio importante. Complete os detalhes. Em certos exemplos, como na equaao de Laguerre, as funes pn so polinmios na varivel x. Nesses casos, temos c co a o a ento que a
pm (x) pn (x) r(x) dx = 0 ,
sempre que m = n. Isso signica que os polinmios pn (x) so ortogonais dois-a-dois segundo o produto escalar , r no o a intervalo J = (0, ). Como antes, isso sugere que as soluoes polinomiais de certas equaoes diferenciais denidas no c c intervalo J = (0, ) possam ser escritas, a menos de uma constante multiplicativa, na forma sugerida pela frmula de o Rodrigues (11.28). Veremos que tal o caso para os polinmios de Laguerre e isso nos permitir obter algumas relaoes e o a c uteis sobre aqueles polinmios. o Para o caso J = (, ) devemos supor novamente que r(x) seja innitamente diferencivel, mas devemos a ainda supor que r(x) e todas as suas derivadas r(m) (x) caiam no innito mais rpido que qualquer potncia, ou seja a e lim|x| |x|k |r(m) (x)| = 0 para todo k 0 e m 0. Denimos, nesse caso, pn (x) := a E fcil ver que se m < n, ento a 1 dn r(x) . r(x) dxn (11.30)
xm pn (x) r(x) dx = 0 ,
(11.31)
Para ver isso, escrevemos novamente

xm pn (x) r(x) dx =
xm
dn r(x) dx dxn
e fazemos integraao por partes, usando que lim|x| |x|k |r(m) (x)| = 0 para todos k 0 e m 0. c E. 11.4 Exerccio importante. Complete os detalhes. Em certos exemplos, como na equaao de Hermite, as funoes pn so polinmios na varivel x. Nesses casos, temos c c a o a ento que a
pm (x) pn (x) r(x) dx = 0 ,
sempre que m = n. Isso signica que os polinmios pn (x) so ortogonais dois-a-dois segundo o produto escalar , r no o a intervalo J = (, ). Como antes, isso sugere que as soluoes polinomiais de certas equaoes diferenciais denidas no c c intervalo J = (, ) possam ser escritas, a menos de uma constante multiplicativa, na forma sugerida pela frmula de o Rodrigues (11.30). Veremos que tal o caso para os polinmios de Hermite e isso nos permitir obter algumas relaoes e o a c uteis sobre os mesmos.
11.1.3
Funes Geratrizes co
Funoes geratrizes desempenham um elegante papel no estudo de propriedades de seqncias numricas, em anlise c ue e a combinatria e no estudo de certas seqncias de funoes (ilustraremos essa armaao estudando com elas, logo abaixo, o ue c c a chamada seqncia de Fibonacci). Faremos adiante uso de funoes geratrizes para demonstrar algumas propriedades ue c uteis de algumas das soluoes que encontramos no Cap c tulo 10, como os polinmios de Legendre, de Hermite, de Laguerre, o de Chebyshev e as funoes de Bessel. c O leitor poder encontrar na bela referncia [64] uma vasta coleao de identidades combinatrias interessantes que a e c o podem ser engenhosamente demonstradas com o uso de funoes geratrizes de seqncias, assim como outras referncias c ue e a ` literatura pertinente.
Cap tulo 11
499/1628
Funoes geratrizes c
Seja {an , n N0 } uma seqncia de n meros reais ou complexos. Dene-se a funao geratriz da seqncia {an , n ue u c ue N0 } como sendo a funao dada por c G{an } (t) :=
a n tn .
n=0
Essa deniao pressupe que a srie de potncias em t do lado direito seja convergente em alguma regio aberta do plano c o e e a complexo, digamos |t| < T , para algum T > 0. Isso nem sempre o caso. Por exemplo, se an = n! a srie acima tem e e raio de convergncia nulo. e Funoes geratrizes exponenciais c
A funao geratriz exponencial da seqncia {an , n N0 } denida por c ue e E{an } (t) := an n t . n! n=0
Essa deniao pressupe que a srie de potncias em t do lado direito seja convergente em alguma regio aberta do plano c o e e a complexo, digamos |t| < T . Observe que o lado direito, caso seja convergente, coincide com a srie de Taylor centrada e dk E{an } em 0 da funao E{an } (t) e, portanto, para cada k vale ak = c (0). dtk Funoes geratrizes de Dirichlet c
Para certos tipos de seqncias conveniente denir outro tipo de funao geratriz, substituindo os monmios tn por ue e c o an Sn (t). O exemplo mais importante desse tipo de funao geratriz aquele no qual se toma c e outras funoes de t: c n=0 Sn (t) = 1/nt , n 1. Isso nos conduz ` prxima deniao. a o c A funao geratriz de Dirichlet7 da seqncia {an , n N} denida por c ue e D{an } (t) := an , nt n=1
desde que a srie do lado direito convirja com a varivel t em alguma regio aberta do plano complexo. e a a A mais famosa das funoes geratrizes de Dirichlet a funao zeta de Riemann8 , que a funao geratriz de Dirichlet c e c e c da seqncia constante an = 1, n 1: ue 1 (s) := . (11.32) ns n=1 Como facilmente se v, a srie do lado direito converge na regio do plano complexo denida por Re(s) > 1. A funao e e a c zeta de Riemann desempenha um papel de grande importncia na teoria das funoes de varivel complexa e na teoria de a c a n meros, pois vrias de suas propriedades esto relacionadas a propriedades do conjunto de n meros primos. Vide, e.g., u a a u [71], [178], [179] ou [45]. Funoes geratrizes de Lambert c
A funao geratriz de Lambert9 da seqncia {an , n N} denida por c ue e L{an } (t) :=

n=1
an
tn , 1 tn
desde que a srie do lado direito convirja com a varivel t em alguma regio aberta do plano complexo. As funoes e a a c geratrizes de Lambert so tambm denominadas sries de Lambert. a e e As funoes geratrizes denidas acima tm vrias propriedades algbricas interessantes, como mostrado nos exerc c e a e cios que seguem.
7 Johann 8 Georg
Peter Gustav Lejeune Dirichlet (18051859). Friedrich Bernhard Riemann (18261866). 9 Johan Heinrich Lambert (17281777).
Cap tulo 11
500/1628
a ue c e a E. 11.5 Exerccio. Se {an } e {bn } so duas seqncias cujas funoes geratrizes G{an } (t) e G{bn } (t) tm uma regio aberta de convergncia comum, mostre que e G{an } (t) G{bn } (t) = G{cn } (t) , onde cn =
p=0 n
anp bp .
E. 11.6 Exerccio. Se {an } e {bn } so duas seqncias cujas funoes geratrizes exponenciais E{an } (t) e E{bn } (t) tm a ue c e uma regio aberta de convergncia comum, mostre que a e E{an } (t) E{bn } (t) = E{cn } (t) , onde cn =
p=0 n
n p
anp bp .
a ue c e E. 11.7 Exerccio. Se {an } e {bn } so duas seqncias cujas funoes geratrizes de Dirichlet D{an } (t) e D{bn } (t) tm uma regio aberta de convergncia comum, mostre que a e D{an } (t) D{bn } (t) = D{cn } (t) , onde cn =
p=1 n/p inteiro
an/p bp .
E. 11.8 Exerccio. Se {an } uma seqncia cuja funo geratriz de Lambert L{an } (t), mostre que e ue ca e L{an } (t) = onde b0 := 0 e, para m > 0, bm :=
n=1 m/n inteiro
m=1
bm tm = G{bn } (t) ,
m
an .
Passemos a discutir algumas aplicaoes das funoes geratrizes. c c N meros de Fibonacci u
Seja an , n = 0, 1, 2, 3, 4 . . ., a seqncia denida recursivamente da seguinte forma: ue a0 = 1 , a1 = 1 , an+2 = an+1 + an , n0.
Essa seqncia denominada seqncia de Fibonacci10 . Cada elemento da seqncia de Fibonacci a soma de seus dois ue e ue ue e antecessores. Os primeiros elementos da seqncia de Fibonacci so ue a 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946, 17711, 28657, . . . .
10 Leonardo
Pisano, cognominado Fibonacci (11701250).
Cap tulo 11
501/1628
Fibonacci introduziu a seqncia que leva seu nome em um problema de seu livro Liber abbaci, de 1202 (livro esse que ue introduziu o sistema decimal arbico na Europa, em substituiao ao sistema de algarismos romanos, usado at ento): a c e a Um certo homem coloca um casal de coelhos em um local cercado de muros por todos os lados. Quantos pares de coelhos podem ser produzidos a partir daquele casal em um ano se for suposto que a cada ms cada casal gera um novo casal, o e qual se torna frtil em um ms. A resposta (supondo que nenhum coelho morre) que, aps n meses, tem-se an pares e e e o de coelhos, sendo an dado acima. Trata-se provavelmente do primeiro modelo de evoluao de populaoes. A seqncia c c ue de Fibonacci surpreendentemente rica em propriedades, sendo possivelmente uma das mais pesquisadas, existindo at e e mesmo uma publicaao peridica (Fibonacci Quarterly) dedicada a seu estudo. c o Um fato que confere aos n meros de Fibonacci um sabor especial que os mesmos aparecem freq entemente na u e u Natureza. H, por exemplo, uma forte probabilidade de os nmeros de ptalas em ores de determinadas espcies de a u e e plantas serem n meros de Fibonacci. O mesmo se d com o n mero de voltas espirais na casca de abacaxis e de pinhas, u a u com o n mero de ramos de plantas e rvores, com o n mero de padres de um determinado tipo nas conchas de caramujos u a u o etc11 . A razo do surgimento de n meros de Fibonacci em contextos biolgicos est relacionado ` formaao e reproduo a u o a a c ca de padres, mas apenas parcialmente entendida atualmente. o e No intuito de ilustrar a utilidade de funoes geratrizes de seqncias, vamos demonstrar a seguinte identidade para c ue os elementos da seqncia de Fibonacci: ue n+1 n+1 1 5 1 1+ 5 , (11.33) an = 2 2 5 A funao geratriz da seqncia de Fibonacci c ue e
vlida para todo n 0. Essa expresso permite obter cada an diretamente em termos de n. a a
n=0
F (t) =
a n tn .
(11.34)
Mostremos primeiramente que a srie de potncias do lado direito tem um raio de convergncia no-nulo. Pelo teste da e e e a razo vale, para n > 0, a an+1 tn+1 a n tn = an+1 an + an1 |t| = |t| = an an 1+ an1 an |t| 2|t| ,
pois an1 1, j que a seqncia de Fibonacci crescente. Logo, a srie converge absolutamente pelo menos na regio a ue e e a an |t| < 1/2. A verdadeira regio de convergncia um pouco maior (como veremos adiante), mas no precisaremos desse a e e a fato por ora, pois tudo o que necessitamos da existncia de um raio de convergncia no-nulo, o que justica as e e e a manipulaoes que faremos. c Faamos uso da deniao da seqncia de Fibonacci para obter uma frmula expl c c ue o cita para F (t). Temos que F (t) = 1+t+
n=2 n=2 n=0 n=2
a n tn
= 1+t+
(an1 + an2 ) tn = 1 + t +
an1 tn +
an2 tn
n=2 n=1
= 1+t+t
a n tn + t2
a n tn
11 Para
= 1 + t + t(F (t) 1) + t2 F (t) .
algumas referncias: e S. L. Basin, The Fibonacci Sequence as it appears in Nature, The Fibonacci Quarterly, 1, (1963), 5357. A. Brousseau, Fibonacci Statistics in Conifers, The Fibonacci Quarterly, 7 (1969), 525532.
P. B. Onderdonk, Pineapples and Fibonacci Numbers, The Fibonacci Quarterly, 8 (1970), 507508. Um livro clssico sobre o assunto [175]. A area da Biologia e da Matemtica que se dedica ao estudo da formaao e evoluao de padres a e a c c o e denominada Filotaxia.
Cap tulo 11
502/1628
Assim, (1 t t2 )F (t) = 1 e, portanto,
F (t) =
A idia agora obter a expanso em srie de Taylor de F (t) em torno de t = 0 e compar-la a (11.34), para assim obter e e a e a uma expresso expl a cita para os an s. Para isso, ao invs de calcularmos as derivadas de F em t = 0, mais fcil proceder e e a da seguinte forma. Escrevemos 1 t t2 = (t 1 )(t 2 ) onde 51 5+1 , 2 = . 1 = 2 2 Assim, F (t) = 1 1 1 1 1 = = 2 1tt (t 1 )(t 2 ) 1 2 1 t 2 t 1 1 5 1 1 5 n=0

1 . 1 t t2
1 1 t1 1
n+1 1
1 2
1 1 t2 tn
n+1 2
1 (2 )n+1 (1 )n+1 tn 5 n=0

n=0
onde usamos que 1/1 = 2 . Comparando com (11.34) obtemos (11.33), como quer amos. Da ultima expresso, v-se a e tambm que o raio de convergncia da srie de potncias que dene F ( 5 1)/2 0, 618 . . .. e e e e e Algumas identidades combinatrias o A seqncia de exerc ue cios dirigidos que segue apresenta-nos uma srie de identidades combinatrias de interesse e o (usaremos algumas no Cap tulo 12, pgina 557). A primeira obtem-se atravs de uma funao geratriz. a e c E. 11.9 Exerccio dirigido. Para n N, m N0 , dena-se o conjunto Nn := m (a1 , . . . , an ) Nn , a1 + + an = m . 0
1 1+ 5 2 5
n+1
1 5 2
n+1
tn ,
u u Seja |Nn | o nmero de elementos de Nn . |Nn | representa o nmero de maneiras de colocar exatamente m objetos indism m m tingu veis em n posioes distintas. Mostre que c |Nn | = m n+m1 m = (n + m 1)! . (n 1)! m!
n
Sugesto. Mostre primeiramente que a funo geratriz da seqncia |Nm |, m = 0, 1, 2, . . ., a ca ue e m

m=0
|Nn | tm = m
1 1t
(11.35)
Para isso, mostre que, para |t| < 1, 1 1t

n
a=0
a1 , ..., an =0
ta1 ++an =
m=0
|Nn | tm . m
Cap tulo 11
503/1628
De (11.35), obtenha |Nn | = m 1 dm m! dtm 1 1t

n
=
t=0
n (m + m 1) (n + m 1)! = = m! (n 1)! m!
n+m1 m
E. 11.10 Exerccio dirigido. Para n N, m N0 , dena-se o conjunto Mn := m (a1 , . . . , an ) Nn , 0 a1 + + an m . 0
Seja |Mn | o nmero de elementos de Mn . |Mn | representa o nmero de maneiras de colocar de zero a no mximo m objetos u u a m m m indistingu veis em n posioes distintas. Mostre que c |Mn | = m Sugesto. Convena-se que a c |Mn | = m Usando a bem conhecida identidade de Pascal12 a b conclua que
m m
n+m m
(n + m)! . n! m! n+k1 k
(11.36)
k=0
|Nn | = k
(11.37)
k=0
a1 a1 + b b1
m
(11.38)
k=0
n+k k
= 1+
k=1
n+k k
(11.38)
1+
k=1 m
n+k1 + k n+k1 + k n+k1 + k
k=1 m l=1 m1 l =0
n+k1 k1 n+l1 l1 n + l l
1+
k=1 m
l =l1
1+
k=1
e, assim, conclua que

m k=0
n+k1 k
= 1+
k=1
n+k1 k
=
k=0
n+k k
m1 l =0
n + l l
n+m m
Por (11.37), isso prova (11.36). n+k1 n+m = conhecida como segunda identidade de Pascal ou identidade da soma e k m k=0 paralela. Para outras identidades combinatrias uteis, vide [64]. o A identidade a u cio, demonstre a identidade da soma vertical: E. 11.11 Exerccio. Seguindo passos anlogos aos do ltimo exerc n+1 m+1
n m
=
j=0
j m
12 Blaise
Pascal (16231662).
Cap tulo 11
504/1628
c e ca E. 11.12 Exerccio. As denominaoes identidade da soma paralela e identidade da soma vertical provm da relao dos coecientes binomiais a com o tringulo de Pascal. Desenhe um tringulo de Pascal e entenda o signicado dessas identidades a a b e a razo de seus nomes. a E. 11.13 Exerccio dirigido. As identidades |Nn | = n+m1 e |Mn | = n+m podem ser obtidas de uma forma talvez m m m m mais direta e simples, dependendo do gosto do leitor. Suponha que se tenha m bolas pretas e n bolas brancas. Convena-se c que h n+m = n+m arranjos poss a m veis dessas bolas (supondo que as bolas pretas so indistingu a veis entre si, e que o mesmo n valha para as brancas). Uma maneira de fazer esse racioc nio imaginar as n + m bolas enleiradas e contar de quantas e maneiras distintas essas leiras podem ser formadas. H (n + m)! permutaoes das n + m bolas, das quais devem ser fatoradas a c m! permutaoes envolvendo apenas bolas pretas e n! permutaoes envolvendo apenas bolas brancas, fornecendo assim n+m c c m arranjos. Convena-se tambm que, pela denio, esse nmero de arranjos igual a |Mn |. Isso provou que |Mn | = n+m . c e ca u e m m m Convena-se que, pela denio, |Nn | = |Mn | |Mn |. Tem-se, ento |Nn | = n+m n+m1 = n+m1 , onde a c ca a m m m1 m m m1 m u ltima igualdade segue da identidade de Pascal (11.38). N meros de Bernoulli u
A seqncia de n meros racionais denominados nmeros de Bernoulli13 tem importncia destacada na Teoria dos ue u u a N meros, especialmente devido ` sua relaao com a funao zeta de Riemann, denida acima. Os n meros de Bernoulli u a c c u tambm aparecem na expanso em srie de Taylor da funao tangente e na chamada frmula de Euler-Maclaurin. Os e a e c o chamados n meros de Bernoulli, denotados por Bn , com n N0 , so denidos de sorte que sua funao geratriz exponencial u a c E{Bn } (z) seja a funao z/(ez 1), ou seja, so denidos por c a z =: z 1 e Bn n z . n! n=0
(11.39)
Devido ao fato de z/(ez 1) ter um polo em z = 2i sendo, porm, anal e tica em |z| < 2, conclu mos a priori que a srie de potncias do lado direito convergente para |z| < 2. Multiplicando (11.39) por ez 1 = z m /m!, obtemos e e e m=1 z = de onde conclu mos que
p
Bn n z n! n=0
zm m! m=1
p=0
q=0
Bq q!(p + 1 q)!
z p+1 ,
B0 = 1
e
q=0
Bq = 0 q!(p + 1 q)!
para todo p 1 .
Multiplicando a segunda relaao acima por (p + 1)! a mesma torna-se c

p
Bq
q=0
p+1 q
= 0
para todo p 1 ,
forma essa mais freq entemente encontrada na literatura. Essa relaao acima permite obter recursivamente os coecientes u c Bn a partir de B0 = 1. De fato, isolando o termo com q = p, temos Bp = ou seja,
p1
1 p+1
p1
Bq
q=0
p+1 q
para todo p 1 ,
(11.40)
Bp = p!
q=0
Bq q!(p + 1 q)!
para todo p 1 .
(11.41) A
Usando a frmula (11.40) poss o e vel obter os primeiros nmeros de Bernoulli, vide Tabela 11.1, pgina 505. u a
13 Jakob
Bernoulli (16541705).
Cap tulo 11
505/1628
n Bn
0 1
1
1 2
2
1 6
3 0
4
1 30
5 0
6
1 42
7 0
8
1 30
9 0
10
5 66
11 0
12
691 2730
13 0
14
7 6
15 0
16 3617 510
17 0
Tabela 11.1: N meros de Bernoulli Bn para n = 0, . . . , 17. u contemplaao da Tabela 11.1 permite conjecturar que, exceto B1 , todos os Bn com n c mpar so nulos. Veremos abaixo a que essa conjectura verdadeira. A impresso, porm, que os Bn s no-nulos crescem lentamente, obtida da observaao e a e a c dos primeiros elementos da seqncia, falsa. Devido ao fato de a srie de potncias em no convergir para |z| = 2 ue e e e a conclu mos que os |Bn | no-nulos devem assintoticamente ser maiores que, ou da ordem de, n!/(2)n para n grande. Isso a de fato correto e a expresso precisa ser apresentada em (11.47). Outra conjectura que se pode levantar da observaao e a a c da Tabela 11.1 que os sinais dos n meros de Bernoulli com e u ndice par (exceto B0 ) so alternados. Esse fato tambm a e e correto e ser provado mais adiante. a Separando o termo com B1 de (11.39), que z/2, e passando-o para o lado esquerdo, obtemos e Bn n z z + = 1+ z . z 1 e 2 n! n=2 O lado esquerdo vale
z 2
coth
z 2
, como facilmente se constata. Conclu mos assim que z coth(z) = 1 + 2n Bn n z , n! n=2
(11.42)
para |z| < 2. Como z coth(z) uma funao par, vemos de (11.42) que, exceto B1 , todos os demais Bn s com n e c mpar so nulos. Com esse conhecimento podemos escrever a z coth(z) = Como z cot(z) = iz coth(iz), obtemos tambm e z cot(z) = para |z| < 2. (1)n 4n B2n 2n z , (2n)! n=0
4n B2n 2n z . (2n)! n=0
(11.43)
(11.44)
H uma concluso importante a se obter de (11.44). A funao z cot(z) satisfaz tambm a igualdade, obtida primeia a c e ramente por Euler em 1748, 1 2 z cot(z) = 1 2z . (11.45) (k)2 z 2
k=1
Uma demonstraao dessa importante relaao pode ser encontrada no Exerc c c cio-dirigido E. 11.32, pgina 552 destas notas a ou no Exerc cio-dirigido E. 27.21, pgina 1229 (para outras referncias vide esses Exerc a e cios-dirigidos). Agora, para |z| < , podemos escrever, j que k 1, a 1 (k)2 z2 = 1 (k)2 1 1
z 2 k
1 (k)2
n=0
z k
2n
e reinserindo isso em (11.45), obtemos z cot(z) = 1

n=1
k=1
1 (k)2n
z 2n .
Cap tulo 11
506/1628
Comparando a (11.44), obtemos nalmente

k=1
1 4n B2n 2n = (1)n+1 , k 2n 2(2n)!
(11.46)
vlida para todo inteiro n > 0. Note que o lado esquerdo igual a (2n), onde a funao zeta de Riemann, denida a e e c em (11.32), pgina 499. A clebre expresso (11.46) foi obtida pela primeira vez em 1735, por Euler, resolvendo assim a e a parcialmente um problema, denominado problema de Basel, levantado por Mengoli14 em 1644, que consistia em encontrar 1 , m N, m > 1, as quais envolvem potncias de inversas de n meros inteiros. e u uma frmula fechada para as somas o km k=1 Os primeiros resultados obtidos de (11.46) so a
k=1
1 2 = , k2 6
k=1
4 1 = , k4 90
k=1
6 1 = , k6 945
k=1
8 1 = , k8 9450
k=1
10 1 = . k 10 93555
Como o lado esquerdo de (11.46) sempre positivo e no-nulo conclu e a mos daquela identidade que os sinais da seqncia ue B2n , n 1, so alternados e que os B2n s nunca se anulam. Como o lado esquerdo de (11.46) converge a 1 quando a n (por que?), obtemos a expresso assinttica a o B2n
n
(1)n+1
2(2n)! . (2)2n
(11.47)
Diversos textos tratam de outras propriedades elementares dos n meros de Bernoulli. Recomendamos, em particular, u [64]. Vide tambm [168]. Para uma prova de (11.46) em alguns casos particulares usando sries de Fourier, vide os e e exerc cios da Seao 27.7, pgina 1226. Para uma prova geral de (11.46) usando sries de Fourier, vide [50]. Para uma c a e discusso aparentada, vide Seao 20.C, pgina 991, destas notas. a c a
k=1
O estudante deve interessar-se em saber que at hoje um problema aberto determinar frmulas exatas para as sries e e o e 1 e a o = (m) quando m um n mero e u mpar maior que 1. Alm de no haver tais frmulas exatas, sabe-se muito km
pouco sobre (m) com m mpar. Apenas em 1979 foi demonstrado por R. Apry15 que (3) um n mero irracional16. e e u Em 2000, Tanguy Rivoal demonstrou que h innitos (m), com m a mpar, que so irracionais17. a
11.2
Propriedades de Algumas Funes Especiais co
Vamos agora ento reunir o conhecimento acumulado acima para obter vrias propriedades uteis de algumas das funoes a a c especiais que encontramos como soluoes de equaoes diferenciais de interesse. As vrias identidades que provaremos poc c a dem ser obtidas de diferentes modos, de sorte que o leitor certamente encontrar na literatura demonstraoes alternativas a c a `quelas aqui apresentadas.
11.2.1
Propriedades dos Polinmios de Legendre o
Relaoes de ortogonalidade para os polinmios de Legendre c o A equaao de Legendre 1 x2 y (x) + ( + 1)y(x) = 0, tipicamente considerada no intervalo J = [1, 1]. c e Aqui, p(x) = (1 x2 ), q(x) = 0, r(x) = 1 e = ( + 1). A funao p(x) anula-se nos extremos 1 do intervalo c J = [1, 1].
Mengoli (16261686). Apry (19161994). e 16 Para o trabalho original: Roger Apry, Irrationalit de (2) et (3), Astrisque, 61 (1979), 1113. Vide tambm Alfred van der Poorten, e e e e A proof that Euler missed. Aprys proof of the irrationality of (3). An informal report, Math. Intell., 1 (1979), 195203. e 17 T. Rivoal, La fonction Zta de Riemann prend une innite de valeurs irrationnelles aux entiers impairs. Comptes rendus de lAcadmie e e des Sciences, Paris, 331 (2000), 267270.
15 Roger 14 Pietro
Cap tulo 11
507/1628
Os polinmios de Legendre Pm (x) foram denidos em (10.14), pgina 419, por o a Pm (x) :=
m/2 a=0
(1)a (2m 2a)! xm2a , 2m (m a)! (m 2a)! a!
(11.48)
onde m/2 o maior inteiro menor ou igual a m/2, e so soluoes da equaao de Legendre com = m(m + 1), sendo e a c c (as unicas) soluoes da equaao de Legendre que permanecem limitadas nos pontos 1. c c Como p(x) anula-se nos extremos 1 e os Pm (x) so limitados nesses pontos, vale para os polinmios de Legendre a a o relaao (11.23) e conclu c mos pelo Teorema 11.1, pgina 495, que a
1
Pn (x)Pm (x) dx = 0
1
(11.49)
para todo n = m, com m, n = 0, 1, 2, 3, . . .. Notemos que isso implica

1 1
xk Pm (x) dx = 0
(11.50)
para todo k < m, pois os monmios xk podem ser escritos como combinaoes lineares dos polinmios Pn s com n < m. o c o Para calcular as integrais de (11.49) no caso n = m, podemos elegantemente usar as relaoes c
Pn+1 (x) = (2n + 1)Pn (x) + Pn1 (x) ,
n0, n0,
(11.51) (11.52)
e Pn (1) = 1 , Pn (1) = (1)n , as quais sero demonstradas mais abaixo (relaoes (11.57) e (11.61), respectivamente) como conseqncia da frmula de a c ue o Rodrigues para os polinmios de Legendre. De fato, por integraao por partes, tem-se o c
1 1 Pn (x)Pn+1 (x) dx = Pn (x)Pn+1 (x) 1 1 1
Pn (x)Pn+1 (x) dx .
Por (11.52), Pn (x)Pn+1 (x)

1
1 1
= 1 + (1)2n = 2. Por (11.50),

1 1
polinmio de grau n 1. Assim, o 2 =

1 Pn (x)Pn+1 (x) dx 1 1 (11.51)
1 1
e Pn (x)Pn+1 (x) dx = 0, pois Pn (x) seguramente um
Pn (x) (2n + 1)Pn (x) + Pn1 (x) dx = (2n + 1)
1 1
Pn (x)2 dx ,
pois, novamente por (11.50),
e o a Pn (x)Pn1 (x) dx = 0, j que Pn1 (x) um polinmio de grau n 2. Isso provou que 1
Pn (x)Pm (x) dx =
1
2 n, m , 2n + 1
(11.53)
para todos m, n 0. Estas so as relaoes de ortogonalidade para os polinmios de Legendre. Para uma outra a c o demonstraao, vide Exerc E. 11.30, pgina 552. c cio a Em muitas situaoes prticas conveniente expressar (11.53) atravs da mudana de varivel x = cos , com 0 . c a e e c a Ficamos com 2 Pn (cos )Pm (cos ) sen () d = n, m , (11.54) 2n + 1 0 para todos m, n 0. Na Seao 27.6, pgina 1219, demonstrada a importante propriedade de completeza dos polinmios de Legendre no c a e o espao de Hilbert L2 ([1, 1], dx). c
Pelas nossas consideraoes gerais sobre as frmulas de Rodrigues da Seao 11.1.2, pgina 496, podemos presumir que c o c a os polinmios Pm , por serem ortogonais entre si (vide (11.49)), possam ser expressos na forma (11.26) com r(x) = 1, ou o seja, dm (1 x2 )m , Pm (x) = Km dxm
Frmula de Rodrigues para os polinmios de Legendre o o
Cap tulo 11
508/1628
onde Km so constantes que dependem da normalizaao adotada. De fato, essa pressuposiao correta pois, escrevendo a c c e m o (1 x2 )m = a=0 m (1)ma x2m2a (binmio de Newton) e notando que a (2m 2a)! m2a , (m 2a)! x = 0, para 0 a m/2 (11.55) para m/2 + 1 a m
d x2m2a dxm
(justique!), conclu mos facilmente que dm (1 x2 )m dxm
dm dxm dm dxm
m/2 a=0
m a=0 m/2 a=0
m (1)ma x2m2a a m (1)ma x2m2a a m (2m 2a)! m2a x a (m 2a)! (1)a (2m 2a)! xm2a 2m (m a)!(m 2a)!a!
(1)ma
= (1)m 2m m!
m/2 a=0
= (1)m 2m m! Pm (x) . Assim, Km = (1)m /(2m m!) e dm (11.56) (x2 1)m , dxm como pressuposto. Essa expresso conhecida como frmula de Rodrigues para os polinmios de Legendre e vlida a e o o e a para todo m 0, inteiro. Pm (x) = 1 2m m! De (11.56) outras relaoes uteis podem ser extra c das, nosso prximo assunto. o Relaoes de recorrncia para os polinmios de Legendre c e o
Pn+1 (x) Pn+1 (x)
Vamos aqui demonstrar as seguintes relaoes vlidas para os polinmios de Legendre: c a o

= (2n + 1)Pn (x) + Pn1 (x) , = xPn (x) + (n + 1)Pn (x) , = xPn (x) Pn1 (x) ,
(11.57) (11.58) (11.59) (11.60) (11.61)
nPn (x) (n + 1)Pn+1 (x)
= (2n + 1)xPn (x) nPn1 (x) , Pn (1) = (1)n .
Pn (1) = 1 ,
Todas as relaoes acima tm aplicaoes (vimos isso quando provamos as relaoes de ortogonalidade para os Pn s). A c e c c relaao (11.60) particularmente interessante por permitir determinar os Pn s recursivamente a partir dos dois primeiros: c e P0 (x) = 1 e P1 (x) = x. Comecemos por provar (11.57). Como
d 2 dx (x
1)n+1 = 2(n + 1)x(x2 1)n , segue da frmula de Rodrigues para Pn+1 o
Cap tulo 11
509/1628
que
Pn+1 (x)
2n+1
1 dn+1 2(n + 1)x(x2 1)n (n + 1)! dxn+1
= =
2n
dn 1 (x2 1)n + 2nx2 (x2 1)n1 n! dxn
1 dn (2n + 1)(x2 1)n + 2n(x2 1)n1 2n n! dxn
= (2n + 1)Pn (x) + Pn1 (x) ,
provando (11.57). Por outro lado, comeando pela primeira linha obtida acima, e usando-se a regra de Leibniz, tem-se c
Pn+1 (x)
dn+1 1 x(x2 1)n 2n n! dxn+1 1 2n n!

n+1 p=0
n+1 p
dp x dxp
dn+1p 2 (x 1)n dxn+1p
2n
1 (n + 1) dn 2 dn+1 (x 1)n x n+1 (x2 1)n + n n! dx 2 n! dxn
= xPn (x) + (n + 1)Pn (x) ,
provando (11.58). A relaao (11.59) obtida subtraindo-se (11.58) de (11.57). Por m, para obter (11.60), multiplicamos c e (11.57) por x e escrevemos (2n + 1)xPn (x) = =
(11.59) xPn+1 (x) xPn1 (x) xPn+1 (x) Pn (x) + Pn (x) xPn1 (x) (n + 1)Pn+1 (x) + Pn (x) xPn1 (x)
(11.58)
(n + 1)Pn+1 (x) + nPn1 (x) .
Disso (11.60) segue imediatamente. Por m, vamos provar (11.61) por induao. Como P0 (x) = 1 e P1 (x) = x, as relaoes acima valem para n = 0 e c c n = 1. Supondo-as vlidas para n 1 e n, teremos por (11.60) que (n + 1)Pn+1 (1) = (2n + 1) n = (n + 1), o que implica a Pn+1 (1) = 1 e (n + 1)Pn+1 (1) = (2n + 1)(1)n + n(1)n = (n + 1)(1)n+1 , o que implica Pn+1 (1) = (1)n+1 . Isso encerra a demonstraao de (11.57)-(11.61). c A funo geratriz dos polinmios de Legendre ca o A funao geratriz dos polinmios de Legendre c o e L(x, t) := 1 Pn (x) tn = , 1 2tx + t2 n=0
(11.62)
vlida para |t| < 1 e |x| 1. Essa relaao tem diversas demonstraoes, a mais elegante sendo a seguinte (de [85]). a c c
Cap tulo 11
510/1628
Calculando-se
t L(x,
t) e usando-se (11.60), tem-se

n=1
L(x, t) = t
nPn (x) tn1
(n + 1)Pn+1 (x) tn
n=0 n=0
(11.60)
(2n + 1)xPn (x) nPn1 (x) tn
2x
nPn (x) tn + x
n=0 n=0
n=0 n=0
Pn (x) tn Pn (x) tn
n=0
nPn1 (x) tn
2x
nPn (x) tn + x
(n + 1)Pn (x) tn+1
n=0
2xt
Pn (x) tn + (x t) Pn (x) tn t2 Pn (x) tn t n=0 t n=0 n=0 L(x, t) + (x t)L(x, t) . t
= E. 11.14 Exerccio. Verique! Assim, L(x, t) satisfaz a equaao diferencial c
(2xt t2 )
(x t) 1 . L(x, t) = L(x, t) t 1 2xt + t2 O lado direito e 1 ln 1 2xt + t2 . Logo, 2 t L(x, t) = exp(l(x)) , 1 2tx + t2
onde l(x) , em princ e pio, uma funao arbitrria. Lembrando, porm, que L(x, 0) = P0 (x) = 1 para todo x, obtem-se c a e de imediato que l(x) = 0 para todo x. Isso estabelece (11.62), como quer amos. Representaoes integrais para os polinmios de Legendre c o
onde C uma curva fechada e diferencivel no plano complexo dando uma volta em torno de z no sentido anti-horrio. e a a Essa expresso conhecida como representaao integral de Schli18 dos polinmios de Legendre. a e c a o Uma conseqncia dessa representaao a seguinte expresso: ue c e a Pl (z) =
18 Ludwig
para todo z D, onde a curva C uma curva diferencivel fechada inteiramente contida em D e d precisamente uma e a a volta no sentido anti-horrio em torno de z. Combinando a frmula de Rodrigues e a Frmula Integral de Cauchy, a o o obtem-se imediatamente 1 (w2 1)l Pl (z) = l+1 dw , (11.64) 2 i C (w z)l+1
A bem-conhecida Frmula Integral de Cauchy, arma que, para uma funao f anal o c tica em um dom nio aberto simplesmente conexo D, vale n! f (w) dw , (11.63) f (n) (z) = 2i C (w z)n+1
1 2
z + i(1 z 2 )1/2 cos()
d ,
(11.65)
Schli (18141895). a
Cap tulo 11
511/1628
vlida para |z| < 1. A demonstraao dessa expresso ser apresentada mais adiante como caso particular de uma a c a a identidade mais geral (expresso (11.75), abaixo), vlida para os polinmios de Legendre associados. Como a equaao de a a o c Legendre invariante pela mudana l (l + 1) (verique que l(l + 1) levado em si mesmo por essa transformaao!), e c e c vale tambm a identidade19 e 1 1 Pl (z) = d . (11.66) l+1 2 z + i(1 z 2 )1/2 cos() Para z real no intervalo [1, 1], podemos escrever, como comum em aplicaoes, z = cos() com 0 e com isso e c as duas identidades acima cam Pl (cos()) = 1 2
cos() + i sen () cos()
d =
1 2
1 cos() + i sen () cos()

l+1
d .
Usando o binmio de Newton podemos usar a primeira identidade para escrever Pl (cos()) como um polinmio em o o cos e sen : Pl (cos()) = 1 2
l p=0
l p i cos() p 2q q
lp
sen ()
cos()
l/2 q=0 l/2 q=0
(1)q l 22q 2q
cos()
l2q
sen ()
2q
22q
(1)q l! (l 2q)! (q!)2
cos()
l2q
sen ()
2q
11.2.2
Propriedades dos Polinmios de Legendre Associados o
Na Seao 10.3.1, pgina 461, introduzimos a equaao de Legendre associada (10.153) e mostramos que para = l N0 c a c e = m N0 a mesma possui soluoes da forma c Plm (z) := (1 z 2 )m/2
dm Pl (z) , (11.67) dz m para z C com |z| < 1, onde Pl o polinmio de Legendre de grau l. E claro que Plm (z) nulo se m > l (pois Pl e o e e um polinmio de grau l). A relaao (11.67), como dissemos na Seao 10.3.1, dene os chamados polinmios de Legendre o c c o associados20 , ainda que eles no sejam exatamente polinmios na varivel z. a o a Vimos tambm que, devido ` frmula de Rodrigues para os polinmios de Legendre, podemos escrever Plm (z) como e a o o Plm (z) = dl+m 1 (1 z 2 )m/2 l+m (z 2 1)l , 2l l! dz (11.68)
para z C com |z| < 1 e 0 m l. L notamos tambm que essa expresso faz sentido mesmo para m inteiro negativo, a e a mas tal que l m l. Assim, denimos Plm (z) = 1 dlm (1 z 2 )m/2 lm (z 2 1)l , 2l l! dz (l m)! m P (z) . (l + m)! l (11.69)
tambm com 0 m l e para z C com |z| < 1. Armamos que e Plm (z) = (1)m (11.70)
19 Esse argumento envolvendo a transformaao l (l + 1) ainda incompleto, mas pode-se provar que o lado direito de (11.66) de fato c e e igual ao esquerdo, pois regular e satisfaz a equaao de Legendre. Deixamos os detalhes como exerc e c cio. 20 O leitor deve ser advertido que, lastimavelmente, no h uniformidade na literatura quanto a deniao dos polinmios de Legendre a a ` c o associados. Alguns autores (e.g., [113]) introduzem um fator (1)m no lado direito de (11.67). Assim, algumas das expresses que obtemos o aqui podem diferir das correspondentes encontradas em alguns textos e o leitor deve compar-las cuidadosamente. A deniao que seguimos a c a recomendada pela American Mathematical Society. e
Cap tulo 11
512/1628
Essa relaao importante por mostrar que Plm (z) tambm uma soluao da equaao de Legendre associada, por ser c e e e c c proporcional a Plm (z). Fora isso a expresso acima relevante para as chamadas funoes harmnicas esfricas, das quais a e c o e trataremos mais abaixo. Apresentaremos duas demonstraoes de (11.70), ambas instrutivas. Uma ` fora bruta, usando diretamente as c a c denioes, desenvolvida no Apndice 11.A, pgina 555. Uma segunda, mais gentil, ser vista logo abaixo e usa uma c e e a a representaao integral dos polinmios de Legendre associados. c o Representaoes integrais para os polinmios de Legendre associados c o
Nossa intenao agora obter algumas representaoes integrais uteis para os polinmios de Legendre associados mas, c e c o en passant, encontraremos uma outra demonstraao mais gentil da identidade (11.70). c
d As expresses (11.68) e (11.69) envolvem derivadas do tipo dzk (z 2 1)l para k = l + m e k = l m, respectivamente. o k d Procuremos primeiramente expressar genericamente dzk (z 2 1)l em termos de certas integrais. Tomemos provisoriamente z real no intervalo aberto 1 < z < 1. Pela Frmula Integral de Cauchy (11.63), podemos escrever21 o
k
dk 2 k! (z 1)l = k dz 2i
(w2 1)l dw , (w z)k+1
(11.71)
onde C uma curva fechada e diferencivel no plano complexo, dando uma volta em torno de z no sentido anti-horrio. e a a Escolhemos a curva C dada por C := {w C| |w z| = (1 z 2 )1/2 }, de modo que podemos escrever todo ponto w de C na forma w = z + i(1 z 2 )1/2 ei com . Com isso, a integral em w sobre C pode ser escrita como uma integral em e para isso, usa-se dw wz = = (1 z 2 )1/2 ei d , i(1 z 2 )1/2 ei , (1 z 2 ) (e2i + 1) + 2iz(1 z 2 )1/2 ei 2 i(1 z 2 )1/2
2
w2 1 = = = Assim, dk 2 (z 1)l dz k = k! 2i
ei
ei + ei 2
+ 2iz(1 z 2 )1/2 ei
2i(1 z 2 )1/2 ei z + i(1 z 2 )1/2 cos() .
(w2 1)l dw (w z)k+1 k! 2i

= (1 z 2 )1/2
2i(1 z 2 )1/2 ei z + i(1 z 2 )1/2 cos() i(1 z 2 )1/2 ei

k+1
ei d
= (1 z 2 )(lk)/2 e assim,
2l ilk k! 2
z + i(1 z 2 )1/2 cos()

l
ei(lk) d
dk 2 2l ilk k! (z 1)l = (1 z 2 )(lk)/2 dz k 2 z + i(1 z 2 )1/2 cos()

l
z + i(1 z 2 )1/2 cos()
cos (l k) d ,
(11.72)
pois
21 As
sen ((l k)) d = 0, pelo fato de o integrando ser uma funao c mpar.
idias que se seguem provavelmente originam-se dos trabalhos de Schli. Nossas fontes so [85] e [190], que seguimos com adaptaoes. e a a c
Cap tulo 11
513/1628
Aplicando (11.72) `s expresses (11.68) e (11.69) de Plm e Plm (adotando k = l + m e k = l m, respectivamente), a o chegamos a Plm (z) = Plm (z) = e comparando-as, extra mos que Plm (z) = (1)m (l + m)! m P (z) . (l m)! l (11.73) im (l + m)! 2l! i+m (l m)! 2l!

z + i(1 z 2 )1/2 cos() z + i(1 z 2 )1/2 cos()
cos m d , cos + m d ,
Com isso, encontramos uma segunda demonstraao de (11.70). As identidades acima foram provadas para z real em c 1 < z < 1, mas valem para todo z complexo com |z| < 1 (e mesmo em z = 1), pois l Plm (z) e Plm (z) tm uma a e extenso anal a tica unica. Coletemos o que provamos acima. Aplicando (11.71) ` deniao (11.68) de Plm (z), agora para todo m Z com a c l m l, chegamos ` expresso a a Plm (z) = (l + m)! (1 z 2 )m/2 2l+1 i l!
C
(w2 1)l dw , (w z)l+m+1
(11.74)
onde C uma curva fechada e diferencivel no plano complexo dando uma volta em torno de z no sentido anti-horrio. e a a Essa expresso generaliza a representaao de Schli (11.64) para os polinmios de Legendre. Como conseqncia, a c a o ue estabelecemos tambm logo acima a representaao integral e c Plm (z) = im (l + m)! 2l!

z + i(1 z 2 )1/2 cos()
cos m d ,
(11.75)
Assim como a equaao de Legendre, a equaao de Legendre associada invariante pela transformaao l (l + 1). c c e c Assim, vale tambm22 e Plm (z) = im l! 2(l m)!

vlida para |z| < 1 e para todo l N0 e todo m Z com l m l. a
1 z + i(1 z 2 )1/2 cos()

l+1
cos m d ,
(11.76)
onde acima usamos o fato que (l+m)! = (l + m)(l + m 1) (l + 1) levado pela transformaao l (l + 1) em e c l! l! (1 l + m)(2 l + m) (l) = (1)m (l)(l + 1) (l m + 1) = (lm)! . Em aplicaoes comum tomar-se z real no intervalo [1, 1] e escrever z = cos() com 0 . Com isso, as duas c e identidades acima cam Plm (cos()) Plm (cos()) = im (l + m)! 2l! im l! 2(l m)!
cos() + i sen () cos()

cos m d ,
(11.77)
1 cos() + i sen () cos()

l+1
cos m d .
(11.78)
Atravs do binmio de Newton, a primeira identidade pode ser usada para expressar Plm (cos()) como um polinmio em e o o
22 Esse argumento envolvendo a transformaao l (l + 1) ainda incompleto, mas pode-se provar que o lado direito de (11.76) de fato c e e igual ao esquerdo, pois regular e satisfaz a equaao de Legendre associada. Deixamos os detalhes como exerc e c cio.
Cap tulo 11
514/1628
cos e sen : Plm (cos()) = im (l + m)! 2l!

l
ip
p=0
l p
cos()
lp
sen ()
cos()
cos m d ,
m+|m|
(l + m)! 2|m| l!
l|m| 2
q=0
(1)q 22q
l 2q + |m|
2q + |m| q
cos()
l2q|m|
sen ()
2q+|m|
m+|m|
(l + m)! 2|m|
l|m| 2
q=0
22q
(1)q (l 2q |m|)! (q + |m|)! q!
cos()
l2q|m|
sen ()
2q+|m|
(11.79) Note que im+|m| = 1 se m 0 e im+|m| = (1)m se m < 0, de modo que Plm (cos()) real se 0 . A expresso e a (11.79) por vezes utilizada na prtica para expressar as funoes harmnicas esfricas (que deniremos abaixo) como e a c o e polinmios em cos e sen . Logo adiante faremos uso da mesma no estudo das relaoes de ortogonalidade das funoes o c c Plm . A funo geratriz dos polinmios de Legendre associados ca o Usando (11.67), (11.62) e a identidade, vlida para m 0, a (2m)! m dm 1 1 (1 2tx + t2 ) 2 = m t (1 2tx + t2 )m 2 m dx 2 m!
l=0 m Pl+m (x) tl
(prove-a!) fcil mostrar que e a
vlida para todo m 0. a E. 11.15 Exerccio. Mostre isso.
(1 x2 ) 2 (2m)! , = m 2 m! (1 2tx + t2 )m+ 1 2
(11.80)
A expresso (11.80) tambm denominada funao geratriz dos polinmios de Legendre associados. A expresso (11.80) a e e c o a tem poucas aplicaoes diretas, mas pode ser usada para demonstrar outras relaoes sobre os polinmios de Legendre c c o associados. Relaoes de recorrncia para os polinmios de Legendre associados c e o Plm+1 (x)
m+1 Pl+1 (x)
Os polinmios de Legendre associados satisfazem uma srie de relaoes de recorrncia. Listemos as mais relevantes: o e c e = 2mx Plm (x) l(l + 1) m(m 1) Plm1 (x) , 1 x2
m+1 = (2l + 1) 1 x2 Plm (x) + Pl1 (x) , m1 m1 = (l + m)(l + m 1)Pl1 (x) (l m + 1)(l m + 2)Pl+1 (x) , m m = (l + m)Pl1 (x) + (l m + 1)Pl+1 (x) ,
(2l + 1) 1 x2 Plm (x) (2l + 1)xPlm (x) 2 1 x2
d m P (x) = Plm+1 (x) (l + m)(l m + 1)Plm1 (x) . dx l As demonstraoes podem ser obtidas da seguinte forma: 1. a partir das relaoes de recorrncia dos polinmios de Legendre c c e o (11.57)-(11.61) com uso da deniao (11.67); 2. a partir de (11.68) ou, em alguns casos, 3. com o uso da funao geratriz c c (11.80). Deixamos as demonstraoes como exerc c cio.
Cap tulo 11
515/1628
c a o o u E. 11.16 Exerccio. Prove todas as relaoes acima. Sugesto: tente por conta prpria seguir as sugestes do ltimo pargrafo. Seno, consulte a literatura supracitada, mas com as seguintes precauoes: a. diferentes textos apresentam a a c denioes diferentes dos Plm , o que conduz a relaoes de recorrncia distintas das de acima; b. nem todos os livros-texto23 c c e provam todas as relaoes e c. alguns contm erros. c e Relaoes de ortogonalidade para os polinmios de Legendre associados c o
Obteremos agora relaoes de ortogonalidade para os polinmios de Legendre associados, relaoes essas de grande c o c importncia na Anlise Harmnica e que inspiram a deniao das chamadas funoes harmnicas esfricas. a a o c c o e A equaao de Legendre associada (10.153) considerada na maioria das aplicaoes no intervalo [1, 1], como j c e c a mencionamos. A mesma, em analogia com a equaao de Legendre, pode ser escrita como c ((1 x2 )y (x)) + l(l + 1)y(x) m2 y(x) = 0 , 1 x2 (11.81)
onde aqui j nos restringimos ao caso l N0 , m Z com l m l. Como se v, temos aqui p(x) = (1 x2 ), mas a e podemos fazer as seguintes escolhas 1) q(x) = m2 , 1 x2 r(x) = 1, = l(l + 1) ,
2)
q(x) = l(l + 1),
r(x) =
1 , 1 x2
= m2 .
Analisaremos essas duas opoes em separado. O caso 1 o mais interessante, especialmente devido a sua aplicaao para c e c as funoes harmnicas esfricas. O caso 2 no de grande interesse e o leitor pode dispensar sua leitura, se o desejar24 . c o e a e Caso 1) A primeira questo que aqui se coloca se a condiao (11.23) satisfeita para funoes Plm (x) e Plm (x) com a e c e c l l , ou seja, se p(x) Plm (x) (Plm (x)) Plm (x) (Plm (x))
1
com l l . A maneira mais fcil de discutir isso escrever x = cos() e, como a e
= 0,
(11.82)
d m 1 d m Pl (x) = P (cos ), dx sen () d l e p(x) = sen ()2 , (11.82) ca sen () Plm (cos ) d m d Pl (cos ) Plm (cos ) Plm (cos ) d d
= =0
(11.83)
Agora, por (11.79), Plm (cos ) um polinmio trigonomtrico, e assim o tambm d Plm (cos ). Logo, ambos so nitos e o e e e d a em = 0 e = . Como, porm, sen anula-se nesses extremos, conclu e mos que (11.83) nula, conrmando a validade e de (11.23) no caso em questo. Conclu a mos assim, pelo Teorema 11.1, pgina 495, que deve valer a
1 1
Plm (x) Plm (x) dx = 0
(11.84)
sempre que l = l .
0 Interessamo-nos agora pelo caso l = l. Caso l = l = 0 vale P0 (x) = 1 e 1 1 2 (Plm (x))
dx com l > 0 podemos proceder de diferentes maneiras, a mais direta sendo a seguinte. Usando (11.70) e
1 0 (P0 )2 1
dx = 2. Para calcular
23 Segundo o Houaiss, livros-textos ou livros-texto so dois plurais gramaticalmente corretos para livro-texto, assim como espaosa c tempos e espaos-tempo so plurais aceitveis para espao-tempo. c a a c 24 O caso 2 um tanto patolgico (pois a funao r(x) diverge em 1 e no integrvel) e evitado por quase todos os livros-texto. e o c a e a e
Cap tulo 11
516/1628
as expresses (11.68) e (11.69) para Plm e Plm , respectivamente, escrevemos o

1 1
Plm (x) Plm (x) dx
(1)m
(l + m)! (l m)!
1 1
Plm (x)Plm (x) dx

1
(1)m (l + m)! 22l (l!)2 (l m)!

lm
vezes
1 1 1 1 1
dl+m 2 (x 1)l dxl+m
dlm 2 (x 1)l dx dxlm
int. por partes
(1)l (l + m)! 22l (l!)2 (l m)! (2l)! (l + m)! 22l (l!)2 (l m)! (2l)! (l + m)! 22l (l!)2 (l m)! (l + m)! 2 . 2l + 1 (l m)!
d2l 2 (x 1)l (x2 1)l dx dx2l (1 x2 )l dx
2 (2l)!! (2l + 1)!!
Na terceira linha aplicamos integraao por partes l m vezes. Isso justicado pois, como facilmente se v por induao, c e e c dp a derivadas como dxp (x2 1)l , com 0 p < l so proporcionais a (x2 1)lp e, por isso, os termos de fronteira se anulam. (2l)! Na ultima passagem usamos o fato que (2l+1)!! = (2l)!! e o fato que (2l)!! = 2l l!. Na pen ltima passagem usamos a u 2l+1 identidade 1 (2l)!! , (11.85) (1 x2 )l dx = 2 (2l + 1)!! 1 a qual pode ser provada da seguinte forma. Seja Al :=
1 1 1 1 1 (1
x2 )l dx. Ento, para l > 0, a
Al :=
1
(1 x2 )l dx =
dx dx
(1 x2 )l dx
int. por partes
x(1 x2 )l
=0
1 1
+2l
1
x2 (1 x2 )l1 dx = 2lAl + 2lAl1 .
Assim, Al =
2l 2l+1 Al1
e como A0 = 2, segue (11.85).

1 1
Demonstramos, assim, as relaoes de ortogonalidade c Plm (x) Plm (x) dx = (l + m)! 2 l, l , 2l + 1 (l m)! (11.86)
vlidas para todo l, l N0 e m, m Z com l m l e l m l . E por vezes util expressar essas relaoes com a c a mudana de variveis x = cos : c a
0
Plm (cos ) Plm (cos ) sen d =
2 (l + m)! l, l . 2l + 1 (l m)!
(11.87)
Essa forma das relaoes de ortogonalidade dos polinmios de Legendre associados ser particularmente relevante para as c o a funoes harmnicas esfricas, como veremos adiante. c o e a e c e c Caso 2) A primeira questo que aqui se coloca se a condiao (11.23) satisfeita para funoes Plm (x) e Plm (x), com |m| = |m | (lembre-se o leitor que = m2 e, portanto = equivale a |m| = |m |), ou seja, se p(x) Plm (x) Plm (x)

Plm (x) (Plm (x))
1 1
= 0.
(11.88)
Cap tulo 11
517/1628
sempre que |m| = |m |. A mesma anlise feita para o caso 1 mostra que isso verdadeiro, conrmando a validade de a e (11.23) no caso em questo. Conclu a mos assim, pelo Teorema 11.1, pgina 495, que deve valer a
1 1
Plm (x) Plm (x)
1 dx = 0, 1 x2
ou seja,
0
Plm (cos ) Plm (cos )
1 d = 0, sen ()
(11.89)
sempre que |m| = |m |. A expresso (11.79) ensina-nos que Plm (cos ) proporcional a ( sen )|m| . Logo, como |m| = |m |, a e 1 sempre haver no produto Plm (cos )Plm (cos ) pelo menos um fator sen para compensar o sen , o que mostra que o a integrando em (11.89) limitado. O caso |m | = |m| um tanto patolgico (a integral diverge se m = m = 0), dif de e e o cil demonstrar e sem conseqncias prticas relevantes, de modo que nos limitamos a apresentar o resultado nal25 : ue a 0, se |m | = |m|, , 1 se m = m = 0, 1 m m dx = Pl (x) Pl (x) (11.90) (1)m 1 x2 1 , se m = m > 0, m 1 (l + m)! , se m = m > 0. m (l m)! Note o leitor que a condiao m > 0 s pode ocorrer se l > 0. c o Como j dissemos, as relaoes (11.90) so menos importantes na prtica que as de (11.86). Essas inspiram uma a c a a deniao importante: a das funoes harmnicas esfricas. c c o e
11.2.2.1
As Funes Harmnicas Esfricas co o e
No espao Rn , n 2, o conjunto de pontos que distam de uma unidade da origem formam a assim chamada esfera c unitria26 , denotada por S n1 : a S n1 := (x1 , . . . , xn ) Rn (x1 )2 + + (xn )2 = 1 .
O conjunto S 1 R2 o c e rculo unitrio e seus pontos podem ser descritos por um unico ngulo com : a a S 1 := cos , sen R2 , .
Como se v, os pontos correspondentes a = so identicados. O conjunto S 2 R3 a esfera unitria e seus pontos e a e a podem ser descritos por dois ngulos: e , com e 0 : a S 2 := sen () cos(), sen () sen (), cos() R3 , , 0 .
Novamente, os pontos correspondentes a = so identicados e para os pontos correspondentes a = 0 e = o a a ngulo indeterminado. e As chamadas Funoes Harmnicas Esfricas, ou simplesmente Harmnicas Esfricas (ou ainda Harmnicos Esfricos), c o e o e o e so as funoes denidas por a c Ylm (, ) := (1)m 2l + 1 (l m)! m P (cos()) eim , 4 (l + m)! l (11.91)
onde 0 , , l N0 e m Z com l m l. Note-se que Yl0 (, ) =

25 Para 26 H a
2l + 1 Pl (cos()) , 4
(11.92)
uma referncia mais detalhada, vide [123], pag. 74. e aqui um abuso de linguagem, pois S n1 , estritamente falando, a superf da esfera. e cie
Cap tulo 11
518/1628
onde Pl so os polinmios de Legendre. a o Mais uma vez o leitor deve ser advertido da existncia de outras convenoes sobre a deniao das funoes harmnicas e c c c o esfricas. Essas funoes so empregadas em diversas reas de pesquisa, como na F e c a a sica Atmica, no Eletromagnetismo, o na Geof sica, na Geodesia, na Sismologia, no estudo do magnetismo terrestre e planetrio e, mais modernamente, na a Cosmologia, no estudo da radiaao csmica de fundo. Assim, diferentes comunidades empregam por vezes convenoes c o c diferentes quanto ` normalizaao das funoes harmnicas esfricas. A que adotamos a mais freq entemente empregada a c c o e e u na F sica Quntica, mas mesmo l h excesses: alguns autores substituem o fator (1)m por im na deniao (11.91). a a a o c Outros no incluem o fator (1)m na deniao das funoes harmnicas esfricas, mas sim na deniao dos polinmios a c c o e c o de Legendre associados o que, anal, resulta no mesmo. O fator de fase (1)m , que adotamos em (11.91) denominado e fase de Condon-Shortley27 em referncia aos autores de um texto clssico sobre espectros atmicos (ref. [34]). e a o As funoes harmnicas esfricas so soluao da equaao diferencial parcial c o e a c c 1 sen ( sen ) Y 2Y 1 (, ) + l(l + 1)Y (, ) = 0 , (, ) + 2 2 ( sen ) (11.93)
que encontrada quando da resoluao da equaao de Helmholtz ou de Laplace em trs dimenses em coordenadas e c c e o esfricas, assim como no problema do tomo de hidrognio na Mecnica Quntica ou qualquer outro problema quntico e a e a a a em trs dimenses no qual o potencial seja esfericamente simtrico. Vide equaao (16.45) e seguintes. e o e c E um exerc relevante vericar que, devido ` relaao (11.70), tem-se, com a deniao acima, cio a c c Ylm (, ) = (1)m Ylm (, ) . As primeiras funoes harmnicas esfricas so c o e a 1 , Y00 (, ) = 4 Y11 (, ) =
2 Y = 2 s 32 15 ` sen 2 2i e ,
(11.94)
(11.95) Y11 (, ) =
1 2 , 1 Y2 = s 15 8
3 sen ei , 8
1 Y = 2 s 15 8
Y10 (, ) =
0 Y2 = s 4
3 cos , 4
5 3` 2 cos 2
3 sen ei , 8
2 Y2 = s 32 15 ` sen
(11.96)
2 2i e .
i sen cos e ,
i sen cos e ,
(11.97)
Relao com sries de Fourier ca e
No c rculo unitrio S 1 valem as bem-conhecidas relaoes de ortogonalidade a c
em em dl =
S1
em () em () d = m, m
(11.98)
onde, para m Z,
1 eim , em () := 2
dl = d sendo a medida de comprimento do c rculo unitrio S 1 . Usando as relaoes de ortogonalidade (11.98) e as a c relaoes de ortogonalidade (11.87), fcil constatar que c e a Ylm Ylm d =
S2
Ylm (, ) Ylm (, ) sen () d d = m, m l, l
(11.99)
para todos l, l N0 e todos m, m Z com l m l e l m l, onde d = sen () d d a medida de rea e a na esfera unitria S 2 em coordenada polares. Essas so as relaoes de ortogonalidade das funoes harmnicas esfricas, a a c c o e as quais desempenham um relevante papel na resoluao de problemas envolvendo certas equaoes diferenciais parciais c c em trs dimenses que tenham simetria esfrica. As funoes harmnicas esfricas surgem na importante soluao de um e o e c o e c problema fundamental da Mecnica Quntica, o problema do tomo de hidrognio. As formas dos orbitais eletrnicos, a a a e o
27 Edward
Uhler Condon (19021974). George H. Shortley (??).
Cap tulo 11
519/1628
de importncia fundamental no estudo de tomos e molculas e suas ligaoes qu a a e c micas, esto intimamente relacionadas a a `s funoes Ylm (, ) e aos polinmios de Laguerre associados. c o Como se percebe da comparaao de (11.98) com (11.99), as funoes harmnicas esfricas desempenham na esfera c c o e unitria S 2 o mesmo papel que as funoes em desempenham no c a c rculo S 1 : formam um conjunto ortonormal em relaao c a ` medida de rea d = sen () d d. Assim como as funoes em formam um conjunto ortonormal completo para as a c funoes denidas em S 1 , o que nos permite expressar funoes f (), peridicas de per c c o odo 2, cont nuas por partes ou apenas de quadrado integrvel, em termos de uma srie de Fourier: a e f () =
m=
cm em ()
com
cm :=
em () f () d ,
as funoes harmnicas esfricas tambm formam um conjunto ortonormal completo para as funoes denidas em S 2 . c o e e c Assim, em um sentido a ser precisado, todas as funoes f (, ) denidas em S 2 , e que sejam cont c nuas por partes ou apenas de quadrado integrvel, podem ser escritas em termos de uma srie envolvendo funoes harmnicas esfricas. a e c o e Essa srie dada por e e f (, ) =
l
cl, m Ylm (, ),
com
cl, m :=
Ylm (, ) f (, ) sen () d d ,
l=0 m=l
e uma espcie de generalizaao para a esfera S 2 da srie de Fourier. Essas consideraoes justicam a denominaao de e e c e c c funoes harmnicas esfricas para as funoes Ylm . c o e c As funoes harmnicas esfricas tambm desempenham um papel na teoria de representaoes do grupo SO(3). H c o e e c a tambm generalizaoes das funoes harmnicas esfricas para as esferas S n com n 3. Essas generalizaoes so estudadas, e c c o e c a por exemplo, em [85].
11.2.2.2
Frmula de Adio de Funes Harmnicas Esfricas o ca co o e
Oa polinmios de Legendre e as funoes harmnicas esfricas possuem uma propriedade especial utilizada na Eletrosttica o c o e a (na chamada expanso de multipolos, vide pgina 522) e na Mecnica Quntica, o chamado teorema de adiao de a a a a c funoes harmnicas esfricas, ou frmula de adiao de funoes harmnicas esfricas. No que segue apresentaremos a c o e o c c o e demonstraao dessa propriedade. Comeamos com uma observaao sobre o operador Laplaciano. c c c Invarincia por rotaoes do Laplaciano a c
x1 x2 x3
Consideremos um sistema de coordenadas Cartesianas em R3 onde cada ponto do espao descrito por uma tripla c e denidas em relaao a um sistema de coordenadas ortonormais x, y e z . Por uma rotaao desse sistema de c c
x 1 x 2 x 3
coordenadas, as coordenadas de cada ponto do espao so transformadas segundo c a
= R
x1 x2 x3 3
, onde R uma e Rij xj . Note que
matriz ortogonal, ou seja, satisfazendo RT R = RRT = . Assim, para cada i = 1, 2, 3 vale x = i

j=1
para todos a e b vale
x a xb
= Rab , que so constantes. Com isso, fcil ver que o operador Laplaciano em coordenadas a e a
Cap tulo 11
520/1628
Cartesianas invariante por rotaoes. De fato, e c

3
=
k=1
2 = x2 k
k=1 l=1
x x m l xk xk x x m l m=1
=
k=1 l=1 m=1 3 3
Rlk Rmk
3
x x m l x x m l
=
l=1 m=1 3 3 k=1
T Rlk Rkm
=
l=1 m=1 3 3
RRT
lm
x x m l
3
=
l=1 m=1
lm
= x x m l
l=1
2 = , x2 l
como quer amos provar. O operador Laplaciano pode ser escrito em coordenadas esfricas como e = 1 r2 r r2 r + 1 2 L , r2 1 sen onde L2 := 1 sen ( sen ) + 2 1 . 2 2 ( sen ) (11.100)
Como a coordenada radial invariante por rotaoes, conclu e c mos que L2 = (L2 ) , ou seja, ( sen ) + 2 1 1 = 2 2 ( sen ) sen ( sen ) + 2 1 . )2 2 ( sen
Acima e so os ngulos polares em relaao aos eixos denidos por z e z , respectivamente, e e so os correspona a c a dentes ngulos azimutais. a O estudante familiarizado com a Mecnica Quntica h de perceber que o uso da notaao L2 para denotar a parte a a a c angular do operador Laplaciano provm da forma do operador momento angular (quadrado) em coordenadas esfricas e e de um sistema composto por uma part cula. Para o que segue o estudante deve recordar tambm que, segundo (11.93) (vide tambm a equaao (16.45) e seguintes, e e c pgina 705), as funoes harmnicas esfricas satisfazem L2 Ylm (, ) = l(l + 1)Ylm (, ). a c o e Frmula de adio de funoes harmnicas esfricas o ca c o e
Sejam n e n dois versores em R3 . Suas coordenadas Cartesianas em relaao a algum sistema de referncia ortogonal c e denido por trs versores x, y e z podem ser escritas em termos dos ngulos polar e azimutal de um sistema de coordenadas e a esfricas obtidas da maneira usual a partir do eixo denido por z como e n := sen () cos(), sen () sen (), cos() e n := sen ( ) cos( ), sen ( ) sen ( ), cos( ) .
Seja o ngulo entre as direoes que estes vetores denem, de sorte que n n = cos . Naturalmente, escrevendo a c explicitamente o produto escalar n n em termos das componentes de n e n , obtemos expresso essa que relaciona aos ngulos , , e . a a cos = cos cos + sen sen cos ( ) ,
Se realizarmos uma rotaao do sistema de coordenadas de modo a fazer o versor n coincidir com o novo eixo z , as c coordenadas que descrevero o vetor n sero (0, 0, 1) e, como o ngulo entre n e n preservado, as coordenadas que a a a e descrevero o vetor n sero sen ( ) cos( ), sen ( ) sen ( ), cos( ) . a a Denotamos por (L2 ) o operador diferencial denido em (11.100) referente `s coordenadas e e por (L2 ) corresa pondente o operador diferencial referente `s coordenadas e . Como mencionamos acima, a invarincia do Laplaciano a a por rotaoes de sistemas de coordenadas implica (L2 ) = (L2 ) . c Sendo uma funao cont c nua de e , a funao Pl (cos ) = Pl cos cos + sen sen cos ( ) c desenvolvida em srie de funoes harmnicas esfricas e c o e Pl (cos ) =
n m cnm (, ) Yn ( , )
pode ser
(11.101)
n=0 m=n
Cap tulo 11
521/1628
mas s comparecem acima termos com n = l, a saber, tem-se o

l
Pl (cos ) =
m=l
clm (, ) Ylm ( , ) .
(11.102)
Para provar (11.102) notamos que Pl (cos ) satisfaz (L2 ) Pl (cos ) = l(l + 1)Pl (cos ) pois, devido a (11.92), tem-se Pl (cos ) =
4 0 2l+1 Yl ( ,
). Dessa forma,
l(l + 1)
n m cnm (, ) Yn ( , ) = l(l + 1)Pl (cos ) = (L2 ) Pl (cos ) = (L2 ) Pl (cos )
n=0 m=n n m cnm (, ) (L2 ) Yn ( , ) = n m cnm (, ) n(n + 1)Yn ( , ) .
= Assim, estabelecemos que
n=0 m=n
n=0 m=n
n m l(l + 1) n(n + 1) cnm (, ) Yn ( , ) = 0 ,
n=0 m=n
o que implica que para todos e tem-se cnm (, ) = 0 sempre que n(n + 1) = l(l + 1), ou seja, sempre que n = l (a outra soluao para n da equaao n(n + 1) l(l + 1) = 0 n = l 1, que negativa e, portanto, deve ser descartada). c c e e Isso estabeleceu (11.102). De maneira totalmente anloga poss estabelecer que a e vel
l
Ylm ( , ) =
q=l
am (, ) Ylq ( , ) . lq
(11.103)
Por (11.101) e usando as relaoes de ortogonalidade das funoes harmnicas esfricas, temos c c o e clm (, ) = Pl (cos ) Ylm ( , ) d
4 0 2l+1 Yl ( , (11.103) l
am (, ) lq
q=l
Pl (cos ) Ylq ( , ) d .
Lembrando por (11.92) que Pl (cos ) = esfricas, obtemos, e
) e usando as relaoes de ortogonalidade das funoes harmnicas c c o 4 am (, ) . 2l + 1 l0 (11.104)
clm (, ) =
No caso em que n = n tem-se, naturalmente, = e = , mas tambm tem-se = 0. A expresso (11.103) e a arma, ento, que a
l
Ylm (, ) =
q=l
am (, ) Ylq (0, ) . lq
Agora, pela deniao (11.91), vale c Ylq (0, ) = (1)q 2l + 1 4

(l q)! q P (1) eiq . (l + q)! l
Como Plq (1) = 0 para q = 0 e Pl0 (1) = 1, obtemos Ylm (, ) =

4 2l+1
2l + 1 m al0 (, ) e, portanto, am (, ) = l0 4
Ylm (, ). Levando isso a (11.104), obtemos clm (, ) = 4 Y m (, ) , 2l + 1 l
Cap tulo 11
522/1628
Portanto, obtemos por (11.101) Pl (cos ) = 4 2l + 1

l
Ylm (, ) Ylm ( , ) .
m=l
Como Pl (cos ) real, podemos escrever isso tambm na forma e e Pl (cos ) = 4 2l + 1

l
Ylm ( , ) Ylm (, ) .
m=l
(11.105)
Esta a chamada frmula de adiao das funoes harmnicas esfricas ou teorema de adiao das funoes harmnicas e o c c o e c c o esfricas. Note que (11.105) arma tambm que e e
l
Pl (cos ) =
m=l
(l m)! m Pl (cos ) Plm (cos ) eim( ) , (l + m)!
(11.106)
ou seja, Pl (cos ) = Pl (cos ) Pl (cos ) + 2 (l m)! m P (cos ) Plm (cos ) cos m( ) . (l + m)! l m=1
l
(11.107)
Para o caso em que = e = tem-se = 0 e a relaao (11.105) informa que c

l
m=l
|Ylm (, )|
2l + 1 , 4
(11.108)
relaao esta vlida para todos e . Essa relaao por vezes denominada regra de soma de quadrados de funoes c a c e c harmnicas esfricas. o e Aplicao ` Eletrosttica. Expanso de multipolos ca a a a
Apresentaremos aqui uma aplicaao da frmula de adiao de harmnicos esfricos ` Eletrosttica. c o c o e a a
Sejam x e x dois vetores em R3 cujas componentes Cartesianas escritas em termos de um sistema de coordenadas esfricas sejam e x = r sen () cos(), r sen () sen (), r cos() e x = r sen ( ) cos( ), r sen ( ) sen ( ), r cos( ) .
Naturalmente, para x = x vale 1 r 1 12 12

r r
1 x x
1 + x
2x x
cos 1 cos
+ +
r 2 r r 2 r
, ,
se r < r , se r < r ,
onde o ngulo entre x e x (de sorte que x x = rr cos ). e a Usando a expresso (11.62), pgina 509, a frmula a a o l=0 1 = xx
l=0
1 r
r r
da funao geratriz dos polinnios de Legendre, escrevemos c o se r < r ,
rl Pl (cos ) , rl+1
rl rl+1
Pl (cos ) ,
se r < r .
Cap tulo 11
523/1628
Podemos agora fazer uso da frmula de adiao (11.105) e obter o c l 1 4 rl Ylm ( , ) 2l + 1 l=0 m=l 4
l l=0 m=l
Ylm (, ) rl+1
se r < r , (11.109)
1 x x
1 2l + 1
Ylm ( , ) rl+1
rl Ylm (, ) ,
se r < r .
O interesse na expresso acima reside no fato de que as contribuioes de x e x ocorrem de forma fatorizada em cada a c termo das somas em l e m (os fatores entre parnteses). e Vams agora aplicar as expresses acima ` Eletrosttica (como referncias gerais citamos [93], [65] ou [157]). Seja o a a e dada uma distribuiao de cargas (x ) e vamos supor que ao potencial eltrico (x) no imposta nenhuma condiao c e a e c de contorno, exceto anular-se no innito. Sabemos que em tal caso a equaao de Poisson28 = tem por soluao c c 0 (x ) 1 d3 x se decair a zero sucientemente rpido no innito. a (x) = 40 x x Se tiver suporte compacto, de forma que para algum R > 0 tenha-se (x ) = 0 para todo x com x > R, ento a para todo x satisfazendo x > R podemos usar (11.109) (para o caso r < r) e escrever (x) = onde Qlm := (x ) rl Ylm ( , ) d3 x =
0 0 0 2
1 0
l=0 m=l
Qlm 2l + 1
Ylm (, ) rl+1
(11.110)
(r , , ) (r )l+2 Ylm ( , ) sen d d dr .
(11.111)
A expanso (11.110) denominada expanso de multipolos para o potencial . Os coecientes Qlm dados em (11.111) a e a so denominados momentos de multipolo. a Usando que Y00 =
Q00 1 0 4 r e sendo que, por (11.111), Q00 = 1 (x ) d3 x = Qtotal , sendo Qtotal a carga total da distribuiao . c 4 4 29 Percebemos que o primeiro termo da expanso de multipolos corresponde ` bem-conhecida Lei de Coulomb e podemos a a assim compreender os demais como sendo correoes a essa lei para distribuioes de carga gerais . c c 1 , 4
vemos que primeiro termo da expanso de multipolos (correspondente ao termo com l = 0) a
Mais detalhes sobre usos da expanso de multipolos na Eletrosttica podem ser encontrados em bons livros de a a Eletromagnetismo (e.g. [93], [65] ou [157]).
11.2.3
Propriedades dos Polinmios de Hermite o
Relaoes de ortogonalidade para os polinmios de Hermite c o A equaao de Hermite ex y (x) c

2 2 2
p(x) = ex , q(x) = 0, r(x) = ex e = . Note que p(x) > 0 e r(x) > 0 em todo J = (, ). Os polinmios de o Hermite Hm (x) foram denidos30 em (10.20) por Hm (x) :=
28 Simon e
+ ex y(x) = 0 tipicamente considerada no intervalo J = (, ). Aqui e
m/2 k=0
(1)k m! (2x)m2k . k! (m 2k)!
(11.112)
Denis Poisson (17811840). Augustin de Coulomb (17361806). 30 Advertncia. Nestas notas usamos a chamada deniao f e c sica dos polinmios de Hermite. H uma outra convenao, usada especialo a c mente na Teoria das Probabilidades, que difere da deniao usada em F c sica por um fator constante e por um reescalonamento do argumento. O leitor deve, por isso, ter cuidado ao comparar nossas expresses com outras usadas em textos da Teoria das Probabilidades. o
29 Charles
Cap tulo 11
524/1628
Como p(x) decai a zero para x e os Hm (x) so polinmios, vale para os polinmios de Hermite a relaao a o o c (11.23) e conclu mos pelo Teorema 11.1 que

onde m/2 o maior inteiro menor ou igual a m/2, e so soluoes da equaao de Hermite com = 2m. e a c c
Hn (x)Hm (x) ex dx = 0
(11.113)
para todo n = m, com m, n = 0, 1, 2, 3, . . .. Para calcular as integrais acima no caso n = m, podemos elegantemente usar as relaoes c Hn+1 (x) = 2xHn (x) 2nHn1 (x) , (11.114) as quais sero provadas mais abaixo (expresso (11.121)). Seja An := a a 2nAn1 =
(11.114) (Hn (x))2
ex dx. Tem-se que
(2nHn1 (x)) Hn1 (x) ex dx

2
(2xHn (x)) Hn1 (x) ex dx
Hn+1 (x) Hn1 (x) ex dx

=0
por
(11.113)
=
(11.114)
Hn (x) (2xHn1 (x)) ex dx

2
Hn (x) Hn (x) ex dx + (2n 2)
Hn (x) Hn2 (x) ex dx

=0
por
(11.113)
An .
x2 dx e
Logo, An = (2n)An1 , ou seja, An = (2n)!! A0 = 2n n! A0 . Como A0 =

, conclu mos que (11.115)
2 Hn (x)Hm (x) ex dx = 2n n! n, m ,
Na Seao 27.6, pgina 1219, demonstrada a importante propriedade de completeza dos polinmios de Hermite no c a e o 2 espao de Hilbert L2 (R, ex dx). c A funo geratriz exponencial dos polinmios de Hermite ca o
para todo m, n 0. Estas so as relaoes de ortogonalidade dos polinmios de Hermite. a c o
Vamos aqui considerar a funao geratriz exponencial dos polinmios de Hermite e provar que a mesma satisfaz c o
2 Hn (x) n t = e2xtt . n! n=0
(11.116)
Cap tulo 11
525/1628
Usando-se diretamente (11.112) e separando-se na soma ns pares de ns mpares, segue que Hn (x) n t n! n=0
H2m (x) 2m H2m+1 (x) 2m+1 t + t (2m)! (2m + 1)! m=0 m=0
m
m=0 k=0
(1)k (2x)2m2k t2m + k! (2m 2k)! m=0 (1)k (2x)2m2k t2m + k! (2m 2k)!
k=0
(1)k (2x)2m+12k t2m+1 k! (2m + 1 2k)! (1)k (2x)2m+12k t2m+1 k! (2m + 1 2k)!
k=0 m=k k=0
k=0 m=k k=0
mm+k
(1)k (2x)2m t2m+2k + k! (2m)! m=0 (1)k t2k k! (2xt)n n! n=0

2
(1)k (2x)2m+1 t2m+1+2k k! (2m + 1)! m=0

k=0
k=0
(2xt)2m (2m)! m=0
(1)k t2k k!
(2xt)2m+1 (2m + 1)! m=0
et
= como quer amos provar.
e2xtt ,
Pelas nossas consideraoes gerais sobre as frmulas de Rodrigues, podemos presumir que os polinmios Hm , por serem c o o 2 ortogonais entre si (vide (11.113)), possam ser expressos na forma (11.30) com r(x) = ex , ou seja, Hn (x) = Kn ex
2
Frmula de Rodrigues para os polinmios de Hermite o o
dn x2 e , dxn
onde Km so constantes que dependem da normalizaao adotada. De fato, essa pressuposiao correta pois, multiplicando a c c e 2 (11.116) por ex , obtem-se e(xt) =
2
Hm (x)ex m t . m! m=0
(11.117)
Encarando o lado direito como a expanso em srie de Taylor em t, em torno de t = 0, da funao do lado esquerdo, a e c conclu mos que 2 dn (xt)2 e , Hn (x)ex = dtn t=0 para todo n 0. Com a mudana de varivel u = x t, c a Hn (x)ex Assim,
2
d dt
d = du , camos com
= (1)n
dn u2 e dun
= (1)n
u=x
dn x2 e . dxn
dn x2 e , dxn para todo n 0. Essa a frmula de Rodrigues dos polinmios de Hermite. e o o Hn (x) = (1)n ex
2
(11.118)
c ca ca ca E. 11.17 Exerccio. Prove as relaoes de ortogonalidade (11.115) usando a relao (11.118), a relao (11.112) e integrao por partes.
Cap tulo 11
526/1628
Relaoes de recorrncia para os polinmios de Hermite c e o
Tomando-se a derivada em x de (11.118), elementar constatar que e

Hn (x) = 2xHn (x) Hn+1 (x) .
(11.119)
Ao mesmo tempo, Hn+1 (x) = (1)n+1 ex (1)n+1 ex

2 2
dn+1 x2 e dxn+1 dn dxn d x2 e dx
=
Leibniz
2(1)n ex
2 dn xex n dx
2(1) e
x2
n p=0
n p
dp x dxp
dnp x2 e dxnp
= =
2(1)n ex
2 2 dn dn1 ex + n n1 ex n dx dx
2xHn (x) 2nHn1 (x) .
Assim, Hn+1 (x) = 2xHn (x) 2nHn1 (x). Note que, como H0 (x) = 1 e H1 (x) = 2x, essa identidade vale tambm para e n = 0, convencionando que H1 (0) 0. Reunindo isso com (11.119), somos conduzidos a Hn (x) = 2nHn1 (x), n 0. Resumindo, obtemos as seguintes relaoes: c
Hn (x)
= = =
2xHn (x) Hn+1 (x) , 2xHn (x) 2nHn1 (x) , 2nHn1 (x) ,
(11.120) (11.121) (11.122)
Hn+1 (x)
Hn (x)
vlidas para todo n 0 com a convenao H1 (0) 0. Estas expresses so bastante uteis. A relaao (11.121), por a c o a c exemplo, permite obter recursivamente todos os Hn s a partir de H0 (x) = 1 e H1 (x) = 2x. * Em livros de Mecnica Quntica o estudante poder aprender que algumas das propriedades dos polinmios de a a a o Hermite que obtivemos acima podem ser provadas com o uso dos chamados operadores de criaao e aniquilaao. c c Funoes de Hermite c
As chamadas funoes de Hermite so denidas por c a hn (x) := cn Hn (x)ex

2
/2
(11.123)
com x N, n N0 e onde cn :=
1 . 2n n!
Como podemos aprender na Seao 16.7, pgina 755, essas funoes so as c a c a
auto-funoes normalizadas no operador Hamiltoniano para o oscilador harmnico. De acordo com (11.115), essas funoes c o c satisfazem hn (x)hm (x) dx = n,m
(11.124)
para todos n, m N0 , como facilmente se verica. Na Seao 27.6.2, pgina 1221, aprendemos tambm que essas funoes c a e c formam uma base ortonormal completa no espao de Hilbert L2 (R, dx). c
Cap tulo 11
527/1628
Usando a frmula de Rodrigues (11.118) para os polinmios de Hermite Hn , podemos escrever o o hn (x) = (1)n cn ex
2
/2
dn x2 e . dxn
Essa frmula pode ser reescrita de uma forma que mais conveniente para certos propsitos. E muito fcil perceber que o e o a se f uma funao innitamente diferencivel, vale e c a ex
2
/2
d f (x) = dx
d x dx
ex
/2
f (x) .
Verique! Assim, tem-se a seguinte relaao operatorial: c ex que nos permite escrever ex Hermite:
2 2
/2
d = dx
2 d x ex /2 dx
/2 dn dxn
d dx
n x2 /2
. Com isso obtemos a frmula de Rodrigues para as funoes de o c d dx

n
hn (x) = cn x vlida para todo n N0 . a
ex
/2
(11.125)
Na Seao 28.2.1.2, pgina 1259, provamos que as funoes de Hermite so auto-funoes da transformada de Fourier. c a c a c
11.2.4
Propriedades dos Polinmios de Laguerre o
Relaoes de ortogonalidade para os polinmios de Laguerre c o A equaao de Laguerre (xex y (x)) + ex y(x) = 0 tipicamente considerada no intervalo J = [0, ). Para ela c e tem-se p(x) = xex , q(x) = 0, r(x) = ex e = . Note que p(x) > 0 em J 0 = (0, ), e anula-se em x = 0 e no innito. Alm disso, r(x) > 0 em todo J = [0, ). Os polinmios de Laguerre foram denidos em (10.137) por e o
m
Lm (x) :=
(1)n
n=0
m! n!
m n
xn
(11.126)
e representam soluoes da equaao de Laguerre em J = [0, ) para = m. E bastante claro que para os polinmios de c c o Laguerre vale a condiao (11.23) e, portanto, pelo Teorema 11.1, segue que c
0
Ln (x)Lm (x) ex dx = 0
(11.127)
para todo n = m, com m, n = 0, 1, 2, 3, . . .. Notemos tambm aqui que (11.127) implica e

0
xk Lm (x) ex dx = 0
(11.128)
para todo k < m, pois os monmios xk podem ser escritos como combinaoes lineares dos polinmios Ln s com n < m. o c o Para calcular as integrais de (11.127) no caso m = n podemos fazer uso da identidade L (x) = (n + 1)L (x) (n + 1)Ln (x) , n n+1 (11.129)
Cap tulo 11
528/1628
que ser demonstrada mais abaixo (expresso (11.133)). Com ela, v-se que a a e (n + 1)
0 (11.129)
Ln (x)2 ex dx
=
0
Ln (x) (n + 1)Ln (x) ex dx

0
(n + 1)
Ln (x)L (x) ex dx n
=0
Ln (x)L (x) ex dx n+1
por
(11.128) 0 0
int. por partes
Ln (x)Ln+1 (x)ex
L (x)Ln+1 (x) ex dx n
=0
por
(11.128)
Ln (x)Ln+1 (x) ex dx
=0
por
(11.127) (11.126)
= Conclu mos assim que

0
Ln (0)Ln+1 (0)
(n + 1)(n!)2 .
Ln (x)Lm (x) ex dx = (n!)2 n, m
(11.130)
para todos n, m 0. Estas so as relaoes de ortogonalidade para os polinmios de Laguerre. a c o Frmula de Rodrigues para os polinmios de Laguerre o o Pela ortogonalidade dos polinmios de Laguerre (11.127), podemos presumir, sob a luz das consideraoes da Seao o c c 11.1.2, pgina 496, que os polinmios de Laguerre satisfazem, por (11.28), uma relaao como a o c Lm (x) := Km 1 dm r(x) xm r(x) dxm = K m ex dm xm ex , dxm (11.131)
onde Km uma constante dependente da normalizaao adotada. De fato, pela regra de Leibniz, e c ex dm xm ex dxm
m
ex
p=0 m
m p m p
dmp m x dxmp m! p x p!
dp x e dxp
=
p=0
(1)p
(11.126)
Lm (x) .
Assim, Km = 1 e conclu mos que
dm xm ex , dxm para todo m 0. Esta a frmula de Rodrigues para os polinmios de Laguerre. e o o Lm (x) = ex
(11.132)
Cap tulo 11
529/1628
Relaoes de recorrncia para os polinmios de Laguerre c e o Por (11.132), elementar constatar que e L m+1 (x) = ex dm+1 dm+1 d xm+1 ex xm+1 ex + ex m+1 dx dxm+1 dx dm+1 dm+1 xm ex ex xm+1 ex m+1 dx dxm+1 = (m + 1)ex d dm xm ex dx dxm
=
(11.132)
Lm+1 (x) + (m + 1)ex (m + 1)ex (m + 1)ex
dm+1 xm ex dxm+1 d x e Lm (x) dx
= = Estabelecemos assim que
(m + 1)Lm (x) + (m + 1)L (x) . m

L m+1 (x) = (m + 1)Lm (x) (m + 1)Lm (x) ,
(11.133)
m 0. Essa uma das frmulas de recorrncia para os polinmios de Laguerre, a qual empregamos acima para provar e o e o as relaoes de ortogonalidade (11.130) no caso m = n. H uma segunda, da qual trataremos agora. Pela frmula de c a o Rodrigues vale Lm (x)
(11.132)
ex
dm xm ex dxm
m
ex
dm x xm1 ex dxm
Leibniz
ex
p=0
m p
dp x dxp
dmp xm1 ex dxmp
= = = Estabelecemos que
ex x ex x
dm dm1 xm1 ex + mex xm1 ex dxm dxm1 d ex Lm1 (x) + mLm1 (x) dx
xLm1 (x) + xL m1 (x) + mLm1 (x) . (11.134)
Lm (x) = xLm1 (x) + xL m1 (x) + mLm1 (x) o que tambm implica (fazendo m m + 1) e Lm+1 (x) = xLm (x) + xL (x) + (m + 1)Lm (x) . m Multiplicando ambos os lados de (11.134) por m e somando o resultado a (11.135), teremos:
2 Lm+1 (x) mLm (x) = xLm (x) + xL (x) + (m + 1)Lm (x) + mxLm1 (x) mxL m m1 (x) m Lm1 (x) . (11.133)
(11.135)
(11.136)
Por (11.133), os termos xL (x) mxL = mxLm1 (x). Introduzindo isso de m m1 (x) valem x(Lm (x) mLm1 (x)) volta a (11.136), inferimos que Lm+1 (x) = (2m x + 1)Lm (x) m2 Lm1 (x) .
Resumindo nossas concluses, estabelecemos as seguintes relaoes: o c L m+1 (x) Lm+1 (x) = = (m + 1)L (x) (m + 1)Lm (x) , m (2m x + 1)Lm (x) m2 Lm1 (x) . (11.137) (11.138)
Cap tulo 11
530/1628
Essas relaoes so denominadas frmulas de recorrncia para os polinmios de Laguerre. A relaao (11.138), em partic a o e o c cular, permite obter recursivamente todos os Lm (x)s a partir de L0 (x) = 1 e L1 (x) = 1 x. A funo geratriz exponencial dos polinmios de Laguerre ca o
Partindo de (11.126) obtemos para a funao geratriz exponencial dos polinmios de Laguerre c o L(x, t) := Lm (x) m t m! m=0
o seguinte desenvolvimento31: L(x, t) =

m
(1)n
m=0 n=0
1 n!
m n
xn tm
(1)n
n=0 m=n
1 n!
m n
xn tm
(11.139)
= Agora,
m=n
(1)n
n=0
xn n!
m=n
m n
tm
(11.140)
m n
tm
mm+n
tn n! tn n!
(m + n)! m t m! m=0 dn m+n t dtn m=0 tn 1t n p n p

n p=0
tn dn n! dtn
tn
m=0
tm
tn dn n! dtn tn n! tn n!
n p=0 n p=0
Leibniz
dp n t dtp
dnp (1 t)1 dtnp (n p)! (1 t)np+1 = tn 1t 1+ t 1t

n
n! tnp (n p)! n p t 1t
np
tn 1t
tn . (1 t)n+1
Retornando com isso a (11.140), temos L(x, t) = e assim conclu mos que xt 1t L(x, t) = 1t Essa a funao geratriz exponencial dos polinmios de Laguerre. e c o exp
31 Assumimos
1 1t
(1)n n! n=0
xt 1t
(11.141)
|t| e |x| pequenos o suciente para justicar as diversas manipulaoes que faremos. c
Cap tulo 11
531/1628
11.2.5
Propriedades dos Polinmios de Laguerre Associados o

xy + (m + 1 x)y + (n m)y = 0 , (11.142)
A equaao de Laguerre associada c com m e n inteiros com 0 m n, tipicamente considerada no intervalo J = [0, ). A mesma pode ser ser levada ` e a forma cannica (11.5), transformando-se em o (xm+1 ex y (x)) + (n m)xm ex y(x) = 0 . Tem-se, portanto, p(x) = xm+1 ex , q(x) = 0, r(x) = xm ex e = n m. Uma alternativa talvez melhor tomar-se e p(x) = xm+1 ex , q(x) = mxm ex , r(x) = xm ex e = n. Note-se que p(x) e r(x) so os mesmos em ambas as a escolhas. Os polinmios de Laguerre associados foram denidos em (10.162) e expresses seguintes por32 o o L(m) (x) = n dm dm L (x) = m n dx dxm
(m)
ex
dn n x (x e ) dxn
nm
= (1)m
k=0
(1)k
n n! xk , k! m + k
(11.143)
com 0 m n. O polinmio Ln o deniao, tem-se c
a unica soluao de (11.142) que regular em x = 0. E de se notar que, por essa e c e L(0) (x) = Ln (x) n (11.144)
para todo n 0 e, portanto, os polinmios de Laguerre so polinmios de Laguerre associados. o a o E. 11.18 Exerccio. Mostre que
(m) Ln (x) =
(1)m n! x m dnm xn ex . e x (n m)! dxnm
(m) E bastante elementar constatar que, com m xo, as funoes Ln com n m satisfazem (11.23) para o intervalo c J = [0, ). Assim, vale que 0
L(m) (x) Ln (x) xm ex dx = 0 n
(m)
(11.145)
sempre que n = n . Para calcular a integral acima no caso n = n fazemos uso da relaao (11.152), que ser demonstrada c a (m) logo adiante. Tomando (11.152), substituindo n n 1 e multiplicando-a por n1 Ln (x), obtemos (n m) (m) Ln (x) n
2
= (2n m x 1)Ln1 (x)L(m) (x) (n 1)2 Ln2 (x)L(m) (x) . n n

(m)
(m)
(m)
Tomando (11.152) e multiplicando-a por (n + 1)1 Ln1 (x), obtemos (n + 1 m) (m) (m) (m) (m) Ln+1 (x)Ln1 (x) = (2n m x + 1)L(m) (x)Ln1 (x) n2 Ln1 (x) n n+1 Subtraindo uma expresso da outra, obtemos a (n m) (m) Ln (x) n
2 2
(n + 1 m) (m) (m) Ln+1 (x)Ln1 (x) n+1 = 2Ln1(x)L(m) (x) (n 1)2 Ln2 (x)L(m) (x) + n2 Ln1 (x) n n
(m) (m) (m) 2
32 Mais uma vez advertimos o leitor do fato de haver vrias convenoes distintas quanto a deniao dos polinmios de Laguerre associados a c ` c o na literatura. Para comparaao, polinmios de Laguerre associados denidos em [113], que denotamos aqui por L Lm (x), diferem dos nossos c o n (m) (1)m (m) Ln (x) da seguinte forma: L Lm (x) = (n+m)! Ln+m (x). n
Cap tulo 11
532/1628
Multiplicando agora esta expresso por xm ex , integrando entre 0 e e usando (11.145), camos com a
0
L(m) (x) n
xm ex dx =
n3 (n m)
Ln1 (x)
(m)
xm ex dx .
A induao pode ser feita diminuindo n at atingir o valor m, de onde extra c e mos que
0 (m) Ln (x) 2
xm ex dx =
(m)
(n!)3 (m!)3 (n m)!
(m) Lm (x)
xm ex dx . xm ex dx = m!. Assim,
Pela ultima igualdade em (11.143), tem-se Lm (x) = (1)m m!. Ao mesmo tempo,
0
L(m) (x) n
xm ex dx =
(n!)3 . (n m)!
Essa expresso pressupe, naturalmente, 0 m n. a o Conclu mos assim que com nossas denioes c
0 (m)
L(m) (x) Ln (x) xm ex dx n
(n!)3 n, n . (n m)!
(11.146)
Essas so as relaoes de ortogonalidade dos polinmios de Laguerre associados. a c o Comentrio para o leitor mais avanado. Chamamos ` atenao do leitor o fato que as relaoes de ortogonalidade (11.146) a c a c c no so as relaoes de ortogonalidade da parte radial das auto-funoes de energia do tomo de hidrognio. Para cada a a c c a e (2l+1) , com p l + 1, satisfazem as relaoes de ortogonalidade, c l 0 as funoes l e 2p Lp+l c p
0
l e
2p
Lp +l
(2l+1)
l e 2p Lp+l
(2l+1)
2 d = p, p
2 p2l+4 ((p + l)!)3 , (p l 1)!
(11.147)
as quais discutiremos na Seao 16.8, pgina 756. Lamentavelmente, alguns livros-texto discutem incorretamente esse c a ponto quando tratam do tomo de hidrognio. Uma exceao, um tanto surpreendentemente, [6]. a e c e Uma conseqncia de (11.146) empregada no estudo do tomo de hidrognio ue a e
As relaoes (11.146) implicam um resultado que usado no contexto do tomo de hidrognio. Trata-se do seguinte: c e a e no caso n = n (11.146) diz-nos que
0
L(m) (x) n
xm ex dx
(n!)3 . (n m)!
No problema do tomo de hidrognio surge a necessidade de se determinar a integral a e

0 (m) Ln (x) 2
xm+1 ex dx
(11.148)
que difere da anterior pois o fator xm substitu por xm+1 . Essa ultima integral pode ser calculada empregando-se a e do relaao c (n + 1 m) (m) (m) xL(m) (x) = Ln+1 (x) + (2n m + 1)L(m) (x) n2 Ln1 (x) , n n n+1 que ser provada logo abaixo (expresso (11.152)). Inserindo-a em (11.148) e usando as relaoes de ortogonalidade a a c (11.146), obtem-se facilmente
0
L(m) (x) n
xm+1 ex dx
(n!)3 (2n m + 1) . (n m)!
(11.149)
Essa expresso ser usada quando da normalizaao das auto-funoes de energia do tomo de hidrognio. a a c c a e
Cap tulo 11
533/1628
Relaoes de recorrncia para os polinmios de Laguerre associados c e o
Se explorarmos a primeira igualdade em (11.143), que dene os polinmios Ln , algumas frmulas de recorrncia o o e para os polinmios de Laguerre associados podem ser obtidas diretamente daquelas dos polinmios de Laguerre listadas o o em (11.137)-(11.138) simplesmente diferenciando-as m vezes em relaao a x. Como facilmente se constata, obtem-se c Ln+1 (x) Ln+1 (x)
(m) (m+1)
(m)
= (n + 1)L(m+1) (x) (n + 1)L(m) (x) , n n = (2n x + 1)L(m) (x) mL(m1) (x) n2 Ln1 (x) , n n
(m) (m)
(11.150) (11.151)
onde, em (11.150), usamos o fato evidente que Ll
(x) = Ll
(m+1)
(x).
1 = (n+1) Ln+1 (x) + Ln (x). Inserindo isso em (m) (m)
Tomando (11.150) e trocando m m 1, obtem-se (11.151), obtem-se

(m)
(m1) Ln (x)
(n + 1 m)Ln+1 (x) = (n + 1)(2n m x + 1)L(m) (x) n2 (n + 1)Ln1 (x) . n Essas relaoes so denominadas frmulas de recorrncia para os polinmios de Laguerre associados. c a o e o A funo geratriz exponencial dos polinmios de Laguerre associados ca o
(m)
(11.152)
A partir da deniao (11.143) e de (11.141) elementar constatar que a funao geratriz exponencial dos polinmios c e c o de Laguerre associados dada por e Las. (x, t) := A soma acima comea com l = m pois c
l=m dm dxm Ll (x)
Ll
(m)
(x)
l!
tl =
xt (1)m tm exp m+1 (1 t) 1t
(11.153)
= 0 caso m > l.
A equao de Laguerre generalizada ca
A assim denominada equaao de Laguerre generalizada a equaao diferencial c e c zy (z) + ( + 1 z)y (z) + ny(z) .
com n N0 e > 1, real. Trata-se de uma variante da equaao de Laguerre associada, pois aqui no necessariamente c a e um inteiro. E. 11.19 Exerccio. Mostre que essa equao tem uma soluo da forma de um polinmio ca ca o
n
L (z) := n
k=0
(1)k
n (n + + 1) k z . k (k + + 1)
E. 11.20 Exerccio. Mostre que L (x) = ex x n x > 0. E. 11.21 Exerccio. Mostre que
0
dn xn+ ex , dxn
L (x)L (x) x ex dx = 0 n m
se m = n. Calcule a integral no caso m = n.
Cap tulo 11
534/1628
E. 11.22 Exerccio. Para = m, inteiro, mostre que L (x) = (1)m n (n m)! (m) Ln (x) . n!
11.2.6
Propriedades das Funes de Bessel co
Na presente seao apresentaremos algumas das propriedades mais importantes e mais empregadas das funoes de Bessel, c c especialmente as de ordem inteira. Devido ` sua importncia em um sem-n mero de problemas aplicados, as funoes de a a u c Bessel e de Neumann tm sido intensamente estudadas nos ultimos duzentos anos e foi coletado um enorme conjunto de e informaoes sobre as mesmas, gerando uma vasta literatura. Por isso, nossas pretenses aqui so relativamente modestas. c o a Um texto clssico sobre o assunto [184]. Outros excelentes so [190], [85] e [113], mas todas as referncias listadas ` a e a e a pgina 415 tratam do assunto com maior ou menor grau de profundidade. a No estudo das propriedades das funoes de Bessel J (x) procederemos de um modo ligeiramente diferente do que c zemos acima. Isso se d por vrias razes. Uma delas que as funoes de Bessel no so polinmios, ao contrrio dos a a o e c a a o a casos de acima. Outra a natureza das relaoes de ortogonalidade dessas funoes. e c c Origens
As funoes de Bessel surgem em vrios problemas da F c a sica-Matemtica, especialmente envolvendo a resoluao de a c certas equaoes diferenciais em coordenadas cil c ndricas. O mais clebre desses problemas aquele que estuda as vibraoes e e c de uma membrana circular (um tambor), problema encontrado em vrios livros-texto e que estudamos na Seao 16.6, a c pgina 753. Esse problema foi tratado pela primeira vez por Euler33 em 1764, antecedendo a Bessel. Em verdade, certas a funoes de Bessel surgiram antes ainda, em 1703, na resoluao da chamada equaao de Riccati34 por Jacob Bernoulli35 c c c (vide nota histrica ` pgina 327) e em 1732, em trabalhos de Daniel Bernoulli36 sobre o problema da corda vibrante o a a e suas variantes (vide problema da corda pendurada na Seao 16.5.2, pgina 745). O trabalho do astrnomo Bessel37 c a o no qual as funoes que levam seu nome foram (re)encontradas bem posterior e data de 1817, tendo sido publicado em c e 182438. O problema que conduziu Bessel no foi o de resolver uma equaao diferencial, mas o de determinar coecientes de a c Fourier que descrevem a trajetria de um planeta em movimento peridico em uma rbita el o o o ptica em torno do Sol e obedecendo a segunda lei de Kepler39 , segundo a qual o raio-vetor que conecta o Sol ao planeta em questo varre reas a a iguais em tempos iguais40 . Bessel obteve para esses coecientes uma expresso integral que a representaao integral a e c das funoes de Bessel que apresentamos em (11.179), mais abaixo. Posteriormente, identicou-se que esses coecientes c representavam as funoes previamente tratadas por Daniel Bernoulli e Euler, mas as mesmas acabaram sendo nomeadas c em honra a Bessel (segundo [82], o nome de Bessel foi atribu ` equaao diferencial por Schlmilch41 em 1857 e do a c o Lipschitz42 em 1859). Em seu trabalho, na verdade, Bessel estendeu resultados anteriores de Lagrange43, de 1769, o qual tambm dedicou-se ` questo de determinar os coecientes de Fourier que expressam como funao do tempo a distncia e a a c a ao Sol de um planeta em rbita el o ptica, calculando os trs primeiros44 . e A determinaao desses coecientes de Fourier no um mero exerc acadmico, pois importante para clculos, via c a e cio e e a teoria de perturbaoes, da inuncia gravitacional que os planetas exercem entre si e da conseq ente previso de desvios c e u a das suas rbitas el o pticas. O estudo matemtico de perturbaoes peridicas ou quase-peridicas em sistemas mecnicos a c o o a
Euler (17071783). Francesco Riccati (16761754). 35 Jacob Bernoulli (16541705). 36 Daniel Bernoulli (17001782). 37 Friedrich Wilhelm Bessel (17841846). 38 F. W. Bessel, Untersuchungen des Theils der planetarischen Strungen, welcher aus der Bewegung der Sonne entsteht. o Abhandlungen, 152 (1824). 39 Johannes Kepler (15711630). 40 Como todo estudante de F sica bem sabe, isso conseqncia da conservaao do momento angular sob uma fora central. e ue c c 41 Oscar Xavier Schlmilch (18231901). o 42 Rudolf Otto Sigismund Lipschitz (18321903). 43 Joseph-Louis Lagrange (17361813). 44 Outras informaoes histricas sobre o desenvolvimento das funoes de Bessel podem ser encontradas em [184]. c o c
34 Iacopo 33 Leonhard
Berliner
Cap tulo 11
535/1628
(ou em equaoes diferenciais, em geral) um vasto assunto de pesquisa que tem desaado in meros pesquisadores at a c e u e atualidade. Bessel tambm autor de dois outros importantes feitos cient e e cos, a proposiao da existncia de estrelas binrias e c e a a mediao da distncia ao Sol de uma outra estrela. c a Bessel foi um dos primeiros a propor a existncia de estrelas binrias, prevendo em 1834 a existncia de uma compae a e nheira da estrela Sirius. Tal previso foi poss em funao de medidas de alta preciso, que Bessel produziu durante a vel c a anos, da posiao de vrias estrelas. Tais medidas indicavam um movimento el c a ptico peridico de Sirius cuja origem no o a poderia ser explicada em termos de movimentos da Terra ou do sistema solar. Bessel props que esse movimento era o devido ` presena de uma outra estrela menos brilhante nas proximidades de Sirius e que ambas orbitavam em torno do a c centro de massa comum, explicando assim as observaoes. Em 1840, Bessel anunciou a observaao de tais movimentos c c peridicos em outra estrela, a estrela Procyon. o A existncia da companheira de Sirius foi conrmada por observaoes feitas em 1862 por A. G. Clark45 e a de Procyon e c em 1896, por J. M. Schaeberle46 , ambas aps a morte de Bessel. As estat o sticas atuais indicam que cerca de metade das estrelas da nossa galxia composta por estrelas binrias. H tambm sistemas triplos de estrelas ( Centauri sendo o a e a a e exemplo mais popularmente conhecido), qudruplos ( Lyrae) etc. a Um problema matemtico, levantado pela primeira vez por Laplace47 em 1785 e ainda hoje em aberto, ao qual a nomes como o de Poincar48 deram importantes contribuioes, o de saber se sistemas m ltiplos como esses, ou como o e c e u nosso prprio sistema solar, so estveis. Esse problema deu origem a uma importante rea de pesquisa atual, a teoria o a a a dos sistemas dinmicos49 . Mtodos como os que Bessel e outros empregaram para a detecao de sistemas binrios so a e c a a empregados hoje em dia na detecao de planetas orbitando estrelas, outro tema atual de pesquisa. c Bessel foi tambm o primeiro, em 1838, a determinar a distncia ao Sol de uma outra estrela, usando para tal o e a mtodo de paralaxe. A estrela em questo foi 61 Cygni e Bessel calculou sua distncia ao Sol como sendo cerca de 10 e a a anos-luz. O valor atualmente aceito de cerca de 10,7 anos-luz, ou 3,3 parsecs50 . Com esse trabalho, Bessel contribuiu e para o estudo das escalas de distncia cosmolgicas, tarefa em implementaao at os nossos dias. a o c e Relaoes de recorrncia para as funoes de Bessel c e c Seja a funao de Bessel J (x) denida em (10.103) por c J (x) :=
k=0
(1)k k! (k + 1 + )
x 2
2k+
(11.154)
Consideremos provisoriamente diferente de 0 ou de um inteiro negativo (pois (x) diverge se x um inteiro negativo). e Multiplicando J por x e diferenciando em relaao a x, obtem-se c d (x J (x)) dx = d dx
k=0 k=0
(1)k k! (k + 1 + ) 1 2 x 2
1 2
2k+
(x)
2k+2
(1)k (k + ) k! (k + 1 + )
2k+1
(x)
2k+21
= =
45 Alvan 46 John
k=0
(1)k k! (k + )
2k+1
x J1 (x) .
Graham Clark (18321897). Martin Schaeberle (18531924). 47 Pierre-Simon Laplace (17491827). 48 Jules Henri Poincar (18541912). e 49 Em verdade, boa parte da topologia moderna foi criada por Poincar no seu tratamento do problema de estabilidade. e 50 Um ano-luz a distncia que a luz percorre em um ano e corresponde a aproximadamente 9, 46 1012 km, ou 9, 5 trilhes de quilmetros. e a o o Um parsec denido como a distncia de um objeto cuja paralaxe em relaao a Terra seja de um segundo de arco, uma medida de distncia e a c ` a usada tradicionalmente na Astronomia. Um parsec corresponde a aproximadamente 3, 262 anos-luz, ou 3, 09 1013 km.
Cap tulo 11
536/1628
Multiplicando J por x e diferenciando em relaao a x, obtem-se analogamente c d x J (x) dx = d dx

k=1 k=0
(1)k k! (k + 1 + )
1 2
2k+
(x)
2k
(1)k (k 1)! (k + 1 + )
k=1
1 2
2k+1
(x)2k1
(1)k (k 1)! (k + 1 + ) (1)k k! (k + 2 + ) x 2
x 2
2k+1
kk+1
k=0
2k++1
= Provamos assim que, para = 0, 1, 2, 3 . . .,
x J+1 (x) . d x J (x) dx
d (x J (x)) = x J1 (x) dx
= x J+1 (x) .
(11.155)
Adotando-se a j mencionada deniao Jm (x) = (1)m Jm (x), para m inteiro positivo ou zero, vemos que a expresso a c a acima tambm vale para = 0, 1, 2, 3 . . .. e E. 11.23 Exerccio. Mostre isso! Para = 0, a segunda relaao em (11.155) diz-nos que c
J0 (x) = J1 (x) .
(11.156)
Expandindo as derivadas em (11.155), teremos que

x J (x) + x1 J (x) x J (x) x1 J (x)
= x J1 (x)
= x J+1 (x) ,
xJ (x) = J (x) xJ+1 (x) .
ou seja,
xJ (x) = xJ1 (x) J (x)
(11.157)
Somando e subtraindo essas duas expresses uma da outra obtemos as seguintes relaoes importantes: o c
J (x)
= =
1 J1 (x) J+1 (x) , 2 1 2J (x) xJ1 (x) . x
(11.158) (11.159)
J+1 (x)
Essas relaoes, vlidas para todo C, so denominadas relaoes de recorrncia das funoes de Bessel. A segunda delas c a a c e c permite, por exemplo, obter todas as funoes Jm com m inteiro positivo a partir de J0 e J1 . Na verdade, por (11.156), c basta conhecer J0 e sua derivada.
Cap tulo 11
537/1628
Resumindo, obtivemos as seguintes relaoes c d (x J (x)) dx d x J (x) dx

xJ (x) xJ (x) J (x)
= = = = = =
x J1 (x) , x J+1 (x) , xJ1 (x) J (x) , J (x) xJ+1 (x) , 1 J1 (x) J+1 (x) , 2 1 2J (x) xJ1 (x) , x
(11.160) (11.161) (11.162) (11.163) (11.164) (11.165)
J+1 (x) vlidas para todo C e todo x C, x = 0. a A relao entre Jn e J0 , n N ca
Expresses anlogas `s de acima so tambm vlidas para as funoes N (x). o a a a e a c
A segunda expresso em (11.155) diz-nos que a 1 d x J (x) x dx = x(+1) J+1 (x) .
Disso segue imediatamente que 1 d x dx

n
x J (x)
= (1)n x(+n) J+n (x) ,
(11.166)
vlida para todo , x C e n N0 . No caso particular em que = 0, obtem-se, a Jn (x) = (1)n xn 1 d x dx

n
(J0 (x)) ,
(11.167)
vlida para todo x C e n N0 . A expresso (11.167) generaliza (11.156) e guarda certa semelhana com as frmulas a a c o de Rodrigues. E. 11.24 Exerccio. Obtenha (11.166) e (11.167) diretamente da denio (11.154). ca A funo geratriz das funoes de Bessel ca c
A determinaao da funao geratriz das funoes de Bessel importante, entre outras razes, por nos permitir obter c c c e o representaoes integrais para as funoes de Bessel, representaoes essas que assumem uma grande relevncia em vrias c c c a a aplicaoes. c Tomemos as funoes de Bessel de ordem inteira denidas por c Jm (x) :=
k=0
(1)k k! (k + m)!
x 2
2k+m
(11.168)
para m 0, convencionando-se que Jm (x) = (1)m Jm (x) (vide (10.121) e a discusso que lhe acompanha). Vamos a aqui considerar a funao geratriz denida por c J(x, t) :=
m=
tm Jm (x)
Cap tulo 11
538/1628
para t = 0 e vamos provar que
m=
tm Jm (x) = exp
x 2
1 t
(11.169)
Dessa importante relaao sero extra c a dos vrios fatos uteis sobre as funoes de Bessel de ordem inteira. Antes de a c provarmos isso, mostremos que J(x, t) est bem denida. Por (11.168), vale a |Jm (x)| de modo que |J(x, t)| |J0 (x)| +
m=1 k=0
1 k! (k + m)!
x 2
2k+m
1 x m! 2
m k=0
1 k!
x 2
2k
1 x m! 2
e|x/2| ,
|t|m |Jm (x)| +
m=1
1 t
|Jm (x)| |J0 (x)| + e|x/2|
1 xt m! 2 m=1
+ e|x/2|
1 x m! 2t m=1
sendo que as ultimas somas so convergentes para todo x C e todo t C com t = 0, o que prova que J(x, t) anal a e tica para todo x C e todo t C com t = 0. Podemos com isso demonstrar (11.169) de modo bem simples, tomando a derivada parcial em relaao a x de J(x, t), c derivando termo a termo na soma (o que permitido, devido ` analiticidade) e usando (11.158): e a J(x, t) x =
m= tm Jm (x)
(11.170)
(11.158)
1 1 tm Jm1 (x) tm Jm+1 (x) 2 m= 2 m= t 2 1 2

k=
(11.171)
k=m1, l=m+1
tk Jk (x)
t1 2
l=
tl Jl (x)
(11.172)
= Assim, J(x, t) satisfaz a equaao diferencial c
t t) =
1 t
1 2
J(x, t) . t
1 t
(11.173)
x J(x,
J(x, t), cuja soluao geral c e t 1 t ,
J(x, t) = f (t) exp
x 2
para alguma funao f (t). Agora, como Jm (0) = 0 para m = 0 e J0 (0) = 1, segue que J(0, t) = 1, o que implica f (t) = 1, c provando (11.169). Estudando a demonstraao acima o leitor poder reconhecer a importncia de denir-se Jm (x) = (1)m Jm (x), para c a a m inteiro positivo ou zero. Frmula de adio das funoes de Bessel o ca c
Uma das relaoes mais uteis que advm de (11.169) a seguinte: c e e Jm (x + y) =

n=
Jn (x)Jmn (y) ,
(11.174)
vlida para todo m Z e todos x, y C. Essa expresso denominada por alguns autores frmula de adiao das a a e o c funoes de Bessel (a adiao, aqui, refere-se ` adiao dos argumentos da funao no lado esquerdo). As funoes de Bessel c c a c c c satisfazem vrias outras relaoes de adiao do tipo de acima e remetemos o leitor ` literatura supracitada (por exemplo, a c c a a ` referncia [85]) para generalizaoes. e c
Cap tulo 11
539/1628
A demonstraao de (11.174) obtida de (11.169) calculando-se o produto J(x, t)J(y, t) de duas formas: por um lado, c e J(x, t)J(y, t) = exp Por outro lado, J(x, t)J(y, t) =
k=
x 2
1 t t
exp
y 2
1 t t
= exp
x+y 2
1 t t
m=
tm Jm (x + y) .
(11.175)
tk Jk (x)
l=
tl Jl (y)
tk+l Jk (x)Jl (y) =
m=
tm
n=
Jn (x)Jmn (y) (11.176)
k= l=
Comparando-se (11.175) a (11.176) obtem-se (11.174). Se em (11.174) tomarmos y = x e m = 0, e usarmos que Jn (x) = Jn (x) e que J0 (0) = 1, obteremos 1 =
n=
Jn (x)
J0 (x)
+2
n=1
Jn (x)
1 , 2
(11.177)
Como Jn (x) real para x R, isso ensina-nos que |J0 (x)| 1 e |Jn (x)| e E. 11.25 Exerccio. Justique!
para todo x R e n > 0, n inteiro.
E poss estabelecer limites superiores mais precisos para |Jn (x)|, mas no trataremos disso aqui. vel a Representaoes integrais das funoes de Bessel c c A relaao (11.169) tem vrios usos, um deles o de fornecer uma representaao integral para as funoes de Bessel, c a e c c com a qual outras propriedades podem ser obtidas. A relaao (11.169) foi provada para todo x C e t C com t = 0. c Tomemos t com |t| = 1, ou seja, tomemos t da forma t = ei , com . Obtemos, eix sen () =
m=
Jm (x)eim .
(11.178)
O ponto interessante que podemos interpretar o lado direito como sendo a srie de Fourier na varivel da funao e e a c peridica de per o odo 2 do lado esquerdo, de onde tiramos que Jm (x) = 1 2

eix sen () eim d =
1 2
eix sen ()im d ,
para todo m Z. Usando eia = cos(a) + i sen (a), tem-se Jm (x) = 1 2

cos (x sen () m) d +
i 2
sen (x sen () m) d .
A segunda integral do lado direito nula, pois o integrando uma funao e e c mpar em . Como o integrando da primeira integral do lado direito uma funao par em , segue que e c Jm (x) = 1 2

cos (x sen () m) d =
cos (x sen () m) d ,
(11.179)
vlida para todo m Z. Essa expresso a importante representaao integral da funao de Bessel Jm (x), m Z. a a e c c Tomando-se t = iei em (11.169), obtem-se
m=
eix cos() = de onde se extrai Jm (x) =
im Jm (x)eim .
(11.180)
(i)m 2
eix cos()im d ,
(11.181)
Cap tulo 11
540/1628
e disso se obtm e Jm (x) = a E fcil obter de (11.181) que J2m (x) =
(i)m 2
eix cos() cos(m) d .
(11.182)
(1)m 2 (1)m 2
cos x cos() 2m d , sen x cos() (2m + 1) d .

J2m+1 (x)
para todo m = 0, 1, 2, . . .. De (11.181) segue, em particular, a relaao c J0 (x) = 1 2 eix cos() d . (11.183)
Aplicaoes dessa identidade encontram-se nos Exerc c cios E. 11.26 e E. 11.27. a E. 11.26 Exerccio. Seja f : R2 C integrvel e seja F[f ](p) :=
1 2
f (x)eipx d2 x
R2
sua transformada de Fourier, onde x = (x1 , x2 ), p = (p1 , p2 ) e p x = p1 x1 + p2 x2 . Suponha que f dependa apenas da coordenada radial: f (x) = f (r), com r = x = x2 + x2 . Mostre que 1 2 F[f ](p) =
0
f (r)J0 (pr)r dr ,
onde p = |p|. Sugesto: use (11.183). a f , 0rR 0 0, r>R
E. 11.27 Exerccio. R > 0. Mostre que
Seja f : R2 C denida por f (x) = f (r) =
, sendo f0 e R constantes com
F[f ](p) = Sugesto: De (11.155) segue que xJ0 (x) = (xJ1 (x)) . a Propriedades adicionais
f0 R J1 (pR) . p
De (11.178) podemos extrair mais algumas relaoes de interesse. Mostremos algumas aqui. Separando a parte real e c a parte imaginria de ambos os lados de (11.178), teremos a cos x sen () =
m= m=
Jm (x) cos(m) ,
sen x sen ()
Jm (x) sen (m) .
Usando que Jm (x) = (1)m Jm (x), obtemos alguns cancelamentos que conduzem a cos x sen () = J0 (x) + 2
k=1 k=1
J2k (x) cos(2k) ,
(11.184)
sen x sen ()
= 2
J2k1 (x) sen ((2k 1)) .
(11.185)
Cap tulo 11
541/1628
Em particular, para = /2, isso diz-nos que cos(x) = J0 (x) + 2

k=1
(1)k J2k (x) ,
(11.186)
sen (x)
(1)k+1 J2k1 (x) .
(11.187)
k=1
Tomando = 0 em (11.184), segue tambm a identidade e 1 = J0 (x) + 2

k=1
J2k (x) .
De (11.184)-(11.185), obtem-se tambm, usando as bem-conhecidas relaoes de ortogonalidade das funoes seno e e c c co-seno, J (x), m par m 1 cos x sen cos(m)d = . 0 0, m mpar 1
sen x sen sen (m)d

0
0,
m par m mpar
Outras identidades podem ser obtidas a partir das vrias apresentadas de acima, ou com os mesmos mtodos, mas a e encerramos aqui nossa apresentaao das mesmas, convidando o leitor a um passeio ` literatura pertinente `s funoes de c a a c Bessel. Nossa intenao agora a de discutir as relaoes de ortogonalidade para as funoes de Bessel. c e c c E. 11.28 Exerccio. Usando (10.38), mostre a partir de (11.184) que vale a identidade cos x 1 u2 = J0 (x) + 2
k=1
J (x), m
J2k (x)T2k (u) ,
(11.188)
onde Tm o m-simo polinmio de Chebyshev. e e o A transformada de Fourier de Jm
Seguindo a convenao que adotamos no Cap c tulo 28, pgina 1238, denimos a transformada de Fourier F[f ] de uma a funao de uma varivel f e a transformada de Fourier inversa F1 [f ] por c a 1 F[f ](p) = 2

eipx f (x) dx
1 F1 [f ](p) = 2
eipx f (x) dx .
A relaao (11.182) pode ser escrita na forma c Jm (x) = (i)m

0
eix cos() cos(m) d .
(11.189)
Adotando m N0 , com a mudana de variveis = arccos u, isso ca c a Jm (x) = (i)m 1 du eixu cos m arccos(u) 1 u2 1
1 (10.38)
(i)m
Tm (u) du , eixu 1 u2 1
(11.190)
Cap tulo 11
542/1628
onde Tm o m-simo polinmio de Chebyshev (vide pgina 425). Denamos uma funao Jm por e e o a c 2 Tm (u) (1, 1) (u) , (11.191) 1 u2 1 , u (1, 1) , onde (1, 1) a funao caracter e c stica do intervalo (1, 1): (1, 1) (u) := Ento, (11.190) traduz-se a 0 , u (1, 1) . Jm (u) := (i)m na armaao que c Jm (x) = F1 Jm (x) (11.192) e, portanto, F[Jm ](u) = Jm (u) = (i)m 2 Tm (u) (1, 1) (u) . 1 u2 (11.193)
Essa expresso determina a transformada de Fourier das funoes de Bessel de ordem m N0 . A funao Jm integrvel, a c c e a ou seja, um elemento de L1 (R, dx) (justique!) e, portanto, (11.192) est bem denida. Como as funoes Jm no a c a so integrveis em R, nem de quadrado integrvel, a expresso (11.193) deve ser entendida no sentido de distribuioes a a a a c temperadas. Vide Seao 28.3.6, pgina 1287. c a Zeros das funoes de Bessel c
Antes de entrarmos na discusso sobre as relaoes de ortogonalidade para as funoes de Bessel em J = [0, 1] precisamos a c c fazer alguns comentrios sobre os zeros das funoes de Bessel. Os seguintes teoremas so vlidos: a c a a
Teorema 11.2 As funoes Jn (z), com n Z, no possuem zeros complexos e possuem uma coleao innita enumervel c a c a de zeros reais, todos simples, exceto z = 0, que um zero de ordem |m| de Jm (z) para m Z, m = 0. Os zeros de Jn (z), e com n Z, no possuem pontos de acumulaao em R. Como Jn (x) = (1)n Jn (x), vemos que os zeros de Jn (x) so a c a simtricos em relaao ao ponto x = 0. Fora isso, como Jn (x) = (1)n+1 Jn (x), os zeros de Jn (x) coincidem com os de e c Jn (x). Por m, os zeros positivos das funoes de Bessel de ordem inteira positiva possuem a seguinte propriedade de c alternncia: entre dois zeros positivos sucessivos de Jn existe um zero de Jn1 e um de Jn+1 , para todos n 0. a Teorema 11.3 Seja real e suponha que | arg z| < . Ento J (z) possui uma coleao innita enumervel de zeros a c a reais e positivos e um nmero 2N () de zeros conjugados complexos, sendo que u 1. N () = 0 se > 1 ou = 1, 2, 3, . . ., 2. N () = m se m 1 < < m, m = 1, 2, 3, . . .. Os zeros reais positivos de J (z), com real, no possuem pontos de acumulaao em R+ . a c
Teorema 11.4 Para 0 a funao J (z) possui apenas zeros simples, exceto em z = 0 e entre dois zeros sucessivos c de J (z) h exatamente um zero de J (z). a
O teorema seguinte particularmente util na resoluao de problemas envolvendo condioes de contorno mistas. e c c Teorema 11.5 Para A e B reais e real com > 1 a equaao c
AJ (z) + BzJ (z)
para | arg z| < possui uma coleao enumervel de zeros reais positivos e no caso em que + A/B 0, tambm no c a e a possui razes complexas. Caso + A/B < 0, AJ (z) + BzJ (z) possui duas razes imaginrias puras. a
Cap tulo 11
543/1628
Os enunciados acima foram extra dos de [113], [85] e [79] e suas demonstraoes podem ser encontradas em [184] ou c (parcialmente) em [85]. No as apresentaremos aqui, mas o leitor no deve ser desestimulado a estud-las pois as mesmas a a a so elementares e utilizam-se essencialmente apenas do material que j apresentamos aqui. a a As relaoes de ortogonalidade das funoes de Bessel no intervalo [0, 1] c c
Em muitos problemas, por exemplo, naquele em que estudamos os modos de vibraao de uma membrana circular, c estamos interessados nas soluoes da equaao de Bessel em um intervalo nito fechado. Consideraremos, para xar idias, c c e o caso em que o intervalo J = [0, 1]. Em uma tal situaao encontraremos relaoes de ortogonalidade, as quais so e c c a muito importantes na resoluao de certos problemas envolvendo equaoes diferenciais parciais submetidas a condioes c c c iniciais e de contorno. Devido aos comentrios que zemos acima sobre os zeros das funoes de Bessel consideraremos no que segue apenas a c o caso em que real. e a Seja para um dado R a funao f (x) := J (x). E fcil vericar que f (x) soluao da equaao c e c c (xy (x)) E. 11.29 Exerccio importante. Verique isso. 2 y(x) + 2 xy(x) = 0 . x (11.194)
Como aparece elevada ao quadrado na expresso acima podemos sem perda de generalidade considerar > 0 (o a caso = 0 trivial, pois corresponde a uma funao constante: f0 (x) = J (0)). e c Nosso principal resultado ser o seguinte teorema, o qual estabelece uma classe bastante geral de relaoes de ortoa c gonalidade para as funoes de Bessel. Essas relaoes de ortogonalidade so de suma importncia nas aplicaoes dessas c c a a c funoes ` soluao de certas equaoes diferenciais submetidas a certas condioes iniciais e de contorno. c a c c c Teorema 11.6 Seja 0 e sejam xados certos nmeros reais A, B com (A, B) = (0, 0) satisfazendo + A/B 0, u caso B = 0 (vide Teoremas 11.2-11.5). Seja tambm Z B o conjunto de todos os nmeros > 0 tais que e u A,
AJ () + BJ () = 0 ,
(11.195) (11.196)
ou seja, Pelo Teorema 11.5, esse conjunto no-vazio e enumervel. Ento a condiao (11.23) do Teorema 11.1, pgina 495, e a a a c a com J = [0, 1], satisfeita para todas as funoes f (x) = J (x) com Z B e, portanto, para , Z B com e c A, A, = valem as relaoes de ortogonalidade (com r(x) = x) c
1 Z B := { > 0| AJ () + BJ () = 0} . A,
f (x)f (x) x dx = 0 ,
0
ou seja,
0
J (x)J (x) x dx = 0 . para todos , Z B com = . Para todos , Z B , tem-se A, A,

1
(11.197)
J (x)J (x) x dx
0
=
(11.163)
2 , 2 (J ()) + 1 2 2
(J ())
, 2 2 2 (J ()) J ()J+1 () + (J+1 ()) 2
(11.198)
Essa expresso denominada relaao de ortogonalidade das funoes de Bessel. Note que h uma relaao de ortogonalidade a e c c a c para cada tripla (, A, B) com 0 e (A, B) = (0, 0) e + A/B 0, B = 0, pois cada tripla (, A, B) xa o conjunto W B . A, A relaao (11.195) corresponde a condioes de contorno freqentemente encontradas na resoluao de equaoes diferenc c u c c ciais parciais da Fsica, como por exemplo no problema de propagaao de ondas em uma membrana circular (um tambor). c
Cap tulo 11
544/1628
No caso A = 1, B = 0 o conjunto Z 0 coincide com o dos zeros da funao de Bessel J (x). No caso A = 0, B = 1 o c 1, conjunto Z 1 coincide com o dos zeros da funao J (x). c 0, Em particular, se 0 e o k-simo zero da funao J (x) no intervalo (0, ), ento e c a k e
1 0
J x J x x dx = k, l l k
(J ( )) k 2
= k, l
(J+1 ( )) k . 2
(11.199)
Analogamente, se 0 e k o k-simo zero da funao J (x) no intervalo (0, ), ento e e c a 1 0 J k x J l x x dx = k, l
(J (k )) . 2
(11.200)
Dessa relaao percebemos incidentalmente que k > para todo k, pois o lado esquerdo certamente positivo quando c e k = l.
Prova do Teorema 11.6. Podemos encarar a equaao (11.194) como sendo da forma cannica (11.5) para o intervalo c o 2 J = (0, 1] com p(x) = x, q(x) = , r(x) = x e = 2 . Perguntemo-nos agora se para duas funoes f (x) := J (x) c x e f (x) := J (x) a condiao (11.23) do Teorema 11.1, pgina 495 satisfeita nos extremos do intervalo J = (0, 1], ou c a e seja, se p(1) f (1)f (1) f (1)f (1) lim p(x) f (x)f (x) f (x)f (x) = 0 ,
x0
isto , se e
(J ()J () J ()J ()) lim x (J (x)J (x) J (x)J (x)) = 0 . x0
Dado que o primeiro termo da expanso de J (x) proporcional a x , e que, conseq entemente, o primeiro termo da a e u expanso de J (x) proporcional a x1 teremos que a e
x0 lim x (J (x)J (x) J (x)J (x)) lim xx x1 = 0 x0
sempre que > 0. Para = 0 a relaao acima tambm vlida, pois o primeiro termo da expanso de J0 (x) constante, c e e a a e mas o primeiro termo da expanso de J0 (x) proporcional a x. Para < 0 o limite x 0 da expresso acima singular. a e a e Conclu mos que para 0 vale
p(1) f (1)f (1) f (1)f (1) lim p(x) f (x)f (x) f (x)f (x) x0 = (J ()J () J ()J ()) .
Procuramos agora identicar condioes sob as quais o lado direito se anula, o que nos garantir a aplicabilidade do c a teorema de ortogonalidade, Teorema 11.1. Um caso bvio aquele no qual e so zeros da funao de Bessel J . Outro caso bvio aquele no qual e so o e a c o e a zeros de J , a derivada da funao de Bessel J . O caso mais geral est na seguinte proposiao. c a c Proposio 11.2 Suponhamos que para certos nmeros A e B com (A, B) = (0, 0) existam constantes reais e tais ca u que
AJ () + BJ () AJ () + BJ ()
= =
0 0.
(11.201) (11.202)
Ento, a
J ()J () J ()J () = 0 .
Cap tulo 11
545/1628
Prova. As relaoes (11.201)-(11.202) podem ser expressas em forma matricial como c J () J ()

J () A 0 = . B J () 0
Como por hiptese (A, B) = (0, 0), a relaao acima s poss se a matriz 2 2 do lado esquerdo for no-invers o c oe vel a vel, ou seja, se tiver determinante nulo. Assim, devemos ter J () 0 = det J ()
J () = J ()J () J ()J () , J ()
que o que quer e amos estabelecer.
Com essa proposiao, ca estabelecido que a condiao (11.23) do Teorema 11.1, pgina 495, com com J = [0, 1], c c a satisfeita para todas as funoes f (x) = J (x) com Z B e, portanto, para , Z B com = valem as e c A, A, relaoes de ortogonalidade (com r(x) = x) c
1 1
f (x)f (x) x dx = 0
0
ou seja,
0
J (x)J (x) x dx = 0 ,
para todos , Z B com = . A,
Passemos ` questo de provar (11.198) para o caso em que = . Isso pode ser feito de diversas maneiras, a mais a a direta sendo a seguinte. Escrevamos a equaao (11.194) na forma c x2 y (x) + xy (x) + 2 x2 2 y(x) = 0 . Multiplicando-a por 2y (x), obtemos 0 = = = e, portanto, 2x2 y (x)y (x) + 2x(y (x))2 + 2 2 x2 2 y(x)y (x) x2 d d 2 2 (y (x)) + 2x(y (x))2 + 2 x2 2 (y(x)) dx dx (11.203)
d d 2 2 (y(x)) x2 (y (x)) + 2 x2 2 dx dx (11.204)
d d 2 2 2 x2 (y (x)) + 2 x2 2 (y(x)) 22 x (y(x)) . dx dx Integrando-se ambos os lados da igualdade entre 0 e 1, obtem-se 0 = 0 = x2 (y (x))
2 1 0
2 x2 2 (y(x))2
1 0
22
1 0
x (y(x))2 dx .
(11.205)
Como f (x) = J (x) soluao de (11.203), podemos adotar y(x) = J (x), acima. Assim, e c x2 (y (x))
2 1 0 2 1 0
= =
2 x2 (J (x))
1 0 2
= 2 (J ()) .
2 x2 2 (y(x))
2 2 (J ()) + 2 (J (0))
2 2 (J ()) ,
Cap tulo 11
546/1628
pois 2 (J (0)) = 0 para todo 0 (por que?). Portanto, (11.205) ca 22

0 1 x (J (x))2 dx = 2 (J ()) + 2 2 (J ())2 , 2
o que conduz ` primeira linha de (11.198) no caso = . A identidade a

(J ()) + 1 2
2 2
(J ())
= (J ())
2 2 J ()J+1 () + (J+1 ())
segue diretamente de (11.163). Com isso, o Teorema 11.6 est demonstrado a Generalizaoes das relaoes de ortogonalidade das funoes de Bessel e Neumann c c c
Algumas vezes lidamos com problemas envolvendo a equaoes de Bessel em intervalos como [R1 , R2 ] com 0 < R1 < c R2 < e procuramos soluoes que anulam-se nos extremos desse intervalo. Exemplos de tais situaoes encontram-se no c c problema descrito no Exerc E. 16.52, pgina 803 e no problema descrito no Exerc E. 16.53, pgina 803. Como o cio a cio a ponto 0 no um ponto da fronteira do intervalo considerado, as relaoes de ortogonalidade acima encontradas no se a e c a aplicam diretamente. O teorema a seguir fornece as relaoes de ortogonalidade desejadas nessa situaao. c c Teorema 11.7 Sejam 0 < R1 < R2 < e Sn (x) denida no intervalo [R1 , R2 ] por J n R1 J n J n R1 J n , R2 R2 R2 R2 Sn (x) := N m mn R1 Jm mn Jm mn R1 Nm mn , R2 R2 R2 R2 onde, para Z, n o n-simo zero em (0, ) da funao e e c J R1 x J (x) J R2 R1 x Jm (x) Jm R2 R1 x J (x) R2 R1 x Nm (x) . R2
para Z ,
para = m Z ,
e para = m Z, mn o n-simo zero em (0, ) da funao e e c Nm
no intervalo [R1 , R2 ], com =
Pelas denioes, Sn (R1 ) = Sn (R2 ) = 0 para todo R e todo n N. Alm disso, Sn (x) soluao da equaao de c e e c c Bessel x2 y (x) + xy (x) + 2 x2 2 y(x) = 0 (11.206)
n R2 ,
Ento, as funoes Sn (x) satisfazem as relaoes de ortogonalidade a c c

R2
tambm para todo R e todo n N. e Sn (x)Sn (x) x dx = 0

R1
(11.207)
para n = n e todo R, com para todo R e todo n N, onde Kn =
R2
Sn (x)
R1
x dx = Kn
(11.208)
R1 1 (R2 )2 J n 2 R2 (R1 )2 J R1 R2
J (n ) J
R1 R2
2 J (n )
J n
R1 R2
J n
R1 R2
R1 R2
Cap tulo 11
547/1628
para Z e Kmn = R1 1 (R2 )2 Nm mn 2 R2 (R1 )2 Nm mn para = m Z. Prova. As relaoes (11.207) seguem diretamente do Teorema 11.1, pgina 495 pelo fato que Sn (R1 ) = Sn (R2 ) = 0 para c a todo R e todo n N. Para demonstrar (11.208) consideraremos apenas o caso Z, pois o caso = m Z tratado identicamente. e Nosso ponto de partida a equaao (11.204), pgina 545: e c a 0 = d d 2 x2 (y (x)) + dx dx 2 x2 2 (y(x))
2 Jm (mn ) Jm mn
R1 R2
2 Nm (mn )
R1 R2
Jm mn
R1 R2
Jm mn
R1 R2
Nm mn
R1 R2
22 x (y(x)) ,
(11.209)
vlida para qualquer soluao de (11.206) (vide pgina 545). Integrando-se ambos os lados da igualdade entre R1 e R2 , a c a obtem-se 0 = Como y(x) = Sn (x) := Jm soluao de (11.206) com = e c
mn R2 2
x2 (y (x))
R2 R1
2 x2 2 (y(x))
R2 R1
22
R2
x (y(x)) dx .
R1
(11.210)
mn R1 R2
Jm
mn x Jm R2
mn R1 R2
Jm
mn x R2
temos, para essa y,

R2 R1
x2 (y (x))
x2 (Sn (x))
R2 R1
(R2 )2 (Sn (R2 )) (R1 )2 (Sn (R1 )) 2 R2 R1
2 x2 2 (y(x))
R2 R1
2 x2 2 (Sn (x))
= 0,
pois Sn (x) anula-se em R1 e em R2 . Portanto, (11.210) ca 22 o que conduz ` a

R2 R1 R2 R1
x (Sn (x)) dx =
(R2 )2 (Sn (R2 )) (R1 )2 (Sn (R1 ))
x (Sn (x)) dx =
(R2 )2 2 2 (R2 )2 (Sn (R2 )) (R1 )2 (Sn (R1 )) 2(mn )2 1 (R2 )2 Jm 2 mn R1 R2

Jm (mn ) Jm
mn
R1 R2
2 Jm (mn )
(R1 )2 Jm como quer amos provar.
mn
R1 R2
Jm
mn
R1 R2
Jm
mn
R1 R2
Jm
mn
R1 R2
Cap tulo 11
548/1628
Seja a equaao de Bessel x2 y (x) + xy (x) + (x2 2 )y(x) = 0 e consideremo-la agora no intervalo semi-innito c J = [0, ). A mesma pode ser escrita como (xy (x)) 2 y(x) + xy(x) = 0 , x (11.211)
Comentrio sobre a equao de Bessel no intervalo J = [0, ) a ca
1 e aqui temos p(x) = x e poder amos adotar q(x) = x, r(x) = x e = 2 . H, porm, uma diferena marcante em a e c relaao aos casos anteriormente tratados. Para as funes J (x), mesmo com inteiro, no vale a relaao (11.23), pois c co a c a a limx p(x)J (x)J (x) no se anula e, portanto, o Teorema 11.1 no se aplica nesse caso. De fato, J (x) comporta-se para x como 2 cos x 4 2 . J (x) x Infelizmente, no apresentaremos a demonstraao dessa expresso assinttica nestas Notas. O leitor poder encontr-la a c a o a a em vrios textos, por exemplo, em [184], [190], [85] e mesmo em [109]. Em [85], por exemplo, encontra-se demonstrada a a expresso assinttica mais detalhada a o
J (x)
2 cos x 2 x
r=0
(1)r + 2r + 1 2 1 (2r)! 2r + 2
1 2x
2r
2 sen x 2 x
r=0
3 (1)r + 2r + 2 (2r + 1)! 2r
1 2
1 2x
2r+1
vlida para x . Com isso, percebemos que no devem valer para as funoes de Bessel com s diferentes relaoes de a a c c ortogonalidade envolvendo integrais em J = [0, ).
11.2.7
Propriedades das Funes de Bessel Esfricas co e

J 1 (z) , 2z + 2 N 1 (z) . 2z + 2
As funoes de Bessel e Neumann esfricas de ordem foram denidas em (10.126) e (10.127) por c e j (z) := n (z) := (11.212)
Por serem fortemente relacionadas `s funoes de Bessel, suas propriedades podem ser facilmente deduzidas das propriea c dades estudadas acima daquelas funoes. c Por (10.103), tem-se j (z) = 2
k=0
(1)k k! (k + 1 + + 1/2)
z 2
2k+
Pela frmula de duplicaao (10.27), podemos escrever isso como o c j (z) = 2 Em particular, para = l N0 , vale jl (z) = 2l
k=0
(1)k (k + 1 + ) 2k+ z . k! (2(k + 1 + ))
k=0
(1)k (k + l)! 2k+l z . k! (2k + 2l + 1)!
Relaoes de recorrncia para as funoes de Bessel esfricas c e c e
Frmulas de recorrncia para as funoes de Bessel esfricas tambm podem ser obtidas daquelas para as funoes de o e c e e c Bessel listadas em (11.160)-(11.165). Analisando-as, imediato ver que de (11.160) e (11.161) segue facilmente que e d x+1 j (x) dx = x+1 j1 (x) e d x j (x) dx = x j+1 (x) . (11.213)
Cap tulo 11
549/1628
De (11.162) e (11.163) segue facilmente que

xj (x) = xj1 (x) ( + 1)j (x)
xj (x) = j (x) xj+1 (x) .
(11.214)
Dessas duas relaoes segue facilmente que c

j (x)
1 2
j1 (x)
j (x) j+1 (x) x
(11.215)
j+1 (x)
1 (2 + 1)j (x) xj1 (x) , x
(11.216)
para todo . Usando (11.216), fcil ver que (11.215) pode ser reescrita como e a
(2 + 1) j (x) = j1 (x) ( + 1)j+1 (x)
(11.217)
para todo . Resumindo nossas concluses, obtivemos que o d x+1 j (x) dx d x j (x) dx
xj (x) xj (x) (2 + 1) j (x)
= = = = = =
x+1 j1 (x) , x j+1 (x) , xj1 (x) ( + 1)j (x) , j (x) xj+1 (x) , j1 (x) ( + 1)j+1 (x) , 1 (2 + 1)j (x) xj1 (x) . x
(11.218) (11.219) (11.220) (11.221) (11.222) (11.223)
j+1 (x)
Expresses anlogas so vlidas para as funoes n (x). o a a a c Com o uso das relaoes de recorrncia acima poss obter para as funoes de Bessel esfricas o anlogo da expresso c e e vel c e a a (11.167). A relao entre jn e j0 , n N ca
A expresso (11.219) diz-nos que a 1 d x j (x) x dx = x(+1) j+1 (x) . = (1)n x(+n) j+n (x) ,
Disso segue imediatamente que 1 d x dx
x j (x)
(11.224)
vlida para todo , x C e n N0 . No caso particular em que = 0, obtem-se, a jn (x) = (1)n xn 1 d x dx

n
(j0 (x)) = (1)n xn
1 d x dx
sen x x
(11.225)
vlida para todo x C e n N0 . A expresso (11.225) guarda certa semelhana com as frmulas de Rodrigues. a a c o Para as funoes de Neumann esfricas tem-se uma expresso anloga: c e a a nn (x) = (1)n+1 xn 1 d x dx
n
cos x x
(11.226)
Cap tulo 11
550/1628
As primeiras funoes de Bessel esfricas so c e a j0 (x) = sen x , x j1 (x) = sen x cos x , x2 x j2 (x) = (3 x2 ) cos x sen x 3 2 3 x x (11.227)
e as primeiras funoes de Neumann esfricas so c e a n0 (x) = cos x , x n1 (x) = sen x cos x , 2 x x n2 (x) = (3 x2 ) sen x cos x 3 2 . 3 x x (11.228)
Relaoes de ortogonalidade para as funoes de Bessel esfricas no intervalo [0, 1] c c e

+1/2
As relaoes de ortogonalidade para as funoes de Bessel esfricas podem ser provadas diretamente daquelas expressas c c e no Teorema 11.6. Observemos em primeiro lugar que o conjunto ZA, B ZA, B
+1/2
que, pela deniao (11.196), c e
:=
> 0| AJ+1/2 () + BJ+1/2 () = 0
pode ser caracterizado em termos de j como ZA, B

+1/2
:=
>0
A+
B 2
j () + Bj () = 0
Assim, ao lidarmos com problemas que possuem condioes de contorno do tipo c

Aj () + Bj () = 0
o conjunto de s que satisfazem isso ZAB/2, B . e Isso mostra que podemos aplicar diretamente as concluses do Teorema 11.6, tomando o cuidado de substituir: 1. o 2 x () j (x) e 3. e J () por j2 + j () . por + 1/2, 2. J () por j (), 3. (na integral) J (x) por Aps algumas contas elementares, obtem-se o seguinte: o Teorema 11.8 Seja 0, sejam xados certos nmeros reais A, B com (A, B) = (0, 0) satisfazendo +1/2+A/B 0, u caso B = 0 (vide Teoremas 11.2-11.5) e seja denido
+1/2 W B := { > 0| Aj () + Bj () = 0} = ZAB/2, B . A,
+1/2
Pelo Teorema 11.5, esse conjunto no-vazio e enumervel. Para todos , W B , tem-se e a a A,
1
j (x)j (x) x2 dx
0
, 2 , 2
j () + j () 2 ( + 1) 2
+ 1
1 ( + 2 )2 2
(j ())2
=
(11.221)
(j ())2 +
j ()j () + (j ())2
, (2 + 1) 2 2 (j ()) j ()j+1 () + (j+1 ()) 2
(11.229)
Essa expresso denominada relaao de ortogonalidade das funoes de Bessel esfricas. Note que h uma relaao de a e c c e a c ortogonalidade para cada tripla (, A, B) com 0 e (A, B) = (0, 0), pois cada tripla (, A, B) xa o conjunto Z B . A, No caso A = 1, B = 0 o conjunto W 0 coincide com o dos zeros da funao de Bessel esfrica j (x). No caso c e 1, A = 0, B = 1 o conjunto W 1 coincide com o dos zeros da funao j (x). c 0, Em particular, se 0 e o k-simo zero da funao j (x) no intervalo (0, ), ento e c a k e
1 0 2 2
j x j x x2 dx = k, l l k
(j ( )) k 2
= k, l
(j+1 ( )) k . 2
(11.230)
Cap tulo 11
551/1628
Analogamente, se 0 e k o k-simo zero da funao j (x) no intervalo (0, ), ento e e c a 1 0 j k x j l x x2 dx = k, l
( + 1) (k )2
(j (k )) . 2
(11.231)
Dessa relaao percebemos incidentalmente que k > c quando k = l.
( + 1) para todo k, pois o lado esquerdo certamente positivo e
E instrutivo considerar a relaao (11.230) no caso = 0, quando j0 (x) = c cos(x) sen (x) inteiro. Como j0 (x) = x x2 , (11.230) est dizendo que a
1 0
sen (x) x
e, portanto, 0 = k, com k > 0 k
k, l sen (kx) sen (lx) dx = kl 2 2

1
cos(k) k
1 k, l , 2(k)2
ou seja,
0
sen (kx) sen (lx) dx =
1 k, l . 2
Essa uma relaao bem conhecida que, evidentemente, pode tambm ser provada por meios mais elementares. e c e
Cap tulo 11
552/1628
11.3
Exerc cios Adicionais
E. 11.30 Exerccio-dirigido. A idia deste exerc provar as relaoes de ortogonalidade dos polinmios de Legendre e cio e c o usando diretamente a frmula de Rodrigues, expresso (11.56), pgina 508. o a a a. Usando a frmula de Rodrigues para os polinmios de Legendre, mostre que o o
1 1
xm Pn (x)dx = 0
(11.232)
para todo 0 m < n, m inteiro. Sugesto: integrao por partes. a ca b. Mostre que
1 1
(x2 1)n dx = (1)n
22n+1 (n!)2 (2n + 1)!
para todo n N0 . c. Mostre que

1 1
xn Pn (x)dx =
2n+1 (n!)2 . (2n + 1)!
(11.233)
Sugesto: use a frmula de Rodrigues, integrao por partes e a expresso do item b. a o ca a d. Usando (11.232) e (11.233) mostre a validade das relaoes de ortogonalidade c
1
Pn (x)Pm (x)dx =
1
2 n, m . 2n + 1
Sugesto: use a frmula de Rodrigues ou a expresso (11.48) para obter o coeciente de maior grau dos polinmios de a o a o Legendre.
E. 11.31 Exerccio. Prove que no intervalo (1, 1) vale |x| = (1)m+1 (4m + 1) (2m 3)! P0 (x) 5P2 (x) + + P2m (x) . 2 8 22m1 (m + 1)! (m 2)! m=2
1
(11.234)
Sugesto: para calcular integrais como a

0
xP2m (x)dx pode-se usar (11.57) e/ou (11.60), integrao por partes e os fatos ca
m
que Pn (1) = 1, n N0 , e P2m (0) =
(1) (2m 1)!! , m N0 , m 1, o qual segue de (11.48). 2m m!
o cio dirigido demonstrar a importante frmula da cotangente de e o E. 11.32 Exerccio-dirigido. O propsito deste exerc Euler, tambm conhecida como expanso em fraoes parciais da funo cotangente: e a c ca cot(z) = vlida para z C \ Z. Estabeleceremos primeiro a relao a ca cot(x) = 2x 1 , 2 x2 x n=1 n
2z 1 , 2 z2 z n=1 n
(11.235)
(11.236)
Cap tulo 11
553/1628
para x R\Z. A expresso (11.236) foi obtida pela primeira vez por Euler em 1749. Seguiremos uma demonstrao elementar a ca e elegante devida a Herglotz51 tal como apresentada em [3], texto esse que, por sua vez, segue Elstrodt52 . Essa demonstrao ca elegante por fazer uso de poucos ingredientes. Basicamente usa-se apenas o fato de que ambos os lados de (11.236) so e a funoes cont c nuas (em R \ Z), so peridicas de per a o odo 1, tm as mesmas divergncias nos inteiros e, last but not least, e e satisfazem uma mesma relao algbrica, a relao (11.237), abaixo. Para uma outra demonstrao de (11.235) usando o ca e ca ca Teorema de Mittag-Leer, vide [102] ou outro bom livro de funoes de varivel complexa. A relao (11.236) pode tambm c a ca e ser provada usando sries de Fourier. Vide Exerc E. 27.21, pgina 1229. Vide tambm [50]. e cio a e Passemos ` prova de Herglotz para (11.235). Dena-se, para x R \ Z, a f (x) := cot(x) onde gN (x) :=
n=N N
g(x) :=
N
lim gN (x) ,
1 2x 1 . = 2 x2 x+n x n=1 n
Desejamos provar que f (x) = g(x) para todo x R \ Z. Isso feito nos passos indicados no que segue. e a. Prove que gN (x) converge uniformemente para N e em qualquer intervalo fechado contido em R \ Z. Sugestes: o para n 2 e 2n 1 > x2 tem-se n2 x2 > (n 1)2 > 0 e 0 < n2 1 1 < . 2 x (n 1)2
Use o Teste M de Weierstra53 (Proposio 27.1, pgina 1169) e use o teste da comparao por uma integral para ca a ca 1 e mostrar que n=1 n2 nita. Isso estabeleceu que g existe em R \ Z. b. Convena-se que f e g so cont c a nuas em R \ Z. Para g isso segue da convergncia uniforme provada em 1. e c. Mostre que f e g so peridicas de per a o odo 1. Para f isso evidente. Para g isso segue de e gN (x + 1) = gN (x) + 1 1 + , x+N x+1+N
para x R \ Z. Prove isso e tome N para obter g(x + 1) = g(x) para todo x R \ Z. d. Mostre que f e g so funoes a c mpares: f (x) = f (x) e g(x) = g(x) para todo x R \ Z. Novamente isso e evidente para f e para g isso segue do fato que gN (x) = gN (x) para todo N . e. At aqui s lidamos com propriedades elementares de f e g mas agora vem uma passagem crucial. Mostre que f e g e o satisfazem x x+1 x x+1 f +f = 2f (x) e g +g = 2g(x) , (11.237) 2 2 2 2 para todo x R \ Z. Note que se trata da mesma relao algbrica para f e g. Para f isso segue das bem-conhecidas ca e frmulas de adio das funoes seno e co-seno. Mostre isso. Para g isso segue da identidade o ca c gN Prove-a usando a relao trivial ca
x 2
x + gN 2 1 + +n
x+1 2
= 2g2N (x) +
2 . x + 2N + 1
x+1 2
2 2 1 + = x + 2n x + 1 + 2n +n
Ferdinand Maria Herglotz (18811953). Elstrodt, Partialbruchzerlegung des Kotangens, Herglotz-Trick und die Weierstrasche stetige, nirgendsdierenzierbare Funktion. Math. Semesterberichte 45 (1998), 207220. 53 Karl Theodor Wilhelm Weierstra (18151897).
52 J.
51 Gustav
e tome o limite N .
Cap tulo 11
554/1628
f. Dena a funo h(x) := f (x) g(x) (que desejamos provar ser identicamente nula). Note em primeiro lugar que h ca e uma funo ca mpar, cont nua e peridica de per o odo 1 em R \ Z, pois f e g o so. a g. Mostre, usando, por exemplo, a regra de lHospital54 , que lim cot(x)
x0
x0
1 x
= lim
x0
x cos(x) sen (x) x sen (x)
= 0.
h. Mostre que fato provado em 7 implica lim h(x) = 0. Como h peridica de per e o odo 1, isso signica que lim h(x) = 0
xn
para todo n Z. Denindo h(n) = 0 para todo n Z, essa propriedade, por sua vez, implica que a funo h torna-se ca cont nua e peridica de per o odo 1 em todo R, no apenas em R \ Z. a i. Como h cont e nua e peridica em todo R, h possui um mximo, que denotaremos por H. Seja x0 um ponto de R tal o a que h(x0 ) = H (que um tal ponto existe segue da continuidade e periodicidade de h). Agora, tem-se por (11.237) que x0 +h 2 x0 + 1 2 x0 +f 2 x0 + 1 2 x0 g 2 x0 + 1 2
(11.237)
= f
2f (x0 ) 2g(x0 ) = 2h(x0 ) = 2H .
+1 Isso est dizendo que a soma de h x0 e h x02 a duas vezes o mximo valor alcanado por h em toda R. Ora, isso e a c 2 s poss se ambos os termos forem iguais a H, pois se um fosse menor que H o outro teria que ser maior que H, o oe vel +1 = H, mas no usaremos esse segundo fato). a que no poss a e vel. Assim conclu mos que h x0 = H (e que h x02 2
Vimos ento que h(x0 ) = H implica h x0 = H. Prosseguindo indutivamente, segue que h a 2 inteiro m com m 0. Como h cont e nua, podemos tomar o limite m e obter H = concluindo que H = 0.
m
x0 2m
= H para todo
lim h
x0 2m
continuidade
x0 m 2m lim
= h(0) = 0 ,
j. Vimos que o mximo de h em R nulo. Isso signica que h(x) 0 para todo x R. Porm, como h uma funo a e e e ca mpar (observado no item f), isso implica que h(x) = 0 para todo x R. Isso provou que f (x) = g(x) para todo x R \ Z, ou seja, provou (11.236) em R \ Z, como quer amos. Que a relao (11.235) vale para todo z C \ Z segue agora do fato que ambos os lados de (11.236) tm extenses ca e o anal ticas em todo C \ Z (prove isso!) e so iguais em R \ Z, por (11.236) (justique!). a
54 Guillaume
Franois Antoine, Marqus de lHpital (ou lHospital) (16611704). c e o
Cap tulo 11
555/1628
Apndices e
11.A Provando (11.70) ` Fora Bruta a c
A idia tomar (11.68), escrever (z 2 1)l = (z 1)l (z + 1)l e aplicar a regra de Leibniz. Tudo est resumido nas seguintes e e a linhas auto-explicativas, acompanhadas de uns poucos comentrios ao nal: a Plm (z) := (1 z 2 )m/2 dl+m (z 2 1)l 2l l! dz l+m (1 z 2 )m/2 dl+m (z 1)l (z + 1)l 2l l! dz l+m (1 z 2 )m/2 2l l! (1 z 2 )m/2 2l l! (1 z 2 )m/2 2l l! (1 z 2 )m/2 2l l!
l+m p=0 l p=m l p=m l p=m
Leibniz
dl+mp l + m dp (z 1)l (z + 1)l dz p dz l+mp p l + m dp (z 1)l dz p p l+m p dl+mp (z + 1)l dz l+mp l! (z + 1)pm (p m)!
()
l! (z 1)lp (l p)!
l+m (l!)2 (z 1)lp (z + 1)pm (l p)! (p m)! p

l p=m
()
(1)m
(z 2 1)m (1 z 2 )m/2 (1 z 2 )m 2l l!
l p=m lm p=0 lm p=0
l+m (l!)2 (z 1)lp (z + 1)pm (l p)! (p m)! p
(1)m (1 z 2 )m/2 2l l! (1)m (1 z 2 )m/2 2l l! (1)m (1 z 2 )m/2 2l l!
l+m (l!)2 (z 1)lp+m (z + 1)p (l p)! (p m)! p l+m (l!)2 (z 1)lp (z + 1)p+m p + m (l p m)! p! (l + m)! (l!)2 (z 1)lp (z + 1)p+m (l p)! (p + m)! (l p m)! p!
lm p=0
pp+m
(1)m
(l + m)! (1 z 2 )m/2 (l m)! 2l l!
(l m)! (l!)2 (z 1)lp (z + 1)p+m (l p)! (p + m)! (l p m)! p!
Cap tulo 11
556/1628
(1)m
(l + m)! (1 z 2 )m/2 (l m)! 2l l! (l + m)! (1 z 2 )m/2 (l m)! 2l l!
lm p=0 lm p=0
lm p lm p
l! (z 1)lp (l p)! dp (z 1)l dz p
l! (z + 1)p+m (p + m)!
(1)m
dlmp (z + 1)l dz lmp
Leibniz
(1)m
(l + m)! (1 z 2 )m/2 dlm (z 1)l (z + 1)l (l m)! 2l l! dz lm (l + m)! m (l + m)! (1 z 2 )m/2 dlm 2 (z 1)l = (1)m P (z) , (l m)! 2l l! dz lm (l m)! l
p l+mp
= como quer amos provar.
(1)m
d d No ponto indicado por () acima, usamos o fato que dzp (z1)l = 0 se p > l e dzl+mp (z1)l = 0 se l+mp > l. Ambas as condioes juntas implicam m p l, da a mudana nos limites da soma. No ponto indicado por () multiplicamos c c 2 m toda a expresso por 1 = (1)m (z 1)m . Na linha seguinte o fator (z 2 1)m escrito como (z 1)m (z + 1)m e distribu a e do (1z 2 )
dentro da soma. Fora isso, usamos tambm que e
1 (1z 2 )m (1
z 2 )m/2 = (1 z 2 )m/2 .

CAP 11 - Props de Algumas Funçoes Especiais

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

CAP 11 - Props de Algumas Funçoes Especiais

Enviado por

Direitos autorais:

Formatos disponíveis

Cap tulo 11 Propriedades de Algumas Funes Especiais co

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

existe um vetor no-nulo a

C2 tal que u(x0 ) u (x0 ) u(x0 ) u (x0 ) 1 2 = 0 0 . (11.3)

Para uma funao f conveniente, vamos denotar por c

f (x)dx o limite lim

f (x)dx, caso este exista. Os limites

lim e lim representam os limites laterais ` esquerda e ` direita, respectivamente. a a

A forma cannica de Liouville o

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

a(x )dx + const.

Aqui p(x) = (1 x2 ), q(x) = 0, r(x) = 1 e = ( + 1).

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

ou seja, L := d dx p(x) d dx + q(x) .

lim p(a) v(a)u (a) v (a)u(a)

lim p(b) v(b)u (b) v (b)u(b)

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

lim p(a) v(a)u (a) v (a)u(a)

lim p(b) v(b)u (b) v (b)u(b) ,

ento teremos, conseqentemente, a u

o que equivale a dizer que

v(x) (M u)(x) r(x) dx =

(M v)(x) u(x) r(x) dx .

Prova. Usando-se integraao por partes, temos c

(Lv)(x) u(x) dx + vpu

= p(b) v(b)u (b)v (b)u(b) p(a) v(a)u (a)v (a)u(a) .

Condies de Contorno e a Origem das Relaes de Ortogonalidade co co

lim p(a) u(a)u (a) u (a)u(a)

lim p(b) u(b)u (b) u (b)u(b)

lim p(a) u(a)u (a) u (a)u(a)

lim p(b) u(b)u (b) u (b)u(b)

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

lim p(a) u(a)u (a) u (a)u(a)

lim p(b) u(b)u (b) u (b)u(b)

lim p(a) u(a)u (a) u (a)u(a)

lim p(b) u(b)u (b) u (b)u(b)

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

|u(x)|2 r(x) dx.

p(b) u(b)u (b) u (b)u(b) p(a) u(a)u (a) u (a)u(a) .

|u(x)|2 r(x) dx > 0 para todos a e b

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

lim p(a) u1 (a)u (a) u (a)u2 (a) 2 1

lim p(b) u1 (b)u (b) u (b)u2 (b) 2 1

lim p(a) u1 (a)u (a) u (a)u2 (a) 2 1

lim p(b) u1 (b)u (b) u (b)u2 (b) . 2 1

Lu2 (x) + 2 r(x)u2 (x) = 0 ,

lim p(a) u1 (a)u (a) u (a)u2 (a) 2 1

lim p(b) u1 (b)u (b) u (b)u2 (b) 2 1

lim p(a) u1 (a)u (a) u (a)u2 (a) 2 1

lim p(b) u1 (b)u (b) u (b)u2 (b) . 2 1

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

u1 (x) u2 (x) r(x) dx = 0 .

u1 (x) u2 (x) r(x) dx .