[论文解读] Quasi-stationary distribution for the Langevin process in cylindrical domains, part I: existence, uniqueness and long-time convergence

Tony Lelièvre, Mouad Ramil+1 more|arXiv (Cornell University)|Jan 28, 2021

Diffusion and Search Dynamics参考文献 44被引用 20

一句话总结

本文证明了在柱形区域 $D = \mathcal{O} \times \mathbb{R}^d$ 上，其中 $\mathcal{O}$ 是有界 $\mathcal{C}^2$ 域，Langevin 过程存在唯一且指数收敛于拟平稳分布（QSD）。通过证明吸收半群的紧致性并应用 Krein-Rutman 定理，表明 QSD 是带 Dirichlet 边界条件的无穷小生成元的主特征函数，从而确保条件过程以指数速率收敛至长期统计稳定性状态。

ABSTRACT

Consider the Langevin process, described by a vector (position,momentum) in $\\mathbb{R}^{d}\ imes\\mathbb{R}^d$. Let $\\mathcal O$ be a $\\mathcal{C}^2$ open bounded and connected set of $\\mathbb{R}^d$. We prove the compactness of the semigroup of the Langevin process absorbed at the boundary of the domain $D:=\\mathcal{O}\ imes\\mathbb{R}^d$. We then obtain the existence of a unique quasi-stationary distribution (QSD) for the Langevin process on $D$. We also provide a spectral interpretation of this QSD and obtain an exponential convergence of the Langevin process conditioned on non-absorption towards the QSD.

研究动机与目标

• 在有界柱形区域 $D = \mathcal{O} \times \mathbb{R}^d$ 上，建立 Langevin 过程的拟平稳分布（QSD）的存在性与唯一性。
• 解决非椭圆且动量空间无界的非椭圆 Langevin 动力学缺乏结果的问题。
• 证明在非吸收条件下，过程的长时间行为以指数速率收敛至 QSD，确保在亚稳态中的长期统计稳定性。
• 通过无穷小生成元在吸收边界条件下的主特征值与主特征函数，提供 QSD 的谱表征。

提出的方法

• 利用先前工作的转移密度估计，证明与吸收 Langevin 过程相关的半群在 $D$ 上的紧致性。
• 将 Krein-Rutman 定理应用于吸收过程的无穷小生成元，以建立主特征值与正特征函数。
• 将 QSD 表征为对应于主特征值的归一化特征函数，从而保证唯一性与谱间隙。
• 利用谱分解推导条件过程向 QSD 收敛的指数速率。
• 借助概率耦合与半群性质，界定条件分布与 QSD 之间的总变差距离。
• 通过谱间隙 $\lambda_0$ 与参数 $\alpha \in [0, \alpha^*)$ 的估计验证收敛速率。

实验结果

研究问题

• RQ1 在 $D = \mathcal{O} \times \mathbb{R}^d$ 的柱形区域中，其中 $\mathcal{O}$ 是有界 $\mathcal{C}^2$ 域，Langevin 过程是否存在唯一的拟平稳分布？
• RQ2 Langevin 过程在非吸收条件下的长时间行为是否可由唯一的极限分布表征？
• RQ3 吸收 Langevin 过程的无穷小生成元的谱结构是什么？其与 QSD 的关系如何？
• RQ4 条件过程向 QSD 的收敛是否为指数快速收敛？其速率如何用谱数据表示？
• RQ5 Langevin 动力学的非椭圆性如何影响 QSD 的存在性与性质，相较于椭圆扩散过程有何不同？

主要发现

• 在 $D$ 上，吸收 Langevin 过程的半群是紧致的，这是谱分析的关键步骤。
• 在 $D$ 上，Langevin 过程存在唯一的拟平稳分布 $\mu$，其表征为与主特征值 $\lambda_0$ 相关的无穷小生成元的归一化特征函数。
• QSD 以指数速率吸引 $D$ 上的所有初始分布，收敛速率由 $\lambda_0 + \alpha$ 控制，其中 $\alpha \in [0, \alpha^*)$。
• 在时间 $t$ 条件分布与 QSD 之间的总变差距离被有界为 $C_{\alpha} \|f\|_{\infty} \mathrm{e}^{-\alpha t}$，其中 $C_{\alpha}$ 依赖于初始测度与谱间隙。
• QSD 是带 Dirichlet 边界条件的无穷小生成元特征值问题的唯一解。
• 收敛结果对初始概率测度一致成立，且显式依赖于 Perron-Frobenius 特征函数 $\phi$ 的初始质量。