Registry · Proposition V.P47 tau-effective formalized

V.P47 — Plasma cutoff

Plasma cutoff: the EM dispersion relation in a tau-plasma is omega^2 = omega_p^2 + c^2 k^2; for omega < omega_p the wave is evanescent (k^2 < 0), and for omega > omega_p it propagates with phase velocity v_phi > c and group velocity v_g < c.

Book V Part 4 Ch. 30

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauPlasma

Symbol: Tau.BookV.FluidMacro.PlasmaCutoff