[論文レビュー] Tire tracks and integrable curve evolution

Gil Bor, Mark Levi+2 more|arXiv (Cornell University)|May 17, 2017

Nonlinear Waves and Solitons参考文献 34被引用数 3

ひとこと要約

本稿は、与えられた前輪の軌道から後輪の軌道を記述する1階常微分方程式（自転車方程式）を分析することで、自転車の運動、可積分系、微分幾何学の深い関係を確立する。3次元における自転車のモノドロミーがベリー位相を符号化することを示し、長大な自転車が面積2次形式を近似的に測定するプランメーターとして機能することを示し、自転車対応がダーブォー変換およびAKNS/渦糸方程式と関連することを明らかにし、曖昧な閉曲線が平面の糸方程式のソリトンであることが判明する。

ABSTRACT

We study a simple model of bicycle motion: a segment of fixed length in multi-dimensional Euclidean space, moving so that the velocity of the rear end is always aligned with the segment. If the front track is prescribed, the trajectory of the rear wheel is uniquely determined via a certain first order differential equation -- the bicycle equation. The same model, in dimension two, describes another mechanical device, the hatchet planimeter. Here is a sampler of our results. We express the linearized flow of the bicycle equation in terms of the geometry of the rear track; in dimension three, for closed front and rear tracks, this is a version of the Berry phase formula. We show that in all dimensions a sufficiently long bicycle also serves as a planimeter: it measures, approximately, the area bivector defined by the closed front track. We prove that the bicycle equation also describes rolling, without slipping and twisting, of hyperbolic space along Euclidean space. We relate the bicycle problem with two completely integrable systems: the AKNS (Ablowitz, Kaup, Newell and Segur) system and the vortex filament equation. We show that "bicycle correspondence" of space curves (front tracks sharing a common back track) is a special case of a Darboux transformation associated with the AKNS system. We show that the filament hierarchy, encoded as a single generating equation, describes a 3-dimensional bike of imaginary length. We show that a series of examples of "ambiguous" closed bicycle curves (front tracks admitting self bicycle correspondence), found recently F. Wegner, are buckled rings, or solitons of the planar filament equation. As a case study, we give a detailed analysis of such curves, arising from bicycle correspondence with multiply traversed circles.

研究の動機と目的

• n次元ユークリッド空間における自転車方程式の幾何的・力学的性質を理解すること。
• 特にAKNS階層と渦糸方程式と関連して、自転車運動と可積分系との関係を確立すること。
• 自転車系のモノドロミー写像を分析し、3次元におけるベリー位相との関係を示すこと。
• 長大な自転車が閉じた前輪軌道の面積2次形式を測定する近似的なプランメーターとして機能することを示すこと。
• 複数の前輪軌道を許容する閉じた自転車曲線（自転車対応）を特徴づけ、それらを平面の糸方程式のソリトンに関連付けること。

提案手法

• 与えられた前輪軌道から後輪軌道を進化させる1階微分方程式として自転車方程式を定式化すること。
• 初期方向の球面上への写像として自転車モノドロミーを導出し、2次元ではメビウス変換であり、高次元へ一般化可能であることを示すこと。
• メビウス群とリー代数の同型（例えば、so_{2,1} ≅ sl_2(R)）を用いて2次元および3次元におけるモノドロミーを分析すること。
• ダーブォー変換を通じて自転車系とAKNS系を関連付け、自転車対応がその変換の特殊な場合であることを示すこと。
• 糸方程式の階層の生成方程式を通じて、虚数長の3次元自転車が渦糸方程式に従うことを示すこと。
• リャプノフ型の議論と漸近解析を用いて、自転車の長さ ℓ → 0 のときの解の収束を証明し、パラメータに対する滑らかな依存性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 3次元における自転車モノドロミーは、ベリー位相の式とどのように関係しているか？
• RQ2 長大な自転車が、閉じた前輪軌道の面積2次形式を測定するプランメーターとしてどの程度近似的に機能するか？
• RQ3 自転車対応とAKNS系におけるダーブォー変換との間にはどのような関係があるか？
• RQ4 複数の前輪軌道を許容する曖昧な閉じた自転車曲線は、平面の糸方程式のソリトンとどのように関連しているか？
• RQ5 自転車方程式の解は、自転車の長さ ℓ が0に近づくとき、漸近的にどのように振る舞うか？

主な発見

• 3次元における自転車モノドロミーは、ベリー位相の式と等価であり、幾何的ホロノミーと自転車の向きの進化を結びつける。
• 十分に長い自転車は、閉じた前輪軌道の面積2次形式を O(1/ℓ) の誤差で測定でき、プランメーターとしての役割を裏付ける。
• 空間曲線の自転車対応は、AKNS系に関連するダーブォー変換に正確に対応する。
• 虚数長の3次元自転車は渦糸方程式に従い、糸方程式の階層全体が1つの生成方程式に符号化されている。
• ウェグナーが発見したような曖昧な閉じた自転車曲線は、バッキングリングまたは平面の糸方程式のソリトンとして同定される。
• 自転車方程式の解は ℓ → 0 のとき滑らかに0に収束し、高階微分も収束するため、ℓ に対して解析的依存性が確認される。