Lipschitz regularity for parabolic fractional $p$-Laplace equations

Harsh Prasad による論文「LIPSCHITZ REGULARITY FOR PARABOLIC FRACTIONAL p-LAPLACE EQUATIONS（放物型分数次 p-ラプラシアン方程式に対するリプシッツ正則性）」の技術的な要約を以下に記します。

1. 研究の背景と問題設定

対象とする方程式:
非局所的で非線形な放物型方程式
$$\partial_t u + L_K u = 0 \quad \text{in } \Omega \times I$$
を扱います。ここで、$L_K$ は分数次 p-ラプラシアン型の非局所作用素であり、以下のように定義されます。
$$L_K u(x, t) := \text{P.V.} \int_{\mathbb{R}^N} |u(x, t) - u(y, t)|^{p-2}(u(x, t) - u(y, t)) K(x - y) \, dy$$
核関数 $K$ は対称性を持ち、以下の楕円型条件を満たしますが、連続性は仮定しません。
$$\frac{\lambda}{|z|^{N+sp}} \le K(z) \le \frac{\Lambda}{|z|^{N+sp}}$$
ここで、$1 < p < \infty$, $s \in (0, 1)$, $0 < \lambda \le \Lambda < \infty$ です。

研究の動機:

• 非局所方程式の局所正則性（有界性、Hölder 連続性）は過去 10 年で確立されていますが、通常は小さな非明示的な Hölder 指数しか得られません。
• 空間変数に関するリプシッツ連続性（$C^{0,1}$ 正則性）が、条件 $sp > p - 1$ の下で成り立つかどうかは、楕円型および放物型の両方の設定において未解決問題でした。
• 既存の結果（Biswas–Topp [BT25] など）は楕円型の場合に Ishii–Lions 法を適用して解決しましたが、放物型の場合、特に $1 < p < 2$（劣二次）のケースや、核が不連続な場合、また解の「テール（遠方への影響）」に関する仮定を弱めた場合の証明は困難でした。

2. 主要な結果（Main Theorem）

定理 1.1（空間リプシッツ正則性）:
条件 $sp > p - 1$を満たす任意の$1 < p < \infty$と$s \in (0, 1)$に対して、方程式の局所弱解$u$ は、時間に対して一様で空間において局所的にリプシッツ連続です。

具体的には、適当な定数 $C > 0$（$N, s, p, \lambda, \Lambda$ に依存）が存在し、以下の評価が成り立ちます。

• $p \ge 2$ の場合:
  $$\sup_{t} [u(\cdot, t)]_{C^{0,1}(B_{R/2})} \le C M_R R^{-1}$$
• $1 < p < 2$ の場合:
  $$\sup_{t} [u(\cdot, t)]_{C^{0,1}(B_{R/2})} \le C M_R^{1 + \frac{2-p}{sp}} R^{-1}$$
  ここで、$M_R$ は解の $L^\infty$ ノルムとテール（遠方からの寄与）の和を表します。

重要な特徴:

1. 核の一般性: 核 $K$ が不連続であっても成立します（従来の結果は明示的な核 $K(z) = |z|^{-(N+sp)}$ に限定されることが多かった）。
2. テール条件の緩和: 解のテールが時間に関して連続である（$u \in C_{loc}(I; L^{p-1}_{sp})$）という強い仮定を必要とせず、単に時間方向に一様有界（$u \in L^\infty_{loc}(I; L^{p-1}_{sp})$）であれば十分です。
3. パラメータ範囲: $p \ge 2$（超二次）だけでなく、$1 < p < 2$（劣二次）の全範囲をカバーします。

3. 手法と技術的アプローチ

この論文の核心は、Ishii–Lions 法を非局所・非線形・放物型の設定に適用し、いくつかの技術的障壁を克服した点にあります。

3.1 Ishii–Lions フレームワークの適用

解の勾配の最大値を評価するために、二点間の差を評価する関数（ペナルティ項付き）を構成し、その最大点で作用素を評価します。

• パラメータ化された関数族: 従来の Jensen–Ishii 補題（粘性解の理論）に依存せず、パラメータ化された Ishii–Lions 汎関数の族を用いることで、極限ジェット（limiting jets）の存在を直接的に導出します。
• 接触補題（Touching Lemma）: 解 $u$ と滑らかな関数 $\phi$ が接触する点において、作用素の値を評価する補題を証明します。これにより、最大点での不等式（マスター不等式）が導かれます。

3.2 作用素の切断（Truncation）とテールの扱い

非局所作用素 $L_K$ は全域積分を含むため、テスト関数のテール条件が厳しくなります。

• 局所化: 作用素を $L_K = L_K^{B_1} + L_K^{B_1^c}$ と分解します。
  • $L_K^{B_1}$: 単位球内での積分（局所部分）。
  • $L_K^{B_1^c}$: 外部からの寄与（テール部分）。
• 右辺への吸収: テール部分は解の仮定（$L^\infty$ 有界性）により有界な関数 $f$ として扱われ、方程式の右辺（$\partial_t u + L_K^{B_1} u = f$）に吸収されます。これにより、テスト関数に対するテールの連続性などの追加条件を不要にしています。

3.3 $p$ の範囲に応じたスケーリング

• $p \ge 2$ の場合: 振幅のスケーリング因子が 1 以下となるため、時間スケールを調整することで正規化を行います。
• $1 < p < 2$ の場合: 振幅のスケーリング因子が 1 以上となるため、空間スケールを調整して正規化を行います。この場合、特異性を避けるために特別なテスト関数クラスを導入する必要がなく、本手法で回避しています。

3.4 積分評価とマスター不等式

接触点 $(x_\nu, t_\nu)$ と $(y_\nu, \tau_\nu)$ において、切断された作用素の差を評価します。積分領域を幾何学的に分割し（図 1 参照）、以下の 4 つの領域で評価を行います。

1. 円錐領域 $C$: 勾配の方向に沿った領域。ここでペナルティ関数の凹性を利用し、正の項（$L^{p-1}$ に比例）を生成します。
2. 近傍領域 $D_1, D_2$: 解の Hölder 正則性（bootstrap により得られる）を利用した評価。
3. 遠方領域 $D_3$: 核が非特異であり、解の有界性により一様に評価可能。

最終的に、$L \to \infty$（ペナルティ係数）の極限において、左辺が $L$ に対して発散するのに対し、右辺（テールとソース項）は有界であるため、矛盾が生じ、リプシッツ連続性が導かれます。

4. 主要な貢献と新規性

1. 放物型分数次 p-ラプラシアンのリプシッツ正則性の証明:
   楕円型の場合（Biswas–Topp [BT25]）に続いて、放物型設定でも $sp > p-1$ の条件下で空間リプシッツ連続性が成立することを初めて示しました。
2. 劣二次 ($1 < p < 2$) ケースの解決:
   従来の手法では特異性のため滑らかな関数上で作用素を評価できない $1 < p < 2$ のケースを、スケーリングと切断戦略により完全に扱いました。
3. 不連続核への対応:
   核が不連続であっても正則性が保たれることを示し、既存の熱核評価や Liouville 定理に依存しない、より直接的な証明経路を提供しました。
4. テール条件の緩和:
   解のテールが時間連続である必要はなく、単に有界であれば十分であることを示しました。これは線形方程式の研究における一般的な仮定よりも弱いです。
5. Ishii–Lions 法の非局所・非線形への拡張:
   従来の粘性解の枠組み（Jensen–Ishii 補題）に依存せず、パラメータ化された汎関数を用いることで、非局所作用素における勾配評価をより柔軟に行う手法を確立しました。

5. 意義と今後の展望

• 理論的意義: 非局所放物型方程式の正則性理論において、Hölder 連続性からリプシッツ連続性への飛躍を可能にする重要なステップです。特に、核の一般性と解の仮定の弱さが、より広範な物理・応用モデルへの適用を可能にします。
• 拡張性: 本論文の手法は、分数次 $(p, q)$-ラプラシアンや非局所ダブルフェーズ作用素など、より複雑な演算子に対しても拡張可能であることが Section 6 で示されています。
• 時間正則性: 空間リプシッツ評価は、バリアー法を用いることで時間正則性の改善にも利用可能であることが指摘されています。

総じて、この論文は非局所非線形放物型方程式の正則性理論において、技術的に高度な障壁を乗り越え、より一般的で強い正則性結果を確立した画期的な研究です。