Registry · Definition V.D112 tau-effective formalized

V.D112 — Alfv'en orbit

Alfven orbit on tau^3: a trajectory gamma_A(t) in H_partial[omega] where the B-component oscillates as Hol_B = A cos(omega_A t + phi), the D-component oscillates in antiphase scaled by v_A/c, and the frequency satisfies the Alfven dispersion relation.

Book V Part 4 Ch. 32

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauAlfven

Symbol: Tau.BookV.FluidMacro.AlfvenOrbit