Zero-frequency structure and tail universality
Summary
Zero-frequency structure and tail universality
Why this matters
The tail law is a spectral statement in disguise.
Exact scope
- Background / setting
- Asymptotically flat four-dimensional general relativity unless the statement specifies otherwise.
- Equation type
- PDE level: spectral-operator.
- Linearity
- Includes or emphasizes nonlinear dynamics.
- 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
Relate the low-energy resolvent structure of Kerr operators to universal late-time tail laws, including logarithmic singularities and their coefficients.
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 provide explicit resolvent expansions and derive the corresponding time-domain asymptotics with sharp remainders.
Mathematical prerequisites
Low-energy microlocal analysis; Tauberian arguments; asymptotic inversion of Laplace/Fourier transforms.
Completion criteria
A complete answer must provide explicit resolvent expansions and derive the corresponding time-domain asymptotics with sharp remainders.
Implications if solved
Would unify QNM language and Price-law language in a single framework.
Formal verification suitability
FV: medium
Some subquestions may formalize before the full statement.
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.
Related problems
Related by shared tags
- K-506 — High-frequency Kerr quasinormal-mode laws with explicit remainder bounds
- 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).
- K-627 — Establish pseudospectrum bounds for Kerr wave operators and relate to transient growth near superradiance.
- K-636 — Prove sharp semiclassical quantization of Kerr QNMs with explicit high-frequency error bounds.
- K-661 — Determine whether QNM expansions are stable under small nonlinearities (nonlinear resonance theory).
- K-681 — Develop a mathematically rigorous definition of nonlinear QNMs as poles of a suitable nonlinear response functional.
- K-682 — Prove that Kerr QNMs are stable under small perturbations of the metric in a topology relevant to stability proofs.
Editorial / maintainer notes
Partial: substantial adjacent results or special cases exist, but the statement as written is not fully settled. : replace with a precise description of what is proved vs. conjectured.