[Paper Review] 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 Flows22 references18 citations

TL;DR

This paper establishes a geometric connection between non-degenerate stochastic differential equations (SDEs) and affine connections on manifolds, showing that a unique connection with torsion arises naturally from the SDE's structure. The key contribution is identifying this connection as the Levi-Civita connection precisely when the SDE is gradient-like, unifying and extending known properties of gradient systems to general non-degenerate SDEs via torsion-adjusted geometry.

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.

Motivation & Objective

• To characterize the affine connection naturally induced by a non-degenerate SDE on a manifold.
• To show that this connection reduces to the Levi-Civita connection precisely for gradient systems.
• To extend known analytical properties—such as moment estimates, Weitzenböck formulas, and Bochner vanishing theorems—from gradient systems to general non-degenerate SDEs using a torsion-adjusted connection.
• To unify geometric and probabilistic structures in stochastic flows via the Le Jan–Watanabe connection framework.

Proposed method

• Define a unique affine connection $\tilde{\nabla}$ via the condition $ (\tilde{\nabla}X^e)(v) = 0 $ for all $ v \in T_xM $ and $ e \perp \ker X(x) $, ensuring compatibility with the SDE's noise structure.
• Construct the connection explicitly as $ \tilde{\nabla}Z(v) = X(x) d[Y(\cdot)Z(\cdot)](v) $, where $ Y(x) $ is the adjoint of $ X(x) $, yielding a metric connection.
• Use the connection to derive a Weitzenböck formula for the generator of the semigroup on $ p $-forms, linking curvature and stochastic evolution.
• Establish a Bismut-type formula for $ d\log p_t $ using an arbitrary metric connection, generalizing known results.
• Derive a generalized Bochner vanishing theorem by analyzing the curvature of the induced connection.
• Extend moment estimates for the derivative flow $ T\xi_t $ using spectral positivity under torsion-skew-symmetric conditions.

Experimental results

Research questions

• RQ1 What affine connection on a manifold is naturally induced by a non-degenerate Stratonovich SDE?
• RQ2 Under what conditions does this induced connection coincide with the Levi-Civita connection?
• RQ3 How can moment estimates for the derivative of the stochastic flow be extended beyond gradient systems?
• RQ4 Can a Weitzenböck formula for the semigroup on $ p $-forms be derived using the induced connection?
• RQ5 What is the role of torsion in generalizing Bismut-type formulas and Bochner vanishing theorems to non-gradient SDEs?

Key findings

• The induced connection $ \tilde{\nabla} $ is uniquely characterized by $ (\tilde{\nabla}X^e)(v) = 0 $ for all $ v \in T_xM $ and $ e \perp \ker X(x) $, and is metric.
• For gradient systems, the induced connection $ \tilde{\nabla} $ coincides with the Levi-Civita connection, explaining their favorable geometric and probabilistic properties.
• The curvature of the induced connection is given by $ \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) $, generalizing Gauss’s equation.
• A Weitzenböck formula is derived for the generator of the semigroup on $ p $-forms: $ P_t^q = - (\bar{\delta} d + d \bar{\delta}) $, linking stochastic evolution to curvature.
• A Bismut-type formula for $ d\log p_t $ is established using an arbitrary metric connection, extending results from [EY93].
• A generalized Bochner vanishing theorem is proven under spectral positivity conditions on the connection, extending results from [Li94a] to non-gradient SDEs.