[논문 리뷰] Instabilities for analytic quasi-periodic invariant tori

Gerard Farré, Bassam Fayad|arXiv (Cornell University)|2019. 12. 03.

Quantum chaos and dynamical systems참고 문헌 32인용 수 6

한 줄 요약

이 논문은 근사화된 쌍대성(AbC) 방법을 사용하여 임의의 주파수에 대해 위상적으로 불안정한 준주기적 불변 토러스를 가진 실해석적 해밀토니안을 구성한다. 이는 네후로스키프 이론과 카움-아르틴-모르드레르(KAM) 이론에서 날카로운 결과를 도출하며, 특히 지수적 안정성의 최적성과 리우빌 주파수에 대해 토러스의 비누적적 축적성에 대한 결과를 포함한다.

ABSTRACT

We prove the existence of real analytic Hamiltonians with topologically unstable quasi-periodic invariant tori. Using various versions of our examples, we solve the following problems in the stability theory of analytic quasi-periodic motion: $\quad i)$ Show the existence of topologically unstable tori of arbitrary frequency. Moreover, the Birkhoff Normal Form at the invariant torus can be chosen to be convergent, equal to a planar or non-planar polynomial. $\quad ii)$ Show the optimality of the exponential stability for Diophantine tori. ' $\quad iii)$ Show the existence of real analytic Hamiltonians that are integrable on half of the phase space, and such that all orbits on the other half accumulate at infinity. $\quad iv)$ For sufficiently Liouville vectors, obtain invariant tori that are not accumulated by a positive measure set of quasi-periodic invariant tori.

연구 동기 및 목표

• 임의의 주파수 벡터에 대해 위상적으로 불안정한 준주기적 불변 토러스를 가진 실해석적 해밀토니안의 존재를 보여주기.
• 네후로스키프 이론에서 디오파너 주파수 토러스에 대한 지수적 안정성 추정치의 날카로움을 보여주기.
• 위상공간의 반쪽에서는 적분 가능하고 다른 반쪽의 모든 궤도가 무한대로 흩어지는 해밀토니안을 구성하기.
• 충분히 리우빌 주파수에 대해, 양의 측도를 가진 준주기적 토러스 집합에 의해 축적되지 않는 불변 토러스를 제시하기.

제안 방법

• 각각의 주기적 편항을 포함한 역변환을 통해 수열 $ H_n $ 의 극한으로 해밀토니안을 구성하는 근사화된 쌍대성(ABc) 방법을 사용한다.
• 각도 변수에서의 주기적 변환 $ \tilde{\theta} = \theta + \text{주기적 항들} $ 을 사용하여 $ H_n $ 을 정규형 $ H_0 = \tilde{\theta} \rangle $ 로 쌍대화함으로써 명시적 흐름 해를 도출한다.
• 시퀀스 $ \{k_j\} \subset \mathbb{Z}^{d-1} $ 과 급격히 증가하는 주파수 벡터를 이용해 행동 변수에서의 불안정성을 유도하는 야생적인 쌍대성 변환을 사용한다.
• AbC 방법을 두 가지 메커니즘으로 적용한다: (i) 일정한 리우빌 주파수와 거의 공진조화된 $ k_j $ 를 사용하고, (ii) $ r_d \to 0 $ 일 때 공진조화를 통과하는 주파수 벡터 $ \omega(r_d) $ 를 사용한다.
• 수렴성 보장의 위해 복소근접 영역 $ D_{\Delta,\rho} = \mathbb{T}^d_\rho \times B_{\Delta,\rho} $ 에서의 추정을 사용하여 $ H_n \to H $ 가 $ C^\omega $ 노름에서 수렴함을 보장한다.
• 비르코프 정규형(BNF) 분석을 통해 극한 해밀토니안의 구조를 제어하고, KAM 안정성에 필요한 비퇴화 조건을 확인한다.

실험 결과

연구 질문

• RQ1 실해석적 해밀토니안 시스템에서 임의의 주파수 벡터에 대해 위상적으로 불안정한 준주기적 불변 토러스가 존재할 수 있는가?
• RQ2 네후로스키프 이론에서 디오파너 주파수 토러스에 대한 지수적 안정성 추정치는 최적인가?
• RQ3 실해석적 해밀토니안이 위상공간의 반쪽에서는 적분 가능하고 다른 반쪽의 모든 궤도가 무한대로 흩어지는가?
• RQ4 충분히 리우빌 주파수 벡터에 대해, 양의 측도를 가진 준주기적 토러스 집합에 의해 축적되지 않는 불변 토러스를 구성할 수 있는가?

주요 결과

• 논문은 임의의 주파수 벡터 $ \omega \in \mathbb{R}^d $ 에 대해 위상적으로 불안정한 준주기적 불변 토러스를 가진 실해석적 해밀토니안을 구성하여 안정성 이론에서 열려있던 문제를 해결한다.
• 불변 토러스에서의 비르코프 정규형은 수렴 가능하고 평면 또는 비평면 다항식과 일치하도록 만들 수 있으며, 이는 정규형의 구조에 대한 유연성을 보여준다.
• 디오파너 주파수 토러스에 대한 지수적 안정성 추정치가 최적임을 입증하였으며, 구성된 예시들이 네후로스키프 추정치에 로그 보정을 제외하고 정확히 일치하는 확산 시간을 달성한다.
• 위상공간의 한쪽 반쪽에서 모든 궤도가 무한대에 수렴하는 예시를 구성하였고, 다른 반쪽에서는 시스템이 적분 가능하므로 극단적인 불안정성을 보여준다.
• 충분히 리우빌 주파수 벡터에 대해, 양의 측도를 가진 준주기적 토러스 집합에 의해 축적되지 않는 불변 토러스를 구성하였으며, 이는 KAM 유형의 비누적적 축적 결과의 최적성을 보여준다.
• 극한 해밀토니안 $ H = \lim H_n $ 이 실해석적이며, 복소근접 영역에서 $ C^\omega $ 수렴성을 보여, 구성된 예시의 매끄럽고 해석적 성질을 보장한다.