Registry · Definition IV.D219 tau-effective formalized

IV.D219 — Critical mobility threshold

The critical mobility threshold mu_crit is the macroscopic mobility value at which the Euler budget ceases to hold; for mu <= mu_crit the budget is conserved, while for mu > mu_crit viscous dissipation breaks the budget and entropy production becomes non-negligible.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.CriticalMobilityThreshold