[論文レビュー] 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

ひとこと要約

本稿は、吸収されたマルコフ過程の条件付き分布が一意な準定常分布に一様指数収束することを証明する、二つの関数を含む新規な非線形リャプノフ基準を確立する。この手法は、競争的ロトカ＝ヴォルテラ相互作用を示す多次元出生死滅過程およびフェラー拡散過程に適用可能であり、境界付近でさえ一様収束を保証する。これにより、従来の線形基準が得られなかった非一様収束に起因する制限を克服する。

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)（到達および生存確率に関するもの）に結びつける。
• 生存確率の支配を、無限大から有限時間でゼロに到達する確率的SDEの解によって行い、仮定を検証する。

実験結果

リサーチクエスチョン

• RQ1 多次元吸収マルコフ過程における条件付き分布が準定常分布に一様収束することを保証する非線形リャプノフ基準を構築可能か？
• RQ2 境界および無限遠における過程の挙動を一様に制御することで、全 Variation での指数収束を達成できるか？
• RQ3 この基準は、競争的ロトカ＝ヴォルテラ出生死滅過程およびフェラー拡散過程に適用可能であり、一様準定常収束を証明できるか？
• RQ4 境界および尾部挙動の相互作用を捉える二関数構造 $V$ と $\varphi$ の役割は何か？
• RQ5 生存確率 $\mathbb{P}_x(t < \tau_\partial)$ が境界付近で消える場合でも、洗練されたリャプノフフレームワークにより一様収束を達成可能か？

主な発見

• 提案された二関数リャプノフ基準により、全 Variation における一様指数収束が保証される：任意の初期分布 $\mu$ に対して $\|\mathbb{P}_\mu(X_t \in \cdot \mid t < \tau_\partial) - \nu_{QSD}\|_{TV} \leq C e^{-\gamma t}$。
• この基準は、相互作用を伴う競争的または弱く協同的な多次元ロトカ＝ヴォルテラ出生死滅過程およびフェラー拡散過程に適用可能である。
• 従来の線形基準では、境界付近で $\varphi_2$ が無限大に発散するため、非一様収束しか得られなかったという制限を克服する。
• 一様収束は、絶滅のプラトーに至る時間の一様性、Q過程の一様エルゴード性、生存確率が固有関数に一様収束することを意味する。
• 証明は、ハナックの不等式および半群の局所化を用いて、状態空間全体にわたる遷移密度および生存確率を一様に制御することに依拠する。
• 仮定は、無限大から有限時間でゼロに到達する確率的SDEの解による支配を用いて検証される。