Abstract
In this paper, we focus on the weak cosmic censorship conjecture (WCCC) in the Einstein–Maxwell gravity sourced by a conformally coupled scalar field, where the black hole solution can carry a scalar hair apart from the conserved charges of the electromagnetic field. Motivated by the new version of the gedanken experiments proposed by Sorce and Wald, we derive the first two order perturbation inequalities in the scalar-hair Reissner–Nordström (shRN) black holes based on the Iyer–Wald formalism under the stability consumption. In the collision process, we assume that the scalar hair can also be changed. As a result, we find that the nearly extremal shRN black holes cannot be destroyed by the above collision process under the second-order approximation after the two perturbation inequalities are considered. Our result at some level implies that the WCCC can also be restored in the black holes with some scalar hairs.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
General relativity is the most successful and beautiful theory to describe gravity. It predicts the existence of black holes. There exists a singularity in the center for most of the spacetimes. However, the geometry of the spacetime becomes ill-defined and all the physical quantities diverge at the singularity. Then, the predictive power will be lost and the law of causality will be destroyed near the singularity. Therefore, to ensure the well-definition of the spacetime, Penrose proposed the weak cosmic censorship conjecture (WCCC) [1] to avoid the naked singularity, which states that the spacetime singularity must be hidden inside the event horizon and the law of the causality out of the horizon will not be influenced by the singularity. This conjecture also indicates that the spacetime always ends up in a black hole rather than a naked singularity. In 1974, Wald suggested a gedanken experiment to test the WCCC [2], in which he considered a process by dropping a test particle to destroy the extremal Kerr–Newman (KN) black hole. His result showed that the extremal KN black holes cannot be overcharged or overspun under the first-order approximation. Since then, Hubeny extended the discussion into the nearly extremal case and found that the nearly extremal KN black hole can be destroyed by dropping the test particle after we consider the second-order correction. Based on this setup, many researchers investigated the WCCC in a variety of theories [3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18].
In their investigations, the spacetime is only treated as a background geometry when considering the motion of the test particle. This is true in the first-order approximation of perturbation. If we need to consider the second-order correction, the interaction between the spacetime and test particle must be taken into account. For this story to be truly consistent, Sorce and Wald proposed a new version of the gedanken experiments to examine the WCCC in KN black holes [17]. Unlike the test particle version, they straightly consider a complete dynamical collision process of the matter fields under the second-order approximation of perturbation. Based on the Iyer–Wald formalism [19] as well as the null energy condition, the first two order perturbation inequalities are derived. Their results showed that the nearly extremal black holes cannot be destroyed by the collision process after these two inequalities are taken into consideration.
Motivated by their result, this new version was also extended to some other theories in Einstein gravity [20,21,22,23,24]. Although all of them indicated the validity of the WCCC in the new version of gedanken experiments, general proof is still lacking to show its correctness. Therefore, Examining it for case by case is also necessary for us to show its validity. We can see that all of the matter fields in the above theories are only minimal coupled to the Einstein gravity. As shown in [25], when the Einstein gravity is sourced by a conformally coupled scalar field, the spacetime admits a scalar hair apart from the charges of the gauge fields. Therefore, in the following, we would like to investigate whether the WCCC is still true for the spacetime with the scalar hair by performing the new version of the gedanken experiments proposed by Sorce and Wald.
This paper is outlined as follows. In Sect. 2, the spacetime geometry of scalar-hair Reissner–Nordstrom (shRN) black holes perturbed by the spherically matter collision is discussed. In Sect. 3, based on the Iyer–Wald formalism as well as the null energy condition, we derive the first two perturbation inequalities of the matter fields. In Sect. 4, we employ the new version of the gedanken experiment to destroy the near extremal shRN black holes under the second-order approximation of perturbation. Section 5 is devoted to our conclusions.
2 Perturbed geometry of scalar-hairy RN black holes
In this paper, we would like to consider the WCCC in the four-dimensional Einstein–Maxwell gravitational theory conformally coupled to a scalar field. The Lagrangian four-form of this theory can be expressed as
where \(\varvec{F} = d \varvec{A}\) is the strength of the electromagnetic field with the vector potential \({\varvec{A}}\), R is the Ricci scalar, \(\psi \) is a real scalar field, and \({\varvec{L}}_\text {mt}\) denotes the Lagrangian four-form of the extra matter fields. The equation of motion can be written as
in which we have denoted the derivative operator \(\Box =\nabla _c \nabla ^c\), \(j^a\) and \(\varphi \) are corresponding to the electromagnetic charge current and the scalar field source of the extra matter fields, \(T_{ab}^\text {EM}\), \(T_{ab}^\text {S}\) and \(T_{ab}^\text {mt}\) are the stress-energy tensors of the electromagnetic field, scalar field and extra matter fields, separately. Among them, \(T_{ab}^\text {EM}\) and \(T_{ab}^\text {S}\) can be expressed as
The field equations without extra matter fields admit the following asymptotically flat Reissner–Nordstrom type solution (shRN solution) [25]
with the blackening factor
The parameters M and Q are the physical mass and electric charge of the black hole. \(\alpha \) is a parameter to described the scalar hair of the black hole. Although the scalar field is constant, its contribution to the geometry is non-trivial.
The radius of the event horizon \(r_h\) is corresponding to the largest root of the equation \(f(r)=0\), which gives
Furthermore, the surface gravity, area, and electric potential for the event horizon are given as follows:
The shRN black holes become extremal when
If the parameters satisfy \(M^2-Q^2-\alpha <0\), the solution describes a naked singularity.
In this paper, we only consider the case where all of the matter fields satisfy the null energy condition, which means that for any null vector \(l^a\), we must have \(T_{ab}l^al^b\ge 0\). According to the line element in (4), the stress-energy tensor of the scalar field can be straightly obtained,
From above expression, it is not difficult to check that in order to ensure the null energy condition of the scalar field, we must have \(\alpha \ge 0\).
Next, we consider a one-parameter family spherically symmetric matter perturbation in the shRN black hole. Here we assume that the matter collision only occurs in a finite region of the spacetime and the perturbation vanishes on the bifurcation surface B. For simplification, we denote \(\phi (\lambda )\) to the dynamical fields in this family, where \(\phi \) is the collection of \(g_{ab}\), \({\varvec{A}}\), \(\psi \) as well as some extra matter fields. In this family, the equation of motion can be written as
with \(T_{ab}^\text {mt}(0)=j^a(0)=\varphi (0)=0\) for the background fields.
The spacetime in this case can be described by
which satisfies \(f(r,v,0)=f(r)\) and \(\mu (r,v,0)=1\). In this case, the background fields can be expressed by (4). However, in this dynamical process, the scalar field can no longer be treated as a constant. For late convenience, we impose the gauge condition of the electromagnetic field such that
where \(\xi ^a=(\partial /\partial v)^a\) and \(r_h\) are only the static Killing vector and the horizon radius of the background spacetime, which means that they are independent on the parameter \(\lambda \). With similar consideration as [17], we also assume that the spacetime satisfies the stability condition, which states that at the sufficiently late times, the spacetime is also described by the scalar-hairy RN solution with different parameters which can be labeled by \(\lambda \), i.e., we have
at sufficiently late times.
Due to the stability condition, we can see that the stress-energy tensor \(T_{ab}^\text {mt}(\lambda )\), the electric charge current \(j^a(\lambda )\) as well as the scalar source \(\varphi (\lambda )\) are vanishing at sufficient late times. In above setup, we can introduce a hypersurface \(\Sigma =\Sigma _0\cup \Sigma _1\). Here \(\Sigma _0\) is a the hypersurface with constant radius \(r=r_h\) and connects the bifurcation surface B as well as a two-dimensional surface \(B_1\) at a sufficient late time. \(\Sigma _1\) is a time-slice at \(v=v_1\) which connects \(B_1\) and a asymptotic sphere \(S_\infty \). This implies that the dynamical fields on \(\Sigma _1\) can be described by the expressions in (13).
3 Perturbation inequalities
In this section, following the process in [17], we would like to derive the first two order perturbation inequalities for the shRN black holes as introduced in last section. Different with the Einstein–Maxwell gravity minimally coupled to the a scalar field, here the action of the scalar field contains the Ricci scalar. Therefore, the variational identities become more complicated than the Einstein–Maxwell gravity. However, because the scalar field should satisfy the null energy condition, we can only consider the off-shell variation of the Einstein–Maxwell part and group the scalar field into the extra matter fields. Therefore, the Lagrangian four-form we are going to consider is
Following the notations in [17], we will denote
for the quantity \(\chi (\lambda )\) in the configuration \(\phi (\lambda )\). Then, the off-shell variation of above action can be written as
in which
with
Here we have denoted \(T_{ab}=T_{ab}^\text {S}+T_{ab}^\text {mt}\) to the total energy-tensors of the scalar field and extra matter fields. The symplectic current three-form is defined by
which can be divided into the Einstein part and electromagnetic part
According to (18), we have
in which we have denoted
with
Next, we consider the variation corresponding to a diffeomorphism which is generated by the Killing vector \(\xi ^a=(\partial /\partial v)^a\) of the background spacetime. Then, we can define a Noether current three-form related to this vector as
From the discussion in [2], this current can also be written as
According to Eqs. (16), (17) and (18), we can further obtain that \(C_\xi =\xi \cdot {\varvec{C}}\) with
can be regarded as the constraint of the purely Einstein–Maxwell gravity, and the Noether current two-form
with
Based on above results as well as the fact that \(j^a=\varphi ={\mathscr {L}}_\xi \phi =0\) for the background fields, the first-order and second-order variational identities can be further obtained and they can be shown as
Using the Stoke’s theorem as well as the assumption that the perturbation vanishes on B, integration of the first-order variational identity on \(\Sigma \) gives
For the first term, according to the stability condition, we can calculate it by using the explicit expression (13) of the dynamical fields at sufficiently late times. Then, the gravity part can be straightly calculated and it gives
For the EM part of first term, we have
on the asymptotic sphere \(\Sigma _1\), in which
is the volume element of this sphere. The above expression then gives
Its integration gives
With a similar calculation, we can also obtain
Then, we have
Using the stability assumption that \(j^a(\lambda )=0, \varphi (\lambda )=0\) and \(T_{ab}^\text {mt}(\lambda )=0\) on \(\Sigma _1\), we have
on \(\Sigma _1\). Based on above expression, it is easy to verify that
on \(\Sigma _1\), which implies that the second term vanishes. For the third term, according to Eqs. (26) and (38), we can further obtain
Then, we have
Combining above results, we have
In the calculations, we have used the gauge condition (12) of the electromagnetic field, and denoted \(\tilde{{\varvec{\epsilon }}}= dv\wedge \hat{{\varvec{\epsilon }}}\) to the volume element on the hypersurface \(\Sigma _0\). Next, we are going to investigate the connection between above variational identity (42) and the null energy condition of the matter fields. According to the expression (11) of the spacetime line element, here we can choose a null vector field as
with
on the hypersurface \(\Sigma _0\). Then, we have
Considering the fact that \(\beta =0\) for the background geometry, under the first-order approximation of perturbation, the null energy condition gives
Then, the first-order variational identity reduces to
As introduced above, the main purpose of this paper is to investigate whether above collision process can destroy the event horizon of the black holes. According to the stability condition, it is equivalent to see whether the quantities at sufficiently late times can violate the condition \(M^2-Q^2-s\ge 0\). It is not difficult to see that the optimal condition to destroy the black hole is to saturate the inequality (42), i.e.,
This also means \(\delta \left[ \sqrt{-g}T_{ab}(dr)^a\xi ^b\right] = 0\) on \(\Sigma _0\). According to the explicit expression (11) of the metric as well as the stress energy tensor of electromagnetic field in Eq. (3), we can easily check that \(\delta [\sqrt{-g}T^\text {EM}(dr)^a\xi ^b]=0\) on \(\Sigma _0\). Therefore, the optimal condition reduces to \(\delta \left[ \sqrt{-g}G_{ab}(dr)^a\xi ^b\right] =0\). Straight calculation shows that the optimal condition is equivalent to \(\partial _v \delta f(r_h,v)=0\), where we denoted
For the second-order variational identity in (16), by integrating it on the hypersurface \(\Sigma \) and using the Stokes’s theorem, we can further obtain
where we denote
with \(i=0,1\). According to (39) as well as the fact that \(j^a(\lambda )={\mathscr {L}}_\xi \phi (\lambda )=0\) on \(\Sigma _1\), the second and fifth terms of (250) vanish. For the gravity part of the first term, with a similar calculation of the first-order identity, we have
According to (32), the electromagnetic part of first term in (250) reduces to
A similar calculation can also give
Then, we have
For the third term, from Eq. (40), we can further obtain
The last term can be decomposed into the gravitational part and electromagnetic part, i.e.,
For the gravitational part, based on the explicit expression of the matric (11), we can further obtain
where \(v=v_0\) denotes the coordinate of the bifurcation surface B, and
is the variation of function \(\mu (r,v,\lambda )\). In the second step we used the optimal condition of the first-order inequality, and in the last step we used the stability condition \(\mu (r_h,v_1,\lambda )=1\) on \(B_1\). For the electromagnetic part, we first consider the symplectic current three-form on \(\Sigma _0\). According to (21), we have
Because we consider its integration on \(\Sigma _0\), the index d must contribute a \((dr)_d\). Using the explicit expression of the background fields, we can further obtain \((dr)_dF^{de}\propto \xi ^e\). Together with the gauge condition \(\xi ^a A_a{\lambda }=0\) on \(\Sigma _0\), the last two terms in (60) vanish and Eq. (60) becomes
Integration of the first term in above equation only contributes to a boundary term. Using the explicit expression (13) of electromagnetic fields, this term will not contribute to \({\mathscr {E}}_{\Sigma _0}\). Then, we have
In the last step we used the result \(\nabla _c(\xi ^b\delta A_b)\propto (dr)_c\) because the gauge condition \(\xi ^b\delta A_b=0\) on \(\Sigma _0\). According Eq. (3), the last term of Eq. (250) can be expressed as
Summing above results, the second-order variational identity can be express as
where we have denoted \(T_{ab}^\text {tot}=T_{ab}+T_{ab}^\text {EM}\) as the total stress-energy tensor of the matter fields. According to (45) and the fact that \(T_{ab}r^ar^b=0\) for the background fields, together with the optimal condition for the first-order inequality, the right hand of (64) also gives the null energy condition, i.e.,
under the second-order approximation. Then, after taking the null energy condition into account, the second-order variational identity reduces to
4 Gedanken experiments to destroy the scalar-hairy RN black holes
Now we shall investigate the WCCC in the scalar-hairy RN black holes based on the physical process introduced in the previous sections. Under the assumption of the stability condition, it is equivalent to check whether the spacetime geometry at sufficiently late times also describes a black hole. Therefore, we define
as a function of \(\lambda \). Then, the WCCC is violated if \(h(\lambda )<0\). Under the second-order approximation of \(\lambda \), we have
With similar consideration of [17], we also focus on the case where the background geometry is a nearly extremal scalar-hairy RN black hole, which implies that
is small parameter. We choose it to be in agreement with the first-order perturbation of the matter source. That is to say, \(\epsilon \) has the same order of \(\lambda \). According to the optimal first-order equality (48) and second-order inequality (66), we can further obtain
under the second-order approximation of perturbation. This result indicates that the nearly extremal scalar-hairy RN black hole cannot be destroyed by above collision process under the second-order approximation, and there is no violation of WCCC around the Einstein–Maxwell gravity with scalar hair.
5 Conclusion
Recently, Sorce and Wald proposed a new version of the gedanken experiments to examine the WCCC in Kerr–Newman black holes. Based on their method, the discussion was also extended to a variety of theories [20,21,22,23,24]. These results strongly indicate the validity of the WCCC for Einstein gravity. However, all of the cases considered above are only about the no-hair black holes. Whether is it also valid for the hairy black holes? Therefore, in this paper, we examined the WCCC in the Einstein gravity conformally coupled to a scalar field under the perturbation of the spherically matter collision. First of all, based on the Iyer–Wald formalism, we derived the first two order perturbation inequalities in shRN black holes after considering the null energy condition of the matter fields. Utilizing the optimal first-order equality as well as the second-order inequality, we showed that the nearly extremal shRN black holes cannot be destroyed by the collision process under the second-order approximation of perturbation. Moreover, in our investigation, we also assume that the scalar hair can also be changed by the collision process. Our result implies that the WCCC can also be restored in the black holes with some scalar hairs as long as all of the matter fields satisfy the null energy condition.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: Data sharing not applicable to this article as no datasets were generated or analysed during the current study.]
References
R. Penrose, Gen. Rel. Grav. 34, 1141 (2002)
R.M. Wald, Ann. Phys. (N.Y.) 82, 548 (1974)
S. Hod, Phys. Rev. D 66, 024016 (2002)
T. Jacobson, T.P. Sotiriou, Phys. Rev. Lett. 103, 141101 (2009)
A. Saa, R. Santarelli, Phys. Rev. D 84, 027501 (2011)
T. Jacobson, T.P. Sotiriou, J. Phys. Conf. Ser. 222, 012041 (2010)
G.E.A. Matsas, A.R.R. da Silva, Phys. Rev. Lett. 99, 181301 (2007)
S. Gao, Y. Zhang, Phys. Rev. D 87, 044028 (2013)
Z. Li, C. Bambi, Phys. Rev. D 87(12), 124022 (2013)
K. Dzta, Semiz, Phys. Rev. D 88, 064043 (2013)
K. Dzta, Gen. Rel. Grav. 46, 1709 (2014)
G.Z. Tth, Class. Quantum Gravity 33, 115012 (2016)
B. Gwak, B.H. Lee, JCAP 1602, 015 (2016)
B. Gwak, B.H. Lee, Phys. Lett. B 755, 324 (2016)
V. Cardoso, L. Queimada, Gen. Rel. Grav. 47, 12150 (2015)
K.S. Revelar, I. Vega, Phys. Rev. D 96, 064010 (2017)
J. Sorce, R.M. Wald, Phys. Rev. D 96, 104014 (2017)
H.M. Siahaan, Phys. Rev. D 93, 064028 (2016)
V. Iyer, R.M. Wald, Phys. Rev. D 50, 846 (1994)
J. An, J. Shan, H. Zhang, S. Zhao, Phys. Rev. D 97, 104007 (2018)
B. Ge, Y. Mo, S. Zhao, J. Zheng, Phys. Lett. B 783, 440 (2018)
J. Jiang, B. Deng, Z. Chen, Phys. Rev. D 100, 066024 (2019)
X.Y. Wang, J. Jiang, arXiv:1911.03938
J. Jiang, X. Liu, M. Zhang, Phys. Rev. D 100, 084059 (2019)
M. Astorino, Phys. Rev. D 88, 104027 (2013)
Acknowledgements
Jie Jiang is supported by National Natural Science Foundation of China (NSFC) with Grant nos. 11775022 and 11873044. Ming Zhang is supported by the Initial Research Foundation of Jiangxi Normal University with Grant no. 12020023.
Author information
Authors and Affiliations
Corresponding author
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/.
Funded by SCOAP3
About this article
Cite this article
Jiang, J., Zhang, M. Weak cosmic censorship conjecture in Einstein–Maxwell gravity with scalar hair. Eur. Phys. J. C 80, 196 (2020). https://doi.org/10.1140/epjc/s10052-020-7751-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-7751-y