[논문 리뷰] Ghosts of Order on the Frontier of Chaos

Mark Muldoon|arXiv (Cornell University)|2016. 10. 28.

Quantum chaos and dynamical systems참고 문헌 24인용 수 5

한 줄 요약

이 1989년 박사학위논문은 KAM 정리의 범위를 초월하여 해밀토니안 시스템에서 질서의 지속성, 특히 고차원 심플렉틱 사상에 중점을 두고 연구한다. 빌코프 주기 궤도의 수치적 근사와 엄밀한 기계 보조 계산을 통해, 왜곡된 시스템의 혼돈 영역 내부에 파괴된 불변 토르스의 잔여물인 '질서의 유령'—칸토리 유사 구조—가 존재함을 입증한다. 이는 KAM 토르스가 존재하지 않는 경우에도 성립하며, 오비리-메이터 이론을 네 차원으로 확장한다.

ABSTRACT

What kinds of motion can occur in classical mechanics? We address this question by looking at the structures traced out by trajectories in phase space; the most orderely, completely integrable systems, are charactrized by phase trajectories confined to low-dimensional, invariant tori. The KAM theory examines what happens to the tori when an integrable system is subjected to a small perturbation and finds that, for small enough perturbations, most of them survive. The KAM theory is mute on the suject of the disrupted tori, but, for two dimensional systems, Aubry and Mather discovered an astonishing picture: the broken tori are replaced by "cantori", tattered, Cantor-set remnants of the original invariant curves. We seek to extend Aubry and Mather's picture to higher dimensional systems and report two kinds of studies; both concern perturbations of a completely integrable, four-dimensional symplectic map. In the first study we compute some numerical approximations to Birkhoff periodic orbits; sequences of such orbits should approximate any higher dimensional analogs of the cantori. In the second study we prove converse KAM theorems; that is, we use a combination of analytic arguments and rigorous, machine-assisted computations to find perturbations so large that no KAM tori survive. We are able to show that the last few of our Birkhoff orbits exist in a regime where there are no tori.

연구 동기 및 목표

• 2차원에서 고차원 해밀토니안 시스템으로 오비리와 메이터의 칸토리 이론—파손된 불변 토르스의 찢어진 잔여물—을 확장하기 위해.
• KAM 토르스가 더 이상 존재하지 않는 왜곡된 분리 가능 시스템의 위상공간의 구조를 조사하기 위해.
• 큰 왜곡 조건 하에서 KAM 토르스의 부재를 확인하기 위해 엄밀한 계산 방법을 개발하고 적용하기 위해.
• Birkhoff 주기 궤도를 수치적으로 근사하여 고차원 칸토리의 일반화된 후보로 삼기 위해.
• 해석적 추론과 기계 보조 계산을 융합하여 불변 토르스의 부재를 확인하는 역 KAM 정리 수립하기 위해.

제안 방법

• 4차원 심플렉틱 사상에서 Birkhoff 주기 궤도를 수치적으로 계산하여 고차원 칸토리의 근사로 사용하기 위해.
• 행동 함수의 최소화를 통해 주기 궤도를 찾기 위한 변분 원리를 적용하기 위해.
• 오차의 경계를 보장하기 위해 간격 산술과 임의 정밀도 산술을 사용하기 위해.
• 리프시츠 원추 가닥과 정밀한 좌표계를 도입하여 비선형성과 불변 토르스의 부재를 분석하기 위해.
• 전역적 추정과 원추 영역 정밀화를 활용하여 기계 보조 엄밀 계산을 통해 큰 왜곡 조건 하에서 KAM 토르스가 존재하지 않음을 검증하기 위해.
• 실린더에서의 역 KAM 기법을 고차원 위상공간으로 확장하며, 대칭성 활용과 프리즘 영상 경계 설정을 포함하기 위해.

실험 결과

연구 질문

• RQ1 4차원 심플렉틱 사상에서 Birkhoff 주기 궤도는 고차원 시스템에서 칸토리의 일반화로 간주될 수 있는가?
• RQ2 KAM 토르스가 더 이상 존재하지 않는 왜곡된 4차원 분리 가능 시스템에서 위상공간의 구조는 어떠한가?
• RQ3 엄밀한 계산 방법을 어떻게 활용하여 큰 왜곡 조건 하에서 불변 토르스의 부재를 증명할 수 있는가?
• RQ4 칸토리의 오비리-메이터 그림은 2개 이상의 자유도를 초월해 어느 정도까지 확장될 수 있는가?
• RQ5 리아프노프 지수와 궤도의 형태는 혼란스러운 영역 내에서 질서의 잔여물 식별에 어떤 역할을 하는가?

주요 결과

• 논문은 4차원 심플렉틱 사상에서 Birkhoff 주기 궤도의 수치적 근사를 성공적으로 수행하였으며, 이는 고차원 칸토리의 후보로 간주될 수 있음을 시사한다.
• 해석적 추론과 기계 보조 엄밀 계산의 조합을 통해 큰 왜곡 조건 하에서 KAM 토르스의 부재를 증명하였다.
• 계산된 마지막 몇 개의 Birkhoff 궤도는 KAM 토르스가 존재하지 않는 영역에서도 유지되며, 이는 칸토리 유사 구조의 형태로 '질서의 유령' 존재를 시사한다.
• 간격 산술과 임의 정밀도 산술의 사용으로 모든 계산 경계가 수학적으로 엄밀하고 오차 제어 가능함을 보장하였다.
• 리프시츠 원추 가닥과 프리즘 영상 경계 설정 방법을 통해 비선형성의 전역적 엄밀 추정이 가능해졌으며, 불변 토르스의 부재를 확인하였다.
• 논문은 고차원에서의 역 KAM 정리를 수립하였으며, 충분히 큰 왜곡 조건 하에서는 복잡한 위상공간 구조를 가진 시스템에서도 KAM 토르스가 존재하지 않음을 입증하였다.