[論文レビュー] Poincaré-Chetaev equations in the Dirac's formalism of constrained systems

Alexei A. Deriglazov|arXiv (Cornell University)|Feb 24, 2023

Homotopy and Cohomology in Algebraic Topology参考文献 25被引用数 5

ひとこと要約

本稿では、群多様体上の制約付き力学系に対して、ディラック形式主義を展開し、明示的なディラック括弧の計算を回避する非正則な位相空間座標を導入する。これにより、ポアソン括弧の構成が簡略化される。SO(3)に対しては、ポアンカレ・チェタイエフ方程式が得られ、その一般解はハミルトニアンベクトル場の指数写像によって表現される。

ABSTRACT

We single out a class of Lagrangians on a group manifold, for which one can introduce non-canonical coordinates in the phase space, which simplify the construction of the Poisson structure without explicitly calculating the Dirac bracket. In the case of $SO(3)$\,- manifold, the application of this formalism leads to the Poincaré-Chetaev equations. The general solution to these equations is written in terms of exponential of the Hamiltonian vector field.

研究の動機と目的

• 群多様体上における制約付き系のディラック形式主義を、曲がった多様体、特に群多様体にまで拡張すること。
• 群多様体上でのラグランジアンのクラスを同定し、非正則な位相空間座標がポアソン構造の構成を簡略化する条件を特定すること。
• SO(3)および関連する群多様体に対して、この形式主義からポアンカレ・チェタイエフ方程式が自然に導かれるかどうかを示すこと。
• ハミルトニアンベクトル場の指数写像を用いて、ポアンカレ・チェタイエフ方程式の一般解を提供すること。
• ディラック括弧の明示的計算を回避しつつ、位相空間の群構造を保ちながら正しい力学を維持できるかどうかを示すこと。

提案手法

• 運動的制約 $ G_\alpha(q^A) = 0 $ を満たすように、ラグランジュ乗数を含む修正されたラグランジアンを用いて力学を定式化する。
• 非制約ハミルトニアン形式にディラックの形式主義を適用し、第一種および第二種の制約を特定する。
• 位相空間に非正則座標 $ (x^i, \eta_i) $ を導入し、ここで $ \eta_i $ は群多様体の接空間に関連する。
• ディラック括弧の明示的計算を回避するため、群多様体のリー代数から直接ポアソン括弧構造を構成する。
• ハミルトニアンベクトル場を用いて時間発展を生成し、指数写像により一般解を導出する。
• 既知の結果との整合性を検証する：SO(3)に対しては、方程式が剛体のオイラー＝ポワンソ方程式に還元されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 ディラック形式主義を、局所座標に依存せずに、群多様体上に制約された力学系に体系的に適用できるか？
• RQ2 群多様体上でのどのラグランジアンのクラスに対して、非正則な位相空間座標がポアソン構造の構成を簡略化できるか？
• RQ3 ポアンカレ・チェタイエフ形式主義は、SO(3)および他の群多様体上で、ディラックの制約付き系フレームワークから自然に導かれるか？
• RQ4 ポアンカレ・チェタイエフ方程式の一般解は、ハミルトニアンベクトル場の指数写像で表現できるか？
• RQ5 ディラック括弧の明示的計算を回避しつつ、制約面での正しい力学を保ちながら、群構造を維持できるか？

主な発見

• 群多様体上でのあるクラスのラグランジアンは、ポアソン括弧に群構造を直接組み込む非正則座標 $ (x^i, \eta_i) $ を用いた位相空間形式化を許容する。
• SO(3)に対しては、形式主義によりポアンカレ・チェタイエフ方程式が再現され、これは剛体のオイラー＝ポワンソ方程式と等価である。
• ポアンカレ・チェタイエフ方程式の一般解は $ R(t) = \exp(t \mathcal{H}) \cdot R(0) $ で与えられ、ここで $ \mathcal{H} $ はハミルトニアンベクトル場である。
• 解は初期角運動量に対応する3つの任意定数 $ M_{0k} $ に依存し、回転行列の全成分 $ R_{ij}(0) = \delta_{ij} $ に対して有効である。
• 群多様体の内禀幾何構造とリー代数構造を活用することで、ディラック括弧の明示的計算を回避する手法が可能である。
• この手法はグローバル有効性を保ち、剛体力学における回転行列要素など、元の変数 $ q^A $ の物理的解釈を維持する。