[论文解读] $L^p$-boundedness of wave operators for 2D Schrödinger operators with point interactions

Kenji Yajima|arXiv (Cornell University)|Jun 17, 2020

Advanced Mathematical Physics Problems参考文献 22被引用 4

一句话总结

本文建立了二维点相互作用薛定谔算子的波算子在 $L^p$ 空间中的有界性。当且仅当谱中不存在 $p$-波共振时，波算子在 $L^p(\mathbb{R}^2)$ 上对所有 $1 < p < \infty$ 有界；否则，它们仅在 $1 < p \leq 2$ 时有界，而在 $2 < p < \infty$ 时无界，该结果由相互作用矩阵的谱结构决定。

ABSTRACT

For two dimensional Schrödinger operator $H$ with point interactions, We prove that wave operators of scattering for the pair $(H,H_0)$, $H_0$ being the free Schrödinger operator, are bounded in the Lebesgue space $L^p(\R^2)$ for $1

研究动机与目标

• 确定二维点相互作用薛定谔算子的波算子在 $L^p(\mathbb{R}^2)$ 中的 $L^p$-有界性。
• 刻画广义本征函数与共振（特别是 $s$-波和 $p$-波共振）在决定波算子 $L^p$-有界性中的作用。
• 基于算子谱中是否存在 $p$-波共振，建立有界性行为的精确二分性。

提出的方法

• 研究通过格林函数和汉克尔函数 $H_0^{(1)}$ 构造薛定谔算子 $H_{\alpha,Y}$ 的预解式，该函数控制点相互作用的行为。
• 通过一个 $N \times N$ 矩阵 $\Gamma_{\alpha,Y}(z)$ 对自由预解式进行扰动，定义算子值预解式 $R(z^2)$，该矩阵编码了相互作用强度与空间构型。
• 波算子 $W_{\alpha,Y}^\pm$ 在 $L^2(\mathbb{R}^2)$ 中定义为强极限，其 $L^p$-有界性通过 $\Gamma_{\alpha,Y}(\lambda)$ 在 $\lambda \to 0^+$ 时的渐近展开进行分析。
• 分析依赖于格林函数的渐近行为以及三个对称矩阵 $\tilde{\mathcal{D}}$、$\mathcal{G}_1(Y)$ 和 $\mathcal{G}_2(Y)$ 的谱性质，这些矩阵控制系统的低能行为。
• 证明采用微局部分析与傅里叶分析技术，包括使用截断函数 $\chi_{\leq 2\varepsilon}$ 和对涉及 $|\xi| + |p|$ 的振荡积分的估计。
• 一个关键技术工具是改进版本的卡托-罗森布卢姆定理的应用，以及通过低能极限中的谱投影与矩阵求逆构造良好算子。

实验结果

研究问题

• RQ1 在什么条件下，二维点相互作用薛定谔算子的波算子在 $L^p(\mathbb{R}^2)$ 中对 $1 < p < \infty$ 有界？
• RQ2 存在或不存在 $p$-波共振如何影响波算子的 $L^p$-有界性？
• RQ3 当 $p > 2$ 时，波算子的精确临界行为是什么？为何它们会变得无界？

主要发现

• 波算子在 $L^p(\mathbb{R}^2)$ 中对所有 $1 < p < \infty$ 有界，当且仅当 $H_{\alpha,Y}$ 的谱中不存在 $p$-波共振。
• 若存在 $p$-波共振，则波算子在 $1 < p \leq 2$ 时保持有界，但在 $2 < p < \infty$ 时无界，表明在 $p = 2$ 处存在精确的跃迁。
• 不存在 $p$-波共振等价于低能展开中矩阵 $T_e^\perp G_1 T_e^\perp$ 的非退化性，这保证了波算子构造中相关算子的可逆性。
• 存在 $s$-波共振（非零 $a$）不会阻碍 $L^p$-有界性（$1 < p < \infty$），但 $p$-波共振（$a=0$，$b \neq 0$）会阻碍。
• $L^p$-有界性在 $2 < p < \infty$ 时的失效源于与 $p$-波贡献相关的某些傅里叶乘子分量的非可积性，该结论通过振荡积分的 $L^p$-范数估计得以证明。
• 一个关键技术引理（引理 A）提供了涉及截断函数的双重傅里叶积分的点态衰减估计，这对控制 $L^p$-有界性证明中的算子范数至关重要。