[논문 리뷰] Non-existence of solutions for the periodic cubic NLS below $L^2$

Zihua Guo, Tadahiro Oh|arXiv (Cornell University)|2015. 10. 21.

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

한 줄 요약

이 논문은 $ s \in (-1/8, 0) $ 인 경우, $ H^s(\mathbb{T}) $ 공간에서 음의 소볼레프 공간 내에서 주기적 입자형 비선형 슈뢰딩거 방정식(NLS)의 분포해가 존재하지 않음을 증명한다. 이는 초기 데이터가 $ H^s \setminus L^2 $ 에도 불구하고 성립한다. 증명은 짧은 시간 동안의 푸리에 제한 노름 방법을 활용한 재정렬된(Wick-ordered) NLS에 대한 사전 경계를 기반으로 하며, 게이지 변환에 의한 빠른 진동을 통해 모순을 이끌어내어, 자연스러운 수렴 조건 하에 이러한 약한 해가 존재할 수 없음을 보여준다.

ABSTRACT

We prove non-existence of solutions for the cubic nonlinear Schrödinger equation (NLS) on the circle if initial data belong to $H^s(\mathbb{T}) \setminus L^2(\mathbb{T})$ for some $s \in (-\frac18, 0)$. The proof is based on establishing an a priori bound on solutions to a renormalized cubic NLS in negative Sobolev spaces via the short time Fourier restriction norm method.

연구 동기 및 목표

• 주기적 입자형 NLS의 음의 소볼레프 공간에서 $ L^2 $ 이하에서 약한 해의 존재하지 않음을 확립하는 것.
• 표준적인 잘 정의된 문제 성질이 실패하는 $ H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $ 공간에서 입자형 NLS의 악재정의 문제를 다루는 것, $ s \in (-1/8, 0) $.
• 이전 결과보다 더 강력한 악재정의 문제의 형태를 제공하기 위해 자연스러운 근사 조건 하에서 약한 해가 존재하지 않음을 규명하는 것.
• 빠른 진동을 가진 게이지 변환을 통한 모순을 통해 $ s < 0 $ 인 $ H^s $ 공간에서 해의 사상이 약한 의미로도 연속적이지 않음을 보여주는 것.

제안 방법

• 짧은 시간 동안의 푸리에 제한 노름 방법을 사용하여 음의 소볼레프 공간에서 재정렬된(Wick-ordered) 입자형 NLS의 해에 대한 사전 경계를 확립하는 것.
• 빠른 진동을 유도하기 위해 게이지 변환 $ v_n(t) = e^{-2it \fint |u_{0,n}|^2 dx} u_n(t) $ 를 적용하는 것.
• 부드러운 해 $ u_n \to u $ 가 $ C([-T,T]; H^s) $ 에서 수렴한다는 조건을 이용하여, 진동 적분에 대한 리만-레베그 보조정리를 통해 모순을 이끌어내는 것.
• 균일한 경계와 주파수 절단 추정을 통해 변환된 수열 $ \{v_n\} $ 이 $ C([-T,T]; H^s) $ 에서 예비 컴actness를 증명하는 것.
• 빠른 진동으로 인해 $ v_n \to 0 $ 이 되며, 이는 $ \mathcal{D}' $ 에서 성립하는 반면, 부분수열이 $ v \in C([-T,T]; H^s) $ 로 수렴하므로 $ v \equiv 0 $ 이 되도록 하는 사실을 활용하는 것.
• 결국 $ u_0 = v(0) = 0 $ 라는 모순을 이끌어내어, 초기 조건 $ u_0 \in H^s \setminus L^2 $ 라는 가정과 배치되는 결과를 도출하는 것.

실험 결과

연구 질문

• RQ1 주기적 입자형 NLS가 $ H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $ 에서 $ s \in (-1/8, 0) $ 인 경우 약한 해가 존재할 수 있는가?
• RQ2 해의 사상이 $ s < 0 $ 인 $ H^s $ 공간에서 약한 의미로도 연속적이지 않은가?
• RQ3 음의 소볼레프 공간에서 사전 추정이 자연스러운 근사 조건 하에서 약한 해의 존재를 막을 수 있는가?
• RQ4 게이지 변환에 의한 빠른 진동이 $ L^2 $ 이하에서 악재정의 문제를 드러내는 데 어떤 역할을 하는가?
• RQ5 해의 사상이 연속적이지 않음이, 지정된 음의 소볼레프 공간에서 어떤 약한 해의 존재성까지도 영향을 미치는가?

주요 결과

• 주어진 수렴 조건 하에, 초기 조건 $ u_0 \in H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $ 이고 $ s \in (-1/8, 0) $ 인 경우, 입자형 NLS(1.1)의 분포해 $ u \in C([-T,T]; H^s(\mathbb{T})) $ 는 존재하지 않는다.
• 해의 사상 $ u_0 \mapsto u $ 는 $ s < 0 $ 인 경우, 약한 의미로도 $ H^s $ 에서 연속적이지 않다. 이는 이러한 해가 존재하지 않기 때문이다.
• 재정렬된(Wick-ordered) NLS에 대한 $ F^{s,\alpha}(T) $ 공간에서의 사전 경계는 해에 대한 균일한 제어를 보장하며, 이는 모순 증명을 가능하게 한다.
• 게이지 변환 $ v_n(t) = e^{-2it \fint |u_{0,n}|^2 dx} u_n(t) $ 는 빠른 진동을 유도하여 $ v_n \to 0 $ 이 되며, 이는 비제로 극한의 존재와 배치되는 모순을 유도한다.
• $ u_n \to u $ 가 $ C([-T,T]; H^s) $ 에서 수렴하고 $ u_n $ 이 부드럽다는 가정 하에 부분수열 $ v_{n_k} \to v $ 가 $ C([-T,T]; H^s) $ 에서 수렴하지만, $ v \equiv 0 $ 이 되며, 이는 $ u_0 = 0 $ 이라는 결과를 낳고, 이는 초기 조건의 가정과 모순된다.
• 이 결과는 이전의 결과보다 더 강력한 악재정의 문제의 형태를 제공하며, 부드러운 해로의 근사가 이루어진 경우조차도 약한 해의 존재를 배제한다.