UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Universidad Decana de Amrica

FACULTAD DE CIENCIAS MATEMTICAS

1ra Prctica Calificada de Teora de Estabilidad de Ecuaciones Diferenciales Ordinarias

Profesor: Jorge Crisstomo Duracin: 2 hrs.

Alumno: Lazo Macedo, Oscar Cdigo:10140008

1. Enuncie y demuestre el teorema de Picard.

Teorema (Peano). Si X Lip(Br [x0 ], Rn ), entonces para cualquier t0 R existe una nica solu-
cin del PVI
 x0

 = X(x)
 x(t0 ) = x0
r
definida en el intervalo I [T0 ] = [t0 , t0 + ], donde = y N max {|X(x); x Br [x0 ]}.
N
Demostracin: Sabemos que resolver el PVI del enunciado es equivalente a resolver la ecuacin
integral
Z t
x(t) = x0 + X(x(s))ds
t0
Bajo las definiciones de , y N dadas en la hiptesis, consideremos el conjunto M = C(I [t0 ], Br [x0 ])
con la mtrica del mximo, es decir:

d: M M R
(, ) 7 d(, ) = max {|(t) (t)|; t I [t0 ]}

Sabemos que (M, d) es un espacio mtrico completo.

Dado M , definimos el camino

F : I [t0 ] Rn
Z t
t 7 F (t) = x0 + X(x(s))ds
t0

Claramente F es un camino continuo; adems:

Z t  Z t
 
|F (t) x0 | =  X((s))ds |X((s))| ds
t0 t0
N |t t0 N < r , t I [t0 ]

es decir, F (t) Br [x0 ], t I [t0 ]. Concluimos que

F M = CC(I [t0 ], Br [x0 ]) , M

De esta manera, podemos definir la funcin

F : M M
7 F () = F

1
 Vamos a probar que F es continua y existe un m Z+ tal que F m es una contraccin.
Para ello, es suficiente demostrar que para cualquier t I [t0 ] y cualquier par de funciones
1 , 2 M se cumple que

Lip(X)n |t t0 |n
|F n (1 )(t) F n (2 )(t)| d(1 , 2 ); n 0
n!
En efecto, suponiendo que la desigualdad anterior se cumple, entonces

Lip(X)n n
max {|F n (1 )(t) F n (2 )(t)|; t I [t0 ]} d(1 , 2 )
n!
es decir
Lip(X)n n
d(F n (1 ), F n (2 )) d(1 , 2 ); n 0
n!
Haciendo n = 1:
d(F (1 ), F (2 )) Lip(X)d(1 , 2 ), 1 , 2 M
es decir, F : M M es Lipschitz. Se sigue que F es continua.
(Lip(X))n
Por otro lado, sabemos que lm = 0. Luego, existe un n0 Z+ tal que
n n!

(Lip(X))n0
<1
n0 !
. Haciendo n = n0 en la ltima desigualdad que vimos, se deduce que F n0 es una contraccin.
Por una consecuencia del Teorema del Punto Fo, existe un nico 0 M tal que F (0 ) = 0 .
Luego:
Z t
0 (t) = F (0 ) = x0 + X(0 (s))ds
t0

As, 0 : I [t0 ] Br [x0 ] es solucin de la ecuacin integral del enunciado.

Probemos ahora la unicidad. Sea : I [t0 ] Br [x0 ] otra solucin de la ecuacin integral,
para t I [t0 ] se cumple
Z t Z t
|(t) (t)| |X((s)) X((s))|ds K Lip(X) |(t) (t)|ds
t0 t0

Por Gronwall, concluimos que = ; es decir, solo existe una nica solucin.

2. Estudie los intervalos de maximalidad de la solucin de

 0
 x
 = x4
 x(t0 ) = x0

t0 = 1 , x0 = 1
Para t0 = 1 , x0 = 0 .
t0 = 1 , x0 = 1

2
 Solucin: Busquemos la solucin del PVI.

x0 = x4
dx
= x4
dt
4
Z x dx = dt
Z
4
x dx = dt
x5
= t+C
5

x5 = (t + C)5
x = (5t + 5C)1/5
Para hallar C , reemplacemos con x(t0 ) = x0 en la ecuacin que hemos obtenido, de lo cual
obtenemos que 5C = x50 5t0 . Reemplazando en la ecuacin, obtenemos:

1/5
x(t) = (5t + x50 5t0 )1/5 = 5(t t0 ) + x50

Vemos que la naturaleza de x(t) no impone restriccin alguna para construir su dominio.

Para t0 = 1, x0 = 1: I(t0 , x0 ) = R = I(1, 1)

Para t0 = 1, x0 = 0: I(t0 , x0 ) = R = I(1, 0)
Para t0 = 1, x0 = 1: I(t0 , x0 ) = R = I(1, 1)

3. Considere
x0 = A(t)x (1)
y sea t0 R/x(t0 ) = 0:

a) Sean x1 , x2 , . . . , xn soluciones de (1), entonces

x1 , x2 , . . . , xn son l.i. x1 (t0 ), x2 (t0 ), . . . , xn (t0 ) son l.i.

Solucin: Consideremos el PVI

x0 = A(t)x



 x(t0 ) = 0
() Si 1 x1 (t) + 2 x2 (t) + + n xn (t) = 0; t R, entonces i = 0; i = 1, . . . , n. Basta con
hacer t = t0 y reemplazarlo en la ecuacin anterior para obtener una combinacin lineal de los
valores xi (t0 ), i = 1, . . . , n. Luego (por la hiptesis y por definicin), concluimos que

x1 (t0 ), x2 (t0 ), . . . , xn (t0 ) son l.i.

() Tenemos que 1 x1 (t0 ) + + n xx (t0 ) = 0 1 = n = 0. Como x1 , x2 , . . . , xn son

soluciones del PVI; entonces 1 x1 (t), 2 x2 (t), . . . n xn (t) tambin son soluciones del PVI, t
R. Adems, la solucin trivial 0(t) = 0 es tambin solucin del PVI.
Entocnes, tenemos que 1 x1 (t) + 2 x2 (t) + + n xn (t) = 0; y como 1 = 2 = = n = 0:

x1 , x2 , . . . , xn son l.i.

3
 b) Si X(t) es la matriz solucin de (1), entonces

{det(X(t)) = 0; t R} o {det(X(t)) 6= 0; t R}

Solucin: Veamos lo siguiente:

Sea r R / det(X(r)) = 0, entonces existe un vector c no nulo tal que X(r) c = 0. Luego,
X(t) c es solucin del PVI planteado inicialmente (donde X(t) = 0 es tambin solucin).
Por unicidad de soluciones:
det(X(t)) = 0 t R
Sea r R / det(X(r)) 6= 0, entonces supongamos que R tal que det(X()) = 0.
Por lo trabajado en el item anterior, entonces debe cumplirse que det(X(t)) = 0; t R,
lo cual contradice nuestra ltima hiptesis. En consecuencia, no existe que cumpla tal
propiedad; es decir:
det(X(t)) 6= 0 t R

4. Disee el retrato de fases de las siguientes EDO:

 
5 1
a) X0 = X
1 5
 
5 1
Solucin: Hallemos los autovalores de A =
1 5

 det(I A) =0
 +5 1 
 =0
1 + 5 
( + 5)2 1 =0
+5 = 1
= 5 1

Luego, tenemos que

1 = 6 2 = 4
Como ambos autovalores son negativos, podemos afirmar que el punto (0, 0) es un atractor o
foco.

4
  
1 1
b) X0 = X
1 0
 
1 1
Solucin: Hallemos los autovalores de B =
1 0

 det(I B) =0
 + 1 1 
  =0
1 
( + 1) + 1 =0
2 + + 1 =0

Resolviendo la ecuacin de segundo grado, obtenemos que

1 i 3 1 i 3
1 = 2 = +
2 2 2 2
Como la parte real de los autovalores son negativos, entonces se forman espirales que tienden
al origen.

5. Sea f : R Rn Rn de clase C 1 tal que |f (t, x) h(t)|x|, (t, x) Rn+1 y h : R R+ continua.

Demuestre que toda solucin maximal de x0 = f (t, x) est definida en R.

Solucin: Sea (t) una solucin no continua de x0 = f (t, x) en [a, >, entonces:

0 (t) = f (t, (t))

Rt Rt
a 0 (s)ds= f (s, (s))ds a R
Rat
(t) (a) = a f (s, (s))ds
Rt
(t) = (a) + a f (s, (s))ds
Rt
|(t)| |(a)| + | a f (s, (s))ds|
Rt
|(t)| |(a)| + a |f (s, (s))|ds
Rt
|(t)| |(a)| + R a h(s)|(s)|ds
t
|(t)| |(a)| e a h(s)ds
|(t)|
psi(t) t [a, >

Como h es continua, entonces es continua y no es continua.

= +

5
Luego, (t) es solucin de x0 = f (t, x) en [a, + >], no continua. Adems, como esto se cumple
para todo a R; entonces (t) es solucin no continua de x0 = f (t, x)

(t) es solucin maximal sobre R

Sea una solucin continua de x0 = f (t, x), entonces admite una prolongacin no continua de
x0 = f (t, x); entonces se .extiende.a . De esa forma, hacemos el mismo proceso y creamos otra
solucin maximal sobre R.

Ciudad Universitaria, 20 de julio de 2017