1 基本概念
拉格朗日密度是描述连续场系统动力学的基本量，通常用符号 \(\mathcal{L}\) 表示。它将系统在时空中的局域行为编码为一个标量函数，再通过对整个时空积分得到作用量，从而把运动规律转化为可处理的变分问题。与只适用于有限个自由度的拉格朗日量相比，拉格朗日密度更适合描述场、介质和连续分布的物理对象。
1.1 定义与符号
拉格朗日密度通常依赖于场变量及其一阶导数，例如 \(\phi(x)\)、\(\partial_\mu \phi(x)\) 等。对给定理论而言，它不只决定自由演化，也规定了不同场之间如何发生相互作用。一般约定中，\(\mathcal{L}\) 的空间积分得到拉格朗日量，而再对时间积分则得到作用量。
1.1.1 拉格朗日量与拉格朗日密度的区别
拉格朗日量是系统在某一时刻的整体描述，常记作 \(L\)，适用于粒子或少自由度体系。拉格朗日密度则是其连续极限下的局域版本，记作 \(\mathcal{L}\)，具有“单位体积”的意义。对场论而言，通常先写出拉格朗日密度，再通过对空间积分构造拉格朗日量。
1.1.2 常用记号与单位约定
在相对论性理论中，常使用自然单位制，使 \(c=\hbar=1\)，便于统一处理能量、长度与时间的量纲。时空指标通常记为 \(\mu,\nu\)，空间指标可记作 \(i,j\)。不同文献在度规符号约定上可能略有差异，但只要全篇保持一致即可。
1.2 作用量原理
作用量原理是由拉格朗日密度建立动力学方程的核心方法。它通过考察作用量在允许变分下的驻值条件，直接导出场方程和守恒关系，是现代理论物理的基础工具之一。
1.2.1 从拉格朗日密度到作用量
对给定时空区域，作用量定义为 \[ S=\int d^4x\,\mathcal{L}. \] 这里 \(d^4x\) 表示四维时空体元。若理论存在多个场，则 \(\mathcal{L}\) 可写成这些场及其导数的组合，积分后得到整个体系的总作用。
1.2.2 最小作用量原理
最小作用量原理更准确地说是“驻作用量原理”。系统的真实演化路径使作用量的一阶变分为零，即 \(\delta S=0\)。这一条件将问题从寻找具体轨迹转化为求解微分方程，因而在场论、粒子物理与连续介质中都极为常用。
1.3 与经典力学的联系
拉格朗日密度并不是凭空出现的概念，而是从经典力学中的拉格朗日形式自然推广而来。其本质仍然是用统一的函数来表达动力学，只是对象从有限个坐标变成了分布在空间中的场。
1.3.1 离散自由度到连续场的推广
在经典力学中，粒子的位置由有限个广义坐标描述；在场论中，系统的状态则由空间中每一点的场值描述。可以把场看作“无穷多个自由度”的集合，因此粒子力学中的求和结构往往对应为场论中的积分结构。
1.3.2 广义坐标与场变量的对应关系
广义坐标描述体系的独立构型参数，场变量则描述某一时空点上的局域状态。两者在形式上都承担“变量”的角色，只是前者依赖时间，后者同时依赖时间与空间。由此，粒子系统中的速度、动能等概念在场论中分别对应场的时间导数和导数项。
2 数学形式
拉格朗日密度的具体形式取决于所研究的场类型和理论对称性。一般来说，它由自由项、质量项、相互作用项以及必要的约束项组成，并要求在给定的对称变换下保持适当不变性。
2.1 一般表达式
一个理论的拉格朗日密度往往可写成若干局域项的线性组合。最常见的结构是“动能项减去势能项”，但在场论中这一表述会因场的类型不同而表现为导数项、质量项和相互作用项的组合。
2.1.1 标量场的拉格朗日密度
对实标量场 \(\phi\)，常见形式为 \[ \mathcal{L}=\frac{1}{2}\partial_\mu\phi\,\partial^\mu\phi - V(\phi). \] 其中第一项描述传播与梯度变化，第二项由势函数给出。若场具有自相互作用，势函数中通常会包含高次幂项。
2.1.2 矢量场的拉格朗日密度
矢量场的拉格朗日密度通常涉及场强张量。对于电磁场，典型形式是由 \(F_{\mu\nu}F^{\mu\nu}\) 构成的二次项。若是一般矢量场，还可能加入质量项或规范约束，以控制自由度数量。
2.1.3 旋量场的拉格朗日密度
旋量场用于描述费米子，其拉格朗日密度通常包含狄拉克矩阵和协变导数。自由狄拉克场的形式可写为 \[ \mathcal{L}=\bar{\psi}(i\gamma^\mu\partial_\mu-m)\psi. \] 该表达式兼顾了相对论性和量子理论所需的自洽结构。
2.2 导数项与相互作用项
从结构上看，拉格朗日密度可分为描述传播的导数项，以及描述场与场之间耦合的相互作用项。二者共同决定系统的动力学行为。
2.2.1 动能项
动能项通常含有场的一阶导数平方，体现场在时空中的变化率。它决定传播速度、波动性质和局域响应，是自由场理论中最基本的组成部分。
2.2.2 势能项
势能项一般只依赖场本身，不含导数。它决定真空态、稳定性以及可能的平衡构型。对于标量场，势函数的形状尤其重要，因为它直接关系到粒子质量和自发对称性破缺等现象。
2.2.3 非线性相互作用项
非线性项通常以高阶幂、乘积项或非阿贝尔耦合的方式出现。它们使场之间发生耦合，导致散射、束缚、集体激发等复杂行为。若没有这些项，许多理论只能描述自由传播，而难以刻画真实物理过程。
2.3 协变形式
为了适应相对论性要求，拉格朗日密度通常写成协变形式，使其在洛伦兹变换下保持形式不变。这样不仅便于表达，也能保证方程具有统一的时空结构。
2.3.1 洛伦兹协变性
洛伦兹协变性要求物理定律在不同惯性系下保持一致。拉格朗日密度若是洛伦兹标量，则由它导出的作用量在相对论框架中具有良好性质。这一要求在高能物理和基本场论中尤为重要。
2.3.2 指标升降与度规
场论中常使用度规张量 \(g_{\mu\nu}\) 来升降指标并定义内积。不同的指标位置对应不同的物理量表示方式，而拉格朗日密度的协变写法依赖于这一套记号体系。通过度规，可以统一处理时间分量与空间分量。
3 变分原理与运动方程
拉格朗日密度最重要的用途之一，是通过变分法导出场的运动方程。只要给出合适的边界条件，对 \(\mathcal{L}\) 的变分就能得到系统的动力学方程和守恒律。
3.1 欧拉-拉格朗日方程
欧拉-拉格朗日方程是由驻作用量条件直接推出的偏微分方程，是场论中最核心的计算公式之一。它把“给定拉格朗日密度”与“求出运动规律”连接起来。
3.1.1 场的欧拉-拉格朗日方程
对于场变量 \(\phi\)，欧拉-拉格朗日方程通常写作 \[ \frac{\partial \mathcal{L}}{\partial \phi}-\partial_\mu\left(\frac{\partial \mathcal{L}}{\partial (\partial_\mu\phi)}\right)=0. \] 若体系包含多个场，则每个场都对应一条类似方程。该形式广泛适用于标量场、矢量场和旋量场。
3.1.2 边界项的处理
在变分过程中，对导数项积分分部会产生边界项。通常要求场在边界上满足固定或衰减条件，使这些项消失，从而保证变分推导成立。若边界本身具有物理意义，则边界项也可能携带额外信息。
3.2 守恒定律
守恒定律并不是额外添加的规则，而是对称性通过拉格朗日密度自然产生的结果。诺特定理提供了它们之间的精确联系。
3.2.1 诺特定理
诺特定理指出，若拉格朗日密度在某种连续变换下不变，则存在对应的守恒流。该结论把对称性与守恒量直接联系起来，是现代理论物理中最深刻的原理之一。
3.2.2 能量-动量守恒
当拉格朗日密度对时空平移不显含坐标时，体系通常具有能量和动量守恒。对应的能量-动量张量可用于描述能量流、动量流以及场对时空的局域贡献。
3.2.3 电荷守恒与流守恒
若理论具有全局相位对称性，则常出现电荷守恒。更一般地，流守恒方程 \(\partial_\mu j^\mu=0\) 描述某种局域量在时空中的连续传输，适用于粒子数、电荷或其他守恒量的表述。
3.3 场方程的推导
根据具体的 \(\mathcal{L}\)，可以系统地推导出自由场和相互作用场的方程。这一过程是理论构建与物理解释之间的关键环节。
3.3.1 自由场方程
自由场对应于没有显式相互作用的情形。此时拉格朗日密度主要由动能项和质量项构成，导出的方程通常是线性的，例如波动方程、克莱因-戈尔登方程或狄拉克方程。
3.3.2 带相互作用场方程
当加入耦合项后，场方程会变为非线性形式，反映出粒子间交换、场自作用或外场影响。此类方程更难求解，但也是描述真实体系不可或缺的一部分。
4 对称性与规范结构
拉格朗日密度的结构往往由对称性原则决定。对称性不仅限制可写出的项，还决定是否需要引入规范场、约束条件以及额外自由度。
4.1 全局对称性
全局对称性指变换参数在整个时空中保持一致。它通常对应某种整体守恒量，是构造理论时最直观的约束之一。
4.1.1 平移对称性
若拉格朗日密度不显含时空位置，则理论对平移不变。这意味着体系不依赖于绝对位置或时刻，从而导出能量和动量守恒。
4.1.2 旋转对称性
旋转对称性要求物理规律对空间方向的改变保持不变。它对应角动量守恒，并广泛出现在粒子物理、天体物理和连续介质模型中。
4.1.3 内部对称性
内部对称性作用于场的“内部空间”而非时空本身。最常见的是相位对称性、同位旋对称性等，这类结构常直接决定可允许的相互作用形式。
4.2 局域对称性
局域对称性允许变换参数依赖于时空位置，因此比全局对称性更严格，也更具有约束力。为了保持理论不变性，通常需要引入规范场和协变导数。
4.2.1 规范变换
规范变换是保持物理内容不变的一类局域重参数化。虽然场变量本身改变，但可观测量不变。规范自由度因此常被视为理论中的冗余描述。
4.2.2 协变导数
普通导数在局域变换下通常不保持良好变换性质，因此要用协变导数替代。协变导数通过加入规范连接项，使导数后的对象仍按既定方式变换。
4.2.3 规范场引入
为了实现局域对称性，理论中会引入规范场。它们既是保持对称性的补偿量，也是实际可观测的动力学自由度。电磁场和杨-米尔斯场都是典型例子。
4.3 约束与冗余自由度
含规范对称性的理论常存在变量冗余，需要通过适当方法识别真实物理自由度。否则方程形式虽完整，物理解释却可能不够清晰。
4.3.1 规范固定
规范固定是从多个等价描述中选取一个代表的过程。它有助于简化方程、避免重复计数，并在量子化过程中减少计算歧义。
4.3.2 物理自由度识别
物理自由度是实际可独立测量或演化的变量。通过约束分析和规范处理，可以区分真正传播的模式与纯粹的坐标冗余。
5 典型理论中的拉格朗日密度
不同物理理论的拉格朗日密度具有各自的标准形式，但在结构上又彼此关联。许多复杂理论都可以看作基本场的组合与耦合。
5.1 标量场理论
标量场理论是最简单也最常见的场论模型之一。它常被用于演示变分原理、对称性与相互作用的基本结构。
5.1.1 自由实标量场
自由实标量场的拉格朗日密度通常写为动能项减去质量项，导出的方程为克莱因-戈尔登方程。它是研究波动传播和量子化入门的标准模型。
5.1.2 复标量场
复标量场具有额外的相位自由度，因而常伴随全局 \(U(1)\) 对称性。其拉格朗日密度除包含导数项外，还可自然引入电荷守恒结构。
5.1.3 相互作用标量场
相互作用标量场通常含有 \(\phi^4\) 或更高次项。此类模型用于研究非线性现象、临界行为以及有效理论中的低能近似。
5.2 电磁场理论
电磁场理论是最经典的规范场论实例。其拉格朗日密度高度简洁，却能够完整导出麦克斯韦方程组。
5.2.1 麦克斯韦拉格朗日密度
麦克斯韦拉格朗日密度一般写为 \[ \mathcal{L}=-\frac{1}{4}F_{\mu\nu}F^{\mu\nu}, \] 并在与电流耦合时加入 \(J^\mu A_\mu\) 项。该形式体现了电磁场的局域传播和规范不变性。
5.2.2 电磁势与场张量
电磁势 \(A_\mu\) 是规范变量，场张量 \(F_{\mu\nu}\) 则是由势的导数构成的可观测组合。后者消除了部分规范冗余，使物理内容更清晰。
5.3 狄拉克场理论
狄拉克场描述相对论性费米子，是旋量场理论的标准范例。它不仅刻画粒子自旋，还自然引入反粒子结构。
5.3.1 自由狄拉克拉格朗日密度
自由狄拉克场的拉格朗日密度由 \(\bar{\psi} i\gamma^\mu\partial_\mu\psi\) 和质量项组成。其运动方程是狄拉克方程，兼顾相对论性与量子力学要求。
5.3.2 手征结构
手征结构把旋量分解为左右分量，常在弱相互作用和高能极限中发挥重要作用。手征对称性是否保持，往往会影响质量生成与相互作用的类型。
5.4 规范场理论
规范场理论以局域对称性为核心，统一描述基本相互作用的许多重要机制。其拉格朗日密度通常比电磁场更复杂，包含自相互作用项。
5.4.1 杨-米尔斯拉格朗日密度
杨-米尔斯拉格朗日密度是非阿贝尔规范场的基本形式，通常由场强张量平方构成。它是现代粒子物理中最重要的理论结构之一。
5.4.2 非阿贝尔相互作用
与阿贝尔理论不同，非阿贝尔规范场本身也携带“电荷”并彼此作用。由此产生的自相互作用使理论结构更丰富，也带来更复杂的动力学。
5.5 标准模型中的组成
标准模型的拉格朗日密度由规范项、费米子项和质量相关项共同构成。尽管细节复杂，但整体上仍遵循“对称性约束下的局域场论”这一基本原则。
5.5.1 规范项
规范项描述相互作用媒介场的动力学，例如规范玻色子的传播与自耦合。它们是标准模型中最基础的结构之一。
5.5.2 费米子项
费米子项刻画夸克和轻子等物质场的运动，并通过协变导数与规范场耦合。其形式通常包含旋量结构和手征投影。
5.5.3 质量项与耦合项
质量项和耦合项决定粒子的惯性特征及不同场之间的联系。它们在理论中受到对称性限制，因此并非任意添加，而需满足整体一致性。
6 物理性质与应用
拉格朗日密度不仅用于写出方程，还为量子化、微扰计算和有效理论提供统一起点。它的应用范围从基本粒子到凝聚态系统都十分广泛。
6.1 量子化基础
场论的量子化通常从拉格朗日密度出发。无论采用正则量子化还是路径积分方法，\(\mathcal{L}\) 都是最初的输入数据。
6.1.1 正则量子化
正则量子化先由拉格朗日密度导出共轭动量，再将场与动量提升为算符。这样可以建立基本对易关系，并进一步构造量子态空间。
6.1.2 路径积分表述
路径积分把量子振幅写成对所有场配置的求和，权重由 \(e^{iS}\) 给出。该方法与拉格朗日密度天然匹配，尤其适合处理对称性和微扰展开。
6.2 微扰展开
当相互作用较弱时，可以围绕自由场理论对拉格朗日密度进行展开，从而得到一套可计算的近似方法。这是高能物理中最常用的技术之一。
6.2.1 顶角与费曼规则
相互作用项决定顶角结构，进而给出费曼图中的规则。由拉格朗日密度直接读出传播子和顶角后，便可系统计算物理过程。
6.2.2 散射振幅
散射振幅描述粒子碰撞和转化概率，是实验可检验量的重要来源。拉格朗日密度中的耦合强度与结构类型，直接影响振幅的大小和形式。
6.3 有效场论
有效场论关注某一能标下的低能物理，而不必追求最底层的完整理论。拉格朗日密度在这里体现为一套按重要性排序的算符展开。
6.3.1 低能近似
在低能近似中，高能自由度被“积分掉”或以参数化方式体现。保留下来的拉格朗日密度只需准确描述当前能区内的主要现象。
6.3.2 高维算符
高维算符通常被视为受抑制的修正项，按能标倒数展开。它们在基础理论之外提供了更一般的相互作用形式，也常用于现象学分析。
6.4 连续介质与凝聚态模型
拉格朗日密度的思想并不局限于高能物理，在流体和凝聚态中同样有重要作用。许多宏观模型都可写成场的连续形式。
6.4.1 流体力学中的场论形式
流体力学可通过密度、速度场和压强场等变量构造拉格朗日密度。这样做有助于统一处理守恒律、波动模式和涡旋等现象。
6.4.2 晶格模型的连续极限
晶格体系在长波极限下常可转化为连续场论。此时离散自由度被平滑化，原先的格点相互作用对应为局域导数项或有效耦合项。
7 历史与发展
拉格朗日密度的思想来源于更早的力学与变分法传统，随后在相对论和量子理论中逐步成熟，最终成为现代物理建模的通用语言。
7.1 经典力学起源
场论中的拉格朗日密度可以追溯到经典力学中的拉格朗日形式。其核心思路是用一个统一的标量函数概括动力学，而非直接追踪每个力的分量。
7.1.1 拉格朗日与哈密顿框架
拉格朗日框架强调坐标与速度，哈密顿框架则转向坐标与动量。二者在数学上相互联系，也共同构成经典和量子理论的重要基础。
7.1.2 变分法的发展
变分法为从极值问题导出运动方程提供了通用手段。随着数学工具不断成熟，这一方法从几何和力学领域扩展到热学、光学与场论。
7.2 现代场论的形成
进入相对论时代后，物理学对时空统一描述的需求推动了场论形式的发展。拉格朗日密度因此成为构建相对论性理论的自然语言。
7.2.1 相对论场论
相对论场论要求方程在洛伦兹变换下形式不变。为了满足这一条件，拉格朗日密度必须采用协变写法，并与时空结构紧密配合。
7.2.2 量子场论的建立
量子场论将场提升为基本对象，粒子则视为场的量子激发。拉格朗日密度在其中不仅决定运动方程，也决定相互作用和散射规律。
7.3 当代研究方向
当代物理中，拉格朗日密度仍是理论构造的核心工具。研究重点往往集中在如何更有效地写出满足对称性和实验约束的模型。
7.3.1 有效理论构造
有效理论构造强调在给定能标下选择最相关的自由度和算符。拉格朗日密度在这里像一份“工作清单”，列出所有允许且重要的项。
7.3.2 对称性驱动的模型设计
许多现代模型先从对称性出发，再反推允许的拉格朗日项。这种方法既能减少任意性，也有助于在复杂系统中保持理论的统一性和可检验性。