Abstract
The violation of Lorentz invariance (LI) in gravitational theories, which allows superluminal propagations, dramatically alters the causal structure of the spacetime and modifies the notion of black holes (BHs). Instead of metric horizons, now universal horizons (UHs) define the boundaries of BHs, within which a particle cannot escape to spatial infinities even with an infinitely large speed. Then, a natural question is how the quasi-normal modes (QNMs) of a BH are modified, if one considers the UH as its causal boundary. In this paper, we study in detail this problem in Einstein–Aether theory, a vector-tensor theory that violates LI but yet is self-consistent and satisfies all observations to date. Technically, this poses several challenges, including singularities of the perturbation equations across metric horizons and proper identifications of ingoing modes at UHs. After overcoming these difficulties, we show that the QNMs of the Schwarzschild BH, also a solution of Einstein–Aether theory, consist of two parts, the metric and aether parts. The QNMs of the metric perturbations are quite similar to those obtained in general relativity and are consistent with current observations of gravitational waves. But the ones from aether perturbations are different, and our numerical studies indicate that they are even not stable. The latter is consistent with our previous studies, which showed that the stealth Schwarzschild BH suffers a Laplacian instability along the angular direction. The method and techniques developed in this paper can be applied to the studies of QNMs in other theories of gravity with broken LI.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The detection of the first gravitational wave (GW) from the coalescence of two massive black holes (BHs) by advanced LIGO marked the beginning of a new era—the GW astronomy [1]. Following this observation, about 90 GW events have been identified by the LIGO/Virgo/KAGRA (LVK) scientific collaborations (see, e.g., [2,3,4,5]). In the future, more ground- and space-based GW detectors will be constructed [6, 7], which will enable us to probe signals with a much wider frequency band and larger distances. This triggered the interests on the quasi-normal mode (QNM) of black holes, as GWs emitted in the ringdown phase can be considered as the linear combination of these individual modes [8, 9].
From the classical point of view, QNMs of black holes are eigenmodes of dissipative systems. The information contained in QNMs provide the keys in revealing whether BHs are ubiquitous in our universe, and more important whether general relativity (GR) is the correct theory to describe gravity even in the strong field regime [10]. Basically, a QNM frequency \(\omega \) contains two parts, the real and imaginary parts. Its real part gives the frequency of vibration while its imaginary part provides the damping time.
In GR, according to the no-hair theorem, an isolated and stationary BH is completely characterized by only three quantities, mass, angular momentum and electric charge. Astrophysically, we expect BHs to be neutral, so they are uniquely described by the Kerr solution. Then, the QNM frequencies and damping times will depend only on the mass and angular momentum of the finally formed BH. Clearly, to extract physics from the ringdown phase, at least two QNMs are needed. This will require the signal-to-noise ratio (SNR) to be of the order 100 [9]. Although such high SNRs are not achievable right now, it has been shown that they may be achievable once the advanced LIGO, Virgo and KAGRA reach their fully designed sensitivities. In any case, it is certain that they will be detected by the ground-based third-generation detectors, such as Cosmic Explorer [11] and the Einstein Telescope [12], as well as the space-based detectors, including LISA [13], TianQin [14, 15], Taiji [16], and DECIGO [17].
QNMs in GR have been studied extensively [18], including scalar, vector and tensor perturbations [19]. Such calculations have been extended from the Schwarzschild BH to other more general cases, e.g., the Kerr BH [20, 21]. In this procedure, several different techniques of computations of QNMs were developed. For instance, the Wentzel–Kramers–Brillouin (WKB) approach [22,23,24,25], the finite difference method (FDM) [26], the continued fraction method [27], the shooting method [28, 29], the matrix method [30], and so on [31,32,33]. Some of these methods have been also applied to modified theories of gravity [34, 35]. Additionally, some special approximations, e.g., the eikonal limit, have also been extensively explored, see, for example, [36] and references therein.
In this paper, we shall focus on the QNMs of black holes in Einstein–Aether theory (\(\ae \)-theory) [37]. Such studies are well motivated. In particular, the theory is self-consistent, such as free of ghosts and instability [38], and satisfies all the experimental tests carried out so far [39]. Its Cauchy problem is also well posed [40], and energy is always positive (as far as the hypersurface-orthogonal aether field is concerned) [41]. In addition, there exist both gravitational waves [42,43,44,45,46,47,48,49,50,51,52] and BHs [53,54,55,56,57,58,59,60,61,62,63]. It was also shown that universal horizons can be formed from gravitational collapse of realistic matter [64], in addition to the formation of the spin-0 and metric horizons [65].
In comparison with other modified theories of gravity [66], including scalar-tensor theories and their high-order corrections [67], \(\ae \)-theory has at least two distinguishable features:
-
It is a particular vector-tensor theory in which the vector field is always timelike. As a result, it always defines a preferred frame and whereby violates locally the Lorentz invariance (LI). Despite the facts that LI is the cornerstone of modern physics, and all the experiments carried out so far are consistent with it [68,69,70,71,72,73], violations of LI have been well motivated and extensively studied in the past several decades, especially from the point of view of quantum gravity [74,75,76,77,78].
-
BHs in \(\ae \)-theory are defined in terms of universal horizons (UHs) [56, 79, 80], instead of metric horizons (MHs) as that in GR. This is due to the fact that in \(\ae \)-theory there exist three different species of gravitons, spin-0, spin-1, and spin-2, and each of them move in different speeds [81]. To avoid the vacuum gravi-Čerenkov radiation, such as cosmic rays, each of these three species must move with a speed that is at least no less than the speed of light [82]. As a matter of fact, depending on the choice of the free coupling constants of the theory, they can be arbitrarily large, and so far no upper limits of these speeds are known [73].
Clearly, now MHs are no longer one-way membranes to these particles, and they can cross MHs to escape to infinities even initially they are trapped inside them. On the other hand, a UH is defined as the causal boundary of particles with arbitrarily large speeds [56], and once they are inside it, they can never cross it to escape to spatial infinities (For a recent review of UHs, see, e.g., [78] and references therein).
With the above remarkable features of \(\ae \)-theory, it would be very interesting and important to find new predictions of the theory for the BH spectroscopy [9], the QNMs mentioned above, which has been extensively studied in the last couple of years in terms of GWs emitted in the ringdown phase of binary BHs (BBHs) (for example, see [83,84,85,86,87,88,89,90,91,92,93,94,95,96,97] and references therein), and found that they are all consistent with GR within the error bars allowed by the observations of the 90 GW events [98].
As the first step to study QNMs in \(\ae \)-theory, recently some of the current authors studied spherically symmetric static spacetimes and obtained various numerical solutions [61], with the choice of the four free parameters involved in the theory that satisfy all the observational constraints [39].Footnote 1 We also derived a set of analytic solutions in which the four-parameters satisfy all the self-consistent and observational constraints obtained in [39], and showed that they are nothing but the (anti- or) de Sitter Schwarzschild black holes, in which the aether field are non-trivial but does not contribute to the curvatures of the spacetime. When the cosmological constant vanishes, the universal horizon locates precisely at \(r = 3r_s/4\), where \(r_s\) denotes the location of the MH.
Lately, we extended our above studies to the stability of such obtained new black holes against odd parity perturbations, and found that they are stable provided that [99],
in addition to the constraint [39],
obtained from the observations of GW170817 [100] together with its gamma-ray burst GRB 170817A [101], where \(c_i\)’s are the four dimensionless coupling constants of the theory.
In this paper, we continuously study the odd-parity perturbations, but focus ourselves on the QNMs of the newly found black holes [61], which, as mentioned above, satisfy all the constraints of the theory [39]. In doing so, several technical questions raise. One of them is connected with the inner boundary conditions, as now the inner boundary is the UH, which is always inside the MH, at which the timelike Killing vector becomes spacelike. Then, the notion of “in”- and “out”-going waves must be define properly, before imposing the condition that there are no out-going waves at the UH. In addition, the field equations of perturbations are usually singular at the MH, and proper smoothness conditions must be imposed. In GR, the perturbation equations are also singular at MHs, but such smoothness conditions are nicely avoided, as now the MH is the inner boundary, and the smoothness conditions are simply replaced by the inner boundary conditions.
To overcome the above issues, we first choose the ingoing Eddington–Finkelstein (EF) coordinates, so the background is smoothly across the MH, and more important, the ingoing and outgoing waves are well defined over the whole spacetime, including the region between the UH and MH. Then, we carefully study the structure of the field equations near the MH, and find the smoothness conditions that we must impose in order to assure that the field equations hold across the MH. Once the above issues are clarified, we first impose the purely ingoing wave conditions at the UH and purely outgoing wave conditions at the spatial infinity, and then solve the field equations of the odd-parity perturbations by shooting method, respectively, from the UH and the spatial infinity toward the MH. Then, at the MH we impose the smoothness conditions, which are satisfied only for particular choices of the QNM frequency \(\omega \), whereby we read off the QNMs of the odd-parity perturbations.
To show the above explicitly, in this paper we shall take the Schwarzschild black hole solution as the background, since it is also a solution of the \(\ae \)-theory [61]. The main reasons in doing are two-folds: i) First, in such a background, the mathematics involved will be much simple, from which we can construct clearly the boundary conditions at UHs and at spatial infinities, as well as the smoothness conditions across MHs. ii) Second, we can understand deeply the nature of the instability of this solution found in [99] from the point of view of QNMs, as in [99] only its stability against large angular perturbations was studied.
Specifically, the paper is organized as follows. In Sect. 2 we first provide a brief introduction to \(\ae \)-theory, and then give various definitions of horizons, including the particle, metric and universal horizons, which are important to the studies of QNMs of black holes, because the fact that superluminal motions exist in the theory, and the inner boundaries of black holes now are the universal horizons. In Sect. 3, we consider the odd-parity perturbations, and construct the master equations, respectively, for the metric and aether field perturbations. In Sect. 4 we first work out step by step the boundary conditions for the master equation of the metric perturbations at the universal horizon as well as at the spatial infinity. Then, we find out the smoothness conditions across the metric horizon. Afterwards, combining the Chandrasekhar-Detweiler method [28] with the shooting method (one side is from the UH to the MH, while the other side is from the spatial infinity to the MH (cf. Sect. 4.4), we solve the master equation and find that only for particular choices of the mode \(\omega \), can the smoothness conditions at the MH be satisfied, whereby various values of \(\omega \) are found and given explicitly in Table 2 for \(l = 2, 3, 4, 10\), respectively. We also compare such a spectrum with the corresponding one given in GR, and find that the differences between them cannot be distinguished by current observations of GWs, although it is well within the detectability of the next generation detectors. In Sect. 5, closely following what is done for the metric perturbations in Sect. 4, we study the aether perturbations and find various modes for the aether field with \(l = 2, 10, 100\), given, respectively, in Tables 4 and 5, in which some unstable modes are identified. This strongly indicates the instability of the aether field, and is also consistent with what was found in [99]. However, due to our numerical errors of the current paper, the existence of such unstable modes is not exclusive. In particular, in the metric perturbations presented in Sect. 4, no such instability is found. The paper is ended with Sect. 6, in which we derive our main conclusions and present some remarks on the future investigations.
Through out the paper, we shall adopt the unit system so that \(c=G_N=1\), where c is the speed of light while \(G_N\) stands for the Newtonian constant. All the Greek letters run from 0 to 3.
2 Einstein–Aether theory
In Einstein–Aether theory (\(\ae \)-theory), the fundamental variables of the gravitational sector are [38],
where \(g_{\mu \nu }\) is the four-dimension metric of the spacetime with the signature \((-, +,+,+)\), \(u^{\mu }\) is the aether field, and \(\lambda \) is a Lagrangian multiplier, which guarantees that the aether field is always timelike and unity. Then, the general action of the theory is given by,
where \(S_{m}\) denotes the action of matter, and \(S_{\ae }\) the gravitational action of the \(\ae \)-theory, given, respectively, by
Here \({\hat{\psi }}\) collectively denotes the matter fields, and g is the determinant of \(g_{\mu \nu }\), and
where \(D_{\mu }\) denotes the covariant derivative with respect to \(g_{\mu \nu }\), R is the Ricci scalar, and \(M^{\alpha \beta }_{~~~~\mu \nu }\) is defined as
with \(\delta _{\mu \nu }\) representing the Kronecker delta. Note that here we assume that matter fields couple not only to \(g_{\mu \nu }\) but also to the aether field \(u^{\mu }\). However, in order to satisfy the severe observational constraints, such a coupling in general is assumed to be absent [38].
The four coupling constants \(c_i\)’s are all dimensionless, and \(G_{\ae } \) is related to the Newtonian constant \(G_{N}\) via the relation [102],
where \(c_{ij} \equiv c_i+c_j\).
The variations of the total action, respectively, with respect to \(g_{\mu \nu }\), \(u^{\mu }\) and \(\lambda \) yield the field equations [61],
where \(R^{\mu \nu }\) denotes the Ricci tensor, and
with
From Eq. (2.8), we find that
where \(a^{2}\equiv a_{\lambda }a^{\lambda }\).
It is easy to show that the Minkowski spacetime is a solution of \(\ae \)-theory, in which the aether is aligned along the time direction, \({u}_{\mu } = \delta ^{0}_{\mu }\). Then, the linear perturbations around the Minkowski background show that the theory in general possess three types of excitations, scalar (spin-0), vector (spin-1) and tensor (spin-2) modes, with their squared speeds given by [81]
respectively. Here \(c_{ijk} \equiv c_i+c_j+c_k\).
Requiring that the theory: (a) be self-consistent, such as free of ghosts; and (b) satisfies all the observational constraints obtained so far, it was found that the parameter space of the theory is considerably restricted. In particular, \(c_{14}\), \(c_2\) and \(c_{13}\) are restricted to [39],Footnote 2
Finally, the stability of the odd-parity perturbations of BHs further requires \(c_4 = 0\) [cf. Eq. (1.1)], provided that the condition \(c_{13} = 0\) holds precisely [99].
2.1 Particle and universal horizons
In this subsection, we shall provide a brief review on several horizons, including universal horizons, as they are important to the investigations of the QNMs of black holes in gravitational theories with broken LI. Although they will be reviewed in the framework of the Einstein–Aether theory, their generalizations to other theories are straightforward. For more details, we refer readers to [78].
2.1.1 Particle horizons
In particular, the \(\ae \)-theory possesses three different modes, and all of them are moving in different speeds. In general each of these different modes defines a particle horizon [38]. These horizons are the null surfaces of the effective metrics,
where \(A = S, V, T\). The null surfaces for \(A = S,\;V,\;T\) are called spin-0 horizon (S0H), spin-1 horizon (S1H) and spin-2 horizon (S2H), respectively. These three different horizons will be referred as particle horizons for the corresponding gravitons.
In the spherically symmetric case, the static spacetimes are described by the general metric
where \(d \Omega ^2 \equiv d\theta ^2 + \sin ^2\theta d\varphi ^2\) and \({x}^\mu = (v, r, \theta , \varphi )\) denote the ingoing EF coordinates. In this system of coordinates, the aether field takes the form
where A(r) is an arbitrary function of r, and will be determined by the Einstein–Aether field equations, together with the metric coefficients F(r) and B(r).
Then, the out-going normal vector to the hypersurface \(r = r_0\) is given by
where \(r_0\) is a constant. In terms of \(N_\alpha \), the spin-0, spin-1, and spin-2 horizons are defined, respectively, by
where \(r_A\) denotes the location of the horizon of the particle with spin-A.
On the other hand, the MH is the null surface of metric \(g_{\alpha \beta }\), or a particle horizon of \(g_{\alpha \beta }^{(A)} \) with \(c_A = 1\), given by
2.1.2 Universal horizons
To define the universal horizon, let us first note that, if a BH is defined to be a region that traps all possible causal influences, it must be bounded by a horizon corresponding to the fastest speed. In theories with the broken LI, the dispersion relation of a massive particle contains generically high-order momentum terms [78],
from which we can see that both of the group and phase velocities become unbounded as \(k \rightarrow \infty \), where E and k are the energy and momentum of the particle considered, and \(p_k\) and \(q_n\)’s are coefficients, depending on the species of the particle, while \(M_{*}\) is the suppression energy scale of the higher-dimensional operators. Therefore, in theories with the broken LI, a BH should be defined to be a region that traps all possible causal influences, including particles with arbitrarily large speeds \((c_{A} \rightarrow \infty )\).
Does such a region exist? To answer this question, let us first note that the causal structure of spacetimes in such theories is quite different from that given in GR, where the light cone at a given point p plays a fundamental role in determining the causal relationship of p to other events [104]. In a ultraviolet (UV) complete theory, the above dispersion relationship is expected even in the gravitational sectorFootnote 3. In such theories, the causal structure is dramatically changed. For example, in Newtonian theory, time is absolute and the speeds of signals are not limited. Then, the causal structure of a given point p is uniquely determined by the time difference, \(\Delta {t} \equiv t_{p} - t_{q}\), between the two events (cf. Fig. 1). In particular, if \(\Delta {t} > 0\), the event q is to the past of p; if \(\Delta {t} < 0\), it is to the future; and if \(\Delta {t} = 0\), the two events are simultaneous.
In theories with broken LI, a similar situation occurs. Thus, to consider the causal structure of spacetimes in such theories, a globally time-like “coordinate” needs to be introduced [56] (See also [57]). In particular, for a given spacetime, let us first introduce a globally timelike scalar field \({\hat{\phi }}\) [109], so that
over the whole spacetime. It is interesting to note that, in spherically symmetric spacetimes, the timelike aether field \(u_{\mu }\) is hypersurface-orthogonal [78, 110,111,112,113], and can always be expressed as the gradient of a scalar field [114],
Therefore, now a natural choice is to identify \({\hat{\phi }}\) with \(\phi \), \({\hat{\phi }} = \phi \). Then, similar to Newtonian theory, this field defines globally an absolute time direction: all particles are assumed to move along the increasing direction of the timelike scalar field \(\phi \). It is clear with this definition of the time direction, the causality now is well-defined, quite similar to Newtonian theory (cf. Fig. 2, see also [116, 117]). With such a definition, one can see that, for a given spacetime there may exist a surface \(r = r_{\text {UH}}\), at which the aether field \(u_{\mu }\) is orthogonal to the timelike Killing vector [118] \(\zeta \; (\equiv \partial _{v})\),
where \(J \equiv FA^2\) [61]. Given that all particles move along the increasing direction of the aether field, it is clear that a particle must cross this surface and move inward, once it arrives at it, no matter how large its speed is.Footnote 4 This is a one-way membrane, and particles even with infinitely large speeds cannot escape from it, once they are inside it. So, it acts as an absolute horizon to all particles (with any speed), which is often called the UH [56, 57, 78].
The extension of the definition of UHs to dynamical spacetimes is given in [64], in which it was shown explicitly that such dynamical UHs can be formed from gravitational collapse of realistic matter fields.
2.2 The de Sitter–Schwarzschild black hole solutions
When \(c_{13}=c_{14}=0\), there exists a particular class of analytic solutions of the background Einstein–Aether field equations [61],
where \(F_{2}, \; m, \; w_{1}\) and \(w_{2}\) are four integration constants. Using the gauge freedom of the EF coordinates, without loss of the generality, we can always set \(F_2 = 1\). Then, the spacetime is precisely the anti-de Sitter or de Sitter Schwarzschild black hole solutions, depending on the signs of the coupling constant \(c_2\). However, the constraints (2.14) and (2.15) tell us that \(c_{2} \ge 0\), so it must be the de Sitter Schwarzschild solution, where \(r_s = 2m\) is the Schwarzschild radius. In this paper, we shall consider only the case \(w_1 = 0\), so that the spacetime is described precisely by the Schwarzschild solution. Then, as \(r \rightarrow \infty \), we find that
Thus, we shall choose the “-” sign for the expression of A(r) in Eq. (2.27), so that \(\lim _{r \rightarrow \infty } A(r) = + 1\), which is also consistent with the asymptotical-flatness conditions adopted in [61]. Then, for a UH to exist, we must set \(w_2 = 3\sqrt{3} r_s^2/8\) [118], for which the UH is located at
Note that in the current case we have
as can be seen from Eq. (2.13), which implies that now the S0H coincides with the UH, while the S1H and S2H coincide with the MH.
It is interesting to note that in this particular case, the aether field has no influence on the spacetime geometry. However, the aether field is non-trivial, and quite different from the one given in the Minkowski spacetime. This will in turn affect the perturbation equations of the Einstein–Aether gravity, as to be seen clearly in the next section.
3 Odd-parity perturbations and field equations
To study the linear perturbations of the spherically symmetric spacetimes in the framework of \(\ae \)-theory, let us first introduce the more familiar Schwarzschild coordinate t via the relation,
from which we find that the background metric (2.18) and background aether field (2.19) take the form [99],
Clearly, this metric becomes singular at the MH, \(F(r_{s}) = 0\), so that the coordinates cannot cover the whole region \(r \in (0, \infty )\). However, now the inner boundary is not at the MH, but rather at the UH, which is always inside the MH. Therefore, to impose the boundary conditions at \(r = r_{\text {UH}}\) and \(r = \infty \) simultaneously, we shall work out the linear perturbations in the EF coordinates, in which the metric takes the form of Eq. (2.18). On the other hand, setting
we find that the metric (3.2) takes the form
which is the metric written in terms of the out-going EF coordinate u. Although the roles of t and r will be exchanged across a MH, the “in-going” and “out-going” coordinates v and u remain the same in the whole spacetime. So, in the rest of the paper we always refer the “in-going” and “out-going” in terms of the coordinates v and u.
Once the above issues are clarified, now let us consider the perturbations of the background solutions given by Eq. (2.27) with
For such choices, the background spacetime is precisely the Schwarzschild vacuum solution,
as shown in the last section.
Denoting the background metric and aether field by \({\bar{g}}_{\mu \nu }\) and \({\bar{u}}_\mu \), respectively, the total metric and aether field are given by,
where \(\epsilon \) is a book-marker, and we shall expand the perturbations only to its first order. Later, we can safely set it to one. Then, working in the in-going EF coordinates \((v, r, \theta , \phi )\), and with only the the odd-parity part, we find that the linear perturbations \(h_{\mu \nu }\) and \(w_{\mu }\) can be cast in the forms [99, 119],
and
where \(Y_{lm}(\theta , \varphi )\) stands for the spherical harmonics, and \(C_{lm}, \; G_{lm},\; J_{lm}\) and \(a_{lm}\) are functions of v and r onlyFootnote 5. Note that when calculating the field equations we will set \(m=0\) in the above expressions so that \(\partial _\varphi Y_{lm}(\theta , \varphi )=0\), as now the background has the spherical symmetry, and the corresponding linear perturbations do not depend on m [119, 120],Footnote 6.
3.1 Gauge transformations
For later convenience, we first investigate the infinitesimal gauge transformations (Recall that we only consider the odd-parity perturbations and \(m=0\))
where
with \(\xi \) being a function of v and r. Under the transformation of Eq. (3.11), we have
where \({\mathcal {L}}\) stands for the Lie derivative [121]. From Eq. (3.13) we find [99]
where a prime and a dot stand for the derivatives with respect to r and v, respectively. With the above gauge transformations, we can construct the gauge-invariant quantities, and due to the presence of the aether field, three such independent quantities can be constructed, in contrast to the relativistic case, in which only two such quantities can be constructed. These three gauge invariants can be defined as
Of course, any combination of these quantities is also gauge-invariant. By properly fixing the gauge, the resultant field equations will be simplified considerably. In the current case, we find that one of the most convenient gauge choices is
from which we find
where \( {{\hat{C}}}_1\) is an arbitrary function of r. Therefore, with this choice of gauge, we still have the gauge residual
We shall come back to this point later, and fix the gauge residual completely by properly imposing an additional gauge condition.
3.2 Linearized field equations
When the spacetimes are in the vacuum, we have \(T_{\mu \nu } = 0, \; T_{\mu } = 0\), and then the field Eqs. (2.7) and (2.8) reduce to
where \(G_{\mu \nu } \equiv R_{\mu \nu }-g_{\mu \nu } R/2\). To the first-order of \(\epsilon \) and with the gauge (3.16), we find that there are only four non-trivial equations, which are given by
and can be cast respectively in the forms given by Eqs. (A.2)–(A.5) in Appendix A.
It is interesting to note that the coefficients of these differential equations, i.e., \(\rho _{abc}\) given by Eqs. (A.6)–(A.9), are functions of r, \(c_1\) and l only, and some of them contain no \(c_1\). More importantly, from Eq. (A.5) we can see clearly that \(a_{lm}\) has been decoupled from \(J_{lm}\) and \(G_{lm}\).
3.3 Master equations
Since there are only three independent unknowns in Eqs. (A.2)–(A.5), \(G_{lm}, \; J_{lm}\) and \(a_{lm}\), one of the above four equations must not be independent, although this non-dependent equation can still be used to simplify the derivations of the master equation. To simplify the following discussions, using the rescaling symmetry of the background [61], we first set \(r_{s}=1\). Then, we have
To find the master equations for the gauge invariants introduced in Eq. (3.15), we first eliminate the \({\ddot{a}}_{lm}\) terms from Eqs. (A.2) and (A.3). Then, combining this resultant equation with Eq. (A.4) we find that the terms proportional to \({\dot{G}}_{lm}'\) and \({\dot{G}}_{lm}\) can be made disappear. Combining this resultant equation with Eq. (A.2) and the first-order v-derivative of Eq. (A.3), we obtain an equation that contains the \({\dddot{a}}_{lm}\) and \({a}_{lm}''\) terms. Finally, combining this new resultant equation with Eq. (A.5) and its v derivative, we arrive at the master equation
where \({{\mathcal {Y}}}_{lm} = \dot{J}_{lm}\). Setting
where \(\omega \) is the QNM frequency to be calculated below, (3.23) reduces to
To eliminate the first-order derivative term of the above equation, following the general prescription presented in Appendix B, we introduce the function \(\Psi (r)\) via the relation,
so that Eq. (3.25) can be cast in the simple form,
where \( x \equiv f(r)\) given by Eq. (3.22), and
Note that, the range of the new variable \(x \in (-\infty , +\infty )\) covers only the region \(r\in (1, \infty )\). Thus, as will be seen later, we have to look for another variable to cover the whole region \(r \in \left( r_{UH}, \infty \right) \) where \(r_{UH} = 3/4\). However, this equation is very useful when we study the asymptotical behavior of the perturbations at the spatial infinity \( r \rightarrow \infty \), as can be seen from the discussions to be presented below in Sect. 4.1. It is interesting to note that \(V_g\) is identical to the effective potential given in the Regge-Wheeler equation in GR [31]. However, due to the different locations of the inner boundaries, in general different BH spectroscopies are expected.
On the other hand, solving for \({\dot{G}}_{lm}\) and \(a_{lm}''\) from Eqs. (A.2) and (A.5) we find
where Eq. (3.15) was used in writing down the above expression. Then, from Eqs. (3.15) and (3.16) we find
where \(\hat{G}_{lm}(r)\) is an arbitrary function of r only. However, using the gauge residual (3.18), we can always set it to zero, by choosing
Clearly, with this choice the remaining gauge freedom is completely fixed.
In addition, following Appendix B we find that Eq. (A.5) can be written in the form
where
with
Here t is related to v through Eqs. (3.1) and (3.22). Notice that, a subscript \(\ae \) is added to \(\omega \) here to allow it to be different from the QNM spectra \(\omega \) obtained from Eq. (3.27).
It is remarkable to note that \(a_{lm}\) depends on \(\omega _{\ae }\) only through Eq. (3.33), while Eq. (3.32) shows that \(\psi \) itself does not depend on \(\omega _{\ae }\), although its boundary conditions will depend on \(\omega _{\ae }\) through \(a_{lm}\). We shall come back to this point in the next section.
4 QNMs of black holes in Einstein–Aether theory
From the last section, we can see that solving the linearized Einstein–Aether field equations for the odd-parity perturbations now reduces to solving the master equations (3.27) and (3.32) with proper boundary conditions. As in GR, they have solutions only for some particular choices of \(\omega \) and \(\omega _{\ae }\), which form the spectra of the QNMs of the corresponding BH.
In contrast to GR, due to the existence of superluminal propagations caused by the LI violation, the location of the inner boundary conditions now is moved from MHs to UHs, which are always inside the MHs. There are at least two aspects that make us to believe that QNMs in \(\ae \)-theory in general deviate from those of GR:
-
The different locations of the inner boundaries. It is true that in both theories it is all required that only “in-going” waves be allowed at the inner boundaries. However, when these conditions are imposed at UHs (as required by \(\ae \)-theory), it is expected that at the corresponding MHs both “in-going” and “out-going” waves exist (which is quite different from that of GR), because of the existence of the superluminal propagations.
-
The different dynamical differential equations. Despite the fact that the background in both theories is the same and all described by the Schwarzschild BH, the linearized perturbation equations are different, and in general it is expected that these also alternate the BH QNMs.
With the above in mind, let us turn to consider the initial conditions respectively at the UH (\(r = r_{\text {UH}} =3/4\)) and spatial infinity (\(r \rightarrow +\infty \)). Once these are done, we turn ourselves to consider the smoothness conditions at the MH.
4.1 Boundary conditions at the spatial infinities
As mentioned above, the boundary conditions at the spatial infinity are that only “out-going” waves exist. To see the implication of these conditions on the gauge-invariant quantities \({{\mathcal {Y}}}_{lm}\) and \(a_{lm}\), let us first note that as \(r \rightarrow +\infty \), to the leading order, we have \(f(r) \simeq r, \; V_g(r) \rightarrow 0\), and \(v \simeq t + r\) and \(u \simeq t - r\). Then, Eq. (3.27) has the general solutions,
where \(a_{\pm }\) are two integration constants. Inserting the two branches of (4.1) into (3.26), and together with Eq. (3.24), we find that
Therefore, to have only out-going waves, we must set \(a_- = 0\). As a result, when r is very large, we expect \(\Psi (r)\) to take the form,
where \(a_n\)’s are constants to be determined with the Frobenius-like method [122]. In particular, inserting the above expression into Eq. (3.27), we find the following recursion relation,
from which we can write all \(a_n\)’s (\(n \ge 1\)) in terms of \(a_0\) with \(a_n \propto a_0\). As will be seen later, the amplitude of \(\Psi (r)\) has no contributions to our main results, Therefore, without loss of the generality, we can always set \(a_0 = 1\).
4.2 Boundary conditions at universal horizons
On the other hand, as \(r \rightarrow r_{\text {UH}} \; (=3/4)\), we note that Eq. (3.25) can be written as
where
Thus, as \(r \rightarrow r_{\text {UH}}\), we have
which leads to
with \(b_\pm \) being arbitrary constants. Combining Eqs. (4.9), (4.6) with Eq. (3.24), we find that
Therefore, to satisfy the pure ingoing-wave conditions, we must set \(b_+ = 0\). As a result, when \(r \rightarrow r_{\text {UH}}\), we expect \({{\tilde{\Psi }}}(r)\) to take the form,
Similar to \(a_n\)’s, inserting the above expression into Eq. (4.5) we shall find a recursion relation for \(b_n\)’s, and from which we can write all \(b_{n \ge 1}\)’s in terms of \(b_0\) with \(b_n \propto b_0\). Again, as will be seen, the choice of \(b_0\) is actually irrelevant to our solutions of QNMs, so without loss of the generality, we can also set it to one, \(b_0 = 1\).
4.3 Smoothness conditions across metric horizons
In principle, once the two boundary conditions are given, we can solve the two master Eqs. (3.27) and (3.32) to find out the spectrum of \(\omega \) (\(\omega _{\ae }\)) for any given l. However, since both of them are singular at the MH, we have to solve them first in the regions \(r \in (r_{UH}, 1-\epsilon )\) and \(r \in (1+\epsilon , \infty )\) separately, and then match the solutions together across the MH, where \(0< \epsilon \ll 1\) [Notice that \(\epsilon \) used here must not confused with the ones appearing in Eq. (3.8)].
To find out the proper matching conditions in the neighborhood of \(r=1\), Eq. (3.27) cannot be used, as it is valid only for \(r \in (1, \infty )\). To overcome this problem, let us first replace \( {\bar{{\mathcal {Y}}}}_{lm}\) appearing in Eq. (3.25) by
so that it reduces to
Then, we expand \(\hat{{\mathcal {Y}}}_{lm} (r)\) as
where \(d_n\)’s are constants to be determined with the Frobenius method. In particular, inserting the above expression into Eq. (4.13), we find two branches of solutions, given, respectively, by
Inserting it together with Eq. (4.14) into Eq. (4.13) we find
for \(s = s_+\), and
for \(s = s_-\). Then, similar to \(a_n\)’s given by Eq. (4.4), all these coefficients can be written in terms of \(d^{\pm }_0\). With the same reasons as given for the choice of \(a_0\) and \(b_0\), without loss of the generality, we can always set \(d^{\pm }_0=1\). Therefore, for any given \(\omega \) and l, we find the general solution of \(\hat{{\mathcal {Y}}}_{lm} (r)\) in the neighborhood of \(r=1\),
with \( {{\mathcal {A}}}\) being a complex number, and \(d_n^\pm \)’s are given by Eqs. (4.16) and (4.17) with \(d^{\pm }_0=1\).
It should be noted that in practice Eqs. (4.3), (4.11) and (4.18) cannot be expanded to infinite orders. Instead, we shall expand them to the orders by imposing certain tolerances to the numerical errors of our numerical computations, and make sure such orders are high enough, so that our main results and conclusions will remain the same, i.e., the numerical solutions adopt convergent behaviors.
4.4 Algorithm for solving master equations
To solve Eq. (3.25), following [28] we introduce the mode function \(\Phi (r)\) by
or equivalently
Then, Eq. (3.25) reduces to
It is remarkable to note that such introduced \(\Phi (r)\) does not depend on the amplitudes of \({\hat{{\mathcal {Y}}}}_{lm}\) around any of the points \(r = \left\{ r_{\pm }, \; r_{\text {UH}}, \; r_{\text {max}}\right\} \), with \(r_{\pm } \equiv 1 \pm \epsilon \) ( \(0< \epsilon \ll 1\)) and \(r_{\text {max}}\) a positive number to be specified. As a result, we can assign \(a_0, \; b_0\) and \(d_0^\pm \) any values. As mentioned previously, without loss of the generality, we shall set all of them to one.
For our convenience, we further introduce a new variable z by \(z \equiv 2 r/(r+3/4)\) in Eq. (4.21). In this way, \(r \in [3/4, 1) \cup (1, \infty )\) is mapped to \(z \in [1, 8/7) \cup (8/7, 2)\). Therefore, Eq. (4.21) becomes
Thus, we obtain a complex ordinary differential equation (ODE) of the first order, which will be much easier to solve than Eq. (3.25). To solve Eq. (4.22) we use the shooting method. Specifically, for any given l, we integrate Eq. (4.22) as follows:
-
1.
With a good guess, we first choose a (complex) value of \(\omega \). Then, by using the polynomial solution (4.11), we create the “initial value” \({{\tilde{\Psi }}}_{\text {UH}}(\omega ) \equiv {{\tilde{\Psi }}}(r=r_{\text {UH}}, \omega )\). After that, we calculate \(\Phi _{\text {UH}}(\omega ) \equiv \Phi (z=z_{\text {UH}}, \omega )\) using Eq. (4.20) [and Eqs. (4.12), (4.6)], with \(z_{\text {UH}} = 2 r_{\text {UH}}/(r_{\text {UH}}+3/4)\).
-
2.
With the same \(\omega \), using the polynomial solution (4.3), we create the “initial value” \(\Psi _{\text {max}}(\omega ) \equiv \Psi (r=r_{\text {max}}, \omega )\). After that, we calculate \(\Phi _{\text {max}}(\omega ) \equiv \Phi (z=z_{\text {max}}, \omega )\) using Eq. (4.20) [and Eqs. (4.12), (3.26)], with \(z_{\text {max}} = 2 r_{\text {max}}/(r_{\text {max}}+3/4)\). Here \(r_{\text {max}}\) is chosen to be sufficiently large.
-
3.
By using the initial value \(\Phi _{\text {UH}}(\omega )\), integrate Eq. (4.22) from \(z_{\text {UH}}\) to \(z_{-} = r_{-}/(r_{-}+3/4)\) to obtain \(\Phi _{\text {-}} \equiv \Phi (z_{\text {-}})\). Equalizing this \(\Phi _{\text {-}}\) and its counterpart given by the polynomial (4.18) [and Eq. (4.20)], we can solve for the combination coefficient \({{\mathcal {A}}}\), to be denoted by \({{\mathcal {A}}}_-\).
-
4.
By using the initial value \(\Phi _{\text {max}}(\omega )\), integrate Eq. (4.22) from \(z_{\text {max}}\) to \(z_{+} = r_{+}/(r_{+}+3/4)\) to obtain \(\Phi _{\text {+}} \equiv \Phi (z_{\text {+}})\). Equalizing this \(\Phi _{\text {+}}\) and its counterpart given by the polynomial (4.18) [and Eq. (4.20)], we can again solve for a combination coefficient \({{\mathcal {A}}}\), to be denoted by \({{\mathcal {A}}}_+\).
-
5.
Logically repeat steps 1–4 to search for the desired \(\omega \), with which we have \(\Delta {{\mathcal {A}}} \equiv |{{\mathcal {A}}}_- - {{\mathcal {A}}}_+| \lesssim \epsilon _{\text {max}}\), where \(\epsilon _{\text {max}}\) represents our tolerance to the uncertainty. Clearly, this \(\Delta {{\mathcal {A}}}\) could be seen as an indicator to the accuracy of our calculations. Note that these iterations could be executed automatically by using Mathematica.
4.5 Numerical results
Using the algorithm introduced in last subsection, we can obtain eigenvalues of \(\omega \) for any given l. However, since the algorithm introduced in this section is quite algebraically involved, before presenting our results, for the sake of readers’ convenience, let us first briefly provide a summary to the pivot equations we use in the shooting method. Basically, our main target is to obtain eigenvalues of \(\omega \) by solving the first-order non-linear complex differential equation (4.22). For this purpose, suitable boundary conditions are needed. We summarize the relative necessary equations in Table 1. Equation (4.22) plus the ones given in Table 1 form a complete system, and the eigenvalues of \(\omega \) given in Table 2 are found by using the shooting method with the assistance of Mathematica. In this table we also provide the corresponding results from GR (see, e.g., [123, 124]). Comparing the results from \(\ae \)-theory and GR, we can find the differences between these two theories. To characterize these discrepancies, let’s define [8, 125]
which are also given for different modes in Table 2. Using the current data provided by the LVK scientific collaboration [98, 125], it is hard to impose further constraints on \(\ae \)-theory. For instance, combining the results from [98, 125], we find that the most stringent constraint on \(\delta f\) is right at the order \( {{\mathcal {O}}} (10^{-2})\), which is similar to the largest discrepancy that we have presented in Table 2. Nonetheless, such discrepancies should be well within the detectability of LISA, TianQin and Taiji. In particular, according to Table II provided in [14, 15], the sensitivity of LISA and TianQin to, e.g., \(\delta f\), could reach about \( {{\mathcal {O}}} (10^{-5})\). Therefore, they are very likely to be able to distinguish the results from the \(\ae \)-theory and GR, as listed in Table 2.
5 Instability of the Aether field
In the last section, we consider the metric perturbations only, represented by the master equation (3.25). In this section, we turn to study the aether perturbations given by Eqs. (3.32)–(3.35). To this goal, inserting Eq. (3.35) into Eq. (A.5) we obtain
where \(\kappa _{1, 2, 3}\) are given in Appendix A. Note that (5.1) is at the same position as (4.13). To solve it, following what we did in the last section, we first specify its boundary conditions at the universal horizon and spatial infinity, as well as the smoothness conditions across the metric horizon, and then solve it with such conditions by the shooting method, one side from the UH to the MH, and the other side from \(r_{\text {max}}\) to the MH.
5.1 Boundary conditions at the universal horizon and spatial infinity
To find the proper boundary conditions for \({\hat{{\mathcal {Z}}}}_{lm} (r)\) at \(r \rightarrow 3/4\) and \(r \rightarrow +\infty \), we first note that in terms of x Eq. (3.32) takes the form,
Note that (5.2) is at the same position as (3.27).
5.1.1 At spatial infinity
When \(r \rightarrow +\infty \), (5.2) leads to \(\psi = {{\bar{a}}}_+ + {{\bar{a}}}_- x\). For \({\hat{{\mathcal {Z}}}}_{lm}\) to be finite at \(r\rightarrow +\infty \), we shall set \({{\bar{a}}}_-=0\) [cf. (3.33)]. Thus, we have
where \({{\bar{a}}}_n \) can be calculated through recursion relations similar to (4.4). Note that it is known a posteriori that the polynomial solution of \(\psi \) at \(r \rightarrow +\infty \) starts from \(n=2\), as already indicated in Eq. (5.3). Combining with (3.33), we have found the polynomial solution of \({\hat{{\mathcal {Z}}}}_{lm}\) in the neighborhood of \(r \rightarrow +\infty \).
5.1.2 At the universal horizon
On the other hand, at the UH \(r = 3/4\), by applying the formulas presented in Appendix B, we can write (5.1) in the form,
where \({{\bar{W}}}_g \equiv \kappa _1/{{\bar{p}}}^2\), and
When \(r \rightarrow (3/4)^+\), (5.4) leads to \( {{\bar{\psi }}} = {{\bar{b}}}_+e^{+ {{\bar{y}}}} + {{\bar{b}}}_- e^{- {{\bar{y}}}}\). For \({\hat{{\mathcal {Z}}}}_{lm}\) to be finite at \(r\rightarrow (3/4)^+\), we shall set \({\bar{b}}_-=0\) [cf. (3.33)]. Thus, we have
Combining with (3.33), we have found the polynomial solution of \({\hat{{\mathcal {Z}}}}_{lm}\) in the neighborhood of \(r \rightarrow (3/4)^+\).
5.2 Smoothness conditions across the metric horizon
At the MH (\(r=1\)), it is clear that Eq. (5.1) becomes singular. By following the same procedures of solving Eq. (4.13), we can also solve Eq. (5.1) in the neighborhood of \(r=1\). To do so, we shall first write \({\hat{{\mathcal {Z}}}}_{lm} (r)\) in the form,
Just like how we obtain (4.18), the solution is determined to be of the form
where \({{\bar{d}}}_n^{\pm }\) can be calculated through recursion relations similar to (4.16) and (4.17), and the (complex) constant \({{\mathcal {B}}}\) is acting as \({{\mathcal {A}}}\) in (4.18).
5.3 Numerically solving the Aether master equation
To solve the aether master equation, let us first set
[It must not be confused with \(\phi \) introduced here and the one appearing in Eq. (2.24)] so that Eq. (5.1) takes the form,
where \(\alpha _n\)’s are given in Eq. (A.12) and must not be confused with the PPN parameters mentioned in Sect. 2. With the above given boundary conditions at the universal horizon and spatial infinity, as well as the smoothness conditions across the metric horizon, following the steps presented in Sect. 4.4, we can solve Eq. (5.10) with the shooting method As what we did in the last section, the new variable z will be introduced in practice. In addition, here in Table 3 we provide a summary to the usages of those main equations that related to solving Eq. (5.10).
However, different from what we have done in Sec. IV, in this section we would like to address the problem of instability found in [99] for large l. In particular, in Table 4, in which \(\Delta {{\mathcal {B}}}\) is defined in the same manner as that of \(\Delta {{\mathcal {A}}}\), we present the values of \(\omega _{\ae }\) for \(l=100\). In contrast to those given in Table 2, now the imaginary parts of \(\omega _{\ae }\)’s are all positive, which indicates the instability of the aether field. However, we must note the differences between the tolerance levels of Table 2 indicated by \(\Delta {{\mathcal {A}}}\) and the ones given in Table 4, indicated by \(\Delta {\mathcal {B}}\). In particular, the tolerance levels given by \(\Delta {\mathcal {B}}\) are much weaker than those given by \(\Delta {{\mathcal {A}}}\).
In Table 5, we also consider the cases \(l = 2, 10\), from which it can be seen that unstable modes in each case are also identified, again with much weaker tolerance levels \(\Delta {{\mathcal {B}}} \approx {{\mathcal {O}}}\left( 10^{-10}\right) \).
6 Conclusions
In this paper, we have investigated QNMs of black holes in Einstein–Aether (\(\ae \)-) theory, in which the gravitational sector of the theory is described by three different species of gravitons with spins 0, 1, 2, respectively [37]. By properly choosing the four free dimensionless coupling constants, \(c_i\)’s, the theory is self-consistent, such as free of ghosts and kinetic instability [38], and satisfies all the observations carried out so far [39, 52, 99]. However, to avoid the vacuum gravi-Čerenkov radiation, such as cosmic rays, each of these three species must move with a speed that is at least no less than the speed of light [82].
Due to the existence of such superluminal motions, we expect that black holes in \(\ae \)-theory will be dramatically different from those in GR. In particular, the metric horizon that is used to define the boundary of a black hole in GR is no longer a one-way membrane, and particles with superluminal speeds can escape to the spatial infinity, even they are initially trapped inside the metric horizon. As a result, the inner boundary of a black hole now is defined by the universal horizon, a one-way membrane for particles with any speeds, including the ones with infinitely large ones [56]. This in turn implies that at the metric horizon now both “in-going” and “out-going” radiations are expected to exist, which will alternate the QNM spectra of black holes.
In addition, due to the presence of the aether field, the uniqueness theorem of the Schwarzschild black hole does not hold any longer [38], and various black holes in \(\ae \)-theory exist [61], which can be still formed from gravitational collapse of realistic matter [65], including the formation of universal horizons [64].
The change of the location of a black hole inner boundary from the metric horizon to the universal horizon also results in several technical challenges in the studies of QNMs of black holes. First, the notion of “in-going” and “out-going” radiations must be define properly, as now the universal horizon is always inside the metric horizon, in which the Schwarzschild timelike coordinate becomes spacelike. In addition, across the metric horizon, the perturbation equations are singular, and proper smoothness conditions must be imposed, too, before solving the corresponding boundary conditions imposed at the universal horizon and the spatial infinity. In GR, the field equations of perturbations are also singular at a metric horizon, but the problem is nicely avoided, as now it is the inner boundary, and the smoothness conditions are simply replaced by the inner boundary conditions.
To overcome the above problems, in this paper we have studied the QNMs of the Schwarzschild black hole, which is also a solution of the Einstein–Aether theory [61], in which the presence of the aether field has no effects on the spacetime, although the aether field is non-trivial [cf. Eqs. (2.27) and (3.6)]. Despite the fact that the background is the same as that in GR, it is expected that the corresponding QNMs are different, as now the inner boundary is moved to the universal horizon, and both “in-going” and “out-going” radiations exist at the metric horizon. In addition, the perturbation equations are also different [cf. Eqs. (A.5) and (3.23)].
In particular, in Sect. 3 we have constructed the two master equations (3.27) and (3.32), respectively, for the metric and aether field perturbations, while in Sect. 4 we have first worked out step by step the boundary conditions for the master equation of the metric perturbations at the universal horizon, \(r_{UH} = 3r_s/4\), where \(r_s = 2\,m\) is the location of the metric horizon, and at the spatial infinity. Then, we have systematically worked out its smoothness conditions across the metric horizon. Afterwards, combining the Chandrasekhar-Detweiler method [28] with the shooting one, one side is from the universal horizon to the metric horizon, while the other side is from the spatial infinity to the metric horizon (cf. Sect. 4.4), we have found various modes \(\omega \) for \(l = 2, 3, 4, 10\), given explicitly in Table 2. In the same table we have also presented the corresponding values of the modes in GR, and found that the differences between the ones given in \(\ae \)-theory and those given in GR can hardly be distinguished by current observations of gravitational waves, although it is well within the detectability of the detectors of the next generation.
In Sect. 5, following closely what we have done for the metric perturbations in Sect. 4, we have considered the aether perturbations and found various modes \(\omega _{\ae }\) [cf. Eq. (3.35)] for \(l = 2, 10, 100\), given, respectively in Tables 4 and 5. In these two tables, in contrast to Table 2, we have identified several modes of \(\omega _{\ae }\)’s, which all have a positive imaginary part. This strongly indicates the instability of the aether field. This is also consistent with what was found in [99] for the Schwarzschild black hole against large angular perturbations. However, due to our numerical errors of the current paper, it must be noted that such a conclusion is not exclusive. In particular, in the metric perturbations presented in Sect. 4, we have not been able to find such an instability.
Therefore, it would be very important to confirm the above instability, for example, by considering the even-parity perturbations and meanwhile extending the current studies to other black holes found in [61]. It would be also very interesting to confirm the isospectrality of the theory [123, 124]. However, due to the scope of this paper, we would like to address these important questions in other occasions.
Data availability statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is almost purely a theoretical study and no usual experimental data will be generated.]
Notes
It should be noted that all the solutions obtained previously do not satisfy these conditions, which were the main motivations for us to revisited this problem and obtained new (numerical) solutions in [61].
The recent studies of the neutron binary systems showed that the PPN parameter \(\alpha _1\) is further restricted to \(|\alpha _1| < 10^{-5}\) [52], which is an order of magnitude stronger than the bounds from lunar laser ranging experiments [103]. This will translate the constraint on \(c_{14}\) given by Eq. (2.14) to \(0 \lesssim c_{14} \lesssim \times 2.5 \times 10^{-6}\), as one can see clearly from Eq. (3.12) given in [39].
Particles even with infinitely large speeds would just move on these boundaries and cannot escape to infinity.
It must not be confused with the function \(J_{lm}\) introduced here and the tensor \(J_{\alpha \beta }\) appearing in Eq. (2.10).
References
B.P. Abbott, et al., [LIGO/Virgo Scientific Collaborations], Observation of Gravitational Waves from a Binary Black Hole Merger. Phys. Rev. Lett. 116, 061102 (2016)
B.P. Abbott et al., [LIGO/Virgo Collaborations], GWTC-1: A Gravitational-Wave Transient Catalog of Compact Binary Mergers Observed by LIGO and Virgo during the First and Second Observing Runs. Phys. Rev. X 9, 031040 (2019)
B.P. Abbott et al., [LIGO/Virgo Collaborations], Open data from the first and second observing runs of Advanced LIGO and Advanced Virgo. SoftwareX 13, 100658 (2021)
B.P. Abbott, et al., [LIGO/Virgo Collaborations], GW190425: Observation of a Compact Binary Coalescence with Total Mass \(\sim 3.4M_{\bigodot }\). ApJL 892 L3 (2020)
B.P. Abbott, et al., [LIGO/Virgo/KAGRA Collaborations], GWTC-3: Compact Binary Coalescences Observed by LIGO and Virgo During the Second Part of the Third Observing Run. arXiv:2111.03606v1 [gr-qc]
C.J. Moore, R.H. Cole, C.P.L. Berry, Gravitational-wave sensitivity curves. Class. Quantum. Grav. 32, 015014 (2015)
Y. Gong, J. Luo, B. Wang, Concepts and status of Chinese space gravitational wave detection projects. Nature Astron. 5(9), 881–889 (2021)
E. Berti, V. Cardoso, A.O. Starinets, Quasinormal modes of black holes and black branes. Class. Quantum. Grav. 26, 163001 (2009)
E. Berti, K. Yagi, H. Yang, N. Yunes, Extreme gravity tests with gravitational waves from compact binary coalescences: (II) ringdown. Gen. Relativ. Grav. 50, 49 (2018)
E. Berti, K. Yagi, H. Yang, N. Yunes, Extreme gravity tests with gravitational waves from compact binary coalescences: (I) inspiral-merger. Gen. Relativ. Grav. 50, 46 (2018)
ET Steering Committee Editorial Team, ET design report update 2020, ET-0007A- 20 (2020). https://www.et-gw.eu/
S. Liu, Y. Hu et al., Science with the TianQin observatory: Preliminary results on stellar-mass binary black holes. Phys. Rev. D 101, 103027 (2020)
C.-F. Shi et al., Science with the TianQin observatory: preliminary results on testing the no-hair theorem with ringdown signals. Phys. Rev. D 100, 044036 (2019)
W.-H. Ruan, Z.-K. Guo, R.-G. Cai, Y.-Z. Zhang, Taiji Program: Gravitational-Wave Sources. Int. J. Mod. Phys. A 35(17), 2050075 (2020)
S. Kawamura, et al., Current status of space gravitational wave antenna DECIGO and B-DECIGO. arXiv:2006.13545
S. Chandrasekhar, The mathematical theory of black holes, Oxford classic texts in the physical sciences (Oxford Press, Oxford, 1992)
S. Iyer, Black-hole normal modes: A WKB approach. II. Schwarzschild black holes. Phys. Rev. D 35, 12 (1987)
S. Detweiler, Black holes and gravitational waves. III. The resonant frequencies of rotating holes. Astrophys. J. 239, 292–295 (1980)
E. Seidel, S. Iyer, Black-hole normal modes: A WKB approach. IV. Kerr black holes. Phys. Rev. D 41, 2 (1990)
B.F. Schutz, C.M. Will, Black hole normal modes: a semianalytic approach. Astrophys. J. 291, L33–L36 (1985)
S. Iyer, C.M. Will, Black-hole normal modes: A WKB approach. I. Foundations and application of a higher-order WKB analysis of potential-barrier scattering. Phys. Rev. D 35, 12 (1987)
R.A. Konoplya, Quasinormal behavior of the D-dimensional Schwarzschild black hole and the higher order WKB approach. Phys. Rev. D 68, 024018 (2003)
J. Matyjasek, M. Opala, Quasinormal modes of black holes: The improved semianalytic approach. Phys. Rev. D 96, 024011 (2017)
X. Li, S.-P. Zhao, Quasinormal modes of a scalar and an electromagnetic field in Finslerian–Schwarzschild spacetime. Phys. Rev. D 101, 124012 (2020)
E.W. Leaver, An analytic representation for the quasi-normal modes of Kerr black holes. Proc. R. Soc. Lond. A 402, 285–298 (1985)
S. Chandrasekhar, F. R. S., S. Detweiler, The quasi-normal modes of the Schwarzschild black hole. Proc. R. Soc. Lond. A. 344, 411–452 (1975)
D.D. Doneva, S.S. Yazadjiev, K.D. Kokkotas, I.Z. Stefanov, Quasinormal modes, bifurcations, and nonuniqueness of charged scalar-tensor black holes. Phys. Rev. D 82, 064030 (2010)
K. Lin, W.-L. Qian, A matrix method for quasinormal modes: Schwarzschild black holes in asymptotically flat and (anti-) de Sitter spacetimes. Class. Quantum Grav. 34, 095004 (2017)
R.A. Konoplya, A. Zhidenko, Quasinormal modes of black holes: From astrophysics to string theory. Rev. Mod. Phys. 83, 793 (2011)
C. Gundlach, R.H. Price, J. Pullin, Late-time behavior of stellar collapse and explosions. I. Linearized perturbations. Phys. Rev. D 49, 883 (1994)
B. Wang, C.-Y. Lin, C. Molina, Quasinormal behavior of massless scalar field perturbation in Reissner–Nordström anti-de Sitter spacetimes. Phys. Rev. D 70, 064025 (2004)
X. Li, S.-P. Zhao, Quasinormal modes of a scalar and an electromagnetic field in Finslerian–Schwarzschild spacetime. Phys. Rev. D 101, 124012 (2020)
O.J. Tattersall, P.G. Ferreira, Forecasts for low spin black hole spectroscopy in Horndeski gravity. Phys. Rev. D 99, 104082 (2019)
H. Yang, D.A. Nichols, F. Zhang et al., Quasinormal-mode spectrum of Kerr black holes and its geometric interpretation. Phys. Rev. D 86, 104006 (2012)
T. Jacobson, D. Mattingly, Gravity with a dynamical preferred frame. Phys. Rev. D 64, 024028 (2001)
T. Jacobson, Einstein-æther gravity: a status report, Proc. Sci., QG-PH (2007) 020 arXiv:0801.1547v2
J. Oost, S. Mukohyama, A. Wang, Constraints on æ-theory after GW170817. Phys. Rev. D 97, 124023 (2018)
O. Sarbach, E. Barausse, J.A. Preciado-López, Well-posed Cauchy formulation for Einstein-æther theory. Class. Quantum Grav. 36, 165007 (2019)
D. Garfinkle, T. Jacobson, A positive-energy theorem for Einstein–Aether and Hořava gravity. Phys. Rev. Lett. 107, 191102 (2011)
B. Z. Foster, Radiation damping in Einstein–Aether theory. arXiv:gr-qc/0602004v5
B.Z. Foster, Phys. Rev. D 76, 084033 (2007)
K. Yagi, D. Blas, N. Yunes, E. Barausse, Strong Binary Pulsar Constraints on Lorentz Violation in Gravity. Phys. Rev. Lett. 112, 161101 (2014)
K. Yagi, D. Blas, E. Barausse, N. Yunes, Phys. Rev. D 89, 084067 (2014)
D. Hansen, N. Yunes, K. Yagi, Phys. Rev. D 91, 082003 (2015)
Y.-G. Gong, S.-Q. Hou, D.-C. Liang, E. Papantonopoulos, Phys. Rev. D 97, 084040 (2018)
K. Lin, X. Zhao, C. Zhang, K. Lin, T. Liu, B. Wang, S.-J. Zhang, X. Zhang, W. Zhao, T. Zhu, A. Wang, Phys. Rev. D 99, 023010 (2019)
X. Zhao, C. Zhang, K. Lin, T. Liu, R. Niu, B. Wang, S.-J. Zhang, X. Zhang, W. Zhao, T. Zhu, A. Wang, Gravitational waveforms and radiation powers of the triple system PSR J0337+1715 in modified theories of gravity. Phys. Rev. D 100, 083012 (2019)
C. Zhang, X. Zhao, A. Wang, B. Wang, K. Yagi, N. Yunes, W. Zhao, T. Zhu, Gravitational waves from the quasicircular inspiral of compact binaries in Einstein-aether theory. Phys. Rev. D 101, 044002 (2020)
J. Oost, S. Mukohyama, A. Wang, Spherically symmetric exact vacuum solutions in Einstein–Aether theory. Universe 7, 272 (2021). arXiv:2106.09044
T. Gupta, M. Herrero-Valea, D. Blas, E. Barausse, N. Cornish, K. Yagi, N. Yunes, New binary pulsar constraints on Einstein–æther theory after GW170817. Class. Quantum Grav. 38, 195003 (2021)
C. Eling, T. Jacobson, Spherical solutions in Einstein–Aether theory: static Aether and stars. Class. Quantum. Grav. 23, 5625 (2006)
C. Eling, T. Jacobson, Black holes in Einstein–Aether theory. Class. Quantum. Grav. 23, 5643 (2006)
T. Tamaki, U. Miyamoto, Generic features of Einstein–Aether black holes. Phys. Rev. D 77, 024026 (2008)
D. Blas, S. Sibiryakov, Hořava gravity versus thermodynamics: The black hole case. Phys. Rev. D 84, 124043 (2011)
E. Barausse, T. Jacobson, T.P. Sotiriou, Black holes in Einstein–Aether and Hořava-Lifshitz gravity. Phys. Rev. D 83, 124043 (2011)
P. Berglund, J. Bhattacharyya, D. Mattingly, Mechanics of universal horizons. Phys. Rev. D 85, 124019 (2012)
A. Wang, Stationary and slowly rotating spacetimes in Hořava-Lifshitz gravity. Phys. Rev. Lett. 110, 091101 (2013)
C. Ding, A. Wang, X. Wang, Charged Einstein–Aether black holes and Smarr formula. Phys. Rev. D 92, 084055 (2015)
C. Zhang, X. Zhao, K. Lin, S.-J. Zhang, W. Zhao, A.-Z. Wang, Spherically symmetric static black holes in Einstein–Aether theory. Phys. Rev. D 102, 064043 (2020)
A. Adam, P. Figueras, T. Jacobson, T. Wiseman, Rotating black holes in Einstein–Aether theory. arXiv:2108.00005
R. Chan, M. F. A. da Silva, V. H. Satheeshkumar, Thermodynamics of Einstein–Aether Black Holes. arXiv:2112.14978
M. Bhattacharjee, S. Mukohyama, M.-B. Wan, A. Wang, Gravitational collapse and formation of universal horizons in Einstein-æther theory. Phys. Rev. D 98, 064010 (2018)
D. Garfinkle, C. Eling, T. Jacobson, Numerical simulations of gravitational collapse in Einstein–Aether theory. Phys. Rev. D 76, 024003 (2007)
T. Clifton, P.G. Ferreira, A. Padilla, C. Skordis, Modified Gravity and Cosmology. Phys. Rep. 513, 1 (2012)
D. Langlois, Dark energy and modified gravity in degenerate higher-order scalar-tensor (DHOST) theories: A review. Int. J. Mod. Phys. D 28, 1942006 (2019)
A. Bourgoin et al., Constraining velocity-dependent Lorentz and CPT violations using lunar laser ranging. Phys. Rev. D 103, 064055 (2021)
H. Pihan-le Bars et al., New Test of Lorentz Invariance Using the MICROSCOPE Space Mission. Phys. Rev. Lett. 123, 231102 (2019)
C.G. Shao et al., Combined search for a Lorentz-violating force in short-range gravity varying as the inverse sixth power of distance. Phys. Rev. Lett. 122, 011102 (2019)
A. Bourgoin, C. Le Poncin-Lafitte, A. Hees, S. Bouquillon, G. Francou, M.-C. Angonin, Lorentz symmetry violations from matter-gravity couplings with lunar laser ranging. Phys. Rev. Lett. 119, 201102 (2017)
N.A. Flowers, C. Goodge, J.D. Tasson, Superconducting-gravimeter tests of local Lorentz invariance. Phys. Rev. Lett. 119, 201101 (2017)
A. Kostelecky, N. Russell, Data tables for Lorentz and CPT violation. Rev. Mod. Phys. 83, 11 (2011). arXiv:0801.0287v15
J. Collins, A. Perez, D. Sudarsky, L. Urrutia, H. Vucetich, Lorentz invariance and quantum gravity: an additional fine-tuning problem? Phys. Rev. Lett. 93, 191301 (2004)
D. Mattingly, Modern Tests of Lorentz Invariance. Living Rev. Relativity 8, 5 (2005)
S. Liberati, Tests of Lorentz invariance: a 2013 update. Class. Quantum Grav. 30, 133001 (2013)
M. Pospelov, C. Tamarit, Lifshitz-sector mediated SUSY breaking. J. High Energy Phys. 01, 048 (2014)
A. Wang, Hořava gravity at a Lifshitz point: A progress report. Int. J. Mod. Phys. D26, 1730014 (2017)
J. Bhattacharyya, A. Coates, M. Colombo, T. P. Sotiriou1, Evolution and spherical collapse in Einstein-Æther theory and Hor̆ava gravity. Phys. Rev. D 93, 064056 (2016)
J. Bhattacharyya, M. Colombo, T.P. Sotiriou, Causality and black holes in spacetimes with a preferred foliation. Class. Quantum Grav. 33, 235003 (2016)
T. Jacobson, D. Mattingly, Einstein–Aether waves. Phys. Rev. D 70, 024003 (2004)
J.W. Elliott, G.D. Moore, H. Stoica, Constraining the New Aether: Gravitational Cherenkov Radiation. JHEP 0508, 066 (2005)
J. Calderón Bustillo, P.D. Lasky, E. Thrane, Black-hole spectroscopy, the no-hair theorem, and GW150914: Kerr versus Occam. Phys. Rev. D 103, 024041 (2021)
R. Abbott et al., [The LIGO and Virgo Collaborations], Tests of general relativity with binary black holes from the second LIGO-Virgo gravitational-wave transient catalog. Phys. Rev. D 103, 122002 (2021)
X.J. Forteza, S. Bhagwat, P. Pani, V. Ferrari, Spectroscopy of binary black hole ringdown using overtones and angular modes. Phys. Rev. D 102, 044053 (2020)
S. Bhagwat, X.J. Forteza, P. Pani, V. Ferrari, Ringdown overtones, black hole spectroscopy, and no-hair theorem tests. Phys. Rev. D 101, 044033 (2020)
M. Giesler, M. Isi, M. Scheel, S. Teukolsky, Black hole ringdown: the importance of overtones. Phys. Rev. X 9, 041060 (2019)
M. Isi, M. Giesler, W.M. Farr, M.A. Scheel, S.A. Teukolsky, Testing the No-Hair Theorem with GW150914. Phys. Rev. Lett. 123, 111102 (2019)
G. Carullo, W. Del Pozzo, J. Veitch, Observational black hole spectroscopy: a time-domain multimode analysis of GW150914. Phys. Rev. D 99, 123029 (2019)
C.D. Capano, A.H. Nitz, Binary black hole spectroscopy: a no-hair test of GW190814 and GW190412. Phys. Rev. D 102, 124070 (2020)
I. Ota, C. Chirenti, Overtones or higher harmonics? Prospects for testing the no-hair theorem with gravitational wave detections. Phys. Rev. D 101, 104005 (2020)
F.H. Shaik, J. Lange, S.E. Field, R. O’Shaughnessy, V. Varma, L.E. Kidder, H.P. Pfeiffer, D. Wysocki, Impact of subdominant modes on the interpretation of gravitational-wave signals from heavy binary black hole systems. Phys. Rev. D 101, 124054 (2020)
N. Uchikata, T. Narikawa, K. Sakai, H. Takahashi, H. Nakano, Black hole spectroscopy for KAGRA future prospect in O5. Phys. Rev. D 102, 024007 (2020)
S. Bhagwat, M. Cabero, C.D. Capano, B. Krishnan, D.A. Brown, Detectability of the subdominant mode in a binary black hole ringdown. Phys. Rev. D 102, 024023 (2020)
M. Cabero, J. Westerweck, C.D. Capano, S. Kumar, A.B. Nielsen, B. Krishnan, Black hole spectroscopy in the next decade. Phys. Rev. D 101, 064044 (2020)
A. Maselli, P. Pani, L. Gualtieri, E. Berti, Parametrized ringdown spin expansion coefficients: a data-analysis framework for black-hole spectroscopy with multiple events. Phys. Rev. D 101, 024043 (2020)
T. Islam, A.K. Mehta, A. Ghosh, V. Varma, P. Ajith, B.S. Sathyaprakash, Testing the no-hair nature of binary black holes using the consistency of multipolar gravitational radiation. Phys. Rev. D 101, 024032 (2020)
B. P. Abbott, et al., [LIGO/Virgo/KAGRA Collaborations], Tests of General Relativity with GWTC-3. arXiv:2112.06861v1 [gr-qc]
S. Tsujikawa, C. Zhang, X. Zhao, A. Wang, Odd-parity stability of black holes in Einstein–Aether gravity. Phys. Rev. D 104, 064024 (2021)
B.P. Abbott et al., [LIGO Scientific and Virgo Col- laborations], GW170817: Observation of Gravitational Waves from a Binary Neutron Star Inspiral. Phys. Rev. Lett. 119, 161101 (2017)
A. Goldstein et al., An Ordinary Short Gamma-Ray Burst with Extraordinary Implications: Fermi-GBM Detection of GRB 170817A. Astrophys. J. 848, L14 (2017)
S.M. Carroll, E.A. Lim, Lorentz-violating vector fields slow the universe down. Phys. Rev. D 70, 123525 (2004)
J. Müller, J.G. Williams, S.G. Turyshev, Lunar laser ranging contributions to relativity and geodesy. Astrophys. Space Sci. Libr. 349, 457 (2008)
J. Greenwald, J. Lenells, J.-X. Lu, V.H. Satheeshkumar, A. Wang, Black holes and global structures of spherical spacetimes in Hořava-Lifshitz theory. Phys. Rev. D 84(084040), 5 (2011)
D. Blas, O. Pujolas, S. Sibiryakov, A healthy extension of Hořava gravity. Phys. Rev. Lett. 104, 181302 (2010)
D. Blas, O. Pujolas, S. Sibiryakov, Models of non-relativistic quantum gravity: the good, the bad and the healthy. JHEP 04, 018 (2011)
P. Hořava, Membranes at quantum criticality. JHEP 0903, 020 (2009)
P. Hořava, Quantum gravity at a Lifshitz point. Phys. Rev. D 79, 084008 (2009)
K. Lin, E. Abdalla, R.-G. Cai, A. Wang, Universal horizons and black holes in gravitational theories with broken Lorentz symmetry. Int. J. Mod. Phys. D 23, 1443004 (2014)
T. Jacobson, Undoing the twist: The Horava limit of Einstein–Aether theory. Phys. Rev. D 89, 081501(R) (2014)
T. Jacobson, Phys. Rev. D 81, 101502 (2010)
T. Jacobson, Extended Horava gravity and Einstein–Aether theory. Phys. Rev. D 81, 101502(R) (2010)
T. Jacobson, Undoing the twist: The Horava limit of Einstein–Aether theory. Phys. Rev. D 82, 129901(E) (2010)
R.M. Wald, General Relativity (University of Chicago Press, Chicago, 2010)
K. Lin, V.H. Satheeshkumar, A. Wang, Static and rotating universal horizons and black holes in gravitational theories with broken Lorentz invariance. Phys. Rev. D 93, 124025 (2016)
J. Bhattacharyya, Aspects of holography in Lorentz-violating gravity, PhD Dissertation, https://scholars.unh.edu/cgi/viewcontent.cgi?article=1728 &context=dissertation
E. Barausse1, T. P. Sotiriou, Black holes in Lorentz-violating gravity theories. Class. Quantum. Grav. 30, 244010 (2013)
K. Lin, O. Goldoni, M.F. da Silva, A. Wang, A new look at those old black holes: existence of universal horizons. Phys. Rev. D 91, 024047 (2015)
J.E. Thompson, H. Chen, B.F. Whiting, Gauge invariant perturbations of the Schwarzschild spacetime. Class. Quantum Grav. 34, 174001 (2017)
T. Regge, J.A. Wheeler, Stability of a Schwarzschild Singularity. Phys. Rev. 108, 4 (1957)
R. d’ Inverno, Introducing Einstein’s Relativity (Oxford University Press, New York, 2000)
E. Butkov, Mathematical Physics (Addison-Wesley Publishing Company, Canada, 1972)
C. Zhang, T. Zhu, A. Wang, Gravitational axial perturbations of Schwarzschild-like black holes in dark matter halos. Phys. Rev. D 104, 124082 (2021)
C. Zhang, T. Zhu, X. Fang, A. Wang, Imprints of dark matter on gravitational ringing of supermassive black holes. Phys. Dark Univ. 37, 101078 (2022)
A. Ghosh, R. Brito, A. Buonanno, Constraints on quasinormal-mode frequencies with LIGO-Virgo binary-black-hole observations. Phys. Rev. D 103, 124041 (2021)
Acknowledgements
We would like to express our gratitude to Prof. Shinji Tsujikawa for his valuable comments and suggestions, and to Dr. Xiang Zhao for the early stage of his collaboration of this project. This work is supported in part by the National Key Research and Development Program of China Grant No. 2020YFC2201503, the National Natural Science Foundation of China under Grant No. 12205254, 12275238, 11975203 and 11675143, the Zhejiang Provincial Natural Science Foundation of China under Grant No. LR21A050001 and LY20A050002, and the Fundamental Research Funds for the Provincial Universities of Zhejiang in China under Grant No. RF-A2019015.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: The coefficients of \(\rho _{abc}\), \(\kappa _{n}\) and \(\alpha _m\)
With the gauge condition \(C_{lm} = 0\), the linearized Einstein–Aether field equations
can be cast respectively in the forms,
where
It is interesting to note that the coefficients \(\rho _{abc}\) are functions of r, \(c_1\) and l only, and some of them contain no \(c_1\).
The coefficients \(\kappa _{n}\) appearing in Eq. (5.1) are given by
The coefficients \(\alpha _{n}\) appearing in Eq. (5.10) are given by
Appendix B: The formulas used in modifying a master equation
Suppose we have an eqaution of the form
Let us introduce a new function \(\Psi \) and a new variable x by
Then, choosing q(r) as
we find that Eq. (B.1) can be written in a form of the Schrödinger-like differential equation
where
and a prime denotes the derivative with respect to r. Note that another useful form of Eq. (B.4) is given by
where Eq. (B.2) has been used. In addition, a common choice of p(r) is \(p(r)=\sqrt{\eta _1}\).
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
Zhang, C., Wang, A. & Zhu, T. Universal horizons and black hole spectroscopy in gravitational theories with broken Lorentz symmetry. Eur. Phys. J. C 83, 841 (2023). https://doi.org/10.1140/epjc/s10052-023-11998-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11998-7