[论文解读] Generalization of the Goryachev-Chaplygin Case

А. В. Борисов, И. С. Мамаев|ArXiv.org|Feb 28, 2003

Analytic and geometric function theory参考文献 1被引用 5

一句话总结

本文将刚体动力学的经典 Goryachev-Chaplygin 可积情形推广至与 so(4) 和 so(3,1) 李代数相关的泊松括号丛，引入了一类包含科里奥利力矩和奇异势能的新可积系统。通过广义 Andoyer-Deprit 型变量及构造 L-A 对，作者实现了变量分离并推导出新的不变关系，将经典情形扩展至四元数和高阶秩动力系统，展现出显式的可积性结构。

ABSTRACT

In this paper we present a generalization of the Goryachev-Chaplygin integrable case on a bundle of Poisson brackets, and on Sokolov terms in his new integrable case of Kirchhoff equations. We also present a new analogous integrable case for the quaternion form of rigid body dynamics' equations. This form of equations is recently developed and we can use it for the description of rigid body motions in specific force fields, and for the study of different problems of quantum mechanics. In addition we present new invariant relations in the considered problems.

研究动机与目标

• 将经典的 Goryachev-Chaplygin 可积情形从标准的 e(3) 泊松代数推广至包含 so(4) 与 so(3,1) 的泊松括号丛。
• 通过类比 Andoyer-Deprit 坐标的新变量类，发展一种包含科里奥利力矩与奇异势能的广义哈密顿形式化。
• 为广义系统构造 L-A 对，确保可积性并实现变量分离。
• 探索欧拉-泊松方程的四元数形式，作为刚体动力学与量子力学类比的新框架。
• 为泊松丛上的广义系统推导新的不变关系与卡西米尔函数。

提出的方法

• 引入一族结构常数依赖于参数 x 的泊松括号，插值于 e(3)（x=0）、so(4)（x=1）与 so(3,1)（x=−1）之间。
• 通过动量 L = M₃ 及其共轭变量 l，以及 G = ||M|| 及其共轭变量 g，定义丛上的辛变量，从而以 (L, G, l, g) 参数化 M 与 γ。
• 构造广义哈密顿量 H = 1/2(G² + 3L²) + λL + a(cos l cos g + L/G sin l sin g)，当 H=0 时退化为经典 Goryachev-Chaplygin 情形。
• 通过正则变换（L = p₁ + p₂, G = p₁ − p₂, q₁ = l + g, q₂ = l − g）实现哈密顿系统中的变量分离。
• 通过从代数生成元构造 L-矩阵，为广义系统推导出 L-A 对，其不变量构成可交换积分集合。
• 通过线性积分 F₃ = (K,s)s₃ = 0 进行约化，恢复经典 Goryachev-Chaplygin 情形，并将其推广至包含科里奥利力矩与奇异势能项。

实验结果

研究问题

• RQ1 Goryachev-Chaplygin 可积情形能否超越标准的 e(3) 泊松代数，推广至包含 so(4) 与 so(3,1) 结构的情形？
• RQ2 如何在泊松括号丛上构造类比于 Andoyer-Deprit 坐标的变量，以实现变量分离？
• RQ3 广义 Goryachev-Chaplygin 系统的 L-A 对结构为何？其与经典情形有何关联？
• RQ4 科里奥利力矩与奇异势能如何影响广义系统中的可积性与不变关系？
• RQ5 欧拉-泊松方程的四元数形式能否用于构建具有物理与量子力学相关性的新型可积刚体系统？

主要发现

• 广义 Goryachev-Chaplygin 系统在 so(4) 与 so(3,1) 的泊松括号丛上可积，其广义哈密顿量 H = 1/2(G² + 3L²) + λL + a(cos l cos g + L/G sin l sin g) 具备变量分离性。
• 系统拥有完备的不变量集合，包括卡西米尔函数 F₁ = (M,γ) 与 F₂ = γ² + xM²，以及一个三阶积分 F = (M₃ + λ/2)(M₁² + M₂² + a/γ₃²) − μM₁γ₃。
• 为广义系统显式构造了 L-A 对，在 x=1 且 λ=0 的极限下退化为经典 L-A 对。
• 具有奇异势能的哈密顿量 H = 1/2(M₁² + M₂² + 4M₃²) + λM₃ + μγ₁/|γ| + aγ²/γ₃² 被证明是可积的，尽管不通过与正则情形相同的变换实现变量分离。
• 通过线性积分 F₃ = (K,s)s₃ = 0 的约化，导出广义 Goryachev-Chaplygin 哈密顿量 H* = 1/2(L₁² + L₂² + 4L₃²) − a₄s₂ − a₃s₁ + 3cL₃ + c²/(2s₃²)，其中包含科里奥利力矩与奇异项。
• 系统在约化空间上表现出非线性泊松结构，当 F₃ = 0 时退化为标准的 e(3) 结构，从而恢复经典情形。