You are on page 1of 4

Ecuaciones Diferenciales Ordinarias

Primer Cuatrimestre - 2014

Prctica 2: Existencia y Unicidad de Soluciones

1. Ecuacin de Volterra. Sean I, J dos intervalos alrededor de t0 y sea U un


entorno de x0 , y consideremos la siguiente ecuacin integral - llamada la ecuacin
de Volterra- Z t
x(t) = x0 + f (t, s, x(s)) ds, (1)
t0
donde f es una funcin continua denida de I J U en R.
a) Probar que si f es una funcin localmente Lipschitz en la tercer variable, la
ecuacin integral (1) admite solucin nica.
b ) Vericar que si x : I U es continua y ft continua entonces x C 1(I, U ).
2. Sean u, v y w funciones continuas y positivas en el intervalo [a, b] y
Z t
u(t) w(t) + u(s)v(s) ds, t [a, b].
a

Probar que:
a) Z t Rt
v( ) d
u(t) w(t) + w(s)v(s)e s ds t [a, b].
a

b) Si w 0 entonces u 0.
c) Si w es una funcin creciente en [a, b] entonces
Rt
v(s) ds
u(t) w(t)e a t [a, b].

d) Si w(t) = c0 + c1 (t a) y v(t) = c2 donde c0 , c1 y c2 son constantes no


negativas, entonces
 
c1 c2 |ta| c1
u(t) c0 + e .
c2 c2

Existencia

3. Sean t0 , a R con a > 0 y f (t, x) una funcin continua tal que


|f (t, x)| c1 + c2 |x|
para todo (t, x) T = {(t, x) : |t t0 | a, x Rn } donde c1 , c2 0 son
constantes y 0 < < 1. Mostrar que el problema de valores iniciales
(
x0 = f (t, x)
(2)
x(t0 ) = x0 ,

1
Ecuaciones Diferenciales Ordinarias- Primer cuatrimestre de 2014 Prctica 2

tiene al menos una solucin en el intervalo |t t0 | a.

Unicidad

4. Sean a, b > 0, t0 ,x0 Rn y f (t, x) una funcin continua que satisface la condicin
de Lipschitz generalizada

|f (t, x1 ) f (t, x2 )| L(t)|x1 x2 |

para todo (t, x1 ), (t, x2 ) en Q = {(t, x) : |t R t0 | a y |x x0 | b}, donde L(t)


es una funcin positiva tal que la integral tt00a +a
L(s) ds existe. Mostrar que el
problema de valores iniciales (2) tiene a lo sumo una solucin en |t t0 | a.
5. Teorema de Unicidad de Roger. Sea f (t, x) una funcin continua en la banda
T = [0, 1] R que satisface la condicin
 1 
f (t, x) = o e t t2

uniformemente para x , donde > 0 arbitrario. Adems, para todo


(t, x1 ), (t, x2 ) en T se tiene que
1
|f (t, x1 ) f (t, x2 )| |x1 x2 |.
t2
Mostrar que el problema de valores iniciales
(
x0 = f (t, x)
x(0) = 0,

tiene a lo sumo una solucin en [0, 1].

6. Intervalo Maximal.

7. a) Encontrar la solucin general de la siguiente ecuacin


2
x0 = .
t2 1

b) Gracar la solucin hallada en el tem anterior.


8. Encontrar la solucin general de la siguiente ecuacin
x2 1
x0 = .
2
Cul es el intervalo maximal de la solucin hallada? Hacer el grco de la solu-
cin y compararlo con el hecho en el ejercicio anterior.

2
Ecuaciones Diferenciales Ordinarias- Primer cuatrimestre de 2014 Prctica 2

9. Probar que el problema (


x0 = 1 + x2
x(0) = 0
tiene solucin en el intervalo maximal 2 , 2 .


10. Revisar la demostracin de la existencia de solucin de un problema de valores


iniciales de la forma (2) va Teorema del punto jo, y deducir que si la condicin
de Lipschitz es global entonces la solucin est denida para todo tiempo.
11. Sean x una solucin maximal de (2) con f continua y Lipschitz en la segunda
variable y (w , w+ ) el intervalo maximal asociado a x. Entonces, si existe un
compacto K tal que x(t) K para todo t (w , w+ ) resulta que x est denida
globalmente.
12. Sean f, g : R R continuas y f Lipschitz. Probar que el sistema
(
x0 = f (x), x(0) = x0 ,
y 0 = g(x)y, y(0) = y0 ,
tiene solucin nica en cualquier intervalo donde est denida. Se puede quitar
la hiptesis de que f sea Lipschitz?

Sistemas Autnomos

13. Sea f : R R una funcin globalmente Lipschitz. Demostrar que si x es una


solucin para la ecuacin x0 = f (x) tal que existe R de manera que x(0) =
x( ) entonces x es periodica.
14. Sea f : R R localmente Lipschitz. Probar que el intervalo maximal de existen-
cia de (
x0 = f (x)
x(0) = x0 > 0
es nito si y slo si Z
1
ds < .
f (s)
15. Sean U Rn abierto, f : U Rn localmete Lipschitz y x una solucin de
la ecuacin x0 = f (x) con intervalo maximal (w , w+ ). Probar que si existe el
lmtw+ x(t) = L < entonces L U o f (L) = 0.
16. Sea f : R R una funcin continua localmente Lipschitz para la cual eiste a < b
tales que f (a) = f (b) = 0 y f (t) 6= 0 para todo t (a, b).
a) Demostrar que si x(t) es la solucin del problemas de valores iniciales
(
x0 = f (x)
x(0) (a, b).
entonces x(t) (a, b) para todo t (w , w+ ). En esta situacin diremos que
el conjunto (a, b) es invariante por el ujo.

3
Ecuaciones Diferenciales Ordinarias- Primer cuatrimestre de 2014 Prctica 2

b) Mostrar que las soluciones que comienza en [a, b] estn denidas global-
mente.
17. Sea I un intervalo nito alrededor de t0 R y K un entorno compacto de
x0 RN . Sean, adems, fn : I K RN una sucesin de funciones continuas
que satisfacen la condicin de Lipschitz en la segunda variable con constante
Ln respectivamente y tal que fn f . Consideremos, nalmente, las sucesiones
tn t0 y xn x0 y la sucesin xn : I K de soluciones del problema de valores
iniciales dado por (
u0 = fn (t, u)
u(tn ) = xn .
Demostrar que si f no es localmente Lipschitz pero es acotada entonces existe
una subsucesin xnk x tal que el lmite x satisface la ecuacin integral.

You might also like