[論文レビュー] 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の構造から自然に生じるねじれを有する一意な接続が存在することを示している。主な貢献は、SDEが勾配型である場合に限り、この接続がリーマン接続に一致することを特定し、ねじれ補正付き幾何学を用いて、勾配系に既知の性質を一般の非退化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へと拡張すること。
• レ・ジャン＝ワタナベ接続フレームワークを通じて、確率的流れにおける幾何的構造と確率的構造を統一すること。

提案手法

• SDEのノイズ構造と整合性を持つように、すべての $ v \in T_xM $ および $ e \perp \ker X(x) $ に対して $ (\tilde{\nabla}X^e)(v) = 0 $ を満たす唯一のアフィン接続 $ \tilde{\nabla} $ を定義する。
• 接続を明示的に $ \tilde{\nabla}Z(v) = X(x) d[Y(\cdot)Z(\cdot)](v) $ として構成し、ここで $ Y(x) $ は $ X(x) $ の随伴である。これにより、計量接続が得られる。
• この接続を用いて、$ p $-形式上の半群の生成作用素に対するワイツェンボッック公式を導出し、曲率と確率的時間発展を結びつける。
• 任意の計量接続を用いて $ d\log p_t $ のビスマール型公式を確立し、既知の結果を一般化する。
• 誘導された接続の曲率を分析することで、一般化されたボッハナーの消失定理を導出する。
• ねじれ歪対称条件の下でのスペクトル正定性を仮定し、導出流れ $ T\xi_t $ のモーメント推定を拡張する。

実験結果

リサーチクエスチョン

• RQ1 非退化なストラトノビッチ型SDEが多様体上に自然に誘導するアフィン接続は何か？
• RQ2 この誘導された接続がリーマン接続に一致する条件は何か？
• RQ3 勾配系を超えた場合の確率的流れの導出のモーメント推定をどのように拡張できるか？
• RQ4 誘導された接続を用いて、$ p $-形式上の半群に対するワイツェンボッック公式を導出できるか？
• RQ5 ねじれが非勾長SDEへのビスマール型公式およびボッハナーの消失定理の一般化において果たす役割は何か？

主な発見

• 誘導された接続 $ \tilde{\nabla} $ は、すべての $ v \in T_xM $ および $ e \perp \ker X(x) $ に対して $ (\tilde{\nabla}X^e)(v) = 0 $ を満たすことで一意に特徴づけられ、計量接続である。
• 勾長系の場合、誘導された接続 $ \tilde{\nabla} $ はリーマン接続に一致する。これは、それらが優れた幾何的・確率的性質を示す理由を説明する。
• 誘導された接続の曲率は、$ \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) $ で与えられ、ガウスの公式を一般化する。
• 半群の生成作用素に対する $ p $-形式上でのワイツェンボッック公式が導出され、$ P_t^q = - (\bar{\delta} d + d \bar{\delta}) $ と表され、確率的時間発展と曲率が結びつけられる。
• 任意の計量接続を用いて $ d\log p_t $ のビスマール型公式が確立され、[EY93] の既知の結果が拡張される。
• 接続のスペクトル正定性条件下で、一般化されたボッハナーの消失定理が証明され、[Li94a] の結果が非勾長SDEへと拡張される。