Registry · Theorem V.T115 tau-effective formalized

V.T115 — Merger Normal Form

Merger Normal Form: when two single-excision BHs with masses M_1, M_2 and angular momenta J_1, J_2 satisfy the approach condition, the configuration converges to a unique single-excision fixed point with M_final = M_1 + M_2 - Delta_E/c^2. The final state is algebraically determined, not numerically simulated.

Book V Part 6 Ch. 53

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.MergerNormalForm

Symbol: Tau.BookV.Cosmology.MergerNormalForm