Registry · Definition V.D309 tau-effective formalized

V.D309 — She-Lévêque τ-Decomposition

ζ_p = p/dim(τ³)² + dim(T²)·[1-(dim(T²)/dim(τ³))^{p/dim(τ³)}]. Linear: K41 on squared dimension. Nonlinear: fiber-controlled intermittency.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.SheLevequeDecomposition