[論文レビュー] Renormalised singular stochastic PDEs

Ismaël Bailleul, Yvain Bruned|arXiv (Cornell University)|Jan 28, 2021

Advanced Topology and Set Theory参考文献 23被引用数 5

ひとこと要約

本稿では、正則性構造理論における一般化された再正則化写像を用いて、拡張された装飾を回避する形で特異確率的PDEの再正則化のための新しい代数的枠組みを提示する。非線形関数に対して新しい積演算の下で自己同型性を確立し、BPHZ再正則化が特殊な場合として現れることを証明するとともに、準備写像と関連するより深い代数的構造を明らかにする。

ABSTRACT

Extended decorations on naturally decorated trees were introduced in the work of Bruned, Hairer and Zambotti on algebraic renormalization of regularity structures to provide a convenient framework for the renormalization of systems of singular stochastic PDEs within that setting. This non-dynamical feature of the trees complicated the analysis of the dynamical counterpart of the renormalization process. We provide a new proof of the renormalized system by-passing the use of extended decorations and working for a large class of renormalization maps, with the BPHZ renormalization as a special case. The proof reveals important algebraic properties connected to preparation maps.

研究の動機と目的

• 正則性構造における拡張された装飾に依存せずに、特異確率的PDEの再正則化系のための新しい証明枠組みを開発すること。
• BPHZを特殊ケースとして含む広範なクラスの再正則化写像への再正則化プロセスの一般化すること。
• 準備写像と$Δ$-作用の関連を通じて、再正則化プロセスの内在的代数的性質を解明すること。
• 装飾付き木における新しい積演算$∗$の下で非線形関数の自己同型性を確立し、再正則化固定点形式の整合性を保証すること。

提案手法

• 装飾付き木に対する新しい積演算$∗$を導入し、挿入と微分写像$↑^k_B$を用いてSPDEの非線形構造を符号化する。
• 積$∗$を用いて、木記号によってインデックス付けられた非線形関数$F_i$の自己同型性を定義し、再正則化プロセスと整合性を保証する。
• 正則性構造理論からの$Δ$-作用を用いて$∗$-積を双対化し、モデルド分布枠組みと結びつける。
• 拡張された装飾の使用を回避する装飾付き木と準備写像の代数的設定で作業する。
• モデルド分布空間$τ \in \mathcal{D}^\gamma(T, \mathsf{g})$における固定点形式を導出し、劣臨界性のもとで適切に定義されることを保証する。
• BPHZ再正則化が一般化された再正則化写像の特殊ケースとして回復されることを示し、フレームワークの一般性を検証する。

実験結果

リサーチクエスチョン

• RQ1 正則性構造における拡張された装飾に依存せずに、特異SPDEの再正則化を再定式化できるか？
• RQ2 再正則化プロセスの背後にある代数的構造は何か？ 一般化された再正則化写像を用いてどのように捉えることができるか？
• RQ3 木における新しい積$∗$は$Δ$-作用および解の再構成とどのように関係するか？
• RQ4 BPHZ再正則化は、この枠組みにおいてより広範な再正則化写像のクラスに自然に埋め込まれているか？
• RQ5 $∗$の下での非線形関数の自己同型性は、再正則化SPDEの固定点形式における整合性を保証できるか？

主な発見

• 新しい証明枠組みは、拡張された装飾を回避することで、特異SPDEにおける動的再正則化の解析を簡素化した。
• 一般化された再正則化写像はBPHZを特殊ケースとして含み、フレームワークの広範な適用可能性を示した。
• すべての$\sigma, \tau$について、木空間内での自己同型性$F_i(\sigma \star \tau) = \partial^k D_{a_1}\dots D_{a_n} F_i(\tau) \prod_j F_{l_j}(\tau_j)$が成り立つ。これにより、再正則化下での非線形関数の整合性が保証される。
• 積$\star$は結合的であり、$Δ$-作用と双対的である。これにより、正則性構造フレームワーク内に深い代数的関係が明らかになった。
• モデル$\mathsf{M}$が適切であり、ノイズが正則化されているとき、解$u = \mathsf{R}^\mathsf{M} \mathsf{u}$の再構成は形式的SPDE (1.1) を満たす。
• フレームワークは、準備写像が再正則化プロセスと本質的に関連していることを明らかにし、特異SPDEの構造に関する新たな代数的洞察を提供した。