
矛盾,且不能用基本的统计物理学解决。所以,实名反对上述所有答案。
首先,要明确一个基本事实:我们能观测到的物理量只能是有限时间内实际出现过微观态的函数,任何时候你都不可能真的观测到系综平均值,后者只能被估计。统计物理教材倾向于忽略观测和估计间的差别,概率和频率间的差别,这是物理学家的一项恶习。
庞加莱回归定理告诉我们:在温和的假定下,有限保守孤立系统的微观态是时间的概周期函数(Poincaré recurrence theorem),这导致上述可观测量都必须是概周期函数。而热力学第二定律宣布熵随时间单调不减,可是,单调不减的概周期函数只能是常数。这蕴含唯一可能严格保证两者成立的是熵恒定的平衡态孤立系,任何非平凡情况下这两者都是矛盾的。
此问题下大部分答主说的其实都是玻尔兹曼回应策梅洛诘难时的说辞:
问题在于,这套说法是在对随机过程的研究不足的年代提出来的。以现在的观点看满是破绽:
(1)如果宏观态的演化在观测时长内能被视作平稳遍历的,那么任一状态的复现时间总是等于态过渡时间/该态的出现概率(M.Kac,1948)。所以如果初态的复现时间真的长到可以不管,那么这种初态本身的出现概率就也是小到可以忽略不计的。
实际上,你根本不能证明任何一个现实系统会有“极其惊人的复现时间”,因为严格计算复现时间需要精确知道微观态。大多数说复现时间长所以不矛盾的论文和书籍只是在hand-waving,用微观态数的估值捏造一个很长的复现时间出来糊弄人,根本不管数学上的问题。
这点其实也可以从“单调不减的概周期函数只能是常数”看出端倪,事实上,即使考虑了统计涨落,系统的热力学熵也必须几乎一直是常数。也即:绝大多数时候熵都是在最大值附近来回小幅涨落,极少有时机能让你看到显著的熵增趋势的。
(2)如果宏观态的演化不能被视作平稳遍历的,那么,有限时间内的观测平均(样本均值)和系综平均(总体均值)的差别就变得很重要了。证明时间平均是系综平均值的一个相合估计量,是需要平稳遍历性的,现在你没有了。
需要说明的是:统计物理中的吉布斯熵是关于微观态分布的泛函,但我们根本不能直接观测微观态分布,所以用它代表热力学熵是必须建立在基于微观态样本的优良估计量的存在上的,绝不是无条件的。而庞加莱回归保证的是:只要体系还是有限孤立的,那么只有概周期函数可以得到好的估计,矛盾并不消除。
----------------对评论区疑难做统一回复------------
真是有趣,我已经用“这蕴含唯一可能严格保证两者成立的是熵恒定的平衡态孤立系”这句话交代了我有把系统一直处在平衡态和并非如此的情况分开来对待,难道有些人是不知道equilibrium就是平衡态的意思吗?
而且之后我也马上说明讨论系统会偏离平衡态的情况才是这里的重点(“任何非平凡情况下这两者都是矛盾的”)。整个过程里我故意避开平衡态统计力学里专有的结论,就是为了保证我的论述是始终适用的。不然你以为我干嘛要没事用“宏观态的演化不能被视做平稳遍历的”这种说法?
原始的庞加莱回归定理确实是用于确定性的哈密顿系统的。但请不要忘了,不仅仅热力学第二定律的内涵会发展,庞加莱回归也会发展啊。Mark Kac的研究动机之一就是在我们不能确定当前微观态,只能知道一定的分布的情况下怎么找到推广版的“庞加莱回归”。这结果对有限态的平稳遍历过程都是成立的,需要全知系统么?需要假定不在平衡态么?对不起,都不需要。
令X0,X1……Xn i.i.d ~Uniform(0,1),那么在n个间隔后X“增加”的概率P(Xn>X0|X0=x)=P(Xn>x)=1-x,显然,它也随着x减小而趋于1,但是这能说明Xn序列有递增的趋势么?没有,它就是一堆独立同分布的样本啊!难道我能说,因为只要Xn偏离最大值,X(n+1)就有概率更接近最大值,此事件概率随着Xn远离最大值而增大(以上都是显然的事实),所以Xn就是“依概率”递增的?
所以上述的例子并不能说明任何熵S特有的性质,只是一个极其trivial的东西,更谈不上从概率上解释热力学第二定律。
