庞特里亚金极大值原理（Pontryagin maximum principle）

经典变分法在你可以随意弯曲曲线时求最佳曲线。最优控制问的是更实际的问题：你在驾驭一个系统——火箭、机械臂、投资组合、疫情响应——靠的是随时间选择一个控制输入，而控制通常是有限的（油门只能到底，方向盘只能转那么多）。什么样的控制方案能把系统从起点导向目标，同时使代价（燃料、时间、能量）最小？庞特里亚金极大值原理，源自苏联数学家列夫·庞特里亚金及其合作者约 1956 年的工作，是最优控制必须满足的核心必要条件。

设置是：状态 x(t) 在你的控制 u(t) 下按 x' = f(x, u) 演化，并有一个待最小化的代价。庞特里亚金引入一个伴随的「协态」或共轭变量向量 p(t)——拉格朗日乘数的动态对应物——以及哈密顿量 H = p . f(x, u) -（运行代价）。原理说沿最优路径有三件事成立：状态按 x' = dH/dp 演化，协态按 p' = -dH/dx 反向演化，而关键的是，在每一时刻最优控制 u(t) 是在允许的控制集上使 H 最大的那个。第三个条件就是名字里的「极大」，正是它处理了光滑的欧拉-拉格朗日方程无法处理的约束。

相对经典变分法的决定性进步，恰恰就是对有界控制的这种处理。当最佳策略把控制顶到边界（满推力、然后关闭——所谓 bang-bang 控制）时，假设你能在每个方向自由变动的欧拉-拉格朗日方程便失效；极大值原理不会，因为它是在约束集上取最大，而非令导数为零。它是现代控制工程、航天轨迹优化、机器人学以及经济学（其中协态是影子价格）的基础。两个诚实的告诫：与欧拉-拉格朗日一样，极大值原理是必要条件，并不保证最优——候选仍须检验；而且协态方程从终端条件起沿时间反向运行，所得的两点边值问题确实比单纯的初值问题更难求解。