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.

Background

For the two-dimensional Navier–Stokes equations with zero forcing, the set G\mathcal{G} of globally backward-extendable data is dense in HH, as established through a nonconstructive density argument. Degenerate trigonometric polynomials provide explicit examples.

The paper states that it remains unclear how to produce an explicit example outside those degenerate or trivial classes. Such a construction would complement the density theorem with a concrete nontrivial globally extendable solution.

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