Weak Harnack inequality and Cartan property for nonlocal $W^{s,1}$-minimizers

この論文「WEAK HARNACK INEQUALITY AND CARTAN PROPERTY FOR NONLOCAL W s,1-MINIMIZERS（非局所 $W^{s,1}$-最小化関数に対する弱ハナック不等式とカルタン性質）」は、完全かつ連結な倍増測度空間における、非局所 $W^{s,1}$ 最小化関数（およびその亜・超最小化関数）の正則性理論を確立するものです。特に、$p=1$ の場合（$BV$ 関数の非局所版）における弱ハナック不等式と、それに基づくカルタン性質（点の細かさに関する性質）の証明が主眼です。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記述します。

1. 問題設定と背景

• 対象とする関数空間:
  非局所 $W^{s,1}$ 空間（$0 < s < 1$）における関数。これは、$L^1$ 空間に属し、以下の半ノルムが有限である関数の集合です。
  $$\|u\|_{\dot{W}^{s,1}(\Omega)} = \int_{\Omega}\int_{\Omega} \frac{|u(x)-u(y)|}{\mu(B_{x,y}) d(x,y)^s} d\mu(x)d\mu(y)$$
  ここで、$B_{x,y}$ は $x$ と $y$ を中心とする半径 $d(x,y)$ の球の和集合です。
• 最小化問題:
  非局所エネルギー汎関数 $F_s(u)$ の最小化問題、あるいはその亜最小化関数（subminimizer）と超最小化関数（superminimizer）の性質を研究します。
  $$F_s(u) = \int_{\Omega}\int_{\Omega} \frac{|u(x)-u(y)|}{\mu(B_{x,y}) d(x,y)^s} d\mu(x)d\mu(y) + 2\int_{\Omega}\int_{\Omega^c} \frac{|u(x)-u(y)|}{\mu(B_{x,y}) d(x,y)^s} d\mu(x)d\mu(y)$$
• 既存研究との対比:
  従来の研究（Di Castro–Kuusi–Palatucci [DKP16] など）は、$1 < p < \infty$ の場合の分数次 $p$-ラプラシアンに対する弱ハナック不等式を確立していました。しかし、$p=1$ の場合（$BV$関数の非局所版）は、$p>1$ の場合とは異なり、解の連続性が保証されないことが知られており、その正則性理論は未開拓でした。また、従来の結果には「テール項（tail term）」が含まれていましたが、$p=1$ の場合の非局所理論における適切な不等式は確立されていませんでした。

2. 手法とアプローチ

著者たちは、倍増測度空間（doubling metric measure space）という非常に一般的な設定で以下の手法を用いています。

• 弱ハナック不等式の導出:
  $p=1$ の場合、標準的な Moser の反復法は直接適用できません。そこで、Caccioppoli-De Giorgi 型の不等式を非局所設定で構築し、それを基に弱ハナック不等式を導出しました。
  • 重要なステップとして、$p=1$ 特有の技術的困難を克服するため、$1$-Poincaré 不等式が成り立つ場合と、単に倍増条件のみを満たす場合の両方を扱い、定数の挙動を精密に制御しました。
  • 特に、$s \to 1^-$ において定数が有界に保たれる（安定性）ことを示すために、最近の sharp fractional Poincaré 不等式 [KLLZ25] を活用しています。
• 障害物問題（Obstacle Problem）の解析:
  弱ハナック不等式を、障害物問題の解（$K_{\psi, f}(\Omega)$-solution）にも適用できるように拡張しました。これは、後のカルタン性質の証明において、特定の集合を「覆う」超最小化関数を構成する際に不可欠です。
• 容量（Capacity）と細かさ（Thinness）の理論:
  $(s, 1)$-容量 $C_{s,1}$ およびコンデンサー容量 $cap_{s,1}$ を定義し、集合が点において「$s$-thin（細い）」であるかどうかを判定する基準を確立しました。
  • $s$-thin の定義：$\lim_{r\to 0} \frac{cap_{s,1}(A \cap B(x,r), B(x,2r))}{cap_{s,1}(B(x,r), B(x,2r))} = 0$
  • この概念を用いて、解の特異点の構造を記述する「カルタン性質」を証明しました。
• コ面積公式（Coarea Formula）の活用:
  非局所 $W^{s,1}$ ノルムと集合の $s$-周長（$s$-perimeter）の関係をコ面積公式を用いて結びつけ、集合の特性関数としての最小化問題を扱えるようにしました。

3. 主要な結果と貢献

論文の核心的な成果は以下の定理です。

A. 弱ハナック不等式（Theorem 1.1）

完全かつ連結な倍増測度空間において、$s$-亜最小化関数 $u$ に対して、以下の弱ハナック不等式が成り立ちます。
$$\text{ess sup}_{y \in B(x_0, r)} (u(y) - k_0) \le C \left( \frac{R}{R-r} \right)^Q \fint_{B(x_0, R)} (u - k_0)_+ d\mu$$

• 特徴:
  • この不等式にはテール項（tail term）が含まれていません。これは $p=1$ の場合の非局所理論における画期的な結果です（$p>1$ の場合はテール項が必須でした）。
  • 定数 $C$ は $s$ と倍増定数のみによります。さらに $1$-Poincaré 不等式が成り立つ場合、$s \to 1$ に対して定数が有界に保たれることを示しました。

B. 半連続性（Corollary 1.2）

弱ハナック不等式から、$s$-超最小化関数の「近似下限 $u^\wedge$」が下半連続であり、$s$-亜最小化関数の「近似上限 $u^\vee$」が上半連続であることが導かれました。

• これは、$p=1$ の場合、解が連続であるとは限らない（非局所最小曲面の境界が滑らかでない場合がある）という事実を踏まえつつ、可能な限り強い正則性（半連続性）を証明したものです。

C. 弱・強カルタン性質（Theorem 1.3, 1.4）

$A$ が点 $x$ において $s$-thin である場合、その性質を記述する定理です。

• 弱カルタン性質 (Theorem 1.3):
  $A$ が $s$-thin ならば、有限個の $s$-超最小化関数（特性関数 $1_{E_j}$）の集合が存在し、それらの最大値が $A$ 上で 1 になり、かつ $x$ における上限値が 0 になるような構造を持つことを示しました。
  • これは、局所理論（$BV$ 最小化関数）における結果の非局所版です。
• 強カルタン性質 (Theorem 1.4):
  さらに、点 $x$ の容量 $C_{s,1}(\{x\}) > 0$ である場合、$x$ において $u^\wedge(y) \to \infty$ となるような単一の $s$-超最小化関数 $u$ が存在することを証明しました。
  • これは、$x$ が $A$ の特異点として「非常に鋭い」場合、解がその点で発散することを意味します。

4. 意義と新規性

• $p=1$ 非局所理論の確立:
  非局所 $W^{s,p}$ 理論において、$p=1$ のケースは $BV$関数と深く関連し、従来の$p>1$の手法が直接適用できないため、長らく未解決でした。本論文は、このギャップを埋め、$p=1$ における基本的な正則性理論（ハナック不等式、半連続性、カルタン性質）を初めて体系的に構築しました。
• 一般空間への拡張:
  結果はユークリッド空間 $\mathbb{R}^n$ に限定されず、倍増測度空間という非常に一般的な設定で成立します。これにより、多様体やフラクタル空間などへの応用可能性が開かれました。
• テール項の不要化:
  弱ハナック不等式にテール項が含まれないという結果は、$p=1$ の場合の非局所性が $p>1$ と本質的に異なることを示唆しており、理論的な洞察を提供しています。
• 古典的ユークリッド設定での新規性:
  著者らは、これらの結果が古典的なユークリッド空間（$\mathbb{R}^n$）の文脈においても新規であることを強調しています。

5. 結論

本論文は、非局所 $W^{s,1}$ 最小化関数の理論において、弱ハナック不等式とカルタン性質という 2 つの重要な柱を確立しました。これにより、$p=1$ の非局所変分問題における解の点ごとの振る舞い（半連続性や特異点の構造）が、$BV$ 関数の局所理論と類似した枠組みで理解可能になりました。これは、非局所幾何学、最小曲面論、および非局所偏微分方程式の分野における重要な進展です。