-
It is known that general relativity should be modified from the viewpoints of both theory and observations. For example, general relativity cannot be renormalized and cannot explain the dark side of the universe. In contrast, the Lovelock theorem states that, in the four dimensional vacuum spacetime, general relativity with the cosmological constant is a unique metric theory of gravity with second order equations of motion and covariant divergence-free [1]. Beyond general relativity, one must consider higher dimensional spacetimes, add extra fields, allow higher order derivatives of metrics, or even abandon the Riemannian geometry. Various modified gravity theories have been proposed [2].
By rescaling the GB coupling constant in a special way, a regularized 4D GB black hole solution was found recently [3]. This work provides a novel classical 4D gravity theory and has inspired many studies, including those on regularized black hole solutions [4-23], perturbations [24-35], shadow and geodesics [36-41], thermodynamics [42-47], and other aspects [48-51]. It should be mentioned that 4D EGB gravity was found to be inconsistent based on the theory proposed in [3]. Fortunately, some proposals have been raised to circumvent the issues of 4D EGB gravity, including adding an extra degree of freedom to the theory [18-23] or breaking the temporal diffeomorphism invariance [52, 53], where a well-defined theory was formulated. In contrast, while the 4D EGB gravity formulated in [3] may be problematic at the level of action or equations of motion, the spherically symmetric black hole solution derived in [3] can be obtained from conformal anomalyand quantum corrections [54-65] as well as from the Horndeski theory [18-23], which means the spherically symmetric black hole solution itself is meaningful and worth studying.
The regularized black hole solution has some remarkable properties. Its singularity at the center is timelike. The gravitational force near the center is repulsive, and the free infalling particles cannot reach the singularity [3]. One may expect that the regularized black hole solution would also show some novel properties with respect to perturbations, and some related studies have been reported [24-32, 34]. The study of the stability of black holes is an active area in black hole physics. It can be used for extracting the black hole parameters such as its mass, charge, and angular momentum. Black hole stability is also related to gravitational waves, black hole thermodynamics, the information paradox, and holography [57, 58]. Among these studies, black hole stability in the asymptotic de Sitter (dS) spacetime is intriguing. For example, spontaneous scalarization of Kerr-dS black holes in the scalar-tensor theory behaves very differently from that for asymptotically flat spacetimes under perturbations [59]. The 4D Reissner-Nordström-de Sitter (RN-dS) black hole may violate strong cosmic censorship [60-63]. Higher dimensional RN-dS and Gauss-Bonnet-de Sitter (GB-dS) black holes are unstable [64-68].
A quite surprising and still not very well understood result was discovered in [69-71], where it was shownthat the RN-dS black hole is unstable under charged scalar perturbations. Such instability satisfies the superradiancecondition [72]. However, only the monopole
l=0 suffers from this instability. Higher multipoles are stable. This is distinct from superradiance. The underlying mechanismmay be understood using the tools of nonlinear analysis, as was partially shown recently [63]. In this paper, we consider the instability of the regularized 4D charged EGB black hole in the asymptotic dS spacetime, under charged scalar perturbations. We demonstrate that the behavior is very different from the case of the asymptotic flat spacetime that was considered in [34]. The GB coupling constant plays a more subtle role here.The paper is organized as follows. Sec. II describes the regularized 4D EGB-RN-dS black hole and gives a reasonable parametric region. Sec. III presents the charged scalar perturbation equations. Sec. IV describes the numerical method we used and presents the results for quasinormal modes (QNMs). Sec. V contains the summary and discussion of the study.
-
The 4D spherical symmetric EGB black hole in the electrovacuum dS spacetime can be written as [4]
ds2=−f(r)dt2+1f(r)dr2+r2(dθ2+sin2θdϕ2),
(1) where the metric function is
f(r)=1+r22α(1−√1+4α(Mr3−Q2r4+Λ3)),
(2) and the gauge potential is
A=−Qrdt.
(3) Here, M is the black hole mass, Q is the black hole charge, and
Λ the positive cosmological constant. Whenα→0 , this solution converges to that for the RN-dS black hole. Asr→∞ , the asymptotic dS spacetime with an effective positive cosmological constant is obtained. Note that solution (1) coincides formally with those obtained from the Horndeski theory [18-23] and those obtained using conformal anomaly and quantum corrections [52, 53].The GB coupling constant
α can be either positive or negative. In an appropriate parametric region, the solution has three horizons: the inner horizonr− , the event horizonr+ , and the cosmological horizonrc . For negativeα , the metric function may not be real in the small r region. However, since we are only interested in the region betweenr+ andrc , we allow negativeα in this work. For convenience, hereafter, we fix the black hole event horizon asr+=1 . Then, the mass parameter can be expressed asM=1−Λ3+Q2+α.
(4) Note that, to ensure
f(1)=0 , we must haveα>−12 . The parametric region in which the black hole event horizonr+ and the cosmological horizonrc are allowed can be determined by requiringf′(r+)>0 , implying that the black hole temperature is positive. This leads toQ2+α+Λ<1.
(5) This formula is very similar to the neutral case [33]. The parametric region is shown in Fig. 1.
-
It is known that fluctuations of order
O(ϵ) in the scalar field in a given background induce changes in the spacetime geometry of orderO(ϵ2) [72]. To the leading order, we can study perturbations for a fixed background geometry. Let us consider a massless charged scalar fieldψ on background (1). Its equation of motion is0=DμDμψ≡gμν(∇μ−iqAμ)(∇ν−iqAν)ψ,
(6) where q is the scalar charge, and
∇μ is the covariant derivative. For a generic background, we can take the following decompositionψ=∑lm∫dωe−iωtΨ(r)rYlm(θ,ϕ).
(7) Here,
Ylm(θ,ϕ) is the spherical harmonics on the two sphereS2. The angular part and the radial part of the perturbation Eq. (6) decouple. What we are interested in is the radial part, which can be written in the Schrödinger-like form0=∂2Ψ∂r2∗+(ω2−2qQrω−Veff)Ψ,
(8) where the tortoise coordinate
dr∗=dr/f is introduced. The effective potential readsVeff=−q2Q2r2+f(l(l+1)r2+∂rfr).
(9) Unlike the case of the asymptotic flat spacetime, where only one potential barrier appears between
r+ andrc , here, a negative effective potential well may appear betweenr+ andrc . We will show that this potential well plays an important role in the instability of charged EGB-dS black holes under perturbations.The radial equation exhibits the following asymptotic behavior near the horizons.
Ψ→{e−i(ω−qQr+)r∗∼(r−r+)−i2κ+(ω−qQr+),r→r+,ei(ω−qQrc)r∗∼(r−rc)−i2κc(ω−qQrc),r→rc.
(10) Here,
κ+=12f′(r+) is the surface gravity on the event horizon, andκc=−12f′(rc) is the surface gravity on the cosmological horizon. Thisasymptotic solution corresponds to the ingoing boundary condition near the event horizon and outgoing boundary condition near the cosmological horizon. The system is dissipative, and the frequency of perturbations is determined by the composition of QNMs. For a specific boundary condition (10), the radial Eq. (8) can be solved as an eigenvalue problem. Only some discrete eigenfrequenciesω satisfy both the radial equation and the boundary condition. The eigenfrequency can be written asω=ωR+iωI . When the imaginary partωI>0 , the amplitude of the perturbationwill increase exponentially, implying that the black hole is unstable at least with respect to linear perturbations. -
The radial Eq. (8) with boundary conditions specified by (10) is generally difficult to solve analytically, except for a few cases, such as the pure anti-dS ((A)dS) spacetime, the Nariai spacetime, and massless topological black holes [57, 58]. In general, approximations or numerical methods are required. Various numerical methods for QNM calculations have been developed, such as the Wentzel-Kramers-Brillouin (WKB) method, the shooting method, the continued fraction method, and the Horowitz-Hubeny method [57, 58]. Not all of these methods have high accuracy and efficiency in the charged case [73]. In this work, we adopted the asymptotic iteration method [74, 75]. In addition, we validate our results using asymptotic iteration methods with time evolution.
-
The AIM was originally developed for solving the eigenvalues of homogeneous second order ordinary derivative functions [76, 77]. Later, it was used for observing QNMs of black holes in the asymptotic flat or (A)dS spacetimes [74, 75]. Let us first introduce an auxiliary variable
ξ=r−r+rc−r+.
(11) It ranges from 0 to 1 as r runs from the event horizon to the cosmological horizon. The radial Eq. (8) then becomes
0=∂2Ψ∂ξ2(frc−r+)2+∂Ψ∂ξf∂ξf(rc−r+)2+[(ω−qQ(rc−r+)ξ+r+)2−f(l(l+1)+(ξ+r+rc−r+)∂ξf[(rc−r+)ξ+r+]2)]Ψ.
(12) The above equation is in general difficult to solve ana-lytically; thus, we use numerical methods. In terms of
ξ , the asymptotic solution near the horizons can be written asΨ→{ξ−i2κ+(ω−qQr+),ξ→0,(ξ−1)−i2κc(ω−qQrc),ξ→1.
(13) Then, we can write the full solution of Eq. (12) satisfying the asymptotic behavior (13), as follows:
Ψ=ξ−i2κ+(ω−qQr+)(ξ−1)i2κc(ω−qQrc)χ(ξ).
(14) Here,
χ(ξ) is a regular function ofξ in the interval(0,1) , and it obeys the following homogeneous second order differential equation∂2χ∂ξ2=λ0(ξ)∂χ∂ξ+s0(ξ)χ,
(15) in which the coefficients are
−λ0(ξ)=i(ω−qQrc)(ξ−1)κc−i(ω−qQr+)κ+ξ+f′(ξ)f(ξ),
(16) −s0(ξ)=−(rc−r+)((ξrc−ξr++r+)f′(ξ)+l(l+1)(rc−r+))f(ξ)((ξ−1)r+−ξrc)2−(ω−qQrc)(ωrc−qQ2κcrc+i)2(ξ−1)2κc+(ω−qQr+)(qQ−r+ω2κ+r++i)2κ+ξ2+(ω−qQr+)(ω−qQrc)2κ+(ξ−1)ξκc+if′(ξ)(ω−qQrc)2(ξ−1)κcf(ξ)−if′(ξ)(ω−qQr+)2κ+ξf(ξ)+(rc−r+)2(ω−qQξrc−ξr++r+)2f(ξ)2.
(17) The coefficients
λ0(ξ) ands0(ξ) are regular functions ofξ in the interval(0,1) . Differentiating (15) with respect toξ iteratively leads to an(n+2) -th order differential equationχ(n+2)=λn(ξ)χ′(ξ)+sn(ξ)χ(ξ),
(18) where the coefficients are determined iteratively, as follows:
λn(ξ)=λ′n−1(ξ)+sn−1(ξ)+λ0(ξ)λn−1(ξ),sn(ξ)=s′n−1(ξ)+s0(ξ)λn−1(ξ).
(19) Expanding the coefficient functions around a regular point
ξ=ξ0 ,λn(ξ)=∞∑j=0cjn(ξ−ξ0)j,sn(ξ)=∞∑j=0djn(ξ−ξ0)j,
(20) in which the expansion coefficients
cjn anddjn are functions ofω , and the iterative equations givecjn=(j+1)cj+1n−1+djn−1+j∑k=0ck0cj−kn−1,
(21) djn=(j+1)di+1n−1+j∑k=0dk0cj−kn−1.
(22) For sufficiently large n, the cutoff of the iteration in the AIM is given by
sn(ξ)λn(ξ)=sn−1(ξ)λn−1(ξ),
(23) which leads to the following expression, in terms of the expansion coefficients:
d0nc0n−1=d0n−1c0n.
(24) The QNMs
ω can be worked out by solving this equation. We vary the iteration times and the expansion point to ensure the reliability of the results. The results are also checked by using other auxiliary variables such asξ=1−r+r orξ=(1−r+r)/(1−r+rc) . Except for some extremal cases (Λ→0 or when the bblack hole becomes extremal), they coincide well. Hereafter, we setq=1 for convenience. -
Let us first study the effects of the black hole charge Q on the fundamental modes of QNMs. The results are shown in Fig. 2. In the left panel, we see that
ωR increases with Q almost linearly. The slope is steeper for largerΛ andα . In the right panel,ωI increases for small Q and then decreases for larger Q. For sufficiently large Q, the black hole becomes stable. When Q is small,ωI increases with increasingα . This behavior is similar to the case of the asymptotic flat spacetime [34]. However, when Q is large,ωI decreases with increasingωI . This should be contrasted with the result for the asymptotic flat spacetime. It implies that the positive GB coupling constant can destabilize the black hole when the black hole charge Q is small, whereas it stabilizes the black hole at large Q. Note further that, regardless of the values ofΛ,α considered, whenQ→0 , bothωR andωI tend to 0 from above. This implies that weakly charged black holes in the dS spacetime are always unstable. The existence ofα does not change this phenomenon qualitatively.Figure 2. (color online) The real part (left) and the imaginary part (right) of the fundamental modes of the QNMs, for
l=0 . The solid lines are forΛ=0.01 , while the dashed lines are forΛ=0.1. Now, we study the effects of
α on the fundamental modes in more detail. Fig. 3 shows the real part of the fundamental modesωR , forQ=0.1 andQ=0.4 . For fixed Q, the real partωR increases almost linearly withα andΛ . Combining the results from Fig. 2, we conclude thatωR∝αΛQ .Figure 3. (color online) The real part of the fundamental modes of the QNMs, for
l=0 . The left panel is forQ=0.1 , while the right panel is forQ=0.4 .The behavior of the imaginary part of the fundamental modes
ωI is more interesting. In Fig. 4, we show the cases forQ=0.1 andQ=0.4 . From the left and right panels, we see thatωI increases with smallΛ and decreases with largerΛ . The effect ofα onωI is subtle and relevant toΛ and Q. When both Q andΛ are small (left upper panel),ωI increases withα . For small Q and largerΛ (right upper panel),ωI increases withα first and then decreases withα . For larger Q (lower panels),ωI decreases withα . This phenomenon is very different from the case of the asymptotic flat spacetime [34], whereα roughly increasesωI . This implies that the positive GB coupling constantα can suppress the black hole instability. Asα increases, it can even change the qualitative behavior of a black hole under a perturbation and can render an unstable black hole stable.Figure 4. (color online) The imaginary part of the fundamental modes of the QNMs, for
l=0 . The upper panel is forQ=0.1 , while the lower panel is forQ=0.4 . The left panel shows the results for smallΛ , while the right panel shows the results for largerΛ .The instability we found here is reminiscent of superradiance. However, the present case is quite subtle. Using a method similar to that in [34, 70], one can show that the superradiance occurs only when
qQr+>ω>qQrc.
(25) Although the unstable modes encountered in our study indeed satisfy (25), it is observed that some oscillation frequencies corresponding to stable modes also are in the range determined by (25) (see Table 1 for evidence). In fact, as shown in [34, 70], the superradiant condition is the necessary but not sufficient condition for instability. The precise mechanism of the instability found here should be studied better and will be addressed in Sec. V.
α qQr+ qQrc ω (AIM)ωI (time domain)0.5 0.1 0.0244042 0.0290311+0.0001514i 0.0001515 0.6 0.1 0.0248557 0.0297114+0.0000779i 0.0000780 0.65 0.1 0.0250987 0.0300692+0.0000191i 0.0000192 0.7 0.1 0.0253547 0.0304355-0.0000541i -0.0000547 0.75 0.1 0.0256252 0.0308094-0.0001400i -0.0001390 Table 1. The fundamental modes for
Q=0.1,Λ=0.12 , andl=0 , corresponding to the orange line in the upper right panel of Fig. 4. The last column is the imaginary part of the frequency extracted from the time evolution. -
We also directly compute the time-evolution of the perturbation field
ψ to further reveal the instability of the 4D charged EGB-dS black hole. For the time evolution, the Schrödinger-like equation becomes−∂2Ψ∂t2−2iqQr∂Ψ∂t+∂2Ψ∂r2∗−V(r)Ψ=0,
(26) In order to compute the time evolution of
ψ , we adopt the discretization approach introduced in [69]. The reliability of this numerical method can be verified by the convergence of computations when increasing the sampling density. We impose the following initial profile:{Ψ(r∗,t)=0,t<0,Ψ(r∗,t)=exp[−(r∗−a)22b2],t=0.
(27) Eq. (26) is discretized in the
(r∗,t) plane. In addition, we setΔt/Δr∗=0.5 , to satisfy the von Neumann stability conditions. Unlike some other analytical models wherer∗ can be solved analytically, here,r∗(r) can only be obtained numerically;r∗(r) diverges aslimr→r+→−∞ andlimr→rc→∞ ; hence, the error of numericalr∗(r) can be very large in the near horizon region. Therefore, we introduce a cutoffϵ for solving ther∗(r) relation by solving the following system expression:r′∗(r)=1/f(r),r∗(rh+ϵ)=0,withr∈[rh+ϵ,rc−ϵ].
(28) Usually, the cutoff
ϵ should not be too small; otherwise, it will lead to a significant error in the resultantr∗(r) .To obtain the late time evolution of the perturbation, we need to solve a large range or
r∗ . Since1/f tends to diverge whenr→rh andr→rc , in the near horizon region,r∗(r) can be extracted analytically. A direct solution is to expand1/f(r) with respect torh , because the horizon requires that1/f(r)∼1/(r−rh) . However, this direct expansion can lead to very large numerical errors. A better solution is to expandf(r) with respect torh and then obtain the expansion of1/f in terms of the expansion coefficients off(r) . After solving the analytical expansion coefficients, one may glue the analytical expansion in the near horizon region and the numerical solution ofr∗(r) inr∈[rh+ϵ,rc−ϵ] . In this way, one may obtain a very large range ofr∗ , and long-time evolution can be realized.We show two examples of
|ψ(t)| in the log plot in Fig. 5, from which we can see thatln|ψ| linearly depends on t at later times. From the left panel of Fig. 5, when Q is small, the system is unstable (ln|ψ| linearly decreases with t), while for large values of Q, the system becomes stable (ln|ψ| linearly grows with t). This is in accordance with previous results of the frequency analysis (see the right panel of Fig. 2). From the right panel of Fig. 5, we see that whenΛ is small, the system is unstable (ln|ψ| linearly increases with t), while for large values ofΛ , the system becomes stable (ln|ψ| linearly decreases with t). This is in accordance with previous results of the frequency analysis (see the bottom right panel of Fig. 4).Figure 5. (color online) Left panel: the time evolution of
|ψ(r∗=88.4216,t)| atα=2/3,Λ=1/10 , where the different curves correspond to the different values of Q. Right panel: the time evolution of|ψ(r∗=88.4216,t)| atα=1/10,Q=2/5 , where the different curves correspond to the different values ofΛ . For both plots we seta=88.4216,b=1/10 .It is also important to verify the validity of the AIM with respect to the time evolution. There are comprehensive methods for extracting frequencies from the perturbations' time-domain profiles, such as the Prony method used in [69]. Here, we extract
ωI by computing∂tln(|ψ|) for later times and compare the results with those obtained using the AIM. This simple process only allows to extract the imaginary part of the dominant mode and may not be sufficiently accurate when QNMs are close to each other. However, it is sufficiently good for the purposes of our current analysis. We provide the comparison in Table 1 (see the last two columns), from which we can see that all of the time evolution results perfectly agree with those of the AIM.Finally, we show the unstable region of the charged EGB-dS black hole under charged scalar perturbation in Fig. 6. The black hole is unstable only when
Λ and Q are not too large. AsΛ or Q increases, the black hole becomes less unstable. For positiveα , the unstable region shrinks. For negativeα , the unstable region widens. Although we do not show the results forΛ→0 owing to the limitation of our numerical method, we can expect that there should be sudden drops, since we have found that there is no instability for the asymptotic flat charged EGB black holes under charged scalar perturbations [34]. This phenomenon was also disclosed for RN-dS black holes in [70]. -
Now let us take a look at the effective potential when
l=0 . In the left panel of Fig. 7, we see that there is a negative potential well betweenr+ andrc . This potential well is the key point for the occurrence of instability. However, the negative effective potential does not guaranteeωI>0 . For example, the caseα=0.8 has a negative potential well, butωI<0 . Thus, the existence of a negative potential well can be viewed as the necessary but not sufficient condition for instability [78]. In the right panel of Fig. 7, the potential well disappears for largerα . The perturbation wave can be easily absorbed by the black hole, and the corresponding background becomes stable with respect to charged scalar perturbations. Note that the positive cosmological constant is crucial here for creating the necessary potential well.Figure 7. (color online) The effective potential when
l=0 . The left and right plots correspond to the orange lines in the upper right and lower right panels of Fig. 4, respectively.Now, let us consider the eigenfrequencies of the charged scalar perturbation when
l=1 . The fundamental modes are shown in Fig. 8. The left panel shows that the realtionωR∝Q still exists for higher l. However,α very weakly affectsωR . All of the fundamental modes haveωR<qQrc beyond the superradiant condition. The results in the left panel are different from those in Fig. 2. Here,ωI increases with Q andα monotonically. Note that all of the modes are stable now.Figure 8. (color online) The real part (left) and imaginary part (right) of the fundamental modes when
l=1 . Here,Λ=0.05 . The results for otherΛ values are similar.The stability for the higher l values can be explained using the effective potential, as shown in Fig. 9. There is only one potential barrier and there are no potential wells to accumulate the energy for triggering instability.
Figure 9. (color online) The effective potential when
l=1 . The results for otherQ,Λ values are similar.A detailed time evolution for
l≠0 is shown in Fig. 10. From these two panels, we see that the perturbations indeed decay in the long term, and larger l values yield a more significant decay ofψ ; hence, no instability occurs for higher values of l. -
We studied the instability of charged 4D EGB-dS black holes with respect to charged massless scalar perturbations. This instability satisfies the superradiant condition. However, not all of the modes satisfying the superradiant condition are unstable. The precise mechanism of this instability is not well understood. Nevertheless, the positive cosmological constant
Λ should play a crucial role. The instability occurs when the cosmological constant is small. This is reminiscent of the Gregory-Laflamme instability [79] since there exists a hierarchy between the black hole event horizon and the cosmological horizon. The instability here is different from the "Λ instability" found in [35, 64-68], which occurs when the black hole charge and the cosmological constant are large.We analyzed this instability from the viewpoint of the effective potential. Higher l has only one potential barrier beyond the event horizon. The perturbation dissipates and does not lead to instability. The monopole
l=0 has a negative potential well between the event horizon and cosmological horizon, which can accumulate the energy necessary fortriggering the instability. But the negative potential well is just the necessary but not sufficient condition for the instability.Unlike the case of the asymptotic flat spacetime, the effect of the GB coupling constant
α on the perturbation is relevant to the black hole charge and cosmological constant. It makes an unstable black hole more unstable when both the black hole charge and cosmological constant are small and makes a stable black hole more stable when the black hole charge is large. Weakly charged black holes in the dS spacetime are always unstable. The existence ofα does not change this phenomenon qualitatively. However,α can change the qualitative behavior when the black hole charge is large and make unstable black holes stable. We show that the unstable region of (Λ,Q ) shrinks for positiveα and enlarges for negativeα . Unfortunately, our results are not sufficiently accurate forΛ→0 , owing to the limitation of our numerical method. The case in which a black hole becomes extremal is also beyond the scope of this method. Stability of extremal black holes may be very different from that of non-extremal black holes. There is a universal "horizon instability" [80-82]. We leave these issues to further studies.We point out several topics worthy of further investigations. Stability with respect to massive perturbations should be explored in detail to reveal how the mass term affects stability with respect to charged perturbations. The stability of the 4D charged Einstein-Gauss-Bonnet anti de-Sitter black hole would be a very interesting issue to address as well. We plan to explore these questions in the near future.
-
We thank Peng-Cheng Li, Minyong Guo, and Shao-Jun Zhang for helpful discussions. Peng Liu would like to thank Yun-Ha Zha for her kind encouragement during this work.
