[논문 리뷰] Necessary conditions and sufficient conditions for global existence in the nonlinear Schrödinger equation

Pascal Bégout|arXiv (Cornell University)|2012. 07. 09.

Advanced Mathematical Physics Problems참고 문헌 20인용 수 22

한 줄 요약

이 논문은 초임계 비선형성($α > 4/N$)을 가진 비선형 슈뢰딩거 방정식의 경우, 당연한 경우($λ > 0$)에서 해의 전역 존재에 대한 명시적인 필요충분조건을 수립한다. 두 개의 임계 함수 $γ_*$와 $r_*$를 도입하여 $γ_* < r_*$임을 고려할 때, $ \|\varphi\|_{L^2} \leq \gamma_*(\|\nabla\varphi\|_{L^2})$이면 해가 전역적으로 유계임을 증명하고, $ \|\nabla\varphi\|_{L^2} > r_*(\|\varphi\|_{L^2})$이면 유한 시간 내에 폭발함을 보이며, 이는 임계 경우 $α = 4/N$에서 Weiss의 정밀 조건을 복원한다. 결과적으로 기존의 폭발 기준을 향상시키고, 소규모 데이터 영역을 초월하여 전역 존재 조건을 확장한다.

ABSTRACT

In this paper, we consider the nonlinear Schrödinger equation with the super critical power of nonlinearity in the attractive case. We give a sufficient condition and a necessary condition to obtain global or blowing up solutions. These conditions coincide in the critical case, thereby extending the results of Weinstein. Furthermore, we improve a blow-up condition.

연구 동기 및 목표

• 초임계 영역($α > 4/N$)으로 Weiss의 결과($α = 4/N$)에 해당하는 정밀한 전역 존재 조건을 확장하는 것.
• 전역 존재 또는 유한 시간 폭발을 보장하는 $L^2$ 및 $H^1$ 노름에 기반한 명시적이고 계산 가능한 조건을 도출하는 것.
• 에너지가 비음수인 경우, 즉 에너지가 0인 경우에도 비음수 에너지를 가진 비자명한 해가 유한 시간 내에 폭발함을 보여 기존의 폭발 기준을 향상시키는 것.
• 초임계 비선형성에도 불구하고, 전역 해를 유도하는 초기 자료 집합이 $H^1$에서 유계가 아님을 보여주는 것.

제안 방법

• 최적 상수 $C_*$를 가진 가가르도-니레베르그 유형 부등식을 사용한 변분적 접근을 통해 전역 존재를 위한 충분 조건을 유도한다.
• 가장 최적 상수와 관련된 타원 방정식의 기저 상태 해를 바탕으로 유도된 두 개의 임계 함수 $\gamma_*$와 $r_*$를 도입한다.
• 질량과 에너지의 보존 법칙을 적용하여 $\|\nabla u(t)\|_{L^2}$를 포함하는 함수적 부등식을 통해 해의 $H^1$ 노름을 유계로 제한한다.
• 스케일링 추론과 사영 연산자 $\mathcal{P}$를 통한 초기 자료 $\varphi_{a,b}$의 가족 구축을 통해 $b > r_*(a)$일 때 폭발을 증명한다.
• 함수 $f(x) = a - x + b x^p$의 양성에 기반한 모순 추론을 통해 $\|\nabla u(t)\|_{L^2}$가 유계로 유지됨을 보이며, 이는 $T^* = \infty$임을 의미한다.
• 타원 방정식 $-\Delta R + \omega R = \lambda |R|^\alpha R$의 기저 상태 해 $R$의 존재성과 성질을 이용하여 폭발 초기 자료를 구성한다.

실험 결과

연구 질문

• RQ1 초임계 비선형 슈뢰딩거 방정식($α > 4/N$)에 대해, 임계 경우($α = 4/N$)에서 Weiss의 결과와 유사한 정밀한 전역 존재 조건을 설정할 수 있는가?
• RQ2 초기 자료 $\varphi$에 대한 $\|\varphi\|_{L^2}$와 $\|\nabla\varphi\|_{L^2}$에 기반한 명시적이고 계산 가능한 조건은 무엇이며, 이는 전역 존재 또는 유한 시간 폭발을 보장하는가?
• RQ3 에너지 기반의 폭발 기준이 비음수 에너지, 특히 에너지가 0인 경우에도 초임계 영역으로 확장되는가?
• RQ4 초기 자료 공간의 기하학적 성질($H^1 \cap L^2(|x|^2 dx)$)은 초임계 영역에서 해의 전역 행동에 어떤 영향을 미치는가?

주요 결과

• 해는 $\|\varphi\|_{L^2} \leq \gamma_*(\|\nabla\varphi\|_{L^2})$이면 전역적으로 유계이며, 이때 $\gamma_*$는 가가르도-니레베르그 부등식의 최적 상수를 통해 명시적으로 정의된다.
• 해는 $\|\nabla\varphi\|_{L^2} > r_*(\|\varphi\|_{L^2})$이면 $t>0$ 및 $t<0$ 모두에서 유한 시간 내에 폭발하며, 이때 $r_*$ 역시 명시적으로 정의된다.
• $\mathcal{A} = \{\varphi \in H^1(\mathbb{R}^N) \mid \|\varphi\|_{L^2} \leq \gamma_*(\|\nabla\varphi\|_{L^2})\}$는 $H^1$에서 유계가 아니며, 이는 큰 초기 자료에 대해서도 전역 해가 존재함을 나타낸다.
• 폭발 조건이 향상됨: 비자명한 해 중에서 비음수 에너지를 가진 해($E(\varphi) \leq 0$)는 초임계 조건 하에서 유한 시간 내에 폭발하며, $E(\varphi) = 0$인 경우에도 마찬가지다.
• 결과는 $α \searrow 4/N$일 때 Weiss의 정밀 조건을 임계 경우 $α = 4/N$에서 복원하며, $\gamma_*$와 $r_*$가 동일한 임계값으로 수렴함을 보여준다.
• 모든 $(a,b) \in (0,\infty)\times(0,\infty)$에 대해 $a > \rho_*(b)$이면, $\|\varphi_{a,b}\|_{L^2} = a$, $\|\nabla\varphi_{a,b}\|_{L^2} = b$를 만족하는 초기 자료 $\varphi_{a,b}$가 존재하며, 이에 대한 해는 유한 시간 내에 폭발한다.