[논문 리뷰] Integration by parts and vector differential forms in higher order variational calculus on fibred manifolds

Roman Matsyuk|arXiv (Cornell University)|2014. 06. 12.

Algebraic and Geometric Analysis참고 문헌 2인용 수 4

한 줄 요약

이 논문은 벡터 번들의 값이 되는 미분형식을 사용하여 섬유화된 다양체 위에서 고차 미분 계산을 위한 기하적 프레임워크를 제시한다. 적분 by parts는 비선형 그린 공식을 통해 재구성된다. 행동의 일阶 변분, 오일러-라그랑주 방정식, 그린 연산자에 대한 내재적이고 좌표에 의존하지 않는 표현은 기본 형식의 당김을 통해 제공되며, 특정 장 구성에 대한 의존성을 제거한다.

ABSTRACT

Infinitesimal variation of Action functional in classical (non-quantum) field theory with higher derivatives is presented in terms of well-defined intrinsic geometric objects independent of the particular field which varies. 'Integration by parts' procedure for this variation is then described in purely formal language and is shown to consist in application of nonlinear Green formula to the vertical differential of the Lagrangian. Euler-Lagrange expressions and the Green operator are calculated by simple pull-backs of certain vector bundle valued differential forms associated with the given variational problem.

연구 동기 및 목표

• 고차 도함수를 포함하는 고전적 장 이론에서 행동 함수의 일阶 변분에 대한 좌표에 의존하지 않는 내재적 표현을 제공하는 것.
• 장 구성에 대한 투영과 그린 연산자의 암묵적 의존성을 제거하기 위해 내재적인 기하적 대상을 식별하는 것.
• 벡터 번들의 값이 되는 미분형식이 고전적 장 이론에서 변분 계산을 표현하는 데 이상적으로 적합함을 보여주는 것.
• 콜라르 분해 공식을 변분 도함수와 관련 연산자의 계산을 단순화하는 기하적 대상의 언어로 재구성하는 것.

제안 방법

• 기저 대체 사상에 의한 벡터 번들의 값이 되는 미분형식의 당김을 다루기 위해 역상 함자(Reciprocal image functor)를 사용한다.
• 라그랑지안과 그 변형을 내재적으로 표현하기 위해 수직 번들의 값이 되는 반기본형식(Semi-basic differential forms)을 도입한다.
• 이러한 형식의 리 미분(Lie derivative)을 사용하여 기하학적으로 일致하는 방식으로 행동 함수의 무한소 변형을 계산한다.
• 적분 by parts 공식은 라그랑지안의 수직 미분에 비선형 그린 공식을 적용하여 유도된다.
• 전치 및 그린 연산자는 기본 벡터 번들의 값이 되는 형식의 당김을 통해 계산되어, 장 구성에 대한 의존성이 명시적이고 기하학적으로 명확해진다.
• 이 프레임워크는 유도된 번들과 자연 변환을 사용하여 공변성과 내재적 타당성을 보장하는 전역 해석 원리에 기반한다.

실험 결과

연구 질문

• RQ1 고차 장 이론에서 행동 함수의 일阶 변분은 특정 장 구성에 의존하지 않는 내재적 기하 대상으로 어떻게 표현될 수 있는가?
• RQ2 고차 변분 계산에서 적분 by parts 절차의 내재적 기하적 의미는 무엇인가?
• RQ3 전치 및 그린 연산자는 장 구성에 대한 명시적 의존성이 없이 통일된 기하적 절차로 계산될 수 있는가?
• RQ4 벡터 번들의 값이 되는 미분형식은 섬유화된 다각체 위에서 변분 계산을 통합적으로 다루는 데 어떻게 기여하는가?
• RQ5 비선형 그린 공식은 어떻게 기본 기하 대상의 언어로 일阶 변분을 표현하는 데 기여하는가?

주요 결과

• 행동의 일阶 변분은 반기본형식(수직 번들의 값이 되는 형식)을 사용하여 라그랑지안의 리 미분과 수직 미분을 통해 내재적으로 표현된다.
• 적분 by parts는 라그랑지안의 수직 미분에 비선형 그린 공식을 적용함으로써 재구성되며, 이는 절차의 기하학적 기초를 제공한다.
• 오일러-라그랑주 방정식은 라그랑지안과 관련된 기본 벡터 번들의 값이 되는 미분형식의 당김으로 유도된다.
• 그린 연산자와 전치 연산자는 보편적인 기하 형식의 당김을 통해 계산되어, 특정 장 구성에 대한 의존성이 없어진다.
• 이 프레임워크는 섬유화된 다각체 위에서 고차 미분 계산을 위한 일관되고 내재적이며 계산적으로 명확한 방법을 제공한다.
• 벡터 번들의 값이 되는 미분형식과 역상 함자를 사용함으로써, 고전적 장 이론에서 변분 계산의 자연스럽고 공변적인 표현이 가능해진다.