[论文解读] Lagrangian Reduction, the Euler--Poincaré Equations, and Semidirect Products

Hernán Cendra, Darryl D. Holm+2 more|arXiv (Cornell University)|May 31, 1999

Control and Dynamics of Mobile Robots参考文献 35被引用 65

一句话总结

本文建立了哈密顿半直积约化对应的拉格朗日对偶理论，通过欧拉-庞加莱方程为具有对称性和输运参数（如流体和刚体）的系统构建了变分框架。证明了拉格朗日约化所得的约化动力学与直接的欧拉-庞加莱公式一致，并推导出此类系统中环流的一般凯尔文-诺特定理。

ABSTRACT

There is a well developed and useful theory of Hamiltonian reduction for semidirect products, which applies to examples such as the heavy top, compressible fluids and MHD, which are governed by Lie-Poisson type equations. In this paper we study the Lagrangian analogue of this process and link it with the general theory of Lagrangian reduction; that is the reduction of variational principles. These reduced variational principles are interesting in their own right since they involve constraints on the allowed variations, analogous to what one finds in the theory of nonholonomic systems with the Lagrange d'Alembert principle. In addition, the abstract theorems about circulation, what we call the Kelvin-Noether theorem, are given.

研究动机与目标

• 为具有半直积对称性的系统发展系统的拉格朗日约化理论，扩展已知的李-泊松系统哈密顿约化理论。
• 在具有输运参数的李代数上建立欧拉-庞加莱方程的变分原理，类似于非完整力学中的拉格朗日-达朗贝尔原理。
• 为具有对称性和输运量（如流体涡度或磁通量）的系统推导环流的一般凯尔文-诺特定理。
• 证明从拉格朗日框架得到的约化欧拉-拉格朗日方程重现了带有力和输运参数的标准欧拉-庞加莱方程。
• 通过拉格朗日力学中半直积约化的框架，统一流体和刚体动力学的几何与变分结构。

提出的方法

• 将欧拉-庞加莱方程作为李-泊松哈密顿系统的拉格朗日对偶，源自李代数上的变分原理。
• 通过主丛的对称性约化，利用半直积结构进行拉格朗日约化，使用平凡联络以简化约化拉格朗日量。
• 在丛 $ Q \times V^* \times V \times \mathfrak{g} $ 上构造约化拉格朗日量 $ l^V $，包含输运参数 $ a $ 和 $ v $，并通过 $ \langle a, \dot{v} + \xi v \rangle $ 实现耦合。
• 使用内在与坐标基表述推导约化欧拉-拉格朗日方程，区分动力学的水平与竖直分量。
• 利用伴随作用与余伴随作用 $ \mathrm{ad}^* $ 表达竖直运动方程，确保与欧拉-庞加莱形式的一致性。
• 通过证明竖直方程右侧恒为零，验证约化系统重现了原始的带有力和输运参数的欧拉-庞加莱方程。

实验结果

研究问题

• RQ1 在具有半直积对称性的拉格朗日约化背景下，欧拉-庞加莱方程如何从变分原理导出？
• RQ2 输运参数（如流体涡度、磁场）在约化拉格朗日量中的作用是什么？它们如何与动力学耦合？
• RQ3 拉格朗日约化框架如何重现与直接欧拉-庞加莱公式（含力）相同的方程？
• RQ4 在此拉格朗日设定下，凯尔文-诺特定理的几何起源是什么？它如何推广环流定理？
• RQ5 连接的选择（如平凡连接）如何影响约化方程的结构？

主要发现

• 从拉格朗日量 $ l^V $ 导出的约化欧拉-拉格朗日方程重现了带有力和输运参数的标准欧拉-庞加莱方程。
• 约化系统中 $ q $、$ a $ 和 $ v $ 的水平方程等价于 $ q $ 的原始欧拉-拉格朗日方程，并为输运参数提供了正确的动力学。
• 关于 $ \xi $ 的竖直方程简化为 $ \frac{d}{dt}\frac{\partial l}{\partial\xi} - \mathrm{ad}^*_{\xi}\frac{\partial l}{\partial\xi} - \frac{\partial l}{\partial a} \diamond a = 0 $，与带力的欧拉-庞加莱方程一致。
• 由于余伴随作用的结构以及 $ a $ 和 $ v $ 的运动方程，竖直方程右侧恒为零，确认了其一致性。
• 凯尔文-诺特定理由对称性和变分结构导出，将环流与动量图和李代数作用联系起来。
• 该框架通过单一几何与变分约化方案统一了重摆、可压缩流体和磁流体动力学等系统的动力学。