[논문 리뷰] KAM for the nonlinear beam equation 1: small-amplitude solutions

Håkan Eliasson, Benoît Grébert외 1명|arXiv (Cornell University)|2014. 12. 08.

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

한 줄 요약

이 논문은 d차원 토러스 위에서 비선형 비틀림 방정식의 소폭 진동수 해에 대해 KAM(Kolmogorov-Arnold-Moser) 정리를 수립하며, 질량 매개변수 m에 대해 일반적인 경우에 대해 선형화된 시스템의 대부분의 유한차원 불변 토러스가 비선형 교란 하에서도 유지됨을 보여준다. d ≥ 2인 경우, 이러한 토러스 중 일부는 선형적으로 불안정하며, 원점 근처에서 국소적 불안정성을 유도하며, 다차원 해밀턴 PDE에서의 혼돈적 행동과 일치한다.

ABSTRACT

In this paper we prove a KAM result for the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + g(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in {\mathbb T}^d, \qquad \qquad (*) $$ where $g(x,u)=4u^3+ O(u^4)$. Namely, we show that, for generic $m$, most of the small amplitude invariant finite dimensional tori of the linear equation $(*)_{g=0}$, written as the system $$ u_t=-v,\quad v_t=Δ^2 u+mu, $$, persist as invariant tori of the nonlinear equation $(*)$, re-written similarly. If $d\ge2$, then not all the persisted tori are linearly stable, and we construct explicit examples of partially hyperbolic invariant tori. The unstable invariant tori, situated in the vicinity of the origin, create around them some local instabilities, in agreement with the popular belief in nonlinear physics that small-amplitude solutions of space-multidimensonal hamiltonian PDEs behave in a chaotic way. The proof uses an abstract KAM theorem from another our publication.

연구 동기 및 목표

• 다차원 해밀턴 PDE의 소폭 해에 대한 KAM 이론적 프레임워크를 개발하며, 비선형 비틀림 방정식을 중심으로 한다.
• 선형 비틀림 방정식의 유한차원 불변 토러스가 비선형 교란 하에서도 지속됨을 확립한다.
• 특히 고차원 공간 차원(d ≥ 2)에서 지속된 토러스의 선형 안정성 분석을 수행한다.
• 원점 근처에 존재하는 불안정한 토러스가 국소적 불안정성을 유도할 수 있음을 보이며, 물리적 예측과 일치하는 혼돈적 행동을 확인한다.
• 비선형 비틀림 방정식에 대한 삼차 비선형성을 고려한 추상 KAM 이론을 확장한다.

제안 방법

• d차원 토러스 위의 푸리에 모드를 사용하여 비틀림 방정식을 행동각 변수에서 해밀턴 체계로 재구성한다.
• 이전 연구에서 유도된 추상 KAM 정리(참고문헌 [15])를 비틀림 방정식의 해밀턴 형식에 적용한다.
• 소수 조건과 비공진 조건을 활용하여 비통합 가능한 항을 제거하기 위해 정규형 절차를 적용한다.
• 4차 분산관계 λ_s = √(|s|⁴ + m)에서 발생하는 소수를 제어하기 위해 허용 가능한 및 강력 허용 가능한 주파수 집합을 사용한다.
• 스케일링 및 변수 변환을 통해 시스템을 대각화하고 특이 매개변수 값을 제거한다.
• 격자 점이 구 위에 분포하는 것과 같은 확률적 및 기하학적 추론(예: 구 위의 격자 점 수 계산)을 사용하여 허용 가능한 집합과 비퇴화 조건의 일반성(typicality)을 증명한다.

실험 결과

연구 질문

• RQ1 선형 비틀림 방정식의 소폭 진동수 불변 토러스가 비선형 교란 하에서도 불변 토러스로 유지되는가?
• RQ2 질량 매개변수 m의 어떤 값에서 지속된 토러스가 선형적으로 안정한가?
• RQ3 d ≥ 2일 때 지속된 토러스의 선형 안정성 특성은 어떠한가?
• RQ4 원점 근처에 존재하는 불안정한 토러스가 동역학에서 국소적 불안정성을 유도할 수 있는가?
• RQ5 추상 KAM 이론은 삼차 비선형성을 지닌 비선형 비틀림 방정식에 어떻게 적용될 수 있는가?

주요 결과

• 일반적인 m ∈ [1,2]에 대해, 선형 비틀림 방정식의 대부분의 소폭 진동수 불변 토러스가 비선형 방정식에서도 불변 토러스로 유지된다.
• d ≥ 2 이며 |𝒜| ≥ 2일 경우, 일부 지속된 토러스는 선형적으로 불안정하며, 부분적으로 초월적인 구조를 이룬다.
• 원점 근처의 불안정한 토러스는 다차원 해밀턴 PDE에서 기대되는 혼돈적 역학과 일치하는 국소적 불안정성을 유도한다.
• 증명은 이전 논문에서 유도된 KAM 정리에 기반하며, 격자 점 분포에 대한 확률적 추정을 통해 비퇴화 조건을 검증한다.
• 비퇴화 매개변수 m의 집합은 전체 측도를 가지며, 일반적인 주파수 집합 𝒜에 대해 지속성은 성립한다.
• 이 방법은 유사한 비선형성을 지닌 클라인-고든 방정식에도 적용 가능하며, 다른 해밀턴 PDE에 대한 보편적 적용 가능성을 시사한다.