Equivalence of Finite- and Fixed-time Stability to Asymptotic Stability

A continuación presento un resumen técnico detallado del artículo "Equivalence of Finite- and Fixed-time Stability to Asymptotic Stability" de Kunal Garg, estructurado según los puntos solicitados.

1. Problema y Contexto

En las últimas décadas, la estabilidad asintótica (AS), exponencial (ES), de tiempo finito (FTS) y de tiempo fijo (FxTS) han sido estudiadas extensamente, especialmente en control y optimización, debido a que las tasas de convergencia más rápidas ofrecen mayor robustez frente a perturbaciones.

Sin embargo, persiste una pregunta teórica fundamental: ¿Cuál es la relación exacta entre estos distintos conceptos de convergencia?
Aunque se han demostrado equivalencias en contextos específicos (como flujos de gradiente en optimización convexa), la mayoría de los resultados existentes dependen de la existencia de una función de Lyapunov diferenciable y definida positiva. El artículo aborda la necesidad de:

1. Relajar la exigencia de diferenciabilidad, permitiendo el uso de funciones no suaves (non-smooth).
2. Generalizar la equivalencia más allá de los flujos de gradiente hacia una clase amplia de sistemas dinámicos no lineales.
3. Demostrar formalmente que cualquier sistema con un punto de equilibrio globalmente asintóticamente estable (GAS) puede transformarse para lograr estabilidad de tiempo fijo mediante una modificación geométrica (escalado/normalización).

2. Metodología

El autor utiliza un enfoque basado en principios de invarianza tipo LaSalle adaptados para análisis no suave, evitando la dependencia estricta de funciones de Lyapunov diferenciables.

• Análisis No Suave: Se emplean derivadas de Lie generalizadas (conjunto de valores) para funciones localmente Lipschitz. Se utilizan resultados previos sobre soluciones de Filippov para manejar la no diferenciabilidad.
• Principios de Invarianza: Se extienden los principios de invarianza de LaSalle para demostrar convergencia a un conjunto invariante donde la derivada de una función auxiliar $V$ es cero, sin asumir que $V$ sea definida positiva en todo el dominio inicial.
• Transformación de Dinámica: Se propone modificar la dinámica original $\dot{x} = f(x)$ mediante una normalización basada en potencias de la norma de la función de dinámica $\|f(x)\|$. La dinámica modificada tiene la forma:
  $$\dot{x} = \left( \frac{1}{\|f(x)\|^p} + \frac{1}{\|f(x)\|^q} \right) f(x)$$
  donde $0 < p < 1$ y $q < 0$ (o variantes por partes para gradientes).
• Acotación del Tiempo de Asentamiento: Se introduce una función escalar $\phi$ para acotar la tasa de decrecimiento, demostrando que la integral $\int \frac{dV}{\phi(V)}$ es finita (para FTS) o acotada uniformemente (para FxTS).

3. Contribuciones Clave

El trabajo presenta dos contribuciones principales:

1. Nuevos Criterios de Lyapunov No Suaves:

   • Se establecen resultados de primer y segundo orden para la convergencia en tiempo finito y tiempo fijo.
   • Estos resultados no requieren que la función candidata $V$ sea diferenciable ni estrictamente definida positiva, sino que se basan en la invarianza de conjuntos compactos y el comportamiento de la derivada de Lie generalizada $\tilde{L}_f V$.
   • Se proporciona un teorema (Teorema 2) que generaliza las condiciones de FTS/FxTS utilizando una función $\phi$ que controla la velocidad de convergencia.

2. Equivalencia de Tasas de Convergencia:

   • Se demuestra que un sistema dinámico general con un punto de equilibrio Globalmente Asintóticamente Estable (GAS) puede transformarse en un sistema con equilibrio Estable en Tiempo Fijo (FxTS) mediante una simple normalización de la dinámica.
   • Esto prueba que AS, ES, FTS y FxTS son esencialmente equivalentes bajo una transformación geométrica adecuada de la dinámica del sistema.

4. Resultados Principales

El artículo presenta una serie de teoremas que formalizan las contribuciones:

• Teoremas 2 y 3 (Condiciones de Convergencia): Establecen condiciones suficientes para FTS y FxTS utilizando funciones de Lyapunov no suaves y principios de invarianza. Se demuestra que si la derivada de Lie satisface ciertas desigualdades acotadas por una función $\phi$, la convergencia ocurre en tiempo finito o fijo.
• Teorema 4 (Equivalencia para Sistemas Generales):
  • Considera un sistema $\dot{x} = f(x)$ donde el origen es GAS.
  • Define un sistema modificado (5) normalizado por potencias de $\|f(x)\|$.
  • Bajo condiciones sobre la matriz $H(x) = -(\nabla f(x) + \nabla f(x)^T)$ (definida positiva o semidefinida positiva con condiciones de ortogonalidad), se prueba que el sistema original es GAS y el sistema modificado es FxTS.
  • Esto conecta explícitamente la estabilidad asintótica con la de tiempo fijo.
• Teorema 5 (Caso de Campos Gradiente):
  • Aplica los resultados a sistemas donde $f(x) = -\nabla V(x)$.
  • Propone una dinámica modificada por partes (ecuación 6) que asegura convergencia FxTS.
  • Se demuestra que, bajo las mismas condiciones de la matriz H, el origen es FxTS para el sistema modificado, validando la equivalencia en el contexto de optimización.

5. Significado e Impacto

Este trabajo tiene un impacto significativo en la teoría de sistemas dinámicos y el control:

• Unificación Teórica: Fortalece la hipótesis de que todas las tasas de convergencia están interconectadas. Muestra que la diferencia entre estabilidad asintótica y de tiempo fijo no es fundamental, sino una cuestión de la parametrización temporal (transformación de la dinámica).
• Generalización: Al eliminar la necesidad de funciones de Lyapunov diferenciables, los resultados son aplicables a una gama mucho más amplia de problemas, incluyendo aquellos con no suavidades inherentes (como en control por modos deslizantes o optimización no suave).
• Aplicaciones Prácticas:
  • Optimización: Ofrece una base teórica para acelerar algoritmos de optimización (como el descenso de gradiente) transformándolos en flujos de tiempo fijo, garantizando convergencia en un tiempo acotado independientemente de la condición inicial.
  • Control: Proporciona una metodología sistemática para diseñar controladores que garanticen tiempos de asentamiento predecibles y acotados, mejorando la robustez frente a perturbaciones.
• Nuevas Direcciones: Abre la puerta para analizar algoritmos de optimización no suave y extender estos principios de diseño a sistemas de control más complejos.

En resumen, el artículo demuestra que la estabilidad de tiempo fijo no es una propiedad intrínseca exclusiva de ciertos sistemas especiales, sino una propiedad alcanzable para cualquier sistema asintóticamente estable mediante una transformación de escala adecuada, todo ello fundamentado en un marco matemático robusto que relaja las condiciones de suavidad tradicionales.