Regularity of Lipschitz free boundaries for weak solutions of Alt-Caffarelli type problems

技術要約：Alt-Caffarelli型問題の弱解におけるリプシッツ自由境界の正則性

問題設定
本論文は、一般化された一相（one-phase）Alt-Caffarelli問題（別名：一相ベルヌーイ問題）の弱解における自由境界の正則性を取り扱う。この問題は、有界領域 $\Omega \subset \mathbb{R}^n$ において、以下の条件を満たす非負関数 $u$ を求めるものとして定式化される：
$$\begin{cases} -\Delta u = f & \text{in } \Omega \cap B_1 \\ u = 0 & \text{on } \partial\Omega \cap B_1 \\ \partial_\nu u = Q & \text{on } \partial\Omega \cap B_1 \end{cases}$$
ここで、$f \geq 0$ および $Q > 0$ は滑らかな関数であり、$\nu$ は内向き法線ベクトルである。中心となる問いは、領域 $\Omega$（したがって自由境界 $\partial\Omega$）がリプシッツ連続であるという仮定があれば、$f$ と $Q$ が滑らかな場合に、自由境界が実際に滑らか（$C^\infty$）であることを保証するのに十分かどうかである。

この正則性の結果は、粘性解（viscosity solutions）やエネルギー極小解（energy minimizers）については既に確立されているが（主に[AC81]およびその後の研究）、分布の意味で定義されるより広いクラスの「弱解（weak solutions）」については未解決の問いであった。困難が生じる理由は、標準的な道具であるブローアップ（blow-up）の手順が、追加の密度仮定なしには、一般に弱解の性質を保存しないためである。

手法
著者らは、弱解と既知の正則性理論との間の溝を埋めるために、多段階の戦略を採用している：

1. 定義と基本特性： 著者らは、簡約境界 $\partial_{red}\{u>0\}$ に関する分布方程式を満たす $u \in H^1_{loc}$ という弱解を定義する。彼らは、このような解が局所的にリプシッツ連続であり、非退化条件を満たすことを確立する。
2. 平坦性の改善への接続： 重要なステップは、著者らの定義する弱解が、[LW17]（Lewis and Vogel）の「平坦性の改善（improvement of flatness）」定理を適用するために必要な、より制限的な仮定を満たすことを検証することである。これには、彼らの特定のクラスの解に対する漸近展開と勾配評価を証明することが含まれる。
3. ブローアップ解析と密度： 著者らは、ブローアップ列 $u_r(x) = r^{-1}u(x_0 + rx)$ を解析する。彼らは、自由境界がリプシッツ連続であれば、集合 $\{u=0\}$ が境界において正の密度を持つことを示す。この密度条件は、ブローアップ極限 $u_0$ が（具体的には定数 $Q$ を持つ斉次問題の）弱解であり続けるために極めて重要である。
4. 定常性と斉次性： 弱解は定常解（第一内変分が消滅する解）であるという事実を用いて、Weiss型の単調性公式を適用する。これにより、ブローアップ極限が1次斉次であることを証明する。
5. ブローアップ極限の分類： 正則性証明の核心は、リプシッツ連続な自由境界を持つ1次斉次弱解（「リプシッツ・コーン」と呼ばれる）を分類することである。著者らは、次元に関する数学的帰納法を用いて、そのようなリプシッツ・コーンはすべて自明なもの（すなわち、自由境界が超平面であるもの）であることを証明する。
6. 粘性解による代替アプローチ： 第二の手法として、リプシッツ仮定（これは正の密度を意味する）の下では、弱解は粘性解でもあることを示す。これにより、既存の粘性解の正則性理論（例：[DS11]）を援用して滑らかさを結論付けることができる。

主要な貢献と結果

• 定理 1.2（主要な結果）： $\Omega$ が有界リプシッツ領域であり、$u$ が滑らかな $f \geq 0$ および $Q > 0$ に対する一般化されたAlt-Caffarelli問題の弱解であるとき、自由境界 $\partial\Omega \cap B_1$ は局所的に $C^\infty$ 表面である。
  • 最適性： 著者らは、リプシッツ仮定が最適であることを指摘している。[LV91; LV01]を引用し、もし領域が $C^{1-\epsilon}$ のみであれば、弱解であっても自由境界は滑らかにならない可能性があることを示している。
• 定理 1.3（セリンの問題）： 本論文は、リプシッツ領域に対するセリンの過決定問題（Serrin's overdetermined problem）の代替証明を提供する。もし有界リプシッツ領域 $\Omega$ が、$-\Delta u = 1$ in $\Omega$, $u=0$ on $\partial\Omega$, $\partial_\nu u = c$ on $\partial\Omega$ を満たす弱解 $u$ を持つならば、$\Omega$ は球体でなければならないことを確立する。
• 定理 1.4（ポアソン核による特徴付け）： 著者らは、ポアソン核を通じてリプシッツ領域の正則性を特徴付ける。もし有界リプシッチ領域 $\Omega$ のポアソン核 $P_x$ が、単一の点 $x \in \Omega$ に対して滑らか（$C^\infty$）であれば、境界 $\partial\Omega$ は $C^\infty$ である。この結果は、粘性解の仮定を必要とせずに直接的に適用することで、[Caf87]による先行研究を明確にするものである。

意義と主張
本論文は、Alt-Caffarelli型の問題の弱解における自由境界の正則性に関する27年来の問いを解決したと主張している。この研究以前、正則性理論は主に粘性解またはエネルギー極小解に限定されていた。著者らは、弱解はよりデリケートな挙動（例えば、密度条件がない場合にブローアップ極限が弱解にならないことなど）を示す可能性があるため、証明が非自明であることを強調している。

リプシッツ連続な自由境界が滑らかであることを確立することにより、本論文は以下の達成を実現している：

1. リプシッツ領域の文脈において、弱解の正則性理論を、粘性解および極小解の理論と統一する。
2. [FZ26]で行われているような幾何学的測度論の手法のみに依存することなく、リプシッツ領域に対するセリンの問題を解くための直接的な経路を提供する。
3. ポアソン核の滑らかさと領域の幾何学との関係を、弱解の文脈において明確にする。

著者らは、これらの結果が弱解の定義の特定の構造と、ドメインの性質によって保証される接触集合の正の密度に依拠していることを強調している。彼らは、これらの結果が、反例が存在するより低い正則性（例：$C^{1-\epsilon}$）を持つ領域にまで拡張されるとは主張していない。