Remainder terms and sharp quantitative stability for a nonlocal Sobolev inequality on the Heisenberg group

这是一篇关于海森堡群（Heisenberg group）上非局部 Sobolev 不等式的稳定性与余项研究的高水平数学论文。以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

本文的核心研究对象是海森堡群 $\mathbb{H}^n$ 上的非局部 Sobolev 不等式（Nonlocal Sobolev Inequality），其形式如下：
$$\text{SHL}(Q, \mu) \left( \int_{\mathbb{H}^n} \int_{\mathbb{H}^n} \frac{|u(\xi)|^{Q^*_\mu} |u(\eta)|^{Q^*_\mu}}{|\eta^{-1}\xi|^\mu} d\xi d\eta \right)^{\frac{1}{Q^*_\mu}} \leq \int_{\mathbb{H}^n} |\nabla_{\mathbb{H}} u|^2 d\xi$$
其中 $Q = 2n+2$ 是海森堡群的齐次维度，$\mu \in (0, Q)$ 是非局部参数，$Q^*_\mu$ 是上临界指数。

该不等式对应的欧拉-拉格朗日方程（Euler-Lagrange equation）是一个非局部类型的亚拉普拉斯方程：
$$-\Delta_{\mathbb{H}} u = \left( \int_{\mathbb{H}^n} \frac{|u(\eta)|^{Q^*_\mu}}{|\eta^{-1}\xi|^\mu} d\eta \right) |u|^{Q^*_\mu-2}u$$

研究目标分为两个维度：

1. 余项估计 (Remainder Terms)： 当函数 $u$ 不在极值函数（Bubbles）流形上时，不等式左侧与右侧的差值能否用某种“距离”来下界控制？
2. 临界点定量稳定性 (Quantitative Stability of Critical Points)： 如果一个函数 $u$ “几乎”是上述方程的解，那么它是否在某种范数意义下“接近”于一个或多个极值函数的叠加（即多泡情形 Multi-bubble case）？

2. 研究方法 (Methodology)

作者采用了变分分析、集中紧性原理（Concentration-compactness principle）以及非退化性分析等先进数学工具：

• 变分与流形分析： 将极值函数（Jerison-Lee bubbles）及其平移、缩放构成一个 $(2n+3)$ 维的流形 $M$。通过计算函数到该流形的距离 $\text{dist}(u, M)$ 来衡量稳定性。
• 谱理论与非退化性： 利用极值函数在算子线性化后的非退化性（Non-degeneracy），通过分析特征值 $\Lambda_j$ 来处理扰动项。
• 渐近展开与误差控制： 在多泡情形下，利用 $\delta$-弱相互作用（$\delta$-weakly interacting）的概念，将函数分解为多个远离的泡，并对非线性项进行精细的渐近展开（Asymptotic expansion）。
• 反证法与集中紧性： 在证明稳定性时，通过构造违反估计的序列，利用海森堡群上的集中紧性原理导出矛盾。

3. 主要贡献与结果 (Key Contributions & Results)

A. 余项估计 (Remainder Terms)

• 定理 1.1 (全局余项)： 当 $Q \geq 4$ 且 $\mu \in (0, 4]$ 时，证明了存在梯度类型的余项估计：
  $$A_2 \text{dist}(u, M)^2 \geq \text{Sobolev Deficit} \geq A_1 \text{dist}(u, M)^2$$
  这表明不等式的缺口（Deficit）与函数到极值流形的距离平方成正比。
• 定理 1.2 (有界区域余项)： 在有界区域 $\Omega \subset \mathbb{H}^n$ 上，证明了缺口可以由弱 $L^{\frac{Q}{Q-2}}$ 范数来控制，这为处理局部问题提供了工具。

B. 临界点的定量稳定性 (Quantitative Stability)

• 定理 1.4 (多泡情形的稳定性)： 这是本文最具挑战性的部分。在特定参数范围 $Q=4$ 且 $\mu \in (2, 4)$ 下，证明了对于 $m \geq 2$ 个弱相互作用泡的临界点，其稳定性估计是尖锐的（Sharp）。
• 具体而言，如果 $u$ 几乎是方程的解（由 $\Upsilon(u)$ 衡量），则 $u$ 到多泡流形的距离 $\delta(u)$ 满足：
  $$\delta(u) \leq C \Upsilon(u)$$
  这填补了此前研究在多泡情形下参数范围的空白。

4. 学术意义 (Significance)

1. 理论完备性： 该研究将经典的 $\mathbb{R}^N$ 空间上的 Sobolev 不等式稳定性理论成功推广到了具有非交换结构的几何空间——海森堡群上，并处理了复杂的非局部算子。
2. 参数范围的突破： 论文通过精细的估计，解决了非局部算子中 $\mu$ 参数对稳定性影响的复杂问题（如 $\mu \leq 4$ 的限制条件），并给出了多泡情形下的尖锐估计。
3. 几何分析价值： 研究结果对于理解亚黎曼几何（Sub-Riemannian geometry）中的变分问题、非线性偏微分方程的解的结构以及临界质量现象具有重要的理论支撑作用。