Registry · Proposition V.P49 tau-effective formalized

V.P49 — Reconnection energy bound

Reconnection energy bound: the energy released in a tau-reconnection event is bounded above by the magnetic energy difference Delta E_rec <= (1/2mu_0) integral_V (|B_init|^2 - |B_final|^2) dV between initial and final topological states.

Book V Part 4 Ch. 31

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauMHD

Symbol: Tau.BookV.FluidMacro.ReconnectionEnergyBound