[논문 리뷰] Small data blow-up of L^{2}-solution for the nonlinear Schrödinger equation without gauge invariance

Masahiro Ikeda, Yuta Wakasugi|arXiv (Cornell University)|2011. 11. 01.

Advanced Mathematical Physics Problems참고 문헌 14인용 수 24

한 줄 요약

이 논문은 비가환 보존이 아닌 거듭제곱형 비선형성을 갖는 비선형 슈뢰딩거 방정식 $ i\partial_t u + \Delta u = \lambda |u|^p $ 이론에서 $ \mathbb{R}^n $, $ 1 < p \leq 1 + \frac{2}{n} $ 일 때, 초기 데이터가 $ L^2 $ 에서 작을 경우, 초기 데이터의 실수 또는 허수 부분과 $ \lambda $ 의 허수 또는 실수 부분에 대한 부호 조건을 만족하면 $ L^2 $-노름이 유한 시간 내에 폭발할 수 있음을 입증한다. 이 결과는 데이터 크기에 대한 제약 없이 성립하며, 가환 보존 케이스의 전역 존재성과 대조된다.

ABSTRACT

We study the initial value problem for the nonlinear Schrödinger equation. We will prove that the blow-up of the L^{2}-norm of solutions with suitable initial data. We impose a condition related to the sign of the data but put no restriction on their size.

연구 동기 및 목표

• 비가환 보존이 아닌 비선형성 $ \lambda |u|^p $ 를 갖는 비선형 슈뢰딩거 방정식의 $ L^2 $-해에서 유한 시간 폭발의 존재성을 조사하는 것.
• 지역적으로 잘 정의된 해임에도 불구하고, $ L^2 $ 에서의 작은 초기 데이터가 $ L^2 $-노름 폭발로 이어질 수 있는지 여부를 규명하는 것.
• 임계 및 부분임계 영역에서 비가환 보존이 아닌 비선형성과 가환 보존 비선형성 간의 역학적 차이를 명확히 하는 것.
• 가환 보존 케이스와 유사하게 장거리 효과를 나타내는 것으로 기대되는 비가환 보존 비선형성이 실제로 장거리 효과를 나타내는지에 대한 부정적 답변을 제공하는 것.

제안 방법

• 저자들은 자유 전파자 $ U(t) = e^{it\Delta} $ 를 통해 NLS와 관련된 적분 방정식의 약한 해를 정의한다.
• 적절히 선택된 지수를 사용한 스트리카르츠 추정과 헬더 부등식을 활용하여 $ L^r_t L^\rho_x $ 공간에서 비선형 항을 제어한다.
• 핵심 단계로, 해의 비동차 부분을 다루기 위해 시간에 따라 변하는 근사 수열 $ \{u_{2,k}\} $ 을 도입하고 $ L^\infty_t L^2_x $ 에서 수렴성을 증명한다.
• 증명은 부분 적분과 근사 해가 진짜 해로 수렴하는 것에 기반하며, 이는 $ L^\infty_t L^2_x $ 와 $ L^r_t L^\rho_x $ 에서의 수렴성을 포함한다.
• 폭발은 모순에 기반하여 보여진다: 전역 존재성을 가정하면 초기 데이터와 $ \lambda $ 에 대한 부호 조건과 모순된다.
• 수렴성과 폭발 추정에 있어 핵심적인 역할을 하는 시간 가중 추정을 사용하며, 지수 $ \alpha = \frac{n}{4}\left(1 + \frac{4}{n} - p\right) > 0 $ 이다.

실험 결과

연구 질문

• RQ1 비가환 보존이 아닌 NLS에서 $ p \leq 1 + \frac{2}{n} $ 인 경우, 작은 $ L^2 $-초기 데이터가 $ L^2 $-노름 폭발로 이어질 수 있는가?
• RQ2 비가환 보존 비선형성 $ \lambda |u|^p $ 는 가환 보존 케이스 $ \lambda_0 |u|^{p-1}u $ 와 비교해 $ L^2 $-노름 진화에 어떤 영향을 미치는가?
• RQ3 비가환 보존 케이스에서 $ L^2 $-노름의 거동는 가환 보존 케이스에서 관찰되는 장거리 효과와 일치하는가?
• RQ4 폭발을 보장하는 초기 데이터 및 $ \lambda $ 에 대한 부호 조건은 무엇이며, 이 조건은 데이터 크기에 의존하는가?

주요 결과

• $ 1 < p \leq 1 + \frac{2}{n} $ 일 때, 초기 데이터 $ f \in L^2 $ 가 부호 조건 $ f_1 \in L^1(\mathbb{R}^n), \lambda_2 \int_{\mathbb{R}^n} f_1(x) dx > 0 $ 또는 $ f_2 \in L^1(\mathbb{R}^n), \lambda_1 \int_{\mathbb{R}^n} f_2(x) dx < 0 $ 를 만족하면, 해의 $ L^2 $-노름이 유한 시간 내에 폭발한다.
• 최대 존재 시간 $ T_m $ 는 유한하며, $ \lim_{t \to T_m^-} \|u(t)\|_{L^2} = +\infty $ 이다. 이는 $ \|f\|_{L^2} $ 가 얼마나 작은지에 관계없이 성립한다.
• 이 결과는 초기 데이터 크기에 대한 제약 없이 성립하며, 일반적으로 큰 데이터가 필요로 하는 폭발 결과와 대조된다.
• 폭발 메커니즘은 비가환 보존 비선형성에 의해 유도되며, 이는 $ L^2 $-노름이 보존되지 않는 비가환 보존 케이스와 대비된다.
• 수렴성과 폭발 추정에 있어 시간 가중 스트리카르츠 추정 $ \alpha > 0 $ 이 필수적이다.
• 결과는 비가환 보존 비선형성이 기대와는 달리 장거리 효과를 나타내지 않는다는 것을 보여준다.