一次统计力学之旅(一):把状态数到温度里去
本文是一个两篇系列的第(一)篇。第(一)篇(本文): 热物理学赖以立足的那一条公理,以及”数微观态”如何硬生生逼出温度、压强和自由能。第(二)篇: 大逆转——配分函数、吉布斯求和,以及一路通向玻色–爱因斯坦凝聚与费米海的量子统计。
先从一件你盯着看过上百遍的东西说起:桌上一杯静止的水。在眼睛看来,它就是”平静”二字的化身。可在那层平静底下,\(10^{23}\) 个粒子正在碰撞、换位、把能量甩来甩去,掀起一场我们根本无从追踪的风暴。经典物理面对这个,总想去追每一条轨迹;热物理学却押了一注更聪明的赌:别盯着舞者,去听整支舞团的节拍。
这正是我想在这个系列里追下去的那一步棋,因为它是全部物理里”多即不同”(More is Different)最干净利落的例子之一。我们不去硬背一大堆公式。我们只埋下一条简单到近乎离谱的假设,然后看着整座热力学大厦——温度、压强、化学势、自由能——自己从这条假设里长出来,像一排骨牌依次倒下。(动身前先打个招呼:我会假设你见过量子力学,因为统计力学骨子里是量子的。我们自始至终真正在做的,不过是给数量惊人的量子算统计效应。)

第一章:计数的艺术 —— 从多重度到热平衡
我们的旅程始于一个简单到近乎离谱的问题:在给定的宏观条件下,一个系统究竟有多少种可能的微观”生存方式”? 物理学家给这个数目起了个名字——多重度(Multiplicity),通常记作 \(g\)。
基本假设:自然是公平的
想象一个孤立的箱子,里面装有 \(N\) 个粒子,总体积为 \(V\),总能量为 \(U\)。这些粒子正在疯狂地碰撞、运动,片刻不停。这一刻,粒子 A 可能在左边、B 在右边;下一刻,它们或许就换了位置。在这场混沌里,统计力学要我们承认的,恰恰只有一条公理——基本假设:
对于一个孤立系统,所有满足能量守恒且可达到的量子态,出现的概率都是相等的。
这就是全部信条。大自然不偏不倚:只要能量条件允许,系统处于状态 A 的机会,和处于状态 B 的机会完全相同。本文后面的一切,都不过是架在这一句话上的记账工作。
为什么非要定义熵?(\(S = \ln g\))
这里有个很合理的反驳。如果多重度 \(g\) 已经把状态数清点好了,那还要”熵”做什么?不是为了故弄玄虚——而是出于两个极其务实的理由。
第一,数值大得吓人。 对任何宏观物体,\(g\) 都是天文数字;哪怕一小瓶气体,量级也可能高达 \(10^{10^{23}}\)。这么一座数字高塔,你没法老老实实地做算术。
第二,我们想要可加性。 拿两杯水,系统 A 和系统 B。把它们当成一个整体来数,总状态数是各自状态数的乘积:\(g_{total} = g_A \times g_B\),因为 A 的每个状态都能和 B 的每个状态配对。可宏观物理跑的是加法——质量相加、体积相加、能量相加。我们也希望这个描述”无序程度”的量同样满足相加。
什么样的单一运算,既能把乘法变成加法,又能把失控的指数驯成人能掌握的数字?对数。于是玻尔兹曼(和普朗克)给了我们物理学中最不动声色、却最深刻的定义之一——基本熵(Fundamental Entropy):
熵,归根到底就是这个:微观态数量的对数。它不是什么神秘的破坏力,只是我们衡量一个系统”可能性多少”的尺子。
为什么热平衡意味着熵最大化
现在,到了这套机器第一次显灵的时刻。把两个独立的系统 A 和 B 并排放好,让它们进行热接触——可以交换能量,但总能量 \(U_{total} = U_A + U_B\) 保持不变。这个联合系统会朝哪边漂?
按基本假设,它盲目地游走,把能量的每一种分法都试一遍。但其中有一种分法,背后撑腰的微观态压倒性地多过其余所有分法之和——系统就被找在那里。最大化 \(g_{total}\) 等同于最大化它的对数,而对数正是可加性派上用场的地方:
让我们把这个不等式写明白,因为它就是乔装的第二定律。仅利用基本假设,整个系统的多重度为 \(g(U)=\sum_{U_1}g_1(U_1)g_2(U-U_1)\geq g_1(U_{10})g_2(U-U_{10})\),其中 \(U_{10}\) 是子系统 1 的初始能量。取对数,\(\log g(U)\geq \log g_1(U_{10})g_2(U_{20})\),即 \(S\geq S_{10} + S_{20}\)。热接触后熵会增加——而这,本质上就是热力学第二定律,由一条公理证出。
有个值得点破的微妙之处,因为初级课程在这里悄悄取了个巧。如果我们在 \(g(U)\) 里只保留那个_概率最大的_配置,即 \(g(U)\approx g_1(\hat{U}_1)g_2(\hat{U}_2)\),那么由 \(\log g(U)\geq \log g_1(U_{10})g_2(U_{20})\) 得到较弱的陈述 \(\hat{S}_{1}+\hat{S}_{2}\geq\hat{S}_{10}+\hat{S}_{20}\)——这正是我们多数人最先学到的版本。它并不密不透风,因为系统一旦接触,我们就无法干净地区分 \(\hat{S}_{1}\) 和 \(\hat{S}_{2}\)。它成立的前提是接触微弱、交换的热量温和,于是每个子系统都还保留着自己的”主体性”。略显模糊,但对日常的宏观世界成立——只是并非绝对。
结论: 系统之所以滑向平衡,仅仅是因为平衡态背后撑腰的微观态最多。熵增没有什么阴森的含义,无非是系统朝着”更多可能性”的方向漂去。
温度的诞生:为什么定义成导数?
于是两个热接触的系统会一路爬向熵最大。到了顶上会怎样?微积分给出一字回答:在极值点,导数为零。对总熵关于能量如何分配求导:
能量守恒把两边绑在一起(\(dU_B = -dU_A\)),所以 \(\frac{\partial \sigma_B}{\partial U_A} = \frac{\partial \sigma_B}{\partial U_B} \frac{d U_B}{d U_A} = -\frac{\partial \sigma_B}{\partial U_B}\)。代回去,那个至关重要的平衡条件就掉了出来,干净利落:
现在停下来,问那个显而易见的问题。两个物体达到热平衡时,它们之间变得相等的,是什么物理量?所有直觉都在喊:温度。而这里恰好有一个量 \(\frac{\partial \sigma}{\partial U}\),正好在那一刻变得相等。两者必然血脉相连。那为什么不干脆用它来定义温度呢?
看看 \(\frac{\partial \sigma}{\partial U}\) 的物理含义——你灌进能量时,熵增长的速率。
- 给一个冷物体一点能量,它的无序度猛地一蹿。冷物体”饥渴”:\(\frac{\partial \sigma}{\partial U}\) 很大。
- 给一个热物体同样的能量,它的无序度几乎纹丝不动。热物体”无所谓”:\(\frac{\partial \sigma}{\partial U}\) 很小。
注意那个别扭之处:\(\frac{\partial \sigma}{\partial U}\) 越大反而越冷,这和我们用温度计的习惯(数字越大越热)正好拧着。于是我们把它翻过来。把基本温度 \(\tau\) 定义为它的倒数:
这就是温度在统计力学里的严谨含义:系统为了给自己买来更多的熵,愿意”支付”多少能量。 低温是笔划算的买卖——极小的能量投入就换来巨大的熵增;高温则相反——能量倒进去,熵却几乎不动。(顺带一提,这个定义的形式和你在半衰期里见到的是同一个;正如半衰期带着时间的量纲,温度在自然单位制下带着能量的量纲。)
第二章:压强的诞生
为什么熵是 \(U, V, N\) 的函数?
往下走之前,先答一个我们一直默默假设着的元问题:为什么我们总把熵写成 \(\sigma(U, V, N)\)?因为在微观层面,计数 \(g\) 完全取决于系统的”边界条件”,而旋钮恰好有三个:
- \(U\)(能量) 定下能分配给粒子运动的”预算”。
- \(V\)(体积) 定下粒子可以占据的”空间”——而在量子力学里,体积决定了驻波的波长,也就是整套能级结构。
- \(N\)(粒子数) 定下有多少个”演员”登台参与这场混沌的演出。
既然 \(g\) 骑在 \(U, V, N\) 上,它的对数 \(\sigma\) 自然就是这三个变量的函数。到目前为止我们只拧了第一个旋钮——对 \(U\) 求导——出来的是温度。拧另外两个,又会有两个核心物理量自顾自地”涌现”。本章拧 \(V\) 这个旋钮,出来的是压强。
压强:对扩张的渴望
把刚性箱子换成一个装了活塞的圆柱体,让体积 \(V\) 能动。它一动,量子力学就告诉我们能级本身会发生位移:\(E_s(V-\Delta V)\approx E_s(V)- \frac{\partial E_s}{\partial V} \Delta V\)。已知 \(E_s=\frac{\pi^2\hbar^2}{2mL^2}(n_x^2+n_y^2+n_z^2)\sim V^{-2/3}\),把体积压小,能级就抬高。但关键在于,能级之间不会交叉——前提是我们缓慢地压缩,也就是技术上所说的绝热过程。从量子统计的角度看,缓慢压缩不动声色地保住了状态上的分布:系统先前占据 \(\Omega = 1000\) 个微观态,压缩后仍占据这同样的 1000 个。计数 \(\Omega\) 没变,熵也就没变。这让我们能更小心地写成 \(E_s(V-\Delta V)\approx E_s(V)- (\frac{\partial E_s}{\partial V})_\sigma \Delta V\),把 \(\sigma\) 钉住。
- 对状态求统计平均:\(\sum_sP(E_s)E_s(V-\Delta V)=\sum_sP(E_s)E_s(V)-P(E_s)(\frac{\partial E_s}{\partial V})_\sigma \Delta V\)。由于 \(U=\sum_sP(s)E_s\),这无非是 \(U(V-\Delta V)=U(V)-(\frac{\partial U}{\partial V})_\sigma \Delta V\)。
- 从力学一侧看,这份能量变化正是压强所做的功:\(\Delta U=p\Delta V\)。
- 两边相等,便有 \(p=-(\frac{\partial U}{\partial V})_\sigma\)。负号只是记账:压强做正功会让体积缩小。
压强还有第二张、不那么显然的面孔:\(p=\tau(\frac{\partial \sigma}{\partial V})_U\)。物理上它更晦涩——体积变着,你怎么保证 \(U\) 不动?——但数学上它只是一行字。对任意 \(f(x,y)=C\),三项乘积恒等式给出 \((\frac{\partial y}{\partial x})_f=-(\frac{\partial f}{\partial x})_y/(\frac{\partial f}{\partial y})_x\)。令 \(f\to \sigma, x\to V, y\to U\),便得 \((\frac{\partial U}{\partial V})_\sigma=-(\frac{\partial \sigma}{\partial V})_U / (\frac{\partial \sigma}{\partial U})_V\),于是 \(\frac{p}{\tau}=(\frac{\partial \sigma}{\partial V})_U\)。
剥掉代数,压强就是系统为增加熵而想扩张的那股欲望的强度。给粒子多一点地方(\(\Delta V > 0\)):它们的活动场地变宽,能级挤得更密,计数 \(g\) 上升,\(\sigma\) 随之上升。压强看着像是压在活塞上的一股普通机械力,可它背后的引擎,是熵。\(\frac{\partial \sigma}{\partial V}\) 度量的是每增加单位体积你能收获多少无序度。而若 \(\tau\) 已经很高,系统本就混乱不堪,新增的体积在边际上添不了多少——于是要维持同样的熵增率,你就得推得更狠。这正是为什么热气体对器壁的压迫如此急迫。
第三章:视角的转变 —— 为什么要引入自由能?
我们如今握着 \(\sigma(U, V, N)\),原则上这就是全部游戏:每个问题的答案都藏在它里头。可你一走进实验室,一道痛苦的鸿沟就裂开了——总能量 \(U\) 难控制得要命。
想想在台面上烧一杯水。固定温度很容易(一块恒温加热板);固定体积也容易(一个刚性杯子)。但要规定这杯水里到底有多少焦耳内能?没指望——热量自始至终都在进进出出。我们的理论赖以建立的那个变量,恰恰是实验最钉不住的那个。
当我们从”孤立系统”(固定 \(U\))转到”浸在热库里的系统”(固定 \(\tau\))时,老的”熵最大化”法则就变得笨手笨脚。因为有了热交换,现在想要最大化的,是系统熵加环境熵——而不只是系统自己的。我们需要一盏新的指路灯:一个在固定 \(\tau\) 下寻求极值的量。
亥姆霍兹自由能
把两个系统放进热接触——一个是巨大的热库,另一个是我们真正关心的系统(固定 \(V\))。定义
要证明的是:在平衡时(热库温度 \(\tau\),系统温度 \(\tau_S\),二者一旦稳定便相等),这个 \(F\) 取最小值。
- 平衡时温度相等:\(\tau_S = \left(\frac{\partial U_S}{\partial \sigma_S}\right)_V = \tau\),故 \(dU_S = \tau d\sigma_S\),于是 \(dF_S = 0\)。这正是 \(F\) 被这样搭起来的原因——\(U-\tau\sigma\) 这个组合,是被特意设计成在平衡处取驻值的。回想真正的平衡法则是”最大化 \(\sigma_1 + \sigma_2\)“,连热库一起。我们并不关心热库;最小化系统的 \(F\) 让我们能彻底把它忘掉,却照样落在平衡上。现在我们来验它确实是最小值。
- 总熵为 \(\sigma = \sigma_S + \sigma_R = \sigma_S(U_S) + \sigma_R(U - U_S)\)。热库巨大,于是泰勒展开:\(\approx \sigma_S(U_S) + \sigma_R(U) + \left(\frac{\partial\sigma_R}{\partial U_R}\right)_V(-U_S) = \sigma_R(U) - U_S/\tau + \sigma_S = \sigma_R(U) - F_S/\tau\)。所以,最大化总熵等同于最小化系统的自由能。(注意这里偷换了范围:熵属于”系统+热库”,而自由能只属于系统。)
- 于是 \(\sigma = \text{常数} - \frac{1}{\tau} F_S\)。一个优美的结果:自由能让我们把热库扔掉。它留下的只有一个 \(\tau\),在平衡时冻结成一个常数。
化学势:粒子流动的驱动力
现在释放最后一个变量,粒子数 \(N\)。让系统不只交换能量、还交换粒子——比方说两个系统坐在温度为 \(\tau\) 的热库上,由一根粒子能钻过去的细管相连。给足时间,它们达到扩散平衡(区别于之前那种 \(\tau_1 = \tau_2 = \tau\) 的热平衡)。跟着这个过程走,正是化学势诞生的方式。
- 这里的守恒律是 \(\Delta N_1 = -\Delta N_2\)。
- 自由能必须探到底(\(dF = 0\)),于是 \(\frac{\partial F}{\partial N_1} d N_1 + \frac{\partial F}{\partial N_2} d N_2 = 0\),给出 \(\left(\frac{\partial F}{\partial N_1}\right)_{V, \tau} = \left(\frac{\partial F}{\partial N_2}\right)_{V, \tau}\)。
加上弱耦合假设:管子细到让两个系统在统计上保持独立(于是 \(F \approx F_1 + F_2 = U_1 + U_2 - \tau(\sigma_1 + \sigma_2)\)),却又宽到允许粒子通过。
- 那么 \(\left(\frac{\partial F_1}{\partial N_1}\right)_{V, \tau} = \left(\frac{\partial F_2}{\partial N_2}\right)_{V, \tau}\)——这就是平衡条件。
- 由此定义化学势:\(\mu_1 = \left(\frac{\partial F_1}{\partial N_1}\right)_{V, \tau} = \left(\frac{\partial F_2}{\partial N_2}\right)_{V, \tau} = \mu_2\)。
你或许会反问,这个定义看着需要两个系统——那么孤零零一个系统,到底有没有化学势?最清楚的看法,是拿温度来类比,把各个系综排一排:
- 一个孤立的封闭系统,\(\tau\) 和 \(\mu\) 都不需要。这是微正则系综。
- 把它接上热库,需要 \(\tau\) 而不需要 \(\mu\)。这是正则系综——传统热物理里的主力。
- 把它换成接上粒子库,需要 \(\mu\) 而不需要 \(\tau\)。这类系统确实存在(粒子是”虚拟”的,不携带能量——比如信息),但在寻常的物质物理里很罕见。
- 把它同时接上两者,\(\tau\) 和 \(\mu\) 都要。这是巨正则系综。
注意这里回响着压强的那个套路。压强最初是经由能量 \(U\) 定义的,后来却发现它等于熵 \(\sigma\) 对 \(V\) 的偏导。化学势,刚才经由自由能 \(F\) 定义,同样和 \(\sigma\) 对 \(N\) 的偏导挂上了钩。两条微积分公式包办这件事:\(\frac{d y}{d x} = \frac{1}{\frac{d x}{d y}}\) 和 \(\frac{d y}{d x} = -\frac{\frac{\partial f}{\partial x}}{\frac{\partial f}{\partial y}}\)。第一条立刻给出 \(\left(\frac{\partial U}{\partial \sigma}\right)_{N, V} = \frac{1}{\left(\frac{\partial \sigma}{\partial U}\right)_{N, V}}\)。第二条给出 \(\left(\frac{\partial \sigma}{\partial N}\right)_{U, V} = -\frac{\left(\frac{\partial U}{\partial N}\right)_{\sigma, V}}{\left(\frac{\partial U}{\partial \sigma}\right)_{V, N}} = -\frac{\mu}{\tau}\)。所以化学势度量的是系统为换取熵而接纳一个新粒子的意愿。这份直觉和日常经验对得上——物质往低处流(水往低处淌,电荷流向低电势),而这里粒子从高化学势流向低化学势,全是为了把总熵推上去。把那个负号抽掉,粒子就会荒唐地往高处流。
第四章:热力学恒等式 —— 同一真理的不同面孔
我们已经定义了熵、温度、压强和化学势。该走进这座大厦内部,看看这些量是怎样彼此联通的——这些关系错综复杂,却原来深深对称。仅凭小心的微分,我们就能把热力学第一定律的本质亮出来,并学会随心所欲地在不同的”能量景观”间穿行。你会注意到,热物理学不像经典力学那样只有一条诫命 \(F=ma\),它似乎戴着多得叫人发懵的面孔——内能、焓、自由能、吉布斯能。别被这群面孔晃花了眼:它们每一张,都是同一个真理在不同光线下的投影。
书写第一定律的三种方式
让我们玩一场微分游戏,看看从不同的函数出发会抖落出什么。
视角 1:熵 \(\sigma(U, V)\)。把熵视为内能和体积的函数,其全微分为
回想定义 \(\frac{1}{\tau} = (\frac{\partial \sigma}{\partial U})_V\) 和 \(\frac{P}{\tau} = (\frac{\partial \sigma}{\partial V})_U\),代入:
两边同乘 \(\tau\):
或者写成熟悉的样子 \(dU = \tau d\sigma - P dV\),其中 \(\tau d\sigma\) 扮演热量 \(dQ\),\(-P dV\) 扮演功 \(dW\)。这个教训很惊人:第一定律(能量守恒)在数学上无非就是”熵是状态变量 \(U\) 和 \(V\) 的函数”这句话。
视角 2:内能 \(U(\sigma, V)\)。翻转角色,把内能读作熵和体积的函数:
仍是第一定律,只是换了个座位:温度是 \(U\) 对熵的斜率,压强是 \(U\) 对体积的斜率。
视角 3:自由能 \(F(\tau, V)\)。这是最漂亮的一招。从 \(F = U - \tau \sigma\) 出发,微分:
代入 \(dU = \tau d\sigma - P dV\):
\(\tau d\sigma\) 这两项完美湮灭,剩下
于是把 \(F\) 读作 \(\tau\) 和 \(V\) 的函数,其全微分 \(d F = \left(\frac{\partial F}{\partial \tau}\right)_V d \tau + \left(\frac{\partial F}{\partial V}\right)_\tau dV\) 告诉我们
核心真理:\(d\sigma = 0\)
埋在这一堆公式底下的,是一个公道的问题:热物理学的核心是什么?有没有一条统领性的定律,一个热版的 \(F=ma\)?有,而且它简单得近乎叫人不好意思——整门学问的灵魂,就是 \(d\sigma = 0\)。
下面这个思想实验把它证出来。取两个热接触的系统 \(S_1\) 和 \(S_2\),让它们把能交换的一切都交换掉:
- 能量(\(U_1 + U_2 = U_{const}\)),
- 体积,经由可移动隔板(\(V_1 + V_2 = V_{const}\)),
- 粒子,经由多孔隔板(\(N_1 + N_2 = N_{const}\))。
平衡在总熵到顶时到来,也就是 \(d\sigma = 0\)。取 \(\sigma \approx \sigma_1 + \sigma_2\),
展开每一个微分:
用上守恒律(\(dU_2 = -dU_1\),等等),合并同类项:
由于 \(U, V, N\) 各自独立地变动,每一个括号都必须自行为零——于是所有平衡条件一齐倾泻而出:
- 能量平衡: \(\frac{1}{\tau_1} = \frac{1}{\tau_2}\)(温度相等)
- 体积平衡: \(\frac{P_1}{\tau_1} = \frac{P_2}{\tau_2}\)
- 粒子平衡: \(-\frac{\mu_1}{\tau_1} = -\frac{\mu_2}{\tau_2}\)
关键洞察: 严格说来,平衡条件是 \(P/\tau\) 和 \(\mu/\tau\) 的相等。只因我们通常也交换能量——逼得 \(\tau\) 相等——它们才坍缩成熟悉的 \(P_1=P_2\) 和 \(\mu_1=\mu_2\)。所有热力学量,归根到底都源自那唯一的极值条件 \(d\sigma=0\)。
共轭变量 —— 舞伴
回头看内能 \(U(\sigma, V, N)\),一个规律就跳了出来。独立变量 \(\sigma, V, N\) 全是广延的(随系统规模缩放),\(U\) 也是。物理学家把广义力定义为
而这些量原来是成对行进的,每一对都把一个广延量配一个强度量——这就是共轭变量:
| 广延变量 | 强度变量 / 广义力 | 物理意义 |
|---|---|---|
| 熵 \(\sigma\) | 温度 \(\tau\) | \((\partial U / \partial \sigma)_{V,N}\) |
| 体积 \(V\) | 压强 \(-P\) | \((\partial U / \partial V)_{\sigma,N}\) |
| 粒子数 \(N\) | 化学势 \(\mu\) | \((\partial U / \partial N)_{\sigma,V}\) |
这给了我们一条用经典力学、用力平衡的眼光来读热物理的路子:热平衡,归根到底就是广义力的静态平衡。
勒让德变换 —— 变换主语
最后,从数学上说清楚为什么 \(F = U - \tau\sigma\) 这个构造如此要紧。在实验室里,控制熵 \(\sigma\) 是桩苦差事,控制温度 \(\tau\) 却轻而易举,所以我们想把系统的描述从 \(U(\sigma, \dots)\) 改写成 \(F(\tau, \dots)\)。这种自变量的更换,就是勒让德变换。
取一个函数 \(U(\sigma)\),斜率为 \(\tau = \frac{dU}{d\sigma}\),定义
(这里 \(\sigma\) 和 \(\tau\) 不独立——\(\sigma\) 作为 \(\tau\) 的函数一路跟着)。微分:
因为 \(\frac{dU}{d\sigma} = \tau\),第一项和第三项抵消,剩下
这就是对偶性的魔力:它把自变量从 \(\sigma\) 换成 \(\tau\),而旧变量 \(\sigma\) 则以新函数导数的身份重新现身(带个负号)。同样的把戏对多变量的 \(F(\tau, V, N) = U(\sigma, V, N) - \tau\sigma\) 一路通行,其余偏导原封不动:
- \(\left(\frac{\partial F}{\partial \tau}\right)_{N, V} = -\sigma\)(新得到的)
- \(\left(\frac{\partial F}{\partial V}\right)_{\tau, N} = \left(\frac{\partial U}{\partial V}\right)_{\sigma, N} = -P\)(保持不变)
- \(\left(\frac{\partial F}{\partial N}\right)_{\tau, V} = \left(\frac{\partial U}{\partial N}\right)_{\sigma, V} = \mu\)(保持不变)
到此为止。我们已经搭好了往后要用的每一条热力学关系,也明白了为什么自由能正是那个世界——温度好固定、熵不好固定的世界——量身定制的势函数。
这把我们带到了哪里
盘点一下,看看一条小小的公理把我们驮出了多远。出发时,我们承认自己追不动 \(10^{23}\) 个粒子,只答应了一句:在可达到的状态之间,大自然绝不偏私。仅凭这一句让步,我们数微观态,给这个计数的对数起名叫熵,又看着热平衡显形为无非就是熵最大的那个态。依次拧动能量、体积、粒子数三个旋钮,温度、压强、化学势各自应声而出——而那一整团热力学恒等式,原来不过是同一个真理 \(d\sigma = 0\) 从不同椅子上看过去的样子。
但请注意我们自始至终都在做的那个不动声色的让步。一切都仰仗着知道 \(g\),知道多重度——而清点 \(10^{23}\) 个粒子的微观态,在实践中根本没指望。我们造好了一台漂亮的逻辑机器,转头却承认自己摇不动它的第一个齿轮。于是在第(二)篇里,我们把整套论证倒着跑一遍:不再为求熵去数状态,而是写下一个能量模型,算出一个叫配分函数的神奇求和,让自由能、熵以及其余一切都从它那里掉出来。这场逆转会把我们径直带进量子统计——带向那些丢了名字的粒子,带向费米海与玻色–爱因斯坦凝聚。未完待续。