Semana 1

CAPITULO I: ECUACIONES DIFERENCIALES DE PRIMER ORDEN

1. PRELIMINARES
n
Sea E = espacio vectorial normado con alguna de las siguientes normas,

 n
1.  xi2
 i 1

Si x  ( x1 , x2 , x3 ........, xn )  n
 x  2. máx xi
 n
3.  xi

 i 1

Consideremos el espacio vectorial  con la norma:


“ . ” :   tal que

 t, x    t, x  
 max t , x 
Sea  sub espacio de  y f:    una función continua

Sea   un intervalo no de generado de la recta (es decir el intervalo  no se reduce

a un punto)

Consideremos la ecuación diferencial de primer orden:

x´ f  t, x ,  t , x    ………………..(1)

Definición: Una solución de la ecuación (1) es una función

 :   tal que :

i)  es diferenciable en 
  
ii) t ,  t   , t   (significa: el gráfico de  está contenido en 

 
iii) ´ t   f t ,  t  , t 

Sea fi :   , i  1,2......., n las componentes de f

es decir f   f1, f2 ,........, fn  ,   1, 2 ,...... n  con

i :   , es solución de (1) si y solo si

- cada  i es diferenciable en I

- t, t , t ,............. t ,  ,

1 2 n t 

1´ t   f1  t ,1  t  ,......, n  t  


.
- 
.
 ´ t   f  t ,  t  ,......,  t   t 
 n 1 1 n

En resume la ecuación vectorial (1) se puede escribir como un sistema de ecuaciones

diferenciales escolares.

 x1  f1  t , x1, x2 ,....xn 


 x2  f2  t , x1, x2 ,....xn 

.
 x   f  t , x , x ,....x 
 n n 1 2 n

ó más brevemente como:

xi  fi  t, x1,....xn , con i  1,2..., n

2. EL PROBLEMA DE CAUCHY
Un problema de valor inicial:
x ´ f t , x  ,
 t , x   
 ………………….(2)
x t 0   x 0


Es llamado problema de Cauchy, relacionado con este problema existen tres

situaciones:

(1°) La existencia de solución

(2°) Unidad local de soluciones

esto es: si 1 : 1   y 2 :  2   son soluciones del problema de Cauchy (2),

entonces 1   2 en 1  2

(3°) Dependencia de soluciones con respecto a las condiciones iniciales y paramétricas

Geométricamente

 (t",x”)

x´)
(t´,
x)
x (t , (t",x”)


t

La Ecuación (1) y la Ecuación (2) admite la interpretación geométrica siguiente:

La función f define un campo de dirección es en  , es decir: asociada a cada punto (t,

x), la recta t, x  :   x  f t, x   t  cuya pendiente es f (t, x) que pasa por (t, x).

Lema 1

Sea  :     continua, entonces  es la solución del problema de Cauchy (2) si

y solo si  satisface la ecuación integral

  t   x0   f  ,    d …………….(3)
t

t0

Demostración

Condición necesaria:

Sea x´ f  t, x  , x  t0   x0

como  es solución de (2), entonces se tiene ´ t   f t,  t    y   t0   x0

integrando entre t0 y t

 '   d   f  ,    d
t t
t0 t0

    t   f  ,    d
t t

o t0

 t    t0    f  ,   d
t

t0

 t   x 0   f  ,   d
t

t0

Condición suficiente

Como el integrando en (3) es continuo puesto que  y f lo son aplicamos el teorema

fundamental del cálculo, para obtener.

´ t   f  t,  t   t   , además

  t0   x0   f  ,    d
t0

t0

Así   t0   x0

 es solución del problema de Cauchy

Definiciones:

Sea f :    , X espacio métrico

1. Un punto p   se llama punto fijo para f si f(p) = p

2. El punto p es un atractor para f si lim f n  x   p ,  x  

n 

Lema 2 (de contracción) Sea (X, d) un espacio métrico completo, f :    una


aplicación de contracción; esto es; 0  k  1 tal que d F  x  , F  y   kd  x, y  
entonces existen un único punto fijo p  X para F, además p es atractor para

F.  
F n  x  : F F n 1  x  
 

Prueba de Existencia

Sea x   y sea xn  F  x  , x1  F  x 
n

Probaremos que  xn  es una sucesión de Cauchy

 
Usaremos la siguiente afirmación: d F n  x  , F n  y   K nd  x, y  , x  

¡Probar por inducción!

Para y = xr se tiene:

   
d  xn , xn  r   d F n  x  , F n  r  x   d F n  x  , F n F   x  
 d  F n  x  , F n  xr    k nd  x0 , xr  ……………….(*1)

Por otro lado, usaremos la desigualdad triangular generalizada.

d  x, xr   d  x, x1   d  x1, x2   d  x2, x3   .......  d  xr 1, xr 

  
 d  x, x1   d  F  x   , F  F  x    d F 2  x  , F 2 F  x    ....  d F r 1  x  ,F r 1 F  x   

 d  x, x1   d  F  x  , F  x1    d F 2  x  ,F 2  x1    ....  d F r 1  x  , F r 1  x1  

 d  x, x1   k d  x, x1   k 2d  x, x1   ........  k r 1d  x, x1 

 1  k  k 2  ......  k r 1  d  x, x1 

1
d  x , xr   d  x , x1  ………………..(*2)
1k

Comentario

sn 

a1 1  r n  , a1 = 1 er termino
1 r

r = razón
0
1  k r 1 1 k r 1 1
sr  , lim Sr  lim  lim 
1 k r  r  1  k r  1  k 1 k
remplazando (*2) en (*1) se tiene

Kn
d  xn , xn  r   d  x, x1  , tomando límite cuando n  
1 k

kn
lim d  xn , xn r   lim d  x, x1   0
n  k  1 k

lim d  xn , xn r   0
n 

[(Teor: si k  0.1  lim k n  0 ), usando en paso anterior]

n 

así  xn  es una sucesión de cauchy

Como  es completo y  xn  es sucesión de Cauchy,  p   tal que lim xn  p

n 

-Ahora probaremos que p es un punto fijo. En efecto

 n 

F  p   F lim xn  lim F  xn 
n 
(pues: si F es función de contracción entonces F es

continuo)

 
 lim F F n  x   lim F n 1  x 
x 

 lim xn 1  p
n 

Esto prueba la existencia de un único punto fijo p  

Probaremos que p es único

Unidades de p  

Sea p y p1 dos puntos fijos de  tq F(p) = p y F(p1 )= p1

 
d(p, p1) = d F  p  , F  p1   k d  p, p1  (por ser F contracción)
  d  p, p1  
0  d  p, p1   kd  p, p1  , puesto K  1  0   K    
 d  p, p1  


K  1 d  p, p1   0 luego d  p, p1   0  p  p1

COROLARIO: Sea (  ,d) un espacio métrico completo, si F :    es continua y

para algún m, Fm es una aplicación de contracción, entonces existe un único punto fijo
p   para F, además posee un atractor para F.

DEMOSTRACIÓN

Por lema de contracción, p   es el único punto fijo atractor de Fm sea n = mk + ,


0   m , para algún n  (algoritmo de la división) fijemos x   , probaremos

que p es atractor de F (ie lim F  x   p ) notemos que

n
n 
F  x  / 0   m es un

conjunto finito, como p es atractor de Fm tenemos que:

F n  x   F mk   x   F m  F  x 
k

F  x   p cuando k   (por ser p atractor de F

k
pero F m  m
)

Así lim F    x   p , esto es, p es atractor para F

n
n 

- Ahora probaremos que P es punto fijo de F

   
F  p   F lim F n  x   lim F F n  x   lim F n 1  x   lim xn 1  p
n 

 p es el único punto fijo de F