UNIVERSIDADE FEDERAL DO ESPRITO SANTO

CENTRO DE CINCIAS EXATAS

G. M. Sotkov e U. Camara dS
Notas de Funes Especiais
VITRIA
2010
Resumo
Em muitas oportunidades, durante o curso de Mecnica Quntica (e em qualquer curso
srio de fsica), voc se confrontar com vrias funes especiais, ao mesmo tempo em
que no so oferecidos cursos sobre o assunto durante a graduao. Assim, estas notas
1
,
auto-consistentes, foram feitas para auxiliar o aluno (voc mesmo) no desao de entender
um pouco sobre o micro-mundo da mecnica quntica. As funes especiais encontradas
aqui so: Gamma, Beta, Hipergeomtrica, Hipergeomtrica Conluente, os Polinmios de
Hermite, de Legendre e as Funes de Legendre Associadas. Damos nfase s proprieda-
des que sero teis no decorrer do curso: condies para as hipergeomtricas se tornarem
polinmios (importante no estudo dos nveis de energia de vrios potenciais) e expan-
ses assintticas das hipergeomtricas (vitais na obteno dos coecientes de reexo e
transmisso em espalhamentos unidimensionais e sees de choque em espalhamentos
tridimensionais). Tambm oferecemos vrios exerccios, todos com aplicaes na fsica
(mesmo que no apaream no curso de mec. quntica), com o objetivo de estimular o
aluno a se interessar mais pelo assunto. E temos trs apndices: No primeiro damos uma
pequena introduo sobre a Transformada de Fourier (essencial na Mec. Quntica) e a
funo Delta de Dirac, no segundo tratamos do problema de Sturm-Liouville e o ter-
ceiro dedicado obteno da segunda soluo independente duma equao diferencial
ordinria de segunda ordem quando j conhecemos uma soluo.
Basicamente todo o contedo dessas notas pode ser encontrado nas referncias bibliogr-
cas, a nica diferena est na ordem de exposio. Os livros, em geral, discutem as
funes hipergeomtricas e hipergeomtricas conuentes aps estudar os polinmios orto-
gonais e as Funes de Legendre Associadas. Ns fazemos exatamente o oposto, j que as
funes citadas no passam de casos particulares de hipergeomtricas e hipergeomtricas
conuentes. Com isso, entendemos que ao estudar os casos mais gerais no incio, o leitor
ter uma base slida para aprender, rapidamente, os casos particulares.
1
ainda em construo
Sumrio
1 Funes Gamma e Beta 1
1.1 Funo Gamma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Funo Beta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Relao entre a funo Gamma e funes trigonomtricas . . . . . . . . . . 5
1.4 Frmula de duplicao de Lagrange . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2 Funes Hipergeomtrica e Hipergeomtrica Conuente 10
2.1 Funo Hipergeomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1.1 Equao diferencial e soluo via srie de potncias . . . . . . . . . 10
2.1.2 Representao Integral . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.3 Relaes teis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1.4 Expanses Assintticas . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2 Funo Hipergeomtrica Conuente . . . . . . . . . . . . . . . . . . . . . . 18
2.2.1 Equao diferencial e soluo via srie de potncias . . . . . . . . . 18
2.2.2 Representao Integral . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2.3 Expanso Assinttica . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2.4 Hipergeomtrica conuente como um problema de Sturm-Liouville . 21
2.3 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3 Polinmios de Hermite 24
3.1 Denio via Funo Geratriz, Relaes de Recorrncia e a EDO de Hermite 24
3.2 Ortogonalidade e norma dos Polinmios de Hermite . . . . . . . . . . . . . 25
3.3 Relao com a funo Hipergeomtrica Conuente . . . . . . . . . . . . . . 27
3.4 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4 Funes de Legendre 30
4.1 Polinmios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.1.1 Funo Geratriz, Relaes de Recorrncia e Equao Diferencial . . 30
4.1.2 Ortogonalidade e norma dos polinmios de Legendre . . . . . . . . 32
4.1.3 Relao entre os polinmios de Legendre e a funo hipergeomtrica 34
4.1.4 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4.2 Funes de Legendre Associadas . . . . . . . . . . . . . . . . . . . . . . . . 36
4.2.1 Denio e equao diferencial . . . . . . . . . . . . . . . . . . . . . 36
4.2.2 Ortogonalidade e norma das Funes de Legendre Associadas . . . 38
4.2.3 O caso m < 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.3 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
A Transformada de Fourier e Delta de Dirac 42
A.1 Delta de Kronecker e Sries de Fourier . . . . . . . . . . . . . . . . . . . . 42
A.2 Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
A.3 Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
A.4 Transformada de Fourier em d dimenses e consequncias . . . . . . . . . . 47
B Problema de Sturm - Liouville 52
C Wronskiano e a segunda soluo independente 55
C.1 Wronskiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Referncias Bibliogrcas 59
1
Captulo 1
Funes Gamma e Beta
1.1 Funo Gamma
A funo Gamma () pode ser denida como a integral abaixo:
(z)

0
e
t
t
z1
dt ; 'e(z) > 0 (1.1)
Sua propriedade mais importante :
(1 + z) = z(z) (1.2)
Para provar, basta integrar a eq. (1.1) por partes
(1 + z) = e
t
t
z

t=
t=0
+ z

0
e
t
t
z1
dt = z(z)
Repare que (1) = 1, ento para z = n N, temos de (1.2) que: (1 + n) = n!. Ou seja,
(z) uma generalizao natural do fatorial. Outra quantidade importante (1/2).
(1/2) =

0
e
t
t

1
2
dt
t=u
2
= 2

0
e
u
2
du =

2
=(3/2) =
1
2
(1/2) =

2
; (5/2) =
3
2
(3/2) =
3

4
; . . . onde novamente usamos a eq.
(1.2).
A eq. (1.1) est denida na regio 'e(z) > 0, porm com uma continuao analtica,
pode-se denir a funo (z) em todo plano complexo, exceto nos seus pontos singulares
(que iremos descobrir).
Mas antes de prosseguir, vamos responder a pergunta que est na sua cabea (ou no): o
que uma continuao analtica?
A resposta ser dada em um exemplo muito parecido com o nosso, porm (provavelmente)
mais familiar ao leitor. Tenha a srie progresso geomtrica.
f(z) =

n=0
z
n
(1.3)
quando [z[ < 1, a srie converge para o valor:
f(z) =
1
1 z
(1.4)
Entretanto, a eq. acima est denida z = 1 e coincide com velha denio (1.3) para
[z[ < 1. Com isso, a eq. (1.4) fornece uma continuao analtica da eq. (1.3) para todo
plano complexo (exceto no plo simples em z = 1).
Agora, vamos usar a mesma lgica para encontrar uma denio mais abrangente da
funo . Comecemos rescrevendo a eq. (1.1) da seguinte forma:
(z) = lim
n

n
0

1
t
n

n
t
z1
dt
j que
1
lim
n

1
t
n

n
=

n=0
(1)
n
t
n
n!
e
t
1
o famoso limite fundamental que pode ser facilmente vericado via expanso binomial
3
com a troca de varivel u =
t
n
e integrando n vezes por partes
(z) = lim
n
n
z

1
0
(1 u)
n
u
z1
dt
= lim
n
n
z
n
z

1
0
(1 u)
n1
u
z
dt
= lim
n
n
z
n(n 1)
z(z + 1)

1
0
(1 u)
n2
u
z+1
dt
= lim
n
n
z
n(n 1)(n 2)
z(z + 1)(z + 2)

1
0
(1 u)
n2
u
z+2
dt
.
.
.
= lim
n
n
z
n(n 1)(n 2) . . . 1
z(z + 1)(z + 2) . . . (z + n 1)

1
0
(1 u)
nn
u
z+n1
dt
. .. .
=
1
z+n
logo:
(z) = lim
n
n!
z(z + 1)(z + 2) . . . (z + n)
n
z
(1.5)
Da mesma forma que nosso exemplo simples (eqs. (1.3) e (1.4)), a eq. (1.5) uma
continuao analtica da denio (1.1) que estende o domnio da funo (z) para todo
plano complexo, exceto nos pontos z = 0, 1, 2, . . ., onde a funo, claramente (pela eq.
(1.5)), possui plos simples. A eq. (1.5) pode ser encarada como uma denio da funo
(a mais geral possvel), seu problema ser de difcil manuseio
2
.
1.2 Funo Beta
A funo Beta denida como a seguinte combinao de funes Gammas:
B(a, b)
(a)(b)
(a + b)
(1.6)
2
uma propriedade que no difcil provar com essa frmula : (1 + z) = z(z). Prove!
4
Atravs da eq. (1.1), vamos derivar uma representao integral para a funo Beta.
(a)(b) =

0
e
x
x
a1
dx

0
e
y
y
b1
dy

; 'e(a), 'e(b) > 0

com a troca: x = u
2
; y = v
2
(a)(b) = 4

0
du

0
dve
(u
2
+v
2
)
u
2a1
v
2b1
u = r cos e v = r sin
= 4

0
e
r
2
r
2(a+b)1
dr
. .. .
1
2
R

0
e
t
t
a+b1
dt=
1
2
(a+b)

2
0
(cos )
2a1
(sin )
2b1
d

Levando representao integral de B(a, b):

B(a, b) = 2

2
0
(cos )
2a1
(sin )
2b1
d ; 'e(a), 'e(b) > 0 (1.7)
Formas Alternativas:
t = (cos )
2
em (1.7)
B(a, b) =

1
0
t
a1
(1 t)
b1
dt (1.8)
t = x
2
em (1.8)
B(a, b) = 2

1
0
x
2a1
(1 x
2
)
b1
dx (1.9)
t =
u
1+u
em (1.8)
B(a, b) =

0
u
a1
(1 + u)
a+b
du (1.10)
5
1.3 Relao entre a funo Gamma e funes trigono-
mtricas
B(, 1 )
()(1 )
(1)
....
=1
=

0
u
1
(1 + u)
du ; 0 < 'e() < 1 (1.11)
onde usamos a eq. (1.10)
Resoluo da integral:

0
x
1
(1+x)
dx ; 0 < 'e() < 1
Considere a funo f(z) =
z
1
1+z
; z C ; z = x + iy
A funo f(z) possui um plo simples em z = 1 e uma ramicao em z = 0. Iremos
calcular a integral:
I =

C
f(z)dz
onde o contorno C dado pela gura (1.1)

R
C
2
C
1
1
Re z
Imz
Figura 1.1: Contorno C
I =

x
1
1 + x
dx +

C
2
z
1
1 + z
+

e
2i
x

1
1 + e
2i
....
=1
x
dx +

C
1
z
1
1 + z
dz
= 2iRes

f(z)

z=1
= 2ie
i(1)
6
C
1
:

C
1
z
1
1 + z
dz ; z = e
i
=

2
0
i
e
i
1 + e
i
d

0 ( 0)
C
2
:

C
2
z
1
1 + z
dz ; z = Re
i
= R

2
0
i
e
i
1 + Re
i
d
1
R
1
0 (R )
No limite 0 e R
2ie
i(1)
=

1 e
2i(1)

0
x
1
1 + x
dx

0
x
1
1 + x
dx =
2i

e
i(1)
e
i(1)
=

sin ( 1)
=

sin
(1.12)
Substituindo (1.12) em (1.11) temos a relao desejada:
(z)(1 z) =

sin z
(1.13)
A eq. (1.13) foi derivada apenas para o intervalo 0 < 'e(z) < 1, porm a funo (1
z)(z) analtica em todo plano complexo (fora os plos em z Z). A funo

sin(z)
tambm analtica nessa regio. Como as funes coincidem na regio 0 < 'e(z) < 1,
podemos concluir que elas coincidem na regio comum de analiticidade. Portanto, a
frmula (1.13) vale para todo
3
z / Z.
Ela tambm pode ser escrita da seguinte forma:
(z)(z) =

z sin z
(1.14)
3
isso ocorre, devido ao fato da eq. ter sido derivada atravs da representao integral de (eq. (1.1)).
Se a derivssemos, por exemplo, via eq. (1.5) (o que possvel, mas muito mais trabalhoso), ela estaria
denida z / Z
7
No caso de z ser um imaginrio puro, i.e. z ix, com x R, temos uma outra importante
relao:
(ix)(ix) = [(ix)[
2
=

x sinh x
(1.15)
1.4 Frmula de duplicao de Lagrange
Para encerrarmos o captulo sobre funes Gamma e Beta, iremos derivar uma ltima
ralao, muito utilizada, entre as funes Gamma. Tenha:
B

z +
1
2
, z +
1
2

=
(z +
1
2
)
2
(2z + 1)
eq.(1.8)
=

1
0
t
z1/2
(1 t)
z1/2
dt = 2

1/2
0
t
z1/2
(1 t)
z1/2
dt
porque o integrando par em ralao ao ponto t =
1
2
. Com a troca 2t = 1

x
= 2
2z

1
0
x
1/2
(1 x)
z1/2
. .. .
eq.(1.8)
= B(1/2,z+1/2)=

(z+1/2)
(z+1)
ento:

(2z + 1) = 2
2z
(z + 1)(z + 1/2) (1.16)
que a frmula de duplicao de Lagrange. No caso particular de z = n N, a frmula
(1.16) fornece a relao:
(n + 1/2) =
(2n)!

2
2n
n!
(1.17)
1.5 Exerccios Propostos
(1) ngulo slido e volume de uma bola em d dimenses:
8
O elemento de volume d-dimensional em coordenadas esfricas dado por: d
d
x = d
d1
r
d1
dr,
onde d
d1
ngulo slido.
Prove que:
(a)

S
d1
d
d1
=
2
d/2
(d/2)
, onde S
d1
a esfera em (d 1)-dimenses.
(b) O volume da bola d-dimensional de raio R : V (B
d
) =
2
d/2
d(d/2)
R
d
.
Dica: use a igualdade:

d
=

e
x
2
dx

d
=

e
x
2
1
dx
1

. . .

e
x
2
d
dx
d

R
d
e

P
d
i=1
x
2
i
d
d
x
(2) Usando as eqs. (1.1) e (1.2), prove, via expanso de Taylor de (1 + z) em torno de
z = 0, a relao abaixo:
(z 0) =
1
z
+O(z) (1.18)
onde

0
e
t
ln(t)dt =
d
dz
(1 + z)

z=0
0.5772 (1.19)
a famosa constante de Euler.
A eq. (1.18) muito importante para o processo de renormalizao dimensional em teorias
qunticas de campos.
(3) Calcule a integral:

2
0
(sin )
2n+1
d, n N
(Resposta:
2
2n+1
(n!)
2
(2n+1)!
)
Dica: Identique a integral como uma funo Beta e use a eq. (1.17).
(4) Funo Digamma e mais sobre a constante de Euler:
A funo Digamma denida como a derivada logartmica de (z), i.e.
(z)
d
dz
ln (z) (1.20)
9
Usando a identidade (1 + z) = z(z) em conjunto com a eq. (1.5), demonstre que
(1 + z) = lim
n

m=1
1
m
ln n

l=1
z
l(z + l)
(1.21)
Obs.: (1) =
1
(1)
d
dz
(1 + z)

z=0
= pela eq. (1.19), logo tomando z = 0 no resultado
acima chegamos numa outra forma de escrever a constante de Euler:
= lim
n

m=1
1
m
ln n

(1.22)
A eq. (1.22) til para encontrarmos valores aproximados de de forma bem simples
(usando uma calculadora), basta xar um valor nito para n (quanto maior o valor esco-
lhido, melhor ser a aproximio)
4
.
(5) Denio alternativa para a funo Gamma:
Comeando da eq. (1.5), mostre que
1
(z)
= ze
z

m=1

1 +
z
m

z
m
(1.23)
onde dado pela eq. (1.22). A denio da funo como (1.23) chamada de denio
de Weierstrass.
4
por exemplo,
n=10
= 0.6263. O erro percentual de 8, 5.
10
Captulo 2
Funes Hipergeomtrica e
Hipergeomtrica Conuente
2.1 Funo Hipergeomtrica
2.1.1 Equao diferencial e soluo via srie de potncias
Tenha a seguinte equao diferencial ordinria (EDO) de segunda ordem
1
:
z(1 z)
d
2
y(z)
dz
2
+ [c (a + b + 1)z]
dy(z)
dz
aby(z) = 0 (2.1)
Tal equao invariante a permutao a b e singular
2
nos pontos z = 0, z = 1 e
z =
3
(todos regulares). Vamos procurar uma soluo via srie de potncias (Frobenius)
y(z) =

n=0
g
n
z
n+k
; k R ; g
0
= 0
1
no captulo 2, o argumento z ser considerado como real ou um imaginrio puro.
2
Uma EDO do tipo y

(z) + P(z)y

(z) + Q(z)y(z) = 0 singular no ponto z

0
se ao menos um dos
limites no bem denido:
lim
zz
0
P(z) , lim
zz
0
Q(z)
3
para mostrar a singularidade no innito, faa a troca u =
1
z
na eq. (2.1) e analise o comportamento
para u 0
11
O raio de convergncia da srie [z[ 1 para 'e(c a b) > 0 (a ser justicado)
y

(z) =

n=0
(k + n)z
k+n1
y

(z) =

n=0
(k + n 1)(k + n)z
k+n2
Substituindo em (2.1) e agrupando termo a termo:
k(k 1 + c)g
0
z
k1
+

n=0

(k + n + 1)(k + n + c)g
n+1
[(k + n)(k + n + a + b) + ab]g
n
z
n+k

= 0
como g
0
= 0 k(k + c 1) = 0 ou
k =

0
1 c
Caso k = 0:
Temos a relao de recorrncia:
g
n+1
=
(n + a)(n + b)
(n + 1)(n + c)
g
n
; c = 0, 1, 2, . . . (2.2)
Escolhendo g
0
= 1
y(z)
k=0
= 1 +
ab
c
z +
a(a + 1)b(b + 1)
c(c + 1)
z
2
2
+ . . .
ou
y(z)
k=0
=
(c)
(a)(b)

n=0
(a + n)(b + n)
(c + n)
z
n
n!

2
F
1
(a, b; c; z) (2.3)
pois, usando sucessivamente a eq. (1.2) chega-se igualdade:
a(a + 1)(a + 2) . . . a(a + n 1) =
(a + n)
(a)
(2.4)
12
A eq. (2.3) a famosa funo hipergeomtrica em sua representao de srie de potencias.
Propriedades importantes
(a) se a (ou b) N, ento:
g
a+1
=
(a + a)(a + b)
(a + 1)(a + c)
g
a
= 0 ; a N
logo
g
n
= 0 ; n > a (a N)

2
F
1
(N, b; c; z) um polinmio de grau N (N N). Utilizando o fato que:
((N n))
(N)
=
(N + n 1)!
(N 1)!
= (N + n 1)(N + n 2) . . . (N + n (n 1))(N)
= (1)
n
N(N 1)(N 2) . . . (N (n 2))(N (n 1))

(N n)!
(N n)!

= (1)
n
N!
(N n)!
(2.5)
o polinmio
2
F
1
(N, b; c; z) toma a forma:
2
F
1
(N, b; c; z) =
(c)
(b)
N

n=0
(1)
n
N!
(N n)!
(b + n)
(c + n)
z
n
n!
(2.6)
(b) se b = c
2
F
1
(a, b; b; z) =
1
(a)

n=0
(a + n)
n!
z
n
= 1 + az + (a + 1)a
z
2
2
+ (a + 2)(a + 1)a
z
3
3!
+ . . .
= (1 z)
a
(2.7)
que pode ser facilmente vericado expandindo (1 z)
a
em srie de Taylor em torno de
z = 0.
Caso k = 1 c:
13
A recorrncia ca:
g
n+1
=
(1 c + n)(1 + n + a + b c)
(2 c + n)(1 + n)
g
n
=
(n + a + 1 + c)(n + b + 1 c)
(n + 2 c)(1 + n)
g
n
; c = 2, 3, . . .
Assim, a segunda soluo tambm pode ser escrita em termos de uma hipergeomtrica:
y(z)
k=1c
= z
1c
2
F
1
(a + 1 c, b + 1 c; 2 c; z) (2.8)
A soluo geral da eq. (2.1)
4
:
y(z) = A
2
F
1
(a, b; c; z) + Bz
1c
2
F
1
(a + 1 c; b + 1 c; 2 c; z) ; c / Z (2.9)
onde A e B so constantes.
Observaes:
(1) Se 'e(c) > 1, ento a segunda soluo singular em z = 0, portanto se as condies
de contorno exigirem uma soluo nita em z = 0 B = 0 ('e(c) > 1).
(2) Assim como a eq. diferencial (2.1), a eq. (2.9) invariante a permutao a b.
2.1.2 Representao Integral
Vamos estudar representaes integrais para a funo hipergeomtrica que, em particular,
sero teis na seo (2.1.4), onde derivaremos as formas assintticas da hipergeomtrica.
Iniciando com a integral:
I =
(c)
(d)(c d)

1
0
2
F
1
(a, b; d; zt)t
d1
(1 t)
cd1
dt ; 'e(c) > 'e(d) > 0
4
no caso c Z, o mtodo de srie de potncias s fornece uma soluo. A explicao desse problema
e um mtodo alternativo para encontrar a segunda soluo independente encontram-se no apndice C
14
Substituindo a eq. (2.3) dentro da integral e invertendo a ordem da soma e integral
I =
(c)
(d)(c d)

(d)
(a)(b)

n=0
(a + n)
(b + n)(d + n)
z
n
n!

1
0
t
n+d1
(1 t)
cd1
dt
. .. .
eq.(1.8)
= B(n+d,cd)=
(n+d)(cd)
(n+c)

=
(c)
(a)(b)

n=0
(a + n)(b + n)
(c + n)
z
n
n!

2
F
1
(a, b; c; z)
Assim:
2
F
1
(a, b; c; z) =
(c)
(d)(c d)

1
0
2
F
1
(a, b; d; zt)t
d1
(1 t)
cd1
dt;
'e(c) > 'e(d) > 0 (2.10)
Essa uma representao integral de uma hipergeomtrica em termos de outra.
No caso particular d = b, ela assume uma forma mais simples. Da eq. (2.7) temos:
2
F
1
(a, b; c; z) =
(c)
(b)(c b)

1
0
t
b1
(1 t)
cb1
(1 zt)
a
dt; 'e(c) > 'e(b) > 0 (2.11)
que a representao integral usual da hipergeomtrica.
Vamos mostrar duas aplicaes simples da eq. (2.11).
Primeira: tomando z = 1 em (2.11):
2
F
1
(a, b; c; 1) =
(c)
(b)(c b)

1
0
t
b1
(1 t)
cab1
dt
. .. .
eq.(1.8)
= B(b,cab)=
(b)(cab)
(ca)
=
(c)(c a b)
(c a)(c b)
(2.12)
15
com
5
'e(c a b) > 0 e 'e(b) > 0.
Segunda: derivando a eq.
d
dz
2
F
1
(a, b; c; z) = a
(c)
(b)(c b)

1
0
t
b
(1 t)
cb1
(1 zt)
(a+1)
dt
=
ab
c
(1+c)
. .. .
c(c)
b(b)
. .. .
(1+b)
(c b)

1
0
t
(b+1)1
(1 t)
(c+1)(b+1)1
(1 zt)
(a+1)
dt
=
ab
c
2
F
1
(a + 1, b + 1; c + 1; z)
Repetindo o processo m vezes
d
m
dz
m
2
F
1
(a, b; c; z) =
[a(a + 1) . . . (a + m1)][b(b + 1) . . . (b + m1)]
c(c + 1) . . . (c + m1)
2
F
1
(a + m, b + m; c + m; z)
que pode ser escrito de uma forma mais elegante (via eq. (2.4))
d
m
dz
m
2
F
1
(a, b; c; z) =
(m + a)
(a)
(m + b)
(b)
(c)
(m + c)
2
F
1
(a + m, b + m; c + m; z) (2.13)
2.1.3 Relaes teis
(i) Da representao integral (2.11), temos:
2
F
1

a, c b; c;
z
1 z

=
(c)
(c b)(b)

1
0
t
cb1
(1 t)
b1

1 +
zt
1 z

a
dt
=
(c)
(c b)(b)
(1 z)
a

1
0
t
cb1
(1 t)
b1
(1 (1 t)z))
a
dt
agora faa a troca: 1 t = u
= (1 z)
a
(c)
(c b)(b)

1
0
u
b1
(1 u)
cb1
(1 + zu)
a
dt
= (1 z)
a
2
F
1
(a, b.c.z)
5
condio de vlidade da equao (1.8), justicando o raio de convergncia da srie de potncias
16

2
F
1
(a, b; c; z) = (1 z)
a
2
F
1

a, c b; c;
z
1 z

(2.14)
que relaciona valores da hipergeomtrica no intervalo [z[ < 1 (aonde vale a srie (2.3))
com valores fora desse intervalo. Assim, a eq. (2.14) uma continuao analtica da
funo hipergeomtrica.
(ii) Denindo y(z) = (1 z)
cab
(z).
y

(z) = (1 z)
cab
[(c a b)(1 z)
1
+

]
y

(z) = (1 z)
cab

(c a b)(c a b 1)(1 z)
2
2
(c a b)
1 z

Substituindo na eq. (2.1) e simplicando:

(1 z)
(cab)

z(1 z)

[c ((c a) + (c b) + 1)z]

(c a)(c b)

= 0
( z )
2
F
1
(c a, c b; c; z)
ou
2
F
1
(a, b; c; z) = const(1 z)
cab
2
F
1
(c a, c b; c; z)
Aplicando em z = 0 ca claro que const = 1, ou seja:
2
F
1
(a, b; c; z) = (1 z)
cab
2
F
1
(c a, c b; c; z) (2.15)
2.1.4 Expanses Assintticas
As equaes (2.14) e (2.15) em conjunto com a representao integral (2.10) so sucientes
para derivarmos os assintticos da funo hipergeomtrica quando:

(i) [z[
(ii) z 1
(2.16)
17
(i) [z[
colocando (2.14) dentro da integral (2.10):
2
F
1
(a, b; c; z) =
(c)
(d)(c d)

1
0
t
d1
(1 t)
cd1
(1 zt)
a
2
F
1

a, d b; d;
zt
1 zt

dt
[z[

2
F
1

a, d b; d;
zt
1 zt

2
F
1
(a, d b; d; 1) =
(d)(b a)
(b)(d a)
('e(b) > 'e(a))
Assim:
2
F
1
(a, b; c; z )
|z|

(c)(d)(b a)
(d)(c d)(b)(d a)

1
0
t
d1
(1 t)
cd1
(zt)
a
dt
=
(c)(b a)(z)
a
(c d)(b)(d a)

1
0
t
da1
(1 t)
cd1
dt
. .. .
eq.(1.8)
= B(da,cd)=
(da)(cd)
(ca)

2
F
1
(a, b; c; z )
|z|

(c)(b a)
(b)(c a)
(z)
a
; 'e(b) > 'e(a)
Sabemos que a funo hipergeomtrica simtrica em relao a permutao dos ndices a
e b, por outro lado, a expresso assinttica derivada no possui tal simetria. Isso natural,
j que ela foi derivada assumindo uma diferena entre esses ndices

'e(b) > 'e(a)
(z)
b
<(z)
a
, quando [z[ , ou seja, o termo simtrico de ordem O((z)
b
) no
aparece na expresso acima, pois desprezvel em relao ao termo de ordem O((z)
a
)).
O outro caso ('e(b) < 'e(a) (z)
b
(z)
a
, quando [z[ ) pode ser facilmente
derivado repetindo todos os clculos, porm permutando os ndices a e b no lado direito
das equaes. Agora o resultado :
2
F
1
(a, b; c; z)
|z|

(c)(a b)
(a)(c b)
(z)
b
; 'e(a) > 'e(b)
Levando-nos ao assinttico geral (para 'e(a) > 'e(b) ou 'e(a) < 'e(b)):
2
F
1
(a, b; c; z)
|z|

(c)(b a)
(b)(c a)
(z)
a
+
(c)(a b)
(a)(c b)
(z)
b
(2.17)
18
simtrico nos ndices a e b.
(ii) z 1
(a) 'e(c) > 'e(a + b)

2
F
1
(a, b; c; z)
z1

(c)(c b a)
(c a)(c b)
. .. .
2
F
1
(a,b;c;1)
+O(1 z)
(b) 'e(c) < 'e(a + b)
Agora, a hipergeomtica no denida ( singular) no ponto z = 1. Entretanto, a equao
(2.15) nos fornece a forma como a hipergeomtrica diverge. De (2.15) temos:
6
2
F
1
(a, b; c; z)
z1
(1 z)
cab
2
F
1
(c a, c b; c; 1) = (1 z)
cab
(c)(a + b c)
(a)(b)
No caso geral temos ('e(c) > 'e(a + b) ou 'e(c) < 'e(a + b)):
2
F
1
(a, b; c; z)
z1

(c)(c b a)
(c a)(c b)
+ (1 z)
cab
(c)(a + b c)
(a)(b)
(2.18)
que o resultado procurado (simtrico nos ndices a e b).
2.2 Funo Hipergeomtrica Conuente
2.2.1 Equao diferencial e soluo via srie de potncias
Com as trocas z z e b 1/, a eq. (2.1) ca:
z(1 z)y(z)

+ [c (a +
1
1)z]y(z)

ay(z) = 0
Tomando o limite 0 temos a EDO hipergeomtrica conuente:
zy

(z) + (c z)y

(z) ay(z) = 0 (2.19)

6
2
F
1
(c a, c b; c; 1) existe, pois 'e(c) < 'e(a + b) (ver equao (2.12))
19
De forma anloga, a funo hipergeomtrica conuente (uma das solues da equao
acima) denida como:
1
F
1
(a; c; z) lim
0
2
F
1
(a, 1/; c; z)
= lim
0
(c)
(a)

n=0
(a + n)
(c + n)
(z)
n
n!
(1/ + n)
(1/)
. .. .
1

n
(1+)(1+2)...(1+(n1))

1
F
1
(a; c; z) =
(c)
(a)

n=0
(a + n)
(c + n)
z
n
n!
; c = 0. 1, 2, . . . (2.20)
que a funo hipergeomtrica conuente em sua representao de srie de potncias.
A segunda soluo independente de (2.19) pode ser obtida da mesma forma:
lim
0
(z)
1c
2
F
1
(1 + a c, 1/ + 1 c; 2 c; z) = z
1c
1
F
1
(1 + a c; 2 c; z)
Soluo geral de (2.19)
7
y(z) = A
1
F
1
(a; c; z) + Bz
1c
1
F
1
(1 + a c; 2 c; z); c / Z (2.21)
onde A e B so constantes.
Observaes:
(i) A eq. (2.19) singular nos pontos z = 0 (regular) e z = (irregular
8
). A singularidade
no formada pela conuncia de duas singularidades, regulares, da hipergeomtrica
(pontos z = 1 e z = ).
(ii) A hipergeomtrica conuente um polinmio de grau N se a = N N. E com a
ajuda da eq. (2.5) o polinmio pode ser escrito como:
1
F
1
(N; c; z) =
N

n=0
(1)
n
N!
(N n)!
(c)
(c + n)
z
n
n!
(2.22)
7
no caso c Z, recamos na nota de rodap da pg. 13.
8
ver prximo pargrafo
20
(iii)
1
F
1
(a; a; z) =

0
z
n
n!
= e
z
2.2.2 Representao Integral
Fazendo b
1
e z z em (2.10) e tomando o limite 0
1
F
1
(a; c; z) =
(c)
(d)(c d)

1
0
1
F
1
(a; d; zt)t
d1
(1 t)
cd1
dt; 'e(c) > 'e(d) > 0(2.23)
Para d = a, temos a representao integral da hipergeomtrica conuente usualmente
encontrada na literatura:
1
F
1
(a; c; z) =
(c)
(a)(c a)

1
0
e
zt
t
a1
(1 t)
ca1
dt; 'e(c) > 'e(a) > 0 (2.24)
2.2.3 Expanso Assinttica
Da eq. (2.24) iremos achar o comportamento da funo hipergeomtrica conuente para
[z[ .
1
F
1
(a; c; z) =
(c)
(a)(c a)

1
0
e
zt
t
a1
(1 t)
ca1
dt
com a troca u = tz
1
F
1
(a; c; z) =
(c)
(a)(c a)
(z)
a

0
e
u
u
a1

1 +
u
z

ca1
du
. .. .
(I)
+

e
u
u
a1

1 +
u
z

ca1
du
. .. .
(II)

(I): [z[
(I)

0
e
u
u
a1
du = (a)
21
(II):
(II) =

z
0
e
u

1 +
u
z

u
a1
du
v=u+z
=

e
zv

v
z

ca1
(v z)
a1
dv
(II)
|z|
e
z
z
ac+1
(z)
a1

0
e
v
v
ca1
dv = e
z
z
ac+1
(z)
a1
(c a)
Assim:
1
F
1
(a; c; z)
|z|

(c)
(c a)
(z)
a
+
(c)
(a)
e
z
z
ac
(2.25)
que o resultado desejado
9
.
2.2.4 Hipergeomtrica conuente como um problema de Sturm-
Liouville
Vamos aplicar a lgica desenvolvida no apndice B funo hiperg. conuente. Primeiro,
rescrevemos a eq. (2.19) na forma Auto-Adjunta:

z
c
e
z
y

= a(z
c1
e
z
)y(z)
Comparando com a eq. (B.3) (ver apndice), temos: p(z) = z
c
e
z
, q(z) = 0, (z) =
z
c1
e
z
e
n
= a. A eq. hiperg. conuente uma eq. de auto-valores, sendo a o auto
valor. Se 'e(c) > 0 p(z = 0) = p(z ) = 0, ento nosso espao CP o das funes
continuas por partes (ver apndice A) com z [0, ), onde os vetores y
a
e y
a
(a = a

)
so ortogonais em relao ao produto interno (B.5), i.e.

0
z
c1
e
z
1
F
1
(a; c; z)
1
F
1
(a

; c; z) = 0, a = a

, 'e(c) > 0 (2.26)

9
repare que a eq. (2.25) cresce exponencialmente, por isso a singularidade no inito irregular
(essencial)
22
2.3 Exerccios Propostos
(1) Resolva a eq. (2.19) atravs do mtodo de Frobenius (srie de potncias), chegando
eq. (2.20).
(2) Integral elptica completa de primeiro tipo e o perodo do pndulo:
(a) A integral elptica completa de primeiro tipo denida como
k(m) =

1
0
dt
(1 t
2
)
1
2
(1 mt
2
)
1
2
, [m[ < 1. (2.27)
Comparando com a forma integral (2.11) da funo hipergeomtrica, demonstre a igual-
dade:
k(m) =

2
2
F
1

1
2
,
1
2
; 1; m

(b) O perodo de oscilao de um pndulo dado pela integral:

T = 4

l
2g

M
0
d

cos cos
M
onde l o comprimento do pndulo, g a acelerao gravitacional e
M
o ngulo mximo
de oscilao (ponto de retorno). Com a troca sin

2
= sin

M
2
sin e usando a eq. (2.27),
chegue em:
T = 4

l
g
k

sin
2

= 2

l
g

1 +
1
4
sin
2

+
9
64
sin
4

+O

sin
6

(3) A denio da funo Gamma Incompleta

10
:
(z, x)

x
0
e
t
t
z1
dt = 2

x
0
e
u
2
u
2z1
du, x, 'e(z) > 0 (2.28)
10
A funo Gamma (completa) dada pelo limite (z, x ) = (z)
23
Atravs da representao integral (2.24), verique a igualdade:
(z.x) =
x
z
z
1
F
1
(z; z + 1; x) (2.29)
(4) A funo Beta Incompleta denida como
11
:
B(a, b)
x

x
0
t
a1
(1 t)
b1
dt, 0 < x 1 'e(a), 'e(b) > 0 (2.30)
(a) Demonstre a seguinte srie de Taylor:
(1 t)
b1
=

n=0
(1 b + n)
(1 b)
t
n
n!
(b) Substitua o resultado da letra (a) na denio de B(a, b)
x
, inverta a ordem da soma
e integral e integre para obter o resultado:
B(a, b)
x
= x
a

n=0
(1 b + n)
(1 b)
x
n
n!(n + a)
(c) Comparando com a srie (2.3), chegue igualdade
B(a, b)
x
=
x
a
a
2
F
1
(a, 1 b; a + 1; x) (2.31)
(5) Utilizando as representaes intergrais da hipergeomtrica e da hipergeomtrica con-
uente (eqs. (2.3) e (2.20)), demonstre a frmula:

0
e
t
t

1
F
1
(; ; kt) =
( + 1)

+1
2
F
1

, + 1; ;
k

(2.32)
que serve, por exemplo, para normalizar os auto-estados de energia do potencial de Morse
unidimensional.
11
a funo Beta completa corresponde ao caso particular B(a, b)
x=1
24
Captulo 3
Polinmios de Hermite
3.1 Denio via Funo Geratriz, Relaes de Recor-
rncia e a EDO de Hermite
Uma tima forma de denir os polinmios de Hermite (H
n
(u)) como os coecientes da
srie de potncias da seguinte funo geratriz
g(z, u) e
z
2
+2zu
=

n=0
z
n
n!
H
n
(u) (3.1)
Tal denio til, pois possibilita a derivao de relaes de recorrncia entre os polin-
mios de forma muito simples. Aplicando

z
na eq. acima:
g
z
= (2z + 2u)g =

n=1
z
n1
(n 1)!
H
n
(u) =

n=0
z
n
n!
H
n+1
(u)
(2uH
0
H
1
)z
0
+

n=0
(2uH
n
2nH
n1
H
n+1
)
z
n
n!
= 0
nos levando a relao de recorrncia:
2uH
n
2nH
n1
= H
n+1
, n = 0, 1, 2, . . . (3.2)
25
que permite a obteno de qualquer H
n
(u) conhecendo apenas H
0
. Como g(0, u) = 1,
temos que H
0
(u) = 1. Logo, os primeiros polinmios podem ser facilmente encontrados
via eq. (3.2):
H
0
(u) = 1; H
1
(u) = 2u; H
2
(u) = 2(2u
2
1); H
3
(u) = 12u

2
3
u
2
1

. (3.3)
Agora, vamos derivar a funo geratriz em relao varivel u para encontrar outra
recorrncia:
g
u
= 2zg =

n=0
z
n
n!
H

n
(u)
2

n=0
z
n+1
n!
H
n
(u) = 2n

n=1
z
n
n!
H
n
(u) =

n=0
z
n
n!
H

n
(u)
H

n
= 2nH
n
(u) (3.4)
Derivando a eq. (3.4) e usando a eq. (3.2) chegamos EDO de Hermite:
H

n
(u) 2uH

n
(u) + 2nH
n
(u) = 0 (3.5)
Os polinmios de Hermite s representam uma das solues dessa eq. diferencial de
segunda ordem. A outra soluo (que no um polinmio) ser discutida na seo (3.3).
3.2 Ortogonalidade e norma dos Polinmios de Hermite
Seguindo o mtodo desenvolvido no apndice B, iremos mostrar que os polinmios de
Hermite so vetores ortogonais
1
do espao vetorial das funes contnuas por partes (ver
apndice A) com o argumento u R (na verdade eles formam uma base desse espao
vetorial). Para isso, vamos rescrever a eq. (3.5) na forma Auto-Adjunta:

e
u
2
H

n
(u)

= 2ne
u
2
H
n
(u)
1
em relao a um produto interno a ser denido
26
ou seja, a EDO de Hermite uma eq. de auto-valores. Comparando com a eq. geral
(B.3), temos que p(x) = (x) = e
u
2
( 0, quando u ), q(x) = 0 e
n
= 2n.
Substituindo em (B.5):
(H
n
, H
m
)

e
u
2
H
n
(u)H
m
(u)du = 0, n = m
Alm da ortogonalidade, tambm precisamos da norma do vetor (para normalizar a funo
de onda do oscilador harmnico), i.e. de
(H
n
, H
n
) =

0
e
u
2
H
n
(u)
2
du A
n
Com a ajuda da ortogonlidade e da eq. de recorrcia (3.2), calcular tal norma ser uma
tarefa bem simples, vamos ela! Pela eq. acima tm-se que:
2nA
n1
=

0
e
u
2
(2nH
n1
)H
n1
du
eq. (3.2)
=

0
e
u
2
(H
n+1
+ 2uH
n
)H
n1
=

e
u
2
H
n
(2uH
n1
)du
eq.(3.2)
=

e
u
2
H
n
(H
n
+ 2(n 1))H
n2
=

e
u
2
H
2
n
du = A
n
A
n+1
= 2(n + 1)A
n
(3.6)
A eq. (3.6) relaciona as normas dos polinmios H
n
e H
n+1
, logo s precisamos calcular
(H
0
, H
0
) A
0
=

e
u
2
du =

para conhecer qualquer A

n
.
A
1
= 2A
0
= 2

, A
2
= 2
2
2

, A
3
= 2
3
3!

. . .
A
n
= 2
n
n!

,
ou seja:
(H
n
, H
m
) =

0
e
u
2
H
n
(u)H
m
(u)du = 2
n
n!

nm
(3.7)
27
3.3 Relao com a funo Hipergeomtrica Conuente
At aqui, discutimos as principais propriedades dos polinmios de Hermite exatamente
da mesma forma que o leitor pode encontrar em qualquer livro de fsica matemtica ou
mec. quntica (ver referncias bibliogrcas). Entretanto, o que no muito discutido na
literatura que quando vamos resolver a eq. de Schrdinger para o oscilador harmnico
no chegamos imediatamente eq. diferencial (3.5), mas sim eq..
H

(u) 2uH

(u) + 2H

(u) = 0 (3.8)
com (a priori) >
1
2
. Ento, por que nos interessamos tanto pelo caso = n =
0, 1, 2, . . .? E qual o paradeiro da segunda soluo independente desta eq. diferencial de
segunda ordem? As respostas para essas perguntas esto na relao entre a funo H

e a
hiperg. conuente, juntamente com a condio de contorno imposta pela mec. quntica.
Tal relao pode ser facilmente obtida com a troca x = u
2
que transforma a eq. (3.8) em:
x
d
2
H

(x)
dx
2
+

1
2
x

dH

(x)
dx
+

2
H

(x) = 0
que a EDO hiperg. conuente para a =

2
, c =
1
2
, cuja soluo dada pela eq. (2.20),
i.e.
H

(u) = A
1
F
1

2
;
1
2
; u
2

+ B

u
1
F
1

( 1)
2
;
3
2
; u
2

(3.9)
Quando u , H

(u) cresce exponencialmente ( e

u
2
), devido eq. (2.25). Por outro
lado, a mec. quntica impe uma condio de contorno sobre a soluo. exigido que a
integral
(H

, H

) =

0
e
u
2
H

(u)
2
du
28
convirja. Isso s possvel se H

for um polinmio
2
(
1
F
1
(n; c; u
2
), n N). Entretanto,
repare que impossvel as duas solues independentes serem polinmios ao mesmo tempo.
Se = n = 0, 2, 4, . . ., devemos tomar B
n
= 0 para H
n
(u) ser um polinmio e se = n =
1, 3, 5, . . . A
n
quem deve ser nulo. Em suma temos:
H
n
(u)

(1)
n
2
n!
(
n
2
)!
1
F
1

n
2
;
1
2
; u
2

, n = 0, 2, 4, . . .
(1)
n1
2
2(n!)
(
n1
2
)!
u
1
F
1

n1
2
;
3
2
; u
2

, n = 1, 3, 5 . . .
(3.10)
onde as constantes foram ajustadas para as eqs. (3.2) e (3.10) coincidirem
3
. O estudo
desta seo explica o porqu de n = 0, 1, 2, . . . (justicando a quantizao da energia
do oscilador) e o motivo de s utilizarmos uma das solues da EDO de Hermite.
3.4 Exerccios Propostos
(1) Derivao alternativa da eq. (3.9):
Faa a troca H

(u(x)) =

xW(x) (onde x = u
2
) na eq. (3.8), encontre a eq. diferencial
para W(x) (uma hipergeomtrica conuente) e chegue novamente em (3.9).
(2) Frmula de Rodrigues
Uma outra forma de denir os polinmios de Hermite atravs da frmula de Rodruigues:
H
n
(u) (1)
n
e
u
2 d
n
dx
n
e
u
2
(3.11)
Verique que para os valores de n = 0, 1, 2 e 3 ela coincide com a eq. (3.3).
(3) Expanso de uma funo em termos dos polinmios de Hermite
(a) Seja F(u) uma funo contnua por partes (ver apndice A), com u R. Supondo
que F(u) possa ser expandida em termos dos polinmios de Hermite
F(u) =

n=0
C
n
H
n
(u) (3.12)
2
j que nenhuma combinao linear das duas solues pode cancelar os termos divergentes.
3
compare com a eq. (3.3)
29
mostre (com a ajuda da eq. (3.7)) que
C
n
=
1
2
n
n!

e
u
2
F(u)H
n
(u)du (3.13)
(b) Prove a chamada relao de completude (ver eq. (B.8)):
e
u
2
(u u

) =

n=0
H
n
(u)H
n
(u

)
2
n
n!

(3.14)
30
Captulo 4
Funes de Legendre
4.1 Polinmios de Legendre
4.1.1 Funo Geratriz, Relaes de Recorrncia e Equao Dife-
rencial
Os polinmios de Legendre (P
l
(x)) podem ser denidos atravs da seguinte funo geratriz:
g(x, t)
1

1 2xt + t
2
=

l=0
P
l
(x)t
l
, 0 t < 1, 1 x 1 (4.1)
Como g(x, 0) = 1, ento P
0
(x) = 1. O que ser suciente para conhecermos todos
os polinmios P
l
(x), assim que derivarmos algumas relaes de recorrncia. Para isso,
comearei aplicando

t
em (4.1)
g(x, t)
t
=
x t
(1 2tx + t
2
)
1/2
(1 2tx + t
2
)
=

l=0
lP
l
(x)t
l1
ll+1
=

l=0
(l + 1)P
l+1
(x)t
l
eq.(4.1)
(x t)

l=0
P
l
(x)t
l
= (1 2xt + t
2
)

l=0
(l + 1)P
l+1
(x)t
l
31
Agrupando os termos em potncias de t
(xP
0
P
1
)t
0
+ (3xP
1
P
0
2P
2
)t +

l=2
[(2l + 1)xP
l
(l + 1)P
l+1
lP
l1
]t
l
= 0
levando relao
(l + 1)P
l+1
= (2l + 1)xP
l
lP
l1
, l = 0, 1, . . . (4.2)
Os polinmios P
l
(x) podem ser facilmente derivados, para qualquer l, via eq. (4.2),
sabendo que P
0
(x) = 1 (como j havamos adiantado). Os primeiros termos so:
P
0
(x) = 1, P
1
(x) = x, P
2
(x) =
1
2
(3x
2
1),
P
3
(x) =
1
2
(5x
3
3x), P
4
(x) =
1
8
(35x
4
30x
2
+ 3) (4.3)
Outras relaes de recorrncia, agora relacionando derivadas de P
l
(x), resultam da dife-
renciao da funo geratriz (4.1) com relao x (P

l

dP
l
(x)
dx
).
g(x, t)
x
=
t
(1 2xt + t
2
)

l=0
P
l
t
l
=

l=0
P

l
(x)t
l

l=1
P
l1
t
l
=

l=0
P

l
t
l
2x

l=0
P

l1
t
l
+

l=2
P

l2
t
l
0 = P

0
t
0
+ (P

1
2xP

0
P
0
)t +

l=2
(P

l
+ P

l2
2xP

l1
P
l1
)t
l
A igualdade s verdadeira se cada potncia for nula, ou seja:
P

0
(x) = 0, P

1
(x) = 1
P

l+1
(x) + P

l1
(x) = 2xP

l
(x) + P
l
(x), l 1 (4.4)
Vamos efetuar a seguinte operao: 2
d
dx
[eq. (4.2)](2l + 1)[eq. (4.4)]. Aps um pequeno
trabalho algbrico
(2l + 1)P
l
(x) = P

l+1
(x) P

l1
(x) (4.5)
32
Combinaes das eqs. (4.4) e (4.5) fornecem vrias relaes interessantes. Por exemplo,
eq. (4.4)+ eq. (4.5) (com l l 1)
P

l
= xP

l1
+ lP
l1
(4.6)
e x

eq. (4.4)eq. (4.5)

xP

l1
= x
2
P

l
lxP
l
(4.7)
Atravs dessas relaes, vou derivar a eq. diferencial de segunda ordem, cujo polinmio
P
l
(x) uma das solues. Somando (4.6) e (4.7)
(1 x
2
)P

l
= lP
l1
lxP
l
derivando
(1 x
2
)P

l
2xP

l
= lP

l1
. .. .
eq.(4.7)
= l(xP

l
lP
l
)
lP
l
lxP

l
assim, terminamos com a seguinte eq. diferencial de segunda ordem (onde s aparece P
l
)
(1 x
2
)P

l
(x) 2xP

l
(x) + l(l + 1)P
l
(x) = 0 (4.8)
que a eq. de Legendre. A outra soluo da eq. (4.8) ser discutida daqui a pouco (seo
(4.1.3)).
4.1.2 Ortogonalidade e norma dos polinmios de Legendre
trivial ver que pode-se rescrever a eq. (4.8) como
((1 x
2
)P

l
)

= l(l + 1)P
l
33
i.e., temos uma eq. de auto-valores (ver apndice B), onde (x) = 1, q(x) = 0 e p(x) =
1 x
2
p(1) = p(1) = 0. Logo os polinmios P
l
so ortogonais em relao ao seguinte
produto interno
(P
l
, P
m
) =

1
1
P
l
(x)P
m
(x)dx = 0, l = m
A norma (P
n
, P
n
) facilmente calculada atravs da eq. (4.2) e da ortogonalidade. Primeiro
faa l l 1 em (4.2), ento multiplique-a por P
l
(x) e integre:
(P
l
, P
l
) =

1
1
P
l
(x)
2
dx =
1
l

1
1
P
l
(x)

(2l 1)xP
l1
(x) (l 1)P
l2
(x)

=
(2l 1)
l

1
1
xP
l
(x)P
l1
(x)dx
onde a ortogonalidade foi usada.
Agora multiplique a eq. (4.2) por P
l1
e integre:
(P
l1
, P
l1
) =

1
1
P
2
l1
=
1
l

1
1
P
l1
(x)

(2l + 1)xP
l
(l + 1)P
l+1

=
(2l + 1)
l

1
1
xP
l1
(x)P
l
(x)dx
Comparando as eqs.
(P
l
, P
l
) =
2l 1
2l + 1
(P
l1
, P
l1
)
Sabendo que
(P
0
, P
0
) =

1
1
dx = 2 (P
1
, P
1
) =
1
3
2 , (P
2
, P
2
) =
3
5
1
3
2, . . . ,
(P
l
, P
l
) =

2l 1
2l + 1

2l 3
2l 1

2l 5
2l 3

. . .

1
3

2 =
2
2l + 1
Levando forma nal
(P
l
, P
m
) =

1
1
P
l
(x)P
m
(x)dx =
2
2l + 1

lm
(4.9)
34
4.1.3 Relao entre os polinmios de Legendre e a funo hiper-
geomtrica
Faa a troca y =
1x
2
(x = 2y + 1) na eq. diferencial de Legendre (4.8). Aps uma
pequena lgebra
y(1 y)
d
2
dy
2
P
l
(y) + (1 2y)
d
dy
P
l
(y) + l(l + 1)P
l
(y) = 0
Uma rpida comparao com a eq. (2.1) mostra que a eq. acima uma hipergeomtrica
com os parmetros a = l (como deve ser para a hipergeomtrica ser um polinmio),
b = l + 1 e c = 1. J que c = 1 Z, a segunda soluo independente singular no ponto
y = 0 (x = 1)
1
. Sendo P
l
(1) = 1 (ver exerccio (1) deste pargrafo) e
2
F
1
(a, b; c; 0) = 1, a
relao entre essas funes ca
P
l
(x) =
2
F
1

l, l + 1; 1;
1 x
2

(4.10)
Queremos deixar claro que a segunda soluo da eq. (4.8) existe, mas pela relao com
a eq. diferencial hipergeomtrica ca claro (pois c = 1 Z) que ela no um polinmio
e diverge em y = 0 (x = 1) (da forma ln y, y 0, como mostrado no apndice C). Em
praticamente todas as aplicaes fsicas exige-se a regularidade de P
l
(x) no ponto x = 1
(y = 0), assim essa segunda soluo descartada.
Outro comentrio digno de nota que na Mecnica Quntica (e quase todas as outras
aplicaes fsicas
2
) a eq. (4.8) no aparece (a priori ) com l = 0, 1, 2, . . ., mas sim com
l = > 0. A discretizao de l uma imposio que ocorre quando as condies de
contorno do problema exigem regularidade da soluo no ponto x = 1 (y = 1), j que
pela eq. (2.12)
2
F
1
(l, l +1; 1; 1) (0) (plo simples), pois c = a+b = 1, a menos
que a hipergeomtrica seja um polinmio
3
.
1
ver apndice C
2
existem excees, principalmente no eletromagnetismo.
3
um polinmio no pode divergir num valor nito. Alm disso, a M.Q. exige que

1
1
(P

(x))
2
< o
que no seria possvel se P

(1) fosse um plo simples

1
1
(P

(x))
2
dx

1
1
(1x)
2
dx
1
1x
, x 0.
35
4.1.4 Exerccios Propostos
(1) Usando a eq. (4.1) no ponto x = 1, mostre que P
l
(1) = 1 l = 0, 1, 2, . . .
(2) Frmula de Rodrigues:
Uma denio alternativa para os polinmios de Legendre :
P
l
(x) =
1
2
l
l!
d
l
dx
l
(x
2
1)
l
(4.11)
Verique que os primeiros termos coincidem com a eq. (4.3).
(3) Paridade dos Polinmios de Legendre: novamente com a ajuda da eq. (4.1), demonstre
a igualdade
P
l
(x) = (1)
l
P
l
(x) (4.12)
(4) Prove a relao (basta usar a funo geratriz (4.1))
1
[r

r[
=
1
r

l=0
P
l
(cos )

r
r

l
, r < r (4.13)
onde cos =
r.

r
|r||

r|
. A eq. acima muito til no eletromagnetismo, em especial na expanso
multipolar (ver nal do apndice A).
(5) Expanso de uma funo em termos dos polinmios de Legendre
(a) Seja F(x) uma funo contnua por partes denida no intervalo x [1, 1]. Supondo
que F(x) possa ser expandida em termos dos polinmios de Legendre
F(x) =

l=0
C
l
P
l
(x) (4.14)
mostre (com a ajuda da eq. (4.9)) que
C
l
=
2l + 1
2

1
1
F(x)P
l
(x)dx (4.15)
(b) Prove a chamada relao de completude (ver eq. (B.8)):
(x x

) =

l=0
(2l + 1)
2
P
l
(x)P
l
(x

), 1 < x, x

< 1 (4.16)
36
4.2 Funes de Legendre Associadas
4.2.1 Denio e equao diferencial
A denio das Funes de Legendre Associadas
P
m
l
(x) = (1 x
2
)
m/2
d
m
dx
m
P
l
(x), l m l (4.17)
A eq. acima fornece alguns resultados importantes de imediato. Um que
P
m
l
(1) = P
m
l
(1) = 0 (4.18)
outro a paridade de P
m
l
(x). Fazendo x x na denio acima mais a ajuda da eq.
(4.12):
P
m
l
(x) = (1)
l+m
P
m
l
(x) (4.19)
Tambm evidente que P
m
l
(x) = 0 se m > l (explicando parte da restrio sobre os
valores de m), pois P
l
(x) um polinmio de grau l, logo, se o derivarmos mais de l vezes o
resultado ser zero. J a outra restrio (l < m) necessria, pois a denio (4.17) no
faz sentido para esses valores de m < l. Na verdade, vamos considerar, por enquanto,
apenas m > 0, mais frente ser mostrado que existe uma relao entre P
m
l
(x) e P
m
l
(x),
i.e. suciente nos restringirmos ao caso m > 0.
Pela denio (4.17) mais a eq. (4.3) ca fcil derivar algumas das Funes de Legendre
Associadas:
l = 1 : P
1
1
(x) = (1 x
2
)
1/2
(4.20)
l = 2 : P
1
2
(x) = 3x(1 x
2
)
1/2
, P
2
2
(x) = 3(1 x
2
)
l = 3 : P
1
3
(x) =
3
2
(5x
2
1)(1 x
2
)
1/2
, P
2
3
(x) = 15(1 x
2
), P
3
3
= 15x(1 x
2
)
3/2
l = 4 : P
1
4
(x) =
5
2
(7x
3
3x)(1 x
2
)
1/2
, P
2
4
(x) =
15
2
(7x
2
1)(1 x
2
)
P
3
4
(x) = 105x(1 x
2
)
3/2
, P
4
4
(x) = 105(1 x
2
)
2
37
O estudo dessas funes ser feito de forma bastante ortodoxa aqui. Apelarei diretamente
para a relao entre os polinmios de Legendre e a funo hipergeomtrica mais a eq.
(2.13), o que permite (de uma forma bem simples) relacionar as funes de Legendre
Associadas com hipergeomtricas.
d
m
dx
m
P
l
(x) =
d
m
dx
m
2
F
1

l , l + 1; 1;
1 x
2

eq.(2.13)
=

(l + m)
(l)

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

l +m, l + 1 + m; 1 + m;
1 x
2

Usando a eq. (2.5) (com N l e n m) no termo entre parnteses, as funes de

Legendre Associadas podem ser escritas, de forma elegante, como:
P
m
l
(x) =
(l + m)!
(l m)!
(1 x
2
)
m/2
2
m
m!
2
F
1

(l m), l + 1 + m; 1 + m;
1 x
2

. (4.21)
A vantagem da eq. acima que obviamente
P
m
l
(x(y))
[1x
2
(y)]
m/2

P
m
l
(y)
[y(1y)]
m/2

2
F
1
((l m), l +
1; m + 1; y) (y =
1x
2
) soluo da eq. hipergeomtrica (2.1), com a = (l m),
b = l + m + 1 e c = m + 1, i.e.
y(1 y)
d
2
dy
2

y(1 y)

m/2
P
m
l
(y)

+ (1 + m2(m + 1)y)
d
dy

y(1 y)

m/2
P
m
l
(y)

+
((l m))(l + m + 1)

y(1 y)

m/2
P
m
l
(x)

= 0
Abrindo as derivadas (e usando a igualdade (l m)(l + m + 1) = l(l + 1) m(m + 1))
y(1 y)
d
2
dy
2
P
m
l
(y) + (1 2y)P
m
l
(y) +

l(l + 1) +
m
2
4y(y 1)

P
m
l
(y) = 0
Passando para a coordenada x = 1 2y:
(1 x
2
)
d
2
dx
2
P
m
l
(x) 2x
d
dx
P
m
l
(x) +

l(l + 1)
m
2
(1 x
2
)

P
m
l
(x) = 0 (4.22)
que a eq. diferencial para as funes de Legendre Associadas. Os motivos por trs da
segunda soluo independente da eq. acima ser ignorada e de no ser discutido o caso
l / N so os mesmos j mencionados na seo dos polinmios de Legendre.
38
4.2.2 Ortogonalidade e norma das Funes de Legendre Associa-
das
Rescrevendo a eq. (4.22) na forma Auto-Adjunta:
d
dx

(1 x
2
)
d
dx
P
m
l
(x)

m
2
(1 x
2
)
P
m
l
(x) = l(l + 1)P
m
l
Uma simples comparao com a eq. (B.3) fornece: p(x) = (1 x
2
), q(x) =
m
2
(1x
2
)
,

l
= l(l + 1) e = 1. Aplicando o resultado dado por (B.5), obtm-se
(P
m
l
, P
m
l
)

1
1
dxP
m
l
(x)P
m
l
(x) = 0, l = l

(4.23)
Repare que a eq. acima s tem sentido se os ndices ms das duas funes forem os
mesmos, devido ao fato de q(x) depender explicitamente de m (na verdade de [m[) e na
derivao da eq. (B.5) assumirmos que apenas o auto-valor
l
= l(l + 1) muda.
O clculo da norma no nada simples. O mtodo que vamos usar trabalhoso mas
de fcil entendimento. Ele baseado na frmula de Rodrigues para P
m
l
, algo facilmente
derivado via a frmula de Rodrigues dos polinmios P
l
(x) (eq. (4.11)) e a denio (4.17)
P
m
l
(x) =
(1 x
2
)
m/2
2
l
l!
d
m+l
dx
m+l
(x
2
1)
l

(1)
m/2
2
2
l!
X
m/2
d
m+l
dx
m+l
X
l
(4.24)
onde X = (x
2
1). Assim:
(P
m
l
, P
M
l
) =

1
1
dxP
m
l
(x)
2
=
(1)
m
2
2l
(l!)
2

1
1
dx

X
m
d
m+l
dx
m+l
X
l

d
m+l
dx
m+l
X
l

integrando por partes (e usando que X

x=1
= 0)
=
(1)
m
2
2l
(l!)
2

1
1
dx

d
m+l1
dx
m+l1
X
l

d
dx

X
m
d
m+l
dx
m+l
X
l

aps l + m integrao por partes:

(P
m
l
, P
M
l
) =
(1)
l
2
2l
(l!)
2

1
1
dxX
l
d
m+l
dx
m+l

X
m
d
m+l
dx
m+l
X
l

39
Usando a frmula de Leibniz
d
n
dx
n

A(x)B(x)

=
n

s=0
n!
(n s)!s!

d
ns
dx
ns
A(x)

d
s
dx
s
B(x)

(4.25)
temos:
d
m+l
dx
m+l

X
m
d
l+m
dx
l+m
X
l

=
l+m

s=0
(m + l)!
(m + l s)!s!

d
m+ls
dx
m+ls
X
m

d
s+l+m
dx
s+l+m
X
l

como X
p
um polinmio de grau 2p (p N)
4
, os termos no nulos da soma acima so
aqueles que obedecem, simultaneamente, as duas desigualdades:
m + l + s 2l
m + l s 2m
implicando que s = l m (subtraia as desigualdades). Logo:
d
m+l
dx
m+l

X
m
d
l+m
dx
l+m
X
l

=
(m + l)!
(2m)!(l m)!

d
2m
dx
2m
X
m

d
2l
dx
2l
X
l

=
(m + l)!
(2m)!(l m)!
(2m)!(2l)!
Substituindo o resultado acima no clculo da norma e escrevendo X explicitamente:
(P
m
l
, P
m
l
) =
(2l)!(l + m)!
2
2l
(l!)
2
(l m)!

1
1
dx(1)
l
(x
2
1)
l
=
(2l)!(l + m)!
2
2l
(l!)
2
(l m)!

sin

2l+1
d
. .. .
=2
2l+1
(l!)
2
(2l+1)!
, x = cos
=
2
2l + 1
(l + m)!
(l m)!
onde o resultado da integral acima dado pelo exerccio (3) do captulo 1. Finalmente:
(P
m
l
, P
m
l
) =
2
2l + 1
(l + m)!
(l m)!

ll
(4.26)
que a equao procurada.
4
X
p
= (x
2
1)
p
= x
2p
+O(x
2p1
)
d
2p
dx
2p
X
p
= (2p)!
40
4.2.3 O caso m < 0
Nosso interesse est na soluo, no singular em x = 1, da eq. diferencial (4.22) ( ela que
ir aparecer por toda a sua vida) e repare que tal eq. diferencial s depende de m
2
, i.e. no
depende do sinal de m. Esse fato demonstra que P
m
l
(x) (m > 0) tambm soluo da
mesma equao. Consequentemente ou ela proporcional P
m
l
ou corresponde segunda
soluo independente da equao de segunda ordem. A primeira opo a correta, j que
P
m
l
no singular em x = 1 (y =
1x
2
= 0) (ver eq. (4.24) (fazendo m m)),
portanto no pode ter relao com a segunda soluo independente (que singular em
x = 1). Logo:
P
m
l
(x) = C
lm
P
m
l
(x)
onde C
lm
uma constante de proporcionalidade que s depende de l e m. Para encontrar
C
lm
tenha:
(P
m
l
, P
m
l
) =

1
1
dxP
m
l
(x)P
m
l
(x)
eq.(4.17)
=

1
1
dx

d
m
dx
m
P
l
(x)

d
m
dx
m
P
l
(x)

integrando por partes

=

d
m
dx
m
P
l
(x)

d
m1
dx
m1
P
l
(x)

x=1
x=1

1
1
dx

d
m+1
dx
m+1
P
l
(x)

d
m1
dx
m1
P
l
(x)

o primeiro termo nulo devido a paridade de P

l
(x) ( P
l
(x) = (1)
l
P
l
(x) via eq.
(4.12)). Aps m integraes por partes (sempre com o termo de derivada total dando
zero):
(P
m
l
, P
m
l
) = (1)
m

1
1
dxP
l
(x)
2
= (1)
m
2
2l + 1
Por outro lado:
(P
m
l
, P
m
l
) = C
lm
(P
m
l
, P
m
l
) = C
lm
2
2l + 1
(l + m)!
(l m)!
41
Comparando:
P
m
l
(x) = (1)
m
(l m)!
(l + m)!
P
m
l
(x) (4.27)
provando que P
m
l
e P
m
l
so proporcionais, i.e. linearmente dependentes.
4.3 Exerccios Propostos
(1) Os harmnicos esfricos (que descrevem a dependncia angular de um sistema qun-
tico no-relativstico com simetria radial) so denidos como:
Y
m
l
(, ) =

2l + 1
4
(l m)!
(l + m)!
P
m
l
(cos )e
im
, 0 , 0 < 2 (4.28)
onde l N e m = l, l + 1, . . . , l 1, l. Verique que:

2
0
d

0
d sin [Y
m
l
(, )[
2
= 1
42
Apndice A
Transformada de Fourier e Delta de
Dirac
Um certo conhecimento sobre transformada de Fourier essencial no curso de Mec. Qun-
tica, por outro lado, em geral, o aluno ainda no estudou o assunto. O objetivo deste
apndice de, sem se aprofundar na matemtica, introduzir elementos bsicos da trans-
formada de Fourier, ao menos o suciente para os nossos propsitos
1
. Antes de falar de
transformada de Fourier vamos fazer uma pequena reviso sobre sries de Fourier.
A.1 Delta de Kronecker e Sries de Fourier
Se n, m Z, ento o delta de Kronecker denido como:

nm
=

0, se n = m
1, se n = m
(A.1)
1
o aluno que desejar se aprofundar mais no assunto deve consultar a bibliograa
43
Existem muitas representaes para a eq. (A.1). As de nosso interesse so:

nm
=
1
2L

L
L
e
i(nm)
x
L
dx
=
1
L

L
L
cos

nx
L

cos

mx
L

dx
=
1
L

L
L
sin

nx
L

sin

mx
L

dx (A.2)
onde as duas ltimas no representam
00
= 1. Por inspeo direta voc pode conrmar
que essas representaes so legtimas. A eq. (A.2) serve como pr-requisito para a
denio de sries de Fourier.
Seja a funo f(x) um vetor no espao vetorial das funes contnua por partes
2
no
intervalo x [L, L] (chamarei de CP), ento assumindo que o conjunto de vetores
(1/2, cos
x
L
, cos
2x
L
, . . . , sin
x
L
, sin
2x
L
, . . .) forma uma base de CP, f(x) pode ser escrita como:
f(x) =
a
0
2
+

n=1

a
n
cos

nx
L

+ b
n
sin

nx
L

(A.3)
Mesmo sem provar nada a denio acima bem natural, onde a parte dos cossenos
(incluindo o termo a
0
) descreve a parte simtrica da funo, enquanto os senos a parte
anti-simtrica
3
. Para determinar os coecientes de Fourier a
0
, a
n
e b
n
, vamos aplicar, res-
pectivamente,

L
L
dx,

L
L
dx cos
mx
L
,

L
L
dx sin
mx
L
na eq. acima e utilizar (assumindo
uma integrao termo a termo) a eq. (A.2). Assim temos:
a
0
=
1
L

L
L
dxf(x)
a
n
=
1
L

L
L
dxf(x) cos

nx
L

b
n
=
1
L

L
L
dxf(x) sin

nx
L

(A.4)
2
funes que possuem apenas um nmero nito de descontinuidades e de extremos (mximos, mnimos
e pontos de inexo) em um intervalo denido.
3
toda funo pode ser escrita como a soma de uma parte simtrica e uma ani-simtrica: f(x) =
1
2
(f(x) + f(x)) +
1
2
(f(x) f(x))
44
Com as frmulas cos
nx
L
=
1
2
(e
i
nx
L
+ e
i
nx
L
) e sin
nx
L
=
1
2i
(e
i
nx
L
e
i
nx
L
), a srie de Fourier
(A.3) pode ser rescrita como:
f(x) =

n=
c
n
e
i
nx
L
(A.5)
onde
c
0
=
a
0
2
c
n
=
1
2
(a
n
ib
n
), se n > 0
c
n
=
1
2
(a
n
+ ib
n
), se n < 0
Substituindo (A.4) na eq. acima, chega-se a uma frmula universal para c
n
c
n
=
1
2L

L
L
dxf(x)e
i
nx
L
n Z (A.6)
que poderia ser derivada aplicando

L
L
dxe
i
mx
L
na eq. (A.5) e usando a primeira eq.
de (A.1). Repare que nessa forma os coecientes so imaginrios, porm c

n
= c
n
o que
garante a realidade de f(x) (f(x)

= f(x)). Por outro lado, poderamos ter denido a

srie de Fourier como a eq. (A.5) (sem referncia eq. (A.3)) com f(x) sendo uma funo
complexa e mesmo assim a primeira eq. de (A.2) garantiria que os coecientes c
n
seriam
dados por (A.6), i.e. as eqs. (A.5) e (A.6) denem a srie de Fourier mesmo para uma
funo complexa (s que sendo complexa, c

n
= c
n
). Isso encerra a pequena reviso sobre
sries de Fourier.
A.2 Transformada de Fourier
A transformada de Fourier consiste no limite L da srie de Fourier, ou seja, ela
representa uma funo f(x) contnua por partes que est denida em toda reta. Vamos
ver como tomar tal limite.
Mudando a notao da seguinte forma: k
n
L
, k k(n + 1) k(n) =
1
L
e c
n
c(k),
45
ento temos pela eq. (A.5):
f(x) =

Lk
....
=1

c(k)e
ikx
=
1

k
k

2Lc(k)

e
ikx
Denindo:
F(k)

2Lc(k)

=
1

L
L
dxf(x)e
ikx
a srie pode ser escrita como:
f(x) =

k
F(k)

2
e
ikx
k =

k
rea
k
(A.7)
onde rea
k
explicado gracamente na gura A.1
k

Rea
rea
l
l
k
F.e
ikx
2
Figura A.1: Valores de
F(k)

2
e
ikx
(com x xo) para vrios valores de k em um
exemplo hipottico. A soma na eq. (A.7) dada pela soma das pequenas reas,
como mostrado no ponto k = l.
Quanto maior L menor ser k =
1
L
e mais prximos estaro os pontos da g. (A.1).
Fica evidente pela gura (A.1) que no limite L (k 0) a varivel k se torna
contnua, F(k)e
ikx
(x xo) vira uma funo contnua de k e a soma (A.7) tem como limite
uma integral em k (integral a rea sob a curva). Ou seja, o resultado nal para a
46
transformada de Fourier :
f(x) =
1

dkF(k)e
ikx
F(k) =
1

dxf(x)e
ikx
(A.8)
A.3 Delta de Dirac
A transformada de Fourier pode ser usada para derivar uma representao integral da
funo (distribuio) Delta de Dirac ((x)) que denida como:

f(x)(x x
0
)dx = f(x
0
) (A.9)
fazendo f(x) = (x) na segunda eq. de (A.8) implica que
F(k) =
1

2
e, consequentente:
(x) =
1
2

dke
ikx
(A.10)
que principal representao da Delta de Dirac usada na fsica. Se afrouxarmos a condio
de f(x) R, i.e. considerarmos f(x) uma funo complexa (de uma argumento real), e
denirmos a transformada de Fourier de f(x) como a primeira eq. de (A.8), a eq. (A.10)
garante que a transformada inversa seja dada pela segunda eq. de (A.8) (basta aplicar
1

e
ik

x
nos dois lados da equao). O que quero dizer que a frmula (A.8) vale
mesmo para funes complexas.
Algumas propriedades da Delta de Dirac so:
(x) = (x)
prova: basta re-derivar a representao integral tamando F(k) = (k) e f(x) =
1

2
,
47
ao invs de f(x) = (x) e F(k) =
1

2
.
f(x)(x a) = f(a)(x a) ([f(a)[ < )
prova:

f(x)(xa)dx = f(a).1 = f(a)

(xa)dx

f(a)(xa)dx
(ax) =
(x)
|a|
prova:

(x)dx =

(
|a|x
|a|
)[a[d
x
|a|
=

([a[([a[y))dy =

([a[(ay))dy =

([a[(ax))dx

(g(x)) =

n
(x x
n
)
[g

(x
n
)[
, onde g(x
n
) = 0 e g

(x
l
) = 0 (A.11)
prova:

(x x
1
)dx,
com a troca: (x x
1
) = ([g(x)[) = (g(x)) dx = [g

(x)[dx (g(x
1
) = 0 e
g

(x
1
) = 0), logo:

(x x
1
)dx =

(g(x))[g

(x)[dx
(g(x)) =
(x x
1
)
[g

(x)[
=
(x x
1
)
[g

(x
1
)[
a generalizao imediata.
A.4 Transformada de Fourier em d dimenses e con-
sequncias
A generalizao da Delta de Dirac para d-dimenses imediata:

R
d
f(x)
d
(x x

)d
d
x = f(x

) (A.12)
48
ou seja:

d
(x x

) (x
1
x

1
)(x
2
x

2
) . . . (x
d
x

d
)
=

1
2

dke
ik
1
x
1

. . .

1
2

dke
ik
d
x
d

=
1
(2)
d

R
d
d
d
ke
i

k.x
(A.13)
A forma natural da transformada de Fourier em d dimenses :
f(x) =
1
(2)
d/2

R
d
d
d
kF(

k)e
i

k.x
(A.14)
e a eq. (A.13) mais a denio (A.12) garantem que a transformao inversa (basta aplicar
1
(2)
d/2

R
d
e
i

k.x
nos dois lados da eq. acima) seja dada por:
F(

k) =
1
(2)
d/2

R
d
d
d
xf(x)e
i

k.x
(A.15)
denindo a transformada de Fourier em d-dimenses.
Uma propriedade interessante (e muito importante na mec. quntica) da transformada
de Fourier :

R
d
d
d
x[f(x)[
2
=

R
d
d
d
k[F(

k)[
2
(A.16)
A prova consiste em usar a eq. (A.14) e depois a representao da Delta (A.13):

R
d
d
d
x[f(x)[
2
=

R
d
d
d
x

1
(2)
d/2

R
d
d
d
k

)e
i

.x

1
(2)
d/2

R
d
d
d
kF(

k)e
i

k.x

R
d
d
d
k

R
d
d
d
k

F(

k)F

)
1
(2)
d

R
d
d
d
xe
i(

).x
. .. .
=
d
(

)
=

R
d
d
d
k[F(

k)[
2
Iremos encerrar o apndice mostrando como resolver uma eq. diferencial parcial atravs
da transformada de Fourier e da representao integral (A.10) da Delta de Dirac. Vamos
49
resolver a eq.:
(
2
(x)

2
)G(x x

) = e
3
(x x

) (A.17)
0 uma constante com dimenso do inverso do comprimento. Substituindo no lado
esquerdo a transformada de Fourier
G(x x

) =
1
(2)
3/2

R
3
d
3
k

G(

k)e
i

k.(xx

)
e no direito a eq. (A.13) (com d = 3), camos com:
1
(2)
3/2

R
3
d
3
ke
i

k(xx

([k[
2
+
2
)

G(k) +
e
(2)
3/2

= 0
como a transformada de Fourier de zero zero

G([k[) =
e
(2)
3/2
([

k[
2
+
2
)
O uso da transformada de Fourier transfere o problema de resolver a eq. diferencial (A.17)
em resolver a seguinte integral:
G(x x

) =
e
(2)
3

R
3
d
3
k
e
i

k(xx

)
([

k[
2
+
2
)
passando para coordenadas esfricas: d
3
k k
2
sin dkdd e

k(x x

) = kr cos , onde
k [

k[ e r [x x

[
G(x x

) =
e
(2)
3

2
0
d

0
dk
k
2
k
2
+
2

0
d sin e
ikr cos
. .. .
R
1
1
de
ikr
=
e
2
2
r

0
dk
k sin(kr)
k
2
+
2
=
e
4
2
r

dk
k sin(kr)
k
2
+
2
=
e
4
2
r
m

dk
ke
ikr
k
2
+
2

=
e
4
2
r
m

dk
ke
ikr
(k + i)(k i)
. .. .
=(I)

(I) =

C
dz
ze
izr
(z + i)(z i)
= 2iRes

ze
izr
(z + i)(z i)

z=i
= ie
r
50
onde o contorno C dado pela gura (A.2). Pegando a parte imaginria do resultado
acima chegamos resposta do problema:
i
i
R
Re z
Im z
Figura A.2: Contorno C
G(r) =
e
4r
e
r
(A.18)
conhecido como potencial de Yukawa. No limite 0 e com e =
1

0
, a eq. (A.17) vira
a eq. de Poisson que descreve o potencial eltrico no ponto x de uma carga pontual no
ponto x

com carga eltrica unitria. E a soluo ca:

G(r) =
1
4
0
1
r
(A.19)
Por m, mostrarei como a soluo (A.19) suciente para determinar o potencial ele-
trosttico de qualquer distribuio de carga (x) (a carga total da distribuio q =

R
3
(x)d
3
x), i.e. qualquer soluo da eq. de Poisson:

2
(x) =
(x)

0
(A.20)
Para isso, basta escrever (x) como:
(x) =

R
3
d
3
x

G(x x

)(x

)
51
Aplicando
2
:

2
(x) =

R
3
d
3
x

G(x x

(x

)
!
=
(x)

0
que s verdade se G(x x

) for soluo de (A.17) com = 0 e e =

1

0
, i.e. se for a eq.
(A.19). Portanto, a soluo geral da eq. (A.20) :
(x) =
1
4
0

R
3
d
3
x

(x

)
[x x

[
(A.21)
onde o integrando pode ser expandida em termos de

=
r

r
(se [x[ for maior que as
dimenses da distribuio de cargas) via frmula (4.13):
(x) =
1
4
0
r

l=0

R
3
d
3
x

(x

)P
l
(cos )

l
, cos =
x.x

rr

=
1
4
0
q
r
+
1
4
0
p.x
r
3
+
1
4
0
x
i
x
j
2r
5
Q
ij
+ . . .
que a famosa expanso multipolar. Os termos p e Q
ij
so, respectivamente, chamados
de momento de dipolo e tensor de quadripolo e so dados por:
p =

R
3
d
3
x

(x

)
Q
ij
=

R
3
d
3
x

(x

)(3x
i
x
j

ij
r
2
)
Q
ij
um tensor simtrico (Q
ij
= Q
ji
) e de trao nulo (Q
i
i
= 0).
52
Apndice B
Problema de Sturm - Liouville
Dada a EDO de segunda ordem:
y

(x) +
a
1
(x)
a
2
(x)
y

(x) +
a
0
(x)
a
2
(x)
y(x) = 0 (B.1)
com a
2
(x) = 0, exceto em alguns pontos isolados (possveis singularidades). Multiplicando
a eq. por p(x) = exp(

x a
1
( x)
a
2
( x)
d x) e denindo q(x) =
a
0
(x)
a
2
(x)
exp(

x a
1
( x)
a
2
( x)
d x), rescrevemos a
eq. (B.1) na forma Auto-Adjunta (algo sempre possvel):

Ly(x)

p(x)y

(x)

+ q(x)y(x) = 0 (B.2)
A forma Auto-Adjunta (B.2) pode ser til ao resolvermos problemas de auto valores, i.e.

Ly
n
(x) =
n
(x)y
n
(x) (B.3)
supondo que cada y
n
corresponda apenas uma constante
n
, ou seja, sem degenerescn-
cia. A funo (x) (positiva denida) chamada de funo peso e ser importante mais
frente.
As funes y
n
(x) (para vrios valores de n), esto denidas no espao vetorial das funes
continuas por partes, num certo intervalo do argumento x (por exemplo, [a, b], [0, ),
53
(, ), etc.) que vamos chamar de CP. Existem certas restries sobre p(x), q(x) e
(x) que so:
p(x) > 0 diferenciavel em CP e p(x) = 0 em CP (extremos (ou bordas) de CP)
q(x) e (x) > 0 (pode ser zero em CP) so continuas em CP
As condies acima so sucientes para mostrar a ortogonalidade entre as funes y
n
(x).
Para provar a armao, basta tomar a seguinte diferena:
y
n
(

Ly
m
) y
m
(

Ly
n
) = (
n

m
)(x)y
n
(x)y
m
(x)
que aps simplicaes no lado esquerdo (usando a eq. (B.2)) toma a forma

p(x)

y
n
(x)y

m
(x) y
m
(x)y

n
(x)

= (
n

m
)(x)y
n
(x)y
m
(x) (B.4)
conhecida como identidade de Lagrange.
De acordo com nossas condies, p = 0 em CP (limites de CP). Assim ao integrar (B.4)
em CP temos:
p(x)

y
n
(x)y

m
(x) y
m
(x)y

n
(x)

CP
= 0 = (
n

m
)

CP
(x)y
n
(x)y
m
(x)
Com isso, conclumos que se
n
=
n
, ento
(y
n
, y
m
)

CP
(x)y
n
(x)y
m
(x) = 0 n = m (B.5)
Ou seja, as funes y
n
e y
m
(n = m) so ortogonais em relao ao produto interno denido
pela eq. (B.5), onde a funo peso (x) tem o papel de garantir que a norma quadrada
de y
n
seja bem denida, i.e. [[y
n
[[
2
(y
n
, y
n
) < .
54
No caso de n ser um ndice discreto, variando de zero at o innito, a eq. (B.5) garante
1
que uma funo F(x) em CP possa ser expandida em termos de y
n
(i.e. y
n
forma uma
base de CP)
F(x) =

n=0
c
n
y
n
(x), com (B.6)
c
n
=
1
[[y
n
[[
2
(F(x), y
n
) =
1
[[y
n
[[
2

CP
(x)F(x)y
n
(x)dx (B.7)
Se F(x) = (x x

) (x, x

CP), temos a relao de completude (ou completeza):

(x x

)
(x

)
=

x
x

( x)d x

n=0
1
[[y
n
[[
2
y
n
(x)y
n
(x

) (B.8)
onde na primeira igualdade usei a manjada frmula (A.11).
1
no uma prova matemtica
55
Apndice C
Wronskiano e a segunda soluo
independente
Em alguns casos o mtodo de Frobenius s fornece uma das duas sulues independentes
de uma EDO de segunda ordem. O objetivo deste apndice tentar responder duas
questes: (1) Existe uma forma geral de encontrar a segunda soluo? (2) Por que o
mtodo de Frobenius falha em certas situaes.
Para responder a primeira pergunta (cuja resposta sim) vamos estudar o Wronskiano.
C.1 Wronskiano
Tenha uma EDO de segunda ordem do tipo
y

(x) + P(x)y

(x) + Q(x)y(x) = 0 (C.1)

cuja soluo geral seja dada por:
y(x) = Ay
1
(x) + By
2
(x); A, B = const
56
onde y
1
(x) e y
2
(x) so solues linearmente independentes (l.i.) da eq. Ento o Wronski-
ano denido como o seguinte determinante:
W(x)

y
1
y
2
y
1
y

= y
1
y

2
y

1
y
2
= y
2
1
d
dx

y
2
y
1

= 0 (C.2)
O Wronskiano no nulo, pois se o fosse indicaria que y
1
e y
2
no so l.i. (y
1
(x) y
2
(x)).
Derivando o Wronskiano:
W

(x) = y
1
y

2
y

1
y
2
como y
1
e y
2
so sulues de (C.1): y

i
= Py

i
Qy
i
, i = 1, 2, a eq. acima pode ser
escrita da seguinte forma:
W

(x) = y
1
y

2
y

1
y
2
= y
1
Py

2
Qy
1
y
2
+ Py

1
y
2
+ Qy
1
y
2
= P(y
1
y

2
y

1
y
2
) = P(x)W(x)
Integrando:
W(x) e

R
x
P()d
(C.3)
Igualando as eqs. (C.2) e (C.3)
y
2
1
d
dx

y
2
y
2

R
x
P()d

x
d

y
2
y
1

x
d
exp

P()d

y
2
1
()
ento
y
2
(x) y
1
(x)

x
d
exp

P()d

y
2
1
()
(C.4)
Portanto, se temos o conhecimento de uma das solues (y
1
(x)) a outra completamente
determinada pela eq.(C.4), respondendo a nossa primeira questo.
57
Vamos aplicar este mtodo num exemplo bem simples que dar a dica para a resposta da
segunda questo. Tenha a EDO:
xy

(x) + y

(x) = 0
Tentaremos resolver via Frobenius, i.e. colocando y(x) =

n=0
C
n
x
n+k
na eq.
0 =

n=0

C
n
(n + k)(n + k 1) + C
n
(n + k)

x
n+k1
=

n=0
C
n
(n + k)
2
x
n+k1
ou seja, C
n
= 0, exceto C
k
. Assim, y(x) y
1
(x) = C
k
= const que obviamente
soluo da eq. acima. O mtodo no forneceu a segunda soluo, vamos ach-la via eq.
(C.4) (com P(x) =
1
x
)
y
2
(x)

x
dexp

x
d

= ln[x[
A soluo geral ca:
y(x) = A + B ln[x[; A, B = const.
O exemplo acima muito simples, mas muito instrutivo, pois fornece a explicao exata
do mtodo de Frobenius falhar em certas ocasies. O motivo que uma das solues
(que chamamos de segunda) possui uma singularidade essencial no ponto x = 0 (no
caso, ln x, x 0) e como no possvel expandir uma soluo em srie de potncias
ao redor de uma singularidade essencial natural que o mtodo de Frobenius falhe. O
comportamento apresentado pelo exemplo de certa forma geral, no sentido de quando o
mtodo de potncias falha temos uma segunda soluo com o comportamento ln x, x 0.
Um exemplo mais complicado o da hipergeomtrica com c = 1. Nesse caso, as duas
solues independentes (ver eq. (2.9)) coincidem, i.e. o mtodo de Frobenius s fornece
uma soluo. A segunda soluo pode ser obtida por (C.4) (com y
1
(z) sendo dado por
58
(2.3))
y
2
(z) y
1
(z)

z
dz

[z

1/2[
[z

[
1
y
1
(z

)
2
[1 z

[
a+b+1
|z|1

z
dz

[z

[
ln[z[
mostrando o comportamento logartmico prximo de z = 0. Por outro lado, como pode
ser visto nesse ltimo exemplo, o clculo da eq. (C.4) , em geral, muito complicado. Por
isso vamos desenvolver um mtodo alternativo para encontrar a segunda soluo.
Suponha que Frobenius s forneceu uma soluo para a eq. (C.1) (y
1
(x)), pelos nossos
argumentos a segunda soluo deve ter um comportamento ln x, x 0, o que nos estimula
a tentar o seguinte ansatz :
y
2
(x) = u(x) ln x + v(x) (C.5)
u(x) e v(x) so funes a serem determinadas. Colocando em (C.1)
ln x(u

+ Pu

+ Q) +
2u

x

u
x
2
+
u
x
P + v

+ Pv

+ vQ = 0
Escolhendo u = y
1
o primeiro termo se anula, resultando em:
v

+ P(x)v

+ Q(x) =
y
1
x
2

y
1
x
P(x) 2
y

1
x
(C.6)
Agora podemos tentar resolver a eq. acima tomando
v(x) =

n=0
C
n
x
n+k
i.e. com Frobenius. Escrevendo explicitamente a srie de y
1
(x) nos termos do lado direito
e comparando potncia a potncia, podemos determinar os coecientes C
n
.
Resumo: quando o mtodo de srie de potncias falha, demos argumentos para convencer
o leitor que isso resultado de um comportamento logartimico nas proximidades do
ponto de origem da srie, o que sugere o ansatz (C.5). Escolhendo u(x) = y
1
(x) (soluo
conhecida), chega-se eq. (C.6) que, talvez, seja resolvida pelo mtodo de Frobenius.
59
Referncias Bibliogrcas
[1] Mathematical Methods for Physicists, Sixth Edition, Arfken and Weber.
[2] Funes Especiais com Aplicaes, Edmundo Capelas de Oliveira.
[3] Funes Analticas com Aplicaes, Edmundo Capelas de Oliveira e Waldyr Alves
Rodruigues Jr.
[4] Notas de Fsica Matemtica, Carmen Lys Ribeiro Braga.
[5] Quantum Mechanics, Third Edition, L.D. Landau and E.M. Lifshitz.
[6] Special Functions and Polynomials, Gerard t Hooft and Stefan Nobbenhuis.
[7] Introduo Anlise Linear, Vols. 2 e 3, Donald Kreider e outros.
[8] Fsica Matemtica, Butkov.