Counterexamples to the $L^1$ and $L^{\infty}$ boundedness of the one-dimensional wave operators

技术摘要：一维波算子在 $L^1$ 与 $L^\infty$ 处无界的反例

问题陈述
本文研究了与一维薛定谔算子 $H = -\Delta + V(x)$ 相关的波算子 $W_\pm(H, -\Delta)$ 的 $L^p$ 有界性，其中 $V$ 为实值势能，且满足衰减条件 $|V(x)| \lesssim \langle x \rangle^{-\beta}$，其中 $\beta > 2$。虽然在通用情形（generic case）和例外情形（exceptional case）下，这些算子在 $L^p(\mathbb{R})$（对于所有 $1 < p < \infty$）上具有有界性已是公认的事实，但在端点 $p=1$ 和 $p=\infty$ 处的行为在很大程度上仍未得到解决。

此前，Weder 已证明在“例外情形”（即零点为共振点）且特别满足条件 $\lim_{x\to-\infty} f_+(0, x) = 1$（其中 $f_+$ 为 Jost 函数）时，波算子在 $L^1$ 和 $L^\infty$ 上是有界的。这种有界性归因于在波算子的低能分解中，与希尔伯特变换（Hilbert transform）相关的系数消失了。然而，对于剩余的情况——即通用情形以及满足 $\lim_{x\to-\infty} f_+(0, x) \neq 1$ 的例外情形——由于存在希尔伯特变换项，人们长期预期这些算子是无界的。尽管存在这种预期，但针对有界、紧支撑势能的证明其无界性的严谨证明一直处于缺失状态。

方法论
作者采用平稳表示法（stationary representation approach）来分析波算子，将其分解为高能部分（$W^H_-$）和低能部分（$W^L_-$）。由于高能部分已知在所有 $L^p$ 空间上都有界，因此分析的重点完全集中在低能部分 $W^L_-$ 上。

1. 渐近展开： 该方法的核心在于推导扰动解析度 $R^+_V(\lambda^2)$ 在零能附近（$\lambda = 0$）的精确渐近展开。作者利用算子恒等式 $R^+_V(\lambda^2)V = R^+_0(\lambda^2)v M^{-1}(\lambda)v$，其中 $M(\lambda) = U + vR^+_0(\lambda^2)v$。作者计算了逆算子 $M^{-1}(\lambda)$ 关于 $\lambda$ 的幂次的渐近展开，并区分了通用情形（$W(0) \neq 0$）和例外情形（$W(0) = 0$）。
2. 核分析： 通过将这些展开式代入 $W^L_-$ 的积分表示中，作者分离出了奇异算子。他们分析了这些算子的积分核，并根据其相对于 $\lambda \to 0^+$ 的奇异阶数对它们进行分类。
3. 有界性证明： 利用 Schur 测试以及特定积分核（与希尔伯特变换和 BMO 空间相关）的性质，作者证明了低能算子的绝大部分分量在 $L^p$（对于 $1 < p < \infty$）上是有界的，并且能将 $L^\infty$ 映射到 BMO（有界平均振荡）空间，或将 $H^1$（Hardy 空间）映射到 $L^1$。
4. 反例构造： 为了证明在端点处的无界性，作者构造了特定的测试函数。对于通用情形，他们使用区间特征函数。对于例外情形，他们利用涉及符号函数和环形区域特征函数的函数。他们证明了这些奇异算子对这些测试函数的作用会导致结果函数不属于 $L^1$ 或 $L^\infty$（具体而言，它们的范数随参数趋于无穷大而发散）。

主要贡献与结果
本文通过提供对于此前开放情形下无界性的严谨证明，完成了对一维薛定谔波算子 $L^p$ 有界性的理论图景。

• 通用情形： 对于满足 $\beta > 7$ 的通用型势能，波算子 $W_\pm$ 在 $L^1(\mathbb{R})$ 和 $L^\infty(\mathbb{R})$ 上是无界的。然而，它们在从 $L^\infty(\mathbb{R})$ 到 BMO$(\mathbb{R})$ 的映射上仍然保持有界。
• 例外情形（$\lim_{x\to-\infty} f_+(0, x) \neq 1$）： 对于满足 Jost 函数极限不为 1 的紧支撑例外型势能，波算子在 $L^1(\mathbb{R})$ 和 $L^\infty(\mathbb{R})$ 上是无界的。此外，在这种特定情况下，它们也不是从 $L^\infty(\mathbb{R})$ 到 BMO$(\mathbb{R})$ 的有界映射。
• 端点行为的区别： 本文强调了通用情形与例外情形在 $L^\infty \to \text{BMO}$ 映射方面的关键区别。虽然通用情形保留了这种有界性，但例外情形（具有非单位 Jost 极限的情形）破坏了它。这与与共振结构相关的特定系数 $c_2$ 的非零性有关。

意义
本文声称完成了对一维波算子 $L^p$ 有界性的理论理解。通过提供显式的反例以及对通用情形和特定例外情形无界性的严谨证明，作者填补了文献中长期存在的空白。他们的工作阐明了，除非满足特定的抵消条件（如 Weder 的结果所示），否则低能分解中希尔伯特变换的存在确实会导致在 $L^1$ 和 $L^\infty$ 上的无界性。此外，本文完善了对 BMO 空间映射性质的理解，表明与通用情形不同，具有非单位 Jost 极限的例外情形无法实现从 $L^\infty$ 到 BMO 的映射。这些结果依赖于有界紧支撑势能的构造，证明了这种无界性是算子结构的本质特征，而非长程势能衰减所产生的伪影。