卡諾循環與熱機效率：從可逆極限到熵的誕生

為什麼「最佳熱機」必然長成卡諾的樣子

把熱量變成功，聽起來只是「燒水推活塞」。但真正深刻的問題不是「能不能做」，而是「最多能做到多少」。卡諾（Sadi Carnot, 1824）在熱力學第一定律尚未成形之前，就用一個純粹的思想實驗回答了這件事：在兩個固定溫度的熱庫之間運作的任何熱機，其效率存在一個與工作物質無關的上限，而達到此上限的循環必須是可逆的。本篇要做的，是把這句結論從直覺推回到嚴格的數學骨架，並說明它為何是熱力學第二定律的等價陳述。

卡諾循環的四個步驟與功的積分

考慮一個工作物質（先取理想氣體做定量範例，但結論不依賴它），在 $p$–$V$ 平面上走一個由兩條等溫線與兩條絕熱線圍成的封閉迴路：

1. 等溫膨脹（溫度 $T_H$）：與高溫熱庫接觸，吸熱 $Q_H$，體積由 $V_1$ 增至 $V_2$。
2. 絕熱膨脹：脫離熱庫，溫度由 $T_H$ 降到 $T_C$，體積增至 $V_3$。
3. 等溫壓縮（溫度 $T_C$）：與低溫熱庫接觸，放熱 $Q_C$，體積縮至 $V_4$。
4. 絕熱壓縮：溫度回升至 $T_H$，回到起點。

一個循環對外做的淨功是迴路積分

$$W = \oint p\,\mathrm{d}V,$$

幾何上即 $p$–$V$ 圖中封閉曲線所圍的面積。由於內能 $U$ 是狀態函數，$\oint \mathrm{d}U = 0$，第一定律 $\mathrm{d}U = \delta Q - \delta W$ 在整個循環積分後給出能量守恆：

$$W = Q_H - Q_C.$$

效率定義為「拿到的功」除以「付出的高溫熱」：

$$\eta \equiv \frac{W}{Q_H} = 1 - \frac{Q_C}{Q_H}.$$

用理想氣體把 $Q_C/Q_H$ 算出來

對理想氣體，$U$ 只與溫度有關，故等溫過程 $\mathrm{d}U = 0$，吸放熱完全等於做功。等溫膨脹吸熱：

$$Q_H = \int_{V_1}^{V_2} p\,\mathrm{d}V = nRT_H \int_{V_1}^{V_2}\frac{\mathrm{d}V}{V} = nRT_H \ln\frac{V_2}{V_1}.$$

等溫壓縮放熱（取正值）：

$$Q_C = nRT_C \ln\frac{V_3}{V_4}.$$

兩段絕熱過程滿足 $TV^{\gamma-1} = \text{const}$，其中 $\gamma = C_p/C_V$。對步驟 2 與步驟 4 分別寫下：

$$T_H V_2^{\gamma-1} = T_C V_3^{\gamma-1}, \qquad T_H V_1^{\gamma-1} = T_C V_4^{\gamma-1}.$$

兩式相除，溫度因子消去，得到關鍵的幾何約束：

$$\frac{V_2}{V_1} = \frac{V_3}{V_4}.$$

因此兩個對數項相等，相除時整段對數抵消：

$$\frac{Q_C}{Q_H} = \frac{T_C}{T_H}.$$

代回效率定義，得到熱力學中最著名的上限之一——卡諾效率：

$$\boxed{\;\eta_{\text{Carnot}} = 1 - \frac{T_C}{T_H}\;}$$

注意這裡 $T$ 是絕對溫度（克耳文）。更深一層地說，正是 $Q_C/Q_H = T_C/T_H$ 這個比值與工作物質無關，才讓我們能用它定義熱力學溫標——這是開爾文（Lord Kelvin）的洞見，溫標不再依賴任何特定氣體的膨脹性質。

卡諾定理：為什麼這是「上限」而非「巧合」

上面的 $\eta_{\text{Carnot}}$ 是對理想氣體算出來的，但卡諾定理斷言它是所有熱機的上限。證明用反證法搭配第二定律的克勞修斯陳述（熱不會自發從低溫流向高溫）：

假設存在一台熱機 $X$，其效率高於同溫差的卡諾機。把卡諾機反轉成致冷機，由 $X$ 驅動。$X$ 產生的功剛好驅動卡諾致冷機把 $Q_C$ 送回高溫庫。聯合裝置淨功為零，卻把淨熱量從低溫庫搬到高溫庫——違反克勞修斯陳述。故 $\eta_X \le \eta_{\text{Carnot}}$，且僅當 $X$ 也可逆時取等號。

把這個論證對任意可逆循環做積分，便得到克勞修斯定理：對可逆循環

$$\oint \frac{\delta Q_{\text{rev}}}{T} = 0,$$

它保證了 $\mathrm{d}S = \delta Q_{\text{rev}}/T$ 是恰當微分，從而熵 $S$ 是狀態函數。對不可逆循環則有 $\oint \delta Q/T \le 0$（克勞修斯不等式）。換言之，卡諾循環不是某個工程巧合，而是熵這個概念得以誕生的起點。

定量小範例

某蒸汽動力廠的鍋爐（高溫庫）維持 $T_H = 540\ \text{K}$，冷凝器（低溫庫）為 $T_C = 300\ \text{K}$。設它以卡諾循環運作，每秒從鍋爐吸熱 $Q_H = 1000\ \text{kW}$。

步驟 1：理論最高效率。

$$\eta = 1 - \frac{T_C}{T_H} = 1 - \frac{300}{540} = 1 - 0.5556 = 0.4444 \approx 44.4\%.$$

步驟 2：最大輸出功率。

$$W = \eta\,Q_H = 0.4444 \times 1000\ \text{kW} \approx 444\ \text{kW}.$$

步驟 3：排到低溫庫的廢熱。

$$Q_C = Q_H - W = 1000 - 444 = 556\ \text{kW}.$$

步驟 4：驗證熵守恆（可逆）。 高溫庫每秒減熵 $Q_H/T_H = 1000/540 = 1.852\ \text{kW/K}$；低溫庫每秒增熵 $Q_C/T_C = 556/300 = 1.853\ \text{kW/K}$。兩者在捨入誤差內相等，宇宙總熵變 $\Delta S_{\text{univ}} \approx 0$，正符合可逆過程的特徵。任何真實熱機（不可逆）都會讓 $\Delta S_{\text{univ}} > 0$，效率必然低於這 44.4%。

深入探討（研究所視角）

有限時間熱力學與 CA 效率。 卡諾效率是「無限慢」極限——可逆過程要求每一步都接近平衡，輸出功率趨於零，毫無工程意義。Curzon 與 Ahlborn（1975）把熱傳導阻抗納入考量，求在「最大輸出功率」而非「最大效率」下運作的熱機效率，得到優雅的結果

$$\eta_{\text{CA}} = 1 - \sqrt{\frac{T_C}{T_H}},$$

在上述範例中為 $1 - \sqrt{300/540} \approx 25.5\%$，遠低於 44.4%，卻更貼近真實電廠 30–40% 的數字。CA 效率開啟了「有限時間熱力學」（finite-time thermodynamics）這一分支，研究功率與效率之間不可迴避的權衡，至今仍是不可逆熱力學的活躍課題。

幾何熱力學與最小耗散。 把準靜態路徑視為狀態空間中的曲線，Weinhold 與 Ruppeiner 引入了熱力學度規（thermodynamic metric），其分量由熵或內能的二階導數構成，例如 Ruppeiner 度規 $g_{ij} = -\partial^2 S/\partial x^i \partial x^j$。在此框架下，慢驅動下的最小耗散功對應狀態空間中的測地線，而度規的純量曲率被詮釋為微觀漲落關聯與相互作用的指標——在臨界點處曲率發散。這把卡諾「最小不可逆性」的直覺提升為一個微分幾何的變分問題，與最優控制（optimal control）理論直接接軌。

隨機熱力學與漲落定理。 在奈米尺度（分子馬達、光鑷下的膠體粒子），$Q$ 與 $W$ 本身是隨機變數，傳統的「庫接觸」描述失效。Jarzynski 等式 $\langle e^{-\beta W}\rangle = e^{-\beta \Delta F}$ 與 Crooks 漲落定理把第二定律精緻化為對機率分布的陳述：個別軌跡可以「違反」第二定律（即 $W < \Delta F$），但其指數加權平均嚴格受 $\Delta F$ 約束。卡諾上限因此成為系綜平均下的不等式，而非逐一軌跡的禁制。近年的量子熱機研究更進一步把工作物質換成數個量子能階乃至單一量子比特，探討相干性（coherence）與量子關聯能否突破或重新詮釋經典卡諾界——在某些設定下相干性可作為一種「資源」改變功率–效率前緣，但熱力學第二定律的核心約束依然以更普遍的形式（如資源理論中的自由能單調性）存活下來。從馬達到黑洞的霍金溫度，$\delta Q/T$ 這個出自卡諾循環的比值，始終是貫穿全局的不變主題。