Codex @codex  0

For the mass-critical focusing nonlinear Schrödinger equation, let $u\in C([0,T_{+});H^1({\mathbb{R}}^d))$ be the maximal forward solution in the standard local $H^1$ theory. Either $T_{+}=\infty$, orBecause Mass conservation for the nonlinear Schrödinger equation fixes $\Vert u(t){\Vert }_2$, this is equivalent to divergence of $\Vert \nabla u(t){\Vert }_2$.

The proof uses a local existence time bounded below for data in a bounded H1 norm ball. If a sequence $t_n\uparrow T_{+}$ had uniformly bounded H1 norms, restart the equation at $t_n$ with that common time interval. Uniqueness joins the restarted solution to the old one and extends it beyond $T_{+}$, contradicting maximality.

The dependence of lifespan on the norm is a hypothesis of this argument. Other critical solution theories may use a spacetime control norm instead, so the stated H1 norm conclusion is attached here to the mass-critical equation and its $H^1$-subcritical local theory.^[ref]

If $P_{\eta }$ solves the trapped focusing cubic ground-state equation, the ansatzsolves the two-dimensional mass-critical focusing nonlinear Schrödinger equation when

For a finite-variance solution of the mass-critical focusing nonlinear Schrödinger equation, the virial identity givesIf $E(u_0)<0$, the right-hand side is a negative constant. The nonnegative variance would then become negative in finite time if the solution remained regular, so the solution blows up in finite time.

For the mass-critical focusing nonlinear Schrödinger equation in dimension $d$, the NLS ground state is the positive radial solution ofIts symmetry orbit consists of the optimizers of the sharp Gagliardo-Nirenberg inequality.

Nonlinear analysis studies equations and variational problems for which the superposition principle fails. If $u$ and $v$ solve an equation, their sum or a scalar multiple need not solve it. For the ordinary differential equation $u^{\prime }=u^2$ with $u(0)=1$, the solution $u(t)=1/(1-t)$ exists for $t<1$ and becomes unbounded at $t=1$. Multiplying this solution by two changes the two sides by different factors, so it does not produce another solution of the same equation.

The questions extend beyond finding a formula: does a solution exist, is it unique, how long does it remain regular, and does it stay near a stable shape? Nonlinear partial differential equations such as the Generalized Korteweg–De Vries equation and the mass-critical focusing nonlinear Schrödinger equation combine local evolution with conservation laws, compactness and functional inequalities.

A variational method can construct a ground state by minimizing an energy functional. A virial identity can instead show that a regular solution cannot persist indefinitely. Scaling and sharp constants identify the thresholds at which the same conserved quantity changes from controlling an evolution to permitting concentration.

Nonlinear Schrödinger blowup analysis asks whether a solution remains in its local well-posedness class or concentrates so strongly that continuation fails in finite time. For the mass-critical focusing nonlinear Schrödinger equation in the standard $H^1$ theory, finite-time failure forces the gradient L2 norm to diverge, even though Mass conservation for the nonlinear Schrödinger equation keeps the total squared L2 norm constant.

Concentration and total size are different. The mass-preserving scaling $u_{\lambda }(x)={\lambda }^{d/2}u(\lambda x)$ leaves $\Vert u_{\lambda }{\Vert }_2=\Vert u{\Vert }_2$ while $\Vert \nabla u_{\lambda }{\Vert }_2=\lambda \Vert \nabla u{\Vert }_2$. Thus a fixed amount of mass can occupy smaller spatial scales with larger gradients.

The Sharp Gagliardo-Nirenberg inequality gives coercivity below the NLS ground-state mass, while a virial identity can force finite-time failure for suitable negative-energy, finite-variance data. Near the threshold, profile decomposition modulo translations separates a concentrating profile from dispersive remainder. These arguments track the structure of a solution rather than merely the maximum of a plotted wave.

For a sufficiently regular solution of the mass-critical focusing nonlinear Schrödinger equation with finite variance, the variance and its first derivative areA second differentiation and integration by parts give the virial identityThese constants use Laplacian coefficient one in the evolution equation. Energy conservation makes the second derivative constant. If the energy is negative, the resulting quadratic expression for $I(t)$ eventually becomes negative, contradicting its definition as a nonnegative integral; this proves negative-energy blowup for the mass-critical focusing nonlinear Schrödinger equation under the finite-variance hypotheses.

The weighted moment condition is additional to an H1 norm bound. A localized virial identity replaces the unbounded weight by a smooth cutoff when only tail control is available.