[论文解读] Bi-Hamiltonian ODEs with matrix variables

Alexander Odesskii, Vladimir Rubtsov+1 more|arXiv (Cornell University)|May 9, 2011

Nonlinear Waves and Solitons参考文献 15被引用 3

一句话总结

本文通过相容的线性和二次非交换泊松括号，引入了一类具有矩阵变量的双哈密顿系统。它构建了一个推广了马纳科夫矩阵系统的可积哈密顿族，适用于任意 N 个矩阵，通过递归算子和卡西米尔函数证明了可积性，并从迹多项式和谱不变量中推导出显式的哈密顿流。

ABSTRACT

We consider a special class of linear and quadratic Poisson brackets related to ODE systems with matrix variables. We investigate general properties of such brackets, present an example of a compatible pair of quadratic and linear brackets and found the corresponding hierarchy of integrable models, which generalizes the two-component Manakov's matrix system in the case of arbitrary number of matrices.

研究动机与目标

• 开发一种系统框架，利用相容泊松括号研究具有矩阵变量的双哈密顿系统。
• 通过非交换泊松结构，将马纳科夫的两分量矩阵系统推广到任意数量 N 个矩阵。
• 通过卡西米尔函数导出的对易哈密顿量，建立所得 ODE 系统的可积性。
• 探索矩阵空间上在 GLm 作用下不变的二次泊松括号的代数与几何结构。
• 为未来在量子化、动力杨-巴克斯方程和非交换辛几何方面的工作奠定基础。

提出的方法

• 利用结构常数 $ b^{ ho}_{eta au} $, $ r^{ ho au}_{eta au} $, 和 $ a^{ ho au}_{eta au} $，在矩阵变量上构造线性和二次泊松括号，满足特定代数恒等式。
• 施加对 $ GL_m $-共轭作用的不变性以及迹括号的封闭性，定义非交换泊松结构。
• 应用双哈密顿定理：若两个括号相容，则其 $ au $-线性组合对所有 $ au $ 构成泊松括号，从而可构造可积哈密顿族。
• 利用递归算子 $ R = ilde{ abla}_2 abla_1^{-1} $，从非退化的线性括号出发，生成无限序列的相容泊松结构。
• 通过迹多项式 $ ext{tr}(x_eta^k) $, $ ext{tr}(x_eta^k rac{x_eta}{ u_eta - u_ au}) $, 和 $ rac{1}{2} ext{tr}(x_eta^2)/ u_eta $ 识别卡西米尔函数，这些函数生成对易的哈密顿量。
• 利用二次泊松括号从哈密顿量推导出显式 ODE 流，例如 $ rac{dx_eta}{dt} = rac{x_N x_eta - x_eta x_N}{ u_N - u_eta} $（当 $ eta < N $ 时）。

实验结果

研究问题

• RQ1 在矩阵变量上，何种条件能确保线性和二次非交换泊松括号相容？
• RQ2 如何从一对相容的泊松括号（具有矩阵值动力变量）构造一个 ODE 的可积哈密顿族？
• RQ3 此类泊松括号的卡西米尔函数结构为何？它们如何生成对易的哈密顿量？
• RQ4 当 $ N = 2 $ 时，该推广系统如何退化为马纳科夫的矩阵系统？
• RQ5 GL_m-不变性与迹封闭性在刻画非交换泊松括号类中的作用是什么？

主要发现

• 本文确立了：在矩阵变量上，相容的线性和二次非交换泊松括号由特定代数恒等式表征，涉及结构常数 $ b^{ ho}_{eta au} $, $ r^{ ho au}_{eta au} $, 和 $ a^{ ho au}_{eta au} $，其中 $ b^{ ho}_{eta au} $ 构成一个结合代数。
• 在 $ r_{eta au}^{eta au} = 1/( u_eta - u_ au) $ 的例子中，所有向量 $ ( u_1, ..., u_N) $ 均为允许的，且 $ ext{tr}( extstyleigsum_{eta=1}^N x_eta) $ 是两个括号的卡西米尔函数。
• 对易哈密顿量族包括 $ ext{tr}(x_eta^k) $ 和 $ ext{tr}(x_eta^k rac{x_ au}{ u_eta - u_ au}) $，它们相对于两个泊松括号均处于对易关系。
• 当哈密顿量为 $ H = rac{1}{2} ext{tr}(x_eta^2)/ u_eta $ 时，得到 ODE $ rac{dx_eta}{dt} = extstyleigsum_{ au e eta} rac{x_eta x_ au^2 - x_ au^2 x_eta}{( u_eta - u_ au) u_ au} + rac{x_ au x_eta^2 - x_eta^2 x_ au}{( u_eta - u_ au) u_eta} $，该式推广了马纳科夫系统。
• 当 $ N = 2 $ 时，系统退化为 $ u_t = u^2 v - v u^2 $, $ v_t = 0 $，从而恢复原始马纳科夫系统。
• 递归算子 $ R = ilde{ abla}_2 abla_1^{-1} $ 从初始一对括号生成无限序列的相容泊松结构，通过谱不变量确保系统的可积性。