1 概念与定义
哈密顿原理是理论力学中表述运动规律的一种变分原理。它将系统的真实运动看作在给定起止时刻之间，使某个称为“作用量”的泛函取驻值的轨迹。与逐点建立动力学方程不同，这一原理从整体轨迹出发，再由变分计算导出局部的运动方程，因此具有统一性和概括性。
1.1 哈密顿原理的基本表述
在经典表述中，若系统在时间区间 \(t_1\) 到 \(t_2\) 内的广义坐标为 \(q_i(t)\)，则真实运动满足作用量 \[ S=\int_{t_1}^{t_2} L(q_i,\dot q_i,t)\,dt \] 取驻值，其中 \(L\) 为拉格朗日量。所谓“驻值”并不一定是最小值，也可能是极大值或鞍点，只要求在允许的微小变分下，一阶变化为零。
1.2 作用量与驻值条件
作用量是哈密顿原理的核心对象。它把系统在一段时间内的动力学信息整合为一个整体量，从而使运动规律可由变分条件统一处理。驻值条件意味着真实路径在无穷小扰动下保持一阶稳定。
1.2.1 作用量的定义
对一般力学系统，作用量常写为拉格朗日量对时间的积分。若系统由多个自由度构成，则总作用量反映各自由度及其相互耦合对运动的共同影响。在某些扩展形式中，作用量还可包含场变量、势能项、约束项或耗散修正项。
1.2.2 变分为零的物理含义
“变分为零”表示真实运动相对于邻近虚拟轨迹而言，在一阶近似下不再改变作用量。物理上，这种条件对应系统遵循一组自洽的动力学方程，而不是任意路径。它并不意味着系统在每一瞬间都“最省力”，而是说明整体演化满足一种全局约束。
1.3 适用对象与基本假设
哈密顿原理通常适用于可由标量作用量描述的力学系统，特别是在保守或近似保守条件下效果最为直接。其应用依赖于对广义坐标、时间端点以及允许变分形式的合理选取。
1.3.1 保守系统
对于保守系统，势能可清晰定义，能量交换主要发生在动能与势能之间，哈密顿原理最容易成立。此时拉格朗日量通常写成动能减势能，变分过程可直接导出标准运动方程。
1.3.2 约束条件下的系统
对于存在几何约束或运动限制的系统，哈密顿原理仍可使用，但需要引入约束条件并相应调整变分空间。若约束可用独立广义坐标消去，处理较为简洁；若约束更复杂，则往往需引入拉格朗日乘子等方法。
2 历史发展
哈密顿原理并非孤立出现，而是建立在早期最优化思想与经典力学演化的基础上。它的形成经历了从几何化、经验化到严格数学化的过程。
2.1 早期变分思想的形成
变分思想可追溯到古典几何与最短路径问题。随着光学、力学和分析学的发展，人们逐渐意识到，某些自然过程可以通过“极值”或“驻值”来描述。早期研究为后来统一的力学变分框架奠定了方法论基础。
2.2 哈密顿与拉格朗日的贡献
拉格朗日系统化发展了分析力学，使运动问题能够用广义坐标和变分方程处理。哈密顿则在此基础上进一步强调作用量与正则结构的意义，使力学形式更加统一，也为后来的相空间理论提供了基础。二者共同推动了现代理论力学的建立。
2.3 现代变分原理的发展
进入近现代后，变分原理被推广到场论、量子理论和连续介质等更广泛领域。随着泛函分析和微分几何的发展，哈密顿原理不再仅是力学技巧，而成为描述对称性、守恒律和动力学结构的重要语言。
3 数学基础
哈密顿原理的严格表达依赖于变分法、泛函理论以及微分方程理论。其核心是对函数空间中的轨迹进行比较，并从一阶变分条件推导运动方程。
3.1 变分法基础
变分法研究的是函数的“函数”——即泛函——在微小扰动下的变化规律。对哈密顿原理而言，关键在于确定允许变分的范围，以及如何计算作用量的一阶变化。
3.1.1 泛函与函数空间
泛函把某一函数映射为一个数值，例如作用量就是以运动轨迹为输入、以数值为输出的对象。函数空间则是所有可能轨迹的集合。哈密顿原理实质上是在这个空间中寻找使泛函驻值的特殊函数。
3.1.2 一阶变分与高阶变分
一阶变分描述泛函对微小扰动的线性响应，是导出运动方程的关键。高阶变分则用于判断驻值的稳定性以及区分极小、极大与鞍点等情形。一般力学推导中最重要的是一阶变分条件。
3.2 边界条件处理
在变分问题中，边界条件决定允许的扰动形式，也直接影响最终得到的方程。哈密顿原理通常采用固定端点条件，但在更一般的问题中，自由端点和自然边界条件也十分重要。
3.2.1 固定端点条件
固定端点条件要求轨迹在初末时刻的坐标值保持不变。这样在对作用量变分时，边界项可以消失，推导过程较为简洁。经典力学中最常见的哈密顿原理通常默认这一设定。
3.2.2 自由端点与自然边界条件
当端点不固定时，变分过程会产生额外边界项，需要附加自然边界条件来保证方程成立。这类条件常出现在最优控制、开放系统或某些场问题中，处理方式比固定端点更灵活也更复杂。
3.3 欧拉-拉格朗日方程
欧拉-拉格朗日方程是哈密顿原理的直接产物，也是变分法在动力学中的标准结果。它把“作用量驻值”转化为具体的微分方程。
3.3.1 从哈密顿原理到欧拉-拉格朗日方程
对作用量作一阶变分，并要求其对任意允许扰动均为零，即可得到 \[ \frac{d}{dt}\frac{\partial L}{\partial \dot q_i}-\frac{\partial L}{\partial q_i}=0 \] 这就是欧拉-拉格朗日方程。它把整体的积分条件转化为局部的动力学规律。
3.3.2 方程的物理解释
该方程体现了惯性项与势作用项之间的平衡。其形式并不依赖于具体坐标系，因而特别适合处理多自由度系统、曲线坐标和约束运动。它说明真实运动不是任意的，而是满足一种变分一致性的演化。
4 经典力学中的应用
在经典力学中，哈密顿原理提供了比牛顿方法更统一的建模框架，尤其适合处理复杂坐标系、耦合系统和约束问题。
4.1 粒子系统
粒子系统是哈密顿原理最直接的应用对象。通过选取合适的广义坐标，可以将空间运动、相互作用和约束统一纳入作用量表达。
4.1.1 单粒子运动
单粒子在势场中的运动可由一个自由度或多个坐标描述。利用作用量变分可恢复常见的运动方程，如匀加速运动、简谐振动以及中心力场中的轨迹方程。
4.1.2 多粒子耦合系统
对多粒子系统而言，哈密顿原理能自然处理相互作用项。无论是弹簧耦合、引力相互作用还是一般势能耦合，只要拉格朗日量构造适当，就可以统一推导各粒子的联立方程。
4.2 刚体动力学
刚体动力学具有转动自由度和姿态描述问题，直接使用牛顿方程往往较为繁琐，而变分方法可以更系统地处理转动行为。
4.2.1 转动自由度
刚体的转动可由角速度、转动惯量和姿态变量描述。通过将转动动能写入拉格朗日量，再施加哈密顿原理，可得到刚体的转动方程，并清晰反映惯性张量的作用。
4.2.2 欧拉角描述
欧拉角为刚体姿态提供了一套常用参数化方式。用欧拉角作为广义坐标时，哈密顿原理可以直接导出对应的运动方程，但在某些构型附近可能出现坐标奇异性，因此需要结合具体问题谨慎选用。
4.3 受约束系统
受约束系统在工程与物理中十分常见。哈密顿原理能够借助约束条件将不可独立变化的自由度排除或修正，从而保持方程的整齐结构。
4.3.1 完整约束
完整约束通常可写成坐标和时间的关系，且不涉及速度的不可积分限制。此类约束较容易通过减少自由度或引入乘子处理，变分过程也较为规范。
4.3.2 非完整约束
非完整约束一般涉及速度关系，不能简单积分为坐标约束。此时哈密顿原理的应用更为谨慎，需要采用适合非完整系统的变分形式，不能机械套用普通固定端点条件。
5 与其他理论的关系
哈密顿原理不是孤立的理论，而是经典力学多种表述之间的重要纽带。它揭示了牛顿形式、拉格朗日形式与哈密顿形式之间的内在一致性。
5.1 与牛顿定律的关系
在简单体系中，由哈密顿原理导出的欧拉-拉格朗日方程可以化为牛顿第二定律。因此，牛顿力学可看作哈密顿原理在笛卡尔坐标和常规保守系统中的特例。后者的优势在于更具普适性和坐标不变性。
5.2 与拉格朗日力学的关系
哈密顿原理与拉格朗日力学几乎是同一框架的两种表述。前者强调“作用量驻值”，后者强调“拉格朗日量决定动力学”。在实际应用中，拉格朗日力学常作为哈密顿原理的直接展开形式。
5.3 与哈密顿正则方程的关系
通过勒让德变换，拉格朗日形式可以转化为哈密顿形式。此时系统从广义坐标和广义速度转向坐标和共轭动量，形成更适合研究相空间结构的正则方程。
5.3.1 正则变量
正则变量通常指坐标与其共轭动量。它们构成哈密顿力学的基本变量组，使系统演化可以写成一阶微分方程，便于分析守恒量、对称性与相空间轨道。
5.3.2 相空间表述
相空间把位置与动量统一到同一几何空间中。哈密顿原理经过变换后可与相空间动力学联系起来，形成对轨迹、稳定性和守恒结构更清晰的描述。
6 扩展与推广
哈密顿原理在经典保守系统之外还可扩展到时间依赖、非保守、场论和连续介质等更复杂情形。推广后的形式通常需要对作用量或变分规则作适当修改。
6.1 含时变系统的原理修正
当系统参数随时间变化时，拉格朗日量也可能显含时间。此时原理仍可成立，但能量守恒未必自动出现，需要借助显含时间的结构来理解系统的动力学特征。
6.2 非保守力与广义耗散
对于摩擦、阻尼等非保守作用，标准哈密顿原理往往不能直接覆盖全部情形。工程上常通过引入耗散函数、有效力或扩展的变分框架来处理，使原理在近似意义下仍具有实用价值。
6.3 场论中的哈密顿原理
在场论中，作用量不再是对粒子轨迹积分，而是对时空区域内的场变量积分。哈密顿原理因此成为电磁场、标量场和其他连续系统的重要基础。
6.3.1 标量场
标量场的作用量通常由场强、梯度项和势能项构成。对场变量进行变分后，可得到场的运动方程，例如波动方程或非线性场方程。
6.3.2 电磁场
电磁场的作用量可以用场强张量和势函数表示。通过变分，能够得到麦克斯韦方程组的统一形式，并清楚揭示电磁理论中的对称结构。
6.4 连续介质中的变分形式
在弹性体、流体和其他连续介质中，哈密顿原理可写成对整个材料区域的积分形式。它有助于推导平衡方程、波动方程和边界条件，特别适合处理复杂几何与分布参数系统。
7 物理学中的具体应用
哈密顿原理在多门物理分支中都具有基础地位。它不仅是理论推导工具，也常用于统一不同形式的方程表示。
7.1 经典电动力学
在经典电动力学中，作用量方法能够将粒子与场的相互作用纳入同一框架。借助变分原理，可以从一个统一表达式出发得到电荷运动方程和场方程。
7.2 量子力学中的路径思想
量子理论中的路径积分思想与哈密顿原理存在深层联系。经典轨迹可视为作用量驻值路径，而量子过程则在这些路径附近发生叠加。虽然两者的数学结构不同，但都体现了“整体路径决定局部行为”的思想。
7.3 相对论体系中的变分方法
在相对论物理中，作用量具有更强的协变性。通过适当构造洛伦兹不变的作用量，可得到粒子、场以及耦合系统的相对论方程，使理论形式与时空对称性保持一致。
7.4 流体力学与弹性力学
流体与弹性介质的运动方程也可由变分思想导出或表达。对于理想流体，作用量法有助于揭示流线、势流和守恒结构；对于弹性体，则便于建立位移场、应变能与边界条件之间的联系。
8 计算与工程应用
由于形式统一且便于建立能量模型，哈密顿原理在工程计算中占有重要位置。它特别适合结构分析、数值离散和优化设计。
8.1 结构力学中的能量法
结构力学常利用势能驻值来求解梁、板、壳等构件的变形与稳定性问题。与直接求解微分方程相比，能量法更利于处理复杂边界和组合结构。
8.2 最优化与数值求解
在数值分析中，许多动力学问题可转化为对作用量的离散最优化或驻值搜索。这样既能保留物理结构，又便于采用迭代算法、有限差分或其他计算工具。
8.3 有限元方法中的变分框架
有限元方法本质上依赖变分原理。通过将连续问题的作用量离散化，可以得到一组代数方程，用于近似求解位移、应力、温度或其他场量。哈密顿原理因此成为有限元理论的重要基础之一。
9 相关概念辨析
在实际使用中，哈密顿原理常与最小作用量原理、驻值原理等概念并列出现，但它们并不完全等同，需加以区分。
9.1 最小作用量原理
最小作用量原理是哈密顿原理的一种通俗说法，但并不严格总是“最小”。真实路径可能对应极小、极大或鞍点，因此更准确的表述应是作用量取驻值。
9.2 驻值原理与极值原理
驻值原理强调一阶变分为零，而极值原理则强调函数达到最大或最小。哈密顿原理属于前者，不应简单等同于极值问题。只有在额外条件下，驻值才可能进一步成为极小值。
9.3 物理“最优化”与数学最优化的区别
物理中的“最优”通常是广义意义上的，指满足动力学方程和约束条件的整体轨迹；数学最优化则更强调明确目标函数、可行域和最值性质。哈密顿原理属于前一种更宽泛的结构性最优化。
10 争议与局限
尽管哈密顿原理极具普适性，但它并不是对所有物理系统都能直接、无条件地应用。其有效性依赖于系统类型、边界设定和作用量构造方式。
10.1 适用范围的限制
标准哈密顿原理最适用于保守系统和可由良好定义拉格朗日量描述的情形。对于强耗散、历史依赖或高度非局域的系统，原理的直接适用性会受到限制。
10.2 非保守体系的处理难点
非保守力会破坏经典作用量框架的简洁结构，使得变分推导不再直接给出标准方程。为处理这类问题，通常需要引入额外函数、扩展变量或近似模型，这也使理论形式变得更复杂。
10.3 形式主义与物理直觉的关系
哈密顿原理的数学形式优雅，但初学者有时会将其误解为“自然界总在做最省事的事情”。实际上，它更准确地反映了动力学的全局一致性。其价值不仅在于计算方便，也在于提供一种超越局部力平衡的物理直觉。