Registry · Definition V.D103 tau-effective formalized

V.D103 — Macro current

Macro current density: J^macro(x) = R_mu(q mu_B(x) v-hat_B(x)), the readout of the B-sector mobility flow, where q is the local charge, mu_B is the B-sector mobility, and v-hat_B is the unit velocity direction.

Book V Part 4 Ch. 29

Lean Formalization

Module: TauLib.BookV.FluidMacro.ChargeObstruction

Symbol: Tau.BookV.FluidMacro.MacroCurrent