[论文解读] Concerning the geometry of stochastic differential equations and stochastic flows

KD Elworthy, LeJan, Y.+1 more|arXiv (Cornell University)|Nov 18, 2019

Geometric Analysis and Curvature Flows参考文献 22被引用 18

一句话总结

本文建立了非退化随机微分方程（SDE）与流形上仿射联络之间的几何联系，表明该SDE结构自然导出一个带 torsion 的唯一联络。关键贡献在于：当SDE为梯度型时，该联络恰好为Levi-Civita联络，从而通过 torsion 调整的几何方法，统一并推广了梯度系统已知的性质至一般非退化SDE。

ABSTRACT

Following Le Jan and Watanabe we define a connection associated with a non-degenrrate diffusion operators. This connection is characterized here and shown to be the Levi-Civita connection for gradient systems. This both explains why such systems have useful properties and allows us to extend these properties to more general systems. Topics described here include: moment estimates for $Tξ_t$, a Weitzenböck formula for the generator of the semigroup on p-forms induced by the flow, a Bismut type formula for $d\log p_t$ in terms of an arbitrary metric connection, and a generalized Bochner vanishing theorem. A comprehensive theory on this, its generalization to semi-elliptic case and applications is published in the book `On the geometry of diffusion operators and stochastic flows'. Related to this is also the book `The geometry of filtering'. This article is easier to read.

研究动机与目标

• 刻画由流形上非退化SDE自然诱导的仿射联络。
• 证明当SDE为梯度系统时，该联络退化为Levi-Civita联络。
• 通过 torsion 调整的联络，将已知的分析性质（如矩估计、Weitzenböck公式和Bochner消去定理）从梯度系统推广至一般非退化SDE。
• 通过Le Jan–Watanabe联络框架，统一随机流中的几何与概率结构。

提出的方法

• 通过条件 $ (\tilde{\nabla}X^e)(v) = 0 $ 对所有 $ v \in T_xM $ 和 $ e \perp \ker X(x) $ 定义唯一的仿射联络 $\tilde{\nabla}$，确保其与SDE的噪声结构相容。
• 显式构造联络为 $ \tilde{\nabla}Z(v) = X(x) d[Y(\cdot)Z(\cdot)](v) $，其中 $ Y(x) $ 是 $ X(x) $ 的伴随算子，从而得到一个度量联络。
• 利用该联络推导出在 $ p $-形式上半群生成元的Weitzenböck公式，将曲率与随机演化联系起来。
• 使用任意度量联络建立 $ d\log p_t $ 的Bismut型公式，推广已知结果。
• 通过分析诱导联络的曲率，推导出广义的Bochner消去定理。
• 在 torsion-斜对称条件下利用谱正性，将 $ T\xi_t $ 的导数流矩估计加以推广。

实验结果

研究问题

• RQ1 在流形上，非退化Stratonovich SDE自然诱导出何种仿射联络？
• RQ2 在何种条件下，该诱导联络与Levi-Civita联络重合？
• RQ3 如何将梯度系统之外的随机流导数的矩估计加以推广？
• RQ4 能否利用诱导联络推导出在 $ p $-形式上半群的Weitzenböck公式？
• RQ5 torsion 在将Bismut型公式和Bochner消去定理推广至非梯度SDE中起何作用？

主要发现

• 诱导联络 $ \tilde{\nabla} $ 由 $ (\tilde{\nabla}X^e)(v) = 0 $ 对所有 $ v \in T_xM $ 和 $ e \perp \ker X(x) $ 唯一刻画，并且是度量联络。
• 对于梯度系统，诱导联络 $ \tilde{\nabla} $ 与Levi-Civita联络重合，解释了其优良的几何与概率性质。
• 诱导联络的曲率为 $ \breve{R}(u,v)w = \sum_{i=1}^m \left( \breve{\nabla}_u X^i \langle \breve{\nabla}_v X^i, w \rangle - \breve{\nabla}_v X^i \langle \breve{\nabla}_u X^i, w \rangle \right) $，推广了Gauss方程。
• 推导出在 $ p $-形式上半群生成元的Weitzenböck公式：$ P_t^q = - (\bar{\delta} d + d \bar{\delta}) $，将随机演化与曲率联系起来。
• 使用任意度量联络建立了 $ d\log p_t $ 的Bismut型公式，推广了 [EY93] 中的结果。
• 在联络的谱正性条件下，证明了广义的Bochner消去定理，将 [Li94a] 的结果推广至非梯度SDE。