[论文解读] Separation of variables for bi-Hamiltonian systems

Gregorio Falqui, Marco Pedroni|ArXiv.org|Apr 15, 2002

Nonlinear Waves and Solitons参考文献 26被引用 29

一句话总结

本文利用 $ωN$ 流形，基于内在几何准则建立了双哈密顿系统中可分性条件，其中达布-尼嫩赫伊斯（DN）坐标自然地实现可分性。证明了哈密顿量在 DN 坐标下可分当且仅当它们在两个泊松结构下彼此对易。该理论被应用于盖尔范德-扎哈列维奇（Gel'fand-Zakharevich）系统，通过显式构造 DN 坐标与斯塔克尔生成元，表明其可分关系与谱曲线一致。

ABSTRACT

We address the problem of the separation of variables for the Hamilton-Jacobi equation within the theoretical scheme of bi-Hamiltonian geometry. We use the properties of a special class of bi-Hamiltonian manifolds, called omega-N manifolds, to give intrisic tests of separability (and Staeckel separability) for Hamiltonian systems. The separation variables are naturally associated with the geometrical structures of the omega-N manifold itself. We apply these results to bi-Hamiltonian systems of the Gel'fand-Zakharevich type and we give explicit procedures to find the separated coordinates and the separation relations.

研究动机与目标

• 在双哈密顿几何中为哈密顿-雅可比理论中的变量可分性发展内在几何准则。
• 确定在 $ωN$ 流形上，哈密顿量在达布-尼嫩赫伊斯坐标下实现加法可分性的条件。
• 为盖尔范德-扎哈列维奇（Gel'fand-Zakharevich）系统提供计算可分坐标与关系的显式程序。
• 通过证明 GZ 系统的可分关系与它们的谱曲线一致，统一谱曲线方法与双哈密顿几何。

提出的方法

• 利用 $ωN$ 流形——即具有非退化辛形式 $ω$ 和递归算子 $N$ 的双哈密顿流形——来定义可分性的内在几何结构。
• 引入达布-尼嫩赫伊斯（DN）坐标，这些坐标相对于 $ω$ 是正则的，并使 $N$ 对角化，从而作为自然的可分坐标。
• 建立一个 $n$ 元组的哈密顿量在 DN 坐标下可分当且仅当它们在两个泊松括号下彼此对易。
• 通过从泊松铅笔 ${\{\cdot,\cdot\}}_{\lambda}={\{\cdot,\cdot\}}' - \lambda{\{\cdot,\cdot\}}$ 构造诱导的 $ωN$ 结构，将理论应用于盖尔范德-扎哈列维奇（GZ）系统，其中卡西米尔系数作为哈密顿量。
• 利用由哈密顿量沿横截向量场的导数构成的矩阵 $\mathsf{F}(\lambda)$，计算 $N$ 的最小多项式，其根即为可分坐标 $\lambda_i$。
• 通过满足 $Y(f(\lambda))=1$ 的斯塔克尔函数生成元 $f(\lambda)$ 构造共轭动量 $\mu_i$，其中 $Y$ 是与递归算子相关的向量场。

实验结果

研究问题

• RQ1 在双哈密顿流形上，哈密顿量在达布-尼嫩赫伊斯坐标下可分的内在几何条件是什么？
• RQ2 如何算法化地确定给定双哈密顿系统下的可分坐标与关系？
• RQ3 盖尔范德-扎哈列维奇系统的可分关系是否与它们的谱曲线一致？
• RQ4 递归算子 $N$ 在生成可分坐标 $\lambda_i$ 与共轭动量 $\mu_i$ 的过程中起什么作用？
• RQ5 GZ 系统的斯塔克尔可分性能否通过矩阵 $\mathsf{F}(\lambda)$ 及其伴随矩阵的结构来刻画？

主要发现

• 在 $\omega N$ 流形上，一个 $n$ 元组的哈密顿量在达布-尼嫩赫伊斯坐标下可分当且仅当它们在两个泊松括号下彼此对易。
• 可分坐标 $\lambda_i$ 是矩阵 $\mathsf{F}(\lambda)$ 行列式的根，该矩阵编码了哈密顿量沿横截向量场的导数。
• 共轭动量 $\mu_i$ 由 $\mu_i = f(\lambda_i)$ 给出，其中 $f(\lambda) = - (L(\lambda)^2)_{31} / (L(\lambda))_{31}$ 是一个满足 $Y(f(\lambda)) = 1$ 的斯塔克尔函数生成元。
• 盖尔范德-扎哈列维奇基的可分关系被证明与谱曲线 $\det(\mu I - L(\lambda)) = 0$ 一致，确认了与拉克斯矩阵方法的一致性。
• 基于 $\mathfrak{sl}(3)$ 的 GZ 系统的辛叶 $S$ 携带一个 $\omega N$ 结构，且所构造的 GZ 叶状结构在 DN 坐标下可分。
• 推导出的可分关系形式为 $\mu_i H^{(1)}(\lambda_i) + H^{(2)}(\lambda_i) = \Phi_i(\lambda_i, \mu_i)$，这与谱曲线方程等价。