[논문 리뷰] Quantitative KAM normal forms and sharp measure estimates

Comlan Edmond Koudjinan|arXiv (Cornell University)|2019. 01. 01.

Quantum chaos and dynamical systems참고 문헌 25인용 수 2

한 줄 요약

이 학위논문은 비퇴화된 적분 가능 해밀턴계에 대한 작은 외란 하에서 지속 가능한 KAM 토러스에 대한 날카운 측도 추정치의 엄밀하고 명시적인 증명을 제공한다. 아르놀트의 원래 KAM 체계에서 발생하는 로그 보정을 주의 깊은 푸리에 절단과 재스케일링을 통해 제거함으로써, 저자는 정량적 KAM 정규형을 수립하고, 불변 토러스의 집합에 대한 정확한 O(ϵ) 측도 추정치를 도출하여 KAM 이론에서 예외 집합의 크기 문제에 오랫동안 존재하던 격차를 해결한다.

ABSTRACT

It is widespread since the beginning of KAM Theory that, under "sufficiently small" perturbation, of size $ε$, apart a set of measure $O(\sqrtε)$, all the KAM Tori of a non-degenerate integrable Hamiltonian system persist up to a small deformation. However, no explicit, self-contained proof of this fact exists so far. In the present Thesis, we give a detailed proof of how to get rid of a logarithmic correction (due to a Fourier cut-off) in Arnold's scheme and then use it to prove an explicit and "sharp" Theorem of integrability on Cantor-type set. In particular, we give an explicit proof of the above-mentioned measure estimate on the measure of persistent primary KAM tori. We also prove three quantitative KAM normal forms following closely the original ideas of the pioneers Kolmogorov, Arnold and Moser, computing explicitly all the KAM constants involved and fix some "physical dimension" issues by means of appropriate rescalings. Finally, we compare those three quantitative KAM normal forms on a simple mechanical system.

연구 동기 및 목표

• 작은 외란 하에서 지속 가능한 KAM 토러스에 대한 O(ϵ) 측도 추정치의 자가 포함된 명시적 증명을 통해 KAM 이론의 기초적 격차를 메우는 것.
• 아르놀트의 원래 KAM 체계에서 로그 보정을 제거하기 위해 푸리에 절단 절차를 정밀하게 개선하는 것.
• 콜모고로프, 아르놀트, 모저의 원초적 아이디어를 기반으로 한 명시적이고 정량적인 KAM 정규형을 유도하고, 모든 상수를 계산하는 것.
• 적절한 재스케일링을 통해 고전적 KAM 공식화에서의 물리적 차원 불일치 문제를 해결하는 것.
• 간단한 기계계에 대해 세 가지 정량적 KAM 정규형을 비교하여 그 상대적 강도와 적용 가능성 평가하는 것.

제안 방법

• 고전적 KAM 체계에서 발생하는 로그 발산을 제거하기 위해 개선된 푸리에 컷오프 절차의 사용.
• 반복적 KAM 절차를 정량적으로 제어하기 위해 부드러운 수축 사상 보조정리를 적용하는 것.
• 칸토어 유사 집합 위에서 함수의 슈프레임 노름에 대한 부드러움과 제어를 보장하기 위해 웨이트니 유형의 확장 정리를 구현하는 것.
• 튜브형 이웃 영역의 부피를 계산하기 위해 일반화된 스테이너의 공식을 활용하는 것 — 이는 측도 추정치에 핵심적이다.
• 칸토어 집합과 그 여집합의 기하학을 다루기 위해 노름이 제어된 리프시츠 연속 함수의 확장을 활용하는 것.
• 물리적 차원 문제를 해결하기 위해 변수를 체계적으로 재스케일링하여 다양한 공식화 간의 일관성을 확보하는 것.

실험 결과

연구 질문

• RQ1 아르놀트의 KAM 체계에서 로그 보정을 엄밀히 제거하여 지속 가능한 KAM 토러스 집합에 대한 날카운 O(ϵ) 측도 추정치를 도출할 수 있는가?
• RQ2 콜모고로프, 아르놀트, 모저의 정규형에서 모든 KAM 상수의 명시적 값은 무엇이며, 상호 비교해 보면 어떻게 되는가?
• RQ3 세 가지 정량적 KAM 정규형이 구체적인 기계계에 적용되었을 때 성능은 어떻게 되는가?
• RQ4 외란 크기 ϵ에 관해 지속 가능한 주요 KAM 토러스 집합의 정확한 측도는 얼마인가?
• RQ5 예외 집합의 측도에 대해 명시적인 제어를 갖는 아르놀트 정리의 글로벌 심플렉틱 확장을 구성할 수 있는가?

주요 결과

• 아르놀트의 KAM 체계에서 로그 보정이 성공적으로 제거되어 지속 가능한 KAM 토러스 집합에 대한 날카운 O(ϵ) 측도 추정치를 도출하였다.
• 콜모고로프, 아르놀트, 모저 유형의 정규형에 대해 명시적이고 정량적인 KAM 정규형이 도출되었으며, 모든 상수는 계산되었고 물리적 차원도 적절히 처리되었다.
• 지속 가능한 주요 KAM 토러스 집합의 측도는 O(ϵ)임을 증명하여 기대되는 점근적 행동과 일치하며, 오랫동안 존재하던 문헌의 격차를 메웠다.
• 예외 집합의 측도에 대해 명시적인 제어를 갖는 아르놀트 정리의 글로벌 심플렉틱 확장이 확립되었다.
• 기계계에서의 비교 결과, 세 정규형은 유사하지만 서로 다른 정량적 추정치를 도출하였으며, 모서 유형 정규형이 재스케일링에 대해 가장 강건한 것으로 나타났다.
• 일반화된 스테이너 공식과 웨이트니 확장 기법을 통해 튜브형 이웃 영역의 정밀한 부피 추정치를 도출할 수 있었으며, 이는 날카운 측도 추정치에 필수적이다.