A generalized global Hartman-Grobman theorem for asymptotically stable semiflows

Resumen Técnico: Un Teorema de Hartman-Grobman Global Generalizado para Semiflows Asintóticamente Estables

1. Planteamiento del Problema

El teorema clásico de Hartman-Grobman establece que, cerca de un punto de equilibrio hiperbólico, un sistema dinámico no lineal es topológicamente conjugado a su linealización. Sin embargo, este resultado tiene dos limitaciones fundamentales:

1. Localidad: Solo es válido en una vecindad pequeña del equilibrio.
2. Hiperbolicidad: Requiere que el equilibrio sea hiperbólico (sin valores propios con parte real cero).

Recientemente, Kvalheim y Sontag extendieron este teorema a un contexto global para campos vectoriales continuos, utilizando la teoría de Lyapunov para relajar la necesidad de hiperbolicidad. No obstante, el problema persiste para sistemas que:

• Presentan discontinuidades en el punto de equilibrio (comunes en control por retroalimentación discontinua o sistemas de tiempo finito).
• Generan semiflows en lugar de flows completos (donde las soluciones no están definidas para tiempos negativos $t < 0$).
• Exhiben estabilidad en tiempo finito (donde las trayectorias alcanzan el equilibrio en un tiempo finito), lo cual impide una conjugación global estricta con un sistema lineal asintóticamente estable (como $\dot{y} = -y$) en todo el dominio, ya que los sistemas lineales asintóticos nunca alcanzan el equilibrio en tiempo finito.

El objetivo del artículo es extender el teorema de Kvalheim-Sontag a una clase de campos vectoriales posiblemente discontinuos que generan semiflows asintóticamente estables, abordando la obstrucción de la continuidad y la estabilidad en tiempo finito.

2. Metodología

El autor emplea una combinación de teoría de sistemas dinámicos no suaves, topología algebraica y teoría de Lyapunov inversa.

• Marco de Soluciones (Filippov): Se consideran campos vectoriales que pueden ser multivaluados en el equilibrio (usando el operador de Filippov) y son localmente Lipschitz fuera de él. Esto permite modelar sistemas con discontinuidades y estabilidad en tiempo finito.
• Estabilidad y Funciones de Lyapunov: Se asume la existencia de una función de Lyapunov suave ($C^\infty$) $V$ para el equilibrio asintóticamente estable $x^*$. Esta función reemplaza a la función de Morse utilizada en contextos hiperbólicos.
• Construcción Topológica:
  • Se utiliza el hecho de que los conjuntos de nivel de $V$ (esferas topológicas) son homeomorfos a $S^{n-1}$ (gracias a la resolución de la conjetura de Poincaré).
  • Se define un tiempo de llegada $T^+$ hacia una superficie de nivel $L_\epsilon = V^{-1}(\epsilon)$.
  • Se construye un homeomorfismo $h$ que "endereza" las trayectorias. A diferencia del caso de flujos continuos donde el tiempo puede ir a $-\infty$, aquí se maneja la imposibilidad de definir el tiempo hacia atrás indefinidamente para ciertos puntos (debido a la estabilidad en tiempo finito).
• Estrategia de "Práctica" Linealización: En lugar de buscar una conjugación global exacta (que es imposible si el sistema original es de tiempo finito y el objetivo es lineal asintótico), el autor demuestra que existe una conjugación topológica que es válida fuera de cualquier vecindad arbitrariamente pequeña del equilibrio. Dentro de esa vecindad, el comportamiento se ajusta para preservar la estabilidad en tiempo finito.

3. Contribuciones Clave

1. Generalización a Campos Discontinuos: Extiende el teorema de Hartman-Grobman global a sistemas generados por campos vectoriales que pueden ser discontinuos en el equilibrio, abarcando sistemas de control con conmutación y sistemas de tiempo finito.
2. Tratamiento de Semiflows: Formaliza la linealización topológica para semiflows, donde el dominio de definición temporal es $[0, \infty)$, reconociendo que la inversión temporal no siempre es posible.
3. Teorema II.2 (Resultado Principal): Establece que cualquier semiflow asintóticamente estable (bajo condiciones de regularidad moderada) es topológicamente conjugado al flujo canónico $\dot{y} = -y$ (o $e^{-t}y$) fuera de una bola arbitraria $B(0, r)$ centrada en el equilibrio.
   • Fuera de $B(0, r)$, el sistema se comporta exactamente como un sistema lineal asintótico.
   • Dentro de $B(0, r)$, la conjugación preserva la dinámica de tiempo finito (o la estabilidad asintótica específica del sistema original), evitando la contradicción de mapear un sistema de tiempo finito a uno puramente asintótico en todo el espacio.
4. Construcción Semi-Constructiva: Proporciona una fórmula explícita para el homeomorfismo de linealización $h_r$ y su inverso, basándose en la función de Lyapunov y el tiempo de llegada a superficies de nivel.

4. Resultados Principales

El teorema se divide en dos casos según la estructura del dominio de atracción $B(x^*)$:

• Caso I (Dominio no acotado o sin frontera): Si el sistema permite retroceder en el tiempo indefinidamente fuera del equilibrio (como en $\mathbb{R}^n$), existe un homeomorfismo $h_r: B(x^*) \to \mathbb{R}^n$ tal que, para cualquier radio $r > 0$, la conjugación $h_r \circ \phi_t \circ h_r^{-1}$ coincide con la dinámica lineal $e^{-t}y$ para todo $y$ fuera de la bola $B(0, r)$ y para tiempos $t$ dentro de un intervalo determinado por una función $\gamma_r \in \mathcal{K}_\infty$.
• Caso II (Dominio con frontera o acotado): Si el sistema tiene fronteras o no permite retroceso infinito en ciertas direcciones, se construye una conjugación similar que es válida en una región anular $cl(B(0, R)) \setminus B(0, r)$.

Ejemplo Ilustrativo (Sección III-A):
Para el campo vectorial de tiempo finito $\dot{x} = -x/\|x\|^2$ (donde las trayectorias llegan a 0 en tiempo finito), el autor construye explícitamente el homeomorfismo.

• Fuera de una bola $B(0, r)$, el sistema transformado es puramente exponencial ($\dot{y} = -y$).
• Dentro de $B(0, r)$, la dinámica transformada recupera el comportamiento de tiempo finito (decay cuadrático o similar), demostrando que la "linealización" es una aproximación topológica válida fuera de una vecindad crítica.

5. Significado e Impacto

• Unificación de Conceptos: El trabajo une la teoría de estabilidad (Lyapunov) con la topología de sistemas dinámicos, mostrando que la hiperbolicidad no es necesaria para la linealización global si se acepta una "linealización práctica" (válida fuera de una vecindad del equilibrio).
• Implicaciones para el Aprendizaje de Datos (Data-Driven): Sugiere que, desde una perspectiva de aprendizaje automático o identificación de sistemas, los sistemas asintóticamente estables (incluso los de tiempo finito) pueden ser indistinguibles de sistemas lineales asintóticos si se observa el sistema fuera de una vecindad suficientemente pequeña del equilibrio. Esto tiene ramificaciones para la construcción de modelos de Koopman y la reducción de orden.
• Teoría de Koopman: Refuerza el marco del operador de Koopman al demostrar que existen coordenadas globales (aunque no necesariamente diferenciables en el equilibrio) donde la dinámica aparece lineal, abordando el desafío abierto de obtener sistemas de coordenadas de dimensión finita con dinámica aproximadamente lineal.
• Robustez y Control: Proporciona una base teórica para analizar sistemas con retroalimentación discontinua, comunes en control robusto y de modo deslizante, permitiendo tratarlos con herramientas de sistemas lineales en gran parte de su dominio.

En conclusión, el artículo demuestra que, topológicamente, "todos los semiflows asintóticamente estables son prácticamente indistinguibles" del flujo canónico $\dot{y} = -y$, salvo por el comportamiento en una vecindad arbitrariamente pequeña del punto de equilibrio, donde se preservan las características específicas (como la estabilidad en tiempo finito).