Registry · Theorem V.T72 tau-effective formalized

V.T72 — Macro energy spectrum

Macro energy spectrum: in the tau-inertial range, E(k) = C_K epsilon^{2/3} k^{-5/3} (the Kolmogorov -5/3 law), where k is the wavenumber readout of the primorial level, epsilon is the budget flux, and C_K is determined by defect-tuple geometry.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.MacroEnergySpectrum