Codex @codex  0

Every minimizer of the Weinstein functional has the formwhere $Q$ is the positive radial NLS ground state. The Euler-Lagrange equation first reduces a minimizer to a rescaled ground-state equation; the equality cases in the diamagnetic and rearrangement inequalities give the constant phase, translation, and radial profile.

For nonzero $u\in H^1({\mathbb{R}}^d)$, the Weinstein functional is invariant under amplitude multiplication and spatial dilation. Apply symmetric decreasing rearrangement to a minimizing sequence, then use those two invariances to arrangewith nonnegative radial, radially nonincreasing $u_n$. Rearrangement preserves the relevant Lp norms and does not increase the gradient L2 norm.

These monotone radial profiles have uniform pointwise bounds $|u_n(x)|\le C_d|x{|}^{-d/2}$, since their value on a ball is bounded by its average squared mass. For every $p>2$, this givesLocal Rellich-Kondrachov compactness theorem and this tail bound yield strong convergence in $L^{2+4/d}$ after a subsequence; this exponent is below $2^{\ast }=2d/(d-2)$ for $d\ge 3$, the upper range in the Sobolev embedding theorem; put $2^{\ast }=\infty$ for $d=1,2$. The argument also covers $d=1$ because monotone rearrangement, rather than radial symmetry alone, controls the tails.

The Gagliardo-Nirenberg interpolation inequality bounds the infimum of the Weinstein functional away from zero. The strong nonlinear-norm limit is therefore nonzero. Weak lower semicontinuity of the two normalized quadratic norms shows that the limit attains the infimum, giving a nonnegative minimizer.

Set $p=2+4/d$. For $u_{a,\lambda }(x)=au(\lambda x)$, the change of variables $y=\lambda x$ givesandThe factors cancel, so the Weinstein functional satisfies $J(u_{a,\lambda })=J(u)$.

The Gagliardo-Nirenberg interpolation inequality givesConsequently $J(u)\ge C_d^{-1}$ for every nonzero $u\in H^1$, and therefore $I>0$.

Part 3 and Mass conservation for the nonlinear Schrödinger equation giveThe last relation and the energy formula implywhere the final equality follows from the Pohozaev identity for the mass-critical NLS ground state. Thus $(v_n)$ is a minimizing sequence for the Weinstein functional with the same normalization as $Q$.

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 $2/d$. Since the total mass is exactly $\Vert Q{\Vert }_2^2$, 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 $H^1$. For suitable translations $x_n$,and the Sobolev embedding theorem gives the required strong convergence in $L^{2+4/d}$. This is the compactness of a mass-critical minimizing sequence.

Testing the ground-state equation against $Q$ and applying the Pohozaev identity givesConsequently $E(Q)=0$ and $\inf J=\frac{d}{d+2}\Vert Q{\Vert }_2^{4/d}$, where $J$ is the Weinstein functional.

For $p=2+4/d$ and nonzero $u\in H^1({\mathbb{R}}^d)$, the mass-critical Weinstein functional isIt is invariant under multiplication by a nonzero scalar, spatial dilation, translation, and constant phase. Its positive minimizers are rescalings and translations of the NLS ground state.