00
两只玻璃球泡,中间一道阀门。左边充着气体,右边抽成真空。
打开阀门——气体轰然涌入右球,几秒后两边各占一半。你等一整天、一整年、一亿年,它都不会自己缩回左球。
没有任何一条力学定律禁止它回去。每一次分子碰撞倒放都完全合法。那么,是谁在拦着它?
先下一个判断。
它是一次诚实的计数。撤掉隔板的那一刻,数字接管了一切。
HOW TO READ
右侧舞台由同一组粒子驱动:宏观的双球泡告诉你气体在做什么,中间的直方图数出每种分法有多少种走法,右侧的 S = k ln W 把计数变成热力学。三个面板永远同步——熵不是另一个世界的量,它就是这次计数。
当前状态:左球 100 / 100 个粒子。
ln W
S / k = ln W = 0.0
全部回左球的概率 ≈ 10^-30
00
两只玻璃球泡,中间一道阀门。左边充着气体,右边抽成真空。
打开阀门——气体轰然涌入右球,几秒后两边各占一半。你等一整天、一整年、一亿年,它都不会自己缩回左球。
没有任何一条力学定律禁止它回去。每一次分子碰撞倒放都完全合法。那么,是谁在拦着它?
先下一个判断。
01
不谈"混乱",我们来数数。
给每个分子发一枚硬币:正面=左球,反面=右球。 个分子的每一种正反组合,是一个微观状态;左边恰好 个分子的分法共有
种。 时:全在左边只有 1 种走法,二二平分有 6 种。拖动粒子数,看这场计数如何起飞——到 ,平分已有约 种走法,而"全在左边"永远只有那孤零零的 1 种。
02
把 画出来,你得到的不是一座缓坡,而是一根针。
越大,针越尖:峰的宽度只按 生长,而横轴按 伸展。 时,±10 个分子的窗口已揽下 95% 以上的微观状态;到 ,占比 99.9999…% 的窗口窄得画不出来——比一根原子还细。
宏观世界只看得见针尖。所谓"平衡态",就是这根针的名字。
03
玻尔兹曼把这场计数刻成了公式——也刻在了他的墓碑上:
取对数,是因为独立系统的 相乘、而热力学要求熵相加;乘上 ,是把"计数"换算成量热计的单位。
一摩尔气体体积翻倍,每个分子的走法翻倍, 变成 倍:
这个数字不是比喻——它能在量热实验里被测出来。
04
现在回答开头的问题:气体为什么不回去?
按下按钮,把 100 个分子全部塞回左球,松手。每一步随机挑一个分子换边(Ehrenfest 之瓮),看着计数落向针尖——然后被钉在那里抖动。
回到"全在左边"并未被禁止,它的概率是 :每纳秒试一次,宇宙年龄的 倍也等不到一回。一摩尔分子时,这个指数变成 。
不可逆,不是禁令,而是赔率。
05
但小系统里,赔率并不悬殊——看直方图左右,计数一直在抖。
时,±10% 的偏离时时发生;胶体粒子的布朗运动、临界乳光,都是熵的涨落在显形。涨落幅度按 缩小:粒子数扩大一万倍,相对涨落缩小一百倍。
热力学"定律"的斩钉截铁,是 时统计学送的礼物。
06
最后清算那个流行的比喻:熵不是"乱"。
"混乱度"帮你猜对过很多次,但它猜错的每一次,都是因为它不是定义。定义只有一个:。
07
计数器交给你。
拖动粒子数,看针如何变尖;框一个窗口,看它揽下多少微观状态;把分子全部赶回左边,再看赔率把它们押回针尖。
挑战:找到一个 ,让 ±5% 窗口恰好包住 99% 的微观状态——然后想象把它推到 。
THE LEDGER
CONCEPT CHECK · 先预测,再验证
FREE PLAY · 带着问题离开故事线
粒子数、观察窗口、释放实验,全在你手里;三个面板同步作答。
±10 的窗口包住 96.5% 的微观状态
当前状态:左球 50 / 100 个粒子。
ln W
S / k = ln W = 66.8
全部回左球的概率 ≈ 10^-30
MODEL CARD
双等容球泡格点气体:N 个可分辨粒子、每粒等概率处于左/右,W(n) = C(N, n)。这是教学中"数微观状态"的最小模型;真实气体的平动微观状态还含动量维度,计数比这更庞大——结论只会更悬殊。
全部统计量在 ln 空间计算(Stirling 带 1/(12n) 修正,n≥32,相对误差 <1e-10),N 可到数百无溢出;直方图逐点归一化,单元测试钉住归一化、对称性、2⁻ᴺ 尾概率与 R ln 2 = 5.763 J/(K·mol)。
Ehrenfest 之瓮:每步随机挑一个粒子换边,种子固定的 LCG 保证可复现。它是趋衡的卡通,不是分子动力学;真实弛豫由碰撞频率决定。
疏水效应(水的构型数主导分层)与硬球结晶(Alder 转变,1957 计算机实验首证)是统计力学标准结果;本页只作定性引用,数值模拟属于后端待办(见 docs/后端待办.md)。
本页不涉及能量交换的熵(温度、热容、第三定律),也不涉及信息熵与热力学熵的关系——那是另一个故事。粒子可分辨性的 Gibbs 佯谬在混合同种气体时需要修正,模型卡如实声明。