[논문 리뷰] Improved interaction Morawetz inequalities for the cubic nonlinear Schrödinger equation on $\R^2$

J. Colliander, Manoussos G. Grillakis외 1명|ArXiv.org|2007. 03. 20.

Advanced Mathematical Physics Problems참고 문헌 9인용 수 17

한 줄 요약

이 논문은 $\mathbb{R}^2$에서 $L^2$-临界인 비집합성 입자 제곱 비선형 슈뢰딩거 방정식에 대해, $H^s(\mathbb{R}^2)$에 속하는 초기 조건을 갖는 경우 $s > \frac{2}{5}$일 때 전역 적으로 잘 정의됨을 확립한다. 이는 이전의 임계값 $s \geq \frac{1}{2}$을 향상시킨 결과이다. 저자들은 $H^s$ 노름의 성장을 제어하기 위해 $I$-메소드와 새로운 상호작용 모라웨츠 추정을 결합하였으며, 해의 정(regularity)에 대한 다항식 시간 경계를 증명하였다.

ABSTRACT

We prove global well-posedness for low regularity data for the $L^2-critical$ defocusing nonlinear Schrödinger equation (NLS) in 2d. More precisely we show that a global solution exists for initial data in the Sobolev space $H^{s}(\mathbb R^2)$ and any $s>{2/5}$. This improves the previous result of Fang and Grillakis where global well-posedness was established for any $s \geq {1/2}$. We use the $I$-method to take advantage of the conservation laws of the equation. The new ingredient is an interaction Morawetz estimate similar to one that has been used to obtain global well-posedness and scattering for the cubic NLS in 3d. The derivation of the estimate in our case is technical since the smoothed out version of the solution $Iu$ introduces error terms in the interaction Morawetz inequality. A byproduct of the method is that the $H^{s}$ norm of the solution obeys polynomial-in-time bounds.

연구 동기 및 목표

• 초기 조건이 낮은 정(regularity)을 갖는 $\mathbb{R}^2$에서의 $L^2$-临계 비집합성 입자 제곱 비선형 슈뢰딩거 방정식에 대해 전역 적으로 잘 정의됨을 확립하는 것.
• Fang와 Grillakis에 의해 이전에 확립된 전역 적으로 잘 정의됨의 임계값 $s \geq \frac{1}{2}$을 향상시키는 것.
• 이차 차원에서 $I$-메소드 프레임워크에 맞게 조정된 새로운 상호작용 모라웨츠 추정을 개발하고 적용하는 것. 이 경우 비선형성은 대수적 형태이며, 스무딩 연산자 $I$에 의해 발생하는 오차 항들을 신중히 제어해야 한다.
• $s > \frac{2}{5}$일 때 해의 $H^s$ 노름이 시간에 대해 다항식으로 증가함을 증명하여 장기 존재성과 안정성을 확인하는 것.

제안 방법

• $I$-메소드를 적용하여 보존 에너지 $E(u)$를 $s < 1$일 때 거의 보존되는 수정 에너지 $E(Iu)$로 대체함으로써, 낮은 정(regularity)을 갖는 해를 제어할 수 있도록 한다.
• $I$-연산자와 $L^2$-临계 스케일에 적합하게 조정된 주파수 국소화된 상호작용 모라웨츠 추정을 유도하여, $Iu$의 $L^4_tL^4_x$ 노름 성장을 제어한다.
• 해의 $H^1$-노름을 정규화하기 위해 $u^\lambda(x,t) = \frac{1}{\lambda}u(\frac{x}{\lambda}, \frac{t}{\lambda^2})$의 스케일링을 도입함으로써, 모라웨츠 부등식에 사전 추정을 적용할 수 있도록 한다.
• $I$와 비선형성 간의 교환자로부터 발생하는 오차 항들을 교환자 추정과 $Iu$의 $L^4_tL^4_x$ 제어를 통해 유한하게 제한함으로써, 수정 에너지가 시간 간격 동안 거의 보존되도록 보장한다.
• 증명은 모순에 기반한다: $Iu$의 $L^4_tL^4_x$ 노름이 임계값을 초과하면 모라웨츠 추정에 의한 에너지 제어와 모순되며, 이는 노름이 항상 유계임을 강제한다.
• 최종적으로 $I$-메소드와 상호작용 모라웨츠 추정을 결합하여 $H^s$ 노름이 시간에 대해 다항식으로 증가함을 보이며, 이는 $s > \frac{2}{5}$일 때 전역 존재성을 의미한다.

실험 결과

연구 질문

• RQ1 초기 조건이 에너지 공간을 벗어나는 낮은 정(regularity)을 갖는 $\mathbb{R}^2$에서의 $L^2$-临계 비집합성 입자 제곱 비선형 슈뢰딩거 방정식에 대해 $s > \frac{2}{5}$일 때 전역 적으로 잘 정의됨을 확립할 수 있는가?
• RQ2 비선형성이 대수적 형태이며 오차 항이 발생하는 상황에서, 이차 차원에서 $I$-메소드를 어떻게 조정하여 향상된 상호작용 모라웨츠 추정을 도출할 수 있는가?
• RQ3 시간에 대해 $H^s$ 노름의 다항식 경계를 $I$-메소드와 상호작용 모라웨츠 추정을 사용하여 증명할 수 있는 최적의 정(regularity) 임계값 $s$는 무엇인가?
• RQ4 반경대칭이 없을 경우, 상호작용 모라웨츠 추정을 사용하여 질량의 분산 또는 집중 현상을 배제할 수 있으며, 이는 전역 존재성을 보장하는가?

주요 결과

• 초기 조건이 $H^s(\mathbb{R}^2)$에 속하는 $\mathbb{R}^2$에서의 $L^2$-临계 비집합성 입자 제곱 비선형 슈뢰딩거 방정식에 대해 $s > \frac{2}{5}$일 때 전역 적으로 잘 정의됨이 확립되었으며, 이는 이전의 임계값 $s \geq \frac{1}{2}$을 향상시킨 결과이다.
• 해의 $H^s$ 노름은 다항식 시간 경계를 만족한다: $\|u(t)\|_{H^s} \lesssim T^{\frac{3s(1-s)}{2(5s-2)}}$ ($t = T_0$가 큰 경우), 이는 장기적인 정(regularity)을 확인한다.
• 향상된 상호작용 모라웨츠 추정이 도출되었으며, 이는 $Iu$의 $L^4_tL^4_x$ 노름을 제어하고, 비선형성으로 인한 오차 항이 존재하더라도 $I$-연산자의 스무딩 성질에 대해 강건함을 보였다.
• $I$와 비선형성 간의 교환자로부터 발생하는 오차 항들이 시간 간격당 $O(1/N)$ 수준임을 보이며, 이들의 누적 효과는 이중 간격에 대한 합산을 통해 제어되었다.
• 모순 증명에 의해 $Iu$의 $L^4_tL^4_x$ 노름이 임계값을 초과하는 집합은 공집합이어야 하며, 이는 노름이 항상 유계이므로 전역 존재성이 성립함을 의미한다.
• 이 메소드에 의해 수정 에너지 $E(Iu)$가 시간에 따라 거의 보존되며, 증가분이 $O(1/N^{3/2})$ 수준로 감소함을 확인하였고, 이는 $s > \frac{2}{5}$일 때 국소 해를 전역 해로 연장할 수 있음을 보여준다.