[論文レビュー] Coordinate-free Stochastic Differential Equations as Jets

John Armstrong, Damiano Brigo|arXiv (Cornell University)|Feb 12, 2016

Markov Chains and Monte Carlo Methods参考文献 15被引用数 7

ひとこと要約

本稿は、滑らかな関数の2次ジェットを用いて、多様体上の伊藤型確率微分方程式（SDE）の座標に依存しない定式化を導入し、幾何的で直感的な枠組みを提供する。これにより、伊藤の補題の解釈が簡素化され、'ファン図'を用いた図的表現が可能となり、2次ジェット数値スキームが古典的伊藤解へ収束することが確立される。主な貢献は、ジェット理論的幾何学を用いて、伊藤とストラトノビッチの微積分の関係を明確にする、統一的で内的なSDEの取り扱い方である。

ABSTRACT

We explain how Itô Stochastic Differential Equations (SDEs) on manifolds may be defined using 2-jets of smooth functions. We show how this relationship can be interpreted in terms of a convergent numerical scheme. We show how jets can be used to derive graphical representations of Itô SDEs. We show how jets can be used to derive the differential operators associated with SDEs in a coordinate free manner. We relate jets to vector flows, giving a geometric interpretation of the Itô--Stratonovich transformation. We show how percentiles can be used to give an alternative coordinate free interpretation of the coefficients of one dimensional SDEs. We relate this to the jet approach. This allows us to interpret the coefficients of SDEs in terms of "fan diagrams". In particular the median of a SDE solution is associated to the drift of the SDE in Stratonovich form for small times.

研究の動機と目的

• 滑らかな関数の2次ジェットを用いて、多様体上での座標に依存しない伊藤SDEの定式化を、局所座標やチャートに基づく定義に依存せずに構築すること。
• 解の分布のパーセンタイルと分位数に基づいた'ファン図'を用いて、SDEの直感的で図的解釈を提供すること。
• コンパクト多様体上での2次ジェット数値スキームの平均二乗収束を証明することで、2次ジェット定式化と古典的伊藤SDEとの厳密な関係を確立すること。
• ジェット理論的概念を用いて、伊藤の補題の幾何的意味と伊藤–ストラトノビッチ変換の本質を明確にすること。
• 微分幾何学に基づく、ストラトノビッチ微積分や拡散作用素といった、多様体上でのSDEの異なる取り扱い方を、1つの内的な枠組みに統一すること。

提案手法

• 本稿では、滑らかな関数の2次ジェットを用いて多様体上でのSDEを定式化し、過程の2次テイラー近似を基本対象として扱う。
• 伊藤の補題を2次ジェット上の自然な変換則として定式化し、その幾何的意味を直感的かつ座標に依存しない形で明確にする。
• 2次ジェットデータに基づく離散近似を用いた数値スキーム（以下、'2次ジェットスキーム'）を構築し、コンパクト集合上で平均二乗収束を示す。
• 著者らは2次ジェットとベクトル場・流れの関係を明らかにし、2次ジェットが2次接ベクトルに対応することを示し、既存のSDEの幾何理論と接続する。
• 座標変換が伊藤の補題の下で正しい変換則を満たすように、SDEを'ゴムシート'に埋め込むことで図的表現を導出する。
• 多様体をユークリッド空間に埋め込み、コンパクト部分集合上で強い距離同値性を用いることで、2次ジェットスキームが古典的伊藤解へ収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 多様体上での伊藤SDEを、ジェットといった標準的な微分幾何的対象のみを用いて、座標に依存しない形でどのように定式化できるか？
• RQ2 2次ジェットを用いて表現された伊藤の補題の幾何的解釈は何か？ そして、滑らかな写像によるSDEの変換則は、どのように明確化されるか？
• RQ3 2次ジェットに基づく数値スキームは、平均二乗収束するか？ その条件は何か？
• RQ4 SDE解のパーセンタイルと分位数は、座標に依存しない形でドリフト項と拡散項とどのように関係するか？ また、ファン図を用いた可視化は可能か？
• RQ5 2次ジェット定式化とストラトノビッチ微積分の正確な関係は何か？ そして、伊藤–ストラトノビッチ変換はどのように説明されるか？

主な発見

• 埋め込みを用いたユークリッド空間上での距離同値性を用いることで、2次ジェットスキームがコンパクト集合上で古典的伊藤解へ平均二乗収束することが、証明された。
• 2次ジェットデータを直接用いて、SDEに関連する拡散作用素の座標に依存しない導出が可能である。
• 本稿では、多様体上の曲線の2次ジェットが自然に2次接ベクトルに対応することを確立し、伊藤–ストラトノビッチ変換の幾何的解釈の根拠を提供する。
• 特に短時間における中央値を含むSDE解のパーセンタイルが、ストラトノビッチ形式におけるドリフト係数と幾何的に関連付けられ、SDE係数の新たな解釈が可能になった。
• 2次ジェット定式化に基づく'ファン図'を用いた図的表現が導出され、滑らかな写像の下で正しく変換されることを示し、伊藤の補題を視覚的に明確にした。
• 本アプローチにより、微分作用素、数値スキーム、幾何的流れといった、SDEの複数の視点が、ジェットに基づく1つの内的な枠組みに統合された。