Variational reduction of homogenous Lagrangian systems

技術的サマリー：同次ラグランジュ系のバリエーション的還元

問題提起
本論文は、同次ラグランジュ関数（特に、スケーリング対称性に関して次数 1 の同次関数）によって定義されるラグランジュ系のバリエーション的還元を取り扱う。スケーリング対称性を持つシンプレクティックハミルトン系の還元は確立されており、接触構造をもたらし、1 つの積分まで元の軌道を再構成可能であるが、ラグランジュ側におけるバリエーション定式化は未発達であった。中心的な問いは、同次ラグランジュ系に対して以下の条件を満たす縮約されたバリエーション原理が存在するかどうかである：

1. その臨界点（縮約された軌道）から、元のハミルトンの原理の臨界点を再構成可能であること。
2. 再構成が積分まで達成可能であること。
3. 縮約された原理の臨界点が、標準的な対称性還元に見られるラグランジュ・ポアンカレ方程式に類似する常微分方程式系（ODEs）によって特徴づけられること。

さらに、著者らはこれらの縮約された同次系と、作用依存性ラグランジュおよび接触ハミルトン系を支配するヘルグロットのバリエーション原理との関係を調査し、これら 2 つの枠組みにおける臨界点の集合が一致するかどうかを問う。

手法
著者らは、微分幾何学、リー群作用、および変分法を用いた $C^\infty$ 圏における幾何学的アプローチを採用する。

1. 標準的対称性のレビュー：論文は、標準的対称性（リー群作用）を持つ系に対するバリエーション的還元をレビューすることから始まる。アベルの場合で平坦接続を有する場合、縮約は関連束 $(Q \times \mathfrak{g})/G$ 上で行われる。再構成には群要素に関する方程式を解くことが含まれ、これは積分まで解可能である。
2. スケーリング対称性の設定：著者らは、主作用 $\psi: \mathbb{R}^+ \times Q \to Q$ に関して次数 1 の同次であるラグランジュ $L$ を持つ同次ラグランジュ系 $(Q, L)$ を定義する。$\mathbb{R}^+$ は可縮であるため、主束 $\pi: Q \to Q/\mathbb{R}^+$ は自明となり、大域的なスケーリング関数 $f: Q \to \mathbb{R}^+$ の存在が可能となる。
3. 縮約作用の構成：
   • 平坦主接続 $\varpi_f = d \ln f$ が定義される。
   • アティヤの微分同相写像 $\alpha_f$ は、接束 $TQ$を$T(Q/\mathbb{R}^+) \times \mathbb{R}$ に写す。
   • 縮約ラグランジュ $\ell$ は、関係式 $L = \ell \circ \alpha_f \circ p \cdot (f \circ \tau_Q)$ によって $T(Q/\mathbb{R}^+) \times \mathbb{R}$ 上で定義される。
   • 決定的なことに、元の作用汎関数 $A(\gamma) = \int L(\dot{\gamma}) dt$ が、新しい汎関数 $\check{A}(x, y) = \int \exp(\int_0^t y(s) ds) \ell(\dot{x}, y) dt$ に比例することが示される。ここで、$x = \pi(\gamma)$ かつ $y = d \ln f(\dot{\gamma})$ である。
4. 変分解析：著者らは「相互に関連する」曲線と変分を定義する。特定の境界条件（$x$ については端点で変分がゼロ、$y$ については積分がゼロ）の下で、曲線 $\gamma$ が $A$ の臨界点であることと、対応する対 $(x, y)$ が $\check{A}$ の臨界点であることが同値であることを確立する。
5. 方程式の導出：$\check{A}$ に変分法を適用することで、著者らは縮約された力学を支配する常微分方程式系であるスケーリング・ラグランジュ・ポアンカレ方程式を導出する。
6. ヘルグロットとの比較：論文は、作用依存性ラグランジュに対するヘルグロット原理から導かれる方程式と、スケーリング・ラグランジュ・ポアンカレ方程式を解析的に比較する。

主要な貢献と結果

• 縮約されたバリエーション原理の存在：本論文は、主 $\mathbb{R}^+$-作用を持つ同次ラグランジュ系に対して、空間 $(Q/\mathbb{R}^+) \times \mathbb{R}$ 上に縮約されたバリエーション原理が存在することを証明する。
• 再構成定理：元の系の軌道が、縮約された原理の臨界点から単一の積分まで再構成可能であることが示される。再構成式は以下の通りである：
  $$\gamma(t) = \psi \left( e^{\int_0^t y(s) ds}, (\pi, f)^{-1}(x(t), \varsigma) \right)$$
  ここで、$\varsigma$ は初期条件によって決定される定数である。
• スケーリング・ラグランジュ・ポアンカレ方程式：縮約された作用の臨界点は、以下の常微分方程式系（局所座標または共変微分を用いて）によって特徴づけられる：
  • 水平方程式：
    $$-\frac{D}{Dt} \frac{\partial \ell}{\partial \dot{x}} - y \frac{\partial \ell}{\partial \dot{x}} + \frac{\partial \ell}{\partial x} = 0$$
  • 垂直方程式：
    $$-\frac{d}{dt} \frac{\partial \ell}{\partial y} - y \frac{\partial \ell}{\partial y} + \ell = 0$$
    これらの方程式は構造的には標準的なラグランジュ・ポアンカレ方程式に類似しているが、それらとは区別される。
• 例：理論は、ホモトピーを持つ多様体上の運動ラグランジュ、ヤコビ計量、および調和振動子を含む例によって示されている。
• ヘルグロット原理との非等価性：重要な否定的結果が確立された。すなわち、任意の作用依存性ラグランジュに対するヘルグロットのバリエーション原理の臨界点の集合とは、一般に同次ラグランジュに対する縮約されたバリエーション原理の臨界点の集合は一致せず、その逆も成り立たない。著者らは、より広範な文脈では両者とも接触幾何学に関連しているにもかかわらず、動的構造が本質的に異なることを示す反例を提供する。

重要性
本論文は、標準的なリー群対称性に対して以前に確立されていた古典的なバリエーション的還元理論を、スケーリング対称性の文脈に拡張する。それは、完全な力学を再構成する能力を保持しつつ問題の次元を削減する方法を提供する、同次ラグランジュ系のための厳密なバリエーション的枠組みを提供する。

著者らは明示的に、彼らの仕事がこれらの系のバリエーション構造を明確にし、ヘルグロット原理によって支配される作用依存性系とそれらを区別することを述べている。本論文は、還元理論における業績で知られる同僚 H. Cendra の記憶に捧げられており、スケーリング対称性がバリエーション原理とどのように相互作用するかという理解に貢献することを目的としている。この仕事は基礎的な一歩として提示され、将来の研究の方向性として、一般の同次性（$\mathbb{R}^\times$ を含む）およびプレシンプレクティック系へのこれらの結果の拡張、ならびに離散類似物の開発が特定されている。