[论文解读] Velocity averaging and Hölder regularity for kinetic Fokker-Planck equations with general transport operators and rough coefficients

Yuzhe Zhu|arXiv (Cornell University)|Oct 8, 2020

Gas Dynamics and Kinetic Theory参考文献 23被引用 4

一句话总结

本文通过结合速度平均化引理与De Giorgi-Nash-Moser理论，建立了具有广义输运算子和粗糙系数的动能Fokker-Planck方程弱解的局部有界性与Hölder正则性。关键贡献在于在输运场 $ b(v) $ 的最小非退化条件下证明了这些正则性性质，将先前仅针对 $ b(v) = v $ 的结果推广至一般 $ b \in L^\infty \cap H^1 $ 且具有受控水平集的情形。

ABSTRACT

This article addresses the local boundedness and Hölder continuity of weak solutions to kinetic Fokker-Planck equations with general transport operators and rough coefficients. These results are due to the mixing effect of diffusion and transport. Although the equation is parabolic only in the velocity variable, it has a hypoelliptic structure provided that the transport part $\partial_t+b(v)\cdot abla_x$ is nondegenerate in some sense. We achieve the results by revisiting the method, proposed by Golse, Imbert, Mouhot and Vasseur in the case $b(v)= v$, that combines the elliptic De Giorgi-Nash-Moser theory with velocity averaging lemmas.

研究动机与目标

• 建立具有广义输运算子和粗糙系数的动能Fokker-Planck方程弱解的局部有界性。
• 在输运场 $ b(v) $ 满足非退化条件的前提下，证明解的Hölder连续性。
• 将De Giorgi-Nash-Moser理论推广至一般 $ b(v) $ 的动能方程，而不仅限于 $ b(v) = v $ 的情形。
• 表明速度平均化引理可在 $ b(v) $ 非退化时补偿速度变量中椭圆正则性的缺失。
• 基于数据范数，推导解的振荡与 $ C^\beta $ 范数的定量估计。

提出的方法

• 重新审视Golse、Imbert、Mouhot与Vasseur的方法，将速度平均化引理与De Giorgi-Nash-Moser理论结合用于动能方程。
• 采用对 $ b(v) $ 的非退化条件，以水平集测度有界形式表达：$ \big{|}\{v \in B_r(v_0) : |\mu + b(v)\cdot\nu| \leq \epsilon\}\big{|} \leq K r^{d_2-1} \epsilon $，以控制输运与扩散的混合效应。
• 应用尺度变换方法强化非退化假设以获得Hölder正则性，要求 $ b \in C^1 $ 且 $ Db $ 具有受控模连续性。
• 在动能几何中采用改进的De Giorgi迭代方案，利用内在抛物柱体 $ \mathcal{C}_r $ 处理其拟椭圆结构。
• 引入截断与截断技术以控制解的正负部分，将问题简化为次解估计。
• 使用一个定性等周引理，证明若某特征函数的导数在 $ L^p $ 中有界，则其必须为非正，从而有助于控制振荡。

实验结果

研究问题

• RQ1 对于具有广义输运场 $ b(v) $ 和粗糙系数的动能Fokker-Planck方程，能否建立局部有界性？
• RQ2 在何种条件下，动能Fokker-Planck方程的解可实现Hölder连续性？
• RQ3 速度平均化引理在多大程度上可补偿速度变量中椭圆性的缺失？
• RQ4 以水平集厚度衡量的 $ b(v) $ 的非退化性如何影响解的正则性？
• RQ5 De Giorgi-Nash-Moser理论在何种程度上可适用于非仿射输运算子的动能方程？

主要发现

• 在非退化条件（1.3）下，次解具有局部有界性，当 $ s \in L^q $ 且 $ q > \frac{(4+\alpha)(4+d_2)(1+d_1+d_2)}{2\alpha} $ 时，$ f^+ $ 在 $ Q_{\text{int}} $ 上有界。
• 若 $ f^+ $ 在 $ Q_{\text{int}} $ 上的 $ L^\infty $ 范数受控于 $ \|f^+\|_{L^2(Q_1)} + \|s\|_{L^q(Q_1)} $，常数仅依赖于 $ \lambda, \Lambda, d_1, d_2, K, \alpha, q $。
• 当 $ d_1 = d_2 = d $，$ b \in C^1 $，且非退化条件（1.4）成立，且 $ b \in C^1 $、$ Db $ 具有模连续性 $ o_1 $ 时，弱解具有Hölder正则性。
• 解满足 $ \|f\|_{C^\beta(Q_{\text{int}})} \leq C(\|f\|_{L^2(Q_1)} + \|s\|_{L^q(Q_1)}) $，其中 $ q > (1+2d)^2 $，$ \beta \in (0,1) $，常数 $ C $ 依赖于 $ \lambda, \Lambda, d, K, q, o_1 $。
• 解在更小柱体中的振荡呈几何衰减：$ \text{osc}_{\mathcal{C}_\omega} \tilde{f} \leq (1-\theta_0)\text{osc}_{\mathcal{C}_1} \tilde{f} + C\|s\|_{L^q} + \text{osc}_{B_1 \times B_1} f(0,\cdot,\cdot) $，从而导出Hölder连续性。
• 推导出一个定量Hölder估计：$ \text{osc}_{B_{cr^3}(z_0)} f \lesssim r^{3\beta_0}(\|f\|_{L^2} + \|s\|_{L^q} + \|f(0,\cdot,\cdot)\|_{C^{\alpha_0}}) $，其中 $ \beta_0 = \frac{1}{3}\min(\frac{\alpha_0}{2}, \beta_1) $。