[論文レビュー] A tourist's guide to regularity structures and singular stochastic PDEs

Ismaël Bailleul, Masato Hoshino|arXiv (Cornell University)|Jun 5, 2020

Stochastic processes and financial applications参考文献 91被引用数 5

ひとこと要約

本稿は、特異な確率的偏微分方程式（SPDE）における扱いにくい非線形積の取り扱いに必要な代数的・解析的道具立てを焦点に、正則性構造の自己完結的導入を提供する。主な貢献は、非線形性の空間に作用するリー群を用いた、再正規化の体系的枠組みの構築であり、正則化された解が再正規化群によってインデックス付けられる極限の族に収束することを可能にする。

ABSTRACT

We give an essentially self-contained treatment of the fundamental analytic and algebraic features of regularity structures and its applications to the study of singular stochastic PDEs.

研究の動機と目的

• 特異な確率的偏微分方程式の正則性構造の解析的・代数的基盤を、要約的かつ自己完備的に提示すること。
• 荒いノイズによって駆動されるSPDEにおける取り扱いにくい積を意味づけるために、再正規化の役割を明確にすること。
• 解が単一の対象ではなく、再正規化群によってインデックス付けられる族であるという枠組みを確立し、正則化の下での収束を保証すること。
• 抽象的な正則性構造の道具立てを、放物型アンダーソンモデル、Φ⁴₃、一般化されたKPZ方程式といった具体的な方程式と結びつけること。
• BPHZスキームを越えて、多重量リ代数および整合性のある正則性・再正規化構造を用いて再正規化手続きを一般化すること。

提案手法

• 積分作用素を用いて正則性構造を構築し、低正則性解を扱うためのモデル化された分布を定義する。
• 非線形性の空間に作用する明示的な変換を伴う、有限次元で非有界なリー群としての再正規化群を導入する。
• 多段階のシュアダー推移を用いて、モデル化された分布の微積分の連続性および適切に定義された性質を証明する。
• BHZ字を用いて普遍的な再正規化写像を定義し、一貫性のある補正項の構成を可能にする。
• 複数の非線形項を含む方程式における再正規化の再帰的性質を記述するために、多重量リ代数構造を用いる。
• 複数のノイズと異なる正則化性を持つ作用素を含む系を扱うために、整合性のある正則性および再正規化構造を構築する。

実験結果

リサーチクエスチョン

• RQ1 正則性が低い分布の取り扱いにくい積を含む特異な確率的偏微分方程式に対して、どのように一貫的に解を定義できるか？
• RQ2 再正規化群は、正則化された解が適切な極限に収束することを保証するために果たす役割は何か？
• RQ3 前リ代数および多重量リ代数の代数的構造は、再正規化プロセスにおける補正項を体系的に導出するためにどのように利用できるか？
• RQ4 再正規化群による非線形性への作用は、発散する正則化された方程式を収束するものに変換する仕組みは何か？
• RQ5 複数の独立したノイズと異なる正則性を持つ場合に、この枠組みをどのように一般化できるか？

主な発見

• 特異なSPDEの解は、単一の関数ではなく、再正規化群の要素によってインデックス付けられる極限の族であり、正則化が消えるに従って確率的収束が成立する。
• 再正規化群は非線形性空間に明示的に作用し、正則化された方程式を発散する補正項を持つものに変換し、特異性を相殺する。
• ε → 0 の際に発散する補正項 $ h_\varepsilon $ は、群作用を介して元の非線形項およびその微分から明示的に構成される。
• $ \mathcal{K}^{\sf M} $-適切なモデルの構成は、多段階シュアダー推移に依拠しており、ハイラーの元来のアプローチを関数解析的枠組みへ一般化する。
• 整合性のある正則性および再正規化構造を構築すれば、複数のノイズと異なる作用素を含む系に対しても適用可能である。
• BHZ字は普遍的な再正規化写像を提供し、BPHZスキームを一般化し、異なる方程式間で一貫した再正規化を可能にする。