[논문 리뷰] Stochastic Persistence

Michel Benaı̈m|arXiv (Cornell University)|2018. 06. 21.

Stochastic processes and statistical mechanics참고 문헌 46인용 수 10

한 줄 요약

이 논문은 메트릭 공간 위의 연속시간 마르코프 과정에서의 확률적 지속성과 멸종에 대한 일반적 조건을 수립하며, H-지수를 리아프노프 함수의 확률적 유사체로 도입한다. 적절한 조건 하에서 점유 측도가 비멸종 집합 위에 유일한 불변 확률 측도로 거의 확실히 수렴한다는 것을 증명하며, SDE 및 랜덤 ODE와 같은 환경 노이즈를 포함하는 모델로 고전적 지속성 이론을 확장한다.

ABSTRACT

Let $(X_t)_{t \geq 0}$ be a continuous time Markov process on some metric space $M,$ leaving invariant a closed subset $M_0 \subset M,$ called the {\em extinction set}. We give general conditions ensuring either "Stochastic persistence" (Part I) : Limit points of the occupation measure are invariant probabilities over $M_+ = M \setminus M_0;$ or "Extinction" (Part II) : $X_t ightarrow M_0$ a.s. In the persistence case we also discuss conditions ensuring the a.s convergence (respectively exponential convergence in total variation) of the occupation measure (respectively the distribution) of $(X_t)$ toward a unique probability on $M_+.$ These results extend and generalize previous results obtained for various stochastic models in population dynamics, given by stochastic differential equations, random differential equations, or pure jump processes.

연구 동기 및 목표

• 연속시간 마르코프 과정에 환경 노이즈가 존재하는 경우에 결정론적 지속성 이론을 일반화하기 위해.
• 확률적 지속성(점유 측도의 극한 점이 비멸종 집합에 속함)과 멸종(거의 확실한 멸종 집합 수렴)을 위한 충분조건을 수립하기 위해.
• H-지수를 통해 리아프노프 함수 이론을 마르코프 과정으로 확장하여 에르고딕성 및 수렴 결과를 가능하게 하기 위해.
• 지속성 시스템에서 점유 측도 및 분포의 수렴 속도를 분석하기 위해.
• SDE 및 마르코프 스위칭을 포함한 기존의 확률적 인구 모델 결과를 통합하고 일반화하기 위해.

제안 방법

• 마르코프 과정의 무한소 생성자에 기반하여 H-지수를 정의함으로써 리아프노프 함수의 확률적 유사체로 H-지수를 도입한다.
• 과정 $X_t$의 생성자 $\mathcal{L}$을 사용하여 리아프노프 함수 $U$에 대해 부등식 $\mathcal{L}U \leq -\alpha U + \beta$ 를 통해 H-지수를 정의한다.
• 딘킨의 공식과 이토의 보조정리를 적용하여 모멘트 한계를 도출하고, 폭발 시간 $\tau^x = \infty$ 가 거의 확실히 성립함을 증명한다.
• 필러 연속성과 셈리드 이론을 활용하여 $P_t f(x) = \mathbb{E}[f(X_t^x)]$ 의 수렴성과 과정의 정규성을 확보한다.
• 비유계 상태 공간으로 결과를 확장하기 위해 절단 및 컴acts지지 근사($W_n = nB(W/n)$)를 활용한다.
• 하르나크 부등식과 에르고딕성 이론을 적용하여, $M_+$ 위에 존재하는 유일한 불변 확률 측도로 점유 측도의 거의 확실한 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 메트릭 공간 위의 연속시간 마르코프 과정이 확률적 지속성을 보일 조건은 무엇인가? 즉, 점유 측도의 극한 점들이 비멸종 집합 $M_+$ 에 속하는가?
• RQ2 과정이 거의 확실히 멸종 집합 $M_0$ 로 수렴하는가? 그리고 이러한 멸종을 보장하는 조건은 무엇인가?
• RQ3 에르고딕성 및 점유 측도 수렴을 보장하기 위해 리아프노프 유사 함수를 마르코프 과정으로 어떻게 일반화할 수 있는가?
• RQ4 지속성 시스템에서 점유 측도 및 분포가 $M_+$ 의 불변 확률 측도로 거의 확실하고 지수 수렴 속도는 어떻게 되는가?
• RQ5 H-지수는 고전적 리아프노프 지수와 어떻게 관련되어 있으며, 확률적 생태 모델에서 지속성을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 만약 $C^2$ 함수 $U$ 가 존재하여 $\mathcal{L}U \leq -\alpha U + \beta$ 를 만족하고 $\alpha > 0$ 이면, 과정은 폭발하지 않으며 $\tau^x = \infty$ 가 거의 확실히 성립한다.
• 세미군 $P_t$ 는 $P_t U(x) \leq e^{-\alpha t}(U(x) - \beta/\alpha) + \beta/\alpha$ 를 만족하여 균일한 모멘트 한계를 보장한다.
• H-지수 조건 하에서 $X_t$ 의 점유 측도는 비멸종 집합 $M_+$ 위에 존재하는 유일한 불변 확률 측도로 거의 확실히 수렴한다.
• $\psi \in C_c^2(M)$ 이면 $\lim_{t \to 0} \frac{P_t \psi(x) - \psi(x)}{t} = \mathcal{L}\psi(x)$ 를 만족하여 $\psi \in \mathcal{D}(\mathcal{L})$ 를 확인한다.
• 과정 $X_t$ 는 필러 연속성을 만족하여 강한 마르코프 성질과 전이 확률의 정규성을 보장한다.
• 오목이고 비감소하는 $h$ 에 대해 함수 $W = h(U)$ 는 $\mathcal{L}W \leq -\alpha h'(U) U(1 + \varphi) + \beta h'(1)$ 를 만족하며, 캐르레 두 샹 $\Gamma_L(W)$ 의 제어를 가능하게 한다.