[论文解读] The algebro-geometric initial value problem for the Ablowitz-Ladik hierarchy

Fritz Gesztesy, Helge Holden+2 more|ArXiv.org|Jun 22, 2007

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

一句话总结

本文通过为一般（非酉）Lax算子开发一种新颖的逆谱算法，建立了复初始数据下Ablowitz–Ladik谱系的代数几何解的全局存在性与唯一性。通过使用一阶时间演化系统与谱曲线技术，证明了在全测度初始数据集合上的唯一可解性。

ABSTRACT

We discuss the algebro-geometric initial value problem for the Ablowitz-Ladik hierarchy with complex-valued initial data and prove unique solvability globally in time for a set of initial (Dirichlet divisor) data of full measure. To this effect we develop a new algorithm for constructing stationary complex-valued algebro-geometric solutions of the Ablowitz-Ladik hierarchy, which is of independent interest as it solves the inverse algebro-geometric spectral problem for general (non-unitary) Ablowitz-Ladik Lax operators, starting from a suitably chosen set of initial divisors of full measure. Combined with an appropriate first-order system of differential equations with respect to time (a substitute for the well-known Dubrovin-type equations), this yields the construction of global algebro-geometric solutions of the time-dependent Ablowitz-Ladik hierarchy. The treatment of general (non-unitary) Lax operators associated with general coefficients for the Ablowitz-Ladik hierarchy poses a variety of difficulties that, to the best of our knowledge, are successfully overcome here for the first time. Our approach is not confined to the Ablowitz-Ladik hierarchy but applies generally to (1+1)-dimensional completely integrable soliton equations of differential-difference type.

研究动机与目标

• 求解Ablowitz–Ladik谱系在复初始数据下的初值问题，突破标准非聚焦或聚焦情形的限制。
• 为与任意系数相关的普遍（非酉）Lax算子构造全局代数几何解。
• 克服非酉情形下此前阻碍逆谱问题完整求解的技术难题。
• 为全测度初始数据集合开发一种新算法，用于从初始除子构造平稳解。
• 将该方法推广至所有(1+1)维完全可积的孤子型微分差分系统。

提出的方法

• 引入一种新的逆谱算法，从全测度初始除子出发，构造Ablowitz–Ladik谱系的平稳复值代数几何解。
• 使用一阶时间微分方程组（作为Dubrovin型方程的替代）实现初始数据在时间上的全局演化。
• 利用亏格为 $ p = p_- + p_+ - 1 $ 的双曲型曲线上的谱曲线理论，其仿射部分非奇异。
• 通过在 $ P_{\infty_\pm} $ 和 $ P_{0\pm} $ 附近对 $ F_{\tilde{p}}/y $、$ G_{\tilde{p}}/y $ 和 $ H_{\tilde{p}}/y $ 进行渐近展开，推导出系数的递推关系。
• 建立齐次系数 $ \hat{f}_{\ell,\pm} $、$ \hat{g}_{\ell,\pm} $、$ \hat{h}_{\ell,\pm} $ 与谱参数之间的联系，关系式为 $ c_{\ell,\pm} = c_{0,\pm} c_\ell(\underline{E}^{\pm 1}) $。
• 将该理论应用于时变Ablowitz–Ladik谱系，在所构建的框架下确保解的全局存在性与唯一性。

实验结果

研究问题

• RQ1 Ablowitz–Ladik谱系的初值问题能否在复初始数据下实现全局求解，包括非酉情形？
• RQ2 如何利用逆谱方法为一般（非酉）Lax算子构造代数几何时解？
• RQ3 除子数据在决定系统全局时间演化中起什么作用？
• RQ4 谱曲线以及在无穷远点与有限分支点附近的渐近展开如何促进解的构造？
• RQ5 是否可能将Dubrovin型系统推广至非酉情形，以确保全局可解性？

主要发现

• 本文证明了Ablowitz–Ladik谱系的初值问题在全测度初始（Dirichlet除子）数据集合上具有唯一全局可解性。
• 开发了一种新的逆谱算法，可从初始除子构造平稳复值代数几何时解，适用于一般（非酉）Lax算子。
• 时间演化由一阶微分方程组控制，该系统将Dubrovin型方程推广至非酉情形。
• 该方法适用于所有(1+1)维完全可积的孤子型微分差分方程，不仅限于Ablowitz–Ladik谱系。
• 推导出 $ F_{\tilde{p}}/y $、$ G_{\tilde{p}}/y $ 和 $ H_{\tilde{p}}/y $ 的渐近展开，并给出了系数 $ \hat{f}_{\ell,\pm} $、$ \hat{g}_{\ell,\pm} $、$ \hat{h}_{\ell,\pm} $ 的显式递推关系。
• 通过 $ c_{\ell,\pm} = c_{0,\pm} c_\ell(\underline{E}^{\pm 1}) $ 建立了谱参数与系数 $ c_{\ell,\pm} $ 之间的联系，实现了对解的完整重构。