[论文解读] A Bi-Hamiltonian Theory for Stationary KdV Flows and their Separability

Gregorio Falqui, Franco Magri+2 more|arXiv (Cornell University)|Mar 9, 2000

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

一句话总结

本文提出了一种基于无限维Lax系统的新型双哈密顿框架，用于静止KdV流，通过显式构造的分离变量的泊松铅笔，建立了其可分离性。关键贡献在于通过双哈密顿结构识别出分离变量，并给出了哈密顿量和谱曲线在这些变量下的显式公式。

ABSTRACT

We present a fairly new and comprehensive approach to the study of stationary flows of the Korteweg-de Vries hierarchy. They are obtained by means of a double restriction process from a dynamical system in an infinite number of variables. This process naturally provides us with a Lax representation of the flows, which is used to find their bi-Hamiltonian formulation. Then we prove the separability of these flows making use of their bi-Hamiltonian structure, and we show that the variables of separation are supplied by the Poisson pair.

研究动机与目标

• 开发一种系统化的双哈密顿方法来研究静止KdV流，避免依赖代数几何构造。
• 通过从无限维KdV族的双重限制过程，推导出静止KdV流的Lax表示。
• 利用其内在的双哈密顿结构，证明这些流的可分离性。
• 显式地将分离变量识别为泊松对的函数。
• 将该方法推广至其他Gel’fand–Dickey族，并与代数几何分离方法进行比较。

提出的方法

• 通过从无限维KdV族的双重限制过程推导静止KdV流，得到一个在5维流形上的有限维动力系统。
• 为约化系统构造Lax矩阵表示，特别是 $\mathsf{V}^{(5)}$，以实现守恒量的识别。
• 在相空间 $\mathcal{M}_5$ 上定义泊松铅笔 $P_\lambda = P_0 + \lambda P_1$，其中 $P_0$ 和 $P_1$ 为相容的泊松结构。
• 通过Lax矩阵的平方的迹计算卡西米尔量 $H(\lambda) = H_0 + H_1\lambda + H_2\lambda^2$，从而得到谱曲线。
• 利用Nijenhuis张量及其最小多项式，将分离坐标 $\lambda_1, \lambda_2$ 定义为多项式 $\lambda^2 - h_1\lambda + h_1^2 - h_3$ 的根。
• 通过向量场 $Y = \partial / \partial h_4$ 作用于卡西米尔量，构造分离变量 $\mu_1, \mu_2$，得到 $\mu_i = h_2\lambda_i + h_4 - h_1 h_2$。

实验结果

研究问题

• RQ1 能否在不预先使用代数几何工具的前提下，为静止KdV流构建系统化的双哈密顿框架？
• RQ2 双哈密顿方法中的分离变量与经典代数几何方法所得的分离变量有何关系？
• RQ3 泊松铅笔在生成有限维KdV约化的分离变量中起着怎样的精确作用？
• RQ4 KdV族的双哈密顿结构能否系统地约化，以得到可分离的静止流？
• RQ5 在双哈密顿分离过程中，谱曲线和哈密顿量如何变换？

主要发现

• 静止KdV流 $\mathrm{KdV}_5$ 被实现为在 $\mathcal{M}_5$ 上的5维哈密顿系统，其运动方程由Lax表示导出。
• 在 $\mathcal{M}_5$ 上显式构造了泊松铅笔 $P_\lambda$，其中 $P_0$ 和 $P_1$ 相容，其卡西米尔量 $H(\lambda)$ 计算为 $H_0 + H_1\lambda + H_2\lambda^2$。
• $P_0$ 的辛叶是 $H_2 = c$ 的等值集，在每个叶 $\mathcal{S}_c$ 上，通过删除最后一行和最后一列得到约化泊松铅笔。
• 分离变量 $\lambda_1, \lambda_2$ 是Nijenhuis张量的最小多项式 $\lambda^2 - h_1\lambda + h_1^2 - h_3$ 的根。
• 变量 $\mu_1, \mu_2$ 定义为 $\mu_i = h_2\lambda_i + h_4 - h_1 h_2$，且满足谱曲线关系 $-c\lambda_i^2 + \mu_i^2 - \lambda_i^5 = 0$。
• 限制在 $\mathcal{S}_c$ 上的哈密顿量 $\widehat{H}_0$ 和 $\widehat{H}_1$ 在变量 $(\lambda_1, \mu_1), (\lambda_2, \mu_2)$ 下实现分离，从而确认了该系统的可分离性。