[논문 리뷰] Large KAM tori for perturbations of the dNLS equation

Massimiliano Berti, Thomas Kappeler외 1명|arXiv (Cornell University)|2016. 03. 30.

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

한 줄 요약

이 논문은 원 위에서의 비선형성과 해석성 조건 없이도, 소형 반선형 해밀토니안 섭동에 대해, 대칭성 가정 없이도 큰 유한차원 불변 KAM 토러스가 존재함을 입증한다. 이러한 토러스는 준주기적 해를 지닌다. 증명은 뉴턴-나시-모저 반복 기법과 빌코프 좌표를 통한 선형화된 연산자의 블록 대각형화 및 정밀한 고유값 추정에 기반한다.

ABSTRACT

We prove that small, semi-linear Hamiltonian perturbations of the defocusing nonlinear Schrödinger (dNLS) equation on the circle have an abundance of invariant tori of any size and (finite) dimension which support quasi-periodic solutions. When compared with previous results the novelty consists in considering perturbations which do not satisfy any symmetry condition (they may depend on $x$ in an arbitrary way) and need not be analytic. The main difficulty is posed by pairs of almost resonant dNLS frequencies. The proof is based on the integrability of the dNLS equation, in particular the fact that the nonlinear part of the Birkhoff coordinates is one smoothing. We implement a Newton-Nash-Moser iteration scheme to construct the invariant tori. The key point is the reduction of linearized operators, coming up in the iteration scheme, to $ 2 imes 2 $ block diagonal ones with constant coefficients together with sharp asymptotic estimates of their eigenvalues.

연구 동기 및 목표

• 원 위에서의 비초점 dNLS 방정식에 대한 소형 반선형 해밀토니안 섭동 하에서의 유한차원 불변 토러스의 유지 존재를 입증한다.
• 섭동에 대해 대칭 조건이나 해석성 조건이 필요 없도록 하여 임의의 x-의존 비선형성을 允허한다.
• 복잡한 주파수 구조를 지닌 비통합 PDE에 KAM 이론을 확장하여 큰 차원의 토러스 위에서 준주기적 해를 구성한다.
• dNLS 스펙트럼 내 거의 공진 주파수 문제에 대비해 선형화된 연산자의 정밀한 축소를 통해 도전 과제를 극복한다.
• 스펙트럼 단순화 가정이 없더라도 이러한 토러스를 지지하는 매개변수 집합의 측도가 양수임을 증명한다.

제안 방법

• dNLS 방정식의 적분 가능성, 특히 비선형 빌코프 좌표의 한계 스무딩 성질을 활용한다.
• 비대칭 섭동을 가진 PDE에 대해 KAM 유한 코드림이 문제를 해결하기 위해 뉴턴-나시-모저 반복 기법을 적용한다.
• 가환 및 동차 이동 변환을 반복 적용하여 선형화된 연산자 ${\mathfrak{L}}_{\omega}$ 를 상수 계수를 가진 $2\times 2$ 블록 대각형으로 축소한다.
• 반복 과정에서 도함수 손실을 제어하기 위해 축소된 연산자의 고유값에 대한 정밀한 점근 추정을 적용한다.
• 주파수 공진에 대한 멜니코프 유형의 비퇴화 조건을 빈도 공진의 측도론적 분석을 통해 적용한다.
• 나시-모저 프레임워크에서 정규성 손실을 다루기 위해 테임 추정과 색소프 공간 내의 보간을 구현한다.

실험 결과

연구 질문

• RQ1 dNLS 방정식에 대해 소형 비대칭 비해석적 섭동 하에서도 불변 토러스가 유지되는가?
• RQ2 임의의 x-의존 섭동과 복잡한 주파수 공진을 지닌 PDE에 대해 KAM 이론은 어떻게 확장될 수 있는가?
• RQ3 dNLS 방정식의 어떤 구조적 성질(예: 빌코프 좌표)이 대칭 조건 없이 큰 KAM 토러스를 구성하는 데 기여하는가?
• RQ4 거의 공진 주파수를 다룰 때 뉴턴 반복의 도함수 손실을 어떻게 극복할 수 있는가?
• RQ5 섭동된 dNLS 시스템에서 준주기적 해를 지지하는 매개변수 집합의 측도론적 크기는 얼마인가?

주요 결과

• 논문은 대칭성 또는 해석성 조건 없이도, 소형 해밀토니안 섭동에 대해 임의의 유한차원 불변 토러스 존재를 입증한다.
• 이러한 토러스를 지지하는 매개변수 집합의 측도는 양수이며, 예외 집합은 $O(\gamma^{\mathfrak{b}})$ 로 추정되며, 여기서 $\gamma = \varepsilon^{\mathfrak{a}}$ 이고 $\mathfrak{b} = \min\{\mathfrak{b}^\prime, 1/2\}$ 이다.
• 구성은 선형화된 연산자를 상수 계수를 가진 $2\times 2$ 블록 대각형으로 축소함에 기반하며, 이는 정밀한 고유값 추정을 가능하게 한다.
• 빌코프 좌표의 한계 스무딩 성질과 정밀한 동차 방정식을 활용해, 거의 공진 주파수 문제의 주요 과제를 극복한다.
• 테임 추정과 스펙트럼 축소 기법 덕분에 대칭 조건 없이도 나시-모저 반복 기법이 성공적으로 적용된다.
• 비공진 매개변수 집합의 측도 추정은 위어스터라스 준비 정리와 주파수 차이 지도의 영이 아닌 성질을 통해 유도된다.