K(s)u(t s)ds =
K(s)u
s
(t)ds,
(2)
La derivada de f con respecto
a la i-esima variable : D
i
f. (3)
En esta primera parte se consideran ecuaciones diferenciales ordina-
rias. En la secci on 3 estudiaremos el caso sin retardo, en la 4 el caso
con uno o m as retardos discretos y en la 5 se estudiar a el caso con
uno o mas retardos distribuidos. La estructura general de cada sec-
ci on consitir a en presentar primero el tipo de ecuacion diferencial que
se estudiara, despues se mostrar a como se obtienen la linealizaci on, la
ecuaci on caracterstica y nalmente se presentar an ejemplos tomados
de diversas areas de aplicacion, incluyendo algunas gr acas generadas
con dde23 [8]. El objetivo principal de esta serie es el de enlistar los
metodos y las referencias en los que se justican estos.
3. Ecuaciones ordinarias sin retardo
Consideremos la ecuacion diferencial ordinaria
x = f(x). (4)
Una solucion constante o punto de equilibrio x
0
cumple f(x
0
) = 0.
3.1. Linealizaci on
Tomemos una perturbaci on de este punto de equilibrio x
0
, esto es, una
soluci on cercana de la forma x(t) = x
0
+ u(t), entonces
x = u = f(x)
= f(x
0
+ u),
76 Angel Estrella, Gerardo Garca y Eric
Avila
donde podemos usar una aproximacion de Taylor obteniendo
u = f(x
0
+ u) f(x
0
) + f
(x
0
)u
= f
(x
0
)u.
Deniendo J = f
(x
0
) obtenemos la ecuaci on
u = Ju (5)
que recibe el nombre de linealizacion de (4) cerca del punto de equilibrio
x
0
.
3.2. Relaci on entre una ecuaci on y su linealizaci on
Diremos que un punto de equilibrio de una ecuacion diferencial es
hiperbolico si la matriz Jacobiana de f no tiene valores propios con
parte real nula. En este caso unidimensional esta condici on se traduce
al hecho de que f
(x
0
) < 0 entonces x
0
es asintoticamente (exponencial-
mente) estable.
b) Si J = f
(x
0
) > 0 entonces x
0
es asintoticamente (exponencial-
mente) inestable.
c) Si J = f
(x
0
) = 0 no podemos concluir algo acerca de x
0
En este caso de una ecuaci on ordinaria, podemos decir que = J
es la ecuaci on caracterstica, la cual trivialmente nos da su solucion.
3.4. Ejemplo
En 1836 Verhulst consider o el modelo de una poblacion simple x(t),
cuya tasa de crecimiento per capita en el tiempo t es
x(t) = rx(t)
1
x(t)
K
,
donde r > 0 es la razon de crecimiento intrnseco de la especie consi-
derada y K > 0 es la capacidad de persistencia o capacidad de car-
ga para dicha especie. Ambos par ametros son constantes, propias de
la poblacion (o especie) considerada. Esta ecuaci on es conocida como
la ecuacion logstica. Observemos que el modelo poblacional anterior
cumple la hip otesis de que si la poblaci on es muy peque na comparada
con capacidad de carga, su comportamiento es muy similar al descrito
por el modelo de Malthus, en el cual la tasa de crecimiento es pro-
porcional al tama no de la poblaci on, pero si la poblaci on rebasa la
capacidad de carga, entonces la poblacion decrece. Entonces se tiene el
comportamiento natural de una poblaci on sujeta a recursos limitados.
78 Angel Estrella, Gerardo Garca y Eric
Avila
Reconocemos a esta ecuacion diferencial como una ecuaci on de va-
riables separables por lo que podemos dar la soluci on explcita.
En este caso, la ecuacion tiene dos puntos de equilibrio: x = 0 y
x = K. Para el punto de equilibrio x = K, la linealizaci on es
u = ru,
y su polinomio caracterstico es
= r.
En virtud de la proposici on 1, este punto de equilibrio es asintotica-
mente estable. Es decir, la solucion se aproxima a K cuando el tiempo
tiende a innito.
A continuaci on se muestran las gr acas de algunas soluciones de la
ecuaci on logstica con K = 100, r = 0.1 para valores del tiempo t de 0 a
400. Se gracaron las soluciones correspondientes a los valores iniciales
x (0) = 3, 50, 100, 103 y 150, respectivamente. Se puede observar el
comportamiento previamente descrito de estas soluciones.
0 50 100 150 200 250 300 350 400
0
50
100
150
t
x
Figura 1: Soluciones de la ecuacion logstica.
Estabilidad local de ecuaciones diferenciales . . . 79
4. Ecuaciones ordinarias con retardo
discreto
Supongamos que se tiene la ecuaci on diferencial ordinaria
x = f(x, x
T
), (6)
donde x
T
(t) = x(t T) es un retardo discreto. Si x
0
es una solucion
constante o punto de equilibrio, entonces al sustituir en (6) obtenemos
0 = f(x
0
, x
0
) y esta igualdad nos da una forma para calcular los puntos
de equilibrio.
4.1. Linealizaci on
Si x(t) = x
0
+ u(t) es una solucion cercana al punto de equilibrio x
0
entonces
x = u = f(x, x
T
) = f(x
0
+ u, x
0
+ u
T
),
y usando aproximaciones de Taylor obtenemos
u = f(x
0
+ u, x
0
+ u
T
)
= f(x
0
, x
0
) + D
1
f(x
0
, x
0
) u + D
2
f(x
0
, x
0
) u
T
= D
1
f(x
0
, x
0
) u + D
2
f(x
0
, x
0
) u
T
= [D
1
f(x
0
, x
0
) u + D
2
f(x
0
, x
0
) u
T
]
por lo tanto, si tomamos
J = D
1
f(x
0
, x
0
), (7)
J
D
= D
2
f(x
0
, x
0
) (8)
entonces
u = Ju + J
D
u
T
(9)
y esta ecuaci on se conoce como la linealizacion de (6) cerca del punto
de equilibiro x
0
.
4.2. Ecuaci on caracterstica
Supongamos que
u(t) = Ce
t
,
es una soluci on de (9), entonces
u = Ce
t
= u ;
u
T
(t) = Ce
(tT)
= ue
T
80 Angel Estrella, Gerardo Garca y Eric
Avila
y al sustituir en (9) obtenemos
u = Ju + J
D
ue
T
,
dividiendo entre u obtenemos la ecuacion caracterstica de (6)
= J + J
D
e
T
(10)
Para las ecuaciones diferenciales con retardo podemos considerar
a manera de ejemplo la ecuaci on x(t) = x (t ). Cuando = 0,
la ecuaci on se reduce a x(t) = x (t), la cual resolvemos con x (t) =
x (0) e
t
usando la condicion inicial en t = 0. Si > 0, Que condicion
inicial necesitaremos para resolver la ecuaci on? Podemos notar que para
resolver la ecuaci on en t = 0 necesitamos saber el valor de x () y para
resolverla en t = se requiere conocer el valor de x (0). De manera
similar notamos que para resolver la ecuacion para todos los valores de
t que se encuentren entre 0 y se requiere conocer todos los valores de
la x entre y 0. En consecuencia, se requiere una funci on denida en
[ , 0] como condici on inicial en vez de un punto del plano como ocurre
con las ecuaciones diferenciales ordinarias sin retardo. Esta funci on es
conocida como la historia de la ecuaci on diferencial con retardo.
Denici on 4 Sea x () = () > 0 con [ , 0] la funcion historia
(condicion inicial) de la ecuacion (6). Diremos que el equilibrio x
0
es
estable si para toda > 0 existe una > 0 tal que |(t) x
0
| en
[ , 0] implica que todas las soluciones x(t) de (6) con historia en
[ , 0] satisfacen que |x (t) x
0
| < para toda t 0. Si ademas existe
una
0
> 0 tal que |(t) x
0
|
0
en [ , 0] implica que x(t) tiende a
x
0
cuando t tiende a innito, diremos que x
0
es asintoticamente estable.
Teorema 1 (principio de estabilidad linealizada para ecuaciones con
retardo) Si la parte real de todas las soluciones de la ecuacion carac-
terstica (10) es negativa entonces el equilibrio x
0
es asintoticamente
estable.
El teorema anterior y el teorema enunciado al nal de la secci on 5.3
son casos particulares de un teorema cuya discusi on el lector podr a en-
contrar en la secci on 2.4 del libro de Kuang [6].
4.3. Ejemplo
La ecuaci on logstica que consideramos en la seccion 3.4 asume que las
tasas de reproducci on y muerte responden de manera instant anea a los
Estabilidad local de ecuaciones diferenciales . . . 81
cambios de tama no de la poblacion, sin embargo hay organismos que se
reproducen por etapas, es decir tiene que pasar un tiempo (un retardo)
para que se vuelvan a reproducir. Tambien pudiera ocurrir un retardo
cuando el organismo tarda en absorber sus nutrientes. En virtud de lo
anterior ahora consideraremos la ecuacion de Hutchinson o ecuacion
logstica con retardo (o retardada), la cual modela de una poblacion
simple x(t), cuya tasa de crecimiento per c apita en el tiempo t es
x(t) = rx(t)
1
x(t )
K
,
donde r y K tienen el mismo signicado como en el ejemplo de la sec-
ci on anterior. Comparando este modelo con el de la secci on anterior,
notamos que en el segundo factor hay el retardo , el cual puede re-
presentar, por ejemplo, el hecho de que la formaci on de huevos de la
especie ocurre antes de su liberaci on para ser incubados.
En este caso, la ecuacion tiene los mismos dos puntos de equilibrio
que la ecuacion logstica: x = 0 y x = K. Para el punto de equilibrio
x = K, la linealizaci on es
u = ru
,
y su ecuaci on caracterstica es
= re
.
Aqu podemos notar la presencia del termino re
, raz on por la
cual la ecuaci on caracterstica ya no es un polinomio en como en
el caso anterior, sino una ecuacion trascendente (llamada en ocasiones
cuasipolinomio), la cual tiene una innidad de soluciones. En este caso
(ver [5]) el punto de equilibrio x = K es asintoticamente estable si
todas estas innitas soluciones tienen parte real negativa.
A continuaci on se muestran las gracas de algunas soluciones de
esta ecuacion con K = 100, r = 0.1 para valores del tiempo t de
0 a 400. Se gracaron las soluciones correspondientes a las funciones
historia constantes x (t) = 3, 50, 100, 103 y 150, respectivamente para
t [ , 0]. Empleamos el mismo intervalo de gracacion y los mismos
valores de los par ametros K y r del ejemplo de la secci on anterior con
el n de comparar el comportamiento de las soluciones de la ecuacion
de Hutchinson con el de la ecuaci on logstica. Se muestran tres guras
correspondientes a valores del retardo = 10, 15 y 20.
En las dos primeras guras podemos observar que la introducci on
del retardo causa oscilaciones en las soluciones, las cuales son mas
pronunciadas conforme crece el retardo, propiedad que no tenan las
82 Angel Estrella, Gerardo Garca y Eric
Avila
0 50 100 150 200 250 300 350 400
0
50
100
150
t
x
Figura 2: Soluciones de la ecuacion de Hutchinson con = 10.
0 50 100 150 200 250 300 350 400
0
20
40
60
80
100
120
140
160
180
200
t
x
Figura 3: Soluciones de la ecuacion de Hutchinson con = 15.
Estabilidad local de ecuaciones diferenciales . . . 83
0 50 100 150 200 250 300 350 400
0
50
100
150
200
250
300
t
x
Figura 4: Soluciones de la ecuacion de Hutchinson con = 20.
soluciones de la ecuacion logstica. Sin embargo, el punto de equilibrio
x = K sigue siendo localmente asintoticamente estable. Pero cuando
el retardo es lo sucientemente grande y sobrepasa un valor crtico, el
punto de equilibrio anterior pierde su estabilidad, como se hace evidente
en la ultima gura que se muestra a continuacion
4.4. Ejercicio
Encuentre la ecuacion caracterstica para las siguientes ecuaciones:
x = f(x, x
T
1
, x
T
2
), (11)
x = g(x, x
T
1
, . . . , x
Tn
), (12)
donde cada T
i
> 0 es un retardo discreto.
5. Ecuaciones ordinarias con retardo
distribuido
Supongamos que se tiene la ecuaci on
x = f(x, D[x]) = f(x,
K(s)x(t s)ds =
K(s)u
s
(t)ds es un retardo dis-
tribuido con la notaci on introducida en (2). Sea x
0
la soluci on de
equilibrio, por lo tanto f(x
0
, D[x
0
]) = 0, pero D[x
0
] =
K(s)x
0
ds =
x
0
K(s)ds = x
0
I donde I =
K(s)u(t s)ds,
por lo tanto, si tomamos
J = D
1
(x
0
, x
0
I), (14)
J
D
= D
2
(x
0
, x
0
I) (15)
entonces
u = Ju + J
D
K(s)u(t s)ds =
K(s)Ce
(ts)
ds
= Ce
t
K(s)e
s
ds = u
K(s)e
s
ds
y al sustituir en (16) obtenemos
u = Ju + J
D
u
K(s)e
s
ds,
dividiendo entre u obtenemos la ecuacion caracterstica de (13)
= J + J
D
K(s)e
s
ds (17)
(comp arese con (10)).
5.3. Otro caso mas general
En algunas ocasiones tenemos ecuaciones de la forma
x = f
x,
K(s)G(x(t s))ds
(18)
= f
x,
K(s)G(x
s
(t))ds
= f(x, z[x]).
con z[x] =
K(s)G(x
s
(t))ds. Note que tomando G(x) = x obtenemos
(13). En este caso un punto de equilibrio x
0
satisface
0 = f
x
0
,
K(s)G(x
0
)ds
= f
x
0
, G(x
0
)
K(s)ds
= f(x
0
, G(x
0
)I).
Tomemos una soluci on de la forma x = x
0
+u y notemos que podemos
usar la aproximacion
K(s)G(x
0
+ u
s
(t))ds
K(s) [G(x
0
) + G
(x
0
) u
s
(t)] ds
= G(x
0
)
K(s)ds + G
(x
0
)
K(s)u
s
(t)ds
= G(x
0
)I + G
(x
0
)
K(s)u
s
(t)ds
86 Angel Estrella, Gerardo Garca y Eric
Avila
al sustituir en la ecuacion (18), obteniendo
x = u = f
x
0
+ u,
K(s)G(x
0
+ u
s
(t))ds
x
0
+ u, G(x
0
)I + G
(x
0
)
K(s)u
s
(t)ds
f (x
0
, G(x
0
)I) + D
1
(x
0
, G(x
0
)I) u
+ D
2
(x
0
, G(x
0
)I) G
(x
0
)
K(s)u
s
(t)ds
f (x
0
, G(x
0
)I) +
f
x
(x
0
, G(x
0
)I) u
+
f
z[x]
(x
0
, G(x
0
)I) G
(x
0
)
K(s)u
s
(t)ds
= D
1
(x
0
, G(x
0
)I) u + D
2
(x
0
, G(x
0
)I) G
(x
0
)
K(s)u
s
(t)ds.
Tomando
J = D
1
(x
0
, G(x
0
)I) ,
J
D
= D
2
(x
0
, G(x
0
)I) G
(x
0
)
obtenemos la linealizacion de (18)
u = Ju + J
D
K(s)e
s
ds (20)
(comp arese con (10) y (17)).
Denici on 5 Sea x () = () > 0 con [ , 0] la funcion his-
toria (condicion inicial) de la ecuacion (18). Diremos que el equilibrio
x
0
es estable si para toda > 0 existe una = () > 0 tal que
|(t) x
0
| en [ , 0] implica que cualquier solucion x(t) de
(18) con historia en [ , 0] satisface que |x (t) x
0
| < para toda
t 0. Si ademas existe una
0
> 0 tal que |(t) x
0
|
0
en [ , 0]
implica que x(t) tiende a x
0
cuando t tiende a innito, diremos que x
0
es asintoticamente estable.
Estabilidad local de ecuaciones diferenciales . . . 87
Teorema 2 (principio de estabilidad linealizada para ecuaciones con
retardo distribuido) Si la parte real de todas las soluciones de la ecuacion
caracterstica (20) es negativa entonces el equilibrio x
0
es asintotica-
mente estable.
Es posible tener diversos tipos de combinaciones de los retardos,
podemos tener dos o mas retardos distribuidos o combinaciones de re-
tardos distribuidos y discretos; en cada caso en la linealizaci on y en la
ecuaci on caracterstica apareceran los terminos correspondientes a cada
tipo de retardo.
5.4. Ejemplos
5.4.1. Ejemplo 1
La ecuaci on de Hutchinson considera que los efectos en la poblaci on
dependen de un tiempo anterior en lugar del tiempo presente t. Con
el objeto de tener un modelo m as realista debemos considerar que el
retardo dependa de un promedio de todos los tiempos anteriores, y
la ecuacion que resulta entonces se le conoce como una ecuacion con
retardo distribuido o con retardo innito
x(t) = rx(t)
1
1
K
G(t s) x (s) ds
,
donde G(t) es conocida como el n ucleo (Kernel) del retardo, G(t) es
una distribucion que nos indica la importancia que tiene en el proceso
cada uno de los tiempos anteriores. En el caso que la funcion G(t) sea la
funci on delta de Dirac regresaramos al caso de la ecuaci on logstica con
retardo. En la literatura generalmente se estudian dos casos, cuando
G(t) = e
t
y cuando G(t) =
2
te
t
, que se conocen como kernel
debil (weak kernel) y kernel fuerte (strong kernel).
A continuaci on se muestran las gracas de algunas soluciones de
esta ecuacion con K = 100, r = 0.1 para valores del tiempo t de
0 a 400. Se gracaron las soluciones correspondientes a las funciones
historia constantes x (t) = 3, 50, 100, 103 y 150, respectivamente para
t [, 0]. Empleamos el mismo intervalo de gracaci on y los mismos
valores de los parametros K y r de las gr acas presentadas en secciones
anteriores con el n de comparar el comportamiento de las soluciones
de la ecuaci on logstica con retardo distribuido con el de las ecuaciones
logstica y de Hutchinson. Primero se muestran dos guras con el kernel
debil y parametro = 0.125 y 1.125 . Posteriormente se muestran dos
guras con el kernel fuerte y par ametro = 0.04 y 0.6 .
88 Angel Estrella, Gerardo Garca y Eric
Avila
0 50 100 150 200 250 300 350 400
0
50
100
150
t
x
Figura 5: Soluciones de la ecuaci on logstica con retardo distribuido y
kernel debil con = 0.125.
0 50 100 150 200 250 300 350 400
0
50
100
150
t
x
Figura 6: Soluciones de la ecuaci on logstica con retardo distribuido y
kernel debil con = 1.125.
Estabilidad local de ecuaciones diferenciales . . . 89
0 50 100 150 200 250 300 350 400
0
100
200
300
400
500
600
t
x
Figura 7: Soluciones de la ecuaci on logstica con retardo distribuido y
kernel fuerte con = 0.04.
En las dos gracas anteriores notamos que con valores muy pe-
que nos se presentan oscilaciones, las cuales se van amortiguando hasta
desaparecer conforme crece y obtener un conportamiento muy simi-
lar al de la ecuaci on logstica. Con el kernel debil el punto de equilibrio
x = K es localmente asint oticamente estable para cualquier > 0. En
contraste, con el kernel fuerte se tiene un valor crtico del parametro
para el cual el punto de equilibrio x = K es inestable por debajo de este
valor y localmente asintoticamente estable por encima del mismo. Tam-
bien se puede observar que las ocilaciones desaparecen al crecer por
encima del valor crtico mencionado, obteniendo un comportamiento
similar al de la ecuacion con kernel debil.
N otese que en estos ejemplos con retardo distribuido el valor del
retardo ya no es el parameto que puede determinar la estabilidad debido
a que hay una innidad de retardos que son promediados. El tipo de
promedio, determinado por el kernel, es el que determina la estabilidad.
En los ejemplos anteriores el par ametro incluido en el kernel es el
par ametro determinante de la estabilidad para el caso del kernel fuerte.
90 Angel Estrella, Gerardo Garca y Eric
Avila
0 50 100 150 200 250 300 350 400
0
50
100
150
t
x
Figura 8: Soluciones de la ecuaci on logstica con retardo distribuido y
kernel fuerte con = 0.6.
5.4.2. Ejemplo 2
Huang - Vandewalle [4] estudian una ecuaci on ordinaria (lineal) con
retardo distribuido y retardo discreto (xed delay) de la forma
y(t) = ay(t) + by(t ) + c
y(t + s)ds,
donde a, b, c R, y > 0. Haciendo un cambio de variable en la
integral la ecuacion anterior se transforma en
y
0
y(t s)ds,
quedando en la forma (13).
Los puntos de equilibrio de esta ecuaci on son: 0, si a + b + c = 0
y cualquier punto de R si a + b + c = 0. Para el caso en que 0 es el
unico punto de equilibrio, la linealizacion es
u = au + bue
+ c
0
u(t s)ds,
y la ecuaci on caracterstica es
= a + be
+ c
0
e
s
ds.
Estabilidad local de ecuaciones diferenciales . . . 91
Como ocurri o en el caso anterior, esta es tambien una ecuacion
trascendente y el punto de equilibrio sera asint oticamente estable si
todas las innitas soluciones de la ecuacion caracterstica tienen parte
real negativa. El analisis completo de estabilidad est a desarrollado en
[4].
5.5. Ejercicio
Encontrar la ecuacion caracterstica de la siguiente ecuacion:
x (t) = rx (t)
1 a
1
x (t ) a
2
f (t s) x (s) ds
,
donde r, , a
1
, a
2
> 0; f (t) 0 para toda t 0 y
0
f (t) dt = 1.
Agradecimientos
Este trabajo fue parcialmente apoyado por el SNI, n umeros de registro
202539, 33365 y 15284.
Referencias
[1] Grobman, D.M., Homeomorphisms of systems of dierential equa-
tions, Dokl. Akad. Nauk SSSR Vol. 128, (1959), pp. 880-881.
[2] Hartman, Philip, A lemma in the theory of structural stability of
dierential equations, Proc. A.M.S. Vol. 11 No. 4, (August 1960),
pp. 610-620.
[3] Hartman, Philip, On local homeomorphisms of Euclidean spaces,
Bol. Soc. Math. Mexicana Vol. 5, (1960), pp. 220-241.
[4] Huang, C., Vandewalle, S., An analysis of delay-dependent stability
for ordinary and partial dierential equations with xed and dis-
tributed delays SIAM J. Sci. Comput. Vol. 25, No. 5, (2004), pp.
1608-1632.
[5] Ruan, S., Delay Dierential Equations in Single Species Dynam-
ics, in Delay Dierential Equations with Applications, ed. by O.
Arino, M. Hbid and E. Ait Dads, NATO Science Series II: Mathe-
matics, Physics and Chemistry, Vol. 205, (2006), Springer, Berlin,
pp. 477-517.
92 Angel Estrella, Gerardo Garca y Eric
Avila
[6] Kuang, Y., Delay Dierential Equations With Applications in Pop-
ulation Dynamics, Academic Press, San Diego, 1993.
[7] Smith, H., MAT598 Applied Delay Dierential Equations, Spring
2004, http://math.la.asu.edu/ halsmith/FDE.pdf
[8] Shampine, L. F., Gladwell, I., Thompson, S., Solving ODEs with
MATLAB, Cambridge University Press, UK, Chapter 4,(2003), pp.
213-250.