Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Leg 00
Leg 00
INDICE 1.- PORQUE LEGENDRE 2.- ECUACIN DIFERENCIAL DE LEGENDRE. 2.1.- FORMA CANNICA 2.2.- FORMAS MODIFICADAS DE LA ECUACIN DE LEGENDRE 2.2.1.- PRIMERA FORMA MODIFICADA 2.2.2.- SEGUNDA FORMA MODIFICADA 2.2.3.- TERCERA FORMA MODIFICADA 3.- RESOLUCIN DE LA ECUACIN DIFERENCIAL DE LEGENDRE. 3.1.- SOLUCIN POR EL METODO DE FUCHS EN V(0) 3.2.- POLINOMIOS DE LEGENDRE 3.2.1.- OBTENCIN DE LOS POLINOMIOS DE LEGENDRE A PARTIR DE LAS FUNCIONES DE LEGENDRE. PRIMERA EXPRESIN 3.2.2.- TABLA DE LOS PRIMEROS POLINOMIOS DE LEGENDRE 3.3.- SOLUCIN DE LA ECUACIN DE LEGENDRE EN V(1) 3.3.1.- PRIMERA SOLUCIN POR EL METODO DE FUCHS EN V(1) 3.3.2.- SEGUNDA EXPRESIN DE LOS POLINOMIOS DE LEGENDRE 3.3.3.- TERCERA EXPRESIN: OLINDO RODRIGUES 3.4.- SEGUNDA SOLUCIN DE LA ECUACIN DE LEGENDRE EN V(1) 3.4.1.- LA ECUACIN DE RECURRENCIA GENERALIZADA DE 3.4.2.- SEGUNDA SOLUCIN POR EL METODO DE DALEMBERT EN V(1) 3.4.3.- SEGUNDA SOLUCIN POR REDUCCIN DEL ORDEN EN V(1) 3.5.- SEGUNDA SOLUCIN DE LA ECUACIN DE LEGENDRE EN V(0) CASO = n 3.5.1.- SEGUNDA SOLUCIN POR REDUCCIN DEL ORDEN EN V(0) CASO = n 3.5.2.- TABLA DE LAS PRIMERAS FUNCIONES Qn DE LEGENDRE 4.- REPRESENTACIONES INTEGRALES DE LOS POLINOMIOS DE LEGENDRE 4.1.- REPRESENTACIN DE SCHLAFLI 4.2.- REPRESENTACIN DE LAPLACE DE LOS POLINOMIOS DE LEGENDRE 4.3.- REPRESENTACIN INTEGRAL DE LAS FUNCIONES DE LEGENDRE 5.- PROPIEDADES: PRIMERA PARTE 5.1.- PARIDAD 5.2.- VALORES NOTABLES 5.3.- ACOTACIN 5.4.- COEFICIENTES NOTABLES 5.5.- CEROS DE LOS POLINOMIOS DE LEGENDRE 5.5.1.- PROPIEDADES DE LOS CEROS 5.5.2- ACOTACIN DE LOS CEROS 6.- FORMULAS DE RECURRENCIA DE LOS POLINOMIOS DE LEGENDRE 6.1.- PRIMERA FORMULA DE RECURRENCIA 6.2.- SEGUNDA FORMULA DE RECURRENCIA 6.3.- TERCERA FORMULA DE RECURRENCIA
7.- FUNCIN GENERATRIZ 8.- PROPIEDADES: SEGUNDA PARTE 8.1.- FORMACIN DE LA ECUACIN DIFERENCIAL DE LOS POLINOMIOS DE LEGENDRE A PARTIR DE LA FORMULA DE OLINDO RODRIGUES 8.2.- FORMACIN DE LA ECUACIN DIFERENCIAL DE LEGENDRE A PARTIR DE LA FORMULA SCHLAFLI
9.- LOS POLINOMIOS DE LEGENDRE COMO SISTEMA ORTOGONAL 9.1.- ORTOGONALIDAD 9.2.- FORMA AUTOADJUNTA DE STURM-LIOUVILLE 9.3.- NORMA 9.4.- SISTEMA ORTONORMADO 10.- SERIES DE FOURIER-LEGENDRE 10.1.- SERIE ASOCIADA DE FOURIER-LEGENDRE 10.2.- NCLEO DE FOURIER-LEGENDRE 10.3.- SUMA ENSIMA DE FOURIER-LEGENDRE 10.4.- IDENTIDAD DE DARBOUX-CHRISTOFFEL 10.5.- APLICACIN DE LA IDENTIDAD DE DARBOUX-CHRISTOFFEL 10.6.- ESTUDIO DEL NCLEO 10.7.- CONVERGENCIA 10.8.- VALOR ASINTOTICO DE LOS POLINOMIOS DE LEGENDRE 11.- EJERCICIOS Ejercicio 1 Ejercicio 2 Ejercicio 3 Ejercicio 4 Ejercicio 5 Ejercicio 6 Ejercicio 7. Calcular
Desarrollar en Serie de F-L la funcin u(x) en x ] 1 1[ Desarrollar en Serie de F-L la funcin sg(x) en x ] 1 1[ Verificar a partir de la ED de Legendre que Calcular Pn(0) Calcular
Pn dx
Pn dx = 0
para n > 0
x Pn dx
Calcular
xn Pk dx = 0
para n > 0 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
Los Polinomios de Legendre son uno de los ejemplos ms importantes de los Polinomios Ortogonales, porque aparecen como soluciones en varios problemas clsicos de la fsica como:
1.- Movimiento de los planetas: Ecuacin de Kepler. 2.- Resolucin de los modelos de la fsica con Ecuaciones Diferenciales en Derivadas Parciales (EDDP) en coordenadas esfricas. Son ejemplo de estos modelos de la fsica, los campos conservativos, no conservativos, propagacin de calor, propagacin de ondas, propagacin de seales telegrficas, propagacin de ondas de partculas simples. Una lista de algunos de los modelos ms destacados es EDDP Laplace ECUACIN 2u = 0 MODELO Potencial de campos conservativos a.- Potencial gravitatorio en el vaco b.- Potencial de velocidades de un fluido ideal incompresible, sin torbellinos, sin fuentes ni sumideros y distribucin continua. c.- Potencial electrosttico en rgimen permanente generado por corrientes elctricas en conductores aislados d.- Distribucin de Temperaturas en slidos para rgimen estacionario Potencial de campos no conservativos a.- Potencial de velocidades de un fluido ideal incompresible e irrotacional, con fuentes y sumideros y distribucin continua. b.- Potencial electrosttico con cuerpos cargados c.- Distribucin de Temperaturas en slidos para rgimen estacionario generada por focos calorficos discretos d.- Funcin de esfuerzos de torsin en barras elsticas Propagacin del calor Propagacin de ondas a.- Vibraciones de cuerdas, membranas y cuerpos slidos a.- Propagacin de ondas sonoras, luminosas, de radio etc. con velocidad independiente de la longitud de onda. Propagacin de seales telegrficas Propagacin de ondas en la mecnica ondulatoria a)Probabilidad de posicin de una partcula cuya funcin de onda es u Potenciales elctricos y magnticos
Poisson
2u = f
Fourier DAlembert
2u = b ut 2u = a utt
Algunas de las aplicaciones de los polinomios de Legendre son: 1.- Clculo de Integrales
2.- Series de Fourier-Legendre 3.- Estudio de races de z a w f(z) = 0
2.- ECUACIN DIFERENCIAL DE LEGENDRE. 2.1.- FORMA CANNICA Se define como Ecuacin Diferencial de Legendre en su forma cannica a:
Def.(1 x2) y 2 x y + y = 0
cuya solucin general es entonces la combinacin lineal de dos soluciones linealmente independientes y(x) = A y1(x) + B y2(x) Como caso particular de estas soluciones si = (+1) con = n N una de dichas soluciones es un Polinomio de Legendre de orden n. En este caso la solucin general toma la forma: y(x) = A Pn (x) + B Qn (x)
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.
La Ecuacin Diferencial de Legendre en la resolucin de Ecuaciones Diferenciales en Derivadas Parciales en los Modelos usuales de la Fsica (Campos Conservativos, Transmisin de Calor, Transmisin de Ondas, etc.) planteadas en Coordenadas Esfricas aparece bajo la primera forma modificada.
T1.(1 x2) y 2 x y + y = 0 y(x) = A y1(x) + B y2(x) x = cos y + cotg y + y = 0 y() = A y1(cos) + B y2(cos)
Esta forma modificada de la Ecuacin de Legendre se obtiene con el cambio de variable x = cos
yxx = [
y' sin
3
cos ] 2 cos [
y' ] + y =0 sin
y + cotg y + y = 0 que es la ED modificada, cuya solucin general ser de la forma: y() = A y1(cos) + B y2(cos) si = (+1) con = n N las soluciones con Polinomios de Legendre de orden n tendrn la solucin general de la forma:
y() = A Pn(cos) + B Qn(cos).
Una segunda forma modificada se obtiene por translacin z = xa para llevarla a un desarrollo en un V(a). En particular se aplicar este cambio de variable en V(1) para encontrar otras formas de las soluciones de la ED de Legendre.
T2.z = xa
(1 x2) y 2 x y + y = 0
(1 ( z + a)2) y 2 (z + a) y + y = 0
Partiendo de la ED cannica:
(1 x2) y 2 x y + y = 0
z = xa
Esta tercera forma modificada de la ED de Legendre se emplea en la acotacin de races de los Polinomios de Legendre.
T3.y=
(sin ) 1 / 2 = (+1)
(1 x2) y 2 x y + y = 0
z + [ ( +
1 2 1 ] z = 0 ) + 2 4(sin )2
1 z cos 2 (sin ) 3 / 2
Reemplazando en: y + cotg y + y = 0 queda: z' ' (sin )1 / 2 z + [ z' cos (sin ) 3 / 2 + z z' z 3 z(cos ) 2 1 1 z cos + + cotg[ ]+ =0 5 / 2 1 / 2 1 / 2 3 / 2 4 (sin ) 2 (sin ) 2 (sin ) (sin ) (sin )1 / 2
z + [
3.- RESOLUCIN DE LA ECUACIN DIFERENCIAL DE LEGENDRE. 3.1.- SOLUCIN POR EL MTODO DE FUCHS EN V(0)
La ED Legendre
(1x2) y 2 x y + y = 0
CV(p) = { | x | < 1}
CV(y) = { | x |<1}
q(x) =
1 x 2
CV(q) = { | x | < 1}
k =0
Ck x
k+r
k =0
Ck (k + r) x k+ r 1 Ck (k + r) (k + r 1) x r + k 2
k =0
y =
k =0
Ck x
k+r
2 x y = (1 x2) y = 0 =
k =0
2 Ck (k+r) x k+ r Ck (k + r) (k + r 1) x k + r 2 +
k =0
k =0
r2
Ck (k + r) (k + r 1) x r + k
r1 = 1;
r2 = 0;
=1
Se est en presencia de un caso III de Fuchs cuyo subcaso se discrimina en la ecuacin de recurrencia con: r = r2 = 0 k==1 C1 (1) (0) C1 [ (1) (0) ] = 0 Donde se observa que la Condicin Complementaria C1 [ (1) (0) ] = 0 es siempre nula porque C1 = 0. Por lo tanto la Ecuacin de Legendre es un Caso IIIA del mtodo de Fuchs, es decir las dos soluciones son de la forma general y =
k =0
Ck 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 (1 / 4) + para ello se completa el cuadrado perfecto tomando = (+1) = 3/2 ( + 1/2) = + 2 = + 1 queda [ (k + r 2) (k + r 1) ] = (k 2 + r ) (k 1 + r + ) Para hallar la Primera y Segunda solucin simultneamente se desarrollar la funcin y(x, r): Ck = C k - 2 (k - 2 + r - ) (k - 1 + r + ) (k + r)(k + r - 1) resulta entonces: C0 = C0 arbitrario y no nulo. C1 = 0 C1 = 0 C2 = C2p = vlido para la primera solucin, y elegido arbitrariamente nulo para la segunda. Adems se arrastra
C2p+1 = 0
y(x, r) = C0
p =0
r = r1 = 1
r = r1 = 1
p =0
r = r2 = 0
p=0
Estas soluciones y1 e y2 son las funciones de Legendre que generan a la solucin general de la Ecuacin de Legendre como la combinacin lineal:
y = A y1 + B y2 CV(y) = { | x |<1}
Las funciones de Legendre para ciertos valores particulares de son Polinomios. En efecto dichas funciones para valores naturales de se reducen a Polinomios. La constante C0 se fija de manera tal que dichos Polinomios, llamados de Legendre Pn(x) , tengan valor 1 para x = 1.
n N {0} C0: Pn(1) = 1 Obs: Por supuesto que en el caso de los Polinomios de Legendre su Campo de Convergencia se extiende a todo el Plano Complejo y en particular se puede estudiar su comportamiento en otros puntos como el V(1).
3.2.1.- OBTENCIN DE LOS POLINOMIOS DE LEGENDRE A PARTIR DE LAS FUNCIONES DE LEGENDRE. PRIMERA EXPRESIN
Una primera forma o expresin de los Polinomios de Legendre se deduce de la siguiente manera: I.- En la primera solucin y1, si = n es Natural e Impar se obtiene un Polinomio de orden n pues los coeficientes de la serie se anulan a partir de 2p+1 > n
= n Impar
( n1 ) / 2
y1 = Pn(x) = C0
p =0
Con la convencin que C0 : Pn(1) = 1 II.- En la segunda solucin y2, si = n es Natural y Par tambin se obtiene un Polinomio de orden pues los coeficientes de la serie se anulan a partir de 2p > n
= n Par
n/ 2
y2 = Pn(x) = C0
p =0
n 0 1 2
3 4 5
y1(x) si nPar y2 (x) si n Impar C0 C0 x 2.3 2 x ] C0 [ 1 2! 2.5 3 x ] C0 [ x 3! 4.5 2 4.2.5.7 4 x + x] C0 [ 1 2! 4! 4.7 3 4.2.7.9 5 x + x] C0 [ x 3! 5!
C0 1 1 1 2 3 2 3 8 15 8
Pn(x) 1 x
1 [ 3 x2 1] 2 1 [ 5 x3 3 x] 2 1 [ 35 x4 30 x2 + 3] 8 1 [ 63 x5 70 x3+ 15] 8
3.3.- SOLUCION DE LA ECUACION DE LEGENDRE EN V(1) 3.3.1.- PRIMERA SOLUCION POR EL METODO DE FUCHS EN V(1)
Si a la ED Legendre la llevamos al V(1) con la translacin z = x 1
(1 x2) y 2 x y + y = 0
z = x1
x=z+1 x+1=z+2
q(x) = z( z + 2 )
k =0
k =0
k =0
y = 2 (z+1) y = z (z+2) y =
k =0
Ck z r + k 2 Ck (r+k) zr + k +
k =0
k =0
2 Ck (r+k) zr + k1 +
k =0
Ck (r+k) (r+k1) z r + k
k =0
2 Ck (r+k) (r+k1) z r +
k1
II Caso de Fuchs
Para operar la Ecuacin de Recurrencia ms fcilmente se transforma el segundo trmino en producto de monomios [ (r+k-1) (r+k) ] = (r+k)2 (r+k) Para ello se buscan las races de este polinomio de 2 grado 1/2 (1 / 4) + y se completa el cuadrado perfecto dentro del radicando, tomando = (+1) = 1/2 ( + 1/2) = + 1 = queda Ck 2 (r+k)2 + Ck 1 (r+k 1 ) (r+k+ ) = 0 Para hallar la primera solucin y1 con r1 = 0; Ck = C k - 1 ( + 1 k ) (k + ) 2 k2 De donde eligiendo C0 = 1 recordando la convencin Pn(x) C0 = 1 = Pn(z) = 1
x =1
z=0
C1 = C2 =
() ( + 1) 2 12 () ( 1) ( + 1) ( + 2) 2 2 (2! ) 2
( + k + 1)
Ck =
( k + 1) 2 k (k! ) 2
y1
k =0
k =0
n
n k n k
n + k z k k (2) n + k x 1 k k ( 2 )
k =0
En efecto: k n+1
1 =0 (n k + 1)
y1
k =0
(n + k + 1) (n k + 1) 2 (k! )
k 2
zk
Si k = n entonces: Ck = (n + k )! 2
k
(n k )! (k! )
n k n k
n! (n + k )! 2
k
(n k )! n! (k! ) 2
Ck =
1 2
n
k
n + k k
y1 =
k =0
n + k z k k ( 2 ) =: Pn (z)
(x2 1) = (x 1) (x + 1) = z (z + 2) (x2 1) n = z n (z + 2) n =
k =0
n k+n n k 2 k z
D(n)(x2 1) n =
k =0 n k =0
(n + k )! k n k z 2 k!
n k n + k k k (z/2)
= 2n n!
k =0
= 2n n! Pn (z)
D(n) (x2 1) n
De la cual se deducen los primeros Polinomios de Legendre que coinciden con lo ya vistos:
Frmula de Olindo Rodrigues 1 D(0) (x2 1) 0 2 0 0! 1 D(1) (x2 1)1 1 2 1! 1 D(2) (x2 1)2 2 2 2! 1 D(3) (x2 1) 3 3 2 3! 1 D(4) (x2 1) 4 4 2 4! 1 D(5) (x2 1) 5 5 2 5!
Pn(x) 1 x
1 [ 3 x2 1] 2 1 [ 5 x3 3 x] 2 1 [ 35 x4 30 x2 + 3] 8 1 [ 63 x5 70 x3+ 15] 8
= C0
( r + 1) ( + r + k + 1) ( - r k + 1) ( + r + 1)
2 (r + 1) (r + k + 1)
2
1 2k
Para simplificar se elige la constante C0 de manera que: 1 = C0 C0 = ( r + 1) 2 (r+1) ( + r + 1) ( + r + 1) ( r + 1) 2 (r + 1) Se destaca que para r =0 se mantiene la convencin establecida para los Polinomios de Legendre C0 = ( + 1) ( + 1) 2 (1) = 1 = Pn(x) = Pn(z) = 1
x =1
z=0
k =0
( + r + k + 1) ( - r k + 1) ( + r + k + 1) ( - r k + 1)
2
1 (r + k + 1) 1 1 2k
2
1 2k
zk
y(z, r) =
k =0
(r + k + 1)
z r+k
y1 = y(z, r)
r = r1 = 0
k =0
( + k + 1) 1 ( k + 1) (k! ) 2
zk 2k
que es la solucin y1 ya hallada anteriormente. La Segunda solucin y2 por el mtodo de DAlembert se obtiene derivando y(z, r) respecto de r y luego reemplazando r = 0.
y2 =
y(z, r ) = r = r2 = 0 r
= y1 Lz + = y1 Lz +
k =0
+
( + r + k + 1) ( - r k + 1)
1 2 (r + k + 1)
k =0
= y1 Lz + H2(z)
En el caso de = n N {0} la solucin y1 se reduce al Polinomio Pn (z) de grado con = n . Y en la segunda solucin y2 la serie H2(z) se reduce a un polinomio porque: 1 =0 k n+1 (n k + 1)
H2(z) =
(n + k )! 1 ' (n + k + 1) ' (n + 1 k ) ' (k + 1) z k + 2 ] [ (n k )! (k! ) 2 (n + k + 1) (n + 1 k ) (k + 1) 2 k k =0 Que en funcin de la Suma Armnica H(p) queda:
k =0 n
H2(z) =
y2 =
y(z, r ) = Qn (z) r = r2 = 0 r
= Pn(z) Lz +
k =0
(n k )! (k! )
n! (n + k )! 2
k
(n k )! n! (k! )
1 n 2k k
n + k k
Qn (z) = Pn(z) Lz +
k =0
n k
1 (y 1 ) 1 (y 1 )
2 2
exp (
exp (
C0 = 1
C0 = 1
(y 1 ) 2 y adems
H/V(0)
1 (y 1 ) 2
1 H/V(0) z+2
1 H3(z) dz z
Obs: Ntese que la segunda solucin y2 en V(1) tiene L(z) en la solucin. Anlogo hecho se demuestra en V(1)
En particular para los Polinomios de Legendre se tiene y2 = Qn (z) = Pn (z)
1
2 Pn
exp (
2(z + 1) dz ) dz z(z + 2)
3.5.- SEGUNDA SOLUCIN DE LA ECUACIN DE LEGENDRE EN V(0) CASO = n 3.5.1.-- SEGUNDA SOLUCIN POR REDUCCIN DEL ORDEN EN V(0) CASO = n
Para el caso que = n(n+1) una de las soluciones, como se sabe es un Polinomio de Legendre. Puede obtenerse una forma de la segunda solucin correspondiente a partir del Mtodo de Reduccin del Orden. Qn = Pn
1 (1 x )(Pn ) 2
2
dx
La forma de la segunda solucin es entonces: Qn = u Pn(x) que introducida en la Ecuacin Diferencial da: (1x2) [u Pn + 2 u Pn + u Pn ] 2x [u Pn + u Pn ] + n(n+1) u Pn = 0 (1x2) Pn u + [ 2 (1x2) Pn 2 x Pn ] u + [ (1x2) Pn 2 x Pn + n(n+1)] u = 0 (1x2) Pn u + [ 2 (1x2) Pn 2 x Pn ] u = 0 por lo tanto P ' u' ' 2x +2 n = 0 Pn u' 1 x 2 L u + L (Pn)2 + L (1 x2) = 0 u = u = 1 (1 x )(Pn ) 2
2
1 (1 x )(Pn ) 2
2
dx
se obtiene entonces la forma general de la segunda solucin correspondiente a los Polinomios de Legendre, que se denomina Qn , a:
Qn = Pn
1 (1 x )(Pn ) 2
2
dx
A B + + x 1 x +1
k =1
Dk (x x k )
2
Ek x xk
donde los valores xk son los ceros (todos simples) del Polinomio Pn y los coeficientes de las fracciones simples toman los valores expresados a continuacin. Los valores x = 1 y x = 1 no son ceros de Pn pues Pn(1) = 1 y Pn(1) = (1)n A= 1 2.(Pn (1)) 1 2.(Pn (1))
2 2
1 2. = 1 2.
B=
El clculo de los coeficientes Dk es el siguiente: Llamando f(x) a la funcin a descomponer por fracciones simples, la expresin de los coeficientes Dk es Dk = lim (x-xk)2 f(x)
xx k
1 P ( x ) P( x k ) 2 ( x 1)( Pn ( x )) ( x 2 1)[ n ] x xk Pasando al Lmite de esta expresin para x xk se obtiene: 1 Dk = 2 ( x k 1)[Pn ' ( x k )] 2
2 2
(x x k ) 2
2( x x k ) ( x 1) Pn
2 2
x x
k
2 ( x 1) 2 Pn '
2
En el segundo factor es un limite indeterminado, y por lo tanto aplicando L'Hospital 2x Pn + ( x 2 1)Pn ' [ x Pn + ( x 2 1)Pn ' ] ( x x k )[ Pn + x Pn ' + 2x Pn ' + ( x 2 1)Pn ' ' ] = 2 Pn Pn ' Simplificando y reemplazando en virtud de la ED = = x Pn ( x x k )[Pn + x Pn ' + n(n + 1) Pn ] = 2 Pn Pn ' x Pn ( x x k )[ x Pn ' + (n 2 + n + 1) Pn ] = 2 Pn Pn ' Aplicando L'Hospital otra vez = = Pn + x Pn ' [ x Pn ' + (n 2 + n + 1)Pn ] ( x x k )[ Pn ' + x Pn ' ' + (n 2 + n + 1) Pn ' ] 2 (Pn ' ) 2 + 2 Pn Pn ' ' Pn (n 2 + n + 1)Pn ( x x k )[ Pn ' + x Pn ' ' + (n 2 + n + 1)Pn ' ] 2 (Pn ' ) 2 + 2 Pn Pn ' ' Por lo tanto Ek = 0 0 x x
k
2x Pn + (x2 1) Pn = n(n+1) Pn
Observacin: Otra forma de asegurar que Ek = 0 es a partir de que Qn H/xk pues el Campo de CV(y) = { | x |<1} . Convergencia de las soluciones de Legendre en el V(0) era
Suponiendo lo contrario que Ek 0 Ek 0
esto implica
A B + + x 1 x +1
k =1
Dk (x x k )
2
Ek x xk
1/ 2 1/ 2 + x 1 x + 1
k =1
Dk (x x k ) 2
u=
1 (1 x )(Pn )
n 2 2
dx =
1/ 2 1/ 2 + x 1 x + 1
k =1
Dk (x x k ) 2
u =
1 1+ x L + 2 1 x k =1
Dk (x x k )
Dk ] (x x k )
n Q0(x)
Qn(x)
Qn(x)
Qn(x)
x P2 P3
1 dx (1 x 2 )
1 1+ x L 2 1 x 1+ x 1 1 x L 2 1 x 1+ x 1 3 P1 P2 L 2 2 1 x 1+ x 10 1 1 P 2 P0 P3 L 2 1 x 3 3 P2 Q0 P3 Q0
Q0(x) P1 Q0 1 3 3 P1 = P2 Q0 x 2 2
1 dx (1 x 2 ) x 2 1 dx (1 x )( P2 ) 2
2
1 dx (1 x )( P3 ) 2
2
5 1 2 5 P2 P0 = P3 Q0 x2 + 2 3 6 3
4.- REPRESENTACIONES INTEGRALES DE LOS POLINOMIOS DE LEGENDRE 4.1.- REPRESENTACIN INTEGRAL DE SCHLAFLI
Una representacin de los Polinomios de Legendre es la Integral de Schlafli.
Pn(x) =
1 2n
1 2i
( t 2 1 )n ( t x )n+1
dt
D.- Esta representacin se obtiene a partir del teorema de las derivadas sucesivas de Cauchy que se recuerda f(t) H/V(x) Lazo V(x) x V(x)
f ( n )( x ) 1 = n! 2i
f (t ) ( t x ) n +1
dt
(t 2 1) n ( t 2 1) n ( t x ) n +1
dt
Pn(x) =
1 2n
1 2i
( t 2 1 )n ( t x )n + 1
dt
para
Otra representacin Integral de los Polinomios de Legendre es la de Laplace, que tiene dos expresiones, una |x| < 1 y otra para x>1
T. Representacin Integral de Laplace de los Polinomios de Legendre 1 |x| < 1 x = cos Pn(cos) = (cos + i sin cos ) n d Def Pn(x) 0 1 x>1 x = ch Pn(ch) = (ch + sh cos ) n d 0
D.-
I.- Para el caso de |x| < 1 se elige en la Integral de Schlafli x = cos y el camino c: circunferencia de radio r = | sin |
t x = sin e i dt = i sin e i d t = cos + sin e i t2 1 = 1 + cos2 + 2 cos sin e i + sin2 e i2 = 1 + 1 sin2 + 2 cos sin e i + sin2 e i2 = 2 cos sin e i + sin2 ( e i2 1) = 2 cos sin e i + sin2 e i ( e i e i) = 2 sin e i (cos + i sin sin ) reemplazando en Schlafli resulta Pn(cos) = 1 1 2i 2 n 1 2
2+
0+
1 sin
n +1
e i ( n +1)
sin e i i d
Pn(cos) =
2+
0+
/ 2+
Pn(cos) =
1 2
se elige x = ch y el camino c: circunferencia de radio r = | sh | t x = sh e i dt = i sh e i d t = ch + sh e i t2 1 = 1 + ch2 + 2 ch sh e i + sh2 e i2 = 1 + 1 + sh2 + 2 ch sh e i + sh2 e i2 = 2 ch sh e i + sh2 ( e i2 + 1) = 2 ch sh e i + sh2 e i ( e i + e i ) = 2 sh e i (ch + sh cos ) reemplazando en Schlafli resulta Pn(ch) = 1 1 2i 2 n 1 2
2+
0+
1 sh
n +1
e i ( n +1)
sh e i i d
Pn(ch) =
2+
0+
(ch + sh cos) n d
Las soluciones de la Ecuacin Diferencial de Legendre para un genrico (no necesariamente nN) pueden expresarse bajo Formas Integrales semejantes a la Integral de Schlafli. Para que la integral de Schlafli sea solucin basta que la funcin integrando: ( t 2 1) +1 (t x) +2 retome el mismo valor al final del recorrido de un lazo sobre el cual se desarrolle la integral. Debe observarse que la funcin anterior tiene 3 puntos de ramificacin: +1 1 x. Eligiendo de forma conveniente se logran distintas formas de la solucin de la ED de Legendre. Dos ejemplos de estos lazos son:
Ejemplo 1:
si se toma 1 como indica la figura, se verifica que la funcin integrando retoma el valor inicial: (t2 1)+1 (t x)+2 ( t 2 1) +1 (t x) +2
Ejemplo 2:
eligiendo 2 de acuerdo a la figura tambin la funcin integrando retoma el valor inicial: (t2 1)+1
Pn(x)
tiene la paridad de n
Pn(x) =
Pn(x)
tiene la paridad de n.
(2k )! 2
2k
(k! ) 2
D.-
Pn(cos) =
1 1 Pn(ch) =
Pn(1) = 1 Pn(cos) 0
x 1
En el caso de = /2
T4.Pn(0) =
x=0
(cos ) n d P2k+1(0) = 0 n = 2 k +1
n = 2k
P2k(0) =
= (1)k = (1)k
P2(0) 1 2
P4(0) 3 8
P6(0) 5 16
P8(0) 35 128
Hay varios teoremas de acotacin de los Polinomios de Legendre. Algunos son los siguientes:
T5. Primera Acotacin de los Polinomios de Legendre x [-1 ,1] D.|x| = 1
| Pn(x) | = | Pn(cos) | 1
| Pn(x) | = | Pn(cos) | = 1 1
Expresin que se puede acotar por el mdulo de su parte real: 1 | cos2 + sin2 cos2 | n/2 d 0 y tambin por 1 | cos2 + sin2 | n/2 d 0
=1
| Pn(x) | = | Pn(cos) |
1 1 2 sin
n +1) 2 n 3 ( + ) 2 2
Partiendo de 1 2 | Pn(cos) | | cos2 + sin2 cos2 | n/2 d = 0 2 / 2 | cos2 + sin2 (1 sin2) | n/2 d 0 2 / 2 | 1 sin2 sin2 | n/2 d 0 2 Como en [0 /2] sin
/ 2
/ 2
| 1 sin2 (
2 2 n/2 ) | d
cambiando de variable
= sin( 2 / ) u =
u = sin
sin
| 1 u2 | n/2 du | 1 u2 | n/2 du
1 1 2 sin
(1 v ) n/2 v -1/2 dv
1 1 n 1 1 1 = B( + 1, ) = 2 sin 2 2 2 sin
n ( + 1) 2 n 3 ( + ) 2 2
n ( + 1) 2 n 3 ( + ) 2 2
| Pn(x) | = | Pn(cos) |
2 n sin 2
/ 2
Partiendo de 1 2 | Pn(cos) | | cos2 + sin2 cos2 | n/2 d = 0 2 / 2 2 ) 2 | n/2 d | Pn(cos) | < | 1 sin2 ( 0 2 / 2 2 2 n/2 < ) | |1 ( d 0
Adems como 1 y e
2 2 ) e 1(
n sin 2 2 2 ( ) 2
= e
2 n sin 2
( )2
2 | Pn(cos) | <
/ 2
2 n sin 2
( )2
sin
2 n sin
2
| Pn(cos) | <
n / 2 sin
t2
dt
| Pn(cos) | <
2 n sin
2n sin
2 2
t2
dt =
2 n sin
2
Pn(cos) | <
1 2 n | sin |
1 2 n!
n
D(n) x2n
x=1
( 2 n )! 2 n n! n!
k Cero simple
T2.- Dos soluciones li de cualquier solucin de una EDLH de segundo orden no pueden tener ceros comunes H1 H2 H2 L(y) := y + p(x) y + q(x) y = 0 y1 : L(y1) = 0 y2 : L(y2) = 0 {y1 y2 } li y1(k ) = 0
y2(k ) 0
T3.- Dos soluciones li de cualquier solucin de una EDLH de segundo orden tiene los ceros intercalados (entre dos ceros consecutivos de una solucin se intercalan uno solo de otra solucin) H1 H2 H3 L(y) := y + p(x) y + q(x) y = 0 y1 : L(y1) = 0 y2 : L(y2) = 0 {y1 y2 } li y1(k ) = 0 y1(k+1) = 0 ceros consecutivos
Una acotacin de los Ceros de las Soluciones de Legendre est dada por la siguiente expresin de Bruns: 1 2 < < k k 1 1 n+ n+ 2 2 k
que se demuestra a continuacin. A partir de la ED modificada
y + cotg y + y = 0
por el cambio de variable y= z (sin )1 / 2 queda la ED z + [ (n + 1 1 2 ) + ]z=0 2 4(sin ) 2
a los efectos de aplicar el Teorema de Sturm que asegura que z tendr 1 cero entre 2 ceros consecutivos de w. Una integral particular de la ED en w es w = sin(n + 1 ) 2
k 1 k < k < 1 1 n+ n+ 2 2
1 2 1 2
1 1 k+ 2 2 < < k 1 1 n+ n+ 2 2 reuniendo este resultado con el primero se obtiene esta Desigualdad de Bruns 1 k 2 < < k 1 1 n+ n+ 2 2 k
6.- FRMULAS DE RECURRENCIA DE LOS POLINOMIOS DE LEGENDRE 6.1.- PRIMERA FRMULA DE RECURRENCIA T.D1.Def. Pn(x)
1 2 n!
n
Pn+1(x) = =
(n + 1)!
(n+1)
(x 1)
n+1
1 2
n +1
(n + 1)!
D [ D(x 1)n+1 ]
1
n
2 n! I.- Desarrollando esta derivada como producto de funciones 1 1 1 D(n) [ x (x2 1)n ] = x n D(n) (x2 1)n + n n D(n1 ) (x2 1)n n 2 n! 2 n! 2 n! 1 n D(n1) [ (x2 1)n ] = x Pn + n 2 n! II.- Por otra parte derivando una vez a la misma expresin D(n) [ (x2 1)n x ] = D(n1) [ (x2 1)n + 2 n x2 (x2 1)n1 ] = D(n1) [ (2n+1) (x2 1)n + 2n (x2 1)n1 ] Entonces = (2n+1) D(n1) (x2 1)n + 2 n 2n1 (n1)! Pn1 1 2 (n )! (2n + 1) 2 n (n )!
n
Pn+1(x) = Pn+1(x) =
1 2 (n )!
n
III.- Eliminando D(n1) (x2 1)n entre las dos igualdades se obtiene: (2n + 1) (n1) 2n + 1 [ (x2 1)n ] = [ Pn+1 Pn1 ] [ Pn+1 x Pn ] = n D n 2 (n )!
(n+1) Pn+1 (2n+1) x Pn + n Pn1 = 0 D2.- . Un segundo mtodo para llegar a la primera formula de recurrencia es partir de desarrollar el polinomio de orden n+1 en funcin de los mismos Polinomios de Legendre:
x Pn = cn+1 Pn+1 + cn Pn + cn1 Pn1 + ... + Multiplicando por Pq con (q < n 1 ) e integrando en el intervalo [1 1]
1 1
x Pn
x Pn Pq dx = cq
( Pq )2 dx
q = n2 , n3 , n4 ,.., 0
2 x Pn Pq dx =
cq
( Pq )2 dx = 0 q = n2 , n3 , n4 ,.., 0 Queda
cq = 0
x Pn = cn+1 Pn+1 + cn Pn + cn1 Pn1 Los polinomios cn = 0 x Pn = cn+1 Pn+1 + cn1 Pn1 para x = 1 1 = cn+1 + cn1 igualando los coeficientes de xn+1 en los dos miembros (2n )! 2 n! n! cn+1 =
n
= cn+1
(2n + 2)! 2
2 n +1
(n + 1)! (n + 1)!
Ejercicio: Aplicar la frmula de Olindo Rodrigues y la relacin de recurrencia anterior para construir los polinomios P0 ,P1_, P2 , P3, P4 _
P0 (x) = P1(x) = 1 2 0 0! 1 2 1!
1
= 1 = x P2(x) =
2 P2 = 3 x P1 P0 3 P3 4 P4
T.-
Def. Pn(x)
D.- Para demostrar sta segunda frmula de recurrencia se puede aplicar la formula de Schlafli
Pn+1(x) = 1 2 n +1 1 2i
( t 2 1) n +1 (t x) n + 2
dt
t ( t 2 1) n (t x) n +2
dt
(n + 2) 1 2 n +1 2i
( t 2 1) n +1 (t x ) n +3
dt
t ( t 2 1) n (t x) n +2
dt =
( t 2 1) n ( t x + x ) (t x) n + 2
dt =
( t 2 1) n ( t x ) n +1
dt
+ x
( t 2 1) n (t x) n +2
dt
queda entonces: 0= (n + 1) 1 [ 2 n 2i
( t 2 1) n ( t x ) n +1
dt
+ x
( t 2 1) n (t x) n +2
dt ]
(n + 2) 1 2 n +1 2i
( t 2 1) n +1 (t x ) n +3
dt
P + x P P 0 = (n+1) P + x P P = cte n P + xP P
n n n n n n n n+1
n+1
cte
Pn+1 cte
Pn = cte
( 1x2 ) Pn (n+1) [ x Pn Pn+1 ] = cte y teniendo en cuenta que Pn(1) = Pn+1(1) = 1 cte =0
Observacin 1: (!!! Z !!!) La derivacin respecto del parmetro t de integracin, merece especial cuidado:
T.f(t) =
n =
an (t a)n
f(t) dt = 0
an (t a)n dt
n =
La integral de la derivada
f (t) dt =
n an (t a)n1 dt
n = n0
f (t) dt = 0
T.D.-
Def. Pn(x)
1 2 2
n +1
Pn+1(x) = = = = =
(n + 1)! 1 (n + 1)!
D(n+2) (x2 1)n+1 D(n+1) D[ (x2 1)n+1 ] 2 (n+1) D(n+1) [ (x2 1)n x]
n +1
1 2 n +1 (n + 1)! 1 2 n! 1 2 n n!
n
= Pn(x) + 2n Pn(x) +
n =0
Pn(x) hn
Los polinomios de Legendre tienen su origen histrico como coeficientes del desarrollo de la serie entera de la funcin: 1 (1 2hx + h 2 )1 / 2 =
n =0
an(x) hn
Debe probarse entonces que; an(x) = Pn(x) El desarrollo propuesto es posible si x y h son suficientemente pequeos 1 (1 y)
1/ 2
= =
n =0 +
(2n )! 2 2 n n! n!
yn = con | y | < 1
n =0
(2n 1)! n 1.3.5....(2n 1) n 3 2 1 y + ... + y =1+ y+ y + (2n )! 2 2.4.6...( 2n ) 8 con | 2hx h2 | < 1
=1+
3 2 1 2 5 3 x ) h + ( x3 x) h3 + 2 2 2 2
n =0
Pn(x) hn
Observacin 1: (!!!Z!!!) Este cambio de orden debe ser hecho con mucho cuidado porque no existen reglas generales para ello, y podra ser abusivo.
En las series dobles de potencias con respecto a (x, h) es condicin suficiente la Convergencia Absoluta (CA) de la misma.
n =0 p =0
CA
n =0 p =0
p =0 n =0
n =0 p =0
a p,n xp hn |
n =0 p =0
| a p,n | | xp | | hn |
que es convergente con la condicin suficiente | 2xh | + | h |2 < 1 que es ms estricta que la anterior | 2xh | | h |2 < 1 Puede encontrarse una relacin de recurrencia entre los coeficientes an(x) derivando con respecto a h el desarrollo: 1 (1 2hx + h 2 )1 / 2 xh (1 2hx + h 2 ) 3 / 2 ( x h) = =
n =0 +
n =0
n =0
n =0
an(x) n hn-1
identificando el coeficiente de hn en ambos miembros de la igualdad lleva a la ecuacin de recurrencia: x an an-1 = (n+1) an+1 2 x n an + (n-1) an-1 (n+1) an+1 (2n+1)x an + n an-1 = 0 que es la relacin de recurrencia ya encontrada para los Polinomios de Legendre Pn(x), y como a0(x) = 1 = P0(x) a1(x) = x = P1(x) se implica an(x) = Pn(x) resulta la Funcin Generatriz 1 (1 2hx + h 2 )1 / 2 =
n =0
Pn(x) hn
Observacin 2: Se pueden verificar fcilmente los primeros trminos aplicando la Serie de Taylor
an(x) = f ( n ) (0) 1 1 (n) = ] D [ n! n! (1 2hx + h 2 )1 / 2 h = 0
n =0
an(x) hn
an(x) = an(x) =
1 2i
'+
u (1 2 xu + u ) un (1 2 xu + u 2 )1 / 2
2 1/ 2
u n +1 u2
'
du
1 2i
du u t
1 2xu + u2 = u2 2tu + t2 u 2(t x) = t2 1 ( t 2 1) u= 2( t x ) du = tu dt tx En este cambio de variable el lazo que encierra a O se transforma en el lazo que encierra a x. Se llega a
an(x) =
1 2
n
1 2i
''
( t 2 1 )n ( t x )n + 1
dt
8.1.- FORMACIN DE LA ECUACIN DIFERENCIAL DE LOS POLINOMIOS DE LEGENDRE A PARTIR DE LA FRMULA DE OLINDO RODRIGUES
Los Polinomios de Legendre son una solucin de un caso particular de la Ecuacin de Legendre:
T.-
Pn(x) =
1 2 n n!
D(n) (x2 1) n
Pn(x) =
1 2 n!
n
D(n) w
derivando w en forma logartmica n 2x w' = w ( x 2 1) (x 2-1) w' 2nx w = 0 derivando n+1 veces (x 2-1) w(n+2) + (n+1) 2x w(n+1) + (n+1)n w(n) 2nx w(n+1) 2(n+1)n w(n) = 0 (x 2-1) w(n+2) + 2x w(n+1) (n+1)n w(n) = 0 (x 2-1) [w(n)] + 2x [w(n) ] (n+1)n [w(n) ] = 0 Resulta entonces Pn(x) una integral particular de la llamada ecuacin diferencial de Legendre (caso Particular)
DE SCHLAFLI
Sea I I=
( t 2 1) n ( t x ) n +1
dt dt dt
Ix = (n+1)
( t 2 1) n (t x) n +2
I"xx = (n+2)(n+1)
( t 2 1) n (t x)
n +3
Se deber verificar que I cumple: (1 x2) I 2 x I + n(n+1) I = 0 reemplazando las expresiones obtenidas: (1 x2) (n+2)(n+1) = = =
( t 2 1) n ( t x ) n +3
dt 2 x (n+1)
( t 2 1) n (t x) n +2
+ n(n+1)
( t 2 1) n ( t x ) n +1
dt =
( t 2 1) n ( t x ) n +3 ( t 2 1) n (t x) (t x)
n +3
[ (n+2)(n+1)(1 x2) 2x (n+1) (t x) + (n+1)n (t x)2] dt = (n+1) [ ((n+2) + 2 + n) x2 + (2t 2nt) x + (n+2) + n t2 ] = (n+1) [ n t2 2t (n+1) x + (n+2) ] = 2 i R(x)
( t 2 1) n
n +3
Siendo x un polo de orden n+3 el residuo ser: (n + 1) (n+2) {( t2 1) n [ nt2 2t(n+1)x + (n+2) ] } R(x) = D x (n + 2)! = (n + 1) { [ nt2 2t(n+1)x + (n+2) ] D(n+2) (t2 1)n + (n+2) [ 2nt 2(n+1)x ] D(n+1) (t2 1)n (n + 2)! + = 1 (n+2)(n+1) [ 2n ] D(n) (t2 1)n } x 2
(n + 1) { [ nx2 2(n+1)x2 + (n+2) ] D(n+2) (x2 1)n + (n+2) [ 2nx 2(n+1)x ] D(n+1) (x2 1)n (n + 2)! + 1 (n+2)(n+1) [ 2n ] D(n) (x2 1)n } 2
(n + 1)(n + 2) { [1x2] D(n+2) (x2 1)n + [2x] D(n+1) (x2 1)n + (n+1) n D(n) (x2 1)n } (n + 2)!
R(x) = 2n { (1x2) Pn(x) 2x Pn(x) + (n+1) n Pn(x) } = 0 siendo por lo tanto nulo el residuo R(x) = 0
Def Pn
Pm Pn = 0
mn
Se plantea la Ecuacin Diferencial de Legendre para los pares (m Pm) y (n Pn). [ (1 x2) Pm ] + (m+1)m Pm = 0 [ (1 x2) Pn ] + (n+1) n Pn = 0 | * Pn | * Pm
multiplicando las igualdades por Pn y Pm respectivamente se pueden restar miembro a miembro: [ (1 x2) Pm ] Pn [ (1 x2) Pn ] Pm + [(m+1)m (n+1)n] Pm Pn = 0 Los dos primeros trminos se pueden expresar como: [ (1 x2) Pm ] Pn [ (1 x2) Pn ] Pm = = (1 x2) Pm Pn + (1 x2) Pm Pn (1 x2) Pn Pm (1 x2) Pn Pm = (1 x2) [ Pm Pn Pn Pm ] + (1 x2) [Pm Pn Pn Pm ] Definiendo el determinante W
Pn W := P' n
Pm P' m
con m n
por lo tanto
Pn W = P' ' n
Pm P' ' m
se puede escribir entonces [ (1 x2) Pm ] Pn [ (1 x2) Pn ] Pm = = (1 x2) W + (1 x2) W = [ (1 x2) W ] volviendo a la expresin original y reemplazando el ltimo resultado queda [ (1 x2) W ] + [(m+1)m (n+1)n] Pm Pn = 0 integrando en [ 1 , 1]
[(m+1)m (n+1)n]
Pm Pn = 0
el primer corchete se anula para m = n y m = (n+1), por lo tanto para valores naturales de m y n con m n
Pm Pn = 0 lo cual demuestra la ortogonalidad sobre el intervalo real [ 1,1] y con respecto al ncleo p(x) = 1.
b = 0 a
T1 T2 T3
i i = i 1 2 y1 y2 0
(i R)
y 1 y2 = 0 1 = 2
La Ecuacin Diferencial de Legendre [ (1 x2) y ] + (+1) y = 0 satisface la primera hiptesis del teorema de Sturm - Liouville con: r = 1 x2 p=1 q=0 y en cuanto a las condiciones de contorno puede hay varias que cumplen con Sturm-Liouville W(a)=0 W(b)=0 W(a)=0 r(1)=0 r(1)=0 W(b)=0 r(1)=0 r(1)=0
De aqu entonces las Funciones de Legendre que satisfagan las condiciones anteriores son ortogonales. Se recuerda sin embargo que las Funciones de Legendre, no Polinomios no son CV en V(1) y V(1) 9.3.- NORMA
|| Pn ||2 =
+1
Pn2(x) dx =
2 2n + 1
(1 2hx + h 2 )
n =0
Pn2(x) h2n +
n =0
m =0,m n
+1
1 (1 2hx + h )
2
dx = = =
1 + 2h + h 2 1 L 2h 1 2h + h 2 1 1+ h L h 1 h 2 h
n =0
h 2 n +1 2 h3 h5 = + + ... (h+ 2n + 1 h 3 5
n =0
+1
Pn2(x) h2n dx = 2
n =0
h 2n 2n + 1
lleva a:
+1
Pn2(x) dx =
2 2n + 1
D2.-
Una segunda forma de obtener la Norma es: Integrando por partes n veces se tiene:
u(n) v dx = u(n1) v
u(n 1) v dx
= u(n1) v u(n2) v +
u(n 2) v dx
= u(n1) v u(n2) v + u(n3) v u(n4) v(3) + ... + (1)n2 u v(n2) + (1)n1 u v(n1) + (1)n Por otro lado +1 (x2 1)n = (x 1)n(x + 1)n 1 = 0 p<n
u v(n) dx
|| Pn ||2 =
+1
Pn2(x) dx = =(
+1
1 2 n! )2
n
1 2 n!
n
1 2 n!
n
+1
+1
Pn2(x) dx = (
1 2 n!
n
)2 (1)n
+1
Como || Pn ||2 =
+1
(n! )
(1)n
+1
(x2 1)n dx
(2n )! 2 2 n (n! ) 2
+1
(1 x2)n dx
+1
(1 x2)n dx = 2
+1
(1 x2)n dx
/2
2n+1
1 d = B( ,n+1) = 2
de donde || Pn ||2 =
+1
Pn2(x) dx =
(2n )! 2 2 n (n! ) 2
H.- Def Pn
+1
Pn(x) dx
+1
n =0 Pn(x) dx = 2 n >0 = 0
Ejercicio 2: Calcular
+1
1 (1 2rx + r )
+
2 1/ 2
1 (1 2Rx + R 2 )1 / 2
+1
dx =
n =0
= 2 =
n =0
2 (rR )1 / 2
n =0
[(rR )1 / 2 ] 2 n +1 2n + 1
n =0
x 2 n +1 2n + 1
se obtiene:
+1
1 (1 2rx + r 2 )1 / 2
1 (1 2Rx + R 2 )1 / 2
dx =
1 (rR )1 / 2
1 + (rR )1 / 2 1 (rR )1 / 2
f CP/[1 1]
La Serie Asociada de Fourier-Legendre para dicha funcin se define como f(x) SAFL c0 P0(x) + c1 P1(x) + c2 P2(x) + + cn Pn(x) + ... donde los coeficientes se toman en la definicin como los obtenidos a partir de la expresin:
+1
f Pn(x) dx = cn
+1
Pn2(x) dx
= cn
2 2n + 1
n =0
cn Pn(x) .
cn =
2n + 1 2
+1
f Pn(x) dx
Def.
Kn(t,x) =
k =0
2k + 1 Pk(t) Pk(x) 2
+1
Kn(t,x) dt =
1
n k =0
+1
2k + 1 Pk(t) Pk(x) dt 2
k =0
2k + 1 Pk(x) 2
+1
Pk(t) dt
por la ortogonalidad de { Pk } estas integrales son todas nulas salvo para k = 0, y adems teniendo en cuenta que P0(x) = 1
+1
Kn(t,x) dt =
1 2
+1
1 dt = 1
k =0
ck Pk(x) [ 2k + 1 2
k =0
+1
Sn(x) =
+1
Kn(t,x) f(t) dt
(t x)
k =0
Ello se hace a partir de (2k+1) x Pk(x) = (k+1) Pk+1(x) + k Pk1 (x) (2k+1) x Pk(x) Pk(t) = (k+1) Pk+1(x) Pk(t) + k Pk1(x) Pk(t) (2k+1) t Pk(t) Pk(x) = (k+1) Pk+1(t) Pk(x) + k Pk1(t) Pk(x) (2k+1) (t x) Pk(t) Pk(x) = (k+1) [ Pk+1(t) Pk(x) Pk+1(x) Pk(t) ] + k [ Pk1(t) Pk(x) Pk1(x) Pk(t) ] se obtiene entonces la frmula o identidad de D-C (t x)
k =0
(n+1)
Pn ( x ) Pn + 1 ( x ) 1 x
Como
= Pn(x) + Pn+1(x)
k =0
(2k+1) Pk(x) = P0(x) + 3 P1(x) + 5 P2(x) + + (2n+1) Pn(x). = 1+ [P2 P0] + [P3 P1] + [P4 P2] + [P5 P3] + ... + [Pn-1 Pn-3] + [Pn Pn-2] + [Pn+1 Pn-1] = 1 P0 P1 + Pn + Pn+1 = Pn + Pn+1 la identidad D-C en particular para t = 1
(1 x)
k =0
(n+1)
Pn ( x ) Pn + 1 ( x ) 1 x
= Pn(x) + Pn+1(x)
Kn(t, x) =
n+1 2
Pn + 1 ( t )Pn ( x ) Pn + 1 ( x )Pn ( t ) tx
k =0
2k + 1 Pk(t) Pk(x) 2
10.7.- CONVERGENCIA
El teorema de Hobson da condiciones suficientes para la convergencia de la serie de Fourier-Legendre a f(x) El enunciado es el que sigue:
Teorema de Hobson H1 H2
+1
f(x) ( 1 x )2
dx x]-1 1[
| f( x ) | < M
Sn(x) =
n+1 2
+1
CU / I
Sn(x) =
+1
Kn(t,x) f(t) dt
Sn(x) =
n+1 2
+1
S(x) = 1
+1
1 +1
+1
+1
1 +1
n +1 Pn(x0) 2
+1
+1
f (t) f ( x 0 ) Pn(t) ] dt t x0
Si se supone la existencia de las dos semiderivadas finitas entonces la funcin f (t) f ( x 0 ) CP/[-1 1] t x0 es continua por partes
El paso siguiente es demostrar que la diferencia Sn(x0) f(x0) tiende a cero para n tendiendo a infinito. I.- En primer lugar se ha visto previamente que: | Pn(cos) | | Pn(cos) | entonces | Pn(x0) | 2n 1 | 1 ( x 0 ) 2 |1 / 2 2n sin 2 2n 1 | sin |
n +1 n +1 | Pn(x0) | 2 2
2n
1/2
1 | 1 ( x 0 ) 2 |1 / 2
Esto acota
M n
n +1 | Pn(x0) | 2
con M independiente de x. { Pn } || Pn || es cn || Pn ||
II.- En segundo lugar el coeficiente de Fourier de f en el Ortonormado Por el Teorema de la desigualdad de Bessel (Tesis de Bessel-Riemann)
0 cn || Pn || n +
es decir 2n + 1 2
+1
f Pn 0 n +
o sea n1/2
+1 1
f Pn 0 n +
+1
+1
f (t) f ( x 0 ) Pn(t) ] dt | t x0
M n1/2 ( | Cn+1 | + | Cn | ) donde Cn son los coeficientes de la SAFL de la funcin f (t) f ( x 0 ) . Entonces t x0
Sn(x0) f(x0) n +
x ] 1 1[
Sn(x) n +
1 [ f(x) + f(x+) ] 2
H 2
f Lipschitz/ V(x)
Sn(x) f(x) n +
H2 f C [ | f( x ) | < M] / I2I1
1 Sn(x) f(x)
CU / I
H1 H2
+1
f(x) ( 1 x )2
dx x]-1 1[
| f( x ) | < M
Sn(x) =
n+1 2
+1
H2 f C [ | f( x ) | < M] / I2I1
1 Sn(x) f(x)
e n f(z)
dz
donde f es una funcin de variable compleja holomorfa en el vecinal de un punto z0 f = P + i Q V(z0) z =x+iy z0 es un punto de ensilladura de la funcin P, o sea donde no existe ni mximo ni mnimo, pero se cumple f (z0) = 0 si f(z) puede escribirse
f(z) = f(z0) +
f ' (0) f ' ' (0) f ( n ) (0) (z z0 ) + (z z0 )2 + ... + (z z0 )n + ... 1! 2! n! y como f (z0) = 0 entonces puede aproximarse f ' ' (0) (z z0 )2 2! resulta entonces
f(z) f(z0) +
I(n) e nf ( z 0 ) tomando z z0 = ei dz = ei d
1 n f ''( z 0 )( z z 0 ) 2 2
dz
de donde | f (z0) (z z0 )2 | = 2 | f (z0) | Arg ((z z0 )2 )+ Arg (f (z0)) = 2 + Arg (f (z0)) = I(n) e n[ f ( z 0 ) + i] I(n) e n[ f ( z 0 ) + i]
1 2 n |f ''( z 0 )| 2
2 n | f ' ' (z 0 ) |
Este resultado puede aplicarse a los Polinomios de Legendre para tener su valor asinttico. A partir de la representacin de Laplace Pn(cos) = 1
e nL(cos + i sin ) d
llamando f() = L(cos + i sin cos) f () = i sin sin cos + i sin cos i sin cos (cos + i sin cos ) (i sin sin ) 2 (cos + i sin cos )
2
f () =
f (0) =
Calcular
1 dx = 1
Pn dx
Pn =
e integrando
Pn+1
(2k )! 2 (k! ) 2
2k
(2n+1)
n = 2k Pn = Pn1(0) Pn+1(0) = 0 n 1= 2 k = P2k(0) P2k+2(0) (2k + 2)! (2k )! (1)k+1 2 k + 2 = (1)k 2 k 2 2 ((k + 1)! )2 2 (k! ) n = 2 k +1
(1)k+1 [1 + [1 +
4k + 3 ] 2k + 2
n =0 Pn dx
= 1
n = 2k = 0 n 1= 2 k = P2k(0) [ n = 2 k +1
1 ] 2k + 2
P0
P1 1 2
P3 1 4
P5 1 6
P7 1 8
P9 1 10
P0(0) 1 1 2
P2(0) 1 8
P4(0) 1 16
P6(0) 5 128
P8(0)
7 256
Ejercicio 2.-
f Pn 1 2
c0 =
f P0 =
1 2
1 dx =
1 2
2 cn = (2n+1)
f Pn = (2n+1)
Pn dx =
Pn+1
Recordando
(2k )! 2 (k! ) 2
c2k = 0
2k
n = 2k Pn-1(0) Pn+1(0) = 0
= P2k(0) [ c0
n = 2 k +1 n 1= 2 k
4k + 3 ] 2k + 2
c2k+1 = P2k(0) [
4k + 3 ] 4k + 4 c7 c9 P8(0) 19 20
c1 P0(0) 3 4
c3 P2(0) 7 16 7 8
c5 P4(0) 11 32 11 12
P6(0)
1 2 f(x) =
3 4
15 16 75 256
133 512
El desarrollo de Fourier-Legendre de f se puede obtener multiplicando la serie Ejercicio 2 por 2 y restando 1 f(x) = + 7 11 75 133 3 P3 (x) + P5 (x) + P7 (x) + P9 (x)... P1 (x) + 2 8 16 128 256
Pn dx = 0
para n > 0
Pn
Pn = 0
Obs: Siendo P0(x) = 1 una de las funciones de la sucesin ortogonal { Pn(x) } / p(x) =1, [1 1] es inmediato que
P0 Pn =
Pn = 0
Ejercicio 5.Para n = 0
Calcular Pn(0)
P0(0) = 0
Para n > 0 una primera forma de calcular Pn(0) es a partir de la ED de Legendre [(1 x2) y] + n(n+1) y = 0 Integrando en [0 1] 1 = n (n+1) (1 x2) Pn 0 Pn(0) = n (n+1) Pn(0) =
Pn
n (n+1)
Pn
n = 2k Pn dx
( t 2 1) n ( t x ) n +1
dt dt
Pn(x) = Pn(x) =
(n + 1) 1 2 n 2i (n + 1) R(
( t 2 1) n (t x) n +2
,0) 2n (t x) n +2 Para el calculo de este residuo en el caso de que n sea par (n = 2k) el Desarrollo de Laurent de la funcin 2 ( t 1) n t n +2 solo existen potencias pares, por lo tanto
( t 2 1) n
P2k(0) = 0 En el caso de que n sea impar (n =2k+1) debe calcularse el residuo de:
P2k+1(0) =
(2k + 2)
( t 2 1) 2 k +1
(t2 1)2k+1 =
p=0
El trmino correspondiente a p = k+1 es C2k+1, k+1 t2k+2 (1)k P2k+1(0) = = (2k + 2) 2 2 k +1 (2k + 2) 2
2 k +1
= (-1)k
(2k )!
Los primeros valores son P1(0) P0(0) 1 1 P3(0) P2(0) 3 3 2 P5(0) P4(0) 5 15 8 P7(0) P6(0) 7 35 16 P9(0) P8(0) 9 315 128
Calcular
x 1 dx =
x Pn dx
x Pn = (n+1)
Pn+1 + n
Pn1 = 1
Recordando
n =0 Pn dx
n = 2k = 0 n = 2 k +1 = P2k(0) [
1 ] 2k + 2
n = 2 k +1 x Pn = = 0 n = 2k =
x P2k =
x P0
x P2
x P4
x P6
x P8
1 2
1 5 [ P4(0)+P2(0)] 9 6 1 5 3 (1) [ + ] 2 9 6 8 1 48
Ejercicio 7.
2 cn = (2n+1)
n = 2 k +1 | x | Pn = = 0
c2k+1 = 0
n = 2k = (4k+1) 2
x P2k dx 2k + 1 P2k(0) + P2k2(0) 2k + 2 c6 7 P6(0)+P4(0) 8 7 (5) 3 + ] [ 8 16 8 13 128 c8 9 P8(0)+P6(0) 10 9 35 (5) [ + ] 10 128 16 17 256
c2k =
c0
c4 5 P4(0)+P2(0) 6 5 3 (1) [ + ] 2 6 8 3 16
1 2 f(x) =
xn Pk dx = 0
para n > 0
i=0
ci Pi(x)
por la ortogonalidad de los Polinomios de Legendre (todos son diferentes a Pk) se verifica que la integral es nula
xn Pk dx =
i=0
ci Pi(x) ] Pk(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
D(nj)
II.II) Las derivadas de orden n-j con 0<j n de la funcin (x21)n se anulan en los puntos x =1 y x =1 1 = 0 0<jn (x1)n (x+1)n 1 Recordando que n k y que la integral que se quiere calcular es 1 1 xn Pk dx = k xn D(k) (x21)n dx 2 k! 1
(1) k
k
n! 2 k! (n k )!
xnk (x21)k dx
Analizando la funcin integrando se observa que la paridad depende de xnk , por lo tanto
xnk (x21)k dx nk = 2p
resulta cambiando de variable x = y1/2 una funcin B 1 (1) k C n ,k 1 1/2 x = y1 / 2 = 2 y p (y1)k dy y k 0 2 2 C n ,k 1 p-1/2 y (1y)k dy = k 0 2 C n ,k 1 = k B( p+ , k+1) 2 2
1 (p + )(k + 1) 2 = k 3 2 ( p + k + ) 2 Como por otra parte C n ,k (p+k+3/2) = (p+k+1/2) (p+k 1+1/2) ... (p+1+1/2) (p+0+1/2) (p+1/2) 1 = k +1 (2p+2k+1) (2p+2k1) ... (2p+3) (2p+1) (p+1/2) 2 Multiplicando y dividiendo por (2p+2k) (2p+2k-2) ... (2p+4) (2p+2) resulta =
=
1 2 k +1
1 2
2 k +1
1 (2p + 2k + 1)(2p + 2k )(2p + 2k 1) ... (2p + 2)(2p + 1)(p + ) 2 2 k (p + k )(p + k 1) ... (p + 2)(p + 1) (2p + 2k + 1)! p! 1 (p+ ) (2p)! (p + k )! 2
Volviendo a la integral
xn Pk dx =
C n ,k 2k C n ,k 2k
(n )! (2p)! (p + k ) ! k! k! (n k )! (2p + 2k + 1)! p! como nk = 2p (p + k ) ! n! = 2k+1 (2p + 2k + 1)! p! = 2k+1 n+k )! 2 = 2 nk ( )! 2 Ntese que si (n-k) es par tambin (n+k) lo es.
k+1
n! (n + k + 1)!
En resumen
x n Pk dx
<k n = 0
n k n k )Im par ( = 0 ( n k )Par
k+1
n! (n + k + 1)!
n+k )! 2 nk ( )! 2
Ejercicio 9
Calcular
1 z
n +1
(1 2zx + z 2 )1 / 2
dz
Eligiendo
x = cos
Las races del radicando son: z2 2z cos + 1 = 0 z = cos (cos2 1 )1/2 = ei El radicando entonces puede expresarse: z2 2z cos + 1 = (z e+i )( z ei ) Por lo tanto 1 Pn(cos) = 2i 1 z
n +1
[(z e
+ i
)( z e i )]1 / 2
dz
La relacin del integrando tiene dos puntos de ramificacin en z = ei y puede uniformizarse con una cortadura entre los dos puntos. Tomando un arco de circunferencia de radio 1 como tal cortadura.
Llamando := 1 2 3 4
ML =
| R 2R 1 |1 / 2
0 R +
n >0
0 R +
n >0
1: [ ; +2]
z e+i = r1 ei 2r1
= /2 r 0 0
n >0
1
ML =
0 r 0
n >0
1
3: [ ; +2]
ML =
| e i + r3 e i | n +1 | e i + r3 e i e +i |1 / 2 r31 / 2
0 r 0
n >0
3
0 r 0
n >0
3
Pasando al clculo de las integrales sobre 2 y 4 2: [ ; ] 1 2i z = 1 ei 1 z n +1 [(z e +i )( z e i )]1 / 2 dz = = Operando el denominador (ei e+i ) (ei e-i ) = ei2 ei (e+i + e i ) + 1 = ei (ei +e-i ) ei (e+i + ei ) = ei ( 2 cos 2 cos ) 1 2i Reemplazando en la integral 1 1 d = in 2 2 e [2(cos cos )e i ]1 / 2 1 2i 1 2
[(e
+ i
)( e i e i )]1 / 2
1 2
e i ( n +1 / 2) [2(cos cos )e i ]1 / 2 z = 1 ei 1 dz =
4: [ ; ] 1 2i
z n +1 [(z - e +i )( z e i )]1 / 2
1 2i 1 2
= Reemplazando en la igualdad
resulta 0 = Pn(cos) 2 1 2
e i ( n +1 / 2) [2(cos cos )e i ]1 / 2 e i ( n +1 / 2) d
Pn(cos) =
[2(cos cos )e i ]1 / 2
Tomando la parte real de la igualdad y teniendo en cuenta la paridad del integrando Pn(cos) = 2
Se trata de encontrar la o las races que tienden hacia a cuando w 0 (es decir en V(a) ) Se probara que existe una raz nica z1 de acuerdo a la proposicin
f H/V(a) wC z a w f(z) = 0
n =1
wn D(n-1) [ f() ] n n! =a
Si | a | > | w | | f() | se puede aplicar el teorema de Rouche (Ver Nota 1) y la frmula de Lagrange (Ver Nota 2) en consecuencia hay una y solo una raz z1 dada por: z1 = 1 2i
c(a , r )
1 wf ' ( ) d a wf ( )
n =1
w n (n-1) D [ f()] n =a n!
y adems se cumple: dz 1 = 1+ da
n =1
w n (n) D [ f()] n =a n!
Por lo tanto Si w = 0 la nica raz es z = a Si w 0 la formula de Lagrange da en un determinado Vecinal de a: V(a) a la nica raz z1 z1 = a +
n =1
wn 1 D(n-1) [ ( 2 1)] n =a 2 n!
+
dz 1 = 1+ da
n =1
w n (n) 1 2 D [ ( 1)] n =a 2 n!
dz 1 = da
que es la Funcin Generatriz de los Polinomios de Legendre 1 1 2aw + w 2 Para integrar esta expresin basta tomar
z=
1 [1 w
1 2aw + w 2 ]
2a + 2 w 2 1 2aw + w 2
w 0
a
Para el signo positivo el lmite es a. Por lo tanto corresponde elegir el signo negativo: w 0 signo z= 1 [1 w 1 2aw + w 2 ]
y derivando dz = da 1 1 2aw + w 2
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
I.- f+g no puede tener races sobre Fr(D) pues si z1 fuera raz entonces: z1 Fr(D) f(z1) + g(z1) = 0 f(z1) = g(z1) lo cual implica |f|=|g| contra la Hiptesis z Fr(D) | f | > | g | II.- Si 0 1 z1 Fr(D) f + g no puede tener races sobre Fr(D) porque:
lo cual implica | f(z1) | > | g(z1) | contra la Hiptesis z Fr(D) | f | > | g | III.- Sea n() el numero de races de f + g en D entonces sobre Fr(D) f(z) + g(z) 0 Por lo tanto por el Teorema de la derivada logartmica n() = 1 2i
Fr ( D )
f ' ( z ) + g ' ( z ) dz f ( z ) + g ( z )
bajo el signo integrando se tiene una funcin continua de , por lo tanto n() tambin es continua. Por otra parte n() es un entero, y en consecuencia es constante: n(0) = n() = n(1)
z1 = z1 =
1 2i 1 2i
c(a , r )
1 wf ' ( ) d a wf ( )
c(a , r )
c(a , r )
d = a a fn ( a ) ( a )
n +1
c(a , r )
d = d =
f n 1f '
n
c(a , r )
c(a , r )
f n 1f ' ( a ) n
c(a , r )
d =
c(a , r )
1 wf ' ( ) d = a + a wf ( )
n =1
wn D(n-1) [ f n()] =a n!
12.2.2.- APLICACIONES A LA ELECTROSTTICA 12.2.2.1.- POTENCIAL DE UN CAMPO ELCTRICO GENERADO POR UNA CARGA PUNTUAL
Sea una carga puntual unitaria situada en el punto con coordenadas esfricas (0,0, r0)
e: = carga elctrica
El problema consiste en encontrar la expresin del potencial en un punto de coordenadas M=(r,,). Como V = e r1
r >r
1 r 1 r0
1 1+ r0 r
2 2
2
1
r0 cos r
r cos r0
0 =
r <r
1+
2 2
r0
aplicando ahora la Funcin Generatriz de los Polinomios de Legendre la expresin del potencial es:
0 V =
r >r
1 r 1 r0
n =0
r0 n ) Pn(cos) r ( r n ) Pn(cos) r0
0 =
r <r
n =0
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, ) = e + u(r,) r1
n =0
cn rn Pn(cos) cn ( r n ) Pn(cos) R
n =0
De acuerdo al planteo del problema el potencial sobre la esfera es nulo V(R,) = 0 El potencial generado por la carga puntual e sobre la superficie esfrica es, teniendo en cuenta que r>r0 (Ver problema anterior del potencial de un campo elctrico generado por una carga puntual ) 1 1 = r1 r
n =0
r0 n ) Pn(cos) r
n =0
r0 n ) Pn(cos) + R
n =0
cn Pn(cos) = 0
de donde se extrae la expresin de los coeficientes cn cn = ( r0 n e ) R R la solucin del problema planteado es entonces
V(r, ) = V(r, ) =
e + u(r,) r1 e e r1
n =0
r0 n r n R 2 n +1
Pn(cos)
V(r, ) = e [
n =0
r0 n r n +1
Pn(cos)
n =0
r0 n r n R 2 n +1
Pn(cos) ]
n =0
( r0 n
r0 n ) Pn(cos) r Pn(cos)
1 = r1 n =0
r n +1
por lo tanto (1 / r1 ) = r
n =0
(n+1)
r0 n r n+2
Pn(cos)
n =0
(n+1)
r0 n R n+2
Pn(cos)
n =0
r0 n r n 1 R 2 n +1
Pn(cos)
su valor para r = R es u = r r = R
n =0
r0 n R n+2
Pn(cos)
n =0
(2n+1)
r0 n R n+2
Pn(cos)
V(r0, ) =
e r1
c<r
e r0 e c
n =0
( (
c n ) Pn(cos) r0 r0 n ) Pn(cos) c e c e c
c >r
n =0
V(r , ) =
n =0
0 En rn Pn(cos)
c<r
n =0
r n ) c
Pn(cos) Pn(cos)
c >r
n =0
12.2.3.- ECUACION DE LAPLACE EN COORDENADAS ESFRICAS 1.- Problema de Dirichlet 1.1.- Ecuacin del potencial 2u = 0 Esfera de radio R
Simetra axial
Potencial u(R ) = f() |u|<M
2u := DIV(GRAD(u)) =
1 2 sin() 2u 2 +
2 sin() [
u 1 u u sin() sin( ) + ] = 0 +
= Simetra axial := 2u = 2u 2
2u u =0 =0 2
cos ( ) u 2 u 1 2u =0 + 2 + 2 2 sin()
queda el sistema de dos ecuaciones en derivadas totales 2 P + P 2 P = 0 + cot g ( )+ = 0 Euler Legendre modificada
La segunda ecuacin (de Legendre) tiene por solucin () = A y1(cos() , ) + B y2( cos() , ) donde 1 =2 1 + 4
La solucin es finita solamente para = n(n+1) en ese caso queda los Polinomios y las funciones de Legendre
() = A Pn(cos()) + B Qn(cos())
donde B = 0 para que la solucin sea finita
() = A Pn (cos())
La solucin de 2 P 2 P = 0 P + n (n + 1) 2 P P=0 P + 2 es P() = C n + D -(n+1) donde D=0 para que la solucin sea finita P() = C n Queda u( ) =
+
n =0
En n Pn(cos())
n =0
n =0
cn Pn(cos())
2n + 1 2
+1
f (t) Pn(t) dt
En Rn = cn u( ) =
n =0
cn ( ) n Pn(cos()) R
2u = 0
Simetra axial
Potencial u(R ) = 1 + cos() |u|<M
n =0
En n Pn(cos())
n =0
+
Como P0 = 1 u(R ) = E0 = 1 E1 R = 1 u( ) = 1 +
n =0
En Rn Pn(cos()) = P0 + P1
cos() R
1.3.-
2u = 0
Simetra axial
[0,/2] V1 Potencial u(R ) = V [ /2, ] 2 |u|<M
n =0
+
En n Pn(cos())
n =0
n =0
cn Pn(cos())
2n + 1 2
+1
f (x) Pn(x) dx
En Rn =cn =
2n + 1 2
+1
n =0 f (x) Pn(x) dx c0 =
n 1= 2 k c2k+1 =
u( ) =
n =0
cn ( ) n Pn(cos()) R
u( ) = V2 + u( ) = u( ) =
1 1 (V1+V2) + ( V1V2) [ 2 2
k =0
P2k(0) [
4k + 3 ] ( ) 2 k +1 P2k+1(cos()) ] 2k + 2 R
APNDICE I
El estudio de los Polinomios de Legendre en V(1) hace ms facil encontrar la Segunda forma de los mismos y la Tercera Representacin, que es a de Olindo Rodrigues. A partir de la ecuacin de Recurrencia del mtodo de Fuchs en el V(0) se puede tener directamente una Cuarta forma de los Polinomios de Legendre y de ella deducir la frmula de Olindo Rodrigues.
Ck-2 =
Ck-2 =
Cn-2 =
C n (-1) n (n - 1) 2 (2n - 1) Asimismo para k = n 2 se puede calcular tiene Cn-4 C n - 2 (-1) (n - 2) (n - 3) 4 (2n - 3) y as en forma sucesiva y decreciente pueden obtenerse los coeficientes de los Polinomios de Legendre de orden
Cn-4 =
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 Cn-2j = Cn-2j = Cn-2j = Cn-2j = C n (-1) j n(n - 2)...(n - 2j + 2) .(n - 1)(n - 3)...(n - 2j + 1) 2.4.6... (2j) (2n - 1)(2n - 3)...(2n - 2j + 1) C n (-1) j n(n - 1)(n - 2)(n - 3)...(n - 2j + 2)(n - 2j + 1) 2 j. j! (2n - 1)(2n - 3)...(2n - 2j + 1) C n (-1) j
j
n!
2 j n! (n - j)!
2 j. j! (n - 2j)!
n Impar n Par
Pn(x) = Cn
n! n! (2n)!
j= 0 J
Pn(1) = Cn
n! n! (2n)!
j= 0
j= 0
Cn =
(2n)! n! n!
Pn(x) =
1 2n
j= 0
3.2.4.- DEDUCCIN DE LA TERCERA EXPRESIN DE LOS POLINOMIOS DE LEGENDRE: OLINDO RODRIGUES A PARTIR DE LA CUARTA EXPRESIN
Partiendo de (x2 1)n =
k =0
n 2n2k (1)k k x
k =0 n
k =0
Que es la primera expresin de Los Polinomios de Legendre salvo constante. Por otro lado recordando la convencin Pn (1) = 1 D(n) (x2 1)n = D(n) [(x 1)n (x + 1)n ] = D(n) (x2 1)n
n
k =0
n (k) n (n k) (x +1)n k D (x 1) D
=
x =1
k =0
Pn (x) =
1 2 n!
n
D(n) (x2 1) n
Como verificacin se deduce la expresin de los primeros Polinomios de Legendre a partir de esta frmula.
P0 (x) = P1(x) =
1 2 0! 1 2 1! 1 2 2! 1 2 3 3!
2 1 0
= 1 = x 1 ( 3 x2 1) 2 1 = ( 5 x3 3 x) 2
P2 (x) = P3 (x) =