[논문 리뷰] On the Cauchy- and periodic boundary value problem for a certain class of derivative nonlinear Schroedinger equations

Axel Gruenrock|ArXiv.org|2000. 06. 26.

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

한 줄 요약

이 논문은 복소수 켤레 파동 함수의 공간 도함수를 포함하는 거듭제곱형 비선형성을 가진 파생 비선형 슈뢰딩거 방정식의 초기값 문제 및 주기적 경계값 문제에 대해 국소 적으로 잘 정의됨을 확립한다. Fourier 제한 노름 방법을 사용하여 $X^{/pm}_{s,b}$ 및 $Y_s$ 공간을 활용해, 정규성 $s > s_c = \frac{n}{2} - \frac{1}{m-1}$ 에서 잘 정의됨을 증명한다. 특히 1차원에서 이차 비선형성($m=2$, $n=1$)에 대해 $L^2$에서의 전역 잘 정의됨을 보인다.

ABSTRACT

The Cauchy- and periodic boundary value problem for the nonlinear Schroedinger equations in $n$ space dimensions [u_t - iΔu = ( abla \bar{u})^β, |β|=m \ge 2, u(0)=u_0 \in H^{s+1}_x] is shown to be locally well posed for $s > s_c := \frac{n}{2} - \frac{1}{m-1}$, $s \ge 0$. In the special case of space dimension $n=1$ a global $L^2$-result is obtained for NLS with the nonlinearity $N(u)= \partial_x (\bar{u} ^2)$. The proof uses the Fourier restriction norm method.

연구 동기 및 목표

• 파생 비선형 슈뢰딩거 방정식에 대해 비선형성 $ (\nabla \bar{u})^\beta $, $ |\beta| = m \geq 2 $ 를 가진 초기값 문제 및 주기적 경계값 문제의 국소 잘 정의됨을 확립하기 위해.
• 해당 문제의 국소 잘 정의됨에 대한 정규성 임계값 $ s_c = \frac{n}{2} - \frac{1}{m-1} $ 이 $ H^{s+1}_x $ 또는 $ H^s_x $ 공간에서 정확히 무엇인지 규명하기 위해.
• 비선형성 $ \partial_j(\bar{u}^m) $ 로 확장하여, 동일한 정규성 임계값이 적용됨을 보여주기 위해.
• 특수한 경우인 $ m=2 $, $ n=1 $ 에서 $ \|u(t)\|_{L^2} $ 의 보존을 이용해 $ L^2 $ 에서의 전역 잘 정의됨을 증명하기 위해.

제안 방법

• 공간과 시간의 푸리에 변환을 통한 정의된 $ X^{\pm}_{s,b} $ 공간을 사용한 Fourier 제한 노름 방법을 적용한다. 이 노름은 $ \langle \xi \rangle^s \langle \tau \pm |\xi|^2 \rangle^b $ 를 포함한다.
• 비선형 항을 제어하기 위해 보조 공간 $ Y_s $ 를 도입한다. 이 공간의 노름은 $ \| \langle \xi \rangle^s \langle \tau + |\xi|^2 \rangle^{-1} \mathcal{F}f \|_{L^2_\xi(L^1_\tau)} $ 로 정의된다.
• 시간 간격 $ I $ 에서의 제한 노름 $ X^{\pm}_{s,b}(I) $ 을 사용하여 해를 시간에 국한시킨다.
• 비선형 항 $ \partial_j(\bar{u}^m) $ 를 제어하기 위해 $ X^{\pm}_{s,b} $ 및 $ Y_s $ 공간에서의 다중선형 추정을 사용한다. 이는 보간법과 주파수 국소화에 의존한다.
• 특이성을 다루기 위해 $ \epsilon $-정규화 기법을 적용한다. 이는 $ \| \langle \tau + |\xi|^2 \rangle^{\epsilon} F_i \|_{L^2_{\xi\tau}} $ 를 사용한다.
• 1차원에서 $ \partial_x: \dot{H}^1_x \to L^2_x $ 의 동형사상 성질을 이용하여, $ u \in L^2 $ 에서의 $ L^2 $-전역 결과를 $ u \in \dot{H}^1_x $ 로 이전시킨다.

실험 결과

연구 질문

• RQ1 파생 비선형 슈뢰딩거 방정식 $ u_t - i\Delta u = (\nabla \bar{u})^\beta $ 에 대해 $ |\beta| = m \geq 2 $ 일 때, 국소 잘 정의됨에 대한 정규성 임계값 $ s $ 는 무엇인가?
• RQ2 1차원에서 이차 비선형성 $ \partial_x(\bar{u}^2) $ 에 대해 $ L^2 $ 에서의 전역 잘 정의됨을 달성할 수 있는가?
• RQ3 Fourier 제한 노름 방법은 차수 $ m \geq 2 $ 의 파생 비선형성을 다룰 수 있도록 어떻게 확장되는가?
• RQ4 $ Y_s $ 공간은 주기적 및 비주기적 설정에서 비선형 항을 제어하는 데 어떤 역할을 하는가?
• RQ5 정규성 임계값 $ s > \frac{n}{2} - \frac{1}{m-1} $ 이 최적인지 확인되며, 척도 분석을 통해 이것이 확인되는가?

주요 결과

• 비선형성 $ \partial_j(\bar{u}^m) $ 를 가진 방정식 $ u_t - i\Delta u = \partial_j(\bar{u}^m) $ 에 대해, $ X^{+}_{s,b}([-T,T]) $ 에서 $ s > s_c = \frac{n}{2} - \frac{1}{m-1} $, $ s \geq 0 $ 일 때 국소 잘 정의됨이 성립하며, $ T = T(\|u_0\|_{H^s_x}) > 0 $ 이다.
• 특수한 경우 $ m=2 $, $ n=1 $ 에서는 $ \|u(t)\|_{L^2_x} $ 의 보존으로 인해 해는 $ C^0(\mathbb{R}, L^2_x) $ 에서 전역 잘 정의됨이며, $ s=0 $ 일 때에도 성립한다.
• 해의 사상 $ u_0 \mapsto u $ 는 $ H^s_x $ 에서 $ X^{+}_{s,b}([-T',T']) $ 로의 국소 리프시츠 연속성이다. 여기서 $ T' < T $ 이다.
• $ s \in (s_c, \frac{n}{2}) $ 에 대해 $ Y_s $ 노름 추정 $ \| \prod_{i=1}^m v_i \|_{Y_{s+1}} \leq c T^\theta \prod_{i=1}^m \|v_i\|_{X^{-}_{s,1/2}} $ 이 성립하며, $ n=1 $ 이고 $ m \in \{3,4\} $ 일 때 $ s \leq \frac{1}{3} $ 이다.
• 다중선형 추정은 주파수 분해와 코시-슈와르츠 부등식을 사용하여 증명되며, 부등식 $ \langle \xi \rangle^2 \leq \langle \tau + |\xi|^2 \rangle + \sum_i \langle \tau_i - |\xi_i|^2 \rangle $ 를 활용한다.
• 척도 분석을 통해 $ \|u_\lambda^0\|_{\dot{H}^{s_c}_x} $ 가 척도 변환에 대해 불변임을 보여, $ s_c $ 가 임계 임계값임을 확인함으로써 결과가 최적임을 입증한다.