变分法：最小作用量原理的数学表达

数学家:约瑟夫·路易·拉格朗日

1696年，约翰·伯努利在《教师学报》上提出一个问题：给定不在同一铅垂线上的两点A和B，一个质点在重力作用下从A滑到B，沿什么曲线运动时间最短？这就是著名的最速降线问题。

伽利略曾猜测答案是圆弧，但正确答案是摆线。牛顿、莱布尼茨、洛必达等人各自给出了解法，而真正将这类问题系统化的，是欧拉和拉格朗日——他们创立了一门全新的数学分支：变分法

变分法的核心思想极其深刻：它不研究函数在某一点的极值，而是研究函数的函数——泛函——在无穷多条候选路径中取极值的条件。这一思想后来成为整个理论物理的数学骨架，从经典力学到量子场论，最小作用量原理的每一次表达，都是变分法的一次应用。

从函数极值到泛函极值

普通微积分研究的是函数 f(x) 的极值：给定一个自变量 x，函数返回一个数值，求 x 取何值时 f(x) 最大或最小。

极值条件是一阶导数为零：f'(x) = 0。

变分法研究的对象完全不同

考虑一个积分量：S[y] = ∫(x₁到x₂) L(x, y, y') dx这里的 y 不是一个数，而是一条完整的函数曲线。给定一条曲线 y(x)，代入积分，得到一个数值 S。这种"函数进去，数值出来"的映射，叫做泛函（functional）。

最速降线问题中，S 就是滑行时间，不同的下滑曲线对应不同的 S，我们要找使 S 最小的那条曲线。悬链线问题、测地线问题、等周问题，本质上都是同一类泛函极值问题。关键困难在于：

构成一个无穷维的函数空间

候选曲线有无穷多条

普通微积分中"对 x 求导并令其为零"的方法在这里失效了——我们需要一种新的"导数"概念，用来衡量泛函在某条曲线附近随曲线微小形变的变化率。

这就是变分（variation）。

设 y(x) 是一条候选曲线，给它一个微小扰动 εη(x)，其中 ε 是小参数，η(x) 是任意满足边界条件为零的光滑函数。扰动后的曲线是 y(x) + εη(x)，对应的泛函值为 S[y + εη]。将其视为 ε 的函数在 ε = 0 处展开：

S[y + εη] = S[y] + ε·δS + O(ε²)

其中一阶项系数 δS 就是泛函的一阶变分。极值的必要条件是：对任意允许的扰动 η，一阶变分都为零，即 δS = 0。这一条件等价于普通微积分中 f'(x) = 0，只不过现在的"自变量"是整条函数曲线。

欧拉-拉格朗日方程

简δS = 0 是一个抽象条件，如何将其转化为可以实际求解的微分方程？

欧拉和拉格朗日给出了答案。对泛函 S[y] = ∫L(x, y, y') dx 取变分，将 L 在 (y, y') 附近做泰勒展开并保留一阶项：

δS = ∫(∂L/∂y · δy + ∂L/∂y' · δy') dx

其中 δy = εη，δy' = εη'。

对第二项做分部积分：

∫(∂L/∂y')·δy' dx = [(∂L/∂y')·δy]

边界 − ∫(d/dx(∂L/∂y'))·δy dx

由于边界处 δy = 0（端点固定），边界项消失。

代入 δS = 0，得到：

∫[∂L/∂y − d/dx(∂L/∂y')]·δy dx = 0

这个等式对任意满足边界条件的 δy 都成立。根据变分法基本引理，被积函数中 δy 的系数必须恒为零。于是得到：∂L/∂y − d/dx(∂L/∂y') = 0

这就是欧拉-拉格朗日方程（Euler-Lagrange equation），变分法的核心定理。它将一个无穷维空间中的泛函极值问题，转化为一个

有限维的常微分方程边值问题

这个方程的威力在于其普适性。无论 L 是什么形式——代表时间、能量、弧长、面积——只要泛函取极值，极值曲线就必须满足欧拉-拉格朗日方程。最速降线、悬链线、测地线，都是同一个方程在不同 L 下的解。

推广到多变量和高阶导数的情形，方程形式自然扩展。对于含 n 个未知函数 y₁, ..., yₙ 的泛函，每个 yᵢ 都对应一个欧拉-拉格朗日方程，构成一个方程组。对于含高阶导数 y'', y''' 的泛函，方程中会出现更高阶的全导数项，但推导逻辑完全一致。

最小作用量原理

变分法从诞生之日起就与物理学深度绑定。1744年，莫佩尔蒂提出了最小作用量原理：自然界的任何运动，都使某个称为"作用量"的物理量取极值。欧拉和拉格朗日将这一原理严格数学化，建立了分析力学的拉格朗日表述。

在经典力学中

一个系统的状态由广义坐标 q₁, ..., qₙ 描述。

定义拉格朗日量 L = T − V，其中 T 是系统的动能，V 是势能。

定义作用量：S[q] = ∫(t₁到t₂) L(q, q̇, t) dt

这里 q(t) 是系统从时刻 t₁ 到 t₂ 的一条完整运动轨迹。作用量 S 是轨迹 q(t) 的泛函：给定一条轨迹，代入积分得到一个数值。

哈密顿最小作用量原理断言：在所有连接初始状态 q(t₁) 和末态 q(t₂) 的可能轨迹中，真实发生的物理轨迹使作用量 S 取极值（通常是极小值，也可能是鞍点）。即δS = 0。

应用于作用量泛函立即得到

将欧拉-拉格朗日方程

∂L/∂qᵢ − d/dt(∂L/∂q̇ᵢ) = 0 （i = 1, ..., n）

这就是拉格朗日运动方程。

对于单个质点在势场 V(q) 中的运动

L = ½m q̇² − V(q)

代入方程得到 m q̈ = −∂V/∂q

正是牛顿第二定律 F = ma。

这意味着：牛顿力学可以完全从最小作用量原理推导出来。但拉格朗日表述比牛顿表述强大得多——它不依赖于具体的坐标系选择，在广义坐标下形式不变；它可以统一处理约束系统、连续介质、场论等牛顿方法难以处理的问题。

更重要的是，最小作用量原理不是经典力学独有的。整个理论物理的基本方程，都可以写成某个作用量的变分极值条件。

在电磁学中

电磁场的作用量密度为 L = −¼FᵤᵥFᵘᵛ − AᵤJᵘ

对其取变分得到麦克斯韦方程组。

在广义相对论中

爱因斯坦-希尔伯特作用量 S = ∫R√(−g) d⁴x

对度规 gᵤᵥ 取变分得到爱因斯坦场方程

在量子场论中，每一种基本相互作用都对应一个拉格朗日量，费曼路径积分正是对所有可能轨迹的作用量加权求和。

从经典力学到量子场论，物理定律的表达形式不断升级，但"作用量取极值"这一核心逻辑从未改变。变分法是这一逻辑的数学语言。

诺特定理：对称性与守恒律

变分法最深刻的推论之一，是1915年艾米·诺特证明的诺特定理：每一个连续对称性，都对应一个守恒量。

诺特定理的证明完全建立在变分法之上。考虑作用量 S = ∫L dt 在某个连续变换下的行为。如果变换使拉格朗日量最多改变一个全导数项（即作用量不变），则该变换是系统的一个连续对称性。

对对称性变换取无穷小形式，将变换参数视为时间的函数（这一技巧称为"诺特技巧"），代入作用量变分。由于真实轨迹满足 δS = 0，而对称性保证参数为常数时作用量不变，两者结合可以推出存在一个量 Q，其时间导数为零：dQ/dt = 0。

这个 Q 就是与该对称性对应的守恒量。

三个最基本的例子

时间平移对称性→ 能量守恒。如果拉格朗日量不显含时间 t（即物理定律不随时间变化），则系统的总能量 E = Σ q̇ᵢ(∂L/∂q̇ᵢ) − L 守恒。

空间平移对称性→ 动量守恒。如果拉格朗日量在空间平移下不变（即物理定律不随空间位置变化），则系统的总动量守恒。

空间旋转对称性→ 角动量守恒。如果拉格朗日量在空间旋转下不变（即物理定律各向同性），则系统的总角动量守恒。

诺特定理将"对称性"和"守恒律"这两个看似无关的概念，用变分法严格地联系在一起。在现代物理中，这一联系是构造新理论的核心工具：发现一个新的对称性，就意味着存在一个新的守恒量；反之，观测到一个守恒律，就暗示着背后存在某种对称性。

粒子物理中的规范对称性、电荷守恒、同位旋守恒，都是诺特定理的应用。甚至广义相对论中的能量-动量张量守恒，也可以从时空微分同胚对称性通过诺特定理导出。

变分法的思想内核

回顾变分法的整个逻辑链条，可以看到一个极其简洁的思想结构：

第一步，定义一个泛函——它将一条完整的路径/场/函数映射为一个数值。在物理中，这个泛函就是作用量。

第二步，对泛函取变分，令一阶变分为零——这是极值的必要条件

对应普通微积分中的 f'(x) = 0。

第三步，通过分部积分和变分法基本引理，将变分条件转化为欧拉-拉格朗日方程——这是可以实际求解的微分方程。

第四步，如果作用量具有连续对称性，诺特定理保证存在对应的守恒量。

这四步构成了

一个完整的方法论

从作用量出发，通过变分得到运动方程，通过对称性得到守恒律。整个理论物理的标准模型、广义相对论、弦论，都是这一方法论的具体实现。

变分法之所以如此强大，是因为它将"物理定律是什么"这个问题，转化为"自然界选择使哪个量取极值的路径"。

这是一种目的论式的表述——不是"因为受力所以运动"，而是"在所有可能的运动中，真实运动使作用量最小"。

这种表述不仅在数学上更简洁，而且揭示了物理定律更深层的结构：对称性、守恒律、作用量，三者通过变分法紧密交织在一起。

从最速降线到标准模型，从摆线到量子场论，变分法走过了三百年。

它的核心思想从未改变：在无穷多可能性中，真实世界是使某个量取极值的那一个。这不仅是一条数学定理，更是一种理解宇宙的方式。

—THE END—

编辑：fanye

来源：易读教育