[논문 리뷰] A priori bounds and weak solutions for the nonlinear Schrödinger equation in Sobolev spaces of negative order

Michael Christ, J. Colliander외 1명|ArXiv.org|2006. 12. 15.

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

한 줄 요약

이 논문은 $s > -\frac{1}{12}$ 인 경우 1차원 세제곱 비선형 슈뢰딩거 방정식에 대해 음의 순서 소볼레프 공간 $H^s$ 에서 사전 경계를 확립한다. 이는 초기 자료 크기와 관계없이 짧은 시간 동안 부드러운 해의 $H^s$ 노름이 균일하게 유계임을 증명한다. 또한 에너지 증분 공식에서의 상쇄 효과를 활용한 새로운 다중선형 푸리에 분석 기법을 통해, 모든 초기 자료가 $H^s$ 에 속할 경우 $C^0([0,T], H^s) \cap Y^{s,b}$ 에서 약한 해를 구성한다.

ABSTRACT

Solutions to the Cauchy problem for the one-dimensional cubic nonlinear Schrödinger equation on the real line are studied in Sobolev spaces $H^s$, for $s$ negative but close to 0. For smooth solutions there is an {\em a priori} upper bound for the $H^s$ norm of the solution, in terms of the $H^s$ norm of the datum, for arbitrarily large data, for sufficiently short time. Weak solutions are constructed for arbitrary initial data in $H^s$.

연구 동기 및 목표

• 초기 자료 크기에 관계없이 $s < 0$ 인 경우 $H^s$ 에서 잘 정의되지 않는 것으로 알려진 1차원 세제곱 비선형 슈뢰딩거 방정식에 대해 $s > -\frac{1}{12}$ 인 경우 부드러운 해에 대한 사전 $H^s$ 경계를 확립하는 것.
• $s < 0$ 인 경우 $H^s$ 에서 균일 연속성 실패에도 불구하고 $s > -\frac{1}{12}$ 인 경우 모든 초기 자료가 $H^s$ 에 속할 때 $C^0([0,T], H^s) \cap Y^{s,b}$ 에서 약한 해를 구성하는 것.
• $s < -\frac{1}{2}$ 인 경우 균일 연속성 실패에도 불구하고 $s > -\frac{1}{12}$ 인 경우 해 사상이 $C^0(H^s)$ 에서 0에서 연속임을 보이는 것.
• 완전 통합성에 의존하지 않고도 음의 순서 소볼레프 공간에 대한 약한 해의 프레임워크를 제공하여, 비통합 일반화에 적용 가능한 것

제안 방법

• 선형 차분에서 나타나지 않는 상쇄 효과를 활용하여, $u$ 의 시공간 푸리에 변환에 대한 다중선형 표현으로 $\|u(t)\|_{H^s}^2 - \|u_0\|_{H^s}^2$ 를 재작성하는 것.
• $|u|^2u$ 의 비선형 항을 절대 수렴하는 적분 표현을 통해 $X^{r,b}$ 와 $Y^{s,b}$ 함수 공간을 이용해 제어하는 것.
• $s' \in (s,0)$ 인 경우 $\varphi(\xi) \leq \langle\xi\rangle^{2s'}$ 를 만족하는 주파수 의존 가중 함수 $\varphi(\xi)$ 를 도입하여 고주파수 제어를 국소화하고 등연속성을 확립하는 것.
• $u_0 \in H^s$ 에 수렴하는 초기 자료를 갖는 등연속 해의 가족을 사용한 극한 추론을 적용하여, 부분수열 수렴을 통해 $C^0(H^s)$ 에서의 약한 해를 도출하는 것.
• $s > -\frac{1}{12}$ 인 경우 $|\Phi_\varphi(t,u) - \Phi_\varphi(0,u)| \leq C\|u\|_{Y^{s,b}}^4$ 를 확립하여 고주파수 $H^s$ 노름을 균일하게 제어하는 것.
• $b > \frac{1}{2}$ 인 경우 $Y^{s,b}$ 가 $C^0(H^s)$ 에 연속적으로 통합되어 시간에 따른 해의 연속성을 보장하는 것.

실험 결과

연구 질문

• RQ1 $s < 0$ 인 경우 $H^s$ 에서 잘 정의되지 않음에도 불구하고 $s > -\frac{1}{12}$ 인 경우 1차원 세제곱 비선형 슈뢰딩거 방정식의 해에 대한 $H^s$ 노름에 사전 경계를 확립할 수 있는가?
• RQ2 $s < 0$ 인 경우 $H^s$ 에서 해 사상이 연속성이 실패하더라도 $s > -\frac{1}{12}$ 인 경우 모든 초기 자료가 $H^s$ 에 속할 때 $C^0([0,T], H^s) \cap Y^{s,b}$ 에서 약한 해를 구성할 수 있는가?
• RQ3 $s < -\frac{1}{2}$ 인 경우 균일 연속성 실패에도 불구하고 $s > -\frac{1}{12}$ 인 경우 해 연산자가 $C^0(H^s)$ 에서 0에서 연속인가?
• RQ4 $Y^{s,b}$ 공간 프레임워크를 사용하여 $|u|^2u$ 를 푸리에 공간에서 절대 수렴 적분을 통해 해석할 수 있는 자연스러운 약한 해의 개념을 정의할 수 있는가?

주요 결과

• $s > -\frac{1}{12}$ 인 경우, 짧은 시간 간격 $[0,T]$ 동안 부드러운 해의 $H^s$ 노름이 균일하게 유계이며, $T$ 는 초기 자료 크기의 음의 거듭제곱 비례로 스케일링된다.
• $r < s$ 이고 $s > -\frac{1}{12}$ 인 경우 $|\|u(t)\|_{H^s}^2 - \|u_0\|_{H^s}^2| \leq C\|u\|_{X^{r,b}}^4$ 라는 경계가 성립하며, 다중선형 푸리에 표현에서의 상쇄 효과로 인해 해의 차이에 대한 연속성 추정이 불가능하다.
• $s > -\frac{1}{12}$ 인 경우 모든 초기 자료가 $H^s$ 에 속할 때 $C^0([0,T], H^s) \cap Y^{s,b}$ 에서 약한 해가 존재하며, 근사와 부분수열 수렴을 통해 구성된다.
• 고주파수 $H^s$ 노름은 균일하게 제어된다: 임의의 $\varepsilon > 0$ 에 대해 $\delta > 0$ 과 $N < \infty$ 가 존재하여, $\|v_0 - u_0\|_{H^s} < \delta$ 이면 $|\xi| \geq N$ 에서 제한된 $\|v(t)\|_{H^s}^2$ 가 모든 $t \in [0,T]$ 에 대해 $\varepsilon$ 이하가 되며, 이는 등연속성을 보장한다.
• $s > -\frac{1}{12}$ 인 경우 해 사상은 $C^0(H^s)$ 에서 0에서 연속이지만, 약한 해 구성에 대해 연속성 또는 유일성은 확립되지 않는다.
• 결과는 $H^0$ 노름 보존이 유지되는 한 1차원 세제곱 NLS 의 비통합 벡터값 일반화로 확장된다.