波茲曼方程式

: 在這篇文章內，向量與純量分別用粗體與斜體顯示。例如，位置向量通常用 $\mathbf {r} \,\!$ 表示；而其大小則用 $r\,\!$ 來表示。

**波茲曼方程式**或**波茲曼輸運方程式**（**Boltzmann transport equation**，**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 {df}{dt}}=\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} $ 中的粒子密度是可變的，所以

　
:

其中 $\Delta f$ 指的是 $f$ 的總變化量。（**1**）式除以 $d^{3}\mathbf {r} \,d^{3}\mathbf {p} \,\Delta t$ 並取極限 $\Delta t\,\rightarrow 0$ 和 $\Delta f\,\rightarrow 0$ 可得

　
:

 $f$ 的全微分：

　
:

其中 **∇**為梯度算符，**·** 為點積，

　
: ${\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 為笛卡爾坐標系下的單位矢量。

### 最終形式

對（**3**）兩邊同除以 _dt_ 並代入（**2**）可得：

　
: ${\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_{i}f_{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^{3}p$

算符 A 的期望值由下式給出：

　
: $\langle A\rangle ={\frac {1}{n}}\int Af\,d^{3}p$

由於守恆方程式中包含張量，以下使用愛因斯坦求和約定簡化標記，即 $\mathbf {x} \rightarrow x_{i}$ 且 $\mathbf {p} \rightarrow p_{i}=mw_{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^{3}p={\frac {\partial }{\partial t}}(n\langle g\rangle )$

　
: $\int {\frac {p_{j}g}{m}}{\frac {\partial f}{\partial x_{j}}}\,d^{3}p={\frac {1}{m}}{\frac {\partial }{\partial x_{j}}}(n\langle gp_{j}\rangle )$

　
: $\int gF_{j}{\frac {\partial f}{\partial p_{j}}}\,d^{3}p=-nF_{j}\left\langle {\frac {\partial g}{\partial p_{j}}}\right\rangle $

　
: $\int g\left({\frac {\partial f}{\partial t}}\right)_{\mathrm {coll} }\,d^{3}p=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=mw_{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}}mw_{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_{i}V_{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. 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.

## 外部連結

* （英文）The Boltzmann Transport Equation by Franz Vesely （頁面存檔備份，存於網際網路檔案館）
* （英文）Boltzmann gaseous behaviors solved