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

Roberto Feola|arXiv (Cornell University)|2016. 02. 03.

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

한 줄 요약

이 논문은 토러스 위의 비선형 힘을 받는 비선형 해밀턴 NLS 방정식에 대해, 나시-모저 방법과 선형화된 연산자에 대한 KAM 유형의 환원성과 결합하여, 선형적으로 안정되고 소규모 진폭의 준주기적 해의 존재를 입증한다. 주요 기여는 다중 고유값과 1계 공간 도함수를 포함하는 유계가 아닌 비선형성으로 인한 도전 과제를 극복하기 위해, 미분형사, 임의의 미분형사, 그리고 KAM 반복을 통해 선형화된 연산자를 블록 대각형으로 전환하는 것이다.

ABSTRACT

In this paper we prove the existence of quasi-periodic, small-amplitude, solutions for quasi-linear Hamiltonian perturbations of the non-linear Schroedinger equation on the torus in presence of a quasi-periodic forcing. In particular we prove that such solutions are linearly stable. The proof is based on a Nash-Moser implicit function theorem and on a reducibility result on the linearized operator in a neighborhood of zero. The proof of the reducibility relies on changes of coordinates such as diffeomorphisms of the torus, pseudo-differential operators and a KAM-reducibility arguments. Due to the multiplicity of the eigenvalues we obtain a block-diagonalization.

연구 동기 및 목표

• 토러스 위의 비선형 해밀턴 NLS 방정식에 대해 소규모 진폭, 준주기적, 선형적으로 안정된 해의 존재를 확립한다.
• 1계 공간 도함수를 포함하는 비유계 비선형성(즉, δ = n)으로 인해 발생하는 문제를 다룬다.
• 표준 KAM 환원을 방해하는 선형화된 연산자의 다중 고유값 문제를 극복한다.
• 이전의 반선형 및 비임계 비유계 외란에 대한 KAM 결과를, 전도함수 의존성이 있는 임계 비선형 NLS 경우로 확장한다.
• 영점 주변에서 미분형사, 임의의 미분형사, 그리고 KAM 반복을 사용하여 선형화된 연산자의 환원성 체계를 개발한다.

제안 방법

• 준주기적 해에 대한 무한차원 방정식을 해결하기 위해 나시-모저 은닉함수 정리가 적용되며, 주파수 ω는 매개변수로 간주된다.
• 선형화된 연산자는 토러스 위의 미분형사와 임의의 미분형사에 의한 공역 변환을 포함하는 KAM 유형의 변환 시퀀스를 통해 일정 계수로 환원된다.
• 환원 과정은 고유값의 중복성으로 유도된 블록 대각형 구조를 활용하여 반복적인 대각형화를 가능하게 한다.
• 소수의 나눗셈 문제를 제어하기 위해 주파수 벡터 ω에 대한 비타당성 조건(디오판틴 조건)이 도입된다.
• 선형화된 연산자의 정규화와 상수 계수 형태로의 공역 후, 노이만 급수를 통한 역행렬화에 의존한다.
• 기술적 추정은 소볼레프 노름, 시간 정규성에 대한 가중치 노름, 그리고 임의의 미분형사의 복합 규칙을 사용하여 유도된다.

실험 결과

연구 질문

• RQ1 비선형 해밀턴 NLS 방정식에 대해 토러스 위에서 강제된 준주기적, 소규모 진폭 해가 존재할 수 있는가?
• RQ2 다중 고유값과 비유계 비선형성이 존재하는 상황에서 선형화된 연산자를 어떻게 일정 계수로 환원할 수 있는가?
• RQ3 1계 도함수 비선형성을 포함하는 비선형 PDE를 다루기 위해 고전적 KAM 또는 나시-모저 프레임워크에 어떤 수정이 필요한가?
• RQ4 이러한 외란 하에서 해가 선형적으로 안정된 것으로 증명될 수 있는가?
• RQ5 토러스 위의 미분형사와 임의의 미분형사 계산은 선형화된 연산자의 환원성 달성에 어떤 역할을 하는가?

주요 결과

• 논문은 주파수 벡터 ω가 디오판틴 조건을 만족할 경우, 강제된 비선형 해밀턴 NLS 방정식에 대해 준주기적, 소규모 진폭 해의 존재를 입증한다.
• 선형화된 연산자가 작은 잔여항을 가진 일정 계수로 환원되므로, 해는 선형적으로 안정하다.
• 다중 고유값의 중복성을 고려한 블록 대각형화 과정을 통해 환원성이 달성된다.
• 이 방법은 이전 KAM 이론이 다루지 못한 1계 공간 도함수를 포함하는 비유계 비선형성(δ = n)을 성공적으로 처리한다.
• 나시-모저 체계는 시간에 의존하는 외란이 있는 해밀토니안 설정에 적응되어, 매개변수 의존성에 기반한 일반화된 은닉함수 정리와 함께 사용된다.
• 해당 결과가 성립하는 허용 가능한 주파수 ω의 측도 추정이 제공되며, 이는 양의 측도를 가짐을 보장한다.