[論文レビュー] 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.

研究の動機と目的

• 離散自転車対応を ℝⁿ 内の多角形上の幾何的変換として確立すること。
• 閉多角形に関連するモノドロミー写像がメビウス変換であることを証明すること。
• 再カット操作の下でモノドロミー不変量が保存されることを示すこと。
• 異なる長さパラメータを持つ離散自転車変換同士が可換であることを示すこと。
• 離散自転車対応のリウヴィル可積分性を証明するための基礎的結果を構築すること。

提案手法

• 平行移動による線分の移動と直線に関する反射を含む2段階の幾何的構成により、離散自転車対応を定義する。
• 多角形 W を、|V₁V₂| = |W₁W₂| かつ |V₁W₁| = |V₂W₂| = ℓ を満たす等脚台形 V₁V₂W₁W₂ を用いて V から構成する。
• 閉じた k 角形上での変換の合成として、初期位置から終了位置への写像としてモノドロミー写像 M_{V,ℓ} を定義する。
• M_{V,ℓ} が半径 ℓ の球面上のメビウス変換であることを証明する。
• 再カット操作の下でもモノドロミーが保存されることを示し、離散自転車系がアドラーの再カット力学系と関連することを示す。
• ビアンキの可換性を確立する：異なるパラメータを持つ2つの離散自転車変換は可換であり、共通の多角形 T を得る。

実験結果

リサーチクエスチョン

• RQ1 閉多角形上の離散自転車変換のモノドロミーはメビウス変換か？
• RQ2 離散自転車対応のモノドロミー不変量は多角形の再カットの下でも保存されるか？
• RQ3 異なる長さパラメータを持つ離散自転車変換が可換であることを示せるか？
• RQ4 特に n=4k のとき、自転車 (n,k)-多角形の幾何的構造は何か？
• RQ5 離散自転車対応は連続的自転車運動およびそのモノドロミーとどのように関係するか？

主な発見

• ℝⁿ 内の閉じた k 角形 V に対して、モノドロミー写像 M_{V,ℓ} は半径 ℓ の球面上のメビウス変換である。
• 離散自転車対応にある閉多角形 V と W に対して、任意の λ に対してモノドロミー M_{V,λ} と M_{W,λ} は共役であり、共通の不変量を持つことを示す。
• 離散自転車対応は再カット操作と可換である：両方の変換はモノドロミーを保存し、互いにペアワイズに可換である。
• 自転車 (4k,k)-多角形に対して、k が偶数のとき多角形は正多角形でなければならない。k が奇数のとき、偶数番目の頂点と奇数番目の頂点は同心円上にあり、正 2k 角形の構造をなす。
• ダーボウ・バタフライ多角形のモノドロミーはすべての ℓ に対して恒等写像であり、可積分性の特別なケースを確認する。
• 離散自転車対応は再カットの下でもモノドロミーを保存し、モノドロミーから得られる不変量は両システムの共通の積分である。