Sharp quantitative stability for the fractional Sobolev trace inequality

技术摘要：分数阶 Sobolev 迹不等式的锐利定量稳定性

问题设置
本文研究了由 Einav 和 Loss 建立的锐利分数阶 Sobolev 迹不等式的定量稳定性。该不等式指出，对于 $0 \le m < n$ 且 $m/2 < \alpha < n/2$，存在一个锐利常数 $S(n, m, \alpha)$，使得：
$$S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2$$
其中 $q = \frac{2(n-m)}{n-2\alpha}$，$\tau_m$ 表示对超平面 $\mathbb{R}^{n-m}$ 的限制，而 $D^\alpha(\mathbb{R}^n)$ 是分数阶 Sobolev 空间。极值函数构成了一个流形 $M_{n,m,\alpha}$。

作者在两种不同的设定下分析了该不等式的稳定性：

1. 泛函设定： 基于不等式中的亏损（deficit），量化函数 $f$ 到极值流形 $M_{n,m,\alpha}$ 的距离。
2. 临界点设定： 分析半空间 $\mathbb{R}^n_+$ 上相关 Euler-Lagrange 方程（Escobar 迹方程）解的稳定性，特别是当解接近“Escobar bubbles”的叠加时。

方法论
本文结合使用了归约原理、谱分析和轮廓分解（profile decomposition）技术。

• 归约原理： 在泛函设定中，作者利用了由 Einav 和 Loss 建立的归约原理（定理 3.3）。该原理将分数阶 Sobolev 迹不等式分解为归约算子 $\tau_m$ 与标准分数阶 Sobolev 不等式的复合。这使得作者能够将迹不等式的稳定性问题归约为已知的标准分数阶 Sobolev 不等式的稳定性结果（Bianchi-Egnell 型稳定性）。
• 对偶方案： 为了推导 Neumann 问题（迹不等式的对偶问题）的稳定性估计，作者应用了由 Carlen 开发的对偶方案。这涉及分析相关泛函的 Legendre 变换，并利用对偶泛函的凸性性质。
• 轮廓分解： 在临界点设定中，作者扩展了 Struwe 的全局紧性原理。他们为“近似”临界方程的函数序列建立了定性与定量的轮廓分解。这包括将解分解为相互作用的 Escobar bubbles 之和以及一个余项。
• 谱间隙与共形映射： 为了获得单 bubble 情况下的稳定性常数的锐利上界，作者利用了半空间 $\mathbb{R}^n_+$ 与单位球 $B^n$ 之间的共形映射。这种变换将问题的线性化算子与球上的 Steklov 特征值问题联系起来。通过分析 Steklov 问题的谱，他们推导出了一个精细的谱间隙不等式。
• 三阶展开： 对于单 bubble 情况下的稳定性常数上界，作者对对偶范数进行了精确的三阶展开，同时仔细处理了相互作用项和流形的几何结构。

主要贡献与结果

1. 锐利泛函稳定性估计：
   作者建立了分数阶 Sobolev 迹不等式的锐利定量稳定性估计：
   $$C \inf_{v \in M_{n,m,\alpha}} \|f - v\|_{D^\alpha(\mathbb{R}^n)}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2 - S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2$$
   他们证明了指数 2 是锐利的，并提供了最优稳定性常数 $C_{BE}(n, m, \alpha)$ 的显式上下界。至关重要的是，他们证明了 $C_{BE}(n, m, \alpha) = C_{BE}(n-m, 0, \alpha - m/2)$，从而有效地将迹问题归约为标准分数阶 Sobolev 问题。他们还证明了当 $n-m \ge 2$ 时，稳定性常数的极小值存在。

2. 改进的 Sobolev 不等式与 Neumann 稳定性：
   作为梯度稳定性结果的推论，作者推导出了对于在一般区域（包括条带区域）内支撑的函数的改进 Sobolev 嵌入，其中包含涉及弱 $L^q$ 范数的余项。此外，利用对偶方案，他们建立了半空间上 Neumann 问题的锐利先验稳定性估计，将对偶不等式的亏损与到 Neumann 问题极值流形的距离联系起来。

3. 定量轮廓分解：
   在临界点设定中，作者证明了一个定量轮廓分解定理。他们表明，如果一个函数 $u$ 在 $H^1$ 范数下接近 $\nu$ 个弱相互作用的 Escobar bubbles 之和，那么它到这些 bubbles 流形的距离受限于残差的 $H^{-1}$ 范数 $\|\Delta u + |u|^{p-1}u\|_{H^{-1}}$。这一结果对于非负函数成立，并将先前关于经典 Yamabe 方程的研究推广到了 Escobar 迹的情境。

4. 稳定性常数的锐利上界：
   对于单 bubble 情况 ($\nu=1$)，作者推导出了最优稳定性常数 $CCP(n, 1)$ 的严格上界：
   $$CCP(n, 1) < \frac{2}{n+2}$$
   该结果是通过构造一个涉及极值 bubble 三阶扰动的特定测试函数，并利用从 Steklov 特征值问题中得到的谱间隙不等式获得的。

意义
本文声称扩展了以往关于 Escobar 迹不等式和分数阶 Sobolev 不等式的稳定性结果。通过建立归约原理，作者统一了迹不等式的稳定性分析与标准分数阶 Sobolev 不等式的稳定性分析。通过给出稳定性常数的显式界限以及证明（在泛函设定下的）极小值的存在性，本文解决了关于这些不等式定量性质的开放性问题。

在临界点设定中，这项工作提供了第一个针对 Escobar 迹方程的定量轮廓分解，推广了已知于经典 Yamabe 方程的结果。对于单 bubble 情况下的稳定性常数给出的严格上界 $2/(n+2)$ 是一个显著的精细化，它优于通用的估计，并突出了线性化算子在此背景下的特定谱性质。作者指出，对于这些定量结果至关重要的解的非退化性，是通过与 Steklov 特征值问题的联系来建立的，这一联系本身可能具有独立的研究价值。