[論文レビュー] Large deviation principle for bridges of degenerate diffusions

Ismaël Bailleul|arXiv (Cornell University)|Mar 12, 2013

Advanced Mathematical Modeling in Engineering参考文献 4被引用数 5

ひとこと要約

本稿は、コンpact多様体上の退化型拡散過程のブリッジについて、時間区間がゼロに近づく極限において、大偏差原理（LDP）を確立する。サブエルミート型のリーブラケット条件の下で、ヒートカーネル推定とローブパス理論を用いて、時間区間がゼロに近づくにつれ、条件付き拡散過程の分布が、両端点間の唯一の最小エネルギー経路に集中するディラック測度に弱収束することを証明する。これにより、ブリッジ分布の決定的1次漸近挙動が同定される。

ABSTRACT

We prove that bridges of subelliptic diffusions on a compact manifold, with distinct ends, satisfy a large deviation principle in a space of Holder continuous functions, with a good rate function, when the travel time tends to 0. This leads to the identification of the deterministic first order asymptotics of the distribution of the bridge under generic conditions on the endpoints of the bridge.

研究の動機と目的

• コンパクト多様体上の退化型拡散過程の条件付き（ブリッジ）過程における大偏差原理（LDP）を確立すること。
• 時間区間がゼロに近づく極限におけるブリッジ分布の決定的1次漸近挙動を同定すること。
• 楕円型の場合を超えて、リーブラケット条件によって支配されるより一般的なサブエルミート型設定へLDPの結果を拡張すること。
• 準確確率的解析や確率的フローに依存せず、ヒートカーネル推定とローブパス理論を用いた直接的で解析的証明を提供すること。

提案手法

• LDPにおけるレート関数として、サブリーマン型距離とエネルギー関数 $ J(\gamma) = \frac{1}{2}(\inf\|h\|^2 - d(x,y)^2) $ を用いる。
• 遷移確率を制御し、指数的バウンドを導出するためにLéandreのヒートカーネル推定を適用する。
• ホルダー位相における族 $ \mathbb{P}^{x,y}_{\epsilon} $ の指数的タイトネスを確立するために、ローブパス理論を用いる。
• 時間反転と経路の切断技術を用いて、経路の近傍における確率を推定し、LDPの下界と上界を証明する。
• 古典的なFreidlin-Wentzell理論と容量推定を用いて、既存の大偏差結果と接続する。
• 一般条件下で、$ \mathbb{P}^{x,y}_{\epsilon} $ が、$ x $ から $ y $ への唯一の最小エネルギー経路に集中するディラック測度に弱収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 時間区間がゼロに近づくとき、退化型拡散過程のブリッジ測度は大偏差原理を満たすか？
• RQ2 一般の端点条件の下で、ブリッジ分布の決定的1次極限は何か？
• RQ3 楕円型を仮定せず、最小のサブエルミート型リーブラケット条件の下でLDPを確立できるか？
• RQ4 レート関数 $ J $ は、経路のエネルギーとサブリーマン型距離とどのように関係するか？
• RQ5 どのような条件下で、ブリッジ測度が、唯一の最小エネルギー経路に集中するディラック質量に弱収束するか？

主な発見

• 族 $ \mathbb{P}^{x,y}_{\epsilon} $ は、$ \frac{1}{3} < \alpha < \frac{1}{2} $ に対して、空間 $ \mathcal{C}^{\alpha}_{x,y}([0,1],M) $ において、良いレート関数 $ J $ を持つ大偏差原理を満たす。
• レート関数 $ J(\gamma) $ は、$ \gamma^h = \gamma $ を満たす制御 $ h $ における $ \inf\|h\|^2 $ の下で、$ \frac{1}{2}(\inf\|h\|^2 - d(x,y)^2) $ として与えられる。
• ある点 $ x $ から $ y $ への唯一の最小エネルギー経路 $ \gamma $ が存在するとき、ブリッジ測度 $ \mathbb{P}^{x,y}_{\epsilon} $ は $ \epsilon \to 0 $ のとき $ \delta_\gamma $ に弱収束する。
• $ M^2 $ 内で、唯一の最小エネルギー経路を有する対 $ (x,y) $ の集合は、$ M^2 $ において稠密である。
• 証明は解析的かつ自己完結的であり、準確確率的解析や確率的フローを必要とせず、ヒートカーネル推定とローブパス技法に依存する。
• Freidlin-Wentzell理論を、リーブラケット条件の下で退化型の場合へ拡張し、この一般設定において初の明示的証明を提供する。