Abstract
Supersymmetric microstate geometries were recently conjectured (Eperon et al. in JHEP 10:031, 2016. https://doi.org/10.1007/JHEP10(2016)031) to be nonlinearly unstable due to numerical and heuristic evidence, based on the existence of very slowly decaying solutions to the linear wave equation on these backgrounds. In this paper, we give a thorough mathematical treatment of the linear wave equation on both two- and three-charge supersymmetric microstate geometries, finding a number of surprising results. In both cases, we prove that solutions to the wave equation have uniformly bounded local energy, despite the fact that three-charge microstates possess an ergoregion; these geometries therefore avoid Friedman’s “ergosphere instability” (Friedman in Commun Math Phys 63(3):243–255, 1978). In fact, in the three-charge case we are able to construct solutions to the wave equation with local energy that neither grows nor decays, although these data must have non-trivial dependence on the Kaluza–Klein coordinate. In the two-charge case, we construct quasimodes and use these to bound the uniform decay rate, showing that the only possible uniform decay statements on these backgrounds have very slow decay rates. We find that these decay rates are sublogarithmic, verifying the numerical results of Eperon et al. (2016). The same construction can be made in the three-charge case, and in both cases the data for the quasimodes can be chosen to have trivial dependence on the Kaluza–Klein coordinates.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Microstate Geometries
“Microstate geometries” are a large family of solutions to type IIB supergravity with several interesting features [2, 3, 5, 22, 23, 32, 33]. They are smooth and “asymptotically Kaluza–Klein”: near infinity, they approach the product of five-dimensional Minkowski space with five compact dimensions.Footnote 1 They do not possess a black hole region or a horizon, although they do share several geometric features with black hole solutions, including the “trapping” of null geodesics and the possibility of possessing an ergoregion. In addition, they can exhibit an “evanescent ergosurface”[21]: a timelike submanifold on which an otherwise timelike Killing vector field becomes null. The “fuzzball proposal” [34] conjectures that they provide a geometric description of certain quantum microstates of black holes, providing further motivation for their study.
A natural question to ask regarding microstate geometries is whether they are classically stable, i.e. does there exist a suitable function space for the initial data, and an open set around the initial data for the microstate solution in question, such that the future evolution of all initial data in this set remains suitably “close” to the microstate geometry? In general, this is a very difficult question to address in a nonlinear field theory such as supergravity, but we may begin to address it by studying suitable linear equations on a fixed geometric background. In this paper, we shall study the behaviour of linear waves, that is, solutions of the equation
on microstate geometries, where g is the metric of the corresponding microstate geometry. Note that there are certain linearised supergravity fields which obey this equation [8], but it can also be considered as a toy model for the linearisation of the equation of motion for the metric, neglecting both the tensorial structure and the coupling to matter.
A large family of microstate solutions have been found, and in particular, the geometries may be either “supersymmetric” or not; the supersymmetric microstate geometries possess a global, null Killing vector field [24], while the non-supersymmetric microstates do not [27]. In [7], the linear stability of non-supersymmetric microstate geometries was studied. Both heuristic evidence and numerical evidence were presented, all of which points to a linear instability of these geometries. This instability can be understood as an instance of the “Friedman instability” or “ergosphere instability” [17]: the non-supersymmetric microstate geometries possess an ergoregion but no horizon, meaning that perturbations can be localised within the ergoregion and cannot decay in time. In these circumstances, Friedman provided a heuristic argument, indicating that the local energy of solutions should grow in time; this was investigated numerically in, for example [9, 10, 42] and was very recently proved rigorously in [37], under certain conditions. Although these conditions do not apply to microstate geometries,Footnote 2 [7] in fact produced evidence for exponentially growing solutions to the linearised equations of motion in the non-supersymmetric microstate geometries. Note that there are also examples of instabilities associated with ergoregions in spacetimes with horizons (see, for example, [36] and [41], the heuristic work of [12, 13, 43] and the numerical results in [14, 15]).
On the other hand, the presence of an additional causal Killing vector field in the supersymmetric microstate geometries might suggest that they have better stability properties than their non-supersymmetric counterparts (see, for example, the comments in [7]). However, in the very recent work [16], both heuristic evidence and numerical evidence were provided which indicates that these geometries might also be unstable, but in contrast to their non-supersymmetric counterparts, this instability is conjectured to be nonlinear in nature. The source of this instability was identified as the presence of stably trapped null geodesics near the evanescent ergosurface, i.e. null geodesics that remain trapped in a bounded area of space, in such a way that nearby null geodesics are also trapped. Indeed, this stable trapping was shown to be a generic feature of spacetimes possessing evanescent ergosurfaces. In addition, heuristic arguments for instability were given that made use of the unusual fact that there are stably trapped null geodesics with zero energy measured with respect to an asymptotically timelike Killing vector field; these are the null geodesics that rule the evanescent ergosurface. Note that both [16] and the current paper focus only on a special class of supersymmetric microstate geometries, rather than the more general class constructed in [32], which possess fewer symmetries than the spacetimes we consider.
1.2 Stable Trapping and Slow Decay
Previous studies of wave propagation on spacetimes with stably trapped null geodesics have shown that linear waves on these backgrounds decay very slowly [4, 26, 29]. This suggests that nonlinear instabilities might be present, since waves might have time to “clump” sufficiently for nonlinear effects to play a role before dispersion can occur. In all of the references given above, the decay was found to be no faster than “logarithmic”, that is, there is some open region U and some norm of the initial data \(E^{(1)}_0(u)\), depending only on the field u and its first derivative, such that, for solutions u to the wave equation (1) with, say, Schwartz initial data, there is some universal positive constant C such that
This shows that no uniform decay statement with a uniform rate of decay that is faster than logarithmic can hold. If we instead take norms of the initial data involving higher derivatives, then the factor of \(\log (2 + t)\) needs to be replaced by a factor of \(\left( \log (2+t)\right) ^n\) for some power n. Note, however, that this decay rate is always slower than polynomial, for any finite n.
Interestingly, in [16] numerical evidence was found, suggesting that, in microstate geometries, linear waves decay even slower. In particular, the function \(\log (2+t)\) in (2) should be replaced by another function which grows even slower at large t: approximately at the rate \((\log t)/(\log \log t)\). This means that, in order to recover a comparable uniform decay rate, additional derivatives of the initial data must be included in the “initial energy” \(E_0\). Note, however, that [16] used quasinormal modes to demonstrate this fact, and these do not arise from compactly supported or Schwartz initial data, so the two results are not directly comparable (see, however [19]). Note that there is an extremely extensive body of work regarding quasinormal modes in the physics literature (see, e.g. [31]), and a growing mathematical literature on the subject (see, e.g. [44], for a review), including some work on backgrounds with stably trapped null geodesics [18, 20].
As mentioned above, the results of [26, 29] established that no uniform decay statement with rate faster than logarithmic can hold on the spacetimes investigated, namely Kerr-AdS and ultracompact neutron stars. These results were complemented by proofs (in [25, 29], respectively) of the uniform decay of waves on those backgrounds. In other words, not only can waves decay at a (uniform) rate no faster than logarithmic, but in fact, all waves with suitable initial data actually do decay at least logarithmically. This should be compared with the classical result of Burq [6], establishing that the local energy of waves decays logarithmically in the exterior of any “obstacles” in Minkowski space (without restriction on the shape of the obstacles or the trapping of geodesics caused by the obstacles), as well as the recent theorem of Moschidis [35], showing that the same result holds on a very general class of spacetimes. Indeed, in both of these cases an estimate of the form
holds, where \(E^{(m)}_0(u)\) denotes the initial m-th order energy of the field u, which is a quantity involving up to \((m+1)\) derivatives of the initial data (suitably weighted). In this context, the indication in [16] that a slower-than-logarithmic rate of decay might hold in microstate geometries is extremely interesting, although we note again that the quasinormal modes used in [16] are not expected to lie in the suitably weighted energy space. Nevertheless, this result may be taken to be even more strongly indicative of a possible nonlinear instability than in the previously studied cases.
1.3 Boundedness Results
In this paper, we provide a thorough mathematical analysis of the behaviour of solutions to the linear wave equation on microstate geometries. As in [16], we restrict attention to supersymmetric microstate geometries, and we also focus on the simplest examples of supersymmetric microstates (rather than the larger class of solutions constructed in, for example, [32]). We examine both two-charge [33] and three-charge [23] microstate geometries; geometrically, these are distinguished by the fact that the three-charge geometries exhibit an ergoregion, whereas the two-state geometries only exhibit an evanescent ergosurface.
One of the most basic questions we can ask about solutions to the wave equation is whether they are uniformly bounded, and due to the lack of a globally timelike Killing vector field in the microstate geometries, this is not straightforward. Indeed, the presence of an ergoregion in the three-charge geometries, together with the heuristic arguments of Friedman [17] and the rigorous proof of Moschidis [37] (the conditions of which, however, do not apply to microstate geometries), strongly suggests that solutions to the wave equation on three-charge microstate geometries might not be uniformly bounded, and in fact, there might exist growing solutions. If this were true, then the very slowly decaying solutions observed in [16] would not be the “worst” solutions, and we would instead find the more familiar situation of solutions to the wave equation which grow in time, perhaps in the form of exponentially growing mode solutions. Note that the presence of an ergoregion was noticed already in [27], who also commented on the absence of a “superradiant instability” due to the lack of a horizon.
Despite the considerations above, in Sect. 4 we prove that, in both the two- and three-charge microstate geometries, solutions to the wave equation with suitable initial data remain bounded for all time. Note that, in the three-charge case, waves remain bounded despite the presence of an ergoregion, and so the microstate geometries avoid Friedman’s “ergosphere instability”. In the three-charge case, our proof of boundedness relies crucially on the presence of the null Killing vector field in the supersymmetric geometries, and so does not apply to the non-supersymmetric geometries, which were previously found to suffer from an ergosphere instability [7]. Additionally, the proof we present “loses derivatives”, i.e. we are only able to bound the local energy at future times by a “higher-order” energy (involving more derivatives) initially. This means that the boundedness estimate is very unlikely to be of much use in a nonlinear setting, although it works well in the case of linear waves studied in this paper. We also note that our proof makes use of the additional symmetries of the geometries we consider, so it does not apply to all of the more general microstate geometries constructed in [7].
In the two-charge case, we also find that we can prove boundedness with a loss of derivatives. In this case, the asymptotically timelike Killing vector field is globally causal, but becomes null at the evanescent ergosurface, meaning that the corresponding energy degenerates there. We can contrast this with the case of the exterior of black holes: even in the relatively simple case of a Schwarzschild black hole, the asymptotically timelike Killing vector field becomes null on the event horizon, and so the corresponding energy degenerates there. One wayFootnote 3 to overcome this is to make use of the celebrated red shift effect: we can modify the vector field so that it is no longer Killing, but we find that the error terms this introduces can themselves be bounded by the non-degenerate energy [11]. However, in the microstate geometries the evanescent ergosurface is timelike: there is no local redshift effect (which is in some ways reminiscent of the case of an extremal black hole—see [1]), and the presence of trapped null geodesics prevents us from obtaining a suitable “integrated local energy decay estimate” [39, 40], which could be used to bound error terms.
Note that, in another work [30], we have shown that, for a broad class of spacetimes that includes the microstate geometries studied here, this loss of derivatives in the boundedness statement cannot be avoided. In other words, it is not possible to bound the energy at some future time in terms of some kind of initial energy. Hence, the “boundedness with a loss of derivatives” result which we show here cannot be improved to a standard boundedness result.
1.4 Non-decay and Slow Decay Results
Next, in Sect. 5 we show that on the three-charge microstate geometries (which have an ergoregion) we can construct initial data with negative energy with respect to an asymptotically timelike Killing vector field. This follows from the work of Friedman [17], but for completeness and clarity we give a more explicit construction on the three-charge microstate geometries. Consequently, there exist solutions to the wave equation whose local energy does not decay in time. Combined with the boundedness result above, we conclude that the behaviour of generic solutions to the wave equation with suitable initial data is to neither decay nor grow over time. In particular, the local energy within the ergoregion will not decay over time, and yet there are no solutions with growing local energy.
The situation is different in the case of two-charge microstate geometries, since these do not possess an ergoregion, but only an evanescent ergosurface. Thus, we cannot use the construction of Friedman to find solutions that do not decay in time, but we can still prove boundedness in the same way as for the three-charge case. Instead of showing that there are solutions which do not decay in time, in Sect. 6 we adapt the quasimode construction, first used (in the context of general relativity) in [26] (see also [4, 29]), to construct very slowly decaying solutions. In fact, we are able to construct solutionsFootnote 4 which decay even more slowly than the solutions constructed in [26, 29], i.e. at a sublogarithmic rate, verifying the numerical results of [16]. Note that these waves may be chosen to have trivial dependence on the compact directions, so the reason that the general logarithmic decay result of [35] does not hold on supersymmetric microstate geometries is due to the fact that there does not exist a global, timelike Killing vector field on these geometries.
In addition, since we use quasimodes rather than quasinormal modes, we also improve the class of initial data leading to this slow decay rate, since the quasimodes we construct induce Schwartz initial data. In contrast, quasinormal modes do not even have finite energy on hypersurfaces, which extend to spacelike infinity, although they do have finite energy on hypersurfaces extending to future null infinity, and the quasinormal modes constructed in [16] were found to be localised near the evanescent ergosurface. Nevertheless, this is an important point, since even in Minkowski space, we can construct solutions to the wave equation with arbitrarily slow decay, if we restrict only to initial data with finite energy.Footnote 5 Hence, our quasimode construction not only verifies the slow decay rate found in [16], but also confirms the expectation that this decay is caused by the local geometry of the microstate and is not an artefact of the slow decay of the initial data towards infinity.
Our quasimode construction is the most technical part of this paper. Before discussing it further, we shall first give a brief overview of the role of quasimodes in the slow decay results of [26, 29]. The idea is to first separate the wave equation and then to note that the radial part of the wave equation involves an effective potential with a local minimum near some fixed radius. The effective potential also involves a factor of \(\ell ^2\), where \(\ell \) is the angular frequency of the wave. The idea is then to construct approximate solutions near this local minimum by first constructing solutions to the corresponding Dirichlet problem, with boundary conditions imposed on either side of the local minimum. To reach these boundaries, the wave has to tunnel through the effective potential, and so we find that, near the boundaries, the wave is exponentially suppressed. Since the height of the potential scales with \(\ell ^2\), we find that the size of the wave near the boundaries behaves as \(e^{-\ell }\). Hence, by smoothly cutting off the solution near these boundaries, we obtain approximate solutions to the wave equation, with errors that are exponentially small in \(\ell \). This exponentially small error then leads directly to the logarithmic bound on the decay rate.
In showing that the decay rate on the two-charge microstate geometries is even slower than logarithmic, the key observation (made in [16]) is the fact that, in these geometries, there are stably trapped null geodesics with zero energy measured with respect to the asymptotically timelike Killing vector field. Together with the fact that the wave equation separates on the supersymmetric microstate geometries, this leads to a situation in which the effective potential for the radial part of the wave equation has a local minimum, at which the effective potential vanishes to leading order at large \(\ell \). We can use this fact by constructing quasimodes that are localised near this local minimum, but then exploiting the fact that both the height and the width of the potential barrier which these waves must tunnel through scales with \(\ell \); see Fig. 1. Since the microstate geometries are asymptotically flat, the effective potential behaves asymptotically as \(\ell ^2 r^{-2}\), so the width of the potential barrier scalesFootnote 6 as \(\ell \). This then leads to quasimodes with errors that are super-exponentially suppressed in \(\ell \) and that in turn leads to slower than logarithmic decay rates.
We also note here that the quasimodes we construct can be chosen to have trivial dependence on the coordinates parameterising the compact dimensions. Note that this is not the case for the non-decaying solutions constructed on three-charge geometries in Sect. 5, which must have a non-trivial dependence on one of the compact dimensions. If we wish to specialise to solutions of the wave equation with trivial dependence on the compact directions, then we obtain the same results for both two- and three-charge microstates, i.e. we have a bound on the decay rate which is slower than logarithmic, again matching the numerical results of [16].
When considering these results, we must bear in mind the following caveat: when using quasimodes to construct slowly decaying solutions, we do not actually construct a solution which decays at a slower rate than logarithmic—indeed, it may be the case that all solutions with suitable initial data decay faster.Footnote 7 However, we do show that no uniform decay statement with a faster rate of decay can hold. To be more precise, we show that there are positive constants \(C_m\) such that, for solutions u to the wave equation arising from Schwartz initial data, we have
Note also that we do not address the issue of whether all solutions with suitable initial data actually do decay. If, as above, we restrict to waves with trivial dependence on the compact directions, then we can use the generic results of [35] to prove the decay estimate
although we do not expect this to be sharp, in the sense that we expect a slightly faster rate of decay when estimating the solution in terms of a given number of derivatives of the initial data.
In summary, we perform a thorough analysis of the behaviour of solutions to the linear wave equation on supersymmetric microstate geometries. In both the two- and three-charge cases, we establish in Sect. 4 that the local energy of solutions arising from suitable initial data is bounded at all times. This is particularly surprising in the three-charge case, given that these geometries possess an ergoregion and so might be thought to suffer from Friedman’s ergosphere instability. On the other hand, following Friedman, on the three-charge geometries we are able (in Sect. 5) to construct solutions whose local energy does not decay in time. Finally, in Sect. 6 we construct quasimodes on two-charge microstate geometries, which we then use to show that no uniform decay statement can hold, except those with very slow (sublogarithmic) decay rates.
2 The Geometries and Their Properties
We will study both two- and three-charge microstate geometries. Here we describe these geometries and their respective metrics and discuss some of their basic properties. See [2, 3, 5, 16, 22, 23, 32, 33] and the references therein for additional details.
2.1 Three-Charge Microstates
The three-charge microstate geometries are \(\mathbb {R} \times \mathbb {S}^3 \times \mathbb {R}^2\), where points in \(\mathbb {R}\) are given a coordinates t, points in \(\mathbb {S}^3\) are given standard Hopf coordinates \((\theta , \phi , \psi )\), and points in \(\mathbb {R}^2\) are given coordinates (r, z), which are related to the standard polar coordinates \((r, \vartheta )\) by the identification \(z = \frac{2\pi }{R_z} \vartheta \). This manifold is equipped with the metric
where
and the ranges of the coordinates are \(t \in \mathbb {R}\), \(0 \le \theta \le \frac{\pi }{2}\), \(r \ge 0\), \(0 \le \phi \), \(\psi \le 2\pi \) and \(0 \le z \le R_z\).
The z coordinate parametrises a “Kaluza Klein” circle of radius \(R_z\), i.e. the coordinate values \(z = 0\) and \(z = R_z\) are identified, as indicated by the description of the manifold given above. Note that the (r, z) plane asymptotically has the geometry of a cylinder with radius \(R_z\), and not a flat plane. The coordinates \(\theta \), \(\phi \) and \(\psi \) parametrise a 3-sphere. For more details on the global structure of these spacetimes, and other similar spacetimes, see [21].
The quantities \(Q_1\), \(Q_2\) and \(Q_p\) are the three “charges” of the spacetime: these are constants taking values in \(\mathbb {R}_+{\setminus }\{0\}\). It is useful to express the charge \(Q_p\) in terms of the (nonnegative) integer \(\tilde{n}\) and another (nonnegative) real number a, which is itself given by the square root of the products of the charges \(Q_1\) and \(Q_2\), divided by the period of the z coordinate. Then the constants \(\eta \), \(\tilde{\gamma }_1\), \(\tilde{\gamma }_2\) and the functions f and h are expressed in terms of these constants, together with (in the cases of f and h) the coordinate functions r and \(\theta \).
The reader should note the following important facts regarding these manifolds:
These spacetimes are non-singular; in fact, the metric is everywhere smooth.
The spacetimes are globally hyperbolic.
There is a notion of “null infinity” for these spacetimes (see below), and with respect to this notion the spacetimes do not have a black hole region.
The six-dimensional spacetime described by this metric is asymptotically Kaluza–Klein in the sense that
where is the standard round metric on the unit 3-sphere with (Hopf) coordinates \(\theta , \phi , \psi \), and the norm of a tensor is defined relative to a basis of 1-forms \(\mathrm {d}t\), \(\mathrm {d}z\) and \(r e_A\), where \(e_A\) are an orthonormal basis for the cotangent space of the unit 3-sphere \(\mathbb {S}^3\). Together with additional fields, the metric given above provides a solution to the supergravity equations. Note that the metric is regular everywhere, including on the surface defined by \(f = 0\), since near this surface \(h \sim f^{-1}\). In addition, as \(r \rightarrow 0\) the Kaluza–Klein circle shrinks to zero size while the 3-sphere does not; however, coordinates can be found showing that the metric is regular [23].
The solution possesses 4 Killing vector fields as well as a “hidden” symmetry, which allows us to separate the wave equation (and the geodesic equation). The most important vector fields for our purposes (all of which are Killing) are
In particular, the last Killing vector field in the list above, V, is null everywhere and is future-directed. In contrast, the vector field T is future-directed and timelike at large r, and (when none of the charges vanish) spacelike at small r. This spacetime therefore has a genuine ergoregion associated with the vector field T. Indeed, we can compute
Since \(h > 0\), the ergoregion is given by the region in which \(f < Q_p\), i.e. it is the region
Clearly, if a, \(\tilde{n}\) and \(\eta \) are (strictly) positive, then there is some region in which this condition holds (e.g. close to \(\theta = \frac{\pi }{2}\)).
A notion of “evanescent ergosurface” can also be introduced for this spacetime as in [16], where it was defined as the submanifold on which Z and V are orthogonal, i.e. \(g(Z, V) = 0\). This plays an important role when considering solutions of the wave equation which have trivial dependence on the z coordinate, which we shall briefly outline here. Associated with the vector field V is a nonnegative “energy”, but since V is null this energy is degenerate. Specifically, it does not control derivatives of the solutions in the V direction, although it controls derivatives in all the other directions. However, when Z and V are not orthogonal, derivatives in the V direction can be expressed in terms of Z derivatives and other derivatives which are controlled by the V energy. Hence, the V energy does control all of the derivatives of a field which has trivial Z dependence, except at the points where Z and V are orthogonal, at which the V energy once again becomes degenerate. Hence, for these kinds of solutions, the submanifold defined by \(g(Z, V) = 0\) plays the role of an evanescent ergosurface.
2.2 Two-Charge Microstates
The manifold of a two-charge microstate is identical to that of a three-charge microstate: as before it can be viewed as \(\mathbb {R} \times \mathbb {S}^3 \times \mathbb {R}^2\) with coordinates t on \(\mathbb {R}\), \((\theta , \phi , \psi )\) (Hopf coordinates) on \(\mathbb {S}^3\), and (r, z) on \(\mathbb {R}^2\), which are related to polar coordinates in the same was as for a three-charge microstate.
The metric of two-charge microstates can be obtained from the metric for three-charge microstates by setting \(Q_p = 0\), which in turn means that \(\tilde{n} = \tilde{\gamma }_1 = 0\) and \(\eta = 1\). We summarise the important differences between the two- and three-charge microstate geometries below.
The T Killing vector field is never spacelike in the two-charge microstate geometry, in contrast to the three-charge microstate geometry. However, it does become null on the submanifold defined by \(r = 0\), \(\theta = \frac{\pi }{2}\). Thus, unlike the three-charge geometry, the two-charge microstate geometry does not have an ergoregion but only an “evanescent ergosurface”, which is reminiscent to the boundary of an ergoregion.
As \(r \rightarrow 0\) and \(\theta \rightarrow \frac{\pi }{2}\), the Kaluza–Klein circle smoothly pinches off to zero size, and we find that the submanifold \(r = 0\), \(\theta = \frac{\pi }{2}\), \(t = \text {const.}\) (on which T is null) has dimension 1. In fact, points on this submanifold are uniquely specified by their \(\phi \) coordinate, as expected from the fact that \((\theta , \psi , \phi )\) are Hopf coordinates (the level sets of \(\theta \) on \(\mathbb {S}^3\) are tori for \(\theta \in (0, \frac{\pi }{2})\), parametrised by \((\phi , \psi )\), while the level sets \(\theta = 0\) and \(\theta = \frac{\pi }{2}\) are circles parametrised by \(\psi \) and \(\phi \), respectively).
For reference, we provide the metric of the two-charge microstate geometries we consider below:
where as before
3 Preliminary Calculations and Notation
First we shall need several preliminary calculations which serve to set up notation and to prove some basic statements.
Definition 3.1
(Notation). We shall use the notation
to indicate that there is some positive constant \(C > 0\), independent of all parameters that are varying in our set-up, such that
Similarly, we shall sometimes use the notation \(a \gtrsim b\). Finally, we use the notation
to indicate that there are positive constants c, \(C > 0\) such that
Note that the charges \(Q_1\), \(Q_2\), \(Q_p\) and the parameters \(\tilde{\gamma }_1\), \(\tilde{\gamma }_2\) will be considered fixed parameters during our calculations, so that, for example, \(a \lesssim b\) means that there is some constant C, which may depend on \(Q_1\), \(Q_2\), \(Q_p\), \(\tilde{\gamma }_1\) and \(\tilde{\gamma }_2\) but which is independent of all other parameters, such that \(a \le C b\).
We also use “musical notation”: for any pair of covectors \(\mu \), we define the vector \(\mu ^\sharp \) by
for any covector \(\nu \). Similarly, given any vector V we define the covector \(V^\flat \) by
for any vector X.
Definition 3.2
(The energy momentum tensor). We define the energy momentum tensor associated with a function u as follows:
Definition 3.3
(Energy currents). Given a vector field X and a function u, we define the associated energy current:
We shall sometimes refer to the vector field X as a “multiplier”.
Definition 3.4
(Deformation tensors). Given a vector field X, we define the associated deformation tensor
where \(\nabla \) is the Levi-Civita connection associated with g. In particular, if X is a Killing vector of g, then \({^{(X)}\pi } = 0\).
We have the following classical energy identity, which is a consequence of the divergence theorem:
Proposition 3.5
(The energy identity). Let \(\mathcal {U}\) be a compact open set with smooth boundary \(\partial \mathcal {U}\), and let u and X be smooth. Then
where \(\mathrm {d}{} \textit{vol}_g\) denotes the volume form associated with g, and \(\imath \) denotes the interior product. Moreover, the same statement holds if \(\mathcal {U}\) is not compact but u decays sufficiently rapidly and |X| is bounded.
In particular, Proposition 3.5 means that, if u solves the wave equation and X is a Killing vector field of g, then
We shall introduce notation for several regions of the spacetime manifold:
Definition 3.6
(Submanifolds of the microstate geometries). We use the notation \(\mathcal {M}\) for the manifold associated with either the two- or three-charge microstate geometry.
In both the two- and three-charge microstate geometries, we define the hypersurfaces of constant t:
as well as the open spacetime region \(\mathcal {M}_{t_0}^{t_1} \subset M\)
We also define the “evanescent ergosurface” as the submanifold \(\mathcal {S}_t \subset \Sigma _t\) defined by
Note that in the case of the three-charge microstate geometries the submanifold \(\mathcal {S}_t\) is a genuine hypersurface within \(\Sigma _t\), i.e. a co-dimension one submanifold of \(\Sigma _t\), while in the case of the two-charge microstate geometries, the submanifold \(\mathcal {S}_t\) is the co-dimension four (i.e. one dimensional) submanifold given by
In the two-charge microstate geometries, we define the open region (as a subset of \(\Sigma _t\)) containing the evanescent ergosurface:
In the three-charge microstate geometries, we can define the ergoregion as the open region given by:
Similarly, we define a slightly enlarged region containing the ergoregion as follows:
We shall also need the following properties of the microstate geometry metrics, which can be found in [2, 3, 5, 22, 23, 32, 33]:
Proposition 3.7
(The volume form). On both the three-charge and two-charge microstate geometries, the volume form induced by the metric is given by
Proposition 3.8
(The hypersurfaces \(\Sigma _t\) are (uniformly) spacelike). On both the three-charge and two-charge microstate geometries, the hypersurfaces \(\Sigma _t\) are uniformly spacelike. Indeed, we have (see the comments under equation (5.4) in [22])
which is bounded both above and below by some negative constants, depending on the constants \(Q_1\), \(Q_2\), \(Q_p\), \(\tilde{\gamma }_1\) and \(\tilde{\gamma }_2\). Hence, the hypersurfaces of constant t are uniformly spacelike.
We can therefore make the following definition:
Definition 3.9
(The vector field n). We define the vector n as the unit (timelike) future-directed normal to the hypersurface \(\Sigma _t\). Note, from the above, that
where the function C is uniformly bounded away from 0 and \(\infty \).
Definition 3.10
(The metric and volume form on \(\Sigma _t\)). We denote by \(\underline{g}\) the metric induced by g on the hypersurfaces \(\Sigma _{\tau }\), and similarly, we write \(\mathrm {d}{} \textit{vol}_{\underline{g}}\) for the volume form induced on the surfaces \(\Sigma _\tau \). Since these hypersurfaces are uniformly spacelike, we find that
Definition 3.11
(The non-degenerate energy). We define the non-degenerate energy of a function u as follows: let \(\{X_1, X_2,\ldots , X_5\}\) be an orthonormal basis for the tangent space of \(\Sigma _t\) at the point \(p \in \Sigma _t\). Then we define the non-degenerate energy at the point p as follows:
Note that, since T is transverse to the hypersurface \(\Sigma _t\), the set \(\{ T, X_1, \ldots , X_5 \}\) spans the tangent space of \(\mathcal {M}\) at the point p.
Definition 3.12
(Higher-order non-degenerate energies). We define the higher-order non-degenerate energy on the surface \(\Sigma _t\) as follows:
for multi-indices \(\alpha \), where (as above) \(\partial \) may refer to any derivative in the set \(\{T, X_1, \ldots , X_5 \}\).
Definition 3.13
(“Good” derivatives). We also define a subset of the derivatives appearing in the non-degenerate energy to be the “good” derivatives. To be specific, we define N to be the vector field (tangent to \(\Sigma _t\)) obtained by orthogonally projecting T onto the surface \(\Sigma _t\), that is,
away from regions in which n is parallel to T, we can define the last vector in the orthonormal basis \(\{ X_1, \ldots , X_5\}\) to be parallel to N, i.e.
Indeed, we can choose the vector \(X_5\) such that it is always parallel to N, so that
This allows us to define the “good derivatives” at any point \(x \in \mathcal {M}\):
In other words, the good derivatives \(\bar{\partial }u\) exclude the derivative in the N direction.
Proposition 3.14
(The T-energy current). The energy current appearing in the energy identity in Proposition 3.5, with the choice \(X = T\), is given by
Proof
Apply the energy estimate of Proposition 3.5 with the multiplier T to the function u, on the spacetime region \(\mathcal {M}_0^t\). We find that,
Recalling that n is the unit future-directed normal to \(\Sigma _t\), then we find, restricting the interior product of the energy current and the volume form to the hypersurface \(\Sigma _t\),
which, after a bit of algebra, gives the expression in the proposition. \(\square \)
4 Avoiding the “Friedman Instability”: Uniform Boundedness for Solutions to the Wave Equation
In [17], an instability associated with spacetimes possessing an ergoregion but lacking an event horizon was proposed. To be more precise, it was shown that on such backgrounds, the energy of solutions to the scalar wave equation (and to the Maxwell equations) cannot decay within the ergoregion, and a heuristic argument was given to suggest that such solutions actually grow. Very recently, [37] has provided a rigorous proof of this growth, under certain additional but still very general assumptions.
The two-charge microstate geometries do not possess an ergoregion, and are therefore immune to even the heuristic arguments for instability of [17]. Nevertheless, the absence of a global, timelike Killing vector field means that it is not straightforward to show that solutions of the wave equation remain uniformly bounded in terms of the initial data, and a priori it is conceivable that some remnant of the ergosphere instability might lead to an instability of geometries with an evanescent ergosurface. Nevertheless, we are able to obtain a boundedness statement on these geometries, with a “loss of derivatives”, i.e. we can bound the energy of solutions in future by an initial “higher-order” energy, involving higher derivatives of the initial data. We note here that a statement of this kind is unlikely to prove useful in any kind of nonlinear application, although it can help us to understand the nature of linear waves, such as those studied in this paper.
In contrast, the three-charge microstate geometries do possess an ergoregion and thus might be expected to be unstable due to the “ergoregion instability of [17, 37]. However, these geometries do not satisfy all of the conditions required in [37]; most importantly, they are not asymptotically flat, but are instead asymptotically Kaluza–Klein. In fact, once again we are able to prove a uniform boundedness statement, although, similarly to the two-charge case, we must “lose derivatives”. A key part of this proof relies on the presence of the globally null Killing vector field V.
Another key part of the proof of uniform boundedness, both in two-charge and three-charge microstate geometries, is a version of Hardy’s inequality, which we prove below:
Lemma 4.1
Let \(\mathcal {M}\) be either a two- or a three-charge microstate geometry, and let u be a smooth function on \(\Sigma _t\) such that
Define the vector field (which is tangent to \(\Sigma _t\))
then we have
Proof
Note that
So we have
Integrating by parts in the r direction, using the fact that u is smooth and decays suitably at infinity, we find that, for any \(\delta > 0\),
Taking \(\delta \) sufficiently small, we can absorb the first term by the left-hand side, proving the lemma. \(\square \)
We will also need the following result, which allows us to compute the equation satisfied by the commuted field, and which follows from a simple calculation:
Proposition 4.2
Let u be a smooth function and let V be a smooth vector field on \(\mathcal {M}\). Then, we have
In particular, if \(\Box _g u = 0\) and V is a Killing vector field for the metric g, then \(\Box _g (V u) = 0\)
4.1 Uniform Boundedness on Two-Charge Microstate Geometries
In this section, we will prove uniform boundedness for solutions of the wave equation
on two-charge microstate geometries (10).
We begin by applying the energy estimate with the multiplier T, which allows us to prove the following:
Proposition 4.3
(The T-energy estimate on two-charge microstates). Let u solve the wave equation \(\Box _g u = 0\) on a two-charge microstate geometry, with metric (10). Then for any \(t \ge 0\) and any \(\epsilon > 0\), we have the following degenerate energy estimate:
In addition, there is a positive constant \(C(\epsilon ) > 0\) such that
Proof
We begin with Proposition 3.14. Note that
and so
Moreover, in the region \(\Sigma _t \setminus \tilde{\mathcal {S}}_t^\epsilon \) we have \(g(T, T) \le -\epsilon \). Since \(T = -g(T, n)n + N\), we have
In particular, we find that there is some positive constant \(c(\epsilon ) > 0\) such that
In fact, we have that
with equality on and only on \(\mathcal {S}\). In order to prove the proposition, we only need to check that \(N \ne 0\) in the region \(\tilde{\mathcal {S}}_t^\epsilon \). But in this region, we have
Since \(g(T, n) \sim 1\), we find that g(N, N) is bounded away from zero as long as \(\epsilon \) is sufficiently small. \(\square \)
The previous proposition proves boundedness of the degenerate energy, but we wish to conclude boundedness of the non-degenerate energy, including the derivatives in the N direction on the submanifold \(\mathcal {S}\). In order to do this, we will first have to commute the wave equation with a suitable operator, and we will then need to make use of the Hardy inequality of Lemma 4.1.
Note that \(\Phi \) is a Killing vector field for the two-charge microstate geometry (and also for the three-charge microstate geometry), and so from Proposition 4.2 we find that the field \((\Phi u)\) satisfies the wave equation \(\Box _g (\Phi u) = 0\).
We now aim to show that, in the region \(\tilde{\mathcal {S}}_t^\epsilon \), for sufficiently small \(\epsilon \), we can express the vector field N in terms of the \(\Phi \) and the “good” derivatives:
Proposition 4.4
(Expressing N in terms of \(\Phi \)). For all sufficiently small \(\epsilon \), we have
in the region \(\tilde{\mathcal {S}}_t^\epsilon \), and moreover, N can be expressed as
where there exists some constant \(C(\epsilon ) > 0\) such that
in the region \(\tilde{\mathcal {S}}_t^\epsilon \).
Proof
Decomposing \(\Phi \) in the basis \(\{ n, X_1, \ldots , X_5\}\), we write
Taking the inner product with n, recalling that \(n \propto \mathrm {d}t^\sharp \) and \(\Phi (t) = 0\) we find that \(\Phi ^0 = 0\). On the other hand, we have that
where we recall that, in the region \(\tilde{\mathcal {S}}_t^\epsilon \), if \(\epsilon \) is sufficiently small, then there is some constant \(C(\epsilon ) > 0\) such that
Now, we can write
So we need a lower bound on \(|g(\Phi , N)|\) in order to prove the proposition.
Now, recalling the definition of N, we find that
since \(g(\Phi , n) = 0\). However, in the region \(\tilde{\mathcal {S}}_t^\epsilon \) we have \(|\theta - \frac{\pi }{2}| < \epsilon \) so that \(\sin \theta \) is bounded away from zero. Additionally, we have \(hf \rightarrow \sqrt{Q_1 Q_2}\) as \(r \rightarrow 0\), \(\theta \rightarrow \frac{\pi }{2}\) so that |hf| is bounded away from zero in the region in question.
In order to finish the proof of the proposition, we note that
which is bounded by some constant (depending on \(\epsilon \)) in the region \(\tilde{\mathcal {S}}_t^\epsilon \). \(\square \)
We require one more proposition, establishing that the vector field R is in the span of the “good” vector fields in any region where |N| is bounded away from zero.
Proposition 4.5
Let \(x \in \mathcal {M}\) be a point such that \(g(N,N) \ne 0\) at the point x. Then, we have
where we recall the definition of the vector field R given in Eq. (37).
Moreover, we have
where
Proof
Decomposing in the orthonormal basis \(\{n, X_1, \ldots , X_5\}\), we can write
We immediately conclude that \(R^0 = 0\) since \(R(t) = 0\) and \(n \propto \mathrm {d}t\). Thus, we only need to show that \(R^5 = 0\).
Since \(g(N, N) \ne 0\) at x, we can write
and so we find that
where the last line follows from the fact that \(N = T + g(T, n)n\). But in both the two- and three-charge microstate geometries, we observe directly from Eqs. (6) and (10) that \(g(R, T) = 0\). Finally, to conclude the last part of the proposition we note that \(g(R, R) \sim 1\). \(\square \)
We are now ready to prove the uniform boundedness statement:
Theorem 4.6
(Uniform boundedness of solutions to the wave equation on two-charge microstate geometries). Let u be a solution to the wave equation \(\Box _g u = 0\) on a two-charge microstate geometry, with compactly supported initial data on the initial hypersurface \(\Sigma _0\). Then, for all \(t \ge 0\) we have
Proof
We begin by applying the T-energy estimate of Proposition 4.3 to both the field u and the field \(\Phi u\). We use the form of the T-energy inequality given in Eq. (42) for the field u, and the form given in Eq. (41) for both the field u and the commuted field \(\Phi u\). We then sum the resulting inequalities, multiplying both inequalities which are of form (41) by some large constant C (to be fixed later). We obtain
Now, we use the fact that R is in the span of the “good derivatives” in the region \(\tilde{\mathcal {S}}_t^\epsilon \) as shown in Proposition 4.5, to show
Since u has compact support on the initial data surface \(\Sigma _0\), we can use the domain of dependence property of solutions to the wave equation to show that
at any time \(t \ge 0\). We can therefore appeal to the Hardy inequality of Lemma 4.1 and find that, for all sufficiently small \(\epsilon \) there is some constant \(C(\epsilon ) > 0\) such that
where we have made use of the fact that r is bounded above in the region \(\tilde{\mathcal {S}}_t^\epsilon \). In particular, returning to Eq. (57) we can show
Now, in the region \(\tilde{\mathcal {S}}_t^\epsilon \), we have that \(N \in {{\,\mathrm{span}\,}}\{\Phi , X_1, X_2, X_3, X_4\}\) according to Proposition 4.4. Thus, if we take the constant C to be sufficiently large, then we can absorb the first term on the right-hand side of Eq. (58) by the left-hand side, finishing the proof of the theorem. \(\square \)
4.2 Uniform Boundedness on Three-Charge Microstate Geometries
In this subsection, we will prove uniform boundedness of waves on three-charge microstate geometries. We will roughly follow the pattern of the proof of boundedness in two-charge microstate geometries, first applying the T-energy estimate and then attempting to control the terms with the wrong sign by commuting and making use of the Hardy inequality. The main difference is that there is a genuine ergoregion in the three-charge microstates, meaning that, rather than being degenerate, the T-energy can actually become negative in the ergoregion. As such, we must also make use of the globally null Killing vector field V in order to obtain a degenerate energy estimate.
We begin by applying the energy estimate with the multiplier T, which allows us to prove the following:
Proposition 4.7
(The T-energy estimate on three-charge microstates). Let u solve the wave equation \(\Box _g u = 0\) on a three-charge microstate geometry, with metric (6). Then for any \(t \ge 0\) and any \(\epsilon > 0\), we have the following energy estimate (with indefinite sign): there is a positive constant \(C(\epsilon ) > 0\) such that
Proof
Following identical calculations as in the two-charge case, and making use of Proposition 3.14, we can obtain
The difference with the two-charge case is that \(g(T, T) = g(N, N) - (g(T,n))^2\) becomes positive in the ergoregion \(\mathcal {E}\) (indeed, this is the definition of the ergoregion) and so the coefficient of \((X_5 u)^2\) becomes negative in the equation above, within the ergoregion. On the other hand, we have
Finally, we note that, in the ergoregion \(\mathcal {E}_t\) we have
Since \(g(T,n) \sim 1\), g(N, N) is bounded away from zero in the ergoregion, it enables us to replace the \(X_5\) derivative by the N derivative in the ergoregion. \(\square \)
We will also need to perform an energy estimate using the globally null vector field V. In order to do this, we need to choose a different basis for the tangent space of \(\Sigma _t\), which we will construct with the help of the following definition:
Definition 4.8
(The vector field \(N_V\)). Define the vector
Proposition 4.9
(Bounding the norm of \(N_V\)). There is some constant \(C > 0\) such that
Proof
Since V is null, we have
On the other hand, we have
since \(g(Z, n) = 0\). \(\square \)
Definition 4.10
(The vector fields \(Y_A\)). We define an orthonormal basis of vector fields \(Y_A\) for \(\Sigma _t\), such that \(Y_5\) is parallel to \(N_V\), i.e.
Definition 4.11
(Schematic notation for derivatives adapted to the frame \(\{ Y_A\}\)). We define the following notation:
i.e. the derivatives \(\hat{\partial } u\) do not include the derivative in the \(N_V\) direction.
Proposition 4.12
(The V-energy estimate on three-charge microstate geometries). Let u solve the wave equation \(\Box _g u = 0\) on a three-charge microstate geometry. Then for any \(t \ge 0\) we have the following degenerate energy estimate:
Proof
Following a very similar set of calculations to those for the T-energy estimate (see Proposition 3.14), we find
However, since V is globally null, we find that
and so the final term in the above equation vanishes, proving the proposition. \(\square \)
Before we use the Hardy inequality of Lemma 4.1, we need to show the R can be written in terms of the \(\hat{\partial }\) derivatives:
Proposition 4.13
The vector field R satisfies \(R \in {{\,\mathrm{span}\,}}\{ Y_1, Y_2, Y_3, Y_4 \}\), and moreover, we can express R as
where
Proof
Decomposing in the basis \(\{ n, Y_1, \ldots , Y_5\}\), we write
Taking the inner product with n, and recalling that \(n \propto \mathrm {d}t^\sharp \) and that \(R(t) = 0\), we find that \(\hat{R}^0 = 0\). In addition, we have that
But, since \(g(R, n) = 0\) we have that
where the final equality follows from the explicit form of the metric in Eq. (6).
To finish the proof of the proposition, we simply note that \(g(R, R) \sim ~1\). \(\square \)
We also need to show that \(N_V\) can be expressed in terms of the vector fields \(\Phi \), \(\Psi \) and the derivatives \(\hat{\partial }\):
Proposition 4.14
The vector field \(N_V\) satisfies \(N_V \in {{\,\mathrm{span}\,}}\{ \Phi , \Psi , Y_1, Y_2, Y_3, Y_4 \}\), and moreover, in the region \(\mathcal {E}_t\) we can express \(N_V\) as
where
in the region \(\mathcal {E}_t\).
Proof
We begin by expressing \(\Phi \) in terms of the basis \(\{n, Y_1, \ldots , Y_5\}\):
Taking the inner product with n and recalling that \(n \propto \mathrm {d}t^\sharp \) and \(\Phi (t) = 0\), we find that \(\Phi ^0 = 0\). On the other hand, to find the coefficient \(\hat{\Phi }^5\) we compute
and, from the explicit form of the metric given in Eq. (6) we compute
So we see that, away from \(\theta = 0\), we have
Similarly, we can write
Once again, since \(n \propto \mathrm {d}t^\sharp \) and \(\Psi (t) = 0\) we find that \(\Psi ^0 = 0\). Now, we have
and from the explicit form of metric (6) we find
So we see that, away from \(\theta = \frac{\pi }{2}\), we have
Putting the last few statements together proves the proposition. \(\square \)
We are now ready to prove uniform boundedness on three-charge microstate geometries.
Theorem 4.15
(Uniform boundedness of solutions to the wave equation on three-charge microstate geometries). Let u be a solution to the wave equation \(\Box _g u = 0\) on a two-charge microstate geometry, with compactly supported initial data on the initial hypersurface \(\Sigma _0\). Then, for all \(t \ge 0\) we have
Proof
We begin with the T-energy estimate for the field u (see Proposition 3.14). To this, we add the V-energy estimate for u multiplied by some large constant C. Finally, we add both the V-energy estimates for the fields \(\Phi u\) and \(\Psi u\), also multiplied by the large constant C. We note that both \(\Phi \) and \(\Psi \) are Killing vector fields for metric (6), and so from Proposition 4.2 the fields \((\Phi u)\) and \((\Psi u)\) also satisfy the wave equation. Thus, we find
Now, since u is compactly supported on \(\Sigma _0\), by the domain of dependence property it is compactly supported on the surface \(\Sigma _t\) and so in particular we can apply the Hardy inequality of Lemma 4.1. We have
where the second inequality follows from Proposition 4.13.
The region \(\mathcal {E}_t\) is compact, so r is bounded above in \(\mathcal {E}_t\), and we have
Substituting into Eq. (74), we find
Now, we can use Proposition 4.14 to find
so if we take the constant C to be sufficiently large, then we can absorb the first term on the right-hand side of Eq. (75) by the left-hand side, proving the theorem. \(\square \)
We note that in both Theorems 4.6 and 4.15 the restriction to compactly supported initial data may be replaced by data satisfying, say, \(E^{(1)}_{0} < \infty \) by standard density arguments.
5 Non-decay of Waves on Three-Charge Microstate Geometries
In the previous section, we saw that linear waves on both two- and three-charge microstate geometries are uniformly bounded, in the sense that their energy is bounded in terms of the initial (higher order) energy. In this section, we will show that the local energy of such waves does not decay on three-charge microstate geometries. This follows from [17] (see also the recent work [37]) but, for completeness, we shall give a slightly more detailed and more explicit construction below.
Theorem 5.1
(Non-decay of local energy on three-charge microstate geometries). Let \(k \ge 0\) be some constant. Then, on any three-charge microstate geometry, there exists a solution u to the wave equation \(\Box _g u = 0\), a T-invariant open region \(\mathcal {U}_t \subset \mathcal {E}_t\) and a positive constant \(C_k > 0\) such that, at all times \(t \ge 0\),
Moreover, the initial data for u can be chosen to be smooth and compactly supported.
Proof
Applying the T-energy estimate (using Proposition 3.14), we find that
In particular, by separating the surface \(\Sigma _t\) into the ergoregion \(\mathcal {E}_t\) and its complement, we find
Now, since the hypersurface \(\Sigma _t\) is uniformly spacelike, and
we have that \(g(T, n) < 0\), and so the first integral on the right-hand side of (79) is nonnegative. Additionally, outside the ergoregion we have \(g(T,T) \le 0\) and so the second integral on the right-hand side is nonnegative. We conclude that
and so, if we can find initial data such that the right-hand side of (80) is strictly positive, then the local energy of u in the ergoregion at any time \(t \ge 0\) will be bounded away from zero. This corresponds to constructing initial data such that the energy associated with the T vector field is strictly negative.
On \(\Sigma _0\), we can freely prescribe both u and (nu), which we do in the following way. Define the submanifold \((\mathcal {U}_1)_t^\epsilon \subset \mathcal {E}_t\) by
Note that the vector field N is transverse to the submanifold \((\mathcal {U}_1)_t^\epsilon \); indeed, we have
and \(g^{tt} = g^{-1}(\mathrm {d}t, \mathrm {d}t) \sim 1\) while
which is also bounded away from zero in the ergoregion \(\mathcal {E}_t\). Hence, we can define the region \((\mathcal {U}_2)_t^{(\epsilon , \delta )}\) as the set of points in \(\mathcal {M}\) which can be reached from \((\mathcal {U}_1)_t^\epsilon \) by moving along the integral curves of N (in either direction) a distance of at most \(\delta \). We can define the parameter s by
Then, for all \(\epsilon > 0\), we see that for all sufficiently small \(\delta \), the region \((\mathcal {U}_2)_t^{(\epsilon , \delta )}\) is an open region (as a subset of \(\Sigma _t\)), strictly contained within the ergoregion \(\mathcal {E}_t^{(\epsilon , \delta )}\).
Now, we define a smooth cut-off function \(\chi \) such that
Note that, for \(\epsilon \) sufficiently small, the set \((\mathcal {U}_2)_t^{(2\epsilon , \delta /2)}\) is non-empty and is strictly contained within the set \((\mathcal {U}_2)_t^{(\epsilon , \delta )}\).
Finally, we are ready to define the initial data for the wave equation. We define the initial data
for some large constant M to be determined later. Then, we find
and the right-hand side of Eq. (80) is given by
for some large constant C. Since \(\chi \) is smooth, if we take M sufficiently large then this is positive. Moreover, note that the initial data defined in (85) are smooth and compactly supported, proving the theorem. \(\square \)
6 Slow Decay of Waves on Two-Charge Microstate Geometries
Unlike in the three-charge case, two-charge microstate geometries do not possess an ergoregion, but only a submanifold \(\mathcal {S}\) such that T is null on \(\mathcal {S}\). As such, in contrast to the three-charge case, we cannot use the construction of Friedman to produce waves whose local energy does not decay. Instead, in this section we will construct quasimodes: smooth, compactly supported approximate solutions to the wave equation which do not decay. Since these approximate solutions solve the wave equation with a very small error, they can be used to contradict any uniform decay statement with a sufficiently fast decay rate.
Our approach in this section closely follows the approach first used in [26]: we use the separability of the wave equation to construct mode solutions in some bounded region, where we artificially impose (Dirichlet) boundary conditions on the boundaries (which will be surfaces of constant r). We then continue these functions in some smooth way, so that they vanish in a slightly larger region. The idea is that, with a judicious placement of the boundaries, these functions will be very close to solutions of the wave equation.
There are, however, several major differences between the present work and that of [26]. First, we are aiming to show slower than logarithmic decay, which means that the discrepancy between the quasimodes we construct and actual solutions to the wave equation must be super-exponentially suppressed. This is possible because of the structure of the potential, which has a local minimum at (in the high angular frequency limit) exactly zero. To exploit this, we must construct mode solutions with time frequencies which are uniformly bounded in terms of the angular frequency. This contrasts with the approach of [26], in which the time frequency grows in proportion to the angular frequency. We must also then adjust the position of the boundaries where we impose Dirichlet boundary conditions: we choose these to be at some value of r which grows with the frequency, rather than at some fixed value of r as in [26]. The combination of these two features will allow us to obtain the desired super-exponentially small errors.
We also encounter an additional technical difficulty: at each fixed frequency, the effective potential (after separating variables) diverges at \(r = 0\). This must be carefully handled in order to ensure that we retain the desired control over the eigenvalues, which correspond to the time frequencies.
Finally, we note that, as in [26], to construct the quasimodes we need to solve a nonlinear eigenvalue problem. As in [26], we can do this by first solving a related linear eigenvalue problem and then using perturbative arguments. In [26], certain monotonicity properties of the potential were used, along with a continuity argument, to handle this perturbative step. In the present case, the relative smallness of the eigenvalues we are considering actually makes things easier: we find that we are able to appeal directly to the implicit function theorem to obtain a solution to the nonlinear eigenvalue problem, given a solution to the corresponding linear problem, at least for sufficiently large angular momentum.
6.1 Construction of Modes with Bounded Frequency
This section is devoted to the proof of the following theorem:
Theorem 6.1
(Existence of quasimodes with bounded frequencies). On any two-charge microstate geometry, there exist “mode solutions”: regular solutions to the wave equation \(\Box _g u = 0\), where Dirichlet boundary conditions are imposed at \(r = R R_z \mu _\ell \) (in particular, these solutions are regular at \(r = 0\)), where R is some suitably large constant to be fixed later. These mode solutions are of the form
for some \(\omega \in \mathbb {R}\) and integers \((\lambda / R_z)\), \(m_\psi \) and \(m_\phi \). \(\mu _\ell \) is defined to be the \(\ell \)-th eigenvalue associated with the eigenvalue equation for \(u_\theta \) (see Eq. (93)), and we have
Finally, and crucially, these mode solutions can be chosen such that the frequency \(\omega \)does not scale with\(\ell \). That is, if we choose some constant \(\omega _{\mathrm{max}}\) sufficiently large, then for all sufficiently large \(\ell \) there exists a mode solution with
The Proof of Theorem 6.1 is rather technical, so we shall first outline the structure of the proof. We begin by establishing the existence of mode solutions with the required properties for a related linear eigenvalue problem. We then study a family of eigenvalue problems, labelled by a parameter b, which continuously transition between the linear problem and the true eigenvalue problem we wish to study. In particular, \(b = 0\) labels the linear eigenvalue problem, and \(b = 1\) labels the related nonlinear problem. While the desired properties of the mode solutions hold, we are able to use the implicit function theorem to show that mode solutions exist at slightly larger values of b than those we have already obtained. We are then able to show that the desired properties of the mode solutions also extend to larger values of b, as long as the mode solutions exist. We are thus able to bring b all the way up to \(b=1\), establishing the desired result.
6.1.1 Deriving the Eigenvalue Problem
As mentioned above, we shall search for solutions of the wave equation on two-charge microstate geometries which are of the form
We are trying to find solutions which are localised near the surface on which null geodesics are stably trapped (i.e. the submanifold \(\mathcal {S}\)), which is defined by \(r = 0\) and \(\theta = \frac{\pi }{2}\). The corresponding null geodesics have vanishing momentum in the \(\psi \) direction, and so we set
Now, following [16], we shall work with dimensionless variables
We also define \((\mu _\ell )^2\) to be the \(\ell \)-th eigenvalue associated with the \(u_\theta \) equation. To be specific, we let \(u_{\theta , \ell }\) be the eigenfunction associated with the \(\ell \)-th eigenvalue of the \(\theta \) equation, i.e.
Additionally, and also motivated by the geometric optics approximation, we shall set
In terms of these variables, the equation satisfied by the radial wavefunction \(u_r(r)\) can be written in self-adjoint form as
where
and where the coefficients are as follows:
We define the variable w by
then we find that w satisfies
with \(V_2\) related to \(V_1\) by
Note that, as \(y \rightarrow 0\), we have
Now, we can re-write Eq. (99) in the form
where
Note that, as \(y \rightarrow \infty \) we have
The above is summarised in the following:
Proposition 6.2
Let u be of the form
where the dimensionless variables are defined in Eq. (92). Suppose that \(u_{\theta ,\ell }\) solves the eigenvalue problem (93), and suppose that w satisfies Eq. (101).
Then, u solves the wave equation \(\Box _g u = 0\).
6.1.2 The Operator \(\mathcal {H}\) and its Properties
Let us define the Hermitian operator \(\mathcal {H}\) by
for w in some suitable function space. Our aim is to show that \(\mathcal {H}\) admits eigenvalues which do not scale with \(\ell \), but as a preliminary step we need to establish that \(\mathcal {H}\), defined to act on a suitable function space, has compact resolvent and trivial kernel. Since the effective potential \(V_3\) diverges as \(y \rightarrow 0\), this is not obvious.
Proposition 6.3
The for any \(R > 0\), the operator \(\mathcal {H}\) is a linear map
with compact resolvent.
Proof
Recall that, since functions in \(H^1_0[0, R \mu _\ell ]\) are limits of sequences of compactly supported functions in \((0, R\mu _\ell )\), the operator \(\mathcal {H}\) is Hermitian. Moreover, the image of \(H^1_0([0, R \mu _\ell ])\) does in fact lie in the space \(H^{-1}_0([0, R\mu _\ell ])\), as we shall show below. Let \(w_1 \in H_0^1([0, R\mu _\ell ])\), then we have
where \(\langle \cdot , \cdot \rangle \) is the standard \(L^2\) inner product on the interval \([0, R\mu _\ell ]\), and we have omitted the interval on which the norms are defined for visual clarity. But we have
where we have made use of the Cauchy–Schwartz inequality, and the implicit constant in the above inequality is allowed to depend on \(\mu _\ell \), \(\tilde{\lambda }\) in addition to the metric parameters. Now, using Cauchy–Schwartz again, we have
and, for \(w \in H^1_0([0, R \mu _\ell ])\), we can integrate by parts to write
and so, for \(w \in H^1_0([0, R\mu _\ell ])\) we have
all of which means that
meaning that the image of \(H^1_0([0, R\mu _\ell ])\) by the operator \(\mathcal {H}\) does lie in the space \(H^{-1}_0([0, R\mu _\ell ])\) as promised. In fact, the same calculation also shows that the operator \(\mathcal {H}\) has compact resolvent. \(\square \)
We also want to show that the operator \(\mathcal {H}\) is positive, in the sense that, for any \(w \in H^1_0([0, R\mu _\ell ])\) we have
In fact, we can only do this for large values of \(\mu _\ell \), assuming also a lower bound on \(\mu _\ell \) in terms of \(\tilde{\omega }\) and \(\tilde{\lambda }\) (recall that \(\mu _\ell \) is an eigenvalue of problem (93), in which \(\tilde{\omega }\) and \(\tilde{\lambda }\) appear):
Proposition 6.4
Suppose that there exist values of \(\mu _\ell \), eigenvalues of problem (93), satisfying the bound:
where c is some fixed positive constant (independent of all of the other variables).
Then, for such values of \(\mu _\ell \), we have \(\langle w, \mathcal {H} w \rangle > c|| w ||_{L^2([0, R\mu _\ell ])}\) (recall that the operator \(\mathcal {H}\) depends on \(\mu _\ell \) through the form of the potential \(V_3\)). In particular, \(\langle w, \mathcal {H} w \rangle > 0\) for all nonzero \(w \in H_0^1([0, R\mu _\ell ])\), i.e. \(\mathcal {H}\) is a positive operator.
Note that we shall need to justify bound (109) later, i.e. we will need to construct these eigenvalues of problem (93).
Proof
To prove that \(\mathcal {H}\) is positive, note that for sufficiently large \(\mu _\ell \) (assuming bound (109) we have
but we have already seen that, for \(w \in H^1_0[0, R\mu _\ell ]\),
so \(\mathcal {H}\) is positive. In particular, this implies the lower bound: for all sufficiently large \(\mu _\ell \) obeying bound (109), \(\tilde{\omega } \ge \tilde{\omega }_{\mathrm{min}}\) for some \(\tilde{\omega }_{\mathrm{min}} > 0\). Note that, if \(\tilde{\omega }_{\mathrm{min}}\) is chosen to be the smallest eigenvalue of \(\mathcal {H}\), then, as we will see later, \(\tilde{\omega }_{\mathrm{min}}\) can be bounded above uniformly in \(\ell \). We will not need a lower bound for \(\tilde{\omega }_{\mathrm{min}}\). \(\square \)
Summarising the above calculations, we see that, for values of \(\mu _\ell \) obeying bound (109), \(\mathcal {H}\) is a positive Hermitian operator with compact resolvent, from \(H^1_0([0, R\mu _\ell ])\) to \(H^{-1}_0([0, R\mu _\ell ])\). The space \(H^1_0([0, R\mu _\ell ])\) therefore admits a basis of eigenfunctions of \(\mathcal {H}\), whose associated eigenvalues are positive and can be listed in ascending order.
6.1.3 The Linear Eigenvalue Problem
Now that we have established these basic properties of the operator \(\mathcal {H}\), we wish to bound the associated eigenvalues. Specifically, we would like to solve the following problem:
Note that, at fixed values of \(\mu _\ell \) and \(\tilde{\lambda }\) this can be regarded as a nonlinear eigenvalue problem: the unknown \(\tilde{\omega }\) plays the role of an eigenvalue (in fact, the eigenvalue is a constant multiple of \(\tilde{\omega }\)), but the effective potential \(V_3\)also depends on the value \(\tilde{\omega }\).
Before tackling this, we shall first consider the related linear eigenvalue problem, obtained by replacing \(\tilde{\omega }\) when it appears in the effective potential \(V_3\) by some fixed constant \(\tilde{\omega }_0\), i.e.
We will also forget the dependence of \(\mu _\ell \) on \(\omega \) (through Eq. (93)) and, for the purpose of solving this linear equation, treat \(\mu _\ell \) as an independent constant.
Regarding this linear eigenvalue problem, we will establish the following result:
Proposition 6.5
Suppose that, for sufficiently large \(\ell \), we have
(note that, if this is true, then bound (109) with \(\tilde{\omega }\) replaced by \(\tilde{\omega }_0\) will certainly be satisfied for sufficiently large \(\ell \)).
Then there exists \(\tilde{\omega }_{(\text {max})} = \tilde{\omega }_{(\text {max})}(s, \tilde{\lambda }) > 0\), which is independent of\(\mu _\ell \), such that for all sufficiently large \(\ell \) the linear eigenvalue problem (111) has at least one solution with an associated eigenvalue \(2s^{-2} \ell \tilde{\omega }\), where
Proof
In a similar way to [26, 29], we will place a lower bound on the number of eigenvalues below some threshold value.Footnote 8 Note that we will look for eigenvalues which scale like \(\ell \) rather than \(\ell ^2\), which was the rate used in the two papers cited above. Assuming that \(\mu _\ell \gg 1\), we split the region \(y \le R\mu _\ell \) into three subregions:
Let \(N(\tilde{\omega }_{\mathrm{max}})\) be the number of eigenvalues \(\tilde{\omega }\) below the threshold \(\left( 2s^{-2}\mu _\ell \tilde{\omega }_{\mathrm{max}}\right) \) for the linear eigenvalue problem (111). Let \(N_{R_2}(\tilde{\omega }_{\mathrm{max}})\) be the number of eigenvalues below the same threshold for the related Dirichlet problem on the region \(R_2\), obtained by replacing the effective potential \(V_3\) by its maximum value in the region \(R_2\), i.e. we search for solutions to the problem
where \(V_{\mathrm{max}}\) is the maximum value of \(V_3\) in the region \(R_2\):
and where we are looking for eigenvalues satisfying the bound
We claim that \(N_{R_2}(\tilde{\omega }_{\mathrm{max}}) \le N(\tilde{\omega }_{\mathrm{max}})\). To see this, consider the variational characterisation of the eigenvalues. For the original problem (111), using the minimax principle, the n-th eigenvalue can be characterised as
where \(\langle \cdot , \cdot \rangle \) represents the standard \(L^2\) inner product on the interval \([0, R\mu _\ell ]\). In other words, to find the n-th eigenvalue we need to consider sets of n mutually orthogonal (in \(L^2\)) functions, find the largest Rayleigh quotient among them and then minimise this among all such sets of functions.
Similarly, the n-th eigenvalue for problem (113) on \(R_2\), which we label as \(\tilde{\omega }^+_n\), can be characterised (using the min–max theorem and the fact that the resolvent of \(\mathcal {H}\) is compact) as
It is clear that \(\tilde{\omega }^+_n \ge \tilde{\omega }_n\), both because \(V_{\mathrm{max}} \ge V_3\) in the region in question, and because to find \(\tilde{\omega }_n\) the \(f_i\) are allowed to range over a strictly larger function space, that is, sets of mutually orthogonal functions, all lying in \(H^1_0([0, R\mu _\ell ])\) rather than sets of mutually orthogonal functions that lie in \(H^1_0(R_2)\). Thus, \(N_{R_2}(\tilde{\omega }_{\mathrm{max}}) \le N(\tilde{\omega }_{\mathrm{max}})\). In particular, since we are only interested in a lower bound on the number of eigenvalues, this allows us to safely neglect regions 1 and 3 and focus only on the central region.
Now, in the region \(R_2\), for fixed values of \(\tilde{\omega }_0\) and \(\tilde{\lambda }\), using the explicit form of the potential \(V_3\) together with the bounds \(\frac{1}{2} \mu _\ell ^{-\frac{1}{2}} \le y \le \mu _\ell ^{-\frac{1}{2}}\), that
and so, for sufficiently large \(\mu _\ell \) we have the bound
Now, we can explicitly solve problem (113) since the effective potential is just a fixed constant. Using bound (119) for \(V_3\) in the region \(R_2\) we find that the n-th eigenvalue satisfies
and so
Thus, if we take \(\tilde{\omega }_{\mathrm{max}}\) sufficiently large, depending on s and \(\tilde{\lambda }\) but independent of \(\mu _\ell \), then there is at least one eigenvalue \(\tilde{\omega }\) for the linear problem (111) satisfying \(\tilde{\omega } \le \tilde{\omega }_{\mathrm{max}}\). Moreover, we see that the number of such eigenvalues grows at least as fast as \(\sqrt{\tilde{\omega }_{\mathrm{max}}}\) for large values of \(\tilde{\omega }_{\mathrm{max}}\).
We also want to show that an eigenvalue \(\tilde{\omega }\) can be found satisfying \(\tilde{\omega } > 4\). This follows from a very similar argument, although in this case we should count the number of eigenvalues to the associated problem with Neumann boundary conditions, and where the potential is replaced by its minimum value in the interval \(\frac{1}{2} \mu _\ell ^{-\frac{1}{2}} \le y \le \mu _\ell ^{-\frac{1}{2}}\). See [26, 29] for additional details.
In view of (118), for sufficiently large \(\mu _\ell \), in the region \(\frac{1}{2} \mu _\ell ^{-\frac{1}{2}} \le y \le \mu _\ell ^{-\frac{1}{2}}\), we have \(V_3 \ge \frac{1}{2} \left( s^{-4} + 2s^{-2} + 4\tilde{\lambda }^2 \right) \). Then, following the arguments given in [26] (see also [29]), we can see that the number of eigenvalues below \(\frac{1}{2} \tilde{\omega }_{\mathrm{max}}\) obeys the bound
Combining this bound with bound (121), we see that, if \(\tilde{\omega }_{\mathrm{max}}\) is chosen sufficiently large, then for all sufficiently large \(\mu _\ell \) there is at least one eigenvalue in the range \(\frac{1}{2} \tilde{\omega }_{\mathrm{max}} \le \omega _{\mathrm{max}} \le \tilde{\omega }_{\mathrm{max}}\). \(\square \)
We need to connect this linear eigenvalue problem with the original nonlinear eigenvalue problem. In other words, we need to replace \(\tilde{\omega }_0\) (where it appears in the effective potential), with \(\tilde{\omega }\), and we also need to reintroduce the dependence of \(\mu _\ell \) on \(\tilde{\omega }\), by choosing \(\mu _\ell \) to be a solution to the angular eigenvalue problem (93), rather than an arbitrary constant as in the linear eigenvalue case.
To connect the calculation done above with the original, nonlinear eigenvalue problem, we introduce a parameter \(b \in [0,1]\) and define the operator
which also acts on functions in \(H^1([0, R\mu _\ell ])\), and where \(\mu _\ell (b, \tilde{\omega }, \tilde{\lambda })\) is the square root of the \(\ell \)-th eigenvalue associated with the problem
Regarding this problem, we will prove the following proposition:
Proposition 6.6
Let \(b \in [0,1]\) and \(\lambda \in \mathbb {R}\), and let \(\mu _\ell = \mu _\ell (b, \tilde{\omega }, \tilde{\lambda })\) be the \(\ell \)-th solution to the eigenvalue problem (124).
Suppose that, if \(u_r\) is a function satisfying
then \(u_r\) also satisfies the bound
Then, if \(\ell \) is sufficiently large, we have
Moreover, we can pick some \(\tilde{\omega }_{\mathrm{max}}\), independent of\(\ell \), such that there exists some \(\tilde{\omega } \ge 2\) satisfying \(\tilde{\omega } < 2\tilde{\omega }_{\mathrm{max}}\) and also such that the operator \(Q(b, \mu _\ell , \tilde{\omega }, \tilde{\lambda })\) has zero as an eigenvalue.
The important thing is that \(\tilde{\omega }\) can be bounded uniformly in \(\mu _\ell \), so that \(\tilde{\omega }\) does not scale with \(\mu _\ell \) (or, equivalently, with \(\ell \)). We shall also need to show that \(\mu _\ell \) can be chosen to be arbitrarily large by choosing \(\ell \) sufficiently large, and in addition, we shall need to justify the bound (6.5).
The extra assumption in this proposition, yielding bound (126) on normalised solutions to the eigenvalue problem, will be proven below, in Sect. 6.2.
Proof
For \(b = 0\), we haveFootnote 9\((\mu _\ell )^2 = \ell (\ell +2)\), which in particular means that \(\mu _\ell > \ell \), so that we can take \(\mu _\ell \) to be arbitrarily large by taking \(\ell \) to be large. In addition, this explicit equation for \(\mu _\ell \) makes bound (109) easy to prove in this case. The above calculations (with \(\omega _0 = 0\) and \(\tilde{\lambda }\) some fixed constant) then show that, for sufficiently large \(\ell \), we can find some \(\tilde{\omega }\) such that \(Q(0, \mu _\ell , \tilde{\omega }, \tilde{\lambda })\) has a zero eigenvalue. Moreover, using Proposition 6.5 we see that, if we take some \(\tilde{\omega }_{\mathrm{max}}\) sufficiently large (but, importantly, independent of \(\ell \)), then for all sufficiently large \(\ell \) it is possible to choose \(\tilde{\omega }\) to satisfy the bound \(\tilde{\omega } \le \tilde{\omega }_{\mathrm{max}}\).
The N-th eigenvalue of Q is given by \(\Lambda _N\) where
where \(u_r = u_r(y; N, b, \mu _\ell (b), \tilde{\omega }, \tilde{\lambda })\) is the corresponding eigenfunction, normalised such that \(\int _0^{R\mu _\ell } |u_r|^2\mathrm {d}y = 1\).
The angular eigenvalues \(\mu _\ell \) are themselves functions of b, \(\tilde{\omega }\) and \(\tilde{\lambda }\). In fact, we have
where the eigenfunction \(u_\theta \) is normalised by
The results proved in [38]—in particular, theorem 4.1, corollary 4.2 and theorem 7.1—show that, for the kinds of eigenvalue problems considered here, the eigenvalues are differentiable functions of the parameters. Moreover, the derivatives can be computed by applying the derivatives of the operators to the associated eigenfunctions. From this, it follows that
Combining the above few statements, we find that
where we are considering \(\ell \) to be some fixed integer. If we can show that the expression above is nonzero, then we can appeal to the implicit function theorem to find that, for b sufficiently small, we may find some \(\omega \) such that \(\Lambda _{N}(b, \mu _\ell , \tilde{\omega }, \tilde{\lambda }) = 0\). We shall prove this below, for sufficiently large \(\mu _\ell \). The idea is to show that the first two terms in the integrand above are \(\mathcal {O}(1)\), while the final term is exactly \(-2s^{-2} \ell \) due to the normalisation condition on \(u_r\).
First, we pick some very large constant \(\tilde{\omega }_{\mathrm{max}}\). Let \(b_{\mathrm{max}}\) be the largest value of \(b \in [0,1]\) such that the following holds:
- (I.)
For all sufficiently large \(\mu _\ell \), there exists a value of \(\tilde{\omega }\) satisfying \(|\tilde{\omega }| \le 2 \tilde{\omega }_\text {max}\) and such that \(\Lambda _N(b, \mu _\ell , \tilde{\omega }, \tilde{\lambda }) = 0\)
- (II.)
\(\ell \) can be expressed in terms of \(\mu _\ell \) as
$$\begin{aligned} \ell = \mu _\ell - 1 + \mathcal {O}\left( (\mu _\ell )^{-1} \right) \end{aligned}$$(132)
Note that condition \((\mathrm {II}.)\) ensures that \(\mu _\ell \) can be taken to be arbitrarily large (by taking \(\ell \) large). As noted above, at \(b = 0\), both conditions are satisfied (as long as \(\tilde{\omega }_{\mathrm{max}}\) is sufficiently large) and so \(b_{\mathrm{max}} \ge 0\).
We will now employ a bootstrap argument: assuming that conditions \((\mathrm {I}.)\) and \((\mathrm {II}.)\) hold for all \(b \in [0, b_{\mathrm{max}}]\) we will show that they actually hold for \(b \in [0, \min \{ b_{\mathrm{max}} +\epsilon , 1 \}]\). From this, it follows immediately that \(b_{\mathrm{max}} = 1\).
From the explicit form of the potential \(V_3\), we find
For \(b \le b_{\mathrm{max}}\) (where, in particular, \(\tilde{\omega } = \mathcal {O}(1)\)), we have \(\frac{\partial \mu _\ell }{\partial \tilde{\omega }} = \mathcal {O}\left( (\mu _\ell )^{-1}\right) \) so we only need to show that \(\frac{\partial V_3}{\partial \mu _\ell }\) is \(\mathcal {O}(\mu _\ell )\), which is clear from the explicit formula above.
On the other hand, all of the terms in the equation above for \(b\frac{\partial V_3}{\partial (b\tilde{\omega })}\) are clearly \(\mathcal {O}(1)\) except for the first one, which appears to be \(\mathcal {O}(\mu _\ell )\). In fact, below we will show that it is almost \(\mathcal {O}(1)\).
Equation (126) (which we will justify in the following section) implies that the contribution to the integrals in Eq. (131) from the region \(y \ge C (\mu _\ell )^{-\frac{1}{2} + \epsilon }\) is exponentially suppressed in \(\mu _\ell \); in particular, it is \(\mathcal {O}(1)\) at large \(\mu _\ell \). In the complement of this region, we have the bound (for sufficiently large \(\mu _\ell \)):
where we have also restricted to \(b \le b_{\mathrm{max}}\).
Now, combining the above calculations, we find that, for \(b \le b_{\mathrm{max}}\)
where we may choose \(\epsilon \) to be arbitrarily small. Hence, for sufficiently large \(\mu _\ell \), this is bounded away from zero. In fact, for all sufficiently large \(\mu _\ell \) we have the bound
Hence, we can use the implicit function theorem and conclude that, for some small \(\epsilon \) and for all sufficiently large \(\mu _\ell \), for all \(b \in [0, b_{\mathrm{max}} + \epsilon ]\) there exists a value of \(\tilde{\omega }\) such that
By a series of almost identical calculations, we can also show that, at least for \(b \le b_{\mathrm{max}}\), we have
Now, the implicit function theorem allows us to combine Eqs. (136) and (137) to conclude that, for all \(b \le b_{\mathrm{max}}\), for the choice of \(\tilde{\omega }\) made above we have
Moreover, recall that, at \(b = 0\) we can choose \(\tilde{\omega }\) to also satisfy
Hence, we can conclude that, for all sufficiently large \(\mu _\ell \), and for all \(b \in [0, b_{\mathrm{max}} + \epsilon ]\) it is possible to find a value of \(\tilde{\omega }\) such that \(\Lambda _N = 0\) and moreover such that \(\tilde{\omega } \le 2\omega _{\mathrm{max}}\). In other words, condition \((\mathrm {I}.)\) is actually satisfied for a slightly larger range of values of b.
Now, we only need to conclude that the same is true for condition \((\mathrm {II}.)\). Recall that, from Eq. (130) we have the bound
and so, for \(b \le b_{\mathrm{max}}\) we have
Also recall that, at \(b = 0\) we have \(\mu _\ell = \sqrt{\ell (\ell + 2)}\). Hence, integrating from \(b = 0\) to \((b_{\mathrm{max}} + \epsilon )\) we find that condition \((\mathrm {II}.)\) also holds for slightly larger values of b. But this contradicts the maximality of \(b_{\mathrm{max}}\), so we must be able to take \(b_{\mathrm{max}} = 1\). \(\square \)
In short, we have proved that, in the two-charge microstate geometries, if we choose some sufficiently large \(\tilde{\omega }_{\mathrm{max}}\), then for all sufficiently large \(\ell \) there are solutions to the associated Dirichlet problem, with boundary conditions imposed at \(y = R\mu _\ell \), and moreover, these solutions have associated frequencies satisfying the bound \(\tilde{\omega } \le 2\omega _{\mathrm{max}}\). Most importantly, this bound is uniform in \(\ell \), i.e. \(\tilde{\omega }_{\mathrm{max}}\) does not depend on \(\ell \). Finally, we have shown that the associated angular eigenvalues \(\mu _\ell \) also obey the bound \(\mu _\ell \sim \ell \). The only part of the proof not yet justified is Eq. (126), the proof of which is given in the next section.
6.2 The Cut-Off and the Associated Error
We can extend the quasimodes constructed in the previous subsection to continuous function on the whole of spacetime by setting \(u_r \equiv 0\) in the outer region \(r \ge R \mu _\ell \); however, these functions will not even be \(C^1\) in general. Instead, we will multiply \(u_r\) by a smooth cut-off function \(\chi _\ell (r)\), with support in the region \(r \in [\frac{1}{2} R \mu _\ell , R \mu _\ell ]\), such that \(\chi _\ell (\frac{1}{2} R\mu _\ell ) = 1\) and \(\chi _\ell (R\mu _\ell ) = 0\).
This means that the quasimodes no longer give a solution to the wave equation, but only an approximate solution. To quantify the error produced by the cut-off, we rely on Agmon estimates as in [26, 29]. We begin with a simple weighted energy-type estimate, which can be proven by integrating by parts and appears as lemma 5.1 in [29]:
Proposition 6.7
(Exponentially weighted energy estimate). Let \(r_2 \ge r_1\), let \(h > 0\) be a positive constant and let u, W and D be smooth, real-valued functions of \(r \in [r_1, r_2]\), with \(u(r_1) = u(r_2) = 0\). Then
Let \(u_r\) be the N-th eigenfunction of \(Q(b, \mu _\ell , \tilde{\omega }, \tilde{\lambda })\), with zero as the corresponding eigenvalue, and let \(U_{\mathrm{forbid}}\) be an open set such that
for some small positive constant \(\delta \) to be chosen later. We refer to \(U_{\mathrm{f}}\) as the “forbidden region”.
Similarly, we can define the “classical region”: we first define
then we define the classical region, \(U_{\mathrm{classic}}\), as the connected component of \(\tilde{U}_{\mathrm{classic}}\) containing the smallest values of y.
We define the Agmon distance between two points \(y_1\) and \(y_2\) as
which is easily seen to satisfy
We can define the distance to the “classical region” as
where we also define \(d_\omega ^{\mathrm{classic}}(y) := 0\) if there are no points \(y_1 \le y\) such that \(y_1 \in U_{\mathrm{classic}}\). Note that \(d_\omega ^{\mathrm{classic}}(y)\) measures the distance from the point y to the nearest point in the classical region “to the left” of y, i.e. to the nearest point in the classical region at a smaller radius than y.
We now pick any small \(\delta > 0\) and perform the exponentially weighted energy estimate of Proposition 6.7 with the following choices for the parameters and functions:
This gives the estimate
Now, in the region \(U_{\mathrm{forbid}}\) we have that
In particular, this means that for \(\delta \) sufficiently small, in the forbidden region \(U_{\mathrm{forbid}}\), we have
On the other hand, for sufficiently large \(\ell \), \(V_3\) satisfies the global inequality
which can be seen by the following calculation: first we note that \(y^2 (y^2 + s^2)^2 V_3\) is a polynomial in y. Keeping only the leading-order terms in each coefficient of this polynomial, we find that
and so, for sufficiently large \(\mu _\ell \), \(V_3 \ge -\frac{1}{4}y^{-2}\).
We can also see that, for sufficiently large \(\mu _\ell \), the classical region is disconnected from infinity, i.e. it is a finite interval. In view of the fact that \(y^2 (y^2 + s^2)^2 \left( V_3 - 2s^{-2} \tilde{\omega } \ell \right) \) is a polynomial in y, keeping only the leading-order terms in this polynomial we obtain
If \(\tilde{\lambda } = 0\), then it is clear that \(V_3 - 2s^{-2} \tilde{\omega } < 0\) for sufficiently small y. On the other hand, if \(\tilde{\lambda } > 0\) and \(\tilde{\omega } \ge 2\), then there is some region near the origin where the third term on the right-hand side of Eq. (150) is dominant, coinciding with the classical region. The fact that, for \(\tilde{\lambda } > 0\), the classical region does not extend all the way to \(y = 0\) is a manifestation of the “angular momentum barrier”: recall that the coordinates (y, z) parametrise a plane, with y playing the role of the radial coordinate and z the angular coordinate, and that \(\tilde{\lambda }\) is associated with the angular momentum of the wave in the z direction.
In the complement of the classical region, we have (by definition)
while, inside the classical region, we have \(d_{\tilde{\omega }}^{\mathrm{classic}} = 0\). We claim the following:
which we prove below:
Now, the first term on the right-hand side is non-positive, since \(u_r \in H^1_0([0, R\mu _\ell ])\) so the contribution from the boundary at \(y = 0\) vanishes, while the contribution from the other boundary is negative. Meanwhile, the other term can be bounded as
proving the claim.
Combining the above few estimates with Eq. (148) we find that, for all sufficiently small \(\delta \),
where \(a_{\tilde{\omega }}(\delta )\) is defined by
Now, suppose that there is some subset of the forbidden region, say \(U \subset U_{\mathrm{forbid}}\), and within U we have some lower bound on \(d_{\tilde{\omega }}^{\mathrm{classic}}\) which is uniform in \(\delta \). Then, we have the following lemma:
Lemma 6.8
Let \(U \subset U_{\mathrm{forbid}}\) be some subset of the forbidden region such that the Agmon distance to the classical region satisfies some lower bound:
independent of \(\delta \). Moreover, let U be a region such that \(V_3(y; b\mu _\ell , \tilde{\omega }, \tilde{\lambda })\) is bounded for all \(y \in U\) (i.e. \(0 \notin U\)).
Then for any constant \(\epsilon _0 > 0\) there exists some positive constant \(C(\epsilon _0, \tilde{\omega }_{\mathrm{max}})\) such that, for all sufficiently large \(\mu _\ell \) we have the bound
and indeed, for all \(k \ge 1\) there exists some constant \(C_k\) such that
Proof
We start by considering the second integral on the left-hand side of Eq. (151), neglecting for the moment the first term. Now, \(U \subset U_{\mathrm{forbid}}\), and within U we have the \(\mu _\ell \)-dependent (but \(\delta \)-independent) lower bound \(d_\omega ^{\mathrm{classic}} \ge d_U^{\mathrm{classic}}(\mu _\ell )\). Hence, for all sufficiently small \(\delta \), for all sufficiently large \(\mu _\ell \) we have
Now, we note that \(a_{\tilde{\omega }}(\delta ) \rightarrow 0\) as \(\delta \rightarrow 0\), uniformly in \(\tilde{\omega }\). Hence, we may pick any \(\epsilon _0 > 0\), and we can then find a positive constant \(C(\epsilon _0, \mathcal {E}, C_1)\) such that the following inequality holds:
which tells us that, as long as \(d_U^{\mathrm{classic}}\) is bounded away from zero, then the \(L^2\) norm of \(u_r\) is exponentially suppressed in the region U at large \(\mu _\ell \).
Now we return to the first term on the left-hand side of Eq. (151). We can estimate this as follows:
Both the first and third terms on the right-hand side are positive, so we can drop the third term. The second term can be bounded as follows:
for any positive constant \(\alpha > 0\). If we take \(\alpha \) sufficiently large, then we can absorb the term involving \(|\partial _y u_r|^2\) by the first term on the right-hand side of Eq. (158), leading us to the estimate
But we have \(V_3 \lesssim (\mu _\ell )^2\), so the second term on the right hand can be bounded by the earlier calculations, and so we have
completing the proof of the first part of the lemma.
To prove the last part of the lemma, we simply note that the eigenvalue equation (110) satisfied by \(\Psi _{\ell , N}\) allows us to bound
and higher derivatives can be treated similarly. \(\square \)
By choosing U to be the region \(y \gtrsim (\mu _\ell )^{-\frac{1}{2} + \epsilon }\), we can prove the bound in Eq. (126). In fact, expanding in powers of y the effective potential is given by
Note that the first term is \(\mathcal {O}(1 - 2\epsilon )\). Since the leading-order term is \(\mathcal {O}(1 + 2\epsilon )\), this first term can only be neglected if \(\epsilon > 0\). In other words, the following estimates are not uniform in \(\epsilon \).
Hence, in the region \(y \ge (\mu _\ell )^{-\frac{1}{2} + \epsilon }\) we have
for sufficiently large \(\mu _\ell \). Moreover, this bound holds for all values of \(b \in [0,1]\). This leads directly to the bound in Eq. (126).
Additionally, we can choose U to be the region \(\frac{1}{2}R\mu _\ell< y < R\mu _\ell \), coinciding with \(\text {support}(\chi _\ell )\). Then, (setting \(b = 1\)) for \(\ell \) sufficiently large, in view of (150) we see that, to leading order in \(\mu _\ell \) (using the fact that \(y = \mathcal {O}(\mu _\ell )\))
Hence, there is some \(y_1\) (independent of \(\ell \)) such that, for all sufficiently large \(\ell \),
We now pick R sufficiently small compared to \(\sqrt{\tilde{\omega }^2 - \tilde{\lambda }^2}\), so that the right-hand side of this inequality is positive. Note that \(\sqrt{\tilde{\omega }^2 - \tilde{\lambda }^2} \le \tilde{\omega }_{\mathrm{max}}\), so we can choose R independent of \(\ell \). Hence, with this choice of U we have the lower bound on \(a_{\omega (U)}\):
Substituting this into lemma (6.8), and choosing any value for \(\epsilon _0\) (say \(\epsilon _0 = 1\)) we find that the size of the solution \(u_r\) is super-exponentially suppressed in \(\ell \) in the region U, i.e. there are positive constants \(C_k > 0\) such that
Now, we have that
so, if u satisfies the wave equation \(\Box _g u = 0\) and the first two derivatives of \(\chi \) are supported in U and bounded in \(L^\infty \) by, say, \(\chi _0\), then we have
In particular, we conclude that, by setting
then u is an approximate solution to the wave equation, with an error quantified by the estimate
6.3 Bounding the Uniform Decay Rate
We can use the bound in the previous section to show that, if we take initial data which coincide with the initial data for the quasimodes, then the corresponding solutions remain close to the quasimodes for a long period of time. To show this, we need the following curved space version of Duhamel’s principle:
Proposition 6.9
(Duhamel’s principle). Let \(x \in \Sigma _t\) label a point in \(\Sigma _t\).
Let \(P(\tau , x; s)(f_1, f_2)\) be the solution to the homogeneous problem
i.e. \(P(t, x; s)(f_1, f_2)\) is the solution to the homogeneous wave equation at the point (t, x) with initial data \((f_1, f_2)\) posed at time \(t = s\).
Then, the solution to the problem
for F some bounded function, is given by
Proof
Let \(x^i\) be local coordinates on \(\Sigma _t\). Defining u as in the proposition, we find that
Moreover, u satisfies the correct initial conditions. \(\square \)
We can now use the results established above to provide counterexamples to possible uniform decay statements, which is the main theorem in this section:
Theorem 6.10
Let u denote a solution to the wave equation \(\Box _g u = 0\) on a two-charge microstate geometry. Let U be any open set containing the submanifold \(r = 0\).
Then for all \(k \ge 1\), there exist positive constants \(C_k\) and \(c_k\) such that
where \(W_0(\cdot )\) is the Lambert W function, defined by
and \({\text {SCH}}(\Sigma _0)\) denotes the space of Schwartz functions on \(\Sigma _0\).
Proof
We construct a sequence of approximate solutions as follows: let
Then recall that \(u_\ell \) approximately solves the wave equation in the following sense:
Now, let \(\tilde{u}_\ell \) be the solution to the wave equation with initial data on \(\Sigma _0\) that agrees with the data for \(u_\ell \).
We pick a sequence of open sets \(U_\ell \) such that
for some \(\epsilon > 0\). In particular, if U is any open set containing the submanifold \(r = 0\) then \(U_\ell \subset U\) for sufficiently large \(\ell \). Indeed, if we wish then we can pick all the sets \(U_\ell \) to be the same open set containing \(r = 0\), independent of \(\ell \). From Duhamel’s principle (Proposition 6.9), taking norms in the region \(U_{\ell , t} := U_\ell \cap \Sigma _t\) we find
Using the boundedness statement of Theorem 4.6, together with the Hardy inequality of Lemma 4.1, the quantitative error estimate from the end of the previous section (Eq. (171)) and the fact that the norms of the quasimodes are independent of time, we find
Where the factor of \((R \ell )^2\) comes from estimating the lower-order term using the Hardy inequality. Note, however, that by taking \(C_2\) to be slightly smaller we can absorb this contribution in the exponential factor. Now, we have
Recall that we have a lower bound on \(\tilde{\omega } \ge \tilde{\omega }_{\mathrm{min}}\), independent of \(\ell \). Hence, by taking \(\ell \) sufficiently large we can make the coefficient of the second term on the right-hand side of (181) arbitrarily small, and so it can be absorbed by the left-hand side. Thus, for sufficiently large \(\ell \), we find
so that the norm of \(u_\ell \) on the whole of \(\Sigma _0\) can be bounded by its norm in the smaller region \(U_\ell \).
Returning to Eq. (180), and using the trivial bound
along with the fact that norms of the quasimodes are time-independent, we find
Hence, for all sufficiently large constants C, if we take t to satisfy
then we can apply the reverse triangle inequality and conclude that
Now, we have
while we also have
so, for all sufficiently large \(\ell \), for fixed \(\tilde{\omega }_{\mathrm{max}}\) we have
Substituting into Eq. (184) and using the fact that the norms of the quasimodes are independent of time, we find that, for all times \(t \le C e^{\ell \log \ell }\), we have the bound
where in the last line we have used the fact that the solutions to the wave equation \(\tilde{u}_\ell \) and the quasimodes \(u_\ell \) have identical initial data on \(\Sigma _0\).
We now choose a sequence of times
for some sufficiently small constant C. Then, we find that we have constructed a sequence of times \(t_\ell \rightarrow \infty \), and a sequence solutions to the wave equation \(\tilde{u}_\ell \), such that for some constant \(c_1 > 0\)independent of\(\ell \) we have
We may also consider replacing the denominator in Eq. (188) with higher-order norms of the initial data. We claim that the following bound holds for the initial data:
The first inequality is clear from the definition of the higher-order energies, while the second can be established at follows. Since \(u_\ell \) is the initial data for a quasimode, we can exchange z derivatives for factors of \(\lambda \), which has been treated as some fixed constant in all of the above calculations. Additionally, we can exchange the T derivative for a factor of \(\tilde{\omega }\), which is actually bounded independently of \(\ell \) by \(\tilde{\omega }_{\mathrm{max}}\).
It is slightly more difficult to bound the higher-order angular derivatives, and we need to use elliptic estimates. For this, we first note that the function
satisfies the eigenvalue equation
where is the Laplacian on the 3-sphere, and \(\hat{u}\) is interpreted as a function on the 3-sphere by identifying the coordinates \((\theta , \phi , \psi )\) with the standard Hopf coordinates on the 3-sphere.
From Eq. (191), we find that we can estimate the first angular derivatives by the following: for sufficiently large \(\mu _\ell \),
where the first line is obtained by multiplying (191) by \(\hat{u}\) and integrating by parts. Similarly, from (191) we can estimate second angular derivatives by
however, integrating by parts, the left-hand side of this equation can be written as
where \(\hat{u}^*\) denotes the complex conjugate of \(\hat{u}\), and is the Ricci curvature tensor of \(\mathbb {S}^3\). For the 3-sphere, we have
where is the metric on the unit 3-sphere, and so
which, combined with the previous calculations, leads to the desired conclusion
In other words, additional angular derivatives may be exchanged for factors of \(\mu _\ell \).
Finally, we need to bound second derivatives with respect to r. For this, we use the fact that the quasimode \(u_\ell \) gives an approximate solution to the wave equation:
In the inverse metric, \(g^{rr}\) is bounded above and below, so we can exchange second derivatives with respect to r for other second derivatives and lower-order terms. We have already explained how to estimate these, with the exception of second time derivatives. However, for the quasimode \(u_\ell \) (but not for the actual solution to the wave equation \(\tilde{u}_\ell \)) we have
so these second times derivatives are easy to bound.
Higher derivatives can then be bounded by using similar elliptic estimates for the angular derivatives, and higher r derivatives can be bounded in terms of other derivatives by differentiating the (approximate) wave equation satisfied by \(u_\ell \), leading to the following estimate: for all \(k \ge 1\), for all sufficiently small \(C_k > 0\), at all times \(t \le C_k e^{C_k\ell \log \ell }\) there exists a constant \(c_k > 0\) such that
We now pick the times \(t_\ell \) to be
in which case \(\ell \) can be written in terms of \(t_\ell \) as
Finally, we note that the initial data we have constructed are Schwartz. Indeed, the above calculations give bounds on the derivatives of \(u_\ell \) and \(T u_\ell \). We can also show that these sequences of functions lie in all polynomially weighted Sobolev spaces; indeed, we have,
for some constants \(C_\alpha \) which, importantly, are independent of \(\ell \). Note that, although the initial data induced by each function \(u_\ell \) are compactly supported, the region of support depends on \(\ell \); indeed, \(u_\ell \) is supported in the region \(r \le R\mu _\ell \). However, recall that the norm \(u_\ell \) is exponentially suppressed in the parameter \(\ell \) outside of any region of fixed size, which easily allows us to prove the inequality above and hence to prove the theorem. Note, however, that we cannot use our sequence of functions if we wish to take the supremum over initial data which is compactly supported in some given region, since the sequence of initial data that we construct will eventually be supported outside this region. \(\square \)
Note that we can repeat the above calculation in the three-charge case, and in fact, it is slightly easier since the minimum of the effective potential is then at some nonzero value of r. This might seem redundant in the light of the results of Sect. 5; however, note that the initial data constructed in that Sect. must have non-trivial dependence on the z direction. We can see this from the fact that the energy associated with the null vector field \(V = T + Z\) is nonnegative, but if u has trivial dependence on the z coordinate, then \((Zu) = 0\), so the energy associated with T is nonnegative as well. Hence, if we wish to restrict to waves with trivial dependence on the z direction, then we can obtain the same results in both the two- and three-charge microstate geometries.
Notes
Note that four of these compact dimensions will play no role whatsoever in this paper: they could be included, but would not affect our results. Alternatively, we can simply consider the corresponding six-dimensional spacetime, which will be the approach taken in this paper.
Specifically, [37] requires that the spacetime is asymptotically flat, rather than asymptotically Kaluza–Klein. Note, however, that in the case of non-supersymmetric microstate geometries, we can restrict to waves with trivial dependence on the Kaluza–Klein direction, and the argument of [37] does apply to these solutions.
Another way to approach this was given in [28], but this made use of a particular symmetry in the Schwarzschild spacetime.
To be precise, we do not actually construct a solution which decays at this rate, but we do construct a sequence of solutions which decay at a rate arbitrarily close to this decay rate, for an arbitrarily long time.
Specifically, we could use geometric optics, or the Gaussian beams of [40], to construct solutions to the wave equation that are localised around an ingoing null ray and then take a sequence of initial data such that this incoming ray is initially positioned at further and further distances from the origin.
We note in passing that this idea could be used to construct metrics on which the uniform decay rate for linear waves is arbitrarily slow, by ensuring that the effective potential decays slower in r, although these spacetimes would not be asymptotically flat.
This can be contrasted with the construction of non-decaying solutions in the three-charge case, in which we actually construct initial data for a solution whose local energy does not decay.
The eigenfunctions in question are given by \(u_{\theta ,0, \ell } \propto \sin ^\ell \theta \).
References
Aretakis, S.: Horizon instability of extremal black holes. Adv. Theor. Math. Phys. 19, 507–530 (2015). https://doi.org/10.4310/ATMP.2015.v19.n3.a1
Balasubramanian, V., de Boer, J., Keski-Vakkuri, E., Ross, S.F.: Supersymmetric conical defects: towards a string theoretic description of black hole formation. Phys. Rev. D 64, 064011,2001 (2001). https://doi.org/10.1103/PhysRevD.64.064011
Bena, I., Warner, N.P.: Bubbling supertubes and foaming black holes. Phys. Rev. D 74, 066001,2006 (2006). https://doi.org/10.1103/PhysRevD.74.066001
Benomio, G.: The stable trapping phenomenon for black strings and black rings and its obstructions on the decay of linear waves (2018)
Berglund, P., Gimon, E.G., Levi, T.S.: Supergravity microstates for BPS black holes and black rings. JHEP 0606, 007,2006 (2005). https://doi.org/10.1088/1126-6708/2006/06/007
Burq, N.: Décroissance de l’énergie locale de l’équation des ondes pour le problème extérieur et absence de résonance au voisinage du réel. Acta Math. 180(1), 1–29 (1998)
Cardoso, V., Dias, O.J.C., Hovdebo, J.L., Myers, R.C.: Instability of non-supersymmetric smooth geometries. Phys. Rev. D 73, 064031 (2006). https://doi.org/10.1103/PhysRevD.73.064031
Cardoso, V., Dias, O.J.C., Myers, R.C.: On the gravitational stability of D1–D5-P black holes. Phys. Rev. D 76, 105015 (2007). https://doi.org/10.1103/PhysRevD.76.105015
Cardoso, V., Pani, P., Cadoni, M., Cavaglia, M.: Ergoregion instability of ultracompact astrophysical objects. Phys. Rev. D 77, 124044 (2008). https://doi.org/10.1103/PhysRevD.77.124044
Comins, N.S.B.F.: On the Ergoregion Instability. Proc. R. Soc. Lond. A Math. Phys. Eng. Sci. 364, 211–226 (1978)
Dafermos, M., Rodnianski, I.: The red-shift effect and radiation decay on black hole spacetimes. Commun. Pure Appl. Math. 62, 859–919 (2009)
Damour, T., Deruelle, N., Ruffini, R.: On quantum resonances in stationary geometries. Lett. Nuovo Cim. 15, 257–262 (1976). https://doi.org/10.1007/BF02725534
Detweiler, S.L.: Klein–Gordon equation and rotating black holes. Phys. Rev. D 22, 2323–2326 (1980). https://doi.org/10.1103/PhysRevD.22.2323
Dolan, S.R.: Instability of the massive Klein–Gordon field on the Kerr spacetime. Phys. Rev. D 76, 084001 (2007). https://doi.org/10.1103/PhysRevD.76.084001
Dolan, S.R.: Superradiant instabilities of rotating black holes in the time domain. Phys. Rev. D 87(12), 124026 (2013). https://doi.org/10.1103/PhysRevD.87.124026
Eperon, F.C., Reall, H.S., Santos, J.E.: Instability of supersymmetric microstate geometries. JHEP 10, 031 (2016). https://doi.org/10.1007/JHEP10(2016)031
Friedman, J.L.: Ergosphere instability. Commun. Math. Phys. 63(3), 243–255 (1978)
Gannot, O.: Quasinormal modes for Schwarzschild-AdS black holes: exponential convergence to the real axis. Commun. Math. Phys. 330, 771–799 (2014). https://doi.org/10.1007/s00220-014-2002-4
Gannot, O.: From quasimodes to resonances: exponentially decaying perturbations. Pac. J. Math. 277(1), 77–97 (2015). https://doi.org/10.2140/pjm.2015.277.77
Gannot, O.: Existence of quasinormal modes for Kerr-AdS black holes. Annales Henri Poincare 18(8), 2757–2788 (2017). https://doi.org/10.1007/s00023-017-0568-z
Gibbons, G.W., Warner, N.P.: Global structure of five-dimensional fuzzballs. Class. Quant. Grav. 31, 025016 (2014). https://doi.org/10.1088/0264-9381/31/2/025016
Giusto, S., Mathur, S.D., Saxena, A.: 3-Charge geometries and their CFT duals. Nucl. Phys. B 710, 425–463,2005 (2004). https://doi.org/10.1016/j.nuclphysb.2005.01.009
Giusto, S., Mathur, S.D., Saxena, A.: Dual geometries for a set of 3-charge microstates. Nucl. Phys. B 701, 357–379,2004 (2004). https://doi.org/10.1016/j.nuclphysb.2004.09.001
Gutowski, J.B., Martelli, D., Reall, H.S.: All supersymmetric solutions of minimal supergravity in six-dimensions. Class. Quant. Grav. 20, 5049–5078 (2003). https://doi.org/10.1088/0264-9381/20/23/008
Holzegel, G., Smulevici, J.: Decay properties of Klein–Gordon fields on Kerr-AdS spacetimes. Commun. Pure Appl. Math. 66, 1751–1802 (2013). https://doi.org/10.1002/cpa.21470
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)
Jejjala, V., Madden, O., Ross, S.F., Titchener, G.: Non-supersymmetric smooth geometries and D1–D5-P bound states. Phys. Rev. D 71, 124030 (2005). https://doi.org/10.1103/PhysRevD.71.124030
Kay, B.S., Wald, R.M.: Linear stability of schwarzschild under perturbations which are non-vanishing on the bifurcation 2-sphere. Class. Quantum Gravity 4(4), 893 (1987)
Keir, J.: Slowly decaying waves on spherically symmetric spacetimes and ultracompact neutron stars. Class. Quantum Gravity 33(13), 135009 (2016). https://doi.org/10.1088/0264-9381/33/13/135009
Keir, J.: Evanescent ergosurface instability. To appear in Anal. PDE (2019)
Kokkotas, K.D., Schmidt, B.G.: Quasinormal modes of stars and black holes. Living Rev. Rel. 2, 2 (1999). https://doi.org/10.12942/lrr-1999-2
Lunin, O., Maldacena, J., Maoz, L.: Gravity solutions for the D1–D5 system with angular momentum (2002). http://www.bibsonomy.org/bibtex/2347700bff5a0041a840448363b4e7f09/corneliu
Maldacena, J., Maoz, L.: De-singularization by rotation. JHEP 0212(2002), 055 (2003). https://doi.org/10.1088/1126-6708/2002/12/055
Mathur, S.D.: The fuzzball proposal for black holes: an elementary review. Fortsch. Phys. 53, 793–827 (2005). https://doi.org/10.1002/prop.200410203
Moschidis, G.: Logarithmic local energy decay for scalar waves on a general class of asymptotically flat spacetimes. Ann PDE 2, 5 (2016). https://doi.org/10.1007/s40818-016-0010-8
Moschidis, G.: Superradiant instabilities for short-range non-negative potentials on Kerr spacetimes and applications. J. Funct. Anal. 273(8), 2719–2813 (2017). https://doi.org/10.1016/j.jfa.2017.06.017
Moschidis, G.: A proof of Friedman’s ergosphere instability for scalar waves. Commun. Math. Phys. 358(2), 437–520 (2018). https://doi.org/10.1007/s00220-017-3010-y
Möller, M., Zettl, A.: Differentiable dependence of eigenvalues of operators in banach spaces. J. Oper. Theory 36(2), 335–355 (1996)
Ralston, J.V.: Solutions of the wave equation with localized energy. Commun. Pure Appl. Math. 22(6), 807–823 (1969). https://doi.org/10.1002/cpa.3160220605
Sbierski, J.: Characterisation of the energy of Gaussian beams on lorentzian manifolds—with applications to black hole spacetimes. Anal. PDE 8(6), 1379–1420 (2015). https://doi.org/10.2140/apde.2015.8.1379
Shlapentokh-Rothman, Y.: Exponentially growing finite energy solutions for the Klein–Gordon equation on sub-extremal Kerr spacetimes. Commun. Math. Phys. 329, 859–891 (2014). https://doi.org/10.1007/s00220-014-2033-x
Yoshida, S., Eriguchi, Y.: Ergoregion instability revisited—a new and general method for numerical analysis of stability. MNRAS 282, 580–586 (1996). https://doi.org/10.1093/mnras/282.2.580
Zouros, T.J., Eardley, D.M.: Instabilities of massive scalar perturbations of a rotating black hole. Ann. Phys. 118(1), 139–155 (1979). https://doi.org/10.1016/0003-4916(79)90237-9
Zworski, M.: Mathematical study of scattering resonances. Bull. Math. Sci. 7(1), 1–85 (2017). https://doi.org/10.1007/s13373-017-0099-4
Acknowledgements
The author is very grateful to Harvey Reall, Felicity Eperon and Jorge Santos for numerous helpful discussions, and also to Harvey Reall and Mihalis Dafermos for useful comments on the manuscript. This work was partially supported by the European Research Council Grant No. ERC-2011-StG 279363-HiDGR.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mihalis Dafermos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Keir, J. Wave Propagation on Microstate Geometries. Ann. Henri Poincaré 21, 705–760 (2020). https://doi.org/10.1007/s00023-019-00874-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-019-00874-4