[논문 리뷰] On the Poincaré's generating function and the symplectic mid-point rule

Hugo Jiménez-Pérez, Vilotte, Jean-Pierre외 1명|arXiv (Cornell University)|2015. 08. 31.

Numerical methods for differential equations참고 문헌 19인용 수 4

한 줄 요약

이 논문은 리우빌리안 형식을 사용하여 포incare의 생성 함수와 심플렉틱 중점 규칙 사이의 오랫동안 유지되어 온 연관성을 재평가한다. 포incare의 1형식이 중점 규칙이 아니라 항등사상에 대응함을 보여주며, 주기 궤도의 변분 원리(포incare의 프레임워크)와 경계값 문제의 변분 원리(중점 규칙) 사이에 근본적인 불일치가 있음을 드러낸다.

ABSTRACT

The use of Liouvillian forms to obtain symplectic maps for constructing numerical integrators is a natural alternative to the method of generating functions, and provides a deeper understanding of the geometry of this procedure. Using Liouvillian forms we study the generating function introduced by Poincaré (1899) and its associated symplectic map. We show that in this framework, Poincaré's generating function does not correspond to the symplectic mid-point rule, but to the identity map. We give an interpretation of this result based on the original framework constructed by Poincaré.

연구 동기 및 목표

• 포incare의 생성 함수와 심플렉틱 적분기 사이의 기하학적 관계를 명확히 하기 위해.
• 포incare의 1형식이 심플렉틱 중점 규칙을 생성한다는 기존의 주장에 도전하기 위해.
• 심플렉틱 사상 생성을 위한 엄밀한 프레임워크를 리우빌리안 형식을 사용해 수립하기 위해.
• 주기 궤도를 지배하는 변분 원리(포incare)와 경계값 문제를 지배하는 변분 원리(중점 규칙)를 구분하기 위해.
• 심플렉틱 중점 규칙과 관련된 올바른 리우빌리안 형식을 특정하여, 그것이 대칭 부분이 0인 기본 형식 $\theta_0$임을 보여주기 위해.

제안 방법

• 리우빌리안 형식 $\theta$를 사용하여 심플렉틱 사상을 구성하며, 이는 $i_Z\omega = \theta$ 를 만족하는 $Z$를 리우빌리안 벡터장으로 정의한다.
• 심플렉틱 다양체 위에서 리우빌리안 형식을 분류하기 위해 허지 분해 $\theta = \delta\eta + dF + \alpha$ 를 적용한다.
• 심플렉틱 형식 $\omega_{\mathcal{I}}, \omega_{\mathcal{J}}, \omega_{\mathcal{K}}$ 를 가진 곱 다양체 $\mathcal{P} = M \times M$ 의 심플렉틱 구조를 분석한다.
• 심플렉틱 오일러 사상 A와 B, 그리고 포incare의 1형식을 연결하는 일련의 1형식 가중치를 통해 심플렉틱성 여부를 테스트한다.
• 중점 규칙을 생성하는 유일한 리우빌리안 형식 $\theta = \pi_1^*\theta_1 - \pi_2^*\theta_2$ 를 특정하며, 이것이 $\theta_0 = \frac{1}{2}d\mathbf{x}\mathcal{J}\mathbf{x}$ 와 대응됨을 보여준다.
• 조건 $\mathbf{S}_1 \equiv 0_{2n}$ 을 사용하여 중점 규칙이 어떤 형식에서 유래하는지를 특성화하며, 이는 일정 곡률 흐름을 가진 특수한 열화된 경우와 관련이 있음을 밝힌다.

실험 결과

연구 질문

• RQ1 포incare의 생성 함수의 미분이 심플렉틱 중점 규칙에 해당하는가?
• RQ2 심플렉틱 중점 규칙을 생성하는 올바른 리우빌리안 형식은 무엇인가?
• RQ3 주기 궤도의 변분 원리(포incare)와 경계값 문제의 변분 원리(중점 규칙)는 어떻게 다를까?
• RQ4 비퇴화된 대칭 부분을 가진 리우빌리안 형식으로부터 심플렉틱 중점 규칙을 유도할 수 있는가?
• RQ5 허지 분해는 심플렉틱 적분기용 리우빌리안 형식을 분류하는 데 어떤 역할을 하는가?

주요 결과

• 포incare의 생성 함수의 미분은 심플렉틱 중점 규칙이 아니라 항등사상에 대응한다.
• 심플렉틱 중점 규칙은 곱 다양체 위의 기본 리우빌리안 형식 $\theta_0 = \frac{1}{2}({\bf p}d{\bf q} - {\bf q}d{\bf p} - {\bf P}d{\bf Q} + {\bf Q}d{\bf P})$ 에 의해 생성된다.
• 중점 규칙은 리우빌리안 형식의 대칭 부분이 0이 되는 경우($\mathbf{S}_1 \equiv 0_{2n}$)에만 발생하며, 이는 열화된 경우임을 시사한다.
• 형식 $\theta_0$ 와 관련된 리우빌리안 벡터장 $Z = \frac{1}{2}\sum_i x_i \partial_{x_i}$ 는 오일러 벡터장이며, 일정한 해밀토니안 흐름과 일관된다.
• 중점 규칙은 리우빌리안 기반 심플렉틱 사상의 특수한 경우로, 일정한 벡터장의 흐름에 해당한다.
• 심플렉틱 오일러 사상 A와 B, 그리고 포incare의 1형식을 연결하는 1형식의 가중치는 경계점에서만 심플렉틱 사상을 생성하며, 경로 전체에서는 그렇지 않다.