Registry · Definition V.D312 tau-effective formalized

V.D312 — Alfvén Damping Rate

γ_A = κ(B;2)·ω_A = ι_τ²·v_A k. B-sector coupling governs Alfvén dissipation. Damping length L_d = 1/(ι_τ² k).

Book V Part 4 Ch. 32

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauAlfven

Symbol: Tau.BookV.FluidMacro.AlfvenDampingRate