[논문 리뷰] Symplectic, Multisymplectic Structures and Euler-Lagrange Cohomology

Hao Yang Guo, S.K. Wang외 2명|ArXiv.org|2001. 04. 17.

Numerical methods for differential equations참고 문헌 6인용 수 3

한 줄 요약

이 논문은 고전역학과 양자장론에서 에일러-라그랑주 코homology와 심플렉틱 및 멀티심플렉틱 구조 사이의 엄밀한 코homological 프레임워크를 수립한다. 변분 도함수를 일반화하기 위해 자유 매개변수 공간을 도입함으로써, 심플렉틱/멀티심플렉틱 보존 성질이 해 공간뿐만 아니라 전체 함수 공간에서도 성립함을 증명한다. 이는 에일러-라그랑주 코homology가 비자명하고 닫혀 있을 때에만 성립하며, 알려진 라그랑지안이 없는 해밀턴형 상미분방정식과 편미분방정식으로의 접근을 확장한다.

ABSTRACT

We study the Euler-Lagrange cohomology and explore the symplectic or multisymplectic geometry and their preserving properties in classical mechanism and classical field theory in Lagrangian and Hamiltonian formalism in each case respectively. By virtue of the Euler-Lagrange cohomology that is nontrivial in the configuration space, we show that the symplectic or multisymplectic geometry and related preserving property can be established not only in the solution space but also in the function space if and only if the relevant closed Euler-Lagrange cohomological condition is satisfied in each case. We also apply the cohomological approach directly to Hamiltonian-like ODEs and Hamiltonian-like PDEs no matter whether there exist known Lagrangian and/or Hamiltonian associated with them.

연구 동기 및 목표

• 해결 공간을 초월하여 고전역학과 양자장론에서 심플렉틱 및 멀티심플렉틱 구조에 대한 엄밀한 기하학적 기초를 수립하기 위해.
• 에일러-라그랑주 코hom로가 전체 함수 공간에서 심플렉틱/멀티심플렉틱 구조와 그 보존 법칙이 성립하는지 여부를 결정하는 데서의 역할을 명확히 하기 위해.
• 알려진 라그랑지안이나 해밀턴ian이 없는 해밀턴형 상미분방정식과 편미분방정식으로의 코homological 접근를 확장하기 위해.
• 자유 매개변수 형식을 통해 함수 공간에서의 변분 도함수와 외부 미분 계산을 통합적으로 다루기 위해.
• 제약 이론과 고차원 장론을 포함한 더 넓은 계열의 시스템으로 코homological 프레임워크를 일반화하기 위해.

제안 방법

• 구성 공간의 모든 방향에서의 변형을 매개변수화하기 위해 자유 매개변수의 가중치를 도입함으로써, 제1 및 제2 변분을 통합적으로 다룰 수 있도록 한다.
• 기저 다양체의 각 점에서 자유 매개변수 공간에 대한 미분으로 간주하는 방식으로, 함수 공간 위에 외부 미분 계산을 적용한다.
• 에일러-라그랑주 조건 하에서 1형식의 공간을 통해 에일러-라그랑주 코hom로를 정의하며, 영형식, 코바운더리형식, 닫힌 형식을 구분한다.
• 에일러-라그랑주 1형식의 닫힘 조건을 함수 공간에서의 심플렉틱/멀티심플렉틱 구조 보존을 위한 필수 및 필요조건으로 사용한다.
• 고전역학과 양자장론에서 라그랑지안 및 해밀턴 형식을 모두 적용하여, 코homological 조건 하에서 구조 보존의 등가성을 보여준다.
• 에일러-라그랑주 조건을 만족하는 인공적 작용형, 라그랑지안형, 해밀턴ian형 함수를 구성함으로써, 방법을 해밀턴형 상미분방정식과 편미분방정식으로 확장한다.

실험 결과

연구 질문

• RQ1 고전역학에서 심플렉틱 구조와 그 보존 법칙이 해 공간 뿐 아니라 전체 함수 공간에서도 성립하는 조건은 무엇인가?
• RQ2 고전장론에서 멀티심플렉틱 구조와 그 보존 성질은 에일러-라그랑주 코hom로와 어떻게 관련되어 있는가?
• RQ3 알려진 라그랑지안이나 해밀턴ian이 없는 시스템, 예를 들어 해밀턴형 상미분방정식과 편미분방정식에 대해 코homological 프레임워크를 적용할 수 있는가?
• RQ4 비자명한 에일러-라그랑주 코hom로가 함수 공간에서의 심플렉틱/멀티심플렉틱 구조 보존을 가능하게 하는 정확한 역할은 무엇인가?
• RQ5 자유 매개변수 형식은 어떻게 무한차원 함수 공간에서의 변분 도함수와 외부 미분 계산을 통합적으로 다룰 수 있는가?

주요 결과

• 고전역학에서 심플렉틱 구조와 그 보존 성질은 에일러-라그랑주 코hom로가 비자명하고 관련 1형식이 닫혀 있을 때에만 전체 함수 공간에서 성립한다.
• 고전장론에서는 멀티심플렉틱 구조와 그 보존 법칙이 해 공간에서 함수 공간으로 확장되는 것이 에일러-라그랑주 코hom로 조건을 만족할 때 정확히 성립한다.
• 에일러-라그랑주 코hom로 접근는 알려진 라그랑지안이 없는 해밀턴형 상미분방정식과 편미분방정식으로도 성공적으로 일반화되며, 코homological 조건을 만족하는 인공적 작용형 함수를 구성함으로써 가능하다.
• 에일러-라그랑주 코hom로와 심플렉틱/멀티심플렉틱 구조 보존은 동일한 문제의 양면이며, 코hom로가 구조 보존을 위한 필요 및 충분 조건을 제공한다.
• 이 프레임워크는 코homological 조건을 이산적 영역으로 확장함으로써, 이산적 및 유한요소 방법에서의 심플렉틱 및 멀티심플렉틱 보존 스킴을 유도할 수 있다.
• 이 방법은 해밀턴형 시스템이 동일한 코homology 클래스 내에서 정확한 형식의 차이를 가질 경우, 동일한 심플렉틱/멀티심플렉틱 구조와 보존 법칙을 공유한다는 것을 드러낸다.