[论文解读] Lyapunov criteria for uniform convergence of conditional distributions of absorbed Markov processes

Nicolas Champagnat, Denis Villemonais|arXiv (Cornell University)|Apr 6, 2017

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 43被引用 27

一句话总结

本文提出了一种新颖的非线性李雅普诺夫准则，通过引入两个函数，证明了吸收马尔可夫过程的条件分布以统一指数速度收敛于唯一的拟平稳分布。该方法适用于具有竞争Lotka-Volterra相互作用的多维生灭过程与Feller扩散过程，即使在边界附近也能确保统一收敛，克服了以往线性准则仅能获得非统一收敛的局限性。

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.

研究动机与目标

• 开发一种计算上可行的准则，用于证明吸收马尔可夫过程中条件分布的统一收敛性。
• 解决多维随机Lotka-Volterra系统中缺乏统一收敛结果的问题，尤其是在边界或无穷远处。
• 通过引入捕捉边界与尾部行为的双函数框架，扩展现有的李雅普诺夫型准则。
• 证明竞争性种群动力学模型中Q过程的统一指数混合性与遍历性。
• 提供一种实用工具，用于验证拟平稳分布的存在性及收敛性，并给出明确的收敛速率。

提出的方法

• 提出一种涉及两个有界非负函数 $V$ 和 $\varphi$ 的非线性李雅普诺夫条件，满足 $V/\varphi \to \infty$ 在边界或无穷远处。
• 利用过程的生成元 $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)（关于 hitting 与生存概率）联系起来。
• 通过支配于从无穷远处“下降”并几乎必然在有限时间内击中零点的扩散型SDE解，验证假设。

实验结果

研究问题

• RQ1 能否构建一种非线性李雅普诺夫准则，以确保多维吸收马尔可夫过程中条件分布统一收敛于拟平稳分布？
• RQ2 如何统一控制过程在边界与无穷远处的行为，以实现总变差距离下的指数收敛？
• RQ3 该准则能否应用于具有相互作用的竞争性Lotka-Volterra生灭过程与Feller扩散过程，以证明统一的拟平稳收敛性？
• RQ4 双函数结构 $V$ 与 $\varphi$ 在捕捉边界与尾部行为相互作用方面起什么作用？
• RQ5 即使在边界附近生存概率 $\mathbb{P}_x(t < \tau_\partial)$ 趋近于零时，是否仍可通过改进的李雅普诺夫框架实现统一收敛？

主要发现

• 所提出的双函数李雅普诺夫准则确保了总变差距离下的统一指数收敛性：$\|\mathbb{P}_\mu(X_t \in \cdot \mid t < \tau_\partial) - \nu_{QSD}\|_{TV} \leq C e^{-\gamma t}$ 对所有初始分布 $\mu$ 成立。
• 该准则适用于具有相互作用的竞争性或弱合作型多维Lotka-Volterra生灭过程与Feller扩散过程。
• 该方法克服了以往线性准则的局限性，后者因 $\varphi_2$ 在边界附近无界而仅能获得非统一收敛。
• 统一收敛性意味着灭绝平台时间的统一性、Q过程的统一遍历性，以及生存概率对特征函数的统一收敛。
• 证明依赖于哈纳克不等式与半群局部化技术，以统一控制整个状态空间中的转移密度与生存概率。
• 通过支配于从无穷远处“下降”并几乎必然在有限时间内击中零点的SDE解，验证了假设。