[論文レビュー] Prolongations vs. Tulczyjew triples in Geometric Mechanics

J\'o\'zwikowski, Micha{\l}|arXiv (Cornell University)|Dec 28, 2017

Nonlinear Waves and Solitons被引用数 1

ひとこと要約

本稿は、Lie代数ダクト上の幾何学的力学におけるTulczyjew三重構造が、延長構成よりも本質的に基本的であることを示している。両者の枠組みにおける標準的構造を分析することで、著者はTulczyjew三重写像（特にハミルトニアンおよびラグランジュアン側）が、延長構成のシンプレクティック形式およびプレシンプレクティック形式の自然な射影および双対化によって幾何学的に埋め込まれていることを示している。主たる貢献は、二つの形式的枠組みが偶然に等価な運動を生じるのではなく、Tulczyjew三重構造が構造的に延長構成の中に隠されているからであるということである。

ABSTRACT

In the scientific literature there are basically two schools of formulating Lagrangian (or Hamiltonian) mechanics in the (Lie) algebroid setting: in terms of prolongations and in terms of Tulczyjew triples. Despite the fact that in both approaches we describe the same phenomena, so far no comparison between prolongations and Tulczyjew triples was made. In this note we aim to fill this gap. More precisely, we will strip the prolongation approach to uncover the Tulczyjew triple reality hidden inside, thus proving that the latter approach is a more basic one.

研究の動機と目的

• Lie代数ダクト上の幾何学的力学における延長法とTulczyjew三重構造の間の長年の幾何的比較の欠如を解消すること。
• 両者の形式的枠組みが異なる幾何的構造を持つにもかかわらず、なぜ同じ運動方程式を生じるのかを明確にすること。
• Tulczyjew三重構造が単なる等価性ではなく、延長フレームワークに構造的に埋め込まれていることを示すこと。
• 延長法のシンプレクティック形式およびプレシンプレクティック形式が、自然な射影および双対化によってTulczyjew三重構造の標準的同型写像を符号化していることを示すこと。

提案手法

• Lie代数ダクト E → M の E-延長および E*-延長を分析し、T E および T E* を二重ベクターバンドルとして構成する。
• ラグランジュアンの場合の、T E* 上の標準的非退化2形式 ΩE と、そのラグランジュアンに伴う引き戻し形式 ωL = (T λLE)*ΩE を導入する。
• 標準的埋め込み iE* : T E* → E* ×M T*E* の双対を用いて、写像 (iE*)* ◦ (ΩE)^{-1} ◦ iE* : E* × T*E* → E × TE* を構成する。
• この写像が、Tulczyjew三重構造のハミルトニアン側 gΛE* : T*E* → TE* を回復することを示す。
• ラグランジュアンエネルギー微分 dEL が、レジェンドル写像を介して dL から自然に導かれることを示し、関連する同型写像 fωL がTulczyjew三重構造のラグランジュアン側と等価であることを確認する。
• 両者のハミルトニアンおよびラグランジュアン側が、延長形式の構造を適切な部分バンドルに制限・射影することによって回復されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 Lie代数ダクト上の幾何学的力学における延長法とTulczyjew三重構造のアプローチが、異なる幾何的構成を持つにもかかわらず、なぜ同じ運動方程式を生じるのか？
• RQ2 局所座標の一致を超えて、二つの形式的枠組みの等価性を説明するより深い幾何的関係は存在するか？
• RQ3 Tulczyjew三重構造は、延長形式から標準的構造として導出可能か？
• RQ4 レジェンドル写像およびその延長は、二つの形式的枠組みを結ぶ上で果たす役割は何か？
• RQ5 この文脈において、Tulczyjew三重構造は延長法よりもより基本的な枠組みであるか？

主な発見

• Tulczyjew三重構造のハミルトニアン側 gΛE* : T*E* → TE* は、合成 (iE*)* ◦ (ΩE)^{-1} ◦ iE* を通じて、延長形式から幾何学的に回復される。
• Tulczyjew三重構造のラグランジュアン側 EE : T*E → TE* は、引き戻し2形式 ωL = (T λLE)*ΩE に関連するベクターバンドル同型写像 fωL を通じて、延長形式に符号化されている。
• 延長法におけるエネルギー微分 dEL は、レジェンドル写像によって dL から自然に誘導され、ラグランジュアン側の整合性が確認される。
• 延長形式のシンプレクティックおよびプレシンプレクティック構造は独立ではなく、Tulczyjew三重構造の標準的同型写像を内蔵する内在的構成要素を含んでいる。
• 二つの形式的枠組みの等価性は偶然ではなく、Tulczyjew三重構造が幾何学的に延長構成に埋め込まれているから生じる。
• 本稿は、Tulczyjew三重構造のアプローチがより基本的であると結論づける。延長法は、それをもとに構築された派生的構成と見なせるからである。