[논문 리뷰] Arnold Diffusion, Quantitative Estimates and Stochastic Behavior in the Three-Body Problem

Maciej J. Capiński, Marian Gidea|arXiv (Cornell University)|2018. 12. 10.

Quantum chaos and dynamical systems참고 문헌 49인용 수 4

한 줄 요약

이 논문은 소규모 시간 주기적 외란을 받는 해밀토니안 시스템에서 아르놀트 확산을 엄밀히 확립하기 위한 위상적 방법을 제시한다. 이 방법은 외란 크기 $\varepsilon$ 와 무관하게 에너지 이탈이 발생하는 궤도의 존재, 혼돈적인 에너지 진동, 그리고 $\varepsilon \to 0$ 일 때 브라운 운동과 이동성의 수렴을 보여준다. 이 방법은 확산 시간($O(1/\varepsilon)$), 확산 궤도의 르베그 측도, 혼돈 궤도의 하우스도르프 차원, 그리고 확률적 극한에 대한 명시적 정량적 추정치를 도출하며, 구체적인 모델(예: 평면 타원형 제한된 세 몸체 문제의 해왕성-티트라운 시스템)에 대해 컴퓨터 보조 증명으로 구현 가능하다.

ABSTRACT

We consider a class of autonomous Hamiltonian systems subject to small, time-periodic perturbations. When the perturbation parameter is set to zero, the energy of the system is preserved. This is no longer the case when the perturbation parameter is non-zero. We describe a topological method to establish orbits which diffuse in energy for every suitably small perturbation parameter $\varepsilon>0$. The method yields quantitative estimates: (i) The existence of orbits along which the energy drifts by an amount independent of $\varepsilon$. The time required by such orbits to drift is $O(1/\varepsilon)$; (ii) The existence of orbits along which the energy makes chaotic excursions; (iii) Explicit estimates for the Hausdorff dimension of the set of such chaotic orbits; (iv) The existence of orbits along which the time evolution of energy approaches a stopped diffusion process (Brownian motion with drift), as $\varepsilon$ tends to $0$. For each $\varepsilon$ fixed, the set of initial conditions of the orbits that yield the diffusion process has positive Lebesgue measure, and in the limit the measure of these sets approaches zero. Moreover, we can obtain any desired values of the drift and variance for the limiting Brownian motion, for appropriate sets of initial conditions. A key feature of our topological method is that it can be implemented in computer assisted proofs. We give an application to a concrete model of the planar elliptic restricted three-body problem, on the motion of an infinitesimal body relative to the Neptune-Triton system.

연구 동기 및 목표

• 작은 시간 주기적 외란 하에서 해밀토니안 시스템에서 큰 에너지 이탈을 보이는 궤도의 존재를 확립하는 것.
• 확산 시간, 확산 궤도의 측도, 혼돈 궤도의 하우스도르프 차원에 대한 명시적 정량적 추정치를 제공하는 것.
• 일부 궤도의 에너지 변화가 외란 매개수 $\varepsilon \to 0$ 일 때 정지된 확산 과정(브라운 운동과 이동성)으로 수렴함을 보이는 것.
• 구체적인 물리적 모델에 대해 유효한 수치 계산을 이용한 컴퓨터 보조 증명으로 구현 가능한 방법을 개발하는 것.
• 특히 해왕성-티트라운 시스템을 포함한 평면 타원형 제한된 세 몸체 문제에 이 틀을 적용하여 물리적으로 관련된 매개수로 결과를 도출하는 것.

제안 방법

• 위상적 접근법으로 위상 공간 내 불변 다발과 커버링 관계를 이용한 전이 체인 구축.
• 유한한 정밀도 이내에서 유한 개의 명시적 조건을 검증하여 $\varepsilon > 0$ 의 구간(영에 임의로 가까운 값 포함)에서 점근적 행동을 유추하는 것.
• 기호 역학과 디스크 전파를 이용해 흐름에 따른 집합의 변화를 추적하고 확산을 확립하는 것.
• 작용-각도 변수를 가진 해밀토니안 시스템에 적용하여, 비외상 상태($\varepsilon = 0$)에서 $I$ 가 보존됨을 이용하는 것.
• 위상 공간 내 칸토어 유사 집합의 구성으로 혼돈 궤도의 하우스도르프 차원을 추정하는 것.
• 에너지 변화가 $\varepsilon \to 0$ 일 때 브라운 운동과 이동성으로 수렴함을 보이며, 이로 인한 이동성과 분산에 대한 명시적 제어를 제공하는 것.

실험 결과

연구 질문

• RQ1 소규모 외란 하에서 구체적인 물리적 모델(예: 세 몸체 문제)에서 아르놀트 확산을 엄밀히 증명할 수 있는가?
• RQ2 고정된 에너지 이탈을 위해 필요한 시간에 대한 명시적 정량적 한계는 무엇이며, 이는 $\varepsilon$ 와 무관한가?
• RQ3 각 고정된 $\varepsilon > 0$ 에 대해 에너지 확산을 유도하는 초기 조건의 집합의 르베그 측도는 무엇이며, $\varepsilon \to 0$ 일 때 이는 어떻게 행동하는가?
• RQ4 혼돈적인 에너지 진동을 보이는 궤도 집합의 하우스도르프 차원은 무엇인가?
• RQ5 외란 매개수 $\varepsilon \to 0$ 일 때 에너지 변화의 극한 확률 과정을 명시적으로 기술할 수 있으며, 초기 조건를 통해 이동성과 분산을 제어할 수 있는가?

주요 결과

• 외란 크기 $\varepsilon$ 와 무관하게 에너지가 일정량 이탈하는 궤도가 존재하며, 이러한 이탈에 소요되는 시간은 $O(1/\varepsilon)$ 이다.
• 각 고정된 $\varepsilon > 0$ 에 대해 에너지 확산을 유도하는 초기 조건의 집합은 양의 르베그 측도를 가지며, $\varepsilon \to 0$ 일 때 이 측도는 0으로 수렴한다.
• 혼돈적인 에너지 진동을 보이는 궤도 집합의 하우스도르프 차원은 명시적으로 추정되며, $\varepsilon$ 와 무관하게 양의 상한선으로 아래에서 유계이다.
• 일부 궤도의 에너지 변화는 $\varepsilon \to 0$ 일 때 정지된 확산 과정(브라운 운동과 이동성)으로 수렴하며, 이로 인한 이동성과 분산은 초기 조건를 통해 명시적으로 제어할 수 있다.
• 이 방법은 유효한 수치 계산을 이용한 컴퓨터 보조 증명으로 구현 가능하여, 해왕성-티트라운 시스템과 같은 구체적 모델에 대해 엄밀한 검증이 가능하다.
• 결과는 해왕성-티트라운 시스템의 관측된 질량 비율과 이심률을 포함한 물리적으로 관련된 매개수를 가진 평면 타원형 제한된 세 몸체 문제에 적용 가능하다.