[論文レビュー] Rough differential equation in Banach space driven by weak geometric p-rough path

Terry Lyons, Danyu Yang|arXiv (Cornell University)|Feb 12, 2014

Advanced Numerical Analysis Techniques参考文献 9被引用数 3

ひとこと要約

本稿は、弱い幾何的 $p$-rough パath によって駆動されるバナッハ空間上の rough 微分方程式 (RDE) に対して、普遍極限定理を拡張する。これは、切断された指数関数的解の流れを近似する明示的な常微分方程式 (ODE) を用いる。$\gamma$-Hölder 型のベクトル場に対して $\gamma > p$ を満たすとき、解の存在、一意性、および定量的連続性を確立し、高次のオイラー展開と一致する次元に依存しない誤差境界を提示する。

ABSTRACT

By using an explicit ordinary differential equation to approximate the exponential solution flow, we extend the universal limit theorem to rough differential equation in Banach space driven by weak geometric rough path, and give the quantitative dependence of solution in term of the initial value, vector field and driving rough path.

研究の動機と目的

• 無限次元バナッハ空間における rough path 理論のギャップ、特に $p \geq 3$ でベクトル場が局所リプシッツ的でない場合を扱う。
• バナッハ空間において解の連続性を示すために、古典的手法（ヤコビ行列やホワイトニーの定理）が失敗することを克服する。
• 幾何的 rough path の仮定が厳しすぎる場合に、バナッハ空間上での弱い幾何的 $p$-rough パath によって駆動される RDE のための強固な解フレームワークを提供する。
• バナッハ空間における普遍極限定理の定量的バージョンを確立し、初期値、ベクトル場、駆動パラメータへの解の依存関係を明示的に結びつける。
• 次元に依存しない誤差を制御できる明示的な ODE 近似を用いて、バナッハ空間上での RDE 解のシミュレーションを可能にする。

提案手法

• 小さな時間区間において、RDE の切断された指数関数的解の流れを近似するため、Lie 多項式ベクトル場を備えた明示的な ODE を用いる。
• 区分けられた区間上で数学的帰納法を適用し、RDE の解と ODE 近似との差を制御する。
• 対称群作用と整合する適切なノルムを用いて、バナッハ空間上のテンソル代数に制御可能なノルム構造を定義する。
• パラメータ $\alpha \in (0,1]$ と制御関数 $\omega$ を導入し、パスの粗さを定量的に評価し、近似の収束を保証する。
• テンソル代数における解の流れの射影 $\pi_k$ に対する推定を用い、切断された指数級数の各レベルにおける誤差をバウンディングする。
• 高次のオイラー展開の精度と一致する次元に依存しない誤差境界 $\omega(t_i,t_{i+1})^{(\lfloor p\rfloor +1)/p} \vee \omega(t_i,t_{i+1})^{\lfloor p\rfloor}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 弱い幾何的 $p$-rough パath によって駆動されるバナッハ空間上の RDE に対して、普遍極限定理を拡張できるか？
• RQ2 無限次元設定において、解が初期値、ベクトル場、駆動 rough パスにどのように定量的に依存するか？
• RQ3 次元に依存しない誤差境界を持つ明示的な ODE 近似を構築し、バナッハ空間上での RDE 解のシミュレーションを可能にすることができるか？
• RQ4 ベクトル場の Hölder 指数 $\gamma \in (p-1, p)$ のとき、解の正則性および連続性はどのように依存するか？
• RQ5 拡張されたバナッハ空間において、Lyons や Gubinelli、Davie、Friz–Victoir の解の概念は重複する設定で一致するか？

主な発見

• ベクトル場が $\gamma$-Hölder 継続的で $\gamma > p$ を満たすとき、弱い幾何的 $p$-rough パスによって駆動されるバナッハ空間上の RDE の解は存在し、一意的である。
• 解は初期値、ベクトル場、駆動 rough パスに対して連続的であり、$\exp\left(C_{p,\gamma}(\omega^{\alpha_0}(0,T) + \alpha^{-1}\omega^{\alpha}(0,T))\right)$ を含む定量的バウンディングが得られる。
• 任意の区間 $[s,t]$ における RDE 解の増分を、$[0,1]$ 上で定義された明示的な ODE でシミュレート可能であり、誤差は高次のオイラー展開と同程度のオーダーである。
• ODE 近似と真の RDE 解との間の誤差は次元に依存せず、$C_{p,\gamma}\exp\left(C_{p,\gamma}(\omega^{\alpha_0}(0,T) + \alpha^{-1}\omega^{\alpha}(0,T))\right) \sum_{j=0}^{n-1} \left(\omega(t_j,t_{j+1})^{(\lfloor p\rfloor +1)/p} \vee \omega(t_j,t_{j+1})^{\lfloor p\rfloor}\right)$ でバウンディングされる。
• 近似 ODE の解は、指数写像の代数的構造を保つべき nilpotent Lie 群の値をとる。
• 提案されたフレームワークは、重複する設定において Lyons、Gubinelli、Davie、Friz–Victoir の解の概念を統一し、バナッハ空間における定式化の整合性を確認する。