카운트 가능한 마코프 이동에서 오베리 점을 이용한 조밀한 주기 최적화

초록

본 논문은 전이성 카운트 가능한 마코프 전이 시스템에서, 지역 Hölder 연속성을 갖는 잠재함수들의 조밀한 부분집합에 대해 최대화 측도가 하나 이하의 주기적 확률 측도임을 보인다. 이를 위해 Aubry 집합, Mañé 잠재함수, Peierls 장벽 등을 도입하고, Aubry 점이 존재할 경우 연속적인 서브액션이 존재함을 증명한다.

상세 분석

본 연구는 비컴팩트한 기호역동계, 즉 카운트 가능한 알파벳을 갖는 전이성 마코프 이동(Σ,σ)을 대상으로 한다. 저자는 먼저 변동이 가산(summable variation)인 잠재함수 A를 정의하고, 이러한 함수가 지역 Hölder 연속성을 만족하면 변동이 λ^ℓ 형태로 지수적으로 감소함을 보인다. 이때 변동 노름 ‖·‖_sv는 가산 변동과 무한노름을 결합한 거리로, 이 거리에 대해 잠재함수 공간이 완비임을 이용한다.

핵심 개념은 Aubry 집합 Ω(A)이다. 정의에 따르면 x∈Ω(A)이면 임의의 ε>0에 대해 x와 충분히 가까운 점 w와 정수 n이 존재해, w와 σⁿ(w)가 각각 x와 ε 이내이며, Birkhoff 합 S_n(β_A−A)(w)가 ε 이내에 머문다. 이는 Lagrangian 역학에서 전역 최소 궤적을 기술하는 Aubry–Mather 이론과 직접적인 유사성을 가진다.

저자는 Mañé 잠재함수 ϕ_A와 Peierls 장벽 h_A를 Σ×Σ 위에 정의한다. ϕ_A(x,y)는 β_A−A에 대한 무한 길이 경로의 최적값을, h_A(x,y)는 길이가 무한히 커질 때의 한계값을 의미한다. 중요한 정리는 변동이 가산인 경우 ϕ_A와 h_A가 연속이며, 특히 x∈Ω(A) 고정 시 u_x(·)=ϕ_A(x,·)=h_A(x,·)가 서브액션을 제공한다는 점이다. 서브액션 u는 A+u∘σ−u≤β_A 를 만족하는 연속 함수이며, 이는 Hamilton–Jacobi 방정식의 하위해와 동일시될 수 있다.

주요 정리(Main Theorem)는 “A가 지역 Hölder 연속이고, Ω(A) 안에 비어 있지 않은 콤팩트 불변 부분집합이 존재한다면, 임의의 ε>0에 대해 ‖A−B‖_sv<ε 인 또 다른 지역 Hölder 연속 잠재함수 B가 존재하며, B는 최대화 측도로서 하나 이하의 주기적 확률 측도만을 허용한다”는 내용이다. 여기서 ‘하나 이하’라는 표현은 비컴팩트 상황에서 최대화 측도의 존재 자체가 보장되지 않을 수 있음을 반영한다. 그러나 코에르시브(potential)인 경우, 즉 A(i)→−∞ (i→∞)인 경우에는 최대화 측도가 반드시 존재하고, 위 정리의 보강 버전(Corollary for Coercive Potentials)에서는 정확히 하나의 주기적 측도가 존재함을 보인다.

증명 전략은 기존의 유한 알파벳 경우에 사용된 교란(perturbative) 방법을 비컴팩트 상황에 맞게 확장한다. 구체적으로, Aubry 점 x를 선택하고, 해당 점을 중심으로 Mañé 잠재함수 ϕ_A(x,·)를 서브액션으로 사용한다. 이후 작은 변동을 가해 잠재함수 A를 B=A+δ·ψ 형태로 조정하는데, 여기서 ψ는 적절히 선택된 지역 Hölder 함수이며, δ는 ε에 비례한다. 이 과정에서 서브액션의 변동 경계가 유지되도록 조절함으로써, 새로운 잠재함수 B가 기존의 Aubry 집합을 거의 그대로 보존하면서도 최대화 측도의 주기성을 강제한다.

또한, 저자는 변동이 가산인 잠재함수에 대해 서브액션이 항상 존재한다는 Collateral Theorem을 제시한다. 이는 기존 문헌에서 주로 Lipshitz 혹은 전역 Hölder 조건 하에만 알려졌던 결과를, 가산 변동이라는 보다 일반적인 정규성 조건으로 확장한 것이다. 서브액션의 ℓ‑번째 변동이 2·Var_∞^ℓ(A) 이하임을 보이며, 변동이 가산이면 서브액션 자체도 가산 변동을 갖는다.

마지막으로 부록에서는 추가적인 구조적 가정(예: 충분히 잘 제어된 주기적 행동을 갖는 전이 행렬) 하에, 교란을 통해 정확히 하나의 주기적 최대화 측도를 얻는 강화된 결과를 제시한다. 이는 Contreras–Lopes–Thieullen의 유한 알파벳 정리를 비컴팩트 상황으로 일반화한 것으로, 비컴팩트 마코프 이동에서도 ‘일반적인’ 잠재함수는 주기적 최적화를 갖는다는 강력한 직관을 제공한다.