[论文解读] Algebraic entropy for differential-delay equations

C.-M. Viallet|arXiv (Cornell University)|Aug 26, 2014

Advanced Differential Equations and Dynamical Systems参考文献 13被引用 12

一句话总结

该论文通过将离散移位与连续导数作用于同一变量，将代数熵的概念扩展至微分-时滞方程，实现了通过熵消失来检验可积性的方法。研究表明，诸如时滞Painlevé方程等可积系统可通过该测试，且提出了一种折叠方法，可从已知的零熵微分-差分系统生成新的可积微分-时滞方程。

ABSTRACT

We extend the definition of algebraic entropy to a class of differential-delay equations. The vanishing of the entropy, as a structural property of an equation, signals its integrability. We suggest a simple way to produce differential-delay equations with vanishing entropy from known integrable differential-difference equations.

研究动机与目标

• 将代数熵框架——此前用于映射和微分-差分方程——扩展至混合了微分项与时滞项的新方程类。
• 基于代数熵消失建立微分-时滞方程可积性的结构化检验方法。
• 提供一种系统化方法，从已知的可积微分-差分系统生成新的可积微分-时滞方程。
• 证明由可积晶格方程（如Ablowitz-Ladik系统）导出的方程，在折叠过程中保持零代数熵。

提出的方法

• 将未知函数及其在离散时间点的导数表示为射影空间中的齐次坐标，以处理双有理映射。
• 通过在最老变量中为双有理映射φ定义有理函数（其形式为分式线性），实现从时间t到t+1状态的映射，确保代数结构。
• 通过极限 lim_{m→∞} (1/m) log(w_m) 计算代数熵ε，其中w_m为第m次迭代的次数。
• 利用生成函数和次数序列w_n的递推关系，高效计算熵，尤其当生成函数为有理函数时。
• 应用折叠过程：将具有零熵的微分-差分系统通过将离散空间变量与连续时间变量等同，映射为微分-时滞系统。
• 利用乘子(κ_φ, κ_ψ)进行奇点分析，检测因式分解与权重下降，当熵消失时，这些现象标志可积性。

实验结果

研究问题

• RQ1 代数熵的概念能否在微分-时滞方程中被有意义地扩展，其中导数与移位作用于同一时间变量？
• RQ2 对于微分-时滞方程，代数熵消失是否仍为可积性的可靠指标，如同其在映射与微分-差分系统中的表现？
• RQ3 能否通过折叠构造，从已知的可积微分-差分系统系统性地生成可积微分-时滞方程？
• RQ4 当已知可积方程中的参数被扰动时，熵如何变化，这对可积性有何含义？
• RQ5 有理生成函数与次数序列的递推关系在确定此类系统熵中的作用是什么？

主要发现

• 时滞Painlevé方程（4）的代数熵为零，通过熵测试确认其可积性。
• 方程（4）的次数序列w_n满足线性递推关系：w_{n+4} - 2w_{n+3} + 2w_{n+1} - w_n = 0，其特征多项式为(s+1)(s-1)^3。
• 次数的渐近增长为二次型：w_n = (1/8)(6n^2 + 9 - (-1)^n)，由于对代数整数取对数为零当且仅当次数多项式增长，因此确认熵为零。
• 当扰动方程（9）中的参数λ ≠ ±1时，次数序列呈指数增长w_n = 2^n，导致熵ε = log(2) > 0，表明非可积性。
• 当λ = -1时，次数序列以非零熵增长，其有理生成函数为g(s) = (1 + s^4)/((1-s)(1-s-s^2-s^3))，进一步证实非可积性。
• 折叠构造将Ablowitz-Ladik系统（13）-(14) 映射为微分-时滞系统（15）-(16)，保持零熵，从而保持可积性。