[논문 리뷰] Existence and uniqueness of invariant measures for non-Feller Markov semigroups

Jean-Gabriel Attali|arXiv (Cornell University)|2026. 01. 19.

Stochastic processes and financial applications인용 수 0

한 줄 요약

본 논문은 Feller 정규성이 없는 연속-시간 마르코프 반군에 대해 불변 확률 측정의 존재성과 고유성을 보인다. 존재성은 quasi-Feller 정규성을 사용하고, 고유성은 psi-irreducibility 하의 레졸벤트 지배를 이용한다.

ABSTRACT

We study existence and uniqueness of invariant probability measures for continuous-time Markov processes on general state spaces. Existence is obtained from tightness of time averages under a weak regularity assumption inspired by quasi-Feller semigroups, allowing for discontinuous and non-Feller dynamics. Our main contribution concerns uniqueness. Under a natural $ψ$-irreducibility assumption, we show that the normalized resolvent kernel satisfies a domination property with respect to a reference measure. As a consequence, every invariant probability measure charges this reference measure. Since distinct ergodic invariant measures are mutually singular on standard Borel spaces, this domination property implies uniqueness whenever an invariant probability measure exists. The argument is purely measure-theoretic and does not rely on Harris recurrence, return-time estimates, or Foster--Lyapunov conditions, and applies in particular to jump processes and hybrid models with discontinuous dynamics.

연구 동기 및 목표

• 일반 상태 공간에서의 연속-시간 마르코프 과정의 불변 측정 연구를 동기 부여한다(비-Feller 동역학 포함).
• quasi-Feller 정규성 및 시간 평균의 타이트성 하에서 불변 측정의 존재성을 확립한다.
• 불가분성 아래의 레졸벤트 지배에 기반한 구조적이고 측정 이론적인 고유성 기준을 개발한다.
• 점프 과정, 하이브리드 모델 및 불연속 동역학을 갖는 시스템에 대한 적용 가능성을 보인다.

제안 방법

• quasi-Feller 분해를 이용하여 시간 평균의 타이트성으로 불변 측정의 존재를 보장한다.
• 불연속성을 처리하기 위해 H 지도와 정규화된 커널 Q_t를 이용한 quasi-Feller 분해를 적용한다.
• 시간 평균의 약한 극한 하에서 H-불연속 집합의 보이지 않음을 보인다(제2.3 정리).
• 정규화된 레졸벤트 R_alpha를 도입하고 P_t의 불변 측정이 R_alpha의 불변 측정과 일치함을 보인다(렘마 3.2).
• 지배 기준을 적용한다: 모든 x에 대해 R_alpha(x,·)에 의해 시그마-유한 측정이 지배되면, 어떤 불변 측정보다도 그것이 지배한다(제3.4 정리).
• psi-irreducibility를 활용해 R_alpha에 의해 지배되는 공통 기준 측정을 얻어 고유성을 도출한다(정리 3.9의 상관관계).

실험 결과

연구 질문

• RQ1 비-Feller 연속-시간 마르코프 반군에 대해 어떤 구조적 조건에서 불변 측정의 존재가 보장될 수 있는가?
• RQ2 존재가 확립된 후 Harris 재귀성이나 Foster–Lyapunov 조건 없이도 irreducibility만으로 고유성을 추론할 수 있는가?
• RQ3 정규화된 레졸벤트가 다수의 불변 측정의 공존을 방지하는 보편적 지배 메커니즘을 제공하는가?
• RQ4 quasi-Feller 프레임워크가 확산, 점프, 하이브리드 모델 등 다양한 모델의 불연속성 처리에 어떻게 기여하는가?

주요 결과

• quasi-Feller 정규성 하의 시간 평균의 타이트성과 불연속성에 대한 보이지 않는 성질로 불변 측정의 존재가 따른다.
• 존재가 확보되면 irreducibility의 구조적 결과로 불변 측정의 고유성이 성립하며, 공통 기준 측정이 레졸벤트에 의해 지배된다.
• 정규화된 레졸벤트 R_alpha는 연속-시간과 이산-시간의 관점을 연결하고 불변성을 보존한다( P_t에 대해 불변이면 R_alpha에도 불변, 그 반대도 동일).
• psi-irreducibility 및 P_t의 오른 연속성 하에서 단일 불변 측정이 존재할 수 있으며, 서로 다른 에르고딕 측정들은 표준 Borel 공간에서 서로 서로 특이(mutually singular)하므로 고유성이 강제된다.
• 이 접근법은 확산, 특이 저하 Langevin 동역학, 점프 과정, 불연속 동역학을 가진 하이브리드 모델 등에 Harris 재귀성이나 Foster–Lyapunov 조건 없이 적용된다.