[論文レビュー] Paracontrolled calculus and regularity structures

Ismaël Bailleul, Masato Hoshino|arXiv (Cornell University)|Dec 19, 2018

Mathematical Analysis and Transform Methods参考文献 24被引用数 10

ひとこと要約

本稿は、正則性構造における再構成作用素の明示的なパラコントロール表現を提供することにより、パラコントロール微積分と正則性構造の間の明確な関係を確立する。パラプロダクトに類似た分解を用いて、モデルに依存する連続的な再構成写像のパrametrizationを導入し、両者の枠組みを統合することで、特異確率的偏微分方程式の解析を統一的に可能にする。

ABSTRACT

We start in this work the study of the relation between the theory of regularity structures and paracontrolled calculus. We give a paracontrolled representation of the reconstruction operator and provide a natural parametrization of the space of admissible models.

研究の動機と目的

• パラコントロール微積分と正則性構造の理論の間の厳密な橋渡しを確立すること。
• モデル化された分布から分布への写像である再構成作用素の明示的なパラコントロール表現を提供すること。
• パラコントロール技術を用いて、適切なモデルの空間を連続的かつ明示的にパrametrizationすること。
• 特異SPDEの文脈で、パラコントロール微積分の解析的ツールと正則性構造の構造的枠組みを統合すること。

提案手法

• 正則性構造の成分を表す関数 $[\![\cdot]\!]^\mathsf{M}: T \to \mathcal{C}^{\beta_0}(\mathbb{R}^d)$ および $[\![\cdot]\!]^\mathsf{g}: T^+ \to \mathcal{C}^0(\mathbb{R}^d)$ を構成する。
• 再構成作用素 $\mathsf{R}\boldsymbol{f}$ を、モデルに依存する項 $[\![f^\tau]\!]^\mathsf{M}$ とパラコントロール係数 $[\![f^\tau]\!]^\mathsf{g}$ を含む和として定義する。
• $[\![\sigma]\!]^\mathsf{M}$ の再帰的・帰納的な構成により、$\Pi\sigma$ の正則性 $\mathcal{C}^{|\sigma|}(\mathbb{R}^d)$ を解釈する。
• 正則性推定を局所化し制御するため、分割 $\{\varphi_\lambda\}$ と滑らかな移行関数 $\psi_\lambda^i$ を用いる。
• 重み付き誤差項を伴うテイラー型展開を $B_r(f)$-ノルムを用いて導入し、モデル化された分布の差を制御する。
• 写像 $\boldsymbol{f} \mapsto \big( [\![\boldsymbol{f}]\!]^\mathsf{M}, ( [\![f^\tau]\!]^\mathsf{g} )_{\tau \in \mathcal{B}} \big)$ がホルダー空間で連続であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 正則性構造における再構成作用素は、パラコントロール微積分を用いて明示的に表現可能か？
• RQ2 パラコントロール技術を用いて、適切なモデルの空間を連続的かつ構成的にパrametrizationできるか？
• RQ3 パラコントロール微積分におけるパラプロダクトに基づくアプローチと、正則性構造のジェットに基づく形式的枠組みとの間の正確な関係は何か？
• RQ4 再構成プロセスは、制御可能な正則性を持つ階層的なパラコントロール成分に分解できるか、その程度はいかほどか？
• RQ5 再構成写像の連続性は、モデル係数のパラコントロールパrametrizationを通じて確立可能か？

主な発見

• 再構成作用素 $\mathsf{R}\boldsymbol{f}$ は、モデルに依存する項 $[\![f^\tau]\!]^\mathsf{M}$ とパラコントロール係数 $[\![f^\tau]\!]^\mathsf{g}$ の和として明示的に表現され、モデルパrameterに関して連続性が保証される。
• 各係数 $f^\tau$ は、$f^\tau = \sum_{\tau < \mu; |\mu| < \gamma} \mathsf{P}_{f^\mu}[\![\mu/\tau]\!]^\mathsf{g} + [\![f^\tau]\!]^\mathsf{g}$ の形のパラコントロール分解を有し、$[\![f^\tau]\!]^\mathsf{g} \in \mathcal{C}^{\gamma - |\tau|}(\mathbb{R}^d)$ を満たす。
• 写像 $\boldsymbol{f} \mapsto \big( [\![\boldsymbol{f}]\!]^\mathsf{M}, ( [\![f^\tau]\!]^\mathsf{g} )_{\tau \in \mathcal{B}} \big)$ は、$\mathcal{D}^\gamma(\mathscr{T}, \mathsf{g})$ から $\mathcal{C}^\gamma(\mathbb{R}^d) \times \prod_{\tau \in \mathcal{B}} \mathcal{C}^{\gamma - |\tau|}(\mathbb{R}^d)$ への連続写像である。
• $[\![\sigma]\!]^\mathsf{M}$ および $[\![\tau]\!]^\mathsf{g}$ はモデル $\mathsf{M} = (g, \Pi)$ に関して連続であり、パrametrizationの堅牢性が保証される。
• 本構成は、パラプロダクトに基づく再構成の洗練されたバージョンを提供し、モデル化された分布のレベルで両フレームワークを明示的に結びつける。
• 局所化された分割 $\{\varphi_\lambda\}$ と滑らかな移行関数 $\psi_\lambda^i$ の使用により、定義域全体にわたり正則性推定が一様に制御される。