Académique Documents
Professionnel Documents
Culture Documents
Contedo u
10.1 Solues em Sries de Potncias para Equaes Regulares . . . . . . . . . co e e co 10.1.1 A Equao do Oscilador Harmnico Simples . . . . . . . . . . . . . . . . . . ca o 10.1.2 A Equao de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca 10.1.3 A Equao de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca 10.1.4 A Equao de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca 10.1.5 A Equao de Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca 10.1.6 O Caso de Equaes Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . co Soluo de Equaes Singulares Regulares. O Mtodo de Frobenius . . . ca co e 10.2.1 Equaes Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . co 10.2.2 A Equao de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . ca 10.2.3 A Equao de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca 10.2.4 Equaes Relacionadas ` de Bessel. A Equao de Bessel Esfrica . . . . . . co a ca e 10.2.5 Equaes Relacionadas ` de Bessel. A Equao de Bessel Modicada . . . . co a ca 10.2.6 A Equao de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca 10.2.7 A Equao Hipergeomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . ca e 10.2.8 A Equao Hipergeomtrica Conuente . . . . . . . . . . . . . . . . . . . . . ca e Algumas Equaes Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . co 10.3.1 A Equao de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . ca 10.3.2 A Equao de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . ca A Funo Gama. Denio e Propriedades . . . . . . . . . . . . . . . . . . ca ca Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . APENDICES . . . . . . . . . . . . . . . Prova da Proposio 10.1. Justicando os Polinmios de Legendre . . . . ca o Provando (10.14) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Justicando os Polinmios de Hermite . . . . . . . . . . . . . . . . . . . . . o Provando (10.20) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Porque deve ser um Inteiro Positivo na Equao de Laguerre . . . . . . ca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 415 . . 416 . . 417 . . 420 . . 422 . . 424 . . 427 . 428 . . 431 . . 439 . . 441 . . 451 . . 452 . . 453 . . 455 . . 459 . 461 . . 461 . . 463 . 464 . 477 . 479 . 479 . 480 . 482 . 483 . 484
10.2
10.3
rataremos no presente cap tulo de apresentar soluoes de equaoes diferenciais ordinrias lineares e homogneas, c c a e regulares ou com pontos singulares regulares. Por simplicidade, e para atender ao interesse de problemas f sicos, trataremos apenas de equaoes de segunda ordem mas, em essncia, tudo o que faremos facilmente se generaliza c e para equaoes de ordem superior. Nossa abordagem estar centrada no chamado mtodo de expanso em c a e a srie de potncias (para equaoes regulares) e no mtodo de Frobenius (para equaoes com singularidades regulares). e e c e c Estudaremos tanto casos gerais (com razovel detalhe) quanto equaoes particulares de interesse em F a c sica. Em um certo sentido, o presente cap tulo d continuidade ao Cap a tulo 9, mas dele s utilizaremos os Teoremas 9.3 e o 9.4, das pginas 381 e 383, respectivamente. Esses teoremas fundamentais so as justicativas dos mtodos de soluao a a e c que empregaremos. Comentamos ainda que trataremos as equaoes diferenciais como equaoes no plano complexo ainda que, na F c c sica, o interesse tipicamente resida em equaoes na reta real pois, como discutimos no Cap c tulo 9, a natureza das soluoes e c a justicativa dos mtodos de soluao so melhor entendidas quando abandonamos as limitaoes da reta real de modo a e c a c explorar a estrutura anal tica das equaoes e suas soluoes. c c
414
Cap tulo 10
415/1628
Por vezes, omitiremos detalhes de clculos e o estudante convidado a complet-los como exerc a e a cio. Apesar de alguns desses clculos omitidos serem reconhecidamente entediantes (no s os omitidos, alis), o estudante recomendado faza a o a e e los ao menos uma vez durante sua existncia terrena, pois no poss apoderar-se do conhecimento aqui desenvolvido e a e vel apenas por meio de leitura passiva. O tratamento que faremos de soluoes de equaoes gerais bastante detalhado, um tanto mais do que o por vezes c c e encontrado na literatura. Os resultados gerais esto resumidos nos Teoremas 10.1 e 10.2, adiante. O tratamento de a certas equaoes particulares de interesse em F c sica (como as de Legendre, Hermite, Airy, Chebyshev, Bessel e Laguerre) razoavelmente completo e vrias propriedades especiais das soluoes, tais como relaoes de ortogonalidade, relaoes de e a c c c recorrncia, frmulas do tipo de Rodrigues, representaoes integrais etc. (todas importantes na resoluao de problemas de e o c c F sica) so discutidas com detalhe no Cap a tulo 11, pgina 487. Uma omisso um estudo detalhado do comportamento a a e assinttico de certas soluoes. Esperamos que futuramente essa lacuna possa ser completada. o c Exemplos selecionados de problemas de F sica onde algumas das equaoes particulares que discutimos se apresentam c (e a conseq ente resoluao desses problemas) podero ser encontrados no Cap u c a tulo 16, pgina 691, ao qual remetemos os a estudantes interessados em adquirir um pouco de motivaao. A leitura daquele cap c tulo requer um conhecimento parcial das soluoes das equaoes diferenciais e suas propriedades, de modo que o estudante dever alternar sua leitura com a c c a do material que a precede nos Cap tulos 10 e 11. A Seao 10.4, pgina 464, contm um tratamento detalhado das propriedades mais relevantes da funao Gama de c a e c Euler. Todas as equaoes particulares tratadas, suas soluoes e propriedades dessas soluoes, so amplamente discutidas na c c c a vasta literatura pertinente e a ela remetemos os estudantes interessados. Vide, por exemplo, [152], [190], [113], [6], [184], [33], [85], [86], [15], [38], [39], [51], [167], [82], [79]. Para uma abordagem da teoria das funoes especiais sob o ponto de c vista de teoria de grupos, vide [182].
10.1
Vamos na presente seao ilustrar o Teorema 9.3 da pgina 381 estudando a soluao por srie de potncias de algumas c a c e e equaoes diferenciais ordinrias, homogneas de segunda ordem e regulares de interesse (especialmente em F c a e sica). Boa parte dos mtodos apresentados nos exemplos aplicam-se a equaoes de ordem maior que dois, mas no trataremos de e c a tais generalizaoes aqui pois elas pouco apresentam de especial e seu interesse na F c sica reduzido. e Na Seao 10.2, pgina 428, ilustraremos o Teorema 9.4, pgina 383, tratando de forma semelhante vrias equaoes c a a a c singulares regulares de interesse pelo mtodo de Frobenius. e Conforme demonstramos em pginas anteriores (Teorema 9.3, pgina 381), se a equaao diferencial linear homognea a a c e de segunda ordem y (z) + a(z)y (z) + b(z)y(z) = 0 (10.1) for tal que os coecientes a(z) e b(z) so funoes anal a c ticas de z em torno de um ponto z0 , ento suas soluoes sero a c a igualmente anal ticas em torno desse ponto e poderemos procurar resolv-la em termos de sries de potncia centradas e e e em z0 :
y(z) =
n=0
cn (z z0 )n .
(10.2)
O chamado mtodo de srie de potncias consiste precisamente em inserir o Ansatz (10.2) na equao (10.1) e determinar e e e ca recursivamente os coecientes cn . Pelas concluses obtidas anteriormente, resumidas no Teorema 9.3 da pgina 381, a o a soluao obtida deve ser convergente pelo menos no maior disco aberto centrado em z0 no qual ambas as funoes a(z) e c c b(z) sejam tambm anal e ticas. Ilustraremos a aplicaao desse mtodo na resoluao da equaao do oscilador harmnico simples e nas equaoes de c e c c o c Legendre, Hermite, Airy e Chebyshev, todas equaoes de interesse em F c sica. Ao nal discutiremos a soluao do problema c geral.
Cap tulo 10
416/1628
10.1.1
Por razes pedaggicas, vamos comear discutindo uma equaao diferencial bastante simples e familiar. Seja a bemo o c c conhecida equaao do oscilador harmnico simples c o
2 y (z) + 0 y(z) = 0 ,
(10.3)
2 onde 0 uma constante. Nesse caso a(z) = 0 e b(z) = 0 , ambas anal e ticas em toda parte. Procuremos ento uma a n fcil ver que soluao da forma y(z) = n=0 cn z (com z0 = 0). E a c
y (z) =
n=0
ncn z n1 =
n=1
ncn z n1
nn+1
(n + 1)cn+1 z n ,
n=0
(n + 1)cn+1 z n
n=0
(10.4)
n(n + 1)cn+1 z n1 =
n=1
n(n + 1)cn+1 z n1
nn+1
(n + 1)(n + 2)cn+2 z n ,
n=0
(n + 1)(n + 2)cn+2 z n .
n=0
(10.5)
Como essa ultima relaao supostamente vale para todo z, tem-se forosamente que os fatores entre colchetes so todos c c a nulos (por que?):
2 (n + 1)(n + 2)cn+2 + 0 cn = 0 ,
ou seja,
cn+2 =
2 0 cn (n + 1)(n + 2)
(10.6)
c2k+1 =
com k 0. Essas expresses relacionam todos os coecientes cn com os dois primeiros coecientes, c0 e c1 . o Inserindo isso na expresso y(z) = a
n n=0 cn z ,
tem-se
y(z) =
k=0
c2k z 2k +
k=0
c2k+1 z 2k+1 = c0
k=0 k=0
2k (1)k 0 2k z + c1 (2k)!
k=0
c0
k=0
c0 cos(0 z) +
c1 sen (0 z) . 0
Na ultima passagem pudemos identicar as duas sries de potncias com as sries de Taylor (em torno de 0) das funoes e e e c seno e co-seno. Notemos que em problemas menos simples, como os que encontraremos adiante, nem sempre ser poss a vel identicar as sries resultantes com as sries de Taylor de funoes previamente conhecidas, o que nos conduzir ` deniao e e c aa c de novas funoes, as chamadas funoes especiais. c c
Cap tulo 10
417/1628
c E de se notar que a soluao nal, y(z) = c0 cos(0 z) + 1 sen (0 z), anal c e tica em toda a parte como funao de z, o c 0 que j era esperado do fato de as funoes a(z) e b(z) serem funoes anal a c c ticas em toda parte (duas constantes).
Obtivemos, assim, a bem-conhecida soluao do oscilador harmnico simples em termos de uma combinaao linear das c o c funoes seno e co-seno. Os coecientes c0 e c1 podem ser determinados se mais condioes forem impostas ` soluao. Por c c a c exemplo, se impusermos condioes iniciais y(0) = y0 e y (0) = v0 , obtemos c0 = y0 e c1 = v0 . c
10.1.2
A Equao de Legendre ca
(1 z 2 )y (z) 2zy (z) + ( + 1)y(z) = 0 (10.7)
A equaao diferencial c denominada equaao de Legendre1 de ordem2 . Em princ e c pio, adotamos C, arbitrrio, mas na maioria das a aplicaoes em F c sica apenas valores especiais de so considerados, a saber, tomado um inteiro no-negativo. a e a A equaao de Legendre e uma parente prxima, a equaao de Legendre associada, tratada na Seao 10.3.1, pgina c o c c a 461, surgem em vrios problemas de F a sica, do Eletromagnetismo ` Mecnica Quntica. Tipicamente ambas surgem a a a quando da resoluao da equaao de Helmholtz pelo mtodo de separaao de variveis em coordenadas esfricas em trs c c e c a e e dimenses. Vide Cap o tulo 16, pgina 691. a A equaao de Legendre acima pode ser posta na forma padro (10.1) com c a a(z) = 2z 1 z2 e b(z) = ( + 1) . 1 z2
Claramente, ambas as funoes so anal c a ticas em um disco de raio 1 centrado em z0 = 0. E, portanto, leg timo procurarmos soluoes na forma y(z) = n=0 cn z n (com z0 = 0). Tais soluoes sero anal c c a ticas pelo menos no disco de raio 1 centrado em z0 = 0. Inserindo-se (10.4)-(10.5) em (10.7), obtem-se
n=0
(n + 1)(n + 2)cn+2 z n
n=0
(n + 1)cn+1 z n+1 +( + 1)
n=0 II n=0
cn z n = 0 .
(10.8)
nn2
n=2
(n 1)n cn z n =
n=0
(n 1)n cn z n ,
(10.9)
onde, na pen ltima igualdade, zemos a mudana de variveis n n 2 e, na ultima, acrescentamos os termos com u c a n = 0 e n = 1 por estes serem nulos. Analogamente,
II
(n + 1)cn+1 z n+1
n=0
nn1
ncn z n =
n=1 n=0
ncn z n ,
(10.10)
onde, na pen ltima igualdade, zemos a mudana de variveis n n 1 e, na ultima, acrescentamos o termo com n = 0 u c a por este ser nulo. Assim, (10.8) ca
n=0
(n + 1)(n + 2)cn+2 z n
n=0
n=0
(n 1)n cn z n 2
ncn z n + ( + 1)
n=0 n=0
cn z n = 0 ,
1 Adrien-Marie 2 Aqui
Legendre (17521833). a palavra ordem no deve ser confundida com a ordem da equaao diferencial, que dois. a c e
Cap tulo 10
418/1628
Como (n 1)n + 2n = n(n + 1), obtemos o seguinte conjunto de equaoes c (n + 1)(n + 2)cn+2 n(n + 1) ( + 1) cn = 0 , Essas expresses fornecem as seguintes equaoes recursivas para os coecientes cn : o c cn+2 = n(n + 1) ( + 1) cn , (n + 1)(n + 2) n 0 . (10.11) n 0 .
De maneira anloga ao que ocorre no caso do oscilador harmnico simples (vide eq. (10.6)), podemos expressar todos os a o coecientes cn com n par em termos de c0 e todos os coecientes cn com n mpar em termos de c1 . Mais precisamente, tem-se c2k = 1 (2k)!
k1 l=0
2l(2l + 1) ( + 1) c0 =
( + 1) 2k
k1 l=1
( + 1) 2l(2l + 1)
c0 ,
c2k+1
1 (2k + 1)!
k1
l=0
(2l + 1)(2l + 2) ( + 1) c1 =
1 2k + 1
k1
l=0
( + 1) (2l + 1)(2l + 2)
c1 .
Para C genrico conclu e mos que a soluao geral da equaao de Legendre da forma c c e y(z) = c0 y (z) + c1 y (z) , onde
(0) (1)
y (z) =
k=0 (1) y (z)
(0)
z 2k (2k)!
k1
l=0
2l(2l + 1) ( + 1)
k1
(10.12)
=
k=0
l=0
(2l + 1)(2l + 2) ( + 1)
(10.13)
Conforme comentamos, sabemos a priori que ambas as sries acima convergem para |z| < 1. O que ocorre caso |z| = 1? e Isso respondido na seguinte proposiao, cuja demonstraao encontra-se no Apndice 10.A, pgina 479 (vide tambm e c c e a e [152] para uma outra prova semelhante): Proposio 10.1 Caso R no seja um inteiro no-negativo par, a srie em (10.12) diverge em z = 1. Caso R ca a a e e no seja um inteiro positivo mpar, a srie em (10.13) diverge em z = 1. a Essa proposiao ensina-nos que as soluoes (10.12) e (10.13) da equaao de Legendre sero divergentes em z = 1 c c c a caso no seja um inteiro no-negativo e isso para qualquer escolha de c0 e c1 no-nulos. Em aplicaoes, porm, muito a a a c e e importante ter-se soluoes nitas no intervalo fechado real [1, 1] de valores de z. A unica esperana que resta reside c c (0) na situaao na qual um inteiro no-negativo e, de fato, podemos vericar que em tal caso y nita se for par e c e a e (1) que y nita se for e mpar. Os polinmios de Legendre o
Contemplando a expresso (10.12) facilmente constata-se que no caso em que = 2n, um inteiro no-negativo par, a a tem-se n k1 z 2k (0) y2n (z) := 2l(2l + 1) 2n(2n + 1) , (2k)!
k=0 l=0
que um polinmio de grau 2n em z. e o Analogamente, contemplando a expresso (10.13) facilmente se constata que no caso em que = 2n + 1, um inteiro a positivo mpar, tem-se
n (1) y2n+1 (z) := k=0
k1 l=0
Cap tulo 10
419/1628
que um polinmio de grau 2n + 1 em z. e o Assim, vemos que no caso de ser um inteiro no-negativo a equaao de Legendre tem uma soluao nita em toda a c c (0) (1) a parte, a saber, o polinmio c0 y2n (z), caso = 2n, par, ou o polinmio c1 y2n+1 (z), caso = 2n + 1, o o mpar. Denimos, ento, a m/2 k1 z 2k c y (0) (z) = c 0 m 2l(2l + 1) m(m + 1) , m par 0 (2k)! k=0 l=0 Pm (z) := . (m1)/2 k1 2k+1 z c y (1) (z) = c 1 m (2l + 1)(2l + 2) m(m + 1) , m mpar 1 (2k + 1)!
k=0 l=0
E claro pela deniao acima que Pm um polinmio de grau m e o coeciente do monmio de maior grau, z m , vale c e o o c0 e c1 1 m! 1 m!
m/21
l=0
2l(2l + 1) m(m + 1) ,
para m par
(m3)/2
l=0
para m mpar.
Por razes histricas, convenciona-se escolher c0 e c1 de modo que o coeciente do monmio de maior grau de Pm seja o o o (2m)! o a a a igual a 2m (m!)2 . Como facilmente se constata aps alguns clculos entediantes, isso conduz ` seguinte expresso para os polinmios Pm (z): o
m/2
Pm (z) :=
a=0
2m
(10.14)
A prova de (10.14) pode ser encontrada no Apndice 10.B, pgina 480. e a e E. 10.1 Exerccio. Tente provar (10.14) sem ler o Apndice 10.B. A expresso (10.14) dene os assim denominados polinmios de Legendre de grau m, cada qual soluao da equaao a o e c c de Legendre de ordem m (1 z 2 )y (z) 2zy (z) + m(m + 1)y(z) = 0 , com m inteiro no-negativo. Como comentamos, essa equaao possui, para cada m inteiro no-negativo, uma segunda a c a soluao que , porm, divergente para z 1. c e e Os quatro primeiros polinmios de Legendre so o a P0 (z) = 1 , P1 (z) = z , 1 3 P2 (z) = + z 2 , 2 2 3 5 P3 (z) = z + z 3 , 2 2
m par, , m mpar.
como facilmente se v pela deniao acima. e c Os polinmios de Legendre possuem vrias propriedades importantes, tais como relaoes de ortogonalidade, frmulas o a c o de recorrncia etc., as quais sero discutidas na Seao 11.2.1, pgina 506. Tambm remetemos o estudante ` literatura e a c a e a pertinente supracitada. A Figura 10.1, pgina 420, exibe o grco dos primeiros polinmios de Legendre no intervalo a a o [1, 1].
Cap tulo 10
420/1628
P 0
1.0 0.8
P 1
0.6 0.4 0.2 0.0 1.0 0.8 0.6 0.4 0.2 0.2 0.4 0.6 0.8 1.0 0.0 0.2 0.4 0.6 0.8 1.0
P 2 P 3 P 4
10.1.3
A Equao de Hermite ca
y (z) 2zy (z) + y(z) = 0,
3
A equaao diferencial c (10.15) com C denominada equaao de Hermite . Essa equaao famosa por surgir em um problema bsico da Mecnica e c c e a a Quntica, a saber, o problema do oscilador harmnico unidimensional. Vide Seao 16.7, pgina 755. A relaao de (10.15) a o c a c com a equaao hipergeomtrica conuente exibida na Seao 10.2.8, pgina 459. c e e c a Comparando ` forma padro (10.1), constatamos que aqui a a a(z) = 2z e b(z) = .
Ambas essas funoes so anal c a ticas em todo o plano complexo e, pelo Teorema 9.3 da pgina 381, assim sero as soluoes a a c da equaao de Hermite, sendo que podemos encontr-las atravs de uma expanso em srie de potncias em torno de c a e a e e z0 = 0: y(z) = n=0 cn z n . Inserindo-se (10.4)-(10.5) em (10.15), obtem-se
n=0
(n + 1)(n + 2)cn+2 z n 2
(n + 1)cn+1 z n+1 +
n=0 II n=0
cn z n = 0 .
(10.16)
(n + 1)(n + 2)cn+2 z 2
ncn z +
n=0 n=0
cn z n = 0 ,
Hermite (18221901).
Cap tulo 10
421/1628
ou seja,
n=0
para todo z C, o que implica (n + 1)(n + 2)cn+2 + ( 2n) cn = 0, n 0. Disso conclu mos que cn+2 = 2n cn , (n + 1)(n + 2) n0. (10.17)
Assim como no caso do oscilador harmnico simples e no caso da equaao de Legendre, os coecientes cn com n par so o c a proporcionais a c0 e os coecientes cn com n mpar so proporcionais a c1 . Mais precisamente, tem-se a c2 = c0 , 2 c2k = c0 (2k)!
k1 l=1
(4l ) ,
k2,
c2k+1
= c1
1 (2k + 1)!
l=1
(4l 2 ) ,
k1.
Desta forma, chegamos ` seguinte soluao geral da equaao de Hermite: a c c y(z) = c0 y (z) + c1 y (z) , onde
(0) y (z) := 1 (0) (1)
2 z 2
k=2
z 2k (2k)!
k1
l=1
(4l ) ,
l=1
(4l 2 ) .
Conforme comentamos, o Teorema 9.3 da pgina 381 garante-nos que ambas as sries acima convergem absolutamente a e (0) (1) para todo z C, fazendo de y e y funoes inteiras de z. c Os polinmios de Hermite o Vamos agora passar ` deniao dos chamados polinmios de Hermite. Nestas notas usamos a chamada deniao a c o c f sica dos polinmios de Hermite. H uma outra convenao, usada especialmente na Teoria das Probabilidades, que o a c difere da deniao usada em F c sica por um reescalonamento. O leitor deve, por isso, ter cuidado ao comparar nossas expresses com outras usadas em textos da Teoria das Probabilidades. o
No caso em que z restrita a ser uma varivel real, chammo-la x, poss e a e e vel demonstrar que se for real e as sries acima forem innitas, ento ambas comportam-se, para |x| grande, como funoes que crescem mais rpido que e a c a exp(x2 /2). Isso provado no Apndice 10.C, pgina 482, e, por outros meios, em [113] ou em [109]. No contexto da e e a Mecnica Quntica esse fato indesejado, pois conduz a funoes de onda que no so de quadrado integrvel (vide a a e c a a a Seao 16.7, pgina 755). Assim, interessa-nos investigar sob quais circunstncias as sries acima podem ser reduzidas a c a a e polinmios. o Como vemos facilmente por (10.17), isso se d apenas quando for um n mero inteiro no-negativo e par: = 2m, a u a com m = 0, 1, 2, . . . etc. De fato, se = 2m, com m = 0, 1, 2, . . . etc., a expresso (10.17) diz-nos que 0 = cm+2 = a (0) (1) cm+4 = cm+6 = etc. Assim, caso m for par, y ser um polinmio de ordem m e caso m for a o mpar, y ser um a polinmio de ordem m. o Dena-se, assim, (2)m/2 (m 1)!! y2m (z), (2)
(m+1)/2 (0)
Hm (z) :=
(m!!)
para m mpar,
Cap tulo 10
422/1628
ou seja, m k1 2 2m 2 z 2k (2)m/2 (m 1)!! 1 z 2m (4l 2m) , para m par, 2 (2k)! l=1 k=2 (2)(m+1)/2 (m!!) z +
m1 2
Hm (z) :=
k=1
z (2k + 1)!
2k+1
l=1
(10.19)
para m mpar.
Hm (z) :=
k=0
(10.20)
A demonstraao pode ser encontrada no Apndice 10.D, pgina 483. c e a e E. 10.2 Exerccio. Tente mostrar isso sem ler o Apndice 10.D. As funoes Hm (z) so polinmios de grau m e so denominados polinmios de Hermite. Os fatores (2)m/2 (m 1)!! c a o a o e (2)(m+1)/2 (m!!) provm de uma convenao histrica sobre a normalizaao dos polinmios de Hermite. Os quatro e c o c o primeiros so a H0 (z) = 1 , H1 (z) = 2z , H2 (z) = 2 + 4z 2 , H3 (z) = 12z + 8z 3 ,
como facilmente se v pela deniao acima. e c Cada polinmio de Hermite Hm soluao da equaao de Hermite o e c c y (z) 2zy (z) + 2my(z) = 0, com m inteiro positivo. Como mencionamos, essa equaao possui ainda uma segunda soluao que, embora nita para c c todo z C, cresce muito rapidamente quando z real e |z| , o que elimina seu interesse no contexto da Mecnica e a Quntica (especicamente, no problema do oscilador harmnico). a o Os polinmios de Hermite possuem vrias propriedades importantes, tais como relaoes de ortogonalidade, frmulas o a c o de recorrncia etc., que sero discutidas na Seao 11.2.3, pgina 523. Tambm remetemos o estudante ` literatura e a c a e a pertinente supracitada.
10.1.4
A Equao de Airy ca
y (z) zy(z) = 0
A equaao diferencial c denominada equaao de Airy4 . Essa equaao surge em vrios contextos, como por exemplo no estudo da propagaao de e c c a c ondas eletromagnticas em meios com e ndice de refraao varivel, no estudo da reexo de ondas de radio na atmosfera c a a e, de especial importncia, na Mecnica Quntica, mais especicamente, na equaao de Schrdinger de uma part a a a c o cula que se move em uma dimenso sob um potencial que cresce linearmente com a posiao (i.e., sob uma fora constante). a c c Na Seao 16.5.3, pgina 748, tratamos com detalhe de um outro problema f c a sico onde ocorre a equaao de Airy, a saber, c o problema de determinar os modos de vibraao de uma corda no-homognea cuja densidade varia linearmente com a c a e posiao. c Comparando ` forma padro (10.1), constatamos que aqui a(z) = 0 e b(z) = z. Ambas essas funoes so anal a a c a ticas em todo o plano complexo e, pelo Teorema 9.3 da pgina 381, assim sero as soluoes da equaao de Airy, sendo que a a c c podemos encontr-las atravs de uma expanso em srie de potncias em torno de z0 = 0: y(z) = cn z n . a e a e e n=0
4 George Biddell Airy (18011892). A equaao de Airy surgiu originalmente em seus estudos sobre a Teoria do Arco- c Iris. Vide tambm e On the diraction of an object-glass with circular aperture, G. B. Airy, in Transactions of the Cambridge Philosophical Society (1835).
Cap tulo 10
423/1628
(n + 1)(n + 2)cn+2 z n
cn z n+1 = 0 .
n=0 III
(10.21)
III =
n=0
cn z n+1 =
n=1
cn1 z n
(n + 1)(n + 2)cn+2 z n
cn1 z n = 0 ,
n=1
ou seja, 2c2 +
n=1
Com isso, devemos ter c2 = 0 , ou seja, c2 = 0 , cn+3 = (n + 1)(n + 2)cn+2 cn1 = 0, cn , (n + 2)(n + 3)
n0.
O conjunto de coecientes {cn , n = 0, 1, 2, . . .} a unio dos seguintes trs conjuntos disjuntos: e a e {c3k , k = 0, 1, 2, . . .} = {c3k+1 , k = 0, 1, 2, . . .} = {c3k+2 , k = 0, 1, 2, . . .} = {c0 , c3 , c6 , c9 , . . .} {c1 , c4 , c7 , c10 , . . .} {c2 , c5 , c8 , c11 , . . .}
As relaoes de recorrncia de (10.22) implicam que os coecientes do primeiro conjunto acima so proporcionais a c0 , c e a que os coecientes do segundo conjunto acima so proporcionais a c1 e que os coecientes do terceiro conjunto acima so a a proporcionais a c2 . Porm, como c2 = 0, conclu e mos que os coecientes do terceiro conjunto so todos nulos. Logo, a
y(z) =
k=0
c3k z 3k +
k=0
c3k+1 z 3k+1 .
c3k+1 =
1 c1 3k k! (3k + 1)!!!
c3k+2 = 0 ,
z 3k 3k k! (3k 1)!!!
+ c1
k=0
(10.23)
y(z) = c0
k=0
+ c1
k=0
Cap tulo 10
424/1628
H ainda uma outra maneira de reescrever (10.23), a saber, usando as identidades a (3k 1)!!! = , (3k + 1)!!! = 3k k + 4 3
4 3
(10.24)
sendo, para x 0,
(x) :=
0
et tx1 dt
(10.25)
a bem conhecida Funao Gama de Euler, a qual satisfaz c (x + 1) = x(x) . assim como a assim denominada frmula de duplicaao o c (x)(x + 1/2) = 212x (2x) . A funao Gama de Euler e suas propriedades so discutidas com mais detalhe na Seao 10.4, pgina 464. c a c a E. 10.3 Exerccio. Usando (10.26) prove (10.24). Com isso, podemos escrever a soluao (10.23) da equaao de Airy como c c y(z) = c0 2 3 z 3k 32k k! k + k=0
(10.26)
(10.27)
2 3
+ c1
4 3
k=0
z 3k+1 32k k! k +
4 3
(10.28)
Essa expresso pode ser escrita como combinaao linear das seguintes funoes: a c c Ai(z) := z 3k 32k+2/3 k! k + k=0
2 3
k=0
z 3k+1 32k+4/3 k! k +
4 3
(10.29)
Bi(z) :=
31/2
k=0
z 3k 32k+2/3 k! k +
2 3
+
k=0
z 3k+1 32k+4/3 k! k +
4 3
(10.30)
as quais so denominadas funoes de Airy de primeiro tipo e de segundo tipo, respectivamente. As funoes Ai(z) e Bi(z) a c c foram denidas como acima por convenao histrica. Ambas so anal c o a ticas para todo z C e representam soluoes da c equaao de Airy. Propriedades dessas funoes podem ser estudadas em [113]. c c Como veremos com um pouco mais de detalhe ` pgina 451, a equaao de Airy pode ser transformada em uma a a c equaao de Bessel de ordem 1/3 e as funoes de Airy Ai(z) e Bi(z) podem ser escritas em termos das funoes de Bessel c c c J1/3 . Vide expresses (10.124) e (10.125). o
10.1.5
A Equao de Chebyshev ca
(1 z 2 )y (z) z y (z) + 2 y(z) = 0 (10.31)
A equaao diferencial c denominada equaao de Chebyshev5 . Em princ e c pio adotamos C arbitrrio, mas o maior interesse estar no caso em a a que um inteiro no-negativo. e a A equaao de Chebyshev acima pode ser posta na forma padro (10.1) com c a a(z) =
5 Pafnuty
z 1 z2
b(z) =
2 . 1 z2
Cap tulo 10
425/1628
Claramente, ambas as funoes so anal c a ticas em um disco de raio 1 centrado em z0 = 0. E, portanto, leg timo procurarmos c a ticas pelo menos no disco de raio 1 centrado soluoes na forma y(z) = n=0 cn z n (com z0 = 0). Tais soluoes sero anal c em z0 = 0. Inserindo-se (10.4)-(10.5) em (10.31), obtem-se
n=0
(n + 1)(n + 2)cn+2 z n
n=0
(n + 1)cn+1 z n+1 +2
n=0 II n=0
cn z n = 0 .
(10.32)
(n + 1)(n + 2)cn+2 z n
n=1
(n 1)n cn z n
ncn z n + 2
n=1 n=0
cn z n = 0 ,
ou seja, 2c2 + 2 c0 +
n=1 2
Como (n 1)n + n = n , obtemos o seguinte conjunto de equaoes c 2c2 + 2 c0 (n + 1)(n + 2)cn+2 n2 2 cn n2 2 cn , (n + 1)(n + 2) = 0, = 0, n 1 .
Essas expresses fornecem as seguintes equaoes recursivas para os coecientes cn : o c cn+2 = n 0 . (10.33)
De maneira anloga ao que zemos em exemplos anteriores, podemos expressar todos os coecientes cn com n par em a termos de c0 e todos os coecientes cn com n mpar em termos de c1 . Mais precisamente, tem-se c2k = 1 (2k)!
k1
l=0
(2l)2 2 c0 ,
c2k+1
1 (2k + 1)!
k1
l=0
(2l + 1)2 2 c1 .
Para C genrico conclu e mos que a soluao geral da equaao de Chebyshev da forma c c e y(z) = c0 y (z) + c1 y (z) , onde
(0) (1)
y (z) = 1 +
k=1
(0)
z 2k (2k)!
k1 l=0
(2l)2 2 ,
k1
(10.34)
y (z) = z +
k=1
(1)
l=0
(2l + 1)2 2 .
(10.35)
Os polinmios de Chebyshev o
Como mencionamos, o principal interesse reside no caso em que um inteiro no-negativo: = m. Nesse caso e a e (0) (1) fcil ver que ym (z) ser um polinmio de grau m, caso m seja par e ym (z) ser um polinmio de grau m, caso m seja a a o a o
Cap tulo 10
426/1628
1+
k=1
z 2k (2k)!
k1 l=0
(2l)2 m2 , m par,
z+
k=1
k1
l=0
Por uma convenao histrica, costuma-se redenir esses polinmios multiplicando-os por uma constante dependente de m c o o de modo a fazer o coeciente do monmio de maior grau, z m , igual a 2m1 . Aps alguns clculos entediantes o estudante o o a poder convencer-se que, com essa convenao, os polinmios acima podem ser escritos de uma forma compacta como a c o Tm (z) := ou ainda como Tm (z) =
p=0
m 2
m/2
k=0
(10.36)
m/2
(1)p
(10.37)
ambas vlidas para todo m = 0, 1, 2, 3, 4, . . .. Os polinmios assim denidos so denominados polinmios de Chebyshev, a o a o os quais desempenham um papel central na teoria da aproximaao. Vide, por exemplo, [42], [177], [158] ou [126]. c Os quatro primeiros polinmios de Chebyshev so o a T0 (z) = 1 , T1 (z) = z , T2 (z) = 2z 2 1 , T3 (z) = 4z 3 3z .
Uma das mais curiosas e importantes propriedades dos polinmios de Chebyshev Tm a seguinte identidade: o e Tm (z) = cos m arccos(z) , a qual pode ser facilmente demonstrada a partir da expresso (10.37). Vide exerc abaixo. a cio Demonstrar diretamente a validade das expresses (10.36) e (10.37) pode ser trabalhoso, por envolver o uso de vrias o a identidades combinatrias um tanto complicadas. O procedimento mais prtico provar ambas as expresses satisfazem o a e o a equaao de Chebyshev e as mesmas condioes iniciais, por exemplo em z = 0. c c E. 10.4 Exerccio resolvido. como cos m arccos(z) Prove (10.37) a partir de (10.38). Sugesto: dena y = arccos(z) e escreva o lado direito a = cos(my) = = = 1 imy e + eimy 2 1 m m [(cos y + i sen y) + (cos y i sen y) ] 2 1 2 1 2 z+i
m q=0
(10.38)
1 z2
+ z i 1 z2 1 z2
q m
m q
z mq i
+
q=0
m q
z mq i 1 z 2
m/2
=
p=0
(1)p
m 2p
z m2p 1 z 2
Cap tulo 10
427/1628
que o que quer e amos. Na passagem indicada por usamos o fato que os termos com q mpar nas duas somas anteriores cancelam-se mutuamente, sobrando, portanto, apenas os termos com q par, ou seja, da forma q = 2p com p = 0, . . . , m/2. Para provar (10.38) a partir de (10.37), basta ler as linhas acima do m para o comeo. c De (10.38) segue imediatamente a interessante propriedade de composiao c Tn (Tm (z)) = Tnm (z) , vlida para todos n, m inteiros no-negativos. a a (10.39)
10.1.6
em casos em que os coecientes a(z) e b(z) so funoes anal a c ticas de z em torno de um ponto z0 . Para tal, evocando o Teorema 9.3, pgina 381, procuramos soluoes na forma de sries de potncias: a c e e
y(z) =
n=0
cn (z z0 )n .
(10.41)
Vamos agora mostrar como o mtodo que descrevemos se aplica ao caso geral no qual as funoes a(z) e b(z) so tambm e c a e dadas em termos de sries de potncias: e e
a(z) =
n=0
an (z z0 )n ,
b(z) =
n=0
bn (z z0 )n .
Usando novamente (10.4) e (10.5) a equaao (10.40) ca (adotamos daqui para frente z0 = 0, sem perda de generalic dade)
(n + 1)(n + 2)cn+2 z n +
n=0 n=0
an z n
p=0
(n + 1)cn+1 z n
n=0 q=0
+
n=0
bn z n
n=0
cn z n
(10.42)
p z p e
q z q vale
n
p z p
p=0 q=0
q z q
=
p=0 q=0
p q z p+q =
n=0 m=0
nm m
zn .
(10.43)
(n + 1)(n + 2)cn+2 z n +
n=0 n=0 m=0
anm (m + 1)cm+1
zn +
n=0 m=0
bnm cm
z n = 0,
ou seja,
(n + 1)(n + 2)cn+2 +
n=0
(m + 1)anm cm+1 +
m=0 n m=0
bnm cm z n = 0,
(10.44)
Cap tulo 10
428/1628
para todo n 0. Observe que essa expresso determina cn+2 em termos de c0 , c1 , . . . , cn+1 . Assim, apenas xando c0 a e c1 podemos determinar todos os demais coecientes cn atravs da expresso recursiva acima. e a Como dissemos, os resultados que nos conduziram ao Teorema 9.3, pgina 381, garantem-nos que a srie y(z) = a e assim obtida convergente na mesma regio em que convergem as sries de a(z) e b(z), de modo que no e a e a precisamos provar isso. Alguns autores (por exemplo, [152]) usam as expresses recursivas (10.44) para demonstrar a o convergncia da srie y(z) = n=0 cn z n . Como dissemos, pelo nosso proceder isso no mais necessrio, mas o estudante e e a e a interessado convidado a estudar essa outra (elegante) demonstraao no texto supracitado. e c
n n=0 cn z
Para futura referncia, resumimos nossas concluses sobre equaoes regulares no seguinte teorema. e o c Teorema 10.1 (Soluo de equaoes regulares por expanso em srie de potncias) Considere-se a equaao ca c a e e c diferencial y (z) + a(z)y (z) + b(z)y(z) = 0 , (10.45) z C, com a(z) e b(z) analticas em torno de z0 e expressas em termos de suas sries de Taylor em torno de z0 como e
a(z) =
n=0
an (z z0 )n ,
b(z) =
n=0
bn (z z0 )n ,
sries estas supostas absolutamente convergentes em |z z0 | < r, para algum r > 0. Ento a soluao geral da equaao e a c c (10.45) pode ser expressa em termos de uma expanso em srie de potncias em z z0 : a e e
y(z) =
n=0
cn (z z0 )n ,
onde os coecientes cn podem ser obtidos atravs das relaoes recursivas e c cn+2 = 1 (m + 1)anm cm+1 + bnm cm , (n + 1)(n + 2) m=0
n
n0,
a partir dos dois primeiros coecientes c0 e c1 , arbitrrios. A expanso em srie de potncias para y(z) converge a a e e absolutamente pelo menos na regio |z z0 | < r, onde representa uma funao analtica. a c
10.2
Na presente seao ilustraremos o Teorema 9.4, pgina 383, estudando a soluao, por um mtodo devido a Frobenius6 , de c a c e algumas equaoes diferenciais ordinrias, homogneas de segunda ordem e singulares regulares de interesse (especialmente c a e em F sica). Boa parte dos mtodos apresentados nos exemplos aplicam-se a equaoes de ordem maior que dois, mas no e c a trataremos de tais generalizaoes aqui pois elas pouco apresentam de especial e seu interesse na F c sica reduzido. e Vale aqui novamente a advertncia sobre a omisso de alguns detalhes de clculos, sendo o estudante novamente e a a convidado a complet-los como exerc a cio (todos merecem ser feitos ao menos uma vez na vida). Todas as equaoes c particulares tratadas e suas soluoes so amplamente discutidos na vasta literatura pertinente, por exemplo, aquela c a listada ` pgina 415. a a Conforme demonstramos em pginas anteriores (Teorema 9.3, pgina 381), se a equaao diferencial linear homognea a a c e de segunda ordem b(z) a(z) y(z) = 0 (10.46) y (z) + y (z) + (z z0 ) (z z0 )2 for tal que a(z) e b(z) so funoes anal a c ticas de z em torno de um ponto z0 , ento o coeciente a uma singularidade de tipo polo de ordem 1 em z0 e o coeciente
6 Ferdinand
a(z) (zz0 )
tem no mximo a
b(z) (zz0 )2
Cap tulo 10
429/1628
de ordem 2 em z0 . Assim, pelas nossas denioes prvias, z0 um ponto singular regular da equaao (10.46). Nesse caso, c e e c o Teorema 9.3, pgina 381, diz-nos que ou a equaao (10.46) tem duas soluoes independentes da forma a c c
y(z) = (z z0 )
n=0
cn (z z0 )n .
(10.47)
onde C e a srie n=0 cn (z z0 )n absolutamente convergente para |z z0 | < r (e, portanto, representa uma funao e e c anal tica em torno de z0 ) ou ento a equaao (10.46) tem duas soluoes independentes, uma da forma (10.47) e outra da a c c forma
y(z) = (z z0 ) (ln(z z0 ))
n=0
cn (z z0 )n + (z z0 )
n=0
vn (z z0 )n .
(10.48)
a onde, novamente as sries n=0 cn (z z0 )n e n=0 vn (z z0 )n so absolutamente convergentes para |z z0 | < r (e, e portanto, representam funoes anal c ticas em torno de z0 ). Em ambos os casos acima r > 0 o raio do maior disco aberto e centrado em z0 dentro do qual a(z) e b(z) so anal a ticas. O chamado mtodo de Frobenius consiste precisamente em inserir-se o Ansatz (10.47) na equaao (10.46) e determinar e c recursivamente os coecientes cn , assim como o expoente . Caso duas soluoes distintas sejam encontradas dessa forma, c o problema est resolvido. Caso se encontre apenas uma soluao, ento uma segunda soluao da forma (10.48) deve ser a c a c procurada atravs da determinaao recursiva dos coecientes cn e vn , assim como dos expoentes e . e c Ao contrrio do que zemos no caso de equaoes regulares, quando primeiro exploramos exemplos particulares para a c depois tratarmos do caso geral, mais conveniente no presente contexto que nos apoderemos primeiramente da anlise e a geral para depois tratarmos de equaoes espec c cas, pois uma viso prvia das complicaoes envolvidas nos auxiliar a a e c a evitar certas armadilhas ocultas no tratamento de equaoes singulares regulares particulares7 . Ilustraremos o mtodo de c e Frobenius apresentando a resoluao da equaao de Euler, da equaao de Bessel, da equaao de Laguerre e das equaoes c c c c c hipergeomtrica e hipergeomtrica conuente, todas de interesse em F e e sica. O principal teorema que demonstraremos, o qual resume os resultados do mtodo de Frobenius e expressa a soluao e c de uma equaao singular regular homognea de segunda ordem geral, o seguinte: c e e Teorema 10.2 (Soluo de equaoes singulares regulares pelo mtodo de Frobenius) Seja a equaao diferenca c e c cial (z z0 )2 y (z) + (z z0 )a(z)y (z) + b(z)y(z) = 0 , (10.49) z C, com a(z) e b(z) analticas em torno de z0 e expressas em termos de suas sries de Taylor em torno de z0 como e
a(z) =
n=0
an (z z0 ) ,
b(z) =
n=0
bn (z z0 )n ,
sries estas supostas absolutamente convergentes em |z z0 | < r, para algum r > 0. e Seja denido o polinmio de segundo grau o f (x) := x(x 1) + a0 x + b0 = x2 + (a0 1)x + b0 , e considere-se a equaao algbrica c e f (x) = 0 , a qual denominada equaao indicial. Sejam as soluoes dessa equaao no plano complexo: e c c c = 1 a0 (a0 1)2 4b0 2 e + = 1 a0 + (a0 1)2 4b0 . 2 (10.50)
Ento a equaao (10.49) possui duas soluoes independentes y1 (z) e y2 (z), vlidas pelo menos na regio 0 < |z z0 | < r. a c c a a A forma dessas soluoes varia conforme as seguintes condioes complementares sobre e + : 1. + Z, 2. c c + = 0 ou 3. + Z \ {0}, como enumeramos a seguir:
7 O estudante convidado a no entrar em pnico diante da aparente complexidade de algumas expresses que obteremos. Na maioria das e a a o equaoes diferenciais de interesse as funoes a(z) e b(z) so apenas polinmios de grau 0, 1 ou 2 e as expresses obtidas no tratamento geral c c a o o se simplicam um tanto.
Cap tulo 10
430/1628
y1 (z) = (z z0 ) onde
n=0
cn ( )(z z0 )
y2 (z) = (z z0 )
+ n=0
cn (+ )(z z0 )n ,
(10.51)
cn ( ) =
1 f ( + n)
n1
(m + )anm + bnm cm ( ) ,
m=0
(10.52)
para todo n 1. Essas expresses recursivas permitem-nos obter todos os cn ( ) a partir de um c0 ( ) no-nulo o a arbitrrio e, respectivamente, todos os cn (+ ) a partir de um c0 (+ ) no-nulo arbitrrio. a a a 2. Caso + = 0. Neste caso (a0 1)2 4b0 = 0 e = + = 0 com 0 := e tem-se
1 a0 2
y1 (z) = (z z0 )0 onde
n=0
cn (0 ) (z z0 )n
n=0
vn (0 ) (z z0 )n , (10.53)
cn (0 ) = para todo n 1, e
1 f (0 + n)
(m + 0 )anm + bnm cm (0 )
m=0
(10.54)
+
m=0
(m + 0 )anm + bnm vm (0 ) ,
n 1 , (10.55)
onde os coecientes cn (0 ) so obtidos recursivamente a partir de um c0 (0 ) no-nulo arbitrrio e os coecientes a a a vn (0 ) so obtidos recursivamente a partir dos coecientes cm (0 ) e a partir de um v0 (0 ) arbitrrio (mas que pode a a ser escolhido igual a zero). 3. Caso + Z \ {0}. Neste caso + = (a0 1)2 4b0 um inteiro no-nulo. Denamos ento e a a n0 = (a0 1)2 4b0 .
Claro est que n0 {1, 2, 3, 4, . . .}. Denamos tambm a e 1 := , 1 := + , Com essas denioes tem-se c 1 = 2 + n0 . Ento, a
2 := + , 2 := ,
caso + 1, caso + 1.
ou (10.56)
y1 (z) = (z z0 )1
n=0
cn (1 )(z z0 )n
n=0
vn (z z0 )n ,
(10.57)
Cap tulo 10
431/1628
n1
(10.58)
n1
(m + 2 )anm + bnm vm ,
m=0
n1
Agnn0 +
(m + 2 )anm + bnm vm
m=0
para n > n0 ,
onde,
A = e
1 c0 (1 ) n0
n0 1
(10.60)
gn = [2(n + 1 ) 1] cn (1 ) +
anm cm (1 ) ,
m=0
n0.
(10.61)
As expresses recursivas para cn (1 ) dependem de um c0 (1 ) no-nulo e arbitrrio e as expresses recursivas para o a a o vn dependem tambm de um v0 arbitrrio. e a Todas as sries de potncia em z z0 apresentadas acima convergem absolutamente pelo menos na regio |z z0 | < r e e a e nela representam, portanto, funoes analticas. c
Para a demonstraao desse teorema devotaremos toda a Seao 10.2.1. Em uma primeira leitura o estudante poder c c a dispensar-se de um estudo detalhado da demonstraao e passar mais rapidamente aos exemplos discutidos na Seao c c 10.2.2, pgina 439, e seguintes. a
10.2.1
Daqui para frente, sem perda de generalidade, adotaremos z0 = 0. Seja, ento, a equaao (10.46) escrita agora na forma a c z 2 y (z) + za(z)y (z) + b(z)y(z) = 0 (10.62)
com a(z) e b(z) anal ticas em torno de z0 = 0 e expressas em termos de suas sries de Taylor em torno de 0 como e
a(z) =
n=0
an z n ,
b(z) =
n=0
bn z n .
Sob a luz do Teorema 9.4, pgina 383, procuraremos primeiramente uma soluao na forma a c
y(z) =
n=0
cn z n+ .
(10.63)
Antes de iniciarmos nossa anlise, comentemos que, sem perda de generalidade, podemos sempre adotar o primeiro a coeciente, c0 , como no-nulo: c0 = 0. Isso se deve ao seguinte. Se cm fosse o primeiro coeciente no-nulo, ter a a amos
y(z) =
n=m
cn z n+ .
Cap tulo 10
432/1628
y(z) =
n =0
cn +m z n +(+m)
y(z) =
n =0
c z n + = n
n=0
c z n+ . n
A ultima expresso possui a mesma estrutura de (10.63) mas, como se v, o primeiro coeciente c = cm , que no-nulo, a e e 0 e a por hiptese. o Isto posto, passemos a analisar o que se passa inserindo a expresso (10.63) em (10.62). Para (10.63) valem a
(n + )cn z n+1
n=0
(10.64)
n=0
(10.65)
(n + )(n + 1)cn z n+ +
an z n
n=0
(n + )cn z n+ +
n=0 n=0
bn z n
n=0
cn z n+ = 0.
(n + )(n + 1)cn z
n=0
n+
+
n=0 m=0
anm (m + )cm
n+
+
n=0 m=0
bnm cm
z n+ = 0.
ou seja,
n n
(n + )(n + 1)cn +
anm (m + )cm
m=0
+
m=0
bnm cm
z n+ = 0
= 0,
n1
anm (m + ) + bnm cm ,
m=0
n 1 .
m=0
A equaao (10.66) denominada na literatura equaao indicial, por ser uma equaao algbrica (de segundo grau) para c e c c e o ndice . Antes de escrevermos a soluao dessa equaao, denotemos por f o polinmio de segundo grau c c o f (x) = x(x 1) + a0 x + b0 = x2 + (a0 1)x + b0 .
Cap tulo 10
433/1628
f ( + n) cn
m=0
A equaao f () = 0 uma equaao algbrica de segundo grau, cujas soluoes so c e c e c a = 1 a0 (a0 1)2 4b0 2 e + = 1 a0 + (a0 1)2 4b0 . 2
Assim, a equaao indicial f () = 0 obriga o c ndice a ser ou + . H dois casos a considerar: o caso + Z e o a caso + Z. Trataremos primeiramente do caso + Z, que o mais simples. e Como a diferena + no um n mero inteiro, tem-se em particular que = + . Fora isso, como e + so c a e u a os dois unicos zeros (distintos) do polinmio f (x), tem-se que f ( + n) = 0 para todos n 1 inteiros. Se assim no o a fosse e houvesse n0 Z com, digamos, f (+ + n0 ) = 0 valeria = + + n0 , ou seja, + = n0 , que inteiro: uma e contradiao. Com isso, podemos de (10.69) obter c cn ( ) = 1 anm (m + ) + bnm cm ( ) f ( + n) m=0
n1 n1
O caso + Z
anm (m + ) + bnm cm ( ) ,
m=0
(10.70)
para todo n 1. Essas expresses recursivas permitem-nos obter todos os cn ( ) a partir de um c0 ( ) no-nulo o a arbitrrio e, respectivamente, todos os cn (+ ) a partir de um c0 (+ ) no-nulo arbitrrio. a a a Conclu mos assim, que no caso + Z a equaao diferencial (10.62) (com z0 = 0) possui duas soluoes c c linearmente independentes y1 (z) e y2 (z), dadas por
y1 (z) =
n=0
cn ( )z n+
y2 (z) =
n=0
cn (+ )z n++ ,
com cn ( ) dadas por (10.70), a soluao geral sendo uma combinaao linear de ambas. As constantes c0 ( ) e c0 (+ ) c c so no-nulas e arbitrrias. a a a O caso + Z O caso = +
O caso + Z subdivide-se em dois: o caso + = 0 e o caso + Z \ {0}. Comecemos com o primeiro. O caso = + ocorre se e somente se (a0 1)2 4b0 = 0 e, portanto, tem-se = + = 0 , com 0 := 1 a0 . 2 (10.71)
Note-se que se (a0 1)2 4b0 = 0 a equaao f (x) = 0 tem apenas 0 por raiz e, portanto, f (n + 0 ) = 0 para todo n 1. c Conseq entemente, os coecientes cn com n 1 sero dados recursivamente por (vide (10.69)) u a cn (0 ) = 1 anm (m + 0 ) + bnm cm (0 ) f (0 + n) m=0 1 (0 + n)2 + (a0 1)(0 + n) + b0
n1 n1
anm (m + 0 ) + bnm cm (0 ) ,
m=0
(10.72)
Cap tulo 10
434/1628
para todo n 1. Como se constata, a ultima expresso relaciona cn com os coecientes anteriores cn1 , . . . , c0 . Assim, a xando apenas c0 todos os demais esto determinados. Obtemos dessa forma, para o caso (a0 1)2 4b0 = 0 a soluao a c
y1 (z) =
n=0
cn (0 ) z n+0 ,
(10.73)
onde os coecientes cn (0 ) so obtidos recursivamente de (10.72) a partir de um c0 arbitrrio. Pelo Teorema 9.4, pgina a a a 383, a srie acima ser convergente (ao menos na regio onde as sries de a(z) e b(z) convergem). e a a e Com esse proceder obtivemos apenas uma soluao da equao diferencial (10.62). Como a mesma de segunda c ca e ordem, uma segunda soluao dever existir. Novamente, o Teorema 9.4, pgina 383, indica-nos que essa segunda soluao c a a c pode ter uma singularidade logar tmica. Podemos procurar essa segunda soluao seguindo um procedimento devido a c DAlembert8 , que consiste em procurar soluoes da forma c y2 (z) = Ay1 (z) ln(z) + v(z) , (10.74)
sendo y1 (z) a soluao j conhecida em (10.73) e onde A uma constante a ser determinada, assim como a funao v(z). c a e c Note-se que o Ansatz (10.74) est de acordo com o Teorema 9.4, pgina 383, que prev a ocorrncia de soluoes com a a e e c uma singularidade logar tmica. A especialidade do Ansatz de DAlembert est em espertamente9 prever que o fator que a multiplica ln(z) a primeira soluao y1 (z). e c Substituindo (10.74) na equaao (10.62), obtem-se a seguinte equaao para v(z): c c
z 2 v (z) + za(z)v (z) + b(z)v(z) = A 2zy1 (z) + (a(z) 1)y1 (z) .
(10.75)
E. 10.6 Exerccio. Verique! Como facilmente se verica, o lado direito dado pela expanso e a
A onde
fn z n+0 ,
n=0 n
(10.76)
fn = [2(n + 0 ) 1] cn (0 ) +
anm cm (0 ) .
m=0 n+0 . n=0 vn z
A equaao (10.76) sugere que uma soluao para v(z) deve ser procurada na forma v(z) = c c em (10.75) tem-se
n=0 n
(n + 0 )(n + 0 1)vn +
(m + 0 )anm + bnm vm z
m=0 n
n+0
= A
fn z n+0 ,
n=0
m=0
0 (0 1) + a0 0 + b0 v0 = Af0 , que uma identidade trivial, j que 0 (0 1) + a0 0 + b0 = 0 e que f0 = 0 [20 1 + a0 ] c0 (0 ) = 0, por (10.71). Para e a n 1 tem-se, porm, e vn =
8 Jean 9 Na
1 (0 + n)2 + (0 + n)(a0 1) + b0
n1
Afn +
(m + 0 )anm + bnm vm
m=0
n 1 ,
(10.78)
Le Rond dAlembert (17171783). literatura matemtica o truque por vezes denominado mtodo de reduo de DAlembert e pode ser usado em vrias equaoes a e e ca a c diferenciais de segunda ordem para se obter uma segunda soluao da equaao a partir de uma primeira soluao conhecida. c c c
Cap tulo 10
435/1628
o que permite obter recursivamente todos os vn a partir de v0 . Expressando-se os fn s como em (10.77), tem-se
n
vn (0 ) =
1 2 + ( + n)(a 1) + b (0 + n) 0 0 0
[2(n + 0 ) 1] cn (0 )
n1
anm cm (0 )
m=0
+
m=0
(m + 0 )anm + bnm vm ,
n 1 , (10.79)
que expressa os vn s em termos dos coecientes cn (0 ) de y1 (z), os quais, por sua vez, so dados pelas relaoes recursivas a c (10.72)10 , e de v0 (0 ) arbitrrio. a Observemos, por m, que A deve, nesse caso, ser forosamente no-nulo, pois se tomssemos A = 0 ver c a a amos por (10.79) que os coecientes vn satisfazem as mesmas relaoes de recorrncia dos cn (0 ). Assim, v(z) e y1 (z) no seriam c e a linearmente independentes. Podemos, portanto, adotar sem perda de generalidade A = 1. Resumindo nossas concluses, caso (a0 1)2 4b0 = 0, a soluao da equaao diferencial (10.62) (com z0 = 0) possui o c c duas soluoes linearmente independentes y1 (z) e y2 (z), dadas por c
y1 (z) =
n=0
cn (0 )z n+0
vn (0 )z n+0 ,
com 0 = (1 a0 )/2, com os cn (0 )s dados em (10.72) e com os vn (0 )s dados em (10.79), tomando-se A = 1. As constantes c0 () e v0 () so no-nulas e arbitrrias. a a a E de se notar que, como A no-nulo, uma das soluoes possui uma singularidade logar e a c tmica. O caso + Z \ {0}
Esse ultimo caso, com a generalidade com que o abordamos aqui, o mais complexo e o estudante poder dispensar seu e a estudo detalhado em uma primeira leitura, atendo-se preferencialmente aos exemplos das equaoes de Bessel e Laguerre, c das quais trataremos adiante. O caso + Z \ {0} semelhante ao caso anterior onde = + , a principal diferena sendo que aqui podem e c ocorrer situaoes onde A = 0, de modo que ambas as soluoes podem ser livres de singularidades logar c c tmicas. De fato, sabe-se de equaoes particulares onde tem-se A = 0 (um exemplo sendo a equaao de Bessel de ordem 1/2) e de equaoes c c c particulares onde tem-se A = 0 (um exemplo sendo a equaao de Bessel de ordem 1). c
Comecemos com algumas denioes. O caso + Z \ {0} s pode ocorrer se c o no-nulo. Denamos ento a a (a0 1)2 4b0 . n0 =
Claro est que n0 {1, 2, 3, 4, . . .}. Como + um inteiro no-nulo, denamos tambm a e a e 1 := , 1 := + , 2 := + , 2 := , caso + 1, caso + 1. ou (10.80)
Com essas denioes, est sempre garantido que c a 1 = 2 + n0 . Isso diz-nos que para todo n 1 a expresso f (1 + n) no pode se anular, pois se assim o fosse ter a a amos forosamente c 1 + n = 2 , ou seja, n = n0 , um absurdo, j que n0 1. Por outro lado, existe um unico valor de n para o qual a f (2 + n) se anula, a saber n = n0 . Com isso em mente, vemos que para a soluao = 1 da equaao indicial, a expresso (10.69) permite-nos obter c c a
10 Vide
Cap tulo 10
436/1628
todos os coecientes cn a partir de um c0 no-nulo: a cn (1 ) 1 = anm (m + 1 ) + bnm cm (1 ) f (1 + n) m=0 = 1 (1 + n)2 + (a0 1)(1 + n) + b0
n1 n1
anm (m + 1 ) + bnm cm (1 ) ,
m=0
(10.81)
para todo n 1. Isso fornece-nos a primeira soluao da equaao diferencial (10.62) (com z0 = 0): c c y1 (z) =
n=0
cn (1 )z n+1 ,
(10.82)
com os cn (1 ) dados em (10.81) em termos de c0 (1 ), arbitrrio mas no-nulo. a a Passemos a procurar a segunda soluao independente da equaao diferencial (10.62). c c O caso da soluao = 2 da equaao indicial requer cuidado pois, como comentamos, vale que f (2 + n0 ) = 0. Assim, c c para n = n0 a equaao (10.69) s faz sentido se o lado direito for igualmente nulo: c o
n0 1
an0 m (m + 2 ) + bn0 m cm (2 ) = 0 .
m=0
(10.83)
Essa relaao pode ou no ser satisfeita, dependendo da equaao diferencial tratada. Por exemplo, no caso da equaao c a c c de Bessel de ordem semi-inteira (ou seja, de ordem 1/2, 3/2, 5/2 etc.) verica-se que a relaao (10.83) satisfeita. c e J no caso da equaao de Bessel de ordem inteira verica-se que a relaao (10.83) no satisfeita. Isso ser discutido a c c a e a explicitamente na Seao 10.2.3, pgina 441. c a Devemos, portanto, separar provisoriamente os dois casos: aquele no qual (10.83) satisfeita e aquele no qual no . e a e Posteriormente veremos que essa separaao suprua, mas por ora ela logicamente necessria. c e e e a Na situaao feliz em que (10.83) satisfeita, o coeciente cn0 (2 ) ca indeterminado e pode ser escolhido livremente, c e j que as equaoes recursivas (10.69) no o xam e nada mais h para x-los. Com isso, as equaoes recursivas (10.69) a c a a a c determinam todos os demais coecientes cn (2 ), n 1, n = n0 , a partir de um c0 (2 ) no-nulo mas arbitrrio. Assim, a a obtemos a soluao c
y2 (z) =
n=0
cn (2 )z n+2 ,
(10.84)
anm (m + 2 ) + bnm cm (2 ) ,
m=0
(10.85)
Resta-nos ainda tratar do caso em que a relaao (10.83) no satisfeita. Aqui, devemos proceder como zemos no c a e caso = + e procurar uma soluao na forma y2 (z) = Ay1 (z) ln(z) + v(z), com A sendo uma constante e y1 sendo a c soluao j conhecida (10.82). Substituindo isso na equaao (10.62), obtem-se novamente a equaao (10.75) para v(z). c a c c Como facilmente se verica, o lado direito de (10.75) dado pela expanso e a
gn (1 )z
n=0
n+1
= A
gn (1 )z n+n0 +2 ,
n=0
(10.86)
11 O que ocorre se, por opao, escolhermos c ( ) no-nulo? Nesse caso ter a amos um termo a mais em y2 (z) do tipo cn0 z n0 +2 = cn0 z 1 . c n0 2 Esse termo se adicionaria na soluao geral ao termo c0 (1 )z 1 proveniente da soluao y1 (z), ou seja, corresponderia a uma nova escolha da c c constante arbitrria c0 (1 ), no representando, assim, nenhuma mudana na soluao geral. a a c c
Cap tulo 10
437/1628
anm cm (1 ) ,
m=0
n0,
(10.87)
A equaao (10.86) sugere que uma soluao para v(z) deve ser procurada na forma c c
v(z) =
n=0
vn z n+2 .
(n + 2 )(n + 2 1)vn +
anm (m + 2 )vm
m=0
+
m=0
bnm vm
z n+2 = A
gnn0 (1 )z n+2 ,
n=n0
o que implica
n
(n + 2 )(n + 2 1)vn +
(m + 2 )anm + bnm vm
m=0
0,
n = 0, . . . , n0 1 ,
(10.88)
(n + 2 )(n + 2 1)vn +
(m + 2 )anm + bnm vm
m=0
Agnn0 (1 ),
n n0 .
(10.89)
e Para n = 0 a relaao (10.88) tem a forma 2 (2 1) + a0 2 + b0 v0 = 0, mas como o fator entre colchetes f (2 ) = 0, c conclu mos que essa relaao trivialmente satisfeita e, assim, v0 pode ser escolhido livremente. Para 1 n n0 1, c e (10.88) implica que vn 1 = (m + 2 )anm + bnm vm f (2 + n) m=0 = 1 (2 + n)2 + (a0 1)(2 + n) + b0
n1 n1
(10.90)
(m + 2 )anm + bnm vm
m=0
(10.91)
m=0
(10.92)
a o sinal dependendo de se ter 1 = + ou 1 = , respectivamente. E fcil ver, porm, que em qualquer caso e (a1 1)2 4b0 = n0 . A relaao (10.92) xa A: c A = 1 c0 (1 ) n0
n0 1
(10.93)
Cap tulo 10
438/1628
a e c c O coeciente vn0 no xado por nenhuma das relaoes anteriores e pode ser escolhido livremente. Sua presena a c a e a adiciona um termo do tipo vn0 z n0 +2 = vn0 z 1 ` soluao geral e aplica-se novamente o comentrio de rodap da pgina 436. Para n > n0 , tem-se ainda por (10.89) vn = 1 f (2 + n)
n1
Agnn0 (1 ) +
anm (m + 2 ) + bnm vm
m=0
1 (2 + n)2 + (2 + n)(a0 1) + b0
n1
Agnn0 (1 ) +
anm (m + 2 ) + bnm vm
m=0
. (10.94)
com os gn (1 ) xados em (10.87) em termos dos coecientes cm (1 ) da soluao y1 (z). c As expresses (10.91), (10.93) e (10.94) permitem xar todos os vn s e a constante A em termos de v0 = 0 e de vn0 , o arbitrrios. Observemos, A no forosamente nulo, nem pode ser escolhido arbitrariamente. a a e c Sobre a constante A vale ainda uma observaao importante. c A condio (10.83) e a constante A ca
Observe o leitor que as relaoes de recorrncia (10.91), que xam os vm s com m = 0, . . . , n0 1, so idnticas `s c e a e a de (10.85), que xam todos os cm (2 )s, em particular aqueles com m = 0, . . . , n0 1. Os vm s so xados por um v0 a inicial no-nulo e os cm (2 )s por um c0 (2 ) inicial no-nulo. Contemplando aquelas relaoes de recorrncia, um minuto a a c e de meditaao nos leva a perceber que todos os vm so proporcionais a v0 e que todos os cm (2 ) so proporcionais a c a a c0 (2 ). Como as relaoes de recorrncia so idnticas, conclu c e a e mos que vm = v0 cm (2 ) c0 (2 ) para todo m = 0, . . . , n0 1 .
v0 c0 (2 )
n0 1
A ultima soma, porm, idntica `quela de (10.83)! Assim, percebemos que, sob a hiptese que (10.83) no satisfeita, e e e a o a e tem-se que A = 0. Por outro lado, se (10.83) satisfeita, ento A = 0. Mas se A = 0, as relaoes de recorrncia (10.94) tornam-se e a c e tambm idnticas `quelas de (10.85), que xam todos os cm (2 )s. Conclu e e a mos ento, que nesse caso em que A = 0 (ou a seja, sob (10.62)) vale tambm e v0 cm (2 ) , vm = c0 (2 ) mas agora para todo m 0. Assim, para A = 0 a soluao y2 (z) = A ln(z)y1 (z)+v(z) reduz-se (a menos de uma constante c multiplicativa trivial) ` soluao para y2 (z) dada em (10.84), obtida sob a condiao (10.83). a c c Nesse sentido, a condiao (10.83) suprua e podemos unicar as soluoes que obtivemos nos casos em que (10.83) c e e c ou no satisfeita e resumir nossas concluses da seguinte forma: e a e o Para + Z \ {0}, a equaao diferencial (10.62) (com z0 = 0) tem duas soluoes independentes y1 (z) e y2 (z), c c onde:
y1 (z) =
n=0
cn (1 )z n+1
vn z n+2 ,
onde os cn (1 ), n 1, tambm esto denidos em (10.81) a partir de um c0 (1 ) no-nulo arbitrrio e onde os vn s com e a a a a n 1, n = n0 , e a constante A so xados em (10.91), (10.93) e (10.94) em termos de v0 = 0 e de vn0 , arbitrrios. a
Cap tulo 10
439/1628
Como mencionamos, h casos em que A = 0, exemplos sendo as equaao de Bessel de ordem semi-inteira e a equaao a c c de Euler, para certos parmetros. a Com tudo isso a demonstraao do Teorema 10.2 est completa e podemos passar ao estudo de exemplos particulares. c a
10.2.2
onde a e b so constantes. Comparando com a forma (10.49), vemos que z0 = 0 um ponto singular regular da equaao, a e c vemos que a(z) = a e que b(z) = b. Assim, no presente caso tem-se an = a, 0, para n = 0 para n 1 , bn = b, 0, para n = 0 para n 1 .
A equaao de Euler j foi resolvida ` pgina 383, onde encontramos as soluoes (9.82) e (9.83). c a a a c Vamos trat-la aqui sob a luz do Teorema 10.2, pgina 429. Se procurarmos uma soluao na forma a a c
y(z) =
n=0
cn z n+ ,
(10.95)
(n + )cn z n+1
n=0
(10.96)
(10.97)
(n + )(n + 1)cn z n+ +
n=0
a(n + )cn z n+ +
n=0 n=0
bcn z n+ = 0
ou seja,
o que implica onde f o polinmio de segundo grau. e o f (x) := x(x 1) + ax + b = x2 + (a 1)x + b . Sem perda de generalidade, podemos sempre adotar c0 = 0, pois se cm fosse o primeiro coeciente no-nulo, a srie a e e cn z n+ poderia ser reescrita como n=0 c z n+ com c := cn+m e = + m, que tem a mesma forma genrica n n n=0 mas com c = 0. 0 Assim, devemos impor f () = 0, o que possui duas soluoes: c = 1a (a 1)2 4b 2 e + = 1a+ (a 1)2 4b . 2
12 Leonhard Euler (17071783). Um dos matemticos mais prol a cos e inuentes de todos os tempos, Euler foi um dos fundadores da teoria das equaoes diferenciais e deixou contribuioes seminais em inmeros campos da Matemtica e da F c c u a sica. A equaao de Euler apresentada c abaixo uma das vrias que levam seu nome. H uma outra equaao de Euler na Mecnica dos Fluidos, assim como frmulas de Euler, e a a c a o invariantes de Euler, mtodos de Euler, Anstze de Euler, multiplicadores de Euler, constantes de Euler, angulos de Euler, problemas de e a Euler, conjecturas de Euler, teoremas de Euler etc. Boa parte da notaao matemtica usada atualmente tambm sua invenao (por exemplo, c a e e c o s mbolo f para denotar a derivada de uma funao f ou o uso da letra e para designar o nmero 2, 7182818 . . .). c u
Cap tulo 10
440/1628
Se + no for um inteiro, a equaao f ( + n) = 0 no satisfeita para nenhum n 1 inteiro. A razo a a c a e a e seguinte: f um polinmio de segundo grau e, portanto, possui apenas duas soluoes. Assim, se f ( + n) = 0 ter e o c amos + n = , o que implica que + inteiro, uma contradiao. Nesse caso, ento, temos que adotar cn = 0 para e c a todo n 1 e as soluoes da equaao de Euler cam c c y1 (z) = z e y2 (z) = z + . (10.98)
y1 (z) = z 0
n=0
cn (0 )z n
vn (0 )z n ,
com os cn dados em (10.54) e os vn dados em (10.55). Observando (10.54), constata-se que nesse caso cn (0 ) = 0 para todo n, exceto n = 0, pois apenas a0 e b0 podem ser no-nulos. Igualmente, observando (10.55) constata-se que vn (0 ) a proporcional a cn (0 ) para todo n 1 e, com isso, apenas v0 pode ser no-nulo. Assim, temos nesse caso, tomando e a c0 = v0 = 1, e y2 (z) = z 0 ln(z) + z 0 . y1 (z) = z 0 a e o c O termo z 0 na expresso de y2 (z) o prprio y1 (z), de modo que podemos tomar como soluoes linearmente independentes as seguintes: (10.99) e y2 (z) = z 0 ln(z) . y1 (z) = z 0 Por m, consideremos o caso em que + um inteiro no-nulo. Denamos 1 e 2 como em (10.56), com e a n0 = | (a 1)2 4b|.
n=0
a Ento uma soluao ser y1 (z) = z 1 cn (1 )z n e a outra ter a forma y2 (z) = Ay1 (z) ln(z) + z 2 a c a n=0 aqui os cn so dados em (10.58), os vn so dados em (10.59) e A dada em (10.60). a a e
vn z n onde
Contemplando (10.58) constata-se que cn (1 ) = 0 para todo n 1, pois apenas a0 e b0 podem ser no-nulos, sendo a que podemos escolher c0 = 1, livremente. Disso conclu mos que y1 (z) = z 1 . Por (10.60) tem-se que A = 0 pois, no caso da equaao de Euler, an0 m = bn0 m = 0 para m = 0, . . . , n0 1. Por (10.59), tem-se analogamente c para 1 n n0 1 , 0, arbitrrio , para n = n0 , a vn = 0, para n > n0 , a a a Assim, apenas v0 e vn0 so arbitrrios, sendo que v0 deve ser no-nulo. Escolhendo v0 = 1 e vn0 = 0, segue que y2 (z) = z 2 . Concluindo, vale aqui que y1 (z) = z 1 e y2 (z) = z 2 . (10.100)
Todos esses resultados coincidem, como deveria ser, com aqueles obtidos em (9.82) e (9.83), pgina 383 e seguintes. a O estudo das soluoes da equaoes de Euler util na resoluao de equaoes com singularidades regulares mais gerais c c e c c como z 2 y (z) + za(z)y (z) + b(z)y(z) = 0 pela seguinte razo. Prximo ao ponto singular z0 = 0, podemos aproximar a(z) a0 e b(z) b0 , j que esses so os a o a a primeiros termos das expanses de Taylor de a(z) e b(z). Assim, para |z| pequeno o suciente, a equaao aproxima-se de o c z 2 y (z) + a0 z y (z) + b0 y(z) = 0 que uma equaao de Euler com a = a0 e b = b0 . Com isso, vemos que as soluoes da equaao geral se aproximam para e c c c |z| pequeno daquelas encontradas em (10.98), (10.99) ou (10.100), dependendo do caso. Esse proceder permite-nos, face a uma equaao singular regular geral, estudar qual tipo de singularidade deve ocorrer prximo ao ponto singular e, com c o isso, perceber qual das soluoes descritas no Teorema 10.2, pgina 429, se aplica. Em verdade, a resoluao da equaao c a c c indicial (10.50) fornece o mesmo tipo de informaao. c
Cap tulo 10
441/1628
10.2.3
A Equao de Bessel ca
Uma das equaoes diferenciais mais importantes dentro da classe que temos estudado a equaao de Bessel, a qual c e c surge em vrios problemas de F a sica e de Matemtica aplicada. A mesma pode ser encontrada, por exemplo, quando da a resoluao da equaao de Helmholtz em duas dimenses em coordenadas polares ou em trs dimenses em coordenadas c c o e o esfricas (levando `s chamadas funoes de Bessel esfricas). Vide para tal o Cap e a c e tulo 16, pgina 691. Para alguns a comentrios histricos sobre a origem das equaoes de Bessel e das funoes de Bessel, vide pgina 534. a o c c a A equaao diferencial c z 2 y (z) + zy (z) + (z 2 2 )y(z) = 0 , com z C, onde C uma constante, denominada equaao de Bessel e e c (10.49), vemos que z0 = 0 um ponto singular regular da equaao, vemos que e c presente caso tem-se 2 , para 1, para n = 0 1, para an = , bn = 0, para n 1 0, para A equaao indicial (10.50) conduz `s soluoes c a c = e + = .
13
(10.101)
de ordem . Comparando com a forma a(z) = 1 e que b(z) = z 2 2 . Assim, no n=0 n=2 n = 1 ou n 3
H, portanto, trs casos a considerar: 1. o caso em que 2 Z, 2. o caso em que 2 = 0 e 3. o caso em que a e 2 Z \ {0}. Observe o leitor que as condioes 2 e 3 correspondem a semi-inteiro ou inteiro. Os dois casos so os mais c a relevantes em F sica. O caso de inteiro conduz `s chamadas funoes de Bessel e o caso de semi-inteiro conduz `s a c a chamadas funoes de Bessel esfricas as quais surgem, por exemplo, em problemas de propagaao de ondas em duas ou c e c trs dimenses, respectivamente. Vide Seao 10.2.4, pgina 451. Para a origem das funoes de Bessel, vide nota histrica e o c a c o a a ` pgina 534. Nesse caso tem-se duas soluoes c y =
n=0
Caso 1. 2 Z.
cn ()z n ,
(m )anm + bnm cm () .
Podemos nos concentrar apenas nos coecientes cn (+), pois os coecientes cn () podem ser obtidos fazendo-se . Vale n1 1 (10.102) (m + )anm + bnm cm () , cn () = n(n + 2) m=0 e tem-se c1 () c2 () = 0, = = 1 c0 () , 2(2 + 2) 1 cn2 (), n(n + 2) n 3.
cn ()
13 Friedrich
Cap tulo 10
442/1628
Com isso, ca claro que c2k () c2k+1 () = = (1)k c0 () , (2k)!! (2 + 2)(4 + 2) (2k + 2) 0, k0. k0.
E. 10.7 Exerccio importante. Mostre isso! A ultima expresso pode ser reescrita como a c2k () c2k+1 () = = k! 22k 0, (1)k c0 () , (1 + )(2 + ) (k + ) k0.
k0,
onde usamos que (2 + 2)(4 + 2) (2k + 2) = 2k (1 + )(2 + ) (k + ) e tambm que (2k)!! = 2k k!. Como a funao e c denida em (10.25)-(10.26) satisfaz (k + 1 + ) = (1 + )(1 + )(2 + ) (k + ) , podemos ainda escrever c2k () c2k+1 () Por convenao histrica adota-se c o c0 () = e chega-se com isso ` expresso a a J (z) :=
k=0
= =
k0.
(1)k k! (k + 1 + )
2k+
(10.103)
Essa funao representa uma das soluoes da equaao de Bessel de ordem para o caso considerado e denominada c c c e funao de Bessel de primeiro tipo e ordem . Como comentamos, uma segunda soluao obtida fazendo-se : c c e
J (z) :=
k=0
(1)k k! (k + 1 )
z 2
2k
Conclu mos, assim, com a constataao que a soluao geral da equaao de Bessel de ordem para o caso 2 Z c c c e 1 J (z) + 2 J (z) , onde 1 e 2 so constantes arbitrrias. a a Por convenao histrica, costume considerar-se tambm uma combinaao linear particular de J (z), a saber a c o e e c seguinte: J (z) cos() J (z) N (z) := . (10.104) sen () Essa funao N (z) tambm representa uma das soluoes da equaao de Bessel de ordem (por ser uma combinaao c e c c c linear de duas outras) e denominada funao de Bessel de segundo tipo e ordem , ou ainda funao de Neumann14 de e c c ordem .
14 Carl
Neumann (18321925).
Cap tulo 10
443/1628
Conclu mos, assim, que a soluao geral da equaao de Bessel de ordem para o caso 2 Z tambm pode ser escrita c c e em termos das funoes J e N na forma c 1 J (z) + 2 N (z) , onde 1 e 2 so constantes arbitrrias. a a O estudante deve notar que as funoes J (z) e N (z), para 2 no-inteiro, so anal c a a ticas em toda a parte, exceto em z = 0, onde possuem um ponto de ramicaao devido ao fator z = exp( ln(z)). c Caso 2. 2 = 0. No caso em questo aplicam-se as soluoes (10.53), (10.54) e (10.55). Aqui tem-se 0 = (1 a0 )/2 = 0 e para y1 a c tem-se y1 (z) = n=0 cn (0)z n , com (por (10.54)) cn (0) = 1 n2
n1
Essas relaoes so idnticas `quelas de (10.102) (tomando-se aqui = 0) e, assim, tem por soluao c a e a c c2k (0) c2k+1 (0) = (1)k (1) (1)k c0 (0) , c0 (0) , = k! 22k (k + 1) (k!)2 22k k0
k0,
= 0,
onde usamos que (1) = 1 e (k + 1) = k!. Por convenao histrica adota-se c0 (0) = 1 e chega-se com isso ` expresso c o a a J0 (z) =
k=0
(1)k (k!)2
z 2
2k
(10.105)
Essa funao representa uma das soluoes da equaao de Bessel de ordem 0 e denominada funao de Bessel de primeiro c c c e c tipo e ordem 0. Para a segunda soluao y2 teremos, por (10.53), c
vn z n ,
com os vn dados em (10.55). Como o estudante pode facilmente vericar, adotando-se v0 = 0, obtem-se para esses coecientes as seguintes expresses: o v2k v2k+1 onde h0 hn Note-se que v0 = 0. E. 10.8 Exerccio importante. Verique! Com isso, a segunda soluao y2 (z) ser c a
= =
k0,
:= :=
0, 1+ 1 1 1 + + + = 2 3 n
n l=1
(1)k+1 hk (k!)2
z 2
2k
(10.108)
Cap tulo 10
444/1628
Por convenao histrica, costuma-se considerar tambm uma particular combinaao das soluoes J0 (z) e y2 (z): c o e c c N0 (z) := 2 y2 (z) + ( ln(2))J0 (z) = 2 + ln z 2
J0 (z) +
k=1
(1)k+1 hn (k!)2
z 2
2k
(10.109)
onde a chamada constante de Euler-Mascheroni15 , denida por16 : e := lim (hn ln(n)) = lim
n n
1+
1 1 1 + + + ln(n) 2 3 n
0, 5772156649 . . . .
Essa funao N0 (z) tambm representa uma das soluoes da equaao de Bessel de ordem 0 (por ser uma combinaao c e c c c linear de duas outras) e denominada funao de Bessel de segundo tipo e ordem 0, ou ainda funao de Neumann de e c c ordem 0. Conclu mos, assim, com a constataao que a soluao geral da equaao de Bessel de ordem 0 c c c e 1 J0 (z) + 2 N0 (z) , onde 1 e 2 so constantes arbitrrias. a a O estudante deve notar que a primeira soluao J0 (z) uma funao anal c e c tica para todo z C (pois a srie em (10.105) e converge absolutamente para todo z (mostre isso!)). J a soluao N0 (z) tambm anal a c e e tica em toda parte, exceto em z = 0, onde possui uma singularidade logar tmica. Como a equaao de Bessel invariante por , podemos sem perda de generalidade tomar aqui 2 um inteiro c e positivo. Como veremos, h dois casos a considerar: a. um inteiro positivo e b. um semi-inteiro positivo, ou a e e seja, no caso a. tem-se = 1, 2, 3, 4, . . . enquanto que no caso b. tem-se = 1/2, 3/2, 5/2, . . .. Caso a. = 1, 2, 3, 4, . . .. Vamos aqui escrever = p, com p sendo um inteiro positivo: p = 1, 2, 3, 4, . . .. Com essas convenoes, tem-se que 1 = p, 2 = p e n0 = 2p. As soluoes y1 e y2 so aquelas dadas em (10.57), c c a (10.58) e (10.59):
Caso 3. 2 Z \ {0}.
y1 (z) = z p
n=0
cn (p)z n
vn z n ,
onde, segundo (10.58), as constantes cn (p) satisfazem cn (p) = 1 (m + p)anm + bnm cm (p) f (p + n) m=0
n1
para n 1. Novamente, essas relaoes so idnticas `quelas de (10.102) e, assim, suas soluoes so c a e a c a c2k (p) c2k+1 (p) = (1)k (1 + p) (1)k p! c0 (p) = c0 (p) , k! 22k (k + 1 + p) k! 22k (k + p)! k0,
1 2p p!
k0.
= 0,
onde usamos que (1 + p) = p! e (k + 1 + p) = (k + p)!. Por convenao histrica adota-se c0 (p) = c o isso ` expresso a a z 2k+p (1)k Jp (z) = . k! (k + p)! 2
k=0
e chega-se com
Essa funao representa uma das soluoes da equaao de Bessel de ordem p (com p = 1, 2, 3, 4, . . .) e denominada c c c e funao de Bessel de primeiro tipo e ordem p. c O leitor convidado a constatar que a expresso (10.105) para J0 (z) idntica a essa se tomarmos p = 0. Na Figura e a e e 10.2, pgina 445, exibimos o grco de algumas das primeiras funoes de Bessel de ordem inteira. a a c
Euler (17071783). Lorenzo Mascheroni (17501800). constante foi introduzida por Euler em 1735, o qual calculou seus 16 primeiros d gitos decimais. Em 1790, Mascheroni calculou seus 32 primeiros d gitos decimais, dos quais apenas os primeiros 19 estavam corretos.
16 Essa 15 Leonhard
Cap tulo 10
445/1628
1.0
J0
J1
0.5
J2
J3
0.0 0 2 4 6 8 10 12 14 16 18
20 x
0.5
Figura 10.2: Grcos das funoes de Bessel Jm (x), m = 0, . . . , 3, para x [0, 20]. a c
vn (p)z n .
Por (10.59), n1 1 (m p)anm + bnm vm (p) , f (n p) m=0 vn (p) = arbitrrio , a n1 1 (m p)anm + bnm vm (p) Agn2p + f (n p) m=0 1 2p c0 (p)
2p1
A constante A dada em (10.60) e, para o presente caso, tem-se e A = Agora, por (10.59), 1 v2p2 (p) = f (p 2) de onde se v imediatamente que e v2p2 (p) =
2p3
m=0
2p p! v2p2 (p) . 2p
m=0
22 (p
p2,
Cap tulo 10
446/1628
p2.
vn (p)z n .
com n1 1 (m p)anm + bnm vm (p) , f (n p) m=0 arbitrrio , a vn (p) = n1 1 (m p)anm + bnm vm (p) gn2p + f (n p) m=0 para 1 n 2p 1 , para n = 2p , , para n > 2p, (10.111)
Um clculo um pouco trabalhoso, que nos poupamos de apresentar em detalhe, conduz ao seguinte resultado: a y2 (z) = Jp (z) ln(z) com p = 1, 2, 3, 4, . . .. E. 10.9 Exerccio. Tome uma hora livre e mostre isso. O leitor convidado a constatar que a expresso (10.108) idntica a essa se tomarmos p = 0 (com a convenao que e a e e c = 0). Por convenao histrica, costuma-se considerar tambm uma particular combinaao das soluoes Jp (z) e y2 (z): c o e c c 2 y2 (z) + ( ln(2))Jp (z) 2 + ln z 2 Jp (z) 1 (p n 1)! z 2 n=0 n! 2
p1 2np
z 2
2n+p
1 n=0 ( )
Np (z) :=
= 1 (p n 1)! 2 n=0 n!
p1
z 2
2np
z 2
2n+p
, (10.112)
onde a constante de Euler-Mascheroni mencionada acima. Essa funao Np (z) tambm representa uma das soluoes e c e c da equaao de Bessel de ordem p (por ser uma combinaao linear de duas outras) e denominada funao de Bessel de c c e c segundo tipo e ordem p, ou ainda funao de Neumann de ordem p. Na Figura 10.3, pgina 447, so exibidos grcos de c a a a algumas das primeiras funoes de Neumann. c Conclu mos, assim, com a constataao que a soluao geral da equaao de Bessel de ordem p, p = 1, 2, 3, 4, . . ., c c c e 1 Jp (z) + 2 Np (z) , onde 1 e 2 so constantes arbitrrias. a a O estudante deve notar que a primeira soluao Jp (z) uma funao anal c e c tica para todo z C (pois a srie em (10.105) e converge absolutamente para todo z (mostre isso!)). J a soluao Np (z) tambm anal a c e e tica em toda parte, exceto em z = 0, onde possui uma singularidade logar tmica assim como um polo de ordem p. c a e Advertncia. As funoes de Neumann so tambm por vezes denotadas por Y . e Precisamos estudar ainda o caso em que um n mero semi-inteiro onde, diferentemente do caso que acabamos de e u estudar, as soluoes independentes so ambas livres de singularidades logar c a tmicas.
Cap tulo 10
447/1628
1 0 0 1 N1 2 3 4 5 6 7 8 9
N0
5 10 15
N2
Figura 10.3: Grcos das funoes de Neumann Nm (x), m = 0, . . . , 2, para x [1/2, 15]. Todas divergem em x = 0, a a c divergncia sendo tanto mais forte quanto maior m. e
Caso b. = 1/2, 3/2, 5/2, . . .. Vamos convencionar escrever = q + 1/2, com q = 0, 1, 2, . . .. Teremos aqui n0 = (2q + 1), 1 = = q + 1/2 e 2 = = q 1/2. As soluoes y1 e y2 so aquelas dadas em (10.57), (10.58) e (10.59): c a
y1 (z) = z q+1/2
n=0
cn (q)z n
vn (q)z n ,
m+q+
m=0
1 2
(10.113)
para n 1. Novamente, essas relaoes so idnticas `quelas de (10.102) com substitu por q + 1/2 e, assim, suas c a e a do soluoes so c a c2k (q) c2k+1 (q) = =
1 (1)k 1 + q + 2 k! 22k k + 1 + q + 1 2
c0 (q) ,
k0.
0,
k0, 1 2q+1/2 1 + q +
onde usamos (1 + q + 1/2) = q!(1/2) e (k + 1 + q + 1/2) = (k + q)!(1/2). Adotando c0 (q) = chegamos ` expresso a a Jq+1/2 (z) :=
k=0 1 2
z (1)k k! (k + 1 + q + 1/2) 2
2k+q+1/2
Essa funao representa uma das soluoes da equaao de Bessel de ordem q + 1/2 com q = 0, 1, 2, . . . e denominada c c c e funao de Bessel de primeiro tipo e ordem q + 1/2. c
Cap tulo 10
448/1628
vn (q)z nq1/2 .
mq
1 2
anm + bnm
vm (q) ,
1 n 2q , n = 2q + 1 ,
n1
Agn2q1 +
2q
m=0
mq
1 2
, n > 2q + 1,
onde,
1 c0 (q) (2q + 1)
m=0
mq
1 2
(10.114)
vn (q) =
1 vn2 (q) . f (n q 1 ) 2
(10.115)
pois a1 = b1 = 0. Conjuntamente com (10.115), isso diz-nos que vn (q) = 0 para todo n mpar com 1 n 2q. A importncia dessa observaao reside no seguinte. Por (10.114) v-se facilmente que a c e A = 1 v2q1 (q) . c0 (q) (2q + 1)
Portanto, tem-se no caso presente que A = 0 e, assim, a segunda soluao livre de singularidades logar c e tmicas. Alm e disso, com A = 0 as expresses recursivas para vn (q) simplicam-se para o n1 1 1 1 n 2q , anm + bnm vm (q) , mq f nq 1 2 2 m=0 arbitrrio , a n = 2q + 1 , (10.116) vn (q) = n1 1 1 mq anm + bnm vm (q) , n > 2q + 1. f nq 1 2 2 m=0
Como j vimos, para 1 n 2q os vn (q) com n a mpar so nulos. Como v2q+1 arbitrrio, conveniente escolh-lo a e a e e igual a zero tambm. Com isso, as relaoes (10.116) cam idnticas `quelas de (10.102) com substitu por (q + 1/2) e c e a do e, assim, suas soluoes so c a v2k (q) v2k+1 (q) Adotando v0 (q) = 2q1/2 = =
1 (1)k 1 q 2 k! 22k k + 1 q 1 2
v0 (q) ,
k0.
0,
k0, 1 1q
1 2
Cap tulo 10
449/1628
z 2
2kq1/2
Essa funao representa uma segunda soluao da equaao de Bessel de ordem q + 1/2 com q = 0, 1, 2, . . . e denominada c c c e funao de Bessel de primeiro tipo e ordem (q + 1/2). c Conclu mos, assim, que a soluao geral da equaao de Bessel de ordem q + 1/2 com q = 0, 1, 2, 3, . . ., c c e 1 Jq+1/2 (z) + 2 Jq1/2 (z) , onde 1 e 2 so constantes arbitrrias. a a Podemos denir tambm as funoes de Neumann de ordem q + 1/2 em analogia com (10.104), mas aqui, tem-se e c Nq+1/2 (z) := Jq+1/2 (z) cos((q + 1/2)) Jq1/2 (z) = (1)q+1 Jq1/2 (z) . sen ((q + 1/2)) (10.117)
De qualquer forma, a soluao geral da equaao de Bessel de ordem q + 1/2 com q = 0, 1, 2, 3, . . ., c c e 1 Jq+1/2 (z) + 2 Nq+1/2 (z) , onde 1 e 2 so constantes arbitrrias. a a O estudante convidado a constatar que Jq+1/2 (z) uma funao anal e e c tica para todo z C, z = 0, mas em z = 0 possui uma singularidade como z q+1/2 , que uma singularidade do tipo ponto ramicaao (de grau 2). Paralelamente, e c Jq1/2 (z) (e, portanto, Nq+1/2 (z)) anal e tica para todo z = 0, mas possui em z = 0 uma singularidade como z q1/2 , que uma singularidade do tipo ponto ramicaao (de grau 2). Essas armaoes so ilustradas no prximo exerc e c c a o cio. E. 10.10 Exerccio semi-resolvido. Com q = 0 tem-se pelas nossas denioes acima c
J1/2 (z) =
k=0
z (1)k k! (k + 1 + 1/2) 2
2k+1/2
J1/2 (z) =
k=0
(1)k k! k +
1 2
z 2
2k1/2
Usando as identidades (k + 1 + 1/2) = (3/2) (2k + 1)!! = 2k (2k + 1)!! , 2 2k (2k)!!(2k 1)!! = (2k)! ,
2k k! = (2k)!! , (prove-as!) teremos, J1/2 (z) = z 1/2 e reconhecemos que J1/2 (z) = Observe ainda que 2
k=0
k=0
(1)k 2k z , (2k)!
2 cos(z) . z 1/2
(10.118)
a cito que as funoes sen (z)/z 1/2 e cos(z)/z 1/2 so, de fato, soluoes da c a c E. 10.11 Exerccio. Verique por clculo expl equao de Bessel de ordem = 1/2. ca
Cap tulo 10
450/1628
Para futura referncia, reunimos nossos resultados sobre as soluoes da equaao de Bessel no seguinte teorema: e c c Teorema 10.3 (Soluoes da equao de Bessel) Seja a equaao de Bessel de ordem C c ca c z 2 y (z) + zy (z) + (z 2 2 )y(z) = 0, com z C. 1. Caso Z duas soluoes independentes so J (z) e J (z), onde c a
J (z) :=
k=0
(1)k k! (k + 1 + )
z 2
2k+
(10.119)
Denindo J (z) cos() J (z) , sen () as funoes J (z) e N (z) so tambm duas soluoes independentes. c a e c N (z) := 2. Caso Z podemos, sem perda de generalidade, adotar 0, pois a equaao de Bessel invariante pela mudana c e c . Com essa convenao, duas soluoes independentes so J (z) e N (z), onde c c a
J (z) :=
k=0
(1)k k! (k + 1 + )
1
z 2
2k+
=
k=0
(1)k k! (k + )!
z 2
2k+
(10.120)
z 2
2n+
l=1
n1.
As funoes J (z), C, so denominadas funoes de Bessel de primeiro tipo e ordem , ou simplesmente funoes de c a c c Bessel de ordem . As funoes N (z), C, so denominadas funoes de Bessel de segundo tipo e ordem , ou funoes c a c c de Neumann de ordem . Comentrio. O caso em que semi-inteiro est inclu no caso 1, acima: Z. a e a do At o momento denimos as funoes de Bessel J atravs das expresses (10.119) e (10.120), mas apenas para s e c e o que no sejam inteiros negativos. A expresso (10.119) contm uma funao (x) no denominador e (x) diverge se x for a a e c inteiro negativo. Por isso, em princ pio (10.119) no est denida para s inteiros negativos. a a A experincia mostrou, porm, que conveniente denir J para s que sejam inteiros negativos atravs da seguinte e e e e expresso: a Jm (z) := (1)m Jm (z) , (10.121) para todo m N e todo z C. Note que, como a equaao de Bessel invariante pela troca , Jm denida acima c e soluao da equaao de Bessel de ordem m. A convenincia dessa convenao no pode ser apreciada no momento, e c c e c a mas ir manifestar-se quando discutirmos algumas propriedades das funoes de Bessel na Seao 11.2.6, que inicia-se na a c c pgina 534, tais como as relaoes de recorrncia e a funao geratriz. a c e c ca E. 10.12 Exerccio. Mostre que com a conveno acima vale Jm (z) = Jm (z), Sugesto: Jm (z) uma soma de monmios da forma z a e o
2k+m
m N0 ,
Cap tulo 10
451/1628
10.2.4
Diversas equaoes diferenciais podem ser transformadas na de Bessel e podem ter suas soluoes expressas em termos de c c funoes de Bessel e de Neumann. Uma classe bastante geral composta pelas equaoes da forma c e c z 2 y (z) + (1 2)zy (z) + 2 2 z 2 + 2 2 2 y(z) = 0 , com , , e constantes (com = 0), cuja soluao mais geral c e az J (z ) + bz N (z ) , onde a e b so constantes arbitrrias. a a E. 10.13 Exerccio. Prove as armaoes acima, ou seja, prove que (10.123) asoluo geral de (10.122). Sugesto: dena c e ca a a funo v por y(z) =: z v(z ) e, substituindo em (10.122), mostre que v satisfaz a equao de Bessel de ordem . ca ca Dois casos particulares de interesse, dentro da classe denida em (10.122), so a equaao de Airy (que corresponde a c a = 1/2, = 2/3, = 3/2 e = 1/3) e a equaao de Bessel esfrica (que corresponde a = 1/2, = 1, = 1 e c e = + 1/2). Trataremos desses casos logo abaixo. O estudante deve observar que, caso 2 no seja um inteiro positivo ou zero, a equaao (10.122) no singular regular a c a e em z0 = 0 (compare ` (10.46)) e, portanto, a ela no se aplica o mtodo de Frobenius. A soluao dada em (10.123), de a a e c fato, no como aquelas obtidas pelo mtodo de Frobenius, que seriam da forma z (z) ou da forma z ln(z)(z), para a e e alguma constante e com anal tica em torno de z0 = 0. Por exemplo, tem-se z J (z ) = z 2
+ k=0
(10.122)
(10.123)
(1)k 2k+ k! (k + 1 + )
z 2
2k
que no da forma z (z) com anal a e tica em torno de z0 = 0, pois a srie do lado direito no uma srie de potncias e a e e e em z. A equao de Airy e a equao de Bessel ca ca
Como dissemos acima, vrias equaoes diferenciais podem ser transformadas em equaoes de Bessel. Um exemplo a c c e o da equaao de Airy: y (z) zy(z) = 0, cujas soluoes foram apresentadas na Seao 10.1.4, pgina 422. A maneira c c c a mais simples de ver isso a seguinte17 . Se y uma soluao da equaao de Airy, ento a funao v(z) denida por por e e c c a c 2 c y(z) =: zv 3 z 3/2 satisfaz a equaao de Bessel de ordem = 1/3, como facilmente se constata. E. 10.14 Exerccio. Verique isso! mos c c c c Conclu3/2 da que as soluoes y(z) da equaao de Airy podem ser escritas como combinaoes lineares das funoes 2 e zJ1/3 2 z 3/2 . Com efeito, pelas denioes (10.29)-(10.30) e (10.119) (para = 1/3) pode-se c zJ1/3 3 z 3 facilmente constatar a validade das relaoes c Ai(z) = z 1/2 J1/3 3 z 1/2 J1/3 3 2 3/2 + J1/3 z 3 2 3/2 J1/3 z 3 2 3/2 z 3 2 3/2 z 3 , (10.124)
Bi(z) =
(10.125)
que permitem expressar as funoes de Airy Ai e Bi em termos das funoes J1/3 . c c E. 10.15 Exerccio. Prove as relaoes (10.124)-(10.125) usando (10.29)-(10.30) e (10.119). c Na Seao 16.5.3, pgina 748, veremos uma aplicaao dessas consideraoes sobre as soluoes da equaao de Airy. c a c c c c
17 Uma
Cap tulo 10
452/1628
A equaao de Bessel esfrica surge, por exemplo, quando da resoluao da equaao de Helmholtz em trs dimenses c e c c e o em coordenadas esfricas (vide Cap e tulo 16, pgina 691) e, portanto, importante para o estudo da propagaao de ondas a e c ou de fenmenos de difuso em trs dimenses. o a e o Se denirmos v(z) = z 1/2 y(z), obtemos para v a equaao diferencial c z 2 v (z) + zv (z) + z2 + 1 2
2
v(z) = 0 ,
1 que nada mais que a equaao de Bessel usual de ordem + 2 . Conseq entemente as soluoes da equaao de Bessel e c u c c esfrica so da forma e a N+ 1 (z) J+ 1 (z) + B 2 , y(z) = A 2 z z
onde A e B so constantes arbitrrias. a a Em funao disso, denem-se as chamadas funoes de Bessel esfricas de ordem por c c e j (z) := J 1 (z) , 2z + 2 (10.126)
E bastante claro que as funoes n (z) so singulares em z = 0, enquanto que as funoes j (z) no divergem em z = 0, c a c a sendo at mesmo funoes inteiras (anal e c ticas em toda parte) para inteiro no-negativo. a Um caso de particular interesse aquele no qual = l N0 . Nesse caso, podemos escrever a soluao geral da equaao e c c de Bessel esfrica na forma e y(z) = ajl (z) + bnl (z) , com a e b constantes arbitrrias, onde a jl (z) := J 1 (z) , 2z l+ 2 N 1 (z) 2z l+ 2 = e
(10.117)
(1)l+1
(10.129)
sen (z) z
n0 (z) =
cos(z) . z
(10.130)
Algumas propriedades das funoes de Bessel esfricas sero estudadas na Seao 11.2.7, pgina 548. As primeiras funoes c e a c a c de Bessel e de Neumann esfricas encontram-se listadas em (11.227) e (11.228). e
10.2.5
Uma outra equaao diferencial fortemente relacionada ` de Bessel a equaao de Bessel modicada de ordem : c a e c
Cap tulo 10
453/1628
com z C, onde C uma constante. Comparando-se a equaao de Bessel (10.101), pgina 441, fcil perceber que e c a e a a equaao modicada pode ser transformada na de Bessel se zermos formalmente na primeira a substituiao z iz. De c c forma direta, imediato constatar que se y(z) uma soluao da equaao de Bessel, ento y(iz) uma soluao da equaao e e c c a e c c de Bessel modicada. Conclu mos que no caso de no-inteiro a soluao geral de (10.131) dada por uma combinaao a c e c linear de J (iz) e J (iz) (ou de J (iz) e N (iz)) e para = n, inteiro, por uma combinaao linear de Jn (iz) e Nn (iz). c Isso sugere e justica as denioes que seguem. c Denem-se as funoes de Bessel modicadas de primeira espcie e de ordem , denotadas por I (z), por c e I (z) := i J (iz) = ei/2 J (iz) , sendo que para = n, inteiro, tem-se In (x) = In (x) = in Jn (iz) . As funoes de Bessel modicadas de segunda espcie e de ordem , denotadas por K (z), so denidas por c e a K (z) := i+1 J (iz) + iN (iz) . 2
As funoes K so denominadas por alguns autores funoes de Macdonald18 . c a c a a Advertncia. O estudante deve ser advertido do fato de no haver, infelizmente, uniformidade na literatura quanto ` e deniao das funoes K apresentadas acima, pois alguns textos adotam para K uma combinaao linear das funoes c c c c J (iz) e N (iz) com constantes ligeiramente diferentes daquelas de acima. A referncia [190], por exemplo, multiplica e a expresso por cos() de modo a fazer com que as funoes K satisfaam as mesmas relaoes de recorrncia que as a c c c e funoes I . Desastradamente, porm, isso faz com que a expresso se anule se = 1/2 + k, com k Z. A deniao que c e a c adotamos a mais comum atualmente e, curiosamente, coincide com a original de Basset19 de 1886. Vide [190] para e outros comentrios sobre esse ponto. a Note-se que I (z) e K (z) so linearmente independentes, de modo que a soluao geral da equaao de Bessel modicada a c c de ordem uma combinaao linear aI (z) + bK (z), onde a e b so constantes. e c a E. 10.16 Exerccio. Mostre que, com as denioes acima, c K (z) = I (z) I (z) 2 sen () e que K (z) = K (z) .
I (z) :=
k=0
1 k! (k + 1 + )
z 2
2k+
(10.132)
E de se notar que se > 0 e se e z > 0 ento todos os termos da srie acima so positivos e, portanto, I (z) > 0. Assim, a e a ao contrrio das funos de Bessel, as funoes de Bessel modicadas I no se anulam no eixo real positivo. O mesmo a c c a pode ser facilmente provado sobre as funoes K , as quais divergem em z = 0. c Para o caso em que = m N0 , temos
Im (z) :=
k=0
1 k! (m + k)!
z 2
2k+m
(10.133)
10.2.6
A Equao de Laguerre ca
zy (z) + (1 z)y (z) + y(z) = 0,
18 Hector 19 Alfred
Munro Macdonald (18651935). Barnard Basset (18541930). 20 Edmond Nicolas Laguerre (18341886).
Cap tulo 10
454/1628
A equaao de Laguerre, e uma parente prxima, a equaao de Laguerre associada, apresentada na Seao 10.3.2, pgina c o c c a 463, emergem em um dos problemas mais importantes da F sica, a equaao de Schrdinger para o tomo de hidrognio c o a e em coordenadas esfricas. Vide Seao 16.8, pgina 756. A equaao de Laguerre tambm um caso particular da equaao e c a c e e c hipergeomtrica conuente, a ser discutida na Seao 10.2.8, pgina 459. e c a
E elementar constatar-se que, para essa equaao, = + = 0 e, portanto, estamos no caso 2 do Teorema 10.2 da pgina c a 429 com f (x) = x2 , 0 = 0,
Comparando com a forma (10.49), vemos que z0 = 0 um ponto singular regular da equaao, vemos que a(z) = 1 z e c e que b(z) = z. Assim, no presente caso tem-se 1, para n = 0 , para n = 1 1, para n = 1 , an = bn = . 0, para n = 0 ou n 2 0, para n 2
y1 (z) =
n=0
cn z n
vn z n ,
(10.134)
onde cn e vn = 1 n2 1 n2 1 = 2 n
n1 m=0
manm + bnm cm =
n+1 cn1 , n2
n2,
n1
2n 1 cn
anm cm +
m=0 m=0
manm + bnm vm
2n cn + cn1
n+1 vn1 , n2
n 1 ,
(10.135)
(1)n (n!)2
n1 l=0
( l) =
l=0
( l)
zn = 1 +
(10.136)
A situaao de maior interesse em F c sica aquela na qual um inteiro no-negativo: = m N0 . A razo e e a a disso ser explicada detalhadamente no Apndice 10.E, pgina 484, mas adiantamos que nos casos em que no um a e a a e inteiro positivo a soluao y1 cresce muito rapidamente (exponencialmente) quando z restrito ao semi-eixo real positivo. c e Esse comportamento inadequado em vrias aplicaoes, por exemplo no clssico problema do tomo de hidrognio da e a c a a e Mecnica Quntica, o que leva ao descarte de tais soluoes. a a c J no caso em que um inteiro no-negativo, = m N0 , a soluao dada em (10.136) reduz-se a um polinmio de a e a c o grau m: y1 (z) = 1 + (1)n (n!)2 n=1
m n1
l=0
(m l)
zn
= 1+
m
(1)n n! n=0
Cap tulo 10
455/1628
Os chamados polinmios de Laguerre, denotados por Lm (z), so denidos como m! vezes o polinmio acima21 : o a o
m
(1)n
n=0
m! n!
m n
zn .
(10.137)
L2 (z) = 2 4z + z 2 ,
L3 (z) = 6 18z + 9z 2 z 3 .
a E fcil provar, tambm, que a seguinte expresso vlida (vide pgina 528): e a e a a Lm (z) = ez dm z m ez . dz m (10.138)
Os polinmios de Laguerre Lm (z) so, portanto, uma das soluoes da equaao de Laguerre (com = m) o a c c zy (z) + (1 z)y (z) + my(z) = 0 , com z C, onde m N0 . De acordo com (10.134), uma segunda soluao dada na forma c e
(10.139)
vn z n ,
onde os coecientes vn so dados em (10.135) em termos dos coecientes cn dos polinmios de Laguerre. Aps clculos a o o a um tanto maantes, chega-se ` seguinte expresso: c a a
m
m! (1) k!
k
m k
m k=1
onde hn est denido em (10.106)-(10.107). a E. 10.17 Exerccio. Mostre isso. Sugesto: tire uma tarde livre. a a cio a E. 10.18 Exerccio. Caso o leitor no deseje fazer o exerc anterior, poder contentar-se com a tarefa mais simples de vericar que a expresso acima , de fato, uma soluo de (10.139). a e ca Essa segunda soluao raramente empregada em problemas de F c e sica, especialmente devido ` singularidade loa gar tmica que apresenta. Mais propriedades dos polinmios de Laguerre sero estudadas na Seao 11.2.4, pgina 527. o a c a
10.2.7
A Equao Hipergeomtrica ca e
z(1 z)y (z) + [ (1 + + )z]y (z) y(z) = 0 , (10.140)
A equaao diferencial c para z C e com , e C constantes, denominada equaao hipergeomtrica, ou equaao de Gau22 , quem a primeiro e c e c estudou. A razo do interesse nessa equaao reside em trs fatos. Primeiro, a equaao hipergeomtrica (a menos de a c e c e e multiplicaao trivial por uma constante) a unica equaao linear homognea de segunda ordem com apenas trs pontos c c e e singulares regulares em 0, 1 e (vide discusso ` pgina 389). Sabe-se, ademais, (vide discusso da Seao 9.8.3, pgina a a a a c a
21 O fator de normalizaao m! tem origem histrica. O leitor deve ser advertido do fato, j lamentado pginas acima, que em alguns textos c o a a outra normalizaao empregada. c e 22 Johann Carl Friedrich Gau (17771855). Um dos maiores e mais inuentes matemticos de todos os tempos, Gau dedicou-se tambm a e intensamente a problemas de F sica, Astronomia, Matemtica Aplicada e mesmo Engenharia ( um dos co-inventores do telgrafo) e encontrou a e e as equaoes hipergeomtricas em estudos de Geodesia, assunto a que se dedicou quando da construao das primeiras linhas frreas da Alemanha. c e c e Seus trabalhos nessa area tambm inspiraram uma das suas muitas contribuioes importantes a matemtica pura: a formulaao de geometrias e c ` a c no-Euclidianas. a
Cap tulo 10
456/1628
402) que toda equaao Fuchsiana com trs pontos singulares pode ser transformada em uma equaao hipergeomtrica. c e c e Segundo, h vrias equaoes diferenciais de interesse que podem ser transformadas em equaoes hipergeomtricas e, com a a c c e isso, pode-se estudar certas propriedades de vrias funoes especiais, tais como seu comportamento assinttico, a partir a c o das propriedades correspondentes de funoes hipergeomtricas. Terceiro, suas soluoes possuem muitas simetrias. A c e c equaao hipergeomtrica uma das equaoes diferenciais ordinrias mais estudadas, sendo suas soluoes riqu c e e c a c ssimas em propriedades. Sua abordagem completa est muito alm das pretenses destas Notas e, para um tratamento detalhado, a e o recomendamos as referncias [85], [167], [190], [113], [82] e outras. Propriedades combinatrias envolvendo as sries e o e hipergeomtricas e suas generalizaoes podem ser encontradas em [64]. e c Vamos aqui apresentar as soluoes da equaao hipergeomtrica (10.140) em termos de expanses em torno de seu c c e o ponto singular regular z0 = 0. O leitor poder encontrar em [167] soluoes de (10.140) expressas como expanses em a c o torno dos outros pontos singulares regulares z0 = 1 e z0 = . O interesse nessas ultimas expanses um tanto menor, o e especialmente pois as mesmas podem ser expressas em termos das soluoes obtidas em torno de z0 = 0. Reescrevemos c (10.140) na forma b(z) a(z) (10.141) y (z) + 2 y(z) = 0 , y (z) + z z sendo a(z) e b(z) anal ticas em |z| < 1, a saber, a(z) = (1 + + )z = 1z z = 1z
an z n = +
n=0 n=1
( 1 )z n ,
bn z n =
n=0
()z n .
n=1
f (x) = x(x 1) + x = x(x + 1) = 0 e temos = 1 e + = 0 . H, assim, trs casos a considerar: 1. 1 Z, ou seja, Z. 2. = 1. 3. 1 Z \ {0}, ou seja, Z mas a e = 1. Caso 1. 1 Z, ou seja, Z. Aqui, de acordo com (10.51) e (10.52), as soluoes so c a
y1 (z) = z 1
n=0
cn z n
y2 (z) =
n=0
dn z n ,
(10.142)
onde cn = 1 f (1 + n)
n1 m=0
(m + 1 )anm + bnm cm ,
dn =
1 f (n)
n1
manm + bnm dm ,
m=0
para todo n 1. Nesse caso, porm, no to simples resolver recursivamente essas equaoes, pelo menos na maneira e a e a c como esto expressas acima. E muito mais fcil obter as relaoes recursivas de outra forma: inserindo (10.142) na equaao a a c c diferencial ainda na forma (10.140). Com esse procedimento, comeando pela soluao y2 (z), obtem-se alegremente para c c os coecientes dn a seguinte relaao recursiva: c dn+1 = para todo n 0. E. 10.19 Exerccio importante. Verique! ( + n)( + n) dn , (n + 1)( + n) (10.143)
Cap tulo 10
457/1628
n1,
(x)n :=
l=0
(x + l) , n 1 , n = 0,
(10.144)
so os denominados smbolos de Pochhammer23 . Quando x no um inteiro negativo ou zero, podemos escrever a a e (x)n = Com isso, obtemos para a soluao y2 a expresso c a F (, , , z) := 1 + ()n ()n n ( + n)( + n) z n () z = . n!()n ()() n=0 ( + n) n! n=1
(x + n) . (x)
(10.145)
Essa funao, introduzida por Gau em cerca de 1812, denominada funao hipergeomtrica, denominaao aparentemente c e c e c criada por Kummer24 em 1836. Contribu ram ` teoria das funoes hipergeomtricas nomes como Euler, Gau, Kummer a c e e Riemann. Na literatura F (, , , z) muitas vezes denotada por 2 F1 (, , , z)25 . e Repetindo consideraoes anteriores, F (, , , z) anal c e tica como funao de z pelo menos na regio |z| < 1. No caso c a em que ou so inteiros no-positivos, fcil ver que F (, , , z) reduz-se a um polinmio e , portanto, anal a a e a o e tica em toda parte. Exceto nesses casos, a srie que dene F (, , , z) divergente para |z| > 1, como se v pelo teste da e e e razo, pois a ()n+1 ()n+1 n+1 | + n| | + n| (n+1)!()n+1 z |z| , = ()n ()n n (n + 1) | + n| z
n!()n
que, para n grande, aproxima-se de |z| > 1. Casualmente, o mesmo argumento prova convergncia absoluta da srie e e hipergeomtrica (10.145) para |z| < 1. e Fazemos ainda notar que a expresso acima para F (, , , z) est denida mesmo para o caso em que um a a e inteiro positivo e, portanto, representa uma soluao da equaao hipergeomtrica naquele caso. Para nulo ou um inteiro c c e negativo, digamos = m, o denominador ()n anula-se para n > m e a expresso para F (, , , z) deixa de fazer a sentido. Para obtermos a outra soluao inserimos y1 de (10.142) na equaao diferencial ainda na forma (10.140) e obtemos c c alegremente para os coecientes cn a relaao c cn+1 = para todo n 0. E. 10.20 Exerccio importante. Verique! Alguns segundos de contemplaao nos levam a concluir que essas relaoes so idnticas `quelas de (10.143), desde c c a e a que l faamos as seguintes modicaoes: + 1 , + 1 e 2 . Por trs dessa aparente a c c a
August Pochhammer (18411920). Eduard Kummer (18101893). 25 A explicaao da notaao F a seguinte: o 2 a esquerda indica a presena de dois s c c 2 1 e ` c mbolos de Pochhammer no numerador dos termos da srie hipergeomtrica (10.145). O 1 a direita indica a presena de um s e e ` c mbolo de Pochhammer no denominador. H generalizaoes da a c srie (10.145) que denem as chamadas funes hipergeomtricas generalizadas, denotadas por k Fl , e que contm k s e co e e mbolos de Pochhammer no numerador e l no denominador (vide e.g. [64]). Mais abaixo encontraremos as funoes hipergeomtricas conuentes, que so do tipo 1 F1 . c e a
24 Ernst 23 Leo
(n + + 1 )(n + + 1 ) cn , (n + 1)(n + 2 )
Cap tulo 10
458/1628
coincidncia residem propriedades de simetria da equaao hipergeomtrica. O leitor poder encontrar essa discusso nos e c e a a textos supra-citados. Assim, tomando-se tambm c0 = 1, conclu e mos que a outra soluao c e z 1 F ( + 1 , + 1 , 2 , z) . Fazemos ainda notar que F ( + 1 , + 1 , 2 , z) est denida mesmo para o caso em que um inteiro a e no-positivo e, portanto, z 1 F ( + 1 , + 1 , 2 , z) representa uma soluao da equaao hipergeomtrica a c c e naquele caso. Resumindo nossas concluses, para o caso Z a soluao geral da equaao hipergeomtrica (10.140) expressa em o c c e termos de uma expanso em torno do ponto singular regular z0 = 0 a e A1 z 1 F ( + 1 , + 1 , 2 , z) + A2 F (, , , z) . onde A1 e A2 so constantes arbitrrias. a a Caso 2. = 1. Aqui = + = 0 = 0. Nesse caso a primeira soluao da forma y1 (z) = c e cn+1 = para todo n 0. Assim, a primeira soluao c e ()n ()n n 1 zn F (, , 1, z) = 1 + z = . ( + n)( + n) 2 (n!) ()() n=0 (n!)2 n=1 Pelo mesmo argumento de acima, a expanso em srie do lado direito converge para |z| < 1 e diverge para |z| > 1. a e Pelo Teorema 10.2, pgina 429, a segunda soluao tem a forma a c F (, , 1, z) ln(z) +
n=0 n=0 cn
( + n)( + n) cn , (n + 1)2
vn z n ,
com os vn dados em (10.55) em termos dos cn de acima. A expresso que se obtem um tanto complexa e evitamos a e coloc-la aqui. O leitor poder encontr-la, por exemplo, em [167]. a a a Caso 3. 1 Z \ {0}, ou seja, Z mas = 1. No caso a, = m, com m > 1 inteiro. Aqui tem-se n0 = m 1, 1 = + = 0 e 2 = = 1 m. Como j observamos a acima, uma soluao dada por F (, , m, z). Uma segunda soluao ser da forma c e c a
AF (, , m, z) ln(z) + z 1m
n=0
vn z n ,
com os vn e A dados como em (10.59) e (10.60) a partir dos coecientes cn de F (, , m, z). Novamente, a expresso a que se obtem complexa e remetemos o estudante a, e.g., [167]. e No caso b, = m, com m 0 inteiro. Aqui tem-se n0 = m + 1, 1 = = 1 + m e 2 = + = 0. Como j a observamos acima, uma soluao dada por z 1+m F ( + 1 + m, + 1 + m, 2 + m, z). Uma segunda soluao ser da forma c e c a
Az
1+m
F ( + 1 + m, + 1 + m, 2 + m, z) ln(z) +
n=0
vn z n ,
com os vn e A dados como em (10.59) e (10.60) a partir dos coecientes cn de z 1+m F ( + 1 + m, + 1 + m, 2 + m, z). Novamente, a expresso que se obtem complexa e remetemos o estudante a, e.g., [167]. a e Com isso encerramos nossa breve excurso `s funoes hipergeomtricas e remetemos o estudante interessado em um a a c e maior aprofundamento ` literatura supra-citada. a
Cap tulo 10
459/1628
10.2.8
A equaao diferencial c para z C e com e C constantes, denominada equaao hipergeomtrica conuente ou equaao de Kummer. A e c e c mesma pode ser obtida da equaao hipergeomtrica por um procedimento de limite no qual a singularidade regular de c e z0 = 1 daquela equaao feita imergir (conuir, da o nome) na singularidade regular de z0 = . Esse processo pode c e ser descrito da seguinte forma. Faamos na equaao hipergeomtrica c c e z(1 z)y (z) + [ (1 + + )z]y (z) y(z) = 0 a mudana de variveis = z. A mesma assume a forma (verique!) c a 1 d2 y + d 2 ++1 dy y = 0 . d
Assim como no caso da equaao hipergeomtrica, h vrias equaoes diferenciais de interesse que podem ser transc e a a c formadas em equaoes hipergeomtricas conuentes. Os exemplos mais evidentes so a equaao de Laguerre, Seao c e a c c 10.2.6, pgina 453, que corresponde a = 1 e = , e a equaao de Laguerre associada, Seao 10.3.2, pgina 463, a c c a que corresponde a = m + 1 e = (n m). Um outro exemplo a equaao de Hermite, equaao (10.15), pgina e c c a 420, que pode ser transfomada em uma equaao hipergeomtrica denindo-se w = z 2 e v(w) = y(z). Com isso, (10.15) c e transforma-se em 1 w v (w) + v(w) = 0 , (10.148) wv (w) + 2 4 (verique!) que uma equaao hipergeomtrica conuente com = e c e
1 2
Tomando-se agora o limite || obtemos a forma (10.147). Vide, e.g., [167] ou [85]. A equaao hipergeomtrica c e conuente possui uma singularidade regular em z0 = 0 e uma irregular em z0 = (vide discusso ` pgina 389). a a a
Pode-se, portanto, estudar propriedades de vrias funoes especiais, tais como sua estrutura de singularidades ou seu a c comportamento assinttico, a partir das propriedades correspondentes de funoes hipergeomtricas conuentes. o c e Para a equaao hipergeomtrica conuente tem-se c e y (z) + [ z] z y (z) 2 y(z) = 0 z z
e = . 4
e assim, comparando com a forma padro (10.46), temos a a(z) = z, Logo, an = , 1, 0, para n = 0 para n = 1 para n 2 e b(z) = z . , 0, para n = 1 para n = 0 ou n 2
bn =
f (x) = x(x + 1) , = 1 e + = 0 ,
Caso 1. 1 Z, ou seja, Z.
tal como para a equaao hipergeomtrica. H, assim, trs casos a considerar: 1. 1 Z, ou seja, Z. 2. = 1. 3. c e a e 1 Z \ {0}, ou seja, Z mas = 1. Aqui, de acordo com (10.51) e (10.52), as soluoes so c a
y1 (z) = z 1
n=0
cn z n
y2 (z) =
n=0
dn z n ,
(10.149)
Cap tulo 10
460/1628
onde cn = 1 f (1 + n)
n1 m=0
dn =
1 f (n)
n1
manm + bnm dm ,
m=0
cn =
dn =
dn =
(10.150)
1 F1 (, , z) := 1 +
(10.151)
Esta funao denominada funao hipergeomtrica conuente ou, por vezes, funao de Kummer. c e c e c E. 10.21 Exerccio. Prove, usando diretamente as denioes, a seguinte relao entre as funoes hipergeomtricas conu c ca c e entes e as funoes hipergeomtricas: c e
1 F1 (,
, z) =
||
lim F
, , ,
| + n| |z| (n + 1) | + n|
e vemos que a mesma converge absolutamente para todo z C, pois para cada z xo o lado direito torna-se menor que 1 para n grande o suciente. Assim, 1 F1 (, , z) anal e tica para todo z C.
Fazemos ainda notar que a expresso acima para 1 F1 (, , z) est denida mesmo para o caso em que um inteiro a a e positivo e, portanto, representa uma soluao da equaao hipergeomtrica conuente naquele caso. Para nulo ou um c c e inteiro negativo, digamos = m, o denominador ()n anula-se para n > m e a expresso para F (, , z) deixa de a fazer sentido.
Passemos agora ` soluao y1 . Alguns segundos de contemplaao das expresses de (10.150) conduzem-nos ` percepao a c c o a c que a relaao entre cn e c0 equivale ` relaao entre dn e d0 com a troca + 1 e 2 (tal como se fez no c a c caso da equaao hipergeomtrica, acima). Assim, convencionando-se tambm c0 = 1, tem-se que a soluao y1 (z) dada c e e c e por z 1 1 F1 ( + 1 , 2 , z) . Fazemos ainda notar que 1 F1 ( + 1 , 2 , z) est denida mesmo para o caso em que um inteiro no-positivo a e a e, portanto, z 1 1 F1 ( + 1 , 2 , z) representa uma soluao da equaao hipergeomtrica conuente naquele caso. c c e Resumindo, para o caso Z a soluao geral da equaao hipergeomtrica conuente (10.147) c c e e A1 z 1 1 F1 ( + 1 , 2 , z) + A2 1 F1 (, , z) , onde A1 e A2 so constantes arbitrrias. a a Caso 2. = 1. Esse o caso da equaao de Laguerre. e c Aqui = + = 0 = 0. Nesse caso a primeira soluao da forma y1 (z) = c e cn+1 = ( + n) cn , (n + 1)2
n=0 cn
Cap tulo 10
461/1628
para todo n 0. Assim, a primeira soluao c e ()n n 1 zn z = . ( + n) 1 F1 (, 1, z) = 1 + (n!)2 () n=0 (n!)2 n=1 Pelo Teorema 10.2, pgina 429, a segunda soluao tem a forma a c
1 F1 (,
1, z) ln(z) +
n=0
vn z n ,
com os vn dados em (10.55) em termos dos cn de acima. A expresso que se obtem um tanto complexa e evitamos a e coloc-la aqui. a Caso 3. 1 Z \ {0}, ou seja, Z mas = 1. Esse o caso da equaao de Laguerre associada. e c H dois casos a distinguir: a. > 1 e b. 0. a
No caso a, = m, com m > 1 inteiro. Aqui tem-se n0 = m 1, 1 = + = 0 e 2 = = 1 m. Como j observamos a acima, uma soluao dada por 1 F1 (, m, z). Uma segunda soluao ser da forma c e c a
A 1 F1 (, m, z) ln(z) + z 1m
n=0
vn z n ,
com os vn e A dados como em (10.59) e (10.60) a partir dos coecientes cn de 1 F1 (, m, z). Novamente, a expresso a que se obtem complexa e a omitimos aqui. e No caso b, = m, com m 0 inteiro. Aqui tem-se n0 = m + 1, 1 = = 1 + m e 2 = + = 0. Como j a observamos acima, uma soluao dada por z 1+m 1 F1 ( + 1 + m, 2 + m, z). Uma segunda soluao ser da forma c e c a
Az 1+m 1 F1 ( + 1 + m, 2 + m, z) ln(z) +
n=0
vn z n ,
com os vn e A dados como em (10.59) e (10.60) a partir dos coecientes cn de z 1+m 1 F1 ( + 1 + m, 2 + m, z). Novamente, a expresso que se obtem complexa e omitida aqui. a e e Com isso encerramos nossa breve excurso `s funoes hipergeomtricas conuentes. Para um tratamento extensivo a a c e da equaao hipergeomtrica conuente e propriedades de suas soluoes, vide [164], [85] ou [190]. c e c
10.3
Algumas das equaoes tratadas acima possuem parentes prximos com os quais se relacionam amistosamente. Vamos c o estudar algumas delas.
10.3.1
A equaao de Legendre associada equaao diferencial c e c (1 z 2 )y (z) 2zy (z) + ( + 1)y(z) (10.153)
Como fcil de se constatar, os pontos 1 so pontos singulares regulares da equaao de Legendre associada. Repare e a a c tambm que para = 0 recupera-se a equaao de Legendre usual e c (1 z 2 )y (z) 2zy (z) + ( + 1)y(z) = 0 . (10.154)
Cap tulo 10
462/1628
O principal interesse na equaao (10.153) se d no caso em que um n mero inteiro, = m Z, situaao que c a e u c corresponde ` maioria das aplicaoes. Nesse caso, um truque feliz permite-nos encontrar as soluoes sem termos de a c c recorrer ao mtodo de Frobenius. e Tudo comea com a observaao que a equaao de Legendre usual e a equaao de Legendre associada podem ser c c c c transformadas em uma mesma equaao. Se em (10.153) (j adotando = m Z) zermos a substituiao y(z) = c a c (1 z 2 )m/2 v(z), obtemos para v a equaao c (1 z 2 )v (z) 2(m + 1)z v (z) + ( + 1) m(m + 1) v(z) = 0 . E. 10.22 Exerccio importante. Mostre isso. Sugesto: um pouco de pacincia. a e Se, por outro lado, tomarmos a equaao (10.154) e a derivarmos m vezes, obtemos c (1 z 2 ) y (m)
(10.155)
(z) + ( + 1) m(m + 1)
y (m) (z) = 0 .
(10.156)
dm dz m
(1
zy (z) .
Comparando (10.155) com (10.156), constatamos que ambas so a mesma equaao. Com isso, vemos que se yL a a c e soluao geral da equaao de Legendre e yLa a soluao geral da equaao de Legendre associada, ento (1z 2 )m/2 yLa (z) c c e c c a (m) a a ca c e yL (z) devem ser proporcionais, j que obedecem ` mesma equao (10.155). Com isso, obtemos que a soluao geral da equaao de Legendre associada pode ser obtida da soluao geral da equaao de Legendre por c c c yLa (z) = km (1 z 2 )m/2 yL (z) , km sendo constantes de normalizaao a serem convencionadas. c Coloquemo-nos agora a questo: qual soluao yL da equaao de Legendre devemos adotar? Isso certamente depende a c c do tipo de problema considerado, mas na maioria das aplicaoes procuramos resolver a equaao de Legendre associada c c no intervalo [1, 1] e procuramos soluoes que sejam nitas em todo esse intervalo, incluindo as bordas 1. Ora, j c a vimos que as unicas soluoes da equaao de Legendre usual que permanecem limitadas nos extremos 1 (assim como c c suas derivadas) so os polinmios de Legendre Pl (z), os quais ocorrem como soluao apenas no caso = l, um inteiro a o c no-negativo. Obtemos, assim, que as soluoes de interesse da aao de Legendre associada que so limitadas em todo o a c c a intervalo fechado [1, 1] ocorrem para = l, um inteiro no-negativo, e so dadas por a a Plm (z) := (1 z 2 )m/2 dm Pl (z) , dz m (10.157)
(m)
onde Pl o polinmio de Legendre de grau l. E claro que Plm (z) nulo se m > l (pois Pl um polinmio de grau l). e o e e o As funoes Plm denidas acima so denominadas polinmios de Legendre associados, ainda que no sejam realmente c a o a polinmios em z no caso em que m o e mpar (devido ao fator (1 z 2 )m/2 )26 e desempenham um papel importante na resoluao de equaoes diferenciais parciais em 3 dimenses em coordenadas esfricas, tais como a equaao de Laplace e c c o e c de Helmholtz. A eles esto intimamente relacionados as chamadas funoes harmnicas esfricas, das quais falaremos na a c o e Seao 11.2.2, pgina 511, e que desempenham um papel na Mecnica Quntica (orbitais atmicos), na Teoria de Grupos c a a a o (representaoes do grupo SO(3)), no Eletromagnetismo (emisso de ondas eletromagnticas por antenas) etc. c a e As funoes Plm esto denidas acima para l inteiro no-negativo, ou seja l = 0, 1, 2, 3, . . ., e m inteiro com 0 m l c a a (pois para m > l o lado direito de (10.157) anula-se). Cada Plm soluao da equaao de Legendre associada e c c (1 z 2 )y (z) 2zy (z) + l(l + 1)y(z)
26 Se,
o no entanto, substituirmos z por cos , com 0 , o que costumeiramente se faz em aplicaoes, Plm (cos ) torna-se um polinmio c trigonomtrico, ou seja, um polinmio em cos e sen , j que (1 z 2 )m/2 torna-se ( sen ())m . Essa a razo dessa nomenclatura. Vide e o a e a expresso (11.79), pgina 514. a a
m2 y(z) = 0 . 1 z2
(10.158)
Cap tulo 10
463/1628
Na Seao 11.2.1, que se inicia ` pgina 506, mostraremos que os polinmios de Legendre podem ser escritos como c a a o Pl (z) = 1 dl (z 2 1)l , 2l l! dz l
expresso essa conhecida como frmula de Rodrigues para os polinmios de Legendre. Assim, obtemos a o o Plm (z) = 1 dl+m (1 z 2 )m/2 l+m (z 2 1)l , 2l l! dz (10.159)
expresso vlida para 0 m l, com l um inteiro no-negativo: l = 0, 1, 2, 3, . . .. Caso m > l, o lado direito se anula. a a a Um ponto interessante, porm, que a expresso do lado direito de (10.159) est bem denida para quaisquer l e m e e a a com l + m 0, ou seja, tambm para ms negativos tais que m l. Assim, (10.159) est denida para todo m inteiro e a com l m l27 . Da expresso (10.159), entendida para todo l inteiro no-negativo e l m l, poss mostrar que a a e vel Plm (z) = (1)m (l m)! m P (z) . (l + m)! l
Essa relaao, que relevante para as chamadas funoes harmnicas esfricas, mostra que Plm (z) tambm soluao da c e c o e e e c equaao de Legendre associada (10.158), por ser proporcional a Plm (z). Trataremos disso na Seao 11.2.2, pgina 511, c c a onde outras propriedades dos polinmios de Legendre associados sero apresentadas e sua relaao com as harmnicas o a c o esfricas ser discutida. e a Os primeiros polinmios de Legendre associados so o a
0 P0 (z) = 1 ; 2 P2 (z) =
0 P1 (z) = z ,
1 (1z 2) , 8
1 P2 (z) =
1 (3z 2 1) , 2
10.3.2
O principal interesse nessa equaao reside no caso onde m e n so inteiros satisfazendo 0 m n. Como o leitor c a facilmente constata, trata-se de um caso particular da equaao hipergeomtrica conuente (10.147). A equaao de c e c Laguerre associada surge da equaao de Schrdinger para o tomo de hidrognio quando a mesma resolvida pelo c o a e e mtodo de separaao de variveis em coordenadas esfricas. e c a e A soluao dessa equaao pode ser obtida diretamente da soluao da equaao de Laguerre usual c c c c xy + (1 x)y + ny = 0 pois esta, quando diferenciada m vezes em relaao ` x, transforma-se exatamente na equaao (10.160). c a c a E. 10.25 Exerccio. Verique! Sugesto: regra de Leibniz. Assim, se y soluao de (10.161) segue que y (m) soluao de (10.160). Conclu e c e c mos que as unicas soluoes de (10.160) c que so regulares em x = 0 so da forma a a L(m) (x) = n dm dm Ln (x) = dxm dxm ex dn n x (x e ) dxn . (10.162) (10.161)
27 De passagem, comentamos que a relaao l m l desempenha um papel na teoria do momento angular na Mecnica Quntica, mas c a a isso no nosso assunto aqui. a e
Cap tulo 10
464/1628
a ultima igualdade sendo proveniente de (10.138) ou de (11.132). Os polinmios Ln so denominados polinmios de Laguerre associados. Os polinmios de Laguerre associados o a o o surgem, como dissemos, na resoluao da equaao de Schrdinger para o tomo de hidrognio em coordenadas esfricas. c c o a e e Vide Seao 16.8, pgina 756. Junto com as harmnicas esfricas, denidas na Seao 11.2.2.1, pgina 517, os polinmios c a o e c a o de Laguerre associados denem a forma dos orbitais eletrnicos do tomo de hidrognio e (de forma aproximada) de o a e a tomos hidrogenides. A forma desses orbitais de importncia fundamental no estudo de tomos e molculas e suas o e a a e ligaoes qu c micas. Usando (10.137), fcil constatar que e a
nm (m)
L(m) (x) n
= (1)
m k=0
(1)k
n! n xk . k! m + k
Mais propriedades dos polinmios de Laguerre associados sero estudadas na Seao 11.2.5, pgina 531. o a c a
10.4
A presente seao dedicada ao estudo da chamada funao gama de Euler, ou simplesmente funao gama, denotada c e c c por (z), com z C, a qual freq entemente aparece na resoluao de equaoes diferenciais ordinrias pelo mtodo de u c c a e expanso em sries de potncias, assim como em vrias reas da F a e e a a sica e da Matemtica, por representar uma espcie de a e generalizaao cont c nua do fatorial de n meros inteiros, como ser precisado adiante. u a Aqui nos restringiremos `s propriedades mais relevantes da funao gama. Para um estudo mais extenso dessa funao a c c e suas aplicaoes, recomendamos [85], [113], [190], [9], [146] ou ainda [112]. Ainda que nem todos esses textos primem por c escolher as demonstraoes mais simples para seus resultados, vale a pena o estudante inteirar-se de abordagens diversas. c A referncia [146] contm algumas notas histricas interessantes sobre a funao gama de Euler. e e o c Denindo a funo gama ca
A funao , pode ser denida em todo plano complexo (exceto, como veremos, no conjunto dos inteiros no-positivos, c a onde possui plos simples). No semiplano Re (z) > 0, (z) denida por o e
(z) :=
0
et tz1 dt .
(10.163)
A seguinte proposiao contm informaoes relevantes sobre (10.163) e sobre a estrutura anal c e c tica de : Proposio 10.2 A integral em (10.163) converge absolutamente para todo z C com Re (z) > 0. A funao denida ca c por (10.163) analtica no semiplano Re (z) > 0 e pode ser analiticamente estendida a todo C, exceto para os pontos e a z = 0, 1, 2 . . . que so plos simples de . E vlida a chamada representaao de Mittag-Leer da funao , ou a o c c representaao em soma de fraoes parciais da funao : c c c (z) = (1)n 1 + n! z + n n=0
1
et tz1 dt ,
(10.164)
sendo que a integral no lado direito analtica para todo z C e soma no lado direito converge uniformemente em e regies nitas de C que excluam os inteiros no-positivos e, portanto, representa uma funao analtica para todo z C, o a c n exceto nos inteiros no-positivos, onde possui plos simples. O resduo de em z = n dado por (1) para todo a o e n! n = 0, 1, 2, . . ..
Prova. Para ver que a integral em (10.163) converge absolutamente para Re (z) > 0, escrevemos z = x+iy com x = Re (z), y = Im (z) e escolhemos e tais que 0 < < x < < . Como |tz1 | = tx1 tem-se
1 1
et tz1 dt =
0 0
et tx1 dt =
0
et tx1 dt +
1
et tx1 dt
et t1 dt +
0 1
et t1 dt .
Cap tulo 10
465/1628
Agora, a integral
1 t 1 t dt 0 e
et t1 dt
1 0
t1 dt =
1 < ,
enquanto que nita para qualquer R pois, devido ao rpido decaimento da exponencial, tem-se e a lim et t1 = 0, para todo > 0, o que implica que existe constante C, > 0 tal que
t
t 1 t dt 1 e
(10.165)
et t1 dt C,
e(1)t dt = C,
e(1) < . 1
Isso prova que a integral em (10.163) converge absolutamente se Re (z) > 0. Para provar que (z) anal e tica no semiplano Re (z) > 0, comeamos observando que, para 0 < a < A < , a funao c c
A
a, A (z) :=
a
et tz1 dt
anal e tica na regio Re (z) > 0. Isso se deve ao fato de ser poss vericar a validade das relaoes de Cauchy-Riemann a vel c para a, A (z), diferenciando-a sob o s mbolo de integraao e usando o fato de que tz1 = e(z1) ln(t) anal c e tica em z para t > 0. Que poss diferenciar sob o s e vel mbolo de integraao segue do fato de o integrando ser cont c nuo em t e a regio a de integraao ser o intervalo compacto [a, A]. c Uma vez estabelecido que a, A (z) anal e tica em Re (z) > 0, podemos provar que A (z), denida por
A
et tz1 dt ,
(10.166)
tambm anal e e tica em Re (z) > 0. Para tal, tomemos z F, , onde F, C a faixa denida por e F, := {z C| < Re (z) < } , com 0 < < < , ou seja, tomemos 0 < < Re (z) < . Ento, para A > 0 xo e 0 < a < a < 1, a
a a a
et tx1 dt
t1 dt =
(a ) a ,
que pode ser feito menor que qualquer > 0 dado, para todos a e a pequenos o suciente. Dessa forma, o limite que dene A (z) em (10.166) uniforme em F, , Assim, por ser o limite uniforme de funoes anal e c ticas, A (z) igualmente e anal tica em F, (esse um teorema bem-conhecido da teoria das funoes de varivel complexa). Como e so e c a a arbitrrios (0 < < ), A (z) anal a e tica para todo o semiplano Re (z) > 0. Para provar que (z) = lim A (z)
A
(10.167)
anal e tica para todo o semiplano Re (z) > 0 temos que provar que esse limite uniforme nas faixas z F, e evocar e o mesmo teorema da teoria das funoes de varivel complexa mencionado acima. Para provar a uniformidade do limite, c a notemos que para 1 < A < B, tem-se, com 0 < < 1,
B 0 A 0 B A B A B
et tz1 dt
et tz1 dt
et tx1 dt
t1
et t1 dt
(10.165)
C,
A
e(1)t dt
Cap tulo 10
466/1628
que pode ser feito menor que qualquer > 0 prescrito para todos A e B grandes o suciente. Isso provou que o limite em (10.167) uniforme em cada faixa F, com 0 < < , mostrando que (z) anal e e tica em cada uma dessas faixas F, e, portanto, em todo o semiplano Re (z) > 0. Para provar que possui uma extenso anal a tica para a regio Re (z) 0 (exceto, como mencionamos, os inteiros a no-positivos), notamos que para Re (z) > 0 podemos escrever (10.163) trivialmente como a
1
(z) :=
0 t z1 1 e t
et tz1 dt +
1
et tz1 dt .
Agora, a integral imprpria I(z) := o dt anal e tica para todo z C, o que pode ser visto repetindo os argumentos de convergncia uniforme de acima: para 1 < A < A < , escrevendo x = Re (z) e restringindo-nos e provisoriamente ` regio x < , para algum R, temos a a
A 1
et tz1 dt
A 1
et tz1 dt =
0
et tz1 dt
A 0
et tz1 dt
(10.168)
C,
e(1)A e(1)A , 1
que, escolhendo-se 0 < < 1, pode ser feita menor que qualquer > 0 prescrito para todos A, A grandes o suciente. A e a o Isso prova que o limite limA 1 et tz1 dt uniforme na regio Re (z) < , o que prova que a integral imprpria I(z), sendo o limite uniforme de funoes anal c ticas em Re (z) < , tambm anal e e tica nessa regio. Como R arbitrrio, a e a conclu mos que a integral imprpria I(z) anal o e tica em todo o plano complexo C. J para a integral 1 (z) = a
1 0 1 t z1 0 e t 1 0
et tz1 dt =
(1)n n t n! n=0
tn+z1 , dt =
(1)n 1 , n! z + n n=0
(a inverso da srie pela integral na segunda igualdade acima justicada pois, como bem sabido, a srie de Taylor a e e e e da funao exponencial converge uniformemente em intervalos compactos, como o intervalo de integraao [0, 1]. Vide c c Teorema 27.6, pgina 1191). Dessa forma, obtemos a representaao de Mittag-Leer28 da funao , ou representaao a c c c em soma de fraoes parciais da funao : c c (z) = (1)n 1 + n! z + n n=0
et tz1 dt .
1
(10.169)
Como dissemos, a integral no lado direito de (10.169) anal e tica para todo z C. J a soma no lado direito de (10.169) a converge uniformemente (devido ao n! no denominador) em regies nitas de C que excluam os pontos 0, 1, 2, 3, . . . o e, portanto, representa uma funao anal c tica para todo z C, exceto nos inteiros no-positivos, como mencionado, onde a n possui plos simples. Como se constata inspecionando (10.169), o res o duo de em z = n dado por (1) para todo e n! n = 0, 1, 2, 3, . . .. Isso completa a demonstraao. c O grco de (x) para x real no intervalo (0, 5] pode ser visto na Figura 10.4, pgina 467. A Figura 10.5, pgina a a a 468, exibe o grco de (x) para valores negativos de x, a saber, no intervalo (4, 0) . a A demonstraao acima da existncia da mencionada extenso de para argumentos com parte real negativa mostra c e a que essa extenso pode ser calculada por meio da representaao de Mittag-Leer (10.169). Como veremos mais abaixo, a c porm, h uma outra forma, talvez mais conveniente, de expressar essa extenso, a saber, com uso da chamada frmula e a a o dos complementos (provada adiante): (z)(1 z) = , sen (z) vlida para z no-inteiro e que permite escrever a a (z) = , z(z) sen (z) (10.170)
28 Magnus Gsta Mittag-Leer (18461927). Para a deniao geral da noao de srie de Mittag-Leer, vide [146] ou [102]. Um outro o c c e exemplo da srie de Mittag-Leer a representaao de Euler da funao cotangente, expresso (11.235), pgina 552. e e c c a a
Cap tulo 10
467/1628
25
20
15
10
0 0.0
0.5
1.0
1.5
2.0
2.5
3.0
3.5
4.0
4.5
5.0
Figura 10.4: Grco de (x) para x (0, 5]. Observe que diverge em 0. a
com a qual, caso Re (z) > 0, a extenso de para argumentos com parte real negativa (lado esquerdo) pode ser calculada a em termos de (z) com Re (z) > 0 (no lado direito), dada concretamente pela integral (10.163). Mais abaixo apresentaremos outro argumento, talvez mais elementar, para provar que possui uma extenso anal a tica para o semiplano Re (z) 0 (exceto os inteiros no-positivos). a Antes disso, faamos alguns comentrios importantes. c a Convexidade de e de ln E imediato da deniao (10.163) que para Re (z) > 0 valem c (z) =
0
et tz1 ln(t) dt
(z) =
0
et tz1 (ln(t))2 dt .
(10.171)
A segunda expresso acima diz-nos que se z for real e positivo (z x > 0) ento (x) > 0 e, portanto, uma funao a a e c convexa em R+ . Em verdade, vale que tambm ln convexa em R+ , fato de certa relevncia como veremos abaixo e e a quando mencionarmos o Teorema de Bohr-Mollerup, Teorema 10.4. Para mostrar isso, notemos que, por (10.171), ((x) )2
2
=
0
et tx1 ln(t) dt
2
=
0
Cauchy-Schwarz
et/2 t(x1)/2
et tx1 dt
et tx1 ln(t)
dt
= (x) (x) ,
o que implica
Cap tulo 10
468/1628
20 15 10 5 0 0.0 5 10 15 20 25
4.0
3.5
3.0
2.5
2.0
1.5
1.0
0.5
Figura 10.5: Grco de (x) para x (4, 0). Observe que diverge em 0 e para inteiros negativos. a A funo e o fatorial ca
(z + 1) =
0
et tz dt = et tz
=0
+z
0 0
et tz1 dt ,
provando que (z + 1) = z(z) . A relaao (10.172) de grande importncia e representa a razo de ser da funao gama de Euler. c e a a c Por induao nita, e pelo fato de que, por (10.163), (1) = c
t 0 e dt
(10.172)
(n + 1) = n! , para todo n N0 . Assim, a funao uma espcie de extenso complexa do fatorial de n meros inteiros positivos. c e e a u Essa ultima observaao merece um comentrio. H certamente muitas funoes f em R+ satisfazendo f (n + 1) = n! c a a c para todo n N0 . Se f uma funao satisfazendo f (x + 1) = xf (x) para todo x R+ , ento f (x)/(x) peridica de e c a e o per odo 1, pois f (x + 1)/(x + 1) = (xf (x))/(x(x)) = f (x)/(x) para todo x R+ . Assim, f (x) = P (x)(x) com P peridica de per o odo 1 a soluao mais geral da equaao f (x + 1) = xf (x). Se P (1) = 1 ento f (n + 1) = n! para todo e c c a n N0 . Um clebre teorema, devido a Bohr29 e Mollerup30 , garante que a funao gama de Euler unica em um certo e c e sentido:
August Bohr (18871951). H. Bohr era irmo mais novo do f a sico Niels Bohr (Niels Henrik David Bohr (1885-1962)). H. Bohr recebeu vrios prmios por sua obra matemtica e foi agraciado com a medalha de prata nos Jogos Ol a e a mpicos de 1908, em Londres, como jogador da seleao dinamarquesa de futebol (!). E provavelmente at hoje o unico cientista a alcanar essa honraria. c e c 30 Johannes Peter Mollerup (18721937).
Cap tulo 10
469/1628
1. f (1) = 1, 2. f (x + 1) = xf (x) para todo x > 0 (e, conseqentemente, satisfazendo f (n + 1) = n! para todo n N0 ), u 3. ln f convexa. e
Uma demonstraao desse interessante teorema pode ser encontrada em [9], assim como em [37]. c Revisitando a extenso de para Re(z) 0 a
A expresso (10.163) permite denir (z), mas somente se Re (z) > 0 pois, de outra forma, a integral no lado direito de a (10.163) no est denida. E poss a a vel, no entanto, estender analiticamente a funao a todo C, exceto aos inteiros noc a positivos. J demonstramos esse fato acima, mas o mesmo pode tambm ser diretamente derivado da relaao (10.172). a e c Trataremos disso agora. Para n = 1, 2, 3, . . ., (10.172) diz-nos que (z + n) = (z + n 1)(z + n 2) z(z) , o que permite escrever (z) = (z + n) . (z + n 1)(z + n 2) z (10.173)
Agora, (z + n) est denida por (10.163) para Re (z + n) > 0, Assim, (10.173) permite denir (z) para Re (z) > n. a Como n arbitrrio, a frmula (10.172) prolonga analiticamente (z) a essa regio, exceto nos pontos z = k com e a o a k = 0, 1, . . . , n 1. Note-se que, por (10.173) tem-se na regio Re (z) > n que a (z + 1) = (z + 1 + n) (z + n)(z + n 1) (z + 1)
(10.172)
(z + n)(z + n) (z + n)(z + n 1) (z + 1) = (z + n) (z + n 1) (z + 1)
(10.173)
z(z) ,
provando que (10.172) permanece vlida para a extenso. a a Por (10.173) pode-se ver que z = 0, 1, 2 . . . so plos simples de . De fato, pode-se calcular o res a o duo de em cada ponto z = n e constatar que no-nulo. Por (10.173), esses res e a duos so dados por a
zn
lim (z + n)(z) =
zn
lim (z + n)
como j hav a amos observado. Com isso, conclu mos novamente que possui uma extenso anal a tica ao plano complexo C, exceto aos pontos z = 0, 1, 2, . . ., onde possui plos simples. o Outra representao integral equivalente ca Fazendo a mudana de varivel t = u2 a integral em (10.163) torna-se c a
(z) = 2
0
eu u2z1 du .
(10.174)
eu du =
(10.175)
identidade essa que usaremos adiante. Usando (10.172) para z = 1 , obtem-se 2 n+ 1 2 = n 1 2 n 3 2 1 2 1 2 = (2n 1)!! (2n)! = 2n , 2n 2 n! (10.176)
Cap tulo 10
470/1628
para todo n N0 . A funao pode ser expressa de diversas outras formas, muitas delas uteis para a obtenao de resultados mais c c profundos e exibiremos algumas aqui. Uma delas uma representaao produto de Gauss para a funao : e c c (z) = lim vlida para todo z C, z = 0, 1, 2, . . .. a Lema 10.1 Para Re (z) > 0 vale (z) = lim
n 0
n! nz , n z(z + 1) (z + n)
(10.177)
Para mostrar que (10.163) e (10.177) so equivalentes provemos primeiramente o seguinte lema a
n
t n
tz1 dt .
(10.178)
Prova. (De [85], com modicaoes). Tomemos z F, , ou seja, < Re (z) < , com e xos, 0 < < < . c Como (z) = limn
n t z1 e t 0
lim
et 1
t n
tz1 dt = 0 .
n
(10.179)
hn (t) := 1 et 1
n1
t n
h (t) = et 1 n
t
t n
t 0 n
hn (t) =
0
h (s) ds = n
es 1
et t2 2n ,
s n
n1
s ds n
t 0
es
s ds et n
e t t2 s ds = . n 2n
o que implica t n
n
0 et 1 Disso segue o fato bem-conhecido de cursos de Clculo que a et = lim para todo t R, mas segue tambm que e 1 fato que usaremos adiante. Agora,
0 n
t2 . 2n
(10.180)
t n
(10.181)
t n
et ,
(10.182)
et 1
t n
tz1 dt = Fa + Ga, n ,
Cap tulo 10
471/1628
Fa :=
0
et 1
t n
tz1 dt ,
Ga, n :=
a
et 1
t n
tz1 dt .
|Ga, n |
et + 1
t n
tx1 dt
(10.182)
2
a
et tx1 dt 2
n
a>1
et t1 dt
a
(10.165)
2C,
a
e(1)t dt =
onde x = Re (z) > 0, < x < , e usamos que |tz | = tx . A constante positiva de (10.165) arbitrria, mas vamos e a escolh-la de sorte que 0 < < 1, o que garante o decaimento da ultima expresso em n e a. Paralelamente, e a
a
|Fa |
et 1
t n
tx1 dt
(10.180)
a x+1
2n
dt =
ax+1 2n(x + 2)
et 1
t n
n
tz1 dt
Portanto,
n
lim
et 1
t n
tz1 dt
Mas o lado esquerdo no depende de a e o lado direito pode ser feito arbitrariamente pequeno tomando a . Isso a prova (10.179), completando a demonstraao de (10.178) para z F, . Como e so arbitrrios (com 0 < < ), c a a (10.178) ca provado para todo Re (z) > 0. Passemos agora ` prova de (10.177). Temos, a
n 0
2C, (1)a e . 1
t 1 n
z1
dt
t 1 n 1 z
n 0
n z n
t z
+
0
n nz
n 0
t n
n1
tz dt
t n
n 0
n1
tz dt t n
n2
= . . .
(n 1) nz(z + 1)
tz+1 dt
iteraes co
nn
n! z(z + 1) (z + n 1)
n 0
tz+n1 dt
(10.183)
Cap tulo 10
472/1628
A representaao produto de Weierstrass para a funao , vlida para Re (z) > 0, c c a e 1 z z = zez 1+ e n , (z) n n=1
(10.184)
1+
1 1 + + ln(n) 2 n
e A constante chamada constante de Euler-Mascheroni31 e vale 0, 577215665 . . .. E at hoje um problema em aberto e saber se um n mero racional ou no. e u a Denindo, (n) (z) :=
0 n
t n
tz1 dt
(10.183)
provamos no Lema 10.1 que (z) = limn (n) (z) para Re (z) > 0. Temos 1 (n) (z) =
n! nz , z(z + 1) (z + n)
(10.185)
= e, portanto,
1+
s=1
z z es s
z z 1 1 1+ = zez e s , = lim (n) n (z) s (z) s=1 provando (10.184). Por (10.184) v-se que e
1 (z)
uma funao inteira (i.e., anal e c tica em toda parte), o que implica que (z) no tem zeros. a
Segue tambm de (10.184) que (z) = (z). e A representao produto de Euler para ca
n =
l=1
l+1 l
n1
=
l=1
1+
1 l
(10.186)
(10.186)
n1
l=1
z 1 1+ z m=1 m 1+ 1 m
z
1 1 z(1 + n )z
1+
m=1
z m
(10.187)
1 z m=1
1+
1 m
1+
z m
(10.188)
Cap tulo 10
473/1628
vlida para todo z C, exceto z = 0, 1, 2, 3, . . .. Esta a representaao produto de Euler para a funao . A a e c c expresso (10.188), obtida por Euler em 1729, foi a deniao historicamente original da funao , a representaao integral a c c c (10.163) tendo sido obtida posteriormente pelo mesmo autor a partir de (10.188). Euler chegou a (10.188) propondo-a como soluao da equaao funcional f (z + 1) = zf (z) com f (1) = 1, tentando dessa forma obter uma generalizaao c c c cont nua do fatorial de n meros inteiros positivos. u E. 10.26 Exerccio. Verique diretamente de (10.188) que satisfaz (z + 1) = z(z) com (1) = 1. Sugesto: usando a a ltima expresso em (10.187) considere a razo (n) (z + 1)/(n) (z) e tome o limite n . u a a Funo beta. Propriedades elementares ca
A chamada funao beta, denotada por B(p, q) denida por c e B(p, q) := (p) (q) (p + q) (10.189)
para p e q complexos, mas diferentes de inteiros no-positivos. a Para Re (p) > 0 e Re (q) > 0 podemos expressar B(p, q) em uma forma integral muito util:
2
B(p, q) = 2
0
(10.190)
(p)(q) = 4
0
eu u2p1 du
0
ev v 2q1 dv
= 4
u0, v0
e(u
+v 2 ) 2p1 2q1
dudv .
(p)(q)
4
0
2
0
er r2(p+q)1 dr
2
0
(10.174)
/2
(p + q) 2
0
provando (10.190). Por mudanas de varivel, obtm-se outras representaoes integrais equivalentes a (10.190) para B(p, q). Tomando c a e c t = (cos )2 obtemos trivialmente de (10.190) que
1
B(p, q) =
0
tp1 (1 t)q1 dt .
(10.191)
Tomando em (10.191) u =
t t1
B(p, q) =
0
up1 du . (1 + u)p+q
(10.192)
As representaoes (10.190), (10.191) e (10.192) valem para Re (p) > 0 e Re (q) > 0. Alguns textos adotam (10.191) c como deniao de B(p, q) para Re (p) > 0 e Re (q) > 0. c A frmula dos complementos o
Talvez a principal aplicaao de (10.189) e das representaoes integrais (10.190), (10.191) e (10.192) seja o estabelecic c mento da importante frmula dos complementos para a funao : o c
Cap tulo 10
474/1628
vlida para todo z C, relaao esta que pode ser escrita em forma mais simtrica como a c e vlida para todo z C. a
1 2
(10.193)
1 2
+z
cos(z) ,
(10.194)
Antes de demonstrar (10.193) notemos que ela permite escrever, para z no-inteiro, a (z) = = . (z + 1) sen (z) z(z) sen (z)
Essa expresso permite calcular a extenso anal a a tica de de Re (z) > 0 para Re (z) < 0. Por exemplo, se Re (z) > 0, o lado direito pode ser calculado usando (10.163), fornecendo a funao gama do lado esquerdo, cujo argumento tem parte c real negativa. Para demonstrar32 (10.193), comeamos usando (10.189) e (10.192) para obter c
(z)(1 z) = B(z, 1 z) =
uz1 du , 1+u
(10.195)
onde a representaao integral acima vlida para Re (z) > 0 e Re (1 z) > 0, ou seja, na faixa 0 < Re (z) < 1, a qual c e a nos restringiremos provisoriamente. A integral acima pode ser calculada pelo mtodo dos res e duos, como descreveremos. Seja I a integral I :=
C
wz1 dw , 1+w
onde C a curva fechada no plano complexo, orientada no sentido anti-horrio, indicada na gura 10.6. A curva C e a e composta dos segmentos orientados (1) e (2), localizados, respectivamente, imediatamente acima e imediatamente abaixo do semi-eixo real positivo (sendo que faremos a distncia desses segmentos a esse semi-eixo ir a zero) e dos arcos orientados a z1 e , de raios e R, respectivamente. Escolhemos R > 1, de modo que o plo simples que a funao f (w) = w o c 1+w possui em w = 1 que no interior da regio delimitada por C. a
Vamos representar a varivel complexa w na forma w = ei , com 0 < , 0 < 2. Devido a essa escolha do a intervalo de valores de , vemos que no segmento (1) tem-se que 0, enquanto que no segmento (2) 2. Assim, R z1 e a integral no segmento orientado (1) aproximada por e 1+ d, enquanto que a integral no segmento orientado (2)
R
z1
c o aproximada por e2iz 1+ d, as aproximaoes sendo tanto melhores quanto mais prximos os segmentos (1) e (2) encontrarem-se do semi-eixo real positivo (lembrar que o integrando cont e nuo nas regies acima a abaixo do semi-eixo o real positivo e cada integraao feita em segmentos nitos). Assim, a contribuiao das integraoes de (1) e (2) ` integral c e c c a I e R z1 1 e2iz d , 1+ que nos limites 0, R converge a 1 e2iz (z)(1 z) devido a (10.195). Vamos agora estimar as integrais sobre os segmentos e . Em temos = , de modo que podemos escrever w = ei , com 2 , para um certo pequeno, e dw = iei d, de forma que, escrevendo z = x + iy com x = Re (z), y = Im (z), wz1 dw = iz 1+w
2 2
ei(z1) i e d 1 + ei
e, portanto,
32 Seguimos
wz1 dw x 1+w
2e2|y| e|y| d x , 1 1
os argumentos de [22]. Para uma outra demonstrao igualmente elementar que faz uso da frmula de produto de Weierstrass ca o (10.184), vide [85].
Cap tulo 10
475/1628
(1) R
(2)
que converge a zero quando 0 (lembrar que assumimos 0 < Re (z) < 1, ou seja, 0 < x < 1).
Em temos, analogamente, = R, de modo que podemos escrever w = Rei , com 2 , para um certo pequeno, e dw = iRei d, de forma que, escrevendo z = x + iy com x = Re (z), y = Im (z), wz1 dw = iRz 1+w
2 2
e, portanto,
wz1 dw Rx 1+w
No interior da regio delimitada por C o integrando f (w) = w a o 1+w possui uma unica singularidade: um plo simples em w = 1, cujo res duo ei(z1) (lembrar que 1 = ei ). Assim, pelo teorema dos res e duos,
C
que independe de e R. Coletando os resultados anteriores sobre as integrais em (1), (2), e conclu mos que nos limites 0 e R vale a igualdade 2ieiz = que conduz trivialmente a sen (z) 1 = . (z)(1 z) 1 e2iz (z)(1 z) ,
Cap tulo 10
476/1628
At agora assumimos que 0 < Re (z) < 1. Todavia, ambos os lados da ultima expresso so funoes inteiras. Portanto, e a a c a igualdade acima vale em todo plano complexo C. Frmula de duplicao de Legendre o ca
As propriedades da funao beta permitem provar mais uma identidade sobre as funoes gama, a chamada frmula de c c o duplicaao da funao Gama, devida a Legendre: c c (2z) = 22z1 1 (z) z + 2 , (10.196)
vlida para todo z C que no seja um inteiro no-positivo ou um semi-inteiro no-positivo, isto , que no seja da a a a a e a forma n ou da forma n 1/2, com n = 0, 1, 2, 3, . . .. A demonstraao bastante simples. c e Assumindo provisoriamente Re (z) > 0, temos (z)(z) = B(z, z) (2z)
(10.191) 1 0 z1
t(1 t)
dt .
(1 u2 )z1 du =
2 22z1
0
(1 u2 )z1 du .
(1 v)
z1 1 2
1 B z, 2 dv = 22z1
(10.191)
1 (z)( 2 ) 1 22z1 z + 2
(10.175)
(z) 22z1 z +
1 2
provando (10.196) para Re (z) > 0. A generalizaao para todo z C segue do fato de que ambos os lados de (10.196) c possuem uma extenso anal a tica para todo C, exceto para os pontos em que z um inteiro no-positivo ou um semi-inteiro e a no-positivo. a
Cap tulo 10
477/1628
10.5
2 E. 10.27 Exerccio. Considere as equaoes diferenciais u (x) au(x) = 0 e u (x) + 0 u(x) = 0, com a C, 0 C, c constantes e x C. Usando o mtodo de expanso em srie mostre que suas soluoes gerais so, respectivamente, u(x) = Aeax e a e c a e u(x) = A cos(0 x) + B sen (0 x), onde A e B so constantes. a
(1 + x) =
k=0
( + 1 k)k k x , k!
(10.197)
vlida para x C com |x| < 1 e para todo C, onde, para x C e n N0 , (x)n so os s a a mbolos de Pochhammer denidos em (10.144), pgina 457. Demonstre (10.197) resolvendo a equao diferencial a ca (1 + x)y y = 0 com a condio y(0) = 1. Sugesto. Verique que (1 + x) soluo da equao diferencial acima e satisfaz y(0) = 1. ca a e ca ca Depois resolva a mesma equao, procurando soluoes na forma de uma srie de potncias na regio |x| < 1. ca c e e a
Mostre que quando = n N0 , um inteiro no-negativo, a soluo reduz-se a um polinmio, a saber, aquele denido a ca o pelo binmio de Newton: o n n (1 + x)n = xk . k
k=0
e a e e ca ca E. 10.29 Exerccio. Usando o mtodo de expanso em srie de potncias mostre que a soluo da equao diferencial y (z) + zy(z) = 0 y(z) = c exp(z 2 /2), onde c uma constante. e e e a e ca ca E. 10.30 Exerccio. Encontre, utilizando o mtodo de expanso em srie, a soluo geral da seguinte equao diferencial u (x) ex u (x) + sin(x)u(x) = 0 . Em que regio a srie de potncias obtida para u(x) deve ser convergente? Justique. a e e E. 10.31 Exerccio. Mostre que a funo u(x) = arcsen(x) ca
2
2
(1 x2 )u (x) xu (x) = 2 , com as condioes iniciais u(0) = u (0) = 0. Usando o mtodo de expanso em srie para resolver a equao, obtenha a c e a e ca expanso de arcsen(x) a
2
em x = 0. Esse mtodo de determinar a expanso em srie de Taylor dessa funo muito mais simples que o mtodo direto, e a e ca e e 2 envolvendo o cmputo das derivadas da funo arcsen(x) em x = 0, e foi descoberto por Euler. Segundo [79], a srie o ca e obtida j era conhecida do matemtico Kowa Seki (16421708), contemporneo de Newton. a a a e ca ca E. 10.32 Exerccio. a) Pelo mtodo de Frobenius determine a soluo geral da seguinte equao diferencial: x2 u (x) (1 + x)u(x) = 0 , b) Qual o raio de convergncia das sries encontradas? Justique. e e c) Determine a soluo da mesma equao que satisfaz a condio u(0) = 0. H soluoes para a condio inicial u(0) = 1? ca ca ca a c ca Justique.
Cap tulo 10
478/1628
E. 10.33 Exerccio. Prove as identidades 2k k! = (2k)!! , k N0 . E. 10.34 Exerccio. Prove as identidades (n + 1 + 1/2) = (n + 1 + 1/3) = (n + 2/3) = (2n + 1)!! (3/2) (2n + 1)!! = , n 2 2n+2 3(n+1) (3n + 1)!!! (1/3) , 3n (3n 1)!!! (2/3) , n N0 , n N0 , (2k + 1)!!(2k)!! = (2k + 1)! , (2k)!!(2k 1)!! = (2k)! ,
nN.
Sugesto: use a bem-conhecida propriedade da funo gama: (z + 1) = z(z). a ca E. 10.35 Exerccio. Usando (10.170) e o fato que (z) = (z), prove que para todo y R vale |(iy)|2 = e usando (10.194), prove que para todo y R vale Mostre tambm que e |(1 + iy)|2 = para todo y R. E. 10.36 Exerccio. Mostre que = (1) = onde a constante de Euler-Mascheroni. e ca e E. 10.37 Exerccio. A funo zeta de Riemann denida por
0
y senh(y)
1 + iy 2
. cosh(y) y senh(y)
et ln(t) dt =
0
ln ln
1 t
dt .
(s) :=
n=1
1 ns
enx xs1 dx
(s) (s) =
0
xs1 dx , ex 1
Re (s) > 1 .
Cap tulo 10
479/1628
Apndices e
10.A Prova da Proposio 10.1. Justicando os Polinmios ca o de Legendre
Provaremos a Proposiao 10.1 apenas para o caso da srie c e mutatis mutantis, idntica. e
k=0
c2k+1 z 2k+1 , e
Caso R seja um inteiro no-negativo par, a srie em (10.12) torna-se um polinmio e , conseq entemente, nita a e o e u para todo z C.
Consideremos, ento, que R no um inteiro no-negativo par. Tomemos a srie em (10.12) somada, para a a e a e simplicar, a partir de k = 2 e calculada em z = 1 (tomamos c0 = 1, sem perda de generalidade):
k=2
c2k = ( + 1)
N N
k=2
1 2k
k1
l=1
( + 1) 2l(2l + 1)
1 2k
k1 l=1
( + 1) 2l(2l + 1)
Se ( + 1) 0 teremos que
( + 1) 2l(2l + 1)
1,
c2k =
k=2 N k=2
1 2k
k1
l=1
( + 1) 1 2l(2l + 1)
N
k=2
1 . 2k
k=2
Se ( + 1) > 0 devemos proceder de outra forma. E claro que existe k0 N, k0 > 2, tal que 0 < o que implica 1
(+1) 2l(2l+1) N
(10.A.1)
c2k
k=2
=
k=2 k0
c2k +
k=k0 +1 k0 1
c2k
=
k=2
c2k +
l=1
( + 1) 2l(2l + 1)
k=k0 +1
1 2k
k1
l=k0
( + 1) 2l(2l + 1)
(10.A.2)
Podemos escrever
k1
l=k0
( + 1) 1 2l(2l + 1)
k1
= exp
l=k0
ln 1
( + 1) 2l(2l + 1)
pois 1
(+1) 2l(2l+1)
Cap tulo 10
480/1628
Agora, se 0 x M para algum 0 < M < 1, ento vale a ln(1 x) x ln(1 M ) . M (10.A.3)
Isso pode ser provado de diversas formas, por exemplo usando a concavidade da funao logaritmo, que garante que c ln a + (1 )b
(+1) 2l(2l+1) (+1) 2k0 (2k0 +1)
ln(a) + (1 ) ln(b) ,
para todo 0 1 e todo 0 < a < b. Tomando a = 1 M , b = 1 e = x/M , estabelece-se (10.A.3). Com isso, e como 0 < =: M , para todo l k0 , temos que exp ln(1 M ) M
k1 l=k0 k1
exp
l=k0
ln 1
( + 1) 2l(2l + 1)
( + 1) 2l(2l + 1)
Agora,
k1 l=k0
( + 1) 2l(2l + 1)
l=k0
( + 1) < , 2l(2l + 1)
exp
l=k0
ln 1
( + 1) 2l(2l + 1)
exp
ln(1 M ) M
( + 1) 2l(2l + 1)
exp
ln(1 M ) K M
k=2
c2k
c2k
k=2
=
l=1 k0 1
( + 1) 2l(2l + 1)
k=k0 +1
1 exp 2k
l=k0
ln 1
N
( + 1) 2l(2l + 1) 1 . 2k
l=1
( + 1) 1 2l(2l + 1)
exp
N
ln(1 M ) K M
k=k0 +1
k=k0 +1
10.B
Provando (10.14)
m/2 (0) Pm (z) = c0 ym (z) = c0 k=0
Vamos considerar apenas o caso em que m par, pois o caso em que m e e mpar pode ser tratado de forma totalmente anloga. Temos que a z 2k (2k)!
k1
l=0
2l(2l + 1) m(m + 1) ,
Como dissemos, a convenao escolher c0 de modo que o coeciente do monmio de maior grau do polinmio acima seja c e o o (2m)! m (m!)2 . Assim, devemos ter 2 1 c0 m!
m 2 1
l=0
2l(2l + 1) m(m + 1)
(2m)! , 2m (m!)2
Cap tulo 10
481/1628
(2m)! = m 2 m!
m/2
m 2 1
l=0
2l(2l + 1) m(m + 1)
m 2 1
z 2k (2m)! (2k)! 2m m!
m 2
l=k
2l(2l + 1) m(m + 1)
k. Ficamos com
m 2 1
Pm (z) =
k=0
l= m k 2
2l(2l + 1) m(m + 1)
l. Obtemos,
k l=1 1
Pm (z) =
k=0
(m 2l)(m 2l + 1) m(m + 1)
(m 2l)(m 2l + 1) m(m + 1)
=
l=1
2l(2m 2l + 1)
k
(1)k
l=1
1 2l
l=1
1 2m 2l + 1
(1)k (2k)!!
l=k+1 m
(2m 2l + 1)
l=1
(2m 2l + 1)
m l=k+1 mk l=1
(2m 2l + 1)
ll+k
(2(m k) 2l + 1)
= Assim,
m/2
(1)k (2(m k) 1)!! . (2k)!! (2m 1)!! (2m)! (2(m k) 1)!! m! (2k)!! (2m 1)!!
Pm (z) =
k=0
Cap tulo 10
482/1628
Vale, porm, e (2m)! (2(m k) 1)!! m! (2k)!! (2m 1)!! = (2m)! (2(m k) 1)!! m! (2k)!! (2m 1)!! (2(m k))!! (2(m k))!!
(2m)! (2(m k))! m! (2m 1)!! (2k)!! (2(m k))!! (2m)!! (2m 2k)! m! (2k)!! (2(m k))!! 2m m! (2m 2k)! m! 2k k! 2mk (m k)! (2m 2k)! , k! (m k)!
onde, na pen ltima passagem, usamos que (2p)!! = 2p p! para todo p N0 . Com isso, u
m/2
Pm (z) =
k=0
que a expresso (10.14) para m par. e a O caso em que m e mpar anlogo e deixado como exerc e a e cio.
10.C
k=2
x2k (2k)!
k1
l=1
(4l ) ,
com R mas = 2m para m um inteiro positivo par (o que faz da srie acima uma srie innita), pois o tratamento e e (1) da srie y idntico. e e e Seja s > 1, arbitrrio mas xo, e escolhamos k0 > 2 tal que 1 a todo k0 > 2 enquanto que, se > 0, devemos tomar k0 > max Escrevemos
(0) y (x) := 1 4k0
s , 2 4(s 1)
k1
2 x 2
k0 k=2
x2k (2k)!
l=1
(4l )
k=k0 +1
x2k (2k)!
k1
l=1
(4l ) .
k=k0 +1
x2k (2k)!
k1
l=1
(4l ) =
4k1 x2k
k=k0 +1 k0 1 l=1
(k 1)! (2k)!
k1
l=1
4l (k 1)! (2k)!
k1
1 4
4l
4k x2k
k=k0 +1
l=k0
4l
Cap tulo 10
483/1628
4k x2k
(k 1)! (2k)! 4l
k1 l=k0
1 4k0
vale 1 e, portanto,
1 4l
k1 l=k0
>
1 . skk0
Alm disso, e (2k)! = (2k)!! (2k 1)!! = 2k k! (2k 1)!! < 22k (k!)2 , pois (2k 1)!! = (2k 1)(2k 3)(2k 5) 1 = 2k k Logo,
1 2
3 2
5 2
4k x2k
k=k0 +1
(k 1)! (2k)!
k1 l=k0
4l
>
sk0
k=k0 +1
1 k(k!)
x2 s
>
sk0
k=k0 +1
1 (k + 1)!
x2 s
sk0
s x2
k=k0 +1
1 (k + 1)!
k=k0 +1
x2 s 1 k!
k+1
sk0 +1 x2
x2 /s
k=0
x2 s
(0) y (x)
maior que e
Kex
/s
x2
p(x)
p(x) um polinmio de grau 2k0 + 2 em x. Como s arbitrrio, vemos que o produto y ex e o e a j que podemos escolher 1/s > 1/2, tomando33 1 < s < 2. a
/2
No contexto do problema do oscilador harmnico na Mecnica Quntica (vide Seao 16.7, pgina 755) esse comporo a a c a (0) x2 /2 tamento inaceitvel, pois o produto y e e a representa uma funao de onda, que deve ser de quadrado integrvel em c a (0) R. Isso fora-nos a tomar = 2m com m um inteiro positivo e par, de modo a reduzir y (x) a um polinmio. c o Para y (x) as consideraoes so anlogas e no iremos repeti-las aqui. c a a a
(1)
10.D
Provando (10.20)
Consideraremos apenas o caso em que m par, pois o caso em que m e e mpar tratado analogamente. Para m par, e tem-se m 2 2k k1 z (4l 2m) . Hm (z) = (2)m/2 (m 1)!! 1 m z 2 2m (2k)!
k=2 l=1
33 Por
(10.C.4), tomar s prximo de 1 aumenta o grau do polinmio p(x), mas no altera o fato que y (x)ex o o a
(0)
/2
Cap tulo 10
484/1628
m 2
Tem-se que
k, teremos
m 2 2
k=0
z m2k (m 2k)!
m 2 k1
l=1
(4l 2m) .
l=1
(4l 2m)
(2)
m 2 k1
l=1
(m 2l)
m 2 1
(2)
m 2 k1
l=1 m 2 1
(m 2l) (m 2l )
l = m k 2
m 2 1
l m l 2
(2)
m 2 k1
l=1
(m 2l)
k
= (2) 2 k1
2l
l =1
(m 2)!! . (2k)!!
m 2 2
k=0
(2)
m 2
m 2
(m 1)!! 1 m z
+
k=0
=
k=0
j que a m (m 1)!! (m 2)!! = m!, que (2k)!! = 2k k! e que (2p)! (2p)!! (2p 1)!! = = 2p (2p 1)!! . p! p!
A expresso (10.D.5) coincide com (10.20) para m par. O caso em que m a e mpar anlogo e deixado como exerc e a e cio.
10.E
Justicaremos aqui por que consideramos um inteiro positivo na equaao de Laguerre. Temos dois casos a tratar: a. c < 0 e b. > 0 mas no-inteiro. Em aplicaoes, especialmente na Mecnica Quntica, a varivel z um n mero real a c a a a e u positivo (uma coordenada radial). Vamos ento doravante tomar z real e positivo e escrever z = r > 0. a Se no for um inteiro positivo a srie (10.136) acima uma srie innita. Podemos escrever a e e e
n1 n1 l=1 n1 l=1
(1)n
l=0
( l) =
(l ) = (n 1)!
(10.E.6)
Cap tulo 10
485/1628
1+
l=1 n1
|| l || l rn .
1 n(n!)
1+
l=1
>
1 n+1
e 1+
|| l
Disso conclu mos que y1 (r) cresce da ordem de er quando r . O problema com isso que em vrias aplicaoes e a c tal comportamento indesejado. No problema do tomo de hidrognio da Mecnica Quntica, por exemplo, o produto e a e a a er/2 y1 (r) representa a funao de onda radial de um eltron de momento angular nulo sob um potencial coulombiano34 . c e Pelo visto acima, se < 0 a funao de onda cresceria para r pelo menos como e+r/2 , no podendo, assim, ser c a uma funao de quadrado integrvel em R3 , uma condiao fundamental ligada ` interpretaao probabil c a c a c stica da Mecnica a Quntica. Assim, soluoes com < 0 devem ser descartadas nesse contexto. a c Tratemos agora do caso em que positivo, mas no um n mero inteiro. Por (10.E.6), podemos escrever, para e a e u n 1 2,
n1 21
(1)n
l=0
( l) = (n 1)!
l=1
n1
l=2
y1 (r) = 1 +
n=1
(1)n (n!)2
n1 l=0
( l)
rn + L
n=2+1
com L :=
1 n (n!) .
n1
l=2
n 1 r , l
21
l=1
n1
A razo de escrevermos essa expresso dessa forma reside no fato que, agora, a a
l=2
um produto de termos e
2 + ( ) 1 = = > = . 2 2 2 2 2
Cap tulo 10
486/1628
n=2+1
K
n=2+1
>
K
n=2+1
=
2+1
K r e P (r) r
onde K := 2 , P (r) :=
n=0 r/2
Disso conclu mos que para r , |y1 (r)| cresce mais rpido que er com > 1/2. Assim, um produto como a e y1 (r), que como dissemos representa a funao de onda radial de um eltron de momento angular nulo sob um c e potencial coulombiano, no de quadrado integrvel no espao R3 , uma condiao fundamental ligada ` interpretaao a e a c c a c probabil stica da Mecnica Quntica. Assim, soluoes com > 0, mas no-inteiro, devem tambm ser descartadas a a c a e nesse contexto.