1 基本概念
1.1 经典力学中的位置
哈密顿力学是经典力学的重要表述之一，与牛顿力学、拉格朗日力学并列为分析机械系统的主要框架。它的特点是将系统状态描述为“位置—动量”对，而不是单纯依赖力与加速度。这种表述尤其适合处理多自由度系统、约束系统以及具有明显守恒结构的问题。
从历史上看，哈密顿力学是在拉格朗日形式进一步抽象化之后形成的。它并不改变经典力学的物理内容，而是提供了一种更适合数学化处理的语言。
1.2 哈密顿量
哈密顿量通常记作 H，是描述系统总能量的函数，但其具体形式并不总是简单等于“动能加势能”。在许多常见的保守系统中，哈密顿量可与总能量一致；在存在约束、速度相关势能或更复杂结构时，它则体现为由拉格朗日量经变换得到的能量函数。
哈密顿量的核心作用在于：它不仅标识系统的能量水平，还决定系统在相空间中的演化方向。对绝大多数经典系统而言，系统的运动规律可由哈密顿量直接导出。
1.3 广义坐标与广义动量
广义坐标是对系统构型的参数化描述，记为 q_i，用来表征系统的自由度。与之对应的广义动量记为 p_i，反映系统在这些坐标方向上的“运动趋势”。广义动量并不一定等同于普通意义上的线动量，但在适当条件下可与之对应。
这种成对变量构成了哈密顿力学的基本语言。选择合适的广义坐标与广义动量，往往能够把复杂问题化为较为规整的数学形式。
1.4 相空间
相空间是由系统全部广义坐标和广义动量构成的空间。对一个具有 n 个自由度的系统，其相空间通常是 2n 维。系统在任一时刻的状态可表示为相空间中的一个点，而随时间变化则表现为相空间中的一条轨道。
与构型空间相比，相空间包含了位置与运动信息，因此更适合研究整体演化、守恒结构和轨道性质。在哈密顿力学中，理解相空间几乎是理解系统行为的前提。
1.5 哈密顿方程
哈密顿方程是一组一阶微分方程，用于描述广义坐标与广义动量随时间的变化。对于每个自由度，系统分别满足两个方程：一个给出坐标变化率，另一个给出动量变化率。
这种形式的优势在于，它把原本可能是二阶的运动方程拆分为一阶方程组，便于分析局部结构、守恒量与稳定性，也为数值计算和进一步的理论推广提供了便利。
2 理论基础
2.1 作用量原理
哈密顿力学建立在作用量原理之上。该原理指出，真实运动轨迹使作用量取驻值。作用量通常是拉格朗日量对时间的积分，因此系统的动力学问题可以转化为一个变分问题。
这一思想使力学从“受力分析”提升为“路径选择”的形式。系统并非在所有可能路径中任意运动，而是遵循使作用量满足极值条件的轨迹。
2.2 拉格朗日力学到哈密顿力学的变换
从拉格朗日力学过渡到哈密顿力学，关键步骤是将速度变量换成动量变量。拉格朗日量依赖坐标、速度和时间，而哈密顿量则以坐标和动量为核心。通过这一转换，系统的描述从构型空间进入相空间。
这一转变不仅是记号变化，更改变了问题的数学结构。许多对称性和守恒性质在哈密顿形式下会更自然地显现出来。
2.3 勒让德变换
勒让德变换是连接拉格朗日量与哈密顿量的数学工具。它通过把依赖速度的函数改写成依赖动量的函数，实现变量的重新组织。对于可逆的情形，变换可以保持系统信息不丢失。
在物理上，勒让德变换体现了从“以速度为自变量”到“以动量为自变量”的观点转换。它在热力学、统计物理等领域也有类似用途。
2.4 正则方程的推导
哈密顿方程又常被称为正则方程，因为它们可由正则变量的变分形式直接导出。推导过程中，拉格朗日量经由动量定义与勒让德变换被重写，从而得到只含坐标、动量与时间的表达式。
正则方程的形式简洁而统一，是哈密顿体系的核心结果。它把动力学规律浓缩为一个紧凑的微分方程组。
3 数学形式
3.1 正则坐标与正则动量
正则坐标与正则动量是哈密顿体系中的配对变量。所谓“正则”，强调它们在变换下保持标准结构，即方程形式不变。这种标准配对使得动力学方程具有高度统一性。
在理想情形下，选取正则变量后，系统演化可以通过简单的矩阵和微分算子加以处理。许多复杂系统的分析，往往依赖于寻找合适的正则变量。
3.2 泊松括号
3.2.1 泊松括号的定义
泊松括号是描述两个动力学函数关系的运算符。它由函数对广义坐标和广义动量的偏导数构成，用来表达它们在哈密顿动力学中的相互作用方式。
通过泊松括号，可以把运动方程、守恒条件以及对称结构写成统一形式。它是哈密顿力学中的基础工具之一。
3.2.2 泊松括号的基本性质
泊松括号满足若干重要性质，包括反对称性、线性性和雅可比恒等式。这些性质保证了它在数学上具有良好的结构，并与系统的对称性密切相关。
在实际应用中，若两个物理量的泊松括号为零，通常意味着它们具有相容性或守恒关系。由此，泊松括号也成为判断可积性和守恒量的重要手段。
3.3 正则变换
3.3.1 生成函数
正则变换是保持哈密顿方程形式不变的变量变换。生成函数是构造这类变换的常用方法，它通过某个辅助函数把旧变量与新变量联系起来。
生成函数的引入，使得寻找合适坐标变得更加系统。许多复杂问题可以借助正则变换化为更简单的形式，甚至直接分离变量。
3.3.2 规范协变性
规范协变性指的是哈密顿形式在适当变换下保持结构不变的性质。也就是说，虽然变量可能改变，但方程的正则形式与物理内容并未被破坏。
这种性质说明哈密顿力学并不依赖于某一种固定坐标系，而是具有较强的表述稳定性。这也是它在理论物理中具有普适性的原因之一。
3.4 辛结构
3.4.1 辛流形
辛流形是带有辛形式的几何空间，用来抽象描述相空间的结构。它为哈密顿力学提供了几何基础，使动力学问题可以在流形与微分形式的框架下研究。
在辛流形上，系统轨道对应辛流上的演化流。这样，动力学与几何之间形成了紧密联系。
3.4.2 辛几何基础
辛几何研究的是保持辛结构不变的映射和流动。与欧几里得几何不同，它更关注“面积型”不变量与相空间中的结构保持。
哈密顿力学中的许多重要性质，如体积守恒、正则变换和稳定结构，都可以在辛几何中得到自然解释。
4 运动规律
4.1 哈密顿正则方程
哈密顿正则方程规定了坐标与动量的时间演化。对每个自由度，坐标的变化由哈密顿量对动量的偏导给出，动量的变化则由哈密顿量对坐标的负偏导给出。
这组方程具有高度对称的形式，既简洁又统一，能够直接反映系统能量结构与动力学规律之间的联系。
4.2 守恒定律
4.2.1 能量守恒
若哈密顿量不显含时间，则它通常对应守恒量。对许多封闭系统而言，这意味着系统总能量保持不变。
在哈密顿形式中，能量守恒不仅是一条经验规律，也可由方程结构直接推出，因而显得尤为自然。
4.2.2 动量守恒
当系统在空间平移下具有不变性时，相应的动量通常守恒。哈密顿力学能以泊松括号与对称性语言清晰表达这一点。
动量守恒在多体问题、碰撞问题以及粒子系统中尤为常见，是分析整体运动的重要依据。
4.2.3 角动量守恒
若系统对空间旋转保持不变，则角动量守恒。哈密顿框架能够直接将旋转对称性与守恒量联系起来。
角动量守恒在天体运动、刚体转动以及中心力问题中具有基础地位，也是理解轨道结构的重要线索。
4.3 周期运动
对于周期系统，哈密顿力学常能揭示其振幅、频率和相位之间的联系。相空间轨道在周期运动中往往形成闭合曲线或准周期结构。
这类问题不仅在简单振动中出现，也广泛存在于天体轨道、分子振动和工程振动分析中。
4.4 小振动理论
小振动理论研究系统在稳定平衡点附近的近似运动。通过将哈密顿量在平衡点周围展开，可得到近似的二次型，从而把复杂动力学简化为线性振动问题。
这种方法在多自由度系统中尤其有效，能够分解出正常模并估计系统的局部稳定性。
5 典型应用
5.1 天体力学
哈密顿力学在天体力学中应用极广，尤其适合处理轨道问题与多体相互作用。行星运动、卫星轨道以及限制性三体问题，常可在哈密顿框架下获得较清晰的分析。
由于天体系统往往具有明显的对称性和长期演化特征，哈密顿形式在研究稳定性、共振与近似积分时优势突出。
5.2 刚体转动
刚体转动问题涉及角动量、转动惯量和姿态演化。哈密顿力学能够用正则变量表达刚体的旋转状态，并研究其稳定转动和进动行为。
在对称性良好的刚体系统中，哈密顿形式常比直接使用欧拉方程更便于推广和几何解释。
5.3 振动系统
许多机械与工程振动系统都可以写成哈密顿形式，包括弹簧振子、耦合振子以及弱非线性振动模型。哈密顿描述有助于分析能量交换、共振和稳定区域。
对复杂振动网络而言，哈密顿方法还能帮助识别正常模和守恒结构，从而简化整体分析。
5.4 电磁学中的应用
在电磁学中，某些系统可用哈密顿形式表述，尤其是在带电粒子与电磁场相互作用的情形中。哈密顿量会包含场与粒子的耦合项，从而体现动力学耦合关系。
这一应用在理论电动力学和规范场论的早期形式化中具有重要意义，也为后续的量子化研究提供了基础。
5.5 场论中的推广
哈密顿力学可以推广到连续场论。此时，广义坐标变为场变量，广义动量变为与场共轭的动量密度，系统状态则对应无穷维相空间中的一点。
这种推广使哈密顿方法能够应用于流体、弹性体、经典场和更一般的连续介质模型，是现代理论物理中的常见工具。
6 与其他力学表述的关系
6.1 与牛顿力学的比较
牛顿力学直接以力和加速度建立运动方程，形式直观，便于处理单个粒子的受力问题。哈密顿力学则更偏向整体结构与状态演化，适合多自由度系统和抽象分析。
两者在经典范围内通常是等价的，只是关注点不同：前者强调动力原因，后者强调状态流动。
6.2 与拉格朗日力学的关系
拉格朗日力学是哈密顿力学的重要前身。它们共享作用量原理，并在物理内容上保持一致。哈密顿形式可以看作从拉格朗日形式通过勒让德变换得到的相空间版本。
相较之下，拉格朗日方法更适合处理含约束的几何建模，而哈密顿方法更适合研究正则结构、对称性和相空间动力学。
6.3 与量子力学的联系
6.3.1 量子化思想
哈密顿力学为量子力学提供了关键的形式基础。量子理论中的哈密顿算符，与经典哈密顿量在结构上有明确对应关系。
从经典到量子的过渡过程中，许多概念，如能量、正则变量和相空间结构，都以不同方式被保留下来或重新解释。
6.3.2 算符与泊松括号的对应
在经典力学中，泊松括号描述可观测量之间的关系；在量子力学中，这种结构常被算符对易子所取代。两者之间存在形式上的对应关系，体现了经典极限与量子理论之间的桥梁。
这种对应并非简单替换，但它帮助人们理解量子理论如何从经典哈密顿结构中发展出来。
6.4 与统计力学的联系
在统计力学中，哈密顿量常用于刻画微观状态的能量分布。相空间中的轨道与统计分布之间的关系，是建立系综理论的重要基础。
哈密顿体系的体积守恒和轨道结构，对理解平衡态、涨落以及热力学极限都有重要作用。
7 重要定理与性质
7.1 刘维尔定理
刘维尔定理指出，在哈密顿系统演化下，相空间体积守恒。这一结论说明系统轨道虽然会流动，但整体相空间中的“占据体积”不会改变。
该定理在统计力学中极为重要，因为它为系综概率分布的演化提供了基本约束。
7.2 诺特定理
诺特定理建立了对称性与守恒量之间的深刻联系。对于具有连续对称性的系统，相应的守恒量可以由作用量的不变性推出。
在哈密顿框架下，这一思想与泊松括号、正则变换密切结合，使对称性分析成为求解动力学问题的核心方法之一。
7.3 哈密顿-雅可比理论
哈密顿-雅可比理论把动力学问题转化为偏微分方程问题。通过寻找适当的特解，可以构造出系统轨道并获得积分常数，从而实现变量分离与问题简化。
这一理论在经典力学中具有优雅的几何意义，也为后来的量子理论和半经典近似提供了启发。
7.4 可积系统
可积系统是指存在足够多独立守恒量，使系统可通过积分完全求解或大幅简化。哈密顿力学为可积性研究提供了标准语言。
可积系统在理论物理和数学中都很重要，因为它们通常具有高度规则的轨道结构，便于精确分析。
7.4.1 动作-角变量
动作-角变量是研究可积系统的典型坐标。动作变量通常为守恒量或周期积分，而角变量则描述系统在周期轨道上的相位。
采用这类变量后，许多复杂运动可被转换为近似线性演化，从而显著简化动力学分析。
7.4.2 绝热不变量
绝热不变量是在缓慢变化条件下近似保持不变的物理量。它在哈密顿体系中常与动作变量相关，并广泛出现在缓变振动和天体运动问题中。
绝热不变量说明，即便系统参数随时间缓慢变化，某些结构性量仍可能保持稳定，这在近似分析中非常有价值。
8 历史发展
8.1 哈密顿的贡献
哈密顿力学以威廉·罗恩·哈密顿的工作为基础而得名。哈密顿将光学、力学与变分思想结合，提出了新的动力学表述，使经典力学的数学结构发生了重要转变。
他的工作推动了正则理论的发展，也为后来的数学物理语言奠定了基础。
8.2 19世纪的扩展
在19世纪，哈密顿力学被进一步系统化，并与拉格朗日理论、天体力学和微分方程研究相结合。许多数学家和物理学家对正则变换、积分理论以及稳定性问题作出了贡献。
这一时期，哈密顿方法逐渐从具体机械问题走向更抽象的数学框架。
8.3 现代辛几何的发展
20世纪以来，哈密顿力学与辛几何深度融合，形成了现代几何力学的重要分支。辛流形、可积系统和正则变换理论被纳入更一般的数学体系之中。
这种发展使哈密顿力学不再只是力学工具，也成为几何分析与拓扑研究的重要对象。
8.4 在现代物理中的地位
在现代物理中，哈密顿力学仍是基础性语言之一。无论是经典场、量子系统还是数值模拟，哈密顿结构都提供了统一的理论框架。
它的价值不仅在于求解具体问题，更在于揭示系统背后的结构性规律。
9 相关概念
9.1 规范动量
规范动量是与坐标正则配对的动量变量，通常与速度相关，但会受到场、约束或规范项的影响。它在电磁相互作用等问题中尤其常见。
9.2 相空间轨道
相空间轨道是系统状态点随时间在相空间中形成的路径。它直观地展示了动力学演化、周期性和稳定性特征。
9.3 哈密顿雅可比方程
哈密顿雅可比方程是哈密顿-雅可比理论的核心方程。它以作用函数为未知量，将动力学问题转化为偏微分方程求解问题。
9.4 玻尔兹曼与哈密顿形式的联系
玻尔兹曼框架与哈密顿形式在统计力学中密切相关。前者关注宏观统计规律，后者提供微观动力学基础，两者共同构成了从微观到宏观的桥梁。