[论文解读] Degenerate processes killed at the boundary of a domain

Michel Benaı̈m, Nicolas Champagnat+2 more|arXiv (Cornell University)|Mar 15, 2021

Mathematical Dynamics and Fractals参考文献 17被引用 8

一句话总结

本文建立了在有界区域外被吸收的退化Feller过程的拟平稳分布（QSD）存在的普遍条件，包括唯一性与指数收敛性。通过使用Lyapunov函数与最小化条件，证明了非椭圆与超椭圆SDE的指数混合性，将结果扩展至强Feller或椭圆假设之外的范围。

ABSTRACT

We investigate certain properties of degenerate Feller processes that are killed when exiting a relatively compact set. Our main result provides general conditions ensuring that such a process possesses a (possibly non unique) quasi stationary distribution. Conditions ensuring uniqueness and exponential convergence are discussed. The results are applied to nonelliptic and hypoelliptic stochastic differential equations.

研究动机与目标

• 建立在相对紧区域外被吸收的退化Feller过程中拟平稳分布（QSD）存在的充分条件。
• 提供确保QSD唯一性及条件分布以总变差距离指数收敛至QSD的判据。
• 将结果扩展至椭圆与强Feller扩散之外，处理谱方法与概率方法均失效的非椭圆与超椭圆SDE。
• 通过生成元与支撑结构的一般条件，展示该框架对非椭圆与超椭圆随机微分方程的适用性。
• 分析一个连续时间的纯 jump 马尔可夫过程（PDMP）实例，表明该框架不仅适用于扩散过程，也适用于非扩散过程。

提出的方法

• 使用Lyapunov函数条件控制爆炸时间，并确保过程从区域中退出的期望时间有限。
• 在被吸收过程的转移核上应用最小化条件，以确保在某一小区间上转移密度具有统一的下界。
• 利用Stroock与Varadhan的支持定理，将过程的支撑与通过确定性控制系统的可达集联系起来。
• 引入泛函分析框架，利用被吸收过程的生成元及其预解式，通过特征函数刻画QSD。
• 应用Feller过程理论与潜在论分析过程在边界附近的行为，以及拟平稳测度的存在性。
• 基于最小化条件与Lyapunov函数，采用耦合论证，证明以总变差距离指数收敛至QSD。

实验结果

研究问题

• RQ1 在何种条件下，边界被吸收的退化Feller过程在有界区域中至少存在一个拟平稳分布？
• RQ2 在何种条件下，此类过程的拟平稳分布是唯一的？
• RQ3 何种条件可保证过程在未被吸收的条件下，其条件分布以总变差距离指数收敛至拟平稳分布？
• RQ4 这些结果能否扩展至谱方法失效的非椭圆与超椭圆SDE？
• RQ5 该框架是否适用于非扩散过程，如连续时间的纯跳马尔可夫过程（PDMP）？

主要发现

• 在假设(H1)下——即区域闭包的补集从区域中每一点均可达——过程以概率1在有限时间内退出区域。
• 在假设(H2)下——即每个边界点对退出时间都是正则的——过程在边界处具有明确的退出行为。
• 若存在一个正函数 $ h \neq 0 $，使得在 $ D $ 上有 $ Lh = -\rho h $，且 $ h $ 在 $ \bar{D}^c $ 上为零，且在边界处趋于零，则拟平稳分布存在。
• 当生成元满足严格Lyapunov条件，且最小化条件在某一小区间上一致成立时，QSD的唯一性得以确立。
• 在Lyapunov函数与最小化条件共同作用下，证明了以总变差距离指数收敛至QSD，收敛速率 $ \rho $ 有正的下界。
• 对于 $ D = [0,1] \times \{0\} $ 上的一个具体PDMP实例，本文构造了显式的QSD，并通过基于跳跃时间与均匀化技术的耦合论证，证明了收敛速率 $ \rho = \frac{1}{2} $ 的指数收敛。