Abstract
In a recent paper, Hod started a study on no scalar hair theorem for asymptotically flat spherically symmetric neutral horizonless reflecting compact stars. In fact, Hod’s approach only rules out massive scalar fields. In the present paper, for massless scalar fields outside neutral horizonless reflecting compact stars, we provide a rigorous mathematical proof on no hair theorem. We show that asymptotically flat spherically symmetric neutral horizonless reflecting compact stars cannot support exterior massless scalar field hairs.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently, the first ever image of a black hole has been captured by a network of eight radio telescopes around the world [1]. These discoveries open up hope to directly test various black hole theories from astronomical aspects. One remarkable property of classical black holes is the famous no hair theorem [2,3,4,5,6,7,8,9]. If generically true, such no hair theorem would signify that asymptotically flat black holes cannot support scalars, massive vectors and Abelian Higgs hairs in exterior regions, for recent references see [10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25] and reviews see [26, 27]. It was believed that no hair behaviors are due to the existence of one-way absorbing horizons.
However, it was recently found that no hair behavior also appears in the background of horizonless reflecting compact stars. In the asymptotically flat gravity, Hod firstly proved no static scalar hair theorem for neutral horizonless reflecting compact stars [28]. In the asymptotically dS gravity, it was found that neutral horizonless reflecting compact stars cannot support the existence of massive scalar, vector and tensor field hairs [29]. When considering a charged background, large reflecting shells can exclude static scalar field hairs [30,31,32]. Similarly, static scalar field hairs cannot exist outside charged reflecting compact stars of large size [33,34,35,36,37]. With field-curvature couplings, such no hair theorem could also hold in the horizonless gravity [38,39,40]. Moreover, we proved no hair theorem for horizonless compact stars with other boundary conditions [41,42,43].
As is well known, scalar field mass usually plays an important role in the scalar hair formation. For massless scalar fields \(\psi (r)\), no scalar hair theorem was investigated in the background of horizonless compact stars [28], where the relation \(\psi (r_{{ peak}})\psi ''(r_{{ peak}})<0\) at the extremum point \(r=r_{{ peak}}\) is essential in Hod’s present proof. However, the general characteristic relation at the extremum point should be \(\psi (r_{{ peak}})\psi ''(r_{{ peak}})\leqslant 0\) and in fact, \(\psi ''(r_{{ peak}})=0\) holds for some solutions. So Hod’s approach only ruled out massless scalar fields with \(\psi ''(r_{{ peak}})\ne 0\) and nontrivial solutions with \(\psi ''(r_{{ peak}})=0\) cannot be excluded. Then it is of some importance to search for a mathematical proof on no hair theorem for massless scalar field hairs.
In the following, we consider static massless scalar fields in the background of asymptotically flat spherical neutral horizonless reflecting compact stars. We provide a rigorous mathematical proof on no hair theorem for massless scalar fields. We summarize main results in the last section.
2 No massless scalar hair for horizonless reflecting compact stars
We consider massless scalar fields outside asymptotically flat horizonless compact stars. We define the radial coordinate \(r=r_{s}\) as the star radius. And the curved spherically symmetric spacetime is described by line element [38, 39]
where \(\nu =\nu (r)\) and \(\lambda =\lambda (r)\). Asymptotic flatness of the spacetime requires infinity behaviors \(\nu (r\rightarrow \infty )\backsim O(r^{-1})\) and \(\lambda (r\rightarrow \infty )\backsim O(r^{-1})\).
The Lagrange density with massless scalar fields minimally coupled to gravity is given by
Here \(\psi (r)\) is the scalar field and R is the scalar Ricci curvature of the spacetime.
From the metric (1) and the action (2), we obtain the scalar field equation
Around the infinity, the scalar field equation can be approximated by
It yields the infinity boundary behavior
where A and B are integral constants. The finite ADM mass condition yields that the static scalar field must asymptotically approaches zero at the infinity. So we fix \(A=0\). Then the scalar field satisfies the infinity boundary condition
At the star surface, we impose the reflecting boundary condition
According to relations \(\psi (r_{s})=0\) and \(\psi (r\rightarrow \infty )=0\), \(\psi (r)\) must possesses one extremum point \(r_{{ peak}}\), which is between the star surface \(r_{s}\) and the infinity. With the symmetry \(\psi \rightarrow -\psi \) of Eq. (3), it is enough for us to only consider the case of positive local maximum value in the following.
Metric solutions were assumed to be real analytic in the proof of the uniqueness of the Kerr solution [44,45,46]. A real function is analytic if it can be locally expressed with Taylor series. In this work, we also assume that the metric solutions are real analytic. Then a positive constant \(\delta \) exists and in the range \((r_{{ peak}}-\delta ,r_{{ peak}}+\delta )\), metric solutions can be expanded as
where \(a_{n}=\frac{\nu ^{(n)}(r_{{ peak}})}{n!}\) and \(b_{n}=\frac{\lambda ^{(n)}(r_{{ peak}})}{n!}\). Solutions \(\psi (r)\) of Eq. (3) are real analytic according to Cauchy–Kowalevski theorem, which states that solutions of differential equations are real analytic when coefficients are real analytic [44,45,46,47]. In the same range \((r_{{ peak}}-\delta ,r_{{ peak}}+\delta )\), the scalar field can be expressed as
with \(c_{n}=\frac{\psi ^{(n)}(r_{{ peak}})}{n!}\), which can be obtained by putting (8) and (9) into (3) and considering terms order by order.
Now we show that a nonzero \(c_{n}\) (\(n\geqslant 1\)) should exist for nontrivial solution \(\psi (r)\). Otherwise, \(\psi (r)\) is a constant in the range \((r_{{ peak}}-\delta ,r_{{ peak}}+\delta )\). Then we can search for the largest R where \(\psi (r)\) is a constant in the range \((r_{{ peak}}-\delta ,R]\). Since \(\psi (r)\) is real analytic, there is a constant \({\tilde{\delta }}>0\) and in the range \((R-{\tilde{\delta }},R+{\tilde{\delta }})\), the scalar field can be expressed as
If we approach R from the left side, we find all coefficients \(d_{n}=0\) for \(n\geqslant 1\) since \(\psi (r)\) is a constant in the range \((R-{\tilde{\delta }},R]\). However, if we approach R from the right side, a nonzero \(d_{n}\ne 0\) with \(n\geqslant 1\) should exist since \(\psi (r)\) is not a constant in the range \([R,R+{\tilde{\delta }})\). This contradiction leads to the conclusion that a nonzero \(c_{n}=\frac{\psi ^{(n)}(r_{{ peak}})}{n!}\) (\(n\geqslant 1\)) exists.
By considering leading terms of (10), we obtain following conclusions.
- (I)
Firstly, there is \(\psi '(r_{{ peak}})=0\). Otherwise, \(\psi (r)=\psi (r_{{ peak}})+\psi '(r_{{ peak}})(r-r_{{ peak}})+\cdots \) and \(\psi (r)\) cannot has extremum value at the point \(r_{{ peak}}\).
- (II)
In the case of \(\psi ''(r_{{ peak}})\ne 0\), we will have \(\psi ''(r_{{ peak}})< 0\). Otherwise, \(\psi \) cannot has local maximum extremum value at the point \(r_{{ peak}}\) since \(\psi (r)=\psi (r_{{ peak}})+\frac{\psi ''(r_{{ peak}})}{2}(r-r_{{ peak}})^2+\cdots \). In this work, we only consider the case of positive local maximum value according to the symmetry \(\psi \rightarrow -\psi \) of Eq. (3).
- (III)
In the case of \(\psi ''(r_{{ peak}})= 0\), we will have \(\psi ^{(3)}(r_{{ peak}})= 0\). Otherwise, \(\psi \) cannot have local maximum extremum value at the point \(r_{{ peak}}\) since \(\psi (r)=\psi (r_{{ peak}})+\frac{\psi '''(r_{{ peak}})}{3}(r-r_{{ peak}})^3+\cdots \).
- (IV)
In the case of \(\psi ''(r_{{ peak}})= 0\) and \(\psi ^{(4)}(r_{{ peak}})\ne 0\), we will have to impose \(\psi ^{(4)}(r_{{ peak}})< 0\) to obtain a local maximum extremum value for \(\psi \) at the point \(r_{{ peak}}\). In this case, there is the relation \(\psi (r)=\psi (r_{{ peak}})+\frac{\psi ^{(4)}(r_{{ peak}})}{24}(r-r_{{ peak}})^4+\cdots \).
Following this analysis, we can obtain an even number N, which satisfies
At the extremum point \(r=r_{{ peak}}\), Eq. (3) yields relations
We define a new function \(f(r)=\frac{2}{r}+\frac{\nu '}{2}-\frac{\lambda '}{2}\). Then the Eq. (3) can be expressed as
As we stated, metric solutions are assumed to be real analytic, which is the same as cases in the proof of the uniqueness of the Kerr solution [44,45,46]. According to Cauchy–Kowalevski theorem, as we have shown, Eq. (3) possesses a locally real analytic solution \(\psi (r)\) around \(r_{{ peak}}\). Since metric functions and \(\psi (r)\) are real analytic around \(r_{{ peak}}\), both \(f'(r_{{ peak}}),f''(r_{{ peak}}),f'''(r_{{ peak}}),f^{(4)}(r_{{ peak}}),\ldots \) and \(\psi '(r_{{ peak}}),\psi ''(r_{{ peak}}), \psi '''(r_{{ peak}}),\psi ^{(4)}(r_{{ peak}}),\ldots \) exist. Taking the derivative of both sides of the Eq. (13), we get the equation
which holds round \(r_{{ peak}}\). The relation (14) is equal to
From (15), we obtain the equation
The relation (16) can be transformed into
Along this line, we can obtain the following relation
At the extremum point, relations (12) are in contradiction with the relation (18). Due to this contradiction, there is no nontrivial scalar field solution of Eq. (3). We conclude that asymptotically flat spherical neutral horizonless reflecting compact stars cannot support exterior massless scalar field hairs.
3 Conclusions
We studied no hair theorem for static massless scalar fields outside the asymptotically flat spherically symmetric horizonless reflecting compact stars. We obtained the characteristic relations (12) at extremum points, which are in contradiction with the Eq. (18). That is to say there is no nontrivial scalar field solution of Eq. (3). We concluded that asymptotically flat spherically symmetric horizonless reflecting compact stars cannot support the existence of exterior massless scalar fields. In this work, we provided a rigorous mathematical proof on no hair theorem for massless scalar fields.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This work is based on analytical study. So there is no data.]
References
K. Akiyama et al., First M87 event horizon telescope results. I. the shadow of the supermassive black hole. Astrophys. J. 875, L1 (2019)
J.D. Bekenstein, Transcendence of the law of baryon-number conservation in black hole physics. Phys. Rev. Lett. 28, 452 (1972)
J.E. Chase, Event horizons in static scalar-vacuum space-times. Commun. Math. Phys. 19, 276 (1970)
C. Teitelboim, Nonmeasurability of the baryon number of a black-hole. Lett. Nuovo Cimento 3, 326 (1972)
R. Ruffini, J.A. Wheeler, Introducing the black hole. Phys. Today 24, 30 (1971)
W.K.H. Panofsky, Needs versus means in high-energy physics. Phys. Today 33, 24–33 (1980)
M. Heusler, A no hair theorem for selfgravitating nonlinear sigma models. J. Math. Phys. 33, 3497–3502 (1992)
M. Heusler, A mass bound for spherically symmetric black hole space-times. Class. Quantum Gravity 12, 779–790 (1995)
J.D. Bekenstein, Novel “no-scalar-hair” theorem for black holes. Phys. Rev. D 51(12), R6608 (1995)
D. Núñez, H. Quevedo, D. Sudarsky, Black holes have no short hair. Phys. Rev. Lett. 76, 571 (1996)
S. Hod, Hairy black holes and null circular geodesics. Phys. Rev. D 84, 124030 (2011)
P. Basu, C. Krishnan, P.N. Bala Subramanian, Hairy black holes in a box. JHEP 11, 041 (2016)
S. Hod, Stationary scalar clouds around rotating black holes. Phys. Rev. D 86, 104026 (2012)
C.A.R. Herdeiro, E. Radu, Kerr black holes with scalar hair. Phys. Rev. Lett. 112, 221101 (2014)
C.L. Benone, L.C.B. Crispino, C. Herdeiro, E. Radu, Kerr–Newman scalar clouds. Phys. Rev. D 90, 104024 (2014)
Y. Peng, Hair mass bound in the black hole with non-zero cosmological constants. Phys. Rev. D 98, 104041 (2018)
Y. Peng, Hair distributions in noncommutative Einstein–Born–Infeld black holes. Nucl. Phys. B 941, 1–10 (2019)
J.C. Degollado, C.A.R. Herdeiro, Stationary scalar configurations around extremal charged black holes. Gen. Relativ. Gravit. 45, 2483 (2013)
P.V.P. Cunha, C.A.R. Herdeiro, E. Radu, H.F. Runarsson, Shadows of Kerr black holes with scalar hair. Phys. Rev. Lett. 115, 211102 (2015)
E. Babichev, C. Charmousis, Dressing a black hole with a time-dependent Galileon. JHEP 1408, 106 (2014)
Y. Brihaye, C. Herdeiro, E. Radu, Inside black holes with synchronized hair. Phys. Lett. B 760, 279 (2016)
T.P. Sotiriou, S.-Y. Zhou, Black hole hair in generalized scalar-tensor gravity. Phys. Rev. Lett. 112, 251102 (2014)
N. Sanchis-Gual, J.C. Degollado, P.J. Montero, J.A. Font, C. Herdeiro, Explosion and final state of an unstable Reissner–Nordström black hole. Phys. Rev. Lett. 116, 141101 (2016)
S.R. Dolan, S. Ponglertsakul, E. Winstanley, Stability of black holes in Einstein-charged scalar field theory in a cavity. Phys. Rev. D 92, 124047 (2015)
C. Herdeiro, E. Radu, H. Runarsson, Kerr black holes with Proca hair. Class. Quantum Gravity 33(15), 154001 (2016)
J.D. Bekenstein, Black hole hair: 25-years after. arXiv:gr-qc/9605059
C.A.R. Herdeiro, E. Radu, Asymptotically flat black holes with scalar hair: a review. Int. J. Mod. Phys. D 24(09), 1542014 (2015)
S. Hod, No-scalar-hair theorem for spherically symmetric reflecting stars. Phys. Rev. D 94, 104073 (2016)
S. Bhattacharjee, S. Sarkar, No-hair theorems for a static and stationary reflecting star. Phys. Rev. D 95, 084027 (2017)
S. Hod, Charged massive scalar field configurations supported by a spherically symmetric charged reflecting shell. Phys. Lett. B 763, 275 (2016)
S. Hod, Marginally bound resonances of charged massive scalar fields in the background of a charged reflecting shell. Phys. Lett. B 768, 97–102 (2017)
Y. Peng, B. Wang, Y. Liu, Scalar field condensation behaviors around reflecting shells in Anti-de Sitter spacetimes. Eur. Phys. J. C 78(8), 680 (2018)
Y. Peng, Scalar field configurations supported by charged compact reflecting stars in a curved spacetime. Phys. Lett. B 780, 144–148 (2018)
S. Hod, Charged reflecting stars supporting charged massive scalar field configurations. Eur. Phys. J. C 78, 173 (2017)
Y. Peng, Static scalar field condensation in regular asymptotically AdS reflecting star backgrounds. Phys. Lett. B 782, 717–722 (2018)
Y. Peng, On instabilities of scalar hairy regular compact reflecting stars. JHEP 10, 185 (2018)
Y. Peng, Hair formation in the background of noncommutative reflecting stars. Nucl. Phys. B 938, 143–153 (2019)
S. Hod, No hair for spherically symmetric neutral reflecting stars: nonminimally coupled massive scalar fields. Phys. Lett. B 773, 208–212 (2017)
S. Hod, No nonminimally coupled massless scalar hair for spherically symmetric neutral reflecting stars. Phys. Rev. D 96, 024019 (2017)
A.E. Mayo, J.D. Bekenstein, No hair for spherical black holes: charged and nonminimally coupled scalar field with selfinteraction. Phys. Rev. D 54, 5059–5069 (1996)
Y. Peng, Scalar condensation behaviors around regular Neumann reflecting stars. Nucl. Phys. B 934, 459–465 (2018)
Y. Peng, No hair theorem for spherically symmetric regular compact stars with Dirichlet boundary conditions. Phys. Lett. B 792, 156–159 (2019)
Y. Peng, No hair theorem for bound-state massless static scalar fields outside horizonless Neumann compact stars. Phys. Lett. B 796, 65–67 (2019)
B. Carter, Axisymmetric black hole has only two degrees of freedom. Phys. Rev. Lett. 26, 331 (1971)
D.C. Robinson, Uniqueness of the Kerr black hole. Phys. Rev. Lett. 34, 905 (1975)
S.W. Hawking, G.F.R. Ellis, The large scale structure of space-time (Cambridge University Press, Cambridge, 1973)
Nakhushev, A.M. (2001) [1994], Cauchy–Kovalevskaya theorem, in Encyclopedia of Mathematics, ed. by M. Hazewinkel (Springer Science+Business Media B.V./Kluwer Academic Publishers), ISBN 978-1-55608-010-4
Acknowledgements
This work was supported by the Shandong Provincial Natural Science Foundation of China under Grant no. ZR2018QA008. This work was also supported by a grant from Qufu Normal University of China under Grant no. xkjjc201906.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Peng, Y. No hair theorem for massless scalar fields outside asymptotically flat horizonless reflecting compact stars. Eur. Phys. J. C 79, 850 (2019). https://doi.org/10.1140/epjc/s10052-019-7378-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-7378-z