Вы находитесь на странице: 1из 3

1

Ecuaciones Diferenciales Ordinarias


Existencia y Unicidad de Soluciones
Lema de la contracci
on:
corolario: Sea (X,d) un espacio metrico completo y F : X X es continua y para
alg
un m, F m es una contraccion. Entonces existe un u
nico punto fijo p, ademas p es
un atractor para F.
Demostracion:
F m es una contraccion, entonces por el lema de la contraccion, F m posee un punto fijo
p que ademas es atractor.
1. Probaremos que F posee un punto fijo.
F(p) = F ( lm xn )
n

lm F (xn )
n

lm F (F n (x))
n

lm F n+1 (x)
n

lm xn+1
n

lm xn
n

= p

2. Probaremos ahora que F posee un punto atractor es decir:


lm F n (x) = p , x X
n

consideremos n=mk + r ; r = 0, m, k Z+
lm F n (x) =
k

lm F mk+r (x)
k

lm (F m )k (F r (x))
k

lm (F m )k (y)
k

= p

Teorema de Picar
corolario: Sea abierto en RxE y sea f : E continua con D2 f tambien continua. Para todo punto (t0 , x0 ) en existe una vecindad V = I(t0 )xB(x0 ) tal que
x =f(t,x),x(t0 ) = x0 tiene una u
nica solucion en I(t0 ). Ademas de esto el grafico de
esta solucion esta contenido en V .

2
Demostracion
Sea U una vecindad de (t0 , x0 ) tal que f |U es lipschitziana y |f | M en U.Sea un
> 0 lo suficientemente peque
no para que dado
V = I (t0 )xBb (x0 ) U
donde b=M ahora por el argumento del teorema de picar se existe solucion u
nica lo
que demuestra el enunciado.

Dependencia de las Soluciones en Relaci


on a las
Condiciones Iniciales y Par
ametros
Lema: Sea {n } una sucesion equicontinua y uniformemente limitada de funciones
reales y continuas en un espacio metrico compacto. Supongamos que toda subsucesion
uniformemente convergente de esta sucesion tiene el mismo limite
Demostracion
supongamos por el absurdo que {n } no converge uniformemente para .
 > 0, n |n (tn ) n (tn )| ....(1)
para alguna sucesion {tn } en X.
Ahora como {n } es equicontinua y uniformemente limitada, entonces el teorema de
0
Arzela nos garantiza que {n } posee una subsucesion {n },la cual es uniformemente
convergente.
Ahora por hipotesis toda subsucesion de la sucesion {n } tiene como limite a entonces,
0
 > 0, n0 , n0 > n |n (tn ) (tn )| < 
lo que contradice (1).
Luego esto prueba el lema.

Teorema: Sea f continua en un conjunto abierto RxEx. Para cada (t0 , x0 , )


supongamos que el problema de datos iniciales con fijo.
x0 = f (t, x, ), x(t0 ) = x0
tiene una u
nica solucion = (t, t0 , x0 , ), definida en un intervalo maximo (w , w+ ), w (t0 , x0 , )
Entonces
D = {(t, t0 , x0 , ); (t0 , x0 , ) , t (w (t0 , x0 , ), w+ (t0 , x0 , ))}
es abierto en Rx y es continua en D.
Demostracion:
utilizando la proposicion anterior
Sea fn = f, n Z+ {0}

3
Sea f (t, x) = xn ,

xn = (tn )

Ahora utilizando el resultado de la proposicion anterior


(t, x0 ) ,  > 0 y sea [a, b] I(x0 , t0 )
donde I(x0 , t0 ) = w (t0 , x0 ); I(x0 , t0 ) [a, b]
n0 = n0 (a, b) talque n > n0 In [a, b]
Ahora n |[a,b] 0 |[a,b]
 > 0 , n0 tal que n > n0 = |(t, tn , xn ) (t, t0 , x0 )|

t [a, b]

ahora por la continuidad en t de


 > 0 > 0 tal que |t s| < = |(s, t0 , x0 ) (t, t0 , x0 )| < /2
Luego para demostrar la continuidad de sobre (a,b)x observar que
(s, tn , xn ) (t, t0 , x0 )| =

<
<

|(s, tn , xn ) (s, t0 , x0 ) + (s, t0 , x0 ) (t, t0 , x0 )|


|(s, tn , xn ) (s, t0 , x0 )| + |(s, t0 , x0 ) (t, t0 , x0 )|
/2 + /2


Luego es continua lo que demuestra el teorema.

Вам также может понравиться