[论文解读] Geometry of the Motion of Ideal Fluids and Rigid Bodies

S. G. Rajeev|ArXiv.org|May 31, 2009

Advanced Differential Geometry Research被引用 5

一句话总结

本文将理想流体和刚体的运动几何化地重新表述为在无限维李群上的测地流——流体为体积保持微分同胚群，刚体为旋转群 SO(3)，并采用左不变的黎曼度量。研究表明，这些几何结构中的负截面曲率会导致动力学不稳定性，恢复了阿诺德关于流体湍流的结果，并揭示了细长圆柱形刚体运动中存在类似的不稳定性。

ABSTRACT

Arnold pointed out that the Euler equation of incompressible ideal hydrodynamics describes geodesics on the group of volume-preserving diffeomorphisms. A simple analogue is the Euler equation for a rigid body, which is the geodesic equation on the rotation group with respect to a metric determined by the moment of inertia. The metric on the group is left-invariant but not right-invariant. We will reduce the geometry of such groups (using techniques popularized by Milnor) to algebra on their tangent space. In particular, the curvature can be expressed as a biquadratic form on the Lie algebra. Arnold's result that motion of incompressible fluids has instabilities (due to the sectional curvature being negative) can be recovered more simply. Surprisingly, such an instability arises in rigid body mechanics as well: the metric on SO(3) corresponding to the moment of inertia of a thin cylinder (coin) has negative sectional curvature in one tangent plane. Both ideal fluids and rigid bodies can be thought of as hamiltonian systems with a quadratic hamiltonian, but whose Poisson brackets are those of a non-nilpotent Lie algebra. We will also describe a different point of view towards three dimensional incompressible flow in terms of the Clebsch parametrization. In this picture, the Poisson brackets are represented canonically. The hamiltonian is represented by a quartic function. This is meant mainly as an expository article, aimed at a mathematical audience familiar with physics. Based on Lectures at the Chennai Mathematical Institute and the University of Connecticut.

研究动机与目标

• 通过黎曼几何在李群上的框架，统一描述理想流体与刚体动力学的几何形式。
• 通过微分同胚群的曲率分析，解释理想流体流动中不稳定的起源。
• 将这一几何视角扩展至刚体运动，揭示非球形物体中类似的不稳定性。
• 利用米尔斯的技术，将无限维几何问题简化为李代数上的代数问题。
• 探索替代形式，如克莱布施参数化，用于三维不可压缩流，其具有典型泊松括号和四次哈密顿量。

提出的方法

• 将流体和刚体的运动建模为在体积保持微分同胚群（流体）和 SO(3)（刚体）上的测地线，配备左不变的黎曼度量。
• 使用李导数和列维-奇维塔联络，定义流体参考系中的物质导数和加速度。
• 通过霍奇分解，将向量场正交分解为无散（切向）和梯度（纵向）部分。
• 利用 $L^2$ 内积和横向投影，将微分同胚群的黎曼曲率张量表示为李代数上的双二次型。
• 通过将协变导数投影到无散向量场的切空间上，推导出欧拉方程作为测地线方程。
• 通过平均黎曼曲率形式 $\bar{r}(u,v)$ 以及度量的横向和纵向分量，分析曲率。

实验结果

研究问题

• RQ1 如何将理想流体的运动解释为在体积保持微分同胚群上的测地流？
• RQ2 曲率在理想流体流动不稳定性中起什么作用，其与负截面曲率有何关联？
• RQ3 在刚体动力学中，特别是非球形物体中，是否存在类似的不稳定性机制？
• RQ4 无限维微分同胚群的几何能否被简化为李代数上的代数结构？
• RQ5 克莱布施参数化如何将不可压缩流重新表述为具有四次哈密顿量和典型泊松括号的哈密顿系统？

主要发现

• 不可压缩理想流体的欧拉方程等价于在体积保持微分同胚群上，基于 $L^2$-度量的左不变度量下的测地线方程。
• 正如阿诺德所展示的，微分同胚群中的负截面曲率意味着动力学不稳定性，本文通过曲率分析重新获得了这一结果。
• 一个细长圆柱形刚体（硬币）在 SO(3) 的某个切向平面中表现出负截面曲率，表明刚体运动中存在此前未被认识到的不稳定性。
• 微分同胚群的曲率被表示为李代数上的双二次型，其贡献来自基流形的曲率以及度量的横向和纵向分量。
• 黎曼曲率张量被分解为涉及基流形曲率以及 $L^2$ 度量的 $T$ 和 $S$ 分量的项，使得在平坦流形（如环面）上可实现显式计算。
• 克莱布施参数化将不可压缩流重新表述为具有四次哈密顿量和典型泊松括号的哈密顿系统，为流体动力学提供了不同的几何视角。