哈密顿向量场
哈密顿向量场(Hamiltonian vector field)由一个哈密顿函数和辛结构共同确定,用来给出相空间中的运动方向。在标准位置—动量坐标 中,它产生哈密顿方程 自治系统沿轨迹保持哈密顿函数的值;在力学模型中,适当的 常表示总能量。相空间中的方向场让能量等值线与实际运动连接起来。
从弹簧振子得到相轨迹
取质量为一、弹性系数为四的无阻尼一维振子。位置为 ,动量为 ,哈密顿函数为 因此 、。初值 的解为 将其代回,得到 。相轨迹满足 在点 ,向量场为 ,所以运动沿相平面中的椭圆顺时针进行。椭圆上的点描述同一个系统在不同状态下的位置与动量,不是物体在二维物理空间中的路径。
若初值改为 ,则 能量变成 ,轨迹为较小的椭圆。这一变式改变振幅与能量,线性振子的周期仍为 。
辛形式与符号约定
在 中,取标准辛形式 对光滑函数 ,本文用 定义 。辛形式的非退化性保证这个向量唯一。若写 、,则 比较任意 的系数,得到 、,即开头的哈密顿方程。不同教材若把辛形式或定义式取相反符号,应同时调整对应约定。[1]
在一般辛流形上,给定闭的非退化二形式 后,同一定义仍成立。这使坐标中的方程具有内在的几何意义;本文后续计算均在标准正则坐标中进行。
自治能量守恒
若 不显含时间,沿解求导: 等价地,,因为辛形式是反对称的。向量场因此切于能量等值面。
若 显含时间,则总导数还包含 。例如 给出 ,所以 一般随时间改变。自治性正是前述能量守恒计算使用的条件。
正则坐标中的体积保持
设 。向量场的散度为 混合偏导相等使每项抵消。若局部流 存在,变分方程与行列式求导给出 初始流为恒等,故 :相空间中的标准体积保持。这是刘维尔体积定理的正则坐标形式。它与能量守恒描述不同性质;具有显式时间依赖的哈密顿场,在每个时刻仍有相同的零散度计算。
零散度单独还不足以在高维判定某场为哈密顿场。例如在四维坐标 中,向量场 的散度为零。若它来自某个 ,前两分量迫使 其动量方向分量却会包含 ,无法对所有 恒为零,产生矛盾。哈密顿结构比体积保持包含更多条件。
单摆的振荡与旋转
在质量、重力加速度、摆长均取一的无量纲单摆模型中, 方程为 、。固定能量 后, 当 时,动量在转向点为零,角度在有限范围内往返。例如 时,转向角为 。沿能量二的轨迹趋近倒立平衡点时,速度趋于零,形成分界轨道;能量大于二时,动量不再变号,运动对应持续旋转。
阻尼项会改变结构。例如加上 、 后,能量变化成为 ,原来沿等值线运行的相轨迹会向低能量区域移动。标准无阻尼哈密顿模型的能量守恒与体积保持,不能直接用在这个耗散系统上。
参考文献
- ↑ Daniel Liberzon,Calculus of Variations and Optimal Control Theory,§7.1.3“Symplectic geometry and Hamiltonian flows”,式(7.6)–(7.8)。