We deduce almost-sure exponentially fast mixing of passive scalars advected by solutions of the stochastically-forced 2D Navier-Stokes equations and 3D hyper-viscous Navier-Stokes equations in T d subjected to non-denegenerate H σ -regular noise for any σ sufficiently large. That is, for all s > 0 there is a deterministic exponential decay rate such that all mean-zero H s passive scalars decay in H −s at this same rate with probability one. This is equivalent to what is known as quenched correlation decay for the Lagrangian flow in the dynamical systems literature. This is a follow-up to our previous work, which establishes a positive Lyapunov exponent for the Lagrangian flow-in general, almost-sure exponential mixing is much stronger than this. Our methods also apply to velocity fields evolving according to finitedimensional fluid models, for example Galerkin truncations of Navier-Stokes or the Stokes equations with very degenerate forcing. For all 0 ≤ k < ∞ we exhibit many examples of C k t C ∞ x random velocity fields that are almost-sure exponentially fast mixers.

We study the Lagrangian flow associated to velocity fields arising from various models of fluid mechanics subject to white-in-time, H s -in-space stochastic forcing in a periodic box. We prove that in many circumstances, these flows are chaotic, that is, the top Lyapunov exponent is strictly positive. Our main results are for the Navier-Stokes equations on T 2 and the hyper-viscous regularized Navier-Stokes equations on T 3 (at arbitrary Reynolds number and hyper-viscosity parameters), subject to forcing which is non-degenerate at high frequencies. As an application, we study statistically stationary solutions to the passive scalar advection-diffusion equation driven by these velocities and subjected to random sources. The chaotic Lagrangian dynamics are used to prove a version of anomalous dissipation in the limit of vanishing diffusivity, which in turn, implies that the scalar satisfies Yaglom's law of scalar turbulence -the analogue of the Kolmogorov 4/5 law. Key features of our study are the use of tools from ergodic theory and random dynamical systems, namely the Multiplicative Ergodic Theorem and a version of Furstenberg's Criterion, combined with hypoellipticity via Malliavin calculus and approximate control arguments.

We consider C 2 Fréchet differentiable mappings of Banach spaces leaving invariant compactly supported Borel probability measures, and study the relation between entropy and volume growth for a natural notion of volume defined on finite dimensional subspaces. SRB measures are characterized as exactly those measures for which entropy is equal to volume growth on unstable manifolds, equivalently the sum of positive Lyapunov exponents of the map. In addition to numerous difficulties incurred by our infinite-dimensional setting, a crucial aspect to the proof is the technical point that the volume elements induced on unstable manifolds are regular enough to permit distortion control of iterated determinant functions. The results here generalize previously known results for diffeomorphisms of finite dimensional Riemannian manifolds, and are applicable to dynamical systems defined by large classes of dissipative parabolic PDEs.

We consider a large class of 2D area-preserving diffeomorphisms that are not uniformly hyperbolic but have strong hyperbolicity properties on large regions of their phase spaces. A prime example is the standard map. Lower bounds for Lyapunov exponents of such systems are very hard to estimate, due to the potential switching of "stable" and "unstable" directions. This paper shows that with the addition of (very) small random perturbations, one obtains with relative ease Lyapunov exponents reflecting the geometry of the deterministic maps.