Variational reduction of homogenous Lagrangian systems

本文建立了具有缩放对称性的拉格朗日系统的变分约化过程，使得可通过求积法重构轨迹，并通过类比缩放的拉格朗日 - 庞加莱方程刻画临界点，同时研究了其与赫尔格洛茨变分原理的关系。

要点

想象你正在试图穿越一个巨大而复杂的迷宫。这个迷宫代表一个物理系统（比如摆动的单摆或绕恒星运行的行星），而你走过的路径就是该系统的“轨迹”。通常，要确定精确的路径，需要解决非常困难的数学问题，涉及在每一时刻追踪系统位置和速度的每一个细节。

本文介绍了一种巧妙的捷径。作者表明，如果你的迷宫具有一种特殊的“缩放对称性”——即无论放大还是缩小，迷宫看起来都相同——你可以先求解一个更简单、更小规模的问题。一旦解出这个小规模问题，你就可以轻松“重构”出完整而复杂的路径，而无需再次进行繁重的计算。

以下是他们思想的分步解析，使用日常类比：

1. “缩放”对称性（Scaling）

大多数物理系统由一个“拉格朗日量”描述，这本质上是一个告诉你系统如何运动的数学配方。

• 标准对称性：想象一个迷宫，如果你将其旋转 90 度，它看起来完全一样。你可以忽略旋转，只求解其形状。
• 缩放对称性（本文主题）：想象一个迷宫，如果你放大或缩小（改变比例），迷宫的规则保持不变，只是尺寸发生变化。作者关注的是那些运动“配方”能够线性放大或缩小的系统。这就像分形图案：一小块看起来就像整体。

2. 捷径：约化

作者提出：我们能否丢弃“缩放”信息，仅就“形状”求解问题，然后再将“缩放”加回去？

• 旧方法：你试图计算一个粒子在巨大且正在膨胀的气球上的运动路径。你必须同时追踪它在气球上的位置以及气球膨胀的速度。
• 新方法（约化）：你剥离掉膨胀部分。你在一个固定的气球（“约化”系统）上求解粒子的路径。这要容易得多。
• 关键点：“约化”系统不仅仅是原始系统的简化版；它存在于一个略有不同的数学结构（一个“线丛”）上。这就像在一张平面地图上解谜，但知道这张地图可以拉伸或收缩。

3. 重构完整路径

一旦你得到了简单约化问题的解，如何回到真实、复杂的世界？

• 作者提供了一种“重构配方”。这就像拥有一栋房子的蓝图（约化解）和一份单独的操作手册，说明如何将该房子放大或缩小（即“求积”）。
• 你拿着蓝图，应用缩放说明，然后——搞定——你就得到了原始系统的完整轨迹。数学表明，最后这一步只需要一个简单的积分（即“求积”），这就像把一串数字相加，而不是求解复杂的微分方程。

4. “缩放 - 拉格朗日 - 庞加莱”方程

在物理学中，有一些著名的方程（欧拉 - 拉格朗日方程）告诉物体如何运动。当你约化一个具有标准对称性（如旋转）的系统时，你会得到一组特定的方程，称为“拉格朗日 - 庞加莱方程”。

• 作者发现了一组专门针对这些“缩放”对称性的新方程。他们称之为缩放 - 拉格朗日 - 庞加莱方程。
• 这些是约化系统的“交通规则”。如果你遵循这些规则，就一定能找到约化问题的正确路径，然后可以将其扩展回现实世界。

5. “赫尔格洛茨”绕道

本文还检查了这种新方法是否与另一个著名的数学工具——赫尔格洛茨原理（处理能量不守恒的系统，例如耗油的汽车）——有关。

• 发现：他们发现，令人惊讶的是，这两种方法并不相同。你不能简单地将一种替换为另一种。“缩放”约化与“能量损失”（赫尔格洛茨）方法的工作方式不同。这就像发现穿过森林的捷径与穿过隧道的捷径即使在地图上看起来相似，却通往不同的目的地。

总结

简而言之，本文证明：对于在不同尺度下表现相同（具有缩放对称性）的物理系统：

1. 你可以通过忽略尺寸变化来简化数学。
2. 你使用一组新的特定规则（缩放 - 拉格朗日 - 庞加莱方程）来求解简化后的问题。
3. 然后，你可以轻松地从该简单解中重建出完整、复杂的运动。

这是数学家和物理学家将复杂、具有“自相似性”的问题分解为可管理的小块、求解小块，然后将答案按比例放大回现实世界的有力工具。

技术摘要

技术摘要：齐次拉格朗日系统的变分约化

问题陈述
本文探讨了由齐次拉格朗日函数（具体指关于缩放对称性为 1 次齐次的函数）定义的拉格朗日系统的变分约化问题。虽然具有缩放对称性的辛哈密顿系统的约化已得到充分确立——其结果产生接触结构，并允许通过一次积分重构原始轨迹——但拉格朗日侧的变分表述此前发展尚不充分。核心问题在于：对于齐次拉格朗日系统，是否存在一个约化变分原理，使得：

1. 其临界点（约化轨迹）能够重构原始哈密顿原理的临界点。
2. 该重构可通过积分实现。
3. 约化原理的临界点可由一组常微分方程（ODEs）刻画，该方程组类似于标准对称性约化中找到的拉格朗日 - 庞加莱方程。

此外，作者还研究了这些约化齐次系统与赫格洛茨（Herglotz）变分原理（其支配依赖于作用的拉格朗日量及接触哈密顿系统）之间的关系，具体探讨这两个框架的临界点集合是否重合。

方法论
作者在 $C^\infty$ 范畴内采用几何方法，利用微分几何、李群作用和变分演算。

1. 标准对称性回顾：文章首先回顾了具有标准对称性（李群作用）系统的变分约化。在具有平坦联络的阿贝尔情形下，约化发生在关联丛 $(Q \times \mathfrak{g})/G$ 上。重构涉及求解关于群元素的方程，该方程可通过积分求解。
2. 缩放对称性设定：作者定义了一个齐次拉格朗日系统 $(Q, L)$，其中 $L$ 关于主作用 $\psi: \mathbb{R}^+ \times Q \to Q$ 为 1 次齐次。由于 $\mathbb{R}^+$ 是可缩的，主丛 $\pi: Q \to Q/\mathbb{R}^+$ 是平凡的，从而允许存在全局缩放函数 $f: Q \to \mathbb{R}^+$。
3. 约化作用量的构造：
   • 定义平坦主联络 $\varpi_f = d \ln f$。
   • 阿蒂亚微分同胚 $\alpha_f$ 将切丛 $TQ$映射到$T(Q/\mathbb{R}^+) \times \mathbb{R}$。
   • 通过关系 $L = \ell \circ \alpha_f \circ p \cdot (f \circ \tau_Q)$，在 $T(Q/\mathbb{R}^+) \times \mathbb{R}$ 上定义约化拉格朗日量 $\ell$。
   • 关键在于，原始作用量泛函 $A(\gamma) = \int L(\dot{\gamma}) dt$ 被证明与新的泛函 $\check{A}(x, y) = \int \exp(\int_0^t y(s) ds) \ell(\dot{x}, y) dt$ 成正比，其中 $x = \pi(\gamma)$ 且 $y = d \ln f(\dot{\gamma})$。
4. 变分分析：作者定义了“相关联”的曲线和变分。他们确立：曲线 $\gamma$ 是 $A$ 的临界点，当且仅当在特定边界条件下（$x$ 在端点处变分为零，$y$ 的积分为零），关联对 $(x, y)$ 是 $\check{A}$ 的临界点。
5. 方程推导：通过对 $\check{A}$ 应用变分演算，作者推导出了缩放 - 拉格朗日 - 庞加莱方程，这是一组支配约化动力学的常微分方程组。
6. 与赫格洛茨原理的比较：文章从解析角度比较了缩放 - 拉格朗日 - 庞加莱方程与由赫格洛茨原理导出的依赖于作用的拉格朗日量方程。

主要贡献与结果

• 约化变分原理的存在性：本文证明了对于具有主 $\mathbb{R}^+$-作用的齐次拉格朗日系统，在空间 $(Q/\mathbb{R}^+) \times \mathbb{R}$ 上存在一个约化变分原理。
• 重构定理：证明了原始系统的轨迹可以从约化原理的临界点重构，仅需一次积分。重构公式为：
  $$\gamma(t) = \psi \left( e^{\int_0^t y(s) ds}, (\pi, f)^{-1}(x(t), \varsigma) \right)$$
  其中 $\varsigma$ 是由初始条件确定的常数。
• 缩放 - 拉格朗日 - 庞加莱方程：约化作用量的临界点由以下常微分方程组刻画（在局部坐标中或使用协变导数）：
  • 水平方程：
    $$-\frac{D}{Dt} \frac{\partial \ell}{\partial \dot{x}} - y \frac{\partial \ell}{\partial \dot{x}} + \frac{\partial \ell}{\partial x} = 0$$
  • 垂直方程：
    $$-\frac{d}{dt} \frac{\partial \ell}{\partial y} - y \frac{\partial \ell}{\partial y} + \ell = 0$$
    这些方程在结构上与标准的拉格朗日 - 庞加莱方程相似，但又有区别。
• 示例：理论通过以下示例进行了说明：具有位似变换的流形上的动能拉格朗日量、雅可比度量以及谐振子。
• 与赫格洛茨原理的非等价性：确立了一个重要的否定结果：齐次拉格朗日量的约化变分原理的临界点集合，通常不与任何依赖于作用的拉格朗日量的赫格洛茨变分原理的临界点集合重合，反之亦然。作者提供了反例，表明尽管两者在更广泛的背景下都与接触几何有关，但其动力学结构本质上是不同的。

意义
本文将经典的变分约化理论（此前已确立于标准李群对称性）扩展到了缩放对称性的语境中。它为齐次拉格朗日系统提供了一个严格的变分框架，提供了一种在保持重构完整动力学能力的同时降低问题维度的方法。

作者明确指出，他们的工作阐明了这些系统的变分结构，并将其与由赫格洛茨原理支配的依赖于作用的系统区分开来。本文是献给 H. Cendra 的纪念，他是一位以约化理论工作而闻名的同事，旨在促进对缩放对称性如何与变分原理相互作用的理解决。该工作被视为基础性的一步，未来的研究方向被确定为将这些结果推广到一般齐次性（涉及 $\mathbb{R}^\times$）和预辛系统，以及发展离散类比。