[논문 리뷰] Orbit reduction of exterior differential systems, and group-invariant variational problems

Vladimir Itskov|arXiv (Cornell University)|2000. 11. 14.

Nonlinear Waves and Solitons참고 문헌 10인용 수 8

한 줄 요약

이 논문은 리 군 대칭을 갖는 외부 미분 체계(EDS)에 대해 궤도 축소를 제안하며, 축소된 EDS의 해가 원래 체계의 정규 해의 모듈리 공간과 일대일로 대응됨을 증명한다. 축소된 잼 공간의 국소 특성 코homology와 대칭 군의 리 대수 코homology 사이의 동형사상 수립하며, 비잔드로프 스펙트럴 시퀀스의 사상에서 유도된 추가 미분 연산자를 포함한 축소된 오일러-라그랑주 연산자의 조합으로 군-불변 오일러-라그랑주 방정식을 계산하는 알고리즘을 제공한다.

ABSTRACT

For For a given PDE system, or an exterior differential system possessing a Lie group of internal symmetries the orbit reduction procedure is introduced. It is proved that the solutions of the reduced exterior differential system are in one-to-one correspondence with the moduli space of regular solutions of the prolongation of the original system. The isomorphism between the local characteristic cohomology of the reduced unconstrained jet space and the Lie algebra cohomology of the symmetry group is established. The group-invariant Euler-Lagrange equations of an invariant variational problem are described as a composition of the Euler-Lagrange operators on the reduced jet space and certain other differential operators on the reduced jet space. The practical algorithm of computing these operators is given.

연구 동기 및 목표

• 유한 차원 리 군 작용에 관하여 불변인 외부 미분 체계(EDS)에 대한 체계적인 궤도 축소 절차를 개발하는 것.
• 축소된 EDS의 해와 원래 체계의 정규 해의 모듈리 공간 사이의 일대일 대응을 확립하는 것.
• 축소된 잼 공간의 국소 특성 코homology와 대칭 군의 리 대수 코homology 사이의 동형사상을 규명하는 것.
• 궤도 축소를 통해 군-불변 변분 문제의 불변 오일러-라그랑주 방정식을 체계적으로 계산하는 일반 알고리즘을 제공하는 것.
• 오비트 공간 위로 오일러-라그랑주 방정식을 보낸다(푸시포워드) 하는 기하학적 및 코homological 의미를 명확히 하는 것.

제안 방법

• 궤도 축소는 원래 EDS의 r차 미분 연장의 오비트 공간 위에 축소된 EDS를 구성하며, 잼 공간 위에 유도된 G-작용을 사용한다.
• 이 방법은 G-불변 우측 이동 기저의 존재에 의존하여, 머르르-카르탕 형식을 당겨와 접촉 이상에서의 불변 1형식의 필터링 기저를 구성한다.
• 수평 미분과 비잔드로프 스펙트럴 시퀀스의 가장자리 복합체를 사용하여 미분 불변량의 싸이지지(관계식)를 계산하고 축소된 구조를 정의한다.
• 핵심 기술 도구는 필터링된 불변 형식 기저 위에서 라이프니츠 법칙을 적용하여 미분 연산자 $\hat{T}_{I\alpha'}^{\alpha I'}$를 구성하는 것이다.
• 불변 오일러-라그랑주 방정식은 축소된 오일러-라그랑주 연산자와 계산된 $\hat{T}$-형 연산자의 조합으로 유도되며, 이는 연산자 $\hat{A}$를 형성한다.
• 알고리즘은 $\mathbb{R}^2$ 위에서 SE(2) 작용에 대해 명시적으로 적용되어, $\hat{A}$의 닫힌 형태 표현식이 $y$, $v = \kappa_s$, 그리고 미분항들로 유도된다.

실험 결과

연구 질문

• RQ1 G-불변 외부 미분 체계를 오비트 공간 위의 등가 체계로 어떻게 축소할 수 있으며, 이때 해의 대응관계를 유지할 수 있는가?
• RQ2 축소된 잼 공간의 국소 특성 코homology와 대칭 군의 리 대수 코homology 사이의 코homological 관계는 무엇인가?
• RQ3 변분 문제의 불변 오일러-라그랑주 방정식을 축소된 체계에서 어떻게 체계적으로 계산할 수 있는가?
• RQ4 오비트 공간 위로 오일러-라그랑주 방정식을 보낸다(푸시포워드) 하는 기하학적 의미는 무엇인가?
• RQ5 궤도 축소 절차를 사용하여 축소된 체계의 해로부터 원래 체계의 해를 재구성할 수 있는가?

주요 결과

• 축소된 EDS의 해는 정리 2에 의해 원래 체계의 정규 해의 모듈리 공간과 일대일 대응됨이 증명되었다.
• 정리 3에 따르면, 축소된 비제약 잼 공간의 국소 특성 코homology와 대칭 군의 리 대수 코homology 사이의 동형사상이 확립되었다.
• 불변 오일러-라그랑주 방정식은 비잔드로프 스펙트럴 시퀀스의 사상에서 유도된 추가적인 미분 연산자를 포함한 축소된 오일러-라그랑주 연산자의 조합으로 나타남이 입증되었다.
• 계산된 $\hat{T}_{I\alpha'}^{\alpha I'}$ 연산자와 그 결과로 유도된 연산자 $\hat{A}$를 계산하는 명시적 알고리즘이 제공되었다. 이 연산자 $\hat{A}$는 불변 오일러-라그랑주 방정식을 생성한다.
• SE(2) 작용이 $\mathbb{R}^2$ 위에 작용하는 예시에서, $\hat{A} = \left((v_{1}+v\frac{d}{dy})^{2}+y^{2}\right)(2v_{1}+v\frac{d}{dy})-vy$ 가 유도되었으며, 축소된 오일러-라그랑주 체계는 곡선의 잼 공간 위에서 표준적인 것과 일치한다.
• SE(2) 작용에 대한 축소된 무한 잼 공간은 $\mathbb{R}^2$ 안의 곡선의 무한 잼 공간과 동형임이 확인되어, 축소 절차의 일관성을 입증하였다.