Generic non-precompactness of flow maps for divergence-free Sobolev velocities

Fix p(1,)p\in(1,\infty) and let

Up={uL([0,+);W1,p(Td;Rd))u=0}.\mathcal{U}_p=\{u\in L^\infty([0,+\infty);W^{1,p}(\mathbb{T}^d;\mathbb{R}^d))\mid \nabla\cdot u=0\}.

For uUpu\in\mathcal{U}_p, let {Φt}t0\{\Phi_t\}_{t\geq 0} be its associated flow maps.

Generic flow-map non-precompactness conjecture. For a residual subset of Up\mathcal{U}_p, the associated flow maps {Φt}t0\{\Phi_t\}_{t\geq 0} are not precompact in L1L^1.

The conjecture asks whether divergence-free velocity fields generically fail to generate precompact trajectories, in the Baire-generic sense. The source does not provide evidence of a resolution.

Sources & referencesView supporting material

Primary source

Zeyu Jin and Ruo Li, “Mixing for generic passive scalars by incompressible flows”, arXiv:2506.06706 (2025).

Additional references

2 papers in this index state this conjecture (2017–2025). The statement above is taken from the most recent of them; the others are arXiv:1712.02855.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.