[论文解读] On a class of third order mappings with two rational invariants

V. É. Adler|ArXiv.org|Jun 23, 2006

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

一句话总结

本文提出了一类通过两个有理不变量和三个作用于变量对的对合映射构造的新可积三阶有理映射。通过确保这些对合在连续应用下保持不变量不变，该方法生成了可交换映射，并通过椭圆曲线参数化不变量曲线，通过显式代数构造和非平凡恒等式的验证，展示了其可积性。

ABSTRACT

A novel family of integrable third order maps is presented. Each map possesses, by construction, a pair of rational invariants and a commuting map from the same class. The 3-dimensional invariant curve is parametrized, in general, by an elliptic curve.

研究动机与目标

• 通过两个有理不变量构造一类新的可积三阶有理映射。
• 建立所得映射为对合且满足非平凡交换恒等式，从而确保可积性。
• 证明不变量曲线在一般情况下由椭圆曲线参数化，将动力学与代数几何联系起来。
• 提供多项式和有理不变量的显式例子，展示映射的复杂性与可积性。
• 探讨对合映射变为置换或彼此可交换的退化情形，揭示不变量曲线上有限群的行为。

提出的方法

• 定义两个有理不变量 $ I = f/g $, $ J = h/k $，其中 $ f,g,h,k $ 是 $ x,y,z $ 的仿射线性多项式。
• 构造三个对合映射 $ R_1, R_2, R_3 $，每个映射固定一个变量，并求解其余两个变量，使得 $ I $ 和 $ J $ 保持不变。
• 利用 $ \tilde{y}, \tilde{z} $ 的两个方程组为二次方程，且已知解 $ (y,z) $，因此第二个解为有理函数。
• 证明映射满足恒等式 $ R_1 R_2 R_3 = R_3 R_2 R_1 $，该恒等式非平凡且对可积性至关重要。
• 定义可交换映射 $ T_1 = R_2 R_3 $, $ T_2 = R_3 R_1 $, $ T_3 = R_1 R_2 $，它们保持相同的不变量。
• 通过证明不变量曲线 $ f = Ig, h = Jk $ 为亏格一曲线（即椭圆曲线），并验证动力学在其上闭合，从而验证可积性。

实验结果

研究问题

• RQ1 能否通过两个有理不变量和对变量对的对合更新，系统地构造出可积的三阶有理映射？
• RQ2 对合映射必须满足哪些代数恒等式，才能保证可交换映射的存在性和可积性？
• RQ3 不变量曲线的结构（如亏格、有理性）如何与不变量的形式及由此产生的动力学相关联？
• RQ4 在何种条件下，对合映射会退化为置换，或在不变量曲线上生成有限群？
• RQ5 能否构造出具有多项式或有理不变量的显式例子，以展示映射的可积性与复杂性？

主要发现

• 映射 $ R_1, R_2, R_3 $ 为对合，保持两个有理不变量 $ I $ 和 $ J $，并满足非平凡恒等式 $ R_1 R_2 R_3 = R_3 R_2 R_1 $，该恒等式对可积性至关重要。
• 所得映射 $ T_1 = R_2 R_3 $, $ T_2 = R_3 R_1 $, $ T_3 = R_1 R_2 $ 可交换且共享相同的不变量，确认了系统的可积性。
• 由 $ f = Ig $, $ h = Jk $ 定义的不变量曲线在一般情况下为亏格一曲线，即椭圆曲线，用于参数化动力学。
• 显式例子表明，映射可极为复杂：在一个例子中 $ T_1 $ 包含 831 项，$ R_1 $ 包含 84 项，尽管不变量形式简单。
• 存在退化情形，其中 $ R_1 $ 为平凡映射（恒等映射），但 $ T_1 $ 仍为非平凡映射，且不变量曲线变为有理曲线。
• 在对称情形下，例如当不变量在 $ x,y,z $ 中对称时，对合映射彼此可交换，并生成有限群，使动力学退化为有限轨道。