Registry · Theorem V.T93 tau-effective formalized

V.T93 — Chirp Mass from Boundary Holonomy

The GW frequency evolution f_dot = (96/5) pi^{8/3} (G M_c/c^3)^{5/3} f^{11/3} during binary inspiral is governed by the chirp mass M_c = (M_1 M_2)^{3/5}/(M_1+M_2)^{1/5}, derived from boundary holonomy energy loss.

Book V Part 5 Ch. 41

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BinaryMergersGW

Symbol: Tau.BookV.Astrophysics.ChirpMassFromBoundaryHolonomy