技术摘要：规范变换、随机平均算子拟设以及 3D 球面上径向 NLS 的改进概率适定性

1. 问题陈述与背景

本文研究了在三维单位球 $B^3$ 上具有 Dirichlet 边界条件的去聚焦三次非线性薛定谔方程 (NLS) 以及径向初始数据：
$$(i\partial_t + \Delta)u = |u|^2u, \quad u|_{\partial B^3} = 0.$$
本研究关注当初始数据根据高斯测度 $\mu_\alpha$ 进行随机化时的概率适定性，该测度支撑在 Sobolev 空间 $H^s_{rad}(B^3)$ 上，其中 $s < \alpha - 1/2$。初始数据通过随机傅里叶级数定义：
$$\phi_\alpha(\omega, x) = \sum_{n \ge 1} \frac{g_n(\omega)}{n^\alpha} e_n(x),$$
其中 $g_n$ 是独立的标准复高斯变量，$e_n$ 是 Dirichlet 拉普拉斯算子的径向特征函数。

挑战：
在三维情况下，NLS 的临界 Sobolev 正则性为 $s=1/2$。Gibbs 测度的支撑对应的初始数据正则性略低于 $1/2$（具体而言，当 $\alpha=1$ 时，$s < 1/2$）。Bourgain 和 Bulut [BB14] 之前的研究建立了 $\alpha=1$（数据在 $H^{1/2-}$ 中）时的几乎处处全局存在性与唯一性。然而，他们的方法依赖于一个有限维近似，其中右侧的非线性被谱投影器 $\Pi_N$ 截断。这种方法产生的收敛速率在频率参数 $N$ 处存在对数发散，限制了处理更低正则性数据（即 $\alpha < 1$）或在不使用投影器的情况下处理全方程的能力。

本文旨在通过建立对于 $\alpha > 15/16$ 的几乎处处局部适定性来改进这些结果，这一正则性区间相对于 Deng, Nahmod, 和 Yue [DNY24a, DNY22] 引入的概率标度而言是超临界的。

2. 方法论与核心创新

作者结合了规范变换、随机平均算子以及精细的调制分析，以克服径向 3D 设置中固有的奇异性。

2.1. 非线性的分解与规范变换

[BB14] 中识别出的核心困难是一个特定的共振相互作用（高 $\times$ 高 $\times$ 高），它在 $\alpha=1$ 时产生对数发散。在径向设置中，傅里叶系数 $u_n$ 满足一个其发散实值系数 $C_n(u_N)$ 取决于频率 $n$ 的方程：
$$(i\partial_t - n^2) \hat{u}_N(n) = C_n(u_N) \hat{u}_N(n) + \text{其他项}.$$
与环面（torus）情况不同，在环面上全局规范变换可以消除此类项，但在球面上，由于 $C_n$ 的频率依赖性，无法使用单一的全局变换。

解决方案： 作者引入了一种精细规范变换，该变换适应于发散系数的具体代数结构。他们定义了一个修正的色散关系 $\lambda_n^2 = n^2 + \mu_n^2$，其中 $\mu_n^2$ 捕捉了预期的共振相互作用。通过减去与 $\mu_n^2$ 相关的线性部分，并利用概率框架中的抵消性质（特别是 $|u_n(t)|^2 - |u_n(0)|^2$），他们将有问题的共振贡献转化为非共振五次项。该变换在频率上是线性的，这与在其他语境（如 [OTW20]）中使用的非线性规范变换形成对比。

2.2. 随机平均算子拟设

为了处理剩余的高 $\times$ 低频率相互作用，作者使用了由 Deng, Nahmod, 和 Yue [DNY24a] 引入的随机平均算子框架。

• 分解： 解 $u_N$ 被分解为一个“着色”的高斯项 $\psi_N$（捕捉最奇异的高 $\times$ 低相互作用）和一个更光滑的余项 $w_N$。
• 径向简化： 在径向设置中，随机平均算子简化为复相位乘法。具体而言，对于模 $n$，算子作用为 $H_n(t) = \exp(-i \int_0^t \Theta_n(\tau) d\tau)$，其中 $\Theta_n$ 是由低频分量决定的实值函数。
• 归纳方案： 证明过程通过对对数频率标度的归纳方案进行。在每个标度 $N$，作者使用在适配于扭曲拉普拉斯算子的 Fourier-Lebesgue 空间（$X^{s,b}$ 空间）中的不动点论证来构造随机平均相位 $H_N$ 和余项 $w_N$。

2.3. 调制分析与新估计

分析完全在频率空间中进行，反映了径向问题的一维特性。关键技术贡献包括：

• 新的 Strichartz 型估计： 作者推导了球面上共振函数 $\Omega(\vec{n}) = \lambda_{n_1}^2 - \lambda_{n_2}^2 + \lambda_{n_3}^2 - \lambda_{n_4}^2$ 的精细计数估计。这些估计考虑了扰动后的色散关系 $\lambda_n^2 = n^2 + \mu_n^2$ 以及边界效应。
• 张量与算子界限： 他们建立了多线性相互作用（三线性与五次项）的确定性与概率性界限。至关重要的是，他们证明了随机平均算子允许吸收最奇异的高 $\times$ 低相互作用，从而只留下可以被摄动控制的项。
• 处理对数发散： 通过结合规范变换与随机平均拟设，作者推导出了解之差 $x_{N,M}(t)$ 的估计形式：
  $$x_{N,M}(t) \le C N^{-\delta} + C \int_0^t x_{N,M}(\tau) d\tau,$$
  该式不存在 [BB14] 估计中存在的 $\log N$ 发散。这使得应用 Gronwall 不等式来证明收敛成为可能。

3. 主要结果

定理 1.2（几乎处处局部适定性）：
设 $\alpha > 15/16$。存在一个测度 $\mu_\alpha(\Sigma_\alpha) = 1$ 的可测集 $\Sigma_\alpha$，使得对于每一个初始数据 $\phi \in \Sigma_\alpha$，存在一个时间 $T > 0$，使得频率截断方程（在全三次非线性下演化）的解序列 $(u_N)_{N \ge 1}$ 在 $L^\infty([-T, T]; H^{\alpha - 1/2 -}_{rad}(B^3))$ 中收敛于唯一的极限 $u$。该极限在分布意义下解三次 NLS。

定理 1.3（定量陈述）：
收敛在时间区间 $[-\tau_R, \tau_R]$ 上成立，其中 $\tau_R = R^{-C_1}$，且初始数据不满足必要界限的概率是指数级微小的（$< C_1 e^{-c_1 R^{\delta_0}}$）。解具有分解 $u = \psi_\infty + w_\infty$，其中 $\psi_\infty$ 是着色高斯项的极限，而 $w_\infty$ 是某个 $s_0 > 1/2$ 的 $C([-T, T]; H^{s_0}_{rad})$ 中的更光滑的余项。

4. 重要性与主张

本文声称是对 Bourgain 和 Bulut [BB14] 在三维中结果的显著改进。

• 超临界区间： 该结果为正则性严格低于典型 Gibbs 测度支撑正则性的初始数据（对于 $\alpha < 1$）建立了适定性，使该问题处于 [DNY24a] 概率标度的超临界状态。
• 移除投影器： 与 [BB14] 不同（后者要求非线性被 $\Pi_N$ 截断，即有限维近似），这项工作证明了全三次方程的收敛性。证明了截断近似与全近似的极限是相同的。
• 消除对数发散： 主要的技术成就是消除了收敛估计中的 $\log N$ 发散。这是通过结合规范变换（处理共振高-高-高相互作用）与随机平均算子（处理高-低相互作用）实现的创新组合。
• 径向几何： 这项工作将概率适定性理论扩展到了具有边界的有界区域，特别是 3D 球面，相比于环面，球面的边界效应和缺乏平移不变性使得分析更加复杂。

作者指出 $\alpha > 15/16$ 的约束并非最优（他们猜想 $\alpha > 3/4$ 才是真正的阈值），但足以超越 $\alpha=1$ 的临界阈值。他们还提到，由于能量临界性和球面上的 Strichz 估计中的导数损失，维度 $d \ge 4$ 的情况目前仍难以处理。

5. 结论

这项工作为处理有界域上低正则性 NLS 的概率解提供了一个稳健的框架。通过通过精细化规范变换和随机平均算子对非线性相互作用的分析，作者成功地在超临界区间内进行导航，提供了比之前针对径向 3D NLS 所能获得的更强的收敛结果。该方法论为处理标准色散平滑不足的类似问题提供了路径。