[论文解读] H\"ormander's theorem for rough differential equations on manifolds

Thomas Cass, Martin P. Weidner|arXiv (Cornell University)|Apr 25, 2016

Mathematical and Theoretical Analysis参考文献 29被引用 4

一句话总结

本文通过使用标记根树上的Grossman-Larson霍普夫代数，提出了一种内在的、坐标不变的随机微分方程（RDE）解的定义。该方法在向量空间中与经典Davie解等价，并在Hörmander条件成立时，证明了非退化高斯粗糙路径驱动的流形值RDE解的光滑密度正则性，从而将马利阿文微积分推广至流形上。

ABSTRACT

We introduce a new definition for solutions $Y$ to rough differential equations (RDEs) of the form $\mathrm d Y_{t} =V\left (Y_{t} ight )\mathrm d\mathbf X_{t} ,Y_{0} =y_{0} ext{}$. By using the Grossman-Larson Hopf algebra on labelled rooted trees, we prove equivalence with the classical definition of a solution advanced by Davie when the state space $E$ for $Y$ is a finite-dimensional vector space. The notion of solution we propose, however, works when $E$ is any smooth manifold $\mathcal{M}$ and is therefore equally well-suited for use as an intrinsic defintion of an $\mathcal{M}$-valued RDE solution. This enables us to prove existence, uniqueness and coordinate-invariant theorems for RDEs on $\mathcal{M}$ bypassing the need to define a rough path on $\mathcal{M}$. Using this framework, we generalise result of Cass, Hairer, Litter and Tindel proving the smoothness of the density of $\mathcal{M}$-valued RDEs driven by non-degenerate Gaussian rough paths under H\ormander's bracket condition. In doing so, we reinterpret some of the foundational results of the Malliavin calculus to make them appropriate to the study $\mathcal{M}$-valued Wiener functionals.

研究动机与目标

• 为光滑流形上的随机微分方程（RDE）提出一种坐标不变的、内在的解的定义。
• 将经典Davie型解（仅在向量空间中有效）推广至流形设定，且无需在流形上构造粗糙路径提升。
• 建立非退化高斯粗糙路径驱动的流形值RDE解的存在性、唯一性及密度光滑性的证明。
• 在流形值过程的背景下，重新诠释马利阿文微积分的基础结果。

提出的方法

• 通过标记根树上的Grossman-Larson霍普夫代数，提出一种新颖的流形上RDE解的概念。
• 在状态空间为有限维向量空间时，建立新解定义与Davie解之间的等价性。
• 利用标记根树的代数结构，以坐标无关的方式编码迭代积分与解的展开。
• 应用该框架，证明在无需构造流形上粗糙路径的前提下，流形上RDE解的存在性与唯一性。
• 将Hörmander括号条件适配至流形设定，并利用该解框架证明解律的光滑密度。
• 重新诠释马利阿文微积分工具，使其适用于流形值Wiener泛函，从而实现对密度正则性的研究。

实验结果

研究问题

• RQ1 能否利用代数结构，在光滑流形上形式化RDE解的坐标不变、内在定义？
• RQ2 所提出的解概念是否在保持于流形上有效的同时，推广了向量空间中的经典Davie解？
• RQ3 在何种条件下，由高斯粗糙路径驱动的流形值RDE解具有光滑密度？
• RQ4 马利阿文微积分的工具如何被调整以研究流形值Wiener泛函的律正则性？
• RQ5 Hörmander条件是否可用于确保由非退化高斯粗糙路径驱动的流形上RDE解具有光滑密度？

主要发现

• 所提出的流形上RDE解的概念在有限维向量空间中与Davie解等价，验证了其一致性。
• 该解框架使得在无需构造流形上粗糙路径的前提下，实现了流形上RDE解的存在性与唯一性。
• 本文证明，当满足Hörmander括号条件时，由非退化高斯粗糙路径驱动的光滑流形上RDE解的律具有光滑密度。
• 该框架允许对马利阿文微积分中的关键结果进行重新诠释，使其适用于流形值Wiener泛函，从而扩展了其适用范围。
• 使用标记根树上的Grossman-Larson霍普夫代数，为流形上解展开中的迭代积分提供了一种系统化、内在的处理方法。