Sharp well-posedness for the cubic NLS and mKdV in

Benjamin Harrop-Griffiths,Rowan Killip,Monica Vişan
DOI: https://doi.org/10.1017/fmp.2024.4
2024-04-03
Forum of Mathematics Pi
Abstract:We prove that the cubic nonlinear Schrödinger equation (both focusing and defocusing) is globally well-posed in for any regularity . Well-posedness has long been known for , see [55], but not previously for any . The scaling-critical value is necessarily excluded here, since instantaneous norm inflation is known to occur [11, 40, 48]. We also prove (in a parallel fashion) well-posedness of the real- and complex-valued modified Korteweg–de Vries equations in for any . The best regularity achieved previously was (see [15, 24, 33, 39]). To overcome the failure of uniform continuity of the data-to-solution map, we employ the method of commuting flows introduced in [37]. In stark contrast with our arguments in [37], an essential ingredient in this paper is the demonstration of a local smoothing effect for both equations. Despite the nonperturbative nature of the well-posedness, the gain of derivatives matches that of the underlying linear equation. To compensate for the local nature of the smoothing estimates, we also demonstrate tightness of orbits. The proofs of both local smoothing and tightness rely on our discovery of a new one-parameter family of coercive microscopic conservation laws that remain meaningful at this low regularity.
mathematics, applied
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the global well - posedness of the nonlinear Schrödinger equation (NLS) and the modified Korteweg - de Vries equation (mKdV) in the low - regularity space \(H^s(\mathbb{R})\). Specifically, the authors prove that for any regularity \(s > -\frac{1}{2}\), these equations are globally well - posed in the \(H^s(\mathbb{R})\) space. Before this, the best - known results were that these equations were well - posed for NLS when \(s\geq0\) and for mKdV when \(s\geq\frac{1}{4}\). The key contribution of this paper is to extend the range of well - posedness to the lower - regularity space, that is, \(s > -\frac{1}{2}\). ### Main problems 1. **Global well - posedness**: - Prove that the cubic nonlinear Schrödinger equation (NLS) and the modified Korteweg - de Vries equation (mKdV) are globally well - posed in the \(H^s(\mathbb{R})\) space for any \(s > -\frac{1}{2}\). - This means that for any initial data \(q(0)\in H^s(\mathbb{R})\), there exists a unique solution \(q(t)\) and the solution depends on the initial data continuously. 2. **Local smoothing effect**: - Prove that in the low - regularity space, the solutions of the NLS and mKdV equations have a local smoothing effect, that is, there is a gain in regularity on average in time in the local space. - Specifically, for NLS, the regularity gain is \(s+\frac{1}{2}\), and for mKdV, the regularity gain is \(s + 1\). 3. **Compactness**: - Prove that the solutions corresponding to the pre - compact set of initial data in the \(H^s\) space are also pre - compact at later time points. - This is achieved by introducing an additional frequency parameter, thereby controlling the contribution of the high - frequency part to the local smoothing norm. ### Solutions - **Local smoothing estimates**: By introducing new microscopic conservation laws, the local smoothing effect is proved. These conservation laws are still meaningful in low regularity and can provide the necessary regularity gain. - **Compactness**: Using local smoothing estimates and an additional frequency parameter, the compactness of the solution is proved. - **Regularized Hamiltonian**: A family of regularized Hamiltonians is introduced, and the flows induced by these Hamiltonians converge to the full flow in an appropriate topology. ### Conclusions - This paper successfully extends the range of global well - posedness of the NLS and mKdV equations to \(s > -\frac{1}{2}\). - By introducing new microscopic conservation laws and local smoothing estimates, the well - posedness problem in low regularity is solved. - These results are not only of great theoretical significance, but also provide new tools and methods for further research on the properties of completely integrable systems.