마코프 연쇄 기반 이산시간 행렬 시스템의 점별 안정성 연구

초록

본 논문은 시간동질·정상적인 마코프 점프 선형 시스템에서, 시스템이 본질적으로 곱유한(essentially product‑bounded)일 경우 점별 수렴(pointwise convergence)과 점별 지수수렴(pointwise exponential convergence)이 동등함을 증명한다. 이를 위해 측도·에르고딕 이론과 상태공간 분할 정리를 활용한다.

상세 분석

본 연구는 K개의 실수 d×d 행렬 S₁,…,S_K 로 구성된 집합 S와, 유한 상태공간 K 위에서 정의된 (p,P)‑마코프 연쇄 ξₙ을 결합한 마코프 점프 선형 시스템 (S,ξ) 를 고려한다. 시스템의 상태는 xₙ = x₀ S_{ξ₁} … S_{ξₙ} 로 전개되며, ξₙ은 시간동질·정상성을 만족한다. 논문은 먼저 “점별 수렴”(각 초기 상태 x에 대해 양의 확률을 갖는 경로 집합에서 상태가 0 으로 수렴)과 “점별 지수수렴”(위 경로 집합에서 로그 노름 평균이 음의 한계값을 갖는)이라는 두 개념을 정의하고, 이들 사이의 일반적인 포함 관계 (c)⇒(b)⇒(a) 를 확인한다.

핵심 가정은 본질적 비균등 곱유한성이다. 이는 거의 모든 ω∈Ω에 대해 ‖S_{ξ₁}(ω)…S_{ξₙ}(ω)‖ ≤ β(ω) (β은 ω‑에 의존하는 유한 함수) 가 성립함을 의미한다. 이 가정은 전통적인 균등 곱유한성(모든 전환열에 대해 동일한 상수 β 존재)보다 약하지만, 마코프 연쇄가 비가역적이거나 여러 불변 클래스로 분해될 때에도 적용 가능하다.

논문은 먼저 마코프 연쇄의 에르고딕 분해를 전개한다. 전이 행렬 P 가 비가역적일 경우, 상태공간 K 를 재발 상태들의 폐쇄·통신 클래스 K₁,…,K_r 로 분할하고, 각각에 대해 θ‑에르고딕 측도 μ_{p,P}(·|K_i) 를 정의한다. 이렇게 하면 전체 측도 μ_{p,P} 가 각 클래스의 가중합으로 표현되며, 각 클래스는 독립적인 심볼릭 시스템 (Σ⁺_{K_i},θ) 로 취급될 수 있다.

다음으로, 상태공간 R^{1×d} 에 대한 이분법적 분할 정리(Lemma 3.3)를 이용한다. 이 정리는 시스템의 궤적을 안정 부분과 발산 부분으로 분리하고, 본질적 곱유한성 하에서는 발산 부분이 μ‑거의 전혀 차지하지 않음을 보인다. 구체적으로, 점별 수렴이 성립하는 초기 상태 집합은 측도상 거의 전부가 안정 부분에 속함을 보이며, 이는 곧 로그 노름 평균이 음의 상수 이하로 수렴한다는 지수수렴 조건과 동치임을 증명한다.

주요 정리(Theorem 3.1)는 “(S,ξ) 가 본질적으로 비균등 곱유한이면, 점별 수렴 ⇔ 점별 지수수렴”임을 선언한다. 증명은 (a)⇒(b) 방향에서, 점별 수렴을 만족하는 경로 집합 Σ_x 의 측도가 양수임을 이용해 Birkhoff 평균 정리를 적용, 로그 노름 평균이 음의 한계값을 갖도록 β(ω) 를 적절히 조정한다. 반대 방향은 지수수렴이 주어지면 즉시 점별 수렴을 얻는 것이 자명함을 확인한다.

또한, 논문은 균등 곱유한성(Uniform Product Boundedness)과 본질적 비균등 곱유한성 사이의 차이를 예시(S₁=I, S₂=