玻尔百科稳定作用量原理是经典物理学中最优雅、最强大的思想之一，它指出自然界遵循着一条最省力的路径。这个单一的概念完美地推导出了无约束系统的运动定律。然而，当遇到非完整约束时，一个深刻的挑战便出现了——这些规则限制了物体的速度，例如控制溜冰鞋或滚动硬币的规则。这类约束打破了作用量原理的简单应用，造成了一个需要不同方法来填补的知识空白。当路径受到如此复杂的约束时，我们如何确定运动定律呢？
本文探讨了两种相互竞争的、用以解决此问题的形式体系。首先，在“原理与机制”一节中，我们将深入研究标准的、经过物理验证的拉格朗日-达朗贝尔原理，并将其与激进的完整动力学原理进行对比——后者是一种试图挽救作用量原理的数学上优美的尝试。我们将揭示它们在表述上的细微差异如何导致截然不同的物理预测和几何结构。然后，在“应用与跨学科联系”一节中，我们将解决这一冲突，阐明为何标准原理能正确描述力学系统，而完整动力学原理则在作为最优控制和机器人学的基础理论中找到了自身的价值，最终揭示出两个“错误”的答案可能只是两个不同问题的解。
经典物理学的核心是一条异常优雅且强大的原理：稳定作用量原理，通常也称为哈密顿原理。它宣称，对于一个在给定时间内在两点之间运动的粒子，其遵循的实际路径是使一个称为作用量的特殊量取稳定值（通常是最小值）的路径。作用量是拉格朗日量 对时间的积分，其中 是动能（）减去势能（）。自然界似乎是经济的，它从不浪费力气。从这一个优美的思想出发，可以推导出整个经典力学。但是，当我们不能自由漫游时会发生什么？当我们的运动受到约束时又会怎样？
想象一个在金属丝上滑动的珠子或固定在轨道上的火车车厢。这些都是完整约束的例子。它们之所以“友好”，是因为它们限制了物体可能到达的位置。我们可以通过简单地选择一套新的、自动满足这些约束的坐标（例如沿着金属絲的距离），然后在这个简化的世界中应用稳定作用量原理来轻松处理它们。这样，原理的优美性得以保留。
但有些约束更为巧妙。考虑冰冻湖面上的溜冰鞋或桌上滚动的硬币。冰刀只能向前或向后移动，不能侧向移动。滚动的硬币必须朝着它所指向的方向移动。这些是非完整约束。它们限制了物体可能的速度，但未必限制它最终能到达的位置。你可以在湖上的任意一点滑到另一点，但在每一瞬间，你的运动方向都受到严格限制。
这些非完整约束带来了深刻的挑战。你不能简单地减少坐标数量，因为系统最终可以到达任何位形。那么，我们该如何确定运动方程呢？宏伟的稳定作用量原理在这里失效了吗？
对于这个难题，传统的、经物理验证的答案是拉格朗日-达朗贝尔原理。它避开了作用量原理的全局、以路径为中心的视角，转而采用一种局部的、瞬时的观点。在任意时刻，想象给系统一个微小的、瞬时的“推动”，即一个虚位移，其方向是系统被允许移动的任何方向。对于溜冰鞋来说，这意味着向前或向后的推动，但不能是侧向的。该原理指出，约束力——即那些强制执行规则的力，比如冰面防止冰刀侧滑的法向力——在这些虚位移过程中不做功。
这是一个“虚功”原理，而非稳定作用量原理。它导出了一组方程，其中标准的欧拉-拉格朗日表达式 不为零。相反，它等于一个约束力，通常写为 ，其中 的列定义了“禁止”的运动方向，而 是一组由动力学决定的、随时间变化的乘子。这种方法准确地描述了真实世界中非完整系统的运动。对于不含时系统，它还有一个令人满意的性质，即守恒机械能。但对于纯粹主义者来说，可能会觉得失去了什么。我们放弃了作用量原理的全局优雅，而采用了一个局部的微分法则。
这种不满引导我们走向一个引人入胜的替代理论：完整动力学原理（vakonomic principle），它是“变分公理化”（variational axiomatic）的简称。其核心思想大胆而简单：让我们尝试挽救哈密顿原理。我们不去改变原理本身，而是改变我们应用原理的路径空间。
完整动力学的步骤如下：
这是一个优美且数学上自然的想法。它试图在稳定作用量原理这一统一框架下处理所有约束，无论是完整的还是非完整的。在数学上，这是通过构建一个增广拉格朗日量 来实现的，其中我们引入拉格朗日乘子 ，并将它们本身视为新的动力学变量。然后，我们通过对原始坐标 和新的乘子坐标 进行变分，来寻找这个增广拉格朗日量对应作用量的稳定点。
拉格朗日-达朗贝尔原理与完整动力学原理之间的差异，可以归结为对“容许变分”构成的微妙而关键的区别。
在非完整（拉格朗日-达朗贝尔）的图景中，我们考虑一条满足约束的有效路径 。变分 是在每个时间点上的一个瞬时虚位移。我们只要求向量 位于该点容许速度的子空间内。变分后的路径 本身无需是一条满足速度约束的有效路径。这种变分是“虚”的。
在完整动力学的图景中，变分是针对整个路径的。我们将路径 变分为一条新路径 。核心要求是，对于所有（小的），这条新路径 也必须是一条运动学上容许的路径。这是一个严格得多的条件。这意味着变分是“切于容许曲线空间”的。将约束 沿着变分路径线性化，会对变分产生一个更复杂的条件：不仅仅是 ，而是 。
这个在有效“摆动”定义上的看似微小的差异，导致了截然不同的物理预测。完整动力学运动方程包含额外的项，有时称为完整动力学力，这些项涉及约束函数的导数，以及至关重要的是，拉格朗日乘子的时间导数 。这些项在非完整方程中是完全不存在的。
让我们用一个经典例子来检验这两种理论：一个半径为 的圆盘在平面上作无滑滚动。其状态可以用圆心位置 、朝向角 和自旋角 来描述。“无滑移”条件提供了两个关联这些变量速度的非完整约束。
非完整预测： 应用拉格朗日-达朗贝尔原理，我们发现朝向角的方程为 。这意味着，如果圆盘沿直线滚动，它将继续沿直线滚动。如果它以恒定速率转弯，它将继续以该恒定速率转弯。没有自发的力矩作用于朝向。这与我们的物理直觉和实验观察完全吻合。
完整动力学预测： 应用完整动力学原理得到的结果则截然不同。朝向角的方程为 。这不为零！完整动力学方程预测存在一个“虚假”力矩，它依赖于自旋速率和拉格朗日乘子。这个力矩会导致一个沿直线滚动的圆盘自发地开始转弯。两种预测之间的差异 正是这个非零项。
从这个以及许多其他物理例子得出的结论是明确的：对于非完整系统，拉格朗日-达朗贝尔原理描述了现实，而完整动力学原理则没有。
完整动力学世界的惊奇之处不止于此。让我们考虑一个没有势能且约束不含时的简单系统，对于这样的系统，我们完全期望机械能（动能）是守恒的。
对于非完整动力学，这确实成立。约束力始终垂直于速度，因此它们不做功，能量是守恒的。
然而，对于完整动力学，这却无法保证！考虑一个具有简单约束 的粒子。通过推导完整动力学方程并计算动能 的变化率，我们发现一个惊人的结果：
这不为零。即使拉格朗日量和约束没有显式的时间依赖性，系统的机械能也会随时间变化。以这种方式强制执行变分原理的行为本身，就引入了一种能量进入或离开系统的机制，即通过动态演化的乘子所提供的“功率”。该原理的数学优雅性，是以牺牲一条基本的物理守恒定律为代价的。
那么，这两个原理永远对立吗？并非如此。它们在一个关键情况下是一致的：当约束是完整（或可积）的时候。如果一组速度约束可以通过数学变换表示为对位置的约束，那么它就是可积的。如果一个约束分布 是可积的，这意味着系统实际上被限制在更大的位形空间内的一个低维子流形上运动，就像我们在金属丝上的珠子一样。
在这种且仅在这种情况下，完整动力学力中的“额外”项——即那些涉及约束分布曲率的项——会消失。完整动力学方程和非完整动力学方程变得完全相同。两种形式体系之间的差异是约束“不可积性”的直接后果；它是对容许运动方向扭曲程度的一种度量。对于所有力学系统，可积性是两种动力学重合的充要条件。
这些不同的原理在现代几何学的语言中找到了优美而深刻的表达。
标准的拉格朗日-达朗贝尔动力学与由动能定义的黎曼度量有着根本的联系。将运动与约束力分离的投影是一种基于度量的正交投影。所产生的流相对于相空间中的典范辛结构而言通常不是哈密顿的。它不能保持这种结构，这一失效反映在一个称为“殆泊松括号”的数学对象的雅可比恒等式不为零上。
另一方面，完整动力学本质上是哈密顿的。它可以被完美地描述为一个标准的、尽管是受约束的哈密顿系统，但它是在一个扩展相空间上定义的，该空间包括乘子 及其共轭动量作为新坐标。
因此，我们面临着一个引人入胜的二分法。非完整动力学在物理上是正确的，但在几何上是“混乱的”，混合了度量结构和辛结构。完整动力学在几何上是“简洁的”（纯粹是哈密顿的），但在物理上是不正确的。这种对比揭示了变分原理、约束以及支配运动定律的基本几何结构之间深刻而微妙的关系。完整动力학原理虽然不是我们物理世界的描述者，但它作为一个出色的理论衬托，通过其自身的差异，阐明了那些真正描述物理世界原理的深刻本质。
我们发现自己处于一个奇特的境地。我们探索了一个优美的数学结构——完整动力学原理，它源于理论物理学中最优雅、最强大的思想：最小作用量原理。它主张，一个受约束系统的轨迹是作用量的极值曲线，其中路径本身是在所有遵守约束的运动集合内部进行变分的。这是一个纯粹的、不折不扣的变分原理。
然而，正如我们所见，从这个纯粹原理推导出的运动方程，常常与标准的拉格朗日-达朗贝尔方法得出的方程不一致，而我们从实验中知道后者能正确描述许多受约束的系统。这给我们提出了一个绝佳的难题。当两种不同但看似合理的理论思想给出两种不同的答案时，自然界是如何选择的？如果其中一个在描述特定物理现象时被证明是“错误”的，它真的错了吗？或者它也许是另一个不同问题的正确答案？这就是我们现在将要踏上的旅程，一段将我们从滚动的硬币带到现代机器人学和最优控制核心的旅程。
让我们从一个简单、熟悉的物体开始：一枚在桌上直立滚动的硬币或圆盘。我们都对其运动方式有强烈的直觉。如果我们推它一下，它会沿直线滚动。如果它已经在转弯，它可能会画出一个大圆。这正是标准的非完整方程所预测的。那么，完整动力学原理又会怎么说呢？
它预测了一些相当怪异的现象。对于一个设定为沿完美圆形滚动的圆盘，完整动力学方程预测它不会停留在那个圆形轨道上。它们预测转弯加速度会发生一个微妙但真实的变化，导致它螺旋式地偏离轨道。考虑一个更简单的情况，即所谓的“刀刃”模型，它就像一个被约束只能沿着其刀刃向前或向后移动的溜冰鞋。如果我们想象这个溜冰鞋以恒定的速度和恒定的转弯速率作圆周运动——一个完全合理的物理运动——我们会发现一个明显的矛盾。标准的非完整模型可以毫无问题地处理这种运动。然而，完整动力学模型却会导致不一致性；这样一个简单的稳定转弯并不是其方程的有效解 [@problemid:3783661]。
看来，自然已经给出了答案。对于滚动和滑动等日常力学问题，完整动力学原理似乎是错误的。在这种情况下，宇宙并没有选择那条作为受约束作用量积分真正极值的路径。
为何会失败？答案深藏于数学之中。完整动力学方程不仅对约束本身极其敏感，而且对这些约束如何随系统位形的变化而变化也极其敏感——这是一种约束空间的“曲率”。这种敏感性在方程中引入了额外的“幻影”力。在一个旋转轴受约束的旋转刚体（Suslov problem）的情况下，这些幻影力表现为类陀螺仪项，以真实物理力所不具备的方式扭转物体。而标准的非完整原理，由于其构造方式，不受这些数学上的微妙之处的影响，只正确地捕捉了真实的约束力。
这种物理上的失败暗示了在理论的数学结构层面上存在着更深、更根本的差异。在物理学中，尤其是在经典力学和量子力学中，最优雅、最强大的理论是“哈密顿的”。这不仅仅是一个名称；它意味着系统的演化发生在一个特殊的空间——一个被赋予了“辛结构”的相空间。你可以将这种结构想象成一个支配相空间中面积（或高维中的体积）如何演化的规则。一个关键的推论，即 Liouville's theorem，指出对于任何哈密顿系统，相空间中一团初始条件的体积在随时间演化时是完全守恒的。这团初始条件可能会以复杂的方式拉伸和变形，但其总体积保持不变。
问题的症结在于：完整动力学根据其构造，是一个完美的哈密顿理论。它存在于一个稍微扩大或“增广”的相空间（其中包含作为变量的拉格朗日乘子）上，并且在这个空间上，它遵守哈密顿力学的所有优美规则，包括相空间体积守恒。其底层的代数结构，即泊松括号，满足一个称为雅可比恒等式的关键性质，这是哈密顿动力学的基石。从数学上讲，完整动力学的世界是有序且纯净的。
而非完整的世界，即正确描述滚动硬币的那个世界，则没有那么整洁。当我们分析它在自然相空间中的演化时，我们发现它不是哈密顿的。它不保持相空间体积。其底层的代数括号通常不满足雅可比恒等式。它不满足雅可比恒等式的程度与导致完整动力学方程出错的约束“曲率”直接相关。
这给我们带来了一个引人入胜的哲学选择。为了描述滚动圆盘的简单运动，我们必须放弃哈密顿力学完美的、保持体积的对称性。自然界偏爱一种更混乱、非哈密顿的结构。
我们能在实验室里看到这种差异吗？当然可以。想象我们的滚动圆盘由一个微小的、周期性的外力矩驱动。然后我们可以观察它在多个周期内的轨迹，并构建一个“Poincaré map”，这是系统在每个周期拍摄一次的状态快照。如果底层动力学是哈密顿的（完整动力学的），这个映射必须保持面积。如果我们从一小片初始条件开始，这片区域会变形，但一个周期后它的面积将与初始面积完全相同。然而，如果动力学是非完整的，这个映射将不保持面积。我们很可能会看到这片区域随时间系统性地缩小，表明存在一个收缩相空间体积的流。这提供了一种直接的实验方法，来见证两种模型之间深刻的几何差异。
那么，完整动力学原理是一个与现实毫无关联的优美数学思想吗？一个失败的理论？远非如此。事实证明，它只是将正确的工具用在了错误的问题上。要看到它的真正威力，我们必须将视角从力学领域转向最优控制领域。
在力学中，我们问：“给定这些力和约束，系统将如何运动？”在最优控制中，我们问：“给定这些约束，我应该如何操控系统，以最有效的方式实现目标？”想想侧方停车。你的车轮不能横向移动；这是一个非完整约束，就像滚动的硬币一样。问题不在于汽车将如何自行滑行，而在于什么样的转向和驾驶输入序列能让你沿着尽可能短的路径进入停车位。
这就是完整动力学原理找到其真正使命的地方。完整动力学方程预测的轨迹，正是这类最优控制问题的解。它们代表了在运动受限空间中的“最直的可能线路”，即次黎曼测地线。当应用最优控制的数学工具，特别是著名的 Pontryagin Maximum Principle，来寻找受约束系统的最小能量路径时，所得出的方程与完整动力学原理完全相同。
突然之间，一切都豁然开朗。我们并非拥有一个“正确”和一个“错误”的理论。我们拥有两个不同的原理，它们回答了两个不同但同样重要的问题：
拉格朗日-达朗贝尔原理告诉我们一个受约束的系统将如何根据力学定律自然演化。它描述了滑行的自行车或滚动的球的物理过程。
完整动力学原理告诉我们操控一个受控、受约束的系统以最小化成本（如时间、距离或能量）的最优路径。它描述了机器人手臂、卫星机动或自动驾驶汽车的理想路径。
这种优美的二元性甚至有一个调和点。如果约束恰好是“可积的”——意味着它们将系统限制在一个低维曲面上，就像线上的珠子一样——那么这种区别就消失了。自然选择的路径就是最短路径，非完整方程和完整动力学方程变得完全相同。只有当约束是真正的非完整约束，允许人们通过巧妙的操控（如侧方停车）达到任何位形时，这两个原理才会分道扬镳，并展现出它们各自的特性。
完整动力学原理的故事是关于科学探究本质的精彩一课。一个在描述某一现象时失败的理论，可以重新崛起为另一领域的基石。它提醒我们，数学的丰富织锦与物理世界以并非总是显而易见的方式交织在一起，而一个“错误”的答案常常只是一个我们尚未想到去問的问题的正确答案。