[论文解读] Binary nonlinearization for the Dirac systems

Wen‐Xiu Ma|ArXiv.org|Dec 6, 1995

Spectral Theory in Mathematical PhysicsMathematics参考文献 3被引用 21

一句话总结

本文通过在特征函数和共轭特征函数上施加Bargmann对称约束，提出了一种Dirac系统二元非线性化技术，将Lax对转化为有限维Liouville可积哈密顿系统。关键结果是给出了一个具有可积性通过初等积分表示的解的对合表示，通过哈密顿流和守恒量展示了该系统的完全可积性。

ABSTRACT

A Bargmann symmetry constraint is proposed for the Lax pairs and the adjoint Lax pairs of the Dirac systems. It is shown that the spatial part of the nonlinearized Lax pairs and adjoint Lax pairs is a finite dimensional Liouville integrable Hamiltonian system and that under the control of the spatial part, the time parts of the nonlinearized Lax pairs and adjoint Lax pairs are interpreted as a hierarchy of commutative, finite dimensional Liouville integrable Hamiltonian systems whose Hamiltonian functions consist of a series of integrals of motion for the spatial part. Moreover an involutive representation of solutions of the Dirac systems exhibits their integrability by quadratures. This kind of symmetry constraint procedure involving the spectral problem and the adjoint spectral problem is referred to as a binary nonlinearization technique like a binary Darboux transformation.

研究动机与目标

• 提出一种新颖的对称约束方法——Dirac型可积系统中的二元非线性化。
• 建立Dirac系统Lax对及其共轭Lax对与有限维哈密顿系统之间的联系。
• 证明受约束系统为Liouville可积，并且其解可表示为初等积分形式。
• 通过同时包含特征函数与共轭特征函数，推广非线性化技术，类似于二元Darboux变换。

提出的方法

• 在谱问题及其共轭问题上施加Bargmann对称约束，将特征函数与共轭特征函数与谱参数的变分导数联系起来。
• 证明非线性化Lax对的空间部分构成一个有限维Liouville可积哈密顿系统，其哈密顿函数为H。
• 将非线性化Lax对的时间部分解释为具有哈密顿函数F_n的可交换、有限维Liouville可积系统，F_n由空间部分的运动积分导出。
• 通过与H和F_{n+1}分别相关的哈密顿相流g^x_H与g^{t_n}_{F_{n+1}}，构造解的对合表示。
• 从V²的迹推导出约束c² + a² - b² = 1，以确保非线性化的一致性。
• 该方法通过同时包含原始谱问题与共轭谱问题，扩展了标准非线性化，形成二元结构。

实验结果

研究问题

• RQ1 如何构建一个对称约束，使其同时涉及Dirac系统中的特征函数与共轭特征函数？
• RQ2 能否证明非线性化Lax对与共轭Lax对构成有限维Liouville可积哈密顿系统？
• RQ3 哈密顿函数F_n在受约束系统时间演化中起什么作用？
• RQ4 解的对合表示如何体现通过初等积分实现的可积性？
• RQ5 二元非线性化与标准非线性化或二元Darboux变换之间存在何种关系？

主要发现

• 非线性化Lax对与共轭Lax对的空间部分构成一个具有哈密顿函数H的有限维Liouville可积哈密顿系统。
• 非线性化Lax对的时间部分为可交换的有限维Liouville可积系统，其哈密顿函数F_n由空间部分的运动积分构成。
• 推导出解的对合表示，表明Dirac系统的解可通过哈密顿相流g^x_H与g^{t_n}_{F_{n+1}}表示。
• 约束c² + a² - b² = 1恒成立，确保了非线性化的自洽性及系统的闭包性。
• 二元非线性化技术生成一大类有限维Liouville可积哈密顿系统，扩展了标准非线性化方法。
• 在特定约化下（如Ψ₁ = -Φ₂, Ψ₂ = Φ₁），系统退化为与标准非线性化相容的形式，证实了二元方法的更广泛应用性。