Compressibility

Reynolds-averaged Navier–Stokes equations

Turbulence

Intermittency

Reynolds number

Classical mechanics

Statistical physics

Thermodynamics

Physics

Advection

Navier–Stokes equations

Scalar (mathematics)

Mathematics

Geometry

Stratified flow

Mechanics

Dissipative system

Stratified flows

Communications on Pure and Applied Mathematics

In 1959 Batchelor predicted that the stationary statistics of passive scalars advected in fluids with small diffusivity k should display a power spectrum along an inertial range contained in the viscous‐convective range of the fluid model. This prediction has been extensively tested, both experimentally and numerically, and is a core prediction of passive scalar turbulence . In this article we provide a rigorous proof of a version of Batchelor's prediction in the limit when the scalar is subjected to a spatially smooth, white‐in‐time stochastic source and is advected by the 2D Navier‐Stokes equations or 3D hyperviscous Navier‐Stokes equations in forced by sufficiently regular, nondegenerate stochastic forcing. Although our results hold for fluids at arbitrary Reynolds number, this value is fixed throughout. Our results rely on the quantitative understanding of Lagrangian chaos and passive scalar mixing established in our recent works. Additionally, in the limit, we obtain statistically stationary, weak solutions in to the stochastically forced advection problem without diffusivity . These solutions are almost‐surely not locally integrable distributions with nonvanishing average anomalous flux and satisfy the Batchelor spectrum at all sufficiently small scales. We also prove an Onsager‐type criticality result that shows that no such dissipative, weak solutions with a little more regularity can exist. © 2021 Wiley Periodicals LLC.

The Batchelor Spectrum of Passive Scalar Turbulence in Stochastic Fluid Mechanics at Fixed Reynolds Number