De Giorgi-Nash-Moser theory for kinetic equations with nonlocal diffusions

技術的概要：非局所拡散を伴う運動論的方程式に対する De Giorgi-Nash-Moser 理論

問題提起
本論文は、運動論に由来する非局所擬楕円方程式の正則性理論、特に以下の形式の積分微分コルモゴロフ方程式のクラスに関する正則性理論を取り扱っている：
$$(\partial_t + v \cdot \nabla_x)f = L_v f + h$$
ここで、$L_v$ は速度変数 $v$ のみに対して作用する非局所拡散演算子であり、通常、粗い係数を持つ分数階微分（例えば、分数階ラプラシアン $(-\Delta_v)^s$）を含む。核 $K$ は標準的な楕円性/強制条件を満たすが、退化する可能性がある。

この設定における中心的な困難は、古典的な De Giorgi-Nash-Moser（DGNM）評価の破綻である。Kaßmann と Weidner [45] による最近の反例は、そのような非局所運動論的方程式に対して、古典的なハルナック不等式および局所的な $L^2-L^\infty$ 評価は、定常解であっても一般的に成立しないことを示している。この破綻は、非局所拡散と異方性輸送項（$v \cdot \nabla_x$）の相互作用に起因しており、純粋な楕円型または放物型の非局所設定で用いられる supremum 尾部による標準的な非局所効果の相殺を妨げている。

手法
著者らは、ガリレイ変換による同質リー群構造および非ユークリッド的スケーリングによって支配される運動論的方程式の特定の幾何学に適合した、洗練された DGNM 理論を開発している。手法は以下の通りである：

1. 幾何学的枠組み: 解析は、運動論的スケーリング $\delta_r(t, x, v) = (r^{2s}t, r^{1+2s}x, rv)$ に適応した「傾いた円柱」$Q_r(z_0)$ 上で行われる。これは輸送演算子の内在的なスケーリングを尊重する。
2. 尾部制御: 大域的有界性を仮定するか supremum 尾部を使用する代わりに、著者らは輸送変数に沿った解の「非局所尾部」の $L^p$ 総和性に基づく条件を導入する。尾部は以下のように定義される：
   $$\text{Tail}(f; B_r(v_0)) := r^{2s} \int_{\mathbb{R}^n \setminus B_r(v_0)} \frac{|f(v)|}{|v_0 - v|^{n+2s}} \, dv$$
   重要な仮定は、この尾部量が $p > N_s/2s$ かつ $N_s$ が同質次元であるとき、輸送変数 $(t, x)$ に関して $L^p_{loc}$ に属することである。
3. 積分可能性の獲得（カッチョポリ評価）: 証明は、尾部項を取り入れた新しい運動論的カッチョポリ評価に依存している。方程式の擬楕円性と分数階コルモゴロフ方程式の基本解（パラメトリクス法を介して）を利用することで、著者らは弱部分解に対する局所的な積分可能性の獲得を確立する。これにより、時間 - 速度空間における直接的なソボレフ不等式の欠如を回避できる。
4. 反復スキーム: 非局所尾部を処理するために修正された、De Giorgi 型の反復論法が採用される。この反復は、パラメータ $\delta$ によって制御される非局所尾部の寄与と局所的な寄与のバランスを取る。

主要な貢献と結果

• 定理 1.1（$\delta$-補間的 $L^2-L^\infty$ 評価）: 著者らは弱部分解に対する局所有界性評価を証明する。より小さな円柱上の解の $L^\infty$ ノルムは、より大きな円柱上の $L^2$ ノルム、源項 $h$ の $L^p$ ノルム、そして決定的に非局所尾部の $L^p$ ノルムによって有界となる。この評価には、局所的効果と非局所効果の間の定量的バランスを可能にするパラメータ $\delta$ が含まれる。
  $$\text{ess sup}_{Q_{r/2}} f \leq c(\delta) \langle v_0 \rangle^{\dots} \|f\|_{L^2} + \dots + \delta \|\text{Tail}(f^+)\|_{L^p}$$
  この結果は、古典的評価の破綻が尾部の積分可能性の制御欠如に起因することを示すことで、[45] の反例が提起した問題を解決する。

• 定理 1.4（局所的積分可能性の獲得）: 尾部と源項が $L^p$ 条件を満たす場合、弱部分解は特定の $q$ の範囲に対して $L^q_{loc}$ に属することが確立される。これは $L^2-L^\infty$ 評価のための基礎的なステップである。

• 定理 1.5（強いハルナック不等式）: 非負の弱解に対する強いハルナック不等式の新しい定式化が証明される。古典的なバージョンとは異なり、この不等式は尾部の $L^p$ ノルムを含む非局所的な剰余項を含んでいる。
  $$\sup_{Q^-_{r_0}} f \leq c \inf_{Q^+_{r_0}} f + c \|\text{Tail}(f)\|_{L^p}$$
  この定式化は、尾部が制御されている場合に値の比が発散するのを防ぐため、[45] の反例と整合的であることが示される。

• 幾何学的特徴付け（定理 4.7）: Aronson と Serrin [7] の仕事を非局所運動論的設定に拡張し、著者らはハルナック不等式の幾何学的特徴付けを提供する。彼らは、基礎となるリー群内の許容曲線を通じて点を接続する「非局所ハルナック鎖」を定義し、コンパクト集合上の解の最大値が、鎖に沿った蓄積された尾部の寄与に加えて出発点の値によって制御されることを示す。

意義と主張
本論文は、検討対象のクラス内におけるコルモゴロフ方程式の非局所 DGNM 像を完成させることを主張している。その主な意義は以下の点にある：

1. 反例の解決: 古典的な形式では破綻する正則性評価を回復するために必要な正確な非局所的寄与（$L^p$ 総和可能な尾部）を特定する。
2. 事前仮定の除去: 結果は、以前の運動論文献で一般的な仮定であった解の大域的有界性を事前に仮定することなく、ホルダー連続性とハルナック不等式の証明を可能にする。
3. 統合: この作業は、運動論的理論を分数階楕円型および放物型設定で利用可能な評価と整合させ、粗い係数を持つ局所的運動論的方程式に対する最近の結果に対する積分微分対応を提供する。
4. 鋭さ: 著者らは、Kaßmann と Weidner によって提供された反例の文脈において、尾部に対する $L^p$ 条件が鋭い（あるいはほぼ鋭い）と主張する。なぜなら、より低い積分可能性は評価の破綻をもたらすからである。

本論文は、これらの手法が非線形 $p$-ラプラシアン型演算子、粘性アプローチ、および平均場ゲームへの応用などのさらなる発展の基礎となり得ると結論付けているが、これらは文中で確立された結果というよりも、潜在的な将来の方向性として提示されている。