[Paper Review] Global well-posedness of the periodic cubic fourth order NLS in negative Sobolev spaces

Tadahiro Oh, Yuzhao Wang|arXiv (Cornell University)|Jul 7, 2017

Advanced Mathematical Physics Problems23 references8 citations

TL;DR

This paper establishes global well-posedness and enhanced uniqueness for the periodic cubic fourth-order nonlinear Schrödinger equation (4NLS) in negative Sobolev spaces $H^s(\mathbb{T})$ for $s > -\frac{1}{3}$, using a novel infinite iteration of normal form reductions on the $H^s$-energy functional to control the difference of two solutions. The key contribution is a refined energy estimate via multilinear expansions that allow summability of increasingly high-degree terms under the $s > -\frac{1}{3}$ threshold.

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.

Motivation & Objective

• To resolve the well-posedness and uniqueness issues of the cubic fourth-order NLS in negative Sobolev spaces below the scaling critical regularity $s = -\frac{3}{2}$.
• To overcome the failure of standard scaling heuristics in negative Sobolev spaces by introducing a renormalized formulation of the 4NLS.
• To establish enhanced uniqueness for solutions in $H^s(\mathbb{T})$ with $s > -\frac{1}{3}$, going beyond standard uniqueness in the context of ill-posedness for $s < 0$.
• To develop a new method for energy estimates on solution differences by iteratively reducing the $H^s$-energy functional into infinite series of multilinear terms.

Proposed method

• Applying the short-time Fourier restriction norm method to prove global existence for $s > -\frac{9}{20}$, extending prior results to low regularity.
• Introducing a renormalized version of the 4NLS to stabilize the dynamics in negative Sobolev spaces where the original equation is ill-posed.
• Performing an infinite iteration of normal form reductions on the $H^s$-energy functional to decompose it into an infinite sum of multilinear terms of increasing degrees.
• Establishing multilinear estimates for terms of arbitrary degree using a tree-based decomposition of frequency interactions and careful $\ell^2$-type estimates.
• Using the double-difference structure of the energy difference between two solutions to extract two factors of $u - v$, enabling control via multilinear estimates.
• Combining time-localization and frequency localization via dyadic decomposition to control the growth of high-frequency components in the energy estimate.

Experimental results

Research questions

• RQ1 Can the cubic fourth-order NLS be globally well-posed in negative Sobolev spaces $H^s(\mathbb{T})$ for $s > -\frac{1}{3}$, despite ill-posedness for $s < 0$?
• RQ2 Is enhanced uniqueness possible for the 4NLS in $H^s(\mathbb{T})$ for $s > -\frac{1}{3}$, even when standard uniqueness fails?
• RQ3 Can the $H^s$-energy functional be systematically reduced to an infinite series of multilinear terms to enable energy estimates in low regularity?
• RQ4 What is the optimal regularity threshold for global well-posedness and uniqueness of the 4NLS in the periodic setting?

Key findings

• Global well-posedness is established for the renormalized 4NLS in $H^s(\mathbb{T})$ for $s > -\frac{9}{20}$ via the short-time Fourier restriction norm method.
• Enhanced uniqueness is proven for the renormalized 4NLS in $H^s(\mathbb{T})$ for $s > -\frac{1}{3}$ using an infinite iteration of normal form reductions on the energy functional.
• The energy estimate for the difference of two solutions is controlled by expressing it as a sum of infinite series of multilinear terms, each of increasing degree, with summability ensured for $s > -\frac{1}{3}$.
• The method introduces correction terms to the $H^s$-energy functional in the spirit of the $I$-method, enabling control of nonlinear interactions in low regularity.
• Non-existence of solutions for the non-renormalized 4NLS in $H^s(\mathbb{T})$ for $s < 0$ is recovered via the same short-time method, confirming ill-posedness.
• The analysis shows that the loss of $O(j^2)$ terms from telescoping double differences is harmless due to fast decay in $j$ from multilinear estimates.