Mixing for generic passive scalars by incompressible flows

Abstract: Mixing by incompressible flows is a ubiquitous yet incompletely understood phenomenon in fluid dynamics. While previous studies have focused on optimal mixing rates, the question of its genericity, i.e., whether mixing occurs for typical incompressible flows and typical initial data, remains mathematically unclear. In this paper, it is shown that classical mixing criteria, e.g. topological mixing or non-precompactness in $L^2$ for all nontrivial densities, fail to persist under arbitrarily small perturbations of velocity fields. A Young-measure theory adapted to $L^\infty$ data is then developed to characterize exactly which passive scalars mix. As a consequence, the existence of a single mixed density is equivalent to mixing for generic bounded data, and this equivalence is further tied to the non-precompactness of the associated measure-preserving flow maps in $L^p$. These results provide a foundation for a general theory of generic mixing in non-autonomous incompressible flows.