[논문 리뷰] Action-angle coordinates and KAM theory for singular symplectic manifolds

Eva Miranda, Arnau Planas|arXiv (Cornell University)|2022. 12. 31.

Advanced Differential Equations and Dynamical Systems인용 수 4

한 줄 요약

이 논문은 전이 초면을 가진 특이 심플렉틱 구조인 $b^m$-심플렉틱 다양체에 대해 KAM 이론을 수립한다. 행동-각도 좌표계를 개발하고, 소규모 외란에 의해 준주기 토러스의 유지가 보장되는 KAM 정리를 증명한다. 주요 기여는 심플렉틱 범주 외의 포아송 다양체에서의 첫 번째 외란 이론으로, 태양계 천문학과 유체역학에 대한 응용은 탈특이화와 $b$-접촉 구조를 통해 이루어진다.

ABSTRACT

This monograph explores classification and perturbation problems for integrable systems on a class of Poisson manifolds called $b^m$-Poisson manifolds. Even if the class of $b^m$-Poisson manifolds is not ample enough to represent general Poisson manifolds, this investigation can be seen as a first step for the study of perturbation theory for general Poisson manifolds. We prove an action-angle coordinate and a KAM theorem for $b^m$-Poisson manifolds which improves the one obtained for $b$-Poisson manifolds for $m=1$ in [KMS16]. As an outcome of this result together with the extension of the desingularization techniques of Guillemin-Miranda-Weitsman to the realm of integrable systems, we obtain a KAM theorem for folded symplectic manifolds. We also obtain a new KAM theorem for symplectic manifolds where the perturbation keeps track of a distinguished hypersurface. In several problems in celestial mechanics, this distinguished hypersurface can be the line at infinity or can represent the collision set.

연구 동기 및 목표

• 전통적인 심플렉틱 설정을 초월하여 전이 임계 초면을 가진 특이 심플렉틱 다양체인 $b^m$-심플렉틱 다양체에 KAM 이론을 확장하기 위해.
• 고전적인 아르놀드-리우빌-마이너 정리의 일반화로서, 특이 포아송 구조로의 일반화를 위한 $b^m$-통합계에 대한 행동-각도 좌표 체계를 개발하기 위해.
• $b^m$-심플렉틱 다양체에 대한 KAM 정리를 수립하여, 소규모 외란 하에서 불변 토러스의 유지 보장을 보장함으로써 준주기 역학의 연구를 가능하게 하기 위해.
• 탈특이화 기법(예: 맥기힐 변환)을 사용하여 $b^m$-구조를 고전적 천문학 문제(예: 케플러 문제, 두 고정 중심 문제)와 연결함으로써 제한된 삼체 문제와 탈출 궤도에 대한 적용을 위해.
• $b$-리브-벨트라미 대응을 통해 접촉 기하학에서의 주기적 궤도와 탈출 궤도에 대한 결과를 천문학 및 유체역학으로 이전함으로써 $b^m$-역학과의 연결을 위한 목적을 위해.

제안 방법

• $b^m$-심플렉틱 구조를 심플렉틱 형식이 한 면 $Z$에서 비퇴화되며, $b^m$-형식에 의해 매끄럽게 연장 가능한 일반화된 심플렉틱 형식으로서 도입하기 위해.
• 정칙 영역 내의 고리 위에서 $b^m$-일차형식의 적분을 통해 행동 변수를 정의함으로써 $b^m$-통합계에 대한 행동-각도 좌표계를 구성하기 위해.
• $b^m$-통합계가 국소적으로 토러스 작용을 가지며, 정칙 수준집합에서 각도 좌표를 가짐을 보여주는, $b^m$-심플렉틱 버전의 아르놀드-리우빌 정리 증명하기 위해.
• Nash-Moser 반복을 $b^m$-프레임워크 내에서 사용하여 외란 문제를 $b^m$-심플렉토모르피즘 방정식으로 환원함으로써, $b^m$-심플렉틱 다양체에 대한 새로운 KAM 정리를 개발하기 위해.
• 탈특이화 기법(예: 맥기힐 변환)을 사용하여 $b^m$-구조를 고전적 천문학 문제(예: 케플러 문제, 두 고정 중심 문제)와 연결하기 위해.
• $b$-리브-벨트라미 대응을 활용하여, 3차원 다양체에서 임계 집합의 연결 성분 수가 $N$인 일반적인 $b$-벨트라미 벡터장이 최소 $2N$개 또는 무한히 많은 탈출 궤도를 가짐을 보여주기 위해.

실험 결과

연구 질문

• RQ1 심플렉틱 형식이 초면에서 붕괴하는 특이 포아송 다양체인 $b^m$-심플렉틱 다양체에 대해 KAM 이론을 확장할 수 있는가?
• RQ2 $b^m$-통합계는 고전적 심플렉틱 경우와 유사한 잘 정의된 행동-각도 좌표계를 갖는가?
• RQ3 $b^m$-심플렉틱 시스템에서 소규모 외란 하에 준주기 토러스가 유지되는 조건은 무엇인가?
• RQ4 $b^m$-심플렉틱 다양체에 대한 KAM 정리는 천문학에서, 특히 무한대 또는 충돌 특이점 근처에서 새로운 주기 궤도를 찾는 데 어떻게 적용될 수 있는가?
• RQ5 $b^m$-접촉 구조와 $b$-리브-벨트라미 대응은 천문학 및 유체역학 시스템에서 탈출 궤도와 특이 주기 궤도를 식별하는 데 어떤 역할을 하는가?

주요 결과

• $b^m$-범주 내에서 소규모 $C^ u$-연속 외란에 대해 준주기 토러스의 유지가 보장되는 새로운 $b^m$-심플렉틱 KAM 정리가 수립되었다.
• $b^m$-형식과 정칙 영역 내의 고리 위에서의 적분을 이용하여 $b^m$-통합계에 대한 행동-각도 좌표계가 구성되었으며, 이는 고전적 아르놀드-리우빌 정리의 일반화이다.
• 맥기힐 변환이 케플러 문제를 $b^3$-접촉 구조로 변환함을 보였으며, 이 경우 리우빌 벡터장은 에너지 수준집합에 횡단하는 $b^3$-벡터장이 된다.
• 탈특이화 후, 무한대 근처의 제한된 삼체 문제에서 임계 집합 상에 무한히 많은 비자명한 주기 궤도를 가진 $b^3$-접촉 구조를 나타낸다.
• $b$-리브-벨트라미 대응에 따르면, 임계 집합의 연결 성분 수가 $N$인 3차원 다양체에서 일반적인 $b$-벨트라미 벡터장은 최소 $2N$개 또는 무한히 많은 탈출 궤도를 가진다.
• KAM 방법을 사용하여 이러한 특이 주기 궤도를 외란 시스템에서 진정한 주기 궤도로 변형시킬 수 있으며, 이를 통해 푸앵카레의 계속 방법을 $b^m$-설정으로 확장할 수 있다.