[论文解读] Discrete Boussinesq-type equations

Jarmo Hietarinta, Da‐jun Zhang|arXiv (Cornell University)|Dec 1, 2020

Nonlinear Waves and Solitons参考文献 27被引用 4

一句话总结

本文通过多维一致性和直接线性化方法，系统地推导并综述了基于四边形上三组分格点系统的离散Boussinesq型方程。推导出一维和二维形式，建立连续极限，得到正规、修正和Schwarzian型Boussinesq方程，并提供了Lax对、Hirota双线性形式及基于Casoratian的多孤子解，将多种可积离散系统统一于同一框架之下。

ABSTRACT

We present a comprehensive review of the discrete Boussinesq equations based on their three-component forms on an elementary quadrilateral. These equations were originally found by Nijhoff et al using the direct linearization method and later generalized by Hietarinta using a search method based on multidimensional consistency. We derive from these three-component equations their two- and one-component variants. From the one-component form we derive two different semi-continuous limits as well as their fully continuous limits, which turn out to be PDE's for the regular, modified and Schwarzian Boussinesq equations. Several kinds of Lax pairs are also provided. Finally we give their Hirota bilinear forms and multi-soliton solutions in terms of Casoratians.

研究动机与目标

• 通过多维一致性与直接线性化方法，系统推导并分类基于三组分格点系统的离散Boussinesq型方程。
• 通过代数消去法将三组分方程约化为一维和二维形式，同时保持可积性。
• 建立一维形式的半连续与全连续极限，恢复已知的连续Boussinesq型PDE。
• 为关键方程（A2、B2、C3）构造Lax对与Hirota双线性形式，通过Casoratian实现解的生成。
• 将不同来源的可积格点系统统一于单一框架下，通过规范变换与Möbius变换阐明其内在联系。

提出的方法

• 以多维一致性（MDC）与围绕立方体的一致性（CAC）作为主要可积性判据，对三组分离散方程进行分类。
• 应用代数消去技术，将三组分系统约化为更大星形上的单组分与双组分形式。
• 通过参数缩放推导连续极限：直线极限、斜向极限与双重极限，导出如正规、修正与Schwarzian型Boussinesq方程等PDE。
• 利用依赖于谱参数的线性系统，为B2、A2与C3方程构造Lax对，确保系统的可积性。
• 采用Hirota双线性方法与Casoratian行列式，为A2与C3方程推导精确的多孤子解。
• 通过三重平移变量与Laplace展开，推导双线性结构并验证解的有效性。

实验结果

研究问题

• RQ1 如何利用多维一致性系统地推导并分类三组分离散Boussinesq型方程？
• RQ2 三组分离散Boussinesq系统的单组分与双组分约化形式是什么？它们如何保持可积性？
• RQ3 这些方程的一组分形式的连续极限是什么？它们与已知连续Boussinesq方程有何关系？
• RQ4 离散Boussinesq方程的Lax对是什么？它们如何支持系统的可积性？
• RQ5 如何利用Hirota双线性形式与Casoratian行列式为A2与C3方程构造精确的多孤子解？

主要发现

• 通过多维一致性与直接线性化方法推导出的三组分离散Boussinesq方程，在统一框架下实现统一，其相互关系通过规范变换与Möbius变换得以建立。
• 通过代数消去法获得方程的一组分形式，其半连续与全连续极限重现了正规、修正与Schwarzian型Boussinesq方程。
• 为B2、A2与C3方程显式构造了Lax对，证实了其可积性，并支持谱分析。
• 为A2与C3方程推导出Hirota双线性形式，多孤子解以Casoratian行列式表达，提供精确解析解。
• 显式推导出双组分形式（如A2、B2、C3）的三重平移变量，揭示了非平凡的变换规则，且不依赖四面体性质。
• 在适当缩放格点参数的条件下，所有三个方程（A2、B2、C3）的连续极限均收敛至其对应的连续Boussinesq型PDE。