正则变换与泊松括号
哈密顿力学的核心优势在于,通过选取合适的坐标和动量,可以将运动方程极大地简化。正则变换正是实现这一目标的工具:它在保持哈密顿方程形式不变的前提下,将旧的广义坐标和广义动量变换到新的变量,使问题的求解变得便捷。泊松括号则提供了一套代数语言,将守恒量、对称性与运动方程统一在一个简洁的框架之中,也是从经典力学过渡到量子力学的重要桥梁。
正则变换的定义

在哈密顿力学中,系统的状态由广义坐标 qi 和广义动量 pi 共同描述,运动方程为:
q˙i=∂pi∂H,
正则变换是指从旧变量 (qi,pi) 到新变量 (Qi,P 的变换,使得在新变量下仍存在某个新哈密顿量 ,使运动方程保持标准哈密顿形式:
Q˙i=∂P
这一条件的本质是:变换前后,系统满足同样结构的哈密顿原理。
正则变换的目的是选取更方便的坐标,使部分坐标成为循环坐标(不显含于 K 中),从而直接得到守恒的动量。极端情况下,若能将所有坐标都变成循环坐标,则全部广义动量均守恒,运动方程可立即积分——这正是哈密顿–雅可比理论的核心思路。
取 Qi=qi,Pi=p,新哈密顿量 ,运动方程形式显然不变。这是最简单的正则变换,说明任何哈密顿系统自身都是自身的正则变换(变换为恒等映射)。
生成函数
判断一个变换是否为正则变换,最系统的方法是通过生成函数。生成函数 F 联系新旧变量,使新旧拉格朗日量仅差一个全导数:
piq˙i−H=P
根据生成函数所依赖变量的不同,有四种标准形式:

各类生成函数通过勒让德变换相互转化。新哈密顿量与旧哈密顿量的关系为:
K=H+∂t∂F
一维谐振子哈密顿量 H=2mp2+2。选取第一类生成函数:
F1(q,Q)=21mωq2cot
由变换关系 p=∂F1/∂q=mωqcotQ 和 P,可解出:
q=mω2P
代入哈密顿量:
K=2mp2+21
新哈密顿量 K=ωP 只含新动量 P,新坐标 Q 是循环坐标。由此得:
P˙=−∂Q∂K=0⟹P=
Q˙=∂P∂K=ω⟹
新动量 P=E/ω(E 为系统能量),新坐标 Q 就是振动的相角,以匀角速度 ω 增长。
辛矩阵与正则变换的辛结构
正则变换有一个优雅的矩阵判断准则。将相空间变量排成列向量 ζ=(q1,…,qn,p,哈密顿方程写成:
ζ˙=J∂ζ∂H
其中 J 为 2n×2n 辛单位矩阵:
J=(0−II0)
I 为 n×n 单位矩阵。设变换矩阵 M 定义为 Mij=∂( 为新变量),则该变换是正则变换的充要条件为:
MJMT=J
满足上述条件的矩阵 M 称为辛矩阵,所有辛矩阵构成辛群 Sp(2n)。
辛条件 MJMT=J 是判断任意变换是否为正则变换的统一标准,无需逐一验证哈密顿方程的形式是否保持不变。辛结构是哈密顿力学区别于拉格朗日力学的深层几何特征。
考虑变换 Q=p,P=−q(坐标和动量互换,带负号)。变换矩阵为:
M=(0−110)
验证辛条件:
MJM
辛条件成立,该变换是正则变换。对应生成函数为 F1(q,Q)=qQ,可直接验证。
泊松括号的定义与基本性质
对任意两个相空间函数 f(q,p,t) 和 g(q,p,t),定义它们的泊松括号为:
{f,g}=i=1∑n
泊松括号满足以下基本性质:
对于基本变量,有如下基本泊松括号:
{qi,qj}=0,{p
其中 δij 为克罗内克符号。正则变换的另一种等价定义是:变换保持基本泊松括号不变,即新变量 Qi,Pj 满足 ,,(括号在旧变量下计算)。
对谐振子,取 f=q,g=p,直接由定义:
{q,p}=∂q∂q⋅
取 f=H=p2/(2m)+mω2q2/2,:
{H,q}=∂q∂H
这正是 q˙=p/m(哈密顿方程)。
运动方程的泊松括号表述

任意相空间函数 f(q,p,t) 沿运动轨迹的全时间导数为:
dtdf=∂t
将哈密顿方程 q˙i=∂H/∂pi, 代入,即得:
dtdf={f,H}+∂t∂f
特别地,对不显含时间的量 f(即 ∂f/∂t=0),则:
dtdf={f,H}
这个公式揭示了守恒量的代数判据:若 f 不显含时间,且 {f,H}=0,则 f 沿运动轨迹保持不变,是系统的守恒量。判断守恒量无需解运动方程,只需计算泊松括号。
哈密顿方程本身也可写成泊松括号形式:
q˙i={qi,H},
无穷小正则变换与守恒量的关系
若生成函数 F2=∑iqiP( 为无穷小参数),则对应的变换为无穷小正则变换,新旧变量之差为:
δqi=Qi−q
函数 G(q,p) 称为该无穷小正则变换的生成元。任意物理量 f 在该变换下的变化为:
δf=ε{f,G}
当 G=H 时,无穷小正则变换描述系统在时间 ε 内的演化,对应时间平移对称性。当 G=pi 时,对应坐标 q 方向的空间平移;当 ( 方向角动量)时,对应绕 轴的旋转。
守恒量与对称性的联系:若系统在某生成元 G 对应的变换下不变(即哈密顿量在该变换下不变,{H,G}=0),则 G 是守恒量。

对中心势 H=2mp2+V(r)(),计算 ,其中 :
{Lz,H}={Lz,2m
逐项计算(利用泊松括号的莱布尼茨律):
{Lz,px2}=2p
{Lz,py2}=2p
{Lz,px2+py2
类似地,{Lz,V(r)}=0(因为 V 只依赖 r=,是旋转不变的)。故 , 守恒。
角动量的泊松括号关系
三个方向的角动量分量 Lx=ypz−zpy,, 之间的泊松括号为:
{Lx,Ly}=L
用求和符号紧凑地写成:
{Li,Lj}=εijkL
其中 εijk 为列维–奇维塔符号(i,j,k 为 1,2,3 的偶排列时取 +1,奇排列取 ,有重复时取 )。
此外,L2=Lx2+Ly2+ 与任意分量均对易:
{L2,Li}=0,i=x,y,z
角动量泊松括号关系 {Li,Lj}=εijkL 与量子力学中角动量算符的对易关系 形式完全对应,只需将泊松括号替换为对易子(并乘以 )。这是量子化的泊松括号对应原理的典型体现。
刘维尔定理:相空间体积守恒
相空间中的一个代表点集(对应一组初始条件不同但哈密顿量相同的系统)随时间演化时,整体在相空间中的体积保持不变,这就是刘维尔定理。
设相空间中的概率密度分布函数为 ρ(q,p,t),代表单位相体积内代表点的数密度,则刘维尔定理的方程形式为:
dtdρ=∂t∂ρ+{ρ
该方程称为刘维尔方程。物理图像上,相空间中的代表点流就像不可压缩流体的流动:流体元的形状可以改变,但体积(相体积)守恒。
一维谐振子 H=p2/(2m)+mω2q2/2,相空间中的轨迹为椭圆:
2E/(mω2)q2+
取一组初始条件分布在某一相空间区域 D0(例如一个小矩形)。随时间演化,代表点沿各自椭圆轨道旋转,矩形区域变形为一个弯曲的平行四边形,但面积保持不变。
具体验证:谐振子变换矩阵 M 为旋转矩阵(在归一化坐标下),detM=1,因此相空间体积(面积)守恒,刘维尔定理成立。
刘维尔定理要求系统是哈密顿系统(保守系统,无能量耗散)。若存在摩擦、阻尼等耗散力,系统不满足哈密顿方程,相空间体积将随时间收缩(代表点向吸引子集中),刘维尔定理不再成立。
练习题
A. 正则变换只能是线性变换,非线性变换一定破坏哈密顿方程的形式
B. 恒等变换不是正则变换,因为它没有改变坐标和动量
C. 正则变换保持哈密顿方程的形式不变,新哈密顿量可以与旧哈密顿量不同
D. 正则变换必须将循环坐标变换为非循环坐标,否则没有意义
答案:C
分析:正则变换的定义是保持哈密顿方程形式不变,新哈密顿量 K=H+∂F/∂t,一般情况下 K=H(当生成函数不显含时间时才有 K=)。正则变换可以是非线性的,A 错误。恒等变换(,)是正则变换的特殊情形(生成函数 ),B 错误。正则变换的目的是简化问题,通常是将非循环坐标变为循环坐标,D 的描述反了。
A. {qi,qj}=δij,,
B. {qi,qj}=0,{pi,
C. {qi,pj}=−δij,,
D. {qi,pj}=0,{q,
答案:B
分析:由泊松括号定义 {f,g}=∑k(∂f/∂q 直接计算:坐标之间 (因为 不含 ),动量之间 (因为 不含 ),而 ,B 正确。
- 3. 设 f 是不显含时间的相空间函数,则 f 是守恒量的条件是:
A. {f,f}=0
B. ∂f/∂t=0 且 f 与所有坐标均无关
C. {f,H}=0
D. f 必须等于某个广义动量 pi
答案:C
分析:由运动方程的泊松括号表述 df/dt={f,H}+∂f/∂t,当 f 不显含时间(∂f/∂t)时, 守恒的充要条件是 ,C 正确。A 中 恒成立(泊松括号的反对称性),与守恒无关。守恒量不一定是动量,例如能量、角动量都可以是守恒量,D 不完整。
A. 任意力学系统,无论是否有摩擦力
B. 仅保守哈密顿系统,摩擦力等耗散力会导致相空间体积收缩
C. 仅线性系统,非线性系统的相空间体积不守恒
D. 仅单自由度系统,多自由度系统不适用刘维尔定理
答案:B
分析:刘维尔定理的数学基础是哈密顿流的无散性,即 ∑i(∂q˙i/∂q,这对一切哈密顿(保守)系统成立,对非哈密顿系统(如有摩擦的系统)则不成立。有摩擦力时,相空间代表点流向吸引子,体积收缩,B 正确。刘维尔定理对非线性哈密顿系统和多自由度系统同样成立,C、D 均错误。
- 5. 一维谐振子 H=p2/(2m)+mω2q2/2,利用生成函数 (其中 由 隐式确定)进行正则变换,变换后的新动量为 。(一)写出新变量 、 用 、 表示的表达式;(二)验证新变量满足基本泊松括号 ;(三)写出新哈密顿量 并求运动方程的解。
解:
(一)由例二中已推导的作用量–相角变换:
q=mω2P
- 6. 设三维质点系统中,Lz=xpy−ypx。(一)利用泊松括号的定义,计算 、、、;(二)解释这四个结果的物理意义(与绕 轴的无穷小转动的关系);(三)计算 并验证等于 。
解:
(一)利用 {f,g}=∑k(∂f/∂q,以及基本泊松括号 :