[論文レビュー] A Fourier approach to pathwise stochastic integration

Massimiliano Gubinelli, Peter Imkeller+1 more|arXiv (Cornell University)|Oct 15, 2014

Stochastic processes and financial applications参考文献 36被引用数 13

ひとこと要約

本稿では、シュードラ関数展開を用いたフーリエに基づくアプローチを提案し、交換子推定と再帰的アルゴリズムを用いて、イト型およびストラトノビッチ型積分を単純で基礎的な枠組みで計算可能にする。主な貢献は、パラコントロール構造とレヴィ面積構成を活用することで、1/2未塔のホルダー正則性に対しても、ヤングの領域を超えた、強固なパスワイズな確率微分方程式の解法を可能にしたことである。

ABSTRACT

We develop a Fourier approach to rough path integration, based on the series decomposition of continuous functions in terms of Schauder functions. Our approach is rather elementary, the main ingredient being a simple commutator estimate, and it leads to recursive algorithms for the calculation of pathwise stochastic integrals, both of Itô and of Stratonovich type. We apply it to solve stochastic differential equations in a pathwise manner.

研究の動機と目的

• 粗いパスに対して、高度な調和解析を避けるが、完全な厳密性を保ったパスワイズ確率積分理論の構築を目的とする。
• シュードラ基底展開と交換子推定を用いて、確率積分の構成的でアルゴリズム的な計算手法を提供することを目的とする。
• パラコントロール構造の導入により、ホルダー正則性が1/2未塔に対しても、パスワイズ積分の適用範囲を拡張することを目的とする。
• マルコフ的でない、または予測可能な係数を持つ場合でさえ、パスワイズな方法で確率微分方程式を解けるようにすることを目的とする。
• フーリエ型展開とレヴィ面積の間の関係を確立し、粗いSDEにとって不可欠な要因を明らかにすることを目的とする。

提案手法

• Ciesielskiの同型写像を用いて、ホルダー関数をシュードラ関数の級数として表現し、係数はスケーリングされた2階差分に対応する。
• 積分を3つの成分に分解する：対称部S、パラプロダクトπ<、およびレヴィ面積L。特異性を制御するために交換子推定を用いる。
• 核心的な技術は、ベゾフ空間やリトルウッド＝パリー理論を必要としない、単純な交換子推定であり、特異性を制御することで再帰的積分計算が可能になる。
• パラコントロールパスはホルダー空間における剰余項によって定義され、ヤング領域を超える積分の拡張が可能になる。
• レヴィ面積は、パラプロダクトと剰余項に積分を再帰的に分解することで構成され、α < 1/2に対しても収束性が保証される。
• このフレームワークにより、リーマン和の直接計算とSDEのパスワイズ解法が可能になり、補正和や$L^2$極限を回避できる。

実験結果

リサーチクエスチョン

• RQ1 高度なツール（例：ベゾフ空間やリトルウッド＝パリー理論）を用いずに、基礎的な解析のみでパスワイズ確率積分を構築できるか？
• RQ2 ホルダー正則性が1/2未塔である過程に対して、レヴィ面積を厳密に定義できるか？
• RQ3 イットロ型およびストラトノビッチ型積分を統一的枠組みで再帰的アルゴリズムにより計算できるか？
• RQ4 パラコントロール構造をどれほどまでにヤング条件を超えてパスワイズ積分を拡張するのに利用できるか？
• RQ5 シュードラ基底表現が、反復積分やレヴィ面積の計算をどのように簡素化するか？

主な発見

• シュードラ展開による形式的パスワイズ積分は、ホルダー指数の和が1を超える条件のもとで厳密に正当化され、ヤングの積分が回復される。
• 積分は3つの成分に分解される：対称部S(f,g) ∈ C^{\alpha+\beta}、パラプロダクトπ< ∈ C^\beta、レヴィ面積L ∈ C^{\alpha+\beta}。後者はα + β > 1を要件とする。
• f^g ∈ C^\beta を満たすパラコントロールパスfに対して、α < 1/2であっても積分∫ f dg はwell-definedである。ただしβ > 1/3を満たす必要がある。
• レヴィ面積L(f,g) は再帰的に構成され、剰余項L(f - π<(f^g,g),g) は同様の条件下でwell-definedである。
• 本手法により、係数が過程、初期条件、二次変動に依存するSDEのパスワイズ解法が可能となり、(v, L(v,v), [v,v], y_0) に対して局所リプシッツ連続性が保証される。
• アフィン係数を有するシュードラ展開の正則性は、α ∈ (0,2) に対してC^\alphaに属し、係数列がℓ^∞に重み2^{-\alpha p}を乗じたものに対して、ノルムの有界性が示される。