1 Resolucin de Ecuaciones Diferenciales usando

Series de Potencias
En este Captulo, se estudia una tcnica de resolucin de una ecuacin difer-
encial usando el desarrollo en serie de potencia de una funcin. Por razones
de conveniencia, nos concentraremos en la resolucin de ecuaciones de segundo
orden. Para esta tcnica necesitamos los siguientes conceptos:
Denition 1 El valor x = a se dice un punto ordinario de la E.D.
y+ P (t) y+ Q(t) y = 0
si P (t) y Q(t) son funciones analticas en t = a, es decir, si P (t) y Q(t)
se pueden expandir en serie de potencias del binomio t a con un radio de
convergencia positivo. Si un pto. no es ordinario, se dice que es singular.
Denition 2 La serie de Taylor de y (t) en torno de t = a es:
y (t) =
1
X
n=0
y
(n)
(a)
n!
(t a)
n
luego, toda funcin que tenga un desarrollo en serie de Taylor alrededor de
t = a es analtica en t = a:
Por otra parte, la serie de MacLaurin de y (t) en t = 0 es
y (t) =
1
X
n=0
y
(n)
(0)
n!
t
n
luego, toda la funcin que tenga un desarrollo en serie de MacLaurin es
analtica en t = 0
Example 1 Hallar los puntos ordinarios y singulares de la ecuacin diferencial
y+ (sent) y+ e
t
y = 0:
La funcin sen(t) tiene expansin en serie de Taylor para cualquier a R:
As mismo la funcin e
t
tambuin tiene expansin de Taylor para cualquier
a R:
De esta forma, cualquier valor a R es un punto ordinario de la ecuacin
diferencial, por tanto no tiene puntos singulares
Example 2 Hallar los puntos singulares de la ecuacin
ty+
t
1 t
y+ senty = 0:
1
La funcin
P (t) =
1
1 t
=
1
X
n=0
t
n
es analtica en todo a ,= 1: Adems Q(t) =
sent
t
es analtica en todo a R.
Por tanto, t = 1 es el nico pto. singular de la ecuacin.
Supongamos que la ecuacin
a
2
(t)y
00
+ a
1
(t)y
0
+ a
0
(t)y = 0 (1)
se puede escribir de la forma y+ P (t) y+ Q(t) y = 0 donde a
2
(t) ,= 0; \t I;
y P(t) =
a
1
(t)
a
2
(t)
y Q(t) =
a
0
(t)
a
2
(t)
: Podemos clasicar los puntos singulares y or-
dinarios de la ecuacin segn el siguiente criterio: si a
2
(t) ; a
1
(t) y a
0
(t) son
polinomios sin factores comunes, entonces t = a es:
1. Un punto ordinario si a
2
(t) ,= 0
2. Un punto singular si a
2
(t) = 0
Example 3 Hallar los puntos ordinarios y singulares de la ecuacin

t
2
9

y+ 5ty+ 6y = 0
Puesto que a
2
(t) = t
2
9 = 0 == t = 3 entonces son puntos singulares
de la ecuacin los valores t = 3 y son puntos ordinarios de la ecuacin los
valores t = 3:
Una vez que podemos identicar los puntos singulares de una ecuacin del
tipo (1), podemos garantizar la existencia de una solucin en forma de serie de
potencias mediante el siguiente
Theorem 1 Si t = a es un punto ordinario de la ecuacin (1), entonces dicha
ecuacin tiene dos soluciones linealmente independiente de la forma:
y (t) =
1
X
n=0
c
n
(t a)
n
cuyo radio de convergencia mayor o igual que la distancia de a al punto
singular de (1) mas cercano al punto t = a:
Remark 1 Sin prdida de generalidad, slo determinaremos soluciones en serie
de potencias en torno a puntos ordinarios del tipo a = 0: Si no es punto ordi-
nario, hacemos la sustitucin x = t a: sta sustitucin convierte la ecuacin
diferencial en una con punto ordinario a = 0:
2
Example 4 Resolver usando series de potencias la ecuacin diferencial

t
2
1

y+ 4ty+ 2y = 0:
Comenzamos identicando los puntos ordinarios o singulares: t
2
1 = 0 ==
t = 1 son puntos singulares y t = 0 es un punto ordinario de la ecuacin.
Luego, por teorema existen dos soluciones L.I. de la forma:
y (t) =
1
X
n=0
c
n
t
n
:
Tenemos entonces
y
0
(t) =
1
X
n=1
nc
n
t
n1
y
00
(t) =
1
X
n=2
n(n 1) c
n
t
n2
Reemplazando
1
X
n=2
n(n 1) c
n
t
n

1
X
n=2
n(n 1) c
n
t
n2
+ 4
1
X
n=1
nc
n
t
n
+ 2
1
X
n=2
c
n
t
n
= 0
Para dejar todas las potencias con el mismo ndice, hacemos la sustitucin
m = n 2 ==n = m + 2: As
1
X
n=2
n(n 1) c
n
t
n

1
X
m=0
(m + 2) (m + 1) c
m+2
t
m
+
4
1
X
n=1
nc
n
t
n
+ 2
1
X
m=0
c
n
t
n
= 0
== 2c
2
6c
3
+ 4c
1
+ 2c
0
+ 2c
1
+
1
X
n=2
[n(n 1) c
n
(n + 2) (n + 1) c
n
+ 2 + 4nc
n
+ 2c
n
] t
n
= 0
Por tanto,
t
0
: 2c
0
2c
2
= 0 ==c
2
= c
0
t : 6c
1
6c
3
= 0 ==c
3
= c
1
t
n
: [n(n 1) + 4n + 2] c
n
(n + 2) (n + 1) c
n+2
= 0, n = 2; 3; :::
== c
n+2
=
n
2
+ 3n + 2
(n + 2) (n + 1)
c
n
= c
n
; n = 2; 3; :::
== c
4
= c
2
= c
0
c
5
= c
3
= c
1
.
.
.
c
2k
= c
0
c
2k+1
= c
1
3
Reemplazando
y (t) = c
0

1 + t
2
+ t
4
+ + t
2n
+

| {z }
y1(t)
+
c
1

t + t
3
+ t
5
+ + t
2n+1
+

| {z }
y2(t)
= c
0
1
1 t
2
| {z }
y
1
(t)
+ c
1
t
1 t
| {z }
y
2
(t)
y
1
(t) y y
2
(t) son dos soluciones L.I.
1.1 Ecuacin de Legendre
Una ecuacin que puede ser resuelta usando series de potencias es la ecuacin
de Legendre. Dicha ecuacin se dene como

1 t
2

y2ty+ ( + 1) y = 0
donde R, alrededor del pto. t = 0: Como 1 t
2
= 0 entonces los puntos
singulares de la ecuacin de Legendre son t = 1 y t = :0 es un punto ordinario
de la ecuacin. As, la ecuacin diferencial admite una solucin de la forma:
y (t) =
1
X
n=0
c
n
t
n
luego,
y(t) =
1
X
n=1
nc
n
t
n1
y(t) =
1
X
n=2
n(n 1) c
n
t
n2
Reemplazando en la ecuacin, tenemos que
1
X
n=2
n(n 1) c
n
t
n2

1
X
n=2
n(n 1) c
n
t
n
2
1
X
n=1
nc
n
t
n
+
( + 1)
1
X
n=0
c
n
t
n
= 0
Para dejar el mismo ndice en todas las sumas, hacemos
m = n 2 ==n = m + 2
4
as,
1
X
m=0
(m + 2) (m + 1) c
m+2
t
m

1
X
n=2
n(n 1) c
n
t
n
2
1
X
n=1
nc
n
t
n
+( + 1)
1
X
n=0
c
n
t
n
= 0:
Tenemos para los coecientes
2c
2
+ 6c
3
t 2c
1
+ ( + 1) c
0
+ ( + 1) c
1
t+
1
X
n=2
[(n + 2) (n + 1) c
n+2
n(n 1) c
n
2nc
n
+ ( + 1) c
n
] t
n
= 0
de donde:
2c
2
+ ( + 1) c
0
= 0 ==c
2
=
( + 1)
2
c
0
6c
3
2c
1
+ ( + 1) c
1
= 0 ==c
3
=
(2 ( + 1))
6
c
1
=
( + 2) ( 1)
6
(n + 2) (n + 1) c
n+2

n
2
+ n

c
n
+ ( + 1) c
n
= 0
==c
n+2
=
( + n + 1) ( n)
(n + 2) (n + 1)
c
n
; n = 2; 3; :::
==c
4
=
( + 3) ( 2)
3 4
c
2
=
( 2) ( + 1) ( + 3)
2 3 4
c
0
c
5
=
( + 4) ( 3)
4 5
c
3
=
( 3) ( 1) ( + 2) ( + 4)
2 3 4 5
c
1
c
6
=
( + 5) ( 4)
5 6
c
4
=
( 4) ( 2) ( + 1) ( + 3) ( + 5)
2 3 4 5 6
c
0
.
.
.
c
2n
= (1)
n
( 2n + 2) ( 2) ( + 1) ( + 2n 1)
(2n)!
c
0
c
2n+1
= (1)
n
( 2n + 1) ( 3) ( 1) ( + 2) ( + 2n)
(2n + 1)!
c
1
Por tanto,
y (t) = c
0
"
1 +
1
X
n=1
(1)
n
( 2n + 2) ( + 2n 1)
(2n)!
t
2n
#
+
c
1
"
t +
1
X
n=1
(1)
n
( 2n + 1) ( + 2n)
(2n + 1)!
t
2n+1
#
5
1.2 Puntos singulares regulares
Denition 3 Se dice que t = t
0
es un punto singular regular de la ecuacin
diferencial
y+ P (t) y+ Q(t) y = 0
si las funciones (t t
0
) P (t) y (t t
0
)
2
Q(t) son analticas en t = t
0
. Si t = t
0
no es un pto. singular regular, entonces se llama punto singular irregular
de la ecucin diferencial.
Remark 2 Example 5 Remark 3 Si en la ecuacin diferencial
a
2
(t) y+ a
1
(t) y+ a
0
(t) y = 0
se tiene que a
2
(t) ; a
1
(t) ; a
0
(t) son polinomios sin factores comunes, entonces
t = t
0
es un punto singular regular si a
2
(t
0
) = 0 y adems, si en P (t) =
a
1
(t)
a
2
(t)
y Q(t)
a
0
(t)
a
2
(t)
, el factor (t t
0
) tiene a lo sumo grado uno en el denomi-
nador de P (t) y grado a lo sumo 2 en el denominador de Q(t) :
Example 6 Hallar los punto singulares e irregulares de la ecuacin

1 t
2

y2ty+ ( + 1) y = 0:
En este caso, a
2
(t) = 1 t
2
= 0 == t = 1 son los puntos singulares de la
ecuacin diferencial. Aqu,
P (t) =
2t
1 t
2
=
+2t
(1 + t) (1 t)
y
Q(t) =
( + 1)
1 t
2
=
( + 1)
(1 + t) (1 t)
Puesto que
(t 1) P (t) =
2t
1 + t
y (t 1)
2
Q(t) =
( + 1) (t 1)
1 + t
son analticas en t = 1, y las funciones
(t + 1) P (t) =
2t
1 t
y (t + 1)
2
Q(t) =
( + 1) (t + 1)
1 t
son analticas en t = 1 entonces los ptos. t = 1 y t = 1 son ptos. singu-
lares regulares de la ecuacin diferencial. Podemos hallar los puntos singulares
e irregulares razonando de la siguiente forma: con t = 1; (t 1) es un factor de
grado 1 en el denominador de P (t) y de grado 2 en el denominador de Q(t),
por lo tanto es un punto singular regular.
Con t = 2, (t + 2) es un factor de grado 2 en el denominador de P (t), por lo
tanto es un punto singular irregular.
6
Theorem 2 (Frobenius)
Si t = t
0
es un punto singular regular de la ecuacin diferencial
a
2
(t) y+ a
1
(t) y+ a
0
(t) y = 0
entonces existe al menos una solucin en serie de la forma:
y (t) =
1
X
n=0
c
n
(t t
0
)
n+r
donde r es una constante a determinar. Esta serie converge en un intervalo de
la forma: [t
0
; t
0
+ R] :
Example 7 Utilizar el teorema de Frobenius para hallar dos soluciones L.I. de
la E.D.
3ty+ yy = 0
Vemos que t = 0 es un punto singular regular de la E.D. porque:
P (t) =
1
3t
y Q(t) =
1
3t
Luego, suponemos una solucin de la forma:
y (t) =
1
X
n=0
c
n
t
n+r
== y(t) =
1
X
n=0
(n + r) c
n
t
n+r1
y(t) =
1
X
n=0
(n + r) (n + r 1) c
n
t
n+r2
y sustituyendo en la ecuacin diferencial se tiene que:
3
1
X
n=0
(n + r) (n + r 1) c
n
t
n+r1
+
1
X
n=0
(n + r) c
n
t
n+r1

1
X
n=0
c
n
t
n+r
= 0
t
r
"
1
X
n=0
(n + r) (3n + 3r 2) c
n
t
n1

1
X
n=0
c
n
t
n
#
= 0
==t
r
"
r (3r 2) c
0
t
1
+
1
X
n=1
(n + r) (3n + 3r 2) c
n
t
n1

1
X
n=0
c
n
t
n
#
= 0
para dejar todas las sumas con el mismo ndice, hacemos m = n 1 == n =
m + 1: As,
t
r
h
r (3r 2) c
0
t
1
+
X
((m + r + 1) (3m + 3r + 1) c
m+1
c
m
) t
m
i
= 0
t
1
: r (3r 2) c
0
= 0
t
m
: (m + r + 1) (3m + 3r + 1) c
m+1
c
m
= 0
7
Si c
0
,= 0 ==r (3r 2) = 0 ==r
2
= 0; r
1
= 2=3
c
m+1
=
c
m
(m + r + 1) (3m + 3r + 1)
; m = 0; 1; :::
con r
1
= 2=3, entonces
c
m+1
=
c
m
(3m + 5) (m + 1)
; m = 0; 1; :::
== c
1
=
c
0
1 5
c
2
=
c
1
2 8
=
c
0
1 2 5 8
c
3
=
c
2
3 11
=
c
0
1 2 3 5 8 11
.
.
.
c
n
=
c
0
n!5 8 11 (3n + 2)
; n = 1; 2; :::
con r
2
= 0, entonces
c
m+1
=
c
m
(m + 1) (3m + 1)
, m = 0; 1; :::
== c
1
=
c
0
1 1
c
2
=
c
1
2 4
=
c
0
1 1 2 4
c
3
=
c
2
3 7
=
c
0
1 1 2 4 3 7
.
.
.
c
n
=
c
0
n!1 4 7 (3n 2)
:
Por tanto,
y (t) = k
1
c
0
"
t
2=3
+
1
X
n=1
t
n+2=3
n!5 (3n + 2)
#
+
k
2
c
0
"
1 +
1
X
n=1
t
n
n!1 (3n 2)
#
Denition 4 Si t
0
es un pto. singular regular de la E.D.
y+ P (t) y+ Q(t) y = 0
entonces llamamos ecuacin indicial para este punto a la ecuacin
r (r 1) + p
0
r + q
0
= 0
8
donde
p
0
= lim
t!t0
(t t
0
) P (t) y
q
0
= lim
t!t0
(t t
0
)
2
Q(t)
:
Las races de la ecuacin indicial son los exponentes (ndices) de la singularidad
t
0
:
Example 8 Hallar ecuacin indicial y los exponentes en la singularidad t = 2
de

t
2
4

2
y+ (t 2) y+ y = 0:
Como
P (t) =
1
(t 2) (t + 2)
2
y Q(t) =
1
(t 2)
2
(t + 2)
2
tenemos:
p
0
= lim
t!2
(t 2) P (t) = lim
t!+2
1
(t + 2)
2
=
1
16
q
0
= lim
t!2
(t 2)
2
Q(t) = lim
t!2
1
(t + 2)
2
=
1
16
As,
r (r 1) +
1
16
r +
1
16
= 0
== 16r
2
15r + 1 = 0
== r =
15
_
225 64
32
=
15
_
161
32
son los exponentes buscados
1.3 Races de la ecuacin Indicial
Una vez conocidasd las soluciones de la ecuacin indicial, es posible esteblecer
las soluciones de la ecuacin diferencial mediante el siguiente criterio que se
divide en tres casos:
1. Caso 1
la diferencia r
1
r
2
no es un entero positivo y se cumple r
2
< r
1
. En este
caso, las dos soluciones L.I. son:
y
1
(t) =
1
X
n=0
c
n
t
n+r1
y
2
(t) =
1
X
n=0
c
n
t
n+r2
9
2. Caso 2
la diferencia r
1
r
2
es un entero positivo y se cumple r
2
< r
1
: En este
caso, las dos soluciones L.I. son:
y
1
(t) =
1
X
n=0
c
n
t
n+r1
y
2
(t) = ky
1
(t) lnt +
1
X
n=0
c
n
t
n+r2
; c
0
,= 0
donde k es una constante la cual puede ser nula.
Remark 4 Para saber si k = 0 k ,= 0, se utiliza la frmula de
Dlambert. Si es cero, entonces en y
2
(t) el primer sumando desaparece.
Si k ,= 0 tambin se puede aplicar la frmula de Dlambert:
y
2
(t) = y
1
(t)
Z
e

Z
P(t)dt
[y
1
(t)]
2
dt
o bien derivando dos veces,
y
2
(t) = ky
1
(t) lnt +
1
X
n=0
c
n
t
n+r2
; c
0
,= 0
3. Caso 3
la diferencia r
1
r
2
es cero. Entonces las soluciones L.I. son:
y
1
(t) =
1
X
n=0
c
n
t
n+r1
con c
0
,= 0
y
2
(t) = y
1
(t) lnt +
1
X
n=1
c
n
t
n+r1
Example 9 Resolver
ty
00
+ (3t + 5)y
0
+ 3y = 0:
En este caso,
P (t) =
3t + 5
t
y Q(t) =
3
t
y t = 0 es un punto singular regular de la E.D. Ya que
p
0
= lim
t!0
tP (t) = lim
t!0
(3t + 5) = 5
q
0
= lim
t!0
t
2
Q(t) = lim
t!0
3t = 0
10
la ecuacin indicial es r(r 1)+5r = 0 de donde las races son r
1
= 0 r
2
= 4:
As, r
1
r
2
= 4 es un entero positivo, de donde se presenta el caso 2. Sean
y (t) =
1
X
n=0
c
n
t
n+r
y(t) =
1
X
n=0
(n + r) c
n
t
n+r1
y
00
(t) =
1
X
n=0
(n + r) (n + r 1) c
n
t
n+r2
y reemplazando en la ecuacin diferencial dada, se tiene:
1
X
n=0
(n + r) (n + r 1) c
n
t
n+r1
+ 3
1
X
n=0
(n + r) c
n
t
n+r
+ 5
1
X
n=0
(n + r) c
n
t
n+r1
+ 3
1
X
n=0
c
n
t
n+r
= 0
==t
r
"
1
X
n=0
(n + r 1) (n + r) c
n
t
n1
+ 3
1
X
n=0
(n + r) c
n
t
n
+ 5
1
X
n=0
(n + r) c
n
t
n1
+ 3
1
X
n=0
c
n
t
n
#
= 0
==t
r
"
1
X
n=0
[(n + r) (n + r + 4)] c
n
t
n1
+
1
X
n=0
(3n + 3r + 3) c
n
t
n
#
= 0
m = n 1 ==n = m + 1
Tenemos que la frmula de recurrencia es:
(m + r + 1) (m + r + 5) c
m+1
+ (3m + 3r + 3) c
m
= 0, m _ 0
de donde
c
m+1
=
3
m + r + 5
c
m
, m = 0; 1; 2; :::
Para r
2
= 4 se tiene que:
c
m+1
=
3
m + 1
c
m
, m = 0; 1; :::
== c
1
= 3c
0
c
2
=
3
2
c
1
=
9
2
c
0
c
3
=
3
3
c
2
= c
2
=
9
2
c
0
c
4
=
3
4
c
3
=
3 9
2 4
c
0
:
11