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

技術的要約：共通の非厳密リアプノフ行列を用いた離散時間線形スイッチングシステムの安定性基準

問題設定
本論文は、有限個の行列集合 $S = \{S_1, \dots, S_K\} \subset \mathbb{R}^{d \times d}$ によって制御される離散時間線形スイッチングシステムの漸近安定性を調査している。ダイナミクスは $x_n = S_{\sigma_n} \cdots S_{\sigma_1} x_0$ で定義され、ここで $\sigma: \mathbb{N} \to \{1, \dots, K\}$ は任意のスイッチング信号である。

核心となる焦点は、行列が共通の（ただし必ずしも厳密ではない）リアプノフ行列 $P$ を共有する場合である。具体的には、以下の条件を満たす対称正定値行列 $P$ が存在する：
$$P - S_k^T P S_k \geq 0 \quad (\text{すべての } k = 1, \dots, K \text{ に対して})$$
この条件は、誘導ノルム $\|x\|_P = \sqrt{x^T P x}$ が各部分系において非増加であることを意味する（ $\|S_k\|_P \leq 1$ ）、しかし、厳密な縮小（ $\|S_k\|_P < 1$ ）を保証するものではない。著者らは、個々の部分系が安定（ $\rho(S_k) < 1$ ）であっても、この弱いリアプノフ条件の下では、スイッチングシステムが絶対安定（あらゆるスイッチング信号に対して安定）になるとは限らないという課題に取り組んでいる。

手法
著者らは、線形代数、スペクトル理論、およびエルゴード理論を組み合わせて用いている。主な手法的構成要素は以下の通りである：

1. 状態空間の分割： 再帰的なスイッチング信号（既往研究 [13] に基づく）のための分割定理を利用する。再帰的信号 $\sigma$ に対して、状態空間 $\mathbb{R}^d$ は安定多様体 $E_s(\sigma)$ と中心多様体 $E_c(\sigma)$ に分解される。安定性は $E_c(\sigma)$ が自明であるかどうかによって決定される。
2. $\omega$-極限集合の解析： 行列積 $\langle S_{\sigma_n} \cdots S_{\sigma_1} \rangle$ の $\omega$-極限集合を解析する。弱いリアプノフ条件の下では、これらの極限集合はコンパクトであり、ノルム $\|\cdot\|_P$ に関する特定の幾何学的性質を持つ。
3. 非カオス的および再帰的信号： 「非カオス的」信号（任意に長い定数部分列を含むもの）と「再帰的」信号（シフト位相において初期状態に任意に近く戻るもの）を区別する。
4. スペクトル有限性特性： 一般化スペクトル半径 $\rho(S)$ が行列の有限な積によって達成されるかどうかを調査する。この特性により、絶対安定性の決定可能性が可能となる。
5. 次元削減： ノルムを保存する部分空間 $K_{\|\cdot\|_P}(S_k)$ （ノルムが保存されるベクトル集合）とその交差の次元を解析することに基づき、絶対安定性の証明を行う。

主要な貢献と結果

1. 非カオス的スイッチング下での安定性（定理 A）
本論文は、$S$ が弱いリアプノフ条件を満たし、かつすべての部分系が厳密に安定（ $\rho(S_k) < 1$ ）である場合、システムはあらゆる非カオス的スイッチング信号に対して安定であることを確立している。これは、ジェネリック（正則）な信号を必要としていた従来の成果を拡張するものである。

2. ほとんど至る所での安定性（定理 B）
$d=2$ または $d=3$ の場合、ノルム保存部分空間の交わりが自明である（ $K_{\|\cdot\|_P}(S_1) \cap K_{\|\cdot\|_P}(S_2) = \{0\}$ ）ならば、システムは、任意の非原子的エルゴード確率測度に関して、ほとんど至る所のスイッチング信号に対して安定である。これは、不安定性が存在する場合、それが（通常は特定の周期的な信号のような）測度ゼロの集合上にのみ起こることを強調している。

3. $d=2$ および $d=3$ における絶対安定性の基準（定理 C および D）
本論文は、$d=2$ または $d=3$ の場合の絶対安定性（すべてのスイッチング信号に対する安定性）に関する必要十分条件を提示している：

• ケース $d=2$： $S$ が絶対安定であるための必要十分条件は、$\rho(S_1) < 1$、$\rho(S_2) < 1$、および $\rho(S_1 S_2) < 1$ であることである。
• ケース $d=3$： $S$ が絶対安定であるための必要十分条件は、すべての積 $A \in \{S_1, S_2\}^\ell$ に対して $\rho(A) < 1$ となることである（ここで $\ell \in \{1, 2, 3, 4, 5, 6, 8\}$ ）。
  • 特筆すべき点として、著者らは長さ7のワードをチェックする必要はないと指摘している。

4. スペクトル有限性特性
絶対安定性の基準の結果として、本論文は、$d=2$ または $d=3$ において、システムが弱いリアプノフ条件を満たし、かつ一般化スペクトル半径 $\rho(S) = 1$ を持つ場合、$S$ はスペクトル有限性特性を持つことを証明している。これは、スペクトル半径が行列の有限な積によって実現されることを意味する。具体的には：

• $d=2$ の場合、$\rho(S) = \max \{ \rho(S_1), \rho(S_2), \sqrt{\rho(S_1 S_2)} \}$ である。
• $d=3$ の場合、$\rho(S)$ は、長さ $n \in \{1, \dots, 6, 8\}$ の積のスペクトル半径の $n$ 乗根の最大値である。

5. 反例と限界
著者らは、以下を示す例（例 6.6 など）を挙げている：

• 部分系の安定性（ $\rho(S_k) < 1$ ）は、弱いリアプノフ条件が成立していても、スペクトル有限性条件が失敗する場合（例： $\rho(S_1 S_2) = 1$ ）、絶対安定性を意味しない。
• 集合 $S$ を対称集合 $S \cup S^T$ へ「拡張」することは、これらの安定性の結論に求められるスペクトル半径の性質を保持しない。

意義と主張
本論文は、共通の非厳密リアプノフ行列を持つ $d=2$ および $d=3$ の離散時間線形スイッチングシステムにおける絶対安定性の決定可能性を解決したと主張している。その意義は以下の点にある：

• 決定可能性： 一般的なスイッチングシステムでは決定不可能であることが多い絶対安定性を、有限かつ計算可能な基準（有限個の行列積のチェック）を用いて決定できることを示した。
• 安定性の概念の洗練： 非カオス的信号による安定性、ほとんど至る所での安定性、および絶対安定性を区別し、弱いリアプノフ条件の下では、不安定性がしばしば特定の周期的なスイッチングパターンに限定されることを示した。
• スペクトル有限性： スペクトル有限性特性がこれらの特定のクラスのシステムにおいて保持されることを示し、リアプノフ行列の幾何学的条件と、有限なスペクトル半径実現という代数的性質を結びつけた。

著者らは、$d \geq 4$ における予想として、同じ弱いリアプノフ条件の下で、周期的なスイッチング安定性が絶対安定性を意味するかどうかを提起しており、現在の手法では高次元への直接的な拡張が困難であることを述べている。