[논문 리뷰] Quasi-periodic solutions of the Schrödinger equation with arbitrary algebraic nonlinearities

Weimin Wang|ArXiv.org|2009. 07. 20.

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

한 줄 요약

이 논문은 d-토러스 위에서 임의의 대수적 비선형성을 가진 비선형 슈뢰딩거 방정식에 대해 시간 준주기적 해의 존재를 위한 충분하고 본질적으로 필수적인 기하 조건을 수립한다. 유한한 푸리에 지지집합을 가진 해에 대해, 이중 특성선 상의 오차 항의 지지집합이 초기 해의 지지집합과 그 켤레와 외부에서 교차하지 않으며, 이중 특성선 다양체 위에서 복합화에 의해 생성된 격자점들이 끊어지지 않도록 하는 조건이, b 주파수를 가진 준주기적 해의 존재를 보장함을 증명한다. 이는 1차원에서의 세제곱 비선형성에서 일반 다항식 비선형성으로의 확장을 포함하여 임의의 차원 d와 임의의 p ≥ 1에 대해 성립한다.

ABSTRACT

We present a geometric formulation of existence of time quasi-periodic solutions. As an application, we prove the existence of quasi-periodic solutions of $b$ frequencies, $b\leq d+2$, in arbitrary dimension $d$ and for arbitrary non integrable algebraic nonlinearity $p$. This reflects the conservation of $d$ momenta, energy and $L^2$ norm. In 1d, we prove the existence of quasi-periodic solutions with arbitrary $b$ and for arbitrary $p$, solving a problem that started Hamiltonian PDE.

연구 동기 및 목표

• 초기 해의 선형 해에 대한 기하 조건을 규명하여, 임의의 대수적 비선형성 하에서 준주기적 해의 존재를 보장하고자 한다.
• 세제곱 비선형성에서의 준주기적 해 존재성 결과를 일반 다항식 비선형성 |u|^{2p}u (p ≥ 1)로 확장하고자 한다.
• 비선형 영역에서 준주기적 해의 유지에 있어 비교적 교차하지 않음과 비회전 조건이 충분하고 본질적으로 필수적임을 증명하고자 한다.
• 1차원 및 세제곱 비선형성에서의 결과를 임의의 차원 d와 임의의 p ≥ 1로 일반화하여 초임계적 경우를 포함하고자 한다.
• 칸토어 유사 주파수 집합 위에서 KAM 유사 방법을 활용하여 푸리에 계수에 정밀한 제어를 할 수 있는 전역 해를 구성하는 프레임워크를 제공하고자 한다.

제안 방법

• 두 가지 기하 조건을 수립한다: (i) 오차 항의 푸리에 지지집합이 초기 해의 지지집합과 그 켤레 외부에서 이중 특성선 집합과 교차하지 않도록 하고, (ii) 복합화에 의해 생성된 격자점들이 이중 특성선 다양체 상에서 끊어지지 않도록 보장하는 비회전 조건.
• 준주기적 해를 기술하기 위해 u(t,x) = ∑ ŝ(n,j) e^{in·ωt} e^{ij·x} 형태의 푸리에 표현을 사용하며, 여기서 ω ∈ ℤ^b 이다.
• 이중 특성선 집합 ℂ = {(n,j) ∈ ℤ^{b+d} | ±n·ω⁰ + j² = 0} 와 그 분해인 ℂ⁺, ℂ⁻, 그리고 그 차집합 ℂ^{++}, ℂ^{+-} 등을 정의한다.
• 비선형성 |u|^{2p}u 와 그 켤레 항들을 분석함으로써 복합화 구조를 분석하는 부분 바이어클로프 정규형 방법을 적용한다.
• 해석적 노름에서의 섭동적 추론을 사용하여, 작은 진폭 δ에 대해, (0,δ]^b 내의 양의 측도를 가진 캔토어 집합 ℒ(δ) 가 준주기적 해를 지지함을 보인다.
• 푸리에 파동 벡터 {j_k} 에서 다항식의 초평면 차원 1의 영집합을 사용하여 공진 구성을 피하며, 이는 일반적으로 비회전 조건이 성립하도록 보장한다.

실험 결과

연구 질문

• RQ1 초기 해 u⁰ 에 대해, 임의의 대수적 비선형성 |u|^{2p}u 를 가진 비선형 슈뢰딩거 방정식이 준주기적 해를 갖기 위한 기하 조건은 무엇인가?
• RQ2 비교적 교차하지 않음과 비회전 조건이 공진 상호작용을 방지하여 준주기성의 파괴를 막는 방식은 무엇인가?
• RQ3 세제곱 비선형성(p=1)에서의 준주기적 해 존재성 결과를 임의의 차원 d와 임의의 p ≥ 1로 확장할 수 있는가?
• RQ4 준주기적 해가 존재하는 초기 진폭 집합의 측도론적 크기는 얼마이며, 이는 비선형성의 차수 p에 어떻게 의존하는가?
• RQ5 이 기하 조건들이 얼마나 필수적인가, 그리고 이중 특성선 다양체 위에서 복합화에 의해 생성된 격자점의 구조와는 어떻게 관련되는가?

주요 결과

• 비교적 교차하지 않음 조건은 비선형성에 기인한 오차 항이 u⁰ 과 그 켤레 외부의 이중 특성선 집합 상에 새로운 푸리에 모드를 도입하지 않음을 보장한다.
• 비회전 조건은 ℂ 상의 격자점들이 무한한 지름을 가진 연결 성분을 형성하는 것을 방지하며, 이는 KAM 반복의 수렴에 필수적이다.
• 모든 d ≥ 1 및 p ≥ 1 에 대해, b ≤ d+2 주파수를 가진 준주기적 해는 측도가 적어도 1 - Cε^c 이상인 캔토어 집합 상의 초기 진폭에서 존재한다. 여기서 c > 0 이고 ε ∈ (0,1) 이다.
• 각 모드에 대해 주파수 이동 ω_k = j_k² + O(δ^{2p+1}) 가 확립되며, 이는 비선형성이 선형 주파수에 작은 그러나 유계된 이동을 유도함을 보여준다.
• 이 결과는 기존의 세제곱 비선형성(p=1)에 대한 존재성 결과를 임의의 p ≥ 1로 일반화하며, 기존에 전역 존재성이 알려지지 않은 초임계적 경우를 포함한다.
• 증명은 일반적인 파동 벡터 {j_k} 의 선택에서 비회전 조건이 일반적으로 성립함을 보이며, 악성 구성의 집합이 매개변수 공간에서 차원 1의 초평면을 이룬다.