임펄시브 스위치드 시스템을 위한 Berger‑Wang 공식

초록

본 논문은 연속‑시간과 이산‑시간 스위치드 선형 동역학이 혼합된 임펄시브 시스템을 대상으로, 가중 이산‑시간 스위치드 시스템에 대한 Berger‑Wang 유형의 정리를 먼저 확립한다. 이를 기반으로 임펄시브 시스템의 최대 Lyapunov 지수를 스펙트럴 반경과 연결시켜, 지수가 음수이면 지수적 안정, 양수이면 지수적 불안정을 완전히 특성화한다.

상세 분석

논문은 크게 두 부분으로 구성된다. 첫 번째는 가중 이산‑시간 스위치드 시스템(식 (2))에 대한 Berger‑Wang 공식의 증명이다. 여기서 ‘가중’이란 각 모드 전이가 소요하는 시간 τₖ를 의미하며, 이는 전이 행렬 Aₖ와 쌍을 이루어 (Aₖ,τₖ)∈𝒩 로 표기된다. 저자들은 시스템 궤적의 성장률을 두 가지 방식, 즉 연산자 노름 ‖Πₖ‖와 스펙트럴 반경 ρ(Πₖ) 기반의 지수 λ(Ξ)와 μ(Ξ) 로 정의하고, 가정 1(행렬 집합의 비가역성) 하에 λ(Ξ)=μ(Ξ)임을 보인다. 이는 전통적인 Berger‑Wang 정리와 동일한 형태이지만, 가중이 존재함에도 불구하고 동일한 결과가 유지된다는 점이 핵심이다. 증명 과정에서는 불변 부분공간의 부재를 이용한 Lemma 2와, 성장률 상한을 제공하는 Proposition 1을 활용한다.

두 번째 부분에서는 연속‑시간 시스템에 이산‑시간 가중 모델을 매핑한다. 임펄시브 시스템 Σ_{Z,τ} (식 (1))의 흐름 Φ_Z(t,0)은 스위칭 구간마다 연속적인 흐름과 순간 점프 Z₂가 결합된 형태이며, 이를 Z₂·e^{Z₁·τ} 형태의 가중 이산‑시간 전이 행렬로 재구성한다. 이렇게 얻은 가중 시스템의 최대 Lyapunov 지수 λ(Σ_{Z,τ})는 정의에 따라 Φ_Z의 노름 성장률의 상한이며, Theorem 1에서 λ(Σ_{Z,τ})=max_{(Z₁,Z₂)∈𝒵}α(Z₁)+sup_{Z, k} (1/t_k)·log ρ(Φ_Z(t_k,0)) 로 표현된다. Corollary 1은 λ이 음(양)이면 시스템이 지수적으로 안정(불안정)함을 즉시 도출한다.

주요 기여는 (1) 가중 이산‑시간 스위치드 시스템에 대한 Berger‑Wang 정리를 최초로 제시한 점, (2) 이를 이용해 임펄시브 스위치드 시스템의 안정성을 순수 스펙트럴 조건으로 완전히 기술한 점이다. 또한 비가역성 가정이 필요함을 명시하고, 무한 성장률(λ=+∞) 상황에서의 안정성 판단이 아직 미해결 문제임을 제시한다. 이론적 결과는 기존 Lyapunov 기반 방법보다 계산적으로 효율적인 스펙트럴 반경 추정 기법을 적용할 수 있게 하며, 샘플링‑데이터 기반 안정성 검증에도 활용 가능하다.