[논문 리뷰] Supercritical Nonlinear Schrödinger Equations II: Almost Global Existence

W. M. Wang|arXiv (Cornell University)|2010. 07. 01.

Advanced Mathematical Physics Problems참고 문헌 3인용 수 3

한 줄 요약

이 논문은 스펙트럴 갭 추정과 열린 사상 정리의 활용을 통해 유한 번 반복된 뉴턴 스킴을 이용해 초임계 비선형 슈뢰딩거 방정식(NLS)의 근사 준주기 해를 구성함으로써, $d$-토러스 위에서 거의 전역 존재성을 확립한다. 일반적인 크기 1인 초기 자료와 작고 작은 $\delta$에 대해, 모든 $A>1$에 대해 해는 $|t| \leq \delta^{-A}$까지 존재하며, 해석적 노름에서 일관된 유계성을 유지한다. 이는 초임계 영역에서 사전에 전역 존재성이 보장되지 않는 문제를 해결한다.

ABSTRACT

We prove almost global existence for supercritical nonlinear Schrödinger equations on the $d$-torus ($d$ arbitrary) on the good geometry selected in part I. This is seen as the Cauchy consequence of I, since the known invariant measure of smooth solutions are supported on KAM tori. In the high frequency limit, these quantitative solutions could also be relevant to Cauchy problems for compressible Euler equations.

연구 동기 및 목표

• 초임계 비선형 슈뢰딩거 방정식(NLS)의 전역 존재성에 대한 사전 조건이 부족한 문제를 다루기 위해, 표준 보존 법칙이 전역 해를 보장하지 못하는 $\mathbb{T}^d$에서의 초임계 NLS에 대해.
• 지역 잘정의성의 실패로 전역으로 연장되지 않는 초임계 영역($p \geq 1$, $d \geq 3$)에서 소규모 초기 자료 해에 대해 거의 전역 존재성을 확립하기 위해.
• NLS 방정식을 $\mathcal{O}(\delta^r)$ 오차 내에서 만족하는 근사 준주기 해를 구성함으로써, 선형화를 통해 장시간 존재성을 확보하기 위해.
• 이러한 해를 유도하는 초기 자료의 집합이 양의 측도를 가지며, $\delta \to 0$일 때 측도가 1에 수렴함을 증명하여 결과의 일반성 확보.

제안 방법

• 초기 자료 $u_0 = u_1 + u_2$에 대해 유한 번 반복된 뉴턴 스킴을 적용하여, $\mathcal{O}(|\log \delta|)$개의 기본 주파수를 가진 근사 준주기 해 $v$를 구성한다. 여기서 $\|u_2\| = \mathcal{O}(\delta)$이다.
• 주파수 벡터의 비퇴화성과 공진기하학을 바탕으로, $\{\hat{u}_1\}$의 푸리에 진폭을 열린 집합 $\mathcal{A} \subset (0,1]^b$에서 제거함으로써 스펙트럴 갭을 확보한다.
• 열린 사상 정리를 적용하여, 고정된 초기 근사값에서부터 $\|\tilde{u}_2\| = \mathcal{O}(\delta)$를 만족하는 $\tilde{u}_0 = u_1 + \tilde{u}_2$의 전체 이웃 영역으로 구성의 확장을 보장함으로써, 강인성을 확보한다.
• 근사 해 $v$를 중심으로 NLS 방정식을 선형화하여, $\delta^{-r/3}$까지의 시간 동안 해석적 노름에서 선형화된 흐름이 유계임을 증명한다. $\|S(t)\| \leq 1 + |t|$이다.
• 두하멜 공식을 사용하여 나머지 $w = u - v$를 추정함으로써, $|t| < \delta^{-r/10}$에서 $\|w(t)\| = \mathcal{O}(\delta^{r/2})$임을 보이고, 이는 전체 해의 전역 제어를 의미한다.
• 나머지 $w = \delta^{r'} w'$로 스케일링하여 $L^2$-유형 추정을 선형화된 흐름에 적용함으로써, 해의 노름과 존재 시간에 대한 정량적 유계를 확립한다.

실험 결과

연구 질문

• RQ1 보존 법칙이 전역 존재성을 보장하지 못하는 상황에서, $\mathbb{T}^d$에서 초임계 NLS에 대해 거의 전역 존재성을 확립할 수 있는가?
• RQ2 주파수 지원과 진폭의 조건은 무엇이어야 하며, 이를 통해 국소 존재 시간을 초월하는 장시간 동안 비선형 역학을 제어할 수 있는 근사 준주기 해를 구성할 수 있는가?
• RQ3 열린 사상 정리는 해의 존재성을 단일 초기 자료에서 해석적 위상에서의 전체 열린 초기 자료 집합으로 확장하는 데 어떻게 적용될 수 있는가?
• RQ4 소수 파arameter $\delta$에 대한 해 수명의 정량적 의존성은 무엇이며, 임의의 $A>1$에 대해 $\delta^{-A}$의 의미에서 임의로 길게 만들 수 있는가?
• RQ5 근사 해 주위의 선형화된 흐름은 $\delta^{-A}$까지 시간에 대해 일관되게 제어될 수 있는가? 이는 구성의 안정성을 보장한다.

주요 결과

• 모든 $A > 1$에 대해, $\delta_0 > 0$이 존재하여 모든 $\delta \in (-\delta_0, \delta_0)$에 대해, $\mathbb{T}^d$에서 NLS의 초기값 문제는 $|t| \leq \delta^{-A}$까지 유일한 해 $u(t)$를 가지며, 초기 자료 $u_0 = u_1 + u_2$가 $\|u_2\| = \mathcal{O}(\delta)$이고 $\{\hat{u}_1\} \in \mathcal{A}$를 만족할 경우에 한해 성립한다. 여기서 $\mathcal{A}$는 양의 측도를 가진 열린 집합이다.
• 측도가 $\delta \to 0$일 때 1에 수렴하므로, 크기가 1인 거의 모든 일반적인 초기 자료가 장시간 해를 유도함을 나타낸다.
• 시간 간격 $|t| \leq \delta^{-A}$ 동안 해석적 노름에서 $\|u(t)\| \leq \|u_0\| + \mathcal{O}(\delta)$를 만족하며, 이는 해 크기의 일관된 제어를 보장한다.
• 근사 해 $v$ 주위의 선형화된 흐름 $S(t)$는 $|t| < \delta^{-r/3}$에서 $\|S(t)\| \leq 1 + |t|$를 만족한다. 이는 두하멜 전개에서 나머지 항을 제어하는 데 핵심적이다.
• 나머지 $w = u - v$는 $|t| < \delta^{-r/10}$에서 $\|w(t)\| = \mathcal{O}(\delta^{r/2})$를 만족하며, 이는 장시간에 걸쳐 해가 근사 준주기 해에 가까이 유지됨을 보장한다.
• 반구조적 대응에서는 $\delta = 1$일 때 해가 $|t| \leq K^{-A}$까지 존재하며, $K \to \infty$일 때 $\|u(t)\| \leq \|u_0\| + \mathcal{O}(1/K^2)$를 만족한다. 또한 허용 가능한 진폭 집합 $\mathcal{A}$의 측도는 $K \to \infty$일 때 1에 수렴한다.