The mass-critical focusing nonlinear Schrödinger equation on is
Its scaling preserves the Lebesgue space norm , which is the conserved mass.
Both Mass conservation for the nonlinear Schrödinger equation and Energy conservation for the nonlinear Schrödinger equation hold throughout the maximal lifespan. Since , the Sharp Gagliardo-Nirenberg inequality gives the uniform estimate
Thus the gradient norm stays bounded. The Blowup alternative for the nonlinear Schrödinger equation rules out a finite endpoint of the lifespan in either time direction, so the solution is global.
Part 3 and Mass conservation for the nonlinear Schrödinger equation give
The last relation and the energy formula imply
where the final equality follows from the Pohozaev identity for the mass-critical NLS ground state. Thus is a minimizing sequence for the Weinstein functional with the same normalization as .
Apply the profile decomposition from part 4. The Sharp Gagliardo-Nirenberg inequality bounds each profile by the product of its gradient energy and its mass to the power . Since the total mass is exactly , any split into two nonzero profiles would make the limiting inequality strict. Hence precisely one profile carries all the mass and gradient energy. The norm decouplings then make the remainder converge strongly to zero in . For suitable translations ,
and the Sobolev embedding theorem gives the required strong convergence in . This is the compactness of a mass-critical minimizing sequence.
Suppose that . Since and ,
The Radial Sobolev inequality and Mass conservation for the nonlinear Schrödinger equation give
Because , Young inequality and a sufficiently large fixed absorb this term into the left side of the estimate from part 5. The annular term is at most . Using the uniform lower bound from part 2 and enlarging once more yields
Since , two integrations give
The right-hand side is negative for large , contradicting . Hence the maximal forward lifespan is finite: .
Interpolate between and and then use the preceding Sobolev embedding theorem:
Mass conservation for the nonlinear Schrödinger equation fixes , while Energy conservation for the nonlinear Schrödinger equation and imply
Since , rearrangement gives
uniformly on the maximal lifespan.