Captulo 2

Los polinomios de Legendre.

2.1. Introducci
on.
Los polinomios de Legendre son unos de los ejemplos mas importantes
de los polinomios ortogonales, porque aparecen como soluciones en varios
problemas clasicos de la fsica, como el caculo del potencial producido por
una masa con simetra esferoide.

2.2. Definici
on y primeras propiedades.
El primero de los ejemplos de una base ortonormal de polinomios en la
cual podremos expresar cualquier funcion continua en el intervalo cerrado
[1, 1] ser
an los polinomios de Legendre. Estos vienen construidos a partir
de la f
ormula de Rodrigues(Apendice 2)

1 dn 2
Pn (x) = (x 1)n para n = 0, 1, 2 . . . (2.1)
n!2n dxn
donde, por definicion, se toma P0 (x) = 1. Luego, de aqu se obtiene que
los primeros polinomios de Legendre son: P0 (x) = 1, P1 (x) = x, P2 (x) =
1 2 1 3
2 (3x 1), P3 (x) = 2 (5x 3x),

1
P4 (x) = (35x4 30x2 + 3),
8
1
P5 (x) = (63x5 70x3 + 15x),
8
1
P6 (x) = (231x6 315x4 + 105x2 5),
16

21
 1
P7 (x) = (429x7 693x5 + 315x3 35x).
16
Adem as, estos polinomios de Legendre son las soluciones de la siguiente
ecuaci
on diferencial
 
d 2 dP
(1 x ) + n(n + 1)P = 0 para n = 0, 1, 2 . . . (2.2)
dx dx
la cual surge, inevitablemente, cuando se resuelve la parte angular de una
funci
on de onda al emplear la ecuacion de Schrodinger, donde esta misma
ecuacion puede aparecer en numerosos textos y tratados escritos de la sigu-
iente manera:
d2 P dP
(1 x2 ) 2
2x + n(n + 1)P = 0 para n = 0, 1, 2...
dx dx
Sabemos adem
as que, de acuerdo con el desarrollo binomial, se tiene que
n
X (1)k n! 2n2k
(x2 1)n = x
k!(n k)!
k=0

Luego, sustituyendo esta expresion en (2.1), tenemos que:

n n
1 dn X (1)k n! 2n2k 1 X (1)k dn 2n2k
Pn (x) = x = n x
n!2n dxn k!(n k)! 2 k!(n k)! dxn
k=0 k=0

y, como (
dn r 0 si n > r
x = r! rn
dxn (rn)! x si n r

sutituyendo, tenemos que

n
[2]
X (1)k (2n 2k)!
Pn (x) = xn2k (2.3)
2n k!(n k)!(n 2k)!
k=0

donde el smbolo [v] denota el mayor entero v.

Observemos, adem as, que, al ser los polinomios de Legendre un conjunto
completo de funciones, ellos expanden el espacio de funciones continuas en
el intervalo cerrado x [1, 1] y, por ello, cualquier funcion en el intervalo
[1, 1] puede ser expresada en esa base de la forma
Z 1 
X 2k + 1
f (x) = f (t)Pk (t) dt Pk (x) (2.4)
2 1
k=0

22
Antes de entrar en el detalle de las propiedades de estos polinomios, hay que
enfatizar que los polinomios de Legendre constituyen la u nica base ortogonal
para un espacio de Hilbert con un producto interno definido como el produc-
to simple de funciones en el intervalo cerrado. Al ortonormalizar mediante
Gram-Schmidt la base 1, x, x2 , ..., xn ... del espacio de polinomios
R1 de grado n
en el intervalo [1, 1], con el producto interno definido por 1 f (x)g(x) dx se
obtienen los polinomios de Legendre y, como hemos dicho antes, estos poli-
nomios de Legendre surgen, originalmente, como soluciones a la ecuacion
diferencial ordinarida del tipo
 
d 2 dy
(1 x ) + y = 0 para x [1, 1]
dx dx

o, de manera equivalente, a ecuaciones como

d2 Pn (x) dPn (x)

(1 x2 ) 2x + n(n + 1)Pn (x) = 0 para n = 0, 1, 2...
dx2 dx
donde y = Pn (x) y = n(n + 1).

2.3. Funci
on generatriz de los polinomios de Leg-
endre y algunas propiedades.
En este apartado, vamos a ver que se puede encontrar una funcion gen-
eratriz G(x, t) de los polinomios de Legrendre; es decir, una funcion que
verifique que

X
G(x, t) = Pn (x)tn con |t| < 1, |x| 1 (2.5)
n=0

para la cual, los Pn (x) son los coeficientes de su desarrollo en serie de po-
tencias.
Para ello, vamos a suponer que G(x, t) es de la forma
1
G(x, t) =
1 2xt + t2
y vamos a ver que el desaroolo en serie de la funcion G(x, t) tiene como
coeficientes a los Pn (x). Antes de ello, observemos que esta serie converge
para |2xt + t2 | < 1. Para demostrar que el desarrollo en serie de la funcion

23
G(x, t) tiene como coeficientes a los Pn (x) razonamos de la siguiente manera:
Como
1 1
G(x, t) = = (1 2xt + t2 ) 2 (2.6)
1 2xt + t 2

derivando respecto de t, tenemos que:

dG(x, t) 1 3 xt
= (1 2xt + t2 ) 2 (2x + 2t) = 3 (2.7)
dt 2 (1 2xt + t2 ) 2

Luego, combinando las expresiones (2.6) y (2.7), tenemos que:

dG(x, t)
(t x)G(x, t) + (1 2xt + t2 ) =0
dt
y, consecuentemente, por (2.5), tenemos que:

X
X
(t x) Pn (x)tn + (1 2xt + t2 ) nPn (x)tn1 = 0
n=0 n=0

Desarrollando esta identidad, tras algunos calculos, llegamos a que:

X
X
n
(t x)P0 (x) + Pn1 (x)t xPn (x)tn +
n=2 n=1

X
X
X
n n
+ (n + 1)Pn+1 (x)t 2xnPn (x)t + (n 1)Pn1 (x)tn = 0
n=0 n=1 n=2

De donde, juntando
P las series y desarrollando estas un poco para dejarlas
todas de la forma n=2 . . . tn tenemos que:

X
X
X
n n
(tx)P0 (x)+ (n+1)Pn+1 (x) (2n+1)xPn (x)t + nPn1 (x)tn = 0
n=0 n=1 n=2

X
tP0 (x) xP0 (x) + P1 (x) + 2P2 (x)t + (n + 1)Pn+1 (x)tn
n=2

X
X
3xP1 (x)t (2n + 1)xPn (x)tn + nPn1 (x)tn = 0
n=2 n=2

Y, por lo tanto, agrup

andolo todo, tenemos que:

(P1 (x) xP0 (x)) + (2P2 (x) 2xP1 (x) + P0 (x))t+

24

X
+ ((n + 1)Pn+1 (x) (2n + 1)xPn (x) + nPn1 (x))tn = 0
n=2
Luego, como todos los terminos son positivos y la suma de ellos es 0, se tiene
que
P1 (x) xP0 (x) = 0 (2.8)
2P2 (x) 2xP1 (x) + P0 (x) = 0 (2.9)
(n + 1)Pn+1 (x) (2n + 1)xPn (x) + nPn1 (x) = 0 (2.10)
donde (2.8) se cumple siempre y cuando P0 (x) = 1 y P1 (x) = x y (2.9) y
(2.10) conforman la relacion de recurrencia de los polinomios de Legendre
que veremos a continuaci on y, por lo tanto, con esto queda demostrado
que el desarrollo en serie de potencias de la funcion generatriz tiene como
coeficientes a los polinomios de Legendre y, con ello, que esta viene dada por

1 X
G(x, t) = = Pn (x)tn con |t| < 1, |x| 1 (2.11)
1 2xt + t2
n=0

Acabamos de ver que la funcion generatriz de los polinomios de Legendre

viene dada por la expresion (2.11). Luego, utilizando esta u
ltima expresion
de la funci
on generatriz, se pueden comprobar varias propiedades, que son
las siguientes:

1. La paridad de los polinomios de Legendre esta bien definida; es decir,

que se verifica que
Pn (x) = (1)n Pn (x) (2.12)
Demostraci on. Para demostrar esto, partimos de G(x, t), hace-
mos cuentas e igualamos coeficientes de polinomios, obteniendo que:

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

Pero, por otro lado, tenemos que

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

Luego, igualando ambas ecuaciones, tenemos que:

X
X
n n
Pn (x)(1) t = Pn (x)tn
n=0 n=0

25
 y, por igualdad de polinomios, tenemos que

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

O lo que es lo mismo, que

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

que es lo que queramos demostrar.

2. Mediante la expresi
on (2.12), es posible determinar los valores de los
polinomios de Legendre para x = 1 y x = 1
Lo vemos primero para x = 1. Bien, gracias a la expresion de la funcion
generatriz de los polinomios de Legendre, tenemos que:

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

1 X 1 1
= Pn (1) tn = Pn (1)
1t 1t 1t
n=0
De donde obtenemos que

Pn (1) = 1 n N (2.13)

Veamoslo ahora para x = 1. Obviamente, de (2.12) y de (2.13),

obtenemos que

Pn (1) = (1)n Pn (1) = (1)n n N (2.14)

2.4. Ortogonalidad.
Teorema 2.4.1 Sea {Pn (x)} n=0 una familia de polinomios de Legendre de
grado n. Entonces, se verifica que:
Z 1
Pn (x)Pm (x) dx = 0 si n 6= m
1

Demostraci on. Sabemos que, por ser {Pn (x)}n=0 una familia de polinomios
de Legendre de grado n, los polinomios Pn (x) y Pm (x) satisfacen las ecua-
ciones
0 0
((1 x2 )Pn (x)) + n(n + 1)Pn (x) = 0 (2.15)

26
 0 0
((1 x2 )Pm (x)) + m(m + 1)Pm (x) = 0 (2.16)
Multiplicando la ecuaci
on (2.15) por Pm (x) y la ecuacion (2.16) por Pn (x)
y restando ambas, tenemos que:
0 0 0 0
(n(n+1)m(m+1))Pn (x)Pm (x) = Pn (x)((1x2 )Pm (x)) Pm (x)((1x2 )Pn (x))
Por tanto, haciendo las derivadas, desarrollando e integrando a ambos lados
entre [1, 1] tenemos que:
Z 1 Z 1
0
(n(n + 1) m(m + 1)) Pn (x)Pm (x) dx = 2xPn (x)Pm (x) dx+
1 1
Z 1 Z 1 Z 1
00 0 00
+ (1x2 )Pn (x)Pm (x) dx+ 2xPn (x)Pm (x) dx (1x2 )Pn (x)Pm (x) dx =
1 1 1
h i1 Z 1
2 0 0 0
= (1 x )Pn (x)Pm (x) (1 x2 )Pn (x)Pm (x) dx
1 1
h i1 Z 1
0 0 0
(1 x2 )Pn (x)Pm (x) + (1 x2 )Pn (x)Pm (x) dx = 0
1 1
R1
Luego, de aqu obtenemos que (n(n + 1) m(m + 1)) 1 Pn (x)Pm (x) dx =
R0 1y, como si n 6= m n(n + 1) 6= m(m + 1), de aqu obtenemos que
1 Pn (x)Pm (x) dx = 0 si n 6= m, que es lo que quer
amos demotrar.

Observaci on 2.4.2 Observemos que lo que nos dice este teorema es que la
familia {Pn (x)}
n=0 de los polinomios de Legendre constituyen una familia
de polinomios ortogonales con respecto al peso

1 si |x| 1
p(x) =
0 si |x| > 1
seg
un la definici
on de estos al principio del proyecto.

2.5. Norma de los polinomios de Legendre.

Conociendo la ortogonalidad de los polinomios de Legendre, procedemos
a encontrar el valor de su norma mediante el siguiente teorema:

Teorema 2.5.1 Para n = 0, 1, 2, 3... se tiene que

Z 1
2
Pn (x)2 dx = . (2.17)
1 2n +1
q
2
Es decir, que la norma de los polinomios Pn (x) es 2n+1 .

27
Demostraci on. Para demostrar este teorema, definimos V (x) = (x2 1)n .
Luego, por la f
ormula de Rodrigues y, puesto que Pn (x) son los polinomios
de Legendre, sabemos que
Z 1 Z 1 2 n
2 1 d dn
Pn (x) dx = n
V (x) V (x) dx (2.18)
1 1 n!2 dxn dxn
R 1 dn dn
Ahora bien, llamamos I := 1 dx n V (x) dxn V (x) dx. Luego, notemos que,

para 0 m < n, se tiene que

dm dm
V (1) = V (1) = 0 (2.19)
dxm dxm
Por tanto, integrando I por partes y usando (2.19) en cada paso, obtenemos
que: Z 1 n
d dn
I= n
V (x) V (x) dx
1 dx dxn
 n 1 Z 1 n1
d dn1 d dn+1
= V (x) V (x) V (x) V (x) dx
dxn dxn1 1 1 dx
n1 dxn+1
Z 1 n1
d dn+1
= n1
V (x) V (x) dx
1 dx dxn+1
 n+1 1 Z 1 n2 !
d dn2 d dn+2
= V (x) n2 V (x) V (x) n+2 V (x) dx
dxn+1 dx 1 1 dx
n2 dx
Z 1 n2
d dn+2
= n2
V (x) V (x) dx = ...
1 dx dxn+2
Z 1 Z 1
d2n
= (1)n V (x) 2n V (x) dx = (1)n (x2 1)n (2n)! dx =
1 dx 1
Z 1 Z 1
2 n
= (2n)! (1 x ) dx = (2n)!2 (1 x2 )n dx =
1 0
Haciendo el cambio de variable x = cos ,
Z 0 Z
2
2 n
= (2n)!2 (sen ) ( sen ) d = (2n)!2 (sen )2n+1 d.

2
0

Luego, sutituyendo en (2.18), y puesto que sabemos que

Z
2 2
2z+1 (z!)2
(sen ) d = ,
22z+1 0 (2z + 1)!

28
tenemos que:

Z 1 Z
1 2
Pn2 (x) dx = (2n)!2 (sen )2n+1 d =
1 (n!)2 22n 0

1 (n!)2 22z+1 2
= 2 2n
(2n)!2 =
(n!) 2 (2n + 1)! 2 2n + 1
como queramos demostrar.

De este teorema, observammos que los polinomios de Legendre no estan

normalizados y, ademas que, juntando los teoremas (2.4.1) y (2.5.1), obten-
emos que Z 1
2
Pn (x)Pm (x) dx = nm (2.20)
1 2n + 1
donde nm es la delta de Kronecker.

2.6. Relaciones de recurrencia.

Supongamos que conocemos todos los polinomios de Legendre hasta el
polinomio Pn (x) y queremos generar el proximo. Obviamente, como Pn (x)
es un polinomio de grado n, ese polinomio que buscamos sera de grado n+1.
Luego, en vez de generarlo a partir de Pn+1 (x) directamente(que es lo que
buscamos), vamos a generarlo a partir del polinomio xPn (x) (que, por ser
Pn (x) un polinomio de grado n, xPn (x) sera un polinomio de grado n + 1)
Hemos visto que los polinomios de Legendre son una base del espacio de
las funciones continuas en el intervalo [1, 1]. Luego, seg
un esto, por (2.4)
tenemos que xPn (x) se puede expresar de la forma siguiente:
n+1 Z 1 
X 2k + 1
xPn (x) = tPn (t)Pk (t) dt Pk (x) (2.21)
2 1
k=0

(donde el sumatorio es hasta n + 1 porque nosotros solo queremos calcular

el polinomios Pn+1 (x) a partir de los anteriores).
Ahora bien, por ser la sucesion de polinomios de Legendre una sucesion de
polinomios ortogonales, podemos apreciar que, por la proposicion (1.1.3),
Z 1
tPn (t)Pk (t) dt = 0 si k+1<n
1

29
(ya que Pk (t)t es un polinomios de grado k + 1); es decir que
Z 1
tPn (t)Pk (t) dt = 0 si k < n 1.
1

Lo cual implica que, de la expresion (2.21) u

nicamente sobreviven 3 terminos
y se reduce a la forma siguiente:
Z 1 
2(n 1) + 1
xPn (x) = tPn (t)Pn1 (t) dt Pn1 (x)+
2 1
Z 1  Z 1 
2n + 1 2(n + 1) + 1
tPn (t)Pn (t) dt Pn (x)+ tPn (t)Pn+1 (t) dt Pn+1 (x) =
2 1 2 1
= APn1 (x) + BPn (x) + CPn+1 (x)
Calculamos ahora el valor de A, B y C. Observemos que

2n + 1 1 2n + 1 1
Z Z
B= tPn (t)Pn (t) dt = tPn2 (t) dt =
2 1 2 1
" 1 Z 1 #
2n + 1 2 2
= t dt = 0
2 2n + 1 1 1 2n + 1

Seg
un esto, tenemos que la relacion de recurrencia queda de la forma

xPn (x) = APn1 (x) + CPn+1 (x) (2.22)

Para calcular estos coeficientes A y C vamos a desarrollar la expresion (2.22)

anterior por la f
ormula de Rodrigues, de donde obtenemos que
1 dn 2
x (x 1)n =
n!2n dxn
1 dn1 2 n1 1 dn+1 2
A (x 1) + C (x 1)n+1 (2.23)
(n 1)!2n1 dxn1 (n + 1)!2n+1 dxn+1
d n (2n)! n
Observemos que (x2 1)n = x2n + . . . ; luego, dx 2 n
n (x 1) = n! x .
dn1 (2n2)! n1 dn+1
2
alogamente, obtenemos que dxn1 (x 1) n1 2
An = (n1)! x y que dx n+1 (x

1)n+1 = (2n+2)!
(n+1)! x
n+1 .

Luego, segun esto, e igualando los terminos de mayor grado de la expresion

(2.23), tenemos que:
(2n)! (2n + 2)!
=C
n!2n n! (n + 1)!2n+1 (n + 1)!

30
y, con ello, que

(2n)!((n + 1)!)2 2n+1 2(n + 1)2 n+1

C= 2 n
= =
(n!) 2 (2n + 2)! (2n + 2)(2n + 1) 2n + 1

Por otro lado, por (2.13), tomando x= 1, observemos que la relacion (2.22)
se queda de la forma
1=A+C
n+1 n
Luego, como C = 2n+1 eso implica que A = 2n+1 y, sustituyendo ambas
expresiones en (2.22), obtenemos que la relacion de recurrencia queda de la
forma siguiente:

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

Observaci on 2.6.1 Estos polinomios de Legendre tienen muchas m as rela-

ciones de recurrencia pero, por falta de espacio, no podemos ponerlas todas
y s
olo ponemos la m as importante. Las dem as relaciones las podemos en-
contrar en el Apendice 3.

2.7. Desarrollo de una funci

on en serie de Pn (x).
Lo que vamos a hacer en este apartado es ver como una funcion se
puede expresar como una serie de Fourier en terminos de los polinomios de
Legendre.
Para ello, supongamos que una funcion f (x) tiene un desarrollo convergente
de la forma

X
f (x) = cn Pn (x)para 1 < x < 1 (2.25)
n=0

Multiplicando esta u ltima expresion (2.25) a ambos lados por Pm (x) ( con m
fijo) e integrando entre 1 y 1, (donde estamos suponiendo que la integracion
de la serie es termino a termino), tenemos que:
Z 1
X Z 1
f (x)Pm (x) dx = cn Pn (x)Pm (x) dx
1 n=0 1

y, adem as, aplicando la ortonormalidad (2.20) de los polinomios de Legendre,

tenemos que:
Z 1 Z 1 Z 1
2 2
f (x)Pm (x) dx = cm Pm (x) dx f (x)Pn (x) dx = cn
1 1 1 2n +1

31
y, con ello, que
Z 1
2n + 1
cn = f (x)Pn (x) dx para n N (2.26)
2 1

Todo esto que acabamos de deducir, se puede formalizar en el siguiente

teorema:

Teorema 2.7.1 La familia de los polinomios de Legendre es total sobre L2p ;

R1
dicho de otra manera, toda funci on f (x) para la cual la integral 1 f (x)2 dx
existe, es desarrollable en serie de los Pn (x) sobre el intervalo [1, 1] de la
forma
X
f (x) = cn Pn (x)
n=0
con Z 1
2n + 1
cn = f (x)Pn (x) dxpara n N
2 1

Este es un caso particular del teorema mas general que vimos en las propiedades
generales, en el que demostrabamos que los polinomios eran densos en L2 ().

2.8. El potencial fuera de un esferoide uniforme.

Como aplicacion de los polinomios de Legendre, vamos a calcular un
hecho bien conocido como es el potencial debido a una esfera uniforme;
es decir, vamos a calcular el potencial gravitatorio generado fuera de un
esferoide de densidad de masa uniforme y radio a. Para ello, vamos a
0
considerar dos masas puntuales m y m cuyos vectores posicion van a ser
r y r0 respectivamente. Antes de nada, es conveniente que adoptemos el
cambio estandar a coordenadas polares (r, , ), alineados a lo largo del eje
z para poder obtener unas expresiones del potencial gravitacional que mas
adelante nos har
an falta.
Sabemos que estas coordenadas polares estan relacionadas con regulares
coordenadas cartesiananas de la siguiente manera

x = r sin cos (2.27)

y = r sin sin (2.28)

z = r cos (2.29)

32
Consideremos, adem as, la posibilidad de que tengamos una distribucion de
masas axialmente simetrica; es decir, que tengamos una (r) que sea inde-
pendiente del
angulo . Es de esperar que esta distribucion de masas genere
un potencial gravitacional simetrico respecto de un eje de la forma (r, ).
Por tanto, sin perdida de generalidad, podemos tomar = 0 cuando eval-
uemos en la ecuaci on
(r0 ) 3 0
Z
(r) = G d r (2.30)
|r0 r|
donde la integral es donde la masa este concentrada, que es la expresion
general para el potencial gravitacional (r), generada por una distribucion
de masas continua (r). Para ver como se puede obtener esta ecuacion (2.30)
consulte [11, Tema 12, pag 173].
0 0 0
De hecho, dado que d3 r0 = r02 sin dr0 d d en coordenadas esfericas, esta
ecuaci
on (2.30) queda de la forma
Z Z Z 2 0 0
(r0 , )r02 sin 0 0
(r, ) = G 0
dr0 d d (2.31)
0 0 0 |r r |
donde el lado derecho esta evaluado en = 0.
0 0 0
Sin embargo, como (r , ) es independiente de , la expresion de arriba se
puede escribir de la forma
Z Z
0 0 0
(r, ) = 2G (r0 , )r02 sin < |r r0 |1 > dr0 d (2.32)
0 0
0
donde < . > denota un promedio sobre el angulo azimutalR , donde recorde-
1 b
mos que el promedio de una funcion viene dado por ba a f (x) dx y por lo
tanto, el promedio de una constante
es ella misma. Ahora bien, observemos
0
que (puesto que |r r| = < r r, r0 r >)
0

1
|r0 r|1 = (r2 2r0 r + r02 ) 2 (2.33)

y que
r0 r = rr0 F (2.34)
donde, para = 0,
0 0 0
F = sin sin cos + cos cos (2.35)

Y, por lo tanto, tenemos que

1
|r0 r|1 = (r2 2rr0 F + r02 ) 2 (2.36)

33
Supongamos ahora que r > r0 .
En este caso, nosotros podemos desarrollar |r0 r|1 como una serie de
0
potencias convergente en rr de la siguiente forma

r0 1 r0 2 r0 3
 
0 1 1 2
|r r| = 1 + ( )F + ( ) (3F 1) + O( ) (2.37)
r r 2 r r
0
Veamos ahora un pormedio de esta expresion sobre el angulo azimutal .
0 0
Como < 1 >= 1, < cos >= 0 y < cos2 >= 21 es facil ver que
0
< F >= cos cos (2.38)

y que
  
1 0 0 1 2 2 1 2 0 1
< F 2 >= sin2 sin +cos2 cos2 = + cos2 cos2
2 3 3 3 2 3 2
(2.39)
Y, por lo tanto, seg
un esto, tenemos que:

< |r0 r|1 >=

r0 1 r0 2 2 r0 3
    
1 0 2 1 2 2 0 1
1 + ( ) cos cos + ( ) cos cos + O( )
r r 2 r 3 2 3 2 r
(2.40)
Ahora bien, como muy bien sabemos, los polinomios de Legendre vienen
dados por la f
ormula de Rodrigues de la forma
1 dn 2
Pn (x) = (x 1)n para n = 0, 1, 2, . . . (2.41)
n!2n dxn
Y, algunos de ellos son
P0 (x) = 1, (2.42)
P1 (x) = x, (2.43)
1
P2 (x) = (3x2 1) (2.44)
2
etc. Adem as, tambien sabemos que los polinomios de Legendre cumplen la
siguiente condici
on de ortogonalidad
Z 1 Z
2
Pn (x)Pm (x) dx = Pn (cos )Pm (cos ) sin d = nm (2.45)
1 0 2n + 1
Recordemos tambien que los polinomios de Legendre forman un conjun-
to completo; es decir, que cualquier otra funcion (que tenga unas buenas

34
propiedades en funci on de x) puede representarse como suma ponderada
de los Pn (x). Igualmente, cualquier otra funcion (que tenga unas buenas
propiedades) en funci on de puede representarse como una suma ponder-
ada de los Pn (cos ). Luego, una comparacion de la ecuacion (2.40) y las
ecuaciones (2.42) - (2.44), hace razonable pensar el que, cuando r > r0 , la
on completa de < |r0 r|1 > sea de la forma
expansi
 
1 X r0 n 0
< |r0 r|1 >= Pn (cos )Pn (cos ) (2.46)
r r
n=0

alogamente a lo que acabamos de hacer, cuando r0 > r,

Por otro lado, an
podemos expresar < |r0 r|1 > en potencias de rr0 de la forma

1 X  r n 0
< |r0 r|1 >= 0 0
Pn (cos )Pn (cos ) (2.47)
r r
n=0

Luego, de las ecuaciones (2.32), (2.46) y (2.47), obtenemos que:

X
(r, ) = n (r)Pn (cos ) (2.48)
n=0

donde
2G r
Z Z
0 0 0 0
n (r) = n+1 (r0 , )r0n+2 sin Pn (cos ) dr0 d
r 0 0
Z Z
0 0 0 0
2Grn (r0 , )r01n sin Pn (cos ) dr0 d (2.49)
r 0
Ademas, como los Pn (cos ) forman un conjunto completo, nosotros siempre
podemos escribir

X
(r, ) = (r)Pn (cos ) (2.50)
n=0

Ahora bien, observemos que, con la ayuda de la ecuacion (2.45), los coefi-
cientes de esta expresi
on (2.50) pueden ser calculados de la siguiente forma
Z
1
(r) = (n + ) (r, ) sin Pn (cos ) d (2.51)
2 0
Lo cual implica que la expresion (2.49) queda reducida a la forma:
2Grn 01n 0
Z r
2G
Z
0n+2 0 0
n (r) = r (r ) dr r (r ) dr0 (2.52)
(n + 12 )rn+1 0 n + 12 r

35
y, con ello, que ya tenemos una expresion general para el potencial grav-
itacional (r, ) generada por cualquier distribucion de masas con simetra
axial (r, ).// Una vez visto esto, volvamos a lo que nos interesa, que es
calcular el potencial gravitatorio generado fuera de un esferoide de densidad
de masa uniforme y radio a. Recordemos que un esferoide es un cuerpo
s
olido producido por la rotacion de una elipse alrededor de uno de los dos
ejes de abcisas (ya sea el mayor o el menor). Supongamos que el eje de
rotacion coincide con el eje z y que el lmite exterior del esferoide satisfaga
la relaci
on  
2
r = a 1 P2 (cos ) = (2.53)
3
donde  es llamado la excentricidad.
Aqu, nosotros estamos asumiendo que || << 1, lo cual implica que el esfer-
a muy cerca de ser una esfera. Si  > 0 el esferoide es ligeramente
oide est
aplastado a lo largo del eje de simetra y es denomiado achatada. De la mis-
ma manera, si  < 0 el esferoide es ligeramente alargada a lo largo del
eje y se denomina prolato. Obviamente, si  = 0 el esferoide se reduce
completamente a una esfera.
Ahora bien, de acuerdo con las ecuaciones (2.48) y (2.49), el potencial grav-
itacional generado fuera de una distribucion de masas con simetra axial (
es decir, cuando r0 > r) se puede escribir de la forma

X Pn (cos )
(r, ) = Jn (2.54)
rn+1
n=0

donde Z r Z
Jn = 2G (r, )rn+2 sin Pn (cos ) drd (2.55)
0 0
(ya que fuera del esferoide, la masa se hace practicamente 0).
Aqu, la integral se toma sobre toda la seccion transversal de la distribu-
on en el espacio r . Luego, de ello se deduce que, para un esferoide
ci
uniforme, tenemos que:
Z Z
Jn = 2G Pn (cos ) sin rn+2 drd (2.56)
0 0

Por tanto, resolviendo la integral



r3+n 3+n
Z 
rn+2 dr = =
0 3+n 0 3+n

36
tenemos que: Z
2G
Jn = Pn (cos ) sin 3+n d (2.57)
3+n 0
y, sustituyendo por su expresion (2.53), tenemos que:

2Ga3+n
Z  
2
Jn ' Pn (cos ) sin P0 (cos ) (3 + n)P2 (cos ) d
3+n 0 3
(2.58)
para la primera potencia de .
Por otro lado, debido a la relacion de ortogonalidad (2.45) de los polinomios
de Legendre, es claro que, para la primera potencia de , los dos u nicos Jn
distintos de 0 son:
2Ga3
Z  
2
J0 = P0 (cos ) sin P0 (cos ) 3P2 (cos ) d =
3 0 3

2Ga3 2
Z
= P0 (cos ) sin d =
3 0
2Ga3 2 4Ga3
= = = GM (2.59)
3 1 3
y
2Ga5
Z  
2
J2 = P2 (cos ) sin P0 (cos ) 5P2 (cos ) d =
5 0 3

2Ga5 2 20Ga5 2
Z Z
10
= P2 (cos ) sin  d = P2 (cos ) sin  d =
5 0 3 25 0
20Ga5 2 8Ga5 2
= =  = GM a2  (2.60)
15 5 15 4
donde
4 3
M := a
3
Por tanto, el potencial gravitacional fuera de un esferoide uniforme de masa
total M , con radio a y excentricidad  viene dado por
GM 2 GM a2
(r, ) = + P2 (cos ) + O(2 ) (2.61)
r 5 r3
En particular, el potencial gravitacional en la superficie del esferoide viene
dada por
GM 2 GM a2
( , ) = + P2 (cos ) + O(2 ) (2.62)
5 3

37
donde, sustituyendo por su expresion (2.53), obtenemos que:
 
GM 4 2
( , ) ' 1 + P2 (cos ) + O( ) (2.63)
a 15

Consideremos ahora un esferoide autogravitante de masa M , radio a y con

excentricidad ; por ejemplo, una estrella o un planeta. Supongamos, por
motivos de simplicidad, que el esferoide esta compuesto de un fluido in-
comprensible de densidad uniforme y que su potencial gravitacional en su
superficie viene dado por la expresion (2.63). Sin embargo, la condicion para
un estado de equilibrio es que el potencial debe der ser constante a lo largo
de la superficie. Si este no es el caso, entonces no habra fuerzas gravitatorias
que act uen tangencialmente a la superficie. Tales fuerzas no podran ser com-
pensadas por la presi on interna, la cual solo act
ua como una fuerza normal
a la superficie.
Por lo tanto, a partir de (2.63), es evidente que la condicion de equilibrio
es cuando  = 0. En otras palabras, la configuracion de equilibrio de una
masa autogravitante es la esfera. Las desviaciones de esta configuracion solo
pueden ser causadas por fueras ( ademas de la propia gravedad y de la pre-
sion interna) como, por ejemplo, las fuerzas centrfugas, debido a la rotacion
o las fuerzas de marea debido a las masas en orbita.

38