Rectifiability of free boundaries in singular diffusion problems

技術要約：特異拡散問題における自由境界の可積性（Rectifiability）

問題設定
本研究は、特異な反応項を持つ退化拡散汎関数に対する最小化解の自由境界 $\partial\{u > 0\}$ の正則性に対処するものである。この汎関数は以下のように定義される：
$$J_\Omega(v) := \int_\Omega \left( \frac{|Dv|^p}{p} + v^\gamma \right) dx$$
ここで、$\Omega \subset \mathbb{R}^n$ は有界領域、$p \ge 2$、$\gamma \in (0, 1)$ である。最小化関数 $u$ は、固定された境界データを持つ $W^{1,p}(\Omega)$ 内の非負関数の凸集合 $K$ の中で求められる。

関連するオイラー・ラグランジュ方程式は、特異なソース項を持つ $p$-ラプラシアン方程式である：
$$\Delta_p u = \gamma u^{\gamma-1} \quad \text{in } \{u > 0\} \cap \Omega.$$
指数 $\gamma < 1$ のため、右辺は $u \to 0^+$ の際に発散し、自由境界付近における最小化解の挙動を極めて非自明なものにしている。線形の場合（$p=2$）については、Phillipsによって自由境界の可積性が確立されているが、非線形の場合（$p > 2$）については、自由境界の可積性に関する問題は未解決のままであった。

手法と主要な構成要素
主結果の証明は、先行研究から導かれ、かつ非線形の設定へと拡張された2つの主要な解析的構成要素に基づいている：

1. 非線形変換の可積分性：
   著者は、最小化関数 $u$ の特定の非線形変換 $u^{\frac{p-\gamma}{p}}$ の $p$-ラプラシアンの可積分性を確立している。この性質は、$|Du|^p$ が $u^\gamma$ によって抑えられるという点的な勾配評価（[3]の定理2.1）から導かれる。具体的には、補題3.1は $\Delta_p(u^{\frac{p-\gamma}{p}}) \in L^1(\{u > 0\} \cap B_r)$ であることを証明している。これは、$p=2$ における既知の結果を、退化的なケース $p \ge 2$ へと拡張するものである。

2. 零集合のハウスドルフ次元の推定：
   本論文では、零集合 $\{u=0\}$ のルベーグ測度が消失する部分のサイズを調査している。補題4.1は、もし $|\{u=0\} \cap B_{3r}| = 0$ ならば、より小さな球内における零集合のハウスドルフ次元が $n-1$ よりも厳密に小さくなることを示している。具体的には、$\mathcal{H}^{n - 2 - \frac{\gamma}{p-\gamma}}(\{u=0\} \cap B_r) = 0$ である。この推定は、$u^{\gamma-2}$ の可積分性を分析し、最小化関数の非退化性を利用することで得られる。

主結果
中心となる定理（定理5.1）は、汎関数(1.1)の任意の最小化関数 $u$ に対して、自由境界が $(n-1)$-可積（$(n-1)$-rectifiable）であることを断言している。より正確には、本論文は、自由境界が $\mathcal{H}^{n-1}$-ほとんど至る所で測度論的な外向き法線を持つことを証明している。

この結果は、「不規則な」自由境界の部分がゼロの $(n-1)$ 次元ハウスドルフ測度を持つことを示すことで形式化される：
$$\mathcal{H}^{n-1}(\partial\{u > 0\} \setminus \partial_{\text{red}}\{u > 0\}) = 0.$$
ここで、$\partial_{\text{red}}\{u > 0\}$ は簡約自由境界を表し、これは有限周回の集合に関する De Giorgi の構造定理により、局所的に $(n-1)$-可積であることが知られている。

証明は背理法による。零集合の密度が消失する自由境界内の集合 $A$ の存在を仮定すると、著者はブローアップ解析を行う。極限関数 $u_0$ は一次元的（$v(x) = (a \cdot x)_+$ の形）であることが示され、これはその零集合が超平面であることを意味する。しかし、補題4.1によるハウスドルフ次元の推定は、そのような超平面が $n-1$ を超える次元において無限の測度を持つ必要があることを示唆しており、矛盾を導く。

意義と範囲
本ノートは、特異な拡散問題における自由境界の可積性に関する文献の空白を埋めるものである。先行研究 [3, 4] は $p > 2$ における局所的な正則性と有限周回の性質を確立していたが、自由境界の具体的な可積性は未証明であった。

本論文は、Phillips [13, 14] の線形の結果や、障害問題 [9] の可積性の結果を、特異な反応項を持つ $p \ge 2$ の文脈へと拡張することを明確な貢献として位置づけている。著者らは、極限ケースである $\gamma=0$（キャビティ問題）および $\gamma=1$（障害問題）が既存の文献 [7, 10, 6, 5, 9] で個別に扱われていることに触れており、本研究は特に中間的な特異領域 $\gamma \in (0, 1)$ を対象としている。

これらの知見は、$p$-ラプラシアンの退化性と反応項の特異性にもかかわらず、活性領域（$\{u>0\}$）と不活性領域（$\{u=0\}$）の間の界面が、ほとんど至る所で明確な幾何学的構造を保持し、測度論的な意味での接平面を持つことを裏付けている。