Mapping open problems and evidential status

Fefferman’s official statement gives distinct alternatives. The existence alternatives use zero forcing and arbitrary admissible smooth divergence-free initial data, either rapidly decreasing on three-dimensional Euclidean space or spatially periodic on the three-torus. The requested global smooth solution class includes the statement’s domain-specific conditions. A result on a bounded container with chosen walls, a two-dimensional equation, or a special initial flow is therefore a different assertion even when its equation is also called Navier–Stokes.

The breakdown alternatives allow appropriately smooth external forces: rapidly decreasing in space and time in the whole-space formulation, or periodic in space and rapidly decreasing in time in the periodic formulation. They ask for admissible data and forcing for which the specified global smooth solution class fails. Keep these forcing allowances separate from the unforced existence alternatives. Changing viscosity to zero instead produces the Euler equation and another problem; a successful computation for one chosen flow is not a proof covering all admissible data.

Multiply the smooth velocity equation by velocity and average over a periodic box. Incompressibility converts the advection and pressure terms into divergences whose averages vanish. Integration by parts turns viscosity into a nonpositive gradient norm. With zero forcing and zero mean velocity, a Fourier Poincare inequality bounds that norm below by the smallest nonzero wavenumber squared times the velocity norm. This yields exponential decay of the averaged kinetic energy while the assumed smooth solution exists.

The calculation does not control every derivative needed for global smoothness in three dimensions. Functions can have fixed squared amplitude norm while developing increasingly fine spatial structure and large gradients. An estimate can therefore be mathematically valid and physically informative without closing the regularity argument. A proposed proof must supply the missing control and justify every limiting operation, rather than treating numerical agreement with an energy balance as a substitute for a uniform analytical bound.

A derivation is a chain of implications under declared premises. A controlled approximation adds an error regime. An empirical result adds an observation and inference model. A current proposal may motivate further checks without yet supplying those other forms of evidence. A dated institutional announcement reports a stage in evaluation, not the contents of a proof one has not examined. Keep these labels attached to the specific claim so that later progress can update status without rewriting the mathematical question.

Regularity and turbulence closure also concern different tasks. Averaging a nonlinear velocity equation introduces averages of velocity products; expressing those in terms of a mean flow requires additional information. A global smoothness theorem would not by itself provide that closure or establish every continuum approximation for a real fluid. Research synthesis should identify which logical bridge is missing. The explicit shear solution in the practice problem is global and useful, yet its special geometry removes the very nonlinear interaction that makes a general claim demanding.