Registry · Definition V.D116 tau-effective formalized

V.D116 — Second-order macro transition

Second-order macro transition: at base point t_c, the macro defect tuple D^macro(t) is continuous but one or more of its derivatives dD^macro/dt are discontinuous, and a symmetry of the defect-tuple configuration is broken or restored at t_c.

Book V Part 4 Ch. 33

Lean Formalization

Module: TauLib.BookV.FluidMacro.PhaseTransitions

Symbol: Tau.BookV.FluidMacro.SecondorderMacroTransition