1 基本概念
1.1 定义
作用量是一个用于刻画系统整体演化过程的标量量，通常记作 \(S\)。在经典力学和场论中，它往往不是某一时刻的局部量，而是把系统从初态到终态的整个变化过程综合起来形成的量。对于给定的轨迹或场配置，作用量可以看作对“运动历程”的数值概括。
1.2 物理意义
在物理学中，作用量的核心意义在于：真实发生的运动通常对应作用量取驻值的路径。这里的“驻值”并不一定是最小值，也可以是极大值或鞍点。正因如此，作用量成为描述动力学规律的一种统一语言，能够把运动方程、守恒律和对称性联系起来。
1.3 数学表达形式
作用量的表达形式依赖于所研究的对象。对于粒子系统，它常由拉格朗日量关于时间的积分给出；对于连续场，则通常写成拉格朗日密度在时空区域上的积分。不同形式在本质上都体现了“对整体过程进行积分”的思想。
1.3.1 时间积分形式
对于单粒子或有限自由度系统，作用量一般写成 \[ S=\int_{t_1}^{t_2}L(q,\dot q,t)\,dt \] 其中 \(L\) 为拉格朗日量，\(q\) 表示广义坐标，\(\dot q\) 表示广义速度。这种形式最常见于经典力学，强调系统沿时间方向的整体演化。
1.3.2 时空积分形式
在场论中，作用量通常写成 \[ S=\int \mathcal{L}(\phi,\partial_\mu \phi,x)\,d^4x \] 其中 \(\mathcal{L}\) 是拉格朗日密度，\(\phi\) 表示场变量，\(d^4x\) 为时空体元。该形式适用于描述电磁场、标量场以及更一般的规范场理论。
1.4 作用量与作用泛函
从数学上看，作用量常常是定义在函数空间上的泛函，即它把“函数”映射为一个数值。对于一条轨迹或一个场构型，作用量给出相应的评价值，因此“作用量”在严格意义上也可视为“作用泛函”。这一点使其区别于只依赖有限个变量的普通函数。
2 历史发展
2.1 早期变分思想
作用量思想的萌芽可追溯到古典几何与最优化问题。早期研究者已意识到，某些自然过程似乎遵循“最优路径”或“最优配置”的原则。例如光的传播、曲线最短问题等，都体现了后来变分法的基本精神。
2.2 经典力学中的形成
在17至18世纪，随着分析力学的发展，作用量开始成为系统化的物理概念。拉格朗日和哈密顿等人将力学问题改写为变分问题，使得求运动规律不再依赖逐个分析力的平衡，而是通过整体函数的驻值条件导出方程。这一转变奠定了现代理论力学的基础。
2.3 现代物理中的扩展
进入20世纪后，作用量的适用范围扩展到相对论、量子理论和场论之中。它不仅用于统一描述粒子和场的动力学，也成为规范对称性、量子化方法和半经典近似的重要工具。随着数学物理的发展，作用量的表述方式也愈发抽象和普适。
3 数学基础
3.1 变分法
变分法研究的是函数或泛函在微小扰动下的变化规律。作用量理论的数学核心，正是考察当轨迹或场发生微小变化时，作用量如何改变，并由此推出满足驻值条件的方程。
3.1.1 一阶变分
一阶变分描述泛函在一阶近似下的变化量。若某个路径使得作用量的一阶变分为零，则该路径通常满足相应的极值或驻值条件。物理上，真正的运动轨迹正是由这一条件筛选出来的。
3.1.2 二阶变分
二阶变分用于研究驻值点的性质，例如它是极小值、极大值还是鞍点。在线性稳定性分析和轨道稳定性研究中，二阶变分具有重要作用，能够反映系统对扰动的敏感程度。
3.2 泛函分析
作用量常定义在无限维空间中，因此需要泛函分析提供理论支撑。函数空间的拓扑结构、收敛性以及连续性等概念，都是讨论作用量是否可微、是否存在极值以及极值是否稳定时的重要工具。
3.3 微分几何中的表述
在现代数学物理中，作用量常借助流形、切丛和联络等几何语言来表达。这样不仅便于处理曲线和场的坐标无关描述，也使对称性与守恒性质更容易体现。几何化表述尤其适合相对论和规范理论。
4 经典力学中的作用量
4.1 拉格朗日量与作用量
在经典力学中，拉格朗日量通常定义为动能与势能之差： \[ L=T-V \] 作用量则是对拉格朗日量在时间区间上的积分。通过比较不同路径对应的作用量，可以判断哪一条路径符合真实运动规律。
4.2 最小作用量原理
最小作用量原理是经典力学中最重要的原理之一。严格说来，它更准确地应称为“驻值原理”，因为真实路径对应的不一定是最小值。该原理把动力学问题转化为优化问题，具有高度统一性。
4.2.1 驻值原理
驻值原理指出，在固定初末条件下，真实运动路径使作用量的一阶变化为零。换言之，允许路径发生微小扰动时，作用量在该路径附近不发生一阶变化。这一定理是推导运动方程的出发点。
4.2.2 欧拉-拉格朗日方程
由作用量的一阶变分为零，可导出欧拉-拉格朗日方程： \[ \frac{d}{dt}\frac{\partial L}{\partial \dot q}-\frac{\partial L}{\partial q}=0 \] 这是经典力学中最基本的运动方程形式之一，适用于从简单粒子到复杂机械系统的广泛情形。
4.3 哈密顿原理
哈密顿原理强调：在给定端点条件下，真实轨迹使作用量取驻值。它不仅统一了牛顿力学和拉格朗日力学，也为后来的哈密顿形式、正则变换以及量子理论提供了基础框架。
4.4 约束系统中的作用量
对于存在几何约束或动力学约束的系统，作用量仍可作为分析工具，但需引入拉格朗日乘子或广义坐标处理约束条件。通过这种方式，可以将约束运动转化为带附加条件的变分问题，从而推导对应方程。
5 场论中的作用量
5.1 标量场作用量
标量场的作用量通常由场的梯度项、势能项等构成，用以描述标量函数在时空中的传播和相互作用。通过对作用量求变分，可以得到场的运动方程，例如波动方程或带质量项的场方程。
5.2 电磁场作用量
电磁场可由规范势和场强张量构造作用量。其变分给出的方程正是麦克斯韦方程组的拉格朗日形式。由于这种写法具有良好的对称结构，它成为经典场论与相对论表述中的标准模板。
5.3 规范场理论中的作用量
规范场理论中的作用量以局域对称性为核心，通常包含规范场本身及其与物质场的耦合项。通过设计合适的拉格朗日密度，可以统一描述不同相互作用的几何结构，并自然导出相应的场方程。
5.4 相对论性场论表述
在相对论框架下，作用量通常要求具有洛伦兹不变性。时空积分的形式使物理定律不依赖于具体参考系，从而与狭义相对论的基本要求保持一致。这种表述在现代粒子物理和高能理论中极为常见。
6 对称性与守恒律
6.1 诺特定理
诺特定理建立了作用量不变性与守恒律之间的深刻联系。它指出，若作用量在某种连续对称变换下保持不变，则系统必然存在对应的守恒量。该结果被视为现代理论物理的基础性结论之一。
6.2 连续对称性
连续对称性包括时间平移、空间平移、旋转等。若作用量对这些变换保持不变，便可分别导出能量、动量和角动量守恒。这说明作用量不仅描述动力学，也编码了系统的结构性信息。
6.3 离散对称性
除连续对称性外，作用量还可能体现离散对称性，如反演、时间反演或某些变换下的不变性。虽然离散对称性未必直接对应传统的连续守恒量，但它们对理论结构的限制同样重要。
6.4 守恒量的推导
通过对作用量施加对称变换并计算其变化，可以系统地得到守恒量表达式。这个过程通常结合欧拉-拉格朗日方程与边界条件，最终构造出与对称性相联系的守恒流或守恒荷。
7 量子理论中的作用量
7.1 路径积分形式
在量子理论中，作用量进入路径积分表述后，成为决定振幅权重的关键量。不同路径的贡献通常带有指数相位因子，而作用量的大小直接影响它们的叠加效果。这一形式把经典轨迹与量子涨落联系了起来。
7.2 量子力学中的作用量
在量子力学框架下，作用量仍可用于描述粒子的演化。经典路径对应作用量驻值附近的主导贡献，而非经典路径则体现量子不确定性。借助作用量，可以更直观地理解量子相位和干涉现象。
7.3 量子场论中的作用量
量子场论通常以作用量作为基本输入，再通过量子化方法构造散射振幅和关联函数。作用量的形式决定了粒子的动力学、相互作用类型以及理论的对称结构，因此是整个理论建立的起点。
7.4 半经典近似
在半经典近似中，作用量的驻值路径给出主要贡献，而围绕该路径的小波动则提供修正项。这种方法常用于隧穿、散射以及复杂系统的近似计算中，兼具物理直观与数学可操作性。
8 相关概念
8.1 拉格朗日量
拉格朗日量是构造作用量的基本被积函数，通常反映系统的瞬时动力学特征。它与作用量的关系类似于局部描述与整体描述之间的关系。
8.2 哈密顿量
哈密顿量与拉格朗日量互相关联，通常对应系统的总能量或正则形式下的动力学生成元。虽然它与作用量不同，但二者在变换理论和动力学描述中密切相关。
8.3 泛函
泛函是把函数映射到标量的映射，作用量就是其典型例子。理解泛函的性质，是理解作用量理论的前提之一。
8.4 驻值原理
驻值原理是变分法中的基本原则，强调系统所遵循的路径使某个量的一阶变分为零。作用量理论中的运动方程，正是由这一原则导出的。
9 应用与扩展
9.1 经典力学应用
在经典力学中，作用量方法可用于处理粒子运动、刚体转动、振动系统和天体轨道等问题。与逐项分析受力相比，作用量方法更适合处理复杂约束和多自由度系统。
9.2 工程优化中的类比
作用量思想也常被借用于工程优化与控制理论中。虽然工程问题不一定直接使用物理作用量，但“整体最优”“路径最优”“目标泛函最小化”等思路与其具有明显类比关系。
9.3 数值计算中的离散作用量
在数值模拟中，可将连续作用量离散化，转化为离散时间或离散空间上的求和形式。这样既便于计算，也有助于保留原问题的结构特征，减少数值误差对守恒性质的破坏。
9.4 离散力学与变分积分器
离散力学通过离散化作用量建立数值算法，变分积分器则是在离散变分框架下构造的计算方法。此类方法通常具有较好的长期稳定性，尤其适合模拟需要保持几何结构和守恒特性的动力系统。