Lipschitz regularity of solutions to two-phase $p$-Laplacian free boundary problems with right hand side

1. 問題設定 (Problem Setting)

この研究は、2 相自由境界問題（Two-phase free boundary problem） における解の正則性、特にリプシッツ連続性（Lipschitz continuity） に焦点を当てています。

• 支配方程式:
  領域 $\Omega$ 内の正の相 $\Omega^+(u) = \{u > 0\}$ と非正の相 $\Omega^-(u) = \{u \le 0\}^\circ$ において、$p$-ラプラシアン方程式が成り立ちます。
  $$\Delta_p u := \text{div}(|\nabla u|^{p-2}\nabla u) = f$$
  ここで、$1 < p < \infty$ であり、$f$ は右辺（非斉次項）です。$f$ は有界かつ連続（あるいは有界可測）と仮定されます。

• 自由境界条件:
  自由境界 $F(u) = \partial \Omega^+(u) \cap \Omega$ において、内外の法線微分 $u^+_\nu$ と $u^-_\nu$ の間に以下の関係が成り立ちます。
  $$u^+_\nu = G(u^-_\nu, x)$$
  ここで、$G(t, x)$ は $t$ に対して狭義単調増加であり、$t \to \infty$ で発散する関数です。

• 解の概念:
  解は「弱解」ではなく、より広いクラスである粘性解（viscosity solutions） として扱われます。これにより、より一般的な状況への適用が可能になります。

• 目的:
  右辺 $f$ がゼロでない場合（非斉次）および $p \neq 2$（非線形）の場合において、解 $u$ が局所的にリプシッツ連続であることを証明することです。これはこの問題に対する最適正則性（optimal regularity） となります。

2. 手法とアプローチ (Methodology)

著者らは、一様楕円型完全非線形作用素に対するデ・サルバ・サヴィン（De Silva-Savin）の手法 [DS] を、$p$-ラプラシアンの特異・退化性質を考慮して拡張・適応させました。

• 主要な戦略:

  1. 大勾配領域の解析: 勾配が大きい領域では、自由境界条件が勾配の連続性条件（ジャンプなし）として振る舞うことを利用します。
  2. 内部正則性と自由境界正則性の組み合わせ:
     • $p$-ラプラシアンの内部 $C^{1,\alpha}$ 評価。
     • 最近の論文 [FL3] で証明された、2 相粘性解に対する自由境界の正則性結果。
  3. 平坦性からの正則性（Flatness implies Regularity）: 解が一次元平面解（Two-plane solution）$U_\beta(x) = \alpha x^+ - \beta x^-$ に十分近い（平坦な）場合、自由境界が $C^{1,\gamma}$ となり、解も $C^{1,\gamma}$ になることを示す定理を基盤とします。

• 技術的な工夫:

  • $p$-ラプラシアンは $1<p<2$ で特異（singular）、$p>2$ で退化（degenerate）するため、非斉次項 $f$ が存在する場合、$|\nabla u|^{p-2}$ の因子を無視できず、従来の一様楕円型理論の単純な一般化は困難です。
  • 著者らは、$f \not\equiv 0$ かつ $p \neq 2$ の場合に、関数 $G$ に対して追加の仮定（$G(t)/t$ が単調減少など）を置くことで、この困難を克服しました。
  • スケーリングと極限: 解の列をスケーリングし、$k \to \infty$ で $f_k \to 0$ かつ $G_k \to \text{id}$（恒等写像）となる極限問題を考え、リプシッツ連続性を導出します。

3. 主要な貢献と結果 (Key Contributions and Results)

定理 1.1（最適正則性）

$B_1$ 内の粘性解 $u$ に対して、$f$ と $G$ が所定の仮定（$G$ の漸近挙動、$f$ の有界性など）を満たせば、以下のリプシッツ評価が成立します。
$$\|\nabla u\|_{L^\infty(B_{1/2})} \le C(\|u\|_{L^\infty(B_{3/4})} + 1)$$

• 新規性: この結果は、右辺 $f$ がゼロの場合（斉次）であっても、文献 [DK] における $p$-ベルヌーイ汎関数の最小値に関する結果を除き、自由境界をまたぐリプシッツ連続性に関する既存の文献には存在しない新しい結果です。
• 適用範囲: 粘性解に対して成立するため、非常に広い適用性を持ちます。

定理 1.2（局所ホルダー連続性）

より一般的な自由境界条件（$G(t, x)$ が $t$ に対して線形に制御される条件）の下でも、解は局所的にホルダー連続（$C^{0,\alpha}$）であることが示されました。これは定理 1.1 の証明の第一段階として機能します。

第 3 章の改良（平坦な自由境界の正則性）

著者らは、以前の論文 [FL3] の結果を精緻化し、以下のケースで $C^{1,\gamma}$ 正則性を証明する定理（定理 3.1, 3.5, 3.7, 3.9）を導きました。

• $f \equiv 0$ の場合（定理 3.5）。
• $p=2$（ラプラシアン）の場合（定理 3.7）。
• $G(t, x) \equiv G(t)$ の場合（定理 3.9）。
  これらの結果は、主定理の証明において「平坦な解」が $C^{1,\gamma}$ であることを保証する鍵となります。

4. 証明の概要 (Proof Outline)

1. 近似と極限: 解の列 $u_k$ をスケーリングし、$f_k \to 0$、$G_k \to t$ となる極限をとります。
2. 極限問題の解析: 極限解 $u^*$ は斉次方程式 $\Delta_p u^* = 0$ を満たし、かつ自由境界条件が $u^+_\nu = u^-_\nu$ となります。これは線形な 2 相問題に帰着されます。
3. 正則性の利用: 極限解 $u^*$ は内部 $C^{1,\alpha}$ 評価を持ち、平坦な自由境界に対しては第 3 章の結果により $C^{1,\gamma}$ であることが示されます。
4. 背理法: もし解がリプシッツ連続でないと仮定すると、スケーリングされた解の勾配が無限大に発散しますが、極限解の正則性と平坦性の議論により矛盾が生じます。これにより、解がリプシッツ連続であることが導かれます。

5. 意義と重要性 (Significance)

• 非斉次・非線形問題への拡張: これまでの研究は主に斉次（$f=0$）または線形（$p=2$）の場合に限られていました。本論文は、非斉次項 $f$ が存在し、かつ $p \neq 2$ の非線形な場合 においても、最適正則性が成り立つことを初めて示しました。
• 粘性解の枠組み: 弱解ではなく粘性解の枠組みで議論を行っているため、より一般的な自由境界条件や非滑らかなデータに対しても結果が適用可能であり、理論的な堅牢性が高まっています。
• 手法の一般化: 一様楕円型作用素で開発された強力な手法（デ・サルバ・サヴィンの手法）を、特異・退化する $p$-ラプラシアンの非斉次問題に適用するための技術的障壁を克服した点で、非線形偏微分方程式論における重要な進展です。
• 応用: 物理現象（例えば、流体の浸透、電気化学プロセスなど）における 2 相自由境界モデルの数学的基礎を強化するものです。

総じて、この論文は $p$-ラプラシアンによる 2 相自由境界問題における解の正則性理論を、非斉次・非線形な一般化された状況まで完成させる画期的な成果です。