Registry · Proposition V.P46 tau-effective formalized

V.P46 — Plasma oscillations

Plasma oscillations: a small charge perturbation in a tau-plasma oscillates at the plasma frequency omega_p = sqrt(n_0 e^2 / (m_e epsilon_0)); the oscillations are longitudinal (compression-rarefaction in electron density) and do not propagate below omega_p.

Book V Part 4 Ch. 30

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauPlasma

Symbol: Tau.BookV.FluidMacro.PlasmaOscillations