Registry · Definition IV.D211 tau-effective formalized

IV.D211 — Macroscopic mobility

Macroscopic mobility mu^macro(C) = (1/N) sum_i mu(d_i) + mu_int(C), the first component of D^macro, where the interaction term mu_int encodes collective resistance or facilitation of base-direction flow for the N-body configuration.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.MacroscopicMobility