Central limit theorem for the Allen-Cahn equation with supercritical random initial conditions

技术摘要：超临界随机初值下 Allen-Cahn 方程的中心极限定理

问题陈述
本文研究了空间维度 $d \ge 3$ 下 Allen-Cahn 反应扩散方程解的大尺度行为：
$$\partial_t u(t, x) = \Delta u(t, x) - \lambda u(t, x)^3, \quad t > 0, x \in \mathbb{R}^d,$$
其中 $\lambda > 0$。研究聚焦于随机初值情形，即场 $u(0, \cdot)$ 是一个具有短程相关性的光滑、中心化平稳高斯场，具体定义为 $u(0, \cdot) = \varrho * \xi$，其中 $\xi$ 是空间白噪声，$\varrho$ 是光滑磨光核。

本文解决的核心挑战是方程在维度 $d \ge 3$ 下的超临界性质。在标准扩散重标度 $u_\varepsilon(t, x) = \varepsilon^{-d/2} u(\varepsilon^{-2}t, \varepsilon^{-1}x)$ 下，非线性项形式上随 $\varepsilon \to 0$ 而消失（按 $\varepsilon^{d-2}$ 标度）。朴素标度分析表明解应收敛于具有白噪声初值的线性热方程的解。然而，由于该方程在奇异随机偏微分方程意义下是超临界的，解映射无法在标准函数空间上构造为连续映射，从而阻碍了对这一线性极限的直接论证。本文旨在严格刻画重标度解 $u_\varepsilon$ 的极限统计特性。

方法论
证明结合了概率论技术与偏微分方程分析，具体利用了极大值原理和Malliavin 微积分。该方法论不同于以往关于临界维度（如 $d=2$）的工作，后者依赖于显式解表示或鞅结构。

1. Malliavin 微积分与线性化：作者利用了解 $u$ 的 Malliavin 导数 $D_y u(t, x)$ 满足围绕解 $u$ 的线性化方程这一事实：
   $$\partial_t D_y u = \Delta D_y u - 3\lambda u^2 D_y u.$$
   关键在于，由于项 $u^2$ 的正性以及方程的结构，极大值原理适用于该线性化方程。这给出了 Malliavin 导数的逐点上界：$0 \le D_y u_\varepsilon(t, x) \le p_t * \varrho_\varepsilon(x-y)$，其中 $p_t$ 是热核。

2. 泛函不等式：将这些关于 Malliavin 导数的逐点界与 Wiener 空间上的Poincaré 型不等式和协方差不等式相结合。这使得作者能够控制解 $u_\varepsilon$ 及其导数的大小（矩）和空间相关性衰减。具体而言，他们证明了该场表现为具有短程相关性的平稳场，满足中心极限定理（CLT）所需的条件。

3. 分解与混沌展开：为了分析极限方差和相关性，作者采用了温和解的 Picard 迭代（展开）。他们将解分解为由初始噪声驱动的线性部分和非线性部分。通过将解投影到 Wiener 混沌上，他们证明了虽然非线性项在大尺度下在 $L^2$ 意义下消失，但它会在方差上留下非平凡的印记，并在极限与初始数据之间产生相关性。

主要结果
主要结果（定理 1.1）确立了当 $\varepsilon \downarrow 0$ 时，过程族 $(u_\varepsilon)_{\varepsilon > 0}$ 在 $C((0, +\infty), \mathcal{S}'(\mathbb{R}^d))$ 中依分布收敛于求解热方程的高斯过程：
$$u_\varepsilon \Rightarrow (\sigma_\lambda p_t * \tilde{\xi})_{t>0},$$
其中 $\tilde{\xi}$ 是空间白噪声，$\sigma_\lambda$ 是依赖于 $\lambda$ 的正常数。

本文详细阐述了该极限的两个具体且非平凡的特征：

1. 方差的非平凡性：常数 $\sigma_\lambda$ 非平凡地依赖于耦合参数 $\lambda$。具体而言，$\lim_{\lambda \to +\infty} \sigma_\lambda = 0$。这表明尽管非线性项在标度极限下消失，但它有效地“阻尼”了解的方差。
2. 噪声的生成（相关性）：对于足够小的 $\lambda$，极限高斯过程并不独立于初始数据。对 $(u_\varepsilon, p(\cdot) * u_\varepsilon(0, \cdot))$ 收敛于具有非平凡相关性的高斯对。这意味着大尺度极限保留了初始微观噪声结构的“记忆”，这是由在短时间（$t=O(1)$）起作用的非线性项介导的。

意义与机制
本文声称，驱动这些结果的机制与先前研究（如 [6]、[10]）中探讨的临界情形（$d=2$）有着根本不同。

• 临界与超临界的对比：在临界情形下，非线性项与扩散连续相互作用，通常需要弱耦合极限来抑制发散。而在超临界情形（$d \ge 3$）下，非线性项仅在短时间尺度（$t=O(1)$）内相关，随后扩散标度占据主导地位。
• “时间层”启发式：作者提出了一种启发式观点，即短时间内的动力学由常微分方程流 $\partial_t u = -\lambda u^3$ 主导。该流将初始高斯场 $u(0, x)$ 变换为非线性函数 $\Phi_\lambda(u(0, x))$。随后的大尺度行为则由作用于该变换后场的热方程控制。这解释了为什么极限是高斯的（由于 CLT 作用于变换后场的空间平均），但又保留了与初始数据的非平凡相关性（通过非线性映射 $\Phi_\lambda$）。
• 鲁棒性：作者指出，他们的论证主要依赖于非线性项的单调性和奇性，并结合了极大值原理。他们建议这种方法具有鲁棒性，适用于更广泛的超临界问题，包括具有泊松初值或高阶奇非线性项（$-\lambda u^{2k+1}$）的问题，前提是初始数据是中心化且对称的。

局限性与范围
本文明确指出，“噪声生成”（非平凡相关性）的证明目前仅在足够小的 $\lambda$ 下是严格的。虽然对所有 $\lambda$ 都证明了方差的非平凡性，但在当前框架内，大 $\lambda$ 下联合极限的完整刻画仍是一个开放的技术挑战。此外，结果仅限于短程相关性；长程幂律相关性的情况被指出是未来工作的方向，其极限可能是分数阶高斯场。该方法严重依赖极大值原理，因此难以直接推广到需要重整化且极大值原理较为微妙的具有加性噪声的方程（如 $\Phi^4$ 方程）。