Você está na página 1de 64

UNIVERSIDADE FEDERAL DO ESPRITO SANTO

CENTRO DE CINCIAS EXATAS

G. M. Sotkov e U. Camara dS

Notas de Funes Especiais

VITRIA
2010

Resumo
Estas notas 1 , auto-consistentes, foram feitas para auxiliar o aluno (voc mesmo) no estudo das seguintes funes especiais: Gamma, Beta, Hipergeomtrica, Hipergeomtrica
Conflluente, os Polinmios de Hermite, de Legendre e as Funes de Legendre Associadas. Ns enfatizamos as propriedades que sero teis em vrios cursos2 : condies para
as hipergeomtricas se tornarem polinmios e expanses assintticas das hipergeomtricas.
Tambm so oferecidos vrios exerccios, todos com aplicaes na fsica, com o objetivo
de estimular o aluno a se interessar mais pelo assunto. No fim, 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 ltimas
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.

1
2

ainda em construo
os principais so: Mecnica Quntica e Eletromagnetismo Clssico

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 Legendre . . . . . . . . . . . . . . . . . . . . . .

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 . . . . . . . . . . . . . . . . . . . . . . . . . 17

Funo Hipergeomtrica Confluente . . . . . . . . . . . . . . . . . . . . . . 19


2.2.1

Equao diferencial e soluo via srie de potncias . . . . . . . . . 19

2.2.2

Representao Integral . . . . . . . . . . . . . . . . . . . . . . . . . 20

2.2.3

Expanso Assinttica . . . . . . . . . . . . . . . . . . . . . . . . . . 21

2.2.4

Hipergeomtrica confluente como um problema de Sturm-Liouville . 22

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

3 Polinmios de Hermite

25

3.1

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

3.2

Ortogonalidade e norma dos Polinmios de Hermite . . . . . . . . . . . . . 26

3.3

Relao com a funo Hipergeomtrica Confluente . . . . . . . . . . . . . . 28

3.4

Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

4 Funes de Legendre
4.1

Polinmios de Legendre

31
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

4.1.1

Funo Geratriz, Relaes de Recorrncia e Equao Diferencial . . 31

4.1.2

Ortogonalidade e norma dos polinmios de Legendre . . . . . . . . 33

4.1.3

Relao entre os polinmios de Legendre e a funo hipergeomtrica 35

4.1.4
4.2

4.3

Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . 36

Funes de Legendre Associadas . . . . . . . . . . . . . . . . . . . . . . . . 37


4.2.1

Definio e equao diferencial . . . . . . . . . . . . . . . . . . . . . 37

4.2.2

Ortogonalidade e norma das Funes de Legendre Associadas

4.2.3

O caso m < 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

. . . 39

Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

A Transformada de Fourier e Delta de Dirac

43

A.1 Delta de Kronecker e Sries de Fourier . . . . . . . . . . . . . . . . . . . . 43


A.2 Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
A.3 Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
A.4 Transformada de Fourier em d dimenses e consequncias . . . . . . . . . . 48
B Problema de Sturm - Liouville

53

C Wronskiano e a segunda soluo independente

56

C.1 Wronskiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

Referncias Bibliogrficas

60

Captulo 1

Funes Gamma e Beta

1.1

Funo Gamma

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


Z

et tz1 dt ; <e(z) > 0,

(z)

(1.1)

sua propriedade mais importante :

(1 + z) = z(z).

(1.2)

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


t=
t z

(1 + z) = e t

et tz1 dt = z(z).

+z

t=0

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)
Z
(1/2) =

t 21

e t
0

t=u2

dt = 2
0

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 6= 1 e coincide com velha definio (eq. (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 reescrevendo a eq. (1.1) da seguinte forma
Z
(z) = lim

t n z1
1
t dt,
n

j que1

lim

n
1

t n X
tn
=
(1)n et ,
1
n
n!
n=0

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

3
com a troca de varivel u =

t
n

(z) =

lim n

e integrando n vezes por partes

(1 u)n uz1 dt

0
Z 1
n
z
= lim n
(1 u)n1 uz dt
n
z 0
Z 1
z n(n 1)
= lim n
(1 u)n2 uz+1 dt
n
z(z + 1) 0
Z 1
z n(n 1)(n 2)
= lim n
(1 u)n2 uz+2 dt
n
z(z + 1)(z + 2) 0
..
.
Z 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
|
{z
}
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.

ex xa1 dx

(a)(b) =

! Z

ey y b1 dy

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

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

(a)(b) = 4

2 +v 2 )

dve(u

du

u2a1 v 2b1

u = r cos e v = r sin
Z
=4

r2

e
1
2

|R0

! Z

r2(a+b)1 dr
{z
}

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

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

Levando representao integral de B(a, b):


Z
B(a, b) = 2

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

(1.7)

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

ta1 (1 t)b1 dt

B(a, b) =

(1.8)

t = x2 em (1.8)
1

x2a1 (1 x2 )b1 dx

B(a, b) = 2

(1.9)

t=

u
1+u

em (1.8)
Z
B(a, b) =
0

ua1
du
(1 + u)a+b

(1.10)

1.3

Relao entre a funo Gamma e funes trigonomtricas

()(1 )
=
B(, 1 )
(1)
|{z}

Z
0

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

(1.11)

=1

onde usamos a eq. (1.10)


Resoluo da integral:

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

f (z)dz,
C

onde o contorno C dado pela figura (1.1)


Im z

C2

Re z

-1

C1

Figura 1.1: Contorno C

Z
I =


x1
dx +
1+x

Z
C2

z 1
+
1+z

1
Z
e2i x
z 1
dx
+
dz
1 + |{z}
e2i x
C1 1 + z
=1

= 2iRes f (z)

i(1)

= 2ie
z=1

6
C1 :
z 1
dz ; z = ei
1
+
z
C1
Z 2
ei

=
i
d  0 ( 0).
i
1 + e
0
Z

C2 :
z 1
dz ; z = Rei ,
1
+
z
C2
Z 2
ei
1

i
=R
d 1 0 (R ).
i
1 + Re
R
0
Z

No limite  0 e R

i(1)

2ie

2i(1)

1e

Z
0

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 Legendre

Para encerrarmos o captulo sobre funes Gamma e Beta, iremos derivar uma ltima
relao, muito utilizada, entre as funes Gamma. Tenha:
1
1  (z + 12 )2
B z + ,z +
=
2
2
(2z + 1)


eq.(1.8)

z1/2

z1/2

(1 t)

Z
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

eq.(1.8)

=2

|0

x1/2 (1 x)z1/2 ,
{z
}

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 Legendre. 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:
R
(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
=

!d
x2

dx

!
x21

dx1 . . .

x2d

dxd

Z
=

Pd

i=1

x2i d

d x.

Rd

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

et ln(t)dt =


d

0.5772,
(1 + z)
dz
z=0

(1.19)

a famosa constante de Euler.


A eq. (1.18) muito importante para o processo de renormalizao dimensional em teorias
qunticas dos campos.
(3) Calcule a integral4 :
Z

(sin )2n+1 d, n N

(Resposta:

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

os autores agradecem a aluna Amanda Ziviani de Oliveira por apontar erros de digitao neste
exerccio.

9
A funo Digamma definida como a derivada logartmica de (z), i.e.

(z)

d
ln (z).
dz

(1.20)

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



+ z)

n
X
1
ln n
m
m=1

!
+

X
l=1

z
.
l(z + l)

(1.21)

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


z=0

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

= lim

!
n
X
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)5 .
(5) Definio alternativa para a funo Gamma:
Comeando da eq. (1.5), mostre que

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

dy(z)
d2 y(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) =

gn z n+k ; k R ; g0 6= 0.

n=0
1

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


Uma EDO do tipo y 00 (z) + P (z)y 0 (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 00 (z) =

(k + n 1)(k + n)z k+n2 .

n=0

Substituindo em (2.1) e agrupando termo a termo:

k(k 1 + c)g0 z

k1

h
i
X
+
(k + n + 1)(k + n + c)gn+1 [(k + n)(k + n + a + b) + ab]gn z n+k = 0,
n=0

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

k=

1c

Caso k = 0:
Temos a relao de recorrncia:

gn+1 =

(n + a)(n + b)
gn ; c 6= 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) X (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) X
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 X (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.

13
Caso k = 1 c:
A recorrncia fica:

gn+1 =

(1 c + n)(1 + n + a + b c) + ab
(n + a + 1 c)(n + b + 1 c)
gn =
gn ; c 6= 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)
4

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

t)cd1 dt ; <e(c) > <e(d) > 0

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
(d)
(c)
I =
(d)(c d) (a)(b)

X
n=0

(a + n)
zn
(b + n)(d + n) n!

Z
|0

tn+d1 (1 t)cd1 dt
{z
}

eq.(1.8)

B(n+d,cd)=

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

(c) X (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)

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 vlida


para <e(c) > <e(d) > 0.
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
{z
}

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)

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

(1+c)

z }| {
Z 1
c(c)
ab
=
t(b+1)1 (1 t)(c+1)(b+1)1 (1 zt)(a+1) dt
c b(b) (c b) 0
| {z }
(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))
(m + a) (m + b) (c)
dm
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:


Z 1

z 
(c)
zt a
tcb1 (1 t)b1 1 +
=
dt
2 F1 a, c b; c;
1z
(c b)(b) 0
1z
Z 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

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

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

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 0 (z) = (1 z)cab [(c a b)(1 z)1 + 0 ]


h
i
(c a b) 0
y 00 (z) = (1 z)cab (c a b)(c a b 1)(1 z)2 2
+ 00
1z
Substituindo na eq. (2.1) e simplificando:
h
i
(1 z)(cab) z(1 z) 00 [c ((c a) + (c b) + 1)z] 0 (c a)(c b) = 0
(z) = A 2 F1 (c a, c b; c; z) + Bz 1c 2 (a + 1, b + 1, 2 c; z), A, B = const,

evidente que B = 0, pois, para B 6= 0 e c > 1 o lado direito da eq. fica singular em
z = 0 enquanto o lado esquerdo regular (uma contradio) e se c < 1, expandindo os
dois lados em potncias de z os termos que multiplicam B sero da forma BO(z 1c+n )
que no possuem anlogo no lado esquerdo, novamente levando B = 0. Portanto:

2 F1 (a, b; c; z)

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

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

2 F1 (a, b; c; z)

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

(2.15)

17

2.1.4

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

(i) |z|
colocando (2.14) dentro da integral (2.10):
(c)
2 F1 (a, b; c; z) =
(d)(c d)

t
0

d1

cd1

(1 t)

zt 
(1 zt) 2 F1 a, d b; d;
dt
1 zt
a

para |z| e <e(b) > <e(a)



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

b;
d;

F
2 1
1 zt
(b)(d a)
portanto

2 F1 (a, b; c; z)

|z|

Z 1
(c)(d)(b a)
td1 (1 t)cd1 (zt)a dt
(d)(c d)(b)(d a) 0
Z 1
(c)(b a)(z)a
tda1 (1 t)cd1 dt , ou
(c d)(b)(d a) 0
|
{z
}
eq.(1.8)

2 F1 (a, b; c; z)

|z|

B(da,cd)=

(da)(cd)
(ca)

(c)(b a)
(z)a ; <e(b) > <e(a).
(b)(c a)

Sabemos que a funo hipergeomtrica simtrica com 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

18
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.16)

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)
|
{z
}
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. Dela 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)(a + b c)
(c)(c b a)
+ (1 z)cab
(c a)(c b)
(a)(b)

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


6

2 F1 (c

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

(2.17)

19

2.2

Funo Hipergeomtrica Confluente

2.2.1

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)00 + [c (a + 1 1)z]y(z)0 ay(z) = 0

Tomando o limite  0 temos a EDO hipergeomtrica confluente:

zy 00 (z) + (c z)y 0 (z) ay(z) = 0

(2.18)

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) X (a + n) (z)n
= lim
0 (a)
(c + n) n!
n=0

(1/ + n)
(1/)
| {z }

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

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

(2.19)

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


A segunda soluo independente de (2.18) 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

20
Soluo geral de (2.18)7

y(z) = A1 F1 (a; c; z) + Bz 1c 1 F1 (1 + a c; 2 c; z); c


/Z

(2.20)

onde A e B so constantes.
Observaes:
(i) A eq. (2.18) 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:

1 F1 (N ; c; z)

N
X

(1)n

n=0

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

2.2.2

P
0

zn
n!

(c) z n
N!
(N n)! (c + n) n!

(2.21)

= 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.22)

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


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

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

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


ver prximo pargrafo

(2.23)

21

2.2.3

Expanso Assinttica

Da eq. (2.23) 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
Z

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

u a1

e
|0

!
Z z

u ca1
u ca1
u a1
1+
e u
1+
du +
du
z
z
{z
} |
{z
}

(I)

(II)

(I): |z|

eu ua1 du = (a)

(I)
0

(II):
z

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

Z
|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)
(c) z ac
(z)a +
ez
(c a)
(a)

(2.24)

que o resultado desejado9 .


9

repare que a eq. (2.24) cresce exponencialmente, por isso a singularidade no infiito irregular
(essencial)

22

2.2.4

Hipergeomtrica confluente como um problema de SturmLiouville

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


reescrevemos a eq. (2.18) na forma Auto-Adjunta:

z c ez y 0

0

= 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 autovalores, sendo a o
autovalor. 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 ya0
(a 6= a0 ) so ortogonais com relao ao produto interno (B.5), i.e.
Z

z c1 ez 1 F1 (a; c; z)1 F1 (a0 ; c; z) = 0, a 6= a0 , <e(c) > 0

(2.25)

2.3

Exerccios Propostos

(1) Resolva a eq. (2.18) atravs do mtodo de Frobenius (srie de potncias), chegando
eq. (2.19).
(2) Integral elptica completa de primeiro tipo e o perodo do pndulo:
(a) A integral elptica completa de primeiro tipo definida como
Z
k(m) =
0

dt
(1

t2 ) 2 (1

mt2 ) 2

, |m| < 1.

(2.26)

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

23
(b) O perodo de oscilao de um pndulo dado pela integral:
s
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.26),
chegue em:
s

l  2  
k sin
T = 4
g
2
s 
 

 
l
1 2 
9
4
6
= 2
1 + sin
+
sin
+ O sin
g
4
2
64
2
2
(3) A definio da funo Gamma Incompleta :

et tz1 dt = 2

(z, x)
0

eu u2z1 du, x > 0,

(2.27)

Atravs da representao integral (2.23), verifique a igualdade:


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

(2.28)

(4) A funo Beta Incompleta definida como:


Z

ta1 (1 t)b1 dt, 0 < x 1,

B(a, b)x

(2.29)

(a) Demonstre a seguinte srie de Taylor:

(1 t)b1 =

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

X
(1 b + n)
n=0

(1 b)

xn
n!(n + a)

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

B(a, b)x =

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

(2.30)

(5) Utilizando as representaes na forma de sries de potncias da hipergeomtrica e da


hipergeomtrica confluente (eqs. (2.3) e (2.19)), demonstre a frmula:
Z

e
0


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

(2.31)

que serve, por exemplo, para normalizar os auto-estados de energia do potencial de Morse
unidimensional na Mecnica Quntica.

25

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

X
zn
n=0

n!

Hn (u)

(3.1)

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

na eq. acima:

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

(2uHn 2nHn1 Hn+1 )

n=1

zn
=0
n!

nos levando a relao de recorrncia:

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

(3.2)

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

X zn
g
= 2zg =
Hn0 (u)
u
n!
n=0
2n

X
zn
n=1

Hn0

n!

Hn (u) =

X
zn
n=0

n!

Hn0 (u)

= 2nHn1 (u)

(3.4)

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

Hn00 (u) 2uHn0 (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 reescrever a eq. (3.5) na forma Auto-Adjunta:
0
2
2
eu Hn0 (u) = 2neu Hn (u)
1

em relao a um produto interno a ser definido

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

eu Hn (u)Hm (u)du = 0, n 6= m

(Hn , Hm )

Alm da ortogonalidade, tambm precisamos da norma do vetor (para normalizar a funo


de onda do oscilador harmnico), i.e. de
Z

(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 tem-se que:
Z

2nAn1 =

u2

Z0
=

e
Z

u2

eu (Hn+1 + 2uHn )Hn1

eq.(3.2)

Hn (2uHn1 )du

Z
0

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

u2

(2nHn1 )Hn1 du

eq. (3.2)

Hn2 du = An

An+1 = 2(n + 1)An

(3.6)

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

(H0 , H0 ) A0 =

eu du =

para conhecer qualquer An .

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

An = 2n n! ,

ou seja:
Z
(Hn , Hm ) =
0

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

(3.7)

28

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

H00 (u) 2uH0 (u) + 2H (u) = 0

(3.8)

com (a priori) > 21 . 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 mecnica
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
+
x
+ H (x) = 0
2
dx
2
dx
2
que a EDO hiperg. confluente para a = 2 , c = 12 , cuja soluo dada pela eq. (2.19),
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.24). Por outro


lado, a mec. quntica impe uma condio de contorno sobre a soluo. exigido que a
integral
Z
(H , H ) =
0

eu H (u)2 du

29
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 Rodrigues:

Hn (u) (1)n eu

dn u2
e
dun

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

30
mostre (com a ajuda da eq. (3.7)) que
Z

1
Cn = n
2 n!

eu F (u)Hn (u)du

(3.13)

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

X
Hn (u)Hn (u0 )

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

(3.14)

31

Captulo 4

Funes de Legendre

4.1

Polinmios de Legendre

4.1.1

Funo Geratriz, Relaes de Recorrncia e Equao Diferencial

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

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

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

(x t)

X
l=0

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

X
(l + 1)Pl+1 (x)tl
l=0

32
Agrupando os termos em potncias de t

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

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

l=2

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
(5x3 3x), P4 (x) = (35x4 30x2 + 3)
P3 (x) =
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 (Pl0

dPl (x)
).
dx

X
X
t
g(x, t)
l
Pl0 (x)tl
=
P
t
=
l
2
x
(1 2xt + t ) l=0
l=0

Pl1 tl =

l=1

Pl0 tl 2x

l=0

0 =

P00 t0

0
Pl1
tl +

l=0

(P10

2xP00

0
Pl2
tl

l=2

X
0
0
P0 )t +
(Pl0 + Pl2
2xPl1
Pl1 )tl
l=2

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

P00 (x) = 0, P10 (x) = 1


0
0
Pl+1
(x) + Pl1
(x) = 2xPl0 (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

0
0
(2l + 1)Pl (x) = Pl+1
(x) Pl1
(x)

(4.5)

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

0
Pl0 = xPl1
+ lPl1

(4.6)

0
xPl1
= x2 Pl0 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 )Pl0 = lPl1 lxPl ,

(4.8)

uma consequncia importante de (4.8) : Pl (1) = Pl1 (1) e Pl (1) = Pl1 (1), l =
0, 1, 2, . . .. Como P0 (x) = 1, ento Pl (1) = (1)l . Derivando (4.8)

(1 x2 )Pl00 2xPl0 =

0
lPl1
| {z }

lPl lxPl0

eq.(4.7)

l(xPl0 lPl )

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

(1 x2 )Pl00 (x) 2xPl0 (x) + l(l + 1)Pl (x) = 0

(4.9)

que a eq. de Legendre. A outra soluo da eq. (4.9) ser discutida daqui a pouco (seo
(4.1.3)).

4.1.2

Ortogonalidade e norma dos polinmios de Legendre

trivial ver que pode-se reescrever a eq. (4.9) como

((1 x2 )Pl0 )0 = l(l + 1)Pl

34
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
Z

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

(Pl , Pm ) =
1

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:


Z
1 1
Pl (x) (2l 1)xPl1 (x) (l 1)Pl2 (x)
(Pl , Pl ) =
Pl (x) dx =
l 1
1
Z
(2l 1) 1
=
xPl (x)Pl1 (x)dx
l
1
Z

onde a ortogonalidade foi usada.


Agora multiplique a eq. (4.2) por Pl1 e integre:


Z
1 1
Pl1 (x) (2l + 1)xPl (l + 1)Pl+1
(Pl1 , Pl1 ) =
=
l 1
1
Z
(2l + 1) 1
=
xPl1 (x)Pl (x)dx
l
1
Z

2
Pl1

Comparando as eqs.

(Pl , Pl ) =

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

Sabendo que
Z

1
31
2, . . . ,
dx = 2 (P1 , P1 ) = 2 , (P2 , P2 ) =
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


Z

(Pl , Pm ) =

Pl (x)Pm (x)dx =
1

2
lm
2l + 1

(4.10)

35

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.9). 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.11)

Queremos deixar claro que a segunda soluo da eq. (4.9) 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.9) 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.
R1
3
um polinmio no pode divergir num valor finito. Alm disso, a M.Q. exige que 1 (P (x))2 dx < o
R
R1
1
1
que no seria possvel se P (1) fosse um plo simples 1 (P (x))2 dx 1 (1+x)
2 dx 1+x , x 1.
2

36

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

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

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

 r l
1X
Pl (cos )
=
, r < r
r l=0
r
|~r ~r|

onde cos =

~
r.~
r
.
|~
r||~
r|

(4.14)

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

F (x)Pl (x)dx

(4.16)

l=0

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


2l + 1
Cl =
2

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

(x x ) =

X
(2l + 1)
l=0

Pl (x)Pl (x0 ), 1 < x, x0 < 1

(4.17)

37

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

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

Plm (1) = Plm (1) = 0

(4.19)

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

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

(4.20)

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.18) 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.18) mais a eq. (4.3) fica fcil derivar algumas das Funes de Legendre
Associadas:

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

(4.21)

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


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

38
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
Pl (x) =
dxm
eq.(2.13)


dm
1 x
,
2 F1 l, l + 1; 1;
dxm
2



(l + m) (l + m)! 1 (1)m
1 x
.
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
F

(l

m),
l
+
1
+
m;
1
+
m;
.
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.22)

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 
d2 
d
P
(y)
+
(1
+
m

2(m
+
1)y)
Pl (y) +
y(1

y)
y(1

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

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.

39

4.2.2

Ortogonalidade e norma das Funes de Legendre Associadas

Reescrevendo a eq. (4.23) na forma Auto-Adjunta:



m2
d
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


Z

(Plm , Plm
0 )

1
0
dxPlm (x)Plm
0 (x) = 0, l 6= l

(4.24)

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.12)) e a definio (4.18)
(1 x2 )m/2 dm+l 2
(1)m/2 m/2 dm+l l
l
(x

1)

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

Plm (x) =

onde X = (x2 1). Assim:

(Plm , PlM )

dxPlm (x)2

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


 m+l 
m+l
d
m d
l
dx X
X
Xl
m+l
m+l
dx
dx
1


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

 

m+l
dm+l1 l d
l
m d
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

(4.25)

40
Usando a frmula de Leibniz
n
 dns
 ds

 X
n!
dn 
A(x)B(x)
=
A(x)
B(x)
dxn
(n s)!s! dxns
dxs
s=0

(4.26)

temos:

 X
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
l
m
l
m d
X
X
X
(2m)!(2l)!
X
=
=
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 )

Z 1
(2l)!(l + m)!
dx(1)l (x2 1)l
= 2l 2
2 (l!) (l m)! 1
Z
2l+1
(2l)!(l + m)!
= 2l 2
sin
d, x = cos
2 (l!) (l m)! 0
{z
}
|
(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
0 ) =

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

que a equao procurada.


4

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

d2p
p
dx2p X

= (2p)!

(4.27)

41

4.2.3

O caso m < 0

Nosso interesse est na soluo, no singular em x = 1, da eq. diferencial (4.23) ( 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.25) (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 )

=
1

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

 dm
 dm

dx
Pl (x)
Pl (x)
dxm
dxm
1

integrando por partes


Z 1  m+1
 dm
 dm1
 x=1
 dm1

d

dx
=
P
(x)
P
(x)

P
(x)
P
(x)
l
l
l
l

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

42
Comparando:

Plm (x) = (1)m

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

(4.28)

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


Z

Z
d

d sin |Ylm (, )|2 = 1

(4.29)

43

Apndice A

Transformada de Fourier e Delta de


Dirac

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 =

0, se n 6= m

1, se n = m

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

(A.1)

44
Existem muitas representaes para a eq. (A.1). As de nosso interesse so:
Z L
x
1
ei(nm) L dx
=
2L L
Z L
 nx 
 mx 
1
=
cos
cos
dx
L L
L
L
Z 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 X
+
an cos
+ bn sin
f (x) =
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, resR L
R L
R L
, L dx sin mx
na eq. acima e utilizar (assumindo
pectivamente, L dx, L dx cos mx
L
L
uma integrao termo a termo) a eq. (A.2). Assim temos:

a0
an
bn
2

Z L
1
=
dxf (x)
L L
Z L
 nx 
1
=
dxf (x) cos
L L
L
Z 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

45
nx

nx

= 12 (ei L + ei L ) e sin nx
=
Com as frmulas cos nx
L
L

nx
1
(ei L
2i

nx

ei L ), a srie de Fourier

(A.3) pode ser reescrita como:

f (x) =

nx

cn e i L

(A.5)

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

nx

dxf (x)ei L n Z

(A.6)

R L
L

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 6= 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),

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

f (x) =

X
k


ikx
Lk
| {z } c(k)e
=1


1 X
=
k 2Lc(k) eikx
2 k
Definindo:

F (k)


1
2Lc(k) =
2

dxf (x)eikx

a srie pode ser escrita como:

f (x) =

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

(A.7)

onde reak explicado graficamente na figura A.1


F.eikx
2

Rea

real

Dk

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

47
transformada de Fourier :
Z
1
dkF (k)eikx
f (x) =
2
Z
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:
Z

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 um 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
R ik0 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

48
ao invs de f (x) = (x) e F (k) =

1 .
2

f (x)(x a) = f (a)(x a) (|f (a)| < )


R
 R
R

prova: f (x)(x a)dx = f (a).1 = f (a) (x a)dx = f (a)(x a)dx

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

R
(|a|(ax))dx

X (x xn )

(g(x)) =

|g 0 (x

prova:

n )|

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

(A.11)

(x x1 )dx,

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


g 0 (x1 ) 6= 0), logo:
Z

(x x1 )dx =

(g(x))|g 0 (x)|dx

(g(x)) =

(x x1 )
(x x1 )
=
0
|g (x)|
|g 0 (x1 )|

a generalizao imediata.

A.4

Transformada de Fourier em d dimenses e consequncias

A generalizao da Delta de Dirac para d-dimenses :


Z
Rd

f (~x) d (~x ~x0 )dd x = f (~x0 )

(A.12)

49
ou seja:

d (~x ~x0 ) (x1 x01 )(x2 x02 ) . . . (xd x0d )


  Z

 Z
1
1
ik1 x1
ikd xd
...
dke
dke
=
2
2
Z
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

dd kF (~k)eik.~x

(A.14)

Rd

e a eq. (A.13) mais a definio (A.12) garantem que a transformao inversa (basta aplicar
R
~
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

(A.15)

Rd

definindo a transformada de Fourier em d-dimenses.


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

d x|f (~x)| =
Rd

dd k|F (~k)|2

(A.16)

Rd

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


Z

d x|f (~x)|
Rd



Z
Z
1
1
d 0 ~ 0 i~k0 .~
x
d
i~k.~
x
~
=
d x
d k F (k )e
d kF (k)e
(2)d/2 Rd
(2)d/2 Rd
Rd
Z
Z
Z
1
~ ~0
d
d 0
~0
~
=
d k
d k F (k)F (k )
dd xei(kk ).~x
d
(2) Rd
Rd
Rd
|
{z
}
Z

= d (~k~k0 )

Z
=

dd k|F (~k)|2

Rd

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. A eq.

50
em questo :

(2(x) 2 )G(~x ~x0 ) = e 3 (~x ~x0 )

(A.17)

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


esquerdo a transformada de Fourier
1
G(~x ~x ) =
(2)3/2
0

~k)ei~k.(~x~x0 )
d3 k G(

R3

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


1
(2)3/2

i~k(~
x~
x0 )

d ke

e
(2)3/2

(|k| + )G(k)
+
2

R3


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

eik(~x~x )
dk
(|~k|2 + 2 )
R3

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

Z
d

k2
dk 2
k + 2

|0

d sin eikr cos


{z
}
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
Z

Z

keikr
e
keikr
e
=
=m
dk 2
= 2 =m
dk
4 2 r
k + 2
4 r
(k + i)(k i)

|
{z
}
=

=(I)

izr

I
(I) =

dz
C

izr

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


z=i

= ier

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

i
Re z

-i

Figura A.2: Contorno C

G(r) =

e r
e
4r

(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 ~x0 com carga eltrica unitria. E a soluo fica:

G(r) =

1 1
40 r

(A.19)

Por fim, mostrarei como a soluo (A.19) suficiente para determinar o potencial eletrosttico de uma distribuio de carga (~x) localizada (a carga total da distribuio

R

3
q = R3 (~x)d x), com a condio de contorno (~x)
= 0. Tal potencial obedece a
|~
x|

eq. de Poisson:

2 (~x) =

(~x)
0

Assumindo (~x) da forma:


Z
(~x) =
R3

d3 x0 G(~x ~x0 )(~x0 )

(A.20)

52
Aplicando 2 :
Z

(~x) =


(~x)
!
d3 x0 2 G(~x ~x0 ) (~x0 ) =
0
R3

que s verdade se G(~x ~x0 ) 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), para a condio de contorno


(~x)
= 0, :
|~
x|

1
(~x) =
40

d3 x 0

R3

(~x0 )
|~x ~x0 |

0
onde o integrando pode ser expandido em termos de ~x~x =

(A.21)

r0
r

(se |~x| for maior que as

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

1 X
(~x) =
40 r l=0
=

 r 0 l
~x.~x0
d3 x0 (~x0 )Pl (cos )
, cos =
r
rr0
R3

1 q
1 p~.~x
1 xi xj ij
+
+
Q + ...
40 r 40 r3
40 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:
Z
p~ =

d3 x0~x0 (~x0 )

R3
ij

Z
=

d3 x0 (~x0 )(3x0i x0j ij r02 )

R3

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

53

Apndice B

Problema de Sturm - Liouville

Dada a equao diferencial ordinria de segunda ordem:

y 00 (x) +

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

(B.1)

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


R x (x)
R x x)
a eq. por p(x) = exp( aa21 (
d
x) e definindo q(x) = aa02 (x)
exp( aa12 (
d
x), reescrevemos a
x)
(x)
(
x)
eq. (B.1) na forma Auto-Adjunta (algo sempre possvel):
0

Ly(x)
p(x)y 0 (x) + q(x)y(x) = 0

(B.2)

A forma (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, ),

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

0
p(x) yn (x)ym
(x) ym (x)yn0 (x)

0

= (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:

p(x)

0
yn (x)ym
(x)

ym (x)yn0 (x)

Z
CP

= 0 = (n m )

(x)yn (x)ym (x)


CP

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


Z
(yn , ym )

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

(B.5)

CP

Ou seja, as funes yn e ym (n 6= 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 ) < .

55
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

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

(B.7)

CP

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



(x x0 )
=

(x0 )

x0

 X
(
x)d
x =
n=0

1
yn (x)yn (x0 )
2
||yn ||

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

no uma prova matemtica

(B.8)

56

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 00 (x) + P (x)y 0 (x) + Q(x)y(x) = 0

cuja soluo geral seja dada por:

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

(C.1)

57
onde y1 (x) e y2 (x) so solues linearmente independentes (l.i.) da eq. Ento o Wronskiano definido como o seguinte determinante:




y1 y2
d  y2 


6= 0
W (x)
= y1 y20 y10 y2 = y12

dx y1
0
y1 y2

(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 0 (x) = y1 y200 y100 y2

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

W 0 (x) = y1 y200 y100 y2 = y1 P y20 Qy1 y2 + P y10 y2 + Qy1 y2


= P (y1 y20 y10 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


Z x  
Z x exp R P ()d
y2

d
y1
y12 ()

y12

ento
Z
y2 (x) y1 (x)

 R


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.

58
Vamos aplicar este mtodo num exemplo bem simples que dar a dica para a resposta da
segunda questo. Tenha a EDO:

xy 00 (x) + y 0 (x) = 0

Tentaremos resolver via Frobenius, i.e. substituindo o ansatz y(x) =

0 =


X

n=0

Cn xn+k :


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

n=0

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 )
Z
y2 (x)

 Z
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

59
(2.3))
Z
y2 (z) y1 (z)

1
1
|z|1
dz 0

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

dz 0
|z 0 |

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


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

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

v 00 + P (x)v 0 + Q(x) =

y1
y1
y10

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.

60

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
Rodrigues 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.