一次经典力学之旅(四):秩序、混沌与热的几何

系列第(四)篇,共四篇——终篇。第(三)篇给了我们辛的世界:作为李代数的泊松括号、正则变换、刘维尔与庞加莱,以及那个把经典力学带到薛定谔方程门口的哈密顿-雅可比方程。我们一直住在可积系统这片温柔的国度。现在我们越过它的边界——进入破碎环面的废墟、混沌的萌发,以及动力学终于变成统计学的那个地方。

对称性一直是这整段旅程里安静的主角。它给我们守恒律,它定下作用量,而现在,在这最后一篇里,我们将看到它还紧紧地支配着哈密顿系统的动力学行为:对称性越高、守恒量越多、运动越规则;降低对称性、丢掉守恒量,你就可能跌进混沌。我们从最规则的极端出发,沿着对称性的阶梯往下走,直到秩序碎裂,再看着这碎裂本身孕育出统计力学——而到最后,我们退后一步,把这整座大厦看作一个几何结构。

5. 规则与混沌

5.1 不变环面

我们已经知道了对称性可以导出守恒律,也看到了对称性决定系统作用量,最后一章我们会看到对称性还强烈限制着哈密顿力学系统的动力学行为:对称性越高,守恒量越多,动力学行为越规则,对称性降低,守恒量越少,则可能导致混沌。

动力学行为最规则的哈密顿系统就是所谓的可积系统,也称作刘维尔可积系统。可以证明刘维尔-阿诺德定理 (Liouville-Arnold Theorem),如果 \(2n\) 维相空间 \(\mathcal{M_g}\) 连通且有限(用数学术语来说即紧致),那它一定可以参数化为 \(n\) 维环面 \(T_n = S^1 ×S^1 ×...×S^1\),即 \(\mathcal{M_g} = T^n\),称作相空间的不变环面,不变的意思是,系统始终在这个环面上运动。

\(T^n\)\(n\) 个圆周作笛卡尔积而成,每一个圆周对应一个拓扑独立的非平凡回路,即不可以通过连续形变相互过渡也不可以连续收缩为一点的回路,因此 \(T^n\) 上有 \(n\) 个拓扑独立的非平凡回路,不妨记为 \(C_a,a = 1,2,...,n\)。假设 \(\mathcal{M_g} = T^n\) , 则系统就在这个 \(n\) 维环面上运动,它在每一个独立回路 \(C_a\) 方向都是周期性的,但是整个完整的相轨道却不一定是闭合轨道,因为这里有两种不同的可能性。为了弄清楚问题,我们记系统在 \(C_a\) 方向的运动周期为 \(T_a\),从而它在这个方向的角频率为 \(ω_a = 2π/T_a\) 。仔细考虑一下不难明白,如果任何两个方向的角频率之比 \(ω_a/ω_b\) 都是整数比,则各个方向的运动一定有公共的周期,从而整个系统一定作周期性的运动,从而一定是闭合轨道。但是,如果这些角频率之比都是无理数,那就没有公共的周期,也没有闭合轨道,实际上,这时候系统的相轨道最终将密密布满整个 \(T^n\) , 称作相轨道遍历整个不变环面。一般来说,对于具有角频率 \(\vec{ω}=(ω_1,ω_2,...,ω_n)\) 的不变环面,它不能被相应相轨道遍历的充要条件是,存在一组整数 \(\vec{m}=\left(m_1, m_2, \ldots, m_n\right) \neq 0\),使得 \(\vec{\omega} \cdot \vec{m}=m_1 \omega_1+m_2 \omega_2+\ldots+m_n \omega_n=0\)。这个条件称之为共振条件,满足共振条件的不变环面就是所谓的共振环面。对于可积系统,有另一个刘维尔定理,即可积系统的相空间运动可以通过积分法求解,这里不展开。

总结下来,可积性意味着相空间被层层叠叠的环面填满。 系统的动力学行为被完全限制在这些面包圈表面,永远无法逃离,这就是”规则”的几何本质。

5.2 作用-角变量

而对于这样规则的系统,可以选择一组非常有用的正则变量,称之为作用-角变量。其中作用变量通常记为 \(I_a,a = 1,2,..,n\),是一组互相泊松对易的守恒量,它和原来的守恒量 \(G\) 互为函数关系。\(I_a\) 常常作为正则动量,与之对应的正则坐标记为 \(θ^a\),称作角变量。可积系统的哈密顿量只是作用变量 \(I\) 的函数,记为 \(H(I)\)。作用变量的定义相应于不变环面 \(T^n\) 上的非平凡回路,对于每一个独立非平凡回路 \(C_a\),可以定义相应的 \(I_a\) 如下\(I_a=\oint_{C_a} \frac{\Theta}{2 \pi}=\oint_{C_a} \frac{p_b d q^b}{2 \pi}\),而最终的作用变量和角变量满足的哈密顿正则方程为 \(\dot{I}_a=0, \dot{\theta}^a=\frac{\partial H}{\partial I_a}=\omega_a(I)\)。我们最早谈到的 Bohr-Sommerfeld quantization condition 可以推广为 \(I_a=n_a\hbar\) 式中 \(n_a\) 为非负整数,是一个标记量子状态的量子数。假设我们以作用变量和角变量为相空间的坐标,那玻尔-索末菲量子化条件将带来一个直观的相空间图像,对于一维运动情形,它意味着相空间沿着 \(θ\) 轴可以划分成一个个长为 \(2π\) 的区间,而沿着 \(I\) 轴可以划分成一个个长为 \(\hbar\) 的区间,这样就可以将整个相空间分成一些宽为 \(2π\),高为 \(\hbar\), 从而面积为 \(2π\hbar\),的小格子,称之为相格。玻尔-索末菲量子化条件告诉我们,每一个相格对应一个量子状态。推广到 \(n\) 自由度情形即是,相空间可以划分成一些体积为 \((2π\hbar)^n\) 的相格,每一个相格对应一个量子状态。

作用变量还有一重身份,就是作为所谓的绝热不变量。考虑一个一维系统,假设其势能曲线将系统约束在一个有限的区间上作周期运动,从而其相空间的不变环面就是一条相空间闭合回路 \(C\),拓扑上等价于 \(S^1\)。进一步,再假设势能函数依赖于某个控制参数 \(λ\),记为 \(V(q,λ)\),因此系统的哈密顿量 \(H=\frac{p^2}{2 m}+V(q, \lambda)\)。现在,假设我们以几乎恒定的速率缓慢地调节参数 \(λ\),即让 \(λ\) 以几乎恒定的速率随时间缓慢变化, 记为 \(λ(t)\),那这就变成了一个显含时间 \(t\) 的系统,能量 \(E\) 因此不再守恒,而是也依赖于时间,记为 \(E(t)\)。很显然,如果参数 \(λ\) 相对于系统的运动周期来说变化得足够缓慢,那系统将依然近似作周期运动,但是它的各个物理量 (比如能量) 都将同时随时间缓慢变化。所谓的绝热不变量,指的就是这样一个特殊物理量,它在参数的缓慢调节下保持不变。

作用变量 \(I=\frac{1}{2 \pi} \oint p d q\) 就是一个绝热不变量。这是因为 \(p=\sqrt{2 m[E-V(q, \lambda)]}=p(q, E, \lambda)\) 从而作用变量也是 \(E,\lambda\) 的函数,随着参数的缓慢调节,\(E\)\(λ\) 都将随时间缓慢变化,但是,这两者的变化并不相互独立,而是满足 \(\dot{E}=\frac{\partial H}{\partial t}=\frac{\partial H}{\partial \lambda} \dot{\lambda}\),这两种变化对作用变量 \(I\) 的贡献正好相互抵消,从而使 \(I\) 绝热不变。一方面,从最早关于势能曲线的讨论知道 \(\frac{\partial I}{\partial E}=\frac{T}{2 \pi}\),而另一方面

$$\frac{\partial I}{\partial \lambda}=\frac{1}{2 \pi} \frac{\partial}{\partial \lambda} \oint p d q=\frac{1}{2 \pi} \oint \frac{\partial p}{\partial \lambda} d q=\frac{1}{2 \pi} \int_0^T \frac{\partial p}{\partial \lambda} \frac{d q}{d t} d t=\frac{1}{2 \pi} \int_0^T \frac{\partial p}{\partial \lambda} \frac{\partial H}{\partial p} d t=-\frac{1}{2 \pi} \int_0^T \frac{\partial H}{\partial \lambda} d t $$

综合起来,有

$$\dot{I}=\frac{\partial I}{\partial E} \dot{E}+\frac{\partial I}{\partial \lambda} \dot{\lambda}=\left(\frac{\partial I}{\partial E} \frac{\partial H}{\partial \lambda}+\frac{\partial I}{\partial \lambda}\right) \dot{\lambda}=\left(T \frac{\partial H}{\partial \lambda}-\int_0^T \frac{\partial H}{\partial \lambda} d t\right) \frac{\dot{\lambda}}{2 \pi}$$

接下来对一个运动周期求平均 \(\bar{A}=\frac{1}{T} \int_0^T d t A(t, \lambda)\) 会发现两项就正好抵消了,即

$$\overline{\dot{I}}=0,\quad I(t+T)=I(t)$$

也即是说,对于足够缓慢的参数调节来说,作用变量最多是以运动周期为周期的函数,或者说作用变量在一个周期之内的平均变化率为零,这才是前面我们说作用变量是绝热不变量的精确含义。注意到相对于参数变化的时间尺度而言,运动周期 \(T\) 是非常短的,因此这其实是说,作用变量在参数变化的时间尺度上近似不变。以一维运动的谐振子为例,其哈密顿量为 \(H = Iω\),因此即使谐振子的频率 \(ω\) 随时间缓慢变化,谐振子能量 \(E\)\(ω\) 的比值 \(E/ω\) 也近似保持不变。

实际上,历史上在从经典力学到量子力学的过渡过程中,人们首先注意到了作用变量的绝热不变性,即注意到作用变量在参数的缓慢变化下保持不变的性质,这使得人们自然假设它是一个量子化的量 (因为量子化的量不能连续变化,从而自然在参数的连续变化下保持不变),由此人们才提出作用变量的玻尔-索末菲量子化条件。

5.3 近可积系统与混沌

如果对可积系统 \(H_0(I)\) 加微扰 \(H(I, \theta)=H_0(I)+\varepsilon H_1(I, \theta)\),这个扰动以后的系统就是一个近可积系统KAM 定理是说,非退化的可积系统在上述扰动之后,虽然某些不变环面会被扰动破坏掉(称为共振环面),但所谓满足强非共振条件的不变环面(这种不变环面占大多数)仍然会被保存下来。也就是说近可积系统整个相空间中大部分的相轨道依然是非常规则的!在那些不变环面被扰动破坏的相空间区域,随着不变环面的破坏可能发生两件事情:第一,系统的相空间轨迹可能会与邻近轨迹发生剧烈的甚至随时间指数增长的偏离,从而导致对初始条件的极端敏感性和混沌行为。第二,它可能使得系统演化缺乏可预测性。即使我们处理的是严格的确定性系统,它也可能产生有效的随机输出,从而使得系统丧失可预测性。

由于哈密顿系统通常维数较高(\(2n \ge 4\)),直接画出相轨迹很难看清结构。庞加莱引入了降维打击的方法:庞加莱截面 (Poincaré Section)。 我们在相空间中取一个横截面 \(\Sigma\)(维数为 \(2n-1\)),记录轨迹每次穿过该截面的点。这就把连续时间的流 \(\phi_t\) 转化为了离散时间的映射 \(P: \Sigma \to \Sigma\),称为庞加莱映射

  • 规则运动 (可积):轨迹在环面上缠绕。如果频率比是有理数,截面上出现有限个离散点(周期轨道);如果是无理数,点会密密麻麻地描绘出一条闭合曲线(环面的截面)。
  • 混沌运动 (不可积):当扰动增强,KAM 环面破裂。截面上的点不再落在闭合曲线上,而是像灰尘一样随机散布在一个区域内,形成所谓的 “混沌海” (Chaos Sea)。 这种从”闭合曲线”到”弥散点集”的几何相变,是识别混沌最直观的指纹。

假设我们考察的既不是可积系统,又不是近可积系统,而是一个一般性的哈密顿系统,其泊松对易的守恒量的数目少于自由度数目 \(n\),甚至当自由度数目 \(n\) 很大时大大少于 \(n\),比方说只有一个守恒量,即能量。那这时候系统的动力学行为往往不再规则,而是常常会表现出混沌。双摆系统是一个两自由度的系统,但是它只有一个守恒量,即能量,当能量足够大时这个系统会表现出混沌行为;庞加莱在研究受限三体问题时发现了混沌;两维平面上的涡旋系统,只找到 3 个相互泊松对易的守恒量,所以对于 3 个涡旋的情形,那是一个可积系统,但是 4 个和 4 个以上涡旋的运动则通常是混沌的。

为什么微扰会导致混沌?几何上的罪魁祸首是共振 (Resonance) 附近的结构不稳定性。 在可积系统中,共振区域通常存在一种特殊的轨道——分界线 (Separatrix)(例如单摆从摆动到旋转的临界轨道)。分界线连接了不稳定的平衡点。 当微扰 \(\epsilon H_1\) 加入时,KAM 定理告诉我们,远离共振的环面因频率极度无理而难以被破坏。但是,在共振附近,微扰虽然微小,却足以打破分界线的重合结构。 原本重合的”稳定流形”和”不稳定流形”不再平滑连接,而是发生横截相交。根据斯梅尔 (Smale) 的理论,一旦发生一次相交,它们就会发生无数次相交,形成极其复杂的折叠和纠缠结构,称为 同宿纠缠 (Homoclinic Tangle)。 这种纠缠迫使相体积在极小的区域内反复拉伸和折叠(Smale Horseshoe Map),从而导致了对初值的指数敏感性。因此,混沌总是最先在共振产生的分界线附近萌芽,随着扰动增大,逐渐吞噬周围的规则环面。

我们已经看到,随着扰动的增强,KAM 环面破裂,同宿纠缠导致了混沌海的形成。这在动力学上不仅意味着”乱”,更意味着一种全新的守恒律的破坏与重构。对于可积系统,相点被限制在 \(T^n\) 环面上,它永远无法访问具有相同能量的其他相空间区域。这种系统是非各态历经 (Non-Ergodic) 的。对于这样的系统,时间平均 \(\neq\) 空间(能面)平均。然而,对于充分混沌的系统(或者说在混沌海区域),同宿纠缠引发了强烈的混合 (Mixing) 效应。原本聚在一起的相体积元会被无限拉伸、折叠,像墨水滴入水中一样均匀散布到整个可及的相空间区域。这引出了统计物理最核心的概念:各态历经性 (Ergodicity)

各态历经假设 (Ergodic Hypothesis) 断言:对于一个混沌系统,一条典型的相轨迹在经过足够长的时间后,会无限逼近能量曲面上的每一点。

$$\lim_{T \to \infty} \frac{1}{T} \int_0^T f(\mathbf{x}(t)) dt = \frac{1}{\text{Vol}(\Omega)} \int_{\Omega} f(\mathbf{x}) d\Omega$$

即:时间平均 = 相空间(系综)平均。其几何定义是,在能量为 \(E\) 的曲面(能面)上,几乎所有的点都落在同一条无限长的轨迹上。其物理意义首先在于微观信息的耗散:由于混沌的混合特性,系统彻底”遗忘”了具体的初始条件,只记住了唯一的守恒量——能量 \(H\)

更重要的是,各态历经性 (Ergodicity) 使我们刚才从哈密顿动力学(Liouville定理)中”推导”出来统计力学中的基本假设等概率原理的一个漏洞。回顾一下之前的逻辑链:Liouville \(\implies\) \(\frac{d\rho}{dt} = 0\)平衡态 \(\implies\) \(\frac{\partial \rho}{\partial t} = 0\)结论 \(\implies\) \(\{\rho, H\} = 0\),即 \(\rho\) 是运动常数的函数。漏洞就在这最后一步: 如果 \(\rho\) 是运动常数的函数,它一定只依赖于哈密顿量 \(H\) 吗?即 \(\rho = f(H)\)?不一定。如果系统除了能量 \(H\) 之外,还有其他的守恒量(比如角动量 \(L\),或者像可积系统里的作用量 \(I_2, I_3 \dots\)),那么分布函数完全可以是:

$$\rho = f(H, L, I_2, \dots)$$

这就出问题了。在同一个能面(\(H=E\))上,可能有 \(L=0\) 的区域,也有 \(L=100\) 的区域。如果 \(\rho\) 依赖于 \(L\),那么 \(\rho\)\(H=E\) 的能面上就不是均匀的!它可能在 \(L=0\) 的地方很密,在 \(L=100\) 的地方很稀。这直接否定了”等概率原理”的普适性证明。只要系统有多余的守恒量(可积系统),微正则分布(均匀分布)就不是唯一的平衡分布,等概率原理就不成立。

为了让”等概率原理”成立,物理学家(最早是玻尔兹曼)引入了各态历经假设。因为刘维尔定理 \(\rho\) 在一条轨迹上必须是守恒量,那么再加上各态历经假设,就有 \(\rho\) 在整个能面上必须是一个常数。而如果有除了能量守恒即 \(H\) 以外的守恒量,那么就又有了运动的限制,也违反了各态历经假设。在这种情况下,\(\rho\) 只能\(H\) 的函数,在 \(H=E\) 面上没有其他区分标志了,\(\rho\) 必须是常数。所以,真相是:

$$\text{Liouville定理} + \text{各态历经假设} \Longrightarrow \text{等概率原理}$$

最尴尬的地方在于,数学上,证明各态历经性极其困难,甚至在很多情况下是错的。比如刚刚讲过的 KAM 定理,对于绝大多数经典系统(近可积系统),相空间里充满了不变环面。粒子被锁在环面上,根本跑不到能面的其他地方去。严格来说,这些系统不是各态历经的。只有在强混沌系统中(如阿诺德猫映射,或者硬球气体模型),各态历经性才被严格证明。那么,既然大多数系统(如KAM系统)不是严格各态历经的,为什么统计力学还能用?这有两派解释:

物理派(“实际上够用了”) 虽然数学上存在 KAM 环面,但在宏观系统(\(N \sim 10^{23}\))中,这些非各态历经的区域(环面)虽然存在,但在相空间中所占的体积比例极小,或者微小的外界扰动就足以打破它们。对于实际的宏观时间尺度,我们可以”实际上”认为系统跑遍了大部分能面。

信息论派(Jaynes 的最大熵原理) 这是更现代、更深刻的观点(E.T. Jaynes)。 它认为”等概率原理”根本不需要动力学去”证明”。它不是关于自然的定律,而是关于我们”知识匮乏”的定律。如果你只知道系统的能量是 \(E\),除此之外一无所知(不知道是否有其他隐藏守恒量,也不知道具体的初始位置)。推论:那么,对你来说,最诚实、最不偏不倚的猜测是什么?当然是假设所有可能状态概率相等!结论:如果你假设 \(\rho\) 不均匀,你就引入了你并不拥有的”额外信息”(Bias)。所以,等概率原理实际上是**信息熵最大化(Max Entropy)**的结果。

最后我们补充一下混沌是对初值的”敏感依赖性”的定量描述,我们通过 李雅普诺夫指数 (Lyapunov Exponent, \(\lambda\)) 来衡量两条邻近轨道在相空间中分离的速率。假设 \(t=0\) 时两条轨道的初始距离为 \(|\delta \mathbf{x}(0)|\),随着时间演化,它们的距离大约按指数规律变化:

$$|\delta \mathbf{x}(t)| \approx e^{\lambda t} |\delta \mathbf{x}(0)|$$
  • 如果 \(\lambda \le 0\),轨道保持靠近或仅仅是多项式分离(规则运动)。
  • 如果 \(\lambda > 0\),轨道呈指数分离。 一个 \(2n\) 维的哈密顿系统有 \(2n\) 个李雅普诺夫指数(成对出现,\(\pm \lambda_i\)),只要其中最大的那个指数 \(\lambda_{max} > 0\),我们就判定系统处于混沌状态。\(\lambda_{max}\) 的倒数 \(1/\lambda_{max}\) 定义了**“李雅普诺夫时间”**,也就是系统可预测性的时间视界(Event Horizon of Predictability)。

6. 从动力学到统计

我们这趟经典力学之旅,从最简单的单粒子运动方程 \(F=ma\) 开始,经过了拉格朗日与哈密顿形式的几何化,最终在相空间中看到了规则的环面与纠缠的混沌。

当我们面对宏观系统(粒子数 \(N \sim 10^{23}\))时,追踪每一个自由度的正则方程 \(\dot{\mathbf{x}} = J \nabla H\) 既不可能也无必要。我们需要一种新的语言。这不仅是计算上的妥协,更是物理本质的升华。在本章,我们将综述经典力学是如何为统计力学铺平道路的,揭示热力学定律并非凭空产生,而是哈密顿动力学在混沌与大数定律下的自然涌现。

6.1 无知的必然性

我们已经知道,对于一般的三体或更多体系统,混沌是普遍存在的,无论我们的测量多么精确,只要有无穷小的误差,在有限的”李雅普诺夫时间”后,我们对系统微观状态的预测将完全失效。对于宏观系统,这个时间尺度极短。因此,微观信息的丢失是不可避免的。这种”无知”迫使我们将描述对象从精确的”点(轨迹)“转变为相空间中的”体积(概率分布)“,从追踪 \(\mathbf{x}(t)\) 转变为研究分布函数 \(\rho(\mathbf{x}, t)\) 的演化。这便是 系综 (Ensemble) 概念的起源。

6.2 几何基石:刘维尔定理与各态历经性

既然我们必须研究概率密度 \(\rho\),那么动力学定律(哈密顿方程)对 \(\rho\) 施加了什么约束?答案在于刘维尔定理,从它出发我们可以得知:

$$\frac{d\rho}{dt} = \frac{\partial \rho}{\partial t} + \{\rho, H\} = 0$$

即沿着相流运动,概率密度是守恒的。这是统计力学成立的基石——相体积(即微观状态数)在动力学演化下具有刚性,不会凭空消失或产生。

如果我们寻找系统的 统计平衡态(即宏观性质不随时间变化,\(\frac{\partial \rho}{\partial t} = 0\)),刘维尔方程立即给出一个强约束:\(\{\rho, H\} = 0\)。这意味着 \(\rho\) 必须是运动常数的函数。

如果再加上 各态历经性 (Ergodicity)(通常由 5.3 节中讨论的混沌机制导致),情况将发生质变。由于同宿纠缠带来的混合效应,除了能量 \(H\) 以外的所有几何约束(“墙”)都被打破,轨迹能够跑遍整个能面。在这种情况下,\(\rho\) 只能依赖于 \(H\)。对于固定能量 \(E\) 的孤立系统,\(\rho\) 在能面上只能是一个常数。这就在动力学上证明了统计力学的 等概率原理 (Fundamental Assumption)

对于各态历经的孤立系统,所有满足 \(H(\mathbf{q}, \mathbf{p})=E\) 的微观状态出现的概率相等。

6.3 热力学的涌现

一旦建立了微正则分布,经典力学的几何量就直接转化为了热力学的宏观量。通过这种方式,温度、压力、化学势等概念,不再是人为的定义,而是哈密顿系统在混沌与大数定律下,从辛几何结构中自然涌现的统计规律。

熵与相体积 (Entropy and Phase Volume) 我们在 5.2 节中引入了相格的概念,相空间被量子化为体积 \(h^{3N}\) 的单元。微观状态数 \(g(E)\) 本质上就是能量曲面所围成的辛体积:\(g(E) \sim \frac{1}{h^{3N}} \int \delta(H(\mathbf{q}, \mathbf{p}) - E) \, d\Omega\) 被定义为 \(S = k_B \ln g\)。这解释了熵的广延性,因为它直接对应于高维相空间体积的对数。绝热过程 (Adiabatic Process) 在 5.2 节,我们证明了当参数缓慢变化时,作用量变量 \(I = \oint p dq\) 是绝热不变量。 在统计力学中,缓慢改变体积而不交换热量的过程被称为绝热过程,其特征是熵 \(S\) 不变。 这揭示了深刻的对应关系:宏观的熵 \(S\) 守恒,微观上对应于系统被限制在特定的相体积(或量子态)内演化,即作用量 \(I\) 的守恒。

温度的几何起源:高维球体体积 (Geometric Origin of Temperature)。在纯粹的哈密顿力学方程 \(F=ma\) 中,并不存在”温度”这个变量,只有动能。温度的涌现,源于我们将统计力学的定义应用于相空间特定的几何结构。几何设定为,考虑由 \(N\) 个无相互作用粒子组成的理想气体。其哈密顿量为纯动能:

$$H(\mathbf{q}, \mathbf{p}) = \sum_{i=1}^{3N} \frac{p_i^2}{2m} = E$$

\(3N\) 维的动量空间中,方程 \(\sum p_i^2 = 2mE\) 定义了一个半径为 \(R = \sqrt{2mE}\)超球面。微观状态数 \(g(E)\) 正比于能量 \(E\) 以下的相体积 \(\Omega\)。根据 \(d\) 维球体的体积公式 \(V_d(R) \propto R^d\),这里的维度 \(d=3N\)

$$g(E) \sim \Omega(E) = \int_{H<E} d^{3N}q \, d^{3N}p = V^N \cdot C_{3N} ( \sqrt{2mE} )^{3N}$$

略去常数因子,我们得到相体积随能量的依赖关系:\(g(E) \propto E^{\frac{3N}{2}}\)。此时根据熵的统计定义 \(S = k_B \ln g(E)\) 以及温度的统计定义 \(1/T = \partial S / \partial E\)

$$ \frac{1}{T} \equiv \frac{\partial S}{\partial E} = k_B \frac{\partial}{\partial E} \ln \left( E^{\frac{3N}{2}} \right) = k_B \frac{3N}{2} \frac{1}{E}$$

整理该式,既然总能量 \(E\) 等于总动能 \(\langle K_{total} \rangle\),我们得到:

$$ \langle K_{total} \rangle = \frac{3}{2} N k_B T$$

结论(均分定理):这是热力学与力学的第一座桥梁。它揭示了:温度本质上是 \(3N\) 维相空间体积随能量膨胀的”相对速率” (Logarithmic expansion rate)。 维度 \(N\) 越高,体积随能量增长越快,对应的能量-温度比例系数就越确定。

压强的动力学起源:维里定理 (Virial Theorem)。既然温度对应动能,那么 压强 (Pressure) 是什么?我们不需要借助热力学公式,而是可以直接从哈密顿动力学推导出一个 纯力学的状态方程。这依赖于 维里定理维里量的演化: 定义一个标量函数,称为”维里” (Virial):\(G = \sum_i \mathbf{p}_i \cdot \mathbf{x}_i\)。 计算其随时间的变化率:

$$ \frac{dG}{dt} = \sum_i \dot{\mathbf{p}}_i \cdot \mathbf{x}_i + \sum_i \mathbf{p}_i \cdot \dot{\mathbf{x}}_i$$

利用哈密顿方程(或牛顿定律)\(\dot{\mathbf{x}}_i = \mathbf{v}_i\)\(\dot{\mathbf{p}}_i = \mathbf{F}_i\),代入得:

$$ \frac{dG}{dt} = \sum_i \mathbf{F}_i \cdot \mathbf{x}_i + \sum_i m \mathbf{v}_i^2$$

即:\(\frac{dG}{dt} = \sum \mathbf{F}_i \cdot \mathbf{x}_i + 2K\),其中 \(K\) 是总动能。做时间平均: 对于被束缚在容器内的气体,系统处于稳态,坐标和动量都是有界的。因此,\(G(t)\) 也是有界的。对上式取长时间平均 \(\langle \cdot \rangle = \lim_{\tau \to \infty} \frac{1}{\tau} \int_0^\tau dt\)

$$ \left\langle \frac{dG}{dt} \right\rangle = \lim_{\tau \to \infty} \frac{G(\tau) - G(0)}{\tau} = 0$$

于是我们得到了著名的 维里定理

$$ 2 \langle K \rangle = - \left\langle \sum_i \mathbf{F}_i \cdot \mathbf{x}_i \right\rangle$$

压强的涌现: 右边的力 \(\mathbf{F}_i\) 是粒子受到的合力,对于理想气体,粒子间无相互作用,力仅来源于容器壁的约束力 \(\mathbf{F}_{wall}\)。 这个求和可以转化为对容器表面的积分。设容器壁对粒子施加的压强为 \(P\),则面元 \(d\mathbf{A}\) 上的力为 \(d\mathbf{F} = -P \hat{n} dA\)(指向容器内)。

$$ \sum_i \mathbf{F}_i \cdot \mathbf{x}_i \approx \oint_{\partial V} (-P \hat{n} dA) \cdot \mathbf{x} = -P \oint_{\partial V} \mathbf{x} \cdot \hat{n} dA$$

利用高斯散度定理 \(\oint \mathbf{x} \cdot \hat{n} dA = \int_V (\nabla \cdot \mathbf{x}) dV\)。由于 \(\nabla \cdot \mathbf{x} = \frac{\partial x}{\partial x} + \frac{\partial y}{\partial y} + \frac{\partial z}{\partial z} = 3\),所以:

$$ -P \int_V 3 dV = -3PV$$

将此结果代回维里定理:

$$ 2 \langle K \rangle = - (-3PV) = 3PV$$

结论(力学状态方程)

$$PV = \frac{2}{3} \langle K \rangle$$

请注意,这是一个 纯力学推导的结果。它完全不依赖于温度、熵或热力学,它仅仅联系了压强(约束力)、体积(约束空间)和动能(微观运动)。

现在,我们将上述两个独立推导的结果结合起来:来自几何与统计的\(\langle K \rangle = \frac{3}{2} N k_B T\)来自哈密顿动力学的\(\langle K \rangle = \frac{3}{2} PV\),我们直接得出了:

$$\frac{3}{2} PV = \frac{3}{2} N k_B T \quad \Longrightarrow \quad PV = N k_B T$$

这展示了完整的逻辑链条:维里定理提供了宏观状态方程的动力学骨架(\(P\)\(E\) 的关系),而相空间几何(熵)赋予了能量以温度的灵魂(\(E\)\(T\) 的关系)。 理想气体定律并非仅仅是实验规律的总结,它是哈密顿力学在大数统计下的必然几何投影。

7. 总结:物理的几何统一性

最后,我们将经典力学的几何结构与我们窥探到的量子力学特性进行对比。我们发现,物理学并非是由互不相关的理论拼凑而成,而是共享着同一套深层的数学骨架。经典力学并非是被量子力学”推翻”的旧理论,而是量子力学在 \(\hbar \to 0\) 极限下的几何投影。

概念拉格朗日力学 (流形 \(TM\))哈密顿力学 (辛流形 \(T^∗M\))量子力学 (希尔伯特空间 \(H\))
状态描述位置与速度 \((q, \dot{q})\)相空间点 \((q, p)\)态矢量 \(\|\psi\rangle\)
动力学变量标量函数 \(L(q, \dot{q})\)相空间函数 \(f(q, p)\)线性算符 \(\hat{f}\)
基本结构变分原理 \(\delta S = 0\)辛形式 \(\omega\) / 泊松括号 \(\{,\}\)对易子 \([\hat{A}, \hat{B}]\)
代数关系(隐含)\(\{q, p\} = 1\)\([\hat{q}, \hat{p}] = i\hbar\)
对称性生成诺特定理 (流)哈密顿矢量场 \(X_G\)酉算符 \(\hat{U} = e^{-i\hat{G}\theta}\)
时间演化E-L 方程\(\dot{f} = \{f, H\}\)\(i\hbar \frac{d}{dt}\hat{f} = [\hat{f}, \hat{H}]\)
几何图像切丛上的测地线辛流形上的哈密顿流酉群在希尔伯特空间的作用
波粒二象性最小作用量原理H-J 方程 (射线/法线)薛定谔方程 (波动)
规则与混沌耗散/驱动KAM 环面 vs 同宿纠缠量子混沌 (能级统计/随机矩阵)
统计基础(隐含)相体积 (辛体积)希尔伯特子空间维数 (Trace)

旅程到此为止——结尾没有一个新方程,只有一幅图。我们从一个关于力的孩子气的问题出发,坦白了 \(F=ma\) 藏起了某样东西。它藏起来的,正是这个:力学就是几何。力是势的梯度,而保守力是一个闭形式。作用量是附在一条路径上的一个数,它的驻定性就是定律。对称性是这个作用量的不变性,而每一个连续对称性都是一个守恒量——一个生成元。相空间携带它自己的正则辛形式,这形式生于位置和动量的存在、别无所需;泊松括号是这形式的李代数;时间演化是一种辛流。而当对称性耗尽,环面破裂,混沌搅匀了相流体,从这搅匀中——从被诚实清点过的纯粹无知中——热力学凝结而出。

回头看看我们一路埋下的线头。第(一)篇里以 \(\hbar\) 为单位量子化的相空间面积;第(三)篇里低声念叨测不准原理的格罗莫夫骆驼;那个形状恰恰与波的程函方程一模一样的哈密顿-雅可比方程。这些都不是巧合。它们是从同一座房子的不同房间里看到的同一个结构。经典力学推到它的几何极限,不只是量子力学——它从内部,执拗地,指向量子力学。一块冰箱贴、一颗行星的轨道、一团理想气体、一个波函数,最后都成了同一支辛主题的变奏,这在我看来,正是那种让整门学问值得走这一趟的、安静的惊异。

References & Further Reading: 这份笔记的几何化视角深受以下经典著作的启发,推荐进一步阅读:

  1. V.I. Arnold, Mathematical Methods of Classical Mechanics (经典力学的几何圣经)
  2. L.D. Landau & E.M. Lifshitz, Mechanics (物理直觉的巅峰)
  3. Herbert Goldstein, Classical Mechanics (标准教材)
  4. Baez & Muniain, Gauge Fields, Knots and Gravity (关于几何与规范场的极佳读物)