[论文解读] From integrable equations to Laurent recurrences

Khaled Hamad, Peter H. van der Kamp|arXiv (Cornell University)|Dec 18, 2014

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

一句话总结

本文提出一种递归分解方法，从可积差分方程推导具有洛朗性质的递推关系。通过齐次化有理递推关系并迭代分解多项式序列，该方法构造出具有周期系数（k=4时周期为8，k=5时周期为7）的非自治Somos-k递推关系，并通过除数控制证明洛朗性质。该方法应用于DTKQ-N方程，得到具有周期系数的高阶洛朗递推关系，包括N=3时的六阶递推关系（周期为8）。该方法通过基于除数的递推推导，提供了洛朗性质的构造性证明。

ABSTRACT

Based on a recursive factorisation technique we show how integrable difference equations give rise to recurrences which possess the Laurent property. We derive non-autonomous Somos-$k$ sequences, with $k=4,5$, whose coefficients are periodic functions with period 8 for $k=4$, and period 7 for $k=5$, and which possess the Laurent property. We also apply our method to the DTKQ-$N$ equation, with $N=2,3$, and derive Laurent recurrences with $N+2$ terms, of order $N+3$. In the case $N=3$ the recurrence has periodic coefficients with period 8. We demonstrate that recursive factorisation also provides a proof of the Laurent property.

研究动机与目标

• 建立一种系统化方法，从可积差分方程生成具有洛朗性质的递推关系。
• 通过控制从有理递推关系导出的多项式序列中除数重数，构造性地证明洛朗性质。
• 利用递归分解推导出k=4,5时具有周期系数的非自治Somos-k递推关系。
• 将该方法扩展至DTKQ-N方程，为N=2,3生成具有周期系数的高阶洛朗递推关系。
• 通过从齐次化系统推导基于除数的递推关系，提供洛朗性质的构造性证明。

提出的方法

• 将有理递推关系 $ u_{n+N} = R(u_n, \tdots, u_{n+N-1}) $ 齐次化为多项式序列 $ a_n $ 和 $ b_n $，其中 $ u_n = a_n / b_n $。
• 对齐次化系统应用超离散极限，以控制 $ a_n $ 和 $ b_n $ 中公共因子的次数和重数的增长。
• 使用递归分解：在除以先前识别出的公共因子后，将新序列 $ e_n $ 定义为 $ a_n $ 和 $ b_n $ 的商。
• 推导出除数序列 $ e_n $ 的非线性有理递推关系，由于构造方式，$ e_n $ 为多项式，从而保证洛朗性质。
• 通过迭代递推关系并检查分子和分母多项式是否与先前项互质，验证洛朗性质。
• 对于DTKQ-N方程，推测除数重数具有周期性（例如，N=3时周期为8），并利用此性质定义具有周期系数的洛朗递推关系。

实验结果

研究问题

• RQ1 是否可以使用递归分解，系统地将可积差分方程转化为具有洛朗性质的递推关系？
• RQ2 从可积系统导出的非自治Somos-k递推关系的结构是什么？其系数表现出何种周期性？
• RQ3 如何控制从有理递推关系导出的多项式序列中除数重数，以证明洛朗性质？
• RQ4 递归分解方法能否扩展至更高阶可积方程（如DTKQ-N方程）？
• RQ5 公共因子重数的周期性在生成具有周期系数的洛朗递推关系中起什么作用？

主要发现

• 递归分解方法成功生成一个具有周期为8的系数的非自治Somos-4递推关系。
• 推导出一个具有周期为7的系数的非自治Somos-5递推关系，两者均满足洛朗性质。
• 对于DTKQ-2方程，构造出一个六阶洛朗递推关系，包含五个项，其系数具有周期为8的性质。
• 对于DTKQ-3方程，推导出一个六阶洛朗递推关系，其系数具有周期为8的性质，该结果基于对除数重数周期性的猜想。
• 猜想 $ a_n $ 和 $ b_n $ 中 $ z_2 $ 的重数之差具有周期为8的性质（$ \theta_n = [0,1,0,-1,-1,2,-1,-1] $），由此导出具有周期系数的洛朗递推关系。
• 通过迭代递推关系并确认分子与分母多项式与早期项互质，验证了所推导递推关系的洛朗性质，从而确保其为洛朗多项式结构。