[论文解读] Markov semigroups with hypocoercive-type generator in Infinite Dimensions: Ergodicity and Smoothing

Vasilis Kontis, Michela Ottobre+1 more|arXiv (Cornell University)|Jun 27, 2013

Stochastic processes and financial applications参考文献 18被引用 3

一句话总结

本文为具有Hypoelliptic型生成元的无穷维马尔可夫半群构建了一个系统性的分析框架，建立了点态导数估计、有限传播速度以及遍历性。通过将有限维Hypoelliptic性技术推广至格点上相互作用的扩散系统，证明了在Lyapunov型条件下光滑性、强遍历性及不变测度的存在性，填补了在缺乏先验平衡测度知识的前提下，非紧、次椭圆、无穷维遍历理论中的关键空白。

ABSTRACT

We start by considering infinite dimensional Markovian dynamics in R^m generated by operators of hypocoercive type and for such models we obtain short and long time pointwise estimates for all the derivatives, of any order and in any direction, along the semigroup. We then look at infinite dimensional models (in (Rm)^{Z ^d}) produced by the interaction of infinitely many finite dimensional dissipative dynamics of the type indicated above. For these infinite dimensional models we study finite speed of propagation of information, well-posedness of the semigroup, time behaviour of the derivatives and strong ergodicity problem.

研究动机与目标

• 开发一个通用框架，用于分析具有Hypoelliptic型生成元的无穷维马尔可夫过程，尤其在不变测度事先未知的情况下。
• 解决在标准分部积分工具失效的非紧、次椭圆、无穷维环境中证明遍历性与光滑性的挑战。
• 将有限维Hypoelliptic性技术（特别是点态导数估计）推广至格点上相互作用的无穷维扩散系统。
• 在无穷维空间中建立信息传播的有限速度与半群的强光滑性，从而实现对长期行为的严格分析。
• 利用Lyapunov条件与高阶导数估计，提出存在性与唯一性不变测度的新判据。

提出的方法

• 基于Hypoelliptic方法与Bakry-Émery半群技术，采用归纳法，推导出有限维半群在任意阶导数与任意方向上的定量短时与长时点态界。
• 通过在每个格点处耦合局部Hypoelliptic动力学与二阶相互作用项，在$(\mathbb{R}^m)^{\mathbb{Z}^d}$上构造无穷维马尔可夫半群。
• 实施广义梯度界与换位子估计，以控制非交换向量场，并在时间演化下导出导数的衰减界。
• 应用弱紧致性准则，通过在具有紧致水平集的适当无界函数上验证Lyapunov型条件，证明不变测度的存在性。
• 利用高阶导数估计与换位子展开，控制相互作用项，并主导导数估计中非理想贡献。
• 推导作用于多个坐标上的导数的树状衰减估计，证明无穷维空间中信息传播的有限速度与半群的光滑性。

实验结果

研究问题

• RQ1 能否在不依赖分部积分的前提下，系统地推导出非退化马尔可夫半群在有限维空间中的点态导数估计？
• RQ2 有限维Hypoelliptic性框架如何推广至具有非紧状态空间的无穷维相互作用扩散系统？
• RQ3 在无穷维、非紧、次椭圆环境中，何种条件可确保信息传播的有限速度与半群的光滑性？
• RQ4 在事先未知平衡测度的情况下，何种条件可保证具有Hypoelliptic型生成元的无穷维半群存在不变测度？
• RQ5 在缺乏参考测度的前提下，如何利用一阶与高阶导数估计建立不变测度的唯一性？

主要发现

• 本文通过结合Hypoelliptic性与Bakry-Émery技术的归纳法，为由Hypoelliptic型算子生成的有限维半群建立了所有阶导数与任意方向的点态界。
• 证明了在具有树状衰减结构的无穷维系统中，信息传播具有有限速度，从而可控制作用于多个格点的导数。
• 在无穷维设定下，半群的光滑性得到证明，这是此前在如此一般条件下尚未建立的关键结果。
• 通过使用Lyapunov型条件，证明了即使在事先未知平衡测度的情况下，无穷维半群仍存在不变测度。
• 通过一阶与高阶导数估计，建立了不变测度的唯一性，提供了一个适用于广泛模型类的一般判据。
• 该框架允许生成元中存在依赖于不同坐标上场的二阶扰动，推广了文献中已有的结果。