TEOREMAS DE EXISTENCIA Y UNICIDAD DE SOLUCION PARA PROBLEMAS DE VALOR INICIAL (PVI).

Los teoremas de existencia y unicidad de soluci on tienen gran importancia en el estudio de las ED. Muchas ED son dif ciles de resolver y por ello es importante asegurarse de la existencia de soluci on antes de intentar resolverlas. Por otra parte el tema tiene inter es para las aplicaciones: si el PVI representa un modelo matem atico determinista de una situaci on f sica, esperamos que exista soluci on. Adem as la soluci on debe ser u nica pues si se repite el experimento en las mismas condiciones, cabe esperar los mismos resultados.

Presentamos a continuaci on el Teorema de Picard-Lindel of de existencia y unicidad de soluci on para PVI. La demostraci on que indicaremos est a basada en el teorema del punto jo para aplicaciones contractivas y se debe a Bielecki (v ease [1]). Puede tambi en consultarse en ([2]), donde aparecen otras dos demostraciones alternativas. Teorema de Picard-Lindel of Sea f : I0 Rn Rn un campo de vectores tal que f C (I0 Rn ) y f Lip(I0 Rn , X ), entonces el PVI X (t) = f (t, X (t)), con X (t0 ) = X0 , siendo t0 I0 tiene soluci on u nica. Demostraci on Recordamos que f se dice lipchiciana con respecto a la segunda variable (f Lip(I0 Rn , X )) si L R tal que f (t, X1 ) f (t, X2 ) L X1 X2 , t I0 , X1 , X2 Rn .

Sup ongase a lo largo de la demostraci on que I0 = [t0 , t0 + T ] con T > 0. As I0 es compacto y se considera el espacio vectorial de las funciones continuas de I0 en Rn , C (I0 , Rn ), en el que se dene la norma siguiente
B

(llamada norma de Bielecki): f

B=

Si f C (I0 , Rn ) se dene siendo K una constante ja, K > L.

sup
t[t0 ,t0 +T ]

eK (tt0 )

f (t) ,

Dicha norma es equivalente a la norma del supremo o uniforme y por lo tanto se verica que el espacio normado (C (I0 , Rn ),
B)

es completo.
1

TEOREMA DE PICARD

Teniendo en cuenta la caracterizaci on de las soluciones de los PVI como soluciones de ecuaciones integrales, se construye la aplicaci on auxiliar siguiente: : C (I0 , Rn ) C (I0 , Rn ) () : I0 Rn denida mediante
t

()(t) = X0 +
t0

f (s, (s))ds, t I0 .

Veamos que es contractiva, esto es, veamos que una constante C, 0 < C < 1 tal que Teniendo en cuenta la denici on de la () ( )
B= B

() ( )

B,

, C (I0 , Rn ).

sup
t[t0 ,t0 +T ]

eK (tt0 )

(() ( ))(t)

Ahora bien, dado que f Lip(I0 Rn , X ) eK (tt0 ) eK (tt0 )

t t0 t t0 t

(() ( ))(t) = eK (tt0 ) f (s, (s)) f (s, (s))

[f (s, (s)) f (s, (s))]ds

t0 t

ds eK (tt0 )
t

L
t0

(s) (s) (s) (s)

ds = ds .

t0

eK (tt0 ) L

(s) (s)

ds =
t0 t

LeK (ts) eK (st0 )

LeK (ts)

ds = L

B t0

eK (ts) ds = L

1 eK (tt0 ) K

Calculando el supremo cuando t I0 , () ( )

B

L K

B<

Aplicando el Teorema del punto jo se sigue que tiene un punto jo que es u nico, esto es, una u nica C (I0 , Rn ) tal que = () o equivalentemente
t

una u nica : I0 Rn continua y tal que (t) = X0 +

t0

f (s, (s))ds, t I0 .

TEOREMA DE PICARD

Por lo tanto hemos probado que el PVI tiene soluci on u nica. A continuaci on se indica c omo probar que el resultado tambi en es v alido cuando I0 no es compacto. Se deben considerar las dos situaciones siguientes I0 = [t0 , t0 + T ) con T > 0 o I0 = [t0 , ). Como el razonamiento es an alogo en ambos casos, supondremos que I0 = [t0 , t0 + T ) con T > 0. Para denir una soluci on global se procede como sigue. Si t [t0 , t0 + T ), es claro que existe alg un compacto [t0 , tn ] tal que t [t0 , tn ] [t0 , t0 + T ). Como en compactos hay soluci on u nica, entonces en [t0 , tn ] hay soluci on u nica n . Por la unicidad de soluci on en cualquier otro compacto que contenga a t, denimos (t) = n (t).

Nota Para la aplicaci on del teorema anterior puede ser u til conocer la siguiente forma de caracterizar las aplicaciones lipchicianas con respecto a la segunda variable. Una condici on suciente se recoge en la siguiente:

Proposici on. Sea f : I0 Rn Rn (t, X ) f (t, X ). Si existen las derivadas parciales de f con respecto a la segunda variable X ( 1, , n) y son continuas y acotadas en I0 Rn , entonces f Lip(I0 Rn , X ). (La demostraci on puede consultarse en [3]). Hasta ahora hemos supuesto que f : I0 Rn Rn es sucientemente buena en todo su dominio de denici on. Sin embargo, en muchas situaciones nos encontraremos con que f no est a denida en todo I0 Rn o, si lo est a, no es tan buena como se ha supuesto en el resultado anterior. Por ello damos a continuaci on una versi on local del Teorema de Picard. Proposici on Si f : [t0 h, t0 + h] B [X0 , r] Rn es continua y f satisface la condici on de Lipschitz siguiente: L R tal que f (t, X1 ) f (t, X2 ) L X1 X2 , t [t0 h, t0 + h], X1 , X2 B [X0 , r],
fi xj

i = 1, , n; j =

TEOREMA DE PICARD

entonces el PVI X (t) = f (t, X (t)), con X (t0 ) = X0 tiene una soluci on denida en un intervalo I tal que t0 I , que es u nica. (La unicidad debe entenderse en el sentido siguiente: Si es otra soluci on local del PVI entonces los valores de coinciden con los de en I .) La demostraci on puede consultarse en ([3]).

Nota Al igual que en la aplicaci on de la versi on global, tiene inter es para la aplicaci on de la versi on local conocer la siguiente forma de caracterizar aplicaciones lipchicianas con respecto a la segunda variable.

Proposici on Si f : [t0 h, t0 + h] B [X0 , r] Rn admite derivadas parciales continuas con respecto a la segunda variable (
fi xj

i = 1, , n; j = 1, , n) en [t0 h, t0 + h] B [X0 , r], entonces f Lip([t0 h, t0 +

h] B [X0 , r], X ). (La demostraci on puede verse en [3]). References

[1] Bielecki, A. ,Une remarque sur la m ethode de Banach-Cacciopoli-Tikhonov dans la th eorie des equations dierentielles ordinaires, Bull. Acad. Polon. Sci., Cl. III, 4 (1956), 261-264. [2] [3] Guzm an, M. de, Ecuaciones Diferenciales ordinarias, Alhambra Universidad, 1987. Novo, S., Obaya, R. Rojo, J., Ecuaciones y sistemas diferenciales, Mc Graw-Hill, 1995.