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

Resumo Técnico: Critérios de Estabilidade via Matriz de Lyapunov Comum Não Estrita para Sistemas Lineares de Tempo Discreto com Alternância de Estados

Enunciado do Problema
O artigo investiga a estabilidade assintótica de sistemas lineares de tempo discreto com alternância de estados (switched systems) governados por um conjunto finito de matrizes $S = \{S_1, \dots, S_K\} \subset \mathbb{R}^{d \times d}$. A dinâmica é definida por $x_n = S_{\sigma_n} \cdots S_{\sigma_1} x_0$, onde $\sigma: \mathbb{N} \to \{1, \dots, K\}$ é um sinal de alternância arbitrário.

O foco central são os sistemas que compartilham uma matriz de Lyapunov comum, mas não necessariamente estrita, $P$. Especificamente, existe uma matriz $P$ simétrica e positiva-definida tal que:
$$P - S_k^T P S_k \geq 0 \quad \text{para todo } k = 1, \dots, K.$$
Esta condição implica que a norma induzida $\|x\|_P = \sqrt{x^T P x}$ é não crescente sob cada subsistema ($\|S_k\|_P \leq 1$), mas não garante contração estrita ($\|S_k\|_P < 1$). Os autores abordam o desafio de que, mesmo se os subsistemas individuais forem estáveis ($\rho(S_k) < 1$), o sistema com alternância pode não ser absolutamente estável (estável para todos os sinais de alternância) sob esta condição de Lyapunov fraca.

Metodologia
Os autores empregam uma combinação de álgebra linear, teoria espectral e teoria ergódica. Os principais componentes metodológicos incluem:

1. Decomposição do Espaço de Estados: Utilização de um teorema de decomposição (baseado no trabalho anterior [13]) para sinais de alternância recorrentes. Para um sinal recorrente $\sigma$, o espaço de estados $\mathbb{R}^d$ decompõe-se em um manifold estável $E_s(\sigma)$ e um manifold central $E_c(\sigma)$. A estabilidade é determinada se $E_c(\sigma)$ é trivial.
2. Análise do Conjunto $\omega$-Limite: O artigo analisa os conjuntos $\omega$-limite dos produtos de matrizes $\langle S_{\sigma_n} \cdots S_{\sigma_1} \rangle$. Sob a condição de Lyapunov fraca, estes conjuntos limite são compactos e possuem propriedades geométricas específicas em relação à norma $\|\cdot\|_P$.
3. Sinais Não-Caóticos e Recorrentes: Os autores distinguem entre sinais "não-caóticos" (que contêm subsequências constantes arbitrariamente longas) e sinais "recorrentes" (que retornam arbitrariamente próximo de seu estado inicial na topologia de deslocamento/shift).
4. Propriedade de Finitude Espectral: O artigo investiga se o raio espectral generalizado $\rho(S)$ é atingido por um produto finito de matrizes. Esta propriedade permite a decidibilidade da estabilidade absoluta.
5. Redução de Dimensão: As provas de estabilidade absoluta baseiam-se na análise das dimensões dos subespaços $K_{\|\cdot\|_P}(S_k)$ (vetores onde a norma é preservada) e de suas interseções.

Principais Contribuições e Resultados

1. Estabilidade sob Alternância Não-Caótica (Teorema A)
O artigo estabelece que, se $S$ satisfaz a condição de Lyapunov fraca e cada subsistema é estritamente estável ($\rho(S_k) < 1$), então o sistema é estável para qualquer sinal de alternância não-caótico. Isto estende resultados anteriores que exigiam sinais genéricos (regulares).

2. Estabilidade Quase Certa (Teorema B)
Para $d=2$ ou $d=3$, se a interseção dos subespaços de preservação de norma for trivial ($K_{\|\cdot\|_P}(S_1) \cap K_{\|\cdot\|_P}(S_2) = \{0\}$), o sistema é estável para quase todo sinal de alternância em relação a qualquer medida de probabilidade não-atômica ergódica. Isto destaca que a instabilidade, se existir, ocorre apenas em um conjunto de medida zero (tipicamente sinais periódicos específicos).

3. Critérios de Estabilidade Absoluta para $d=2$ e $d=3$ (Teoremas C e D)
O artigo fornece condições necessárias e suficientes para a estabilidade absoluta (estabilidade para todos os sinais de alternância) quando $d=2$ ou $d=3$:

• Caso $d=2$: $S$ é absolutamente estável se, e somente se, $\rho(S_1) < 1$, $\rho(S_2) < 1$ e $\rho(S_1 S_2) < 1$.
• Caso $d=3$: $S$ é absolutamente estável se, e somente se, $\rho(A) < 1$ para todos os produtos $A \in \{S_1, S_2\}^\ell$ onde $\ell \in \{1, 2, 3, 4, 5, 6, 8\}$.
  • Notavelmente, os autores observam que verificar palavras de comprimento 7 é desnecessário.

4. Propriedade de Finitude Espectral
Como consequência dos critérios de estabilidade absoluta, o artigo prova que para $d=2$ e $d=3$, se o sistema satisfaz a condição de Lyapunov fraca e possui um raio espectral generalizado $\rho(S) = 1$, então $S$ possui a propriedade de finitude espectral. Isto significa que o raio espectral é realizado por um produto finito de matrizes. Especificamente:

• Para $d=2$, $\rho(S) = \max \{ \rho(S_1), \rho(S_2), \sqrt{\rho(S_1 S_2)} \}$.
• Para $d=3$, $\rho(S)$ é o máximo das raízes n-ésimas dos raios espectrais de produtos de comprimento $n \in \{1, \dots, 6, 8\}$.

5. Contraexemplos e Limitações
Os autores fornecem exemplos (por exemplo, Exemplo 6.6) demonstrando que:

• A estabilidade do subsistema ($\rho(S_k) < 1$) não implica estabilidade absoluta se a condição de Lyapunov fraca for satisfeita, mas a condição de finitude espectral falhar (por exemplo, $\rho(S_1 S_2) = 1$).
• A "extensão" de um conjunto $S$ para um conjunto simétrico $S \cup S^T$ não preserva as propriedades de raio espectral necessárias para estas conclusões de estabilidade.

Significância e Alegações
O artigo afirma resolver a decidibilidade da estabilidade absoluta para sistemas lineares de tempo discreto com uma matriz de Lyapunov comum não estrita em dimensões $d=2$ e $d=3$. A significância reside em:

• Decidibilidade: Fornecer critérios finitos e computáveis (verificação de um número finito de produtos de matrizes) para determinar a estabilidade absoluta, o que é geralmente indecidível para sistemas com alternância arbitrários.
• Refinamento de Conceitos de Estabilidade: Distinguir entre estabilidade impulsionada por sinais não-caóticos, estabilidade quase certa e estabilidade absoluta, mostrando que, sob a condição de Lyapunov fraca, a instabilidade é frequentemente confinada a padrões de alternância periódicos específicos.
• Finitude Espectral: Estabelecer que a propriedade de finitude espectral ocorre para estas classes específicas de sistemas, ligando a condição geométrica da matriz de Lyapunov à propriedade algébrica de realização de raio espectral finito.

Os autores concluem levantando uma conjectura para $d \geq 4$: se a estabilidade periódica por alternância implica estabilidade absoluta sob a mesma condição de Lyapunov fraca, observando que as técnicas atuais não se estendem imediatamente para dimensões superiores.