[논문 리뷰] Persistence of Hyperbolic Tori in Generalized Hamiltonian Systems

Zhenxin Liu, Dalai Yihe외 1명|ArXiv.org|2006. 10. 21.

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

한 줄 요약

이 논문은 비표준 푸아송 구조를 가진 일반화된 해밀토니안 시스템에서 비표준 위상공간 차원과 비가역성 있는 비정상 시스템을 허용함으로써, 쌍곡형 불변 토러스의 지속성을 확립한다. 디오판틴 주파수와 루스만 비가역성 조건 하에서 카우프만-타입 반복적 방법을 사용하여, 행동공간 행렬이 비특이일 경우 주파수가 변화하지 않은 채로 작은 외란에 의해 디오판틴 토러스가 지속됨을 증명한다. 이는 고전적인 그라프–체른더 결과를 더 넓은 시스템, 특히 부분다양체 역학을 포함하여 일반화한다.

ABSTRACT

In this paper we prove the persistence of hyperbolic invariant tori in generalized Hamiltonian systems, which may admit a distinct number of action and angle variables. The systems under consideration can be odd dimensional in tangent direction. Our results generalize the well-known results of Graff and Zehnder in standard Hamiltonians. In our case the unperturbed Hamiltonian systems may be degenerate. We also consider the persistence problem of hyperbolic tori on sub-manifolds.

연구 동기 및 목표

• 비표준 푸아송 구조를 가진 일반화된 해밀토니안 시스템으로 고전적인 그라프–체른더 결과의 쌍곡형 토러스 지속성 결과를 확장하기 위해.
• 행동변수와 각변수의 수가 다를 수 있도록 허용함으로써, 홀수 차원 시스템에서 KAM 이론의 과제를 해결하기 위해.
• 적절한 비가역성 조건 하에서 부분다양체에 제한된 쌍곡형 토러스의 지속성을 증명하기 위해.
• 리와 이의 이전 결과를 일반화하기 위해 매개변수 의존 시스템과 구조적 비가역성을 통합하기 위해.
• 완전하거나 부분적인 허위주파수 성분이 외란 하에 어떻게 유지되는지, 그리고 언제 완전한 유지가 보장되는지의 조건을 설정하기 위해.

제안 방법

• 매개변수에 대해 실분석적 의존성을 가지며 복소수 영역 확장을 포함하는 매개변수 의존 해밀토니안을 사용하여 시스템을 수식화하기 위해.
• 블록 행렬 $\tilde{I}(\lambda)$ 를 통해 일반화된 푸아송 구조를 정의하며, 이 때 탄성 부분 $I(\lambda)$ 는 실분석적이며 비대칭적이며 비자명한 구조를 가짐.
• 시스템을 정규화하고 토러스 구조를 유지하는 쌍곡형 변환을 구성하기 위해 KAM 반복적 방법을 적용하기 위해.
• 정규 방향에서 안정된 역학을 확보하기 위해 $J[M](\lambda)$ 의 고유치에 대해 $|\mathrm{Re}\lambda_i(\lambda)| \geq \sigma_0 > 0$ 인 쌍곡성 조건을 도입하기 위해.
• 주파수 매핑이 비가역적이도록 보장하기 위해 루스만 비가역성 조건 $\max_{\lambda \in \Lambda} \mathrm{rank}\{ \partial^\alpha \omega(\lambda) : |\alpha| \leq n-1 \} = n$ 을 검증하기 위해.
• 반복적 추정을 사용하여 정규형과 변환의 수렴성을 보이며, $\gamma_0$, $\varepsilon_0$, 및 $\zeta_0$ 에 따라 오차 한계를 도출하기 위해.

실험 결과

연구 질문

• RQ1 홀수 차원 위상공간과 비표준 푸아송 구조를 가진 일반화된 해밀토니안 시스템에서 쌍곡형 불변 토러스가 지속될 수 있는가?
• RQ2 비가역성 있는 시스템에서 작은 외란 하에 쌍곡형 토러스의 디오판틴 주파수가 어떻게 유지되는가?
• RQ3 행동공간 행렬이 특이성이 되었을 때 부분다양체에 제한된 토러스의 지속성은 어떻게 행동하는가?
• RQ4 허위주파수 $\Omega(\lambda)$ 의 성분은 어느 정도 외란 하에 유지될 수 있으며, 언제 완전한 유지가 보장되는가?
• RQ5 행동변수와 각변수의 수가 다를 수 있는 시스템으로 하여금 하위차원 토러스에 대한 KAM 이론을 확장할 수 있는가?

주요 결과

• 홀수 차원 탄성 부분공간과 비가역성 있는 구조를 가진 일반화된 해밀토니안 시스템에서, 작은 외란 하에 디오판틴 쌍곡형 토러스 $T^n \times \{0\} \times \{0\}$ 가 지속된다.
• 행동공간 행렬 $A$ 가 비특이일 경우, 전체 허위주파수 $\Omega(\lambda)$ 와 그로 인한 토러스 주파수 $\omega(\lambda)$ 가 외란 하에 변화하지 않는다.
• 외란된 시스템은 매개변수의 양의 측도 집합 $\Lambda_*$ 에 대해 실분석적이고 준주기적인 불변 토러스를 가지며, 주파수는 $\omega_\infty(\lambda) = -E^\top(\lambda) \Omega_\infty(\lambda)$ 로 주어진다.
• KAM 반복의 수렴은 추정치를 도출한다: $|\Omega_\infty - \Omega_0|_{\Lambda_*} = O(\gamma_0^{n+1} s_0 \varepsilon_0 \zeta_0)$ 로서, 외란 하에 작은 주파수 이격이 발생함을 보여준다.
• 행동공간 행렬 $A$ 가 특이성이 되는 부분다양체에서는 $\Omega(\lambda)$ 의 첫 $n_0$ 성분이 유지되며, 행동변수의 수 $n_0 = l$ 일 경우 토러스 주파수 $\omega_\infty$ 는 그대로 유지된다.
• 매개변수 집합 $\Lambda \setminus \Lambda_*$ 의 측도는 $O(\gamma_0^{1/(n_* - 1)})$ 이하로 유계이므로, 지속성은 양의 측도의 매개변수에 대해 성립함을 나타낸다.