Registry · Definition V.D278 tau-effective formalized

V.D278 — Synchrotron Frequency Pair

Synchrotron modulation frequency pair via B-sector readout: ν_major = ω_major/(2π), ν_minor = ν_major·ι_τ⁻¹. M87*: 4.65 d / 1.59 d. Sgr A*: 4.4 min / 1.5 min.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.SynchrotronFrequencyPair