[논문 리뷰] A strong form of Arnold diffusion for two and a half degrees of freedom

V. A. Kaloshin, Ke Zhang|arXiv (Cornell University)|2012. 12. 05.

Mathematical Dynamics and Fractals인용 수 11

한 줄 요약

이 논문은 두 개 반 자유도 해밀턴 시스템에서 강력한 아를드의 확산을 입증한다. 이는 단일 및 이중 공진조에서의 정규형 이론을 이용해 굽은 형태의 3차원 정상 비선형 불변 다각형을 구성하고, 강한 이중 공진조에서의 '맞물림 성질'을 활용해 서로 다른 비선형 불변 다각형을 연결하여 연결된 네트워크를 형성함으로써 달성된다. 기하학적 방법과 크럼플드 및 쿠션되는 비선형 원통의 조합에 더해, 움직임이 약한 KAM 이론에 기반한 마이어 유형의 변분 접근법을 적용하여, 엄밀히 볼록한 $H_0$를 가진 통합 시스템의 일반적인 시간 주기적 외란에 대해 $ ho$-밀도 궤도의 존재를 증명한다. 이는 해밀턴 역학에서 오랫동안 남아있던 추측을 해결한다.

ABSTRACT

In the present paper we prove a strong form of Arnold diffusion. Let $\mathbb{T}^2$ be the two torus and $B^2$ be the unit ball around the origin in $\mathbb{R}^2$. Fix $ρ>0$. Our main result says that for a "generic" time-periodic perturbation of an integrable system of two degrees of freedom \[ H_0(p)+εH_1(θ,p,t),\quad \ θ\in \mathbb{T}^2,\ p\in B^2,\ t\in \mathbb{T}, \] with a strictly convex $H_0$, there exists a $ρ$-dense orbit $(θ_ε,p_ε,t)(t)$ in $\mathbb{T}^2 imes B^2 imes \mathbb{T}$, namely, a $ρ$-neighborhood of the orbit contains $\mathbb{T}^2 imes B^2 imes \mathbb{T}$. Our proof is a combination of geometric and variational methods. The fundamental elements of the construction are usage of crumpled normally hyperbolic invariant cylinders from \cite{BKZ}, flower and simple normally hyperbolic invariant manifolds from as well as their kissing property at a strong double resonance. This allows us to build a "connected" net of $3$-dimensional normally hyperbolic invariant manifolds. To construct diffusing orbits along this net we employ a version of Mather variational method \cite{Ma2} proposed by Bernard in \cite{Be}. This version is equipped with weak KAM theory \cite{Fa}.

연구 동기 및 목표

• 두 개 반 자유도의 거의 통합 시스템이 아를드의 확산을 보이는지 여부라는 해밀턴 역학의 근본적 질문을 해결하기 위해.
• 엄밀히 볼록한 $H_0$를 가진 통합 시스템의 일반적인 시간 주기적 외란에 대해 위상공간 $\times B^2 \times \mathbb{T}^2$에서 $\rho$-밀도 궤도를 구성하기 위해.
• 관성 토러스에 의해 차단되는 고전적 KAM 이론에 의해 막히는 확산을 초월하여, 거의 통합 시스템의 불안정성 메커니즘을 이해를 확장하기 위해.
• 특히, 정상 비선형 불변 원통과 마이어의 변분 방법을 약한 KAM 프레임워크 내에서 통합하여 확산을 달성하기 위해.

제안 방법

• 단일 및 이중 공진조 근처에서 정규형 이론을 이용해 굽은 형태와 단순한 정상 비선형 불변 원통을 구성하기 위해.
• 강한 이중 공진조에서의 '맞물림 성질'을 활용해 서로 다른 정상 비선형 불변 다각형을 연결하여 연결된 네트워크를 형성하기 위해.
• 베르너의 변형을 통해 적응된 마이어 변분 방법과 약한 KAM 이론을 결합하여 네트워크를 따라 확산 궤도를 구성하기 위해.
• 이중 공진조 근처에서 척도 조정과 좌표 변환을 적용하여 시스템을 느린 기계적 시스템으로 환원하고, 아브리-메이어 집합과 장벽 함수의 분석을 가능하게 하기 위해.
• 피에르스 장벽 함수와 스태틱 클래스를 사용하여 코호몰로지 클래스 간의 강제 관계와 강제 동치를 정의하고 분석하기 위해.
• 거의 통합 시스템에서 볼록성과 리프시츠 추정치를 활용하여 볼록한 해의 정규성과 안정성을 보장함으로써 변분 구성의 정규성과 안정성을 확보하기 위해.

실험 결과

연구 질문

• RQ1 엄밀히 볼록한 $H_0$를 가진 두 자유도 통합 시스템의 일반적인 시간 주기적 외란이 위상공간에서 $\rho$-밀도 궤도를 허용하는가?
• RQ2 기하학적 및 변분적 방법을 통해 강력한 형태의 아를드의 확산—즉, 위상공간의 전체 이웃에서 밀도를 가진 궤도를 포함하는 형태—를 확립할 수 있는가?
• RQ3 강한 이중 공진조를 통해 정상 비선형 불변 원통을 맞물림 메커니즘을 통해 연결하여 확산 네트워크를 형성할 수 있는가?
• RQ4 약한 KAM 이론과 마이어의 변분 프레임워크가 강한 이중 공진조를 가진 시스템에서 확산 궤도를 구성하기 위해 얼마나 잘 적응될 수 있는가?
• RQ5 코호몰로지 클래스와 강제 동치는 확산 과정 중 다양한 공진조의 상호작용을 통해 서로 다른 공진조 상태 간의 전이를 어떻게 가능하게 하는가?

주요 결과

• 논문은 엄밀히 볼록한 $H_0$를 가진 통합 시스템의 일반적인 시간 주기적 외란에 대해 위상공간 $\times B^2 \times \mathbb{T}^2$에서 $\rho$-밀도 궤도의 존재를 입증한다.
• 이 구성은 강한 이중 공진조에서 굽은 형태와 맞물린 원통이 형성하는 3차원 정상 비선형 불변 다각형의 네트워크에 기반한다.
• 저자들은 피에르스 장벽과 스태틱 클래스를 통해 정의된 강제 관계가 서로 다른 코호몰로지 클래스 간의 연결 궤도 존재를 가능하게 함을 증명한다.
• 약한 KAM 이론과 마이어의 프레임워크에 기반한 변분 방법은 전체 위상공간을 횡단하는 확산 궤도의 존재를 보장한다.
• 시스템은 코호몰로지 공간에서 분기 유사한 구조를 보이며, 제어된 공진조 상호작용을 통해 단순한 유형과 비단순한 유형의 호몰로지 클래스 간 전이가 가능하다.
• 증명은 일반적인 외란에 대해 강건하며, 특히 고에너지에서 유일한 비선형 최소화자를 갖는 기계적 시스템의 일반적 성질에 기반한다.