[논문 리뷰] KAM for quasi-linear autonomous NLS

Roberto Feola, Michela Procesi|arXiv (Cornell University)|2017. 05. 20.

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

한 줄 요약

이 논문은 가역성, 게이지 불변성, $x$-불변 비선형성을 갖는 완전 비선형 슈뢰딩거 방정식의 클래스에 대해 해석적, 소규모 진폭, 준주기적 해의 칸토르 가닥의 존재성과 안정성을 확립한다. 비선형성에 도함수가 포함된 완전 비선형 PDE에 대해 해석적 준주기적 해의 존재를 입증한 최초의 결과이다. 저자들은 준선형 PDE에 특화된 새로운 KAM 반복 프레임워크를 사용하여, 정규형 축소, 작용-위상 변수, 정밀한 측도 추정을 결합함으로써 소수 문제와 유계가 아닌 왜곡을 극복한다.

ABSTRACT

We consider a class of fully nonlinear Schrödinger equations and we prove the existence and the stability of Cantor families of quasi-periodic, small amplitude solutions. We deal with reversible autonomous nonlinearities and we look for analytic solutions. Note that this is the first result on analytic quasi-periodic solutions for fully nonlinear PDEs.

연구 동기 및 목표

• 가역성, 게이지 보존성, $x$-불변 비선형성을 갖는 완전 비선형 슈뢰딩거 방정식의 클래스에 대해 칸토르 가닥의 준주기적 해의 존재를 증명하는 것.
• 비선형성이 도함수를 포함하는 경우, 표준 KAM 변환이 무한대가 될 수 있는 준선형 PDE에 대해 KAM 이론을 확장하는 것.
• 해의 가닥이 양의 상대 측도를 갖는 parameter set에 대해 측도 추정을 통해 이러한 해의 안정성을 확보하는 것.
• 무한차원 역학을 다룰 수 있는 기능적 해석적 프레임워크를 정규형, 작용-위상 변수, 임의의 미분 연산자와 결합하여 개발하는 것.
• 도함수 비선형성이 존재하는 상황에서 소수 문제를 해결하기 위해 정규화된 손실과 해석성 제어를 갖는 KAM 반복을 구성하는 것.

제안 방법

• 저자들은 해밀토니안의 구조를 단순화하고 주요 비선형 항을 분리하기 위해 약한 비르코프 정규형 축소를 사용한다.
• 선형화된 연산자를 대각화하고 문제를 소수 문제로 줄이기 위해 작용-위상 변수를 도입한다.
• 벡터장의 비선형성 처리를 위해 정규화된 손실과 유계 조건을 포함하는 새로운 추상적 KAM 정리를 제시한다.
• 반복적인 변수 변경을 통해 선형화된 연산자를 근사적으로 대각화하고, 왜곡 항의 크기 추정을 수행한다.
• 스위치 조건과 은둔함수 정리를 사용하여 측도 추정을 도출함으로써 칸토르 유사 parameter set이 양의 측도를 갖는다는 것을 보장한다.
• 스케일된 소볼레프 공간과 복소 스트립 위의 해석 함수를 사용하며, 반복 과정 전반에 걸쳐 해석성 반경을 정밀하게 제어한다.

실험 결과

연구 질문

• RQ1 도함수에 의존하는 비선형성을 갖는 완전 비선형 슈뢰딩거 방정식에 대해 준주기적 해가 존재할 수 있는가?
• RQ2 비선형성이 도함수를 포함하고 KAM 변환이 무한대가 될 수 있는 준선형 PDE에 대해 KAM 이론을 적용할 수 있는가?
• RQ3 소수 문제와 정규성 손실이 존재하는 상황에서 KAM 반복의 수렴 조건은 무엇인가?
• RQ4 이러한 시스템에 대해 매개변수 공간에서 양의 측도를 갖는 칸토르 가닥의 해를 어떻게 구성할 수 있는가?
• RQ5 가역성과 게이지 불변성이 이러한 해의 존재성과 안정성 확보에 어떤 역할을 하는가?

주요 결과

• 논문은 가역성, 게이지 보존성, $x$-불변 비선형성을 갖는 완전 비선형 슈뢰딩거 방정식에 대해 칸토르 가닥의 준주기적, 소규모 진폭 해의 존재를 증명한다.
• 해는 공간과 시간에 대해 해석적이며, 해 가닥은 양의 상대 측도를 갖는 매개변수 집합 위에 존재한다.
• 매개변수 공간에서 칸토르 집합 $\mathcal{C}_{\varepsilon}$의 여집합의 측도는 $C\varepsilon^{2d}\bm{c}$ 이하로 유계이며, $\bm{c}$가 작을 경우 양의 측도를 갖는다.
• KAM 반복은 정규성 손실을 제어하고 해석성을 유지하도록 구성되며, 해석성 반경은 0으로부터 멀리 떨어져 있다.
• 이 결과는 도함수 비선형성을 포함하는 완전 비선형 PDE에 대해 해석적 준주기적 해의 존재를 입증한 최초의 결과이다.
• 정교한 정규형과 임의의 미분 연산자 기법을 사용함으로써 무한대가 되는 KAM 변환을 성공적으로 다루었다.