[論文レビュー] Random models on regularity-integrability structures

I. Bailleul, Masato Hoshino|arXiv (Cornell University)|Oct 16, 2023

Stochastic processes and financial applications被引用数 4

ひとこと要約

本稿は、特異確率的PDEの文脈において、確率的モデルとそのMalliavin導関数の解析を統一するためのregularity-integrability構造の概念を導入する。スペクトルギャップ仮定と確率的対象の帰納的制御を活用することで、BPHZを含む広範な再正則化手続きの収束結果を確立し、より一般的かつ洗練された枠組みへと既存の結果を拡張する。

ABSTRACT

We prove a convergence result for a large class of random models that encompasses the case of the BPHZ models used in the study of singular stochastic PDEs. We introduce for that purpose a useful variation on the notion of regularity structure called a regularity-integrability structure. It allows to deal in a single elementary setting with models on a usual regularity structure and their first order Malliavin derivative.

研究の動機と目的

• 既存のBPHZおよびOtto型フレームワークの範囲を超えて、特異確率的PDEにおける確率的モデルの収束理論を一般化すること。
• モデルとその一次Malliavin導関数の取り扱いを、1つの解析的構造内で統一し、確率的対象を同時に制御可能にする。
• 複雑な代数的道具を避けつつも、広範な適用性を維持したまま、再正則化されたモデルの収束に対する新たな簡潔な証明を提供すること。
• Hairer & Steele [20] の収束結果を、BPHZを含むより広い再正則化手続きのクラスへと拡張し、新しいregularity-integrability構造を用いる。
• モデルの摂動に対して安定であることを保証する、モデルドISTRIBUTION上に作用する補正作用素 $Σ^{‘M}$ の強固な推定を確立すること。

提案手法

• Malliavin型導関数を組み込んだ標準的なregularity構造の拡張として、regularity-integrability構造と呼ばれる新しい代数的・解析的枠組みを導入する。
• 基本構造と拡張構造の上に、抽象的統合写像 $σ$ の作用に関して整合性を保つ、対 $(‘M, ̅‘M)$ のモデルの組を定義する。
• 抽象的統合写像 $σ$、補正項 $σ^{‘M}(x)$、および再構成に基づく項 $Σ^{‘M}(x;f,\Lambda)$ を組み合わせた補正作用素 $Σ^{‘M}$ を構成する。
• ノイズ分布に対するスペクトルギャップ仮定を用いて、$L^p$ ノルムをGâteaux導関数による制御により制御し、帰納的推移を可能にする。
• 帰納的議論を用いて、$λ = 1$ からすべての $0 < λ \leq 1$ へと $L^p$ ノルムの制御を伝搬させ、スケールにわたる一様な有界性を保証する。
• ノルム $|“|“ \cdot |“|“_{{\bf c};w_{2c+b}}$ を用いて定量的安定性推定を導出し、モデルおよび関数の摂動に対して補正作用素の連続性を示す。

実験結果

リサーチクエスチョン

• RQ1 特異SPDEにおける確率的モデルの収束は、モデルとそのMalliavin導関数を統一的に扱う枠組みで確立可能か？
• RQ2 Chandra & Hairer [12] の複雑なモーメントに基づく解析を置き換えるために、スペクトルギャップ仮定はどのように活用可能か？
• RQ3 regularity構造のどの構造的拡張が、BPHZを越える再正則化手続きの統一的取り扱いを可能にするか？
• RQ4 収束証明は、同一の定量的推定を保ちつつ、より広い再正則化ルールのクラスへ一般化可能か？
• RQ5 補正作用素 $Σ^{‘M}$ の摂動に対する正確な安定性挙動は何か？

主な発見

• 適切な正則性および可積分性条件の下で、補正作用素 $Σ^{‘M}f$ が空間 $D^{(γ+\beta_0,r)}(\overline{\Gamma})_{w_{2c+b}}$ に属することを確立する。
• 推定式 $\llparenthesis\mathcal{K}^{‘M}f\rrparenthesis_{(\gamma+\beta_0,r);w_{2c+b}} \lesssim (1+\|\Pi\|_{{\bf c};w_c})(1+\|\Gamma\|_{{\bf c};w_c})\llparenthesis f\rrparenthesis_{{\bf c};w_b} + \llbracket\Lambda\rrbracket_{{\bf c};w_{c+b}}^{\Pi,f}$ を証明し、入力モデルおよび再構成に基づく補正関数の制御を示す。
• 安定性推定を導出し、$|“|“ \mathcal{K}^{‘M_1}f_1; \mathcal{K}^{‘M_2}f_2 |“|“_{(\gamma+\beta_0,r);w_{2c+b}} \leq C_\lambda (|“|“ \u2018M_1;\u2018M_2 |“|“_{{\bf c};w_c} + |“|“ f_1;f_2 |“|“_{{\bf c};w_b} + \|\Lambda_1;\Lambda_2\|_{{\bf c};w_{c+b}})$ を得ることで、摂動下での連続性を証明する。
• 収束結果は、元のBPHZを越えて、非自明な導関数補正を伴う手続きを含むより広い再正則化手続きのクラスに適用可能である。
• 繰り返し積分およびモーメントの複雑な代数的操作を回避し、代わりにスペクトルギャップと帰納的推移に依存する。
• この枠組みにより、モデルの一次Malliavin導関数の直接的取り扱いが可能となり、regularity-integrability拡張を通じて自然に構造に埋め込まれる。