Towards gradient Hölder regularity for singular fractional $p$-Laplace equations

技術的要約：特異な分数型 $p$-Laplace 方程式における勾配のヘルダー正則化に向けて

問題設定
本論文は、以下の特異な分数型 $p$-Laplace 方程式の有界弱解の内部正則性を扱う：
$$(-\Delta_p)^s u = 0 \quad \text{in } \Omega \subset \mathbb{R}^n,$$
ここで $n \ge 2$, $0 < s < 1$, $1 < p < 2$ である。この作用素は、特異なフラックス $J_p(t) = |t|^{p-2}t$ を含む主値積分を通じて定義される。この方程式に対して、有界性、ヘルダー連続性、およびハルナックの不等式といった正則性の結果は確立されているが、内部 $C^{1,\alpha}$ 正則性（勾配のヘルダー連続性）は、特異な領域（$1 < p < 2$）において未解決の問題である。超二次的なケース（$p \ge 2$）や、大域的にリプシッツ連続な構成関数を持つ作用素に関する既往の結果は、アフィン正規化後の一様楕円性の欠如、および原点付近でのフラックスの特異性のために、ここでは適用できない。

手法および証明戦略
著者は、特異な非局所的設定に特化して適応させた、コンパクト性と平坦性の改善（improvement-of-flatness）のアプローチを用いている。証明は、以下のいくつかの新しい技術的要素に基づいている：

1. 内在的アフィン正規化 (Intrinsic Affine Normalization):
   標準的な過剰量（excess）減衰の議論とは異なり、本論文では「スロープ正規化」された枠組みを導入している。余剰項 $w = u - \ell$ （ここで $\ell$ はスロープ $q$ を持つアフィン写像）は、内在的な振幅 $A$ によってスケールされる。これにより、正規化されたスロープ $Q = q/A$ と正規化された余剰項 $v$ が得られる。エネルギーは、シフトされたブレグマン・エネルギー (shifted Bregman energy) を用いて測定される：
   $$D\Phi(Q \cdot (x-y); \delta v(x,y)),$$
   ここで $\Phi(t) = |t|^p/p$ である。このブレグマン余剰項は、余剰がスロープに対して小さい場合（$|b| \ll |a|$）の二次的な挙動と、余剰が支配的な場合（$|b| \gtrsim |a|$）の $p$ 次成長という2つのレジームを自然に捉える。これにより、有界なスロープと発散するスロープの両方のケースを単一の枠組み内で扱うことが可能となる。

2. スロープ一様コンパクト性 (Slope-Uniform Compactness):
   中心的な困難は、$s \uparrow 1$ としたときの方程式の極限が、正規化されたスロープ $Q$ の挙動に依存することである。

   • $Q_j \to Q \in \mathbb{R}^n$ の場合、極限はシフトされた局所 $p$-調和方程式となる。
   • $Q_j/|Q_j| \to e$ としながら $|Q_j| \to \infty$ となる場合、極限は（大きなスロープの周りで線形化された）一様楕円な定数係数二次方程式となる。
     本論文では、スロープ空間の動径方向のコンパクト化を用いて、スロープ一様コンパクト性定理（命題 3.8）を確立している。これにより、エネルギーの欠損なしに、解の列が適切な極限汎関数に対する局所的な極小値に収束することが保証される。

3. 外部フラックスとテイルの制御 (Exterior Flux and Tail Control):
   非局所方程式においてアフィン写像を差し引くことは、外部との相互作用（「テイル」）を変化させる。本論文では以下を区別している：

   • 平均化されたテイル (Averaged tails): コンパクト性の議論に必要。
   • 片側的な不利なテイル (One-sided adverse tails): デ・ジョンギ（De Giorgi）の切断（上界および下界）から生じる。
     著者は、外部フラックスを、補間法によって $L^r$ 推定へとアップグレードされた環状 $L^p$ 推定によって制御する、共同伝播メカニズム（第7節）を導入している。決定的なのは、テイルの境界の最大値への依存性が厳密に劣線形（冪指数 $a = 1 - p/r < 1$）であることである。この劣線形性により、構造条件 $sp > p-1$ が保持されている限り、テイルが大きい場合でもイテレーションを完結させることができる。

4. 内在的過剰量と反復 (Intrinsic Excess and Iteration):
   本論文は、スケール不変であり、かつ特異な幾何学と適合する内在的過剰量汎関数を構築している。「一ステップ改善」補題（命題 6.3）は、外部テイルが制御されていることを条件として、局所的なアフィン減衰を分数型の方程式へと転送する。これは、アフィン近似の幾何学的減衰を確立するために、カンパノ（Campanato）スキームを通じて反復される。

主要な貢献と結果
主要な結果は定理 1.1 である：
$n \ge 2$, $1 < p < 2$ とし、$\alpha_{loc}(n, p)$ を局所 $p$-調和関数の勾配に対する許容可能な内部ヘルダー指数とする。任意の $0 < \alpha < \alpha_{loc}(n, p)$ に対して、すべての $s \in (s^*, 1)$ に対して、$(-\Delta_p)^s u = 0$ の $B_2$ におけるすべての有界弱解 $u$ が $C^{1,\alpha}(B_{1/2})$ に属くような閾値 $s^* = s^*(n, p, \alpha) < 1$ が存在する。

この評価は定量的である：
$$\|\nabla u\|_{L^\infty(B_{1/2})} + [\nabla u]_{C^\alpha(B_{1/2})} \le C \|u\|_{L^\infty(\mathbb{R}^n)}.$$

意義と範囲

• 未解決問題への部分的な回答: 本論文は、特異な分数型 $p$-Laplace 方程式における長年の未解決問題である $C^{1,\alpha}$ 問題に対し、部分的な回答を提供している。特に、「近局所的（near-local）」なレジームにおいて、結果を確立している。
• 構造的範囲: テイル伝播の議論は、構造的範囲 $sp > p-1$全体で機能する。$s > s^*$という制限は、極限方程式が局所的（$p$-調和または線形楕円的）であることを保証するための**コンパクト化のステップにおいてのみ**使用される。もし$s$ が 1 から遠い場合、極限は依然として非局所的であり、ここでは提供されていない異なる振動推定を必要とする。
• 一様性: 推定の定数は $s \uparrow 1$ としても一様であり、この結果は局所 $p$-調和の勾配理論と定量的に整合している。
• 新規技術: スロープ正規化されたブレグマン・エネルギーの導入、および劣線形なブートストラップ完結を実現するための、平均化されたテイルと片側的なテイルの分離は、証明を可能にした主要な技術的革新として提示されている。

結論として、特異なケースにおける全範囲 $0 < s < 1$ は依然として未解決であるが、近局所的な極限については解決されており、特異なレジームにおける非局所的な分数型方程式と、その局所的な対応物との間の溝を埋めるものである。