[论文解读] 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作为特例，证明了该框架的广泛适用性。
• 同态性质$F_i(\sigma \star \tau) = \partial^k D_{a_1}\dots D_{a_n} F_i(\tau) \prod_j F_{l_j}(\tau_j)$对树空间中的所有$\sigma, \tau$成立，确保了非线性项在正规化下的自洽性。
• 乘积$\star$具有结合性，且与$Δ$-余作用对偶，揭示了正规化结构框架中深层次的代数联系。
• 当模型$\mathsf{M}$为允许模型且噪声被正则化时，解的重构$u = \mathsf{R}^\mathsf{M} \mathsf{u}$满足形式SPDE (1.1)。
• 该框架揭示了准备映射与正规化过程之间存在内在联系，为奇异SPDE的结构提供了新的代数洞见。