[论文解读] 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-可投影）約束。
• 將該演算法應用於廣義相對論的愛因斯坦－帕拉蒂尼模型，分析其約束結構與解的全純性。
• 與多辛形式比較結果，並建立 k-預辛方法在仿射拉格朗日量下的一致性。

提出的方法

• 在 k-切叢 $T^1_kQ$ 上以 k-辛幾何形式化拉格朗日場理論。
• 實施包含兩個主要階段的約束演算法：(1) 相容性條件（動力約束），(2) SOPDE 條件（非動力約束）。
• 在每一步驟中強制 k-向量場與約束子流形的切向性，以確保穩定性。
• 根據 FL-可投影性區分約束類型：動力約束來自相容性，非動力約束來自 SOPDE 要求。
• 迭代應用該演算法直至穩定，得出最終的約束子流形 $S_f$。
• 透過在 $S_f$ 上強制 $[X_\alpha, X_\beta] = 0$ 來驗證可積性，進而導出新的可積性約束。

实验结果

研究问题

• RQ1 在 k-預辛場理論中，SOPDE 解存在的最大子流形的幾何結構為何？
• RQ2 如何透過系統性、幾何化的約束演算法解決奇異拉格朗日場理論中的二階問題？
• RQ3 FL-可投影性在 k-預辛系統中分類動力與非動力約束時扮演何種角色？
• RQ4 愛因斯坦－帕拉蒂尼模型在 k-預辛與多辛形式下的約束結構有何差異？
• RQ5 在愛因斯坦－帕拉蒂尼模型中，k-向量場的全純性要求會引出哪些新的可積性條件？

主要发现

• 該演算法成功識別出一個最大子流形 $S_f \hookrightarrow T^1_kQ$，在該子流形上，k-預辛拉格朗日方程的 SOPDE 解存在。
• 最終的約束子流形 $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-預辛場理論，同時保持一致性和演算法結構。