A generalized global Hartman-Grobman theorem for asymptotically stable semiflows

1. Problema e Motivação

O artigo aborda a limitação fundamental da teoria clássica de linearização de sistemas dinâmicos, especificamente o Teorema de Hartman-Grobman. Tradicionalmente, este teorema garante que, localmente, um sistema não linear é topologicamente conjugado a seu sistema linearizado (sua parte linear) apenas em torno de pontos de equilíbrio hiperbólicos.

O autor identifica três lacunas principais que este trabalho visa preencher:

1. Globalidade: A maioria dos resultados de linearização é local. A teoria de operadores de Koopman promete uma análise global, mas a obtenção de mapas de coordenadas globais que tornem a dinâmica aproximadamente linear permanece um desafio aberto.
2. Hipótese de Hiperbolicidade: O teorema clássico exige que o ponto de equilíbrio seja hiperbólico (nenhum autovalor com parte real zero). O trabalho anterior de Kvalheim e Sontag [7] removeu essa restrição para campos vetoriais contínuos, utilizando a estabilidade assintótica e funções de Lyapunov.
3. Descontinuidade e Estabilidade em Tempo Finito: O artigo estende esses resultados para campos vetoriais que podem ser descontínuos no ponto de equilíbrio e geram semifluxos (fluxos definidos apenas para $t \geq 0$). Isso é crucial para sistemas de controle com feedback descontínuo e sistemas que exibem estabilidade em tempo finito (onde as trajetórias atingem o equilíbrio em tempo finito, não apenas assintoticamente).

O problema central é: É possível encontrar uma conjugação topológica global (ou "praticamente" global) que linearize sistemas assintoticamente estáveis, mesmo na presença de descontinuidades e estabilidade em tempo finito, sem reparametrização do tempo?

2. Metodologia

O autor utiliza uma abordagem baseada em topologia e teoria de Lyapunov, construindo sobre os resultados de Kvalheim e Sontag [7] e resultados topológicos de [9] e [10].

• Configuração do Sistema:

  • Considera-se um campo vetorial $X$ em uma variedade suave $M \subseteq \mathbb{R}^k$.
  • O campo pode ser multivalorado (set-valued) e descontínuo no ponto de equilíbrio $x^*$, satisfazendo as condições básicas para a teoria de Lyapunov reversa suave (limitado localmente, semi-contínuo superiormente, com valores compactos e convexos).
  • As soluções são interpretadas no sentido de Filippov, gerando um semifluxo $\phi_t$ (definido para $t \geq 0$).
  • O equilíbrio $x^*$ é globalmente assintoticamente estável.

• Construção da Conjugação:

  • O autor constrói um homeomorfismo $h: M \to \mathbb{R}^n$ que mapeia o sistema não linear para um sistema linear canônico (ex: $\dot{y} = -y$).
  • Desafio do Tempo Finito: Em sistemas com estabilidade em tempo finito, não existe um homeomorfismo que conjugue o sistema a um fluxo linear global para todo $t \in \mathbb{R}$, pois o sistema linear nunca atinge o equilíbrio em tempo finito.
  • Solução "Prática": O teorema estabelece que a conjugação é válida fora de qualquer vizinhança arbitrariamente pequena do ponto de equilíbrio. Ou seja, para qualquer raio $r > 0$, o sistema é conjugado ao sistema linear na região $B(0, r)^c$ (fora da bola de raio $r$). Dentro dessa bola, a dinâmica preserva a estabilidade em tempo finito, mas com uma forma funcional modificada.

• Ferramentas Topológicas:

  • Uso de uma função de Lyapunov suave $V$ para definir superfícies de nível $L_\epsilon = V^{-1}(\epsilon)$.
  • A topologia das superfícies de nível (homeomorfas a esferas $S^{n-1}$) é explorada para "endireitar" a dinâmica.
  • Definição de tempos de chegada ($T^+$) e mapeamentos que conectam as trajetórias às superfícies de nível, permitindo a construção explícita do homeomorfismo.

3. Principais Contribuições e Resultados

O resultado central é o Teorema II.2, um teorema de Hartman-Grobman global generalizado para semifluxos assintoticamente estáveis, sem exigir hiperbolicidade.

O teorema apresenta dois casos principais:

1. Caso (I) - Domínio Ilimitado (ex: $\mathbb{R}^n$):

   • Para qualquer raio $r > 0$, existe um homeomorfismo $h_r: B(x^*) \to \mathbb{R}^n$ e uma função $\gamma_r \in \mathcal{K}_\infty$ tal que, para pontos fora da bola $B(0, r)$, a dinâmica conjugada é exatamente a linear $\dot{y} = -y$ (ou $e^{-t}y$).
   • A conjugação é válida para um tempo $t$ limitado por $\gamma_r(\|y\| - r)$.
   • Interpretação: Fora de uma pequena vizinhança do equilíbrio, o sistema não linear (mesmo com descontinuidades) comporta-se topologicamente como um sistema linear assintoticamente estável.

2. Caso (II) - Domínio Limitado ou com Fronteira:

   • Estende o resultado para variedades com fronteira ou domínios limitados, onde o tempo de existência do fluxo pode ser limitado em ambas as direções temporais (embora o foco seja $t \geq 0$).
   • A conjugação é válida em anéis $cl(B(0, R)) \setminus B(0, r)$.

Exemplo Ilustrativo (Seção III-A):
O autor aplica o teorema ao campo vetorial clássico de estabilidade em tempo finito: $\dot{x} = -x/\|x\|^2$.

• O sistema original atinge o equilíbrio em tempo finito.
• O sistema conjugado $h_r \circ \phi_t \circ h_r^{-1}$ comporta-se como $\dot{y} = -y$ (decaimento exponencial) quando $\|y\| > r$.
• Quando a trajetória entra na bola $B(0, r)$, a dinâmica muda para uma forma que preserva a estabilidade em tempo finito (ex: decaimento quadrático), demonstrando que a "linearização" é apenas prática (válida fora da vizinhança do equilíbrio).

4. Significado e Implicações

• Unificação de Estabilidade: O trabalho demonstra que, topologicamente, todos os sistemas assintoticamente estáveis (sejam eles contínuos, descontínuos, ou de tempo finito) são "praticamente indistinguíveis" fora de uma vizinhança arbitrária do equilíbrio. Eles podem ser transformados no mesmo sistema linear canônico.
• Relação com Teoria de Koopman: Embora o artigo não foque em espectros de operadores (o foco da teoria de Koopman), ele reforça a ideia de que é possível obter representações globais de sistemas não lineares. A existência de tais homeomorfios sugere que a busca por coordenadas globais lineares é viável sob a ótica topológica, mesmo que não seja diferenciável.
• Sistemas de Controle e Robustez: A capacidade de lidar com campos vetoriais descontínuos (como em controle por modo deslizante) e estabilidade em tempo finito torna o teorema altamente relevante para a análise de sistemas de controle modernos.
• Aprendizado de Máquina de Sistemas Dinâmicos: O autor sugere que esses resultados têm ramificações para o aprendizado de dados de sistemas estáveis. Se todos os sistemas estáveis são topologicamente equivalentes fora de uma pequena região, modelos de aprendizado podem ser construídos com base nessa estrutura universal, simplificando a generalização.
• Limitações e Futuro: O artigo destaca que a conjugação não é diferenciável no ponto de equilíbrio (o homeomorfismo não é um difeomorfismo). Trabalhos futuros visam generalizar isso para atratores gerais (não apenas pontos de equilíbrio), o que é um desafio topológico significativo devido à complexidade da homotopia de atratores compactos.

Em resumo, o artigo fornece uma ferramenta teórica poderosa para entender a estrutura global de sistemas estáveis não lineares, removendo a barreira da hiperbolicidade e abrindo caminho para a análise de sistemas descontínuos e de tempo finito através de uma lente de linearização topológica "prática".