[論文レビュー] Flows driven by rough paths

Ismaël Bailleul|arXiv (Cornell University)|Mar 5, 2012

Stochastic processes and financial applications参考文献 1被引用数 9

ひとこと要約

本稿では、バナッハ空間上のH"older弱幾何的粗いパスによって駆動される粗い微分方程式の解を構成するための新しいフローに基づくアプローチを導入する。非可換なセーミング補題の拡張を用いて近似フローからフローを作成することで、存在性・一意性・適切に定義された性質に関する結果を確立し、テイラー展開やオイラー推定を含む結果を得る。この枠組みを用いて、先行研究よりも弱い仮定のもとで平均場確率的粗い微分方程式の適切に定義された性質を証明する。

ABSTRACT

We devise in this work a simple mechanism for constructing flows on a Banach space from approximate flows, and show how it can be used in a simple way to reprove from scratch and extend the main existence and well-posedness results for rough differential equations, in the context of dynamics on a Banach space driven by a finite dimensional Holder weak geometric p-rough path, for any 2

研究の動機と目的

• バナッハ空間における近似フローからフローを構成するための新しい、簡素化されたメカニズムの開発。
• H"older弱幾何的粗いパスによって駆動される粗い微分方程式について、存在性および適切に定義された性質の結果を再証明・拡張すること。
• フレームワークの自然な帰結として、解のフローに対するテイラー展開およびオイラー推定を導出すること。
• ベクトル場に線形成長条件が成り立つ場合の解のフローの爆発回避を確立すること。
• 平均場確率的粗い微分方程式のクラスについて、本手法の適用可能性を示し、適切に定義された性質を確立すること。

提案手法

• Feyel-de la Pradelleのセーミング補題の非可換拡張を用いて、粗いパス積分に依存せずに、近似フローからフローを構成する。
• 動的システムをパスではなく状態空間上の写像として扱い、微分同相写像の時系列合成に注目する。
• 近似フローは、ベクトル場と粗いパスの増分に基づく局所的フローの時系列合成として定義される。
• 異なる法則やベクトル場によって駆動されるフロー間の差を推定するために、テレスコピック分解技術が用いられる。
• 積分形式を事前に必要とせず、解のフローに対するテイラー展開およびオイラー型推定を直接導出可能である。
• 平均場SDEにこの枠組みを適用する際には、解の法則上のフロー写像を定義し、適切な位相における収縮性を証明する。

実験結果

リサーチクエスチョン

• RQ1 粗いパス積分に依存しないフローに基づく構成により、粗い微分方程式の存在性・一意性を確立できるか？
• RQ2 フロー構成法から直接的に解のフローに対するテイラー展開およびオイラー推定を導出できるか？
• RQ3 ベクトル場が線形成長を満たす場合、粗い微分方程式の解のフローが爆発しない条件は何か？
• RQ4 提案されたフロー枠組みを、平均場確率的粗い微分方程式の適切に定義された性質の証明に拡張できるか？
• RQ5 指数的モーメントの要請や線形相互作用に制限される既存の手法と比較して、本手法は一般性および強度においてどのように優位か？

主な発見

• 近似フローを用いた提案されたフロー構成により、H"older弱幾何的粗いパスによって駆動される粗い微分方程式の解の存在性と一意性が得られる。
• 解のフローに対するテイラー展開およびオイラー推定は、積分形式を前提とせず、フロー構成の自然な帰結として導出可能である。
• 局所的近似フローに指数的成長制御を施すことにより、ベクトル場に線形成長条件が成り立つ場合の解のフローの爆発回避が確立される。
• 非線形な相互作用を有するドリフトおよび拡散ベクトル場を有するクラスの平均場確率的粗い微分方程式について、適切に定義された性質が証明される。
• 平均場写像に対して、時間区間Tに依存する収縮定数を有する適切な位相で厳密な収縮性が得られ、一意な不動点が保証される。
• 平均場の結果における仮定は、先行研究と比較して顕著に弱く、特に1 ≤ p ≤ 2を満たすガウス過程のp-粗いパスに対して、従来の枠組みでは適用できないが、本フレームワークでは適用可能である。