Registry · Proposition V.P50 tau-effective formalized

V.P50 — Alfv'en wave dispersion

Alfven wave dispersion: in a uniform tau-MHD equilibrium with background field B_0, small perturbations propagate as Alfven waves with omega = +/- v_A k_parallel, where v_A = B_0/sqrt(mu_0 rho) is the Alfven speed.

Book V Part 4 Ch. 31

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauMHD

Symbol: Tau.BookV.FluidMacro.AlfvenWaveDispersion