[论文解读] On Rigorous Derivation of the Enskog Kinetic Equation

I. V. Gapyak, V. I. Gerasimenko|arXiv (Cornell University)|Jul 27, 2011

Material Science and Thermodynamics参考文献 19被引用 15

一句话总结

本文通过多体算子累积量的动理学生簇展开，严格推导了无限多刚性球体系统的Enskog动理方程。当初始数据由单粒子分布函数指定时，建立了BBGKY层级与广义Enskog方程之间的等价性，证明了在 $ L^1 $ 空间中解的存在性，并表明碰撞积分同时捕捉了初始关联和由刚性球体相互作用产生的动力学关联。

ABSTRACT

We develop a rigorous formalism for the description of the kinetic evolution of infinitely many hard spheres. On the basis of the kinetic cluster expansions of cumulants of groups of operators of finitely many hard spheres the nonlinear kinetic Enskog equation and its generalizations are justified. It is established that for initial states which are specified in terms of one-particle distribution functions the description of the evolution by the Cauchy problem of the BBGKY hierarchy and by the Cauchy problem of the generalized Enskog kinetic equation together with a sequence of explicitly defined functionals of a solution of stated kinetic equation is an equivalent. For the initial-value problem of the generalized Enskog equation the existence theorem is proved in the space of integrable functions.

研究动机与目标

• 为从无限多刚性球体的底层动力学出发，严格推导Enskog动理方程。
• 解决尽管在Boltzmann方程推导方面已有显著进展，但Enskog型方程的推导仍为开放问题的难题。
• 在动理学框架内，考虑刚性球体系统中因禁止构型导致的初始关联。
• 在仅由单粒子分布函数指定初始数据的条件下，建立BBGKY层级与广义Enskog方程之间的等价性。
• 证明广义Enskog方程在可积函数空间中的解的存在性定理。

提出的方法

• 利用多体算子群累积量的动理学生簇展开，描述有限系统中的关联动力学。
• 应用非平衡巨正则系综的形式化方法，对粒子数可变的无限粒子系统进行建模。
• 通过碰撞积分的系统展开推导广义Enskog方程，纳入初始关联与动力学关联。
• 将状态的边缘泛函显式表示为广义Enskog方程解的泛函。
• 通过有界函数序列空间中的 $ \ast $-弱收敛，定义广义意义上的弱解。
• 通过存在性定理，证明广义Enskog方程柯西问题在 $ L^1(\mathbb{R}^3 \times \mathbb{R}^3) $ 中的解存在。

实验结果

研究问题

• RQ1 能否从无限多刚性球体的动力学出发，严格推导Enskog动理方程，包括初始关联？
• RQ2 当初始数据由单粒子分布函数指定时，BBGKY层级与广义Enskog方程之间的确切关系是什么？
• RQ3 禁止构型（刚性球体排斥）如何影响Enskog方程中碰撞积分的结构？
• RQ4 在何种条件下，广义Enskog方程在可积函数空间中存在解？
• RQ5 广义Enskog方程的马尔可夫极限是否能恢复已知形式，如修正的Enskog方程？

主要发现

• 通过动理学生簇展开的算子累积量，严格从BBGKY层级推导出广义Enskog方程。
• 当初始数据仅由单粒子分布函数定义时，整个系统的演化等价于求解广义Enskog方程及一系列显式定义的边缘泛函。
• 广义Enskog方程中的碰撞积分包含Boltzmann-Enskog项以及更高阶项，用于描述初始关联与动力学生成的关联。
• 柯西问题的解在可积函数空间中存在，已通过存在性定理证明。
• 广义意义上的弱解由满足BBGKY层级的时间导数泛函表征，证实其与原始动力学的一致性。
• 当不存在动力学关联时，广义Enskog方程的马尔可夫极限退化为修正的Enskog方程，仅保留由排除体积效应引起的初始关联。