[论文解读] An algebraic criterion of the Darboux integrability of differential-difference equations and systems

I. T. Habibullin, М. Н. Кузнецова|arXiv (Cornell University)|Jun 16, 2021

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

一句话总结

本文通过证明此类系统在且仅在x方向和n方向的特征Lie-Rinehart代数均为有限维时是Darboux可积的，建立了半离散双曲微分差分方程Darboux可积性的代数准则。该方法利用特征向量场和代数结构来构造完备的独立积分集，为形式为 $ u_{n+1,x} = F(x,n,u_n,x,u_n,u_{n+1}) $ 的可积系统提供了一个系统化的分类框架。

ABSTRACT

The article investigates systems of differential-difference equations of hyperbolic type, integrable in sense of Darboux. The concept of a complete set of independent characteristic integrals underlying Darboux integrability is discussed. A close connection is found between integrals and characteristic Lie-Rinehart algebras of the system. It is proved that a system of equations is Darboux integrable if and only if its characteristic algebras in both directions are finite-dimensional.

研究动机与目标

• 建立双曲型微分差分方程Darboux可积性的严格代数准则。
• 通过证明此前在[20]中提出的关于形式为 $ u_{n+1,x} = F(x,n,u_n,x,u_n,u_{n+1}) $ 的系统的Darboux可积性猜想代数准则，弥合理论上的空白。
• 利用Lie-Rinehart代数表征最小阶完整独立积分集的结构。
• 将经典Darboux方法和特征代数方法从PDE推广至半离散微分差分系统。
• 为通过可积约化对三维可积格点方程进行代数分类提供基础。

提出的方法

• 将x-积分和n-积分定义为分别关于特征向量场 $ D_x $ 和 $ D_n $ 不变的函数，其不变性通过Lie导数为零来表达。
• 引入由特征向量场 $ K_0 $ 和平移不变向量场 $ X = \partial / \partial u_{n,x} $ 生成的特征Lie-Rinehart代数 $ L_x $（相应地 $ L_n $），其代数结构定义在局部解析函数环上。
• 通过逐次交换子方法和移位关系的反演，证明最小阶n-积分的完备独立积分集的存在性等价于Lie-Rinehart代数 $ L_n $ 的有限维性。
• 通过求解由Lie-Rinehart代数生成元上Lie导数为零导出的线性PDE组来构造积分。
• 利用代数结构推导出计算最小阶积分的算法，并通过显式例子加以说明。
• 将该准则应用于3D格点方程可积约化的分类，验证其在可积系统理论中的实用性。

实验结果

研究问题

• RQ1 半离散双曲微分差分方程Darboux可积性的精确代数条件是什么？
• RQ2 如何利用特征Lie-Rinehart代数的结构系统地构造完备的独立积分集？
• RQ3 经典Darboux方法和PDE的特征代数技术在多大程度上可推广至微分差分系统？
• RQ4 特征Lie-Rinehart代数的有限维性是否可作为该类系统Darboux可积性的必要且充分条件？
• RQ5 该代数准则如何应用于三维可积格点方程的分类？

主要发现

• 形如 $ u_{n+1,x} = F(x,n,u_n,x,u_n,u_{n+1}) $ 的微分差分方程系统是Darboux可积的，当且仅当其特征Lie-Rinehart代数 $ L_x $ 和 $ L_n $ 均为有限维。
• 最小阶n-积分的完备独立积分集的存在性等价于特征Lie-Rinehart代数 $ L_n $ 的有限维性，如定理3.3所证明。
• 对于标量方程 $ u_{n+1,x} = u_{n,x} + u_n^2 + u_n - u_{n+1}^2 - u_{n+1} $，找到了一个最小阶为3的x-积分：$ J = \frac{(u_{n+3} - u_{n+1})(u_{n+2} - u_n)}{(u_{n+3} - u_{n+2})(u_{n+1} - u_n)} $，以及一个阶为1的n-积分：$ I = u_{n,x} - u_n^2 - u_n $。
• 对于系统 $ u_{n+1,x}^0 = u_{n,x}^0 + e^{u_n^0 - u_n^1}, u_{n+1,x}^1 = u_{n,x}^1 - e^{u_n^0 - u_n^1} $，找到了两个独立的最小阶x-积分，分别为1阶和2阶：$ J_1 = u_{n+1}^1 + u_{n+1}^0 - u_n^1 - u_n^0 $ 和 $ J_2 = e^{u_n^1 - u_{n+1}^1} + e^{u_{n+1}^0 - u_{n+2}^0} $。
• 逐次交换子方法与移位关系的反演使得能够从Lie-Rinehart代数结构系统地构造最小阶积分。
• 特征Lie-Rinehart代数的有限维性提供了一个完整且有效的Darboux可积性代数准则，使得可积系统及其3D格点约化的系统分类成为可能。