Polinomios de Legendre.

1. Introduccin.
Los polinomios de Legendre constituyen una base ortogonal en el espacio de fun-
ciones denidas entre [1, 1] . Son soluciones de la familia de ecuaciones diferenciales
ordinarias:
d
dx
_
(1 x
2
)
d
dx
P
n
(x)
_
+ n(n + 1)P
n
(x) = 0 (1)
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

y el angulo que forman r y

r

1
|r r

|
=
1

r
2
+ r
2
2rr

cos
=
1
r
1
_
1 + (
r

r
)
2
2(
r

r
) cos
=

=0
r

r
+1
P

(cos )
(2)
En lo sucesivo llamaremos x = cos() y t =
r

r
2. Funcin generatriz.
Denimos la funcin generatriz g(x,t), cuyo desarrollo en serie de Taylor genera
como coecentes los polinomios de Legendre:
g(x, t) =
1

1 2xt + t
2
=

n=0
P
n
(x)t
n
(3)
Los dos primeros polinomios se pueden calcular desarrollando en serie de Taylor
en la variable t:
g(x, t) = P
0
(x) + P
1
(x)t + . . . (4)
g(x, 0) =
1

1
= 1 = P
0
(x) (5)
dg(x, t)
dx
|
t=0
=
x t
(1 2xt + t
2
)
3
2
|
t=0
= x = P
1
(x) (6)
1
3. Propiedades.
Utilizando exclusivamente la funcin generatriz se pueden comprobar varias pro-
piedades.
1. La paridad de los polinomios de Legendre est bien denida:
P
n
(x) = P
n
(x)(1)
n
(7)
Para demostrarlo podemos considerar:
g(x, t) =
1
_
1 2(x)(t) + (t)
2
=

n=0
P
n
(x)(1)
n
t
n
(8)
que al mismo tiempo es:
g(x, t) =
1
_
1 2(x)(t) + (t)
2
=
1

1 2xt + t
2
=

n=0
P
n
(x)t
n
(9)
por tanto
P
n
(x) = P
n
(x)(1)
n
(10)
Adems es posible conocer los valores de los polinomios en x = 1:
2. P
n
(1) = 1
Si x = 1
1

1 2t + t
2
=
1
_
(1 t)
2
=
1
(1 t)
= 1 + t + t
2
+ . . . =

n=0
t
n
=

n=0
P
n
(1)t
n
(11)
de donde deducimos que P
n
(1) = 1.
3. P
n
(1) = (1)
n
.
De forma analoga si x = 1
1

1 + 2t + t
2
=
1
_
(1 + t)
2
=
1
(1 + t)
= 1t+t
2
t
3
. . . =

n=0
(1)
n
t
n
=

n=0
P
n
(1)t
n
(12)
de donde deducimos que P
n
(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 P
n+1
(x) a partir
de P
n
(x) y P
n1
(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)
dt
=
(x t)g(x, t)
1 2xt + t
2
= (xt)

n=0
P
n
(x)t
n
=
1
1 2xt + t
2

n=0
(xP
n
(x)P
n1
(x))t
n
(13)
por otro lado tenemos que:
dg(x, t)
dt
=
d
dt

n=0
P
n
(x)t
n
=

n=0
nP
n
(x)t
n1
(14)
igualando ambas expresiones para la derivada y multiplicando por 1 2xt + t
2
llegamos a la relacin:

n=0
xP
n
(x)t
n
P
n
(x)t
n+1
= (1 2xt + t
2
)

n=0
nP
n
(x)t
n1
(15)

n=0
(xP
n
(x) P
n1
(x))t
n
=

n=0
P
n
(x)(nt
n1
2xnt
n
+ nt
n+1
) (16)
(xP
n
(x) P
n1
(x))t
n
= (n+1)P
n+1
(x)t
n
2xnP
n
(x)t
n
+P
n1
(x)(n1)t
n
(17)
igualando trminos con igual potencia t
n
obtenemos la relacin de recurrencia a
tres terminos:
(n + 1)P
n+1
(x) = (2n + 1)xP
n
(x) nP
n1
(x) (18)
Ejercicio Calcula P
2
(x)
2P
2
(x) = 3xP
1
(x) P
0
(x) (19)
P
2
(x) =
1
2
(3x
2
1) (20)
Ejercicio Calcula P
3
(x)
3
2. Podemos encontrar otra relacin de recurrencia derivando la funcin generatriz
con respecto a x
dg(x, t)
dx
=
1
2
2t
(1 2xt + t
2
)
3/2
=
tg(x, t)
1 2xt + t
2
(21)
dg(x, t)
dx
=
d
dx

n=0
P
n
(x)t
n
=

n=0
P

n
(x)t
n
(22)
igualando ambas expresiones para la derivada llegamos a la relacin y multipli-
cando por 1 2xt + t
2

n=0
P
n
(x)t
n+1
= (1 2xt + t
2
)

n=0
P

n
(x)t
n
(23)

n=0
P
n
(x)t
n+1
=

n=0
(P

n
(x)t
n
2xP

n
(x)t
n+1
+ P

n
(x)t
n+2
) (24)
En este caso vamos a igualar trminos en t
n+1
P
n
(x)t
n+1
= P

n1
(x)t
n+1
2xP

n
(x)t
n+1
+ P

n+1
(x)t
n+1
(25)
llegamos a:
P

n1
(x) + P

n+1
(x) = 2xP

n
(x) + P
n
(x) (26)
5. Ecuacin Diferencial de Legendre.
Utilizando las dos relaciones de recurrencia se llega a la ecuacin de Legendre:
d
dx
_
(1 x
2
)
d
dx
P
n
(x)
_
+ n(n + 1)P
n
(x) = 0 (27)
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 x
2
y = n(n + 1). Por tanto sus autofunciones, que son los polinomios de
Legendre, son ortogonales entre si:
_
1
1
P
n
(x)P
m
(x)dx = C
n

mn
(28)
Para calcular C
n
_
1
1
dx
1 2xt + t
2
=
_
1
1

n=0

m=0
P
n
(x)P
m
(x)t
n+m
dx = t
2n
_
1
1

n=0
P
n
(x)
2
dx (29)
4
Donde hemos utilizado la ortogonalidad de los polinomios de Legendre.
_
1
1
P
n
(x)P
m
(x)dx = C
n

mn
(30)
_
1
1
dx
1 2xt + t
2
=
_
1
2t
log(1 2xt + t
2
)
_
t=1
t=1
=
1
t
[log(1 t) log(1 + t)] = (31)
=
1
t
_
(1)
n
t
n+1
n + 1

t
n+1
n + 1
_
=
2t
2n
2n + 1
(32)
igualando obtenemos
_
1
1
P
2
n
(x)dx =
2
2n + 1
(33)
6. Frmula de Rodrigues
Los polinomios de Legendre se pueden calcular utilizando la frmula de Rodrigues:
P
n
(x) =
1
2
n
n!
d
n
dx
n
_
(x
2
1)
n

(34)
Ejercicio: Aplica la frmula de Rodrigues para calcular P
2
(x).
1. Vamos ahora a demostrar (34). Para ello consideraremos la ecuacin diferencial
ordinaria que satisface el polinomio r(x) = (x
2
1)
n
d
dx
_
(x
2
1)
n

= 2nx(x
2
1)
n1
(35)
o lo que es lo mismo:
(x
2
1)r

= 2nxr (36)
Derivemos n+1 veces esta ecuacin
((x
2
1)r

)
(n+1)
= 2n(xr)
(n+1)
(37)
y utilicemos la expresin para la derivada ensima de un producto:
(fg)
(m)
=
m

p=0
_
p
m
_
(f
(mp)
g
(p)
) (38)
5
obtenemos:
(x
2
1)
d
n+2
dx
n+2
r(x) + 2(n + 1)x
d
n+1
dx
n+1
r(x) +
2n(n + 1)
1 2
d
n
dx
n
r(x)
2nx
d
n+1
dx
n+1
r(x) 2n(n + 1)
d
n
dx
n
r(x) = 0.
Llamemos
u =
d
n
q
dx
n
(39)
La ecuacin queda
(x
2
1)u

+ [2(n + 1)x 2nx] u

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

y simplicando
(1 x
2
)u

2xu

+ n(n + 1)u = 0 (41)

que es la ecuacin de Legendre. Concluimos que
u =
d
n
dx
n
_
(x
2
1)
n

(42)
Es solucin de la Ecuacin de Legendre y por consiguiente es proporcional a
P
n
(x).
P
n
(x) = c
d
n
dx
n
_
(x
2
1)
n

(43)
2. c es una constante. La frmula de Rodrigues identica esa constante con c =
1
2
n
n!
Ejercicio: Determina c utilizando que
P
n
(x) = c
d
n
dx
n
[(x + 1)
n
(x 1)
n
] (44)
y que P
n
(1) = 1
6