A generalized global Hartman-Grobman theorem for asymptotically stable semiflows

1. Il Problema

Il lavoro affronta una delle sfide fondamentali nella teoria dei sistemi dinamici: la linearizzazione globale di sistemi non lineari.

• Limiti del Teorema di Hartman-Grobman classico: Il teorema tradizionale garantisce una linearizzazione topologica solo localmente attorno a punti di equilibrio iperbolici. Non si applica globalmente e richiede l'ipotesi di iperbolicità, che esclude molti sistemi stabili non iperbolici.
• Sfide recenti: Anche nell'ambito della teoria dell'operatore di Koopman, ottenere sistemi di coordinate globali in cui la dinamica appare lineare rimane una sfida aperta.
• Carenza di continuità e stabilità in tempo finito: Esistono sistemi importanti (es. sistemi a controllo discontinuo, sistemi a stabilità in tempo finito) che generano semiflussi anziché flussi completi. In questi casi, la dinamica può non essere definita per $t < 0$ (a causa della convergenza in tempo finito) e il campo vettoriale può essere discontinuo o multivalore nel punto di equilibrio. I teoremi esistenti (come quello di Kvalheim e Sontag) si basano su campi vettoriali continui e non coprono direttamente questi scenari.

L'obiettivo dell'autore è estendere i risultati di Kvalheim e Sontag per includere semiflussi asintoticamente stabili generati da campi vettoriali che possono essere discontinui o multivalore nel punto di equilibrio, senza assumere iperbolicità.

2. Metodologia

L'autore utilizza un approccio che combina la teoria della stabilità di Lyapunov con la topologia differenziale e la teoria dei sistemi dinamici non lisci.

• Quadro Matematico:

  • Si considerano campi vettoriali su varietà lisce $M \subseteq \mathbb{R}^k$, che possono essere multivalore (insiemi convessi compatti) nel punto di equilibrio $x^*$ e localmente Lipschitziani altrove.
  • Le soluzioni sono interpretate nel senso di Filippov (inclusione differenziale), permettendo di gestire discontinuità.
  • Si studiano semiflussi $\phi: M \times \mathbb{R}_{\geq 0} \to M$, dove la dinamica potrebbe non essere reversibile nel tempo (convergenza in tempo finito).

• Costruzione della Coniugazione Topologica:

  • L'idea centrale è sfruttare l'esistenza di una funzione di Lyapunov $C^\infty$ (garantita dalla teoria inversa di Lyapunov per sistemi stabili) per "raddrizzare" la dinamica.
  • A differenza dei flussi classici dove si può estendere la dinamica all'infinito nel passato, qui si deve gestire il fatto che le traiettorie possono raggiungere l'equilibrio in tempo finito.
  • L'autore costruisce un omeomorfismo $h: M \to \mathbb{R}^n$ che mappa il bacino di attrazione $B(x^*)$ nello spazio euclideo.
  • La mappa è costruita in due fasi:
    1. Si definisce una superficie di livello della funzione di Lyapunov $L_\epsilon = V^{-1}(\epsilon)$, che è omeomorfa a una sfera $S^{n-1}$.
    2. Si definisce un tempo di transito $\tau(x)$ che misura quanto tempo manca per raggiungere $L_\epsilon$ (o per allontanarsi da esso nel caso di flussi completi).
  • La mappa di coniugazione $h$ è definita esplicitamente come $h(x) = e^{\tau'(x)} P(\rho(x))$, dove $P$ proietta sulla sfera e $\tau'$ è una funzione scalata per gestire la continuità all'equilibrio e la divergenza nel tempo negativo.

• Gestione della Discontinuità e del Tempo Finito:

  • Il teorema non richiede una riparametrizzazione del tempo.
  • Si dimostra che, sebbene la stabilità in tempo finito impedisca una coniugazione globale perfetta con un flusso lineare esponenziale (che non ha stabilità in tempo finito), è possibile ottenere una coniugazione che è esattamente lineare fuori da un qualsiasi intorno arbitrariamente piccolo dell'equilibrio.

3. Risultati Chiave (Teorema II.2)

Il risultato principale è un'estensione globale del teorema di Hartman-Grobman per semiflussi asintoticamente stabili, senza iperbolicità.

Il teorema si divide in due casi basati sul dominio del semiflusso:

1. Caso (I) (Flusso completo nel passato): Se il semiflusso è definito per $t \in (-\infty, 0]$ su tutto il bacino di attrazione (escluso l'equilibrio), allora esiste un omeomorfismo $h_r$ tale che la dinamica coniugata coincide con il flusso lineare $\dot{y} = -y$ (o $e^{-t}y$) fuori da una sfera $B(0, r)$. All'interno della sfera, la dinamica può essere diversa (es. stabilità in tempo finito).
2. Caso (II) (Semiflusso con confini o tempo finito): Se il semiflusso non è definito per tutto il passato (es. a causa di confini della varietà o convergenza in tempo finito), esiste un omeomorfismo $h_r$ e un raggio $R > r$ tali che la coniugazione con il sistema lineare vale per tutte le traiettorie che partono da una regione anulare $cl(B(0, R)) \setminus B(0, r)$.

Punti fondamentali del risultato:

• Indistinguibilità Pratica: Qualsiasi semiflusso asintoticamente stabile è "praticamente" topologicamente coniugato al flusso canonico $\dot{y} = -y$. La differenza sostanziale (es. stabilità in tempo finito vs asintotica) è confinata in un intorno arbitrariamente piccolo dell'equilibrio.
• Assenza di Iperbolicità: Il teorema funziona anche per sistemi non iperbolici, sfruttando la stabilità asintotica e le proprietà topologiche delle funzioni di Lyapunov.
• Gestione della Discontinuità: Il risultato vale per campi vettoriali che soddisfano le condizioni di base (limitati localmente, semicontinuità superiore, valori convessi compatti), tipiche dei sistemi a controllo discontinuo.

4. Esempi e Applicazioni

L'autore illustra il teorema con un esempio concreto:

• Sistema di riferimento: $\dot{x} = -x/\|x\|^2$ (con soluzione che raggiunge 0 in tempo finito).
• Costruzione esplicita: Viene derivata la formula esatta dell'omeomorfismo $h_r$ e della sua inversa.
• Comportamento osservato:
  • All'esterno di una sfera $B(0, r)$, la dinamica trasformata è puramente esponenziale ($\dot{y} = -y$).
  • All'interno della sfera, la dinamica trasformata recupera la stabilità in tempo finito (comportamento quadratico o simile a $\dot{s} = -\sqrt{s}$).
  • Questo dimostra come un sistema a stabilità in tempo finito possa apparire asintoticamente stabile se osservato da una certa scala di coordinate, e viceversa.

5. Significato e Implicazioni

• Teoria dei Sistemi Dinamici: Il lavoro chiarisce la distinzione tra sistemi asintoticamente stabili e a stabilità in tempo finito dal punto di vista topologico. Dimostra che, globalmente, la loro struttura è molto simile, differendo solo localmente vicino all'equilibrio.
• Teoria di Koopman: Sebbene il paper non si focalizzi sugli spettri di Koopman, i risultati rafforzano il quadro teorico per la linearizzazione globale. Suggeriscono che esistono trasformazioni di coordinate (omeomorfismi) che possono rendere la dinamica lineare su grandi domini, un obiettivo centrale nella teoria di Koopman.
• Apprendimento dei Sistemi (Data-Driven): Le osservazioni hanno implicazioni per l'apprendimento automatico di sistemi dinamici stabili. Se un modello appreso è asintoticamente stabile ma il sistema reale è a stabilità in tempo finito (o viceversa), le due dinamiche potrebbero essere topologicamente equivalenti su domini pratici, suggerendo che la distinzione potrebbe essere una questione di scala o di scelta delle coordinate piuttosto che una differenza strutturale fondamentale.
• Generalizzazione: Il lavoro apre la strada a future ricerche su attrattori più generali (non solo punti di equilibrio) e sulla topologia degli spazi dei sistemi stabili.

In sintesi, il paper fornisce un potente strumento teorico per trattare la linearizzazione globale di sistemi non lineari complessi, discontinui e a stabilità in tempo finito, superando le limitazioni classiche dell'iperbolicità e della continuità.