Registry · Remark V.R147 tau-effective formalized

V.R147 — Batchelor--Kraichnan spectrum

Batchelor-Kraichnan spectrum: the forward enstrophy cascade predicts E(k) propto eta^{2/3} k^{-3} in the enstrophy-cascade range, following from dimensional analysis applied to the vorticity budget flux eta = Omega_{n+1} - Omega_n = const.

Book V Part 4 Ch. 28

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.BatchelorkraichnanSpectrum