Scope of the local periodic result: what is proved and what is not

Assume the Axiom of Countable Choice ${\mathrm{A}\mathrm{C}}_{\omega }$ (The Axiom of Countable Choice (${\mathrm{A}\mathrm{C}}_{\omega }$)), as required by all three local results cited below.

Local smooth solutions of the periodic incompressible Euler and constant-viscosity equations on ${\mathbb{T}}^3$ and Uniqueness of smooth periodic solutions and continuous dependence in $H^{s-1}$ on the common local interval are mathematical statements about the model equations ${\mathrm{\partial }}_{t}u+P((u\cdot \mathrm{\nabla })u)=\nu \mathrm{\Delta }u$ on the flat three-torus, for a real viscosity parameter $\nu \ge 0$, smooth divergence-free data, and an integer $s\ge 4$. Write $Y_0:=\mathrm{\parallel }{u}_0{\mathrm{\parallel }}_{H^s}$, and use the commutator constants $C_s,C_m$ specified in the existence theorem. Together with Reconstruction of the periodic pressure from the velocity: $\mathrm{\nabla }p=-(I-P)((u\cdot \mathrm{\nabla })u)$ and $\mathrm{\Delta }p=-{\sum }_{i,j}{\mathrm{\partial }}_i{\mathrm{\partial }}_j(u_i{u}_j)$, their established local conclusions are:

• existence of a smooth solution on the finite interval $[0,T]$ with $T=(2C_s\mathrm{\parallel }{u}_0{\mathrm{\parallel }}_{H^s}{)}^{-1}$ when $\mathrm{\parallel }{u}_0{\mathrm{\parallel }}_{H^s}>0$ (and $T=1$ in the trivial case $u_0=0$);
• the uniform $H^m$ bounds $\mathrm{\parallel }u(t){\mathrm{\parallel }}_{H^m}\le \mathrm{\parallel }{u}_0{\mathrm{\parallel }}_{H^m}{e}^{4C_m{Y}_{0}T}$ on that interval, for every $m\ge s$;
• uniqueness among smooth solutions on the common interval and Hölder-$1\mathrm{/}s$ continuity of the solution map on smooth divergence-free $H^s$-bounded data, from the induced $L^2$ topology into $C([0,T_B],H^{s-1})$, with $T_B=(2C_{s}B{)}^{-1}$ for a common positive norm bound $B$;
• reconstruction of a smooth real scalar pressure $p$ with $\mathrm{\nabla }p=-(I-P)((u\cdot \mathrm{\nabla })u)$ and ${\mathrm{\partial }}_{t}u+(u\cdot \mathrm{\nabla })u=\nu \mathrm{\Delta }u-\mathrm{\nabla }p$, and its uniqueness under ${\int }_{{\mathbb{T}}^3}p(t,x)dx=0$ (Reconstruction of the periodic pressure from the velocity: $\mathrm{\nabla }p=-(I-P)((u\cdot \mathrm{\nabla })u)$ and $\mathrm{\Delta }p=-{\sum }_{i,j}{\mathrm{\partial }}_i{\mathrm{\partial }}_j(u_i{u}_j)$, claims 1-3).

The following are explicitly not claimed, and are not consequences of the argument:

1. No global-in-time smooth conclusion from this construction. The existence time decreases as $\mathrm{\parallel }{u}_0{\mathrm{\parallel }}_{H^s}$ grows, and the proof supplies no all-time bound for either $\nu >0$ or $\nu =0$. This is a statement about this proof, not a certification of the current global status of fluid equations. On 11 September 2026 the Clay Mathematics Institute announced that the Navier-Stokes Millennium Problem concerning three-dimensional Euclidean space had “apparently been settled” and said that its evaluation process is deliberately unhurried (CMI announcement). That announcement was read here; no new announced proof has been audited here, and no implication from a Euclidean, forced or otherwise different problem to the unforced periodic ${\mathbb{T}}^3$ equations of this page has been established. The older cited sources describe open problems as of their publication dates; they do not justify an unqualified present-day assertion that all these global questions remain open, nor does an announcement alone establish a theorem in this library.
2. No general continuation criteria. The elementary restarting argument extends a solution as long as an $H^s$ bound persists, but no Beale-Kato-Majda type criterion, no vortex-stretching criterion and no partial regularity theorem is proved.
3. No other data class, domain or system. The data are smooth, divergence-free and periodic; the equation is incompressible with constant viscosity and no forcing. Rough data, weak solutions, bounded domains with walls or boundary layers, free surfaces, compressible systems, shocks, non-Newtonian constitutive laws and turbulence statistics are outside the scope of these two items; the companion page cm-math-continuum supplies some separate model items for those regimes and records its own limitations.
4. No empirical content. All items of this page carry domain: mathematics; the equations are studied as explicit model equations. Nothing here asserts that any fluid, at any scale, is described by these equations, and no measurement is used.

The structural reason for the locality is visible in the energy inequality $\frac{d}{dt}\mathrm{\parallel }u{\mathrm{\parallel }}_{H^m}^2\le 2C_m\mathrm{\parallel }u{\mathrm{\parallel }}_{H^s}\mathrm{\parallel }u{\mathrm{\parallel }}_{H^m}^2$: the bound on the solution is exponential in time with a rate proportional to the $H^s$ norm, so the construction loses control once that norm could grow without bound. A global conclusion would need additional estimates or a separate theorem for the exact unforced periodic model; it is not an omitted routine step of the local proof.