[論文レビュー] An elementary proof of the reconstruction theorem

Harprit Singh, Josef Teichmann|arXiv (Cornell University)|Dec 7, 2018

Stochastic processes and financial applications被引用数 8

ひとこと要約

本稿では、モリフィケーション手順を用いたモデルおよびモデル化分布への応用により、ウェーブレット理論やパラコントロールド解析といった深い理論を避けて、正則性構造における再構成定理の新しい、初等的な証明を提示する。主な貢献は、滑らかなモデルから一般のモデルへの再構成作用素の直接的なリプシッツ連続拡張を近似を用いて確立し、有効次元 $|\mathfrak{s}|$ に依存する明示的な収束速度を持つ $(p,q)$ ベソフ空間設定で定理を確立することにある。証明は、モデルの標準的モリフィケーションおよびモデル化分布の稠密で変形可能な部分空間に依拠している。

ABSTRACT

The reconstruction theorem, a cornerstone of Martin Hairer's theory of regularity structures, appears in this article as the unique extension of the explicitly given reconstruction operator on the set of smooth models due its inherent Lipschitz properties. This new proof is a direct consequence of constructions of mollification procedures on spaces of models and modelled distributions: more precisely, for an abstract model $Z$ of a given regularity structure, a mollified model is constructed, and additionally, any modelled distribution $f$ can be approximated by elements of a universal subspace of modelled distribution spaces. These considerations yield in particular a non-standard approximation results for rough path theory. All results are formulated in a generic $(p,q)$ Besov setting.

研究の動機と目的

• ウェーブレット理論やパラコントロールド解析といった高度な技術に依存せずに、正則性構造における再構成定理の自己完結的で初等的な証明を提供すること。
• 滑らかなモデルから一般のモデルへの再構成作用素の存在および一意性を、リプシッツ連続的拡張として確立すること。
• モデル化分布が、モデルの変形に対してリプシッツ連続性を保つ普遍的な稠密部分空間に近似可能であることを示すこと。
• モリフィケーションフレームワークを通じて、粗いパス理論に適用可能な非標準的な近似結果を導出すること。
• すべての結果を一般化された $(p,q)$ ベソフ空間設定で定式化し、古典的枠組みを一般化すること。

提案手法

• 任意のモデル $Z$ から、モリフィケーション手順を用いて標準的な滑らか化モデル $Z^\epsilon$ を構成し、修正された位相で収束することを保証する。
• モデルの曲線に沿ったリプシッツ連続曲線に沿って連続的に変形可能な、普遍的な稠密部分空間をモデル化分布に定義する。
• 再構成作用素が滑らかなモデルの空間上で明示的に定義され、リプシッツ連続であることを証明する。
• 滑らかなモデルから一般のモデルへの再構成作用素の、一意的なリプシッツ連続拡張性を用いて拡張する。
• テスト関数の標準的リフト $\Phi$ のスケーリング性質を用いて、$d^{\gamma,m}_{\infty,\infty}$-型空間におけるノルムを制御する。
• 差を $\Gamma$-作用とモデル化分布ノルムに分解することで、$L^p$-ベースの再構成誤差推定を得る。これにより、明示的な収束速度が導かれる。

実験結果

リサーチクエスチョン

• RQ1 再構成定理は、ウェーブレット理論やパラコントロールド分布の深い道具を用いずに証明可能か？
• RQ2 リプシッツ連続性と近似のみを用いて、滑らかなモデルから一般のモデルへの再構成作用素をどのように拡張できるか？
• RQ3 滑らか化モデルは、モデル化分布の稠密で変形可能な部分空間を構築する上で果たす役割は何か？
• RQ4 有効次元 $|\mathfrak{s}|$ の観点から、再構成近似の定量的収束速度は何か？
• RQ5 このフレームワークは、粗いパス理論における新たな近似結果を生み出せるか？

主な発見

• 再構成作用素は、滑らかなモデルの空間から全モデル化分布バンドルへの一意的なリプシッツ連続拡張を備え、初等的な近似および連続性の議論によって確立される。
• 滑らか化モデル $Z^\epsilon$ は、修正された位相で元のモデル $Z$ に収束し、標準的な正則化手続きを提供する。
• モデルのリプシッツ連続曲線に沿って全域的に変形可能な、稠密なモデル化分布の部分空間が存在し、安定な近似を可能にする。
• 再構成作用素の近似誤差は $2^{-n|\mathfrak{s}|}$ のオーダーで減少し、その速度は有効次元 $|\mathfrak{s}|$ に指数的に依存する。
• 証明はウェーブレットに基づく技術やパラコントロールド手法を回避しており、再構成定理へのよりアクセス可能で構成的な道筋を提供する。
• このフレームワークは、滑らか化モデルおよびモデル化分布空間の構造に起因して、粗いパス理論における非標準的な近似結果を生み出す。