제약 전환 시스템을 위한 겔판드형 스펙트럼 반경 공식

초록

이 논문은 제약이 부여된 전환 신호 집합에 대해 공동 스펙트럼 반경과 일반화 스펙트럼 반경이 일치한다는 겔판드형 공식(Theorem A)을 증명하고, 이를 이용해 제한된 마코프 전환에 따른 선형 스위칭 시스템의 절대 지수 안정성 조건(Theorem B)을 제시한다.

상세 분석

본 연구는 매트릭스 멀티플리케이티브 반군(S⁺)을 제한된 부분집합 Λ⊂Σ⁺I 위에 제한했을 때, 기존의 Berger‑Wang 공식이 성립하지 않을 가능성을 지적한다. 저자는 Λ가 한쪽 마코프 이동 θ⁺에 대해 불변이며 컴팩트인 경우, ergodic theory와 subadditive ergodic theorem을 활용해 ρ(S↾Λ)=ĥρ(S↾Λ)임을 보인다(정리 A). 핵심은 연속적인 매트릭스값 함수 S:I→ℂ^{d×d}와 T‑불변 확률측도 μ∈M_erg(Ω,T) 하에서 정의되는 서브애디티브 시퀀스 f_n(ω)=log‖S{i_n}…S_{i_1}‖를 이용해 성장률 χ를 두고, Kingman 정리와 Schreiber‑Sturman‑Stark의 반균등 서브애디티브 정리를 결합해 χ가 μ‑almost everywhere에서 동일함을 보이며, 최적 μ를 선택해 χ=χ(μ)임을 증명한다(Lemma 2.5). 이는 기존의 무제한 경우에 사용되는 반군 구조가 없어도 동일한 결과를 얻을 수 있음을 의미한다.

정리 B에서는 ρ(S)=1인 경우에도 Λ‑절대 안정성(모든 전환 신호 i(·)∈Λ에 대해 제품 행렬이 0으로 수렴)과 ρ(S↾Λ)<1, 그리고 일정 N 이후 모든 길이 n≥N에 대해 ρ(S_{i_n}…S_{i_1})≤γ<1인 조건이 서로 동치임을 보인다. 여기서 컴팩트성은 ergodic 평균을 적용하기 위한 핵심 가정이며, 비컴팩트 Λ에 대한 반례(예 1.3)를 통해 필요성을 강조한다. 또한, 일반적인 무제한 경우에 존재하는 pre‑extremal norm(‖·‖_ε)과 달리, 제약된 경우에는 ‖·‖_ε가 존재하지 않을 수 있음을 논의하고, 이는 스위칭 제약이 semigroup 구조를 파괴함을 보여준다.

전체적으로, 논문은 ergodic 이론을 스위칭 시스템의 스펙트럼 반경 분석에 성공적으로 도입함으로써, 제약된 전환 환경에서도 Berger‑Wang 공식의 확장을 제공하고, 안정성 판단 기준을 명확히 제시한다는 점에서 이론적·실용적 의의를 가진다.