[논문 리뷰] Diffusion time and splitting of separatrices for nearly integrable isochronous Hamiltonian systems

Massimiliano Berti, Philippe Bolle|ArXiv.org|2000. 09. 19.

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

한 줄 요약

이 논문은 변분 샤프팅 접근법을 사용하여 거의 통합 가능한 등진동성 해밀토니안 시스템에서 아르놀트의 확산 시간에 대한 향상된 추정치를 확립하고, 세 가지 시간 스케일을 가진 시스템에서 분리선의 분리(splitting)에 대한 포앙카레-멜니코프 근사의 엄밀한 정당성을 제시한다. 일반 조건 하에서 포앙카레-멜니코프 함수가 분리를 정확히 예측함을 증명하며, 편미분 매개변수와 해석성 스트립 너비에 대한 명시적 오차 한계를 제공한다.

ABSTRACT

We consider the problem of Arnold's diffusion for nearly integrable isochronous Hamiltonian systems. We prove a shadowing theorem which improves the known estimates for the diffusion time. We also justify for three time scales systems that the splitting of the separatrices is correctly predicted by the Poincare'-Melnikov function.

연구 동기 및 목표

• 거의 통합 가능한 등진동성 해밀토니안 시스템에서 아르놀트의 확산 시간에 대한 기존 추정치를 향상시키는 것.
• 세 가지 시간 스케일을 가진 시스템에서 분리선의 분리를 예측하는 데 포앙카레-멜니코프 함수의 타당성을 확립하는 것.
• 이전의 기하학적 및 메이어 이론적 방법보다 더 날카로운 경계를 제공하는 변분 프레임워크를 제시하는 것.
• 빠른, 중간, 느린 진동자 간의 약한 결합을 가진 시스템에서 분리의 점근적 행동을 정당화하는 것.

제안 방법

• 편미분 강성 방정식의 준주기적 강성 펜듈럼 방정식의 가짜 이성선 해를 따라 적분된 작용량을 정의하는 함수 $ F_{\nu}(A,\theta) $ 를 사용하여 변분 샤프팅 정리를 개발한다.
• 동형 함수 $ G_{\nu}(A) $ 는 $ F_{\nu}(A,0) $ 로 유도되며, $ q = \pi $ 에서 안정 및 불안정 다발의 생성 함수의 차이를 나타낸다.
• 작용 함수를 복소 스트립으로 해석적 계속을 통해 $ \widetilde{G}_{\nu} $, 즉 변환된 동형 함수의 푸리에 계수를 추정할 수 있다.
• 포앙카레-멜니코프 원시 함수 $ \Gamma(A) $ 는 근사치로 사용되며, 명시적 공식 $ \Gamma_k = f_k \frac{2\pi(k\cdot\omega)}{\sinh(k\cdot\omega \pi/2)} $ 을 가진다.
• 복소 해석학을 통해 오차 한계를 유도한다: $ |\widetilde{G}_k - \mu\Gamma_k| \leq \frac{C\mu^2||f||^2}{\delta^4} \exp\left(-\sum a_i|k_i|\right) \exp\left(-|k\cdot\omega|(\pi/2 - \delta)\right) $.
• 세 가지 시간 스케일 시스템에 대해, $ \omega_\varepsilon = (\varepsilon^{-1/2}, \varepsilon^a) $ 를 적용하고, $ \widetilde{G}_\nu $ 의 점근적 전개를 $ \mu \Gamma_0, \mu \Gamma_1 $ 과 오차 항으로 유도한다.

실험 결과

연구 질문

• RQ1 변분 접근법을 사용하여 거의 통합 가능한 등진동성 해밀토니안 시스템에서의 확산 시간 추정치를 더 날카롭게 개선할 수 있는가?
• RQ2 세 가지 시간 스케일 시스템에서 포앙카레-멜니코프 함수는 분리선의 분리를 어느 정도 정확하게 예측하는가?
• RQ3 쉐이딩 메커니즘을 통한 확산 궤도의 존재를 보장하는 데 필요한 편미분 $ f $ 에 대한 조건은 무엇인가?
• RQ4 분리 함수의 푸리에 계수는 복소 스트립으로의 해석적 계속 하에서 어떻게 행동하는가?
• RQ5 편미분 강도 $ \mu $, 해석성 너비 $ \delta $, 포앙카레-멜니코프 근사의 오차 사이의 정량적 관계는 무엇인가?

주요 결과

• 변분 샤프팅 정리는 이전의 기하학적 및 메이어 이론적 방법보다 더 날카로운 경계를 제공함으로써 알려진 확산 시간 추정치를 향상시킨다.
• 세 가지 시간 스케일 시스템에서 분리선의 분리는 포앙카레-멜니코프 함수에 의해 엄밀히 정당화되며, 오차 한계는 $ \mu^2||f||^2 \delta^{-4} \exp(-|k\cdot\omega|(\pi/2 - \delta)) $ 의 순서이다.
• 세 가지 시간 스케일 시스템에 대해, 동형 함수 $ \widetilde{G}_\nu $ 는 점근적 전개를 갖는다: $ \widetilde{G}_\nu = Const + \mu\Gamma_0 + 2\mathrm{Re}(\mu\Gamma_1 e^{iA_1}) + O(\mu\varepsilon^{-1/2}||f||\exp(-\pi/\sqrt{\varepsilon})) $.
• $ \Gamma_1 $ 항의 오차는 $ O(\mu^2||f||^2 \varepsilon^{-2} \exp(-\pi/(2\sqrt{\varepsilon}))) $ 로 유계되며, 느린 주파수 스케일에서의 지수 감쇠를 보여준다.
• 예를 들어 $ f_{0,l}, f_{1,m} \neq 0 $ 와 같은 일반 조건 하에서, 정리 2.1의 분리 조건이 충족되어 확산 궤도의 존재를 보장한다.
• 결과는 이전에 $ n=2 $ 에 국한된 결과를 초월하여 임의의 차원 $ n \geq 2 $ 에서도 성립하며, [17] 에 비해 $ \mu\varepsilon^{-3/2} \to 0 $ 이면 충분함을 보여, $ \mu = \varepsilon^p $ 이고 $ p > 2+a $ 가 필요하다는 조건을 완화한다.