On Weiss Almost Monotonicity Formula

1. 問題設定 (Problem Setting)

本論文は、有界領域 $\Omega \subset \mathbb{R}^d$ 上で定義された以下のエネルギー汎関数の「準最小化子（almost minimizers）」を研究対象としています。

$$J (u, \Omega) := \int_{\Omega} \left( \frac{1}{2} \langle A(x)\nabla u, \nabla u \rangle + \sigma(x, u) \right) dx$$

特に、変数係数を持つ Alt-Phillips 問題に焦点を当てており、具体的には以下の形式を扱います。

$$J (u) = \int_{\Omega} \left( \frac{|\nabla u|^2}{2} + \delta(x) u^{\gamma(x)} \right) dx$$

ここで、

• $A(x)$: 一様楕円性を持つ行列値関数。
• $\delta(x)$: 正の値に有界な関数（ゼロから離れている）。
• $\gamma(x)$: $(0, 1)$ の範囲にある関数。
• 準最小化子: 任意の球 $B_r(x_0)$ に対して、$J(u) \le (1+\varrho(r)) J(v)$ を満たす関数 $u$（$\varrho(r)$ はゲージ関数）。

従来の研究（例：[4]）では、係数 $\delta, \gamma$ が $W^{1,q}$ ($q>d$) 級の滑らかさを要求されていましたが、本論文ではより弱い正則性条件（Dini 連続性など）の下で結果を確立することを目的としています。

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

本論文の核心的な手法は、係数の「凍結（freezing）」と最適正則性の利用にあります。

1. 係数の凍結:
   自由境界上の点 $x_0$ において、係数 $A(x), \delta(x), \gamma(x)$ を定数 $A(x_0), \delta(x_0), \gamma(x_0)$ に置き換えた「凍結された汎関数」$J_{x_0}$ を考えます。
   $$J_{x_0}(u) := \int \left( \frac{1}{2} \langle A(x_0)\nabla u, \nabla u \rangle + \delta(x_0) u^{\gamma(x_0)} \right) dx$$

2. 比較と誤差評価:
   元の汎関数 $J$ と凍結された汎関数 $J_{x_0}$ を比較します。

   • 最適正則性（free boundary 近傍での解の成長制御）を用いて、解 $u$ とその吹上げ極限（homogeneous blow-up）を比較します。
   • 係数の連続性（モジュラス $\omega_A, \omega_\delta, \omega_\gamma$）とゲージ関数 $\varrho$ が、単調性からの「ずれ（誤差項）」をどのように制御するかを定量化します。

3. 準単調性公式の導出:
   完全な単調性ではなく、誤差項 $g(r)$ を伴う**準単調性（almost monotonicity）**を証明します。
   $$\frac{d}{dr} \Phi(r) \ge -g(r)$$
   ここで、誤差項 $g(r)$ は係数の滑らかさ（Dini 条件など）に依存し、$L^1$ 可積分であることが示されます。これにより、$r \to 0$ における極限の存在が保証されます。

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

A. 準単調性公式の確立 (Theorem 3.1)

変数係数を持つ Alt-Phillips 問題に対して、以下の条件の下でワイズ型準単調性公式を証明しました。

• 仮定:
  • $A, \delta$ は Dini 連続 ($C^{0, \text{Dini}}$)。
  • $\gamma$ は log-Dini 連続 ($C^{0, \log\text{-Dini}}$)。
  • 誤差項 $g(r) \in L^1(0, 2)$。
• 結果: 吹上げ極限 $u_0$ は、原点を中心とした $\beta(x_0)$ 次同次（$\beta(x_0) = \frac{2}{2-\gamma(x_0)}$）であることが示されました。
• 意義: 従来の $W^{1,q}$ 仮定を大幅に緩和し、より自然な正則性条件（Dini 連続性）で同次性を分類可能にしました。

B. 自由境界の正則性の拡張 (Section 4)

得られた準単調性公式を用いて、自由境界 $F(u)$ の構造解析を行いました。

1. 正則点集合 $\mathcal{R}(u)$ の開性: エネルギーギャップ（energy gap）の存在を示し、正則点の集合が自由境界内で局所的に開集合であることを証明しました。
2. 特異点集合 $\Sigma(u)$ の次元: 次元削減議論（dimension reduction argument）を用いて、特異点集合のハウスドルフ次元が $\dim_H(\Sigma(u)) \le d-3$ であることを示しました。
3. ハウスドルフ測度: 自由境界の $(d-1)$ 次元ハウスドルフ測度が有限であることを証明しました。

• 結論: 係数が $C^{0, \text{Dini}}$ および $C^{0, \log\text{-Dini}}$ であっても、自由境界は $C^{1,\alpha}$ 曲面となり、特異点は低次元集合に留まることが示されました。

C. 二相問題への拡張 (Section 5)

同様の手法を、以下のケースへ拡張しました。

• 変数係数を持つ Alt-Caffarelli 問題: 一相および二相（$u>0$ と $u<0$ の両方の領域を持つ）の場合。
• 二相 Alt-Phillips 問題: 正負の領域で異なる係数を持つ場合。
  これらにおいても、適切な成長条件の下で準単調性公式が成立し、吹上げ極限の同次性が保証されます。

4. 意義と将来の展望 (Significance and Future Directions)

• 正則性仮定の緩和: 自由境界問題の解析において、係数の滑らかさの仮定を $W^{1,q}$ から Dini 連続性まで引き下げたことは、理論的な進展として重要です。これにより、より現実的な物理モデルや数値シミュレーションの誤差を含む状況への適用可能性が高まります。
• 汎用性の高い手法: 「係数の凍結」と「最適正則性」を組み合わせたこのアプローチは、他の変数係数を持つ自由境界問題や、非線形方程式（$p$-Laplacian など）への拡張への道を開いています。
• 完全な正則性プログラムの完成: 先行研究 [4, 5] で行われた解の解析から自由境界の正則性までのプログラムにおいて、本論文は「最終段階（吹上げ極限の分類と特異点の次元評価）」を、より弱い仮定で完了させた点に大きな意義があります。

まとめ

本論文は、変数係数を持つ非線形自由境界問題において、Dini 連続性という minimal な正則性条件の下で、ワイズ型準単調性公式を確立しました。これにより、吹上げ極限の同次性が保証され、自由境界の正則点集合が開集合であり、特異点集合が低次元であることが示されました。この結果は、Alt-Phillips 問題および Alt-Caffarelli 問題の理論的枠組みを大幅に一般化し、今後の自由境界問題研究の基盤となる重要な貢献です。