[論文レビュー] Revisiting Legendre transformations in Finsler geometry

Ernesto Rodrigues, Iarley P. Lobo|arXiv (Cornell University)|Aug 24, 2022

Advanced Differential Geometry Research被引用数 4

ひとこと要約

この論文は、ハミルトニアン力学とフィンスラー幾何学の間のルジャンドル変換を、座標に依存しない厳密な枠組みで確立し、余接 bundle 内のハミルトニアン超曲面が接 bundle 上のフィンスラー関数に写像されるための必要十分条件を証明している。主な貢献は、整合性を持つハミルトニアンとフィンスラー関数の族との間の一対一対応であり、ミンコフスキー汎関数と埋め込み条件を用いた明示的特徴付けがなされている。

ABSTRACT

We discuss the conditions for mapping the geometric description of the kinematics of particles that probe a given Hamiltonian in phase space to a description in terms of Finsler geometry (and vice-versa).

研究の動機と目的

• 位相空間上のハミルトニアンが、ルジャンドル変換によってどのようにしてフィンスラー幾何学的記述に写像可能か、その数学的条件を明確化すること。
• 与えられたハミルトニアンから生じるフィンスラー関数が、その軌道（測地線／軌道）が一致するようにするために必要な十分条件を同定すること。
• ハミルトニアン構造とフィンスラー構造を結ぶルジャンドル変換を、座標に依存しない、内的な微分幾何学的取り扱い方で行うこと。
• ミンコフスキー汎関数およびそれらが誘導する超曲面（指示子）が、ハミルトニアンとフィンスラー形式の双対性を確立する上で果たす役割を特徴づけること。
• 関連写像の正則性および埋め込み条件を満たす場合に、ハミルトニアンから誘導されるフィンスラー関数の存在および一意性を確立すること。

提案手法

• 余接 bundle の部分多様体上での変分法の無限次元的取り扱いにラグランジュ乗数法を適用し、極値曲線を導出する。
• ミンコフスキー汎関数の理論を用いて、接 bundle 内の超曲面から、斉次性および正定値性を保証するフィンスラー関数を定義する。
• ハミルトニアンの指示子から接 bundle 上の単位球面への写像 φ を導入し、ハミルトニアンの微分を用いてベクトル場を定義する。
• 写像 φ による指示子の像から、関係式 |L(v)| = [P(v)·v]^2 を用いて、誘導されたフィンスラー関数 L が回復されることを証明する。ここで P は像から接空間への射影写像である。
• 写像 φ が埋め込みであるとき、ルジャンドル変換がハミルトニアンの族とフィンスラー関数の族の間の同型写像であることを確立する。
• 接空間、法ベクトル、および埋め込み理論を用いた微分幾何学的道具を用いて、フィンスラー構造が符号を除き一意かつ適切に定義されていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 余接 bundle 上のハミルトニアン関数が、その測地線軌道が一致するように、接 bundle 上のフィンスラー関数にルジャンドル変換可能となる条件は何か？
• RQ2 フィンスラー関数がハミルトニアンから生じるためには、どのような幾何学的および解析的性質を満たす必要があるか。逆に、ハミルトニアンから生じるフィンスラー関数が満たすべき性質は何か？
• RQ3 ハミルトニアンとフィンスラー構造の間のルジャンドル変換を、座標に依存しない、内的な形でどのように定式化できるか？
• RQ4 ミンコフスキー汎関数およびそれらが関連付ける指示子は、ハミルトニアンとフィンスラー形式の双対性を確立する上で果たす役割は何か？
• RQ5 与えられたハミルトニアンから誘導されるフィンスラー関数の存在および一意性を保証するための必要十分条件は何か？

主な発見

• ハミルトニアンがフィンスラー関数を誘導するのは、ハミルトニアンの指示子から接 bundle への写像 φ が埋め込みであるとき、かつそのときに限る。これにより、適切に定義され、一意なフィンスラー構造が保証される。
• フィンスラー関数 L は、φ による指示子の像から、関係式 |L(v)| = [P(v)·v]^2 を用いて完全に回復可能である。ここで P は像から接空間への射影写像である。
• ハミルトニアンの軌道（ハミルトン＝ヤコビ方程式で定義される）は、誘導されたフィンスラー計量の測地線と完全に一致し、物理的同等性が確立される。
• フィンスラー関数はハミルトニアンにより符号を除き一意に定まり、そのすべての関数の集合は質量パラメータによる1パラメータ族を形成し、粒子の軌道と整合的である。
• この構成は、すべての v ∈ Λ \− L⁻¹(0) に対して有効であり、これは接 bundle 内で稠密である。連続性により、L は空間全体にわたって完全に回復可能である。
• v が像曲面 S* の点 w における接空間に直交することを、指示子内の曲線 β に沿って L(β(t)) = ±1 の制約を微分することで証明し、変換の幾何学的整合性を確認した。