[論文レビュー] Frame-independent mechanics:geometry on affine bundles

Katarzyna Grabowska, Janusz Grabowski+1 more|arXiv (Cornell University)|Oct 4, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用数 4

ひとこと要約

本稿は、アフィンバンドルとその双対を用いて、時間に依存する力学およびニュートン力学のフレームに依存しない幾何学的枠組みを構築する。アフィンバンドルの枠組みで、リー代数小屋とポアソン構造のアフィン版を導入する。主な貢献は、相空間AVバンドル上に自然に定義されるアフィンポアソン構造であり、特権的な慣性系に依存せず、一貫性のある観測者独立のハミルトニアン力学を実現する。

ABSTRACT

Main ideas of the differential geometry on affine bundles are presented. Affine counterparts of Lie algebroid and Poisson structures are introduced and discussed. The developed concepts are applied in a frame-independent formulation of the time-dependent and the Newtonian mechanics.

研究の動機と目的

• 特定の慣性系に依存しない形で、時間に依存する力学およびニュートン力学を定式化すること。
• 標準的な幾何的構造（例えばリー代数小屋やポアソン括弧）を、アフィンバンドル上でのアフィン版に一般化すること。
• 運動量とエネルギーをゲージ不変な方法で表現する相空間としてのアフィンバンドル（AVバンドル）を構築すること。
• 相空間AVバンドル上に、縦方向補正を必要とせず正しい運動方程式を生成する、自然なアフィンポアソン構造を導出すること。

提案手法

• 部分空間がベクトル空間ではなくアフィン空間をなす、特別なアフィンバンドルとその双対を導入する。
• アフィンバージョンのジャコビ恒等式を満たす括弧演算を持つ、リー代数小屋のアフィン版（アフィンリー代数小屋）を定義する。
• 双対バンドル上にアフィン幾何に一般化されたアフィンジャコビ括弧を構成する。
• 余接バンドル T*N 上の自然なシンプレクティック構造を用いて、商バンドル T*N/⟨τ⟩ 上に自然なアフィンポアソン構造を誘導する。
• 相空間AVバンドル P̂ を、N×E₀*×ℝ×E₁ を E₀ で割った商として定義し、観測者独立の相空間をゲージ同値関係で表現する。
• Ĥ が P̂ 上で適切に定義されており、任意の慣性系で標準的なニュートン形式 H = (1/2m)p² + φ(x) に還元されることを示す。

実験結果

リサーチクエスチョン

• RQ1 時間に依存する力学およびニュートン力学を、特定の慣性系や観測者を特権的にしない形でどのように定式化できるか？
• RQ2 ラグランジュ力学の背後にあるリー代数小屋構造のアフィン幾何的類似物は何か？
• RQ3 アフィン相空間においてポアソン括弧構造はどのように変更され、標準的シンプレクティック形式に代わるものは何か？
• RQ4 コットangentバンドルではなくアフィンバンドルである相空間上でも、一貫性のあるハミルトニアン力学を定義できるか？
• RQ5 運動量とエネルギーは慣性系の変更に対してどのように変化するか？ そして、その変化をゲージ不変な幾何的構造としてどのように表現できるか？

主な発見

• 質量のある粒子の相空間は、自然にアフィンバンドル P̂ = (N×E₀*×ℝ×E₁)/E₀ としてモデル化され、観測者に依存せず、運動量とエネルギーを両方とも含む。
• P̂ 上の自然なアフィンポアソン構造は、T*N のシンプレクティック構造から誘導され、商構成を経ても保存され、一貫性のある力学を保証する。
• P̂ 上のハミルトニアンセクション Ĥ は、任意の慣性系で標準的なニュートン形式 H = (1/2m)p² + φ(x) に還元され、正しい運動方程式 dq/dt = g⁻¹(p/m), dp/dt = -∂φ/∂q を満たす。
• P̂ 上の力学は、Ĥ とアフィンポアソン括弧を用いて生成され、縦方向補正を必要とせず、正しい位相フローを与える。
• P̂ 上のゲージ同値関係により、慣性系の変更に伴う運動量とエネルギーの変換が幾何学的に記述され、一貫性が保たれる。
• 本フレームワークは、時間座標や観測者の選択に依存しない形で、時間に依存する力学とニュートン力学を幾何学的に統一する。