[论文解读] Variational methods for the kinetic Fokker-Planck equation

Scott N. Armstrong, Armstrong, S.+2 more|arXiv (Cornell University)|Feb 11, 2019

Gas Dynamics and Kinetic Theory参考文献 46被引用 44

一句话总结

该论文为 Kramers 和动的 Fokker-Planck 方程建立了一个函数分析与变分框架，证明了在次光滑的 H1 型空间和 Poincaré 型不等式下的良态性、正则性以及指数收敛到平衡。

ABSTRACT

We develop a functional analytic approach to the study of the Kramers and kinetic Fokker-Planck equations which parallels the classical $H^1$ theory of uniformly elliptic equations. In particular, we identify a function space analogous to $H^1$ and develop a well-posedness theory for weak solutions in this space. In the case of a conservative force, we identify the weak solution as the minimizer of a uniformly convex functional. We prove new functional inequalities of Poincaré and Hörmander type and combine them with basic energy estimates (analogous to the Caccioppoli inequality) in an iteration procedure to obtain the $C^\infty$ regularity of weak solutions. We also use the Poincaré-type inequality to give an elementary proof of the exponential convergence to equilibrium for solutions of the kinetic Fokker-Planck equation which mirrors the classic dissipative estimate for the heat equation. Finally, we prove enhanced dissipation in a weakly collisional limit.

研究动机与目标

• 引入一个针对 kinetic Fokker-Planck 方程的次光滑结构定制的函数空间 H^{1}_{hyp}。
• 通过变分方法和 Lax-Milgram 型论证建立弱解的良解性。
• 证明正则性结果，在数据和系数具有适当正则性的情况下，弱解是光滑的。
• 在次光滑设定下导出 Poincaré 型不等式与 Hörmander 型不等式，以获得强性与速度平均性。
• 在相关极限下证明指数收敛到平衡与增强耗散。

提出的方法

• 定义 hypoelliptic Sobolev 型空间 H^{1}_{hyp}(U)，其范数将 ∇_{v}f 的 L^{2}_{x}L^{2}_{γ} 控制与 v·∇_{x}f 的 L^{2}_{x}H^{-1}_{γ} 控制结合起来。
• 使用 H^{1}_{hyp} 与与 H^{-1}_{γ} 的对偶配对，给出 Kramers 方程的弱解概念。
• 为 H^{1}_{hyp} 建立 Poincaré 不等式，以获得强性和良态性。
• 构造一个均匀凸的泛函，其极小值点满足 Kramers 方程（变分形式）。
• 证明 Hörmander 型不等式，得到分数阶的空间正则性，并结合 Caccioppoli 型估计实现内部正则性，从而获得弱解的光滑性。
• 将该框架推广到时间依赖的 kinetic Fokker-Planck 方程，并通过一个动量的 Poincaré 不等式导出到平衡的指数收敛。
• 在环面上在弱碰撞极限下，通过时依赖和 ε 依赖的 Hörmander 不等式显示增强耗散。

实验结果

研究问题

• RQ1 是否可以为 hypoelliptic Kramers 与 kinetic Fokker-Planck 方程建立一个类似于统一偏微分方程的函数分析-变分框架？
• RQ2 在 hypoelliptic 结构中捕获并实现弱解的良解性与速度平均性的正确函数空间是什么？
• RQ3 在合理的数据与系数正则性下，是否能获得内部正则性和弱解的光滑性？
• RQ4 在动力学设定下，Poincaré-type 不等式是否能给出指数收敛到平衡和强性？
• RQ5 在弱碰撞极限下会发生什么，是否能建立增强耗散？

主要发现

• 识别并使用了 hypoelliptic 函数空间 H^{1}_{hyp} 来表述 Kramers 方程的弱解。
• 证明了 H^{1}_{hyp} 的 Poincaré 型不等式，确保强性并使得通过变分方法得到良态性。
• 给出 Hörmander 型不等式，获得分数阶的 x-正则性，并结合 Caccioppoli 型估计，得到弱解的内部 C^{∞} 正则性。
• 时间相关的 kinetic Fokker-Planck 方程在类似的 H^{1}_{kin} 框架下处理，得到到平衡的指数收敛。
• 对于在没有右端项和无 b 的环面，在弱碰撞机制下，在快速时间尺度上表现出增强耗散。
• 结果通过变分和函数分析方法将 hypoelliptic 方程与经典椭圆/抛物理论联系起来。