从拉格朗日到哈密顿
广义动量与哈密顿函数
对于保守体系,定义广义动量(正则动量)
pα=∂q˙α∂L
哈密顿函数 H(q,p,t) 定义为
H=α=1∑spαq˙α−L
H 是 (qα,pα,t) 的函数,而拉格朗日函数 L 是 (qα,q˙α,t) 的函数。两者之间通过勒让德变换相联系。
哈密顿函数与能量的关系
当约束稳定且势能与速度无关时,T 是 q˙ 的二次齐次函数,有
α∑pαq˙α=2T
因此 H=2T−(T−V)=T+V,即系统的机械能。若这些条件不满足,H 是广义能量,不一定等于机械能。
哈密顿正则方程
正则方程的推导
对 H=∑pαq˙α−L 求微分:
dH=α∑(q˙αdpα+pαdq˙α−∂qα∂Ldqα−∂q˙α∂Ldq˙α)−∂t∂Ldt
利用 pα=∂L/∂q˙α 和拉格朗日方程 p˙α=∂L/∂qα,消去 dq˙α 项,得
dH=α∑(q˙αdpα−p˙αdqα)−∂t∂Ldt
另一方面,H 作为 (q,p,t) 的函数,其全微分为
dH=α∑(∂qα∂Hdqα+∂pα∂Hdpα)+∂t∂Hdt
比较两式,得哈密顿正则方程:
q˙α=∂pα∂H,p˙α=−∂qα∂H,α=1,2,…,s
以及 ∂t∂H=−∂t∂L。
正则方程的特点
- 将拉格朗日的 s 个二阶微分方程转化为 2s 个一阶微分方程
- q 和 p 被视为独立的变量(相空间坐标)
- 方程形式高度对称,便于理论分析和数值计算
- 适用于所有理想、完整体系,包括非保守体系(若广义力可写出)
相空间
定义
相空间是由所有广义坐标 qα 和广义动量 pα 张成的 2s 维空间。系统在任意时刻的状态对应相空间中的一个点。
相轨迹
随着时间演化,相点沿相空间中的一条曲线运动,称为相轨迹或相轨道。正则方程决定了相轨迹的方向。
重要性质:若哈密顿函数 H 不显含时间(H=H(q,p)),则相轨迹绝不会相交。因为若两条轨迹在某点相交,则从该点出发的演化由正则方程唯一确定,两条轨迹必定重合。若 H 显含时间,则相轨迹可以相交。
相空间例子:一维谐振子
一维谐振子的哈密顿函数 H=2mp2+21mω2q2。相轨迹是椭圆:
2mEp2+2E/(mω2)q2=1
不同能量对应不同椭圆,互不相交。运动方向:上半平面 p>0 时 q 增加,下半平面 p<0 时 q 减小。
刘维尔定理
刘维尔定理:在哈密顿正则方程支配下,相空间中的“体积元”在演化过程中保持不变。即,若取一组初始相点构成区域 D(0),经过时间 t 后,这些点演化到区域 D(t),则两个区域的体积相等:
∫D(t)dq1⋯dqsdp1⋯dps=∫D(0)dq1⋯dqsdp1⋯dps
证明概要:考虑相空间中的“相流体”,其散度为
∇⋅v=α∑(∂qα∂q˙α+∂pα∂p˙α)=α∑(∂qα∂pα∂2H−∂pα∂qα∂2H)=0
因此相流体不可压缩,体积不变。刘维尔定理是统计力学的基础之一。
哈密顿力学的优势
- 相空间描述提供了几何直观(系统状态 = 一点,演化 = 轨迹)
- 正则方程对称形式便于寻找守恒量(泊松括号理论)
- 为量子力学(海森堡绘景)和统计力学(刘维尔方程)提供了直接类比
- 适用于处理约束系统(狄拉克括号)
小结
- 哈密顿函数 H=∑pαq˙α−L,正则方程 q˙α=∂H/∂pα,p˙α=−∂H/∂qα
- 相空间由 (q,p) 构成,维数为 2s
- 若 H 不显含时间,相轨迹不相交
- 刘维尔定理:相体积在演化中不变
- 哈密顿力学是经典力学到量子力学和统计力学的桥梁