Abstract
The purpose of this paper is to show an unexpected connection between Diophantine approximation and the behavior of waves on black hole interiors with negative cosmological constant \(\Lambda <0\) and explore the consequences of this for the Strong Cosmic Censorship conjecture in general relativity. We study linear scalar perturbations \(\psi \) of Kerr–AdS solving \(\Box _g\psi -\frac{2}{3}\Lambda \psi =0\) with reflecting boundary conditions imposed at infinity. Understanding the behavior of \(\psi \) at the Cauchy horizon corresponds to a linear analog of the problem of Strong Cosmic Censorship. Our main result shows that if the dimensionless black hole parameters mass \({\mathfrak {m}} = M \sqrt{-\Lambda }\) and angular momentum \({\mathfrak {a}} = a \sqrt{-\Lambda }\) satisfy a certain non-Diophantine condition, then perturbations \(\psi \) arising from generic smooth initial data blow up \(|\psi |\rightarrow +\infty \) at the Cauchy horizon. The proof crucially relies on a novel resonance phenomenon between stable trapping on the black hole exterior and the poles of the interior scattering operator that gives rise to a small divisors problem. Our result is in stark contrast to the result on Reissner–Nordström–AdS (Kehle in Commun Math Phys 376(1):145–200, 2020) as well as to previous work on the analogous problem for \(\Lambda \ge 0\)—in both cases such linear scalar perturbations were shown to remain bounded. As a result of the non-Diophantine condition, the set of parameters \({\mathfrak {m}}, {\mathfrak {a}}\) for which we show blow-up forms a Baire-generic but Lebesgue-exceptional subset of all parameters below the Hawking–Reall bound. On the other hand, we conjecture that for a set of parameters \({\mathfrak {m}}, {\mathfrak {a}} \) which is Baire-exceptional but Lebesgue-generic, all linear scalar perturbations remain bounded at the Cauchy horizon \(|\psi |\le C\). This suggests that the validity of the \(C^0\)-formulation of Strong Cosmic Censorship for \(\Lambda <0\) may change in a spectacular way according to the notion of genericity imposed.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
The Kerr–Anti-de Sitter (Kerr–AdS) black hole spacetimes \(({\mathcal {M}}, g)\) constitute a 2-parameter family of solutions to the celebrated Einstein equations
in vacuum \((T_{\mu \nu } =0)\) and with negative cosmological constant \(\Lambda <0\). The family (see already (2.14) for the metric) is parameterized by the black hole mass \(M>0\), and specific angular momentum \(a\ne 0\). The Kerr–AdS black holes posses a smooth Cauchy horizon beyond which the spacetime has infinitely many smooth extensions—thus violating determinism. Regular Cauchy horizons are thought, however, to be generically unstable, which is the content of the Strong Cosmic Censorship conjecture due to Roger Penrose [99]. Its strongest formulation, the \(C^0\)-formulation [14] (see already Conjecture 1), states that for generic initial data for (1.1), the metric cannot be continuously extended beyond a Cauchy horizon, in this sense saving determinism within classical general relativity. Unfortunately, for \(\Lambda =0\) and \(\Lambda >0\), this formulation was disproved by Dafermos–Luk [24]. However, a weaker formulation put forward by Christodoulou is still expected to be true (see already Conjecture 2). Refer to Sect. 1.1 for a more detailed discussion. For \(\Lambda <0\), the question of the validity of the \(C^0\)-formulation of Strong Cosmic Censorship has until today remained open.
Motivated by the above, we study linear scalar perturbations \(\psi \) of subextremal Kerr–AdS black holes solving the conformal scalar wave equation
which arise from smooth and compactly supported initial data posed on a spacelike hypersurface and which satisfy reflecting boundary conditions at infinity. We further assume that the black hole parameters satisfy the Hawking–Reall bound [52], see already (2.8). One can view (1.2) as a linear scalar analog of (1.1), and so the linear scalar analog of the \(C^0\)-formulation of Strong Cosmic Censorship is the statement that for generic black hole parameters, linear scalar perturbations \(\psi \), arising from generic initial data for (1.2), fail to be continuous at the Cauchy horizon (see already Conjecture 3).
Our main result Theorem 1 shows that if the dimensionless Kerr–AdS parameters mass \({\mathfrak {m}} = M \sqrt{-\Lambda }\) and angular momentum \({\mathfrak {a}} = a \sqrt{-\Lambda }\) satisfy a certain non-Diophantine condition, then linear scalar perturbations \(\psi \) solving (1.2) and arising from generic initial data blow up
at the Cauchy horizon. We show that the set of such parameters is Baire-generic (but Lebesgue-exceptional).
Hence, our main result provides an—unexpected—positive resolution of the linear scalar analog of the \(C^0\)-formulation of the Strong Cosmic Censorship conjecture for \(\Lambda <0\), provided that the genericity of the set of parameters is taken in the Baire-generic sense.
Theorem 1 is in sharp contrast to the result on Reissner–Nordström–AdS black holes [70] and to previous work on Strong Cosmic Censorship for \(\Lambda \ge 0\)—in both cases such perturbations \(\psi \) were shown to remain bounded and to extend continuously across the Cauchy horizon.
The instability result (1.3) of Theorem 1 is not associated to superradiance (since the parameters satisfy the Hawking–Reall bound) and, more surprisingly, is also not a consequence of the well-known blue-shift instability [98] at the Cauchy horizon. Instead, Theorem 1 is a manifestation of the occurrence of small divisors originating from a new resonance phenomenon between, on the one hand, high frequencies associated to stable trapping on the exterior [63, 65] and, on the other hand, the poles of the interior scattering operator which are characteristic frequencies with respect to the Killing generator of the Cauchy horizon [72]. For this, it is fundamental that Kerr–AdS is rotating, as it is only in this case that stably trapped high frequency waves can, at the same time, be characteristic frequency waves with respect to the Killing generator of the Cauchy horizon. If now \({\mathfrak {m}}\), \({\mathfrak {a}}\) satisfy the non-Diophantine condition, then the resonance will be sufficiently strong (and the occurring divisors will be sufficiently small) so as to cause the instability (1.3).
Thus, in the case \(\Lambda <0\), surprisingly, Diophantine approximation may turn out to be the elusive “Cosmic Censor” which Penrose was searching for in order to protect determinism in general relativity [99].
The story, however, has yet another level of complexity. We also conjecture that, if the dimensionless black hole parameters \({\mathfrak {m}}= M \sqrt{-\Lambda }\) and \({\mathfrak {a}} = a \sqrt{-\Lambda }\) satisfy a Diophantine condition, then linear scalar perturbations \(\psi \) remain bounded \(|\psi |\le C\) at the Cauchy horizon. This would then hold for Lebesgue-generic but Baire-exceptional black hole parameters. If true, this would provide a negative resolution of the linear scalar analog of the \(C^0\)-formulation of Strong Cosmic Censorship provided that genericity of the parameters is now taken in the Lebesgue-generic sense.
Returning to the fully nonlinear \(C^0\)-formulation of Strong Cosmic Censorship, the black hole parameters are themselves dynamic in evolution under (1.1). Thus, the above competing notions of genericity for the parameters may now be reflected in different formulations of the genericity assumption imposed on initial data in the statement of the conjecture. This could mean that the validity of Strong Cosmic Censorship is not only sensitive to the regularity of the extension but may also become highly sensitive to the precise notion of genericity imposed on the initial data.
1.1 Outline of the introduction
We begin in Sect. 1.1 with a presentation of the \(C^0\)-formulation (Conjecture 1) and Christodoulou’s reformulation (Conjecture 2) of the Strong Cosmic Censorship conjecture. We also introduce their respective linear scalar analogs Conjecture 3 and Conjecture 4 and review the relevant previous work and difficulties for \(\Lambda \ge 0\) and \(\Lambda <0\). Then, turning to the Kerr–AdS case (\(\Lambda <0)\), we will first outline in Sect. 1.2 the behavior of linear scalar perturbations on the black hole exterior before we focus on the interior in Sect. 1.3, see Fig. 1. In Sect. 1.4 we put both insights together and we will see, at least on a heuristic level, how small divisors and Diophantine approximation arise. This will lead to a new expectation that transcends Conjecture 3 and Conjecture 4 and which we formulate in Sect. 1.5 as Conjecture 5 and Conjecture 6. In Sect. 1.6 we state our main result Theorem 1, which resolves Conjecture 5 in the affirmative. Then, in Sect. 1.7 we give an outlook on Conjecture 6. In Sect. 1.8 we describe how we turn our heuristics of Sect. 1.4 into a proof of Theorem 1. Finally, we give a brief outline of the paper in Sect. 1.9.
1.2 Strong Cosmic Censorship: Conjectures 1–4
Recall from our previous discussion that our main motivation for studying linear perturbations on black hole interiors is to shed light on one of the most fundamental problems in general relativity: the existence of smooth Cauchy horizons.
In general, a Cauchy horizon \(\mathcal {CH}\) defines the boundary beyond which initial data on a spacelike hypersurface (together with boundary conditions at infinity in the asymptotically AdS case) no longer uniquely determine the spacetime as a solution of the Einstein equations (1.1). The Kerr(–de Sitter or –Anti-de Sitter) black holes share the property that they indeed posses a smooth Cauchy horizon \(\mathcal {CH}\) in their interiors. In particular, these spacetimes admit infinitely many smooth extensions beyond their Cauchy horizons solving (1.1), and in this sense violating determinism and the predictability of the theory. From a PDE point of view, this corresponds to a lack of global uniqueness for (1.1). However, the existence of regular Cauchy horizons is conjectured to be an artifact of the high degree of symmetry in those explicit spacetimes and generically it is expected that some sort of singularity ought to form at or before a Cauchy horizon. The original mechanism which was invoked to support this expectation is a blue-shift instability associated to Cauchy horizons [98]. The emergence of such a singularity at or before a Cauchy horizon is paradoxically “good” because—if sufficiently strong—it can be argued that this restores determinism, as the fate of any observer approaching the singularity, though bleak, is uniquely determined. Making this precise gives rise to various formulations of what is known as the Strong Cosmic Censorship (SCC) conjecture [16, 99].
We begin with the \(C^0\)-formulation of the SCC conjecture which can be seen as the strongest, most desirable, inextendibility statement in this context.
Conjecture 1
(\(C^0\)-formulation of Strong Cosmic Censorship). For generic compact, asymptotically flat or asymptotically Anti-de Sitter vacuum initial data, the maximal Cauchy development of (1.1) is inextendible as a Lorentzian manifold with \(C^0\) metric.
This formulation is related to the statement that observers are torn apart by infinite tidal deformations before they have the chance to cross a Cauchy horizon [24, 95].
Surprisingly, the \(C^0\)-formulation (Conjecture 1) was recently proved to be false for both cases \(\Lambda =0\) and \(\Lambda >0\) [24] (see discussion later). The reason is that it turns out that the blue-shift instability is not sufficiently strong to destroy the metric itself, only derivatives of the metric. However, the following weaker, yet still well-motivated, formulation introduced by Christodoulou in [16] is still expected to hold true (though for the \(\Lambda >0\) case see the discussion later).
Conjecture 2
(Christodoulou’s reformulation of Strong Cosmic Censorship). For generic compact, asymptotically flat or asymptotically Anti-de Sitter vacuum initial data, the maximal Cauchy development of (1.1) is inextendible as a Lorentzian manifold with \(C^0\) metric and locally square integrable Christoffel symbols.
Unlike the \(C^0\)-formulation in Conjecture 1, the statement of Conjecture 2 does not guarantee the complete destruction of observers approaching Cauchy horizons. However, it restores determinism in the sense that even just weak solutions must break down at Cauchy horizons. Nonetheless, one may remain uneasy as to whether the standard notion of weak solution to (1.1) is finally the correct one [78, 82, 97]. In this sense it is a pity that Conjecture 1 turned out to be false in the \(\Lambda \ge 0\) cases, as it would have provided a much more definitive resolution of the spirit of the Strong Cosmic Censorship conjecture. Hence, it is of interest to know whether the situation is better in the \(\Lambda <0\) case!
1.2.1 Linear scalar analog of the Strong Cosmic Censorship conjecture
The aforementioned formulations of SCC have linear scalar analogs on the level of (1.2). Indeed, under the identification \(\psi \sim g\), the linear scalar wave equation (1.2) can be seen as a naive linearization of the Einstein equations (1.1) after neglecting the nonlinearities and the tensorial structure. Moreover, many phenomena and difficulties for the full Einstein equations (1.1) are already present at the level of (1.2).
The linear scalar analog of Conjecture 1 in a neighborhood of Kerr and Kerr–(Anti-)de Sitter corresponds to the statement that for generic black hole parameters, linear scalar perturbations \(\psi \) arising from generic data on a spacelike hypersurface solving (1.2) blow up in amplitude at the Cauchy horizon.
Conjecture 3
(Linear scalar analog of the \(C^0\)-formulation of SCC (Conjecture 1)). For \(\underline{\mathrm{generic}}\) Kerr–(dS/AdS) black hole parameters, linear scalar perturbations \(\psi \) solving (1.2), arising from \(\underline{\mathrm{generic}}\) initial data, blow up in amplitude
at the Cauchy horizon.
The reformulation due to Christodoulou (Conjecture 2) finds its linear scalar analog in the \(H^1_loc \) blow up of \(\psi \) at the Cauchy horizon in view of the identification \(\partial \psi \sim \Gamma \).
Conjecture 4
(Linear scalar analog of Christodoulou’s reformulation of SCC (Conjecture 2)). For \(\underline{\mathrm{generic}}\) Kerr–(dS/AdS) black hole parameters, linear scalar perturbations \(\psi \) solving (1.2), arising from \(\underline{\mathrm{generic}}\) initial data, blow up in local energy
at the Cauchy horizon.
The word generic appears twice in the above formulations, both in the context of the parameters and in the context of the perturbation. This is because in the fully nonlinear Conjecture 1 and Conjecture 2, the background parameters are themselves dynamic in evolution under (1.1) and thus both would be encompassed in the genericity of the initial data.
Genericity of the black hole parameters. As we will show in the present paper, for the Kerr–AdS case, the validity of Conjecture 3 and Conjecture 4 will depend in a crucial way on the notion of genericity (Baire-generic or Lebesgue-generic) imposed on the parameters. This will eventually lead us to refine the above statements of Conjecture 3 and Conjecture 4 (see already Sect. 1.5).
Genericity of the initial data. We will assume that the initial data lie in the class of smooth functions of compact support. Regarding genericity within that class, note that just finding one single solution for which the blow-up statement is true already yields a natural notion of genericity. Indeed, since (1.2) is linear, it would then follow that data for which the arising solution does not blow up satisfy a co-dimension 1 property (see already Remark 1.1) and thus, would be exceptional. It is this notion of genericity of the initial data which we will consider later in Sect. 1.5. Note that we will also consider a more refined notion of genericity of initial data in Remark 1.5.
In the above discussion, one may also consider the Reissner–Nordström(–dS/AdS) spacetimes (see e.g. [69]) which are spherically symmetric electrovacuum solutions to (1.1). Reissner–Nordström(–dS/AdS) spacetimes are often studied as a toy model for Kerr(–dS/AdS) and the above Conjecture 3 and Conjecture 4 can also be formulated replacing Kerr(–dS/AdS) with Reissner–Nordström(–dS/AdS).
Before we bring our discussion of SCC to asymptotically AdS black holes (\(\Lambda <0\)), we will first review the state of the art of the SCC conjecture for the cases \(\Lambda =0\) and \(\Lambda >0\).
1.2.2 SCC for \(\Lambda =0\) and \(\Lambda >0\)
Linear level. The definitive negative resolution of the fully nonlinear Conjecture 1 in [24] for both \(\Lambda =0\) and \(\Lambda >0\) was preceded by the negative resolution of the linear Conjecture 3 in [41, 42, 54] for \(\Lambda =0\) and in [18, 56] for \(\Lambda >0\). It was shown that solutions of (1.2) arising from regular and localized data on a spacelike hypersurface remain continuous and uniformly bounded \(|\psi |\le C\) at the Cauchy horizon for all subextremal Kerr black hole interiors \((\Lambda =0)\), and very slowly rotating subextremal Kerr–dS black hole interiors—hence disproving Conjecture 3 for \(\Lambda =0\) and \(\Lambda >0\). (For the extremal case see [45, 46] and for the Schwarzschild case see [39].) The key ingredient in showing boundedness at the Cauchy horizon is a sufficiently fast decay (polynomial with rate \(v^{-p}\) with \(p>1\) for \(\Lambda =0\) and exponential for \(\Lambda >0\)) of linear scalar perturbations along the event horizon. Using suitable energy estimates associated to the red-shift vector field introduced in [25] and the vector field \(S=|u|^p \partial _u + |v|^p \partial _v\), this decay is then propagated into the black hole all the way up to the Cauchy horizon \(\mathcal {CH}\), where it is sufficient to conclude uniform boundedness. We remark already that this method manifestly fails for asymptotically AdS black holes, where linear scalar perturbations decay merely at a logarithmic rate along the event horizon [63, 65].
While Conjecture 3 is false for \(\Lambda =0\), as remarked above, at least the weaker formulation Conjecture 4 holds true: It was proved that the (non-degenerate) local energy at the Cauchy horizon blows up, \(\Vert \psi \Vert _{H^1_{loc }} = +\infty \), for a generic set of solutions \(\psi \) on Reissner–Nordström [79] and Kerr [26] black holes in the full subextremal range of parameters. A similar blow-up behavior was obtained for Kerr in [83] assuming lower bounds (which were shown later in [55] to indeed hold generically) on the energy decay rate of a solution along the event horizon. These results thus also support the validity of the fully nonlinear Conjecture 2 for \(\Lambda =0\).
On the other hand, in the \(\Lambda >0\) case, the exponential convergence of perturbations along the event horizon of a Kerr–de Sitter black hole is in direct competition with the exponential blue-shift instability near the Cauchy horizon. Thus, the question of the validity of Conjecture 4 becomes even more subtle for \(\Lambda >0\) and has received lots of attention in the recent literature. We refer to the conjecture in [22], the survey article [103], the recent results [18, 27,28,29,30] and the works [58, 59] taking also quantum effects into account.
Another related result, which will turn out to be important for the paper at hand, is proved in work of the author and Shlapentokh-Rothman [72]: The main theorem establishes a finite energy scattering theory for solutions of (1.2) on the interior of Reissner–Nordström. In this scattering theory, a linear isomorphism between the degenerate energy spaces (associated to the Killing field T) corresponding to the event and Cauchy horizon is established. The problem reduces to showing uniform bounds for the transmission and reflection coefficients \({\mathfrak {T}}(\omega ,\ell )\) and \(\mathfrak R(\omega ,\ell )\) for fixed frequency solutions. Formally, for an incoming wave at the right event horizon \(\mathcal {H}_R\), the transmission and reflection coefficients correspond to the amount of T-energy scattered to the left and right Cauchy horizon \(\mathcal {CH}_L\) and \(\mathcal {CH}_R\), respectively. Indeed, the theory also carries over to non-zero cosmological constant \(\Lambda \ne 0\) except for the characteristic frequency (\(\omega =0\)) associated to T, thought of now as the generator of the Cauchy horizon. (Note that these results are compatible with the blow-up of the local energy at the Cauchy horizon [79] because of the degeneracy of the T-energy.) These insights will turn out to be important for the interior analysis of the present paper, see already Sect. 1.3.
Nonlinear level. Turning to the nonlinear problem of (1.1), Dafermos–Luk proved the full nonlinear \(C^0\)-stability of the Kerr Cauchy horizon in [24]. Their work definitively disproves Conjecture 1 for \(\Lambda =0\) (subject only to the completion of a proof of the nonlinear stability of the Kerr exterior). Mutatis mutandis, their proof of \(C^0\)-stability also applies to Kerr–de Sitter Cauchy horizons, where the exterior has been shown to be nonlinearly stable in the very slowly rotating case [57]. This unconditionally disproves Conjecture 1 for \(\Lambda >0\).
Nonlinear inextendibility results at Cauchy horizons have been proved only in spherical symmetry: For the Einstein–Maxwell-scalar field system, the Cauchy horizon is shown to be \(C^2\) unstable [21, 80, 81] for a generic set of spherically symmetric initial data. See also the pioneering work in [95, 100] and the more general results on the Einstein–Maxwell–charged scalar field system in [71, 112,113,114]. This proves the \(C^2\)-formulation of SCC, and by very recent work [108], the \(C^{0,1}\)-formulation (but not yet Conjecture 2) in spherical symmetry. For work in the \(\Lambda >0\) case see [19, 20]. The question of any type of nonlinear instability of the Cauchy horizon without symmetry assumptions and the validity of Conjecture 2 (even restricted to a neighborhood of Kerr) have yet to be understood.
We shall also mention that for \(T^3\)-Gowdy spacetimes the \(C^2\)-formulation of SCC has been shown in [106, 107]. Further, in the context of Bianchi systems [34] (which can be formulated as finite dimensional dynamical systems [53, 115]), a \(C^2\)-formulation of SCC has been shown for generic data in [104, 105] for Bianchi A and in [102] for Bianchi B systems. In the dynamical system formulation, Baire-genericity has been crucial to the argument, see e.g. [102, Sect. 1.4].
1.2.3 SCC for asymptotically AdS spacetimes \(\Lambda <0\)
As we shall see in the present paper, the situation for asymptotically AdS black holes with \(\Lambda <0\) will turn out to be radically different.
First, in view of the lack of global hyperbolicity of asymptotically AdS spacetimes, one needs to specify additional boundary conditions at infinity (at \({\mathcal {I}}\)) to guarantee well-posedness of (1.1) and (1.2), see [40, 44, 49, 61, 118]. The most natural in this context are reflecting (Dirichlet) boundary conditions [44]. In what follows we will assume such Dirichlet boundary conditions. (Refer to Sects. 1.5 and 1.6 later for remarks on more general boundary conditions.)
We first discuss linear scalar perturbations solving (1.2) arising from data posed on a spacelike hypersurface on asymptotically AdS black holes. In contrast to \(\Lambda \ge 0\), where linear scalar perturbations \(\psi \) decay at a polynomial (\(\Lambda =0\)) and exponential (\(\Lambda >0\)) rate, linear scalar perturbations \(\psi \) of Kerr–AdS (and Reissner–Nordström–AdS) decay merely at a logarithmic rate on the exterior as proved in [63, 65].Footnote 1 The origin of this slow decay is a stable trapping phenomenon of high-frequency waves traveling along stably trapped null geodesics which repeatedly bounce off null infinity \({\mathcal {I}}\). (Contrast this with the work [9, 31, 96] in 2+1 dimensions and refer to [10] for a discussion of the Ori model for Reissner–Nordström–AdS.) For 5D asymptotically flat black holes, a similar \(\log \)-decay result was shown in [4], which also relies on the existence of stably trapped null geodesics.
With the logarithmic decay on the exterior in hand, we first recall from the discussion above that in the \(\Lambda \ge 0\) cases Conjecture 3 is false (and, in fact, so is the fully nonlinear Conjecture 1), yet at least in the \(\Lambda =0\) case Conjecture 4 is true (and, hopefully, Conjecture 2 as well). Indeed, our methods in principle also show Conjecture 4 for \(\Lambda <0\). However, in view of the slower decay in the case \(\Lambda <0\), one might suspect a stronger instability at the Cauchy horizon in this case. This raises the attractive possibility that Conjecture 1 and Conjecture 3 might actually be true for \(\Lambda <0\), which would give a more definitive resolution to the issue of Strong Cosmic Censorship than the weaker Conjecture 2 and Conjecture 4.
For the Reissner–Nordström–AdS spacetime, which is often considered as a toy model of Kerr–AdS, this question was first taken up in [70]. For that case, however, the hopes expressed in the above paragraph were not fulfilled! It was shown in [70] that, despite the slow decay on the exterior, all linear scalar perturbations \(\psi \) on Reissner–Nordström–AdS (in the full subextremal range) remain uniformly bounded, \({|\psi |\le C}\), on the interior and extend continuously across the Cauchy horizon. Thus, the Reissner–Nordström analog of Conjecture 3 is false. To understand the additional phenomenon which was exploited to prove boundedness, let us decompose a linear scalar perturbation \(\psi \) into frequencies \(\omega , m,\ell \) associated to the separation of variables. On the exterior, it is the high frequency part (i.e. \(|\omega |,|m|,\ell \) large) of \(\psi \) which is exposed to stable trapping and decays slowly, whereas the low frequency part (\(|\omega |,|m|,\ell \) small) decays superpolynomially. In the interior, however, the main obstruction to boundedness is the interior scattering pole which is located at the characteristic frequency \(\omega =0\) with respect to T, now thought of as the Killing generator of the Cauchy horizon. (Refer also to the discussion in [72, Sect. 3.6].) Thus, for Reissner–Nordström–AdS, the slowly decaying part of \(\psi \) is decoupled in frequency space from the part susceptible to the interior scattering pole at \(\omega =0\). (See already Fig. 6.) The above result on Reissner–Nordström–AdS may suggest that, just as in the cases of \(\Lambda \ge 0\), Conjecture 3 is false for \(\Lambda <0\), albeit for different reasons.
The present paper on Kerr–AdS, however, provides an unexpected positive resolution of Conjecture 3 for \(\Lambda <0\). We show in Theorem 1 that there exists a set \(\mathscr {P}_{Blow-up }\) of dimensionless Kerr–AdS parameters \({\mathfrak {m}} := M\sqrt{-\Lambda }\) and \({\mathfrak {a}}:= a\sqrt{-\Lambda }\) which is Baire-generic but Lebesgue-exceptional, such that on all Kerr–AdS black hole whose parameters lie in \({\mathscr {P}}_{Blow-up }\), generic linear scalar perturbations \(\psi \) blow up \({|\psi |\rightarrow + \infty }\) at the Cauchy horizon. Thus, our main result Theorem 1shows that Conjecture 3is true if Baire-genericity is imposed on the Kerr–AdS parameters.
This set of parameters is defined through a non-Diophantine condition. This condition arises from small divisors originating from a resonance phenomenon between, on the one hand, specific high frequencies associated to stable trapping on the exterior and, on the other hand, poles of the interior scattering operator which are characteristic frequencies with respect to the Killing generator of the Cauchy horizon. This resonance phenomenon is possible because the characteristic frequencies of the Cauchy horizon are now the frequencies
where
is the frequency at which the Cauchy horizon rotates. In contrast to Reissner–Nordström, (1.6) can now be satisfied for frequencies \(|\omega |, |m|,\ell \) which are large. It is not all high frequencies, however, but only specific high frequencies, so-called quasimode (on the real axis) or quasinormal mode (in the complex plane) frequencies \((\omega _{n}, m_n, \ell _n)_{n\in {\mathbb {N}}}\) which are responsible for the slow decay on the exterior. (See already Sect. 1.2.) This resonance phenomenon will lead to small divisors of the form \(\frac{1}{\omega _{n} - \omega _- m_n}\). Now, if the specific quasinormal mode frequencies approximate the characteristic frequencies \(\omega = \omega _- m\) sufficiently well, i.e. if \(|\omega _n - \omega _- m_n|\) is sufficiently small for infinitely many \(n \in {\mathbb {N}}\), then we will show that generic linear scalar perturbations \(\psi \) of Kerr–AdS blow up \(|\psi |\rightarrow \infty \) at the Cauchy horizon. This naturally leads to a non-Diophantine condition on the black hole parameters \({\mathfrak {m}}, {\mathfrak {a}}\) which, as we will show, holds true for a set of parameters \({\mathfrak {m}}, {\mathfrak {a}}\) which is Baire-generic but Lebesgue-exceptional.
The above result is not the last word on Conjecture 3 on Kerr–AdS black holes. We also complement our main result with the conjecture that if the parameters \({\mathfrak {m}}, {\mathfrak {a}}\) satisfy a complementary Diophantine condition, then the resonance phenomenon outlined above is “weak” and linear scalar perturbations \(\psi \) remain bounded \(|\psi |\le C \) at the Cauchy horizon. This would then hold for black hole parameters which lie in a set \({\mathscr {P}}_{Bounded }\) which is Baire-exceptional but Lebesgue-generic. Thus, we expect Conjecture 3to be false if Lebesgue-genericity is imposed on the Kerr–AdS parameters.
Since the parameters are dynamic in the full nonlinear (1.1), this suggests that for \(\Lambda <0\) the validity of the \(C^0\)-formulation of Strong Cosmic Censorship (Conjecture 1) may change in a spectacular way according to the notion of genericity imposed.
Instability of asymptotically AdS spacetimes? If we accept to interpret the above results as supporting Conjecture 1, they leave determinism in better shape for \(\Lambda <0\) compared to the \(\Lambda \ge 0\) cases. However, turning to the fully nonlinear dynamics governed by (1.1), there is yet another scenario which could happen. While Minkowski space (\(\Lambda =0\)) and de Sitter space (\(\Lambda >0\)) have been proved to be nonlinearly stable [17, 43], Anti-de Sitter space (\(\Lambda <0\)) is expected to be nonlinearly unstable with Dirichlet conditions imposed at infinity. This was recently proved by Moschidis [84,85,86,87] for appropriate matter models. See also the original conjecture in [23] and the numerical results in [11]. Similarly, for Kerr–AdS (or Reissner–Nordström–AdS), the slow logarithmic decay on the linear level proved in [65] could in fact give rise to nonlinear instabilities in the exterior. (Note that in contrast, nonlinear stability for spherically symmetric perturbations of Schwarzschild–AdS was shown for Einstein–Klein–Gordon systems [64].) If indeed the exterior of Kerr–AdS was nonlinearly unstable, the linear analysis on the level of (1.2) could not serve as a model for (1.1) and the question of the validity of Strong Cosmic Censorship would be thrown even more open!
1.3 Exterior: \(\log \)-decay, quasi(normal) modes and semi-classical analysis
We recall the result of Holzegel–Smulevici [63, 65] that linear scalar perturbations \(\psi \) solving (1.2) decay at a sharp inverse logarithmic rate
on the Kerr–AdS exterior. (For smooth initial data, the decay in (1.8) can be slightly improved to \(|\psi |\le \frac{C_n}{\log ^n(t)}\) for \(n \in {\mathbb {N}}\).) The reason for the slow decay is the stable trapping phenomenon near infinity discussed earlier. One manifestation of this phenomenon is the existence of so-called quasimodes and quasinormal modes which are “converging exponentially fast” to the real axis. Note already that in the proof of Theorem 1 we will work with quasimode frequencies but we will not make use of a quasinormal mode construction or decomposition. However, quasinormal modes provide perhaps the simplest route to obtain some intuition—paired with the interior analysis in Sect. 1.3—for how the relation to Diophantine approximation arises. Our discussion of quasi(normal) modes starts with the property that (1.2) is formally separable [13].
Separation of Variables. With the fixed-frequency ansatz
the wave equation (1.2) reduces to a coupled system of o.d.e’s (see already (2.43)). The radial o.d.e. reads
for a rescaled radial variable \(r^*\in (-\infty , \frac{\pi }{2}l)\) with \(r^*(r=r_+) = -\infty \), \(r^*(r=+\infty ) = \frac{\pi }{2}l\). The radial o.d.e (1.10) couples to the angular o.d.e. through the potential \({\tilde{V}}\) which depends on the eigenvalues \(\lambda _{m\ell }(a \omega )\) of the angular o.d.e.
where \(P(a\omega )\) is a self-adjoint Sturm–Liouville operator. The radial o.d.e. (1.10) is equipped with suitable boundary conditions at \(r^*= -\infty \) and \(r^*= \frac{\pi }{2}l \) which stem from imposing regularity for \(\psi \) at the event horizon and Dirichlet boundary conditions at infinity. This leads to the concept of a mode solution \(\psi \) of (1.2) defined to be of the form (1.9) such that u solves (1.10) and \(S_{m\ell }\) solves (1.11) with the appropriate boundary conditions imposed. If such a solution \(\psi \) were to exist for \(\omega \in {\mathbb {R}}\), this would correspond to a time-periodic solution. Such solutions are however incompatible with the fact that all admissible solutions decay. Nevertheless, there exist “almost solutions” which are time-periodic. This leads us to the concept of
Quasimodes. In [65] it was shown that there exists a set of real frequencies \((\omega _n, m_n = 0, \ell _n)_{n\in {\mathbb {N}}}\) such that the corresponding functions \(\psi _n\) “almost” solve (1.2) in the sense that they satisfy \(\Box _g \psi _n + \frac{2}{3}\Lambda \psi _n = F_n \) with \(|F_n|\lesssim \exp (- c \ell _n)\). These almost-solutions are called quasimodes and their existence actually implies that the logarithmic decay of [63] is sharp as shown in [65]. These quasimode frequencies are equivalently characterized by the condition that the Wronskian \(\mathfrak W[u_{{\mathcal {H}}^+}, u_{\infty }]\) of solutions \(u_{{\mathcal {H}}^+}, u_{\infty }\) of (1.10) adapted to the boundary conditions satisfies
The reason why there exist such quasimodes is that in the high frequency limit, the potential in (1.10) admits a region of stable trapping, see already Fig. 3. Alternatively and intimately related to the above, the existence of quasimodes can be seen as a consequence of the existence of stably trapped null geodesics on the exterior of asymptotically AdS black holes.
Quasinormal modes. The Wronskian \(\mathfrak W[u_{{\mathcal {H}}^+}, u_{\infty }]\) has no real zeros, \(\mathfrak W[u_{{\mathcal {H}}^+}, u_{\infty }]\ne 0\), however, it might very well have zeros in the lower half-plane with \({\text {Im}}(\omega )<0\). These zeros correspond to so-called quasinormal modes i.e. solutions of the form (1.9) which decay in time at an exponential rate. Note that quasinormal modes do not have finite energy on \(\{t =const. \}\)-slices (in particular they have infinite energy on \(\Sigma _0= \{ t=0\}\)). However, they have finite energy for \(\{t^*= const. \}\)-slices, where \(t^*\) is a suitable time coordinate which extends regularly to the event horizon \({\mathcal {H}}_R\), see already (2.25). For a more precise definition, construction and a more detailed discussion of quasinormal modes in general we refer to [47]. Turning back to Kerr–AdS, we note that the bound (1.12) implies the existence of zeros of \({\mathfrak {W}}[u_{{\mathcal {H}}^+}, u_{\infty }]\) exponentially close to the real axis as shown in [48], see also [119]. More precisely, it was shown that there exist axisymmetric quasinormal modes with frequencies \(m=0\) and \((\omega ,\ell ) = (\omega _n,\ell _n)_{n\in {\mathbb {N}}}\) satisfying
While the previous results were proved in axisymmetry to simplify the analysis, in principle, they also extend to non-axisymmetric solutions as remarked in [48].
Semi-classical heuristics for distribution of quasimodes and quasinormal modes. We first turn to the heuristic distribution of the quasimode frequencies in the semi-classical (high frequency) limit. For large |m|, \(m \in {\mathbb {Z}}\), \(\ell \ge |m|\), we expect a quasimode with frequencies \(m,\ell , \omega \) to exist, if the potential \({\tilde{V}}(r^*, \omega , m, \lambda _{m\ell }(a \omega ))\) appearing in the radial o.d.e. (1.10) satisfies (see Fig. 3)
-
\({\tilde{V}}(r^*, \omega , m, \lambda _{m\ell }(a \omega ) ) >0 \) for \(r_1^*< r^*< r_2^*\),
-
\({\tilde{V}}(r^*,\omega , m, \lambda _{m\ell }(a \omega )<0\) for \( r_2^*< r^*\le \frac{\pi }{2}l\).
Note that the conditions above are satisfied for a range of \(\omega \) of the form \(c \ell< |\omega |< C \ell \). In addition, for a quasimode to exist, the potential has to satisfy the Bohr–Sommerfeld quantization condition (see e.g. [76, Chapter VII]). In our case this means that the phase space volume
should be an integer multiple modulo the Maslov index up to an exponentially small error.
Thus, at least heuristically, we expect that for given but large \(|m|, \ell \ge |m|\), there exist \(N(m,\ell )\sim \ell \) intervals of quasimodes with midpoint \(\omega \sim \ell \) and length \(e^{-c\ell }\). While quasimode frequencies are defined through an open condition (c.f. (1.12)), quasinormal mode frequencies will be discrete and in an exponentially small neighborhood of quasimodes. Thus, we expect the quasinormal mode frequencies to be distributed as
Refer to Fig. 4 for a visualization of the expected distribution of quasimodes and quasinormal modes.
For our heuristic analysis we will now consider a solution \(\psi \) of (1.2) which consists of an infinite sum of weighted quasinormal modes (Warning: A general solution cannot be written as a sum of quasinormal modes.)
where we require that the weights \({\tilde{a}}(m,\ell ,n)\) have superpolynomial decay. This ensures that the initial data (posed on a \(\{ t^*= const. \}\)-slice) are smooth where we assume that each individual quasinormal mode is suitably normalized.Footnote 2 Restricting this solution \(\psi \) to the event horizon yields
for new coefficients \(a(m,\ell ,n)\) which satisfy \(|a(m,\ell ,n)| \sim |{\tilde{a}}(m,\ell ,n) u(r_+,\omega _{m\ell n},m,\ell )|\). Now, note that the radial part of the quasinormal mode \(|u(r,\omega _{m\ell n},m,\ell )|\) will be localized in the region of stable trapping, i.e. in the region \(\{r^*\ge r_2^*\}\) of Fig. 3. From semi-classical heuristics, we expect that only an exponentially damped proportion “tunnels” from the region of stable trapping through the barrier to event horizon at \(r=r_+\). More precisely, the damping factor of the exponent of \(|u(r_+,\omega _{m\ell n},m,\ell )|\) is expected to be proportional to
Now, for any choice of superpolynomially decaying (or polynomially decaying) weights \({\tilde{a}} (m,\ell ,n)\), the new coefficients \(a(m,\ell ,n)\) decay exponentially
Thus, choosing coefficients \({\tilde{a}}(m,\ell ,n)\) now corresponds to choosing coefficients \(a(m,\ell ,n)\) satisfying (1.20) and vice versa. In view of this, instead of choosing \({\tilde{a}}(m,\ell ,n)\), we will go forward in our heuristic discussion by choosing coefficients \(a(m,\ell ,n)\) satisfying (1.20). The goal is to choose such coefficients such that \(\psi \) blows up at the Cauchy horizon!
1.4 Interior: scattering from event to Cauchy horizon
We now turn to the interior problem. We will view some aspects of the propagation of \(\psi \) from the event horizon to the Cauchy horizon as a scattering problem as visualized in Fig. 5. We refer to [72] for a detailed discussion of the scattering problem on black hole interiors. Unlike in [72], we will not develop a full scattering theory for Kerr–AdS, but rather make use of a key insight from [72] adapted to our context. Recall from [72, Proposition 6.2] that on Reissner–Nordström–AdS, the scattering operator \({\mathfrak {S}}_{{\mathcal {H}}_R \rightarrow \mathcal {CH}_R}\) in the interior has a pole at the frequency \(\omega =0\), which is the characteristic frequency associated to the Killing generator of the Cauchy horizon T. In the present case for Kerr–AdS, it is the vector field \(K_- := T + \omega _- \Phi \) which generates the Cauchy horizon and thus the characteristic frequencies are those satisfying \(\omega - \omega _- m =0\). For fixed frequency scattering, this means that the reflection coefficient \({\mathfrak {R}}\) (i.e. the fixed frequency scattering operator from \({\mathcal {H}}_R\) to \(\mathcal {CH}_R\)) has a pole at \(\omega - \omega _- m =0\) such that \({\mathfrak {R}}\) is of the form
where \({\mathfrak {r}}(\omega =\omega _- m,m,\ell ) \ne 0\).
There is a natural solution \(\psi \) defined in the black hole interior by continuing each quasinormal mode appearing in (1.17) into the interior. This solution is again smooth across \({\mathcal {H}}_R\) and thus can be view as a solution arising from smooth data on a spacelike hypersurface which coincides with \(\{ t^*=0\}\) on the exterior. Let us assume for a moment that the fixed frequency scattering theory also carries over to complex frequencies and that we can analytically continue the reflection coefficient \({\mathfrak {R}}\) to the complex plane. We then expect that the continued solution \(\psi \) at the Cauchy horizon can be obtained by multiplying each individual coefficient \(\psi \restriction _{{\mathcal {H}}}\) as in (1.18) with the reflection coefficient \({\mathfrak {R}}(\omega _{m\ell n}, m,\ell )\). Moreover, neglecting \({\mathfrak {r}}(\omega _{m\ell n},m,\ell )\) which is expected to be suitably bounded from below and above, and taking the \(L^2({\mathbb {S}}^2)\)-norm of the \(\{ u =\text {const} \}\)-spheres on the Cauchy horizon \(\mathcal {CH}_R\), formally yields
where we recall that \(a(m,\ell ,n)\) decay exponentially as in (1.20).
In order to resolve Conjecture 3, we have to determine whether for all coefficients \(a(m,\ell ,n)\) satisfying (1.20), the sum (1.22) remains uniformly bounded, or whether, for some choice of \(a(m,\ell ,n)\) satisfying (1.20), this sum is infinite. Before we address this issue in the next paragraph, we refer to Fig. 6 for an illustration of the main difference between the behavior of linear scalar perturbations on Reissner–Nordström–AdS and Kerr–AdS.
1.5 Small divisors and relation to Diophantine approximation
The convergence of (1.22) is an example par excellence of a small divisors problem. Indeed, if \(|\omega _{m\ell n} - \omega _- m|\) is exponentially small in \(m,\ell ,n\), the sum in (1.22) is infinite for suitable (in fact generic) \( a(m,\ell ,n)\) satisfying (1.20). More precisely, for the sum in (1.22) to be infinite for some choice of \( a(m,\ell ,n)\), in view of (1.20), it suffices that there exist infinitely many \((m,\ell ,n)\) such that \(|\omega _{m\ell n} - \omega _- m|\) decays exponentially. Thus, we conjecture blow-up if
where \((m,\ell ,n)\) are admissible if \(m \in {\mathbb {Z}} , \ell \ge |m |,n = 1, \dots , N(m,\ell )\).
Conditions like (1.23) lie at the heart of Diophantine approximation. Indeed, semi-classical heuristics as in (1.16) suggest that \({\text {Re}}(\omega _{m\ell n})\) are uniformly distributed and we assume for a moment that \({\text {Re}}(\omega _{m\ell n}) = {\tilde{c}}(\ell + \frac{n}{\ell })\) for \(n = 0, 1, \dots , \ell \) for a constant \({\tilde{c}}={\tilde{c}}(M,a,\Lambda )\) and that \(|{\text {Im}}(\omega _{m\ell n})|\lesssim e^{-c\ell }\). For the sake of the purely heuristic argument assume also for a moment that the dimensionless constants C as well as \(c'/{\tilde{c}}\) are actually \(C=c'/{\tilde{c}}=1\). Then, the ratio \(r({\mathfrak {m}}, {\mathfrak {a}}):= \frac{\omega _-}{{\tilde{c}}}\), which is dimensionless and only depends on the dimensionless black hole parameters \(({\mathfrak {m}} = M \sqrt{-\Lambda }, {\mathfrak {a}}= a \sqrt{-\Lambda })\), has to satisfy the non-Diophantine condition
Thus, from our heuristic derivation, it is natural to conjecture that linear perturbations blow up at the Cauchy horizon of Kerr–AdS with mass \(M = {\mathfrak {m}}/\sqrt{-\Lambda }\) and angular momentum \(a={\mathfrak {a}}/\sqrt{-\Lambda }\) if the ratio \(r=r(\mathfrak m, {\mathfrak {a}})\) satisfies the non-Diophantine condition (1.24). At this point it worth emphasizing that the above arguments are merely heuristics and by no means can be turned into a proof easily. In particular, our proof does not use a quasinormal modes approach as the previous heuristics and the non-Diophantine condition (see already Sect. 5) is significantly more technical (refer also to the discussion later in Sect. 1.8).
The set \({\mathscr {R}}\)R is Baire-generic and Lebesgue-exceptional. The set \({\mathscr {R}}\) can be written as a \(\limsup \) set as
It is a countable intersection of open and dense sets such that \({\mathscr {R}}\) is of second category in view of Baire’s theorem [2]. Thus, the set \({\mathscr {R}}\) is generic from a topological point of view, which we refer to as Baire-generic. On the other hand, from a measure-theoretical point of view, the set \({\mathscr {R}}\) is exceptional. Indeed, an application of the Borel–Cantelli lemma shows that the Lebesgue measure of \({\mathscr {R}}\) vanishes. This is the easy part of the famous theorem by Khintchine [73] stating that for a decreasing function \(\phi \), the set
has full Lebesgue measure if and only if the sum \(\sum _q \phi (q)\) diverges. Thus, \({\mathscr {R}}\) is Lebesgue-exceptional.
More refined measure: The Hausdorff and packing measures. This naturally leads us to consider the more refined versions of measure, the so-called Hausdorff and packing measures \(H^f\), \(P^f\) together with their associated dimensions \(\dim _H\), \(\dim _P\) (see Sect. 2.1). The Hausdorff and packing measure generalize the Lebesgue measure to non-integers. In a certain sense, they can be considered to be dual to each-other: The Hausdorff measure approximates and measures sets by a most economical covering, whereas the packing measure packs as many disjoint balls with centers inside the set. While for all sufficiently nice sets these notions agree, they indeed turn out to give different results in our context.
We first consider the Hausdorff dimension. A version of the Borell–Cantelli lemma (more precisely the Hausdorff–Cantelli lemma) and using the natural cover for \({\mathscr {R}}\) shows that the set \({\mathscr {R}}\) is of Hausdorff dimension zero. This again can be seen as a consequence of a theorem going back to Jarník [67] and Besicovitch [8] which states the set \(W[\phi ]\) as in (1.26) has Hausdorff measure
for \(s\in (0,1)\). However, measuring also logarithmic scales, i.e. considering the Hausdorff measure \(H^f\) for \(f = \log ^t(r)\) for some \(t>0\), it follows that the set \({\mathscr {R}}\) is of logarithmic generalized Hausdorff dimension. On the other hand, using the dual notion of packing dimension, it turns out that \({\mathscr {R}}\) has full packing dimension, a consequence of the fact that it is a set of second category (Baire-generic) [36].
Summary of properties of \({\mathscr {R}}\)R. To summarize, we obtain that
-
\({\mathscr {R}}\) is Baire-generic,
-
\({\mathscr {R}}\) is Lebesgue-exceptional,
-
\({\mathscr {R}}\) has zero Hausdorff dimension \(\dim _H ({\mathscr {R}}) = 0\),
-
\({\mathscr {R}}\) is of logarithmic generalized Hausdorff dimension,
-
\({\mathscr {R}}\) has full packing dimension \(\dim _P ({\mathscr {R}}) = 1\).
The above heuristics will enter in our revised conjectures, Conjecture 5 and Conjecture 6, which transcend Conjecture 3 and Conjecture 4 for \(\Lambda <0\). Before we turn to that in Sect. 1.5, we briefly discuss other aspects of PDEs and dynamical systems for which Diophantine approximation plays a crucial role.
Small divisors problems and Diophantine approximation in dynamical systems and PDEs. Most prominently, Diophantine approximation and the small divisors problem are intimately tied to the problem of the stability of the solar system [89] and more generally, the stability of Hamiltonian systems in classical mechanics. This stability problem was partially resolved with the celebrated KAM theorem [1, 74, 88] which roughly states that Lebesgue-generic perturbations of integrable Hamiltonian systems lead to quasiperiodic orbits. The small divisors problem and Diophantine approximation are ubiquitous in modern mathematics and arise naturally in many other aspects of PDEs and dynamical systems. We refer to [37, 90] for a connection to wave equations with periodic boundary conditions and to the more general results in [50] as well as the monograph [101]. There is also a vast recent literature on the construction of (quasi-)periodic orbits to nonlinear wave equations; we refer to [3, 6, 117], the overview article [5] and the monograph [7] and references therein for further details. Similar results have been obtained for the Schrödinger equation on the torus in [35, 68, 75, 116]. Further applications of Diophantine approximation include the characterization of homeomorphisms on \({\mathbb {S}}^1\) by the Diophantine properties of their rotation numbers or analyzing the Lyapunov stability of vector fields, see the discussion in [77].
1.6 Conjecture 5 and Conjecture 6 replace Conjecture 3 and Conjecture 4 for Kerr–AdS
With the above heuristics in hand, we now transcend Conjecture 3 and Conjecture 4 for subextremal Kerr–AdS black holes with parameters below the Hawking–Reall bound in terms of the following two conjectures. We denote the set of all such parameters with \({\mathscr {P}}\), see already (2.9).
Conjecture 5
There exists a set \({\mathscr {P}}_{Blow-up } \subset \mathscr {P}\) of dimensionless Kerr–AdS parameters mass \({\mathfrak {m}} = {M}{\sqrt{-\Lambda }}\) and angular momentum \({\mathfrak {a}} = {a}{\sqrt{-\Lambda }}\) with the following properties
-
\({\mathscr {P}}_{Blow-up }\) is Baire-generic (of second category),
-
\({\mathscr {P}}_{Blow-up }\) is Lebesgue-exceptional (zero Lebesgue measure),
and such that for every Kerr–AdS black hole with mass \(M = {\mathfrak {m}} / \sqrt{-\Lambda }\) and specific angular momentum \( a = {\mathfrak {a}} /\sqrt{-\Lambda }\), where \(({\mathfrak {m}}, {\mathfrak {a}}) \in {\mathscr {P}}_{Blow-up }\), there exists a solution \(\psi \) to (1.2), which arises from smooth and compactly supported initial data \((\psi _0,\psi _1)\) on a suitable spacelike hypersurface with Dirichlet boundary conditions at infinity, and which blows up
at the Cauchy horizon for every \(u\in {\mathbb {R}}\).
Remark 1.1
If there exist initial data \((\psi _0,\psi _1)\) leading to a solution \(\psi \) which blows up as in (1.28), this then shows that initial data \(({\tilde{\psi }}_0, {\tilde{\psi }}_1)\) for which the arising solution does not blow up are exceptional in the sense that they obey the following co-dimension 1 property: The solution arising from the perturbed data \(({\tilde{\psi }}_0+ c \psi _0, \tilde{\psi }_1 + c \psi _1)\) blows up for each \(c\in {\mathbb {R}}\setminus \{0\}\). This is analogous to the notion of genericity used by Christodoulou in his proof of weak cosmic censorship for the spherically symmetric Einstein-scalar-field system [14, 15]. Thus, Conjecture 5 gives a formulation of Conjecture 3. We note already that we will actually formulate in Remark 1.5 another more refined genericity condition for the set of initial data leading to solutions which blow up as in (1.28).
Remark 1.2
Note that in Conjecture 5 we have replaced the statement of blow-up in amplitude from Conjecture 3 with a statement about the blow-up of the \(L^2({\mathbb {S}}^2)\)-norm on the sphere. Indeed, the blow-up of the \(L^2({\mathbb {S}}^2)\)-norm in Conjecture 5, if true, implies that \(\Vert \psi \Vert _{L^\infty ({\mathbb {S}}^2)}(u,r)\rightarrow +\infty \) as \(r\rightarrow r_-\). In this sense, if Conjecture 5 is true, the amplitude also blows up. It is however an interesting and open question whether one may actually replace the \(L^\infty (\mathbb S^2)\) blow-up statement in (1.28) with the pointwise blow-up
for every \((\theta , \phi ^*_-) \in {\mathbb {S}}^2\). One may even speculate about the geometry of the set of \((\theta , \phi _-^*) \in {\mathbb {S}}^2\) for which pointwise blow-up holds. It appears that ultimately one has to quantitatively understand the nodal domains associated to the generalized spheroidal harmonics \(S_{m\ell }(a \omega _- m, \cos \theta )\) at the interior scattering poles.
Remark 1.3
Moreover, we conjecture that the set \(\mathscr {P}_{Blow-up }\) has
-
Hausdorff dimension \(\dim _H ({\mathscr {P}}_{Blow-up }) = 1 \),
-
generalized Hausdorff dimension \(\dim _{gH} (\mathscr {P}_{Blow-up }) = 1+\log \),
-
full packing dimension \(\dim _P ({\mathscr {P}}_{Blow-up }) = 2\).
Moreover, in view of our discussion we additionally conjecture
Conjecture 6
(A) There exists a set \({\mathscr {P}}_{Bounded } \subset \mathscr {P}\) of dimensionless Kerr–AdS parameters mass \({\mathfrak {m}} = {M}{\sqrt{-\Lambda }}\) and angular momentum \({\mathfrak {a}} = {a}{\sqrt{-\Lambda }}\) with the following properties
-
\({\mathscr {P}}_{Bounded }\) is Baire-exceptional (of first category),
-
\({\mathscr {P}}_{Bounded }\) is Lebesgue-generic (full Lebesgue measure),
and such that for every Kerr–AdS black hole with mass \(M = {\mathfrak {m}} / \sqrt{-\Lambda }\) and specific angular momentum \( a = {\mathfrak {a}} /\sqrt{-\Lambda }\), where \(({\mathfrak {m}}, {\mathfrak {a}}) \in {\mathscr {P}}_{Bounded }\), all solutions \(\psi \) to (1.2), which arise from smooth and compactly supported initial data \((\psi _0,\psi _1)\) on a spacelike hypersurfaces with Dirichlet boundary conditions at infinity, remain uniformly bounded
at the Cauchy horizon. Here, \(D(\psi _0,\psi _1)\) is a (higher-order) energy of the initial data and \(C({\mathfrak {m}}, {\mathfrak {a}})\) is a constant depending on \({\mathfrak {m}}\) and \({\mathfrak {a}}\).
(B) For all Kerr–AdS black holes with parameters in \({\mathscr {P}}\), there exists a solution \(\psi \) to (1.2), which arises from smooth and compactly supported initial data on a spacelike hypersurfaces with Dirichlet boundary conditions at infinity and which blows up in energy
at the Cauchy horizon.
Remark 1.4
In view of Conjecture 5, we expect that the constant \(C(\mathfrak m, {\mathfrak {a}})\) appearing in (1.30) to be unbounded on any open set of parameters in the sense that
for any non-empty open \({\mathcal {U}} \subset {\mathscr {P}}\).
More general boundary conditions and Klein–Gordon masses. The above conjectures are both stated for Dirichlet conditions at infinity. Neumann conditions are also natural to consider and indeed well-posedness was proved in [66, 118]. For Neumann conditions we also expect the same behavior as for the case of Dirichlet boundary conditions. For other more general conditions, it may be the case that linear waves grow exponentially (as for suitable Robin boundary conditions [66]) or on the other hand even decay superpolynomially as is the case for purely outgoing conditions [62]. For even more general boundary conditions, even well-posedness may be open.
In this paper we have focused on scalar perturbations satisfying (1.2). In particular, the choice of the Klein–Gordon mass parameter \(\mu = \frac{2}{3} \Lambda \) (“conformal coupling”) is the most natural as it arises from the linear scalar analog of (1.1) and also remains regular at infinity. However, in certain situations it may also be interesting to consider more general Klein–Gordon masses \(\mu \) satisfying the Breitenlohner–Friedman [12] bound \(\mu > \frac{3}{4}\Lambda \). We also expect Conjecture 5 and Conjecture 6 to hold for Klein–Gordon masses for which the exterior is linearly stable, i.e. for \(\mu > \frac{3}{4}\Lambda \) in the case of Dirichlet boundary conditions, and for \( \frac{3}{4} \Lambda< \mu < \frac{5}{12} \Lambda \) together with additional assumptions in the case of Neumann boundary conditions [66].
Regularity of the initial data. We stated Conjecture 5 and Conjecture 6 for smooth (\(C^\infty \)) initial data. One can also consider classes of initial data which are more regular (e.g. Gevrey or analytic) or less regular (e.g. Sobolev). From our heuristics, we expect that the analogs of Conjecture 5 and Conjecture 6 remain valid both for rougher data in some suitably weighted Sobolev space (see [63]) and more regular data of Gevrey regularity with index \(\sigma >1\) and analytic data (\(\sigma =1\)). Only in the exceptional and most regular case of initial data with Gevrey regularity \(\sigma <1\) (note that this is more regular than analytic) in the angular direction \(\partial _\phi \), we expect the analog of Conjecture 5 to break down. In particular, for axisymmetric data (or data supported only on finitely many azimuthal modes m), we expect the arising solution to remain uniformly bounded at the Cauchy horizon for all parameters in \({\mathscr {P}}\).
1.7 Theorem 1: Conjecture 5 is true
Our main result is the following resolution of Conjecture 5.
Theorem 1
Conjecture 5 is true.
The proof of Theorem 1 will be given in Sect. 9.
Remark 1.5
In the proof of Theorem 1 we will not only construct a single solution which blows up leading to genericity of initial data as in Remark 1.1 but we will actually obtain what is perhaps a more satisfying genericity condition on the initial data which are smooth and of compact support. We formulate this condition in Corollary 1 in Sect. 9.
Remark 1.6
We also prove in Sect. 9 the statement about the packing dimension of \({\mathscr {P}}_{Blow-up }\) as conjectured in Remark 1.3. The statements concerning the Hausdorff dimension, however, remain open.
Remark 1.7
In principle, our proof is expected to also apply to Neumann boundary conditions as well as to more general Klein–Gordon masses satisfying the Breitenlohner–Friedman bound [12] as discussed at the end of Sect. 1.5.
1.8 Outlook on Conjecture 6
We also expect that our methods provide a possible framework for the resolution of Conjecture 6.
First, note that the blow-up statement of Theorem 1 is strictly stronger than the \(H^1_loc \) blow-up conjectured in Conjecture 6(B). Thus, Theorem 1 shows that Conjecture 6(B) is true for black hole parameters in the set \({\mathscr {P}}_{Blow-up }\). For parameters not contained in \({\mathscr {P}}_{Blow-up }\), we expect that a quasinormal mode which decays at a sufficiently slow exponential decay rate compared to the surface gravity of the Cauchy horizon will blow up in energy at the Cauchy horizon. This would show Conjecture 6(B). Towards Conjecture 6(A), we note that our proof, particularly formula (9.6) of Proposition 9.1, reveals the main obstruction for boundedness. Together with the methods used in [70] for the Reissner–Nordström–AdS case, this can serve as a starting point for a resolution of Conjecture 6(A).
1.9 Turning the heuristics of Section 1.4 into a proof of Theorem 1
We will now outline how we turn our heuristics of Sect. 1.4 into a proof of Conjecture 5, i.e. Theorem 1.
We are interested in constructing a solution of (1.2), arising from smooth and compactly supported initial data, which blows up as in (1.28), if the dimensionless parameters \({\mathfrak {m}}, {\mathfrak {a}}\) satisfy a certain non-Diophantine condition.
We remark that unlike in our heuristic discussion, we will not make use of quasinormal modes and the frequency analysis will be purely based on the real axis with \(\omega \in {\mathbb {R}}\). Indeed, our approach can be interpreted as replacing quasinormal modes with quasimodes. This will also manifest itself in the fact that the roles of \(\frac{1}{{\mathfrak {W}}[u_{\mathcal H^+},u_\infty ](\omega ,m,\ell )}\) and \(\frac{1}{\omega - \omega _- m}\) will be changed: In the heuristic analysis, we considered the quasinormal mode frequencies \(\omega _{m\ell n}\) which are (complex) roots of the Wronskian \({\mathfrak {W}}[u_{{\mathcal {H}}^+},u_\infty ] \) and the small divisors came from \(\frac{1}{\omega _{m\ell n} - \omega _- m}\). In the actual proof of Theorem 1, we will instead consider the real frequencies \(\omega =\omega _- m\) (i.e. the roots of \(\omega -\omega _- m =0\)) and as we will see, the small divisors will then appear from the Wronskian evaluated at the characteristic frequency \(\frac{1}{{\mathfrak {W}}[u_{\mathcal H^+},u_\infty ](\omega =\omega _- m,m,\ell )}\). Note that the divisor \(|{\mathfrak {W}}[u_{{\mathcal {H}}^+},u_\infty ](\omega =\omega _- m,m,\ell )|\) is small exactly if there exists a quasimode with frequency \((\omega =\omega _- m, m,\ell )\). In view of the distribution of the quasimode frequencies discussed in Sect. 1.2, this will lead to a (generalized) non-Diophantine condition which we will address in more detail further below.
Initial data and exterior analysis (Sect. 6 and Sect. 7). We begin our discussion with our choice of initial data. In Sect. 6 we will carefully impose smooth and compactly supported initial data \(\Psi _0,\Psi _1 \in C_c^\infty (\Sigma _0)\) for (1.2) on the spacelike hypersurface \(\Sigma _0 = \{ t=0\}\) which—with foresight—will be chosen to satisfy
for suitable infinite sequences \(m_i,\ell _i\), where
and
We also recall that \(u_\infty (r,\omega ,m,\ell )\) is the solution to the radial o.d.e. adapted to the Dirichlet boundary condition at \({\mathcal {I}}\).
Complementing the data with vanishing data on \({\mathcal {H}}_L \cup {\mathcal {B}}_{{\mathcal {H}}}\), the data \(\Psi _0,\Psi _1\) define a solution on the black hole interior. Different from our heuristic discussion with quasinormal modes (i.e. fixed frequency solutions) in Sect. 1.4, in the present case, we do need to consider the analog of a “full” scattering operator \({\mathfrak {S}}_{\mathcal H_R \rightarrow \mathcal {CH}_R}\) from the event horizon to the Cauchy horizon which would be of the form
where \({\mathcal {F}}_{\mathcal {H}}\) and \({\mathcal {F}}_{\mathcal {CH}}\) represent (generalized) Fourier transforms along the event and Cauchy horizon, respectively. Thus, from the exterior, we need to determine the generalized Fourier transform \({\mathcal {F}}_{\mathcal H} [\psi \restriction _{\mathcal {H}}]\) along the event horizon. Such a characterization in terms of the chosen initial data from above is the content of Sect. 7. While in the actual proof (see already Proposition 7.1), we will use a suitably truncated generalized Fourier transform, we may formally think of \({\mathcal {F}}_{{\mathcal {H}}} [\psi \restriction _{\mathcal {H}}]\) as having the form
We already remark that a consequence of the smoothness of the initial data is that \(G(\Psi _0,\Psi _1,m,\ell )\) decays superpolynomially in m and \(\ell \), cf. (6.26) in Sect. 6.
Interior analysis (Sects. 8, 9and some of Sect. 3. Turning to the interior analysis, we recall from our heuristic discussion in Sect. 1.3 that the analog of the scattering operator (1.36) from the event to the Cauchy horizon has poles at the characteristic frequencies \(\omega - \omega _- m=0\) with respect to \(K_-\). In our heuristic discussion in Sect. 1.4 based on quasinormal modes and fixed frequency scattering, these poles formally lead to (1.22). In the actual proof, based on frequency analysis on the real axis, the scattering poles become evident in formula (9.6) stated in Proposition 9.1 which roughly translates to the statement that, as \(r\rightarrow r_- \), we have
where \(Err (D)\) is uniformly bounded by an (higher order) energy of the initial data. (Note that in the actual statement of Proposition 9.1, the Fourier transform along the horizon \(\mathcal {F}_{\mathcal {H}} [\psi \restriction _{{\mathcal {H}}}]\) appearing in (1.38) is the truncated Fourier transform \(a_{{\mathcal {H}}}^{R_n} (\omega = \omega _- m,m,\ell ) = \mathcal {F}_{\mathcal {H}} [\psi \restriction _{{\mathcal {H}}}\mathbb 1_{v\le R_n}]\) for \(R_n = 2r_n^*- u_0 + {\tilde{c}} \).)
Both the proof and the use of (1.38) lie at the heart of the proof of Theorem 1. The proof of (1.38) is technical and combines physical space methods with techniques from harmonic analysis. One of the key technical steps (see Proposition 3.3 in Sect. 3) is a quantitative bound (see already (3.72)) on the derivative of the generalized spheroidal harmonics
near the interior scattering poles \(\omega = \omega _- m\). The proof of (1.39) relies on uniform bounds (in \(m,\ell \) and \(\omega \approx \omega _- m\)) on the resolvent of the associated singular Sturm–Liouville operator, see the discussion in Sect. 3.3. These bounds are shown by constructing and estimating the integral kernel of the resolvent using suitable approximations with parabolic cylinder functions and Airy functions. For solutions of the radial o.d.e. in the interior, the analogous resolvent bounds are shown in Sect. 8.1. Their proofs rely on semi-classical approximations and estimates on Volterra integral equations.
Further ingredients to control the error term \(Err (D)\) in (1.38) are uniform bounds on the transmission and reflection coefficients \({\mathfrak {T}}(\omega ,m,\ell )\) and \({\mathfrak {R}}(\omega ,m,\ell )\) for frequencies which are bounded away from the characteristic frequency \(\omega =\omega _- m\).
Combining the exterior with the interior: Occurrence of small divisors and the proof of Theorem 1Sect. 9. We will now connect the exterior analysis to the interior. In particular, formally plugging (1.37) into (1.38) and noting that
yields in the limit \(r\rightarrow r_-\) that
where we also used that the (renormalized) reflection coefficient satisfies \(|{\mathfrak {r}} (\omega =\omega _- m, m,\ell )|\sim |m|\) which we will show in Lemma 8.7. Also recall from before that the error term \(|Err (D)|\) is shown to remain uniformly bounded as \(r\rightarrow r_-\). Remark that in the actual proof we will not quite show (1.41) but rather obtain (9.43) which corresponds to (1.41) in a certain limiting sense. We also recall from the discussion of the exterior analysis that the term \(|m|^2 |G(\Psi _0,\Psi _1,m,\ell )|^2\) which appears in the sum of (1.41) as the numerator, decays superpolynomially in m and \(\ell \). Thus, at least formally, in order to show blow-up for (1.41), it is necessary that small divisors in (1.41) occur infinitely often, i.e. that the Wronskian evaluated at the interior scattering poles \({\mathfrak {W}}[u_{{{\mathcal {H}}^+}}, u_{\infty } ](\omega =\omega _-m,m,\ell )\) (cf. Sect. 1.2) decays (at least) superpolynomially for infinitely many \((m,\ell )\). In our proof, we will actually require from the black hole parameters \({\mathfrak {m}}, {\mathfrak {a}}\) that this Wronskian decays exponentially
Before we address the validity of (1.42), we will assume for a moment that indeed the black hole parameters \({\mathfrak {m}}, {\mathfrak {a}}\) are such that (1.42) holds true. Then, explicitly choose that the subsequences \(m_i\) and \(\ell _i\) in (1.33) coincide with the infinite sequences which fulfill (1.42). Then, we formally obtain the blow-up result of Theorem 1 as
Similarly to the remark before, in reality, (1.43) holds true only in a certain limiting sense, cf. (9.43)–(9.45) of Sect. 9. Already from (1.43) and (1.42) we obtain the following genericity condition
on the initial data leading to blow-up. This will be formulated as Corollary 1 in Sect. 9.
The non-Diophantine condition and its relation to quasimodes (Sect. 4, Sect. 5, and some of Sect. 3. Finally, this leaves us to address the question of whether the small divisors in (1.41) actually appear infinitely often, more precisely, whether (1.42) holds true. The condition (1.42) constitutes a generalized non-Diophantine condition on the black hole parameters \({\mathfrak {m}}, {\mathfrak {a}}\) in view of its relation to the (discrete) Bohr–Sommerfeld quantization conditions from our heuristic discussion Sect. 1.2. In our actual proof, the non-Diophantine condition which we define in Definition 5.3 in Sect. 5 is more technical than (1.42), though (1.42) should be considered as its key property. We denote the set of dimensionless black hole parameters \({\mathfrak {m}},{\mathfrak {a}}\) which satisfy the condition with \({\mathscr {P}}_Blow-up \). The statement that is \({\mathscr {P}}_Blow-up \) is Baire-generic but Lebesgue-exceptional is the content of Sects. 5.2 and 5.3, respectively. Both proofs crucially rely on estimates developed in Sect. 4.
Connecting to the discussion of quasimodes before, we note that the non-Diophantine condition of (1.42) can be interpreted as the statement that there exist infinitely many quasimodes with frequency \(\omega = \omega _- m\). This also implies that there exist infinitely many quasinormal modes with (complex) frequencies \(\omega \) exponentially close to \(\omega =\omega _- m\). However, note that quasimodes are more robust to perturbations in the sense that if \(\omega , m,\ell \) are frequencies of a quasimode, there exists a (exponentially small) neighborhood of \(\omega \) such that for each \({\tilde{\omega }}\) in that neighborhood, the frequencies \({\tilde{\omega }}, m,\ell \) would also describe a quasimode. It is also this robustness which is a key advantage of quasimodes over an approach based on quasinormal modes as in the heuristic discussion in Sect. 1.4.
1.10 Outline of the paper
In Sect. 2 we set up the Kerr–AdS spacetime, recall the well-posedness of (1.2) and the decay statement for solutions on the exterior. We also introduce Carter’s separation of variables. Section 3 is devoted to the analysis of the angular o.d.e. In Sect. 4 we analyze the radial o.d.e. on the exterior and introduce suitable solutions of the radial o.d.e. associated to trapping at the interior scattering poles \(\omega = \omega _- m\). With the estimates from Sect. 4 in hand, we define the set \({\mathscr {P}}_{Blow-up }\) in Sect. 5 and show its topological and metric properties.
Then, for arbitrary but fixed parameters \({\mathfrak {p}} \in {\mathscr {P}}_{Blow-up }\) we define suitable compactly supported and smooth initial data in Sect. 6. In Sect. 7 we treat the exterior problem and conclude with a representation formula of the solution along the horizon in terms of the initial data. In Sect. 8 we first show suitable estimates for solutions of the radial o.d.e. in the interior before we finally conclude the paper with the proof of Theorem 1 in Sect. 9.
2 Preliminaries
2.1 Fractal measures and dimensions
2.1.1 Hausdorff and Packing measures
We begin by introducing the Hausdorff and packing measure. We refer to the monograph [36] for a more detailed discussion. For an increasing dimension function \(f:[0,\infty ) \rightarrow [0,\infty )\) we define the Hausdorff measure \( H^f(A)\) of a set A as
where
If \(f(r) = r^s\), we write \(H^s=H^{r^s}\) and for \(s\in {\mathbb {N}}\), the measure \(H^s\) reduces to the Lebesgue measure up to some normalization. While the Hausdorff measure quantifies the size of a set by approximation it from outside via efficient coverings, we also recall the dual notation: The packing measure quantifies the size of sets by placing as many disjoint balls with centers contained in the set. Again, for a dimension function f, we define the pre-measure
and finally the packing measure as
2.1.2 Hausdorff and Packing dimensions
For \(f(r)=r^s\) Hausdorff and Packing dimensions \(\dim _H\) and \(\dim _P\) are now characterized as the jump value, where the respective measure jumps from 0 to \(\infty \), more precisely
We also say that a set A has generalized Hausdorff dimension \(\dim _{gH}(A) = s+\log \) if the jump appears for the dimension function \(f(r) = r^s \log ^t(r)\) for some \(t>0\).
2.2 Kerr–AdS spacetime
2.2.1 Parameter space
We let the value of the cosmological constant \(\Lambda <0\) be fixed throughout the paper. For convenience and as it is convention, we re-parametrize the cosmological constant by the AdS radius
We consider Kerr–AdS black holes which are parameterized by their mass \(M>0\) and their specific angular momentum \(a\ne 0\). Moreover, without loss of generality we will only consider \(a>0\) and require \(0<a<l\) for the spacetime to be regular. For \(M>0\), \(0<a<l\), we consider the polynomial
We are interested in spacetimes without naked singularities. To ensure this, we define a parameter tuple \((M,a) \in {\mathbb {R}}_{>0}^2\) to be non-degenerate if \(0<a<l\) and \(\Delta (r)\) defined in (2.7) has two real roots satisfying \(0< r_- < r_+\). Finally, to exclude growing mode solutions (see [33]) we assume the Hawking–Reall (non-superradiant) bound
This leads us to the definition of the dimensionless black hole parameter space
Note that in view of (2.6), we have \( M = {\mathfrak {m}}/ \sqrt{-\Lambda } ={\mathfrak {m}} l/\sqrt{3} \) and \(a = {\mathfrak {a}}/ \sqrt{-\Lambda } = {\mathfrak {a}} l /\sqrt{3}\). On the parameter space \({\mathscr {P}}\), we will also use the global coordinates \(( \vartheta , {\mathfrak {a}})\), where
(Note that \(\vartheta = a \omega _-\), where \(\omega _-\) is defined in (2.16) below.) Thus, for each \({\mathfrak {a}}\), there exists an interval \((\mathfrak \vartheta _1({\mathfrak {a}}), \vartheta _2({\mathfrak {a}}))\) and a smooth embedding \( (\mathfrak \vartheta _1({\mathfrak {a}}), \vartheta _2({\mathfrak {a}}) ) \rightarrow {\mathscr {P}}, \vartheta \mapsto ({\mathfrak {m}} (\vartheta ), {\mathfrak {a}})\) which also depends smoothly on \({\mathfrak {a}}\). We define the vector field \(\Gamma \) on \({\mathscr {P}}\) by
in coordinates \((\vartheta ,{\mathfrak {a}})\). We define \(\Phi _\tau ^\Gamma \) as the flow generated by \(\Gamma \).
Finally, remark that \({\mathscr {P}}\) is a Baire space as a (non-empty) open subset of \({\mathbb {R}}^2\). In particular, this allows us to speak about the notion of Baire-exceptional and Baire-generic subsets. Recall that a subset is Baire-exceptional if it is a countable union of nowhere dense sets and a subset is called Baire-generic if it is a countable intersection of open and dense sets. Note that if a subset is Baire-generic then its complement is Baire-exceptional and vice versa. Finally, in a Baire space every Baire-generic subset is dense.
2.2.2 Kerr–AdS spacetime
Fixed manifold. We begin by constructing the Kerr–AdS spacetime. We define the exterior region \({\mathcal {R}}\) and the black hole interior \(\mathcal {B}\) as smooth four dimensional manifolds diffeomorphic to \({\mathbb {R}}^2\times {\mathbb {S}}^2\). On \({\mathcal {R}}\) and on \(\mathcal {B}\) we assume to have global (up to the well-known degeneracy on \({\mathbb {S}}^2\)) coordinate charts
These coordinates \((t,r,\phi ,\theta )\) are called Boyer–Lindquist coordinates. If it is clear from the context which coordinates are being used, we will omit their subscripts throughout the chapter.
The Kerr–AdS metric. For \(({\mathfrak {m}}, {\mathfrak {a}} ) \in {\mathscr {P}}\) and \( M = {\mathfrak {m}} l/ \sqrt{3} \) and \(a = \mathfrak al/ \sqrt{3}\), we define the Kerr–AdS metric on \(\mathcal {R}\) and \(\mathcal {B}\) in terms of the Boyer–Lindquist coordinates as
where
and \(\Delta \) is as in (2.7). We will also write \(\Delta _x := 1-\frac{a^2}{l^2}x^2\) which arises from the substitution \(x=\cos \theta \) in \(\Delta _\theta \). We also define
Now, we time-orient the patches \(\mathcal {R}\) and \(\mathcal {B}\) with \(-\nabla t_{\mathcal {R}}\) and \(-\nabla {r_{{\mathcal {B}}}}\), respectively. We also note that \(\partial _t\) and \(\partial _\phi \) are Killing fields in each of the patches. The inverse metric reads
On \(\mathcal {R}\) and \(\mathcal {B}\), we define the tortoise coordinate \({r^*}(r)\) by
where \(\Delta \) is as in (2.7). For definiteness we set \({r^*} (r=+\infty ):= \frac{\pi }{2} l\) on \(\mathcal {R}\) and \({r^*} ( \frac{1}{2} (r_+ + r_-)) = 0\) on \(\mathcal {B}\).
Eddington–Finkelstein-like coordinates. We also define Eddington–Finkelstein-like coordinates (\(v,r,\theta ,{\tilde{\phi }}_+\)) in the exterior \(\mathcal {R}\) as
where \(\chi _v(r)\) is a smooth monotone cut-off function with \(\chi _v(r) = 1 \) for \(r \le r_+ +\eta \) and \(\chi _v(r) = 0\) for \(r\ge r_+ +2 \eta \) for some \(\eta >0\) small enough such that \( J^+( \{r> 2 r_+ \} \cap \{ t_\mathcal {R}=0 \} ) \cap \{ v=0 \} = \emptyset \)Footnote 3 and \(\eta <\frac{r_+}{4}\). In these coordinates the spacetime \((\mathcal {R},g_{\mathrm {KAdS}})\) can be extended (see [63] for more details) to a time-oriented Lorentzian manifold \(({\mathcal {D}},g_{\mathrm {KAdS}})\) defined as \({\mathcal {D}}:= \{ (r,v,\theta ,{\tilde{\phi }}_+) \in (r_-,\infty ) \times {\mathbb {R}} \times {\mathbb {S}}^2 \}\). Moreover, the Lorentzian submanifold \(({\mathcal {D}} \cap \{ r_-< r < r_+\} , g_{\mathrm {KAdS}})\) coincides (up to time-orientation preserving isometry) with \((\mathcal {B} ,g_{\mathrm {KAdS}})\). We identify these regions and denote the (right) event horizon as \(\mathcal {H}_R:= \{r =r_+\}.\) The Killing null generator of the event horizon is
The Killing field \(K_+\) is called the Hawking vector field and is future-directed and timelike in \(\mathcal {R}\), a consequence the Hawking–Reall bound \(r_+ > a l\).
To attach the (left) Cauchy horizon \(\mathcal {CH}_L\) we introduce in \({\mathcal {B}}\) further coordinates \((v,r,\theta ,{\tilde{\phi }}_-)\), as
In these coordinates, the Lorentzian manifold extends smoothly to \(r=r_-\) and the null hypersurface \(\mathcal {CH}_L:= \{r =r_-\}\) is the left Cauchy horizon with null generator
Note that \(\partial _v = \partial _t\) and \(\partial _{{\tilde{\phi }}_-} = \partial _{\phi }\) in \({\mathcal {B}} \).
To attach the left event horizon \(\mathcal {H}_L\) we introduce new coordinates on \(\mathcal {B}\) defined as \((u,r,\theta , \phi _+^*) \in {\mathbb {R}} \times (r_-,r_+) \times {\mathbb {S}}^2\) by
on \(\mathcal {B}\) and attach \(\mathcal {H}_L\) as \(\mathcal {H}_L=\{r=r_+\}\). Similarly, introduce \((u,r,\theta ,\phi ^*_{-})\) as
on \(\mathcal {B}\) and attach the right Cauchy horizon \(\mathcal {CH}_R\) as \(\mathcal {CH}_R = \{ r=r_-\}\) in this coordinate system. Indeed, \(K_+\) and \(K_-\) extend to Killing vector fields expressed as \(K_+:=- \partial _u + \omega _+ \partial _{\phi _+^*}\) and \(K_-:=- \partial _u + \omega _- \partial _{\phi _-^*}\). They are past directed Killing generators of \(\mathcal {H}_L\) and \(\mathcal {CH}_R\), respectively. Finally, we attach the past and future bifurcation spheres \(\mathcal {B}_{{\mathcal {H}}}\) and \(\mathcal {B}_{\mathcal {CH}}\). Formally, they are defined as \(\mathcal {B}_{\mathcal {H}}:= \{ v = - \infty \} \times \{ r=r_+\} \times {\mathbb {S}}^2 =\{ u= - \infty \} \times \{ r=r_+\} \times {\mathbb {S}}^2 \) respectively in the coordinates systems \((v,r,\theta ,{\tilde{\phi }}_+)\) and \((u,r,\theta , \phi ^*_+)\). Similarly, we have \(\mathcal {B}_{\mathcal {CH}}:= \{ v = + \infty \} \times \{ r=r_-\} \times {\mathbb {S}}^2 =\{ u= + \infty \} \times \{ r=r_-\} \times {\mathbb {S}}^2 \). Finally, we define the Cauchy horizon \(\mathcal {CH}:=\mathcal {CH}_L \cup \mathcal {CH}_R \cup \mathcal {B}_{\mathcal {CH}}\). This is standard and we refer to the preliminary section of [26] for more details. The metric \(g_{\mathrm {KAdS}}\) extends to a smooth Lorentzian metric on \(\mathcal {B}_{{\mathcal {H}}}\), \(\mathcal {B}_{\mathcal {CH}}\) and we define \((\mathcal {M}_{\mathrm {KAdS}}, g_{\mathrm {KAdS}})\) as the Lorentzian manifold constructed above. Moreover, \(T:= \partial _t\) and \(\Phi := \partial _\phi \) extend to smooth Killing vector fields on \({\mathcal {M}}_{KAdS }\) with \(K_+ = T+\omega _+ \Phi \) and \(K_- = T + \omega _- \Phi \).
Kerr–AdS-star coordinates. On the exterior region \(\mathcal {R}\) we define an additional system of coordinates \((t^*,r,\theta ,\phi ^*)\) from the Boyer–Lindquist coordinates through
where \(\frac{\mathrm {d}A}{\mathrm {d}r} = \frac{2 M r}{\Delta (1+\frac{r^2}{l^2})}\) and \(\frac{\mathrm {d}B}{\mathrm {d}r} = \frac{a \Xi }{\Delta }\) and \(A= B = 0\) at \(r=+\infty \). As shown in [66, Sect. 5], these coordinates extend smoothly to the event horizon \({\mathcal {H}}_R\) and we call the coordinates \((t^*,r,\theta ,\phi ^*)\) covering \({\mathcal {R}} \cup {\mathcal {H}}_R\) Kerr–AdS-star coordinates. Note that the event horizon is characterized as \({\mathcal {H}}_R = \{ r= r_+\}\) and that \(K_+ = \partial _{t^*}\) in these coordinates.
Foliations and Initial Hypersurface. We foliate the region \({\mathcal {R}} \cup {\mathcal {H}}_R\) with constant \(t^*\) hypersurfaces \(\Sigma _{t^*}\) which are spacelike and intersect the event horizon at \(r=r_+\). For the initial data we will consider the axisymmetric spacelike hypersurface
Note that \(\Sigma _0\) does not contain the bifurcation sphere \(\mathcal {B}_{{\mathcal {H}}}\). We will impose initial data on \(\Sigma _0 \cup \mathcal {B}_{{\mathcal {H}}} \cup \mathcal {H}_L \). We will choose the support of our initial data to lie in a compact subset \(K \subset \Sigma _0 \cap \{ r\ge 2 r_+ \}\). Thus, we assume vanishing data on \(\mathcal {H}_L \cup \mathcal {B}_{{\mathcal {H}}}\). This will be made precise in Sect. 6.
Boundary conditions. Note that the conformal boundary \(\mathcal {I}\), expressed formally as \(\{ r = +\infty \}\), is timelike, as a consequence, \((\mathcal {M}_{\mathrm {KAdS}}, g_{\mathrm {KAdS}})\) is not globally hyperbolic. Thus, in addition to Cauchy data for (1.2), we will also impose Dirichlet boundary conditions at \({\mathcal {I}} = \{ r=+\infty \}\).
2.3 Conventions
If X and Y are two (typically non-negative) quantities, we use \(X\lesssim Y\) of \(Y\gtrsim X\) to denote that \(X\le C(M,a,l) Y\) for some constant \(C(M,a,l) >0\) depending continuously on the black hole parameters (M, a, l) , unless explicitly stated otherwise. We also use \(X=O(Y)\) for \(|X| \lesssim Y\). We use \(X\sim Y\) for \(X \lesssim Y \lesssim X\) and if the constants appearing in \(\lesssim , \gtrsim , \sim \) or O depend on additional parameters \(a_i\) we include those as subscripts, e.g. \(X \lesssim _{a_1 a_2} Y\). Similarly, implicit constants in “sufficiently small” or “sufficiently large” may also depend continuously on M, a, l.
In Sect. 6 we will fix parameters \(({\mathfrak {m}},{\mathfrak {a}}) \in {\mathscr {P}}_Blow-up \) and all constants appearing in \(\lesssim \) and \(\gtrsim \) throughout Sects. 6, 7, 8 will only depend on this particular choice and on \(l>0\) as in (2.6).
Further, we denote the total variation of a function \(f:{\mathbb {R}} \rightarrow {\mathbb {R}}\) in the interval (a, b) with \({\mathcal {V}}_{a,b}(f)\) defined as \( {\mathcal {V}}_{a,b} (f) := \sup _{ P}\sum _{i=1}^{n_p -1} |f(x_{i+1}) - f(x_i)|\), where the supremum runs over the set of all partitions of the given interval, see [94, Chapter 1, §11].
2.4 Norms and energies
To state the well-posedness result of (1.2) and the logarithmic decay result on the Kerr–AdS exterior, we define the following norms and energies in the exterior region \({\mathcal {R}} \cup {\mathcal {H}}_R\). These are based on the works [61, 63, 65], where more details can be found. In the region \({\mathcal {R}} \cup {\mathcal {H}}_R\) we let and be the induced metric and induced connection of the spheres \({\mathbb {S}}_{t^*,r}^2\) of constant \(t^*\) and r. For a smooth function \(\psi \) we denote . Now, we define energy densities in Kerr–AdS-star coordinates as
and analogously for higher order energy densities. Here, \((\Omega _i)_{i=1,2,3}\) denote the angular momentum operators on the unit sphere in \(\theta ,\phi ^*\) coordinates. We also define the energy norms on constant \(t^*\) hypersurfaces as
We now denote the space \(H_AdS ^{k,s} (\Sigma _{t^*})\) as the space of functions with \(\nabla ^i \psi \in L^2_{loc} (\Sigma _{t^*})\) for \(i=0, \dots , k\) and such that \(\Vert \psi \Vert ^2_{ H^{k,s}_{AdS } (\Sigma _{t^*})} < \infty \) and we denote with \(CH_AdS ^{k}\) the space of functions \(\psi \) on \({\mathcal {R}} \cup {\mathcal {H}}_R\) such that \(\psi \in \bigcap _{q = 0, \dots , k} C^q({\mathbb {R}}_{t^*}; H_{AdS }^{k-q,s_q} (\Sigma _{t^*}) )\), where \(s_k = -2, s_{k-1} =0\) and \(s_j =0 \) for \(j =0,\dots , k-2\).
2.5 Well-posedness and \(\log \)-decay on the exterior region
In the following we state well-posedness for (1.2) and decay solutions with Dirichlet boundary conditions. The following theorem is a summary of results by Holzegel, Smulevici and Warnick shown in [60, 61, 63, 65, 66].
Theorem 2
([60, 61, 63, 65, 66]) Let the initial data \(\Psi _0,\Psi _1 \in C_c^\infty (\Sigma _0)\). Assume Dirichlet boundary conditions at \({\mathcal {I}}\) and vanishing incoming data on \(\mathcal {H}_L \cup \mathcal {B}_{{\mathcal {H}}}\). Then, there exists a unique solution \(\psi \in C^\infty (\mathcal {M}_{KAdS } \setminus \mathcal {CH})\) of (1.2) such that \(\psi \vert _{\Sigma _0} = \Psi _0, n_{\Sigma _0}\psi \vert _{\Sigma _0} = \Psi _1\), \(\psi \restriction _{\mathcal {H}_L \cup \mathcal {B}_{{\mathcal {H}}}} =0\). The solution satisfies \(\psi \restriction _{{\mathcal {R}} \cup {\mathcal {H}}_R} \in CH_AdS ^k\) for every \(k \in {\mathbb {N}}\). We also have boundedness of the energy
for \(t^*_2 \ge t_1^*\ge 0 \) as well as for all higher order energies. Further, the energy along the event horizon is bounded by the initial energy as
for any \(t_0^*\ge 0\).
Moreover, the energy of \(\psi \) decays
for all \(t^*\ge t^*_0\ge 0\) and similar estimates hold for all higher order energies. Similarly, by commuting and applications of the Sobolev embeddings, \(\psi \) and all its derivatives also decay pointwise
for \(t^*\ge t_0^*\ge 0 \).
By general theory (a local in time energy estimate) all norms on the right-hand side of (2.32)–(2.35) are bounded in terms of a non-degenerate energy of \(\psi \) on \(\Sigma _0\), i.e. in terms of weighted Sobolev norms (of appropriate order) of \(\Psi _0\) and \(\Psi _1\) on \(\Sigma _0\). In particular, since \(\Psi _0, \Psi _1\) are smooth and compactly supported, all right-hand sides of (2.32)–(2.35) are finite.
It should be noted that (2.33) merely gives a bound on \(\int _{\mathcal {H}_R} |K_+ \psi |^2\) which does not control the full \(L^2\)-norm of \(\psi \) along in the event horizon. However, one obtains control of the \(L^2\)-norm via an “inverse-commutation” argument relying on [119, Theorem 4.9].
Proposition 2.1
Let the initial data \(\Psi _0,\Psi _1 \in C_c^\infty (\Sigma _0)\). Assume Dirichlet boundary conditions at \({\mathcal {I}}\) and vanishing incoming data on \(\mathcal {H}_L \cup \mathcal {B}_{{\mathcal {H}}}\). In view of Theorem 2, denote by \(\psi \) the unique solution with \(\psi \vert _{\Sigma _0} = \Psi _0, n_{\Sigma _0}\psi \vert _{\Sigma _0} = \Psi _1\), \(\psi \restriction _{\mathcal {H}_L \cup \mathcal {B}_{{\mathcal {H}}}} =0\). Then,
for each \(k \in {\mathbb {N}}\).
Proof
By a local in time energy estimate it suffices to show that
Further, we also have that the solution \(\psi \) has finite energy on \(\Sigma _{t^*_0}\) for \(t^*_0:=0\) of all orders in the sense that
for every \(k\in {\mathbb {N}}\). We denote \((\psi _0,\psi _1):= (\psi , K_+ \psi )\restriction _{\Sigma _{t^*_0}}\).
In view of the above and (2.33) in Theorem 2, to obtain (2.36), it suffices to show that there exist data \(({\tilde{\psi }}, K_+ {\tilde{\psi }})\restriction _{\Sigma _{t^*_0}} = ({\tilde{\psi }}_0, {\tilde{\psi }}_1)\) for (1.2) such that the arising solution \({\tilde{\psi }}\) satisfies \(K_+ {\tilde{\psi }} = \psi \) and moreover \(({\tilde{\psi }}_0, {\tilde{\psi }}_1)\) are sufficiently regular as to apply the (twisted) energy estimate associated to \(K_+\). We set \({\tilde{\psi }}_1 := \psi _0 \) and it remains to construct \({\tilde{\psi }}_0\) via inverting an elliptic operator to ensure \(K_+ {\tilde{\psi }} = \psi \).
To construct \({\tilde{\psi }}_0\) we will use [119, Theorem 4.9]. To apply it we briefly recall the theory developed in [66, 119]. Note from [119, Lemma 5.2] and the Hawking–Recall bound (2.8) that the Kerr–AdS exterior to the future of \(\Sigma _{t^*_0}\) is a globally stationary asymptotically Anti-de Sitter black hole spacetime in the sense of [119, Definition 2.6] with stationary vector field \(K_+\). Thus, we can apply the general framework of [119]. Following [119] we write (1.2) as \(L\psi =0\) for a strongly hyperbolic operator with \(W=0\), \(V=\frac{2}{l^2}\) as in [119, Definition 2.7], more precisely, \(L:= A (\Box _g + \frac{2}{l^2}) \) for \( A = \frac{-1}{g(\nabla t^*, \nabla t^*)}\). As in [119, p. 998] we decompose \(L{\tilde{\psi }} = P_2 {\tilde{\psi }} + P_1 K_+ {\tilde{\psi }} + K_+ K_+ {\tilde{\psi }}\), where \(P_1\) is a differential operator of first order on \(\Sigma _{t^*_0}\) and \(P_2\) is a (degenerate) elliptic operator on \(\Sigma _{t^*_0}\). We further recall the following natural norms from [119, p. 976]:
where \({\tilde{\nabla }}_{\mu }{\tilde{\psi }} := r^{-1} \nabla _{\mu } (r {\tilde{\psi }}), {\tilde{\nabla }}_{\mu }^\dagger {\tilde{\psi }} :=- r\nabla _{\mu } (r^{-1} {\tilde{\psi }})\) are the twisted derivatives and the norms in (2.39) are with respect to the induced metric on \(\Sigma _{t^*_0}\). As in [119] we define respectively \({\underline{L}}^2(\Sigma _{t^*_0})\) and \({\underline{H}}^1(\Sigma _{t^*_0})\) as the completion of smooth functions on \(\Sigma _{t^*_0}\) which are supported away from \({\mathcal {I}}\) in the norms \(\Vert \cdot \Vert _{{\underline{L}}^2 {(\Sigma _{t^*_0} )}}\) and \( \Vert \cdot \Vert _{{\underline{H}}^1(\Sigma _{t^*_0})} \), respectively.
In order to construct \({\tilde{\psi }}_0\) we need to invert \(P_2\), more precisely, we need to solve \(P_2 {\tilde{\psi }}_0 =- P_1 \psi _0 - \psi _1\), where we note that \(P_1:{\underline{H}}^1(\Sigma _{t^*_0}) \rightarrow {\underline{L}}^2(\Sigma _{t^*_0})\) is a bounded operator (see [119, p. 1002]). In particular, we have \(P_1 \psi _0 + \psi _1 \in {\underline{L}}^2(\Sigma _{t^*_0})\) in view of (2.38). We note that \(P_2 = {\hat{L}}_0\), where \({\hat{L}}_0= {\hat{L}}_{s=0}:{\text {dom}}({\hat{L}}_{s=0}) \rightarrow {\underline{L}}^2 (\Sigma _{t^*_0})\) is as in [119, eqn. (4.1), \(s=0\)]. Now, we apply [119, Theorem 4.9] with \(k=0\) and \(s=0\). Indeed, \(k=0\) and \(s=0\) are valid because \(w_L=0\) (recall \(W=0\) and [119, Definition 3.7]). Since \(0\notin \Lambda _{\mathrm {QNF}}^0\) (no stationary solutions exist [119, Corollary 1.3]), we have from [119, Theorem 4.9] that the operator \(P_2^{-1} :{\underline{L}}^{2}(\Sigma _{t^*_0} ) \rightarrow {\underline{H}}^{1}(\Sigma _{t^*_0})\) exists and is bounded. Hence, \({\tilde{\psi }}_0 = - P_2^{-1} ( P_1 \psi _0 + \psi _1) \in {\underline{H}}^{1}(\Sigma _{t^*_0})\). (In fact, \({\tilde{\psi }}_0\) can be shown to be more regular which is however not needed for the proof.)
Finally, let \({\tilde{\psi }}\) be the unique solution to (1.2) arising from initial data \(({\tilde{\psi }}, K_+ {\tilde{\psi }})\restriction _{\Sigma _{t^*_0}} = ({\tilde{\psi }}_0, {\tilde{\psi }}_1)\). This is well-posed by [119, Theorem 2.3]. Then, by construction we have that \(K_+ {\tilde{\psi }} = \psi \). Now, by the twisted energy estimate for \({\tilde{\psi }}\) associated to \(K_+\) (see e.g. [66, Proposition 3] and [119, Theorem 3.4 (i), \(\gamma =0\)]) we have \( \int _{\mathcal {H}_R\cap \{t^*\ge t_0^*\}} |\psi |^2 r^2 \mathrm {d}v \sin \theta \mathrm {d}\theta \mathrm {d}{\tilde{\phi }}_+ \lesssim \int _{t^*\ge t^*_0} |K_+ {\tilde{\psi }}|^2 r_+^2 \mathrm {d}t^*\sin \theta \mathrm {d}\theta \mathrm {d}\phi ^*\lesssim \Vert {\tilde{\psi }}_0 \Vert _{{\underline{H}}^1(\Sigma _{t^*_0})} + \Vert {\tilde{\psi }}_1\Vert _{{\underline{L}}^2(\Sigma _{t^*_0})} < \infty \). This concludes the proof. \(\square \)
2.6 Separation of variables: radial o.d.e., angular o.d.e. and coupling constants \(\lambda _{m\ell }(a\omega )\)
The wave equation (1.2) is formally separable [13] and we can consider pure mode solutions in the Boyer–Lindquist coordinates of the form
for two unknown functions u(r) and \(S_{m\ell }(a \omega , \cos \theta )\). Plugging this ansatz into (1.2) leads to a coupled system of o.d.e’s. The angular o.d.e. is the eigenvalue equation of the operator \(P (a \omega )\) which reads
where
The operator (2.42) is realized as a self-adjoint operator on a suitable domain in \(L^2((0,\pi ); \sin \theta \mathrm {d}\theta )\). As a Sturm–Liouville operator, the spectrum of \(P(a\omega )\) consists of simple eigenvalues \(\lambda _{m\ell }(a\omega )\), where \(\ell \in {\mathbb {Z}}_{\ge |m|}\) labels the eigenvalue in ascending order. The eigenvalues \(\lambda _{m\ell }(a \omega )\) of \(P(a\omega )\) couple the angular o.d.e. to the radial o.d.e.
where \({}^\prime := \frac{\mathrm {d}}{\mathrm {d}r^*}\). We also use the notation \({\tilde{V}}:= V - \omega ^2\), where the potential V is given by
with purely radial part
and frequency dependent part
We will be particularly interested in the case for which the frequency \(\omega \) coincides with the interior scattering poles, i.e. \(\omega =\omega _- m\). Moreover, in order to be in the regime of stable trapping on the exterior we also want \(|\omega |\) and |m| to be large. Hence, we will think of \( \frac{1}{m}\) as a small semiclassical parameter. In particular, setting \(\omega = \omega _- m\) in (2.43) and separating out the \(m^2\) we obtain
where \(V_1\) is as in (2.45) and
In (2.48) we also used \(\omega _r= \frac{a \Xi }{r^2+a^2}\) as defined in (2.16). We begin our analysis with the angular o.d.e. (2.41) in the following Sect. 3.
3 The angular o.d.e.
For the operator \(P(\xi )\) as in (2.42) we change variables to \(x=\cos \theta \). This is a unitary transformation and thus, the eigenvalues of \(P(\xi )\) are equal to the eigenvalues of \(P_x\) given by
The Sturm–Liouville operator \(P_x\) is realized as a self-adjoint operator acting on a domain \({\mathcal {D}} \subset L^2(-1,1)\) which can be explicitly characterized as
see e.g. [110, Chapter 10.3, Theorem 10.7] which, mutatis mutandis, also applies to (3.1) and (3.2). In (3.2), \(AC^1(-1,1)\) denotes the space of differentiable functions with absolutely continuous derivative.
Having the same spectrum as P, the operator \(P_x\) has eigenvalues \((\lambda _{m\ell }(\xi )\!)_{\ell \ge |m|}\) with corresponding real-analytic eigenfunctions \(S_{m\ell } \!=\! S_{m\ell }(\xi \!,x)\) which satisfy
We note that for \(\xi = a=0\), the eigenvalues \((\lambda _{m\ell })_{\ell \ge |m|}\) reduce to the eigenvalues of the Laplacian on the sphere \(\lambda _{m\ell }(a =\xi =0) = \ell (\ell +1)\). We also define the shifted eigenvalues
A computation (see [63, Proof of Lemma 5.1]) shows that
in the sense of self-adjoint operators acting on \({\mathcal {D}}\subset L^2(-1,1)\). Hence,
Having recalled basic properties of the angular problem we now focus on the interior scattering poles \(\omega =\omega _- m\) for large m. In particular, we will only consider \(m\ne 0\) for the rest of Sect. 3.
3.1 Angular potential \(W_1\) at interior scattering poles in semi-classical limit
In the current Sect. 3.1 and in the following Sect. 3.2 we will consider the operator
with corresponding eigenvalues \(\lambda _{m\ell }:= \lambda _{m\ell }(a \omega _- m)\). We re-write the eigenvalue problem
as
where
and
with
In the semi-classical limit \(m^2 \rightarrow \infty \) we consider \(P_error \) as a perturbation and \(W_1\) determines the leading order terms of the eigenvalues and eigenfunctions. Consequently, our analysis focuses on \(W_1\) which we analyze in the following lemma.
Lemma 3.1
Let \(W_1\) be the angular potential defined in (3.12).
-
1.
For \({\tilde{\lambda }} < \Xi ^2\), we have \(W_1 > 0\) for \(x\in [0,1]\).
-
2.
For \({\tilde{\lambda }} = \Xi ^2\), we have \(W_1 >0\) on (0, 1] and \(W_1(x=0) =0\).
-
3.
For \({\tilde{\lambda }} > \Xi ^2 \), the potential \(W_1\) has exactly one root in \(x\in [0,1]\) and satisfies
$$\begin{aligned} \frac{\mathrm {d}W_1}{\mathrm {d}x} \gtrsim {\tilde{\lambda }} x \end{aligned}$$(3.14)for \(x\in [0,1]\). We call this root \(x_0\) which also satisfies \(x_0 \in (0,1)\).
Proof
We start by expanding \(W_1\) and obtain
with
and
We also note that
We now consider the case \({\tilde{\lambda }} \ge \Xi ^2\) and remark that
We look at two cases now, \(a_2\ge 0\) and \(a_2 <0\). If \(a_2 \ge 0\), then we directly infer that \(\frac{\mathrm {d}W_1}{\mathrm {d}x} \ge 2 a_1 x\). If \(a_2 <0\), then we use that \(x^3< x\) and estimate
Now, a direct computation yields
Note that this shows (3.14) for \(x\in [0,1]\) and we conclude 3. Together with (3.18), this also shows that \(W_1(x)>0\) for \(x\in (0,1]\) and \({\tilde{\lambda }} = \Xi ^2\) such that we have 2.
Finally for \({\tilde{\lambda }} < \Xi ^2\), we have \(W_1>0\) everywhere because for each fixed x, the function \({\tilde{\lambda }} \mapsto W_1(x)\) is strictly decreasing. \(\square \)
3.2 Angular eigenvalues at interior scattering poles with \(\lambda _{m_i\ell _i} = {\tilde{\lambda }}_0 m_i^2 +O(1)\)
For the proof of the Baire-genericity of the set \({\mathscr {P}}_{Blow-up }\) in Sect. 5.2 we will use that there exists a sequence of angular eigenvalues of the form \(\lambda _{m_i\ell _i} =\lambda _{m_i\ell _i}(\omega =\omega _- m)= {\tilde{\lambda }}_0 m_i^2 +O(1)\) at the interior scattering poles. To show this, we will use the following well-known result (Proposition 3.1) on the semi-classical distribution of eigenvalues. The proof of Proposition 3.1 relies on suitable connection formulas of Airy functions and can be found in [94, Chapter 13, §8–§9.1]. We also recall the definition \({\mathcal {V}}\) of the total variation as in Sect. 2.3.
Proposition 3.1
([94, Chapter 13, §8.2–§9.1]) Consider a parameter \(\epsilon \in I_0:= [\epsilon _0,\epsilon _1]\). Let \(f_\epsilon (x),g_\epsilon (x) \in C^2({\mathbb {R}}_x)\) for all \(\epsilon \in I_0\) where we assume that \(f_\epsilon \) and \(g_\epsilon \) depend continuously on \(\epsilon \). Assume that \(f_\epsilon (x)/[(x-{\hat{x}}_0(\epsilon )) (x-x_0(\epsilon ))]\) is positive and bounded away from zero uniformly for \(\epsilon \in I_0\). In particular, assume that \(f_\epsilon \) has two simple roots at \({\hat{x}}_0(\epsilon )< x_0(\epsilon )\) with \(-\infty < \inf _{\epsilon } {\hat{x}}_0(\epsilon )\) and \( \sup _{\epsilon } x_0(\epsilon )<+\infty \). Assume further that the roots do not coalesce, i.e. that there exists a \(x_1\in {\mathbb {R}}\) with \( \sup _{\epsilon }{\hat{x}}_0(\epsilon )< x_1 < \inf _{\epsilon } x_0(\epsilon ) \). Assume that for all \(\epsilon \in I_0\) and for some \(c>0\) sufficiently large, \(\int _{c}^x \sqrt{f_\epsilon }\) diverges as \(x\rightarrow +\infty \) and \(\int _{x}^{-c} \sqrt{f_\epsilon }\) diverges as \(x\rightarrow -\infty \).
To make the above statements quantitative, define the error-control functions
for \(|\zeta _\epsilon |^3 := \left| \frac{3}{2}\int _{x_0(\epsilon )}^x\sqrt{f_\epsilon } \mathrm {d}y\right| ^{2} \), \(|{\hat{\zeta }}_\epsilon |^3 := \left| \frac{3}{2}\int _{{\hat{x}}_0(\epsilon )}^x\sqrt{f_\epsilon } \mathrm {d}y\right| ^{2} \) and set
Assume \(B_0 := \sup _{\epsilon \in I_0} B(f_\epsilon ,g_\epsilon )<+\infty \).
Then, for all u sufficiently large and all \(\epsilon \in I_0\), if the differential equation
admits a bound state w (i.e. a solution which is recessive at both ends \(x\rightarrow \pm \infty \)), then
for some positive integer \(n\in {\mathbb {N}}\) and for an error function \(\vartheta _{f_\epsilon ,g_\epsilon ,u,n}\) which obeys \(|\vartheta _{f_\epsilon ,g_\epsilon ,u,n}| \lesssim _{B_0} u^{-2}\). In particular, the implicit constant is independent of \(\epsilon , u,n\).
Conversely, for all u sufficiently large, there exists an error function \(\vartheta _{f_\epsilon ,g_\epsilon ,u,n}\) which depends continuously on \(\epsilon \in I_0\) and satisfies \( |\vartheta _{f_\epsilon ,g_\epsilon ,u,n}| \lesssim _{B_0} u^{-2}\) such that (3.25) admits a bound state w if there exist an \(\epsilon \in I_0\) and a \(n \in {\mathbb {N}}\) satisfying (3.26).
Proof
The above result follows from [94, Chapter 13, §8.2] but for convenience of the reader we briefly outline the steps in [94, Chapter 13, §8.2] in our context. We begin by noting that our assumption \(B_0<\infty \) shows that the error terms in (8.03) and (8.05) of [94, Chapter 13, §8.2] are controlled by \(O_{B_0}(u^{-1})\) uniformly for u sufficiently large and \(\epsilon \in I_0\). Following the argument of [94, Chapter 13, §8.2] we then conclude that for u sufficiently large, (3.25) admits a bound state w if and only if \(\sin \left( u \int _{{\hat{x}}_0(\epsilon )}^{x_0 (\epsilon )} \sqrt{-f_\epsilon } \mathrm {d}x - \frac{\pi }{2}\right) = \Theta (f_\epsilon ,g_\epsilon ,u)\), for some error function \(\Theta \) which satisfies \(\sup _{\epsilon \in I_0} |\Theta (f_\epsilon ,g_\epsilon ,u)| \lesssim _{B_0} u^{-1}\). By virtue of \(f_\epsilon \) and \(g_\epsilon \) depending continuously on \(\epsilon \), we also obtain that \(\Theta (f_\epsilon ,g_\epsilon ,u)\) depends continuously on \(\epsilon \). Inverting \(\sin \) around its zeros yields the claim. \(\square \)
With the above proposition in hand we proceed to the main proposition of this subsection, where we recall that we still consider the case \(\omega =\omega _- m\).
Proposition 3.2
Let \({\mathfrak {p}}_0 \in {\mathscr {P}}\) be arbitrary but fixed. Then, for almost every \({\tilde{\lambda }}_0 \in (\Xi ^2,\infty )\) (more precisely, for every \({\tilde{\lambda }}_0 \in (\Xi ^2,\infty ) \setminus \mathcal {N}_{{\mathfrak {p}}_0}\) for some Lebesgue null set \(\mathcal {N}_{{\mathfrak {p}}_0}\)), there exists a strictly increasing sequence of natural numbers \((m_i)_{i \in {\mathbb {N}}}\) such that for every \(i\in {\mathbb {N}}\), the operator \( P_{\omega _- } \) admits an eigenvalue \(\lambda _i := \lambda _{m_i \ell _i} = \lambda _{m_i \ell _i}(\omega = \omega _- m)\) satisfying
where \(|\lambda _{error }^{(i)}| \le C({\tilde{\lambda }}_0,{\mathfrak {p}}_0)\) as \(m_i\rightarrow \infty \) for some constant \(C({\tilde{\lambda }}_0,{\mathfrak {p}}_0)>0\). Moreover, \(m_i \le \ell _i \le m_i^2\).
Proof
We consider the formulation of the angular o.d.e. in (3.9) and moreover change coordinates
such that
This yields the equivalent eigenvalue problem
for g in a dense domain of \(L^2({\mathbb {R}}, \mathrm {d}y)\). From Lmma 3.1 we have that \(W_1\) has a unique positive root for \({\tilde{\lambda }}>\Xi ^2\) which we denote with \(y_0({\tilde{\lambda }}) := y(x_0({\tilde{\lambda }}))\). We also define
where we recall that \(W_1\) is symmetric around the origin. For the potential \(W_1\), we have (e.g. [38, p. 118]) that \( \xi :(\Xi ^2, + \infty ) \rightarrow {\mathbb {R}}, {\tilde{\lambda }}\mapsto \xi ({\tilde{\lambda }})\) is a strictly increasing smooth (even real-analytic) function. Further note that
so by the inverse function theorem, \(\xi \) has a smooth inverse.
By a standard result on Diophantine approximation (see e.g. [51, Corollary (ii) after Theorem 6.2]), we have that for each \(x \in {\mathbb {R}}_{>0} \setminus {\mathcal {N}}\), where \({\mathcal {N}}\) is a Lebesgue null set, there exist sequences of natural numbers \((n_i )_{i\in {\mathbb {N}}}\) and \((m_i )_{i\in {\mathbb {N}}}\) with \(n_{i+1} > n_i\) and \(m_{i+1} > m_i\) such that
for all \(i \in {\mathbb {N}}\). Indeed, the assumptions of [51, Corollary (ii) after Theorem 6.2] are satisfied as \(\sum _{m\in {\mathbb {N}}} \frac{1}{m}\) is divergent and \(2n+1 = 1\, (mod 2) \), \(m= 0\, (mod 1)\), where (1, 2, 0, 1) is pairwise coprime, i.e. \((1,2,1,1)=1\) in the notation of [51, Corollary (ii) after Theorem 6.2]. Alternatively, the result also follows from [51, Theorem 6.6] after noting that the sum of the lower asymptotic densities \({\underline{d}}\) of the odd and the natural numbers exceeds 1, i.e. \({\underline{d}}({\mathbb {N}}) + {\underline{d}} (2{\mathbb {N}} +1) = 1 +\frac{1}{2} >1\).
Now, since \(\xi \) has a smooth inverse, there exists a Lebesgue null set \({\mathcal {N}}_{{\mathfrak {p}}_0}:= \xi ^{-1}({\mathcal {N}}) \subset (\Xi ^2, \infty )\) such that for each \({\tilde{\lambda }}_0 \in (\Xi ^2, \infty )\setminus {\mathcal {N}}_{{\mathfrak {p}}_0}\) we have
for a sequence of natural numbers \((n_i )_{i\in {\mathbb {N}}}\) and \((m_i )_{i\in {\mathbb {N}}}\) with \(n_{i+1} > n_i\) and \(m_{i+1} > m_i\).
Now, we will apply Proposition 3.1. For \({\tilde{\lambda }}_0 \in (\Xi ^2,\infty )\setminus {\mathcal {N}}_{{\mathfrak {p}}_0}\), choose a small neighborhood \({\mathcal {U}}_{{\tilde{\lambda }}_0}\) such that for all \({\tilde{\lambda }}\) in the closure of \(U_{{\tilde{\lambda }}_0}\), we have \({\tilde{\lambda }} > \Xi ^2\). We will now consider \({\tilde{\lambda }} \in {\mathcal {U}}_{{\tilde{\lambda }}_0}\) which will take the role of \(\epsilon \) appearing in Proposition 3.1. We will now show that indeed the assumptions of Proposition 3.1 are satisfied. First, note that \(W_1\) and \(P_error \) are smooth for all \({\tilde{\lambda }} \in {\mathcal {U}}_{{\tilde{\lambda }}_0}\). Further, uniformly in \({\mathcal {U}}_{{\tilde{\lambda }}_0}\), \(\int ^y_0 \sqrt{| W_{1}|} \mathrm {d}{\tilde{y}} \) diverges as \(y\rightarrow \pm \infty \). Moreover, the potential \(W_1\) has two simple roots which do not coalesce uniformly in \({\mathcal {U}}_{{\tilde{\lambda }}_0}\) in view of Lmma 3.1. In particular, this also shows that in a region [0, c] for any fixed \(c>0\) (in particular containing the right turning point), the total variation of \(H_{{\tilde{\lambda }}}\) is bounded uniformly in \({\mathcal {U}}_{{\tilde{\lambda }}_0}\); analogously for \({\hat{H}}_{{\tilde{\lambda }}}\) in \([-c,0]\). Remark from [94, Chapter 11, §3] that indeed (3.22) and (3.23) are by construction the quantitative versions of the qualitative statement of two non-coalescing roots. To show that \(\mathcal {V}_{ 0, +\infty } (H_{{\tilde{\lambda }}})\) and \( \mathcal {V}_{ -\infty , 0} ({\hat{H}}_{{\tilde{\lambda }}}) \) remain bounded at \(\pm \infty \), respectively, we note that for \(|y|\rightarrow \infty \), we have
as well as
Inserting these bounds in (3.22) and (3.23) we obtain
uniformly in \({\mathcal {U}}_{{\tilde{\lambda }}_0}\). The others bounds of (3.24) (uniformly in \({\mathcal {U}}_{{\tilde{\lambda }}_0}\)) also follow directly from the previous estimates and we obtain \(B_0 = \sup _{{\tilde{\lambda }} \in {\mathcal {U}}_{{\tilde{\lambda }}_0}} \in B(W_1,P_error )\lesssim 1\). Thus, from Proposition 3.1 we now conclude that the eigenvalues \(\lambda ={\tilde{\lambda }} m^2\) for \({\tilde{\lambda }} \) in a neighborhood of \(\tilde{\lambda }_0\) are characterized by
for \(n\in {\mathbb {N}}\), where \(|\vartheta _{{\tilde{\lambda }}_0,m,n,B(W_1,P_{error })}| \lesssim _{{\tilde{\lambda }}_0} m^{-2}\).
Now, for fixed \({\tilde{\lambda }}_0 \in (\Xi ^2,\infty )\setminus {\mathcal {N}}_{{\mathfrak {p}}_0}\), let the sequence \((m_i,n_i)_{i\in {\mathbb {N}}}\) as above be such that (3.34) holds. Then, we obtain associated eigenvalues from (3.38) which satisfy
The last equality holds due Taylor’s theorem and (3.32). \(\square \)
3.3 Bounds on \(\partial _\xi \lambda _{m\ell }\) and \(\partial _\xi S_{m\ell }\) near interior scattering poles
In the proof of Theorem 1 in Sect. 9 we will need to control the quantities \(\partial _\omega \lambda _{m\ell }(a \omega )\) and \(\partial _\omega S_{m\ell }(a \omega )\) near the interior scattering poles, i.e. for \(\omega \approx \omega _- m\). We will choose our initial data in Sect. 6 to be supported on angular modes \(m>0\) which are large and positive. Thus, for the rest of this subsection, we assume that \(m>0\) and think of 1/m as a semiclassical parameter. We first note that \(\xi \mapsto S_{m\ell }(\xi ,x)\) is smooth as \(\xi \) is a smooth parameter of the angular o.d.e. (2.42) solved by \(S_{m\ell }\). Now, a direct computation shows that
solves the inhomogeneous o.d.e.
with Dirichlet boundary conditions at \(x = \pm 1\), where
We will first consider \(\partial _\xi \lambda _{m\ell }\).
Lemma 3.2
The eigenvalues \(\lambda _{m\ell }(\xi )\) of \(P_x(\xi )\) as in (3.1) satisfy
and thus,
Proof
Taking the \(L^2\)-inner product of (3.41) with \(S_{m\ell }\) and using that \(P_x\) is self-adjoint, shows that
from which we obtain
in view of \(\langle S_{m\ell } , S_{m\ell } \rangle _{L^2(-1,1)} =1 \). Here \( \Vert \partial _\xi P_x\Vert \) denotes the operator norm which is equal to the \(L^\infty \) norm as \(\partial _\xi P_x\) is a multiplication operator (see (3.42)). Now, the claim follows from the fact that \(\Vert \partial _\xi P_x \Vert _{L^\infty }\lesssim |\xi | + |m|\). \(\square \)
It is more difficult to obtain estimates for \(\partial _\xi S_{m\ell }\) which we express as
where
is the inhomogeneous term of (3.41), \({\text {Res}}(\lambda ; P_x ) \) is the resolvent and \(\Pi _{S_{m\ell }}^\perp \) is the orthogonal projection on the orthogonal complement of \(S_{m\ell }\). At this point we also remark that both \(\partial _\xi S_{m\ell }\) and H are orthogonal to \(S_{m\ell }\) which follows from \(\xi \mapsto \langle S_{m\ell }, S_{m\ell } \rangle _{L^2(-1,1)}=1\) and (3.45), respectively.
A possible way to control the resolvent operator \({\text {Res}}(\lambda _{m\ell }; P_x ) \Pi _{S_{m\ell }}^\perp \) is to show lower bounds on the spectral gaps \(|\lambda _{m,\ell }(a\omega ) - \lambda _{m,\ell +1}(a\omega )|\) uniformly in \(m,\ell \rightarrow \infty \) and \(\omega \approx \omega _- m\). Our approach is based on an explicit construction of the resolvent kernel via suitable approximations with parabolic cylinder functions and Airy functions.
We begin by noting that from standard results on solutions to Sturm–Liouville problems, each eigenfunction \(S_{m\ell }\) is either symmetric or anti-symmetric around \(x=0\). If \(S_{m\ell }\) is antisymmetric around \(x=0\) we have \(S_{m\ell } (x=0) =0\), i.e. Dirichlet boundary conditions at \(x=0\). Analogously, if \(S_{m\ell }\) is symmetric, we have Neumann boundary conditions at \(x=0\), i.e. \(\frac{\mathrm {d}}{\mathrm {d}x} S_{m\ell } (x=0) = 0\). Also note that \(\partial _\xi S_{m\ell }\) inherits the symmetry properties of \(S_{m\ell }\). Hence, the problem reduces to studying the interval \(x \in [0,1)\) with Dirichlet/Neumann boundary conditions at \(x=0\) and Dirichlet boundary conditions at \(x=1\). In view of the above, \(\partial _\xi S_{m\ell }\) will satisfy
depending on \(S_{m\ell }(x=0) =0\) or \(\frac{\mathrm {d}}{\mathrm {d}x} S_{m\ell }(x=0) =0\), respectively, as well as
In addition to satisfying the above boundary conditions, \(\partial _\xi S_{m\ell }\) is also a solution of the inhomogenous o.d.e. (3.41) which we explicitly write out as
where \(|\epsilon |<1\) is such that \(\xi = a m \omega _- + \frac{\epsilon }{m}\). Moreover, \(\partial _\xi S_{m\ell }\) and H admit the same symmetries as \(S_{m\ell }\) such that, both H and \(\partial _\xi S_{m\ell }\) are orthogonal to \(S_{m\ell }\) in \(L^2([0,1))\). Also recall that
such that
As in the proof of Proposition 3.2, we introduce the variable \(y=y(x)\) through the conditions
as well as the associated Hilbert space \(L^2([0,\infty ), w(y) \mathrm {d}y)\), where
This can be computed explicitly as
Note that
In this new variable, we define
such that
Then, we re-write (3.51) as
We recall the definition of \(W_1\) in (3.12) as
and define
as well as
Thus, (3.60) reads
where we recall that \(s_p\) satisfies Dirichlet/Neumann boundary conditions at \(y=0\) and vanishes at \(y=+\infty \). We also note that the previous orthogonality properties remain, i.e. both \(s_p\) and \(w^{-1} F s_1\) are orthogonal to \(s_1\) in the Hilbert space \(L^2([0,\infty ), w(y) \mathrm {d}y)\).
In order to construct the resolvent operator, we will first state the existence of a further suitable solution \(s_2\) to the homogeneous equation
which is linearly independent from \(s_1\). This is the content of the following lemma which will be proved in Sect. 3.4.
Lemma 3.3
Let \(m\in {\mathbb {N}}\) sufficiently large as in Sect. 3.4. For \(\xi \in ( a \omega _- m -\frac{1}{m} , a \omega _- m + \frac{1}{m})\), there exists a solution \(s_2\) to (3.65) with \({\mathfrak {W}} (s_1,s_2) =1\). Moreover, \(g_p\) defined as
satisfies
Proof
This is proved in Sect. 3.4, more specifically the claim follows from Lemma 3.13 and Lemma 3.18. \(\square \)
With \(s_2\) in hand we will now construct the integral kernel of the resolvent \({\text {Res}}(\lambda _{m\ell }; P_x ) \Pi _{S_{m\ell }}^\perp \) in y-coordinates. More specifically, we show
Lemma 3.4
The solution \(s_{\!p} (y) \!=\! \partial _\xi S_{m\ell }(x(y)) \!=\! {\text {Res}}(\lambda _{m\ell }; \!P_x ) \Pi _{S_{m\ell }}^\perp \!(H) (x(y))\) of (3.64) satisfies
for some constant \(c_{p1} \in {\mathbb {R}}\).
Proof
Since \(s_p\) is a solution of the inhomogeneous o.d.e. (3.64), it can be written (using \({\mathfrak {W}} (s_1,s_2)=1\)) as
for some constants \(c_{p1} , c_{p2} \in {\mathbb {R}}\). It remains to show that \(c_{p2} =0\) and we consider the cases of Dirichlet/Neumann conditions of \(s_1\) at \(y=0\) independently.
First, assume that \(s_1(y=0)=0\), then we also have that \(s_p (y=0) =0\) (see (3.49)). Evaluating the right hand side of (3.69) at \(y=0\) we obtain
where we have used that \(s_1(y=0)=0\) and that \(s_1\) is \(L^2([0,\infty ), w(y) \mathrm {d}y)\)-orthogonal to \(w^{-1} s_1 F\). Moreover, from the Wronskian condition \({\mathfrak {W}}(s_1,s_2) = 1\) we have that \(s_2(y=0) \ne 0\). Thus, \(c_{p2}=0\) follows from \(s_p(y=0) =0\).
Now, if \(s_1\) satisfies the Neumann condition \(\frac{\mathrm {d}}{\mathrm {d}y} s_1(y=0)=0\), then so does \(s_p\), i.e. \(\frac{\mathrm {d}}{\mathrm {d}y} s_p (y=0) =0\). Differentiating the right hand side of (3.69) and evaluating this at \(y=0\) yields
From the Wronskian identity we again have that \(\frac{\mathrm {d}}{\mathrm {d}y} s_2 (0) \ne 0\) such that \(c_{p2} =0\) follows from \(\frac{\mathrm {d}}{\mathrm {d}y} s_p (y=0) =0\). \(\square \)
Up to the completion of the proof of Lemma 3.3, which is the content of Sect. 3.4, we will now show the main proposition of this subsection.
Proposition 3.3
For all \(m\in {\mathbb {N}}\) sufficiently large, the eigenfunctions \(S_{m\ell }(\xi , \cos \theta )\) of the operator P defined in (2.42) satisfy
Proof
First note that \(\xi = a \omega \) such that \(\partial _\omega = a \partial _\xi \). Then, we have
where we have used that
Here, \( \Pi _{s_1}^\perp \) is the projection on the orthogonal complement of \(s_1\) in \(L^2([0,\infty ), w(y) \mathrm {d}y)\). The estimate (3.72) follows now from (3.73) and Lemma 3.3. \(\square \)
3.4 Semi-classical resolvent estimates near interior scattering poles
Throughout this subsection (Sect. 3.4) we assume that
and \(m>0\). The goal of this subsection is to show Lemma 3.3. We first argue that for sufficiently large m, we only need to consider the case \(\tilde{\lambda } > \Xi ^2\) as all eigenvalues \(\lambda _{m\ell }(a\omega _- m)\) at the interior scattering poles are larger than \(\Xi ^2 m^2\).
Lemma 3.5
For sufficiently large m, we have \(\inf _{y\in {\mathbb {R}}}\left( m^2 W_1(y) + W_2(y)\right) >0 \) for any \({\tilde{\lambda }} \le \Xi ^2 \).
Proof
By monotonicity of \(W_1\) with respect to \({\tilde{\lambda }}\), it suffices to show the result for \({\tilde{\lambda }} = \Xi ^2\). We recall from the definition of \(W_2\) in (3.62) that \(W_2\) is uniformly bounded and satisfies
Since \(W_1\ge 0\) in view of Lmma 3.1, we have positivity in a neighborhood U around \(y=0\), i.e. \(\inf _{y\in U}\left( m^2 W_1(y) + W_2(y)\right) >0 \). Outside that neighborhood, in view of Lmma 3.1, we have that \(\inf _{y\in {\mathbb {R}} \setminus U} W_1(y) >0\). To conclude we use that \(W_2\) is uniformly bounded and the claim follows for all m sufficiently large. \(\square \)
Lemma 3.6
For \(\xi \) as in (3.75) and for sufficiently large m as in Lemma 3.5, any eigenvalue \(\lambda _{m\ell }(\xi ) = m^2 {\tilde{\lambda }}\) of \(P_x\) satisfies \({\tilde{\lambda }} > \Xi ^2 \).
Proof
This is immediate as for \({\tilde{\lambda }} \le \Xi ^2\) and sufficiently large m, the operator \( - \frac{\mathrm {d}^2}{\mathrm {d}y^2} + m^2 W_1 + W_2\) is strictly positive in view of Lemma 3.5. \(\square \)
Thus, it suffices to show Lemma 3.3 for \({\tilde{\lambda }} >\Xi ^2\) and we consider the case \({\tilde{\lambda }} \in (\Xi ^2,\Xi ^2+1]\) in Sect. 3.4.1 and the case \({\tilde{\lambda }} \in (\Xi ^2+1,\infty )\) in Sect. 3.4.2.
3.4.1 The case \(\Xi ^2 < {\tilde{\lambda }} \le \Xi ^2 +1 \)
Let \({\tilde{\lambda }} \in (\Xi ^2 , \Xi ^2 +1]\). In this range, \({\tilde{\lambda }} \) can be arbitrarily close to \(\Xi ^2\). As \({\tilde{\lambda }} \rightarrow \Xi ^2\), the root \(y_0>0\) of the potential \(W_1(y)\) coalesces with \(y=0\). Thus, our estimates need to be uniform in this limit and the appropriate approximation will be given by parabolic cylinder functions. To do so we will introduce the following Liouville transform which is motivated by [93]. We define a new variableFootnote 4
uniquely through the conditions
\(\xi (y_0) = \alpha >0 \) and \(\xi (y=0)=0\). By construction, this defines \(\xi = \xi (y)\) as a smooth (even real-analytic) increasing function with values in \([0,\infty )\), see also [93, Sect. 2.2]. Note that this holds true as the right hand side satisfies
for \(y>0\). Equivalently, the function \(\xi (y)\) can be expressed as
We also consider \(y=y(\xi )\) as a function \(\xi \) and define
where we recall that \(s_1\) was defined in (3.58). In this new variable \(\xi \), the function \(\sigma _1=\sigma _1(\xi )\) satisfies
where the error function \(\Psi \) is given by
Since \(W_1\) is analytic and non-increasing in \({\tilde{\lambda }}\), we apply [93, Lemma 1] to conclude that \(\Psi \) is continuous for \((\xi ,\alpha ) \in [0,\infty )\times [0, A]\), where \(A = \xi (y_0 ( {\tilde{\lambda }} = \Xi ^2+1))\). Now, we define the error-control function (see (6.3) of [93])
with \(\Omega (x) = |x|^{\frac{1}{3}}\). We will now bound the total variation of the error-control function \(F_1\) in (3.85). To do so we first show
Lemma 3.7
The smooth and monotonic functions \(\xi = \xi (y)\) and \(y=y(\xi )\) as defined in (3.78) satisfy
for all \(\xi \) sufficiently large.
Proof
We estimate
for all \(\xi \) large enough, where we have used that \(W_1 \sim \Xi ^2\) for large \(\xi \). Similarly,
for \(\xi \) large which shows (3.87). Upon integrating the inequalities, we obtain (3.86).
For (3.88), we differentiate (3.78) to obtain
where we have used that
for \(\xi \) large enough. In particular, it follows that \(|\frac{\mathrm {d}W_1}{\mathrm {d}\xi }|\lesssim e^{-\xi }\) and similarly that \(\left| \frac{\mathrm {d}^2 W_1}{\mathrm {d}\xi ^2}\right| \lesssim e^{-\xi }\).
Finally, we proceed to (3.89) by estimating for large \(\xi \)
in view of the above estimates. \(\square \)
This allows us now to estimate the total variation of the error control function \(F_1\).
Lemma 3.8
The error control function \(F_1\) as defined in (3.85) satisfies
Proof
As \(\Psi \) is continuous on \([0,\infty )\), it suffices to control the integral for large \(\xi \). We control both terms of
independently. For large \(\xi \), we estimate the first term as
in view of
for \(\xi \) sufficiently large. Further, for \(\xi \) sufficiently large we have \(|W_2|\lesssim e^{-2\Xi y}\) and thus,
in view of Lemma 3.4.1.
For the second term of (3.96), we use Lemma 3.4.1 to estimate
for \(\xi \) sufficiently large. Hence,
for \(\xi \) sufficiently large. Recall that \(\Psi \) is continuous everywhere and \(\Omega = |x|^{\frac{1}{3}}\) such that
\(\square \)
Having controlled the error terms we now proceed to the definition of our fundamental solutions based on appropriate parabolic cylinder functions. We will apply [93, Theorem 1] which we recall for convenience of the reader in the following.
Proposition 3.4
([93, Theorem 1]) Assume that for each value of m, the function \(\Psi (m,\alpha ,\xi )\) as defined in (3.84) is continuous in the region \(\alpha \in [0,A], \xi \in [0,\infty )\) and \({\mathcal {V}}_{0,\infty }(F_1)\) converges uniformly with respect to \(\alpha \), where \(F_1\) is as in (3.85). Then, the o.d.e. (3.83) has solutions \(w_1(m,\alpha ,\xi )\) and \(w_2(m,\alpha ,\xi )\) which are continuous, have continuous first and second partial \(\xi \)-derivatives and are given by
where U and \({\bar{U}}\) are parabolic cylinder functions defined in Definition A.2 in the appendix. The error terms satisfy
and
For the definitions of \(M_{U},N_U,E_U\) refer to Appendix A.2. We will now apply the previous proposition with our estimate at hand.
Proposition 3.5
There exist solutions \(w_1\) and \(w_2\) of (3.83) satisfying
The error terms satisfy
uniformly in \({\tilde{\lambda }} \in [\Xi ^2, \Xi ^2 + 1]\) and \(\xi \in [0,\infty )\). Moreover, \({\tilde{\eta }}_2 (\xi =0) = \partial _\xi {\tilde{\eta }}_2(\xi =0)=0\) and \(\lim _{\xi \rightarrow \infty } {\tilde{\eta }}_1(\xi ) = \lim _{\xi \rightarrow \infty } \partial _\xi {\tilde{\eta }}_1 (\xi ) =0\).
Proof
We have chosen \(\Omega (x) = |x|^{\frac{1}{3}}\) in (3.85). For this choice of \(\Omega \), the quantity \(l_1\) as defined in (3.107) satisfies \(l_1(b) \lesssim 1\) uniformly in \(b\le 0\) which follows from Proposition A.1 and Definition A.5, see also [93, equation (6.15)]. Now, we recall that \(\Psi \) is continuous for \((\xi ,\alpha ) \in [0,\infty ) \times [0,A]\) and from Lemma 3.8 we have \( \mathcal {V}_{\xi ,\infty } (F_1) , \mathcal {V}_{0,\xi } (F_1) \le \mathcal {V}_{0,\infty } (F_1) \lesssim \frac{1}{ m^{\frac{1}{6}}}\). Hence, we apply Proposition 3.4 and moreover estimate the error terms as
from which the error bounds follow. \(\square \)
Remark 3.1
As \(x\rightarrow \infty \), the function U is recessive (decaying), whereas \({\bar{U}}\) is dominant (growing). Hence, \(w_1\) is recessive and \(w_2\) is dominant. We refer to [94, Chapter 5, §7.2] for further details.
Lemma 3.9
The Wronskian \({\mathfrak {W}}(w_1,w_2)\) satisfies
for m sufficiently large.
Proof
Since the Wronskian is independent of \(\xi \), we compute it at \(\xi =0\) such that \({\tilde{\eta }}_2 = \partial _\xi {\tilde{\eta }}_2 =0\). We obtain
where each Wronskian is evaluated at \(\xi =0\). We begin by computing (3.116). For U(b, x) and \({\bar{U}} (b,x)\) we have the Wronskian identity \({\mathfrak {W}}(U,{\bar{U}}) = \sqrt{\frac{2}{\pi }}\Gamma (\frac{1}{2} - b)\), see [93, Equation (5.8)]. Thus, the chain rule yields
Now, we use (3.110), (3.112), Definition A.4 and (A.21)–(A.24) to estimate
where we also used the Legendre duplication formula \(\Gamma (x) \Gamma (x+ \frac{1}{2}) = 2^{1-2x} \sqrt{\pi }\Gamma (2x)\). This concludes the proof. \(\square \)
Lemma 3.10
The function \(\sigma _1\) defined in (3.82) has the form
where \(w_1\) is as in Proposition 3.5 and \(A_1\ne 0\) is a real constant.
Proof
Both functions \(\sigma _1\) and \(w_1\) are non-trivial solutions to (3.83) which are recessive as \(\xi \rightarrow \infty \) (\(y\rightarrow \infty \)). The claim follows now as the space of solutions of (3.83) which are recessive as \(\xi \rightarrow \infty \) is one-dimensional (see e.g. [94, Chapter 5, §7.2]). \(\square \)
Using the parabolic cylinder functions, we now define a solution \(\sigma _2\) which is linearly independent of \(\sigma _1\).
Definition 3.1
We define the solution \(\sigma _2\) of (3.83) as
and the solution \(s_2\) to (3.65) as
A direct computation shows
Lemma 3.11
We have
Here, \({\mathfrak {W}}_y\) and \({\mathfrak {W}}_\xi \) denote the Wronskians with respect to the y and \(\xi \) variable.
Lemma 3.12
With \(\sigma _1\) and \(\sigma _2\) as defined in (3.82) and (3.121) we have
Proof
We estimate using (A.29) that
and
\(\square \)
Now, we recall the definition of \(g_p\) in (3.66) as
for \(s_1\) as in (3.58) and where we take \(s_2\) as in (3.122). Now, we are in the position to show the main lemma of Sect. 3.4.1.
Lemma 3.13
Let \({\tilde{\lambda }} \in (\Xi ^2 , \Xi ^2 + 1]\) and let \(s_2\) as in (3.122). Then, \(g_p\) satisfies
Proof
We plug (3.129) into the left hand side of (3.130) and we will estimate both terms independently.
For the first term, we change variables from y to \(\xi \), use that \(x \mapsto E_U(b,x)\) is non-decreasing, as well as Lemma 3.12 to estimate
Now, we use the bounds on \(M_U\) and \({\mathfrak {W}}(w_1,w_2)\) from Proposition A.1 and Lemma 3.9 to deduce
where we used the Cauchy–Schwarz inequality and the fact that \(s_1\) satisfies (3.59) as well as (3.44).
For the second term we argue similarly and obtain
\(\square \)
3.4.2 The case \( {\tilde{\lambda }} \in (\Xi ^2 + 1 , \infty ) \)
For the parameter range \({\tilde{\lambda }} \in (\Xi ^2 + 1, \infty )\) we consider \(\lambda = m^2 {\tilde{\lambda }} \) as a large parameter and re-write the o.d.e. (3.64) as
where
We also recall the homogeneous o.d.e. (3.65)
Recall also that \(s_1\) as defined in (3.58) is a solution of (3.136). As before, we define \(y_0\) as the unique non-negative root of \({\tilde{W}}_1(y)\). It satisfies
for sufficiently large \({\tilde{\lambda }}\), where we note that \(y_0\) becomes arbitrarily large for \({\tilde{\lambda }} \rightarrow \infty \). Indeed, to show (3.137), we note that for large \({\tilde{\lambda }}\), from (3.135) we see that \(x(y_0)\) satisfies
Then, (3.137) follows from \(1-x \sim e^{- 2 \Xi y}\) for y sufficiently large (recall (3.57)). Our estimates will be uniform in the limit \({\tilde{\lambda }} \rightarrow \infty \).
Lemma 3.14
In the region \( 0 \le y \le y_0 -1\) we have
For \( y_0 - 1 \le y \le y_0 +1\), we have
For \( y_0 +1 \le y < \infty \), we have
Proof
From Lmma 3.1 we have that \({\tilde{W}}_1\) is increasing on \(y \in [0,\infty )\) and moreover, for \(y \in [y_0-1,y_0+1]\) we have that
Thus, for \(0 \le y\le y_0 -1\),
Moreover, for \(0 \le y \le y_0 - 1\),
using the definition of \({\tilde{W}}_1\) and \(|{\tilde{W}}_1 | \gtrsim \frac{1}{{\tilde{\lambda }}}\). Similarly, we obtain
In the region \(y \in [y_0 -1 , y_0 + 1 ]\), recall from (3.142) that \(\frac{\mathrm {d}{\tilde{W}}_1}{\mathrm {d}y } \gtrsim \frac{1}{{\tilde{\lambda }}}\). Moreover, just as in (3.145), we obtain
In the region \(y\in (y_0 + 1 , +\infty )\), analogous to (3.143), we have
and moreover,
\(\square \)
With the estimates of Lemma 3.14 in hand we will define the variable \(\varsigma \) as
for \(y\ge y_0\) and
for \(y \le y_0\). We denote
We further introduce the error control function
The fact that H is absolutely continuous is a standard result and follows from [92, Lemma, Sect. 4], see also [94, Lemma 3.1, Chapter 11]. In the following we establish a quantitative version of this.
Lemma 3.15
The error control function H defined in (3.152) satisfies
Proof
Since H is absolutely continuous we compute
and estimate each term independently relying on Lemma 3.14.
Term I We estimate term I as
We consider the first term appearing in (3.155) and in view of Lemma 3.14 we obtain
For the second term involving the second derivative, we use (3.139) to conclude that
For the third term we use that \(|W_2|\lesssim 1-x(y)^2\) such that
For the last term in (3.155), we have
Term II For this term, we use Taylor’s theorem around the point \(y=y_0\). We will now only consider the region \(y\in [y_0-1,y_0+1]\) and use the notiation \(' = \frac{\mathrm {d}}{\mathrm {d}y} \) throughout the following paragraph. We write \({\tilde{W}}_1 (y) = (y-y_0) {\tilde{W}}_1' (y_0)+\frac{1}{2} (y-y_0)^2 {\tilde{W}}_1'' (y_0) +\frac{1}{6} (y-y_0)^3 {\tilde{W}}_1''' (y_0) + \frac{1}{24} (y-y_0)^{4} R_{W_1}(y)\), where the remainder \(R_{W_1}(y)\) is smooth and satisfies \(R_{W_1}(y) = {\tilde{W}}_1'''' (\xi )\) for some \(\xi \) between \(y_0\) and y. Thus,
in view of (3.140). We note that \(\zeta ^3 = \frac{9}{4} (\int ^{y}_{y_0} \sqrt{|{\tilde{W}}_1({\tilde{y}} )|} \mathrm {d}{\tilde{y}})^2 \) which we expand as
Then, we further expand
Here, the error in \(O(|y-y_0| )\) is estimated using (3.140) and we note that the homogeneity of (3.162) is such that no powers of \({\tilde{\lambda }}\) occur.
We also expand \( {| {\tilde{W}}_1|^{\frac{1}{4}}}\frac{\mathrm {d}^2}{\mathrm {d}y^2} \left( |{\tilde{W}}_1|^{-\frac{1}{4}}\right) \) around \(y=y_0\) and obtain
Thus,
from we estimate (using Lemma 3.14)
uniformly in \(y \in [y_0-1,y_0 + 1]\) from which we conclude that \(|II|\lesssim {\tilde{\lambda }}^{\frac{1}{2}}\).
Term III In the region \(y\in [y_0+1, \infty )\) we first have
such that
which is integrable at \(y=\infty \). Moreover, we have
Combining the estimates (3.167) and (3.168) we obtain that \(|III|\lesssim {\tilde{\lambda }}^{\frac{1}{2}}\) which concludes the proof. \(\square \)
Finally, we also introduce
which we will bound from below in the following. To do that we also use the error-control function \(M_{{\mathrm {Ai}}}\) which is defined in (A.6) in the appendix.
Lemma 3.16
We have
Proof
First, for \(y_0 -1 \le y \le y_0\) we have
and for \(y_0 \le y \le y_0 + 1 \) we have
where we have used the monotonicity of \({\tilde{W}}_1\). Hence,
for \(|y-y_0|\le 1\). Now, using \( M_{\mathrm {Ai}}(x) \lesssim 1\) we conclude that for \(|y-y_0|\le 1\) we have
For \(|y-y_0 | \ge 1\), we use that \(M_{{\mathrm {Ai}}}(x) \lesssim |x|^{- \frac{1}{4}}\) to obtain
\(\square \)
Now, we are in the position to define the following fundamental solutions.
Proposition 3.6
There exist solutions \(w_1\) and \(w_2\) of (3.136) satisfying
where
Moreover, the Wronskian of \(w_1\) and \(w_2\) satisfies
Proof
This follows from [94, Chapter 11, Theorem 3.1] and the error bounds follow from the bounds on \(\mathcal {V}_{0,\infty }(H)\) in Lemma 3.15. The Wronskian identity is a direct consequence of the chain rule. \(\square \)
Lemma 3.17
There exists a constant \(A_2\ne 0\) such that \(s_1 = A_2 w_1\), where \(w_1\) is defined in (3.176) and \(s_1\) is defined in (3.58).
Proof
Note that both, \(w_1\) and \(s_1\) are recessive as \(y\rightarrow \infty \). Since the space of solutions which are recessive at \(y\rightarrow \infty \) is one-dimensional, we conclude that \(s_1\) and \(w_1\) are linearly dependent. \(\square \)
In view of Lemma 3.17 we define
where \(w_2\) is as in (3.177). Note that this implies that
Lemma 3.18
Let \({\tilde{\lambda }} \in [\Xi ^2+1, \infty )\) and let \(s_2\) as in (3.181). Then, \(g_p\) defined in (3.129) satisfies
Proof
Analogous to the proof of Lemma 3.13 we first estimate
Now, we use Proposition 3.6 and standard bounds on Airy functions from Appendix A.1, as well as Lemma 3.16 to obtain
Now, plugging these estimates into (3.184) and using that \(E_{Ai }^{-1}(\lambda ^{\frac{1}{3}} \varsigma (y))\) is a decreasing function, we conclude
For the second term, we argue similarly and estimate
Thus, we conclude
\(\square \)
4 The radial o.d.e. on the exterior
We will now derive for which frequency parameters \((\omega ,m,\ell )\) the poles of the interior scattering operator at \(\omega = \omega _- m\) coincide with frequency parameters which are exposed to stable trapping on the black hole exterior. This allows us then to define the set \({\mathscr {P}}_{Blow-up }\) in Sect. 5.1. Thus, we will analyze the radial o.d.e. at frequency \(\omega =\omega _- m\).
4.1 Resonance: Radial o.d.e. at interior scattering poles allows for stable trapping
We will first determine the range of angular eigenvalues \(\lambda _{m\ell }(a m \omega _-)\) at the interior scattering poles \(\omega =\omega _- m\) for which the radial o.d.e. admits stable trapping. Recall from (2.48) that the normalized high frequency part of the potential with \(\omega =\omega _- m\) is given by
Note that
where \(r_{\mathrm {cut}} := \frac{3M}{\Xi }\). Remark that (4.4) follows from (using \(l^2 = a^2 + l^2 \Xi \))
together with \(\Xi (r_{\mathrm {cut}}^2 + a^2) - 2 M r_{\mathrm {cut}} = \frac{3M^2}{\Xi } + a^2 \Xi \).
For the potential \(V_{main }\) to admit a region of stable trapping, we require that \(V_{main }\) has two roots \(r_{1} < r_{2}\), see already Fig. 7. A sufficient condition for that is that the angular eigenvalues \(\lambda _{m\ell }(a \omega _- m) m^{-2}\) are such that (4.3) is negative and (4.4) is positive. In this case, we denote with \(r_1 = r_1( {\lambda _{m\ell }(a\omega _- m)}{m^{-2}}, {\mathfrak {p}}) < r_2 = r_2( {\lambda _{m\ell }(a\omega _- m)}{m^{-2}}, {\mathfrak {p}})\) the two largest roots. (We will show later that indeed, these are the only roots for \(r\ge r_+\).) This leads us to define the following range of angular eigenvalues
where
Remark that the last condition in (4.7) will be used in Lemma 5.3 while the other conditions in (4.7) guarantee that \(V_main \) has two roots. Here, we also recall the definition of \(\Gamma = \frac{\partial }{\partial \vartheta }\) in (2.11), where \(\vartheta = a \omega _-\).
By construction, \(E_{\mathfrak {p}}\) is connected. Indeed, note that if \({\tilde{\mu }}_1,{\tilde{\mu }}_2 \in E_{{\mathfrak {p}}}\), then every \({\tilde{\mu }}_3\) with \({\tilde{\mu }}_1\le {\tilde{\mu }}_3 \le {\tilde{\mu }}_2 \) satisfies \({\tilde{\mu }}_3\in E_{{\mathfrak {p}}}\). Thus, \(E_{\mathfrak {p}}\) is a (a priori possibly empty) bounded interval. We define \(\mu _0 ({\mathfrak {p}}):=\inf E_{\mathfrak {p}}\), \(\mu _1( {\mathfrak {p}}):=\sup E_{\mathfrak {p}}\). We will show that E is a fiber bundle. To do so we first show that \(E_{\mathfrak {p}}\) is open and non-empty.
Lemma 4.1
For any \({\mathfrak {p}}\in {\mathscr {P}}\), the set \(E_{\mathfrak {p}} \) defined in (4.7) is a non-empty bounded open interval.
Proof
First, we will show that
which in turn follows from
To see that \(r_-^2 < a l\) holds true, we write \(\Delta (r)\) in terms of \(r_-\). More precisely, from \(\Delta (r_-)=0\) we have
from which we obtain
After a polynomial long division, this reduces to
Hence,
implies
from which
follows.
Note that for \(\mu = \omega _-^2 (l^2-a^2) +2a\omega _- \Xi \) we have
Thus, for \(\mu < \omega _-^2 (l^2-a^2) +2a\omega _- \Xi \) and \(\omega _-^2 (l^2-a^2) +2a\omega _- \Xi -\mu \) sufficiently small, we have
Now, note that for \(\mu = \lambda _{m\ell }(a\omega _- m) m^{-2} = \omega _-^2 (l^2-a^2) +2a\omega _- \Xi \), we have that \(V_{main }\rightarrow 0\) as \(r\rightarrow \infty \). Thus, the largest root \(r_2\) satisfies \(r_2(\mu ,{\mathfrak {p}}) \rightarrow +\infty \) as \(\mu \rightarrow \omega _-^2 (l^2-a^2) +2a\omega _- \Xi \) from below. Hence, the claim follows from the fact that to highest order in r, the last condition in (4.7) is fulfilled. More precisely,
where we used \(\Gamma (a \omega _-)=1\) and \(\Gamma (a)=0\). \(\square \)
From (4.7) it also follows that \(\mu _0\) and \(\mu _1\) are manifestly continuous functions on \({\mathscr {P}}\). Hence, E is a (topological) fiber bundle. Now, also note that E is trivial with global trivialization \(\varphi _E:E\rightarrow {\mathscr {P}} \times (0,1), ({\mathfrak {p}},\mu ) \mapsto ({\mathfrak {p}},\frac{\mu }{\mu _1 - \mu _0} - \frac{\mu _0}{\mu _1 - \mu _0})\) and we find (using this trivialization) two global sections
for all \({\mathfrak {p}} \in {\mathscr {P}}\) (in mild abuse of notation). For definiteness, we take
Having constructed \(\sigma _1\) and \(\sigma _2\), we will now show the existence of exactly two turning points \(r_1 < r_2\) of \(V_{main }\).
Lemma 4.2
Let \(m^{-2}\lambda _{m\ell }(a \omega _- m) \in (\sigma _1, \sigma _2)\) as chosen in (4.18). Then, \(V_{main }\) has a maximum \(r_max \in (r_+,\infty )\), and two roots \(r_1, r_2\) with \(r_+< r_1< r_max< r_2 <\infty \) such that
and \(r_2 - r_1 \gtrsim 1\).
Proof
By construction of \(\sigma _1\) and \(\sigma _2\), for any \(m^{-2}\lambda _{m\ell }\in (\sigma _1, \sigma _2 )\), the potential \(V_{main }\) has a maximum and satisfies
where \(r_{\mathrm {cut}} = \frac{3M}{\Xi }\). See also [65, Lemma 3.1].
We will show now that \(V_{main }\) has exactly two roots in \([r_+,\infty )\) from which (4.20) and (4.21) follow. Indeed, in view of the above, \(V_{main }\) either has two or four roots in \([r_+,\infty )\). To exclude the case of four roots, it suffices to exclude the case of three critical points in \([r_+,\infty )\). To see this, note that
has at most three real roots, one of which is in \([r_+,\infty )\) in view of the construction above. Indeed, one other root has to lie in \((-\infty ,r_-]\) as
Thus, \(V_{main }\) has at least one and at most two critical points in \([r_+,\infty )\) from which we deduce (4.20) and (4.21). \(\square \)
4.2 Fundamental pairs of solutions associated to trapping
We will now define various solutions to the radial o.d.e. associated to the boundary and to the turning points. Note that the turning points define the transition from the trapping region to the semiclassically forbidden region.
4.2.1 Solutions associated to the boundary
We first define the associated solution to the radial o.d.e. (2.43) which satisfies the Dirichlet boundary conditions at \({r^*} = \frac{\pi }{2} l \).
Definition 4.1
For all frequencies \(\omega \in {\mathbb {R}},m \in {\mathbb {Z}},\ell \in {\mathbb {Z}}_{\ge |m|}\) we define the solution \(u_\infty \) as the unique solution to (2.43) satisfying
where we recall that \(~^\prime = \frac{\mathrm {d}}{\mathrm {d}r^*}\).
We now define solutions associated to the event horizon \({\mathcal {H}}^+\). The limit \(r^*\rightarrow -\infty \) of the radial o.d.e. (2.43) constitutes a regular singular point. In particular, in view of [94, Theorem 2.2, Chapter 6] (set \(f = (\omega -\omega _+ m)^2\) and \(g= V-\omega ^2 - (\omega -\omega _+ m)^2 = O_{\omega ,m,\ell }(\Delta )\) as \(r^*\rightarrow -\infty \)) we can define the following unique solutions to (2.43).
Definition 4.2
For all frequencies \(\omega \in {\mathbb {R}}, m \in {\mathbb {Z}},\ell \in {\mathbb {Z}}_{\ge |m|}\) we also define \(u_{\mathcal {H}^+} \) and \(u_{\mathcal {H}^-} \) as the unique solutions to (2.43) satisfying
Remark 4.1
Equivalently, we can define \(u_{\mathcal {H}^+} \) (and similarly \(u_{\mathcal {H}^+}\)) as the unique solution to the Volterra integral equation
where V is as in (2.44) and we note that \(V(y) - \omega ^2 + ( \omega -\omega _+ m)^2= O_{\omega ,m,\ell } (\Delta )\) as \(r^*\rightarrow -\infty \). Existence and uniqueness is standard, see e.g. [94, Theorem 10.1, Chapter 6]. Note also that the fact that \(u_{\mathcal {H}^+}\) defined by (4.29) indeed solves the o.d.e. can be checked explicitly.
4.2.2 Solutions associated to turning points at interior scattering poles
For the solutions associated to the turning points we only consider the radial o.d.e. for \(\omega = \omega _- m\) which we recall from (2.47) as
Throughout Sect. 4.2.2 we assume that \(\sigma _1 \le \lambda _{m\ell }m^{-2} \le \sigma _2\) and in view of Lemma 4.2 we denote the turning points of \(V_{main }\) with \(r_1^*:= r^*(r_1) < r^*(r_2)=: r_2^*\), where we recall that they do not coalesce for \(\sigma _1 \le \lambda _{m\ell }m^{-2} \le \sigma _2\). We will now define solutions associated to the turning points \(r_1^*\) and \(r_2^*\) as illustrated in Fig. 7. We will closely follow [94, Chapter 11, §3], see also [92] for the original publication. We begin by defining new variables \(\xi _1\) and \(\xi _2\) in the following which will by construction solve
Definition 4.3
For some fixed \(\epsilon =\epsilon ({\mathfrak {p}})>0\) sufficiently small depending smoothly on \({\mathfrak {p}}\), we define
where we note that \(r^*\mapsto \xi _1\) is monotonically increasing and \(r^*\mapsto \xi _2\) is monotonically decreasing. In particular, we choose \(\epsilon ({\mathfrak {p}})>0\) sufficiently small to ensure that
As in [94, Chapter 11, §3] we note that with the above definitions the new unknowns \(W_1:= \left( \frac{\mathrm {d}\xi _1}{\mathrm {d}r^*} \right) ^{\frac{1}{2}} u \) and \(W_2:= \left( - \frac{\mathrm {d}\xi _2}{\mathrm {d}r^*} \right) ^{\frac{1}{2}} u \) respectively solve
for the error functions
and
As in [94, Chapter 11, §3] this can be equivalently written as
and
Lemma 4.3
The functions \((-\infty , r_2^*-\epsilon ]\ni r^*\mapsto \xi _1/(r^*-r_1^*), [r_1^*+\epsilon , \frac{\pi l }{2}] \ni r^*\mapsto \xi _2/(r_2^*- r^*)\) are smooth positive functions in their respective domains. Moreover, \((-\infty , r_2^*-\epsilon ]\ni r^*\mapsto \xi _1(r^*)\) (resp. \( [r_1^*+\epsilon , \frac{\pi l }{2}] \ni r^*\mapsto \xi _2(r^*)\)) is a strictly increasing (resp. decreasing) smooth function.
The error control functions \((-\infty , r_2^*-\epsilon ]\ni r^*\mapsto \Psi _1(r^*)\) and \( [r_1^*+\epsilon , \frac{\pi l }{2}] \ni r^*\mapsto \Psi _2(r^*)\) are also smooth functions. Moreover, \(\xi _1,\xi _2,\Psi _1,\Psi _2\) depend smoothly on \((r^*, {\mathfrak {p}})\).
Proof
Mutatis mutandis, this follows from [94, Chapter 11, §3, Lemma 3.1]. For convenience of the reader we will give a proof for the case of \(\xi _1\) and \(\Psi _1\) following the proof of [94, Chapter 11, §3, Lemma 3.1]. We first write \(p(r^*):= \frac{V_{main }}{r^*- r^*_1}\) which is smooth as \(V_{main }\) has a simple root at \(r^*_1\). We also set \(q(r^*):= (r^*- r^*_1)^{-\frac{3}{2}} \int _{r^*_1}^{r^*} (y - r^*_1)^{\frac{1}{2} } p(y) \mathrm {d}y\) for \(r^*> r_1^*\) such that by construction, \(\frac{\xi _1 (r^*)}{r^*-r^*_1} = (\frac{3}{2} q(r^*))^{\frac{2}{3}}\). Moreover, q is also smooth with n-th derivative \(q^{(n)} (r^*) = (r^*-r_1^*)^{\frac{ 2n +1}{2}} \int _{r^*_1}^{r^*} (y-r^*_1)^{\frac{2n-1}{2}} p^{(n)} (y)\mathrm {d}y \) which follows from integrating by parts. By the mean value theorem we have that for every n, the derivative \(q^{(n)}(r^*)\) has a right limit \(r^*\rightarrow r^*_1\) and in particular, \(\lim _{r^*\rightarrow r_1^*} q(r^*) = \frac{2}{3} p(r^*_1) \ne 0\), where the last property follows from the fact that \(V_{main }\) has a simple root at \(r_1^*\). Thus, \(\frac{\xi _1 (r^*)}{r^*-r^*_1} = (\frac{3}{2} q(r^*))^{\frac{2}{3}}\) is positive and extends smoothly across \(r^*= r_1^*\). Arguing completely analogously for the region \(r^*< r^*_1\) and noting that by construction the left and right derivatives agree at \(r^*=r^*_1\), we obtain that \(\frac{\xi _1 (r^*)}{r^*-r^*_1}\) is a smooth positive function on \((-\infty , r_2^*-\epsilon ]\).
Moreover, as \(r_1^*\) and \(V_{main }\) depend smoothly on \((r^*,{\mathfrak {p}})\), we also have that \(\xi _1\) depends smoothly on \((r^*,{\mathfrak {p}})\). Now, we note that \({\hat{f}}_1 (r^*)= p(r^*)^2 ( \frac{3}{2}q(r^*))^{- \frac{2}{3}}\) such that \({\hat{f}}_1\) is a smooth positive function of \(r^*\) and \({\hat{f}}_1\) also depends smoothly on \({\mathfrak {p}}\) in view of the above properties shown about p and q. In view of (4.39), this finally shows that \(\Psi _1\) is a smooth function of \(r^*\) (and of \(\xi _1\)) and also depends smoothly on \({\mathfrak {p}}\). The claim about \(\xi _2\) and \(\Psi _2\) follows completely analogously. \(\square \)
Definition 4.4
We now define the error control functions
which are equivalently characterized (using (4.41), see also [94, Chapter 11, §3.3, equ. (3.07), (3.08)]) as
Lemma 4.4
The error control functions \(H_1\) and \(H_2\) satisfy
Proof
We begin with \(H_2\). We have that \(\xi _2( [r_1^*+\epsilon , \frac{\pi }{2}l] )\) is compact as \(\xi _2\) is continuous. Moreover, since \(\xi _2 \mapsto \Psi _2 \) is continuous we have \(\sup _{\xi _2( [r_1^*+\epsilon , \frac{\pi }{2}l] )} |\Psi _2| \lesssim 1 \). As \(|v|^{-\frac{1}{2}} \in L^1_{loc}\) we obtain (4.48) as
For \(H_1\), we have to deal with the unbounded region \(r^*\in (-\infty , r_2^*- \epsilon ]\). We decompose
Completely analogous to the proof of the bound on \(H_2\) we have
For the term \(\mathcal {V}_{{-\infty } , r_1^*- 1 }\left( H_1 \right) \) we remark that
for \(r^*\in (-\infty , r_1^*- 1).\) Using the lower bound \(-V_{main }\), we infer from (4.32) that
for \(r^*\in (-\infty , r_1^*- 1)\). Hence,
\(\square \)
With the bounds in Lemma 4.4 in hand, we apply [94, Chapter 11, Theorem 3.1] which allow us to define the following.
Proposition 4.1
We define solutions to the radial o.d.e. (2.43) for \(\omega = \omega _- m\) as
Moreover,
where (4.59)–(4.62) hold uniformly in \(r^*\in (-\infty , {r^*_2} - \epsilon ]\) and (4.63)–(4.66) hold uniformly in \(r^*\in [{r^*_1}+\epsilon , \frac{\pi }{2}l]\). Further, we choose the initialization such that
and in particular, \(|\epsilon _{\mathrm {Ai}2}(\frac{\pi }{2} l)|\lesssim m^{- \frac{7}{6}}, \epsilon _{\mathrm {Bi}2}(\frac{\pi }{2} l)=0\).
Proof
The proof follows from [91, Chapter 11, Theorem 3.1]. For convenience of the reader we will outline the proof for \(u_{\mathrm {Ai}2}\). Indeed, with the ansatz of (4.57) we note that from (4.38), we have \(W_2 = {\hat{f}}_2^{\frac{1}{4}}(r_2^*) \{ {\mathrm {Ai}}(m^{\frac{2}{3}} \xi _2) + \epsilon _{\mathrm {Ai}2}(\xi _2)\}\). Thus, from (4.38) and variation of parameters (see [94, Chapter 11, equ. (3.12)] or [92]), the error \(\epsilon _{\mathrm {Ai}2}(\xi _2)\) solves
where \(K(\xi _2,v) = {\mathrm {Bi}}(m^{\frac{2}{3}} \xi _2) {\mathrm {Ai}}(m^{\frac{2}{3}} v) - {\mathrm {Bi}}(m^{\frac{2}{3}} v) {\mathrm {Ai}}(m^{\frac{2}{3}} \xi _2)\). We note that as in [94, Chapter 11, equ. (3.12)], the kernel K satisfies
for \(v\ge \xi _2\) and similarly,
for \(v\ge \xi _2\). Now, as in [94, Chapter 11, equ. (3.12)], the integral equation (4.69) is solved using [94, Chapter 6, Theorem 10.2] which shows the bounds together with Lemma 4.4. \(\square \)
5 The non-Diophantine condition
With the fundamental solutions from Sect. 4.2, we are now in the position to define the set of black hole parameters \({\mathscr {P}}_{Blow-up }\). The set \({\mathscr {P}}_{Blow-up }\) will be defined in Definition 5.3 as a suitable \(\limsup \) set which constitutes a (generalized) non-Diophantine condition.
5.1 Definition of the non-Diophantine condition as the set \({\mathscr {P}}_{Blow-up }\)
We first define Wronskians of solutions of the radial o.d.e. which will play a fundamental role in the estimates.
Definition 5.1
We define \({\mathfrak {W}}_1 :{\mathscr {P}} \times {\mathbb {Z}}_m \times {\mathbb {Z}}_{\ell \ge |m|} \rightarrow {\mathbb {C}}\) and \({\mathfrak {W}}_2 :{\mathscr {P}} \times {\mathbb {Z}}_m \times {\mathbb {Z}}_{\ell \ge |m|} \cap \{\sigma _1 \le \lambda _{m\ell }m^{-2} \le \sigma _2\} \rightarrow {\mathbb {C}}\) as
Note that this is well-defined as the Wronskians \({\mathfrak {W}}_1\) and \({\mathfrak {W}}_2\) only depend on \({\mathscr {P}}\) (by construction). Moreover, by continuous dependence on parameters of solutions to o.d.e.’s, the Wronskians \({\mathfrak {W}}_1\) and \({\mathfrak {W}}_2\) are continuous functions on \({\mathscr {P}}\) for fixed \(m,\ell \).
Remark 5.1
Note that, as discussed in the introduction, the Wronskian \({\mathfrak {W}}_1\) does not vanish. Nevertheless, \({\mathfrak {W}}_1\) can be very small (as \(m,\ell \rightarrow \infty \)) which corresponds to frequency parameters associated to stable trapping. On the other hand, \({\mathfrak {W}}_2\) may vanish and this indeed corresponds to stable trapping. In particular, if \({\mathfrak {W}}_2\) vanishes, then the solution \(u_\infty \) is a multiple of the \(u_{{\mathrm {Ai}}2}\) which is exponentially damped in the semi-classical forbidden region. In this case, we infer that \({\mathfrak {W}}_1\) is exponentially small and indeed, we are in the situation of stable trapping. This would then show that there exists a quasimode with frequency \(\omega = \omega _- m\). This intuition leads to the following non-Diophantine condition for the set \({\mathscr {P}}_{Blow-up }\).
Definition 5.2
For \(m_0 \in {\mathbb {N}}\) we define
where
Definition 5.3
We define
While a priori the set \({\mathscr {P}}_{Blow-up }\) could be empty, we will show in the following that it is dense in \({\mathscr {P}}\) and Baire-generic, i.e. a countable intersection of open and dense sets.
5.2 Topological genericity: \({\mathscr {P}}_{Blow-up }\) is Baire-generic
We will first show that each \(U_{m_0}\) is dense. To do so, we let \(m_0\) and \({\mathfrak {p}}_0 = ({\mathfrak {m}}_0, {\mathfrak {a}}_0) \in {\mathscr {P}}\) be arbitrary and fixed throughout Sect. 5.2. Also, let \({\mathcal {U}} \subset {\mathscr {P}}\) be an open neighborhood of \({\mathfrak {p}}_0\). We will show that there exists an element of \(U_{m_0}\) which is contained in \({\mathcal {U}}\). We now define a curve of parameters through \({\mathfrak {p}}_0\) as follows.
Definition 5.4
For \(\delta =\delta ({\mathfrak {p}}_0, {\mathcal {U}})>0\) sufficiently small, we define the smooth embedded curve \(\gamma _{\delta }({\mathfrak {p}}_0) \subset {\mathcal {U}} \) through \({\mathfrak {p}}_0\) as
Throughout Sect. 5.2 we will only consider
We parameterize \(\gamma _{\delta }({\mathfrak {p}}_0)\) with \(\vartheta \in (\vartheta _0 - {\delta }, \vartheta _0 + {\delta })\), where \(\vartheta _0 = \vartheta ({\mathfrak {p}}_0) \).
Remark 5.2
Note that the expression \(\Xi \) is (by construction) constant on \(\gamma _{\delta }({\mathfrak {p}}_0)\). We also note that \(\gamma _{\delta }({\mathfrak {p}}_0)\) can be seen as a variation of \({\mathfrak {m}}\) keeping \({\mathfrak {a}}\) fixed. It is however more convention to use the coordinates \((\vartheta , {\mathfrak {a}})\) as they are adapted to the interior scattering pole in view of \(\vartheta = a\omega _-\).
Lemma 5.1
The angular eigenvalues at the interior scattering poles \(\omega = \omega _- m\) satisfy
Proof
Note that
is an eigenvalue of the operator
Now, by construction of \(\Gamma \) in (2.11) we have \(\Gamma (a\omega _-) = \Gamma (\vartheta )=1\) and \(\Gamma (a) =0\) to compute
as \(\left| \frac{ r_-^2 -a^2 }{r_-^2 + a^2}\Delta _x \right| \le 1\) and \(0\le \frac{\Xi }{\Delta _x}\le 1\). \(\square \)
Lemma 5.2
We have \(|\Gamma (\epsilon _{\mathrm {Ai}2} (\frac{\pi }{2} l ) ) | \lesssim m^{- \frac{1}{6}}\) where \(\epsilon _{\mathrm {Ai}2}\) is defined in Proposition 4.1.
Proof
First, we consider \(\epsilon _{\mathrm {Ai}2}\) as a function of \(\xi _2\) defined in Definition 4.3. Then, applying \(\Gamma \) to (4.69) shows that \(\Gamma \epsilon _{\mathrm {Ai}2}\) solves
We denote \(k (\xi _2) := - \Gamma (\xi _2(r_1^*+\epsilon )) \pi m^{-\frac{2}{3}} K(\xi _2, \xi _2(r_1^*+\epsilon ) ) \Psi _2(\xi _2(r_1^*+\epsilon ) ) {\mathrm {Ai}}( m^{\frac{2}{3}} \xi _2(r_1^*+\epsilon ) )\) which satisfies
where we used that \(|\Gamma (\xi _2(r^*_1+\epsilon ))|\lesssim 1\) and \(|\Psi _2(\xi _2(r_1^*+\epsilon ))|\lesssim 1\). Now, we re-write the equation for the unknown \( (\Gamma \epsilon _{\mathrm {Ai}2} -k )(\xi _2) \) as
First, from (4.3) we know that \(\Psi _2\) depends smoothly on \({\mathfrak {p}}\) and in particular, that \(\xi _2 \mapsto \Gamma \Psi _2(\xi _2)\) is smooth. Since \(|l^2 \Gamma V_{main }|\lesssim 1 \) (using Lemma 5.1) and \(|l^2\Gamma V_1|\lesssim 1\), this is made quantitative to obtain \(|\Gamma \Psi _2|\lesssim 1\) uniformly in the compact set \(\xi _2[r_1^*+ \epsilon , l \frac{\pi }{2}]\).
Now, we apply [94, Theorem 10.1, Chapter 6] and in the notation of [94, Theorem 10.1, Chapter 6] we set
We further have that
exist and satisfy \(\sup _{v \in \xi _2( r_1^*+\epsilon , l\frac{\pi }{2})}\Phi (v)\lesssim 1 \), as well as \(\sup _{v \in \xi _2( r_1^*+\epsilon , l\frac{\pi }{2})} \Psi _0(v) \lesssim 1\) as in (4.49) of Lemma 4.4. With the above choices, Lemma 4.4 and (4.70), (4.71), we have that assumptions (i)–(vi) of [94, Theorem 10.1, Chapter 6] are satisfied.
Now, we compute \(\kappa := \sup _{v\in \xi _2[r_1^*+ \epsilon , l \frac{\pi }{2}]} Q(v) |J(v) |\), for which we note that the largest term in J is coming from \(\Gamma (\Psi _2) {\mathrm {Ai}}(m^{\frac{2}{3}} v )\) in view of the shown properties for \(\epsilon _{{\mathrm {Ai}}2}\) from (4.63) and k(v) from (5.13). Since \(|\Gamma (\Psi _2)(v) {\mathrm {Ai}}(m^{\frac{2}{3}} v ) |\lesssim M_{{\mathrm {Ai}}}(m^{\frac{2}{3} }v) E^{-1}_{{\mathrm {Ai}}}(m^{\frac{2}{3}} v)\), we obtain \(\kappa \lesssim m^{-\frac{2}{3}}\). Further, for \(\kappa _0 := \sup _{v\in \xi _2[r_1^*+ \epsilon , l \frac{\pi }{2}]} Q(v) |P_0(v) |\) we directly obtain the estimate \(\kappa _0 \lesssim m^{-\frac{2}{3}}\).
Thus, the assumptions of [94, Theorem 10.1, Chapter 6] are satisfied and we obtain that \(\Gamma \epsilon _{{\mathrm {Ai}}2} - k\) satisfies
Thus,
in view of (5.13). Finally,
which concludes the proof. \(\square \)
Remark 5.3
From Proposition 3.2 and Lemma 5.1 we have that for almost every \({\tilde{\lambda }}_0 > \Xi ^2\), there exist sequences \((m_i)_{i\in {\mathbb {N}}}\) and \((\ell _i)_{i\in {\mathbb {N}}}\) (\(m_i \le \ell _i \le m_i^2\)) with \(m_i\rightarrow \infty ,\ell _i\rightarrow \infty \) as \(i\rightarrow \infty \) such that the angular eigenvalues satisfy
where \(|\lambda _error ^{(i)}({\mathfrak {p}}_0)|\le C({\tilde{\lambda }}_0,{\mathfrak {p}}_0) \) and \(|\lambda _error ^{(i)}({\mathfrak {p}})|\le C({\tilde{\lambda }}_0,{\mathfrak {p}}_0) (1+ |\vartheta _0 - \vartheta | m_i^2) \lesssim 1+ \delta m_i^2\) uniformly for \({\mathfrak {p}} \in \gamma _{\delta }({\mathfrak {p}}_0)\) as \(m_i \rightarrow \infty \). Moreover, we assume without loss of generality that \(m_{i+1} > m_i\) and note that the choice of the subsequences \(m_i,\ell _i\) depends on \({\mathfrak {p}}_0.\)
Lemma 5.3
Let \(\lambda _1 := \sup _{{\mathfrak {p}} \in \gamma _{\delta }({\mathfrak {p}}_0)} \sigma _1({\mathfrak {p}})\) and \( \lambda _2:= \inf _{{\mathfrak {p}} \in \gamma _{\delta }({\mathfrak {p}}_0)} \sigma _2({\mathfrak {p}})\) and choose \(\delta >0\) potentially smaller such that \(\lambda _1 < \lambda _2\). Let \({\tilde{\lambda }}_0 \in (\lambda _1,\lambda _2) \setminus \mathcal {N}_{{\mathfrak {p}}_0}\) (see Remark 5.3) be arbitrary. Let \({\tilde{\lambda }}_i = {\tilde{\lambda }}_0 + \lambda _error ^{(i)} m_i^{-2}\) be the associated angular eigenvalues from Proposition 3.2 such that from (4.1) we have the associated potential \(V_{main } = \frac{\Delta }{(r^2+a^2)^2} \left( {\tilde{\lambda }}_i + \omega _-^2 a^2 - 2 a \omega _- \Xi \right) - ( \omega _- - \omega _r )^2 \).
Then, for all \({\mathfrak {p}} \in \gamma _{\delta }({\mathfrak {p}}_0)\), and for all \(i\in {\mathbb {N}}\) sufficiently large, we have
where \(\xi _{\infty }^{(i)} : \gamma _{\delta }({\mathfrak {p}}_0) \rightarrow {\mathbb {R}}\) is defined as
and \(c(\delta , {\mathfrak {p}}_0),C(\delta , {\mathfrak {p}}_0)>0\) only depend on \(\delta >0 \) and \( {\mathfrak {p}}_0 \).
Proof
We use the product rule to compute for \(r\ge r_2\)
From Lemma 5.1 we know that \( \Delta ^{-1} \Gamma ( {\tilde{\lambda }}_i + \omega _-^2 a^2 - 2 a \omega _- \Xi ) \le 0\). Moreover, by choice of \({\tilde{\lambda }}_0\) in the assumptions of Lemma 5.3, we have that \({\tilde{\lambda }}_i \in E_{{\mathfrak {p}}}\) for all \({\mathfrak {p}} \in \gamma _{\delta }({\mathfrak {p}}_0)\) and for all i sufficiently large. Thus, using the definition of \(E_{{\mathfrak {p}}}\) in (4.7) we have
for all \(r\ge r_2\), all i sufficiently large and all \({\mathfrak {p}} \in \gamma _{\delta }({\mathfrak {p}}_0)\).
Hence,
which shows
for all i sufficiently large and for all parameters in \(\gamma _\delta ({\mathfrak {p}}_0)\) by choosing \(\delta >0\) sufficiently small. For the upper bound we also use Lemma 5.1 to obtain that \( |\Gamma \sqrt{|V_{main }}| = \frac{|\Gamma V_{main }| }{2| V_main ^{\frac{1}{2}} |} \lesssim \frac{1}{\sqrt{|r^*- r_2^*|}} \) uniformly in i. The last implicit constant can also be chosen to be uniform on \(\gamma _{\delta }({\mathfrak {p}}_0)\) such that \( |\Gamma \xi _\infty ^{(i)}|\le \int _{r^*_2}^{\frac{\pi }{2}l} |\Gamma \sqrt{|V_{main }|}| \mathrm {d}r^*\le C(\delta ,{\mathfrak {p}}_0)\) follows. \(\square \)
Now, recall the definition of \({\mathfrak {W}}_1\) and \({\mathfrak {W}}_2\) from Definition 5.1.
Proposition 5.1
Let \(m_0 \in {\mathbb {N}}\). Then, there exist a parameter
and an \(i \in {\mathbb {N}}\) such that \( m_0 \le m_i \le \ell _i \le m_i^2 \) with
as well as
The proof of Proposition 5.1 relies on the following two lemmata and will be given thereafter. First, we will start by showing that for every \(m_i \ge m_0\) sufficiently large, there exists a \({\mathfrak {p}}_Blow-up \in \gamma _{\delta }({\mathfrak {p}}_0)\) such that \({\mathfrak {W}}_2 = 0\) and \(|\Gamma {\mathfrak {W}}_2 | >1\). We will state this as the following lemma.
Lemma 5.4
For every \( {\tilde{m}}_0 >0\) there exists an \(i\in {\mathbb {N}}\) with \(m_i > {\tilde{m}}_0\) and a parameter \(\vartheta _{Blow-up }\) with \(|\vartheta _{Blow-up } - \vartheta ({\mathfrak {p}}_0)|\le \delta \) such that
-
1.
\({\mathfrak {W}}_2(\vartheta _{Blow-up }, m_i) = 0\),
-
2.
\(u_{\mathrm {Ai}2} = \alpha _\infty {\hat{f}}_2^{\frac{1}{2}}(\frac{\pi }{2}l) u_\infty \) for \(\vartheta =\vartheta _{Blow-up }\) with \(|\alpha _\infty (\vartheta _Blow-up ) | \sim m_i^{\frac{5}{6}}\),
-
3.
\(|\Gamma {\mathfrak {W}}_2(\vartheta _{Blow-up }, m_i) |>1\),
-
4.
For all \(\vartheta \) with \( e^{-\ell _i} e^{-m_i}< |\vartheta - \vartheta _{Blow-up }|<\frac{1}{m_i^2}\), we have \(|{\mathfrak {W}}_2(\vartheta )| > e^{-\ell _i} e^{-m_i}\).
Proof
Throughout the proof of Lemma 5.4 we will use the convention that all constants appearing in \(\lesssim \), \(\gtrsim \), \(\sim \) and O only depend on \({\mathfrak {p}}_0,l\) and \(\delta >0\).
Let \( {\tilde{m}}_0>0\). We begin by showing 1. From Proposition 4.1 and (5.30) we have
uniformly on \(\gamma _{\delta }({\mathfrak {p}}_0)\). Now, for all \(m_i>{\tilde{m}}_0\) sufficiently large, we use the asymptotics for the Airy functions as shown in Lemma A.1 to conclude that
Thus, in order to conclude that \({\mathfrak {W}}[u_{\mathrm {Ai}2}, u_\infty ](m_i,\vartheta ) =0 \) for some value on \(\gamma _{\delta }({\mathfrak {p}}_0)\), we have to vary \({\mathfrak {p}}(\vartheta ) \in \gamma _\delta ({\mathfrak {p}}_0)\) such that \( m_i \xi _\infty ^{(i)}\) goes through a period of \(\pi \). Here, we also use that all terms in \(O(m_i^{-1})\) depend continuously on \({\mathfrak {p}}\). Thus, it suffices to let \(\xi _\infty ^{(i)}\) go through a period of \(\pi m_i^{-1}\). From (5.29) we have
uniformly on \(\gamma _{\delta }({\mathfrak {p}}_0)\). Thus, by potentially choosing \(m_i>{\tilde{m}}_0\) even larger, there exists a parameter \(\vartheta _{Blow-up }\) with
such that
We finally note that from (5.38) and (5.39) we have that \(\mathrm {Ai}\left( - \left( \frac{3}{2}m_i \xi _\infty ^{(i)}\right) ^{\frac{2}{3}} \right) + \epsilon _{\mathrm {Ai}2}(m_i,l \pi /2 ) = O(m_i^{-\frac{7}{6}})\) for all \(\vartheta \) with \(|\vartheta -\vartheta _{Blow-up }|\le m_{i}^{-2}\) in view of (5.40).
Having found \(m_i\) and \(\vartheta _{Blow-up }\), we will now prove 2. For \(\vartheta =\vartheta _Blow-up \) we have from Proposition 4.1 and \(\textit{1.}\) that
Here, to estimate \(\epsilon _{\mathrm {Ai}2}'(m_i,l \pi /2 )\) we used (4.64) and (A.10). We further used Lemma A.1, as well as (4.35) together with \({\hat{f}}_2(r_2^*) \sim {\hat{f}}_2 (l \pi /2)\). Finally, we used that \(|\sin \left( m_i \xi _\infty ^{(i)} - \frac{\pi }{4} \right) | \sim 1 \) as \(|\cos \left( m_i \xi _\infty ^{(i)} - \frac{\pi }{4} \right) |= O(m_i^{-1}) \). Thus, for \(\vartheta =\vartheta _Blow-up \) we have
For 3, we will in fact show the stronger statement that \(|\Gamma {\mathfrak {W}}_2(\vartheta , m_i) |>1\) for all \(\vartheta \) with \(|\vartheta -\vartheta _{Blow-up }|\le m_i^{-2} \). We first recall that
on \(\gamma _{\delta }({\mathfrak {p}}_0)\) in view of (5.29). Now, we take the derivative of (5.38) with respect to \(\Gamma \). First we consider the term when \(\Gamma \) hits \( {\hat{f}}_2^{ \frac{1}{4}}(r_2^*) {\hat{f}}_2^{- \frac{1}{4}}(\pi l /2) \). We recall from the proof of 1 that for \(\vartheta \) with \(|\vartheta -\vartheta _{Blow-up }|\le m_i^{-2}\) we have \( \mathrm {Ai}\left( - \left( \frac{3}{2}m_i \xi _\infty ^{(i)}\right) ^{\frac{2}{3}} \right) + \epsilon _{\mathrm {Ai}2}(m_i,l \pi /2 )= O(m_i^{-\frac{7}{6}})\) such that
Now, we consider the term when \(\Gamma \) hits \( \epsilon _{\mathrm {Ai}2}(m_i,l \pi /2 )\). Using Lemma 5.2 we have that
Finally, we consider the term when \(\Gamma \) hits \(\mathrm {Ai}\left( - \left( \frac{3}{2}m_i \xi _\infty ^{(i)}\right) ^{\frac{2}{3}} \right) \). By the chain rule, we directly compute
in view of (5.45). Similar to the proof of 2., from \(\mathrm {Ai}\left( - \left( \frac{3}{2}m_i \xi _\infty ^{(i)}\right) ^{\frac{2}{3}} \right) = O(m_i^{-\frac{7}{6}}) \), we have that \(\left| \mathrm {Ai}'\left( - \left( \frac{3}{2}m_i \xi _\infty ^{(i)}\right) ^{\frac{2}{3}} \right) \right| \sim m_i^{\frac{1}{4} \frac{2}{3}} \sim m_i^{\frac{1}{6}}\). Putting everything together, this shows that
for all \(\vartheta \) with \(|\vartheta -\vartheta _{Blow-up }| < m_i^{-2}\). In particular, this shows 3. Upon integration this also shows 4. \(\square \)
Lemma 5.5
There exists a constant \(c>0\) (only depending on \({\mathfrak {p}}_0\) and \(\delta >0\)) such that for \({\mathfrak {p}} \in \gamma _\delta ({\mathfrak {p}}_0)\) we have
for all \(m_i\) sufficiently large. Moreover, there exist constants \(\alpha _1 = \alpha _1(m_i) \in {\mathbb {R}}\) and \(\beta _1= \beta _1(m_i) \in {\mathbb {R}}\) satisfying \( |\alpha _1| \lesssim e^{- c m_i } \) and \(|\beta _1|\lesssim e^{- c m_i } \) such that \(u_{\mathrm {Ai}2} = \alpha _1 u_{\mathrm {Ai}1} + \beta _1 u_{\mathrm {Bi}1}\).
Proof
We start by proving \(|{\mathfrak {W}}(u_{\mathrm {Ai}2}, u_{\mathrm {Bi}1}) | \lesssim {\hat{f}}_1^{\frac{1}{2}}(r_1^*)e^{- c m_i }\). We evaluate the Wronskian \({\mathfrak {W}}(u_{\mathrm {Ai}2}, u_{\mathrm {Bi}1})\) at \({r^*} := {r^*_1} + 2 \epsilon ({\mathfrak {p}}_0)\), where \(\epsilon ({\mathfrak {p}}_0 )\) is as in (4.32). By potentially choosing \(\delta >0\) smaller, we have that \( {r^*_1} + 2 \epsilon ({\mathfrak {p}}_0) \ge {r^*_1} + \epsilon ({\mathfrak {p}})\) for all \({\mathfrak {p}} \in \gamma _\delta ({\mathfrak {p}}_0)\). Then, using standard bounds on Airy functions from Lemma A.1 we obtain
Now, by choosing \(\delta >0\) potentially smaller, in view of (4.36), we have \( \frac{\xi _2 (r_1^*+2\epsilon ({\mathfrak {p}}_0 ))}{\xi _1(r_1^*+2 \epsilon ({\mathfrak {p}}_0))} \ge 2 \) for all \({\mathfrak {p}} \in \gamma _\delta ({\mathfrak {p}}_0)\). Thus, there exists a constant \(c=c({\mathfrak {p}}_0, \delta )>0\) such that
for all \({\mathfrak {p}} \in \gamma _\delta ({\mathfrak {p}}_0)\). Now, the first estimate follows by evaluating the Wronskian \({\mathfrak {W}}(u_{\mathrm {Ai}2}, u_{\mathrm {Bi}1})\) at \({r^*} = {r^*_1} +2 \epsilon ({\mathfrak {p}}_0) \) and the fact that \({{\hat{f}}_1(r_1^*)}/{{\hat{f}}_2(r_2^*)} \sim 1\). The second estimate of (5.48) follows in the same manner but it is easier as \(u_{\mathrm {Ai}2}\) is already exponentially small in the region between the turning points \({r^*_1}\) and \({r^*_2}\) since
For the second part of the lemma we first note that
To conclude it suffices to show that
In view of the error bounds from (4.59)–(4.62) and the chain rule, we conclude that
for all \(m_i\) sufficiently large. \(\square \)
Now, we are in the position to prove Proposition 5.1.
Proof of Proposition 5.1
Let \(m_0 \in {\mathbb {N}}\) be arbitrary. Using Lemma 5.4, we let \(m_i >m_0\) and fix \({\mathfrak {p}}_Blow-up \in \gamma _\delta (p_0)\subset {\mathcal {U}}\) such that \({\mathfrak {W}}_2 =0\) and \(| \Gamma {\mathfrak {W}}_2 |>1\) as well as \(|{\mathfrak {W}}_2(\vartheta )| > e^{-\ell _i} e^{-m_i}\) for \(e^{-\ell _i} e^{-m_i}< |\vartheta - \vartheta _{Blow-up }|<\frac{1}{m_i^2}\). We moreover have
where \(|\alpha _\infty | \sim m_i^{\frac{5}{6}}\). Thus, in view of Lemma 5.5 we have
for some constant \(c= c({\mathfrak {p}}_0)>0\). To estimate \({\mathfrak {W}}[u_{{\mathrm {Ai}}1},u_{\mathcal {H}^+} ] \) and \({\mathfrak {W}}[u_{{\mathrm {Bi}}1},u_{\mathcal {H}^+} ] \) we infer from Lemma A.1 and (4.55), (4.56) together with the associated error bounds, that
for all \(r^*\) sufficiently small and particularly as \(r^*\rightarrow -\infty \). Moreover, as \(r^*\rightarrow -\infty \), we have that
such that
Thus, by potentially choosing \(m_i\) even larger (i.e. choose \( {\tilde{m}}_0\) larger in Lemma 5.4) and noting that \({\hat{f}}_2^{ \frac{1}{2}}(\frac{\pi }{2} l) \sim (\omega _- - \omega _+) \sim {\hat{f}}_1^{\frac{1}{2}} (r_1^*)\), we have
and thus,
for all \(m_i\) sufficiently large. \(\square \)
Now, we can conclude
Proposition 5.2
The set \({\mathscr {P}}_{Blow-up }\) is a Baire-generic subset of \({\mathscr {P}}\).
Proof
Since \({\mathfrak {p}}_0 \in {\mathscr {P}}\) and \({\mathcal {U}} \subset {\mathscr {P}}\), \({\mathcal {U}} \ni {\mathfrak {p}}_0\) were arbitrary, Proposition 5.1 shows that for any \(m_0 \in {\mathbb {N}}\) sufficiently large, the set \(U_{m_0}\) as defined in Definition 5.2 is dense in \({\mathscr {P}}\). Since \( {\mathfrak {W}}_1\), \({\mathfrak {W}}_2\), \(\sigma _1\) and \(\sigma _2\) are continuous, \(U_{m_0}\) is manifestly open. Thus, in view of Baire’s theorem [2], \({\mathscr {P}}_{Blow-up }\) is Baire-generic and in particular dense. \(\square \)
5.3 Metric genericity: \({\mathscr {P}}_{Blow-up }\) is Lebesgue-exceptional and 2-packing dimensional
Proposition 5.3
The set \({\mathscr {P}}_{Blow-up }\) is a Lebesgue null set.
Proof
It suffices to show that \({\mathscr {P}}_{Blow-up } \cap C\) has vanishing Lebesgue measure (denoted by \(|\cdot |\)) for any closed square C contained in \({\mathscr {P}}\) with side length less than unity. Let C be such a square contained in \({\mathscr {P}}\). Throughout the proof, all constants appearing in \(\lesssim , \gtrsim , \sim \) and O will only depend on the square C. We start by estimating \(U(m,\ell )\cap C\) with the co-area formula: We have
We recall that \(H^1\) denotes the one dimensional Hausdorff measure. As \(|{\mathfrak {a}}_2 - {\mathfrak {a}}_1|\le 1\), it suffices to estimate \(H^1 ( U(m,\ell )\cap C \cap \{{\mathfrak {a}}= \tilde{{\mathfrak {a}}} \}) \) uniformly for \(\tilde{{\mathfrak {a}}} \in ({\mathfrak {a}}_1, {\mathfrak {a}}_2)\).
For each \(\tilde{{\mathfrak {a}}} \in ({\mathfrak {a}}_1, {\mathfrak {a}}_2)\) we claim that \(U(m,\ell ) \cap C \cap \{{\mathfrak {a}}= \tilde{{\mathfrak {a}}} \}\) can be decomposed into at most \(O(m^2)\) many subsets, each of which with diameter at most \( O(e^{-\ell } e^{-m})\). More precisely, for \(\vartheta _1< \vartheta _2\) let \((\vartheta _1, \tilde{ {\mathfrak {a}}})\) and \((\vartheta _2, \tilde{{\mathfrak {a}}})\) be elements of \(U(m,\ell ) \cap C \cap \{{\mathfrak {a}}= \tilde{{\mathfrak {a}}} \}\) in coordinates \((\vartheta , {\mathfrak {a}})\). Then, we claim that either, \(|\vartheta _2 - \vartheta _1|\le 2 e^{-\ell } e^{-m}\) or \(|\vartheta _2 - \vartheta _1| > \frac{1}{m^2}\).
Indeed, note that \((\vartheta _2, \tilde{{\mathfrak {a}}}) = \Phi ^\Gamma _{|\vartheta _2-\vartheta _1|} ((\vartheta _1, \tilde{{\mathfrak {a}}}))\). Thus, from the definition of \(U(m,\ell )\) and since both, \((\vartheta _1, \tilde{{\mathfrak {a}}}), (\vartheta _2, \tilde{{\mathfrak {a}}}) \in U(m,\ell )\), we conclude that
Hence, we decompose \(U(m,\ell ) \cap C \cap \{{\mathfrak {a}}= \tilde{{\mathfrak {a}}} \}\) into \(O(m^2)\) many subsets, each of which has diameter at most \(O(e^{-m} e^{-\ell })\) which is uniform in \(\tilde{{\mathfrak {a}}}\). Thus,
which implies
Now,
satisfies
Using the definition of \({\mathscr {P}}_{Blow-up }\) from Definition 5.3 we compute
With (5.71) we conclude
in view of the Borel–Cantelli lemma. \(\square \)
Proposition 5.4
The set \({\mathscr {P}}_{Blow-up }\) has full packing dimension, i.e. \(\dim _P ({\mathscr {P}}_{Blow-up }) = 2\).
Proof
This follows from Proposition 5.2 and [36, Corollary 3.10]. \(\square \)
6 Construction of the initial data
Having constructed the set \({\mathscr {P}}_{Blow-up }\), we will turn to the problem of showing blow-up. We begin by fixing an arbitrary parameter
which we keep fixed through the rest of the paper, i.e. throughout Sects. 6, 7, 8 and 9. This also fixes the mass \(M = {\mathfrak {m}} l/\sqrt{3}\) and angular momentum \(a = {\mathfrak {a}} l/\sqrt{3}\). As stated in the conventions in Sect. 2.3, all constants appearing in \(\lesssim \), \(\gtrsim \), \(\sim \) and O will now depend on \({\mathfrak {p}}\) as fixed in (6.1) (and on \(l>0\) as fixed in (2.6)) throughout Sects. 6, 7, 8 and 9.
By construction of \({\mathscr {P}}_{Blow-up }\) and since \({\mathfrak {p}} \in {\mathscr {P}}_{Blow-up }\), there exists an infinite sequence
with
and
Without loss of generality we also assume that all \(m_i\) are taken sufficiently large, i.e.
for all \(i \in {\mathbb {N}}\) and for a sufficiently large \(m_0 = m_0({\mathfrak {p}}) \in {\mathbb {N}}\) only depending on the choice of \({\mathfrak {p}}\).
We will now carefully choose initial data for (1.2) with compact support in K, which we define in the following.
Lemma 6.1
There exists a compact interval \(K \subset (-\infty , \frac{\pi }{2}l)\), an \(\epsilon >0\) and a constant \(c >0\) such that for every \(i\in {\mathbb {N}}\), there exists a subinterval \(K_i = [r_i^*-\frac{c}{m_i}, r_i^*+ \frac{c}{m_i}] \subset K\) with
for all \(r^*\in K_i\). Moreover, we choose K such that \(\inf K > 3 r_+\).
Proof
By Definition 4.1, \(u_\infty ^{\omega _-} = u_\infty (\omega =\omega _- m_i, m_i,\ell _i, r^*)\) is a solution to (2.47), i.e. a solution to
where
with \(u_\infty ^{\omega _-} (l\pi /2) =0\) and \({u_\infty ^{\omega _-} }^\prime (l\pi /2) =1 \). Since
there exists a \(\delta >0\) and a \({\tilde{r}}_2^*\) such that
see Lemma 4.2. Without loss of generality we can assume that \({\tilde{r}}_2^*> r^*(r=3r_+)\). In particular, for \(m_i\) sufficiently large (take \(m_0({\mathfrak {p}})\) possibly larger in (6.5)), we have that
for \(r^*\in [{\tilde{r}}_2^*, \frac{\pi }{2}l)\). Now, let \(K := [{\tilde{r}}_2^*, r_3^*] \subset ({\tilde{r}}_2^*, \frac{\pi }{2}l)\) be a compact subinterval for \(r_3^*> r_2^*\) fixed, e.g. \(r_3^*= \frac{1}{2} (r_2^*+ l \frac{\pi }{2})\). In the region \([{\tilde{r}}_2^*, \frac{\pi }{2}l)\), the smooth potential \(V_{main }\) satisfies
Moreover, \(|V_1|\lesssim 1\) uniformly in \([{\tilde{r}}_2^*, \frac{\pi }{2}l)\). This allows us to approximate \(u_\infty ^{\omega _-} \) via a WKB approximation. First, we introduce the error-control function
and note that \(F_\infty (\frac{\pi }{2}l) = 0\). In view of the above bounds on \(V_{main }\) and \(V_1\) we obtain
Hence, using the boundary conditions \(u_\infty ^{\omega _-} (\frac{\pi }{2} l) =0\), \(\frac{\mathrm {d}}{\mathrm {d}r^*} u_\infty ^{\omega _-} (\frac{\pi }{2} l) =1\) we obtain from [94, Chapter 6, Theorem 2.2] that the solution \(u_\infty ^{\omega _-} \) is given as
where \( A = |V^{-\frac{1}{4}}_{main }(r^*=l \frac{\pi }{2})|\) satisfies \(|A|\sim 1\) and \(\epsilon _{u_\infty }\) satisfies \(\epsilon _{u_\infty }\left( \frac{\pi }{2}l \right) = \epsilon _{u_\infty }'\left( \frac{\pi }{2}l \right) = 0\) as well as
Indeed, note that the condition \(u_\infty ^{\omega _-} (\frac{\pi }{2} l) =0\), \(\frac{\mathrm {d}}{\mathrm {d}r^*} u_\infty ^{\omega _-} (\frac{\pi }{2} l) =1\) and \(\epsilon _{u_\infty }\left( \frac{\pi }{2}l \right) = \epsilon _{u_\infty }'\left( \frac{\pi }{2}l \right) = 0\) force \(u_\infty ^{\omega _-}\) to be of the form (6.16). Now, since \(u_\infty ^{\omega _-} \) oscillates with period proportional to \(m_i\) in view of (6.16), there exists a compact subinterval \(K_i \subset K\) of the form \(K_i=[r_i^*- \frac{c}{m_i}, r_i^*+ \frac{c}{m_i}]\) for some \(c>0\) such that for all \(r^*\in K_i\), we have
\(\square \)
We are now in the position to define our initial data which will be supported in the compact set K as defined in Lemma 6.1. We assume without loss of generality that all \(m_i\) are sufficiently large such that we can apply Lemma 6.1. First, let \(\chi :{\mathbb {R}} \rightarrow [0,1]\) be a smooth bump function satisfying \(\chi =0\) for \(|x| \ge 1\) and \(\chi =1\) for \(|x|\le \frac{1}{2}\). Then, for \(i\in {\mathbb {N}}\) we set
Definition 6.1
Let \(m_i\), \(\ell _i\) be as in (6.2). For each \(i\in {\mathbb {N}}\), let \(K_i\subset K\) be the associated subinterval as specified in Lemma 6.1 and let \(\chi _i\) defined as in (6.19). Then, we define initial data on \(\Sigma _0\) as
where
Having set up the initial data we proceed to
Definition 6.2
Throughout the rest of Sects. 7, 8 and 9 we define \(\psi \in C^\infty (\mathcal {M}_{Kerr--AdS } \setminus \mathcal {CH})\) to be the unique smooth solution to (1.2) of the mixed Cauchy-boundary value problem with vanishing data on \(\mathcal {H}_L \cup \mathcal {B}_{\mathcal {H}}\), Dirichlet boundary conditions at infinity and the initial data \((\Psi _0,\Psi _1) \in C_c^\infty (\Sigma _0)\) posed on \(\Sigma _0\) specified in Definition 6.1. This is well-posed in view of Theorem 2.
Remark 6.1
By a domain of dependence argument one can also view \(\psi \) as arising from smooth and compactly supported initial data posed on a spacelike hypersurface connecting both components of \({\mathcal {I}}\) as depicted in Fig. 2.
Remark 6.2
We note that our initial data are only supported on the positive azimuthal frequencies \(m = m_i\). The same will apply to the arising solution \(\psi \).
In the following we define the quantity \(a_{\mathcal {H}}\) from our initial data. This \(a_{\mathcal {H}}\) will turn out (at least in a limiting sense) to be the (generalized) Fourier transform of the solution \(\psi \restriction _{{\mathcal {H}}}\) along the event horizon.
Definition 6.3
For the initial data \( \Psi _0,\Psi _1 \) as in Definition 6.1 we define
Now, we will show that \(a_{{\mathcal {H}}}\) has “peaks” at the interior scattering poles \(\omega = \omega _- m\) for infinitely many m. This is a consequence of our careful choice of initial data. We formulate this in
Lemma 6.2
For \(a_{{\mathcal {H}} }\) as in Definition 6.1 we have
where
for \((m_i,\ell _i)\) as in (6.2).
Proof
As \(\Psi _0 = 0\), we compute
To conclude we use that from (6.3) we have
\(\square \)
7 Exterior analysis: from the initial data to the event horizon
7.1 Cut-off in time and inhomogeneous equation
We will now consider the \(\psi \) as defined in Sect. 6. The goal of this section is to determine the Fourier transform of \(\psi \) along the event horizon. To do so we will first take a time cut-off of \(\psi \). To do so, we let
be a smooth and monotone cut-off function with \(\chi (x) =0\) for \(x \le 0\), \(\chi (x) = 1\) for \(x \ge 1\). Now, define \(\chi _\epsilon ^R(v):= \chi (v/\epsilon ) \chi (R - v) \) such that \(\chi ^R_\epsilon \rightarrow \mathbb {1}_{(0,\infty )}\) pointwise as \(\epsilon \rightarrow 0\) and \(R\rightarrow \infty \). Moreover,
as \(\epsilon \rightarrow 0 \) in the sense of distributions. On \(\mathcal {R}\cup \mathcal {H}_{R}\) we set
and note that \(\psi ^R_\epsilon \) is smooth and compactly supported in v and satisfies the inhomogeneous equation
Analogously, \(\psi ^R\) satisfies the inhomogeneous equation with
As in [63, Sect. 5.1] we have
In view of our coordinates, we also have that for each \(r>r_+\), the function \(\psi _\epsilon ^R(t,r,\theta ,\phi )\) is compactly supported in \({\mathbb {R}}_t\) with values in \(C^\infty ( {\mathbb {S}}^2)\). This allows us to apply Carter’s separation of variables to express \(\psi _\epsilon ^R\) as
where for each \(r > r_+\),
is a Schwartz function on \({\mathbb {R}}_\omega \) with values in \(C^\infty ({\mathbb {S}}^2)\). For the definition of Fréchet space-valued Schwartz functions refer to [111, p. 533] or to [109, Definition 3] by L. Schwartz himself. Note however that we will only use Fréchet space-valued Schwartz functions in a qualitative way and in view of this we will not go into more details. We further decompose \({\mathfrak {F}}[\psi ^R_\epsilon ](\omega ,r,\theta ,\phi )\) in (generalized) spheroidal harmonics
where
is smooth in \(\omega \) and \(r> r_+\) for fixed m and \(\ell \) and moreover
in view of Plancherel’s theorem for every \({\tilde{r}} > r_+\). Equivalently, we have
for each \(r>r_+\). Now, note that \(\psi ^R_\epsilon (v,r,\theta ,{\tilde{\phi }}_+)\) is smooth and compactly supported on \({\mathbb {R}}_v\) all the way to \(r=r_+\) and thus, takes values in the space \(C^\infty ( [r_+,\infty )_r \times {\mathbb {S}}^2_{\theta ,{\tilde{\phi }}_+})\). After a change of coordinates in (7.13) we obtain that
extends smoothly to \(r=r_+\) (\(r^*\rightarrow -\infty \)). Similarly to the above, we have
Now, we define
and
Since \(\hat{\psi _\epsilon ^R}\) defined in (7.11) is smooth, we have that \(u_\epsilon ^R\) as defined in (7.16) is a smooth function of \(\omega \) and \(r >r_+\). Moreover, we can also differentiate under the integral sign in (7.13) and since \(\psi _\epsilon ^R\) satisfies (7.4), we have that \(u_\epsilon ^R\) satisfies the inhomogeneous radial o.d.e.
pointwise for each \(\omega ,m,\ell \) on \(r^*\in (-\infty , \frac{\pi }{2} l]\), where we recall that \(' = \frac{\mathrm {d}}{\mathrm {d}r^*}\).
7.2 Estimates for the inhomogeneous radial o.d.e.
Lemma 7.1
The solution \(u_\epsilon ^R\) as defined in (7.16) satisfies the boundary conditions
and the inhomogeneity \(H_\epsilon ^R\) defined in (7.18) also satisfies
Proof
To see (7.19) note that
In view of the compact support of \(\psi _\epsilon ^R\) in t, it suffices to show that the pointwise limit
holds true. But this follows from the fact that \(\psi ^R_\epsilon \in CH^1_{AdS }\)—a consequence of the well-posedness in Theorem 2.
For (7.20), we use (7.14) to see that \(\partial _r ({\hat{\psi }}^R_\epsilon (\omega ,r,m,\ell ) e^{i(\omega -\omega _+m) r^*})\) extends smoothly to \(r=r_+\). Thus, using \(\partial _r= \frac{r^2+a^2}{\Delta } \partial _{r^*} \), we infer that
Analogously, we obtain (7.21) and (7.22). \(\square \)
Lemma 7.2
We represent \(u_\epsilon ^R\) as
Moreover,
where \(a_{\epsilon , \mathcal {H}}^R\) is defined as
Proof
First, since there do not exist pure mode solutions as shown in [63, Theorem 1.3], the Wronskian \({\mathfrak {W}}[u_{\mathcal {H}^+} ,u_\infty ] \) never vanishes. Thus, (7.26) is well-defined and in view of the boundary conditions of \(u_\epsilon ^R\) and \(H_\epsilon ^R\) as shown in Lemma 7.1, a direct computation shows (7.26). To show (7.27) we first note that that
for all \(r^*\). Indeed, (7.29) holds true as for each \(\omega ,m,\ell \) there exist constants \(a_s , a_c\) only depending on the \(\omega ,m,\ell \) such that
where \(u_s\) and \(u_c\) are solutions to the radial o.d.e. satisfying \(u_s \sim \frac{\sin ( ( \omega - \omega _+ m)r^*)}{\omega - \omega _+ m}\) and \(u_c \sim \cos ( ( \omega - \omega _+ m)r^*)\) as \(r^*\rightarrow -\infty \). For \(\omega \ne \omega _+ m\), \(u_s\) and \(u_c\) are defined as \(u_s= \frac{1}{2i} \frac{u_{{\mathcal {H}}^-} - u_{{\mathcal {H}}^+}}{\omega - \omega _+ m}\) and \(u_c = \frac{1}{2i} (u_{{\mathcal {H}}^-} + u_{{\mathcal {H}}^+})\), where \(u_{{\mathcal {H}}^+}\) and \(u_{{\mathcal {H}}^-}\) are defined in Definition 4.2. This definition uniquely extends to \(\omega = \omega _+ m\) with the asymptotics \(u_s \sim r^*\) and \(u_c \sim 1\) as \(r^*\rightarrow -\infty \). In particular, \({\mathfrak {W}} (u_s, u_c) = -1 \) for all \(\omega ,m,\ell \) which justifies (7.30).
We now obtain (7.27) since
because
and \(|r^*|^2 \Delta \) decays exponentially as \(r^*\rightarrow -\infty \). In (7.31) we also used that \(\mathrm {d}r = \frac{\Delta }{r^2 + a^2} \mathrm {d}r^*\). \(\square \)
Lemma 7.3
The inhomogeneous term \(H^R_\epsilon \) has the pointwise limit
In addition,
pointwise as \(\epsilon \rightarrow 0\).
Moreover, we have
and
pointwise as \(R\rightarrow \infty \). Recall that \(a_{\mathcal {H}}\) is defined in Definition 6.3.
Proof
We start with the decomposition \(F_\epsilon ^R =F_\epsilon + F_R\), where the support of \(F_\epsilon \) is in \(\{0\le t \le \epsilon \} \cap \{ r \ge 2r_+\}\) for \(\epsilon >0\) small enough and the support of \(F_R\) is in the set \(\{R-1 \le v \le R\} \).
We first consider \(F_\epsilon \) and write its (generalized) Fourier transform as
Recall that for all \(\epsilon >0\) sufficiently small, we have that \(v (t,r,\theta ,\phi ) = t\) on the support of \(F_{\epsilon }\). Thus,
where \(\chi \) is as in (7.1). We also used that for any \(f(t,r,\theta ,\phi )=f(t)\) only depending on t in Boyer–Lindquist coordinates, we have \(\Box _{g_{Kerr--AdS }} f = g^{tt} \partial _t^2 f\). Now, in view of (7.2) we obtain
as \(\epsilon \rightarrow 0\) in the sense of distributions (compactly supported distributions) on \({\mathbb {R}}_t\) with values in \(C^\infty ( (r_+, \infty ) \times {\mathbb {S}}^2) \). Hence,
pointwise. (Note that the above pointwise limit can also be shown via integration by parts in t without appealing to distribution theory, cf. (7.43) below.) Thus,
pointwise.
Now, to show that \(a_{\epsilon , \mathcal {H}}^R \rightarrow a_{{\mathcal {H}}}^R\) it suffices to show
pointwise as \(\epsilon \rightarrow 0\). Again, recall from Definition 6.1 that our initial data are compactly supported in K. Thus, by finite speed of propagation we have that \(r^*\mapsto F_\epsilon (r^*)\) is compactly supported (uniformly in the other coordinates) in an open neighborhood \(K^o \supset K\) of K for all \(0< \epsilon < \epsilon _0\) sufficiently small. Note that \(K^o \setminus K\) can be made arbitrarily small by choosing \(\epsilon _0>0\) sufficiently small. Further, we show below that \(\sup _{0< \epsilon< \epsilon _0} \sup _{r^*} |\widehat{\Sigma F_\epsilon } | < \infty \) so we can interchange the integral with the limit \(\epsilon \rightarrow 0\) in (7.42).
We will now justify \(\sup _{0< \epsilon< \epsilon _0} \sup _{r^*} |\widehat{\Sigma F_\epsilon } | < \infty \). Indeed, using that \(\partial _t(\chi (t/\epsilon ))\) is only supported in \([0,\epsilon ]\) and integrating by parts we have
Since \(\psi \) and all its derivatives are uniformly bounded and moreover are supported in \(K^o\) in the \(r^*\) coordinate we obtain \(\sup _{0< \epsilon< \epsilon _0} \sup _{r^*} |\widehat{\Sigma F_\epsilon } | < \infty \) for \(\epsilon _0>0\) sufficiently small.
Next, we will show that \(H^R \rightarrow H\) as \(R\rightarrow \infty \). As \(\psi \) and its derivatives decay pointwise at a logarithmic rate (see Theorem 2), we obtain
as \(R\rightarrow \infty \). Thus, we have
pointwise as \(R\rightarrow \infty \). This shows \(H^R \rightarrow H\) pointwise.
Finally, to show that \(a_{{\mathcal {H}}}^R \rightarrow a_{{\mathcal {H}}}\) as \(R\rightarrow \infty \), we estimate
as \(R\rightarrow \infty \). Here, we have used (7.29) again. Hence, \(a_{{\mathcal {H}}}^R \rightarrow a_{{\mathcal {H}}}\) as \(R\rightarrow \infty \) pointwise for each \(\omega , m,\ell \). \(\square \)
7.3 Representation formula for \(\psi \) at the event horizon
In what follows we will prove a representation formula of the truncated solution \(\psi ^R\) along the event horizon in terms of the initial data and an error term which vanishes in the limit \(R\rightarrow \infty \). More precisely, we will represent \(\psi ^R\) through \(a_{\mathcal {H}}^R\) which is defined in (7.34). Note that in the limit \(R\rightarrow \infty \), we have \(a_{{\mathcal {H}}}^R \rightarrow a_{{\mathcal {H}}}\) which in turn only depends on the initial data (see Definition 6.3).
Proposition 7.1
Let \(a_{{\mathcal {H}}}^R\) be as defined in (7.34). Then, on the event horizon \(\mathcal {H}_R\) we have
in \(L^2({\mathbb {R}}_v \times {\mathbb {S}}^2)\). Moreover,
pointwise and in \(L^2({\mathbb {R}}_\omega \times {\mathbb {Z}}_{m} \times {\mathbb {Z}}_{\ell \ge |m|})\).
Proof
We have
and
for \(r_+< r < r_+ + \eta \). Now, since \(\psi _\epsilon ^R\) is compactly supported in v uniformly as \(r_*\rightarrow -\infty \), we can interchange the limit \(r^*\rightarrow -\infty \) with the integral over v. Thus, sending \(r\rightarrow r_+\) (\(r^*\rightarrow -\infty \)) in (7.50) yields in view of Lemma 7.2 that
where \(a_{\epsilon , {\mathcal {H}}}^R\) is defined in (7.28). Now we will perform the limit \(\epsilon \rightarrow 0\) on both sides of (7.51) independently. First, from Lemma 7.3 we have that
as \(\epsilon \rightarrow 0\) pointwise. Moreover, \(\psi _\epsilon ^R\) has compact support on \({\mathbb {R}}_v\) uniformly as \(\epsilon \rightarrow 0\) and \(\psi _\epsilon ^R \rightarrow \psi ^R\) pointwise and in \(L^2({\mathbb {R}}_v \times {\mathbb {S}}^2)\) as \(\epsilon \rightarrow 0\). Thus, the right hand side of (7.51) converges pointwise and due to Plancherel also in \(L^2({\mathbb {R}}_\omega \times {\mathbb {Z}}_{m} \times {\mathbb {Z}}_{\ell \ge |m|})\) as \(\epsilon \rightarrow 0\). Hence, \(a_{\epsilon ,\mathcal {H}}^R \rightarrow a_{\mathcal {H}}^R \) also holds in \(L^2({\mathbb {R}}_\omega \times {\mathbb {Z}}_{m} \times {\mathbb {Z}}_{\ell \ge |m|})\) and we conclude
which holds pointwise and in \(L^2({\mathbb {R}}_\omega \times {\mathbb {Z}}_{m} \times {\mathbb {Z}}_{\ell \ge |m|})\). And by Plancherel we also have
in \(L^2({\mathbb {R}}_v \times {\mathbb {S}}^2)\). \(\square \)
8 Interior analysis: Estimates on radial o.d.e. and interior scattering poles
Having established the behavior of our solution \(\psi \) on the exterior \({\mathcal {R}}\), we will now consider the interior region \({\mathcal {B}}\) characterized by \(r\in (r_-, r_+)\). We will first consider the interior radial o.d.e. and prove a suitable representation formula on the interior. We also recall that in the interior region the tortoise coordinate is defined in (2.18) as
where \(r^*(\frac{r_+ + r_-}{2}) = 0\) and that \(\Delta <0\) in the whole interior region.
Remark 8.1
As our initial data are only supported on azimuthal modes m which are large and positive, we only need to consider m sufficiently large.
8.1 Radial o.d.e. on the interior: fixed frequency scattering
We recall the radial o.d.e. (2.43) and write it in the interior \( r_-< r <r_+\) as
where
and \(V_1\) is defined in (2.45). Note that \(L\ge 0\) follows from [63, Lemma 5.4]. Also note that \(V_1 = O(|\Delta |)\) uniformly for \(r^*\in (-\infty ,\infty )\). We will treat \(V_1\) as a perturbation and recall that the high-frequency part of the potential is given by
(Note that \(V_main = \frac{V_\sharp (\omega = \omega _- m)}{m^2}\).) Analogously to Definition 4.2, we define fundamental pairs of solutions to the radial o.d.e. corresponding to the event and Cauchy horizon, respectively.
Definition 8.1
We define solutions \({u_{\mathcal {H}_R}},{u_{\mathcal {H}_L}}\) to (8.2) in the interior through the condition
as \(r^*\rightarrow -\infty \). For \(\omega \ne \omega _+ m\), they form a fundamental pair. For \(\omega =\omega _+ m\) the solutions \({u_{\mathcal {H}_L}}\) and \({u_{\mathcal {H}_R}}\) are linearly dependent.
Analogously, we define
as \(r^*\rightarrow +\infty \). For \(\omega \ne \omega _- m\), they form a fundamental pair. For \(\omega =\omega _- m\) the solutions \({u_{\mathcal {CH}_L}}\) and \({u_{\mathcal {CH}_R}}\) are linearly dependent.
Remark 8.2
As in Remark 4.1 we can equivalently define \({u_{\mathcal {H}_R}}\) (and analogously \({u_{\mathcal {H}_L}}, {u_{\mathcal {CH}_L}}, {u_{\mathcal {CH}_R}}\)) as the unique solution to the Volterra integral equation
We moreover define reflection and transmission coefficients.
Definition 8.2
For \(\omega \ne \omega _- m\) define the transmission coefficient \({\mathfrak {T}} = {\mathfrak {T}} (\omega ,m,\ell )\) and the reflection coefficient \({\mathfrak {R}} = {\mathfrak {R}} (\omega ,m,\ell )\) as the unique coefficients such that
Equivalently, we have
Further, we define the renormalized transmission and reflection coefficient
which satisfy
where
Lemma 8.1
The transmission and reflection coefficients satisfy the Wronskian identity
for \(\omega \in {\mathbb {R}} \setminus \{ \omega _- m\} \).
Proof
We decompose
Since the potential of the o.d.e. (8.2) is real-valued we have that \({u_{\mathcal {H}_L}}= {\bar{{u_{\mathcal {H}_R}}}}\). Thus,
Now, using \({\mathfrak {W}} ({u_{\mathcal {H}_R}}, {u_{\mathcal {H}_L}}) = 2 i (\omega -\omega _+ m)\), (8.18) and (8.19) yields the result. \(\square \)
We begin by showing \(L^\infty \) estimates for the solutions defined in (8.1). To do so we will consider the cases \(|\omega - \omega _r m| \ge {\epsilon _{cut }} m\) for all \(r\in [r_-,r_+]\). Note that \({\epsilon _{cut }} >0 \) will be fixed in Lemma 8.3 only depending on the black hole parameters.
Lemma 8.2
Assume that \(|\omega - \omega _r m|\ge {\epsilon _{cut }} m\) for all \(r\in [r_-,r_+]\) and for some \({\epsilon _{cut }} >0\). Then
Proof
We first consider the case that \(\omega - \omega _r m \ge {\epsilon _{cut }} m\) for all \(r\in [r_-, r_+]\).
First, we also assume \(L^{\frac{1}{2}} \le |\omega |+|m|\). Then, in view of the assumptions, the principal part of the potential \(V_\sharp \) satisfies
and the error term satisfies \(|V_1|\lesssim |\Delta |\). Thus, the error control function
satisfies \( \mathcal {V}_{-\infty ,\infty }(F_{{u_{\mathcal {H}_R}}_1} ) \lesssim \frac{1}{m}.\)
In the case \(L^\frac{1}{2} \ge |\omega |+|m|\) we have
uniformly for \(r^*\in {\mathbb {R}}\). Making use of (8.25), we estimate the total variation of \(F_{{u_{\mathcal {H}_R}}_1}\) in this frequency range as
Here, we used the definition of \(r^*\) in (8.1) as well as \(|\Delta | \sim |r -r_-||r - r_+|\) uniformly for \(r\in (r_-, r_+)\).
Thus, in both of the above cases, \(L^{\frac{1}{2} }\le |\omega | + |m|\) and \(L^{\frac{1}{2}} \ge |\omega | + |m|\), the above allows us to apply standard estimates on WKB approximation such as [94, Chapter 6, Theorem 2.2] and deduce that
for some \(A_{u_{\mathcal {H}_R}}\) with \(|A_{u_{\mathcal {H}_R}}| =1\). Moreover,
This shows that
Similarly, we show that the above holds for \( \omega _r m -\omega \ge {\epsilon _{cut }} m\). This shows (8.20). The bounds (8.21) and (8.22) are shown completely analogously and their proofs are omitted. \(\square \)
Lemma 8.3
There exists a constant \(\epsilon _{cut }>0\) such that the following holds true. Assume that \(|\omega - \omega _r m|\le {\epsilon _{cut }} m\) for some \(r \in [r_-,r_+]\), then \( L\gtrsim m^2\).
Proof
Note that L is larger than the lowest eigenvalue of the operator \(P(a \omega ) + a^2 \omega ^2 - 2a\Xi \omega m\), where P is as in (2.41). Since
it suffices to show that the second term is bounded from below by \(O(m^2)\). To do so, let \(r\in [r_-,r_+]\) such that \(|\omega - \omega _r m | \le {\epsilon _{cut }} m\). Then, in view of
we conclude
for sufficiently small \({\epsilon _{cut }} >0\). \(\square \)
In the rest of the section we will make use of
Definition 8.3
For all frequencies \(\omega ,m,\ell \) we define
Lemma 8.4
Assume that \(|\omega - \omega _r m|\le {\epsilon _{cut }} m\) for some \(r\in [r_-,r_+]\) and assume that \(m \in {\mathbb {N}}\) is sufficiently large. Define
Then
and
Moreover,
Proof
From Lemma 8.3 we know that \(L \gtrsim m^2\). Now, in view of Remark 8.2 we write \({u_{\mathcal {H}_R}}\) as the solution to the Volterra equation
where the kernel is given by
and \({\bar{V}} := V_\sharp + V_1 + (\omega - \omega _+ m)^2\). For \(y \in (-\infty , R_1)\), a direct computation shows
and
Standard estimates on Volterra integral equations (apply [94, Chapter 6, Theorem 10.1] to the term \({u_{\mathcal {H}_R}}- e^{-i (\omega - \omega _+ m)r^*}\)) yield
Now, for the region \(r^*\in [R_1,R_2]\) we approximate \({u_{\mathcal {H}_R}}\) with a WKB approximation. To do so we remark that for \(r^*\in [R_1,R_2]\) we have
and the error term satisfies \(|V_1|\lesssim |\Delta |\). Thus, the error control function
is bounded as \(\mathcal {V}_{R_1,R_2}(F_{{u_{\mathcal {H}_R}}_2} ) \lesssim 1\). This allows us to apply [94, Chapter 6, Theorem 2.2] to deduce that
for
Moreover,
and analogously for \(\epsilon _{{u_{\mathcal {H}_R}}_B}\). Evaluating the Wronskians at \(r^*= R_1\), we obtain
in view of (8.51) and (8.52). This shows that
To show the bound on \(\partial _\omega {u_{\mathcal {H}_R}}\) we consider \({\tilde{{u_{\mathcal {H}_R}}}}\). Then, \( {\tilde{{u_{\mathcal {H}_R}}}}\) satisfies the Volterra equation
where \({\tilde{K}} (r^*,y) = e^{i (\omega -\omega _+ m)(r^*-y)} \frac{\sin ( (\omega -\omega _+ m)(r^*-y))}{\omega - \omega _+ m } \). Completely analogous to before, it follows that
Now \(\partial _\omega {\tilde{{u_{\mathcal {H}_R}}}}\) solves
As \(|\partial _\omega \lambda _{m\ell }(a \omega ) | \lesssim |m|\) from Lemma 3.2, we conclude that
such that
Again, by standard bounds on Volterra integral equations [94, Chapter 6, §10] and using (8.60), (8.61), we obtain
and
This shows (8.45). Completely analogously we obtain (8.46) and (8.47). Now, we write
and
Evaluating this at \(r^*= R_1\) yields
and
This shows (8.42). The proofs of (8.43) and (8.44) are completely analogous. \(\square \)
Lemma 8.5
The renormalized transmission and reflection coefficients satisfy
for m sufficiently large and all frequencies \(\omega ,\ell \). Moreover,
and
uniformly for \(r^*\in [R_1,R_2]\) and \(|\omega - \omega _- m |\le 1\), m sufficiently large.
Proof
The bounds (8.73) and (8.74) follow directly from Lemma 8.2 and Lemma 8.4. To show (8.75) we assume that \(|\omega - \omega _- m|\le 1\) and evaluate the Wronskian at \(r^*=0\):
Hence, (8.75) follows from (8.77). To show (8.77), we apply the fundamental theorem of calculus for \(R_1 \le r^*\le R_2\) and obtain
A direct computation shows
Thus, in view of Lemma 8.4 we obtain
From the proof of Lemma 8.4 we also have
such that
follows. Similarly, we obtain
leading to (8.75) and (8.77). Completely analogously we obtain (8.76) as well as (8.78). \(\square \)
With the above lemma in hand we conclude
Lemma 8.6
Let \(m\in {\mathbb {N}}\) be sufficiently large and let \(\epsilon >0\) be sufficiently small only depending on the black hole parameters. Then
Proof
We again only show the claim for \({\tilde{{u_{\mathcal {H}_R}}}}\) as the other cases are completely analogous. Assume that \(|\omega - \omega _+ m| \le \epsilon \) for some \(\epsilon >0\) sufficiently small. In view of Lemma 8.4 it suffices to consider the region \(r^*\in [R_1,0]\). Now, note that
Hence, using Lemma 8.4, Lemma 8.5,
as well as the lower bound \(|{\mathfrak {W}}[{u_{\mathcal {CH}_R}},{u_{\mathcal {CH}_L}}]| \gtrsim |m|\), we obtain
In view of \({\tilde{{u_{\mathcal {H}_R}}}} = e^{i(\omega - \omega _+ m)r^*} {u_{\mathcal {H}_R}}\) and the chain rule, the claim follows. \(\square \)
Lemma 8.7
The renormalized transmission and reflection coefficients satisfy
for all m sufficiently large.
Proof
Throughout the proof we assume that \(\omega = \omega _- m\). As \({u_{\mathcal {CH}_R}}= {u_{\mathcal {CH}_L}}\) for \(\omega = \omega _- m\), it suffices to bound the Wronskian \(|{\mathfrak {W}}[{u_{\mathcal {H}_R}},{u_{\mathcal {CH}_R}}]|\) from below. To do so, let \({\mathfrak {A}}\) and \({\mathfrak {B}}\) be the unique coefficients satisfying
From \({u_{\mathcal {CH}_R}}= \overline{{u_{\mathcal {CH}_R}}}\) it follows that
Now, for \(\epsilon >0\) to be chosen later, define
Now, \({u_{\mathcal {CH}_R}}-1\) is a solution to the Volterra equation
where \({\tilde{V}} = V_1+V_\sharp (\omega =\omega _- m)\). We have
Using bounds on solutions to Volterra integral equations as before (see [94, Chapter 6, §10]), we obtain that
for \(\epsilon >0\) sufficiently small enough. Thus,
Note that (8.39) also holds if we replace \(R_2\) by \(R_2^\epsilon \) for some fixed value of \(\epsilon >0\). Thus, we conclude that \( |{\mathfrak {B}} | = |{\mathfrak {A}}| \gtrsim 1\) which shows
This concludes the proof. \(\square \)
8.2 Scattering poles: representation formula for \(\psi \) on the interior
Proposition 8.1
Let \(\psi _0 \in C_c^\infty ({\mathcal {H}}_R)\) and assume that \(\psi _0\) is only supported on azimuthal modes \(m \ge m_0\) for some \(m_0\) sufficiently large. Let \({\tilde{\psi }} \in C^\infty ({\mathcal {B}})\) be the arising solution of (1.2) with vanishing data on \({\mathcal {H}}_L \cup {\mathcal {B}}_{\mathcal {H}}\) and \(\psi \restriction _{{\mathcal {H}}_R } = \psi _0\). Then,
where \({u_{\mathcal {H}_R}}\) is defined in (8.1) and
Moreover, in \({\mathcal {B}}\) we have
as well as
for \(r \le \frac{r_+ + r_-}{2}\).
Proof
Note that \(\mathcal {F}_{{\mathcal {H}}}[\psi _0] (\omega ,m,\ell )\) is rapidly decaying in \(\omega ,m,\ell \) and smooth in \(\omega \) which follows from the fact that \(\psi _0 \in C_c^\infty (\mathcal {H}_R)\). Moreover, using Lemma 8.2 and Lemma 8.4, we have that the right hand side of (8.101) is a smooth solution to (1.2) in the interior region \(\mathcal {B}\). Now, note that the right hand side of (8.101) converges to \(\psi _0\) as \(r\rightarrow r_+\) for fixed v. Similarly, after a change of coordinates to \((u,r,\theta ,{\tilde{\phi }}_+)\) we obtain \({\tilde{\psi }} \) converges to zero as \(r\rightarrow r_+\) and u fixed in view of the Riemann–Lebesgue lemma. Thus, (8.101) follows from the uniqueness of the characteristic problem.
In order to show (8.103) we first write the right-hand side of (8.101) as a principal value integral and then use the definition of the reflection and transmission coefficients from Definition 8.2 to replace \({u_{\mathcal {H}_R}}\) with
In order to use linearity of the principal value to write \({\tilde{\psi }}\) as a sum of two terms as in (8.103), it suffices to show that
converges locally uniformly. Note that the other term with \({\mathfrak {t}}(\omega ,m,\ell ) {u_{\mathcal {CH}_L}}\) replaced by \({\mathfrak {r}} (\omega ,m,\ell ) {u_{\mathcal {CH}_R}}\) is treated completely analogously.
In the following we will be brief because in the proof of Theorem 1, where we have to quantitatively control terms of the form (8.106), we will indeed show stronger estimates and provide more details. First, in view of the facts that \(\mathcal {F}_{{\mathcal {H}}}[\psi _0] (\omega ,m,\ell )\) is rapidly decaying in \(\omega , m,\ell \), that \(\Vert S_{m\ell }(a \omega , \cos \theta ) \Vert _{L^2( (-\pi ,\pi ); \cos \theta \mathrm {d}\theta )} = 1\), and that we have uniform (polynomial) bounds on \(|{\mathfrak {t}} (\omega ,m,\ell )|\) and \(\Vert {u_{\mathcal {CH}_L}}\Vert _{L^\infty ([R_1,+\infty ))} \) (see Lemma 8.2, Lemma 8.4, Lemma 8.5), it suffices to consider frequencies in the range \(|a \omega - a\omega _- m|< \frac{1}{m}\). Now, uniformly in \(|a \omega - a\omega _- m|< \frac{1}{m}\), we have polynomial bounds in \(\omega , m,\ell \) on \(\Vert \partial _\omega S_{m\ell }(a \omega , \cos \theta )\Vert _{L^2( (-\pi ,\pi ); \cos \theta \mathrm {d}\theta )}\), \(\Vert \partial _\omega {u_{\mathcal {CH}_L}}\Vert _{L^\infty (0,+\infty )}\) and \(|\partial _\omega {\mathfrak {t}}(\omega ,m,\ell )|\) as shown in Proposition 3.3, Lemma 8.6 and Lemma 8.5, respectively. Moreover, again using the bound on \(\Vert \partial _\omega S_{m\ell }(a \omega , \cos \theta )\Vert _{L^2}\) and the fact that \(\psi _0\) is compactly supported, we also obtain that \(\sup _{|a \omega -a \omega _- m|< \frac{1}{m}} |\partial _\omega {\mathcal {F}}_{{\mathcal {H}}}[\psi _0]|\) is rapidly decaying in \( m,\ell \). This shows that (8.106) converges locally uniformly for \(r^*\ge 0\), \(v \in {\mathbb {R}}\) with values in \(L^2({\mathbb {S}}^2)\). This shows that, after a change of coordinates, (8.103) and (8.104) hold true pointwise for \(r \le \frac{r_- + r_+}{2}\), \(v\in {\mathbb {R}}\) and in \(L^2({\mathbb {S}}^2)\). Finally, using standard elliptic estimates and the fundamental theorem of calculus, we also have polynomial bounds in \(\omega , m,\ell \) on \(\Vert S_{m\ell }(a \omega , \cos \theta )\Vert _{L^\infty (-\pi ,\pi )}\), as well as polynomial bounds in \(m,\ell \) on \( \sup _{|a \omega - a \omega _- m | < \frac{1}{m} }\Vert \partial _\omega S_{m\ell }(a \omega , \cos \theta )\Vert _{L^\infty (-\pi ,\pi )}\). Thus, both terms on the right-hand side of (8.103) are continuous and the equality (8.103) holds pointwise. We obtain the analogous result for (8.104). \(\square \)
Before we prove the blow-up result in Sect. 9, we need one more final ingredient which is a consequence of the domain of dependence.
Lemma 8.8
Let \({\tilde{\psi }} \in C^\infty ({\mathcal {B}})\) be a solution to (1.2) arising from vanishing data on \({\mathcal {H}}_L\cup {\mathcal {B}}_{{\mathcal {H}}}\) and compatible smooth data \(\psi _0 \in C^\infty ({\mathcal {H}}_R)\). Then, \({\tilde{\psi }}(u_0,r_0,\theta _0,\phi _{-}^*)\) only depends on \(\psi _0 \restriction _{\{v \le 2r^*(r_0) - u_0 + {\tilde{c}} \} }\), where \({\tilde{c}} = {\tilde{c}}({\mathfrak {p}},l) >0\) is a constant.
Proof
In coordinates \((v,r,\theta ,{\tilde{\phi }}_-)\) (or equivalently in coordinates \((v,r,\theta ,{\tilde{\phi }}_+)\)) define the function \({\tilde{v}}:= v + f(r) \) on \({\mathcal {B}}\) and choose f to satisfy
with initial condition \(f(r_+)=0\). This is well defined as \(\frac{1}{\sqrt{|\Delta |}}\) is integrable at the event and Cauchy horizons. Now f is non-negative and satisfies \(\sup _{r\in (r_-, r_+)} f\le {\tilde{c}}\) for a constant \({\tilde{c}} >0\) only depending on the black hole parameters. A computation also shows that, uniformly on \({\mathcal {B}}\), we have
This means that \(\nabla {\tilde{v}}\) is a future-directed timelike vector field. Thus, the level sets of the function \({\tilde{v}}\) are spacelike.
Now, consider
Since \(\nabla {\tilde{v}}\) is future directed and timelike, it follows from the domain of dependence that (8.109) only depends on
since \({\tilde{v}}( v(r_0,u_0),r_0) = 2 r^*(r_0) - u_0 + f(r_0) \) . This concludes the proof. \(\square \)
We will now finally turn to the proof of Theorem 1.
9 Proof of Theorem 1: Small divisors lead to blow-up
We recall that the cosmological constant \(\Lambda <0\) (and thus \(l = \sqrt{-3/\Lambda }>0\)) was arbitrary but fixed as in (2.6).
Theorem 1
Conjecture 5 holds true.
More precisely, let the dimensionless black hole parameters \(({\mathfrak {m}}, {\mathfrak {a}}) \in {\mathscr {P}}_Blow-up \) be arbitrary but fixed as in (6.1), where \({\mathscr {P}}_Blow-up \) is defined in Definition 5.3.
Let \(\psi \in C^\infty (\mathcal {M}_{\mathrm {KAdS}}\setminus \mathcal {CH} )\) be the unique solution to (1.2) arising from the smooth and compactly supported initial data specified in Definition 6.2 on Kerr–AdS with parameters \((M,a) =( {\mathfrak {m}}/ \sqrt{-\Lambda }, {\mathfrak {a}} /\sqrt{-\Lambda })\).
Then, for each \(u_0 \in {\mathbb {R}}\), the solution \(\psi \) blows up at the Cauchy horizon \(\mathcal {CH}_R\) as
Moreover, \({\mathscr {P}}_{Blow-up } \subset {\mathscr {P}}\) has the following properties:
-
\({\mathscr {P}}_{Blow-up }\) is Baire-generic,
-
\({\mathscr {P}}_{Blow-up }\) is Lebesgue-exceptional (\({\mathscr {P}}_{Blow-up }\) has zero Lebesgue measure),
-
\({\mathscr {P}}_{Blow-up }\) has full packing dimension \(\dim _P ({\mathscr {P}}_{Blow-up }) =2\).
From our proof we will also obtain the following corollary which gives a genericity condition for compactly supported initial data which lead to blow-up as in (9.1).
Corollary 1
Let the dimensionless black hole parameters \(({\mathfrak {m}}, {\mathfrak {a}}) \in {\mathscr {P}}_Blow-up \) be arbitrary but fixed as in (6.1). Let \({\tilde{\Psi }}_0, {\tilde{\Psi }}_1 \in C_c^\infty (\Sigma _0)\) be arbitrary initial data satisfying the following genericity condition
where \(m_i,\ell _i\) are the subsequences in (6.2) associated to the non-Diophantine condition (i.e. the choice of \({\mathfrak {p}} \in {\mathscr {P}}_Blow-up \)) and
Then, the arising solution \({\tilde{\psi }}\in C^\infty ({\mathcal {M}}_{KAdS }\setminus \mathcal {CH})\) to (1.2) with \(({\tilde{\psi }}\restriction _{\Sigma _0}, n_{\Sigma _0} {\tilde{\psi }}\restriction _{\Sigma _0}) = ({\tilde{\Psi }}_0,{\tilde{\Psi }}_1)\), vanishing incoming data on \({\mathcal {H}}_L\cup {\mathcal {B}}_{\mathcal {H}}\) and with Dirichlet boundary conditions imposed at infinity, blows up at the Cauchy horizon \(\mathcal {CH}_R\) for every \(u_0 \in {\mathbb {R}}\) as
Corollary 1 will be an immediate consequence of the proof of Theorem 1 and will be given thereafter. Also note that the initial data which we construct in Sect. 6 do indeed satisfy the genericity condition of (9.2) as shown in Lemma 6.2.
Proof of Theorem 3.1
The stated properties of \({\mathscr {P}}_{Blow-up }\) on the Baire-genericity, the zero Lebesgue measure and the full packing dimension follow from Proposition 5.2, Proposition 5.3 and Proposition 5.4, respectively.
We now turn to the proof of (9.1). First, we write \(\psi _0 := \psi \restriction _{{\mathcal {H}}_R}\) and note that
in view of Theorem 2 and Proposition 2.1. Now, let \(u_0 \in {\mathbb {R}}\) be fixed and let \(r^*_n \rightarrow \infty \) be a sequence with \(r_n^*>r_0^*\) for sufficiently large \(r_0^*\). We will first prove
Proposition 9.1
For all \(r_n^*\ge r_0\), we have that
where \(|Err (D)| \lesssim _{u_0} D\) uniformly for all \(r_n^*\ge r_0^*\) and \(R_n:= 2r_n^*- u_0 + {\tilde{c}}\). Also recall the definition of \(a_{{\mathcal {H}}}^R\) in (7.34). Here we also use the notation \({\tilde{{u_{\mathcal {CH}_L}}}}^{\omega _-}(r_n^*,m,\ell ) := {\tilde{{u_{\mathcal {CH}_L}}}}(r_n^*, \omega = \omega _- m,m,\ell )\).
Once we have established (9.6), the blow-up result of (9.1) will be proved. We now turn to the proof of Proposition 9.1.
Proof of Proposition 9.1
In view of the domain of dependence property as stated in Lemma 8.8, we have that \(\psi (u_0, r_n^*, \theta , \phi _-^*)\) only depends on \(\psi _0 \restriction _{\{ v \le 2 r_n^*- u_0 + {\tilde{c}}\} }\). Consider now
where \( \psi _0^{R_n}(v,\theta ,{\tilde{\phi }}_+) = \psi _0(v,\theta ,{\tilde{\phi }}_+) \chi (R_n-v)\) is defined in (7.3) with \(R_n= 2r_n^*- u_0 + {\tilde{c}}\). Now, \(\psi (u_0,r_n^*,\theta , \phi _-^*) \) only depends on \(\psi _0^n\).
Using the representation formula (8.104) in Proposition 8.1 we write
We consider both terms individually and start with the term I. Moreover, we split the term I into \(| a\omega -a\omega _- m|< \frac{1}{m}\) and \(|a\omega - a\omega _- m| \ge \frac{1}{m}\) and call the terms \(I_{res }\) and \(I_non-res \), respectively, such that \(I= I_{res } + I_non-res \). First, we claim that the spherical \(L^2\)-norm of the term
is controlled by D uniformly as \(r^*_n\rightarrow \infty \).
Lemma 9.1
We have \( \Vert I_non-res \Vert ^2_{L^2({\mathbb {S}}^2)} (r_n^*,u_0) \lesssim D\) for all \(r_n^*\ge r_0^*\).
Proof
Using \(|\frac{1}{\omega - \omega _- m}| \le am\) in the integrand of (9.9) and \(\int _0^{2\pi } e^{i(m-{\tilde{m}} ) \phi } \mathrm {d}\phi =2\pi \delta _{m{\tilde{m}}}\) we estimate
From the Cauchy–Schwarz inequality as well as Lemma 8.2, Lemma 8.4 and Lemma 8.5, we obtain
where we have used that \(\Lambda _{m\ell }\ge \Xi ^2 \ell (\ell +1)\) such that \(\sum _{{\tilde{\ell }} \ge |m|} \frac{1}{1+ \Lambda _{m{\tilde{\ell }}} } \lesssim \frac{1}{m}\). \(\square \)
Now, we turn to the term \(I_res \):
and write \({u_{\mathcal {CH}_L}}= e^{-i{ (\omega - \omega _- m)}r^*} {\tilde{{u_{\mathcal {CH}_L}}}} \). Then,
for some \({\tilde{\xi }} = {\tilde{\xi }} ( \omega ) \in (\omega _- m - \frac{1}{am} , \omega _- m + \frac{1}{am})\) in view of the mean value theorem. Again, we consider both terms \(I_{res }^a\) and \(I_{res }^b\) individually and begin with term \(I_res ^b\).
Lemma 9.2
We have \( \Vert I_res ^b\Vert ^2_{L^2({\mathbb {S}}^2)} (r_n^*,u_0) \lesssim D\) for all \(r_n^*\ge r_0^*\).
Proof
We decompose the term \(I_res ^b = I_res ^{b1} + I_res ^{b2}\) further into the two summands appearing in the \(\omega \)-integral. We will estimate each of them individually. We begin with \(I_res ^{b1}\) and estimate
Here we have used Lemma 8.4, Lemma 8.5, Lemma 8.6 and the fact that
for all \(|\xi - \omega _- m|< \frac{1}{m}\) which in turn is a consequence of Lemma 3.2.
We now control the second term \(I_res ^{b2}\) and estimate
where we have used the mean value property for Fréchet derivatives, Lemma 8.4, Lemma 8.5 and Proposition 3.3. \(\square \)
Now, we proceed with \(I_res ^a\), i.e. the first term in (9.13). We begin by recalling the definition of \(\mathcal {F}_{{\mathcal {H}}}[\psi _0^n]\):
Similar to Lemma 9.2 we will replace the \(S_{m\ell }(a\omega )\) appearing in (9.17) with \(S_{m\ell }(a \omega _- m)\). In order to do so, we introduce
andFootnote 5
Lemma 9.3
Proof
Similarly to the proof of Lemma 9.2, we write
for frequencies \(|\omega - \omega _- m|\le \frac{1}{am}\) in (9.17). Then, using a Cauchy–Schwarz inequality on the sphere, \(\sup _{|\xi - a \omega _- m |\le \frac{ 1}{m}} |\partial _\xi \Lambda _{m\ell }(\xi ) |\lesssim |m|\), \(\sup _{|\xi - a \omega _- m |\le \frac{ 1}{m}} |\partial _\xi P(\xi ) |\lesssim |m|\) (see (3.42)), Proposition 3.3 as well as elliptic estimates, we control the error term as
Now, from Lemma 8.4 and Lemma 8.5 we conclude after an application of the Cauchy–Schwarz inequality and Plancherel’s theorem that
\(\square \)
Note that the function \(\omega \mapsto {\mathfrak {F}} [{\psi _0^n}_{m\ell }] (\omega )\) is a \(L^2({\mathbb {Z}}_m \times {\mathbb {Z}}_{\ell \ge |m|})\)-valued Schwartz function since \(v \mapsto {\psi _0^n}_{m\ell }(v)\) is a \(L^2({\mathbb {Z}}_m \times {\mathbb {Z}}_{\ell \ge |m|})\)-valued Schwartz function. We also define
Lemma 9.4
We have \( \Vert {\hat{I}}_res ^a - {\tilde{I}}_res ^a \Vert ^2_{L^2({\mathbb {S}}^2)} \lesssim D\) for all \(r^*_n\ge r_0^*\).
Proof
We use that the spheroidal harmonics \(S_{m\ell }(a m \omega _-, \cos \theta ) e^{im \phi _-^*}\) form an orthonormal basis of \(L^2({\mathbb {S}}^2)\) to estimate
where we used the Cauchy–Schwarz inequality in the last step. \(\square \)
Now, we turn to \({\tilde{I}}_res ^a \) as defined in (9.25) and first only consider the \(\omega \)-integral
We have
where \(sgn \) has to be understood as a Schwartz distribution. We have used that \({\mathfrak {F}} \left[ p.v. \left( \frac{1}{\omega } \right) \right] = i \pi sgn \) in the sense of distributions. Now, since \(\psi _0\) is smooth, the function \(v \mapsto {\psi _0^n}_{m\ell } \) is a Schwartz function with values in the space of superpolynomially decaying sequences in \(m,\ell \) as a subspace of \(L^2({\mathbb {Z}}_{m} \times {\mathbb {Z}}_{\ell \ge |m|})\). Particularly, this implies that
so we can project \({\tilde{I}}_res ^a\) on \(e^{i m \phi _-^*} S_{m\ell }(am \omega _-,\cos \theta )\). Indeed, this yields
To summarize, we have decomposed I as
where \({\tilde{I}}_{res }^a\) satisfies (9.30) and
Completely analogous to the analysis before, we also decompose II as
where
and \(\tilde{II}_{res }^a \) satisfies
Hence, using
we obtain
Now, by construction of \(\psi _0^n\), we have that \({\psi _0^n}_{m\ell }(v) =0\) for \(v \ge 2 r_n^*-u_0 +{\tilde{c}}\), where \({\tilde{c}}\) is a constant only depending on the black hole parameters. In particular, this implies that
which allows us to—up to a term bounded by \(D^\frac{1}{2}\)—replace the integral in (9.37) with an integral on the whole real line \(v\in {\mathbb {R}}\). Finally, from Proposition 7.1 (more precisely (7.48)), we obtain
where \(|Err (D)| \lesssim _{u_0} D\) uniformly for all \(r_n^*\ge r_0^*\). We have established formula (9.6) which concludes the proof of Proposition 9.1.\(\square \)
We will now finish off the proof of Theorem 1. From Lemma 7.3 we have that \(a_{{\mathcal {H}}}^{R_n} \rightarrow a_{{\mathcal {H}}}\) pointwise for fixed \(\omega , m, \ell \) as \(R_n \rightarrow \infty \). We also have the pointwise limit
Hence, applying Fatou’s lemma to (9.39) yields
where \(C_{u_0} >0\) is a constant depending on \(u_0\). Since
for all m sufficiently large as shown in Lemma 8.7, we obtain
Finally, from Lemma 6.2 we have that
for infinitely many \(m_i\) such that we conclude
Since the sequence \(r_n^*\rightarrow \infty \) was arbitrary we obtain (9.1). This concludes the proof of Theorem 1. \(\square \)
Proof of Corollary 1
Let \({\tilde{\Psi }}_0, {\tilde{\Psi }}_1\) be initial data as in the statement of Corollary 1 and let \({\tilde{\psi }}\) the arising solution to (1.2). In view of the fact that different azimuthal modes m are \(L^2({\mathbb {S}}^2)\)-orthogonal in evolution, it suffices to show the blow-up for the modes \(m=m_i\), where \(m_i\) is the sequence in (6.2) associated to the non-Diophantine condition (6.3). Now, the proof of Theorem 1 also carries over for the initial data \({\tilde{\Psi }}_0, {\tilde{\Psi }}_1\) and in particularly the analog of (9.43) holds true. Recalling the definition of \(a_{\mathcal {H}}\) in Definition 6.3, the analog of (9.43) for \({\tilde{\psi }}\) is
in view of the non-Diophantine condition \(|{\mathfrak {W}}[u_{\mathcal {H}^+} ,u_\infty ](\omega =\omega _- m_i,m_i,\ell _i)|< e^{- \sqrt{m_i}}\) as in (6.3). Thus, if the data \({\tilde{\Psi }}_0, {\tilde{\Psi }}_1\) satisfy the genericity condition (9.2), then \(\lim _{r\rightarrow r_-} \Vert {\tilde{\psi }} (u_0,r)\Vert _{L^2({\mathbb {S}}^2)}^2 = + \infty \) for every \(u_0 \in {\mathbb {R}}\). \(\square \)
Notes
By a domain of dependence argument one can then produce a solution arising from smooth data on \(\Sigma _0\).
Note that \(\nabla v\) is not timelike everywhere on \(\mathcal {R}\), in particular \(g(\nabla v , \nabla v) = a^2 \sin ^2\theta \Sigma ^{-1}\Delta _\theta ^{-1}\) for \(r\in [r_+,r_+ + \eta ]\).
Here and in the following, \(\xi \) is not to be mixed up with \(\xi \) appearing in (3.1).
Recall that \({\mathfrak {F}}\) denotes the standard Fourier transform \({\mathfrak {F}}[f](\xi ) := \frac{1}{\sqrt{2\pi }} \int _{{\mathbb {R}}} f(x) e^{i \xi x} \mathrm {d}x\).
References
Arnold, V.I.: Small denominators and problems of stability of motion in classical and celestial mechanics. Uspehi Mat. Nauk 18.6 (114), 91–192 (1963)
Baire, R.: Sur les fonctions de variables réelles. Annali di Mat. (3) 3, 1–123 (1899)
Baldi, P., Berti, M., Haus, E., Montalto, R.: Time quasi-periodic gravity water waves in finite depth. Invent. Math. 214(2), 739–911 (2018)
Benomio, G.: The Stable Trapping Phenomenon for Black Strings and Black Rings and its Obstructions on the Decay of Linear Waves. arXiv:1809.07795, accepted at Anal. PDE (2020)
Berti, M.: KAM theory for partial differential equations. Anal. Theory Appl. 35(3), 235–267 (2019)
Berti, M., Bolle, P.: Sobolev quasi-periodic solutions of multidimensional wave equations with a multiplicative potential. Nonlinearity 25(9), 2579–2613 (2012)
Berti, M., Bolle, P.: Quasi-Periodic Solutions of Nonlinear Wave Equations on the d- Dimensional Torus. EMS Monographs in Mathematics. European Mathematical Society (EMS), Zürich (2020)
Besicovitch, A.S.: Sets of fractional dimensions (IV): on rational approximation to real numbers. J. Lond. Math. Soc. 9(2), 126–131 (1934)
Bhattacharjee, S., Kumar, S., Sarkar, S.: Mass inflation and strong cosmic censorship in a nonextreme BTZ black hole. Phys. Rev. D 102(4), 044030, 11 (2020)
Bhattacharjee, S., Sarkar, S., Virmani, A.: Internal structure of charged AdS black holes. Phys. Rev. D 93(12), 124029 (2016)
Bizon, P., Rostworowski, A.: Weakly turbulent instability of anti-de sitter spacetime. Phys. Rev. Lett. 107, 031102 (2011)
Breitenlohner, P., Freedman, D.Z.: Stability in gauged extended supergravity. Ann. Phys. 144(2), 249–281 (1982)
Carter, B.: Hamilton-Jacobi and Schrödinger separable solutions of Einstein’s equations. Commun. Math. Phys. 10, 280–310 (1968)
Christodoulou, D.: On the global initial value problem and the issue of singularities. Class. Quantum Gravity 16(12A), A23–A35 (1999)
Christodoulou, D.: The instability of naked singularities in the gravitational collapse of a scalar field. Ann. Math. (2) 149.1, 183–217 (1999)
Christodoulou, D.: The formation of black holes in general relativity. EMS Monographs in Mathematics. European Mathematical Society (EMS), Zürich (2009)
Christodoulou, D., Klainerman, S.: The Global Nonlinear Stability of the Minkowski Space. Vol. 41 of Princeton Mathematical Series. Princeton University Press (1993)
Costa, J. L., Franzen, A. T.: Bounded energy waves on the black hole interior of Reissner- Nordström-de Sitter. Ann. Henri Poincaré 18.10 (2017)
Costa, J. L., Girão, P. M., Natário, J., Silva, J. D.: On the global uniqueness for the Einstein-Maxwell-scalar field system with a cosmological constant. Part 2. Structure of the solutions and stability of the Cauchy horizon. Commun. Math. Phys. 339(3), 903–947 (2015)
Costa, J. L., Girão, P. M., Natário, J., Silva, J. D.: On the global uniqueness for the Einstein–Maxwell–Scalar field system with a cosmological constant: Part 3. Mass inflation and extendibility of the solutions. Ann. PDE 3(1), Art. 8, 55 (2017)
Dafermos, M.: Stability and instability of the Cauchy horizon for the spherically symmetric Einstein-Maxwell-scalar field equations. Ann. Math. (2) 158(3), 875–928 (2003)
Dafermos, M.: Black holes without spacelike singularities. Commun. Math. Phys. 332(2), 729–757 (2014)
Dafermos, M., Holzegel, G.: Dynamic instability of solitons in 4 + 1-dimensional gravity with negative cosmological constant. https://www.dpmms.cam.ac.uk/~md384/ADSinstability.pdf (2006)
Dafermos, M., Luk, J.: The interior of dynamical vacuum black holes I: The C0-stability of the Kerr Cauchy horizon (2017). arXiv:1710.01722
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., Shlapentokh-Rothman, Y.: Time-translation invariance of scattering maps and blue-shift instabilities on Kerr black hole spacetimes. Commun. Math. Phys. 350(3), 985–1016 (2017)
Dafermos, M., Shlapentokh-Rothman, Y.: Rough initial data and the strength of the blue-shift instability on cosmological black holes with \(\Lambda > 0\). Class. Quantum Grav. 35(19), 195010 (2018)
Dias, O. J. C., Eperon, F. C., Reall, H. S., Santos, J. E.: Strong cosmic censorship in de Sitter space. Phys. Rev. D 97.10, 104060, 13 (2018)
Dias, O. J. C., Reall, H. S., Santos, J. E.: Strong cosmic censorship: taking the rough with the smooth. J. High Energy Phys. 10 (2018)
Dias, O. J. C., Reall, H. S., Santos, J. E.: Strong cosmic censorship for charged de Sitter black holes with a charged scalar field. Class. Quantum Gravity 36.4, 045005, 24 (2019)
Dias, O. J., Reall, H. S., Santos, J. E.: The BTZ black hole violates strong cosmic censorship. J. High Energy Phys. 12 (2019)
NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.1.1 of 2021-03-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, (eds)
Dold, D.: Unstable mode solutions to the Klein-Gordon equation in Kerr-anti-de Sitter spacetimes. Commun. Math. Phys. 350(2), 639–697 (2017)
Ellis, G.F.R., MacCallum, M.A.H.: A class of homogeneous cosmological models. Commun. Math. Phys. 12, 108–141 (1969)
Erdogan, M. B., Shakan, G.: Fractal solutions of dispersive partial differential equations on the torus. Selecta Math. (N.S.) 25.1, Paper No. 11, 26 (2019)
Falconer, K.: Fractal geometry. Third. Mathematical foundations and applications. John Wiley & Sons, Ltd., Chichester, pp. xxx+368 (2014)
Feckan, M.: Periodic solutions of certain abstract wave equations. Proc. Amer. Math. Soc. 123(2), 465–470 (1995)
Fedoryuk, M. V.: Asymptotic analysis. Linear ordinary differential equations, Translated from the Russian by Andrew Rodick. Springer-Verlag, Berlin, pp. viii+363 (1993)
Fournodavlos, G., Sbierski, J.: Generic Blow-Up Results for the Wave Equation in the Interior of a Schwarzschild Black Hole. Arch. Ration. Mech. Anal. 235(2), 927–971 (2020)
Fournodavlos, G., Smulevici, J.: On the initial boundary value problem for the Einstein vacuum equations in the maximal gauge (2019). arXiv:1912.07338
Franzen, A.T.: Boundedness of massless scalar waves on Reissner-Nordström interior backgrounds. Comm. Math. Phys. 343(2), 601–650 (2016)
Franzen, A.T.: Boundedness of Massless Scalar Waves on Kerr Interior Backgrounds. Ann. Henri Poincaré 21(4), 1045–1111 (2020)
Friedrich, H.: On the existence of n-geodesically complete or future complete solutions of Einstein’s field equations with smooth asymptotic structure. Commun. Math. Phys 107.4 (1986)
Friedrich, H.: Einstein equations and conformal structure: Existence of anti-de Sitter-type space-times. J. Geom. Phys. 17(2), 125–184 (1995)
Gajic, D.: Linear waves in the interior of extremal black holes I. Comm. Math. Phys. 353(2), 717–770 (2017)
Gajic, D.: Linear waves in the interior of extremal black holes II. Ann. Henri Poincaré 18(12), 4005–4081 (2017)
Gajic, D., Warnick, C.: Quasinormal modes in extremal Reissner-Nordström spacetimes (2021). arXiv:1910.08479
Gannot, O.: Existence of quasinormal modes for Kerr-AdS black holes. Ann. Henri Poincaré 18(8), 2757–2788 (2017)
Gannot, O., Wrochna, M.: Propagation of singularities on AdS spacetimes for general boundary conditions and the holographic Hadamard condition. J. Inst. Math. Jussieu, pp. 1-61 (2020)
Gramchev, T., Yoshino, M.: WKB analysis to global solvability and hypoellipticity. Publ. Res. Inst. Math. Sci. 31(3), 443–464 (1995)
Harman, G.: Metric number theory. Vol. 18. London Mathematical Society Monographs. New Series. The Clarendon Press, Oxford University Press, New York, pp. xviii+297 (1998)
Hawking, S. W., Reall, H. S.: Charged and rotating AdS black holes and their CFT duals. Phys. Rev. D (3) 61.2, pp. 024014, 10 (2000)
Hewitt, C.G., Wainwright, J.: A dynamical systems approach to Bianchi cosmologies: orthogonal models of class B. Classical Quantum Gravity 10(1), 99–124 (1993)
Hintz, P.: Boundedness and decay of scalar waves at the Cauchy horizon of the Kerr spacetime. Comment. Math. Helv. 92(4), 801–837 (2017)
Hintz, P.: A sharp version of Price’s law for wave decay on asymptotically flat spacetimes. arXiv preprint arXiv:2004.01664 (2020)
Hintz, P., Vasy, A.: Analysis of linear waves near the Cauchy horizon of cosmological black holes. J. Math. Phys. 58.8, pp. 081509, 45 (2017)
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)
Hollands, S., Klein, C., Zahn, J.: Quantum stress tensor at the Cauchy horizon of the Reissner-Nordström-de Sitter spacetime. Phys. Rev. D 102.8, pp. 085004, 10 (2020)
Hollands, S., Wald, R.M., Zahn, J.: Quantum instability of the Cauchy horizon in Reissner-Nordström-de Sitter spacetime. Classical and Quantum Gravity 37(11), 115009 (2020)
Holzegel, G.: On the massive wave equation on slowly rotating Kerr-AdS spacetimes. Comm. Math. Phys. 294(1), 169–197 (2010)
Holzegel, G.: Well-posedness for the massive wave equation on asymptotically anti-de Sitter spacetimes. J. Hyperbolic Differ. Equ. 9(2), 239–261 (2012)
Holzegel, G., Luk, J., Smulevici, J., Warnick, C.: Asymptotic Properties of Linear Field Equations in Anti-de Sitter Space. Comm. Math. Phys. 374(2), 1125–1178 (2020)
Holzegel, G., Smulevici, J.: Decay properties of Klein-Gordon fields on Kerr-AdS spacetimes. Comm. Pure Appl. Math. 66(11), 1751–1802 (2013)
Holzegel, G., Smulevici, J.: Stability of Schwarzschild-AdS for the spherically symmetric Einstein-Klein-Gordon system. Comm. Math. Phys. 317(1), 205–251 (2013)
Holzegel, G., Smulevici, J.: Quasimodes and a lower bound on the uniform energy decay rate for Kerr-AdS spacetimes. Anal. PDE 7(5), 1057–1090 (2014)
Holzegel, G., Warnick, C.M.: Boundedness and growth for the massive wave equation on asymptotically anti-de Sitter black holes. J. Funct. Anal. 266(4), 2436–2485 (2014)
Jarník, V.: Über die simultanen diophantischen Approximationen. Math. Z. 33(1), 505–543 (1931)
Kapitanski, L., Rodnianski, I.: Does a quantum particle know the time? Emerging applications of number theory (Minneapolis, MN, Vol. 109. IMA Vol. Math. Appl. Springer, New York 1999, 355–371 (1996)
Kehle, C.: Diophantine Approximation as Cosmic Censor for AdS Black Holes. PhD thesis. University of Cambridge (2020)
Kehle, C.: Uniform Boundedness and Continuity at the Cauchy Horizon for Linear Waves on Reissner-Nordström-AdS Black Holes. Commun. Math. Phys. 376(1), 145–200 (2020)
Kehle, C., de Moortel, M. V.: Strong Cosmic Censorship in the presence of matter: the decisive effect of horizon oscillations on the black hole interior geometry (2021). arXiv:2105.04604
Kehle, C., Shlapentokh-Rothman, Y.: A Scattering Theory for Linear Waves on the Interior of Reissner-Nordström Black Holes. Ann. Henri Poincaré 20(5), 1583–1650 (2019)
Khintchine, A.: Zur metrischen Theorie der diophantischen Approximationen. Math. Z. 24(1), 706–714 (1926)
Kolmogorov, A. N.: On conservation of conditionally periodic motions for a small change in Hamilton’s function. Dokl. Akad. Nauk SSSR (N.S.) 98, pp. 527-530 (1954)
Kristensen, S.: Diophantine approximation and the solubility of the Schrödinger equation. Phys. Lett. A 314(1–2), 15–18 (2003)
Landau, L. D., Lifshitz, E. M.: Quantum mechanics: non-relativistic theory. Course of Theoretical Physics, Vol. 3. Addison-Wesley Series in Advanced Physics. Translated from Russian. Pergamon Press Ltd., pp. xii+515 (1958)
Lapidus, M. L., van Frankenhuijsen, M.: eds. Fractal geometry and applications: a jubilee of Benoit Mandelbrot. Part 1. Vol. 72. Proceedings of Symposia in Pure Mathematics. Analysis, number theory, and dynamical systems. American Mathematical Society, Providence, RI, pp. xii+517 (2004)
Luk, J., de Moortel, M. V.: Nonlinear interaction of three impulsive gravitational waves I: main result and the geometric estimates (2021). arXiv:2101.08353
Luk, J., Oh, S.-J.: Proof of linear instability of the Reissner-Nordström Cauchy horizon under scalar perturbations. Duke Math. J. 166(3), 437–493 (2017)
Luk, J., Oh, S.-J.: Strong cosmic censorship in spherical symmetry for two-ended asymptotically flat initial data I. The interior of the black hole region. Ann. of Math. (2) 190.1, pp. 1-111 (2019)
Luk, J., Oh, S.-J.: Strong cosmic censorship in spherical symmetry for two-ended asymptotically flat initial data II: the exterior of the black hole region. Ann. PDE 5.1, Paper No. 6, 194 (2019)
Luk, J., Rodnianski, I.: Local propagation of impulsive gravitational waves. Comm. Pure Appl. Math. 68(4), 511–624 (2015)
Luk, J., Sbierski, J.: Instability results for the wave equation in the interior of Kerr black holes. J. Funct. Anal. 271(7), 1948–1995 (2016)
Moschidis, G.: The Einstein-null dust system in spherical symmetry with an inner mirror: structure of the maximal development and Cauchy stability (2017). arXiv:1704.08685
Moschidis, G.: A proof of the instability of AdS for the Einstein-massless Vlasov system (2018). arXiv:1812.04268
Moschidis, G.: The characteristic initial-boundary value problem for the Einstein-massless Vlasov system in spherical symmetry (2018). arXiv:1812.04274
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)
Moser., J.: On invariant curves of area-preserving mappings of an annulus. Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1962, pp. 1-20 (1962)
Moser, J.: Is the solar system stable? Math. Intelligencer 1(2), 65–71 (1978)
Novák, B.: Remark on periodic solutions of a linear wave equation in one dimension. Comment. Math. Univ. Carolinae 15, 513–519 (1974)
Olver, F.W.J.: Error bounds for the Liouville-Green (or WKB) approximation. Proc. Cambridge Philos. Soc. 57, 790–810 (1961)
Olver, F.W.J.: Error bounds for first approximations in turning-point problems. J. Soc. Indust. Appl. Math. 11, 748–772 (1963)
Olver, F. W. J.: Second-order linear differential equations with two turning points. Philos. Trans. Roy. Soc. London Ser. A 278, pp. 137-174 (1975)
Olver, F.W.J.: Asymptotics and special functions. AKP Classics. A K Peters Ltd, Wellesley, MA (1997)
Ori, A.: Inner structure of a charged black hole: an exact mass-inflation solution. Phys. Rev. Lett. 67(7), 789–792 (1991)
Pandya, A., Pretorius, F.: The Rotating Black Hole Interior: Insights from Gravitational Collapse in AdS3. arXiv preprint arXiv:2002.07130 (2020)
Penrose, R.: A remarkable property of plane waves in general relativity. Rev. Modern Phys. 37, 215–220 (1965)
Penrose, R.: Structure of space-time. Battelle Rencontres., pp. 121-235 (1968)
Penrose, R.: Gravitational Collapse. Gravitational Radiation and Gravitational Collapse. Ed. by C. DeWitt-Morette. Vol. 64 of IAU Symposium. Springer, pp. 82-91 (1974)
Poisson, E., Israel, W.: Internal structure of black holes. Phys. Rev. D (3) 41.6, pp. 1796-1809 (1990)
Ptashnik, B.I.: Ill-Posed Boundary-Value Problems for Partial Differential Equations (In Russian), p. 264. Naukova Dumka, Kiev (1984)
Radermacher, K.: Strong cosmic censorship in orthogonal Bianchi class B perfect fluids and vacuum models. Ann. Henri Poincaré 20(3), 689–796 (2019)
Reall, H.: A possible failure of determinism in general relativity. Physics 11, 6 (2018)
Ringström, H.: Curvature blow up in Bianchi VIII and IX vacuum spacetimes. Classical Quantum Gravity 17(4), 713–731 (2000)
Ringström, H.: The Bianchi IX attractor. Ann. Henri Poincaré 2(3), 405–500 (2001)
Ringström, H.: Existence of an asymptotic velocity and implications for the asymptotic behavior in the direction of the singularity in T3-Gowdy. Comm. Pure Appl. Math. 59(7), 977–1041 (2006)
Ringström, H.: Strong cosmic censorship in T3-Gowdy spacetimes. Ann. of Math. (2) 170.3, pp. 1181-1240 (2009)
Sbierski, J.: On holonomy singularities in general relativity and the C0;1 loc -inextendibility of spacetimes (2020). arXiv:2007.12049
Schwartz, L.: Sur certains espaces de fonctions différentiables à valeurs vectorielles. Séminaire Schwartz 1. Exposé no. 10 (1954)
Teschl, G.: Mathematical methods in quantum mechanics. Second. Vol. 157. Graduate Studies in Mathematics. With applications to Schrödinger operators. American Mathematical Society, Providence, RI, pp. xiv+358 (2014)
Trèves, F.: Topological vector spaces, distributions and kernels. Academic Press, New York- London, pp. xvi+624 (1967)
Van de Moortel, M.: Stability and instability of the sub-extremal Reissner-Nordström black hole interior for the Einstein-Maxwell-Klein-Gordon equations in spherical symmetry. Comm. Math. Phys. 360(1), 103–168 (2018)
Van de Moortel, M.: The breakdown of weak null singularities inside black holes (2019). arXiv:1912.10890
Van de Moortel, M.: Mass inflation and the C2-inextendibility of spherically symmetric charged scalar field dynamical black holes. Comm. Math. Phys. 382(2), 1263–1341 (2021)
Wainwright, J., Hsu, L.: A dynamical systems approach to Bianchi cosmologies: orthogonal models of class A. Classical Quantum Gravity 6(10), 1409–1431 (1989)
Wang, W.-M.: Energy supercritical nonlinear Schrödinger equations: quasiperiodic solutions. Duke Math. J. 165(6), 1129–1192 (2016)
Wang, W.-M.: Quasi-periodic solutions for nonlinear wave equations. C. R. Math. Acad. Sci. Paris 353(7), 601–604 (2015)
Warnick, C.M.: The massive wave equation in asymptotically AdS spacetimes. Comm. Math. Phys. 321(1), 85–111 (2013)
Warnick, C.M.: On quasinormal modes of asymptotically anti-de Sitter black holes. Comm. Math. Phys. 333(2), 959–1035 (2015)
Acknowledgements
The author would like to express his gratitude to his advisor Mihalis Dafermos for his support and many valuable comments on the manuscript. The author also thanks Harvey Reall, Igor Rodnianski, Yakov Shlapentokh-Rothman and Claude Warnick for insightful discussions and helpful remarks. The author is also grateful to two anonymous referees for several helpful comments and remarks to improve the manuscript. This work was supported by the EPSRC grant EP/L016516/1, by Dr. Max Rössler, the Walter Haefner Foundation and the ETH Zürich Foundation.. The author thanks Princeton University for hosting him as a VSRC.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 Airy functions
We recall the definition of the Airy functions of first and second kind \({\mathrm {Ai}}\) and \({\mathrm {Bi}}\) as follows.
Definition A.1
For \(x\in {\mathbb {R}}\), we define \({\mathrm {Ai}}(x)\) and \({\mathrm {Bi}}(x)\) via the improper Riemann integrals
Equivalently, the Airy functions are the unique solutions of
with
such that \({\mathfrak {W}}_{x} ({\mathrm {Ai}}(x), {\mathrm {Bi}}(x)) = \frac{1}{\pi }\). Further, we define the constant c as the largest negative root of \(\mathrm {Ai}(x) = \mathrm {Bi}(x)\). Then, we introduce the error-control functions
and \(E_{\mathrm {Ai}}^{-1}(x) := \frac{1}{E_{\mathrm {Ai}}(x)}\). From [94, Chapter 11, §2] we remark that \(E_{\mathrm {Ai}}\) is a monotonically increasing function of x which is never less than 1 and moreover,
Furthermore, we have (see [94, Chapter 11, §2] )
for \(x \in {\mathbb {R}}\). Similarly, we define
which satisfies (see [94, Chapter 11, §2])
The Airy functions obey the following asymptotics.
Lemma A.1
([94, Chapter 11, §1,§2], [32, §9.7]) For large \(x>0\), the asymptotic behaviors of the Airy functions are
where \(|{\tilde{\epsilon }}_{{\mathrm {Ai}}}| \lesssim x^{-\frac{7}{4}}\) and \(|{\tilde{\epsilon }}_{{\mathrm {Ai}}'}| \lesssim x^{-\frac{5}{4}}\). In particular, we have
for \(x\ge 0\). Moreover, for \(x> 0\) we have
where \(\chi _{\mathrm {Ai}}(x) = \sqrt{\pi }\frac{ \Gamma (\frac{1}{2} x +1) }{\Gamma (\frac{1}{2} x + \frac{1}{2})}\).
1.2 Parabolic cylinder functions
We define the parabolic cylinder functions U and \({\bar{U}}\) in the following. We refer to [93, Sect. 5] or [32, Chapter 12] for more details.
Definition A.2
For \(b\le 0\) and \(x\ge 0\) we define the parabolic cylinder functions
where \({}_1{F}_1(a;b;z):= \sum _{n=0}^\infty \frac{a^{(n)} z^n}{b^{(n)} n!}\) denotes the confluent hypergeometric function. Here, we use the notation \(a^{(n)}:= a (a+1) (a+2) \cdots (a+n)\) for the rising factorial.
Remark that \({\mathfrak {W}}(U,{\bar{U}}) = \sqrt{\frac{2}{\pi }}\Gamma (\frac{1}{2} - b)\) and that U and \({\bar{U}}\) solve the equation
Moreover, we have (e.g. [93, Sect. 5.2]) that
We define auxiliary functions to control error terms in terms of parabolic cylinder functions. We first define \(\rho (b)\) as the largest real root of the equation \({\bar{U}}(b,x) = U (b,x)\). Note that \(\rho (b) \ge 0\) for \(b \le 0\).
Definition A.3
For \(b\le 0\), we set
For fixed b, the function \(E_U(b,x)\) is continuous and non-decreasing in \(0\le x <\infty \). We denote \(E_U^{-1}:= \frac{1}{E_U}\).
Definition A.4
For \(b\le 0\), \(x\ge 0\), we also define functions \(M_U\) and \(N_U\) by
Definition A.5
We define the function \(\zeta _U\) as
Note that we have (see e.g. [93, §5.8])
for \(x \ge 0\) and \(b\le 0\).
Proposition A.1
The envelope function \(M_U\) satisfies
uniformly in \(\mu \ge 1\) and \(y \ge 0\), and
uniformly in \(0 \le \mu \le 1\) and \(y \ge 0\). In particular, \(M_U\) satisfies
Proof
These estimates follow from [93, Equation (5.23), (6.12) and Sect. 6.2]. \(\square \)
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
Kehle, C. Diophantine approximation as Cosmic Censor for Kerr–AdS black holes. Invent. math. 227, 1169–1321 (2022). https://doi.org/10.1007/s00222-021-01078-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-021-01078-6