Registry · Remark V.R72 tau-effective not_applicable

V.R72 — Inspiral phase is linear

The inspiral phase of binary mergers is well described by the post-Newtonian approximation (linear/weakly-nonlinear regime). The tau-Einstein equation reproduces the post-Newtonian expansion order by order because its chart shadow matches the Einstein equation order by order.

Book V Part 2 Ch. 14

Lean Formalization

Module: