[논문 리뷰] Some geometric aspects of variational problems in fibred manifolds

Demeter Krupka|ArXiv.org|2001. 10. 02.

Advanced Differential Geometry Research참고 문헌 23인용 수 66

한 줄 요약

이 논문은 섬유다발 다발에서 변분법의 기하적 공식화를 제시하며, 제1 임의확장 위에 정의된 라그랑지안 함수에 중점을 두고 있다. 불변 미분형식과 Lepagian 형식을 사용하여 오일러-라그랑주 방정식을 유도하고, 리 미분을 통해 임계 섹션과 대칭성을 특성화함으로써 수학적 물리학의 장 이론에 대한 엄밀한 기초를 제공한다. 특히 불변성과 기하적 구조에 중점을 두고 있다.

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.

연구 동기 및 목표

• 섬유다발에서의 변분 문제를 위한 기하적이고 불변적인 프레임워크를 수립하기 위해.
• 라그랑지안 함수 또는 형식이 임의확장 위에 정의된 함수의 임계 섹션을 분석하기 위해.
• 미분형식을 사용하여 완전히 불변적인 방식으로 오일러-라그랑주 방정식을 도출하기 위해.
• 리 미분과 불변 변환을 통해 대칭성과 보존 법칙을 특성화하기 위해.
• 일반적으로 공변적인 장 이론에 적합한 기하적 기초를 제공하기 위해.

제안 방법

• 변분 설정에서 변형을 생성하기 위해 사영 가능한 벡터장의 임의확장을 사용한다.
• Lepagian 형식을 적용하여 불변적이며 기하적인 방식으로 첫 번째 변분 공식을 도출한다.
• 외부 미분 계산을 통해 임계점을 특성화하기 위해 라그랑지안과 관련된 오일러 형식을 도입한다.
• 리 미분을 사용하여 불변, 일반화된 불변, 대칭 변환을 정의하고 분류한다.
• 외부 미분을 사용하여 오일러 형식이 0이 되는 필요 및 충분 조건을 도출한다.
• 특수한 Lepagian 형식을 연구하여 변분 문제의 구조와 그 대칭성을 분석한다.

실험 결과

연구 질문

• RQ1 섬유다발에서의 변분 문제에 대해 오일러-라그랑주 방정식을 완전히 불변적이고 기하적인 방식으로 어떻게 도출할 수 있는가?
• RQ2 라그랑지안이 식별적으로 0이 되는 오일러 방정식을 갖기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 리 미분과 미분형식을 사용하여 변분 문제의 대칭성을 어떻게 특성화할 수 있는가?
• RQ4 Lepagian 형식은 첫 번째 변분의 기하적 공식화에서 어떤 역할을 하는가?
• RQ5 일반적으로 공변적인 변분 이론은 섬유다발의 기하적 구조에서 어떻게 유도되는가?

주요 결과

• 첫 번째 변분 공식은 Lepagian 형식을 사용하여 유도되며, 미분형식에 대한 불변성을 보장한다.
• 라그랑지안과 관련된 오일러 형식이 0이 되는 것은 그 형식의 외부 미분이 특정 기하 조건을 만족할 때에만 가능하다.
• 식별적으로 0이 되는 오일러 방정식을 위한 필요 및 충분 조건은 미분형식과 그 외부 미분을 통해 기술된다.
• 변분 문제의 대칭성은 해당 벡터장의 방향으로 라그랑지안 형식의 리 미분이 0이 되는 것으로 특성화된다.
• 이 이론은 일반적으로 공변적인 장 이론을 위한 기하적 프레임워크를 제공하며, 물리적 장 이론에의 응용이 가능하다.
• 사영 가능한 벡터장의 임의확장은 기하적 변분법에서 변형을 일관되게 다룰 수 있도록 한다.