[论文解读] Dynamical Systems on Leibniz Algebroids

Gheorghe Ivan, Dumitru Opriş|ArXiv.org|Aug 13, 2005

Advanced Differential Geometry Research参考文献 4被引用 10

一句话总结

本文通过将哈密顿力学推广至非反对称括号的李布尼茨代数丛，引入了李布尼茨代数丛上的动力系统，利用基于导子的括号结构定义李布尼茨向量场。研究建立了新的近似度量李布尼茨代数丛类别，并推导出显式动力系统，包括刚体系统，其解的轨道通过关联张量场和坐标动力学进行分析。

ABSTRACT

In this paper we study the differential systems on Leibniz algebroids. We introduce a class of almost metriplectic manifolds as a special case of Leibniz manifolds. Also, the notion of almost metriplectic algebroid is introduced. These types of algebroids are used in the presentation of associated differential systems. We give some interesting examples of differential systems on algebroids and the orbits of the solutions of corresponding systems are established.

研究动机与目标

• 通过用满足李布尼茨法则的非反对称括号替代反对称泊松括号，将哈密顿动力学推广至李布尼茨代数丛。
• 在李布尼茨代数丛的背景下，引入近似度量李布尼茨代数丛的概念，作为辛结构和泊松结构的推广。
• 通过几何与代数方法，分析李布尼茨代数丛上微分系统解的行为，特别是平衡点附近的行为。
• 提供显式动力系统的例子，包括刚体系统，并利用关联的共变张量场推导其解的轨道。
• 通过在每个参数上均为线性且为导子的括号运算，在李布尼茨代数丛上建立哈密顿函数与向量场之间的对应关系。

提出的方法

• 在流形上光滑函数上定义李布尼茨括号，作为满足李布尼茨法则的双线性映射：[fg,h] = [f,h]g + f[g,h] 且 [f,gh] = g[f,h] + [f,g]h。
• 通过 B(df,dg) = [f,g] 将一个 2-共变张量场 B 与李布尼茨括号相关联，从而将向量场表示为 X_h(f) = [f,h]。
• 通过李布尼茨向量场 X_h 构造动力系统，其局部方程为 ẋ^i = [x^i, h] = B^{ij} ∂h/∂x^j。
• 将近似度量李布尼茨代数丛定义为一类特殊的李布尼茨代数丛，配备一个非退化的对称张量场，推广伪度量括号。
• 利用对偶丛 E* 及其关联的 2-共变张量场 (C, ρ, ρ) 建模动力系统，其中 ρ 为锚映射，C 编码括号结构。
• 通过定义结构张量 p^{ij} 和哈密顿量 h 为动能，显式推导 R^3 上刚体系统的动力系统，得到具有特定轨道动力学的常微分方程组。

实验结果

研究问题

• RQ1 如何通过满足李布尼茨法则的非反对称括号，将哈密顿动力系统从泊松代数丛推广至李布尼茨代数丛？
• RQ2 近似度量李布尼茨代数丛的几何结构是什么？它们在李布尼茨代数丛背景下如何推广辛结构和泊松结构？
• RQ3 李布尼茨代数丛上动力系统的解轨道是什么，特别是刚体系统，其在相空间中的行为如何？
• RQ4 如何构造对偶丛 E* 上的 2-共变张量场，以保持如 Λ(dh2,df)=0 这类守恒律，其中 h2 为给定哈密顿量？
• RQ5 在 E* 上存在第二个张量场 Λ2 的条件是什么，使得对不同的哈密顿量 h1 有 Λ2(dh1,df)=0？其代数构造方法如何？

主要发现

• 在 R^3 上的刚体系统被建模为李布尼茨代数丛上的动力系统，其中 p^{ij} 为结构张量，h = ½(a₁(x¹)² + a₂(x²)² + a₃(x³)²)，得到具有特定时间导数的常微分方程组。
• 刚体系统的解轨道在图 3 和图 4 中表示，展示了在位置 (x¹,x²,x³) 和动量 (ξ₁,ξ₂,ξ₃) 空间中的轨迹。
• 推导出第二个动力系统，其动力学被修改：ẋ^i 和 ẋ̇_i 包含涉及 a₁, a₂, a₃ 及坐标二次项的附加项，显式系数取决于转动惯量。
• 当 a₁=0.6, a₂=0.4, a₃=0.2 时，第二个系统的轨道在图 5 和图 6 中可视化，显示了复杂且非平凡的相空间轨迹。
• 张量场 Λ₁ 满足对所有 f 有 Λ₁(dh₂,df)=0，其中 h₂ = x¹ξ₁ + x²ξ₂ + x³ξ₃，表明存在类似线性动量的守恒量。
• 第二个张量场 Λ₂ 显式构造为 (C₂, ρ₂, ρ₂)，其中 C₂ 为对角矩阵，ρ₂ 为对称矩阵，包含如 Vᵢ = (aⱼ)²(xʲ)² + (aₖ)²(xᵏ)² 和 Wᵢ = (aⱼ)²xʲξⱼ + (aₖ)²xᵏξₖ 的项，确保对哈密顿量 h₁ = a₁x¹ξ₁ + a₂x²ξ₂ + a₃x³ξ₃ 有 Λ₂(dh₁,df)=0。