Registry · Theorem V.T223 tau-effective formalized

V.T223 — T^2 Ringdown Formula

T^2 QNM pair: primary f_{1,0} (= GR mode) and secondary f_{0,1} = f_{1,0} * iota_tau^{-1}. Ratio iota_tau^{-1} approx 2.930 is mass-independent. GW150914: 251 Hz / 735 Hz.

Book V Part 5 Ch. 41

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BinaryMergersGW

Symbol: Tau.BookV.Astrophysics.t2_ringdown_ratio_x1000