[论文解读] Linear Fractional Recurrences: Periodicities and Integrability

Eric Bedford, Kyounghee Kim|ArXiv.org|Oct 22, 2009

Fractional Differential Equations Solutions参考文献 9被引用 3

一句话总结

本文通过双有理动力系统与上同调度增长研究复数域上k步线性分式递推的周期性与可积性。通过分析Picard群上的拉回作用并利用爆破构造正规化模型，证明对每个k，存在k个不同的递推关系具有周期4k，建立了周期性与解析空间上同调中特征值增长之间的联系。

ABSTRACT

We consider k-step recurrences of the form $z_{n+k} = A(z)/B(z)$, where A and B are linear functions of $z_n, z_{n+1}, ..., z_{n+k-1}$, which we call k-step linear fractional recurrences. The first Theorem in this paper shows that for each k there are k-step linear fractional recurrences which are periodic of period 4k. Among this class of recurrences, there is also the so-called Lyness process, which has the form $A(z)/B(z) = (a +z_{n+1} + z_{n+2} + ... + z_{n+k-1})/z_n$. The second Theorem shows that the Lyness process has quadratic degree growth. The Lyness process is integrable, and we discuss its known integrals.

研究动机与目标

• 确定所有参数集(α, β)，使得k步线性分式递推在复数域上对所有初值均为周期的。
• 将k=2和k=3情形下已有的周期性结果推广至一般k，识别出新的周期行为。
• 建立周期性与拉回映射f*在Pic(X)上的谱性质之间的联系，特别是通过度增长。
• 通过研究度增长与不变有理函数，分析Lyness映射(h)的可积性。
• 提供一种系统化方法，通过满足p∘f = J·p的齐次多项式构造不变有理函数，其中J为雅可比行列式。

提出的方法

• 将递推关系表示为P^k上的双有理映射fα,β，通过移位索引并应用分子与分母均为k次的有理函数定义。
• 使用上同调度增长δ(f) = lim ||(f^n)*||^{1/n}作为动力复杂性的度量，通过f*在Pic(X)上的谱半径计算。
• 通过迭代爆破构造正规化模型X，以解析奇点并确保(f^n)* = (f*)^n在Pic(X)上成立，从而支持谱分析。
• 识别满足f(E)或f^{-1}(E)的余维数>1的例外超曲面E，并利用其轨道结构指导爆破过程。
• 对Lyness映射h，通过研究拉回算子T在一次形式乘积上的作用，分析h^n的度增长。
• 通过满足p∘f = J·p的齐次多项式p构造不变有理函数，其中J为f的雅可比行列式。

实验结果

研究问题

• RQ1 对于哪些(α, β)，k步线性分式递推(0.1)在复数域上对所有初值均为周期的？
• RQ2 此类递推关系的最大非平凡周期是多少？其如何依赖于k？
• RQ3 迭代映射f^n的度增长如何与可积性及不变有理函数的存在性相关？
• RQ4 能否证明当k>3或a≠1时，Lyness映射h具有关于n的二次度增长？这对其动力行为有何含义？
• RQ5 在f作用下，有理不变量的结构如何？如何从满足p∘f = J·p的解系统地构造它们？

主要发现

• 对每个k ≥ 1，存在k个不同的递推关系，形式如(0.1)，其中α, β满足(5.3)，其周期为4k。
• 对一般(α, β)，度增长δ(f) = Δ_k > 1，表明一般递推关系并非周期的。
• 当k > 3或a ≠ 1时，Lyness映射h具有关于n的二次度增长，表明其在保持椭圆纤维结构的意义上不可积。
• 当k ≥ 3时，多项式p_0 = ∏_{j=0}^k x_j满足p_0∘f = J·p_0，其中J为雅可比行列式，因此可导出一个不变有理函数。
• 当k ≥ 5为奇数时，线性形式乘积之和Φ_even + Φ_odd满足不变性条件p∘f = J·p，从而产生额外的不变量。
• 当k > 5为偶数时，Ψ_a与Ψ_b的组合构成p∘f = J·p的解，通过迭代拉回算子T构造，证实了不变有理函数的存在性。