Abstract
Using the Bogomol’nyi–Prasad–Sommerfield Lagrangian method, we show that gravity theory coupled to matter in various dimensions may possess Bogomol’nyi-like equations, which are first-order differential equations, satisfying the Einstein equations and the Euler–Lagrange equations of classical fields (U(1) gauge and scalar fields). In particular we consider static and spherically symmetric solutions by taking proper ansatzes and then we find an effective Lagrangian density that can reproduce the Einstein equations and the Euler–Lagrange equations of the classical fields. We consider the BPS Lagrangian density to be linear function of first-order derivative of all the fields. From these two Lagrangian desities we are able to obtain the Bogomol’nyi-like equations whose some of solutions are well-known such as Schwarzschild, Reissner–Nordström, Tangherlini black holes, and the recent black holes with scalar hair in three dimensions (Phys. Rev. D 107, 124047). Using these Bogomol’nyi-like equations, we are also able to find new solutions for scalar hair black holes in three and four dimensional spacetime. Furthermore we show that the Bogomol’nyi–Prasad–Sommerfield Lagrangian method can provide a simple alternative proof of black holes uniqueness theorems in any dimension.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In nonlinear field theory, Bogomol’nyi equations are closely related to attempts on finding exact solutions of the theory and their stabilities [1]. One of the earliest attempts in finding exact solutions were done by Prasad and Sommerfield in the case of SU(2) Yang–Mills–Higgs model [2]. In particular they found exact solutions of ’t Hooft–Polyakov monopoles and Julia-Zee dyons in the limit where both mass and quartic-coupling interaction of the Higgs fields go to zero. Bogomol’nyi then found by rewriting the energy functional into completed square form, so called Bogomol’nyi trick or decomposition, those exact solutions minimize the energy functional and are also solutions to first-order differential equations known as Bogomol’nyi equations. Furthermore he found that the total energy of these solutions are proportional to topological charge, and thus are stable, see [3, 4] for more detail calculations. These Bogomolny equations turn out to be usefull for studying stability of solutions in the classical field theory and one may be able to find some exact solutions since the problem of solving second-order differential equations, or Euler–Lagrange equations, now reduce to problem of solving these first-order differential equations. In supersymmetric theories, with central charge, the Bogomol’nyi equations can be obtained from variation of fermionic fields, that breaks some of supersymmetric charges and in this context the Bogomol’nyi equations are usually called BPS (Bogomol’nyi–Prasad–Sommerfield) equations [5].
The Bogomol’nyi trick does not have a systematic procedure, and hence is hard to be employed to more general models. There have been several methods developed in order to obtain the Bogomol’nyi equations: Strong Necessary Condition [6, 7], first-order formalism [8,9,10], On-Shell method [11, 12], FOEL (First-Order Euler–Lagrange) formalism [13], and BPS (Bogomol’nyi–Prasad–Sommerfield) Lagrangian method [14]. So far all these methods have been used mostly for (non-supersymmetric) field theories where the space-time metric is flat. Some of these methods have been used to find Bogomol’nyi equations for gravity, but only for a particular case of spatially flat universe metric in the scalar field inflation [9, 13]. There are some earliest attempts to find Bogomol’nyi-type equations in the system that include gravity either as a background metric or as dinamical field, such as incorporating the Einstein–Hilbert action, [15,16,17,18]. Unfortunately there were still no Bogomol’nyi-type equations found satisfying the Einstein equations. However there is an attempt to find Bogomol’nyi equations for black holes by using Bogomol’nyi trick which, as we mentioned before, may not be applicable to more general gravity models [19]Footnote 1. In this article we will try to find first-order differential equations that satisfy the Einstein equations and the Euler–Lagrange equations of classical fields (U(1) gauge and scalar fields) in some of gravity theories and, for an obvious reason, we will be using the BPS Lagrangian method. We shall call these first-order differential equations as Bogomol’nyi-like equations since they will be derived from the action, or to be more precise (effective) Lagrangian density, instead of total energy as in the original article by Bogomol’nyi [1].
This article is organized as follows. At first, in Sect. 1.1 we review in detail how to employ the BPS Lagrangian method to the SU(2) Yang–Mills–Higgs model without any ansatz and with Julia–Zee ansatz. Later in Sect. 2 we employ the BPS Lagrangian method to obtain and solve these Bogomol’nyi-like equations for (static spherically symmetric) vacuum Einstein gravity in Sect. 2.1, Einstein gravity coupled with U(1) gauge field in Sect. 2.2, and Einstein gravity coupled with a real scalar field in Sect. 2.3. Then in Sect. 3 we employ the BPS Langrangian method to more general n-dimensional, with \(n\ge 3\), gravity theory coupled with U(1) gauge and a real scalar fields. In particular, we obtain and solve explicitly the Bogomol’nyi-like equations for n-dimensional gravity theory coupled with U(1) gauge and for three dimensional gravity coupled with a real scalar field in Sects. 3.1 and 3.2 respectively. In the last Sect. 4 we give remarks about the results in this article, which are mainly about their relations with the black hole uniqueness theorems, and also other possible applications of the BPS Lagrangian method.
1.1 BPS Lagrangian method
The BPS Lagrangian method was first developed in [20] to reproduce the known Bogomol’nyi equations for BPS vortices in various three dimensional Maxwell–Higgs models. It was based on observation that the energy density of BPS vortices in these models has a similar form given by, what is called, BPS Lagrangian density. The BPS Lagrangian density found there contains only boundary terms, by means its Euler–Lagrange equations are trivially satisfied, so there are no additional constraint equations need to be considered. This type of BPS Lagrangian density, which shall be called boundary BPS Lagrangian density, was later used to find Bogomol’nyi equations for BPS monopoles and dyons in various model of four dimensional SU(2) Yang–Mills–Higgs models under Julia–Zee ansatz [21]. It is also possible to use another type of BPS Lagrangian density that may contain non-boundary terms as such its Euler–Lagrange equations are not trivially satisfied and we shall call it non-boundary BPS Lagrangian density. These Euler–Lagrange equations become constraint equations that must be considered in finding solutions. This non-boundary BPS Lagrangian density was first used in three dimensional generalized Born–Infeld–Higgs model and it was found that stress-tensor components of the BPS vortices are non-zero, or physically interpreted as having internal pressures, and hence unlike the usual BPS vortices [22]. However, non-boundary BPS Lagrangian density does not always result in BPS vortices with internal pressures. As an example in three dimensional Maxwell–Chern–Simons–Higgs model, using non-boundary BPS Lagrangian gave us the usual BPS vortices, without internal pressures, but with a less degree of freedom, by means one of the effective fields depend on the other effective field [23]. Another examples of using non-boundary BPS Lagrangian density have been discussed in the generalized Skyrme model and its higher dimensional extensions [24,25,26]. All those examples depend on some particular ansatzes which are mainly choosen by a requirement that the Bogomol’nyi equations must be spherically symmetric. An example of employing the BPS Lagrangian method without a priori imposing any particular ansatz, or independent of any ansatz, was shown in [27] for the case of generalized SU(2) Yang–Mills–Higgs models in order to obtain Bogomol’nyi equations for BPS dyons.
Let us consider an action of N scalar fields \(\phi _m\equiv (\phi _1,\ldots ,\phi _N)\) in \((d+1)\)-dimensions of spacetime,
with \(\partial _\mu \equiv {\partial \over \partial x^\mu }\equiv \left( {\partial \over \partial x^0},{\partial \over \partial x^1},\ldots ,{\partial \over \partial x^d}\right) \) and \(\mu =0,1,\ldots , d\) is the spacetime index. Similar to Bogomol’nyi’s trick, we shall rewrite the Lagrangian density into complete squared terms as such
where
with \(\partial _\mu \phi _m^0\equiv \{\partial _\mu \phi _m\}-\partial _\nu \phi _n\) for fixed \(\nu \) and n. Here \(\mathcal {L}_{BPS}\) is defined as BPS Lagrangian density that usually contain only boundary terms by means of its Euler-Lagrange equations are trivially satisfied. Once we determine the form of BPS Lagrangian density then we could find the “squared terms”. We then define a BPS limit in which \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}=0\) and all terms in the “squared terms” are set to zero as such \(\partial _\nu \phi _n = f_n(\phi _m,\partial _\mu \phi _m^0)\) which shall be called Bogomol’nyi equations. Now one may ask what is the explicit form of BPS Lagrangian density?. One of the answer comes from the study of well-known Bogomol’nyi equations in various models using the On-Shell metode [11]. For spherically static cases, total energy is proportional to the action, \(E=-\int d^{d+1}x~\mathcal {L}_{eff}\), and in the BPS limit the energy of BPS solitons are determined by difference between values of a function \(Q\equiv Q(\phi _m)\), there is called BPS energy functional, on the boundary and on the origin,
Here \(\mathcal {L}_{BPS}\) is a linear function of first-order derivative of fields \(\phi _m\) and one can simply show that its Euler–Lagrange equations are indeed trivial. The boundary terms are not restricted only to linear function of \(\phi _m'(r)\). In general there are also possible boundary terms contain \(\partial _\mu \phi _m\) with power higher than one. As an example for \(N=3\) and \(d=3\), we may have \(\mathcal {L}_{BPS}\) with boundary terms as follows [13]
where \( Q^{[ijk]}_{[nop]}\equiv Q^{[ijk]}_{[nop]}(\phi _m)\) is totally antisymmetric tensor in both up and down indices. Here we have used Einstein summation notation over the spatial coordinate indices i, j, and k. However \(\mathcal {L}_{BPS}\) may also contain non-boundary terms such that its Euler–Lagrange equations,
are not trivially satisfied and must be considered as additional constraint equations in finding solutions to the Bogomol’nyi equations.
1.1.1 Case without ansatz
Let us see how to employ explicitly the BPS Lagrangian method to the SU(2) Yang–Mills–Higgs model with the following action in Minskowski spacetime
with \(|\Phi |=2\text {Tr}(\Phi ^2),~F_{\mu \nu }=\partial _\mu A_\nu -\partial _\nu A_\mu -ie \left[ A_\mu ,A_\nu \right] , D_\mu \equiv \partial _\mu -ie\left[ A_\mu ,\right] \), \(A_\mu ={1\over 2}\tau ^a A^a_\mu ,~ \Phi ={1\over 2}\tau ^a \Phi ^a\), with internal index \(a=1,2,3\) and \(\tau ^a\) are the Pauli matrices. The Euler–Lagrange equations of action (7), with fundamental (real) fields \(\Phi ^a\) and \(A^a_\mu \), are written, respectively,
Rewriting the Lagrangian density, \(\mathcal {L}\), in terms of electric field strength, \(E_i=F_{0i}\), and magnetic field strength, \(B_i={1\over 2}\epsilon _{ijk}F_{jk}\) with \(i=1,2,3\), the effective Lagrangian density is given by
where the scalar potential \(V\ge 0\) is still arbitrary. Now consider BPS Lagrangian density, as defined in [27], as follows
where \(\alpha ,\beta ,\) and \(\gamma \) are arbitrary constants. From both Lagrangian densities, we may obtain
This form can be obtained by considering \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}\) as quadratic equation and completing the square in \(E_i,B_i,D_0\Phi ,\) and \(D_i\Phi \) subsequently. In the BPS limit, \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}=0\), first three terms on the right hand side give us the Bogomol’nyi equations [1, 3, 4],
For the fourth term, we can not take \(D_i\Phi =0\) otherwise it will lead us to trivial solution and thus we must set \(\gamma =1 +\alpha ^2-\beta ^2\) and then \(V=0\). As we mentioned previously there are additional constraint equations since the BPS Lagrangian density contains non-boundary terms. The Euler–Lagrange equations of \(\mathcal {L}_{BPS}\), respectively, for fields \(\Phi \), \(A_i\), and \(A_0\) are simplified to
There are two possible solutions without additional constraint equations:
-
BPS monopoles: \(\alpha =0, \beta =\pm 1\).
-
BPS dyons: \(\alpha \ne 0\Longrightarrow D_iD_i\Phi =\beta D_iB_i=0\) (by Bianchi Identity) and \(\alpha ^2+\beta ^2=1\).
By allowing \(\alpha ,\beta ,\) and \(\gamma \) in (10) to be functions of \(|\Phi |\), we may also obtain Bogomol’nyi equations for the generalized SU(2) Yang–Mills–Higgs model [27].
1.1.2 Case with ansatz
Working with PDEs (partial differential equations) are more difficult compared to ODEs (ordinary differential equations). Therefore sometimes it is more practical to turn the PDEs into PDEs with less number of variables, or even if possible to turn them into ODEs, by taking a particular ansatz. Here we will show how to employ the BPS Lagrangian method under (’t Hooft–Polyakov) Julia–Zee ansatz [28,29,30],
where \(x^a\equiv (x,y,z)\), as well as \(x^{i,j}\equiv (x,y,z)\), denotes the Cartesian coordinates and \(\epsilon ^{aij}\) is the Levi–Civita symbol. Under this ansatz the Euler–Lagrange equations (8) are effectively written as
where we have defined a differential operator \('\equiv {d\over dr}\). Now we need to find the effective Lagrangian density and identify its effective fields. It turns out the effective Lagrangian density is proportional to \(\sqrt{-g}\mathcal {L}\) under the ansatz (16), in spherical coordinates,
and its effective fields are f, a, and j such that Euler–Lagrange equations of \(\mathcal {L}_{eff}\left( r,f(r),a(r),j(r),{df(r)\over dr},{da(r)\over dr},\right. \left. {dj(r)\over dr}\right) \) for the effective fields f, a, and j are given in (17) respectively. For this case we consider the effective BPS Lagrangian density, as defined in [27],
where \(Q\equiv Q(f,a,j)\) is an auxiliary function of only the effective fields. We then rewrite \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}\) by completing the square in \(f',a',\) and \(j'\),
with \(Q_f\equiv {\partial Q\over \partial f}, Q_a\equiv {\partial Q\over \partial a},\) and \(Q_j\equiv {\partial Q\over \partial j}\). In the BSP limit, \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}=0\) implies Bogomol’nyi equations
and
which can be solved by expanding the left hand side in explicit radial coordinate r and then setting all the “coefficients” to be zero, \(V=0\),
Therefore we can fix the auxiliary function \(Q=\pm {1\over e^2}(a^2-1)\sqrt{e^2f^2-j^2}\) and the Bogomol’nyi equations now become [1, 3, 4]
There are no additional constraint equations since the Euler–Lagrange equations of \(\mathcal {L}_{BPS}\) (19) are trivially satisfied. Furthermore from the Bogomol’nyi equations we may have an equation \({j'/ f'}={j/f}\) whose solution is \(j(r)=\sigma f(r)\), with \(\sigma \) is an integration constant.
2 Four-dimensional gravity
The four-dimensional Einstein–Hilbert action
where \(\Lambda \) is the cosmological constant and \(\kappa =8\pi G\) is the Einstein gravitational constant. In general, it requires additional Gibbons–Hawking–York boundary terms as such the resulting Euler–Lagrange equations are the Einstein equations [31, 32]. The total action is given by
where \(h_{ab}\) is the induced metric; K is the trace of the extrinsic curvature; and \(\epsilon =+1\) if the normal of boundary manifold \(\partial \mathcal {M}\) is spacelike and \(\epsilon =-1\) if the normal of boundary manifold \(\partial \mathcal {M}\) is timelike, with \(y^a\) are the coordinates on the boundary manifold \(\partial \mathcal {M}\). Here the last term is added to remove singularity part of the Gibbons–Hawking–York terms.
2.1 Static spherically symmetric
In this case the ansatz for the four-dimensional metric is
where \(A,B,C\ge 0\). Non-trivial parts of the Einstein equations, \(R_{\mu \nu }-{1\over 2}g_{\mu \nu }R+\Lambda g_{\mu \nu }=0\), in this ansatz are simplified to
Now we are going to find the Bogomol’nyi-like equations, or first-order derivative equations, for functions A, B, and C using the BPS Lagrangian method [14]. The BPS Lagrangian method requires a Lagrangian density, which shall be called effective Lagrangian density, that give us the Einstein equations (28). To do so, we use the Gaussian normal coordinates and pick a boundary manifold as timelike hypersurface, with spacelike normal vector or \(\epsilon =1\), at spatial infinity assumed to be at \(r\rightarrow \infty \). The reduced Einsten–Hilbert action is given by
One can check that the Euler–Lagrange equations of this reduced action are indeed the Einstein equations (28). Derivation of Euler–Lagrange equations (28) from the reduced action (29) is rather naive by assuming the radial coordinate r to act as time coordinate and the variation is taken over the effective fields (A, B, C). We will also use these assumptions when applying the BPS Lagrangian method further. Following prescriptions of the BPS Lagrangian method, we pick a standard BPS Lagrangian density which contains linear terms in \(A'(r),B'(r),\) and \(C'(r)\) as followsFootnote 2,
where \(X_0,X_a,X_b,\) and \(X_c\) are auxiliary functions of A, B, and C. Our task now is to find explicit form of these functions. We then rewrite \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}\) as follows
In the BPS limit, where \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}=0\), we can extract Bogomol’nyi-like equations for A and C, respectively,
and the remaining terms is
Ones can consider this equation as first-order differential equation of B which could be later identified as Bogomol’nyi-like equation for B. This however contradicts with our previous results that there are only Bogomol’nyi-like equations for A and C. In order to avoid this contradiction we must set \(X_b=0\) which later implies
Next, we must also consider additional constraint equations that are Euler–Lagrange equations of \(S=\int dr \mathcal {L}_{BPS}\). The constraint equation for B yields \(X_0=0\). The remaining constraint equations can be simplified to
This simplified constraint equation is a first-order differential equation of B. Using explicit functions of \(X_0,X_b,\) and \(X_c\) the Bogomol’nyi-like equations (32) can be simplified to
which, together with the constraint equation (35), satisfy the Einstein equations (28). However those equations are impractical when we want to find their explicit solutions because there is still one auxilliary function \(X_a\) needs to be determined.
2.1.1 Schwarzschild black hole: \(C=r^2\)
In this case the solution for \(X_a\), from the Bogomol’nyi-like equation (36b), is given by \(X_a={4r\over \sqrt{AB}}\). With this explicit function of \(X_a\), the Bogomol’nyi-like equation for A (36a) and the constraint equation (35) are now
From the ratio \(A'(r)/B'(r)\), we may conclude the functions A and B are related by \(A={c_a\over B}\), with \(c_a\) is a real constant. Solutions to A and B are
which are the Schwarzschild solutions. In particular the Schwarzschild black hole is obtained by setting \(\Lambda =0, c_a=1,\) and \(c_b=-2 M\), where M is the mass of gravitational source.
2.1.2 General solutions
Using the Bogomol’nyi-like equations (36), we can recast the constraint equation (35) to be
Comparing it with the Bogomol’nyi-like equation for C (36b50b), we obtain \(X_a=cx_a\sqrt{C}\), with \(cx_a\) is a real constant. Furthermore using explicit solution of \(X_a\) and comparing both Bogomol’nyi-like equations (36), we may obtain a differential equation
whose solution is
with \(c_a\) is a real constant. In order to find solution for B, we can not use the constraint equation (35) since it becomes trivial when we substitute the explicit solution of \(X_a\). We can use the Bogomol’nyi’s equation (50b) to obtain solution for B as follows
So the solution for B depends on explicit function of C(r). Here we can see \(B\propto A^{-1}\).
2.2 Static electrovac
Now consider incorporating electromagnetic field into the Hilbert–Einstein action such that the total action is
with \(F_{\mu \nu }=D_\mu A_\nu -D_\nu A_\mu \) and \(D_\mu \) is the covariant derivative. For our convenient we set \(\kappa =1\) from now on. A general static spherical symmetric ansatz for electromagnetic field is given by
with \(A_\theta \) and \(A_\phi \) are real constants. Within this ansatz the function \(A_r(r)\) and constant \(A_\theta \) do not appear anywhere in the action so we may safety set them to zero, \(A_r(r)=A_\theta =0\). Under the ansatzes (27) and (45), the reduced action are given by
Again one can check that Euler–Lagrange equations of this effective Lagrangian \(\mathcal {L}_{eff}\) satisfy the Einstein equations and the Maxwell equations, \(D^\mu F_{\mu \nu }=0\). The BPS Lagrangian density is taken to be
where \(X_0,X_a,X_b,X_c,\) and \(X_t\) are auxilliary functions of A(r), B(r), C(r), and \(A_t(r)\). The equation \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}=0\) can be rewritten to be
In the BPS limit, the first line of Eq. (48) will give us Bogomol’nyi-like equations for \(A_t, C,\) and A while the second line must zero such that, for the same reason as in the previous case, \(X_b=0\) and thus
Substituting \(X_b\) and \(X_c\), the Bogomol’nyi-like equations for \(A_t, C,\) and A now become
The remaining unknown functions \(X_a\) and \(X_t\) can be determined from the Euler–Lagrange equations of BPS Lagrangian density (47). The constraint equation for B yields \(X_0=0\) which further simplifies the constraint equation for \(A_t\) to be \({dX_t\over dr}=0\), or \(X_t=cx_t\) is a real constant. The remaining constraint equations, for A and C, can be simplified to
Using the Bogomol’nyi-like equations (50), we can recast this constraint equation to be
whose solution is \(X_a=cx_a\sqrt{C}\), with \(cx_a\) is the integration constant. Using the explicit solutions \(X_a\) and \(X_t\), and comparing the Bogomol’nyi-like equations (50a) and (36b) we then obtain
with \(c_t\) is the integration constant. Furthermore comparing the Bogomol’nyi-like equations (50b) and (50c), we may obtain a differential equation
whose solution is given by
with \(c_a\) is a real constant. As in the previous case, the solution for B can be obtained from the Bogomol’nyi equation (36b),
If we take \(C(r)=r^2\) and set \(cx_a=4,cx_t=4 Q,\) and \(c_a=-2M\) then we get the Reissner–Nordström black hole solutions,
where M is the black hole mass, Q is the electric charge, and \(A_\phi \) is the magnetic charge.
2.3 Einstein-scalar gravity (V-scalar-vacuum)
An action for four-dimensional Einstein-scalar gravity is given by
with V is a generic scalar potential. We take an ansatz for the real scalar field \(\phi \equiv \phi (r)\) such that, together with the ansatz (27), the reduced action is given by
In this case we consider BPS Lagrangian density as follows
where \(X_0,X_a,X_b,X_c,\) and \(X_\phi \) are auxilliary functions of A(r), B(r), C(r), and \(\phi (r)\). In the BPS limit, \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}=0\) can be rewritten as
The first line of Eq. (61) will give us Bogomol’nyi-like equations while the second line must be set to zero such that, similar to previous cases, \(X_b=0\) and
Substituting explicit functions \(X_b\) and \(X_c\), the Bogomol’nyi-like equations for \(\phi , C,\) and A become
The remaining unknown functions \(X_0, X_a,\) and \(X_\phi \) can be determined from Euler–Lagrange equations of the BPS Lagrangian density \(\mathcal {L}_{eff}\). The constraint equation for B yields \(X_0=0\). Furthermore using this explicit \(X_0\), the constraint equations for A and \(\phi \) can be simplified to, respectively,
These equations further implies the constraint equation for C to be trivial.
Let us consider solution for which \(C=r^2\). In this case solutions are obtained by setting \(X_a=4\sqrt{C\over A~B}\) which further simplifies the Bogomol’nyi-like equation for A and, from the constraint equation (64a), implies a constraint equation for B, respectively
Using these equations we can write
Now take an example where solution for the scalar field is a Coulomb-like solution where \(\phi ={Q_s\over r}\) with \(Q_s\) is a real constant. This implies \(X_\phi =4\phi \sqrt{A~C\over B}\) and
whose solution is
with \(c_a\) is an integration constant which we will set to unity, \(c_a=1\). Since all the auxiliary functions have been fixed, the remaining equations to be solved, in terms of \(\phi \), are
Solutions to these equations are
where \(\text {erf}(z)={2\over \sqrt{\pi }}\int _0^z e^{-t^2}dt\) is the Error function, with \(c_1\) and \(c_2\) are constant. At \(r\rightarrow \infty \), we have
with \(\lambda =\frac{4}{Q_s^2}-2 c_1\) is an effective cosmological constant. The existence of asymptotically flat black holes, with \(\lambda =0\), depend on the value of \(c_2\) (Figs. 1, 2).
3 Einstein–Maxwell-scalar gravity in \(n-\)dimensions
The action for Einstein–Maxwell-scalar gravity is taken to be
the n-dimensional Einstein’s equations, Maxwell’s equations, and Scalar’s equation are respectively given by
with \(D_\mu \) is the covariant derivative. We take ansatz for the n-dimensional metric to be
where \(A,B,C\ge 0\) and \(n>4\). For the metric of unit hyper-sphere, we follow convention in [33] as below:
Here we take ansatz for the n-dimensional gauge field as follows [33, 34]
and for the scalar field to be static and spherically symmetric, \(\phi \equiv \phi (r)\). Using those ansatzes, the Eq. (76) can be obtained from the following reduced action
Here again without loos of generality we may set \(\kappa =1\). We consider the BPS Lagrangian density to be
where \(X_0,X_a,X_b,X_c,X_t,\) and \(X_\phi \) are auxilliary functions of A(r), B(r), C(r), At(r), and \(\phi (r)\). In the BPS limit, \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}=0\) can be rewritten as
The first three terms in left hand side of Eq. (83) will give us Bogomol’nyi-like equations while the remaining terms must be set to zero such that \(X_b=0\) and
Substituting \(X_b\) and \(X_c\), the Bogomol’nyi-like equations for \(A_t,\phi ,C,\) and A respectively become
The remaining auxilliary functions \(X_0, X_a, X_t,\) and \(X_\phi \) can be determined from the Euler–Lagrange equations of BPS Lagrangian density \(\mathcal {L}_{eff}\). The constraint equation for B yields \(X_0=0\) which further implies, from the constraint equation for \(A_t\), \({dX_t\over dr}=0\), or \(X_t=cx_t\) is a real constant. With these additional explicit functions of \(X_0\) and \(X_t\), the constraint equations for A and \(\phi \) implies, respectively,
These equations further implies the constraint equation for C to be trivial.
3.1 Tangherlini black holes
In this case the action only contains the gravity and gauge fields such that we need to remove all terms in the effective and BPS Lagrangian densities that contain the scalar field. This can be done by taking \(\phi \) and its potential V to be zero which also imply \(X_\phi =0\) such that the constraint equation (87) is trivially satisfied and the constraint equation (86) is simplified to
whose solution is \(X_a=cx_a C^{n-3\over 2}\), with \(cx_a\) is the integration constant. Using additional explicit function of \(X_a\) and comparing the Bogomol’nyi-like Eqs. (85a) and (85c), we obtain
with \(c_t\) is the integration constant. Further comparing the Bogomol’nyi-like Eqs. (85d) and (85c), we may obtain a differential equation
whose solution is given by
with \(c_a\) is a real constant. As in the previous case, the solution for B can be obtained from the Bogomol’nyi-like equation (85c),
If we take \(C(r)=r^2\) and set \(cx_a={(n-2)\over 2},cx_t=-Q,\) and \(c_a=-2M\) then we get the black hole type solutions,
where M is the black hole mass and Q is the electric charge.
3.2 Three dimensional V-scalar-vacuum
Here \(n=3\) without gauge field, \(A_t=X_t=0\), such that the Bogomol’nyi-like equations for \(\phi ,C,\) and A are, respectively,
and the constraint equations for A and \(\phi \), respectively,
As an example we fix the functions \(C=r^2\) and \(\phi ={c_\phi \over r^p}\), with \(p>0\) and \(c_\phi \) is a real constant, such that \(X_a={1\over 2\sqrt{AB}}\) and \(X_\phi =p~\phi \sqrt{A\over B}\). Using these additional explicit functions of \(X_a\) and \(X_\phi \), the constraint equation (95) can be rewritten as
Furthermore we find that
whose solution is \(A={c_a\over B} e^{-p\phi ^2}\), with \(c_a\) is an integration constant. Without loos of generality we can set \(c_a=1\). On the other hand the constraint equation (96) can also be rewritten, by using \(V'(\phi )={V'(r)\over \phi '(r)}\), as
What remain to be solved are the constraint equations (51) and (99) whose solutions for \(p=1\) are given by,
with \(c_b>0\) and \(c_v<0\) are real constants. Here black hole solutions exist if \(c_\phi ^2c_v>-1\), with the effective cosmological constant \(\lambda =-{1+c_\phi ^2c_v\over c_b}\), and hence there are only asymptotically Anti-de Sitter black holes. These solutions are equal to solutions found in [35], for \(\Lambda =0\), and has been discussed there in great detail. For \(p=2\) and \(\Lambda =0\), the exact solutions are given by
where \(c_v>0\) and \(c_b\ne 0\) are real constants, with \(\text{ sign }(c_b)=\text{ sign }(c_\phi )\). The black holes exist if \(4c_v|c_\phi |<\sqrt{\pi }\), with the effective cosmological constant \(\lambda =-{4c_\phi c_v\over c_b}\), and thus again there are only asymptotically Anti-de Sitter black holes (Figs. 3, 4). Near the boundary, \(r\rightarrow \infty \), the solutions behave as
4 Remarks
The first important step in the BPS Lagrangian method is to determine the effective Lagrangian density. For general solutions, without a priori imposing any ansatz, the effective Lagrangian density is simply its original Lagrangian density multiplying with the square root of determinant of the metric tensor. However in many cases, such as discussed in this article, it is simpler to work on solutions under particular ansatz directly. In these cases we need to identify the effective Lagrangian density and its effective fields such that its Euler–Lagrange equations, for the effective fields, are effectively equal to the original Euler–Lagrange equations for the fundamental fields written under the corresponding ansatz. For the cases considered here the effective Lagrangian density for gravity parts are simply obtained by imposing the ansatz (27), after identifying the effective fields, into the action (26). Knowing the correct effective fields is important for deriving the constraint equations from the BPS Lagrangian density.
In the case of static spherically symmetric vacuum, in Sect. 2.1.2, and of electrovac, in Sect. 2.2, both solutions for B, (43) and (56) respectively, are given by the same function of C(r) and \(C'(r)\) while the remaining functions can be written as functions of C. Therefore once the function C is fixed the other functions can be determined completely. Taking \(C=r^2\) gives us the Schwarzschild and Reissner–Nordström black holes, and hence other solutions of C are related to those black holes. To see this, using (55) and (56), let us rewrite the metric (27), by taking \(C=\bar{c}^2\) and \(C'(r)^2 dr^2=4 \bar{c}^2 d\bar{c}^2\), to be
Here we have written the metric to be independent of radial coordinate. Suppose \(\bar{c}=r\) in a radial coordinate r such that the metric becomes Reissner–Nordström black hole (57) and in another radial coordinate R we have \(\bar{c}=f(R)\ne R\) such that the metric is given by another black hole
which is related to Reissner–Nordström black hole (57) by a radial coordinate transformation \(r=f(R)\). Here by using the BPS Lagrangian method we have shown a simple alternative proof of the black hole uniqueness theorems [36, 37]. A rather complete proof of those black hole uniqueness theorems would be done by considering all possible terms in the BPS Lagrangian density, \(\mathcal {L}_{BPS}\). In Sect. 3.1 we found that static spherically symmetric electrovac in higher dimensions \(n>4\) are completely solved in terms of functions C(r) and \(C'(r)\), and hence other solutions are related to the Tangherlini black holes in which we fixed \(C=r^2\). Again using similar arguments as in the four-dimensional case (Reissner–Nordström black hole), since B in (92) is equal to (56) up to a constant, we can show a simple (incomplete) proof of the black hole uniqueness theorem in higher dimensions as proposed in [38]. On the other hand, the solutions for \(V-\)scalar vacuum in section (2.3) can not be completely determined by functions C(r) and \(C'(r)\). Even after we fixed \(C=r^2\), we still need to fix the form of scalar field \(\phi (r)\) and then solve remaining first-order differential equations (70). One can easily check that the Schwarzschild black hole, with \(B=\left( 1-{r^2\over 3}\Lambda -{2M\over r}\right) ^{-1}\), is not solution to those first-order differential equations. This may show a violation of the black hole“no-scalar-hair” theorem formulated in [39]. The existance of these scalar hair black holes have been studied numerically for asymptotically flat metric, with \(\Lambda =0\), in [40,41,42]. In Sect. 2.3 we indeed found exact solutions of these scalar hair black holes given in (71). Although the scalar potential has similar profile, with negative value in whole space, as asymptotically AdS-black holes found in [43], we nevertheless able to show that there exist asymptotically flat black holes in the Einstein-scalar gravity (58). We also found exact solutions (103) of scalar hair black holes in three dimensional spacetime other then the one found in [35] for \(n=2\).
In this article, we only considered the BPS Lagrangian density that are linear in first-order derivative of the effective fields. The most general BPS Lagrangian density that we can consider, e.g. for the effective Lagrangian density (59), is
that would allow us to completing the square \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}\) in \(A'(r),B'(r),C'(r),\) and \(\phi '(r)\). However the maximum auxilliary functions \(X_{ijkl}\) that can be considered is five otherwise the set of equations could be underdetermined since there are only four constraint equations and one equation from the remaining terms in \(\mathcal {L}_{eff}-\mathcal {L}_{BPS}\) after competing the square. Using this general BPS Lagrangian density, we may able to obtain a relation for functions A and B, that is \(A=1/B\), which is usually assumed in some of literatures on scalar hair black holes [44].
The BPS Lagrangian opens up a new way to find gravity, or in particular black hole, solutions. We have shown in detail how this method works for Einstein gravity theory. With its systematic procedures, we believe the BPS Lagrangian method can be employed to find gravity solutions in modified gravity theories such as scalar–tensor, Bimetric, f(R), Hořava–Lifschitz, and others [45]. So far we have discussed only static spherically symmetric black hole solutions. One can also consider stationary black hole solutions by means of taking diagonal metric with an additional cross-term component \(dtd\varphi \) between the time t and the azimuthal angle \(\varphi \), or namely stationary spacetime in spherical-type coordinates, with all the metric components depend on the radial r and the polar \(\theta \) coordinates. In this way the effective Lagrangian density will depend on these two coordinates and so the BPS Lagrangian density. Since the uniqueness of stationary black hole has been long proven in [46,47,48], while the extended charge version in [49, 50], we expect to show similar conclusion using the BPS Lagrangian method. As we mentioned in the case of static spherically symmetric black holes, in the context of BPS Lagrangian method this uniqueness theorems indicated by all the metric components and the U(1) gauge field being functions of one of the metric components and its derivatives. Furthermore we need to check that different solutions are related by coordinate transformations. This will be done in the future work. Other application of the BPS Lagrangian method is to find BPS and non-BPS solutions in supersymmetric theories. An example of this has been shown in the case of \(\mathcal {N}=2\) Supersymmetric Baby–Skyrme model [51]. It will be interesting to extend its application to supergravity theories.
Data availability
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.]
Notes
In there they actually used Bogomol’nyi trick to the Lagrangian density, in similar fashion as the BPS Lagrangian method, and the resulting first-order differential equations were called BPS equations.
This form of BPS Lagrangian density will contain only the “boundary” terms if \(X_0=0, X_a={\partial Q\over \partial A}, X_b={\partial Q\over \partial B},\) and \(X_c={\partial Q\over \partial C}\).
References
E.B. Bogomolny, Stability of classical solutions. Sov. J. Nucl. Phys. 24, 449 (1976)
M.K. Prasad, C.M. Sommerfield, An exact classical solution for the ’t Hooft monopole and the Julia-Zee dyon. Phys. Rev. Lett. 35, 760 (1975). https://doi.org/10.1103/PhysRevLett.35.760
N.S. Manton, P. Sutcliffe, Topological Solitons (Cambridge University Press, 2007). http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521838363
E.J. Weinberg, Classical Solutions in Quantum Field Theory, Cambridge Monographs on Mathematical Physics (Cambridge University Press, 2012). http://www.cambridge.org/us/knowledge/isbn/item6813336/
E. Witten, D.I. Olive, Supersymmetry algebras that include topological charges. Phys. Lett. B 78, 97 (1978). https://doi.org/10.1016/0370-2693(78)90357-X
K. Sokalski, Instanton in Anisotropic Ferromagnets. Acta Phys. Pol. A 56, 571 (1979)
K. Sokalski, T. Wietecha, Z. Lisowski, A concept of strong necessary condition in nonlinear field theory. Acta Phys. Pol. B 32, 2771 (2001)
D. Bazeia, M.J. dos Santos, R.F. Ribeiro, Solitons in systems of coupled scalar fields. Phys. Lett. A 208, 84 (1995). https://doi.org/10.1016/0375-9601(95)00756-S. arXiv:hep-th/0311265
D. Bazeia, C.B. Gomes, L. Losano, R. Menezes, First-order formalism and dark energy. Phys. Lett. B 633, 415 (2006). https://doi.org/10.1016/j.physletb.2005.12.031. arXiv:astro-ph/0512197
D. Bazeia, L. Losano, R. Menezes, J.C.R.E. Oliveira, Generalized Global Defect Solutions. Eur. Phys. J. C 51, 953 (2007). https://doi.org/10.1140/epjc/s10052-007-0329-0. arXiv:hep-th/0702052
A.N. Atmaja, H.S. Ramadhan, Bogomol’nyi equations of classical solutions. Phys. Rev. D 90, 105009 (2014). https://doi.org/10.1103/PhysRevD.90.105009. arXiv:1406.6180 [hep-th]
A.N. Atmaja, H.S. Ramadhan, E. Hora, More on Bogomol’nyi equations of three-dimensional generalized Maxwell–Higgs model using on-shell method. J. High Energy Phys. 2016, 1 (2016). https://doi.org/10.1007/JHEP02(2016)117
C. Adam , F. Santamaria, The first-order Euler–Lagrange equations and some of their uses. JHEP 12, 047. https://doi.org/10.1007/JHEP12(2016)047. arXiv:1609.02154 [hep-th]
A.N. Atmaja, A method for BPS equations of vortices. Phys. Lett. B 768, 351 (2017). https://doi.org/10.1016/j.physletb.2017.03.007. arXiv:1511.01620 [hep-th]
A. Comtet, Magnetic monopoles in curved space-times. Ann. Inst. H. Poincare Phys. Theor. 32, 283 (1980)
A. Comtet, P. Forgacs, P.A. Horvathy, Bogomolny equations in curved space-time. Phys. Rev. D 30, 468 (1984). https://doi.org/10.1103/PhysRevD.30.468
P. Forgacs, Z. Horvath, P.A. Horvathy, Bogomolny type equations for gravitating gauged sigma models. Phys. Lett. B 340, 231 (1994). https://doi.org/10.1016/0370-2693(94)01294-6
P.M. Zhang, P.A. Horvathy, Bogomolny equations and conformal transformations in curved space. Phys. Rev. D 80, 127703 (2009). https://doi.org/10.1103/PhysRevD.80.127703. arXiv:0909.0346 [hep-th]
C.M. Miller, K. Schalm, E.J. Weinberg, Nonextremal black holes are BPS. Phys. Rev. D 76, 044001 (2007). https://doi.org/10.1103/PhysRevD.76.044001. arXiv:hep-th/0612308
A.N. Atmaja, On derivation of BPS equations of vortices in K-generalized Abelian-Higgs model. AIP Conf. Proc. 1862, 030012 (2017). https://doi.org/10.1063/1.4991116
A.N. Atmaja, I. Prasetyo, BPS equations of monopole and Dyon in \(SU(2)\) Yang–Mills–Higgs model, Nakamula–Shiraishi models, and their generalized versions from the BPS Lagrangian method. Adv. High Energy Phys. 2018, 7376534 (2018). https://doi.org/10.1155/2018/7376534. arXiv:1803.06122 [hep-th]
A.N. Atmaja, Searching for BPS vortices with nonzero stress tensor in the generalized Born–Infeld–Higgs model. Eur. Phys. J. Plus 135, 619 (2020). https://doi.org/10.1140/epjp/s13360-020-00645-9. arXiv:1807.01483 [hep-th]
L.Y. Prasetya Tama, B.E. Gunara, A.N. Atmaja, Electric-dual BPS vortices in the generalized self-dual Maxwell–Chern–Simons–Higgs model. Phys. Scr. 98, 025208 (2023). https://doi.org/10.1088/1402-4896/acb17c. arXiv:2106.08614 [hep-th]
A.N. Atmaja, B.E. Gunara, I. Prasetyo, BPS submodels of the generalized Skyrme model and how to find them. Nucl. Phys. B 955, 115062 (2020). https://doi.org/10.1016/j.nuclphysb.2020.115062. arXiv:1902.02988 [hep-th]
E.S. Fadhilla, B.E. Gunara, A.N. Atmaja, BPS Skyrme submodels of the five-dimensional Skyrme model. JHEP 07, 090. https://doi.org/10.1007/JHEP07(2021)090. arXiv:2010.03226 [hep-th]
E.S. Fadhilla, B.E. Gunara, A.N. Atmaja, BPS skyrmions of generalized Skyrme model in higher dimensions. JHEP 08, 260. https://doi.org/10.1007/JHEP08(2022)260. arXiv:2108.08694 [hep-th]
A.N. Atmaja, Are there BPS dyons in the generalized SU(2) Yang–Mills–Higgs model? Eur. Phys. J. C 82, 602 (2022). https://doi.org/10.1140/epjc/s10052-022-10569-6. arXiv:2002.09123 [hep-th]
G. ’t Hooft, Magnetic monopoles in unified gauge theories. Nucl. Phys. B 79, 276 (1974). https://doi.org/10.1016/0550-3213(74)90486-6
A.M. Polyakov, Particle spectrum in the quantum field theory. JETP Lett. 20, 194 (1974). [Pisma Zh. Eksp. Teor. Fiz. 20, 430 (1974)]
B. Julia, A. Zee, Poles with Both magnetic and electric charges in nonabelian gauge theory. Phys. Rev. D 11, 2227 (1975). https://doi.org/10.1103/PhysRevD.11.2227
J.W. York Jr., Role of conformal three geometry in the dynamics of gravitation. Phys. Rev. Lett. 28, 1082 (1972). https://doi.org/10.1103/PhysRevLett.28.1082
G.W. Gibbons, S.W. Hawking, Action integrals and partition functions in quantum gravity. Phys. Rev. D 15, 2752 (1977). https://doi.org/10.1103/PhysRevD.15.2752
F.R. Tangherlini, Schwarzschild field in n dimensions and the dimensionality of space problem. Nuovo Cim. 27, 636 (1963). https://doi.org/10.1007/BF02784569
H. Kodama, A. Ishibashi, Master equations for perturbations of generalized static black holes with charge in higher dimensions. Prog. Theor. Phys. 111, 29 (2004). https://doi.org/10.1143/PTP.111.29. arXiv:hep-th/0308128
T. Karakasis, G. Koutsoumbas, E. Papantonopoulos, Black holes with scalar hair in three dimensions. Phys. Rev. D 107, 124047 (2023). https://doi.org/10.1103/PhysRevD.107.124047. arXiv:2305.00686 [gr-qc]
W. Israel, Event horizons in static vacuum space-times. Phys. Rev. 164, 1776 (1967). https://doi.org/10.1103/PhysRev.164.1776
W. Israel, Event horizons in static electrovac space-times. Commun. Math. Phys. 8, 245 (1968). https://doi.org/10.1007/BF01645859
S. Hollands, A. Ishibashi, Black hole uniqueness theorems in higher dimensional spacetimes. Class. Quantum Gravity 29, 163001 (2012). https://doi.org/10.1088/0264-9381/29/16/163001. arXiv:1206.1164 [gr-qc]
J.D. Bekenstein, Novel “no-scalar-hair’’ theorem for black holes. Phys. Rev. D 51, R6608 (1995). https://doi.org/10.1103/PhysRevD.51.R6608
U. Nucamendi, M. Salgado, Scalar hairy black holes and solitons in asymptotically flat space-times. Phys. Rev. D 68, 044026 (2003). https://doi.org/10.1103/PhysRevD.68.044026. arXiv:gr-qc/0301062
X.Y. Chew, D.-H. Yeom, J.L. Blázquez-Salcedo, Properties of scalar hairy black holes and scalarons with asymmetric potential. Phys. Rev. D 108, 044020 (2023). https://doi.org/10.1103/PhysRevD.108.044020. arXiv:2210.01313 [gr-qc]
X.Y. Chew, K.-G. Lim, Scalar hairy black holes with inverted mexican hat potential (2023). arXiv:2307.13972 [gr-qc]
P.A. González, E. Papantonopoulos, J. Saavedra, Y. Vásquez, Four-dimensional asymptotically AdS black holes with scalar hair. JHEP 12, 021. https://doi.org/10.1007/JHEP12(2013)021. arXiv:1309.2161 [gr-qc]
C.A.R. Herdeiro, E. Radu, Asymptotically flat black holes with scalar hair: a review. Int. J. Mod. Phys. D 24, 1542014 (2015). https://doi.org/10.1142/S0218271815420146. arXiv:1504.08209 [gr-qc]
T. Clifton, P.G. Ferreira, A. Padilla, C. Skordis, Modified gravity and cosmology. Phys. Rep. 513, 1 (2012). https://doi.org/10.1016/j.physrep.2012.01.001. arXiv:1106.2476 [astro-ph.CO]
S.W. Hawking, Black holes in general relativity. Commun. Math. Phys. 25, 152 (1972). https://doi.org/10.1007/BF01877517
B.D. Carter, Black hole equilibrium states ( 1973)
D.C. Robinson, Uniqueness of the Kerr black hole. Phys. Rev. Lett. 34, 905 (1975). https://doi.org/10.1103/PhysRevLett.34.905
P.O. Mazur, Proof of uniqueness of the Kerr–Newman black hole solution. J. Phys. A 15, 3173 (1982). https://doi.org/10.1088/0305-4470/15/10/021
G.L. Bunting, Proof of the uniqueness conjecture for black holes, Ph.D. thesis, University of New England, Armidale ( 1983)
E.S. Fadhilla, A.N. Atmaja, B.E. Gunara, M. Faizal, A Novel Method to obtain Topologically Stable BPS and Non-BPS States (2023). arXiv:2310.10484 [hep-th]
Acknowledgements
We would like to acknowledge support from the ICTP through the Associates Programme (2018-2023).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Code availability
This manuscript has no associated code/software. [Authors’ comment: Code/Software sharing not applicable to this article as no code/software was generated or analysed during the current study.]
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
Atmaja, A.N. Bogomol’nyi-like equations in gravity theories. Eur. Phys. J. C 84, 456 (2024). https://doi.org/10.1140/epjc/s10052-024-12809-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-024-12809-3