[논문 리뷰] KAM theorem with normal frequencies of finite limit-points for some shallow water equations

Xiaoping Yuan|arXiv (Cornell University)|2018. 09. 15.

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

한 줄 요약

이 논문은 정규 주파수가 유한한 극한점(예: 0 또는 1)에 집중되는 얕은 수면 방정식에 대해 기존의 무한차원 KAM 정리의 새로운 형태를 수립한다. 정규 주파수가 무한히 발산하지 않고 유한한 극한점에 집중되는 경우에 KAM 이론을 확장함으로써, 적절한 경계 조건 하에서 Benjamin-Bona-Mahony(BBM) 및 일반화된 d차원 Pochhammer-Chree(gPC) 방정식에 대해 정규 주파수의 양의 측도를 가진 쌍주기 해의 존재를 증명한다.

ABSTRACT

By constructing an infinite dimensional KAM theorem of the normal frequencies being dense at finite-point, we show that some shallow water equations such as Benjamin-Bona-Mahony equation and the generalized $d$-Dim. Pochhammer-Chree equation subject to some boundary conditions possess many (a family of initial values of positive Lebesgue measure of finite dimension) smooth solutions which are quasi-periodic in time.

연구 동기 및 목표

• 정규 주파수가 무한히 발산하는 대신 유한한 극한점에 집중되는 무한차원 해밀턴계에 대해 KAM 이론을 확장하는 것.
• 해밀턴 편미분방정식에서 낮은 차원의 불변 토러스가 해밀턴 편미분방정식에 의해 유지되는지 다루는 것.
• 정규 주파수가 유한한 극한점에 집중되는 BBM 및 일반화된 d차원 Pochhammer-Chree 방정식에 대해 쌍주기 해의 존재를 확립하는 것.
• KAM 반복 프레임워크 내에서 정규 주파수가 수렴하는 경우 발생하는 기술적 과제를 극복하는 것.
• 얕은 수면 및 유사한 PDE에 적용 가능한, 복합 스펙트럼 행동을 보이는 KAM 이론의 새로운 분석 프레임워크를 제공하는 것.

제안 방법

• 정규 주파수가 유한한 극한점(예: ω=0 또는 ω=1)에 집중되는 경우에 특화된 무한차원 KAM 정리를 개발한다.
• 뉴턴 유형의 방법, 조화 분석 및 준대수집합 이론을 기반으로 수정된 KAM 반복 체계를 적용한다.
• 위상공간과 해밀턴 형식을 정의하기 위해 심플렉틱 구조 dy∧dx + i∑dz_j∧d\bar{z}_j를 사용한다.
• KAM 반복 과정에서 탄성 및 정규 주파수 조건을 해결하기 위해 동차 방정식 접근법을 구현한다.
• 푸리에 모드의 성장을 제어하기 위해 |j|^{2p}를 포함하는 노름을 가진 가중 힐베르트 공간 h_p 및 h_q를 사용한다.
• 가중 노름과 유한차원 절단 기법을 통한 연산자 추정을 도입하여 편미분 항을 유한하게 제한한다.

실험 결과

연구 질문

• RQ1 정규 주파수가 무한히 발산하는 대신 유한한 극한점에 집중되는 시스템에 대해 KAM 이론을 확장할 수 있는가?
• RQ2 Benjamin-Bona-Mahony(BBM) 방정식과 일반화된 d차원 Pochhammer-Chree(gPC) 방정식이 소규모 해밀턴 편미분방정식에 의해 쌍주기 해를 갖는가?
• RQ3 정규 주파수가 집중되는 얕은 수면 방정식에서 낮은 차원의 불변 토러스가 유지되기 위한 조건은 무엇인가?
• RQ4 정규 주파수 스펙트럼이 점점 커지지 않는 경우 KAM 반복이 어떻게 적응될 수 있는가?
• RQ5 이러한 시스템에서 쌍주기 해로 이어지는 초기 자료의 측도 이론적 크기는 얼마인가?

주요 결과

• 논문은 정규 주파수가 유한한 극한점에 집중되는 해밀턴 PDE에 대해 새로운 KAM 정리를 수립한다. 예를 들어 BBM 방정식의 경우 ω=0, gPC 방정식의 경우 ω=1이다.
• 유한 차원의 양의 르베그 측도를 가진 초기 자료의 가속도가 BBM 및 gPC 방정식에서 시간에 대해 쌍주기 해로 이어지는 것을 증명한다.
• 정규 주파수가 발산하지 않더라도 KAM 토러스가 소규모 해밀턴 편미분방정식에 의해 유지되며, 이는 고전적 KAM 가정과 대조된다.
• 유한한 주파수 극한점에서의 스펙트럼 비정상성 문제를 가중 힐베르트 공간 h_p 및 h_q에서 정교한 추정을 도입함으로써 성공적으로 다루었다.
• 이 결과는 정규 주파수가 유한한 비영 극한점으로 수렴하는 PDE에 대해 KAM 토러스와 쌍주기 해의 존재를 처음으로 입증한 것이다.
• 분석을 통해 구성된 가속도 가족 내에서 KAM 토러스의 선형 안정성을 확인하였으며, 고전적 KAM 프레임워크를 새로운 종류의 스펙트럼 행동으로 확장하였다.