[논문 리뷰] A general symplectic integrator for canonical Hamiltonian systems

Yonghui Bo, Wenjun Cai외 1명|arXiv (Cornell University)|2019. 12. 02.

Numerical methods for differential equations참고 문헌 22인용 수 1

한 줄 요약

이 논문은 실수 매개변수를 통해 해밀턴 체계의 해밀턴 시스템을 일반화한 보존형 적분기법을 제안한다. 이는 보존형 오일러와 은직적 중점법을 통합하며, 생성 함수와 대칭 조합을 활용해 고차수 보존형 스킴을 구성하고, 매개변수 조정을 통해 에너지 보존 변형을 도출한다. 엄밀한 가역성 증명과 수치적 검증을 통해 검증된다.

ABSTRACT

The focus of this paper is to recommend a novel symplectic scheme for canonical Hamiltonian systems. The new scheme contains a real parameter which makes the symplectic Euler methods and implicit midpoint rule as its special cases. The validity of the symplecticity of this scheme is well explained from the perspectives of the generating function and partitioned Runge-Kutta methods. The generating function of the new symplectic scheme with new coordinates is studied, and these coordinates include the three typical coordinates. Employing the generating function method and symmetric composition methods, two new classes of symplectic schemes of any high order are devised, respectively. Furthermore, based on these symplectic schemes, two energy-preserving schemes and the feasibility of constructing higher order energy-preserving schemes are presented by the parameter serving for clever tuning. The solvability of all the schemes mentioned is proved, and the numerical performances of these schemes are demonstrated with numerical experiments.

연구 동기 및 목표

• 기존 방법을 일반화하는 일반화된 보존형 적분기법을 개발하기 위해.
• 생성 함수와 분할 룬게-쿠타 이론을 사용하여 새로운 스킴의 보존성(심플렉틱성)을 확립하기 위해.
• 생성 함수와 대칭 조합 방법을 활용하여 고차수 보존형 스킴을 구성하기 위해.
• 스킴의 매개변수를 유능하게 조정하여 에너지 보존 스킴을 설계하기 위해.
• 모든 제안된 스킴의 가역성과 수치적 성능을 증명하기 위해.

제안 방법

• 실수 매개변수를 가진 일반화된 보존형 스킴을 도입하여, 특수한 경우로 보존형 오일러와 은직적 중점법으로 축소됨을 보여준다.
• 기하학적 구조 보존을 확보하기 위해 생성 함수와 분할 룬게-쿠타 공식을 사용하여 보존성의 성질을 분석한다.
• 스킴 구성의 편의를 위해 생성 함수로부터 새로운 좌표를 유도하며, 세 가지 유형의 좌표를 포함한다.
• 기본 스킴에서 고차수 보존형 스킴을 생성하기 위해 대칭 조합 방법을 활용한다.
• 생성 함수와 대칭 조합 기법을 사용하여 두 가지 새로운 고차수 보존형 스킴 클래스를 구성한다.
• 스킴의 매개변수를 조정하여 에너지 보존을 달성하고, 에너지 보존 적분기법의 설계를 가능하게 한다.

실험 결과

연구 질문

• RQ1 단일 보존형 적분기법 프레임워크가 매개변수를 통해 보존형 오일러와 은직적 중점법을 통합할 수 있는가?
• RQ2 생성 함수와 분할 룬게-쿠타 이론을 어떻게 활용하여 일반 스킴의 보존성(심플렉틱성)을 증명할 수 있는가?
• RQ3 대칭 조합은 기본 적분기법에서 고차수 보존형 스킴을 구성하는 데 어떤 역할을 하는가?
• RQ4 제안된 매개변수를 조정하여 해밀턴 시스템에서 에너지 보존을 달성할 수 있는가?
• RQ5 제안된 보존형 및 에너지 보존 스킴의 가역성과 수치적 성능은 어떠한가?

주요 결과

• 제안된 일반 보존형 스킴은 보존형 오일러와 은직적 중점법을 특수한 경우로 포함하며, 통합된 프레임워크를 확립한다.
• 생성 함수와 분할 룬게-쿠타 이론을 사용하여 스킴의 보존성(심플렉틱성)을 엄밀히 증명하였다.
• 생성 함수와 대칭 조합 방법을 활용하여 두 가지 새로운 고차수 보존형 스킴 클래스를 성공적으로 설계하였다.
• 스킴의 매개변수를 유능하게 조정하여 에너지 보존 스킴을 구성하였으며, 고차수 에너지 보존 적분기법의 실현 가능성을 입증하였다.
• 모든 제안된 스킴의 가역성이 수학적으로 증명되어 수치적 적용 가능성을 보장하였다.
• 수치 실험을 통해 기하학적 및 물리적 구조를 보존하는 데서 스킴의 뛰어난 수치적 성능을 확인하였다.