Scaling criticality and invariant norms
Derive the natural rescaling of nonlinear Schrödinger and Navier–Stokes equations, then identify which norms can detect concentration.
On this page
The question for today
What you’ll understand
- Balance amplitude, space, and time scaling in a power nonlinearity.
- Calculate the critical homogeneous Sobolev index and mass/energy critical powers.
- Explain why scaling guides estimates without proving well-posedness or singularity formation.
Scaling asks how the equation behaves when a solution is concentrated into a smaller spatial region and a shorter time interval. A norm unchanged by that transformation is critical for the scaling. Norms that weaken under concentration may fail to detect a dangerous cascade, even when they stay bounded. These computations are not existence theorems. They are a diagnostic that helps explain why some a priori bounds close a global argument while others leave a gap.
Balance the equation before naming a critical space
On the whole space, consider i u_t plus the Laplacian of u equals kappa |u| to the p minus one times u, with p greater than one. Scaling space by lambda forces Schrödinger time to scale by lambda squared. If amplitude scales by lambda to the a, the linear terms carry a plus two powers while the nonlinearity carries ap powers. Equality gives a=2/(p−1). Kappa is fixed; the transformation preserves the equation rather than changing its coefficient.
For a sufficiently regular decaying profile, the homogeneous Sobolev norm of order s then gains the factor lambda to the 2/(p−1)+s−d/2. The invariant order is s_c=d/2−2/(p−1). This calculation uses the whole-space Fourier scaling and homogeneous norms where defined. The inhomogeneous H to the s norm includes a low-frequency term with a different scaling, and a fixed torus is not invariant under arbitrary spatial dilation. Those distinctions matter when transferring the diagnostic to a particular theorem.
Compare conserved levels with the critical level
Mass is the squared L² norm, so mass-critical means s_c=0, or p=1+4/d. The gradient part of energy lives at homogeneous H¹, so the energy-critical power is p=1+4/(d−2) when d is at least three. In dimensions one and two there is no finite power with that H¹ scaling equation. Cubic NLS in one dimension is mass-subcritical, cubic NLS in three dimensions is energy-subcritical, and quintic NLS in three dimensions is energy-critical.
The names are relative to a specified norm. If the available regularity s exceeds s_c, high-frequency concentration increases that homogeneous norm, giving a subcritical setting. If s is below s_c, concentration can shrink the controlled norm while sharpening the profile, giving a supercritical setting relative to that control. At equality, there is no spare scaling factor to supply a uniform small time just from the norm's size. Critical proofs often need refined spacetime control, small data, concentration analysis, or a structure not visible in dimensional bookkeeping.
Fluid energy exposes a different scaling gap
For unforced incompressible Navier–Stokes on three-dimensional whole space, velocity rescales as lambda times u at time lambda squared t and position lambda x; pressure rescales by lambda squared. The viscosity stays fixed. Velocity L to the q norms scale by lambda to the one minus three over q, so L³ is invariant. Homogeneous H to the one half is also invariant. In contrast, velocity L² scales by lambda to the minus one half, meaning a concentrated rescaled profile can have smaller energy norm.
Thus the global energy inequality controls a supercritical quantity for three-dimensional velocity. It remains enormously useful for weak compactness, but does not automatically exclude increasingly fine scales in a strong solution. A formal rescaling of one profile neither constructs a singular solution nor proves that singularity is possible for the specified data. Boundary conditions, forcing, and the domain can also obstruct exact scaling. Use the diagnostic to locate what an estimate fails to control, then state the separate theorem that supplies any positive continuation conclusion.
Work it through
Compare cubic and quintic behavior in three dimensions
Compute s_c for cubic and quintic NLS on R³, and calculate how their gradient norms scale under concentration by lambda=4.
For the cubic power p=3, s_c=3/2−2/2=1/2. The homogeneous H¹ norm therefore scales by lambda^(1−1/2)=sqrt(lambda), giving a factor two when lambda is four.
For the quintic power p=5, s_c=3/2−2/4=1. Its gradient norm has factor lambda^0=1 and is invariant under the same concentration.
The quintic amplitude scales by lambda^(1/2), while its spatial width scales by one over lambda. Its L² norm scales by lambda^(−1), giving factor one quarter; that does not contradict its invariant gradient norm.
Cubic R³ NLS is energy-subcritical; quintic R³ NLS is energy-critical. A bounded mass alone does not resolve the critical gradient-scale concentration.
The living notebook
Explore the model
Interactive lab · heat
See the parabolic time scale of spatial frequency
Pause and reset, then set both controls to spatial mode n = 1 and diffusivity κ = 0.5. Predict amplitude exp(−0.5t). For a fresh comparison, pause and reset, then set n = 2 and κ = 0.5; predict exp(−2t), so the same attenuation takes one quarter as much time. This exact heat mode illustrates the frequency-squared time scale shared by the linear Laplacian. It does not implement NLS amplitude scaling, a critical Sobolev norm, or Navier–Stokes concentration.
- Current amplitude
- 1
- Spatial L² norm
- 1.772
- Decay rate · κn²
- 3.6 /s
The exact periodic heat-equation mode is u(x,t) = exp(−κn²t) sin(nx), on [0,2π]. Playback advances physical time. The initial sine is shown separately, and the unnormalized L² norm is √π exp(−κn²t). This analytic instrument does not run a finite-difference solver or test discretization stability. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forThe spatial Laplacian couples a doubled frequency to a fourfold time scale; criticality also depends on amplitude and norm scaling.
Pause & reason
Check your understanding
Your turn
Try it yourself
For cubic NLS on R⁴, find s_c and the scaling factors of the L² and gradient norms. Separately compute the scaling of L³ and L² velocity norms for three-dimensional Navier–Stokes.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Insert d=4,p=3 into the NLS formula, and use exponent 1−3/q for the fluid norms.
Compare with the solution
Cubic R⁴ NLS has s_c=2−1=1, so its gradient norm is invariant and its L² norm scales by lambda^(−1). For three-dimensional Navier–Stokes, q=3 gives exponent zero and an invariant L³ norm, while q=2 gives exponent minus one half. These are norms, not their squares; kinetic energy therefore gains lambda^(−1). The comparison explains why a fluid energy bound can coexist with concentration that remains visible to a critical norm.
Keep the idea
Take it with you
- Derive the equation's amplitude scaling before computing an invariant norm.
- Mass and energy criticality are dimension- and power-dependent statements.
- A scale-invariant or scale-supercritical bound is a diagnostic, not a standalone existence or blow-up proof.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.