Registry · Definition V.D175 tau-effective formalized

V.D175 — Ringdown mode

The n-th ringdown mode of a merged excision is r_n(t) = A_n * e^{-sigma_n * t} * cos(omega_n * t + phi_n), with amplitude A_n, damping rate sigma_n from the spectral gap of rho, and frequency omega_n from the n-th harmonic of the stabilized linking class.

Book V Part 6 Ch. 53

Lean Formalization

Module: TauLib.BookV.Cosmology.MergerNormalForm

Symbol: Tau.BookV.Cosmology.RingdownMode