[논문 리뷰] Symplectic maps: from generating functions to Liouvillian forms

Hugo Jiménez-Pérez|arXiv (Cornell University)|2015. 08. 13.

Nonlinear Waves and Solitons참고 문헌 20인용 수 5

한 줄 요약

이 논문은 특수한 심플렉틱 다양체 위에서 리우빌리안 1형식을 사용하여 암묵적 심플렉틱 사상들을 구성하는 기하적 방법을 제안한다. 기존의 생성 함수와 다르부 좌표계에 의존하지 않으며, 심플렉틱 케일리 변환의 일반화로 이어지며, 차원 n(2n+1)의 연속적인 심플렉틱 적분기법 가중치를 제공한다. 이는 심플렉틱 오일러 A/B 방법과 중점법을 특수한 경우로 포함하며, 핵심 결과로 일반화된 암묵적 심플렉틱 오일러 방법을 도출한다.

ABSTRACT

In this article we introduce a new method for constructing implicit symplectic maps using special symplectic manifolds and Liouvillian forms. This method extends, in a natural way, the method of generating functions to 1-forms which are globally defined on the symplectic manifold. The maps constructed by this method, are related to the symplectic Cayley's transformation and belong to a continuous space of dimension n(2n+1). Applying the implicit map to the discrete Hamilton equations we obtain the generalized symplectic Euler scheme. We show the relations of the elements of this family with other discrete symplectic mapping, in particular 1) with the mappings obtained by generating functions of type I, II, and III and IV; 2) with the symplectic Euler methods A and B; and 3) with the mid-point rule. Moreover, we show the corresponding symplectic diffeomorphisms and their Liouvillian forms on the product symplectic manifold. We illustrate the details of the method in constructing two different families of implicit symplectic maps for $n=1$. This is a geometrical method which overcomes the difficulties of the Hamilton-Jacobi theory and generating functions.

연구 동기 및 목표

• 생성 함수와 다르부 좌표계에 의존하지 않는 암묵적 심플렉틱 사상들을 구성하기 위한 기하적 프레임워크를 개발하는 것.
• 심플렉틱 오일러 A/B 및 중점법과 같은 다양한 알려진 심플렉틱 적분기법들을 하나의 연속적인 사상 가중치로 통합하는 것.
• 리우빌리안 형식과 심플렉틱 케일리 변환 사이의 연결 고리를 설정하여, 연속적 변환의 이산적 해석을 제공하는 것.
• 해밀턴 시스템에 적용 가능한 일반화된 암묵적 심플렉틱 오일러 방법을 이 방법의 자연스러운 결과로 도출하는 것.
• n=1인 경우에 대해 명시적인 구성 방법을 제시함으로써, 리우빌리안 형식이 곱 심플렉틱 다양체 위의 심플렉틱 미분동형사상 정의에 어떻게 기여하는지 보여주는 것.

제안 방법

• 심플렉틱 다양체 위에 전역적으로 정의된 리우빌리안 1형식 θ의 적분다양체로 정의된 라그랑주 부분다양체를 통해 심플렉틱 사상을 구성하는 방법.
• 곱 심플렉틱 다양체 위의 복소構조를 이용해 라그랑주 부분다양체의 접선공 방정식을 유도함으로써, 해밀턴-자코비 방정식을 풀 필요 없이 대체하는 방법.
• 라그랑주 부분다양체의 투영에 대한 횡단 조건을 통해 심플렉틱성을 확보하며, 좌표 축소 없이도 심플렉틱성을 유지하는 방법.
• 선형 경우에서는 대각선 상에서 사상이 항등사상으로 수렴하며, 이 조건이 원래 다양체 위의 두 리우빌리안 형식 간의 관계로 변환됨.
• 해밀턴 행렬 b ∈ M_{2×2}(ℝ)를 사용하여 추적 값이 0인 행렬 매개변수를 정의함으로써 일반화된 심플렉틱 오일러 방법을 일반화하여 임의의 해밀턴 시스템에 적용 가능하게 함.
• 기존의 방법들(예: 심플렉틱 오일러 A/B, 중점법)이 매개변수 b가 특정 값을 취할 때 특수한 경우로 나타남을 보여줌으로써 방법의 타당성을 검증함.

실험 결과

연구 질문

• RQ1 생성 함수 대신 리우빌리안 형식을 사용하여 어떻게 심플렉틱 사상을 체계적으로 구성할 수 있는가?
• RQ2 리우빌리안 형식, 라그랑주 부분다양체, 곱 다양체 위의 심플렉틱 미분동형사상 사이의 기하적 관계는 무엇인가?
• RQ3 제안된 방법은 이산적 환경에서 심플렉틱 케일리 변환을 어떻게 일반화하는가?
• RQ4 일반화된 암묵적 심플렉틱 오일러 방법은 이 리우빌리안 형식 프레임워크의 자연스러운 결과로 도출될 수 있는가?
• RQ5 매개변수 행렬 b는 적분기법의 수치적 행동을 어떻게 결정하며, 그 매개변수들은 알려진 심플렉틱 방법들과 어떻게 관련되어 있는가?

주요 결과

• 이 방법은 차원 n(2n+1)의 연속적인 암묵적 심플렉틱 사상 가중치를 구성하며, 기존의 생성 함수 방법을 일반화한다.
• 일반화된 심플렉틱 오일러 방법은 자연스러운 결과로 도출되며, 수치적 업데이트는 z_h = z_0 + h X_H(ρ(z_0, z_h))로 정의되며, 여기서 ρ는 해밀턴 매트릭스 b로 매개변수화된 선형 사상이다.
• 심플렉틱 오일러 A 및 B 방법은 b가 특정 값인 (α,β,γ) = (1/2,0,0) 및 (−1/2,0,0)일 때의 극한 경우로 복원된다.
• 중점법은 b가 φ = π/4인 회전 행렬일 때 해당되며, 대칭적인 업데이트 방법을 제공한다.
• n=1인 경우에 대해 두 가지 연속적인 심플렉틱 적분기법 가중치를 명시적으로 구성함—하나는 특수한 심플렉틱 다양체를 사용하고, 다른 하나는 일반화된 오일러 방법을 통해—이로써 방법의 유연성을 입증한다.
• 이 방법은 수치적 방법을 심플렉틱 케일리 변환의 이산적 해석으로 기하학적으로 해석할 수 있으며, 해밀턴 매트릭스의 구조와 연결된다.