[论文解读] Stochastic Persistence

Michel Benaı̈m|arXiv (Cornell University)|Jun 21, 2018

Stochastic processes and statistical mechanics参考文献 46被引用 10

一句话总结

该论文为连续时间马尔可夫过程在度量空间上的随机持续性与灭绝建立了普遍条件，引入H-指数作为李雅普诺夫函数的随机类比。证明了在适当条件下，占据测度几乎必然收敛到非灭绝集上的唯一不变概率测度，将经典持续性理论扩展至具有环境噪声的模型，如随机微分方程（SDEs）和随机常微分方程（random ODEs）。

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-指数将李雅普诺夫函数理论推广至马尔可夫过程，实现遍历性与收敛性结果。
• 分析持久系统中占据测度与分布的收敛速率及遍历性。
• 统一并推广现有随机种群模型的结果，包括带马氏切换的SDEs和随机ODEs。

提出的方法

• 引入H-指数作为李雅普诺夫函数的随机类比，通过马尔可夫过程的无穷小生成元定义。
• 利用过程 $X_t$ 的生成元 $\mathcal{L}$，通过不等式 $\mathcal{L}U \leq -\alpha U + \beta$ 定义H-指数，其中 $U$ 为李雅普诺夫函数。
• 应用迪尼金公式和伊藤引理推导矩界，并证明爆炸时间 $\tau^x = \infty$ 几乎必然成立。
• 运用费勒连续性与半群理论，建立 $P_t f(x) = \mathbb{E}[f(X_t^x)]$ 的收敛性与过程的正则性。
• 通过截断与紧台集逼近（$W_n = nB(W/n)$）将结果扩展至非紧状态空间。
• 应用哈纳克不等式与遍历性理论，证明占据测度在 $M_+$ 上几乎必然收敛至唯一的不变概率测度。

实验结果

研究问题

• RQ1 在何种条件下，度量空间上的连续时间马尔可夫过程表现出随机持续性，即占据测度的极限点位于非灭绝集 $M_+$ 内？
• RQ2 过程在何时几乎必然收敛至灭绝集 $M_0$？何种条件可确保这一灭绝？
• RQ3 如何将李雅普诺夫型函数推广至马尔可夫过程，以保证遍历性与占据测度的收敛性？
• RQ4 在持久系统中，占据测度与分布的几乎必然收敛速率与指数收敛速率为何？
• 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)$，从而可控制 carré du champ $\Gamma_L(W)$。