A Short Proof of Optimal Regularity for minimizers of the Alt-Phillips Problem

技術要約：Alt-Phillips問題の極小値における最適正則性の短い証明

問題設定
本論文は、以下の汎関数によって定義されるAlt-Phillips自由境界問題の極小値の正則性を取り扱う：
$$J^\gamma(u, B_1) := \int_{B_1} \left( |\nabla u|^2 + u_+^\gamma \right) dx$$
ここで、$\gamma \in (0, 1)$ であり、$B_1 \subset \mathbb{R}^d$ は単位球、 $u \in H^1(B_1)$ は指定された非負の境界データを持つ。先行文献（例：[AP86]）において、最適正則性 $u \in C^{1, \beta-1}_{loc}(B_1)$ （ただし $\beta = \frac{2}{2-\gamma} \in (1, 2)$）は既に確立されているが、本研究は $\gamma \in (0, 1)$ の範囲に特化して、自己完結的で教育的な証明を提供することを目的としている。

手法
証明は、[DSS20]から転用された、ほとんど極小値（almost-minimizers）のために開発された**二分法（dichotomy argument）**に基づいている。核心となる戦略は、異なるスケールにおける極小値の $L^2$ 平均を分析し、以下の2つの異なる挙動を確立することである：

1. 減衰（Decay）： 平均が十分に大きい場合、$\beta$ 倍に再スケーリングされた平均は $1/2$ の係数で減衰する。
2. 定数による近似： あるいは、極小値はより小さな球において正の定数に近似される。

手法は主に以下の3つの段階で進行する：

• 予備的なHölder正則性： 著者はまず、二次成長ポテンシャルを持つ摂動付きディリクレエネルギーの極小値に対する $C^{0, \alpha}$ 正則性を確立する。これは、調和的置換に対する極小値の振動を抑える補題を用いた、Campanatoの手法を通じて達成される。
• 二分法（命題 3.2）： 大きな $L^2$ 平均 $a$ を持つ極小値に対して、その平均が再スケーリング後に大幅に減衰するか、あるいは関数が正の定数 $m$ （ここで $m \sim a$）に一様に近いかのいずれかであることを証明する。
• 反復スケーリングとハルナック評価： 二分法を反復することで、自由境界点（$u=0$ となる点）からの $\beta$ 成長率、および正の部分集合（$u>0$ となる領域）内でのハルナック型の不等式を導出する。具体的には、$u(0) > 0$ である場合、関数は半径 $u(0)^{1/\beta}$ に比例する球内で $u(0)$ と比較可能な状態を維持する。

主要な結果
本論文は主要定理を確立している：

• 定理 3.1： $\gamma \in (0, 1)$ におけるAlt-Phillips汎関数の極小値 $u$ は $C^{1, \beta-1}_{loc}(B_1)$ に属する。さらに、そのノルムは境界データの $L^2$ ノルムによって制御される：
  $$\|u\|_{C^{1, \beta-1}(B_{1/2})} \leq C \left(1 + \|u\|_{L^2(B_1)}\right)$$

証明は2つの構成要素を統合している：

1. $\beta$-成長： 自由境界付近において、極小値は $r^\beta$ の速度で成長する。
2. 内部正則性： 正の部分集合内において、極小値は楕円方程式 $\Delta u = \gamma u^{\gamma-1}$ を満たす。二分法から導かれたハルナック不等式を用いることで、著者は標準的な内部楕円推定を適用し、勾配が指数 $\beta-1$ でHölder連続であることを示す。

意義と主張
著者は、本研究の貢献を、既知の結果に対する自己完結的かつ教育的な証明として明確に位置づけている。本論文は、新しい正則性の結果を発見したり、$\gamma$ の新しい領域（特定の焦点である $\gamma \in (0, 1)$ を超えるもの）へ理論を拡張したりすることを主張していない。むしろ、その意義は以下にある：

• 簡略化： 既存の文献と比較して、最適正則性のより短く、よりアクセスしやすい導出を提供すること。
• 手法の適応： （ほとんど極小値のために設計された）[DSS20]の二分法を、Alt-Phillips汎関数の特定の文脈へと成功裏に適応させたこと。
• 明快さ： 自由境界からの成長率と正の集合内でのハルナック型推定を組み合わせ、最終的な $C^{1, \beta-1}$ 正則性を導き出す統一的なアプローチを提供したこと。

本研究は、障害物問題（$\gamma=1$）[Caf98, PS05]、一相Bernoulli問題（$\gamma=0$）[CS05, Vel23]、および一般的なAlt-Phillips汎関数（$\gamma \in (0, 2)$）[AP86]に関連する発展を認めつつ、本論文を、$\gamma \in (0, 1)$ の劣二次的なケースに焦点を当てた明確化として位置づけている。