[論文レビュー] Normal shift in general Lagrangian dynamics

Руслан Шарипов|ArXiv.org|Dec 10, 2001

Advanced Differential Geometry Research参考文献 13被引用数 4

ひとこと要約

この論文は、二次的でないラグランジュ系におけるラグランジュ力学の正規移動の概念を一般化し、一般ラグランジュ系によって定義される非リーマン幾何における波面が光線に対して常に直交することを示している。主な結果は、ハミルトニアン構造から導かれる Pfaff 方程式の整合性を介して、修正されたラグランジュ系が正規性条件を満たすことを示しており、古典的幾何光学を二次的でないラグランジュ系へと拡張している。

ABSTRACT

It is well known that Lagrangian dynamical systems naturally arise in describing wave front dynamics in the limit of short waves (which is called pseudoclassical limit or limit of geometrical optics). Wave fronts are the surfaces of constant phase, their points move along lines which are called rays. In non-homogeneous anisotropic media rays are not straight lines. Their shape is determined by modified Lagrange equations. An important observation is that for most usual cases propagating wave fronts are perpendicular to rays in the sense of some Riemannian metric. This happens when Lagrange function is quadratic with respect to components of velocity vector. The goal of paper is to study how this property transforms for the case of general (non-quadratic) Lagrange function.

研究の動機と目的

• リーマン幾何における波面と光線の直交性という古典的幾何光学の原則を、二次的でないラグランジュ系に拡張すること。
• ラグランジュ関数が速度成分に関して二次的でない場合に、光線と波面の直交性（正規移動）が保持されるかを調査すること。
• リーマン計量が存在しない状況における超曲面の動的挙動を記述する Pfaff 方程式の整合性条件を導出し、分析すること。
• 一般ラグランジュ関数から導かれるハミルトニアン構造が、特定の正則性条件のもとで統合可能な正規移動力学を支持することを確立すること。
• ラグランジュ関数のみを用いて力学と幾何を統合することで、非リーマン幾何への幾何光学の一般化の基盤を築くこと。

提案手法

• 短波長近似における波動方程式からアイルス方程式を導出し、位相関数 φ に対するハミルトン・ジャコビ方程式に帰着させる。
• 逆可換なレジェンドル変換を許容し、正則性条件 (7.4) および (7.5) を満たす一般ラグランジュ関数 L(p, v) を導入する。
• L のレジェンドル変換からハミルトニアン H を構成し、光線軌道を記述するハミルトニアン系の常微分方程式系を導出する。
• 運動量場 ∇φ とハミルトニアン構造を用いて、超曲面の正規移動を記述する Pfaff 方程式を導出する。
• 偏微分条件の計算を通じて Pfaff 方程式の整合性を分析し、ラグランジュ構造が整合的である場合にこれらが恒等的に成立することを確認する。
• H(p, ν·n(p)) = const の形の保存量が存在することを示し、これはリーマン系の場合と類似しており、正規移動の可積分性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュ関数が速度成分に関して二次的でない場合に、光線と波面の直交性（正規移動）は維持されるか？
• RQ2 リーマン計量が存在しない状況において、正規移動を記述する Pfaff 方程式の整合性は確立可能か？
• RQ3 ラグランジュ関数にどのような条件を課すと、ハミルトニアン系が一貫した超曲面の正規移動を支持するようになるか？
• RQ4 リーマン幾何から非リーマン幾何への幾何光学の一般化は、ラグランジュ関数の構造にどのように依存するか？
• RQ5 一般ラグランジュ力学における正規移動は可積分であるか？その挙動を支配する保存量は何か？

主な発見

• 修正されたラグランジュ系は、ラグランジュ関数から導かれる変位関数に基づく正規性条件を満たし、リーマン幾何における直交性の性質を一般化している。
• 正規移動を記述する Pfaff 方程式は、ラグランジュ関数が正則性条件 (7.4) および (7.5) を満たす場合にかつその場合にのみ整合的であり、一貫した力学的挙動を保証する。
• ラグランジュ構造が適切に定義されているとき、整合性条件は恒等式に簡略化され、正規移動フレームワークの整合性が確認される。
• H(p, ν·n(p)) = const の形の保存量が確立され、これはリーマン系の場合と類似しており、正規移動方程式の可積分性を保証する。
• ラグランジュ関数のみを用いて計量と力の構造を統合することで、非リーマン幾何への幾何光学の一般化が実現される。
• 結果として、ラグランジュ系における幾何と力学の相互作用により、二次的でないラグランジュ関数への正規移動の完全な一般化が可能であることが示された。