[论文解读] Poincare inequality and exponential integrability of the hitting times of a Markov process

Alexei Kulik|arXiv (Cornell University)|Mar 6, 2013

Stochastic processes and statistical mechanics参考文献 10被引用 6

一句话总结

本文建立了流形上对称椭圆扩散过程中Poincaré不等式与命中时间指数可积性之间的一一对应关系。通过扩展Mathieu的方法，证明了Poincaré不等式蕴含对紧集命中时间的指数矩，反之，在适当正则性条件下，命中时间的指数可积性也蕴含Poincaré不等式，从而为对称情形下谱隙性质提供了路径层面的刻画。

ABSTRACT

Extending the approach of the paper [Mathieu, P. (1997) Hitting times and spectral gap inequalities, Ann. Inst. Henri Poincare 33, 4, 437 -- 465], we prove that the Poincare inequality for a (possibly non-symmetric) Markov process yields the exponential integrability of the hitting times of this process. For symmetric elliptic diffusions, this provides a criterion for the Poincare inequality in the terms of hitting times.

研究动机与目标

• 通过证明Poincaré不等式对一般（可能非对称）马尔可夫过程蕴含命中时间的指数可积性，扩展Mathieu（1997）的结果。
• 证明其逆命题：在附加正则性假设下，命中时间的指数可积性蕴含Poincaré不等式。
• 通过命中时间矩生成函数，为对称椭圆扩散过程提供Poincaré不等式的路径层面刻画。
• 证明形式为 $ E_x e^{\alpha \tau_K} $ 的Lyapunov型函数在对称扩散情形下验证Poincaré不等式时是最优的。

提出的方法

• 利用强马尔可夫性质和Kac公式，通过一系列对紧集及其边界命中时间的估计，对矩生成函数 $ E_x e^{\alpha \tau_K} $ 进行有界。
• 对函数 $ h(x) = E_x e^{\alpha \tau_K} $ 应用Harnack不等式，证明在Poincaré不等式和局部非退化条件下，该函数是局部有界的。
• 通过嵌套集合的连续命中时间 $ \sigma^k $ 进行耦合论证，利用Doeblin型条件控制命中时间过程的尾部概率。
• 通过几何衰减 $ q^k $（其中 $ q < 1 $）控制存活概率，证明 $ E_x e^{\tilde{\alpha} \tau_K^t} $ 在 $ t \in [0,S] $ 上的一致可积性。
• 依赖Dirichlet型的正则性以及 $ C_0({\mathbb{X}}) \cap Dom(\mathcal{E}) $ 在 $ L_2 $ 和 $ C_0({\mathbb{X}}) $ 中的稠密性，确保Poincaré不等式在极限下的有效性。

实验结果

研究问题

• RQ1 Poincaré不等式是否蕴含一般马尔可夫过程命中时间的指数可积性？
• RQ2 Poincaré不等式能否完全通过紧集命中时间矩生成函数来刻画？
• RQ3 对于流形上的对称椭圆扩散过程，命中时间的指数可积性与Poincaré不等式之间是否存在一一对应关系？
• RQ4 在对称情形下，Lyapunov函数 $ \phi(x) = E_x e^{\alpha \tau_K} $ 是否可作为Poincaré不等式的充分必要条件？

主要发现

• Poincaré不等式蕴含存在某个 $ \alpha > 0 $，使得 $ \sup_{x \in K} E_x e^{\alpha \tau_K} < \infty $，从而保证对紧集 $ K $ 的命中时间具有指数可积性。
• 对于对称椭圆扩散过程，在温和的正则性和非退化条件下，Poincaré不等式与命中时间对紧集的指数可积性等价。
• 函数 $ \phi(x) = E_x e^{\alpha \tau_K} $ 是局部有界的，并满足所需的Lyapunov型条件，从而可利用耦合技术验证谱隙。
• 证明依赖于嵌套集合 $ K \subset E \subset D $ 之间连续命中时间的几何耦合，衰减率 $ q < 1 $ 确保了矩生成函数的一致可积性。
• 对 $ h_N(x) = E_x e^{\alpha \tau_K} $ 应用Harnack不等式，表明 $ h(x) $ 是局部有界的，并满足Poincaré不等式成立所必需的正则性条件。