For every ν > 0 there exist a smooth force compactly supported in ℝ³ × (0,∞), a fixed compact spatial set K, and smooth incompressible Navier–Stokes velocity and pressure on ℝ³ × [0,1), starting with u₀ = 0 and supported in K, such that kinetic energy stays uniformly bounded while limsup as t ↑ 1 of ‖u(t)‖∞ is infinite. Consequently no global smooth uniformly bounded-energy solution exists for the same data and force.
Assumptions
Positive viscosity; whole space ℝ³.
Zero initial velocity and smooth compactly supported external forcing.
One fixed compact spatial set supports velocity and pressure before time one.
Scope
The manuscript gives this stronger explicit construction. The linked comparator nonexistence endpoint does not by itself formalize every property in this statement.
This source presents a theorem with a proposed proof. Its wording does not establish acceptance or independent mathematical review.
The manuscript states forced breakdown from rest with compactly supported smooth forcing, bounded kinetic energy and unbounded velocity; it also states a periodic corollary.
paraphrase · OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
OpenAI · Preprint · Publication date Sep 8, 2026
Revision & attribution
Source revision: 2026-09-08. Observed Oct 13, 2026.
OpenAI attributes the argument to its internal research model. Bibliographic authorship is printed as OpenAI; individual human preparation and checking roles are not inferred.
History
Statement versions
Statement versions and problem publication versions are separate. A new publication can update context or sources while retaining the same statement.
Assessment history · 1
Assessments retained in these publication records. Earlier statement versions retain their own source histories.