ecuación de legendre y función de legendre

Aner Godoy1 Norman Sabillon1

November 27, 2018
1
Maestría en Matemáticas
Universidad Nacional Autonoma de Honduras
Introducción a las Ecuaciones Diferenciales Parciales
Tabla de Contenido

Definición

Características de la Ecuación de Legendre

Función de Legendre

Formas Modificadas de la Ecuación de Legendre

Ejemplos

1
definición
Definición

La ecuación de Legendre es:

(1 − x2 )y”(x) − 2xy′ (x) + v(v + 1)y(x) = 0, v
ϵ R− (1)

Si normalizamos la ecuación de Legendre nos queda:

2x ′ v(v + 1)
y′′ − y + y=0
1 − x2 1 − x2

3
características de la ecuación de legendre
Características de la Ecuación de Legendre

la ecuación diferencial admite soluciones de la forma de Maclaurin en el intervalo:

I = {x ϵ R | − 1 < x < 1}

5
Características de la Ecuación de Legendre

si se suponen soluciones de la forma:

∞
∑
y= c k xk . (2)
k=0

6
Características de la Ecuación de Legendre

si se suponen soluciones de la forma:

∞
∑
y= c k xk . (3)
k=0
∞
∑
′
y = kck xk−1
k=0
∞
∑
y” = k(k − 1)ck xk−2
k=0

7
Características de la Ecuación de Legendre

al sustituir y, y′ y y′′ en la ecuación diferencial de Legendre resulta:

∞
∑ ∞
∑ ∞
∑ ∞
∑
k(k − 1)ck xk−2 − k(k − 1)ck xk − 2 kck xk−1 + v(v + 1) c k xk = 0
k=0 k=0 k=0 k=0

8
Características de la Ecuación de Legendre

al sustituir y, y′ y y′′ en la ecuación diferencial de Legendre resulta:

∞
∑ ∞
∑ ∞
∑ ∞
∑
k(k − 1)ck xk−2 − k(k − 1)ck xk − 2 kck xk−1 + v(v + 1) c k xk = 0
k=0 k=0 k=0 k=0

agrupando términos, se tiene:

∞
∑ ∞
∑ [ 2 ]
k(k − 1)ck xk−2 − k + k − v(v + 1) ck xk = 0
k=0 k=0

9
Características de la Ecuación de Legendre

[ ]
Factorizando el trinomio k2 + k − v(v + 1) tenemos:
∞
∑ ∞
∑
k(k − 1)ck xk−2 − (k + v + 1)(k − v)ck xk = 0
k=0 k=0

10
Características de la Ecuación de Legendre

[ ]
Factorizando el trinomio k2 + k − v(v + 1) tenemos:
∞
∑ ∞
∑
k(k − 1)ck xk−2 − (k + v + 1)(k − v)ck xk = 0
k=0 k=0

Si hacemos los siguientes cambios de variable,

En la primera sumatoria k − 2 = n,
En la segunda hacemos k = n.

11
Características de la Ecuación de Legendre

[ ]
Factorizando el trinomio k2 + k − v(v + 1) tenemos:
∞
∑ ∞
∑
k(k − 1)ck xk−2 − (k + v + 1)(k − v)ck xk = 0
k=0 k=0

Si hacemos los siguientes cambios de variable,

En la primera sumatoria k − 2 = n,
En la segunda hacemos k = n.
Con los cambios, resulta:
∞
∑ ∞
∑
n
(n + 2)(n + 1)cn+2 x − (n + v + 1)(n − v)cn xn = 0
n=−2 n=0

12
Características de la Ecuación de Legendre

De la identidad anterior se sigue que:

(n + v + 1)(n − v)
c0 ̸= 0, c1 ̸= 0, cn+2 = cn ; n = 0, 1, 2, . . .
(n + 1)(n + 2)

Donde sabemos que c0 y c1 son las condiciones iniciales.

13
Características de la Ecuación de Legendre

Desarrollando para algunos valores de n, se tiene:

(0 − v)(1 + v) (0 − v)(1 + v)
n = 0 ⇒ c2 = c0 = c0
1∗2 2!
(1 − v)(2 + v) (1 − v)(2 + v)
n = 1 ⇒ c3 = c1 = c1
2∗3 3!
(2 − v)(3 + v) (0 − v)(2 − v)(1 + v)(3 + v)
n = 2 ⇒ c4 = c2 = c0
4∗3 4!
(3 − v)(4 + v) (1 − v)(3 − v)(2 + v)(4 + v)
n = 3 ⇒ c5 = c3 = c1
5∗4 5!
(4 − v)(5 + v) (0 − v)(2 − v)(4 − v)(1 + v)(3 + v)(5 + v)
n = 4 ⇒ c6 = c4 = c0
6∗5 6!
(5 − v)(6 + v) (1 − v)(3 − v)(5 − v)(2 + v)(4 + v)(5 + v)
n = 5 ⇒ c7 = c5 = c1
7∗6 7!

14
Características de la Ecuación de Legendre

La solución de la ecuación diferencial es:

( )
(0 − v)(1 + v) 2 (0 − v)(2 − v)(1 + v)(3 + v) 2
y(x) =c0 1 + x + x + ...
2! 4!
( )
(1 − v)(2 + v) 3 (1 − v)(3 − v)(2 + v)(4 + v) 5
+ c1 x + x + x + ...
3! 5!

aparecen dos soluciones linealmente independientes.

15
Características de la Ecuación de Legendre

Un caso particular de interés es aquel en el que el parámetro v es un entero no negativo,

es decir, v = n, n = 0, 1, 2, 3, . . . en este caso la ecuación diferencial de Legendre se
escribe e la forma:

(1 − x2 )y”(x) − 2xy′ (x) + n(n + 1)y(x) = 0, n = 0, 1, 2, 3, . . .

16
Características de la Ecuación de Legendre

Un caso particular de interés es aquel en el que el parámetro v es un entero no negativo,

es decir, v = n, n = 0, 1, 2, 3, . . . en este caso la ecuación diferencial de Legendre se
escribe e la forma:

(1 − x2 )y”(x) − 2xy′ (x) + n(n + 1)y(x) = 0, n = 0, 1, 2, 3, . . .

Las dos soluciones de la ecuación diferencial están dadas por:

(0 − n)(1 + n) 2 (0 − n)(2 − n)(1 + n)(3 + n) 4

y1 (x) = 1 + x + x + ...
2! 4!
(1 − n)(2 + n) 3 (1 − n)(3 − n)(2 + n)(4 + n) 5
y2 (x) = x + x + x + ...
3! 5!

17
Características de la Ecuación de Legendre

Como puede verse, una de las soluciones es un polinomio de grado n, conocido como
polinomio de Legendre de grado n, mientras que la otra solución es una serie infinita.

Casos particulares de las soluciones de la ecuación de Legendre

Valores de n Polinomio Serie infinita
x3 x5 x7
n=0 y1 = 1 y2 = x − + − + . . .
3 5 7
4 6
x x
n=1 y1 = x y2 = 1 − x2 − − − ...
6 10
3 5 7
x x 2x
n=2 y1 = 1 − 3x2 y2 = x − − − − ...
2 5 21
3 6
5x 4x
n=3 y1 = x − y2 = 1 − 6x2 + 3x4 + + ...
3 5

Los polinomios de la solución tienen una característica especial, si n es par, el polinomio

es par y si n es impar el polinomio es impar.

18
Características de la Ecuación de Legendre
Los polinomios normalizados de Legendre corresponden a normalizaciones de los
obtenidos previamente de tal manera que pasen por el punto (1,1). La siguiente es una
tabla de los polinomios normalizados de Legendre:

Polinomios de Legendre Normalizados

Valores de n Polinomio
n=0 P0 (x) = 1
n=1 P1 (x) = x
1
n=2 P2 (x) = (3x2 − 1)
2
1 3
n=3 P3 (x) = (5x − 2x)
2
1
n=4 P4 (x) = (35x4 − 30x2 + 3)
8
1
n=5 P5 (x) = (63x5 − 70x3 + 15x)
8
1
n=6 P6 (x) = (231x6 − 315x4 + 105x2 − 5) 19
16
Características de la Ecuación de Legendre

Figura: Los primeros polinomios de Legendre para n = 1,2,3,4,5,6.

20
Características de la Ecuación de Legendre

Los polinomios de Legendre presentan ciertas propiedades, entre las que son dignas de
destacar las siguientes:

1. Un polinomio de Legendre es estrictamente par o estrictamente impar.

2. Los polinomios pares pasan por los puntos (-1,1) y (1,1).
3. Los polinomios impares pasan por los puntos (-1,-1) y (1,1).
4. Todas las raíces de los polinomios de grado mayor o igual que uno son y están en el
intervalo −1 < x < 1.
5. Los polinomios son ortogonales en el intervalo −1 < x < 1.

21
Características de la Ecuación de Legendre

La propiedad de ortogonalidad se plantea en los siguientes términos:


∫ 1 
0 si m
= n
Pn (x)Pm (x)dx = 2
−1 
 si m=n
2n + 1

22
Características de la Ecuación de Legendre

La integral en (-1,1), del producto de dos polinomios de Legendre tiene dos posibles
valores. ejemplo:
∫ 1
P2 (x)P3 (x)dx = 0
−1

Pero si m y n son iguales:

∫ 1 2 2
P2 (x)P2 (x)dx = =
−1 2(2) + 1 5

Los polinomios de Legendre se usan para interpolar funciones seccionalmente continuas

en un intervalo, es decir, funciones que no necesariamente se pueden representar en
series de Taylor.

23
función de legendre
Función de Legendre

Este polinomio Pn (x) se denomina función de Legendre del primer tipo de orden n.
También es conocido como el polinomio de Legendre de grado n. Los primeros
polinomios de Legendre son:

P0 (x) = 1,
P1 (x) = x,
1
P2 (x) = (3x2 − 1),
2
1
P3 (x) = (5x3 − 3x),
2
1
P4 (x) = (35x4 − 30x2 + 3).
8

25
Función de Legendre

Figura: Los primeros polinomios de Legendre para n = 1,2,3,4,5,6.

26
Función de Legendre

Esta serie infinita, cuando se normaliza apropiadamente, se llama la función de

Legendre del segundo tipo. Se define para |x| < 1 por:
{
ϕn (1)ψn (x) para n par
Qn (x) =
−ψn (1)ϕn (x) para n impar

Por lo tanto, cuando n es un entero no negativo, la solución general de la ecuación de

Legendre viene dada por:
y(x) = c1 Pn (x) + c2 Qn (x).
El polinomio de Legendre también se puede expresar en la forma:

1 dn 2
Pn (x) = (x − 1)n
2n n! dxn

27
Función de Legendre

Esta expresión es conocida como la fórmula de Rodríguez. Al igual que las funciones de
Bessel, los polinomios de Legendre satisfacen ciertas relaciones de recurrencia. Algunas
de las relaciones importantes son:

(n + 1)Pn+1 (x) − (2n + 1)xPn (x) + nPn−1 (x) = 0, n ≥ 1,

(x2 − 1)P′n+1 (x) = nxPn (x) − nPn−1 (x), n ≥ 1,

nPn x(x) + P′n−1 (x) − xP′n (x) = 0, n ≥ 1,
P′n+1 (x) = xP′n (x) + (n + 1)Pn (x), n ≥ 0,
En adición
P2n (−x) = P2n (x),
P2n+1 (−x) = −P2n+1 (x),

28
Función de Legendre

Estos indican que Pn (x) es una función par para incluso n, y una función impar para n
impar. Se puede demostrar fácilmente que los polinomios de Legendre forman una
secuencia de funciones ortogonales en el intervalo [−1, 1]. Así, tenemos:
∫ 1
Pn (x)Pm (x)dx = 0, para n ̸= m
−1

La norma de la función Pn (x) está dada por:

∫ 1
2 2
Pn (x) = P2n (x)dx =
−1 2n + 1

Otra ecuación importante en la física matemática, una que está estrechamente

relacionada con la ecuación de Legendre (1), es la ecuación asociada de Legendre:
[ ]
2 ′
m2
(1 − x )y” − 2xy + n(n + 1) − y=0 (4)
1 − x2

29
Función de Legendre

Donde m es un número entero. Introduciendo el cambio de variable.

y = (1 − x2 )m/2

La ecuación asociada de Legendre se convierte en:

(1 − x2 )u” − 2(m + 1)xu′ + (n − m)(n + m + 1)u = 0

Pero esto es lo mismo que la ecuación obtenida al diferenciar la ecuación de Legendre

(1) m veces. Así, la solución general de (4) está dada por:

dm Y(x)
y(x) = (1 − x2 )m/2 , (5)
dxm
Y(x) = c1 Pn (x) + c2 Qn (x) (6)

30
Función de Legendre

Es la solución general de (1). Por lo tanto, tenemos las soluciones linealmente

independientes de (4), conocidas como las funciones asociadas de Legendre del primer y
segundo tipo, respectivamente dadas por

dm Pn (x)
Pm 2 m/2
n (x) = (1 − x )
dxm

dm Qn (x)
Qm 2 m/2
n (x) = (1 − x )
dxm

31
Función de Legendre

Observamos que.
P0n (x) = Pn (x), Q0n = Qn (x),
Y que Pm m m
n (x) se desvanece para m > n. Las funciones Pn (x) y Qn (x) están definidas por.

(n − m)! m
P−m
n (x) = (−1)
m
P (x), m = 0, 1, 2, . . . , n,
(n + m)! n

(n − m)! m
Q−m
n (x) = (−1)
m
Q (x), m = 0, 1, 2, . . . , n,
(n + m)! n

32
Función de Legendre

Las primeras funciones asociadas de Legendre son:

1
P11 (x) 2
= (1 − x ) ,
2

1
P12 (x) 2
= 3x(1 − x ) 2 ,
1
P22 (x) 2
= 3(1 − x ) 2 .
Las funciones de Legendre asociadas del primer tipo también forman una secuencia de
funciones ortogonales en el intervalo [−1, 1]. Su ortogonalidad, así como su norma, se
expresa mediante la ecuación.
∫ 1 2(n − m)!
Pm m
n (x)Pk (x)dx = δnk . (7)
−1 (2n + 1)(n + m)!

33
formas modificadas de la ecuación de legendre
Primera Forma Modificada

x = cos θ, y = sin θ, λ = v(v + 1)

(1 − x2 )y”(x) − 2xy′ (x) + v(v + 1)y(x) = 0
Partimos:
y′θ y′θ
y′x = =
x′θ − sinθ
[ ][ ]
y′′θθ y′θ 1
y′′xx = + cos θ
− sin θ sin2 θ − sinθ
Reemplazando estas expresiones en la ED resulta:
[ ′′ ] [ ′ ]
2 yθθ y′θ yθ
sin θ − cos θ − 2 cos θ + λy = 0
2
sin θ sin θ
3 − sinθ

35
Primera Forma Modificada

y′′θθ + cot θy′θ + λy = 0

Que es la ED modificada, cuya solución general será de la forma:

y(θ) = Ay1 (cos θ) + By2 (cos θ)

si λ = ( + 1) con = nϵN las soluciones con Polinomios de Legendre de orden n tendrán

la solución general de la forma:

y(θ) = APn (cos θ) + BQn (cos θ)

36
Segunda Forma Modificada

Una segunda forma modificada se obtiene por translación z = x–a para encontrar otras
formas de las soluciones de la ED de Legendre.

(1 − x2 )y”(x) − 2xy′ (x) + v(v + 1)y(x) = 0

(1 − (z + a)2 )y”(z + a) − 2(z + a)y′ (z + a) + v(v + 1)y(z + a) = 0

37
Tercera Forma Modificada

Esta tercera forma modificada de la ED de Legendre se emplea en la acotación de raíces

de los Polinomios de Legendre.
z
y= , λ = v(v + 1)
(sin θ)1/2

A partir de la ED modificada
y′′θθ + cot θy′θ + λy = 0
Por el cambio de Variable:
z
y=
(sin θ)1/2
z′ 1 z cos θ
y′ = 1/2
−
(sin θ) 2 (sin θ)3/2
′′
z z′ cos θ 3 z(cos θ)2 1 z sin θ
y′′ = 1/2
− 3/2
+ 5/2
+
(sin θ) (sin θ) 4 (sin θ) 2 (sin θ)3/2

38
Tercera Forma Modificada

remplazando queda:
[ ]
z′′ z′ cos θ 3 z(cos θ)2 1 z z′ 1 z cos θ z
1/2
− 3/2
+ 5/2
+ 1/2
+cot θ 1/2
− 3/2
+λ =0
(sin θ) (sin θ) 4 (sin θ) 2 (sin θ) (sin θ) 2 (sin θ) (sin θ)1/2
[ ]
′′ 3 (cos θ)2 1 1 (cos θ)2
z + + − +λ z=0
4 (sin θ)2 2 2 (sin θ)2
Sustituyendo nuevamente λ = v(v + 1):
[( )2 ]
1 1 1
z′′ + v+ + z=0
2 4 (sin θ)2

39
ejemplos
Ejemplos

Ejemplo 1:
Obtener la solución general de la ecuación diferencial:

(1 + x2 )y′′ + 2xy′ − 2y = 0

41
Ejemplos

Si normalizamos la ecuación diferencial, tenemos:

2x ′ 2
y′′ + 2
y − y=0
1+x 1 + x2

a(x) y b(x) analíticas en x = 0 con R = 1(x = ±1 ceros del denominador).

si aplicamos las soluciones de Maclaurin como hemos dicho antes:
∞
∑
y= ck xk
k=0

∞
∑
y′ = kck xk−1
k=0
∞
∑
y” = k(k − 1)ck xk−2
k=0

42
Ejemplos

Sustituyendo y, y′ , y′′ en la ecuación original, tenemos:

∞ [
∑ ] ∑∞ ∞
∑
k(k − 1)ck xk−2 + k(k − 1)ck xk + 2kck xk − 2ck xk = 0
k=2 k=1 k=0

Escribiendo los ck en función de los dos primeros c0 y c1 . Como han de ser 0 los
coeficientes de cada potencia de x, deducimos:

x0 : 2 ∗ 1 ∗ c2 − 2 ∗ c0 = 0 ⇒ c2 = c0
x1 : 3 ∗ 2 ∗ c3 + [2 − 2] c1 = 0 ⇒ c3 = 0
xk : (k + 2)(k + 1)ck+2 + [k(k − 1) + 2k − 2] ck = 0

43
Ejemplos

De la última igualdad deducimos la regla de recurrencia que expresa un coeficiente en

función de los anteriores ya conocidos (en este ejemplo, queda ck+2 en función sólo de
ck , pero en otros pueden aparecer varios); para facilitar los cálculos, factorizamos los
polinomios que aparecen calculando sus raíces:

(k + 2)(k − 1) k−1
ck+2 = − ck = − ck , k = 0, 1, . . .
(k + 2)(k + 1) k+1

44
Ejemplos

De la última igualdad deducimos la regla de recurrencia que expresa un coeficiente en

función de los anteriores ya conocidos (en este ejemplo, queda ck+2 en función sólo de
ck , pero en otros pueden aparecer varios); para facilitar los cálculos, factorizamos los
polinomios que aparecen calculando sus raíces:

(k + 2)(k − 1) k−1
ck+2 = − ck = − ck , k = 0, 1, . . .
(k + 2)(k + 1) k+1

con el objetivo de encontrar la expresión del término general de la serie (en muchos
ejemplos esto no será posible, pero aquí sí):

1 1 3 1 5 1
c4 = − c2 = − c0 , c6 = − c4 = c0 , c8 = − c6 = − c0 , . . .
3 3 5 5 7 7
c5 = 0 por estar en función de c3 que se anulaba. Análogamente c7 = c9 = . . . = 0

45
Ejemplos

Agrupamos los términos que acompañan a c0 y c1 (que quedan indeterminados) y

obtenemos por fin:
[ ] [ ∞
]
1 4 1 6 ∑ x2k
2 k+1
y = c0 1 + x − x + x + . . . + c1 x = c0 1 + (−1) + c1 x = c0 y1 + c1 y2
3 5 2k − 1
k=0

y = c0 (1 + x arctan x) + c1 x

Expresión con la estructura clásica de las soluciones de las lineales de segundo orden.

46
Gracias por su atención

47