If solves the trapped focusing cubic ground-state equation, the ansatz
solves the two-dimensional mass-critical focusing nonlinear Schrödinger equation when
Replacing a minimizer by its absolute value does not increase its gradient norm, so choose a nonnegative minimizer . The Euler-Lagrange equation is
for a Lagrange multiplier . Multiplication by and integration show that
so . Set . Then is nonzero, belongs to , and satisfies the trapped focusing cubic ground-state equation
Standard elliptic regularity and the strong minimum principle for elliptic operators make the nonnegative solution positive.