Escolar Documentos
Profissional Documentos
Cultura Documentos
G. M. Sotkov e U. Camara dS
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
1.4
1.5
Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
2.3
10
Funo Hipergeomtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1.1
2.1.2
Representao Integral . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.1.3
Relaes teis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1.4
Expanses Assintticas . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.2
Representao Integral . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2.3
Expanso Assinttica . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2.4
Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3 Polinmios de Hermite
25
3.1
3.2
3.3
3.4
Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4 Funes de Legendre
4.1
Polinmios de Legendre
31
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.1.1
4.1.2
4.1.3
4.1.4
4.2
4.3
Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4.2.2
4.2.3
O caso m < 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
. . . 39
Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
43
53
56
C.1 Wronskiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Referncias Bibliogrficas
60
Captulo 1
1.1
Funo Gamma
(z)
(1.1)
(1 + z) = z(z).
(1.2)
(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
(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
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
(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
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
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
(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
()(1 )
=
B(, 1 )
(1)
|{z}
Z
0
u1
du ; 0 < <e() < 1,
(1 + u)
(1.11)
=1
x1
dx
(1+x)
z 1
1+z
; z C ; z = x + iy.
f (z)dz,
C
C2
Re z
-1
C1
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)
(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)
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
eq.(1.8)
=2
|0
x1/2 (1 x)z1/2 ,
{z
}
B(1/2,z+1/2)=
(z+1/2)
(z+1)
ento
(1.16)
(2n)!
(n + 1/2) =
.
22n n!
1.5
Exerccios Propostos
(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)
2 d/2
Rd .
d(d/2)
!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)
(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)
(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)
= 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.
10
Captulo 2
Funes Hipergeomtrica e
Hipergeomtrica Confluente
2.1
2.1.1
Funo Hipergeomtrica
z(1 z)
dy(z)
d2 y(z)
+ [c (a + b + 1)z]
aby(z) = 0.
2
dz
dz
(2.1)
y(z) =
gn z n+k ; k R ; g0 6= 0.
n=0
1
zz0
zz0
1
z
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) =
n=0
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)
(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),
n)!
= (1)n N (N 1)(N 2) . . . (N (n 2))(N (n 1))
,
(N n)!
= (1)n
N!
,
(N n)!
(2.5)
(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)
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
1
d1
(1
2 F1 (a, b; d; zt)t
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)
|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
2.1.3
(2.13)
Relaes teis
= (1 z) 2 F1 (a, b.c.z)
5
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).
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)
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
(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
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)
2 F1 (a, b; c; z)
(c)(c b a)
+O(1 z)
(c a)(c b)
|
{z
}
2 F1 (a,b;c;1)
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)
2 F1 (c
(2.17)
19
2.2
2.2.1
(2.18)
1 F1 (a; 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)
20
Soluo geral de (2.18)7
(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
1
d1
(1
1 F1 (a; d; zt)t
(2.23)
21
2.2.3
Expanso Assinttica
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)
repare que a eq. (2.24) cresce exponencialmente, por isso a singularidade no infiito irregular
(essencial)
22
2.2.4
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
(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)
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
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
(2.27)
(2.28)
B(a, b)x
(2.29)
(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)
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
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 ) +
n=1
zn
=0
n!
(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):
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)
(3.5)
3.2
27
ou seja, a EDO de Hermite uma eq. de auto-valores. Comparando com a eq. geral
2
eu Hn (u)Hm (u)du = 0, n 6= m
(Hn , Hm )
(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
eq.(3.2)
Hn (2uHn1 )du
Z
0
u2
(2nHn1 )Hn1 du
eq. (3.2)
Hn2 du = 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 =
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
(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)
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
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)
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)
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
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
l=2
levando relao
(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
(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)
(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 )
(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
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
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 ) =
(Pl , Pm ) =
Pl (x)Pm (x)dx =
1
2
lm
2l + 1
(4.10)
35
4.1.3
Faa a troca y =
1x
2
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
Pl (x) =
1 dl 2
(x 1)l
2l l! dxl
(4.12)
(4.13)
r l
1X
Pl (cos )
=
, r < r
r l=0
r
|~r ~r|
onde cos =
~
r.~
r
.
|~
r||~
r|
(4.14)
F (x) =
Cl Pl (x)
(4.15)
F (x)Pl (x)dx
(4.16)
l=0
(x x ) =
X
(2l + 1)
l=0
(4.17)
37
4.2
4.2.1
dm
Pl (x), l m l
dxm
(4.18)
(4.19)
outro a paridade de Plm (x). Fazendo x x na definio acima mais a ajuda da eq.
(4.13):
(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:
(4.21)
l = 3 : P31 (x) =
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
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
1x
)
2
Plm (x(y))
[1x2 (y)]m/2
Plm (y)
[y(1y)]m/2
(4.22)
2 F1 ((l m), l +
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
!
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
m2
,
(1x2 )
(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) =
(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 Xx=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
(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
(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)!
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
portanto no pode ter relao com a segunda soluo independente (que singular em
x = 1). Logo:
(Plm , Plm )
=
1
eq.(4.18)
dxPlm (x)Plm (x) =
dm
dm
dx
Pl (x)
Pl (x)
dxm
dxm
1
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)
2
2l + 1
2 (l + m)!
2l + 1 (l m)!
42
Comparando:
(l m)! m
P (x)
(l + m)! l
(4.28)
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
Z
d
(4.29)
43
Apndice A
A.1
nm =
0, se n 6= m
1, se n = m
(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
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
nx
dxf (x)ei L n Z
(A.6)
R L
L
dxei
mx
L
A.2
Transformada de Fourier
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
f (x) =
X F (k)
X
eikx k =
reak
2
k
k
(A.7)
Rea
real
Dk
F (k) ikx
e
2
1
L
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
(A.9)
dkeikx
(A.10)
(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
(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 )|
(A.11)
(x x1 )dx,
(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
(A.12)
49
ou seja:
(A.13)
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
d x|f (~x)| =
Rd
dd k|F (~k)|2
(A.16)
Rd
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 :
(A.17)
~k)ei~k.(~x~x0 )
d3 k G(
R3
i~k(~
x~
x0 )
d ke
e
(2)3/2
(|k| + )G(k)
+
2
R3
=0
G(|k|)
=
e
(2)3/2 (|~k|2
+ 2 )
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
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
G(r) =
e r
e
4r
(A.18)
1
,
0
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
(A.20)
52
Aplicando 2 :
Z
(~x) =
(~x)
!
d3 x0 2 G(~x ~x0 ) (~x0 ) =
0
R3
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
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
d3 x0~x0 (~x0 )
R3
ij
Z
=
R3
53
Apndice B
y 00 (x) +
a0 (x)
a1 (x) 0
y (x) +
y(x) = 0
a2 (x)
a2 (x)
(B.1)
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.
(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:
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
(B.4)
p(x)
0
yn (x)ym
(x)
ym (x)yn0 (x)
Z
CP
= 0 = (n m )
(B.5)
CP
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
(x0 )
x0
X
(
x)d
x =
n=0
1
yn (x)yn (x0 )
2
||yn ||
(B.8)
56
Apndice C
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
(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:
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:
Integrando:
W (x) e
Rx
P ()d
(C.3)
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
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
Z
dexp
1
d =
d
= ln|x|
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|
(C.5)
v 00 + P (x)v 0 + Q(x) =
y1
y1
y10
P
(x)
2
x2
x
x
(C.6)
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.