类别: 定律
类型: 热力学第二定律的熵表述
起源: 克劳修斯(R. Clausius)在《Ueber verschiedene für die Anwendung bequeme Formen der Hauptgleichungen der mechanischen Wärmetheorie》中为熵定名并写下最大值表述,《Annalen der Physik und Chemie》第125卷(1865),第353–400页;方向本身由克劳修斯在1850年、W. Thomson 在1851年和1852年先后给出
别名: 热力学第二定律;熵定律;熵增
类型: 热力学第二定律的熵表述
起源: 克劳修斯(R. Clausius)在《Ueber verschiedene für die Anwendung bequeme Formen der Hauptgleichungen der mechanischen Wärmetheorie》中为熵定名并写下最大值表述,《Annalen der Physik und Chemie》第125卷(1865),第353–400页;方向本身由克劳修斯在1850年、W. Thomson 在1851年和1852年先后给出
别名: 热力学第二定律;熵定律;熵增
快速回答 — 熵增定律(Entropy Increase Law)说,孤立系统的熵不会减少:不与外界交换物质和能量的系统,只会沿着自发方向走向更大的熵;这也是热力学第二定律的熵表述。克劳修斯在1865年为这个量定名,并写下世界的熵趋于最大值。真正限定这条定律的是”孤立”二字——细胞、冰箱、团队这样的开放系统可以维持甚至增加内部秩序,但必须把熵排到别处。
什么是熵增定律?
熵增定律是说,孤立系统的熵永不减少:每一次自发变化都让它上升,最多保持不变;而这本账要连系统与它交换的对象一起算。世界的能量是恒定的。世界的熵趋于最大值。这是克劳修斯1865年论文的结尾两句。德文原文是 “Die Energie der Welt ist constant. Die Entropie der Welt strebt einem Maximum zu.”,英文引用常把 Welt 译作”宇宙”。熵是一个状态函数:在温度 T 下可逆地给物体输入一小份热量,它的熵就增加这份热量除以 T。克劳修斯在同一篇论文里给它命名,取自希腊语 ἐν τροπή(“转变”),并有意让这个词的读音接近 energy(能量)。 这条定律禁止的是总量下降。一杯热咖啡变凉,它失去的热量让房间的熵增加,增量超过咖啡本身熵的减少。洗好的牌不会自己排回顺序。方向不是一只把世界推向混乱的手,而是一种计数:像”均匀混合”这样的宏观状态,背后对应的微观排列比”彼此分开”多出无数倍,所以一个在可能性里游走的系统,几乎总出现在名单上人最多的那一头。玻尔兹曼把这件事变成一个度量——熵随微观状态数的对数增长——刻在维也纳他墓碑上的关系式 S = k log W,说的就是这件事。
熵增定律的三层理解
- 入门:热饮会变凉,没人照看的房间会乱,雨里的纸会烂。一个提示:对任何你要依赖的变化,先问一句——没人推的时候,它往哪边走?
- 实践:用这条定律之前,先画出边界,再列出穿过边界的东西。只要有能量或物质进出,问题就不是”它会不会衰退”,而是”维持现在的秩序,靠哪一股流来付账”。把维护当作账单来拨款;在画出流之前,把所有”零损耗”的承诺当作越界声明。
- 进阶:方向是统计性的,不是力学的。微观定律对时间可逆,箭头来自计数,所以定律讲的是平均,个别涨落可以逆着走——下面那次擦除实验里,就有单次运行反而吸热,而平均值始终没有越过下限。开放系统可以在耗散能量的同时长出有序结构(普利高津的耗散结构,1977年诺贝尔化学奖),但前提是流一直在。第一性原理思维就是从这套计数里推出方向,而不是背口号。
起源
这条定律出自一个工程问题:一定量的热,最多能做出多少功?1824年,法国工程师卡诺(Sadi Carnot)出版了《Réflexions sur la puissance motrice du feu et sur les machines propres à développer cette puissance》(巴黎:Bachelier,1824)。他的答案是:最大功只由两个温度决定,与工作物质无关,任何流体或机构都做不过这个上限。他推导时还在用”热质”——把热当成一种流体——而结论活过了这套理论。 1850年,克劳修斯在《Annalen der Physik》第79卷第368–397页和第500–524页发表《Ueber die bewegende Kraft der Wärme und die Gesetze, welche sich daraus für die Wärmelehre selbst ableiten lassen》,第一次给第二定律打下精确基础,并在后来的表述里留下那句至今常被引用的公理:热不会自行从冷体传到热体。支撑这条限制的那个量,出现在他19世纪50年代的论文里;1865年,他给它定名”熵”,并解释说:取自希腊语的名称可以原封不动进入各种语言,而且这个词应当与 energy 相像。同一篇论文在第400页以本文开头引用的那两句话收尾。 更早的时候,威廉·汤姆孙(后来的开尔文勋爵)从另一个方向得到了同一条限制。1851年,他从热的动力理论出发论证:若不伴随其他变化,人无法靠把物质冷却到比周围环境更低的温度来获得机械功。1852年4月19日,他在爱丁堡皇家学会宣读《On a Universal Tendency in Nature to the Dissipation of Mechanical Energy》(同年10月发表于《Philosophical Magazine》),把它写成一种世界趋势:“目前物质世界中存在一种普遍的机械能耗散趋势”,而在无生命的过程中,这种耗散无法完全复原。宇宙缓慢滑向最终均匀状态的那幅图景,后来得名”热寂”。 1877年,玻尔兹曼在《Wiener Berichte》第76卷第373–435页发表《Über die Beziehung zwischen dem zweiten Hauptsatze der mechanischen Wärmetheorie und der Wahrscheinlichkeitsrechnung respektive den Sätzen über das Wärmegleichgewicht》。他给出的熵是一种计数:一个宏观状态能被越多分子排列产生,它就越可能;孤立系统于是漂向最可能的状态。现代形式的 S = k log W 并不是他写的——《斯坦福哲学百科全书》指出,尽管如此,它还是被刻在他维也纳的墓碑上——而这个公式抓住的正是他的本意:熵是一个”方式数”的对数。 到1928年,这个方向已经成了物理学家手里最可信的陈述。爱丁顿在《The Nature of the Physical World》(剑桥大学出版社,1928)第74–75页写道:熵总是增加——也就是热力学第二定律——我想,在自然定律中占据最高位置。如果有人指出,你心爱的宇宙理论与麦克斯韦方程不符——那对麦克斯韦方程更糟。如果观测与它矛盾——好吧,实验家偶尔也会出错。但如果你的理论违反了热力学第二定律,我帮不了你;除了在深深的羞愧中崩塌,别无出路。
核心要点
下面四条,让这条定律保持可用:先画边界,把熵当作计数而不是乱,为维持秩序的流付账,以及承认信息自身也要为擦除缴费。1
引用定律之前,先画出边界
定律的保证属于”孤立”的整体,而人们拿它说事的大多数系统并不孤立。保温瓶接近孤立;地球不是,阳光进来、红外出去;公司也不是,钱、人和注意力都穿过它的边界。把边界写下来,再列出穿过它的东西。只要有东西穿过,单靠定律推不出里面会发生什么,你需要流,而系统思维就是跟踪流的功夫。
2
把熵当作计数,而不是乱
熵是状态的属性,不是整洁度的属性。克劳修斯把它的变化写成热量除以温度;玻尔兹曼数的是同一个宏观样子背后的微观排列。两种气体无声无息地混合,熵在上升;晶体从溶液里长出来,把自己排得整整齐齐,同时把热量放给周围,替这份秩序付账。当”乱”和计数打架时,信计数。
3
开放系统的秩序,用流来买
开放系统把熵排到外面,就能维持内部低熵。薛定谔在《生命是什么》(剑桥大学出版社,1944)里写:“有机体以负熵为食”;他后来补充,更准确的说法是自由能。冰箱只有马达在转,才能把热从冷处搬到热处。普利高津的耗散结构——从下方加热的液体里那些规则的对流胞——是实验室版本:他1977年诺贝尔奖的颁奖词强调,这类结构只在与环境交换的前提下存在。流一停,秩序跟着走。维护是一个速率,而复利增长就是速率的算术:一次次小投入或一次次小遗漏,决定长期结果。
4
连擦除也要缴税
兰道尔(Rolf Landauer)1961年论证:任何逻辑不可逆的操作——输出无法还原输入的操作,比如把一位存储器复位——至少要放出 kT ln 2 的热量,300 K 时约 3 × 10⁻²¹ 焦耳(《IBM Journal of Research and Development》第5卷第3期,第183–191页)。麦克斯韦妖的现代版本就是这样被了结的:妖记下的笔记迟早要擦掉。二阶思维负责抓住这笔账,因为删除记录的代价,属于那件必须记录的事。
应用场景
只有在指得出边界和各股流的地方,这条定律才有用;带到别处,它只是装饰。把维护当作流来拨款,而不是当作性格
练习、整洁的桌面、健康的腰背,都更像冰箱而不是冷冻柜:只有东西在运转,它才保持”冷”。把”我要更有毅力”换成两个问题:定期输入是什么,什么时候运行?把你会真正重复的最小版本放进日历,每周一次。
给每个有序系统配一条排放例行程序
能长期保持质量的团队,通常都有一条固定的排放程序:分诊时段、缺陷清理、文档修剪日。挑最小的那件事,给它一个负责人和一个固定时段,然后观察混乱是否真的在离开系统。这些不是物理,而是物理要求的那股流。
先算物理下限,再承诺效率
答应目标之前,先算边界。热机理想上限是 1 − Tc/Th,两个温度用开尔文。在 300 K 擦除一个比特,下限是 kT ln 2,约 3 × 10⁻²¹ 焦耳。低于下限的报价,要么是报错了,要么在回答另一个问题——问清楚是哪一个。
每季度审计一次边界
当一种说法是”我们在衰退”或”下滑不可避免”时,先列出穿过边界的东西:现金、用户、知识、休息。只要有流,未来就是管理问题,不是判决。如果系统真的封闭,就为漂移做计划——并在漂移替你做决定之前,先把某扇门打开。
经典案例
对这条定律最干净的现代检验,用的不是蒸汽机,而是一位内存和一个水里的微粒。它背后的问题很老:1867年12月11日,麦克斯韦在写给泰特(Peter Guthrie Tait)的信里设想了一个小小的看门者,把快分子和慢分子分开,似乎凭空造出温差;1871年,他把这个设想写进《Theory of Heat》;1874年,威廉·汤姆孙在《Nature》上给出了”妖”这个称呼。兰道尔1961年的下限指出漏洞在哪里合上:擦掉妖的笔记不可能是免费的。2012年,里昂高等师范学校的一支团队与奥格斯堡、凯撒斯劳滕的同行一起,把这个价钱量了出来。 Antoine Bérut、Artak Arakelyan、Artyom Petrosyan、Sergio Ciliberto、Raoul Dillenschneider 和 Eric Lutz 用光镊制造的双势阱困住一颗半径约1微米的二氧化硅微粒。声光偏转器以10 kHz在相距约1微米的两个位置之间切换1024纳米的激光,微粒于是看到两个阱:左边记作0,右边记作1。擦除时,势垒从约8 kT 降到约2.2 kT,移动台面产生拖曳力把势阱倾斜,使每一次运行不管从哪里出发都落在同一个阱里,然后再把势垒升回去。擦除时长 τ 逐次变化。 结果才是重点。每次擦除的平均散热随 τ 增大而下降,在长周期极限下饱和于兰道尔下限 kT ln 2——室温下约 3 × 10⁻²¹ 焦耳。对数据的双参数拟合给出渐近值0.72 kT,理论值是0.693 kT,有限时间多出来的部分大致按 1/τ 下降。这项实验发表在《Nature》第483卷第187–189页(2012),DOI 10.1038/nature10872;上面的数字来自三位作者后来的一份长文(arXiv:1503.06537),它描述的是同一次实验,并提到:最后升起势垒时,微粒偶尔会逃出来,所以成功率低于100%。单条轨迹有时耗散低于下限,还有少数反而吸热——涨落会这样——但平均值从未越线。这就是穿上现代外衣的定律:它不禁止秩序,只对删除收税,而账总是要收的。 边界说明就是这套装置本身。一颗微粒、一个比特、一个温度、多次运行的平均值:下限说的是平均,不是任何一次具体擦除。它不能给数据中心或档案柜定价,也不能把算式搬进一段关系或一个团队。抵制方案的团队不是微粒,0.72 kT 也不是管理指标。边界与失效场景
这条定律被误用在三个方向:当作开放系统的末日预言,当作”乱”的同义词,以及当作聪明可以赖掉的债。 第一条边界是”孤立系统”这个前提。地球不孤立,地球上的生命靠从阳光或食物中取用自由能、再排出废热来维持秩序——这就是薛定谔描绘、普利高津学派推广的那本账。公司、城市、家庭同样是开放系统。不画出边界、不指出哪股流没被拨款,就宣称”我们的组织正因熵而死”,那是穿着实验室白大褂的比喻。检验很简单:画出边界,列出穿过它的东西,说出哪股流没有被付钱。如果说不出来,定律并没有被应用——你面对的是一个管理问题,这是另一种、也更好处理的诊断。 第二条边界是词义。熵数的是微观排列,量的是能量散开的程度;它不是”乱”,也不在乎一个房间在家长眼里是什么样。一块整齐的冰,比同样多的水散开时熵更低,但结冰放出的热量让周围的熵增加得更多。当账本和眼睛打架时,账本赢。如果你想争论的是整洁,就用整洁去争论。 第三条边界是一种误用模式:宿命论,或它的镜像——励志式夸大。“一切都会衰退,何必费劲”漏掉了本可以拨款的流;“我们要战胜熵”漏掉了账单。定律不给时间表,不给反派,也不给战略。它只留下一个值得保留的问题:这里的秩序由哪股流付账,混乱又排到哪里去?煮青蛙效应就是无维护版本从内部看的样子:慢到没人把它叫作衰退,直到阈值被跨过。常见误区
三种复述,会把边界条款变成口号,把计数变成情绪,把聪明变成漏洞。定律说一切都会不断衰退
定律说一切都会不断衰退
它说的是孤立系统的熵永不下降。开放系统——冰箱、细胞、一个街区——可以在把熵排出去的同时维持甚至增加秩序,而且每天都在这样做。任何具体事物的衰退都以它的边界和流为条件,不是物理学的判决。预言命运之前,先画边界。
熵就是乱
熵就是乱
熵是状态函数:随热量除以温度增长;按玻尔兹曼的读法,随一个状态背后的微观排列数增长。两种气体混合时看不出乱,熵却在上升;水结成有序的冰,总熵仍在上升,因为热量离开了。把”乱”当作教学比喻可以,但它的射程很短;算账时用计数。
足够聪明的机器可以绕开这笔税
足够聪明的机器可以绕开这笔税
这正是麦克斯韦妖的许诺,而擦除就是它的终点。记录观测的内存迟早要复位,而复位是逻辑不可逆的:兰道尔下限把代价定在每比特不低于 kT ln 2,2012年的微粒实验测到,慢周期下均值基本就落在那里。单次运行可以低于下限,平均值不能。更聪明地选择擦除哪些比特会改变账单,不会取消账单。
相关概念
六个邻居:两套关于系统与速率的框架,两个不让类比偷懒的思维习惯,以及两条关于变化如何缓慢到来的提醒。系统思维
存量、流量与边界。在熵增定律对一个系统开口之前,系统思维先问:什么穿过了它的边界?一个画线,一个给泄漏定价。
复利增长
速率作用于自身。维护和荒废都会复利:重复的小投入把系统托住,重复的小遗漏让它下滑,长期结果属于给那股流拨款的人。
煮青蛙效应
缓慢而无人察觉的漂移。失去维护的系统是逐渐跨过阈值的,所以这条定律的失效通常不会报警。
盖尔定律
能运转的复杂系统,从能运转的简单系统长出来。秩序由可用的部件拼装和维护,从来不是被宣布出来的。
二阶思维
后果的后果。今天的维护决策,决定下一期的衰退或更新速度——熵的账单就出现在这道算术里。
第一性原理思维
推导,而不是借用。卡诺上限和 kT ln 2 下限都是第一性原理的答案;关于衰退的口号算不出数。