Statement

Let smooth Navier–Stokes fields (u,p,f)(u,p,f) be defined for 0≤s<T0\le s<T, vanish for ss in an initial neighborhood of zero, and have a fixed compact spatial support. For λ≥1\lambda\ge1, put t0=T(1−λ−2)t_0=T(1-\lambda^{-2}). On t0≤t<Tt_0\le t<T, define

u~(x,t)=λu(λx,λ2(t−t0)),p~(x,t)=λ2p(λx,λ2(t−t0)),f~(x,t)=λ3f(λx,λ2(t−t0)).\widetilde u(x,t)=\lambda u(\lambda x,\lambda^2(t-t_0)),\quad \widetilde p(x,t)=\lambda^2p(\lambda x,\lambda^2(t-t_0)),\quad \widetilde f(x,t)=\lambda^3f(\lambda x,\lambda^2(t-t_0)).

Extending all three by zero for t<t0t<t_0 gives smooth fields satisfying the same equation and viscosity. This uses the .

Support and endpoint

The initial vanishing makes the time gluing smooth. A spatial support KK shrinks to λ−1K\lambda^{-1}K, while λ2(T−t0)=T\lambda^2(T-t_0)=T, so the old terminal time is reached at the same new terminal time. If the original force is defined smoothly for later ss, its displayed rescaling is used there as well. This rescaling can place all supports inside a fundamental cube before periodization.