CMC-301-3 Funes da Fsica Matemtica Aula 08

Aula 08: Funes Associadas de Legendre. Relaes de Recorrncia. Ortonormalizao das Funes Associadas de Legendre. Representao de uma Funo
f(x) em Srie de Funes Associadas de Legendre. Representao Integral de
Schlfli. Representao Integral de Laplace. Funes de Legendre de 2a
Espcie.

Funes Associadas de Legendre

Uma das equaes diferenciais parciais mais importantes que surgem na Fsica a
equao de Laplace8
2 u = 0.

(53)

Aqui 2 u o Laplaciano de u. Em termos de coordenadas cartesianas

retangulares espaciais, x, y, z
2u =

2u 2u 2u
+
+
.
x 2 y 2 z 2

(54)

A teoria das solues da equao de Laplace chamada teoria do potencial. As

solues de (53) que possuem derivadas parciais de segunda ordem contnuas so
chamadas funes harmnicas.
Na maioria das vezes defrontamo-nos com um problema de valor de contorno,
isto , devemos determinar a soluo de (53) que satisfaa dadas condies de contorno
sobre certas superfcies. Para simplificar o trabalho conveniente a transformao do
Laplaciano (54) em outros sistemas de coordenadas.
z

(r , , )

(r , , z )

x
(a)

(b)

Fig. 5 (a) Coordenadas cilndricas; (b) Coordenadas esfricas.

A equao de Laplace ocorre em problemas de atrao gravitacional, na eletrosttica, na teoria do

escoamento do fludo incompressvel, na equao do calor, etc.

49

CMC-301-3 Funes da Fsica Matemtica Aula 08

O Laplaciano de uma funo u em coordenadas cilndricas (Fig. 5a) com r , , z
dadas por
r=

x2 + y2 ,

y
= arctg ,
c

z = z,

(55a)

2u 1 u 1 2u 2u
.
u= 2 +
+
+
r
r r r 2 2 z 2
2

(55b)

Vamos deixar as coordenadas cilndricas de lado e nos ater mais pormenorizadamente s coordenadas esfricas. As coordenadas esfricas r , , , de grande importncia,
so ligadas s coordenadas cartesianas retangulares como segue (Fig. 5b):
x = rcossen ,

y = rsensen ,

z = rcos .

(56a)

O Laplaciano de uma funo u em coordenadas esfricas

2 u 2 u 1 2 u cotg u
2u
1
u= 2 +
+
+
+
.
r r r 2 2
r
r 2 r 2 sen 2 2
2

(56b)

Esse resultado pode ser transformado em

2u =

1 2 u
1
u
1 2u
+
r

sen
+

.
sen 2 2
r 2 r r sen

(56c)

Pelo mtodo de separao de variveis, supe-se que a soluo u (r , , ) seja da

forma
u (r , , ) = R(r )( )( ),

(57)

que introduzida em (56b) e em (53) fornece

d 2 R(r ) 2 dR(r )
1 d 2 ( )
d( )
(
)
(
)

2u =
+

+
+ cotg

R(r )( )
2
2
2
r dr
d
r d
dr
1
d 2 ( )
+ 2 2
(58)
R(r )( ) = 0.
2
r
sen

Multiplicando todos os termos de (58) por r 2 sen 2 / u , obtm-se

r 2 sen 2
R

d 2 R 2 dR sen 2
2 +
+

r dr
dr

d 2
d
1 d 2
2 + cotg
=
.
d 2
d
d

50

(59)

CMC-301-3 Funes da Fsica Matemtica Aula 08

A expresso no primeiro membro de (59) envolve funes que dependem de r e
, enquanto o segundo membro envolve funes que dependem somente de . Assim,
ambas as expresses devem ser iguais a uma constante que, sem perda da generalidade,
escreve-se como m 2 , positivo, uma vez que valores negativos para a constante levaria
soluo trivial. Se a expresso no primeiro membro no for constante, uma mudana de r
e/ou presumivelmente mudar o valor desta expresso, mas certamente no muda o valor
do segundo membro, porque este no depende de r e . Da mesma forma, se a expresso
no segundo membro no for constante, uma mudana de certamente alterar o valor
desta expresso mas no muda o primeiro membro.
Assim,

1 d 2
= m2
d 2

ou
d 2
+ m 2 = 0,
2
d

(60)

cuja soluo geral

( ) = Acosm + Bsenm .

(61)

Se as solues so peridicas de perodo 2 , ento m deve assumir valores

inteiros (m = 0,1,...) .
Da mesma forma, separa-se a parte radial da parte angular em , obtendo-se
r2
R

d 2 R 2 dR
1 d 2
d
m2
2 +
= 2 + cotg
+
= n2.
2
d
r dr
d sen
dr

(62)

Tem-se, ento, a seguinte equao diferencial para ( )

d 2
1 d
m2
= 0.
sen
+ n
d
sen d
sen 2

(63)

Fazendo a seguinte substituio de varivel: x = cos , x 1 , e substituindo

( x ) por y ( x ), (63) se transforma em

(1 x )y 2 xy + n
2

m2
y = 0,
1 x 2

(64)

que conhecida como equao associada de Legendre e uma equao de Sturm-Liouville

onde n 2 o autovalor, se exigirmos que a soluo seja finita em x = 1 . Para
51

CMC-301-3 Funes da Fsica Matemtica Aula 08

investigarmos o comportamento nesses pontos vamos inicialmente deslocar a origem para
x = 1 introduzindo a nova varivel independente z 1 x . Ento, (64) pode ser reescrita
como
d2y
dy 2
m2

y = 0.
z (2 z ) 2 + 2(1 z ) + n
dz
z (2 z )
dz

(65)

Procuremos uma soluo da forma (Frobenius9)

y(z ) = a k z s + k .
k =0

Ento,

dy
= a k (s + k )z s + k 1 ,
dz k =0

e
d2y
= a k (s + k )(s + k 1)z s + k 2 .
dz 2 k =0
Substituindo as trs ltimas expresses em (65) e sabendo-se que
1
1
1
1
= z 1 + z 0 + z 1 + ,
z (2 z ) 2
4
8
tem-se

m 2 s + k 1
(
)(
)
(
)
a
s
+
k
s
+
k

+
a
s
+
k

ak z
2
1
2

k
k
2
k =0

m 2 s+k
+ 2a k (s + k ) a k (s + k )(s + k 1) + n 2 a k
ak z
4
k =0

m 2 a k z s + k +1 +  = 0.
k =0 8

Fazendo k = 0, no primeiro colchetes, tem-se

m2
2a 0 s
a 0 = 0.
2
2

Georg Frobenius (1849,1917), matemtico alemo, que tambm realizou importantes contribuies para as
teorias das matrizes e dos grupos.

52

CMC-301-3 Funes da Fsica Matemtica Aula 08

Como a0 0 (supe-se que x s a menor potncia de x que aparece na srie)
segue-se que
s2

m2
= 0.
4

Essa equao chamada de equao indicial e determina os valores possveis de

s. Nesse caso particular s = m / 2. Para nossas finalidades presentes, podemos considerar
m um inteiro no negativo (pois somente m 2 aparece na equao diferencial). Somente a
raiz + m / 2 aceitvel e conclumos que nossas funes caractersticas devem ser da
forma
y ( x ) = (1 x )

m/ 2

a (1 x )
k =0

= (1 x )

m/ 2

f ( x ),

onde f ( x ) uma funo analtica e que no se anula em x = 1.

A investigao do comportamento de y ( x ) nas vizinhanas de x = 1 pode ser
feita por meio da substituio z 1 + x, e revela que
y ( x ) = (1 + x )

m/2

g ( x ),

onde g ( x ) uma funo analtica e que no se anula em x = 1. Conseqentemente, a

soluo aceitvel y ( x ) de (64) deve ser da forma
y ( x ) = (1 x 2 )

m/2

u ( x ),

onde u ( x ) deve ser analtica em todo plano complexo excluindo, naturalmente, o ponto no
infinito. Isso deve-se ao fato de que y ( x ) no pode ter outras singularidades, exceto quando
x = 1 e, possivelmente, quando x = . Substituindo essa ltima equao e suas derivadas
em (64), obtm-se

(1 x )u (x ) 2 x(m + 1)u (x ) + (n
2

+ m 2 + m )u ( x ) = 0.

A srie de Frobenius

u(x ) = ak x s + k
k =0

conduz a

a (s + k )(s + k 1)x
k =0

s + k 2

53

(66)

CMC-301-3 Funes da Fsica Matemtica Aula 08

)]

+ a k 2(m + 1)(s + k ) + (s + k )(s + k 1) n 2 + m 2 + m x s + k = 0.

k =0

A equao indicial se origina da menor potncia x s 2 e s (s 1) = 0 , fornecendo

as razes s1 = 0 e s 2 = 1.
A equao para a1 (potncia x s 1 ) a1 s (s + 1) = 0 , fornecendo a1 = 0 se s = 1 e
a1 arbitrrio se s = 0.
Considere s = 1 . Faa k k + 2 na primeira somatria, combine com a segunda
para deduzir a seguinte relao recorrente
ak +2 =

[k (k + 1) + 2(m + 1)(k + 1) (n
(k + 3)(k + 2)

]a .

+ m 2 + m)

Segue que todos os coeficientes mpares se anulam e a srie

2(m + 1) n 2 + m 2 + m 2
u1 ( x ) = a0 x 1 +
x
23

2 3 + 2 3(m + 1) n 2 + m 2 + m 4
+
x + .
45

)]

Considere agora o segundo caso, s = 0 . Faa k k + 2 na primeira somatria,

combine com a segunda para deduzir a seguinte relao recorrente
ak +2 =

k (k 1) + 2(m + 1)k n 2 + m 2 + m
ak .
(k + 1)(k + 2)

(67)

Como a0 e a1 so arbitrrios a srie conter potncias pares e mpares de x e

pode ser escrita como

n 2 + m 2 + m 2 2 + 2 2(m + 1) n 2 + m 2 + m 4

u 2 ( x ) = a 0 1 +
x +
x + 
2
3 4

2
2
2
2

2(m + 1) n + m + m 3 2 3 + 2 3(m + 1) n + m + m 5
+ a1 x +
x +
x + . (68)
23
45

A soluo u1 ( x ) um caso especial de u 2 ( x ) (basta tomar, em u 2 ( x ), a0 = 0 e a1

igual a a0 de u1 ( x ) ). Ento, a soluo geral de (66) dada por (68), sendo (67) a frmula
de recorrncia para os coeficientes.
A srie u 2 ( x ) convergente para x < 1 (teste da razo) para qualquer valor de
n 2 . Entretanto o teste da integral fornece

54

CMC-301-3 Funes da Fsica Matemtica Aula 08

t (t 1) + 2(m + 1)t (n 2 + m 2 + m )
t (t 1)
dt =
dt + .
M
(t + 1)(t + 2)
+
1
+
2
(
)(
)
t
t
M

E como
t (t 1)

(t + 1)(t + 2) dt quando M ,

ambas as sries em (68), em geral, divergiro para x = 1. Assim, como no caso da equao
de Lagrange, se n 2 da forma l (l + 1), onde l um inteiro no negativo, ento uma das
sries ser finita, dando origem a um polinmio. A outra ser divergente. Uma afirmativa
semelhante verdadeira para x > 1. Para que uma das sries seja finita, necessrio em
(67) que
k (k 1) + 2(m + 1)k (n 2 + m 2 + m ) = 0.

Resolvendo, encontramos que

n 2 = (m + k )(m + k + 1),

significando que: a) n 2 da forma l (l + 1), onde l um inteiro maior ou igual a m e b) a

srie terminar aps o termo de ordem (l m ).
As solues u ( x ) so, portanto, polinmios em x, da forma explcita (68) obtida
atravs das frmulas de recorrncia (67). Vamos demonstrar que existe uma relao de
proporcionalidade entre u ( x ) e as derivadas dos polinmios de Legendre. Fazendo m = 0
em (64) com n 2 sendo redefinido como n(n + 1), tem-se a equao diferencial de Legendre

(1 x )y 2 xy + n(n + 1)y = 0.
2

(69)

Vamos derivar (69) m vezes. Um pouco de reflexo mostrar, que

dm
dm f
d m 1 f
xf
x
x
m
[
(
)
]
=
+
,
dx m
dx m
dx m 1

(70a)

m
dm
d m 1 g
d m 2 g
2
2 d g
(1 x )g (x ) = (1 x ) dx m 2mx dx m1 m(m 1) dx m2 .
dx m

Se tomarmos f ( x ) = y e g ( x ) = y em (18) a derivada m-sima de (69) ser

55

(70b)

CMC-301-3 Funes da Fsica Matemtica Aula 08

dmy
dmy
dmy
1 x m 2(m + 1)x m + [n(n + 1) 2m m(m 1)] m = 0.
dx
dx
dx

(71)

dmy
a equao (66) para u ( x ). Portanto, u ( x )
Repare que a equao (71) para
dx m
dmy
com y = Pn ( x ) , ou seja,
deve ser proporcional a
dx m
d m Pn ( x )
,
u(x ) = C
dx m

onde C uma constante arbitrria. costume padronizar as solues escolhendo C = 1.

Isso conduz s funes caractersticas da equao associada de Legendre sob a forma
m
n

(x ) (1 x

2 m/2

d m Pn ( x )
,
dx m

(0 m n ),

(72)

que so conhecidas como funes associadas de Legendre de primeira espcie.

Empregando a frmula de Rodrigues para Pn ( x ) , obtm-se a frmula de Rodrigues
correspondente para Pnm ( x )

(x ) (1 x )

2 m/ 2

m
n

2 n n!

n
d n+ m 2
x 1 ,
n+ m
dx

(0 m n ).

(73)

Relaes de Recorrncia
Repetimos aqui as relaes de recorrncia (45), (49) e (50), para os polinmios de
Legendre, desenvolvidas na Aula 06:

(n + 1)Pn+1 (x ) (2n + 1)xPn (x ) + nPn1 (x ) = 0 ,

n = 1,2 ,

(45)

nPn ( x ) xPn ( x ) + Pn1 ( x ) = 0 , n = 1,2 ,

(49)

Pn+1 ( x ) (n + 1)Pn ( x ) xPn ( x ) = 0 , n = 0,1 .

(50)

Derivando (45) m vezes, multiplicando por (1 x 2 )

m/ 2

(n + 1)Pnm+1 (x ) (2n + 1) xPnm (x ) + m

e usando (72), tem-se

1 x 2 Pnm1 ( x ) + nPnm1 ( x ) = 0.

Derivando (49) e (50) m 1 vezes, multiplicando por (1 x 2 )

m/ 2

56

, tem-se

(74)

CMC-301-3 Funes da Fsica Matemtica Aula 08

(n m + 1)

1 x 2 Pnm1 ( x ) xPnm ( x ) + Pnm1 ( x ) = 0,

Pnm+1 ( x ) (n + m ) 1 x 2 Pnm 1 ( x ) xPnm ( x ) = 0.

(75)
(76)

Eliminando 1 x 2 Pnm 1 ( x ) de (74) e (75), obtm-se a relao de recorrncia

pura para n para os polinmios associados de Legendre

(n m + 1)Pnm+1 (x ) (2n + 1)xPnm (x ) + (n + m )Pnm1 (x ) = 0.

(77)

A relao de recorrncia pura para m obtida substituindo y por Pn ( x ) na

equao diferencial (71), seguida da substituio de m por m-1 e da multiplicao por

(1 x )

2 m/ 2

, obtendo-se, portanto,
1 x 2 Pnm +1 ( x ) 2mxPnm ( x ) + (n + m )(n m + 1) 1 x 2 Pnm1 ( x ) = 0.

(78)

Ortonormalizao das Funes Associadas de Legendre

Vamos mostrar que funes associadas de Legendre com o mesmo ndice m, mas
com ndices n distintos, so ortogonais entre si, pois so funes caractersticas de um
problema de Sturm-Liouville. Definindo,
m
n

(x ), P (x )
m
n

+1

m
nk

Pnm ( x )Pkm ( x )dx,

(79)

e substituindo (72) na integral (79), tem-se

I nkm =

+1

(1 x )

2 m

d m Pn ( x ) d m Pk ( x )
dx.
dx m
dx m

(80)

Integrando (80) por partes, obtm-se

m
nk

= 1 x2

+1 m 1
m
d m Pn ( x ) d m1 Pk ( x )
d Pk ( x ) d
2 m d Pn ( x )

(1 x )
dx, (81)
dx m
dx m
dx m1 1 1 dx m 1 dx
+1

onde o primeiro termo de (81) nulo pois (1 x 2 )

m +1
1

= 0.

Observe que a derivada do termo entre parnteses no integrando de (81)

57

CMC-301-3 Funes da Fsica Matemtica Aula 08

m
m +1
m
Pn ( x )
d
2 m d Pn ( x )
2 m d
2 m 1 d Pn ( x )
2mx(1 x )
.
(1 x )
= (1 x )
dx
dx m
dx m +1
dx m

(82)

Em (71), trocando m por m-1 com y = Pn ( x ) , tem-se

d m1 Pn ( x )
d m 1 Pn ( x )
d m 1 Pn ( x )

(
)
(
)
mx
n
n
m
m
1 x

2
+
[
+
1

1
]
m 1

dx m1
dx m1 = 0. (83)
dx

Multiplicando (83) por (1 x 2 )

m 1

, tem-se

m
d m +1 Pn ( x )
2 m 1 d Pn ( x )

2
(
1

)
mx
x
dx m
dx m+1
m 1
Pn ( x )
2 m 1 d
+ [n(n + 1) (m 1)m](1 x )
= 0.
dx m 1

(1 x )

2 m

(84)

Comparando (82) com (84), tem-se

d
2
1 x
dx

d m Pn ( x )
2
= 1 x
m
dx

) [(n + m)(n m + 1)] d

m 1

m 1

Pn ( x )

dx m 1

(85)

Substituindo (85) em (81), tem-se

+1

I nkm = (n + m )(n m + 1) 1 x 2

m 1

d m 1 Pn ( x ) d m1 Pk ( x )
dx = (n + m )(n m + 1)I nkm1 .
m 1
m 1
dx
dx

Repetindo o procedimento, tem-se

I nkm1 = (n + m 1)(n m + 2 )I nkm 2 .

Aps m-1 vezes, tem-se

I nkm(m1) = [n + m (m 1)][n m + 1 + m 1]I nkm (m 1)1 .

(86)

1
dado por (86) na expresso para I nk2 e assim sucessivamente,
Substituindo I nk

tem-se
I nkm = (n + m )(n + m 1)(n + m 2 )[n + m (m 1)]

[n (m 1)][n (m 2)][n (m 3)][n (m m + 1)][n (m m)]I nk0 ,

58

CMC-301-3 Funes da Fsica Matemtica Aula 08

(n + m)! n(n 1)[n (m 1)] (n m)! I 0 ,
(n m)! nk
n!
(n + m )! n! I 0 = (n + m )! I 0 .
=
nk
(n m)! nk
n! (n m )!

I nk0 a integral de normalizao para o caso comum das funes de Legendre.

Assim
+1

m
nk

= P

m
n

+1
(
n + m )!
2 (n + m )!
Pn ( x )Pk ( x )dx =
(x )P (x )dx =
nk .

(n m )! 1
2n + 1 (n m )!
m
k

(87)

Representao de uma Funo f(x) em Srie de Funes Associadas de

Legendre
Uma funo f ( x ) contnua em 1 x 1 com um nmero finito de mximos e
mnimos pode ser desenvolvida numa srie de funes associadas de Legendre, isto ,

f ( x ) = bkm Pkm ( x ), para 0 m k ,

(88)

k =m

f (x ), Pkm ( x )

com bkm =

Pkm

f ( x ), Pjm ( x ) =
=

. O produto interno pode ser estendido usando (88) fornecendo

+1

f (x )P (x )dx
m
j

1
+1

[b

mm

1
+1

( )

Pmm Pjm + bm+1, m Pmm+1 Pjm +  + b jm Pjm

+  dx

( )

= b jm Pjm dx.
2

De acordo com (87), essa ltima expresso pode ser escrita como
f ( x ), Pkm ( x ) =

+1

+1

f (x )Pkm ( x )dx = bkm Pkm Pkm dx = bkm

1

Ou seja,
2k + 1 (k m )!
=
f ( x )Pkm ( x )dx.

2 (k + m )! 1
+1

bkm

59

2 (k + m )!
.
2k + 1 (k m )!

CMC-301-3 Funes da Fsica Matemtica Aula 08

Representao Integral de Schlfli
Esta representao para Pnm ( x ) obtida a partir daquela para Pn ( x ). Das equaes
(42) e (43) da Aula 5, pode-se inferir que

(n + m)! z 2 1 dz.
dm
(
)
=
P
z
n
0
2 n +1 in! ( z z 0 )n + m +1
dz m
n

Multiplicando (89) por (1 z 02 )

m/ 2

Pnm ( z 0 ) = 1 z 02

m/ 2

(89)

tem-se

(n + m )! 1 z 02
dm
(
)
=
P
z
n
0
dz m
2 n +1 in!

m/ 2

(z

(z z )

n + m +1

dz ,

(90)

que a representao integral de Schlfli para as funes associadas de Legendre de

primeira espcie.

Representao Integral de Laplace

Considerando um contorno circular de integrao, da mesma forma como foi
considerado na Aula 05, pg. 41, a Equao (90) pode ser rescrita como
m
n

(
n + m )!
(z 0 ) =
(z 0 +

2n!

(n + m )! (z
n!

Uma vez que z 0 + z 02 1cos

Pnm ( z 0 ) =

z 02 1cos e mi d .

(91)

uma funo par de , tem-se

+ z 02 1cos cosmd .

(92)

Funes de Legendre de 2a Espcie

Voltando a equao de Legendre
y

2x
n(n + 1)
y +
y = 0.
2
1 x
1 x2

(93)

Sabe-se que existe uma outra soluo na forma y ( x ) = v( x )Pn ( x ) que, substituda
em (93), resulta

60

CMC-301-3 Funes da Fsica Matemtica Aula 08

2 P (x )
2x

v (x ) +
v ( x ) + n
2
Pn ( x ) 1 x

Pn(x )

2x
n(n + 1)
Pn ( x ) +
Pn ( x )
2
1 x
1 x2
v( x ) = 0. (94)
Pn ( x )

O terceiro termo de (94) nulo pois Pn ( x ) soluo de (93), resultando

Pn (x ) 1 x 2 v ( x ) + 2 Pn ( x ) 1 x 2 2 xPn ( x ) v ( x ) = 0,

ou seja,

[(

d
2
1 x 2 (Pn ( x )) v (x ) = 0.
dx

Assim,
v( x ) = a n + bn

(1 x )(P (x ))
2

dx

1
.
Qn ( x ) = v( x )Pn ( x ) = Pn ( x ) a n + bn
dx
2
2

(
(
)
)

1
x
P
x
n

(95)

Ambas as constante a n e bn podem ser determinadas para casos especiais.

Para n = 0 (95) torna-se

1
Q0 ( x ) = P0 ( x ) a 0 + b0
dx
2
2
1 x (P0 (x ))

1 1+ x
= a 0 + b0 ln
.
2 1 x

Expandindo essa expresso e comparando com uma das solues obtidas quando
se expande numa srie de Frobenius, como foi feito para obter a soluo geral de (66) que
dada por (68), obtm-se a0 = 0 e b0 = 1. Resultados similares so obtidos para n = 1, ou
seja

1
Q1 ( x ) = x a1 + b1
dx
2
2
(1 x )x

1 1+ x 1
= a1 x + b1 x ln
.
2 1 x x

Novamente, expandindo numa srie de potncias e comparando obtm-se a1 = 0

e b1 = 1. Portanto, tem-se

61

CMC-301-3 Funes da Fsica Matemtica Aula 08

1 1+ x
ln
,
2 1 x
1
1+ x
Q1 ( x ) = xln
1,
2
1 x
Q0 ( x ) =

x < 1.

Continuando possvel observar a seguinte relao de recorrncia

Q2 ( x ) =

1
1+ x 3
P2 ( x )ln
P1 ( x ).
2
1 x 2

Aplicando a frmula de recorrncia repetidas vezes, tem-se

Qn ( x ) =

1
1 + x 2n 1
2n 5
Pn ( x )ln

Pn 1 ( x )
Pn 3 ( x ) .
2
1 x 1 n
3(n 1)

As funes Associadas de Legendre de segunda espcie, Qnm ( x ), podem ser

obtidas em analogia s funes Associadas de Legendre (72)
Q

m
n

(x ) = (1 x

2 m/ 2

d m Qn ( x )
.
dx m

(96)

62