[논문 리뷰] A convex embedding for the rotating Kepler problem

Urs Frauenfelder, Otto van Koert외 1명|arXiv (Cornell University)|2016. 05. 23.

Spacecraft Dynamics and Control참고 문헌 4인용 수 3

한 줄 요약

이 논문은 평면에서 회전하는 케플러 문제의 유한 에너지 초면을 Ligon-Schaaf 및 Levi-Civita 정규화 사상의 조합을 통해 $ℝ^4$로의 볼록 심플렉틱 매핑으로 구성한다. 핵심 결과는 매핑된 초면의 가우스-크로네커 곡률이 양수임을 보여주며, 이는 역학적 볼록성의 증명과 함께 힐로모르픽 곡선 기법을 활용한 버크호프 추측 공격의 새로운 길을 열어 놓는다.

ABSTRACT

In this note, we prove that below the first critical energy level, a proper combination of the Ligon-Schaaf and Levi-Civita regularization mappings provides a convex symplectic embedding of the energy surfaces of the planar rotating Kepler problem into $R^4$ endowed with its standard symplectic structure. A direct consequence is the dynamical convexity of the planar rotating Kepler problem, which has been established by Albers-Fish-Frauenfelder-van Koert by direct computations. This result opens up new approaches to attack the Birkhoff conjecture about the existence of a global surface of section in the restricted planar circular three body problem using holomorphic curve techniques.

연구 동기 및 목표

• 평면에서 회전하는 케플러 문제의 제1 임계 에너지 수준 이하에서 유한 성분의 에너지 초면을 $ℝ^4$로의 볼록 심플렉틱 매핑으로 설정하는 것.
• Levi-Civita 정규화만으로는 볼록성을 도출하지 못하는 데에 대비해, 이중 단계 정규화 절차를 도입함으로써 이를 해결하는 것.
• 제한된 삼체 문제에서 전역 표면의 섹션 존재성에 관한 버크호프 추측을 공격하기 위한 기하학적 기초를 제공하는 것.
• 정규화된 에너지 표면의 가우스-크로네커 곡률이 양수임을 입증함으로써, 이는 역학적 볼록성을 암시한다.
• 심플렉틱 매핑에서 볼록성을 확보함으로써, 제한된 삼체 문제에 힐로모르픽 곡선 기법을 적용하기 위한 기반을 마련하는 것.

제안 방법

• 회전하는 케플러 문제에 Ligon-Schaaf 정규화 사상을 적용하여 에너지 초면을 새로운 심플렉틱 다양체로 변환한다.
• 그 다음, Ligon-Schaaf 정규화 시스템에 Levi-Civita 정규화 사상을 적용함으로써 $ℝ^4$로의 심플렉틱 매핑을 얻는다.
• 에너지 수준 집합을 복소좌표 $(w,z) \in \u2102^2$ 로 표현하며, 해밀토니안은 $L.C.^*H_r = -\frac{1}{2(\|w\|^2 + \|z\|^2)^2} + 2(w_1z_2 - w_2z_1)$ 가 된다.
• 에너지 표면의 영수준 집합이 되는 함수 $F = -1 + 4(w_1z_2 - w_2z_1)(\|w\|^2 + \|z\|^2)^2 - 2c(\|w\|^2 + \|z\|^2)^2$ 를 정의한다.
• 에너지 표면의 접선 공간에 제한된 $F$ 의 헤시안을 계산하고, 다항식 $f_1, f_2, f_3, f_4$ 로 인수분해함으로써 그 행렬식이 양수임을 보여준다. 에너지 조건 하에서 이 모든 항목이 양수임을 입증한다.
• 기하학적 기반을 위해 기울기의 쿼aternion적 표현을 사용하여 수직 접선 기저를 구성하고, 곡률 행렬식 $DH = 524288a^6 f_1f_2f_3f_4^2$ 를 계산함으로써 엄격한 볼록성을 증명한다.

실험 결과

연구 질문

• RQ1 회전하는 케플러 문제의 유한 에너지 초면은 제1 임계 에너지 수준 $c = -3/2$ 이하에서 $\u211d^4$로의 엄격히 볼록한 심플렉틱 매핑으로 매핑될 수 있는가?
• RQ2 Ligon-Schaaf 및 Levi-Civita 정규화의 조합은 각각의 정규화만으로는 볼록성을 도출하지 못하는 경우에 볼록 매핑을 얻을 수 있는가?
• RQ3 모든 $c < -3/2$ 에 대해 정규화된 에너지 표면의 가우스-크로네커 곡률이 양수인가? 이는 역학적 볼록성을 암시한다.
• RQ4 이 볼록 매핑 기법은 제한된 삼체 문제로 확장되어, 전역 표면의 섹션 존재성에 관한 버크호프 추측을 뒷받침할 수 있는가?
• RQ5 곡률 행렬식의 대수적 구조는 무엇이며, 곡률 추정에 유용하게 인수분해될 수 있는가?

주요 결과

• Ligon-Schaaf 및 Levi-Civita 정규화의 조합은 $c < -3/2$ 일 때 모든 경우에 대해 유한 에너지 초면 $\Sigma_c^b$ 를 $\u211d^4$ 로의 2대1 심플렉틱 매핑으로 제공하며, 이는 엄격히 볼록하다.
• 매핑된 초면의 가우스-크로네커 곡률은 양수임을 입증하였으며, 이는 $F$ 의 제한된 헤시안의 행렬식이 양수이고, $f_1, f_2, f_3, f_4$ 로 분해되어 양수임을 보여줌으로써 입증된다.
• 곡률 행렬식은 명시적으로 $DH = 524288a^6 f_1f_2f_3f_4^2$ 로 계산되었으며, 여기서 $a = \|w\|^2 + \|z\|^2$ 이고, 에너지 제약 조건 $c < -3/2$ 하에서 모든 인수가 엄격히 양수이다.
• 함수 $f_3$ 는 $b = \frac{1}{4a^2} + \frac{c}{2}$ 를 대입하고, 얻어진 $c$ 에 대한 이차식을 분석함으로써 양수임을 입증하였다. 이는 $0 < a < 1$ 이고 $c < -3/2$ 일 때도 여전히 양수이다.
• 충돌 집합으로의 매핑은 $\u211d^4$ 내에서 닫힌 엄격히 볼록한 초면으로 매끄럽게 연장되며, 정규화된 에너지 표면의 전역 볼록성을 확인한다.
• 직접적인 계산을 통해 이전에 [2] 에서 확보된 결과를 직접적으로 유도함으로써, 유한 성분의 에너지 초면은 역학적으로 볼록하다.