[논문 리뷰] On the Kolmogorov set for Many-Body Problems

Gabriella Pinzari|arXiv (Cornell University)|2013. 09. 26.

Quantum chaos and dynamical systems참고 문헌 18인용 수 26

한 줄 요약

이 논문은 적절히 비퇴화된 시스템에 대한 정밀한 KAM 이론을 적용하여, 공간적 N체 행 星 문제에서 쿨모고로프 집합( quasi-periodic solutions의 양측성 가측 집합)이 존재함을 증명한다. 각운동량 축소, 정규화, 부분/전체 Deprit 변수 변환을 통해 KAM 이론에 필요한 비퇴화성 및 비공명 조건을 증명하였으며, 최종적으로 위상공간 내에서 (3N−1)차원 및 (3N−2)차원의 양측성 가측 불변 토러스를 구성하였다.

ABSTRACT

I defended my PhD Thesis in Rome, Università Roma Tre, on April, 23, 2009, under the direction of Professor Luigi Chierchia. The judging committee was composed by Professors M. Berti, A. Celletti, C. Falcolini, J. Féjoz. Professors M. Berti and J. Féjoz refereed my thesis. The main result of my thesis is the first direct proof (the first general proof was given in [J. Féjoz, ETDS, 2004]) of a famous statement by V. I. Arnold (1963), usually referred to as "Arnold's Planetary Theorem". My proof of Arnold's Planetary Theorem relies on the rediscovery, during the year 2008, of a symplectic set of action-angle variables (described in §4 of my thesis) which perform explicitly the reduction of rotation invariance of the system. Indeed, even though in a different form, they had been previously considered by [F. Boigey, Cel. Mech. Dyn. Astr., 1982] and [A. Deprit, Cel. Mech. Dyn. Astr., 1983]. The version I found in 2008 corresponds to the "planetary" form of Boigey-Deprit variables, since it includes the elliptic elements of the instantaneous ellipses of the planets around the sun and for this reason is especially fitted to this problem . I then regularized "my" planetary variables to include co-planar and co-circular motions. This regularization leads to a set of mixed action-angle and rectangular variables analogous to Poincaré' variables but better fitted to rotation invariance of the system, since they exhibit a cyclic couple of conjugated variables. I finally applied my regularized variables to the problem, checked non-trivial torsion and obtained the proof of the theorem. I wish to thank J. Féjoz for mentioning my contribution to the proof of Arnold's Theorem, and especially my rediscovery of Deprit's reduction, in his paper [J. Fejoz, DCDS-A, 2013].

연구 동기 및 목표

• 공간적 N체 행 星 문제에서 쿨모고로프 집합( quasi-periodic solutions의 양측성 가측 집합)이 존재함을 증명하는 것.
• 강한 중력 결합을 가진 다체계에 대해 적절히 비퇴화된 KAM 이론을 확장하는 것.
• 평면 및 공간 사례에서 축소된 해밀토니안에 대해 비퇴화성 및 비공명 조건을 증명하는 것.
• 부분 및 전체 축소 기법을 통해 (3N−1)차원 및 (3N−2)차원의 불변 KAM 토러스를 구성하는 것.
• 정규화 및 작용-위상 변수를 통해 퇴화성 및 특이성 문제를 극복하여 KAM 이론이 전체 공간적 행 星 문제에 적용 가능함을 검증하는 것.

제안 방법

• 행성 문제의 섭동적 구조를 다루기 위해 이중 시간 척도 KAM 정리의 활용.
• 질량중심 운동을 제거하고 자유도를 감소시키기 위해 각운동량 축소의 적용.
• 해밀토니안의 정규화와 충돌로 인한 특이성 제거를 위해 Deprit의 작용-위상 변수의 활용.
• Delaunay-Poincaré 및 Deprit 사상에 의한 부분 및 전반적 축소를 통해 위상공간의 구조를 단순화.
• KAM 반복의 수렴성을 제어하기 위해 정량적 은폐함수 정리와 코시 유형 추정의 활용.
• 퍼텐셜 해밀토니안의 구조 분석을 위해 라플라스 계수와 비르호프 정규형의 활용.

실험 결과

연구 질문

• RQ1 공간적 N체 행 星 문제에서 양측성 가측 집합의 준주기 해(쿨모고로프 집합)를 구성할 수 있는가?
• RQ2 축소된 위상공간에서 KAM 이론을 적용하기 위해 필요한 정확한 비퇴화성 및 비공명 조건은 무엇인가?
• RQ3 N체 문제에서 가까운 만남과 충돌로 인해 발생하는 특이성은 어떻게 정규화할 수 있는가?
• RQ4 부분 및 완전 축소 시스템에서의 불변 KAM 토러스의 차원은 얼마인가?
• RQ5 강한 결합성과 고도의 퇴화성을 가진 적절히 비퇴화된 시스템에 대해 KAM 수렴 이론을 어떻게 확장할 수 있는가?

주요 결과

• 논문은 N ≥ 3 인 공간적 N체 행 星 문제에서 양측성 가측 준주기 해(쿨모고로프 집합)의 존재를 증명한다.
• 공간 사례에서 축소된 해밀토니안에 대해 비퇴화성 조건(‘비틀림’ 조건 포함)이 엄밀히 검증된다.
• 쿨모고로프 집합은 부분 축소 시스템에서 (3N−1)차원, 완전 축소 시스템에서 (3N−2)차원이다.
• 쿨모고로프 집합의 측도는 소수 파rameter µ에 따라 양의 상한을 가진다.
• 정량적 은폐함수 정리와 해석 함수에 대한 코시 유형 추정을 통해 KAM 반복의 수렴성이 확립된다.
• Deprit 변수와 정규화의 활용으로 특이성이 효과적으로 제거되어 KAM 이론이 전체 행 星 문제에 적용 가능해졌다.