Você está na página 1de 64

Cap tulo 14 Propriedades de Algumas Fun co es Especiais

Conte udo
Discuss ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14.1.1 Rela c oes de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . 14.1.1.1 Condi c oes de Contorno e a Origem das Rela c oes de Ortogonalidade . 14.1.2 F ormulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14.2 Propriedades de Algumas Fun c oes Especiais . . . . . . . . . . . . . . . . . 14.2.1 Propriedades dos Polin omios de Legendre . . . . . . . . . . . . . . . . . . . . 14.2.2 Propriedades dos Polin omios de Legendre Associados . . . . . . . . . . . . . 14.2.2.1 As Fun c oes Harm onicas Esf ericas . . . . . . . . . . . . . . . . . . . . 14.2.2.2 F ormula de Adi c ao de Fun c oes Harm onicas Esf ericas . . . . . . . . . 14.2.3 Propriedades dos Polin omios de Hermite . . . . . . . . . . . . . . . . . . . . 14.2.3.1 As Fun c oes de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . 14.2.4 Propriedades dos Polin omios de Tchebychev . . . . . . . . . . . . . . . . . . 14.2.5 Propriedades dos Polin omios de Laguerre . . . . . . . . . . . . . . . . . . . . 14.2.6 Propriedades dos Polin omios de Laguerre Associados . . . . . . . . . . . . . 14.2.7 Propriedades das Fun c oes de Bessel . . . . . . . . . . . . . . . . . . . . . . . 14.2.8 Propriedades das Fun c oes de Bessel Esf ericas . . . . . . . . . . . . . . . . . . 14.3 Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . APENDICES . . . . . . . . . . . . . . . 14.A Provando (14.54) a For ca Bruta . . . . . . . . . . . . . . . . . . . . . . . . . 14.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 630 . 631 . 636 . 640 642 . 642 . 646 . 652 . 655 . 658 . 661 . 665 . 665 . 669 . 672 . 688 691 692 692

ste cap tulo d a continuidade ao Cap tulo 13 e concentra-se no estudo de propriedades especiais de algumas das fun co es l a apresentadas como solu co es de equa co es diferenciais de interesse. Nossos principais objetivos s ao a dedu ca o das rela co es de ortogonalidade de certas fun co es, a dedu ca o das chamadas f ormulas de Rodrigues e de rela co es de recorr encia para as mesmas e tamb em a determina ca o de suas fun co es geratrizes. Essas propriedades, que ser ao devidamente denidas e discutidas na Se ca o 14.1, s ao u teis para a resolu ca o de equa co es diferenciais, especialmente aquelas provenientes de problemas envolvendo equa co es diferenciais parciais submetidas a certas condi co es iniciais e/ou de contorno. Exemplos de aplica co es a problemas f sicos s ao discutidos no Cap tulo 19, p agina 842. Ainda que nosso tratamento seja t ao completo quanto poss vel, dentro do escopo relativamente limitado que pretendemos ter, repetimos aqui a recomenda ca o das refer encias listadas no Cap tulo 13 ` a p agina 569.

14.1

Discuss ao Preliminar

Na pr oxima se ca o, a Se ca o 14.2, tencionamos apresentar ao leitor certas propriedades de algumas das fun co es encontradas como solu ca o de equa co es diferenciais de interesse em F sica, propriedades essas cuja utilidade maior manifesta-se especialmente, como mencionado, na resolu ca o de equa co es diferenciais parciais submetidas a certas condi co es iniciais e/ou de contorno. Na presente se ca o prepararemos o terreno discutindo algumas id eias gerais. As id eias gerais que apresentaremos envolvem 1. as chamadas rela c oes de ortogonalidade, que generalizam aquelas bem-conhecidas da teoria das s eries de Fourier; 2. as chamadas f ormulas de Rodrigues, u teis para a obten ca o de rela co es de recorr encia entre fun co es e 3. as chamadas fun c oes geratrizes1 , das quais outras propriedades u teis s ao extra das, como por exemplo representa co es integrais para certas fun co es. Os exemplos principais dos quais trataremos a seguir, na Se ca o 14.2, envolvem os polin omios de Legendre, de Hermite e de Laguerre e as fun co es de Bessel, todas de import ancia na resolu ca o de problemas do Eletromagnetismo, de Mec anica Qu antica, da Mec anica dos Fluidos e de outras areas.
1A

no ca o de fun ca o geratriz foi introduzida na Se ca o 6.1, p agina 256.

630

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

631/2069

14.1.1

Rela c oes de Ortogonalidade

No Cap tulo 13 tratamos nossas equa co es diferenciais como equa co es no plano complexo. Para a discuss ao das chamadas rela co es de ortogonalidade devemos considerar apenas equa co es diferenciais de uma vari avel real. De qualquer forma, na absoluta maioria das equa co es diferenciais de interesse em F sica a fun ca o inc ognita y e uma fun ca o de uma vari avel real, digamos, x, e assim consideraremos aqui. Seja o problema de determinar as solu co es n ao-nulas da equa ca o diferencial y (x) + y (x) = 0, com x restrita ao intervalo [0, ], e que satisfa cam as condi co es y (0) = y ( ) = 0. Tais solu co es somente existem se for da forma = m2 com m = 1, 2, 3, . . . e s ao, para cada tal m, da forma ym (x) = sen (mx). Esse problema surge em um problema cl assico da mec anica de corpos deform aveis, a saber, no problema da corda vibrante homog enea, do qual tratamos na Se ca o 19.5.1, p agina 896. De import ancia crucial na resolu ca o daquele problema s ao as chamadas rela c oes de ortogonalidade satisfeitas pelas fun co es sen (mx) no intervalo [0, ], as quais armam que 0 sen (mx) sen (nx)dx = 2 m, n , para todos m, n = 1, 2, 3, . . .. Como o leitor pode constatar pela leitura da Se ca o 19.5.1, essas rela co es permitem a obten ca o de solu co es da equa ca o de movimento da corda vibrante homog enea que satisfa cam condi co es, ditas condi co es iniciais, que xem a posi ca o e a velocidade de cada ponto da corda no instante inicial de seu movimento (problema de Cauchy). Diversos outros problemas f sicos, alguns tamb em tratados no Cap tulo 19, p agina 842, podem ser igualmente resolvidos com o uso de rela co es de ortogonalidade an alogas. Na presente se ca o discutiremos de forma bastante geral como tais rela co es se originam. Na Se ca o 14.2, p agina 642, veremos as id eias aqui apresentadas serem empregadas em exemplos concretos que, por sua vez, encontrar ao aplica co es nos problemas tratados no Cap tulo 19. Mencionamos, por m, que as rela co es de ortogonalidade aqui discutidas podem ser elegantemente descritas na teoria dos espa cos de Hilbert, que introduzimos no Cap tulo 36, p agina 1795. Na teoria dos espa cos de Hilbert at e mesmo a denomina ca o rela co es de ortogonalidade, a qual pode parecer obscura a um leitor iniciante, torna-se natural. Boa parte dos desenvolvimentos que introduziremos na presente se ca o ser ao reencontrados na discuss ao do chamado problema de Sturm-Liouville, ao qual dedicamos o Cap tulo 16, p agina 768. Resultados preparat orios

Vamos come car nossa discuss ao mencionando alguns resultados u teis que ser ao usados logo adiante.

Lema 14.1 Seja O R um aberto e seja x0 um ponto de O. Vamos supor que tenhamos duas fun c oes reais diferenci aveis f e g : O R ou C que satisfa cam 1 f (x0 ) + 2 f (x0 ) = 0 e 1 g (x0 ) + 2 g (x0 ) = 0, para constantes (reais ou complexas) 1 e 2 , ambas n ao-simultaneamente nulas, ou seja, (1 , 2 ) = (0, 0). Ent ao, vale f (x0 )g (x0 ) f (x0 )g (x0 ) = 0 . Se as constantes 1 e 2 acima forem constantes reais, vale tamb em f (x0 )g (x0 ) f (x0 )g (x0 ) = 0 . (14.2) (14.1)

Prova. As condi co es do enunciado podem ser escritas em forma matricial como 0 f (x0 ) f (x0 ) 1 = . 2 0 g (x0 ) g (x0 )

Logo, como (1 , 2 ) = (0, 0), a matriz do lado esquerdo deve ser n ao-invers 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 tamb em f (x0 ) f (x0 ) 1 0 = 2 0 g (x0 ) g (x0 )

e, pelo mesmo argumento de acima, segue que f (x0 )g (x0 ) f (x0 )g (x0 ) = 0.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

632/2069

Corol ario 14.1 Seja O R um aberto e seja x0 um ponto de O. Seja u : O C uma fun c ao diferenci avel. Ent ao, uma ao-simultaneamente nulas, ou seja, condi c ao necess aria e suciente para que existam constantes reais 1 e 2 , ambas n (1 , 2 ) = (0, 0) tais que 1 u(x0 ) + 2 u (x0 ) = 0 para algum x0 O e que valha u(x0 )u (x0 ) u (x0 )u(x0 ) = 0. ao-simultaneamente nulas, tais que 1 u(x0 ) + 2 u (x0 ) = 0 para Prova. Se existirem constantes reais 1 e 2 , ambas n algum x0 O, ent ao, adotando f = g = u em (14.2) segue que u(x0 )u (x0 ) u (x0 )u(x0 ) = 0. Reciprocamente, se
u(x0 ) u (x0 ) u(x0 ) u (x0 )

u(x0 )u (x0 ) u (x0 )u(x0 ) = 0 ent ao a matrix 1 2 existe um vetor n ao-nulo C tal que 2

n ao tem inversa e, portanto, pelo Corol ario 8.1, p agina 318,

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 Somando e subtraindo (14.3) de (14.4) obtemos u(x0 ) u (x0 ) Re (1 ) 0 = 0 Re (2 ) u(x0 ) u (x0 ) 0 u(x0 ) u (x0 ) 1 = . 2 0 u(x0 ) u (x0 ) u(x0 ) u(x0 )

0 u(x0 ) u (x0 ) 1 = . 2 0 u(x0 ) u (x0 )

(14.3)

(14.4)

Como (1 , 2 ) = (0, 0) ent ao ou (1 , 2 ) = Re (1 ), Re (2 ) ou (1 , 2 ) = Im (1 ), Im (2 ) (ou ambos) s ao vetores reais n a o-nulos. Assim, provamos que existem constantes reais e , ambas n a o-simultaneamente nulas, tais que 1 2 u(x0 ) u (x0 ) 1 0 = , e, portanto, tais que 1 u(x0 ) + 2 u (x0 ) = 0. 2 0 u(x0 ) u (x0 ) Conven co es sobre intervalos. Alguma nota c ao

u (x0 ) Im (1 ) 0 = . 0 Im (2 ) u (x0 )

Em muitas das equa co es diferenciais de interesse em F sica a vari avel x e restrita a uma regi ao J R da reta real, 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 tamb em ocorrer intervalos innitos, tais como J = (, ), ou semi-innitos, como J = (0, ) ou J = [0, ). Denotaremos por J 0 o interior do intervalo J , ou seja, J 0 e o maior intervalo aberto contido em J . Por exemplo, se J = [a, b] teremos J 0 = (a, b), se J = [0, ) ent ao J 0 = (0, ) e se J e aberto ent ao J 0 = J . Daqui para frente vamos escrever o intervalo J 0 , nito ou n ao, na forma J 0 := (A, B ) R e, portanto, (A, B ) pode representar intervalos nitos, como por exemplo (0, 1), semi-innitos, como por exemplo (0, ) ou ainda toda a reta real (, ).
B b

Para uma fun ca o f conveniente, vamos denotar por


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 ` a esquerda e ` a direita, respectivamente.

A forma can onica de Liouville

At e aqui escrevemos nossas equa co es lineares homog eneas de segunda ordem na forma y (x) + a(x)y (x) + b(x)y (x) = 0

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

633/2069

(agora j a adotando como vari avel x J ). Em muitos problemas de interesse essa equa ca o pode ser escrita de outra forma, denominada por alguns autores de forma can onica de Liouville, e que ser a importante para o que segue: (p(x)y (x)) + q (x)y (x) + r(x)y (x) = 0, onde, 1. p(x) e real, cont nua e diferenci avel em J 0 e p(x) > 0 para todo x J 0 . 2. q e real e cont nua em J . 3. r(x) e real e cont nua em J 0 e r(x) > 0 para todo x J 0 . 4. e uma constante. As condi co es de positividade de p e r em J 0 s ao as mais importantes. Note-se que n ao excluiremos que p e r possam se anular (ou mesmo divergir) nos extremos do intervalo J 2 . Como o leitor pode facilmente constatar, a rela ca o entre essas fun co es e a seguinte: a(x) = p (x) , p(x) b(x) = 1 (q (x) + r(x)) . p(x) (14.6) (14.5)

Dadas a(x) e b(x), a primeira rela ca o acima xa p(x) (a menos de uma constante), a saber,
x

p(x) = exp
0

a(x )dx + const.

J a a segunda nem sempre xa q (x) e r(x) univocamente, tudo dependendo da condi ca o de positividade sobre r(x), que foi mencionada acima, ou de qual par ametro se deseja tomar por . Na maioria dos casos, por em, q e r podem ser xados univocamente, o que car a claro nos exemplos que seguem. V arias das equa co es diferenciais de segunda ordem das quais tratamos no Cap tulo 13 podem ser escritas na forma can onica em algum intervalo J conveniente3 . Vamos a alguns exemplos que nos interessar ao: A equa c ao do oscilador harm onico simples: y (x) + y (x) = 0. Aqui p(x) = 1, q (x) = 0, r(x) = 1 e = . V arios tipos de intervalos J aparecem em problemas. No problema da corda vibrante, por exemplo, pode-se adotar J = [0, L], L sendo o comprimento da corda. A equa c ao de Legendre (1 x2 )y (x) 2xy (x) + ( + 1)y (x) = 0 e tipicamente considerada no intervalo J = [1, 1] e pode ser escrita na forma can onica de Liouville como 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 a fun ca o r(x) e positiva em todo J = [1, 1]. A equa c ao de Hermite y (x) 2xy (x) + y (x) = 0, e tipicamente considerada no intervalo J = (, ) e pode ser escrita na forma can onica de Liouville como 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 = (, ).
2 O caso em que p e r permanecem nitas e positivas nos extremos do intervalo J e particularmente importante no chamado Problema de Sturm-Liouville regular, tratado no Cap tulo 16, p agina 768. 3 A conveni encia e ditada pelo problema f sico subjacente.
2 2 2

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

+ ex y (x) = 0 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

634/2069

A equa c ao de Tchebychev (1 x2 )y (x) x y (x)+ 2 y (x) = 0 e tipicamente considerada no intervalo J = [1, 1] e pode ser escrita na forma can onica de Liouville como 1 x2 y (x) Aqui p(x) =

Note que p(x) > 0 em J 0 = (1, 1), mas anula-se nos extremos x = 1. J a a fun ca o r(x) e positiva em todo 1 J = (1, 1), mas diverge nos extremos x = 1. No entanto, r e integr avel no intervalo J , isto e, 1 r(x)dx e nita. A equa c ao de Laguerre xy (x) + (1 x)y (x) + y (x) = 0 e tipicamente considerada no intervalo J = [0, ) e pode ser escrita na forma can onica de Liouville como 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 a fun ca o r(x) e positiva em todo J = [0, ). A equa c ao de Bessel de ordem , escrita na forma x2 y (x) + xy (x) + (2 x2 2 )y (x) = 0, e tipicamente considerada no intervalo J = [0, 1] e pode ser escrita no intervalo (0, 1] na forma can onica de Liouville como (xy (x))
2 Aqui p(x) = x, q (x) = x , r(x) = x e = .
2

1 x2 , q (x) = 0, r(x) = 1/ 1 x2 e = 2 .

1 + 2 y (x) = 0 . 1 x2

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 equa ca o de Bessel esf erica tamb em podem ser escrita na forma can onica de Liouville. Por em, a mesma pode ser facilmente transformada em uma equa ca o de Bessel e, portanto, seu tratamento e um caso particular do daquelas equa co es. Vide Se ca o 14.2.8, p agina 688. O operador de Liouville

A forma can onica de Liouville (14.5) sugere a introdu ca o de uma nota ca o muito conveniente. Seja uma fun ca o u denida em J que seja pelo menos duas vezes diferenci avel. Sob as hip oteses (14.6) denimos o chamado operador de Liouville4 , denotado por L, como sendo o operador diferencial dado por (Lu)(x) := (p(x)u ) + q (x)u , (14.7)

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

Denimos tamb em o operador diferencial denotado por M por M := A equa ca o (14.5) ca simplicada na forma (Lu)(x) + r(x)u(x) = 0 , ou seja, (M u)(x) = u(x) . (14.8) 1 d 1 L = r(x) r(x) dx p(x) d dx q (x) . r(x)

Se for um n umero tal que a equa ca o (14.8) for satisfeita para alguma fun ca o u , ent ao diz-se que e um autovalor e u e dito ser a auto-fun c ao associada ao autovalor . Essa nomenclatura surge por analogia com os conceitos de autovalor
4 Essa nomenclatura n ao e universal, talvez por causar uma certa confus ao com um outro operador, tamb em dito de Liouville, que ocorre na H , com H sendo a fun ca o Hamiltoniana, q e p sendo coordenadas de posi ca o e momento, respectivamente. Mec anica Cl assica: L := H p q q p

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

635/2069

e auto-vetor de matrizes na algebra linear. Estritamente falando e u s ao auto-valores, respectivamente, auto-fun co es, do operador M . O Lema de Green

O seguinte resultado elemetar sobre o operador L, por vezes, denominado Lema de Green5 , ser a importante no que segue. Lema 14.2 Seja J (A, B ) R um intervalo como descrito acima e sejam u e v fun c oes duas vezes diferenci aveis denidas em um intervalo nito [a, b] J , com A < a < b < B . Sejam p, q e r satisfazendo as condi c oes enumeradas em (14.6). Ent ao,
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) .

(14.9)

Se u e v forem denidas em J 0 , forem duas vezes diferenci aveis e satiszerem as condi c oes que os limites laterais
aA+

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

bB

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

existem e satisfazem
aA+

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


B

bB

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


B

(14.10)

ent ao teremos, conseq uentemente, v (x) (Lu)(x) dx =


A A B

(Lv )(x) u(x) dx ,

(14.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 .

(14.12)

Prova. Usando-se integra ca o por partes, temos


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
a 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

(14.13)

ou seja,
b a b

v (x) (Lu)(x) dx

(Lv )(x) u(x) dx =


a

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 avan cado.

Se V for um espa co vetorial de fun co es duas vezes diferenci aveis satisfazendo (14.10), ent ao

B f (x)g (x)dx e (14.12) (14.11) informa-nos que o operador L e um operador sim etrico em V com rela ca o ao produto escalar f, g = A B informa-nos que o operador M e um operador sim etrico em V com rela ca o ao produto escalar f, g r = A f (x)g (x) r (x)dx. 5 George

Green (17931841).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

636/2069

14.1.1.1

Condi c oes de Contorno e a Origem das Rela c oes de Ortogonalidade

Vamos nos interessar por equa co es diferenciais como Lu + ru = 0 denidas em um intervalo J = (A, B ), n aonecessariamente nito, como descrevemos acima, com as solu co es u satisfazendo as condi co es que os limites laterais
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 satisfa cam


aA+

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

bB

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

(14.14)

H a v arias condi co es sob as quais (14.14) e satisfeita. Listemos alguns dos casos que ocorrem em equa co es de interesse: ao diverge nos I J = (A, B ) e um intervalo nito ou n ao, lim p(A) = lim p(B ) = 0 mas o produto u(x)u (x) n limites x A+ e x B . Essas condi co es implicam (14.14), ambos os lados da igualdade sendo nulos. II J = [A, B ] e um intervalo nito, p(A) e p(B ) s ao ambos nitos mas u satisfaz condi co es de contorno em A e em B do forma 1 u(A) + 2 u (A) 1 u(B ) + 2 u (B ) = 0, = 0, (14.15) (14.16)
aA+ bB

onde 1 , 2 , 1 , 2 s ao constantes reais xadas, sendo (1 , 2 ) = (0, 0) e (1 , 2 ) = (0, 0). Pelo Corol ario 14.1, p agina 632, essas condi co es implicam que u(A)u (A)u (A)u(A) = 0 e u(B )u (B )u (B )u(B ) = 0, o que implica (14.14), ambos os lados da igualdade sendo nulos. III J = (A, B ) e um intervalo nito e vale uma combina ca o dos casos anteriores. Por exemplo, lim p(A) = 0 com o ao divergindo no limite x A+ e, al em disso, existem constantes reais (1 , 2 ) = (0, 0) tais produto u(x)u (x) n que 1 u(B ) + 2 u (B ) = 0. As condi co es (14.14) s ao, portanto, mais gerais que condi co es como I ou II, acima. A Proposi ca o 14.1, adiante, aponta algumas de suas conseq u encias. Realidade dos autovalores, simplicidade e realidade das autofun co es Proposi c ao 14.1 Seja um intervalo (n ao necessariamente nito) J = (A, B ), como descrito acima, e sejam p, q e r fun c oes denidas em J , satisfazendo as condi c oes enumeradas em (14.6). Considere-se o problema de determinar uma constante e uma solu c ao u da equa c ao diferencial Lu(x)+r(x)u(x) = 0 denida em J , com u satisfazendo as condi c oes que os limites
aA+ 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 satisfa cam


aA+

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

bB

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

(14.17)

Ent ao, valem os seguintes fatos: a. R, b. A solu c ao u eu nica a menos de uma constante multiplicativa, c. A solu c ao u e m ultipla de uma solu c ao real.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

637/2069

Conseq uentemente, toda solu c ao da equa c ao Lu(x) + r(x)u(x) = 0 com R sob as condi c oes (14.17) e m ultipla de c ao real da equa c ao Lu(x)+ r(x)u(x) = 0. Note-se que fun c oes reais satisfazem trivialmente as condi c oes uma u nica solu (14.17).
b a

Prova. Parte a. Consideremos (a, b) um intervalo nito contido em J e seja a express ao Podemos escrev e-la como
b

|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

=
(14.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 (14.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 condi co es mencionadas no enunciado. Como vimos na parte a, e real. Considere-se a fun ca o u1 (x) W12 (x) = det u2 (x) = = = = = = = u 1 (x) = u1 (x)u (x) u (x)u2 (x) . 2 1 u 2 (x)

Vamos em primeiro lugar mostrar que p(x)W12 (x) e constante, ou seja, que (pW12 ) = 0. De fato, (pW12 ) = p W12 + pW 12
p (u1 u 2 u1 u2 ) + p (u1 u2 u1 u2 ) p (u1 u 2 u1 u2 ) + p (u1 u2 + u1 u2 u1 u2 u1 u2 ) p (u1 u 2 u1 u2 ) + p (u1 u2 u1 u2 ) u1 (p u 2 + pu2 ) u2 (p u1 + pu1 ) u1 (pu 2 ) u2 (pu1 )

u1 (qu2 + ru2 ) + u2 (qu1 + ru1 ) 0. (14.18)

Agora, p(x)W12 (x) = p(x) u1 (x)u oteses (14.17), seus limites b B e a A+ 2 (x) u2 (x)u1 (x) e, portanto, pelas hip existem e anulam-se, provando que p(x)W12 (x) = 0 para todo x. Pelas hip oteses em (14.6), p e positivo em J 0 e, portanto, W12 (x) = 0 para todo x.

Isso diz que as duas linhas que formam a matriz cujo determinante e W12 (x) s ao, para cada x [a, b], proporcionais uma a outra, ou seja, existe (x) tal que, por exemplo, u1 (x) = (x)u2 (x) e
u 1 (x) = (x)u2 (x)

para todo x. Derivando a primeira e comparando a ` segunda, conclui-se que (x) e constante, ou seja, n ao depende de x. ao m ultiplas entre si. Com isso, mostramos que se tivermos duas auto-fun co es Assim, vericamos que as fun co es u1 e u2 s com o mesmo auto-valor as auto-fun co es s ao m ultiplas uma da outra e o subespa co que ambas geram tem dimens ao 1.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

638/2069

Parte c. Como p, q , r s ao reais e tamb em (pela parte a), ent ao se u e solu ca o de Lu + ru = 0 seu complexo conjugado u tamb em o e. Fora isso, se u satisfaz as condi co es (14.17), seu complexo conjugado u tamb em as satisfaz. Logo, pela parte b, existe uma constante C tal que u = u.

A equa ca o u = u implica u = u e, portanto | | = 1, ou seja, = ei , para R. Decompondo u em suas partes real e imagin aria, u = v + iw, conclu mos que v iw = (cos + i sen )(v + iw), ou seja, valem (1 cos )v = sen ()w e (1 + cos )w = sen ()v . Agora, se cos = 1, ent ao a segunda igualdade implica w = 0 e, portanto, u = v . Se cos = 1, sen sen ent ao a primeira igualdade implica v = 1cos w e , portanto, u = 1 cos + i w.

Os resultados da Proposi ca o 14.1 podem ser parafraseados da seguinte forma. Considere-se o problema de determinar os autovalores e autofun co es u da equa ca o Lu + ru = 0 sob condi co es que impliquem a condi co es (14.17), tais como as condi co es I ou II da p agina 636. Ent ao os autovalores s ao reais, simples (ou seja, n ao-degenerados: para cada autovalor o espa co das correspondentes autofun co es e unidimencional) e as autofun co es podem ser tomadas reais. Problemas de autovalores e rela co es de ortogonalidade

No teorema a seguir consideraremos fun co es reais u1 e u2 denidas em um intervalo (n ao necessariamente nito) J = (A, B ), que satisfa cam as condi co es de os limites
aA+ lim p(a) u1 (a)u 2 (a) u1 (a)u2 (a)

bB

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

existirem e satisfazerem
aA+ lim p(a) u1 (a)u 2 (a) u1 (a)u2 (a)

bB

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

(14.19)

H a v arias condi co es sob as quais (14.19) e satisfeita. Listemos alguns dos casos que ocorrem em equa co es de interesse:
I J = (A, B ) e um intervalo nito ou n ao, lim p(A) = lim p(B ) = 0 mas o produto u1 (x)u 2 (x) u1 (x)u2 (x) aA+ bB

n ao diverge nos limites x A+ e x B . Essas condi co es implicam (14.19), ambos os lados da igualdade sendo nulos. II J = [A, B ] e um intervalo nito, p(A) e p(B ) s ao ambos nitos mas tanto a fun ca o u1 quanto a fun ca o u2 satisfazem condi co es de contorno em A e em B do forma 1 u(A) + 2 u (A) 1 u(B ) + 2 u (B ) = 0, = 0, (14.20) (14.21)

onde 1 , 2 , 1 , 2 s ao constantes reais xadas, sendo (1 , 2 ) = (0, 0) e (1 , 2 ) = (0, 0).


Pelo Lema 14.1, p agina 631, particularmente por (14.1), essas condi co es implicam que u1 (A)u 2 (A) u1 (A)u2 (A) = 0 e u1 (B )u2 (B ) u1 (B )u2 (B ) = 0, o que implica (14.19), ambos os lados da igualdade sendo nulos.

III J = (A, B ) e um intervalo nito e vale uma combina ca o dos casos anteriores. Por exemplo, lim p(A) = 0
com o produto u1 (x)u ao divergindo no limite x A+ e, al em disso, existem constantes reais 2 (x) u1 (x)u2 (x) n (1 , 2 ) = (0, 0) tais que tanto a fun ca o u1 quanto a fun ca o u2 satisfazem 1 u(B ) + 2 u (B ) = 0. aA+

Conseq uentemente, as condi co es (14.19) s ao mais gerais que condi co es como I ou II, acima. O seguinte resultado aponta uma das conseq u encias das hip oteses de (14.19) e expressa uma da mais importantes propriedades das solu co es das equa co es diferenciais discutidas acima: as chamadas rela c oes de ortogonalidade. Teorema 14.1 Considere-se a equa c ao diferencial Lu(x) + r(x)u(x) = 0 denida no intervalo (n ao necessariamente nito) J = (A, B ), com p, q e r satisfazendo as condi c oes enumeradas em (14.6). Sejam 1 e 2 R com 1 = 2 e ao-nulas que satisfazem suponhamos que u1 e u2 sejam fun c oes reais n Lu1 (x) + 1 r(x)u1 (x) = 0 e Lu2 (x) + 2 r(x)u2 (x) = 0 , (14.22)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

639/2069

em J = (A, B ) e suponhamos ainda que os limites


aA+ lim p(a) u1 (a)u 2 (a) u1 (a)u2 (a)

bB

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

existam e satisfa cam


aA+ lim p(a) u1 (a)u 2 (a) u1 (a)u2 (a)

bB

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

(14.23)

Ent ao,

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


A

(14.24)

Prova. Seja (a, b), com A < a < b < B , qualquer intervalo nito contido em J 0 . Consideremos a express ao
b

(1 2 )

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


a

Como 1 e 2 s ao reais, isso pode ser escrito por (14.22) como


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 2 (b) u1 (b)u2 (b) p(a) u1 (a)u2 (a) u1 (a)u2 (a) ,

sendo que na u ltima igualdade usamos (14.9), lembrando que, no caso presente, todas as fun co es e constantes s ao reais. Conseq uentemente, tem-se pelas hip oteses,
B

(1 2 )

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


A

=
B

bB

lim p(b) u1 (b)u 2 (b) u1 (b)u2 (b) lim p(a) u1 (a)u2 (a) u1 (a)u2 (a) aA+

= 0.

Como 1 = 2 , isso implica


A

u1 (x) u2 (x) r(x) dx = 0, como quer amos provar.

A rela ca o (14.24) diz-nos que u1 e u2 s ao ortogonais em rela ca o ao produto escalar real


B

f, g

:=
A

f (x)g (x) r(x) dx ,


B

(14.25)

denido no conjunto de todas as fun co es f : J R tais que A f (x)2 r(x) dx < . Essas rela co es de ortogonalidade s ao de suma import ancia em aplica co es, especialmente na resolu ca o de equa co es diferenciais sob certas condi co es de contorno. O leitor interessado em exemplos pode passar diretamente ` a Se c ao 14.2, p agina 642. Aplica co es ` a solu ca o de equa co es diferenciais parciais de interesse em F sica ser ao vistas no Cap tulo 19, p agina 842.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

640/2069

14.1.2

F ormulas de Rodrigues

As id eias desta pequena se ca o ser ao melhor ilustradas nos exemplos da Se ca o 14.2. Consideremos a equa ca o diferencial (p(x)y (x)) + q (x)y (x) + r(x)y (x) = 0, ou seja, Ly + ry = 0, com p, q e r satisfazendo as condi co es enumeradas em (14.6) e suponhamos tamb em que r seja uma fun ca o innitamente diferenci avel de x. Consideremos que o intervalo J onde a equa ca o e considerada seja J = [1, 1]. Para n = 0, 1, 2, . . ., sejam denidas as fun co es 1 dn pn (x) := (14.26) r(x)(1 x2 )n . r(x) dxn f E acil ver que se m < n, ent ao
1 1

xm pn (x) r(x) dx = 0 ,
r

(14.27)

ou seja, cada pn e ortogonal, segundo o produto escalar , que n. Para provar (14.27), basta escrever
1 1

denido em (14.25), a todos os polin omios de grau menor dn r(x)(1 x2 )n dxn


dk dxk

xm pn (x) r(x) dx =

1 1

xm

dx

e fazer n vezes integra ca o por partes, lembrando que a express ao fator (1 x ) que se anula em 1. E. 14.1 Exerc cio importante. Fa ca isso!
2

em um r(x)(1 x2 )n , com k < n, sempre cont

Se as fun co es pn forem elas mesmas polin omios de grau n, o que ocorre em v arios casos, conclu mos que
1

pm (x) pn (x) r(x) dx = 0 ,


1

V arias equa co es diferenciais do tipo mencionado acima, denidas em um intervalo nito [1, 1], t em solu co es polinomiais, como por exemplo, a equa ca o de Legendre e de Tchebychev. Como as mesmas, pelo Teorema 14.1, s ao ortogonais em rela ca o ao produto escalar , r no intervalo J = [1, 1]6 , as considera co es acima sugerem que as solu co es polinomiais possam ser escritas, a menos de uma constante multiplicativa, na forma (14.26). Isso e, de fato, verdade para v arias equa co es importantes (como as de Legendre e Tchebychev) e da express ao (14.26) ser a poss vel obter v arias propriedades daqueles polin omios. Isso ser a melhor discutido nos exemplos que trataremos na Se ca o 14.2. A express ao (14.26) e denominada f ormula de Rodrigues7 . E. 14.2 Exerc cio. Generalize a f ormula de Rodrigues (14.26) para um intervalo J = [a, b] nito arbitr ario. Sugest ao: procure uma transforma c ao linear que mapeie bijetivamente [1, 1] em [a, b]. As f ormulas de Rodrigues podem ser generalizadas para equa co es diferenciais denidas em intervalos n ao-nitos, como J = (0, ) ou J = (, ). Tratemos disso.

sempre que m = n. Isso signica que os polin omios pn (x) s ao ortogonais dois-a-dois segundo o produto escalar , intervalo J = [1, 1].

no

Para o caso J = (0, ) devemos supor novamente que r(x) seja innitamente diferenci avel, mas devemos ainda supor que r(x) seja limitada em x = 0 e que r(x) e todas as suas derivadas r(m) (x) caiam no innito mais r apido que qualquer pot encia, ou seja limx xk r(m) (x) = 0 para todo k 0 e m 0. Denimos, nesse caso, pn (x) :=
6 Veremos 7 Benjamin

1 dn r(x) xn . r(x) dxn

(14.28)

isso explicitamente nos exemplos da Se ca o 14.2 Olinde Rodrigues (17941851). Rodrigues foi banqueiro e matem atico amador, nascido na Fran ca, mas de origem judaicoportuguesa. Encontrou a f ormula que leva seu nome apenas para o caso dos polin omios de Legendre. A generaliza ca o aqui apresentada e posterior. Rodrigues tamb em deu contribui co es para a teoria dos quat ernions e para o grupo SO(3) (vide Proposi ca o 20.5, p agina 993). Apesar de banqueiro, Rodrigues foi l der do partido socialista franc es.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

641/2069

f E acil ver que se m < n, ent ao


0

xm pn (x) r(x) dx = 0 ,

(14.29)

Para ver isso, escrevemos novamente


0

xm pn (x) r(x) dx =
0

xm

dn r(x) xn dxn

dx

e fazemos integra ca o por partes, usando que limx xk r(m) (x) = 0 para todos k 0 e m 0 e que a express ao
dk dxk

r(x)xn , com k < n, sempre cont em um fator x que se anula em 0.

E. 14.3 Exerc cio importante. Complete os detalhes. Em certos exemplos, como na equa ca o de Laguerre, as fun co es pn s ao polin omios na vari avel x. Nesses casos, temos ent ao que

pm (x) pn (x) r(x) dx = 0 ,

sempre que m = n. Isso signica que os polin omios pn (x) s ao ortogonais dois-a-dois segundo o produto escalar , r no intervalo J = (0, ). Como antes, isso sugere que as solu co es polinomiais de certas equa co es diferenciais denidas no intervalo J = (0, ) possam ser escritas, a menos de uma constante multiplicativa, na forma sugerida pela f ormula de Rodrigues (14.28). Veremos que tal e o caso para os polin omios de Laguerre e isso nos permitir a obter algumas rela co es u teis sobre aqueles polin omios. Para o caso J = (, ) devemos supor novamente que r(x) seja innitamente diferenci avel, mas devemos ainda supor que r(x) e todas as suas derivadas r(m) (x) caiam no innito mais r apido que qualquer pot encia, ou seja lim|x| |x|k |r(m) (x)| = 0 para todo k 0 e m 0. Denimos, nesse caso, pn (x) := f E acil ver que se m < n, ent ao 1 dn r(x) . r(x) dxn (14.30)

xm pn (x) r(x) dx = 0 ,

(14.31)

Para ver isso, escrevemos novamente


xm pn (x) r(x) dx =

xm

dn r(x) dx dxn

e fazemos integra ca o por partes, usando que lim|x| |x|k |r(m) (x)| = 0 para todos k 0 e m 0. E. 14.4 Exerc cio importante. Complete os detalhes. Em certos exemplos, como na equa ca o de Hermite, as fun co es pn s ao polin omios na vari avel x. Nesses casos, temos ent ao que

pm (x) pn (x) r(x) dx = 0 ,

sempre que m = n. Isso signica que os polin omios pn (x) s ao ortogonais dois-a-dois segundo o produto escalar , r no intervalo J = (, ). Como antes, isso sugere que as solu co es polinomiais de certas equa co es diferenciais denidas no intervalo J = (, ) possam ser escritas, a menos de uma constante multiplicativa, na forma sugerida pela f ormula de Rodrigues (14.30). Veremos que tal e o caso para os polin omios de Hermite e isso nos permitir a obter algumas rela co es u teis sobre os mesmos.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

642/2069

14.2

Propriedades de Algumas Fun co es Especiais

Vamos agora ent ao reunir o conhecimento acumulado acima para obter v arias propriedades u teis de algumas das fun co es especiais que encontramos como solu co es de equa co es diferenciais de interesse. As v arias identidades que provaremos podem ser obtidas de diferentes modos, de sorte que o leitor certamente encontrar a na literatura demonstra co es alternativas aquelas aqui apresentadas. `

14.2.1

Propriedades dos Polin omios de Legendre

Rela co es de ortogonalidade para os polin omios de Legendre A equa ca o de Legendre 1 x2 y (x) + ( + 1)y (x) = 0, e tipicamente considerada no intervalo J = [1, 1]. Aqui, p(x) = (1 x2 ), q (x) = 0, r(x) = 1 e = ( + 1). A fun ca o p(x) anula-se nos extremos 1 do intervalo J = [1, 1]. Os polin omios de Legendre Pm (x) foram denidos em (13.14), p agina 573, por Pm (x) :=
m/2 a=0

(1)a (2m 2a)! xm2a , 2m (m a)! (m 2a)! a!

(14.32)

onde m/2 e o maior inteiro menor ou igual a m/2, e s ao solu co es da equa ca o de Legendre com = m(m + 1), sendo (as u nicas) solu co es da equa ca o de Legendre que permanecem limitadas nos pontos 1.

Como p(x) anula-se nos extremos 1 e os Pm (x) s ao limitados nesses pontos, vale para os polin omios de Legendre a rela ca o (14.23) e conclu mos pelo Teorema 14.1, p agina 638, que
1

Pn (x)Pm (x) dx = 0
1

(14.33)

para todo n = m, com m, n = 0, 1, 2, 3, . . .. Notemos que isso implica


1 1

xk Pm (x) dx = 0

(14.34)

para todo k < m, pois os mon omios xk podem ser escritos como combina co es lineares dos polin omios Pn s com n < m. Para calcular as integrais de (14.33) no caso n = m, podemos elegantemente usar as rela co es
Pn +1 (x) = (2n + 1)Pn (x) + Pn1 (x) ,

n0, n0,

(14.35) (14.36)

e Pn (1) = 1 , as quais ser ao demonstradas mais abaixo (rela co es (14.41) e (14.45), respectivamente) como conseq u encia da f ormula de Rodrigues para os polin omios de Legendre. De fato, por integra ca o por partes, tem-se
1 1 Pn (x)Pn +1 (x) dx = Pn (x)Pn+1 (x) 1 1 1

Pn (1) = (1)n ,

Pn (x)Pn+1 (x) dx .

Por (14.36), Pn (x)Pn+1 (x)


1

1 1

polin omio de grau n 1. Assim, 2 =


1

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


(14.35) 1 1

1 1

(x)Pn+1 (x) dx = 0, pois Pn (x) e seguramente um Pn

Pn (x)Pn +1 (x) dx 1 1

Pn (x) (2n + 1)Pn (x) + Pn 1 (x) dx = (2n + 1)

1 1

Pn (x)2 dx ,

pois, novamente por (14.34),

a que Pn e um polin omio de grau n 2. Isso provou que Pn (x)Pn 1 (x) 1 (x) dx = 0, j 1

Pn (x)Pm (x) dx =
1

2 n, m , 2n + 1

(14.37)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

643/2069

para todos m, n 0. Estas s ao as rela c oes de ortogonalidade para os polin omios de Legendre. Para uma outra demonstra ca o, vide Exerc cio E. 14.28, p agina 691. Em muitas situa co es pr aticas e conveniente expressar (14.37) atrav es da mudan ca de vari avel x = cos , com 0 . Ficamos com 2 Pn (cos )Pm (cos ) sen () d = n, m , (14.38) 2n + 1 0 para todos m, n 0. Na Se ca o 34.6, p agina 1680, e demonstrada a importante propriedade de completeza dos polin omios de Legendre no espa co de Hilbert L2 ([1, 1], dx).

Pelas nossas considera co es gerais sobre as f ormulas de Rodrigues da Se ca o 14.1.2, p agina 640, podemos presumir que os polin omios Pm , por serem ortogonais entre si (vide (14.33)), possam ser expressos na forma (14.26) com r(x) = 1, ou seja, dm (1 x2 )m , Pm (x) = Km dxm onde Km s ao constantes que dependem da normaliza ca o adotada. De fato, essa pressuposi ca o e correta pois, escrevendo m ma 2m2a (1 x2 )m = m ( 1) x (bin o mio de Newton) e notando que a=0 a (2m 2a)! m2a x , (m 2a)! = 0, para 0 a m/2 (14.39) para m/2 + 1 a m

F ormula de Rodrigues para os polin omios de Legendre

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 a)!(m 2a)!a!

(1)ma

= (1)m 2m m!

m/2 a=0

2m (m

= (1)m 2m m! Pm (x) . Assim, Km = (1)m /(2m m!) e dm (14.40) (x2 1)m , dxm como pressuposto. Essa express ao e conhecida como f ormula de Rodrigues para os polin omios de Legendre e e v alida para todo m 0, inteiro. Pm (x) = 1 2 m m! De (14.40) outras rela co es u teis podem ser extra das, nosso pr oximo assunto.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

644/2069

Rela co es de recorr encia para os polin omios de Legendre


Pn +1 (x) Pn +1 (x)

Vamos aqui demonstrar as seguintes rela co es v alidas para os polin omios de Legendre:
= (2n + 1)Pn (x) + Pn 1 (x) , = xPn (x) + (n + 1)Pn (x) , = xPn (x) Pn 1 (x) ,

(14.41) (14.42) (14.43) (14.44) (14.45)

nPn (x) (n + 1)Pn+1 (x)

= (2n + 1)xPn (x) nPn1 (x) , Pn (1) = (1)n .

Pn (1) = 1 ,

Todas as rela co es acima t em aplica co es (vimos isso quando provamos as rela co es de ortogonalidade para os Pn s). A rela ca o (14.44) e particularmente interessante por permitir determinar os Pn s recursivamente a partir dos dois primeiros: P0 (x) = 1 e P1 (x) = x. Comecemos por provar (14.41). Como que
Pn +1 (x) d 2 dx (x

1)n+1 = 2(n + 1)x(x2 1)n , segue da f ormula de Rodrigues para Pn+1 1 dn+1 2(n + 1)x(x2 1)n (n + 1)! dxn+1

2n+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) + Pn 1 (x) ,

provando (14.41). Por outro lado, come cando pela primeira linha obtida acima, e usando-se a regra de Leibniz, tem-se
Pn +1 (x)

dn+1 1 x(x2 1)n 2n n! dxn+1 1 2 n 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 (14.42). A rela ca o (14.43) e obtida subtraindo-se (14.42) de (14.41). Por m, para obter (14.44), multiplicamos (14.41) por x e escrevemos (2n + 1)xPn (x) = =
(14.43) xPn +1 (x) xPn1 (x) xPn +1 (x) Pn (x) + Pn (x) xPn1 (x) (n + 1)Pn+1 (x) + Pn (x) xPn 1 (x)

(14.42)

(n + 1)Pn+1 (x) + nPn1 (x) .

Disso (14.44) segue imediatamente.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

645/2069

Por m, vamos provar (14.45) por indu ca o. Como P0 (x) = 1 e P1 (x) = x, as rela co es acima valem para n = 0 e n = 1. Supondo-as v alidas para n 1 e n, teremos por (14.44) que (n + 1)Pn+1 (1) = (2n + 1) n = (n + 1), o que implica 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 demonstra ca o de (14.41)-(14.45). A fun c ao geratriz dos polin omios de Legendre A fun ca o geratriz8 dos polin omios de Legendre e L(x, t) := 1 Pn (x) tn = , 1 2 tx + t2 n=0

(14.46)

v alida para |t| < 1 e |x| 1. Essa rela ca o tem diversas demonstra co es, a mais elegante sendo a seguinte (de [110]). L(x, t) e usando-se (14.44), tem-se Calculando-se t L(x, t) = t
n=1

nPn (x) tn1

(n + 1)Pn+1 (x) tn

n=0 n=0

(14.44)

(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 t2 Pn (x) tn + (x t) Pn (x) tn t n=0 t n=0 n=0 L(x, t) + (x t)L(x, t) . t

= E. 14.5 Exerc cio. Verique! Assim, L(x, t) satisfaz a equa ca o diferencial

(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) e, em princ pio, uma fun ca o arbitr aria. Lembrando, por em, que L(x, 0) = P0 (x) = 1 para todo x, obtem-se de imediato que l(x) = 0 para todo x. Isso estabelece (14.46), como quer amos. Representa co es integrais para os polin omios de Legendre

A bem-conhecida F ormula Integral de Cauchy, arma que, para uma fun ca o f anal tica em um dom nio aberto simplesmente conexo D, vale f (w) n! dw , (14.47) f (n) (z ) = 2i C (w z )n+1
8A

no ca o de fun ca o geratriz foi introduzida na Se ca o 6.1, p agina 256.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

646/2069

onde C e uma curva fechada e diferenci avel no plano complexo dando uma volta em torno de z no sentido anti-hor ario. Essa express ao e conhecida como representa c ao integral de Schl ai9 dos polin omios de Legendre. Uma conseq u encia dessa representa ca o e a seguinte express ao: Pl (z ) = 1 2
l

para todo z D, onde a curva C e uma curva diferenci avel fechada inteiramente contida em D e d a precisamente uma volta no sentido anti-hor ario em torno de z . Combinando a f ormula de Rodrigues e a F ormula Integral de Cauchy, obtem-se imediatamente 1 (w2 1)l Pl (z ) = l+1 dw , (14.48) 2 i C (w z )l+1

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

d ,

(14.49)

v alida para |z | < 1. A demonstra ca o dessa express ao ser a apresentada mais adiante como caso particular de uma identidade mais geral (express ao (14.59), abaixo), v alida para os polin omios de Legendre associados. Como a equa ca o de Legendre e invariante pela mudan ca l (l + 1) (verique que l(l + 1) e levado em si mesmo por essa transforma ca o!), vale tamb em a identidade10 1 1 d . (14.50) Pl (z ) = l+1 2 z + i(1 z 2 )1/2 cos() Para z real no intervalo [1, 1], podemos escrever, como e comum em aplica co es, z = cos() com 0 e com isso 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 bin omio de Newton podemos usar a primeira identidade para escrever Pl (cos()) como um polin omio em cos e sen : Pl (cos()) = 1 2
l p=0

l p i cos() p 2q q

l p

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

14.2.2

Propriedades dos Polin omios de Legendre Associados

Na Se ca o 13.3.1, p agina 616, introduzimos a equa ca o de Legendre associada (13.156) e mostramos que para = l N0 e = m N0 a mesma possui solu co es da forma Plm (z ) := (1 z 2 )m/2 dm Pl (z ) , dz m (14.51)

claro que P m (z ) para z C com |z | < 1, onde Pl e o polin omio de Legendre de grau l. E e nulo se m > l (pois Pl e l um polin omio de grau l). A rela ca o (14.51), como dissemos na Se ca o 13.3.1, dene os chamados polin omios de Legendre associados11 , ainda que eles n ao sejam exatamente polin omios na vari avel z .
Schl ai (18141895). argumento envolvendo a transforma ca o l (l + 1) e ainda incompleto, mas pode-se provar que o lado direito de (14.50) e de fato igual ao esquerdo, pois e regular e satisfaz a equa ca o de Legendre. Deixamos os detalhes como exerc cio. 11 O leitor deve ser advertido que, lastimavelmente, n ao h a uniformidade na literatura quanto ` a deni ca o dos polin omios de Legendre associados. Alguns autores (e.g., [151]) introduzem um fator (1)m no lado direito de (14.51). Assim, algumas das express oes que obtemos aqui podem diferir das correspondentes encontradas em alguns textos e o leitor deve compar a-las cuidadosamente. A deni ca o que seguimos e a recomendada pela American Mathematical Society.
10 Esse 9 Ludwig

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

647/2069

Vimos tamb em que, devido ` a f ormula de Rodrigues para os polin omios de Legendre, podemos escrever Plm (z ) como Plm (z ) = 2l 1 dl+m (1 z 2 )m/2 l+m (z 2 1)l , l! dz (14.52)

para z C com |z | < 1 e 0 m l. L a notamos tamb em que essa express ao faz sentido mesmo para m inteiro negativo, mas tal que l m l. Assim, denimos Plm (z ) =
l m 1 2 m/2 d (z 2 1)l , (1 z ) 2l l ! dz lm

(14.53)

tamb em com 0 m l e para z C com |z | < 1. Armamos que Plm (z ) = (1)m (l m)! m P (z ) . (l + m)! l (14.54)

Essa rela ca o e importante por mostrar que Plm (z ) e tamb em uma solu ca o da equa ca o de Legendre associada, por ser proporcional a Plm (z ). Fora isso a express ao acima e relevante para as chamadas fun co es harm onicas esf ericas, das quais trataremos mais abaixo. Apresentaremos duas demonstra co es de (14.54), ambas instrutivas. Uma a for ca bruta, usando diretamente as deni co es, e desenvolvida no Ap endice 14.A, p agina 692. Uma segunda, mais gentil, ser a vista logo abaixo e usa uma representa ca o integral dos polin omios de Legendre associados. Representa co es integrais para os polin omios de Legendre associados

Nossa inten ca o agora e obter algumas representa co es integrais u teis para os polin omios de Legendre associados mas, en passant, encontraremos uma outra demonstra ca o mais gentil da identidade (14.54).
d 2 l As express oes (14.52) e (14.53) envolvem derivadas do tipo dz k (z 1) para k = l + m e k = l m, respectivamente. k d 2 l Procuremos primeiramente expressar genericamente dz k (z 1) em termos de certas integrais. Tomemos provisoriamente z real no intervalo aberto 1 < z < 1. Pela F ormula Integral de Cauchy (14.47), podemos escrever12
k

dk 2 k! (z 1)l = k dz 2i

(w2 1)l dw , (w z )k+1

(14.55)

onde C e uma curva fechada e diferenci avel no plano complexo, dando uma volta em torno de z no sentido anti-hor ario. 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 = =

ei

ei + ei 2

+ 2iz (1 z 2 )1/2 ei

=
12 As

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

id eias que se seguem provavelmente originam-se dos trabalhos de Schl ai. Nossas fontes s ao [110] e [257], que seguimos com adapta co es.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

648/2069

Assim, dk 2 (z 1)l dz k = k! 2i (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


k+1 z 2 )1/2 ei l

ei d

= (1 z 2 )(lk)/2 e assim,

2 l i l k k ! 2

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


l

ei(lk) d

2 l i l k k ! dk 2 (z 1)l = (1 z 2 )(lk)/2 k dz 2

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

cos (l k ) d ,

(14.56)

pois

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

sen ((l k )) d = 0, pelo fato de o integrando ser uma fun ca o mpar.

Aplicando (14.56) ` as express oes (14.52) e (14.53) de Plm e Plm (adotando k = l + m e k = l m, respectivamente), chegamos a Plm (z ) = Plm (z ) = e comparando-as, extra mos que Plm (z ) = (1)m (l + m)! m P (z ) . (l m)! l (14.57) 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 demonstra ca o de (14.54). As identidades acima foram provadas para z real em 1 < z < 1, mas valem para todo z complexo com |z | < 1 (e mesmo em z = 1), pois l a Plm (z ) e Plm (z ) t em uma extens ao anal tica u nica. Coletemos o que provamos acima. Aplicando (14.55) ` a deni ca o (14.52) de Plm (z ), agora para todo m Z com l m l, chegamos ` a express ao Plm (z ) = (l + m)! (1 z 2 )m/2 2l+1 i l!
C

(w2 1)l dw , (w z )l+m+1

(14.58)

onde C e uma curva fechada e diferenci avel no plano complexo dando uma volta em torno de z no sentido anti-hor ario. Essa express ao generaliza a representa ca o de Schl ai (14.48) para os polin omios de Legendre. Como conseq u encia, estabelecemos tamb em logo acima a representa ca o integral Plm (z ) = im (l + m)! 2l!

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

cos m d ,

(14.59)

Assim como a equa ca o de Legendre, a equa ca o de Legendre associada e invariante pela transforma ca o l (l + 1). Assim, vale tamb em13 Plm (z ) = im l ! 2 (l m)!

v alida para |z | < 1 e para todo l N0 e todo m Z com l m l.

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


l+1

cos m d ,

(14.60)

13 Esse argumento envolvendo a transforma ca o l (l + 1) e ainda incompleto, mas pode-se provar que o lado direito de (14.60) e de fato igual ao esquerdo, pois e regular e satisfaz a equa ca o de Legendre associada. Deixamos os detalhes como exerc cio.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

649/2069

m)! onde acima usamos o fato que (l+ = (l + m)(l + m 1) (l + 1) e levado pela transforma ca o l (l + 1) em l! l! m (1 l + m)(2 l + m) (l) = (1) (l)(l + 1) (l m + 1) = (lm)! .

Em aplica co es e comum tomar-se z real no intervalo [1, 1] e escrever z = cos() com 0 . Com isso, as duas identidades acima cam Plm (cos()) Plm (cos()) = im (l + m)! 2l! im l ! 2 (l m)!

cos() + i sen () cos()


cos m d ,

(14.61)

1 cos() + i sen () cos()


l+1

cos m d .

(14.62)

Atrav es do bin omio de Newton, a primeira identidade pode ser usada para expressar Plm (cos()) como um polin omio em cos e sen : Plm cos() = im (l + m)! 2l!
l

ip
p=0

l p

cos()

l p

sen ()

cos()

cos m d ,

m +| m |

(l + m)! 2 | m| l !

m| l| 2

q=0
m| l| 2

(1)q 22q

l 2 q + |m |

2 q + |m | q

cos()

l2q|m|

sen ()

2q+|m|

m +| m |

(l + m)! 2 | m|

q=0

22q

(1)q (l 2q |m|)! (q + |m|)! q !

cos()

l2q|m|

sen ()

2q+|m|

. (14.63)

tamb em que podemos colocar sen () na somat oria um polin omio em cos().

Note que im+|m| = 1 se m 0 e im+|m| = (1)m se m < 0, de modo que Plm (cos()) e real se 0 . Note
| m|

em evid encia em (14.63) e escrever sen ()

2q

= 1 cos()

2 q

, obtendo

A express ao (14.63) e por vezes utilizada na pr atica para expressar as fun co es harm onicas esf ericas (que deniremos abaixo) como polin omios em cos e sen . Logo adiante faremos uso da mesma no estudo das rela co es de ortogonalidade das fun co es Plm . A fun c ao geratriz dos polin omios de Legendre associados Usando (14.51), (14.46) e a identidade, v alida para m 0,
1 1 (2m)! m dm (1 2tx + t2 ) 2 = m t (1 2tx + t2 )m 2 dxm 2 m!

(prove-a!) e f acil mostrar que

l=0

l Plm +m (x) t =

(2m)! (1 x2 ) 2 , 2m m! (1 2tx + t2 )m+ 1 2

(14.64)

v alida para todo m 0. E. 14.6 Exerc cio. Mostre isso. A express ao (14.64) e tamb em denominada fun c ao geratriz dos polin omios de Legendre associados. A express ao (14.64) tem poucas aplica co es diretas, mas pode ser usada para demonstrar outras rela co es sobre os polin omios de Legendre associados.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

650/2069

Rela co es de recorr encia para os polin omios de Legendre associados Plm+1 (x)
+1 Plm +1 (x)

Os polin omios de Legendre associados satisfazem uma s erie de rela co es de recorr encia. Listemos as mais relevantes: = 2mx Plm (x) l(l + 1) m(m 1) Plm1 (x) , 1 x2

+1 = (2l + 1) 1 x2 Plm (x) + Plm 1 (x) , 1 m1 = (l + m)(l + m 1)Plm 1 (x) (l m + 1)(l m + 2)Pl+1 (x) , m = (l + m)Plm 1 (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 demonstra co es podem ser obtidas da seguinte forma: 1. a partir das rela co es de recorr encia dos polin omios de Legendre (14.41)-(14.45) com uso da deni ca o (14.51); 2. a partir de (14.52) ou, em alguns casos, 3. com o uso da fun ca o geratriz (14.64). Deixamos as demonstra co es como exerc cio. Prove todas as rela co es acima. Sugest ao: tente por conta pr opria seguir as sugest oes do ultimo E. 14.7 Exerc cio. par agrafo. Sen ao, consulte a literatura supracitada, mas com as seguintes precau co es: a. diferentes textos apresentam deni co es diferentes dos Plm , o que conduz a rela co es de recorr encia distintas das de acima; b. nem todos os livros-texto14 provam todas as rela co es e c. alguns cont em erros. Rela co es de ortogonalidade para os polin omios de Legendre associados

Obteremos agora rela co es de ortogonalidade para os polin omios de Legendre associados, rela co es essas de grande import ancia na An alise Harm onica e que inspiram a deni ca o das chamadas fun co es harm onicas esf ericas. A equa ca o de Legendre associada (13.156) e considerada na maioria das aplica co es no intervalo [1, 1], como j a mencionamos. A mesma, em analogia com a equa ca o de Legendre, pode ser escrita como ((1 x2 )y (x)) + l(l + 1)y (x) m2 y (x) = 0 , 1 x2 (14.65)

onde aqui j a nos restringimos ao caso l N0 , m Z com l m l. Como se v e, temos aqui p(x) = (1 x2 ), mas 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) =

Analisaremos essas duas op co es em separado. O caso 1 e o mais interessante, especialmente devido a sua aplica ca o para as fun co es harm onicas esf ericas. O caso 2 n ao e de grande interesse e o leitor pode dispensar sua leitura, se o desejar15 . Caso 1) A primeira quest ao que aqui se coloca e se a condi ca o (14.23) e satisfeita para fun co es Plm (x) e Plm (x) com l l , ou seja, se
m m p(x) Plm (x) (Plm (x)) Pl (x) (Pl (x)) 1

1 , 1 x2

= m2 .

com l l . A maneira mais f acil de discutir isso e escrever x = cos() e, como

= 0,

(14.66)

d m 1 d m P (x) = P (cos ), dx l sen () d l


14 Segundo o Houaiss, livros-textos ou livros-texto s ao dois plurais gramaticalmente corretos para livro-texto, assim como espa costempos e espa cos-tempo s ao plurais aceit aveis para espa co-tempo. 15 O caso 2 e um tanto patol ogico (pois a fun ca o r (x) diverge em 1 e n ao e integr avel) e e evitado por quase todos os livros-texto.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

651/2069

e p(x) = sen ()2 , (14.66) ca sen () Plm (cos ) d m d m Pl (cos ) Plm P (cos ) (cos ) d d l
= =0

(14.67)

d Plm (cos ). Logo, ambos s ao nitos Agora, por (14.63), Plm (cos ) e um polin omio trigonom etrico, e assim o e tamb em d em = 0 e = . Como, por em, sen anula-se nesses extremos, conclu mos que (14.67) e nula, conrmando a validade de (14.23) no caso em quest ao. Conclu mos assim, pelo Teorema 14.1, p agina 638, que deve valer 1 1

Plm (x) Plm (x) dx = 0

(14.68)

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 (14.54) e as express oes (14.52) e (14.53) para Plm e Plm , respectivamente, escrevemos
1 1

1 0 2 (P0 ) 1

dx = 2. Para calcular

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)!


l m
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 integra ca o por partes l m vezes. Isso e justicado pois, como facilmente se v e por indu c ao, dp 2 l 2 l p ( x 1) , com 0 p < l s a o proporcionais a ( x 1) e, por isso, os termos de fronteira se anulam. derivadas como dx p l)! (2l)!! l Na u ltima passagem usamos o fato que (2(2 ultima passagem usamos a l+1)!! = 2l+1 e o fato que (2l )!! = 2 l !. Na pen identidade 1 (2l)!! (1 x2 )l dx = 2 , (14.69) (2 l + 1)!! 1 a qual pode ser provada da seguinte forma. Seja Al :=
1 1 1 (1 1

x2 )l dx. Ent ao, para l > 0,

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 (14.69).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

652/2069

Demonstramos, assim, as rela co es de ortogonalidade


1 1

Plm (x) Plm (x) dx =

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

(14.70)

por vezes u v alidas para todo l, l N0 e m, m Z com l m l e l m l . E til expressar essas rela co es com a mudan ca de vari aveis x = cos :
0

Plm (cos ) Plm (cos ) sen d =

(l + m)! 2 l, l . 2l + 1 (l m)!

(14.71)

Essa forma das rela co es de ortogonalidade dos polin omios de Legendre associados ser a particularmente relevante para as fun co es harm onicas esf ericas, como veremos adiante. ao que aqui se coloca e se a condi ca o (14.23) e satisfeita para fun co es Plm (x) e Plm (x), com Caso 2) A primeira quest 2 |m| = |m | (lembre-se o leitor que = m e, portanto = equivale a |m| = |m |), ou seja, se p(x) Plm (x) Plm (x)

Plm (x) (Plm (x))

1 1

= 0.

(14.72)

sempre que |m| = |m |. A mesma an alise feita para o caso 1 mostra que isso e verdadeiro, conrmando a validade de (14.23) no caso em quest ao. Conclu mos assim, pelo Teorema 14.1, p agina 638, que deve valer
1 1

Plm (x) Plm (x)

1 dx = 0, 1 x2

ou seja,
0

Plm (cos ) Plm (cos )

1 d = 0, sen ()

(14.73)

sempre que |m| = |m |. A express ao (14.63) ensina-nos que Plm (cos ) e proporcional a ( sen )|m| . Logo, como |m| = |m |, 1 m m sempre haver a no produto Pl (cos )Pl (cos ) pelo menos um fator sen para compensar o sen , o que mostra que o integrando em (14.73) e limitado. O caso |m | = |m| e um tanto patol ogico (a integral diverge se m = m = 0), dif cil de demonstrar e sem conseq u encias pr aticas relevantes, de modo que nos limitamos a apresentar o resultado nal16 : 0, se |m | = |m|, , 1 se m = m = 0, 1 m m Pl (x) Pl (x) (14.74) dx = (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 condi ca o m > 0 s o pode ocorrer se l > 0. Como j a dissemos, as rela co es (14.74) s ao menos importantes na pr atica que as de (14.70). Essas inspiram uma deni ca o importante: a das fun co es harm onicas esf ericas.

14.2.2.1

As Fun c oes Harm onicas Esf ericas

No espa co Rn , n 2, o conjunto de pontos que distam de uma unidade da origem formam a assim chamada esfera 17 unit aria , denotada por Sn1 : Sn1 := (x1 , . . . , xn ) Rn (x1 )2 + + (xn )2 = 1 .

O conjunto S1 R2 e o c rculo unit ario e seus pontos podem ser descritos por um u nico angulo com : S1 :=
16 Para 17 H a

cos , sen R2 , .

uma refer encia mais detalhada, vide [166], pag. 74. aqui um abuso de linguagem, pois Sn1 e, estritamente falando, a superf cie da esfera.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

653/2069

Como se v e, os pontos correspondentes a = s ao identicados. O conjunto S2 R3 e a esfera unit aria e seus pontos podem ser descritos por dois angulos: e , com e 0 : S2 := sen () cos(), sen () sen (), cos() R3 , , 0 .

Novamente, os pontos correspondentes a = s ao identicados e para os pontos correspondentes a = 0 e = o angulo e indeterminado. As chamadas Fun c oes Harm onicas Esf ericas, ou simplesmente Harm onicas Esf ericas (ou ainda Harm onicos Esf ericos), s ao as fun co es denidas por Ylm (, ) := (1)m 2l + 1 (l m)! m P (cos()) eim , 4 (l + m)! l (14.75)

onde 0 , , l N0 e m Z com l m l. Note-se que Yl0 (, ) = 2l + 1 Pl (cos()) , 4 (14.76)

onde Pl s ao os polin omios de Legendre. As fun co es harm onicas esf ericas foram introduzidas por Mehler18 . Mais uma vez o leitor deve ser advertido da exist encia de outras conven co es sobre a deni ca o das fun co es harm onicas esf ericas. Essas fun co es s ao empregadas em diversas areas de pesquisa, como na F sica At omica, no Eletromagnetismo, na Geof sica, na Geodesia, na Sismologia, no estudo do magnetismo terrestre e planet ario e, mais modernamente, na Cosmologia, no estudo da radia ca o c osmica de fundo. Assim, diferentes comunidades empregam por vezes conven co es diferentes quanto ` a normaliza ca o das fun co es harm onicas esf ericas. A que adotamos e a mais freq uentemente empregada na F sica Qu antica, mas mesmo l a h a excess oes: alguns autores substituem o fator (1)m por im na deni ca o (14.75). m Outros n ao incluem o fator (1) na deni ca o das fun co es harm onicas esf ericas, mas sim na deni ca o dos polin omios de Legendre associados o que, anal, resulta no mesmo. O fator de fase (1)m , que adotamos em (14.75) e denominado fase de Condon-Shortley19 em refer encia aos autores de um texto cl assico sobre espectros at omicos (ref. [46]). As fun co es harm onicas esf ericas s ao solu ca o da equa c ao diferencial parcial 1 sen ( sen ) Y 2Y 1 (, ) + l(l + 1)Y (, ) = 0 , (, ) + ( sen )2 2 (14.77)

que e encontrada quando da resolu ca o da equa ca o de Helmholtz ou de Laplace em tr es dimens oes em coordenadas esf ericas, assim como no problema do atomo de hidrog enio na Mec anica Qu antica ou qualquer outro problema qu antico em tr es dimens oes no qual o potencial seja esfericamente sim etrico. Vide equa ca o (19.45) e seguintes. um exerc E cio relevante vericar que, devido a ` rela ca o (14.54), tem-se, com a deni ca o acima, Ylm (, ) = (1)m Ylm (, ) . As primeiras fun co es harm onicas esf ericas s ao 1 , Y00 (, ) = 4 Y11 (, ) =
2 Y2 = 15 32 sen 2 2i e ,

(14.78)

(14.79) Y11 (, ) =
1 2 , 1 Y2 = 15 8

3 sen ei , 8
1 Y2 = 15 8

Y10 (, ) =
0 Y2 = 5 4

3 cos , 4
3 2 cos 2

3 sen ei , 8
2 Y2 = 15 32 sen

(14.80)
2 2i e . (14.81)

i sen cos e ,

i sen cos e ,

Rela c ao com s eries de Fourier

No c rculo unit ario S1 valem as bem-conhecidas rela co es de ortogonalidade

em em dl =
S1
18 Gustav 19 Edward

em () em () d = m, m

(14.82)

Ferdinand Mehler (18351895). Uhler Condon (19021974). George H. Shortley (??).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

654/2069

onde, para m Z,

1 eim , em () := 2

dl = d sendo a medida de comprimento do c rculo unit ario S1 . Usando as rela co es de ortogonalidade (14.82) e as rela co es de ortogonalidade (14.71), e f acil constatar que Ylm Ylm d =

S2

Ylm (, ) Ylm (, ) sen () d d = m, m l, l

(14.83)

para todos l, l N0 e todos m, m Z com l m l e l m l, onde d = sen () d d e a medida de area na esfera unit aria S2 em coordenada polares. Essas s ao as rela c oes de ortogonalidade das fun c oes harm onicas esf ericas, as quais desempenham um relevante papel na resolu ca o de problemas envolvendo certas equa co es diferenciais parciais em tr es dimens oes que tenham simetria esf erica. As fun co es harm onicas esf ericas surgem na importante solu ca o de um problema fundamental da Mec anica Qu antica, o problema do atomo de hidrog enio. As formas dos orbitais eletr onicos, de import ancia fundamental no estudo de atomos e mol eculas e suas liga co es qu micas, est ao intimamente relacionadas as fun ` co es Ylm (, ) e aos polin omios de Laguerre associados. Como se percebe da compara ca o de (14.82) com (14.83), as fun co es harm onicas esf ericas desempenham na esfera unit aria S2 o mesmo papel que as fun co es em desempenham no c rculo S1 : formam um conjunto ortonormal em rela ca o a medida de ` area d = sen () d d. Assim como as fun co es em formam um conjunto ortonormal completo para as fun co es denidas em S1 , o que nos permite expressar fun co es f (), peri odicas de per odo 2 , cont nuas por partes ou apenas de quadrado integr avel, em termos de uma s erie de Fourier: f () =
m=

cm em ()

com

cm :=

em () f () d ,

as fun co es harm onicas esf ericas tamb em formam um conjunto ortonormal completo para as fun co es denidas em S2 . 2 Assim, em um sentido a ser precisado, todas as fun co es f (, ) denidas em S , e que sejam cont nuas por partes ou apenas de quadrado integr avel, podem ser escritas em termos de uma s erie envolvendo fun co es harm onicas esf ericas. Essa s erie e dada por f (, ) =
l

cl, m Ylm (, ),

com

cl, m :=

Ylm (, ) f (, ) sen () d d ,

l=0 m=l

e e uma esp ecie de generaliza ca o para a esfera S2 da s erie de Fourier. Essas considera co es justicam a denomina ca o de fun co es harm onicas esf ericas para as fun co es Ylm . As fun co es harm onicas esf ericas tamb em desempenham um papel na teoria de representa co es do grupo SO(3). H a tamb em generaliza co es das fun co es harm onicas esf ericas para as esferas Sn com n 3. Essas generaliza co es s ao estudadas, por exemplo, em [110]. A paridade das fun co es harm onicas esf ericas

Vamos determinar a forma como as fun co es harm onicas esf ericas transformam-se pela invers ao de paridade. Com a transforma ca o , temos cos() cos() e sen () sen (). Com isso, vemos imediatamente de (14.63) que Plm cos( ) = (1)l|m| Plm cos() .

A transforma ca o que leva cada vetor x R3 no vetor x R3 e freq uentemente denominada opera c ao de paridade ou invers ao de paridade ou troca de paridade. Trata-se, evidentemente, de uma reex ao em torno da origem. No contexto da Mec anica Qu antica e importante estudar como fun co es de onda transformam-se por tal reex ao. Para coordenadas esf ericas (r, , ) a invers ao de paridade e a transforma ca o (r, , ) (r, , + ). Verique!

Ao mesmo tempo, e claro que eim(+) = (1)m eim . Segue desses dois fatos e da deni ca o (14.75) das fun co es harm onicas esf ericas que Ylm , + = (1)l Ylm (, ) , (14.84) pois |m| + m e sempre um n umero par (igual a 0 ou a 2m, caso m seja positivo ou negativo, respectivamente). A express ao (14.84) indica a forma como as fun co es harm onicas esf ericas transformam-se por troca de paridade.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

655/2069

14.2.2.2

F ormula de Adi c ao de Fun c oes Harm onicas Esf ericas

Oa polin omios de Legendre e as fun co es harm onicas esf ericas possuem uma propriedade especial utilizada na Eletrost atica (na chamada expans ao de multipolos, vide p agina 657) e na Mec anica Qu antica, o chamado teorema de adi c ao de fun c oes harm onicas esf ericas, ou f ormula de adi c ao de fun c oes harm onicas esf ericas. No que segue apresentaremos a demonstra ca o dessa propriedade. Come camos com uma observa ca o sobre o operador Laplaciano. Invari ancia por rota co es do Laplaciano
x1 x2 x3

Consideremos um sistema de coordenadas Cartesianas em R3 onde cada ponto do espa co e descrito por uma tripla denidas em rela ca o a um sistema de coordenadas ortonormais x , y e z . Por uma rota ca o desse sistema de
x 1 x 2 x 3

coordenadas, as coordenadas de cada ponto do espa co s ao transformadas segundo

= R

x1 x2 x3 3

, onde R e uma Rij xj . Note que

matriz ortogonal, ou seja, satisfazendo RT R = RRT = . Assim, para cada i = 1, 2, 3 vale x i =


j =1 x

para todos a e b vale x a = Rab , que s ao constantes. Com isso, e f acil ver que o operador Laplaciano em coordenadas b Cartesianas e invariante por rota co es. De fato,
3

=
k=1

2 = x2 k

k=1 l=1

x l xm xk xk xl x m m=1

=
k=1 l=1 m=1 3 3

Rlk Rmk
3

x l xm x l xm

=
l=1 m=1 3 3 k=1

T Rlk Rkm

=
l=1 m=1 3 3

RRT

lm

x l xm
3

=
l=1

lm = x l xm m=1

l=1

2 2 = , x l

como quer amos provar. O operador Laplaciano pode ser escrito em coordenadas esf ericas como = 1 r2 r r2 r + 1 2 L , r2 1 sen onde L2 := 1 sen ( sen ) + 1 2 . 2 ( sen ) 2 (14.85)

Como a coordenada radial e invariante por rota co es, conclu mos que L2 = (L2 ) , ou seja, ( sen ) + 1 2 1 = 2 ( sen ) 2 sen ( sen ) + 1 2 . 2 ( sen ) 2

Acima e s ao os angulos polares em rela ca o aos eixos denidos por z ez , respectivamente, e e s ao os correspondentes angulos azimutais. O estudante familiarizado com a Mec anica Qu antica h a de perceber que o uso da nota ca o L2 para denotar a parte angular do operador Laplaciano prov em da forma do operador momento angular orbital (ao quadrado) em coordenadas esf ericas de um sistema composto por uma part cula. Para o que segue o estudante deve recordar tamb em que, segundo (14.77) (vide tamb em a equa ca o (19.45) e seguintes, p agina 856), as fun co es harm onicas esf ericas satisfazem L2 Ylm (, ) = l(l + 1)Ylm (, ). F ormula de adi c ao de fun co es harm onicas esf ericas

Sejam n en dois versores em R3 . Suas coordenadas Cartesianas em rela ca o a algum sistema de refer encia ortogonal denido por tr es versores x , y ez podem ser escritas em termos dos angulos polar e azimutal de um sistema de coordenadas esf ericas obtidas da maneira usual a partir do eixo denido por z como n := sen () cos(), sen () sen (), cos() e n := sen ( ) cos( ), sen ( ) sen ( ), cos( ) .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

656/2069

Seja o angulo entre as dire co es que estes vetores denem, de sorte que n n = cos . Naturalmente, escrevendo explicitamente o produto escalar n n em termos das componentes de n en , obtemos cos = cos cos + sen sen cos ( ) , express ao essa que relaciona aos angulos , , e . Se realizarmos uma rota ca o do sistema de coordenadas de modo a fazer o versor n coincidir com o novo eixo z , as coordenadas que descrever ao o vetor n ser ao (0, 0, 1) e, como o angulo entre n en e preservado, as coordenadas que descrever ao o vetor n ser ao sen ( ) cos( ), sen ( ) sen ( ), cos( ) . Denotamos por (L2 ) o operador diferencial denido em (14.85) referente ` as coordenadas e e por (L2 ) corres pondente o operador diferencial referente ` as coordenadas e . Como mencionamos acima, a invari ancia do Laplaciano por rota co es de sistemas de coordenadas implica (L2 ) = (L2 ) . Sendo uma fun ca o cont nua de e , a fun ca o Pl (cos ) = Pl cos cos + sen sen cos ( ) desenvolvida em s erie de fun co es harm onicas esf ericas Pl (cos ) =
n m cnm (, ) Yn ( , )

pode ser

(14.86)

n=0 m=n

mas s o comparecem acima termos com n = l, a saber, tem-se


l

Pl (cos ) =
m = l

clm (, ) Ylm ( , ) .

(14.87)

Para provar (14.87) notamos que Pl (cos ) satisfaz (L2 ) Pl (cos ) = l(l + 1)Pl (cos ) pois, devido a (14.76), tem-se Pl (cos ) =
4 0 2l+1 Yl ( ,

). Dessa forma,

n m cnm (, ) Yn ( , ) = l(l + 1)Pl (cos ) = (L2 ) Pl (cos ) = (L2 ) Pl (cos )

l(l + 1)

n=0 m=n n m cnm (, ) (L2 ) Yn ( , ) = n m cnm (, ) n(n + 1)Yn ( , ) .

= Assim, estabelecemos que

n=0 m=n n

n=0 m=n

n=0 m=n

m l(l + 1) n(n + 1) cnm (, ) Yn ( , ) = 0 ,

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 solu ca o para n da equa ca o n(n + 1) l(l + 1) = 0 e n = l 1, que e negativa e, portanto, deve ser descartada). Isso estabeleceu (14.87). De maneira totalmente an aloga e poss vel estabelecer que
l

Ylm ( , ) =
q = l

q am lq (, ) Yl ( , ) .

(14.88)

Por (14.86) e usando as rela co es de ortogonalidade das fun co es harm onicas esf ericas, temos clm (, ) = Pl (cos ) Ylm ( , ) d
4 0 2l+1 Yl ( , (14.88) l

am lq (, )
q = l

Pl (cos ) Ylq ( , ) d .

Lembrando por (14.76) que Pl (cos ) = esf ericas, obtemos,

) e usando as rela co es de ortogonalidade das fun co es harm onicas 4 am (, ) . 2 l + 1 l0 (14.89)

clm (, ) =

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

657/2069

No caso em que n =n tem-se, naturalmente, = e = , mas tamb em tem-se = 0. A express ao (14.88) arma, ent ao, que
l

Ylm (, Agora, pela deni ca o (14.75), vale

) =
q = l

q am lq (, ) Yl (0, ) .

Ylq (0, ) = (1)q

2l + 1 4

(l q )! q Pl (1) eiq . (l + q )!

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 (14.89), obtemos clm (, ) = 4 Y m (, ) , 2l + 1 l


l

Portanto, obtemos por (14.86) Pl (cos ) = 4 2l + 1 Ylm (, ) Ylm ( , ) .


m = l l

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

(14.90)

Esta e a chamada f ormula de adi c ao das fun c oes harm onicas esf ericas ou teorema de adi c ao das fun c oes harm onicas esf ericas. Note que (14.90) arma tamb em que
l

Pl (cos ) =
m = l

(l m)! m Pl (cos ) Plm (cos ) eim( ) , (l + m)!

(14.91)

ou seja, Pl (cos ) = Pl (cos ) Pl (cos ) + 2 (l m)! m Pl (cos ) Plm (cos ) cos m( ) . ( l + m )! m=1
l

(14.92)

Para o caso em que = e = tem-se = 0 e a rela ca o (14.90) informa que


l

m = l

|Ylm (, )|

2l + 1 , 4

(14.93)

rela ca o esta v alida para todos e . Essa rela ca o e por vezes denominada regra de soma de quadrados de fun c oes harm onicas esf ericas. Aplica c ao ` a Eletrost atica. Expans ao de multipolos

Apresentaremos aqui uma aplica ca o da f ormula de adi ca o de harm onicos esf ericos ` a Eletrost atica.

Sejam x e x dois vetores em R3 cujas componentes Cartesianas escritas em termos de um sistema de coordenadas esf ericas sejam x = r sen () cos(), r sen () sen (), r cos() e 1 r x = r sen ( ) cos( ), r sen ( ) sen ( ), r cos( ) . Naturalmente, para x = x vale

1 12 12
r r

1 x x

1 x
2

x 2

2x

cos 1

r 2 r

, ,

se r < r , se r < r ,

1 r

r r

cos +

r 2 r

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

658/2069

onde eo angulo entre x e x (de sorte que x x = rr cos ). Usando a express ao (14.46), p agina 645, a f ormula l=0 1 = x x
l=0

da fun ca o geratriz dos polin onios de Legendre, escrevemos se r < r ,

rl Pl (cos ) , rl+1

rl rl+1

Pl (cos ) ,

se r < r .

O interesse na express ao acima reside no fato de que as contribui co es de x e x ocorrem de forma fatorizada em cada termo das somas em l e m (os fatores entre par enteses). Vams agora aplicar as express oes acima ` a Eletrost atica (como refer encias gerais citamos [119], [85] ou [212]). Seja dada uma distribui ca o de cargas (x ) e vamos supor que ao potencial el etrico (x) n ao e imposta nenhuma condi ca o tem por solu c a o de contorno, exceto anular-se no innito. Sabemos que em tal caso a equa ca o de Poisson20 = 0 1 (x ) (x) = d3 x se decair a zero sucientemente r apido no innito. 40 x x Se tiver suporte compacto, de forma que para algum R > 0 tenha-se (x ) = 0 para todo x com x > R, ent ao para todo x satisfazendo x > R podemos usar (14.94) (para o caso r < r) e escrever (x) = onde Qlm := (x ) rl Ylm ( , ) d3 x =
0 0 0 2

Podemos agora fazer uso da f ormula de adi ca o (14.90) e obter l 1 Ylm (, ) l m ( , ) r , 4 Y l 2l + 1 rl+1 l=0 m=l 1 = x x l Ylm ( , ) 1 rl Ylm (, ) , 4 2l + 1 rl+1
l=0 m=l

se r < r , (14.94) se r < r .

1 0

l=0 m=l

Qlm 2l + 1

Ylm (, ) rl+1

(14.95)

(r , , ) (r )l+2 Ylm ( , ) sen d d dr .

(14.96)

A expans ao (14.95) e denominada expans ao de multipolos para o potencial . Os coecientes Qlm dados em (14.96) s ao denominados momentos de multipolo. Usando que Y00 =
Q 1 00 0 4 r
total (x ) d3 x = Q , sendo Qtotal a carga total da distribui ca o . Percebemos sendo que, por (14.96), Q00 = 1 4 4 21 que o primeiro termo da expans ao de multipolos corresponde ` a bem-conhecida Lei de Coulomb e podemos assim compreender os demais como sendo corre co es a essa lei para distribui co es de carga gerais .

1 , 4

vemos que primeiro termo da expans ao de multipolos (correspondente ao termo com l = 0) e

Mais detalhes sobre usos da expans ao de multipolos na Eletrost atica podem ser encontrados em bons livros de Eletromagnetismo (e.g. [119], [85] ou [212]).

14.2.3

Propriedades dos Polin omios de Hermite

Rela co es de ortogonalidade para os polin omios de Hermite A equa ca o de Hermite ex y (x)


20 Sim eon 21 Charles
2

+ ex y (x) = 0 e tipicamente considerada no intervalo J = (, ). Aqui

Denis Poisson (17811840). Augustin de Coulomb (17361806).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

659/2069

p(x) = ex , q (x) = 0, r(x) = ex e = . Note que p(x) > 0 e r(x) > 0 em todo J = (, ). Os polin omios de Hermite Hm (x) foram denidos22 em (13.20) por Hm (x) :=
m/2 k=0

(1)k m! (2x)m2k . k ! (m 2k )!

(14.97)

Como p(x) decai a zero para x e os Hm (x) s ao polin omios, vale para os polin omios de Hermite a rela ca o (14.23) e conclu mos pelo Teorema 14.1 que

onde m/2 e o maior inteiro menor ou igual a m/2, e s ao solu co es da equa ca o de Hermite com = 2m.

Hn (x)Hm (x) ex dx = 0

(14.98)

para todo n = m, com m, n = 0, 1, 2, 3, . . .. Para calcular as integrais acima no caso n = m, podemos elegantemente usar as rela co es Hn+1 (x) = 2xHn (x) 2nHn1 (x) , (14.99) as quais ser ao provadas mais abaixo (express ao (14.106)). Seja An := 2nAn1 =
(14.99) (Hn (x))2

ex dx. Tem-se que

2nHn1 (x) Hn1 (x) ex dx 2xHn (x) Hn1 (x) ex dx


2

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


=0

por

(14.98)

=
(14.99)

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


2

Hn (x) Hn2 (x) ex dx


=0

por

(14.98)

An .
2 ex dx

Logo, An = (2n)An1 , ou seja, An = (2n)!! A0 = 2n n! A0 . Como A0 =


, conclu mos que (14.100)

2 Hn (x)Hm (x) ex dx = 2n n! n, m ,

para todos m, n 0. Estas s ao as rela c oes de ortogonalidade dos polin omios de Hermite.

Na Se ca o 34.6, p agina 1680, e demonstrada a importante propriedade de completeza dos polin omios de Hermite no 2 espa co de Hilbert L2 (R, ex dx). A fun c ao geratriz exponencial dos polin omios de Hermite

Vamos aqui considerar a fun ca o geratriz exponencial dos polin omios de Hermite e provar que a mesma satisfaz
2 Hn (x) n t = e2xtt . n! n=0

(14.101)

22 Advert encia. Nestas notas usamos a chamada deni ca o f sica dos polin omios de Hermite. H a uma outra conven ca o, usada especialmente na Teoria das Probabilidades, que difere da deni ca o usada em F sica por um fator constante e por um reescalonamento do argumento. O leitor deve, por isso, ter cuidado ao comparar nossas express oes com outras usadas em textos da Teoria das Probabilidades.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

660/2069

Usando-se diretamente (14.97) 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 (2 m )! (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

e t

= como quer amos provar.

e2xtt ,

Pelas nossas considera co es gerais sobre as f ormulas de Rodrigues, podemos presumir que os polin omios Hm , por serem 2 ortogonais entre si (vide (14.98)), possam ser expressos na forma (14.30) com r(x) = ex , ou seja, Hn (x) = Kn ex
2

F ormula de Rodrigues para os polin omios de Hermite

dn x2 e , dxn

onde Km s ao constantes que dependem da normaliza ca o adotada. De fato, essa pressuposi ca o e correta pois, multiplicando 2 (14.101) por ex , obtem-se e(xt) =
2

Hm (x)ex m t . m! m=0

(14.102)

Encarando o lado direito como a expans ao em s erie de Taylor em t, em torno de t = 0, da fun ca o do lado esquerdo, conclu mos que 2 dn (xt)2 e , Hn (x)ex = dtn t=0 para todo n 0. Com a mudan ca de vari avel u = x t, Hn (x)ex Assim,
2

d dt

d = du , camos com

= (1)n

dn u2 e dun

u=x

= (1)n

dn x2 e . dxn

dn x2 e , dxn para todo n 0. Essa e a f ormula de Rodrigues dos polin omios de Hermite. Hn (x) = (1)n ex
2

(14.103)

co es de ortogonalidade (14.100) usando a rela c ao (14.103), a rela c ao (14.97) e integra c ao E. 14.8 Exerc cio. Prove as rela por partes.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

661/2069

Rela co es de recorr encia para os polin omios de Hermite

Tomando-se a derivada em x de (14.103), e elementar constatar que


Hn (x) = 2xHn (x) Hn+1 (x) .

(14.104)

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


2 2

dn+1 x2 e dxn+1 dn dxn d x 2 e dx

=
Leibniz

2 dn xex n dx

n p=0

n p

dp x dxp

dnp x2 e dxnp

= =

2 dn dn1 x 2 e e x + n n n 1 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 tamb em para n = 0. Reunindo isso com (14.104), somos conduzidos a Hn (x) = 2nHn1 (x), n 0. Resumindo, obtemos as seguintes rela co es:
Hn (x)

= = =

2xHn (x) Hn+1 (x) , 2xHn (x) 2nHn1 (x) , 2nHn1 (x) ,

(14.105) (14.106) (14.107)

Hn+1 (x)
Hn (x)

v alidas para todo n 0. Estas express oes s ao bastante u teis. A rela ca o (14.106), por exemplo, permite obter recursivamente todos os Hn s a partir de H0 (x) = 1 e H1 (x) = 2x. Segue facilmente de (14.107) que para a p- esima devivada de Hn tem-se
(p) Hn (x) = 2p

n! Hnp (x) (n p)!

(14.108)

para todo p {0, . . . , n}. Verique! Essa rela ca o tem a seguinte conseq u encia: usando-se a expans ao em s erie de Taylor, segue que Hn (x + y ) = e, portanto, Hn (x + y ) =
p=0 p=0

1 (p) H (x)y p = p! n

n p=0

1 (p) H (x)y p p! n
n

(14.108)

n p=0

1 p n! 2 Hnp (x)y p p! (n p)! (14.109)

n Hnp (x) (2y )p , p

v alida para todos x e y C e n N0 .

14.2.3.1

As Fun c oes de Hermite


2

As chamadas fun c oes de Hermite s ao denidas por hn (x) := cn Hn (x)ex


/2

(14.110)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

662/2069

com x N, n N0 e onde

cn :=

1 . 2 n n!

Como podemos aprender na Se ca o 19.7, p agina 907, essas fun co es s ao as auto-fun co es normalizadas do operador Hamiltoniano para o oscilador harm onico unidimensional. De acordo com (14.100), essas fun co es satisfazem

hn (x)hm (x) dx = n,m

(14.111)

para todos n, m N0 , como facilmente se verica. Na Se ca o 34.6.2, p agina 1682, aprendemos tamb em que essas fun co es formam uma base ortonormal completa no espa co de Hilbert L2 (R, dx). E. 14.9 Exerc cio. Usando as rela co es (14.105)(14.107) e a deni c ao (14.110), obtenha as rela co es h n (x) n + 1 hn+1 (x) h n (x) = x hn (x) = = 2(n + 1) hn+1 (x) , (14.112) (14.113) (14.114)

2 x hn (x) n hn1 (x) , 2n hn1 (x) x hn (x) ,

para todo n 0. De (14.112) e (14.114) obtenha tamb em h n (x) = n hn1 (x) 2 n+1 hn+1 (x) . 2 (14.115)

Usando a f ormula de Rodrigues (14.103) para os polin omios de Hermite Hn , podemos escrever hn (x) = (1)n cn ex
2

/2

dn x2 e . dxn

(14.116)

muito f Essa f ormula pode ser reescrita de uma forma que e mais conveniente para certos prop ositos. E acil perceber que se f e uma fun ca o innitamente diferenci avel, vale ex
2

/2

d f (x) = dx

d x dx

ex

/2

f (x) .

Verique! Assim, tem-se a seguinte rela ca o operatorial: ex que nos permite escrever ex Hermite:
2 2

/2

d = dx

2 d x e x /2 dx

/2 d n dxn

d dx

n x 2 /2

. Com isso obtemos a f ormula de Rodrigues para as fun c oes de d dx


n

hn (x) = cn x

e x

/2

(14.117)

Na Se ca o 35.2.1.4, p agina 1724, provamos que as fun co es de Hermite s ao auto-fun co es da transformada de Fourier, a saber, que vale F[hn ] = (i)n hn . para todo n N0 . *

v alida para todo n N0 . A rela ca o (14.117) pode ser tamb em demonstrada por indu c ao a partir de (14.112). Fa ca-o!

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

663/2069

Em livros de Mec anica Qu antica o estudante poder a aprender que algumas das propriedades dos polin omios de Hermite e das fun co es de Hermite que obtivemos acima podem ser provadas com o uso dos chamados operadores de cria ca o e aniquila ca o. Outras propriedades das fun co es de Hermite. A f ormula de Mehler

Vamos demonstrar mais algumas identidades u teis a respeito de fun co es de Hermite e polon omios de Hermite23 . Nosso ponto de partida e a rela ca o 2 2 1 e x = es +2isx ds . (14.118) Essa identidade pode ser facilmente demonstrada por integra ca o complexa. Neste texto s ao apresentadas outras demonstra co es da mesma, por exemplo, na Proposi ca o 35.8, p agina 1718, e no Exerc cio E. 35.39, p agina 1782. Usando (14.118) em (14.116), obtemos (2i)n cn ex hn (x) =
2

/2

sn e s

+2isx

ds .

(14.119)

e permitido diferenciar (14.118) sob o s mbolo da integral. Algum conhecimento da E. 14.10 Exerc cio. Justique por que teoria das Trasformadas de Fourier pode ajudar. Vide Se c ao 35.2, p agina 1711. A express ao (14.119) e uma representa c ao integral das fun c oes de Hermite. Para os polin omios de Hermite ela signica Hn (x) = (2i)n ex
2

sn e s

+2isx

ds ,

(14.120)

que e uma representa c ao integral dos polin omios de Hermite. Por motivos que revelaremos adiante, vamos agora considerar a express ao U (x, x, z ) :=
n=0

hn (x) hn (y ) z n

(14.121)

com x, y R e z C com |z | < 1. Antes de prosseguirmos, fa camos um breve coment ario sobre a converg encia dessa s erie. Temos por (14.119) que 2 n cn e x |hn (x)| 2
2

/2 0

sn es ds

(7.17)

2n/2 n+1 2 2 e x /2 , 3 / 4 1 / 2 (n!)

onde e a fun ca o gama de Euler (Cap tulo 7, p agina 270). Usando na f ormula acima as aproxima co es de Stirling (7.70) 2 n+1 1/4 1/2 e (7.78) para n! e 2 , respectivamente, obtemos a estimativa assint otica |hn (x)| 2 n1/4 ex /2 (v alida para todo n grande o suciente). No que concerne a ` depend encia em x esta e uma estimativa muito grosseira para |hn (x)| ( e poss vel provar que para todo x R e todo n N0 vale |hn (x)| K , onde K 1, 086), mas ela e suciente para estabelecer que a s erie no lado direito de (14.121) e absolutamente convergente para x, y R e z C com |z | < 1. Retornando a (14.121), usando (14.119) e a deni ca o de cn , temos U (x, x, z ) = e (x
2

+ y 2 ) /2

e ( x + y ) /2 3/2 e ( x + y ) /2 3/2
2 2 2 2

n=0

z n (1)n (2)2n c2 n

2

sn e s

+2isx

ds

tn e t

+2ity

dt

s2 t2 +2i(sx+ty )

(2zst)n n! n=0 ds dt

ds dt

e s

t2 +2i(sx+ty )2zst

(14.122)

23 Seguiremos

as indica co es de [20].

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

664/2069

oria em n efetuada acima. E. 14.11 Exerc cio. Prove isso e justique a troca de ordem das integrais com a somat Desejamos agora calcular a integral dupla do lado direito de (14.122). Isso e obtido por completamento de quadrados e h a mais de uma forma de faz e-lo. Sugerimos escrever-se s2 t2 + 2i(sx + ty ) 2zst = s + zt ix
2

1 z2

ti

y xz 1 z2

x2 + 2xyz y 2 1 z2

E. 14.12 Exerc cio. Prove isso. Isso pode ser feito partindo-se do lado esquerdo e chegando-se ao direito por completamento de quadrados ou expandindo-se o lado direito e constatando-se que e igual ao esquerdo. Com isso, temos e ( x + y ) /2 3/2
2 2

U (x, x, z ) 1 3/2

(14.122)

e s

t2 +2i(sx+ty )2zst

ds dt y xz 1 z2 y xz 1 z2
2 2
2

= Agora,

exp

(1 + z 2 )(x2 + y 2 ) 4xyz 2(1 z 2 )


s+(ztix)
2

exp 1 z 2

ti

s+(ztix)

ds

dt .

ds =

exp 1 z 2

ti

. dt = 1 z2

Vide Corol ario 35.1, p agina 1719, em particular, vide (35.40) . Note-se que Re (1 z 2 ) > 0, pois estamos supondo |z | < 1. Assim, obtemos 1 (1 + z 2 )(x2 + y 2 ) 4xyz U (x, x, z ) = exp , 1 / 2 2 2(1 z 2 ) 1z ou seja, (1 + z 2 ) x2 + y 2 4xyz 1 (14.123) hn (x) hn (y ) z n = exp 2(1 z 2 ) 1 z2 n=0 para x, y R e z C com |z | < 1. Essa rela ca o e por vezes denominada f ormula de Mehler24 . Usando-se (14.110), obtemos disso tamb em z 2 x2 + y 2 + 2xyz Hn (x) Hn (y ) z n 1 . (14.124) exp = n 2 n! 1 z2 1 z2 n=0 Verique! O lado esquerdo da express ao (14.123) e relevante na Mec anica Qu antica (da nosso interesse pela mesma) por estar relacionada ao chamado propagador do oscilador harm onico unidimensional. Vide p agina 909. E f acil constatar que (14.123) pode ser reescrita como
n=0

hn (x) hn (y ) z n =

1 (1 + z )(1 z )

exp

1 4

1z 1+z (x + y )2 + (x y )2 1+z 1z

(14.125)

Verique! No limite formal z 1 a express ao do lado direito aproxima-se de uma seq u encia delta de Dirac (compare-se com (35.110), p agina 1741, com o par ametro n que ocorre naquela express ao substituido por 1/ 2(1 z )) e obtemos
n=0

hn (x) hn (y ) = (x y ) ,

(14.126)

( sendo a distribui ca o delta de Dirac). Essa rela ca o deve ser entendida no sentido de distribui co es temperadas (Se ca o 35.3, p agina 1738) e e uma manifesta ca o da completeza das fun co es de Hermite em L2 (R, dx), demonstrada na Se ca o 34.6.2, p agina 1682.
24 Gustav

Ferdinand Mehler (18351895).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

665/2069

14.2.4

Propriedades dos Polin omios de Tchebychev

Os polin omios de Tchebychev foram introduzidos na Se ca o 13.1.5, p agina 578 (vide particularmente a p agina 579). Os polin omios de Tchebychev desempenham um papel importante na teoria das aproxima co es de fun co es cont nuas por polin omios, mas no tratamento resumido que aqui prentedemos vamos mencionar apenas as rela co es de ortogonalidade que eles satisfazem. Rela co es de ortogonalidade dos polin omios de Tchebychev

Os polin omios de Tchebychev podem ser expressos no intervalo [1, 1] por Tm (x) = cos m arccos(x) ,

para m N0 . Os polin omios de Tchebychev s ao solu ca o da equa ca o de Tchebychev (1 z 2 )y (z ) z y (z ) + m2 y (z ) = 0 1 x2 y (x)

1 + m2 y (x) = 0 . 1 x2 co es anteriores, devem Assim, identicamos p(x) = 1 x2 , q (x) = 0, r(x) = 1/ 1 x2 e = m2 . Por nossas considera 1 1 Tm (x)Tn (x) valer rela co es de ortogonalidade do tipo dx = Kn m, n para certas constantes Kn . De fato, a 1 x2 1 mudan ca de vari aveis y = arccos(x) permite-nos escrever
1 1

para m N0 . Como j a observamos (vide p agina 634), a forma can onica de Liouville da equa ca o de Tchebychev e

Tm (x)Tn (x) dx = 1 x2

1 1

cos m arccos(x) cos n arccos(x) dx 1 x2 1 2

y =arccos(x)

cos(my ) cos(ny ) dy
0

cos(my ) cos(ny ) dy

(34.63)

0, m , n = 0, m N0 .
2

n, m , n, m N ,

Logo,

1 dx = Kn m, n , (14.127) 1 x2 1 com K0 = /2 e Kn = para n > 0. Essas s ao as rela co es de ortogonalidade dos polin omios de Tchebychev. Devido oe um conjunto ortonormal as mesmas, os polin ` omios de Tchebychev normalizados Qn (x) := Tn (x)/ Kn , n N0 , comp 1 2 completo no espa ca o 34.6.1, p agina 1680. co de Hilbert L (1, 1), 1x2 dx . Disso trataremos na Se Tm (x)Tn (x)

14.2.5

Propriedades dos Polin omios de Laguerre

Rela co es de ortogonalidade para os polin omios de Laguerre A equa ca o de Laguerre (xex y (x)) + ex y (x) = 0 e tipicamente considerada no intervalo J = [0, ). Para ela 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. Al em disso, r(x) > 0 em todo J = [0, ). Os polin omios de Laguerre foram denidos em (13.140) por
m

Lm (x) :=

n=0

(1)n

m! n!

m n

xn

(14.128)

bastante claro que para os polin e representam solu co es da equa ca o de Laguerre em J = [0, ) para = m. E omios de Laguerre vale a condi ca o (14.23) e, portanto, pelo Teorema 14.1, segue que
0

Ln (x)Lm (x) ex dx = 0

(14.129)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

666/2069

para todo n = m, com m, n = 0, 1, 2, 3, . . .. Notemos tamb em aqui que (14.129) implica


0

xk Lm (x) ex dx = 0

(14.130)

para todo k < m, pois os mon omios xk podem ser escritos como combina co es lineares dos polin omios Ln s com n < m. Para calcular as integrais de (14.129) no caso m = n podemos fazer uso da identidade
L n+1 (x) = (n + 1)Ln (x) (n + 1)Ln (x) ,

(14.131)

que ser a demonstrada mais abaixo (express ao (14.135)). Com ela, v e-se que (n + 1)
0 (14.131)

Ln (x)2 ex dx

=
0

Ln (x) (n + 1)Ln (x) ex dx


0 x Ln (x)L dx n (x) e =0 0 x Ln (x)L dx n+1 (x) e

(n + 1)

por

(14.130) 0 0

int. por partes

Ln (x)Ln+1 (x)ex

x L dx n (x)Ln+1 (x) e =0

por

(14.130)

Ln (x)Ln+1 (x) ex dx
=0

por

(14.129) (14.128)

= Conclu mos assim que


0

Ln (0)Ln+1 (0)

(n + 1)(n!)2 .

Ln (x)Lm (x) ex dx = (n!)2 n, m

(14.132)

para todos n, m 0. Estas s ao as rela c oes de ortogonalidade para os polin omios de Laguerre. F ormula de Rodrigues para os polin omios de Laguerre Pela ortogonalidade dos polin omios de Laguerre (14.129), podemos presumir, sob a luz das considera co es da Se ca o 14.1.2, p agina 640, que os polin omios de Laguerre satisfazem, por (14.28), uma rela ca o como Lm (x) := Km 1 dm r(x) xm r(x) dxm = Km ex dm xm ex , dxm (14.133)

onde Km e uma constante dependente da normaliza ca o adotada. De fato, pela regra de Leibniz, 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

(14.128)

Lm (x) .

Assim, Km = 1 e conclu mos que

dm xm ex , dxm para todo m 0. Esta e a f ormula de Rodrigues para os polin omios de Laguerre. Lm (x) = ex

(14.134)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

667/2069

Rela co es de recorr encia para os polin omios de Laguerre Por (14.134), e elementar constatar que 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

=
(14.134)

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 m (x) .


L m+1 (x) = (m + 1)Lm (x) (m + 1)Lm (x) ,

(14.135)

m 0. Essa e uma das f ormulas de recorr encia para os polin omios de Laguerre, a qual empregamos acima para provar as rela co es de ortogonalidade (14.132) no caso m = n. H a uma segunda, da qual trataremos agora. Pela f ormula de Rodrigues vale Lm (x)
(14.134)

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

m1 dm m1 x x d x e + me xm1 ex dxm dxm1

d ex Lm1 (x) + mLm1 (x) dx

xLm1 (x) + xL m1 (x) + mLm1 (x) . (14.136)

Lm (x) = xLm1 (x) + xL m1 (x) + mLm1 (x) o que tamb em implica (fazendo m m + 1) Lm+1 (x) = xLm (x) + xL m (x) + (m + 1)Lm (x) . Multiplicando ambos os lados de (14.136) por m e somando o resultado a (14.137), teremos:
2 Lm+1 (x) mLm (x) = xLm (x) + xL m (x) + (m + 1)Lm (x) + mxLm1 (x) mxLm1 (x) m Lm1 (x) . (14.135)

(14.137)

(14.138)

Por (14.135), os termos xL = mxLm1 (x). Introduzindo isso de m (x) mxLm1 (x) valem x(Lm (x) mLm1 (x)) volta a (14.138), inferimos que Lm+1 (x) = (2m x + 1)Lm (x) m2 Lm1 (x) .

Resumindo nossas conclus oes, estabelecemos as seguintes rela co es: L m+1 (x) Lm+1 (x) = = (m + 1)L m (x) (m + 1)Lm (x) , (2m x + 1)Lm (x) m2 Lm1 (x) . (14.139) (14.140)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

668/2069

Essas rela co es s ao denominadas f ormulas de recorr encia para os polin omios de Laguerre. A rela ca o (14.140), em particular, permite obter recursivamente todos os Lm (x)s a partir de L0 (x) = 1 e L1 (x) = 1 x. A fun c ao geratriz exponencial dos polin omios de Laguerre

Partindo de (14.128) obtemos para a fun ca o geratriz exponencial dos polin omios de Laguerre L(x, t) := Lm (x) m t m! m=0

o seguinte desenvolvimento25: L(x, t) =


m

m=0 n=0

(1)n

1 n!

m n

xn tm

n=0 m=n

(1)n xn n!

1 n!

m n

xn tm

(14.141)

= Agora,
m =n

n=0

(1)n

m =n

m n

tm

(14.142)

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 (14.142), temos L(x, t) = e assim conclu mos que xt 1t L(x, t) = 1t Essa e a fun c ao geratriz exponencial dos polin omios de Laguerre. exp
25 Assumimos

1 1t

(1)n n! n=0

xt 1t

(14.143)

|t| e |x| pequenos o suciente para justicar as diversas manipula co es que faremos.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

669/2069

14.2.6

Propriedades dos Polin omios de Laguerre Associados


xy + (m + 1 x)y + (n m)y = 0 , (14.144)

A equa ca o de Laguerre associada com m e n inteiros com 0 m n, e tipicamente considerada no intervalo J = [0, ). A mesma pode ser ser levada ` a forma can onica (14.5), transformando-se em (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 e tomar-se p(x) = xm+1 ex , q (x) = mxm ex , r(x) = xm ex e = n. Note-se que p(x) e r(x) s ao os mesmos em ambas as escolhas. Os polin omios de Laguerre associados foram denidos em (13.165) e express oes seguintes por26
m) L( n (x) =

dm dm Ln (x) = m dx dxm
(m )

ex

dn n x (x e ) dxn

= (1)m

nm k=0

(1)k

n n! xk , k! m + k

(14.145)

com 0 m n. O polin omio Ln deni ca o, tem-se

de se notar que, por essa eau nica solu ca o de (14.144) que e regular em x = 0. E L(0) n (x) = Ln (x) (14.146)

para todo n 0 e, portanto, os polin omios de Laguerre s ao polin omios de Laguerre associados. E. 14.13 Exerc cio. Mostre que
(m ) Ln (x) =

(1)m n! x m dnm xn ex . e x (n m)! dxnm

(m ) bastante elementar constatar que, com m xo, as fun E co es Ln com n m satisfazem (14.23) para o intervalo J = [0, ). Assim, vale que 0 m) m x L( dx = 0 n (x) Ln (x) x e (m )

(14.147)

sempre que n = n . Para calcular a integral acima no caso n = n fazemos uso da rela ca o (14.154), que ser a demonstrada (m ) logo adiante. Tomando (14.154), substituindo n n 1 e multiplicando-a por n1 Ln (x), obtemos (n m) (m) Ln (x) n
2 m) 2 (m ) = (2n m x 1)Ln1 (x)L( n (x) (n 1) Ln2 (x)Ln (x) . (m ) (m ) (m )

Tomando (14.154) e multiplicando-a por (n + 1)1 Ln1 (x), obtemos (n + 1 m) (m) (m ) (m ) (m ) m) 2 Ln1 (x) Ln+1 (x)Ln1 (x) = (2n m x + 1)L( n (x)Ln1 (x) n n+1 Subtraindo uma express ao da outra, obtemos (n m) (m) Ln (x) n
2 2

(n + 1 m) (m) (m ) Ln+1 (x)Ln1 (x) n+1


m) 2 (m ) 2 = 2Ln1(x)L( n (x) (n 1) Ln2 (x)Ln (x) + n Ln1 (x) (m ) (m ) (m ) 2

26 Mais uma vez advertimos o leitor do fato de haver v arias conven co es distintas quanto ` a deni ca o dos polin omios de Laguerre associados na literatura. Para compara ca o, polin omios de Laguerre associados denidos em [151], que denotamos aqui por L Lm n (x), diferem dos nossos (m) (1)m (m) L ( x ). Ln (x) da seguinte forma: L Lm ( x ) = n (n+m)! n+m

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

670/2069

Multiplicando agora esta express ao por xm ex , integrando entre 0 e e usando (14.147), camos com
0 m) L( n (x) 2

xm ex dx =

n3 (n m)

Ln1 (x)

(m )

xm ex dx .

A indu ca o pode ser feita diminuindo n at e atingir o valor m, de onde extra 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 u ltima igualdade em (14.145), tem-se Lm (x) = (1)m m!. Ao mesmo tempo,
0 m) L( n (x) 2

xm ex dx =

(n!)3 . (n m)!

Essa express ao pressup oe, naturalmente, 0 m n. Conclu mos assim que com nossas deni co es
0 (m )

m) m x L( dx n (x) Ln (x) x e

(n!)3 n, n . (n m)!

(14.148)

Essas s ao as rela co es de ortogonalidade dos polin omios de Laguerre associados. Coment ario para o leitor mais avan cado. Chamamos ` a aten ca o do leitor o fato que as rela co es de ortogonalidade (14.148) n ao s ao as rela co es de ortogonalidade da parte radial das auto-fun co es de energia do atomo de hidrog enio. Para cada (2l+1) , com p l + 1, satisfazem as rela c o es de ortogonalidade, l 0 as fun co es l e 2p Lp+l p
0

l e

2 p

Lp +l

(2l+1)

l e 2p Lp+l

(2l+1)

2 d = p, p

2 p2l+4 ((p + l)!)3 , (p l 1)!

(14.149)

as quais discutiremos na Se ca o 19.8, p agina 909. Lamentavelmente, alguns livros-texto discutem incorretamente esse ponto quando tratam do atomo de hidrog enio. Uma exce ca o, um tanto surpreendentemente, e [9]. Uma conseq u encia de (14.148) empregada no estudo do atomo de hidrog enio

As rela co es (14.148) implicam um resultado que e usado no contexto do atomo de hidrog enio. Trata-se do seguinte: no caso n = n (14.148) diz-nos que
0 m) L( n (x) 2

xm ex dx

(n!)3 . (n m)!

No problema do atomo de hidrog enio surge a necessidade de se determinar a integral


0 m) L( n (x) 2

xm+1 ex dx

(14.150)

que difere da anterior pois o fator xm e substitu do por xm+1 . Essa u ltima integral pode ser calculada empregando-se a rela ca o (n + 1 m) (m) m) m) 2 (m ) xL( Ln+1 (x) + (2n m + 1)L( n (x) = n (x) n Ln1 (x) , n+1 que ser a provada logo abaixo (express ao (14.154)). Inserindo-a em (14.150) e usando as rela co es de ortogonalidade (14.148), obtem-se facilmente
0 m) L( n (x) 2

xm+1 ex dx

(n!)3 (2n m + 1) . (n m)!

(14.151)

Essa express ao ser a usada quando da normaliza ca o das auto-fun co es de energia do atomo de hidrog enio.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

671/2069

Rela co es de recorr encia para os polin omios de Laguerre associados

Se explorarmos a primeira igualdade em (14.145), que dene os polin omios Ln , algumas f ormulas de recorr encia para os polin omios de Laguerre associados podem ser obtidas diretamente daquelas dos polin omios de Laguerre listadas em (14.139)-(14.140) simplesmente diferenciando-as m vezes em rela ca o a x. Como facilmente se constata, obtem-se Ln+1 (x) Ln+1 (x)
(m ) (m+1) m+1) m) = (n + 1)L( (x) (n + 1)L( n n (x) , m) (m1) = (2n x + 1)L( (x) n2 Ln1 (x) , n (x) mLn (m ) (m )

(m )

(14.152) (14.153)

onde, em (14.152), usamos o fato evidente que Ll

(x) = Ll

(m+1)

(x).
1 Ln+1 (x) + Ln (x). Inserindo isso em = (n+1) (m ) (m )

Tomando (14.152) e trocando m m 1, obtem-se (14.153), obtem-se


(m )

(m1) Ln (x)

m) 2 (n + 1 m)Ln+1 (x) = (n + 1)(2n m x + 1)L( n (x) n (n + 1)Ln1 (x) .

(m )

(14.154)

Essas rela co es s ao denominadas f ormulas de recorr encia para os polin omios de Laguerre associados. A fun c ao geratriz exponencial dos polin omios de Laguerre associados

A partir da deni ca o (14.145) e de (14.143) e elementar constatar que a fun ca o geratriz exponencial dos polin omios de Laguerre associados e dada por Las. (x, t) := A soma acima come ca com l = m pois
l= m dm dxm Ll (x)

Ll

(m )

(x)

l!

tl =

xt (1)m tm exp m +1 (1 t) 1t

(14.155)

= 0 caso m > l.

A equa c ao de Laguerre generalizada

A assim denominada equa c ao de Laguerre generalizada e a equa ca o diferencial zy (z ) + ( + 1 z )y (z ) + ny (z ) .

com n N0 e > 1, real. Trata-se de uma variante da equa ca o de Laguerre associada, pois aqui n ao e necessariamente um inteiro. E. 14.14 Exerc cio. Mostre que essa equa c ao tem uma solu c ao da forma de um polin omio
n

L n (z ) :=
k=0

(1)k

n (n + + 1) k z , k (k + + 1)

onde e a fun c ao Gama de Euler, apresentada no Cap tulo 7, p agina 270. E. 14.15 Exerc cio. Mostre que
x L n (x) = e x

dn xn+ ex , dxn

x > 0. E. 14.16 Exerc cio. Mostre que


0

x L dx = 0 n (x)Lm (x) x e

se m = n. Calcule a integral no caso m = n.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

672/2069

E. 14.17 Exerc cio. Para = m, inteiro, mostre que


m L n (x) = (1)

(n m)! (m) Ln (x) . n!

14.2.7

Propriedades das Fun co es de Bessel

Na presente se ca o apresentaremos algumas das propriedades mais importantes e mais empregadas das fun co es de Bessel, especialmente as de ordem inteira. Devido ` a sua import ancia em um sem-n umero de problemas aplicados, as fun co es de Bessel e de Neumann t em sido intensamente estudadas nos u ltimos duzentos anos e foi coletado um enorme conjunto de informa co es sobre as mesmas, gerando uma vasta literatura. Por isso, nossas pretens oes aqui s ao relativamente modestas. Um texto cl assico sobre o assunto e [249]. Outros excelentes s ao [257], [110] e [151], mas todas as refer encias listadas ` a p agina 569 tratam do assunto com maior ou menor grau de profundidade. No estudo das propriedades das fun co es de Bessel J (x) procederemos de um modo ligeiramente diferente do que zemos acima. Isso se d a por v arias raz oes. Uma delas e que as fun co es de Bessel n ao s ao polin omios, ao contr ario dos casos de acima. Outra e a natureza das rela co es de ortogonalidade dessas fun co es. Origens

As fun co es de Bessel surgem em v arios problemas da F sica-Matem atica, especialmente envolvendo a resolu ca o de certas equa co es diferenciais em coordenadas cil ndricas. O mais c elebre desses problemas e aquele que estuda as vibra co es de uma membrana circular (um tambor), problema encontrado em v arios livros-texto e que estudamos na Se ca o 19.6, p agina 905. Esse problema foi tratado pela primeira vez por Euler27 em 1764, antecedendo a Bessel. Em verdade, certas fun co es de Bessel surgiram antes ainda, em 1703, na resolu c ao da chamada equa ca o de Riccati28 por Jacob Bernoulli29 30 (vide nota hist orica ` a p agina 475) e em 1732, em trabalhos de Daniel Bernoulli sobre o problema da corda vibrante e suas variantes (vide problema da corda pendurada na Se ca o 19.5.2, p agina 898). O trabalho do astr onomo Bessel31 no qual as fun co es que levam seu nome foram (re)encontradas e bem posterior e data de 1817, tendo sido publicado em 182432. O problema que conduziu Bessel n ao foi o de resolver uma equa c ao diferencial, mas o de determinar coecientes de Fourier que descrevem a trajet oria de um planeta em movimento peri odico em uma orbita el ptica em torno do Sol e obedecendo a segunda lei de Kepler33 , segundo a qual o raio-vetor que conecta o Sol ao planeta em quest ao varre areas iguais em tempos iguais34 . Bessel obteve para esses coecientes uma express ao integral que e a representa ca o integral das fun co es de Bessel que apresentamos em (14.186), mais abaixo. Posteriormente, identicou-se que esses coecientes representavam as fun co es previamente tratadas por Daniel Bernoulli e Euler, mas as mesmas acabaram sendo nomeadas em honra a Bessel (segundo [107], o nome de Bessel foi atribu do ` a equa ca o diferencial por Schl omilch35 em 1857 e 36 Lipschitz em 1859). Em seu trabalho, na verdade, Bessel estendeu resultados anteriores de Lagrange37, de 1769, o qual tamb em dedicou-se ` a quest ao de determinar os coecientes de Fourier que expressam como fun ca o do tempo a dist ancia ao Sol de um planeta em orbita el ptica, calculando os tr es primeiros38 . A determina ca o desses coecientes de Fourier n ao e um mero exerc cio acad emico, pois e importante para c alculos, via teoria de perturba co es, da inu encia gravitacional que os planetas exercem entre si e da conseq uente previs ao de desvios das suas orbitas el pticas. O estudo matem atico de perturba co es peri odicas ou quase-peri odicas em sistemas mec anicos
Euler (17071783). Francesco Riccati (16761754). 29 Jacob Bernoulli (16541705). 30 Daniel Bernoulli (17001782). 31 Friedrich Wilhelm Bessel (17841846). 32 F. W. Bessel, Untersuchungen des Theils der planetarischen St orungen, welcher aus der Bewegung der Sonne entsteht. Abhandlungen, 152 (1824). 33 Johannes Kepler (15711630). 34 Como todo estudante de F sica bem sabe, isso e conseq u encia da conserva ca o do momento angular sob uma for ca central. 35 Oscar Xavier Schl omilch (18231901). 36 Rudolf Otto Sigismund Lipschitz (18321903). 37 Joseph-Louis Lagrange (17361813). 38 Outras informa co es hist oricas sobre o desenvolvimento das fun co es de Bessel podem ser encontradas em [249].
28 Iacopo 27 Leonhard

Berliner

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

673/2069

(ou em equa co es diferenciais, em geral) e um vasto assunto de pesquisa que tem desaado in umeros pesquisadores at ea atualidade. Bessel e tamb em autor de dois outros importantes feitos cient cos, a proposi ca o da exist encia de estrelas bin arias e a medi ca o da dist ancia ao Sol de uma outra estrela. Bessel foi um dos primeiros a propor a exist encia de estrelas bin arias, prevendo em 1834 a exist encia de uma companheira da estrela Sirius. Tal previs ao foi poss vel em fun ca o de medidas de alta precis ao, que Bessel produziu durante anos, da posi ca o de v arias estrelas. Tais medidas indicavam um movimento el ptico peri odico de Sirius cuja origem n ao poderia ser explicada em termos de movimentos da Terra ou do sistema solar. Bessel prop os que esse movimento era devido ` a presen ca de uma outra estrela menos brilhante nas proximidades de Sirius e que ambas orbitavam em torno do centro de massa comum, explicando assim as observa co es. Em 1840, Bessel anunciou a observa ca o de tais movimentos peri odicos em outra estrela, a estrela Procyon. A exist encia da companheira de Sirius foi conrmada por observa co es feitas em 1862 por A. G. Clark39 e a de Procyon 40 em 1896, por J. M. Schaeberle , ambas ap os a morte de Bessel. As estat sticas atuais indicam que cerca de metade das estrelas da nossa gal axia e composta por estrelas bin arias. H a tamb em sistemas triplos de estrelas ( Centauri sendo o exemplo mais popularmente conhecido), qu adruplos ( Lyrae) etc. Um problema matem atico, levantado pela primeira vez por Laplace41 em 1785 e ainda hoje em aberto, ao qual nomes como o de Poincar e42 deram importantes contribui co es, e o de saber se sistemas m ultiplos como esses, ou como o nosso pr oprio sistema solar, s ao est aveis. Esse problema deu origem a uma importante area de pesquisa atual, a teoria dos sistemas din amicos43 . M etodos como os que Bessel e outros empregaram para a detec ca o de sistemas bin arios s ao empregados hoje em dia na detec ca o de planetas orbitando estrelas, outro tema atual de pesquisa. Bessel foi tamb em o primeiro, em 1838, a determinar a dist ancia ao Sol de uma outra estrela, usando para tal o m etodo de paralaxe. A estrela em quest ao foi 61 Cygni e Bessel calculou sua dist ancia ao Sol como sendo cerca de 10 anos-luz. O valor atualmente aceito e de cerca de 10,7 anos-luz, ou 3,3 parsecs44 . Com esse trabalho, Bessel contribuiu para o estudo das escalas de dist ancia cosmol ogicas, tarefa em implementa ca o at e os nossos dias. Rela co es de recorr encia para as fun co es de Bessel Seja a fun ca o de Bessel J (x) denida em (13.106) por J (x) :=
k=0

(1)k k ! (k + 1 + )

x 2

2k+

(14.156)

Consideremos provisoriamente diferente de 0 ou de um inteiro negativo (pois (x) diverge se x e um inteiro negativo. Vide Cap tulo 7, p agina 270). Multiplicando J por x e diferenciando em rela ca o a x, obtem-se 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+2 1

= =
39 Alvan 40 John

k=0

(1)k k ! (k + )

2k+ 1

x J 1 (x) .

Graham Clark (18321897). Martin Schaeberle (18531924). 41 Pierre-Simon Laplace (17491827). 42 Jules Henri Poincar e (18541912). 43 Em verdade, boa parte da topologia moderna foi criada por Poincar e no seu tratamento do problema de estabilidade. 44 Um ano-luz e a dist ancia que a luz percorre em um ano e corresponde a aproximadamente 9, 46 1012 km, ou 9, 5 trilh oes de quil ometros. Um parsec e denido como a dist ancia de um objeto cuja paralaxe em rela ca o ` a Terra seja de um segundo de arco, uma medida de dist ancia usada tradicionalmente na Astronomia. Um parsec corresponde a aproximadamente 3, 262 anos-luz, ou 3, 09 1013 km.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

674/2069

Multiplicando J por x e diferenciando em rela ca o a x, obtem-se analogamente 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 . . ., d x J (x) dx

x J +1 (x) . d x J (x) dx

= x J 1 (x)

= x J +1 (x) .

(14.157)

Adotando-se a j a mencionada deni ca o Jm (x) = (1)m Jm (x), para m inteiro positivo ou zero, vemos que a express ao acima tamb em vale para = 0, 1, 2, 3 . . .. E. 14.18 Exerc cio. Mostre isso! Para = 0, a segunda rela ca o em (14.157) diz-nos que
J0 (x) = J1 (x) ,

(14.158)

e para = 1, a primeira rela ca o em (14.157) diz-nos que xJ0 (x) = Expandindo as derivadas em (14.157), teremos que
x J (x) + x 1 J (x) x J (x) x 1 J (x)

d xJ1 (x) . dx

(14.159)

= x J 1 (x)

= x J +1 (x) ,
xJ (x) = J (x) xJ +1 (x) .

ou seja,
xJ (x) = xJ 1 (x) J (x)

(14.160)

Somando e subtraindo essas duas express oes uma da outra obtemos as seguintes rela co es importantes:
J (x)

= =

1 J 1 (x) J +1 (x) , 2 1 2J (x) xJ 1 (x) . x

(14.161) (14.162)

J +1 (x)

Essas rela co es, v alidas para todo C, s ao denominadas rela c oes de recorr encia das fun c oes de Bessel. A segunda delas permite, por exemplo, obter todas as fun co es Jm com m inteiro positivo a partir de J0 e J1 . Na verdade, por (14.158), basta conhecer J0 e sua derivada.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

675/2069

Resumindo, obtivemos as seguintes rela co es d (x J (x)) dx d x J (x) dx


xJ (x) xJ (x) J (x)

= = = = = =

x J 1 (x) , x J +1 (x) , xJ 1 (x) J (x) , J (x) xJ +1 (x) , 1 J 1 (x) J +1 (x) , 2 1 2J (x) xJ 1 (x) , x

(14.163) (14.164) (14.165) (14.166) (14.167) (14.168)

J +1 (x) v alidas para todo C e todo x C, x = 0. A rela c ao entre Jn e J0 , n N

Express oes an alogas ` as de acima s ao tamb em v alidas para as fun co es N (x).

A segunda express ao em (14.157) diz-nos que 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) ,

(14.169)

v alida para todo , x C e n N0 . No caso particular em que = 0, obtem-se, Jn (x) = (1)n xn 1 d x dx


n

J0 (x) ,

(14.170)

v alida para todo x C e n N0 . A express ao (14.170) generaliza (14.158) e guarda certa semelhan ca com as f ormulas de Rodrigues. c ao (14.156). E. 14.19 Exerc cio. Obtenha (14.169) e (14.170) diretamente da deni As rela co es integrais de Sonin

Para e C tais que Re ( ) > Re () > 1 vale a seguinte rela ca o entre J e J : J (x) = 2 x ( ) 2
0 1

t+1 1 t2

J xt dt ,

(14.171)

para todo x C. Essa express ao e denominada rela c ao integral de Sonin45 entre fun co es de Bessel, ou tamb em primeira integral de Sonin ou primeira identidade de Sonin. No caso em que N, (14.171) pode ser demonstrada a partir da primeira igualdade em (14.157) por integra ca o
45 Nikolay

Yakovlevich Sonin (18491915). Seu sobrenome e por vezes grafado como Sonine.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

676/2069

e por indu ca o. Apresentamos uma prova direta de (14.171) para o caso geral. Pela deni ca o de J , tem-se
1 0

t+1 1 t2

J xt dt

(14.156)

1 0 k=0 k=0

t+1 1 t2

k=0

(1)k k ! (k + 1 + )
1 0

xt 2

2k+

dt

(1)k k ! (k + 1 + ) (1)k k ! (k + 1 + ) x 2 x 2

x 2 x 2

2k+

t2k+2+1 1 t2

dt

(7.38)

2k+

1 (k + + 1)( ) 2 (k + + 1) x 2
2k+

( ) 2 ( ) 2

k=0

(1)k k ! (k + 1 + )

= como quer amos mostrar.

J (x) ,

oria realizada na segunda igualdade acima e entenda por que E. 14.20 Exerc cio. Justique a troca de integral pela somat fazemos a restri c ao Re ( ) > Re () > 1. De (14.171), para = 0 e Re ( ) > 0, tem-se o seguinte caso particular relevante de (14.171): J (x) = 2 ( ) x 2
0 1

t 1 t2

J0 xt dt ,

(14.172)

v alido para Re ( ) > 0 e para todo x C. Usando a primeira rela ca o em (13.121), obtemos tamb em, tomando-se = 1/2 em (14.171), x 1 1 2 1 3/2 sen (xt) dt , (14.173) t 1 t2 J (x) = ( 1/2) 2 0 para Re ( ) > 1/2 e x C. Usando a segunda rela ca o em (13.121), obtemos tamb em, tomando-se = 1/2 em (14.171), 1 2 x J (x) = ( + 1/2) 2 para Re ( ) > 1/2 e x C. E. 14.21 Exerc cio. Verique! Mais adiante (vide eqs. (14.202) e (14.203)) usaremos (14.173) e (14.174) para obter certas transformadas de Fourier relacionadas ` as fun co es de Bessel. A fun c ao geratriz das fun co es de Bessel
0 1

1 t2

1/2

cos(xt) dt ,

(14.174)

A determina ca o da fun ca o geratriz das fun co es de Bessel e importante, entre outras raz oes, por nos permitir obter representa co es integrais para as fun co es de Bessel, representa co es essas que possuem grande relev ancia em v arias aplica co es. Tomemos as fun co es de Bessel de ordem inteira denidas por Jm (x) :=
k=0

(1)k k ! (k + m)!

x 2

2k+m

(14.175)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

677/2069

para m 0, convencionando-se que Jm (x) = (1)m Jm (x) (vide (13.124) e a discuss ao que lhe acompanha). Vamos aqui considerar a fun ca o geratriz denida por J(x, t) := para t = 0 e vamos provar que
m= m=

tm Jm (x)

tm Jm (x) = exp

x 2

1 t

(14.176)

Dessa importante rela ca o ser ao extra dos v arios fatos u teis sobre as fun co es de Bessel de ordem inteira. Antes de provarmos isso, mostremos que J(x, t) est a bem denida. Por (14.175), vale |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 u ltimas somas s ao convergentes para todo x C e todo t C com t = 0, o que prova que J(x, t) e anal tica para todo x C e todo t C com t = 0. Podemos com isso demonstrar (14.176) de modo bem simples, tomando a derivada parcial em rela ca o a x de J(x, t), derivando termo a termo na soma (o que e permitido, devido ` a analiticidade) e usando (14.161): J(x, t) x =
m= (14.161) t m Jm (x)

(14.177)

1 1 tm Jm1 (x) tm Jm+1 (x) 2 m= 2 m= t 2 1 2


k=

(14.178)

k=m1, l=m+1

tk Jk (x)

t 1 2

l=

tl Jl (x)

(14.179)

= Assim, J(x, t) satisfaz a equa ca o diferencial

t t) =

1 t
1 2

J(x, t) . t
1 t

(14.180)

x J(x,

J(x, t), cuja solu ca o geral e t 1 t ,

J(x, t) = f (t) exp

x 2

para alguma fun ca o 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, provando (14.176). Estudando a demonstra ca o acima o leitor poder a reconhecer a import ancia de denir-se Jm (x) = (1)m Jm (x), para m inteiro positivo. F ormula de adi c ao das fun co es de Bessel

Uma das rela co es mais u teis que adv em de (14.176) e a seguinte: Jm (x + y ) =


n=

Jn (x)Jmn (y ) ,

(14.181)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

678/2069

v alida para todo m Z e todos x, y C. Essa express ao e denominada por alguns autores f ormula de adi c ao das fun c oes de Bessel (a adi ca o, aqui, refere-se ` a adi ca o dos argumentos da fun ca o no lado esquerdo). As fun co es de Bessel satisfazem v arias outras rela co es de adi ca o do tipo de acima e remetemos o leitor ` a literatura supracitada (por exemplo, a refer ` encia [110]) para generaliza co es. A demonstra ca o de (14.181) e obtida de (14.176) calculando-se o produto J(x, t)J(y, t) de duas formas: por um lado, J(x, t)J(y, t) = exp Por outro lado, J(x, t)J(y, t) =
k=

x 2

1 t

exp

y 2

1 t

= exp

x+y 2

1 t

m=

tm Jm (x + y ) .

(14.182)

tk Jk (x)

l=

tl Jl (y )

tk+l Jk (x)Jl (y ) =

m=

tm

n=

k= l=

Jn (x)Jmn (y ) (14.183)

Comparando-se (14.182) a (14.183) obtem-se (14.181). Se em (14.181) 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

(14.184)

Como Jn (x) e real para x R, isso ensina-nos que |J0 (x)| 1 e |Jn (x)| E. 14.22 Exerc cio. Justique!

para todo x R e n > 0, n inteiro.

poss E vel estabelecer limites superiores mais precisos para |Jn (x)|, mas n ao trataremos disso aqui. Representa co es integrais das fun co es de Bessel J a obtivemos em (14.171), (14.172), (14.173) e (14.174) algumas rela co es integrais envolvendo fun co es de Bessel. Trataremos de obter mais algumas outras agora. A rela ca o (14.176) tem v arios usos, um deles e o de fornecer uma representa ca o integral para as fun co es de Bessel, com a qual outras propriedades podem ser obtidas. A rela ca o (14.176) foi provada para todo x C e t C com t = 0. Tomemos t com |t| = 1, ou seja, tomemos t da forma t = ei , com . Obtemos, eix sen () =
m=

Jm (x)eim .

(14.185)

O ponto interessante e que podemos interpretar o lado direito como sendo a s erie de Fourier na vari avel da fun ca o peri odica de per 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 e nula, pois o integrando e uma fun ca o mpar em . Como o integrando da primeira integral do lado direito e uma fun ca o par em , segue que Jm (x) = 1 2

cos (x sen () m) d =

cos (x sen () m) d ,

(14.186)

v alida para todo m Z. Essa express ao e a importante representa c ao integral da fun c ao de Bessel Jm (x), m Z.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

679/2069

Tomando-se t = iei em (14.176), obtem-se eix cos() = de onde se extrai Jm (x) = e disso se obt em Jm (x) = f E acil obter de (14.188) que J2m (x) = (1)m 2 (1)m 2
m=

im Jm (x)eim .

(14.187)

(i)m 2

eix cos()im d ,

(14.188)

(i)m 2

eix cos() cos(m) d .

(14.189)

cos x cos() 2m d , sen x cos() (2m + 1) d .

J2m+1 (x)

para todo m = 0, 1, 2, . . .. De (14.188) segue, em particular, a rela ca o J0 (x) = 1 2 eix cos() d .

(14.190)

Aplica co es dessa identidade encontram-se nos Exerc cios E. 14.23 e E. 14.24. avel e seja E. 14.23 Exerc cio. Seja f : R2 C integr 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 2 coordenada radial: f (x) = f (r), com r = x = x2 1 + x2 . Mostre que F[f ](p) =
0

f (r)J0 (pr)r dr ,

onde p = |p|. Sugest ao: use (14.190). f0 , 0 r R 0, r>R

E. 14.24 Exerc cio. R > 0. Mostre que

Seja f : R2 C denida por f (x) = f (r) =

, sendo f0 e R constantes com

F[f ](p) = Sugest ao: De (14.157) segue que xJ0 (x) = (xJ1 (x)) . Propriedades adicionais

f0 R J1 (pR) . p

De (14.185) podemos extrair mais algumas rela co es de interesse. Mostremos algumas aqui. Separando a parte real e a parte imagin aria de ambos os lados de (14.185), teremos cos x sen () =
m= m=

Jm (x) cos(m) ,

sen x sen ()

Jm (x) sen (m) .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

680/2069

Usando que Jm (x) = (1)m Jm (x), obtemos alguns cancelamentos que conduzem a cos x sen () = J0 (x) + 2
k=1

J2k (x) cos(2k) ,

(14.191)

k=1

sen x sen () Em particular, para = /2, isso diz-nos que cos(x) =

= 2

J2k1 (x) sen (2k 1) .

(14.192)

J0 (x) + 2

k=1

(1)k J2k (x) ,

(14.193)

sen (x)

k=1

(1)k+1 J2k1 (x) .

(14.194)

Tomando = 0 em (14.191), segue tamb em a identidade 1 = J0 (x) + 2


k=1

J2k (x) .

De (14.191)-(14.192), obtem-se tamb em, usando as bem-conhecidas rela co es de ortogonalidade das fun co es seno e co-seno, Jm (x), m par 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 v arias apresentadas de acima, ou com os mesmos m etodos, mas encerramos aqui nossa apresenta ca o das mesmas, convidando o leitor a um passeio ` a literatura pertinente ` as fun co es de Bessel. Nossa inten ca o agora e a de discutir as rela co es de ortogonalidade para as fun co es de Bessel. E. 14.25 Exerc cio. Usando (13.41), mostre a partir de (14.191) que vale a identidade cos x 1 u2 = J0 (x) + 2
k=1

Jm (x),

J2k (x)T2k (u) ,

(14.195)

onde Tm e o m- esimo polin omio de Tchebychev. A transformada de Fourier de Jm

Seguindo a conven ca o que adotamos no Cap tulo 35, p agina 1701, denimos a transformada de Fourier F[f ] de uma fun ca o de uma vari avel f e a transformada de Fourier inversa F1 [f ] por 1 F[f ](p) = 2

eipx f (x) dx

1 F1 [f ](p) = 2

eipx f (x) dx .

A rela ca o (14.189) pode ser escrita na forma Jm (x) = (i)m


0

eix cos() cos(m) d .

(14.196)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

681/2069

Adotando m N0 , com a mudan ca de vari aveis = arccos u, isso ca Jm (x) = (i)m 1 du eixu cos m arccos(u) 1 u2 1
1 (13.41)

(i)m

Tm (u) du , eixu 1 u2 1

(14.197)

onde Tm e o m- esimo polin omio de Tchebychev (vide p agina 579). Denamos uma fun ca o Jm por Jm (u) := (i)m 2 Tm (u) [1, 1] (u) , 1 u2 (14.198)

onde [1, 1] e a fun ca o caracter stica do intervalo [1, 1]: 1 , u [1, 1] , [1, 1] (u) := 0 , u [1, 1] . Ent ao, (14.197) traduz-se na arma ca o que Jm (x) = F1 Jm (x) e, portanto, F[Jm ](u) = Jm (u) = (i)m 2 Tm (u) [1, 1] (u) . 1 u2

(14.199)

(14.200)

(14.201)

Essa express ao determina a transformada de Fourier das fun co es de Bessel de ordem m N0 . A fun ca o Jm e integr avel, ou seja, um elemento de L1 (R, dx) (justique!) e, portanto, (14.200) est a bem denida. As fun co es Jm n ao s ao integr aveis em R, nem de quadrado integr avel, mas a express ao (14.201) e v alida no sentido de distribui co es temperadas. Vide Se ca o 35.3.6, p agina 1759. Mais algumas transformadas de Fourier relacionadas a fun co es de Bessel

f E acil constatar que a express ao (14.173), p agina 676, pode ser escrita na forma x 1 1 2 3/2 ixt J (x) = e dt , [1, 1] (t) t 1 t2 i( 1/2) 2 2 [1, 1] (t) J (x) t 1 t2 (t) = i 3/2 x 1 2 ( 1/2)

para Re ( ) > 1/2, com [1, 1] denida em (14.199). Disso conclu mos que para Re ( ) > 1/2 vale F
3/2

(14.202)

no sentido de distribui co es. Usando (14.174), p agina 676, escrevemos 2 x 1 J (x) = [1, 1] (t) 1 t2 ( + 1/2) 2 2 para Re ( ) > 1/2 e obtemos, novamemte no sentido de distribui co es, F [1, 1] (t) J (x) 1 t2 (t) = 1/2 v x 2 ( + 1/2)

1/2 ixt

dt ,

1/2

(14.203)

para Re ( ) > 1/2. Observe-se que (14.202) e obtida de (14.203) por deriva ca o e multiplica ca o por i, como esperado. E. 14.26 Exerc cio. Verique e justique as armativas de acima. Zeros das fun co es de Bessel

Antes de entrarmos na discuss ao sobre as rela co es de ortogonalidade para as fun co es de Bessel em J = [0, 1] precisamos fazer alguns coment arios sobre os zeros das fun co es de Bessel. Os seguintes teoremas s ao v alidos:

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

682/2069

Teorema 14.2 Cada fun c ao Jn (z ), com n Z, possui zeros complexos e possui uma cole c ao innita enumer avel de zeros reais, todos simples, exceto z = 0, que e um zero de ordem |m| de Jm (z ) para m Z, m = 0. Os zeros de Jn (z ), com n Z, n ao possuem pontos de acumula c ao em R. Como Jn (x) = (1)n Jn (x), vemos que os zeros de Jn (x) s ao sim etricos em rela c ao ao ponto x = 0. Fora isso, como Jn (x) = (1)n+1 Jn (x), os zeros de Jn (x) coincidem com os de Jn (x). Por m, os zeros positivos das fun c oes de Bessel de ordem inteira positiva possuem a seguinte propriedade de altern ancia: entre dois zeros positivos sucessivos de Jn existe um zero de Jn1 e um de Jn+1 , para todos n 0. Teorema 14.3 Seja real e suponha que | arg z | < . Ent ao J (z ) possui uma cole c ao innita enumer avel de zeros reais e positivos e um n umero 2N ( ) de zeros conjugados complexos, sendo que 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, n ao possuem pontos de acumula c ao em R+ .
Teorema 14.4 Para 0 a fun c ao J (z ) possui apenas zeros simples, exceto em z = 0 e entre dois zeros sucessivos de J (z ) h a exatamente um zero de J (z ).

O teorema seguinte e particularmente u til na resolu ca o de problemas envolvendo condi co es de contorno mistas. Teorema 14.5 Para A e B reais e real com > 1 a equa c ao
AJ (z ) + BzJ (z )

para | arg z | < possui uma cole c ao enumer avel de zeros reais positivos e no caso em que + A/B 0, tamb em n ao possui ra zes complexas. Caso + A/B < 0, AJ (z ) + BzJ (z ) possui duas ra zes imagin arias puras. Foi demonstrado por Siegel46 em 1929 que se m, n N0 com m = n, ent ao Jm (x) e Jm (x) n ao possuem zeros comuns, exceto x = 0. Os enunciados acima foram extra dos de [151], [110] e [104] e suas demonstra co es podem ser encontradas em [249] ou (parcialmente) em [110]. N ao as apresentaremos aqui, mas o leitor n ao deve ser desestimulado a estud a-las pois as mesmas s ao elementares e utilizam-se essencialmente apenas do material que j a apresentamos aqui. As rela co es de ortogonalidade das fun co es de Bessel no intervalo [0, 1]

Em muitos problemas, por exemplo, naquele em que estudamos os modos de vibra ca o de uma membrana circular, estamos interessados nas solu co es da equa ca o de Bessel em um intervalo nito fechado. Consideraremos, para xar id eias, o caso em que o intervalo e J = [0, 1]. Em uma tal situa ca o encontraremos rela co es de ortogonalidade, as quais s ao muito importantes na resolu ca o de certos problemas envolvendo equa co es diferenciais parciais submetidas a condi co es iniciais e de contorno. Devido aos coment arios que zemos acima sobre os zeros das fun co es de Bessel consideraremos no que segue apenas o caso em que e real. f Seja para um dado R a fun ca o f (x) := J (x). E acil vericar que f (x) e solu ca o da equa ca o (xy (x)) E. 14.27 Exerc cio importante. Verique isso. 2 y (x) + 2 xy (x) = 0 . x (14.204)

Como aparece elevada ao quadrado na express ao acima podemos sem perda de generalidade considerar > 0 (o caso = 0 e trivial, pois corresponde a uma fun ca o constante: f0 (x) = J (0)).
46 Carl

Ludwig Siegel (18961981).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

683/2069

Nosso principal resultado ser a o seguinte teorema, o qual estabelece uma classe bastante geral de rela co es de ortogonalidade para as fun co es de Bessel. Essas rela co es de ortogonalidade s ao de suma import ancia nas aplica co es dessas fun co es ` a solu ca o de certas equa co es diferenciais submetidas a certas condi co es iniciais e de contorno. Teorema 14.6 Seja 0 e sejam xados certos n umeros reais A, B com (A, B ) = (0, 0) satisfazendo + A/B 0, caso B = 0 (vide Teoremas 14.2-14.5). Seja tamb em Z umeros > 0 tais que A, B o conjunto de todos os n
AJ () + BJ () = 0 ,

(14.205)

ou seja, Z A, B :=
> 0| AJ () + BJ () = 0 .

(14.206)

Pelo Teorema 14.5, esse conjunto e n ao-vazio e enumer avel. Ent ao, a condi c ao (14.23) do Teorema 14.1, p agina 638, com J = [0, 1], e satisfeita para todas as fun c oes f (x) = J (x) com Z e, portanto, para , Z A, B A, B com = valem as rela c oes de ortogonalidade (com r(x) = x)
1

f (x)f (x) x dx = 0 ,
0

ou seja,
0

J (x)J (x) x dx = 0 .
para todos , Z A, B com = . Para todos , ZA, B , tem-se 1

(14.207)

J (x)J (x) x dx
0

=
(14.165)(14.167)

, 2 2 (J ()) + 1 2 2 , 2 J ()
2

(J ())

J 1 ()J +1 () .

(14.208)

Essa express ao e denominada rela c ao de ortogonalidade das fun c oes de Bessel. Note que h a uma rela c ao de ortogonalidade 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 A, B . Incidentalmente, a evidente positividade do lado esquerdo de (14.208) quando = implica que J ()
2

> J 1 ()J +1 ()

(14.209)

para todo Z A, B e tal deve ser verdadeiro para todo A, B .

A rela c ao (14.205) corresponde a condi c oes de contorno freq uentemente encontradas na resolu c ao de equa c oes diferenciais parciais da F sica, como por exemplo no problema de propaga c ao de ondas em uma membrana circular (um tambor). No caso A = 1, B = 0 o conjunto Z c ao de Bessel J (x). No caso A = 0, B = 1 o 1, 0 coincide com o dos zeros da fun conjunto Z coincide com o dos zeros da fun c a o J ( x ) . 0, 1 Em particular, se 0 e e o k - esimo zero da fun c ao J (x) no intervalo (0, ), ent ao k
1 0 J k x J l x x dx = k, l ( J ( k )) 2 2

= k, l

(J +1 ( k )) . 2

(14.210)

Analogamente, se 0 e k e o k - esimo zero da fun c ao J (x) no intervalo (0, ), ent ao 1 0 x x dx = k, l x J l J k

(J (k )) . 2

(14.211)

Dessa rela c ao percebemos incidentalmente que k > para todo k , pois o lado esquerdo e certamente positivo quando k = l.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

684/2069

Prova do Teorema 14.6. Podemos encarar a equa ca o (14.204) como sendo da forma can onica (14.5) para o intervalo 2 2 J = (0, 1] com p(x) = x, q (x) = x , r(x) = x e = . Perguntemo-nos agora se para duas fun co es f (x) := J (x) e f (x) := J (x) a condi ca o (14.23) do Teorema 14.1, p agina 638 e satisfeita nos extremos do intervalo J = (0, 1], ou 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 e, se
(J ()J ( ) J ()J ( )) lim x (J (x)J (x) J (x)J (x)) = 0 . x0

Dado que o primeiro termo da expans ao (14.156) de J (x) e proporcional a x , e que, conseq uentemente, o primeiro 1 termo da expans ao de J (x) e proporcional a x teremos que
x0 lim x J (x)J (x) J (x)J (x)

lim xx x 1 = 0
x0

sempre que > 0. Para = 0 a rela ca o acima tamb em e v alida, pois o primeiro termo da expans ao de J0 (x) e constante, mas o primeiro termo da expans ao de J0 (x) e proporcional a x. Para < 0 o limite x 0 da express ao acima e singular. Conclu mos que para 0 vale
(x)f (x) (1) f (1)f (1) lim p(x) f (x)f (x) f p(1) f (1)f x0 ( ) J ()J ( ) . = J ()J

Procuramos agora identicar condi co es sob as quais o lado direito se anula, o que nos garantir a a aplicabilidade do teorema de ortogonalidade, Teorema 14.1. Um caso obvio e aquele no qual e s ao zeros da fun ca o de Bessel J . Outro caso obvio e aquele no qual e s ao , a derivada da fun ca o de Bessel J . Um caso mais geral est a na seguinte proposi ca o. zeros de J Proposi c ao 14.2 Suponhamos que para certos n umeros A e B com (A, B ) = (0, 0) existam constantes reais e tais que
AJ () + BJ () AJ ( ) + BJ ( )

= =

0 0.

(14.212) (14.213)

Ent ao,
J ()J ( ) J ()J ( ) = 0 .

Prova. As rela co es (14.212)-(14.213) podem ser expressas em forma matricial como J () J ( )


() A J 0 = . J ( ) B 0

Como por hip otese (A, B ) = (0, 0), a rela ca o acima s o e poss vel se a matriz 2 2 do lado esquerdo for n ao-invers vel, ou seja, se tiver determinante nulo. Assim, devemos ter J () 0 = det J ( )
J () = J ()J ( ) J ()J ( ) , J ( )

que e o que quer amos estabelecer.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

685/2069

Com essa proposi ca o, ca estabelecido que a condi ca o (14.23) do Teorema 14.1, p agina 638, com J = [0, 1], e satisfeita para todas as fun co es f (x) = J (x) com Z e, portanto, para , Z com = valem as rela co es de A, B A, B ortogonalidade (com r(x) = x)
1 1

f (x)f (x) x dx = 0
0

ou seja,
0

J (x)J (x) x dx = 0 ,

para todos , Z A, B com = .

Passemos ` a quest ao de provar (14.208) para o caso em que = . Isso pode ser feito de diversas maneiras, a mais direta sendo a seguinte. Escrevamos a equa ca o (14.204) na forma 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 (14.214)

d d 2 2 x2 (y (x)) + 2 x2 2 (y (x)) dx dx (14.215)

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))

1 0

22

x (y (x)) dx .
0

(14.216)

Como f (x) = J (x) e solu ca o de (14.214), podemos adotar y (x) = J (x), acima. Assim, x2 (y (x))
2 1 0 1 0

= =

2 x2 (J (x))

1 0

()) . = 2 (J

2 x2 2 (y (x))2 pois 2 J (0)


2

2 2 (J ())2 + 2 (J (0))2 =

2 2 (J ())2 ,

= 0 para todo 0 (por que?). Portanto, (14.216) ca 22


0 1

x J (x)

dx = 2 J ()

+ 2 2

J ()

o que conduz ` a primeira linha de (14.208) no caso = . A identidade


(J ()) + 1 2

2 2

(J ())

J ()

J 1 ()J +1 ()

segue diretamente de (14.165)(14.167). Com isso, o Teorema 14.6 est a demonstrado.

Algumas vezes lidamos com problemas envolvendo a equa co es de Bessel em intervalos como [R1 , R2 ] com 0 < R1 < R2 < e procuramos solu co es que anulam-se nos extremos desse intervalo. Exemplos de tais situa co es encontram-se no problema descrito no Exerc cio E. 19.54, p agina 957 e no problema descrito no Exerc cio E. 19.55, p agina 957. Como o ponto 0 n ao e um ponto da fronteira do intervalo considerado, as rela co es de ortogonalidade acima encontradas n ao se aplicam diretamente. O teorema a seguir fornece as rela co es de ortogonalidade desejadas nessa situa ca o.

Generaliza co es das rela co es de ortogonalidade das fun co es de Bessel e Neumann

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

686/2069

Teorema 14.7 Sejam 0 < R1 < R2 < e Sn (x) denida no intervalo [R1 , R2 ] por J Nm n R1 R2 J n R2 J n R1 R2 J n R2 , para Z ,

Sn (x) :=

mn R1 R2

Jm

mn R2

Jm

mn R1 R2

Nm

mn R2

para = m Z ,

onde, para Z, n e o n- esimo zero em (0, ) da fun c ao J R1 x J (x) J R2 R1 x J (x) R2

e para = m Z, mn e o n- esimo zero em (0, ) da fun c ao Nm R1 x Jm (x) Jm R2 R1 x Nm (x) . R2

Pelas deni c oes, Sn (R1 ) = Sn (R2 ) = 0 para todo R e todo n N. Al em disso, Sn (x) e solu c ao da equa c ao de Bessel x2 y (x) + xy (x) + 2 x2 2 y (x) = 0 (14.217) no intervalo [R1 , R2 ], com =
n R2 ,

Ent ao, as fun c oes Sn (x) satisfazem as rela c oes de ortogonalidade


R2

tamb em para todo R e todo n N.

Sn (x)Sn (x) x dx = 0
R1

(14.218)

para n = n e todo R, com

R2

Sn (x)
R1

x dx = Kn

(14.219)

para todo R e todo n N, onde Kn = R1 1 (R2 )2 J n 2 R2 (R1 )2 J para Z e Kmn = R1 1 (R2 )2 Nm mn 2 R2 (R1 )2 Nm mn para = m Z. Prova. As rela co es (14.218) seguem diretamente do Teorema 14.1, p agina 638 pelo fato que Sn (R1 ) = Sn (R2 ) = 0 para todo R e todo n N. R1 R2
Jm (mn ) Jm mn J (n ) J

R1 R2

2 J (n )

R1 R2

J n

R1 R2

J n

R1 R2

R1 R2

R1 R2

2 Nm (mn )

mn Jm

R1 R2

Jm mn

R1 R2

mn Nm

R1 R2

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

687/2069

Para demonstrar (14.219) consideraremos apenas o caso Z, pois o caso = m Z e tratado identicamente. Nosso ponto de partida e a equa ca o (14.215), p agina 685: 0 = d d 2 x2 (y (x)) + dx dx 2 x2 2 (y (x))
2

22 x (y (x)) ,

(14.220)

v alida para qualquer solu ca o de (14.217) (vide p agina 685). Integrando-se ambos os lados da igualdade entre R1 e R2 , obtem-se 0 = Como y (x) = Sn (x) := Jm e solu ca o de (14.217) com =
mn R2 2

x2 (y (x))

R2 R1

2 x2 2 (y (x))

R2 R1

22

R2

x (y (x)) dx .
R1

(14.221)

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, (14.221) 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


(mn ) Jm J m

mn

R1 R2

2 J m (mn )

(R1 )2 Jm como quer amos provar.

mn

R1 R2

J m

mn

R1 R2

Jm

mn

R1 R2

J m

mn

R1 R2

Seja a equa ca o de Bessel x2 y (x) + xy (x) + (x2 2 )y (x) = 0 e consideremo-la agora no intervalo semi-innito J = [0, ). A mesma pode ser escrita como (xy (x)) 2 y (x) + xy (x) = 0 , x (14.222)

Coment ario sobre a equa c ao de Bessel no intervalo J = [0, )

1 e = 2 . H a, por em, uma diferen ca marcante em e aqui temos p(x) = x e poder amos adotar q (x) = x, r(x) = x rela ca o aos casos anteriormente tratados. Para as fun co es J (x), mesmo com inteiro, n ao vale a rela ca o (14.23), pois limx p(x)J (x)J (x) n ao se anula e, portanto, o Teorema 14.1 n ao se aplica nesse caso. De fato, J (x) comporta-se para x como 2 cos x 4 2 J (x) . x

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

688/2069

Infelizmente, n ao apresentaremos a demonstra ca o dessa express ao assint otica nestas Notas. O leitor poder a encontr a-la em v arios textos, por exemplo, em [249], [257], [110] e mesmo em [145]. Em [110], por exemplo, encontra-se demonstrada a express ao assint otica mais detalhada 2 cos x 2 x
4 r =0

J (x)

(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

v alida para x . Com isso, percebemos que n ao devem valer para as fun co es de Bessel com s diferentes rela co es de ortogonalidade envolvendo integrais em J = [0, ).

14.2.8

Propriedades das Fun co es de Bessel Esf ericas


J 1 (z ) , 2z + 2 N 1 (z ) . 2z + 2

As fun co es de Bessel e Neumann esf ericas de ordem foram denidas em (13.129) e (13.130) por j (z ) := n (z ) := (14.223)

Por serem fortemente relacionadas ` as fun co es de Bessel, suas propriedades podem ser facilmente deduzidas das propriedades estudadas acima daquelas fun co es. Por (13.106), tem-se j (z ) = 2
k=0

(1)k k ! (k + 1 + + 1/2)

z 2

2k+

Pela f ormula de duplica ca o (13.27), podemos escrever isso como j (z ) = 2 Em particular, para = l N0 , vale jl (z ) = 2l
k=0 k=0

(1)k (k + 1 + ) 2k+ z . k ! (2(k + 1 + ))

(1)k (k + l)! 2k+l z . k ! (2k + 2l + 1)!

F ormulas de recorr encia para as fun co es de Bessel esf ericas tamb em podem ser obtidas daquelas para as fun co es de Bessel listadas em (14.163)-(14.168). Analisando-as, e imediato ver que de (14.163) e (14.164) segue facilmente que d x +1 j (x) dx = x +1 j 1 (x) e d x j (x) dx = x j +1 (x) . (14.224)

Rela co es de recorr encia para as fun co es de Bessel esf ericas

De (14.165) e (14.166) segue facilmente que


xj (x) = xj 1 (x) ( + 1)j (x)

xj (x) = j (x) xj +1 (x) .

(14.225)

Dessas duas rela co es segue facilmente que


j (x)

1 2

j 1 (x)

j (x) j +1 (x) x

(14.226)

j +1 (x)

1 (2 + 1)j (x) xj 1 (x) , x

(14.227)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

689/2069

para todo . Usando (14.227), e f acil ver que (14.226) pode ser reescrita como
(2 + 1) j (x) = j 1 (x) ( + 1)j +1 (x)

(14.228)

para todo . Resumindo nossas conclus oes, obtivemos que d x +1 j (x) dx d x j (x) dx
xj (x) xj (x) (2 + 1) j (x)

= = = = = =

x +1 j 1 (x) , x j +1 (x) , xj 1 (x) ( + 1)j (x) , j (x) xj +1 (x) , j 1 (x) ( + 1)j +1 (x) , 1 (2 + 1)j (x) xj 1 (x) . x

(14.229) (14.230) (14.231) (14.232) (14.233) (14.234)

j +1 (x)

Express oes an alogas s ao v alidas para as fun co es n (x). Com o uso das rela co es de recorr encia acima e poss vel obter para as fun co es de Bessel esf ericas o an alogo da express ao (14.170). A rela c ao entre jn e j0 , n N

A express ao (14.230) diz-nos que 1 d x j (x) x dx = x( +1) j +1 (x) . = (1)n x( +n) j +n (x) , 1 d x dx
n

Disso segue imediatamente que 1 d x dx

x j (x)

(14.235)

v alida para todo , x C e n N0 . No caso particular em que = 0, obtem-se, jn (x) = (1)n xn 1 d x dx


n

(j0 (x)) = (1)n xn

sen x x

(14.236)

v alida para todo x C e n N0 . A express ao (14.236) guarda certa semelhan ca com as f ormulas de Rodrigues. Para as fun co es de Neumann esf ericas tem-se uma express ao an aloga: nn (x) = (1)n+1 xn As primeiras fun co es de Bessel esf ericas s ao 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 (14.238) 1 d x dx
n

cos x x

(14.237)

e as primeiras fun co es de Neumann esf ericas s ao n0 (x) = cos x , x n1 (x) = sen x cos x , x2 x n2 (x) = (3 x2 ) sen x cos x 3 2 . x3 x (14.239)

Rela co es de ortogonalidade para as fun co es de Bessel esf ericas no intervalo [0, 1]

As rela co es de ortogonalidade para as fun co es de Bessel esf ericas podem ser provadas diretamente daquelas expressas no Teorema 14.6.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

690/2069

Observemos em primeiro lugar que o conjunto ZA, B ZA, B


+1/2

+1/2

que, pela deni ca o (14.206), 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 condi co es de contorno do tipo


Aj () + Bj () = 0

Isso mostra que podemos aplicar diretamente as conclus oes do Teorema 14.6, tomando o cuidado de substituir: 1. j () 2 2x 2 + j () . por + 1/2, 2. J () por j (), 3. (na integral) J (x) por j (x) e 3. e J () por 2 Ap os algumas contas elementares, obtem-se o seguinte: Teorema 14.8 Seja 0, sejam xados certos n umeros reais A, B com (A, B ) = (0, 0) satisfazendo +1/2+A/B 0, caso B = 0 (vide Teoremas 14.2-14.5) e seja denido
+1/2 W A, B := { > 0| Aj () + Bj () = 0} = ZAB/2, B .

o conjunto de s que satisfazem isso e ZAB/2, B .

+1/2

Pelo Teorema 14.5, esse conjunto e n ao-vazio e enumer avel. Para todos , W A, B , tem-se
1 0

j (x)j (x) x2 dx

, 2

j () + j () 2

+ 1

1 2 ( + 2 ) 2

j ()

, 2 j () j 1 ()j +1 () . (14.240) 2 Essa express ao e denominada rela c ao de ortogonalidade das fun c oes de Bessel esf ericas. Note que h a uma rela ca o de ortogonalidade para cada tripla (, A, B ) com 0 e (A, B ) = (0, 0), pois cada tripla (, A, B ) xa o conjunto Z A, B .
(14.232(14.234)

No caso A = 1, B = 0 o conjunto W c ao de Bessel esf erica j (x). No caso 1, 0 coincide com o dos zeros da fun A = 0, B = 1 o conjunto W coincide com o dos zeros da fun c a o j ( x ) . 0, 1 Em particular, se 0 e e o k - esimo zero da fun c ao j (x) no intervalo (0, ), ent ao k
1 0 2 j k x j l x x dx = k, l j ( k) 2 2

= k, l

j +1 ( k) 2
2

(14.241)

Analogamente, se 0 e k e o k - esimo zero da fun c ao j (x) no intervalo (0, ), ent ao 1 0 j k x j l x x2 dx = k, l

( + 1) )2 (k

j (k ) 2

(14.242)

Dessa rela c ao percebemos incidentalmente que k > quando k = l.

( + 1) para todo k , pois o lado esquerdo e certamente positivo

instrutivo considerar a rela E ca o (14.241) no caso = 0, quando j0 (x) = sen (x) x) , (14.241) est a dizendo que inteiro. Como j0 (x) = cos( 2 x x
1 0

sen (x) x

e, portanto, 0 k = k , com k > 0

sen (kx) sen (lx) k, l dx = 2 kl 2


1

cos(k ) k

1 k, l , 2(k )2

ou seja,

1 k, l . 2 0 Essa e uma rela ca o bem conhecida que, evidentemente, pode tamb em ser provada por meios mais elementares. sen (kx) sen (lx) dx =

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

691/2069

14.3

Exerc cios Adicionais

E. 14.28 Exerc cio-dirigido. A id eia deste exerc cio e provar as rela co es de ortogonalidade dos polin omios de Legendre usando diretamente a f ormula de Rodrigues, express ao (14.40), p agina 643. a. Usando a f ormula de Rodrigues para os polin omios de Legendre, mostre que
1 1

xm Pn (x)dx = 0

(14.243)

para todo 0 m < n, m inteiro. Sugest ao: integra c ao por partes. 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)!

(14.244)

Sugest ao: use a f ormula de Rodrigues, integra c ao por partes e a express ao do item b. d. Usando (14.243) e (14.244) mostre a validade das rela co es de ortogonalidade
1

Pn (x)Pm (x)dx =
1

2 n, m . 2n + 1

Sugest ao: use a f ormula de Rodrigues ou a express ao (14.32) para obter o coeciente de maior grau dos polin omios de Legendre.

E. 14.29 Exerc cio. 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

(14.245)

Sugest ao: para calcular integrais como


0

xP2m (x)dx pode-se usar (14.41) e/ou (14.44), integra c ao por partes e os fatos
m

que Pn (1) = 1, n N0 , e P2m (0) =

(1) (2m 1)!! , m N0 , m 1, o qual segue de (14.32). 2 m m!

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

692/2069

Ap endices
14.A Provando (14.54) a For ca Bruta
A id eia e tomar (14.52), escrever (z 2 1)l = (z 1)l (z + 1)l e aplicar a regra de Leibniz. Tudo est a resumido nas seguintes linhas auto-explicativas, acompanhadas de uns poucos coment arios ao nal: 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 l+ m p l + m dp l d ( z 1) (z + 1)l dz p dz l+mp p

Leibniz

( )

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 l m p=0 l m 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!
l m 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!

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 14

693/2069

(1)m

(l + m)! (1 z 2 )m/2 (l m)! 2l l ! (l + m)! (1 z 2 )m/2 (l m)! 2l l !

l m p=0 l m 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 (1)m (1)m

dlmp (z + 1)l dz lmp

Leibniz

(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 + m p

= como quer amos provar.

d d l l No ponto indicado por () acima, usamos o fato que dz p (z 1) = 0 se p > l e dz l+mp (z 1) = 0 se l + m p > l . Ambas as condi co es juntas implicam m p l, da a mudan ca nos limites da soma. No ponto indicado por () multiplicamos z 2 1)m toda a express ao por 1 = (1)m ( . Na linha seguinte o fator (z 2 1)m e escrito como (z 1)m (z + 1)m e distribu do (1z 2 )m

dentro da soma. Fora isso, usamos tamb em que

1 (1z 2 )m (1

z 2 )m/2 = (1 z 2 )m/2 .