[论文解读] On the discrete bicycle transformation

Serge Tabachnikov, Emmanuel Tsukerman|arXiv (Cornell University)|Nov 10, 2012

Mathematics and Applications参考文献 16被引用 18

一句话总结

本文提出了一种离散自行车变换，通过涉及等腰梯形的几何构造将ℝⁿ中的多边形映射，这些等腰梯形由平行移动和反射生成。证明了该变换的单值性为莫比乌斯变换，建立了其与重新切割映射的可交换性，并表明单值性不变量构成守恒量，推进了离散自行车动力系统李群可积性的研究。

ABSTRACT

We study the dynamics of the discrete bicycle (Darboux, Backlund) transformation of polygons in n-dimensional Euclidean space. This transformation is a discretization of the continuous bicycle transformation, recently studied by Foote, Levi, and Tabachnikov. We prove that the respective monodromy is a Moebius transformation. Working toward establishing complete integrability of the discrete bicycle transformation, we describe the monodromy integrals and prove the Bianchi permutability property. We show that the discrete bicycle transformation commutes with the recutting of polygons, a discrete dynamical system, previously studied by V. Adler. We show that a certain center associated with a polygon and discovered by Adler, is preserved under the discrete bicycle transformation. As a case study, we give a complete description of the dynamics of the discrete bicycle transformation on plane quadrilaterals.

研究动机与目标

• 建立离散自行车对应作为ℝⁿ中多边形上的几何变换。
• 证明与闭多边形相关的单值性映射是一个莫比乌斯变换。
• 证明离散自行车对应下的单值性不变量在重新切割操作下保持不变。
• 证明不同长度参数下的离散自行车变换之间具有可交换性。
• 为证明离散自行车对应的李群可积性奠定基础性结果。

提出的方法

• 通过两步几何构造定义离散自行车对应：先将线段平行移动，再关于一条直线反射。
• 使用规则从V构造多边形W，使得V₁V₂W₁W₂构成一个等腰梯形，满足|V₁V₂| = |W₁W₂|且|V₁W₁| = |V₂W₂| = ℓ。
• 将单值映射M_{V,ℓ}定义为在闭k边形上各步变换的复合，映射初始位置到终止位置。
• 证明M_{V,ℓ}是半径为ℓ的球面上的莫比乌斯变换。
• 证明单值性在重新切割操作下保持不变，将离散自行车系统与Adler的重新切割动力学联系起来。
• 建立Bianchi可交换性：具有不同参数的两个离散自行车变换可交换，产生一个共同多边形T。

实验结果

研究问题

• RQ1 闭多边形上离散自行车变换的单值性是否为莫比乌斯变换？
• RQ2 离散自行车对应下的单值性不变量在多边形重新切割后是否保持不变？
• RQ3 能否证明不同长度参数下的离散自行车变换具有可交换性？
• RQ4 自行车(n,k)-边形的几何结构是什么，特别是当n=4k时？
• RQ5 离散自行车对应与连续自行车运动及其单值性之间有何关系？

主要发现

• 对于ℝⁿ中闭k边形V，其单值性映射M_{V,ℓ}是半径为ℓ的球面上的莫比乌斯变换。
• 对于处于离散自行车对应的闭多边形V和W，对所有λ，单值性M_{V,λ}与M_{W,λ}共轭，意味着它们共享不变量。
• 离散自行车对应与重新切割操作可交换：两种变换均保持单值性，且两两可交换。
• 对于自行车(4k,k)-边形，若k为偶数，则多边形必为正多边形；若k为奇数，则偶数顶点与奇数顶点分别位于同心圆上，形成正2k边形结构。
• 达布蝴蝶多边形的单值性对所有ℓ均为恒等变换，确认了可积性的一个特例。
• 离散自行车对应在重新切割下保持单值性，且由单值性导出的不变量是两个系统共有的积分。