On wave operators for Hardy operators with and without perturbations

技术摘要：带有扰动的 Hardy 算子的波算子研究

问题陈述
本文研究了作用在 $L^2(\mathbb{R}^d)$ 上的 Hardy 算子 $L_\kappa = (-\Delta)^{\alpha/2} - \kappa|x|^{-\alpha}$ 的含时散射理论，其中 $\alpha \in (0, 2] \cap (0, d)$ 且 $\kappa \le \kappa_c$。$\kappa_c$ 是 Hardy 不等式中的锐利常数。主要目标是建立波算子 $W(H, H_0)$ 的渐近完备性，这些波算子将自由动力学（分数阶拉普拉斯算子 $L_0$ 或一般的傅里叶乘子 $C_0$）与受扰动动力学（Hardy 算子 $L_\kappa$ 及其进一步由短程势 $V^S$ 或长程势 $V^L$ 引起的扰动）联系起来。

一个核心挑战在于处理存在标度临界（scaling-critical）Hardy 势 $|x|^{-\alpha}$ 时的算子行为，特别是在临界耦合常数 $\kappa = \kappa_c$ 以及非局部情形 $\alpha < 2$ 下的行为。本文还试图确定存在长程扰动时，波算子存在的锐利阈值及不存在的阈值。

方法论
作者采用了三种不同的框架来证明渐近完备性和不存在性结果，并根据 $\alpha$ 的参数范围和势函数的性质调整工具：

1. 抽象半群框架（针对 $\alpha > 1$）：
   对于 $\alpha > 1$，作者利用了先前工作中建立的半群方法（例如 [DS99a], [DGS01], [Gie04]）。该方法依赖于验证热核之差 $e^{-tH} - e^{-tH_0}$ 是紧的，并满足特定的加权界限。一项关键的技术成就是使用了 $L_\kappa$ 的锐利热核界限（来自 [BGJP19], [JW20], [CKSV20]），这些界限可以分解为自由热核与基态 $|x|^{-\sigma}$ 的乘积。这种分解使得处理临界耦合 $\kappa = \kappa_c$ 成为可能，而在该情形下，标准的 Mourre 理论往往会因为零能共振而失效。

2. Kato 平滑理论（针对 $\alpha \le 1$）：
   对于非局部情形 $\alpha \le 1$，作者应用了 Kato 的平滑方法，扩展了 [MY21] 的结果。这涉及证明短程势相对于哈密顿量是平滑的。一个显著的技术障碍是群速度 $\alpha|D|^{\alpha-1}$ 在低动量处的奇异性。为了克服这一点，作者使用 $L_\kappa$ 的幂次代替 $L_0$ 的幂次，利用了由这些算子生成的齐次 Sobolev 范数的等价性（命题 4.2）。这种方法要求耦合是亚临界的（$\kappa < \kappa_c$），以便有效地利用正对易子估计。

3. 传播估计与 Cook–Kuroda 方法：
   本文开发了针对 Hardy 算子的新传播估计，这些估计对于证明渐近完备性（通过 Cook–Kuroda 方法）以及建立不存在性结果至关重要。

   • 最小逃逸速度： 估计显示，具有低“逃逸速度”（由膨胀生成元 $A$ 测量）的状态衰减得很快。
   • 出射相空间传播： 估计展示了状态与势函数之间的重叠在出射相空间区域内快速衰减。
   • 加权传播： 关于空间矩增长的界限，表明其增长不会超过弹道标度（ballistic scale）。
     这些估计依赖于对易子展开、用于非衰减函数的 Helffer–Sj"ostrand 微积分以及膨胀生成元 $A$。

主要贡献与结果

• $\alpha > 1$ 的渐近完备性：
  本文证明了波算子 $W(L_\kappa, L_0)$、$W(L_\kappa - V^S, L_0)$ 以及 $W(L_\kappa - V^S, L_\kappa)$ 在所有 $\kappa \le \kappa_c$ 时都是渐近完备的，包括临界情形。这扩展了以往仅限于 $\kappa < \kappa_c$ 或需要摄动假设的结果。这些结果对于具有类似大动量行为的一般傅里叶乘子 $C_0$ 同样成立（推论 1.7）。

• $\alpha \le 1$ 的渐近完备性：
  在短程势衰减率 $\rho_S$ 和耦合 $\kappa$（具体为 $\kappa < \kappa_c$）满足特定条件的条件下，证明了波算子 $W(L_\kappa - V^S, L_\kappa)$ 是渐近完备的。结果涵盖了 $1/2 < \alpha \le 1$ 的范围（并在 $d \ge 2$ 时扩展到 $\alpha = 1/2$），前提是势函数满足与 Kato 平滑理论兼容的平滑性和衰减假设。

• 波算子的不存在性：
  本文为长程扰动建立了锐利的不存在性结果：

  • 如果 $\alpha \le 1$ 且 $\kappa \neq 0$，则波算子 $W(L_\kappa, L_0)$ 不存在。
  • 如果扰动 $V^L$ 是长程的（衰减为 $|x|^{-\rho_L}$，其中 $0 < \rho_L \le 1$），则交织扰动系统与原系统的波算子通常不存在。
  • 特别地，当 $0 < \rho_L \le \alpha \le 1$ 时（以及 $\alpha = 1/2$ 对于 $d \ge 2$），$W(L_\kappa - V^L, L_\kappa)$ 不存在。
    这些结果是通过借鉴 [IW20] 的抽象不存在性准则以及涉及最小逃逸速度和加权传播界限的直接估计得出的。

• 向其他算子的推广：
  结果被推广到一类傅里叶乘子 $C_0 \in \mathcal{K}_\alpha$（包括伪相对论动能 $(1-\Delta)^{\alpha/2}-1$），只要它们满足关于临界点的特定谱条件。

意义与主张

作者声称其工作推进了具有标度临界势的分数阶薛定谔算子的散射理论。其主要意义在于：

1. 处理临界耦合： 成功处理了 $\alpha > 1$ 时 $\kappa = \kappa_c$ 的情况，而没有依赖于在零能处失效的对易子估计，而是利用了热核的结构。
2. 新的传播估计： 开发了针对 Hardy 算子的传播估计，这些估计纳入了标度临界势，而此类估计此前在分数阶算子的文献中尚未被纳入。这些估计被呈现为具有独立价值的工具，可能适用于 $N$ 粒子散射问题。
3. 锐利阈值： 提供了一个关于波算子存在与不存在的全面图景，阐明了扰动衰减率相对于 Hardy 势齐次性的作用。

文中明确指出，在 $\alpha \le 1$ 机制中发现的技术限制（例如 $\alpha > 1/2$ 或对 $\sigma$ 的特定界限）很可能是当前证明技术（特别是 Sobolev 范数比较和 Kato 平滑性的使用）的产物，而非根本性的物理障碍。作者表示乐观地认为，在未来的工作中这些阈值是可以降低的。