[論文レビュー] Differential equations driven by rough paths: an approach via discrete approximation

A. M. Davie|ArXiv.org|Oct 3, 2007

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

ひとこと要約

本稿では、修正されたオイラー近似を用いた微分方程式の新しいアプローチを提示し、ホルダー正則性条件の下で収束性および解の存在・一意性の結果を確立している。$ p < 3 $ の場合、駆動経路がホルダー正則性 $ \alpha = 1/p $ を持つとき、オイラー近似は解経路に収束し、誤差境界は $ K^{\beta - 2\alpha} $ のオーダーとなる。また、反例を用いて正則性閾値の鋭さを証明している。

ABSTRACT

A theory of differential equations driven by a non-differentiable path has recently been developed by Lyons. We develop an alternative approach to this theory, using (modified Euler approximations), and investigate its applicability to stochastic differential equations driven by Brownian motion. We also give some other examples showing that the main results are reasonably sharp.

研究の動機と目的

• リーマン＝ストルムの反復積分フレームワークを避けることで、粗いパスに駆動される微分方程式の代替的で近似に基づく理論を構築すること。
• ベクトル場に弱い正則性条件を課した場合の解の存在・一意性を確立すること。具体的には、存在のためには $ f \in C^{\gamma-1} $、一意性のためには $ f \in C^\gamma $ を想定する。
• 離散的オイラー近似が $ p $-変動またはホルダー正則性仮定の下で解経路に収束することを示し、明示的な誤差境界を求める。
• 正則性閾値が破られた場合に収束が失敗する反例を構築することで、結果の鋭さを示すこと。
• ブラウン運動に駆動される確率的微分方程式へとフレームワークを拡張し、$ f \in C^\gamma $ かつ $ \gamma > 2 $ の下で、均等ステップのオイラースキームの収束を証明すること。

提案手法

• 時間ステップを均等にとる離散的オイラー近似を用い、$ 2 \leq p < 3 $ の場合に二階反復積分補正を組み込む修正スキームを採用する。
• 時間間隔における解フローを表す写像 $ T_{kl}(z) $ を用いて、誤差を再帰的に分解する。
• 離散経路と連続的解フローとの差異を補正する項 $ u_{kl} $ を導入し、誤差伝搬解析を可能にする。
• 高次項を制御するため、パス $ x(t) $ に対して $ \left| \sum_{l=k}^{m-1} A^{ij}(lh, (l+1)h) \right| \leq B(m-k)^\beta h^{2\alpha} $ という条件を課す。
• 帰納的推定を用いて誤差 $ |u_{km}| \leq C(m-k)^{\alpha + \beta} h^{3\alpha} $ を境界づけ、グローバル誤差境界に至る。
• $ \alpha = 1/p $ のホルダー連続性を仮定し、解析を洗練させるために $ p $-変動仮定を置き換える。

実験結果

リサーチクエスチョン

• RQ1 反復積分フレームワークに依存せずに、オイラー法のような離散的近似スキームを用いて粗い微分方程式の解を構築できるか？
• RQ2 駆動経路が粗い場合に、ベクトル場 $ f $ に必要な正則性条件は何か？ これは解の存在と一意性に十分である。
• RQ3 オイラー近似の誤差境界は、駆動経路およびベクトル場の正則性にどのように依存するか？
• RQ4 均等ステップサイズの下で $ 2 \leq p < 3 $ の場合、オイラー近似が解経路に収束することが保証されるか？ どのような条件下で成立するか？
• RQ5 解の存在・一意性のための正則性閾値は鋭いか？ それらが破られた場合に反例を構築できるか？

主な発見

• $ 1 \leq p < 2 $ の場合、標準的なオイラー近似は $ f \in C^\gamma $ かつ $ \gamma > \alpha^{-1} $ の下で、誤差境界 $ O(K^{\beta - 2\alpha}) $ を持つ解経路に収束する。ここで $ \alpha = 1/p $ である。
• $ 2 \leq p < 3 $ の場合、反復積分補正を組み込んだ修正オイラースキームは、$ \left| \sum A^{ij} \right| \leq B(m-k)^\beta h^{2\alpha} $ を満たすパスの下で、同じ誤差率で収束する。
• 本手法により、$ f \in C^{\gamma-1} $ の下で解の存在が確立され、リーマンの $ C^\gamma $ 条件よりもわずかに緩和される。一意性は $ f \in C^\gamma $ で成立し、$ \gamma = p $ の場合でも成立する。
• ブラウン運動の下では、$ f \in C^\gamma $ かつ $ \gamma > 2 $ の下で、オイラー近似は概収束する。誤差境界は $ O(K^{\beta - 2\alpha}) $ であり、$ \alpha < 1/2 $、$ \beta > 1/2 $ である。
• 反例により、$ 1 < p < 2 $ または $ 2 < p < 3 $ の場合に $ f \in C^{p-1} $ では解の存在が失敗することが示され、$ \gamma < p $ の場合に $ f \in C^\gamma $ では一意性が失敗することが判明し、正則性閾値の鋭さが証明された。
• 式 (33) における $ A^{ij}(s,t) $ の条件が、パス $ x(t) $ 自身によって示されることを示し、反復積分が極限においてパスそのものによって決定されることを示唆している。