论势阱动力学的普适性

给定光滑势函数 $V : \mathbf{R}^m \to \mathbf{R}$，可考虑常微分方程 (ODE) $\partial_t^2 u = -(\nabla V)(u)$，其描述了粒子 $t \mapsto u(t)$ 在势阱 $V$ 中的轨迹。我们探讨此类 ODE 族是否具有\emph{普适性}，即它们是否包含（作为嵌入副本）任何由流形 $M$ 上的光滑向量场 $X$ 产生的一阶 ODE $\partial_t u = X(u)$。假设 $X$ 非奇异且 $M$ 紧致，我们利用 Nash 嵌入定理证明：当且仅当流 $(M,X)$ 支持一种我们称为\emph{强适应 1-形式}的几何结构时，这种嵌入才是可能的；许多光滑流确实拥有这样的 1-形式，但我们给出了一个（由 Bryant 提出的）不具备该形式的流的例子，因此它无法由势阱动力学建模。作为此可嵌入性判据的一个推论，我们构造了一个（强制的）势阱系统实例，该系统是\emph{图灵完备}的，即任何具有给定输入的图灵机的停机问题等价于该系统中某条有界轨迹进入某个特定开集。特别地，该系统包含一些轨迹，对于这些轨迹是否进入该集合是不可判定的。值得注意的是，若将势阱中的粒子替换为环面上的非线性波动方程 $\partial_t^2 u - \Delta u = -(\nabla V)(u)$，或将目标域 $\mathbf{R}^m$ 替换为更一般的黎曼流形，上述结果依然成立。