P Legendre 01

ALEPH SUB CERO
SERIE DE DIVULGACIN
0 2010 I 0
pp. 109 - 130
POLINOMIOS DE LEGENDRE - NOTAS

Carlos Enrique Nez Rincn1
Los matemticos, en lugar de simplemente utilizar un mtodo que

parece funcionar, quieren hallar una justificacin para el mtodo y una
serie de condiciones que garanticen que el mtodo funciona.
Glenn Ledder
Recepcin: Mayo 2010. Revisin y aceptacin: Junio 2010.

Resumen:
El articulo que se expone, de corte divulgativo, tiene como propsito
presentar de manera asequible las soluciones de las ecuaciones diferenciales de
Legendre, as como un conjunto de propiedades de los polinomios de Legendre. La
importancia del mismo radica en el hecho de que, los polinomios de Legendre
configuran un significativo ejemplo de los polinomios ortogonales que son tiles,
en el estudio de las ecuaciones de Kepler referidas al movimiento de los planetas,
en el modelado en fsica mediante la utilizacin de ecuaciones diferenciales en
derivadas parciales (EDDP) en coordenadas esfrica, por ejemplo, en el estudio de
los campos conservativos y no conservativos, en el estudio de la propagacin de
onda y propagacin del calor, entre otros.
Palabras claves: Polinomio, Legendre, ecuacin diferencial, solucin, series de

potencias, polinomio ortogonal, linealmente independiente, Funcin de Legendre,
funcin generatriz, recurrencia, frmula de Rodrguez, ortogonalidad, norma,
simetra.
Abstract:
The current article, of divulging nature, has as objective to present affordable
solutions of the Legendre differential equations as well as a set of properties of
Legendre polynomials. Its importance stands in the fact that Legendre polynomials
1
El autor del artculo es Licenciado en Matemtica, egresado de la Universidad de los Andes
ULA-Venezuela. Asimismo, es Magster y Doctor en Ciencias. Actualmente es Profesor en la
Categora de Titular, adscrito al Departamento de Matemtica y Fsica de la Universidad
Nacional Experimental del Tchira-UNET, Tchira-Venezuela. cnunezr@gmail.com
Polinomios de Legendre Notas
form a significant case of orthogonal polynomials useful in the study of Kepler's

equations relating to the motion of the planets, in physics modeling using
differential equations in partial derivatives in spherical coordinates, in the study of
conservative and non-conservative fields, in the study of wave and heat
propagation, among others.
Key words: Polynomial, Legendre, differential equation, solution, power series,

orthogonal polynomial, linearly independent, Legendre function, generatrix
function, recurrence, Rodrguez formula, orthogonality, norm, symmetry.
Los Polinomios de Legendre, llamadas as en honor al matemtico francs

Adrien-Marie Legendre2 (1752-1833), son las soluciones de las Ecuaciones
Diferenciales de Legendre, cuya forma cannica viene dada por
d2y d 2 dy
(1 x ) dx 2 2 x dy
2
dx
+ y = 0 (1) (1 x ) + y = 0
dx dx
(1)
donde su solucin general es la combinacin lineal de dos soluciones linealmente

independientes, esto es
y ( x ) = Ay1 ( x ) + By2 ( x )
Para el caso particular = n ( n + 1) , donde n = {0.1, 2,} , su solucin es un

polinomio de orden n, luego su solucin general es de la forma
y ( x ) = APn ( x ) + BQn ( x )
Puesto que, este tipo de ecuacin diferencial de segundo orden tienen una
multiplicidad de aplicaciones en el campo de la ingeniera, la qumica y la fsica
(por lo general aparecen en ciertos problemas que se resuelven en coordenadas
polares y en coordenadas esfrica), desarrollaremos un procedimiento para obtener
sus soluciones.
2
Su legado cientfico en: http://es.wikipedia.org/wiki/Adrien-Marie_Legendre
2
Carlos Enrique Nez Rincn
Para hallar la solucin de la ecuacin de Legendre, consideremos el caso

particular = n ( n + 1) , donde n , entonces sustituyendo en (1), obtenemos
(1 x ) y2 xy+n ( n + 1) y = 0
2
(2)
Ahora, utilizamos el mtodo de series de potencia, especficamente una serie de

potencias centrada en 0, esto es

y = f ( x ) = ak x k (3)
k =0
as, obtenemos una familia de polinomios ortogonales, llamados Polinomios de

Legendre, generados por las soluciones de la ecuacin.
Derivando (3) y sustituyendo en (2), obtenemos

(1 x ) k ( k 1) a x
2
k
k 2
2 x kak x k 1
+ n ( n + 1) ak x k = 0
k =2 k =1 k =0
k ( k 1) ak x k 2 x 2 k ( k 1) ak x k 2 2 x kak x k 1 + n ( n + 1) ak x k = 0
k =2 k =2 k =1 k =0
(4)
puesto que

k ( k 1) ak x k 2 = ( k + 2 )( k + 1) ak +2 x k
k =2 k =0
(5)

x 2
k ( k 1) a x
k =2
k
k 2
= x 2
k ( k 1) a x x
k =2
k
k 2

= k ( k 1) ak x k = k ( k 1) ak x k (6)
k =2 k =0

2 x kak x k 1 = 2 x kak x k x 1 = 2 kak x k = 2 kak x k (7)
k =1 k =1 k =1 k =0
sustituyendo (5), (6) y (7) en (4), obtenemos
3
( k + 2 )( k + 1) ak +2 x k k ( k 1) ak x k 2 kak x k + n ( n + 1) ak x k = 0
k =0 k =0 k =0 k =0
aplicando las propiedades de la sumatoria y factorizando, obtenemos

( ( k + 2 )( k + 1) a
k =0
k +2 k ( k 1) ak 2kak + n ( n + 1) ak )x k = 0
( ( k + 2 )( k + 1) a
k =0
k +2 )
+ ( n ( n + 1) k ( k + 1) ) ak x k = 0 (8)
la ecuacin (8) se verifica si los coeficientes de x k son igual a 0, esto es

( k + 2 )( k + 1) ak +2 + ( n ( n + 1) k ( k + 1) ) ak = 0
Ntese que para k = 2 , a0 asume cualquier valor; de igual manera para k = 1 , a1
asume cualquier valor.
Ahora despejando ak + 2 , obtenemos
n ( n + 1) k ( k + 1)
ak + 2 = a k = 0,1, 2,3, (9)
( k + 2 )( k + 1) k
En (9), hagamos las siguientes consideraciones:
i) Sean a0 0 y a1 = 0 entonces
n ( n + 1) n ( n + 1)
a2 = a0 = a0 ,
2.1 2!
n ( n + 1) 2.3 n ( n + 1) ( n ( n + 1) 2.3) n ( n + 1) ( n ( n + 1) 2.3)
a4 = a2 = a0 = a0 ,
4.3 4.3.2! 4!
n ( n + 1) 4.5 n ( n + 1) ( n ( n + 1) 2.3) ( n ( n + 1) 4.5 )
a6 = a4 = a0 ,
6.5 6!
Ntese, que para k impar: a1 = a3 = a5 = = 0.
Luego, (3) se transforma en
4

n ( n + 1) n ( n + 1) ( n ( n + 1) 2.3)
y1 = f1 ( x ) = a2 k x 2 k = a0 x 0 a0 x 2 + a0 x 4
k =0 2! 4!
n ( n + 1) 2 n ( n + 1) ( n ( n + 1) 2.3) 4
= 1 x + x a0
2! 4!

que es una solucin par de la ecuacin de Legendre.
ii) Ahora consideremos a0 = 0 y a1 0 entonces
n ( n + 1) 1.2 n ( n + 1) 1.2
a3 = a1 = a1
3.2 3!
a5 =
n ( n + 1) 3.4
a3 =
( n ( n + 1) 1.2 ) ( n ( n + 1) 3.4 ) a
1
5.4 5!
a7 =
n ( n + 1) 5.6
a5 =
( n ( n + 1) 1.2 ) ( n ( n + 1) 3.4 ) ( n ( n + 1) 5.6 ) a ,
1
7.6 7!
Ntese, que para k par: a0 = a2 = a4 = = 0.
Luego, (3) se transforma en

y2 = f 2 ( x ) = a2 k +1 x 2 k +1
k =0
n ( n + 1) 1.2 3 ( n ( n + 1) 1.2 ) ( n ( n + 1) 3.4 ) 5

= a1 x a1 x + a1 x
3! 5!
n ( n + 1) 1.2 3 ( n ( n + 1) 1.2 ) ( n ( n + 1) 3.4 ) 5
=x x + x a1
3! 5!

que es una solucin impar de la ecuacin de Legendre.
Ya que, estas dos soluciones son linealmente independientes, por intermedio de
ellas obtenemos la solucin general de la ecuacin de Legendre
y ( x ) = Ay1 ( x ) + By2 ( x ) .
5
Las series y1 y y2 , para n , convergen en x < 1 , pero divergen en

x = 1. Para n , una de estas series finaliza, es decir, es un polinomio y la otra
converge en x < 1 , pero diverge en x = 1.
Puesto que, por lo general n = 0,1, 2,3,, seguidamente consideramos

algunas soluciones polinmicas:
5
1, x, 1 3 x 2 , x x 3 ,
3
luego, una solucin de la ecuacin de Legendre es un polinomio de grado n.
Hallemos con precisin estas soluciones polinmicas, para ello consideremos
la ecuacin obtenida de (8), esto es
( k + 2 )( k + 1) ak +2 + ( n ( n + 1) k ( k + 1) ) ak = 0 n
haciendo k: n 2, n 4, n 6, , n 2i i = 1, 2,3, , obtenemos
n ( n 1) an = 2 ( 2n 1) an2 = 2.1( 2n 1) an2

( n 2 )( n 3) an2 = 4 ( 2n 3) an4 = 2.2 ( 2n 3) an4
( n 4 )( n 5 ) an4 = 6 ( 2n 5 ) aa6 = 2.3( 2n 5 ) aa6

( n 2i + 2 )( n 2i + 1) an2i+2 = 2.i ( 2n 2i + 1) an2i

efectuando el producto, miembro a miembro, de estas igualdades, obtenemos
i
n ( n 1) ..( n 2i + 1) an = ( 1) 2i i !( 2n 1)( 2n 3) ..( 2n 2i + 1) an2i (10)
utilizando la notacin factorial y sus propiedades, tenemos
n ( n + 1) ..( n 2i + 1)( n 2i )! n!
n ( n 1) ..( n 2i + 1) = = (11)
( n 2i )! ( n 2i )!
( 2n 1)( 2n 3) ..( 2n 2i + 1) =
6
2n ( 2n 1) ..( 2n 2i + 1)( 2n 2 )( 2n 4 ) ..( 2n 2i + 2 )( 2n 2i )!

=
2n ( 2n 2 )( 2n 4 ) ..( 2n 2i + 2 )( 2n 2i )!
=
( 2n )! ( 2n )!( n i )!
= i (12)
2 n ( n 1)( n 2 ) ..( n i + 1)( 2n 2i )! 2 n!( 2n 2i )!
i
sustituyendo (11) y (12) en (10), obtenemos
n! i ( 2n )!( n i )! a
an = ( 1) 2i i ! i n 2 i
( n 2i )! 2 n!( 2n 2i )!
luego
2
an2i = ( 1)
i( n!) ( 2n 2i )! a
n
i !( 2n )!( n 2i )!( n i )!
sea an =
( 2 n )! , esto es posible, puesto que no hay alguna condicin sobre an
2
2n ( n!)
entonces
an2i = ( 1)
i ( 2n 2i )!
2 n
i !( n 2i )!( n i )!
Como se dijo anteriormente, si n es par (n = 2j), se obtiene una solucin par, es

decir un polinomio par y si n es impar (n = 2j + 1), se obtiene una solucin impar,
es decir un polinomio impar. En cualesquiera de las dos alternativas, la solucin de
la ecuacin de Legendre se denomina polinomio de Legendre de grado n y viene
dada por
j
y = Pn ( x ) = ( 1)
i ( 2n 2i )! x n 2 i
i =0 2 i !( n 2i )!( n i )!
n
7
Desarrollando Pn ( x ) , utilizando las propiedades del factorial y factorizando

obtenemos
j
Pn ( x ) = ( 1)
( 2n 2i )!
i
x n 2i
i =0 2 i !( n 2i )!( n i )!
n
= 0
( 2 n )! x n ( 2 n 2 )! x n 2
+
( 2 n 4 )! x n4
2 .0!n!n! 2 .1!( n 2 )!( n 1)!
1
2 .2!( n 4 )!( n 2 )!
2

( 2 n 6 )! x n6
+
( 2 n 8 )! x n8
2 .3!( n 6 )!( n 3)!
3
2 .4!( n 8 )!( n 4 )!
4
+ ( 1)
j ( 2 n 2 j )! x n 2 j
2 j !( n 2 j )!( n j )!
n
Pn ( x ) =
( 2n )! x n ( 2n )!n ( n 1) x n2 + ( 2n )!n ( n 1)( n 2 )( n 3) x n4
2 2 2
20.0!( n!) 21.1!.2 ( n!) ( 2n 1) 22.2!.22 ( n!) ( 2n 1)( 2n 3)

( 2n )!n ( n 1)( n 2 )( n 3)( n 4 )( n 5 ) x n6
2
23.3!.23 ( n!) ( 2n 1)( 2n 3)( 2n 5 )
+
( 2n )!n ( n 1)( n 2 )( n 3)( n 4 )( n 5 )( n 6 )( n 7 ) x n8
2
24.4!.24 ( n!) ( 2n 1)( 2n 3)( 2n 5 )( 2n 7 )
( 2n )! x n n ( n 1) x n2 + n ( n 1)( n 2 )( n 3) x n4
2
=
2n ( n!) 2.1!( 2n 1) 22.2!( 2n 1)( 2n 3)
n ( n 1)( n 2 )( n 3)( n 4 )( n 5 ) n6
x
23.3!( 2n 1)( 2n 3)( 2n 5 )
8
n ( n 1)( n 2 )( n 3)( n 4 )( n 5 )( n 6 )( n 7 ) n8
+ x .
24.4!( 2n 1)( 2n 3)( 2n 5 )( 2n 7 )
Ahora, si podemos dar con precisin las soluciones polinmicas de la

ecuacin de Legendre, as como el trazado de sus grficas
Ecuacin de Legendre Solucin polinmica

j
Pn ( x ) = ( 1) n
( 2n 2i )!
(1 x ) y2 xy+n ( n + 1) y = 0
2
i =0
i
2 i !( n 2i )!( n i )!
x n 2i
Para n = 0: (1 x ) y2 xy= 0
2
P0 ( x ) = 1
Para n = 1: (1 x ) y2 xy+2 y = 0
2
P1 ( x ) = x
3 2 1
Para n = 2: (1 x ) y2 xy+6 y = 0
2
P2 ( x ) =
2
x
2
5 3
Para n = 3: (1 x ) y2 xy+12 y = 0
2
P3 ( x ) = x3 x
2 2
35 15 3
Para n = 4: (1 x ) y2 xy+20 y = 0
2
P4 ( x ) = x 4 x 2 +
8 4 8
Generada con Maple 12
9
Para obtener Qn ( x ) , consideremos la ecuacin diferencial de Legendre
d2y
(1 x ) dx 2 2 x dy
2
dx
+ n ( n + 1) y = 0 (12)
1 1
en esta ecuacin hacemos s = , luego x = , entonces
x s
dy dy ds dy dy
= = x 2 = s 2
dx ds dx ds ds
d 2 y d 2 dy ds dy 2 d y
2 2
4 d y dy
2 (
2
= s = 2 s s s ) = s
2
2
+ 2s3
dx ds ds dx ds ds ds ds
sustituyendo estas expresiones en 12, obtenemos
1 4 d 2 y 3 dy 1 2 dy
1 2 s 2
+ 2 s 2 s + n ( n + 1) y = 0
s ds ds s ds
d2y 3 dy
2
2 d y dy dy
s 4
2
+ 2s s 2
2 s + 2 s + n ( n + 1) y = 0
ds ds ds ds ds
d2y 2
2 d y 3 dy
s 4
s + 2 s + n ( n + 1) y = 0 (13)
ds 2 ds 2 ds
d2y dy n ( n + 1)
( s 1) 2 + 2 s +
2
y=0 (14)
ds ds s2
Ahora consideremos la serie de potencias

y = Qn ( x ) = ak s k + p ( a0 0 ) (15)
k =0
derivado y sustituyendo en (13), obtenemos

s 4 ak ( k + p )( k + p 1) s k + p 2 s 2 ak ( k + p )( k + p 1) s k + p 2
k =0 k =0
10

+2 s 3
a (k + p) s
k =0
k
k + p 1
+ n ( n + 1) ak s k + p = 0
k =0

ak ( k + p )( k + p 1) s k + p+2
ak ( k + p )( k + p 1) s k + p
k =0 k =0

+ 2ak ( k + p ) s k + p+2
+ n ( n + 1) ak s k + p = 0
k =0 k =0
por lo tanto

ak ( k + p )( k + p + 1) s k + p+2 ak ( ( k + p )( k + p 1) n ( n + 1) ) s k + p = 0
k =0 k =0
(16)
de (16) obtenemos
a0 ( p ( p 1) n ( n + 1) ) = 0 (17)
a1 ( p ( p + 1) n ( n + 1) ) = 0 (18)
ak ( k + p )( k + p + 1) = ak + 2 ( ( k + p + 2 )( k + p + 1) n ( n + 1) ) (19)
puesto que a0 0, de (17) obtenemos
p ( p 1) n ( n + 1) = 0 ( p ( n + 1) ) ( p + n ) = 0
p = n +1 p = n
sustituyendo p = n + 1 en (18) y (19), obtenemos
a1 ( ( n + 1)( p + 2 ) n ( n + 1) ) = 0
a1 ( 2n + n ) = 0 a1 = 0 n +
ak ( k + n + 2 )( k + n + 1) = ak + 2 ( ( k + n + 3)( k + n + 2 ) n ( n + 1) )
= ak + 2 ( k + 2 )( k + 2n + 3)
luego
11
ak + 2 =
( k + n + 2 )( k + n + 1) a k (20)
( k + 2 )( k + 2n + 3) k
puesto que a0 0 y a1 = 0 , de (20) deducimos que
a1 = a2 = a3 = = 0
Procediendo como en el caso anterior obtenemos los coeficientes de a2 j , j
a2 j =
( n + 1)( n + 2 )( n + 3) ..( n + 2 j ) a0
2.4..2 j ( 2n + 3)( 2n + 5 ) ..( 2n + 2 j + 1)
n!
haciendo a0 = , tenemos
1.3..( 2n + 1)
a2 j =
( n + 1)( n + 2 ) ..( n + 2 j ) n!
=
2n ( n + 2 j )!( n + j )!
(21)
2.4..( 2 j ) .1.3.5..( 2n + 2 j + 1) j !( 2n + 2 j + 1)!
sustituyendo p = n + 1 y la expresin (21) en (15) obtenemos la solucin de la

ecuacin (14), esto es

2n ( n + 2 j )!( n + j )! 2 j + n+1 2n ( n + 2 j )!( n + j )! 1 1
y= s = = Qn ( x ) .
j =0 j !( 2 n + 2 j + 1) ! j =0 j !( 2 n + 2 j + 1) ! x n +1 2 j
x
Estas soluciones, en conjunto, se denominan, usualmente, Funciones de

Legendre. En particular, Pn ( x ) se denomina Funcin de Legendre de primera clase
y Qn ( x ) Funcin de Legendre de segunda clase.

Finalmente, tenemos la solucin general de la Ecuacin de Legendre, esto es
y ( x ) = APn ( x ) + BQn ( x )
Puesto que, los polinomios de Legendre configuran un significativo ejemplo

de los polinomios ortogonales que son tiles por ejemplo en el estudio de las
12
ecuaciones de Kepler referidas al movimiento de los planetas, en el modelado en

fsica con ecuaciones diferenciales parciales en coordenadas esfrica, por ejemplo
en el estudio de los campos conservativos y no conservativos, en el estudio de la
propagacin de onda y propagacin del calor, entre otros; a continuacin
presentaremos algunas propiedades de los polinomios de Legendre.
i) Funcin generatriz para los polinomios de Legendre

1
= Pn ( x )s n (22)
2
1 2 sx + s n =0
Con frecuencia se definen los polinomios de Legendre con esta frmula.
Demostracin
Desarrollando el lado izquierdo de (22) de manera binomial, obtenemos

1/ 2
1 s
= 1 2s x
1 2 sx + s 2 2
h
( 1/ 2 )( 1/ 2 1)( 1/ 2 2 ) ..( 1/ 2 h + 1) 2h
( 1) s x

s
=
h h
(23)
h=0 h! 2
puesto que
h
1 1 1 1 ( 1) ( 2h )!
1 2 .
. h + 1 =
2 2 2 2 22 h h !
h i
s h
h! h i s

x
2
=
i =0 i !( h i )!
x
2

sustituyendo en (23), obtenemos
13
h
( 1) ( 2h )! i
1
22 h h!
h
h! s
= 2 ( 1) s
h
h h
x h i
h! i = 0 i !( h i )! 2
2
1 2 sx + s h =0
i i
=

( 2h )!s h x h i s
h h
1 ( 2 h )! x
h i
h=0
= h
2 h! i =0 i !( h i )! 2 h=0 i =0 2 2 h! i !( h i )!
h
s h +i
haciendo h = n i y puesto que 0 i h entonces, 0 i n / 2 n = 0,1, 2,
1 n / 2 1 i

( 2n 2i )!
= n i x n 2i s n
1 2 sx + s 2 n=0 i =0 2 2 i !( n 2i )!( n i )!

1 n/2
( 2n 2i )! n
= ( 1) n x s = Pn ( x ) s n .
i
n 2i
1 2 sx + s 2 n=0 i =0 2 i !( n 2i )!( n i )! n =0
c.q.q.d.
Observacin. Recordemos que en las series de potencias dobles, con respecto a

( x, s ) , su convergencia absoluta es condicin suficiente. Por otra parte, haciendo la
definicin Pn ( x ) = 0 para n , es posible obtener de manera conveniente
1
= Pn ( x )s n < n <
2
1 2 sx + s
ii) Frmula de recurrencia para los polinomios de Legendre
2n + 1 n
Pn+1 ( x ) = xPn ( x ) Pn1 ( x )
n +1 n +1
Demostracin
Para hacer esta demostracin, consideremos la funcin generatriz
14
1
= Pn ( x ) s n (24)
1 2 sx + s 2
derivando con respecto a s manteniendo x constante, obtenemos
1 ( 2 x + 2 s ) xs
3 / 2
= 3/ 2
= nPn ( x ) s n1 (25)
2 (1 2 sx + s )
2
(1 2sx + s )
2
Multiplicando ambos lados de (25) por (1 2sx + s 2 ) , tenemos
1
( x s) = (1 2 sx + s 2 ) nPn ( x ) s n1 (26)
2
1 2 sx + s
sustituyendo (24) en (26), obtenemos
( x s ) Pn ( x ) s n = (1 2sx + s 2 ) nPn ( x ) s n1
x Pn ( x )s n s Pn ( x )s n = nPn ( x )s n1 2 sx nPn ( x )s n1 + s 2 nPn ( x )s n1
xPn ( x )s n Pn ( x )s n+1 = nPn ( x )s n1 2nxPn ( x )s n + nPn ( x )s n+1
( xPn ( x ) s n Pn ( x ) s n+1 ) = ( nPn ( x ) s n1 2nxPn ( x ) s n + nPn ( x ) s n+1 )
( xPn ( x ) Pn1 ( x ) ) s n
= ( ( n + 1) Pn+1 ( x ) 2nxPn ( x ) + ( n 1) Pn1 ( x ) ) s n
igualamos los coeficientes de s n , obtenemos
xPn ( x ) Pn1 ( x ) = ( n + 1) Pn+1 ( x ) 2nxPn ( x ) + ( n 1) Pn1 ( x )
15
( n + 1) Pn+1 ( x ) = ( 2n + 1) xP ( x )n nPn1 ( x )
2n + 1 n
Pn+1 ( x ) = xPn ( x ) Pn1 ( x )
n +1 n +1
c.q.q.d.
iii) Frmula de Olindo Rodrguez para los polinomios de Legendre

1 dn 2 n
Pn ( x ) = n
2 n! dx n
( x 1)
Demostracin
n
Aplicando el desarrollo del Binomio de Newton a la expresin (x 2
1) ,
obtenemos
n
n!
( x2 1) = ( 1)
n n i
i
i !( n i )!
( x2 )
i =0
luego
dn 2 dn n n! n n! d n 2 n 2 i
( x 1) = dxn ( 1) i!( n i )!x = ( 1) i!( n i )! dxn x
n i 2 n 2 i i
dx n i =0 i =0
puesto que
d n 2 n 2 i
x = ( 2n 2i )( 2n 2i 1)( 2n 2i 2 ) .
dx n
.( 2n 2i n + 1) x 2 n2i n =
( 2n 2i )! x n2i , n 2i
( n 2i )!
por lo tanto
16
1 dn 2 1 n/2 n! ( 2n 2i )! n2i

n
n ( ) i
x 1 = ( 1) x
n
2 n! dx n
2 n ! i =0 i !( n i )! ( n 2i )!
n/2
= ( 1)
i ( 2n 2i )! x n2i = P x .
n( )
i =0 2 n
i !( n 2i )!( n i )
c.q.q.d.
Ejercicio. Demostrar la frmula de recurrencia, demostrada en (ii), utilizando la

frmula de Olindo Rodrguez.
Ejercicio. Aplicar la frmula de recurrencia y la frmula de Rodrguez para obtener
los polinomios P0 ( x ) , P1 ( x ) , P2 ( x ) , P3 ( x ) , P4 ( x ) ,
iv) Ortogonalidad de los polinomios de Legendre

Esta es una valiosa propiedad, ya que configuran un sistema ortogonal sobre
el intervalo 1 x 1 con respecto al ncleo p ( x ) = 1 . Esto es, son ortogonales con
respecto al producto escalar definido en L2 en este intervalo.
1 2 0, si m n
1
Pm ( x )Pn ( x ) dx =
2n + 1
mn mn =
1, si m = n
( mn la delta de Kronecker).
Consideremos n m
1
Pm ( x ) i Pn ( x ) = Pm ( x )Pn ( x ) dx = 0
1
Demostracin
Para demostrar esta propiedad, utilizamos (1) y puesto que Pn ( x ) es una solucin
de la ecuacin diferencial de Legendre, tenemos
d 2 d
(1 x ) Pn ( x ) + n ( n + 1) Pn ( x ) = 0 (27)
dx dx
17
de manera anloga para Pm ( x )
d 2 d
(1 x ) Pm ( x ) + m ( m + 1) Pm ( x ) = 0 (28)
dx dx
multiplicando la expresin (27) por Pm ( x ) y la expresin (28) por Pn ( x ) ,
obtenemos
d
dx
(
( )
1 x 2 ) Pn ( x ) Pm ( x ) + n ( n + 1) Pn ( x ) Pm ( x ) = 0
d

dx
( ( )
1 x 2 ) Pm ( x ) Pn ( x ) m ( m + 1) Pm ( x ) Pn ( x ) = 0
sumando y sacando factor comn, tenemos

d d
dx
( (
1 x 2 ) Pm ( x ) Pn ( x ) )
dx
( (
1 x 2 ) Pn ( x ) Pm ( x ) )
+ n ( n + 1) Pn ( x ) Pm ( x ) m ( m + 1) Pm ( x ) Pn ( x ) = 0
d
dx
(
( )
1 x 2 ) ( Pm ( x ) Pn ( x ) Pn ( x ) Pm ( x ) ) + ( n ( n + 1) m ( m + 1) ) Pn ( x ) Pm ( x ) = 0
integrando la expresin anterior en el intervalo [ 1,1] , obtenemos
d
1
1 dx
( )
(1 x2 ) ( Pm ( x ) Pn ( x ) Pn ( x ) Pm ( x ) ) dx
1
+ ( n ( n + 1) m ( m + 1) ) Pn ( x ) Pm ( x ) dx = 0
1
puesto que
1 d
(
1 dx (1 x ) ( Pm ( x ) Pn ( x ) Pn ( x ) Pm ( x ) ) dx
2
)
1
= (1 x 2 ) ( Pm ( x ) Pn ( x ) Pn ( x ) Pm ( x ) ) = 0
1
luego
18
1
( n ( n + 1) m ( m + 1) ) 1
Pn ( x ) Pm ( x ) dx = 0
como n m entonces, ( n ( n + 1) m ( m + 1) ) 0
por lo tanto
1
1
Pn ( x ) Pm ( x ) dx = 0 .
c.q.q.d.
v) Si consideremos n = m, la norma del polinomio viene dada por
2 1 2
Pn ( x ) i Pn ( x ) = Pn ( x ) = Pn2 ( x ) dx =
1 2n + 1
Demostracin
Como es posible observar a lo largo del tema tratado, existe multiplicidad de
formas para abordar las demostraciones. Al demostrar esta propiedad, por ejemplo,
podemos utilizar la frmula de Rodrguez o la funcin generatriz, entre otras.
Utilizando la frmula de Rodrguez, tenemos
2
1 1 dn 2 1 n
1 P ( x
n
2
) dx = 1 2n n! dx n ( x 1) dx

1 dn 2
1 n d
n
n
= 2 1 dx n
( x 1) n ( x 2
1) dx
( 2 n!)
n dx
integrando por partes n veces, obtenemos
u v u( v+ u (
(n)
vdx = u (
n 1) n 1)
vdx = u (
n 1)
v u(
n2 ) n2)
vdx
= u(
n 1)
v u(
n2)
v+ u (
n 3)
v u (
n 4 )
v( ) + + ( 1) uv(
3 n2 n2)
uv(
n 1) (n)
uv
n 1 n
+ ( 1) + ( 1) dx
luego
19
1 d n1 2
1 n d
n
n
1
n 1 (

2
P ( x ) dx = 2 n
2
x 1) ( x 1)
2
2 ( n!) dx
n
1 dx n 1
1 d n1 2 n d
n +1
n 1 1 d
n 1
n d
n
n

1 dx n 1
( x 1) dx n+1
( x 2
1) dx = 2
22 n ( n!) 1 dx
n 1 ( x 2
1) dx n
( x 2
1) dx

d n2 2
1 n d
n +1
n
1
1 d
n2
n d
n+2
n
= 2n
2
2 ( n!) dx
n 2 ( x 1) dx n+1
( x 2
1) n2 ( x 2
1) dx n+ 2
( x 2
1) dx

1 1 dx
1 d n 2 2
1 n d
n+ 2
n
=
2 ( n!)
2n 2 1
dx n 2 ( x 1) dx n+ 2 ( x 2
1) dx =
n n
( 1) 1 d
n n
n d
n+ n
n ( 1) 1 n d
2n
n
nn (
+ 2n 2 1
x 1)
2
n+ n (
x 1) dx = 2 n
2
2 1 (
x 1)
2
2n (
x 2 1) dx
2 ( n!) dx dx 2 ( n!) dx
puesto que
d 2n 2 n d 2n 2n
2n ( ) 2n (
x 1 = x nx 2 n2 + ) = ( 2n )!
dx dx
1 n 1 n 1 n
( 1) 1 ( x 2 1) dx = (1 x 2 ) dx = 2 (1 x 2 ) dx
n
1 0
haciendo x = sen , entonces dx = cos d y 0 / 2

/2 n /2 n
2
0
(1 sen )2
cos d = 2
0
( cos )
2
cos d
aplicando la frmula de Wallis

/2 2 4 2n 2n (1.2.3..n )
2 cos 2 n +1
d = 2 .. =2
0
3 5 2n + 1 ( 2n + 1)( 2n 1) ..5.3.1
2
2n.n! 2n.2n.n!.n! 22 n ( n!)
=2 =2 =2
( 2n + 1)( 2n 1) ..5.3.1 ( 2n + 1)! ( 2n + 1)( 2n )!
por lo tanto
20
2
2 1 22 n ( n!)
1 2
Pn ( x ) = P ( x ) dx = 2 n
n
2
2 ( 2 n )! =
2 ( n!) ( 2n + 1)( 2n )! ( 2n + 1)
1 2
c.q.q.d.
n
vi) Pn (1) = 1, Pn ( 1) = ( 1)
Demostracin
Para demostrar esta propiedad, consideremos la frmula de derivacin de Leibniz,
n
n!
(n)
= f ( ) ( x) g( ) ( x)
nk k
esto es, si y = f ( x ) g ( x ) , entonces y
k =0 k !( n k )!
sustituyendo esta frmula en la formula de Rodrguez, obtenemos

1 dn 2 1 dn 1 dn
Pn ( x ) =
2n n! dx n
x 1
n
= x + 1 x 1
n
( ) 2n n! dxn ( ( )( ) ) 2n n! dx n
= (( x + 1) ( x 1) )
n n
1 n n! d nk n d
k
= n
n
nk (
x + 1) k (
x 1)
2 n! k =0 k !( n k )! dx dx
puesto que
dk n n k 0, si n k
( x 1) = n ( n 1) .. ( n k + 1)( x 1) =
dx k n!, si n = k
por lo tanto
1 n 1
Pn (1) = n
n!(1 + 1) = n n!2n = 1
2 n! 2 n!
c.q.q.d.
De manera anloga
1 dn 2 1 dn 1 n d
n
( )
n
( )
n
Pn ( x ) =
2n n! dx n
( ) 2n n! dx n
x 1 = ( 1) (1 x 2 ) =
2 n n!
( 1)
dx n
(1 + x )
n
(1 x )
n
1 n n! d nk n d
k
= ( 1) n
n n
nk (
1 x) k (
1+ x)
2 n! k =0 k !( n k )! dx dx
21
puesto que
dk n nk 0, si n k
( x + 1) = n ( n 1) .. ( n k + 1)(1 + x ) =
dx k n!, si n = k
por lo tanto
n 1 n n 1 n
Pn ( 1) = ( 1) n
n!(1 ( 1) ) = ( 1) n n!2n = ( 1)
2 n! 2 n!
c.q.q.d.
Bibliografa
Ledder, G. (2006). Differential equations: a modeling approach. New York:
McGraw-Hill, Inc.
MAPLE 12 De Waterloo. (2008). The Maple Handbook. USA: Maple 12

Software. Inc.
Nez R., C. (2008). Ecuaciones diferenciales en el contexto del MatLab. Aleph

Sub Cero, Serie de Divulgacin. 2008-II(II), 2058. Venezuela.
Nez R., C. (2004). Sucesiones y series en el contexto del MatLab. Aleph Sub
Cero, Serie de Divulgacin. 2004-I(I), 2140. Venezuela.
Simmons G. y Krantz, S. (2007). Ecuaciones diferenciales. Mxico: McGraw-

Hill, Interamericana.
Spiegel, M., (1994). Ecuaciones diferenciales aplicadas. 3ra. ed. Mxico:

Prentice Hall.
Takeuchi, Y. et al. (1978). Ecuaciones diferenciales. Mxico: Limusa.
Wikipedia La enciclopedia libre. Adrien-Marie Legendre. Marzo 2010.

Disponible: http://es.wikipedia.org/wiki/Adrien-Marie_Legendre. [consulta:
2010, Mayo 16].
22

P Legendre 01

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

P Legendre 01

Enviado por

Direitos autorais:

Formatos disponíveis

ALEPH SUB CERO

POLINOMIOS DE LEGENDRE - NOTAS

Los matemticos, en lugar de simplemente utilizar un mtodo que

Recepcin: Mayo 2010. Revisin y aceptacin: Junio 2010.

Palabras claves: Polinomio, Legendre, ecuacin diferencial, solucin, series de

form a significant case of orthogonal polynomials useful in the study of Kepler's

Key words: Polynomial, Legendre, differential equation, solution, power series,

Los Polinomios de Legendre, llamadas as en honor al matemtico francs

donde su solucin general es la combinacin lineal de dos soluciones linealmente

Para el caso particular = n ( n + 1) , donde n = {0.1, 2,} , su solucin es un

Para hallar la solucin de la ecuacin de Legendre, consideremos el caso

Ahora, utilizamos el mtodo de series de potencia, especficamente una serie de

as, obtenemos una familia de polinomios ortogonales, llamados Polinomios de

sustituyendo (5), (6) y (7) en (4), obtenemos

aplicando las propiedades de la sumatoria y factorizando, obtenemos

la ecuacin (8) se verifica si los coeficientes de x k son igual a 0, esto es

n ( n + 1) 1.2 3 ( n ( n + 1) 1.2 ) ( n ( n + 1) 3.4 ) 5

Las series y1 y y2 , para n , convergen en x < 1 , pero divergen en

Puesto que, por lo general n = 0,1, 2,3,, seguidamente consideramos

n ( n 1) an = 2 ( 2n 1) an2 = 2.1( 2n 1) an2

( n 2i + 2 )( n 2i + 1) an2i+2 = 2.i ( 2n 2i + 1) an2i

utilizando la notacin factorial y sus propiedades, tenemos

2n ( 2n 1) ..( 2n 2i + 1)( 2n 2 )( 2n 4 ) ..( 2n 2i + 2 )( 2n 2i )!

sustituyendo (11) y (12) en (10), obtenemos

Como se dijo anteriormente, si n es par (n = 2j), se obtiene una solucin par, es

Desarrollando Pn ( x ) , utilizando las propiedades del factorial y factorizando

Ahora, si podemos dar con precisin las soluciones polinmicas de la

Ecuacin de Legendre Solucin polinmica

Generada con Maple 12

Para obtener Qn ( x ) , consideremos la ecuacin diferencial de Legendre

sustituyendo estas expresiones en 12, obtenemos

Ahora consideremos la serie de potencias

derivado y sustituyendo en (13), obtenemos

puesto que a0 0, de (17) obtenemos

sustituyendo p = n + 1 y la expresin (21) en (15) obtenemos la solucin de la

Estas soluciones, en conjunto, se denominan, usualmente, Funciones de

y Qn ( x ) Funcin de Legendre de segunda clase.

Puesto que, los polinomios de Legendre configuran un significativo ejemplo

ecuaciones de Kepler referidas al movimiento de los planetas, en el modelado en

i) Funcin generatriz para los polinomios de Legendre

Con frecuencia se definen los polinomios de Legendre con esta frmula.

Desarrollando el lado izquierdo de (22) de manera binomial, obtenemos

sustituyendo en (23), obtenemos

haciendo h = n i y puesto que 0 i h entonces, 0 i n / 2 n = 0,1, 2,

Observacin. Recordemos que en las series de potencias dobles, con respecto a

ii) Frmula de recurrencia para los polinomios de Legendre

Para hacer esta demostracin, consideremos la funcin generatriz

derivando con respecto a s manteniendo x constante, obtenemos

Multiplicando ambos lados de (25) por (1 2sx + s 2 ) , tenemos

sustituyendo (24) en (26), obtenemos

x Pn ( x )s n s Pn ( x )s n = nPn ( x )s n1 2 sx nPn ( x )s n1 + s 2 nPn ( x )s n1

xPn ( x )s n Pn ( x )s n+1 = nPn ( x )s n1 2nxPn ( x )s n + nPn ( x )s n+1

( xPn ( x ) s n Pn ( x ) s n+1 ) = ( nPn ( x ) s n1 2nxPn ( x ) s n + nPn ( x ) s n+1 )

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

igualamos los coeficientes de s n , obtenemos

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

iii) Frmula de Olindo Rodrguez para los polinomios de Legendre

Ejercicio. Demostrar la frmula de recurrencia, demostrada en (ii), utilizando la

iv) Ortogonalidad de los polinomios de Legendre

de manera anloga para Pm ( x )

sumando y sacando factor comn, tenemos

integrando la expresin anterior en el intervalo [ 1,1] , obtenemos

integrando por partes n veces, obtenemos