[논문 리뷰] Arnold diffusion for cusp-generic nearly integrable convex systems on ${\mathbb A}^3$

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

Mathematical Dynamics and Fractals참고 문헌 2인용 수 5

한 줄 요약

이 논문은 3차원 행동 공간 $\mathbb{A}^3$ 위의 콩가-일반적인 거의 해밀턴계에서 아르놀트 확산 궤도의 존재를 확립한다. 정규로 초과하는 불변 다변량과 심플렉틱 지속성에 기반한 기하적 접근을 사용하여, 충분히 큰 $\kappa$에 대해 소규모 $C^\kappa$ 외란의 일반적인 열린 밀도 집합에 대해 궤도가 에너지 수준 집합 $h^{-1}(\mathbf{e})$ 내의 임의의 열린 집합을 연결할 수 있음을 증명함으로써, 이 설정에서 아르놀트의 확산 추측의 핵심 요소를 확인한다.

ABSTRACT

We prove the existence of "Arnold diffusion orbits" in cusp-generic nearly integrable a priori stable systems on ${\mathbb A}^3$. The result relies on the cusp-generic existence of chains in nearly integrable a priori stable systems, proved in a previous paper, together with the existence of diffusion orbits along such chains. The latter result was obtained in collaboration with M. Gidea.

연구 동기 및 목표

• 소규모 $C^\kappa$ 외란에 대해 $\mathbb{A}^3$ 상의 거의 해밀턴계에서 아르놀트 확산 궤도의 존재를 확립한다.
• 에너지 수준 집합 $h^{-1}(\mathbf{e})$ 내의 임의의 열린 집합을 연결할 수 있음을 보여줌으로써 아르놀트의 확산 추측의 핵심 사례를 해결한다. 여기서 $\mathbf{e} > \min h$이다.
• 해석적 또는 $C^\infty$ 설정을 초월하여 $\kappa \geq \kappa_0$인 $C^\kappa$ 시스템으로 아르놀트 확산의 기하적 프레임워크를 확장한다.
• 적절한 임계 함수 $\boldsymbol{\varepsilon}_0$에 의해 정의된 위상에서, 이러한 확산 궤도가 존재하는 일반적이고 열려 있으며 밀도 있는 외란 집합이 있음을 보여준다.

제안 방법

• 해밀턴계 $H(\theta,r) = h(r) + f(\theta,r)$ 를 $C^\kappa$ 거의 해밀턴계로 사용하며, 여기서 $h$ 는 엄격히 볼록하고 초선형이다.
• Banach 공간 $C^\kappa_b(\mathbb{A}^3)$ 내의 일반화된 열린 공 $\mathscr{B}^\kappa(\boldsymbol{\varepsilon}_0)$ 를 정의하기 위해 임계 함수 $\boldsymbol{\varepsilon}_0: \mathcal{S}^\kappa \to \mathbb{R}^+$ 를 사용한다.
• 소규모 외란 하에서 불변 다변량과 그들의 안정/불안정 분할을 구성하기 위해 심플렉틱 정규로 초과 지속성 정리들을 적용한다.
• 결과 [Mar] 및 [GM] 을 활용하여 외란된 시스템 내 전이 체인과 정규로 초과 불변 실린더의 존재를 확립한다.
• 지배성과 정규성 조건을 사용하여 불변 다변량과 그들의 분할이 $C^p$ 스무스성을 보장한다.
• 심플렉틱 직선화 미분동형사상 $\Psi$ 를 적용하여 정규로 초과 다변량 근처의 역학을 표준 형태로 감소시켜 열린 집합을 가로질러 궤도 추적을 가능하게 한다.

실험 결과

연구 질문

• RQ1 소규모 외란에 대해 $C^\kappa$ 거의 해밀턴계에서 $\mathbb{A}^3$ 상의 아르놀트 확산이 발생하는가? 여기서 외란은 일반적인 집합에 속한다.
• RQ2 에너지 수준 집합 $h^{-1}(\mathbf{e})$ 내의 임의의 열린 집합을 방문하도록 궤도를 구성할 수 있는가? 여기서 $\mathbf{e} > \min h$이다.
• RQ3 심플렉틱 구조와 정규로 초과 지속성을 사용하여 해석적이거나 $C^\infty$ 정규성 없이도 확산을 증명할 수 있는가?
• RQ4 확산 궤도를 허용하는 외란 집합의 위상적 크기는 $C^\kappa$ 위상에서 어떻게 되는가?

주요 결과

• 모든 $C^\kappa$ 엄격히 볼록하고 초선형인 $h$ 와 에너지 $\mathbf{e} > \min h$ 에 대해, 하향 연속적인 임계 함수 $\boldsymbol{\varepsilon}_0$ 가 존재하여 $\mathscr{B}^\kappa(\boldsymbol{\varepsilon}_0)$ 는 $C^\kappa_b(\mathbb{A}^3)$ 에서 열리고 밀도가 있다.
• 임의의 열린 집합 $O_i$ 가 $h^{-1}(\mathbf{e})$ 와 교차하는 유한한 개수에 대해, $\mathscr{B}^\kappa(\boldsymbol{\varepsilon}_0)$ 의 열린 밀도 부분집합에 속하는 $f$ 에 대해, 외란된 시스템 $H = h + f$ 는 각 ${\mathbb{T}}^3 \times O_i$ 와 교차하는 궤도를 포함한다.
• 이러한 외란 $f$ 의 집합은 바이어르 카테고리의 일반성 의미에서 일반적이다. 즉, 잔여 집합의 소규모 $C^\kappa$ 외란에 대해 확산 궤도가 존재한다.
• 심플렉틱 정규로 초과 지속성에 의해 확산 궤도의 존재가 확립되며, 이는 지수적 흡인/반발 성질을 가진 $C^1$ 불변 다변량의 존재를 보장한다.
• 불변 다변량 $W^\pm(\mathrm{Ann}(\mathscr{V}))$ 는 특성 잎으로서의 $C^0$ 분할을 가지며, $C^p$ 정규성 조건 하에서는 분할이 $C^{p-1}$ 이다.
• 심플렉틱 직선화 미분동형사상 $\Psi$ 가 존재하여, $\Psi$ 는 정규로 초과 다변량과 그 안정/불안정 다변량을 $\mathbb{A}^\ell \times \mathbb{R}^2$ 의 표준 모델로 매핑하며, 심플렉틱 구조를 유지한다.