Registry · Definition V.D242 tau-effective formalized

V.D242 — T² QNM Eigenvalue Structure: ω_{n,m} = √(n²+m²ι_τ⁻²)/(2πr_s)

T² QNM eigenvalue structure: ω_{n,m} = √(n²+m²·ι_τ⁻²)/(2π·r_s) where r_s=2GM/c². First three overtones: (1,0) outer cycle at f₁₀, (0,1) inner cycle at f₁₀·ι_τ⁻¹, (1,1) diagonal at f₁₀·√(1+ι_τ⁻²). For GW150914 (62 M_☉): f(1,0)≈269 Hz, f(0,1)≈789 Hz, f(1,1)≈833 Hz.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.t2_qnm_eigenvalue_structure