[论文解读] Locality for singular stochastic PDEs

Ismaël Bailleul, Yvain Bruned|arXiv (Cornell University)|Sep 1, 2021

Stochastic processes and financial applications参考文献 42被引用 4

一句话总结

本文通过引入依赖于状态空间的准备映射和重整化方案，将正则性结构理论扩展至具有非平移不变微分算子的奇异随机PDE。该工作建立了一个在非平移不变设定下稳健的重整化方程框架，通过逐点特征函数将BPHZ重整化推广至时空依赖系数，并利用改进的重构技术和代数方法证明了在该方案下解的存在性。

ABSTRACT

This work deals with singular stochastic PDEs driven by non-translation invariant differential operators. We describe the renormalized equation for a very large class of spacetime dependent renormalization schemes. Our approach bypasses in particular the use of decorated trees with extended decorations.

研究动机与目标

• 将正则性结构理论扩展至涉及非平移不变微分算子的奇异随机PDE。
• 解决标准BPHZ重整化在非平移不变设定下失效的问题，原因在于需要函数值的重整化常数。
• 提出一种新的重整化方案，利用依赖于状态空间的准备映射和特征函数，将常数特征函数替换为逐点函数。
• 在非平移不变设定下，利用改进的重构技术和代数结构，证明重整化系统解的存在性。
• 通过满足逐点期望条件的特征值函数，将BPHZ重整化推广至时空依赖系数。

提出的方法

• 将Bailleul与Hoshino的《旅游指南》中基于热核的分析框架适配至非平移不变设定，证明了非径向核所需的正则性估计(2.1)。
• 引入一个强准备映射$ R $，其保持正则性结构的构造并保留齐次分量，确保与模型分布提升的一致性。
• 定义一个依赖于状态空间的特征函数$ \rho(x,\tau) $，满足$ \rho(x,\tau) = -\bE[(\tilde{\bPi}^{R_\rho} \tau)(x)] $，将BPHZ特征函数推广至非平移不变设定。
• 构造一个重整化解释算子$ \bPi_\rho = \bPi \rvert_{R_\rho} $，其中$ R_\rho $为状态依赖的准备映射，确保适定模型的存在性。
• 利用共作用$ \bar{\rho} \rvert_{\tau} = (\rho \tensor \bOne)\bar{\rho} $在状态依赖特征函数上定义群结构，通过$ R_\rho R_{\bar{\rho}} = R_{\rho \bar{\rho}} $保持复合性。
• 在非平移不变设定下直接应用重构定理，依赖于估计(2.1)的鲁棒性以及Rinaldi与Sclavi [25]提出的与流形兼容的证明。

实验结果

研究问题

• RQ1 如何将正则性结构理论扩展以处理具有非恒定、非平移不变微分算子的奇异SPDE？
• RQ2 为何标准BPHZ重整化方案在非平移不变设定下失效，需要何种替代形式？
• RQ3 能否构造一种依赖于状态空间的重整化方案，使其在保持理论代数与分析结构的同时推广BPHZ？
• RQ4 在非平移不变设定下，BPHZ特征函数的正确推广是什么，其如何通过逐点期望定义？
• RQ5 重构定理在非平移不变设定下是否仍然成立，其证明能否适配至此类几何结构？

主要发现

• 本文构造了一个依赖于状态空间的准备映射$ R $，其保持正则性结构的齐次分量，并确保适定模型$ \bM^R $的存在性。
• 证明了重整化系统的形式为$ (\nabla_{x_0} - \bL^i_{x_1})u_i = F_i(u,\nabla_{x_1}u)\rho + \textstyle\bigsum_{\tau \neq 0} \rho(x,\tau) \frac{F_i(\tau)(u,\nabla_{x_1}u)}{S(\tau)} $，其中$ \rho(x,\tau) = -\bE[(\bPi^{R_\rho}\tau)(x)] $，实现了对BPHZ的推广。
• 该重整化方案通过$ R_\rho R_{\bar{\rho}} = R_{\rho \bar{\rho}} $与特征函数的群结构保持一致，其中$ \rho \bar{\rho} = (\rho \tensor \bar{\rho})\bar{\rho} $逐点成立。
• 重构定理在非平移不变设定下依然有效，因为关键估计(2.1)对几何与分析扰动具有鲁棒性。
• 该框架足够稳健，可扩展至闭流形，前提是通过与流形兼容的方法（如Rinaldi与Sclavi [25]）对重构定理进行适配。
• 该方法避免了对扩展装饰的依赖，在非平移不变设定下实现了直接且代数一致的重整化，且在平移不变极限下与BPHZ方案保持清晰联系。