Explicit nontrivial globally backward-extendable data in two dimensions
Construct an explicit initial condition \(u_0\in\mathcal{G}\), for the two-dimensional unforced Navier–Stokes equations, that is globally backward-extendable and is not a degenerate trigonometric polynomial or a trivial infinite-support variation.
References
Also when $d=2$ and $f=0$, its not obvious how to construct an explicit $u_0\in {G}$ other than degenerate trigonometric polynomials (or trivial infinite support variations), despite Lemma~\ref{weak density proposition} giving many non-explicitly.
— The Bardos-Tartar Conjecture for the Navier-Stokes Equations
(2610.21530 - Barnes et al., 15 Oct 2026) in Section 2, subsection “Backwards extendability in 3D,” concluding remark after Corollary 2.3