贡献者: 待更新
本文根据 CC-BY-SA 协议转载翻译自维基百科相关文章。
在统计力学中,巨正则系综(grand canonical ensemble,亦称宏观正则系综)是一种用于描述与热库处于热力学平衡(热平衡与化学平衡)的粒子力学系统可能状态的统计系综 \(^\text{[1]}\)。该系综中的系统具有开放性特征——系统可与热库交换能量和粒子,因此系统的不同微观态可能具有不同的总能量与总粒子数。系统的体积、形状及其他外部坐标在所有可能微观态中保持恒定。
巨正则系综的热力学变量为化学势(符号:\(\mu\))与绝对温度(符号:\(T\))。该系综的特性还受体积(符号:\(V\))等力学变量的影响,这些变量决定了系统内部状态的性质。因此,该系综常被称为 \(\mu VT\) 系综,因为这三个物理量均为该系综的固定参数。
在统计力学中,巨正则系综的基础概念可表述如下:该系综对每个微观态赋予的概率 \(P\) 由以下指数形式给出: \[ P = e^{(\Omega + \mu N - E)/(kT)},~ \] 式中,\(N\) 表示微观态中的粒子数,\(E\) 为微观态的总能量,\(k\) 为玻尔兹曼常数。
物理量Ω称为巨势,对特定系综而言为常数。当选择不同的 \(\mu,V,T\) 参数时,概率分布和 \(\Omega\) 值将发生改变。巨势Ω具有双重作用:其一作为概率分布的归一化因子(所有微观态的概率之和必须为 1);其二可通过函数 \(\Omega(\mu,V,T)\) 直接计算许多重要的系综平均值。
当系统允许多种粒子数变化时,概率表达式推广为: \[ P = e^{(\Omega + \mu_1N_1 + \mu_2N_2 + \ldots + \mu_sN_s - E)/(kT)},~ \] 其中,\(\mu_1\) 表示第一种粒子的化学势,\(N_1\) 为对应微观态中该种粒子数,依此类推(\(s\) 为不同粒子种类总数)。需注意粒子数的精确定义(参见下文关于粒子数守恒的注释)。
部分学者将巨正则系综的分布称为广义玻尔兹曼分布 \(^\text{[2]}\)。
巨正则系综特别适用于描述以下系统:系统的几何形状固定,但因与热库接触(例如导体中的电子对应电接地,空腔中的光子对应吸光表面),其能量和粒子数可发生显著涨落。该系综为严格推导无相互作用量子粒子系统的费米-狄拉克统计或玻色-爱因斯坦统计提供了自然框架(参见下文示例)。
公式注记
该概念的另一表述形式将概率写为:\(P = \frac{1}{\mathcal{Z}} e^{(\mu N - E)/(kT)},\) 其中通过巨配分函数 \(\mathcal{Z} = e^{-\Omega/(kT)}\) 替代了巨势Ω。本文中以巨势为基础的公式,均可通过简单的数学变换,利用巨配分函数重新表述。
巨正则系综是描述与一个热库保持热平衡和化学平衡的孤立系统可能状态的系综(推导过程类似于热浴推导正常正则系综的方法,可以在 Reif\(^\text{[3]}\) 中找到)。巨正则系综适用于任何巨小的系统,无论是小型还是巨型;只需要假设与其接触的热库要巨得多(即取宏观极限)。
系统被孤立的条件是必要的,以确保其具有明确的热力学量和演化。\(^\text{[1]}\) 然而,在实际应用中,通常希望使用巨正则系综来描述与热库直接接触的系统,因为正是这种接触保证了系统的平衡。在这些情况下,使用巨正则系综通常是通过以下方式之一来合理化的:1)假设接触是微弱的,或者 2)将一部分热库的连接纳入到分析中的系统中,以便正确地模拟连接对感兴趣区域的影响。另一种方法是使用理论方法来建模连接的影响,从而得到一个开放的统计系综。
另一个出现巨正则系综的情况是考虑一个巨型的热力学系统(即 “与自身处于平衡状态的系统”)。即使系统的精确条件实际上不允许能量或粒子数的变化,巨正则系综仍然可以用来简化某些热力学性质的计算。原因在于,一旦系统非常巨,各种热力学系综(微正则系综、正则系综)在某些方面会变得与巨正则系综等效。\(^\text{[注 1]}\) 当然,对于小系统,即使在均值上,不同的系综也不再是等效的。因此,当应用于粒子数固定的小系统(如原子核)时,巨正则系综可能会非常不准确。\(^\text{[4]}\)
函数 \(\Omega(\mu_1,\dots,\mu_s,V,T)\) 的偏导数给出了重要的巨正则系综平均量:\(^\text{[1][6]}\)
精确微分:从上述表达式可以看出,函数 Ω 具有精确的微分 \[ d\Omega = -S dT - \langle N_1 \rangle d\mu_1 - \dots - \langle N_s \rangle d\mu_s - \langle p \rangle dV.~ \] 热力学第一定律:将上述关系式代入 Ω 的精确微分,得到类似热力学第一定律的方程,唯一不同的是某些量带有平均符号:\(^\text{[1]}\) \[ d\langle E \rangle = T dS + \mu_1 d\langle N_1 \rangle + \dots + \mu_s d\langle N_s \rangle - \langle p \rangle dV.~ \] 热力学波动:能量和粒子数的方差为 \(^\text{[7][8]}\) \[ \langle E^2 \rangle - \langle E \rangle^2 = k T^2 \frac{\partial \langle E \rangle}{\partial T} + k T \mu_1 \frac{\partial \langle E \rangle}{\partial \mu_1} + k T \mu_2 \frac{\partial \langle E \rangle}{\partial \mu_2} + \dots ,~ \] \[ \langle N_1^2 \rangle - \langle N_1 \rangle^2 = k T \frac{\partial \langle N_1 \rangle}{\partial \mu_1}.~ \] 波动中的关联:粒子数和能量的协方差为 \(^\text{[1]}\) \[ \langle N_1 N_2 \rangle - \langle N_1 \rangle \langle N_2 \rangle = k T \frac{\partial \langle N_2 \rangle}{\partial \mu_1} = k T \frac{\partial \langle N_1 \rangle}{\partial \mu_2}.~ \] \[ \langle N_1 E \rangle - \langle N_1 \rangle \langle E \rangle = k T \frac{\partial \langle E \rangle}{\partial \mu_1}.~ \]
巨正则系综的有用性在下面的例子中得到了说明。在每个例子中,巨正则势能是基于以下关系计算的: \[ \Omega = -kT \ln \left( \sum_{\text{microstates}} e^{(\mu N - E)/(kT)}\right)~ \] 这个关系是为了使微观状态的概率总和为 1 所必需的。
玻色子和费米子(量子)
在量子系统中,如果有许多非相互作用的粒子,则热力学计算是简单的。\(^\text{[9]}\) 由于粒子是非相互作用的,可以计算一系列单粒子驻留态,每个驻留态代表一个可以被包含进系统总量子态的可分离部分。为了避免将这些 “状态” 与总的多体态混淆,我们暂时称这些单粒子驻留态为轨道,并规定每个可能的粒子内部属性(如自旋或极化)都算作一个单独的轨道。每个轨道可以被粒子(或多个粒子)占据,或者保持为空。
由于粒子是非相互作用的,我们可以从以下角度来看待:每个轨道形成一个独立的热力学系统。因此,每个轨道都是一个独立的巨正则系综,它如此简单,以至于其统计可以立即在此推导出来。我们聚焦于仅一个标记为 \(i\) 的轨道,对于该轨道中 \(N_i\) 个粒子的一个微观状态,其总能量为 \(N_i\epsilon_i\),其中 \(\epsilon_i\) 是该轨道的特征能级。该轨道的巨正则势能由以下两种形式之一给出,具体取决于该轨道是玻色子轨道还是费米子轨道:
在每种情况下,值 \(\langle N_i \rangle = -\frac{\partial \Omega_i}{\partial \mu}\) 给出了轨道上粒子的热力学平均数:费米-狄拉克分布适用于费米子,玻色-爱因斯坦分布适用于玻色子。再次考虑整个系统,通过将所有轨道的 \(\Omega_i\) 相加,得到总的巨正则势能。
不可区分的经典粒子
在经典力学中,同样可以考虑不可区分的粒子(事实上,不可区分性是以一致的方式定义化学势的前提条件;所有给定种类的粒子必须是可以互换的 \(^\text{[1]}\))。我们可以将具有巨致均匀能量 \(\epsilon_i\) 的单粒子相空间区域视为一个标记为 \(i\) 的 “轨道”。
由于这个轨道实际上包含许多(无限多个)不同的状态,因此会出现两个复杂问题。简要来说:
由于 \(1/N_i!\) 的重计数修正,求和现在呈现出指数级幂级数的形式, \[ \Omega_i \propto -kT \ln \left( \sum_{N_i=0}^{\infty} \frac{1}{N_i!} e^{(N_i \mu - N_i \epsilon_i)/(kT)} \right) \propto -kT \ln \left( e^{e^{(\mu - \epsilon_i)/(kT)}} \right) \propto -kT e^{\frac{\mu - \epsilon_i}{kT}},~ \] 值 \(\langle N_i \rangle \propto -\frac{\partial \Omega_i}{\partial \mu}\) 对应于麦克斯韦-玻尔兹曼统计。
巨正则系综可以用来预测一个原子更倾向于处于中性状态还是电离状态。一个原子能够存在于与中性状态相比,电子数更多或更少的电离状态。如下面所示,电离状态可能在热力学上更为优选,具体取决于环境。考虑一个简化模型,其中原子可以处于中性状态或两个电离状态之一(详细计算还包括激发态和状态的简并因子 \(^\text{[10][11]}\)):
其中,\( \Delta E_I \) 和 \( \Delta E_A \) 分别是原子的电离能和电子亲和能;\( \phi \) 是原子附近真空中的局部静电势,\( -q \) 是电子的电荷。
其中 \( \Delta E_I \) 和 \( \Delta E_A \) 分别是原子的电离能和电子亲和能;\(\phi\) 是原子附近真空中的局部静电势,\( -q \) 是电子的电荷。
在这种情况下,巨势能由下式确定: \[ \Omega = -kT \ln \left( e^{(\mu N_0 - E_0)/(kT)} + e^{(\mu N_0 - \mu - E_0 - \Delta E_I - q\phi)/(kT)} + e^{(\mu N_0 + \mu - E_0 + \Delta E_A + q\phi)/(kT)} \right)~ \] \[ = E_0 - \mu N_0 - kT \ln \left( 1 + e^{(-\mu - \Delta E_I - q\phi)/(kT)} + e^{(\mu + \Delta E_A + q\phi)/(kT)} \right)~ \] 其中,\( -q\phi - \mu \) 在此情况下至关重要,它决定了不同状态之间的平衡。这个值由原子周围的环境决定。
为了使粒子数具有相关联的化学势,它必须在系统的内部动力学过程中保持守恒,只有在系统与外部储备交换粒子时,粒子数才能改变。
如果粒子可以在系统的动力学过程中由能量创造出来,那么与之相关的 \( \mu N \) 项就不应该出现在巨正则系综的概率表达式中。实际上,这与要求该类粒子的化学势 \( \mu = 0 \) 是一样的。黑腔中的光子就是这种情况,它们的数量由于腔壁上的吸收和辐射而不断变化。(另一方面,在高度反射的腔中,光子可以被守恒,并且具有非零的 \( \mu \)。\(^\text{[14]}\)
在某些情况下,粒子数并不是守恒的,\( N \) 代表的是一个更抽象的守恒量:
另一方面,在某些情况下,单一类型的粒子可能具有多个守恒量:
统计系综的精确数学表达式根据所考虑的力学类型(量子力学或经典力学)具有不同的形式,因为 “微观状态” 的概念有很巨区别。在量子力学中,巨正则系综提供了一个简单的描述,因为对角化提供了系统的不同微观状态,每个状态具有明确的能量和粒子数。经典力学的情况更为复杂,因为它涉及的不是静止状态,而是对经典相空间的积分。
关于量子力学中系综表示的更多信息:统计系综(数学物理) 量子力学中的统计系综通过密度矩阵表示,记作 \( \hat{\rho} \)。巨正则系综就是密度矩阵:
\[ \hat{\rho} = \exp \left( \frac{1}{kT} \left( \Omega + \mu_1 \hat{N}_1 + \dots + \mu_s \hat{N}_s - \hat{H} \right) \right)~ \]
其中,\( \hat{H} \) 是系统的总能量算符(哈密顿量),\( \hat{N}_1 \) 是系统中类型 1 粒子的总粒子数算符,\( \hat{N}_2 \) 是类型 2 粒子的总粒子数算符,以此类推。\( \exp \) 是矩阵指数算符。巨势能 \( \Omega \) 由概率归一化条件确定,即密度矩阵的迹为 1:\(\text{Tr} \hat{\rho} = 1\) \[ e^{-\frac{\Omega}{kT}} = \text{Tr} \exp \left( \frac{1}{kT} \left( \mu_1 \hat{N}_1 + \dots + \mu_s \hat{N}_s - \hat{H} \right) \right)~ \] 请注意,对于巨正则系综,算符 \( \hat{H} \)、\( \hat{N}_1 \) 等的基态都是具有多个粒子的福克空间中的状态,且密度矩阵在相同的基上定义。由于能量和粒子数都是分别守恒的,这些算符是彼此对易的。
巨正则系综可以用简单的形式通过 bra–ket 表示法来写出,因为在能量和粒子数算符是彼此对易的情况下,可以找到一组同时的本征态 \( |\psi_i \rangle \),其中 \( \hat{H}|\psi_i \rangle = E_i |\psi_i \rangle \),\( \hat{N}_1 |\psi_i \rangle = N_{1,i} |\psi_i \rangle \),依此类推。给定这样的本征基,巨正则系综可以简单地写为: \[ \hat{\rho} = \sum_i e^{\frac{\Omega + \mu_1 N_{1,i} + \dots + \mu_s N_{s,i} - E_i}{kT}} |\psi_i \rangle \langle \psi_i |~ \] \[ e^{-\frac{\Omega}{kT}} = \sum_i e^{\frac{\mu_1 N_{1,i} + \dots + \mu_s N_{s,i} - E_i}{kT}}~ \] 其中,求和是对所有状态的完整集合进行的,状态 \( i \) 的总能量为 \( E_i \),类型 1 的粒子数为 \( N_{1,i} \),类型 2 的粒子数为 \( N_{2,i} \),依此类推。
关于经典力学中系综表示的更多信息:统计系综(数学物理) 在经典力学中,大正则系综通过定义在多个不同维度的相空间上的联合概率密度函数表示,记作 \( \rho(N_1, \dots, N_s, p_1, \dots, p_n, q_1, \dots, q_n) \),其中 \( p_1, \dots, p_n \) 和 \( q_1, \dots, q_n \) 是系统内部自由度的规范坐标(广义动量和广义坐标)。大正则系综的表达式比大正则系综更为精细,因为:
在一个粒子系统中,自由度的数量 \( n \) 取决于粒子数,并且这种依赖关系取决于具体的物理情况。例如,在三维的单原子气体中,\( n = 3N \),然而在分子气体中,还会有转动和振动自由度。
大正则系综的概率密度函数为: \[ \rho = \frac{1}{h^n C} e^{\frac{\Omega + \mu_1 N_1 + \dots + \mu_s N_s - E}{kT}}~ \] 其中:
同样,\( \Omega \) 的值通过要求 \( \rho \) 是一个归一化的概率密度函数来确定: \[ e^{-\frac{\Omega}{kT}} = \sum_{N_1=0}^{\infty} \dots \sum_{N_s=0}^{\infty} \int \dots \int \frac{1}{h^n C} e^{\frac{\mu_1 N_1 + \dots + \mu_s N_s - E}{kT}} dp_1 \dots dq_n~ \] 这个积分是在给定粒子数的相空间上进行的。
过度计数修正
在流体(气体、液体、等离子体)的统计力学中,一个著名的问题是如何处理相似或相同性质的粒子:它们应被视为可区分的还是不可区分的?在系统的运动方程中,每个粒子始终被视为一个可区分的实体,但系统中也存在有效的状态,其中每个粒子的位置仅仅被交换:这些状态在相空间中代表着不同的位置,但似乎是等价的。
如果相似粒子的置换被视为计数为不同的状态,那么上面的因子 \( C \) 就是简单的 \( C = 1 \)。从这个角度来看,系综将每一个置换状态视为一个独立的微观状态。虽然最初看起来无害,但这会导致一个在经典系综中严重非广延的熵问题,今天称为吉布斯悖论。在大正则系综中,进一步的逻辑不一致发生了:可区分的置换数量不仅依赖于系统中有多少粒子,还依赖于储存库中有多少粒子(因为系统可能与储存库交换粒子)。在这种情况下,熵和化学势是非广延的,但也定义不清,依赖于一个应该是无关紧要的参数(储存库大小)。
为了解决这些问题,必须认为两个相似粒子的交换(无论是在系统内,还是在系统与储存库之间)不会给系统带来一个不同的状态。\(^\text{[1][注 5]}\) 为了将这一事实纳入考虑,积分仍然在完整的相空间上进行,但结果会除以 \[ C = N_1! N_2! \dots N_s!~ \] 这是可能的不同置换的数量。除以 \( C \) 使得在对所有相空间进行积分时,过度计数得到了巧妙的修正。
当然,可以在大正则系综中包含可区分的粒子类型——每种可区分的类型 \( i \) 都由一个单独的粒子计数器 \( N_i \) 和化学势 \( \mu_i \) 追踪。因此,将 “完全可区分” 的粒子包含在大正则系综中的唯一一致方式是考虑每一种可能的可区分粒子类型,并为每种类型追踪一个单独的粒子计数器和单独的化学势。
 
 
 
 
 
 
 
 
 
 
 
友情链接: 超理论坛 | ©小时科技 保留一切权利