[論文レビュー] Dimension-free Euler estimates of rough differential equations

Youness Boutaib, Lajos Gergely Gyurkó+2 more|arXiv (Cornell University)|Jul 17, 2013

Advanced Numerical Analysis Techniques参考文献 14被引用数 16

ひとこと要約

本稿では、バナッハ空間における $p$-rough path によって駆動される rough 微分方程式の解に対して、明示的な誤差項を伴う Lie 級数の指数近似を用いた次元に依存しない高次オイラー推定を提示する。主な貢献は、次元に依存しない普遍的な誤差推定を確立し、無限次元の設定へと先行研究を拡張したことである。これにより、次元依存性を伴わず、あらゆるバナッハ空間において強固な解析が可能となる。

ABSTRACT

We give a dimension-free Euler estimation of solution of rough differential equations in term of the driving rough path. In the meanwhile, we prove that, the solution of rough differential equation is close to the exponential of a Lie series, with a concrete error bound.

研究の動機と目的

• 無限次元バナッハ空間における rough 微分方程式の解に対して、次元に依存しない高次オイラー推定を構築すること。
• Davie や Friz-Victoir が得た次元依存の結果を、あらゆるバナッハ空間に適用可能な普遍的枠組みへと拡張すること。
• rough 微分方程式の解と Lie 級数の指数関数との間の明確な誤差項を確立すること。
• 詳細な軌道解析を必要とせず、駆動する rough path の周期的成分の影響を定量化する、上位から下位への機械に依存しない推定を提供すること。
• 次元的制限を排除することで、確率的および無限次元系における rough path 理論のより広範な適用を可能にすること。

提案手法

• Davie や Friz-Victoir の手法を応用し、次元依存性を排除するように geodesic 近似手法を修正すること。
• 区間 $[s,t]$ における rough 微分方程式の解を、$s,t$ に依存するベクトル場を持つ補助的 ODE の解 $[0,1]$ と比較すること。
• Arous や Hu、Castell のインスピレーションを受けて、解の Lie 級数の指数表現を用い、反復 Lie ブラケットを介して解を近似すること。
• 通常の有界 Variation 路径によって駆動される ODE から rough 微分方程式への極限への移行に、普遍的極限定理を適用すること。
• $p$-variation 距離と $S_n$-signature 写像を用いて、rough path 位相における近似路の収束を制御すること。
• 次元に依存しない一様性を保証するため、ステップ-$n$ の冪零 Lie 群 $G^n(\mathcal{V})$ 上の同次ノルムを用いて誤差項を確立すること。

実験結果

リサーチクエスチョン

• RQ1 バナッハ空間内での rough 微分方程式に対する高次オイラー推定を、次元に依存しない形にできるか？
• RQ2 rough 微分方程式の解と Lie 級数の指数関数との間の正確な誤差項は何か？
• RQ3 rough 微分方程式の解は、Lie ブラケットのベクトル場を持つ時間スケーリングされた ODE を用いてどのように近似できるか？
• RQ4 普遍的極限定理を用いて、有限次元の結果を無限次元の設定へとどの程度まで拡張できるか？
• RQ5 近似解の収束を、すべてのバナッハ空間にわたって一様に定量化できるか？

主な発見

• 本稿では、任意のバナッハ空間における $p$-rough path によって駆動される rough 微分方程式の解に対して、次元に依存しない高次オイラー推定を確立し、誤差項が基礎となる次元に依存しないことを示した。
• rough 微分方程式の解は、$p$ と $\gamma$ のみに依存する明示的な定数を用いて、Lie 級数の指数関数と $C_{p,\gamma}(|f|_{Lip(\gamma)} \|X\|_{p\text{-var},[s,t]})^{\gamma+1}$ の誤差内に収束することが示された。
• 近似路 $x^l$ が $p$-variation で rough path $X$ に収束するとき、近似解 $y^l$ が $t \in [0,T]$ に対して一様に真の解 $Y$ に収束することが保証された。
• 区間 $[s,t]$ における解は、$S_{\lfloor\gamma\rfloor+1}(X)_{s,t}$ の Lie 級数から導かれるベクトル場を持つ、時間スケーリングされた ODE によって近似可能である。
• 近似 ODE の解 $y^{s,t,l}$ が $l \to \infty$ のとき、極限 ODE の解 $y^{s,t}$ に収束することが示され、近似の安定性が保証された。
• Lie 群 $G^n(\mathcal{V})$ 上の同次ノルムを用いることで、無限次元を含むすべてのバナッハ空間において一様な誤差制御が達成された。