Weakly stable solutions of Serrin's problem

技术摘要：Serrin 问题中的弱稳定性解

问题陈述
本文研究了 Serrin 的超定问题，该问题寻求一个区域 $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) 以及一个函数 $u \in C^\infty(\bar{\Omega})$，满足：
$$\begin{cases} -\Delta u = n & \text{在 } \Omega \text{ 内}, \\ u > 0 & \text{在 } \Omega \text{ 内}, \\ u = 0 & \text{在 } \partial\Omega \text{ 上}, \\ |Du| = 1 & \text{在 } \partial\Omega \text{ 上}. \end{cases}$$
虽然 J. Serrin (1971) 和 H. Weinberger (1971) 已证明紧致解必须是单位球，但非紧致解也是存在的（例如圆柱体）。H. Berestycki, L. Caffarelli, 和 L. Nirenberg 曾猜想，任何非紧致解要么是单位球，要么与形式为 $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$ 的圆柱体全等。然而，对于一般的半线性问题，存在该猜想的反例。本文专门针对 $f(u) = n$ 的情况，并在弱稳定性的附加假设下对该猜想进行研究。

方法论与途径
作者采用了结合几何分析和渐近估计的变分方法。其核心方法包括：

1. 变分特征： 将解视为泛函 $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$（其中 $F' = f = n$）在保持 $\{u > 0\}$ 相对体积不变的紧致扰动下的临界点。
2. 稳定性定义：
   • 弱稳定性： 该区域满足 $J$ 在保持 $\{u > 0\}$ 相对体积不变的紧致扰动下的二阶导数测试。这通过以下不等式形式化：
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     对于所有满足 $\int_{\partial\Omega} \phi = 0$ 的 $\phi \in C^\infty_c(\bar{\Omega})$ 成立。
   • 稳定性： 对于所有 $\phi \in C^\infty_c(\bar{\Omega})$，上述不等式均成立（不带零均值约束）。
3. 梯度与渐近估计： 作者建立了 $u$ 的关键梯度估计（具体为 $|Du| < 1$ 在 $\Omega$ 内）以及 $H \le n$ 在 $\partial\Omega$ 上，并分析了 $\Omega$ 与大球 $B_\lambda(0)$ 相交部分的体积 $V(\lambda)$ 和边界面积 $A(\lambda)$ 的渐近行为。
4. 矛盾论证： 证明过程通过假设 $\Omega$ 具有无限体积展开。利用由散度定理导出的渐近关系 $A(\lambda) \approx n V(\lambda)$，作者证明了无限体积意味着该区域是完全稳定的。通过使用特定的截断函数测试稳定性不等式，并利用辅助函数 $\phi = u + \frac{1}{2}|Du|^2$ 的次调和性，作者在边界积分的符号与稳定性条件之间导出了矛盾。
5. 有限体积分析： 一旦排除了无限体积的可能性，作者采用 Weinberger 的论证方法将其推广到非紧致情形，以证明有限体积的连通分支必须是单位球。随后利用弱稳定性来证明该区域是连通的，从而排除了不相交球体的并集情况。

主要结果

• 定理 2 (主要结果)： 对于任何维度 $n \ge 2$，若 $\Omega$ 是 Serrin 问题的弱稳定解，则 $\Omega$ 是半径为 1 的球。因此，不存在非紧致的弱稳定解。
• 梯度界限： 本文证明了对于任何解，$|Du| < 1$ 在 $\Omega$ 内，且平均曲率 $H$ 在 $\partial\Omega$ 上满足 $H \le n$。
• 稳定性蕴含： 如果一个解具有无限体积，则弱稳定性蕴含全稳定性。
• 维度无关性： 与之前针对相关问题（例如单相 Bernoulli 问题）高度依赖维度的结果不同（例如 $n \le 3$ 与 $n \ge 7$ 的区别），本结果对所有 $n \ge 2$ 均成立。

意义与主张
本文声称证明了 Serrin 问题的弱稳定解必然是紧致的（具体为圆球）。这一结果通过证明非紧致替代方案（圆柱体）不是弱稳定的，有效地解决了在弱稳定性假设下针对 $f=n$ 情况的 Berestycki-Caffarelli-Nirenberg 猜想。这种假设被描述为“从变分角度来看是自然的”。

作者强调，其结果推广了以往的一个定理（[12] 中的定理 1），该定理仅限于维度 $n=2$ 且要求 $\partial\Omega$ 的曲率有界。当前工作移除了维度的限制以及曲率有界的假设。其证明技术与以往工作不同；它避免了 Gauss-Bonnet 定理（仅适用于 $n=2$）以及在由于已知相关稳定性问题中的反例而在高维失效的低维特定论证。

该结果处于极小曲面理论的背景之下，其中 Serrin 问题的弱稳定解作为弱稳定极小毛细曲面的取极限（blow-up limits）出现。此处建立的刚性结果是表征接触角接近 $0$或$\pi$ 的此类毛细曲面的基本要素。