Registry · Theorem V.T249 tau-effective formalized

V.T249 — Intermittency Exponent Agreement

She-Lévêque ζ_p matches experiment to <1% for p≤12. p=2: 0.696 vs 0.70±0.01; p=4: 1.280 vs 1.28±0.02; p=6: 1.778 vs 1.77±0.04; p=8: 2.211 vs 2.21±0.07.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (1)

V.T248

Depended on by (2)

V.P170 V.T337

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.SheLevequeAgreement