[论文解读] Some geometric aspects of variational problems in fibred manifolds

Demeter Krupka|ArXiv.org|Oct 2, 2001

Advanced Differential Geometry Research参考文献 23被引用 66

一句话总结

本文在纤维丛上提出了变分法的几何表述，聚焦于一阶喷射提升上的拉格朗日泛函。通过不变微分形式与勒帕吉形式，推导出欧拉-拉格朗日方程，并利用李导数刻画临界截面与对称性，为数学物理中的场论提供了强调不变性与几何结构的严格基础。

ABSTRACT

This work contains an exposition of foundations of the variational calculus in fibered manifolds. The emphasis is laid on the geometric aspects of the theory. Especially functionals defined by real functions (Lagrange functions) or differential forms (Lagrangian forms) on the first jet prolongation of a given fibered manifold are studied. Critical points (critical cross sections) of the functionals are examined and the Euler equations for them are derived in a completely invariant manner. The first variation formula is derived by means of the so-called Lepagian forms. All variations appearing in the theory are generated by vector fields. Jet prolongations of projectable vector fields are defined. The Euler form, associated with a given Lagrange function (of Lagrangian form) is introduced by means of the Euler equations of the calculus of variations. Necessary and sufficient conditions for the vanishing of the Euler form are stated in terms of differential forms and their exterior differential. The corresponding conditions for a Lagrange function leading to identically vanishing Euler equations are given. Some special Lepagian forms are studied. Classes of symmetries of a variational problem are defined. Invariant, generalized invariant, and symmetry transformations are characterized in terms of the Lie derivatives. The variational problem with prescribed symmetry transformations is formulated, and necessary and sufficient conditions for its solutions are studied. The geometrical aspects of the so-called generally covariant variational theories are studied. Definitions and theorems are well adapted to the situation in physical field theories.

研究动机与目标

• 为纤维丛上的变分问题建立一个几何的、不变的框架。
• 分析由喷射提升上的拉格朗日函数或形式定义的泛函的临界截面。
• 使用微分形式以完全不变的方式推导欧拉-拉格朗日方程。
• 通过李导数与不变变换刻画对称性与守恒律。
• 为物理学中的一般协变场论提供一个合适的几何基础。

提出的方法

• 使用可投影向量场的喷射提升在变分设定中生成变分。
• 应用勒帕吉形式以不变且几何的方式推导第一变分公式。
• 引入与拉格朗日量相关的欧拉形式，通过外微分几何刻画临界点。
• 利用李导数定义并分类不变、广义不变及对称变换。
• 通过外微分推导欧拉形式消失的必要与充分条件。
• 研究特殊勒帕吉形式，以分析变分问题的结构及其对称性。

实验结果

研究问题

• RQ1 如何在纤维丛上的变分问题中，以完全不变且几何的方式推导欧拉-拉格朗日方程？
• RQ2 拉格朗日量使欧拉-拉格朗日方程恒为零的必要与充分条件是什么？
• RQ3 如何利用李导数与微分形式刻画变分问题的对称性？
• RQ4 勒帕吉形式在第一变分几何表述中起什么作用？
• RQ5 一般协变变分理论如何从纤维丛的几何结构中自然涌现？

主要发现

• 第一变分公式通过勒帕吉形式推导，确保在微分同胚下保持不变。
• 与拉格朗日量相关的欧拉形式消失，当且仅当该形式的外微分满足特定几何条件。
• 欧拉-拉格朗日方程恒为零的必要与充分条件以微分形式及其外微分为表达。
• 变分问题的对称性通过拉格朗日形式沿相应向量场的李导数消失来刻画。
• 该理论为一般协变场论提供了几何框架，适用于物理场论。
• 可投影向量场的喷射提升使得几何变分计算中变分的处理具有一致性。