[Paper Review] The defocusing quintic NLS in four space dimensions

Benjamin Dodson, Changxing Miao+2 more|arXiv (Cornell University)|Aug 28, 2015

Advanced Mathematical Physics Problems24 references3 citations

TL;DR

This paper establishes global well-posedness and scattering for the defocusing quintic nonlinear Schrödinger equation in four space dimensions for solutions bounded in the critical $\dot{H}^{3/2}$ Sobolev space. Using a space-localized interaction Morawetz inequality and overcoming a logarithmic failure in the double Duhamel argument, the authors prove that such solutions must be global and scatter, resolving the endpoint case $p=4$ where prior methods failed.

ABSTRACT

We consider the defocusing quintic nonlinear Schrödinger equation in four space dimensions. We prove that any solution that remains bounded in the critical Sobolev space must be global and scatter. We employ a space-localized interaction Morawetz inequality, the proof of which requires us to overcome the logarithmic failure in the double Duhamel argument in four dimensions.

Motivation & Objective

• To establish global existence and scattering for the defocusing quintic nonlinear Schrödinger equation in four space dimensions.
• To resolve the endpoint case $p=4$ in the $\cdot{H}^{3/2}$-critical regime where previous techniques based on $2<p<4$ fail.
• To overcome the logarithmic failure in the double Duhamel argument that arises in four dimensions.
• To prove that any solution bounded in the critical Sobolev space must be global and scatter, completing the endpoint case in this scaling regime.

Proposed method

• Employing a contradiction argument based on the existence of minimal blowup solutions at a critical threshold.
• Using the induction on energy method and concentration-compactness to construct almost periodic solutions modulo symmetries.
• Deriving a space-localized interaction Morawetz inequality to control the $L^{12}_{t,x}$ norm of the solution.
• Applying a refined decomposition of the solution into low and high frequencies and estimating interaction terms via Bernstein, Cauchy-Schwarz, and Hölder inequalities.
• Carefully analyzing the double Duhamel argument in four dimensions to handle the logarithmic divergence issue.
• Combining the interaction Morawetz estimate with a lower bound derived from the frequency localization to derive a contradiction when assuming finite-time blowup.

Experimental results

Research questions

• RQ1 Does every solution to the defocusing quintic NLS in four dimensions that remains bounded in the critical $\cdot{H}^{3/2}$ space remain global and scatter?
• RQ2 Can the logarithmic failure in the double Duhamel argument in four dimensions be overcome to establish a space-localized Morawetz inequality?
• RQ3 Is the endpoint case $p=4$ in the $\cdot{H}^{3/2}$-critical NLS amenable to the same global well-posedness and scattering results as the range $2<p<4$?
• RQ4 Can minimal counterexamples to global existence be constructed and shown to be almost periodic modulo symmetries in the critical case?
• RQ5 Does the interaction Morawetz inequality yield a contradiction under the assumption of finite-time blowup, thereby proving globality?

Key findings

• Any maximal-lifespan solution to the defocusing quintic NLS in four dimensions that remains bounded in $\cdot{H}^{3/2}$ is globally defined and scatters.
• The scattering size $S_{\mathbb{R}}(u)$ is controlled by a function of the $L_t^\infty \dot{H}_x^{3/2}$ norm of the solution.
• A space-localized interaction Morawetz inequality is established, which is crucial for handling the logarithmic failure in the double Duhamel argument in four dimensions.
• The contradiction argument based on minimal blowup solutions leads to a contradiction when combining the upper bound from the Morawetz estimate and the lower bound from frequency localization.
• The proof resolves the endpoint case $p=4$ in the $\cdot{H}^{3/2}$-critical NLS, extending previous results that failed at this threshold.
• The result confirms that critical $\cdot{H}^{3/2}$ bounds imply scattering for the quintic NLS in four space dimensions.