EDO homogenea con coeficiente analticos

MONOGRAFIAS MATEMATICAS

EDO homogenea con coeficiente analticos

FERNANDO REVILLA JIMENEZ
http://www.fernandorevilla.es

RESUMEN. Demostramos que la ecuacion diferencial homogenea de se-

gundo orden y 00 + p(x)y 0 + q(x)y = 0 con coeficientes analticos p(x) y
q(x) en un intervalo (x0 r, x0 + r) tiene dos soluciones analticas y
linealmente independientes en el mismo intervalo y damos un ejemplo
de aplicacion.

Enunciado
Se considera la ecuacion diferencial

y 00 + p(x)y 0 + q(x)y = 0 (E)

en donde las funciones p y q son analticas en el intervalo I = (x0 r, x0 + r)

con desarrollos
+
X +
X
n
p(x) = bn (x x0 ) , q(x) = cn (x x0 )n .
n=0 n=0

1. Supongamos que y(x) es una solucion de (E) analtica en I, esto es

+
X
y(x) = an (x x0 )n .
n=0

Demostrar que se verifican las relaciones de recurrencia

n
X
(n+2)(n+1)an+2 = [(k + 1)ak+1 bnk + ak cnk ] , n = 0, 1, 2, . . . . ()
k=0

2. Las relaciones recurrentes anteriores definen an+2 en funcion de los coe-

ficientes a0 , a1 , . . . , an+1 y de los de p(x) y q(x) y por ende, a2 ,P
a3 , a4 , . . . en
funcion de a0 , a1 y de los de p(x) y q(x). Demostrar que la serie + n=0 an (x
x0 )n es convergente en I, con lo cual estara demostrado que y(x) es solucion
de (E).

1
 EDO homogenea con coeficiente analticos

3. Demostrar que existen dos funciones analticas de (E) que son linealmen-
te independientes.
Nota. En general, se puede demostrar que para la ecuacion homogenea

y (n) + pn1 (x)y (n1) + + p1 (x)y 0 + p0 y = 0 (n 1)

con coeficientes pn1 (x), . . . , p0 (x) funciones analticas en el intervalo (x0

r, x0 + r), existen n funciones y1 (x), . . . , yn (x) linealmente independientes y
analticas en dicho intervalo.
4. Aplicacion. Dar una solucion general de la ecuacion diferencial

y 00 xy 0 + 4y = 0

que sea analtica en R. Expresarla como combinacion lineal de dos funciones

linealmente independientes.

Solucion
1. Usando la derivacion termino a termino de las series de potencias
+
X +
X
y 0 (x) = nan (x x0 )n1 = (n + 1)an+1 (x x0 )n ,
n=1 n=0
X+ +
X
y 00 (x) = n(n 1)an (x x0 )n2 = (n + 2)(n + 1)an+2 (x x0 )n .
n=2 n=0

Usando la formula del producto de Cauchy para series absolutamente con-

vergentes:
+ X n
!
X
q(x)y(x) an cnk (x x0 )n ,
n=0 k=0
+ n
!
X X
p(x)y 0 (x) = (k + 1)ak+1 bnk (x x0 )n .
n=0 k=0

Sustituyendo en la ecuacion (E):

+ n
" #
X X
(n + 2)(n + 1)an+2 + ((k + 1)ak+1 bnk + ak cnk ) (x x0 )n = 0.
n=0 k=0

Por tanto se han de verificar las relaciones:

n
X
(n + 2)(n + 1)an+2 = [(k + 1)ak+1 bnk + ak cnk ] , n = 0, 1, 2, . . . .
k=0

2
 EDO homogenea con coeficiente analticos

2. Para x = x0 la serie + n
P
n=0 an (x x0 ) converge trivialmente.
P+ Sea x1 In
con
P+x 1 6
= x 0 y llamemos t = |x 1 x0 |. Como las series n=0 bn (x1 x0 )
n
y n=0 cn (x1 x0 ) son absolutamente convergentes en x1 , sus terminos
estan acotados en valor absoluto, es decir existen constantes positivas K1 y
K2 tales que

|bk | tk K1 , |ck | tk K2 , k = 0, 1, 2, . . .

Llamando K = max{K1 , K2 } se verifica

K K
|bk | , |ck | , k = 0, 1, 2, . . .
tk tk
Usando las relaciones anteriores junto con las relaciones de recurrencia ():
 
Xn 
(n + 2)(n + 1) |an+2 | =  [(k + 1)ak+1 bnk + ak cnk ]
 
 
k=0

n
X
[(k + 1) |ak+1 | |bnk | + |ak | |cnk |]
k=0
n  
X M M
(k + 1) |ak+1 | nk + |ak | nk+1
t t
k=0
" n n
#
M X X
= n+1 (k + 1) |ak+1 | tk+1 + |ak | tk .
t
k=0 k=0

Ahora bien,
n
X n
X n
X
|ak | tk = |a0 | + |ak | tk = |a0 | + |ak+1 | tk+1 |an+1 | tn+1 ,
k=0 k=1 k=0

con lo cual
(n + 2)(n + 1) |an+2 |
n n
" #
M X
k+1
X
k+1 k+1
(k + 1) |ak+1 | t + |a0 | + |ak+1 | t |an+1 | t
tn+1
k=0 k=0
" n n
#
M X k+1
X
k+1
(k + 1) |ak+1 | t + |a0 | + |ak+1 | t
tn+1
k=0 k=0
" n # n+1
M X M X
= n+1 (k + 2) |ak+1 | tk+1 + |a0 | = n+1 (k + 1) |ak | tk .
t t
k=0 k=0

3
 EDO homogenea con coeficiente analticos

Definamos la sucesion {An }n0 de la forma recurrente

A0 = |a0 | , A1 = |a1 | ,


n+1
M X
(n + 2)(n + 1)An+2 = tn+1

(k + 1)Ak tk . ()
k=0

Como |an | PAn para todo n 0, la serie + n

P
n=0 |an | |x x0 | esta mayorada
+ n
por la serie n=0 An |x x0 | , para todo x I con lo cual si la segunda es
convergente, lo sera la primera. Sustituyendo n por n 1 en ():
n
MX
(n + 1)nAn+1 = n (k + 1)Ak tk .
t
k=0

Multiplicando por t1 :
n
M X
(n + 1)nt1 An+1 = (k + 1)Ak tk .
tn+1
k=0

Restando a la igualdad () la igualdad anterior

(n + 2)(n + 1)An+2 (n + 1)nt1 An+1 = M (n + 2)An+1 ,

de lo cual se deduce
An+2 (n + 1)n + M (n + 2)t An+2 1
= y lm = .
An+1 (n + 2)(n + 1)t n+ An+1 t
Aplicando el criterio de DAlembert para x I:

An+2 |x x0 |n+2 |x x0 |
lm = < 1 si |x x0 | < t = |x1 x0 | .
n+ An+1 |x x0 |n+1 t

Al ser x1 arbitrario en I se deduce que + n

P
n=0 an (x x0 ) es absolutamente
convergente en I y por tanto convergente.

2. Sean y1 (x) e y2 (x) las soluciones de (E) que satisfacen respectivamente

a0 = 1, a1 = 0 y a0 = 0, a1 = 1 es decir,

y1 (x) = 1 + 0(x x0 ) + . . .
y2 (x) = 0 + 1(x x0 ) + . . .

entonces

1 y1 (x) + 2 y2 (x) = 0 1 + 2 (x x0 ) + . . . = 0 1 = 2 = 0

4
 EDO homogenea con coeficiente analticos

lo cual implica que y1 (x) e y2 (x) son soluciones analticas de (E) en el in-
tervalo I y linealmente independientes.

3. Las funciones p(x) = x, q(x) = 4 son analticas en todo intervalo de la

forma (r, r) para todo r > 0 y por tanto analticas en R. Por el teorema
anterior, existen las soluciones pedidas. Sea
+
X
y(x) = an xn .
n=0

Sustituyendo en la ecuacion dada:

0 = y 00 xy 0 + 4y
+
X +
X +
X
= n(n 1)an xn2 x nan xn1 + 4an xn
n=2 n=1 n=0
+
X +
X +
X
= (n + 2)(n + 1)an+2 xn nan xn + 4an xn
n=0 n=1 n=0
+
X
= (2a2 + 4a0 ) + [(n + 2)(n + 1)an+2 (n 4)an ] .
n=1

En consecuencia,

2a2 + 4a0 = 0
(n + 2)(n + 1)an+2 (n 4)an = 0.

o bien
a2 = 2a0
n4
an+2 = an .
(n + 2)(n + 1)
Distingamos los casos n par y n impar. Para n par tenemos:
1 1
a2 = 2a0 , a4 = a2 = a0 , a6 = 0, a8 = 0, a10 = 0, . . .
6 3
Para n = 2k + 1 impar tenemos:

2k 5 (2k 5)(2k 7)
a2k+1 = a2k1 = a2k3
(2k + 1)(2k) (2k + 1)(2k)(2k 1)(2k 2)

(2k 5)(2k 7) . . . (3)

= ... = a1 .
(2k + 1)(2k)(2k 1)(2k 2) . . . (3)(2)

5
 EDO homogenea con coeficiente analticos

Por tanto,
+
  !
1 X (2k 5)(2k 7) . . . (3)
y(x) = a0 2
1 2x + x4 + a1 x+ x k
,
3 (2k + 1)!
k=1

y de acuerdo con el apartado anterior, las dos funciones entre parentesis

son soluciones de la ecuacion diferencial dada, analticas en R y linealmente
independientes. 

Fernando Revilla Jimenez:

Jefe del Departamento de Matematicas del IES Santa Teresa de Jesus de la
Comunidad de Madrid.
Profesor de Metodos Matematicos de la Universidad Alfonso X El Sabio de
Villanueva de la Canada, Madrid
(En ambos casos, hasta el curso academico 2008-2009).

Direccion E-mail: frej0002@ficus.pntic.mec.es

Pagina web: http://www.fernandorevilla.es