[论文解读] Stackel separability for Newton systems of cofactor type

Stefan Rauch‐Wojciechowski, Claes Waksjö|ArXiv.org|Sep 18, 2003

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

一句话总结

本文通过证明相关系统可通过非正则变换转化为具有可分离Stäckel形式的正则哈密顿系统，建立了共因子型牛顿系统的Stäckel可分离性，从而可通过积分求解。分离坐标作为线性束 $ G - \mu\tilde{G} $ 的特征根，推广了椭圆坐标与抛物坐标，将经典可分离性理论扩展至非正则、可积的牛顿系统，其一阶积分为二次型。

ABSTRACT

A conservative Newton system (d/dt)^2 q = -grad V(q) in R^n is called separable when the Hamilton--Jacobi equation for the natural Hamiltonian H = (1/2) p^2 + V(q) can be solved through separation of variables in some curvilinear coordinates. If these coordinates are orhogonal, the Newton system admits n first integrals, which all have separable Stackel form with quadratic dependence on p. We study here separability of the more general class of Newton systems (d/dt)^2 q = -cof G^(-1) grad W(q) that admit n quadratic first integrals. We prove that a related system with the same integrals can be transformed through a non-canonical transformation into a Stackel separable Hamiltonian system and solved by qudratures, providing a solution to the original system. The separation coordinates, which are defined as characteristic roots of a linear pencil (G - mu G~) of elliptic coordinates matrices, generalize the well known elliptic and parabolic coordinates. Examples of such new coordinates in two and three dimensions are given. These results extend, in a new direction, the classical separability theory for natural Hamiltonians developed in the works of Jacobi, Liouville, Stackel, Levi-Civita, Eisenhart, Benenti, Kalnins and Miller.

研究动机与目标

• 将经典的哈密顿-雅可比可分离性理论扩展至非正则牛顿系统，这些系统并非自然哈密顿系统。
• 解决非正则系统中哈密顿-雅可比可分离性概念不明确的问题。
• 证明具有 $ n $ 个二次一阶积分的共因子对系统可被转化为正则的、Stäckel可分离的哈密顿系统。
• 显式导出分离坐标作为线性束 $ G - \mu\tilde{G} $ 的特征值，推广已知的椭圆坐标与抛物坐标。
• 提供一种通过变换后的可分离系统，利用积分求解此类系统的构造性方法。

提出的方法

• 提出一种非正则变换，将共因子对牛顿系统映射为具有可分离Stäckel形式的正则哈密顿系统。
• 利用系统的动能与势能结构，在分离坐标 $ x $ 下定义相关哈密顿函数 $ H(x,y) $，其中 $ y $ 为共轭动量。
• 将分离坐标构造为线性束 $ G - \mu\tilde{G} $ 的特征根，其中 $ G $ 与 $ \tilde{G} $ 为椭圆坐标矩阵。
• 证明变换后的系统在Stäckel形式下具有 $ n $ 个二次一阶积分，满足代数Stäckel条件。
• 应用Levi-Civita可分离性条件，验证哈密顿-雅可比方程可分解为独立的常微分方程。
• 利用对称多项式与Stäckel矩阵理论，以分离函数 $ f_k(u_k) $ 的形式导出通解。

实验结果

研究问题

• RQ1 Stäckel可分离性能否推广至非正则牛顿系统，这些系统并非自然哈密顿系统？
• RQ2 是否存在系统性方法，将共因子对系统转化为正则的、Stäckel可分离的哈密顿系统？
• RQ3 对于一般共因子对系统，其适当的分离坐标是什么，超越标准的椭圆与抛物坐标？
• RQ4 原系统中二次一阶积分与变换后系统中Stäckel形式的关系如何？
• RQ5 能否从变换后系统的分离解中恢复原牛顿系统的解？

主要发现

• 存在一种非正则变换，可将任意共因子对系统映射为具有可分离Stäckel形式的正则哈密顿系统。
• 分离坐标被定义为线性束 $ G - \mu\tilde{G} $ 的特征根，推广了经典的椭圆坐标与抛物坐标。
• 变换后的系统在Stäckel形式下具有 $ n $ 个二次一阶积分，确保通过变量分离实现可积性。
• 原牛顿系统的解可通过从变换后可分离系统的解中重新标定时间获得。
• 分离系统中的势能满足一组PDE，其通解形式为 $ V = \sum \psi_{1k} f_k(u_k) $，其中 $ \psi_{1k} $ 为逆Stäckel矩阵的元素。
• 该方法通过积分求解提供了系统的构造性解法，将经典哈密顿-雅可比方法扩展至更广泛的动力系统类别。