[论文解读] The Mathematical Structure of the Second Law of Thermodynamics

Elliott H. Lieb, Jakob Yngvason|ArXiv.org|Apr 3, 2002

Advanced Thermodynamics and Statistical Mechanics被引用 9

一句话总结

本文通过从平衡态之间的绝热可及性关系出发，严格地、公理化地推导出熵函数 $S$ 的存在性与唯一性，从而为热力学第二定律提供了严谨的理论基础，且完全独立于统计力学或热、温度等热力学概念。关键贡献在于，以绝热过程的序理论性质为依据，数学证明了第二定律是其自然结果，确立了熵作为不依赖于微观模型或统计系综的根本宏观不变量。

ABSTRACT

The essence of the second law of classical thermodynamics is the `entropy principle' which asserts the existence of an additive and extensive entropy function, S, that is defined for all equilibrium states of thermodynamic systems and whose increase characterizes the possible state changes under adiabatic conditions. It is one of the few really fundamental physical laws (in the sense that no deviation, however tiny, is permitted) and its consequences are far reaching. This principle is independent of models, statistical mechanical or otherwise, and can be understood without recourse to Carnot cycles, ideal gases and other assumptions about such things as `heat', `temperature', `reversible processes', etc., as is usually done. Also the well known formula of statistical mechanics, S = -\sum p log p, is not needed for the derivation of the entropy principle. This contribution is partly a summary of our joint work (Physics Reports, Vol. 310, 1--96 (1999)) where the existence and uniqueness of S is proved to be a consequence of certain basic properties of the relation of adiabatic accessibility among equilibrium states. We also present some open problems and suggest directions for further study.

研究动机与目标

• 基于平衡态之间绝热可及性的关系，将热力学第二定律确立为仅依赖于该关系的数学定理。
• 在不引入统计力学、热量、温度或可逆过程的前提下，证明一个可加且广延的熵函数 $S$ 的存在性与唯一性。
• 阐明第二定律是自然界的基本定律，与具体模型（如理想气体或统计系综）无关。
• 建立一个在逻辑上先于统计力学的第二定律基础，使后者能够解释前者。

提出的方法

• 在平衡态上定义一个预序关系 $\prec$，其中 $X \prec Y$ 表示 $X$ 可通过绝热过程从 $Y$ 达到。
• 利用传递性、自反性及绝热过程存在的公理，推导出态空间的结构。
• 证明存在实值函数 $S$ 使得 $X \prec Y$ 当且仅当 $S(X) \leq S(Y)$，等价于熵原理。
• 通过简单系统和绝热过程的性质，证明 $S$ 在系统复合时必须具有可加性和广延性。
• 利用有序集的数学结构以及有界集中极大元的存在性，推导出 $S$ 的唯一性。
• 证明熵函数独立于任何微观理论，如统计力学或量子力学。

实验结果

研究问题

• RQ1 能否从关于平衡态之间绝热过程的最小公理集出发，不借助温度、热量或可逆性的概念，推导出热力学第二定律？
• RQ2 熵函数 $S$ 的存在性与唯一性是否在逻辑上独立于统计力学模型或玻尔兹曼公式 $S = -\sum p_i \ln p_i$？
• RQ3 何种数学结构支撑第二定律，使得熵的增加能表征所有可能的绝热过程？
• RQ4 如何以一种对系统尺度具有鲁棒性的方式表述第二定律，包括介观和原子尺度？
• RQ5 第二定律是否对原子的存在或动力学有所暗示，还是其本质上是宏观定律？

主要发现

• 熵函数 $S$ 的存在与唯一性是绝热可及性公理、传递性及平衡态结构的直接结果。
• 在绝热隔离的假设下，熵函数 $S$ 具有可加性和广延性，即对复合系统有 $S(X \cup Y) = S(X) + S(Y)$。
• 第二定律以熵原理的形式可被推导，且无需涉及卡诺循环、理想气体或热量概念。
• 该推导不依赖于状态空间的可微性或以 $\mathbb{R}^n$ 参数化，因此适用于离散或非光滑的态空间。
• $S$ 的存在性独立于统计力学：无需任何微观模型即可在宏观层面确立第二定律。
• 第二定律并非原子动力学或统计系综的产物，且即使在量子尺度也从未观测到其偏离。