熵為什麼要取 log？從卡諾熱機到波茲曼公式

\[\require{physics}\]

《log 的應用系列》：①總覽：乘法變加法的翻譯機 ｜ ②半對數圖與指數衰變 ｜ ③冪律與雙對數圖 ｜ ④分貝、地震規模、視星等 ｜ ⑤熵為什麼要取 log

---

兩個熵的定義，長得完全不一樣

物理系學生第一次接觸「熵」，通常會看到兩個長相完全不同的定義：

古典熱力學課本會先教

\[dS=\frac{\delta Q_{\text{rev}}}{T}\]

這裡完全沒有 log。但統計力學課本又會教波茲曼刻在墓碑上的那句名言

\[S=k_B\ln\Omega\]

這裡突然冒出一個 log。這兩個定義到底是什麼關係？為什麼一個不需要 log，另一個非要 log 不可？ 整個系列講的都是「log 把乘法變加法」，這篇要用熵這個例子，把這個主題講到它在物理系課程裡最深刻的一次應用。

---

第一條路：古典熱力學的熵，完全不需要 log

卡諾熱機的發現

法國工程師卡諾（Sadi Carnot）研究「熱機的效率極限」時發現：任何工作在高溫熱庫 $T_H$ 與低溫熱庫 $T_C$ 之間的理想可逆熱機，吸收的熱量 $Q_H$ 與釋放的熱量 $Q_C$，其比值只取決於兩個熱庫的絕對溫度：

\[\frac{Q_H}{Q_C}=\frac{T_H}{T_C}\]

克勞修斯定理：一個神奇的守恆量

德國物理學家克勞修斯（Rudolf Clausius）把上式重新整理（釋放的熱量取負號），得到：

\[\frac{Q_H}{T_H}+\frac{-Q_C}{T_C}=0 \quad\Longrightarrow\quad \oint\frac{\delta Q}{T}=0\]

一個物理量沿著任意封閉循環積分後等於零，在數學上代表：這個量只跟起點和終點有關，跟走的路徑無關——這正是「狀態函數」的定義。克勞修斯在 1865 年把這個新發現的狀態函數命名為熵（entropy），並定義：

\[\boxed{dS=\frac{\delta Q_{\text{rev}}}{T}}\]

直覺理解：溫度是「亂度的敏感度」

為什麼熱量要除以溫度，才會變成一個乾淨的狀態函數？可以用一個比喻理解：想像你在一間極度安靜的圖書館（低溫）裡突然講話，全場秩序會瞬間被打亂；但如果同樣的音量出現在吵雜的夜市（高溫）裡，幾乎沒人會注意到。同樣一份熱量 $\delta Q$，如果系統原本溫度低（分子熱運動平緩），注入這份熱量造成的「混亂衝擊」就很大；如果系統溫度已經很高（分子早就動得很亂），同樣的熱量造成的影響就微乎其微。除以溫度 $T$，正是在「校正」這個敏感度的差異。

注意這整條推導，從頭到尾沒有出現任何 log。 古典熱力學的熵，是從熱機效率和可逆循環的積分性質直接定義出來的，跟乘法、加法的翻譯完全無關。

---

第二條路：統計力學的熵，log 是唯一的橋樑

熵真正牽涉到 log 的地方，是波茲曼在十九世紀末提出的統計詮釋：熵不是憑空定義的量，而是跟系統的微觀狀態數 $\Omega$（系統內部粒子有多少種排列方式，能對應到同一個巨觀狀態）直接相關：

\[S=k_B\ln\Omega\]

其中 $k_B$ 是波茲曼常數。這裡的關鍵問題是：為什麼偏偏要取 log？直接把 $\Omega$ 本身當作熵不行嗎？

微觀狀態數是相乘的，但熵必須是相加的

假設把兩個獨立的系統 $A$、$B$ 合併成一個系統。因為兩個系統彼此獨立，$A$ 系統的每一種微觀排列，都可以自由搭配 $B$ 系統的每一種微觀排列，所以合併後的總微觀狀態數是相乘的：

\[\Omega_{AB}=\Omega_A\times\Omega_B\]

但物理上，我們希望熵是一個廣延量（extensive quantity）——也就是說，兩個系統合併後的熵，應該等於個別熵的相加：

\[S_{AB}=S_A+S_B\]

微觀狀態數用乘的，熵卻要求用加的——這正是整個系列開頭講的核心主題：只要一件事情的本質是相乘，卻需要一個相加的描述，log 就是唯一的翻譯工具。 取自然對數後：

\[S_{AB}=k_B\ln\Omega_{AB}=k_B\ln(\Omega_A\Omega_B)=k_B\ln\Omega_A+k_B\ln\Omega_B=S_A+S_B\]

完全吻合！這也回答了前面的問題：如果直接拿 $\Omega$ 當熵，$\Omega_{AB}=\Omega_A\Omega_B$ 是相乘的，永遠沒辦法滿足廣延量的要求；只有取了 log，才能把「狀態數的乘法結構」轉換成「熵的加法結構」。

---

例題：理想氣體膨脹的熵變化

一個簡單的具體計算，可以讓這件事更有感。考慮理想氣體從體積 $V_1$ 等溫膨脹到 $V_2$，可以證明（由 $\Omega\propto V^N$，$N$ 是粒子數，因為每個粒子能佔據的位置數跟體積成正比）：

\[\Omega_2=\Omega_1\left(\frac{V_2}{V_1}\right)^N\]

代入波茲曼公式：

\[\Delta S=k_B\ln\Omega_2-k_B\ln\Omega_1=k_B\ln\left(\frac{\Omega_2}{\Omega_1}\right)=k_B\ln\left[\left(\frac{V_2}{V_1}\right)^N\right]=Nk_B\ln\left(\frac{V_2}{V_1}\right)\]

如果氣體體積膨脹成兩倍（$V_2/V_1=2$）：

\[\Delta S=Nk_B\ln2\]

這個結果跟古典熱力學（用 $dS=\delta Q/T$ 對理想氣體等溫膨脹積分）算出來的答案完全一致——這正是兩條路徑「殊途同歸」的具體證明：一條從卡諾熱機的效率出發，完全不需要 log；另一條從微觀狀態數出發，log 是不可或缺的橋樑；但兩者算出的熵變化，分毫不差。

---

兩條路徑的關係

	古典熱力學（Clausius）	統計力學（Boltzmann）
出發點	卡諾熱機、可逆循環的效率	系統的微觀狀態數 $\Omega$
定義	$dS=\delta Q_{\text{rev}}/T$	$S=k_B\ln\Omega$
是否需要 log	不需要	需要——用來把 $\Omega$ 的乘法結構轉成 $S$ 的加法結構
熵的意義	能量「品質」退化的指標，狀態函數	系統混亂程度（可及微觀狀態數）的直接度量
兩者的關係	巨觀、操作型定義；由熱機效率導出	微觀、機率論定義；巨觀熱力學是統計平均的結果

古典熱力學的 $dS=\delta Q/T$ 之所以不需要 log，是因為它從一開始就是在巨觀尺度上，透過「熱量除以溫度是狀態函數」這個性質直接定義的，並沒有涉及「計算微觀狀態數」這件事。而波茲曼的貢獻，正是往下挖了一層：熵作為巨觀量的「加法特性」，其實源自微觀狀態數的「乘法特性」，而串起這兩層的橋樑，正是 log。

---

總結

熵的故事，是整個 log 應用系列裡最深刻的一個範例：同一個物理量，可以完全不靠 log 定義出來（古典熱力學），也可以透過 log 從更基本的微觀圖像重新推導出來（統計力學），而兩者殊途同歸。這說明了 log 在科學裡的角色，從來不是「湊出正確答案的技巧」，而是當一個量的微觀本質是乘法、巨觀要求卻是加法時，自然而然、不得不出現的橋樑。

---