The stability on the Caffarelli-Kohn-Nirenberg and Hardy-type inequalities and beyond

技术摘要：Caffarelli-Kohn-Nirenberg 与 Hardy 型不等式的稳定性及其扩展

问题陈述
本文探讨了分析学中两类基本泛函不等式的稳定性与精化问题：Caffarelli-Kohn-Nirenberg (CKN) 不等式以及各类 Hardy 型不等式。虽然在特定情形下（例如经典的 Sobolev 不等式或特定的参数范围内的 CKN 不等式），这些不等式的锐利常数（sharp constants）和极值函数已得到明确确立，但定量稳定性问题——即衡量当不等式接近饱和时，一个函数距离其极值函数的程度——仍然是一个复杂的问题，特别是在一般参数和非希尔伯特空间设置（$p \neq 2$）下。此外，本文旨在将已知 Hardy 不等式的精化结果（如涉及弱 Lebesgue 范数或对数项的结果）推广到加权版本，并为广泛的相关不等式导出显式的稳定性常数。

方法论
贯穿全文的核心方法论工具是一类简单而强大的变换。受 Horiuchi 研究工作的启发，作者利用了一种形式为 $\bar{u}(r\theta) = k^{1/q} u(r^k \theta)$ 的尺度变换（其中 $k$ 取决于参数 $n, p, a, b$）。这种变换具有两个主要目的：

1. 简化（Reduction）： 它将具有复杂权重的不等式简化为更简单的、无权重的形式（通常是将 CKN 不等式映射到经典的 Sobolev 不等式或标准的 Hardy 不等式）。
2. 转移（Transfer）： 它允许将已知情形下的稳定性结果、极值分类和锐利常数转移到加权情形中。

对于 CKN 不等式在泛函设置下的稳定性，作者将这些变换与谱间隙估计（spectral gap estimates）及紧性论证相结合。在临界点设置下，他们采用了针对 Talenti 泡（Talenti bubbles）周围线性算子的仔细展开技术和谱间隙不等式。对于 Hardy 型不等式，变换方法被用于推导已知改进不等式的加权版本（例如 Hardy-Sobolev、对数 Hardy、Hardy-Morrey），并建立显式的稳定性常数。

核心贡献与结果

第一部分：Caffelli-Kohn-Nirenberg 不等式的稳定性
作者在由 $1 < p < n$, $0 \le a < \frac{n-p}{p}$, $a \le b < a+1$ 以及临界指数关系定义的完整参数区域内，建立了 CKN 不等式的梯度稳定性。

• 泛函稳定性： 他们证明了 CKN 不等式左右两边的差距控制着函数到极值流形（$M_{p,a,b}$）的距离。
  • 对于 $0 < a < b$，他们建立了具有最优指数 $\max\{2, p\}$ 的估计。
  • 对于 $0 < a = b$，他们建立了对于一般函数具有指数 $\max\{4, 2p\}$ 的估计，并指出如果函数是中心对称的，则该指数会改善为 $\max\{2, p\}$。他们推测对于此情形，$\max\{2, p\}$ 在一般情况下也成立。
• 改进的 Sobolev 嵌入： 利用梯度稳定性，他们推导了涉及弱 Lebesgue 范数（$L^p_w$）的精化 Sobolev 型嵌入，这些嵌入适用于定义在一般定义域（包括有限测度和无限测度定义域）上的函数。这些结果提供了稳定性常数对定义域几何结构的显式依赖关系（例如通过主 $p$-Laplacian 特征值）。
• 稳定性常数的性质： 本文研究了最优稳定性常数 $K(p, a, b)$ 的泛函性质。他们证明了其关于参数的上半连续性，并建立了不同参数集之间常数的单调关系。
• 临界点稳定性： 对于 $p > 2$，作者提供了临界点设置下的稳定性结果。他们表明，如果一个函数接近于 Talenti 泡之和，那么 Euler-Lag Lagrange 方程的残差将控制其到正解流形的距离，从而产生替代型（alternative-type）估计。

第二部分：改进的 Hardy 型不等式
第二部分侧重于为各种经典的 Hardy 型不等式推导加权版本及其精化。

• Hardy-Sobolev 不等式： 他们将有界定义域上的改进 Hardy 不等式（最初由 Brézis-Vázquez 和 Gazzola 等人提出）推广到加权版本，提供了显式的稳定性常数并识别了极值器。
• 对数 Sobolev 与 Hardy 不等式： 作者推导了加权 $L^p$-对数 Sobolev 不等式和对数 Hardy 不等式。他们提供了极值器的完整分类（高斯型函数），并建立了稳定性估计，特别是针对中心对称函数。
• Hardy-Morrey 与插值不等式： 他们获得了具有 Hölder 精化的加权 Hardy-Sobolev-Morrey 不等式及级数展开。此外，他们在特定梯度项与势能项之比的假设下，将 Hardy-Sobolev 插值不等式扩展到加权设置，建立了局部改进。
• 插值 CKN 不等式： 本文恢复并扩展了插值 CKN 不等式的稳定性结果，通过将其归约为已知的海森堡-泡利-外尔（Heisenberg-Pauli-Weyl）不等式情形，为一般参数提供了显式（尽管可能不是最锐利的）稳定性常数。

意义与主张
本文声称提供了一个统一的框架，用于分析一类广泛的加权不等式的稳定性。通过利用变换法，作者展示了复杂的加权问题通常可以简化为更简单的、已被充分理解的情形。

• 显式常数： 一个重要的贡献是推导了多种不等式的显式稳定性常数，这些常数此前是未知的，或者仅在加权设置中以隐式形式已知。
• 泛化性： 研究结果将以往的稳定性发现（通常局限于 $p=2$ 或特定的参数范围）推广到了完整的参数范围 $1 < p < n$。
• 新见解： 论文为对数 Hardy 不等式的极值器对称性破缺现象提供了新的见解，并提供了针对 $p \neq 2$ 时 CKN 不等式在临界点设置下的首次稳定性结果。
• 谦逊性： 作者承认，虽然他们推导的稳定性常数是显式的，但在某些情况下（特别是对于 $b > 0$ 的插值 CKN 不等式）可能并非是最锐利的。他们还指出，在泛函设置下，对于 $a=b>0$ 的情形，稳定性指数对于一般函数可能可以进一步改善为 $\max\{2, p\}$，这是一个开放性问题（尽管他们提到随后的工作由 Deng 和 Tian 完成，已解决了 $a=b>0$ 的情况）。

总而言之，本文建立了一种稳健的方法论，用于推导加权泛函不等式的稳定性与精化，为一般参数和定义域提供了显式常数并扩展了已知结果的范围。