[论文解读] Random models on regularity-integrability structures

I. Bailleul, Masato Hoshino|arXiv (Cornell University)|Oct 16, 2023

Stochastic processes and financial applications被引用 4

一句话总结

本文引入了规则性-可积性结构的概念，以统一奇异随机PDE背景下随机模型及其Malliavin导数的分析。通过利用谱间隙假设和对随机对象的归纳控制，该文在更一般且更简洁的框架下，建立了包括BPHZ在内的广泛重整化程序的收敛结果。

ABSTRACT

We prove a convergence result for a large class of random models that encompasses the case of the BPHZ models used in the study of singular stochastic PDEs. We introduce for that purpose a useful variation on the notion of regularity structure called a regularity-integrability structure. It allows to deal in a single elementary setting with models on a usual regularity structure and their first order Malliavin derivative.

研究动机与目标

• 将奇异随机PDE中随机模型的收敛理论推广至现有BPHZ与Otto型框架之外的范围。
• 在单一分析结构中统一处理模型及其一阶Malliavin导数，实现对随机对象的联合控制。
• 为重整化模型的收敛性提供一种新的、简化的证明，避免复杂的代数工具，同时保持广泛适用性。
• 通过新颖的规则性-可积性结构，将Hairer & Steele [20]的收敛结果扩展至更广泛的重整化程序类别，包括BPHZ。
• 为作用于模型分布的提升算子 $Σ^{‘M}$ 建立稳健估计，确保在模型扰动下的稳定性。

提出的方法

• 提出一种新的代数-分析框架，称为规则性-可积性结构，通过引入Malliavin型导数扩展标准规则性结构。
• 在基础结构与扩展结构上定义一对相容的模型 $(‘M, ̅‘M)$，确保在抽象积分映射 $σ$ 作用下的一致性。
• 构造一个提升算子 $Σ^{‘M}$，其结合了抽象积分映射 $σ$、校正项 $σ^{‘M}(x)$ 和基于重构的项 $Σ^{‘M}(x;f,\Lambda)$。
• 利用噪声分布的谱间隙假设，通过其Gâteaux导数控制模型量的 $L^p$ 范数，从而实现基于归纳的估计。
• 采用归纳论证，将 $L^p$ 范数的控制从 $λ = 1$ 传播至所有 $0 < λ \leq 1$，确保尺度间的一致有界性。
• 通过范数 $|“|“ \cdot |“|“_{{\bf c};w_{2c+b}}$ 导出定量稳定性估计，证明提升算子在模型与函数扰动下的连续性。

实验结果

研究问题

• RQ1 是否可以在统一模型及其Malliavin导数的框架中，建立奇异SPDE中随机模型收敛性的理论？
• RQ2 如何利用谱间隙假设替代Chandra & Hairer [12]中复杂的矩生成函数分析？
• RQ3 规则性结构的何种结构性扩展可实现对BPHZ之外重整化程序的统一处理？
• RQ4 是否可将收敛性证明推广至更广泛的重整化规则类别，同时保持相同的定量估计？
• RQ5 提升算子 $Σ^{‘M}$ 在模型与模型分布扰动下的精确稳定性行为如何？

主要发现

• 本文证明，在适当的正则性与可积性条件下，提升算子 $Σ^{‘M}f$ 属于空间 $D^{(γ+\beta_0,r)}(\overline{\Gamma})_{w_{2c+b}}$。
• 证明了估计式 $\llparenthesis\mathcal{K}^{‘M}f\rrparenthesis_{(\gamma+\beta_0,r);w_{2c+b}} \lesssim (1+\|\Pi\|_{{\bf c};w_c})(1+\|\Gamma\|_{{\bf c};w_c})\llparenthesis f\rrparenthesis_{{\bf c};w_b} + \llbracket\Lambda\rrbracket_{{\bf c};w_{c+b}}^{\Pi,f}$，表明提升函数的控制可由输入模型与重构过程决定。
• 推导出稳定性估计：$|“|“ \mathcal{K}^{‘M_1}f_1; \mathcal{K}^{‘M_2}f_2 |“|“_{(\gamma+\beta_0,r);w_{2c+b}} \leq C_\lambda (|“|“ \u2018M_1;\u2018M_2 |“|“_{{\bf c};w_c} + |“|“ f_1;f_2 |“|“_{{\bf c};w_b} + \|\Lambda_1;\Lambda_2\|_{{\bf c};w_{c+b}})$，证明了在扰动下的连续性。
• 该收敛结果适用于比原始BPHZ更广泛的重整化程序类别，包括具有非平凡导数校正的程序。
• 该方法避免了对迭代积分与矩的复杂代数运算，转而依赖谱间隙与归纳法。
• 该框架允许对模型的一阶Malliavin导数进行直接处理，通过规则性-可积性扩展自然地将其嵌入结构中。