P. 1
Analisis Matematico

Analisis Matematico

|Views: 9.468|Likes:
Publicado porfany00
Analisis Matematico. Calculo. Metricas Introduccion a Topologia
Analisis Matematico. Calculo. Metricas Introduccion a Topologia

More info:

Published by: fany00 on Mar 30, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

05/25/2015

pdf

text

original

Sea (a;b) un intervalo, posiblemente in…nito, sea un subconjunto abierto de Rn

y

sea : (a;b) ! Rn

una función continua. Conviene pensar a como una familia

de campos vectoriales t

: ! Rn

que varían continuamente con el tiempo. Dado un
tiempo inicial t0 2 (a;b) y una posición inicial x0 2 ; buscamos una trayectoria x(t)
en tal que x(t0) = x0 cuya velocidad x0(t) en el tiempo t sea precisamente t

(x(t)):

Más precisamente, buscamos una función continuamente diferenciable x : J ! ;
de…nida en un intervalo J (abierto, semiabierto, cerrado, …nito o in…nito) tal que t0 2
J
(a;b); con las siguientes propiedades:

x0(t) = (t;x(t)) 8t 2 J y x(t0) = x0:

4.3. EL PROBLEMA DE CAUCHY

61

Se dice entonces que x es una solución al problema de Cauchy

(}) x0 = (t;x)
x(t0) = x0

El punto (t0;x0) se llama la condición inicial del problema (}):
Empezaremos mostrando que este problema se puede transformar en una ecuación
integral. Denotamos por

Z b

a f(t)dt := Z b

a f1(t)dt;:::;Z b

a fn(t)dt 2Rn

al vector cuyas componentes son las integrales de las componentes de una función
continua f = (f1;:::;fn) : [a;b] !Rn
:

Lema 4.13 Son equivalentes las siguientes a…rmaciones:
(a) Existe una solución x
: [t0 ;t0 + ] ! del problema de Cauchy (}):
(b) Existe una función continua x
: [t0 ;t0 + ] ! que satisface

x(t) =Z t
t
0

(s;x(s))ds + x0 8t 2 [t0 ;t0 + ]:

Demostración: Esto es consecuencia inmediata de los teoremas fundamentales del
Cálculo aplicados a cada componente. En efecto, si x = (x1;:::;xn) y = ( 1;:::; n);
entonces se cumple que xi es continua y satisface

xi(t) =Z t
t
0

i(s;x(s))ds + x0;i;

si y sólo si xi es continuamente diferenciable y satisface

x0i(t) = i(t;x(t)); xi(t) = x0;i;

para cada i = 1;:::;n:

Este lema asegura que las soluciones al problema de Cauchy (}) en un intervalo
[t0 ;t0 + ] son justamente las funciones x 2 C0

([t0 ;t0 + ]; ) que satisfacen la

ecuación integral

(}0) x(t) =Z t
t
0

(s;x(s))ds + x0 8t 2 [t0 ;t0 + ]:

62

4. TEOREMAS DE EXISTENCIA

Queremos expresar esta ecuación integral como un problema de punto …jo. Nota que el
espacio C0

([t0 ;t0 + ]; ) no es completo, ya que es abierto enRn

: Tendremos que
considerar un espacio más pequeño. Vamos a requerir una condición adicional sobre el
campo que enunciaremos a continuación: Dados (t0;x0) 2R Rn

y 0 > 0; denotamos

por

Z 0(t0;x0) := f(t;x) :R Rn

: jt t0j 0; kx x0k 0g:

De…nición 4.14 El campo : (a;b) ! Rn

es localmente Lipschitz en x si,
para cada
(t0;x0) 2 (a;b) existen 0 > 0 y C > 0 (que dependen de t0 y x0) tales
que Z
0(t0;x0) (a;b) y

k (t;x1) (t;x2)k Ckx1 x2k 8(t;x1);(t;x2) 2 Z 0(t0;x0): (4.7)
Supondremos de aquí en adelante que : (a;b) ! Rn

es localmente Lipschitz
en x: Para la condición inicial (t0;x0) del problema (}) escojamos 0 > 0 y C > 0 tales
que Z 0(t0;x0) (a;b) y tales que se cumple (4.7). Como Z 0(t0;x0) es compacto
y es continua, se tiene que es acotada en Z 0(t0;x0): Fijemos M tal que

k (t;x)k M 8(t;x) 2 Z 0(t0;x0):

(4.8)

Sea 0 < < m nf1

C; 0; 0

Mg: Denotemos por x0 : [t0 ;t0 + ] ! a la función

constante con valor x0 y consideremos la bola cerrada

X := fx 2 C0

([t0 ;t0 + ];Rn

) : kx x0k1 Mg

con centro en x0 y radio M en C0

([t0 ;t0 + ];Rn

): Como C0

([t0 ;t0 + ];Rn

) es
un espacio de Banach (Proposición 3.22) y X es cerrado en tal espacio, se tiene que X
es un espacio métrico completo (Proposición 3.15). Nota que

X C0

([t0 ;t0 + ]; ):

En efecto, si x 2 X; entonces

kx(t) x0k M < 0 8t 2 [t0 ;t0 + ]

y, por consiguiente,

(t;x(t)) 2 Z 0(t0;x0) (a;b) 8t 2 [t0 ;t0 + ]:

(4.9)

En particular, x(t) 2 para toda t 2 [t0 ;t0 + ]:
Empezaremos demostrando que toda solución x 2 C0

([t0 ;t0+ ]; ) del problema

(}0) pertenece a X: Para ello requerimos el siguiente lema técnico.

4.3. EL PROBLEMA DE CAUCHY

63

Lema 4.15 Para toda función continua f : [a;b] !Rn

se cumple que

Z b

a f(t)dt

jb ajkfk1:

Demostración: Aplicando la Proposición 1.25 a cada componente obtenemos


Z b

a fi(t)dt

Z b

a jfi(t)jdt jb aj1=2 Z b

a jfi(t)j2

dt 1=2

; i = 1;:::;n:

En consecuencia,

Z b

a f(t)dt

=

Z b

a f1(t)dt

2

+ +


Z b

a fn(t)dt


2!1=2

jb aj Z b

a jf1(t)j2

dt+ +Z b

a jfn(t)j2

dt 1=2

= jb ajZ b

a kf(t)k2

dt 1=2

jb ajkfk1;

como a…rma el enunciado.

Lema 4.16 Si x 2 C0

([t0 ;t0 + ]; ) es solución del problema (}0); entonces x 2 X:

Demostración: Argumentando por contradicción, supongamos que x 2 C0

([t0
;t
0 + ]; ) es una solución del problema (}0) que no está en X: Entonces existe
t1 2 [t0 ;t0 + ] tal que kx(t1) x0k > M: Como x(t0) = x0 y M < 0; podemos
escoger a t1 de modo que cumpla además que

kx(s) x0k 0 8js t0j jt1 t0j =: 1:
Entonces, usando el Lema 4.15 y la de…nición de M (4.8), obtenemos que

M < kx(t1) x0k =

Z t1
t0

(s;x(s))ds

jt1 t0j sup

js t0j 1

k (s;x(s))k M:

Esto es una contradicción. En consecuencia, toda solución x 2 C0

([t0 ;t0 + ]; ) del

problema (}0) pertenece a X:

64

4. TEOREMAS DE EXISTENCIA

Vamos ahora a de…nir una función : X ! X cuyos puntos …jos son soluciones de
(}0): Para cada x 2 X consideremos la función

bx : [t0 ;t0 + ] !Rn

; bx(t) =Z t
t
0

(s;x(s))ds + x0:

Claramente bx es continua (de hecho, el teorema fundamental del Cálculo asegura que
es continuamente diferenciable). Probaremos que bx 2 X (Lema 4.17). En consecuencia,
la función

: X ! X; (x) := bx;
está bien de…nida. Nota que x 2 X es un punto …jo de si y sólo si

x(t) = (x)(t) =Z t
t
0

(s;x(s))ds + x0 8t 2 [t0 ;t0 + ];

es decir, los puntos …jos de son justamente las soluciones del problema (}0) en el
intervalo [t0 ;t0 + ] las cuales, por el Lema 4.13, son justamente las soluciones del
problema (}) en el intervalo [t0 ;t0 + ]: Probaremos que es una contracción. En
consecuencia, el teorema de punto …jo de Banach asegura que el problema (}) tiene una
única solución en el intervalo [t0 ;t0 + ] (Teorema 4.18).

Lema 4.17 Para cada x 2 X la función

bx : [t0 ;t0 + ] !Rn

; bx(t) =Z t
t
0

(s;x(s))ds + x0

pertenece a X:

Demostración: Sea x 2 X: La desigualdad (4.9) asegura que

(s;x(s)) 2 Z 0(t0;x0) 8js t0j .

Por tanto, usando el Lema 4.15 y la de…nición de M (4.8), obtenemos que

kbx(t) x0k =

Z t
t
0

(s;x(s))ds

jt t0j sup

js t0j k (s;x(s))k M.
para toda t 2 [t0 ;t0 + ]; es decir, kbx x0k1 M: Esto demuestra que bx 2 X.

Estamos listos para probar la existencia local de soluciones para el problema de
Cauchy. El siguiente resultado tiene muchas aplicaciones importantes. Su demostración
se basa en el teorema de punto …jo de Banach.

4.4. EJERCICIOS

65

Teorema 4.18 (Picard) Sea : (a;b) ! Rn

una función continua y localmente
Lipschitz en x: Entonces, para cada t
0 2 (a;b) y cada x0 2 ; existe > 0 tal que el
problema de Cauchy
(}) tiene una única solución en el intervalo [x0 ;x0 + ]:

Demostración: Consideremos la función

: X ! X; (x) := bx:

El lema anterior asegura que esta función está bien de…nida. Veamos que es una con-
tracción. Sean x1;x2 2 X: La desigualdad (4.9) asegura que

(s;xi(s)) 2 Z 0(t0;x0) 8js t0j , i = 1;2:

Como satisface (4.7) obtenemos que, para toda t 2 [t0 ;t0 + ]; se cumple que

k (x1)(t) (x2)(t)k =

Z t
t
0

( (s;x1(s)) (s;x2(s)))ds

jt t0j sup

js t0j k (s;x1(s)) (s;x2(s))k

jt t0j sup

js t0j Ckx1(s) x2(s)k

Ckx1 x2k1;

Por consiguiente,

k (x1) (x2)k1 Ckx1 x2k1
y, como hemos elegido tal que C < 1; se tiene que es una contracción. El Teorema
4.3 asegura entonces que tiene un único punto …jo, es decir, que existe una única
x 2 X tal que

x (t) = (x )(t) =Z t
t
0

(s;x (s))ds + x0 8t 2 [t0 ;t0 + ]:

Del Lema 4.13 se sigue que x es la única solución del problema de Cauchy (}) en el
intervalo [x0 ;x0 + ]:

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->