[论文解读] Kovalevskaya Top and Generalizations of Integrable Systems

А. В. Борисов, И. С. Мамаев+1 more|ArXiv.org|Apr 1, 2005

Nonlinear Waves and Solitons参考文献 5被引用 13

一句话总结

该论文将经典可积刚体系统——科瓦列夫斯卡娅、沙普林、戈里切夫-沙普林和博戈雅夫连斯基系统——从 𝔰𝔩(2) 代数推广到泊松括号丛 𝒟ₓ，引入分离变量与作用-角变量。提出一种新型坐标变换，将科瓦列夫斯卡娅顶转化为尼尔曼系统，从而通过 theta 函数实现显式积分，并将加菲特系统扩展至丛上，确认其 L-A 对结构。

ABSTRACT

Generalizations of the Kovalevskaya, Chaplygin, Goryachev-Chaplygin and Bogoyavlensky systems on a bundle are considered in this paper. Moreover, a method of introduction of separating variables and action-angle variables is described. Another integration method for the Kovalevskaya top on the bundle is found. This method uses a coordinate transformation that reduces the Kovalevskaya system to the Neumann system. The Kolosov analogy is considered. A generalization of a recent Gaffet system to the bundle of Poisson brackets is obtained at the end of the paper.

研究动机与目标

• 将已知的刚体动力学可积情形（科瓦列夫斯卡娅、沙普林、戈里切夫-沙普林、博戈雅夫连斯基）从 𝔰𝔩(2) 代数推广至泊松括号丛 𝒟ₓ。
• 为这些广义系统开发引入分离变量与作用-角变量的方法。
• 通过将科瓦列夫斯卡娅顶变换为尼尔曼系统，在丛上找到其新的积分方法。
• 将具有三次积分的加菲特系统扩展至泊松括号丛，并确认其 L-A 对结构。
• 探讨柯洛索夫类比与二次卡西米尔函数结构在广义系统中的作用。

提出的方法

• 利用由 {Mᵢ, Mⱼ} = −εᵢⱼₖMₖ, {Mᵢ, γⱼ} = −εᵢⱼₖγₖ, {γᵢ, γⱼ} = −xεᵢⱼₖMₖ 定义的泊松代数 𝒟ₓ，其有两个二次卡西米尔函数：l = (M, γ) 和 c = x(M, M) + (γ, γ)。
• 应用一种坐标变换，将科瓦列夫斯卡娅顶的哈密顿量映射为尼尔曼系统，从而实现变量分离，并通过 theta 函数显式求解。
• 通过变换至 s₁, s₂ 坐标，推导出分离变量，得到分离形式的哈密顿量：H = ½(1−s₁²)(s₁a₁₂ + m₁)p₁² + ½(1−s₂²)(s₂a₁₂ + m₁)p₂² + 有理函数项。
• 引入共轭正则动量 pᵢ = 2ṡᵢ / [(1−sᵢ²)(sᵢa₁₂ + m₁)]，实现哈密顿量中变量的分离。
• 在丛上为广义加菲特系统构造 L-A 对，其中 L 和 A 矩阵涉及 γᵢ 和 (γ₁γ₂γ₃)¹ᐟ³。
• 利用柯洛索夫类比将广义系统与已知可积结构联系起来，尤其在退化阿贝尔-雅可比方程的背景下。

实验结果

研究问题

• RQ1 如何将科瓦列夫斯卡娅、沙普林、戈里切夫-沙普林与博戈雅夫连斯基系统从 𝔰𝔩(2) 推广至泊松丛 𝒟ₓ？
• RQ2 能否通过将科瓦列夫斯卡娅顶约化为尼尔曼系统，在丛上找到其新的积分方法？
• RQ3 分离变量与作用-角变量在 𝒟ₓ 上的广义可积系统中起什么作用？
• RQ4 具有三次积分的加菲特系统如何扩展至泊松括号丛？其 L-A 对结构是否保持不变？
• RQ5 二次卡西米尔函数 l 与 c 如何影响广义系统的可积性与结构？

主要发现

• 在丛 𝒟ₓ 上，科瓦列夫斯卡娅积分被推广为 F₃ = (M₁² − M₂² − 2γ₁ + x)² + (2M₁M₂ − 2γ₂)²，保持可积性。
• 提出一种新型坐标变换，将 𝒟ₓ 上的科瓦列夫斯卡娅顶约化为尼尔曼系统，从而可通过 theta 函数显式求解。
• 通过 s₁, s₂ 坐标引入分离变量，哈密顿量表达为 H = ¼(1−s₁²)(s₁a₁₂ + m₁)p₁² + ¼(1−s₂²)(s₂a₁₂ + m₁)p₂² + 有理函数项。
• 作用变量由 I = 1/(2π) ∫ p(s) ds 给出，确认系统在分离形式下完全可积。
• 广义加菲特系统在丛上保持其 L-A 对结构，其中 L 和 A 矩阵涉及 γᵢ 和 (γ₁γ₂γ₃)¹ᐟ³。
• 在博戈雅夫连斯基系统中，退化阿贝尔-雅可比方程出现，由于变量分离，二维环面分裂为一维环面。