Polinomios de Legendre.

1. Introduccin.
Los polinomios de Legendre constituyen una base ortogonal en el espacio de fun-
ciones definidas entre [1, 1] . Son soluciones de la familia de ecuaciones diferenciales
ordinarias:
 
d 2 d
(1 x ) Pn (x) + n(n + 1)Pn (x) = 0 (1)
dx dx
Donde n = 0, . . .. Como demostraremos, este problema tiene la forma de una
ecuacin de autovalores para un operador diferencial autoadjunto. El autovalor es
= n(n + 1).
Existen varias formas alternativas para introducir los polinomios de Legendre.   La
ms sencilla y fsica de ellas es a travs del desarrollo multipolar. Sea |~r| = r r~  = r
 

y el angulo que forman ~r y r~

1 1 1 1 X r
= = = P (cos )
r +1
q
|~r ~r | r 2 + r 2 2rr cos r 1 + ( r )2 2( r ) cos =0
r r
(2)
r
En lo sucesivo llamaremos x = cos() y t = r

2. Funcin generatriz.
Definimos la funcin generatriz g(x,t), cuyo desarrollo en serie de Taylor genera
como coeficentes los polinomios de Legendre:

1 X
g(x, t) = = Pn (x)tn (3)
1 2xt + t2
n=0

Los dos primeros polinomios se pueden calcular desarrollando en serie de Taylor

en la variable t:
g(x, t) = P0 (x) + P1 (x)t + . . . (4)
1
g(x, 0) = = 1 = P0 (x) (5)
1
dg(x, t) xt
|t=0 = 3 |t=0 = x = P1 (x) (6)
dx (1 2xt + t2 ) 2

1
3. Propiedades.
Utilizando exclusivamente la funcin generatriz se pueden comprobar varias pro-
piedades.
1. La paridad de los polinomios de Legendre est bien definida:

Pn (x) = Pn (x)(1)n (7)

Para demostrarlo podemos considerar:

1 X
g(x, t) = p = Pn (x)(1)n tn (8)
1 2(x)(t) + (t) 2
n=0

que al mismo tiempo es:

1 1 X
g(x, t) = p = = Pn (x)tn (9)
1 2(x)(t) + (t)2 1 2xt + t2
n=0

por tanto

Pn (x) = Pn (x)(1)n (10)

Adems es posible conocer los valores de los polinomios en x = 1:

2. Pn (1) = 1
Si x = 1

1 1 1 2
X X
n
=p = = 1+t+t +. . . = t Pn (1)tn (11)
1 2t + t2 (1 t)2 (1 t) n=0 n=0

de donde deducimos que Pn (1) = 1.

3. Pn (1) = (1)n .
De forma analoga si x = 1

1 1 1 X X
=p = = 1t+t2 t3 . . . = (1)n tn Pn (1)tn
1 + 2t + t2 (1 + t) 2 (1 + t) n=0 n=0
(12)
de donde deducimos que Pn (1) = (1)n .

2
4. Relaciones de recurrencia
La funcin generatriz se puede utilizar para deducir relaciones entre los polinomios
de Legendre. Vamos a demotrar que podemos calcular el polinomio Pn+1 (x) a partir
de Pn (x) y Pn1 (x). A una relacion de este tipo se la denomina relacin de recurrencia
a tres trminos

1. Empezaremos derivando g(x, t) con respecto a t

dg(x, t) (x t)g(x, t) X
n 1 X
= = (xt) Pn (x)t = (xPn (x)Pn1 (x))tn
dt 1 2xt + t2 n=0
1 2xt + t2
n=0
(13)
por otro lado tenemos que:

dg(x, t) d X X
= Pn (x)tn = nPn (x)tn1 (14)
dt dt n=0 n=0

igualando ambas expresiones para la derivada y multiplicando por 1 2xt + t2

llegamos a la relacin:

X
X
n n+1 2
xPn (x)t Pn (x)t = (1 2xt + t ) nPn (x)tn1 (15)
n=0 n=0

X
X
n
(xPn (x) Pn1 (x))t = Pn (x)(ntn1 2xntn + ntn+1 ) (16)
n=0 n=0

(xPn (x) Pn1 (x))tn = (n + 1)Pn+1(x)tn 2xnPn (x)tn + Pn1 (x)(n 1)tn (17)

igualando trminos con igual potencia tn obtenemos la relacin de recurrencia a

tres terminos:
(n + 1)Pn+1 (x) = (2n + 1)xPn (x) nPn1 (x) (18)

Ejercicio Calcula P2 (x)

2P2 (x) = 3xP1 (x) P0 (x) (19)

1
P2 (x) = (3x2 1) (20)
2
Ejercicio Calcula P3 (x)

3
 2. Podemos encontrar otra relacin de recurrencia derivando la funcin generatriz
con respecto a x

dg(x, t) 1 2t tg(x, t)
= = (21)
dx 2 (1 2xt + t2 )3/2 1 2xt + t2

dg(x, t) d X X
= Pn (x)tn = Pn (x)tn (22)
dx dx n=0 n=0

igualando ambas expresiones para la derivada llegamos a la relacin y multipli-

cando por 1 2xt + t2

X
X
Pn (x)tn+1 = (1 2xt + t2 ) Pn (x)tn (23)
n=0 n=0

X
X
Pn (x)tn+1 = (Pn (x)tn 2xPn (x)tn+1 + Pn (x)tn+2 ) (24)
n=0 n=0

En este caso vamos a igualar trminos en tn+1

Pn (x)tn+1 = Pn1

(x)tn+1 2xPn (x)tn+1 + Pn+1

(x)tn+1 (25)

llegamos a:

Pn1 (x) + Pn+1 (x) = 2xPn (x) + Pn (x) (26)

5. Ecuacin Diferencial de Legendre.

Utilizando las dos relaciones de recurrencia se llega a la ecuacin de Legendre:
 
d 2 d
(1 x ) Pn (x) + n(n + 1)Pn (x) = 0 (27)
dx dx
Esta ecuacion tiene la forma de un problema de Sturm-Liouville generalizado. En
concreto, es la ecuacin de autovalores de un operador autoadjunto donde p(x) =
1 x2 y = n(n + 1). Por tanto sus autofunciones, que son los polinomios de
Legendre, son ortogonales entre si:
Z 1
Pn (x)Pm (x)dx = Cn mn (28)
1

Para calcular Cn
Z 1 Z 1X X Z 1X
dx n+m 2n
2
= Pn (x)Pm (x)t dx = t Pn (x)2 dx (29)
1 1 2xt + t 1 n=0 m=0 1 n=0

4
Donde hemos utilizado la ortogonalidad de los polinomios de Legendre.
Z 1
Pn (x)Pm (x)dx = Cn mn (30)
1

1  t=1
1 1
Z
dx 2
2
= log(1 2xt + t ) = [log(1 t) log(1 + t)] (=31)
1 2xt + t 2t t
t=1 2n
1
n+1 n+1

1 t t 2t
= (1)n = (32)
t n+1 n+1 2n + 1
igualando obtenemos
1
2
Z
Pn2 (x)dx = (33)
1 2n + 1

6. Frmula de Rodrigues
Los polinomios de Legendre se pueden calcular utilizando la frmula de Rodrigues:
1 dn  2
(x 1)n

Pn (x) =
n n
(34)
2 n! dx
Ejercicio: Aplica la frmula de Rodrigues para calcular P2 (x).

1. Vamos ahora a demostrar (34). Para ello consideraremos la ecuacin diferencial

ordinaria que satisface el polinomio r(x) = (x2 1)n
d  2
(x 1)n = 2nx(x2 1)n1

(35)
dx
o lo que es lo mismo:

(x2 1)r = 2nxr (36)

Derivemos n+1 veces esta ecuacin

((x2 1)r )(n+1) = 2n(xr)(n+1) (37)

y utilicemos la expresin para la derivada ensima de un producto:

m  
(m)
X p
(f g) = (f (mp) g (p)) (38)
p=0
m

5
 obtenemos:
dn+2 dn+1 2n(n + 1) dn
(x2 1) r(x) + 2(n + 1)x r(x) + r(x)
dxn+2 dxn+1 1 2 dxn
dn+1 dn
2nx n+1 r(x) 2n(n + 1) n r(x) = 0.
dx dx

Llamemos
dn q
u= (39)
dxn
La ecuacin queda

(x2 1)u + [2(n + 1)x 2nx] u + [n(n + 1) 2n(n + 1)] u = 0 (40)

y simplificando
(1 x2 )u 2xu + n(n + 1)u = 0 (41)
que es la ecuacin de Legendre. Concluimos que
dn  2
u = n (x 1)n

(42)
dx

Es solucin de la Ecuacin de Legendre y por consiguiente es proporcional a

Pn (x).

dn  2
(x 1)n

Pn (x) = c n
(43)
dx
1
2. c es una constante. La frmula de Rodrigues identifica esa constante con c = 2n n!

Ejercicio: Determina c utilizando que

dn
Pn (x) = c [(x + 1)n (x 1)n ] (44)
dxn
y que Pn (1) = 1