Registry · Proposition V.P44 tau-effective formalized

V.P44 — Dual cascade decomposition

Dual cascade decomposition in 2D: the defect budget decomposes into an inverse energy cascade (mu^2 transfers from high to low primorial levels) and a forward enstrophy cascade (nu^2 transfers from low to high levels); K5 sector isolation prevents mu-nu cross-transfer in the inertial range.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.DualCascadeDecomposition