History of Physics · 12

为什么时间有方向

熵与统计物理

前置知识: 能量守恒、热量与功、热机、概率的初步概念。

第一定律与第二定律承担不同任务。
图解 1第一定律与第二定律承担不同任务。

一、能量守恒没有告诉我们过程往哪边走

一杯热水与较冷的环境接触,热量逐渐向外传递。水失去的能量进入环境,总量并没有消失。现在设想相反过程:环境中的一部分能量自行集中到水里,使水更热、周围更冷。如果只检查能量守恒,这个设想并不一定有数量上的矛盾。

然而,日常经验清楚地区分这两个方向。热机研究同样表明,输入多少能量与能够取得多少功不是同一个问题。机器、热源和环境之间的温度关系,以及过程能否逆转,都必须进入理论。

同一能量总量可以对应不同状态与可用性。
图解 2同一能量总量可以对应不同状态与可用性。

克劳修斯在 1850 年重建热理论时,已经把热与功的关系和热转化的方向性放到一起考虑。威廉·汤姆孙,也就是后来的开尔文,在 1851 年讨论热动力学,1852 年又专门讨论机械能的耗散。这里“耗散”不表示能量被删除,而是有组织的机械运动转成较难重新集中利用的形式。能取得多少功,还取决于所选环境和允许的过程。克劳修斯 1850 年论文;汤姆孙 1851 年论文;1852 年耗散论文

问题于是从“能量有多少”扩展为“这些能量怎样分布、能够怎样转化”。但要形成物理定律,仅有“更难利用”这样的语言还不够,需要一个能够计算和比较的量。

二、熵首先是一项定量关系

1865 年,克劳修斯为这个量采用了 entropy 一词。名称与转化的含义相关,但它不是日常“混乱程度”的直接翻译。熵最初来自对热、温度、循环过程和可逆性的研究;房间整齐不整齐,并不能单独替代它的物理定义。1865 年原论文条目;原文的英译节选

在现代平衡热力学中,系统从一个平衡态到另一个平衡态的熵变,可以沿连接这两个状态的可逆路径计算:

\[\Delta S=\int_{\mathrm{rev}}\frac{\delta Q}{T}.\]

熵不是把房间凌乱程度当作仪器读数。
图解 3熵不是把房间凌乱程度当作仪器读数。

这里最容易漏掉的是下标“可逆”。它不是说实际发生的过程一定可逆,而是说熵是状态函数,端点确定后,可以选择便于计算的可逆路径求得变化。一般不可逆过程不能直接用它实际交换的热量除以一个随意选取的温度,代替这项积分。

先看两个理想大热库。100 J 热量从 600 K 的热库流到 300 K 的冷库,两者温度近似不变。热库熵变为 \(-100/600\) J/K,冷库熵变为 \(+100/300\) J/K,合计为正。

原创热库模型。能量的一减一增完全抵消,熵变却不抵消:-1/6+1/3=+1/6 J/K。实际接触传热不可逆;各大热库本身的熵变仍可通过同样端点间的可逆计算得到。
图 1原创热库模型。能量的一减一增完全抵消,熵变却不抵消:\(-1/6+1/3=+1/6\) J/K。实际接触传热不可逆;各大热库本身的熵变仍可通过同样端点间的可逆计算得到。

如果让同样热量反向转移,同时又没有其他变化,总熵便会减少。制冷机之所以能够把热从较冷处送向较热处,是因为外界要做功,机器还向环境排热;把相关部分一并计入,并不违反第二定律。

因此,要说某个系统“熵增”,必须先说清楚系统边界。一个物体冷却时可以熵减,隔离的整体却有不同的收支。熵不是只增不减的神秘东西,也不是一种会从系统漏走的能量。

三、不吸热,也能够有熵变

一个更能检验理解的例子,是理想气体向真空自由膨胀。设隔离容器最初由隔板分开,气体占据左半部分,右半部分是真空。移去隔板,气体最终占据整个容器。容器不向外传热,气体也没有推动外界负载;理想气体的内能和最终平衡温度可以保持不变。

如果把实际过程的 \(Q=0\) 直接代入“熵变等于热量除以温度”,就会误以为熵没有改变。正确做法是选另一条可逆等温膨胀路径,连接相同的气体初末态。对 \(N\) 个理想气体粒子,体积从 \(V\) 增至 \(2V\),得到

\[\Delta S=Nk_B\ln 2>0.\]

计算状态差可使用连接相同端态的可逆路径;不能把实际不可逆过程直接代入 dS=δQ/T。
图解 4计算状态差可使用连接相同端态的可逆路径;不能把实际不可逆过程直接代入 dS=δQ/T。
原创状态与路径图。上方是实际的隔离自由膨胀,下方说明可用于计算的可逆等温路径,两者的热量与功不同,气体初末态及熵变相同。图中 k 表示玻尔兹曼常数。点的位置只为表示气体占据范围,不是分子动力学模拟。
图 2原创状态与路径图。上方是实际的隔离自由膨胀,下方说明可用于计算的可逆等温路径,两者的热量与功不同,气体初末态及熵变相同。图中 k 表示玻尔兹曼常数。点的位置只为表示气体占据范围,不是分子动力学模拟。

这个例子说明,熵与能量是两个不同的状态量。内能没有改变,宏观状态仍可以在别的方面发生重要变化。气体如今能够占据更大的空间;要让它恢复到原来的一半体积,就需要与外界发生新的相互作用。

热力学能够可靠地计算这种变化,但还没有回答更深的问题:如果气体只是许多遵守运动定律的分子,为什么它们几乎总是向空处散开,而不会经常一起回到原来的一边?

四、玻尔兹曼先从碰撞与速度分布入手

19 世纪气体动理论已经尝试用分子的运动解释压力、温度和扩散。与追踪每个分子的完整轨迹相比,研究一大群分子的速度分布更适合宏观问题:有多少分子速度较小,有多少较大,碰撞怎样改变这种分布?

玻尔兹曼在 1872 年的研究中,把碰撞过程与分布演化联系起来,得到后来称为 H 定理的结果。在所用模型及统计假设下,一个与分布有关的量具有确定的变化方向,平衡分布由此获得了动力学解释。1872 年论文英译

从微观运动得到宏观描述需要统计假设和适用条件。
图解 5从微观运动得到宏观描述需要统计假设和适用条件。

关键在“统计假设”四个字。对稀薄气体的碰撞计数,需要对即将碰撞的粒子之间的相关性作适当近似。这不是从任意一组粒子的精确初始条件出发,就能无条件推出每一条微观轨迹都单调趋向平衡。

这个区别很容易被一句“碰撞使一切越来越乱”掩盖。一次碰撞本身遵守守恒规律;相撞后的两个粒子还会具有共同经历带来的关联。若把这些关联精确地安排成某种特殊初态,宏观演化可能不同于通常情形。理论真正要解释的,是普通准备条件下大量粒子的典型行为。H 定理与历史异议研究

五、1877 年:同一个宏观状态,有多少实现方式?

玻尔兹曼 1877 年的工作进一步发展了概率与第二定律的联系。宏观状态只记录有限的量,许多不同的微观安排可以给出同样的宏观描述。计数这些安排,能够解释为什么有些状态占据极大的优势。1877 年论文的完整英译与研究

可以先看一个足够小、能够数清楚的例子。给六颗经典粒子编号,只记录它们各在箱子的左半还是右半。若每颗粒子左右等可能且相互独立,一共有 \(2^6=64\) 种左右安排。“全在左边”只对应一种,“左三右三”则对应二十种。

两格模型的实现方式数为 1、6、15、20、15、6、1;只说明该模型的计数。
图解 6两格模型的实现方式数为 1、6、15、20、15、6、1;只说明该模型的计数。
原创精确组合计数。七根柱子分别对应左侧有 0 到 6 颗粒子,实现方式数为 1、6、15、20、15、6、1。这只统计左右分布,不是完整气体全部位置和速度状态的计数,也不是玻尔兹曼原文的实验数据。
图 3原创精确组合计数。七根柱子分别对应左侧有 0 到 6 颗粒子,实现方式数为 1、6、15、20、15、6、1。这只统计左右分布,不是完整气体全部位置和速度状态的计数,也不是玻尔兹曼原文的实验数据。

编号用于区分不同经典轨迹,并不需要在现实分子上贴标签。对于真正的气体,还要说明总能量、体积、粒子数等约束,以及哪些微观状态在给定分辨率下属于同一个宏观状态。以现代记号概括玻尔兹曼式熵,可写为

\[S_B=k_B\ln\Omega.\]

其中 \(\Omega\) 表示相应宏观状态的微观方式数,或采用一致测度约定的相空间体积。紧凑公式及常数记号包含了后来普朗克等人的整理,不应原样投射成 1877 年论文的版面。那篇论文中的离散计数,也不等于已经提出后来物理意义上的能量量子假说。

对大量粒子,偏离通常宏观分布很远的状态所占比例会极小。在左右独立等可能的模型中,\(N\) 颗粒子全部位于指定左半箱的概率为 \(2^{-N}\)。当 \(N=100\) 时,它约为 \(7.9\times10^{-31}\);真正宏观物体中的粒子数还远远更大。

这里的结论是“相对偏差很小的一整片分布范围”占优势,不是“粒子数足够多时,每一瞬间都严格左右各半”。平衡中仍有分子运动和涨落。方式数的巨大差异说明为什么平衡具有统计优势,但实际多久达到平衡,还要考察动力学,不能仅靠数数决定。

六、洛施密特和策梅洛,分别问了什么?

洛施密特在 1876—1877 年前后的讨论提出一个尖锐问题:若分子的经典运动定律允许时间反演,那么把某一时刻所有速度精确反向,系统是否能够沿原来的过程倒着走?如果可以,怎样把熵增说成一条对所有初态都成立的机械必然性?洛施密特原始论文书目

原创概念图。A 演化到 B 后,若外部精确反转全部速度,便得到 B;对时间反演对称的模型,允许继续沿反向轨迹到 A。速度反转是额外操作,不是图中气体自发完成的步骤。点位与箭头为说明而选,未假装计算具体碰撞过程。
图 4原创概念图。A 演化到 B 后,若外部精确反转全部速度,便得到 B*;对时间反演对称的模型,允许继续沿反向轨迹到 A*。速度反转是额外操作,不是图中气体自发完成的步骤。点位与箭头为说明而选,未假装计算具体碰撞过程。

这一异议并不是忘了概率。它迫使理论明确:通常的碰撞统计假设,不能自动用于经过这种精确反转而特别准备的状态。原来碰撞后形成的关联,反转后会变成碰撞前就已经安排好的关联。宏观第二定律与微观可逆性之间,需要由初始条件和统计描述连接。

洛施密特与策梅洛的质疑不是同一个操作,也都需要明确条件。
图解 7洛施密特与策梅洛的质疑不是同一个操作,也都需要明确条件。

策梅洛在 1896 年提出的另一类问题与复现有关。对满足有限不变相空间测度等条件的系统,复现结果说明,几乎所有初态的轨迹最终能够返回任意接近原来状态的区域。它并不是说所有物理系统都以一个固定周期精确重复。策梅洛 1896 年论文

如果宣称一个量在每一条微观轨迹上永远严格增加,就会与这类结果发生冲突。对宏观系统而言,相关时间尺度和罕见程度可能远超日常经验,但“极难观察”与“在逻辑上绝不允许”仍是不同判断。

这两类质疑帮助统计物理澄清自己的任务:它不是删除所有反向轨迹,而是说明在给定宏观条件下,哪些行为占压倒性优势,以及例外为何不支配通常经验。Brown 与 Myrvold 的历史分析

七、吉布斯:从单个系统转向可能状态的分布

吉布斯 1902 年的《统计力学基本原理》进一步系统化了统计方法。他考察的是遵守相同规律、但可能处于不同微观状态的一组系统,并研究这种集合的概率分布。这样的“系综”是计算工具,不是在宣称现实中存在许多平行宇宙。1902 年原书

此处需要区分两个层次。玻尔兹曼式熵把一个实际系统的当前微观状态归入某个宏观区域,再考察这个区域有多大。吉布斯式熵则描述一整个概率分布。对于离散状态或指定分格的概率 \(p_i\),相应形式写为

\[S_G=-k_B\sum_i p_i\ln p_i.\]

吉布斯系综是数学描述,不要求每种可能性成为真实的平行宇宙。
图解 8吉布斯系综是数学描述,不要求每种可能性成为真实的平行宇宙。

如果恰好有 \(\Omega\) 个等概率状态,每个概率均为 \(1/\Omega\),就得到 \(k_B\ln\Omega\)。这种特例下的联系十分重要,却不表示两种定义在一切非平衡问题中都是同一件事。选择什么状态描述、使用什么概率分布,需要随问题一起说清楚。

对理想孤立经典系统,连续的精细相空间分布按哈密顿动力学演化,刘维尔体积守恒,相应的精细吉布斯熵保持不变。分布可能被拉伸、折叠,形成越来越细的结构;若只用有限分辨率观察或平均,这些结构又可能被合并掉。此时得到的是另一个层次的粗粒化描述。吉布斯与玻尔兹曼熵的定义和关系

原创数学示意。上排的有色区域面积始终占总面积的四分之一,均匀密度被重新排成细条带;下排用同一个 4×4 网格取平均。粗分格概率从四格各占四分之一,变为十六格各占十六分之一,分格熵增加。图示不是真实气体模拟,也不能证明任意粗粒化都在所有时刻单调增熵。
图 5原创数学示意。上排的有色区域面积始终占总面积的四分之一,均匀密度被重新排成细条带;下排用同一个 4×4 网格取平均。粗分格概率从四格各占四分之一,变为十六格各占十六分之一,分格熵增加。图示不是真实气体模拟,也不能证明任意粗粒化都在所有时刻单调增熵。

粗粒化帮助我们理解,保留全部细节与只描述宏观量,可以给出不同的变化图像。但热水冷却并不依赖有人观看,有限分辨率也不能单独创造时间方向。还必须解释系统为什么从那样的初始状态出发,以及哪些微观关联在通常制备条件下没有被精心安排。

八、为什么所有这些过程都指向同一个过去?

气体通常先被隔板限制在一边,热水先由外界加热,压缩的弹簧先由某种装置储能。我们看到的许多不可逆过程,都从带有特殊限制或明显不平衡的状态开始。去掉限制后,占据更大统计范围的宏观状态往往成为演化的通常结果。

如果只给定一个平衡态,再任意想象它的过去与未来,并不能由此自然得到我们熟悉的共同时间方向。解释这个方向,还需要考虑过去的低熵条件,以及与它相容的微观状态如何演化。把眼光继续推向更早的宇宙,为什么存在这样的过去条件,又成为更深的开放问题。

时间箭头的解释不能只凭一句“微观定律不可逆”。
图解 9时间箭头的解释不能只凭一句“微观定律不可逆”。

因此,“一切都会越来越乱”既太含糊,也遗漏了关键条件。局部系统可以通过与环境交换能量和物质而熵减;宏观平衡也不是所有粒子停止运动。第二定律的统计解释削弱的是不恰当的绝对表述,并没有削弱它对普通宏观过程的可靠性。

从克劳修斯的热转化关系,到玻尔兹曼的分子碰撞与计数,再到吉布斯的概率分布,物理学学会了在两个层次之间来回工作:一方面保持微观运动规律,另一方面解释为什么大量自由度呈现稳定的宏观方向。时间箭头并非只藏在一条孤立公式里,而与规律、统计描述和过去条件共同相关。

九、时间线

时间 节点 对问题的推进
1850 克劳修斯重建热的机械理论 将热功等价与转化方向并列考虑
1851—1852 汤姆孙研究热动力学与能量耗散 区分能量总量与可恢复的做功能力
1865 克劳修斯采用 entropy 名称 熵作为定量状态关系获得明确命名
1872 玻尔兹曼研究气体分布与碰撞 后来的 H 定理提供有条件的演化结果
1876—1877 洛施密特的可逆性讨论 迫使理论说明反向轨迹与统计假设的关系
1877 玻尔兹曼发展概率与第二定律联系 宏观状态的微观实现方式成为核心
1896 策梅洛提出动力学与热理论的异议 复现限制对永久严格单调性的主张
1902 吉布斯《统计力学基本原理》 系综与概率分布方法得到系统整理

十、与知识笔记相连

十一、读后思考

  1. 100 J 热量从 600 K 热库流到 300 K 热库,能量总量与总熵分别怎样改变?
  2. 理想气体向真空自由膨胀时,为什么不能根据实际 \(Q=0\) 就断言 \(\Delta S=0\)?
  3. 六颗粒子左右各三颗为什么对应二十种安排,而不是只有一种?
  4. 把全部速度精确反向,为什么不等于在实验室中随意准备一份普通气体?
  5. 精细吉布斯熵守恒与宏观熵增讨论,是否必然互相矛盾?还需要说明什么?
参考提示
  1. 总能量不变,总熵增加 \(100(1/300-1/600)=1/6\) J/K。
  2. 实际过程不可逆;可以沿连接相同气体初末态的可逆等温路径计算,得到 \(Nk_B\ln2\)。
  3. 要选择哪三颗在左侧,共有 \(\binom63=20\) 种。宏观计数相同不表示具体粒子安排相同。
  4. 它要求保持并反转整个系统中细致的运动关联,这与通常无特殊预先协调的制备条件不同。
  5. 不必然。需要区分单系统宏观区域、精细概率分布与粗粒化分布,并说明动力学、分辨率及初始条件。
十二、参考来源与核对说明
来源 使用范围
Clausius:1850 年热理论论文 热理论重建的历史节点
Clausius:1865 年论文,英译节选 熵的命名、状态函数与转化方向;节选为后来翻译整理,不冒充原版图像
William Thomson:1851 年论文,1852 年耗散论文 能量耗散与年份区分
Boltzmann:1872 年论文英译 分布、碰撞与 H 定理的历史背景
Boltzmann:1877 年论文英译及评论 微观安排计数与概率解释
Loschmidt 原始论文书目 1876—1877 年研究范围
Zermelo:1896 年论文 动力学与机械热理论的复现异议
Gibbs:Elementary Principles in Statistical Mechanics(1902) 系综、分布与统计力学体系
Brown、Myrvold:H 定理及其限制 可逆性、复现与统计假设之间的逻辑区别
Goldstein、Lebowitz、Tumulka、Zanghì:Gibbs and Boltzmann Entropy 熵的不同定义、粗粒化及低熵过去的作用

核对范围: 2026-09-16 核对相关原始文本、出版条目和研究论文。公式采用现代记号;组合模型、热库例子和概率条带为原创教学表达,均非历史观测或真实气体模拟。图片说明见 本篇配图来源,组合计数见 六粒子计数数据。

回到顶部 ↑