力学 · 从零学起 第 5 / 6 节

第 7–8 章 · 哈密顿力学与正则变换

拉格朗日力学是 $n$ 个二阶方程，哈密顿力学把它们拆成 $2n$ 个一阶方程——表面是改写，实质是换了一双眼睛：状态空间（相空间）、对称变换（正则变换）、几何结构（辛结构）登场。现代物理（量子、统计、混沌）全部讲这种语言。

勒让德变换与哈密顿方程

从 $L(q, \dot q, t)$ 换变量 $\dot q \to p = \partial L/\partial\dot q$：

$$H(q, p, t) = \sum_j p_j\dot q_j - L$$
$$\dot q_j = \frac{\partial H}{\partial p_j}, \qquad \dot p_j = -\frac{\partial H}{\partial q_j}$$

两组方程完美对称（$q$ 与 $p$ 互换、差一个符号）——这种对称性就是"正则"的含义。$H$ 不显含时间 ⟹ $H$ 守恒；$H$ = 能量（当坐标变换不含时）——两件事的条件要分清。

相空间与守恒律的新装

状态 = 相空间一点 $(q, p)$；运动 = 沿轨线流动；体积元流动不变形（刘维尔定理，统计力学的地基）。泊松括号：

$$\frac{dG}{dt} = \{G, H\} + \frac{\partial G}{\partial t}$$

$\{G,H\} = 0$ ⟹ $G$ 守恒。守恒律变成"与哈密顿量括号为零"的代数条件；量子力学的对易子 $[A, B] = i\hbar\{A,B\}_\text{classical}$ 正是它的量子化。

正则变换：换一套好的坐标

保持正则方程形式不变的变换 $(q,p) \to (Q,P)$，判据是泊松括号 $\{Q_j, P_k\} = \delta_{jk}$（或生成函数 $F$）。目标：找到让新哈密顿量只依赖新动量的变换——那时 $P$ 全守恒、$Q$ 线性流动，问题当场解完。哈密顿-雅可比理论（第 9 章）就是系统化找这种变换的方法。可逆性与相体积保持（辛几何的骨架）限制着可用变换的范围。

原文要点：第 7 章末指出循环坐标在哈密顿框架下更彻底：$p$ 直接守恒且可从方程中消去，维数立减；第 8 章按四种生成函数（$F_1(q,Q)$ 至 $F_4(p,P)$）展开正则变换理论，强调"正则变换保持辛结构"是形式不变性的几何本质。

老师的提醒

  • 勒让德变换的符号规则（$H = p\dot q - L$）与求偏导的对象（$H$ 对 $q$ 求导时 $p$ 固定）是初学两大坑，用关系式 $\frac{\partial H}{\partial q} = -\frac{\partial L}{\partial q}$ 自查。
  • 判断 $H$ 是否等于能量：查拉格朗日坐标变换是否显含时间——含时（如旋转参考系）时两者不同。

自检

  • 从拉格朗日方程推导哈密顿方程。
  • 泊松括号如何表述守恒律？
  • 正则变换的目标是什么？判据怎么写？

更深一层：哈密顿力学的"对称美学"是功能不是装饰

哈密顿方程 $\dot q = \partial H/\partial p$、$\dot p = -\partial H/\partial q$ 的 $(q, p)$ 对称性不是巧合：坐标与动量在结构上平权（正则变换可以互换它们的角色），这种对称保证了泊松括号代数的封闭（Jacobi 恒等式 → 两个守恒量的括号仍守恒）、保证相空间体积不缩（刘维尔定理 → 统计力学的合法性）、并孕育了量子化的对易规则 $[\hat q, \hat p] = i\hbar$（泊松括号的直接量子化）。拉格朗日力学是"二阶方程的力学"，哈密顿力学是"几何相空间的力学"——后者才是现代物理的母语。

哈密顿观点的工程即时回报：循环坐标在 $H$ 里更显眼（$p$ 直接守恒且可消元，维数立减）；数值积分的分家（辛积分器保相体积、普通 RK 不保——第 11 章动力学与分子动力学的积分器选型依据）。

推导细读：正则变换——"换一套使问题变平的坐标"

正则变换的思想是把"解方程"重述为"找好坐标"：若存在变换 $(q, p) \to (Q, P)$ 使新哈密顿量 $K$ 只依赖 $P$（不含 $Q$），则 $P$ 全守恒、$Q$ 线性流动——问题在新坐标里被"走直线"解决。生成函数 $F$ 是制造这种变换的工厂（四种 $F_1 \dots F_4$ 对应不同的新旧变量组合）。哈密顿-雅可比理论（下一节）是这条路线的终点站：找出使 $K \equiv 0$ 的"终极变换"。可积系统的定义正是"存在足够多的守恒量让这个流程走通"——太阳系是否可积（KAM 定理的领域）是这个问题的现代延续。

在真实世界里：相空间语言的两个工程出口

  • 统计力学接口：平衡统计 = 相空间上的概率测度（微正则/正则系综）——没有哈密顿力学的相空间语言，统计力学无从谈起；分子动力学的"相空间采样"语言同理；
  • 加速器与存储环：粒子束的相空间椭圆（位置-动量平面）、发射度守恒（刘维尔定理的 accelerator 版）——同步辐射光源的设计语言；
  • 信号处理的眼图：通信系统的相位空间图（理想上是点，实际是云团）——相空间直觉在非线性电路诊断里的应用。

专题深入：哈密顿力学的"对称美学"是功能不是装饰完整版

哈密顿方程 $\dot q = \partial H/\partial p$、$\dot p = -\partial H/\partial q$ 的 $(q, p)$ 对称性不是巧合：坐标与动量在结构上平权（正则变换可以互换它们的角色），这种对称保证了泊松括号代数的封闭（Jacobi 恒等式 → 两个守恒量的括号仍守恒）、保证相空间体积不缩（刘维尔定理 → 统计力学的合法性）、并孕育了量子化的对易规则 $[\hat q, \hat p] = i\hbar$（泊松括号的直接量子化）。拉格朗日力学是"二阶方程的力学"，哈密顿力学是"几何相空间的力学"——后者才是现代物理的母语。

哈密顿观点的工程即时回报：循环坐标在 $H$ 里更显眼（$p$ 直接守恒且可消元，维数立减）；数值积分的分家（辛积分器保相体积、普通 RK 不保——分子动力学的积分器选型依据）。

数学细节展开：正则变换——"换一套使问题变平的坐标"完整版

正则变换的思想是把"解方程"重述为"找好坐标"：若存在变换 $(q, p) \to (Q, P)$ 使新哈密顿量 $K$ 只依赖 $P$（不含 $Q$），则 $P$ 全守恒、$Q$ 线性流动——问题在新坐标里被"走直线"解决。生成函数 $F$ 是制造这种变换的工厂（四种 $F_1 \dots F_4$ 对应不同的新旧变量组合）。哈密顿-雅可比理论是这条路线的终点站：找出使 $K \equiv 0$ 的"终极变换"。可积系统的定义正是"存在足够多的守恒量让这个流程走通"——太阳系是否可积（KAM 定理的领域）是这个问题的现代延续。

工程案例细节：相空间语言的两个工程出口（工程版）

  • 统计力学接口：平衡统计 = 相空间上的概率测度（微正则/正则系综）——没有哈密顿力学的相空间语言，统计力学无从谈起；分子动力学的"相空间采样"语言同理；
  • 加速器与存储环：粒子束的相空间椭圆（位置-动量平面）、发射度守恒（刘维尔定理的 accelerator 版）——同步辐射光源的设计语言；
  • 信号处理的眼图：通信系统的相位空间图（理想上是点，实际是云团）——相空间直觉在非线性电路诊断里的应用。

例题

把单摆 $L = \frac12ml^2\dot\theta^2 - mgl(1-\cos\theta)$ 做勒让德变换得到哈密顿量，并写出正则方程。

解答

广义动量：$p_\theta = \frac{\partial L}{\partial\dot\theta} = ml^2\dot\theta \Rightarrow \dot\theta = \frac{p_\theta}{ml^2}$。

哈密顿量：

$$H = p_\theta\dot\theta - L = \frac{p_\theta^2}{ml^2} - \frac{p_\theta^2}{2ml^2} + mgl(1-\cos\theta) = \frac{p_\theta^2}{2ml^2} + mgl(1-\cos\theta)$$

（= 能量 ✓，因变换不含时。）

正则方程：

$$\dot\theta = \frac{\partial H}{\partial p_\theta} = \frac{p_\theta}{ml^2}, \qquad \dot p_\theta = -\frac{\partial H}{\partial\theta} = -mgl\sin\theta$$

两式合并即拉格朗日方程 ✓——一阶方程组，相空间 $(\theta, p_\theta)$ 上的流动。

本页是《经典力学》第 5 节的学习笔记：为便于初学，讲解、例题与要点概括均为本站原创整理，公式与章节定位供对照原书使用。

📑 本书目录　经典研读