Funciones de Legendre - F ormulas

Agustn Nieto
Departamento de Fsica
Universidad de Oviedo
18 de mayo de 2010
Resumen
Se dan f ormulas relacionadas con los polinomios de Legendre, las funciones asociadas de Legendre
y los arm onicos esfericos.
1. Polinomios de Legendre
1.1. Denici on
P
l
(z)
1
2
l
[l/2]

n=0
(1)
n
(2l 2n)!
(l n)! n!
z
l2n
(l 2n)!
|z| 1 y l = 0, 1, 2, . . . (1)
con [l/2] = l/2 para l par y [l/2] = (l 1)/2 para l impar. Algunos polinomios de Legendre:
P
0
(z) = 1 (2)
P
1
(z) = z (3)
P
2
(z) =
1
2
(3z
2
1) (4)
P
3
(z) =
1
2
(5z
3
3z) (5)
P
4
(z) =
1
8
(35z
4
30z
2
+ 3) (6)
P
5
(z) =
1
8
(63z
5
70z
3
+ 15z) (7)
1.2. Ecuacion Diferencial de Legendre
Los polinomios de Legendre satisfacen la ecuacion diferencial de Legendre:
(1 z
2
)u

(z) 2zu

(z) + l(l + 1)u(z) = 0 . (8)

P
l
(cos ) satisface la ecuacion de Legendre
1
sen
d
d
_
sen
d P
l
(cos )
d
_
+ l(l + 1)P
l
(cos ) = 0 . (9)
1.3. Propiedades
1. Formula de Rodrigues
P
l
(z) =
1
2
l
l!
_
d
dz
_
l
(z
2
1)
l
(10)
1
Funciones de Legendre A.Nieto 2
2.
P
l
(z = 1) = 1 (11)
P
l
(z = 1) = (1)
l
(12)
P
l
(z = 0) =
_
0 l impar
(1)
k
(2k 1)!!
2
k
k!
l = 2k par
(13)
3. Paridad de P
l
(z)
P
l
(z) = (1)
l
P
l
(z) (14)
4. Funcion generatriz
g(z, t) (1 2zt + t
2
)
1/2
=

l=0
P
l
(z) t
l
|z| 1 y |t| < 1 (15)
5. Algunas relaciones de recurrencia
(l + 1)P
l+1
(z) + l P
l1
(z) = (2l + 1)zP
l
(z) (16)
P

l+1
(z) + P

l1
(z) = P
l
(z) + 2z P

l
(z) (17)
P

l+1
(z) P

l1
(z) = (2l + 1)P
l
(z) (18)
P

l+1
(z) = (l + 1)P
l
(z) + z P

l
(z) (19)
P

l1
(z) = l P
l
(z) + z P

l
(z) (20)
6. Formas integrales de los polinomios de Legendre
a) Integral de Schlai
P
l
(z) =
1
2
l
1
2i
_
C
(t
2
1)
l
(t z)
l+1
dt , (21)
donde C es un contorno cerrado alrededor de z.
b) Integral de Laplace
P
l
(z) =
1
2
_
2
0
(z +
_
z
2
1 cos )
l
d (22)
7. Desarrollo del potencial coulombiano en polinomios de Legendre
1
|r
1
r
2
|
=

l=0
r
l
<
r
l+1
>
P
l
(cos ) , (23)
donde r
<
mn{r
1
, r
2
} y r
>
max{r
1
, r
2
} y =

(r
1
, r
2
) es el angulo entre r
1
y r
2
:
cos = cos
1
cos
2
+ sen
1
sen
2
cos(
1

2
) . (24)
1.4. Ortogonalidad de los Polinomios de Legendre
El conjunto {P
l
(z)} con l = 0, 1, 2, . . . es ortogonal en el intervalo 1 z 1:
_
+1
1
P
l
(z)P
l
(z) dz =
2
2l + 1

l l
. (25)
Por lo tanto, toda funcion razonablemente regular.
en
1 z 1 se puede desarrollar en serie de
polinomios de Legendre
f(z) =

l=0
c
l
P
l
(z) , (26)
Funciones de Legendre A.Nieto 3
con
c
l
=
2l + 1
2
_
+1
1
P
l
(z) f(z) dz . (27)
De forma similar, el conjunto {P
l
(cos )} con l = 0, 1, 2, . . . es ortogonal en el intervalo 0 z :
_

0
P
l
(cos )P
l
(cos ) sen d =
2
2l + 1

l l
. (28)
Por lo tanto, toda funcion razonablemente regular.
en
0 z se puede desarrollar en serie de polinomios
de Legendre
f() =

l=0
c
l
P
l
(cos ) , (29)
con
c
l
=
2l + 1
2
_

0
P
l
(cos ) f() sen d . (30)
2. Funciones Asociadas de Legendre
2.1. Denici on
P
m
l
(z) (1 z
2
)
m/2
_
d
dz
_
m
P
l
(z) |z| 1 (31)
con l = 0, 1, 2, . . . y l m +l. Claramente,
P
m
l
(z) =
1
2
l
l!
(1 z
2
)
m/2
_
d
dz
_
l+m
(z
2
1)
l
. (32)
Algunas funciones asociadas de Legendre son (con z = cos ):
P
1
1
(z) = (1 z
2
)
1/2
= sen (33)
P
1
2
(z) = 3z(1 z
2
)
1/2
= 3 cos sen (34)
P
2
2
(z) = 3(1 z
2
) = 3 sen
2
(35)
P
1
3
(z) =
3
2
(5z
2
1)(1 z
2
)
1/2
=
3
2
(5 cos
2
1) sen (36)
P
2
3
(z) = 15z(1 z
2
) = 15 cos sen
2
(37)
P
3
3
(z) = 15(1 z
2
)
3/2
= 15 sen
3
(38)
P
1
4
(z) =
5
2
(7z
3
3z)(1 z
2
)
1/2
=
5
2
(7 cos
3
3 cos ) sen (39)
P
2
4
(z) =
15
2
(7z
2
1)(1 z
2
) =
15
2
(7 cos
2
1) sen
2
(40)
P
3
4
(z) = 105z(1 z
2
)
3/2
= 105 cos sen
3
(41)
P
4
4
(z) = 105(1 z
2
)
2
= 105 sen
4
(42)
(43)
2.2. Ecuacion Asociada de Legendre
Las funciones asociadas de Legendre satisfacen la ecuacion asociada de Legendre:
(1 z
2
)u

(z) 2zu

(z) +
_
l(l + 1)
m
2
1 z
2
_
u(z) = 0 . (44)
P
m
l
(cos ) satisface la ecuacion asociada de Legendre
1
sen
d
d
_
sen
d P
m
l
(cos )
d
_
+
_
l(l + 1)
m
2
1 z
2
_
P
m
l
(cos ) = 0 . (45)
Funciones de Legendre A.Nieto 4
2.3. Propiedades
1.
P
0
l
(z) = P
l
(z) (46)
P
m
l
(z) = (1)
m
(l m)!
(l + m)!
P
m
l
(z) m > 0 (47)
2.
P
m
l
(z = 1) =
_
1 m = 0
0 m = 0
(48)
P
m
l
(z = 1) =
_
(1)
l
m = 0
0 m = 0
(49)
P
m
l
(z = 0) =
_
_
_
(1)
(lm)/2
(l + m1)!!
(l m)!!
l + m par
0 l + m impar
(50)
3. Paridad de P
m
l
(z)
P
m
l
(z) = (1)
l+m
P
m
l
(z) (51)
4. Funcion generatriz (no es muy usada)
g(z, t)
(2m)!
2
m
m!
(1 z
2
)
m/2
(1 2zt + t
2
)
m+1/2
=

l=0
P
m
l+m
(z) t
l
|z| 1 y |t| < 1 (52)
5. Algunas relaciones de recurrencia
P
m+1
l
(z) + [l(l + 1) m(m1)]P
m1
l
(z) =
2mz
(1 z
2
)
1/2
P
m
l
(z) (53)
(l + m)P
m
l1
(z) + (l m + 1)P
m
l+1
(z) = (2l + 1)zP
m
l
(z) (54)
P
m+1
l+1
(z) P
m+1
l1
(z) = (2l + 1)(1 z
2
)
1/2
P
m
l
(z) (55)
P
m+1
l
(z) (l + m)(l m + 1)P
m1
l
(z) = 2 (1 z
2
)
1/2
d
dz
P
m
l
(z) (56)
2.4. Ortogonalidad de las Funciones Asociadas de Legendre
El conjunto {P
m
l
(z)} con l = |m|, . . . , es ortogonal en el intervalo 1 z 1:
_
+1
1
P
m
l
(z)P
m
l
(z) dz =
2
2l + 1
(l + m)!
(l m)!

l l
. (57)
Por lo tanto, toda funcion razonablemente regular.
en
1 z 1 se puede desarrollar en serie de funciones
asociadas de Legendre
f(z) =

l=|m|
c
l
P
m
l
(z) , (58)
con
c
l
=
2l + 1
2
(l m)!
(l + m)!
_
+1
1
P
m
l
(z) f(z) dz . (59)
De forma similar, el conjunto {P
m
l
(cos )} con l = |m|, . . . , es ortogonal en el intervalo 0 z :
_

0
P
m
l
(cos )P
m
l
(cos ) sen d =
2
2l + 1
(l + m)!
(l m)!

l l
. (60)
Funciones de Legendre A.Nieto 5
Por lo tanto, toda funcion razonablemente regular.
en
0 z se puede desarrollar en serie de funciones
asociadas de Legendre
f() =

l=|m|
c
l
P
m
l
(cos ) , (61)
con
c
l
=
2l + 1
2
(l m)!
(l + m)!
_

0
P
m
l
(cos ) f() sen d . (62)
Adem as {P
m
l
(z)} con m = l, . . . , +l es tambien ortogonal en el intervalo 1 z 1 con funcion
peso (z) = (1 z
2
)
1
:
_
+1
1
P
m
l
(z)P
m

l
(z)
1
1 z
2
dz =
(l + m)!
m! (l m)!

mm
. (63)
De forma similar, {P
m
l
(cos )} con m = l, . . . , +l es ortogonal en el intervalo 0 z :
_

0
P
m
l
(cos )P
m

l
(cos ) d =
(l + m)!
m! (l m)!

mm
. (64)
3. Armonicos Esfericos
3.1. Denici on
Y
m
l
(, ) (1)
m

2l + 1
4
(l m)!
(l + m)!
P
m
l
(cos ) e
im
, (65)
con l = 0, 1, 2, . . . y m = l, . . . , +l. Algunos armonicos esfericos:
Y
0
0
(, ) =
_
1
4
(66)
Y
0
1
(, ) =
_
3
4
cos (67)
Y
1
1
(, ) =
_
3
8
sen e
i
(68)
Y
0
2
(, ) =
_
5
16
(3 cos
2
1) (69)
Y
1
2
(, ) =
_
15
8
sen cos e
i
(70)
Y
2
2
(, ) =
_
15
32
sen
2
e
2i
(71)
3.2. Propiedades
1.
Y
m
l
(, ) = (1)
m
[Y
m
l
(, )]

(72)
Y
m
l
( , + ) = (1)
l
Y
m
l
(, ) (73)
2. Teorema de Adicion de los Armonicos Esfericos.
P
l
(cos ) =
4
2l + 1
+l

m=l
Y
m
l
(
1
,
1
) [Y
m
l
(
2
,
2
)]

, (74)
donde r
1
y r
2
son dos vectores cuyas coordenadas esfericas son respectivamente (r
1
,
1
,
1
) y
(r
2
,
2
,
2
) y =

(r
1
, r
2
) es el angulo que forman (24).
Funciones de Legendre A.Nieto 6
3. El desarrollo del potencial coulombiano en armonicos esfericos se puede obtener insertando (74)
en (23):
1
|r
1
r
2
|
=

l=0
r
l
<
r
l+1
>
4
2l + 1
+l

m=l
Y
m
l
(
1
,
1
) [Y
m
l
(
2
,
2
)]

, (75)
donde r
<
mn{r
1
, r
2
} y r
>
max{r
1
, r
2
}.
3.3. Ortogonalidad de los Armonicos Esfericos
El conjunto {P
m
l
(cos )e
im
} es ortogonal y completo. Por lo tanto, el conjunto
{Y
m
l
(, )} (76)
tambien es ortogonal y completo ya que
_
2
0
d
_

0
d sen [Y
m

l
(, )]

Y
m
l
(, ) =
ll

mm
(77)
y

l=0
+l

m=l
[Y
m
l
(

)]

Y
m
l
(, ) = (cos cos

)(

) . (78)
Toda funcion f(, ) razonable en 0 < 2 y 0 se puede escribir como
f(, ) =

l=0
+l

m=l
c
lm
Y
m
l
(, ) , (79)
con
c
lm
=
_
2
0
d
_

0
d sen [Y
m
l
(, )]

f(, ) (80)