Registry · Proposition V.P53 tau-effective formalized

V.P53 — ISM Alfv'en cascade

ISM Alfven cascade: in the interstellar medium, Alfven turbulence follows Goldreich-Sridhar scaling E(k_perp) propto k_perp^{-5/3} with critical balance k_parallel propto k_perp^{2/3}, a magneto-turbulent cascade where both velocity and magnetic field participate.

Book V Part 4 Ch. 32

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauAlfven

Symbol: Tau.BookV.FluidMacro.IsmAlfvenCascade