Registry · Proposition V.P48 tau-effective formalized

V.P48 — Debye shielding

Debye shielding: a test charge Q in a tau-plasma is screened with potential phi(r) = Q/(4pi epsilon_0 r) exp(-r/lambda_D); the Coulomb potential is exponentially suppressed beyond the Debye length lambda_D, following from boundary obstruction redistribution.

Book V Part 4 Ch. 30

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauPlasma

Symbol: Tau.BookV.FluidMacro.DebyeShielding