Introduction to the theory of mixing for incompressible flows

In these lecture notes, we provide an introduction to the theory of mixing for incompressible flows from a PDE perspective. We discuss both the Lagrangian (ODE) and Eulerian (PDE, continuity equation) viewpoints, and introduce suitable notions of mixing scales that quantify the degree to which a scalar field transported by a velocity field becomes mixed. We then address the problem of establishing universal lower bounds on the time evolution of the mixing scale. This is first done in the smooth setting, using energy estimates and flow-based arguments, and later in the Sobolev setting, relying on quantitative estimates for regular Lagrangian flows. Finally, we present recent results concerning the sharpness of these lower bounds, their implications for the geometry and regularity of regular Lagrangian flows, and connections with more recent developments in the literature.

💡 Research Summary

These lecture notes provide a comprehensive introduction to the theory of mixing for incompressible flows from a partial‑differential‑equation (PDE) perspective. The authors begin by presenting the two complementary viewpoints that are standard in fluid dynamics: the Lagrangian description, which follows individual fluid particles via the flow map Φ(t,x) generated by a divergence‑free velocity field u(t,·), and the Eulerian description, which studies the evolution of a passive scalar ρ(t,x) governed by the continuity (or transport) equation ∂ₜρ + u·∇ρ = 0. The divergence‑free condition guarantees preservation of Lebesgue measure, and the characteristic formula ρ(t,x)=\bar ρ∘Φ⁻¹(t,·) links the two viewpoints.

Recognizing that classical Lᵖ‑norms of ρ are conserved under pure advection and therefore unsuitable for measuring mixing, the notes introduce two quantitative mixing scales. The geometric mixing scale mix_g(ρ) is defined (originally for binary ±1 configurations) as the smallest radius ε such that every ball of radius ε contains a prescribed proportion κ of each phase; this captures the intuitive notion of the finest resolution at which the two phases appear balanced. The definition extends to general bounded scalar fields by requiring that the local average deviates from the global average by at most a fixed fraction κ′ of the L∞‑norm. The functional mixing scale mix_f(ρ) is defined via Fourier coefficients as the square root of the sum of |k|⁻²|ρ̂(k)|² over non‑zero wave numbers, i.e. the homogeneous \dot H⁻¹‑norm of ρ. This scale measures the transfer of energy from low to high frequencies: as mixing proceeds, high‑frequency content grows and mix_f(ρ) decays.

The authors then establish universal lower bounds for these mixing scales under various energetic constraints on the velocity field. In the simplest case of a uniformly Lipschitz velocity (‖∇u‖{L¹_t L^∞x}<∞), energy estimates combined with the flow map yield an exponential lower bound for mix_f(t) and a comparable bound for mix_g(t). When only kinetic energy (‖u‖{L²}) or enstrophy (‖∇×u‖{L²}) is bounded, analogous bounds are obtained, albeit with different constants. These results show that without any restriction on the magnitude of u, arbitrarily fast mixing is possible, whereas any reasonable energetic bound forces a minimal rate of decay of the mixing scales.

Section 4 shifts the focus to Lagrangian estimates. By exploiting the regularity of the flow map for Lipschitz velocities, the authors derive explicit estimates for the deformation of balls and for the Jacobian determinant, which translate directly into lower bounds for both mix_g and mix_f. The analysis highlights how the geometry of the flow (stretching, folding) controls the creation of fine scales.

A central part of the notes is the discussion of Bressan’s “slice‑and‑dice” mixing scheme (Section 5). This combinatorial construction repeatedly cuts the domain into halves and rearranges the pieces, achieving a prescribed amount of mixing in a finite number of steps while keeping the velocity field essentially bounded. The scheme demonstrates that the previously derived lower bounds are sharp: there exist admissible velocity fields for which the mixing scales decay exactly at the rate predicted by the bounds.

Sections 6 and 7 introduce auxiliary tools from harmonic analysis, notably an integral functional G(Φ) that quantifies the logarithmic regularity of the flow, and Littlewood‑Paley decompositions that allow precise control of Sobolev norms. These tools prepare the ground for the treatment of Sobolev‑regular velocity fields.

In Section 8 the authors invoke the DiPerna‑Lions‑Ambrosio theory of regular Lagrangian flows for velocity fields u∈L¹_t W^{s,p}_x with s>0. They prove quantitative Lusin‑Lipschitz regularity estimates for the associated flow map, showing that the map is Hölder continuous with an exponent depending on s and p, and that its logarithmic distortion G(Φ) can be bounded by the Sobolev norm of u. Using these estimates, they obtain polynomial lower bounds for mix_f and mix_g (e.g., mix_f(t)≳C t^{-α}) that are optimal for the given regularity class. The analysis reveals a deep connection between the regularity of the velocity field, the geometry of the flow, and the rate at which mixing can occur.

Section 9 discusses the sharpness of the bounds and the implications for the geometry and regularity of regular Lagrangian flows. By adapting Bressan’s construction to Sobolev settings, the authors show that the polynomial lower bounds cannot be improved in general. They also comment on how these results inform our understanding of the fractal structure of transported sets, the possible formation of singularities in the flow map, and the limitations of mixing in the presence of diffusion (though diffusion is not treated in detail).

Overall, the notes provide a clear roadmap: (1) define precise mixing scales, (2) establish universal lower bounds under natural energetic constraints using both Eulerian energy methods and Lagrangian flow estimates, (3) prove the optimality of these bounds via explicit constructions, and (4) connect the theory to the broader framework of regular Lagrangian flows and recent advances in harmonic analysis. The exposition is self‑contained, includes numerous exercises that reinforce the concepts, and points to a rich bibliography for further study.