The weighted $L^2$-Caffarelli-Kohn-Nirenberg inequalities for the curl-free vector fields and second order derivatives: The sharp constants and stability estimates

技术摘要：无旋向量场与二阶导数的加权 $L^2$-Caffarelli-Kohn-Nirenberg 不等式

问题陈述
本文研究了加权 $L^2$-Caffarelli-Kohn-Nirenberg (CKN) 不等式，特别侧重于两个不同但相关的背景：

1. 无旋向量场： 针对涉及向量场 $U$（其中 $U = \nabla u$）的梯度与加权范数的不等式，建立其锐利常数（sharp constants）与稳定性估计。
2. 二阶导数： 证明涉及拉普拉斯算子 $\Delta u$ 与梯度 $\nabla u$ 且具有一般权重参数 $a$ 和 $b$ 的锐利不等式与稳定性估计。

虽然此前已有作者（如 Cazacu、Flynn、Lam 等）建立了关于一阶 CKN 不等式的锐利常数以及二阶不等式的特定情况（例如海森堡-泡利-外尔不确定性原理），但本研究解决了在二阶设定下证明这些不等式对于一般参数 $a$ 和 $b$ 的空白，并首次为无旋向量场的加权 CKN 不等式提供了稳定性估计。

方法论
作者采用了一种严谨的分析方法，其核心围绕三种主要工具展开：

1. 球面谐波分解： 主要方法是将函数 $u$ 和向量场 $U$ 分解为径向分量和非径向分量（利用球面谐波）。这通过将多维不等式简化为一系列由球面谐波阶数 $k$ 索引的一维积分不等式。
2. 一维积分不等式： 证明的核心在于建立关于单变量函数的锐利加权不等式。作者利用了一个特定的引理（引理 2.2），该引理为如下形式的不等式提供了锐利常数：
   $$\left( \int_0^\infty (f')^2 r^{A-1} dr + C \int_0^\infty f^2 r^{A-3} dr \right) \int_0^\infty f^2 r^{B-1} dr \geq K \left( \int_0^\infty f^2 r^{\frac{A+B}{2}-2} dr \right)^2$$
   他们确定了最优常数 $K$ 并显式地给出了极值函数。
3. 通过正交分解进行稳定性分析： 为了证明稳定性（即量化当函数接近极值集时的情况），作者将函数分解为径向部分 ($u_r$) 和正交于径向部分的成分 ($u_o$)。他们证明了对于非径向部分，锐利常数可以得到严格改进（引理 4.1 和引理 5.1）。这种“间隙”使得他们能够根据不等式的亏损（deficit）来界定函数与极值集之间的距离。

主要贡献与结果

1. 锐利加权二阶 CKN 不等式 (定理 1.1)
作者证明了一类新的锐利加权 $L^2$-CKN 二阶导数不等式。对于满足特定条件（包括 $(n-2a-2)^2 \geq 8(1+a)(1+2a)$）的 $n \geq 2$ 及参数 $a, b$，他们建立了：
$$\int_{\mathbb{R}^n} \frac{|\Delta u|^2}{|x|^{2a}} dx \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{2b}} dx \geq C_2(n, a, b)^2 \left( \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{a+b+1}} dx \right)^2$$

• 锐利常数： $C_2(n, a, b) = \frac{|a-b+1| + |n+2a|}{2}$。
• 极值函数： 等号由涉及指数和幂项积分的特定径向函数给出（方程 1.11）。
• 意义： 该结果通过涵盖更广泛的参数范围并显式处理二阶拉普拉斯项，补充了 Cazacu、Flynn 和 Lam (2023) 以及 Duong 和 Nguyen (2025) 的先前工作。

2. 无旋向量场的稳定性 (定理 1.3)
本文为无旋向量场 $U = \nabla u$ 的加权 CKN 不等式建立了稳定性版本。它证明了如果“亏损”（不等式左侧与右侧之差）很小，则向量场 $U$ 在加权 $L^2$ 范数下接近于极值向量场集 $M_{a,b}$。

• 结果： $\delta(U) \geq C \inf_{V \in M_{a,b}} \frac{\|U-V\|_{L^2(|x|^{a+b+1})}^2}{\|U\|_{L^2(|x|^{a+b+1})}^2}$。
• 后果： 这得出了无旋向量场的加权海森堡-泡利-外尔不确定性原理和加权氢原子不确定性原理的稳定性版本（推论 1.4 和 1.5）。

3. 二阶导数的稳定性 (定理 1.7)
通过将稳定性分析扩展到定理 1.1 中证明的二阶不等式，作者展示了对于函数 $u \in Y_{a,b}(\mathbb{R}^n)$ 类似的稳定性估计。

• 结果： $\delta_{CKN}(u) \geq C \inf_{v \in N_{a,b}} \frac{\|\nabla u - \nabla v\|_{L^2(|x|^{a+b+1})}^2}{\|\nabla u\|_{L^2(|x|^{a+b+1})}^2}$。
• 后果： 这为加权二阶海森堡-泡利-外尔和氢原子不确定性原理提供了稳定性估计（推论 1.8 和 1.9）。

意义与主张
作者将这项工作定位为泛函不等式理论的重要进展：

• 泛化性： 不同于以往往往局限于特定参数范围（例如 $b = -a-1$）或依赖于难以推广的“配方展开”方法的结论，本文使用球面谐波分解来处理一般参数 $a$ 和 $b$。
• 稳定性： 本文声称提供了专门针对无旋向量场和具有一般权重的二阶导数情形的加权 CKN 不等式的首次稳定性估计。先前的稳定性结果主要局限于标准的 Sobolev 不等式，或是在没有权重或参数受限的特定不确定性原理中。
• 方法论的严谨性： 该工作展示了结合球面谐波分解与一维变分问题来导出锐利常数和稳定性估计的威力，作者指出这种技术在研究泛函不等式的锐利形式方面非常有效。

文章最后指出，虽然稳定性估计中的常数 $C$ 是可以显式计算的，但不一定是最佳的，这为未来的改进留下了空间。当 $a=0$ 时，这些结果恢复了已知的案例（如标准不确定性原理），将其作为所呈现的更通用框架下的特例。