一大群想象中的副本
有一种张力,我们一直悄悄回避着。我们想要一个系统的*平均*行为,可任何真实的系统都只是一个系统、一次只做一件事。你怎么去对一个独一无二的东西取平均呢?吉布斯漂亮的妙招是:想象的不是一个系统,而是一大群一模一样的副本,全都在相同的条件下制备出来,每一个都在同一瞬间被冻结在自己的某个微观状态里。这群想象出来的副本,就是一个系综。你不再去长时间地盯着一个系统看,而是对整群副本拍一张快照,再对这张快照取平均。这是个思想实验,却是个极其澄清思路的思想实验。
正则系综:泡在温浴里的系统
你该想象哪一群,取决于你的系统被允许做什么。对化学而言最有用的选择是正则系综:一个系统通过泡在一个巨大的温浴里而被保持在固定温度,能量可以隔着壁来回交换,但粒子数固定。这恰恰就是一只放在恒温房间工作台上的烧杯所处的情形。由于能量可进可出,系统的能量并不被钉死在单一数值上——它会游移,安顿成我们一路以来正在搭建的那条玻尔兹曼散布。
还有一个相关的量值得认识:态密度,它问的不过是“在某个给定高度附近,能量台阶排得有多密?”在一个大系统里,台阶变得如此密集,以至于糊成几乎连续的一条带,而只要知道它们在每个能量处挤得有多密,就足以完成全部计数。不同的系综,是看待同一现实的不同透镜;对一个大系统而言,它们对答案的看法完全一致,于是你大可挑那个让算术最省心的来用。
总配方,从头到尾
现在我们可以把从统计推导热力学这整台机器,铺陈成一套单一的工作流程。经典热力学中的每一个结论——前几代人不得不从一丝不苟的实验里硬挤出来的那些——一旦你知道分子是什么样子,都会从这寥寥几步里自然落出:
- 列出能量阶梯。从量子理论或测量出发,算出一个分子被允许具有哪些能量——它的平移、转动、振动和电子台阶。
- 造出配分函数。把每一级台阶相对 kT 的可及性加总,得到分子配分函数,再把众多分子合成整个系统的那一个。
- 转动曲柄。从配分函数、以及它随温度和体积如何变化,读出内能、熵、压强,以及亥姆霍兹自由能。
- 与实验台对照。把预言出的热容、平衡常数和熵,与真实测量相比对——它们吻合,往往精确到小数点后好几位。
通往自由能的那座桥尤其优雅:亥姆霍兹自由能本质上不过就是配分函数的对数,再乘上 kT 来定标度。既然自由能正是那个在恒温下决定反应朝哪个方向跑的量,这一条联系就意味着:知道了配分函数,你便能从分子层面往上预言一个化学平衡的位置所在。这就是统计热力学的全部承诺,如约兑现。
平衡在颤动,而这并非缺陷
我们以一句被平均值瞒着你的坦白来收尾。由于能量不停地隔着浴的壁来回交易,系统的能量从不曾完全静止——它永远在自己的平均值上下各颤动一丝一毫。这些细微而不歇的抖动,就是涨落。在一茶匙水里,它们相对平均值小到几近于无,任何寻常仪器都绝无可能察觉,而这恰恰就是为什么宏观状态看上去稳如磐石。平衡并不是冻结的死寂;它是一场狂暴而被平衡住的翻搅,只是其平均恰好稳稳地保持水平。