Registry · Remark V.R148 tau-effective formalized

V.R148 — She--L'ev^eque formula

The She-Leveque formula zeta_p = p/9 + 2(1 - (2/3)^{p/3}) may be recovered from the hierarchical structure of the primorial tower, where the most intense structures correspond to configurations saturating the ABCD bound; rigorous derivation is open (conjectural scope).

Book V Part 4 Ch. 28

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.ShelevequeFormula