玻尔兹曼方程
玻尔兹曼方程或玻尔兹曼输运方程(Boltzmann transport equation,BTE)是由玻尔兹曼于1872年提出的一个方程,用于描述非平衡状态热力学系统的统计行为[2]。具有溫度梯度的流体即为这类系统的一个经典的例子:构成流体的微粒在系统中通过随机而具有偏向性的运动让热量从较热的区域流向较冷的区域,而这一过程可用玻尔兹曼方程来描述。在现今的论文中,“玻尔兹曼方程”这个术语常被用于更一般的意义上,它可以是任何涉及描述热力学系统中宏观量(如能量,电荷或粒子数)的变化的动力学方程。
波尔兹曼方程并不去确定流体中每个粒子的位置和动量,而是求出具有特定位置和动量的粒子的概率分布。具体而言,考虑某一瞬间,以位置矢量 末端为中心的无穷小区域内,动量无限接近动量矢量 (即这些粒子在动量空间中也处于无穷小区域 内)的粒子的概率分布。
波尔兹曼方程可用于确定物理量是如何变化的,例如流体在输运过程中的热能和动量;还可由此推导出其他的流体特征性质,例如黏度,熱導率,以及电阻率(将材料中的载流子视为气体)[2],详见对流扩散方程式。
波尔兹曼方程是一个非線性的积微分方程。方程中的未知函数是一个包含了粒子空间位置和动量的六维概率密度函数。方程解的存在性和唯一性问题仍然没有完全解决,但就最近发表的一些工作而言,对于解决这一问题还是有一定希望的。[3][4]
概述
相空间与密度函数
系统中所有可能的位置 和动量 组成的集合被称作此系统的相空间,其中位置坐标记为 ,动量坐标记为 。整个空间是六维的:空间中某一点的坐标可表示为 ,每个坐标均通过时间 参数化。微元(或微分体积元)可写作:
波尔兹曼方程的核心是“”函数,它表示的是在一段极短的时间内,每一相空间单位体积中的个分子在微元 中,位置都为 且动量都为 的概率。通过定义,我们可使概率密度函数 满足以下条件:
被定义为在时间 ,位于 的空间元 中的粒子总数[5]:61-62。对坐标空间与动量空间的一个区域积分即可得该区域内所有具有对应位置和动量的粒子的总数:
虽然是和一群粒子相关的,但此相空间是对于单一粒子的(而不是像多体系统中考虑全部粒子)。这里不使用 r1, p1 表示粒子1,r2, p2 表示粒子2,……,rN, pN 表示粒子N。
系统中的粒子被假定是相同的(因此他们均有相同的质量)。对于具有超过一种化学组分的混合物,每一种成分都需要有一个分布函数,见下文。
“force”项和“diff”项
考虑一群以分布的粒子。每个粒子均受到外力的作用(不包括粒子间作用力。粒子间的作用见后面对“coll”项的处理)。
假设在时间 ,一定数量的粒子都有位置 (于微元 内),和动量 (于微元 内)。如果此时有一个力在这一瞬作用在每个颗粒上,那么在时间 ,它们的位置将会是,动量将变成 。在没有碰撞的情况下,必须满足
这里,注意到相空间元 是恒定的这个事实可以从哈密顿方程(见刘维尔定理)得知。然而,由于存在碰撞,相空间元 中的粒子密度是可变的,所以
-
(
)
其中 指的是的总变化量。(1)式除以 并取极限 和 可得
-
(
)
的全微分:
-
(
)
碰撞项(Stosszahlansatz)和分子混沌
玻尔兹曼的一个关键见解就是对碰撞项的确定。他假设的碰撞项完全是由假定在碰撞前不相关的两个粒子的相互碰撞得到的。这个假设被波尔兹曼称为“Stosszahlansatz”,也叫做“分子混沌假设”。根据这一假设,碰撞项可以被写作单粒子分布函数的乘积在动量空间上的积分:[2]
其中 和 表示碰撞前任意两个粒子的动量(为了方便而标记为和), 和 表示碰撞后的动量
对碰撞项的简化
求解波尔兹曼方程时,许多挑战都来自于其复杂的碰撞项;因此我们会做一些对碰撞项“建模”和简化的尝试。现知最好的模型是由Bhatnagar,Gross和Krook作出的(BGK近似)[7]。BGK近似中假设分子的碰撞会迫使一个物理空间中的某一点的非平衡分布函数回到麦克斯韦平衡分布函数,且其发生率正比于分子碰撞频率。于是,波尔兹曼方程可被写作以下的BGK形式:(也叫做“驰豫时间近似”,relaxation time approximation[8])
其中 是分子碰撞频率,和驰豫时间 具有倒数关系:。是此处局域的麦克斯韦分布函数,由空间中这一点的气体温度给定。
普适方程(对于混合物)
对于具有多种化学组分的混合物,我们以 i =1,2,3,……,n 标记各种成分。则对于组分i的方程是:[2]
其中 。碰撞项为
其中 ,相对动量的大小是
Iij 是粒子i和粒子j之间的微分散射截面。此积分的和描述的是某一相空间元中,组分i粒子的进出。
应用和推广
守恒方程
玻尔兹曼方程可用于推导流体动力学中的质量守恒,电量守恒,动量守恒,以及能量守恒定律[9]:p 163。对于只含有一种粒子的流体,粒子数密度 为:
算符 A 的期望值由下式给出:
由于守恒方程中包含张量,以下使用爱因斯坦求和约定简化标记,即 且 ,其中 为粒子速度矢量。定义某函数 ,使得其唯一的自变量为动量 (碰撞中动量守恒)。假设力 为位置的函数,且对于 , 为0。对玻尔兹曼方程两边同乘 ,并对动量积分可得如下四项:
因为 在碰撞中守恒,所以最后一项为零。
令 ,即粒子质量,积分后的玻尔兹曼方程化为质量守恒方程[9]:pp 12,168:
为质量密度, 为平均流体速度。
令 ,即粒子动量,积分后的玻尔兹曼方程化为动量守恒方程[9]:pp 15,169:
为压强张量(粘性应力张量加上流体静力学压强)。
令 ,即粒子动能,积分后的玻尔兹曼方程化为能量守恒方程[9]:pp 19,169:
为动力热能密度(kinetic thermal energy density), 热通量矢量。
波尔兹曼方程的解
直到2010年,波尔兹曼方程的准确解才在数学上被证明是良好(well-behaved)的。这意味着,如果对服从波尔兹曼方程的系统施加一个微扰,此系统最终将回到平衡状态,而不是发散到无穷,或表现出其他的行为[10][11]。然而,这种存在性证明是无助于我们在现实问题中求解该等式的。 事实上,这个结论只告诉我们某种特定条件下的解是否存在,而不是如何找到他们。在实践中,数值计算方法被用于寻找各种形式的波尔兹曼方程的近似解,应用范围从稀薄气流中的高超音速空气动力学[12],到等离子体的流动[13]中都可以见到。
注释
- N. Gorban, Alexander; V. Karlin, Ilya. . Invariant Manifolds for Physical and Chemical Kinetics (Springer Berlin Heidelberg). 2005: 1–19 [2016-10-07]. doi:10.1007/978-3-540-31531-5_1. (原始内容存档于2016-04-23) (英语).
- 2nd. VCH. ISBN 3-527-26954-1.
- DiPerna, R. J.; Lions, P. L. . Inventiones Mathematicae. 1989-10, 98 (3): 511–547. doi:10.1007/BF01393835.
- Gressman, Philip T.; Strain, Robert M. . Journal of the American Mathematical Society. 2011-09-01, 24 (3): 771–771. doi:10.1090/S0894-0347-2011-00697-8.
- Kerson Huang. . Wiley. 1987. ISBN 978-0-471-81518-1.
- McGraw Hill Encyclopaedia of Physics (2nd Edition), C.B. Parker, 1994, ISBN 0-07-051400-3
- Bhatnagar, P. L.; Gross, E. P.; Krook, M. (1954-05-01).
- Grosso 2014,第501頁 .
- de Groot, S.R.; Mazur, P. . New York: Dover Publications Inc. 1984 [2013-01-31]. ISBN 0-486-64741-2. (原始内容存档于2013-03-28).
- Philip T. Gressman and Robert M. Strain (2010).
- "Mathematicians Solve 140-Year-Old Boltzmann Equation" (页面存档备份,存于). news.upenn.edu.
- Evans, Ben; Morgan, Ken; Hassan, Oubay (2011-03-01).
- Pareschi, L.; Russo, G. (2000-01-01).
参考资料
- (英文)Harris, Stewart (1971). An introduction to the theory of the Boltzmann equation (页面存档备份,存于). Dover Books. p. 221. ISBN 978-0-486-43831-3.此书的推导始于刘维尔定理和BBGKY,介绍了玻尔兹曼方程在现代物理框架下的地位。其他大部分统计力学的教科书,例如黄克孙的《Statistical Mechanics》,甚至原样照搬玻尔兹曼最初的演算过程。为了简化论述,这些教科书运用启发式的解释,避而不谈玻尔兹曼方程的应用范围以及方程中的某些假设,而这些假设正是玻尔兹曼方程与其他输运方程例如福克-普朗克方程或朗道方程组的不同之处。
- (英文)Arkeryd, Leif (1972). "On the Boltzmann equation part I: Existence". Arch. Rational Mech. Anal. 45: 1–16. Bibcode:1972ArRMA..45....1A. doi:10.1007/BF00253392.
- (英文)Arkeryd, Leif (1972). "On the Boltzmann equation part II: The full initial value problem". Arch. Rational Mech. Anal. 45: 17–34. Bibcode:1972ArRMA..45...17A. doi:10.1007/BF00253393.
- (英文)Arkeryd, Leif (1972). "On the Boltzmann equation part I: Existence". Arch. Rational Mech. Anal. 45: 1–16. Bibcode:1972ArRMA..45....1A. doi:10.1007/BF00253392.
- (英文)DiPerna, R. J.; Lions, P.-L. (1989). "On the Cauchy problem for Boltzmann equations: global existence and weak stability". Ann. of Math. (2). 130: 321–366. doi:10.2307/1971423.