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 Q
n
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

1
0
P
n
dx
Ejercicio 2 Desarrollar en Serie de F-L la funcin u(x) en x ] 1 1[
Ejercicio 3 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

1
1
P
n
dx = 0 para n > 0
Ejercicio 5 Calcular P
n
(0)
Ejercicio 6 Calcular

1
0
x P
n
dx
Ejercicio 7. Desarrollar en Serie de F-L a la funcin | x | en x ] 1 1[
Ejercicio 8.- Calcular

1
1
x
n
P
k
dx = 0 para n > 0
Ejercicio 9 Calcular

0
2 / 1
) cos (cos
) 2 / ) 1 n 2 cos((

+
d

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 ECUACIN MODELO
Laplace
2
u = 0 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
Poisson
2
u = f 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
Fourier
2
u = b u
t
Propagacin del calor
DAlembert
2
u = a u
tt
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.
Raleigh
2
u = a u
tt
+ b u
t
Propagacin de seales telegrficas
Schrdinger
2
u = c(E-V) u Propagacin de ondas en la mecnica ondulatoria
a)Probabilidad de posicin de una partcula cuya funcin de onda es u
General
2
u = a u
tt
+ b u
t
+ c u + f
Maxwell D = E
B = H
= E
RotE =
t
B

RotH = +
t
D

divB = 0
divD =

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 x
2
) y 2 x y + y = 0

cuya solucin general es entonces la combinacin lineal de dos soluciones linealmente independientes

y(x) = A y
1
(x) + B y
2
(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 P
n
(x) + B Q
n
(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.

T
1
.- x = cos
(1 x
2
) y 2 x y + y = 0 y



+ cotg y



+ y = 0

y(x) = A y
1
(x) + B y
2
(x) y( ) = A y
1
(cos ) + B y
2
(cos )

= ( +1) = n N
y(x) = A P
n
(x) + B Q
n
(x) y( ) = A P
n
(cos ) + B Q
n
(cos ).


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

Partiendo de la Ecuacin de Legendre cannica

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

Cambiando de variable x = cos

y
x
=

'
'
x
y
=

sin
y'

y
xx =
[

sin
y ' '
+

2
sin
y'
cos ]

[
sin
1
]

Reemplazando estas expresiones en la ED resulta

sin
2
[

2
sin
y ' '

3
sin
y'
cos ]

2 cos [

sin
y'
] + y = 0

y

+ cotg y

+ y = 0

que es la ED modificada, cuya solucin general ser de la forma:

y() = A y
1
(cos) + B y
2
(cos)

si = (+1) con = n N las soluciones con Polinomios de Legendre de orden n tendrn la solucin
general de la forma:

y( ) = A P
n
(cos ) + B Q
n
(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.


T
2
.- z = xa
(1 x
2
) y 2 x y + y = 0 (1 ( z + a)
2
) y 2 (z + a) y + y = 0

Partiendo de la ED cannica:

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

z = xa x = z + a
x 1 = z + a 1
x + 1 = z + a + 1

se obtiene la segunda forma de ED modificada:

(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.

T
3
.- y =
2 / 1
) (sin
z


= ( +1)
(1 x
2
) y 2 x y + y = 0 z + [ ( +
2
1
)
2
+
2
) (sin 4
1

] z = 0

A partir de la ED modificada

y

+ cotg y

+ y = 0

por el cambio de variable

y =
2 / 1
) (sin
z

y =
2 / 1
) (sin
' z

2
1

2 / 3
) (sin
cos z

y =
2 / 1
) (sin
' ' z

2
2
1

2 / 3
) (sin
cos ' z

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

+
2
1
2 / 3
) (sin
sin z

Reemplazando en:

y

+ cotg y

+ y = 0

queda:

2 / 1
) (sin
' ' z

2 / 3
) (sin
cos ' z

+
4
3
2 / 5
2
) (sin
) (cos z

+
2
1
2 / 1
) (sin
z

+ cotg[
2 / 1
) (sin
' z

2
1
2 / 3
) (sin
cos z

] +
2 / 1
) (sin
z

= 0

z + [
4
3
2
2
) (sin
) (cos

+
2
1

2
1
2
2
) (sin
) (cos

+ ] z = 0

Eligiendo = (+1)

z + [
4
1
2
2
) (sin
) (sin 1

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

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

] z = 0


3.- RESOLUCIN DE LA ECUACIN DIFERENCIAL DE LEGENDRE.

3.1.- SOLUCIN POR EL MTODO DE FUCHS EN V(0)

La ED Legendre

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

tiene por campo de convergencia a

p(x) =
2
x 1
x 2

CV(p) = { | x | < 1}
CV(y) = { | x |<1}
q(x) =
2
x 1

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

Se ensaya la solucin aplicando el mtodo de Fuchs

y =

=0 k
C
k
x
k + r

y =

=0 k
C
k
(k + r)

x
k+ r 1

y =

=0 k
C
k
(k + r) (k + r 1) x
r + k 2


y =

=0 k
C
k
x
k + r

2 x y =

=0 k
2 C
k
(k+r)

x
k+ r

(1 x
2
) y =

=0 k
C
k
(k + r) (k + r 1) x
k + r 2
+

=0 k
C
k
(k + r) (k + r 1) x
r + k


0 =

Tomando el coeficiente de la potencia x
k + r 2
se forma la Ecuacin de Recurrencia

C
k
(k + r) (k + r 1) C
k 2
[ (k + r 2) (k + r 3) + 2 (k + r 2) ] = 0

C
k
(k + r) (k + r 1) C
k 2
[ (k + r 2) (k + r 1) ] = 0


Que lleva a la Ecuacin caracterstica

C
0
(r) (r 1) = 0

de donde

r
1
= 1; r
2
= 0; = 1

Se est en presencia de un caso III de Fuchs cuyo subcaso se discrimina en la ecuacin de recurrencia con:
r = r
2
= 0 k = = 1

C
1
(1) (0) C
1
[ (1) (0) ] = 0

Donde se observa que la Condicin Complementaria C
1
[ (1) (0) ] = 0 es siempre nula porque
C
1
= 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 =

=0 k
C
k
x
r + k


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 + ) 4 / 1 (

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):

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


resulta entonces:

C
0
= C
0
arbitrario y no nulo.

C
1
= 0 vlido para la primera solucin, y elegido arbitrariamente nulo para la segunda. Adems se arrastra

C
1
= 0 C
2p+1
= 0

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

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


Entonces:
y(x, r) = C
0


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

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

y
1
= y(x,r)
1 r r
1
= == = = == =
= C
0


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

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

y
2
= y(x,r)
0 r r
2
= == = = == =
= C
0


+ + + +
= == =0 p
(2p)!
) 1 - (2p ... ) (3 ) (1 ) - 2 - (2p ... ) - (2 ) (- + ++ + + ++ + + ++ +
x
2p

Estas soluciones y
1
e y
2
son las funciones de Legendre que generan a la solucin general de la Ecuacin de
Legendre como la combinacin lineal:

y = A y
1
+ B y
2
CV(y) = { | x |< << <1}





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 C
0
se fija de manera tal que dichos Polinomios,
llamados de Legendre P
n
(x) , tengan valor 1 para x = 1.

n N {0}

C
0
: P
n
(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 y
1
, 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 p > (n 1)/2 C
2p
= 0

y
1
= P
n
(x) = C
0



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

Con la convencin que C
0
: P
n
(1) = 1



II.- En la segunda solucin y
2
, 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 C
2p
= 0

y
2
= P
n
(x) = C
0


= == =
2 / n
0 p
(2p)!
) n 1 - (2p ... ) n (3 ) n (1 n) - 2 - (2p ... n) - (2 (-n) + ++ + + ++ + + ++ +
x
2p

siempre con la convencin que C
0
: P
n
(1) = 1



3.2.2.- TABLA DE LOS PRIMEROS POLINOMIOS DE LEGENDRE




n
y
1
(x) si n Par
y
2
(x) si n Impar

C
0

P
n
(x)

0

C
0


1

1

1

C
0
x

1

x

2
C
0
[ 1
! 2
3 . 2
x
2
]
2
1

2
1
[ 3 x
2
1]

3
C
0
[ x
! 3
5 . 2
x
3
]
2
3

2
1
[ 5 x
3
3 x]

4
C
0
[ 1
! 2
5 . 4
x
2
+
! 4
7 . 5 . 2 . 4
x
4
]
8
3

8
1
[ 35 x
4
30 x
2
+ 3]

5
C
0
[ x
! 3
7 . 4
x
3
+
! 5
9 . 7 . 2 . 4
x
5
]
8
15

8
1
[ 63 x
5
70 x
3
+ 15]




















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 x
2
) 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 ( z
) 1 z ( 2
+ ++ +
+ ++ +
CV(p) = { 0 < << < | z | < << < 2}
CV(y) = { 0 < << < | z | < << < 2 }
q(x) =
) 2 z ( z + ++ +

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





Aplicando el mtodo de Fuchs
y =

=0 k
C
k
z
r + k

y =

=0 k
C
k
(r+k)

z
r + k 1

y =

=0 k
C
k
(r+k) (r+k 1) z
r + k-2


y =

=0 k
C
k
z
r + k

2 (z+1) y =

=0 k
2 C
k
(r+k)

z
r + k
+

=0 k
2 C
k
(r+k)

z
r + k1

z (z+2) y =

=0 k
C
k
(r+k) (r+k1) z
r + k
+

=0 k
2 C
k
(r+k) (r+k1) z
r + k1


Tomando el coeficiente de la potencia z
r + k1
se forma la Ecuacin de Recurrencia

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

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



Que lleva a la Ecuacin caracterstica

C
0
2 r
2
= 0

de donde

r
1
= 0; r
2
= 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 + ) 4 / 1 (

y se completa el cuadrado perfecto dentro del radicando, tomando = (+1)

= 1/2 ( + 1/2) = + 1
=

queda

C
k
2 (r+k)
2
+ C
k 1
(r+k 1 ) (r+k+ ) = 0

Para hallar la primera solucin y
1
con r
1
= 0;

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


De donde eligiendo C
0
= 1 recordando la convencin P
n
(x)
1 x =
= P
n
(z)
0 z =
= 1

C
0
= 1

C
1
=
1 2
) 1 ( ) (
2
+

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

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

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


Entonces la primera solucin de la ecuacin de Legendre es:

y
1
=

=0 k

) (k! 2

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




3.3.2.- SEGUNDA EXPRESIN DE LOS POLINOMIOS DE LEGENDRE

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

P
n
(z) =

= == =
n
0 k








k
n







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

P
n
(x) =

=
n
0 k








k
n







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


En efecto:
k n+1
) 1 k n (
1
+
= 0

y
1
=

=
n
0 k

) (k! 2

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


Si k = n entonces:

C
k
=
2 k
) (k! )! k (n 2
)! k (n

+
=
2 k
) (k! n! )! k (n 2
)! k (n n!

+


C
k
=
k
2
1

k
n

+
k
k n


y
1
=

= == =
n
0 k








k
n







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


=: P
n
(z)




3.3.3.- TERCERA REPRESENTACIN: FRMULA DE OLINDO RODRIGUES

Lema

(x
2
1) = (x 1) (x + 1)

= z (z + 2)

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


=

=
n
0 k

k
n
z
k+n
2
n k


D
(n)
(x
2
1)
n
=

=
n
0 k

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


=

=
n
0 k

k
n

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

= 2
n
n!

=
n
0 k

k
n

+
k
k n
(z/2)
k


= 2
n
n! P
n
(z)




De aqu resulta la frmula de Olindo Rodrigues.

P
n
(x) =
n! 2
1
n
D
(n)
(x
2
1)
n


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



n
Frmula de Olindo
Rodrigues
P
n
(x)

P
0
(x)
! 0 2
1
0
D
(0)
(x
2
1)
0


1

P
1
(x)
! 1 2
1
1
D
(1)
(x
2
1)
1


x

P
2
(x)
! 2 2
1
2
D
(2)
(x
2
1)
2
2
1
[ 3 x
2
1]

P
3
(x)
! 3 2
1
3
D
(3)
(x
2
1)
3

2
1
[ 5 x
3
3 x]

P
4
(x)
! 4 2
1
4
D
(4)
(x
2
1)
4

8
1
[ 35 x
4
30 x
2
+ 3]

P
5
(x)
! 5 2
1
5
D
(5)
(x
2
1)
5

8
1
[ 63 x
5
70 x
3
+ 15]


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

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


=
k
1
+
+
1 k
1
+
+
2 k
1
+
+ ... +
1
1
+
+

1
+
) (
) ( '




Para el caso de = 1 y k = p 1 la expresin se reduce a:

) 1 p (
) 1 p ( '
+
+

=
p
1
+
1 p
1

+
2 p
1

+ ... +
2
1
+ 1 +
) 1 (
) 1 ( '

y definiendo la Suma Armnica H(p) de p trminos

H(p) :=
p
1
+
p
1
+
1 p
1

+
2 p
1

+ ... +
2
1
+ 1
H(0) := 0

Queda

) 1 p (
) 1 p ( '
+
+

= H(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

C
k
2 (r+k)
2
+ C
k 1
(r+k 1 ) (r+k+ ) = 0

Se halla la solucin y(z, r)

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


resulta entonces:

C
0
= C
0


arbitrario y no nulo.

C
k
= C
0

2 k
)] k (r ... 2) (r ) 1 [(r 2
) k r ( ... ) 2 r ( ) 1 r ( ) 1 k r ( ... ) 1 r ( ) r (
+ + +
+ + + + + + +

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


Para simplificar se elige la constante C
0
de manera que:

1 = C
0
) 1 r (
) 1 r (
+ +
+

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


Se destaca que para r =0 se mantiene la convencin establecida para los Polinomios de Legendre

C
0
=
) 1 ( ) 1 (
) 1 (
2
+
+
= 1 = P
n
(x)
1 x =
= P
n
(z)
0 z =
= 1

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

y(z, r) = z
r

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

y(z, r) =

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


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

y
1
= y(z, r)
0 r r
1
= =
=

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


que es la solucin y
1
ya hallada anteriormente.


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

y
2
=
r
) r , z ( y

0 r r
2
= =
=
= y
1
Lz +

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

= y
1
Lz +

+
=0 k
) 1 k (
) 1 k (
+
+ +
2
) ! k (
1
[
) 1 k (
) 1 k ( '
+ +
+ +
+
) 1 k (
) 1 k ( '
+
+
2
1) (k
) 1 k ( '
+
+
]
k
k
2
z


= y
1
Lz + H
2
(z)


En el caso de = n N {0} la solucin y
1
se reduce al Polinomio P
n
(z) de grado con = n . Y en la
segunda solucin y
2
la serie H
2
(z)

se reduce a un polinomio porque:
k n+1
) 1 k n (
1
+
= 0
H
2
(z) =

= == =
n
0 k
)! k (n
)! k (n

+
2
) ! k (
1
[
) 1 k (n
) 1 k (n '
+ +
+ +
+
) k 1 (n
) k 1 (n '
+
+
2
1) (k
) 1 k ( '
+
+
]
k
k
2
z

Que en funcin de la Suma Armnica H(p) queda:

H
2
(z) =

= == =
n
0 k
)! k (n
)! k (n

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


Entonces la segunda solucin es de la forma:

y
2
=
r
) r , z ( y

0 r r
2
= =
= Q
n
(z)
= P
n
(z) Lz +

= == =
n
0 k
)! k (n
)! k (n

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


Si k = n entonces como ya se ha visto:

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

+
=
2 k
) (k! n! )! k (n 2
)! k (n n!

+
=
k
2
1

k
n

+
k
k n


Q
n
(z) = P
n
(z) Lz +

= == =
n
0 k

k
n

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




3.4.3.- SEGUNDA SOLUCIN POR REDUCCIN DEL ORDEN EN
V(1)

Por el mtodo de reduccin del orden la segunda solucin y
2
(z) est dada por:

y
2
(z) = y
1
(z)

) (y
1
2
1
exp (

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

) (y
1
2
1
exp (

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

) (y
1
2
1
[
z
1

2 z
1
+
] dz
Como por lo visto el trmino independiente de y
1
(z) es C
0
= 1

C
0
= 1
) (y
1
2
1
H/V(0)
y adems


2 z
1
+
H/V(0)
) (y
1
2
1
2 z
1
+
H/V(0)

= y
1
(z)

z
1
H
3
(z) dz
= y
1
(z) [ L(z) + H
4
(z)]

= y
1
(z) L(z) + H
2
(z)

Obs: Ntese que la segunda solucin y
2
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

y
2
= Q
n
(z) = P
n
(z)

P
1
2
n
exp (

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

Q
n
(z) = P
n
(z) Lz + H
2
(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.

Q
n
= P
n

2
n
2
) P )( x 1 (
1

dx

La forma de la segunda solucin es entonces:

Q
n
= u P
n
(x)

que introducida en la Ecuacin Diferencial da:

(1x
2
) [u P
n
+ 2 u P
n
+ u P
n

] 2x [u P
n
+ u P
n
] + n(n+1) u P
n
= 0

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

2 x P
n
+ n(n+1)] u = 0

(1x
2
) P
n
u + [ 2 (1x
2
) P
n
2 x P
n
] u = 0

por lo tanto

' u
' ' u
+ 2
n
n
P
' P

2
x 1
x 2

= 0
L u + L (P
n
)
2
+ L (1 x
2
) = 0

u =
2
n
2
) P )( x 1 (
1

u =
2
n
2
) P )( x 1 (
1

dx

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

Q
n
= P
n

2
n
2
) P )( x 1 (
1

dx

Para obtener la expresin de Q
n
se considera

2
n
2
) P )( 1 x (
1

=
1 x
A

+
1 x
B
+
+

=
n
1 k
2
k
k
) x x (
D

+
k
k
x x
E

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

A =
2
n
)) 1 ( P .( 2
1
=
. 2
1

B =
2
n
)) 1 ( P .( 2
1

=
. 2
1


El clculo de los coeficientes D
k
es el siguiente:

Llamando f(x) a la funcin a descomponer por fracciones simples, la expresin de los coeficientes D
k
es

D
k
=
k
x x
lim

(x-x
k
)
2
f(x)

por lo tanto recordando que P
n
(x
k
) = 0

2
n
2
2
k
)) x ( P )( 1 x (
) x x (

=
2
k
k n 2
]
x x
) x ( P ) x ( P
)[ 1 x (
1

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

El valor de los E
k
se obtiene a partir de:

E
k
=
k
x x
lim

D (x-x
k
)
2
f(x)

reemplazando f(x)

D
2
n
2
2
k
)) x ( P )( 1 x (
) x x (

=
4
n
2 2
n n
2 2
n
2
k
2
n
2
k
P ) 1 x (
] ' P P 2 ) 1 x ( xP 2 [ ) x x ( P ) 1 x )( x x ( 2

+

=
n
2 2
k
P ) 1 x (
) x x ( 2

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


El primer factor tiende a un valor no nulo

n
2 2
k
P ) 1 x (
) x x ( 2

k
x x

' P ) 1 x (
2
n
2 2

0

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


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

Simplificando y reemplazando en virtud de la ED 2x P
n
+ (x
2
1) P
n
= n(n+1) P
n


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

Aplicando L'Hospital otra vez

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

k
x x
0

Por lo tanto

E
k
= 0



Observacin: Otra forma de asegurar que E
k
= 0 es a partir de que Q
n
H/x
k
pues el Campo de
Convergencia de las soluciones de Legendre en el V(0) era CV(y) = { | x |< << <1} .

Suponiendo lo contrario que E
k
0

E
k
0

k
k
x x
E

dx = E
k
L(x - x
k
)

esto implica Q
n
H/x
k
lo cual es absurdo.


volviendo a las fracciones simples

2
n
2
) P )( 1 x (
1

=
1 x
A

+
1 x
B
+
+

=
n
1 k
2
k
k
) x x (
D

+
k
k
x x
E

queda entonces:
2
n
2
) P )( 1 x (
1

=
1 x
2 / 1

1 x
2 / 1
+
+

=
n
1 k
2
k
k
) x x (
D

integrando este resultado
u =
2
n
2
) P )( x 1 (
1

dx =

1 x
2 / 1

1 x
2 / 1
+
+

=
n
1 k
2
k
k
) x x (
D

u =
2
1
L
x 1
x 1

+
+

=
n
1 k
) x x (
D
k
k

se obtiene finalmente

Q
n
= u P
n
(x) = P
n
(x) [
2
1
L
x 1
x 1

+
+

=
n
1 k
) x x (
D
k
k

]

que es otra forma de presentar a la segunda solucin Q
n



3.5.2.- TABLA DE LAS PRIMERAS FUNCIONES Q
n
DE LEGENDRE


Los primeros valores de Q
n
son:



n
Q
n
(x) Q
n
(x)

Q
n
(x)

Q
0
(x)

) (
2
x 1
1

dx
2
1
L
x 1
x 1

+


Q
0
(x)

Q
1
(x)
x
2 2
x x 1
1
) (
dx
2
1
x L
x 1
x 1

+
1

P
1
Q
0
1

Q
2
(x)
P
2

2
2
2
P x 1
1
) )( (
dx
2
1
P
2
L
x 1
x 1

+

2
3
P
1 P
2
Q
0

2
3
P
1
= P
2
Q
0

2
3
x

Q
3
(x)
P
3
2
3
2
P x 1
1
) )( (
dx
2
1
P
3
L
x 1
x 1

+

3
10
P
2

3
1
P
0

P
3
Q
0

3
5
P
2

6
1
P
0
= P
3
Q
0

2
5
x
2
+
3
2






















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: P
n
(x) P
n
(x) =
n
2
1
i 2
1





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


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)
! n
) x ( f
) n (
=
i 2
1

1 n
) x t (
) t ( f
+

dt


eligiendo f(t)

f(t) =
! n 2
1
n
(t
2
1)
n


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

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

dt

siendo

f
(n)
(x) = P
n
(x)

queda la frmula de Schlafli

P
n
(x) =
n
2
1
i 2
1





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


dt



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

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


T. Representacin Integral de Laplace de los Polinomios de Legendre
Def P
n
(x) |x| < 1 x = cos P
n
(cos ) =

0
(cos + i sin cos )
n
d
x > 1 x = ch P
n
(ch ) =

0
(ch + sh cos )
n
d

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


t
2
1 = 1 + cos
2
+ 2 cos sin e
i
+ sin
2
e
i2

= 1 + 1 sin
2
+ 2 cos sin e
i
+ sin
2
e
i2

= 2 cos sin e
i
+ sin
2
( e
i2
1)
= 2 cos sin e
i
+ sin
2
e
i
( e
i
e
i
)
= 2 sin e
i
(cos + i sin sin )

reemplazando en Schlafli resulta

P
n
(cos) =
i 2
1

n
2
1

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

) 1 n ( i 1 n
e sin
1
sin e
i
i d

P
n
(cos) =
2
1

+
+
2
0
(cos + i sin sin)
n
d

Cambiando de variable /2

P
n
(cos) =
2
1

+
+
2 2 /
2 /
(cos + i sin cos)
n
(d)

En particular invirtiendo el orden de integracin y tomando =

P
n
(cos) =
2
1

+

(cos + i sin cos)
n
d

Por paridad

P
n
(cos) =

0
(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


t
2
1 = 1 + ch
2
+ 2 ch sh e
i
+ sh
2
e
i2

= 1 + 1 + sh
2
+ 2 ch sh e
i
+ sh
2
e
i2

= 2 ch sh e
i
+ sh
2
( e
i2
+ 1)
= 2 ch sh e
i
+ sh
2
e
i
( e
i
+ e
i
)
= 2 sh e
i
(ch + sh cos )


reemplazando en Schlafli resulta

P
n
(ch) =
i 2
1

n
2
1

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

) 1 n ( i 1 n
e sh
1
sh e
i
i d

P
n
(ch) =
2
1

+
+
2
0
(ch + sh cos)
n
d

Por paridad

P
n
(ch) =

0
(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 n N) pueden
expresarse bajo Formas Integrales semejantes a la Integral de Schlafli.

Para que la integral de Schlafli sea solucin basta que la funcin integrando:

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

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:


(t
2
1)
+1
(t
2
1)
+1
e
2i(+1)

(t x)
+2
(t x)
+2
e
2i(+2)

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

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

e
2i 4i


Ejemplo 2:



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

(t
2
1)
+1
(t
2
1)
+1
e
2i(+1)

2i(+1)







5.- PROPIEDADES: PRIMERA PARTE

5.1.- PARIDAD

T
1.
Def P
n
(x) P
n
(x) tiene la paridad de n

D
1.-
A partir de la frmula de Olindo Rodrigues

P
n
(x) =
! n 2
1
n
D
(n)
(x
2
1)
n

se implica directamente que P
n
(x) tiene la paridad de n.


5.2.- VALORES NOTABLES

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

T
.
Def P
n
(x) T
2.-
P
n
(1) = 1
T
3.-
P
n
( 1) = ( 1)
n

T
4.-
P
n
(0)
+ = 1 k 2 n
P
2k+1
(0)

= 0

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

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

D.- P
n
(cos ) =

0
(cos + i sin cos )
n
d |x| < 1
P
n
(ch ) =

0
(ch + sh cos )
n
d x > 1

Pasando al lmite en la representacin Integral de Laplace

T
2.-
P
n
(cos )

1 x
0
P
n
(1) = 1
T
3.-
P
n
(cos )


1 x
P
n
( 1) = ( 1)
n


En el caso de = /2 x = 0
T
4.-
P
n
(0) =

n
i

0
(cos )
n
d
+ = 1 k 2 n
P
2k+1
(0)

= 0

= k 2 n
P
2k
(0) =

n
i
B( k+
2
1
,
2
1
) = ( 1)
k

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



= ( 1)
k

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

= ( 1)
k

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

En particular los primeros valores de P
2k
(0) son:

P
0
(0)

P
2
(0) P
4
(0) P
6
(0) P
8
(0)
1

2
1

8
3

16
5

128
35

5.3.- ACOTACIN

Hay varios teoremas de acotacin de los Polinomios de Legendre. Algunos son los siguientes:


T
5.
Primera Acotacin de los Polinomios de Legendre



x [-1 ,1] | P
n
(x) | = | P
n
(cos ) | 1

D.-
|x| = 1 | P
n
(x) | = | P
n
(cos) | = 1

|x| < 1
| P
n
(cos) |

0
| cos + i sin cos |
n
d

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

0
| cos
2
+ sin
2
cos
2
|
n/2
d

y tambin por

0
| cos
2
+ sin
2
|
n/2
d = 1




T
6.-.
Segunda Acotacin de los Polinomios de Legendre

x ]-1 ,1[ | P
n
(x) | = | P
n
(cos ) |
2
1
sin
1
)
2
3
2
n
(
) 1
2
n
(
+ ++ +
+ ++ +



Partiendo de
| P
n
(cos) |

0
| cos
2
+ sin
2
cos
2
|
n/2
d =

2 /
0
| cos
2
+ sin
2
cos
2
|
n/2
d

2 /
0
| cos
2
+ sin
2
(1 sin
2
) |
n/2
d

2 /
0
| 1 sin
2
sin
2
|
n/2
d
Como en [0 /2] sin

2


se tiene

| P
n
(cos) | <

2 /
0
| 1 sin
2
(

2
)
2
|
n/2
d

cambiando de variable u = sin

2


= ) / 2 ( sin u
=
sin
1

sin
0
| 1 u
2
|
n/2
du
<
sin
1

1
0
| 1 u
2
|
n/2
du

cambiando de variable otra vez


=
2 / 1
v u
=
2
1
sin
1

1
0
(1 v )
n/2
v
-1/2
dv
=
2
1
sin
1
B(
2
n
+ 1,
2
1
) =
2
1
sin
1
)
2
3
2
n
(
) 1
2
n
(
+
+

P
n
(cos) | <
2
1
sin
1
)
2
3
2
n
(
) 1
2
n
(
+
+




T
7.-.
Tercera Acotacin de los Polinomios de Legendre


x ]-1 ,1[ | P
n
(x) | = | P
n
(cos ) |


2
sin n 2


Partiendo de
| P
n
(cos) |

0
| cos
2
+ sin
2
cos
2
|
n/2
d =

2 /
0
| cos
2
+ sin
2
cos
2
|
n/2
d
| P
n
(cos) | <

2 /
0
| 1 sin
2
(

2
)
2
|
n/2
d
<

2 /
0
| 1 (

2
)
2
|
n/2
d

Adems como 1 y e
y
1 (

2
)
2

2
2
)
2
(
2
sin n

e



=
2
2
2
) (
sin n 2

e





| P
n
(cos) | <

2 /
0

2
2
2
) (
sin n 2

e




d

Cambiando de variable

t = (2n)
1/2



sin
| P
n
(cos) | <

2
sin n
2


sin 2 / n
0

2
t
e

dt
| P
n
(cos) | <

2
sin n
2


+ + + +
0

2
t
e

dt =

2
sin n
2

2



P
n
(cos) | <

2
sin n 2
=
n 2

| sin |
1






5.4.- COEFICIENTES NOTABLES

T
8.-.
Def P
n
(x) Coef(x
n
) =
! n 2
1
n
D
(n)
x
2n

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


D.- Derivando n veces x
2n
se obtiene el resultado.





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


T
1.-
Los ceros de cualquier solucin de una EDLH de segundo orden son simples

H
1
L(y) := y + p(x) y + q(x) y = 0
H
2
y
1
: L(y
1
) = 0 y
1

H
3
y
1
(
k
) = 0
k
Cero simple


T
2.-
Dos soluciones li de cualquier solucin de una EDLH de segundo orden no pueden tener ceros comunes

H
1
L(y) := y + p(x) y + q(x) y = 0
H
2
y
1
: L(y
1
) = 0 y
2
: L(y
2
) = 0 {y
1
y
2
} li
H
2
y
1
(
k
) = 0 y
2
(
k
) 0


T
3.-
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)

H
1
L(y) := y + p(x) y + q(x) y = 0
H
2
y
1
: L(y
1
) = 0 y
2
: L(y
2
) = 0 {y
1
y
2
} li
H
3
y
1
(
k
) = 0 y
1
(
k+1
) = 0 ceros consecutivos
k
]
k

k+1
[ : y
2
(
k
) = 0

k
nico en [
k

k+1
]




5.5.2- ACOTACIN DE LOS CEROS

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

2
1
n
2
1
k
+

<
k
<
2
1
n
k
+


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

y



+ cotg y



+ y = 0

por el cambio de variable

y =
2 / 1
) (sin
z

queda la ED

z + [ (n +
2
1
)
2
+
2
) (sin 4
1

] z = 0

que puede compararse con la ED

w" + (n +
2
1
)
2
w = 0

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 +
2
1
)

y sus races son

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

k
=
2
1
n
k
+


por lo tanto un primer resultado es

2
1
n
1 k
+

<
k
<
2
1
n
k
+




cambiando ahora de subndice

k n+1-k

2
1
n
k n
+

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


tomando esta desigualdad para


k

n k n k n
2
1


n+1 k n+1 k n
2
1



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

2
1
n
2
1
k
+

<
k
<
2
1
n
2
1
k
+
+


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

2
1
n
2
1
k
+

<
k
<
2
1
n
k
+

6.- FRMULAS DE RECURRENCIA DE LOS POLINOMIOS DE LEGENDRE

6.1.- PRIMERA FRMULA DE RECURRENCIA

T.- Def. P
n
(x) (n+1) P
n+1
(2n+1) x P
n
+ n P
n1
= 0

D
1
.- Partiendo de la frmula de Olindo Rodrgues P
n
(x) =
! n 2
1
n
D
(n)
(x
2
1)
n

P
n+1
(x) =
)! 1 n ( 2
1
1 n
+
+
D
(n+1)
(x
2
1)
n+1
=
)! 1 n ( 2
1
1 n
+
+
D
(n)
[ D(x
2
1)
n+1
]
=
! n 2
1
n
D
(n)
[ x (x
2
1)
n
]
I.- Desarrollando esta derivada como producto de funciones

! n 2
1
n
D
(n)
[ x (x
2
1)
n
] = x
! n 2
1
n
D
(n)
(x
2
1)
n
+
! n 2
1
n
n D
(n1 )
(x
2
1)
n

= x P
n
+
! n 2
1
n
n D
(n1)
[ (x
2
1)
n
]
II.- Por otra parte derivando una vez a la misma expresin

D
(n)
[ (x
2
1)
n
x ] = D
(n1)
[ (x
2
1)
n
+ 2 n x
2
(x
2
1)
n1
]

= D
(n1)
[ (2n+1) (x
2
1)
n
+ 2n (x
2
1)
n1
]

= (2n+1) D
(n1)
(x
2
1)
n
+ 2 n 2
n1
(n1)! P
n1

Entonces
P
n+1
(x) =
)! n ( 2
1
n
D
(n)
[ (x
2
1)
n
x ] =
)! n ( 2
1
n
[(2n+1) D
(n1)
(x
2
1)
n
+ 2 n 2
n1
(n1)! P
n1
]
P
n+1
(x) =
)! n ( 2
) 1 n 2 (
n
+
D
(n1)
(x
2
1)
n
+ P
n1


III.- Eliminando D
(n1)
(x
2
1)
n
entre las dos igualdades se obtiene:

n
1 n 2 +
[ P
n+1
x P
n
] =
)! n ( 2
) 1 n 2 (
n
+
D
(n1)
[ (x
2
1)
n
] = [ P
n+1
P
n1
]


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


D
2.-
. Un segundo mtodo para llegar a la primera formula de recurrencia es partir de desarrollar el polinomio x P
n

de orden n+1 en funcin de los mismos Polinomios de Legendre:

x P
n
= c
n+1
P
n+1
+ c
n
P
n
+ c
n1
P
n1
+ ... +

Multiplicando por P
q
con (q < n 1 ) e integrando en el intervalo [1 1]

1
1
x P
n
P
q
dx = c
q

1
1
( P
q
)
2
dx q = n2 , n3 , n4 ,.., 0

La primera integral es nula porque: calculando la primitiva
2
n
n! 2
q
q!

2 x P
n
P
q
dx =

D
(n)
(x
2
1)
n
D
(q)
(x
2
1)
q
d

(x
2
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

c
q

1
1
( P
q
)
2
dx = 0

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

Queda

x P
n
= c
n+1
P
n+1
+ c
n
P
n
+ c
n1
P
n1

Los polinomios x P
n
, P
n+1
, P
n1
tienen la misma paridad, distinta de la paridad de P
n
y por lo tanto

c
n
= 0

x P
n
= c
n+1
P
n+1
+ c
n1
P
n1

para x = 1

1 = c
n+1
+ c
n1

igualando los coeficientes de x
n+1

en los dos miembros

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

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

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

c
n1
= 1 c
n+1
=
) 1 n 2 (
n
+


Finalmente

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



Ejercicio: Aplicar la frmula de Olindo Rodrigues y la relacin de recurrencia anterior para construir los
polinomios P
0
,P
1_
, P
2
, P
3,
P
4

_


P
0
(x) =
! 0 2
1
0
D
(0)
(x
2
1)
0
= 1
P
1
(x) =
! 1 2
1
1
D
(1)
(x
2
1)
1
= x
2 P
2
= 3 x P
1
P
0

P
2
(x)

=
2
1
( 3 x
2
1)
3 P
3
= 5 x P
2
2P
1
P
3
(x) =
2
1
( 5 x
3
3 x)
4 P
4
= 7 x P
1
3P
0
4 P
4
=
2
7
x ( 5 x
3
3 x)
2
1
(3 x
3
x)
P
4
(x) =
8
1
( 35 x
4
30 x
2
+ 3x
6.2.- SEGUNDA FRMULA DE RECURRENCIA

T.- Def. P
n
(x) (1 x
2
) P'
n
= (n+1) ( x P
n
P
n+1
)

D.- Para demostrar sta segunda frmula de recurrencia se puede aplicar la formula de Schlafli

P
n+1
(x) =
1 n
2
1
+
i 2
1

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

dt


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

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

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

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

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

dt

La primera Integral se desarrolla:

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

dt =

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

+
dt =

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

dt + x

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

dt

queda entonces:

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

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

dt + x

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

dt ]
1 n
2
) 2 n (
+
+
i 2
1

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

dt

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


si se integra esta expresin:

0 = (n+1)

P
n
+

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

P
n
+ x P
n

P
n
P
n+1
cte
n

P
n
+ x P
n
P
n+1
= cte

Por otra parte si se recuerda la Ecuacin de Legendre

[( 1-x
2
) P
n
] + n (n+1) P
n
= 0

y se integra

( 1x
2
) P
n
+ n (n+1)

P
n
= cte

y en virtud de la relacin anterior

( 1x
2
) P
n
(n+1) [ x P
n
P
n+1
] = cte

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

( 1x
2
) P
n
= (n+1) [ x P
n
P
n+1
]



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

T.- f(t) =

+
= n
a
n
(t a)
n
Lazo Simple Frontera D
a punto aislado Int(D)

f(t) dt = 0

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

f (t) dt =

+
= n
a
n
(t a)
n
dt

La integral de la derivada

f (t) dt =

=
0 n
n
n a
n
(t a)
n1
dt
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

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

o tambin

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

En particular resulta la Primera Ecuacin de Recurrencia:

(n+1) P
n+1
(2n+1) x P
n
+ n P
n1
= 0
6.3.- TERCERA FRMULA DE RECURRENCIA

Una tercera frmula de recurrencia es

T.- Def. P
n
(x) (2n+1) P
n
= P
n+1
P
n1


D.-
P
n+1
(x) =
)! 1 n ( 2
1
1 n
+
+
D
(n+2)
(x
2
1)
n+1

=
)! 1 n ( 2
1
1 n
+
+
D
(n+1)
D[ (x
2
1)
n+1
]
=
)! 1 n ( 2
1
1 n
+
+
2 (n+1) D
(n+1)
[

(x
2
1)
n
x]
=
! n 2
1
n
D
(n+1)
[

x (x
2
1)
n
]
=
! n 2
1
n
D
(n)
[

(x
2
1)
n
+ 2n x
2


(x
2
1)
n1
]
= P
n
(x) + 2n

P
n
(x) +
)! 1 n ( 2
1
1 n

D
(n)
(x
2
1)
n1

= P
n
(x) + 2n

P
n
(x) +

P
n1
(x)

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



































7.- FUNCIN GENERATRIZ

7.1.- PRIMERA DEMOSTRACIN DE LA FUNCIN GENERATRIZ

La expresin de la Funcin Generatriz de los Polinomios de Legendre es

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

+
=0 n
P
n
(x) h
n


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

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

+
=0 n
a
n
(x) h
n


Debe probarse entonces que;

a
n
(x) = P
n
(x)

El desarrollo propuesto es posible si x y h son suficientemente pequeos

2 / 1
) y 1 (
1

+
=0 n
! n ! n 2
)! n 2 (
n 2
y
n
=
=

+
=0 n
)! n 2 (
)! 1 n 2 (
y
n
= 1 +
2
1
y +
8
3
y
2
+ ... +
) n 2 ...( 6 . 4 . 2
) 1 n 2 ....( 5 . 3 . 1
y
n
+ con | y | < 1

haciendo y = 2xh h
2
con | 2hx h
2
| < 1

2 / 1 2
) h hx 2 1 (
1
+
= 1 +
2
1
(2xh h
2
) +
8
3
(2xh h
2
)
2
+ ... +
) n 2 ...( 6 . 4 . 2
) 1 n 2 ....( 5 . 3 . 1
(2xh h
2
)
n
+

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

= 1 + x h + (
2
3
x
2

2
1
) h
2
+ (
2
5
x
3

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

+
=0 n
P
n
(x) h
n



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.

+
=0 n

+
=0 p
CA

+
=0 n

+
=0 p
=

+
=0 p

+
=0 n



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

|

+
=0 n

+
=0 p
a
p,n
x
p
h
n
|

+
=0 n

+
=0 p
| a
p,n
| | x
p
| | h
n
|

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 a
n
(x) derivando con respecto a h el
desarrollo:
2 / 1 2
) h hx 2 1 (
1
+
=

+
=0 n
a
n
(x) h
n

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

+
=0 n
a
n
(x) n h
n-1

( x h)

+
=0 n
a
n
(x) h
n
= (1 2xh + h
2
)

+
=0 n
a
n
(x) n h
n-1


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

x a
n
a
n-1
= (n+1) a
n+1
2 x n a
n
+ (n-1) a
n-1


(n+1) a
n+1
(2n+1)x a
n
+ n a
n-1
= 0

que es la relacin de recurrencia ya encontrada para los Polinomios de Legendre P
n
(x), y como

a
0
(x) = 1 = P
0
(x)

a
1
(x) = x = P
1
(x)

se implica

a
n
(x) = P
n
(x)

resulta la Funcin Generatriz

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

+
=0 n
P
n
(x) h
n



Observacin 2: Se pueden verificar fcilmente los primeros trminos aplicando la Serie de Taylor

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


7.2.- SEGUNDA DEMOSTRACIN DE LA FUNCIN GENERATRIZ

El desarrollo de la serie
2 / 1 2
) h hx 2 1 (
1
+
=

+
=0 n
a
n
(x) h
n


tiene por coeficiente
a
n
(x) =
i 2
1

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

y cambiando de variable h = 1/u


a
n
(x) =
i 2
1

'

2 / 1 2
) u xu 2 1 (
u
+
2
1 n
u
u
+
du
a
n
(x) =
i 2
1

+ '

2 / 1 2
n
) u xu 2 1 (
u
+
du

introduciendo otro cambio de variable u t

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

u 2(t x) = t
2
1
u =
) x t ( 2
) 1 t (
2

du =
x t
u t

dt

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

a
n
(x) =
n
2
1
i 2
1

' '

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


dt

aplicando Schlafli

a
n
(x) = P
n
(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.- P
n
(x) =
! n 2
1
n
D
(n)
(x
2
1)
n
(1 x
2
) y 2 x y + n(n+1) y = 0 Forma cannica


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

Partiendo de la formula de Olindo Rodrigues
P
n
(x) =
! n 2
1
n
D
(n)
(x
2
1)
n


y llamando
w =

(x
2
1)
n
P
n
(x) =
! n 2
1
n
D
(n)
w

derivando w en forma logartmica

w
' w
=
) 1 x (
x 2 n
2

(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 P
n
(x) una integral particular de la llamada ecuacin diferencial de Legendre (caso Particular)

(1 x
2
) y 2 x y + n(n+1) y = 0 Forma cannica

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














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

Sea I

I =

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

dt = 2
n
2 i P
n
(x)
I
x
= (n+1)

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

dt = 2
n
2 i P
n
(x)
I"
xx
= (n+2)(n+1)

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

dt = 2
n
2 i P
n
(x)

Se deber verificar que I cumple:

(1 x
2
) I 2 x I + n(n+1) I = 0

reemplazando las expresiones obtenidas:

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

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

dt 2 x (n+1)

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

+ n(n+1)

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

dt =
=

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

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

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

(n+1) [ ((n+2) + 2 + n) x
2
+ (2t 2nt) x + (n+2) + n t
2
] =
=

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

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

] = 2 i R(x)

Siendo x un polo de orden n+3 el residuo ser:
R(x) =
)! 2 n (
) 1 n (
+
+
D
(n+2)
{( t
2
1)
n
[ nt
2
2t(n+1)x + (n+2) ] }
x

=
)! 2 n (
) 1 n (
+
+
{ [ nt
2
2t(n+1)x + (n+2) ] D
(n+2)
(t
2
1)
n
+ (n+2) [ 2nt 2(n+1)x ] D
(n+1)
(t
2
1)
n

+
2
1
(n+2)(n+1) [ 2n ] D
(n)
(t
2
1)
n
}
x

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

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

R(x) = 2
n
{ (1x
2
) P
n
(x) 2x P
n
(x) + (n+1) n P
n
(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 P
n
{P
n
(x)} SOG/ [1,1] ; p(x) = 1
P
m
(x) P
n
(x) =

1
1
P
m
P
n
= 0 m n

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

[ (1 x
2
) P
m
] + (m+1)m P
m
= 0 | * P
n


[ (1 x
2
) P
n
] + (n+1) n P
n
= 0 | * P
m

multiplicando las igualdades por P
n
y P
m
respectivamente se pueden restar miembro a miembro:

[ (1 x
2
) P
m
] P
n
[ (1 x
2
) P
n
] P
m
+ [(m+1)m (n+1)n] P
m
P
n
= 0

Los dos primeros trminos se pueden expresar como:

[ (1 x
2
) P
m
] P
n
[ (1 x
2
) P
n
] P
m
=

= (1 x
2
) P
m
P
n
+ (1 x
2
) P
m
P
n
(1 x
2
) P
n
P
m
(1 x
2
) P
n
P
m


= (1 x
2
) [ P
m
P
n
P
n
P
m
] + (1 x
2
) [P
m
P
n
P
n
P
m
]

Definiendo el determinante W

W :=

m n
m n
' P ' P
P P
con m n

por lo tanto

W =

m n
m n
' ' P ' ' P
P P


se puede escribir entonces

[ (1 x
2
) P
m
] P
n
[ (1 x
2
) P
n
] P
m
=

= (1 x
2
) W + (1 x
2
) W

= [ (1 x
2
) W ]

volviendo a la expresin original y reemplazando el ltimo resultado queda

[ (1 x
2
) W ] + [(m+1)m (n+1)n] P
m
P
n
= 0

integrando en [ 1 , 1]

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

1
1
P
m
P
n
= 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
1
P
m
P
n
= 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

H
1
.- EDSL (Forma Autoadjunta)

(r y')' + ( p + q) y = 0
r r' p q : R R
r' p q IR
p(x) 0

H
2
.- Condicin de Contorno

(
1
y
1
) S
(
2
y
2
) S : r W(
2
y y
1
)
a
b
= 0
T
1
i
i
=
i
(
i
R)
T
2

1

2


y
1
y
2
= 0
T
3


y
1
y
2
0
1
=
2


La Ecuacin Diferencial de Legendre

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

satisface la primera hiptesis del teorema de Sturm - Liouville con:

r = 1 x
2

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

H.- Def P
n
|| P
n
||
2
=

1
1
P
n
2
(x) dx =
1 n 2
2
+


D
1.-
Una forma de obtener la Norma es a partir del cuadrado de la Funcin Generatriz

) h hx 2 1 (
1
2
+
=

+
=0 n
P
n
2
(x) h
2n
+

+
=0 n

+
= n m , 0 m
P
n
(x) P
m
(x) h
n+m


Integrando sobre el intervalo [1,1]

1
1
) h hx 2 1 (
1
2
+
dx =
h 2
1
L
2
2
h h 2 1
h h 2 1
+
+ +

=
h
1
L
h 1
h 1

+

=
h
2

+
=0 n

1 n 2
h
1 n 2
+
+
=
h
2
( h +
3
h
3
+
5
h
5
+ ... )

Por lo tanto el resultado obtenido

+
=0 n

+

1
1
P
n
2
(x) h
2n
dx = 2

+
=0 n

1 n 2
h
n 2
+

lleva a:

1
1
P
n
2
(x) dx =
1 n 2
2
+



D
2.-
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

u v
(n)
dx

Por otro lado

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

+

= 0

p < n D
(p)
(x
2
1)
n
= D
(p)
(x 1)
n
(x + 1)
n
1
1

+

= 0
|| P
n
||
2
=

1
1
P
n
2
(x) dx =

1
1

! n 2
1
n
D
(n)
(x
2
1)
n

! n 2
1
n
D
(n)
(x
2
1)
n
dx
= (
! n 2
1
n
)
2

1
1
D
(n)
(x
2
1)
n
D
(n)
(x
2
1)
n
dx

Aplicando los lemas anteriores

|| P
n
||
2
=

1
1
P
n
2
(x) dx = (
! n 2
1
n
)
2
(1)
n

1
1
(x
2
1)
n
D
(2n)
(x
2
1)
n
dx

Como D
(2n)
(x
2
1)
n
= (2n)!

|| P
n
||
2
=

1
1
P
n
2
(x) dx =
2 n 2
) ! n ( 2
)! n 2 (

(1)
n

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

1
1
(1 x
2
)
n
dx

1
1
(1 x
2
)
n
dx = 2

+1
0
(1 x
2
)
n
dx
=
=sin x
2

2 /
0
cos
2n+1
d = B(
2
1
,n+1) =
)
2
3
n (
) 1 n ( )
2
1
(
+
+

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


de donde
|| P
n
||
2
=

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





9.4.- SISTEMA ORTONORMADO

Los Polinomios de Legendre ortonormalizados son entonces:

H.- Def P
n
{
2
1 n 2 +
P
n
(x) } SON/[ 1,1] ; p(x) = 1


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

1
1
P
n
(x) dx
pues siendo P
0
= 1 uno de los Polinomios del Sistema Ortogonal

1
1
P
n
(x) dx
=0 n
= 2

>0 n
= 0


Ejercicio 2: Calcular

1
1
2 / 1 2
) r rx 2 1 (
1
+

2 / 1 2
) R Rx 2 1 (
1
+
dx =

=

+
=0 n

+

1
1
P
n
2
(x) (rR)
n
dx
= 2

+
=0 n

1 n 2
) rR (
n
+

=
2 / 1
) rR (
2

+
=0 n

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


y en virtud del desarrollo conocido

L
x 1
x 1

+
= 2

+
=0 n
1 n 2
x
1 n 2
+
+


se obtiene:

1
1
2 / 1 2
) r rx 2 1 (
1
+

2 / 1 2
) R Rx 2 1 (
1
+
dx =
2 / 1
) rR (
1
L
2 / 1
2 / 1
) rR ( 1
) rR ( 1

+






























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
c
0
P
0
(x) + c
1
P
1
(x) + c
2
P
2
(x) + + c
n
P
n
(x) + ...

donde los coeficientes se toman en la definicin como los obtenidos a partir de la expresin:

1
1
f P
n
(x) dx = c
n

+

1
1
P
n
2
(x) dx

= c
n
1 n 2
2
+


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

f(x)
SAFL

+
=0 n
c
n
P
n
(x) .
c
n
=
2
1 n 2 +

1
1
f P
n
(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

Def. K
n
(t,x)

=

=
n
0 k

2
1 k 2 +
P
k
(t) P
k
(x)
K
n
(t,x)

: Ncleo de Fourier-Legendre

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

1
1
K
n
(t,x) dt =

1
1

=
n
0 k
2
1 k 2 +
P
k
(t) P
k
(x) dt
=

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

+

1
1
P
k
(t) dt

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

1
1
K
n
(t,x) dt =
2
1

1
1
1 dt = 1

10.3.- SUMA ENSIMA DE FOURIER-LEGENDRE

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

S
n
(x) =

=
n
0 k
c
k
P
k
(x)
=

=
n
0 k
[
2
1 k 2 +

1
1
f(t) P
k
(t) dt ] P
k
(x)

La Suma Ensima expresada en funcin del Ncleo es entonces:

S
n
(x) =

1
1
K
n
(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).

(t x)

=
n
0 k
(2k+1) P
k
(t) P
k
(x) = (n+1) [P
n+1
(t) P
n
(x) P
n+1
(x) P
n
(t) ]

Ello se hace a partir de

(2k+1) x P
k
(x) = (k+1) P
k+1
(x) + k P
k1
(x)

(2k+1) x P
k
(x) P
k
(t) = (k+1) P
k+1
(x) P
k
(t) + k P
k1
(x) P
k
(t)

(2k+1) t P
k
(t) P
k
(x) = (k+1) P
k+1
(t) P
k
(x) + k P
k1
(t) P
k
(x)

(2k+1) (t x) P
k
(t) P
k
(x) = (k+1) [ P
k+1
(t) P
k
(x) P
k+1
(x) P
k
(t) ] + k [ P
k1
(t) P
k
(x) P
k1
(x) P
k
(t) ]

se obtiene entonces la frmula o identidad de D-C

(t x)

=
n
0 k
(2k+1) P
k
(t) P
k
(x) = (n+1) [P
n+1
(t) P
n
(x) P
n+1
(x) P
n
(t) ]


10.5.- APLICACIN DE LA IDENTIDAD DE DARBOUX-CHRISTOFFEL

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

(n+1)
x 1
) x ( P ) x ( P
1 n n

+
= P
n

(x) + P
n+1
(x)

Como

(2n+1) P
n
(x) = P
n+1
(x) P
n1
(x)

sumando

=
n
0 k
(2k+1) P
k
(x) = P
0
(x) + 3 P
1
(x) + 5 P
2
(x) + + (2n+1) P
n
(x).
= 1+ [P
2
P
0
] + [P
3
P
1
] + [P
4
P
2
] + [P
5
P
3
] + ... + [P
n-1
P
n-3
] + [P
n
P
n-2
] + [P
n+1
P
n-1
]

= 1 P
0
P
1
+ P
n
+ P
n+1


= P
n
+ P
n+1



la identidad D-C en particular para t = 1
(1 x)

=
n
0 k
(2k+1) P
k
(x) = (n+1) [ P
n
(x) P
n+1
(x)]
(n+1)
x 1
) x ( P ) x ( P
1 n n

+
= P
n

(x) + P
n+1
(x)


10.6.- ESTUDIO DEL NCLEO

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

K
n
(t, x) =
2
1 n +

x t
) t ( P ) x ( P ) x ( P ) t ( P
n 1 n n 1 n

+ +


Recordando la definicin del Ncleo

K
n
(t, x) =

=
n
0 k

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

Aplicando la identidad de Darboux-Christoffel D-C

K
n
(t, x) =
2
1 n +

x t
) t ( P ) x ( P ) x ( P ) t ( P
n 1 n n 1 n

+ +



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

H
1

1
1

2
) x 1 (
) x ( f

dx
H
2
| f(

x ) | < M x ]-1 1[ S
n
(x) =
2
1 n +

1
1 x t
) t ( P ) x ( P ) x ( P ) t ( P
n 1 n n 1 n

+ +
f(t) dt
S
n
(x)
+ n

2
1
[ f(x

) + f(x
+
) ]
H
2
f Lipschitz/ V(x) S
n
(x)
+ n
f(x)
H
2


f C [ | f(

x ) | < M] / I
2
I
1
S
n
(x)
1
I / CU
f(x)
Partiendo de la expresin de la Suma Ensima

S
n
(x) =

1
1
K
n
(t,x) f(t) dt
S
n
(x) =
2
1 n +

1
1 x t
) t ( P ) x ( P ) x ( P ) t ( P
n 1 n n 1 n

+ +
f(t) dt

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

f(x) = 1 S
n
(x) = 1
S
n
(x) = 1
+ n
S(x) = 1
S(x) = f(x)

1 =
2
1 n +

1
1 x t
) t ( P ) x ( P ) x ( P ) t ( P
n 1 n n 1 n

+ +
dt
f(x
0
) =
2
1 n +

1
1
f(x
0
)
x t
) t ( P ) x ( P ) x ( P ) t ( P
n 1 n n 1 n

+ +
dt

y tambin

S
n
(x
0
) =
2
1 n +

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

+ +
f(t) dt

de donde

f(x
0
) =
2
1 n +

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

+ +
f(x
0
) dt
S
n
(x
0
) f(x
0
) =
2
1 n +

1
1
0
0
x t
) x ( f ) t ( f

[P
n+1
(t) P
n
(x
0
) P
n+1
(x
0
) P
n
(t) ] dt
S
n
(x
0
) f(x
0
) =
2
1 n +
P
n
(x
0
)

1
1
0
0
x t
) x ( f ) t ( f

P
n+1
(t) dt
2
1 n +
P
n+1
(x
0
)

+

1
1
0
0
x t
) x ( f ) t ( f

P
n
(t) ] dt

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

0
0
x t
) x ( f ) t ( f

CP/[-1 1] es continua por partes

El paso siguiente es demostrar que la diferencia S
n
(x
0
) f(x
0
) tiende a cero para n tendiendo a infinito.

I.- En primer lugar se ha visto previamente que:

| P
n
(cos) |

2
sin n 2

| P
n
(cos) |
n 2

| sin |
1

entonces
| P
n
(x
0
) |
n 2

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

2
1 n +
| P
n
(x
0
) |
2
1 n +
n 2

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

M n
1/2


Esto acota
2
1 n +
| P
n
(x
0
) | con M independiente de x.
II.- En segundo lugar el coeficiente de Fourier de f en el Ortonormado {
|| P ||
P
n
n
} es c
n
|| P
n
||
Por el Teorema de la desigualdad de Bessel (Tesis de Bessel-Riemann)

c
n
|| P
n
||
+ n
0

es decir

2
1 n 2 +

1
1
f P
n

+ n
0

o sea
n
1/2

1
1
f P
n

+ n
0

y entonces

| S
n
(x
0
) f(x
0
) | = |
2
1 n +
P
n
(x
0
)

1
1
0
0
x t
) x ( f ) t ( f

P
n+1
(t) dt
2
1 n +
P
n+1
(x
0
)

+

1
1
0
0
x t
) x ( f ) t ( f

P
n
(t) ] dt |

M n
1/2
( | C
n+1
| + | C
n
| )

donde C
n
son los coeficientes de la SAFL de la funcin
0
0
x t
) x ( f ) t ( f

. Entonces

S
n
(x
0
)
+ n
f(x
0
) x ] 1 1[

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

S
n
(x)
+ n

2
1
[ f(x

) + f(x
+
) ]


Variantes de la H
2
son las siguientes con las cuales se puede demostrar

H
2
f Lipschitz/ V(x) S
n
(x)
+ n
f(x)
H
2


f C [ | f(

x ) | < M] / I
2
I
1
S
n
(x)
1
I / CU
f(x)



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

H
1

1
1

2
) x 1 (
) x ( f

dx
H
2
| f(

x ) | < M x ]-1 1[ S
n
(x) =
2
1 n +

1
1 x t
) t ( P ) x ( P ) x ( P ) t ( P
n 1 n n 1 n

+ +
f(t) dt
S
n
(x)
+ n

2
1
[ f(x

) + f(x
+
) ]
H
2
f Lipschitz/ V(x) S
n
(x)
+ n
f(x)
H
2


f C [ | f(

x ) | < M] / I
2
I
1
S
n
(x)
1
I / CU
f(x)




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 z
0

f = P + i Q V(z
0
)
z = x + i y

z
0
es un punto de ensilladura de la funcin P, o sea donde no existe ni mximo ni mnimo, pero se cumple

f (z
0
) = 0

si f(z) puede escribirse

f(z) = f(z
0
) +
! 1
) 0 ( ' f
(z z
0
) +
! 2
) 0 ( ' ' f
(z z
0
)
2
+ ... +
! n
) 0 ( f
) n (
(z z
0
)
n
+ ...
y como f (z
0
) = 0 entonces puede aproximarse

f(z) f(z
0
) +
! 2
) 0 ( ' ' f
(z z
0
)
2

resulta entonces

I(n)
) z ( nf
0
e

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

dz
tomando

z z
0
= e
i

dz = e
i
d

de donde

| f (z
0
) (z z
0
)
2
| =
2
| f (z
0
) |

Arg ((z z
0
)
2
)+ Arg (f (z
0
)) =

2

+ Arg (f (z
0
)) =

I(n)
] i ) z ( f [ n
0
e
+

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

d
I(n)
] i ) z ( f [ n
0
e
+

| ) z ( ' ' f | n
2
0

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

P
n
(cos) =

0
(cos + i sin cos)
n
d

puede escribirse

P
n
(cos) =

0
) sin i (cos nL
e
+
d

llamando

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

f () =
+

cos sin i cos
sin sin i
f (0) = 0

f () =
2
2
) cos sin i (cos
) sin sin i ( ) cos sin i (cos cos sin i
+
+
f (0) =

i
e
sin i


entonces

I(n)
ni 2
e
| sin | n
2

11.- EJERCICIOS

Ejercicio 1.- Calcular

1
0
P
n
dx
Para n = 0

1
0
1 dx = 1

Para n > 0 Recordando la tercera Ecuacin de Recurrencia (2n+1) P
n
= P
n+1
P
n1
e integrando

(2n+1)

1
0
P
n
=

1
0
P
n+1

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

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

= 0

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

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

(2n+1)

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


= 0

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

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

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

= (1)
k

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

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

= (1)
k

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

2 k 2
) ! k ( 2
)! k 2 (
[1 +
) 1 k ( 2
1 k 2
+
+
]
= P
2k
(0) [
2 k 2
3 k 4
+
+
]
En resumen dividiendo por 2n+1 = 4k+3

1
0
P
n
dx
=0 n


= 1

= k 2 n


= 0

=
+ =
k 2 1 n
1 k 2 n
= P
2k
(0) [
2 k 2
1
+
]

Los primeros valores son

1
0
P
0

1
0
P
1

1
0
P
3

1
0
P
5

1
0
P
7

1
0
P
9


P
0
(0)
2
1
P
2
(0)
4
1
P
4
(0)
6
1
P
6
(0)
8
1
P
8
(0)
10
1


1
2
1

8
1

16
1

128
5

256
7




Ejercicio 2.- Desarrollar en Serie de Fourier-Legendre la funcin :


El coeficiente c
n
ser:

c
n
=
2
1 n 2 +

1
1
f P
n

n=0 c
0
=
2
1

1
1
f P
0
=
2
1

1
0
1 dx =
2
1

n>0 2 c
n
= (2n+1)

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

1
0
P
n
dx =

1
0
P
n+1

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

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

= 0

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

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

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


= 0 c
2k
= 0

=
+ =
k 2 1 n
1 k 2 n
= P
2k
(0) [
2 k 2
3 k 4
+
+
] c
2k+1
= P
2k
(0) [
4 k 4
3 k 4
+
+
]

c
0
c
1
c
3
c
5
c
7
c
9


P
0
(0)
4
3
P
2
(0)
8
7
P
4
(0)
12
11
P
6
(0)
16
15
P
8
(0)
20
19

2
1

4
3

16
7

32
11

256
75

512
133


f(x) =
2
1
+
4
3
P
1
(x) +
16
7
P
3
(x) +
32
11
P
5
(x) +
256
75
P
7
(x) +
512
133
P
9
(x) + ...


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) = +
2
3
P
1
(x) +
8
7
P
3
(x) +
16
11
P
5
(x) +
128
75
P
7
(x) +
256
133
P
9
(x)...


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

1
1
P
n
dx = 0 para n > 0
Partiendo de la ED e integrando en [ 1 1]

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

(1 x
2
) P
n

1
1

= n (n+1)

1
1
P
n

Para n > 0

1
1
P
n
= 0

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

1
1
P
0
P
n
=

1
1
P
n
= 0


Ejercicio 5.- Calcular P
n
(0)

Para n = 0 P
0
(0) = 0

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

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

Integrando en [0 1]
(1 x
2
) P
n

0
1
= n (n+1)

1
0
P
n

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

1
0
P
n

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

1
0
P
n
dx
= k 2 n


= 0

+ = 1 k 2 n
= P
2k
(0) (2k +1) (2k+2) [
2 k 2
1
+
] = P
2k
(0) (2k +1)


Una segunda forma de calcular P
n
(0) es a partir de la integral Schlafli
P
n
(x) =
n
2
1
i 2
1

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

dt
P
n
(x) =
n
2
) 1 n ( +
i 2
1

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

dt
P
n
(x) =
n
2
) 1 n ( +
R (
2 n
n 2
) x t (
) 1 t (
+

, 0 )
Para el calculo de este residuo en el caso de que n sea par (n = 2k) el Desarrollo de Laurent de la funcin
2 n
n 2
t
) 1 t (
+

solo existen potencias pares, por lo tanto

P
2k
(0) = 0

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

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

+
=
1 k 2
0 p
C
2k+1, p
t
2p
(1)
2k+1 p

El trmino correspondiente a

p = k+1 es C
2k+1, k+1
t
2k+2
(1)
k


P
2k+1
(0) =
1 k 2
2
) 2 k 2 (
+
+
C
2k+1, k+1
(1)
k

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

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

= (-1)
k

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

Los primeros valores son

P
1
(0) P
3
(0) P
5
(0) P
7
(0) P
9
(0)


P
0
(0) 1 P
2
(0) 3

P
4
(0) 5 P
6
(0) 7 P
8
(0) 9
1
2
3

8
15

16
35

128
315



Ejercicio 6.- Calcular

1
0
x P
n
dx
Para n=0

1
0
x 1 dx =
2
1

Para n>0 Recordando la primera Ecuacin de Recurrencia (2n+1) x P
n
= (n+1) P
n+1
+ n P
n1


(2n+1)

1
0
x P
n
= (n+1)

1
0
P
n+1
+ n

1
0
P
n1

Recordando

1
0
P
n
dx
=0 n


= 1

= k 2 n


= 0

+ = 1 k 2 n
= P
2k
(0) [
2 k 2
1
+
]

1
0
x P
n
=
+ = 1 k 2 n


= 0

= k 2 n
=

1
0
x P
2k
=
1 k 4
1
+
[(2k+1)

1
0
P
2k+1
+ 2k

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



Los primeros valores son

1
0
x P
0

1
0
x P
2

1
0
x P
4

1
0
x P
6

1
0
x P
8


5
1
[
4
3
P
2
(0)+P
0
(0)]
9
1
[
6
5
P
4
(0)+P
2
(0)]
13
1
[
8
7
P
6
(0)+P
4
(0)]
17
1
[
10
9
P
8
(0)+P
6
(0)]

5
1
[
4
3
2
) 1 (
+1]
9
1
[
6
5
8
3
+
2
) 1 (
]
13
1
[
8
7
16
) 5 (
+
8
3
]
17
1
[
10
9
128
35
+
16
) 5 (
]
2
1

8
1

48
1

128
1

256
1




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


El coeficiente c
n
ser:

c
n
=
2
1 n 2 +

1
1
| x | P
n

n=0 c
0
=
2
1
2

1
0
x dx =
2
1

n>0 2 c
n
= (2n+1)

1
1
| x | P
n
=
+ = 1 k 2 n
= 0 c
2k+1
= 0

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

1
0
x P
2k
dx
c
2k
=
2 k 2
1 k 2
+
+
P
2k
(0) + P
2k2
(0)

c
0
c
2
c
4
c
6
c
8


4
3
P
2
(0)+P
0
(0)
6
5
P
4
(0)+P
2
(0)
8
7
P
6
(0)+P
4
(0)
10
9
P
8
(0)+P
6
(0)

[
4
3
2
) 1 (
+1] [
6
5
8
3
+
2
) 1 (
] [
8
7
16
) 5 (
+
8
3
] [
10
9
128
35
+
16
) 5 (
]
2
1

8
5

16
3

128
13

256
17


f(x) =
2
1
+
8
5
P
2
(x)
16
3
P
4
(x) +
128
13
P
6
(x)
256
17
P
8
(x) + ...




Ejercicio 8.- Calcular

1
1
x
n
P
k
dx = 0 para n > 0

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

=
n
0 i
c
i
P
i
(x)
por la ortogonalidad de los Polinomios de Legendre (todos son diferentes a P
k
) se verifica que la integral es nula

1
1
x
n
P
k
dx =

1
1
[

=
n
0 i
c
i
P
i
(x) ] P
k
(x) dx = 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

u
(k)
v

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

1
1

= 0 0 < j n

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

1
1
x
n
P
k
dx =
! k 2
1
k

1
1
x
n
D
(k)
(x
2
1)
n
dx

Aplicando ahora I y II en la integral se obtiene
=
! k 2
) 1 (
k
k

1
1
[ D
(k)
x
n
] (x
2
1)
k
dx
=
! k 2
) 1 (
k
k

)! k n (
! n

1
1
x
nk
(x
2
1)
k
dx

Analizando la funcin integrando se observa que la paridad depende de x
nk
, por lo tanto

1
1
x
n
P
k
dx
par Im ) k n (
= 0

Par ) k n (
= 2

1
0
x
nk
(x
2
1)
k
dx
Tomando la integral con nk Par, y haciendo nk = 2p

1
1
x
n
P
k
dx =
k
k , n
k
2
C ) 1 (
2

1
0
x
2p
(x
2
1)
k
dx

resulta cambiando de variable x = y
1/2
una funcin B

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

1
0
y
p
(y1)
k

2
1
y
1/2
dy
=
k
k , n
2
C

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

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

Como por otra parte

(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
2
1
+
(2p+2k+1) (2p+2k1) ... (2p+3) (2p+1) (p+1/2)
Multiplicando y dividiendo por

(2p+2k) (2p+2k-2) ... (2p+4) (2p+2)
resulta
=
1 k
2
1
+

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

=
1 k 2
2
1
+

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

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

Volviendo a la integral

1
1
x
n
P
k
dx =
k
k , n
2
C

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

=
k
k , n
2
C
2
2k+1

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

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

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

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

! p
! ) k p ( +

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

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

+

Ntese que si (n-k) es par tambin (n+k) lo es.

En resumen

1
1
x
n
P
k
dx
<k n
= 0

k n

par Im ) k n (
= 0

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

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

+

En particular si n = k

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

Ejercicio 9 Calcular

0
2 / 1
) cos (cos
) 2 / ) 1 n 2 cos((

+
d
Partiendo de la expresin

P
n
(x) =
i 2
1

2 / 1 2 1 n
) z zx 2 1 ( z
1
+
+
dz

donde es un lazo en el vecinal de 0.


Eligiendo x = cos 0

Las races del radicando son:

z
2
2z cos + 1 = 0

z = cos (cos
2
1 )
1/2
= e
i

El radicando entonces puede expresarse:

z
2
2z cos + 1 = (z e
+i
)( z e
i
)

Por lo tanto
P
n
(cos) =
i 2
1

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

La relacin del integrando tiene dos puntos de ramificacin en z = e
i
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

5
=

Donde la integral sobre
5

1
y
3
son nulas porque:

5
: [0 2] z = Re
i

ML =
2 / 1 2 1 n
| 1 R 2 R | R
R 2

+

>
+
0 n
R
0

5

>
+
0 n
R
0

1
: [ ; +2] z e
+i
= r
1
e
i
= /2
ML =
2 / 1 i i
1
i 2 / 1
1
1 n i
1
i
1
| e e r e | r | e r e |
r 2
+
+ +

>

0 n
0 r
1
0

1

>

0 n
0 r
1
0

3
: [ ; +2] z e
-i
= r
3
e
i
= /2
ML =
2 / 1
3
2 / 1 i i
3
i 1 n i
3
i
3
r | e e r e | | e r e |
r 2
+ +
+ +

>

0 n
0 r
3
0

3

>

0 n
0 r
3
0

Pasando al clculo de las integrales sobre
2
y
4

2
: [ ; ] z = 1 e
i


i 2
1

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

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

(
d
=
2
1

2 / 1 i i i i in
)] e e ) e (e [ e
1
+
(
d

Operando el denominador

(e
i
e
+i
) (e
i
e
-i
) = e
i2
e
i
(e
+i
+ e
i
) + 1
= e
i
(e
i
+e
-i
) e
i
(e
+i
+ e
i
)
= e
i
( 2 cos 2 cos

)

Reemplazando en la integral
i 2
1

2
=
2
1

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


d
=
2
1

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

+

d

4
: [ ; ] z = 1 e
i

i 2
1

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

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

(
d
=
2
1

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

+

d

Reemplazando en la igualdad

5
=

resulta
0 = P
n
(cos) 2
2
1

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

+

d

P
n
(cos) =

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

+

d

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

P
n
(cos) =

0
2 / 1
) cos (cos
) 2 / ) 1 n 2 cos((

+
d








































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 z
1
de acuerdo a la proposicin


f H/V(a)

w C

z a w f(z) = 0 Existe en V(a) una nica raz de la ecuacin: z
1

z
1
= a +

+
=1 n
! n
w
n
D
(n-1)
[ f( ) ]
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 z
1
dada por:

z
1
=
i 2
1

) r , a ( c

) ( wf a
) ( ' wf 1


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

z
1
= a +

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


y adems se cumple:

da
dz
1

= 1 +

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

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

(1 2aw + w
2
)
1/2
= 1 z w

de donde

1 2aw + w
2
= 1 2z w + z
2
w
2


que lleva a una ecuacin del tipo del enunciado:

z a w
2
1
( z
2
1)

= 0

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 z
1
z
1
= a +

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

da
dz
1

= 1 +

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


que es la Funcin Generatriz de los Polinomios de Legendre
da
dz
1
=
2
w aw 2 1
1
+


Para integrar esta expresin basta tomar
z =
w
1
[ 1
2
w aw 2 1 + ]

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

w
1
[ 1
2
w aw 2 1 + ]

H ' L
0 w

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

0 w
a

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

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

y derivando

da
dz
=
2
w aw 2 1
1
+


finalmente entonces la raz buscada es
z
1
=
w
1
[ 1
2
w aw 2 1 + ]

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 z
1
fuera raz entonces:

z
1
Fr(D) f(z
1
) + g(z
1
) = 0

f(z
1
) = g(z
1
)

lo cual implica

| f | = | g |

contra la Hiptesis

z Fr(D) | f | > | g |


II.- Si 0 1 f + g no puede tener races sobre Fr(D) porque:

z
1
Fr(D) f(z
1
) + g(z
1
) = 0

f(z
1
) = g(z
1
)

lo cual implica

| f(z
1
) | > | g(z
1
) |

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() =
i 2
1

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

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:

z
1
=
i 2
1

) r , a ( c

) ( wf a
) ( ' wf 1


d
z
1
=
i 2
1

) r , a ( c a

(1 w f ( ))[ 1 +
) a (
wf

+
2
2 2
) a (
f w

+ ... +
n
n n
) a (
f w

+ ...] d

donde
(1 w f ( ))[ 1 +
) a (
wf

+
2
2 2
) a (
f w

+ ... +
n
n n
) a (
f w

+ ...] =
= 1 + w [
) a (
f

f ] + w
2
[
2
2
) a (
f

) a (
' f f

] + ... + w
n
[
n
n
) a (
f

1 n
1 n
) a (
' f f

] + ...

Calculando las integrales

i 2
1

) r , a ( c a

d = a
i 2
1

) r , a ( c
1 n
n
) a (
f
+

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

i 2
1

) r , a ( c
n
1 n
) a (
' f f

d =
)! 1 n (
1

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


Restando las dos ltimas integrales.

i 2
1

) r , a ( c
1 n
n
) a (
f
+

d
i 2
1

) r , a ( c
n
1 n
) a (
' f f

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

)! 1 n (
1

D
(n1)
[ f
n1
f ]
a =

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

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

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


Entonces

z
1
=
i 2
1

) r , a ( c

) ( wf a
) ( ' wf 1


d = a +

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










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, r
0
)
e: = carga elctrica

El problema consiste en encontrar la expresin del potencial en un punto de coordenadas M=(r,,).

Como V =
1
r
e


entonces siendo e=1

V =
1
r
1
=
+ cos r r 2 r r
1
0
2 2
0


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


V
>
0
r r
=
r
1
+ cos
r
r
2
r
r
1
1
0
2
2
0


<
0
r r
=
0
r
1
+ cos
r
r
2
r
r
1
1
0
2
0
2


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

V
>
0
r r
=
r
1

+
=0 n
(
r
r
0
)
n
P
n
(cos)

<
0
r r
=
0
r
1

+
=0 n
(
0
r
r
)
n
P
n
(cos)

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,):

V(r, ) =
1
r
e
+ u(r,)

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

u(r,) =

+
=0 n
c
n
r
n
P
n
(cos)
=

+
=0 n
c
n
(
R
r
)
n
P
n
(cos)

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>r
0
(Ver problema anterior del potencial de un campo elctrico generado por una carga puntual )

1
r
1
=
r
1

+
=0 n
(
r
r
0
)
n
P
n
(cos)

por lo tanto sobre la esfera

R
e

+
=0 n
(
R
r
0
)
n
P
n
(cos) +

+
=0 n
c
n
P
n
(cos) = 0

de donde se extrae la expresin de los coeficientes c
n


c
n
= (
R
r
0
)
n

R
e


la solucin del problema planteado es entonces

V(r, ) =
1
r
e
+ u(r,)
V(r, ) =
1
r
e
e

+
=0 n

1 n 2
n n
0
R
r r
+
P
n
(cos)
V(r, ) = e [

+
=0 n
1 n
n
0
r
r
+
P
n
(cos)

+
=0 n

1 n 2
n n
0
R
r r
+
P
n
(cos) ]

Tambin puede obtenerse la densidad superficial sobre la esfera

=
4
1

r
V

R r =


el primer termino del potencial para derivar es

1
r
1
=
r
1

+
=0 n
(
r
r
0
)
n
P
n
(cos)
1
r
1
=

+
=0 n
1 n
n
0
r
r
+
P
n
(cos)

por lo tanto
r
) r / 1 (
1

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

su valor para r = R es


r
) r / 1 (
1

R r =
=

+
=0 n
(n+1)
2 n
n
0
R
r
+
P
n
(cos)

adems la derivada del segundo trmino

r
u

+
=0 n
n
1 n 2
1 n n
0
R
r r
+

P
n
(cos)

su valor para r = R es

r
u

R r =
=

+
=0 n
n
2 n
n
0
R
r
+
P
n
(cos)

sumando los resultados la densidad superficial es
=
4
1

r
V

R r =
=
4
e

+
=0 n
(2n+1)
2 n
n
0
R
r
+
P
n
(cos)


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

Sea un anillo circular de carga e



V(r
0
, ) =
1
r
e

<
0
r c

0
r
e

+
=0 n
(
0
r
c
)
n
P
n
(cos)

>
0
r c

c
e

+
=0 n
(
c
r
0
)
n
P
n
(cos)

V(r , ) =

+
=0 n
E
n
r
n
P
n
(cos)
<
0
r c

c
e

+
=0 n
(
c
r
)
n
P
n
(cos) P
n
(cos)

>
0
r c

c
e

+
=0 n
(
r
c
)
n+1
P
n
(cos) P
n
(cos)



















12.2.3.- ECUACION DE LAPLACE EN COORDENADAS ESFRICAS

1.- Problema de Dirichlet
1.1.- Ecuacin del potencial
2
u = 0
Esfera de radio R
Simetra axial
Potencial u(R ) = f( )
| u | < M

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

u
) sin(
2
+

u
) sin(
1
+

u
) sin(

] = 0

=
2
2

+
) ( sin
2

1
2

2
2
u

+
2

1
2
2

+
) sin(
) ( cos
2

= 0

Simetra axial :=

u
=0
2
2
u

= 0

2
u =
2
2

+
2

1
2
2

+
) sin(
) ( cos
2

= 0


Aplicando el mtodo de separacin de variables de Fourier

u = P() ()

u
u
2

=
P
P
+

2

P
P
+
2

+
2

1
cotg()

= 0

2
[
P
P
+

2

P
P
] =

cotg()

=


queda el sistema de dos ecuaciones en derivadas totales

= + +
=

+
modificada Legendre 0 ) ( g cot
Euler 0 P P
2
P
2


La segunda ecuacin (de Legendre) tiene por solucin

() = A y
1
(cos() , ) + B y
2
( cos() , )

donde
= -
2
1
+
4
1


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

() = A P
n
(cos()) + B Q
n
(cos())

donde B = 0 para que la solucin sea finita

() = A P
n
(cos())

La solucin de
P +

2
P
2

P = 0
P +

2
P
2

) 1 n ( n +
P = 0

es
P() = C
n
+ D
-(n+1)

donde D=0 para que la solucin sea finita

P() = C
n


Queda
u( ) =

+
=0 n
E
n

n
P
n
(cos())

La condicin de contorno que se debe cumplir es:
u(R ) =

+
=0 n
E
n
R
n
P
n
(cos()) = f()

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

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

1
1
f (t) P
n
(t) dt

E
n
R
n
= c
n

u( ) =

+
=0 n
c
n

n
)
R
(

P
n
(cos())



1.2.-
Ecuacin del potencial
2
u = 0
Esfera de radio R
Simetra axial
Potencial u(R ) = 1 + cos( )
| u | < M


Aplicando la solucin general el problema de Dirichlet obtenido

u( ) =

+
=0 n
E
n

n
P
n
(cos())

La condicin de contorno que se debe cumplir es:
u(R ) =

+
=0 n
E
n
R
n
P
n
(cos()) = 1 + cos()

Como P
0
= 1 y P
1
= cos() queda

u(R ) =

+
=0 n
E
n
R
n
P
n
(cos()) = P
0
+ P
1


E
0
= 1

E
1
R = 1

u( ) = 1 +
R

cos()








1.3.- Ecuacin del potencial
2
u = 0
Esfera de radio R
Simetra axial
Potencial u(R ) =

] /2, [ V
/2] [0, V
2


1

| u | < M

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

u( ) =

+
=0 n
E
n

n
P
n
(cos())

La condicin de contorno que se debe cumplir es:

u(R ) =

+
=0 n
E
n
R
n
P
n
(cos())

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

f( ) =

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

1
1
f (x) P
n
(x) dx
E
n
R
n
=c
n
=
2
1 n 2 +

1
1
f (x) P
n
(x) dx
=0 n
c
0
=
2
1


= k 2 n
c
2k
=
2
1
(P
n-1
(0) P
n+1
(0)) = 0

=
+ =
k 2 1 n
1 k 2 n
c
2k+1
=
2
1
(P
n-1
(0) P
n+1
(0)) =
2
1
P
2k
(0) [
2 k 2
3 k 4
+
+
]
u( ) =

+
=0 n
c
n

n
)
R
(

P
n
(cos())
u( ) = V
2
+
2
1
( V
1
V
2
) [ 1 +

+
=0 k
P
2k
(0) [
2 k 2
3 k 4
+
+
]
1 k 2
)
R
(
+

P
2k+1
(cos()) ]
u( ) =
2
1
(V
1
+V
2
) +
2
1
( V
1
V
2
) [

+
=0 k
P
2k
(0) [
2 k 2
3 k 4
+
+
]
1 k 2
)
R
(
+

P
2k+1
(cos()) ]
u( ) =
2
1
(V
1
+V
2
) +
2
1
( V
1
V
2
) [
2
3
)
R
(

P
1
(cos())
8
7
3
)
R
(

P
3
(cos()) +
16
11
5
)
R
(

P
5
(cos())

128
75
7
)
R
(

P
7
(cos()) +.
256
133
9
)
R
(

P
9
(cos()) + ... ]














































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:

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

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

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


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


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

C
n-2
=
1) - (2n 2
1) - (n n (-1) C
n


Asimismo para k = n 3 se puede calcular tiene C
n-4




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

y as en forma sucesiva y decreciente pueden obtenerse los coeficientes de los Polinomios de Legendre
de orden Impar.


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

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

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

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


Como k<0..n > entonces para k = n se tiene C
n
: por lo tanto

C
n-2
=
1) - (2n 2
1) - (n n (-1) C
n

Asimismo para k = n 2 se puede calcular tiene C
n-4




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


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-2j
=
1) 2j - 3)...(2n - 1)(2n - (2n (2j) 2.4.6...
1) 2j - 3)...(n - 1)(n - .(n 2) 2j - 2)...(n - n(n (-1) C
j
n
+
+ +

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

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

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


Definiendo

J:= (n-1)/2 n Impar
:= n/2 n Par

Los Polinomios de Legendre son:

P
n
(x) = C
n

(2n)!
n! n!

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

Recordando la convencin

C
0
: P
n
(1) = 1

P
n
(1) = C
n

(2n)!
n! n!

=
J
0 j
2j)! - (n j)! - (n j!
2j)! - (2n (-1)
j
= 1
Como la suma vale

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

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

n! n!
(2n)!


Se implica una Cuarta expresin de los Polinomios de Legendre.

P
n
(x) =
n
2
1

=
J
0 j
2j)! - (n j)! - (n j!
2j)! - (2n (-1)
j
x
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
(x
2
1)
n
=

=
n
0 k
(1)
k

k
n
x
2n2k


Derivando n veces
D
(n)
(x
2
1)
n
=

=
n
0 k
(1)
k

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

=

=
n
0 k
(1)
k

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


Que es la primera expresin de Los Polinomios de Legendre salvo constante. Por otro lado recordando
la convencin P
n
(1) = 1

D
(n)
(x
2
1)
n
= D
(n)
[(x 1)
n


(x + 1)
n
]
=

=
n
0 k

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

D
(n)
(x
2
1)
n

1 x =
=

=
n
0 k

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

1 x =

=

n
n
D
(n)
(x 1)
n
D
(0)
(x +1)
n

1 x =

= n! 2
n


De aqu se deduce la frmula de Olindo Rodrigues

P
n
(x) =
! n 2
1
n
D
(n)
(x
2
1)
n


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

P
0
(x) =
! 0 2
1
0
D
(0)
(x
2
1)
0
= 1
P
1
(x) =
! 1 2
1
1
D
(1)
(x
2
1)
1
= x
P
2
(x) =
! 2 2
1
2
D
(2)
(x
2
1)
2
=
2
1
( 3 x
2
1)
P
3
(x) =
! 3 2
1
3
D
(3)
(x
2
1)
3
=
2
1
( 5 x
3
3 x)