Registry · Definition V.D110 tau-effective formalized

V.D110 — MHD instability condition

MHD instability condition: an MHD equilibrium d_0 is unstable if there exists a perturbation delta-d such that the defect functional decreases, delta[omega](d_0 + delta-d) < delta[omega](d_0); the system evolves toward the lower-energy state.

Book V Part 4 Ch. 31

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauMHD

Symbol: Tau.BookV.FluidMacro.MhdInstabilityCondition