Local stability for a class of Saint-Venant type inequalities

技术摘要：一类圣维南型不等式的局部稳定性

问题陈述
本文研究了形式为 $J(\Omega) = \int_\Omega j(u) \, dx$ 的形状泛函的定量稳定性问题，其中 $u$ 是 Dirichlet 扭转问题 $-\Delta u = 1$ 在 $\Omega$ 中的解，且在 $\partial\Omega$ 上满足 $u=0$。函数 $j: \mathbb{R} \to \mathbb{R}$ 被假定为凸的、非负的、Lipschitz 连续的，且满足 $j(0)=0$。

根据 Talenti 的比较原理，已知在固定测度的所有区域中，球体 $\Omega^\sharp$ 最大化了 $J(\Omega)$。核心问题是建立该极值性质的锐利定量稳定性估计。具体而言，作者试图证明“亏损”（deficit）$J(\Omega^\sharp) - J(\Omega)$ 控制着区域 $\Omega$ 与球对称性之间的距离的平方。虽然这类结果此前已在扭转刚度（即 $j(s)=s$）的特定情形下由 Brasco, De Philippis, 和 Velichkov [9] 建立，但本研究将分析扩展到了由一般凸函数 $j$ 定义的更广泛的泛函类。

方法论
分析被限制在近球形集合类中。一个区域 $\Omega$ 被视为近球形的，是指其边界是单位球 $B_1$ 的一个小的 $C^{2,\gamma}$ 法向扰动，由函数 $\phi$ 参数化。体积保持不变（$|\Omega| = |B_1|$），且质心固定在原点。

主要工具是使用形状导数法。作者考虑由自治向量场 $V$ 生成的保体积变形流 $\{\Omega(t)\}_{t \ge 0}$，该流从单位球出发。稳定性通过分析泛函 $f(t) = J(\Omega(t))$ 的一阶和二阶变分来研究。

关键技术步骤包括：

1. 一阶变分： 利用 Hadamard 公式和变形场的无散性质，计算出一阶导数。证明了 $f'(0) = 0$，从而确认球体是一个临界点。
2. 二阶变分与伴随态： 计算二阶导数 $f''(t)$ 存在挑战，因为它涉及状态函数 $\dot{u}$ 的物质导数，而 $\dot{u}$ 很难直接控制。为了规避这一问题，作者引入了一个伴随态 $p$，其定义为如下辅助边值问题的解：
   $$\begin{cases} -\Delta p = j'(u) & \text{在 } \Omega \text{ 内} \\ p = 0 & \text{在 } \partial\Omega \text{ 上} \end{cases}$$
   这种技术允许从二阶变分的边界积分表达式中消除 $\dot{u}$，从而得到一个仅依赖于边界扰动以及 $u$ 和 $p$ 的梯度的可处理公式。
3. 谱分析： 在球谐函数空间上对 $t=0$ 处的二阶变分进行二次型分析。通过将扰动展开为球谐函数，作者分析了该二次型的强制性（coercivity）。他们证明了，在与一阶球谐函数（对应于平移和体积变化的项，已被约束条件固定）正交的扰动子空间上，该二次型是正定的。
4. 连续性与强制性： 证明依赖于两个主要的分析估计：
   • 改进的连续性： 证明对于小扰动，$f''(t)$ 接近 $f''(0)$，从而确保非线性余项不会破坏正定性。
   • 强制性： 证明在满足体积和质心约束且扰动较小时，二阶变数在球体处被常数乘以扰动的 $H^{1/2}$ 范数的平方所控制。

主要贡献与结果
主要结果是定理 1.2，它建立了近球形集合的局部稳定性不等式。具体而言，存在常数 $\delta_c > 0$ 和 $C(n, j) > 0$，使得若 $\Omega$ 是具有 $C^{2,\gamma}$ 正则性的近球形集合，且满足 $|\Omega| = |B_1|$ 且质心在原点，则：
$$J(B_1) - J(\Omega) \ge C(n, j) \|\phi\|_{H^{1/2}(\partial B_1)}^2$$
其中 $\phi$ 是边界扰动的参数化表示。

论文强调了该一般性结果适用的几个特定应用：

• 扭转刚度： 当 $j(s)=s$ 时恢复 [9] 的结果。
• $L^p$-范数： 对于 $j(s) = s^p$ 且 $p \ge 2$ 的情况依然有效。
• Moser–Trudinger 泛函： 在维度 $n=2$ 且 $j(s) = e^{s^2} - 1$ 时有效。

作者还在附录 B 中提供了一个替代证明，在对 $j''$ 有更弱正则性要求（具体为 $j'' \in L^{n/2}$）以及对 $j$ 及其导数有特定结构条件的情况下，建立了强制性。

意义与主张
该论文声称将从特定扭转刚度情形出发的锐利定量稳定性理论扩展到了广泛的一类圣维南型不等式。其意义在于对形状导数方法的结构性改进：通过引入伴随态，作者成功处理了由于 $j$ 的非线性而在二阶变分中产生的额外项。

作者强调，尽管该结果是局部的（限于近球形集合），但使用 $H^{1/2}$ 范数至关重要。该范数既捕捉了体积偏差，也捕捉了边界的振荡行为，从而提供了一个稳健的非对称性度量。这项工作直接建立在 Faber–Krahn 不等式 [9] 和 Saint-Venant 不等式的基础性定量稳定性结果之上，展示了不同扭转函数对应的不同凸泛函的稳定性机制是鲁棒的。