[论文解读] Group analysis of the one-dimensional Boltzmann equation

A. V. Borovskikh, K. S. Platonova|arXiv (Cornell University)|May 21, 2019

Nonlinear Waves and Solitons参考文献 2被引用 4

一句话总结

本文研究在一维玻尔兹曼方程中，在物理一致性约束下的群分析，重点在于坐标变换下粒子数的不变性。通过将方程改写为散度形式以保持粒子数守恒，作者对所有可能的对称代数进行分类，并推导出力函数 𝒻 的标准形式，表明仅特定族（I–III）能容纳维数大于二的对称代数，且通过等价变换可显式简化为标准形式，如 𝒻 = cG(c²f)。

ABSTRACT

The one-dimensional Boltzmann equation $f_{t} + cf_{x} + (\mathcal {F} f)_{c} = 0$ is considered with the function $\mathcal{F}$ depending on $(t, x, c, f)$. In this paper we obtain a complete group classification of such equations in the class of point transformations of the entire set of variables $(t, x, c, f)$ under the conditions of invariance of a) the relations $dx = cdt$, $dc = \mathcal {F} dt$, b) the lines $ dt = dx = 0 $ and c) the form $fdxdc$ fixing the physical meaning of the variables and the relationships between them.

研究动机与目标

• 建立一维玻尔兹曼方程群分析的数学严谨框架，同时保持物理一致性。
• 识别并强制实施在坐标变换下粒子数不变的物理条件，这要求方程必须处于散度形式。
• 在该物理约束下，对玻尔兹曼方程的所有可能对称代数进行分类，扩展以往仅考虑动量和时空不变性的研究。
• 通过等价变换推导力函数 𝒻 的标准形式，实现对具有非平凡对称代数的方程进行系统分类。
• 证明仅特定力函数族（I–III）能支持维数大于二的对称代数，并给出显式参数形式。

提出的方法

• 将一维玻尔兹曼方程表述为散度形式：fₜ + c fₓ + (∂/∂c)(𝒻 f) = 0，以确保在变换下粒子数守恒。
• 应用经典李群分析方法，确定对称群的无穷小生成元，求解向量场分量 ξ、τ 和 η 的确定系统。
• 施加物理约束：(1) 牛顿动力学的保持（dx = c dt，dc = 𝒻 dt），(2) 常数-t 和常数-x 线的不变性，(3) 通过 f dx dc 的不变性实现粒子数的不变性。
• 使用等价变换将 𝒻 的一般形式约化为标准代表形式，包括 𝒻 = c G(c²f)、𝒻 = T₁(t) f⁻¹ᐟ² + c T₂(t) 和 𝒻 = P/(c³f²) 等情形。
• 通过在 c 中拆分多项式分析所得的确定系统，导出系数的常微分方程，并根据 𝒻 的函数形式对解进行分类。
• 采用分离变量法与泛函分析，识别对称代数为有限维且非平凡（维数 > 2）的情形。

实验结果

研究问题

• RQ1 哪些形式的力函数 𝒻(t,x,c,f) 能在一般坐标变换下保持一维玻尔兹曼方程中粒子数的不变性？
• RQ2 当强制实施粒子数守恒时，一维玻尔兹曼方程的对称代数结构是怎样的？
• RQ3 在物理一致性约束下，哪些力函数族能容纳维数大于二的对称代数？
• RQ4 如何利用等价变换将一般力函数约化为保持对称结构的标准形式？
• RQ5 在散度形式玻尔兹曼方程的背景下，存在非平凡对称代数的 𝒻 的必要与充分条件是什么？

主要发现

• 粒子数不变性的条件要求玻尔兹曼方程必须处于散度形式：fₜ + c fₓ + (∂/∂c)(𝒻 f) = 0，而非标准的非散度形式。
• 仅有三类力函数（I–III）能支持维数大于二的对称代数，其显式形式如 𝒻 = c G(c²f)、𝒻 = T₁(t) f⁻¹ᐟ² + c T₂(t) 和 𝒻 = P/(c³f²)。
• 函数 𝒻 = c G(c²f) 对应于标准形式 III.3.2，通过时间重参数化 φ(t) 实现，其中 φ′(t) = 1/h(t)。
• 情形 𝒻 = T₁(t) f⁻¹ᐟ² + c T₂(t) 在满足 φ′′(t) = T₂(t) φ′(t) 的时间变换下约化为 III.2.4。
• 对于 𝒻 = P/(c³f²)，当 τ(t) G(t)¹ᐟ³ 为常数时，对称代数出现，导致解 τ = (Ax + B)(t + k) 和 G(t) = P/(t + k)³ 或常数。
• 函数 𝒻 = P/(c³f²) 可通过 t̄ = ln(t + k) 变换为 𝒻 = P/(c̄³f̄²) + c̄，该形式属于族 II.3，从而确认其包含在分类之中。