Cancellations for dispersive PDEs with random initial data

技术摘要：随机初值色散偏微分方程的相消项

问题陈述
近期在分析具有随机初值的色散偏微分方程（PDE）方面取得的进展，特别是在波湍流和吉布斯测度不变性的背景下，严重依赖于涉及由费曼图编码的迭代积分的摄动展开。虽然诸如“随机张量”（Deng 和 Hani，2023）之类的分析框架已成功建立了非线性薛定谔（NLS）方程和波动方程等方程的局部适定性和长时间推导，但这些证明通常依赖于复杂费曼图之间的“奇迹性相消”。

在抛物型奇异随机偏微分方程（SPDE）的背景下，此类相消项通过正则结构（Regularity Structures）的系统理论得以理解，该理论利用特定的代数结构（例如装饰树上的 Hopf 代数）以及与热核相关的恒等式。然而，对于色散方程，尚缺乏一个可比的通用组合框架来解释和计算这些相消项。具体的挑战在于，色散核（振荡的）并不具备热核的非预期性（non-anticipative）性质，使得标准的抛物型图形规则无法适用。本文旨在解决对统一形式体系的需求，以计算和理解这些相消项，特别是那些出现在波运动方程推导以及三维三次波动方程吉布斯测度不变性证明中的相消项。

方法论
作者提出了一种组合形式体系，通过**树化映射（arborification map）**将最初由装饰树编码的迭代积分转换为单词。这种方法借鉴了抛物型 SPDE 中使用的代数结构，但将其调整为适应色散方程特有的振荡性质。

1. 装饰树：作者利用装饰树的形式体系（由 Bruned 等人于 2019 年引入）来编码色散方程的杜阿梅尔（Duhamel）迭代。这些树的节点和边装饰有频率和时间变量。
2. 关键分析恒等式：方法论的核心涉及用涉及随机初值的期望值替换基本的振荡核。
   • 对于非线性薛定谔（NLS）方程，使用恒等式 $e^{i(s-t)k^2} = \mathbb{E}(e^{-itk^2}\eta_k e^{-isk^2}\eta_k)$，其中 $\eta_k$ 是独立同分布的高斯变量。
   • 对于波动方程，使用恒等式 $\frac{\sin((t-t')\langle n \rangle)}{\langle n \rangle} = -\partial_t \mathbb{E}(v_n(t)v_{-n}(t'))$，引入了时间导数。
   • 在图形上，这些恒等式对应于将与核相关的单条边分裂为两条由期望值（或导数）连接的边，通过给特定的叶子或边涂成“绿色”来表示。
3. 树化与洗牌代数：作者定义了一个同态，即树化映射（$a$），它将装饰树映射到特定字母表上的单词。该字母表由代表分裂边的“字母”组成（其中一些带有绿色标记，以表示特殊的配对或导数）。
   • 映射 $a$ 是归纳定义的，有效地递归地实现了边的分裂。
   • 它也可以通过 Butcher-Connes-Kreimer 类型的余积（$\Delta_{NLS}$ 或 $\Delta_{Wave}$）来定义。
   • 树在 $a$ 下的像是一个线性组合的单词，配备了洗牌积（$\shuffle$）。
4. 交换图：该框架建立了一个交换图，其中装饰树的解析评估（$\Pi T$）等价于其树化单词的评估（$\Pi_A a(T)$）。这使得作者能够将相消项的计算从解析域（振荡积分）转移到代数域（单词操作）。

主要贡献与结果
本文提供了一种系统的方法来计算相消项，这些相消项此前是通过特设的组合论证或“分子”（Deng 和 Hani，2023）处理的。

• 统一框架：作者引入了一种通用形式体系，通过树化将装饰树与单词连接起来，专门针对色散方程设计。这作为“分子”公式的一种替代方案。
• 理论结果：
  • 定理 2.3（NLS）：建立了三次 NLS 方程的装饰树迭代积分与其树化单词积分之间的相等性。
  • 定理 3.2（波动）：提供了三维三次波动方程的类似结果，纳入了由波动传播子产生的时间导数。
• 显式相消计算：
  • 波湍流（NLS）：作者展示了该形式体系如何恢复 Deng 和 Hani（2019, 2023）中观察到的“奇迹性相消”。通过在单词表示中切换叶子的“颜色”（配对），他们表明某些项会相互抵消或变得可忽略（无害项），这依赖于频率邻近性论证。
  • 吉布斯测度不变性（波动）：本文计算了证明吉布斯测度在三维三次波动方程动力学下不变性所需的主要相消项（Bringmann 等人，2023）。利用从时间导数恒等式推导出的单词表示进行分部积分，他们明确追踪了六次项的相消，将问题简化为要么很小要么可通过重整化处理的项。
• 元定理：作者提出了一个“元定理”，指出具有随机初值的色散偏微分方程的相消项可以通过单词和精心选择的树化映射来理解。

意义与主张
本文声称提供了一个通用的统一框架，用于计算和理解具有随机数据的色散偏微分方程中的相消项，填补了因缺乏类似于抛物型方程正则结构的“黑箱”理论而留下的空白。

• 效率：该形式体系用单词上的代数操作取代了大型振荡积分上难以处理的解析计算，而单词是一个更简单的组合集合。
• 概念清晰度：它为之前在波湍流和吉布斯测度证明中观察到的“奇迹性相消”提供了概念解释，将它们与洗牌积的代数性质以及树化映射的特定结构联系起来。
• 范围：作者明确指出，虽然该形式体系在波湍流和吉布斯测度不变性背景下的 NLS 和波动方程中是有效的，但如果没有进一步的论证，更概念性的理解（识别类似于抛物型情况的对称性）仍然遥不可及。本文并不声称解决所有色散问题，而是为近期高影响力成果中遇到的特定相消项提供了一个强大的工具。

这项工作被呈现为一项技术进展，它使色散偏微分方程近期突破的组合方面系统化，为波湍流和随机张量理论的未来分析提供了潜在工具。