16/03/22

FUNCIONES ESPECIALES

•  Son funciones “UTILES”. Para avanzar en el campo de las

matemáticas es necesario conocer propiedades de ciertas
funciones “elementales” como las potencias, las exponenciales,
las funciones trigonométricas…

•  Sin embargo, en muchos otros problemas que aparecen en

ciencia, hay otras funciones habitualmente llamadas “FUNCIONES
ESPECIALES” que pueden resultar más útiles que las funciones
elementales.

•  Conocer las propiedades de estas funciones es clave para

entender las propiedades del problema que queremos realizar

16/03/22 Dra. Sc. Martha Lucía Molina Prado 1

FUNCIONES ESPECIALES
ECUACION DIFERENCIAL DE HERMITE
n t2 dn 2
y ''− 2ty '+ 2ny = 0 ⇒ H n (t) = (−1) e n
e −t
dt

ECUACION DIFERENCIAL DE LAGUERRE

d n n −t
ty''+ (1− t)y'+ ny = 0 ⇒ Ln (t) = et (t e )
dt n

ECUACION DIFERENCIAL ASOCIADA DE LAGUERRE

dm
ty''+ (m +1− t)y'+ (n − m)y = 0 ⇒ Lmn (t) = Ln (t)
dt m
16/03/22 Dra. Sc. Martha Lucía Molina Prado 2

1
 16/03/22

FUNCIONES ESPECIALES
ECUACION DIFERENCIAL DE LEGENDRE
2 1 dn
(x −1) y ''+ 2xy '− n(n +1) y = 0 ⇒ Pn (x) = n n
(x 2 −1)n
2 n! dx

ECUACION DIFERENCIAL ASOCIADA DE LEGENDRE

⎡ m2 ⎤ 1 dm
(1− x 2 ) y ''− 2xy '+ ⎢n(n +1) − ⎥y =0 ⇒ Pnm (x) = (1− x 2 ) 2 Pn (x)
⎢⎣ (1− x 2 ) ⎥⎦ dx m

ECUACION DIFERENCIAL DE BESSEL

1 ⎛ α2 ⎞ ⎛ z ⎞α ∞ (−1)µ ⎛ z ⎞2 µ
y''+ y'+ ⎜⎜1− 2 ⎟⎟ y = 0 ⇒ Jα (z) = ⎜ ⎟ ∑ ⎜ ⎟
z ⎝ z ⎠ ⎝ 2 ⎠ µ =0 µ !(µ + α )! ⎝ 2 ⎠
16/03/22 Dra. Sc. Martha Lucía Molina Prado 3

ECUACION DIFERENCIAL DE HERMITE

POLINOMIOS DE HERMITE
Solución de la ecuación diferencial de Hermite mediante serie de
potencias:
y''− 2xy'+ 2ny = 0 donde n = 0,1, 2,...
El punto x=0 es regular y el radio de convergencia es infinito, pues no
hay puntos singulares, por tanto la solución en serie de potencias de
la ecuación de Hermite puede escribirse así:
∞
y(x) = ∑ Cm x m+λ
m=0
∞
y '(x) = ∑ Cm (m + λ ) x m+λ −1
m=0
∞
y ''(x) = ∑ Cm (m + λ )(m + λ −1) x m+λ −2
m=0
16/03/22 Dra. Sc. Martha Lucía Molina Prado 4

2
 16/03/22

Reemplazando y, y’, y’’ en la E.D.H. y ''− 2xy '+ 2ny = 0

tenemos:
∞ ∞ ∞
∑ Cm (m + λ )(m + λ −1)x m−2+λ − 2 ∑ Cm (λ + m)x m+λ + 2n ∑ Cm x m+λ = 0
m=0 m=0 m=0
Hacemos k=m-2 en la primera sumatoria, en las otras k=m:
∞ ∞ ∞
∑ Ck+2 (k + λ + 2)(k + λ +1)x k+λ − 2 ∑ Ck (λ + k)x k+λ + 2n ∑ Ck x k+λ = 0
k=−2 k=0 k=0

Evaluamos la primera sumatoria, para k= -1 y k=-2:

∞
C0 λ ( λ −1)x λ −2 + C1 ( λ +1)λ x λ −1 + ∑ Ck+2 (k + λ + 2)(k + λ +1) + 2nCk − 2Ck ( λ + k) x k+λ = 0
( )
k=0

Aplicando el teorema de unicidad de series tenemos:

C0 λ ( λ −1) = 0 ⇒ λ ( λ −1) = 0 Ecuación

Indicial
λ=0 λ =1
16/03/22 Dra. Sc. Martha Lucía Molina Prado 5

λ −1
•  Igualmente desaparecería el coeficiente de la potencia de x

C1 ( λ +1)λ = 0 ⇒ { sisi λλ == 10 →C1 es arbitrario

→ C1 = 0
λ +k
•  Igualmente desaparecería el coeficiente de la potencia de x
Ck+2 (k + λ + 2)(k + λ +1) + 2nCk − 2Ck ( λ + k) = 0

2(n − λ − k) Relación de
Ck+2 = − Ck
( λ + k + 2)( λ + k +1) Recurrencia

•  Tenemos que cuando:

λ = 0 C1 es arbitrario

2(n − k)
Ck+2 = − Ck
(k + 2)(k +1)
16/03/22 Dra. Sc. Martha Lucía Molina Prado 6

3
 16/03/22

2(n − k)
Ck+2 = − Ck
(k + 2)(k +1)
2n 2(n −1)
k = 0 ⇒ C2 = − C0 k = 1 ⇒ C3 = − C1
(2)(1) (3)(2)

2.2.(n − 2)n 2.2(n − 3)(n −1)

k = 2 ⇒ C4 = C0 k = 3 ⇒ C5 = C1
4! 5!
2(n − 4)2 2 (n − 2)n 23 (n − 5)(n − 3)(n −1)
k = 4 ⇒ C6 = − C0 k = 5 ⇒ C7 = − C1
6! 7!

l
(−1)l 2l ∏ (n − 2s + 2)
C2l = s=1 C0
(2l)!
entonces:
l
(−1)l 2l ∏ (n − 2s +1)
C2l+1 = s=1 C1
(2l +1)!
16/03/22 Dra. Sc. Martha Lucía Molina Prado 7

Entonces para nuestra primera solución sería:

λ=0
∞
yλ =0 = ∑ Cm x m+0
m=0

yλ =0 (x) = C0 + C1 x + C2 x 2 + C3 x 3 + C4 x 4 + C5 x 5 + ...
Reemplazamos los coeficientes:
⎡ 2nx 2 2 2 n(n − 2)x 4 23 n(n − 2)(n − 4)x 6 (−1)k 2 k...(n − 2s + 2)x 2k ⎤
y(x) = C0 ⎢1− + − + ... + ⎥
⎣ 2! 4! 6! (2k)! ⎦
⎡ 2(n −1)x 3 2 2 (n −1)(n − 3)x 5 (−1)k 2 k...(n − 2s +1)x 2k+1 ⎤
+ C1 ⎢ x − + − ... + ⎥
⎣ 3! 5! (2k +1)! ⎦
Siendo la solución: y(x) = C0 y1 (x)+C1 y2 (x)

y1 (x) solución para n par = H 2m (x)

y2 (x) solución para n impar = H 2m+1 (x)

16/03/22 Dra. Sc. Martha Lucía Molina Prado 8

4
 16/03/22

⎡ 2nx 2 22 n(n − 2)x 4 23 n(n − 2)(n − 4)x 6 (−1) k 2k ...(n − 2s + 2)x 2k ⎤

y(x) = C0 ⎢1− + − + ...+ ⎥
⎢⎣ 2! 4! 6! (2k)! ⎥⎦

⎡ 2(n −1)x 3 22 (n −1)(n − 3)x 5 (−1) k 2k ...(n − 2s +1)x 2k+1 ⎤

+ C1 ⎢ x − + − ...+ ⎥
⎢⎣ 3! 5! (2k +1)! ⎥⎦

y ''− 2xy '+ 2ny = 0

n par: 0,2,4,…
s o b r e v i v e l a
acompañada por
C0 ??

n impar: 1,3,5,…
sobrevive la
acompañada por
C1 ??
16/03/22 Dra. Sc. Martha Lucía Molina Prado 9

⎧ C1 = 0
⎪
•  Tenemos que cuando: λ =1⇒ ⎨ 2(n − k −1)
⎪ Ck+2 = − Ck
C1 = C3 = C5 = ...C2k+1 = 0 ⎩ (k + 3)(k + 2)

2(n −1) 2 2 (n −1)(n − 3)

k = 0 ⇒ C2 = − C0 k = 2 ⇒ C4 = C0
3! 5!
23 (n −1)(n − 3)(n − 5)
k = 4 ⇒ C6 = − C0
7!
La solución es:
∞
yλ =1 = ∑ Cm x m+1
m=0
Reemplazamos los coeficientes:
2(n −1)x 3 2 2 (n −1)(n − 3)x 5 23 (n −1)(n − 3)(n − 5)x 7
yλ =1 = C0 x − C0 + C0 − C0 + ...
3! 5! 7!
16/03/22 Dra. Sc. Martha Lucía Molina Prado 10

5
 16/03/22

Hallemos las dos soluciones, calculando los coeficientes C0,1.

Tenemos que la primera solución es para cuando n es par (los
términos que acompañan a C0, convergen)
⎡ 2nx 2 2 2 n(n − 2)x 4 23 n(n − 2)(n − 4)x 6 (−1)k 2 k...(n − 2s + 2)x 2k ⎤
y(x) = C0 ⎢1− + − + ... + ⎥
⎣ 2! 4! 6! (2k)! ⎦
Sea n = 2m (par):

⎡ 2(2m)x 2 2 2 2m(2m − 2)x 4 232m(2m − 2)(2m − 4)x 6 ⎤

y2m (x) = C0 ⎢1− + − + ...⎥
⎣ 2! 4! 6! ⎦

⎡ 2 4 3 6
(−1)2 2 x 2 m (−1) ( 2x ) m(m −1) (−1) ( 2x ) m(m −1)(m − 2)
y2m (x) = C0 ⎢1+ + + + ..
⎢⎣ 2! 4! 6!

m!⎤
2p
(−1) p ( 2x )
... + ⎥
(m − p)!(2 p)! ⎥⎦

16/03/22 Dra. Sc. Martha Lucía Molina Prado 11

2p
m (−1) p ( 2x )
y2m (x) = m! C0 ∑
p=0
(m − p)!(2 p)! siendo m!C0 ≡ (2m)!(−1)m
m =1
⎡ 0 2*0 2*1 ⎤
⎢ (−1) ( 2x ) (−1)1 ( 2x ) ⎥
y2 (x) = 1! C0 ⎢ +
(1− 0)!(2 *0)! (1−1)!(2 *1)!⎥
⎣⎢ ⎥⎦

⎡ 4x 2 ⎤
y2 (x) = 1!C0 ⎢1− ⎥ como y2 (x) = 4x 2 − 2 ⇒ 1!C0 = 2!(−1)
⎢⎣ 2! ⎥⎦

m=2
⎡ 0 2*0 2*1 2*2 ⎤
⎢ (−1) 2x( ) (−1)1 2x ( )(−1)2 2x ⎥ ( )
y4 (x) = 2! C0 ⎢ + +
(2 − 0)!(2 *0)! (2 −1)!(2 *1)! (2 − 2)!(2 * 2)!⎥
⎢⎣ ⎥⎦

⎡ 1 4x 2 16x 4 ⎤
y4 (x) = 2!C0 ⎢ − + ⎥ como y4 (x) = 16x 4 − 48x 2 +12
⎢⎣ 2 2! 4! ⎥⎦
⇒ 2!C0 = 4!(−1)2
16/03/22 Dra. Sc. Martha Lucía Molina Prado 12

6
 16/03/22

Quedando la solución para cuando n es par (n=2m) así:

2p
m (−1) p ( 2x )
y2m (x) = (−1)m (2m)! ∑
p=0
(m − p)!(2 p)!

En forma análoga para cuando n es impar (n=2m+1), en este caso los

coeficientes que acompañan a C1 convergen:
⎡ 2(n −1)x 3 22 (n −1)(n − 3)x 5 (−1) k 2k ...(n − 2s +1)x 2k+1 ⎤
y(x) = C1 ⎢ x − + − ...+ ⎥
⎢⎣ 3! 5! (2k +1)! ⎥⎦

⎡ 2(2m +1−1)x 3 2 2 (2m +1−1)(2m +1− 3)x 5 ⎤

y2m+1 (x) = C1 ⎢ x − + − ...⎥
⎣ 3! 5! ⎦

⎡ (−1)2 2 m x 3 2 4 m(m −1)x 5 (−1) p 2 2 p m!x 2 p+1 ⎤

y2m+1 (x) = C1 ⎢ x + + − ... + ⎥
⎣ 3! 5! (m − p)!(2 p +1)! ⎦

16/03/22 Dra. Sc. Martha Lucía Molina Prado 13

p 2 p+1
m! C1 m (−1) ( 2x ) m!C1
y2m+1 (x) = ∑ siendo ≡ (2m +1)!(−1)m
2 p=0 (m − p)!(2 p +1)! 2

Quedando la segunda solución para cuando n es impar (n=2m+1) así:

2 p+1
m (−1) p ( 2x )
y2m+1 (x) = (−1)m (2m +1)! ∑
p=0
(m − p)!(2 p +1)!

para cuando n es par (n=2m) tenemos:

2p
m (−1) p ( 2x )
y2m (x) = (−1)m (2m)! ∑
p=0
(m − p)!(2 p)!

En forma compacta los polinomios de Hermite están escritos como:

n−2 p
⎡ N=n para n= par
N (−1) p 2x
( ) ⎢ 2
H n (x) = n! ∑ siendo ⎢
p=0
(n − 2 p)! p! ⎢ (n −1)
⎢⎣ N = 2
para n= impar
16/03/22 Dra. Sc. Martha Lucía Molina Prado 14

7
 16/03/22

2p 2p
m
m (−1) p ( 2x ) (−1) p+m ( 2x )
m
y2m (x) = (−1) (2m)! ∑ = (2m)! ∑
p=0
(m − p)!(2 p)! p=0
(m − p)!(2 p)!
2p
n/2 (−1) p+n/2 ( 2x )
Como m=n/2: = n! ∑
⎛n−2p⎞
p=0 ⎜ ⎟! (2 p)!
⎝ 2 ⎠
n−2k
0 (−1)n−k ( 2x )
n−2p = n! ∑
hacemos k = ⇒ 2 p = n − 2k
k=n/2 ( )
2 k ! (n − 2k)!

n−2k
(−1)−k ( 2x )
0
como n es par ⇒ (−1) = 1 n
= n! ∑
k=n/2 ( )
k ! (n − 2k)!

n−2k
n/2(−1)k ( 2x )
yn (x) =n! ∑ = H n (x) n= 2m( par)
k=0 ( )
k ! (n − 2k)!

16/03/22 Dra. Sc. Martha Lucía Molina Prado 15

16/03/22 Dra. Sc. Martha Lucía Molina Prado 16

8
 16/03/22

2 p+1
m (−1) p ( 2x ) m (−1) p+m 2x 2 p+1
( )
y2m+1 (x) = (−1)m (2m +1)! ∑ = (2m +1)! ∑
p=0
(m − p)!(2 p +1)! (m − p)!(2 p +1)! p=0

2 p+1
(n−1)/2
(−1) p+(n−1)/2 ( 2x )
Como m=(n-1)/2: = n! ∑ ⎛ n −1− 2 p ⎞
p=0 ⎜ ⎟! (2 p +1)!
⎝ 2 ⎠
n−2k
n −1 0 (−1)n−k−1 ( 2x )
hacemos k =
2
− p ⇒ 2 p +1 = n − 2k = n! ∑ (k ) ! (n − 2k)!
k=(n−1)/2

n−2k
0 (−1)−k ( 2x )
como n es impar ⇒ (−1) n−1
=1 = n! ∑ (k )! (n − 2k)!
k=(n−1)/2

n−2k
(n−1)/2
(−1)k ( 2x )
yn (x) =n! ∑ k ! (n − 2k)! = H n (x) n= 2m +1(impar)
k=0 ( )

16/03/22 Dra. Sc. Martha Lucía Molina Prado 17

Por lo tanto, la solución de la EDO:

y''− 2xy'+ 2ny = 0 donde n = 0,1, 2,...

Llamada ED de Hermite, es:

n−2k
n/2 (−1)k ( 2x )
yn (x) =n! ∑ = H n (x) n= 2m( par)
k=0 (k ) ! (n − 2k)!
n−2k
(n−1)/2
(−1)k ( 2x )
yn (x) =n! ∑ (k )! (n − 2k)! = H n (x) n= 2m +1(impar)
k=0

n−2 p
⎡ N =n para n= par
N (−1) p ( 2x ) ⎢ 2
H n (x) = n! ∑ siendo ⎢
p=0
(n − 2 p)! p! ⎢⎣ N = n −1 para n= impar
2
16/03/22 Dra. Sc. Martha Lucía Molina Prado 18

9
 16/03/22

n−2 p
⎡ N =n para n= par
N (−1) p ( 2x ) ⎢ 2
H n (x) = n! ∑ siendo ⎢
p=0
(n − 2 p)! p! ⎢⎣ N = n −1 para n= impar
2

16/03/22 Dra. Sc. Martha Lucía Molina Prado 19

10