[論文レビュー] The inverse problem for invariant Lagrangians on a Lie group

M. Crampin, Tom Mestdag|ArXiv.org|Jan 30, 2008

Nonlinear Waves and Solitons参考文献 19被引用数 4

ひとこと要約

本稿は、Lie群上の2階微分方程式の不変逆問題を、接 bundle TG からLie代数 𝔤 への還元を用いて解き、Helmholtz条件と層係数的制約を用いて、正則で G-不変なラグランジアンが存在する条件を特定する。主な貢献は、還元とコホモロジーに基づく体系的な手法を提供し、不変ラグランジアンの存在条件を同定することであり、低次元Lie群における明示的例を通じて提示される。

ABSTRACT

We discuss the problem of the existence of a regular invariant Lagrangian for a given system of invariant second-order differential equations on a Lie group $G$, using approaches based on the Helmholtz conditions. Although we deal with the problem directly on $TG$, our main result relies on a reduction of the system on $TG$ to a system on the Lie algebra of $G$. We conclude with some illustrative examples.

研究の動機と目的

• 与えられたLie群 G 上の2階微分方程式系に対して、正則で G-不変なラグランジアンが存在するかを特定すること。
• 方程式とラグランジアンの両方が群作用に関して不変であるという状況に、古典的な変分法の逆問題を拡張すること。
• 積分損失により不変乗数が不変ラグランジアンをもたらさないという課題を、コホモロジー的条件を導入することで克服すること。
• 群の対称性を活用して、TG からの力学をLie代数 𝔤 に還元することで問題を簡略化すること。
• 物理的または幾何学的に自然な不変性を有するLie群上の物理的・幾何的系に適用可能な体系的フレームワークを提供すること。

提案手法

• 左平行移動に関する不変性を用いて、TG 上の2階系をLie代数 𝔤 上の系に還元すること。
• 還元された系にHelmholtz条件を適用し、対称的かつ非退化な乗数行列を介して正則ラグランジアンの存在を保証すること。
• MarmoとMorandiを一般化したコホモロジー的制約を組み込み、統合されたラグランジアンが G-不変のまま保たれることを保証すること。
• Euler-Poincaré還元フレームワークを用いて、Lie代数成分による還元された運動方程式を導出すること。
• 得られた偏微分方程式系を解き、正則性および対称性条件のチェックを通じて不変ラグランジアンの存在を検証すること。
• 2次元および3次元Lie群における明示的例を通じて、本手法を提示し、不変ラグランジアンが存在しない場合（非不変ラグランジアンは存在するが）も含む。

実験結果

リサーチクエスチョン

• RQ1 Lie群 G 上の G-不変な2階微分方程式系が、正則な G-不変ラグランジアンをもつのはどのような条件下か？
• RQ2 古典的Helmholtz条件を、得られるラグランジアンの不変性を強制するためにどのように適合させられるか？
• RQ3 不変乗数の統合が不変ラグランジアンをもたらすように保つために、どのような追加のコホモロジー的制約が必要か？
• RQ4 物理的・幾何学的構造を保ちつつ、TG からLie代数 𝔤 への還元によって逆問題を単純化できるか？
• RQ5 Lie群上の不変系の明示的例として、不変ラグランジアンをもつものと持たないものが存在するか？それらの違いは何か？

主な発見

• 本稿は、Helmholtz条件とコホモロジー的制約から導かれる偏微分方程式系の可解性に基づき、正則で G-不変なラグランジアンの存在に関する必要十分条件を確立した。
• TG からLie代数 𝔤 への還元により、逆問題が著しく簡略化され、代数的構造 𝔤 上の問題に変換される。
• Lie群上の標準接続の場合は、非不変ラグランジアンが存在する場合でも、不変ラグランジアンの存在は保証されない。2C例では、不変ラグランジアンが存在しないことが示された。
• 2Cの場合（a = b = 0）では、非不変ラグランジアン（例：L = ½q̇₁² + exp(−q₁) q̇₂²/(2q̇₁)）は存在するが、乗数の不変性条件とその統合の不可能性により、正則な不変ラグランジアンは存在しない。
• 本手法は、ケース1および2A, 2Bにおいて不変ラグランジアンの存在を的確に特定し、例えばアーベルの場合には L = ½q̇₁² + ½q̇₂² といった明示的形を提供した。
• 解析により、コホモロジー的条件が本質的であることが確認された：Helmholtz条件を満たしていても、コホモロジー的制約がなければ、不変乗数が不変ラグランジアンに統合されないことがある。