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 desafio de entender
um pouco sobre o micro-mundo da mecnica quntica. As funes especiais encontradas
aqui so: Gamma, Beta, Hipergeomtrica, Hipergeomtrica Conflluente, os Polinmios de
Hermite, de Legendre e as Funes de Legendre Associadas. Damos nfase s propriedades 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 expanses assintticas das hipergeomtricas (vitais na obteno dos coeficientes de reflexo 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 terceiro 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 bibliogrficas, a nica diferena est na ordem de exposio. Os livros, em geral, discutem as
funes hipergeomtricas e hipergeomtricas confluentes aps estudar os polinmios ortogonais 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
confluentes. Com isso, entendemos que ao estudar os casos mais gerais no incio, o leitor
ter uma base slida para aprender, rapidamente, os casos particulares.

ainda em construo

Sumrio
1 Funes Gamma e Beta

1.1

Funo Gamma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Funo Beta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3

Relao entre a funo Gamma e funes trigonomtricas . . . . . . . . . .

1.4

Frmula de duplicao de Lagrange . . . . . . . . . . . . . . . . . . . . . .

1.5

Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 Funes Hipergeomtrica e Hipergeomtrica Confluente

2.1

2.2

2.3

10

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

Funo Hipergeomtrica Confluente . . . . . . . . . . . . . . . . . . . . . . 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 confluente como um problema de Sturm-Liouville . 21

Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

3 Polinmios de Hermite

24

3.1

Definio 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 Confluente . . . . . . . . . . . . . . 27

3.4

Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

4 Funes de Legendre
4.1

Polinmios de Legendre

30
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 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
4.2

4.3

Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . 35

Funes de Legendre Associadas . . . . . . . . . . . . . . . . . . . . . . . . 36

4.2.1

Definio e equao diferencial . . . . . . . . . . . . . . . . . . . . . 36

4.2.2

Ortogonalidade e norma das Funes de Legendre Associadas

4.2.3

O caso m < 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

. . . 38

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 Bibliogrficas

59

Captulo 1
Funes Gamma e Beta

1.1

Funo Gamma

A funo Gamma () pode ser definida como a integral abaixo:

(z)

(1.1)

et tz1 dt ; "e(z) > 0

Sua propriedade mais importante :

(1.2)

(1 + z) = z(z)

Para provar, basta integrar a eq. (1.1) por partes

t=
t z

(1 + z) = e t

t=0

+z

et tz1 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) =

t 12

e t

t=u2

dt = 2

eu du =

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

;
2

(5/2) = 32 (3/2) =

3
;
4

. . . onde novamente usamos a eq.

(1.2).
A eq. (1.1) est definida na regio "e(z) > 0, porm com uma continuao analtica,
pode-se definir 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) =

zn

(1.3)

1
1z

(1.4)

n=0

quando |z| < 1, a srie converge para o valor:

f (z) =

Entretanto, a eq. acima est definida z (= 1 e coincide com velha definio (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 definio mais abrangente da
funo . Comecemos rescrevendo a eq. (1.1) da seguinte forma:

(z) = lim

t %n z1
1
t dt
n

j que1

lim

n
1

t %n #
tn
1
=
(1)n et
n
n!
n=0

o famoso limite fundamental que pode ser facilmente verificado via expanso binomial

3
com a troca de varivel u =

(z) =

lim n

t
n

e integrando n vezes por partes

(1 u)n uz1 dt

0
! 1
n
z
= lim n
(1 u)n1 uz dt
n
z 0
! 1
z n(n 1)
= lim n
(1 u)n2 uz+1 dt
n
z(z + 1) 0
! 1
z n(n 1)(n 2)
= lim n
(1 u)n2 uz+2 dt
n
z(z + 1)(z + 2) 0
..
.
! 1
n(n 1)(n 2) . . . 1
z
(1 u)nn uz+n1 dt
= lim n
n
z(z + 1)(z + 2) . . . (z + n 1) 0
&
'(
)
1
= z+n

logo:
n!
nz
n z(z + 1)(z + 2) . . . (z + n)

(z) = lim

(1.5)

Da mesma forma que nosso exemplo simples (eqs. (1.3) e (1.4)), a eq. (1.5) uma
continuao analtica da definio (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 definio da funo
(a mais geral possvel), seu problema ser de difcil manuseio2 .

1.2

Funo Beta

A funo Beta definida como a seguinte combinao de funes Gammas:

B(a, b)
2

(a)(b)
(a + b)

uma propriedade que no difcil provar com essa frmula : (1 + z) = z(z). Prove!

(1.6)

4
Atravs da eq. (1.1), vamos derivar uma representao integral para a funo Beta.

(a)(b) =

*!

ex xa1 dx

+* !

ey y b1 dy

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

com a troca: x = u2 ; y = v 2

(a)(b) = 4

du

dve(u

2 +v 2 )

u2a1 v 2b1

u = r cos e v = r sin
+
* !
+* !

2
2
(cos )2a1 (sin )2b1 d
=4
er r2(a+b)1 dr
0
&R0
'(
)
1
2

t a+b1
t
dt= 12 (a+b)
0 e

Levando representao integral de B(a, b):

B(a, b) = 2

(cos )2a1 (sin )2b1 d ; "e(a), "e(b) > 0

(1.7)

Formas Alternativas:
t = (cos )2 em (1.7)

B(a, b) =

ta1 (1 t)b1 dt

(1.8)

t = x2 em (1.8)

B(a, b) = 2

x2a1 (1 x2 )b1 dx

t=

u
1+u

(1.9)

em (1.8)

B(a, b) =

ua1
du
(1 + u)a+b

(1.10)

1.3

Relao entre a funo Gamma e funes trigonomtricas

()(1 )
B(, 1 )
=
(1)
&'()

u1
du ; 0 < "e() < 1
(1 + u)

(1.11)

=1

onde usamos a eq. (1.10)

Resoluo da integral:

,
0

Considere a funo f (z) =

x1
dx
(1+x)

z 1
1+z

; 0 < "e() < 1

; z C ; z = x + iy

A funo f (z) possui um plo simples em z = 1 e uma ramificao em z = 0. Iremos

calcular a integral:

I=

f (z)dz

onde o contorno C dado pela figura (1.1)

Im z

C2

"1

Re z

C1

Figura 1.1: Contorno C

I =

x1
dx +
1+x

C2

= 2iRes f (z)
.

z 1
+
1+z

z=1

= 2ie

/1
!
e2i x
z 1
dx
+
dz
1 + &'()
e2i x
C1 1 + z

i(1)

=1

6
C1 :
!

C1

z 1
dz ; z = $ei
1+z
!

= $

ei
d $ 0 ($ 0)
i
1 + $e

C2 :
!

C2

z 1
dz ; z = Rei
1+z
!

= R

ei
1
d 1 0 (R )
i
1 + Re
R

No limite $ 0 e R
2ie

i(1)

2i(1)

1e

x1
dx
1+x

x1
2i

/ =
dx = . i(1)
=
1+x
sin ( 1)
sin
e
ei(1)

(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 todo3 z
/ Z.
Ela tambm pode ser escrita da seguinte forma:

(z)(z) =
3

z sin z

(1.14)

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
definida 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 =

1.4

x sinh x

(1.15)

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:
$

1
1 % (z + 12 )2
B z + ,z +
=
2
2
(2z + 1)

eq.(1.8)

1
z1/2

z1/2

(1 t)

dt = 2

1/2

tz1/2 (1 t)z1/2 dt

porque o integrando par em ralao ao ponto t = 12 . Com a troca 2t = 1

2z

=2

&0

eq.(1.8)

x1/2 (1 x)z1/2
'(
)

B(1/2,z+1/2)=

(z+1/2)
(z+1)

ento:

(2z + 1) = 22z (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:

(2n)!
(n + 1/2) =
22n n!

1.5

Exerccios Propostos

(1) ngulo slido e volume de uma bola em d dimenses:

(1.17)

8
O elemento de volume d-dimensional em coordenadas esfricas dado por: dd x = dd1 rd1 dr,
onde dd1 ngulo slido.
Prove que:
,
(a) S d1 dd1 =

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
Rd .
d(d/2)

Dica: use a igualdade:

. /d
=

*!

x2

dx

+d

*!

x21

dx1

...

*!

x2d

dxd

Rd

Pd

i=1

x2i 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
+ O(z)
z

(1.18)

onde

et ln(t)dt =

a famosa constante de Euler.

0
d
0
(1 + z)0
0.5772
dz
z=0

(1.19)

A eq. (1.18) muito importante para o processo de renormalizao dimensional em teorias

qunticas de campos.
(3) Calcule a integral:
!

(Resposta:

(sin )2n+1 d, n N

22n+1 (n!)2
)
(2n+1)!

Dica: Identifique 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 definida como a derivada logartmica de (z), i.e.

(z)

d
ln (z)
dz

(1.20)

9
Usando a identidade (1 + z) = z(z) em conjunto com a eq. (1.5), demonstre que

(1 + z) = lim

Obs.: (1) =

1 d
(1
(1) dz

0
0
+ z)0

z=0

n
#
1
ln n
m
m=1

#
l=1

z
l(z + l)

(1.21)

= pela eq. (1.19), logo tomando z = 0 no resultado

acima chegamos numa outra forma de escrever a constante de Euler:

= lim

n
#
1
ln n
m
m=1

(1.22)

A eq. (1.22) til para encontrarmos valores aproximados de de forma bem simples
(usando uma calculadora), basta fixar um valor finito para n (quanto maior o valor escolhido, melhor ser a aproximio)4 .
(5) Definio alternativa para a funo Gamma:
Comeando da eq. (1.5), mostre que
$
1
1
z % z
z
= ze
1+
e m
(z)
m
m=1

(1.23)

onde dado pela eq. (1.22). A definio da funo como (1.23) chamada de definio
de Weierstrass.

por exemplo, n=10 = 0.6263. O erro percentual de 8, 5.

10

Captulo 2
Funes Hipergeomtrica e
Hipergeomtrica Confluente

2.1
2.1.1

Funo Hipergeomtrica
Equao diferencial e soluo via srie de potncias

Tenha a seguinte equao diferencial ordinria (EDO) de segunda ordem1 :

z(1 z)

d2 y(z)
dy(z)
+ [c (a + b + 1)z]
aby(z) = 0
2
dz
dz

(2.1)

Tal equao invariante a permutao a b e singular2 nos pontos z = 0, z = 1 e

z = 3 (todos regulares). Vamos procurar uma soluo via srie de potncias (Frobenius)
y(z) =

#
n=0

gn z n+k ; k R ; g0 (= 0

no captulo 2, o argumento z ser considerado como real ou um imaginrio puro.

Uma EDO do tipo y !! (z) + P (z)y ! (z) + Q(z)y(z) = 0 singular no ponto z0 se ao menos um dos
limites no bem definido:
lim P (z) , lim Q(z)
2

zz0

zz0

para mostrar a singularidade no infinito, faa a troca u =

para u 0

1
z

na eq. (2.1) e analise o comportamento

11
O raio de convergncia da srie |z| 1 para "e(c a b) > 0 (a ser justificado)

y (z) =

(k + n)z k+n1

n=0

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

k1

2
#
n=0

3
(k + n + 1)(k + n + c)gn+1 [(k + n)(k + n + a + b) + ab]gn z n+k = 0

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

k=

Caso k = 0:

1c

Temos a relao de recorrncia:

gn+1 =

(n + a)(n + b)
gn ; c (= 0, 1, 2, . . .
(n + 1)(n + c)

(2.2)

Escolhendo g0 = 1

y(z)k=0 = 1 +

ab
a(a + 1)b(b + 1) z 2
z+
+ ...
c
c(c + 1)
2

ou

y(z)k=0

(c) # (a + n)(b + n) z n
=
2 F1 (a, b; c; z)
(a)(b) n=0
(c + n)
n!

(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:
ga+1 =

(a + a)(a + b)
ga = 0 ; a N
(a + 1)(a + c)

logo

gn = 0 ; n > a (a N)
2 F1 (N, b; c; z) um polinmio de grau N (N N). Utilizando o fato que:
((N n))
(N + n 1)!
=
= (N + n 1)(N + n 2) . . . (N + n (n 1))(N )
(N )
(N 1)!
*
+
(N

n)!
= (1)n N (N 1)(N 2) . . . (N (n 2))(N (n 1))
(N n)!
= (1)n

N!
(N n)!

(2.5)

o polinmio 2 F1 (N, b; c; z) toma a forma:

N

(c) #
N ! (b + n) z n
(1)n
2 F1 (N, b; c; z) =
(b) n=0
(N n)! (c + n) n!

(2.6)

(b) se b = c

2 F1 (a, b; b; z) =

1 # (a + n) n
z
(a) n=0
n!

= 1 + az + (a + 1)a
= (1 z)a

z2
z3
+ (a + 2)(a + 1)a + . . .
2
3!
(2.7)

que pode ser facilmente verificado expandindo (1 z)a em srie de Taylor em torno de
z = 0.
Caso k = 1 c:

13
A recorrncia fica:

gn+1 =

(1 c + n)(1 + n + a + b c)
(n + a + 1 + c)(n + b + 1 c)
gn =
gn ; c (= 2, 3, . . .
(2 c + n)(1 + n)
(n + 2 c)(1 + n)

Assim, a segunda soluo tambm pode ser escrita em termos de uma hipergeomtrica:

y(z)k=1c = z 1c 2 F1 (a + 1 c, b + 1 c; 2 c; z)

(2.8)

A soluo geral da eq. (2.1) 4 :

y(z) = A2 F1 (a, b; c; z) + Bz 1c 2 F1 (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 finita 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:
(c)
I =
(d)(c d)

1
d1
(1
2 F1 (a, b; d; zt)t

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
+
*
+
* !
1
#
(c)
(d)
zn
(a + n)
I =
tn+d1 (1 t)cd1 dt
(d)(c d) (a)(b) n=0 (b + n)(d + n) n!
&0
'(
)
eq.(1.8)

B(n+d,cd)=

(n+d)(cd)
(n+c)

(c) # (a + n)(b + n) z n
=
2 F1 (a, b; c; z)
(a)(b) n=0
(c + n)
n!

Assim:
(c)
2 F1 (a, b; c; z) =
(d)(c d)
"e(c) > "e(d) > 0

1
d1
(1
2 F1 (a, b; d; zt)t

t)cd1 dt;
(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:
(c)
2 F1 (a, b; c; z) =
(b)(c b)

tb1 (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):
(c)
2 F1 (a, b; c; 1) =
(b)(c b)

&0

tb1 (1 t)cab1 dt
'(
)

eq.(1.8)

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

B(b,cab)=

(b)(cab)
(ca)

(2.12)

15
com5 "e(c a b) > 0 e "e(b) > 0.
Segunda: derivando a eq.
(c)
d
2 F1 (a, b; c; z) = a
dz
(b)(c b)
(1+c)

tb (1 t)cb1 (1 zt)(a+1) dt

( )& '
! 1
ab
c(c)
=
t(b+1)1 (1 t)(c+1)(b+1)1 (1 zt)(a+1) dt
c b(b) (c b) 0
& '( )
(1+b)

ab
2 F1 (a + 1, b + 1; c + 1; z)
c

Repetindo o processo m vezes

dm
[a(a + 1) . . . (a + m 1)][b(b + 1) . . . (b + m 1)]
2 F1 (a, b; c; z) =
2 F1 (a + m, b + m; c + m; z)
m
dz
c(c + 1) . . . (c + m 1)
que pode ser escrito de uma forma mais elegante (via eq. (2.4))
dm
(m + a) (m + b) (c)
2 F1 (a, b; c; z) =
2 F1 (a + m, b + m; c + m; z)
m
dz
(a)
(b) (m + c)

2.1.3

(2.13)

Relaes teis

(i) Da representao integral (2.11), temos:

! 1
$
zt %a
z %
(c)
=
tcb1 (1 t)b1 1 +
dt
2 F1 a, c b; c;
1z
(c b)(b) 0
1z
! 1
(c)
a
=
(1 z)
tcb1 (1 t)b1 (1 (1 t)z))a dt
(c b)(b)
0
$

agora faa a troca: 1 t = u

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

= (1 z) 2 F1 (a, b.c.z)
5

ub1 (1 u)cb1 (1 + zu)a dt

condio de vlidade da equao (1.8), justificando o raio de convergncia da srie de potncias

16
z %
2 F1 (a, b; c; z) = (1 z) 2 F1 a, c b; c;
1z
a

(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) Definindo y(z) = (1 z)cab (z).
y % (z) = (1 z)cab [(c a b)(1 z)1 + % ]
2
3
(c a b) %
y %% (z) = (1 z)cab (c a b)(c a b 1)(1 z)2 2
+ %%
1z
Substituindo na eq. (2.1) e simplificando:
2
3
(1 z)(cab) z(1 z) %% [c ((c a) + (c b) + 1)z] % (c a)(c b) = 0
( z

) 2 F1 (c a, c b; c; z)

ou

2 F1 (a, b; c; z)

= const(1 z)cab 2 F1 (c a, c b; c; z)

Aplicando em z = 0 fica claro que const = 1, ou seja:

2 F1 (a, b; c; z)

2.1.4

= (1 z)cab 2 F1 (c a, c b; c; z)

(2.15)

Expanses Assintticas

As equaes (2.14) e (2.15) em conjunto com a representao integral (2.10) so suficientes

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):
(c)
2 F1 (a, b; c; z) =
(d)(c d)

$
zt %
td1 (1 t)cd1 (1 zt)a 2 F1 a, d b; d;
dt
1 zt

|z|
$

zt %
(d)(b a)
2 F1 a, d b; d;
2 F1 (a, d b; d; 1) =
1 zt
(b)(d a)

("e(b) > "e(a))

Assim:
! 1
(c)(d)(b a)
)
td1 (1 t)cd1 (zt)a dt
2 F1 (a, b; c; z
(d)(c d)(b)(d a) 0
! 1
(c)(b a)(z)a
=
tda1 (1 t)cd1 dt
(c d)(b)(d a) 0
&
'(
)
|z|

eq.(1.8)

2 F1 (a, b; c; z

B(da,cd)=

(da)(cd)
(ca)

(c)(b a)
(z)a ; "e(b) > "e(a)
(b)(c a)

|z|

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 0 (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 F1 (a, b; c; z)

|z|

(c)(a b)
(z)b ; "e(a) > "e(b)
(a)(c b)

Levando-nos ao assinttico geral (para "e(a) > "e(b) ou "e(a) < "e(b)):
2 F1 (a, b; c; z)

|z|

(c)(b a)
(c)(a b)
(z)a +
(z)b
(b)(c a)
(a)(c b)

(2.17)

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

2 F1 (a, b; c; z)

(c)(c b a)
+O(1 z)
(c a)(c b)
&
'(
)
2 F1 (a,b;c;1)

(b) "e(c) < "e(a + b)

Agora, a hipergeomtica no definida ( singular) no ponto z = 1. Entretanto, a equao

(2.15) nos fornece a forma como a hipergeomtrica diverge. De (2.15) temos:6

2 F1 (a, b; c; z)

z1

(1 z)cab 2 F1 (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 F1 (a, b; c; z)

z1

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

(2.18)

que o resultado procurado (simtrico nos ndices a e b).

2.2
2.2.1

Funo Hipergeomtrica Confluente

Equao diferencial e soluo via srie de potncias

Com as trocas z $z e b 1/$, a eq. (2.1) fica:

z(1 $z)y(z)%% + [c (a + $1 1)$z]y(z)% ay(z) = 0
Tomando o limite $ 0 temos a EDO hipergeomtrica confluente:
zy %% (z) + (c z)y % (z) ay(z) = 0
6

2 F1 (c

a, c b; c; 1) existe, pois "e(c) < "e(a + b) (ver equao (2.12))

(2.19)

19
De forma anloga, a funo hipergeomtrica confluente (uma das solues da equao
acima) definida como:

1 F1 (a; c; z)

lim 2 F1 (a, 1/$; c; $z)

#0

(c) # (a + n) ($z)n
= lim
#0 (a)
(c + n) n!
n=0

(1/$ + n)
(1/$)
& '( )

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

(c) # (a + n) z n
1 F1 (a; c; z) =
; c (= 0. 1, 2, . . .
(a) n=0 (c + n) n!

(2.20)

que a funo hipergeomtrica confluente em sua representao de srie de potncias.

A segunda soluo independente de (2.19) pode ser obtida da mesma forma:

lim($z)1c 2 F1 (1 + a c, 1/$ + 1 c; 2 c; $z) = z 1c 1 F1 (1 + a c; 2 c; z)

#0

Soluo geral de (2.19)7

y(z) = A1 F1 (a; c; z) + Bz 1c 1 F1 (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 = (irregular8 ). A singularidade
no formada pela confluncia de duas singularidades, regulares, da hipergeomtrica
(pontos z = 1 e z = ).
(ii) A hipergeomtrica confluente um polinmio de grau N se a = N N. E com a
ajuda da eq. (2.5) o polinmio pode ser escrito como:
N
#

N!
(c) z n
(1)
1 F1 (N ; c; z) =
(N n)! (c + n) n!
n=0
7
8

no caso c Z, recamos na nota de rodap da pg. 13.

ver prximo pargrafo

(2.22)

20
(iii) 1 F1 (a; a; z) =

2.2.2

8
0

zn
n!

= ez

Representao Integral

Fazendo b $1 e z $z em (2.10) e tomando o limite $ 0

(c)
1 F1 (a; c; z) =
(d)(c d)

1
d1
(1
1 F1 (a; d; zt)t

t)cd1 dt; "e(c) > "e(d) > 0 (2.23)

Para d = a, temos a representao integral da hipergeomtrica confluente usualmente

encontrada na literatura:
(c)
1 F1 (a; c; z) =
(a)(c a)

2.2.3

(2.24)

ezt ta1 (1 t)ca1 dt; "e(c) > "e(a) > 0

Expanso Assinttica

Da eq. (2.24) iremos achar o comportamento da funo hipergeomtrica confluente para

|z| .
(c)
1 F1 (a; c; z) =
(a)(c a)

ezt ta1 (1 t)ca1 dt

com a troca u = tz
1 F1 (a; c; z)

(c)
(z)a
(a)(c a)

*!

&0

(I): |z|
(I)

u %ca1

eu ua1 1 +
z
'(
(I)

eu ua1 du = (a)

u %ca1

du +
eu ua1 1 +
z
) &
'(
(II)

du
)

21
(II):
!

!
u % a1 v=u+z 0 zv $ v %ca1
(II) =
e
1+
u du =
e
(v z)a1 dv
z
z
0

!
|z|
(II) ez z ac+1 (z)a1
ev v ca1 dv = ez z ac+1 (z)a1 (c a)
z

Assim:

1 F1 (a; c; z)

|z|

(c) z ac
(c)
(z)a +
ez
(c a)
(a)

(2.25)

que o resultado desejado9 .

2.2.4

Hipergeomtrica confluente como um problema de SturmLiouville

Vamos aplicar a lgica desenvolvida no apndice B funo hiperg. confluente. Primeiro,

rescrevemos a eq. (2.19) na forma Auto-Adjunta:
.

z c ez y %

/%

= a(z c1 ez )y(z)

Comparando com a eq. (B.3) (ver apndice), temos: p(z) = z c ez , q(z) = 0, (z) =
z c1 ez e n = a. A eq. hiperg. confluente 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 ya e ya$ (a (= a% )
so ortogonais em relao ao produto interno (B.5), i.e.
!

z c1 ez 1 F1 (a; c; z)1 F1 (a% ; c; z) = 0, a (= a% , "e(c) > 0

(2.26)

repare que a eq. (2.25) cresce exponencialmente, por isso a singularidade no infiito 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 definida como

k(m) =

dt
(1

t2 ) 2 (1

mt2 ) 2

, |m| < 1.

(2.27)

Comparando com a forma integral (2.11) da funo hipergeomtrica, demonstre a igualdade:

k(m) =

$1 1
%

F
,
;
1;
m
2 1
2
2 2

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

9

T =4

l
2g

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 2M sin e usando a eq. (2.27),
chegue em:
9

l $ 2 $ %%
k sin
g
2
9
$%
$%
$
$ %%
l$
1
9
= 2
1 + sin2
+
sin4
+ O sin6
g
4
2
64
2
2

T = 4

(3) A definio da funo Gamma Incompleta 10 :

(z, x)
10

t z1

e t

dt = 2

eu u2z1 du, x, "e(z) > 0

A funo Gamma (completa) dada pelo limite (z, x ) = (z)

(2.28)

23
Atravs da representao integral (2.24), verifique a igualdade:

(z.x) =

xz
1 F1 (z; z + 1; x)
z

(2.29)

(4) A funo Beta Incompleta definida como11 :

B(a, b)x

ta1 (1 t)b1 dt, 0 < x 1 "e(a), "e(b) > 0

(2.30)

(a) Demonstre a seguinte srie de Taylor:

b1

(1 t)

#
(1 b + n) tn
n=0

(1 b)

n!

(b) Substitua o resultado da letra (a) na definio de B(a, b)x , inverta a ordem da soma
e integral e integre para obter o resultado:

B(a, b)x = x

#
(1 b + n)
n=0

(1 b)

xn
n!(n + a)

(c) Comparando com a srie (2.3), chegue igualdade

B(a, b)x =

xa
2 F1 (a, 1 b; a + 1; x)
a

(2.31)

(5) Utilizando as representaes intergrais da hipergeomtrica e da hipergeomtrica confluente (eqs. (2.3) e (2.20)), demonstre a frmula:
!

$
k%
( + 1)
t 1 F1 (; ; kt) =
2 F1 , + 1; ;
+1

(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

Definio via Funo Geratriz, Relaes de Recorrncia e a EDO de Hermite

Uma tima forma de definir os polinmios de Hermite (Hn (u)) como os coeficientes da
srie de potncias da seguinte funo geratriz
z 2 +2zu

g(z, u) e

#
zn
n=0

n!

(3.1)

Hn (u)

Tal definio til, pois possibilita a derivao de relaes de recorrncia entre os polinmios de forma muito simples. Aplicando

na eq. acima:

# z n1
# zn
g
= (2z + 2u)g =
Hn (u) =
Hn+1 (u)
z
(n 1)!
n!
n=1
n=0
(2uH0 H1 )z 0 +

#
n=0

(2uHn 2nHn1 Hn+1 )

zn
=0
n!

nos levando a relao de recorrncia:

2uHn 2nHn1 = Hn+1 , n = 0, 1, 2, . . .

(3.2)

25
que permite a obteno de qualquer Hn (u) conhecendo apenas H0 . Como g(0, u) = 1,
temos que H0 (u) = 1. Logo, os primeiros polinmios podem ser facilmente encontrados
via eq. (3.2):

H0 (u) = 1; H1 (u) = 2u; H2 (u) = 2(2u2 1); H3 (u) = 12u

$2
3

%
u2 1 .

(3.3)

Agora, vamos derivar a funo geratriz em relao varivel u para encontrar outra
recorrncia:

#
z n+1
n=0

n!

# zn
g
= 2zg =
Hn% (u)
u
n!
n=0
Hn (u) = 2n

#
zn
n=1

Hn%

n!

Hn (u) =

= 2nHn (u)

#
zn
n=0

n!

Hn% (u)
(3.4)

Derivando a eq. (3.4) e usando a eq. (3.2) chegamos EDO de Hermite:

Hn%% (u) 2uHn% (u) + 2nHn (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 ortogonais1 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:

/%
2
2
eu Hn% (u) = 2neu Hn (u)

em relao a um produto interno a ser definido

26
ou seja, a EDO de Hermite uma eq. de auto-valores. Comparando com a eq. geral
2

(B.3), temos que p(x) = (x) = eu ( 0, quando u ), q(x) = 0 e n = 2n.

Substituindo em (B.5):

(Hn , Hm )

eu Hn (u)Hm (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

(Hn , Hn ) =

eu Hn (u)2 du An

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:

2nAn1 =
=
=

!0

u2

(2nHn1 )Hn1 du

u2

eq. (3.2)

eq.(3.2)

Hn (2uHn1 )du

eu (Hn+1 + 2uHn )Hn1

u2

eu Hn (Hn + 2(n 1))Hn2

Hn2 du = An
(3.6)

An+1 = 2(n + 1)An

A eq. (3.6) relaciona as normas dos polinmios Hn e Hn+1 , logo s precisamos calcular

(H0 , H0 ) A0 =

eu du =

para conhecer qualquer An .

A1 = 2A0 = 2 , A2 = 22 2 , A3 = 23 3! . . .

An = 2n n! ,
ou seja:

(Hn , Hm ) =

2
eu Hn (u)Hm (u)du = 2n n! nm

(3.7)

27

3.3

Relao com a funo Hipergeomtrica Confluente

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 bibliogrficas). 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) > 12 . 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. confluente, juntamente com a condio de contorno imposta pela mec. quntica.
Tal relao pode ser facilmente obtida com a troca x = u2 que transforma a eq. (3.8) em:
% dH (x)
d2 H (x) $ 1

+
x
+ H (x) = 0
x
2
dx
2
dx
2
que a EDO hiperg. confluente para a = 2 , c = 12 , cuja soluo dada pela eq. (2.20),
i.e.
$ 1 %
$ ( 1) 3 %
H (u) = A 1 F1 ; ; u2 + B u1 F1
; ; u2
2 2
2
2

(3.9)

Quando u , H (u) cresce exponencialmente ( eu ), devido eq. (2.25). Por outro

lado, a mec. quntica impe uma condio de contorno sobre a soluo. exigido que a
integral

(H , H ) =

eu H (u)2 du

28
convirja. Isso s possvel se H for um polinmio2 (1 F1 (n; c; u2 ), n N). Entretanto,
repare que impossvel as duas solues independentes serem polinmios ao mesmo tempo.
Se = n = 0, 2, 4, . . ., devemos tomar Bn = 0 para Hn (u) ser um polinmio e se = n =
1, 3, 5, . . . An quem deve ser nulo. Em suma temos:

$
%

n 1
2
(1) n2 n!
F 2 ; 2 ; u , n = 0, 2, 4, . . .
(n
)! 1 1
2
Hn (u)
%
$

2(n!)
n1 3
2
(1) n1
2
u F 2 ; 2 ; u , n = 1, 3, 5 . . .
( n1 )! 1 1

(3.10)

onde as constantes foram ajustadas para as eqs. (3.2) e (3.10) coincidirem3 . O estudo
desta seo explica o porqu de n = 0, 1, 2, . . . (justificando 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 = u2 ) na eq. (3.8), encontre a eq. diferencial
para W (x) (uma hipergeomtrica confluente) e chegue novamente em (3.9).
(2) Frmula de Rodrigues
Uma outra forma de definir os polinmios de Hermite atravs da frmula de Rodruigues:

Hn (u) (1)n eu

dn u2
e
dxn

(3.11)

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

Cn Hn (u)

n=0

2
3

j que nenhuma combinao linear das duas solues pode cancelar os termos divergentes.
compare com a eq. (3.3)

(3.12)

29
mostre (com a ajuda da eq. (3.7)) que
!

1
Cn = n
2 n!

eu F (u)Hn (u)du

(3.13)

(b) Prove a chamada relao de completude (ver eq. (B.8)):

#
Hn (u)Hn (u% )

e (u u ) =
n n!
2
n=0
u$2

(3.14)

30

Captulo 4
Funes de Legendre

4.1
4.1.1

Polinmios de Legendre
Funo Geratriz, Relaes de Recorrncia e Equao Diferencial

Os polinmios de Legendre (Pl (x)) podem ser definidos atravs da seguinte funo geratriz:

#
1
g(x, t)
=
Pl (x)tl , 0 t < 1, 1 x 1
1 2xt + t2
l=0

(4.1)

Como g(x, 0) = 1, ento P0 (x) = 1. O que ser suficiente para conhecermos todos
os polinmios Pl (x), assim que derivarmos algumas relaes de recorrncia. Para isso,
comearei aplicando

em (4.1)

#
#
g(x, t)
xt
l1 ll+1
=
=
lPl (x)t
=
(l + 1)Pl+1 (x)tl
2
1/2
2
t
(1 2tx + t ) (1 2tx + t )
l=0
l=0
eq.(4.1)

(x t)

#
l=0

Pl (x)tl = (1 2xt + t2 )

#
l=0

(l + 1)Pl+1 (x)tl

31
Agrupando os termos em potncias de t

(xP0 P1 )t + (3xP1 P0 2P2 )t +

#
l=2

[(2l + 1)xPl (l + 1)Pl+1 lPl1 ]tl = 0

levando relao

(l + 1)Pl+1 = (2l + 1)xPl lPl1 , l = 0, 1, . . .

(4.2)

Os polinmios Pl (x) podem ser facilmente derivados, para qualquer l, via eq. (4.2),
sabendo que P0 (x) = 1 (como j havamos adiantado). Os primeiros termos so:
1
P0 (x) = 1, P1 (x) = x, P2 (x) = (3x2 1),
2
1
1
P3 (x) =
(5x3 3x), P4 (x) = (35x4 30x2 + 3)
2
8

(4.3)

Outras relaes de recorrncia, agora relacionando derivadas de Pl (x), resultam da diferenciao da funo geratriz (4.1) com relao x (Pl%

dPl (x)
).
dx

#
#
g(x, t)
t
l
=
P
t
=
Pl% (x)tl
l
2
x
(1 2xt + t ) l=0
l=0

Pl1 tl =

l=1

#
l=0

0 =

Pl% tl 2x

P0% t0

(P1%

%
Pl1
tl +

l=0

2xP0%

%
Pl2
tl

l=2

P0 )t +

#
l=2

%
%
(Pl% + Pl2
2xPl1
Pl1 )tl

A igualdade s verdadeira se cada potncia for nula, ou seja:

P0% (x) = 0, P1% (x) = 1

%
%
Pl+1
(x) + Pl1
(x) = 2xPl% (x) + Pl (x), l 1

(4.4)

d
Vamos efetuar a seguinte operao: 2 dx
[eq. (4.2)](2l + 1)[eq. (4.4)]. Aps um pequeno

trabalho algbrico

%
%
(2l + 1)Pl (x) = Pl+1
(x) Pl1
(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)
%
Pl% = xPl1
+ lPl1

(4.6)

%
xPl1
= x2 Pl% lxPl

(4.7)

.
/
e x eq. (4.4)eq. (4.5)

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

(1 x2 )Pl% = lPl1 lxPl

derivando

(1 x2 )Pl%% 2xPl% =

%
lPl1
& '( )

eq.(4.7)

lPl lxPl%

l(xPl$ lPl )

assim, terminamos com a seguinte eq. diferencial de segunda ordem (onde s aparece Pl )

(1 x2 )Pl%% (x) 2xPl% (x) + l(l + 1)Pl (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 x2 )Pl% )% = l(l + 1)Pl

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

(Pl , Pm ) =

Pl (x)Pm (x)dx = 0, l (= m

A norma (Pn , Pn ) facilmente calculada atravs da eq. (4.2) e da ortogonalidade. Primeiro

faa l l 1 em (4.2), ento multiplique-a por Pl (x) e integre:
:
;
!
1 1
(Pl , Pl ) =
Pl (x) dx =
Pl (x) (2l 1)xPl1 (x) (l 1)Pl2 (x)
l 1
1
!
(2l 1) 1
=
xPl (x)Pl1 (x)dx
l
1
!

onde a ortogonalidade foi usada.

Agora multiplique a eq. (4.2) por Pl1 e integre:
:
;
!
1 1
(Pl1 , Pl1 ) =
=
Pl1 (x) (2l + 1)xPl (l + 1)Pl+1
l 1
1
!
(2l + 1) 1
=
xPl1 (x)Pl (x)dx
l
1
!

2
Pl1

Comparando as eqs.

(Pl , Pl ) =

2l 1
(Pl1 , Pl1 )
2l + 1

Sabendo que
!

1
31
dx = 2 (P1 , P1 ) = 2 , (P2 , P2 ) =
2, . . . ,
3
53
1
$ 2l 1 %$ 2l 3 %$ 2l 5 % $ 1 %
2
(Pl , Pl ) =
...
2=
2l + 1 2l 1 2l 3
3
2l + 1

(P0 , P0 ) =

Levando forma final

(Pl , Pm ) =

Pl (x)Pm (x)dx =

2
lm
2l + 1

(4.9)

34

4.1.3

Relao entre os polinmios de Legendre e a funo hipergeomtrica

Faa a troca y =

1x
2

(x = 2y + 1) na eq. diferencial de Legendre (4.8). Aps uma

pequena lgebra

y(1 y)

d2
d
Pl (y) + (1 2y) Pl (y) + l(l + 1)Pl (y) = 0
2
dy
dy

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 Pl (1) = 1 (ver exerccio (1) deste pargrafo) e 2 F1 (a, b; c; 0) = 1, a
relao entre essas funes fica

Pl (x) = 2 F1

1 x%
l, l + 1; 1;
2

(4.10)

Queremos deixar claro que a segunda soluo da eq. (4.8) existe, mas pela relao com
a eq. diferencial hipergeomtrica fica 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 Pl (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 fsicas2 ) 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 F1 (l, l + 1; 1; 1) (0) (plo simples), pois c = a + b = 1, a menos
que a hipergeomtrica seja um polinmio3 .
1

ver apndice C
existem excees, principalmente no eletromagnetismo.
,1
3
um polinmio no pode divergir num valor finito. Alm disso, a M.Q. exige que 1 (P (x))2 < o
,1
,1 1
1
que no seria possvel se P (1) fosse um plo simples 1 (P (x))2 dx
(1x)2 dx 1x , x 0.
2

35

4.1.4

Exerccios Propostos

(1) Usando a eq. (4.1) no ponto x = 1, mostre que Pl (1) = 1 l = 0, 1, 2, . . .

(2) Frmula de Rodrigues:
Uma definio alternativa para os polinmios de Legendre :

Pl (x) =

1 dl 2
(x 1)l
2l l! dxl

(4.11)

Verifique 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
Pl (x) = (1)l Pl (x)

(4.12)

(4) Prove a relao (basta usar a funo geratriz (4.1))

$ r %l
1#
Pl (cos )
=
, r < r
r l=0
r
|.r .r|

onde cos =

)
r.)
r
.
|)
r||)
r|

(4.13)

A eq. acima muito til no eletromagnetismo, em especial na expanso

multipolar (ver final do apndice A).

(5) Expanso de uma funo em termos dos polinmios de Legendre
(a) Seja F (x) uma funo contnua por partes definida no intervalo x [1, 1]. Supondo
que F (x) possa ser expandida em termos dos polinmios de Legendre

F (x) =

Cl Pl (x)

(4.14)

F (x)Pl (x)dx

(4.15)

l=0

mostre (com a ajuda da eq. (4.9)) que

2l + 1
Cl =
2

(b) Prove a chamada relao de completude (ver eq. (B.8)):

(x x ) =

#
(2l + 1)
l=0

Pl (x)Pl (x% ), 1 < x, x% < 1

(4.16)

36

4.2
4.2.1

Funes de Legendre Associadas

Definio e equao diferencial

A definio das Funes de Legendre Associadas

Plm (x) = (1 x2 )m/2

dm
Pl (x), l m l
dxm

(4.17)

A eq. acima fornece alguns resultados importantes de imediato. Um que

Plm (1) = Plm (1) = 0

(4.18)

outro a paridade de Plm (x). Fazendo x x na definio acima mais a ajuda da eq.
(4.12):

Plm (x) = (1)l+m Plm (x)

(4.19)

Tambm evidente que Plm (x) = 0 se m > l (explicando parte da restrio sobre os
valores de m), pois Pl (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 definio (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 Plm (x) e Plm (x),
i.e. suficiente nos restringirmos ao caso m > 0.
Pela definio (4.17) mais a eq. (4.3) fica fcil derivar algumas das Funes de Legendre
Associadas:

l = 1 : P11 (x) = (1 x2 )1/2

l = 2 : P21 (x) = 3x(1 x2 )1/2 , P22 (x) = 3(1 x2 )

(4.20)

3
(5x2 1)(1 x2 )1/2 , P32 (x) = 15(1 x2 ), P33 = 15x(1 x2 )3/2
2
5
15
l = 4 : P41 (x) =
(7x3 3x)(1 x2 )1/2 , P42 (x) = (7x2 1)(1 x2 )
2
2

l = 3 : P31 (x) =

P43 (x) = 105x(1 x2 )3/2 , P44 (x) = 105(1 x2 )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.
$
dm
dm
1 x%
P (x) = m 2 F1 l , l + 1; 1;
m l
dx
2
:
; dx
$
(l + m) (l + m)! 1 (1)m
1 x%
eq.(2.13)
=
F

l
+m,
l
+
1
+
m;
1
+
m;
2
1
(l)
l!
m! 2m
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:

Plm (x) =

$
(l + m)! (1 x2 )m/2
1 x%

(l

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

A vantagem da eq. acima que obviamente

1; m + 1; y) (y =

1x
)
2

Plm (x(y))
[1x2 (y)]m/2

Plm (y)
[y(1y)]m/2

(4.21)

2 F1 ((l m), l +

soluo da eq. hipergeomtrica (2.1), com a = (l m),

b = l + m + 1 e c = m + 1, i.e.

y(1 y)

/m/2 m %
/m/2 m %
d $.
d2 $.
y(1

y)
P
(y)
+
(1
+
m

2(m
+
1)y)
y(1

y)
Pl (y) +
l
dy 2
dy
$.
/m/2 m %
((l m))(l + m + 1) y(1 y)
Pl (x) = 0

Abrindo as derivadas (e usando a igualdade (l m)(l + m + 1) = l(l + 1) m(m + 1))

$
%
d2 m
m2
m
y(1 y) 2 Pl (y) + (1 2y)Pl (y) + l(l + 1) +
Plm (y) = 0
dy
4y(y 1)
Passando para a coordenada x = 1 2y:
d2
d
(1 x2 ) 2 Plm (x) 2x Plm (x) +
dx
dx

+
m2
l(l + 1)
Plm (x) = 0
(1 x2 )

(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 Associadas

Rescrevendo a eq. (4.22) na forma Auto-Adjunta:

%
d$
m2
2 d
m
(1 x ) Pl (x)
Plm (x) = l(l + 1)Plm
2
dx
dx
(1 x )
Uma simples comparao com a eq. (B.3) fornece: p(x) = (1 x2 ), q(x) =

m2
,
(1x2 )

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

(Plm , Plm
$ )

(4.23)

%
dxPlm (x)Plm
$ (x) = 0, l (= l

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 Plm , algo facilmente
derivado via a frmula de Rodrigues dos polinmios Pl (x) (eq. (4.11)) e a definio (4.17)
(1)m/2 m/2 dm+l l
(1 x2 )m/2 dm+l 2
l
(x

1)

X
X
2l l!
dxm+l
22 l!
dxm+l

Plm (x) =

(4.24)

onde X = (x2 1). Assim:

(Plm , PlM )

dxPlm (x)2

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

dm+l l
dx X
X
dxm+l
1
m

;:

0
integrando por partes (e usando que X0x=1 = 0)
(1)m
= 2l 2
2 (l!)

; <
=
m+l
dm+l1 l d
m d
l
dx
X
X
X
dxm+l1
dx
dxm+l
1

aps l + m integrao por partes:

(Plm , PlM )

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

<
=
m+l
dm+l
m d
l
dxX m+l X
X
dx
dxm+l
1

dm+l l
X
dxm+l

39
Usando a frmula de Leibniz
n
$ dns
%$ ds
%
? #
dn >
n!
A(x)B(x)
=
A(x)
B(x)
dxn
(n s)!s! dxns
dxs
s=0

(4.25)

temos:
<
= #
l+m
l+m
dm+l
(m + l)! $ dm+ls m %$ ds+l+m l %
m d
l
X
X =
X
X
dxm+l
dxl+m
(m + l s)!s! dxm+ls
dxs+l+m
s=0
como Xp 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:
<
=
: 2m
;: 2l ;
l+m
(m + l)!
(m + l)!
d
d
dm+l
m d
l
m
l
X
X
=
X
X
=
(2m)!(2l)!
dxm+l
dxl+m
(2m)!(l m)! dx2m
dx2l
(2m)!(l m)!
Substituindo o resultado acima no clculo da norma e escrevendo X explicitamente:
(Plm , Plm )

! 1
(2l)!(l + m)!
dx(1)l (x2 1)l
= 2l 2
2 (l!) (l m)! 1
!
.
/2l+1
(2l)!(l + m)!
= 2l 2
sin
d, x = cos
2 (l!) (l m)! 0
&
'(
)
(l!)2

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

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

onde o resultado da integral acima dado pelo exerccio (3) do captulo 1. Finalmente:

(Plm , Plm
$ ) =

2 (l + m)!
ll$
2l + 1 (l m)!

que a equao procurada.

4

Xp = (x2 1)p = x2p + O(x2p1 )

d2p
p
dx2p X

= (2p)!

(4.26)

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 m2 , i.e. no
depende do sinal de m. Esse fato demonstra que Plm (x) (m > 0) tambm soluo da
mesma equao. Consequentemente ou ela proporcional Plm ou corresponde segunda
soluo independente da equao de segunda ordem. A primeira opo a correta, j que
Plm 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:

Plm (x) = Clm Plm (x)

onde Clm uma constante de proporcionalidade que s depende de l e m. Para encontrar
Clm tenha:

(Plm , Plm )

eq.(4.17)
dxPlm (x)Plm (x) =

%$ dm
%
$ dm
dx
Pl (x)
Pl (x)
dxm
dxm
1
1

integrando por partes

! 1 $ m+1
$ dm
%$ dm1
%00x=1
%$ dm1
%
d
0
=
P
(x)
P
(x)

dx
P
(x)
P
(x)
l
l
l
l
0
dxm
dxm1
dxm+1
dxm1
1
x=1

o primeiro termo nulo devido a paridade de Pl (x) ( Pl (x) = (1)l Pl (x) via eq.
(4.12)). Aps m integraes por partes (sempre com o termo de derivada total dando
zero):

(Plm , Plm )

= (1)

dxPl (x)2 = (1)m

2
2l + 1

Por outro lado:

(Plm , Plm ) = Clm (Plm , Plm ) = Clm

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

41
Comparando:

Plm (x) = (1)m

(l m)! m
P (x)
(l + m)! l

(4.27)

provando que Plm e Plm so proporcionais, i.e. linearmente dependentes.

4.3

Exerccios Propostos

(1) Os harmnicos esfricos (que descrevem a dependncia angular de um sistema quntico no-relativstico com simetria radial) so definidos como:

Ylm (, ) =

2l + 1 (l m)! m
P (cos )eim , 0 , 0 < 2
4 (l + m)! l

onde l N e m = l, l + 1, . . . , l 1, l. Verifique que:

!

d sin |Ylm (, )|2 = 1

(4.28)

42

Apndice A
Transformada de Fourier e Delta de
Dirac
Um certo conhecimento sobre transformada de Fourier essencial no curso de Mec. Quntica, 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 transformada de Fourier, ao menos o suficiente para os nossos propsitos1 . 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 definido como:

nm =
1

0, se n (= m

1, se n = m

o aluno que desejar se aprofundar mais no assunto deve consultar a bibliografia

(A.1)

43
Existem muitas representaes para a eq. (A.1). As de nosso interesse so:
! L
x
1
=
ei(nm) L dx
2L L
! L
$ nx %
$ mx %
1
=
cos
cos
dx
L L
L
L
! L
$ nx %
$ mx %
1
sin
=
sin
dx
L L
L
L

nm

(A.2)

onde as duas ltimas no representam 00 = 1. Por inspeo direta voc pode confirmar
que essas representaes so legtimas. A eq. (A.2) serve como pr-requisito para a
definio de sries de Fourier.
Seja a funo f (x) um vetor no espao vetorial das funes contnua por partes2 no
intervalo x [L, L] (chamarei de CP ), ento assumindo que o conjunto de vetores
(1/2, cos Lx , cos 2x
, . . . , sin Lx , sin 2x
, . . .) forma uma base de CP , f (x) pode ser escrita como:
L
L
:
$ nx %
$ nx %;
a0 #
+ bn sin
f (x) =
+
an cos
2
L
L
n=1

(A.3)

Mesmo sem provar nada a definio acima bem natural, onde a parte dos cossenos
(incluindo o termo a0 ) descreve a parte simtrica da funo, enquanto os senos a parte
anti-simtrica3 . Para determinar os coeficientes de Fourier a0 , an e bn , vamos aplicar, res, L
, L
, L
pectivamente, L dx, L dx cos mx
, L dx sin mx
na eq. acima e utilizar (assumindo
L
L
uma integrao termo a termo) a eq. (A.2). Assim temos:

a0
an
bn
2

! L
1
=
dxf (x)
L L
! L
$ nx %
1
=
dxf (x) cos
L L
L
! L
$
1
nx %
=
dxf (x) sin
L L
L

(A.4)

funes que possuem apenas um nmero finito de descontinuidades e de extremos (mximos, mnimos
e pontos de inflexo) em um intervalo definido.
3
toda funo pode ser escrita como a soma de uma parte simtrica e uma ani-simtrica: f (x) =
1
(f
(x)
+ f (x)) + 12 (f (x) f (x))
2

44
nx

nx

Com as frmulas cos nx

= 12 (ei L + ei L ) e sin nx
=
L
L

nx
1
(ei L
2i

nx

ei L ), a srie de Fourier

(A.3) pode ser rescrita como:

f (x) =

nx

(A.5)

cn ei L

n=

onde
a0
2
1
=
(an ibn ), se n > 0
2
1
=
(an + ibn ), se n < 0
2

c0 =
cn
cn

Substituindo (A.4) na eq. acima, chega-se a uma frmula universal para cn

1
cn =
2L

que poderia ser derivada aplicando

, L

nx

(A.6)

dxf (x)ei L n Z

dxei

mx
L

na eq. (A.5) e usando a primeira eq.

de (A.1). Repare que nessa forma os coeficientes so imaginrios, porm cn = cn o que

garante a realidade de f (x) (f (x) = f (x)). Por outro lado, poderamos ter definido 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 coeficientes cn seriam
dados por (A.6), i.e. as eqs. (A.5) e (A.6) definem a srie de Fourier mesmo para uma
funo complexa (s que sendo complexa, cn (= cn ). 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 definida 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 cn c(k),

45
ento temos pela eq. (A.5):

f (x) =

#.
k

/
ikx
Lk
& '( ) c(k)e
=1

.
/
1 #
=
k 2Lc(k) eikx
2 k
Definindo:

F (k)

/
1
2Lc(k) =
2

dxf (x)eikx

a srie pode ser escrita como:

f (x) =

#
# F (k)
eikx k =
reak
2
k
k

(A.7)

onde reak explicado graficamente na figura A.1

F.eikx
2

Rea

real

!k
!

Figura A.1: Valores de

F (k) ikx
e
2

(com x fixo) 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 fig. (A.1).

Fica evidente pela figura (A.1) que no limite L (k 0) a varivel k se torna

contnua, F (k)eikx (x fixo) 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 final para a

46
transformada de Fourier :
!
1
f (x) =
dkF (k)eikx
2
!
1
F (k) =
dxf (x)eikx
2

A.3

(A.8)

Delta de Dirac

A transformada de Fourier pode ser usada para derivar uma representao integral da
funo (distribuio) Delta de Dirac ((x)) que definida como:
!

f (x)(x x0 )dx = f (x0 )

(A.9)

fazendo f (x) = (x) na segunda eq. de (A.8) implica que

1
F (k) =
2
e, consequentente:
1
(x) =
2

dkeikx

(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
definirmos 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
, ik$ x
1
e
nos dois lados da equao). O que quero dizer que a frmula (A.8) vale
2

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)(x a)dx = f (a).1 = f (a) (x a)dx = f (a)(x a)dx

(ax) = (x)
|a|
,
,
,
,
x
prova: (x)dx = ( |a|x
)|a|d
=
(|a|(|a|y))dy
=
(|a|(ay))dy =
|a|
|a|

,
(|a|(ax))dx

# (x xn )

(g(x)) =

|g % (x

prova:

n )|

, onde g(xn ) = 0 e g % (xl ) (= 0

(A.11)

(x x1 )dx,

com a troca: (x x1 ) = (|g(x)|) = (g(x)) dx = |g % (x)|dx (g(x1 ) = 0 e

g % (x1 ) (= 0), logo:
!

(x x1 )dx =
(g(x)) =

(g(x))|g % (x)|dx

(x x1 )
(x x1 )
=
%
|g (x)|
|g % (x1 )|

a generalizao imediata.

A.4

Transformada de Fourier em d dimenses e consequncias

A generalizao da Delta de Dirac para d-dimenses imediata:

!

Rd

f (.x) d (.x .x% )dd x = f (.x% )

(A.12)

48
ou seja:

d (.x .x% ) (x1 x%1 )(x2 x%2 ) . . . (xd x%d )

; : !
;
: !
1
1
ik1 x1
ikd xd
dke
...
dke
=
2
2
!
1
)
dd keik.)x
=
d
(2) Rd

(A.13)

A forma natural da transformada de Fourier em d dimenses :

1
f (.x) =
(2)d/2

Rd

dd kF (.k)eik.)x

(A.14)

e a eq. (A.13) mais a definio (A.12) garantem que a transformao inversa (basta aplicar
,
)
1
eik.)x nos dois lados da eq. acima) seja dada por:
d/2
Rd
(2)
F (.k) =

1
(2)d/2

dd xf (.x)eik.)x

Rd

(A.15)

definindo a transformada de Fourier em d-dimenses.

Uma propriedade interessante (e muito importante na mec. quntica) da transformada
de Fourier :
!

Rd

d x|f (.x)| =

Rd

dd k|F (.k)|2

(A.16)

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

!

Rd

d x|f (.x)|

;:
;
!
!
1
1
d % . % i)k$ .)
x
d
i)k.)
x
.
d k F (k )e
d kF (k)e
=
d x
(2)d/2 Rd
(2)d/2 Rd
Rd
!
!
!
1
) )$
d
d %
.%
.
=
d k
d k F (k)F (k )
dd xei(kk ).)x
d
(2) Rd
Rd
Rd
&
'(
)
!

Rd

= d ()k)k$ )

dd 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.:
(A.17)

(2(x) 2 )G(.x .x% ) = e 3 (.x .x% )

0 uma constante com dimenso do inverso do comprimento. Substituindo no lado

esquerdo a transformada de Fourier
1
G(.x .x ) =
(2)3/2
%

R3

.k)ei)k.()x)x$ )
d3 k G(

e no direito a eq. (A.13) (com d = 3), ficamos com:

1
(2)3/2

i)k()
x)
x$ )

R3

d ke

e
(2)3/2

(|k| + )G(k)
+
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:
e
G(.x .x ) =
(2)3
%

eik()x)x )
dk
(|.k|2 + 2 )
R3
3

passando para coordenadas esfricas: d3 k k 2 sin dkdd e .k(.x .x% ) = kr cos , onde
k |.k| e r |.x .x% |
e
G(.x .x ) =
(2)3
%

k2
dk 2
k + 2

&0

d sin eikr cos

'(
)
R1

deikr

e
k sin(kr)
e
k sin(kr)
dk 2
= 2
dk 2
2
2
2 r 0
k +
4 r
k + 2
:!
;
:!
;
keikr
e
keikr
e
=
3m
dk 2
= 2 3m
dk
4 2 r
k + 2
4 r
(k + i)(k i)

'(
)
&
=

(I) =

izr

dz

=(I)

izr

ze
ze
= 2iRes
(z + i)(z i)
(z + i)(z i)

= ier

z=i

50
onde o contorno C dado pela figura (A.2). Pegando a parte imaginria do resultado
acima chegamos resposta do problema:
Im z

R#$

i
Re z

"i

Figura A.2: Contorno C

G(r) =

e r
e
4r

conhecido como potencial de Yukawa. No limite 0 e com e =

(A.18)
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 fica:

G(r) =

1 1
4$0 r

(A.19)

Por fim, mostrarei como a soluo (A.19) suficiente para determinar o potencial eletrosttico de qualquer distribuio de carga (.x) (a carga total da distribuio q =
,
(.x)d3 x), i.e. qualquer soluo da eq. de Poisson:
R3
2 (.x) =

(.x)
$0

Para isso, basta escrever (.x) como:

(.x) =

R3

d3 x% G(.x .x% )(.x% )

(A.20)

51
Aplicando 2 :
2

(.x) =

.
/
(.x)
!
d3 x% 2 G(.x .x% ) (.x% ) =
$0
R3

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

1
(.x) =
4$0

R3

d3 x%

(.x% )
|.x .x% |

0 $0
onde o integrando pode ser expandida em termos de 0 )x)x 0 =

(A.21)
r$
r

(se |.x| for maior que as

dimenses da distribuio de cargas) via frmula (4.13):

1 #
(.x) =
4$0 r l=0
=

$ r % %l
.x..x%
d3 x% (.x% )Pl (cos )
, cos =
r
rr%
R3

1 q
1 p...x
1 xi xj ij
+
+
Q + ...
3
4$0 r 4$0 r
4$0 2r5

que a famosa expanso multipolar. Os termos p. e Qij so, respectivamente, chamados

de momento de dipolo e tensor de quadripolo e so dados por:

p. =
ij

R3

R3

d3 x%.x% (.x% )
d3 x% (.x% )(3x%i x%j ij r%2 )

Qij um tensor simtrico (Qij = Qji ) e de trao nulo (Qii = 0).

52

Apndice B
Problema de Sturm - Liouville
Dada a EDO de segunda ordem:

y %% (x) +

a1 (x) %
a0 (x)
y (x) +
y(x) = 0
a2 (x)
a2 (x)

(B.1)

com a2 (x) (= 0, exceto em alguns pontos isolados (possveis singularidades). Multiplicando

, x x)
, x x)
a eq. por p(x) = exp( aa12 (
d
x) e definindo q(x) = aa02 (x)
exp( aa12 (
d
x), rescrevemos a
(
x)
(x)
(
x)
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.
n (x) = n (x)yn (x)
Ly

(B.3)

supondo que cada yn corresponda apenas uma constante n , ou seja, sem degenerescncia. A funo (x) (positiva definida) chamada de funo peso e ser importante mais
frente.
As funes yn (x) (para vrios valores de n), esto definidas 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 suficientes para mostrar a ortogonalidade entre as funes yn (x).
Para provar a afirmao, basta tomar a seguinte diferena:
m ) ym (Ly
n ) = (n m )(x)yn (x)ym (x)
yn (Ly
que aps simplificaes no lado esquerdo (usando a eq. (B.2)) toma a forma
>
.
/?%
%
p(x) yn (x)ym
(x) ym (x)yn% (x) = (n m )(x)yn (x)ym (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:
.
/00
%
p(x) yn (x)ym
(x) ym (x)yn% (x) 0

CP

= 0 = (n m )

(x)yn (x)ym (x)

CP

Com isso, conclumos que se n (= n , ento

(yn , ym )

CP

(x)yn (x)ym (x) = 0 n (= m

(B.5)

Ou seja, as funes yn e ym (n (= m) so ortogonais em relao ao produto interno definido

pela eq. (B.5), onde a funo peso (x) tem o papel de garantir que a norma quadrada
de yn seja bem definida, i.e. ||yn ||2 (yn , yn ) < .

54
No caso de n ser um ndice discreto, variando de zero at o infinito, a eq. (B.5) garante 1
que uma funo F (x) em CP possa ser expandida em termos de yn (i.e. yn forma uma
base de CP )

F (x) =

cn yn (x), com

(B.6)

n=0

cn

1
1
=
(F (x), yn ) =
2
||yn ||
||yn ||2

(x)F (x)yn (x)dx

(B.7)

CP

Se F (x) = (x x% ) (x, x% CP ), temos a relao de completude (ou completeza):

$
(x x% )
=

(x% )

x$

% #
(
x)d
x =
n=0

1
yn (x)yn (x% )
2
||yn ||

onde na primeira igualdade usei a manjada frmula (A.11).

no uma prova matemtica

(B.8)

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

cuja soluo geral seja dada por:

y(x) = Ay1 (x) + By2 (x); A, B = const

(C.1)

56
onde y1 (x) e y2 (x) so solues linearmente independentes (l.i.) da eq. Ento o Wronskiano definido como o seguinte determinante:
0
0
0
0
0 y1 y2 0
d $ y2 %
0
0
W (x) 0
(= 0
0 = y1 y2% y1% y2 = y12
0
dx y1
% 0
0 y1 y2 0

(C.2)

O Wronskiano no nulo, pois se o fosse indicaria que y1 e y2 no so l.i. (y1 (x) y2 (x)).
Derivando o Wronskiano:

W % (x) = y1 y2%% y1%% y2

como y1 e y2 so sulues de (C.1): yi%% = P yi% Qyi , i = 1, 2, a eq. acima pode ser
escrita da seguinte forma:

W % (x) = y1 y2%% y1%% y2 = y1 P y2% Qy1 y2 + P y1% y2 + Qy1 y2

= P (y1 y2% y1% y2 ) = P (x)W (x)
Integrando:

W (x) e

Rx

P ()d

(C.3)

Igualando as eqs. (C.2) e (C.3)

Rx
d $ y2 %
e P ()d
dx y2
$
%
! x $ %
! x exp , P ()d
y2

d
y1
y12 ()

y12

ento

y2 (x) y1 (x)

$ ,
%

exp P ()d
y12 ()

(C.4)

Portanto, se temos o conhecimento de uma das solues (y1 (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) =

0 =
=

$
#
n=0

n=0

Cn xn+k na eq.

%
Cn (n + k)(n + k 1) + Cn (n + k) xn+k1

Cn (n + k)2 xn+k1

n=0

ou seja, Cn = 0, exceto Ck . Assim, y(x) y1 (x) = Ck = const que obviamente

soluo da eq. acima. O mtodo no forneceu a segunda soluo, vamos ach-la via eq.
(C.4) (com P (x) = x1 )
y2 (x)

dexp

1 %
d =

d
= ln|x|

A soluo geral fica:

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 y1 (z) sendo dado por

58
(2.3))

y2 (z) y1 (z)
ln|z|

dz

% |z

1
1/2|
|z|'1

%
%
2
%
a+b+1
|z |
y1 (z ) |1 z |

dz %
|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) (y1 (x)), pelos nossos
argumentos a segunda soluo deve ter um comportamento ln x, x 0, o que nos estimula
a tentar o seguinte ansatz :

y2 (x) = u(x) ln x + v(x)

(C.5)

u(x) e v(x) so funes a serem determinadas. Colocando em (C.1)

2u%
u
u
2 + P + v %% + P v % + vQ = 0
ln x(u + P u + Q) +
x
x
x
%%

Escolhendo u = y1 o primeiro termo se anula, resultando em:

v %% + P (x)v % + Q(x) =

y1
y1
y1%

P
(x)

2
x2
x
x

(C.6)

Agora podemos tentar resolver a eq. acima tomando

v(x) =

Cn xn+k

n=0

i.e. com Frobenius. Escrevendo explicitamente a srie de y1 (x) nos termos do lado direito
e comparando potncia a potncia, podemos determinar os coeficientes Cn .
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) = y1 (x) (soluo
conhecida), chega-se eq. (C.6) que, talvez, seja resolvida pelo mtodo de Frobenius.

59

Referncias Bibliogrficas
[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.