Unconditional uniqueness for the derivative nonlinear Schrödinger equation by normal form approach
Nobu Kishimoto
TL;DR
This work establishes unconditional uniqueness for the one-dimensional derivative nonlinear Schrödinger equation at the endpoint regularity $H^{1/2}$ in both the real line and torus settings. The authors fuse a gauge transform with a two-stage normal form reduction: a finite first stage that isolates the main derivative-loss cubic interactions and an infinite second stage that iteratively neutralizes remaining resonances via a tree-structured expansion. Refinements of Strichartz estimates and Coifman–Meyer type multiplier bounds are crucial to control nonlinear terms in low regularity spaces, yielding an $L^ ablafty_tH^{1/2}_x$-based uniqueness without relying on time continuity. The result advances the program of unconditional well-posedness at low regularity and provides tools potentially applicable to related dispersive models and inviscid-limit analyses.
Abstract
We prove uniqueness of solutions to the Cauchy problem for the derivative nonlinear Schrödinger equation in $L^\infty_tH^{1/2}_x$. Our proof is based on the method of normal form reduction (NFR), which has been employed to obtain the uniqueness in $C_tH^s_x$, $s>1/2$. To overcome logarithmic divergences at the $H^{1/2}$ regularity, we exploit the $B^{0+}_{\infty,1}$ control of solutions provided by a refined Strichartz estimate. Our NFR argument consists of two stages: we first use NFR finitely many times to derive an intermediate equation in which the main cubic nonlinearity is restricted to a certain type of frequency interaction; we then apply the infinite NFR scheme to the intermediate equation. Moreover, we modify the usual NFR argument relying on continuity in time of solutions so that the uniqueness in the class $L^\infty_tH^{1/2}_x$ can be obtained directly.