[论文解读] On the Lax pairs for the generalized Kowalewski and Goryachev-Chaplygin tops

В. В. Соколов, A. V. Tsiganov|ArXiv.org|Nov 15, 2001

Geometric Analysis and Curvature Flows参考文献 5被引用 9

一句话总结

本文通过引入额外参数 $c_1$、$c_2$ 和 $a_1$ 对现有 Lax 表示进行变形，为广义 Kowalewski 顶和 Goryachev-Chaplygin 顶分别提出了新的 $5\times5$ 和 $3\times3$ 矩阵 Lax 对。关键贡献在于 Kowalewski 曲线的多项式变形以及可积 Lax 结构的建立，当参数为零时，这些结构退化为已知情形，从而在特定辛叶上确立了广义系统的完全可积性。

ABSTRACT

A polynomial deformation of the Kowalewski top is considered. This deformation includes as a degeneration a new integrable case for the Kirchhoff equations found recently by one of the authors. A $5 imes 5$ matrix Lax pair for the deformed Kowalewski top is proposed. Also deformations of the two-field Kowalewski gyrostat and the $so(p,q)$ Kowalewski top are found. All our Lax pairs are deformations of the corresponding Lax representations found by Reyman and Semenov-Tian {S}hansky. In addition, a similar deformation of the Goryachev-Chaplygin top and its $3 imes 3$ matrix Lax representation is constructed.

研究动机与目标

• 为带有参数 $c_1$、$c_2$ 和 $a_1$ 的多项式变形 Kowalewski 顶构造一个 $5\times5$ 矩阵 Lax 对，推广经典 Kowalewski 陀螺系统。
• 通过变形现有 Lax 矩阵，将 Lax 表示扩展至包含双场 Kowalewski 陀螺系统和 $so(p,q)$ Kowalewski 模型。
• 为广义 Goryachev-Chaplygin 顶建立一个 $3\times3$ 矩阵 Lax 对，适用于 $I_2 = 0$ 的情形，并证明当 $c_2 = 0$ 时其退化为标准情形。
• 证明变形系统保持完全可积性，通过显式构造一个四阶多项式首次积分 $I_4$，并证明其与哈密顿量 $H$ 在泊松括号下对易。

提出的方法

• 提出变形 Lax 矩阵 $L(\lambda, \mu) = L_1(\lambda) + \mu L_2(\lambda)$，其中 $L_1(\lambda)$ 和 $L_2(\lambda)$ 作为 Reyman 和 Semenov-Tian Shan 的原始 Lax 矩阵的扰动构造而成。
• 引入依赖于动力学变量 $J_i$ 和 $x_j$ 以及参数 $c_1$、$c_2$ 和 $a_1$ 的变形矩阵 $X$ 和 $Y$，以推广原始 Lax 结构。
• 利用对称性性质 $L(-\lambda, -\mu) = -L^T(\lambda, \mu)$ 和 $L(-\lambda, \mu) = V^{-1}L(\lambda, \mu)V$，确保代数曲线定义良好且在时间演化下不变。
• 推导谱曲线 $\det(L(\lambda, \mu)) = 0$，其为 $\mu$ 的四次式，且为 $\lambda^2$ 的多项式，表明其编码了运动的第一积分。
• 通过直接计算验证哈密顿量 $H$ 与附加首次积分 $I_4$ 在李-泊松括号下对易，从而确认系统的可积性。
• 应用正则变换 $J_1 \to J_1 - 2c_2x_3$，$J_3 \to J_3 + 2c_2x_1$，将广义 Goryachev-Chaplygin 哈密顿量简化为标准形式 (1.5)。

实验结果

研究问题

• RQ1 能否为带有参数 $c_1$、$c_2$ 和 $a_1$ 的多项式变形 Kowalewski 顶构造一个 $5\times5$ 矩阵 Lax 对？
• RQ2 变形系统是否仍保持完全可积性？能否显式构造一个与哈密顿量 $H$ 对易的四阶多项式首次积分 $I_4$？
• RQ3 Goryachev-Chaplygin 顶的 Lax 表示能否推广至包含参数 $c_1$、$c_2$ 和 $a_1$ 的情形？当 $c_2 = 0$ 时，其是否退化为已知的 $3\times3$ Lax 对？
• RQ4 变形 Lax 矩阵的谱曲线是否在系统时间演化下保持不变？其是否编码了全部第一积分？
• RQ5 Lax 矩阵的对称性性质（如 $L(-\lambda, \mu) = V^{-1}L(\lambda, \mu)V$）如何约束变形系统的结构？

主要发现

• 为具有哈密顿量 (1.1) 的广义 Kowalewski 顶构造了 $5\times5$ 矩阵 Lax 对，当 $c_2 = a_1 = 0$ 时退化为经典 Kowalewski 情形，当 $c_2 = 0$ 时退化为 Kowalewski 陀螺系统。
• 导出谱曲线 $\mathcal{C}: d_2(\lambda^2)\mu^4 + d_1(\lambda^2)\mu^2 + d_0(\lambda^2) = 0$，其中 $d_2 = \lambda^2 + c_2^2 I_1$，$d_0 = \lambda^6 - H\lambda^4 + I_4\lambda^2 - c_1^2 I_2^2$，$d_1$ 为 $\lambda^2$ 的二次式，该曲线编码了第一积分。
• 显式计算了多项式 $I_4$，并通过直接计算证明其与哈密顿量 $H$ 对易，确认其作为四阶首次积分的角色。
• 对于广义 Goryachev-Chaplygin 顶，构造了 $3\times3$ Lax 矩阵，其谱曲线为 $(\lambda^2 + c_2^2 I_1)\mu^3 - a_1\lambda^2\mu^2 + (4\lambda^4 - H\lambda^2 + c_1^2 I_1)\mu - I_4\lambda^2 = 0$，在约束 $I_2 = 0$ 下成立，且当 $c_2 = 0$ 时退化为已知情形。
• Lax 矩阵满足 $L^*(-\lambda, \mu) = L(\lambda, \mu)$ 和 $L(-\lambda, \mu) = V L(\lambda, \mu) V^{-1}$，其中 $V = \text{diag}(1, -1, 1)$，确保了可积性所需的正确对称性。
• 经过正则变换 $J_1 \to J_1 - 2c_2x_3$，$J_3 \to J_3 + 2c_2x_1$ 后，广义 Goryachev-Chaplygin 哈密顿量与形式 (1.5) 一致，确认其与原系统的自洽性。