变分法 — 数学概念

一个直觉：不是找最好的"点"，而是找最好的"形状"

普通的微积分教你求一个函数的极值：给定 $f(x)$，找哪个 $x$ 让它最大或最小。决策变量是一个数。变分法把这件事提升了一个维度。它的决策变量不再是一个数，而是一整条曲线、一个函数。它要回答的是这样一类问题：在所有满足某些条件的曲线里，哪一条让某个总量最优？举几个例子你立刻就懂：

两点之间，哪条路径最短？（答案：直线——但"为什么是直线"恰恰需要变分法来回答。）
一根挂在两端的链子，会自然垂成什么形状？（答案：悬链线，因为它让重力势能最低。）
用固定长度的篱笆围地，怎么围面积最大？（答案：圆——古老的"等周问题"。）
肥皂膜为什么总是绷成那个特定的曲面？（因为它让表面积最小，表面张力最低。）

这些问题的共同结构是：自然界仿佛在所有可能的"形状"里，悄悄挑出了那个让某个量（时间、能量、长度、面积）取极值的形状。变分法就是把这种"在无穷多条曲线中选最优一条"的直觉，变成可计算的精确数学。

它从哪来：一道悬赏题点燃的革命

它的前奏，是一个流传了半个世纪的错误。伽利略在 1638 年的《关于两门新科学的对话》里断言：两端固定、自然下垂的链子会摆成一条抛物线。这个论断很有名，却是错的。1690 年，雅各布·伯努利（Jacob Bernoulli）把"求悬链真正形状"作为公开难题抛出。次年，惠更斯（Huygens）、莱布尼茨（Leibniz）与约翰·伯努利各自给出正解，一同发表在 1691 年的《教师学报》（Acta Eruditorum）上：那条曲线不是抛物线，而是双曲余弦 $y = \cosh(x)$ 的形状，惠更斯称它为"悬链线"（catenary）。

它之所以长这样，正因为它在所有等长的下垂形状里让重力势能最低——这已经是一个不折不扣的变分问题。变分法真正的诞生时刻紧随其后。1696 年，约翰·伯努利（Johann Bernoulli）向全欧洲数学家公开挑战一道题——最速降线问题（brachistochrone）：一个小球只受重力，要从高处的 A 点滑到低处的 B 点（B 不在 A 正下方），沿着什么形状的轨道滑下去，用时最短？

直觉上你可能猜直线（最短路径）。但这是错的。直线虽然短，却起步太慢。更陡的下坡能让球先快速积累速度，哪怕路程更长，总时间反而更短。正确答案出人意料：是一段摆线（cycloid）。

挑战书登在 1696 年 6 月的《教师学报》上，引来了那个时代所有顶级头脑。据牛顿家族的记述，牛顿在 1697 年 1 月 29 日下午收到题目，当晚就解了出来，次日清晨匿名寄给皇家学会（发表在《哲学汇刊》上）。约翰·伯努利读到那份不具名的解答，说作者"从爪子就认得出狮子"（ex ungue leonem）。莱布尼茨、洛必达、雅各布·伯努利也各自给出了解答。

更妙的是，最速降线的答案——摆线——和另一条名曲线撞了个满怀。惠更斯早在 1659 年就证明，摆线还是"等时曲线"（tautochrone）：不管从坡上哪一点放手，质点滑到最低处所用的时间都一样；他把这个结论写进了 1673 年的摆钟专著《摆动的时钟》里。同一条摆线，既"最快"又"等时"，这种巧合恰恰是变分问题深层结构的征兆。

这场智力盛宴让人们意识到：这里有一类全新的、值得系统研究的问题——不是优化一个数，而是优化一条曲线。真正把它系统化的是欧拉（Euler）和拉格朗日（Lagrange）。欧拉在 1744 年的专著《寻找具有极大或极小性质的曲线的方法》里建立了一般方法，但用的是繁琐的几何—多边形逼近。

1755 年，年仅 19 岁的拉格朗日写信给欧拉，提出一套纯用分析、引入"变分"算子（记作 $\delta$ ）的优雅做法，绕开了欧拉那套笨重的几何。欧拉对它推崇备至——正是为了致敬拉格朗日的"变分"（variation），他把这门新学科命名为"calculus of variations"（变分法）。

核心机制：欧拉-拉格朗日方程

变分法要优化的对象叫"泛函"（functional）——一个吃进函数、吐出一个数的机器。最常见的形式是一个积分：

$J[y] = \int_{a}^{b} L\big(x, y(x), y'(x)\big) \, dx$

我们要在所有端点固定（$y(a), y(b)$ 给定）的曲线 $y(x)$ 里，找让 $J[y]$ 取极值的那一条。核心思路与普通微积分一脉相承：在极值点，做微小扰动时一阶变化应当为零。普通微积分里这叫"导数为零"，变分法里叫"一阶变分为零"。具体做法是：设想最优曲线是 $y(x)$，把它轻轻扰动成 $y(x) + \varepsilon \, \eta(x)$ （其中 $\eta$ 在端点为零，保证端点不动），然后要求 $J$ 对 $\varepsilon$ 在 $\varepsilon = 0$ 处的导数为零。

经过分部积分整理，这个条件等价于一个微分方程必须处处成立——这就是著名的欧拉-拉格朗日方程：

$\frac{\partial L}{\partial y} - \frac{d}{dx}\left( \frac{\partial L}{\partial y'} \right) = 0$

这是变分法的心脏。它把一个"在无穷维曲线空间里找最优"的难题，转化成了一个普通的微分方程——而微分方程我们是会解的。两点间最短路径、悬链线、最速降线，全都是把对应的 $L$ 代入这个方程后解出来的。

微妙之处：极值不一定是最小，必要不等于充分

这里有几个常被忽略、却至关重要的细节。

第一，欧拉-拉格朗日方程只是必要条件。 它找出的是"驻点"曲线（一阶变分为零），但驻点可能是最小、最大，甚至既非最小也非最大（鞍点）。要确认真的是最小值，还需要二阶条件（如勒让德条件、雅可比条件），这与普通微积分里区分极大极小如出一辙，只是技术上复杂得多。

第二，"极值是否存在"本身是个深坑。 19 世纪曾有一个著名的疏漏：黎曼（Riemann）1851 年用"狄利克雷原理"（假设能量泛函的最小值一定存在）去证明黎曼映照定理等结果。1870 年 7 月 14 日，魏尔斯特拉斯（Weierstrass）在柏林科学院当众抛出一个反例——一个有下确界、却根本取不到最小值的泛函，戳穿了这条想当然的原理。

这场危机推动了"直接方法"和泛函分析的发展：人们必须严格地讨论在什么样的函数空间里、用什么样的紧性，才能保证极值确实存在。希尔伯特（Hilbert）在 1900 年前后用直接方法部分挽救了狄利克雷原理；而且在他那份著名的 1900 年"23 个问题"清单里，第 23 问题干脆就是一句号召——把整门变分法继续发展下去（连同关注解的存在性与正则性的第 19、20 问题）。变分法因此从一套计算技巧，升级为一门关于无穷维空间上优化的严肃理论。

第三，约束让问题更丰富。 等周问题（周长固定求最大面积）是带约束的变分问题，需要用"拉格朗日乘子"的无穷维版本来处理，这与有限维最优化中的拉格朗日乘数法完全同源。

"先证明极小元存在、再去求它"这套纲领，后来结出过一枚耀眼的果实。早在 1760 年，拉格朗日就提出了极小曲面问题：给定空间里一条闭曲线，求张在它上面、面积最小的那张曲面。19 世纪的比利时物理学家约瑟夫·普拉托（Joseph Plateau）用铁丝框蘸肥皂液反复实验，肥皂膜每次都自动绷成那张面积最小的曲面，于是这个问题被叫作"普拉托问题"。

它的一般存在性直到 1930 年前后，才由杰西·道格拉斯（Jesse Douglas）和蒂博尔·拉多（Tibor Radó）各自独立攻克。道格拉斯也因此在 1936 年与阿尔福斯（Ahlfors）一同获得了史上第一届菲尔兹奖。一块肥皂膜背后，藏着一个让数学家追了一百七十年的变分问题。

它为什么如此深刻：最小作用量与对称性

变分法真正震撼之处，在于它似乎是大自然书写物理定律的母语。

18 世纪的莫培督和后来的哈密顿、拉格朗日发现：整个经典力学可以用一条变分原理统一概括——最小作用量原理。一个物理系统从一个状态演化到另一个状态，走的是让"作用量"（动能减势能在时间上的积分）取极值的那条路径。牛顿三大定律，竟然只是这条单一变分原理的推论。光走最快的路（费马原理）、肥皂膜取最小面积、行星绕日的轨道——表面上风马牛不相及的现象，底层是同一句话：自然偏爱极值。

更惊人的是埃米·诺特（Emmy Noether）1918 年的发现。她严格证明：变分问题的每一种连续对称性，都对应一条守恒定律。 作用量在时间平移下不变 $\Rightarrow$ 能量守恒；在空间平移下不变 $\Rightarrow$ 动量守恒；在旋转下不变 $\Rightarrow$ 角动量守恒。物理学里那些神圣的守恒律，原来都是变分法与对称性联姻的孩子。诺特定理至今仍是理论物理（从经典力学到量子场论、规范理论）最深刻的支柱之一，而它的根，就扎在变分法的土壤里。

跨域连接

最优化：有限维找极值是令梯度为零，无穷维找极值是令一阶变分为零，两者是同一句话在不同维数上的写法；带约束时拉格朗日乘子也照搬成无穷维版本。推论是：把函数空间离散成有限个节点，变分问题就退化为有限维优化，节点加密时两条路线的最优解必须互相靠拢——这正是有限元敢用的理由。
拉格朗日力学：整个经典力学可以压缩成一句"作用量取极值"，牛顿方程反而是它的推论。由此可推出：换一组广义坐标，作用量这个标量不变，运动方程的形式也不变——所以极坐标与直角坐标写出的方程必然等价，不必各推一遍。
量子化学：变分原理说任何试探波函数算出的能量都不会低于真实基态能量，于是"能量更低"成了可靠的优化方向。推论是：扩大基组时算得的能量必须单调下降；若某次计算反而升高，那一定是数值或收敛出了问题，而不是找到了更好的波函数。
动态规划：贝尔曼递推与欧拉-拉格朗日方程是同一原理的两副面孔——最优轨迹的任何一段自身也必须最优。因此只要问题满足这条子路径最优性，就能用逐步递推代替解变分方程；反过来，一旦目标里出现依赖整条路径的项，递推立刻失效。
经济增长：最优储蓄不是逐期挑一个数，而是在整条消费轨迹上取极值，一阶条件把今天少消费一单位的边际损失锁死在明天多消费的贴现边际收益上。推论是：贴现率一变，整条路径同时平移，而不只是改动某一期。

参考文献

Gelfand, I. M. & Fomin, S. V. (1963). Calculus of Variations. Prentice-Hall.（变分法的经典标准教材）
Goldstine, H. H. (1980). A History of the Calculus of Variations from the 17th through the 19th Century. Springer-Verlag. DOI: 10.1007/978-1-4613-8106-8
Noether, E. (1918). "Invariante Variationsprobleme." Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 235–257.
Hilbert, D. (1902). "Mathematical Problems" (trans. M. W. Newson). Bulletin of the American Mathematical Society, 8(10), 437–479.（第 23 问题即"变分法的进一步发展"）
Douglas, J. (1931). "Solution of the Problem of Plateau." Transactions of the American Mathematical Society, 33(1), 263–321.（道格拉斯凭此获首届菲尔兹奖）

一个直觉：不是找最好的"点"，而是找最好的"形状"#

它从哪来：一道悬赏题点燃的革命#

核心机制：欧拉-拉格朗日方程#

微妙之处：极值不一定是最小，必要不等于充分#

它为什么如此深刻：最小作用量与对称性#

跨域连接#

参考文献#

延伸阅读#