[論文レビュー] On the Canonical Treatment of Lagrangian Constraints

B. M. Barbashov|ArXiv.org|Nov 19, 2001

Space Satellite Systems and Control参考文献 2被引用数 7

ひとこと要約

本稿では、速度に依存する制約を持つラグランジュ系の正準的取り扱いのためのベレジンのアルゴリズムを提示する。この手法により、電磁力学におけるローレンツゲージなど「手作業で導入された」制約に対しても一貫したハミルトニアン形式化が可能になる。この方法は、正準運動量の関数として速度と多重子を一意に解き、退化の問題を回避し、元のラグランジアンを直接再構成可能であるため、特異的・非特異的両方の系を統一的に取り扱うフレームワークを提供する。

ABSTRACT

The canonical treatment of dynamic systems with manifest Lagrangian constraints proposed by Berezin is applied to concrete examples: a special Lagrangian linear in velocities, relativistic particles in proper time gauge, a relativistic string in orthonormal gauge, and the Maxwell field in the Lorentz gauge,

研究の動機と目的

• 従来の正準的手法が、電磁力学におけるローレンツゲージのような「手作業で導入された」制約を扱えないという限界を解消すること。
• 標準的な特異ラグランジュ系を超えて、時間および速度に明示的に依存するラグランジュ的制約を持つ系に正準形式を拡張すること。
• 標準的ラグランジュ変換が退化のために失敗するような制約付き系に対して、一貫性があり一意なハミルトニアン形式化を提供すること。
• ベレジンのアルゴリズムが、ハミルトニアンから元のラグランジアンを再構成でき、運動を保存することを示すこと。
• 特異ラグランジュ系と非特異系の両方を、速度に依存する制約を持つ一様な枠組みで統合的に取り扱うこと。

提案手法

• 制約をラグランジュ乗数を用いて追加することで拡張ラグランジアンを定義する：$\mathcal{L} = L + \sum_a \lambda_a \varphi_a(q,\dot{q},t)$。
• 拡張運動量 $\tilde{p}_i = \partial \mathcal{L}/\partial \dot{q}_i$ を定義し、元のラグランジアンおよび制約からの寄与を含める。
• ベレジンの条件を仮定する：速度 $\dot{q}_i$ と多重子 $\lambda_a$ が $q_i$ と $\tilde{p}_i$ の関数として一意に解けることにより、非退化性が保証される。
• 解かれた表現を用いて拡張ハミルトニアン $\mathcal{H}_{\text{ext}} = \sum_i \tilde{p}_i \dot{q}_i - \mathcal{L}$ を構成する。
• 正準方程式 $\dot{q}_i = \partial \mathcal{H}_{\text{ext}} / \partial \tilde{p}_i$、$\dot{\tilde{p}}_i = -\partial \mathcal{H}_{\text{ext}} / \partial q_i$ を適用し、運動方程式を導出する。
• 多重子 $\lambda_a$ を条件 $\lambda_a|_{\tilde{p}=p} = 0$ によりゼロに設定することで、元のラグランジアンを回復し、一次ハミルトニアン制約を得る。

実験結果

リサーチクエスチョン

• RQ1 「手作業で導入された」制約、例えば電磁力学におけるローレンツゲージのような制約を、正準形式に一貫して組み込むことは可能か？
• RQ2 標準的ラグランジュ変換が失敗するような状況において、速度に依存する制約を持つ系のハミルトニアン形式化はどのように構築できるか？
• RQ3 速度に依存する制約を持つ系において、ハミルトニアンから元のラグランジアンを一意に再構成することは可能か？
• RQ4 ベレジンのアルゴリズムは、特異ラグランジュ系の退化問題を回避しながら、元の系の運動を保存するか？
• RQ5 この手法は、特異的および非特異的ラグランジュ系の両方を、速度に依存する制約を持つ一様な枠組みで統合的に取り扱えるか？

主な発見

• ベレジンのアルゴリズムは、ラグランジュ乗数を用いて拡張ラグランジアンに組み込むことで、ローレンツゲージのような非正準的制約を効果的に実装する。
• 固有時間ゲージにおける相対論的粒子に対して、この方法は $\lambda = (\sqrt{\tilde{p}^2} - m)/(cm)$ および $\dot{x}_\mu = c \tilde{p}_\mu / \sqrt{\tilde{p}^2}$ を得、正しい運動を回復する。
• 正規直交ゲージにおける相対論的ストリングに対して、アルゴリズムは $\tilde{\dot{x}}_\mu = \gamma^{-1}(1+\mu_1)p_\mu + \mu_2 x'_\mu$ を導出し、$\mu_1$ と $\mu_2$ は制約から決定される。
• ローレンツゲージにおけるマクスウェル場に対して、この方法は $\pi^0 = \tilde{\pi}^0$ を得、$\lambda|_{\tilde{\pi}^0 = \pi^0} = 0$ を適用することで一次制約 $\pi^0 = 0$ が出現し、標準的電磁力学が回復される。
• 拡張ハミルトニアン $\mathcal{H}_{\text{ext}}$ を用いることで、$\mu_i|_{\tilde{\dot{q}} = \dot{q}} = 0$ を課すことにより、元のラグランジアン $L$ を完全に再構成可能であり、初期系と整合性が保たれる。
• この手法は、二次的制約やラグランジュ変換の問題を回避し、直接的に解かれた速度と多重子を用いることで、一意的かつ非退化な位相空間構造を維持する。