[논문 리뷰] Chains of compact cylinders for cusp-generic nearly integrable convex systems on $\mathbb{A}^3$

Jean-Pierre Marco|arXiv (Cornell University)|2016. 02. 07.

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

한 줄 요약

이 논문은 $ℝ^3 = ℔^3 \times ℝ^3$ 위의 콩가-일반적인 거의 해밀턴계에서, 아르놀트 확산을 위한 기하적 골격이 되는, 컴act하고 정상적으로 초구형인 3차원 실린더의 사슬이 존재함을 증명한다. 공진역 근처에서 평균화하고, KAM 유형의 유지성 원리를 적용하여, $κ$가 충분히 큰 일반적인 $C^\kappa$ 섭동($κ$가 크다)에 대해, 주어진 에너지 수준에서 이러한 사슬이 존재하고, 행동 공간 내 임의의 열린 집합과 교차함을 입증한다. 이로써 확산 궤도가 이를 통해 이동할 수 있다.

ABSTRACT

This paper is the first of a series of three dedicated to a proof of the Arnold diffusion conjecture for perturbations of {convex} integrable Hamiltonian systems on $\mathbb{A}^3=\mathbb{T}^3 imes \mathbb{R}^3$. We consider systems of the form $H(θ,r)=h(r)+f(θ,r)$, where $h$ is a $C^κ$ strictly convex and superlinear function on $\mathbb{R}^3$ and $f\in C^κ(\mathbb{A}^3)$, $κ\geq2$. Given $e> extrm{Min}\,h$ and a finite family of arbitrary open sets $O_i$ in $\mathbb{R}^3$ intersecting $h^{-1}(e)$, a diffusion orbit associated with these data is an orbit of $H$ which intersects each open set $\widehat O_i=\mathbb{T}^3 imes O_i\subset\mathbb{A}^3$. The first main result of this paper (Theorem I) states the existence (under cusp-generic conditions on $f$ in Mather's terminology) of "chains of compact and normally hyperbolic invariant $3$-dimensional cylinders" intersecting each $\widehat O_i$. Diffusion orbits drifting along these chains are then proved to exist in subsequent papers. The second main result (Theorem II) consists in a precise description of the hyperbolic features of classical systems (sum of a quadratic kinetic energy and a potential) on $\mathbb{A}^2=\mathbb{T}^2 imes\mathbb{R}^2$, which is a crucial step to prove Theorem I.

연구 동기 및 목표

• $ℝ^3$ 위의 거의 해밀턴계에서 아르놀트 확산을 증명하기 위한 불변 실린더의 초구형 골격을 구성하는 것.
• 고정된 에너지 수준에서, 주어진 행동 공간 내 열린 집합과 교차하는 컴팩트하고 정상적으로 초구형인 3차원 실린더의 사슬 존재를 확립하는 것.
• 3차원 구성의 기초가 되는 $ℝ^2$ 위의 고전적 시스템의 초구형 구조를 분석하는 것.
• 이러한 사슬이 이질적 연결을 지닌다는 것을 증명하여, 작은 섭동 하에서 확산 궤도가 이를 통해 이동할 수 있음을 보장하는 것.
• cusp-일반적인 섭동을 통해 볼록한 설정에서 아르놀트 확산 추측에 대한 기하적 프레임워크를 제공하는 것.

제안 방법

• 빠른 각도에 대한 평균화를 통해 공진역 근처에서 시스템을 정규형으로 근사화하고, 단순한 공진 곡선과 강한 이중 공진점 사이의 차이를 구분한다.
• 정상적으로 초구형 불변다양체 이론을 적용하여, 평균화된 시스템으로부터의 불변 구조를 전체 시스템으로 옮기며, 초구형성과 불변성을 유지한다.
• KAM 유형 결과를 적용하여 실린더의 경계(2-토러스)가 작은 섭동 하에서도 유지됨을 보장한다.
• 기초가 되는 구성 요소로 고전적 $ℝ^2$ 시스템을 분석하여, 임계 에너지와 무한 에너지에 점 渐진적으로 수렴하는 이질적으로 연결된 2-환형과 특이 환형의 사슬 존재를 증명한다.
• 실수 평면 $ℝ^2$ 위의 직사각형에서 호핑스부 구조를 구성하여 초구형 역학을 모델링하고, 전이 행렬과 기호 역학을 사용해 불변 집합을 표현한다.
• 하나의 하한 반연속 임계값 $ℛ(\mathbf{f}) > 0$ 를 설정하여, $ϵ \in (0, \boldsymbol{\varepsilon}(\mathbf{f}))$ 일 때, 섭동 시스템 $H = h + \u03f5 \mathbf{f}$ 가 원하는 사슬을 포함함을 보장한다.

실험 결과

연구 질문

• RQ1 cusp-일반적인 거의 해밀턴계에서 $ℝ^3$ 위에 컴팩트하고 정상적으로 초구형인 3차원 실린더의 사슬을 구성할 수 있는가?
• RQ2 고전적 $ℝ^2$ 시스템(운동 에너지와 위치 에너지의 제곱합)에서 이러한 사슬을 구성하는 데 필수적인 역학적 특성들은 무엇인가?
• RQ3 실린더 간의 이질적 연결은 어떻게 행동 공간 내 주어진 열린 집합을 통해 확산 궤도가 이동할 수 있도록 하는가?
• RQ4 강한 이중 공진점과 단순한 공진 곡선은 초구형 골격 형성에 어떤 역할을 하는가?
• RQ5 섭동 $℟$ 가 어떤 조건을 만족할 경우, 임의로 작은 $ϵ > 0$ 에 대해 이러한 사슬이 존재하는가?

주요 결과

• $κ$ 가 충분히 크고, $C^\kappa(\mathbb{A}^3)$ 의 단위 구면의 열린 밀집 부분집합에 속하는 $℟$ 에 대해, 하한 반연속 임계값 $ℛ(\mathbf{f}) > 0$ 가 존재하여, $ϵ \in (0, \boldsymbol{\varepsilon}(\mathbf{f}))$ 일 때 $H = h + \u03f5 \mathbf{f}$ 가 각 $\widehat{O}_i$ 와 교차하는 컴팩트하고 정상적으로 초구형인 3차원 실린더의 사슬을 포함한다.
• 실린더들은 $\mathbb{T}^2 \times [0,1]$ 또는 $\mathbb{T} \times (\text{세 구멍이 있는 구면})$ 과 미분동형이며, 에너지 수준 $H^{-1}(\mathbf{e})$ 내에 포함되어 있다.
• 단순한 공진 곡선 근처에서는 펜듈럼 가닥의 고정점과 $\mathbb{T}^2$ 의 곱으로 형성되며, 강한 이중 공진점 근처에서는 고전적 $ℝ^2$ 시스템의 2-환형 또는 특이 환형과 $\mathbb{T}$ 의 곱으로 형성된다.
• 임의의 정수 호모로지류 $c$ 에 대해, 고전적 $ℝ^2$ 시스템에서 $c$ 를 실현하는 이질적으로 연결된 2-환형의 사슬이 구성되며, 이는 임계 에너지와 무한 에너지에 점 渐진적으로 수렴한다.
• 고전적 $ℝ^2$ 시스템에는 특이 환형이 존재하며, 각 호모로지류 $c$ 와 관련된 사슬은 이 특이 환형과 이질적 연결을 가진다.
• 전체 시스템은 평균화된 모델로부터 풍부한 이질적 및 동일적 연결을 물려받으며, 이로 인해 실린더를 따라 이동하는 확산 궤도의 존재가 보장된다.