热力学极限是统计力学中的一种取极限过程:系统的粒子数和体积无限增大,同时二者的比值保持不变。通过研究每个粒子或单位体积的物理量是否趋于明确定义的值,热力学极限将物质的微观描述与宏观热力学联系起来。这一构造也使明确的相变成为可能;在通常的有限平衡系统中,相变无法表现为热力学奇点。热力学极限是否存在及其性质,取决于相互作用以及系统增大的方式。(arxiv.org)
定义与取极限过程
对于单组分系统,通常的定义为
其中, 为粒子数, 为体积, 为固定、有限且非零的粒子数密度。在正则系综中,温度也保持不变。对于孤立系统,则在固定密度的同时,固定能量密度或每个粒子的能量。因此,仅说“大小趋于无穷”并不能确定系统所趋近的热力学状态。(arxiv.org)
这一数学极限针对的是一列越来越大的系统,而不要求实际存在一个无限大的容器。在晶格模型中,格点数无限增大,而晶格间距和相互作用参数保持不变。对于通常的宏观极限,不断扩大的区域必须满足边界影响足够小的条件,即表面积与体积之比趋于零。更准确地说,在距边界任意固定距离以内的区域,其体积占总体积的比例应趋于零。(damtp.cam.ac.uk)
宏观热力学量
主要研究对象是归一化后的物理量,而不是发散的总量。在正则系综中,亥姆霍兹自由能与配分函数 的关系为
其中, 为玻尔兹曼常数。当极限存在时,自由能密度定义为
类似的构造也可用于定义熵密度和内能密度。在相关导数存在的地方,热力学关系将这些函数与压强、化学势等物理量联系起来。(damtp.cam.ac.uk)
对于满足适当条件的短程相互作用,与容器壁和表面有关的贡献相对于体相贡献可以忽略。因此,取极限后得到的热力学函数可以不依赖容器的许多细节。但这种独立性并不意味着所有平衡态都相同:即使不同共存相的体相自由能密度相等,不同的边界条件仍可选出不同的相。(damtp.cam.ac.uk)
存在条件
并非每个微观模型都必然具有明确定义的热力学极限。关于经典相互作用粒子的标准严格结果采用两个重要假设:稳定性,即相互作用能的下界为 ,其中 是与系统大小无关的某个常数;以及适度性,即相互作用在距离增大时衰减得足够快。稳定性排除了能量无限降低的塌缩;适度性则控制了远距离相互作用的贡献。结合适当的区域增长方式,这些条件可保证在允许的状态变量范围内存在极限热力学函数。(arxiv.org)
强烈且不可积的长程相互作用可能不满足通常的标度假设。例如,在密度固定时,引力相互作用可能使能量的增长速度快于粒子数的增长速度。一些长程模型引入了依赖系统大小的归一化,以恢复广延性,但这不一定能恢复可加性:宏观部分之间的相互作用能仍可能不可忽略。因此,这类系统在极限下的热力学性质可能不同于普通的短程相互作用物质。(arxiv.org)
涨落与系综等价性
热力学极限有助于解释:尽管微观运动具有随机性,宏观量为何往往仍表现出可重复性。在正则系综中,能量的方差满足
其中, 为定容热容。如果平均能量和热容都与 成正比,则能量的相对涨落按 缩小。总能量仍会涨落,但其相对不确定性随系统增大而减小。(damtp.cam.ac.uk)
在适当条件下,这种分布的集中使孤立系统、正则系综和巨正则系综在相应状态下对宏观平衡量的描述趋于一致。然而,系综等价性是有条件的,并非仅凭系统足够大就能成立。对于不可加的长程系统,即使在极限下,不同系综仍可能给出不同预测;例如,某些模型在微正则系综中可以具有负热容。(sciencedirect.com)
相变与取极限的顺序
对于温度大于零的有限伊辛模型,配分函数是有限个正值解析项的和,其自由能不存在热力学奇点。然而,无限系统极限可以产生非解析的自由能密度,使热力学导数出现不连续或发散。这为界限明确的相变提供了数学基础,而不只是有限系统中变化陡峭的交叉过渡。(damtp.cam.ac.uk)
取极限的顺序对自发对称性破缺至关重要。采用对称边界条件的有限伊辛铁磁体,在外加场为零时,其平均磁化强度为零。在有序化温度以下,可以先在一个微弱正向外场中让系统大小趋于无穷,再让该外场趋于零,从而得到非零的自发序参量。若颠倒这两个操作的顺序,平均值则仍保持对称。(theor.jinr.ru)
有限尺寸标度
在连续相变的临界点附近,关联长度可能增大到与系统的线性尺寸 相当。此时,有限系统的响应峰会变得圆滑并发生偏移,而不会出现无限系统中的奇点。有限尺寸标度通过分析多个系统尺寸下的测量结果,推断极限下的临界温度和临界指数。其标度形式将系统尺寸与不断增长的关联长度联系起来,使人们能够借助有限规模的模拟研究热力学极限,而不必把任何一次模拟视为已经达到了无限规模。(courses.grainger.illinois.edu)