[논문 리뷰] Continuous Dependence of Cauchy Problem For Nonlinear Schrödinger Equation in $H^{s}$

Wei Dai, Weihua Yang외 1명|arXiv (Cornell University)|2010. 09. 10.

Advanced Mathematical Physics Problems참고 문헌 16인용 수 3

한 줄 요약

이 논문은 $H^s(\r^N)$에서 비선형 슈뢰딩거 방정식의 해에 대한 연속적 의존성에 대해 $s > \text{max}\{1, N/2\}$ 조건 하에 $H^s$-하위임계성 및 임계 비선형성의 클래스 $\nc(\bar{\alpha},s)$ 조건을 만족할 때, 스트리카르츠 추정, 고정점 원리, 정밀화된 소볼레프 및 헬더 부등식을 사용하여 $H^s$에서 해 흐름의 국소 리프시츠 연속성을 증명한다. 비선형성이 $C^{[s]+2}$일 경우에 대해, 그렇지 않은 경우는 연속적 의존성을 확보하며, 이는 해 흐름에서 $\bar{\varepsilon} = 0$ 정규성에 관한 오랫동안 열려있던 문제를 해결한다.

ABSTRACT

We consider the Cauchy problem for the nonlinear Schrödinger equation $i \partial_{t}u+ Δu=λ_{0}u+λ_{1}|u|^αu$ in $\mathbb{R}^{N}$, where $λ_{0},λ_{1}\in\mathbb{C}$, in $H^s$ subcritical and critical case: $0

연구 동기 및 목표

• 비선형 슈뢰딩거 방정식의 해 흐름이 $H^s$에서 연속적인가를 $\bar{\varepsilon} = 0$ 조건, 즉 $H^s$-노름 자체에서 연속성 여부를 해결하는 것.
• 비선형성 $g_1(u) = \lambda_1 |u|^{\alpha}u$에 대해 $1 < s < N/2$ 또는 $s \geq N/2$ 조건에서 $H^s$에서 연속적 의존성에 대한 날카로운 조건을 설정하는 것.
• 기존의 $H^{s-\varepsilon}$에서의 연속적 의존성 결과를 스트리카르츠 및 소볼레프 공간에서의 추정치를 정밀화함으로써 전체 $H^s$-연속성으로 확장하는 것.
• 임계 경우 $\alpha = 4/(N-2s)$를 포함하여 클래스 $\nc(\alpha, s)$ 하에서 초기값 문제에 대해 $H^s$에서 연속적 의존성에 대한 완전한 증명을 제공하는 것.
• 해의 초기 데이터에 대한 해 흐름의 국소 리프시츠 의존성에 있어 고차 정규성($C^{[s]+2}$)의 역할을 명확히 하는 것.

제안 방법

• 비선형 슈뢰딩거 방정식 $i\partial_t u + \Delta u = \lambda_0 u + \lambda_1 |u|^\alpha u$의 초기값 문제를 $\rr^N$에서 설정하며, 초기 데이터는 $H^s(\rr^N)$에 속하며, $s > \text{max}\{1, N/2\}$ 조건을 만족한다.
• 두하멜의 공식을 적용하여 편미분방정식을 적분방정식으로 변환한다: $u(t) = e^{it\Delta}\phi - i\int_0^t e^{i(t-\tau)\Delta} g(u(\tau)) d\tau$.
• 허용 가능한 쌍 $(q,r)$에 대해 공간 $L^q((-T,T), B^{s}_{r,2}(\rr^N))$에서 스트리카르츠 추정을 사용하여 해 노름을 제어한다.
• 정밀화된 소볼레프 및 헬더 부등식을 활용하여 차이 $\|g_1(u_n) - g_1(u)\|_{L^1(I, H^s)}$를 추정하며, 이는 클래스 $\nc(\alpha, s)$와 차수 $[s]+1$ 이하의 도함수 행동에 기반한다.
• 스카우더 유형 추정 및 보간을 적용하여 고차 도함수 차이 $g_1(u_n) - g_1(u)$의 $L^2$-노름을 제어하며, 특히 $\|\Delta_y \partial_x^{[s]}(g_1(u_n) - g_1(u))\|_{L^2}$를 다룬다.
• 해의 초기값 차이 $\|\varphi_n - \varphi\|_{H^s}$에 의존하는 추정치를 사용하여 $L^\infty((-T,T), H^s)$의 볼 안에서 고정점 원리를 적용하여, $n \to \infty$일 때 $\|u_n - u\|_{L^\infty(I, H^s)} \to 0$임을 보여주며, 이는 작은 $T$에 대해 성립한다.

실험 결과

연구 질문

• RQ1 비선형 슈뢰딩거 방정식의 해 흐름이 $H^s(\rr^N)$에서 $s > \text{max}\{1, N/2\}$ 조건 하에 $H^s$-노름 수렴을 보일 수 있는가, 즉 $H^{s-\varepsilon}$가 아닌 $H^s$-노름 자체에서 연속성인가?
• RQ2 비선형성 $g_1(u) = \lambda_1 |u|^\alpha u$에 대해 $H^s$에서 연속적 의존성을 보장하는 정규성 조건은 무엇인가?
• RQ3 비선형성이 $C^{[s]+2}$일 경우 해 흐름이 $H^s$에서 국소 리프시츠 연속적인가? 이는 $H^{s-\varepsilon}$-연속성 경우와 어떻게 비교되는가?
• RQ4 비선형성이 $C^{[s]+2}$가 아닐 경우, 클래스 $\nc(\alpha, s)$ 하에서 차이 $\|g_1(u_n) - g_1(u)\|_{L^1(I, H^s)}$의 추정치는 어떻게 행동하는가?
• RQ5 국소 결과를 반복함으로써, 임의의 컴팩트 시간 간격에서 $L^\infty((-T,T), H^s)$에서의 해 수렴을 균일하게 확립할 수 있는가?

주요 결과

• 해 흐름은 $H^s(\rr^N)$에서 $s > \text{max}\{1, N/2\}$ 조건 하에 연속적이며, 수렴이 $L^\infty((-T,T), H^s)$에서 이루어지며, 표준 연속적 의존성 결과에서 $\varepsilon = 0$ 문제를 해결한다.
• 비선형성 $g_1$이 $C^{[s]+2}(\mathbb{C}, \mathbb{C})$에 속할 경우, 해 흐름은 $H^s(\rr^N)$에서 $L^\infty((-T,T), H^s(\rr^N))$로의 국소 리프시츠 연속적이다.
• 일반적인 $g_1$이 클래스 $\nc(\alpha, s)$에 속할 경우, 비선형성이 정의 1.1의 도함수 유계 조건을 만족할 경우, $C^{[s]+2}$ 정규성이 없더라도 $H^s$에서 해 흐름의 연속적 의존성이 성립한다.
• 핵심 추정치 $\|g_1(u_n) - g_1(u)\|_{L^1(I, H^s)} \leq \varepsilon_n + CT\|u_n - u\|_{L^\infty(I, H^s)}$는 $\varepsilon_n \to 0$를 만족하며, 이는 충분히 작은 $T$를 선택하면 수렴을 암시한다.
• 증명은 차이 $\Delta_y \partial_x^{[s]}(g_1(u_n) - g_1(u))$를 여섯 개의 항($H_1$에서 $H_6$)으로 정밀하게 분해하고, 각 항을 헬더 부등식, 소볼레프 포함 및 클래스 $\nc(\alpha, s)$ 조건을 통해 추정한다.
• 결과는 임의의 컴팩트 부분구간에 대해 반복을 통해 확장되며, 이는 $H^s$에서 해 흐름의 전역 연속적 의존성을 확인한다.