Registry · Theorem V.T74 tau-effective formalized

V.T74 — Forced Quasi-Neutrality

Forced Quasi-Neutrality: in a tau-plasma, charge imbalance at any scale l > lambda_D is exponentially small: |n_+(l) - n_-(l)| <= n_0 exp(-l/lambda_D), where lambda_D is the Debye length. Quasi-neutrality follows from the B-sector boundary structure.

Book V Part 4 Ch. 30

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauPlasma

Symbol: Tau.BookV.FluidMacro.ForcedQuasineutrality