Stability Criteria via Common Non-strict Lyapunov Matrix for Discrete-time Linear Switched Systems

Sintesi Tecnica: Criteri di Stabilità tramite Matrice di Lyapunov Comune Non Stretta per Sistemi Lineari Discreti a Commutazione

Enunciato del Problema
Il saggio investiga la stabilità asintotica di sistemi lineari discreti a commutazione governati da un insieme finito di matrici $S = \{S_1, \dots, S_K\} \subset \mathbb{R}^{d \times d}$. La dinamica è definita da $x_n = S_{\sigma_n} \cdots S_{\sigma_1} x_0$, dove $\sigma: \mathbb{N} \to \{1, \dots, K\}$ è un segnale di commutazione arbitrario.

Il focus centrale riguarda i sistemi che condividono una matrice di Lyapunov comune, ma non necessariamente stretta, $P$. Esiste cioè una matrice simmetrica definita positiva $P$ tale che:
$$P - S_k^T P S_k \geq 0 \quad \text{per ogni } k = 1, \dots, K.$$
Questa condizione implica che la norma indotta $\|x\|_P = \sqrt{x^T P x}$ è non crescente sotto ogni sottosistema ($\|S_k\|_P \leq 1$), ma non garantisce una contrazione stretta ($\|S_k\|_P < 1$). Gli autori affrontano la sfida secondo cui, anche se i singoli sottosistemi sono stabili ($\rho(S_k) < 1$), il sistema a commutazione potrebbe non essere assolutamente stabile (stabile per tutti i segnali di commutazione) sotto questa debole condizione di Lyapunov.

Metodologia
Gli autori impiegano una combinazione di algebra lineare, teoria spettrale e teoria ergodica. I componenti metodologici chiave includono:

1. Scomposizione dello Spazio degli Stati: Utilizzo di un teorema di scomposizione (basato sul lavoro precedente [13]) per segnali di commutazione ricorrenti. Per un segnale ricorrente $\sigma$, lo spazio degli stati $\mathbb{R}^d$ si decompone in un manifold stabile $E_s(\sigma)$ e un manifold centrale $E_c(\sigma)$. La stabilità è determinata dal fatto che $E_c(\sigma)$ sia banale.
2. Analisi dell'Insieme $\omega$-Limite: Il saggio analizza gli insiemi $\omega$-limite dei prodotti di matrici $\langle S_{\sigma_n} \cdots S_{\sigma_1} \rangle$. Sotto la debole condizione di Lyapunov, questi insiemi limite sono compatti e possiedono proprietà geometriche specifiche rispetto alla norma $\|\cdot\|_P$.
3. Segnali Non Caotici e Ricorrenti: Gli autori distinguono tra segnali "non caotici" (che contengono sottosequenze costanti arbitrariamente lunghe) e segnali "ricorrenti" (che ritornano arbitrariamente vicino al proprio stato iniziale nella topologia di shift).
4. Proprietà di Finitezza Spettrale: Il saggio investiga se il raggio spettrale generalizzato $\rho(S)$ sia raggiunto da un prodotto finito di matrici. Questa proprietà permette la decidibilità della stabilità assoluta.
5. Riduzione della Dimensionalità: Le dimostrazioni della stabilità assoluta si basano sull'analisi delle dimensioni dei sottospazi $K_{\|\cdot\|_P}(S_k)$ (vettori dove la norma è preservata) e delle loro intersezioni.

Contributi Chiave e Risultati

1. Stabilità sotto Commutazione Non Caotica (Teorema A)
Il saggio stabilisce che se $S$ soddisfa la debole condizione di Lyapunov e ogni sottosistema è strettamente stabile ($\rho(S_k) < 1$), allora il sistema è stabile per qualsiasi segnale di commutazione non caotico. Ciò estende i risultati precedenti che richiedevano segnali generici (regolari).

2. Stabilità Quasi Sicura (Teorema B)
Per $d=2$ o $d=3$, se l'intersezione dei sottospazi che preservano la norma è banale ($K_{\|\cdot\|_P}(S_1) \cap K_{\|\cdot\|_P}(S_2) = \{0\}$), il sistema è stabile per quasi ogni segnale di commutazione rispetto a qualsiasi misura di probabilità non atomica. Ciò evidenzia che l'instabilità, se esiste, si verifica solo su un insieme di misura zero (tipicamente segnali periodici specifici).

3. Criteri di Stabilità Assoluta per $d=2$ e $d=3$ (Teoremi C e D)
Il saggio fornisce condizioni necessarie e sufficienti per la stabilità assoluta (stabilità per tutti i segnali di commutazione) quando $d=2$ o $d=3$:

• Caso $d=2$: $S$ è assolutamente stabile se e solo se $\rho(S_1) < 1$, $\rho(S_2) < 1$ e $\rho(S_1 S_2) < 1$.
• Caso $d=3$: $S$ è assolutamente stabile se e solo se $\rho(A) < 1$ per tutti i prodotti $A \in \{S_1, S_2\}^\ell$ dove $\ell \in \{1, 2, 3, 4, 5, 6, 8\}$.
  • Notevolmente, gli autori osservano che controllare parole di lunghezza 7 è superfluo.

4. Proprietà di Finitezza Spettrale
Come conseguenza dei criteri di stabilità assoluta, il saggio dimostra che per $d=2$ e $d=3$, se il sistema soddisfa la debole condizione di Lyapunov e ha un raggio spettrale generalizzato $\rho(S) = 1$, allora $S$ possiede la proprietà di finitezza spettrale. Ciò significa che il raggio spettrale è realizzato da un prodotto finito di matrici. Nello specifico:

• Per $d=2$, $\rho(S) = \max \{ \rho(S_1), \rho(S_2), \sqrt{\rho(S_1 S_2)} \}$.
• Per $d=3$, $\rho(S)$ è il massimo delle radici $n$-esime dei raggi spettrali di prodotti di lunghezza $n \in \{1, \dots, 6, 8\}$.

5. Controesempi e Limitazioni
Gli autori forniscono esempi (ad esempio, Esempio 6.6) dimostrando che:

• La stabilità del sottosistema ($\rho(S_k) < 1$) non implica la stabilità assoluta se la debole condizione di Lyapunov è soddisfatta ma la condizione di finitezza spettrale fallisce (ad esempio, $\rho(S_1 S_2) = 1$).
• L' "estensione" di un insieme $S$ a un insieme simmetrico $S \cup S^T$ non preserva le proprietà del raggio spettrale richieste per queste conclusioni di stabilità.

Significatività e Rivendicazioni
Il saggio sostiene di risolvere la decidibilità della stabilità assoluta per sistemi lineari a commutazione discreti con una matrice di Lyapunov comune non stretta in dimensioni $d=2$ e $d=3$. La significatività risiede nel:

• Decidibilità: Fornire criteri finiti e computabili (il controllo di un numero finito di prodotti di matrici) per determinare la stabilità assoluta, il che è generalmente indecidibile per sistemi a commutazione arbitrari.
• Raffinatezza dei Concetti di Stabilità: Distinguere tra stabilità guidata da segnali non caotici, stabilità quasi sicura e stabilità assoluta, mostrando che, sotto la debole condizione di Lyapunov, l'instabilità è spesso confinata a specifici pattern di commutazione periodici.
• Finitezza Spettrale: Stabilire che la proprietà di finitezza spettrale è valida per queste classi specifiche di sistemi, collegando la condizione geometrica della matrice di Lyapunov alla proprietà algebrica della realizzazione del raggio spettrale finito.

Gli autori concludono ponendo una congettura per $d \geq 4$: se la stabilità periodica a commutazione implichi la stabilità assoluta sotto la stessa debole condizione di Lyapunov, notando che le tecniche attuali non si estendono immediatamente a dimensioni superiori.