玻尔百科为什么肥皂泡会形成球体？为什么光会沿着最快的路径传播？答案在于科学中最优雅的思想之一：最小作用量原理。该原理表明，宇宙的运行遵循着一种极其高效的原则。系统倾向于稳定在能优化某个量（如能量或时间）的状态。但是，一个系统如何“知道”怎样去实现这种全局优化呢？这个问题凸显了一个宏大的、总括性的原理与支配运动的局部的、一步步的规则之间的差距。而连接它们之间的桥梁，是一个强大的数学工具：首次变分。
本文旨在揭开能量首次变分的神秘面纱。首先，在“原理与机制”一章中，我们将剖析其数学工具箱，探讨如何对一整条路径进行“求导”，并从一个简单的要求——能量驻定——出发，推导出基本的测地线方程。随后，“应用与跨学科联系”一章将揭示这同一个概念如何为几何学、材料科学乃至量子世界中的物理定律提供蓝图。
你是否曾想过，为什么光以直线传播？或者为什么当你把肥皂泡从溶液中拉出时，它会瞬间变成一个完美的球体？自然界，似乎是极其“懒惰”的。它从不浪费精力。一束光从 A 点传播到 B 点，会遵循耗时最少的路径。一个肥皂膜会扭曲成在给定边界下表面积最小的形状。这个总括性的思想，被称为最小作用量原理，或者更普遍地称为变分原理，是整个科学中最优美、最强大的概念之一。它表明，支配宇宙的法则可以被理解为系统寻求优化某个单一全局量的结果，而非一系列局域的指令。
但系统如何“知道”哪条路径能最小化时间或能量呢？它并不会审视所有可能的路径然后挑选最佳的一条。答案在于一个优美的数学工具，它能将这种全局的“懒惰”转化为一个局域的、一步步的规则。实现这一魔力的工具就是首次变分，理解它就像学习书写这些深刻自然原理的语言。
让我们从一个简单的类比开始。想象你正站在一个广阔、有雾的山谷中，想找到最低点。你怎么知道你已经找到了呢？很简单：如果你朝任何方向迈出一小步，你的海拔都会增加。在最低点，地面是暂时平坦的。用微积分的语言来说，如果你的海拔由函数 给出，那么最低点就是导数 为零的地方。导数告诉你进行无穷小一步时变化率的大小。
现在，让我们升级这个问题。如果我们想找的不是最小化一个函数的单个点 ，而是最小化某个量的一整条路径，该怎么办？我们的“变量”不再是一个数字，而是一个完整的函数，比如说，一条连接 A 点和 B 点的曲线 。我们想要最小化的量，比如沿路径消耗的总能量，是一个“函数的函数”，我们称之为泛函。
我们如何求泛函的“导数”？我们使用与山谷中相同的思想。我们取我们的候选路径 ，并对其进行一点“微扰”。我们考虑一整族邻近的路径，可以写成 ，其中 是沿任何给定路径的参数，而 是我们新的“微扰”参数。当 时，我们得到原始路径，即 。随着 的变化，路径发生形变。在 时这种微扰的“方向”由路径上的一个向量场给出，即 ，称为变分向量场。
首次变分就是泛函关于这个微扰参数的导数在 处的值。它是所有可能路径组成的无限维空间中的“方向导数”。如果我们的原始路径 确实是最小化该泛函的路径，那么对于任何可能的微扰 ，这个首次变分都必须为零。就像在山谷中一样，任何微小的变化，在一阶上都必须不引起总“成本”的变化。
在像地球这样的曲面上，两点之间最直的路径是什么？我们称之为测地线。在球面上，它是大圆的一段弧。在平面上，它就是一条直线。直观上，这是长度最短的路径。因此，一个寻找测地线的自然方法是最小化长度泛函：
这里， 是路径的速度向量， 是它的大小，即速率。虽然这看起来很直接，但范数中隐藏的平方根（）使得计算异常繁琐。
物理学家和数学家通常更喜欢使用一个更简单但密切相关的泛函：能量泛函：
这看起来很像我们熟悉的动能公式 。事实证明，两者之间存在深刻的联系。如果一条路径以恒定速率参数化，那么最小化其能量等价于最小化其长度。正如我们将看到的，测地线天然具有这个性质。因此，通过寻找在数学上更友好的能量泛函的临界点，我们就可以找到我们寻求的测地线。在适当的条件下（特别是单位速率参数化），长度和能量的首次变分实际上是相同的。
现在，让我们寻找使能量的首次变分 等于零的路径。当我们计算 关于“微扰”参数 的导数时，经过流形上微积分的几个步骤，我们得到首次变分的表达式：
这个公式虽然正确，但并不那么有启发性。导数 作用在我们任意的微扰 上，而不是我们试图求解的路径 上。我们如何才能得到一个关于 的方程呢？
这时，一个我们熟悉的微积分工具——分部积分法——就成了一根魔杖。在弯曲流形上，该技巧是联络 与度规 相互作用方式的直接结果。应用它，我们可以将导数从 转移到 上。当我们这样做时，公式转变为两部分：一个积分和一个在路径边界上求值的项：
现在，我们施加一个关键条件。我们在寻找两个固定点（比如 和 ）之间的最优路径。这意味着无论我们如何微扰路径，其端点都必须保持不动。对于我们的变分向量场 来说，这意味着它在起点和终点必须为零： 和 。
看这对我们的公式做了什么！边界项 完全消失了。我们得到了一个更纯粹、更深刻的东西：
这就是著名的固定端点变分下的能量首次变分公式。
我们已经到达了一个关键时刻。我们的路径 成为能量临界点的条件是，对于任何（在端点处为零的）微扰 的选择， 都成立。这意味着无论我们代入什么样的 ，该积分都必须为零。要使之成立，唯一的可能是被积函数的另一部分在路径上处处为零。这给了我们运动方程，即路径在每一刻都必须遵守的局域规则：
这就是测地线方程。我们从一个全局原理——寻找最小化总能量的路径——出发，推导出了一个在每一点上都支配着路径的局域微分方程。项 是协变加速度；它是在弯曲空间上测量加速度的正确方式。测地线方程告诉我们，“最直的可能路径”是那些加速度为零的路径。
这可能看起来仍然很抽象，但它有一个非常直观的意义。如果你正沿着一条测地线行进，并在你当前位置选择特殊的坐标系（称为黎曼标准坐标），那么在该点和该瞬间，测地线方程会简化为我们熟悉的高中物理学中的直线方程：。在无穷小的一瞬间，测地线就是一条直线。空间的曲率只有在你继续前进时才会显现出来。
这种变分方法具有惊人的普适性。它是推导物理学中许多基本运动方程的蓝图。无论你是在寻找负载下弹性膜的形状，计算行星的轨道，还是寻找引力场中光线的路径，配方都是一样的：
如果端点不是固定的呢？例如，如果我们想要从一个点到一条线的最短路径呢？那样边界项就不会自动消失。相反，将变分设为零会迫使这些边界项自身为零，从而产生自然边界条件，比如要求测地线必须以直角撞击目标子流形。该原理优雅地处理了所有情况。
我们必须以一个虽小但重要的澄清来结束。首次变分法找到的是泛函的临界点。在微积分中，令 可以找到极小值、极大值和拐点。类似地，测地线是长度和能量泛函的临界点，但并不能保证是极小值点。
想象一下地球上的两点，比如纽约和马德里。最短的路径是一段大圆弧。这是一条测地线，它最小化了长度。但是你也可以沿着同一条大圆绕远路在它们之间旅行。这条长路径也是一条测地线——从二维曲面居民的角度来看，它完全是“直的”——但它肯定不是最短的路径。它是一个临界点，但不是一个极小值点。
为了区分这些情况——确定一条测地线是否是真正的极小值点——必须检验二次变分，这类似于二阶导数检验。这涉及到空间的曲率，并开启了一个关于稳定性和空间全局结构的全新而迷人的故事。但基本原理保持不变：运动定律和万物形态源于自然界简单、优雅而深刻的“懒惰”。
我们已经探索了能量首次变分的抽象机制，视其为识别系统“临界点”的工具。但这绝非纯粹的数学练习。这个单一而优雅的思想，如同一条金线，贯穿于宇宙的构造之中，将不同领域的科学缝合成一个连贯而优美的整体。它是自然的宏伟组织原则，它宣告在根本层面上，宇宙是极其“经济”的。从光线的路径到分子的结构，系统倾向于稳定在驻定能量的状态——极小值、极大值或鞍点。首次变分是我们寻找这些特殊驻定状态的数学“探寻棒”，在这些状态下，对于任何无穷小的推动，能量在一阶上都不会改变。现在，让我们来探索这个原理所揭示的一些壮丽景观。
两点之间最短的路径是什么？这个问题似乎简单得近乎幼稚。在黑板的平坦欧几里得世界里，答案当然是直线。但我们如何证明这一点？驻定能量原理提供了一个优美而深刻的答案。如果我们考虑两点之间所有可能的光滑路径，并计算它们的“能量”（一个与路径速度平方相关的量），我们会发现直线恰好是能量首次变分为零的路径。任何其他路径，比如对直线进行轻微摆动得到的路径，都会有更高的能量。直线是能量泛函的一个临界点。
这似乎有点杀鸡用牛刀，但当我们离开平坦的黑板，进入像球面这样的弯曲表面时，这种方法的力量就显而易见了。地球表面上没有“直线”。那么，飞机从纽约飞往东京最高效的路径是什么呢？变分原理毫不含糊地给出了答案。曲面上驻定能量的路径被称为测地线。在球面上，这些测地线就是大圆。通过计算首次变分，我们可以证明沿着大圆的路径是能量泛函的一个临界点。
反过来，如果我们考虑一条不是大圆的路径，比如一条纬线（赤道除外），我们会发现它的能量首次变分非零。 这个非零结果不仅仅是一个数字；它是曲线中的“张力”，是定量衡量将路径拉向更高效的测地线构型的力。它告诉我们，总能找到一条能量更低的邻近路径。这对于任何非测地线路径都成立，即使在平坦空间中也是如此。例如，平面上的圆形路径具有非零的能量变分，表明它在“抗拒”它“想要”成为的直线路径。 这个原理可以推广到任何可以想象的几何空间，包括奇怪的、非欧几里得的双曲空间，在那里它定义了在一个平行线会发散的宇宙中“直”意味着什么。 在每一种情况下，方程 都成为导航空间几何学的指南针。
变分原理的力量并不仅限于一维路径。它可以用来确定整个场的最佳构型——这些量在空间的每一点都有定义，比如房间里的温度或鼓面的位移。
想象一个拉伸的弹性膜，比如一个固定在金属圈上的肥皂膜。它会呈现什么形状？它会稳定在势能最小的构型。我们可以为流形上的抽象标量场 定义一个类似的“狄利克雷能量”，它基本上衡量了场中“拉伸”或“摆动”的总量。该能量的临界点——即首次变分为零的构型——被称为调和函数。这些函数满足拉普拉斯方程，。 这是一个深刻的联系：一个纯粹的几何最小化原理在数学上等价于物理学中最基本的偏微分方程之一，该方程支配着从静电学、引力到稳态热流的各种现象。
我们可以把这个想法再推进一小步。不考虑标量场（数值场），而是考虑一个向量场，它描述了一个从一个空间到另一个空间的映射，比如从一个平坦的圆盘到一个弯曲的球面。同样，我们可以为这样的映射定义一个能量泛函。该能量的临界点映射被称为调和映照。首次变分公式给了我们一个“张力场” ，它就像一个力场，试图将映射拉入调和构型。一个映照是调和的，当且仅当它的张力场处处为零。 这个强大的概念统一了我们之前的例子：测地线就是从一维区间出发的调和映照，而调和函数是映入实数这条平坦直线上的调和映照。即使是一个看似微不足道的情况，比如一个常数映射（将定义域的所有点都映到目标上的一个单点），也是一个调和映照，因为它的能量为零，任何微小的变分都不能使其减少。不出所料，它的首次变分为零。
这个原理不仅仅是数学上的奇珍；它是现实世界的引擎。宇宙在每一个尺度上，似乎都在解决一个巨大的优化问题。
在材料科学中，考虑两种不互溶液体（如油和水）的混合物。系统的构型可以用一个“相场”来描述，该场指定了每一点油的浓度。系统将演化以最小化其总自由能。这个能量，通常用 Ginzburg-Landau 泛函来描述，包含了惩罚混合和惩罚存在清晰界面的项。自由能泛函关于相场的首次变分定义了化学势，它是相分离的驱动力。平衡态，即形成美丽复杂的分离区域图案的状态，是在这个变分导数为零的地方找到的。
在固体力学中，材料中裂纹的扩展由裂纹尖端弹性能力释放的速率决定，这个量由著名的 J-积分计算。虽然背景不同，但变分思想仍然是关键。在一个巨大的、均匀的材料中，裂纹尖端的物理性质只取决于局部环境，而不取决于其在空间中的绝对位置。这种平移对称性意味着，如果我们计算 J-积分关于裂纹刚性平移的首次变分，结果将是零。能量释放率在平移下是不变的，这是通过变分视角揭示的系统底层对称性的深刻结果。
也许最深刻的应用在于量子世界。每一个原子和分子的结构——以及因此整个化学和生物学——都由电子排列成尽可能低的能量状态来决定。对于多电子系统，精确求解薛定谔方程是不可能的。Hartree-Fock 方法是现代计算化学的基石，它通过应用变分原理来解决这个问题。它通过在量子力学施加的约束下，最小化关于电子密度矩阵的能量泛函来近似系统的基态。能量最小值的条件，通过将首次变分设为零找到，是一个优美而紧凑的方程：。这个方程是一个自洽过程的核心，它使我们能够以惊人的准确性计算分子的电子结构。
从弯曲空间中的“最直”路径，到场的最光滑形状，再到物质本身的基本结构，驻定能量原理都真实不虚。它揭示了世界中隐藏的统一性，一种引导物理定律展开的深层逻辑。去寻找能量首次变分为零的状态，就是向自然询问它的计划。而令人瞩目的是，自然很多时候都愿意回答。