[논문 리뷰] Space Quasi-Periodic Standing Waves for Nonlinear Schrödinger Equations

W.-M. Wang|arXiv (Cornell University)|2018. 06. 06.

Nonlinear Photonic Systems참고 문헌 16인용 수 3

한 줄 요약

이 논문은 KAM 유형의 반복 체계를 통해 비선형 슈뢰딩거 방정식 $\mathbb{R}^d$ 에서 공간 준주기적 정적 파동 해의 존재성을 확립한다. 소규모 진폭을 갖는 선형 일반화 고유함수에서 분지하는 해에 대해, 빈도 매개변수 $\mu\lambda$ 에서 양의 측도를 갖는 집합에서 이러한 해가 존재하며, 비선형 빈도는 $\mathcal{O}(|a|^{2p})$ 만큼 수정되고 해 자체는 $\mathcal{O}(|a|^p)$ 만큼 변형된다. 이 결과는 임의의 차원에서 유효하다.

ABSTRACT

We construct space quasi-periodic standing wave solutions to the nonlinear Schrödinger equations on R^d for arbitrary d. This is a type of quasi-periodic nonlinear Bloch-Floquet waves.

연구 동기 및 목표

• 비선형 슈뢰딩거 방정식(NLS)의 전역적이고 감쇠하지 않는, 공간 준주기적 해를 $\mathbb{R}^d$ 에서 구조적 이동 대칭성이 없는 조건에서 구성하는 것.
• 특히 비유한성 공간인 $\mathbb{R}^d$ 에서, 주기적 또는 국소화된 설정을 초월하여 이러한 해의 존재를 확장하는 것.
• 선형 슈뢰딩거 연산자의 소규모 짝수 일반화 고유함수들이 적절한 빈도 매개변수 $\lambda_k$ 조건 하에서 비선형 방정식의 해로 분지함을 증명하는 것.
• KAM 유형의 반복 체계를 통해 허용 가능한 $\lambda$ 매개변수 집합을 엄밀한 측도론적 방법으로 구성하여, 공간 준주기적이고 시간 주기적인 해를 도출하는 것.

제안 방법

• NLS 정적 파동 가정 $U(t,x) = e^{-iEt}u(x)$ 에서 유도된 정적 비선형 타원형 방정식 $-\Delta u - |u|^{2p}u = Eu$ 를 KAM 유형의 반복 체계로 해결한다.
• 뉴턴 유형의 반복을 사용하여 $x_k$ 에 대해 준주기적余弦 급수 형태의 해를 구성하며, 빈도 $\lambda_k \in (1/2, 3/2)^2$ 와 $j_k \in \mathbb{Z}^2$ 를 고려하여 디오판틴 타입 조건을 통해 공진을 방지한다.
• 매개변수 공간에서 중첩된 칸토어 유사 집합 $\Lambda_r$ 의 시퀀스를 적용하며, 소규모 $|a|$ 에 대해 측도 추정 $\text{meas }\Lambda \geq 1 - |a|^{p/6}$ 을 확보하여 반복의 수렴을 보장한다.
• 유한 체적 연산자 $T_M$ 에 대한 해석적 추정과 역행 연산자 추정을 적용하며, 역행 연산자의 핵에 대한 지수 감쇠 추정을 사용하여 비선형 항을 제어한다.
• 선형화된 연산자의 역행에 대한 점별 감쇠 추정을 사용하며, 각 단계에서 매개변수 $\alpha$ 와 $\delta$ 를 조정하여 변형에 대응하는 제어를 유지한다.
• 부트스트랩 추론을 적용하여 반복의 각 단계에서 해 시퀀스가 요구되는 감쇠, 정규성 및 도함수 추정을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 비선형 슈뢰딩거 방정식이 $\mathbb{R}^d$ 에서 공간으로 감쇠하거나 주기적이지 않은 조건에서도 공간 준주기적 정적 파동 해가 존재할 수 있는가?
• RQ2 선형 슈뢰딩거 연산자의 소규모 진폭 짝수 일반화 고유함수들이 빈도 매개변수 $\lambda$ 에 대해 양의 측도 집합에서 비선형 방정식의 해로 분지하는가?
• RQ3 표준적인 컴팩트성 또는 주기성 가정이 실패하는 비유한성 공간인 $\mathbb{R}^d$ 설정에서 KAM 유형의 반복 방법을 어떻게 변형하여 이러한 해를 구성할 수 있는가?
• RQ4 이러한 해가 존재하는 빈도 매개변수 $\lambda$ 의 측도는 얼마이며, 진폭 $a$ 와 어떻게 관련되는가?
• RQ5 비선형 고유값 $E$ 는 $\lambda$ 에 대해 어떻게 의존하는가? 그리고 그것의 미분 가능성은 어떠한가?

주요 결과

• 형태 $\tilde{U} = a e^{-i(\tilde{j} \cdot \lambda)^2 t} \prod_{k=1}^d \cos(\tilde{j}_k \cdot \lambda_k x_k)$ 를 갖는 소규모 선형 해에 대해, 동일한 공간 준주기적 구조를 갖는 비선형 해 $U$ 가 존재하며, 이는 그로부터 분지한다.
• 해 $U(t,x)$ 는 $e^{-i[(\tilde{j} \cdot \lambda)^2 + \mathcal{O}(|a|^{2p})]t} \left[ a \prod_{k=1}^d \cos(\tilde{j}_k \cdot \lambda_k x_k) + \mathcal{O}(|a|^p) \right]$ 의 형태를 가지며, 진폭과 빈도에 대한 작은 수정을 보여준다.
• 허용 가능한 $\lambda$ 매개변수 집합 $\Lambda$ 는 $\text{meas }\Lambda \geq 1 - |a|^{p/6}$ 를 만족하며, 이는 소규모 $|a|$ 에서 양의 측도를 가지며 칸토어 유사 집합으로서 양의 측도를 갖는다.
• 비선형 고유값 $E$ 는 $(1/2, 3/2)^{2d}$ 에서 $\lambda$ 에 대해 $C^1$ 이며, 빈도 매개변수에 대한 매끄러운 의존성을 나타낸다.
• 이 구성은 임의의 차원 $d$ 에 대해 유효하며, 동일한 증명 체계로 고차원 $\lambda_k$ 에도 확장 가능하다.
• 해는 시간 주기적(기본 주파수 하나), 공간 준주기적이며, 시간에 대해 전역적으로 정의되며, 국소화나 기본 이동 대칭성이 없음을 특징으로 한다.