Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Definici
on 1. Dada una funcion continua f definida del conjunto I en
R donde I es un intervalo abierto en R conteniendo t0 y un subconjunto
de R a la ecuacion
(1)
x = f (t, x(t))
; x(t0 ) = x0
(2)
Definici
on 2. Una solucion de [2] es una funcion de J I en R continuamente diferenciable donde J es un intervalo abierto en R contenido en I
y conteniendo t0 tal que para cada t J se cumple
I) (t) ,
(3)
(4)
en este caso una solucion del problema de valor inicial [4] es una funcion
continuamente diferenciable de J en R, J conteniendo t0 y contenido en I
tal que para todo t J se cumple
I) (t) ;
III) (t0 ) = x0
Definici
on 3. Una solucion de I en R de [2] o [4] se denomina maximal
si para cada solucion de J en R con J I se tiene coincide con en J
esto es = /J (la restriccion de a J) y si = /J entonces I = J, en otras
1
F (I) y tenemos (F 1 ) (y) =
F (x)
F 1 (y) F 1 (y0 )
x x0
) (y0 ) = lm
= lm
yy0
yy
y x0
0 F (x) F (x0 )
1
1
=
=
F (x) F (x0 )
F (x0 )
lm
xx0
x x0
como y0 era fijo pero arbitrario se tiene que para todo y F (I) con y =
1
F (x); x I se tiene (F 1 ) (y) =
F (x)
Definici
on 4. Decimos que un punto c de es un punto crtico, de reposo o
un punto de equilibrio [4] si f (c) = 0 y las soluciones constantes x(t) c para
todo t R se denominan soluciones de equilibrio de [4]. Si interpretamos
una ecuacion diferencial como la descripcion de un sistema dinamico, las
2
x = f (x) dt = fdx
cambiando t por s e integrando entre t0 y t con t I
(x)
tenemos
Z x
ds
t t0 =
x0 f (s)
Z x
ds
entonces la funcion F (x) =
esta bien definida es derivable y es una
x0 f (s)
1
1
por ser F (x) = f (x)
para todo x (x0 , x0 + )
antiderivada de f (x)
Por el lema de la funcion inversa existe F 1 la inversa de F definida en
un intervalo abierto conteniendo t0 definamos (t) = F 1 (t t0 ) con t en el
domino de F 1 un intervalo abierto de la forma (t0 + b1 , t0 + b2 ) = I para
ciertos b1 y b2 R, tenemos que es derivable porque F 1 < 0 es ademas
(t) = (F 1 (t t0 )) = (F 1) (t t0 )
1
1
= 1 = f ((t))
=
F ((t))
f ((t))
(t)
luego f((t))
= 1, para todo t V (t0 ) integrando entre t0 y t con t V (t0 ) y
haciendo s = (t) resulta
Z (t)
Z t
ds
(s)
ds =
F ((t)) (t) = F 1 (t t0 )
t t0 =
f (s)
x0
t0 f ((t))
1.1.
Definici
on 5. Decimos que una ecuacion es de variables separable si tiene la
y R(t) =
(s), ds con t I es una antiderivada de (t) por ser R (t) =
t0
x0
d
R(t) = F (x)
f ()
4
1
como F (x) = f (x)
6= 0 para todo x (x0 , x + ), por el lema de la funcion
1
inversa existe F la funcion inversa de F definida en el intervalo de la forma
(b1 , b2 ) con b1 , b2 R, note que F (x0 ) = 0, entonces existe un intervalo I
conteniendo t0 tal que t I implica
Z t
b1 <
(s) ds < b2
t0
definamos (t) = F
Z
(s) ds
t0
(t) =
Z
(s) ds
t0
!
= (F
Z
t0
d
(s) ds
dt
Z
t0
1
(t) = f ((t))(t) y
F ((t))
Z t0
1
(s) ds = F 1 (0) = F 1 (F (x0 )) = x0
(0) = F
=
(s) ds
t0
(t)
(t0 ) = x0 luego f((t))
= (t) integrando esta igualdad despues de cambiar
t por s entre t0 y t con t en dicha vecindad y haciendo s = (t) resulta
Z (t)
Z t
ds
(s)
ds =
(t0 ) f (s)
t0 f ((s))
Z t
Z t
1
() d
= F ((t)) =
() d (t) = F
t0
t0
= (t)
para todo t I I
Definici
on 6. Sea una solucion de [4] en el intervalo I con (t0 , x0 ) I .
Entonces la trayectoria u orbita de a traves de (t0 , x0 ) es el conjunto {(t) :
t I y (t0 ) = x0 } y al conjunto donde estudiamos el comportamiento de
las trayectorias de las soluciones maximales de [4] lo llamamos el espacio de
face, en nuestro caso este sera el plano t x
Lema 3. Demostrar que las trayectorias de dos soluciones de [4] con condiciones iniciales distintas no pueden interceptarse
5
Demostracion. sean 1 y 2 sos soluciones de [4] con 1 (t0 ) < 2 (t0 ) veamos
que entonces 1 (t0 ) < 2 (t0 ) para todo t t0 , supongamos lo contrario y
sea t el primer tiempo tal que 1 (t ) = 2 (t ), entonces por unicidad existe
> 0 tal que 1 (t) = 2 (t) para todo t (t , t + ), lo que contradice que
t es el primer tiempo tal que 1 (t ) = 2 (t ), en consecuencia debemos tener
1 (t) < 2 (t) para todo t 0 y por tanto dos trayectorias con condiciones
iniciales distintas jamas se interceptan
Lema 4. Si es una solucion de [4] que no es estrictamente creciente ni
decreciente en forma estricta, entonces la funcion es constante
Demostracion. Sea una solucion maximal de [4] que no es creciente ni decreciente en forma estricta, entonces debe cambiar de signo en alg
un punto
t en el dominio de lo que implica que debe tener un mnimo o un maximo
(c , c + ), escojamos peque
no y positivo tal que f (x) > > 0 si x
(c , c + ), como lm x(t) = c entonces existe t0 R tal que |x(t) c| <
t
si t t0 por el teorema fundamental del calculo se tiene
Z t
Z t
x(t) = x(t0 ) +
x (s) ds = x(t0 ) +
f (x(s)) ds
t0
t0
Z t
> x(t0 ) +
ds
t0
= x(t0 ) + (t t0 )
cuando t
si f (x) < 0 por continuidad existe > 0 tal que f (x) < 0 para cada
x (c , c + ), sea tal que f (x) < < 0, como lm x(t) = c existe
t
t0 R tal que |x(t) c| < si t > t0 por el teorema fundamental del calculo
tenemos
Z t
Z t
x(t) = x(t0 ) +
x (s) ds = x(t0 ) +
f (x(s)) ds
t0
t0
Z t
< x(t0 )
ds
t0
= x(t0 ) (t t0 )
si t
como f (c) > 0 y f (c) < 0 llevan a contradiccion debemos tener f (c) = 0
luego c es un punto de equilibrio de f . En forma analoga se prueba que si
lm x(t) = c entonces c es un punto de equilibrio de f
t
1.2.
Estabilidad Asint
otica
Definici
on 7. Decimos que un punto de equilibrio c del problema de valor
inicial [4] es estable si toda solucion x = x(t) de [4] que en el instante inicial
t0 toma un valor x0 suficientemente cercano a c permanece proxima a c para
todo t > t0 , es decir dado > 0, existe > 0 tal que si |x c| < entonces
|x(t) c| < para todo t > t0
si ademas se tiene que lm x(t) = c decimos que el punto de equilibrio c
t
todo t > t0 , entonces existe un primer tiempo t > tal que x (t) cambia de
equilibrio menor que x0 . Como x (t0 ) = f (x(t0 )) = f (x0 ) > 0 entonces por
que x (t) > 0 para todo t t0 , si nuestra afirmacion es falsa entonces existe
un primer tiempo t tal que x cambia de signo a la izquierda de , entonces
existe menor que t tal que x (t) < 0 en (, t ) lo que implica que x tiene
puntos de equilibrio menor que x0 , entonces x (t) > 0 para todo t < t0 y en
consecuencia x es creciente en (, t0 ] supongamos que x es acotada para
todo t t0 como x es creciente existe lm x(t) = x y por el lema 1.6 x debe
t
en consecuencia x = lm x(t) = x1
t
i) si f (
x) < 0 entonces x es asintoticamente estable
ii) si f (
x) > 0, entonces x es inestable
Demostracion. Sea x solucion de [4], estudiaremos la variacion de (x(t), x)2
cuando t tiende a , tenemos que
d
(5)
por el teorema de valor media para derivadas existe (t) entre x(t) y x tal
que
f (x(t)) = f (
x) + (x(t) x)f ((t))
como x(t) y x son soluciones de [4] por unicidad (x(t) x) 6= 0 para todo
t Ix el dominio de x, entonces tendremos
d
(x(t)
dt
x)2
d
(6)
como f (
x) < 0 por hipotesis entonces por la continuidad de f existe
peque
no y positivo tal que f (x) < 0 si |x(t) (x)| < , sera r un n
umero
positivo tal que f ((t)) < r < 0, entonces se tiene
d
2
ln(x(t) x) = 2f ((t)) < 2r
dt
por estar (t) entre x(t) y x. Cambiando t por s e integrando la desigualdad
anterior en [0, t] con t Ix resulta
(x(t) x)2
ln
< 2rt
(x() x)2
de donde deducimos 0 (x(t) x)2 (x(t0 ) x)2 e2rt 0 cuando t
y en consecuencia lm x(t) = x por lo tanto, x es asintoticamente estable
t
ii) sif (
x) > 0 por la continuidad de f existe > 0 tal que f (x) > 0
si |x(t) x| < , sea r positivo tal que f ((t)) > r > 0 entonces de [6]
deducimos
d
2
ln(x(t) x) = 2f ((t)) > 2r
dt
entonces
d
2
ln(x(t) x) > 2r
dt
y deducimos como antes que (x(t) x)2 > (x(0) x)2 e2rt cuando t
y en consecuencia lm x(t) = por tanto x es inestable
t
1.3.
Aplicaci
on al modelo Logstico
x(0) = x0 , t [0, )
(7)
Como f (x0 ) > 0, entonces por el lema [8] parte ii tenemos que x es
creciente en (, 0) y lm x(t) = o x tiende al primer punto de
t
estable y f (0) = a > 0 lo que implica por el lema [9] que el punto de
equilibrio 0 es inestable
a
y x < 0 Si
existe x y x (t) = x [a 2bx(t)] > 0 si 0 < x(t) < 2b
a
< x(t) < ab por ser x (t) > 0, entonces x es concava hacia arriba si
2b
a
a
0 < x(t) < 2b
y concava hacia abajo si 2b
< x(t) < ab con punto de
a
inflexion en x = 2b
Comentario. Si la poblacion inicial es x0 = a/b entonces la poblacion
conserva este valor a medida que pasa el tiempo. Imaginemos ahora
11
. Caso II Si x0 > (a/b), entonces por unicidad x(t) > a/b para todo
t Ix y f (x0 ) = x0 [a bx0 ] < 0 por ser x0 > 0 y (a bx0 ) < 0,
entonces por el lema 1.7 parte iii x es decreciente para todo t [0, )
y lm x(t) = o x tiende al primer punto de equilibrio menor que
t
a
b
para todo t Ix no
a
puede darse lm x(t) = y en consecuencia lm x(t) = y como
t
t
b
a
luego (a 2bx(t)) < 0, entonces x es concava
x (t) < 0 y x(t) > ab > 2b
hacia arriba en [0, +) notemos [0, ) Ix
. Caso III Si x0 < 0, entonces por unicidad x(t) < 0 para todo t Ix y
a
se tiene x(t) < 0 < 2b
< ab y deducimos
f (x0 ) = x0 [abx0 ] < 0, entonces por el lema [8] parte ii x es decreciente
para todo t 0 luego (, 0] Ix y lm x(t) = + o x tiende al
t
primer punto de equilibrio mayor que x0 que en nuestro caso es cero
como x(t) < 0 para todo t 0 no puede darse lm x(t) = + en
t
a
b
es un
Definici
on 8. En ecologa la razon ab se llama capacidad total de inclusion,
una poblacion que se inicie debajo de este nivel no puede sobrepasarlo
12
x = a/b
x=
a
2b
x=0
= u (t + s)1
= f (u(t + s))
13
Lema 10. Las soluciones x(t) de [4] son concavas hacia arriba si |f (x)| es
creciente y concava hacia abajo si |f (x)| es decreciente
f (x) si f (x) 0
y supongamos
Demostracion. tenemos que |f (x)| =
f
(x) si f (x) < 0
y tenemos x (t) = f (x)x (t) > 0 si f (x) 0 ya que en este caso f (x) y
x (t) son positivo y x (t) = f x (t) > 0 si f (x) < 0 ya que en este caso ambos
factores son negativos, en consecuencia si |f (x)| es creciente entonces x es
concava hacia arriba, en forma analoga se pueba que si |f (x)| es decreciente
entonces f es concava hacia abajo
14