[논문 리뷰] Lyapunov criteria for uniform convergence of conditional distributions of absorbed Markov processes

Nicolas Champagnat, Denis Villemonais|arXiv (Cornell University)|2017. 04. 06.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 43인용 수 27

한 줄 요약

이 논문은 흠수 마르코프 과정의 조건부 분포가 유일한 준정적분포로 균일 지수 수렴하는 것을 증명하기 위해 두 함수를 포함하는 새로운 비선형 리아푸노프 기준을 수립한다. 이 방법은 경쟁적 로트카-볼테라 상호작용을 갖는 다차원 출생-죽음 및 펠러 확산 과정에 적용 가능하며, 경계 근처에서도 균일 수렴을 보장하여 이전 선형 기준이 얻은 비균일 수렴 이론의 한계를 극복한다.

ABSTRACT

We study the quasi-stationary behavior of multidimensional processes absorbed when one of the coordinates vanishes. Our results cover competitive or weakly cooperative Lotka-Volterra birth and death processes and Feller diffusions with competitive Lotka-Volterra interaction. To this aim, we develop original non-linear Lyapunov criteria involving two Lyapunov functions, which apply to general Markov processes.

연구 동기 및 목표

• 흡수된 마르코프 과정에서 조건부 분포의 균일 수렴을 위한 계산적으로 실현 가능한 기준을 개발하기 위해.
• 특히 경계나 무한대 근처에서의 다차원 스토케스틱 로트카-볼테라 시스템에서 균일 수렴 결과의 부재를 해결하기 위해.
• 경계 및 꼬리 행동을 균일하게 캡처하는 두 함수 프레임워크를 도입하여 기존의 리아푸노프 유형 기준을 확장하기 위해.
• 경쟁적 인구 역학 모델에서 Q-과정의 균일 지수 혼합성과 에르고드릭성을 증명하기 위해.
• 준정적분포 존재성과 수렴성에 대한 실용적인 도구를 제공하고, 명시적인 수렴 속도를 보장하기 위해.

제안 방법

• 경계 또는 무한대에서 $V/\varphi \to \infty$ 가 되는 두 유계, 비음수 함수 $V$ 및 $\varphi$ 를 포함하는 비선형 리아푸노프 조건을 제안한다.
• 과정의 생성자 $L$ 을 사용하여 드리프트 조건 유도: $-L\varphi \leq C_1 \mathbf{1}_K$ 및 $LV + C_2 \frac{V^{1+\varepsilon}}{\varphi^\varepsilon} \leq C_3 \varphi$ (일부 $\varepsilon > 0$ 에 대해).
• 전이 밀도와 생존 확률을 상태 공간 전역에서 균일하게 제어하기 위해 하르나크 부등식과 강한 마르코프 성질을 적용한다.
• 시간 연속 세미군 구조 분석과 국소화 기법을 사용하여 경계 근처에서 조건부 과정의 행동을 제어한다.
• [9]에서 제시된 등가 기준을 활용하여 균일 지수 수렴을 두 확률적 가정 (A1) 및 (A2) (도달 및 생존 확률에 대한)과 연결한다.
• 무한대에서 내려오는 해와 거의 확실히 유한 시간 내에 0에 도달하는 확률미분방정식의 해에 의해 지배되는 방식으로 가정을 검증한다.

실험 결과

연구 질문

• RQ1 다차원 흡수 마르코프 과정에서 조건부 분포가 준정적분포로 균일 수렴하는 것을 보장할 수 있는 비선형 리아푸노프 기준을 구성할 수 있는가?
• RQ2 경계 및 무한대 근처에서 과정의 행동을 어떻게 균일하게 제어하여 전체 변동에서 지수 수렴을 달성할 수 있는가?
• RQ3 이 기준은 경쟁적 로트카-볼테라 출생-죽음 및 펠러 확산 과정에 적용되어 균일 준정적분포 수렴을 증명할 수 있는가?
• RQ4 경계 및 꼬리 행동 간의 상호작용을 캡처하는 데 두 함수 구조 $V$ 와 $\varphi$ 의 역할은 무엇인가?
• RQ5 생존 확률 $\mathbb{P}_x(t < \tau_\partial)$ 가 경계 근처에서 0으로 수렴하는 경우에도, 개선된 리아푸노프 프레임워크를 통해 균일 수렴을 달성할 수 있는가?

주요 결과

• 제안된 두 함수 리아푸노프 기준은 전체 변동에서 균일 지수 수렴을 보장한다: 모든 초기 분포 $\mu$ 에 대해 $\|\mathbb{P}_\mu(X_t \in \cdot \mid t < \tau_\partial) - \nu_{QSD}\|_{TV} \leq C e^{-\gamma t}$.
• 이 기준은 경쟁적 또는 약한 협동성을 갖는 다차원 로트카-볼테라 출생-죽음 과정 및 상호작용이 있는 펠러 확산 과정에 적용 가능하다.
• 이전 선형 기준의 한계를 극복하며, 이는 경계 근처에서 $\varphi_2$ 가 유계가 아니어서 비균일 수렴만을 유도하기 때문이다.
• 균일 수렴은 멸종 플랫폼에 도달하는 데 걸리는 시간의 균일성, Q-과정의 균일 에르고드릭성, 생존 확률이 고유함수로 수렴하는 균일성과 동치이다.
• 증명은 전이 밀도와 생존 확률을 상태 공간 전역에서 균일하게 제어하기 위해 하르나크 부등식과 세미군 국소화 기법에 기반한다.
• 가정은 무한대에서 내려오는 해와 거의 확실히 유한 시간 내에 0에 도달하는 확률미분방정식의 해에 의해 지배됨을 통해 검증된다.