[논문 리뷰] Decay and scattering of small solutions of pure power NLS in $\R$ with $p>3$ and with a potential

Scipio Cuccagna, Vladimir Georgiev외 1명|arXiv (Cornell University)|2012. 09. 26.

Advanced Mathematical Physics Problems참고 문헌 11인용 수 6

한 줄 요약

이 논문은 순수 거듭제곱 비선형성($3 < p < 5$)과 선형 포텐셜 $V$를 갖는 1차원 비선형 슈뢰딩거 방정식의 소규모 해에 대해 붕괴와 산산이 흩트림을 확립한다. 이때 $V$는 실수 성분을 가지며, 이산 스펙트럼이 없고, 일반적인 투과 계수($T(0) = 0$)를 갖는 슈바르츠 함수라고 가정한다. 저자들은 McKean과 Shatah의 동차 노름 프레임워크를 비이동 불변 설정에 적용하기 위해 표준 $|J(t)|^s$ 연산자와 유사한 행동을 보이는 대체 연산자 $|J_V(t)|^s$를 구성한다. 이로써 거의 불변성과 $L^ u$ 붕괴 추정 $\|u(t)\|_{L^ u} \lesssim t^{-1/2}\epsilon$ 및 $L^2$에서의 점근 완전성을 증명한다. 주요 기여는 $p > 3$ 이며 비영인 포텐셜이 존재하는 경우에도 산산이 흩트림 이론을 확장한 것이다.

ABSTRACT

We prove decay and scattering of solutions of the Nonlinear Schr\"oding-er equation (NLS) in ${\mathbf R}$ with pure power nonlinearity with exponent $3<p<5$ when the initial datum is small in $\Sigma$ (bounded energy and variance), in the presence of a linear inhomogeneity represented by a linear potential which is a real valued Schwarz function. We assume absence of discrete modes. The proof is analogous to the one for the translation invariant equation. In particular we find appropriate operators commuting with the linearization.

연구 동기 및 목표

• McKean과 Shatah의 $p > 3$ 이며 $V = 0$인 이동 불변 NLS에 대한 산산이 흩트림 및 붕괴 결과를 비영인 실수 슈바르츠 포텐셜 $V$가 존재하는 경우로 확장한다.
• 소규모 해의 점근적 행동을 $\Sigma^s$ 노름에서 규명하며, 특히 $L^\infty$ 붕괴 속도 $t^{-1/2}$와 점근 완전성을 밝힌다.
• 비이동 불변 설정에서 표준 $|J(t)|^s$ 연산자와 일반화된 동치를 이루는 대체 연산자 $|J_V(t)|^s$를 구성하고 분석한다.
• 비선형 진동을 제어하기 위해 필수적인 $0 \leq s < 1/2$에 대해 $\|f\|_{\dot{H}^s_V} \sim \|f\|_{\dot{H}^s}$의 등가성을 증명한다.

제안 방법

• 비이동 불변 설정에서 표준 $|J(t)|^s$ 연산자와 유사한 행동을 보이는 새로운 유형의 연산자 $|J_V(t)|^s$를 도입한다.
• Paley-Littlewood 분해와 투과 계수 $T(\tau)$의 성질을 이용하여, $0 \leq s < 1/2$에 대해 동차 소볼레프 노름 $\|f\|_{\dot{H}^s_V} = \|( -\Delta + V )^{s/2} f\|_{L^2}$ 이 표준 $\|f\|_{\dot{H}^s} = \|(-\Delta)^{s/2} f\|_{L^2}$ 와 등가임을 증명한다.
• 비이동 불변 해밀토니안으로 인해 발생하는 추가 공액항을 제어하기 위해 부스팅 방법을 사용하며, 이는 일반성 조건 $T(0) = 0$에 의존한다.
• 선형화된 방정식의 흐름을 따라 $|J_V(t)|^s$ 노름의 거의 불변성을 확립한다. 이는 붕괴를 증명하는 데 핵심적이다.
• 노름의 등가성과 거의 불변성을 활용하여, 소볼레프 유형 임베딩을 통해 분산 추정 $\|u(t)\|_{L^\infty} \lesssim t^{-1/2} \epsilon$을 유도한다.
• 원래 웨이브 방정식에 대해 클라인어먼이 개발하고, McKean과 Shatah가 NLS에 적응한 불변 노름 방법을 비선형 포텐셜이 존재하는 경우에도 적용한다.

실험 결과

연구 질문

• RQ1 순수 거듭제곱 비선형성과 $3 < p < 5$를 갖는 NLS에서 $V = 0$일 때의 산산이 흩트림 및 붕괴 결과를 비영인 실수 슈바르츠 포텐셜 $V$가 존재하는 경우로 확장할 수 있는가?
• RQ2 비선형성에 의해 유도된 비이동 불변 설정에서 동차 노름 연산자 $|J(t)|^s$의 적절한 대체 연산자는 무엇인가?
• RQ3 스펙트럼 조건 $\sigma(-\Delta + V) = (-\infty, 0]$과 일반성 조건 $T(0) = 0$은 소규모 해의 점근적 행동에 어떤 영향을 미치는가?
• RQ4 $V \neq 0$일 때도 $0 \leq s < 1/2$에 대해 $\|f\|_{\dot{H}^s_V} \sim \|f\|_{\dot{H}^s}$의 등가성이 유지되는가? 그리고 이는 비선형 항을 제어하는 데 사용될 수 있는가?
• RQ5 표준 분산 추정이 부족한 상황에서도 포텐셜 존재 시 소규모 해에 대해 $L^\infty$ 붕괴 속도 $t^{-1/2}$를 증명할 수 있는가?

주요 결과

• 모든 $t \geq 1$에 대해, $3 < p < 5$ 이며, 초기 데이터 $u_0 \in \Sigma^s$ 이고 $\|u_0\|_{\Sigma^s} \leq \epsilon$ 이며, $\epsilon$ 이 충분히 작을 경우, 포텐셜 $V$를 갖는 NLS의 해 $u(t)$는 붕괴 추정 $\|u(t)\|_{L^\infty} \leq C_0 t^{-1/2} \epsilon$ 을 만족한다. 여기서 $C_0 > 0$ 은 보편 상수이다.
• 해 $u(t)$ 는 점근적으로 완전하다: $L^2(\mathbb{R})$ 에서 $u_+ \in L^2(\mathbb{R})$ 가 존재하여 $\lim_{t \to \infty} \|u(t) - e^{it\Delta} u_+\|_{L^2} = 0$ 이다. 이는 산산이 흩트림 상태의 존재를 의미한다.
• $T(0) = 0$ 조건 하에 $0 \leq s < 1/2$ 에 대해 $\|f\|_{\dot{H}^s_V} \sim \|f\|_{\dot{H}^s}$ 의 등가성이 성립한다. 이는 노름 비교 및 이후 붕괴 추정에 필수적이다.
• $|J_V(t)|^s$ 대체 연산자의 구성은 비이동 불변 케이스에 대한 불변 노름 방법의 적용을 가능하게 하며, 라이프니츠 규칙 성질의 부족을 극복한다.
• 증명은 비이동 불변 선형화로 인해 발생하는 공액항을 제어하기 위해 부스팅 방법을 활용하며, 이는 일반성 조건 $T(0) = 0$ 이 성립할 때에만 가능하다.
• 기존에 알려진 포텐셜이 존재하는 경우의 비초점 쿠버트 NLS($p=3$)에 대한 산산이 흩트림 이론을 $p \in (3,5)$ 에 대해 확장하여, 문헌에서 $p \in (3,5)$ 에 대해 빈자리가 존재하는 부분을 메운다.