Sharp Gagliardo-Nirenberg inequality

In dimension $d$, the mass-critical sharp inequality isand equality holds exactly on the phase, translation, and scaling orbit of the NLS ground state $Q$. For $d=2$ this becomes $\Vert u{\Vert }_4^4\le 2\Vert Q{\Vert }_2^{-2}\Vert u{\Vert }_2^2\Vert \nabla u{\Vert }_2^2$.

The sharp inequality impliesThus energy controls the gradient whenever the mass is strictly below the mass of the NLS ground state.

Suppose $\Vert u_n{\Vert }_2=\Vert Q{\Vert }_2$, $\Vert \nabla u_n{\Vert }_2=\Vert \nabla Q{\Vert }_2$, and $E(u_n)\to 0$. The profile decomposition modulo translations and the sharp inequality force exactly one nonzero profile: splitting the mass would make the sharp inequality strict. Hence some translations $u_n(\cdot +x_n)$ converge strongly in $H^1$, and therefore in $L^{2+4/d}$, to an optimizer.