Quantitative stability for the Trudinger-Moser inequality

技术摘要：Trudinger–Moser 不等式的定量稳定性

问题陈述
本文研究了光滑有界区域 $\Omega \subset \mathbb{R}^2$ 上 Trudinger–Moser 不等式的定量稳定性。虽然经典的 Sobolev 嵌入在临界指数 $q=n$ 处失效，但 Trudinger–Moser 不等式提供了一个替代方案，断言 $W^{1,n}_0(\Omega)$ 中的函数具有指数可积性。具体而言，对于 $n=2$，泛函
$$E_{\alpha, \Omega}(u) = \int_\Omega e^{\alpha u^2} dx$$
在 $\|\nabla u\|_{L^2(\Omega)} \leq 1$ 时有界，当且仅当 $0 \leq \alpha \leq 4\pi$。极值函数（最优解）集合 $M_\alpha(\Omega)$ 已知非空，但即使对于单位圆盘，其精确解析形式仍未解决。

本文解决的核心问题是：不等式中的“亏量”（定义为上确界 $TM(\alpha, \Omega)$ 与泛函值 $E_{\alpha, \Omega}(u)$ 之差）是否控制了函数 $u$ 到最优解集合 $M_\alpha(\Omega)$ 的距离。作者旨在建立如下形式的定量稳定性估计：
$$\text{def}_{\alpha, \Omega}(u) \gtrsim \text{dist}_{\alpha, \Omega}(u)^2,$$
其中距离是在 $W^{1,2}_0$ 范数（具体为梯度的 $L^2$ 范数）下度量的。

方法论
证明依赖于对最优解附近线性化算子的谱分析，以及涉及违反序列渐近行为的反证法。

1. 谱间隙分析：作者定义了与最优解 $u^*$ 相关的两个关键特征值问题：

   • 线性化问题 $(P_{\alpha, \Omega})$：$-\Delta \phi = \lambda (1 + 2\alpha (u^*)^2)e^{\alpha (u^*)^2} \phi$。
   • 非线性 Trudinger–Moser 问题 $(TM_{\alpha, \Omega})$：$-\Delta v = \Lambda e^{\alpha (u^*)^2} v$。
     令 $\lambda_1(\alpha, \Omega)$ 和 $\Lambda_1(\alpha, \Omega)$ 分别表示它们各自的第一个特征值。关键步骤是建立一个谱间隙，使得 $\Lambda_1(\alpha, \Omega)$ 严格位于线性化问题的第一和第二特征值之间，或者在对称情形下严格低于第一个非径向特征值。

2. 反证策略：次临界情形的证明通过反证法进行。假设稳定性估计失效，则存在一个函数序列趋近于上确界，但始终远离最优解集合。通过紧性（借助 Vitali 定理和集中紧性原理），该序列收敛于一个最优解 $u^*$。归一化的偏差满足渐近欧拉 - 拉格朗日方程，收敛于一个必须求解线性化特征值问题的极限函数。谱间隙的存在使得该极限不可能存在（因为这会意味着一个符号确定的特征函数正交于切空间），从而证明了稳定性估计。

3. 从球面到球体的推广：由于 Trudinger–Moser 泛函不是齐次的（不同于 Sobolev 泛函），作者首先在上单位球面 $S^1$（其中 $\|\nabla u\|_{L^2}=1$）上建立稳定性，然后利用泛函在径向缩放下的单调性将其推广到闭单位球 $B_1$。

4. 通过横截性论证一般性：为了处理非退化情形，作者采用了 Sard–Smale 横截性论证。通过微分同胚参数化区域并分析欧拉 - 拉格朗日方程的增广映射，他们证明了非退化性（即 Hessian 矩阵在切空间上是强制的）对于参数 $(\alpha, \Omega)$ 的一般集合成立。

主要贡献与结果

本文建立了三个主要定理，阐述了亏量对到最优解距离的二次控制：

• 定理 1（小次临界情形）：对于任意光滑有界区域 $\Omega$，存在阈值 $\alpha_0 > 0$，使得对于所有 $\alpha \in (0, \alpha_0)$，稳定性估计成立。该结果基于这样一个事实：当 $\alpha \to 0$ 时，线性化问题的特征值收敛于拉普拉斯算子的第一 Dirichlet 特征值，从而形成谱间隙。
• 定理 2（非退化次临界情形）：对于任意 $\alpha \in (0, 4\pi)$，如果每个最优解都是非退化的（即二阶变分在切空间上是强制的），则稳定性估计成立。作者进一步证明了这种非退化性是一个一般性质，对参数 $(\alpha, \Omega)$ 的一个开且稠密的集合成立。
• 定理 3（对称临界情形）：对于单位圆盘 $D$ 和完整的临界范围 $\alpha \in (0, 4\pi]$，稳定性估计成立。该结果意义重大，因为它在不要求小性假设的情况下覆盖了临界指数 $\alpha = 4\pi$。证明利用了圆盘的旋转对称性，将线性化算子分解为角向傅里叶模态。证明了径向特征值与由离心项 $r^{-2}$ 引入的第一个非径向特征值之间存在严格的谱间隙，从而确保了所有方向上的强制性。

意义与主张

本文声称提供了 Trudinger–Moser 不等式在极值函数精确形式未知的通用设定下的首个定量稳定性估计。与之前关于 Sobolev 或 Yamabe 等不等式的稳定性结果不同（后者的最优解集合是明确已知的，通常涉及共形变换），Trudinger–Moser 极值函数尚未被完全刻画。因此，作者无法依赖对到最优解距离的显式计算。

相反，作者引入了一种新的谱间隙不等式，作为其证明的核心机制。这一间隙使他们能够绕过对极值函数的显式知识需求，转而依赖线性化算子的谱性质。作者指出，谱间隙结果本身可能具有独立的价值。这项工作将定量稳定性的研究计划（由 Bianchi 和 Egnell 针对 Sobolev 不等式发起）扩展到了临界、非齐次且几何结构复杂的设定中，证明了即使在对称区域的临界指数处，二次稳定性依然成立。