Una Aplicacin a ecuaciones diferenciales

En clase se estudi el siguiente resultado.

Teorema 0.1 Sea X un espacio de Banach. Si T L (X) y la serie

n=0
T
n

es convergente entonces I T es una funcin lineal continua y biyectiva. Adems

la funcin inversa (I T)
1
tambin es lineal y continua.
El teorema anterior es en cierto sentido una generalizacin del teorema de
contracciones, as que ser la base para la prueba de la existencia de soluciones
en ecuaciones diferenciales o integrales como se muestra en el siguiente teorema.
La derivada de y se denota y

, y la derivada de orden r se denota y

(r)
. Adems
usaremos el teorema fundamental del clculo en su siguiente forma: Si y

(t ) es
continua en [a, t ] , entonces
_
t
a
y

(s)ds = y (t ) y (a) .
Teorema 0.2 Si f
i
: [a, b] R para 1 i n 1, g : [a, b] R y k
i
R
para 1 i n 1, existe una nica funcin y en [a, b] que satisface
y
(n)
+ f
n1
y
(n1)
+. . . + f
1
y

+ f
0
y = g.
Con las condiciones iniciales y (a) = k
0
, ..., y
(r)
(a) = k
r
para 1 r n 1.
Demostracin
Supongamos que y
0
satisface la ecuacin con las condiciones iniciales. Deno-
temos por comodidad y
(r)
= y
r
para 1 r n 1. Por el teorema fundamental
del clculo se tiene
y
r
(t ) = k
r
+
_
t
a
y
r+1
(1)
1
para 0 r n 2 y de la ecuacin diferencial:
y

n1
= g ( f
0
g
0
+. . . + f
n1
g
n1
)
as que
y
n1
= k
n1
+ G (t )
_
t
a
( f
0
y
0
+. . . + f
n1
y
n1
) (2)
donde G (t ) =
_
t
a
g. Inversamente si (g
0
, y
1
, . . . , y
n1
) es un conjunto de n fun-
ciones en [a, b] que satisfacen (1) y (2) , entonces es claro que y
0
satisface la
ecuacin diferencial y las condiciones iniciales. Ahora nos vamos a concentrar en
(1) y (2) .
Sea X el producto (C [a, b])
n
. Un elemento de X es de la forma
(y
0
, y
1
, . . . , y
n1
) ,
tomemos como norma de este elemento a
(y
0
, . . . , y
n1
) = max {y
i
: 0 i n 1} .
Entonces X es un espacio de Banach, pues es completo coordenada a coordenada.
Denimos un operador lineal L : X X como
L (x
0
, x
1
, . . . , x
n1
) =
_
y
0
, y
1,
. . . . , y
n1
_
donde y
r
(t ) =
_
t
a
x
r+1
para 0 r n 2 y
y
n1
(t ) =
_
t
a
( f
0
x
0
+. . . + f
n1
x
n1
) .
Pedir que se cumplan (1) y (2) es equivalente a decir que se cumple:
(I L) (y
0
, . . . , +y
n1
) = (k
0
, k
1
, . . . , k
n1
+G) . (3)
Probaremos que

_
_
L
k
_
_
es convergente: entonces se seguir que existe una
solucin nica de (3) y por lo tanto de (1) y de (2) . Sea max y
r
= y,
2
max f
r
= f , max
_
f ,
1
n
_
= M y L
k
(y
0
, . . . , y
n1
) =
_
y
k
0
, . . . , y
k
n1
_
.
Probemos por induccin que

y
k
r
(t )

1
k!
y (nM)
k
(t a)
k
(4)
para a t b y 0 r n 1. El resultado entonces se obtiene ya que esto
implica que
_
_
L
k
_
_

1
k!
C
k
donde C = nM (b a).
Para k = 0, (4) es trivial. Supongamos que se cumple para k y as

y
k+1
n1
(t )

1
k!
y (Mn)
n
(nM)
_
t
a
(s a)
k
ds
=
1
(k +1)!
y (nM)
k+1
(t a)
k+1
con lo cual se demuestra (4) . Un clculo similar pero ms sencillo prueba la
desigualdad para y
k+1
r
donde 0 r n2. Aqu se usar que (nM)
k+1
(nM)
k
ya que M >
1
n
.
3