Weakly stable solutions of Serrin's problem

技術的要約：Serrinの問題における弱安定解

問題の定義
本論文は、領域 $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) と関数 $u \in C^\infty(\bar{\Omega})$ に関する以下のセリン（Serrin）の過決定問題を取り扱う：
$$\begin{cases} -\Delta u = n & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \\ |Du| = 1 & \text{on } \partial\Omega. \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}$ という形の円柱に合同であるという予想を立てた。しかし、一般的な半線形問題については、この予想に対する反例が存在する。本論文では、**弱安定性（weak stability）**という追加仮定の下で、特に $f(u) = n$ の場合におけるこの予想を調査する。

手法とアプローチ
著者らは、幾何学的解析と漸近評価を組み合わせた変分法を用いる。核心となる手法は以下の通りである：

1. 変分的特徴付け: 解は、相対的な体積 $\{u > 0\}$ を保存するコンパクトな摂動に対して、$J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ （ここで $F' = f = n$）の臨界点として捉えられる。
2. 安定性の定義:
   • 弱安定性: ドメインが、相対的な体積 $\{u > 0\}$ を保存するコンパクトな摂動に対して $J$ の二階微分テストを満たすこと。これは以下の不等式によって定式化される：
     $$\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$ の重要な勾配評価（具体的には $\Omega$ 内で $|Du| < 1$、および $\partial\Omega$ 上で $H \le n$）を確立し、大きな球 $B_\lambda(0)$ との交わりによる体積 $V(\lambda)$ および表面積 $A(\lambda)$ の漸近挙動を分析する。
4. 矛盾による証明: 証明は、$\Omega$ が無限体積を持つと仮定することによって進められる。発散定理から導かれる漸近関係 $A(\lambda) \approx n V(\lambda)$ を用いて、無限体積の場合、ドメインが完全に**安定（stable）**であることを示す。特定のカットオフ関数を用いて安定不等式をテストし、補助関数 $\phi = u + \frac{1}{2}|Du|^2$ の劣調和性を利用することで、境界積分と安定条件の間の符号の矛盾を導き出す。
5. 有限体積の解析: 無限体積が排除された後、Weinbergerの議論を非コンパクトな設定に適応させ、有限体積の成分が単位球であることを示す。その後、弱安定性が用いられ、ドメインが連結であることを証明し、球の非連結な和集合を排除する。

主要な結果

• 定理 2 (主結果): すべての次元 $n \ge 2$ において、もし $\Omega$ がSerrin問題の弱安定解ならば、$\Omega$ は半径1の球である。したがって、非コンパクトな弱安定解は存在しない。
• 勾配境界: 本論文は、任意の解に対して $\Omega$ 内で $|Du| < 1$ であり、平均曲率 $H$ が $\partial\Omega$ 上で $H \le n$ を満たすことを証明している。
• 安定性の含意: 解が無限体積を持つ場合、弱安定性は完全な安定性を意味する。
• 次元への独立性: 関連する問題（例：one-phase Bernoulli問題）における以前の結果（例：$n \le 3$ か $n \ge 7$ かといった次元に強く依存するもの）とは異なり、この結果はすべての $n \ge 2$ に対して成立する。

意義と主張
本論文は、Serrin問題の弱安定解は必然的にコンパクト（具体的には、真円の球）であることを証明したと主張している。この結果は、非コンパクトな選択肢（円柱）が弱安定ではないことを示すことにより、弱安定性の仮定の下でのBerestycki-Caffarelli-Nirenberg予想を実質的に解決するものである。この仮定は「変分的な観点から自然」であると説明されている。

著者らは、次元 $n=2$ に限定され、$\partial\Omega$ の曲率の有界性を必要としていた以前の定理（[12]の定理1）を、本研究が一般化したことを強調している。現在の研究は、次元の制限および曲率の有界性の仮定を取り除いている。証明技法は以前の作業とは異なっており、Gauss-Bonnetの定理（$n=2$ に特有）や、関連する安定性の問題において既知の反例が存在する低次元特有の議論を回避している。

この結果は、最小曲面の理論の文脈に位置づけられる。そこでは、Serrin問題の弱安定解は、弱安定な最小キャピラリー曲面のブローアップ極限として現れる。ここで確立された剛性（rigidity）の結果は、接触角が $0$または$\pi$ に近いキャピラリー曲面を特徴付けるための基本的な構成要素として機能する。