Abstract
We uncover hidden spectral symmetries of the Teukolsky equation in Kerr(-de Sitter) black holes, recently conjectured by Aminov, Grassi and Hatsuda (Ann. Henri Poincaré 23, 1951-1977, 2022, and Gen. Relativ. Grav. 53(10):93, 2021) in the zero cosmological constant case. Using these symmetries, we provide a new, simpler proof of mode stability for subextremal Kerr black holes. We also present a partial mode stability result for Kerr–de Sitter black holes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In General Relativity, a vacuum spacetime is a \((1+3)\)-dimensional Lorentzian manifold solving the Einstein equations
where g is the Lorentzian metric and \(\Lambda \) is the cosmological constant. Here, we will focus especially on the \(\Lambda \ge 0\) case. Of paramount importance are the Kerr and Kerr–de Sitter, black hole families of solutions to (1.1) with \(\Lambda =0\) and \(\Lambda >0\), respectively. These are parametrized by their mass \(M>0\) and a specific angular momentum \(a\in \mathbb {R}\) which is constrained in terms of M and \(\Lambda \); for instance, in the case \(\Lambda =0\), Kerr black holes verify the bound \(|a|\le M\).
As Kerr(-de Sitter) black holes are stationary spacetimes, they correspond to equilibrium states for (1.1), and one would like to determine whether they are stable or unstable equilibria [RW57]. A great deal of progress on the problem has been achieved for the spherically symmetric non-rotating (\(a=0\)) subfamily and perturbations thereof. In the \(\Lambda >0\) case, Hintz and Vasy showed a full nonlinear stability statement when the black hole parameters are such that \(|a|\ll M,\Lambda \). In the more nuanced \(\Lambda =0\) setting, a complete picture of the nonlinear stability of the \(a=0\) subfamily was only very recently established by Dafermos, Holzegel, Rodnianski and Taylor in [DHRT21]; see also [KS21] for some progress in the direction of an extension to \(|a|\ll M\) black holes.
Outside these special classes, stability of Kerr(-de Sitter) black holes has remained an open question. Nevertheless, the previous works lay out a clear roadmap for investigating it. The key step in the program is to understand the so-called Teukolsky equation with \(s=\pm 2\), as it describes the dynamics of some gauge-invariant curvature components in the linearized Einstein equations around Kerr(-de Sitter) black holes. The Teukolsky equation was first obtained in the \(\Lambda =0\) case by Teukolsky [Teu73], and later for \(\Lambda >0\) in [Kha83]. For \(\Lambda \ge 0\), writing \(\Xi =1+a^2\Lambda /3\), this equation takes the form
in Boyer–Lindquist-type coordinates, where \(\Delta \) is a function of r given by
see already Sections 2.1 and 3.1 for the definitions of \(\Delta _\theta \) and \(\rho \). In (1.2), \(\Box _g\) is the covariant wave operator on the fixed Kerr(-de Sitter) metric. The parameter s is called a spin-weight taking values in \(\frac{1}{2}\mathbb {Z}\). Aside from the important case \(s=\pm 2\) concerning gravitational perturbations, (1.2) gives the dynamics of some gauge-invariant electromagnetic components in the linearized Maxwell equations if \(s=\pm 1\), and describes perturbations by Dirac fields if \(s=\pm \frac{1}{2}\) and by conformal scalar fields if \(s=0\). Note that a conformal scalar field is massless in the \(\Lambda =0\) setting, but has a specific Klein–Gordon mass in the \(\Lambda \ne 0\) case, see Section 3.2.2 for further insight regarding our choice of mass.
If Kerr-(de Sitter) black holes are nonlinearly stable, the most basic statement we can hope to prove for (1.2) is that it is modally stable, i.e. that there are no separable solutions to (1.2) which are exponentially growing or bounded but non-decaying in time. By separable solution we mean a solution of the form
where S and \(\upalpha \) satisfy, respectively, an angular ODE and a radial ODE with suitable boundary conditions; note that \(\upalpha ^{[{s}]}\) is exponentially growing if \({\text {Im}}\omega >0\) and bounded, non-decaying in time if \(\omega \in \mathbb {R}\). Our motivation for studying solutions as in (1.4) comes from Carter’s result [Car68] that \(\Box _g\), and hence (1.2), is separable.
The only systematic way of establishing mode stability for a PDE is to find a conserved coercive energy. In a stationary spacetime such as Kerr(-de Sitter) we have an obvious candidate for such an energy: the conserved quantity associated to the stationary Killing field. This energy is coercive for non-rotating, i.e. \(a=0\), black holes, thus mode stability follows at once in such spacetimes. Perturbative arguments, relying on the celebrated redshift effect of Dafermos and Rodnianski [DR09], allow us to extend the \(a=0\) mode stability result to the larger class of black holes which are very slowly rotating, i.e. where \(|a|\ll M\) [DR10] and, if \(\Lambda >0\), \(|a|\ll M,\Lambda \) [Dya11b].
In the general \(a\ne 0\) case, this approach breaks down completely. The conserved energy associated to the Killing field is generally non-coercive. In the cases \(s=0, \pm 1,\pm 2\) the non-coercivity goes by the name of superradiance. From the point of view of the black hole geometry, superradiance is a consequence of the fact that rotating black holes have ergoregions where the stationary field becomes spacelike. Under the separable ansatz (1.4), superradiance is captured by a simple condition on the frequency parameters \(\omega \) and m. For instance, take \(\omega \in \mathbb {R}\): if \(\Lambda =0\), the superradiant condition reads
where \(r_+\) is the largest root of (1.3); if \(\Lambda >0\), it reads
where \(r_2,r_1\) are, respectively, the largest and second largest roots of (1.3). Furthermore, the stabilizing effect of redshift is generally not strong enough to overcome superradiance.
Superradiance, therefore, emerges as an important obstacle in establishing mode stability and, indeed, black hole stability for general back hole parameters: there are several examples where superradiance leads to mode instability. Massive scalar fields on Kerr can produce a black hole bomb [SR15a], and even milder modifications of the scalar potential can lead to non-decaying modes [Mos17] in Kerr. For Kerr’s \(\Lambda <0\) cousin, Kerr-Anti de Sitter, superradiance may be even more damaging to its stabilityFootnote 1: massive and massless scalar fields also admit exponentially growing modes [Dol17] (see also [CD04]) on black holes which lie below the Hawking–Reall [HR00] bound.
In light of all these mode instabilities, it is remarkable that, in the \(\Lambda =0\) case, mode stability holds for the entire Kerr black hole family, even in the endpoint case \(|a|=M\). This is mostly to the credit of the pioneering work of Whiting [Whi89]. In 1989, Whiting proved mode stability for \({\text {Im}}\omega >0\) and \(|a|<M\) by demonstrating that such mode solutions (1.4) to (1.2) can be injectively mapped into mode solutions of a scalar wave equation on a new spacetime in which the energy associated to the stationary Killing field is coercive. Whiting’s map consists of taking appropriate integral and differential transformations of the radial and angular functions, respectively, in (1.4). It turns out, as Shlapentokh-Rothman showed in 2015 [SR15b], that Whiting’s integral radial transformation suffices to prove mode stability in the upper half-plane and even on the real axis for \(|a|<M\), see also a different extension to the real axis in [AMPW17]. However, as the transformation is very sensible to the change in the nature of singularities in the radial ODE, it breaks down at the endpoint case \(|a|=M\). There, Whiting’s method requires a very different integral transformation, which was only very recently found by the second author [TdC20]. We emphasize that while Whiting’s approach to mode stability may be bypassed when considering \(|a|\ll M\) black holes, by the reasons described above, it was absolutely crucial to the characterization of solutions to the Teukolsky equation (2.1) in the full subextremal range of parameters \(|a|<M\) in the works [DRSR16, SRTdC20, SRTdC21], as no other approach to mode stability for general a was known.
Turning to the Kerr–de Sitter \(\Lambda >0\) case, the picture is much less complete, and it remains an open problem to determine whether (1.2) is modally stable for general black hole parameters. The lack of a mode stability statement is one of the reasons why Hintz and Vasy’s proof [HV18] of nonlinear stability of the Kerr–de Sitter family cannot be extended past the very slowly rotating \(|a|\ll M,\Lambda \) setting. In fact, in the linear setting of the scalar wave equation, recent work of Petersen and Vasy [PV21] has singled out mode stability as the only obstruction to showing decay in the full subextremal range. This state of affairs is also somewhat surprising: the \(\Lambda >0\) case in spherical symmetry and perturbations thereof is much better behaved than the \(\Lambda =0\) case (compare, for instance, [DR10] and [Dya11a]), so naively one would expect mode stability to be easier to show in the former case than in the latter. Yet, to employ Whiting’s method in Kerr–de Sitter one requires, much like in the \(|a|=M, \Lambda =0\) case, a new radial integral transformation, as the nature of the singular points of the radial ODE is very different from the \(\Lambda =0\) case. Attempts at finding such a transformation have been unsuccessful, see [Ume00] for a discussion, and no other mechanism of establishing mode stability has been put forth.
The goal of this paper is precisely to revisit mode stability for Kerr(-de Sitter) black holes. In the \(\Lambda =0\) setting, we provide a new proof of the classical mode stability result.
Theorem 1
Fix \(M>0\) and \(|a|<M\), and let \(s\in \frac{1}{2}\mathbb {Z}\). Then there are no non-trivial mode solutions (1.4) to (1.2) for \(\omega \ne 0\) with \({\text {Im}}\omega \ge 0\).
Our proof makes use of previously unknown symmetries of the point spectrum of the radial Teukolsky equation. Such symmetries were conjectured to exist by Aminov, Grassi and Hatsuda [AGH21, Hat21a] by comparing the Teukolsky equation with quantization conditions for some supersymmetric gauge theories [IKO17], see also [BCGM21, BILT21]. To establish their conjecture, we rely on a Jaffé expansion for the radial Teukolsky ODE, see [MDW95, Part B], a method usually attributed in the black hole community to Leaver’s seminal work on quasinormal modes [Lea85]. We also sketch an alternative proof via the so-called MST method of Mano, Suzuki and Tagasuki [MST96], see also [ST03]. Finally, we emphasize that our results hold for \({\text {Im}}\omega \ge 0\), and we refer the reader to the previous references and the more recent [GW21, GW20] for results concerning the case \({\text {Im}}\omega <0\).
In the \(\Lambda >0\) or Kerr–de Sitter setting, we show that symmetries analogous to those for \(\Lambda =0\) hold for the point spectrum of the radial Teukolsky ODE. These are once again inspired by the supersymmetric gauge theories of [IKO17], though to the best of our knowledge have not been conjectured or shown earlier. To prove their existence, rather than a Jaffé expansion, we rely on an expansion in hypergeometric polynomials which, despite being well-known in the classical texts on special ODEs, is to our knowledge new in the General Relativity literature. An alternative proof based on a variant of the MST method introduced in [STU99, STU00] is also sketched briefly. As for Kerr, making use of these novel symmetries, we are able to establish a partial mode stability result for Kerr–de Sitter:
Theorem 2
Fix \(\Lambda >0\), \(M>0\) and \(|a|<3/\Lambda \) so that (1.3) has four distinct real roots, labeled \(r_3<r_0<r_1<r_2\), and let \(s\in \frac{1}{2}\mathbb {Z}\). Then there are no non-trivial mode solutions (1.4) to (1.2) with \(\omega \) such that
![](http://media.springernature.com/lw523/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ122_HTML.png)
nor with \(\omega \) such that
![](http://media.springernature.com/lw366/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ123_HTML.png)
If \(|s|=\frac{1}{2},\frac{3}{2}\), in fact there are no non-trivial mode solutions (1.4) to (1.2) for any \(\omega \in \mathbb {R}\).
Note that no smallness assumptions are made on the black hole specific angular momentum a nor on how close \(\omega \) is to the endpoints of the superradiant regime, given in (1.6) for real \(\omega \). We also remark that the \(\Lambda \rightarrow 0\) limit of the proof of Theorem 2 yields precisely Theorem 1.
Finally, let us comment on the distinction between cases \(|s|=\frac{1}{2},\frac{3}{2}\) and the rest. Similarly to Kerr, if \(|s|=\frac{1}{2},\frac{3}{2}\) then the conservation law associated to the stationary Killing is coercive for \(\omega \in \mathbb {R}\), and mode stability then follows. In fact, superradiance does not occur for half-integer s in general: the only obstacle to coercivity of the conservation law in this setting is the possible negativity of the so-called Teukolsky–Starobinsky constants for \(|s|>2\), which, see our previous work [CTdC21], may occur outside the superradiant set (1.6). Thus, the case \(s\in \mathbb {Z}\) is where Theorem 2 is most useful: it rules out some of the modes in the superradiant range (1.5), see Fig. 1.
The non-superradiant (blank) and superradiant (shaded) regions of separation parameters for a subextremal Kerr–de Sitter black hole with \(\Lambda M^2=1/9\). Theorem 3.10 rules out the existence of superradiant modes which lie in the orange shaded region between the dashed and full lines
The remainder of this paper is organized into two sections. Section 2 addresses the case \(\Lambda =0\) and gives a new proof of Theorem 1. Section 3 addresses the case \(\Lambda >0\) and contains the proof of Theorem 2.
2 Subextremal Kerr Black Holes
2.1 Geometry of the exterior
In this section, we recall, for the benefit of the reader, some of the basic geometric properties of subextremal Kerr black holes, see for instance [Cha83] or [DR13, Section 5.1] for more details. Fix \(M>0\), \(|a|<M\), and let
The subextremal Kerr black hole exterior is a manifold covered globally (modulo the usual degeneration of polar coordinates) by so-called Boyer–Lindquist coordinates \((t,r,\theta ,\phi )\in \mathbb {R}\times (r_+,\infty )\times \mathbb {S}^2\) [BL67], and endowed with the Lorentzian metric
where we have
Finally, we will also find it convenient to work with a rescaling of the Boyer-Lindquist r, the tortoise coordinate \(r^*=r^*(r)\) defined by
We remark that, throughout this section, we take \('\) to denote a derivative with respect to \(r^*\).
2.2 The Teukolsky equation and its separability
Fix \(M>0\), \(|a|\le M\) and \(s\in \frac{1}{2} \mathbb {Z}\). The Teukolsky equation [Teu73] is
in Boyer–Lindquist coordinates, writing \(\Box _{g}\) for the covariant wave operator on the Kerr metric g. Here, \(\upalpha ^{[{s}]}\) is a smooth, s-spin weighted function on the subextremal Kerr black hole exterior, see [DHR19, Section 2.2.1] for a precise definition.
As Teukolsky noted in his seminal paper [Teu73], by analogy with the wave equation case [Car68], the Teukolsky equation (2.1) is separable, i.e. it admits separable solutions:
![](http://media.springernature.com/lw370/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ8_HTML.png)
for
\(\omega \in \mathbb {C}\),
\(m-s\in \mathbb {Z}\) and a separation constant
. Plugging (2.2) into (2.1), we find that
and
each satisfy ODEs, which are introduced in the next two subsections.
2.2.1 The angular ODE and its eigenvalues
Let
\(s\in \frac{1}{2}\mathbb {Z}\) be fixed. Consider (2.2) and replace
\(a\omega \) by a parameter
\(\nu \in \mathbb {C}\). The angular ODE verified by
is
![](http://media.springernature.com/lw556/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ9_HTML.png)
We are interested in solutions of (2.3) with boundary conditions which ensure that, when \(\nu \) is taken to be \(a\omega \), (2.2) is a smooth s-spin weighted function on the subextremal Kerr exterior. We quote from [TdC20, Proposition 2.1] a characterization of such solutions, based on the classical references [MS54, HW74, Section III] and [Ste75, Pages 72–74].
Lemma 2.1
(Smooth spin-weighted solutions of the angular ODE) Fix \(s\in \frac{1}{2}\mathbb {Z}\), let \(m-s\in \mathbb {Z}\), and assume \(\nu \in \mathbb {C}\). Consider the angular ODE (2.3) with the boundary condition that is a non-trivial smooth s-spin-weighted function on \(\mathbb {S}^2\), see the precise definition in [TdC20, Definition 2.2].
The case \(\nu \in \mathbb {R}\). For each \(\nu \in \mathbb {R}\), there are countably many such solutions to (2.3) each corresponding to a real value of . We index the solutions and eigenvalues by a discrete l: \(S_{ml}^{[s],\,\nu }\) solves (2.3) with eigenvalue
and induces a complete orthonormal basis, \(\{e^{im\phi }S_{ml}^{[s],\,\nu }\}_{ml}\), of the space of smooth s-spin-weighted functions on \(\mathbb {S}^2\) endowed with \(L^2(\sin \theta d\theta )\) norm. The index l is chosen so that \(l-\max \{|s|,|m|\}\in \mathbb {Z}_{\ge 0}\), and so that \({\varvec{\uplambda }}_{ml}^{[s],\,0}=l(l+1)-s^2\) for \(\nu =0\) and \({\varvec{\uplambda }}_{ml}^{[s],\,\nu }\) varies smoothly with \(\nu \). The eigenvalues also have the property that \({\varvec{\uplambda }}_{ml}^{[s],\,\nu }={\varvec{\uplambda }}_{ml}^{[-s],\,\nu }\).
The case \(\nu \in \mathbb {C}\backslash \mathbb {R}\). Fix some \(\nu _0\in \mathbb {R}\). The corresponding eigenvalue \({\varvec{\uplambda }}_{ml}^{[s],\,\nu _0}\in \mathbb {R}\) can be analytically continued to \(\nu \in \mathbb {C}\) except for finitely many branch points (with no finite accumulation point), located away from the real axis, and branch cuts emanating from these. We define \({\varvec{\uplambda }}_{ml\nu _0}^{[s],\,\nu }\), for \(\nu _0\in \mathbb {R}\), as a global multivalued complex function of \(\nu \) such that \({\varvec{\uplambda }}_{ml\nu _0}^{[s],\,\nu _0}={\varvec{\uplambda }}_{ml}^{[s],\,\nu _0}\) and \(S_{ml\nu _0}^{[s],\,\nu }\) as a solution to (2.3) with . The eigenvalues are independent of \({{\,\mathrm{sign}\,}}s\) and satisfy
The reader will find a proof of (2.4) in the positive cosmological setting in Lemma 3.1 below.
Remark 2.2
We note that here and throughout the section, denotes a complex number with no restrictions whereas \({\varvec{\uplambda }}_{ml}^{[s],\,\nu }\) and \({\varvec{\uplambda }}_{ml\nu _0}^{[s],\,\nu }\) denote one of the eigenvalues identified in Lemma 2.1.
2.2.2 The radial ODE and its boundary conditions
Fix \(M>0\). For \(|a|\le M\), \(s\in \frac{1}{2}\mathbb {Z}\), \(m-s\in \mathbb {Z}\), \(\omega \in \mathbb {C}\) and , the radial ODE verified by
in (2.2) is, for \(r\in (r_+,\infty )\),
![](http://media.springernature.com/lw454/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ11_HTML.png)
Let us introduce the notation
For \(j=\pm \), the quantities \( \upomega _j\) and \(\kappa _j\) are, respectively, the angular velocity and the surface gravity of the horizon at \(r=r_j\). As before, we are interested in studying (2.5) under boundary conditions which ensure that (2.2) can arise from suitably regular initial data for the Teukolsky equation (2.1). Based on the classical theory of regular and irregular singularities for ODEs, see [Olv73, Chapters 5 and 7], we will consider the following boundary conditions:
Definition 2.3
Assume \(\omega \ne 0\). We say a solution, , to (2.5) is
-
ingoing at \(\mathcal {H}^+\) if the following are smooth at \(r=r_+\):
-
if either \({\text {Re}}\omega \ne m\upomega _+\) or \(s\le 0\), and
-
if \({\text {Re}}\omega =m\upomega _+\) and \(s\ge 0\);
-
-
outgoing at \(\mathcal {I}^+\) if
admits an asymptotic series as \(r\rightarrow \infty \) in powers of \(r^{-1}\).
2.2.3 Precise definition of mode solution
We are finally ready to define mode solution precisely:
Definition 2.4
Fix \(M>0\) and \(|a|<M\). Take \(s\in \frac{1}{2}\mathbb {Z}\), \(m-s\in \mathbb {Z}\) and \(\omega \in \mathbb {C}\backslash \{0\}\) with \({\text {Im}}\omega \ge 0\). Let \(\upalpha ^{[{s}]}(t,r,\theta ,\phi )\) be a solution to (2.1) which is given by (2.2). We say that \(\upalpha ^{[{s}]}(t,r,\theta ,\phi )\) is a mode solution if
-
1.
for some \(l\in \mathbb {Z}_{\ge \max \{|m|,|s|\}}\) and \(\nu _0\in \mathbb {R}\), making
a non-trivial smooth s-spin-weighted function on \(\mathbb {S}^2\) such that
solves the angular ODE (2.3);
-
2.
solves the radial ODE (2.5) with ingoing boundary conditions at \(\mathcal {H}^+\) and outgoing boundary conditions at \(\mathcal {I}^+\).
Remark 2.5
Let \(\upalpha ^{[{s}]}(t,r,\theta ,\phi )\) be given by (2.2) where and
are one of the functions and eigenvalues identified in Lemma 2.1. If
is ingoing at \(\mathcal {H}^+\), then \(\Delta ^{s}\upalpha ^{[{s}]}\) is regular at \(r=r_+\) [TdC20, Lemma 2.7]. If, furthermore,
is outgoing at \(\mathcal {I}^+\), then \(\upalpha ^{[{s}]}\) has finite (weighted, see e.g. [DHR19]) energy on suitable spacelike hypersurfaces, see [SR15b, Appendix D]. Hence, mode solutions are solutions to (2.1) which are separable, regular and finite energy with respect to the algebraically special frame in which the Teukolsky equation is derived.
2.3 Some hidden spectral symmetries
Consider the radial ODE
where \(m_1,m_2,m_3,E,p\in \mathbb {C}\). It is easy to see that (2.5) may be cast in this form:
Lemma 2.6
[AGH21, Section 4]. The radial ODE (2.5) may be rewritten as (2.7) if we choose \(z:=\frac{r-r_-}{r_+-r_-}\) and we identify
![](http://media.springernature.com/lw424/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ14_HTML.png)
Furthermore, the boundary conditions in Definition 2.3 can be recast in terms of the new parameters, noting that
Furthermore, we can recast the ODE boundary conditions in terms of the new parameters: is ingoing at \(\mathcal {H}^+\) if the functions
for \({\text {Re}}\omega \ne m\upomega _1\), and
otherwhise, are smooth at \(r=r_+\) and outgoing at \(\mathcal {I}^+\) if
admits an asymptotic series as \(r\rightarrow \infty \) in powers of \(r^{-1}\).
The choices of \(m_1\) and \(m_2\) are not canonical: these boundary conditions and the ODE (2.7) are invariant by an exchange of \(m_1\) and \(m_2\).
Proof
We note the identities
The potential in (2.5) can thus be written as
![](http://media.springernature.com/lw526/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ124_HTML.png)
from where we may now read off the appropriate values of \(m_1,m_2,m_3,p,E\).
Remark 2.7
(Connection with SQCD) In [AGH21] (see also [Hat21a], Aminov, Grassi and Hatsuda realized that an analogy can be drawn between the Teukolsky equation on subextremal Kerr black holes and the SU(2) Seiberg–Witten theory with three fundamental hypermultiplets in supersymmetric quantum chromodynamics (SQCD) [IKO17, Section 3]: the latter provides a template ODE, (2.7), which can be matched to the Teukolsky radial ODE (2.5) as in Lemma 2.6. We emphasize that the connection to SQCD serves merely as a motivation to write (2.7) and (2.8), and the theory plays no role in the proof of Theorem 1.
Next, we give a characterization of the point spectrum of (2.7), in the space of solutions with suitable boundary conditions, by a Jaffé expansion [Jaf34], also known in the black hole community as Leaver’s method [Lea85].
Proposition 2.8
[Point spectrum]. Let \(E\in \mathbb {C}\) and \(p\in \mathbb {C}\backslash \{0\}\) with \({\text {Re}}p\le 0\). Consider a triple \((m_{i_1},m_{i_2},m_{i_3})\), where \(i_1\), \(i_2\) and \(i_3\) are distinct natural numbers between 1 and 3, of complex numbers verifying three conditions: \({\text {Re}}(m_{i_1}+m_{i_2})\le 0\) if \({\text {Im}}(m_{i_1}+m_{i_2})=0\), and \({\text {Re}}(m_{i_1}+m_{i_3})\le 0\) with \(m_{i_1}+m_{i_3}\ne 0\).
Let \({R}_{(m_{i_1},m_{i_2},m_{i_3})}^{E,p}\) be the unique, up to rescaling, solution of the differential equation (c.f. (2.7))
with boundary conditions
-
\({R}(z)(z-1)^{\frac{1}{2}(m_{i_1}+m_{i_2}-1)}\) is smooth at \(z=1\),
-
\({R}(z)e^{-p z}z^{-m_{i_3}}\) admits an asymptotic series as \(z\rightarrow \infty \) in powers of \(z^{-1}\).
Then \({R}_{(m_{i_1},m_{i_2},m_{i_3})}^{E,p}\) is nontrivial if and only if the continued fraction condition
holds, where the coefficients \(A^{(0)}_n\) and \(A_n^{(\pm 1)}\) satisfy
and where \(\sigma _{1}({\varvec{m}}):= m_1+m_2+m_3\), \(\sigma _{2}({\varvec{m}}):=m_1 m_2+m_1 m_3+m_2m_3\) and \(\sigma _{3}({\varvec{m}}):=m_1 m_2 m_3\) are symmetric polynomials in \({\varvec{m}}=(m_{i_1},m_{i_2},m_{i_3})\).
Proof
From the classical theory of ODEs, see [Olv73, Chapter 7], the second boundary condition is verified if and only ifFootnote 2 we have that \({R}_{(m_{i_1},m_{i_2},m_{i_3})}^{E,p}(z)e^{-p z}z^{-m_{i_3}}\) has a limit as \(z\rightarrow \infty \). We thus conclude that g defined through
is the unique (up to rescaling) nontrivial solution to the ODE
with the boundary conditions that g is smooth at \(z=1\) and has a limit as \((z-1)/z\rightarrow 1\). Here, the coefficients \(B_1,\dots , B_5\) are given by
In light of the strong rigidity in terms of holomorphicity of g around \(z=1\) afforded by the classical theory of ODEs, see [Olv73, Chapter 5], it is natural to consider a series expansion in known special functions with such properties at \(z=1\). Following [MDW95, Part B, Chapter 3.2], we consider the ansatz for a solution to (2.12) given by
for some coefficients \(\{b_n\}_{n\ge 0}\). Notice that, as long as y can be shown to converge in a neighborhood of \(z=1\), this ansatz is without loss of generality: by uniqueness of solutions to ODEs with prescribed boundary conditions, any solution of (2.12) which is regular at \(z=1\) must be a multiple of the ansatz (2.14), so \(g=Cy\) for some \(C\in \mathbb {C}\backslash \{0\}\) in the domain where y is defined.
Let us turn to determining this domain. From the identities
we deduce that the coefficients \(\{b_n\}_{n\ge 0}\) in (2.14) satisfy a three-term recurrence formula
with respect to the recurrence coefficients
The case \(b_n\equiv 0\) is trivial. If \(b_n\not \equiv 0\), a large-n asymptotic analysis of (2.15) shows that there are two linearly independent behaviors: writing \(C_0:=\sqrt{-B_1}=\sqrt{-2p}\), we have that either
or
In either case, \(\lim _{n\rightarrow \infty }|{b_{n+1}}/{b_n}|=1\), and hence (2.14) converges, and defines a holomorphic function, at least for \(|(z-1)/z|<1\). Hence, we deduce that \(g\equiv y\) up to rescaling for \(|(z-1)/z|<1\).
At this point, let us note that the continued fraction (2.9) naturally enters the problem because it is a formal solvability condition for (2.15):
which holds rigorously as long as the right hand side of (2.9) converges. By [Gau67, Theorem 1.1], convergence occurs if and only if the recurrence relation (2.15) possesses a so-called “minimal solution”. By our assumptions on p we have \({\text {Re}}C_0>0\), and hence by comparing (2.16) and (2.17), we find that the latter defines a minimal solution to (2.15).
We are now ready to conclude. If \(g\not \equiv 0\), then \(g=y\), up to rescaling, in \(|(z-1)/z|<1\), and so \(b_n\not \equiv 0\); that (2.9) holds then follows directly from [Gau67, Theorem 1.1]. Conversely, if (2.9) holds, then [Gau67, Theorem 1.1] tells us we can choose \(b_n\not \equiv 0\) to satisfy the minimality condition (2.17). With this choice, our ansatz y in (2.14) not only is well-defined in \(|(z-1)/z|<1\) but also has a finite limit, given by \(\sum _{n=0}^\infty b_n<\infty \), as \(|(z-1)/z|\rightarrow 1\). We deduce that \(g= y\not \equiv 0\), up to rescaling, in the entire \(|(z-1)/z|\le 1\) domain.
From the point of view of the Teukolsky equation, Proposition 2.8 is the statement that its point spectrum, under suitable boundary conditions, is invariant under exchanges \(m_i\leftrightarrow m_j\). The precise statement we will use is:
Corollary 2.9
(Hidden spectral symmetries). Let \(M>0\), \(|a|<M\), \(s\in \frac{1}{2}\mathbb {Z}\), \(m-s\in \mathbb {Z}\), and \(\omega \ne 0\) satisfy \({\text {Im}}\omega \ge 0\). If \({\text {Re}}\omega \ne m\upomega _+\), the following are equivalent:
-
(i)
(original case and \(m_1\leftrightarrow m_2\) symmetry) there is a nontrivial solution to the radial ODE (2.5) which is ingoing at \(\mathcal {H}^+\) and outgoing at \(\mathcal {I}^+\), i.e. which satisfies the boundary conditions
-
(ii)
(\(m_1\leftrightarrow m_3\) symmetry) there is a nontrivial solution to a radial ODE equal to (2.5) but where s is replaced by \(-s\), which satisfies the boundary conditions
-
(iii)
(\(m_2\leftrightarrow m_3\) symmetry) there is a nontrivial solution to the radial ODE
(2.18)satisfying the boundary conditions
(2.19)
If \({\text {Re}}\omega =m\upomega _+\), then (i) and (iii) are equivalent if \(s\le 0\) and, if \(s\ge 0\), (ii) and (iii) are equivalent.
Proof
The conclusion follows from Proposition 2.8 after setting \(z(r_+-r_-)=r-r_-\) and rewriting the ODE (2.18) and the boundary conditions in terms of \((m_1,m_2,m_3,E,p)\).
A few remarks concerning the above symmetries are in order.
Remark 2.10
(Spin-reversal symmetry). Note that the exchange \(m_1\leftrightarrow m_3\) corresponds to the map \(s\mapsto -s\). (This is still the case if is taken to be one of the angular eigenvalues given by Lemma 2.1, as the latter are independent of the sign of s.) Thus, Corollary 2.9(ii), reflects the fact that a mode solution with spin \(-s\) exists if and only if a mode solution with respect to the same frequency and black hole parameters exists with spin \(+s\). The latter is a well-known statement in the literature which follows from the Teukolsky–Starobinsky identities introduced in [TP74, SC74], see e.g. [Whi89], and we refer the reader to [TdC20, Lemma 2.19] for an explicit proof of the implication.
Remark 2.11
(Whiting’s transformation). Let be a solution to (2.18); setting
![](http://media.springernature.com/lw208/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ26_HTML.png)
we find that the ODE for the \(\tilde{u}\) quantity is \(\tilde{u}''+\tilde{V}\tilde{u}=0\), where we recall that prime denotes a derivative with respect to the tortoise coordinate \(r^*\) and where
![](http://media.springernature.com/lw633/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ27_HTML.png)
as noted by Hatsuda [Hat21a]. Under the assumption \(|a|<M\), it has been known for some time that this ODE has the same (empty) point spectrum as (2.5) for \({\text {Im}}\omega \ge 0\) and \(\omega \ne 0\): indeed, this is exactly the ODE obtained by Whiting’s (injective) radial transformation in the seminal mode stability paper [Whi89] for \({\text {Im}}\omega >0\) which is also used to show mode stability for \(\omega \in \mathbb {C}\) [SR15b], see also [AMPW17] and [TdC20, Section 3.2].
Remark 2.12
(The extremal limit). Lemma 2.6 clearly fails to hold for \(|a|=M\), as the variable z and the parameter \(m_2\) are not well-defined in this case. The latter degeneration is remedied if we exchange \(m_2\leftrightarrow m_3\), as from (2.8) we obtain
![](http://media.springernature.com/lw468/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ127_HTML.png)
The former degeneration is also cured if we take \(z=\frac{z-\tilde{r}_+}{\tilde{r}_+-M}\) for some \(\tilde{r}_+>r_+=r_-=M\).
Let be a solution to (2.7) under these conditions and let \('\) denote a derivative with respect to a modified \(r^*\) variable defined by
and an initial condition. Then, the rescaling
![](http://media.springernature.com/lw230/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ28_HTML.png)
solves the ODE given by \(u''+\tilde{V} \tilde{u}=0\), where
![](http://media.springernature.com/lw572/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ29_HTML.png)
as noted by Hatsuda [Hat21a]. The second author has shown in earlier work that this ODE has the same (empty) point spectrum as (2.5) with \(|a|=M\) when \({\text {Im}}\omega \ge 0\) and \(\omega \ne 0,m\upomega _+\) by means of an (injective) radial transformation [TdC20, Section 3.1]. Thus, we fully expect that an analogue of Proposition 2.8 is possible in the doubly confluent Heun, or extremal \(|a|=M\) Kerr, case. The additional difficulty one must contend with in the proof is that swapping certain masses changes the nature of the singularities in the ODE: for instance, (2.23) is of reduced confluent Heun type whereas (2.5), in the case \(|a|=M\), is of doubly confluent Heun type. We refer the reader to [TdC20] or the book [MDW95] for a precise definition of reduced and doubly confluent Heun ODEs and further properties of such equations.
2.4 Proof of mode stability
In this section, we give a proof of Theorem 1, alternative to those of the literature [Whi89, SR15b, AMPW17, TdC20], which relies on the hidden symmetries uncovered in Proposition 2.8 and Corollary 2.9. To be precise, we prove
Theorem 2.13
Fix \(M>0\), \(|a|< M\), \(s\in \frac{1}{2}\mathbb {Z}\), \(m-s\in \mathbb {Z}\) and such that we have either
![](http://media.springernature.com/lw367/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ128_HTML.png)
If is a solution to (2.5) with respect to these parameters which is ingoing at \(\mathcal {H}^+\) and outgoing at \(\mathcal {I}^+\), then
.
Remark 2.14
Note that, by Lemma 2.1, it is clear that the conditions on which we impose here are verified by the angular eigenvalues associated to mode solutions. Hence, Theorem 2.13 implies, and is stronger than, Theorem 1.
Proof of Theorem 2.13
Take \(|a|<M\), let be a solution to (2.18) with boundary conditions (2.19) and define \(\tilde{u}\) by (2.20). Now consider the microlocal energy current associated to the stationary Killing field on Kerr:
where prime again denotes a derivative with respect to \(r^*\). Note that (2.21) is real if \(\omega \) is real, that the coefficient of in (2.21) and the
-independent part of \(\tilde{V}\) are non-positive. Thus, from (2.24) and our assumptions, we obtain
By a direct argument if \({\text {Im}}\omega >0\) or, if \(\omega \in \mathbb {R}\backslash \{0\}\), by unique continuation for solutions to ODEs with the prescribed boundary conditions, see e.g. [SR15b, Lemma 5.1] and [TdC20, Lemma 4.1], (2.25) implies that \(\tilde{u}\equiv 0\) and so . By Corollary 2.9, using case (i) if \(s\le 0\) and case (ii) if \(s\ge 0\), we must also have that
. \(\square \)
2.5 Epilogue: mass symmetries within the MST method
In this section, we provide an alternative proof of Corollary 2.9 which is based not on Jaffé expansions of Proposition 2.8 but on the matching of (confluent) hypergeometric expansions. In the study of quasinormal modes, this method was first introduced by Mano, Suzuki and Tagasuki [MST96], and is thus known as the MST method. In the exposition below we follow the review [ST03].
Let us fix \(M>0\), \(|a|<M\), \(s\in \frac{1}{2}\mathbb {Z}\), \(m-s\in \mathbb {Z}\), \(\omega \in \mathbb {C}\backslash \{0\}\) with \({\text {Re}}\omega \ge 0\) and \({\text {Im}}\omega \ge 0\), and , assuming additionally that \(s\le 0\) if \({\text {Re}}\omega =m\upomega _+\). To aid the reader, we write the MST quantities \(\epsilon \), \(\tau \) and \(\kappa \) in [ST03] in terms of the quantities identified in (2.8) and vice-versa:
Within the MST formalism, existence of a non-trivial solution to (2.5) with outgoing boundary conditions at \(\mathcal {I}^+\) and ingoing boundary conditions at \(\mathcal {H}^+\) is, by [ST03, Equations (165), (167) and (168)] and the properties of the Gamma function, equivalent to the conditionFootnote 3
where we have used the shorthand notation
writing \(N:=n+\nu \) and where the coefficients \(b_n^\nu \), obtained from the \(a_n^\nu \) coefficients of [ST03, Equation (120)] through \(b_n^{\nu }:=\Gamma \left( 1+m_1+N\right) \Gamma \left( 1+m_2+N\right) \Gamma \left( 1-m_3+N\right) a_n^{\nu }\), satisfy the following recursive relation, c.f. [ST03, Equations (123, 124)]:
Furthermore, the parameter \(\nu \) is the so-called renormalized angular momentum parameter and its value is chosen to ensure that the continued fraction equation
holds for an arbitrary choice of \(n\in \mathbb {Z}\), c.f. [ST03, Equation (133)], and that \(1+\nu +m_3\) is not a non-positive integer. Indeed, these two conditions are not mutually exclusive: the condition (2.27) is invariant by translation in \(\mathbb {Z}\), i.e. if \(\nu =\nu _0\) satisfies (2.27) then so does \(\nu =\nu _0+k\) for any \(k\in \mathbb {Z}\). Noting that \(B\ne 0\), this choice of \(\nu \) ensures that (2.26) is equivalent to
Clearly, \(\alpha _{n}^\nu \), \(\beta _{n}^\nu \) and \(\gamma _n^\nu \) are all separately invariant under the map \((m_1,m_2,m_3)\mapsto (m_i,m_j,m_k)\) with \(i\ne j\ne k\), and so \(b_n^\nu \) and \(\nu \) must also be preserved. Consequently, the same is true for \(A_\nu \), \(C_\nu \) and \(D_\nu \). Hence, we conclude that the condition (2.28) is invariant under the map \((m_1,m_2,m_3)\mapsto (m_{i_1},m_{i_2},m_{i_3})\) with \(i_1\ne i_2\ne i_3\ne i_1\). By using the fact that (2.5) and the boundary conditions are invariant under taking at once \({\text {Re}}\omega \mapsto -{\text {Re}}\omega , m\mapsto -m\) and complex conjugation, we arrive at the same conclusion for \({\text {Re}}\omega \le 0\). The statement of Corollary 2.9 then follows easily from exploiting these symmetries.
3 Subextremal Kerr–de Sitter Black Holes
3.1 Geometry of the exterior
In this section, we recall for the benefit of the reader some of the basic geometric properties of subextremal Kerr–de Sitter black holes, see for instance [Dya11b, Section 1] for more details.
Fix \(M>0\), \(\Lambda >0\) and \(|a|<3/\Lambda \) satisfying
where here and throughout the section we use the notation
Then, the following quartic function
has four distinct real roots, denoted \(0<r_0<r_1<r_2\) and \(r_3=-r_2-r_1-r_0<0\).
The subextremal Kerr black hole exterior is a manifold covered globally (modulo the usual degeneration of polar coordinates) by so-called Chambers–Moss coordinates \((t,r,\theta ,\phi )\in \mathbb {R}\times (r_1,r_2)\times \mathbb {S}^2\) [CM94] and endowed with the Lorentzian metric
where we have
Finally, we will also find it convenient to work with a rescaling of the Chambers–Moss r, the tortoise coordinate \(r^*=r^*(r)\) defined by
and an initial condition. Note that we have
Furthermore, we remark that in this section derivatives denoted by \('\) will be assumed to be taken with respect to \(r^*\), unless otherwise stated.
3.2 The Teukolsky equation and its separability
Fix \(M>0\), and \(|a|,L>0\) subextremal Kerr–de Sitter parameters. For \(s\in \frac{1}{2} \mathbb {Z}\), the Teukolsky equation in Kerr–de Sitter [Kha83] is
in Chambers–Moss coordinates, writing \(\Box _{g}\) for the covariant wave operator in the Kerr–de Sitter metric. Here, \(\upalpha ^{[{s}]}\) is a smooth, s-spin weighted function on the exterior, \(\mathcal {R}\), of the Kerr–de Sitter black hole. The parameter \(\mu \) must be taken to be 1 if \(s\ne 0\), for instance in the especially interesting setting of gravitational perturbations, \(s=\pm 2\), of Kerr–de Sitter black holes. In the scalar case \(s=0\), \(\mu \) represents a dimensionless Klein–Gordon mass, interpolating been the massless wave equation, corresponding to \(\mu =0\), and the conformal Klein–Gordon equation, corresponding to \(\mu =1\).
By analogy with the wave equation case [Car68], the Teukolsky equation (3.4) in Kerr–de Sitter backgrounds is separable, i.e. it admits separable solutions:
![](http://media.springernature.com/lw469/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ39_HTML.png)
for \(\omega \in \mathbb {C}\), \(m-s\in \mathbb {Z}\) and a separation constant . Plugging (3.5) into (3.4), we find that
and
each satisfy ODEs, which are introduced in the next two subsections.
3.2.1 The angular ODE and its eigenvalues
Let \(s\in \mathbb {Z}\) be fixed. Consider (3.5) and replace \(a\omega \) by a parameter \(\nu \in \mathbb {C}\). The angular ODE verified by is
![](http://media.springernature.com/lw668/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ40_HTML.png)
We are interested in solutions of (3.6) with boundary conditions which ensure that, when \(\nu \) is taken to be \(a\omega \), (3.5) is a smooth s-spin weighted function on \(\mathcal {R}\), which can be defined similarly to the Kerr case of the previous section. By analogy with the Kerr case of Lemma 2.1, we have:
Lemma 3.1
(Smooth spin-weighted solutions of the angular ODE). Fix \(s\in \frac{1}{2}\mathbb {Z}\), let \(m-s\in \mathbb {Z}\), and assume \(\nu \in \mathbb {C}\). Consider the angular ODE (2.3) with the boundary condition that is a non-trivial smooth s-spin-weighted function on \(\mathbb {S}^2\), i.e.
is holomorphic in \(\theta \in (0,\pi ]\), and
is holomorphic in \(\theta \in [0,\pi )\).
The case \(\nu \in \mathbb {R}\). For each \(\nu \in \mathbb {R}\), there are countably many such solutions to (3.6) each corresponding to a real value of . We index the solutions and eigenvalues by a discrete l: \(S_{ml}^{[s],\,\Xi ,\nu }\) solves (3.6) with eigenvalue
and induces a complete orthonormal basis, \(\{e^{im\phi }S_{ml}^{[s],\,\Xi ,\nu }\}_{ml}\), of the space of smooth s-spin-weighted functions on \(\mathbb {S}^2\) endowed with \(L^2(\sin \theta d\theta )\) norm. The index l is chosen so that \(l-\max \{|s|,|m|\}\in \mathbb {Z}_{\ge 0}\), and so that \({\varvec{\uplambda }}_{ml}^{[s],\,\Xi ,0}=l(l+1)-s^2\) for \(\nu =0\) and \({\varvec{\uplambda }}_{ml}^{[s],\,\Xi ,\nu }\) varies smoothly with \(\nu \). The eigenvalues also have the property that \({\varvec{\uplambda }}_{ml}^{[s],\,\Xi ,\nu }={\varvec{\uplambda }}_{ml}^{[-s],\,\Xi ,\nu }\).
The case \(\nu \in \mathbb {C}\backslash \mathbb {R}\). Fix some \(\nu _0\in \mathbb {R}\). The corresponding eigenvalue \({\varvec{\uplambda }}_{ml}^{[s],\,\Xi ,\nu _0}\in \mathbb {R}\) can be analytically continued to \(\nu \in \mathbb {C}\) except for finitely many branch points (with no finite accumulation point), located away from the real axis, and branch cuts emanating from these. We define \({\varvec{\uplambda }}_{ml\nu _0}^{[s],\,\Xi ,\nu }\), for \(\nu _0\in \mathbb {R}\), as a global multivalued complex function of \(\nu \) such that \({\varvec{\uplambda }}_{ml\nu _0}^{[s],\,\Xi , \nu _0}={\varvec{\uplambda }}_{ml}^{[s],\,\Xi ,\nu _0}\) and \(S_{ml\nu _0}^{[s],\,\Xi ,\nu }\) as a solution to (3.6) with . The eigenvalues are independent of \({{\,\mathrm{sign}\,}}s\) and satisfy
Proof
Follows by adapting the arguments in [TdC20, Proposition 2.1]. For instance, (3.7) can be obtained by multiplying the angular ODE (3.6) by , integrating by parts and taking the real part:
![](http://media.springernature.com/lw640/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ129_HTML.png)
where the right hand side is clearly non-negative if \({\text {Im}}\nu >0\). In fact, it is only zero if . As trivial functions are not in the scope of the lemma, we obtain (3.7).
Remark 3.2
We note that, as before, denotes a complex number with no restrictions whereas \({\varvec{\uplambda }}\) denotes one of the eigenvalues identified in Lemma 3.1.
3.2.2 The radial ODE and its boundary conditions
Our starting point is the radial Teukolsky ODE. In the literature, this ODE is usually presented in terms of as
![](http://media.springernature.com/lw663/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ42_HTML.png)
for \(r\in (r_1,r_2)\). This equation has a regular singularity at \(r=\infty \) and singularities at each of the roots of \(\Delta \), which are also regular if the Kerr–de Sitter parameters are subextremal. In this paper, we will consider the radial ODE in terms of the variable introduced in (3.5), where (3.8) becomes
![](http://media.springernature.com/lw674/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ43_HTML.png)
As noted in [STU98], if \(\mu =1\), equation (3.9) has singularities only at the roots of \(\Delta \): \(r=\infty \) is now a regular point of the ODE. Thus, from this point onwards, we take \(\mu \equiv 1\).
Let us here introduce the notation
for \(j\in \{0,1,2,3\}\). Note that we have \(\sum _{j=0}^3 \eta _j =0\). The quantities \( \upomega _j\) and \(\kappa _j\) are, respectively, the angular velocity and the surface gravity of the horizon at \(r=r_j\).
Based on the classical theory of regular singularities for ODEs, see [Olv73, Chapter 5], we can consider the following boundary conditions for (3.9):
Definition 3.3
We say that a solution, , to (3.9) is
-
ingoing at \(\mathcal {H}^+\) if the following are smooth at \(r=r_1\):
-
if either \({\text {Re}}\omega \ne m\upomega _1\) or \(s\le 0\), and
-
if \({\text {Re}}\omega =m\upomega _1\) and \(s\ge 0\);
-
-
outgoing at \(\mathcal {H}^+_c\) if the following are smooth at \(r=r_2\):
-
if either \({\text {Re}}\omega \ne m\upomega _2\) or \(s\ge 0\), and
-
if \({\text {Re}}\omega =m\upomega _2\) and \(s\le 0\).
-
3.2.3 Precise definition of mode solution
We are finally ready to define mode solution precisely:
Definition 3.4
Fix \(M>0\), \(L>0\) and \(|a|<L\) satisfying (3.1). Take \(s\in \frac{1}{2}\mathbb {Z}\), \(m-s\in \mathbb {Z}\) and \(\omega \in \mathbb {C}\backslash \{0\}\) with \({\text {Im}}\omega \ge 0\). Let \(\upalpha ^{[{s}]}(t,r,\theta ,\phi )\) be a solution to (3.4) which is given by (3.5). We say that \(\upalpha ^{[{s}]}(t,r,\theta ,\phi )\) is a mode solution if
-
1.
for some \(l\in \mathbb {Z}_{\ge \max \{|m|,|s|\}}\) and \(\nu _0\in \mathbb {R}\), making
a non-trivial smooth s-spin-weighted function on \(\mathbb {S}^2\) such that
is a normalized solution to the angular ODE (3.6);
-
2.
solves the radial ODE (3.9) with ingoing boundary conditions at \(\mathcal {H}^+\) and outgoing boundary conditions at \(\mathcal {H}^+_c\).
We note that Remark 2.5 still applies here, mutatis mutandis.
3.3 Some hidden spectral symmetries
For \(z_2>1\), consider the radial ODE
where \(m_1,m_2,m_3,m_4,E\in \mathbb {C}\). The radial ODE (3.9) may also be cast in this form:
Lemma 3.5
The radial ODE (3.9) may be written as (3.11) if we let
and choose the parameters in (3.11) as follows:
![](http://media.springernature.com/lw622/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ47_HTML.png)
Furthermore, the boundary conditions in Definition 3.3 can be recast in terms of the new parameters, noting that
The choices of \(m_1\) and \(m_2\), and of \(m_3\) and \(m_4\) are not canonical: these boundary conditions and the ODE (3.11) are invariant by the exchange of \(m_1\) and \(m_2\), and by the exchange of \(m_3\) and \(m_4\).
Proof
Under the Möbius transformation (3.12), the singularities of (3.8) transform as follows
Note that \(z_2<z_\infty \) as \(r_3<r_0\), and furthermore \(z_2>1\), since
The result then follows by direct computations, which have been independently obtained in the literature in [STU98, STU99], see also [Hat21b].
Remark 3.6
To our knowledge, Lemma 3.5 has not appeared elsewhere in the literature. However, as in the case Lemma 2.6 in the Kerr case, the observation in Lemma 3.5 comes from comparing the Teukolsky equation in subextremal Kerr–de Sitter black holes and the SU(2) Seiberg–Witten theory, but now with four fundamental hypermultiplets, in supersymmetric quantum chromodynamics [IKO17]. We carry out this comparison in analogy to those drawn throughout Aminov, Grassi and Hatsuda’s paper [AGH21], and present here the final outcome as Lemma 3.5.
Remark 3.7
Taking the \(L\rightarrow \infty \) limit of Lemma 3.5 yields Lemma 2.6. For further details about the confluence process which turns Heun equations into confluent Heun equations, we refer the reader to the classical books [MDW95, Sla00] and references therein.
Next, we give a characterization of the point spectrum of (3.11), in the space of solutions with suitable boundary conditions. Though other methods such as Jaffé-type expansions are sometimes considered in the literature, see [YUF10], we find it convenient to replace the Jaffé polynomials of Proposition 2.8 with hypergeometric polynomials.
Proposition 3.8
(Point spectrum). Let \(E\in \mathbb {C}\). Consider a quadruple \((m_{i_1},m_{i_2},m_{i_3},m_{i_4})\), where \(i_1\), \(i_2\), \(i_3\) and \(i_4\) are distinct natural numbers between 1 and 4, of complex numbers verifying three conditions: \(\sum _j m_j\ne N\) for \(N\in \mathbb {Z}_{\ge 2}\), \({\text {Re}}(m_{i_1}+m_{i_2}-1)<0\) if \({\text {Im}}(m_{i_1}+m_{i_2})=0\), and \({\text {Re}}(m_{i_3}+m_{i_4}-1)<0\) if \({\text {Im}}(m_{i_3}+m_{i_4})=0\).
Let \({R}_{(m_{i_1},m_{i_2},m_{i_3},m_{i_4})}^{E}\) be the unique, up to rescaling, solution of the ODE, c.f. (3.11),
with boundary conditions
-
\({R}(z)(z-1)^{\frac{1}{2}(m_{i_1}+m_{i_2}-1)}\) is smooth at \(z=1\),
-
\({R}(z)(z-z_2)^{\frac{1}{2}(m_{i_3}+m_{i_4}-1)}\) is smooth at \(z=z_2\).
Then \({R}_{(m_{i_1},m_{i_2},m_{i_3},m_{i_4})}^{E}\) is nontrivial if and only if the continued fraction condition
holds, where the coefficients \(A^{(0)}_n\) and \(A_n^{(\pm 1)}\) satisfy
and where \(\sigma _{1}({\varvec{m}}):= m_1+m_2+m_3+m_4\), \(\sigma _{2}({\varvec{m}}):=m_1 m_2+m_1 m_3+m_1m_4+m_2m_3+m_2m_4+m_3m_4\), \(\sigma _{3}({\varvec{m}}):=m_1 m_2 m_3+m_1m_2m_4+m_2m_3m_4\), and \(\sigma _{3}({\varvec{m}}):=m_1 m_2 m_3m_4\) are symmetric polynomials in \({\varvec{m}}=(m_{i_1},m_{i_2},m_{i_3},m_{i_4})\).
Proof
From the classical theory of ODEs [Olv73, Chapter 5], the first condition on \({R}_{(m_{i_1},m_{i_2},m_{i_3},m_{i_4})}^{E}(z)\) is fulfilled only if \({R}_{(m_{i_1},m_{i_2},m_{i_3},m_{i_4})}^{E}(z)(z-1)^{\frac{1}{2}(m_{i_1}+m_{i_2}-1)}\) is holomorphic in \(|z-1|<\min \{1,z_2-1\}\) whereas the second one holds if and only if \({R}_{(m_{i_1},m_{i_2},m_{i_3},m_{i_4})}^{E}(z)(z-z_2)^{\frac{1}{2}(m_{i_3}+m_{i_4}-1)}\) is holomorphic for \(|z-z_2|<z_2-1\). Hence, since these regions have nontrivial intersection, we conclude that \({R}_{(m_{i_1},m_{i_2},m_{i_3},m_{i_4})}^{E}(z)(z-1)^{\frac{1}{2}(m_{i_1}+m_{i_2}-1)}(z-z_2)^{\frac{1}{2}(m_{i_3}+m_{i_4}-1)}\) must be holomorphic in an ellipse
![](http://media.springernature.com/lw519/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ130_HTML.png)
Thus, g defined through
is the unique (up to rescaling) solution of the ODE
which is holomorphic in the ellipse \(\mathscr {E}\). Here, the parameters in \(\mathcal {L}\) satisfy
where \(\epsilon +\delta -1=\alpha +\beta -\gamma \) and we have used the notation \(\omega _H:=\delta +\epsilon -1=\alpha +\beta -\gamma \).
Step 1: a formal expansion. As in Proposition 2.9, it is convenient to identify a set of adequate special functions in which to expand solutions to (3.16). Our construction is loosely based on a small modification of [MDW95, Part A, Chapter 4] (see also [Sva39] and [Erd44]). Let us introduce the operators
where \(t:=\frac{z-1}{z_2-1}\). Then, \(\mathscr {L}\) may be written as
Let us introduce the hypergeometric functions
which satisfy
where the coefficients \(\tilde{A}_\nu ^{(\pm 1)}\) and \(\tilde{A}_\nu ^{(0)}\) are given by
Now, suppose that the function
is well defined and its derivatives are obtained by differentiating term by term. If y solves \(\mathscr {L} y=0\), it follows that \(b_n\) verify the recursive relation
where we have \(A_n^{(+1)}:=\tilde{A}_{N+1}^{(-1)}\), \(A_n^{(+1)}:=\tilde{A}_{N-1}^{(+1)}\) and \(A_n^{0}=\tilde{A}_N^{(0)}\). These coefficients can be readily computed from (3.17) and (3.20).
Up to this point, \(\nu \) has remained a free parameter; let us now fix \(\nu \) to be \(\nu =(\omega _H-1)/2\). One can then check that in (3.21), we shall have \(b_n=0\) for \(n< 0\). Therefore, our final ansatz for a solution of the ODE (3.16) is
where \(b_n\) satisfy (3.21) and \(f_{n}(z)= F_{(\omega _H-1)/2+n}(z)\) are polynomials of degree n in \(z-1\): denoting by \((\cdot )_k\) the rising factorial,
where \(P_n^{(\cdot ,\cdot )}\) denote the usual Jacobi polynomials.
To compute the region of convergence of the series (3.22), we need to examine the asymptotics of both \(f_{n}(z)\) and \(b_n\) as \(n\rightarrow \infty \). We begin with the latter: a large n asymptotic analysis of the recursion relation following [Gau67, Theorem 2.3(b)] shows that, as long as \(b_n\not \equiv 0\), we have either
or
From the above, it is clear that (3.24) defines the so-called minimal solution to the recursive relation (3.22).
Let us now turn to the asymptotics of the functions \(f_n(z)\) for large n: from [Erd44, Equation (4.7)] and [MDW95, Equation (4.3.3)], we obtain that
where the last line can be obtained by a limiting procedure. We deduce, in agreement with [Sva39, page 417], that (3.22) converges in the interval \([1,z_2]\) if and only if (3.24) holds, and so do the series obtained by differentiating (3.22) term by term up to two times (see, for instance, [MDW95, Part A, equation (4.2.16)]). In fact, in this case, (3.22) converges and yields a holomorphic solution in the entire ellipse
![](http://media.springernature.com/lw283/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ131_HTML.png)
which contains \(\mathscr {E}\), see Figure 2. By construction, the first and second derivatives of the holomorphic solution are obtained by term-by-term differentiation.
Ellipses \(\mathscr {E}\) (green region in the interior of dash-dotted line) and \(\mathscr {E}'\) (red region in the interior of full line) in proof of Proposition 3.8. The circles with dashed boundary in blue and orange represent the regions of analyticity of local power series solutions of \(\mathscr {L} g=0\) around \(z=1\) and \(z=z_2\), respectively
Step 2: from (3.14) to \(g\not \equiv 0\). If the continued fraction equation (3.14) is satisfied, by classical results in the theory of three-term recurrence relations (see [Gau67, Theorem 1.1]), then there exists a nonzero minimal solution to the recursion (3.21). Thus, there are coefficients \(b_n\not \equiv 0\) such that (3.24) holds, implying that, through (3.22), we may construct a solution, \(g\not \equiv 0\), to the ODE (3.16) which is holomorphic in \(\mathscr {E}\).
Step 3: from \(g\not \equiv 0\) to (3.14). It is a classical result, see [Sze39, Theorem 9.1.1] and the more recent [Car74], that a function which is analytic in an interval admits an expansion in Jacobi polynomials (in addition to, of course, power series), with large freedom in the choice of Jacobi polynomial parameters, which converges in an ellipse around the interval of analyticity. It is convenient to introduce a coordinate adapted to the Jacobi polynomials,
we will always assume \(x=x(z)\) in what follows. Under the conditions on \(m_i\) that we impose, the theory guarantees that
converges and defines a holomorphic function in the ellipse \(\mathscr {E}\), yielding a representation of the form (3.22) for g in \(\mathscr {E}\): by (3.23)
In the previous formulas, the coefficients \(G^{(n)}\) are given by the integral
where \(\Gamma \) is a closed contour in \(\mathscr {E}\) which contains the interval \(z\in [1,z_2]\Leftrightarrow x\in [-1,1]\),
and \(\mathbb {B}\) denotes the beta function.
It is worth noting that the functions in (3.26) are, unsurprisingly, closely related to Jacobi polynomials and verify many of the same identities. Such identities can be used to show that the term-by-term manipulations in step 1 of the series representing g hold. As an example, in view of the decomposition (3.18), let us try to find a representation for \(\Lambda _1g\). By assumption, this is a holomorphic function in the ellipse \(\mathscr {E}\) and thus, by the aforementioned classical theory, it can be written as
with coefficients given by
For the last equality, we have integrated by parts, keeping in mind that \(\Gamma \) lies in the region of holomorphicity of \(\Lambda _1g\) and is a closed contour, and we have used the notation
From the identity
which follows from (3.26), we now deduce that
consistently with (3.19) after taking \(\nu \rightarrow n+(\omega _H-1)/2\).
By arguing similarly for the remaining terms of \(\mathscr {L}\) in (3.18), we deduce that the coefficients \(b_n\) must satisfy the recursion relation (3.21). Then, by the convergence of the series in (3.25) and the convergence analysis at the end of step 1, \(b_n\) also need to satisfy the asymptotic relation (3.24), i.e. they must be a minimal solution to the recursion (3.21). Once again, the classical result [Gau67, Theorem 1.1] then implies that the associated continued fraction equation (3.14) (see Proposition 2.9 for details on this relationship) must be satisfied. \(\square \)
From the point of view of the Teukolsky equation, Proposition 3.8 is the statement that its point spectrum, in the space of solutions with appropriate boundary conditions, is invariant under exchanges \(m_i\leftrightarrow m_j\). The precise statement we will use is:
Corollary 3.9
(Hidden spectral symmetries). Fix \(M>0\), \(L>0\) and \(|a|<L\) satisfying (3.1). Let \(s\in \frac{1}{2}\mathbb {Z}\), \(m-s\in \mathbb {Z}\), and \(\omega \in \mathbb {C}\) satisfy \({\text {Im}}\omega \ge 0\). If \({\text {Re}}\omega \ne m\upomega _1,m\upomega _2\), the following are equivalent:
-
(i)
(original case and \(m_1\leftrightarrow m_2\) symmetry) there is a nontrivial solution to the radial ODE (3.9) which is ingoing at \(\mathcal {H}^+\) and outgoing at \(\mathcal {H}^+_c\), i.e. which satisfies the boundary conditions
-
(ii)
(\(m_1\leftrightarrow m_3\) symmetry) there is a nontrivial solution to the radial ODE equal to (3.9) but where s is replaced by \(-s\), which satisfies the boundary conditions
-
(iii)
(\(m_2\leftrightarrow m_3\) symmetry) there is a nontrivial solution to the radial ODE
(3.27)satisfying the boundary conditions
(3.28)
If \({\text {Re}}\omega =m\upomega _1\), then (i) and (iii) are equivalent if \(s\le 0\) and, if \(s\ge 0\), (ii) and (iii) are equivalent. In turn, if \({\text {Re}}\omega =m\upomega _2\), then (i) and (iii) are equivalent if \(s\ge 0\) and, if \(s\le 0\), (ii) and (iii) are equivalent.
Proof
Let us note that, since
the conditions of Proposition 3.8 clearly hold under our assumptions. Thus, the conclusion follows from Proposition 3.8 after applying Lemma 3.5 and rewriting the ODE (3.27) and the boundary conditions in terms of \((m_1,m_2,m_3,m_4,E)\). \(\square \)
We emphasize that Proposition 3.8 has not, to our knowledge, appeared elsewhere in the literature even as a conjecture. Remark 2.10 for the Kerr case also applies in the Kerr–de Sitter case considered above, mutatis mutandis.
3.4 A partial mode stability result
In this section, we give a proof of Theorem 2. To be precise, we prove
Theorem 3.10
Fix \(M>0\), \(|a|< 3/\Lambda \) and \(\Lambda >0\) satisfying (3.1), \(\frac{1}{2}s\in \mathbb {Z}\), such that one of the following holds:
-
\({\text {Im}}\omega >0\),
and \(|\omega |\not \in |m| \left(0,\frac{\upomega _2/\kappa _2+\upomega _0/\kappa _0}{1/\kappa _2+1/{\kappa _0}}\right)\subsetneq |m|(0,\upomega _1)\);
-
and, if \(|s|\ne \frac{1}{2},\frac{3}{2}\), additionally \(m=0\) or \(\frac{\omega }{m}\not \in \left(\frac{\upomega _1/\kappa _1-\upomega _0/\kappa _0}{1/{\kappa _1}-1/{\kappa _0}},\frac{\upomega _2/\kappa _2+\upomega _0/\kappa _0}{1/\kappa _2+1/{\kappa _0}}\right)\subsetneq (\upomega _2,\upomega _1)\).
If is a solution to (3.9) with respect to these parameters which is ingoing at \(\mathcal {H}^+\) and outgoing at \(\mathcal {H}^+_c\), then
.
Remark 3.11
Note that, by Lemma 3.1, it is clear that the conditions on which we impose here are verified by the angular eigenvalues associated to mode solutions. Hence, Theorem 3.10 implies, and is stronger than, Theorem 2.
Proof of Theorem 3.10
The proof follows two steps. First, we analyze the original radial ODE (3.9) and identify superradiant frequencies, for which the solutions considered in the statement may exist. Then, we attempt to rule out some of these solutions by making use of the hidden symmetries uncovered by Proposition 3.8 and Corollary 3.9.
Step 1: superradiance. Let be a solution to (3.8) with outgoing boundary conditions at \(\mathcal {H}^+_c\) and ingoing boundary conditions at \(\mathcal {H}^+\), see Definition 3.3. Let
, then u solves \(u''+Vu=0\), where
![](http://media.springernature.com/lw508/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ63_HTML.png)
Now consider the following currents associated with the stationary Killing field in Kerr–de Sitter:
Suppose \(s=0\) and \(\mu =1\). In the potential (3.29), both the coefficient of and the
independent part are non-positive, and the potential is real if \(\omega \) is real. Thus, taking into account the boundary conditions on u, we deduce the identities:
If \({\text {Im}}\omega >0\), unless the superradiant condition
holds, we may infer directly from (3.31) that \(u\equiv 0\), which establishes the result we seek for \(s=0\).
If \(\omega \in \mathbb {R}\) we cannot argue just from (3.31). As in the Kerr case, we need to appeal to unique continuation for ODEs such as (3.8) to deduce that, unless the superradiant condition
holds, we may infer that \(u\equiv 0\), thus concluding the proof for \(s=0\). In fact, the conclusion can be shown to hold more generally for \(s\in \mathbb {Z}_{\le 2}\) by appealing to the Teukolsky–Starobinsky identities, see [TM93]. By the same method, one may deduce that if \(|s|\le 2\) is half-integer, the energy identity implies that in fact \(u\equiv 0\) holds independently of \(\omega \). However, for if \(|s|>2\), for integer and half-integer spins alike, the energy identity may fail to be coercive even for frequencies not in (3.32), as our previous work [CTdC21] suggests.
Step 2: the \(m_2\leftrightarrow m_3\) symmetry. Let be a solution to (3.27) with boundary conditions given by (3.28), and define
. Exceptionally in this step, we take prime to denote a derivative with respect to \(z^*\), a coordinate defined in terms of z through
together with a choice of initial condition. With this notation, \(\tilde{u}\) solves \(\tilde{u}''+\tilde{V} \tilde{u}=0\), where
![](http://media.springernature.com/lw620/springer-static/image/art%3A10.1007%2Fs00220-022-04410-0/MediaObjects/220_2022_4410_Equ67_HTML.png)
The microlocal energy current associated with the stationary Killing field in Kerr–de Sitter gives the following identity for \(\tilde{u}\):
When \({\text {Im}}\omega >0\), by the boundary conditions on \(\tilde{u}\), we have
Furthermore, note that both the coefficient and the
-independent part of (3.33) are non-positive: for the former, this is trivial and for the latter the only non-obvious component can be simplified by Vietà’s formula \(r_0+r_1+r_2+r_3=0\) through
Thus, we obtain
It is easy to see that the first term is smallest at \(z=z_2\) and that it is non-negative unless we have
This condition in fact ensures that the second term is also non-negative. Hence, \({\text {Im}}(\tilde{V} \overline{\omega })\ge 0\) for \(z\in [1,z_2]\) in the full subextremal range of parameters if (3.36) does not hold. In this case, we deduce directly from (3.34) that \(\tilde{u}=0\) and then, using Corollary 3.9(i) if \(s\le 0\) or Corollary 3.9(ii) if \(s\ge 0\), we conclude that .
Now consider \({\text {Im}}\omega =0\). The potential (3.33) is real and so, from (3.34) and the boundary conditions on \(\tilde{u}\), we obtain
(Note that the factors of \(\omega \) outside the square brackets can be replaced by any linear combination of \(\omega \) and m, and so we need not impose \(\omega \ne 0\) in what follows.) Thus, unless we have
we may infer, as before, by a unique continuation argument, that \(\tilde{u}\equiv 0\). As in the case \({\text {Im}}\omega >0\), it then follows from Corollary 3.9 that .
Finally, we use the Vietà formula \(\sum _{i\ne j}r_ir_j=a^2-L^2\) to rewrite the factors appearing in conditions (3.36) and (3.37):
as long as \(a\ne 0\), since \((r_0+r_1)^2,(r_0+r_2)^2<L^2\Xi \). \(\square \)
3.5 Epilogue: mass symmetries within the MST method
In this section, we provide an alternative proof of Corollary 3.9 based not on the global hypergeometric expansions of Proposition 3.8 but on the matching of local hypergeometric expansions. In the study of quasinormal modes on Kerr–de Sitter, this method was first introduced by Suzuki, Tagasuki and Umetsu [STU99, STU00], but it is known as the MST method after the work [MST96] in Kerr.
Let us fix \(M>0\), \(|a|<M\), \(s\in \frac{1}{2}\mathbb {Z}\), \(m-s\in \mathbb {Z}\), \(\omega \in \mathbb {C}\backslash \{0\}\) with \({\text {Re}}\omega \ge 0\) and \({\text {Im}}\omega \ge 0\), and , assuming additionally that \(s\le 0\) if \({\text {Re}}\omega =m\upomega _+\). To aid the reader, we write the MST quantities \(\gamma \), \(\delta \), \(\epsilon \), \(\omega _H\) and v in [STU99, STU00] in terms of the quantities identified in (3.13):
Note that, in the notation of [STU99], we have taken the minus sign for the exponent at \(x=0\) and the plus sign for the exponent at \(x=x_r\), i.e. \(A_3=A_{3+}\); the latter choice is different from the choice made in [STU00] but it is consistent with the boundary conditions we consider. We also allow the sign of the exponent at \(x=-1\) to be either plus or minus, which corresponds to the two choices in (3.38). Within the MST formalism, existence of a non-trivial solution to (3.9) with outgoing boundary conditions at \(\mathcal {I}^+\) and ingoing boundary conditions at \(\mathcal {H}^+\) is, by [STU00, Equation 3.8a] and [STU99, Equation 3.29], equivalent to the condition
where we have used the shorthand notation
writing \(N:=n+\nu \) and where the coefficients \(b_n^\nu \), obtained from the \(a_n^\nu \) coefficients of [STU99, Equation 3.1] through \(b_n^{\nu }=\Gamma \left( 1+m_1+N\right) \Gamma \left( 1+m_2+N\right) \Gamma \left( 1-m_3+N\right) \Gamma \left( 1-m_4+N\right) a_n^{\nu }\), satisfy the following recursive relation, c.f. [STU99, Equation 3.2]:
Furthermore, the parameter \(\nu \) is the so-called renormalized angular momentum parameter and its value is chosen to ensure that the continued fraction equation
holds for an arbitrary choice of \(n\in \mathbb {Z}\), c.f. [STU99, Equation 3.6]. Noting that \(B\ne 0\), this choice ensures that (3.39) is equivalent to
Clearly, \(\alpha _{n}^\nu \), \(\beta _{n}^\nu \) and \(\gamma _n^\nu \) are all separately invariant under the map \((m_1,m_2,m_3,m_4)\mapsto (m_i,m_j,m_k,m_l)\) with \(i\ne j\ne k\ne l\), and so \(b_n^\nu \) and \(\nu \) must also be preserved. Consequently, the same is true for \(C_\nu \) and \(D_\nu \); furthermore, A is clearly also preserved. Hence, we conclude that the condition (2.28) is invariant under the map \((m_1,m_2,m_3,m_4)\mapsto (m_i,m_j,m_k,m_l)\) with \(i\ne j\ne k\ne l\). By using the fact that (3.9) and the boundary conditions are invariant under taking at once \({\text {Re}}\omega \mapsto -{\text {Re}}\omega , m\mapsto -m\) and complex conjugation, we arrive at the same conclusion for \({\text {Re}}\omega \le 0\). The statement of Corollary 3.9 then follows easily from exploiting these symmetries.
Notes
It is important to note that there may be other factors at play when it comes to stability problems for solutions to (1.1) with \(\Lambda <0\). Indeed, even the trivial solution, Anti-de Sitter space, has been shown to be unstable under additional coupling to several matter models in spherical symmetry [Mos20, Mos18].
It is worth pausing here to note the difference between the cases \({\text {Re}}p>0\), which is not included in our statement, and \({\text {Re}}p\le 0\), which is. In both cases, an analysis of the irregular singularity \(z=\infty \) shows that the two linearly independent boundary behaviors are asymptotically proportional to \(e^{\pm p z}z^{\pm m_{i_3}}\) as \(z\rightarrow \infty \); we select the upper sign for the statement. In the case \({\text {Re}}p\le 0\), this corresponds to oscillation (if equality holds) or exponential decay as \(z\rightarrow \infty \), and it can be easily distinguished from the linearly independent behavior which corresponds to oscillation in phase opposition (if equality holds) or exponential growth. However, in the case \({\text {Re}}p>0\), our preferred boundary condition corresponds to exponential growth as \(z\rightarrow \infty \), which is not easily distinguished from the exponential decay characterizing the linearly independent behavior: both \(e^{-p z}z^{- m_{i_3}}\cdot e^{p z}z^{ m_{i_3}}=1\) and \(e^{-p z}z^{- m_{i_3}}\cdot e^{-p z}z^{- m_{i_3}}\) have limits as \(z\rightarrow \infty \). See [GW21, GW20] for a more complete discussion, and proposal for a resolution, of this issue for the case \({\text {Re}}p>0\).
When comparing to the references given, the reader may find that the factor \({\Gamma \left( 1-m_1-m_2\right) }\) is missing from the denominator of (2.26). This is because
$$\begin{aligned} 1-m_1-m_2=1-s+2i\frac{am-2Mr_+{\text {Re}}\omega }{r_+-r_-}+\frac{4M r_+}{r_+-r_-}{\text {Im}}\omega \end{aligned}$$cannot be a negative integer under our assumptions, so \(|\Gamma (1-m_1-m_2)|<\infty \).
References
Aminov, G., Grassi, A., Hatsuda, Y.: Black Hole Quasinormal Modes and Seiberg-Witten Theory. Ann. Henri Poincaré 23, 1951–1977 (2022)
Andersson, L., Ma, S., Paganini, C., Whiting, B.F.: Mode stability on the real axis. J. Math. Phys. 58(7), 072501 (2017)
Bianchi, M., Consoli, D., Grillo, A., Morales, J. F.: QNMs of branes, BHs and fuzzballs from Quantum SW geometries. Preprint (2021) arXiv:2105.04245
Bonelli, G., Iossa, C., Lichtig, D. P., Tanzini, A.: Exact solution of Kerr black hole perturbations via CFT\(_2\) and instanton counting. Preprint (2021) arXiv:2105.04483
Boyer, R.H., Lindquist, R.W.: Maximal Analytic Extension of the Kerr Metric. J. Math. Phys. 8(2), 265–281 (1967)
Carter, B.: Hamilton-Jacobi and Schrödinger Separable Solutions of Einstein’s Equations. Commun. Math. Phys. 10(4), 280–310 (1968)
Carlson, B.C.: Expansion of Analytic Functions in Jacobi Series. SIAM J. Math. Anal. 5(5), 797–808 (1974)
Cardoso, V., Dias, Ó.J.C.: Small Kerr-anti-de Sitter black holes are unstable. Phys. Rev. D - Part. Fields, Gravit. Cosmol. 70(8), 1–7 (2004)
Chandrasekhar, S.: The Mathematical Theory of Black Holes. Oxford University Press, Clarendon Press, New York (1983)
Chambers, C.M., Moss, I.G.: Stability of the Cauchy horizon in Kerr-de Sitter spacetimes. Class. Quantum Gravity 11(4), 1035–1054 (1994)
Casals, M., Teixeira da Costa, R.: The Teukolsky-Starobinsky constants: facts and fictions. Class. Quantum Gravity 38(16), 165016 (2021)
Dafermos, M., Holzegel, G., Rodnianski, I.: Boundedness and Decay for the Teukolsky Equation on Kerr Spacetimes I: The Case \(|a|\ll M\). Ann. PDE 5(2), 1–118 (2019)
Dafermos, M., Holzegel, G., Rodnianski, I., Taylor, M.: The non-linear stability of the Schwarzschild family of black holes. Preprint (2021) arXiv:2104.08222
Dold, D.: Unstable Mode Solutions to the Klein-Gordon Equation in Kerr-anti-de Sitter Spacetimes. Commun. Math. Phys. 350(2), 639–697 (2017)
Dafermos, M., Rodnianski, I.: The red-shift effect and radiation decay on black hole spacetimes. Commun. Pure Appl. Math. 62(7), 859–919 (2009)
Dafermos, M., Rodnianski, I.: Decay for solutions of the wave equation on Kerr exterior spacetimes I-II: The cases \(|a| \ll M\) or axisymmetry. Preprint (2010) arXiv:1010.5132
Dafermos, M., Rodnianski, I.: Lectures on black holes and linear waves. In Evol. equations. Clay Math. Proceedings, vol. 17, pages 97–205. American Mathematical Society, Providence, Rhode Island (2013)
Dafermos, M., Rodnianski, I., Shlapentokh-Rothman, Y.: Decay for solutions of the wave equation on Kerr exterior spacetimes III: The full subextremal case \(|a| < M\). Ann. Math. 183(3), 787–913 (2016)
Dyatlov, S.: Exponential energy decay for Kerr-de Sitter black holes beyond event horizons. Math. Res. Lett. 18(5), 1023–1035 (2011)
Dyatlov, S.: Quasi-Normal Modes and Exponential Energy Decay for the Kerr-de Sitter Black Hole. Commun. Math. Phys. 306(1), 119–163 (2011)
Erdélyi, A.: Certain expansions of solutions of the heun equation. Q. J. Math. os-15 1, 62–69 (1944)
Gautschi, W.: Computational Aspects of Three-Term Recurrence Relations. SIAM Rev. 9(1), 24–82 (1967)
D. Gajic and C. Warnick. A model problem for quasinormal ringdown of asymptotically flat or extremal black holes. J. Math. Phys., 61, 102501 (2020)
Gajic, D., Warnick, C.: Quasinormal Modes in Extremal Reissner-Nordström Spacetimes. Commun. Math. Phys. 385(3), 1395–1498 (2021)
Hatsuda, Y.: An alternative to the Teukolsky equation. Gen. Relativ. Gravit. 53(10), 93 (2021)
Y. Hatsuda. Quasinormal modes of Kerr-de Sitter black holes via the Heun function. Class. Quantum Gravity, 38(2), 2021
S. W. Hawking and H. S. Reall. Charged and rotating AdS black holes and their CFT duals. Phys. Rev. D - Part. Fields, Gravit. Cosmol., 61, 024014 (2000)
Hintz, P., Vasy, A.: The global non-linear stability of the Kerr-de Sitter family of black holes. Acta Math. 220(1), 1–206 (2018)
Hartle, J.B., Wilkins, D.C.: Analytic properties of the Teukolsky equation. Commun. Math. Phys. 38(1), 47–63 (1974)
Ito, K., Kanno, S., Okubo, T.: Quantum periods and prepotential in \(\cal{N}=2\) SU(2) SQCD. J. High Energy Phys. 2017(8), 65 (2017)
Jaffé, G.: Zur Theorie des Wasserstoffmolekülions. Zeitschrift für Phys. 87(7–8), 535–544 (1934)
Khanal, U.: Rotating black hole in asymptotic de Sitter space: Perturbation of the space-time with spin fields. Phys. Rev. D 28(6), 1291–1297 (1983)
S. Klainerman and J. Szeftel. Kerr stability for small angular momentum. Preprint, 2021, arXiv:2104.11857
E. W. Leaver. An Analytic Representation for the Quasi-Normal Modes of Kerr Black Holes. Proc. R. Soc. A Math. Phys. Eng. Sci., 402(1823), 285–298 (1985)
Maroni, P., Duval, A., Wolf, G., Arscott, F., Slavyanov, S.Y., Schmidt, D.: Heun’s Differential Equations. Oxford University Press, Oxford (1995)
Moschidis, G.: Superradiant instabilities for short-range non-negative potentials on Kerr spacetimes and applications. J. Funct. Anal. 273(8), 2719–2813 (2017)
G. Moschidis. A proof of the instability of AdS for the Einstein–massless Vlasov system. Preprint, 2018, arXiv:1812.04268
Moschidis, G.: A proof of the instability of AdS for the Einstein-null dust system with an inner mirror. Anal. PDE 13(6), 1671–1754 (2020)
Meixner, J., Schäfke, F.W.: Mathieusche Funktionen und Sphäroidfunktionen. Springer, Berlin, Heidelberg (1954)
Mano, S., Suzuki, H., Takasugi, E.: Analytic Solutions of the Teukolsky Equation and Their Low Frequency Expansions. Prog. Theor. Phys. 95(6), 1079–1096 (1996)
F. W. J. Olver. Introduction to asymptotics and special functions. Academic Press (1973)
O. L. Petersen and A. Vasy. Wave equations in the Kerr-de Sitter spacetime: the full subextremal range. Preprint, 2021, arXiv:2112.01355
Regge, T., Wheeler, J.A.: Stability of a Schwarzschild Singularity. Phys. Rev. 108(4), 1063–1069 (1957)
Starobinsky, A.A., Churilov, S.M.: Amplification of electromagnetic and gravitational waves scattered by a rotating “black hole’’. J. Exp. Theor. Phys. 38(1), 1–5, 072501 (1974)
Slavyanov, S.Y.: Special Functions: A Unified Theory Based on Singularities. Oxford University Press, Oxford (2000)
Y. Shlapentokh-Rothman. Mode stabilities and instabilities for scalar fields on Kerr exterior spacetimes. PhD thesis, 2015
Shlapentokh-Rothman, Y.: Quantitative Mode Stability for the Wave Equation on the Kerr Spacetime. Ann. Henri Poincaré 16, 289–345 (2015)
Y. Shlapentokh-Rothman and R. Teixeira da Costa. Boundedness and decay for the Teukolsky equation on Kerr in the full subextremal range \(|a|<M\) : frequency space analysis. Preprint, 2020, arXiv:2007.07211
Y. Shlapentokh-Rothman and R. Teixeira da Costa. Boundedness and decay for the Teukolsky equation on Kerr in the full subextremal range \(|a|<M\): physical space analysis
Sasaki, M., Tagoshi, H.: Analytic Black Hole Perturbation Approach to Gravitational Radiation. Living Rev. Relativ. 6(1), 6 (2003)
J. M. Stewart. On the Stability of Kerr’s Space-Time. Proc. R. Soc. A Math. Phys. Eng. Sci., 344(1636), 65–79 (1975)
Suzuki, H., Takasugi, E., Umetsu, H.: Perturbations of Kerr-de Sitter black holes and Heun’s equations. Prog. Theor. Phys. 100(3), 491–505 (1998)
Suzuki, H., Takasugi, E., Umetsu, H.: Analytic solutions of the Teukolsky equation in Kerr-de Sitter and Kerr-Newman-de Sitter geometries. Prog. Theor. Phys. 102(2), 253–272 (1999)
Suzuki, H., Takasugi, E., Umetsu, H.: Absorption rate of the Kerr-de Sitter black hole and the Kerr-Newman-de Sitter black hole. Prog. Theor. Phys. 103(4), 723–731 (2000)
Svartholm, N.: Die Lösung der Fuchsschen Differentialgleichung zweiter Ordnung durch hypergeometrische Polynome. Math. Ann. 116(1), 413–421 (1939)
Szegö, G.: Orthogonal Polynomials, 1st edn. American Mathematical Society, Providence, Rhode Island (1939)
Teixeira da Costa, R.: Mode Stability for the Teukolsky Equation on Extremal and Subextremal Kerr Spacetimes. Commun. Math. Phys. 378(1), 705–781 (2020)
S. A. Teukolsky. Perturbations of a Rotating Black Hole. I. Fundamental Equations for Gravitational, Electromagnetic, and Neutrino-Field Perturbations. Astrophys. J., 185, 635–647 (1973)
Tachizawa, T., Maeda, K.-I.: Superradiance in the Kerr-de Sitter space-time. Phys. Lett. A 172(5), 325–330 (1993)
S. A. Teukolsky and W. H. Press. Perturbations of a rotating black hole. III - Interaction of the hole with gravitational and electromagnetic radiation. Astrophys. J., 193, 443–461 (1974)
Umetsu, H.: A conserved energy integral for perturbation equations in the Kerr-de Sitter geometry. Prog. Theor. Phys. 104(4), 743–755 (2000)
Whiting, B.F.: Mode stability of the Kerr black hole. J. Math. Phys. 30(6), 1301–1305 (1989)
S. Yoshida, N. Uchikata, and T. Futamase. Quasinormal modes of Kerr-de Sitter black holes. Phys. Rev. D - Part. Fields, Gravit. Cosmol., 81(4), 1–14 (2010)
Acknowledgements
M.C. acknowledges partial financial support by CNPq (Brazil), process number 314824/2020-0. R.TdC. acknowledges support from EPSRC (United Kingdom) grant EP/L016516/1 and from NSF (United States) award DMS-2103173, and thanks André Guerra for his enthusiasm for this project and many useful discussions, as well as Mihalis Dafermos for useful suggestions and Igor Rodnianski for insightful comments. Both authors thank one of the anonymous referees for a very careful reading of this manuscript, and many useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data Availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Additional information
Communicated by P. Chrusciel
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Casals, M., Teixeira da Costa, R. Hidden Spectral Symmetries and Mode Stability of Subextremal Kerr(-de Sitter) Black Holes. Commun. Math. Phys. 394, 797–832 (2022). https://doi.org/10.1007/s00220-022-04410-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04410-0