Global minimizers of the two-phase Bernoulli problem with the $p$-Laplace operator

技術要約：p-Laplace作用素を用いた二相ベルヌーイ問題の全域的最小化関数について

問題設定
本論文は、$p$-Laplace作用素（$1 < p < \infty$）を含む二相ベルヌーイ汎関数の自由境界の正則性を調査している。汎関数は以下のように定義される：
$$J_{TP}(v, D) := \int_D |\nabla v|^p + (p-1)\lambda_+^p \chi_{\{v>0\}} + (p-1)\lambda_-^p \chi_{\{v<0\}} \, dx$$
ここで、$\lambda_+, \lambda_- > 0$ である。著者らは、リプシッツ連続な全域的最小化関数（$D = \mathbb{R}^n$ における解）の分類、および自由境界 $F(u) = (\partial \Omega_u^+ \cup \partial \Omega_u^-) \cap D$ の正則性の確立に焦点を当てている。

中心となる困難は、$p \neq 2$ の場合における $p$-Laplace作用素 $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ の非一様楕円性である。$p=2$ の場合（アルト・カフェラリー・フリードマンの公式などの単調性公式が正則性証明を促進するケース）とは異なり、$p$ の一般ケースではこれらのツールが欠如している。本論文は、内部二相点集合 $\Gamma_{TP}^{int}$（ゼロ集合の密度がゼロとなる点）が空でないシナリオを具体的に対象としている。

手法
著者らは、ブローアップ解析、コンパクトネス引数、および洗練された「平坦さの改善（improvement of flatness）」スキームの組み合わせを用いている。その手法は、以下の主要なステップを通じて進行する：

1. 全域的解の分類： 著者らはまず、リウヴィル型の定理を確立する。彼らは、内部二相点集合が空でないリプシッツ連続な全域的粘性解は、必ず「二平面解」の形式 $u(x) = \alpha(x \cdot \nu)_+ - \beta(x \cdot \nu)_-$ になることを証明する。この分類は、スケーリングされた解（ブローアップ）の挙動の分析、および自由境界付近での勾配の非退化性の利用に基づいている。

2. 二次的な平坦さの改善： 中心的な技術的貢献は、二次的な平坦さの改善（Proposition 2.1）の確立である。先行研究（例：[8]）では線形な平坦さの改善を利用していたが、本論文は、解が十分に二平面解に近い場合、それは実際に二次多項式近似に近くなることを示している。

   • これは、二次多項式の $\epsilon$-摂動である厳密な劣解および優解を構成することによって達成される。
   • この証明には、ハルマルク型の不等式（Lemma 2.4）と、自由境界付近の線形化作用素 $L_p(u) = \Delta u + (p-2)\partial_{nn}u$ の注意深い分析が含まれる。
   • 著者らは、二次多項式が $p \neq 2$ において $p$-調和ではないという問題を、平坦さのパラメータ $\epsilon$ の小ささを通じて誤差項を制御することで克服している。

3. 非線形二分法： 本論文は、平坦な構成に近い解に対する非線形二分法（Proposition 3.1）を導入している。これは、原点における勾配が最大傾斜を大幅に下回るか、あるいは解が二次的な平坦さの改善を示すかのいずれかであることを断言するものである。この二分法は、線形化伝達問題の全域的解の分類を利用した背理法によって証明される。

4. 境界の伝播： 著者らは、法線微分 $\partial_n u$ の下限を伝播させることで、分類定理を証明する。平坦さの改善と解の非退化性を組み合わせることで、解がある小さなスケールで平坦であれば、より大きなすべてのスケールにおいても平坦であり続け、結果として解が全域的な二平面解になることを示す。

主要な結果

• 定理 1.1（分類）： $u$ を $\mathbb{R}^n$ における二相問題のリプシッツ連続な全域的粘性解とする。もし内部二相点集合 $\Gamma_{TP}^{int}(u)$ が空でないならば、$u$ は二平面解である：
  $$u(x) = \alpha (x \cdot \nu)_+ - \beta (x \cdot \nu)_-$$
  ここで、$\nu \in S^{n-1}$、$\alpha \ge \lambda_+$、$\beta \ge \lambda_-$ であり、$\alpha^p - \beta^p = \lambda_+^p - \lambda_-^p$ を満たす。

• 定理 1.2（正則な点の正則性）： $u$ を領域 $D$ における $J_{TP}$ の最小化関数とする。すべての「正則な」二相点 $x_0$（条件 $\liminf_{r\to 0} \frac{|B_r(x_0) \cap \{u=0\}|}{|B_r(x_0)|} = 0$ によって定義される）に対して、自由境界の成分 $\partial \Omega_u^\pm$ は、任意の $\eta \in (0, 1/3)$ に対して $C^{1,\eta}$ グラフとなる近傍が存在する。

意義および主張
本論文は、二相ベルヌーイ問題の正則性理論を、線形なケース（$p=2$）から一般的な非線形ケース（$1 < p < \infty$）へと拡張することを主張している。

• 単調性の欠如の克服： 著者らは、$p$-Laplacianの退化的な性質と単調性公式の不在により、一般化が極めて非自明であることを指摘している。彼らの研究は、古典的なツールなしに機能するメカニズム（二次的な平坦さの改善）を提供している。
• 内部点 vs 分岐点： 結果は、内部 二相点の近傍において、自由境界が $C^{1,\eta}$ 正則であることを確認している。著者らは、分岐点（ゼロ集合の密度が正となる点）における状況は依然として未解決の問題であることを明示している。彼らは、$p=2$ の場合にはすべての二相点が正則であるが、$非線形設定においてすべての分岐点が正則性条件（4）を満たすかどうかは現在不明であると述べている。
• 方法論的進展： 本論文は、先行研究 [8] で用いられた線形な平坦さの改善と比較して、「より強力な二次的な平坦さの改善」の必要性を強調している。この二次的なスキームは、古典的な単調性公式が利用できない自由境界問題を扱うための極めて重要なツールとして提示されており、障害問題における最近の層化定理との類似性が示されている。

要約すると、本論文は、内部二相点の存在が全域的解を単純な二平面構成へと強制することを確立し、これにより、これら点の近傍における自由境界の $C^{1,\eta}$ 正則性が導かれ、一般的な $p$-Laplace設定における「正則な」部分の自由境界の正則性理論を完結させている。