[논문 리뷰] Normal form approach to global well-posedness of the quadratic derivative nonlinear Schrödinger equation on the circle

Jaywan Chung, Zihua Guo외 2명|Edinburgh Research Explorer|2015. 09. 27.

Advanced Mathematical Physics Problems참고 문헌 13인용 수 4

한 줄 요약

이 논문은 토르스 위에서 제곱형 비선형 슈뢰딩거 방정식(dNLS)에 대해, 작고 평균이 0인 초기 조건 하에서 Fourier-Lebesgue 공간 $\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ 에서 조건 없는 전역 적으로 잘 정의된 해를 확립한다. 무한계수 정규형 축소와 콜-홉프 변환의 조합을 통해, 정규성의 유지와 무한히 많은 보존량의 구성이 이루어지며, 또한 비작은 평균이 0인 자료를 가진 유한시간 폭발 해를 통해 작은 조건의 필수성을 입증한다.

ABSTRACT

We consider the quadratic derivative nonlinear Schrödinger equation (dNLS) on the circle. In particular, we develop an infinite iteration scheme of normal form reductions for dNLS. By combining this normal form procedure with the Cole-Hopf transformation, we prove unconditional global well-posedness in $L^2(\mathbb{T})$, and more generally in certain Fourier-Lebesgue spaces $\mathcal{F} L^{s, p}(\mathbb{T})$, under the mean-zero and smallness assumptions. As a byproduct, we construct an infinite sequence of quantities that are invariant under the dynamics. We also show the necessity of the smallness assumption by explicitly constructing a finite time blowup solution with non-small mean-zero initial data.

연구 동기 및 목표

• 토르스 $\mathbb{T}$ 에서 낮은 정규성 조건을 갖는 Fourier-Lebesgue 공간에서 제곱형 비선형 슈뢰딩거 방정식(dNLS)의 전역 적으로 잘 정의된 해를 확립하는 것.
• 소벨프 공간에서의 부정확성 문제를 해결하기 위해 무한반복 정규형 축소의 반복 기법을 개발하는 것.
• 소수 조건과 평균이 0이라는 조건 하에서 $\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ 에서 조건 없는 유일성과 정규성의 유지 성립을 증명하는 것.
• dNLS의 동역학에 대해 불변인 무한히 많은 보존량의 시퀀스를 구성하는 것.
• 비작은 평균이 0인 초기 자료를 가진 폭발 해를 구성함으로써 소수 조건의 필요성을 입증하는 것.

제안 방법

• dNLS 방정식에서 비공진성 제곱형 상호작용을 반복적으로 제거하기 위해 무한계수 정규형 축소 절차를 개발하는 것.
• dNLS를 더 다룰 수 있는 형태로 변환하기 위해 콜-홉프 변환을 적용하는 것.
• 주파수 공간에서의 정규형 방정식을 사용하여 반복 비선형 상호작용의 급수 전개를 통해 해를 유도하는 것.
• 분포 공간에서의 수렴 논증과 주파수 상호작용에 대한 얀의 부등식을 통해 모든 형식적 계산의 타당성을 입증하는 것.
• 정규형 방정식에 대한 정규성 유지 성질을 활용하여 $\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ 에서 국소해를 전역해로 연장하는 것.
• 게이지 변환된 루프 $W(t,x)$ 를 설계하여 $t=\pi/2$ 에서 원점에 도달하도록 하여 역게이지 변환이 특이해지게 함으로써 유한시간 폭발 해를 구성하는 것.

실험 결과

연구 질문

• RQ1 소벨프 공간에서의 부정확성 문제에도 불구하고, 원환위에서 제곱형 비선형 슈뢰딩거 방정식의 전역 적으로 잘 정의된 해가 낮은 정규성 조건의 Fourier-Lebesgue 공간에서 확립될 수 있는가?
• RQ2 평균이 0인 초기 자료에 대한 소수 조건이 전역 존재성에 필수적인가, 아니면 해가 큰 자료로까지 확장될 수 있는가?
• RQ3 dNLS는 표준 보존 법칙이 없기 때문에, 무한히 많은 보존량을 구성할 수 있는가?
• RQ4 정규형 축소 절차와 콜-홉프 변환 간의 상호작용이 어떻게 전역 제어를 가능하게 하는가?
• RQ5 소수 조건이 폭발을 방지하는 정확한 메커니즘은 무엇이며, 이를 정량적으로 입증할 수 있는가?

주요 결과

• $s > \frac{1}{2} - \frac{1}{p}, p > 2$ 또는 $s \geq 0, p = 2$ 인 경우, 소수 조건과 평균이 0이라는 조건 하에서 $\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ 에서 전역 적으로 잘 정의된 해가 확립된다.
• 구성된 해에 대해 $C(\mathbb{R}; \mathcal{F}L^{s,p}_{0}(\mathbb{T}))$ 에서 조건 없는 유일성이 성립한다.
• dNLS의 동역학에 대해 불변인 무한히 많은 보존량 $\{\mathcal{Q}_k(t)\}_{k \in \mathbb{Z}_0}$ 의 시퀀스가 구성된다.
• 소수 조건이 날카로운 것으로 밝혀졌다: 비작은 평균이 0인 초기 자료를 가진 유한시간 폭발 해가 명시적으로 구성된다.
• 폭발은 $t = \pi/2$ 에 발생하며, 이 시점에서 해의 $L^1$-노름이 발산하고, 모든 $\mathcal{F}L^{s,p}_{0}$-노름도 $t \to \pi/2^-$ 일 때 발산한다.
• 정규형 축소 절차는 분포 공간에서의 수렴과 주파수 상호작용에 대한 얀의 부등식을 통해 엄밀히 정당화된다.