ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 3.

TEOREMA DE PEANO. PROLONGABILIDAD DE SOLUCIONES.

Compacidad en espacios de funciones. Teorema de Arzela-Ascoli.

1. Definicin. Sean K un espacio mtrico compacto, e Y un espacio mtrico. Se dice que una
familia de funciones F C(K, Y ) es (uniformemente) equicontinua si para todo > 0 existe
> 0 tal que kf (x) f (y)k para todos x, y K con kx yk y para toda f F.
Tambin se dice que F es puntualmente compacto si Fx := {f (x) : f F} es compacto en
Y para cada x K.
Finalmente, diremos que F es puntualmente acotado si Fx := {f (x) : f F} es acotado en
Y para cada x K.

2. Teorema (Arzela-Ascoli). Sea K un espacio mtrico compacto, Y un espacio mtrico

cualquiera y F un subconjunto de C(K, Y ). Entonces F es compacto en (C(K, Y ), k k ) si y
slo si F es cerrado, equicontinuo y puntualmente compacto.

3. Corolario (Arzela-Ascoli). Sea K un espacio mtrico compacto, y B un subconjunto

equicontinuo y puntualmente acotado de C(K, Rn ). Entonces toda sucesin de B tiene una
subsucesin uniformemente convergente a una funcin de C(K, Rn ).

El mtodo de Euler y el teorema de Peano.

Consideremos el problema
x0 (t) = f (x(t))
()
x(t0 ) = x0 ,
donde f : U R Rn Rn es continua, x0 U .
Sea a > 0, y dividamos el intervalo [0, a] en k subintervalos de igual longitud [tj , tj+1 ] poniendo
tj = jh, donde h := a/k, para j = 0, 1, ..., k. Definamos una solucin aproximada xk de ()
poninedo xk (0) = x0 y, para j 0, definiendo xh de manera recursiva en los puntos tj por

xk (tj+1 ) = xk (tj ) + f (xk (tj ))h,

y en los dems puntos mediante interpolacin lineal, es decir,

xk (t) = xk (tj ) + f (xh (tj ))(t tj ) si t [tj , tj+1 ].

A las curvas xk : [0, a] Rn (k N) as obtenidas se les llama poligonales de Euler.

Sea > 0 tal que B(x0 , ) U , y definamos M = max{kf (x)k : x B(x0 , )}, a = /M . Se
puede comprobar que:
xk : [0, a] B(x0 , ) para todo k N.
Rt
xk (t) = x0 + 0 f (xk (s))ds + Rk (t), donde lmk kRk k = 0.
 Si una subsucesin de {xk } converge uniformemente a una funcin x : [0, a] B(x0 , )
entonces x es solucin de ().
La familia de funciones {xk : k N} es equicontinua y acotada en (C([0, a], Rn ), k k ).
Aplicando el corolario anterior se deduce el siguiente

4. Teorema (Cauchy-Peano). Sea U Rn abierto y f : U Rn continua. Dados x0 U y

> 0 tal que
0 < < dist(x0 , U ),
existe al menos una solucin x : [t0 , t0 + ] B(x0 , ) del problema de valor inicial

x0 (t) = f (x(t))
x(t0 ) = x0 ,

en donde

:= , M := max kf (x)k.
M xB(x0 ,)

5. Corolario (convergencia del mtodo de Euler). En las condiciones del teorema de

Peano y de Picard-Lindelof, si f es Lipschitz entonces xk converge uniformemente (cuando
k ) a la nica solucin de ().

Prolongabilidad de soluciones

En lo que sigue, supondremos, por simplificar la notacin, que t0 = 0 y que nuestra ecuacin
es autnoma, es decir, consideraremos el problema de valor inicial

x0 (t) = f (x(t))
()
x(0) = x0 .

Como ya sabemos, esto no supone ninguna restriccin. Tambin supondremos que f : U

Rn Rn es localmente Lipschitz, de modo que puede aplicarse el teorema de Peano para
asegurar la existencia de una solucin en el intervalo [, ] (con la notacin del Teorema 4),
y el teorema de Picard-Lindelf para asegurar la unicidad local de las soluciones y por tanto
tambin que la solucin es nica en dicho intervalo.
Es fcil dar ejemplos que muestran que el intervalo de definicin [, ] de una solucin x de
(]) que proporciona el teorema de Peano no es ptimo: puede ocurrir que exista una solucin x
de () definida en un intervalo mayor.
Sin embargo, la unicidad local de las soluciones nos garantiza que x = x en su intervalo
comn de definicin:

6. Observacin. Sean x1 : I1 U, x2 : I2 U soluciones de (). Entonces x1 (t) = x2 (t) para

todo t I1 I2 .

En efecto, denotemos j = nf Ij , j = sup Ij , j = 1, 2. Supongamos por ejemplo 1 < 2 . Sea = sup{

[0, 1 ] : x1 = x2 en [0, ]}. Si fuera < 1 entonces, puesto que x1 (t) = x2 (t) para todo t [0, ), se tiene por
continuidad de x1 , x2 que tambin x1 () = x2 (). Como el problema {y 0 = f (x), y() = x1 () = x2 ()} tiene
solucin nica en un intervalo [ r, + r] con r > 0, y obviamente x1 , x2 son soluciones de dicho problema
en dicho intervalo (al menos cuando r < 1 ), se deduce que x1 = x2 en [ r, + r], y por tanto tambin
x1 = x2 en [0, + r], lo que contradice la definicin de . Por tanto = 1 y x1 = x2 en [0, 1 ] = I1 I2 [0, ).
Anlogamente se prueba que x1 = x2 en I1 I2 (, 0], y por consiguiente x1 = x2 en I1 I2 .

7. Notacin. En lo que sigue Ix0 denotar la unin de todos los intervalos I tales que 0 I y
existe una solucin xI : I U de ().

8. Proposicin. Ix0 es un intervalo abierto y existe una nica solucin x de () definida sobre
Ix0 . Ms an, Ix0 es el mayor intervalo de R sobre el que puede definirse una solucin de ().
(A x se le llama solucin maximal de ().)

Indicacin: en la definicin de Ix0 puede suponerse que todos los I son abiertos, por qu? Definir x(t) = xI (t)
si t I.
Conviene observar que el intervalo Ix0 depende fuertemente del dominio U de definicin de
f que se est considerando.

9. Teorema. Sea x : Ix0 = ( , + ) U Rn la solucin maximal de (). Supongamos que

U 6= , que + < +, y que x(t) est acotada en [0, + ). Entonces

lm dist (x(t), U ) = 0,
t+

es decir x(t) se acerca a la frontera de U cuando t tiende a + .

Por otra parte, si U = Rn y + < +, entonces lmt+ kx(t)k = .
(Y anlogamente cuando > .)

Indicacin: supongamos que existieran y tn % + tales que dist(x(tn ), U ) 2 > 0. Sea yk la solucin del
problema y 0 = f (y), y(tk ) = x(tk ), definida en [tk k , tk + k ], con k = / maxxB(x(tk ),) kf (x)k. Definir
S
= kN B(x(tk ), ), comprobar que es acotado, que U , y que

0 < := k .
maxx kf (x)k
Concluir que las yk estn definidas en intervalos de longitud por lo menos 2, que x(t) = yk (t) para t
[tk , tk + ] Ix0 , y llegar a contradecir la maximalidad de x.

10. Corolario. Con la notacin del teorema anterior, si + < + entonces todo z Rn
obtenido como un lmite z = lmn x(tn ) con lmn tn = + es necesariamente un punto de
U .

11. Corolario. Si + < +, entonces la solucin maximal x de () debe salirse (cuando

t + ) de cualquier compacto K U .

12. Corolario. Supongamos U = Rn . Si x(t) es solucin maximal acotada de () entonces

Ix0 = R.

13. Proposicin. Supongamos U = Rn y que para todo T > 0 existen constantes A, B tales
que
kf (x)k A + Bkxk
para todo x Rn . Entonces todas las soluciones maximales de x0 (t) = f (x(t)) estn definidas
en todo R.
Indicacin: usar la desigualdad de Gronwall y los resultados anteriores.

14. Teorema (desigualdad de Gronwall, versin 3). Sea g(t) una funcin definida en R,
localmente Lipschitz, y sea (t) la nica solucin (que suponemos definida en [t0 , t1 ]) del p.v.i.

0 (t) = g((t))
(t0 ) = 0 .

Supongamos que x : [t0 , t1 ] Rn satisface

kx0 (t)k g(kx(t)k), kx(t0 )k 0 .

Entonces se tiene
kx(t)k (t)
para todo t [t0 , t1 ].

Indicacin: considerar (t) = kx(t)k, ver que 0 (t)/g((t)) 1 = 0 (t)/g((t)), y aplicar las tcnicas de la hoja
1.

15. Corolario. Si kf (x)k g(kxk) y las soluciones de la ecuacin diferencial 0 = g() estn
definidas en todo R, entonces las soluciones de x0 = f (x) tambin estn definidas en todo R.

16. Proposicin. Las trayectorias {(t, xi ) : t Ixi } de dos soluciones maximales (t, x1 ), (t, x2 )
de x0 = f (x) o bien coinciden, o bien son disjuntas.