QNM completeness for Kerr ringdown expansions
Summary
QNM completeness for Kerr ringdown expansions
Why this matters
This is the clean mathematical version of the folklore claim that ringdown is 'a sum of QNMs'.
Exact scope
- Background / setting
- Asymptotically flat four-dimensional general relativity unless the statement specifies otherwise.
- Equation type
- PDE level: spectral-operator.
- Linearity
- Primarily stationary or linearized reductions unless the statement says otherwise.
- Regularity
- Smooth / Sobolev classes as in the problem statement; tighten when citing a specific theorem.
- Parameter regime
- Subextremal Kerr (or Kerr–de Sitter where tagged); spectral parameters $(l,m)$ and frequency $ω$ regimes as in cited microlocal frameworks.
- Asymptotics
- asymptotically-flat
- Gauge / formulation
- State gauge/fixing class compatible with cited stability or interior programs (e.g. generalized harmonic, double-null interior charts).
Status explanation
Entry imported without two independent bibliographic pointers in this repository; treat theorem-level claims as unverified here.
Problem statement
Prove or refute a mathematically precise completeness statement for Kerr quasinormal modes plus tails in late-time expansions of wave or gravitational fields.
What is already known
- Microlocal/resolvent frameworks yield decay and mode stability for waves on exact Kerr and Kerr–de Sitter under stated spectral assumptions.Regime: Linear waves; fixed background.Standard input for QNM expansions and superradiance discussions.
- Nonlinear Kerr stability is proved in a small-$|a|/M$ vacuum window (Klainerman–Szeftel).Regime: Nonlinear vacuum, restricted parameters.Closest nonlinear analogue for exterior stability conjectures.
- Complete QNM expansion as a spectral representation (including branch cuts) for Kerr remains an open mathematical framework problem.Regime: Spectral theory on Kerr.Distinguishes partial mode stability from full expansion/completeness.
Progress summary: Partial progress exists in adjacent regimes;
What remains open
A complete answer must define the function space, the notion of completeness or asymptotic completeness, and the tail remainder precisely.
Mathematical prerequisites
Meromorphic continuation of resolvents; contour deformation; branch-cut analysis; asymptotic expansions for non-selfadjoint operators.
Completion criteria
A complete answer must define the function space, the notion of completeness or asymptotic completeness, and the tail remainder precisely.
Implications if solved
Would settle one of the central structural questions behind black-hole spectroscopy.
Formal verification suitability
FV: high
Stationary, algebraic, ODE/separable, or finite-dimensional substatements admit clearer formalization boundaries.
See Formal verification for how this database uses these labels.
References
- primary Global analysis of linear waves on Kerr–de Sitter space — Hintz, Vasy (2016) Linear wave decay and spectral gap on Kerr–de Sitter; standard microlocal input for $Lambda>0$ decay.
- survey Brief introduction to the nonlinear stability of Kerr — Klainerman, Szeftel (2022) Program overview, gauge structure, and relation between linear tools and nonlinear stability.
Unlocks (other problems list this one as a dependency)
Related problems
Related by shared tags
- K-506 — High-frequency Kerr quasinormal-mode laws with explicit remainder bounds
- K-507 — Finite-data inverse resonance recovery of Kerr parameters
- K-624 — Prove a sharp characterization of near-extremal QNM clustering with explicit remainders.
- K-625 — Prove completeness/expansion of solutions in Kerr via QNMs plus branch-cut contributions (mathematical ringdown expansion).
Editorial / maintainer notes
Open: no complete theorem matching the statement is currently recorded on this site. : tighten if community consensus differs.