Cap

tulo 16
Polinomios de Legendre

16.1 Fun ion generatriz

En diversos problemas fsi os (gravita ion, ele trostati a, et .) nos en ontramos on fuerzas
que dependen del inverso de la distan ia entre dos uerpos. Los polinomios de Legendre
apare en naturalmente en el problema geometri o de determinar esta distan ia inversa, lo
ual los vin ula on numerosas situa iones de interes fsi o.
Consideremos dos radios r y r que unen un punto O on dos puntos, A y B , respe tivamente:
0

A
r0
O

La distan ia d = AB esta dada por:

q
d = r + r 2rr os  :
Denamos
x = os  ;
1x1:
Si r > r y s = r =r < 1, se tiene
1 = 1p 1
:
d r 1 + s 2sx
Si, por el ontrario, r < r , y s = r=r < 1:
1= 1p 1
:
d r 1 + s 2sx
2

2
0

163

164

CAPITULO 16. POLINOMIOS DE LEGENDRE

En ambos asos, la segunda fra ion es la misma y resulta ser pre isamente la fun ion
generatriz de los polinomios de Legendre.
Deni ion 16.1

(x; s) = p
1+s

2xs

1
X

Pn (x)sn

n=0

(16.1)

Pn (x).

es la fun ion generatriz de los polinomios de Legendre

Observemos que (x; s) puede ser expandida en serie de Taylor en el argumento (s 2xs):
(x; s) = [1 + (s 2xs) = = 1 21 (s 2xs) + 38 (s 2sx)



= 1 + xs + 21 (3x 1)s


;
lo ual nos permite en ontrar expresiones expl itas para los polinomios de Legendre:
2

1 2

P0 (x) = 1 ;
P1 (x) = x ;

1) ;

(16.2a)
(16.2b)
(16.2 )

3x) : : :

(16.2d)

1 (3x
2
1
P (x) = (5x
2

P2 (x) =
3

Considerando el aso parti ular x = 1 en (16.1):

1
X
1
1
(1; s) = p
= 1 + s + s + s +


= Pn(1)sn :
=
1 + s 2s 1 s
n
Luego
Pn (1) = 1 8n 2 N :
(16.3)
Analogamente, tomando x = 1:
1
X
1
1
= 1 s + s s +


= Pn( 1)sn :
( 1; s) = p
=
1 + s + 2s 1 + s
n
Luego
Pn ( 1) = ( 1)n 8n 2 N :
(16.4)
Tambien es inmediato evaluar Pn(0):
1
1
X
 1)!!  X
(0; s) = p 1 = 1 12 s + 83 s +


= 1 + ( 1) (2(2
s =
Pn (0)sn ;

)!!
1+s

n
2

=0

=0

=1

=0

165

16.2. RELACIONES DE RECURRENCIA

luego
Pn (0) = 0

si n es impar,
(2 1)!! si   1,
P  (0) = ( 1)
(2 )!!
P (0) = 1 :
2

16.2 Rela iones de re urren ia

1) Derivemos (16.1) respe to a s.

s

= 12 (1 + s

2xs)

3 2

(2s 2x) =

x s
1 + s2 2xs

1
X
n=0

nPn (x)sn

es de ir
2xs) s (x s) = 0 :

(1 + s

Introdu iendo la expansion (16.1) e igualando oe ientes de sn, se obtiene la rela ion de
re urren ia
(n + 1)Pn (x) x(2n + 1)Pn(x) + nPn (x) = 0 ; n  1 ;
(16.5a)
+1

P1

xP0 = 0 :

(16.5b)

2) Es ribamos los polinomios de Legendre en la forma

Pn (x) =

n
X
m=0

(16.6)

an;m xm :

Reemplazando en (16.1) y omparando oe ientes de xm se sigue que:

(n + 1) a n ; n = (2n + 1)an;n ;
2m 1 a
; m1:
a =
+1

( +1) ( +1)

m;m

m 1;m

(16.7)

E sta es una rela ion de re urren ia entre los oe ientes supremos de los polinomios de
Legendre. Puesto que a = 1 [rela iones (16.2), se sigue que
1
3 ; a = 1
3
5 :::
a =1; a =
1
2
1
2
3
00

11

22

33

166

CAPITULO 16. POLINOMIOS DE LEGENDRE

y en general

(2n 1)!! = (2n)! :

n!
2n(n!)

(16.8)

3) Derivando (16.1) respe to a x se obtiene:

xPn0 (x) Pn0 (x) = nPn (x)

(16.9)

ann =

Derivando (16.5) respe to a x, y ombinandola on (16.9) para eliminar el termino en

Pn0 (x):

Pn0 +1 (x) Pn0

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

(16.10)

Restando (16.9) y (16.10):

Pn0 +1 (x) xPn0 (x) = (n + 1)Pn(x)

(16.11)

16.3 Coe ientes del polinomio Pn(x)

Consideremos (16.1) y expandamos (x; s) en serie de Taylor:

1 
X
1
1
=2
(x; s) = p
(s 2sx)k ;
=
k
1 + (s 2sx) k
donde

1=2 = ( 1=2)! = p :
k
k)! k!(
k)!
k!(
Por su parte,
2

=0

1
2

(s

2sx) =
k

1
2

k
X
=0

 

k 2
s (


2sx)k  ;

de modo que
(x; s) =

1 X
k
X

k=0 =0

1=2k ( 2x)k  sk  :

k
+

Sea n = k + . Enton es
(x; s) =

1 X
2k
X
k=0 n=k

1=2 k
k

n k

( 2x) k nsn :
2

Deseamos inter ambiar el orden de las sumas. Para ello observemos la siguiente gura:

16.3. COEFICIENTES DEL POLINOMIO PN (X )

167

n
k=n
8
7
6
5
4
3
2
1
0

k
0 1 2 3 4 5 6 7 8

Efe tuar la doble suma equivale a sumar sobre los pares ordenados (k; n) indi ados on
puntos en la gura. El orden en que se realizan las sumas orresponde a desplazarnos sobre
el eje horizontal, es oger un valor de k, y luego desplazarnos sobre el eje verti al, re orriendo
los valores de n entre n = k y n = 2k. Equivalentemente, podemos desplazarnos primero
sobre el eje verti al, es oger un valor de n, y luego re orrer los puntos horizontalmente entre
los lmites k = [(n + 1)=2 y k = n. As, la doble suma se puede es ribir:



1 X
n
X
k
1
=2
(x; s) =
( 2x) k n sn ;
n
k
k
n k [ n+1
2
donde


n
n+1

si n es par,
2
2


n+1
n+1

si n es impar.
2
2
Comparando on (16.1), identi amos



n
X
k
1
=2
( 2x) k n :
Pn (x) =
n
k
k
k [ n+1
2
Deniendo  = n k, el lmite inferior de la suma orresponde a  = n [(n +1)=2 = [n=2,
de modo que



X
1
=2 n 
Pn (x) =
( 2)n  xn  ;
= n 

 [ n2
o bien
[ n2 ( 1) (2n 2)!
X
n 
Pn (x) =
(16.12)
n (n )!(n 2)!! x
2

2

=0

=0

De (16.12) es fa il dedu ir que:

{ Pn(x) es par si n es par.
{ Pn(x) es impar si n es impar.

168

CAPITULO 16. POLINOMIOS DE LEGENDRE

16.4 Formula de Rodrigues

Puesto que

dn 2(n
x
dxn

)

= (2(nn 22)!)! xn

(16.12) se puede rees ribir en la forma:

n
[
2
X
dn n 
1
1

x
Pn (x) = n ( 1)
2 
!(n )! dxn
[ n2
1
dn X
= 2nn! dxn ( 1) !(nn! !) x n 

n
d
= 2n1n! dx
1)n ;
n (x
obteniendose la formula de Rodrigues :
1 dn (x 1)n
Pn(x) = n
(16.13)
2 n! dxn
La formula de Rodrigues nos permite demostrar fa ilmente diversas propiedades de los
polinomios de Legendre, omo veremos en las siguientes se iones.
2(

=0

2(

=0
2

16.5 E ua ion diferen ial de Legendre

Nos interesa ahora determinar la e ua ion diferen ial de la ual los polinomios de Legendre
son solu ion. Sea
u(x) = (x 1)n :
Enton es
u0 (x) = n(x 1)n 2x ;
(x 1)u0(x) = 2nx(x 1)n = 2nxu(x) ;

dn
dn 
(
x
1)
u
(
x
)
=
2nxu(x) :
dxn
dxn
Desarrollando las derivadas de produ tos a ambos lados de esta expresion:




n+1
n+1
n
n
(x 1)u (x) + 1 2xu (x) + 2 2u n (x) =


n+1
n
2nxu (x) + 1 2nu n (x) ;
2

+1

+1

+1

+1

( )

( +1)

( +2)

( +1)

(x 1)u n (x) + 2xu n (x) n(n 1)u n (x) = 0 :

Luego, on (16.13), obtenemos la e ua ion diferen ial de Legendre :
(x 1)Pn00(x) + 2xPn0 (x) n(n + 1)Pn(x) = 0
2

( +2)

( +1)

( )

( )

(16.14)

16.6. LUGARES NULOS DE PN (X )

169

16.6 Lugares nulos de Pn(x)

Proposi ion 16.1 Pn(x) tiene lugares nulos simples en el intervalo (
Demostra ion

luego:

1; 1).

Sea u(x) = (x 1)n. u(x) tiene lugares nulos de multipli idad n en x = 1,
2

u0(x) se anula una vez en ( 1; 1)

u00 (x) se anula dos ve es en ( 1; 1)

...

u(n) (x) se anula n ve es en (

1; 1)
q.e.d.

16.7 Rela ion de ortogonalidad

Supongamos 0  m < n, y observemos que, por la formula de Rodrigues (16.13):
2 !
nn

1
1

tm P

donde u(t) = (t
2 !

1
1

tm P

1
1

tm u(n) (t) dt ;

1)n. Integrando por partes:

nn

(t) dt =

(t) dt =

tm u(n

1)

(t)

1
1

tm 1 u(n

1)

(t) dt :

El termino de borde es ero pues u m (1) = 0 si m < n. Analogamente, integrando por

partes m ve es:
(

2 !
nn

1
1

tm P

(t) dt = ( 1) !
mm

1
1

u n m)
(

(t) dt = ( 1) !
mm

un m
(

1)

(t)

=0:

Luego Pn(x) es ortogonal a todo polinomio de grado m < n en el intervalo [ 1; 1, en

parti ular a Pm(x).
En el aso m = n, el produ to interno entre los polinomios de Legendre es:
(2 !)
nn

Z
2

1
1

Pn (t) dt =

1
1

u(n) (t)u(n) (t) dt :

Integrando por partes:

(2 !)

nn

1
1

Pn (t) dt =
2

1

u(n) u(n 1) 

Z
1

1
1

un

( +1)

(t)

un
(

1)

(t) dt =

1
1

u(n+1) (t)u(n

1)

(t) dt ;

170

CAPITULO 16. POLINOMIOS DE LEGENDRE

pues el termino de borde es nulo. As, integrando por partes n ve es:

Z

(2 !)
nn

1
1

Pn (t) dt = (
2

1)

= ( 1)

u(2n) (t)u(t) dt

d2n  2
(t
2n
1 dt

= ( 1) (2n)!
n

= (2n)!
Integrando por partes:
(2nn!)

Z
2

1
1

1
1

1
1

n

1) (t

1)

usando:

n dt

( 1)n(1 t )n dt
2

"

(1 + t)n
Pn (t) dt = (2n)! (1 t)n
n+1
2

1
1


+1 1



+ n+1

1
1

(1 t)n (1 + t)n dt
1

+1

(1 t)n (1 + t)n dt
1

+1

Analogamente, integrando por partes n ve es:

Z
Z
n(n 1)(n 2)


2
1
n
1
(1 + t) n dt
(2 n!) Pn (t) dt = (2n)! (n + 1)(n + 2)


2n

n

n!
1
n
= (2n)! n! (2n)! 2n + 1 (1 + t)  (n2!)n +2 1 :
Obtenemos as la rela ion de ortogonalidad :
Z
2
Pn (t)Pm (t) dt =
2n + 1 nm
1

1)n = (2n)!

(1 t)n(1 + t)n dt :

= (2n)! n +n 1
2

d2n  2
(t
dt2n

2 +1

2 +1

(16.15)

16.8 Expresiones integrales para Pn(x)

Sabemos, por el Teorema de Cau hy, que una fun ion analiti a se puede es ribir en terminos
de una integral de ontorno:
I
f (u)
n!
n
f (z ) =
2i (u z)n du :
Sea
1
f (z ) = n (z 1)n :
2 n!
Enton es los polinomios de Legendre se pueden es ribir en la forma:
I
(u 1)n du ;
n! 1
n
Pn (z ) = f (z ) =
2i 2n n! (u z)n
( )

+1

( )

+1

16.8. EXPRESIONES INTEGRALES PARA PN (X )

171

obteniendose la formula de S hla i :

I
(u 1)n du
1
1
Pn (z ) = n
2 2i (u z)n
Integremos sobre una ir unferen ia de entro z y radio . Enton es
u = z + ei ;
0   < 2 ;
i
du = ie d = i(u z )d ;
luego
u 1 z + 2zei +  e i 1
=
2

+1

u z

de modo que

(16.16)

2 2

= 1 (z


ei

1)e i + 2z + 2 ei ;

Z 
1
1
1 (z 1)e i + 2z +  ein i d
Pn (z ) = n
2 2i Z n


1
1
1
= 2n 2 n
(z 1)e i + 2z +  ei n d :
p
Si z 6= 1 podemos tomar  = z 1, on lo ual la rela ion anterior queda:
Z 

1
1
1
i + e i ) + 2zn d
Pn (z ) = n

(
e
2 2Z n

  (ei + e i )
2
z n
1
+ 2 d
= 2

2
Z 
1
= 2 [ os  + zn d :
Se obtiene as la rela ion de Lapla e :
Z h
in
p
1
z + z 1 os  d
Pn (z ) =
2
Para z = 1 tenemos simplemente
Pn (1) = (1)n :
2

Corolario j Pn (x) j  1

(16.17)

8n 2 N ; 8x 2 [ 1; 1 :
Demostra ion Sea x 2 [ 1; 1. Adoptamos la onven ion de que la raz uadrada es un
numero positivo, y es ribimos
p
p
x 1=i 1 x :
0

172

CAPITULO 16. POLINOMIOS DE LEGENDRE

El integrando en (16.17) satisfa e:



p


 x + i 1 x os   = x + (1 x) os   x + 1 x = 1 ;
2

luego


x

+ i 1 x os

As,
Z
1
j P n ( x) j  2 

2 n=2
 

+ i 1 x os
2

n
 

1:

Z 
1
d = 1 :
d 
2
2

q.e.d.

p
Poniendo z = os  en (16.17), z 1 = i sen , y se obtienen la representa ion adi ional:
Z 
1
n
Pn( os ) =
2 ( os  + i sen  os ) d ;
2

Z 
1
Pn( os ) =
( os  + i sen  os )n d

0

(16.18)

16.9 Serie de Legendre

Los polinomios de Legendre, siendo ortonormales en [ 1; 1, son andidatos a ser una base en
ese intervalo, de modo que una fun ion arbitraria podra ser es rita omo una ombina ion
lineal de los PnP. 1Estudiemos esta posibilidad.
Si la serie  a P (x) onverge uniformemente en [ 1; 1 y representa all a f (x), es
de ir,
=0

f (x) =

enton es
Z

1
1

f (x)Pn (x) dx =

1
X
 =0

a

1
1

1
X
 =0

a P (x) ;

P (x)Pn (x) dx =

1
X
 =0

a n

2 = 2an :
2n + 1 2n + 1

Enton es los oe ientes de Fourier de f (x) respe to a los polinomios de Legendre estan
dados por:
Z

1
an = n +
f (x)Pn (x) dx :
(16.19)
2
1

173

16.9. SERIE DE LEGENDRE

A la inversa: Sea f (x) una fun ion dada, a otada y se ionalmente ontinua en [ 1; 1.
Enton es se pueden al ular los oe ientes de Fourier a respe to a P y onstruir la serie
1
X
 =0

a P (x) :

>Converge la serie? Si onverge, >representa a f (x)?

Para saberlo, tomemos el modulo de (16.19):
Z

1
j f (x) j j Pn(x) j dx :
j an j  n + 2
Sea M = maxx2 ; j f (x) j. Como j Pn(x) j  1,


1
j an j  n + 2 2M = (2n + 1)M :
Por otra parte, si f 0 existe y es ontinua en [ 1; 1, enton es para n > 0 se tiene

Z
1
an = n +
f (x)Pn (x) dx :
2
Integrando por partes,
1

1 1

"


Z
Z x
Z x

1
0
0
0

f (x) Pn (x0 ) dx0 dx :
an = n +
2 f (x) Pn(x ) dx 
Pero, de la rela ion de re urren ia (16.10),
Z x
1 [P (x) P (x) ;
Pn (x0 ) dx0 =
n
2n + 1 n
on lo ual
Z
1
0
an =
2 f (x)[Pn (x) Pn (x) dx :
As,
Z
Z
1
0
j an j  2 j f (x) j (j Pn (x) j + j Pn (x) j) dx  j f 0(x) j dx  2M 0 ;
donde
M 0 = max j f 0 (x) j :
x2 ;


+1

+1

+1

1 1

Realizando el mismo pro edimiento suponiendo que f 00 es se ionalmente ontinua en [ 1; 1

se obtiene que
ja j ' 1 A ;
n

n2

174

CAPITULO 16. POLINOMIOS DE LEGENDRE

P
para
n su ientemente grande, y A ierta onstante. Por tanto, 1
n j an j onverge, luego
P1
n an Pn (x) onverge uniformemente.
Ahora
nos preguntamos: Dada una fun ion f , al ulamos los oe ientes an y sabemos
P1
que n anPn(x) onverge uniformemente. >Representa esta serie de Legendre la fun ion
f (x)? Para responder, onsideremos la diferen ia entre la serie y la fun ion f (x):
=0

=0

=0

1
X

g (x) = f (x)

 =0

a P (x) :

Los oe ientes de Fourier de g(x) son:



"Z

Z


1
1
bn = n +
g (x)Pn(x) dx = n +
2
2

= an

1
X
 =0

1
1

f (x)Pn (x) dx

1
X
 =0

a

1
1

P (x)Pn (x) dx

a n = 0 :

Armamos que
g (x)  0 :

Supongamos que g(x) 6= 0 en un intervalo [;  2 [ 1; 1. Sin perdida de

generalidad, supongamos ademas que g(x) > 0 en este intervalo. Sea q(x) un polinomio de
grado dos tal que q() = q( ) = 1 y q(x) < 1 en [ 1;  [ [; 1. Gra amente:

Demostra ion

y=1
q
g

+1

Luego
Z

1
1

g qk

!
k
1

g qk > 0 :

Pero g(x) es ortogonal a todos los polinomios Pn(x), y por tanto a todo polinomio, luego
Z

1
1

g qk = 0 ;

lo que ontradi e nuestro resultado anterior.

175

16.10. FUNCIONES ASOCIADAS DE LEGENDRE

Por lo tanto g(x)  0.

q.e.d.

Luego,
1
X

f (x) =

 =0

a P (x) :

16.10 Fun iones aso iadas de Legendre

Una manera de obtener la e ua ion aso iada de Legendre es partir de la e ua ion regular de
Legendre (16.14)
(1 x )Pn00 2xPn0 + n(n + 1)Pn = 0 ;
(16.14)
y on la ayuda de la formula de Leibniz, para la derivada n-esima de un produ to de fun iones,
n
X
ds
dn s
n!
dn
[
A
(
x
)
B
(
x
)
=
A
(
x
)
(16.20)
n s
s B (x) ;
dxn
(
n
s
)!
s
!
dx
dx
s
2

=0

diferen iarla m ve es obteniendo:

(1 x) u00 2x(m + 1)u0 + (n m)(n + m + 1)u = 0 ;
donde

(16.21)

u(x) 

Reemplazando

dm
P (x) :
dxm n

dm
(x) = (1 x )m= u(x) = (1 x )m= dx
m Pn (x) ;
2

resolviendo para u y diferen iando,

u0 =

0 + mx

(1 x ) m= ;
1
x


m
m(m + 2)x
2
mx 0
00
00
u =
+ 1 x + 1 x + (1 x ) (1 x ) m= :
Sustituyendo en la e ua ion (16.21), en ontramos que satisfa e la e ua ion diferen ial
2

(1 x )
2

00

2x 0 + n(n + 1)

2 2

m2
1 x2

=0:

(16.22)

La ual es ono ida omo la e ua ion aso iada de Legendre. Para reobtener la e ua ion de
Legendre (16.14) basta tomar m = 0. Ha iendo el ambio de variable x = os , obtenemos

176

CAPITULO 16. POLINOMIOS DE LEGENDRE

la e ua ion expresada en oordenadas polares, que es la forma usual en que nos la vamos a
en ontrar
1 d sen  d  + n(n + 1) m  = 0 :
(16.23)
sen  d
d
sen 
2

Las solu iones regulares, denotadas por Pnm(x), son:

d
(x) = Pnm(x) = (1 x )m= dx
(16.24)
m Pn (x) :
O asionalmente los Pnm(x) apare en en su deni ion on un fa tor ( 1)m , por ejemplo en
Classi al Ele trodynami s, Se ond Edition de J.D. Ja kson, esta ele ion es ono ida omo
fase de Magnus y Oberhettinger o de Condon y Shortley. Nosotros in luiremos esta fase
en la deni ion de los armoni os esferi os, al estilo seguido en Mathemati al Methods for
Physi ists, Fourth Edition de G.B. Arfken y H.J. Weber. A pesar de que el fa tor de fase se
introdu e en distintos puntos de las deni iones los armoni os esferi os resultates son iguales.
Algunos ejemplos de fun iones aso iadas de Legendre
P (x) = (1 x ) = = sen  ;
P (x) = 3x (1 x ) = = 3 os  sen  ;
P (x) = 3 (1 x ) = 3 sen  ;
3
3
P (x) = (5x 1) (1 x ) = = (5 os  1) sen  ;
2
2
P (x) = 15x (1 x ) = 15 os  sen  ;
(16.25)
P (x) = 15 (1 x ) = = 15 sen  ;
5
5
P (x) = (7x 3x) (1 x ) = = (7 os  3 os ) sen  ;
2
2
15
15
P (x) = (7x 1) (1 x ) = (7 os  1) sen  ;
2
2
=
P (x) = 105x (1 x ) = 105 os  sen  ;
P (x) = 105 (1 x ) = 105 sen  :
La rela ion entre Pnm y Pn m es:
(n m)! P m(x) :
Pn m (x) = ( 1)m
(16.26)
(n + m)! n
La fun ion generatriz de las fun iones aso iadas de Legendre
1
X
(2m)!(1 x )m=
m

(16.27)
2mm!(1 2tx + t )m = =  P m (x)t :
Las rela iones de re urren ia que satisfa en las fun iones aso iadas de Legendre
2mx P m + [n(n + 1) m(m 1)P m = 0 ;
Pnm
(16.28)
n
(1 x ) = n
(n + m)Pnm + (n m + 1)Pnm = (2n + 1)xPnm ; (16.29)
1 P m 1 (n + m)(n m + 1)P m = (1 x ) = P m0 ; (16.30)
n
n
2 n
2
2

1
1

2 1 2

1
2
2
2

2 1 2

1
3

2 1 2

2
3

3
3

2 3 2

1
4

2 1 2

2
4

3
4
4
4

2 3 2

2 2

+1 2

=0

+1

2 1 2

+1

+1
1

2 1 2

177



16.11. ARMONICOS
ESFERICOS

(2n + 1)(1 x ) = Pnm = Pnm Pnm ;

(16.31)
m
= (n + m)(n + m 1)Pn
(n m + 1)(n m + 2)Pnm :
(16.32)
La rela ion de paridad satisfe ha por las fun iones aso iadas de Legendre es
Pnm ( x) = ( 1)n m Pnm (x) :
(16.33)
Ademas, se satisfa e en los extremos que
Pnm (1) = 0
para m 6= 0:
(16.34)
Las fun iones aso iadas de Legendre satisafa en distintas rela iones de ortogonalidad dependiendo sobre ual ndi e se tomen. La primera:
Z
2 (q + m)! ;
Ppm (x)Pqm (x) dx =
(16.35)
2q + 1 (q m)! p q
en oordenadas polares
Z 
2 (q + m)! :
Ppm ( os )Pqm ( os ) sen  d =
(16.36)
2q + 1 (q m)! p q
Sobre el otro ndi e
Z
(n + m)! :
(16.37)
Pnm (x)Pnk (x)(1 x ) dx =
m(n m)! m k
2 1 2

+1
+1

1
1

1
1

1
+1

16.11 Armoni os esferi os

En la separa ion de variable de la e ua ion de Lapla e, en la dependen ia espa ial de la
e ua ion de onda, en la e ua ion de S hrodinger tiempo independiente para un ampo de
fuerzas entrales apare en e ua iones del tipo
r + k f (r) = 0 :
(16.38)
La dependen ia angular, viniendo enteramente del operador lapla iano, es
() d sen  d()  + () d () + n(n + 1)()() = 0 :
(16.39)
sen  d
d
sen  d
Una onstante de separa ion de la forma n(n + 1) on n un entero asegura que la solu ion en
serie de la e ua ion de Legendre llege a ser un polinomio. De otra manera ambas solu iones
en serie divergen en os  = 1. La dependen ia azimutal satisfa e
1 d () = m ;
(16.40)
() d
2

178

CAPITULO 16. POLINOMIOS DE LEGENDRE

on solu iones

() = e im ; eim :

Las uales satisfa en la ondi ion de ortogonalidad
Z 2
0



m1

()m2 () d =

Z 2
0

(16.41)

im1  eim2  d

= 2m1 m2 :

(16.42)

En la mayora de los problemas fsi os requerimos que m sea un entero para que (), sea
una fun ion monovaluada del angulo azimutal. Dada la rela ion (16.42)
m () = p1 eim ;
(16.43)
2
es un onjunto de fun iones ortonormales on respe to a la integra ion sobre el angulo azimutal . Separando la dependen ia azimutal, la dependen ia en el angulo polar  ondu e a
una e ua ion aso iada de Legendre
1 d sen  d()  + n(n + 1) m  () = 0 :
(16.44)
sen  d
d
sen 
La ual es satisfe ha por las fun iones aso iadas de Legendre, esto es, () = Pnm( os ).
Para in luir valores megativos m, nosotros usamos la formula de Rodrigues en la deni ion
de Pnm( os ).
dm n
1
nmn:
(16.45)
Pnm (x) = n (1 x )m= m n (x 1)n ;
2 n!
dx
Normalizando las fun ion aso iadas de Legendre
s
m)! m
Pnm ( os ) = (2n 2+ 1) ((nn + m
(16.46)
)! Pn ( os ) ; n  m  n :
La fun ion m () es ortonormal on respe to al angulo azimutal , puesto que la fun ion
Pnm ( os ) es ortonormal on respe to al angulo polar . Nosotros tomamos el produ to de
ambas y denimos los armoni os esferi os:
s
(2n + 1) (n m)! P m( os ) eim ;
Ynm (; ) = Ynm (; )  ( 1)m
(16.47)
4 (n + m)! n
obteniendo fun iones en los dos angulos, las uales son ortonormales sobre la super ie
esferi a. La integral ompleta de ortogonalidad
2

Z 2 Z 

o bien,

=0 =0

Ynm1 1  (; )Ynm2 2 (; ) sen  dd = n1 n2 m1 m2 ;

Ynm1 1  (
)Ynm2 2 (
)d
= n1 n2 m1 m2 ;

(16.48)
(16.49)

179



16.11. ARMONICOS
ESFERICOS

donde
es el angulo solido.
A ontinua ion, una lista de los primeros armoni os esferi os:
1
Y (; ) = p ;
4
r
3 sen ei ;
Y (; ) =
8
r
3 os  ;
Y (; ) =
4
r
3 sen e i ;
Y (; ) =
8
r
5 3 sen e i ;
(16.50)
Y (; ) =
96
r
5 3 sen  os ei ;
Y (; ) =
24
r

5
3
1
Y (; ) =
os  2 ;
4
 2
r
5 3 sen  os e i ;
Y (; ) =
24
r
5 3 sen e i :
Y (; ) =
96
Parte de la importan ia de los armoni os esferi os ya e en la propiedad de ompletitud.
Esta propiedad, en este aso, signi a que ualquier fun ion f (; ), on las su ientes propiedades de ontinuidad, evaluada sobre la super ie de la esfera puede ser expandida en
una uniformemente onvergente doble serie de armoni os esferi os, ono ida omo serie de
Lapla e,
X
f (; ) =
amn Ynm (; ) :
(16.51)
0
0

1
1

0
1

2
2

1
2

0
2

m;n

Si f (; ) es ono ida, los oe ientes pueden ser inmediatamente en ontrados por el uso de
la integral de ortogonalidad (16.48).
Una propiedad importante que satisfa en los armoni os esferi os es:
Yn m (; ) = ( 1)m Ynm  (; ) :
(16.52)
Consideremos a ontinua ion dos dire iones en oordenadas polares esferi as en un espa io tridimensional, ( ;  ) y ( ;  ). El angulo entre las dos dire iones lo denotamos .
Este angulo satisfa e la siguiente identidad trigonometri a
os = os  os  + sen  sen  os(  ) :
(16.53)
El teorema de adi ion para los armoni os esferi os arma que
n
4
 X
m m
m
Pn ( os ) =
(16.54)
2n + 1 m n( 1) Yn ( ;  )Yn ( ;  ) ;
1

180

CAPITULO 16. POLINOMIOS DE LEGENDRE

o equivalentemente
n
4
 X
Ynm ( ;  )Ynm  ( ;  ) :
Pn ( os ) =
2n + 1 m n
1

(16.55)

En terminos de los polinomios de Legendre

n
X
(n m)! P m( os  )P m( os  ) os m(
Pn ( os ) = Pn ( os  )Pn ( os  ) + 2
n
(n + m)! n
m
1

=1

2 ) :

(16.56)

La e ua ion (16.53) es un aso espe ial de la e ua ion (16.56).

16.12 Segunda solu ion de la e ua ion de Legendre

Los polinomios de Legendre son solu ion de la e ua ion diferen ial (16.14). Pero esta es una
e ua ion de segundo grado, y por tanto debe existir otra solu ion, linealmente independiente
a los Pn(x). La en ontraremos observando que los polinomios de Legendre son un aso
parti ular de la fun ion hipergeometri a. En efe to, onsideremos la e ua ion hipergeometri a
general:


1
 0 1   0 1 0
00
W +
W0
+
+


z A
z B
0
 0

+
A)(B C ) (z B )(C

+
A) (z

(z
on solu iones

8
<
:

0
C )(A B )

A B C
  z
0  0 0

9
=
;

(A B )(B C )(C A) W = 0 ;
(z A)(z B )(z C )

Considerando el aso parti ular

A= 1;
B=1;
C=1;
(16.57)
0
0
 =  = 0 ;  =  = 0 ; = n ; 0 = n + 1 ;
que satisfa e la ondi ion  + 0 +  +  0 + + 0 = 1, la e ua ion hipergeometri a queda


1
n(n + 1)
1
00
W +
W0
+
z+1 z 1
(z + 1)(z 1) W = 0 ;
es de ir
(z 1)W 00 + 2zW 0 n(n + 1)W = 0
(16.58)
2

que es la e ua ion diferen ial de Legendre ya en ontrada en (16.14).

181

 DE LA ECUACION
 DE LEGENDRE
16.12. SEGUNDA SOLUCION

Los polinomios de Legendre se pueden es ribir enton es omo la fun ion

8
9
1
< 1 1
=
0
0
n z :
Pn (z ) = P
:
0 0 n+1 ;
Para en ontrar una base, planteamos para la otra solu ion:

(16.59)

1. Si W = Pn(x), enton es
1

W2 (x) = Pn(x)

Z x

x0

u(x0 ) dx0 :

2. Desarrollo on entro en 1, vease base anoni a.

3. Desarrollo on entro en 0 [ orresponde a series de Taylor.
W (0) 6= 0, W 0 (0) = 0, si n es par resulta Pn (salvo onstante).
W (0) = 0, W 0 (0) 6= 0, si n es impar resulta Pn (salvo onstante).
4. A n de tener algo univalente en j z j > 1 onsideremos
Z
Pn (t)
1
Q n (z ) =
2 z t dt
1

(16.60)

Qn (z ) satisfa e la e ua ion diferen ial de Legendre.

(z

1)Q00 (z) + 2zQ0 (z) =

=
=

1
P (t)
Pn (t)
z n 2 dt
(z 1) (z t)3 dt
t)
1 (z
1
 2

1
t 1 t(z t)
(z t)3 + (z t)3 Pn(t) dt
1
Z 1
1
dt
n (t)
2
dt :
(t 1)Pn(t)
(z t)3 + (tP
t)2
1 z
1
1

En efe to,

Z
Z

Integrando por partes la primera integral:

(z

1)Q00 (z) + 2zQ0 (z) =

n

(t

1
1
1
1

1


2 

1)Pn(t) + 2(z t)
Z


dt
n (t)
0
dt
(t 1)Pn(t) + 2tPn(t) 2(z t) + (tP
z t)
(t 1)Pn0 (t) dt :
2(z t)
1

182

CAPITULO 16. POLINOMIOS DE LEGENDRE

Integrando nuevamente por partes:

(z

1)Q00 (z) + 2zQ0 (z) =

1)P 0 (t)

(t

2(z t)

1




Luego
(z 1)Q00n(z) + 2zQ0n (z) + n(n + 1)Qn(z)
Z
1
= 2 (t

Z
1
+ 2 (t
1

1)Pn00(t) + 2tPn0 (t) dt :

1)Pn00(t) + 2tPn0 (t) + n(n + 1)Pn(t) dt :

Pero el integrando es pre isamente la e ua ion de Legendre, que es satisfe ha por los Pn,
luego el integrando es ero y
(z 1)Q00n(z) + 2zQ0n (z) + n(n + 1)Qn(z) = 0 :
(16.61)
Las fun iones Qn(z) son la segunda solu ion de la e ua ion de Legendre. (16.60) se puede
rees ribir:
Z
1
1

(16.62a)
Qn (z ) = Pn (z )I (z )
2
2 Qn(z; t) dt ;
on
2

I (z ) =
Qn (z; t) =

Se tiene
I (z ) =

t=1




ln(z t)

t=

dt

(16.62b)

;
z t
Pn (z ) Pn (t)
:
z t
1

= ln(z + 1) ln(z 1) = ln

(16.62 )


z+1
z 1

que es univaluado en todo el plano omplejo, salvo en la re ta 1  z  1, luego



z+1
I (z ) = ln
; salvo en 1  z  1.
(16.63)
z 1
El numerador de Qn es un polinomio de grado n, y su denominador es un polinomio de
grado 1. Se puede mostrar que Qn es un polinomio de grado n 1 en t y z. As, la segunda
integral en (16.62a) es un polinomio en z de grado n 1. Finalmente,


1
z+1
Qn (z ) = Pn (z ) ln
qn (z ) ;
(16.64)
2
z 1
on qn(z) un polinomio de grado n 1 on oe ientes reales.
Para 1 <  < 1, (16.64) nos permite armar que
Qn ( + 0i) = Qn ( 0i) iPn ( ) :
(16.65)
Basta onsiderar el ir uito en torno al polo en z = 1:

 DE LA ECUACION
 DE LEGENDRE
16.12. SEGUNDA SOLUCION

-1

183

+1

Arma ion Si x es real, j x j > 1, enton es Qn (x) 2 R .

Demostra ion Basta observar que el argumento del logaritmo en (16.64) es siempre positivo, pues el numerador y el denominador son positivos (negativos) si x > 1 (x < 1).

q.e.d.
Denominamos a las solu iones Qn de la e ua ion de Legendre, fun iones de Legendre de

segunda espe ie.

De las expresiones expl itas (16.62a), (16.62 ) y (16.64), notamos que



z+1
1
Q (z ) = ln
2 z 1 ;
z
z+1
Q (z ) = ln
2 z 1 1:
0

(16.66)

(16.67)

Podemos utilizar (16.60) para en ontrar una expansion en serie para Qn. En efe to,
Z
1
1 P (t) dt :
Q n (z ) =
2z 1 zt n
Si j z j > 1,
1 Z  
X
1
t
Pn (t) dt :
Q n (z ) =
2z  n
z
Observemos que todos los terminos on  < n en la suma son ero, debido a la ortogonalidad
de Pn(t) y t . Obtenemos as
1

Q n (z ) =

on

bn+1 bn+2
+
+


;
z n+1 z n+2

Z
1

b =
2 t Pn(t) dt :
1

En parti ular,

bn+1

Z
1
= 2 tn Pn(t) dt :
1

184

CAPITULO 16. POLINOMIOS DE LEGENDRE

Como

1
3


(2n 1) tn +


;
1
2


n
se tiene, dada la ortogonalidad de Pn(t) on polinomios de grado menor que n,
Z
1
1


2






n
2 :
1 1
2


n
bn =
Pn (t)Pn(t) dt =
2 1
3


(2n 1)
2 1
3


(2n 1) 2n + 1
Es de ir,
n!
bn =
(2n + 1)!! :
Obtengamos una rela ion de re urren ia para Qn(z). En general,
lim
z n Qn (z ) = 0 ; n = 0, 1 : : :
j z j!1
Pn (t) =
1

+1

+1

Sea n  1.
(n + 1)Qn z(2n + 1)Qn + nQn =


z+1
1 [(n + 1)P
(polinomio) :
z (2n + 1)Pn + nPn ln
n
2
z 1
+1

+1

El fa tor entre parentesis uadrados es ero. Sea j z j ! 1. Enton es

0 = j zlim
(polinomio) ;
j!1

luego el polinomio es nulo. Por tanto, para todo z,

(n + 1)Qn z(2n + 1)Qn + nQn = 0
+1

Ejemplo Sea z 62 [

1; 1. Enton es

(16.68)

1
1 =X
an Pn(t) ;
z t
n=0

al menos en 1  t  1. Los oe ientes de la expansion estan dados por

Z

P n ( t)
1
an = n +
dt = (2n + 1)Qn (z ) ;
2
z t
luego
1
1 =X
(2n + 1)P (t)Q (z) :
1

n=0

(16.69)

Arma ion (Sin demostra ion) El desarrollo (16.69) es valido en el interior de la elipse
on fo os en 1 que pasa por z:

16.13. PROBLEMA DE STURM-LIOUVILLE ASOCIADO

185

Im(t)
z

-1

Re(t)

16.13 Problema de Sturm-Liouville aso iado

Podemos es ribir la e ua ion de Legendre en la forma


d
(x2
dx

dy
1) dx

+ y = 0 ;

(16.70)

on la ondi ion de borde

y (1) nito :

(16.71)
Esto orresponde a un problema de autovalores de un operador diferen ial autoadjunto, y
resulta ser relevante en situa iones de interes fsi o. Al bus ar solu iones no triviales se
en uentra que los autovalores deben satisfa er
 = n(n + 1) ; n 2 Z ;
(16.72)
y que las solu iones orresponden a los polinomios de Legendre, Pn(x), pues los Qn(x) no
satisfa en la ondi ion de borde impuesta.