[论文解读] Sobolev spaces adapted to the Schrödinger operator with inverse-square potential

Rowan Killip, Cong-rong Miao+3 more|arXiv (Cornell University)|Mar 9, 2015

Spectral Theory in Mathematical Physics被引用 12

一句话总结

本文建立了在何种条件下，通过Schrödinger算子 $\mathcal{L}_a = -\Delta + a|x|^{-2}$ 定义的基于 $L^p$ 的Sobolev空间（其中包含反平方势）与通过标准Laplacian $(-\Delta)^{s/2}$ 定义的Sobolev空间在 $0 < s < 2$ 且 $d \geq 3$ 时相等。关键结果确定了相关Riesz变换与乘子定理成立的最优 $p$ 范围，方法基于针对奇异势的热核估计与Littlewood-Paley理论。

ABSTRACT

We study the $L^p$-theory for the Schrödinger operator $\mathcal L_a$ with inverse-square potential $a|x|^{-2}$. Our main result describes when $L^p$-based Sobolev spaces defined in terms of the operator $(\mathcal L_a)^{s/2}$ agree with those defined via $(-Δ)^{s/2}$. We consider all regularities $0

研究动机与目标

• 刻画通过 $\mathcal{L}_a^{s/2}$ 与 $(-\Delta)^{s/2}$ 定义的 $L^p$-Sobolev 范数等价的 $p$ 的范围。
• 在 $a \in \left[-(\frac{d-2}{2})^2, 0\right)$ 时，建立 $\mathcal{L}_a$ 的谱乘子在 $L^p$ 上的最优有界性，此时热核不满足高斯界。
• 为 $\mathcal{L}_a$ 构建一个自包含的调和分析框架，包括Littlewood-Paley理论与Hardy型不等式，专门适配反平方势。
• 为研究临界色散PDE（如含反平方势的能量临界NLS）提供基础工具。

提出的方法

• 使用参数 $\sigma = \frac{d-2}{2} - \frac{1}{2}\sqrt{(d-2)^2 + 4a}$ 参数化势强并编码谱行为。
• 在 $-(\frac{d-2}{2})^2 \leq a < 0$ 范围内证明 $\mathcal{L}_a$ 的Mikhlin型乘子定理，其最优 $L^p$ 估计依赖于 $\sigma$ 与 $d$。
• 应用热核估计（定理2.1）以控制 $\mathcal{L}_a$ 在原点与无穷远处的行为。
• 构造与 $\mathcal{L}_a$ 适配的二进制频率投影 $\tilde{P}_N$ 与 $\tilde{P}_N^a$，并比较其 $L^p$-有界性。
• 利用Schur引理与含幂权 $|x|^{\pm \alpha}$ 的加权估计，控制 $|\tilde{P}_N - \tilde{P}_N^a|$ 在 $L^p$ 中的差异。
• 应用Littlewood-Paley理论与极大函数估计，比较 $\||\nabla|^s f\|_{L^p}$ 与 $\|\mathcal{L}_a^{s/2} f\|_{L^p}$。

实验结果

研究问题

• RQ1 在何种 $p$ 下，通过 $\mathcal{L}_a^{s/2}$ 与 $(-\Delta)^{s/2}$ 定义的 $L^p$-Sobolev 范数等价？
• RQ2 当 $a < 0$ 时，$\mathcal{L}_a$ 的谱乘子在 $L^p$ 上有界的最优 $p$ 范围为何？
• RQ3 反平方势引入的奇异性如何影响Riesz变换与Littlewood-Paley投影的行为？
• RQ4 $\mathcal{L}_a$ 在何种意义下具有尺度不变性？这如何影响其相关Sobolev空间的结构？
• RQ5 当高斯热核界不成立时，能否在不依赖它们的前提下建立Sobolev范数的等价性？

主要发现

• 通过 $\mathcal{L}_a^{s/2}$ 与 $(-\Delta)^{s/2}$ 定义的 $L^p$-Sobolev 范数等价，当且仅当 $\frac{s + \sigma}{d} < \frac{1}{p} < \min\left\{1, \frac{d - \sigma}{d}\right\}$，其中 $\sigma$ 由势参数 $a$ 定义。
• 当 $a \geq 0$ 时，$\mathcal{L}_a$ 的Mikhlin乘子定理在 $1 < p < \infty$ 范围内成立；当 $a < 0$ 时，其在 $r_0 < p < r_0'$ 范围内成立，其中 $r_0 = \frac{d}{\sigma}$，且该范围为最优。
• 当 $a < 0$ 时，$\mathcal{L}_a$ 的热核在原点处奇异，且不满足高斯界，这使得标准乘子理论失效，因而必须采用新方法。
• 通过选择满足Schur型条件的权 $|x|^{\pm \alpha}$，利用加权 $L^p$ 估计控制谱投影 $\tilde{P}_N$ 与 $\tilde{P}_N^a$ 之间的差异。
• 与 $\mathcal{L}_a$ 关联的Riesz变换在 $L^p$ 上有界，当且仅当 $\max\left\{\frac{s}{d}, \frac{\sigma}{d}\right\} < \frac{1}{p} < \min\left\{1, \frac{d - \sigma}{d}\right\}$，该范围与Sobolev范数等价的范围一致。
• 通过将频率投影差异分解为三部分：$|x| \gg |y|$、$|x| \ll |y|$ 与 $|x| \sim |y|$，每部分分别由不同估计与Schur引理控制，从而建立Sobolev范数的等价性。