[论文解读] The zeroth law of thermodynamics is redundant

Philipp Kammerlander, Renato Renner|arXiv (Cornell University)|Apr 25, 2018

Advanced Thermodynamics and Statistical Mechanics参考文献 3被引用 5

一句话总结

本文主张在经典经验热力学中，热力学第零定律是冗余的，可从第一定律和第二定律推导得出，而非作为公设提出。通过构建基于可逆热机和卡诺定理的框架，作者定义了绝对温度，并表明热平衡——从而第零定律——自然出现，无需事先假设其传递性。

ABSTRACT

We reconsider the basic building blocks of classical phenomenological thermodynamics. While doing so we show that the zeroth law is a redundant postulate for the theory by deriving it from the first and the second laws. This is in stark contrast to the prevalent conception that the three laws, the zeroth, first and second, are all necessary and independent axioms.

研究动机与目标

• 以最少的显式公设重述经典经验热力学的基础。
• 通过证明第零定律并非独立公理，解决热力学教育中的概念混淆。
• 仅使用第一定律和第二定律，提供热平衡传递性的严格、自洽推导。
• 通过澄清经典基础，为新兴的量子热力学提供支持，以利于量子与经典之间的比较。

提出的方法

• 在最小假设下定义热力学系统、过程和热源，避免预先定义热平衡。
• 以卡诺定理为核心工具，不引用第零定律即证明其成立，从而建立热量传递的比值关系。
• 通过可逆过程在热源之间的关系 τ(R₁,R₂) = −Q₁/Q₂ 定义绝对温度。
• 证明 τ 满足群性质 τ(R₁,R₂)·τ(R₂,R₃) = τ(R₁,R₃)，从而证明热平衡的传递性。
• 将热平衡定义为绝对温度相等，从而将第零定律作为结果推导而出。
• 利用热源的性质——循环性和功的可逆性——确保过程组合过程中热量与能量流动的一致性。

实验结果

研究问题

• RQ1 能否在不将第零定律作为公设的前提下，仅从第一定律和第二定律推导出热力学第零定律？
• RQ2 热平衡的传递性是否为必要公理，还是更基本热力学原理的推论？
• RQ3 绝对温度能否在不依赖第零定律的前提下，仅通过第一定律和第二定律来定义？
• RQ4 热源的性质——尤其是功的可逆性和循环性——在推导热力学一致性方面起什么作用？
• RQ5 重新定义经验热力学的基础，如何影响对量子热力学的解释？

主要发现

• 第零定律并非独立公理，而是在通过可逆热机定义绝对温度后，由第一定律和第二定律自然导出的结论。
• 热平衡被定义为绝对温度相等，而绝对温度由卡诺定理和热量比 τ(R₁,R₂) = −Q₁/Q₂ 推导得出。
• 函数 τ 满足群性质 τ(R₁,R₂)·τ(R₂,R₃) = τ(R₁,R₃)，从而在不假设的前提下证明了热平衡的传递性。
• 卡诺定理的证明不依赖第零定律，τ 的推导仅基于第一定律和第二定律的约束条件。
• 当通过可逆过程引入绝对温度时，热平衡的传递性成为可推导的性质，而非基础假设。
• 该框架完全避免了对热平衡的先验概念，使得第零定律在热力学公理体系中成为冗余。