Perturbed Dyadic Cubes and Quantitative Estimates for Schrödinger Operators with Potentials in $RH^{n/2}$

技术摘要：扰动二进立方体与具有 $RH_{n/2}$ 势能的薛定谔算子的定量估计

问题陈述
本文针对 $\mathbb{R}^n$ 上薛定谔算子 $L := -\Delta + V$ 进行定量分析，其中势能 $V$ 属于反向赫尔德类 $RH_{n/2}$。虽然经典的摄动理论通常将 $V$ 视为拉普拉斯算子的微扰（通过迹估计，如 $\|Vu\|_{L^2} \leq a\|\Delta u\|_{L^2} + b\|u\|_{L^2}$），但对于在无穷远处不快速衰减或剧烈振荡的势能，这种方法并不适用。具体而言，对于 $V \in RH_{n/2}$，标准的迹估计并不成立，因此需要一种几何方法来解释由 $V$ 引起的“内在几何”。核心挑战在于刻画 Riesz 势 $L^{-\alpha/2}$ 的算子范数，并在不完全依赖解析迹不等式的情况下导出定量的谱估计。

方法论
作者引入了一种新的几何框架，其基础是构建扰动二进立方体 ($D_V$)，这些立方体反映了由势能 $V$ 决定的内在几何。该方法论通过以下步骤进行：

1. 临界半径函数： 分析依赖于临界半径函数 $\rho(x, V)$，该函数定义为使得 $V$ 在 $B(x,r)$ 上的平均值被 $r^{n-2}$ 控制的半径 $r$ 的上确界。该函数补偿了 $V$ 在经典估计中的摄动效应。
2. 对 $V$ 的假设： 构建过程要求 $V$ 满足三个温和的假设（A1–A3），以确保 $V$ 在无穷远处既不会衰减过快，也不会剧烈振荡。这些假设意味着 $\rho(x, V)$ 在远场与 $|x|$ 相当，并在环形区域内表现得较为规则。
3. $D_V$ 的构建： 与尺寸均匀的经典二进立方体不同，作者构建了一个 $D_V$ 系统，其中的立方体根据 $\rho(x, V)$ 的增长被组织成“层” ($L_l$)。在每一层内，立方体的边长与 $2^{-k}\rho(x, V)$ 成比例。这导致了一种各向异性的结构，即同一代的立方体可能因其相对于势能的位置不同而具有不同的尺寸。
4. 扰动稀疏占优： 作者开发了一种适用于 $D_V$ 的扰动稀疏占优技术。他们将 Riesz 势 $L^{-\alpha/2}$ 定位于由 $D_V$ 定义的邻域，并建立其对稀疏算子的逐点占优关系。这使得可以将算子范数问题转化为涉及适配于扰动系统的 Carleson 常数的组合问题。
5. 相邻系统： 为了处理覆盖论证和极大函数，作者利用格点偏移构造了相邻的扰动二进立方体族 ($D_{V,t}$)，从而确保任何具有适当尺寸的矩形都包含在一个相邻系统中尺寸相当的立方体内。

主要贡献与结果

• 扰动二进立方体的构建 (定理 1.2)： 本文首次提供了一种专门为具有 $RH_{n/2}$ 势能的薛定谔算子量身定制的二进系统 $D_V$ 的构建方法。该系统划分了 $\mathbb{R}^n$，使得包含 $x$ 的立方体 $Q$ 的边长满足 $\ell(Q) \sim 2^{-k}\rho(x, V)$。该系统具有类似于经典二进立方体的性质（嵌套性、划分性），但融入了由 $V$ 引起的各向异性。
• 算子范数的刻画 (定理 1.3)： 作者刻画了对于 $\alpha \in (0, 2]$ 和 $p \in (1, \infty)$，Riesz 势 $L^{-\alpha/2}$ 的 $L^p$ 算子范数。该范数被证明等价于对扰动立方体 $Q \in D_V$ 的上确界：
  $$\|L^{-\alpha/2}\|_{L^p \to L^p} \sim \sup_{Q \in D_V} |Q|^{\frac{\alpha p'}{n}}$$
  （带有针对加权范数和测度的适当修正）。这一结果通过仅基于 $D_V$ 的几何性质来提供定量估计，推广了先前的研究（例如 Li, Rahm, 和 Wick 的工作）。
• 定量谱估计 (推论 1.4)： 作为应用，本文导出了基态能量 $\lambda_1(L)$ 和谱投影秩 $N(\lambda, L)$ 的定量估计。
  • 基态由扰动立方体的体积下确界来刻画：$\lambda_1(L) \sim \inf_{Q \in D_V} |Q|^{-2/n}$。
  • 秩 $N(\lambda, L)$ 被证明与位于“谱主导区域”（即 $\rho(x, V+\lambda) \sim \lambda^{-1/2}$）内的扰动系统 $D_{V+\lambda}$ 中第 0 代立方体的数量成比例。这为经典的 Weyl 型定律 $N(\lambda, L) \sim \lambda^{n/2} |\{x : \rho(x, V) > \lambda^{-1/2}\}|$ 提供了一种几何解释。

意义与主张
本文声称其主要贡献是将薛定谔算子的分析从纯粹的解析迹估计转向基于扰动二进立方体的几何框架。通过将薛定谔算子视为内在几何的规范“拉普拉斯算子”，作者证明了只要建立了适当的几何结构（$D_V$），许多定量估计都可以像经典的平坦情况一样通过规范方式导出。

其意义在于：

1. 普遍性： 该方法适用于不满足标准微扰条件的 $RH_{n/2}$ 势能（例如 $V(x) = |x|^a$，其中 $a > 0$）。
2. 定量精确性： 结果提供了关于 $D_V$ 几何结构的显式、尖锐的算子范数和谱量刻画，避免了间接解析证明中常见的常数损失。
3. 新工具： 引入的扰动稀疏占优技术以及特定的 $D_V$ 构建（包括相邻系统）为薛定谔算子的调和分析提供了新工具，可能适用于其他与非均匀几何相关的算子。

作者指出，尽管类似的思路出现在特定语境中（例如高斯测度的 Whitney 覆盖或 Hardy 空间的原子分解），但这项工作为满足假设 (A1)–(A3) 的一般类 $RH_{n/2}$ 势能提供了一个系统的构建与应用。