[논문 리뷰] On the life span of the Schrödinger equation with sub-critical power nonlinearity

Hironobu Sasaki|ArXiv.org|2009. 07. 03.

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

한 줄 요약

이 논문은 소규모 초깃값 $ \varepsilon\varphi $ 를 갖는 1차원 비선형 슈뢰딩거 방정식에 대해, 임계력 이하의 거듭제곱 비선형성 $ \lambda|u|^{p-1}u $, $ 2 \leq p < 3 $ 에 대해 해의 수명 $ T(\varepsilon) $ 에 대한 날카운 하한을 확립한다. 특수한 함수 공간에서의 점근적 분석과 에너지 추정을 통해, $ \liminf_{\varepsilon \to 0} \varepsilon^{2(p-1)/(3-p)} T(\varepsilon) $ 가 $ p $, $ \mathrm{Im}\lambda $, 그리고 초깃값 $ \varphi $ 에 따라 정해지는 양의 상수보다 작지 않음을 증명하며, 이는 이전의 추정치를 향상시킨다.

ABSTRACT

We discuss the life span of the Cauchy problem for the one-dimensional Schrödinger equation with a single power nonlinearity $λ|u|^{p-1}u$ ($λ\in\mathbb{C}$, $2\le p&lt;3$) prescribed an initial data of the form $\varepsilonφ$. Here, $\varepsilon$ stands for the size of the data. It is not difficult to see that the life span $T(\varepsilon)$ is estimated by $C_0 \varepsilon^{-2(p-1)/(3-p)}$ from below, provided $\varepsilon$ is sufficiently small. In this paper, we consider a more precise estimate for $T(\varepsilon)$ and we prove that $\liminf_{\varepsilon o 0}\varepsilon^{2(p-1)/(3-p)}T(\varepsilon)$ is larger than some positive constant expressed only by $p$, $\mathrm{Im}λ$ and $φ$.

연구 동기 및 목표

• 1차원 비선형 슈뢰딩거 방정식의 해 수명 $ T(\varepsilon) $ 에 대한 기존 하한을 개선하기 위해.
• 특히 $ 2 \leq p < 3 $ 이고 $ \mathrm{Im}\lambda > 0 $ 인 경우, $ \varepsilon \to 0 $ 일 때 $ T(\varepsilon) $ 에 대한 날카운 점근적 추정을 수립하기 위해.
• 폭발 시간이 $ \varepsilon^{-2(p-1)/(3-p)} $ 보다 더 빠르게 감소하지 않으며, 계수 항이 0에서 멀리 떨어져 있음을 증명하기 위해.
• 특수한 함수 공간 $ X $ 에서 해의 행동을 분석하기 위해 점근적 근사 $ u_a(t,x) $ 와 오차 $ v = u_a - u $ 의 제어를 위해.

제안 방법

• 근사 해 $ u_a(t,x) = \varepsilon t^{-1/2} \exp(ix^2/2t) V(s_p(t), x/t) $ 를 구성하며, 여기서 $ V $ 는 초깃값 $ e^{-i\pi/4}\phi_+ $ 를 갖는 비선형 상미분방정식을 만족한다.
• 해의 정규성과 감쇠를 제어하기 위해 가중 $ L^2 $ 노름을 이용해 정의된 함수 공간 $ X $ 를 도입한다.
• 에너지 추정과 연산자 $ \mathcal{L} = i\partial_t + \frac{1}{2}\partial_x^2 $ 를 사용하여 오차 $ v = u_a - u $ 에 대한 사전 추정을 유도한다.
• 오차의 $ \|v(t)\|_X $ 를 위한 적분 방정식에 그론월의 부등식을 적용하며, $ u_a $ 에서의 감쇠 추정과 잔여항 $ R $ 을 활용한다.
• 조건 $ \sup_{0 \leq t \leq T} \|u_a(t) - u(t)\|_X \leq \varepsilon $ 를 도입하고, 이 조건이 $ \varepsilon/2 $ 로 수축됨을 증명함으로써 $ T_B(\varepsilon) $ 이후의 존재성을 확보한다.
• 비선형성이 유한 시간 내에 폭발을 이끌어내는 모델을 보장하기 위해, $ (1+x^2)\varphi \in \Sigma $ 과 $ \mathrm{Im}\lambda > 0 $ 이라는 가정에 의존한다.

실험 결과

연구 질문

• RQ1 표준 하한 $ T(\varepsilon) \gtrsim \varepsilon^{-2(p-1)/(3-p)} $ 이 계수 항의 양의 하한을 갖는 날카운 추정으로 개선될 수 있는가?
• RQ2 특히 $ 2 \leq p < 3 $ 이고 $ \mathrm{Im}\lambda > 0 $ 인 경우, 수명 $ T(\varepsilon) $ 는 $ \liminf_{\varepsilon \to 0} \varepsilon^{2(p-1)/(3-p)} T(\varepsilon) > 0 $ 을 만족하는가?
• RQ3 점근적 행동을 모델링한 $ u_a(t,x) $ 는 진짜 해의 존재 시간에 어떤 영향을 미치는가?
• RQ4 맞춤형 함수 공간에서 에너지 방법을 사용해, $ \varepsilon $ 에 대해 균일하게 진짜 해와 점근적 근사 간의 오차를 제어할 수 있는가?

주요 결과

• 해의 수명 $ T(\varepsilon) $ 는 임의의 $ B \in (0,A) $ 에 대해 $ \varepsilon^{2(p-1)/(3-p)} T(\varepsilon) \geq \left(\frac{(3-p)B}{2}\right)^{2/(3-p)} $ 를 만족한다. 여기서 $ A = \mathrm{Im}\lambda \cdot \sup_{\xi \in \mathbb{R}} |\widehat{\varphi}(\xi)|^{p-1} $ 이다.
• B 를 A 로 수렴시키면, 논문은 $ \liminf_{\varepsilon \to 0} \varepsilon^{2(p-1)/(3-p)} T(\varepsilon) \geq \left(\frac{(3-p)A}{2}\right)^{2/(3-p)} > 0 $ 를 도출하며, 이는 $ p $, $ \mathrm{Im}\lambda $, $ \varphi $ 에 따라 결정되는 양의 상수이다.
• 증명은 $ T(\varepsilon) \geq T_B(\varepsilon) = \left(\frac{(3-p)B}{2\varepsilon^{p-1}}\right)^{2/(3-p)} $ 를 확립하며, 이는 근사 $ u_a $ 가 특이점에 도달하는 시간이다.
• 오차 $ v = u_a - u $ 는 함수 공간 $ X $ 의 노름에서 그론월의 부등식을 통해 제어되며, $ \|v(t)\|_X \leq \varepsilon/2 $ 를 $ \|v\|_X \leq \varepsilon $ 라는 가정 하에 증명함으로써 $ T_B(\varepsilon) $ 이후의 존재성을 보장한다.
• 결과는 $ 2 \leq p < 3 $, $ \mathrm{Im}\lambda > 0 $, 그리고 $ (1+x^2)\varphi \in \Sigma $ 라는 조건 하에서 성립하며, 이는 초깃값의 충분한 감쇠와 정규성 보장을 한다.