[논문 리뷰] Global well-posedness of the periodic cubic fourth order NLS in negative Sobolev spaces

Tadahiro Oh, Yuzhao Wang|arXiv (Cornell University)|2017. 07. 07.

Advanced Mathematical Physics Problems참고 문헌 23인용 수 8

한 줄 요약

이 논문은 $H^s(\mathbb{T})$에서 $s > -\frac{1}{3}$인 음의 소볼레프 공간에서 주기적인 세제곱형 제4형 비선형 슈뢰딩거 방정식(4NLS)에 대해 전역 적으로 잘 정의되고 강화된 유일성을 확립한다. 이는 $H^s$-에너지 기능에 대해 무한 번의 정규형 축소를 적용하여 두 해의 차이를 제어하기 위해 새로운 방법을 사용한다. 핵심 기여는 $s > -\frac{1}{3}$ 조건 이하에서도 증가하는 고차항의 합산 가능성을 보장하는 다중선형 전개를 통한 정교한 에너지 추정이다.

ABSTRACT

We consider the Cauchy problem for the cubic fourth order nonlinear Schrödinger equation (4NLS) on the circle. In particular, we prove global well-posedness of the renormalized 4NLS in negative Sobolev spaces $H^s(\mathbb{T})$, $s > -\frac{1}{3}$, with enhanced uniqueness. The proof consists of two separate arguments. (i) We first prove global existence in $H^s(\mathbb{T})$, $s > -\frac{9}{20}$, via the short-time Fourier restriction norm method. By following the argument in Guo-Oh for the cubic NLS, this also leads to non-existence of solutions for the (non-renormalized) 4NLS in negative Sobolev spaces. (ii) We then prove enhanced uniqueness in $H^s(\mathbb{T})$, $s > -\frac{1}{3}$, by establishing an energy estimate for the difference of two solutions with the same initial condition. For this purpose, we perform an infinite iteration of normal form reductions on the $H^s$-energy functional, allowing us to introduce an infinite sequence of correction terms to the $H^s$-energy functional in the spirit of the $I$-method. In fact, the main novelty of this paper is this reduction of the $H^s$-energy functionals (for a single solution and for the difference of two solutions with the same initial condition) to sums of infinite series of multilinear terms of increasing degrees.

연구 동기 및 목표

• 스케일링 임계 정규화 $s = -\frac{3}{2}$ 이하의 음의 소볼레프 공간에서 제4형 비선형 슈뢰딩거 방정식의 잘 정의성과 유일성 문제를 해결하기 위해.
• 음의 소볼레프 공간에서 표준적인 스케일링 힌트가 실패하는 것을 극복하기 위해 4NLS의 재정의된 형태를 도입하기 위해.
• 표준 유일성의 실패가 $s < 0$에서 발생하는 상황에서조차도 $H^s(\mathbb{T})$에서 $s > -\frac{1}{3}$인 해에 대해 강화된 유일성을 확립하기 위해.
• 해의 차이에 대한 에너지 추정을 위한 새로운 방법을 개발하기 위해, $H^s$-에너지 기능을 반복적으로 다항형 항들의 무한 급수로 분해하는 것.

제안 방법

• 단기 프ourier 제한 노름 방법을 적용하여 $s > -\frac{9}{20}$에서 전역 존재성을 증명하고, 이전 결과를 낮은 정규화로 확장하기 위해.
• 원래 방정식이 음의 소볼레프 공간에서 잘 정의되지 않는 상황에서 동역학을 안정화하기 위해 4NLS의 재정의된 형태를 도입하기 위해.
• $H^s$-에너지 기능에 대해 무한 번의 정규형 축소를 수행하여 이를 증가하는 차수를 가진 다항형 항들의 무한 합으로 분해하기 위해.
• 주파수 상호작용의 트리 기반 분해와 철저한 $\ell^2$-유형 추정을 사용하여 임의의 차수의 다항형 항에 대한 추정을 확립하기 위해.
• 두 해의 에너지 차이의 이중차구조를 활용하여 $u - v$의 두 요소를 추출함으로써 다항형 추정을 통한 제어를 가능하게 하기 위해.
• 시간 국소화와 이중 분할을 통한 주파수 국소화를 조합하여 고주파 성분의 에너지 증가를 제어하기 위해.

실험 결과

연구 질문

• RQ1 스케일링 임계 정규화 $s = -\frac{3}{2}$ 이하의 음의 소볼레프 공간 $H^s(\mathbb{T})$에서 제4형 비선형 슈뢰딩거 방정식이 $s > -\frac{1}{3}$에서 전역적으로 잘 정의될 수 있는가, $s < 0$에서의 잘 정의되지 않는 성질에도 불구하고?
• RQ2 표준 유일성이 실패하는 상황에서조차도 $H^s(\mathbb{T})$에서 $s > -\frac{1}{3}$인 4NLS에 대해 강화된 유일성이 가능할 수 있는가?
• RQ3 $H^s$-에너지 기능이 체계적으로 다항형 항들의 무한 급수로 분해될 수 있는가, 이는 낮은 정규화에서의 에너지 추정을 가능하게 하기 위함인가?
• RQ4 주기적 설정에서 4NLS의 전역 잘 정의성과 유일성에 대한 최적의 정규화 임계값은 무엇인가?

주요 결과

• 단기 프ourier 제한 노름 방법을 통해 $s > -\frac{9}{20}$에서 재정의된 4NLS가 $H^s(\mathbb{T})$에서 전역적으로 잘 정의진다는 것이 입증되었다.
• 에너지 기능에 대해 무한 번의 정규형 축소를 적용한 결과, $s > -\frac{1}{3}$에서 재정의된 4NLS에 대해 강화된 유일성이 증명되었다.
• 두 해의 차이에 대한 에너지 추정은 증가하는 차수를 가진 다항형 항들의 무한 급수 합으로 표현되며, $s > -\frac{1}{3}$에서 합산 가능성이 보장된다.
• 이 방법은 $I$-메소드의 정신에 따라 $H^s$-에너지 기능에 보정 항을 도입하여 낮은 정규화에서의 비선형 상호작용을 제어할 수 있게 한다.
• 동일한 단기 방법을 통해 $s < 0$인 $H^s(\mathbb{T})$에서 비재정의된 4NLS에 대한 해의 존재하지 않음을 회복하여 잘 정의되지 않는 성질을 확인하였다.
• 이 분석은 이중차구조에서 발생하는 $O(j^2)$ 항의 손실이 다항형 추정에 의한 $j$에 대한 급속한 감쇠 덕분에 해로운 영향을 미치지 않는다는 것을 보여준다.