Clase 3 Unidad 3

Ecuaciones Diferenciales con coeficientes
analíticos y Funciones Especiales
Prof. Carolina Cárdenas
UNEXPO
Sección de Matemáticas
Clase 3
Dra. Carolina Cárdenas (UNEXPO) ED0 1 / 18

Índice
1 La Ecuación de Legendre
Solución de la ecuación de Legrendre

RECORDEMOS: Consideremos la ecuación diferencial
a2 (x)y00 + a1 (x)y0 + a0 (x)y = 0 (1)
Expresada en forma estándar
a1 (x) 0 a0 (x)
y00 + y + y=0
a2 (x) a2 (x)
Diremos que un punto x = a es un punto ordinario de la ecuación

diferencial, si P y Q son funciones analt́icas en x = a. Un punto que no
es ordinario es un punto singular de la ecuación.

a2 (x)y00 + a1 (x)y0 + a0 (x)y = 0 (1)
a1 (x) 0 a0 (x)
y00 + y + y=0
a2 (x) a2 (x)


a2 (x)y00 + a1 (x)y0 + a0 (x)y = 0 (1)
a1 (x) 0 a0 (x)
y00 + y + y=0
a2 (x) a2 (x)


a2 (x)y00 + a1 (x)y0 + a0 (x)y = 0 (1)
a1 (x) 0 a0 (x)
y00 + y + y=0
a2 (x) a2 (x)


La Ecuación de Legendre
Índice

La Ecuación de Legendre Solución de la ecuación de Legrendre
Índice


La ecuación de Legendre de orden µ es la ecuación diferencial de
segundo orden:
(1 − x2 )y00 − 2xy0 + µ(µ + 1)y = 0 (2)
donde el número real µ satisface que µ > −1. Esta ecuación puede
expresarse en forma estándar como
2x µ(µ + 1)
y00 − 2
y0 + y=0
(1 − x ) (1 − x2 )
Observación: Note que los únicos puntos singulares de (2) son a = 1

y a = −1, los demás puntos son puntos ordinarios. Así que la ED (2)
alrededor de a = 0, que es un punto ordinario, (2) tiene dos soluciones
linealmente que pueden ser expresadas como series de potencias de
x y con radio de convergencia de al menos 1. J: |x| < 1.

segundo orden:
(1 − x2 )y00 − 2xy0 + µ(µ + 1)y = 0 (2)
2x µ(µ + 1)
y00 − 2
y0 + y=0
(1 − x ) (1 − x2 )


segundo orden:
(1 − x2 )y00 − 2xy0 + µ(µ + 1)y = 0 (2)
2x µ(µ + 1)
y00 − 2
y0 + y=0
(1 − x ) (1 − x2 )

Resolvamos la ecuación Legendre

Solución:
Paso 1: Para resolver la ED,
estudiemos sus puntos ordinarios y singulares, para conocer si
a = 0 es un punto ordinario o singular.
Notemos que en la ED en su forma estándar,
2x µ(µ + 1)
P(x) = − , Q(x) =
(1 − x2 ) (1 − x2 )
y como son funciones racionales, son analt́icas para todo

x ∈ R − {1, −1}.
Por tanto a = 0 es un punto ordinario de la ED.

Resolvamos la ecuación Legendre

Solución:
Paso 1: Para resolver la ED,
estudiemos sus puntos ordinarios y singulares, para conocer si
a = 0 es un punto ordinario o singular.
Notemos que en la ED en su forma estándar,
2x µ(µ + 1)
P(x) = − , Q(x) =
(1 − x2 ) (1 − x2 )
y como son funciones racionales, son analt́icas para todo

x ∈ R − {1, −1}.
Por tanto a = 0 es un punto ordinario de la ED.

Paso 2: Por el teorema de existencia siempre es posible

determinar dos soluciones linealmente independientes en forma
de series de potencias centradas en a = 0. Además las series de
potencias convergen al menos para
|x − a| = |x| < 1
donde R es la distancia desde a = 0 hasta el punto singular más

próximo. Por tanto, podemos suponer lo siguiente:
Supongamos que y = ∞ n
P
n=0 Cn x es solución de la ED dada.
Qué forma deben tener los coeficientes Cn para que la serie de

potencias converja a una función que sea solución de la ED dada?
Debemos concentrarnos en buscar los Cn

Paso 2: Por el teorema de existencia siempre es posible

determinar dos soluciones linealmente independientes en forma
de series de potencias centradas en a = 0. Además las series de
potencias convergen al menos para
|x − a| = |x| < 1
donde R es la distancia desde a = 0 hasta el punto singular más

próximo. Por tanto, podemos suponer lo siguiente:
Supongamos que y = ∞ n
P
n=0 Cn x es solución de la ED dada.
Qué forma deben tener los coeficientes Cn para que la serie de

potencias converja a una función que sea solución de la ED dada?
Debemos concentrarnos en buscar los Cn

Paso 3: Derivamos la solución supuesta y = ∞ n

P
n=0 Cn x tantas
veces como indique la ecuación, sustituya en la ED, reagrupe y
trate de encontrar una relación de recurrencia para los Cn , y
finalmente determine que forma tienen las soluciones. Veamos
como hacerlo.
Derivando término a término y = ∞ n
P
n=0 Cn x , tenemos
0 00
y = n=1 nCn xn−1 y = ∞
P∞ P n−2
n=2 n(n − 1)Cn x
00 0
Ahora sustituyamos las expresiones de y , y , y en la ED.
∞
X ∞
X
(1 − x2 )y00 − 2xy0 + µ(µ + 1)y = 0 ⇒(1 − x2 ) n(n − 1)Cn xn−2 − 2x nCn xn−1
n=2 n=1
∞
X
+µ(µ + 1) Cn x n = 0
n=0
n
Ahora tratemos de que nos queden las potencias x

Paso 3: Derivamos la solución supuesta y = ∞ n

P
n=0 Cn x tantas
veces como indique la ecuación, sustituya en la ED, reagrupe y
trate de encontrar una relación de recurrencia para los Cn , y
finalmente determine que forma tienen las soluciones. Veamos
como hacerlo.
Derivando término a término y = ∞ n
P
n=0 Cn x , tenemos
0 00
y = n=1 nCn xn−1 y = ∞
P∞ P n−2
n=2 n(n − 1)Cn x
00 0
Ahora sustituyamos las expresiones de y , y , y en la ED.
∞
X ∞
X
(1 − x2 )y00 − 2xy0 + µ(µ + 1)y = 0 ⇒(1 − x2 ) n(n − 1)Cn xn−2 − 2x nCn xn−1
n=2 n=1
∞
X
+µ(µ + 1) Cn x n = 0
n=0
n
Ahora tratemos de que nos queden las potencias x

Tenemos:
∞
X ∞
X ∞
X
(1 − x2 ) n(n − 1)Cn xn−2 − 2x nCn xn−1 + µ(µ + 1) Cn x n = 0
n=2 n=1 n=0
∞
X ∞
X ∞
X ∞
X
2
n(n − 1)Cn xn−2 − x n(n − 1)Cn xn−2 − 2x nCn xn−1 + µ(µ + 1) Cn x n = 0
n=2 n=2 n=1 n=0
X∞ ∞
X ∞
X ∞
X
n(n − 1)Cn xn−2 − n(n − 1)Cn xn − 2nCn xn + µ(µ + 1)Cn xn = 0
n=2 n=2 n=1 n=0
∞
X X∞ X∞ ∞
X
(n + 2)(n + 1)Cn+2 xn − n(n − 1)Cn xn − 2nCn xn + µ(µ + 1)Cn xn = 0
n=0 n=2 n=1 n=0

Tenemos:
∞
X ∞
X ∞
X
n=2 n=1 n=0
∞
X ∞
X ∞
X ∞
X
2
n=2 n=2 n=1 n=0
X∞ ∞
X ∞
X ∞
X
n=2 n=2 n=1 n=0
∞
X X∞ X∞ ∞
X
n=0 n=2 n=1 n=0

Tenemos:
∞
X ∞
X ∞
X
n=2 n=1 n=0
∞
X ∞
X ∞
X ∞
X
2
n=2 n=2 n=1 n=0
X∞ ∞
X ∞
X ∞
X
n=2 n=2 n=1 n=0
∞
X X∞ X∞ ∞
X
n=0 n=2 n=1 n=0

Tenemos:
∞
X ∞
X ∞
X
n=2 n=1 n=0
∞
X ∞
X ∞
X ∞
X
2
n=2 n=2 n=1 n=0
X∞ ∞
X ∞
X ∞
X
n=2 n=2 n=1 n=0
∞
X X∞ X∞ ∞
X
n=0 n=2 n=1 n=0

Ahora necesitamos que los subíndices de la series inicien en el mismo

valor para poder usar la linealidad de una serie y tener solo una serie.
∞
X X∞ X∞ ∞
X
n=0 n=2 n=1 n=0
∞
X ∞
X ∞
X
2C2 + 6C3 x + (n + 2)(n + 1)Cn+2 xn − n(n − 1)Cn xn − 2C1 x − 2nCn xn
n=2 n=2 n=2
∞
X n
+µ(µ + 1)C0 + µ(µ + 1)C1 x + µ(µ + 1)Cn x = 0
n=0
(2C2 + µ(µ + 1)C0 ) + (6C3 − 2C1 + µ(µ + 1)C1 )x
∞ h
X i
+ (n + 2)(n + 1)Cn+2 − n(n − 1)Cn − 2nCn + µ(µ + 1)Cn xn = 0
n=2
Luego,
−µ(µ + 1)C0
2C2 + µ(µ + 1)C0 = 0 ⇒ C2 =
2
[2 − µ(µ + 1)]C1 −(µ + 2)(µ − 1)C1
6C3 −2C1 +µ(µ+1)C1 = 0 ⇒ C3 = =
3·2 3·2

∞
X X∞ X∞ ∞
X
n=0 n=2 n=1 n=0
∞
X ∞
X ∞
X
n=2 n=2 n=2
∞
X n
+µ(µ + 1)C0 + µ(µ + 1)C1 x + µ(µ + 1)Cn x = 0
n=0
(2C2 + µ(µ + 1)C0 ) + (6C3 − 2C1 + µ(µ + 1)C1 )x
∞ h
X i
n=2
Luego,
−µ(µ + 1)C0
2C2 + µ(µ + 1)C0 = 0 ⇒ C2 =
2
[2 − µ(µ + 1)]C1 −(µ + 2)(µ − 1)C1
6C3 −2C1 +µ(µ+1)C1 = 0 ⇒ C3 = =
3·2 3·2

∞
X X∞ X∞ ∞
X
n=0 n=2 n=1 n=0
∞
X ∞
X ∞
X
n=2 n=2 n=2
∞
X n
+µ(µ + 1)C0 + µ(µ + 1)C1 x + µ(µ + 1)Cn x = 0
n=0
(2C2 + µ(µ + 1)C0 ) + (6C3 − 2C1 + µ(µ + 1)C1 )x
∞ h
X i
n=2
Luego,
−µ(µ + 1)C0
2C2 + µ(µ + 1)C0 = 0 ⇒ C2 =
2
[2 − µ(µ + 1)]C1 −(µ + 2)(µ − 1)C1
6C3 −2C1 +µ(µ+1)C1 = 0 ⇒ C3 = =
3·2 3·2

∞
X X∞ X∞ ∞
X
n=0 n=2 n=1 n=0
∞
X ∞
X ∞
X
n=2 n=2 n=2
∞
X n
+µ(µ + 1)C0 + µ(µ + 1)C1 x + µ(µ + 1)Cn x = 0
n=0
(2C2 + µ(µ + 1)C0 ) + (6C3 − 2C1 + µ(µ + 1)C1 )x
∞ h
X i
n=2
Luego,
−µ(µ + 1)C0
2C2 + µ(µ + 1)C0 = 0 ⇒ C2 =
2
[2 − µ(µ + 1)]C1 −(µ + 2)(µ − 1)C1
6C3 −2C1 +µ(µ+1)C1 = 0 ⇒ C3 = =
3·2 3·2

∞
X X∞ X∞ ∞
X
n=0 n=2 n=1 n=0
∞
X ∞
X ∞
X
n=2 n=2 n=2
∞
X n
+µ(µ + 1)C0 + µ(µ + 1)C1 x + µ(µ + 1)Cn x = 0
n=0
(2C2 + µ(µ + 1)C0 ) + (6C3 − 2C1 + µ(µ + 1)C1 )x
∞ h
X i
n=2
Luego,
−µ(µ + 1)C0
2C2 + µ(µ + 1)C0 = 0 ⇒ C2 =
2
[2 − µ(µ + 1)]C1 −(µ + 2)(µ − 1)C1
6C3 −2C1 +µ(µ+1)C1 = 0 ⇒ C3 = =
3·2 3·2

∞
X X∞ X∞ ∞
X
n=0 n=2 n=1 n=0
∞
X ∞
X ∞
X
n=2 n=2 n=2
∞
X n
+µ(µ + 1)C0 + µ(µ + 1)C1 x + µ(µ + 1)Cn x = 0
n=0
(2C2 + µ(µ + 1)C0 ) + (6C3 − 2C1 + µ(µ + 1)C1 )x
∞ h
X i
n=2
Luego,
−µ(µ + 1)C0
2C2 + µ(µ + 1)C0 = 0 ⇒ C2 =
2
[2 − µ(µ + 1)]C1 −(µ + 2)(µ − 1)C1
6C3 −2C1 +µ(µ+1)C1 = 0 ⇒ C3 = =
3·2 3·2
Además
(n + 2)(n + 1)Cn+2 − n(n − 1)Cn − 2nCn + µ(µ + 1)Cn = 0
es decir,
n(n − 1) + 2n − µ(µ + 1)
Cn+2 = Cn , ∀n ≥ 2 .
(n + 2)(n + 1)
simplificando
−(µ − n)(µ + n + 1)
Cn+2 = Cn , ∀n ≥ 2 .
(n + 2)(n + 1)
Ahora, desarrollemos algunos términos de la recurrencia obtenida.
−(µ − 2)(µ + 3) (µ − 2)(µ + 3) µ(µ + 1)

n=2 ⇒ C4 = C2 ⇒ C4 = C0
4·3 4·3 2
−(µ−3)(µ+4) (µ−3)(µ+4) (µ+2)(µ−1)
n=3 ⇒ C5 = 5·4
C3 ⇒ C5 = 5·4 3·2
C1
−(µ − 4)(µ + 5) −(µ − 4)(µ + 5) (µ − 2)(µ + 3) µ(µ + 1)
n = 4 ⇒ C6 = C4 ⇒ C6 = C0
6·5 6·5 4·3 2
−(µ−5)(µ+6) (µ−5)(µ+6) (µ−3)(µ+4)
n=5 ⇒ C7 = 7·6
C5 ⇒ C7 = 7·6 5·4
C3
(µ−5)(µ+6) (µ−3)(µ+4) −(µ+2)(µ−1)

C7 = 7·6 5·4 3·2
C1

Además
(n + 2)(n + 1)Cn+2 − n(n − 1)Cn − 2nCn + µ(µ + 1)Cn = 0
es decir,
n(n − 1) + 2n − µ(µ + 1)
Cn+2 = Cn , ∀n ≥ 2 .
(n + 2)(n + 1)
simplificando
−(µ − n)(µ + n + 1)
Cn+2 = Cn , ∀n ≥ 2 .
(n + 2)(n + 1)
Ahora, desarrollemos algunos términos de la recurrencia obtenida.
−(µ − 2)(µ + 3) (µ − 2)(µ + 3) µ(µ + 1)

n=2 ⇒ C4 = C2 ⇒ C4 = C0
4·3 4·3 2
−(µ−3)(µ+4) (µ−3)(µ+4) (µ+2)(µ−1)
n=3 ⇒ C5 = 5·4
C3 ⇒ C5 = 5·4 3·2
C1
−(µ − 4)(µ + 5) −(µ − 4)(µ + 5) (µ − 2)(µ + 3) µ(µ + 1)
n = 4 ⇒ C6 = C4 ⇒ C6 = C0
6·5 6·5 4·3 2
−(µ−5)(µ+6) (µ−5)(µ+6) (µ−3)(µ+4)
n=5 ⇒ C7 = 7·6
C5 ⇒ C7 = 7·6 5·4
C3
(µ−5)(µ+6) (µ−3)(µ+4) −(µ+2)(µ−1)

C7 = 7·6 5·4 3·2
C1

Podemos continuar este proceso hasta conseguir un patrón de los Cn .

Note que tenemos dos formas para los Cn .
Para los rojos: C2 ,C4 , C6 , · · · (Los subíndices son mútiplos de 2)
(−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)]C0
C2n = , ∀n ≥ 1
(2n)!
Para los azules: C3 ,C5 , C7 , · · · (Los subíndices son de la forma

2n + 1)
(−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)]C1
C2n+1 = , ∀n ≥ 1
(2n + 1)!

La solución general de la ecuación de Legendre es:

∞
X ∞
X
y = Cn xn = C0 + C1 x + Cn x n
n=0 n=2
∞
X X∞
= C0 + C1 x + C2n x2n + C2n+1 x2n+1
n=1 n=1
h ∞
X i h ∞
X i
= C0 + C2n x2n + C1 x + C2n+1 x2n+1
n=1 n=1
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)]C0 2n i
= C0 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)]C1 2n+
+ C1 x + x
n=1
(2n + 1)!
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)] 2n i
= C0 1 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)] 2n+1 i
+C1 x + x
n=1
(2n + 1)!
= C0 f1 (x) + C1 f2 (x)


∞
X ∞
X
n=0 n=2
∞
X X∞
= C0 + C1 x + C2n x2n + C2n+1 x2n+1
n=1 n=1
h ∞
X i h ∞
X i
= C0 + C2n x2n + C1 x + C2n+1 x2n+1
n=1 n=1
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)]C0 2n i
= C0 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)]C1 2n+
+ C1 x + x
n=1
(2n + 1)!
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)] 2n i
= C0 1 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)] 2n+1 i
+C1 x + x
n=1
(2n + 1)!
= C0 f1 (x) + C1 f2 (x)


∞
X ∞
X
n=0 n=2
∞
X X∞
= C0 + C1 x + C2n x2n + C2n+1 x2n+1
n=1 n=1
h ∞
X i h ∞
X i
= C0 + C2n x2n + C1 x + C2n+1 x2n+1
n=1 n=1
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)]C0 2n i
= C0 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)]C1 2n+
+ C1 x + x
n=1
(2n + 1)!
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)] 2n i
= C0 1 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)] 2n+1 i
+C1 x + x
n=1
(2n + 1)!
= C0 f1 (x) + C1 f2 (x)


∞
X ∞
X
n=0 n=2
∞
X X∞
= C0 + C1 x + C2n x2n + C2n+1 x2n+1
n=1 n=1
h ∞
X i h ∞
X i
= C0 + C2n x2n + C1 x + C2n+1 x2n+1
n=1 n=1
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)]C0 2n i
= C0 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)]C1 2n+
+ C1 x + x
n=1
(2n + 1)!
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)] 2n i
= C0 1 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)] 2n+1 i
+C1 x + x
n=1
(2n + 1)!
= C0 f1 (x) + C1 f2 (x)


∞
X ∞
X
n=0 n=2
∞
X X∞
= C0 + C1 x + C2n x2n + C2n+1 x2n+1
n=1 n=1
h ∞
X i h ∞
X i
= C0 + C2n x2n + C1 x + C2n+1 x2n+1
n=1 n=1
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)]C0 2n i
= C0 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)]C1 2n+
+ C1 x + x
n=1
(2n + 1)!
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)] 2n i
= C0 1 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)] 2n+1 i
+C1 x + x
n=1
(2n + 1)!
= C0 f1 (x) + C1 f2 (x)


∞
X ∞
X
n=0 n=2
∞
X X∞
= C0 + C1 x + C2n x2n + C2n+1 x2n+1
n=1 n=1
h ∞
X i h ∞
X i
= C0 + C2n x2n + C1 x + C2n+1 x2n+1
n=1 n=1
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)]C0 2n i
= C0 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)]C1 2n+
+ C1 x + x
n=1
(2n + 1)!
∞
h X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)] 2n i
= C0 1 + x
n=1
(2n)!
∞
h X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)] 2n+1 i
+C1 x + x
n=1
(2n + 1)!
= C0 f1 (x) + C1 f2 (x)

Finalmente tenemos
∞
X (−1)n [µ(µ − 2) · · · (µ − 2n + 2)][(µ + 1)(µ + 3) · · · (µ + 2n − 1)] 2n
f1 (x) = 1+ x
n=1
(2n)!
∞
X (−1)n [(µ − 1)(µ − 3) · · · (µ − 2n + 1)][(µ + 2)(µ + 4) · · · (µ + 2n)] 2n+1
f2 (x) = x+ x
n=1
(2n + 1)!
Note que f1 (x) y f2 (x) son las dos soluciones linealmente

independientes de la ED.
Estas soluciones se pueden expresar como sigue:

−µ µ+1
∞
X 2 2
22n
f1 (x) = n n
x2n
n=0
(2n)!

−µ+1 µ+2
∞
X 2 2
22n
f2 (x) = n n
x2n+1
n=1
(2n + 1)!
Las cuales se llaman funciones de Legendre.

Las funciones de Legendre toman una forma muy particular cuando µ

es un número natural, esto es µ = 1, 2, 3 · · · , en efecto, supongamos
que µ = 2
µ(µ + 1) 2 µ(µ − 2)(µ + 1)(µ + 3)
f1 (x) = 1− x + · · · = 1 − 3x2 = q(x)
2! 4!
(µ − 1)(µ + 2) 3 (µ − 1)(µ − 3)(µ + 2)(µ + 4) 5 2
f2 (x) = x− x + x · · · = 1 − x3 + · · ·
3! 5! 3
Note que f1 (x) es un polinómiso mientras que f2 (x) continua siendo
una serie de potencias.
Realice lo mismo para µ = 3.

Factorial generalizado
Sea α ∈ R
(α)n = α(α + 1)(α + 2) · · · (α + n − 1) n ≥ 1
Se cumple que:
(α)0 = 1 siempre que α 6= 0.
(1)n = 1 · 2 · · · n = n!.
Si m es un entero y tal que n > m entonces (−m)n = 0.
1
Ejemplo: Calcular 3 n
Solución: Usando la definición de factorial generalizado tenemos:
1 1 1 1 1
= · +1 · + 2 ··· +n−1
3 n 3 3 3 3
1 4 7 3n − 2
= · · ···
3 3 3 3
1 · 4 · 7 · · · (3n − 2)
=
3n
Factorial generalizado
Recordemos que en la clase 2, teníamos por ejemplo:
(3n − 2) · · · 7 · 4 · 1
C3n = C0 , ∀n ≥ 1
(3n)!
por lo anterior
1
3n = (3n − 2) · · · 7 · 4 · 1
3 n

Clase 3 Unidad 3

Cargado por

Copyright:

Formatos disponibles

Clase 3 Unidad 3

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Clase 3 Unidad 3

Cargado por

Copyright:

Formatos disponibles

Ecuaciones Diferenciales con coeficientes

analíticos y Funciones Especiales

Prof. Carolina Cárdenas

Dra. Carolina Cárdenas (UNEXPO) ED0 1 / 18

Dra. Carolina Cárdenas (UNEXPO) ED0 2 / 18

a2 (x)y00 + a1 (x)y0 + a0 (x)y = 0 (1)

Expresada en forma estándar

Diremos que un punto x = a es un punto ordinario de la ecuación

Dra. Carolina Cárdenas (UNEXPO) ED0 3 / 18

a2 (x)y00 + a1 (x)y0 + a0 (x)y = 0 (1)

Expresada en forma estándar

Diremos que un punto x = a es un punto ordinario de la ecuación

Dra. Carolina Cárdenas (UNEXPO) ED0 3 / 18

a2 (x)y00 + a1 (x)y0 + a0 (x)y = 0 (1)

Expresada en forma estándar

Diremos que un punto x = a es un punto ordinario de la ecuación

Dra. Carolina Cárdenas (UNEXPO) ED0 3 / 18

a2 (x)y00 + a1 (x)y0 + a0 (x)y = 0 (1)

Expresada en forma estándar

Diremos que un punto x = a es un punto ordinario de la ecuación

Dra. Carolina Cárdenas (UNEXPO) ED0 3 / 18

Dra. Carolina Cárdenas (UNEXPO) ED0 4 / 18

Dra. Carolina Cárdenas (UNEXPO) ED0 5 / 18

Solución de la ecuación de Legrendre

(1 − x2 )y00 − 2xy0 + µ(µ + 1)y = 0 (2)

Observación: Note que los únicos puntos singulares de (2) son a = 1

Solución de la ecuación de Legrendre

(1 − x2 )y00 − 2xy0 + µ(µ + 1)y = 0 (2)

Observación: Note que los únicos puntos singulares de (2) son a = 1

Solución de la ecuación de Legrendre

(1 − x2 )y00 − 2xy0 + µ(µ + 1)y = 0 (2)

Observación: Note que los únicos puntos singulares de (2) son a = 1

Solución de la ecuación de Legrendre

Resolvamos la ecuación Legendre

Notemos que en la ED en su forma estándar,

y como son funciones racionales, son analt́icas para todo

Por tanto a = 0 es un punto ordinario de la ED.

Dra. Carolina Cárdenas (UNEXPO) ED0 7 / 18

Solución de la ecuación de Legrendre

Resolvamos la ecuación Legendre

Notemos que en la ED en su forma estándar,

y como son funciones racionales, son analt́icas para todo

Por tanto a = 0 es un punto ordinario de la ED.

Dra. Carolina Cárdenas (UNEXPO) ED0 7 / 18

Paso 2: Por el teorema de existencia siempre es posible

donde R es la distancia desde a = 0 hasta el punto singular más

Qué forma deben tener los coeficientes Cn para que la serie de

Dra. Carolina Cárdenas (UNEXPO) ED0 8 / 18

Paso 2: Por el teorema de existencia siempre es posible

donde R es la distancia desde a = 0 hasta el punto singular más

Qué forma deben tener los coeficientes Cn para que la serie de

Dra. Carolina Cárdenas (UNEXPO) ED0 8 / 18

Paso 3: Derivamos la solución supuesta y = ∞ n

Dra. Carolina Cárdenas (UNEXPO) ED0 9 / 18

Paso 3: Derivamos la solución supuesta y = ∞ n

Dra. Carolina Cárdenas (UNEXPO) ED0 9 / 18

Dra. Carolina Cárdenas (UNEXPO) ED0 10 / 18

Dra. Carolina Cárdenas (UNEXPO) ED0 10 / 18

Dra. Carolina Cárdenas (UNEXPO) ED0 10 / 18

Dra. Carolina Cárdenas (UNEXPO) ED0 10 / 18