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

技术摘要：具有非局部扩散的动理学方程的 De Giorgi-Nash-Moser 理论

问题陈述
本文探讨了一类源于动理学理论的非局部超椭圆方程的正则性理论，具体形式为积分 - 微分 Kolmogorov 方程：
$$(\partial_t + v \cdot \nabla_x)f = L_v f + h$$
其中 $L_v$ 是仅作用于速度变量 $v$ 的非局部扩散算子，通常涉及分数阶导数（例如具有粗糙系数的分数阶 Laplacian $(-\Delta_v)^s$）。核 $K$ 满足标准的椭圆性/强制性条件，但可能是退化的。

在此设定下的一个核心困难在于经典 De Giorgi-Nash-Moser (DGNM) 估计的失效。Kaßmann 和 Weidner [45] 最近的反例表明，对于此类非局部动理学方程，经典的 Harnack 不等式和局部 $L^2-L^\infty$ 估计通常失效，即使对于稳态解也是如此。这种失效源于扩散的非局部性与各向异性输运项 ($v \cdot \nabla_x$) 之间的相互作用，这阻碍了在纯椭圆或抛物非局部设定中通过上确界尾部来补偿非局部效应的标准机制。

方法论
作者开发了一种针对动理学方程特定几何结构的精细化 DGNM 理论，该结构由齐次李群结构（伽利略变换）和非欧几里得标度所支配。方法论包括：

1. 几何框架：分析在适应于动理学标度 $\delta_r(t, x, v) = (r^{2s}t, r^{1+2s}x, rv)$ 的“倾斜圆柱”$Q_r(z_0)$ 上进行。这尊重了输运算子的内蕴标度。
2. 尾部控制：作者没有假设全局有界性或使用上确界尾部，而是引入了一个基于解沿漂移变量的“非局部尾部”的 $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$$
   关键假设是该尾部量关于输运变量 $(t, x)$ 属于 $L^p_{loc}$，其中 $p > N_s/2s$，$N_s$ 为齐次维数。
3. 可积性增益（Caccioppoli 估计）：证明依赖于一种包含尾部项的新型动理学 Caccioppoli 估计。通过利用方程的超椭圆性质和分数阶 Kolmogorov 方程的基本解（通过参数化方法），作者建立了弱次解的局部可积性增益。这使得他们能够绕过时间 - 速度空间中直接 Sobolev 不等式的缺失。
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$ 条件的情况下，弱次解属于特定范围的 $L^q_{loc}$。这是 $L^2-L^\infty$ 估计的基础步骤。

• 定理 1.5（强 Harnack 不等式）：为非负弱解证明了一种新的强 Harnack 不等式表述。与经典版本不同，该不等式包含一个涉及尾部 $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] 的工作扩展到非局部动理学设定，作者提供了 Harnack 不等式的几何刻画。他们定义了通过底层李群中的容许曲线连接点的“非局部 Harnack 链”，表明紧集上解的最大值受起始点处的值加上沿链累积的尾部贡献所控制。

意义与主张
本文声称在考虑的类别内完成了 Kolmogorov 方程的非局部 DGNM 图景。其主要意义在于：

1. 解决反例：它确定了恢复在经典形式中失效的正则性估计所需的精确非局部贡献（即 $L^p$ 可和的尾部）。
2. 去除先验假设：结果允许在不假设解的先验全局有界性的情况下证明 Hölder 连续性和 Harnack 不等式，这是以往动理学文献中的常见假设。
3. 统一性：该工作使动理学理论与分数阶椭圆和抛物设定中可用的估计相一致，为具有粗糙系数的局部动理学方程的最新结果提供了积分 - 微分对应物。
4. 尖锐性：作者认为，在 Kaßmann 和 Weidner 提供的反例背景下，尾部的 $L^p$ 条件是尖锐的（或近乎尖锐的），因为较低的可积性会导致估计失效。

本文最后指出，这些技术可作为进一步发展的基础，例如非线性 $p$-Laplacian 型算子、粘性方法以及平均场博弈的应用，尽管这些在文中被呈现为潜在的未来方向，而非已确立的结果。