ESCUELA DE FSICA, UNAH

Funciones Asociadas de Legendre

Asignatura: Electrodinamica I

Autores: Gerardo Gamez
Angel Zelaya
Walter Jerezano

Fecha: 26 de Junio
de 2013

POLINOMIOS DE LEGENDRE
Ecuacin diferencial ordinaria de Legendre:


Esta ecuacin tiene soluciones en forma de
series de potencias de la forma:


Ahora sustituimos la funcin (2) en (1) (y sus
derivadas) y hacemos:

2
(1 ) 2 ( 1) 0 (1) x y xy n n y + + =
0
(2)
m
m
m
y a x

=
=

( 1) k n n = +
2 2 1
2 1 0
(1 ) ( 1) 2 0
m m m
m m m
m m m
x m m a x x ma x k a x


= = =
+ =

POLINOMIOS DE LEGENDRE
Escribamos el primer trmino como la suma de
dos series para obtener:


Hagamos ahora para obtener la misma
potencia :



Para y obtenemos:
2
2 2 1 0
( 1) ( 1) 2 0
m m m m
m m m m
m m m m
m m a x m m a x x ma x k a x

= = = =
+ =

s
x
2 0
2 ( 1) 0 a n n a + + =
| |
3 1
6 2 ( 1) 0 a n n a + + + =
2 s m =
2
0 2 1 0
( 2)( 1) ( 1) - 2 0
s s s s
s s s s
s s s s
s s a x s s a x sa x k a x

+
= = = =
+ + + =

0 s = 1 s =
POLINOMIOS DE LEGENDRE
..y, en general cuando :


De aqu se obtiene:


Al insertar estos valores en (2) obtenemos dos
soluciones independientes, una par y una impar:




2, 3... s =
| |
( )( )
2
1
( 2)( 1) ( 1) 2 ( 1) 0
s s
n s n s
s s a s s s n n a
+
+ +
+ + + + + =
2
( )( 1)
( 2)( 1)
s s
n s n s
a a
s s
+
+ +
=
+ +
Frmula
de
Recurrenci
a
0 1 1 2
( ) ( ) ( ) y x a y x a y x = +
2 4
1
3 5
2
( 1) ( 2) ( 1)( 3)
( ) 1 ...
2! 4!
( 1)( 2) ( 3)( 1)( 2)( 4)
( ) ...
3! 5!
n n n n n n
y x x x
n n n n n n
y x x x x
+ + +
= + +
+ + +
= + +
0
(2)
m
m
m
y a x

=
=

POLINOMIOS DE LEGENDRE
Recordemos que si el parametro es un entero
no negativo entonces esto es cierto:
i. Si es par se reduce a un polinomio de grado
ii. Si es impar se cumple lo mismo para
Estos polinomios multiplicados por una constante
se les llama Polinomios de Legendre
n
n 1
( ) Y x
n
n
2
( ) Y x
2
( 2)( 1)
( )( 1)
s s
s s
a a
n s n s
+
+ +
=
+ +
2
(2 )!
2 ( !)
n
n
n
a
n
=
2
(2 2)!
2 ( 1)!( 2)!
n
n
n
a
n n

=

Por comodidad se
elige como referencia
el coeficiente que
acompaa al trmino
de mayor exponente.
Se le da este valor
especfico por
razones de
normalizacin.
POLINOMIOS DE LEGENDRE
y as sucesivamente. En general cuando


A esta solucin resultante de la ecuacin (1) se le
llama Polinomio de Legendre de grado y se
denota por



Por ejemplo, las primeras cuatro funciones son:

2 0: n m >
2
(2 2 )!
( 1)
2 !( )!( 2 )!
m
n m
n
n m
a
m n m n m

=

( )
n
P x
2
0
(2 2 )!
( ) ( 1)
2 !( )!( 2 )!
M
m n m
n
n
m
n m
P x x
m n m n m

=

n
0
( ) 1 P x =
1
( ) P x x =
2
2
1
( ) (3 1)
2
P x x =
2
(1 ) 2 ( 1) 0 (1) x y xy n n y + + =
3
3
1
( ) (5 3 )
2
P x x x =
Dada la ecuacin de Shrdinger y la gran
variedad de problemas que requieren el uso de
coordenadas esfricas


Es necesario resolver la ecuacin de Shrdinger
independiente del tiempo. Siguiendo con la
separacin de variables.


Al hacer la separacin de variables
Relacin con la mecnica
cuntica
h

2
2
2
V i h
m
V + + + =
t
c+
c
h

2
2
2
2 2 2 2 2
1 1 1
[ ( ) (sin ) ( )]
2 sin sin
r V E
m r r r r r

u
u u u u
c c c c c
+ + + =
c c c c c
( , , ) ( ) ( , ) ( ) ( ) ( ) r R r Y R r u u u = = O u
Resolvemos sin problemas la parte azimutal y
notamos que la parte radial depende mucho del
potencial aplicado, as que su solucin debe ser
particular para cada uno.
En general, el trmino al cual estamos obligados
a resolver es el trmino angular principal theta,
cuya ecuacin diferencial queda.



Esta ecuacin no es ms que una expresin
angular de la ecuacin (diferencial) asociada de
Legendre.
Relacin con la mecnica
cuntica
2 2
sin sin ( 1) sin 0
d d
l l m
d d
u u u
u u
O
| |
(
+ + O =
|

\ .
POLINOMIOS DE LEGENDRE
Grficos de los primeros cinco polinomios de
Legendre en Wolfram Alpha:
FUNCIONES ASOCIADAS DE
LEGENDRE
La ecuacin asociada de Legendre expresada en
coordenadas esfricas:


2 2
sin sin ( 1) sin 0
d d
l l m
d d
u u u
u u
O
| |
( + + O =
|

\ .
2 2
2 2
cos
( 1) 0
sin sin
d d m
l l
d d
u
u u u u
( O O
+ + + O =
(

2
2 2 2
2
sin sin cos ( 1)sin 0
d d
l l m
d d
u u u u
u u
O O
( + + + O =

FUNCIONES ASOCIADAS DE
LEGENDRE
El objetivo es resolver esta ecuacin,
comencemos haciendo
de modo que:
cos x u =

d d d d dx d
dx d dx d d dx
u u
u u u
O O O
= =
2
sin 1
d d d
x
d dx dx
u
u
O O O
= =
2
2 2
2
1 1
d d d
x x
d dx dx u
O O
| |
=
|
\ .
FUNCIONES ASOCIADAS DE
LEGENDRE

2
2 2 1/ 2 2 1/ 2
2
(1 ) (1 ) (1 )
x
d d
x x D x
dx dx
O O
+
2 1/ 2
2
2
(1 )
2 1
x
x
D x
x
=

2 2
2
2 2
(1 )
d d d
x x
d dx dx u
O O O
=
FUNCIONES ASOCIADAS DE
LEGENDRE
La ecuacion resulta:


Simplificando un poco:



Finalmente hagamos :

2 2
2 2
2 2
2
(1 ) 1 ( 1) 0
(1 )
1
d d x d m
x x x l l
dx dx dx x
x
( O O O
| |
+ + + O =
| (

\ .

( )
( )
2 2
2
2 2
1 2 ( 1) 0
1
d d m
x x l l
dx dx x
(
O O
( + + O =

(

( )
( )
2 2
2
2
2
1 2 ( 1) 0 (3)
1
d y dy m
x x l l y
dx dx
x
(
( + + =

(

y O =
Y finalmente
hemos obtenido
la famosa
ecuacin
diferencial
asociada de
Legendre.
FUNCIONES ASOCIADAS DE
LEGENDRE
Cuando esta se reduce a la conocida la
EDO de Legendre (1), la cual acabamos de
resolver:
Ahora intentaremos resolver esta ecuacin ms
general, basndonos en la anterior, relativamente
ms sencilla:
Tratando de simplificar un poco las cosas,
hacemos el cambio de variable

de aqu:


2
2
( ) (1 ) ( )
m
y x x u x =
0 m=
( 2)
2 2
2 2
(1 ) ( 2 ) ( ) (1 )
2
m
m
dy m du
x x u x x
dx dx

= +
2
(1 ) 2 ( 1) 0 (1) x y xy n n y + + =
FUNCIONES ASOCIADAS DE
LEGENDRE
O bien podemos expresarlo de la siguiente
manera:





( )
1
2 2
2 2
(1 ) (1 )
m
m
dy du
x mx x u
dx dx

=
( )
2
2
2
(1 )
1
m
dy du mx
x u
dx dx x
(
=
(

2 2
( )
1 1 1 2
2 2 2 2 2 2
2 2 2 2 2
2 2
( 2)
(1 ) (1 ) (1 ) (1 ) 2 (1 )
2
m m m m
m
d y d u du du m
x mx x m x U mx x mx x
dx dx dx dx

= +
( ) ( )
( )
( )
1
2
2
( )
1 1
2 2 2 2 2
2 2
2
(1 ) 2 (1 ) 2 1 1
m
m
m
d y
x mx x m x x m x u
dx

= +
( )
( )
2
2 2 2
2
2 2 2
2
2 ( 1) 1
1
1
1
m
d y d u mx du m x
x mu
dx dx x dx
x
(
| |

( | = +
|

(
\ .

FUNCIONES ASOCIADAS DE
LEGENDRE
Sustituyendo estas derivadas en la ecuacin (3) y
eliminando los trminos comunes obtenemos:



Simplificando un poco:
( )
( )
( ) ( )
2
2
2 2 2
2
2 2
2 2
( 1)
2
1 2 2 ( 1) 0
1
1 1
m
m m x m u
d u du dy mx m
x mx x u l l u
dx dx dx x
x x
(

( + + + + =

(

( )
2 2 2 2 2 2
2
2 2
2 ( 1)
1 2( 1) 0
(1 )
d U du m x mx m mx m l l
x m x u
dx dx x
( + + +
+ + =
(

( )
2 2 2 2
2
2 2
( )
1 2( 1) ( 1) 0
(1 )
d u du m m x m m
x m x l l u u
dx dx x
( +
+ + + + =
(

( ) | |
2
2
2
1 2( 1) ( 1) ( 1) 0 (4)
d u du
x m x l l m m u
dx dx
+ + + + =
( )
( )
2 2
2
2 2
1 2 ( 1) 0 (3)
1
d y dy m
x x l l y
dx dx x
(
( + + =

(

FUNCIONES ASOCIADAS DE
LEGENDRE
La expresin anterior (4) se v mucho mas
sencilla que (3) incluso se parece bastante a (1)
tanto que se puede pensar que hay una relacin
directa entre ellas.
Buscamos una relacin entre estas ecuaciones
comenzamos derivando (1) varias veces, quiz
y haciendo explcito el hecho de que la solucin
de (1) son los polinomios de Legendre


Con la ayuda de la frmula de Leibniz para
diferenciar m veces los productos de funciones.
2
(1 ) 2 ( 1) 0 (1) x y xy n n y + + =
( )
( )
2 2
2
2 2
1 2 ( 1) 0 (3)
1
d y dy m
x x l l y
dx dx x
(
( + + =
(

2
(1 ) ( ) 2 ( ) ( 1) ( ) 0 (1) '
n n n
x P x xP x n n P x + + =
m
FUNCIONES ASOCIADAS DE
LEGENDRE
Si


Pero ya que que
hace de esta un caso especial de (4)
Lo mismo sucede para m=2 , 3 , 4,
Para genrico..


( ) ( )
2
2
2
( ) ( ) ( )
1 2( 1) [ 1 ( 1)] 0
m m m
n n n
m m m
d P x d P x d P x d d
x m x l l m m
dx dx dx dx dx
| | | |
+ + + + =
| |
\ . \ .
( ) ( )
2
2
2
( ) ( ) ( )
1 4 1 2 0
n n n
dP x dP x dP x d d
x x l l
dx dx dx dx dx
| | | |
+ + = (
| |
\ . \ .
( ) ( )
1 1 2 m m m + = + =
2 m>
1 m =
1 m =
La ecuacin anterior es una prueba de que:


Es solucin de (4). Ahora recordamos que
inicialmente queramos la solucin de (3) para la cual
hicimos el cambio de variable:

Entonces la solucin general es realmente:


Para la cual ha valido la pena introducir una nueva
notacin.


FUNCIONES ASOCIADAS DE
LEGENDRE
( )
( )
m
n
m
d P x
u x
dx
=
2
2
( )
( ) ( ) (1 )
m
m
m
n
n
m
d P x
y x P x x
dx
= =
( )
( )
2 2
2
2 2
1 2 ( 1) 0 (3)
1
d y dy m
x x l l y
dx dx x
(
( + + =
(

2
2
( ) (1 ) ( )
m
y x x u x =
FUNCIONES ASOCIADAS DE
LEGENDRE
Tambin podemos escribir esta ecuacin en
coordenadas esfricas, sustituyendo (o
bien cualquier otro argumento, por supuesto).
As, la ecuacin anterior queda:



y ya que , notamos que
siempre un polinomio en multiplicado por
si es impar.


cos x u =
2
2
( )
( ) ( ) (1 )
m
m
m n
n m
d P x
y x P x x
dx
= =
2
2
(cos )
(cos ) (1 cos )
m
m
m
n
n
m
d P
P
dx
u
u u =
1
2
2
(1 cos ) sin u u =
(cos )
m
n
P u
cosu sinu m
FUNCIONES ASOCIADAS DE
LEGENDRE
Regresando a la Mecanica Cuntica, obtenemos
as las soluciones para la parte angular de
la ecuacin de Schrodinger;en forma general:


donde es la constante de normalizacin.

Veamos ahora estos polinomios y funciones en
de forma grfica

( ) u O
( ) (cos )
m
l
AP u u O =
A
cosu
FUNCIONES ASOCIADAS DE
LEGENDRE
Por ejemplo, al calcular obtenemos:


0
2
(cos ) P u
( )
0 2
2
1
3cos 1
2
P u =
FUNCIONES ASOCIADAS DE
LEGENDRE
Al realizar las grficas para los polinomios de
Legendre pero ahora con argumento
obtenemos:
cos x u =
BIBLIOGRAFA
Arfken, G. B., & Weber, H. J. (2001). Mathematical
Methods for Physicists 5th Ed. San Diego, CA:
Harcourt.
Kreyszig, E. (2006). Advanced Engineering
Mathematics 6th Ed. Columbus, Ohio: Wiley.
Griffiths, D. (1995). Introduction to Quantum
Mechanics. New Jersey: Prentice Hall.
Weisstein, Eric W. "Legendre Differential Equation."
From MathWorld--A Wolfram Web Resource.
http://mathworld.wolfram.com/LegendreDifferentialEq
uation.html
Wolfram. (n.d.). Legendre Polynomial. Retrieved
March 08, 2011, from Wolfram Mathworld:
http://mathworld.wolfram.com/LegendrePolynomial.ht
ml