玻尔百科平稳作用量原理是物理学中最优雅、最强大的思想之一，它表明自然界总是选择最经济的路径。从这一个概念出发，可以推导出整个经典力学。然而，当系统并非完全自由——即当它们受到约束（如轨道上的火车或桌上滚动的硬币）时，问题就变得复杂起来。我们这个优美的原理如何适应这个混乱的现实？这个基本问题将力学分成了两个截然不同的框架，在数学的纯粹性与物理的真实性之间制造了一种引人入胜的张力。
本文深入探讨了这一理论分歧。在第一部分 原理与机制 中，我们将探讨 vakonomic 力学和非完整力学之间核心的哲学与数学差异。前者将作用量原理严格应用于所有可能的路径，而后者则基于瞬时虚位移，在物理上更为直观。我们将看到这些不同的哲学如何对同一物理系统产生截然不同的预测。随后，应用与跨学科联系 部分将解决这一冲突。它将阐明为什么一种理论能正确描述物理系统的被动演化，而另一种理论的真正归宿并非物理学理论，而是作为最优控制的数学语言，在机器人学、工程学及其他领域有着广泛的应用。
在我们理解宇宙的征程中，物理学家发现了一些具有惊人力量和简洁性的原理。其中最优雅的或许就是平稳作用量原理（Principle of Stationary Action），通常也称为最小作用量原理。它指出，一个物理系统在给定时间内从 A 点运动到 B 点，会遵循一条使某个称为作用量的特殊量取驻值（通常是最小值）的路径，而在所有可以想象的路径中，这样的路径只有一条。就好像系统能够窥视所有可能的轨迹，并选择最“经济”的一条。从这一个优美的思想出发，可以推导出整个经典力学。
但当系统并非完全自由时会发生什么？如果一颗珠子被穿在一根线上，一列火车被限制在轨道上，或者一枚硬币在桌子上滚动，情况又会如何？这些物体都受约束。它们不能随心所欲地走任何路径。我们这个优美的作用量原理如何适应这个不那么整洁的现实呢？
这个简单的问题将我们引向两条岔路，通往两个引人入胜且截然不同的力学世界。我们所做的选择揭示了数学纯粹主义与物理现实之间的深刻张力。
让我们想象自己就是那个系统，正试图选择自己的路径。我们知道我们必须遵守约束。哲学问题是：为了比较而“考虑”一条邻近的路径，这意味着什么？
一种我们称之为 vakonomic 力学的方法，是严格遵守规则。如果原理说要比较所有可能的路径，那么一条“可能”的路径必须在其存在的每一刻都遵守约束。当我们把我们的轨迹变分到一个略有不同的“测试”路径时，这条新路径也必须是一条从头到尾完全合法、满足约束的轨迹。
这就是“变分公理化”方法——它采纳平稳作用量原理这一公理，并将其严格应用于允许路径的受限集合。为了在数学上实现这一点，我们使用了一个由拉格朗日发明的巧妙技巧：我们利用称为拉格朗日乘子的函数将约束捆绑到作用量本身中。然后，我们让变分原理作用于这个新的、增广的作用量。结果是一组关于原始坐标和乘子的方程。。这似乎是一种完全合乎逻辑且简洁的处理方式。但我们将看到，这种数学上的纯粹性导向了一个颇为奇异的宇宙。
还有另一种方式，这是一种更务实、更注重物理思维的方法，可以追溯到 Jean le Rond d'Alembert 的工作。这是非完整力学的基础。它不考虑整个路径，而是考虑每一瞬间的情况。
想象我们的粒子正沿着其真实路径运动。在某一瞬间，让我们给它一个想象中的、无穷小的微动——一个虚位移。这个微动并非完全自由；它只能沿着约束在那一瞬间所允许的方向进行。对于线上的珠子，这个微动必须沿着线的方向。这个原理，被称为拉格朗日-达朗贝尔原理，其核心思想是约束力是“理想的”。它们的大小恰好足以强制执行规则，并且它们的作用方向总是垂直于允许的运动。在任何这些虚位移过程中，它们都不做功。
注意这个虽然细微但至关重要的区别。拉格朗日-达朗贝尔原理并不关心那个被微动了的路径如果继续走下去是否会继续遵守约束。它纯粹是一个瞬时的检验。。它在每一点上定义了一组允许的变分，这比定义一组允许的路径的条件要宽松。
因此，我们有两种截然不同的哲学：一种是严格遵守规则，对整个路径进行变分（vakonomic）；另一种是考虑瞬时虚位移，仅在当下那一刻遵守规则（非完整）。它们会引导我们到达同一个目的地吗？
对于一大类约束，这两种哲学是完全一致的。如果一个约束可以归结为一个只关于位置的方程——比如固定圆环上的珠子，——我们称之为完整约束。在这种情况下，允许的位置空间形成一个光滑的曲面或曲线。事实证明，一个允许的瞬时微动会自动让你保持在这个曲面上。变分的条件变得等价，vakonomic 原理和非完整原理给出的运动方程完全相同。这两个世界合二为一。
但真正的戏剧性始于更复杂的约束，那些以无法解耦的方式将速度和位置联系起来的约束。这些是非完整约束。典型的例子是在桌面上无滑滚动的圆盘或硬币。 “无滑动”的条件将圆盘中心的速度（）与其方向（）和自旋（）联系起来。方程如下：
你无法对这些方程进行积分，以得到一个仅涉及 的关系式。想一想：你可以通过来回摆动把一辆车（一个具有类似非完整约束的系统）停进一个狭窄的车位。你可以改变你的位置 并回到相同的方向 ，如果约束是完整的，这是不可能实现的。
在这里，在滚动圆盘的世界里，我们的两个原理产生了分歧，并预测了截然不同的行为。
非完整（现实）世界： 拉格朗-达朗贝尔原理给出的方程与我们的日常经验相符。如果你让一个圆盘沿直线向前滚动，它将继续沿直线滚动。除非施加力矩，否则其方向角 不会改变。这些方程正确地预测了方向角的角加速度为零：。 这就是我们宇宙的物理学。
Vakonomic（超现实）世界： Vakonomic 原理，源于我们对变分整个合法路径的纯粹主义坚持，预测了一些完全奇异的现象。它表明，即使你让圆盘完美地沿直线滚动，一种“幽灵力矩”也可能由约束本身产生，导致圆盘的方向自发改变！Vakonomic 方程预测了一个非零的角加速度，，它依赖于自旋速率和神秘的拉格朗日乘子。 这种情况根本不会发生。
实验的判决是明确的：拉格朗日-达朗贝尔原理正确地描述了非完整系统的动力学，而 vakonomic 原理，尽管其数学上很诱人，描述的却是另一个物理现实。
如果 vakonomic 力学在描述像滚动圆盘这样的系统上是“错误”的，我们为什么还要研究它？因为它在数学上具有物理上正确的非完整理论所不具备的美感。这种比较教给我们一个关于数学优雅与物理真理之间关系的深刻教训。
在我们的物理学教育中，我们被教导一条神圣的定律：对于一个没有显式时间依赖的系统，能量是守恒的。对于非完整系统，这一定律成立。理想的约束力总是垂直于运动方向，因此它们不做功，系统的机械能是守恒的。
但在 vakonomic 力学的奇异世界里，这条神圣的定律可能被打破。我们引入的仅仅作为强制执行约束的数学工具的拉格朗日乘子，可以拥有自己的生命。Vakonomic 方程可以描述一种情况，即这些乘子有效地对系统“做功”，向系统注入能量或从中抽取能量。 对于具有速度相关约束的系统，这可能导致机械能的变化率不为零。 确实存在一个守恒的能量，但它是包括乘子在内的虚构增广系统的能量，而不是粒子的物理机械能。
最深刻的差异在于两种理论底层的几何结构。在哈密顿力学的复杂语言中，任何物理量的时间演化都由一个称为泊松括号的主宰规则决定。这个括号必须遵守一个至关重要的自洽性规则，即雅可比恒等式，它确保了运动定律的明确性。
Vakonomic 几何： Vakonomic 世界秉承其本性，在几何上是完美的。它的动力学可以用一个增广相空间上的标准泊松括号来描述。它完美地满足雅可比恒等式。它是一个完全规范的哈密顿系统，存在于一个辛流形上。其底层的数学结构是“封闭”且纯净的。
非完整几何： 从纯粹主义者的观点来看，物理上正确的非完整世界在几何上是有缺陷的。人们可以定义用来描述其动力学的“括号”——非完整括号——不满足雅可比恒等式。 这种不满足并非错误；它是一个非完整系统的本质特征。恒等式不被满足的程度是约束的“不可积性”或“扭曲性”的直接度量。 其几何结构不是一个干净的辛结构，而是更复杂的东西，通常被称为准狄拉克结构。在定义该几何的运算下，它不是“封闭”的。
至此，我们的探究告一段落，得出了一个非凡的结论。当自然界面对非完整约束时，似乎更倾向于一种基于“不完美”或“叛逆”几何的描述，这种几何打破了哈密顿力学的整洁规则。Vakonomic 框架以牺牲物理准确性为代价，保留了数学的完美性。
这两个原理的故事是科学过程本身的一个美丽例证。我们从一个优雅的思想——平稳作用量原理——出发。我们试图以数学的严谨性来应用它，发现了 vakonomic 世界，一个充满惊奇和非物理现象的地方。然后，我们转向一个植根于物理直觉的原理——虚功原理——并找到了与现实相符的非完整世界。非完整几何中的“缺陷”根本不是缺陷；它是真理的印记，是滚动圆盘这个顽固现实留下的美丽伤疤。
在遍历了 vakonomic 力学的原理之后，我们面临一个引人入胜且至关重要的问题：这个理论在宏大的科学图景中处于什么位置？我们已经看到，对于一个给定的、速度受约束的力学系统，vakonomic 力学与更传统的非完整框架可以预测出截然不同的未来。这不仅仅是学术上的好奇；这是我们物理理解道路上的一个深刻分岔口。那么，自然界会选择哪条路？如果她选择了一条，另一条又将何去何从？
让我们想象自己是实验物理学家，面对一个现实世界中的受约束系统，比如在水平面上无滑滚动的硬币或圆盘。 “无滑动”条件是一个经典的非完整约束。如果我们让圆盘旋转并滚动，它的路径会是怎样的？
建立在拉格朗日-达朗贝尔原理之上的标准非完整理论给出了一组预测。Vakonomic 理论则给出另一组。例如，在滚动圆盘的情况下，两种理论可能预测出不同的偏航或转向加速度。详细计算显示，两种预测之间存在一个非零的差异，这个差异取决于圆盘的属性及其运动。类似地，对于太空中一个角速度受约束的旋转刚体，如卫星——一个著名的例子是苏斯洛夫问题——两种理论预测其角速度分量的演化过程也不同。Vakonomic 方程包含了额外的“陀螺”项，这些项在标准的非完整描述中是不存在的。
这些差异并非细微。Vakonomic 力学常常预测出奇怪的、自推进的行为，这些行为在日常力学系统中根本观察不到。根据 vakonomic 的定律，一个静止但旋转的物体可能会在没有任何外力的情况下开始移动，这似乎违反了动量守恒或能量守恒。这是一个强有力的线索。对于能量应该守恒的无外力系统，标准的非完整模型正确地预测了这种守恒。相比之下，vakonomic 模型常常预测能量会发生变化，这是一个明显的警示信号。
那么，我们如何确定应该信任哪种理论呢？一个优美的论证来自于问一个不同的问题：这些“完美”的约束最初是从哪里来的？实际上，“无滑动”条件是一种理想化。真正发生的是，任何将要涉及滑动的运动都会遇到一个非常强的摩擦力，这个摩擦力几乎瞬间就将其扼杀。我们可以通过想象一个具有极强“各向异性”粘性摩擦的系统来对此建模——这种力只作用于违反约束的速度分量上。然后我们可以进行一个思想实验：当这个摩擦力变得无限强，迫使约束被完美满足时，运动方程会发生什么？结果是惊人的。极限方程恰好就是标准的非完整拉格朗日-达朗贝尔方程。Vakonomic 方程并没有出现。这为为什么非完整力学是描述像滚动对象这类物理系统的“正确”理论提供了强有力的物理依据。
实验主义者还可以更进一步。两种理论之间存在深刻的几何差异。Vakonomic 力学源于一个真正的作用量原理，描述的是一个哈密顿系统。这类系统的一个基本性质，即刘维尔定理，是它们在相空间中保持体积不变。另一方面，非完整系统不是标准意义上的哈密顿系统，其流通常不保持相空间体积。原则上，实验者可以追踪一组从略微不同的初始条件出发的类似系统。如果系统是 vakonomic 的，这些系统在相空间中占据的体积将随时间保持不变。如果它是非完整的，这个体积通常会收缩或膨胀。这提供了一个具体的、可测量的测试来区分这两个世界。
如此看来，vakonomic 力学似乎是一个优美但有缺陷的物理理论。但这种看法是错误的。Vakonomic 力学之所以不能描述硬币的滚动，是因为它从来没有问过同样的问题。
非完整原理问的是：“在这些约束条件下，系统将会做什么？” Vakonomic 原理问的是：“在这些约束条件下，系统从 A 点到 B 点最有效率的方式是什么？”
这种视角的转变至关重要。Vakonomic 力学不是一种关于被动物理演化的理论；它是一种关于最优控制的理论。它的轨迹不是将要发生的，而是为了最小化某种成本——通常是能量——而应该发生的。
想象一下停车。非完整约束是汽车只能沿着其车轮指向的方向前进或后退。你做的任何有效操作都是一条“非完整路径”。但是，那条让你以最短行驶距离停入车位的特定操作——那就是“vakonomic 路径”。这条最短路径在数学上被称为亚黎曼测地线。对这些路径的研究是几何学和控制理论交叉领域一个丰富而美丽的领域。事实证明，vakonomic 力学的方程恰好就是描述这些最优路径的方程。
这一见解为远超简单力学的广泛应用打开了大门：
两种形式体系之间的深刻差异铭刻在它们的数学基础之中，这是现代几何力学提供的一个视角。
理解这一点的一种方式是通过狄拉克结构的视角，这是一个统一了各种物理系统的框架。在这个视角下，vakonomic 力学异常简洁。为了解决一个受约束的问题，我们只需扩大我们的世界。我们将拉格朗日乘子——约束的真正符号——视为我们系统的新坐标。在这个新的、扩展的位形空间中，动力学变成了标准的哈密顿力学。一切都井然有序，系统沿着其新的、更大的相空间的正则结构流动。就好像通过步入一个更高的维度，一条纠缠的、受约束的路径变成了一条简单的直线。
相比之下，非完整世界则停留在原来的、较小的相空间中。它无法逃逸到更高的维度。为了应对约束，运动的规则本身——几何结构本身——必须被扭曲和修改。由此产生的系统不再是标准意义上的哈密顿系统；它是一种新的、更复杂的东西。
这个根本性的差异也解释了 vakonomic 方程中额外项的来源。当我们分析具有对称性的系统时，比如一个自由旋转的陀螺，方程可以被“约化”为对称群的李代数上的一个更简单的形式。比较约化后的方程揭示了差异的数学根源。Vakonomic 方程包含了额外的项，这些项源于系统速度与乘子之间的相互作用，表现为陀螺力，而在非完整表述中这些力是不存在的。
我们从一个谜题开始：两种关于受约束运动的相互竞争的理论。我们发现，这根本不是一场竞争。它们是描述两个不同世界的两种不同语言。
非完整力学是描述物理现状的语言。它描述了受“硬”约束的系统的运动，这些约束可以通过理想化摩擦等物理论证来证明其合理性。它回答了“将会发生什么？”这个问题。
Vakonomic 力学是优化的语言。它为系统可以采取的最有效路径提供了数学蓝图，回答了“做这件事的最佳方式是什么？”这个问题。它的自然归宿是工程学、机器人学和控制理论，在这些领域，目的性和效率至关重要。
这两个截然不同的物理问题可以被相关而又优雅地不同的数学结构所捕捉，这一事实证明了解析力学深刻的统一性和力量。它完美地诠释了源于运动研究的抽象原理，如何能为理解宇宙的被动演化以及我们自身在其中的主动、有目的的参与提供一个框架。