[论文解读] On integrability of Hirota-Kimura type discretizations. Experimental study of the discrete Clebsch system

Matteo Petrera, Andreas Pfadler+1 more|ArXiv.org|Aug 25, 2008

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

一句话总结

本文提出一种实验方法，用于研究Hirota-Kimura型离散化系统的可积性，将其应用于离散Clebsch系统。研究证明了存在四个函数独立的运动积分，并表明每个轨道都位于六维相空间中四个二次曲面的交集中，从而确认了该离散系统的代数完全可积性，并支持了关于二次系统中可积性保持性的更广泛猜想。

ABSTRACT

R. Hirota and K. Kimura discovered integrable discretizations of the Euler and the Lagrange tops, given by birational maps. Their method is a specialization to the integrable context of a general discretization scheme introduced by W. Kahan and applicable to any vector field with a quadratic dependence on phase variables. According to a proposal by T. Ratiu, discretizations of the Hirota-Kimura type can be considered for numerous integrable systems of classical mechanics. Due to a remarkable and not well understood mechanism, such discretizations seem to inherit the integrability for all algebraically completely integrable systems. We introduce an experimental method for a rigorous study of integrability of such discretizations. Application of this method to the Hirota-Kimura type discretization of the Clebsch system leads to the discovery of four functionally independent integrals of motion of this discrete time system, which turn out to be much more complicated than the integrals of the continuous time system. Further, we prove that every orbit of the discrete time Clebsch system lies in an intersection of four quadrics in the six-dimensional phase space. Analogous results hold for the Hirota-Kimura type discretizations for all commuting flows of the Clebsch system, as well as for the $so(4)$ Euler top.

研究动机与目标

• 研究Hirota-Kimura型离散化在代数完全可积系统中的可积性，特别是Clebsch系统。
• 开发并应用一种基于符号计算的实验方法，以识别离散映射中的守恒量和几何约束。
• 检验Hirota-Kimura离散化在具有二次向量场的系统中是否保持可积性的假设。
• 探讨Clebsch系统中可交换流的离散映射是否保留与连续情形类似的结构特性。
• 为Kahan型离散化中可积性机制的一般理论奠定基础，超越已知实例。

提出的方法

• 作者采用基于MAPLE、SINGULAR和FORM的计算机辅助符号计算方法，推导并验证守恒量与代数约束。
• 他们引入了“Hirota-Kimura基”的概念——一组其线性组合在轨道上恒为零的单项式函数，用于检测可积性结构。
• 该方法涉及求解线性方程组，以从离散映射的动力学中确定二次不变量的系数，而无需计算迭代。
• 通过数值实验和PSLQ算法推测定义运动积分的代数恒等式。
• 通过证明轨道位于六维相空间中四个二次超曲面的交集中，对轨道进行几何分析。
• 通过直接验证运动方程和极限分析（当ε → 0时）为守恒量提供理论依据。

实验结果

研究问题

• RQ1 Hirota-Kimura离散化后的Clebsch系统是否保持代数完全可积性，表现为存在四个函数独立的运动积分？
• RQ2 离散Clebsch系统的轨道是否可表征为位于六维相空间中四个二次超曲面的交集中？
• RQ3 Hirota-Kimura型离散化在具有二次向量场的系统中保持可积性的机制是什么？
• RQ4 尽管离散流不交换，Clebsch系统中可交换流的离散映射是否仍保留与连续情形类似的结构特性？
• RQ5 是否存在一种普遍机制——超越特定计算——解释为何此类离散化在各种可积系统中仍保持可积性？

主要发现

• 离散Clebsch系统存在四个函数独立的运动积分，其复杂度显著高于连续系统的积分。
• 离散Clebsch系统的每个轨道都位于六维相空间中四个二次超曲面的交集中，确认了动力学的几何约束。
• 通过符号计算推导出运动积分，并使用MAPLE验证，其显式表达式以相空间变量和参数表示。
• 该系统满足一组涉及变量$ e_i $的六个线性方程，通过求解这些方程得到守恒量。
• 离散映射保持了连续系统可积性结构，表现为存在一个四维零空间的Hirota-Kimura基。
• 结果支持一个更广泛的猜想：Hirota-Kimura离散化对所有具有二次向量场的代数完全可积系统均保持代数完全可积性。