玻尔兹曼方程

**玻尔兹曼方程**或**玻尔兹曼输运方程**（，縮寫：**BTE**）是由路德维希·玻尔兹曼于1872年提出的一个方程，用于描述非平衡状态热力学系统的统计行为。具有溫度梯度的流体即为这类系统的一个经典的例子：构成流体的微粒在系统中通过随机而具有偏向性的运动让热量从较热的区域流向较冷的区域，而这一过程可用玻尔兹曼方程来描述。在现今的论文中，“玻尔兹曼方程”这个术语常被用于更一般的意义上，它可以是任何涉及描述热力学系统中宏观量（如能量，电荷或粒子数）的变化的动力学方程。

波尔兹曼方程并不去确定流体中每个粒子的位置和动量，而是求出具有特定位置和动量的粒子的概率分布。具体而言，考虑某一瞬间，以位置矢量 \mathbf{r} 末端为中心的无穷小区域内，动量无限接近动量矢量 \mathbf{p}（即这些粒子在动量空间中也处于无穷小区域 d^3\mathbf{p}内）的粒子的概率分布。

波尔兹曼方程可用于确定物理量是如何变化的，例如流体在输运过程中的热能和动量；还可由此推导出其他的流体特征性质，例如黏度，熱導率，以及电阻率（将材料中的载流子视为气体），详见对流扩散方程式。

波尔兹曼方程是一个非線性的。方程中的未知函数是一个包含了粒子空间位置和动量的六维概率密度函数。方程解的存在性和唯一性问题仍然没有完全解决，但就最近发表的一些工作而言，对于解决这一问题还是有一定希望的。

## 概述

### 相空间与密度函数
系统中所有可能的位置 \mathbf{r} 和动量 \mathbf{p} 组成的集合被称作此系统的相空间，其中位置坐标记为 x,y,z，动量坐标记为 p_x,p_y,p_z。整个空间是六维的：空间中某一点的坐标可表示为 (\mathbf{r}, \mathbf{p}) = (x,y,z,p_x,p_y,p_z)，每个坐标均通过时间 t 参数化。微元（或微分体积元）可写作：
:  d^3\mathbf{r}\,d^3\mathbf{p} = dx\,dy\,dz\,dp_x\,dp_y\,dp_z\ 
波尔兹曼方程的核心是“f”函数，它表示的是在一段极短的时间内，每一相空间单位体积中的N个分子在微元  d^3\mathbf{r}\,d^3\mathbf{p} 中，位置都为 \mathbf{r} 且动量都为 \mathbf{p} 的概率。通过定义，我们可使概率密度函数 f (\mathbf{r}, \mathbf{p}, t) 满足以下条件：
:dN = f (\mathbf{r}, \mathbf{p}, t)\,d^3\mathbf{r}\,d^3\mathbf{p}

dN 被定义为在时间 t，位于 (\mathbf{r}, \mathbf{p}) 的空间元  d^3\mathbf{r}\,d^3\mathbf{p} 中的粒子总数。对坐标空间与动量空间的一个区域积分即可得该区域内所有具有对应位置和动量的粒子的总数：
:N = \int\limits_\mathrm{positions} d^3\mathbf{r}\int\limits_\mathrm{momenta} d^3\mathbf{p}\,f (\mathbf{r},\mathbf{p},t) = \iiint\limits_\mathrm{positions} \quad \iiint\limits_\mathrm{momenta}  f (x,y,z,p_x,p_y,p_z,t)\,dx\,dy\,dz\,dp_x\,dp_y\,dp_z


虽然f是和一群粒子相关的，但此相空间是对于**单一**粒子的（而不是像多体系统中考虑全部粒子）。这里不使用 **r**1, **p**1 表示粒子1，**r**2, **p**2 表示粒子2，……，**r**N, **p**N 表示粒子N。

系统中的粒子被假定是相同的（因此他们均有相同的质量m）。对于具有超过一种化学组分的混合物，每一种成分都需要有一个分布函数，见下文。

### 一般形式
方程的一般形式可以写作：
:\frac{d f}{d t} = \left(\frac{\partial f}{\partial t}\right)_\mathrm{force} + \left(\frac{\partial f}{\partial t}\right)_\mathrm{diff}+ \left(\frac{\partial f}{\partial t}\right)_\mathrm{coll}
这里“force”一词指的是外部对粒子施加的力（而不是粒子间的作用），“diff”表示粒子的扩散，“coll”表示粒子的碰撞，指的是碰撞中粒子间相互的作用力。上述三项的具体形式将会在下文给出。

注意，一些作者会使用粒子的速度 \mathbf{v}，来代替上文的 \mathbf{p}；这两个物理量可以通过定义\mathbf{p} = m\mathbf{v}来联系。

## “force”项和“diff”项
考虑一群以f分布的粒子。每个粒子均受到外力\mathbf{F}的作用（不包括粒子间作用力。粒子间的作用见后面对“coll”项的处理)。

假设在时间 t，一定数量的粒子都有位置 \mathbf{r}（于微元  d^3\mathbf{r} 内），和动量 \mathbf{p}（于微元  d^3\mathbf{p} 内）。如果此时有一个力\mathbf{F}在这一瞬作用在每个颗粒上，那么在时间 t + \Delta\,t，它们的位置将会是\mathbf{r} + \Delta\,\mathbf{r} = \mathbf{r} + \mathbf{p} \Delta\,t/m，动量将变成 \mathbf{p} + \Delta\,\mathbf{p} = \mathbf{p} + \mathbf{F}\Delta\,t。在没有碰撞的情况下，f必须满足

:
f \left (\mathbf{r}+\frac{\mathbf{p}}{m} \Delta t,\mathbf{p}+\mathbf{F}\Delta t,t+\Delta t \right )\,d^3\mathbf{r}\,d^3\mathbf{p} =
f(\mathbf{r},\mathbf{p},t)\,d^3\mathbf{r}\,d^3\mathbf{p}


这里，注意到相空间元  d^3\mathbf{r}\,d^3\mathbf{p} 是恒定的这个事实可以从哈密顿方程（见刘维尔定理）得知。然而，由于存在碰撞，相空间元  d^3\mathbf{r}\,d^3\mathbf{p} 中的粒子密度是可变的，所以
{m}\Delta t,\mathbf{p} + \mathbf{F}\Delta t,t+\Delta t \right)d^3\mathbf{r}d^3\mathbf{p}
- f(\mathbf{r},\mathbf{p},t)d^3\mathbf{r}d^3\mathbf{p} \\
& = \Delta f d^3\mathbf{r}d^3\mathbf{p} 
\end{align}
|}}
其中 \Delta f 指的是f的总变化量。（）式除以  d^3\mathbf{r}\,d^3\mathbf{p}\,\Delta t 并取极限  \Delta t\,\rightarrow 0 和  \Delta f\,\rightarrow 0 可得

f的全微分：
\cdot d\mathbf{p} \\
& = \frac{\partial f}{\partial t}dt +\nabla f \cdot \frac{\mathbf{p}dt}{m} + \frac{\partial f}{\partial \mathbf{p}}\cdot \mathbf{F}dt
\end{align}
|}}
其中** ∇** 为梯度算符，**·** 为点积，

: 
\frac{\partial f}{\partial \mathbf{p}} = \mathbf{\hat{e}}_x\frac{\partial f}{\partial p_x} + \mathbf{\hat{e}}_y\frac{\partial f}{\partial p_y}+\mathbf{\hat{e}}_z\frac{\partial f}{\partial p_z}= \nabla_\mathbf{p}f


是∇的动量类比的一个简写，**ê***x*, **ê***y*, **ê***z* 为笛卡尔坐标系下的单位矢量。

### 最终形式
对（）两边同除以*dt* 并代入（）可得：
: \frac{\partial f}{\partial t} + \frac{\mathbf{p}}{m}\cdot\nabla f + \mathbf{F}\cdot\frac{\partial f}{\partial \mathbf{p}} = \left(\frac{\partial f}{\partial t} \right)_\mathrm{coll}
这里，F (\mathbf{r}, t) 为流体中作用在粒子上的力场，m为粒子质量。 右边的一项用于描述粒子间相互碰撞产生的影响；如果此项为零，则说明粒子之间没有碰撞。无碰撞情况下的玻尔兹曼方程常被称为。

这个方程比上一节“主要论述”中的一般形式更加有用。然而这个方程依旧是不完整的：除非已知f中的碰撞项，否则f是解不出来的。这一项并不像其他项一样可以简单地或一般地得到——这一项是表示粒子的碰撞的**统计项**，需要知道粒子遵守怎样的统计规律，例如麦克斯韦-玻尔兹曼分布，费米-狄拉克分布或玻色–爱因斯坦分布。

## 碰撞项（Stosszahlansatz）和分子混沌
玻尔兹曼的一个关键见解就是对碰撞项的确定。他假设的碰撞项完全是由假定在碰撞前不相关的两个粒子的相互碰撞得到的。这个假设被波尔兹曼称为“Stosszahlansatz”，也叫做“”。根据这一假设，碰撞项可以被写作单粒子分布函数的乘积在动量空间上的积分：
: 
 \left(\frac{\partial f}{\partial t} \right)_{\mathrm{coll}} = \iint gI(g, \Omega)[f(\mathbf{p'}_A,t) f(\mathbf{p'}_B,t) - f(\mathbf{p}_A,t) f(\mathbf{p}_B,t)] \,d\Omega\,d^3\mathbf{p}_A\,d^3\mathbf{p}_B.

其中 \mathbf{p}_A 和 \mathbf{p}_B 表示碰撞前任意两个粒子的动量（为了方便而标记为A和B）， \mathbf{p}'_A 和 \mathbf{p}'_B 表示碰撞后的动量
: g = |\mathbf{p}_B - \mathbf{p}_A| = |\mathbf{p'}_B - \mathbf{p'}_A|
指对应动量的大小（此概念参考相对速度），I(g, \Omega) 是碰撞的微分散射截面。

## 对碰撞项的简化
求解波尔兹曼方程时，许多挑战都来自于其复杂的碰撞项；因此我们会做一些对碰撞项“建模”和简化的尝试。现知最好的模型是由Bhatnagar，Gross和Krook作出的（BGK近似）。BGK近似中假设分子的碰撞会迫使一个物理空间中的某一点的非平衡分布函数回到麦克斯韦平衡分布函数，且其发生率正比于分子碰撞频率。于是，波尔兹曼方程可被写作以下的BGK形式：(也叫做“驰豫时间近似”，relaxation time approximation)
: \frac{\partial f}{\partial t} + \frac{\mathbf{p}}{m}\cdot\nabla f + \mathbf{F}\cdot\frac{\partial f}{\partial \mathbf{p}} = \nu (f_0 - f)
其中 \nu 是分子碰撞频率，和驰豫时间 \tau 具有倒数关系：\nu = 1/\tau。f_0是此处局域的麦克斯韦分布函数，由空间中这一点的气体温度给定。

## 普适方程（对于混合物）
对于具有多种化学组分的混合物，我们以 i =1，2，3，……，n 标记各种成分。则对于组分i的方程是：
: \frac{\partial f_i}{\partial t} + \frac{\mathbf{p}_i}{m_i}\cdot\nabla f_i + \mathbf{F}\cdot\frac{\partial f_i}{\partial \mathbf{p}_i} = \left(\frac{\partial f_i}{\partial t} \right)_\mathrm{coll}
其中 f_i = f_i(\mathbf{r}, \mathbf{p_i}, t)。碰撞项为
: 
 \left(\frac{\partial f_i}{\partial t} \right)_{\mathrm{coll}} = \sum_{j=1}^n \iint g_{ij} I_{ij}(g_{ij}, \Omega)[f'_i f'_j - f_if_j] \,d\Omega\,d^3\mathbf{p'}.

其中 f' = f'(\mathbf{p_i'}, t)，相对动量的大小是
: g_{ij} = |\mathbf{p}_i - \mathbf{p}_j| = |\mathbf{p'}_i - \mathbf{p'}_j|
Iij 是粒子i和粒子j之间的微分散射截面。此积分的和描述的是某一相空间元中，组分i粒子的进出。

## 应用和推广
### 守恒方程

玻尔兹曼方程可用于推导流体动力学中的质量守恒，电量守恒，动量守恒，以及能量守恒定律。对于只含有一种粒子的流体，粒子数密度 n 为：
:n=\int f\,d^3p

算符 A 的期望值由下式给出：
:\langle A \rangle = \frac 1 n \int A f\,d^3p

由于守恒方程中包含张量，以下使用爱因斯坦求和约定简化标记，即 \mathbf{x}\rightarrow x_i 且 \mathbf{p}\rightarrow p_i = m w_i，其中 w_i 为粒子速度矢量。定义某函数 g(p_i)，使得其唯一的自变量为动量 p_i（碰撞中动量守恒）。假设力 F_i 为位置的函数，且对于 p_i\rightarrow\pm \infty，f 为0。对玻尔兹曼方程两边同乘 g ，并对动量积分可得如下四项：

:\int g \frac{\partial f}{\partial t}\,d^3p=\frac{\partial }{\partial t} (n \langle g \rangle) 

:\int \frac{p_j g}{m}\frac{\partial f}{\partial x_j}\,d^3p=\frac{1}{m}\frac{\partial}{\partial x_j}(n\langle g p_j \rangle)

:\int g F_j \frac{\partial f}{\partial p_j}\,d^3p=-nF_j\left\langle \frac{\partial g}{\partial p_j}\right\rangle

:\int g \left(\frac{\partial f}{\partial t}\right)_\mathrm{coll}\,d^3p=0

因为 g 在碰撞中守恒，所以最后一项为零。

令 g=m，即粒子质量，积分后的玻尔兹曼方程化为质量守恒方程：

:\frac{\partial}{\partial t}\rho
+ \frac{\partial}{\partial x_j}(\rho V_j)
=0

\rho=mn 为质量密度，V_i=\langle w_i\rangle 为平均流体速度。

令 g=m w_i，即粒子动量，积分后的玻尔兹曼方程化为动量守恒方程：

:\frac{\partial}{\partial t}(\rho V_i) + \frac{\partial}{\partial x_j}(\rho V_i V_j+P_{ij}) - nF_i=0

P_{ij}=\rho\langle (w_i-V_i) (w_j-V_j) \rangle 为压强张量（加上流体静力学压强）。

令 g=\tfrac{1}{2}m w_i w_i，即粒子动能，积分后的玻尔兹曼方程化为能量守恒方程：

:\frac{\partial}{\partial t}(u+\tfrac{1}{2}\rho V_i V_i) + \frac{\partial}{\partial x_j} (uV_j+\tfrac{1}{2}\rho V_i V_i V_j + J_{qj}+P_{ij}V_i)-nF_iV_i = 0

u=\tfrac{1}{2}\rho\langle (w_i-V_i) (w_i-V_i) \rangle 为动力热能密度（kinetic thermal energy density），J_{qi}=\tfrac{1}{2}\rho\langle (w_i-V_i)(w_k-V_k)(w_k-V_k)\rangle 热通量矢量。

### 哈密顿力学

在哈密顿力学中, 玻尔兹曼方程通常写作
:\hat{\mathbf{L}}[f]=\mathbf{C}[f], \, 
其中 **L** 是刘维尔算子(这里定义的刘维尔算子和链接文章中的定义不一致)，它描述了相空间体积的演化；**C** 是碰撞算子。非相对论下的**L** 写作

:\hat{\mathbf{L}}_\mathrm{NR} = \frac{\partial}{\partial t} + \frac{\mathbf{p}}{m} \cdot \nabla + \mathbf{F}\cdot\frac{\partial}{\partial \mathbf{p}}\,.

### 量子理论和粒子数守恒的违背
### 广义相对论和天文学
## 波尔兹曼方程的解
直到2010年，波尔兹曼方程的准确解才在数学上被证明是（well-behaved）的。这意味着，如果对服从波尔兹曼方程的系统施加一个微扰，此系统最终将回到平衡状态，而不是发散到无穷，或表现出其他的行为。然而，这种存在性证明是无助于我们在现实问题中求解该等式的。 事实上，这个结论只告诉我们某种特定条件下的解是否存在，而不是如何找到他们。在实践中，数值计算方法被用于寻找各种形式的波尔兹曼方程的近似解，应用范围从稀薄气流中的高超音速空气动力学，到等离子体的流动中都可以见到。

## 参见
* 
* H定理
* 福克-普朗克方程
* 纳维-斯托克斯方程
* 
* 

## 注释



## 参考资料
* Harris, Stewart (1971). ''An introduction to the theory of the Boltzmann equation'' . Dover Books. p.&nbsp;221. ISBN&nbsp;978-0-486-43831-3.&nbsp;此书的推导始于刘维尔定理和，介绍了玻尔兹曼方程在现代物理框架下的地位。其他大部分统计力学的教科书，例如黄克孙的《Statistical Mechanics》，甚至原样照搬玻尔兹曼最初的演算过程。为了简化论述，这些教科书运用启发式的解释，避而不谈玻尔兹曼方程的应用范围以及方程中的某些假设，而这些假设正是玻尔兹曼方程与其他输运方程例如福克-普朗克方程或朗道方程组的不同之处。

* Arkeryd, Leif (1972). "On the Boltzmann equation part I: Existence". *Arch. Rational Mech. Anal*. **45**: 1–16. Bibcode:. doi:.&nbsp;
* Arkeryd, Leif (1972). "On the Boltzmann equation part II: The full initial value problem". *Arch. Rational Mech. Anal*. **45**: 17–34. Bibcode:. doi:.&nbsp;
* Arkeryd, Leif (1972). "On the Boltzmann equation part I: Existence". *Arch. Rational Mech. Anal*. **45**: 1–16. Bibcode:. doi:.&nbsp;
* 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:.&nbsp;

## 外部链接
* The Boltzmann Transport Equation by Franz Vesely 
* Boltzmann gaseous behaviors solved