[论文解读] More on the long time stability of Feynman-Kac semigroups

Grégoire Ferré, Mathias Rousset+1 more|arXiv (Cornell University)|Jul 1, 2018

Markov Chains and Monte Carlo Methods参考文献 60被引用 21

一句话总结

本文通过基于李雅普诺夫条件与极小化条件的新型谱分析框架，建立了费曼-费曼-卡斯半群的长时间稳定性，将经典的马尔可夫链遍历性理论推广至非线性、非保守动力系统。证明了其指数收敛至唯一不变测度，并推导出随机微分方程时间离散化的统一时间步长收敛性，应用于大偏差理论与薛定谔算子的谱分析。

ABSTRACT

Feynman-Kac semigroups appear in various areas of mathematics: non-linear filtering, large deviations theory, spectral analysis of Schrodinger operators among others. Their long time behavior provides important information, for example in terms of ground state energy of Schrodinger operators, or scaled cumulant generating function in large deviations theory. In this paper, we propose a simple and natural extension of the stability of Markov chains for these non-linear evolutions. As other classical ergodicity results, it relies on two assumptions: a Lyapunov condition that induces some compactness, and a minorization condition ensuring some mixing. Illustrative examples are provided, where the stability of the non-linear semigroup arises either from the underlying dynamics or from the Feynman-Kac weight function. We also use our technique to provide uniform in the time step convergence estimates for discretizations of stochastic differential equations

研究动机与目标

• 将经典马尔可夫链遍历性理论扩展至具有非保守动力的非线性费曼-卡斯半群。
• 在无界状态空间上，建立费曼-卡斯动力的长时间稳定性与收敛至唯一不变测度的性质。
• 为时间离散化的随机微分方程提供时间步长一致的收敛估计。
• 通过 h-变换将费曼-卡斯动力的分析统一为一个变换后的线性马尔可夫过程，利用非自伴算子的谱理论进行分析。

提出的方法

• 使用 h-变换将非线性费曼-卡斯动力转化为由加权核算子 Qf 控制的线性马尔可夫过程。
• 应用广义线性李雅普诺夫条件，结合权函数 W，以确保紧致性与一致可积性。
• 在紧集上施加极小化条件，以保证不可约性与混合性，从而确保遍历性。
• 在加权巴拿赫空间中应用非自伴算子的谱理论，证明主特征值的存在性及其对应的正特征向量。
• 通过算子范数衰减估计，在加权 B∞-范数中建立指数收敛速率。
• 通过在具体模型中验证李雅普诺夫与极小化条件，将该框架应用于离散时间与连续时间动力系统，包括随机微分方程。

实验结果

研究问题

• RQ1 在无界状态空间上，费曼-卡斯半群在何种条件下会指数收敛至唯一不变测度？
• RQ2 经典马尔可夫链遍历性工具如何适应非线性、非保守演化核？
• RQ3 能否为随机微分方程的时间离散化费曼-卡斯动力保证时间步长一致的收敛性？
• RQ4 生成元的主特征值与大偏差理论中的标度累积量生成函数之间有何联系？
• RQ5 李雅普诺夫条件与极小化条件如何在非可逆、非自伴设置下确保谱间隙与指数遍历性？

主要发现

• 对于任意初始测度 µ 与有界可测测试函数 ϕ，费曼-卡斯半群 Φk(µ)(ϕ) 指数快速收敛至唯一不变测度 µ⋆f。
• 生成元的主特征值 Λ 满足 log(Λ) = limk→∞ (1/k) log E[exp(∑i=0k−1 f(xi) | x0 ∼µ)]，该表达式对应于大偏差理论中的标度累积量生成函数。
• 对于连续时间动力系统，在类似李雅普诺夫与极小化条件下，同样建立了指数遍历性，收敛性在加权 L∞-范数中成立。
• 核算子 Qf 的谱半径 Λ 严格为正，其由不变测度下紧集具有正测度以及正极小化常数的存在性所保证。
• 为时间离散化的 SDE 推导出时间步长一致的收敛估计，表明离散时间算子的谱半径 Λ∆t 随 ∆t → 0 收敛至连续时间特征值 λ。
• 与 Λ 关联的主特征向量 h 处处严格为正，且不变测度 µh 满足 µh(W h−1) < ∞，确保在加权范数下的可积性。