Registry · Definition V.D96 tau-effective formalized

V.D96 — Macro defect-transport equation

Macro defect-transport equation: D^macro_{n+1} = pr_base(Phi_{n,n+1}(d_n)), the base-projected evolution of the 4-component defect tuple (mu, nu, kappa, theta), where the fiber contributions from B, C, omega sectors are averaged and enter only through cross-couplings.

Book V Part 4 Ch. 27

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.FluidMacro.NavierStokesMacro

Symbol: Tau.BookV.FluidMacro.MacroDefecttransportEquation