[论文解读] Paracontrolled calculus and regularity structures

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

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

一句话总结

本文通过在正则性结构中对重构算子提供显式的拟控制表示，建立了拟控制微积分与正则性结构之间的精确联系。它引入了一种连续的、依赖于模型的重构映射参数化方法，使用类似频带积的分解，从而为通过两种范式统一分析奇异随机PDE提供了框架。

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.

研究动机与目标

• 建立拟控制微积分与正则性结构理论之间的严格桥梁。
• 提供重构算子的显式拟控制表示，该算子将模型分布映射为分布。
• 使用拟控制技术以连续且显式的方式参数化可接受模型的空间。
• 将拟控制微积分的分析工具与正则性结构的结构性框架统一起来，用于奇异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 如何通过拟控制技术以连续且构造性的方式参数化可接受模型的空间？
• RQ3 基于频带积的方法与正则性结构的喷射基形式主义之间的确切关系是什么？
• RQ4 重构过程在多大程度上可以被分解为一系列具有受控正则性的拟控制分量？
• RQ5 能否通过模型系数的拟控制参数化建立重构映射的连续性？

主要发现

• 重构算子 $\mathsf{R}\boldsymbol{f}$ 被显式表示为依赖于模型的项 $[\![f^\tau]\!]^\mathsf{M}$ 和拟控制系数 $[\![f^\tau]\!]^\mathsf{g}$ 的和，确保了在模型参数上的连续性。
• 每个系数 $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)$ 连续，确保了参数化的鲁棒性。
• 该构造提供了一种改进的基于频带积的重构版本，显式地在模型分布层面上将两种框架联系起来。
• 使用局部化单位分解 $\{\varphi_\lambda\}$ 和光滑过渡函数 $\psi_\lambda^i$ 确保了在整个定义域上对正则性估计的统一控制。