Registry · Definition V.D108 tau-effective formalized

V.D108 — Magnetic Reynolds number

Magnetic Reynolds number: Rm = UL/eta_m = mu_0 sigma UL, where U is the characteristic velocity, L is the characteristic length, and eta_m is the magnetic diffusivity; determines whether flux is frozen in (Rm >> 1) or diffuses freely (Rm << 1).

Book V Part 4 Ch. 31

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauMHD

Symbol: Tau.BookV.FluidMacro.MagneticReynoldsNumber