Resumen Técnico: Estabilidad Asintótica y Tasas de Decaimiento de Sistemas Positivos Homogéneos con Retardos Acotados y No Acotados

Planteamiento del Problema

El artículo aborda el análisis de estabilidad de sistemas positivos no lineales en presencia de retardos temporales. Si bien existe una literatura significativa sobre la estabilidad de sistemas lineales positivos con retardos, la teoría para sistemas positivos no lineales está menos desarrollada. Los resultados existentes para sistemas no lineales suelen depender de supuestos restrictivos, como retardos constantes o grados de homogeneidad específicos (por ejemplo, grado cero). Además, muchos estudios asumen que los retardos son acotados, mientras que las aplicaciones del mundo real (como el control de potencia inalámbrica) pueden involucrar retardos variables en el tiempo que son no acotados, siempre que crezcan más lento que el tiempo mismo.

El problema central es establecer condiciones necesarias y suficientes para la estabilidad asintótica global independiente del retardo de una amplia clase de sistemas positivos no lineales (específicamente, aquellos con campos vectoriales cooperativos y homogéneos en tiempo continuo, y campos vectoriales no decrecientes y homogéneos en tiempo discreto). Además, el artículo busca cuantificar las tasas de decaimiento de estos sistemas bajo diversas clases de retardos variables en el tiempo, incluyendo tanto casos acotados como no acotados.

Metodología

Los autores emplean una técnica de prueba distinta al método de funcional de Lyapunov-Krasovskii ampliamente utilizado (común para retardos constantes) y a los enfoques basados en la monotonicidad utilizados en trabajos previos sobre retardos constantes. En su lugar, la metodología se basa en la construcción de una función de Lyapunov específica y en el análisis de la trayectoria del sistema a través de conjuntos anidados.

Elementos Metodológicos Clave:

1. Clase de Sistema: El estudio se centra en sistemas donde los campos vectoriales son:
   • Tiempo continuo: Cooperativos (el Jacobiano es Metzler) y homogéneos de un grado $p$ arbitrario.
   • Tiempo discreto: No decrecientes y homogéneos de grado cero (para estabilidad global) o grado $p > 0$ (para estabilidad local).
2. Supuestos de Retardo: El artículo considera retardos variables en el tiempo $\tau(t)$ (continuo) o $d(k)$ (discreto) que satisfacen una condición de crecimiento mínima: $\lim_{t \to \infty} (t - \tau(t)) = +\infty$. Esto permite tanto retardos acotados como no acotados que no "sobrepasan" al tiempo.
3. Construcción de Lyapunov: Se define una función de Lyapunov basada en la norma $l_\infty$ ponderada:
   $$V(x) = \max_{1 \le i \le n} \left( \frac{x_i}{v_i} \right)^{\frac{r_{\max}}{r_i}}$$
   donde $v > 0$ es un vector específico y $r$ define el mapa de dilatación.
4. Argumento de Conjuntos Anidados: La prueba demuestra que, si se cumple una condición de estabilidad, el estado del sistema entra en una secuencia de conjuntos anidados $S(m)$ definidos por $V(x) \le \gamma^m \|\phi\|$ (donde $0 \le \gamma < 1$) y permanece allí. Esto establece que el estado converge al origen independientemente de la magnitud o variación del retardo, siempre que el retardo satisfaga la condición de crecimiento.
5. Análisis de la Tasa de Decaimiento: Para cuantificar la convergencia, los autores utilizan el concepto de $\mu$-estabilidad. Derivan condiciones bajo las cuales la solución satisface $\|x(t)\| = O(\mu^{-1}(t))$, donde $\mu(t)$ es una función no decreciente que caracteriza la tasa de decaimiento (por ejemplo, exponencial o polinómica).

Principales Contribuciones y Resultados

1. Condiciones de Estabilidad Independientes del Retardo

El artículo establece que, para la clase especificada de sistemas, la estabilidad asintótica global es independiente de la magnitud y la variación de los retardos temporales, siempre que los retardos satisfagan la condición de crecimiento (Supuesto 1 para tiempo continuo, Supuesto 4 para tiempo discreto).

• Tiempo Continuo (Teorema 1): Un sistema cooperativo homogéneo es globalmente asintóticamente estable para todos los retardos admisibles si y solo si existe un vector $v > 0$ tal que:
  $$f(v) + g(v) < 0$$
  Esta condición es idéntica a la condición de estabilidad para el sistema correspondiente sin retardo.
• Tiempo Discreto (Teorema 3): Para sistemas homogéneos no decrecientes de grado cero, la estabilidad asintótica global para todos los retardos admisibles se cumple si y solo si existe $v > 0$ tal que:
  $$f(v) + g(v) < v$$
• Estabilidad Local para Grados Superiores: Para sistemas de tiempo discreto con grado $p > 0$, la misma condición asegura la estabilidad asintótica local para condiciones iniciales dentro de un límite específico.

2. Cuantificación de las Tasas de Decaimiento

El artículo proporciona límites explícitos sobre las tasas de decaimiento para diferentes escenarios de retardo:

• Retardos Acotados (Corolario 1):
  • Si el grado $p=0$, el sistema es globalmente exponencialmente estable. La tasa de decaimiento $\eta$ viene determinada por una ecuación trascendente que involucra el límite superior del retardo $\tau_{\max}$.
  • Si el grado $p>0$, el sistema exhibe estabilidad de tasa de potencia (decaimiento polinómico), con una tasa que depende de $\tau_{\max}$.
• Retardos No Acotados (Corolario 2 y 5):
  • Para retardos que satisfacen $\sup_{t>T} \frac{\tau(t)}{t} = \alpha < 1$, el sistema mantiene la estabilidad de tasa de potencia.
  • Se demuestra que la tasa de decaimiento es del orden $O(t^{-\xi})$ (para $p=0$) o $O(t^{-\frac{r_{\max}}{p}\beta})$ (para $p>0$).
  • Crucialmente, el artículo cuantifica cómo el parámetro $\alpha$ (la tasa de crecimiento asintótico del retardo) impacta la estabilidad: a medida que $\alpha \to 1$, la tasa de decaimiento garantizada se deteriora (se acerca a cero), lo que indica una convergencia más lenta.

3. Extensión a Sistemas Lineales

Los resultados generalizan los hallazgos existentes para sistemas positivos lineales.

• Para sistemas lineales de tiempo continuo ($\dot{x} = Ax + Bx(t-\tau(t))$), la estabilidad está garantizada si $A+B$ es Hurwitz (todos los autovalores tienen partes reales negativas).
• Para sistemas lineales de tiempo discreto ($x(k+1) = Ax(k) + Bx(k-d(k))$), la estabilidad está garantizada si el radio espectral de $A+B$ es menor que 1.
• A diferencia de trabajos previos que solo establecían la estabilidad, este artículo proporciona límites explícitos de la tasa de decaimiento para estos sistemas lineales bajo retardos no acotados.

Significado y Reivindicaciones

El artículo afirma proporcionar un marco integral para analizar la estabilidad de una clase significativa de sistemas positivos bajo restricciones mínimas de retardo.

• Generalidad: Los resultados se extienden más allá de los retardos constantes hacia retardos variables en el tiempo y no acotados, un escenario donde las pruebas basadas en la monotonicidad previas fallaron.
• Restricciones Mínimas: La técnica de prueba impone restricciones mínimas a los retardos, requiriendo solo que no crezcan más rápido que el tiempo mismo.
• Información Cuantitativa: Una contribución importante es la derivación de límites explícitos de la tasa de decaimiento. El artículo demuestra que, si bien la estabilidad es independiente del retardo, la velocidad de convergencia no lo es; esta está directamente influenciada por la tasa de crecimiento de los retardos.
• Unificación: El trabajo unifica el tratamiento de los sistemas de tiempo continuo y discreto y cierra la brecha entre los sistemas positivos lineales y no lineales respecto a la insensibilidad al retardo.

Los autores concluyen que sus hallazgos ofrecen una base teórica robusta para el análisis y control de sistemas positivos en entornos distribuidos donde los retardos en el intercambio de información son inevitables y potencialmente no acotados.