Maximal estimates for perturbations of the Schrödinger operator on $\mathbb{T}^d$

技术摘要：$\mathbb{T}^d$ 上 Schrödinger 算子扰动的极大估计

问题陈述
本文研究了与 $C^2$ 图形超曲面相关的指数和的 $L^p_x L^\infty_t$ 极大估计，其动机源于环面 $\mathbb{T}^d$ 上 Schrödinger 方程的点值收敛问题。具体而言，作者探讨了在抛物面的 $C^2$-小扰动下，关于周期性 Schrödinger 方程的猜想极大估计是否仍然成立。

研究的核心对象是如下指数和：
$$u(x, t) = \sum_{q \in [Q]^d} b_q e\left(x \cdot \frac{q}{Q} + t\psi\left(\frac{q}{Q}\right)\right),$$
其中 $\psi \in C^2([0, 1]^d)$。当 $\psi(\xi) = |\xi|^2$ 时，这对应于环面上抛物面重标度后的 Schrödinger 方程解。猜想的极大估计（猜想 1）假定，对于 $2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$，极大函数的 $L^p$ 范数被 $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$ 所控制。

前人的工作 [FRW23] 表明，对于一致凸序列类，该猜想在 $d=1$ 时失效，显示出极大估计可以显著大于猜想的界限。本文旨在解决的开放问题是：这种失效是否在更高维（$d \ge 2$）以及对于抛物面的一般 $C^2$ 扰动下依然存在，而不仅仅局限于特定的构造序列。

方法论
本文结合了调和分析、数论和齐次动力学来建立下界和上界。

1. 通过相交估计建立下界：
   为了反驳猜想的极大估计，作者构造了特定的扰动 $\psi$ 和初始数据序列 $(b_q)$，以产生较大的极大函数。这一构造的核心依赖于 Cairo 和 Zhang [CZ25] 关于 $C^2$ 子流形与重标度整数格点相交性的结果。

   • 作者利用了由齐次动力学（具体为 $SL_n(\mathbb{R})$ 在单模格点空间上的作用）证明的 Cairo-Zhang 定理（定理 1.4）的一个变体。
   • 通过对格点空间应用 Siegel 平均值定理和二阶矩方法，作者证明了存在一个格点变换 $g$ 和一个扰动函数 $\psi$，使得 $\psi$ 的图形包含大量具有特定分母的有理点。
   • 这些“幸运”的点允许构造一个序列 $(b_q)$，使得指数和在具有显著测度的集合上表现出相长干涉（极大值），从而违反了猜想的上界。

2. 通过解耦建立上界：
   对于上界，作者利用了 Bourgain 和 Demeter [BD15] 建立的紧致 $C^2$ 超曲面的 $\ell^2$-解耦理论。

   • 他们将局部版本的全局解耦不等式应用于该指数和。
   • 通过分析极大函数的水平集，并利用傅里叶支撑在小圆弧（caps）内的函数的局部常数性质，他们推导出了 $L^p$ 范数的上界。
   • 这一方法证实，虽然对于扰动，猜想的界限失效了，但解耦指数 $p_{\text{crit}} = \frac{2(d+2)}{d}$ 仍然是上界的有效阈值（在 $Q^\epsilon$ 损失范围内）。

主要贡献与结果

• 高维情形下猜想的失效： 主要结果（定理 1.1）确立了在所有维度 $d \ge 1$ 下，抛物面的 $C^2$-小扰动都会导致猜想的极大估计失效。具体而言，对于任何 $\epsilon > 0$，存在一个接近抛物面的扰动 $\psi$ 和一个序列 $(b_q)$，使得极大估计的阶数为 $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$。

  • 在临界指数 $p_{\text{crit}}$ 处，下界为 $Q^{d/2}$，而猜想的界限应为 $Q^{d/2 + \epsilon}$。
  • 在猜想的端点 $p_{\text{conj}}$ 处，下界比猜想的界限高出一个因子 $Q^{\frac{d}{2(d+1)(d+2)}}$。

• 解耦界的锐度： 定理 1.2 提供了一致凸 $C^2$ 超曲面极大估计的上界。作者表明，在一般维度下，这些估计在解耦端点 $p_{\text{crit}}$ 处是本质上锐利的，与下界仅差一个 $Q^\epsilon$ 因子。

• 通过齐次动力学的全新证明： 本文提供了一个用于证明 Cairo 和 Zhang [CZ25] 原创相交估计的替代证明（定理 1.4）。该证明利用了 $SL_n(\mathbb{R})$ 在格点空间上的动力学，避免了一些原工作中特定的几何假设，并将结果扩展到了任意余维数。

• 指数的精细化： 作者定义并分析了猜想指数 $\alpha_{\text{conj}}(p)$、下界指数 $\alpha_{\text{low}}(p)$ 以及上界指数 $\alpha_{\text{upp}}(p)$ 之间的差距。他们表明，对于 $d=1$，界限是锐利的（在 $Q^\epsilon$ 范围内），但对于 $d \ge 2$，在 $p_{\text{conj}}$ 处，猜想的估计与扰动的实际行为之间存在差距。

意义与主张
本文声称解决了关于基于解耦的 Schrödinger 极大估计猜想在 $C^2$ 扰动下是否具有鲁棒性的问题。作者证明了该猜想并不具有鲁棒性；抛物面的数论结构对于使猜想界限成立至关重要。当相位函数在 $C^2$ 类中受到扰动时，极大估计会恶化，这与 [FRW23] 在 $d=1$ 时观察到的行为一致。

此外，这项工作强调了解耦方法在区分抛物面及其微小扰动方面的局限性。虽然解耦为一致凸曲面类提供了正确的上界，但它无法恢复那些依赖于抛物面特定算术性质的更精细的猜想界限。

本文得出结论，对于一般的 $C^2$ 超曲面，极大估计是由曲面的几何性质（通过解耦）而非抛物面的特定算术性质所支配的，且在 $d \ge 2$ 时，猜想的指数 $p_{\text{conj}}$ 并不是一般 $C^2$ 类的正确阈值。这些结果在临界指数 $p_{\text{crit}}$ 处被证明在 $Q^\epsilon$ 损失下是锐利的。