225

Criterios de Estabilidad en Sistemas de
Ecuaciones Diferenciales
Edilbert Almanza1 edilbertalmanza@uniquindio.edu.co
Fulvia E. Torres2 fulvia_esperanza@uniquindio.edu.co
Paulo César Carmona3 paulocct@uniquindio.edu.co

RESUMEN

En este artículo presentamos algunas condiciones necesarias y suficientes para estudiar la estabilidad de
sistemas de ecuaciones diferenciales no autónomos tales como x =a(t)x; x=A(t)x; x=Ax; x=A(t)x+f(t,x);
x=Ax+B(t)x y de la ecuación integrodiferencial de Volterra

x= - h(t)x-b(t)x3 + ∫to K(at-s)x)(s)ds

Palabras Claves: estabilidad, estabilidad según Lyapunov, condición de Lipschitz y funcional de Lyapunov

ABSTRACT

In this article we present some necessary and sufficient conditions for the stability of the solutions of systems
of differential equations such as x =a(t)x; x=A(t)x; x=Ax; x=A(t)x+f(t,x); x=Ax+B(t)x and Volterra´s
integrodifferential equation

x= - h(t)x-b(t)x3 + ∫to K(at-s)x)(s)ds

1
Profesor Universidad de Cartagena
Est. Maestría en Biomatemáticas,
Universidad del Quindío.

2
Profesor Catedrático Universidad del Quindío
Est. Maestría en Biomatemáticas,
Universidad del Quindío.

3
Profesor Universidad del Quindío
Msc. en Biomatemáticas,
Universidad del Quindío.

Revista de Investigaciones Revista
No. 17 -de
Universidad del Quindío
Investigaciones No. 17 - pUniversidad
p 225- 102 del
Armenia,
QuindíoAño 2007 ISSN 1794-631 X

es decir. x0) Considere el sistema de ecuaciones diferenciales d.∞) X D→ Rn ε . y) Revista de Investigaciones No. para t ≥ 0. t0. || x || < a < ∞. La importancia de conocer Antes de enunciar los criterios de estabilidad. t0.226 1. x0) || < ε para todo t ≥ t0 este artículo se presenta un compendio de los conceptos y criterios fundamentales para c. ha tenido nula. la función nula x=0 es la única solución de (1). Uniformemente asintóticamente estable: si (1) es uniformemente estable y para δ0 > 0 y cada x= f(t. y es allí donde la estabilidad de los sistemas a. t1) con t1 < ∞ y depende de (t0. INTRODUCCIÓN Así. en muchos campos de la ciencia como la La solución x=0 de (1) se dice: física.Universidad del Quindío . se el comportamiento de las soluciones en un requieren algunos conceptos básicos que serán sistema de ecuaciones diferenciales. t0 ≥ 0 existe δ (ε. lo que garantiza que cualquier otra solución E El estudio cualitativo de las ecuaciones de (1) en su intervalo de existencia debe ser no diferenciales ordinarias.. Estable: si para todo ε > 0. x0) está definida para Si x (t) es una solución arbitraria de (1) definida t ∈ [ t0. x0). f(t. < δ se tiene que para todo x(t. x∈D⊆ Rn y f:[0. su mayor evolución en los últimos dos siglos. x0) fundamental para la investigación actual. t0. que describen los criterios básicos para sistemas t0 ≥ 0. entonces y= x . t0). Uniformemente estable: si para todo ε > 0. t ≥ “ f(t. t0. Lyapunov 2. || < ε para todo t ≥ t0 Aunque existen muchos textos en el comercio b. etc. Asintóticamente estable: si es estable y para determinar la estabilidad de los sistemas de todo t ≥ t0 existe δ (t0) > 0 tal que si || x0 || ecuaciones diferenciales no autónomos. existe δ (ε) > 0 tal que si || x0 || < δ de ecuaciones diferenciales autónomos. x0) || < εe-λ (t-t0) con t ≥ t0 de la solución de (1) que pasa por x0 ∈ Δ cuando t = t0 y x(t.∞).x(t) satisface a y = g (t. y es que satisface la hipótesis general: uniformemente estable con respecto a (t. t0. 17 . t0 ≥ 0 y t ≥ t0 + δ (ε) entonces || x (t. en entonces || x (t. dinámicos se consolida como una herramienta t0) tal que si || x0 || < δ entonces || x (t. CONCEPTOS BÁSICOS (1857-1918) y Bendixson (1861-1935) entre muchos otros. Asintóticamente exponencialmente estable: Δ = {x ∈ D: t ≥ 0.x) ε > 0 existe δ (ε) > 0 tal que si ||x0|| < δ0. t0.x) es continua y satisface una condición t0 y ||x0|| < δ0 de Lipschitz local en el conjunto e. x0) || < donde t ∈[0. con las contribuciones hechas por Poincaré (1854-1912). se observa dados a continuación. la ecología y la epidemiología.0) = 0}” si existe λ > 0 y para todo ε > 0 existe δ(ε) > 0 tal que si ||x0|| < δ (ε) y t ≥ t0 implica que Esta hipótesis garantiza la existencia y unicidad || x (t.

y +x (t)) . Uniformemente estable: si es estable y δ Definimos el funcional de Lyapunov respecto no depende de t0 a (1) como sigue: una función definida positiva V: Δ ⊆ Rn → [ o. funciones continuas definidas positivas en Δ tales que Según Lyapunov definimos: a. entonces < δ entonces || x (t. todo t ≥ t0 Si x es un punto de equilibrio para (1) y se b.Universidad del Quindío .x (t)) y g (t. t0 ) > 0 tal que si ||x0 . b’. si existe una función W (x) continua definida negativa en Δ tal que En general. Así que x(t) se dice: y a’. t0.x(t0)|| < δ entonces se tiene estabilidad y estabilidad asintótica en el ||x(t. Uniformemente asintóticamente estable: si es uniformemente estable y para todo ε > 0 Si existe un funcional de Lyapunov respecto existe T (ε) > 0 tal que ||x(t. Si existen W1 (x).f(t.x0 || para todo t ≥ 0 y para todo x ∈ ∆ .(t. t0 ≥ 0 existe por δ (ε. ∞) de clase C1 en Δ tal que c’. t0.x(t) cuando || x0|| < Г (t0) d’. Asintóticamente estable: si es estable y para cada solución x (t) de (1) se tiene existe Г (t0) > 0 tal que para todo x (t. donde γ0 no depende de t0 Además. Revista de Investigaciones No. x0) . 227 donde g (t. x0) . entonces la solución x (t) ≡ 0 de (1) es ε para t ≥ t0 + T (ε) y todo x0 con || x0|| < γ0 estable (el recíproco es falso).x0|| V (x)= 0 .x(t)|| < a (1). Estabilidad según Lyapunov: la solución x (t). y) = f(t. t0. y0) . Asintóticamente estable según Lyapunov: tiene una función de Lyapunov V tal que si es estable y si existe ρ > 0 tal que si || y0 . tenemos el diagrama para todo x ∈ ∆ y t ≥ t0 entonces la solución x (t) ≡ 0 es asintóticamente estable (el recíproco es verdadero).x(t)|| < ε pasado según Lyapunov. W2 (x) y W3 (x). x0) . Estable: si para todo ε > 0. V < 0 y si existe una sucesión < ρ entonces xn ≠ x tal que xn → x y V (x) ≤ 0 entonces para todo t ≥ t0 x es inestable. 17 . Si cambiamos t ≥ t0 por t ≤ t0 0) = 0 . t0. t0. y0) || < ε para x (t) ≡ 0 es asintóticamente estable. (t ≥ t0) de (1) es estable según Lyapunov si para todo ε > 0 existe δ > 0 tal que si || y0 .

Asintóticamente estable: si y sólo si Si la ecuación diferencial (1) tiene la forma (2) c. si x (0) = 1 t ≥ 0 y la solución está dada por x(t. entonces una función de Lyapunov d. Uniformemente estable: si y sólo si donde a(t) es continua para t ≥ 0 . Además. entonces la solución x(t.Universidad del Quindío . Estable: si y sólo si b. x0) =X(t) entonces x(t. DESARROLLO b. entonces la solución x (t. la estabilidad asintóticamente uniforme con la donde A(t) es una matriz de n × n continua para estabilidad asintótica. t0. x0) = 0 es: a. acotada y definida positiva que satisface la ecuación diferencial c. x0) = 0 de (2) es: d. Estable: si y sólo si todos los valores propios de A tienen parte real no positiva. Estable: si y sólo si tales que si existe P (t) una matriz simétrica b. t0. Asintóticamente estable: si y sólo si todos Revista de Investigaciones No.t0) x0 y la solución X-1 (t0) x0 donde X(t) es una matriz fundamental x (t) = 0 es: arbitraria de (3). continua y definida positiva. Uniformemente asintóticamente estable: si y sólo si existen dos números positivos N y a a. a. Asintóticamente estable: si y sólo si donde Q (t) es simétrica. Uniformemente asintóticamente estable: si para (3) es y sólo si existe a > 0 tal que en (2) Para el sistema (4) es decir. t0. un sistema de ecuaciones diferenciales Para el sistema con coeficientes constantes. x0) = x (t . Uniformemente estable: si y sólo si continuamente diferenciable. 228 3. t0. el concepto (3) de estabilidad coincide con el concepto de estabilidad uniforme y análogamente. 17 .

Universidad del Quindío . x) es tal que donde L > 0 y suficientemente pequeño. de (7) es: entonces es equivalente a la ecuación integral vectorial a. Estable: cuando se tiene que Para el sistema ya que (6) Si las soluciones de son acotadas es un funcional de Lyapunov asociado al sistema sobre t ≥ 0 y si se tiene (7) Revista de Investigaciones No. entonces es un funcional de Lyapunov asociado a (7) y x ≡ 0 es exponencialmente asintóticamente por tanto x ≡ 0 es estable. la solución x ≡ 0 Si (5) satisface la condición inicial x(t0)=x0 . en ∆ y g (t) una función continua para t ≥ 0 tal que Si se dice que la memoria es finita e interesa ver el entonces x ≡ 0 de (5) es uniformemente efecto sobre los valores de a ( a = 1 es el caso estable. 17 . Si (7) tiene memoria finita. si x ≡ 0 es una solución Si h(t) = b(t) = 0 . La integral Consideremos x ≡ 0 una solución representa las memorias pasadas de la solución uniformemente estable de (3) y que x (t) y por tanto el sistema (7) se considera como un sistema con retardo. 229 los valores propios de A tienen parte real entonces x ≡ 0 es uniformemente estable para negativa. La ecuación (5) resulta de una perturbación de la ecuación (3). x) es una función vectorial continua en ∆ satisfaciendo una condición de Lipschitz local. la estabilidad de la solución exponencialmente asintóticamente estable de depende de las memorias y es asintótica y (3) y f (t. (6) Para el sistema Para el sistema (5) (7) donde K ∈ C1 en donde f (t. estable para (5). de convolución). Ahora.

(1997). y es en estas situaciones diferenciales ordinarias. que para algún para todo t > 0 c. McGraw- Hill. Uniformemente estable: si existe β > 0 tal iv. (1985). (1955). N. Uniformemente asintóticamente estable: si i. Springer-Verlag. (1993).Y. 230 b. Coddington. L. BIBLIOGRAFÍA 1. M. Academic Press. 5. (1974). Dynamical Systems. los criterios enunciados anteriormente entre otras áreas del conocimiento. Burton. S. Existen son de gran utilidad. Ordinary Differential Equations and Smooth Dynamical Systems. cuando: i. Es estable b0 > 0 y ii. Differential Equations. CONCLUSIONES distintas situaciones en estas áreas donde puede considerarse en el modelamiento la dependencia La teoría cualitativa de los sistemas de ecuaciones explícita del tiempo. and Levinson. 5. Asonov et al. Academic Press. Orlando. h (t) tiene que crecer rápidamente para tener estabilidad 4. esto. Hirsch. Asintóticamente estable si cumple con: d. 0 < a < 1 . ii. E. 4. para con la física. Perko.Y. N. Revista de Investigaciones No. N. T. a > 1 y iii.Universidad del Quindío . 17 . la ecología y la epidemiología. Orlando. and Smale. Springer-Verlag. NewYork. and Linear Algebra. ha sido de gran ayuda donde se requiere trabajar con sistemas de para la resolución de problemas relacionados ecuaciones diferenciales no autónomas. Stability and Periodic Solutions of Ordinary and Functional Differential Equations. Differential Equations and Dynamical Systems.A. 2. 3. Theory of Ordinary Differential Equations.

Wolfgans. (2002). 17 . Revista de Investigaciones No. Estabilidad Asintótica con Retardo no Acotado en Ecuaciones Diferenciales. 231 6. E. 7. Ordinary Differential Equations. W.Universidad del Quindío . N.Y. C. Universidad de Cartagena. Springer-Verlag. Almanza. (1998). y Osorio.