NOTAS PARA LOS ALUMNOS DEL CURSO DE ECUACIONES DIFERENCIALES

POLINOMIOS Y FUNCIONES DE LEGENDRE

Ing. Juan Sacerdoti

Departamento de Matemtica
Facultad de Ingeniera
Universidad de Buenos Aires
2002
V 2.03

INDICE
1.- PORQUE LEGENDRE
2.- ECUACIN DIFERENCIAL DE LEGENDRE.
2.1.- FORMA CANNICA
2.2.- FORMAS MODIFICADAS DE LA ECUACIN DE LEGENDRE
2.2.1.- PRIMERA FORMA MODIFICADA
2.2.2.- SEGUNDA FORMA MODIFICADA
2.2.3.- TERCERA FORMA MODIFICADA
3.- RESOLUCIN DE LA ECUACIN DIFERENCIAL DE LEGENDRE.
3.1.- SOLUCIN POR EL METODO DE FUCHS EN V(0)
3.2.- POLINOMIOS DE LEGENDRE
3.2.1.- OBTENCIN DE LOS POLINOMIOS DE LEGENDRE A PARTIR DE LAS FUNCIONES DE
LEGENDRE. PRIMERA EXPRESIN
3.2.2.- TABLA DE LOS PRIMEROS POLINOMIOS DE LEGENDRE
3.3.- SOLUCIN DE LA ECUACIN DE LEGENDRE EN V(1)
3.3.1.- PRIMERA SOLUCIN POR EL METODO DE FUCHS EN V(1)
3.3.2.- SEGUNDA EXPRESIN DE LOS POLINOMIOS DE LEGENDRE
3.3.3.- TERCERA EXPRESIN: OLINDO RODRIGUES
3.4.- SEGUNDA SOLUCIN DE LA ECUACIN DE LEGENDRE EN V(1)
3.4.1.- LA ECUACIN DE RECURRENCIA GENERALIZADA DE
3.4.2.- SEGUNDA SOLUCIN POR EL METODO DE DALEMBERT EN V(1)
3.4.3.- SEGUNDA SOLUCIN POR REDUCCIN DEL ORDEN EN V(1)
3.5.- SEGUNDA SOLUCIN DE LA ECUACIN DE LEGENDRE EN V(0) CASO = n
3.5.1.- SEGUNDA SOLUCIN POR REDUCCIN DEL ORDEN EN V(0) CASO = n
3.5.2.- TABLA DE LAS PRIMERAS FUNCIONES Qn DE LEGENDRE
4.- REPRESENTACIONES INTEGRALES DE LOS POLINOMIOS DE LEGENDRE
4.1.- REPRESENTACIN DE SCHLAFLI
4.2.- REPRESENTACIN DE LAPLACE DE LOS POLINOMIOS DE LEGENDRE
4.3.- REPRESENTACIN INTEGRAL DE LAS FUNCIONES DE LEGENDRE
5.- PROPIEDADES: PRIMERA PARTE
5.1.- PARIDAD
5.2.- VALORES NOTABLES
5.3.- ACOTACIN
5.4.- COEFICIENTES NOTABLES
5.5.- CEROS DE LOS POLINOMIOS DE LEGENDRE
5.5.1.- PROPIEDADES DE LOS CEROS
5.5.2- ACOTACIN DE LOS CEROS
6.- FORMULAS DE RECURRENCIA DE LOS POLINOMIOS DE LEGENDRE
6.1.- PRIMERA FORMULA DE RECURRENCIA
6.2.- SEGUNDA FORMULA DE RECURRENCIA
6.3.- TERCERA FORMULA DE RECURRENCIA

7.- FUNCIN GENERATRIZ

8.- PROPIEDADES: SEGUNDA PARTE
8.1.- FORMACIN DE LA ECUACIN DIFERENCIAL DE LOS POLINOMIOS DE LEGENDRE A
PARTIR DE LA FORMULA DE OLINDO RODRIGUES
8.2.- FORMACIN DE LA ECUACIN DIFERENCIAL DE LEGENDRE A PARTIR DE LA FORMULA
SCHLAFLI

9.- LOS POLINOMIOS DE LEGENDRE COMO SISTEMA ORTOGONAL

9.1.- ORTOGONALIDAD
9.2.- FORMA AUTOADJUNTA DE STURM-LIOUVILLE
9.3.- NORMA
9.4.- SISTEMA ORTONORMADO
10.- SERIES DE FOURIER-LEGENDRE
10.1.- SERIE ASOCIADA DE FOURIER-LEGENDRE
10.2.- NCLEO DE FOURIER-LEGENDRE
10.3.- SUMA ENSIMA DE FOURIER-LEGENDRE
10.4.- IDENTIDAD DE DARBOUX-CHRISTOFFEL
10.5.- APLICACIN DE LA IDENTIDAD DE DARBOUX-CHRISTOFFEL
10.6.- ESTUDIO DEL NCLEO
10.7.- CONVERGENCIA
10.8.- VALOR ASINTOTICO DE LOS POLINOMIOS DE LEGENDRE
11.- EJERCICIOS

Ejercicio 1

Calcular

Ejercicio 2
Ejercicio 3

Desarrollar en Serie de F-L la funcin u(x) en x ] 1 1[

Desarrollar en Serie de F-L la funcin sg(x) en x ] 1 1[

Ejercicio 4

Verificar a partir de la ED de Legendre que

Ejercicio 5

Calcular Pn(0)

Ejercicio 6

Calcular

Ejercicio 7.

Desarrollar en Serie de F-L a la funcin | x | en x ] 1 1[

Calcular

Ejercicio 8.- Calcular

Ejercicio 9

Pn dx

Pn dx = 0

para n > 0

x Pn dx

xn Pk dx = 0

para n > 0

cos((2n + 1) / 2)

(cos cos )1 / 2

12.- APLICACIONES MATEMATICAS Y FISICAS DE LOS POLINOMIOS DE LEGENDRE

12.1.- APLICACIONES MATEMTICAS
12.1.2.- ESTUDIO DE LAS RAICES DE z a w f(z) = 0
12.2.- APLICACIONES FISICAS
12.2.1.- MOVIMIENTO DE LOS PLANETAS: ECUACIN DE KEPLER
12.2.2.- APLICACIONES A LA ELECTROSTATICA
12.2.2.1.- POTENCIAL DE UN CAMPO ELECTRICO GENERADO POR UNA CARGA
PUNTUAL
12.2.2.2.- POTENCIAL DE UN CAMPO ELECTRICO GENERADO POR UNA CARGA

PUNTUAL EN EL INTERIOR DE UNA ESFERA PUESTA A TIERRA

12.2.2.3.- POTENCIAL DE UN CAMPO GENERADO POR UN ANILLO CIRCULAR
12.2.3.- ECUACIN DE LAPLACE EN COORDENADAS ESFERICAS
APNDICE I
3.2.3-. CUARTA EXPRESIN DE LOS PRIMEROS POLINOMIOS DE LEGENDRE
3.2.4.- DEDUCCIN DE LA TERCERA EXPRESIN DE LOS POLINOMIOS DE LEGENDRE:
OLINDO RODRGUEZ A PARTIR DE LA CUARTA EXPRESIN

FUNCIONES Y POLINOMIOS DE LEGENDRE

1.- PORQU LEGENDRE

Los Polinomios de Legendre son uno de los ejemplos ms importantes de los Polinomios Ortogonales, porque
aparecen como soluciones en varios problemas clsicos de la fsica como:
1.- Movimiento de los planetas: Ecuacin de Kepler.
2.- Resolucin de los modelos de la fsica con Ecuaciones Diferenciales en Derivadas Parciales (EDDP) en
coordenadas esfricas.
Son ejemplo de estos modelos de la fsica, los campos conservativos, no conservativos, propagacin de calor,
propagacin de ondas, propagacin de seales telegrficas, propagacin de ondas de partculas simples.
Una lista de algunos de los modelos ms destacados es
EDDP
Laplace

ECUACIN
2u = 0

Poisson

2u = f

Fourier
DAlembert

2u = b ut
2u = a utt

Raleigh
Schrdinger

2u = a utt + b ut
2u = c(E-V) u

General
Maxwell

2u = a utt + b ut + c u + f
D=E
B=H
=E
B
RotE =
t
D
RotH = +
t
divB = 0
divD =

MODELO
Potencial de campos conservativos
a.- Potencial gravitatorio en el vaco
b.- Potencial de velocidades de un fluido ideal incompresible, sin
torbellinos, sin fuentes ni sumideros y distribucin continua.
c.- Potencial electrosttico en rgimen permanente generado por corrientes
elctricas en conductores aislados
d.- Distribucin de Temperaturas en slidos para rgimen estacionario
Potencial de campos no conservativos
a.- Potencial de velocidades de un fluido ideal incompresible e
irrotacional, con fuentes y sumideros y distribucin continua.
b.- Potencial electrosttico con cuerpos cargados
c.- Distribucin de Temperaturas en slidos para rgimen estacionario
generada por focos calorficos discretos
d.- Funcin de esfuerzos de torsin en barras elsticas
Propagacin del calor
Propagacin de ondas
a.- Vibraciones de cuerdas, membranas y cuerpos slidos
a.- Propagacin de ondas sonoras, luminosas, de radio etc. con velocidad
independiente de la longitud de onda.
Propagacin de seales telegrficas
Propagacin de ondas en la mecnica ondulatoria
a)Probabilidad de posicin de una partcula cuya funcin de onda es u
Potenciales elctricos y magnticos

3.- Aplicaciones de matemtica.

Algunas de las aplicaciones de los polinomios de Legendre son:

1.- Clculo de Integrales
2.- Series de Fourier-Legendre
3.- Estudio de races de z a w f(z) = 0

2.- ECUACIN DIFERENCIAL DE LEGENDRE.

2.1.- FORMA CANNICA
Se define como Ecuacin Diferencial de Legendre en su forma cannica a:
Def.-

(1 x2) y 2 x y + y = 0

cuya solucin general es entonces la combinacin lineal de dos soluciones linealmente independientes
y(x) = A y1(x) + B y2(x)
Como caso particular de estas soluciones si = (+1) con = n N una de dichas soluciones es un
Polinomio de Legendre de orden n. En este caso la solucin general toma la forma:
y(x) = A Pn (x) + B Qn (x)

2.2.- FORMAS MODIFICADAS DE LA ECUACIN DE LEGENDRE

Las Forma cannica de la ED de Legendre ha sido elegida como tal por la simplicidad en los clculos de las
soluciones. Las Formas Modificadas de la ED de Legendre se obtienen a partir de la Cannica por medio de un cambio
de variables que se emplean en demostraciones matemticas o en aplicaciones fsicas.

2.2.1- PRIMERA FORMA MODIFICADA

La Ecuacin Diferencial de Legendre en la resolucin de Ecuaciones Diferenciales en Derivadas Parciales en los

Modelos usuales de la Fsica (Campos Conservativos, Transmisin de Calor, Transmisin de Ondas, etc.) planteadas en
Coordenadas Esfricas aparece bajo la primera forma modificada.
T1.-

(1 x2) y 2 x y + y = 0
y(x) = A y1(x) + B y2(x)

x = cos

y + cotg y + y = 0

y() = A y1(cos) + B y2(cos)

 = (+1) = n N
y(x) = A Pn (x) + B Qn (x)

y() = A Pn(cos) + B Qn(cos).

Esta forma modificada de la Ecuacin de Legendre se obtiene con el cambio de variable x = cos

D.-

Partiendo de la Ecuacin de Legendre cannica

(1 x2) y 2 x y + y = 0
Cambiando de variable
yx =

x = cos

y'
y'
=
x'
sin

yxx = [

y'
y' '
+
cos ] [ 1 ]
2
sin
sin
sin

Reemplazando estas expresiones en la ED resulta

sin2 [

y' '
2

sin

y'
3

sin

cos ] 2 cos [

y'
] + y =0
sin

y + cotg y + y = 0
que es la ED modificada, cuya solucin general ser de la forma:
y() = A y1(cos) + B y2(cos)
si = (+1) con = n N las soluciones con Polinomios de Legendre de orden n tendrn la solucin
general de la forma:
y() = A Pn(cos) + B Qn(cos).

2.2.2- SEGUNDA FORMA MODIFICADA

Una segunda forma modificada se obtiene por translacin z = xa para llevarla a un desarrollo en un V(a).
En particular se aplicar este cambio de variable en V(1) para encontrar otras formas de las soluciones de la ED de
Legendre.
T2.-

(1 x2) y 2 x y + y = 0

z = xa

Partiendo de la ED cannica:
(1 x2) y 2 x y + y = 0

z = xa

x=z+a
x1=z+a1
x+1=z+a+1

se obtiene la segunda forma de ED modificada:

(1 ( z + a)2) y 2 (z + a) y + y = 0

(1 ( z + a)2) y 2 (z + a) y + y = 0
2.2.3.- TERCERA FORMA MODIFICADA

Esta tercera forma modificada de la ED de Legendre se emplea en la acotacin de races de los Polinomios de
Legendre.
T3.-

y=

(sin ) 1 / 2
= (+1)

(1 x2) y 2 x y + y = 0

z + [ ( +

1 2
1
] z = 0
) +
2
4(sin )2

A partir de la ED modificada
y + cotg y + y = 0
por el cambio de variable
y=

z
(sin )1 / 2
z'

y =

(sin )

y =

1/ 2

z' '
(sin )1 / 2

1
z cos
2 (sin ) 3 / 2

1 z' cos
1 3 z(cos ) 2
1 z sin
+
+
2 (sin ) 3 / 2
2 2 (sin ) 5 / 2
2 (sin ) 3 / 2

Reemplazando en:
y + cotg y + y = 0
queda:
z' '
(sin )1 / 2
z + [

z' cos
(sin ) 3 / 2

z
z'
z
3 z(cos ) 2
1
1 z cos
+
+ cotg[

]+
=0
5
/
2
1
/
2
1
/
2
3
/
2
4 (sin )
2 (sin )
2 (sin )
(sin )
(sin )1 / 2

3 (cos ) 2
1
1 (cos ) 2

+
+]z=0
4 (sin ) 2
2
2 (sin ) 2
Eligiendo = (+1)

z + [

1 1 (sin ) 2
1
+
+ (+1) ] z = 0
4 (sin ) 2
2

1
1
]z=0
+
4 4(sin ) 2
resultando:
1
1
z + [ ( + )2 +
]z=0
2
4(sin ) 2
z + [ 2 + +

3.- RESOLUCIN DE LA ECUACIN DIFERENCIAL DE LEGENDRE.

3.1.- SOLUCIN POR EL MTODO DE FUCHS EN V(0)
La ED Legendre
(1x2) y 2 x y + y = 0

tiene por campo de convergencia a

2x

p(x) =

1 x 2

q(x) =

CV(p) = { | x | < 1}

1 x 2

CV(y) = { | x |<1}

CV(q) = { | x | < 1}

Se ensaya la solucin aplicando el mtodo de Fuchs

y =

Ck x

k+r

k =0

y =

Ck (k + r) x k+ r 1

k =0

y =

Ck (k + r) (k + r 1) x r + k 2

k =0

y =

Ck x

k+r

k =0

2 x y =

2 Ck (k+r) x k+ r

k =0

(1 x2) y =

Ck (k + r) (k + r 1) x k + r 2 +

k =0

Ck (k + r) (k + r 1) x r + k

k =0

0 =
Tomando el coeficiente de la potencia x k +

r2

se forma la Ecuacin de Recurrencia

Ck (k + r) (k + r 1) Ck 2 [ (k + r 2) (k + r 3) + 2 (k + r 2) ] = 0
Ck (k + r) (k + r 1) Ck 2 [ (k + r 2) (k + r 1) ] = 0
Que lleva a la Ecuacin caracterstica
C0 (r) (r 1) = 0
de donde

r1 = 1;

r2 = 0;

=1

Se est en presencia de un caso III de Fuchs cuyo subcaso se discrimina en la ecuacin de recurrencia con:
r = r2 = 0
k==1
C1 (1) (0) C1 [ (1) (0) ] = 0
Donde se observa que la Condicin Complementaria C1 [ (1) (0) ] = 0 es siempre nula porque
C1 = 0. Por lo tanto la Ecuacin de Legendre es un Caso IIIA del mtodo de Fuchs, es decir las dos soluciones son

de la forma general y =

Ck x r + k

k =0

Para operar con mayor facilidad con la Ecuacin de Recurrencia ms fcilmente se transforma el segundo
trmino en producto de monomios
[ (k + r 2) (k + r 1) ] = (k + r)2 3 (k + r) + 2
Para ello se buscan las races de este polinomio de 2 grado
(k + r) = 3/2 (1 / 4) +
para ello se completa el cuadrado perfecto tomando = (+1)
= 3/2 ( + 1/2) = + 2
= + 1
queda
[ (k + r 2) (k + r 1) ] = (k 2 + r ) (k 1 + r + )
Para hallar la Primera y Segunda solucin simultneamente se desarrollar la funcin y(x, r):
Ck =

C k - 2 (k - 2 + r - ) (k - 1 + r + )
(k + r)(k + r - 1)
resulta entonces:

C0 = C0 arbitrario y no nulo.
C1 = 0

vlido para la primera solucin, y elegido arbitrariamente nulo para la segunda. Adems se arrastra

C1 = 0

C2p+1 = 0

C2 =

C 0 (r - ) (1 + r + )
(r + 2)(r + 1)

C2p =

C 0 (r - ) (2 + r - ) ... (2p - 2 + r - ) (1 + r + ) (3 + r + ) ... (2p - 1 + r + )

(r + 2p) (r + 2p - 1) ... (r + 4) (r + 3) (r + 2) (r + 1)
Entonces:

(r - ) (r + 2 - ) ... (r + 2p - 2 - ) (r + 1 + ) (r + 3 + ) ... (r + 2p - 1 + ) 2p+r

x
(r + 2p) (r + 2p - 1) ... (r + 4 ) (r + 3 ) (r + 2) (r + 1 )

y(x, r) = C0

p =0

Para obtener la Primera solucin y1 se remplaza en y(x,r):

+

y1 = y(x,r)

r = r1 = 1

= C0

p =0

r = r1 = 1

(1 - ) (3 - ) ... (2p - 1 - ) (2 + ) (4 + ) ... (2p + ) 2p+1

x
(2p + 1 )!

y para la Segunda solucin y2 se remplaza en y(x,r): r = r2 = 0

+

y2 = y(x,r)

r = r2 = 0

= C0

p=0

(- ) (2 - ) ... (2p - 2 - ) (1 + ) (3 + ) ... (2p - 1 + ) 2p

x
(2p)!

Estas soluciones y1 e y2 son las funciones de Legendre que generan a la solucin general de la Ecuacin de
Legendre como la combinacin lineal:
CV(y) = { | x |<1}

y = A y1 + B y2

3.2.- POLINOMIOS DE LEGENDRE

Las funciones de Legendre para ciertos valores particulares de son Polinomios. En efecto dichas funciones
para valores naturales de se reducen a Polinomios. La constante C0 se fija de manera tal que dichos Polinomios,
llamados de Legendre Pn(x) , tengan valor 1 para x = 1.
n N {0}
C0: Pn(1) = 1
Obs: Por supuesto que en el caso de los Polinomios de Legendre su Campo de Convergencia se extiende a todo
el Plano Complejo y en particular se puede estudiar su comportamiento en otros puntos como el V(1).

3.2.1.- OBTENCIN DE LOS POLINOMIOS DE LEGENDRE A PARTIR DE LAS FUNCIONES

DE LEGENDRE. PRIMERA EXPRESIN

Una primera forma o expresin de los Polinomios de Legendre se deduce de la siguiente manera:
I.- En la primera solucin y1, si = n es Natural e Impar se obtiene un Polinomio de orden n pues los
coeficientes de la serie se anulan a partir de 2p+1 > n

= n Impar
( n1 ) / 2

y1 = Pn(x) = C0

p =0

p > (n 1)/2 C2p = 0

(1 - n) (3 - n) ... (2p - 1 - n) (2 + n ) (4 + n ) ... (2p + n ) 2p+1
x
(2p + 1 )!

Con la convencin que C0 : Pn(1) = 1

II.- En la segunda solucin y2, si = n es Natural y Par tambin se obtiene un Polinomio de orden pues los
coeficientes de la serie se anulan a partir de 2p > n

= n Par

p > n/2 C2p = 0

n/ 2

y2 = Pn(x) = C0

p =0

(-n) (2 - n) ... (2p - 2 - n) (1 + n ) (3 + n ) ... (2p - 1 + n ) 2p

x
(2p)!

siempre con la convencin que

C0 : Pn(1) = 1

3.2.2.- TABLA DE LOS PRIMEROS POLINOMIOS DE LEGENDRE

y1(x) si nPar
y2 (x) si n Impar

C0

Pn(x)

C0

C0 x
2.3 2
x ]
C0 [ 1
2!
2.5 3
x ]
C0 [ x
3!
4.5 2 4.2.5.7 4
x +
x]
C0 [ 1
2!
4!
4.7 3 4.2.7.9 5
x +
x]
C0 [ x
3!
5!

1
1

2
3

2
3
8
15
8

2
3
4
5

1
[ 3 x2 1]
2
1
[ 5 x3 3 x]
2
1
[ 35 x4 30 x2 + 3]
8
1
[ 63 x5 70 x3+ 15]
8

3.3.- SOLUCION DE LA ECUACION DE LEGENDRE EN V(1)

3.3.1.- PRIMERA SOLUCION POR EL METODO DE FUCHS EN V(1)
Si a la ED Legendre la llevamos al V(1) con la translacin z = x 1
(1 x2) y 2 x y + y = 0

z = x1

x=z+1
x+1=z+2

toma la forma de ED modificada:

z (z + 2) y 2 (z + 1) y + y = 0
z (z + 2) y + 2 (z + 1) y y = 0

Cuyo campo de convergencia es

p(x) =

2( z + 1 )
z( z + 2 )

q(x) =
z( z + 2 )

CV(p) = { 0 < | z | < 2}

CV(y) = { 0 < | z | < 2 }
CV(q) = { 0 < | z | < 2}

Aplicando el mtodo de Fuchs

y =

Ck zr + k

k =0

y =

Ck (r+k) z r + k 1

k =0

y =

k =0

Ck (r+k) (r+k 1) z r + k-2

y =

Ck z r + k

k =0

2 (z+1) y =

2 Ck (r+k) zr + k +

k =0

z (z+2) y =

2 Ck (r+k) zr + k1

k =0

Ck (r+k) (r+k1) z r + k

k =0

2 Ck (r+k) (r+k1) z r +

k1

k =0

Tomando el coeficiente de la potencia z r + k1

se forma la Ecuacin de Recurrencia

Ck [2 (r+k) (r+k1) + 2 (r+k)] + Ck 1 [ (r+k1) (r+k2) + 2(r+k1) ] = 0

Ck 2 (r+k)2 + Ck 1 [ (r+k1) (r+k) ] = 0

Que lleva a la Ecuacin caracterstica

C0 2 r2 = 0
de donde
r1 = 0;

r2 = 0;

=0

II Caso de Fuchs

Para operar la Ecuacin de Recurrencia ms fcilmente se transforma el segundo trmino en producto de

monomios
[ (r+k-1) (r+k) ] = (r+k)2 (r+k)
Para ello se buscan las races de este polinomio de 2 grado
1/2 (1 / 4) +
y se completa el cuadrado perfecto dentro del radicando, tomando = (+1)
= 1/2 ( + 1/2) = + 1
=
queda
Ck 2 (r+k)2 + Ck 1 (r+k 1 ) (r+k+ ) = 0
Para hallar la primera solucin y1 con r1 = 0;
Ck =

C k - 1 ( + 1 k ) (k + )
2 k2
De donde eligiendo C0 = 1 recordando la convencin Pn(x)

C0 = 1

x =1

= Pn(z)

z=0

= 1

() ( + 1)

C1 =

2 12
() ( 1) ( + 1) ( + 2)

C2 =

2 2 (2! ) 2
( + k + 1)

( ) ( 1)... ( + 1 k ) ( + 1) ( + 2)...( + k )

Ck =

2 (k! )

( k + 1)
2 k (k! ) 2

Entonces la primera solucin de la ecuacin de Legendre es:

( + k + 1)

y1

( k + 1)

zk

2 k (k! ) 2

k =0

3.3.2.- SEGUNDA EXPRESIN DE LOS POLINOMIOS DE LEGENDRE

En el caso de = n N {0} la solucin y1 se reduce a Polinomios de grado = n que son los Polinomios
de Legendre.
n

Pn (z) =

n

k

n + k z k

( )
k 2

n

k

n + k x 1 k

(
)
2
k

k =0

Pn (x) =

k =0

En efecto:
k n+1

y1

k =0

1
=0
(n k + 1)

(n + k + 1)
(n k + 1)
k

2 (k! )

zk

Si k = n entonces:
Ck =

Ck =

(n + k )!
2

1
2
n

y1 =

k =0

(n k )! (k! )
n

k
n

k

n! (n + k )!
2

(n k )! n! (k! ) 2

n + k

n + k z k

( ) =: Pn (z)
k 2

3.3.3.- TERCERA REPRESENTACIN: FRMULA DE OLINDO RODRIGUES

Lema

(x2 1) = (x 1) (x + 1)
= z (z + 2)
(x2 1) n = z n (z + 2) n
n

n  k+n n k


z
2
k

k =0

D(n)(x2 1) n =

k =0

k =0

= 2n n!

n


(k+ n ) (k+ n 1) ... (k+1) z k 2n k
k
n



k

(n + k )! k n k
z 2
k!

k =0

= 2n n! Pn (z)

n



k

n + k

(z/2) k
k

De aqu resulta la frmula de Olindo Rodrigues.

P n(x) =

1
n

2 n!

D(n) (x2 1) n

De la cual se deducen los primeros Polinomios de Legendre que coinciden con lo ya vistos:

n
P0 (x)
P1(x)
P2 (x)

P3 (x)
P4 (x)
P5 (x)

Frmula de Olindo
Rodrigues
1
D(0) (x2 1) 0
2 0 0!
1
D(1) (x2 1)1
1
2 1!
1
D(2) (x2 1)2
2
2 2!
1
D(3) (x2 1) 3
3
2 3!
1
D(4) (x2 1) 4
4
2 4!
1
D(5) (x2 1) 5
5
2 5!

Pn(x)
1
x

1
[ 3 x2 1]
2
1
[ 5 x3 3 x]
2
1
[ 35 x4 30 x2 + 3]
8
1
[ 63 x5 70 x3+ 15]
8

3.4.- SEGUNDA SOLUCIN DE LA ECUACIN DE LEGENDRE EN

V(1)
3.4.1.- LA ECUACIN DE RECURRENCIA GENERALIZADA DE

Se recuerda la Frmula de Recurrencia de . Derivando en forma logartmica la Frmula de recurrencia de

(+k+1) = (+k) (+ k 1) (+k 2) ... (+1) ()

se obtiene la Frmula de Recurrencia de

' ( + k + 1 )
' ( )
1
1
1
1
1
=
+
+
+ ... +
+ +
( + k + 1 )
+ k + k 1 + k 2
+1
( )
Para el caso de = 1

k = p 1 la expresin se reduce a:

' ( p + 1)
' (1)
1
1
1
1
= +
+
+ ... + + 1 +
( p +1)
p p 1
p2
2
(1)
y definiendo la Suma Armnica H(p) de p trminos
1 1
1
1
1
+
+ ... + + 1
+ +
p p p 1
p2
2
H(0) := 0

H(p) :=

Queda

' ( p + 1)
= H(p) + (1)
( p + 1)

3.4.2.- SEGUNDA SOLUCIN POR EL MTODO DE DALEMBERT EN

V(1)
Partiendo de la Ecuacin de Recurrencia en V(1) sin reemplazar r
Ck 2 (r+k)2 + Ck 1 (r+k 1 ) (r+k+ ) = 0
Se halla la solucin y(z, r)
Ck =

C k - 1 ( + 1 r k ) ) ( + r + k )
2(r + k) 2
resulta entonces:

C0 = C0
Ck = C0

arbitrario y no nulo.
( r ) ( r 1) ... ( r k + 1) ( + r + 1) ( + r + 2) ... ( + r + k )
2 k [(r + 1) (r + 2) ... (r + k )] 2

( r + 1)
( + r + k + 1)
( - r k + 1)
( + r + 1)

= C0

2 (r + 1)

2k

(r + k + 1)

Para simplificar se elige la constante C0 de manera que:

( r + 1) 2
(r+1)
( + r + 1)

1 = C0
C0 =

( + r + 1)
( r + 1) 2 (r + 1)
Se destaca que para r =0 se mantiene la convencin establecida para los Polinomios de Legendre

C0 =

( + 1)
( + 1) 2 (1)

= 1 = Pn(x)

x =1

= Pn(z)

= 1

z=0

Entonces construyendo y(z, r) con el C0 elegido:

+

y(z, r) = z r

k =0

y(z, r) =

( + r + k + 1)
( - r k + 1)
( + r + k + 1)
( - r k + 1)

k =0

(r + k + 1)

2k

(r + k + 1)

2k

zk

z r+k

Para la Primera solucin y1 se remplaza r = r1 = 0 en y(z , r):

+

y1 = y(z, r)

r = r1 = 0

k =0

( + k + 1)
1
( k + 1) (k! ) 2

zk
2k

que es la solucin y1 ya hallada anteriormente.

La Segunda solucin y2 por el mtodo de DAlembert se obtiene derivando y(z, r) respecto de r y luego
reemplazando r = 0.

y2 =

y(z, r )
=
r = r2 = 0
r
+

= y1 Lz +

( + r + k + 1)
( - r k + 1)

( + k + 1)
' ( + k + 1)
' ( k + 1)
' (k + 1) z k
1
+

2
]
[
( k + 1) (k! ) 2
( + k + 1)
( k + 1)
(k + 1) 2 k

k =0

= y1 Lz +

' ( + r + k + 1)
' ( r k + 1)
' (r + k + 1) z r + k
(1)
2
]
( + r + k + 1)
( - r k + 1)
(r + k + 1) 2 k r = 0

k =0

1
2 (r + k + 1)

= y1 Lz + H2(z)
En el caso de = n N {0} la solucin y1 se reduce al Polinomio Pn (z) de grado con = n . Y en la
segunda solucin y2 la serie H2(z) se reduce a un polinomio porque:
1
=0
k n+1
(n k + 1)

(n + k )! 1
' (n + k + 1)
' (n + 1 k )
' (k + 1) z k
+

2
]
[
(n k )! (k! ) 2
(n + k + 1)
(n + 1 k )
(k + 1) 2 k
k =0
Que en funcin de la Suma Armnica H(p) queda:

H2(z) =

H2(z) =

k =0

(n + k )! 1
zk
[ H(n+k) + H(n k) 2 H(k)] k
2
(n k )! (k! )
2

Entonces la segunda solucin es de la forma:

y2 =

y(z, r )
= Qn (z)
r = r2 = 0
r
n

= Pn(z) Lz +

k =0

(n + k )! 1
zk
[
H(n+k)
+
H(n
k)

2
H(k)]
(n k )! (k! ) 2
2k

Si k = n entonces como ya se ha visto:

(n + k )!
2

(n k )! (k! )

n! (n + k )!

Qn (z) = Pn(z) Lz +

k =0

(n k )! n! (k! )

n

k

1 n

2k k

n + k

n + k
zk

[ H(n+k) + H(n k) 2 H(k)]

2k
k

3.4.3.- SEGUNDA SOLUCIN POR REDUCCIN DEL ORDEN EN

V(1)
Por el mtodo de reduccin del orden la segunda solucin y2(z) est dada por:
y2(z) = y1 (z)

= y1 (z)

1
(y 1 )

1
(y 1 )

exp (

exp (

2(z + 1)
dz ) dz
z(z + 2)
1
1
+
dz ) dz
z
z+2

1
1
1
] dz
[
z z+2
(y 1 ) 2
Como por lo visto el trmino independiente de y1(z) es

= y1 (z)

C0 = 1

(y 1 ) 2
y adems

H/V(0)

1
H/V(0)
z+2
= y1 (z)

C0 = 1

1
H3(z) dz
z

1
(y 1 ) 2

1
H/V(0)
z+2

= y1 (z) [ L(z) + H4(z)]

= y1 (z) L(z) + H2(z)

Obs: Ntese que la segunda solucin y2 en V(1) tiene L(z) en la solucin. Anlogo hecho se demuestra en V(1)
En particular para los Polinomios de Legendre se tiene

y2 = Qn (z) = Pn (z)

1
Pn2

exp (

2(z + 1)
dz ) dz
z(z + 2)

Qn (z) = Pn(z) Lz + H2(z)

3.5.- SEGUNDA SOLUCIN DE LA ECUACIN DE LEGENDRE EN V(0) CASO = n

3.5.1.-- SEGUNDA SOLUCIN POR REDUCCIN DEL ORDEN EN V(0) CASO = n
Para el caso que = n(n+1) una de las soluciones, como se sabe es un Polinomio de Legendre. Puede
obtenerse una forma de la segunda solucin correspondiente a partir del Mtodo de Reduccin del Orden.
Qn = Pn

(1 x )(Pn ) 2

dx

La forma de la segunda solucin es entonces:

Qn = u Pn(x)
que introducida en la Ecuacin Diferencial da:
(1x2) [u Pn + 2 u Pn + u Pn ] 2x [u Pn + u Pn ] + n(n+1) u Pn = 0
(1x2) Pn u + [ 2 (1x2) Pn 2 x Pn ] u + [ (1x2) Pn 2 x Pn + n(n+1)] u = 0
(1x2) Pn u + [ 2 (1x2) Pn 2 x Pn ] u = 0
por lo tanto
P '
u' '
2x
+2 n
= 0
Pn
u'
1 x 2
L u + L (Pn)2 + L (1 x2) = 0
u =
u =

1
2

(1 x )(Pn ) 2

1
2

(1 x )(Pn ) 2

dx

se obtiene entonces la forma general de la segunda solucin correspondiente a los Polinomios de Legendre,
que se denomina Qn , a:

Qn = Pn

(1 x )(Pn ) 2

dx

Para obtener la expresin de Qn se considera

1
2

( x 1)(Pn )

A
B
+
+
x 1
x +1

k =1

Dk
(x x k )

Ek
x xk

donde los valores xk son los ceros (todos simples) del Polinomio Pn y los coeficientes de las fracciones
simples toman los valores expresados a continuacin. Los valores x = 1 y x = 1 no son ceros de Pn pues Pn(1) = 1
y
Pn(1) = (1)n
A=

1
2.(Pn (1))

B=

1
2.

1
2.(Pn (1))

1
2.

El clculo de los coeficientes Dk es el siguiente:

Llamando f(x) a la funcin a descomponer por fracciones simples, la expresin de los coeficientes Dk es
Dk = lim (x-xk)2 f(x)
xx k

por lo tanto recordando que Pn(xk) = 0

(x x k ) 2

1
P
(
x ) P( x k ) 2
( x 1)( Pn ( x ))
( x 2 1)[ n
]
x xk
Pasando al Lmite de esta expresin para x xk se obtiene:
1
Dk =
2
( x k 1)[Pn ' ( x k )] 2
2

El valor de los Ek se obtiene a partir de:

Ek = lim D (x-xk)2 f(x)
xx k

reemplazando f(x)
D

(x x k ) 2
( x 2 1)(Pn ( x )) 2

2( x x k )( x 2 1)Pn 2 ( x x k ) 2 [2xPn 2 + ( x 2 1)2Pn Pn ' ]

( x 2 1) 2 Pn 4
2( x x k ) ( x 2 1)Pn ( x x k )[ x Pn + ( x 2 1) Pn ' ]
( x 2 1) 2 Pn

El primer factor tiende a un valor no nulo

Pn 2

2( x x k )
2

x x

( x 1) Pn

2
2

( x 1) 2 Pn '

En el segundo factor es un limite indeterminado, y por lo tanto aplicando L'Hospital

2x Pn + ( x 2 1)Pn ' [ x Pn + ( x 2 1)Pn ' ] ( x x k )[ Pn + x Pn ' + 2x Pn ' + ( x 2 1)Pn ' ' ]
=
2 Pn Pn '
Simplificando y reemplazando en virtud de la ED
=

x Pn ( x x k )[Pn + x Pn ' + n(n + 1) Pn ]

=
2 Pn Pn '

x Pn ( x x k )[ x Pn ' + (n 2 + n + 1) Pn ]
=
2 Pn Pn '

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

Aplicando L'Hospital otra vez

=

Pn + x Pn ' [ x Pn ' + (n 2 + n + 1)Pn ] ( x x k )[ Pn ' + x Pn ' ' + (n 2 + n + 1) Pn ' ]

Pn (n 2 + n + 1)Pn ( x x k )[ Pn ' + x Pn ' ' + (n 2 + n + 1)Pn ' ]

2 (Pn ' ) 2 + 2 Pn Pn ' '

2 (Pn ' ) 2 + 2 Pn Pn ' '

0
x x
k

Por lo tanto
Ek = 0

Observacin: Otra forma de asegurar que Ek = 0 es a partir de que Qn H/xk pues el Campo de
CV(y) = { | x |<1} .
Convergencia de las soluciones de Legendre en el V(0) era
Suponiendo lo contrario que Ek 0
Ek 0

Ek
dx = Ek L(x - xk)
x xk

esto implica

Qn H/xk lo cual es absurdo.

volviendo a las fracciones simples

1
2

( x 1)(Pn )

A
B
+
+
x 1
x +1

k =1

Dk
(x x k )

queda entonces:
1
2

( x 1)(Pn )

1/ 2
1/ 2

+
x 1 x + 1

integrando este resultado

k =1

Dk
(x x k ) 2

Ek
x xk

u=

(1 x )(Pn )

u =

1 1+ x
L
+
2 1 x
k =1

dx =

1/ 2 1/ 2

+
x 1 x + 1

k =1

Dk
(x x k ) 2

Dk
(x x k )

se obtiene finalmente
n

Qn = u Pn(x) = Pn(x) [

1 1+ x
L
+
2 1 x
k =1

Dk
]
(x x k )

que es otra forma de presentar a la segunda solucin Qn

3.5.2.- TABLA DE LAS PRIMERAS FUNCIONES Qn DE LEGENDRE

Los primeros valores de Qn son:

Qn(x)

n
Q0(x)

Q1(x)

Qn(x)

Qn(x)

1
dx
(1 x 2 )

1 1+ x
L
2 1 x

Q0(x)

1
dx
(1 x 2 ) x 2

1+ x
1
1
x L
2
1 x

P1 Q0 1

Q2(x)

P2

1
dx
(1 x )( P2 ) 2

1+ x
1
3
P1
P2 L
2
2
1 x

Q3(x)

P3

1
dx
(1 x )( P3 ) 2

1+ x
10
1
1
P 2 P0

P3 L
2
1 x
3
3

P2 Q0
P3 Q0

3
3
P1 = P2 Q0 x
2
2

5
1
2
5
P2 P0 = P3 Q0 x2 +
2
3
6
3

4.- REPRESENTACIONES INTEGRALES DE LOS POLINOMIOS DE LEGENDRE

4.1.- REPRESENTACIN INTEGRAL DE SCHLAFLI
Una representacin de los Polinomios de Legendre es la Integral de Schlafli.

T.- Integral de Schlafli

Lazo V(x)
x V(x)
Def: Pn(x)

Pn(x) =

1
2n

1
2i

( t 2 1 )n
( t x )n+1

dt

D.- Esta representacin se obtiene a partir del teorema de las derivadas sucesivas de Cauchy que se recuerda
f(t) H/V(x)
Lazo V(x)
x V(x)

f ( n )( x )
1
=
n!
2i

f (t )
( t x ) n +1

dt

eligiendo f(t)
f(t) =

1
n

2 n!

(t 2 1) n

1
1
f (n ) (x)
= n
n!
2 n! 2i

( t 2 1) n
( t x ) n +1

dt

siendo
f (n)(x) = Pn(x)
queda la frmula de Schlafli

Pn(x) =

1
2n

1
2i

( t 2 1 )n
( t x )n + 1

dt

4.2.- REPRESENTACIN INTEGRAL DE LAPLACE DE LOS POLINOMIOS DE LEGENDRE

para

Otra representacin Integral de los Polinomios de Legendre es la de Laplace, que tiene dos expresiones, una
|x| < 1 y otra para
x>1

T. Representacin Integral de Laplace de los Polinomios de Legendre

1
|x| < 1
x = cos
Pn(cos) =
(cos + i sin cos ) n d
Def Pn(x)
0
1
x>1
x = ch
Pn(ch) =
(ch + sh cos ) n d
0

D.-

I.- Para el caso de |x| < 1 se elige en la Integral de Schlafli

x = cos
y el camino c: circunferencia de radio r = | sin |

t x = sin e i
dt = i sin e i d
t = cos + sin e i
t2 1 = 1 + cos2 + 2 cos sin e i + sin2 e i2
= 1 + 1 sin2 + 2 cos sin e i + sin2 e i2
= 2 cos sin e i + sin2 ( e i2 1)
= 2 cos sin e i + sin2 e i ( e i e i)
= 2 sin e i (cos + i sin sin )
reemplazando en Schlafli resulta
Pn(cos) =

1
1
2i 2 n

Pn(cos) =

1
2

2+

0+

2+

0+

2n sinn e in (cos + i sin sin )n

1
sin

n +1

e i ( n +1)

(cos + i sin sin) n d

Cambiando de variable /2
Pn(cos) =

1
2

/ 2 2 +

/ 2+

(cos + i sin cos) n (d)

En particular invirtiendo el orden de integracin y tomando =

sin e i i d

Pn(cos) =

1
2

(cos + i sin cos) n d

Por paridad
Pn(cos) =

(cos + i sin cos) n d

II.- Por otro lado en el caso x > 1

se elige
x = ch
y el camino c: circunferencia de radio r = | sh |
t x = sh e i
dt = i sh e i d
t = ch + sh e i
t2 1 = 1 + ch2 + 2 ch sh e i + sh2 e i2
= 1 + 1 + sh2 + 2 ch sh e i + sh2 e i2
= 2 ch sh e i + sh2 ( e i2 + 1)
= 2 ch sh e i + sh2 e i ( e i + e i )
= 2 sh e i (ch + sh cos )
reemplazando en Schlafli resulta
Pn(ch) =

1
1
2i 2 n

Pn(ch) =

1
2

2+

0+

2+

0+

2n shn e in (ch + sh cos )n

1
sh

n +1

e i ( n +1)

sh e i i d

(ch + sh cos) n d

Por paridad
Pn(ch) =

(ch + sh cos) n d

4.3.- REPRESENTACIN INTEGRAL DE LAS FUNCIONES DE LEGENDRE

Las soluciones de la Ecuacin Diferencial de Legendre para un genrico (no necesariamente nN) pueden
expresarse bajo Formas Integrales semejantes a la Integral de Schlafli.
Para que la integral de Schlafli sea solucin basta que la funcin integrando:
( t 2 1) +1
(t x) +2
retome el mismo valor al final del recorrido de un lazo sobre el cual se desarrolle la integral. Debe observarse
que la funcin anterior tiene 3 puntos de ramificacin: +1 1 x.
Eligiendo de forma conveniente se logran distintas formas de la solucin de la ED de Legendre. Dos
ejemplos de estos lazos son:
Ejemplo 1:

si se toma 1 como indica la figura, se verifica que la funcin integrando retoma el valor inicial:
(t2 1)+1

(t2 1)+1 e2i(+1)

(t x)+2

(t x)+2 e2i(+2)

( t 2 1) +1
(t x) +2

( t 2 1) +1
(t x) +2

e2i 4i

Ejemplo 2:

eligiendo 2 de acuerdo a la figura tambin la funcin integrando retoma el valor inicial:

(t2 1)+1

(t2 1)+1 e2i(+1) 2i(+1)

5.- PROPIEDADES: PRIMERA PARTE

5.1.- PARIDAD
T1.

Def Pn(x)

Pn(x)

tiene la paridad de n

D1.- A partir de la frmula de Olindo Rodrigues

1
D(n) (x2 1)n
2 n n!
se implica directamente que

Pn(x) =

Pn(x)

tiene la paridad de n.

5.2.- VALORES NOTABLES

Como corolario de las Frmulas de Laplace se obtienen las siguientes propiedades:

T.

T2. T3. T4.-

Def Pn(x)

Pn(1) = 1
Pn(1) = (1)n
Pn(0)

n = 2 k +1

n = 2k

D.-

1
Pn(ch) =

Pn(cos) =

P2k+1(0) = 0
P2k(0) = (1)k

(2k )!
2

2k

(cos + i sin cos ) n d

|x| < 1

(ch + sh cos ) n d

x>1

(k! ) 2

Pasando al lmite en la representacin Integral de Laplace

T2.-

Pn(1) = 1
Pn(cos)
0
x 1

T3.-

Pn(1) = (1)n
Pn(cos)

x 1

En el caso de = /2
n

T4.-

Pn(0) =

x=0

(cos ) n d

P2k+1(0) = 0
n = 2 k +1

n = 2k

P2k(0) =

1 1
in
1 (k + 1 / 2)(1 / 2)
B( k+ , ) = (1)k
2 2
(k + 1)

= (1)k
= (1)k

(k 1 / 2)( k 3 / 2)...(3 / 2)(1 / 2)

k!
(2k )!
2 2 k (k! ) 2

En particular los primeros valores de P2k(0) son:

P0(0)
1
5.3.- ACOTACIN

P2(0)

P4(0)

1
2

3
8

P6(0)

P8(0)

5
16

35
128

Hay varios teoremas de acotacin de los Polinomios de Legendre. Algunos son los siguientes:
T5. Primera Acotacin de los Polinomios de Legendre
x [-1 ,1]
D.|x| = 1

| Pn(x) | = | Pn(cos) | 1

| Pn(x) | = | Pn(cos) | = 1

|x| < 1
| Pn(cos) |

| cos + i sin cos | n d

Expresin que se puede acotar por el mdulo de su parte real:

1

| cos2 + sin2 cos2 | n/2 d

0

y tambin por
1

| cos2 + sin2 | n/2 d

0

=1

T6.-. Segunda Acotacin de los Polinomios de Legendre

x ]-1 ,1[

| Pn(x) | = | Pn(cos) |

1 1
2 sin

Partiendo de
1
2
| Pn(cos) |
| cos2 + sin2 cos2 | n/2 d =
0

2 / 2

| cos2 + sin2 (1 sin2) | n/2 d

0
2 / 2

| 1 sin2 sin2 | n/2 d

0
2
Como en [0 /2] sin

se tiene
| Pn(cos) | <

/ 2

| 1 sin2 (

2 2 n/2
) |
d

/ 2

n
+1)
2
n 3
( + )
2 2

| cos2 + sin2 cos2 | n/2 d

u = sin

cambiando de variable
1
sin
1
<
sin

= sin( 2 / )
u

=

sin

0
1

| 1 u2 | n/2 du
| 1 u2 | n/2 du

cambiando de variable otra vez

1/ 2

u=v

1 1
2 sin

(1 v ) n/2 v -1/2 dv

1 1
n
1
1 1
=
B( + 1, ) =
2 sin
2
2
2 sin

1 1
Pn(cos) | <
2 sin

n
( + 1)
2
n 3
( + )
2 2

n
( + 1)
2
n 3
( + )
2 2

T7.-. Tercera Acotacin de los Polinomios de Legendre

x ]-1 ,1[

| Pn(x) | = | Pn(cos) |

2 n sin 2

Partiendo de
1
2
| Pn(cos) |
| cos2 + sin2 cos2 | n/2 d =
0

2 / 2
2
) 2 | n/2 d
| Pn(cos) | <
| 1 sin2 (
0

2 / 2
2 2 n/2
<
) |
|1 (
d
0

/ 2

Adems como 1 y e

2 2
) e
1(

2
| Pn(cos) | <

/ 2

2 n sin 2

n sin 2 2 2
(
)

( )2

Cambiando de variable
t = (2n)1/2

sin

| Pn(cos) | <

2
2

n sin

n / 2 sin

t2

dt

= e

2 n sin 2

( )2

| cos2 + sin2 cos2 | n/2 d

| Pn(cos) | <

Pn(cos) | <

n sin

2n sin

t2

dt =

n sin

2 n | sin |

5.4.- COEFICIENTES NOTABLES

Coef(x n) =

D(n) x2n

T8.-.

Def Pn(x)

D.-

Derivando n veces x2n se obtiene el resultado.

2 n!

x=1

( 2 n )!
2 n n! n!

5.5.- CEROS DE LAS SOLUCIONES

5.5.1.- PROPIEDADES DE LOS CEROS
Se recuerdan los teoremas sobre los ceros de EDLH de segundo orden
T1.- Los ceros de cualquier solucin de una EDLH de segundo orden son simples
H1
H2
H3

L(y) := y + p(x) y + q(x) y = 0

y1 : L(y1) = 0

y1
y1(k ) = 0

k Cero simple

T2.- Dos soluciones li de cualquier solucin de una EDLH de segundo orden no pueden tener ceros comunes
H1
H2
H2

L(y) := y + p(x) y + q(x) y = 0

y1 : L(y1) = 0

y2 : L(y2) = 0 {y1 y2 } li
y1(k ) = 0

y2(k ) 0

T3.- Dos soluciones li de cualquier solucin de una EDLH de segundo orden tiene los ceros intercalados (entre dos
ceros consecutivos de una solucin se intercalan uno solo de otra solucin)
H1
H2
H3

L(y) := y + p(x) y + q(x) y = 0

y1 : L(y1) = 0

y2 : L(y2) = 0 {y1 y2 } li
y1(k ) = 0 y1(k+1) = 0 ceros consecutivos

5.5.2- ACOTACIN DE LOS CEROS

k ] k k+1 [ : y2(k) = 0
k nico en [ k k+1 ]

Una acotacin de los Ceros de las Soluciones de Legendre est dada por la siguiente expresin de Bruns:
1
2 < < k

k
1
1
n+
n+
2
2
k

que se demuestra a continuacin. A partir de la ED modificada

y + cotg y + y = 0
por el cambio de variable
y=

z
(sin )1 / 2
queda la ED

z + [ (n +

1
1 2
) +
]z=0
2
4(sin ) 2

que puede compararse con la ED

w" + (n +

1 2
) w= 0
2

a los efectos de aplicar el Teorema de Sturm que asegura que z tendr 1 cero entre 2 ceros consecutivos de w.
Una integral particular de la ED en w es
w = sin(n +

1
)
2

y sus races son

1
) = 0
2
1
(n + )k = k
2
k
k =

1
n+
2
sin(n +

por lo tanto un primer resultado es

k 1
k
< k <

1
1
n+
n+
2
2

cambiando ahora de subndice

k
n+1-k
nk
n +1 k
< n+1- k <

1
1
n+
n+
2
2
tomando esta desigualdad para
k
n k

n k n

1
2

n+1 k
n+1 k n
1
k
2 < <

k
1
n+
n+
2
k+

1
2

1
2
1
2

1
1
k+
2
2 < <
k
1
1
n+
n+
2
2
k

reuniendo este resultado con el primero se obtiene esta Desigualdad de Bruns

1
k
2 < <

k
1
1
n+
n+
2
2
k

6.- FRMULAS DE RECURRENCIA DE LOS POLINOMIOS DE LEGENDRE

6.1.- PRIMERA FRMULA DE RECURRENCIA
T.D1.-

Def. Pn(x)

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

Partiendo de la frmula de Olindo Rodrgues

Pn+1(x) =

1
2

n +1

(n+1)

(n + 1)!

(x 1)

n+1

1
2

n +1

Pn(x) =
(n)

(n + 1)!

2 n!

D(n) (x2 1)n

D [ D(x 1)n+1 ]

D(n) [ x (x2 1)n ]

2 n!
I.- Desarrollando esta derivada como producto de funciones
1
1
1
D(n) [ x (x2 1)n ] = x n D(n) (x2 1)n + n n D(n1 ) (x2 1)n
n
2 n!
2 n!
2 n!
1
n D(n1) [ (x2 1)n ]
= x Pn + n
2 n!
II.- Por otra parte derivando una vez a la misma expresin
D(n) [ (x2 1)n x ] = D(n1) [ (x2 1)n + 2 n x2 (x2 1)n1 ]
= D(n1) [ (2n+1) (x2 1)n + 2n (x2 1)n1 ]
Entonces

= (2n+1) D(n1) (x2 1)n + 2 n 2n1 (n1)! Pn1

Pn+1(x) =
Pn+1(x) =

1
n

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

D(n) [ (x2 1)n x ] =

1
n

2 (n )!

[(2n+1) D(n1) (x2 1)n + 2 n 2n1 (n1)! Pn1 ]

D(n1) (x2 1)n + Pn1

III.- Eliminando D(n1) (x2 1)n entre las dos igualdades se obtiene:
(2n + 1) (n1)
2n + 1
[ (x2 1)n ] = [ Pn+1 Pn1 ]
[ Pn+1 x Pn ] = n
D
n
2 (n )!

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

D2.- . Un segundo mtodo para llegar a la primera formula de recurrencia es partir de desarrollar el polinomio
de orden n+1 en funcin de los mismos Polinomios de Legendre:
x Pn = cn+1 Pn+1 + cn Pn + cn1 Pn1 + ... +
Multiplicando por Pq con (q < n 1 ) e integrando en el intervalo [1 1]
1

x Pn Pq dx = cq

( Pq )2 dx

q = n2 , n3 , n4 ,.., 0

La primera integral es nula porque: calculando la primitiva

n

2 n! 2q q!

2 x Pn Pq dx =

D(n) (x2 1)n D(q) (x2 1)q d (x2 1)

= D(n1) D(q) + D(n2) D(q+1) + D(n3) D(q+2) + ... + D(nq1) D(2q)

se anula en los extremos del intervalo [1 1] y por lo tanto

x Pn

cq

( Pq )2 dx = 0

cq = 0

q = n2 , n3 , n4 ,.., 0
Queda

x Pn = cn+1 Pn+1 + cn Pn + cn1 Pn1

Los polinomios

x Pn , Pn+1 , Pn1 tienen la misma paridad, distinta de la paridad de Pn y por lo tanto

cn = 0
x Pn = cn+1 Pn+1 + cn1 Pn1
para x = 1
1 = cn+1 + cn1
igualando los coeficientes de xn+1 en los dos miembros
(2n )!
n

2 n! n!

(2n + 2)!

= cn+1

n +1

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

cn+1 =

2(n + 1)
(n + 1)
=
(2n + 2)(2n + 1) (2n + 1)

cn1 = 1 cn+1 =

n
(2n + 1)

Finalmente

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

Ejercicio: Aplicar la frmula de Olindo Rodrigues y la relacin de recurrencia anterior para construir los
polinomios P0 ,P1_, P2 , P3, P4 _
P0 (x) =
P1(x)

1
2 0 0!
1
1

2 1!

D(0) (x2 1) 0
D(1) (x2 1) 1

4 P4

= x

1
( 3 x2 1)
2
1
= 5 x P2 2P1
P3 (x) =
( 5 x3 3 x)
2
7
1
= 7 x P1 3P0
4 P4 = x ( 5 x3 3 x)
(3 x3 x)
2
2
1
P4 (x) =
( 35 x4 30 x2 + 3x
8
6.2.- SEGUNDA FRMULA DE RECURRENCIA

2 P2 = 3 x P1 P0
3 P3

= 1

P2(x) =

T.-

(1 x2) P'n = (n+1) ( x Pn Pn+1 )

Def. Pn(x)

D.- Para demostrar sta segunda frmula de recurrencia se puede aplicar la formula de Schlafli
Pn+1(x) =

1
2i

2 n +1

( t 2 1) n +1

dt

(t x) n + 2

La integral de la derivada con relacin a t es (!!! Z !!! Ver Observacin 1)

0=

2(n + 1) 1
2 n +1 2i

t ( t 2 1) n

dt

(t x) n +2

(n + 2) 1
2 n +1 2i

( t 2 1) n +1

dt

(t x ) n +3

La primera Integral se desarrolla:

t ( t 2 1) n
(t x) n +2

( t 2 1) n ( t x + x )

dt =

(t x) n + 2

dt =

( t 2 1) n

( t x ) n +1

dt

+ x

( t 2 1) n
(t x) n +2

dt

queda entonces:
0=

(n + 1) 1
[
2 n 2i

( t 2 1) n

dt

( t x ) n +1

+ x

( t 2 1) n
(t x) n +2

dt ]

0 = (n+1) Pn + x Pn Pn+1
si se integra esta expresin:

P + x P P
0 = (n+1) P + x P P
= cte
n P + xP P

0 = (n+1)

n+1

cte

Pn+1 cte

n+1

Por otra parte si se recuerda la Ecuacin de Legendre

[( 1-x2 ) Pn ] + n (n+1) Pn = 0

y se integra
( 1x2 ) Pn + n (n+1)

Pn = cte

y en virtud de la relacin anterior

(n + 2) 1
2 n +1 2i

( t 2 1) n +1
(t x ) n +3

dt

( 1x2 ) Pn (n+1) [ x Pn Pn+1 ] = cte

y teniendo en cuenta que Pn(1) = Pn+1(1) = 1 cte =0

( 1x2 ) Pn = (n+1) [ x Pn Pn+1 ]

Observacin 1: (!!! Z !!!) La derivacin respecto del parmetro t de integracin, merece especial cuidado:
+

T.-

f(t) =

an (t a)n

n =

Lazo Simple Frontera D

a punto aislado Int(D)

f (t) dt = 2i R(a)

f (t) dt =

f(t) dt = 0

an (t a)n dt

n =

La integral de la derivada

f (t) dt =

n an (t a)n1 dt

n =
n0

La serie derivada no tiene el trmino en (t a) 1 y por lo tanto es nula

f (t) dt = 0

Observacin 2: Esta igualdad tambin se puede obtener derivando con respecto a t

( t 2 1) n
(t x) n +2
o tambin
t ( t 2 1) n
(t x) n +2
En particular resulta la Primera Ecuacin de Recurrencia:

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

6.3.- TERCERA FRMULA DE RECURRENCIA
Una tercera frmula de recurrencia es

T.-

Def. Pn(x)

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

D.Pn+1(x) =
=
=
=
=

1
2

n +1

n +1

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

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

2 n!
1
2 n n!

D(n+2) (x2 1)n+1

D(n+1) D[ (x2 1)n+1 ]
2 (n+1) D(n+1) [ (x2 1)n x]

D(n+1) [ x (x2 1)n]

D(n) [ (x2 1)n + 2n x2 (x2 1)n1]

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

1
n 1

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

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

D(n) (x2 1)n1

7.- FUNCIN GENERATRIZ

7.1.- PRIMERA DEMOSTRACIN DE LA FUNCIN GENERATRIZ
La expresin de la Funcin Generatriz de los Polinomios de Legendre es
+

1
(1 2hx + h 2 )1 / 2

Pn(x) hn

n =0

Los polinomios de Legendre tienen su origen histrico como coeficientes del desarrollo de la serie entera de la
funcin:
+

1
(1 2hx + h 2 )1 / 2

an(x) hn

n =0

Debe probarse entonces que;

an(x) = Pn(x)
El desarrollo propuesto es posible si x y h son suficientemente pequeos
+

1
(1 y)

1/ 2

n =0

n =0

(2n )!
2 2 n n! n!

yn =

(2n 1)! n
1.3.5....(2n 1) n
3 2
1
y + ... +
y =1+ y+
y +
(2n )!
2
2.4.6...( 2n )
8

haciendo y = 2xh h2
1
2 1/ 2

(1 2hx + h )

=1+

con | y | < 1

con | 2hx h2 | < 1

1.3.5....(2n 1)
3
1
(2xh h2) + (2xh h2)2 + ... +
(2xh h2)n +
2
2.4.6...( 2n )
8

Se har un cambio de orden en el ndice de sumacin.

=1+ xh+ (
+

1
2 1/ 2

(1 2hx + h )

3 2 1 2
5
3
x ) h + ( x3 x) h3 +
2
2
2
2

Pn(x) hn

n =0

Observacin 1: (!!!Z!!!) Este cambio de orden debe ser hecho con mucho cuidado porque no existen reglas
generales para ello, y podra ser abusivo.
En las series dobles de potencias con respecto a (x, h) es condicin suficiente la Convergencia Absoluta
(CA) de la misma.
+

n =0

p =0

CA

n =0

p =0

p =0

n =0

Para el anlisis de la CA basta encontrar una Serie Mayorante de la forma

|

n =0

p =0

a p,n xp hn |

n =0

p =0

| a p,n | | xp | | hn |

que es convergente con la condicin suficiente

| 2xh | + | h |2 < 1
que es ms estricta que la anterior
| 2xh | | h |2 < 1
Puede encontrarse una relacin de recurrencia entre los coeficientes an(x) derivando con respecto a h el
desarrollo:
+

1
(1 2hx + h 2 )1 / 2
(1 2hx + h 2 ) 3 / 2
( x h)

an(x) hn

n =0
+

xh
+

=
=

an(x) n hn-1

n =0

an(x) hn = (1 2xh + h2)

n =0

an(x) n hn-1

n =0

identificando el coeficiente de hn en ambos miembros de la igualdad lleva a la ecuacin de recurrencia:

x an an-1 = (n+1) an+1 2 x n an + (n-1) an-1
(n+1) an+1 (2n+1)x an + n an-1 = 0
que es la relacin de recurrencia ya encontrada para los Polinomios de Legendre Pn(x), y como
a0(x) = 1 = P0(x)
a1(x) = x = P1(x)
se implica
an(x) = Pn(x)
resulta la Funcin Generatriz
1
(1 2hx + h 2 )1 / 2

Pn(x) hn

n =0

Observacin 2: Se pueden verificar fcilmente los primeros trminos aplicando la Serie de Taylor
an(x) =

f ( n ) (0)
1
1 (n)
=
]
D [
n!
n!
(1 2hx + h 2 )1 / 2 h = 0

7.2.- SEGUNDA DEMOSTRACIN DE LA FUNCIN GENERATRIZ

El desarrollo de la serie
+

2 1/ 2

(1 2hx + h )

an(x) hn

n =0

tiene por coeficiente

1
1
1
dh
an(x) =
n
2
1
/
2
2i (1 2hx + h )
h +1

y cambiando de variable h = 1/u

an(x) =

1
2i

1
2i

an(x) =

u n +1

2 1/ 2

(1 2 xu + u )

'

un

(1 2 xu + u 2 )1 / 2

'+

u2

du

du

introduciendo otro cambio de variable

u t

(1 2xu + u2)1/2 = u t

1 2xu + u2 = u2 2tu + t2
u 2(t x) = t2 1
( t 2 1)
u=
2( t x )
du =

tu
dt
tx
En este cambio de variable el lazo que encierra a O se transforma en el lazo que encierra a x. Se llega a

an(x) =

1
2

1
2i

''

( t 2 1 )n
( t x )n + 1

dt

aplicando Schlafli
an(x) = Pn(x)

8.- PROPIEDADES: SEGUNDA PARTE

8.1.- FORMACIN DE LA ECUACIN DIFERENCIAL DE LOS POLINOMIOS DE LEGENDRE A

PARTIR DE LA FRMULA DE OLINDO RODRIGUES
Los Polinomios de Legendre son una solucin de un caso particular de la Ecuacin de Legendre:

T.-

Pn(x) =

1
2 n n!

D(n) (x2 1) n

(1 x2) y 2 x y + n(n+1) y = 0

Forma cannica

[(1 x2) y] + n(n+1) y = 0

Forma autoadjunta

Partiendo de la formula de Olindo Rodrigues

1
Pn(x) = n D(n) (x2 1) n
2 n!
y llamando
w = (x2 1) n

Pn(x) =

1
n

2 n!

D(n) w

derivando w en forma logartmica

n 2x
w'
=
w
( x 2 1)
(x 2-1) w' 2nx w = 0
derivando n+1 veces
(x 2-1) w(n+2) + (n+1) 2x w(n+1) + (n+1)n w(n) 2nx w(n+1) 2(n+1)n w(n) = 0
(x 2-1) w(n+2) + 2x w(n+1) (n+1)n w(n) = 0
(x 2-1) [w(n)] + 2x [w(n) ] (n+1)n [w(n) ] = 0
Resulta entonces Pn(x) una integral particular de la llamada ecuacin diferencial de Legendre (caso Particular)

(1 x2) y 2 x y + n(n+1) y = 0
[(1 x2) y] + n(n+1) y = 0

Forma cannica
Forma autoadjunta

8.2.- FORMACIN DE LA ECUACIN DIFERENCIAL DE LEGENDRE A PARTIR DE LA FRMULA

DE SCHLAFLI
Sea I
I=

( t 2 1) n

( t x ) n +1

Ix = (n+1)

= 2n 2 i Pn(x)

dt

( t 2 1) n
(t x) n +2

I"xx = (n+2)(n+1)

= 2n 2 i Pn(x)

dt

( t 2 1) n

(t x)

n +3

dt

= 2n 2 i Pn(x)

Se deber verificar que I cumple:

(1 x2) I 2 x I + n(n+1) I = 0
reemplazando las expresiones obtenidas:
(1 x2) (n+2)(n+1)
=
=
=

( t 2 1) n

( t x ) n +3
( t 2 1) n

(t x)

n +3

( t 2 1) n

(t x)

n +3

( t 2 1) n
( t x ) n +3

dt 2 x (n+1)

( t 2 1) n
(t x) n +2

+ n(n+1)

( t 2 1) n
( t x ) n +1

dt =

[ (n+2)(n+1)(1 x2) 2x (n+1) (t x) + (n+1)n (t x)2] dt =

(n+1) [ ((n+2) + 2 + n) x2 + (2t 2nt) x + (n+2) + n t2 ] =
(n+1) [ n t2 2t (n+1) x + (n+2) ] = 2 i R(x)

Siendo x un polo de orden n+3 el residuo ser:

(n + 1) (n+2)
{( t2 1) n [ nt2 2t(n+1)x + (n+2) ] }
R(x) =
D
x
(n + 2)!
=

(n + 1)
{ [ nt2 2t(n+1)x + (n+2) ] D(n+2) (t2 1)n + (n+2) [ 2nt 2(n+1)x ] D(n+1) (t2 1)n
(n + 2)!
1
(n+2)(n+1) [ 2n ] D(n) (t2 1)n }
x
2

+
=

(n + 1)
{ [ nx2 2(n+1)x2 + (n+2) ] D(n+2) (x2 1)n + (n+2) [ 2nx 2(n+1)x ] D(n+1) (x2 1)n
(n + 2)!
+

1
(n+2)(n+1) [ 2n ] D(n) (x2 1)n }
2

(n + 1)(n + 2)
{ [1x2] D(n+2) (x2 1)n + [2x] D(n+1) (x2 1)n + (n+1) n D(n) (x2 1)n }
(n + 2)!

R(x) = 2n { (1x2) Pn(x) 2x Pn(x) + (n+1) n Pn(x) } = 0

siendo por lo tanto nulo el residuo

R(x) = 0

9.- LOS POLINOMIOS DE LEGENDRE COMO SISTEMA ORTOGONAL

9.1.- ORTOGONALIDAD
Los Polinomios de Legendre conforman un Sistema Ortogonal sobre el intervalo real [1,1] con respecto al
ncleo p(x) =1

Def Pn

{Pn(x)} SOG/ [1,1] ; p(x) = 1

Pm(x) Pn(x) =

Pm Pn = 0

mn

Se plantea la Ecuacin Diferencial de Legendre para los pares (m Pm) y (n Pn).

[ (1 x2) Pm ] + (m+1)m Pm = 0

| * Pn

[ (1 x2) Pn ] + (n+1) n Pn = 0

| * Pm

multiplicando las igualdades por Pn y Pm respectivamente se pueden restar miembro a miembro:

[ (1 x2) Pm ] Pn [ (1 x2) Pn ] Pm + [(m+1)m (n+1)n] Pm Pn = 0
Los dos primeros trminos se pueden expresar como:
[ (1 x2) Pm ] Pn [ (1 x2) Pn ] Pm =
= (1 x2) Pm Pn + (1 x2) Pm Pn (1 x2) Pn Pm (1 x2) Pn Pm
= (1 x2) [ Pm Pn Pn Pm ] + (1 x2) [Pm Pn Pn Pm ]
Definiendo el determinante W
P
W := n
P' n

Pm

P' m

con m n

por lo tanto
P
W = n
P' ' n

Pm

P' ' m

se puede escribir entonces

[ (1 x2) Pm ] Pn [ (1 x2) Pn ] Pm =
= (1 x2) W + (1 x2) W
= [ (1 x2) W ]
volviendo a la expresin original y reemplazando el ltimo resultado queda
[ (1 x2) W ] + [(m+1)m (n+1)n] Pm Pn = 0
integrando en [ 1 , 1]

[(m+1)m (n+1)n]

Pm Pn = 0

el primer corchete se anula para m = n y m = (n+1), por lo tanto para valores naturales de m y n con m n
1

Pm Pn = 0
lo cual demuestra la ortogonalidad sobre el intervalo real [ 1,1] y con respecto al ncleo p(x) = 1.

9.2.- ORTOGONALIDAD EN GENERAL: MODELO DE STURM-LIOUVILLE

El teorema de Sturm-Liouville enuncia dos soluciones de una ED que cumpla con la forma definida en la
Hiptesis 1 (Forma Autoadjunta de SL) y con Condiciones de Contorno establecidas en la Hiptesis 2, son
ortogonales.
Teorema
H1.- EDSL (Forma Autoadjunta)
(r y')' + ( p + q) y = 0
r r' p q : R R
r' p q IR
p(x) 0
H2.- Condicin de Contorno
(1 y1) S
(2 y2 ) S :

r W( y 2 y1 )

b
= 0
a

T1

T2
T3

i i = i
1 2
y1 y2 0

(i R)

y 1 y2 = 0
1 = 2

La Ecuacin Diferencial de Legendre

[ (1 x2) y ] + (+1) y = 0
satisface la primera hiptesis del teorema de Sturm - Liouville con:
r = 1 x2
p=1
q=0
y en cuanto a las condiciones de contorno puede hay varias que cumplen con Sturm-Liouville
W(a)=0
W(b)=0

W(a)=0
r(1)=0

r(1)=0
W(b)=0

r(1)=0
r(1)=0

De aqu entonces las Funciones de Legendre que satisfagan las condiciones anteriores son ortogonales.
Se recuerda sin embargo que las Funciones de Legendre, no Polinomios no son CV en V(1) y V(1)
9.3.- NORMA

La Norma de los Polinomios de Legendre es

D1.-

|| Pn ||2 =

H.- Def Pn

+1

Pn2(x) dx =

2
2n + 1

Una forma de obtener la Norma es a partir del cuadrado de la Funcin Generatriz

+

1
(1 2hx + h 2 )

Pn2(x) h2n +

n =0

n =0

m =0,m n

Pn(x) Pm(x) hn+m

Integrando sobre el intervalo [1,1]

+1

1
2

(1 2hx + h )

1 + 2h + h 2
1
L
2h
1 2h + h 2

dx =
=

1
1+ h
L
h
1 h

2
h

h 2 n +1
2
h3
h5
=
+
+ ...
(h+
2n + 1
h
3
5

n =0

Por lo tanto el resultado obtenido

+

+1

n =0

Pn2(x) h2n dx = 2

n =0

h 2n
2n + 1

lleva a:

+1

Pn2(x) dx =

D2.-

2
2n + 1

Una segunda forma de obtener la Norma es:

Integrando por partes n veces se tiene:

u(n) v dx = u(n1) v

u(n 1) v dx

= u(n1) v u(n2) v +

u(n 2) v dx

= u(n1) v u(n2) v + u(n3) v u(n4) v(3) + ... + (1)n2 u v(n2) + (1)n1 u v(n1) + (1)n
Por otro lado
+1
(x2 1)n = (x 1)n(x + 1)n 1 = 0
p<n

+1
D(p) (x2 1)n = D(p) (x 1)n(x + 1)n 1 = 0

u v(n) dx

|| Pn ||2 =

+1

Pn2(x) dx =

+1

1
n

2 n!

=(

2 n!

)2

D(n) (x2 1)n

+1

1
n

2 n!

D(n) (x2 1)n dx

D(n) (x2 1)n D(n) (x2 1)n dx

Aplicando los lemas anteriores

|| Pn ||2 =

+1

+1

Pn2(x) dx =

+1

)2 (1)n

2 n!

+1

(x2 1)n D(2n) (x2 1)n dx

D(2n) (x2 1)n = (2n)!

Como
|| Pn ||2 =

Pn2(x) dx = (

(1 x2)n dx = 2

+1

(2n )!
2

2n

(n! )

(1)n

(2n )!

2 2 n (n! ) 2

+1

+1

(x2 1)n dx

(1 x2)n dx

(1 x2)n dx

1
( ) (n + 1)
2
=
2
cos
3
0
( n + )
2
2 n +1
n +1
2
(n! ) 2
n!
2 n!
=
=
=
1
1 31
(2n + 1)(2n 1)...3.1
(2n + 1)!
(n + )(n )...
2
2 22
x = sin

/2

1
d = B( ,n+1) =
2

2n+1

de donde
|| Pn ||2 =

+1

Pn2(x) dx =

(2n )!
2 2 n (n! ) 2

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

9.4.- SISTEMA ORTONORMADO

Los Polinomios de Legendre ortonormalizados son entonces:

H.- Def Pn

2n + 1
Pn(x) } SON/[ 1,1] ; p(x) = 1
2

Ejercicio 1: La ortogonalidad de los Polinomios de Legendre permite calcular fcilmente

pues siendo P0 = 1 uno de los Polinomios del Sistema Ortogonal

+1

n =0
Pn(x) dx
= 2
n >0

= 0

+1

Pn(x) dx

Ejercicio 2: Calcular

+1

1
2 1/ 2

(1 2Rx + R 2 )1 / 2

(1 2rx + r )
+

+1

n =0

= 2

n =0

dx =

Pn2(x) (rR)n dx
(rR ) n
2n + 1
+

(rR )1 / 2

n =0

[(rR )1 / 2 ] 2 n +1
2n + 1

y en virtud del desarrollo conocido

L

1+ x
1 x

= 2

n =0

x 2 n +1
2n + 1

se obtiene:
+1

(1 2rx + r 2 )1 / 2

(1 2Rx + R 2 )1 / 2

dx =

1
(rR )1 / 2

1 + (rR )1 / 2
1 (rR )1 / 2

10.- SERIES DE FOURIER-LEGENDRE

10.1.- SERIE ASOCIADA DE FOURIER-LEGENDRE
Sea f continua por partes en [1 1]

f CP/[1 1]
La Serie Asociada de Fourier-Legendre para dicha funcin se define como
f(x) SAFL
c0 P0(x) + c1 P1(x) + c2 P2(x) + + cn Pn(x) + ...
donde los coeficientes se toman en la definicin como los obtenidos a partir de la expresin:

+1

f Pn(x) dx = cn

+1

Pn2(x) dx

2
2n + 1

= cn

En resumen la Serie Asociada de Fourier-Legendre es por definicin:

+

SAFL
f(x)

cn Pn(x) .

n =0

cn =

2n + 1
2

+1

f Pn(x) dx

10.2.- NCLEO DE FOURIER-LEGENDRE

Para el estudio de convergencia de las series de Fourier-Legendre es conveniente definir el Ncleo de
Fourier-Legendre
n

Def.

Kn(t,x) =

2k + 1
Pk(t) Pk(x)
2

k =0

Kn(t,x) : Ncleo de Fourier-Legendre

Como una de las propiedades del Ncleo puede calcularse el valor de la integral

+1

Kn(t,x) dt =

+1

k =0

2k + 1
Pk(t) Pk(x) dt
2

2k + 1
Pk(x)
2

k =0

+1

Pk(t) dt

por la ortogonalidad de { Pk } estas integrales son todas nulas salvo para k = 0, y adems teniendo en cuenta
que P0(x) = 1

+1

Kn(t,x) dt =

1
2

+1

1 dt = 1

10.3.- SUMA ENSIMA DE FOURIER-LEGENDRE

La Suma Ensima de la Serie Asociada de Fourier-Legendre es:
n

Sn(x) =

ck Pk(x)

k =0

k =0

2k + 1
2

+1

f(t) Pk(t) dt ] Pk(x)

La Suma Ensima expresada en funcin del Ncleo es entonces:

Sn(x) =

+1

Kn(t,x) f(t) dt

10.4.- IDENTIDAD DE DARBOUX-CHRISTOFFEL

Para el estudio de convergencia tambin se establece la frmula de Darboux-Christoffel (D-C).
n

(t x)

(2k+1) Pk(t) Pk(x) = (n+1) [Pn+1(t) Pn(x) Pn+1(x) Pn(t) ]

k =0

Ello se hace a partir de

(2k+1) x Pk(x) = (k+1) Pk+1(x) + k Pk1 (x)
(2k+1) x Pk(x) Pk(t) = (k+1) Pk+1(x) Pk(t) + k Pk1(x) Pk(t)
(2k+1) t Pk(t) Pk(x) = (k+1) Pk+1(t) Pk(x) + k Pk1(t) Pk(x)
(2k+1) (t x) Pk(t) Pk(x) = (k+1) [ Pk+1(t) Pk(x) Pk+1(x) Pk(t) ] + k [ Pk1(t) Pk(x) Pk1(x) Pk(t) ]
se obtiene entonces la frmula o identidad de D-C
n

(t x)

(2k+1) Pk(t) Pk(x) = (n+1) [Pn+1(t) Pn(x) Pn+1(x) Pn(t) ]

k =0

10.5.- APLICACIN DE LA IDENTIDAD DE DARBOUX-CHRISTOFFEL

Una primera aplicacin de la Identidad de Darboux-Christoffel es:

(n+1)

Pn ( x ) Pn + 1 ( x )
1 x

= Pn(x) + Pn+1(x)

Como
(2n+1) Pn(x) = Pn+1(x) Pn1(x)
sumando

(2k+1) Pk(x) = P0(x) + 3 P1(x) + 5 P2(x) + + (2n+1) Pn(x).

k =0

= 1+ [P2 P0] + [P3 P1] + [P4 P2] + [P5 P3] + ... + [Pn-1 Pn-3] + [Pn Pn-2] + [Pn+1 Pn-1]
= 1 P0 P1 + Pn + Pn+1
= Pn + Pn+1
la identidad D-C en particular para t = 1
n

(1 x)

(2k+1) Pk(x) = (n+1) [ Pn(x) Pn+1(x)]

k =0

(n+1)

Pn ( x ) Pn + 1 ( x )
1 x

= Pn(x) + Pn+1(x)

10.6.- ESTUDIO DEL NCLEO

Por medio de la identidad de Darboux-Christoffel se obtiene la siguiente expresin del Ncleo

Kn(t, x) =

n+1
2

Pn + 1 ( t )Pn ( x ) Pn + 1 ( x )Pn ( t )
tx

Recordando la definicin del Ncleo

n

Kn(t, x) =

2k + 1
Pk(t) Pk(x)
2

k =0

Aplicando la identidad de Darboux-Christoffel D-C

Kn(t, x) =

n +1
2

Pn +1 ( t )Pn ( x ) Pn +1 ( x )Pn ( t )
tx

10.7.- CONVERGENCIA
El teorema de Hobson da condiciones suficientes para la convergencia de la serie de Fourier-Legendre a f(x)
El enunciado es el que sigue:

Teorema de Hobson
H1
H2

+1

f(x)

( 1 x )2

dx

| f( x ) | < M

x]-1 1[

Sn(x) =

n+1
2

+1

Pn+ 1 ( t )Pn ( x ) Pn + 1 ( x )Pn ( t )

f(t) dt
tx

1
[ f(x) + f(x+) ]
2
Sn(x)

f(x)
n +

Sn(x)

n +
H 2

f Lipschitz/ V(x)

CU / I

Sn(x)
1 f(x)
H2 f C [ | f( x ) | < M] / I2I1
Partiendo de la expresin de la Suma Ensima

Sn(x) =

Sn(x) =

+1

Kn(t,x) f(t) dt

n+1
2

+1

Pn + 1 ( t )Pn ( x ) Pn + 1 ( x )Pn ( t )
f(t) dt
tx

en particular si para la funcin constante f(x) = 1

f(x) = 1

Sn(x) = 1
Sn(x) = 1

n +

S(x) = f(x)

n +1
2
n +1
f(x0) =
2
1=

+1

Pn +1 ( t )Pn ( x ) Pn +1 ( x )Pn ( t )
dt
tx
P ( t )Pn ( x ) Pn +1 ( x )Pn ( t )
f(x0) n +1
dt
tx

+1

n +1
2

+1

f(x0) =

n +1
2

+1

Sn(x0) f(x0) =

n +1
2

Sn(x0) f(x0) =

n +1
Pn(x0)
2

S(x) = 1

y tambin
Sn(x0) =

Pn +1 ( t )Pn ( x 0 ) Pn +1 ( x 0 )Pn ( t )
f(t) dt
t x0

de donde

1
+1

Pn +1 ( t )Pn ( x 0 ) Pn +1 ( x 0 )Pn ( t )
f(x0) dt
t x0
f (t) f ( x 0 )
[Pn+1(t) Pn(x0) Pn+1(x0) Pn(t) ] dt
t x0

+1

f (t) f ( x 0 )
n +1
Pn+1(t) dt
Pn+1(x0)
t x0
2

+1

f (t) f ( x 0 )
Pn(t) ] dt
t x0

Si se supone la existencia de las dos semiderivadas finitas entonces la funcin

f (t) f ( x 0 )
CP/[-1 1]
t x0

es continua por partes

El paso siguiente es demostrar que la diferencia Sn(x0) f(x0) tiende a cero para n tendiendo a infinito.
I.- En primer lugar se ha visto previamente que:
| Pn(cos) |
| Pn(cos) |

2n sin 2

2n

1
| sin |

entonces
| Pn(x0) |

2n

1
| 1 ( x 0 ) 2 |1 / 2


2n

n +1
n +1
| Pn(x0) |
2
2

Esto acota

1
| 1 ( x 0 ) 2 |1 / 2

1/2

M n

n +1
| Pn(x0) |
2

con M independiente de x.

II.- En segundo lugar el coeficiente de Fourier de f en el Ortonormado

Pn
}
|| Pn ||

es

cn || Pn ||

Por el Teorema de la desigualdad de Bessel (Tesis de Bessel-Riemann)

0
cn || Pn ||
n +

es decir
2n + 1
2

+1

f Pn

0
n +

o sea
n1/2

+1

f Pn

0
n +

y entonces
| Sn(x0) f(x0) | = |

n +1
Pn(x0)
2

+1

f (t) f ( x 0 )
n +1
Pn+1(t) dt
Pn+1(x0)
t x0
2

+1

f (t) f ( x 0 )
Pn(t) ] dt |
t x0

M n1/2 ( | Cn+1 | + | Cn | )
donde Cn son los coeficientes de la SAFL de la funcin

f (t) f ( x 0 )
. Entonces
t x0

x ] 1 1[

Sn(x0)

f(x0)
n +

Si en particular x0 es un punto de discontinuidad de primera especie con dos semiderivadas finitas

Sn(x)

n +

1
[ f(x) + f(x+) ]
2

Variantes de la H2 son las siguientes con las cuales se puede demostrar

H 2

f Lipschitz/ V(x)

Sn(x)

f(x)
n +

H2 f C [ | f( x ) | < M] / I2I1

CU / I

Sn(x)
1 f(x)

En resumen se ha demostrado el Teorema de Hobson que expresa:

H2

+1

f(x)

( 1 x )2

H1

dx

| f( x ) | < M

x]-1 1[

Sn(x) =

n+1
2

+1

Pn + 1 ( t )Pn ( x ) Pn + 1 ( x )Pn ( t )
f(t) dt
tx

1
[ f(x) + f(x+) ]
2
Sn(x)

f(x)
n +

Sn(x)
1 f(x)

Sn(x)

n +
H 2

f Lipschitz/ V(x)

H2 f C [ | f( x ) | < M] / I2I1

CU / I

10.8.- VALOR ASINTTICO DE LOS POLINOMIOS DE LEGENDRE

Se aplica un mtodo para aproximar integrales del tipo
I(n) :=

e n f(z)

dz

donde f es una funcin de variable compleja holomorfa en el vecinal de un punto z0

f = P + i Q V(z0)
z =x+iy
z0 es un punto de ensilladura de la funcin P, o sea donde no existe ni mximo ni mnimo, pero se cumple
f (z0) = 0
si f(z) puede escribirse
f ' (0)
f ' ' (0)
f ( n ) (0)
(z z0 ) +
(z z0 )2 + ... +
(z z0 )n + ...
1!
2!
n!
y como f (z0) = 0 entonces puede aproximarse

f(z) = f(z0) +

f ' ' (0)

(z z0 )2
2!
resulta entonces

f(z) f(z0) +

I(n) e nf ( z 0 )
tomando
z z0 = ei
dz = ei d

1
n f ''( z 0 )( z z 0 ) 2
2

dz

de donde
| f (z0) (z z0 )2 | = 2 | f (z0) |
Arg ((z z0 )2 )+ Arg (f (z0)) =
2 + Arg (f (z0)) =
I(n) e n[ f ( z 0 ) + i]
I(n) e n[ f ( z 0 ) + i]

1
2 n |f ''( z 0 )|
2

2
n | f ' ' (z 0 ) |

Este resultado puede aplicarse a los Polinomios de Legendre para tener su valor asinttico. A partir de la
representacin de Laplace
Pn(cos) =

(cos + i sin cos)n d

puede escribirse
Pn(cos) =

e nL(cos + i sin ) d

llamando
f(0) = L(e i) = i

f() = L(cos + i sin cos)

f () =

f () =

i sin sin
cos + i sin cos

f (0) = 0

i sin cos (cos + i sin cos ) (i sin sin ) 2

(cos + i sin cos )

entonces
I(n) e 2 ni

2
n | sin |

f (0) =

i sin
e i

11.- EJERCICIOS
Ejercicio 1.-

Para n = 0

Para n > 0
(2n+1)

Calcular

Pn dx

1 dx = 1

Recordando la tercera Ecuacin de Recurrencia

Pn =

Pn+1

e integrando

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

Pn1 = Pn1(0) Pn+1(0)

n = 2 k +1

P2k+1(0) = 0
Recordando Pn(0)
n = 2k

P2k(0) = (1)k

(2n+1)

(2k )!
2k

2 (k! ) 2

n = 2k
Pn = Pn1(0) Pn+1(0)
= 0
n = 2 k +1

n 1= 2 k

= P2k(0) P2k+2(0)
(2k + 2)!
(2k )!
(1)k+1 2 k + 2
= (1)k 2 k
2
2
((k + 1)! )2
2 (k! )

= (1)k
= (1)k
= (1)k

(2k )!
2k

2 (k! )
(2k )!

2 2 k (k! ) 2
(2k )!
2k

2 (k! )

= P2k(0) [
En resumen dividiendo por

n =0
Pn dx

2n+1 = 4k+3

(1)k+1
[1 +
[1 +

(2k + 2)!
2
((k + 1)! )2
2k + 2

(2k + 2)(2k + 1)
4(k + 1) 2

2k + 1
]
2(k + 1)

4k + 3
]
2k + 2

= 1

n = 2k

= 0
n = 2 k +1

n 1= 2 k

= P2k(0) [

1
]
2k + 2

Los primeros valores son

P0

P0(0)
1

1
2

P1
1
2

P3

P2(0)

1
8

1
4

P4(0)
1
16

P5
1
6

P7

P6(0)

5
128

1
8

P8(0)

P9
1
10

7
256

Ejercicio 2.-

Desarrollar en Serie de Fourier-Legendre la funcin :

El coeficiente cn ser:
cn =

2n + 1
2

c0 =

n=0

f Pn

1
2

2 cn = (2n+1)

n>0

Recordando

f P0 =
1

1
2

1 dx =

f Pn = (2n+1)

Pn dx =

Pn+1

Pn-1 = Pn-1(0) Pn+1(0)

n = 2 k +1
Pn(0)

P2k+1(0) = 0
n = 2k

P2k(0) = (1)k

n = 2k
Pn-1(0) Pn+1(0)
= 0
n = 2 k +1
n 1= 2 k

c0

4k + 3
]
2k + 2

c1
P0(0)

1
2

(2k )!
2k

2 (k! ) 2
c2k = 0

= P2k(0) [

f(x) =

1
2

3
4

c2k+1 = P2k(0) [

c3
3
4

P2(0)
7
16

4k + 3
]
4k + 4

c5
7
8

P4(0)

c7
11
12

15
16
75
256

P6(0)

11
32

c9
P8(0)

19
20

133
512

7
11
75
133
1
3
P3 (x) +
P5 (x) +
P7 (x) +
P9 (x) + ...
+
P1 (x) +
2
4
16
32
256
512

Ejercicio 3: Desarrollar en Serie de Fourier-Legendre la funcin :

El desarrollo de Fourier-Legendre de f se puede obtener multiplicando la serie Ejercicio 2 por 2 y restando 1

f(x) = +

7
11
75
133
3
P3 (x) +
P5 (x) +
P7 (x) +
P9 (x)...
P1 (x) +
2
8
16
128
256

Ejercicio 4.- Verificar a partir de la ED de Legendre que

Partiendo de la ED e integrando en [ 1 1]

Pn dx = 0

para n > 0

[(1 x2) y] + n(n+1) y = 0

1
= n (n+1)
1

(1 x2) Pn

Para n > 0

Pn

Pn = 0

Obs: Siendo P0(x) = 1 una de las funciones de la sucesin ortogonal { Pn(x) } / p(x) =1, [1 1] es inmediato que
1

P0 Pn =

Pn = 0

Ejercicio 5.Para n = 0

Calcular Pn(0)

P0(0) = 0

Para n > 0 una primera forma de calcular Pn(0) es a partir de la ED de Legendre

[(1 x2) y] + n(n+1) y = 0
Integrando en [0 1]
1
= n (n+1)
(1 x2) Pn
0

Pn(0) =

n (n+1)

Pn(0) = n (n+1)

Pn

Pn
n = 2k
Pn dx

= 0

n = 2 k +1

= P2k(0) (2k +1) (2k+2) [

1
] = P2k(0) (2k +1)
2k + 2

Una segunda forma de calcular Pn(0) es a partir de la integral Schlafli

Pn(x) =

1
2n

Pn(x) =
Pn(x) =

1
2i

( t 2 1) n
( t x ) n +1

( t 2 1) n

(n + 1) 1
2 n 2i

(n + 1)

( t 2 1) n

R(

dt

(t x) n +2

dt

,0)
2n
(t x) n +2
Para el calculo de este residuo en el caso de que n sea par (n = 2k) el Desarrollo de Laurent de la funcin
2
( t 1) n
t n +2
solo existen potencias pares, por lo tanto

P2k(0) = 0
En el caso de que n sea impar (n =2k+1) debe calcularse el residuo de:

P2k+1(0) =

(2k + 2)

( t 2 1) 2 k +1

,0)
2 2 k +1
t 2k +3
Buscando el residuo como coeficiente de 1/t

(t2 1)2k+1 =

2 k +1

R(

C2k+1, p t2p (1)2k+1 p

p=0

El trmino correspondiente a
p = k+1 es C2k+1, k+1 t2k+2 (1)k
P2k+1(0) =
=

(2k + 2)

C2k+1, k+1 (1)k

2 2 k +1
(2k + 2)
2

(2k + 1)!
(1)k
(k + 1)! k!

2 k +1

(2k )!

= (-1)k

2 2 k k! k!
= P2k(0) (2k +1)

(2k+1)

Los primeros valores son

Ejercicio 6.-

Para n>0

P3(0)

P5(0)

P7(0)

P9(0)

P0(0) 1

P2(0) 3

P4(0) 5

P6(0) 7

P8(0) 9

3
2

15
8

35
16

315
128

Calcular

x Pn dx

1
0
2
Recordando la primera Ecuacin de Recurrencia

Para n=0

(2n+1)

P1(0)

x 1 dx =

x Pn = (n+1)

Recordando

Pn+1 + n

n =0
Pn dx

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

Pn1
= 1

n = 2k

= 0
n = 2 k +1

= P2k(0) [

1
]
2k + 2

n = 2 k +1
x Pn =

= 0
n = 2k

1
1
1
P2k+1 + 2k
P2k-1 ]
[(2k+1)
0
0
4k + 1
1
2k + 1
=
[
P2k(0) + P2k-2(0) ]
4k + 1 2k + 2

x P2k =

Los primeros valores son

x P0

x P2

1 3
[ P2(0)+P0(0)]
5 4
1 3 (1)
[
+1]
5 4 2
1
8

1
2

Ejercicio 7.

x P4

1 5
[ P4(0)+P2(0)]
9 6
1 5 3 (1)
[
+
]
2
9 6 8
1

48

x P6

1 7
[ P6(0)+P4(0)]
13 8
1 7 (5) 3
[
+ ]
13 8 16
8
1
128

x P8

1 9
[
P8(0)+P6(0)]
17 10
1 9 35 (5)
[
+
]
17 10 128 16
1

256

Desarrollar en Serie de Fourier-Legendre a la funcin | x | en x ] 1 1[

El coeficiente cn ser:
2n + 1 1
| x | Pn
1
2
1
1
1
x dx =
c0 =
2
0
2
2

cn =
n=0
n>0

2 cn = (2n+1)

n = 2 k +1
| x | Pn =

= 0

c2k+1 = 0

n = 2k

= (4k+1) 2

x P2k dx

c2k =

f(x) =

2k + 1
P2k(0) + P2k2(0)
2k + 2

c0

c2

c4

c6

c8

1
2

3
P2(0)+P0(0)
4
3 (1)
[
+1]
4 2
5
8

5
P4(0)+P2(0)
6
5 3 (1)
[
+
]
2
6 8
3

16

7
P6(0)+P4(0)
8
7 (5) 3
+ ]
[
8 16
8
13
128

9
P8(0)+P6(0)
10
9 35 (5)
[
+
]
10 128 16
17

256

5
3
13
17
1
P4 (x) +
P6 (x)
P8 (x) + ...
+ P2 (x)
2
8
16
128
256

Ejercicio 8.- Calcular

xn Pk dx = 0

para n > 0

I.- Para n < k puede desarrollarse xn en serie de Fourier-Legendre

xn =

ci Pi(x)

i=0

por la ortogonalidad de los Polinomios de Legendre (todos son diferentes a Pk) se verifica que la integral es nula
1

xn Pk dx =

ci Pi(x) ] Pk(x) dx = 0

i=0

II.- Para el caso de n k se recuerdan las siguientes frmulas:

II.I) Integrando sucesivamente por partes se obtiene

u v(k) = u v(k1) u v(k2) + u v(k3) ... + (1)i u(i) v( ki1 ) + ... + (1)k1 u(k1) v + (1)k

D(nj)

Recordando que n k y que la integral que se quiere calcular es

1
1
xn Pk dx = k
xn D(k) (x21)n dx
2 k! 1

(1) k

n!
2 k! (n k )!
k

xnk (x21)k dx

Analizando la funcin integrando se observa que la paridad depende de xnk , por lo tanto
1

n k )Im par
xn Pk dx (
= 0
n k )Par
(

= 2

u(k) v

II.II) Las derivadas de orden n-j con 0<j n de la funcin (x21)n se anulan en los puntos x =1 y x =1
1
= 0
0<jn
(x1)n (x+1)n
1

Aplicando ahora I y II en la integral se obtiene

(1) k 1
=
[ D(k) x n ] (x21)k dx
k

1
2 k!

xnk (x21)k dx

Tomando la integral con nk Par, y haciendo

1
(1) k C n ,k
n
x Pk dx =
x2p (x21)k dx
2
k
0
2

nk = 2p

resulta cambiando de variable x = y1/2 una funcin B

1
(1) k C n ,k
1 1/2
x = y1 / 2

=
2
y p (y1)k
dy
y
k
0
2
2
C n ,k 1 p-1/2
y
(1y)k dy
= k
0
2
C n ,k
1
= k B( p+ , k+1)
2
2

1
(p + )(k + 1)
2
= k
3
2
( p + k + )
2
Como por otra parte
C n ,k

(p+k+3/2) = (p+k+1/2) (p+k 1+1/2) ... (p+1+1/2) (p+0+1/2) (p+1/2)

1
= k +1 (2p+2k+1) (2p+2k1) ... (2p+3) (2p+1) (p+1/2)
2
Multiplicando y dividiendo por
(2p+2k) (2p+2k-2) ... (2p+4) (2p+2)
resulta
=
=

1
2 k +1
1
2

2 k +1

1
(2p + 2k + 1)(2p + 2k )(2p + 2k 1) ... (2p + 2)(2p + 1)(p + )
2
2 k (p + k )(p + k 1) ... (p + 2)(p + 1)
(2p + 2k + 1)!
p!
1
(p+ )
(2p)!
(p + k )!
2

Volviendo a la integral
1

xn Pk dx =

C n ,k
2k
C n ,k
2k

1
(p + )(k + 1)
2
3
(p + k + )
2
(2p)!
(p + k ) !
(k+1)
22k+1
(2p + 2k + 1)!
p!

(n )!
(2p)!
(p + k ) !
k!
k! (n k )! (2p + 2k + 1)!
p!
como nk = 2p
(p + k ) !
n!
= 2k+1
(2p + 2k + 1)!
p!
= 2k+1

n+k
)!
2
= 2
nk
(
)!
2
Ntese que si (n-k) es par tambin (n+k) lo es.
k+1

n!
(n + k + 1)!

En resumen
1

x n Pk dx

<k
n

= 0
n k

n k )Im par
(
= 0
( n k )Par

= 2

En particular si n = k
n! n!
x n Pn dx = 2n+1
(2n + 1)!

k+1

n!
(n + k + 1)!

n+k
)!
2
nk
(
)!
2

Ejercicio 9

Calcular

cos((2n + 1) / 2)

(cos cos )1 / 2

Partiendo de la expresin
Pn(x) =

1
2i

n +1

(1 2zx + z 2 )1 / 2

dz

donde es un lazo en el vecinal de 0.

Eligiendo

x = cos

Las races del radicando son:

z2 2z cos + 1 = 0
z = cos (cos2 1 )1/2 = ei
El radicando entonces puede expresarse:
z2 2z cos + 1 = (z e+i )( z ei )
Por lo tanto
1
Pn(cos) =
2i

1
z

n +1

[(z e

+ i

)( z e i )]1 / 2

dz

La relacin del integrando tiene dos puntos de ramificacin en z = ei y puede uniformizarse con una cortadura
entre los dos puntos. Tomando un arco de circunferencia de radio 1 como tal cortadura.

Llamando := 1 2 3 4

se tiene por el corolario del teorema de Cauchy

Donde la integral sobre 5 1 y 3 son nulas porque:

5: [0 2]

z = Rei

2R

ML =

1: [ ; +2]

| R 2R 1 |1 / 2

n >0

0
R +

n >0

= /2

2r1

| e i + r1e i | n +1 r11 / 2 | e i + r1 e i e i |1 / 2
z e-i = r3 ei

ML =

0
R +

z e+i = r1 ei

ML =

3: [ ; +2]

n +1

r
0
0
1

n >0

0
r 0

n >0

= /2

2r3

| e i + r3 e i | n +1 | e i + r3 e i e +i |1 / 2 r31 / 2

0
r 0
3

n >0

0
r 0

n >0

Pasando al clculo de las integrales sobre 2 y 4

z = 1 ei

2: [ ; ]
1
2i

z n +1 [(z e +i )( z e i )]1 / 2

1
2i

dz =
=

1
2

ie i

e i( n +1) [(e i e + i )( e i e i )]1 / 2

1
e

in

[(e

+ i

)( e i e i )]1 / 2

Operando el denominador
(ei e+i ) (ei e-i ) = ei2 ei (e+i + e i ) + 1
= ei (ei +e-i ) ei (e+i + ei )
= ei ( 2 cos 2 cos )
1
2i

Reemplazando en la integral
1
1
d
=
in

2
2 e [2(cos cos )e i ]1 / 2

1
2

4: [ ; ]
1
2i

e i ( n +1 / 2)

[2(cos cos )e i ]1 / 2

z = 1 ei
1

z n +1 [(z - e +i )( z e i )]1 / 2

dz =

1
2i

=
Reemplazando en la igualdad

1
2

ie i

e i( n +1) [(e i - e + i )( e i e i )(e i 2 )]1 / 2

e i ( n +1 / 2)

[2(cos cos )e i ]1 / 2

resulta
0 = Pn(cos) 2

Pn(cos) =

1
2

e i ( n +1 / 2)

[2(cos cos )e i ]1 / 2

e i ( n +1 / 2)

[2(cos cos )e i ]1 / 2

Tomando la parte real de la igualdad y teniendo en cuenta la paridad del integrando

Pn(cos) =

cos((2n + 1) / 2)

(cos cos )1 / 2

12.- APLICACIONES MATEMTICAS Y FSICAS DE LOS POLINOMIOS DE LEGENDRE

Los Polinomios de Legendre tienen una variada gama de aplicaciones. Se dan de ejemplo las siguientes:

12.1.- APLICACIONES MATEMTICAS

12.1.2.- ESTUDIO DE LAS RACES DE z a w f(z) = 0
El planteo del problema es considerando la ecuacin:
z a w f(z) = 0
donde f(z) es una funcin Holomorfa en el vecinal de a V(a) y el parmetro w es complejo.
Si w = 0

la nica raz de la ecuacin es evidentemente z = a

Se trata de encontrar la o las races que tienden hacia a cuando w 0 (es decir en V(a) )
Se probara que existe una raz nica z1 de acuerdo a la proposicin

f H/V(a)
wC
z a w f(z) = 0

Existe en V(a) una nica raz de la ecuacin: z1

+

z1 = a +

n =1

wn
D(n-1) [ f() ] n
n!
=a

Si | a | > | w | | f() |
se puede aplicar el teorema de Rouche (Ver Nota 1) y la frmula de Lagrange (Ver Nota 2) en consecuencia hay
una y solo una raz z1 dada por:
z1 =

1
2i

c(a , r )

1 wf ' ( )
d
a wf ( )

integral que se resuelve por la frmula de Lagrange (Ver Nota 2)

+

z1 = a +

n =1

w n (n-1)
D
[ f()] n
=a
n!

y adems se cumple:
dz 1
= 1+
da

n =1

w n (n)
D [ f()] n
=a
n!

Ejemplo: Como ejemplo de aplicacin de este resultado, sea:

(1 2aw + w2 ) 1/2 = 1 z w
de donde
1 2aw + w2 = 1 2z w + z2 w2
que lleva a una ecuacin del tipo del enunciado:
za w

1 2
( z 1) = 0
2

Por lo tanto
Si w = 0 la nica raz es z = a
Si w 0 la formula de Lagrange da en un determinado Vecinal de a: V(a) a la nica raz z1
+

wn
1
D(n-1) [ ( 2 1)] n
=a
2
n!

z1 = a +

n =1

dz 1
= 1+
da

dz 1
=
da

n =1

w n (n) 1 2
D [ ( 1)] n
=a
2
n!

que es la Funcin Generatriz de los Polinomios de Legendre

1
1 2aw + w 2
Para integrar esta expresin basta tomar

z=

1
[1
w

1 2aw + w 2 ]

Debe elegirse la determinacin de la raz que para w 0 z a . Aplicando LHospitale

1
[1
w

1 2aw + w 2 ]
w 0
L 'H

2a + 2 w
2 1 2aw + w 2

w 0

a

Para el signo positivo el lmite es a. Por lo tanto corresponde elegir el signo negativo: w 0 signo
z=

1
[1
w

1 2aw + w 2 ]

y derivando
dz
=
da

1
1 2aw + w 2

finalmente entonces la raz buscada es

1
[ 1 1 2aw + w 2 ]
z1 =
w

Nota 1: El teorema de Rouche mencionado es

Teorema de Rouche
f , g H/D
f , g C/FR(D)
z FR(D) | f | > | g

f y f + g tienen el mismo numero de races en D

I.- f+g no puede tener races sobre Fr(D) pues si z1 fuera raz entonces:
z1 Fr(D)

f(z1) + g(z1) = 0
f(z1) = g(z1)

lo cual implica
|f|=|g|
contra la Hiptesis
z Fr(D) | f | > | g |
II.- Si 0 1
z1 Fr(D)

f + g no puede tener races sobre Fr(D) porque:

f(z1) + g(z1) = 0
f(z1) = g(z1)

lo cual implica
| f(z1) | > | g(z1) |
contra la Hiptesis
z Fr(D) | f | > | g |
III.- Sea n() el numero de races de f + g en D entonces sobre Fr(D) f(z) + g(z) 0
Por lo tanto por el Teorema de la derivada logartmica
n() =

1
2i

Fr ( D )

f ' ( z ) + g ' ( z )
dz
f ( z ) + g ( z )

bajo el signo integrando se tiene una funcin continua de , por lo tanto n() tambin es continua. Por otra
parte n() es un entero, y en consecuencia es constante:
n(0) = n() = n(1)

Nota 2: La formula de Lagrange se obtiene de la siguiente manera:

z1 =

1
2i

z1 =

1
2i

1 wf ' ( )
d
a wf ( )

w 2f 2
w nf n
wf
(1 w f ( ))[ 1 +
+
...
+
+ ...] d
+
( a ) ( a ) 2
a
( a ) n

c(a , r )

c(a , r )

donde
(1 w f ( ))[ 1 +
=1+ w[

wf
w 2f 2
w nf n
+
...
+
+ ...] =
+
( a ) ( a ) 2
( a ) n

f
ff'
f2
fn
f n 1 f '
n
f ] + w2 [
]
+
...
+
w

] + ...
[
( a )
( a ) 2 ( a )
( a ) n ( a ) n 1

Calculando las integrales

1
2i
1
2i
1
2i

d = a
a

c(a , r )

fn

( a )

c(a , r )

n +1

f n 1f '

( a )

c(a , r )

1 (n)
D [fn]
=a
n!

d =
d

1
D(n1) [ f n 1 f ]
=a
(n 1)!

Restando las dos ltimas integrales.

1
2i

fn

( a ) n +1

c(a , r )

1
2i

f n 1f '

( a ) n

c(a , r )

d =

1 (n)
1
D [ f n]

D(n1) [ f n1 f ]
=a
=a
(n 1)!
n!

1
[ D(n) [ f n ] n D(n1 ) [ f n1 f ]
=a
n!

1 (n1 )
D
{[ f n ] n [ f n1 f ] }
=a
n!

1 (n1) n
D
[f ]
=a
n!

Entonces
z1 =

1
2i

c(a , r )

1 wf ' ( )
d = a +
a wf ( )

n =1

wn
D(n-1) [ f n()]
=a
n!

12.2.2.- APLICACIONES A LA ELECTROSTTICA

12.2.2.1.- POTENCIAL DE UN CAMPO ELCTRICO GENERADO POR UNA CARGA
PUNTUAL
Sea una carga puntual unitaria situada en el punto con coordenadas esfricas (0,0, r0)

e: = carga elctrica
El problema consiste en encontrar la expresin del potencial en un punto de coordenadas M=(r,,).
Como V =

e
r1

entonces siendo e=1

V=

1
=
r1

1
r0 2 + r 2 2r0 r cos

Para desarrollar esta funcin se presentan dos posibilidades r > r0 o r < r0

r >r

0
V

r <r

1
r

1
1+

1
r0

r0
r

r0
cos
r

1
1+

r0

r
cos
r0

aplicando ahora la Funcin Generatriz de los Polinomios de Legendre la expresin del potencial es:
r >r

0
V

r <r

1
r
1
r0

n =0

r0 n
) Pn(cos)
r

n =0

r n
) Pn(cos)
r0

12.2.2.2.- POTENCIAL DE UN CAMPO ELCTRICO GENERADO POR UNA CARGA

PUNTUAL EN EL INTERIOR DE UNA ESFERA PUESTA A TIERRA
Sea una carga e interior a una superficie esfrica de metal, puesta a tierra, es decir a potencial cero.

Sea V(r,) el potencial buscado, puede expresarse como la suma del potencial generado por la carga puntual
e y otro potencial u(r,):
e
+ u(r,)
r1

V(r, ) =

donde u(r,) desarrollado en Serie de Polinomios de Legendre

+

u(r,) =

cn rn Pn(cos)

n =0

cn (

n =0

r n
) Pn(cos)
R

De acuerdo al planteo del problema el potencial sobre la esfera es nulo

V(R,) = 0
El potencial generado por la carga puntual e sobre la superficie esfrica es, teniendo en cuenta que r>r0
(Ver problema anterior del potencial de un campo elctrico generado por una carga puntual )
1 1
=
r1
r

n =0

r0 n
) Pn(cos)
r

por lo tanto sobre la esfera

e
R

n =0

r0 n
) Pn(cos) +
R

cn Pn(cos) = 0

n =0

de donde se extrae la expresin de los coeficientes cn

cn = (

r0 n e
)
R
R
la solucin del problema planteado es entonces

V(r, ) =

e
+ u(r,)
r1

V(r, ) =

e
e
r1

r0 n

V(r, ) = e [

r0 n r n

Pn(cos)

r n +1

n =0

Pn(cos)

R 2 n +1

n =0

r0 n r n

R 2 n +1

n =0

Pn(cos) ]

Tambin puede obtenerse la densidad superficial sobre la esfera

V
r r = R

1
4

el primer termino del potencial para derivar es

+

1 1
=
r1
r

r0 n
) Pn(cos)
r

n =0

r0 n

1
=
r1 n =0

Pn(cos)

r n +1

por lo tanto
(1 / r1 )
=
r

(n+1)

n =0

r0 n
r n+2

Pn(cos)

su valor para r = R es
(1 / r1 )
=
r=R
r

(n+1)

n =0

r0 n
R n+2

Pn(cos)

adems la derivada del segundo trmino

u
=
r

n =0

r0 n r n 1
R 2 n +1

Pn(cos)

su valor para r = R es
u
=
r r = R

n =0

r0 n
R n+2

Pn(cos)

sumando los resultados la densidad superficial es

=

1
4

V
e
=
r r = R
4

n =0

(2n+1)

r0 n
R n+2

Pn(cos)

12.2.2.3.- POTENCIAL DE UN CAMPO ELECTRICO GENERADO POR UN ANILLO CIRCULAR

Sea un anillo circular de carga e

V(r0, ) =

e
r1

c<r

c >r

V(r , ) =

e
r0

e
c

c n
) Pn(cos)
r0

r0 n
) Pn(cos)
c

n =0

n =0

c<r

0
En rn Pn(cos)

n =0

c >r

e
c

e
c

n =0

n =0

r n
)
c

Pn(cos) Pn(cos)

c
( )n+1 Pn(cos) Pn(cos)
r

12.2.3.- ECUACION DE LAPLACE EN COORDENADAS ESFRICAS

1.- Problema de Dirichlet
1.1.- Ecuacin del potencial
2u = 0
Esfera de radio R

Simetra axial
Potencial u(R ) = f()
|u|<M

2u := DIV(GRAD(u)) =

=
Simetra axial :=
2u =

2u
2

2 sin()

1
2 sin()
2u
2

u 1 u
u
sin()
sin(

+
] = 0
+

cos ( ) u
1
2 u
2u
1 2u
+
=0
+
+ 2
2
2
2
2
2

sin()

sin ()

2u
u
=0
=0
2

cos ( ) u
2 u
1 2u
=0
+ 2
+
2 2 sin()

Aplicando el mtodo de separacin de variables de Fourier

u = P() ()
2 u P
=
+
P
u
P 2
2 [
+
P

2 P

1
1
+
+
=0
cotg()
P 2 2

] =
cotg()
=
P

queda el sistema de dos ecuaciones en derivadas totales

2

P + P 2 P = 0

+ cot g()+ = 0

Euler
Legendre modificada

La segunda ecuacin (de Legendre) tiene por solucin

() = A y1(cos() , ) + B y2( cos() , )
donde
1

=2

1
+
4

La solucin es finita solamente para = n(n+1) en ese caso queda los Polinomios y las funciones de Legendre

() = A Pn(cos()) + B Qn(cos())
donde B = 0 para que la solucin sea finita

() = A Pn (cos())
La solucin de
2

P 2 P = 0
P +

n (n + 1)
2
P
P=0
P +

2
es
P() = C n + D -(n+1)
donde D=0 para que la solucin sea finita
P() = C n
Queda
u( ) =

En n Pn(cos())

n =0

La condicin de contorno que se debe cumplir es:

u(R ) =

En Rn Pn(cos()) = f()

n =0

Si f() CP/ [0,] es decir con

f( ) =

cn Pn(cos())

n =0

cn =

2n + 1
2

+1

f (t) Pn(t) dt

En Rn = cn
u( ) =

n =0

cn ( ) n Pn(cos())
R

x = cos()

f(x)CP/ [1,1]

1.2.Ecuacin del potencial

Esfera de radio R

2u = 0

Simetra axial
Potencial

u(R ) = 1 + cos()
|u|<M

Aplicando la solucin general el problema de Dirichlet obtenido

u( ) =

En n Pn(cos())

n =0

La condicin de contorno que se debe cumplir es:

u(R ) =

En Rn Pn(cos()) = 1 + cos()

n =0

Como P0 = 1
u(R ) =

En Rn Pn(cos()) = P0 + P1

n =0

E0 = 1
E1 R = 1
u( ) = 1 +

y P1 = cos()

cos()
R

queda

1.3.-

Ecuacin del potencial

Esfera de radio R

2u = 0

Simetra axial
[0,/2]
V
Potencial u(R ) = 1
V
[ /2, ]

2
|u|<M

Aplicando la solucin general obtenida en 4.1. el resultado obtenido en el caso genrico.

u( ) =

En n Pn(cos())

n =0

La condicin de contorno que se debe cumplir es:

u(R ) =

En Rn Pn(cos())

n =0

Si f() CP/ [0,1] es decir con x = cos()

f( ) =

f(x) CP/ [-1,1]

cn Pn(cos())

n =0

cn =

2n + 1
2

En Rn =cn =

+1

2n + 1
2

f (x) Pn(x) dx

+1

1
2
1
n = 2k

c2k = (Pn-1(0) Pn+1(0)) = 0

2

n =0
f (x) Pn(x) dx
c0 =

n = 2 k +1

n 1= 2 k

c2k+1 =

u( ) =

n =0

cn ( ) n Pn(cos())
R

1
1
4k + 3
(Pn-1(0) Pn+1(0)) = P2k(0) [
]
2
2
2k + 2

u( ) = V2 +
u( ) =
u( ) =

1
4k + 3

( V1V2) [ 1 +
P2k(0) [
] ( ) 2 k +1 P2k+1(cos()) ]
2
2k + 2
R
k =0

1
1
(V1+V2) +
( V1V2) [
2
2

k =0

P2k(0) [

4k + 3

] ( ) 2 k +1 P2k+1(cos()) ]
2k + 2
R

1
1
3
7
(V1+V2) +
( V1V2) [ ( ) P1(cos())
2
2
2 R
8
75 7

( )
128 R

11 5
( ) 3 P3(cos()) +
( ) P5(cos())
R
16 R
133 9
P7(cos()) +.
( ) P9(cos()) + ... ]
256 R

APNDICE I
El estudio de los Polinomios de Legendre en V(1) hace ms facil encontrar la Segunda forma de los mismos y la
Tercera Representacin, que es a de Olindo Rodrigues. A partir de la ecuacin de Recurrencia del mtodo de Fuchs en
el V(0) se puede tener directamente una Cuarta forma de los Polinomios de Legendre y de ella deducir la frmula de
Olindo Rodrigues.

3.2.3.- CUARTA EXPRESIN DE LOS POLINOMIOS DE LEGENDRE

Si se analiza la Ecuacin de Recurrencia obtenida por Fuchs para el caso de los Polinomios de Legendre
se tiene en los casos:
I.- Si = n es Natural e Impar el Polinomio de orden n cumple:
Ck =

C k - 2 (r + k - 2 - ) (r + k - 1 + )
(r + k)(r + k - 1)

Ck =

C k - 2 (-1) (n + 1 - k) (n + k)
(k + 1) k

Ck-2 =

C k (-1) (k + 1) k
(n + 1 - k) (n + k)
Como k<0..n1 > entonces para k = n 1 se tiene la relacin entre Cn y Cn-2

Cn-2 =

C n (-1) (n - 1 + 1) (n - 1)
(n + 1 - (n - 1)) (n + n - 1))

Cn-2 =

C n (-1) n (n - 1)
2 (2n - 1)
Asimismo para k = n 3 se puede calcular tiene Cn-4

C n - 2 (-1) (n - 2) (n - 3)
4 (2n - 3)
y as en forma sucesiva y decreciente pueden obtenerse los coeficientes de los Polinomios de Legendre
de orden Impar.

Cn-4 =

II.- Si = n es Natural y Par el Polinomio de orden n cumple:

Ck =

C k - 2 (r + k - 2 - ) (r + k - 1 + )
(r + k)(r + k - 1)

Ck =

C k - 2 (-1) (n + 2 - k) (n + k - 1)
k ( k - 1)

Ck-2 =

C k (-1) k ( k - 1)
(n + 2 - k) (n + k - 1)
Como k<0..n > entonces para k = n se tiene Cn : por lo tanto

C n (-1) n (n - 1)
2 (2n - 1)
Asimismo para k = n 2 se puede calcular tiene Cn-4

Cn-2 =

C n - 2 (-1) (n - 2) (n - 3)
4 (2n - 3)

Cn-4 =

y as en forma sucesiva y decreciente pueden obtenerse los coeficientes de los Polinomios de Legendre de orden
Par.
Como se observa a Ecuacin de Recurrencia de los coeficientes de los Polinomios de Legendre es la
misma tanto para el caso par como impar y es
C n (-1) j n(n - 2)...(n - 2j + 2) .(n - 1)(n - 3)...(n - 2j + 1)
2.4.6... (2j) (2n - 1)(2n - 3)...(2n - 2j + 1)

Cn-2j =

C n (-1) j n(n - 1)(n - 2)(n - 3)...(n - 2j + 2)(n - 2j + 1)

Cn-2j =

2 j. j! (2n - 1)(2n - 3)...(2n - 2j + 1)

C n (-1) j

Cn-2j =

n!

2 j n!

(2n - 2j)!

2 j. j! (n - 2j)!

(2n)!

(n - j)!

C n (-1) (2n - 2j)! n! n!

j! (n - 2j)! (n - j)! (2n)!

Cn-2j =

Definiendo
J:= (n-1)/2
:= n/2

n Impar
n Par

Los Polinomios de Legendre son:

Pn(x) = Cn

n! n!
(2n)!

j= 0

(-1) j (2n - 2j)!

x n-2j
j! (n - j)! (n - 2j)!

Recordando la convencin C0 : Pn(1) = 1

Pn(1) = Cn

n! n!
(2n)!

j= 0

(-1) j (2n - 2j)!

=1
j! (n - j)! (n - 2j)!
J

Como la suma vale

j= 0

Cn

(-1) j (2n - 2j)!

= 2n
j! (n - j)! (n - 2j)!

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

Cn =

(2n)!
n! n!

1
2

Se implica una Cuarta expresin de los Polinomios de Legendre.

Pn(x) =

1
2n

j= 0

(-1) j (2n - 2j)!

x n-2j
j! (n - j)! (n - 2j)!

3.2.4.- DEDUCCIN DE LA TERCERA EXPRESIN DE LOS POLINOMIOS DE LEGENDRE:

OLINDO RODRIGUES A PARTIR DE LA CUARTA EXPRESIN
Partiendo de
(x2 1)n =

n
(1)k

x2n2k
k

k =0

Derivando n veces
n

n
(1)k

(2n-2k)(2n-2k-1)(n-2k+1) x n-2k
k

D(n) (x2 1)n =

k =0
n

(1)k

k =0

(2n - 2k)!
x n-2k
k! (n - k)! (n - 2k)!

Que es la primera expresin de Los Polinomios de Legendre salvo constante. Por otro lado recordando
la convencin Pn (1) = 1
D(n) (x2 1)n = D(n) [(x 1)n (x + 1)n ]
n

n  (k)


D (x 1)n D(n k) (x +1)n
k

k =0

D(n) (x2 1)n

x =1

k =0

n  (k)


D (x 1)n D(nk) (x +1)n
x =1
k

n
=

D(n) (x 1)n D(0) (x +1)n
x =1
n
n
= n! 2
De aqu se deduce la frmula de Olindo Rodrigues

Pn (x) =

1
n

2 n!

D(n) (x2 1) n

Como verificacin se deduce la expresin de los primeros Polinomios de Legendre a partir de esta frmula.

P0 (x) =
P1(x)

P2 (x) =
P3 (x) =

1
0

2 0!
1
1

2 1!
1
2

2 2!
1
2 3 3!

D(0) (x2 1) 0

= 1

D(1) (x2 1) 1

= x
1
( 3 x2 1)
2
1
=
( 5 x3 3 x)
2

D(2) (x2 1) 2 =
D(3) (x2 1) 3