Solu C Oes de Equa C Oes Diferenciais Ordin Arias Complexas PDF

Captulo 14
Solu
coes de Equa
co
es Diferenciais Ordin
arias
Lineares no Plano Complexo
Conte
udo
14.1 Soluc
oes em Series de Pot encias para Equa c
oes Regulares . . . . . . . . . . . . . . . . . . 599
14.1.1 A Equac
ao do Oscilador Harm onico Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . 600
14.1.2 A Equac
ao de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 601
14.1.3 A Equac
ao de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 604
14.1.4 A Equac
ao de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 606
14.1.5 A Equac
ao de Tchebychev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 608
14.1.6 O Caso de Equacoes Regulares Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 611
14.2 Soluc
ao de Equa c
oes Singulares Regulares. O M etodo de Frobenius . . . . . . . . . . . . 613
14.2.1 Equac
oes Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . 616
14.2.2 A Equac
ao de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 623
14.2.3 A Equac
ao de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 625
14.2.4 Equac
oes Relacionadas `
a de Bessel. A Equac ao de Bessel Esferica . . . . . . . . . . . . . . . . 635
14.2.5 Equac
oes Relacionadas `
a de Bessel. A Equac ao de Bessel Modificada . . . . . . . . . . . . . . 637
14.2.6 A Equac
ao de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 638
14.2.7 A Equac
ao Hipergeometrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 640
14.2.8 A Equac
ao Hipergeometrica Confluente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 644
14.3 Algumas Equa c
oes Associadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 646
14.3.1 A Equac
ao de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 646
14.3.2 A Equac
ao de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 648
14.4 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 650

APENDICES . . . . . . . . . . . . . . . . . . . . . . . . 651
14.A Prova da Proposi c
ao 14.1. Justificando os Polin omios de Legendre . . . . . . . . . . . . . 651
14.B Polinomios de Legendre: Provando (14.14) . . . . . . . . . . . . . . . . . . . . . . . . . . . 652
14.C Justificando os Polin omios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 654
14.D Polinomios de Hermite: Provando (14.20) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 655
14.E Porque deve ser um Inteiro Positivo na Equa c
ao de Laguerre . . . . . . . . . . . . . . . 656
14.F Polinomios de Tchebychev: Obtendo (14.39) a Partir de (14.36)(14.38) . . . . . . . . . 658
T rataremos no presente captulo de apresentar solucoes de equacoes diferenciais ordinarias lineares e homogeneas,
regulares ou com pontos singulares regulares. Por simplicidade, e para atender ao interesse de problemas fsicos,
trataremos apenas de equacoes de segunda ordem mas, em essencia, tudo o que faremos facilmente se generaliza
para equacoes de ordem superior. Nossa abordagem estar a centrada no chamado metodo de expansao em
serie de potencias (para equacoes regulares) e no metodo de Frobenius (para equacoes com singularidades regulares).
Estudaremos tanto casos gerais (com razoavel detalhe) quanto equacoes particulares de interesse em Fsica.
Em um certo sentido, o presente captulo d
a continuidade ao Captulo 13, mas dele so utilizaremos os Teoremas 13.3
e 13.4, das p
aginas 561 e 565, respectivamente. Esses teoremas fundamentais sao as justificativas dos metodos de solucao
que empregaremos.
Comentamos ainda que trataremos as equacoes diferenciais como equacoes no plano complexo ainda que, na Fsica,
o interesse tipicamente resida em equacoes na reta real pois, como discutimos no Captulo 13, a natureza das solucoes e
a justificativa dos metodos de solucao sao melhor entendidas quando abandonamos as limitacoes da reta real de modo a
explorar a estrutura analtica das equacoes e suas solucoes.
598
JCABarata. Curso de Fsica-Matem
atica Vers
ao de 19 de marco de 2014. Captulo 14 599/2103
Por vezes, omitiremos detalhes de c

alculos e o estudante e convidado a complet a-los como exerccio. Apesar de alguns
desses c
alculos omitidos serem reconhecidamente entediantes (nao so os omitidos, alias), o estudante e recomendado faze-
los ao menos uma vez durante sua existencia terrena, pois nao e possvel apoderar-se do conhecimento aqui desenvolvido
apenas por meio de leitura passiva.
O tratamento que faremos de solucoes de equacoes gerais e bastante detalhado, um tanto mais do que o por vezes
encontrado na literatura. Os resultados gerais est ao resumidos nos Teoremas 14.1 e 14.2, adiante. O tratamento de
certas equacoes particulares de interesse em Fsica (como as de Legendre, Hermite, Airy, Tchebychev, Bessel e Laguerre)
e razoavelmente completo e varias propriedades especiais das solucoes, tais como relacoes de ortogonalidade, relacoes de
recorrencia, formulas do tipo de Rodrigues, representacoes integrais etc. (todas importantes na resolucao de problemas de
Fsica) sao discutidas com detalhe no Captulo 15, p agina 660. Uma omissao e um estudo detalhado do comportamento
assintotico de certas solucoes. Esperamos que futuramente essa lacuna possa ser completada.
Exemplos selecionados de problemas de Fsica onde algumas das equacoes particulares que discutimos se apresentam
(e a conseq uente resolucao desses problemas) poderao ser encontrados no Captulo 20, p
agina 872, ao qual remetemos os
estudantes interessados em adquirir um pouco de motivacao. A leitura daquele captulo requer um conhecimento parcial
das solucoes das equacoes diferenciais e suas propriedades, de modo que o estudante devera alternar sua leitura com a
do material que a precede nos Captulos 14 e 15.
Todas as equacoes particulares tratadas, suas solucoes e propriedades dessas solucoes, sao amplamente discutidas na
vasta literatura pertinente e a ela remetemos os estudantes interessados. Vide, por exemplo, [212], [265], [156], [10], [257],
[46], [113], [114], [25], [51], [52], [73], [232], [110], [107]. Para uma abordagem da teoria das funcoes especiais sob o ponto
de vista de teoria de grupos, vide [254].
14.1 Solu
coes em S
eries de Pot
encias para Equaco
es Regula-
res
Vamos na presente secao ilustrar o Teorema 13.3 da p agina 561 estudando a solucao por serie de potencias de algumas
equacoes diferenciais ordin
arias, homogeneas de segunda ordem e regulares de interesse (especialmente em Fsica). Boa
parte dos metodos apresentados nos exemplos aplicam-se a equacoes de ordem maior que dois, mas n ao trataremos de
tais generalizacoes aqui pois elas pouco apresentam de especial e seu interesse na Fsica e reduzido.
Na Secao 14.2, p
agina 613, ilustraremos o Teorema 13.4, p
agina 565, tratando de forma semelhante varias equacoes
singulares regulares de interesse pelo metodo de Frobenius.
Conforme demonstramos em p
aginas anteriores (Teorema 13.3, p agina 561), se a equacao diferencial linear homogenea
de segunda ordem
y (z) + a(z)y (z) + b(z)y(z) = 0 (14.1)
for tal que os coeficientes a(z) e b(z) sao funcoes analticas de z em torno de um ponto z0 , ent
ao suas solucoes serao
igualmente analticas em torno desse ponto e poderemos procurar resolve-la em termos de series de potencia centradas
em z0 :
X
y(z) = cn (z z0 )n . (14.2)
n=0
O chamado metodo de serie de potencias consiste precisamente em inserir o Ansatz (14.2) na equacao (14.1) e determinar
recursivamente os coeficientes cn . Pelas conclusoes obtidas anteriormente, resumidas no Teorema 13.3 da p agina 561, a
solucao obtida deve ser convergente pelo menos no maior disco aberto centrado em z0 no qual ambas as funcoes a(z) e
b(z) sejam tambem analticas.
Ilustraremos a aplicacao desse metodo na resolucao da equacao do oscilador harmonico simples e nas equacoes de
Legendre, Hermite, Airy e Tchebychev, todas equacoes de interesse em Fsica. Ao final discutiremos a solucao do
problema geral.
atica Vers
14.1.1 A Equac
ao do Oscilador Harm
onico Simples
Por raz
oes pedag ogicas, vamos comecar discutindo uma equacao diferencial bastante simples e familiar. Seja a bem-
conhecida equacao do oscilador harm
onico simples
y (z) + 02 y(z) = 0 , (14.3)
onde 0 e uma constante. Nesse caso a(z) = 0 e b(z) = 02 , ambas analticas em toda parte. Procuremos ent
P ao uma
facil ver que
solucao da forma y(z) = n=0 cn z n (com z0 = 0). E

X
X
X
nn+1
y (z) = ncn z n1 = ncn z n1 = (n + 1)cn+1 z n ,
n=0 n=1 n=0
ou seja,

X

y (z) = (n + 1)cn+1 z n (14.4)
n=0
e que

X
X
X
nn+1
y (z) = n(n + 1)cn+1 z n1 = n(n + 1)cn+1 z n1 = (n + 1)(n + 2)cn+2 z n ,
n=0 n=1 n=0
ou seja,

X
y (z) = (n + 1)(n + 2)cn+2 z n . (14.5)
n=0
Inserindo-se (14.4) e (14.5) em (14.3), obtem-se

h
X i
(n + 1)(n + 2)cn+2 + 02 cn z n = 0 .
n=0
Como essa ultima relacao supostamente vale para todo z, tem-se forcosamente que os fatores entre colchetes sao todos
nulos (por que?):
02
(n + 1)(n + 2)cn+2 + 02 cn = 0 , ou seja, cn+2 = cn (14.6)
(n + 1)(n + 2)
para todo n 0. A solucao dessa u

ltima equacao recursiva e
(1)k 02k (1)k 02k

c2k = c0 , c2k+1 = c1 .
(2k)! (2k + 1)!
com k 0. Essas expressoes relacionam todos os coeficientes cn com os dois primeiros coeficientes, c0 e c1 .
P
Inserindo isso na expressao y(z) = n=0 cn z n , tem-se

X X X (1)k 2k 0
X (1)k 02k 2k+1
y(z) = c2k z 2k + c2k+1 z 2k+1 = c0 z 2k + c1 z
(2k)! (2k + 1)!
k=0 k=0 k=0 k=0

X (1)k c1 X (1)k
= c0 (0 z)2k + (0 z)2k+1
(2k)! 0 (2k + 1)!
k=0 k=0
c1
= c0 cos(0 z) + sen (0 z) .
0
Na ultima passagem pudemos identificar as duas series de potencias com as series de Taylor (em torno de 0) das funcoes
seno e co-seno. Notemos que em problemas menos simples, como os que encontraremos adiante, nem sempre sera possvel
identificar as series resultantes com as series de Taylor de funcoes previamente conhecidas, o que nos conduzira à definicao
de novas funcoes, as chamadas func oes especiais.
atica Vers
de se notar que a solucao final, y(z) = c0 cos(0 z) + c1 sen (0 z), e analtica em toda a parte como funcao de z, o
E 0
que j
a era esperado do fato de as funcoes a(z) e b(z) serem funcoes analticas em toda parte (duas constantes).
Obtivemos, assim, a bem-conhecida solucao do oscilador harmonico simples em termos de uma combinacao linear das
funcoes seno e co-seno. Os coeficientes c0 e c1 podem ser determinados se mais condicoes forem impostas à solucao. Por
exemplo, se impusermos condicoes iniciais y(0) = y0 e y (0) = v0 , obtemos c0 = y0 e c1 = v0 .
14.1.2 A Equac
ao de Legendre
A equacao diferencial
(1 z 2 )y (z) 2zy (z) + ( + 1)y(z) = 0 (14.7)
e denominada equac ao de Legendre1 de ordem2 . Em princpio, adotamos C, arbitrario, mas na maioria das
aplicacoes em Fsica apenas valores especiais de sao considerados, a saber, e tomado um inteiro n
ao-negativo.
A equacao de Legendre e uma parente proxima, a equacao de Legendre associada, tratada na Secao 14.3.1, p agina
646, surgem em varios problemas de Fsica, do Eletromagnetismo à Mecanica Qu antica. Tipicamente ambas surgem
quando da resolucao da equacao de Helmholtz pelo metodo de separacao de variaveis em coordenadas esfericas em tres
dimensoes. Vide Captulo 20, pagina 872.
A equacao de Legendre acima pode ser posta na forma padr
ao (14.1) com
2z ( + 1)
a(z) = e b(z) = .
1 z2 1 z2
Claramente, ambas as funcP portanto, legtimo procurarmos

oes sao analticas em um disco de raio 1 centrado em z0 = 0. E,

solucoes na forma y(z) = n=0 cn z n (com z0 = 0). Tais solucoes serao analticas pelo menos no disco de raio 1 centrado
em z0 = 0.
Inserindo-se (14.4)-(14.5) em (14.7), obtem-se

X
X
X
X
(n + 1)(n + 2)cn+2 z n (n + 1)(n + 2)cn+2 z n+2 2 (n + 1)cn+1 z n+1 +( + 1) cn z n = 0 . (14.8)
n=0 n=0 n=0 n=0
| {z } | {z }
I II
f
E acil ver que

X
X
X
nn2
I (n + 1)(n + 2)cn+2 z n+2 = (n 1)n cn z n = (n 1)n cn z n , (14.9)
n=0 n=2 n=0
onde, na penultima igualdade, fizemos a mudanca de variaveis n n 2 e, na u

ltima, acrescentamos os termos com
n = 0 e n = 1 por estes serem nulos. Analogamente,

X
X
X
nn1
II (n + 1)cn+1 z n+1 = ncn z n = ncn z n , (14.10)
n=0 n=1 n=0
onde, na penultima igualdade, fizemos a mudanca de variaveis n n 1 e, na u

ltima, acrescentamos o termo com n = 0
por este ser nulo. Assim, (14.8) fica

X
X
X
X
(n + 1)(n + 2)cn+2 z n (n 1)n cn z n 2 ncn z n + ( + 1) cn z n = 0 ,
n=0 n=0 n=0 n=0
ou seja, " #

X
(n + 1)(n + 2)cn+2 (n 1)n + 2n ( + 1) cn z n = 0 .
n=0
1 Adrien-Marie Legendre (17521833).
2 Aqui a palavra ordem n
ao deve ser confundida com a ordem da equaca
o diferencial, que
e dois.
atica Vers
Como (n 1)n + 2n = n(n + 1), obtemos o seguinte conjunto de equacoes

(n + 1)(n + 2)cn+2 n(n + 1) ( + 1) cn = 0 , n 0 .
Essas expressoes fornecem as seguintes equacoes recursivas para os coeficientes cn :

n(n + 1) ( + 1)
cn+2 = cn , n 0 . (14.11)
(n + 1)(n + 2)
De maneira analoga ao que ocorre no caso do oscilador harmonico simples (vide eq. (14.6)), podemos expressar todos os
coeficientes cn com n par em termos de c0 e todos os coeficientes cn com n mpar em termos de c1 . Mais precisamente,
tem-se
k1
" # k1
1 Y ( + 1) Y ( + 1)
c2k = 2l(2l + 1) ( + 1) c0 = 1 c0 ,
(2k)! 2k 2l(2l + 1)
l=0 l=1
k1
" # k1
1 Y 1 Y ( + 1)

c2k+1 = (2l + 1)(2l + 2) ( + 1) c1 = 1 c1 .
(2k + 1)! 2k + 1 (2l + 1)(2l + 2)
l=0 l=0
Para C generico conclumos que a solucao geral da equacao de Legendre e da forma

(0) (1)
y(z) = c0 y (z) + c1 y (z) ,
onde
k1
!
(0)
X z 2k Y
y (z) = 2l(2l + 1) ( + 1) (14.12)
(2k)!
k=0 l=0
k1
!
(1)
X z 2k+1 Y
y (z) = (2l + 1)(2l + 2) ( + 1) (14.13)
(2k + 1)!
k=0 l=0
Conforme comentamos, sabemos a priori que ambas as series acima convergem para |z| < 1. O que ocorre caso |z| = 1?
Isso e respondido na seguinte proposicao, cuja demonstracao encontra-se no Apendice 14.A, p
agina 651 (vide tambem
[212] para uma outra prova semelhante):
Proposi c
ao 14.1 Caso R n ao seja um inteiro nao-negativo par, a serie em (14.12) diverge em z = 1. Caso R
ao seja um inteiro positivo mpar, a serie em (14.13) diverge em z = 1.
n
Essa proposicao ensina-nos que as solucoes (14.12) e (14.13) da equacao de Legendre serao divergentes em z = 1
caso n ao seja um inteiro n
ao-negativo e isso para qualquer escolha de c0 e c1 n
ao-nulos. Em aplicacoes, porem, e muito
importante ter-se solucoes finitas no intervalo fechado real [1, 1] de valores de z. A u nica esperanca que resta reside
(0)
na situacao na qual e um inteiro n
ao-negativo e, de fato, podemos verificar que em tal caso y e finita se for par e
(1)
que y e finita se for mpar.
Os polin
omios de Legendre
Contemplando a expressao (14.12) facilmente constata-se que no caso em que = 2n, um inteiro n
ao-negativo par,
tem-se !
n k1
(0)
X z 2k Y
y2n (z) := 2l(2l + 1) 2n(2n + 1) ,
(2k)!
k=0 l=0
que e um polinomio de grau 2n em z.
Analogamente, contemplando a expressao (14.13) facilmente se constata que no caso em que = 2n + 1, um inteiro
positivo mpar, tem-se
n k1
!
(1)
X z 2k+1 Y
y2n+1 (z) := (2l + 1)(2l + 2) (2n + 1)(2n + 2) ,
(2k + 1)!
k=0 l=0
atica Vers
que e um polinomio de grau 2n + 1 em z.

Assim, vemos que no caso de ser um inteiro n ao-negativo a equacao de Legendre tem uma solucao finita em toda
(0) (1)
a parte, a saber, o polinomio c0 y2n (z), caso = 2n, par, ou o polinomio c1 y2n+1 (z), caso = 2n + 1, mpar. Definimos,
ent
ao,
m/2
!

X z 2k k1 Y
(0)

c0 ym (z) = c0 2l(2l + 1) m(m + 1) , m par

(2k)!
k=0 l=0

Pm (z) := .

(m1)/2 k1
!

(1)
X z 2k+1 Y
c
1 m
y (z) = c 1 (2l + 1)(2l + 2) m(m + 1) , m mpar
(2k + 1)!
k=0 l=0
claro pela definicao acima que Pm e um polinomio de grau m e o coeficiente do mon

E omio de maior grau, z m , vale
m/21
!
1 Y
c0 2l(2l + 1) m(m + 1) , para m par
m!
l=0
e !
(m3)/2
1 Y
c1 (2l + 1)(2l + 2) m(m + 1) , para m mpar.
m!
l=0
Por razoes historicas, convenciona-se escolher c0 e c1 de modo que o coeficiente do mon omio de maior grau de Pm seja
igual a 2m(2m)!
(m!) 2 . Como facilmente se constata ap
o s alguns c
a lculos entediantes, isso conduz à seguinte expressao para os
polinomios Pm (z):
m/2
X (1)a (2m 2a)!
Pm (z) := m (m a)! (m 2a)! a!
z m2a , (14.14)
a=0
2
onde m/2 e o maior inteiro menor ou igual a m/2, ou seja,

m,

m par,
2
jmk

:=
2

m1 , m mpar.

2
A prova de (14.14) pode ser encontrada no Apendice 14.B, p

agina 652.
E. 14.1 Exerccio. Tente provar (14.14) sem ler o Apendice 14.B. 6
A expressao (14.14) define os assim denominados polin omios de Legendre de grau m, cada qual e solucao da equacao
de Legendre de ordem m
(1 z 2 )y (z) 2zy (z) + m(m + 1)y(z) = 0 ,
com m inteiro n ao-negativo. Como comentamos, essa equacao possui, para cada m inteiro n
ao-negativo, uma segunda
solucao que e, porem, divergente para z 1.
Os quatro primeiros polinomios de Legendre sao
1 3 3 5
P0 (z) = 1 , P1 (z) = z , P2 (z) = + z 2 , P3 (z) = z + z 3 ,
2 2 2 2
como facilmente se ve pela definicao acima.
Os polinomios de Legendre possuem varias propriedades importantes, tais como relacoes de ortogonalidade, formulas
de recorrencia etc., as quais serao discutidas na Secao 15.2.1, p
agina 672. Tambem remetemos o estudante à literatura
pertinente supracitada. A Figura 14.1, p agina 604, exibe o grafico dos primeiros polinomios de Legendre no intervalo
[1, 1].
atica Vers
P0
1.0
0.8
P1
0.6
0.4 P2
P3 P4
0.2
0.0
1.0 0.8 0.6 0.4 0.2 0.0 0.2 0.4 0.6 0.8 1.0
0.2
0.4
0.6
0.8
1.0
Figura 14.1: Os polinomios de Legendre P0 a P4 no intervalo [1, 1].
14.1.3 A Equac
ao de Hermite
y (z) 2zy (z) + y(z) = 0, (14.15)
3
com C e denominada equac ao de Hermite . Essa equacao e famosa por surgir em um problema b asico da Mecanica
Qu
antica, a saber, o problema do oscilador harm onico unidimensional. Vide Secao 20.7, p
agina 937. A relacao de (14.15)
com a equacao hipergeometrica confluente e exibida na Secao 14.2.8, p
agina 644.
Comparando à forma padr
ao (14.1), constatamos que aqui
a(z) = 2z e b(z) = .
Ambas essas funcoes sao analticas em todo o plano complexo e, pelo Teorema 13.3 da p
agina 561, assim serao as solucoes
da equacao de P
Hermite, sendo que podemos encontra-las atraves de uma expansao em serie de potencias em torno de

z0 = 0: y(z) = n=0 cn z n .

X
X
X
(n + 1)(n + 2)cn+2 z n 2 (n + 1)cn+1 z n+1 + cn z n = 0 . (14.16)
n=0 n=0 n=0
| {z }
II
A soma II pode ser escrita como em (14.10) e, assim, (14.16) fica

X
X
X
n n
(n + 1)(n + 2)cn+2 z 2 ncn z + cn z n = 0 ,
n=0 n=0 n=0
3 Charles Hermite (18221901).
atica Vers
ou seja,
h
X i
(n + 1)(n + 2)cn+2 + ( 2n) cn z n = 0 ,
n=0
para todo z C, o que implica (n + 1)(n + 2)cn+2 + ( 2n) cn = 0, n 0. Disso conclumos que
2n
cn+2 = cn , n0. (14.17)
(n + 1)(n + 2)
Assim como no caso do oscilador harm onico simples e no caso da equacao de Legendre, os coeficientes cn com n par sao
proporcionais a c0 e os coeficientes cn com n mpar sao proporcionais a c1 . Mais precisamente, tem-se
k1
Y
c2 = c0 , c2k = c0 (4l ) , k2,
2 (2k)!
l=1
k
1 Y
c2k+1 = c1 (4l 2 ) , k1.
(2k + 1)!
l=1
Desta forma, chegamos `

a seguinte solucao geral da equacao de Hermite:
(0) (1)
y(z) = c0 y (z) + c1 y (z) ,
onde
k1 k
(0) 2 X z 2k Y (1)
X z 2k+1 Y
y (z) := 1 z (4l ) , y (z) := z + (4l 2 ) .
2 (2k)! (2k + 1)!
k=2 l=1 k=1 l=1
Conforme comentamos, o Teorema 13.3 da p agina 561 garante-nos que ambas as series acima convergem absolutamente
(0) (1)
para todo z C, fazendo de y e y funcoes inteiras de z.
Os polin
omios de Hermite
Vamos agora passar à definicao dos chamados polin
omios de Hermite. Nestas notas usamos a chamada definicao
fsica dos polinomios de Hermite. H a uma outra convencao, usada especialmente na Teoria das Probabilidades, que
difere da definicao usada em Fsica por um reescalonamento. O leitor deve, por isso, ter cuidado ao comparar nossas
expressoes com outras usadas em textos da Teoria das Probabilidades.
No caso em que z e restrita a ser uma variavel real, chamemo-la x, e possvel demonstrar que se for real e as
series acima forem infinitas, entao ambas comportam-se, para |x| grande, como funcoes que crescem mais rapido que
exp(x2 /2). Isso e provado no Apendice 14.C, p agina 654, e, por outros meios, em [156] ou em [150]. No contexto da
Mec anica Quantica esse fato e indesejado, pois conduz a funcoes de onda que nao sao de quadrado integravel (vide
Secao 20.7, p
agina 937). Assim, interessa-nos investigar sob quais circunst
ancias as series acima podem ser reduzidas a
polinomios.
Como vemos facilmente por (14.17), isso se d a apenas quando for um n umero inteiro nao-negativo e par: = 2m,
com m = 0, 1, 2, . . . etc. De fato, se = 2m, com m = 0, 1, 2, . . . etc., a expressao (14.17) diz-nos que 0 = cm+2 =
(0) (1)
cm+4 = cm+6 = etc. Assim, caso m for par, y sera um polinomio de ordem m e caso m for mpar, y sera um
polinomio de ordem m.
Defina-se, assim,

m/2 (0)

(2) (m 1)!! y2m (z), para m par,

Hm (z) := (14.18)

(1)
(2)(m+1)/2 (m!!) y2m
(z), para m mpar,
atica Vers
ou seja,
m

2 2k k1
2m 2 X z Y
(2)m/2 (m 1)!! 1

z 2m (4l 2m) , para m par,

2 (2k)!
k=2 l=1

Hm (z) := (14.19)

m1
2 2k+1 Yk

X z

(2)(m+1)/2 (m!!) z + (4l 2(m + 1)) , para m mpar.

(2k + 1)!
k=1 l=1
De maneira compacta, podemos escrever isso da seguinte forma

m/2
X (1)k m!
Hm (z) := (2z)m2k . (14.20)
k! (m 2k)!
k=0
A demonstracao pode ser encontrada no Apendice 14.D, p

agina 655.
E. 14.2 Exerccio. Tente mostrar isso sem ler o Apendice 14.D. 6
omios de Hermite. Os fatores (2)m/2 (m 1)!!

As funcoes Hm (z) sao polinomios de grau m e sao denominados polin
e (2)(m+1)/2 (m!!) provem de uma convencao historica sobre a normalizacao dos polinomios de Hermite. Os quatro
primeiros sao
H0 (z) = 1 , H1 (z) = 2z , H2 (z) = 2 + 4z 2 , H3 (z) = 12z + 8z 3 ,
como facilmente se ve pela definicao acima.

Cada polinomio de Hermite Hm e solucao da equacao de Hermite
y (z) 2zy (z) + 2my(z) = 0,
com m inteiro positivo. Como mencionamos, essa equacao possui ainda uma segunda solucao que, embora finita para
todo z C, cresce muito rapidamente quando z e real e |z| , o que elimina seu interesse no contexto da Mecanica
Quantica (especificamente, no problema do oscilador harmonico).
Os polinomios de Hermite possuem varias propriedades importantes, tais como relacoes de ortogonalidade, formulas
de recorrencia etc., que serao discutidas na Secao 15.2.3, p
agina 688. Tambem remetemos o estudante à literatura
pertinente supracitada.
14.1.4 A Equac
ao de Airy
y (z) zy(z) = 0
e denominada equac ao de Airy4 . Essa equacao surge em varios contextos, como por exemplo no estudo da propagacao de
ondas eletromagneticas em meios com ndice de refracao variavel, no estudo da reflex ao de ondas de radio na atmosfera
e, de especial import ancia, na Mec anica Qu antica, mais especificamente, na equacao de Schrodinger de uma partcula
que se move em uma dimensao sob um potencial que cresce linearmente com a posicao (i.e., sob uma forca constante).
Na Secao 20.5.3, p
agina 930, tratamos com detalhe de um outro problema fsico onde ocorre a equacao de Airy, a saber,
o problema de determinar os modos de vibracao de uma corda n ao-homogenea cuja densidade varia linearmente com a
posicao.
Comparando à forma padr ao (14.1), constatamos que aqui a(z) = 0 e b(z) = z. Ambas essas funcoes sao analticas
em todo o plano complexo e, pelo Teorema 13.3 da p agina 561, assim serao as solucoes da equacaP
o de Airy, sendo que

podemos encontra-las atraves de uma expansao em serie de potencias em torno de z0 = 0: y(z) = n=0 cn z n .
4 George Biddell Airy (18011892). A equa o de Airy surgiu originalmente em seus estudos sobre a Teoria do Arco-Iris. Vide tamb
ca em
On the diffraction of an object-glass with circular aperture, G. B. Airy, in Transactions of the Cambridge Philosophical Society (1835).
atica Vers
Inserindo-se (14.5) em (14.15), obtem-se

X
X
(n + 1)(n + 2)cn+2 z n cn z n+1 = 0 . (14.21)
n=0 n=0
| {z }
III
A expressao III pode ser escrita como

X
X
III = cn z n+1 = cn1 z n
n=0 n=1
pela mudanca n n 1. Assim, a equacao de Airy diz-nos que

X
X
(n + 1)(n + 2)cn+2 z n cn1 z n = 0 ,
n=0 n=1
ou seja,
h
X i
2c2 + (n + 1)(n + 2)cn+2 cn1 z n = 0 .
n=1
Com isso, devemos ter

c2 = 0 , (n + 1)(n + 2)cn+2 cn1 = 0, n1.
ou seja,
cn
c2 = 0 , cn+3 = , n0. (14.22)
(n + 2)(n + 3)
O conjunto de coeficientes {cn , n = 0, 1, 2, . . .} e a uniao dos seguintes tres conjuntos disjuntos:
{c3k , k = 0, 1, 2, . . .} = {c0 , c3 , c6 , c9 , . . .}
{c3k+1 , k = 0, 1, 2, . . .} = {c1 , c4 , c7 , c10 , . . .}
{c3k+2 , k = 0, 1, 2, . . .} = {c2 , c5 , c8 , c11 , . . .}
As relacoes de recorrencia de (14.22) implicam que os coeficientes do primeiro conjunto acima sao proporcionais a c0 ,
que os coeficientes do segundo conjunto acima sao proporcionais a c1 e que os coeficientes do terceiro conjunto acima sao
proporcionais a c2 . Porem, como c2 = 0, conclumos que os coeficientes do terceiro conjunto sao todos nulos. Logo,

X
X
y(z) = c3k z 3k + c3k+1 z 3k+1 .
k=0 k=0
As relacoes de recorrencia de (14.22) dizem-nos que

1 1
c3k = c0 , c3k+1 = c1 e c3k+2 = 0 ,
3k k! (3k 1)!!! 3k k! (3k + 1)!!!
para todo k 0. Assim, a solucao geral da equacao de Airy e

" # " #
X z 3k X z 3k+1
y(z) = c0 + c1 . (14.23)
3k k! (3k 1)!!! 3k k! (3k + 1)!!!
k=0 k=0
Como 3k k! = (3k)!!! (por que?), podemos reescrever isso como

" # " #
X z 3k X z 3k+1
y(z) = c0 + c1 .
(3k)!!! (3k 1)!!! (3k)!!! (3k + 1)!!!
k=0 k=0
atica Vers
As fun
co
es de Airy de primeiro e de segundo tipo
H
a ainda uma outra maneira de reescrever (14.23), a saber, usando as identidades

3k k + 23 3k k + 43
(3k 1)!!! = , (3k + 1)!!! = , (14.24)
32 43
sendo, para x 0, Z
(x) := et tx1 dt (14.25)
0
a bem conhecida Func
ao Gama de Euler, a qual satisfaz
(x + 1) = x(x) . (14.26)
assim como a assim denominada f

ormula de duplicac
ao

(x)(x + 1/2) = 212x (2x) . (14.27)
A Funcao Gama de Euler e suas propriedades sao discutidas com mais detalhe no Captulo 7, p
agina 271.
E. 14.3 Exerccio. Usando (14.26) prove (14.24). 6
Com isso, podemos escrever a solucao (14.23) da equacao de Airy como

"X
# "X
#
2 z 3k 4 z 3k+1
y(z) = c0 + c1 . (14.28)
3
k=0
32k k! k + 32 3
k=0
32k k! k + 34
Essa expressao pode ser escrita como combinacao linear das seguintes funcoes:

X z 3k X z 3k+1
Ai(z) := 2
, (14.29)
k=0
3 2k+2/3 k! k + 3 k=0
3 2k+4/3 k! k + 43
"
#
X z 3k X z 3k+1
Bi(z) := 31/2 + , (14.30)
k=0
32k+2/3 k! k + 32 k=0
32k+4/3 k! k + 34
as quais sao denominadas func

oes de Airy de primeiro tipo e de segundo tipo, respectivamente. As funcoes Ai(z) e Bi(z)
foram definidas como acima por convencao historica. Ambas sao analticas para todo z C e representam solucoes da
equacao de Airy. Propriedades dessas funcoes podem ser estudadas em [156].
Como veremos com um pouco mais de detalhe à p agina 636, a equacao de Airy pode ser transformada em uma
equacao de Bessel de ordem 1/3 e as funcoes de Airy Ai(z) e Bi(z) podem ser escritas em termos das funcoes de Bessel
J1/3 . Vide expressoes (14.127) e (14.128).
14.1.5 A Equac
ao de Tchebychev
(1 z 2 )y (z) z y (z) + 2 y(z) = 0 (14.31)
e denominada equacao de Tchebychev5 . Em princpio adotamos C arbitrario, mas o maior interesse estar
a no caso
em que e um inteiro n
ao-negativo.
A equacao de Tchebychev acima pode ser posta na forma padr
ao (14.1) com
z 2
a(z) = e b(z) = .
1 z2 1 z2
5 Pafnuty Lvovich Tchebychev (18211894).
atica Vers
Claramente, ambas as funcP portanto, legtimo procurarmos

oes sao analticas em um disco de raio 1 centrado em z0 = 0. E,

solucoes na forma y(z) = n=0 cn z n (com z0 = 0). Tais solucoes serao analticas pelo menos no disco de raio 1 centrado
em z0 = 0.

X
X
X
X
(n + 1)(n + 2)cn+2 z n (n + 1)(n + 2)cn+2 z n+2 (n + 1)cn+1 z n+1 +2 cn z n = 0 . (14.32)
n=0 n=0 n=0 n=0
| {z } | {z }
I II
Novamente, I e II sao dadas como em (14.9) e (14.10), respectivamente, e, portanto, (14.32) fica

X
X
X
X
(n + 1)(n + 2)cn+2 z n (n 1)n cn z n ncn z n + 2 cn z n = 0 ,
n=0 n=1 n=1 n=0
ou seja, " #

X
2
2c2 + c0 + (n + 1)(n + 2)cn+2 (n 1)n + n cn z n = 0 . 2
n=1
2
Como (n 1)n + n = n , obtemos o seguinte conjunto de equacoes
2c2 + 2 c0 = 0,

(n + 1)(n + 2)cn+2 n2 2 cn = 0, n 1 .
Essas expressoes fornecem as seguintes equacoes recursivas para os coeficientes cn :

n2 2
cn+2 = cn , n 0 . (14.33)
(n + 1)(n + 2)
De maneira analoga ao que fizemos em exemplos anteriores, podemos expressar todos os coeficientes cn com n par em
termos de c0 e todos os coeficientes cn com n mpar em termos de c1 . Mais precisamente, tem-se
k1
" #
1 Y
c2k = (2l)2 2 c0 ,
(2k)!
l=0
k1
" #
1 Y
c2k+1 = (2l + 1)2 2 c1 .
(2k + 1)!
l=0
Para C generico conclumos que a solucao geral da equacao de Tchebychev e da forma

(0) (1)
y(z) = c0 y (z) + c1 y (z) ,
onde
k1
" #
(0)
X z 2k Y 2 2
y (z) = 1+ (2l) , (14.34)
(2k)!
k=1 l=0
k1
" #
(1)
X z 2k+1 Y 2 2
y (z) = z+ (2l + 1) . (14.35)
(2k + 1)!
k=1 l=0
Os polin
omios de Tchebychev
Como mencionamos, o principal interesse reside no caso em que e um inteiro n ao-negativo: = m. Nesse caso e
(0) (1)
f
acil ver que ym (z) sera um polinomio de grau m, caso m seja par e ym (z) sera um polinomio de grau m, caso m seja
atica Vers
mpar. Esses polinomios sao

m/2
" #
X z 2k k1
Y
(0) 2 2
ym (z) = 1+ (2l) m , m par, (14.36)
(2k)!
k=1 l=0
(14.37)
(m1)/2 k1
" #
(1)
X z 2k+1 Y 2 2
ym (z) = z+ (2l + 1) m , m mpar. (14.38)
(2k + 1)!
k=1 l=0
Por uma convencao historica, costuma-se redefinir esses polinomios multiplicando-os por uma constante dependente de m
de modo a fazer o coeficiente do mon omio de maior grau, z m , igual a 2m1 . Apos alguns calculos entediantes (indicados
no Apendice 14.F, pagina 658) o estudante poder a convencer-se que, com essa convencao, os polinomios acima podem
ser escritos de uma forma compacta como
m/2
m X (1)k (m k 1)!
T0 (z) = 1 , Tm (z) := (2z)m2k , m>0. (14.39)
2 k! (m 2k)!
k=0
Os polinomios assim definidos sao denominados polin omios de Tchebychev, os quais desempenham um papel central na
Teoria da Aproximacao6 . Vide, por exemplo, [55], [249], [221] ou [174].
Os quatro primeiros polinomios de Tchebychev sao
T0 (z) = 1 , T1 (z) = z , T2 (z) = 2z 2 1 , T3 (z) = 4z 3 3z .
possvel ainda demonstrar que os polinomios de Tchebychev podem ser escritos na forma
E
m/2
X
p m p
Tm (z) = (1) z m2p 1 z 2 , (14.40)
p=0
2p
valida para todo m = 0, 1, 2, 3, 4, . . ..

Uma das mais curiosas e importantes propriedades dos polinomios de Tchebychev Tm e a seguinte identidade:

Tm (x) = cos m arccos(x) . (14.41)
valida para 1 x 1. Essa relacao pode ser demonstrada constatando-se que o lado direito e solucao da equacao de
Tchebychev e constatando-se que o lado direito e um polinomio (o que e um tanto uma surpresa. Vide abaixo) de grau
m e que o coeficiente de seu termo de maior grau em z e 2m1 .
A relacao (14.41) pode ser facilmente demonstrada a partir da expressao (14.40) (ou vice-versa). Vide Exerccio E.
14.4, abaixo. Alguns autores adotam (14.41) como definicao dos polinomios de Tchebychev.
6 Para uma discuss
ao sobre o interessante problema de Engenharia que conduziu Tchebychev aos polin
omios que levam seu nome, vide
[143].
atica Vers
E. 14.4 Exerccio resolvido. Prove (14.41) para 1 x 1. Sugestao: definindo y arccos(x), tem-se

cos m arccos(x) = cos(my)
1 imy
= e + eimy
2
1
= [(cos y + i sen y)m + (cos y i sen y)m ]
2
1 h p m p m i
= x + i 1 x2 + x i 1 x2
2
"m m #
1 X m p q X m p q
mq 2 mq 2
= x i 1x + x i 1 x
2 q=0 q q=0
q
m/2

X
p m p (14.40)
= (1) xm2p 1 x2 = Tm (x) ,
p=0
2p
que e o que queramos. 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 (14.41) a partir de (14.40), basta ler as linhas acima do fim para o comeco. 6
De (14.41) segue imediatamente a interessante propriedade de composicao
Tn (Tm (x)) = Tnm (x) , (14.42)
valida para todos n, m inteiros n

ao-negativos. Como ambos os lados de (14.42) sao polinomios, essa relacao vale para
todo x complexo.
14.1.6 O Caso de Equac

oes Regulares Gerais
Nas p
aginas acima resolvemos em varios exemplos particulares a equacao
y (z) + a(z)y (z) + b(z)y(z) = 0 (14.43)
em casos em que os coeficientes a(z) e b(z) sao funcoes analticas de z em torno de um ponto z0 . Para tal, evocando o
Teorema 13.3, p
agina 561, procuramos solucoes na forma de series de potencias:

X
y(z) = cn (z z0 )n . (14.44)
n=0
Vamos agora mostrar como o metodo que descrevemos se aplica ao caso geral no qual as funcoes a(z) e b(z) sao tambem
dadas em termos de series de potencias:

X
X
a(z) = an (z z0 )n , b(z) = bn (z z0 )n .
n=0 n=0
Usando novamente (14.4) e (14.5) a equacao (14.43) fica (adotamos daqui para frente z0 = 0, sem perda de generali-
dade)

! !
! !
X X X X X
n n n n n
(n + 1)(n + 2)cn+2 z + an z (n + 1)cn+1 z + bn z cn z . (14.45)
n=0 n=0 n=0 n=0 n=0
atica Vers
P P
Para o produto de duas series de potencia p=0 p z p e q=0 q z q vale

!
! X
n
!
X X X X X
p q p+q
p z q z = p q z = nm m zn . (14.46)
p=0 q=0 p=0 q=0 n=0 m=0
E. 14.5 Exerccio. Mostre isso. 6
Assim, (14.45) fica

n
! n
!
X X X X X
n n
(n + 1)(n + 2)cn+2 z + anm (m + 1)cm+1 z + bnm cm z n = 0,
n=0 n=0 m=0 n=0 m=0
ou seja,
h
X n
X n
X i
(n + 1)(n + 2)cn+2 + (m + 1)anm cm+1 + bnm cm z n = 0,
n=0 m=0 m=0
o que implica
n
1 X
cn+2 = (m + 1)anm cm+1 + bnm cm (14.47)
(n + 1)(n + 2) m=0
para todo n 0. Observe que essa expressao determina cn+2 em termos de c0 , c1 , . . . , cn+1 . Assim, apenas fixando c0
e c1 podemos determinar todos os demais coeficientes cn atraves da expressao recursiva acima.
PComo ndissemos, os resultados que nos conduziram ao Teorema 13.3, p agina 561, garantem-nos que a serie y(z) =
n=0 cn z assim obtida e convergente na mesma regiao em que convergem as series de a(z) e b(z), de modo que n ao
precisamos provar isso. Alguns P autores (por exemplo, [212]) usam as express
o es recursivas (14.47) para demonstrar a
convergencia da serie y(z) = n=0 cn z n . Como dissemos, pelo nosso proceder isso nao e mais necessario, mas o estudante
interessado e convidado a estudar essa outra (elegante) demonstracao no texto supracitado.
Para futura referencia, resumimos nossas conclusoes sobre equacoes regulares no seguinte teorema.
Teorema 14.1 (Solu
c
ao de equa
co
es regulares por expans ao em serie de pot
encias) Considere-se a equac
ao
diferencial
y (z) + a(z)y (z) + b(z)y(z) = 0 , (14.48)
z C, com a(z) e b(z) analticas em torno de z0 e expressas em termos de suas series de Taylor em torno de z0 como

X
X
a(z) = an (z z0 )n , b(z) = bn (z z0 )n ,
n=0 n=0
series estas supostas absolutamente convergentes em |z z0 | < r, para algum r > 0. Ent ao a soluc
ao geral da equac
ao
(14.48) pode ser expressa em termos de uma expans ao em serie de potencias em z z0 :

X
y(z) = cn (z z0 )n ,
n=0
onde os coeficientes cn podem ser obtidos atraves das relac

oes recursivas
n
1 X
cn+2 = (m + 1)anm cm+1 + bnm cm , n0,
(n + 1)(n + 2) m=0
a partir dos dois primeiros coeficientes c0 e c1 , arbitr

arios. A expansao em serie de potencias para y(z) converge
absolutamente pelo menos na regiao |z z0 | < r, onde representa uma func
ao analtica. 2
atica Vers
14.2 Solu
cao de Equaco
es Singulares Regulares. O M
etodo
de Frobenius
Na presente secao ilustraremos o Teorema 13.4, p agina 565, estudando a solucao, por um metodo devido a Frobenius7 , de
algumas equacoes diferenciais ordin
arias, homogeneas de segunda ordem e singulares regulares de interesse (especialmente
em Fsica). Boa parte dos metodos apresentados nos exemplos aplicam-se a equacoes de ordem maior que dois, mas n ao
trataremos de tais generalizacoes aqui pois elas pouco apresentam de especial e seu interesse na Fsica e reduzido.
Vale aqui novamente a advertencia sobre a omissao de alguns detalhes de c alculos, sendo o estudante novamente
convidado a complet a-los como exerccio (todos merecem ser feitos ao menos uma vez na vida). Todas as equacoes
particulares tratadas e suas solucoes sao amplamente discutidos na vasta literatura pertinente, por exemplo, aquela
listada à p
agina 599.
Conforme demonstramos em p
aginas anteriores (Teorema 13.3, p agina 561), se a equacao diferencial linear homogenea
de segunda ordem
a(z) b(z)
y (z) + y (z) + y(z) = 0 (14.49)
(z z0 ) (z z0 )2
a(z)
for tal que a(z) e b(z) sao funcoes analticas de z em torno de um ponto z0 , ent
ao o coeficiente (zz0 ) tem no maximo
b(z)
uma singularidade de tipo polo de ordem 1 em z0 e o coeficiente tem no maximo uma singularidade de tipo polo
(zz0 )2
de ordem 2 em z0 . Assim, pelas nossas definicoes previas, z0 e um ponto singular regular da equacao (14.49). Nesse caso,
o Teorema 13.3, pagina 561, diz-nos que ou a equacao (14.49) tem duas solucoes independentes da forma

X

y(z) = (z z0 ) cn (z z0 )n . (14.50)
n=0
P
onde C e a serie n=0 cn (z z0 )n e absolutamente convergente para |z z0 | < r (e, portanto, representa uma funcao
analtica em torno de z0 ) ou ent
ao a equacao (14.49) tem duas solucoes independentes, uma da forma (14.50) e outra da
forma
X
X
y(z) = (z z0 ) (ln(z z0 )) cn (z z0 )n + (z z0 ) vn (z z0 )n . (14.51)
n=0 n=0
P n
P n
onde, novamente as series n=0 cn (z z0 ) e n=0 vn (z z0 ) sao absolutamente convergentes para |z z0 | < r (e,
portanto, representam funcoes analticas em torno de z0 ). Em ambos os casos acima r > 0 e o raio do maior disco aberto
centrado em z0 dentro do qual a(z) e b(z) sao analticas.
O chamado metodo de Frobenius consiste precisamente em inserir-se o Ansatz (14.50) na equacao (14.49) e determinar
recursivamente os coeficientes cn , assim como o expoente . Caso duas solucoes distintas sejam encontradas dessa forma,
o problema est
a resolvido. Caso se encontre apenas uma solucao, ent ao uma segunda solucao da forma (14.51) deve ser
procurada atraves da determinacao recursiva dos coeficientes cn e vn , assim como dos expoentes e .
Ao contrario do que fizemos no caso de equacoes regulares, quando primeiro exploramos exemplos particulares para
depois tratarmos do caso geral, e mais conveniente no presente contexto que nos apoderemos primeiramente da analise
geral para depois tratarmos de equacoes especficas, pois uma visao previa das complicacoes envolvidas nos auxiliar
aa
evitar certas armadilhas ocultas no tratamento de equacoes singulares regulares particulares8 . Ilustraremos o metodo de
Frobenius apresentando a resolucao da equacao de Euler, da equacao de Bessel, da equacao de Laguerre e das equacoes
hipergeometrica e hipergeometrica confluente, todas de interesse em Fsica.
O principal teorema que demonstraremos, o qual resume os resultados do metodo de Frobenius e expressa a solucao
de uma equacao singular regular homogenea de segunda ordem geral, e o seguinte:
Teorema 14.2 (Solu
c
ao de equaco
es singulares regulares pelo m etodo de Frobenius) Seja a equac
ao diferen-
cial
(z z0 )2 y (z) + (z z0 )a(z)y (z) + b(z)y(z) = 0 , (14.52)
7 Ferdinand Georg Frobenius (18491917).
8O estudante e convidado a n ao entrar em panico diante da aparente complexidade de algumas express oes que obteremos. Na maioria das
equaco
es diferenciais de interesse as funco
es a(z) e b(z) s
ao apenas polin
omios de grau 0, 1 ou 2 e as express
oes obtidas no tratamento geral
se simplificam um tanto.
atica Vers
z C, com a(z) e b(z) analticas em torno de z0 e expressas em termos de suas series de Taylor em torno de z0 como

X
X
a(z) = an (z z0 )n , b(z) = bn (z z0 )n ,
n=0 n=0
series estas supostas absolutamente convergentes em |z z0 | < r, para algum r > 0.

Seja definido o polin
omio de segundo grau
f (x) := x(x 1) + a0 x + b0 = x2 + (a0 1)x + b0 ,
e considere-se a equac
ao algebrica
f (x) = 0 , (14.53)
a qual e denominada equacao indicial. Sejam as soluc
oes dessa equac ao no plano complexo:
p p
1 a0 (a0 1)2 4b0 1 a0 + (a0 1)2 4b0
= e + = .
2 2
Ent
ao a equac
ao (14.52) possui duas solucoes independentes y1 (z) e y2 (z), v
alidas pelo menos na regiao 0 < |z z0 | < r.
A forma dessas solucoes varia conforme as seguintes condic oes complementares sobre e + : 1. + 6 Z, 2.
+ = 0 ou 3. + Z \ {0}, como enumeramos a seguir:
1. Caso + 6 Z.
Nesse caso tem-se

X
X
y1 (z) = (z z0 ) cn ( )(z z0 )n e y2 (z) = (z z0 )+ cn (+ )(z z0 )n , (14.54)
n=0 n=0
onde
n1
Xh i
1
cn ( ) = (m + )anm + bnm cm ( ) , (14.55)
f ( + n) m=0
para todo n 1. Essas express oes recursivas permitem-nos obter todos os cn ( ) a partir de um c0 ( ) n
ao-nulo
arbitr
ario e, respectivamente, todos os cn (+ ) a partir de um c0 (+ ) n
ao-nulo arbitr
ario.
2. Caso + = 0.
p
Neste caso (a0 1)2 4b0 = 0 e = + = 0 com
1 a0
0 :=
2
e tem-se

X
X
y1 (z) = (z z0 )0 cn (0 ) (z z0 )n e y2 (z) = y1 (z) ln(z z0 ) + (z z0 )0 vn (0 ) (z z0 )n , (14.56)
n=0 n=0
onde
n1
Xh i
1
cn (0 ) = (m + 0 )anm + bnm cm (0 ) (14.57)
f (0 + n) m=0
para todo n 1, e
" n
1 X
vn (0 ) = 2(n + 0 ) 1 cn (0 ) + anm cm (0 )
f (0 + n) m=0
n1
#
Xh i
+ (m + 0 )anm + bnm vm (0 ) , n 1 , (14.58)
m=0
onde os coeficientes cn (0 ) s
ao obtidos recursivamente a partir de um c0 (0 ) n ao-nulo arbitrario e os coeficientes
vn (0 ) s
ao obtidos recursivamente a partir dos coeficientes cm (0 ) e a partir de um v0 (0 ) arbitr
ario (mas que pode
ser escolhido igual a zero).
atica Vers
3. Caso + Z \ {0}.
p
Neste caso + = (a0 1)2 4b0 e um inteiro n
ao-nulo. Definamos ent
ao
p

n0 = (a0 1)2 4b0 .
Claro est
a que n0 {1, 2, 3, 4, . . .}. Definamos tambem
1 := , 2 := + , caso + 1, ou
(14.59)
1 := + , 2 := , caso + 1.
Com essas definic

oes tem-se
1 = 2 + n 0 .
Ent
ao,

X
X
y1 (z) = (z z0 )1 cn (1 )(z z0 )n e y2 (z) = Ay1 (z) ln(z z0 ) + (z z0 )2 vn (z z0 )n , (14.60)
n=0 n=0
onde
n1
Xh i
1
cn (1 ) = (m + 1 )anm + bnm cm (1 ) , (14.61)
f (1 + n) m=0
para n 1 e
n1

1 X

(m + )a
2 nm + b nm vm , para 1 n n0 1 ,

f (2 + n) m=0

vn = arbitrario , para n = n0 , (14.62)

" #

n1

1 X
f ( + n) Agnn0 + (m + 2 )anm + bnm vm , para n > n0 ,

2 m=0
onde,
nX
0 1
1
A = [(m + 2 )an0 m + bn0 m ] vm (14.63)
c0 (1 ) n0 m=0
e n
X
gn = [2(n + 1 ) 1] cn (1 ) + anm cm (1 ) , n0. (14.64)
m=0
As express
oes recursivas para cn (1 ) dependem de um c0 (1 ) n
ao-nulo e arbitr
ario e as express
oes recursivas para
vn dependem tambem de um v0 arbitr ario.
Todas as series de potencia em z z0 apresentadas acima convergem absolutamente pelo menos na regi
ao |z z0 | < r
e nela representam, portanto, funcoes analticas. 2
Para a demonstracao desse teorema devotaremos toda a Secao 14.2.1. Em uma primeira leitura o estudante poder
a
dispensar-se de um estudo detalhado da demonstracao e passar mais rapidamente aos exemplos discutidos na Secao
14.2.2, p
agina 623, e seguintes.
atica Vers
14.2.1 Equac
oes Singulares Regulares. O Caso Geral
Daqui para frente, sem perda de generalidade, adotaremos z0 = 0.
Seja, ent
ao, a equacao (14.49) escrita agora na forma
z 2 y (z) + za(z)y (z) + b(z)y(z) = 0 (14.65)
com a(z) e b(z) analticas em torno de z0 = 0 e expressas em termos de suas series de Taylor em torno de 0 como

X
X
a(z) = an z n , b(z) = bn z n .
n=0 n=0
Sob a luz do Teorema 13.4, p

agina 565, procuraremos primeiramente uma solucao na forma

X
y(z) = cn z n+ . (14.66)
n=0
Antes de iniciarmos nossa analise, comentemos que, sem perda de generalidade, podemos sempre adotar o primeiro
coeficiente, c0 , como n
ao-nulo: c0 6= 0. Isso se deve ao seguinte. Se cm fosse o primeiro coeficiente n
ao-nulo, teramos

X
y(z) = cn z n+ .
n=m
Agora, com a mudanca de variavel n = n m ficaramos com

X
y(z) = cn +m z n +(+m)
n =0
redefinindo cn := cn +m e = + m, ficaramos com

X
X

y(z) = cn z n + = cn z n+ .
n =0 n=0
Aultima expressao possui a mesma estrutura de (14.66) mas, como se ve, o primeiro coeficiente e c0 = cm , que e n
ao-nulo,
por hipotese.
Isto posto, passemos a analisar o que se passa inserindo a expressao (14.66) em (14.65). Para (14.66) valem

X
y (z) = (n + )cn z n+1 (14.67)
n=0
e

X
y (z) = (n + )(n + 1)cn z n+2 , (14.68)
n=0
a equacao (14.65) fica

!
!
X X X X X
n+ n n+ n
(n + )(n + 1)cn z + an z (n + )cn z + bn z cn z n+ = 0.
n=0 n=0 n=0 n=0 n=0
Usando novamente (14.46), isso fica

n
! n
!
X X X X X
n+ n+
(n + )(n + 1)cn z + anm (m + )cm z + bnm cm z n+ = 0.
n=0 n=0 m=0 n=0 m=0
ou seja, " ! !#

X n
X n
X
(n + )(n + 1)cn + anm (m + )cm + bnm cm z n+ = 0
n=0 m=0 m=0
atica Vers
que implica
h i
( 1) + a0 + b0 c0 = 0,
h i n1
Xh i
(n + )(n + 1) + a0 (n + ) + b0 cn = anm (m + ) + bnm cm , n 1 .
m=0
para todo n 0. Como c0 6= 0, temos que
( 1) + a0 + b0 = 0, (14.69)
h i n1
Xh i
(n + )(n + 1) + a0 (n + ) + b0 cn = anm (m + ) + bnm cm , n 1 . (14.70)
m=0
A equacao (14.69) e denominada na literatura equacao indicial, por ser uma equacao algebrica (de segundo grau) para
o ndice . Antes de escrevermos a solucao dessa equacao, denotemos por f o polinomio de segundo grau
f (x) = x(x 1) + a0 x + b0 = x2 + (a0 1)x + b0 .
As equacoes (14.69) e (14.70) podem, claramente, ser reescritas como
f () = 0 , (14.71)
n1
Xh i
f ( + n) cn = anm (m + ) + bnm cm , n 1 . (14.72)
m=0
A equacao f () = 0 e uma equacao algebrica de segundo grau, cujas solucoes sao

p p
1 a0 (a0 1)2 4b0 1 a0 + (a0 1)2 4b0
= e + = .
2 2
Assim, a equacao indicial f () = 0 obriga o ndice a ser ou + . H
a dois casos a considerar: o caso + 6 Z e o
caso + Z. Trataremos primeiramente do caso + 6 Z, que e o mais simples.
O caso + 6 Z
Como a diferenca + n ao e um n
umero inteiro, tem-se em particular que 6= + . Fora isso, como e + sao
os dois u
nicos zeros (distintos) do polinomio f (x), tem-se que f ( + n) 6= 0 para todos n 1 inteiros. Se assim nao
fosse e houvesse n0 Z com, digamos, f (+ + n0 ) = 0 valeria = + + n0 , ou seja, + = n0 , que e inteiro: uma
contradicao. Com isso, podemos de (14.72) obter
n1
Xh i
1
cn ( ) = anm (m + ) + bnm cm ( )
f ( + n) m=0
n1
Xh i
1
= a nm (m + ) + b nm cm ( ) , (14.73)
( + n)2 + (a0 1)( + n) + b0 m=0
para todo n 1. Essas expressoes recursivas permitem-nos obter todos os cn ( ) a partir de um c0 ( ) n

ao-nulo
arbitrario e, respectivamente, todos os cn (+ ) a partir de um c0 (+ ) n
ao-nulo arbitrario.
Conclumos assim, que no caso + 6 Z a equacao diferencial (14.65) (com z0 = 0) possui duas solucoes
linearmente independentes y1 (z) e y2 (z), dadas por

X
X
y1 (z) = cn ( )z n+ e y2 (z) = cn (+ )z n++ ,
n=0 n=0
atica Vers
com cn ( ) dadas por (14.73), a solucao geral sendo uma combinacao linear de ambas. As constantes c0 ( ) e c0 (+ )
sao n
ao-nulas e arbitrarias.
O caso + Z
O caso + Z subdivide-se em dois: o caso + = 0 e o caso + Z \ {0}. Comecemos com o primeiro.
O caso = +
O caso = + ocorre se e somente se (a0 1)2 4b0 = 0 e, portanto, tem-se = + = 0 , com
1 a0
0 := . (14.74)
2
Note-se que se (a0 1)2 4b0 = 0 a equacao f (x) = 0 tem apenas 0 por raiz e, portanto, f (n + 0 ) 6= 0 para todo n 1.
Consequentemente, os coeficientes cn com n 1 serao dados recursivamente por (vide (14.72))
n1
Xh i
1
cn (0 ) = anm (m + 0 ) + bnm cm (0 )
f (0 + n) m=0
n1
Xh i
1
= 2
anm (m + 0 ) + bnm cm (0 ) , (14.75)
(0 + n) + (a0 1)(0 + n) + b0 m=0
para todo n 1. Como se constata, a ultima expressao relaciona cn com os coeficientes anteriores cn1 , . . . , c0 . Assim,
ao determinados. Obtemos dessa forma, para o caso (a0 1)2 4b0 = 0 a solucao
fixando apenas c0 todos os demais est

X
y1 (z) = cn (0 ) z n+0 , (14.76)
n=0
onde os coeficientes cn (0 ) sao obtidos recursivamente de (14.75) a partir de um c0 arbitrario. Pelo Teorema 13.4, p
agina
565, a serie acima sera convergente (ao menos na regiao onde as series de a(z) e b(z) convergem).
Com esse proceder obtivemos apenas uma solucao da equacao diferencial (14.65). Como a mesma e de segunda
ordem, uma segunda solucao dever a existir. Novamente, o Teorema 13.4, p agina 565, indica-nos que essa segunda
solucao pode ter uma singularidade logartmica. Podemos procurar essa segunda solucao seguindo um procedimento
devido a DAlembert9 , que consiste em procurar solucoes da forma
y2 (z) = Ay1 (z) ln(z) + v(z) , (14.77)
sendo y1 (z) a solucao j

a conhecida em (14.76) e onde A e uma constante a ser determinada, assim como a funcao v(z).
Note-se que o Ansatz (14.77) est a de acordo com o Teorema 13.4, pagina 565, que preve a ocorrencia de solucoes com
uma singularidade logartmica. A especialidade do Ansatz de DAlembert est a em espertamente10 prever que o fator que
multiplica ln(z) e a primeira solucao y1 (z).
Substituindo (14.77) na equacao (14.65), obtem-se a seguinte equacao para v(z):

z 2 v (z) + za(z)v (z) + b(z)v(z) = A 2zy1 (z) + (a(z) 1)y1 (z) . (14.78)
E. 14.6 Exerccio. Verifique! 6
Como facilmente se verifica, o lado direito e dado pela expansao

X
A fn z n+0 , (14.79)
n=0
9 Jean Le Rond dAlembert (17171783).
10 Na literatura matematica o truque
e por vezes denominado m ao de DAlembert e pode ser usado em v
etodo de reduc arias equaco
es
diferenciais de segunda ordem para se obter uma segunda soluca
o da equaca
o a partir de uma primeira soluca
o conhecida.
atica Vers
onde
n
X
fn = [2(n + 0 ) 1] cn (0 ) + anm cm (0 ) . (14.80)
m=0
P
A equacao (14.79) sugere que uma solucao para v(z) deve ser procurada na forma v(z) = n=0 vn z n+0 . Inserindo isso
em (14.78) tem-se

" n h
#
X X i X
(n + 0 )(n + 0 1)vn + (m + 0 )anm + bnm vm z n+0 = A fn z n+0 ,
n=0 m=0 n=0
que implica
n h
X i
(n + 0 )(n + 0 1)vn + (m + 0 )anm + bnm vm = Afn
m=0
para todo n 0. Para n = 0 a relacao acima e

h i
0 (0 1) + a0 0 + b0 v0 = Af0 ,
que e uma identidade trivial, j

a que 0 (0 1) + a0 0 + b0 = 0 e que f0 = 0 [20 1 + a0 ] c0 (0 ) = 0, por (14.74). Para
n 1 tem-se, porem,
" n1
Xh i
#
1
vn = Afn + (m + 0 )anm + bnm vm , n 1 , (14.81)
(0 + n)2 + (0 + n)(a0 1) + b0 m=0
o que permite obter recursivamente todos os vn a partir de v0 . Observemos agora que A deve, nesse caso, ser forcosamente
n
ao-nulo, pois se tomassemos A = 0 teramos por (14.81) e (14.75) que os coeficientes vn satisfazem as mesmas relacoes
de recorrencia dos cn (0 ). Assim, v(z) e y1 (z) n
ao seriam linearmente independentes. Podemos, portanto, adotar sem
perda de generalidade, A = 1. Com essa escolha e expressando-se os fn s como em (14.80), tem-se
" n
1 X
vn (0 ) = 2
[2(n + 0 ) 1] cn (0 ) + anm cm (0 )
(0 + n) + (0 + n)(a0 1) + b0 m=0
n1
#
Xh i
+ (m + 0 )anm + bnm vm , n 1 , (14.82)
m=0
que expressa os vn s em termos dos coeficientes cn (0 ) de y1 (z), os quais, por sua vez, sao dados pelas relacoes recursivas
(14.75)11 , e de v0 (0 ) arbitrario.
Resumindo nossas conclusoes, caso (a0 1)2 4b0 = 0, a solucao da equacao diferencial (14.65) (com z0 = 0) possui
duas solucoes linearmente independentes y1 (z) e y2 (z), dadas por

X
X
y1 (z) = cn (0 )z n+0 e y2 (z) = y1 (z) ln(z) + vn (0 )z n+0 ,
n=0 n=0
com 0 = (1 a0 )/2, com os cn (0 )s dados em (14.75) e com os vn (0 )s dados em (14.82), tomando-se A = 1. As

constantes c0 () e v0 () sao n
ao-nulas e arbitrarias.

E de se notar que, como A e n ao-nulo, uma das solucoes possui uma singularidade logartmica.
O caso + Z \ {0}
Esse u
ltimo caso, com a generalidade com que o abordamos aqui, e o mais complexo e o estudante poder
a dispensar seu
estudo detalhado em uma primeira leitura, atendo-se preferencialmente aos exemplos das equacoes de Bessel e Laguerre,
das quais trataremos adiante.
11 Vide nota de rodap
e da p
agina 613.
atica Vers
O caso + Z \ {0} e semelhante ao caso anterior onde = + , a principal diferenca sendo que aqui podem
ocorrer situacoes onde A = 0, de modo que ambas as solucoes podem ser livres de singularidades logartmicas. De fato,
sabe-se de equacoes particulares onde tem-se A = 0 (um exemplo sendo a equacao de Bessel de ordem 1/2) e de equacoes
particulares onde tem-se A 6= 0 (um exemplo sendo a equacao de Bessel de ordem 1).
p
Comecemos com algumas definicoes. O caso + Z \ {0} so pode ocorrer se (a0 1)2 4b0 for um inteiro
n
ao-nulo. Definamos ent ao p

n0 = (a0 1)2 4b0 .
Claro est
a que n0 {1, 2, 3, 4, . . .}. Como + e um inteiro n
ao-nulo, definamos tambem
1 := , 2 := + , caso + 1, ou
(14.83)
1 := + , 2 := , caso + 1.
Com essas definicoes, est

a sempre garantido que
1 = 2 + n 0 .
Isso diz-nos que para todo n 1 a expressao f (1 + n) n

ao pode se anular, pois se assim o fosse teramos forcosamente
1 + n = 2 , ou seja, n = n0 , um absurdo, j a que n0 1. Por outro lado, existe um u nico valor de n para o qual
f (2 + n) se anula, a saber n = n0 .
Com isso em mente, vemos que para a solucao = 1 da equacao indicial, a expressao (14.72) permite-nos obter
todos os coeficientes cn a partir de um c0 n
ao-nulo:
n1
Xh i
1
cn (1 ) = anm (m + 1 ) + bnm cm (1 )
f (1 + n) m=0
n1
Xh i
1
= a nm (m + 1 ) + b nm cm (1 ) , (14.84)
(1 + n)2 + (a0 1)(1 + n) + b0 m=0
para todo n 1. Isso fornece-nos a primeira solucao da equacao diferencial (14.65) (com z0 = 0):

X
y1 (z) = cn (1 )z n+1 , (14.85)
n=0
com os cn (1 ) dados em (14.84) em termos de c0 (1 ), arbitrario mas n

ao-nulo.
Passemos a procurar a segunda solucao independente da equacao diferencial (14.65).
O caso da solucao = 2 da equacao indicial requer cuidado pois, como comentamos, vale que f (2 + n0 ) = 0. Assim,
para n = n0 a equacao (14.72) so faz sentido se o lado direito for igualmente nulo:
nX
0 1h i
an0 m (m + 2 ) + bn0 m cm (2 ) = 0 . (14.86)
m=0
Essa relacao pode ou nao ser satisfeita, dependendo da equacao diferencial tratada. Por exemplo, no caso da equacao
de Bessel de ordem semi-inteira (ou seja, de ordem 1/2, 3/2, 5/2 etc.) verifica-se que a relacao (14.86) e satisfeita.
Ja no caso da equacao de Bessel de ordem inteira verifica-se que a relacao (14.86) n
ao e satisfeita. Isso sera discutido
explicitamente na Secao 14.2.3, p
agina 625.
Devemos, portanto, separar provisoriamente os dois casos: aquele no qual (14.86) e satisfeita e aquele no qual n
ao e.
Posteriormente veremos que essa separacao e superflua, mas por ora ela e logicamente necessaria.
Na situacao feliz em que (14.86) e satisfeita, o coeficiente cn0 (2 ) fica indeterminado e pode ser escolhido livremente,
j
a que as equacoes recursivas (14.72) n ao o fixam e nada mais h a para fixa-los. Com isso, as equacoes recursivas (14.72)
atica Vers
determinam todos os demais coeficientes cn (2 ), n 1, n 6= n0 , a partir de um c0 (2 ) n

ao-nulo mas arbitrario. Assim,
obtemos a solucao

X
y2 (z) = cn (2 )z n+2 , (14.87)
n=0
com
n1
Xh i
1
cn (2 ) = anm (m + 2 ) + bnm cm (2 )
f (2 + n) m=0
n1
Xh i
1
= 2
anm (m + 2 ) + bnm cm (2 ) , (14.88)
(2 + n) + (a0 1)(2 + n) + b0 m=0
para todo n 1, n 6= n0 e cn0 (2 ) = constante arbitraria12.

Resta-nos ainda tratar do caso em que a relacao (14.86) n ao e satisfeita. Aqui, devemos proceder como fizemos no
caso = + e procurar uma solucao na forma y2 (z) = Ay1 (z) ln(z) + v(z), com A sendo uma constante e y1 sendo a
solucao ja conhecida (14.85). Substituindo isso na equacao (14.65), obtem-se novamente a equacao (14.78) para v(z).
Como facilmente se verifica, o lado direito de (14.78) e dado pela expansao

X
X
A gn (1 )z n+1 = A gn (1 )z n+n0 +2 , (14.89)
n=0 n=0
onde, como antes,

n
X
gn (1 ) = [2(n + 1 ) 1] cn (1 ) + anm cm (1 ) , n0, (14.90)
m=0
os coeficientes cm (1 ) sendo dados por (14.84).

A equacao (14.89) sugere que uma solucao para v(z) deve ser procurada na forma

X
v(z) = vn z n+2 .
n=0
Inserindo isso em (14.78) tem-se

" n
! n
!#
X X X X
(n + 2 )(n + 2 1)vn + anm (m + 2 )vm + bnm vm z n+2 = A gnn0 (1 )z n+2 ,
n=0 m=0 m=0 n=n0
o que implica
n h
X i
(n + 2 )(n + 2 1)vn + (m + 2 )anm + bnm vm = 0, n = 0, . . . , n0 1 , (14.91)
m=0
n h
X i
(n + 2 )(n + 2 1)vn + (m + 2 )anm + bnm vm = Agnn0 (1 ), n n0 . (14.92)
m=0
h i
Para n = 0 a relacao (14.91) tem a forma 2 (2 1) + a0 2 + b0 v0 = 0, mas como o fator entre colchetes e f (2 ) = 0,
conclumos que essa relacao e trivialmente satisfeita e, assim, v0 pode ser escolhido livremente. Para 1 n n0 1,
12 O que ocorre se, por op ao-nulo? Nesse caso teramos um termo a mais em y2 (z) do tipo cn0 z n0 +2 = cn0 z 1 .
o, escolhermos cn0 (2 ) n
ca
Esse termo se adicionaria na soluca o geral ao termo c0 (1 )z 1 proveniente da soluca
o y1 (z), ou seja, corresponderia a uma nova escolha da
constante arbitr
aria c0 (1 ), n
ao representando, assim, nenhuma mudanca na soluca o geral.
atica Vers
(14.91) implica que

n1
Xh i
1
vn = (m + 2 )anm + bnm vm (14.93)
f (2 + n) m=0
n1
Xh i
1
= (m + 2 )a nm + b nm vm (14.94)
(2 + n)2 + (a0 1)(2 + n) + b0 m=0
Para n = n0 a relacao (14.92) e

h i nX
0 1h i
(n0 + 2 )(n0 + 2 1) + a0 (n0 + 2 ) + b0 vn0 + (m + 2 )an0 m + bn0 m vm = A[21 1 + a0 ] c0 (1 ) .
m=0
Como (n0 + 2 )(n0 + 2 1) + a0 (n0 + 2 ) + b0 = f (n0 + 2 ) = f (1 ) = 0, ficamos apenas com

nX
0 1
p
[(m + 2 )an0 m + bn0 m ] vm = A[21 1 + a0 ] c0 (1 ) = A (a1 1)2 4b0 c0 (1 ) , (14.95)
m=0
op facil ver, porem, que em qualquer caso

sinal dependendo de se ter 1 = + ou 1 = , respectivamente. E
2
(a1 1) 4b0 = n0 . A relacao (14.95) fixa A:
nX
0 1
1
A = [(m + 2 )an0 m + bn0 m ] vm , (14.96)
c0 (1 ) n0 m=0
com os vm fixados na expressao (14.94) em funcao de v0 6= 0 arbitrario.

O coeficiente vn0 n
ao e fixado por nenhuma das relacoes anteriores e pode ser escolhido livremente. Sua presenca
adiciona um termo do tipo vn0 z n0 +2 = vn0 z 1 `
a solucao geral e aplica-se novamente o coment
ario de rodape da p
agina
621.
Para n > n0 , tem-se ainda por (14.92)
" n1
#
1 Xh i
vn = Agnn0 (1 ) + anm (m + 2 ) + bnm vm
f (2 + n) m=0
" n1
Xh i
#
1
= Agnn0 (1 ) + anm (m + 2 ) + bnm vm .
(2 + n)2 + (2 + n)(a0 1) + b0 m=0
(14.97)
com os gn (1 ) fixados em (14.90) em termos dos coeficientes cm (1 ) da solucao y1 (z).
As expressoes (14.94), (14.96) e (14.97) permitem fixar todos os vn s e a constante A em termos de v0 6= 0 e de vn0 ,
arbitrarios. Observemos, A nao e forcosamente nulo, nem pode ser escolhido arbitrariamente.
Sobre a constante A vale ainda uma observacao importante.
A condi
c
ao (14.86) e a constante A
Observe o leitor que as relacoes de recorrencia (14.94), que fixam os vm s com m = 0, . . . , n0 1, sao identicas às
de (14.88), que fixam todos os cm (2 )s, em particular aqueles com m = 0, . . . , n0 1. Os vm s sao fixados por um v0
inicial nao-nulo e os cm (2 )s por um c0 (2 ) inicial n
ao-nulo. Contemplando aquelas relacoes de recorrencia, um minuto
de meditacao nos leva a perceber que todos os vm sao proporcionais a v0 e que todos os cm (2 ) sao proporcionais a
c0 (2 ). Como as relacoes de recorrencia sao identicas, conclumos que
v0
vm = cm (2 ) para todo m = 0, . . . , n0 1 .
c0 (2 )
atica Vers
Agora, pela expressao (14.96), A e proporcional a

nX
0 1 n0 1
v0 X
[(m + 2 )an0 m + bn0 m ] vm = [(m + 2 )an0 m + bn0 m ] cm (2 ) .
m=0
c0 (2 ) m=0
Aultima soma, porem, e identica `

aquela de (14.86)! Assim, percebemos que, sob a hipotese que (14.86) n
ao e satisfeita,
tem-se que A 6= 0.
Por outro lado, se (14.86) e satisfeita, ent
ao A = 0. Mas se A = 0, as relacoes de recorrencia (14.97) tornam-se
tambem identicas àquelas de (14.88), que fixam todos os cm (2 )s. Conclumos ent
ao, que nesse caso em que A = 0 (ou
seja, sob (14.65)) vale tambem
v0
vm = cm (2 ) ,
c0 (2 )
mas agora para todo m 0. Assim, para A = 0 a solucao y2 (z) = A ln(z)y1 (z)+v(z) reduz-se (a menos de uma constante
multiplicativa trivial) `
a solucao para y2 (z) dada em (14.87), obtida sob a condicao (14.86).
Nesse sentido, a condicao (14.86) e superflua e podemos unificar as solucoes que obtivemos nos casos em que (14.86)
e ou n
ao e satisfeita e resumir nossas conclusoes da seguinte forma:
Para + 6 Z \ {0}, a equacao diferencial (14.65) (com z0 = 0) tem duas solucoes independentes y1 (z) e y2 (z),
onde:
X X
y1 (z) = cn (1 )z n+1 e y2 (z) = Ay1 (z) ln(z) + vn z n+2 ,
n=0 n=0
onde os cn (1 ), n 1, tambem estao definidos em (14.84) a partir de um c0 (1 ) n
ao-nulo arbitrario e onde os vn s com
n 1, n 6= n0 , e a constante A sao fixados em (14.94), (14.96) e (14.97) em termos de v0 6= 0 e de vn0 , arbitrarios.
Como mencionamos, h a casos em que A = 0, exemplos sendo as equacao de Bessel de ordem semi-inteira e a equacao
de Euler, para certos par
ametros.
Com tudo isso a demonstracao do Teorema 14.2 est
a completa e podemos passar ao estudo de exemplos particulares.
14.2.2 A Equac
ao de Euler Revisitada
ao de Euler13 (de segunda ordem) e a equacao diferencial
A equac
z 2 y (z) + azy (z) + by(z) = 0 ,
onde a e b sao constantes. Comparando com a forma (14.52), vemos que z0 = 0 e um ponto singular regular da equacao,
vemos que a(z) = a e que b(z) = b. Assim, no presente caso tem-se

a, para n = 0 b, para n = 0
an = , bn = .

0, para n 1 0, para n 1
A equacao de Euler j
a foi resolvida `
a p
agina 565, onde encontramos as solucoes (13.83) e (13.84).
Vamos trata-la aqui sob a luz do Teorema 14.2, p
agina 613. Se procurarmos uma solucao na forma

X
y(z) = cn z n+ , (14.98)
n=0
com

X
y (z) = (n + )cn z n+1 (14.99)
n=0
13 Leonhard Euler (17071783). Um dos matem aticos mais prolficos e influentes de todos os tempos, Euler foi um dos fundadores da teoria
das equaco
es diferenciais e deixou contribuico
es seminais em inumeros campos da Matem atica e da Fsica. A equaca
o de Euler apresentada
abaixo e uma das v arias que levam seu nome. H a uma outra equaca o de Euler na Mec anica dos Fluidos, assim como f ormulas de Euler,
invariantes de Euler, metodos de Euler, Ans atze de Euler, multiplicadores de Euler, constantes de Euler, n umeros de Euler, angulos de Euler,
problemas de Euler, conjecturas de Euler, teoremas de Euler etc. Boa parte da notaca o matem atica usada atualmente e tambem sua invenca
o
(por exemplo, o smbolo f para denotar a derivada de uma funca o f ou o uso da letra e para designar o n umero 2, 7182818 . . .).
atica Vers
e

X

y (z) = (n + )(n + 1)cn z n+2 , (14.100)
n=0
a equacao de Euler fica

X
X
X
n+ n+
(n + )(n + 1)cn z + a(n + )cn z + bcn z n+ = 0
n=0 n=0 n=0
ou seja,
h
X i
(n + )(n + 1)cn + a(n + )cn + bcn z n+ = 0,
n=0
o que implica
f (n + ) cn = 0 n 0.
onde f e o polinomio de segundo grau.
f (x) := x(x 1) + ax + b = x2 + (a 1)x + b .
Sem
P perdan+ de generalidade, podemos sempre
P adotar c0 6= 0, pois se cm fosse o primeiro coeficiente n
ao-nulo, a serie
n+ :=
n=0 c n z poderia ser reescrita como c
n=0 n z com c n c n+m e = + m, que tem a mesma forma generica
mas com c0 6= 0.
Assim, devemos impor f () = 0, o que possui duas solucoes:
p p
1 a (a 1)2 4b 1 a + (a 1)2 4b
= e + = .
2 2
Se + n ao for um inteiro, a equacao f ( + n) = 0 n

ao e satisfeita para nenhum n 1 inteiro. A raz ao e a
seguinte: f e um polinomio de segundo grau e, portanto, possui apenas duas solucoes. Assim, se f ( + n) = 0 teramos
+ n = , o que implica que + e inteiro, uma contradicao. Nesse caso, ent ao, temos que adotar cn = 0 para
todo n 1 e as solucoes da equacao de Euler ficam
y1 (z) = z e y2 (z) = z + . (14.101)
No caso de = + = 0 = (1 a)/2, tem-se por (14.56) uma solucao na forma

X
X
y1 (z) = z 0 cn (0 )z n e uma segunda na forma y2 (z) = y1 (z) ln(z) + z 0 vn (0 )z n ,
n=0 n=0
com os cn dados em (14.57) e os vn dados em (14.58). Observando (14.57), constata-se que nesse caso cn (0 ) = 0 para
todo n, exceto n = 0, pois apenas a0 e b0 podem ser n ao-nulos. Igualmente, observando (14.58) constata-se que vn (0 )
e proporcional a cn (0 ) para todo n 1 e, com isso, apenas v0 pode ser n ao-nulo. Assim, temos nesse caso, tomando
c0 = v0 = 1,
y1 (z) = z 0 e y2 (z) = z 0 ln(z) + z 0 .
O termo z 0 na expressao de y2 (z) e o proprio y1 (z), de modo que podemos tomar como solucoes linearmente indepen-
dentes as seguintes:
y1 (z) = z 0 e y2 (z) = z 0 ln(z) . (14.102)
Porpfim, consideremos o caso em que + e um inteiro n ao-nulo. Definamos 1 e 2 como em (14.59), com
n0 = | (a 1)2 4b|.
P P
Ent a a forma y2 (z) = Ay1 (z) ln(z) + z 2 n=0 vn z n onde
ao uma solucao sera y1 (z) = z 1 n=0 cn (1 )z n e a outra ter
aqui os cn sao dados em (14.61), os vn sao dados em (14.62) e A e dada em (14.63).
atica Vers
Contemplando (14.61) constata-se que cn (1 ) = 0 para todo n 1, pois apenas a0 e b0 podem ser n ao-nulos, sendo
que podemos escolher c0 = 1, livremente. Disso conclumos que y1 (z) = z 1 . Por (14.63) tem-se que A = 0 pois, no caso
da equacao de Euler, an0 m = bn0 m = 0 para m = 0, . . . , n0 1. Por (14.62), tem-se analogamente

0, para 1 n n0 1 ,

vn = arbitrario , para n = n0 ,

0, para n > n0 ,
ao-nulo. Escolhendo v0 = 1 e vn0 = 0, segue que

Assim, apenas v0 e vn0 sao arbitrarios, sendo que v0 deve ser n
y2 (z) = z 2 . Concluindo, vale aqui que
y1 (z) = z 1 e y2 (z) = z 2 . (14.103)
Todos esses resultados coincidem, como deveria ser, com aqueles obtidos em (13.83) e (13.84), p
agina 565 e seguintes.
O estudo das solucoes da equacoes de Euler e u til na resolucao de equacoes com singularidades regulares mais gerais
como
z 2 y (z) + za(z)y (z) + b(z)y(z) = 0
pela seguinte raz
ao. Pr
oximo ao ponto singular z0 = 0, podemos aproximar a(z) a0 e b(z) b0 , ja que esses sao os
primeiros termos das expansoes de Taylor de a(z) e b(z). Assim, para |z| pequeno o suficiente, a equacao aproxima-se de
z 2 y (z) + a0 z y (z) + b0 y(z) = 0
que e uma equacao de Euler com a = a0 e b = b0 . Com isso, vemos que as solucoes da equacao geral se aproximam para
|z| pequeno daquelas encontradas em (14.101), (14.102) ou (14.103), dependendo do caso. Esse proceder permite-nos,
face a uma equacao singular regular geral, estudar qual tipo de singularidade deve ocorrer proximo ao ponto singular
e, com isso, perceber qual das solucoes descritas no Teorema 14.2, p
agina 613, se aplica. Em verdade, a resolucao da
equacao indicial (14.53) fornece o mesmo tipo de informacao.
14.2.3 A Equac
ao de Bessel
Uma das equacoes diferenciais mais importantes dentro da classe que temos estudado e a equacao de Bessel, a qual
surge em varios problemas de Fsica e de Matem atica aplicada. A mesma pode ser encontrada, por exemplo, quando da
resolucao da equacao de Helmholtz em duas dimensoes em coordenadas polares ou em tres dimensoes em coordenadas
esfericas (levando às chamadas func oes de Bessel esfericas). Vide para tal o Captulo 20, p agina 872. Para alguns
coment arios historicos sobre a origem das equacoes de Bessel e das funcoes de Bessel, vide p
agina 702.
z 2 y (z) + zy (z) + (z 2 2 )y(z) = 0 , (14.104)
com z C, onde C e uma constante, e denominada equac ao de Bessel14 de ordem . Comparando com a forma
(14.52), vemos que z0 = 0 e um ponto singular regular da equacao, vemos que a(z) = 1 e que b(z) = z 2 2 . Assim, no
presente caso tem-se

2 , para n = 0

1, para n = 0

an = , bn = 1, para n = 2 .

0, para n 1

0, para n = 1 ou n 3
A equacao indicial (14.53) conduz `

as solucoes
= e + = .
14 Friedrich Wilhelm Bessel (17841846).
atica Vers
Ha, portanto, tres casos a considerar: 1. o caso em que 2 6 Z, 2. o caso em que 2 = 0 e 3. o caso em que
2 Z \ {0}. Observe o leitor que as condicoes 2 e 3 correspondem a semi-inteiro ou inteiro. Os dois casos sao os mais
relevantes em Fsica. O caso de inteiro conduz às chamadas func oes de Bessel e o caso de semi-inteiro conduz às
chamadas func oes de Bessel esfericas as quais surgem, por exemplo, em problemas de propagacao de ondas em duas ou
tres dimensoes, respectivamente. Vide Secao 14.2.4, p
agina 635. Para a origem das funcoes de Bessel, vide nota historica
a p
` agina 702.
Caso 1. 2 6 Z.
Nesse caso tem-se duas solucoes

X
y = cn ()z n ,
n=0
com cn () dados por (14.55):

n1
Xh i
1
cn () = (m )anm + bnm cm () .
n(n + 2) m=0
Podemos nos concentrar apenas nos coeficientes cn (+), pois os coeficientes cn () podem ser obtidos fazendo-se .
Vale
n1
Xh i
1
cn () = (m + )anm + bnm cm () , (14.105)
n(n + 2) m=0
e tem-se
c1 () = 0,
1
c2 () = c0 () ,
2(2 + 2)
1
cn () = cn2 (), n 3.
n(n + 2)
Com isso, fica claro que
(1)k
c2k () = c0 () , k0.
(2k)!! (2 + 2)(4 + 2) (2k + 2)
c2k+1 () = 0, k0.
E. 14.7 Exerccio importante. Mostre isso! 6
Au
ltima expressao pode ser reescrita como
(1)k
c2k () = c0 () , k0.
k! 22k (1 + )(2 + ) (k + )
c2k+1 () = 0, k0,
onde usamos que (2 + 2)(4 + 2) (2k + 2) = 2k (1 + )(2 + ) (k + ) e tambem que (2k)!! = 2k k!. Como a funcao
definida em (14.25)-(14.26) satisfaz
(k + 1 + ) = (1 + )(1 + )(2 + ) (k + ) ,
podemos ainda escrever
(1)k (1 + )
c2k () = c0 () , k0.
k! 22k (k + 1 + )
c2k+1 () = 0, k0.
atica Vers
Por convencao historica adota-se

1
c0 () =
2 (1 + )
e chega-se com isso à expressao

X (1)k z 2k+
J (z) := . (14.106)
k! (k + 1 + ) 2
k=0
Essa funcao representa uma das solucoes da equacao de Bessel de ordem para o caso considerado e e denominada
func
ao de Bessel de primeiro tipo e ordem . Como comentamos, uma segunda solucao e obtida fazendo-se :

X (1)k z 2k
J (z) := .
k! (k + 1 ) 2
k=0
Conclumos, assim, com a constatacao que a solucao geral da equacao de Bessel de ordem para o caso 2 6 Z e
1 J (z) + 2 J (z) ,
onde 1 e 2 sao constantes arbitrarias.

Por convencao historica, e costume considerar-se tambem uma combinacao linear particular de J (z), a saber a
seguinte:
J (z) cos() J (z)
N (z) := . (14.107)
sen ()
Essa funcao N (z) tambem representa uma das solucoes da equacao de Bessel de ordem (por ser uma combinacao
linear de duas outras) e e denominada func ao de Neumann15 de
ao de Bessel de segundo tipo e ordem , ou ainda func
ordem .
Conclumos, assim, que a solucao geral da equacao de Bessel de ordem para o caso 2 6 Z tambem pode ser escrita
em termos das funcoes J e N na forma
1 J (z) + 2 N (z) ,
O estudante deve notar que as funcoes J (z) e N (z), para 2 n
ao-inteiro, sao analticas em toda a parte, exceto
em z = 0, onde possuem um ponto de ramificacao devido ao fator z = exp( ln(z)).
Caso 2. 2 = 0.
No caso em Pquest
ao aplicam-se as solucoes (14.56), (14.57) e (14.58). Aqui tem-se 0 = (1 a0 )/2 = 0 e para y1

tem-se y1 (z) = n=0 cn (0)z n , com (por (14.57))
n1
1 Xh i
cn (0) = 2
manm + bnm cm (0) .
n m=0
Essas relacoes sao identicas `

aquelas de (14.105) (tomando-se aqui = 0) e, assim, tem por solucao
(1)k (1) (1)k

c2k (0) = c 0 (0) , = c0 (0) , k0,
k! 22k (k + 1) (k!)2 22k
c2k+1 (0) = 0, k0
onde usamos que (1) = 1 e (k + 1) = k!. Por convencao historica adota-se c0 (0) = 1 e chega-se com isso à expressao

X (1)k z 2k
J0 (z) = . (14.108)
(k!)2 2
k=0
Essa funcao representa uma das solucoes da equacao de Bessel de ordem 0 e e denominada func
ao de Bessel de primeiro
tipo e ordem 0.
15 Carl Neumann (18321925).
atica Vers
Para a segunda solucao y2 teremos, por (14.56),

X
y2 (z) = J0 (z) ln(z) + vn z n ,
n=0
com os vn dados em (14.58). Como o estudante pode facilmente verificar, adotando-se v0 = 0, obtem-se para esses
coeficientes as seguintes expressoes:
(1)k+1
v2k = hk , k0,
(k!)2 22k
v2k+1 = 0, k0
onde
h0 := 0, (14.109)
n
1 1 1 X 1
hn := 1+ + + + = , n1. (14.110)
2 3 n l
l=1
Note-se que v0 = 0.
E. 14.8 Exerccio importante. Verifique! 6
Com isso, a segunda solucao y2 (z) sera

X (1)k+1 z 2k
y2 (z) = J0 (z) ln(z) + 2
hk . (14.111)
(k!) 2
k=1
Por convencao historica, costuma-se considerar tambem uma particular combinacao das solucoes J0 (z) e y2 (z):

!
2 2 z X (1)k+1 hk z 2k
N0 (z) := y2 (z) + ( ln(2))J0 (z) = + ln J0 (z) + , (14.112)
2 (k!)2 2
k=1
onde e a chamada constante de Euler-Mascheroni16 , definida por17 :

1 1 1
:= lim (hn ln(n)) = lim 1 + + + + ln(n) 0, 5772156649 . . . .
n n 2 3 n
Essa funcao N0 (z) tambem representa uma das solucoes da equacao de Bessel de ordem 0 (por ser uma combinacao
linear de duas outras) e e denominada funcao de Bessel de segundo tipo e ordem 0, ou ainda func ao de Neumann de
ordem 0.
Conclumos, assim, com a constatacao que a solucao geral da equacao de Bessel de ordem 0 e
1 J0 (z) + 2 N0 (z) ,

O estudante deve notar que a primeira solucao J0 (z) e uma funcao analtica para todo z C (pois a serie em (14.108)
converge absolutamente para todo z (mostre isso!)). Ja a solucao N0 (z) e tambem analtica em toda parte, exceto em
z = 0, onde possui uma singularidade logartmica.
Caso 3. 2 Z \ {0}.
16 Leonhard Euler (17071783). Lorenzo Mascheroni (17501800).
17 Essa constante foi introduzida por Euler em 1735, o qual calculou seus 16 primeiros dgitos decimais. Em 1790, Mascheroni calculou seus
32 primeiros dgitos decimais, dos quais apenas os primeiros 19 estavam corretos.
atica Vers
Como a equacao de Bessel e invariante por , podemos sem perda de generalidade tomar aqui 2 um inteiro
positivo. Como veremos, h a dois casos a considerar: a. e um inteiro positivo e b. e um semi-inteiro positivo, ou
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 convencoes, tem-se que 1 = p, 2 = p e n0 = 2p. As solucoes y1 e y2 sao aquelas dadas em (14.60),
(14.61) e (14.62):

X X
y1 (z) = z p cn (p)z n e y2 (z) = Ay1 (z) ln(z) + z p vn z n ,
n=0 n=0
onde, segundo (14.61), as constantes cn (p) satisfazem

n1
Xh i
1
cn (p) = (m + p)anm + bnm cm (p)
f (p + n) m=0
para n 1. Novamente, essas relacoes sao identicas àquelas de (14.105) e, assim, suas solucoes sao
(1)k (1 + p) (1)k p!
c2k (p) = c 0 (p) = c0 (p) , k0.
k! 22k (k + 1 + p) k! 22k (k + p)!
c2k+1 (p) = 0, k0,

1
onde usamos que (1 + p) = p! e (k + 1 + p) = (k + p)!. Por convencao historica adota-se c0 (p) = 2p p! e chega-se com
isso `
a expressao

X (1)k z 2k+p
Jp (z) = .
k! (k + p)! 2
k=0
Essa funcao representa uma das solucoes da equacao de Bessel de ordem p (com p = 1, 2, 3, 4, . . .) e e denominada
func
ao de Bessel de primeiro tipo e ordem p.
O leitor e convidado a constatar que a expressao (14.108) para J0 (z) e identica a essa se tomarmos p = 0. Na Figura
14.2, p
agina 630, exibimos o grafico de algumas das primeiras funcoes de Bessel de ordem inteira.
Procuremos agora a segunda solucao y2 (z):

X
y2 (z) = AJp (z) ln(z) + z p vn (p)z n .
n=0
Por (14.62),
n1

1 X

(m p)a nm + b nm vm (p) , para 1 n 2p 1 ,

f (n p) m=0

vn (p) = arbitrario , para n = 2p , (14.113)

" #

n1

1 X
f (n p) Agn2p + (m p)anm + bnm vm (p) , para n > 2p,

m=0
A constante A e dada em (14.63) e, para o presente caso, tem-se

2p1
1 X 2p p!
A = [(m p)a2pm + b2pm ] vm (p) = v2p2 (p) .
2p c0 (p) m=0 2p
atica Vers
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 14.2: Graficos das funcoes de Bessel Jm (x), m = 0, . . . , 3, para x [0, 20].
Agora, por (14.62),

2p3
X
1
v2p2 (p) = (m p)a2p2m + b2p2m vm (p) ,
f (p 2) m=0
de onde se ve imediatamente que
1
v2p2 (p) = v2p4 (p), p2,
22 (p 1)
e, portanto,
1
v2p2 (p) = v0 (p), p2.
22(p1) (p 1)!
Logo, A = 4v0 (p). Adotando-se v0 (p) = 1/4 teremos A = 1 e

X
y2 (z) = Jp (z) ln(z) + z p vn (p)z n .
n=0
com
n1

1 X

(m p)a nm + b nm vm (p) , para 1 n 2p 1 ,

f (n p) m=0

vn (p) = arbitrario , para n = 2p , (14.114)

" #

n1

1 X
f (n p) gn2p + (m p)anm + bnm vm (p) , para n > 2p,

m=0
atica Vers
com os gn dados em (14.64) em termos de cn (p).

Um c
alculo trabalhoso, que nos poupamos de apresentar em detalhe, conduz ao seguinte resultado:
p1
1 X (p n 1)! z 2np 1 X (1)n (hn + hn+p ) z 2n+p
y2 (z) = Jp (z) ln(z) ,
2 n=0 n! 2 2 n=0 n! (n + p)! 2
com p = 1, 2, 3, 4, . . ..
E. 14.9 Exerccio. Tome uma hora livre e mostre isso. 6
O leitor e convidado a constatar que a expressao (14.111) e identica a essa se tomarmos p = 0 (com a convencao que
P1
n=0 ( ) = 0).
Por convencao historica, costuma-se considerar tambem uma particular combinacao das solucoes Jp (z) e y2 (z):
2
Np (z) := y2 (z) + ( ln(2))Jp (z) =

p1
!
2 z 1 X (p n 1)! z 2np 1 X (1)n (hn + hn+p ) z 2n+p
+ ln Jp (z) , (14.115)
2 2 n=0 n! 2 2 n=0 n! (n + p)! 2
onde e a constante de Euler-Mascheroni mencionada acima. Essa funcao Np (z) tambem representa uma das solucoes
da equacao de Bessel de ordem p (por ser uma combinacao linear de duas outras) e e denominada func ao de Bessel de
segundo tipo e ordem p, ou ainda func
ao de Neumann de ordem p. Na Figura 14.3, p agina 631, sao exibidos graficos de
algumas das primeiras funcoes de Neumann.
1
N0
0
0 5 10 15
1 N1
N2
3
Figura 14.3: Graficos das funcoes de Neumann Nm (x), m = 0, . . . , 2, para x [1/2, 15]. Todas divergem em x = 0, a
divergencia sendo tanto mais forte quanto maior m.
Conclumos, assim, com a constatacao que a solucao geral da equacao de Bessel de ordem p, p = 1, 2, 3, 4, . . ., e
1 Jp (z) + 2 Np (z) ,

atica Vers
O estudante deve notar que a primeira solucao Jp (z) e uma funcao analtica para todo z C (pois a serie em (14.108)
converge absolutamente para todo z (mostre isso!)). Ja a solucao Np (z) e tambem analtica em toda parte, exceto em
z = 0, onde possui uma singularidade logartmica assim como um polo de ordem p.
Advertencia. As funcoes de Neumann sao tambem por vezes denotadas por Y .
Precisamos estudar ainda o caso em que e um n umero semi-inteiro onde, diferentemente do caso que acabamos de
estudar, as solucoes independentes sao ambas livres de singularidades logartmicas.
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 solucoes y1 e y2 sao aquelas dadas em (14.60), (14.61) e (14.62):

X
X
y1 (z) = z q+1/2 cn (q)z n e y2 (z) = Ay1 (z) ln(z) + z q1/2 vn (q)z n ,
n=0 n=0
onde, segundo (14.61), as constantes cn (q) satisfazem

n1
X
1 1
cn (q) = m + q + a nm + b nm cm (q) , (14.116)
f n + q + 21 m=0 2
para n 1. Novamente, essas relacoes sao identicas àquelas de (14.105) com substitudo por q + 1/2 e, assim, suas
solucoes sao

(1)k 1 + q + 21
c2k (q) = c0 (q) , k 0 .
k! 22k k + 1 + q + 21
c2k+1 (q) = 0, k0,
onde usamos (1 + q + 1/2) = q!(1/2) e (k + 1 + q + 1/2) = (k + q)!(1/2). Adotando

1
c0 (q) = ,
2q+1/2 1 + q + 21
chegamos à expressao

X (1)k z 2k+q+1/2
Jq+1/2 (z) := .
k! (k + 1 + q + 1/2) 2
k=0
Essa funcao representa uma das solucoes da equacao de Bessel de ordem q + 1/2 com q = 0, 1, 2, . . . e e denominada
func
ao de Bessel de primeiro tipo e ordem q + 1/2.
Passemos agora à segunda solucao

X
y2 (z) = AJq+1/2 (z) ln(z) + vn (q)z nq1/2 .
n=0
Por (14.62),
n1

1 X 1

mq anm + bnm vm (q) , 1 n 2q ,

f n q 21 m=0 2

vn (q) = arbitrario , n = 2q + 1 ,

( )
n1

1 X 1

f n q 1 Agn2q1 + mq anm + bnm vm (q) , n > 2q + 1,

2 m=0
2
atica Vers
onde,
2q
1 X 1
A = mq a2q+1m + b2q+1m vm (q) (14.117)
c0 (q) (2q + 1) m=0 2
Para 1 n 2q tem-se
1
vn (q) = vn2 (q) . (14.118)
f (n q 12 )
Porem,
1 1
v1 (q) = 0q a1 + b1 v0 (q) = 0 ,
f ( 12 q) 2
pois a1 = b1 = 0. Conjuntamente com (14.118), isso diz-nos que vn (q) = 0 para todo n mpar com 1 n 2q. A
importancia dessa observacao reside no seguinte. Por (14.117) ve-se facilmente que
1
A = v2q1 (q) .
c0 (q) (2q + 1)
Portanto, tem-se no caso presente que A = 0 e, assim, a segunda solucao e livre de singularidades logartmicas. Alem
disso, com A = 0 as expressoes recursivas para vn (q) simplificam-se para
n1

1 X 1

mq anm + bnm vm (q) , 1 n 2q ,

f n q 21 m=0 2

vn (q) = arbitrario , n = 2q + 1 , (14.119)

( n1 )

1 X 1

f n q 1
mq anm + bnm vm (q) , n > 2q + 1.
2 m=0
2
Como ja vimos, para 1 n 2q os vn (q) com n mpar sao nulos. Como v2q+1 e arbitrario, e conveniente escolhe-lo
igual a zero tambem. Com isso, as relacoes (14.119) ficam identicas àquelas de (14.105) com substitudo por (q + 1/2)
e, assim, suas solucoes sao

(1)k 1 q 21
v2k (q) = v0 (q) , k 0 .
k! 22k k + 1 q 21
v2k+1 (q) = 0, k0,
Adotando
1
v0 (q) = ,
2q1/2 1 q 21
chagamos à seguinte expressao:

X (1)k z 2kq1/2
Jq1/2 (z) = .
k=0
k! k + 1 q 12 2
Essa funcao representa uma segunda solucao da equacao de Bessel de ordem q + 1/2 com q = 0, 1, 2, . . . e e denominada
func
ao de Bessel de primeiro tipo e ordem (q + 1/2).
Conclumos, assim, que a solucao geral da equacao de Bessel de ordem q + 1/2 com q = 0, 1, 2, 3, . . ., e
1 Jq+1/2 (z) + 2 Jq1/2 (z) ,

atica Vers
Podemos definir tambem as func

oes de Neumann de ordem q + 1/2 em analogia com (14.107), mas aqui, tem-se
Jq+1/2 (z) cos((q + 1/2)) Jq1/2 (z)

Nq+1/2 (z) := = (1)q+1 Jq1/2 (z) . (14.120)
sen ((q + 1/2))
De qualquer forma, a solucao geral da equacao de Bessel de ordem q + 1/2 com q = 0, 1, 2, 3, . . ., e
1 Jq+1/2 (z) + 2 Nq+1/2 (z) ,

O estudante e convidado a constatar que Jq+1/2 (z) e uma funcao analtica para todo z C, z 6= 0, mas em z = 0
possui uma singularidade como z q+1/2 , que e uma singularidade do tipo ponto ramificacao (de grau 2). Paralelamente,
Jq1/2 (z) (e, portanto, Nq+1/2 (z)) e analtica para todo z 6= 0, mas possui em z = 0 uma singularidade como z q1/2 ,
que e uma singularidade do tipo ponto ramificacao (de grau 2). Essas afirmacoes sao ilustradas no proximo exerccio.
E. 14.10 Exerccio semi-resolvido. Com q = 0 tem-se pelas nossas definicoes acima

X (1)k z 2k+1/2 X (1)k z 2k1/2
J1/2 (z) = e J1/2 (z) = .
k=0
k! (k + 1 + 1/2) 2
k=0
k! k + 21 2
Usando as identidades

(3/2) (2k + 1)!! (2k + 1)!!
(k + 1 + 1/2) = = ,
2k 2 2k
2k k! = (2k)!! , (2k + 1)!!(2k)!! = (2k + 1)! , (2k)!!(2k 1)!! = (2k)! ,
(prove-as!) teremos,
r r
1/2 2 X (1)k 2 X (1)k 2k
J1/2 (z) = z z 2k+1 , e J1/2 (z) = z 1/2
z ,
(2k + 1)! (2k)!
k=0 k=0
e reconhecemos que r r
2 sen (z) 2 cos(z)
J1/2 (z) = e J1/2 (z) = . (14.121)
z 1/2 z 1/2
Observe ainda que r
1/2 2 sen (z)
J1/2 (z) = z ,
z
sen (z)
sendo que z e uma funcao analtica para todo z C, inclusive em z = 0 (por que?).
Complete os detalhes faltantes de todos os calculos indicados acima. 6
E. 14.11 Exerccio. Verifique por calculo explcito que as funcoes sen (z)/z 1/2 e cos(z)/z 1/2 sao, de fato, solucoes da
equacao de Bessel de ordem = 1/2. 6
Para futura referencia, reunimos nossos resultados sobre as solucoes da equacao de Bessel no seguinte teorema:
Teorema 14.3 (Solu
co
es da equa
c
ao de Bessel) Seja a equac
ao de Bessel de ordem C
z 2 y (z) + zy (z) + (z 2 2 )y(z) = 0,
com z C.
1. Caso 6 Z duas soluc

oes independentes s
ao J (z) e J (z), onde

X (1)k z 2k+
J (z) := . (14.122)
k! (k + 1 + ) 2
k=0
atica Vers
Definindo
J (z) cos() J (z)
N (z) := ,
sen ()
as func
oes J (z) e N (z) s
ao tambem duas soluc
oes independentes.
2. Caso Z podemos, sem perda de generalidade, adotar 0, pois a equac
ao de Bessel e invariante pela mudanca
. Com essa convenc
ao, duas soluc
oes independentes s
ao J (z) e N (z), onde

X (1)k z 2k+ X (1)k z 2k+
J (z) := = (14.123)
k! (k + 1 + ) 2 k! (k + )! 2
k=0 k=0
e
1
!
2 z 1 X ( n 1)! z 2n 1 X (1)n (hn + hn+ ) z 2n+
N (z) := + ln J (z) ,
2 2 n=0 n! 2 2 n=0 n! (n + )! 2
sendo que
n
1 1 1 X 1
h0 := 0 , hn := 1 + + + + = , n1.
2 3 n l
l=1
e e a constante de Euler-Mascheroni: := lim (hn ln(n)) 0, 5772156649 . . ..

n
As func
oes J (z), C, s
ao denominadas funcoes de Bessel de primeiro tipo e ordem , ou simplesmente funcoes de
Bessel de ordem . As funcoes N (z), C, s
ao denominadas funcoes de Bessel de segundo tipo e ordem , ou funcoes
de Neumann de ordem . 2
Coment
ario. O caso em que e semi-inteiro est
a includo no caso 1, acima: 6 Z.
Nota sobre as fun

co
es de Bessel de ordem inteira negativa
Ate o momento definimos as funcoes de Bessel J atraves das expressoes (14.122) e (14.123), mas apenas para s
que nao sejam inteiros negativos. A expressao (14.122) contem uma funcao (x) no denominador e (x) diverge se x for
inteiro negativo. Por isso, em princpio (14.122) n
ao est
a definida para s inteiros negativos.
A experiencia mostrou, porem, que e conveniente definir J para s que sejam inteiros negativos atraves da seguinte
expressao:
Jm (z) := (1)m Jm (z) , (14.124)
para todo m N e todo z C. Note que, como a equacao de Bessel e invariante pela troca , Jm definida acima
e solucao da equacao de Bessel de ordem m. A conveniencia dessa convencao nao pode ser apreciada no momento,
mas ira manifestar-se quando discutirmos algumas propriedades das funcoes de Bessel na Secao 15.2.7, que inicia-se na
p
agina 702, tais como as relacoes de recorrencia e a funcao geratriz.
E. 14.12 Exerccio. Mostre que com a convencao acima vale
Jm (z) = Jm (z), m N0 ,
omios da forma z 2k+m e vale (z)2k+m = (1)m z 2k+m .

Sugestao: Jm (z) e uma soma de mon 6
14.2.4 Equac
oes Relacionadas `
a de Bessel. A Equac
ao de Bessel Esf
erica
Diversas equacoes diferenciais podem ser transformadas na de Bessel e podem ter suas solucoes expressas em termos de
funcoes de Bessel e de Neumann. Uma classe bastante geral e composta pelas equacoes da forma

z 2 y (z) + (1 2)zy (z) + 2 2 z 2 + 2 2 2 y(z) = 0 , (14.125)
atica Vers
com , , e constantes (sendo 6= 0). Essa equacao e por vezes denominada equac
ao de Bessel generalizada e sua
solucao mais geral e
az J (z ) + bz N (z ) , (14.126)
onde a e b sao constantes arbitrarias.
E. 14.13 Exerccio. Prove as afirmacoes acima, ou seja, prove que (14.126) e asolucao geral de (14.125). Sugestao: defina
a funcao v por y(z) =: z v(z ) e, substituindo em (14.125), mostre que v satisfaz a equacao de Bessel de ordem . 6
Dois casos particulares de interesse, dentro da classe definida em (14.125), sao a equacao de Airy (que corresponde
a = 1/2, = 2/3, = 3/2 e = 1/3) e a equacao de Bessel esferica (que corresponde a = 1/2, = 1, = 1 e
= + 1/2). Trataremos desses casos logo abaixo.
O estudante deve observar que, caso 2 nao seja um inteiro positivo ou zero, a equacao (14.125) n
ao e singular regular
em z0 = 0 (compare ` a (14.49)) e, portanto, a ela n
ao se aplica o metodo de Frobenius. A solucao dada em (14.126), de
ao e como aquelas obtidas pelo metodo de Frobenius, que seriam da forma z (z) ou da forma z ln(z)(z), para
fato, n
alguma constante e com analtica em torno de z0 = 0. Por exemplo, tem-se

z + X (1)k 2k+ z 2k
z J (z ) = ,
2 k! (k + 1 + ) 2
k=0
ao e da forma z (z) com analtica em torno de z0 = 0, pois a serie do lado direito n

que n ao e uma serie de potencias
em z.
A equa
c
ao de Airy e a equa
c
ao de Bessel
Como dissemos acima, varias equacoes diferenciais podem ser transformadas em equacoes de Bessel. Um exemplo e
o da equacao de Airy: y (z) zy(z) = 0, cujas solucoes foram apresentadas na Secao 14.1.4, pagina 606. A maneira
mais simples
de ver isso e a seguinte18 . Se y e uma solucao da equacao de Airy, ent
ao a funcao v(z) definida por por
y(z) =: zv 32 z 3/2 satisfaz a equacao de Bessel de ordem = 1/3, como facilmente se constata.
E. 14.14 Exerccio. Verifique isso! 6
Conclu mos daque as solucoes y(z) da equacao de Airy podem ser escritas como combinacoes lineares das funcoes
zJ1/3 32 z 3/2 e zJ1/3 23 z 3/2 . Com efeito, pelas definicoes (14.29)-(14.30) e (14.122) (para = 1/3) pode-se
facilmente constatar a validade das relacoes

z 1/2 2 3/2 2 3/2
Ai(z) = J1/3 z + J1/3 z , (14.127)
3 3 3

z 1/2 2 3/2 2 3/2
Bi(z) = J1/3 z J1/3 z . (14.128)
3 3 3
que permitem expressar as funcoes de Airy Ai e Bi em termos das funcoes J1/3 .
E. 14.15 Exerccio. Prove as relacoes (14.127)-(14.128) usando (14.29)-(14.30) e (14.122). 6
Na Secao 20.5.3, p
agina 930, veremos uma aplicacao dessas consideracoes sobre as solucoes da equacao de Airy.
A equa
c
ao de Bessel esf
erica
z 2 y (z) + 2zy (z) + (z 2 ( + 1))y(z) = 0 ,
para z C, com C, constante, e denominada equac
ao de Bessel esferica de ordem .
A equacao de Bessel esferica surge, por exemplo, quando da resolucao da equacao de Helmholtz em tres dimensoes
em coordenadas esfericas (vide Captulo 20, p
agina 872) e, portanto, e importante para o estudo da propagacao de ondas
ou de fenomenos de difusao em tres dimensoes.
18 Uma outra maneira usa propriedades de simetria da equaca
o hipergeom
etrica confluente.
atica Vers
Se definirmos v(z) = z 1/2 y(z), obtemos para v a equacao diferencial

2 !
2 2 1
z v (z) + zv (z) + z + v(z) = 0 ,
2
que nada mais e que a equacao de Bessel usual de ordem + 21 . Conseq uentemente as solucoes da equacao de Bessel
esferica sao da forma
J+ 1 (z) N+ 1 (z)
y(z) = A 2 + B 2 ,
z z
onde A e B sao constantes arbitrarias.
Em funcao disso, definem-se as chamadas funcoes de Bessel esfericas de ordem por
r

j (z) := J 1 (z) , (14.129)
2z + 2
e as chamadas func
oes de Neumann esfericas de ordem por
r

n (z) := N 1 (z) . (14.130)
2z + 2
bastante claro que as funcoes n (z) sao singulares em z = 0, enquanto que as funcoes j (z) n
E ao divergem em z = 0,
sendo ate mesmo funcoes inteiras (analticas em toda parte) para inteiro n
ao-negativo.
Um caso de particular interesse e aquele no qual = l N0 . Nesse caso, podemos escrever a solucao geral da equacao
de Bessel esferica na forma
y(z) = ajl (z) + bnl (z) ,
com a e b constantes arbitrarias, onde
r

jl (z) := J 1 (z) , e (14.131)
2z l+ 2
r r
(14.120)
nl (z) := N 1 (z) = (1)l+1 J 1 (z) . (14.132)
2z l+ 2 2z (l+ 2 )
Note que, por (14.121), tem-se
sen (z) cos(z)

j0 (z) = e n0 (z) = . (14.133)
z z
Algumas propriedades das funcoes de Bessel esfericas serao estudadas na Secao 15.2.8, p
agina 718. As primeiras funcoes
de Bessel e de Neumann esfericas encontram-se listadas em (15.238) e (15.239).
14.2.5 Equac
oes Relacionadas `
a de Bessel. A Equac
ao de Bessel Modifi-
cada
Uma outra equacao diferencial fortemente relacionada à de Bessel e a equac
ao de Bessel modificada de ordem :
z 2 y (z) + zy (z) (z 2 + 2 )y(z) = 0 , (14.134)
com z C, onde C e uma constante. Comparando-se a equacao de Bessel (14.104), p agina 625, e facil perceber que
a equacao modificada pode ser transformada na de Bessel se fizermos formalmente na primeira a substituicao z iz. De
forma direta, e imediato constatar que se y(z) e uma solucao da equacao de Bessel, entao y(iz) e uma solucao da equacao
de Bessel modificada. Conclumos que no caso de n ao-inteiro a solucao geral de (14.134) e dada por uma combinacao
linear de J (iz) e J (iz) (ou de J (iz) e N (iz)) e para = n, inteiro, por uma combinacao linear de Jn (iz) e Nn (iz).
Isso sugere e justifica as definicoes que seguem.
atica Vers
Definem-se as func
oes de Bessel modificadas de primeira especie e de ordem , denotadas por I (z), por
I (z) := i J (iz) = ei/2 J (iz) ,
sendo que para = n, inteiro, tem-se

In (x) = In (x) = in Jn (iz) .
As func
oes de Bessel modificadas de segunda especie e de ordem , denotadas por K (z), sao definidas por
i+1
K (z) := J (iz) + iN (iz) .
2
oes de Macdonald19 .
As funcoes K sao denominadas por alguns autores func
Advertencia. O estudante deve ser advertido do fato de n ao haver, infelizmente, uniformidade na literatura quanto à
definicao das funcoes K apresentadas acima, pois alguns textos adotam para K uma combinacao linear das funcoes
J (iz) e N (iz) com constantes ligeiramente diferentes daquelas de acima. A referencia [265], por exemplo, multiplica
a expressao por cos() de modo a fazer com que as funcoes K satisfacam as mesmas relacoes de recorrencia que as
funcoes I . Desastradamente, porem, isso faz com que a expressao se anule se = 1/2 + k, com k Z. A definicao que
adotamos e a mais comum atualmente e, curiosamente, coincide com a original de Basset20 de 1886. Vide [265] para
outros coment arios sobre esse ponto.
Note-se que I (z) e K (z) sao linearmente independentes, de modo que a solucao geral da equacao de Bessel modificada
de ordem e uma combinacao linear aI (z) + bK (z), onde a e b sao constantes.
E. 14.16 Exerccio. Mostre que, com as definicoes acima,
I (z) I (z)
K (z) = e que K (z) = K (z) .
2 sen ()
6
Da representacao em serie (14.122) das funcoes de Bessel, e da definicao de I (z) obtem-se

z 2k+
X 1
I (z) := . (14.135)
k! (k + 1 + ) 2
k=0
de se notar que se > 0 e se e z > 0 ent

E ao todos os termos da serie acima sao positivos e, portanto, I (z) > 0. Assim,
ao contrario das funcos de Bessel, as funcoes de Bessel modificadas I nao se anulam no eixo real positivo. O mesmo
pode ser facilmente provado sobre as funcoes K , as quais divergem em z = 0.
Para o caso em que = m N0 , temos
z 2k+m
X 1
Im (z) := . (14.136)
k! (m + k)! 2
k=0
14.2.6 A Equac
ao de Laguerre
ao de Laguerre21 e a equacao diferencial
A equac
zy (z) + (1 z)y (z) + y(z) = 0 ,
com z C, onde C e uma constante.

A equacao de Laguerre, e uma parente proxima, a equacao de Laguerre associada, apresentada na Secao 14.3.2, p
agina
648, emergem em um dos problemas mais importantes da Fsica, a equacao de Schrodinger para o atomo de hidrogenio
19 Hector
Munro Macdonald (18651935).
20 Alfred
Barnard Basset (18541930).
21 Edmond Nicolas Laguerre (18341886).
atica Vers
em coordenadas esfericas. Vide Secao 20.8, p

agina 939. A equacao de Laguerre e tambem um caso particular da equacao
hipergeometrica confluente, a ser discutida na Secao 14.2.8, pagina 644.
Comparando com a forma (14.52), vemos que z0 = 0 e um ponto singular regular da equacao, vemos que a(z) = 1 z
e que b(z) = z. Assim, no presente caso tem-se

1, para n = 0

, para n = 1
an = 1, para n = 1 , b n = .


0, para n 2
elementar constatar-se que, para essa equacao, = + = 0 e, portanto, estamos no caso 2 do Teorema 14.2 da p
E agina
613 com f (x) = x2 , 0 = 0,

X
X
y1 (z) = cn z n e y2 (z) = y1 (z) ln(z) + vn z n , (14.137)
n=0 n=0
onde
n1
1 Xh i n+1
cn = 2
manm + bnm cm = cn1 , n2,
n m=0 n2
e
" n n1
#
1 X Xh i
vn = 2 2n 1 cn + anm cm + manm + bnm vm
n m=0 m=0
" #
1 n+1
= 2 2n cn cn1 vn1 , n 1 , (14.138)
n n2
Adotando-se c0 = 1, obtem-se para n 1

n1
(1)n Y (1)n ( + 1)
cn = ( l) =
(n!)2 (n!)2 ( n + 1)
l=0
e y1 (z) fica !
n1
X (1)n Y X (1)n ( + 1)
y1 (z) = 1 + ( l) zn = 1 + zn . (14.139)
n=1
(n!)2 n=1
(n!)2 ( n + 1)
l=0
A situacao de maior interesse em Fsica e aquela na qual e um inteiro n ao-negativo: = m N0 . A raz ao

disso sera explicada detalhadamente no Apendice 14.E, p agina 656, mas adiantamos que nos casos em que n ao e um
inteiro positivo a solucao y1 cresce muito rapidamente (exponencialmente) quando z e restrito ao semi-eixo real positivo.
Esse comportamento e inadequado em varias aplicacoes, por exemplo no classico problema do atomo de hidrogenio da
Mec anica Qu antica, o que leva ao descarte de tais solucoes.
Ja no caso em que e um inteiro n
ao-negativo, = m N0 , a solucao dada em (14.139) reduz-se a um polinomio de
grau m:
m n1
! m
X (1)n Y
n
X (1)n m!
y1 (z) = 1 + 2
(m l) z = 1 + 2 (m n)!
zn
n=1
(n!) n=1
(n!)
l=0
m
X (1)n m
= zn .
n=0
n! n
atica Vers
omios de Laguerre, denotados por Lm (z), sao definidos como m! vezes o polinomio acima22 :
Os chamados polin
m
Xm! n m
Lm (z) := (1) zn . (14.140)
n=0
n! n
Os quatro primeiros sao
L0 (z) = 1, L1 (z) = 1 z, L2 (z) = 2 4z + z 2 , L3 (z) = 6 18z + 9z 2 z 3 .

f
E acil provar, tambem, que a seguinte expressao e valida (vide p
agina 696):
dm m z
Lm (z) = ez z e . (14.141)
dz m
Os polinomios de Laguerre Lm (z) sao, portanto, uma das solucoes da equacao de Laguerre (com = m)
zy (z) + (1 z)y (z) + my(z) = 0 , (14.142)
com z C, onde m N0 . De acordo com (14.137), uma segunda solucao e dada na forma

X
y2 (z) = Lm (z) ln(z) + vn z n ,
n=0
onde os coeficientes vn sao dados em (14.138) em termos dos coeficientes cn dos polinomios de Laguerre. Apos c
alculos
um tanto macantes, chega-se ` a seguinte expressao:
m
X
km! m k m
X (k 1)!
y2 (z) = Lm (z) ln(z) + (1) (hmk hm 2hk ) z + (1) z m+k ,
k! k (m + 1)2 (m + 2)2 (m + k)2
k=1 k=1
onde hn est
a definido em (14.109)-(14.110).
E. 14.17 Exerccio. Mostre isso. Sugestao: tire uma tarde livre. 6
E. 14.18 Exerccio. Caso o leitor nao deseje fazer o exerccio anterior, podera contentar-se com a tarefa mais simples de
verificar que a expressao acima e, de fato, uma solucao de (14.142). 6
Essa segunda solucao e raramente empregada em problemas de Fsica, especialmente devido à singularidade lo-
gartmica que apresenta.
Mais propriedades dos polinomios de Laguerre serao estudadas na Secao 15.2.5, p
agina 695.
14.2.7 A Equac
ao Hipergeom
etrica
z(1 z)y (z) + [ (1 + + )z]y (z) y(z) = 0 , (14.143)
para z C e com , e C constantes, e denominada equac ao de Gau23 , quem a primeiro
ao hipergeometrica, ou equac
estudou. A raz ao do interesse nessa equacao reside em tres fatos. Primeiro, a equacao hipergeometrica e (a menos de
multiplicacao trivial por uma constante) a u nica equacao linear homogenea de segunda ordem com apenas tres pontos
singulares regulares em 0, 1 e (vide discuss ao `
a p
agina 571). Sabe-se, ademais, (vide discuss ao da Secao 13.8.3, p
agina
22 O fator de normalizaca
o m! tem origem historica. O leitor deve ser advertido do fato, j
a lamentado p aginas acima, que em alguns textos
outra normalizaca o
e empregada.
23 Johann Carl Friedrich Gau (17771855). Um dos maiores e mais influentes matem aticos de todos os tempos, Gau dedicou-se tamb em
intensamente a problemas de Fsica, Astronomia, Matem atica Aplicada e mesmo Engenharia ( e um dos co-inventores do telegrafo) e encontrou
as equacoes hipergeometricas em estudos de Geodesia, assunto a que se dedicou quando da construcao das primeiras linhas f
erreas da Alemanha.
Seus trabalhos nessa area tambem inspiraram uma das suas muitas contribuico es importantes à matem atica pura: a formulacao de geometrias
nao-Euclidianas.
atica Vers
584) que toda equacao Fuchsiana com tres pontos singulares pode ser transformada em uma equacao hipergeometrica.
Segundo, h a varias equacoes diferenciais de interesse que podem ser transformadas em equacoes hipergeometricas e, com
isso, pode-se estudar certas propriedades de varias funcoes especiais, tais como seu comportamento assint otico, a partir
das propriedades correspondentes de funcoes hipergeometricas. Terceiro, suas solucoes possuem muitas simetrias. A
equacao hipergeometrica e uma das equacoes diferenciais ordinarias mais estudadas, sendo suas solucoes riqussimas em
propriedades. Sua abordagem completa est a muito alem das pretensoes destas Notas e, para um tratamento detalhado,
recomendamos as referencias [113], [232], [265], [156], [110] e outras. Propriedades combinatorias envolvendo as series
hipergeometricas e suas generalizacoes podem ser encontradas em [87].
Vamos aqui apresentar as solucoes da equacao hipergeometrica (14.143) em termos de expansoes em torno de seu
ponto singular regular z0 = 0. O leitor poder a encontrar em [232] solucoes de (14.143) expressas como expansoes em
torno dos outros pontos singulares regulares z0 = 1 e z0 = . O interesse nessas u ltimas expansoes e um tanto menor,
especialmente pois as mesmas podem ser expressas em termos das solucoes obtidas em torno de z0 = 0. Reescrevemos
(14.143) na forma
a(z) b(z)
y (z) + y (z) + 2 y(z) = 0 , (14.144)
z z
sendo a(z) e b(z) analticas em |z| < 1, a saber,

(1 + + )z X X
a(z) = = an z n = + ( 1 )z n ,
1z n=0 n=1

z X X
b(z) = = bn z n = ()z n .
1z n=0 n=1
A equacao indicial, neste caso, e

f (x) = x(x 1) + x = x(x + 1) = 0
e temos, portanto, os ndices dados por
= 1 e + = 0 .
Ha, assim, tres casos a considerar: 1. 1 6 Z, ou seja, 6 Z. 2. = 1. 3. 1 Z \ {0}, ou seja, Z mas

6= 1.
Caso 1. 1 6 Z, ou seja, 6 Z.
Aqui, de acordo com (14.54) e (14.55), as solucoes sao

X
X
y1 (z) = z 1 cn z n e y2 (z) = dn z n , (14.145)
n=0 n=0
onde
n1
Xh i n1
1 1 Xh i
cn = (m + 1 )anm + bnm cm , dn = manm + bnm dm ,
f (1 + n) m=0 f (n) m=0
para todo n 1. Nesse caso, porem, n ao e t

ao simples resolver recursivamente essas equacoes, pelo menos na maneira
como estao expressas acima. E muito mais f acil obter as relacoes recursivas de outra forma: inserindo (14.145) na equacao
diferencial ainda na forma (14.143). Com esse procedimento, comecando pela solucao y2 (z), obtem-se alegremente para
os coeficientes dn a seguinte relacao recursiva:
( + n)( + n)
dn+1 = dn , (14.146)
(n + 1)( + n)
para todo n 0.

atica Vers
Convencionando-se tomar d0 = 1, chegamos a
()n ()n
dn = , n1,
n!()n
onde, para x C e n N0 ,

n1
Y

x(x + 1) (x + n 1) = (x + l) , n 1 ,

l=0
(x)n := (14.147)

1, n = 0,
sao os denominados smbolos de Pochhammer24 . Quando x n

ao e um inteiro negativo ou zero, podemos escrever
(x + n)
(x)n = .
(x)
Com isso, obtemos para a solucao y2 a expressao

X ()n ()n n () X ( + n)( + n) z n
F (, , , z) := 1 + z = . (14.148)
n=1
n!()n ()() n=0 ( + n) n!
Essa funcao, introduzida por Gau em cerca de 1812, e denominada func ao hipergeometrica, denominacao aparentemente
criada por Kummer25 em 1836. Contriburam ` a teoria das funcoes hipergeometricas nomes como Euler, Gau, Kummer
e Riemann. Na literatura F (, , , z) e muitas vezes denotada por 2 F1 (, , , z)26 .
Repetindo consideracoes anteriores, F (, , , z) e analtica como funcao de z pelo menos na regiao |z| < 1. No caso
em que ou sao inteiros n
ao-positivos, e f
acil ver que F (, , , z) reduz-se a um polinomio e e, portanto, analtica
em toda parte. Exceto nesses casos, a serie que define F (, , , z) e divergente para |z| > 1, como se ve pelo teste da
raz
ao, pois
()n+1 ()n+1 n+1
(n+1)!()n+1 z
= | + n| | + n| |z| ,

()n ()n n (n + 1) | + n|
n!()n z
que, para n grande, aproxima-se de |z| > 1. Casualmente, o mesmo argumento prova convergencia absoluta da serie
hipergeometrica (14.148) para |z| < 1.
Fazemos ainda notar que a expressao acima para F (, , , z) est a definida mesmo para o caso em que e um
inteiro positivo e, portanto, representa uma solucao da equacao hipergeometrica naquele caso. Para nulo ou um inteiro
negativo, digamos = m, o denominador ()n anula-se para n > m e a expressao para F (, , , z) deixa de fazer
sentido.
Para obtermos a outra solucao inserimos y1 de (14.145) na equacao diferencial ainda na forma (14.143) e obtemos
alegremente para os coeficientes cn a relacao
(n + + 1 )(n + + 1 )
cn+1 = cn ,
(n + 1)(n + 2 )
para todo n 0.

24 Leo August Pochhammer (18411920).
25 Ernst Eduard Kummer (18101893).
26 A explicaca
o da notaca
o 2 F1
e a seguinte: o 2 à esquerda indica a presenca de dois smbolos de Pochhammer no numerador dos termos
da s erie hipergeometrica (14.148). O 1 ` a direita indica a presenca de um smbolo de Pochhammer no denominador. H a generalizaco
es da
s
erie (14.148) que definem as chamadas func oes hipergeom etricas generalizadas, denotadas por k Fl , e que cont
em k smbolos de Pochhammer
no numerador e l no denominador (vide e.g. [87]). Mais abaixo encontraremos as funco es hipergeom etricas confluentes, que s
ao do tipo 1 F1 .
atica Vers
Alguns segundos de contemplacao nos levam a concluir que essas relacoes sao identicas àquelas de (14.146), desde
que la facamos as seguintes modificacoes: + 1 , + 1 e 2 . Por tras dessa aparente
coincidencia residem propriedades de simetria da equacao hipergeometrica. O leitor poder
a encontrar essa discuss
ao nos
textos supra-citados.
Assim, tomando-se tambem c0 = 1, conclumos que a outra solucao e
z 1 F ( + 1 , + 1 , 2 , z) .
Fazemos ainda notar que F ( + 1 , + 1 , 2 , z) est a definida mesmo para o caso em que e um inteiro
ao-positivo e, portanto, z 1 F ( + 1 , + 1 , 2 , z) representa uma solucao da equacao hipergeometrica
n
naquele caso.
Resumindo nossas conclusoes, para o caso 6 Z a solucao geral da equacao hipergeometrica (14.143) expressa em
termos de uma expansao em torno do ponto singular regular z0 = 0 e
A1 z 1 F ( + 1 , + 1 , 2 , z) + A2 F (, , , z) .
onde A1 e A2 sao constantes arbitrarias.
Caso 2. = 1.
P
Aqui = + = 0 = 0. Nesse caso a primeira solucao e da forma y1 (z) = n=0 cn z n e, de modo analogo, obtemos
( + n)( + n)
cn+1 = cn , (14.149)
(n + 1)2
para todo n 0. Assim, a primeira solucao e

X ()n ()n n 1 X zn
F (, , 1, z) = 1 + 2
z = ( + n)( + n) .
n=1
(n!) ()() n=0 (n!)2
Pelo mesmo argumento de acima, a expansao em serie do lado direito converge para |z| < 1 e diverge para |z| > 1.
Pelo Teorema 14.2, p
agina 613, a segunda solucao tem a forma

X
F (, , 1, z) ln(z) + vn z n ,
n=0
com os vn dados em (14.58) em termos dos cn de acima. A expressao que se obtem e um tanto complexa e evitamos
coloc
a-la aqui. O leitor poder
a encontr
a-la, por exemplo, em [232].
Caso 3. 1 Z \ {0}, ou seja, Z mas 6= 1.
H
a dois casos a distinguir: a. > 1 e b. 0.
No caso a, = m, com m > 1 inteiro. Aqui tem-se n0 = m 1, 1 = + = 0 e 2 = = 1 m. Como ja observamos
acima, uma solucao e dada por F (, , m, z). Uma segunda solucao sera da forma

X
AF (, , m, z) ln(z) + z 1m vn z n ,
n=0
com os vn e A dados como em (14.62) e (14.63) a partir dos coeficientes cn de F (, , m, z). Novamente, a expressao
que se obtem e complexa e remetemos o estudante a, e.g., [232].
No caso b, = m, com m 0 inteiro. Aqui tem-se n0 = m + 1, 1 = = 1 + m e 2 = + = 0. Como ja
observamos acima, uma solucao e dada por z 1+m F ( + 1 + m, + 1 + m, 2 + m, z). Uma segunda solucao sera da forma

X
Az 1+m F ( + 1 + m, + 1 + m, 2 + m, z) ln(z) + vn z n ,
n=0
1+m
com os vn e A dados como em (14.62) e (14.63) a partir dos coeficientes cn de z F ( + 1 + m, + 1 + m, 2 + m, z).
Novamente, a expressao que se obtem e complexa e remetemos o estudante a, e.g., [232].
Com isso encerramos nossa breve excursao `
as funcoes hipergeometricas e remetemos o estudante interessado em um
maior aprofundamento `
a literatura supra-citada.
atica Vers
14.2.8 A Equac
ao Hipergeom
etrica Confluente
zy (z) + [ z]y (z) y(z) = 0 , (14.150)
para z C e com e C constantes, e denominada equac ao hipergeometrica confluente ou equac
ao de Kummer. A
mesma pode ser obtida da equacao hipergeometrica por um procedimento de limite no qual a singularidade regular de
z0 = 1 daquela equacao e feita imergir (confluir, da o nome) na singularidade regular de z0 = . Esse processo pode
ser descrito da seguinte forma. Facamos na equacao hipergeometrica
z(1 z)y (z) + [ (1 + + )z]y (z) y(z) = 0
a mudanca de variaveis = z. A mesma assume a forma (verifique!)

d2 y ++1 dy
1 + y = 0 .
d 2 d
Tomando-se agora o limite || obtemos a forma (14.150). Vide, e.g., [232] ou [113]. A equacao hipergeometrica
confluente possui uma singularidade regular em z0 = 0 e uma irregular em z0 = (vide discuss
ao à p
agina 572).
Assim como no caso da equacao hipergeometrica, h a varias equacoes diferenciais de interesse que podem ser transfor-
madas em equacoes hipergeometricas confluentes. Os exemplos mais evidentes sao a equacao de Laguerre, Secao 14.2.6,
p
agina 638, que corresponde a = 1 e = , e a equacao de Laguerre associada, Secao 14.3.2, p agina 648, que
corresponde a = m + 1 e = (n m). Um outro exemplo e a equacao de Hermite, equacao (14.15), p agina 604, que
pode ser transfomada em uma equacao hipergeometrica confluente definindo-se w = z 2 e v(w) = y(z). Com isso, (14.15)
transforma-se em
1
wv (w) + w v (w) + v(w) = 0 , (14.151)
2 4
1
(verifique!) que e uma equacao hipergeometrica confluente com = 2 e = 4 .
Pode-se, portanto, estudar propriedades de varias funcoes especiais, tais como sua estrutura de singularidades ou seu
comportamento assint otico, a partir das propriedades correspondentes de funcoes hipergeometricas confluentes.
Para a equacao hipergeometrica confluente tem-se
[ z] z
y (z) + y (z) 2 y(z) = 0
z z
e assim, comparando com a forma padr
ao (14.49), temos
a(z) = z, e b(z) = z .
Logo,

, para n = 0

, para n = 1
an = 1, para n = 1 , bn = .


0, para n 2
A equacao indicial e, portanto,

f (x) = x(x + 1) ,
cujas razes sao
= 1 e + = 0 ,
tal como para a equacao hipergeometrica. H
a, assim, tres casos a considerar: 1. 1 6 Z, ou seja, 6 Z. 2. = 1. 3.
1 Z \ {0}, ou seja, Z mas =6 1.
Caso 1. 1 6 Z, ou seja, 6 Z.
atica Vers
Aqui, de acordo com (14.54) e (14.55), as solucoes sao

X
X
1 n
y1 (z) = z cn z e y2 (z) = dn z n , (14.152)
n=0 n=0
onde
n1
Xh i n1
1 1 Xh i
cn = (m + 1 )anm + bnm cm , dn = manm + bnm dm ,
f (1 + n) m=0 f (n) m=0
para todo n 1. Assim,

n+ n+1
cn = cn1 , dn = dn1 ,
n(n + 1 ) n(n + 1)
o que conduz a
( + 1 )n ()n
cn = c0 , dn = d0 , (14.153)
n!(2 )n n!()n
Tomando d0 = 1 a solucao y2 assume a forma

X ()n n () X ( + n) z n
1 F1 (, , z) := 1 + z = . (14.154)
n=1
n!()n () n=0 ( + n) n!
Esta funcao e denominada func

ao hipergeometrica confluente ou, por vezes, func
ao de Kummer.
E. 14.21 Exerccio. Prove, usando diretamente as definicoes, a seguinte relacao entre as funcoes hipergeometricas conflu-
entes e as funcoes hipergeometricas:

z
1 F1 (, , z) = lim F , , , .
||
6
Aplicando o teste da raz

ao `
a serie de (14.154) temos

()n+1
(n+1)!()n+1 z n+1

= | + n|

()n
|z|
n (n + 1) | + n|
n!()n z
e vemos que a mesma converge absolutamente para todo z C, pois para cada z fixo o lado direito torna-se menor que
1 para n grande o suficiente. Assim, 1 F1 (, , z) e analtica para todo z C.
Fazemos ainda notar que a expressao acima para 1 F1 (, , z) est
a definida mesmo para o caso em que e um inteiro
positivo e, portanto, representa uma solucao da equacao hipergeometrica confluente naquele caso. Para nulo ou um
inteiro negativo, digamos = m, o denominador ()n anula-se para n > m e a expressao para F (, , z) deixa de
fazer sentido.
Passemos agora à solucao y1 . Alguns segundos de contemplacao das expressoes de (14.153) conduzem-nos à percepcao
que a relacao entre cn e c0 equivale à relacao entre dn e d0 com a troca + 1 e 2 (tal como se fez no
caso da equacao hipergeometrica, acima). Assim, convencionando-se tambem c0 = 1, tem-se que a solucao y1 (z) e dada
por
z 1 1 F1 ( + 1 , 2 , z) .
Fazemos ainda notar que 1 F1 ( + 1 , 2 , z) est

a definida mesmo para o caso em que e um inteiro n ao-positivo
e, portanto, z 1 1 F1 ( + 1 , 2 , z) representa uma solucao da equacao hipergeometrica confluente naquele caso.
Resumindo, para o caso 6 Z a solucao geral da equacao hipergeometrica confluente (14.150) e
A1 z 1 1 F1 ( + 1 , 2 , z) + A2 1 F1 (, , z) ,
onde A1 e A2 sao constantes arbitrarias.

atica Vers
Caso 2. = 1.
Esse e o caso da equacao de Laguerre.
P
Aqui = + = 0 = 0. Nesse caso a primeira solucao e da forma y1 (z) = n=0 cn z n e, de modo analogo, obtemos
( + n)
cn+1 = cn , (14.155)
(n + 1)2
para todo n 0. Assim, a primeira solucao e

X ()n n 1 X zn
1 F1 (, 1, z) = 1 + 2
z = ( + n) .
n=1
(n!) () n=0 (n!)2
Pelo Teorema 14.2, p

agina 613, a segunda solucao tem a forma

X
1 F1 (, 1, z) ln(z) + vn z n ,
n=0
com os vn dados em (14.58) em termos dos cn de acima. A expressao que se obtem e um tanto complexa e evitamos
coloc
a-la aqui.
Caso 3. 1 Z \ {0}, ou seja, Z mas 6= 1.
Esse e o caso da equacao de Laguerre associada.
H
a dois casos a distinguir: a. > 1 e b. 0.
No caso a, = m, com m > 1 inteiro. Aqui tem-se n0 = m 1, 1 = + = 0 e 2 = = 1 m. Como ja observamos
acima, uma solucao e dada por 1 F1 (, m, z). Uma segunda solucao sera da forma

X
A 1 F1 (, m, z) ln(z) + z 1m vn z n ,
n=0
com os vn e A dados como em (14.62) e (14.63) a partir dos coeficientes cn de 1 F1 (, m, z). Novamente, a expressao
que se obtem e complexa e a omitimos aqui.
No caso b, = m, com m 0 inteiro. Aqui tem-se n0 = m + 1, 1 = = 1 + m e 2 = + = 0. Como ja
observamos acima, uma solucao e dada por z 1+m 1 F1 ( + 1 + m, 2 + m, z). Uma segunda solucao sera da forma

X
Az 1+m 1 F1 ( + 1 + m, 2 + m, z) ln(z) + vn z n ,
n=0
com os vn e A dados como em (14.62) e (14.63) a partir dos coeficientes cn de z 1+m 1 F1 ( + 1 + m, 2 + m, z). Novamente,
a expressao que se obtem e complexa e e omitida aqui.
Com isso encerramos nossa breve excurs ao `
as funcoes hipergeometricas confluentes. Para um tratamento extensivo
da equacao hipergeometrica confluente e propriedades de suas solucoes, vide [228], [113] ou [265].
14.3 Algumas Equaco

es Associadas
Algumas das equacoes tratadas acima possuem parentes proximos com os quais se relacionam amistosamente. Vamos
estudar algumas delas.
14.3.1 A Equac
ao de Legendre Associada
A equac
ao de Legendre associada e equacao diferencial
2
(1 z 2 )y (z) 2zy (z) + ( + 1)y(z) y(z) = 0 . (14.156)
1 z2
atica Vers
Como e facil de se constatar, os pontos 1 sao pontos singulares regulares da equacao de Legendre associada. Repare
tambem que para = 0 recupera-se a equacao de Legendre usual
(1 z 2 )y (z) 2zy (z) + ( + 1)y(z) = 0 . (14.157)
O principal interesse na equacao (14.156) se d

a no caso em que e um numero inteiro, = m Z, situacao que
corresponde à maioria das aplicacoes. Nesse caso, um truque feliz permite-nos encontrar as solucoes sem termos de
recorrer ao metodo de Frobenius.
Tudo comeca com a observacao que a equacao de Legendre usual e a equacao de Legendre associada podem ser
transformadas em uma mesma equacao. Se em (14.156) (j a adotando = m Z) fizermos a substituicao y(z) =
(1 z 2 )m/2 v(z), obtemos para v a equacao

(1 z 2 )v (z) 2(m + 1)z v (z) + ( + 1) m(m + 1) v(z) = 0 . (14.158)
E. 14.22 Exerccio importante. Mostre isso. Sugestao: um pouco de paciencia. 6
Se, por outro lado, tomarmos a equacao (14.157) e a derivarmos m vezes, obtemos

(1 z 2 ) y (m) (z) 2(m + 1)z y (m) (z) + ( + 1) m(m + 1) y (m) (z) = 0 . (14.159)

dm
E. 14.23 Exerccio importante. Mostre isso. Sugestao: use a regra de Leibniz para calcular as derivadas dz m (1

dm
z 2 )y (z) e dz m zy (z) . 6
Comparando (14.158) com (14.159), constatamos que ambas sao a mesma equacao. Com isso, vemos que se yL e a
ao (1z 2 )m/2 yLa (z)
solucao geral da equacao de Legendre e yLa e a solucao geral da equacao de Legendre associada, ent
(m)
e yL (z) devem ser proporcionais, j a que obedecem à mesma equacao (14.158). Com isso, obtemos que a solucao geral
da equacao de Legendre associada pode ser obtida da solucao geral da equacao de Legendre por
(m)
yLa (z) = km (1 z 2 )m/2 yL (z) ,
km sendo constantes de normalizacao a serem convencionadas.

Coloquemo-nos agora a quest ao: qual solucao yL da equacao de Legendre devemos adotar? Isso certamente depende
do tipo de problema considerado, mas na maioria das aplicacoes procuramos resolver a equacao de Legendre associada
no intervalo [1, 1] e procuramos solucoes que sejam finitas em todo esse intervalo, incluindo as bordas 1. Ora, ja
vimos que as u nicas solucoes da equacao de Legendre usual que permanecem limitadas nos extremos 1 (assim como
suas derivadas) sao os polinomios de Legendre Pl (z), os quais ocorrem como solucao apenas no caso = l, um inteiro
nao-negativo. Obtemos, assim, que as solucoes de interesse da acao de Legendre associada que sao limitadas em todo o
intervalo fechado [1, 1] ocorrem para = l, um inteiro n ao-negativo, e sao dadas por
dm
Plm (z) := (1 z 2 )m/2 Pl (z) , (14.160)
dz m
claro que P m (z) e nulo se m > l (pois Pl e um polinomio de grau l).
onde Pl e o polinomio de Legendre de grau l. E l
As funcoes Plm definidas acima sao denominadas polin omios de Legendre associados, ainda que n ao sejam realmente
polinomios em z no caso em que m e mpar (devido ao fator (1 z 2 )m/2 )27 e desempenham um papel importante na
resolucao de equacoes diferenciais parciais em 3 dimensoes em coordenadas esfericas, tais como a equacao de Laplace e
de Helmholtz. A eles est ao intimamente relacionados as chamadas funcoes harm onicas esfericas, das quais falaremos na
Secao 15.2.2, pagina 676, e que desempenham um papel na Mecanica Qu antica (orbitais atomicos), na Teoria de Grupos
(representacoes do grupo SO(3)), no Eletromagnetismo (emiss ao de ondas eletromagneticas por antenas) etc.
27 Se, es, Plm (cos ) torna-se um polin
no entanto, substituirmos z por cos , com 0 , o que costumeiramente se faz em aplicaco omio
trigonometrico, ou seja, um polin
omio em cos e sen , j 2
a que (1 z )m/2 m
torna-se ( sen ()) . Essa e a raz
ao dessa nomenclatura. Vide
express
ao (15.63), pagina 679.
atica Vers
As funcoes Plm est

ao definidas acima para l inteiro n
ao-negativo, ou seja l = 0, 1, 2, 3, . . ., e m inteiro com 0 m l
(pois para m > l o lado direito de (14.160) anula-se). Cada Plm e solucao da equacao de Legendre associada
m2
(1 z 2 )y (z) 2zy (z) + l(l + 1)y(z) y(z) = 0 . (14.161)
1 z2
Na Secao 15.2.1, que se inicia `

a p
agina 672, mostraremos que os polinomios de Legendre podem ser escritos como
1 dl 2
Pl (z) = (z 1)l ,
2l l! dz l
expressao essa conhecida como f

ormula de Rodrigues para os polin
omios de Legendre. Assim, obtemos
l+m
1 2 m/2 d
Plm (z) = (1 z ) (z 2
1)l
, (14.162)
2l l! dz l+m
expressao valida para 0 m l, com l um inteiro n
ao-negativo: l = 0, 1, 2, 3, . . .. Caso m > l, o lado direito se anula.
Um ponto interessante, porem, e que a expressao do lado direito de (14.162) est
a bem definida para quaisquer l e m
com l + m 0, ou seja, tambem para ms negativos tais que m l. Assim, (14.162) est a definida para todo m inteiro
com l m l28 .
Da expressao (14.162), entendida para todo l inteiro n
ao-negativo e l m l, e possvel mostrar que
(l m)! m
Plm (z) = (1)m P (z) .
(l + m)! l
Essa relacao, que e relevante para as chamadas funcoes harmonicas esfericas, mostra que Plm (z) e tambem solucao da
equacao de Legendre associada (14.161), por ser proporcional a Plm (z). Trataremos disso na Secao 15.2.2, p agina 676,
onde outras propriedades dos polinomios de Legendre associados serao apresentadas e sua relacao com as harmonicas
esfericas sera discutida.
Os primeiros polinomios de Legendre associados sao
1
P00 (z) = 1 ; P11 (z) = (1 z 2 )1/2 , P10 (z) = z , P11 (z) = (1 z 2 )1/2 ;
2
1 1 1
P22 (z) = (1z 2) , P21 (z) = z(1z 2)1/2 , P20 (z) = (3z 2 1) , P21 (z) = 3z(1z 2)1/2 , P22 (z) = 3(1z 2) .
8 2 2
E. 14.24 Exerccio. Verifique! 6
14.3.2 A Equac
ao de Laguerre Associada
A equac
ao de Laguerre associada e a equacao diferencial
xy + (m + 1 x)y + (n m)y = 0 . (14.163)
O principal interesse nessa equacao reside no caso onde m e n sao inteiros satisfazendo 0 m n. Como o leitor
facilmente constata, trata-se de um caso particular da equacao hipergeometrica confluente (14.150). A equacao de
Laguerre associada surge da equacao de Schrodinger para o atomo de hidrogenio quando a mesma e resolvida pelo
metodo de separacao de variaveis em coordenadas esfericas.
A solucao dessa equacao pode ser obtida diretamente da solucao da equacao de Laguerre usual
xy + (1 x)y + ny = 0 (14.164)
pois esta, quando diferenciada m vezes em relacao à x, transforma-se exatamente na equacao (14.163).
28 De passagem, comentamos que a rela
ca
o l m l desempenha um papel na teoria do momento angular na Mec
anica Qu
antica, mas
isso n
ao
e nosso assunto aqui.
atica Vers
E. 14.25 Exerccio. Verifique! Sugestao: regra de Leibniz. 6
Assim, se y e solucao de (14.164) segue que y (m) e solucao de (14.163). Conclumos que as u
nicas solucoes de (14.163)
que sao regulares em x = 0 sao da forma

(m) dm dm x d
n
n x
Ln (x) = Ln (x) = e (x e ) . (14.165)
dxm dxm dxn
au
ltima igualdade sendo proveniente de (14.141) ou de (15.134).
(m)
Os polinomios Ln sao denominados polin omios de Laguerre associados. Os polinomios de Laguerre associados
surgem, como dissemos, na resolucao da equacao de Schrodinger para o atomo de hidrogenio em coordenadas esfericas.
Vide Secao 20.8, p agina 939. Junto com as harm
onicas esfericas, definidas na Secao 15.2.2.1, p
agina 682, os polinomios
de Laguerre associados definem a forma dos orbitais eletr onicos do atomo de hidrogenio e (de forma aproximada) de
atomos hidrogenoides. A forma desses orbitais e de import
ancia fundamental no estudo de atomos e moleculas e suas
ligacoes qumicas.
Usando (14.140), e f
acil constatar que
nm
k n!
n
X
L(m)
n (x) = (1) m
(1) xk .
k! m + k
k=0
Mais propriedades dos polinomios de Laguerre associados serao estudadas na Secao 15.2.6, p
agina 699.
atica Vers
14.4 Exerccios Adicionais

E. 14.26 Exerccio. Considere as equacoes diferenciais u (x) au(x) = 0 e u (x) + 02 u(x) = 0, com a C, 0 C,
constantes e x C. Usando o metodo de expansao em serie mostre que suas solucoes gerais sao, respectivamente, u(x) = Aeax
e u(x) = A cos(0 x) + B sen (0 x), onde A e B sao constantes. 6
E. 14.27 Exerccio. Seja a bem conhecida expansao binomial

X ( + 1 k)k
(1 + x) = xk , (14.166)
k!
k=0
valida para x C com |x| < 1 e para todo C, onde, para x C e n N0 , (x)n sao os smbolos de Pochhammer definidos
em (14.147), pagina 642. Demonstre (14.166) resolvendo a equacao diferencial
(1 + x)y y = 0
com a condicao y(0) = 1. Sugest ao. Verifique que (1 + x) e solucao da equacao diferencial acima e satisfaz y(0) = 1.
Depois resolva a mesma equacao, procurando solucoes na forma de uma serie de potencias na regiao |x| < 1.
Mostre que quando = n N0 , um inteiro nao-negativo, a solucao reduz-se a um polinomio, a saber, aquele definido
pelo bin
omio de Newton:
n
X n
(1 + x)n = xk .
k
k=0
6
E. 14.28 Exerccio. Usando o metodo de expansao em serie de potencias mostre que a solucao da equacao diferencial
y (z) + zy(z) = 0 e y(z) = c exp(z 2 /2), onde c e uma constante. 6
E. 14.29 Exerccio. Encontre, utilizando o metodo de expansao em serie, a solucao geral da seguinte equacao diferencial
2
u (x) ex u (x) + sin(x)u(x) = 0 .
Em que regiao a serie de potencias obtida para u(x) deve ser convergente? Justifique. 6
2
E. 14.30 Exerccio. Mostre que a funcao u(x) = arcsen (x) e a solucao da equacao diferencial
(1 x2 )u (x) xu (x) = 2 ,
com as condicoes iniciais u(0) = u (0) = 0. Usando o metodo de expansao em serie para resolver a equacao, obtenha a
X
2 2
expansao de arcsen (x) em uma serie de potencias ck xk . Essa serie coincide com a serie de Taylor de arcsen (x)
k=0
em x = 0. Esse metodo de determinar a expansao em serie de Taylor dessa funcao e muito mais simples que o metodo direto,
2
envolvendo o c omputo das derivadas da funcao arcsen (x) em x = 0, e foi descoberto por Euler. Segundo [107], a serie
obtida ja era conhecida do matematico Kowa Seki (16421708), contemporaneo de Newton. 6
E. 14.31 Exerccio. a) Pelo metodo de Frobenius determine a solucao geral da seguinte equacao diferencial:
x2 u (x) (1 + x)u(x) = 0 ,
b) Qual o raio de convergencia das series encontradas? Justifique.

c) Determine a solucao da mesma equacao que satisfaz a condicao u(0) = 0. Ha solucoes para a condicao inicial u(0) = 1?
Justifique. 6
atica Vers
Ap
endices
14.A Prova da Proposic
ao 14.1. Justificando os Polin
omios
de Legendre

X
X
Provaremos a Proposicao 14.1 apenas para o caso da serie c2k z 2k , pois a demonstracao para a serie c2k+1 z 2k+1 e,
k=0 k=0
mutatis mutandis, identica.
Caso R seja um inteiro n
ao-negativo par, a serie em (14.12) torna-se um polinomio e e, conseq
uentemente, finita
para todo z C.
Consideremos, ent ao, que R n ao e um inteiro n
ao-negativo par. Tomemos a serie em (14.12) somada, para
simplificar, a partir de k = 2 e calculada em z = 1 (tomamos c0 = 1, sem perda de generalidade):
k1
X X 1 Y ( + 1)
c2k = ( + 1) 1 .
2k 2l(2l + 1)
k=2 k=2 l=1
Consideremos, para N > 2,

N N k1
X X 1 Y ( + 1)
c2k = 1 .
2k 2l(2l + 1)
k=2 k=2 l=1
Se ( + 1) 0 teremos que
k1
Y
( + 1)
1 1,
2l(2l + 1)
l=1
pois os fatores sao positivos e maiores que 1. Logo,

N N k1 N
X X 1 Y ( + 1) X 1
c2k = 1 .
2k 2l(2l + 1) 2k
k=2 k=2 l=1 k=2
N N
X 1 X
Portanto, como lim diverge, isso prova que lim c2k diverge, completando a prova.
N 2k N
k=2 k=2
claro que existe k0 N, k0 > 2, tal que
Se ( + 1) > 0 devemos proceder de outra forma. E
( + 1)
0 < < 1, (14.A.1)
2k0 (2k0 + 1)
(+1)
o que implica 1 2l(2l+1) > 0 para todo l > k0 . Escolhendo N > k0 , podemos escrever
N
X k0
X N
X
c2k = c2k + c2k
k=2 k=2 k=k0 +1
k0 kY
0 1 N
X k1
X ( + 1) 1 Y ( + 1)
= c2k + 1 1 . (14.A.2)
2l(2l + 1) 2k 2l(2l + 1)
k=2 l=1 k=k0 +1 l=k0
Podemos escrever
k1 k1 !
Y ( + 1) X ( + 1)
1 = exp ln 1 ,
2l(2l + 1) 2l(2l + 1)
l=k0 l=k0
(+1)
pois 1 2l(2l+1) > 0 para todo l k0 .
atica Vers
Agora, se 0 x M para algum 0 < M < 1, ent

ao vale
ln(1 M )
ln(1 x) x . (14.A.3)
M
Isso pode ser provado de diversas formas, por exemplo usando a concavidade da funcao logaritmo (vide Captulo 5,
p
agina 234), que garante que
ln a + (1 )b 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 (14.A.3).

(+1) (+1)
Com isso, e como 0 < 2l(2l+1) 2k0 (2k0 +1) =: M , para todo l k0 , temos que
k1 ! k1
!
X ( + 1) ln(1 M ) X ( + 1)
exp ln 1 exp ,
2l(2l + 1) M 2l(2l + 1)
l=k0 l=k0
Agora,
k1
X ( + 1) X ( + 1)
< ,
2l(2l + 1) 2l(2l + 1)
l=k0 l=k0

X ( + 1)
pois a serie acima e convergente. Assim, definindo K := , teremos que
2l(2l + 1)
l=k0
k1 ! k1
!
X ( + 1) ln(1 M ) X ( + 1) ln(1 M )
exp ln 1 exp exp K
2l(2l + 1) M 2l(2l + 1) M
l=k0 l=k0
j
a que, por (14.A.1), ln(1 M ) < 0.
Dessa forma, retornando a (14.A.2), temos que
N k0
k 1 N k1 !
X Y0
X ( + 1) X 1 X ( + 1)
c2k c2k = 1 exp ln 1
2l(2l + 1) 2k 2l(2l + 1)
k=2 k=2 l=1 k=k0 +1 l=k0
k 1 N
Y0
( + 1) ln(1 M ) X 1
1 exp K .
2l(2l + 1) M 2k
l=1 k=k0 +1
N N
X 1 X
Como o limite lim diverge, conclumos que lim c2k tambem diverge, completando a prova.
N 2k N
k=k0 +1 k=2
14.B Polin
omios de Legendre: Provando (14.14)
Vamos considerar apenas o caso em que m e par, pois o caso em que m e mpar pode ser tratado de forma totalmente
analoga. Temos que
m/2
!
X z 2k k1 Y
(0)
Pm (z) = c0 ym (z) = c0 2l(2l + 1) m(m + 1) ,
(2k)!
k=0 l=0
Como dissemos, a convencao e escolher c0 de modo que o coeficiente do mon

omio de maior grau do polinomio acima seja
(2m)!
2 (m!)
m 2 . Assim, devemos ter
m
1 !
1 2Y (2m)!
c0 2l(2l + 1) m(m + 1) = m ,
m! 2 (m!)2
l=0
atica Vers
ou seja,
m
1 !1
(2m)! 2Y
c0 = m 2l(2l + 1) m(m + 1) .
2 m!
l=0
Com isso !1
m/2 m
1
X z 2k (2m)! 2Y
Pm (z) = 2l(2l + 1) m(m + 1) .
(2k)! 2m m!
k=0 l=k
m
Facamos agora a mudanca de variavel k 2 k. Ficamos com
!1
2 1
m
m/2
X z m2k (2m)! Y
Pm (z) = 2l(2l + 1) m(m + 1) .
(m 2k)! 2m m!
k=0 l= m
2 k
m
Facamos ainda a mudanca de variavel l 2 l. Obtemos,
m/2 k
!1
X z m2k (2m)! Y
Pm (z) = (m 2l)(m 2l + 1) m(m + 1) .
(m 2k)! 2m m!
k=0 l=1
Entretanto,
(m 2l)(m 2l + 1) m(m + 1) = 2l(2m 2l + 1) ,
como facilmente se ve. Agora, com isso,
k
!1 k
!1
Y Y
(m 2l)(m 2l + 1) m(m + 1) = 2l(2m 2l + 1)
l=1 l=1
k
! k
!
k
Y 1 Y 1
= (1)
2l 2m 2l + 1
l=1 l=1
m
Y
(2m 2l + 1)
(1)k l=k+1
= m
(2k)!! Y
(2m 2l + 1)
l=1
m
(1)k Y
= (2m 2l + 1)
(2k)!! (2m 1)!!
l=k+1
mk
ll+k (1)k Y
= (2(m k) 2l + 1)
(2k)!! (2m 1)!!
l=1
(1)k
= (2(m k) 1)!! .
(2k)!! (2m 1)!!
Assim,
m/2
!
X (1)k z m2k (2m)! (2(m k) 1)!!
Pm (z) = .
2m (m 2k)! m! (2k)!! (2m 1)!!
k=0
atica Vers
Vale, porem,
!
(2m)! (2(m k) 1)!! (2m)! (2(m k) 1)!! (2(m k))!!
=
m! (2k)!! (2m 1)!! m! (2k)!! (2m 1)!! (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)!
ultima passagem, usamos que (2p)!! = 2p p! para todo p N0 . Com isso,

onde, na pen
m/2
X (1)k z m2k (2m 2k)!
Pm (z) = ,
2m (m 2k)! k! (m k)!
k=0
que e a expressao (14.14) para m par.

O caso em que m e mpar e analogo e e deixado como exerccio.
14.C Justificando os Polin

omios de Hermite
Tomaremos aqui z = x R e consideraremos apenas a serie
k1
(0) 2 X x2k Y
y (x) := 1 x (4l ) ,
2 (2k)!
k=2 l=1
com R mas 6= 2m para m um inteiro positivo par (o que faz da serie acima uma serie infinita), pois o tratamento
(1)
da serie y e identico.

Seja s > 1, arbitrario mas fixo, e escolhamos k0 > 2 tal que 1 4k0 > 1s . Note que se 0, isso e valido para
todo k0 > 2 enquanto que, se > 0, devemos tomar

s
k0 > max , 2 . (14.C.4)
4(s 1)
Escrevemos
k0 k1 k1
(0) 2 X x2k Y X x2k Y
y (x) := 1 x (4l ) (4l ) .
2 (2k)! (2k)!
k=2 l=1 k=k0 +1 l=1
f
E acil verificar que
k1 k1
X x2k Y X (k 1)! Y
(4l ) = 4k1 x2k 1
(2k)! (2k)! 4l
k=k0 +1 l=1 k=k0 +1 l=1
k0 1 ! X
k1
Y
1 Y k 2k (k 1)!
= 1 4 x 1 .
4 4l (2k)! 4l
l=1 k=k0 +1 l=k0
atica Vers
k1
X (k 1)! Y
Vamos agora nos concentrar na serie 4k x2k 1 . Pela escolha de k0 , sabemos que para l k0 ,
(2k)! 4l
k=k0 +1 l=k0
vale
1
1 1 >
4l 4k0 s
e, portanto,
k1
Y 1
1 > kk0 .
4l s
l=k0
Alem disso,
(2k)! = (2k)!! (2k 1)!! = 2k k! (2k 1)!! < 22k (k!)2 ,
pois

1 3
k 5 1
(2k 1)!! = (2k 1)(2k 3)(2k 5) 1 = 2 k k k < 2k k(k 1)(k 2) 1 .
2 2 2 2
Logo,
k1 k
X (k 1)! Y X 1 x2
4k x2k 1 > sk0
(2k)! 4l k(k!) s
k=k0 +1 l=k0 k=k0 +1
k
k0
X 1 x2
> s
(k + 1)! s
k=k0 +1
k+1
s X 1 x2
= sk0
x2 (k + 1)! s
k=k0 +1
k=k0 +1 k !
sk0 +1 2 X 1 x2
= ex /s
.
x2 k! s
k=0
2

(0)
Kex /s p(x)
Tudo isso mostra que y (x) e maior que , onde K e uma constante (que depende de , s e k0 ) e
x2
(0) 2
p(x) e um polinomio de grau 2k0 + 2 em x. Como s e arbitrario, vemos que o produto y ex /2 diverge para |x| ,
29
j
a que podemos escolher 1/s > 1/2, tomando 1 < s < 2.
No contexto do problema do oscilador harm onico na Mecanica Qu antica (vide Secao 20.7, p
agina 937) esse compor-
(0) x2 /2
tamento e inaceitavel, pois o produto y e representa uma funcao de onda, que deve ser de quadrado integravel em
(0)
R. Isso forca-nos a tomar = 2m com m um inteiro positivo e par, de modo a reduzir y (x) a um polinomio.
(1)
Para y (x) as consideracoes sao analogas e n
ao iremos repeti-las aqui.
14.D Polin
omios de Hermite: Provando (14.20)
Consideraremos apenas o caso em que m e par, pois o caso em que m e mpar e tratado analogamente. Para m par,
tem-se m

2 2k k1
X z Y
Hm (z) = (2)m/2 (m 1)!! 1 m z 2 2m (4l 2m) .
(2k)!
k=2 l=1
29 Por (0) 2
/2
(14.C.4), tomar s pr
oximo de 1 aumenta o grau do polin ao altera o fato que y (x)ex
omio p(x), mas n diverge para |x|
atica Vers
m
Fazendo a mudanca de variaveis k 2 k, teremos

2 2 2 k1
m m
X z m2k Y
Hm (z) = (2)m/2 (m 1)!! 1 m z 2 2m (4l 2m) .
(m 2k)!
k=0 l=1
Tem-se que
2 k1 2 k1
m m
Y Y
2 k1
m
(4l 2m) = (2) (m 2l)
l=1 l=1
2 1
m
Y
(m 2l)
2 k1
m l=1
= (2)
2 1
m
Y
(m 2l )
l = m
2 k
2 1
m
Y
(m 2l)
l m
2 l

2 k1
l=1 (m 2)!!
= (2) 2 k1
m m
= (2) .
k
Y (2k)!!
2l
l =1
Logo,

2 2
m
X z m2k (m 2)!!
(2)m/2 (m 1)!! 1 m z 2 2m (2) 2 k1
m
Hm (z) =
(m 2k)! (2k)!!
k=0
2 2
m
2
X (1)k m!
(2z)m2k
m
= (2) 2 (m 1)!! 1 m z +
(m 2k)! k!
k=0
m
2
X (1)k m!
= (2z)m2k , (14.D.5)
(m 2k)! k!
k=0
j
a que
(2p)! (2p)!! (2p 1)!!
m (m 1)!! (m 2)!! = m!, que (2k)!! = 2k k! e que = = 2p (2p 1)!! .
p! p!
A expressao (14.D.5) coincide com (14.20) para m par. O caso em que m e mpar e analogo e e deixado como exerccio.
14.E Porque deve ser um Inteiro Positivo na Equac

ao de
Laguerre
Justificaremos aqui por que consideramos um inteiro positivo na equacao de Laguerre. Temos dois casos a tratar: a.
< 0 e b. > 0 mas nao-inteiro. Em aplicacoes, especialmente na Mecanica Qu
antica, a variavel z e um n
umero real
positivo (uma coordenada radial). Vamos ent ao doravante tomar z real e positivo e escrever z = r > 0.
Se n
ao for um inteiro positivo a serie (14.139) acima e uma serie infinita. Podemos escrever
n1 n1 n1
Y
Y Y
(1)n ( l) = (l ) = (n 1)! 1 . (14.E.6)
l
l=0 l=1 l=1
atica Vers
Se < 0, a u
ltima expressao fica
n1
Y
||
||(n 1)! 1+
l
l=1
e "n1 #

X 1 Y ||
y1 (r) = 1 + || 1+ rn .
n=1
n(n!) l
l=1

1 1 ||
Agora, n > n+1 e 1+ l > 1. Assim,

X 1 || r
y1 (r) > 1 + || rn = 1 + (e 1 r) .
n=1
(n + 1)! r
Disso conclumos que y1 (r) cresce da ordem de er quando r . O problema com isso e que em varias aplicacoes
tal comportamento e indesejado. No problema do atomo de hidrogenio da Mecanica Qu antica, por exemplo, o produto
er/2 y1 (r) representa a funcao de onda radial de um eletron de momento angular nulo sob um potencial coulombiano30 .
Pelo visto acima, se < 0 a funcao de onda cresceria para r pelo menos como e+r/2 , n ao podendo, assim, ser
uma funcao de quadrado integravel em R3 , uma condicao fundamental ligada à interpretacao probabilstica da Mecanica
Qu antica. Assim, solucoes com < 0 devem ser descartadas nesse contexto.
Tratemos agora do caso em que e positivo, mas n
ao e um numero inteiro. Por (14.E.6), podemos escrever, para
n 1 2,
n1 21 n1
Y Y Y

(1)n ( l) = (n 1)! 1 1 ,
l l
l=0 l=1 l=2
onde e o menor inteiro maior ou igual a . Assim,

"n1 #
2 n1
X (1)n Y X 1 Y

y1 (r) = 1 + ( l) rn + L 1 rn ,
n=1
(n!)2 n (n!) l
l=0 n=2+1 l=2
com
21
Y
L := 1 .
l
l=1
n1
Y
A raz
ao de escrevermos essa expressao dessa forma reside no fato que, agora, 1 e um produto de termos
l
l=2
positivos, sendo que, para l 2 tem-se

1
l
onde
2 + ( ) 1
:= 1 = = > = .
2 2 2 2 2
30 Vide Seca
o 20.8, p
agina 939, ou qualquer bom livro de Mec
anica Qu
antica.
atica Vers
Com isso, para a u

ltima soma do lado direito vale

n1
Y
X 1 rn
X 1 n2 n
1 () r
n (n!) l n (n!)
n=2+1 l=2 n=2+1

X 1
= K (r)n
n (n!)
n=2+1

X 1
> K (r)n
(n + 1)!
n=2+1

K r
= e P (r)
r
2+1
X 1
onde K := 2
, P (r) := (r)n e um polinomio de grau 2 + 1 e > 1/2.
n=0
n!
Disso conclumos que para r , |y1 (r)| cresce mais rapido que er com > 1/2. Assim, um produto como
r/2
e y1 (r), que como dissemos representa a funcao de onda radial de um eletron de momento angular nulo sob um
potencial coulombiano, n ao e de quadrado integravel no espaco R3 , uma condicao fundamental ligada à interpretacao
probabilstica da Mecanica Qu antica. Assim, solucoes com > 0, mas nao-inteiro, devem tambem ser descartadas
nesse contexto.
14.F Polin
omios de Tchebychev: Obtendo (14.39) a Partir
de (14.36)(14.38)
" #
Qk1 2 2
Trataremos apenas o caso em que m e par e m 2, o caso mpar sendo analogo. O fator l=0 (2l) m que ocorre
em (14.36) pode ser reescrito da seguinte forma:
k1
" # k1
" #! k1
" #! k1
" #! k1
" #!
Y Y Y Y Y
2 2 k
(2l) m = 2l + m 2l m = (1) 2l + m m 2l
l=0 l=0 l=0 l=0 l=0
(2k 2 + m)!! m!!

= (1)k .
(m 1)!! (m 2k)!!
E. 14.32 Exerccio. Justifique! 6
Com isso e com a mudanca de variavel k = m/2 j, escrevemos

m/2
(0)
X (2m 2j 2)!! m!!
ym (z) = z m2j (1)m/2j .
j=0
(m 2j)! (2j)!! (m 1)!!
m!! (0)
O coeficiente do termo de maior grau (que corresponde a j = 0) e (1)m/2 2m1 m (m1)!! . Assim, multiplicando-se ym (z)
por (1)m/2 m (m1)!!
m!! para que o coeficiente do termo de maior grau torne-se 2m1 , obtemos
m/2
X (2m 2j 2)!!
Tm (z) = z m2j (1)j m .
j=0
(m 2j)! (2j)!!
atica Vers
Usando agora o fato que (2a)!! = 2a a!, a N, obtemos finalmente

m/2
X m (m j 1)!
Tm (z) = (2z)m2j (1)j ,
j=0
2 (m 2j)! j!
que e (14.39).

Solu C Oes de Equa C Oes Diferenciais Ordin Arias Complexas PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Solu C Oes de Equa C Oes Diferenciais Ordin Arias Complexas PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Captulo 14

Por vezes, omitiremos detalhes de c

y (z) + 02 y(z) = 0 , (14.3)

Inserindo-se (14.4) e (14.5) em (14.3), obtem-se

para todo n 0. A solucao dessa u

(1)k 02k (1)k 02k

Claramente, ambas as funcP portanto, legtimo procurarmos

onde, na penultima igualdade, fizemos a mudanca de variaveis n n 2 e, na u

onde, na penultima igualdade, fizemos a mudanca de variaveis n n 1 e, na u

Como (n 1)n + 2n = n(n + 1), obtemos o seguinte conjunto de equacoes

Essas expressoes fornecem as seguintes equacoes recursivas para os coeficientes cn :

Para C generico conclumos que a solucao geral da equacao de Legendre e da forma

que e um polinomio de grau 2n + 1 em z.

claro pela definicao acima que Pm e um polinomio de grau m e o coeficiente do mon

onde m/2 e o maior inteiro menor ou igual a m/2, ou seja,

A prova de (14.14) pode ser encontrada no Apendice 14.B, p

E. 14.1 Exerccio. Tente provar (14.14) sem ler o Apendice 14.B. 6

Figura 14.1: Os polinomios de Legendre P0 a P4 no intervalo [1, 1].

A soma II pode ser escrita como em (14.10) e, assim, (14.16) fica

Desta forma, chegamos `

De maneira compacta, podemos escrever isso da seguinte forma

A demonstracao pode ser encontrada no Apendice 14.D, p

E. 14.2 Exerccio. Tente mostrar isso sem ler o Apendice 14.D. 6

omios de Hermite. Os fatores (2)m/2 (m 1)!!

H0 (z) = 1 , H1 (z) = 2z , H2 (z) = 2 + 4z 2 , H3 (z) = 12z + 8z 3 ,

como facilmente se ve pela definicao acima.

y (z) 2zy (z) + 2my(z) = 0,

Inserindo-se (14.5) em (14.15), obtem-se

A expressao III pode ser escrita como

pela mudanca n n 1. Assim, a equacao de Airy diz-nos que

Com isso, devemos ter

{c3k+1 , k = 0, 1, 2, . . .} = {c1 , c4 , c7 , c10 , . . .}

{c3k+2 , k = 0, 1, 2, . . .} = {c2 , c5 , c8 , c11 , . . .}

As relacoes de recorrencia de (14.22) dizem-nos que

para todo k 0. Assim, a solucao geral da equacao de Airy e

Como 3k k! = (3k)!!! (por que?), podemos reescrever isso como

assim como a assim denominada f

E. 14.3 Exerccio. Usando (14.26) prove (14.24). 6

Com isso, podemos escrever a solucao (14.23) da equacao de Airy como

as quais sao denominadas func

Claramente, ambas as funcP portanto, legtimo procurarmos

Essas expressoes fornecem as seguintes equacoes recursivas para os coeficientes cn :

Para C generico conclumos que a solucao geral da equacao de Tchebychev e da forma

mpar. Esses polinomios sao

T0 (z) = 1 , T1 (z) = z , T2 (z) = 2z 2 1 , T3 (z) = 4z 3 3z .

valida para todo m = 0, 1, 2, 3, 4, . . ..

De (14.41) segue imediatamente a interessante propriedade de composicao

Tn (Tm (x)) = Tnm (x) , (14.42)

valida para todos n, m inteiros n

14.1.6 O Caso de Equac

y (z) + a(z)y (z) + b(z)y(z) = 0 (14.43)

E. 14.5 Exerccio. Mostre isso. 6

Assim, (14.45) fica

onde os coeficientes cn podem ser obtidos atraves das relac

a partir dos dois primeiros coeficientes c0 e c1 , arbitr

series estas supostas absolutamente convergentes em |z z0 | < r, para algum r > 0.

Com essas definic

z 2 y (z) + za(z)y (z) + b(z)y(z) = 0 (14.65)

Sob a luz do Teorema 13.4, p

Agora, com a mudanca de variavel n = n m ficaramos com

redefinindo cn := cn +m e = + m, ficaramos com

a equacao (14.65) fica

Usando novamente (14.46), isso fica