Equivalence of Sobolev norms in Lebesgue spaces for Hardy operators in a half-space

1. 研究问题 (Problem Statement)

本文研究的是定义在半空间 $\mathbb{R}^d_+ = \mathbb{R}^{d-1} \times (0, \infty)$ 上的广义 Schrödinger 算子（即 Hardy 算子）：
$$L_\lambda^{(\alpha)} := (-\Delta)_{\mathbb{R}^d_+}^{\alpha/2} + \lambda x_d^{-\alpha}$$
其中：

• $(-\Delta)_{\mathbb{R}^d_+}^{\alpha/2}$ 是区域分数拉普拉斯算子（Regional fractional Laplacian），当 $\alpha=2$ 时退化为带有 Dirichlet 边界条件的普通拉普拉斯算子。
• $\lambda x_d^{-\alpha}$ 是 Hardy 势，$\lambda$ 为耦合常数。
• 算子 $L_\lambda$ 的谱下界由参数 $\lambda^*$ 决定，要求 $\lambda \ge \lambda^*$ 以保证算子非负。

核心问题：
比较由 $L_\lambda$ 生成的齐次 Sobolev 空间范数 $\|(L_\lambda)^{s/2}u\|_{L^p(\mathbb{R}^d_+)}$ 与由无势算子 $L_0$（即纯分数拉普拉斯算子）生成的范数 $\|(L_0)^{s/2}u\|_{L^p(\mathbb{R}^d_+)}$ 之间的等价性。

具体来说，作者试图确定在什么条件下（关于 $p, s, \alpha, \lambda, d$ 的参数范围），存在常数 $C$ 使得：
$$\|(L_0)^{s/2}u\|_{L^p} \simeq \|(L_\lambda)^{s/2}u\|_{L^p}$$
对于所有 $u \in C_c^\infty(\mathbb{R}^d_+)$ 成立。

2. 方法论 (Methodology)

为了证明 $L^p$ 空间（$p \neq 2$）中的范数等价性，作者克服了 $L^2$ 情形下谱定理直接适用的困难，采用了基于热核估计和**平方函数（Square Function）**的调和分析方法。主要技术路线如下：

2.1 热核估计与复时间延拓

• 点态估计： 利用已知的热核 $e^{-tL_\lambda}(x, y)$ 的上下界估计。对于 $\lambda \ge 0$，热核具有特定的衰减形式，包含边界距离 $x_d, y_d$ 的幂次项 $(1 \wedge x_d/t^{1/\alpha})^\sigma$。
• 复时间延拓： 通过 Phragmén–Lindelöf 原理，将实时间热核的估计推广到复时间 $z \in \mathbb{C}$，从而获得算子 $(tL_\lambda)^k e^{-tL_\lambda}$ 的核估计。
• 空间平均估计： 利用奇异积分理论，建立算子 $T_t$ 在球及其环状区域上的 $L^p \to L^q$ 估计，处理边界附近的奇异性。

2.2 连续平方函数估计 (Continuous Square Function Estimates)

由于 $L^p$ 空间中算子 $(L_\lambda)^{s/2}$ 的定义域不明确，作者引入了连续平方函数：
$$(S_{L_\lambda, \gamma}f)(x) := \left( \int_0^\infty |(tL_\lambda)^\gamma e^{-tL_\lambda}f|^2 \frac{dt}{t} \right)^{1/2}$$

• 定理 1.4： 证明了对于 $1 < p < \infty$，$\|S_{L_\lambda, \gamma}f\|_{L^p} \simeq \|f\|_{L^p}$。
• 这意味着 $\|(L_\lambda)^{s/2}f\|_{L^p} \simeq \left\| \left( \int_0^\infty t^{-s} |tL_\lambda e^{-tL_\lambda}f|^2 \frac{dt}{t} \right)^{1/2} \right\|_{L^p}$。
• 这一结论依赖于对奇异积分算子有界性的新证明，特别是针对热核衰减缓慢且包含奇异权重的情况。

2.3 反向 Hardy 不等式与广义 Hardy 不等式

为了比较 $L_0$ 和 $L_\lambda$，作者将差值项分解并控制：

• 反向 Hardy 不等式 (Theorem 1.6)： 给出了差值算子 $(tL_\lambda e^{-tL_\lambda} - tL_0 e^{-tL_0})$ 的平方函数范数与 Hardy 势项 $x_d^{-\alpha s/2}$ 范数之间的上界关系。这依赖于对热核差值 $e^{-tL_\lambda} - e^{-tL_0}$ 及其导数的精细核估计（Proposition 4.4）。
• 广义 Hardy 不等式 (Theorem 1.8)： 建立了 Hardy 势项 $x_d^{-\alpha s/2}$ 与算子 $(L_\lambda)^{-s/2}$ 之间的关系，即 $\|x_d^{-\alpha s/2} (L_\lambda)^{-s/2} f\|_{L^p} \lesssim \|f\|_{L^p}$。这通过 Riesz 核的精细估计和加权 Schur 测试（Schur test）证明。

2.4 密度论证

• 证明了 $C_c^\infty(\mathbb{R}^d_+)$ 在 $L_\lambda^{s/2}$ 作用下的像在 $L^p$ 中是稠密的（Theorem 1.10），从而将结果从光滑函数推广到整个 $L^p$ 空间。

3. 主要结果 (Key Results)

3.1 范数等价性定理 (Theorem 1.1)

设 $p \in (1, \infty)$，$\alpha \in (0, 2]$，$\lambda$ 满足非负性条件（$\alpha<2$ 时 $\lambda \ge 0$，$\alpha=2$ 时 $\lambda \ge -1/4$）。定义参数 $\sigma$ 使得 $\lambda = C(\sigma)$。
对于 $s \in (0, 2] \cap (0, 2d/\alpha)$：

1. 单向不等式 (a)： 若 $1/p > \frac{\alpha s}{2} - \sigma$，则 $\|(L_0)^{s/2}u\|_{L^p} \lesssim \|(L_\lambda)^{s/2}u\|_{L^p}$。
2. 单向不等式 (b)： 若 $1/p > \frac{\alpha s}{2} - (\alpha-1)_+$，则 $\|(L_\lambda)^{s/2}u\|_{L^p} \lesssim \|(L_0)^{s/2}u\|_{L^p}$。
3. 等价性： 若 $1/p > \max\{ \frac{\alpha s}{2} - (\alpha-1)_+, \frac{\alpha s}{2} - \sigma \}$，则两个范数等价。

注： 这里的 $\sigma$ 与耦合常数 $\lambda$ 通过函数 $C(\sigma)$ 一一对应。当 $\lambda=0$ 时，$\sigma = \max\{0, \alpha-1\}$。

3.2 扩展性 (Remark 1.3, 1.5, 1.7, 1.9)

虽然主要结果针对 $\lambda \ge 0$（$\alpha < 2$），但作者指出，如果关于吸引势（$\lambda \in [\lambda^*, 0)$）的热核上界估计（式 11）成立，那么上述所有结果（包括平方函数估计、反向/广义 Hardy 不等式及范数等价性）均可推广到该区域。这为未来研究留下了空间。

3.3 Riesz 变换有界性 (Corollary 1.2)

作为推论，证明了与 $L_0$ 和 $L_\lambda$ 相关的 Riesz 变换算子 $(L_0)^{s/2}(L_\lambda)^{-s/2}$ 在 $L^p$ 空间上有界。

4. 创新点与贡献 (Contributions)

1. 从 $L^2$ 到 $L^p$ 的推广： 之前的工作（如 Frank 和 Merz 的 [FM23]）仅在 $L^2$ 空间证明了此类算子的 Sobolev 范数等价性。本文首次将这一结果扩展到所有 $1 < p < \infty$。
2. 处理奇异热核的新工具： 针对 Hardy 算子热核在边界附近的奇异行为（由 $\sigma$ 参数化），作者发展了一套新的连续平方函数估计技术，克服了传统 Mikhlin-Hörmander 乘子定理在 $\lambda < 0$ 或奇异权重下失效的困难。
3. 精细的核差值估计： 通过引入新的辅助函数 $L_{t}^{\alpha, \beta}$ 和 $M_{t}^{\alpha, \beta}$，给出了 $tL_\lambda e^{-tL_\lambda} - tL_0 e^{-tL_0}$ 的精确核上界，这是证明反向 Hardy 不等式的关键。
4. 参数范围的精确刻画： 明确给出了 $L^p$ 范数等价性成立的 $p$ 值范围，该范围依赖于维度 $d$、分数阶 $\alpha$、耦合常数 $\lambda$（通过 $\sigma$）以及导数阶数 $s$。

5. 意义与应用 (Significance)

1. 数学物理应用：
   • 多体量子系统： Hardy 算子常用于描述具有临界强相互作用的相对论性原子（如 relativistic atoms）。范数等价性允许将复杂的 Hardy 算子问题转化为更易处理的分数拉普拉斯算子问题。
   • Scott 猜想： 该结果在证明相对论性原子的强 Scott 猜想（Strong Scott conjecture）中起到了关键作用，特别是在处理 Furry 模型时。
2. 非线性偏微分方程：
   • 范数等价性是研究非线性 Schrödinger 方程（NLS）全局适定性（Global well-posedness）和散射（Scattering）理论的基础工具。
   • 本文结果为研究涉及 Hardy 势的 NLS 方程（如 $(-\Delta)^{\alpha/2} + \lambda x_d^{-\alpha}$）提供了必要的函数空间框架。
3. 理论发展：
   • 丰富了关于齐次 Schrödinger 算子幂次域（domains of power）的特征理论。
   • 为处理半空间或其他非全空间几何结构下的奇异势算子提供了通用的分析框架。

总结

本文通过结合热核估计、奇异积分理论和精细的核差值分析，成功建立了半空间中 Hardy 算子在 $L^p$ 空间中的 Sobolev 范数等价性。这一结果不仅推广了现有的 $L^2$ 理论，还为处理具有临界奇异势的非线性演化方程提供了强有力的分析工具。