Академический Документы
Профессиональный Документы
Культура Документы
Departamento de Matemática
Facultad de Ingeniería
Universidad de Buenos Aires
2002
V 2.03
INDICE
5.1.- PARIDAD
5.2.- VALORES NOTABLES
5.3.- ACOTACIÓN
5.4.- COEFICIENTES NOTABLES
11.- EJERCICIOS
∫
1
Ejercicio 1 Calcular Pn dx
0
Ejercicio 2 Desarrollar en Serie de F-L la función u(x) en x ] –1 1[
Ejercicio 3 Desarrollar en Serie de F-L la función sg(x) en x ] –1 1[
1
Ejercicio 4 Verificar a partir de la ED de Legendre que ∫
1
Pn dx = 0 para n > 0
Ejercicio 5 Calcular P’n(0)
1
Ejercicio 6 Calcular ∫0
x Pn dx
Ejercicio 7. Desarrollar en Serie de F-L a la función | x | en x ] –1 1[
1
Ejercicio 8.- Calcular ∫
1
xn Pk dx = 0 para n > 0
cos((2n 1) / 2)
Ejercicio 9 Calcular ∫
0 (cos cos ) 1/ 2
d
APÉNDICE I
3.2.3-. CUARTA EXPRESIÓN DE LOS PRIMEROS POLINOMIOS DE LEGENDRE
3.2.4.- DEDUCCIÓN DE LA TERCERA EXPRESIÓN DE LOS POLINOMIOS DE LEGENDRE:
OLINDO RODRÍGUEZ A PARTIR DE LA CUARTA EXPRESIÓN
FUNCIONES Y POLINOMIOS DE LEGENDRE
Los Polinomios de Legendre son uno de los ejemplos más importantes de los Polinomios Ortogonales, porque
aparecen como soluciones en varios problemas clásicos de la física como:
2.- Resolución de los modelos de la física con Ecuaciones Diferenciales en Derivadas Parciales (EDDP) en
coordenadas esféricas.
Son ejemplo de estos modelos de la física, los campos conservativos, no conservativos, propagación de calor,
propagación de ondas, propagación de señales telegráficas, propagación de ondas de partículas simples.
cuya solución general es entonces la combinación lineal de dos soluciones linealmente independientes
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 solución general toma la forma:
Las Forma canónica de la ED de Legendre ha sido elegida como tal por la simplicidad en los cálculos de las
soluciones. Las Formas Modificadas de la ED de Legendre se obtienen a partir de la Canónica por medio de un cambio
de variables que se emplean en demostraciones matemáticas o en aplicaciones físicas.
T1.- x = cos
(1– x2) y’’ – 2 x y’ + y = 0 y’’ + cotg y’ + y = 0
D.- Esta forma modificada de la Ecuación de Legendre se obtiene con el cambio de variable x = cos
x' sin
y'' y' 1 ]
y’’xx = [ + cos ] [
sin sin 2 sin
sin sin
2 3 sin
si = (+1) con = n N las soluciones con Polinomios de Legendre de orden n tendrán la solución
general de la forma:
Una segunda forma modificada se obtiene por translación z = x–a 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 = x–a
(1 – x2) y’’ – 2 x y’ + y = 0 (1 – ( z + a)2) y’’ – 2 (z + a) y’ + y = 0
Partiendo de la ED canónica:
(1 – x2) y’’ – 2 x y’ + y = 0
z = x–a ⇒ x=z+a
x–1=z+a–1
x+1=z+a+1
Esta tercera forma modificada de la ED de Legendre se emplea en la acotación de raíces de los Polinomios de
Legendre.
z
T3.- y=
(sin )1 / 2
= (+1)
1
(1 – x ) y’’ – 2 x y’ + y = 0
2
z’’ + [ ( + )2 + 1
]z=0
2 4(sin )2
A partir de la ED modificada
z
y=
(sin )1/ 2
z' 1 z cos
y’ = –
(sin )1/ 2 2 (sin ) 3 / 2
Reemplazando en:
queda:
1 (cos )
3 (cos ) 2 2
z’’ + [ 1
+ – +]z=0
4 (sin ) 2 2 2 (sin ) 2
Eligiendo = (+1)
1 1 (sin ) 2 1
z’’ + [ + + (+1) ] z = 0
4 (sin ) 2 2
1 1
z’’ + [ 2 + + + ]z=0
4 4(sin ) 2
resultando:
1 1
z’’ + [ ( + )2 + ]z=0
2 4(sin ) 2
3.- RESOLUCIÓN DE LA ECUACIÓN DIFERENCIAL DE LEGENDRE.
3.1.- SOLUCIÓN POR EL MÉTODO DE FUCHS EN V(0)
La ED Legendre
(1–x2) y’’ – 2 x y’ + y = 0
2x
p(x) = – ⇒ CV(p) = { | x | 1}
1 x 2
⇒ CV(y) = { | x |1}
q(x) = ⇒ CV(q) = { | x | 1}
1 x 2
y = ∑
k 0
Ck x k + r
y’ = ∑
k 0
Ck (k + r) x k+ r –1
y’’ = ∑
k 0
Ck (k + r) (k + r –1) x r + k –2
y = ∑
k0
Ck x k + r
– 2 x y’ = ∑
k0
– 2 Ck (k+r) x k+ r
(1 – x ) y’’ =
2
∑
k 0
Ck (k + r) (k + r –1) x k+r–2
+ ∑
k0
– Ck (k + r) (k + r – 1) x r + k
0=
C0 (r) (r – 1) = 0
de donde
r1 = 1; r2 = 0; =1
Se está en presencia de un caso III de Fuchs cuyo subcaso se discrimina en la ecuación de recurrencia con:
r = r2 = 0 k==1
Donde se observa que la Condición Complementaria – C–1 [ (–1) (0) – ] = 0 es siempre nula porque
C–1 = 0. Por lo tanto la Ecuación de Legendre es un Caso IIIA del método 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 Ecuación de Recurrencia más fácilmente se transforma el segundo
término en producto de monomios
(k + r) = 3/2 (1 / 4)
= 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 solución simultáneamente se desarrollará la función y(x, r):
Ck - 2 (k - 2 r - ) (k -1 r )
Ck =
(k r)(k r -1)
resulta entonces:
C0 = C0 arbitrario y no nulo.
C1 = 0 válido para la primera solución, y elegido arbitrariamente nulo para la segunda. Además se arrastra
C1 = 0 ⇒ C2p+1 = 0
C 0 (r - ) (1 r )
C2 =
(r 2)(r 1)
C 0 (r - ) (2 r - ) ... (2p - 2 r - ) (1 r ) (3 r ) ... (2p - 1 r )
C2p=
(r 2p) (r 2p -1) ... (r 4) (r 3) (r 2) (r 1)
Entonces:
(r - ) (r 2 - ) ...(r 2p - 2 - ) (r 1 ) (r 3 ) ...(r 2p - 1 ) 2p+r
y(x, r) = C0 ∑p0
(r 2p) (r 2p - 1) ... (r 4 ) (r 3 ) (r 2) (r 1 )
x
(1 - ) (3 - ) ...(2p - 1 - ) (2 ) (4 ) ...(2p ) 2p+1
y1 = y(x,r)
r r1 1
= C0 ∑
p0
(2p 1 )!
x
(- ) (2 - ) ...(2p - 2 - ) (1 ) (3 ) ...(2p - 1 ) 2p
y2 = y(x,r)
r r2 0
= C0 ∑
p0
(2p)!
x
Estas soluciones y1 e y2 son las funciones de Legendre que generan a la solución general de la Ecuación de
Legendre como la combinación lineal:
y = A y 1 + 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).
Una primera forma o expresión de los Polinomios de Legendre se deduce de la siguiente manera:
I.- En la primera solución 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
II.- En la segunda solución y2, si = n es Natural y Par también se obtiene un Polinomio de orden pues los
coeficientes de la serie se anulan a partir de 2p > n
y1(x) si nPar
n y2 (x) si n Impar C0 Pn(x)
0 C0 1 1
1 C0 x 1 x
2.3 2 1 1
C0 [ 1 – x ] – [ 3 x2 –1]
2 2! 2 2
2.5 3 3 1
C0 [ x – x ] – [ 5 x3 – 3 x]
3 3! 2 2
4.5 2 4.2.5.7 4 3 1
C0 [ 1 – x + x] [ 35 x4 – 30 x2 + 3]
4 2! 4! 8 8
4.7 3 4.2.7.9 5 15 1
C0 [ x – x + x] [ 63 x5 – 70 x3+ 15]
5 3! 5! 8 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 translación z = x – 1
(1 – x2) y’’ – 2 x y’ + y = 0
z = x–1 ⇒ x=z+1
x+1=z+2
– z (z + 2) y’’ – 2 (z + 1) y’ + y = 0
z (z + 2) y’’ + 2 (z + 1) y’ – y = 0
2( z 1 )
p(x) = ⇒ CV(p) = { 0 | z | 2}
z( z 2 )
⇒ CV(y) = { 0 | z | 2 }
q(x) = – ⇒ CV(q) = { 0 | z | 2} z( z
2)
y = ∑k 0
C k zr + k
y’ = ∑
k 0
Ck (r+k) z r + k –1
y’’ = ∑
k 0
Ck (r+k) (r+k – 1) z r + k–-2
–y = ∑
k 0
– Ck z r + k
2 (z+1) y’ = ∑
k0
2 Ck (r+k) z r+k
+ ∑ 2C
k0
k (r+k) zr + k–1
z (z+2) y’’ = ∑
k 0
Ck (r+k) (r+k–1) z r+k
+ ∑
k0
2 Ck (r+k) (r+k–1) z r + k–1
C0 2 r2 = 0
de donde
Para operar la Ecuación de Recurrencia más fácilmente se transforma el segundo término en producto de
monomios
1/2 (1 / 4)
= 1/2 ( + 1/2) = + 1
= –
queda
C k -1 ( 1 k) (k )
Ck =
2k2
C0 = 1
() ( 1)
C1=
2 12
() ( 1) ( 1) ( 2)
C2=
2 2 (2!) 2
( k 1)
() ( 1)... ( 1 k) ( 1) ( 2)...( k) ( k 1)
Ck = =
k 2
2 (k!) 2 k (k! ) 2
( k 1)
( k 1) k
y1 = ∑
k 0
k
2 (k! ) 2
z
En efecto:
1
=0
k n+1 ⇒
(n k 1)
n (n
(n kk 1)
1)
k
y1 = ∑
k 0 2 k (k!) 2
z
Si k = n entonces:
(n k)! n! (n k)!
Ck = k
=
2 (n k)! (k!) 2
2 (n k)! n! (k!) 2
k
1 n n k
Ck =
2k k k
n
n n k z k
y1 = ∑k 0
k k (2) =: Pn (z)
3.3.3.- TERCERA REPRESENTACIÓN: FÓRMULA DE OLINDO RODRIGUES
Lema
(x2 – 1) = (x – 1) (x + 1)
= z (z + 2)
(x2 – 1) n = z n (z + 2) n
n
n⎞
k+n
= k| z 2n– k
k0 ⎠
n
(n) 2 n
n⎞ k n– k
1
P n(x) = D(n) (x2 – 1) n
n
2 n!
De la cual se deducen los primeros Polinomios de Legendre que coinciden con lo ya vistos:
Fórmula de Olindo
Pn(x)
n Rodrigues
1
D(0) (x2 – 1) 0
P0 (x) 200! 1
1
D(1) (x2 – 1)1
P1(x) 1
2 1! x
1 (2) 2 1
D (x – 1)2 [ 3 x2 –1]
P2 (x) 2 2
2 2!
1 1
D(3) (x2 – 1) 3 [ 5 x3 – 3 x]
P3 (x) 3
2 3! 2
1 1
D(4) (x2 – 1) 4 [ 35 x4 – 30 x2 + 3]
P4 (x) 4
2 4! 8
1 (5) 2 1
D (x – 1) 5 [ 63 x5 – 70 x3+ 15]
P5 (x) 5 8
2 5!
3.4.- SEGUNDA SOLUCIÓN DE LA ECUACIÓN DE LEGENDRE EN
V(1)
3.4.1.- LA ECUACIÓN DE RECURRENCIA GENERALIZADA DE ’
' ( k 1 ) 1 1 1 1 + 1 + ' ( )
= + + + ... +
( k 1 ) k k 1 k 2 1 ( )
Queda
' ( p 1)
= H(p) + ’(1)
( p 1)
C k -1 ( 1 r k)) ( r k)
Ck =
2(r k) 2
resulta entonces:
C0 = C0 arbitrario y no nulo.
( r 1) 2
1 = C0 (r+1)
( r 1)
( r 1)
C0 =
( r 1) 2 (r 1)
Se destaca que para r =0 se mantiene la convención establecida para los Polinomios de Legendre
( 1)
C = = 1 = P (x) = P (z) =1
0 n n
( 1) (1) 2 x 1 z0
( r k 1)
∑
1 1 k
y(z, r) = z r z
k0
( - r k 1) (r k 1)
2 2k
( r k 1) 1 1
y(z, r) = ∑
k0
( - r k 1) (r k 1)
2 2k
z r+k
( k 1) 1 zk
y1 = y(z, r)
r r1 0
= ∑
k0
( k 1) (k!) 2 2k
La Segunda solución y2 por el método de D’Alembert se obtiene derivando y(z, r) respecto de r y luego
reemplazando r = 0.
y(z, r)
y2= =
r r r2 0
( r k 1) 1 ' ( r k 1) ' ( r k 1) ' (r k 1) z rk
= y1 Lz + ∑
k0
( - r k 1)
[
2 (r k 1) ( r k 1)
– (–1)
( - r k 1)
–2 ]
(r k 1) 2 k r 0
( k 1) 1 ' ( k 1) ' ( k 1) ' (k 1) z k
= y1 Lz + ∑
k0
[
( k 1) (k!) 2 ( k 1)
+
( k 1)
–2 ]
(k 1) 2 k
= y1 Lz + H2(z)
n
(n k)! 1 z k
H2(z) = ∑
k 0
(n k)! (k!) 2
[ H(n+k) + H(n –k) – 2 H(k)]
2k
y(z, r)
y2= = Qn (z)
r r r2 0
n
(n k)! 1 zk
= Pn(z) Lz + ∑
k 0
(n k)! (k!) 2
[ H(n+k) + H(n –k) – 2 H(k)]
2k
1 2(z 1)
y2(z) = y1 (z) ∫ (y1 ) 2
exp (– ∫ z(z 2)
dz ) dz
∫
1 1 1
= y1 (z) ∫ (y1 ) 2
exp (–
z
+
z 2
dz ) dz
1 1 1
= y1 (z) ∫
(y1 ) 2
[
z z 2
] dz
1
C0 = 1 ⇒ H/V(0)
(y1 ) 2
y además
1 1
1 H/V(0) ⇒ H/V(0)
z2 (y1 ) 2 z 2
1
= y1 (z) ∫ z
H3(z) dz
= y1 (z) [ L(z) + H4(z)]
Obs: Nótese que la segunda solución y2 en V(1) tiene L(z) en la solución. Análogo hecho se demuestra en V(–1)
1 2(z 1)
y2 = Qn (z) = Pn (z) ∫ Pn2
exp (–
∫ z(z 2)
dz ) dz
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 solución correspondiente a partir del Método de Reducción del Orden.
1
Qn = P n ∫ (1 x 2 )(Pn ) 2
dx
Qn = u Pn(x)
por lo tanto
1
u’ =
(1 x )(Pn ) 2
2
1
u= ∫ (1 x 2 )(Pn ) 2
dx
se obtiene entonces la forma general de la segunda solución correspondiente a los Polinomios de Legendre,
que se denomina Qn , a:
1
Qn = P n ∫ 2
(1 x )(Pn ) 2
dx
A n
1 B Dk Ek
(x 1)(Pn )
2 2
=
x1
+
x 1
+ ∑
k1
(x x k ) 2
+
xxk
donde los valores xk son los ceros (todos simples) del Polinomio P n y los coeficientes de las fracciones
simples toman los valores expresados a continuación. Los valores x = 1 y x = –1 no son ceros de Pn pues Pn(1) = 1
y
Pn(–1) = (–1)n
1 1
A= =
2.(Pn (1)) 2 2.
1 1
B=– = –
2.(Pn (1)) 2 2.
Llamando f(x) a la función a descomponer por fracciones simples, la expresión de los coeficientes D k es
(x x k ) 2 1
=
(x 1)(Pn (x))
2 2 Pn (x) P(x k )
(x 2 1)[ ]2
xxk
Pasando al Límite de esta expresión para x xk se obtiene:
1
Dk =
(x k 1)[Pn ' (x k )]2
2
reemplazando f(x)
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 '
2 Pn Pn '
Por lo tanto
Ek = 0
Observación: Otra forma de asegurar que Ek = 0 es a partir de que Qn H/xk pues el Campo de
Convergencia de las soluciones de Legendre en el V(0) era CV(y) = { | x |1} .
Ek
Ek 0 ⇒ ∫ x xk
dx = Ek L(x - xk)
A n
1 B Dk Ek
(x 1)(Pn )
2 2
=
x1
+
x 1
+ ∑
k1
(x x k ) 2
+
xxk
queda entonces:
n
1 1 / 2 1/ 2 Dk
(x 1)(Pn )
2 2
= –
x 1 x 1 + ∑
k1
(x x k ) 2
se obtiene finalmente
n
1 1 x Dk
Qn = u Pn(x) = Pn(x) [
2
L
1 x + k1 ∑ (x x k )
]
1 1 1x
Q1(x) x ∫ (1 x2 ) x2
dx
2
xL
1 x
–1
P 1 Q0 – 1
1 1 1x 3 3 3
Q2(x) P2 ∫ (1 x )(P2 ) 2 2
dx
2
P2 L – P1
1 x 2
P 2 Q0 – P 1 = P 2 Q0 –
2
x
2
1 1 1 x 10 1
∫ P3 L – P2 – P0 5 1 5 2
Q3(x) P3 dx P 3 Q0 – P2 – P 0 = P 3 Q0 – x 2 + 3
(1 x )(P3 ) 2 2 2 1 x 3 3 6 2 3
4.- REPRESENTACIONES INTEGRALES DE LOS POLINOMIOS DE LEGENDRE
Lazo V(x)
x V(x)
1 1 ( t 2 1 )n
Def: Pn(x) ⇒ Pn(x) =
2
n 2i ∫ ( t x ) n1
dt
D.- Esta representación se obtiene a partir del teorema de las derivadas sucesivas de Cauchy que se recuerda
f(t) H/V(x)
Lazo V(x)
f(n)(x) 1 f (t )
x V(x) ⇒
n!
=
2i ∫
( t x )n1
dt
eligiendo f(t)
1
f(t) = (t 2 – 1) n
n
2 n!
siendo
f (n)(x) = Pn(x)
1 1 ( t 2 1 )n
Pn(x) =
2n 2i ∫ ( t x )n1
dt
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
1 2
Pn(cos) =
2
∫
0
(cos + i sin sin) n d
∫
Por paridad
Pn(cos) = 1 (cos + i sin cos) n d
∫ 0
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
1 2
Pn(ch) =
2
∫0
(ch + sh cos) n d
Por paridad
Pn(ch) = 1
∫ 0
(ch + sh cos) n d
Para que la integral de Schlafli sea solución basta que la función 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 función anterior tiene 3 puntos de ramificación: +1 –1 x.
Ejemplo 1:
si se toma 1 como indica la figura, se verifica que la función integrando retoma el valor inicial:
(t2 – 1)+1 (t2 – 1)+1 e2i(+1)
+2 2i(+2)
(t –x)+2 (t – x) e
(t 2 1) 1 (t 2 1) 1
e2i – 4i
(t x) 2 (t x) 2
Ejemplo 2:
5.1.- PARIDAD
1
Pn(x) = D(n) (x2 – 1)n
n
2 n!
se implica directamente que Pn(x) tiene la paridad de n.
1 1 3 5 35
– –
2 8 16 128
5.3.- ACOTACIÓN
Hay varios teoremas de acotación de los Polinomios de Legendre. Algunos son los siguientes:
D.-
|x| = 1 ⇒ | Pn(x) | = | Pn(cos) | = 1
|x| < 1
| Pn(cos) | 1 | cos + i sin cos | n d
∫0
2 / 2
0
∫
| 1 – sin2 sin2 | n/2 d
2
Como en [0 /2] ⇒ sin
se tiene
2 / 2 2
| Pn(cos) | <
∫0
| 1 – sin2 (
) 2 | n/2 d
2
cambiando de variable u = sin
1 sin
u sin( 2 / )
=
sin
∫ 0
| 1 – u2 | n/2 du
1 1
<
sin ∫0
| 1 – u2 | n/2 du
2 sin ∫0
(1 – v ) n/2 v -1/2 dv
n
1 1 n 1) 1 1 1 (
2
= B( + 1, ) =
2 sin 2 2 2 sin ( n 3 )
2 2
n
1 1) (
Pn(cos) | < 1 2
2 sin ( n 3 )
2 2
Partiendo de
| Pn(cos) | 1 | cos2 + sin2 cos2 | n/2 d = 2 / 2
| cos2 + sin2 cos2 | n/2 d
0 ∫ ∫0
2 / 2 2 2 n/2
| Pn(cos) | <
0
∫
| 1 – sin2 (
) | d
2 / 2 2 2 n/2
<
0
∫
|1– (
) | d
Además como 1 – y e – y
n sin2 2 2 2 n sin2
2
2 ()
1–( ) e 2
2
(
) 2
=e
2n sin2 ( )2
| Pn(cos) | < 2 / 2 d
∫0 e 2
Cambiando de variable
t = (2n)1/2 sin
2 n / 2 sin
∫
2
| Pn(cos) | < e t dt
n sin 2 0
2
2
e t dt = 2
| Pn(cos) | <
n sin 2 ∫
0 n sin 2 2
=
1
Pn(cos) | <
2n sin 2 2n | sin |
1 ( 2n )!
T8.-. Def Pn(x) ⇒ Coef(x n) = D(n) x2n =
2 n n! x1 2n n! n!
T1.- Los ceros de cualquier solución de una EDLH de segundo orden son simples
T2.- Dos soluciones li de cualquier solución de una EDLH de segundo orden no pueden tener ceros comunes
T3.- Dos soluciones li de cualquier solución de una EDLH de segundo orden tiene los ceros intercalados (entre dos
ceros consecutivos de una solución se intercalan uno solo de otra solución)
z
y=
(sin )1/ 2
queda la ED
1 1
z’’ + [ (n + )2 + ]z=0
2 4(sin ) 2
1
w" + (n + )2 w = 0
2
a los efectos de aplicar el Teorema de Sturm que asegura que z tendrá 1 cero entre 2 ceros consecutivos de w.
Una integral particular de la ED en w es
1
w = sin(n + )
2
1
sin(n + ) = 0
2
1
(n + )k = k
2
k
k =
1
n
2
k 1 k
1 < k < 1
n n
2 2
nk n 1 k
< n+1- k < 1
n
1 n
2 2
– k
1
n–k n – k – n –
2
1
n+1 – k – n –
n+1– k
2
1 1
k k
2 < – k < – 2
– 1 1
n n
2 2
1 1
k k
2 < < 2
k 1
1 n
n
2 2
1
D1.- Partiendo de la fórmula de Olindo Rodrígues Pn(x) = D(n) (x2 – 1)n
n
2 n!
1 1
Pn+1(x) = D (n+1)
(x – 1)
2 n+1
= D (n)
[ D(x – 1)n+1 ]
2
2n1 (n 1)! 2n1 (n 1)!
1
= D(n) [ x (x2 – 1)n ]
n
2 n!
I.- Desarrollando esta derivada como producto de funciones
1 1 1
D(n) [ x (x2 – 1)n ] = x D(n) (x2 – 1)n + n D(n–1 ) (x2 – 1)n
n n n
2 n! 2 n! 2 n!
1
= x Pn + n D(n–1) [ (x2 – 1)n ]
2n n!
II.- Por otra parte derivando una vez a la misma expresión
III.- Eliminando D(n–1) (x2 – 1)n entre las dos igualdades se obtiene:
2n 1 (2n 1)
[ P n+1 – x Pn ] = D(n–1) [ (x2 – 1)n ] = [ P n+1 – Pn–1 ]
n 2 n (n)!
(n+1) Pn+1 – (2n+1) x Pn + n Pn–1 = 0
D2.- . Un segundo método para llegar a la primera formula de recurrencia es partir de desarrollar el polinomio x Pn
de orden n+1 en función de los mismos Polinomios de Legendre:
Queda
Los polinomios x Pn , Pn+1 , Pn–1 tienen la misma paridad, distinta de la paridad de P n y por lo tanto
cn = 0
para x = 1
1 = cn+1 + cn–1
Finalmente
Ejercicio: Aplicar la fórmula de Olindo Rodrigues y la relación de recurrencia anterior para construir los
polinomios P0 ,P1_, P2 , P3, P4 _
1
P0 (x) = D(0) (x2 – 1) 0 = 1
2 0 0!
1
P1(x) = D(1) (x2 – 1) 1 = x
1
2 1!
1
2 P2 = 3 x P 1 – P0 P2(x) = ( 3 x2 – 1)
2
1
3 P3 = 5 x P2 – 2P1 P3 (x) = ( 5 x3 – 3 x)
2
7 1
4 P4 = 7 x P1 – 3P0 4 P4 = x ( 5 x3 – 3 x) – (3 x3 – x)
2 2
1
P4 (x) = ( 35 x4 – 30 x2 + 3x
8
6.2.- SEGUNDA FÓRMULA DE RECURRENCIA
T.- Def. Pn(x) (1– x2) P'n = (n+1) ( x Pn – Pn+1 )
D.- Para demostrar ésta segunda fórmula de recurrencia se puede aplicar la formula de Schlafli
1 1 (t 2 1) n1
Pn+1(x) =
2n1 2i ∫
(t x) n2
dt
queda entonces:
0 = (n+1) ∫ P + ∫ x P’ – P – cte
n n n+1
0 = (n+1) ∫ P + x P – ∫ P – P
n n n n+1 – cte
n ∫ P + x P – P = cte
n n n+1
y se integra
Observación 1: (!!! Z !!!) La derivación respecto del parámetro t de integración, merece especial cuidado:
T.- f(t) = ∑
n
an (t – a)n
∫
f (t) dt = 2i R(a)
∫
f (t) dt = ∫ ∑
n
an (t – a)n dt
La integral de la derivada
∫
f ’(t) dt = ∫ ∑
n
n an (t – a)n–1 dt
n0
La serie derivada no tiene el término en (t– a) –1 y por lo tanto es nula
∫
f ’(t) dt = 0
(t 2 1) n
(t x) n2
o también
t(t 2 1) n
(t x) n2
D.-
1
P’n+1(x) = D(n+2) (x2 – 1)n+1
2 n1
(n 1)!
1
= D(n+1) D[ (x2 – 1)n+1 ]
2 n1 (n 1)!
1
= 2 (n+1) D(n+1) [ (x2 – 1)n x]
2 n1
(n 1)!
1
= D(n+1) [ x (x2 – 1)n]
n
2 n!
1
= D(n) [ (x2 – 1)n + 2n x2 (x2 – 1)n–1]
2n n!
1
= Pn(x) + 2n Pn(x) + D(n) (x2 – 1)n–1
(n 1)! 2 n1
1
(1 2hx h 2 )1 / 2
= ∑
n0
Pn(x) hn
Los polinomios de Legendre tienen su origen histórico como coeficientes del desarrollo de la serie entera de la
función:
1
(1 2hx h 2 )1 / 2
= ∑
n0
an(x) hn
an(x) = Pn(x)
1 (2n)!
(1 y) 1/ 2 = ∑
n0
2n
2 n!n!
yn =
(2n 1)! n 1 3 2 1.3.5....(2n 1) n
= ∑
n0
(2n)!
y =1+
2
y+
8
y + ... +
2.4.6...(2n)
y +… con | y | < 1
1 1
=1+ (2xh – h2) + 3 (2xh – h2)2 + ... + 1.3.5....(2n 1) (2xh – h2)n +…
(1 2hx h 2 ) 1/ 2 2 8 2.4.6...(2n)
3 1 5 3
=1+ xh+ ( x2 – ) h2 + ( x3 – x) h3 + …
2 2 2 2
1 n
Observación 1: (!!!Z!!!) Este cambio de orden debe ser hecho con mucho cuidado porque no existen reglas
generales para ello, y podría ser abusivo.
En las series dobles de potencias con respecto a (x, h) es condición suficiente la Convergencia Absoluta
(CA) de la misma.
∑ ∑ CA ⇒ ∑ ∑ = ∑ ∑
n0 p0 n0 p0 p0 n 0
Para el análisis de la CA basta encontrar una Serie Mayorante de la forma
| ∑ ∑
n0 p0
a p,n x h |
p n
∑ ∑
n0 p0
| a p,n | | xp | | hn |
| 2xh | + | h |2 < 1
| 2xh | – | h |2 < 1
Puede encontrarse una relación de recurrencia entre los coeficientes a n(x) derivando con respecto a h el
desarrollo:
1
(1 2hx h 2 )1 / 2
= ∑
n0
an(x) hn
xh
n-1
(1 2hx h 2 ) 3 / 2
= ∑
n0
an(x) n h
( x – h) ∑
n0
an(x) h n
= (1 – 2xh + h ) 2
∑
n0
an(x) n hn-1
que es la relación 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)
1
(1 2hx h 2 )1 / 2
= ∑
n0
Pn(x) hn
Observación 2: Se pueden verificar fácilmente los primeros términos aplicando la Serie de Taylor
f (n) (0) 1 1
= D(n) [ ]
an(x) =
n! n! (1 2hx h 2 ) 1/ 2 h0
7.2.- SEGUNDA DEMOSTRACIÓN DE LA FUNCIÓN GENERATRIZ
El desarrollo de la serie
1
(1 2hx h 2 )1 / 2 = ∑
n0
an(x) hn
1 u u n1
an(x) = –
2i ∫
' (1 2xu u 2 ) 1/ 2 u2
du
1 un
an(x) =
2i ∫
'
(1 2xu u 2 )1/ 2
du
(1 – 2xu + u2)1/2 = u – t
1 – 2xu + u2 = u2 – 2tu + t2
u 2(t – x) = t2 – 1
(t 2 1)
u=
2(t x)
tu
du = dt
t x
En este cambio de variable el lazo ’ que encierra a O se transforma en el lazo ’’ que encierra a x. Se llega a
1 1 ( t 2 1 )n
an(x) =
2 n 2i ∫ '' ( t x )n1
dt
aplicando Schlafli
an(x) = Pn(x)
Los Polinomios de Legendre son una solución de un caso particular de la Ecuación de Legendre:
1
T.- Pn(x) = D(n) (x2 – 1) n ⇒ (1 – x2) y’’ – 2 x y’ + n(n+1) y = 0 Forma canónica
2n n!
⇒ [(1 – x2) y’]’ + n(n+1) y = 0 Forma autoadjunta
y llamando
1
w = (x2 – 1) n ⇒ Pn(x) = D(n) w
n
2 n!
w' n2x
=
w (x 2 1)
(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
Resulta entonces Pn(x) una integral particular de la llamada ecuación diferencial de Legendre (caso Particular)
Sea I
(t 2 1) n
I= ∫
(t x) n1
dt = 2n 2 i Pn(x)
(t 2 1) n
∫
n
I’x = (n+1) dt = 2 2 i P’n(x)
(t x) n2
(t 2 1) n
I"xx = (n+2)(n+1) ∫
(t x) n3
dt = 2n 2 i P’’n(x)
(t 2 1) n 2 2
= ∫
(t x) n3
[ (n+2)(n+1)(1 – x ) – 2x (n+1) (t – x) + (n+1)n (t – x) ] dt =
(t 2 1) n
= ∫
(t x) n3
(n+1) [ (–(n+2) + 2 + n) x2 + (–2t – 2nt) x + (n+2) + n t2 ] =
(t 2 1) n 2
(n+1) [ n t – 2t (n+1) x + (n+2) ] = 2 i R(x)
= ∫
(t x) n3
(n 2)!
1
+ (n+2)(n+1) [ 2n ] D(n) (x2 – 1)n }
2
(n 1)(n 2)
= { [1–x2] D(n+2) (x2 – 1)n + [–2x] D(n+1) (x2 – 1)n + (n+1) n D(n) (x2 – 1)n }
(n 2)!
9.1.- ORTOGONALIDAD
Los Polinomios de Legendre conforman un Sistema Ortogonal sobre el intervalo real [–1,1] con respecto al
núcleo p(x) =1
Definiendo el determinante W
Pn Pm
W := con m n
P' n P' m
por lo tanto
Pn Pm
W’ = P' ' P' '
n m
= (1 – x2) W’ + (1 – x2)’ W
= [ (1 – x2) W ]’
integrando en [ –1 , 1]
1
[(m+1)m – (n+1)n] ∫1
Pm Pn = 0
el primer corchete se anula para m = n y m = – (n+1), por lo tanto para valores naturales de m y n con m n
1
∫1
Pm Pn = 0
lo cual demuestra la ortogonalidad sobre el intervalo real [– 1,1] y con respecto al núcleo p(x) = 1.
El teorema de Sturm-Liouville enuncia dos soluciones de una ED que cumpla con la forma definida en la
Hipótesis 1 (Forma Autoadjunta de SL) y con Condiciones de Contorno establecidas en la Hipótesis 2, son
ortogonales.
Teorema
(r y')' + ( p + q) y = 0
r r' p q : R R
r' p q IR
p(x) 0
(1 y1) S
b
( y ) S : r W( y y) = 0
2 2 2 1
a
⇒ T1 i i = i (i R)
⇒ T2 1 2 ⇒ y1 y2 = 0
⇒ T3 y1 y2 0 ⇒ 1 = 2
La Ecuación Diferencial de Legendre
[ (1 – x2) y’ ]’ + (+1) y = 0
r = 1 – x2
p=1
q=0
y en cuanto a las condiciones de contorno puede hay varias que cumplen con Sturm-Liouville
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
1 2
H.- Def Pn ⇒ || Pn ||2 = ∫ 1
P 2(x) dx =
n
2n 1
D1.- Una forma de obtener la Norma es a partir del cuadrado de la Función Generatriz
1 2 2n n+m
(1 2hx h 2 ) = n 0
∑ Pn (x) h + ∑ ∑
n0 m0,mn
Pn(x) Pm(x) h
1 1 2h h 2
∫
1 1
dx = L
1 (1 2hx h 2 ) 2h 1 2h h 2
1 1 h
= L
h 1 h
2 h 2n1 2 h3 h5
=
h ∑
n0
2n 1
=
h
(h+
3
+
5
+ ... )
1 h 2n
∑ ∫
n0 1
2
Pn (x) h
2n
dx = 2 ∑
n0
2n 1
lleva a:
1 2
∫1
P 2(x) dx =
n
2n 1
∫ u(n) v dx = u(n–1) v –
∫ u(n –1) v’ dx
= u(n–1) v – u(n–2) v’ +
∫ u(n –2) v’’ dx
= u(n–1) v – u(n–2) v’ + u(n–3) v’’ – u(n–4) v(3) + ... + (–1)n–2 u’ v(n–2) + (–1)n–1 u v(n–1) + (–1)n
∫ u v(n) dx
1 1
∫ ∫
1
|| Pn ||2 = Pn2(x) dx = ( )2 (–1)n (x2 – 1)n D(2n) (x2 – 1)n dx
1 n
2 n! 1
1 1
∫ ∫
|| Pn ||2 = (2n)!
Pn2(x) dx = (–1)n (x2 – 1)n dx
1 22n (n!) 2 1
1
∫
(2n)!
= (1 – x2)n dx
22n (n!) 2 1
1 1
∫ 1
(1 – x2)n dx = 2
∫
0
(1 – x2)n dx
1
xsin /2 2n+1
( 2) (n 1) 1
= 2
0 ∫
cos d = B( ,n+1) =
2 (n )
3
2
n! 2n1 n! 2 2n1 (n!) 2
= = =
1 1 31 (2n 1)(2n 1)...3.1 (2n 1)!
(n )(n )...
2 2 22
de donde
1 (2n)! 2 2n1 (n!) 2 = 2
2
|| Pn || = ∫1
Pn2(x) dx = 2n
2 (n!) 2 (2n 1)! 2n 1
2n 1
H.- Def Pn ⇒ { Pn(x) } SON/[ –1,1] ; p(x) = 1
2
1
Ejercicio 1: La ortogonalidad de los Polinomios de Legendre permite calcular fácilmente ∫P (x) dx
1
n
1
∫1
Pn(x) dx = 2
n 0
= 0
n 0
Ejercicio 2: Calcular
1
∫
1 1 dx =
1 (1 2rx r ) 2 1/ 2
(1 2Rx R 2 )1/ 2
1
= ∑ ∫ 1
Pn2(x) (rR)n dx
n0
(rR) n
= 2 ∑ 2n 1
n0
2
[(rR)1 / 2 ]2n1
=
(rR)1/ 2
∑ 2n 1
n0
1 x x 2n1
L
1 x = 2 ∑
n0
2n 1
se obtiene:
1 1 (rR) 1/ 2
∫
1 1 1
dx = L
1 (1 2rx r 2 )1/ 2 (1 2Rx R 2 )1/ 2 (rR)1/ 2 1 (rR) 1/ 2
10.- SERIES DE FOURIER-LEGENDRE
f CP/[–1 1]
donde los coeficientes se toman en la definición como los obtenidos a partir de la expresión:
1 1
∫1
f Pn(x) dx = cn ∫ 1
Pn2(x) dx
= cn 2
2n 1
f(x)
SAFL
∑ cn Pn(x) .
n0
2n 1 1
cn =
2
∫
1
f Pn(x) dx
n
2k 1
Def. Kn(t,x) = ∑
k 0
2
Pk(t) Pk(x)
Como una de las propiedades del Núcleo puede calcularse el valor de la integral
1 1 n 2k 1
∫1
Kn(t,x) dt = ∫ ∑
1
k0
2
Pk(t) Pk(x) dt
n
2k 1 1
= ∑
k0
2 1 ∫
Pk(x) Pk(t) dt
por la ortogonalidad de { Pk } estas integrales son todas nulas salvo para k = 0, y además teniendo en cuenta
que P0(x) = 1
1 1
∫
1
1
Kn(t,x) dt =
2 ∫ 1
1 dt = 1
10.3.- SUMA ENÉSIMA DE FOURIER-LEGENDRE
Sn(x) = ∑
k0
ck Pk(x)
n
1
2k 1
= ∑
k0
[
2 ∫
1
f(t) Pk(t) dt ] Pk(x)
1
Sn(x) = ∫ K (t,x) f(t) dt
1
n
(t – x) ∑
k 0
(2k+1) Pk(t) Pk(x) = (n+1) [Pn+1(t) Pn(x) – Pn+1(x) Pn(t) ]
(2k+1) (t – x) Pk(t) Pk(x) = (k+1) [ Pk+1(t) Pk(x) – Pk+1(x) Pk(t) ] + k [ Pk–1(t) Pk(x) – Pk–1(x) Pk(t) ]
(t – x) ∑
k0
(2k+1) Pk(t) Pk(x) = (n+1) [Pn+1(t) Pn(x) – Pn+1(x) Pn(t) ]
Como
sumando
n
= Pn’ + Pn+1’
(1– x) ∑
k0
(2k+1) Pk(x) = (n+1) [ Pn(x) – Pn+1(x)]
n
2k 1
Kn(t, x) = ∑
k 0
2
Pk(t) Pk(x)
10.7.- CONVERGENCIA
Teorema de Hobson
1
∫
f(x)
H1 dx
1 ( 1 x )2
n 1 1 P t )Pn ( x ) Pn1 ( x )Pn ( t )
H2 | f( x ) | < M x]-1 1[ ⇒ Sn(x) =
2 ∫
1
n 1 (
tx
f(t) dt
1
Sn(x) n [ f(x–) + f(x+) ]
2
H 2’ f Lipschitz/ V(x) ⇒ Sn(x)
n
f(x)
H2’’ f C [ | f( x ) | < M] / I2I1 ⇒ Sn(x) C f(x)
U / I1
n 1 P ( t )P ( x ) P
1
2 ∫
n 1 n n1 ( x )Pn ( t )
S (x) =
n f(t) dt
1 tx
f(x) = 1 ⇒ Sn(x) = 1
⇒ Sn(x) = 1
n
S(x) = 1
⇒ S(x) = f(x)
y también
de donde
n 1 (t) f (x 0 )
1 f
Sn(x0) – f(x0) =
2 ∫
1 t x0
[Pn+1(t) Pn(x0) – Pn+1(x0) Pn(t) ] dt
n 1 1
∫
f (t) f (x 0 ) Pn+1(t) dt – n 1 Pn+1(x0) f (t) f (x 0 ) Pn(t) ] dt
1
Sn(x0) – f(x0) =
2
Pn(x0)
1 t x0 2 ∫
1 tx0
f (t) f (x 0 )
CP/[-1 1] es continua por partes
t x0
El paso siguiente es demostrar que la diferencia Sn(x0) – f(x0) tiende a cero para n tendiendo a infinito.
| Pn(cos) |
2n sin 2
1
| Pn(cos) |
2n | sin |
entonces
1
| Pn(x0) |
2n | 1 (x 0 ) 2 |1/ 2
n 1
| Pn(x0) | n 1 1
2 2 2n | 1 (x 0 ) 2 |1/ 2
M n 1/2
n 1
Esto acota | Pn(x0) | con M independiente de x.
2
Pn
II.- En segundo lugar el coeficiente de Fourier de f en el Ortonormado { } es c || P ||
n n
|| Pn ||
Por el Teorema de la desigualdad de Bessel (Tesis de Bessel-Riemann)
cn || Pn || 0
n
es decir
2n 1 1
2 ∫ 1
f Pn n 0
o sea
1
n1/2 ∫1
f Pn n 0
y entonces
n 1 1
∫ f (t) f (x 0 ) Pn+1(t) dt – f (t) f (x 0 ) Pn(t) ] dt |
n 1 Pn+1(x0) 1
| Sn(x0) – f(x0) | = |
2
Pn(x0)
1 t x0 2 ∫
1 tx0
M n1/2 ( | Cn+1 | + | Cn | )
f (t) f (x 0 )
donde Cn son los coeficientes de la SAFL de la función tx . Entonces
0
1
Sn(x) n [ f(x–) + f(x+) ]
2
1
∫
f(x)
H1 dx
1 ( 1 x )2
n 1 1 P t )Pn ( x ) Pn1 ( x )Pn ( t )
H2 | f( x ) | < M x]-1 1[ ⇒ Sn(x) =
2 ∫
1
n 1 (
tx
f(t) dt
1
[ f(x–) + f(x+) ]
Sn(x) n
2
H 2’ f Lipschitz/ V(x) ⇒ Sn(x)
f(x)
n
I(n) := ∫
e n f(z) dz
f = P + i Q V(z0)
z=x+iy
z0 es un punto de ensilladura de la función P, o sea donde no existe ni máximo ni mínimo, pero se cumple
f ’(z0) = 0
1
n f ''(z0 )(zz 0 ) 2
I(n) e nf (z0 ) ∫
e 2 dz
tomando
z – z0 = ei
dz = ei d
de donde
| f ’’(z0) (z – z0 )2 | = 2 | f ’’(z0) |
2 + Arg (f ’’(z0)) =
1
2 n|f ''(z )|
I(n) e n[f (z0 )i]
∫
0
e 2 d
2
n[f (z0 )i]
I(n) e
n | f ' ' (z 0 ) |
Este resultado puede aplicarse a los Polinomios de Legendre para tener su valor asintótico. A partir de la
representación de Laplace
1
Pn(cos) =
∫0
(cos + i sin cos)n d
puede escribirse
e nL(cos i sin ) d
1
Pn(cos) =
∫0
llamando
i sin sin
f ’() = f ’(0) = 0
cos i sin cos
∫
1
Ejercicio 1.- Calcular Pn dx
0
∫
1
Para n = 0 1 dx = 1
0
Para n > 0 Recordando la tercera Ecuación de Recurrencia (2n+1) Pn = P’n+1 – P’n–1 e integrando
∫ ∫ ∫
1 1 1
(2n+1) Pn = P’n+1 – P’n–1 = Pn–1(0) – Pn+1(0)
0 0 0
1
(2n+1) ∫0
Pn = Pn–1(0) – Pn+1(0) = 0
n 2k
n 2k1
= P2k(0) – P2k+2(0)
n 1 2k
∫
1
Pn dx
n 0
= 1
0
= 0
n 2k
n 2k1
1
= P2k(0) [
n 1 2k
]
2k 2
1 1 1 1 1 1
∫0
P0 ∫0
P1 ∫0
P3 ∫ 0
P5 ∫0
P7 ∫
0
P9
1 1 1 1 1
P0(0) P2(0) P4(0) P6(0) P8(0)
2 4 6 8 10
1 1 1 5 7
1
2 8 16 128 256
Ejercicio 2.- Desarrollar en Serie de Fourier-Legendre la función :
El coeficiente cn será:
cn = 2n 1
1
2 ∫1
f Pn
1
c0 = 1
1 1 1
n=0
∫
2 1
f P0 =
2 ∫
0
1 dx =
2
1 1 1 1
n>0 2 cn = (2n+1) ∫ 1
f Pn = (2n+1) ∫
0
Pn dx = ∫
0
P’n+1 – ∫
0
P’n-1 = Pn-1(0) – Pn+1(0)
c0 c1 c3 c5 c7 c9
3 7 11 15 19
P0(0) P2(0) P4(0) P6(0) P8(0)
4 8 12 16 20
1 3 7 11 75 133
2 4 16 32 256 512
1 1
(1– x2) P’n
1
= – n (n+1) ∫
1
Pn
1
Obs: Siendo P0(x) = 1 una de las funciones de la sucesión ortogonal { P n(x) } / p(x) =1, [–1 1] es inmediato que
1 1
∫1
P0 Pn = ∫
1
Pn = 0
Para n = 0 P’0(0) = 0
Integrando en [0 1]
1 1
(1 – x ) P’n
2
0
= – n (n+1) ∫ 0
P
n
1
– P’n(0) = – n (n+1) ∫0
Pn
1
P’n(0) = n (n+1) ∫0
Pn dx
n 2k
= 0
1
= P2k(0) (2k +1) (2k+2) [
n 2 k 1
] = P2k(0) (2k +1)
2k 2
(n 1) 1 (t 2 1) n
P’n(x) =
2 n 2i (t x) n2 ∫
dt
(n 1) (t 2 1) n
P’n(x) = R( ,0)
2n (t x) n2
Para el calculo de este residuo en el caso de que n sea par (n = 2k) el Desarrollo de Laurent de la función
(t 2 1) n
t n2
solo existen potencias pares, por lo tanto
P’2k(0) = 0
(t – 1)
2 2k+1
= ∑
p0
C2k+1, p t2p (–1)2k+1– p
El término correspondiente a
1 3 15 35 315
2 8 16 128
∫
1
Ejercicio 6.- Calcular x Pn dx
0
1 1
Para n=0
0
∫ x 1 dx =
2
Para n>0 Recordando la primera Ecuación de Recurrencia (2n+1) x Pn = (n+1) Pn+1 + n Pn–1
∫ ∫ ∫
1 1 1
(2n+1) x Pn = (n+1) Pn+1 + n Pn–1
0 0 0
1
Recordando ∫ 0
Pn dx
n 0
= 1
= 0
n 2k
1
= P2k(0) [
n 2 k 1 ]
2k 2
1
∫ x Pn = = 0
n 2 k 1
0
1
=
1 1
∫ ∫ ∫
1
n 2k
x P2k = [(2k+1) P2k+1 + 2k P2k-1 ]
0 4k 1 0 0
[ 2k 1 P2k(0) + P2k-2(0) ]
1
=
4k 1 2k 2
Los primeros valores son
1 1 1 1 1
∫ 0
x P0 ∫0
x P2
∫0
x P4 ∫
0
x P6 ∫
0
x P8
1 3 1 5 1 7 1 9
[ P2(0)+P0(0)] [ P4(0)+P2(0)] [ P6(0)+P4(0)] [ P8(0)+P6(0)]
54 9 6 13 8 17 10
1 3 (1) 1 5 3 (1) 1 7 (5) 3 1 9 35 (5)
[ +1] [ + ] [ + ] [ + ]
5 4 2 9 68 2 13 8 16 8 17 10 128 16
1 1 1 1 1
2 8 48 128 256
El coeficiente cn será:
cn = 2n 1
1
2 1 ∫
| x | Pn
1
c0 = 1 2
1
n=0
2 0 ∫
x dx =
2
1
n>0 2 cn = (2n+1) ∫1
| x | Pn = = 0
n 2 k 1
⇒ c2k+1 = 0
= (4k+1) 2
1
n 2k
∫0
x P2k dx
2k 1
⇒ c2k = P2k(0) + P2k–2(0)
2k 2
c0 c2 c4 c6 c8
3 5 7 9
P2(0)+P0(0) P4(0)+P2(0) P6(0)+P4(0) P8(0)+P6(0)
4 6 8 10
3 (1) 5 3 (1) 7 (5) 3 9 35 (5)
[ +1] [ + ] [ + ] [ + ]
4 2 6 8 2 8 16 8 10 128 16
1 5 3 13 17
2 8 16 128 256
1 5 3 13 17
f(x) = + P2 (x) P4 (x) + P6 (x) P8 (x) + ...
2 8 16 128 256
1
Ejercicio 8.- Calcular ∫1
xn Pk dx = 0 para n > 0
xn = ∑ c P (x)
i0
i i
por la ortogonalidad de los Polinomios de Legendre (todos son diferentes a P k) se verifica que la integral es nula
1 n
∫
1
∫1
xn Pk dx =
1
[ ∑
i0
ci Pi(x) ] Pk(x) dx = 0
∫ u v(k) = u v(k–1) – u’ v(k–2) + u’’ v(k–3) – ... + (–1)i u(i) v( k–i–1 ) + ... + (–1)k–1 u(k–1) v + (–1)k ∫ u(k) v
II.II) Las derivadas de orden n-j con 0<j n de la función (x2–1)n se anulan en los puntos x =1 y x =–1
1
D(n–j) (x–1)n (x+1)n = 0 0<jn
1
1 n1 k yn que
Recordando que la integral que se quiere calcular es
dx = x D(k) (x2–1)n dx
∫ ∫
1
xn Pk
1 2 k k! 1
Analizando la función integrando se observa que la paridad depende de xn–k , por lo tanto
1
∫
n k)Im par
xn Pk dx ( = 0
1
1
n k)Par
( = 2 ∫
0
xn–k (x2–1)k dx
Tomando la integral con n–k Par, y haciendo n–k = 2p
(1)k C n,k 1
∫
1
∫1
xn Pk dx =
2 k
2
0
x2p (x2–1)k dx
Volviendo a la integral
1
(p )(k 1)
∫1
1
C
xn Pk dx = n,k 2
2k (p k 3 )
2
C n,k 2k+1 (2p)! (p k)!
= k 2 (k+1)
2 (2p 2k 1)! p!
(n)! (2p)! (p k)!
= 2k+1 k!
k!(n k)! (2p 2k 1)! p!
como n–k = 2p
n! (p k)!
= 2k+1
(2p 2k 1)! p!
nk
( )!
n! 2
= 2k+1
(n k 1)! ( n k )!
2
Nótese que si (n-k) es par también (n+k) lo es.
En resumen
1
∫1
x n Pk dx n
k
= 0
n k )Im par
n k ( = 0
nk
( )!
( n k )Par n! 2
= 2 k+1
(n k 1)! ( n k )!
2
En particular si n = k
1 n!n!
∫1
x n Pn dx = 2n+1
(2n 1)!
cos((2n 1) / 2)
Ejercicio 9 Calcular ∫ 0 (cos cos ) 1/ 2
d
Partiendo de la expresión
1 1
2i ∫
Pn(x) = dz
zn1 (1 2zx z 2 )1/ 2
z2 – 2z cos + 1 = 0
Por lo tanto
1 1
Pn(cos) =
2i ∫ z n1
[(z e i
)z ei )]1/ 2
dz
La relación del integrando tiene dos puntos de ramificación en z = ei y puede uniformizarse con una cortadura
entre los dos puntos. Tomando un arco de circunferencia de radio 1 como tal cortadura.
Llamando := 1 2 3 4 se tiene por el corolario del teorema de Cauchy
∫5
=
∫
+
∫
= – 1
∫ 1
2 ein [(ei e i )ei ei )]1/ 2
d
Operando el denominador
1 Reemplazando en la integral 1
= – 1 d
2i ∫
2
2
∫
1
ei(n1 / 2)
= –
2 ∫
[2(cos cos )ei ]1/ 2
d
1 e i(n1 / 2)
=–
2 ∫
[2(cos cos )ei ]1/ 2
d
Reemplazando en la igualdad
∫5
=
∫
+
∫
resulta
1 ei(n1 / 2)
0 = Pn(cos) – 2
2 ∫
[2(cos cos )ei ]1/ 2
d
1 e i(n1 / 2)
Pn(cos) =
∫
[2(cos cos )ei ]1/ 2
d
Los Polinomios de Legendre tienen una variada gama de aplicaciones. Se dan de ejemplo las siguientes:
z – a – w f(z) = 0
Se trata de encontrar la o las raíces que tienden hacia a cuando w 0 (es decir en V(a) )
f H/V(a)
wC
z – a – w f(z) = 0 ⇒ Existe en V(a) una única raíz de la ecuación: z1
wn
D(n-1) [ f() ] n
z1 = a + ∑
n1
n! a
se puede aplicar el teorema de Rouche (Ver Nota 1) y la fórmula de Lagrange (Ver Nota 2) en consecuencia hay
una y solo una raíz z1 dada por:
1 wf ' ()
∫
1
z1 = d
2i c(a,r) a wf ()
w n (n-1)
z1 = a + ∑
n1
n!
D [ f()] n
a
y además se cumple:
dz1 w n (n)
da = 1 + ∑
n1
D
n!
[ f()] n
a
Ejemplo: Como ejemplo de aplicación de este resultado, sea:
(1 – 2aw + w2 ) 1/2 = 1 – z w
de donde
1 – 2aw + w2 = 1 – 2z w + z2 w2
1
z–a–w ( z2 – 1) = 0
2
Por lo tanto
Si w = 0 la única raíz es z = a
Para el signo positivo el límite es a. Por lo tanto corresponde elegir el signo negativo: w 0 ⇒ signo
1
z= [1 – 1 2aw w 2 ]
w
y derivando
dz 1
=
da 1 2aw w 2
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 raíces en D
I.- f+g no puede tener raíces sobre Fr(D) pues si z1 fuera raíz entonces:
f(z1) = – g(z1)
lo cual implica
|f|=|g|
contra la Hipótesis
z Fr(D) ⇒ | f | > | g |
f(z1) = g(z1)
lo cual implica
contra la Hipótesis
z Fr(D) ⇒ | f | > | g |
III.- Sea n() el numero de raíces de f + g en D entonces sobre Fr(D) f(z) + g(z) 0
bajo el signo integrando se tiene una función continua de , por lo tanto n() también es continua. Por otra
parte n() es un entero, y en consecuencia es constante:
donde
wf w2 f 2 w nf n
(1 – w f ’( ))[ 1 + + + ... + + ...] =
( a) ( a) 2 ( a) n
f f2 – f f' fn f n1f '
=1+w[ – f ’ ] + w2 [ ( a) ] + ... + wn [ – ] + ...
( a) ( a) 2 ( a) n ( a) n1
∫
1 d = a
2i c(a,r) a
1 fn 1 (n) n
Entonces
z1 = 1
∫
1 wf ' () d = a +
∑ wn n
D(n-1) [ f ()]
2i c(a,r) a wf () n1
n! a
12.2.2.- APLICACIONES A LA ELECTROSTÁTICA
Sea una carga puntual unitaria situada en el punto con coordenadas esféricas (0,0, r0)
e: = carga eléctrica
e
Como V =
r1
1 1
V= =
r0 r 2 2r0 r cos
r1 2
1 1
V =
r r0
2
r r0 r0
2 cos
1 2
r
1 r
r
=
r0 1
r0 r 2 r
1 2
2 cos
r0 r 0
aplicando ahora la Función Generatriz de los Polinomios de Legendre la expresión del potencial es:
1 r0 n
V r r0 =
r
∑ (
r
) Pn(cos)
n0
r r r n
1
0 =r
0
∑
n0
( ) Pn(cos )
r0
12.2.2.2.- POTENCIAL DE UN CAMPO ELÈCTRICO GENERADO POR UNA CARGA
PUNTUAL EN EL INTERIOR DE UNA ESFERA PUESTA A TIERRA
Sea una carga e interior a una superficie esférica de metal, puesta a tierra, es decir a potencial cero.
Sea V(r,) el potencial buscado, puede expresarse como la suma del potencial generado por la carga puntual
e y otro potencial u(r,):
e
V(r, ) = + u(r,)
r1
u(r,) = ∑
n0
cn rn Pn(cos)
r
= ∑
n0
cn ( )n
R
Pn(cos)
V(R,) = 0
El potencial generado por la carga puntual e sobre la superficie esférica es, teniendo en cuenta que r>r 0
(Ver problema anterior del potencial de un campo eléctrico generado por una carga puntual )
r0 n
∑
1 1
= ( ) Pn(cos)
r1 r r
n0
r0 n
e
R
∑ (
R
) Pn(cos) +
∑ cn Pn(cos) = 0
n0 n0
r0 e
c = – ( )n
n
R R
n
r0 n r0 r n
V(r, ) = e [ ∑
n0
r n1
Pn(cos) – ∑
n 0
R 2n1
Pn(cos) ]
=–
1 V
4 r r R
r0 n
∑
1 1
= ( ) Pn(cos)
r1 r r
n0
1 r0 n
=
r1 n0 ∑ r n1
Pn(cos)
por lo tanto
(1 / r1 ) r0n
r
=– ∑
n0
(n+1)
r n 2
Pn(cos)
su valor para r = R es
(1 / r1 ) r0n
r rR
=– ∑
n0
(n+1)
R n 2
Pn(cos)
u r0 n r n1
r
=– ∑
n0
n
R 2n1
Pn(cos)
su valor para r = R es
u r0n
r r R
=– ∑
n0
n
R n 2
Pn(cos)
e
e
∑
V(r0, ) = cr0 c
( )n Pn(cos)
r1 r0 n 0
r0
e r0 n
c
r
0
∑
c n 0
(
c
) Pn(cos)
e
∑
r
En rn Pn(cos)
cr0
V(r , ) = ∑n 0
c n 0
( )n
c
Pn(cos) Pn(cos)
c n+1
c
e
r
0
c ∑n 0
(r ) Pn(cos) Pn(cos)
12.2.3.- ECUACION DE LAPLACE EN COORDENADAS ESFÉRICAS
u 1 u u
ρ 2sin() sin()
1 ρ + sin() θ ] = 0
2u := DIV(GRAD(u)) = [ +
ρ 2sin() θ
2u 2 u 1 2 u cos (θ ) u
2u = + + + =0
ρ 2 ρ ρ ρ 2 θ 2 ρ 2sin() θ
u = P() ()
2 u P´´ 2 P´ 1 ´´ 1 ´
= + + 2 + 2 cotg() =0
u P ρ P ρ ρ
P´´ 2 P´ ] = – ´´ – cotg() ´
2 [ + =
P ρ P
donde
1 1
=-
La solución es finita solamente para = n(n+1) en ese caso queda los Polinomios y las funciones de Legendre
() = A Pn (cos())
La solución de
2
P´´ + P´ – 2 P = 0
ρ ρ
2 n(n 1)
P´´ + P´ – P=0
ρ ρ2
es
P() = C n + D -(n+1)
P() = C n
Queda
u( ) = ∑
n0
En n Pn(cos())
u(R ) = ∑E
n0
n Rn Pn(cos()) = f()
f( ) = ∑c
n0
n Pn(cos())
2n 1 1
cn =
2 ∫
1
f (t) Pn(t) dt
En Rn = cn
n
u( ) = ∑
n0
cn (
R
) Pn(cos())
1.2.-
Ecuación del potencial 2u = 0
Esfera de radio R
Simetría axial
Potencial u(R ) = 1 + cos()
|u|<M
u( ) = ∑
n0
En n Pn(cos())
u(R ) = ∑E
n0
n Rn Pn(cos()) = 1 + cos()
u(R ) = ∑
n0
En Rn Pn(cos()) = P0 + P1
E0 = 1
E1 R = 1
u( ) = 1 + cos()
R
1.3.- Ecuación del potencial 2u = 0
Esfera de radio R
Simetría axial
[0,/2]
V Potencial 1
[/2, ]
u(R ) = V
2
|u|<M
u( ) = ∑
n0
En n Pn(cos())
u(R ) = ∑
n0
En Rn Pn(cos())
f( ) = ∑
n0
cn Pn(cos())
2n 1 1
cn =
2 ∫1
f (x) Pn(x) dx
2n 1 1 1
En Rn =cn =
2
∫1
f (x) Pn(x) dx
n 0 c0 =
2
n 2k
1
c2k = (Pn-1(0) – Pn+1(0)) = 0
2
n 2k1 1 1 4k 3
c2k+1 =
n 1 2k
(Pn-1(0) – Pn+1(0)) = P2k(0) [ ]
2 2 2k 2
n
u( ) = ∑
n0
cn ( )
R
Pn(cos())
4k 3 2k1
1
u( ) = V2 + 2 ( V1–V2) [ 1 +
∑
k0
P2k(0) [ ]( )
2k 2 R
P2k+1(cos()) ]
4k 3 2k1
1 1
u( ) = 2 (V1+V2) + 2 ( V1–V2) [
k0
∑P2k(0) [ ]( )
2k 2 R
P2k+1(cos()) ]
1 1 3
u( ) = (V1+V2) + ( V –V ) [ ( ) P1(cos()) – 7 ( )3 P3(cos()) + 11 ( )5 P5(cos()) –
1 2
2 2 2 R 8 R 16 R
75 ( ) 7 133 9
– P7(cos()) +. ( ) P9(cos()) + ... ]
128 R 256 R
APÉNDICE I
El estudio de los Polinomios de Legendre en V(1) hace más facil encontrar la Segunda forma de los mismos y la
Tercera Representación, que es a de Olindo Rodrigues. A partir de la ecuación de Recurrencia del método de Fuchs en
el V(0) se puede tener directamente una Cuarta forma de los Polinomios de Legendre y de ella deducir la fórmula de
Olindo Rodrigues.
Si se analiza la Ecuación de Recurrencia obtenida por Fuchs para el caso de los Polinomios de Legendre
se tiene en los casos:
Ck - 2 (r k - 2 - ) (r k -1 )
Ck =
(r k)(r k -1)
Ck - 2 (-1) (n 1- k) (n k)
Ck =
(k 1) k
Ck
C = (-1) (k 1) k
k-2
(n 1- k) (n k)
Cn-2 (-1) (n - 2) (n - 3)
Cn-4 =
4 (2n - 3)
y así en forma sucesiva y decreciente pueden obtenerse los coeficientes de los Polinomios de Legendre
de orden Impar.
C k - 2 (r k - 2 - ) (r k -1 )
Ck =
(r k)(r k -1)
Ck - 2 (-1) (n 2 - k) (n k -1)
Ck =
k ( k -1)
Ck (-1) k ( k -1)
Ck-2 =
(n 2 - k) (n k -1)
Cn-2 (-1) (n - 2) (n - 3)
Cn-4 =
4 (2n - 3)
y así en forma sucesiva y decreciente pueden obtenerse los coeficientes de los Polinomios de Legendre de orden
Par.
Como se observa a Ecuación de Recurrencia de los coeficientes de los Polinomios de Legendre es la
misma tanto para el caso par como impar y es
Definiendo
J
n! n! (-1) j (2n - 2j)!
Pn(x) = Cn
(2n)!
∑ j! (n - j)! (n - 2j)!
x n-2j
j0
J
n! n! (-1) j (2n - 2j)!
Pn(1) = Cn
(2n)!
∑ j! (n - j)! (n - 2j)!
=1
j0
J
(-1) j (2n - 2j)!
Como la suma vale ∑j0
j! (n - j)! (n - 2j)!
= 2n
n! n!
Cn 2n = 1
(2n)!
1 (2n)!
Cn =
2 n n!n!
J
1 (-1) j (2n - 2j)!
Pn(x) =
2 n ∑ j! (n - j)! (n - 2j)!
x n-2j
j0
3.2.4.- DEDUCCIÓN DE LA TERCERA EXPRESIÓN DE LOS POLINOMIOS DE LEGENDRE:
OLINDO RODRIGUES A PARTIR DE LA CUARTA EXPRESIÓN
Partiendo
n de
2 n k n⎞
2n–2k
(x – 1) = (–1) k| x
k0 ⎠
Derivando n veces
n k n⎞ n-2k
(n) 2 n
D (x – 1) = (–1) k | (2n-2k)(2n-2k-1)…(n-2k+1) x
k0 ⎠
n k (2n - 2k)! n-2k
= (–1) x
k0
k! (n - k)! (n - 2k)!
Que es la primera expresión de Los Polinomios de Legendre salvo constante. Por otro lado recordando
la convención Pn (1) = 1
1
Pn (x) = D(n) (x2 – 1) n
n
2 n!
Como verificación se deduce la expresión de los primeros Polinomios de Legendre a partir de esta fórmula.
1
P0 (x) = D(0) (x2 – 1) 0 = 1
0
2 0!
1
P1(x) = D(1) (x2 – 1) 1 = x
211!
1 1
P2 (x) = D(2) (x2 – 1) 2 = ( 3 x2 – 1)
2 2 2! 2
1 1
P3 (x) = D(3) (x2 – 1) 3 = ( 5 x3 – 3 x)
3 2
2 3!