[論文レビュー] The second-order problem for $k$-presymplectic Lagrangian field theories. Application to the Einstein--Palatini model

David Adame-Carrillo, Jordi Gaset+1 more|arXiv (Cornell University)|Jun 11, 2021

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

ひとこと要約

本稿では、k-正シミレクティックラグランジュ場理論における第二階微分方程式問題（SOPDE解が得られない場合の問題）を解消するための幾何的制約アルゴリズムを開発する。k-正シミレクティック幾何学を用いて、整合性条件と接線条件を通じて、動的および非動的制約を体系的に同定し、SOPDE解が存在する最大部分多様体に到達する。アインシュタイン＝パラティーニモデルに適用したところ、新たな可積分性制約が明らかになり、ホロノミー解の存在が確認された。

ABSTRACT

In general, the system of $2$nd-order partial differential equations made of the Euler-Lagrange equations of classical field theories are not compatible for singular Lagrangians. This is the so-called second-order problem. The first aim of this work is to develop a fully geometric constraint algorithm which allows us to find a submanifold where the Euler-Lagrange equations have solution, and split the constraints into two kinds depending on their origin. We do so using $k$-symplectic geometry, which is the simplest intrinsic description of classical field theories. As a second aim, the Einstein-Palatini model of General Relativity is studied using this algorithm.

研究の動機と目的

• 特異古典場理論における第二階微分方程式問題に対処する。ここでは、オイラー＝ラグランジュ方程式がSOPDE解を導かない可能性がある。
• SOPDE解が存在する速度位相空間の最大部分多様体を特定する、完全に幾何的でアルゴリズム的なアプローチを開発する。
• 整合性条件とSOPDE条件から生じる、FL射影可能（FL-projectable）と非FL射影可能（non-FL-projectable）の制約を区別する。
• アインシュタイン＝パラティーニモデルにこのアルゴリズムを適用し、その制約構造と解のホロノミー性を分析する。
• 多シンプレクティック形式との比較を行い、アフィンラグランジアンに対してk-正シミレクティックアプローチが一貫していることを確立する。

提案手法

• k-正シミレクティック幾何学を用いて、k-接バンドル $T^1_kQ$ 上でラグランジュ場理論を定式化する。
• 2段階の制約アルゴリズムを実装する：(1) 整合性条件（動的制約）、(2) SOPDE条件（非動的制約）。
• 各段階でk-ベクトル場が制約部分多様体に接線であることを強制し、安定性を確保する。
• FL射影可能性に基づいて制約の種別を行う：動的制約は整合性条件から生じ、非動的制約はSOPDE要件から生じる。
• 安定化するまで反復的にアルゴリズムを適用し、最終的な制約部分多様体 $S_f$ を得る。
• 可積分性を検証するために、$S_f$ 上で $[X_\alpha, X_\beta] = 0$ を課し、新たな可積分性制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 k-正シミレクティック場理論において、SOPDE解が存在する最大部分多様体の幾何的構造は何か？
• RQ2 特異ラグランジュ場理論における第二階微分方程式問題は、体系的で幾何的な制約アルゴリズムによってどのように解けるか？
• RQ3 k-正シミレクティック系において、FL射影可能性が動的制約と非動的制約を分類する役割を果たす仕組みは何か？
• RQ4 k-正シミレクティック形式と多シンプレクティック形式の両方で、アインシュタイン＝パラティーニモデルの制約構造はどのように比較できるか？
• RQ5 アインシュタイン＝パラティーニモデルにおいて、k-ベクトル場のホロノミー要請から新たに生じる可積分性条件は何か？

主な発見

• アルゴリズムは、k-正シミレクティックラグランジュ方程式のSOPDE解が存在する最大部分多様体 $S_f \hookrightarrow T^1_kQ$ を成功裏に同定した。
• 最終的な制約部分多様体 $S_f$ は、制約 $(\zeta_1)_{\lambda\rho\nu} = 0$, $(\eta_1)_{\rho\sigma} = 0$, $(\eta_1)^\alpha_{\beta\gamma} = 0$, および $(\eta_2)^\alpha_{\beta\gamma,\nu} = 0$ によって定義される。
• 非動的制約に対する接線条件は新たな制約を生成しないが、動的制約に対する接線条件は追加の制約を生じる可能性がある。
• アインシュタイン＝パラティーニモデルに対しては、$S_f$ 上での可積分性条件 $[X_\alpha, X_\beta] = 0$ から、$g^{\rho\gamma}\Gamma^\gamma_{[\nu\lambda]}\Gamma^\lambda_{\mu]\sigma} + \dots + \frac{2}{3}g^{\rho\sigma}T^\lambda_{\lambda[\mu,\nu]} = 0$ という新たな制約が得られた。
• 最終的な部分多様体 $S_f$ は、ホロノミーでかつアインシュタイン方程式を満たす積分断面を支持しており、物理的解の存在を確認した。
• このアルゴリズムは、k-正シミレクティック場理論におけるディラック＝ベルグマン制約アプローチを一般化し、一貫性とアルゴリズム的構造を保持している。