Standard forms for the four equal-reflexion/transmission Kerr potentials and rigorous foundation of the KdV-type integral hierarchy of equal-scattering potential pairs (Chandrasekhar 1980)

Chandrasekhar (Proc. R. Soc. Lond. A 369, 425, 1980) constructed a very general family of real one-dimensional potential pairs $V^{(+)}$, $V^{(-)}$ — including the Regge–Wheeler/Zerilli pair of Schwarzschild black-hole perturbation theory — having exactly equal reflexion and transmission coefficients, and showed formally that such pairs satisfy an infinite hierarchy of integral equalities of the same form as the conserved quantities of the Korteweg–de Vries (KdV) equation. The paper explicitly left two issues open: (i) the extension to the complex potentials arising in perturbations of the Kerr metric, where four distinct potentials share the same scattering data and no reduction to standard forms analogous to $V^{(\pm)}$ is known; (ii) the mathematical rigor of the appendix argument, which assumes that $\log B(\sigma)$ (the logarithm of the transmission amplitude at complex frequency $\sigma$) admits, in the part of the lower half complex-frequency plane free of the quasinormal-mode resonances, an expansion in inverse powers of $\sigma$ at large $|\sigma|$, and which uses term-by-term integration and coefficient matching even though the potentials' $1/x^2$ tails violate the hypotheses of standard inverse-scattering theory, and which verified only the first few integral equalities. Later literature resolved part of (ii) at the physics level — the full hierarchy equality is now proved for the real Schwarzschild pairs and their Darboux relatives via Darboux covariance — and systematized the tetrad structure of the Kerr potentials through the modern theory of Darboux transformations; but the standard-form reduction of the four Kerr potentials and the rigorous analyticity foundation for borderline $1/x^2$ tails remain open. The problem thus survives with a precise, nonempty open core.

Background

Linear perturbations of the Schwarzschild (non-rotating) black hole reduce, after separation of variables, to one-dimensional stationary scattering problems: a wave function $\psi$ obeying $\frac{d^2\psi}{dx^2}+\left(\omega^2-V(x)\right)\psi=0,$ where the tortoise coordinate $x=r+2M\ln(r/2M-1)$ maps the event horizon to $x\to-\infty$ and spatial infinity to $x\to+\infty$, so that $V(x)$ acts as a potential barrier between ingoing and outgoing waves. The barrier is characterized by its reflexion and transmission coefficients $|R(\omega)|^2$ and $|T(\omega)|^2$; these determine the quasinormal-mode spectrum (the resonant ringdown frequencies, which are poles of the scattering amplitudes) and the greybody factors controlling how much radiation emitted near the hole escapes to infinity. The axial (Regge–Wheeler) and polar (Zerilli) gravitational perturbation potentials are two distinct barriers of this kind, each vanishing at both ends but only as $1/x^2$ at spatial infinity.

A central fact of Chandrasekhar's 1970s transformation theory is that the Regge–Wheeler and Zerilli potentials are isospectral: they have the same quasinormal-mode spectrum and the same reflexion and transmission coefficients even though the potentials themselves look different. The structural reason is the Darboux transformation (equivalently, an intertwining relation or supersymmetric quantum-mechanical partnership): from a Schrödinger-type operator and one known solution of it one constructs a partner operator together with an operator identity relating the two, which forces common scattering information between the partners. Chandrasekhar's monograph The Mathematical Theory of Black Holes collects this theory in book form.

In the 1980 paper under discussion, Chandrasekhar asked how general the class of potential pairs with exactly equal reflexion and transmission coefficients is, and constructed a very general family of real pairs $V^{(+)}$, $V^{(-)}$ — generated from a single function $G(x)$ together with constants, of the schematic form $V^{(\pm)}=\pm G_{,x}+\alpha G+G^2$ (where $G_{,x}$ denotes the derivative of $G$ with respect to $x$ and $\alpha$ is a constant) — with the Regge–Wheeler/Zerilli pair appearing as a special case. A formal inverse-scattering argument in the appendix indicated that such pairs satisfy an infinite hierarchy of integral equalities having the same form as the conserved quantities of the Korteweg–de Vries (KdV) equation, $\partial u/\partial t=6u\,\partial u/\partial x-\partial^3u/\partial x^3$ — the soliton equation whose scattering theory (trace formulas) expresses integrals of functions of $V$ in terms of the scattering data. Chandrasekhar verified only the first few integral equalities explicitly for the Schwarzschild pair but found no inductive proof of the whole hierarchy; moreover, the appendix derivation assumed that $\log B(\sigma)$ — the logarithm of the transmission amplitude at complex frequency $\sigma$, in the source's notation — admits an expansion in inverse powers of $\sigma$ at large $|\sigma|$ in the region of the lower half-plane $\operatorname{Im}\sigma<0$ that is free of the quasinormal-mode resonances, allowing term-by-term integration and matching of coefficients between the two members of a pair. In the modern formulation of the same trace-identity machinery this is the statement that the Jost (transmission) coefficient is analytically continued into one half of the complex-frequency plane and that its logarithm admits there an asymptotic expansion in inverse powers of the frequency, the coefficients of which are exactly the KdV integrals (Zakharov–Faddeev 1971, as used in Lenzi–Sopuerta 2021 and 2023, where the transmission coefficient is $t=1/a$ with $a$ the Jost coefficient, $a(k)$ analytic for $\operatorname{Im}k>0$ and $\overline{a}(k)$ analytic for $\operatorname{Im}k<0$). Neither the source's assumption nor this modern formulation is covered by the classical inverse-scattering theory of Faddeev, whose theorems require the weighted integrability condition $\int(1+|x|)\,|V(x)|\,dx<\infty$, which the black-hole potentials' $1/x^2$ tails violate; Lenzi–Sopuerta (2023) note explicitly that "the integrability of the potential is not enough to guarantee the analyticity" of the scattering data.

For the Kerr (rotating) black hole the situation is richer. Perturbations of any spin are governed by the Teukolsky equation — the complex, spin-weighted master equation of the Kerr background, with long-range coupling terms — and the transformation theory now produces not one pair but four distinct (generally complex) potentials which nevertheless share the same scattering data: the tetrad found by Chandrasekhar and Detweiler, and a companion tetrad derived by Detweiler; the two tetrads coincide for axisymmetric modes. The 1980 paper closes by leaving open whether the equal-reflexion/transmission analysis extends to this Kerr setting — in particular, whether the four potentials can be reduced to standard forms analogous to the real pair $V^{(\pm)}$.

Modern work has clarified parts of this landscape: the Darboux structure of the Kerr potential tetrads has been systematized (Glampedakis–Johnson–Kennefick 2017), the full KdV-integral hierarchy has been proved for the real Schwarzschild pairs by a different route (Darboux covariance; Lenzi–Sopuerta 2021, 2024), and the KdV integrals have become a practical tool for computing Schwarzschild greybody factors (Lenzi–Sopuerta 2023). What survives of the 1980 open questions is detailed in the Problem Statement below.

Problem Statement

Chandrasekhar (1980) leaves the analysis of potential barriers having equal reflexion and transmission coefficients open in two linked directions.

(1) The Kerr standard-form problem. In the transformation theory of perturbations of the Kerr metric one encounters four different (generally complex) potentials which nevertheless yield the same reflexion and transmission coefficients. Can these four potentials be reduced to standard forms analogous to the real pair $V^{(\pm)}$ constructed in the 1980 paper — that is, is there an explicit parametric family, generated from a single structure in the way $V^{(\pm)}=\pm G_{,x}+\alpha G+G^2$ is generated from $G$, to which the four Kerr potentials reduce, so that the equality of their scattering data becomes a structural identity? Such a reduction would raise the further, separate question whether the KdV-type integral-equality machinery extends to the four complex Kerr potentials; that extension has not been carried out to date, and it is not part of what component (1) asks for.

(2) The rigor problem for the appendix argument. Establish, with hypotheses covering the potentials of interest (whose $1/x^2$ tails violate Faddeev's weighted integrability condition $\int(1+|x|)|V|\,dx<\infty$), that the transmission amplitude $B(\sigma)$, and hence $\log B(\sigma)$, admits the analytic continuation into the resonance-free part of the half-plane $\operatorname{Im}\sigma<0$ and the expansion in inverse powers of $\sigma$ at large $|\sigma|$ on which the appendix relies, that the term-by-term integration and coefficient matching used there are valid, and that the entire infinite hierarchy of integral equalities — of which only the first few were verified by hand — follows from the equality of the transmission amplitudes.

The two components address the two directions in which Chandrasekhar (1980) leaves the analysis of equal-reflexion/transmission barriers open: a structural characterization of the four Kerr potentials that share their scattering data (component 1), and a rigorous foundation, for the physically relevant borderline $1/x^2$ tails, of the integral-hierarchy argument by which the source derives and interprets that equality (component 2). Both components are required to resolve the problem; each is an open problem in its own right.

References

1. S. Chandrasekhar, "On one-dimensional potential barriers having equal reflexion and transmission coefficients", Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences 369, 425–433 (1980). DOI: 10.1098/rspa.1980.0008, https://doi.org/10.1098/rspa.1980.0008 (source paper)
2. K. Glampedakis, A. D. Johnson, D. Kennefick, "Darboux transformation in black hole perturbation theory", Physical Review D 96, 024036 (2017). arXiv:1702.06459, https://arxiv.org/abs/1702.06459, DOI: 10.1103/PhysRevD.96.024036
3. M. Lenzi, C. F. Sopuerta, "Darboux covariance: A hidden symmetry of perturbed Schwarzschild black holes", Physical Review D 104, 124068 (2021). arXiv:2109.00503, https://arxiv.org/abs/2109.00503, DOI: 10.1103/PhysRevD.104.124068
4. M. Lenzi, C. F. Sopuerta, "Black hole greybody factors from Korteweg–de Vries integrals: Theory", Physical Review D 107, 044010 (2023). arXiv:2212.03732, https://arxiv.org/abs/2212.03732, DOI: 10.1103/PhysRevD.107.044010
5. M. Lenzi, C. F. Sopuerta, "Black hole greybody factors from Korteweg–de Vries integrals: Computation", Physical Review D 107, 084039 (2023). DOI: 10.1103/PhysRevD.107.084039, https://doi.org/10.1103/PhysRevD.107.084039
6. M. Lenzi, C. F. Sopuerta, "Gauge-independent metric reconstruction of perturbations of vacuum spherically-symmetric spacetimes", Physical Review D 109, 084030 (2024). arXiv:2402.10004, https://arxiv.org/abs/2402.10004, DOI: 10.1103/PhysRevD.109.084030
7. M. Lenzi, A. Montava Agudo, C. F. Sopuerta, "Korteweg-de Vries integrals for modified black hole potentials: instabilities and other questions", Journal of Cosmology and Astroparticle Physics 09 (2025) 021. DOI: 10.1088/1475-7516/2025/09/021, https://doi.org/10.1088/1475-7516/2025/09/021; arXiv:2503.09918, https://arxiv.org/abs/2503.09918
8. J. L. Jaramillo, M. Lenzi, C. F. Sopuerta, "Integrability in perturbed black holes: background hidden structures", Physical Review D 110, 104049 (2024). DOI: 10.1103/PhysRevD.110.104049, https://doi.org/10.1103/PhysRevD.110.104049; arXiv:2407.14196, https://arxiv.org/abs/2407.14196
9. S. Detweiler, "On resonant oscillations of a rapidly rotating black hole", Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences 352, 381–395 (1977). DOI: 10.1098/rspa.1977.0005, https://doi.org/10.1098/rspa.1977.0005
10. M. Sasaki, T. Nakamura, "Gravitational radiation from a Kerr black hole. I. Formulation and a method for numerical analysis", Progress of Theoretical Physics 67, 1788–1809 (1982). DOI: 10.1143/PTP.67.1788, https://doi.org/10.1143/PTP.67.1788
11. L. D. Faddeev, "Inverse problem of quantum scattering theory. II", Journal of Soviet Mathematics 5, 334–396 (1976). DOI: 10.1007/BF01083780, https://doi.org/10.1007/BF01083780
12. A. Neitzke, "Greybody factors at large imaginary frequencies", arXiv:hep-th/0304080 (2003), https://arxiv.org/abs/hep-th/0304080
13. S. Chandrasekhar, "The Mathematical Theory of Black Holes", Oxford University Press (1983; Oxford Scholarship Online edition 1998). DOI: 10.1093/oso/9780198503705.001.0001, https://doi.org/10.1093/oso/9780198503705.001.0001
14. Z.-X. Huang, P.-C. Li, "Quasinormal mode/grey-body factor correspondence for Kerr black holes", arXiv:2512.23510 (2025), https://arxiv.org/abs/2512.23510