18/03/22

ECUACIÓN DIFERENCIAL DE
LAGUERRE

ECUACIÓN DIFERENCIAL DE LAGUERRE

xy ''+ (1 − x) y '+ ny = 0 (1)

n∈! x ∈ (0, ∞)

Aplicando el Método de Frobenius

∞
y ( x ) = ∑ Ck x k + λ (2)
k =0
∞
y '( x) = ∑ Ck (k + λ ) x k + λ −1 (3)
k =0

∞
y ''( x) = ∑ Ck (k + λ )(k + λ − 1) x k + λ − 2 (4)
k =0

1
 18/03/22

Reemplazamos (2), (3) y (4) en (1)

∞ ∞ ∞
x∑Ck (k + λ )(k + λ −1)x k+λ −2 + (1− x)∑Ck (k + λ )x k+λ −1 + n∑Ck x k+λ = 0
k=0 k=0 k=0

Distribuyendo respectivamente nos queda:

∞ ∞ ∞ ∞
k+λ −1
∑C (k + λ )(k + λ −1)x
k
+ ∑Ck (k + λ )x k+λ −1 − ∑Ck (k + λ )x k+λ + n∑Ck x k+λ = 0
k=0 k=0 k=0 k=0

(5) (6)

Realizando la exclusión de términos de (5) y (6) y reorganizando nuestra expresión:

∞ ∞ ∞ ∞
C0 λ ( λ − 1) x λ −1 + C0 λ x λ −1 + ∑ Ck (k + λ )(k + λ − 1) x k + λ −1 + ∑ Ck (k + λ ) x k + λ −1 − ∑ Ck (k + λ ) x k + λ + n ∑ Ck x k + λ = 0
k =1 k =1 k =0 k =0

∞ ∞ ∞ ∞
C0 λ ( λ − 1) x λ −1 + C0 λ x λ −1 + ∑ Ck (k + λ )(k + λ − 1) x k + λ −1 + ∑ Ck (k + λ ) x k + λ −1 − ∑ Ck (k + λ ) x k + λ + n ∑ Ck x k + λ = 0
k =1 k =1 k =0 k =0

Para organizar mejor nuestra expresión empleamos una de las propiedades de las
sumatorias que nos dice que:
∞ ∞

∑ f (k) =∑ f (k + m)
k=m k=0
∞ ∞ ∞ ∞
C0 λ λ −1 x λ −1 + C0 λ x λ −1 + ∑Ck+1 (k + λ +1)(k + λ )x k+λ + ∑Ck+1 (k + λ +1)x k+λ − ∑Ck (k + λ )x k+λ + n∑Ck x k+λ = 0
( )
k=0 k=0 k=0 k=0

Sacando factor común y agrupando términos semejantes por una de las propiedades
de las sumatorias que nos dice que:
n n n

∑ f (i ) ± ∑ g (i ) =∑ [ f (i ) ± g (i ) ]
i =1 i =1 i =1

∞
C0 λ ⎡⎣( λ −1) +1⎤⎦ x λ −1 + ∑⎡⎣Ck+1 (k + λ +1)(k + λ ) + (k + λ +1) + Ck n − (k + λ ) ⎤⎦x k+λ = 0
( ) ( )
k=0

2
 18/03/22

Aplicando el teorema de unicidad de series:

C0 λ [(λ − 1) + 1] = 0 → C0 λ 2 = 0 Donde C0 ≠ 0

λ2 = 0 λ =0 ECUACIÓN INDICAL

Ck +1 [(k + λ + 1)(k + λ ) + (k + λ + 1) ] + Ck [ n − (k + λ ) ] = 0 (7)

−Ck [ n − (k + λ ) ]
Ck +1 =
[(k + λ + 1)(k + λ ) + (k + λ + 1)]
Por lo tanto, podemos reescribir nuestra relación de recurrencia como:

−Ck [ n − (k + λ ) ]
Ck +1 = RELACIÓN DE RECURRENCIA
(k + λ + 1) 2

k −n
Ya que λ = 0 nuestra relación de recurrencia queda: Ck +1 = Ck
(k + 1) 2
Ahora, calculamos nuestros coeficientes

0−n
k =0 C1 Ck → C1 = −nC0
(0 + 1) 2
1− n 1− n n(n − 1)
k =1 C2 = 2
C1 → C2 = 2 (−nC0 ) → C2 = C0
2 2 22
k =2 2−n 2 − n ⎛ n(n − 1) ⎞ −n(n − 1)(n − 2)
C3 = C2 → C3 = 2 ⎜ C0 ⎟ → C3 = C0
32 3 ⎝ 22 ⎠ 32 ⋅ 22
k =3 3− n 3 − n ⎛ −n(n − 1)(n − 2) ⎞ n(n − 1)(n − 2)(n − 3)
C4 = C3 → C4 = 2 ⎜ C0 ⎟ → C4 = C0
42 4 ⎝ 32 ⋅ 22 ⎠ 42 ⋅ 32 ⋅ 22

k =4 4−n 4 − n ⎛ n(n − 1)(n − 2)(n − 3) ⎞ −n(n − 1)(n − 2)(n − 3)(n − 4)

C5 = C4 → C5 = 2 ⎜ C0 ⎟ → C5 = C0
52 5 ⎝ 42 ⋅ 32 ⋅ 22 ⎠ 52 ⋅ 42 ⋅ 32 ⋅ 22

⎡ k −1 − n⎤ k

Ck =
(
⎣ ) ⎦
Ck−1
( −1) n!
Ck = C0
k2 2
(k !) (n − k )!

3
 18/03/22

Por lo tanto, recordando (2), que fue lo que propusimos como solución de nuestra ED,
es decir ∞
y ( x ) = ∑ Ck x k + λ
k =0

Para λ =0
y ( x) = C0 + C1 x + C2 x 2 + C3 x 3 + C4 x 4 + ... + Ck x k (8)

Reemplazando los valores de los respectivos coeficientes en (8), nos queda la solución de la
forma:

⎛ n(n − 1) ⎞ 2 ⎛ −n(n − 1)(n − 2) ⎞ 3 ⎛ n(n − 1)(n − 2)(n − 3) ⎞ 4 ⎛ ( −1)k n ! ⎞

y ( x) = C0 + (−nC0 ) x + ⎜ 2
C 0⎟ x + ⎜ 2 2
C 0⎟ x + ⎜ 2 2 2
C 0⎟ x + ... + ⎜ 2
C0 ⎟ x k
⎝ 2 ⎠ ⎝ 3 ⋅2 ⎠ ⎝ 4 ⋅3 ⋅ 2 ⎠ ⎜ ( k !) ( n − k )! ⎟
⎝ ⎠

Reorganizando nuestra expresión, nos queda de la forma:

⎛ n(n − 1) 2 n(n − 1)(n − 2) 3 n(n − 1)(n − 2)(n − 3) 4 ( −1) k n ! ⎞
y ( x) = C0 ⎜1 − nx + 2
x − 2 2
x + 2 2 2
x + ... + 2
xk ⎟
⎝ 2 3 ⋅2 4 ⋅3 ⋅ 2 ( k !) ( n − k )! ⎠

n
(−1) k n !C0 k
y ( x) = ∑ 2
x
k = 0 ( k !) ( n − k )!

Para obtener nuestros polinomios de Laguerre es necesario que:

C0 = n !
2
n
(−1) k ( n !) k
y ( x) = ∑ 2
x
k = 0 ( k !) ( n − k )!

Teniendo en cuenta la forma de la combinatoria: ⎛n⎞ n!

⎜ ⎟=
⎝ k ⎠ (n − k )!k !
k ⎛ n ⎞ n!
n
y ( x) = ∑ ( −1) ⎜ ⎟ x k
k =0 ⎝k ⎠ k!

4
 18/03/22

Por último, nuestra expresión queda de la forma:

k ⎛ n ⎞ n!
n
y ( x) = ∑ ( −1) ⎜ ⎟ x k
k =0 ⎝k ⎠ k!

Calculando los polinomios de Laguerre:

0 ⎛ 0 ⎞ 0!
Ln =0 ( x) = ( −1) ⎜ ⎟ x 0 → L0 ( x) = 1
⎝ 0 ⎠ 0!
0 ⎛ 1 ⎞ 1! 1 ⎛ 1 ⎞ 1!
Ln =1 ( x) = ( −1) ⎜ ⎟ x 0 + ( −1) ⎜ ⎟ x1 → L1 ( x) = 1 − x
0
⎝ ⎠ 0! ⎝1⎠ 1!
0 ⎛ 2 ⎞ 2! 1 ⎛ 2 ⎞ 2! 2 ⎛ 2 ⎞ 2!
Ln = 2 ( x) = ( −1) ⎜ ⎟ x 0 + ( −1) ⎜ ⎟ x1 + ( −1) ⎜ ⎟ x 2 → L2 ( x) = 2 − 4 x + x 2
0
⎝ ⎠ 0! 1
⎝ ⎠ 1! ⎝ 2 ⎠ 2! Primeros Polinomios de Laguerre

0 ⎛ 3 ⎞ 3! 1 ⎛ 3 ⎞ 3! 2 ⎛ 3 ⎞ 3! 3 ⎛ 3 ⎞ 3!
Ln =3 ( x) = ( −1) ⎜ ⎟ x 0 + ( −1) ⎜ ⎟ x1 + ( −1) ⎜ ⎟ x 2 + ( −1) ⎜ ⎟ x 3 → L3 ( x) = 6 − 18 x + 9 x 2 − x 3
0
⎝ ⎠ 0! 1
⎝ ⎠ 1! 2
⎝ ⎠ 2! ⎝ 3 ⎠ 3!
0 ⎛ 4 ⎞ 4! 1 ⎛ 4 ⎞ 4! 2 ⎛ 4 ⎞ 4! 3 ⎛ 4 ⎞ 4! 4 ⎛ 4 ⎞ 4!
Ln = 4 ( x) = ( −1) ⎜ ⎟ x 0 + ( −1) ⎜ ⎟ x1 + ( −1) ⎜ ⎟ x 2 + ( −1) ⎜ ⎟ x 3 + ( −1) ⎜ ⎟ x 4 → L4 ( x) = 24 − 96 x + 72 x 2 − 16 x 3 + x 4
0
⎝ ⎠ 0! 1
⎝ ⎠ 1! 2
⎝ ⎠ 2! 3
⎝ ⎠ 3! ⎝ 4 ⎠ 4!