[论文解读] A Class of Integrable Geodesic Flows on the Symplectic Group and the Symmetric Matrices

Anthony M. Bloch, Arieh Iserles+2 more|ArXiv.org|Dec 30, 2005

Nonlinear Waves and Solitons参考文献 15被引用 7

一句话总结

本文引入了一类在对称矩阵和辛群 Sp(n,ℝ) 上的新积分 geodesic 流，采用左不变的 Frobenius 范数度量。通过双哈密顿结构和非卡西米尔积分证明了系统的完全可积性，表明该系统与 Mishchenko-Fomenko 刚体系统有本质不同，其可积性在 N 可逆或零度为一且特征值互异时成立。

ABSTRACT

This paper shows that the left-invariant geodesic flow on the symplectic group relative to the Frobenius metric is an integrable system that is not contained in the Mishchenko-Fomenko class of rigid body metrics. This system may be expressed as a flow on symmetric matrices and is bi-Hamiltonian. This analysis is extended to cover flows on symmetric matrices when an isomorphism with the symplectic Lie algebra does not hold. The two Poisson structures associated with this system, including an analysis of its Casimirs, are completely analyzed. Since the system integrals are not generated by its Casimirs it is shown that the nature of integrability is fundamentally different from that exhibited in the Mischenko-Fomenko setting.

研究动机与目标

• 识别并分析在对称群 Sp(n,ℝ) 上具有左不变 Frobenius 度量的新一类可积 geodesic 流。
• 证明该系统不属于 Mishchenko-Fomenko 类的刚体型可积系统。
• 将分析扩展至 N 不可逆的情形，研究对偶李代数的泊松几何结构、辛叶层及卡西米尔结构。
• 利用双哈密顿结构和 Morosi-Pizzocchero 方法建立完全可积性，即使积分不由卡西米尔生成。
• 通过谱曲线 det(zI - λN - X) = 0 探索系统的代数几何结构，未来工作将集中于此方向。

提出的方法

• 系统由 Lax 方程 Ẋ = [X, XN + NX] 定义，其中 X ∈ Sym(n)，N ∈ so(n)，初始条件属于 Sym(n)。
• 在对称矩阵李代数的对偶上，该流被证明是双哈密顿的，两种不同的泊松结构被详细分析。
• 显式计算了两种泊松结构的卡西米尔，并研究了其在可积性结构中的作用。
• 通过 Bloch 和 Iserles (2006) 提出的带参数的 Lax 对构造运动积分，并利用 Morosi-Pizzocchero 方法证明其对易性。
• 通过反证法直接证明积分的线性无关性，避免依赖 Mishchenko-Fomenko 方法。
• 通过研究由 N 导出的对称矩阵上的李代数结构，将分析扩展至非可逆 N 的情形，并刻画了典型辛叶层的结构。

实验结果

研究问题

• RQ1 在 Sp(n,ℝ) 上具有 Frobenius 度量的左不变 geodesic 流是否可积？其与已知可积系统有何不同？
• RQ2 当 N 不可逆或零度为一，能否证明该系统完全可积？其底层泊松几何结构如何？
• RQ3 运动积分是否由卡西米尔生成？若否，这对可积性的本质意味着什么？
• RQ4 两个泊松结构及其卡西米尔如何与系统的动力学和辛叶层分解相关联？
• RQ5 谱曲线 det(zI - λN - X) = 0 在系统的代数几何描述中起什么作用？如何用于线性化？

主要发现

• 当 N 可逆且特征值互异时，系统 Ẋ = [X, XN + NX] 完全可积，由积分的对易性与线性无关性证明。
• 该系统不属于 Mishchenko-Fomenko 类；其积分不由卡西米尔生成，表明其可积机制具有根本不同。
• 当 N 零度为一且特征值互异时，系统仍完全可积，由相同的线性无关性与对易性论证证明。
• 两个泊松结构被完整分析，包括其卡西米尔，典型辛叶层的结构也已刻画。
• 双哈密顿结构使得 Morosi-Pizzocchero 方法可用于证明积分的对易性，即使积分非由卡西米尔生成。
• 该系统是半单李群（Sp(n,ℝ)）上一类新的非刚体类型的可积 geodesic 流，填补了已知例子中的空白。