[论文解读] Geometric analysis of the linear Boltzmann equation I. Trend to equilibrium

Daniel Han-Kwan, Matthieu Léautaud|arXiv (Cornell University)|Jan 31, 2014

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

一句话总结

本文通过控制理论概念，建立了在退化碰撞核下线性玻尔兹曼方程收敛至平衡态的几何条件。证明了几乎处处几何控制条件是收敛的必要且充分条件，并通过勒贝格常数表征指数衰减，将结果推广至环面、具有镜面反射的有界区域以及在一般碰撞核假设下的紧致黎曼流形。

ABSTRACT

This work is devoted to the analysis of the linear Boltzmann equation in a bounded domain, in the presence of a force deriving from a potential. The collision operator is allowed to be degenerate in the following two senses: (1) the associated collision kernel may vanish in a large subset of the phase space; (2) we do not assume that it is bounded below by a Maxwellian at infinity in velocity. We study how the association of transport and collision phenomena can lead to convergence to equilibrium, using concepts and ideas from control theory. We prove two main classes of results. On the one hand, we show that convergence towards an equilibrium is equivalent to an almost everywhere geometric control condition. The equilibria (which are not necessarily Maxwellians with our general assumptions on the collision kernel) are described in terms of the equivalence classes of an appropriate equivalence relation. On the other hand, we characterize the exponential convergence to equilibrium in terms of the Lebeau constant, which involves some averages of the collision frequency along the flow of the transport. We handle several cases of phase spaces, including those associated to specular reflection in a bounded domain, or to a compact Riemannian manifold.

研究动机与目标

• 分析有势驱动力和退化碰撞核作用下有界区域中线性玻尔兹曼方程的长期行为。
• 在碰撞核可能在相空间大子集上消失的情况下，建立收敛至平衡态的必要且充分几何条件。
• 通过勒贝格常数表征指数收敛至平衡态，该常数平均了沿输运轨迹的碰撞频率。
• 将结果推广至各种几何设定，包括环面、具有镜面反射的有界区域以及紧致黎曼流形。
• 将分析推广至线性化BGK模型及其他具有非麦克斯韦平衡态的动能输运方程。

提出的方法

• 使用几何控制理论，将碰撞集的结构与长期收敛行为联系起来。
• 引入几乎处处几何控制条件（a.e.i.t. GCC）作为收敛至平衡态的必要且充分条件。
• 应用流诱导的等价类概念来描述平衡态的形式，这些平衡态在一般碰撞核假设下不一定是麦克斯韦分布。
• 采用加权勒贝格空间和唯一延拓性质来分析解的正则性与传播性。
• 通过勒贝格常数表征指数收敛，该常数定义为沿轨迹的碰撞频率平均值的下确界。
• 利用速度平均引理和紧致性论证，在次可积框架中建立耗散估计。

实验结果

研究问题

• RQ1 碰撞集在何种几何条件下，线性玻尔兹曼方程会收敛至平衡态？
• RQ2 碰撞核的退化性——特别是其在相空间大子集上消失——如何影响收敛至平衡态？
• RQ3 输运流在决定收敛至平衡态速率方面起着何种精确作用？
• RQ4 在无穷远处碰撞频率无下界的情况下，勒贝格常数如何量化指数收敛？
• RQ5 这些结果在多大程度上可推广至非麦克斯韦平衡态以及如紧致流形或具有镜面反射的有界区域等不同几何设定？

主要发现

• 收敛至平衡态等价于几乎处处几何控制条件（a.e.i.t. GCC），该条件确保每条轨迹在碰撞集中花费正测度时间。
• 平衡态被表征为在流诱导的等价类上为常数的函数，在一般碰撞核假设下不一定是麦克斯韦分布。
• 指数收敛至平衡态由勒贝格常数的正性表征，该常数取决于沿轨迹的平均碰撞频率。
• 本文在相同的几何与谱条件下，建立了线性化BGK模型在$\mathcal{L}^2_{bgk}$-范数下的指数衰减。
• 对于BGK模型，指数收敛成立当且仅当$C^{-}(\infty) > 0$，即无穷远处碰撞频率有下界。
• 结果被推广至紧致黎曼流形和具有镜面反射的有界区域，表明几何控制条件仍是关键判据。