Abstract
The Bekenstein’s theorem allows us to generate an Einstein-conformal scalar solution from a single Einstein-ordinary scalar solution. In this article, we extend this theorem to the Einstein–Maxwell-scalar (EMS) theory with a non-minimal coupling between the scalar and Maxwell field when a scalar potential is also included. As applications of this extended theorem, the well-known static dilaton solution and rotating solution with a specific coupling between dilaton and Maxwell field are considered, and new conformal dilaton black hole solutions are found. The Noether charges, such as mass, electric charge, and angular momentum, are compared between the old and new black hole solutions connected by conformal transformations, and they are found conformally invariant. We speculate that the theorem may be useful in the computations of metric perturbations and spontaneous scalarization of black holes in the Einstein–Maxwell-conformal-scalar theory since they can be mapped to the corresponding EMS theories, which have been investigated in detail.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
As is known to all, it is very difficult to find exact solutions to Einstein’s equations in General Relativity, let alone the exact solutions to Einstein’s equations with a conformal scalar stress-energy. In 1974, Bekenstein [1] tried to deal with the conformally invariant scalar equation:
which is the equation of motion for the scalar field in the specific Einstein–Maxwell-conformally coupled scalar (EMcS) theory:
R represents the Ricci scalar and \(F_{\mu \nu }\) represents the Maxwell field by convention. We follow the convention that the Greek indices take values 0,..., 3 and Latin indices take values 1,...,3. Using conformal transformations, Bekenstein presented a theorem by means of which one can generate the solution to the theory above from a solution of the Einstein–Maxwell-ordinary scalar theory, wherein the scalar field is minimally coupled to the Maxwell invariant, i.e:
The solution to the specific EMcS theory recovered the famous Bocharova–Bronnikov–Melnikov–Bekenstein (BBMB) black hole solution [2]. The BBMB solution is the first counter-example to the no-hair theorems (see e.g. Ref. [3, 4] for reviews), although it’s much debated: the scalar field diverges at the horizon, even though the geometry is regular therein. Furthermore, several criticisms of the BBMB solution have been leveled at the properties of the energy-momentum tensor at the horizon [5].
From then, black solutions with non-trivial scalar fields have been constructed by dropping the assumption that the canonical scalar fields are minimally coupled to Einstein’s gravity, which is called scalar-tensor theories of gravity, including Brans–Dicke theory [6], the Horndeski theory [7], the Galileon theory [8] and the generalized Galileon theory [9] (one can refer to [10,11,12] for explicit examples). Then over two decades ago, in the context of scalar-tensor theories, a phenomenon called spontaneous scalarization of neutron stars has aroused much interest [13] . For neutron star geometries, the non-vanishing trace of the energy-momentum tensor can source a scalar halo around the star, i.e., to scalarize. This phenomenon has now been studied in a new form, dubbed geometric spontaneous scalarization. It is found that, in gravitational models where a real scalar field non-minimally couples to the Gauss-Bonnet invariant or its square [14,15,16], and under certain choices of the coupling function, both the standard (bald) vacuum solutions of General Relativity and new “hairy” black hole (BH) solutions with a scalar field profile are possible. Thus, it circumvents the black hole no-hair theorem. For some range of mass, a Schwarzschild BH becomes unstable and transfers some of its energy to a “cloud” of scalar particles around it. This spontaneous scalarization is triggered by the strong spacetime curvature, which induces non-linear curvature terms in the evolution equations. As a result, the computations are intensive and complicated [17, 18].
However, the spontaneous scalarization with dynamical process could be confirmed in a cousin model – Einstein–Maxwell-scalar (EMS) theory [19,20,21]:
In this class of models, there is no coupling between the scalar field and the curvature, but a non-minimal coupling between the scalar and the electromagnetic field is present. For certain values of the coupling function , the conventional electrovacuum (scalar-free) Reissner–Nordström (RN) BH solves the equations of motion in EMS models, as does a novel class of BHs that allow for a non-trivial scalarfield configuration (scalar-hair). When the charge-mass ratio of the RN BH is sufficiently high, the RN BH becomes unstable to scalar perturbations, and the formation of these hairy BHs is hypothesized to represent the endpoint of the instability [22,23,24]. This technically simpler model facilitated the investigation of the domain of solutions’ existence, particularly outside the spherical sector, as well as the performance of completely non-linear dynamical evolutions [19].
While comparing the difference between Eqs. (3) and (4), it’s natural for one to consider whether the Bekenstein’s theorem can be extended from (3) to (4), thus considering the general non-minimal coupling between the scalar field and the Maxwell field. Since so many solutions to EMS theories with various chosen couplings have been constructed and studied as shown above, then it’s interesting to foresee that under conformal transformations, they should also circumvent the no-hair theorem as the BBMB solution did, and overcome the defects of the BBMB solution (we will apply the extended theorem to the Einstein–Maxwell-dilaton theory to illustrate this ). It’s easy for one to preliminarily think that applying the conformal transformation to the metric solutions of Eq. (4) will generate solutions of EMcS theories with general non-minimal couplings between the scalar field and Maxwell field. For example, one can refer to Zou and Myung [25, 26] for the investigation of a EMcS theory with a non-minimal coupling:
where the coupling between the scalar field and the Maxwell field is \(1+\alpha \phi ^2\). They have obtained infinite branches of scalarized charged black holes through scalarization in the EMcS theory. These are regarded as charged black holes with scalar hair because they all have a primary scalar which takes a finite value on the horizon. They also consider the radial perturbation of the scalarized black hole in this theory. Indeed, the perturbation of general EMcS theories can revert to the perturbation of corresponding EMS theories by the theorem we will introduce in this paper.
In this paper, we will not be content with extending Bekenstein’s theorem to action (4), we will also include the case of scalar potential, i.e., considering the following action:
For example, One can refer to [27,28,29] to study spontaneous scalarization of asymptotically anti-de Sitter charged black holes in various EMS theories with different \(K(\phi )\), where we can all set \(V(\phi )=2\lambda \), or refer to ( [24, 30]) for scalarized charged black holes with scalar mass term, where we can set \(V(\phi )=2m_{\phi }^2 \phi ^2\). The paper is organized as follows. In Sect. 2, we exhibit two actions where the the metric is conformal to the other, and explore how the solutions of the matter fields between these two actions are connected. The strict proof of the theorem is provided in this section. In Sect. 3, we focus on the Einstein–Maxwell-dilaton theory [31] as an example to interpret the theorem. The conformal solution and corresponding thermodynamics are derived. In Sect. 4, we concentrate on the rotating dilaton solution for a specific coupling between the scalar and Maxwell fields, which is first achieved by the Kaluza–Klein black hole solution [32]. Thanks to this extended theorem, the conformal rotating dilaton solution can be achieved straightforwardly. We investigate the first law of thermodynamics and find that all the quantities are unchanged under conformal transformation. In Sect. 5, inspired by the investigation of the dilaton theory, we prove that for the general EMS theory, all the physical quantities in the first law of thermodynamics are conformally invariant provided that the spacetime is asymptotically flat and the scalar field asymptotically vanishes at infinity. In Sect. 6, we give the conclusion and discussion.
2 Extend Bekenstein’s theorem
Since we need to compare the solutions of two different actions repetitiously, we first need to list the two actions. Let us rewrite the Eq. (6),
Variation of \( {\mathcal {S}}_{1}\) with respect to \({g}_{\mu \nu }\) gives
where
and
On the other hand, the Einstein equations for EMcS theories with general couplings can be derived from the action
and they read
where
Here, we denote the quantities in the action \({\mathcal {S}}_{2}\) with a tilde except those concerning the scalar field — a symbol system similar to what was in Bekenstein’s original work. The comma derivative is just a convenient notation for a partial derivative with respect to one of the coordinates. It should be noted that the equation for the scalar field corresponding to \({\mathcal {S}}_2\), which reads
isn’t conformally invariant after considering the non-minimal coupling between the Maxwell field and the scalar field. However, the name ”conformally coupled” remains in the action due to the inclusion of
as it’s the fundamental character of gravity admitting conformally scalar equation, and this convention can also be found in [25, 26]. We now exhibit the theorem that connects the two action \({\mathcal {S}}_1\) and \({\mathcal {S}}_2\).
Theorem
If \({g}_{\mu \nu }\), \(\phi \), \({F}_{\mu \nu }\) form a solution of Einstein’s equations described by action \({\mathcal {S}}_{1}\), then \({\tilde{g}}_{\mu \nu }=\Omega ^{-2}{g}_{\mu \nu }\), \(\psi =\sqrt{3}\tanh \frac{\phi }{\sqrt{3}}\) and \({\tilde{F}}_{\mu \nu }={F}_{\mu \nu }\) with \(\Omega ^{-1}=\cosh \frac{\phi }{\sqrt{3}}\) form a solution to the EMcS theory described by action \({\mathcal {S}}_{2}\) provided that \(K_{2}(\psi )=K_{2}\left( \sqrt{3}\tanh \frac{\phi }{\sqrt{3}}\right) \equiv K_{1}(\phi )\) , and \(\Omega ^4V_{1}(\phi )=\left( 1-\frac{\psi ^{2}}{3}\right) ^{2} V_{1}(\sqrt{3}\tanh ^{-1} \frac{\psi }{\sqrt{3}})\equiv V_{2}(\psi )\).
Proof
Under the conformal transformation
the Einstein tensor transforms as
According to the definition of Eq. (10), and assuming \({\tilde{F}}_{\mu \nu }={F}_{\mu \nu }\), we have
It follows then from Eq. (9)
If we let \(\Omega \) satisfies
and regard \(\psi \) as some unspecified function of \(\phi \), then Eq. (18) reduces to
in view of Eqs. (19) and (20).
Let us make the following assumptions:
1. \(\psi \) satisfies
which can be solved by
and thus the conformal factor is
2. The couplings in \({\mathcal {S}}_1\) and \({\mathcal {S}}_2\) satisfy the following relations:
Then one finds that in Eq. (22), the term \(\left[ \left( \frac{\partial \phi }{\partial \psi }\right) ^{2}\right. \left. -\left( 1-\frac{\psi ^{2}}{3}\right) ^{-2} \frac{\psi ^{2}}{3}\right] =\frac{1}{\Omega ^2}\), and the term \(\tau _{\mu \nu }\left[ {\tilde{g}}_{\mu \nu }, K_{1}(\phi ),\right. \left. \Omega ^4 V_{1}(\phi ), {\tilde{F}}_{u \nu }\right] =\tau _{\mu \nu }\left[ {\tilde{g}}_{\mu \nu }, K_{2}(\psi ),V_{2}(\psi ), {\tilde{F}}_{u \nu }\right] \), and thus the Eq. (22) will reduce to Eq. (12), which is exactly the Einstein equation for EMcS theory described by action \({\mathcal {S}}_2\).
Now let’s make an examination of whether the new solution is consistent with all the equations of motion. The equations of motion for the Maxwell field is
It’s not hard to verify that the quantity in the square bracket remains unchanged under conformal translations. So we have
which is the equation of motion for Maxwell field in action \({\mathcal {S}}_2\).
The last step is to check the scalar field equations in \({\mathcal {S}}_1\) and \({\mathcal {S}}_2\), which read
and
What we are going to verify is that, basing on the equations of motion which have been previously proved together with the scalar field equation (29), the Eq. (30) is automatically satisfied. Indeed, the trace of Einstein equation (12) gives \(-{\tilde{R}} \Omega ^2=2\psi {\tilde{\nabla }}_{\mu }{\tilde{\nabla }}^{\mu }\psi -2V_{2}(\psi )\). Hence the left hand of side for Eq. (30) turns out to be
On the other hand, we have
and
Substituting Eqs. (32) and (33) into Eq. (29), we obtain
which is exactly the last line of Eq. (31). Therefore, Eq. (30) is satisfied.\(\square \)
We note that in the case of \(K_{1}(\phi )=1\) and \(V_{1}(\phi )=0\), the theorem above reduces to Bekenstein’s theorem. In the next two sections, as applications of our theorem, we shall take the static dilaton black hole solution and the rotating dilation black hole solution as seed solutions to generate two new solutions. As is known to all, it is usually very hard to obtain a rotating black hole solution in General Relativity. However, by using this theorem, one can straightforwardly get a rotating black hole solution in the conformal dilaton theory via conformal transformations.
3 Generating new static dilaton black hole solution
The action of the Einstein–Maxwell-dilaton theory is given by
Now we apply our theorem to this theory which has \(K_{1}(\phi )=e^{-2\alpha \phi }\) and \(V_{1}(\phi )=0\). The corresponding spherically symmetric black hole solution takes the form [31]
with
The physical mass M, charge Q are related to \(r_{-}\) and \(r_{+}\) as follows
According to the theorem, the scalar field \(\psi \) in corresponding \({\mathcal {S}}_2\) is
while the Maxwell field remains unchanged. It is simple to recognize that \(\psi \) takes a limit value at the horizon \(r=r_{+}\) from the Eq. (40). A more general conclusion could be drawn from Eq. (24), which shows that \(\psi \) takes a limit value as long as \(\phi \) does. And for the dilaton solution, Eq. (37) shows that the scalar field \(\phi \) does take a limit value at the horizon \(r=r_{+}\).
We have the corresponding coupling
and the conformal factor
It is straightforward to prove that \(\Omega \) approaches unit one when r approaches \(+\infty \). The black hole solution corresponding to \({\mathcal {S}}_{2}\) is then
Since we have \(\Omega ^2 \rightarrow 1\) in the spacial infinity, the spacetime is also asymptotically flat.
Now we turn to the thermodynamics of the old (Eq. (36)) and new black hole (Eq. (43)) solutions, which are connected by conformal transformation. The energy can be calculated for the new black hole by the Komar Mass. If one denotes the timelike vector by \(\varvec{k}\), which is normalized at spatial infinity, the Komar mass is then given by
The integration is performed on a closed 2-surface \({\mathscr {S}}_{t}\) in \(\Sigma _{t}\). Here \(\Sigma _{t}\) provides a \(3+1\) foliation \((\Sigma _{t})_{t\in {\mathbb {R}}}\) of the spacetime. The line element of the surface \({\mathscr {S}}_{t}\) is
where \({\varvec{n}}\) is the unit timelike vector normal to \(\Sigma _{t}\), \({\varvec{s}}\) is the unit vector normal to \({\mathscr {S}}_{t}\) within \(\Sigma _{t}\) which is oriented towards the exterior of \({\mathscr {S}}_{t}\). \(y^a=(y^1,y^2)\) are coordinates spanning \({\mathscr {S}}_{t}\). q is defined as \(q:=det(q_{ab})\) and \(q_{ab}\) are the components of the metric induced by g on \({\mathscr {S}}_{t}\). In order to calculate the Komar mass (and the angular momentum in the next sections), we closely follow the detailed procedures given by Gourgloulhon [33]. The timelike vector \(\partial _{t}={\varvec{k}}\) of the spacetime can be decomposed using the lapse vector \( N {\varvec{n}}\) and shift vector \(\varvec{\beta }\)
Then the Komar mass (44) takes the form
\(K_{ij}\) the extrinsic curvature tensor of \(\Sigma _{t}\), and \(D_{i}\) is the covariant derivative operator which is compatible with the induced metric on \(\Sigma _{t}\). The components in the integrand can be easily expressed with the metric \(g_{\mu \nu }\) according to [33]. The shift vector \(\beta ^{i}=-g^{0i}/g^{00}\) vanishes for a static spacetime. Thus, only the first term in the integrand makes a contribution to the integration. The unit vector \(s^i\) normal to \({\mathscr {S}}_{t}\) is
and \(N={\sqrt{-1/g^{00}}}\), \(\sqrt{q}=\sqrt{g_{22}g_{33}}\). To calculate the Komar mass \({\tilde{M}}\) for the corresponding \({\mathcal {S}}_{2}\), we should replace the metric in the integrand with \({\tilde{g}}_{\mu \nu }\). Therefore, we obtain
The Komar mass is
namely the mass is invariant.
Let us turn to the other physical quantities corresponding to \({\mathcal {S}}_{1}\) in this case. The electric potential \({\Phi }\) conjugated to Q is given by \({\Phi }={A}_{0}(r_{+})=\frac{{Q}}{r_{+}}\). The temperature T is
Temperature’s conjugate variable can be regraded as the Wald entropy [34, 35]. Given the Lagrangian density \({\mathcal {L}}\), the Wald entropy is
where \(\epsilon ^{\mu \nu }\) is the binormal vector to the bifurcation surface \({\mathscr {S}}_{t}\), q is the determinant of induced metric on \({\mathscr {S}}_{t}\). The variation of the action with respect to \(R_{\mu \nu \alpha \beta }\) is to be carried out by regarding the Riemann tensor \(R_{\mu \nu \alpha \beta }\) as formally independent on the metric \(g_{\mu \nu }\). In the static spacetime, \({\mathscr {S}}_{t}\) has two normal directions along r and t. We can construct an antisymmetric 2-tensor \(\epsilon _{\mu \nu }\) along these directions so that \(\epsilon _{rt}=\epsilon _{tr}=-1\). For the action \({\mathcal {S}}_{1}\) we only need to concentrate on the scalar curvature
Then the Wald entropy yields
which is equal to the Bekenstein–Hawking entropy [36] as expected. Armed with these expressions, one can construct the first law of thermodynamics and the Smarr formula
Now let us discuss the thermodynamic quantities of the conformal version \({\mathcal {S}}_2\). The temperature of the black hole (43) is
The penultimate equation holds because \(\lambda ^2 |_{r_{+}}=0\). Thus, the temperature remains unchanged after the conformal transformation. In the calculation of the corresponding Wald entropy in \({\mathcal {S}}_{2}\), one need only consider the term \(\frac{1-\psi ^2/3}{16 \pi } {R}_{\mu \nu \alpha \beta } {g}^{\nu \alpha } {g}^{\mu \beta }\). Compared to Eq. (55), there is only one more factor: \(1-\psi ^2/3\). Therefore, the Wald entropy \({\tilde{S}}\) in the corresponding \({\mathcal {S}}_{2}\) is
Namely, the Wald entropy remains unchanged. We should emphasize that the entropy here is not the Bekenstein–Hawking entropy \({\tilde{A}}_H/4\), but the Wald entropy \(\Omega ^2{\tilde{A}}_H/4\) (or equivalently, \((1-\frac{\psi ^2}{3}){\tilde{A}}_H/4\)). It is only the Wald entropy that plays the role of the Noether charge that can be applied in the first law of thermodynamics. For more instances of theories involving a conformally coupled scalar field, one can refer to [37, 38].
Since the Faraday tensor is invariant as requested by the theorem \({\tilde{F}}_{\mu \nu }={F}_{\mu \nu }\), we have \({\tilde{A}}_{\mu }={A}_{\mu }\). Therefore, the conjugate variable to charge \({\tilde{Q}}\), i.e., \({\tilde{\Phi }}={\tilde{A}}_{0}(r_{+})\) is equal to \({\Phi }=A_{0}(r_{+})\). The electric charge \({\tilde{Q}}\) is determined by
where \(^{*} F\) denotes the dual form of Faraday tensor. Note that \({Q}\equiv -\frac{1}{4 \pi } \int _{{\mathscr {S}}_{t}} K_{1}(\phi )^{*} F d \Omega _2^{2}\) and \(K_1(\phi )=K_2(\psi )\), thus, we have \({Q}={\tilde{Q}}\).
In conclusion, both the old and new black holes have identical thermodynamics. Concretely, they have the same Komar masses \({\tilde{M}}={M}\), electric charges \({\tilde{Q}}={Q}\), electric potentials \({\tilde{\Phi }}={\Phi }\), temperature \({\tilde{T}}={T}\) and Wald entropy \({\tilde{S}}={S}\) (but different Bekenstein–Hawking entropy).We underline that, while having identical physical quantities in the first rule of thermodynamics, \(dM=TdS+\Phi dQ \) , they are fundamentally distinct spacetimes.
4 Generating new rotating dilaton black hole
A rotating dilaton black hole solution with a special coupling constant \(\alpha =\sqrt{3}\) is found by Frolov et al. [32]. For this value of \(\alpha \), the action is simply the Kaluza–Klein action, which is obtained by dimensionally reduction of five dimensional vacuum Einstein action. Applying our theorem, we can derive a new rotating black hole solution.
The metric for a rotating dilaton black hole with \(\alpha =\sqrt{3}\) is given by [31].
where
Here, m and a are related to the mass M , angular momentum J and charge Q of the black hole by
The constant v is the velocity of the boost. The vector potential and the dilaton field are
The theorem tells us \(K_{2}(\psi )=\left( \frac{3+\sqrt{3}\psi }{3-\sqrt{3}\psi }\right) ^{-3}\) and the conformal factor is
So the line element for the black hole gives
The scalar field is
To compute the Komar mass \({\tilde{M}}\) of the rotating black hole corresponding to \({\mathcal {S}}_{2}\), it is necessary to account for the extrinsic curvature term in (47). It is obvious that the components of shift vector \(\beta ^{i}=-g^{0i}/g^{00}\) are conformal invariant. Taking into consideration the “\(3+1\)” foliation associated with the standard Boyer Lindquist coordinates \((t,r,\theta ,\varphi )\), the non-vanishing component of \(\beta ^{i}\) is \(\beta ^{\varphi }\) (or \(\beta ^{3}\) ). Therefore, we only need to concentrate on \(K_{r\varphi }s^{r}\beta ^{\varphi }\) considering that \(s^{i}=(s^{r},0,0)\) (see Eq. (48)). The extrinsic curvature \(K_{r\varphi }\) is evaluated via \(2 N K_{i j}={\mathscr {L}}_{\beta } \gamma _{i j}\) in the case of \(\partial \gamma _{i j} / \partial t=0\), with \(\gamma _{i j}\) the induced metric on the space. Then we have
Therefore, and recalling that the components in the integrand can be express with the metric components: \(s^{r}=\sqrt{1/g_{11}}\), \(N={\sqrt{-1/g^{00}}}\), \(\gamma _{\varphi \varphi }=g_{33}\), \(\beta ^{\varphi }=-g^{03}/g^{00}\), \(\sqrt{q}=\sqrt{g_{22}g_{33}}\); we have
In order to calculate the mass \({\tilde{M}}\) of corresponding \({\mathcal {S}}_{2}\) in this situation, we must insert the metric \({\tilde{g}}_{\mu \nu }\) into the aforementioned equation. In the limit of \(r \rightarrow \infty \), we get \(\sqrt{\frac{-{\tilde{g}}^{00}}{{\tilde{g}}_{11}}} \sim 1\), \({\tilde{g}}_{33} \sim r^2 \sin \theta \), \(\sqrt{{\tilde{g}}_{22}{\tilde{g}}_{33}} \sim r^2 \sin \theta \), \(\frac{\partial (\frac{{\tilde{g}}^{03}}{{\tilde{g}}^{00}})^2}{\partial r} \sim \frac{24a^2m^2}{(-1+v^2)r^7} \). Therefore, we have \({\tilde{K}}_{r \varphi }{\tilde{s}}^r{\tilde{\beta }}^{\varphi }\sqrt{{\tilde{q}}} \sim O(1/r^3)\) which does not contribute to the integral in the definition of Komar mass. Then, considering the term \({\tilde{s}}^{i}D_{i}{\tilde{N}}\sqrt{{\tilde{q}}}\) again, we have
As a result, the Komar mass for the rotating black hole (66) according to Eq. (47) is
As for the electric charge \({\tilde{Q}}\) and the Wald entropy \({\tilde{S}}\) , they also remain unchanged under the conformal transformation, i.e. \({\tilde{Q}}={Q}\), \({\tilde{S}}={S}\). In order to calculate the temperature of this rotating black hole, one can refer to [39, 40] where it shows the temperature is given by
for the four-dimensional rotating black hole. Here \(\Omega _{H}=-\frac{g_{t\varphi }}{g_{\varphi \varphi }}|_{r\rightarrow r_{H}}\) is the conjugate variable to angular momentum of the black hole — angular velocity of the black hole. It is very obvious that the angular velocity of the black hole is not changed under conformal transformation \(g_{\mu \nu } \rightarrow \frac{1}{\Omega ^2}g_{\mu \nu }\). For the metric, there exists the the Killing field \(\chi =\partial _{t}+\Omega _{H} \partial _{\varphi }\), which is normal to the horizon. If we denote \( -\chi ^{\mu } \chi _{\mu }= -{g_{tt}-2 g_{t\varphi }\Omega _{H}-g_{\varphi \varphi }\Omega _{H}^{2}}\) by X, then we get \(X=0\) on the horizon since the horizon is a null surface. Then, under conformal transformation \(g_{\mu \nu } \rightarrow \frac{1}{\Omega ^2}g_{\mu \nu }\), we arrive at
Then it follows that \({T}={\tilde{T}}\) from Eqs. (72) and (73). The electric potential is defined by
where \(A_{\mu }\) denotes the vector potential. Since \({\Omega }_{H}={\tilde{\Omega }}_{H}\) we achieve \({\chi }_{\mu }={\tilde{\chi }}_{\mu }\). Taking \({A}_{\mu }={\tilde{A}}_{\mu }\) into account, we obtain \({\Phi }={\tilde{\Phi }}\).
Turning to angular momentum for (66), we have the definition of Komar angular momentum [33, 41]
where \(\phi ^{\nu }\) is the Killing vector, and \({\mathscr {S}}_{t}\) share the same meaning as in the definition of Komar mass in Sect. 3. It is natural to choose a foliation adapted to the axisymmetric in the sense that the Killing vector \(\varvec{\phi }\) is tangent to the hypersurface \(\Sigma _{t}\). Then we have \({\varvec{n}} \cdot \varvec{\phi }=0\) and the integrand in (75) is
So Eq. (75) becomes
Let us use the “\(3+1\)” foliation associated with the standard Boyer-Lindquist coordinates \((t,r,\theta ,\varphi )\) and evaluate the integral (77) by choosing for \({\mathscr {S}}_{t}\) as a sphere \(r=const\). Then, we have \(y^a=(\theta ,\varphi )\). The Boyer-Lindquist components of \(\varvec{\phi }\) are \(\phi ^i=(0,0,1)\) and those of \({\varvec{s}}\) are \(s^i=(s^r,0,0)\) because \(\gamma _{ij}\) is diagonal in this coordinate system. Thus Eq. (77) reduces to
Recalling the Eq. (68) for extrinsic curvature \(K_{r\varphi }\), one needs to read off the components of the shift vector for the rotating conformal dilaton black hole
Keeping in mind the expression for extrinsic curvature (68), we find the Komar angular momentum is
For the new rotating dilaton black hole, we must replace the metric \({\tilde{g}}_{ \mu \nu }\) into the integrand, which results in
In the limit of \(r \rightarrow \infty \), the following relationships hold: \({s}^r \sim 1+O(1/r)\), \(\frac{1}{{N}} \sim 1+O(1/r)\), \({\gamma }_{\varphi \varphi } \sim r^2\sin ^2\theta +O(r)\), \({\sqrt{{q}}} \sim r^2 \sin \theta +O(r)\), \( \frac{\partial {\beta }^{\varphi }}{\partial r} \sim \frac{6am}{\sqrt{1-v^2}r^4}+O(1/r^5)\). Therefore, we arrive at \(\frac{{s}^{r}}{{N}} {\gamma }_{\varphi \varphi } \frac{\partial {\beta }^{\varphi }}{\partial r}\sqrt{{q}} \sim \frac{6am}{\sqrt{1-v^2}} \sin ^3\theta \). Replace it with the metric \({\tilde{g}}_{\mu \nu }\), and we get that \(\frac{{\tilde{s}}^{r}}{{\tilde{N}}} {\tilde{\gamma }}_{\varphi \varphi }\frac{\partial {\tilde{\beta }}^{\varphi }}{\partial r} \sqrt{{\tilde{q}}} \sim \frac{6am}{\sqrt{1-v^2}} \sin ^3\theta \) because of \(\frac{1}{\Omega ^2} \sim 1+O(1/r^2)\). Thus, the Komar angular momentum for (61) is
All physical quantities of the rotating black holes in the first law of thermodynamics \(dM=TdS+\Omega _{H}dJ+\Phi dQ \) are not changed after conformal transformation, just as they are in the case of static black holes. In this sense, they are twin solutions, yet they are fundamentally distinct.
5 Conformal invariance of physical quantities when the scalar potential vanishes
So far, we have found that physical quantities in the first law of thermodynamics remain unchanged under the conformal transformation for dilaton black hole solutions. By examining the aforementioned procedures for calculating quantities, one can observe that, according to the definition, quantities such as temperature T, entropy S, angular velocity of black hole \(\Omega _{H}\), electric potential \(\Phi \) and electric charge Q do not change under the conformal transformations \(\Omega ^{-1}=\cosh \frac{\phi }{\sqrt{3}}\) regardless of choices of \(K_{1}(\phi )\) . The remaining quantities are mass M and angular momentum J, which raises the question of whether they are also invariant under general conformal transformations \(\Omega ^{-1}=\cosh \frac{\phi }{\sqrt{3}}\) corresponding to EMS theories beyond the dilaton theory? We will investigate the problem for the case of \(V(\phi )=0\) to address the case of asymptotical black holes, so that Komar mass and angular momentum can be well defined.
Indeed, one may deduce from the definition of angular momentum (80), that the term \( \frac{s^{r}}{N} \gamma _{\varphi \varphi } \frac{\partial \beta ^{\varphi }}{\partial r} \sqrt{q}\) is multiplied by \(\frac{1}{\Omega ^2}\) under conformal transformations. Therefore, to guarantee the convergence of the integration, \(\frac{{s}^{r}}{{N}} {\gamma }_{\varphi \varphi } \frac{\partial {\beta }^{\varphi }}{\partial r}\sqrt{{q}} \) should converge to a constant \(a_1\) multiplied by \(\sin ^3\theta \), i.e. \(\frac{{s}^{r}}{{N}} {\gamma }_{\varphi \varphi } \frac{\partial {\beta }^{\varphi }}{\partial r}\sqrt{{q}} \sim a_{1} \sin ^3\theta +O(1/r)\). Then the associated angular momentum is
If the scalar field \(\phi \) vanishes at infinity, we obtain \(\Omega ^{-1}=cosh(0)=1\) at space infinity. Therefore, according to (81), we obtain \(\frac{{\tilde{s}}^{r}}{{\tilde{N}}} {\tilde{\gamma }}_{\varphi \varphi }\frac{\partial {\tilde{\beta }}^{\varphi }}{\partial r} \sqrt{{\tilde{q}}} \sim a_{1} sin(\theta )^3+O(1/r) \), indicating that the black hole’s angular momentum is conformally invariant \({\tilde{J}}={J}\). By returning to the definition of Komar mass (47) and concentrating first on the second term, i.e. (69). it is trivial to demonstrate that under the conformal transformation, we have
Recalling the computation in Sect. 4, the first term of the integrand in Eq. (47) yields
and it is straightforward to demonstrate that under conformal transformations, we have
If it is shown that the second term \(\partial _{r}(\frac{1}{2\Omega ^2}){s}^r{N}\sqrt{{q}}\) makes no contribution to the integral used to define Komar mass, then combing Eqs. (84) and (86) yields
In this case, considering that we have \(\frac{1}{\Omega ^2}\sim 1\) at space infinity, the Komar mass (see Eq. (47)) stays unaltered \({M}={\tilde{M}}\) for the same reason as for conformal invariance of angular momentum (see discussion concerning the angular momentum above). Therefore, the last challenge is to demonstrate that \(\partial _{r}(\frac{1}{2\Omega ^2}){s}^r{N}\sqrt{{q}}\) genuinely does not make contributions in the integral. Assuming that at space infinity, the scalar field \(\phi \) vanishes and can be expanded into the series in the following form:
then the conformal transformations can be expanded into
resulting in \(\partial _{r}(\frac{1}{2\Omega ^2})\sim -\frac{c_{1}^2}{3r^3}+O(1/r^4)\). If the solution of the black hole for \({\mathcal {S}}_{1}\) is also asymptotically flat, we obtain at space infinity \({s}^r=\sqrt{1/{g}_{11}}\sim 1 ,{N}=\sqrt{-1/{g}^{00}} \sim 1\), \(\sqrt{{q}}\sim r^2\). Thus, when all of the criteria above are satisfied, we get \(\partial _{r}(\frac{1}{2\Omega ^2}){s}^r{N}\sqrt{{q}} \sim O(1/r)\), which doesn’t contribute to the integral used to define Komar mass. As a result, all the physical quantities in the first law of thermodynamics \(dM=TdS+\Phi dQ +\Omega _{H} dJ\) are conformally invariant considering the Komar mass is conformally invariant.
Why is it necessary that \(\phi \) should be expanded into the Taylor series at space infinity? The following counterexample can illustrate this point. If \(\phi \) equals \(1/\sqrt{r}\), it cannot be expanded to Taylor series. In this instance, the conformal transformation may be expanded into
This yields \(\partial _{r}(\frac{1}{2\Omega ^2}){s}^r{N}\sqrt{{q}} \sim -\frac{1}{6}\), which contributes to the integral in the definition of Komar mass. Consequently, \({M}={\tilde{M}}\) cannot be established in this circumstance.
To summarize, In the case of \(V(\phi ) \equiv 0\), the following criteria must be fulfilled in order for all physical quantities in the first law of thermodynamics to remain conformally invariant regardless of the choices of \(K_1(\phi )\)
-
1.
The spacetime is asymptotically flat so that quantities such as Komar mass and angular momentum can be well defined;
-
2.
At spatial infinity, the scalar field should vanish and be expanded into the Taylor series: \(\phi =c_{1}/r+c_{2}/r^2+\cdots \)
One may check that both the static dilaton black hole solution and the precise rotating dilaton black hole solution satisfy the two criteria above, ensuring that the prior analysis of these two solutions is self-consistent.
6 Conclusion and discussion
Originally, Bekenstein attempted to obtain exact solutions of conformally invariant scalar equations in Einstein’s frame. He established the theorem by which the Einstein-conformal-scalar solution can be deduced from the initial ordinary solution. We take it a step further by taking into account the non-minimal coupling between the scalar and Maxwell fields when a scalar potential is also included, which has generated considerable attention as a consequence of studies on the scalarization of black holes.
The paper starts with the extension of Bekenstein’s theorem to EMS theories. Then, using the dilaton theory as an illustration of the extended theorem, the conformal dilaton solution is found straightforwardly. Concerning the exact spinning dilaton black hole, its conformal counterpart is obtained and studied. We examine the thermodynamics of the two solutions. We find that the Bekenstein–Hawking entropy formula no longer applies in the conformal theory and should be replaced with the Wald entropy formulas, since the geometry quantity is \((1-\frac{\psi ^2}{3}){\tilde{R}}\) instead of the Ricci scalar \({\tilde{R}}\). A thorough study shows that the solutions in the dilaton theory and their conformal counterparts analogues possess the same thermodynamic quantities, and therefore they are cousin models.
After examining these two specific theories, we find that if one can establish that the mass M and angular momentum J are conformally invariant for any conformal factor \(\Omega ^{-1}=\cosh \frac{\phi }{\sqrt{3}}\) regardless of choices of \(K_1(\phi )\), then all the quantities in the first law of thermodynamics \(dM=TdS+\Omega _{H}dJ+\Phi dQ\) are conformally invariant. It is therefore found that when \(V(\phi )=0\), if the following conditions are satisfied: (i) the spacetime is asymptotically flat; (ii) the solution for scalar field in \({\mathcal {S}}_1\) vanishes at spatial infinity and can be extended into the Taylor series: \(\phi =c_{1}/r+c_{2}/r^2+\cdots \), then the physical quantities in the first law of thermodynamics are always conformally invariant.
In terms of potential applications of the extended theorem, one might start with the spontaneous scalarization of black holes. The following three instances has been found to allow for spontaneous scalarization of charged black holes. [19,20,21]: (i). exponential coupling, \(K_{1}(\phi )=e^{-\alpha \phi ^{2}},\ V_{1}(\phi )=0,\) (ii). power-law coupling, \(K_{1}(\phi )=1-\alpha \phi ^{2},\ V_{1}(\phi ))=0\;;\) (iii). fractional coupling, \(K_{1}(\phi )=\frac{1}{1+\alpha \phi ^{2}},\ V_{1}(\phi )=0\;;\) Therefore, it is intriguing to examine the scalarization of charged black holes’ conformal counterparts. Another possible application of the extended theorem is to study black hole perturbations in EMcS theories. The theorem establishes that the solutions of \({\mathcal {S}}_1\) and \({\mathcal {S}}_2\) are connected via conformal translation regardless of whether they are static, stationary, or even non-stationary. Considering that the perturbations of black holes are always added to background spacetime and the backreactions are neglected, thus the perturbation in generic EMcS theories can be converted into the investigation of the perturbation in EMS theories. Zou et al. [25, 26] examined the stability problem of scalar hairy black holes in the EMcS theory with the quadratic coupling \(K_{2}(\psi )=1+\alpha \psi ^2,\ V_2(\psi )=0.\) Indeed, one may perform the stability analysis by using the conformal transformation on the initial solutions in the EMS theory first, and then the perturbation of the EMcS is accomplished by multiplying the perturbation in the EMS theory by the conformal factor, which is determined by the unperturbed solution of the EMS theory. Furthermore, Blázquez-Salcedo et al. [42] find that, the EMS theory with the higher power-law coupling \(K_1(\phi )=1-\alpha \phi ^4,\ V_{1}(\phi )=0\) exhibits an intriguing two-branch space of scalar hair solutions that coexists with the conventional Reissner–Nordstrom black hole. We think this character may then be readily extended to its conformal counterpart. For the case of \(V(\phi )\ne 0\), one can take the dilaton black holes in de Sitter or Anti-de Sitter universe as an example [43], where \(K(\phi )= e^{-2\phi }\) and \(V(\phi )=\frac{4}{3}\lambda +\frac{1}{3}\lambda \left( e^{2\phi }+e^{-2\phi }\right) \), It’s interesting to research the corresponding EMcS theory. Finally, one can also apply the theorem to EMS theories with \(V(\phi )=2\lambda \) [27,28,29] or \(V(\phi )=2m_{\phi }^2 \phi ^2\) [24, 30] and investigate the spontaneous scalarization in the corresponding EMcS theories.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a paper on theories of gravity, so there is no numerical simulation or experiment data.]
References
J.D. Bekenstein, Ann. Phys. 82, 535 (1974)
K.B.N. Bocharova, V. Melnikov, Vestn. Mosk. Univ. Fiz. Astron. 6
C.A. Herdeiro, E. Radu, Int. J. Mod. Phys. D 24, 1542014 (2015)
T.P. Sotiriou, arXiv preprint arXiv:1505.00248 (2015)
D. Sudarsky, T. Zannias, Phys. Rev. D 58, 087502 (1998)
C. Brans, R.H. Dicke, Phys. Rev. 124, 925 (1961)
G.W. Horndeski, Int. J. Theor. Phys. 10, 363 (1974)
A. Nicolis, R. Rattazzi, E. Trincherini, Phys. Rev. D 79, 064036 (2009)
C. Deffayet, S. Deser, G. Esposito-Farese, Phys. Rev. D 80, 064015 (2009)
T.P. Sotiriou, S.-Y. Zhou, Phys. Rev. D 90, 124063 (2014)
D. Ayzenberg, N. Yunes, Phys. Rev. D 90, 044066 (2014)
B. Kleihaus, J. Kunz, E. Radu, Phys. Rev. Lett. 106, 151104 (2011)
T. Damour, G. Esposito-Farese, Phys. Rev. Lett. 70, 2220 (1993)
D.D. Doneva, S.S. Yazadjiev, Phys. Rev. Lett. 120, 131103 (2018)
H.O. Silva, J. Sakstein, L. Gualtieri, T.P. Sotiriou, E. Berti, Phys. Rev. Lett. 120, 131104 (2018)
G. Antoniou, A. Bakopoulos, P. Kanti, Phys. Rev. Lett. 120, 131102 (2018)
M. Minamitsuji, T. Ikeda, Phys. Rev. D 99, 044017 (2019)
H.O. Silva, C.F. Macedo, T.P. Sotiriou, L. Gualtieri, J. Sakstein, E. Berti, Phys. Rev. D 99, 064011 (2019)
C.A. Herdeiro, E. Radu, N. Sanchis-Gual, J.A. Font, Phys. Rev. Lett. 121, 101102 (2018)
P.G. Fernandes, C.A. Herdeiro, A.M. Pombo, E. Radu, N. Sanchis-Gual, Class. Quantum Gravity 36, 134002 (2019)
D. Astefanesei, C. Herdeiro, A. Pombo, E. Radu, J. High Energy Phys. 2019, 1 (2019)
Y.S. Myung, D.-C. Zou, Eur. Phys. J. C 79, 1 (2019)
Y.S. Myung, D.-C. Zou, Phys. Lett. B 790, 400 (2019)
Y.S. Myung, D.-C. Zou, Eur. Phys. J. C 79, 1 (2019)
D.-C. Zou, Y.S. Myung, Phys. Rev. D 102, 064011 (2020)
D.-C. Zou, Y.S. Myung, Phys. Lett. B 803, 135332 (2020)
G. Guo, P. Wang, H. Wu, H. Yang, Eur. Phys. J. C 81, 1 (2021)
C.-Y. Zhang, P. Liu, Y.-Q. Liu, C. Niu, B. Wang, Phys. Rev. D 104, 084089 (2021)
C.-Y. Zhang, P. Liu, Y. Liu, C. Niu, B. Wang, Phys. Rev. D 105, 024010 (2022)
D.-C. Zou, Y.S. Myung, Phys. Rev. D 100, 124055 (2019)
J.H. Horne, G.T. Horowitz, Phys. Rev. D 46, 1340 (1992)
V.P. Frolov, A. Zelnikov, U. Bleyer, Annalen der Physik (Leipzig) 44, 371 (1987)
E. Gourgoulhon, 3+ 1 Formalism in General Relativity: Bases of Numerical Relativity, vol. 846 (Springer Science & Business Media, New York, 2012)
R.M. Wald, Phys. Rev. D 48, R3427 (1993)
V. Iyer, R.M. Wald, Phys. Rev. D 50, 846 (1994)
J.D. Bekenstein, JACOB BEKENSTEIN: The Conservative Revolutionary (World Scientific, Singapore, 2020), pp. 303–306
E. Winstanley, arXiv preprint arXiv:gr-qc/0408046 (2004)
A.-M. Barlow, D. Doherty, E. Winstanley, Phys. Rev. D 72, 024008 (2005)
Z.Z. Ma, Phys. Lett. B 666, 376 (2008)
R.M. Wald, General Relativity (University of Chicago Press, Chicago, 2010)
A. Komar, Phys. Rev. 113, 934 (1959)
J.L. Blázquez-Salcedo, C.A. Herdeiro, J. Kunz, A.M. Pombo, E. Radu, Phys. Lett. B 806, 135493 (2020)
C.J. Gao, S.N. Zhang, Phys. Rev. D 70, 124019 (2004)
Acknowledgements
This work is partially supported by the NSFC under grants 11633004 and 11773031.
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. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Qiu, J., Gao, C. Extend Bekenstein’s theorem to Einstein–Maxwell-scalar theories with a scalar potential. Eur. Phys. J. C 82, 654 (2022). https://doi.org/10.1140/epjc/s10052-022-10618-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10618-0