Abstract
A method to construct interior axially symmetric metrics that appropriately match with any vacuum solution of the Weyl family is developed in Hernández-Pastora et al. (Class Quantum Gravity 33:235005, 2016). It was shown, for the case of some vacuum solutions, that the simplest solution for the interior metric leads to sources with well-behaved energy conditions. Now, we integrate the field equations to obtain the interior metric functions in terms of the anisotropies and pressures of the source. As well, the compatible equations of state for these global models are calculated. The interior metric and the suitable energy–momentum tensor describing the source are constructed in terms of the exterior metric functions. At the boundary of the compact object, the behaviour of a pressure \(T_m\), defined from the energy–momentum tensor, is shown to be related with the exterior gravitational field. This fact allows us to explore the differences arising at the matter distribution when the spherical symmetry of the global metric is dropped. Finally, an equation derived from the matching conditions is obtained which allows us to calculate the Weyl coefficients of the exterior metric as source integrals. Hence the Relativistic Multipole Moments of the global model can be expressed in terms of the matter distribution of the source.
Similar content being viewed by others
1 Introduction
The Einstein’s field equations on the inside of any compact object establish a relation between the matter content of the source and the interior metric, which is referred to as the interior solution; whereas the vacuum field equations provide us with the suitable exterior metrics, compatible with the symmetry of the problem and matching appropriately with the interior metric, which allows us to describe the gravitational field of the source. The aim of this work consists on establishing, beyond the requirements of the matching conditions, a precise relation between the exterior metric and the interior solution, or in other words the gravitational field and the energy–momentum tensor of the source. I want to focus on the exterior solution to construct from it the global metric as well as the suitable matter contents of the source.
Starting from some particular interior solution for a relativistic source describing a compact stellar object, its exterior gravitational field is unique, and it is given by a solution of the Einstein’s vacuum field equations. If we restrict ourselves to the case of axially symmetric metrics then that solution belongs to the Weyl family [1]. The detailed analysis of this exterior metric provides a large amount of information about the source; this is the aim of many research papers devoted to describe the physics of point mass particles in the presence of the gravitational field. For example the study of the gyroscopic precession [2,3,4] allows to distinguish gravitational fields, as well as the study of circular orbits [5], gravitational radiation [6] or collapse processes [7]. Another fruitfull technique is based on the use of the Relativistic Multipole Moments (RMM) [8,9,10,11,12] to describe the gravitational field within their gravitational effects on the test particles.
On the contrary, and unlike the vacuum case, the Einstein’s fied equations on the inside of the source show a much richer scenario, in the following sense: if one starts with a known exterior metric and try to obtain a source, then a lot of possible solutions, not only for the interior metric but for different matter distributions, can be managed. The most common procedure to face this fact leading to obtain global models of self graviting compact objects, defines a working direction from the inside to the outside. It is to say, the process of solving starts in the interior field equations compatibles with different matter distributions and/or any symmetry considerations and culminates with the suitable exterior Weyl metric matching appropriately at the boundary of the object.
This dynamic of work was recently reversed in [13, 14] where authors calculate interior metrics successfully matching with either any of the Weyl family vacuum solutions or stationary axially solutions (in particular the Kerr solution). The relevance of this result becomes highlighted in view especially of the fact that the interior line element is constructed in terms of the exterior metric functions evaluated at the boundary, in such a way that both the metric and the energy–momentum tensor are related with the gravitational field. In addition, the RMM arise as physical parameters related with the source. This is the aim of the work in [15] where the RMM are defined as quantities calculated from volume integrals trying to generalize the Newtonian Multipole moments defined in Classical Gravity. Another interesting result is [16] where volume integral expressions are obtained to construct the RMM.
In [13] it was shown that, for some Weyl exterior solutions (specifically the Zipoy-Vorhees [17, 18] and the Monopole-Quadrupole solutions [19, 20]) the interior metric obtained with the minimum requirements of the matching restrictions derived from the procedure (i.e., by taking the functions \({\mathbb {F}}={\mathbb {G}}=0\), see [13] for details) lead to suitable configurations of the energy–momentum tensor \(T_{\mu \nu }\) with a good physical behaviour.
In the work that I am introducing now we are able to integrate the Einstein’s axially symmetric field equations providing the interior metric functions in terms of the matter content. The matching conditions along with the field equation themselves impose a set of restrictions on the energy–momentum tensor \(T_{\mu \nu }\). Therefore, each one of the exterior gravitational field delimits/ reduces/ constrains /restricts the suitable behaviours of the matter distribution (pressures, anisotropies and equation of state EoS). Global solutions to the gravitation of a compact object connect both the interior and the vacuum metric with the source, and the more relevant feature of this fact is, in my opinion, that it allows us to relate the exterior gravitational field with the energy–momentum tensor \(T_{\mu \nu }\) of the compact object.
It is not true that any \(T_{\mu \nu }\) is able to integrate the field equations providing a successful metric inside the source, but indeed a suitable matching with some exterior Weyl solution is even more difficult to obtain. The result that we are introducing now is the possibility of knowledge from the gravitational field about the physics of the source by means of the behaviour that the physical parameters of that object must satisfy to be considered the source of that field. This result provides more information about the source beyond the symmetries of the problem and it constrains the physics of the object that is generating such gravitational field. In particular the RMM structure of the source is connected with those quantities defined within the exterior metric [12]. A collateral conclusion of this procedure leads to get the set of the Weyl coefficients by means of volume integrals over the source, which allows us to construct the RMM in terms of the matter distribution.
To achieve the main goal of this work, we shall extensively use the general method to construct global static axially symmetric solutions to Einstein equations deployed in [13]. A very brief review of this method is presented in the next section, all the details may be found in that reference.Footnote 1 The aim of this paper is to integrate the field equations in order to obtain the interior metric functions in terms of the energy–momentum tensor of the source. Solutions for spherical as well as non-spherical sources are found, and they are related with the anisotropies of the sources. Compatible equations of state are determined.
2 The global static and axisymmetric metric in the Erez–Rosen coordinates
We shall write the global static and axisymmetric line element in the Erez–Rosen coordinates:
where the metric functions, which depend on r and \(\theta \), are defined as follows
\(r=r_{\Sigma }\) being the boundary surface of the source for a constant value \(r_{\Sigma }\), M denotes the mass in the Schwarzchild space-time, \(\displaystyle {A\equiv 1-\frac{2Mr^2}{r_{\Sigma }^3}}\), \(Z=\frac{3}{2} \sqrt{A( r_{\Sigma })}-\frac{1}{2} \sqrt{A}\) and \(\psi \), \(\gamma \) are any metric functions of the Weyl family of vacuum solutions, \({\hat{\gamma }}\equiv \gamma -\gamma _s\), \({\hat{\psi }}\equiv \psi -\psi _s\), \(\gamma _s\), \(\psi _s\) being the metric functions corresponding to the Schwarzschild solution, and \({{\hat{a}}}\), \({{\hat{g}}}\) are suitable functions constructed in [13] in order to guarantee a good physical behaviour of the energy–momentum tensor and the matching (Darmois) conditions [21].
The interior metric function \({{\hat{a}}}=a-a_s\) is constructed in such a way that \(a(r_{\Sigma })=\psi (r_{\Sigma })\), \(a_s(r_{\Sigma })=\psi _s(r_{\Sigma })\), also \({{\hat{g}}}=g-g_s\) is such that \(g(r_{\Sigma })=\gamma (r_{\Sigma })\), \(g_s(r_{\Sigma })=\gamma _s(r_{\Sigma })\), together with the condition that the corresponding derivatives with respect to the radial variable of both \({{\hat{a}}}\) and \({{\hat{g}}}\) equal the derivatives of the exterior metric functions \(\psi \), \(\gamma \) at the boundary.
The general solution for the exterior metric function is given by the Weyl family in the Erez–Rosen representation [22,23,24]
where \(P_n(\cos \theta )\) are Legendre Polynomials, \(Q_n(y)\) are Legendre functions of second kind and \(q_n\) a set of arbitrary constants. The relationship between the canonical Weyl coordinates \(\lbrace R, \omega \rbrace \), and the Erez–Rosen \(\lbrace r, y=\cos \theta \rbrace \) system is as follows
In addition, to guarantee a good behaviour of the physical variables at the center of the matter distribution we shall demand:
where prime denotes derivative with respect to r, and the subscript 0 indicates that the quantity is evaluated at the origin of coordinates. Then all the above conditions lead to the following expressions for the interior metric functions (the subscript \(\Sigma \) denotes that the function is evaluated at \(r=r_{\Sigma }\))
with \(s\equiv r/r_{\Sigma } \in \left[ 0,1\right] \) and \({\mathbb {F}},{\mathbb {G}}\) are arbitrary functions with the following behaviour at both extremes of the interval, i.e., at the center and the boundary:
These metric functions, satisfy the junction conditions and generate physical variables which are regular within the fluid distribution. Furthermore the vanishing of \({{\hat{g}}}\) on the axis of symmetry, as required by the regularity conditions, necessary to ensure elementary flatness in the vicinity of the axis of symmetry, and in particular at the center, is assured by the fact that \(\hat{\gamma }_{\Sigma }\) and \({{\hat{\gamma }}}^{\prime }_{\Sigma }\) vanish on the axis of symmetry.
Even more, at this level of generality we can assure that the junction conditions imply the vanishing of the radial pressure \((P_{rr}\equiv g_{rr}T^1_1)_{\Sigma }=0\) at the boundary, and it can be shown that \(T_1^2\) vanishes on the boundary surface as well [13].
For the special case \({{\hat{a}}}={{\hat{g}}}=0\) we recover the spherical perfect fluid with isotropic pressures scenario:
Thus, the global line element (1) describes in the vacuum any solution of the Weyl family (\(\psi , \gamma \)) and a good behaved interior solution with an isotropic perfect fluid limit when the matching is performed with the Schwarzschild space–time. In [13] the case \({\mathbb {F}}={\mathbb {G}}=0\) was studied for some examples, in particular the resulting sources for the exterior field of the \(\hbox {MQ}^{1}\) [20] and Zipoy-Vorhees [17, 18, 25] solutions.
Now, the point is that, for any exterior gravitational field an infinite number of sources exist. Accordingly the obvious questions arises: how can we restrict the possible sources of a given exterior solution belonging to the Weyl family?, Can we use our knowledge of the exterior gravitational field to constrain the energy–momentum tensor \(T_{\mu \nu }\)?
In what follows we shall see how to answer to the above questions by integrating the field equations in order to obtain the interior metric functions in terms of the tensor \(T_{\mu \nu }\). It may be used to limit the possible sources for any Weyl solution. The resulting constraints may be interpreted in terms of specific restrictions on the equation of state of the source and its anisotropies. At the same time, once we set a physical configuration of the source compatible with the field equations, the geometry of the source is described in terms of that physics of the source and the exterior gravitational field.
3 The field equations
From the line element (1), the non-vanishing components of the energy momentum tensor are related with the interior metric functions as follows (see [13] for detailsFootnote 2):
where the following notation has been used \(\displaystyle {\kappa \equiv \frac{e^{2{{\hat{a}}}-2{{\hat{g}}}}}{8 \pi }}\), superscripts \((\dot{\ })\) and \((\ddot{\ })\) denote first and second derivatives respectively with respect to angular variable \(\theta \), and \(\Delta \) denotes the Laplacian operator with axial symmetry:
In the general axially symmetric case there are three independent pressures, as can be deduced from the eigenvalues \(\lambda \) of the tensor \(T_{\mu \nu }\):
where \(\lambda _0\) is related to the density and \(\lambda _3\), \(\lambda _{\pm }\) represent the three pressures. From above (10) and by taking into account that \(\lambda _{\pm }=\lambda _3+k\Pi _{\pm }\), with \(\Pi _{\pm }\equiv {{\hat{p}}}_{zz}\pm \sqrt{{{\hat{p}}}_{xx}^2+{{\hat{p}}}_{xy}^2\frac{A}{r^2}}\) then we can introduce the three independent anisotropies: \(\left( \kappa \Pi _{\pm },2 \sqrt{{{\hat{p}}}_{xx}^2+{{\hat{p}}}_{xy}^2\frac{A}{r^2}}\right) \). Nevertheless, it is preferable to redefine the anisotropies we will work with onwards by rewriting the field equations in terms of them as follows:
where the notation \(T_m\equiv \frac{T_1^1+T_2^2}{2}\) is used and \(\Pi _{ij}\equiv T_i^i-T_j^j\), \(\Pi _{xy}\equiv T_1^2\). The above four equations (11) together with the following relation obtained from the sum \(T_1^1+T_2^2\):
become into the new five field equations, equivalent to the set (8), which will be used from now onwards. The last one of the Eq. (11) provides the equation of state (EoS) and the other ones the three independent anisotropies \(\Pi _{31}, \Pi _{23},\Pi _{xy}\). Let us note that the anisotropy \(\Pi _{21}=T_2^2-T_1^1\) is not independent one since it is a linear combination of the two first equations (11). With respect to the sum of the other components of the tensor \(T_{\mu }^{\nu }\) we have \(T_1^1+T_3^3=2 T_m-\Pi _{23}\) and \(T_2^2+T_3^3=2 T_m+\Pi _{31}\).
When the particular spherical case is regarded then \({{\hat{a}}}={{\hat{a}}}(r), {{\hat{g}}}={{\hat{g}}}(r)\), and the following equation is obtained from (8)
where \({\displaystyle t(r)\equiv \frac{{{\hat{g}}}^{\prime }}{8\pi r^2}e^{2{{\hat{g}}}-2{{\hat{a}}}}}\). Therefore, we must take \(t(r)=0\) if we want to avoid infinite pressures at the symmetry axis (\(\theta =0\)), or in other words we must consider a vanishing component \(T_1^2\) of the energy–momentum tensor. Hence, the spherical case implies \({{\hat{g}}}^{\prime }=0\), which together with the matching conditions (6) is equivalent to \({{\hat{g}}}=0\). In addition, for this case we have that \({{\hat{p}}}_{xx}=-{{\hat{p}}}_{zz}\) and then \(T_2^2=T_3^3\), which means that only two independent pressures exist in this case namely \(T_1^1\) and \(T_2^2\). Those pressures are used to be denoted in literature as \(p_r\) (radial pressure) and \(p_{\bot }\) ( tangential pressure) whenever the spherical gauge is used for the coordinates (those coordinates preserve the angular part of the metric in the form \( r^2 d\theta ^2+r^2\sin ^2\theta d\phi ^2\)). In such system of coordinates we have that \(T_1^2=0\), \(T_1^1=8\pi p_r\) y \(T_2^2=T_3^3=8\pi p_{\bot }\).
In conclusion, no matter the system of coordinates we were using, the spherical case leads to a unique independent anisotropy \(p_r-p_{\bot }\), which corresponds to \(\Pi _{31}\) in our notation (since \(\Pi _{31}=\Pi _{21}\) and \(\Pi _{23}=0\)) with the following field equation:
4 The solutions for the metric functions
We proceed now to integrate the Eqs. (11, 12). Let us note that the Eq. (12) allows us to establish a relation between both interior metric functions as follows:
4.1 Isotropic and anisotropic spherical sources
All the spherical sources only match with the Schwarzschild exterior metric. Since \({{\hat{a}}}={{\hat{a}}}(r)\), and we have constructed the metric functions as follows (5)
then, \(a_E=g_E=0\) and \({{\hat{a}}}={\mathbb {F}}(r)\). Since both \(T_1^2\) and \({{\hat{g}}}\) vanish as we have explained before, the remaining field equations (11, 12) are obtained from (15) and (14) as follows:
and along with the last equation of (11) (EoS) that we shall analyze in the next section.
On the one hand, the isotropic perfect fluid case requires \({{\hat{p}}}_{xx}=-{{\hat{p}}}_{zz}=0\) leading to \(T_1^1=T_2^2=T_3^3\). The only possible solution satisfying at the same time the junction conditions, is \({{\hat{a}}}={\mathbb {F}}=0\), and therefore we get from (18) the vanishing of the anisotropy \(\Pi _{31}=0\). Hence, the isotropic perfect fluid limit stands for \(T_m=P\).
On the other hand, the anisotropic case establishes the following relation between pressures P, \(T_m\) and the anisotropy \(\Pi _{31}\) (18):
4.2 Non-spherical sources
From the previous first three field equations (11) we obtain, by taking into account the Eq. (15), the following set of non-linear partial differential equations involving the metric function \({{\hat{a}}}\):
where the following notation has been used
Now we take the first of the Eq. (20) multiplied by a factor \(Ar^2\) and subtract the second of those equations, and then an equivalent system of equations can be obtained as follows:
with the notation
and the partial derivatives of the metric function \({{\hat{a}}}\) have been redefined by means of introducing a new function h as follows:
This fact is possible because \(x=x(r)\) and \(\xi =\xi (\theta )\), and hence the integrability condition for both \({{\hat{a}}}\) and h remains unchanged.
(A) One way to obtain a solution of the system of equation (23) consists on extracting the partial derivative \(\dot{h}\) from the second equation and putting it into the first one, leading to the following bicuadratic equation for the partial derivative \(h^{\prime }\) as follows:
whose four admissible solutions are
From all this set of solutions only one of them is suitable for our purposes since the sign inside the root in (27) must be taken positive to preserve a real solution because \(\Lambda ^2+4Ar^2\Omega ^2>\Lambda ^2\) (\(A>0\)). And with respect to the global sign in (27) it must be taken negative to satisfy the boundary conditions as we shall see in the Appendix. Also the integrability condition for the function h shall be discussed therein, once the system of equation (23) becomes the following system:
where H is the real and compatible solution of the bicuadratic equation (27) considered as follows
(B) Another way of writing the solution of the system of equation (23) comes from the complex equation obtained by adding the first equation of that system to the second one multiplied by the complex factor \(i\ 2r\sqrt{A}\):
in such a way that the real and imaginary parts of the two complex roots of the right-hand side of Eq. (30) can be identified with the partial derivatives \(r\sqrt{A} h^{\prime }\) and \({\dot{h}}\) respectively, i.e.,
where \({\displaystyle S\equiv \Lambda ^2+4Ar^2\Omega ^2}\), and \({\displaystyle \phi \equiv \frac{1}{2} \arctan (u) }\) with \({\displaystyle u\equiv \frac{2r\sqrt{A}\Omega }{\Lambda }}\). These expressions in (31) exactly recover the Eq. (28) if the following trigonometric relations are considered
With respect to the Eq. (22) it becomes a partial differential equation for the functions \(\Lambda \) and \(\Omega \) once we put into it the solution (29). Nevertheless, the resolution of that equation together with the integrability condition of (28) is an extremely difficult task to do. For convenience, we can consider both the Eq. (22) and the integrability condition equation (96) as partial differential equations for two independent functions, namely \(\Sigma _{\pm } \equiv \sqrt{\pm \Lambda +\sqrt{S}}\) instead of \(\Lambda \) and \(\Omega \), as follows:
where \({\hat{\beta }}\equiv \beta +d(r,\theta )\). Once a solution for \(\Sigma _{\pm }\) has been obtained, then \(\Lambda \) and \(\Omega \) are calculated in terms of it. Let us use \(\sqrt{v_{\pm }}\) to denote particular solutions for \(\Sigma _{\pm }\) respectively, and therefore \(v_{+}+v_{-}=2\sqrt{S}\) and \(v_{+}-v_{-}=2\Lambda \). Consequently,
We proceed to solve the pair of above Eqs. (34) and (35) by means of the achievement of \(\Sigma _{-}\) in terms of the other function \(\Sigma _{+}\). The consistency of that system of equations (34) and (35) holds iff the following condition is satisfied by \(\Sigma _{+}\):
with the notation
Therefore we need to solve the Eq. (37) for \(\Sigma _{+}\) with the appropriated boundary conditions (82), (85), and afterwards the function \(\Sigma _{-}\) is obtained as the general solution of the system of equations (34) and (35) as follows
In the section VI we shall show a suitable solution for the function \(\Sigma _{+}\) and we obtain from the above general equations a sample model for the interior metric functions, anisotropies and pressure compatible with the exterior gravitational field.
Finally, once both the integrability condition \( \partial _{\theta }(h^{\prime })=\partial _r({\dot{h}})\) and the Eq. (22) have been impossed on the function H, then the metric function \({\mathbb {F}}\) is integrated as follows
since \({\mathbb {F}}^{\prime }= -a_{E}^{\prime }-x+h^{\prime }\). The explicite equation (96) derived from the integrability condition is obtained in the Appendix.
5 Constraints and equations of state
5.1 The spherical case
In this particular case, we are only constrained by the boundary conditions regarding the metric function \({\mathbb {F}}\) (6), which implies that (see Eq. (17)) the pressure \(T_m\) behaves just like P at the extremes of the interval \([0,r_{\Sigma }]\), i.e.,
The same conclusion is derived for the respective derivatives because the derivative of Eq. (17) and the previous conclusion (40) lead to
The equation of state (EoS) for this case can be obtained by putting the solution (17) and \({{\hat{g}}}=0\) into the fourth equation (11), in such a way that
and hence the EoS proves to be
Let us note that the EoS of the isotropic case, \(\rho =\mu \), is recovered if we take \(T_m=P\) not only at the extremes but everywhere in \([0,r_{\Sigma }]\).
5.2 The non-spherical case
In the general axially symmetric case we have to take into account the boundary conditions for both \({\mathbb {F}}\) and \({\mathbb {G}}\), and the requirements of the integrability condition in (28) or (31). Let us address the details of the analysis to the Appendix, since we obtain a great amount of information about that, and we summarize here the results obtained therein:
The pressure \(T_m\) compatible with the solution obtained for the metric functions has to verify the following behaviour at the boundary \(r_{\Sigma }\) (see Eqs. (77)–(79) in Appendix):
As can be seen these relevant expressions allow us to relate the derivatives of the pressure \(T_m\) (at the surface of the compact object) with the exterior gravitational field. Besides, those expressions show the different behavior arising for the energy–momentum tensor when non-spherical symmetry is considered from outside, i.e., only if we consider Schwarzschild metric as the exterior gravitational field then we can see from (45) and (46) that pressure \(T_m\) behaves in the same way as P in the boundary and we recover the expressions of the spherical case (41).
With respect to the behaviour of \({\mathbb {F}}\) and \({\mathbb {G}}\) at the origin, it was required in [13] to obtain components of the energy–momentum tensor without divergencies at the center of the compact object. But in this work we are calculating the metric functions in terms of those components of the tensor and hence the conditions on the origin can be disregarded. Nevertheless, at the Appendix we have applied these conditions to the functions \({\mathbb {F}}\) and \({\mathbb {G}}\) leading to the following results (from Eq. (77)):
Some comments must be outlined about these results. Firstly, by contrast with the behaviour at the boundary, the pressure \(T_m\) at the origin does not depend on the exterior gravitational field. Whatever the exterior metric has been matched with the source, \(T_m\) behaves appropriately at the origin in either non-spherical case or in the spherical scenario, and the unique difference between both scenarios arises at the derivative \(\partial _{\theta }T_m\) (52). Equations (51) and (52) hold that the angular derivative of the pressure \(T_m\) evaluated at the origin is an infinitesimal of second order and the coefficient of that order is related with the value at the origin of the anistropies \(\Pi _{31}+\Pi _{23}\), i.e.,
Secondly, let us note that the above Eqs. (49), (50) and (51) do not imply any restriction on the anisotropies since the functions \(\Lambda \) and \(\Omega \) evaluated on both extremes of the interval \([0,r_{\Sigma }]\) do not involve them as can be seen from the equations (24), (21). Hence, on despite of the above conclusion (53), the anisotropies are free to verify the equation derived from the integrability condition of (28) which is evaluated at the Appendix leading to the equivalent equations (93), (95), (96). These equations can not be solved in the general case, but a solution of them is always possible since the functions \(\Lambda \) and \(\Omega \) depend arbitrarily on three independent functions \(\Pi _{31}\), \(\Pi _{23}\), \(\Pi _{xy}\). Hence, the integrability condition and the Eq. (22) establish a relation between the anisotropies and the pressure \(T_m\). In the following section we shall illustrate these results with a simple model by means of a particular solution of the whole system of equations (22), (23).
In addition, we obtain an equation that allows us to calculate the Weyl coefficients (in the Erez–Rosen representation) \(q_n\) of the exterior gravitational field (2) as an integral over the source. Since the RMM (Relativistic Multipole Moments) are contracted as certain combinations of those Weyl coefficients, this result seems to be suitable in order to establish a relation between the RMM and the source. Another authors have been working in this issue (see [16] and references therein, [15]). We can integrate the Eq. (86) in the angular variable as we show now and use the known expression (2) for the metric function \(\psi \) in Erez–Rosen coordinates (assuming equatorial symmetry) to obtain
where the orthogonality condition of the Legendre polynomials \(P_{2n}(y)\) has been used and \(Q_{2n}|_{\Sigma }\equiv Q_{2n}(r_{\Sigma }/M-1)\) denote the Legendre functions of second kind evaluated at the boundary. Taking into account that x does not depend on the angular variable and hence its angular integration vanishes we have for \(k>0\) that
Henceforth we can evaluate the Weyl coefficients as integrals over the source. Since we know the explicit expressions of the RRM in terms of those coefficients [26] we are able to obtain integral expressions extended over the source leading to connect those quantities with the interior extructure of the source. For example the quadrupole moment Q of any axially symmetric solution with equatorial symmetry is known [19, 26] to be \({\displaystyle Q=\frac{1}{3}a_0^3-a_2}\), \(a_i\) being the Weyl coefficients in Weyl coordinates or equivalently \({\displaystyle Q=\frac{2}{15} q_2}\), \(q_i\) being the coefficient of the Erez–Rosen family [22,23,24, 26] of axially symmetric solutions, since the relation between both sets of parameters is known [26]: \({\displaystyle a_0=-M, a_2= -M^3\left( \frac{1}{3} q_0+\frac{2}{15} q_2\right) }\) (where \(q_0\) is taken to be equal to one for solutions of the Erez–Rosen family with spherical limit of Schwarzschild). Therefore, from (55) the relativistic quadrupole moment can be obtained by the following integral equation
with \({\displaystyle Q_2 |_{\Sigma }=\frac{3(r_{\Sigma }-M)^2-M^2}{4M^2} \ln (A_{\Sigma })-\frac{3}{2}\frac{r_{\Sigma }-M}{M} }\).
Let us note the relevance of this integral equation since it shows the contribution of the internal structure of the source, in particular the anisotropies and the pressure \(T_m\) (involved in H) to conform the quadrupole moment of the solution.
Finally, we address the issue of the EoS for these global models. From the last equation of (11) and by using the relation between the metric functions (15) we conclude that
where the following notation is used
and the derivatives of the metric function \({{\hat{a}}}\) are given by the expressions in (25), i.e., \( {\displaystyle {{\hat{a}}}^{\prime }=-x(r)+h^{\prime }=-x-\frac{\Sigma _+}{r\sqrt{2A}}}\), \({\displaystyle \dot{{{\hat{a}}}}=-\xi (\theta )-\frac{\Sigma _{-}}{\sqrt{2}}} \). After an easy but cumbersome calculation, the EoS relating the density \(\rho \) of the source with the pressure \(T_m\) and anisotropies can be expressed as follows:
6 Sample models
As an example to illustrate the procedure, we provide in this section specific expressions for the metric functions as well as anisotropies of the source describing suitable models.
Firstly we need to solve the equation for the function \(\Sigma _+\) along with its corresponding boundary conditions. The boundary conditions established for \({\mathbb {F}}\) and \({\mathbb {G}}\) (see Eqs. (82), (85)) lead to the following behaviour for the function \(\Sigma _{+}\):
A suitable analytical solution for the function \(\Sigma _{+}\) can be obtained by means of the following expression
where \(W(r,y\equiv \cos \theta )\) is a solution of the following equation derived from (37)
with the corresponding boundary conditions derived from (60):
and
An appropriate solution for W can always be obtained since the function \(\beta ^{+}\) contains the anisotropy \(\Pi _{31}\) (see Eq. (21)) which is a function free of constraints. Therefore, we propose a suitable function W verifying the boundary conditions (63) as well as the required for satisfying (86) when the integration (39) were performed, and then the necessary anistropy \(\Pi _{31}\) is obtained from (62). Let us proceed now to calculate the required function W from the explicite integration of equation (39) with the function (61), which leads to
with
\(\tau \equiv r_{\Sigma }/M\) being the compression parameter of the source, which is restricted to be \(\tau >8/3\) by the strong energy condition \(P<\mu \) (see [13] for details), and hence, in addition to the boundary conditions (63), W must be a function satisfying
where \(V_0\equiv V(r=0)\) and \(V_{\Sigma }\equiv V(r=r_{\Sigma })\).
The conditions (63), (67) require that the function W be as follows:
where the functions \(\nu _1^{\prime }\) and \(\nu _2^{\prime }\) are the derivatives of instrumental functions in the radial variable defined by the following behaviour:
The calculation of these functions is addressed to the Appendix.
With the function W in (68), the anistropy \(\Pi _{31}\) is constrained by the Eq. (62), since \(\beta ^{+}\) for this model must be equal to
and hence
with the notation \({\displaystyle d(r,\theta )=-\frac{4\pi P}{A T_m}\Pi _{31}+ d^+}\) (see Eq. (21)).
In order to show a complete description of the model we shall calculate now the functions \(\Lambda \) and \(\Omega \) from (36) which allows us to determine the other anisotropies \(\Pi _{23}\), \(\Pi _{xy}\) (see the notation in Eq. (24)):
And finally, the metric functions and the EoS have the following expressions:
Let us note that this expression is the generalization of the special case \({\mathbb {F}}=0\) considered in [13], where only the termFootnote 3 \(a_E= \nu _1 {{\hat{\psi }}}_{\Sigma }+ \nu _2 {{\hat{\psi }}}^{\prime }_{\Sigma }\) was used to define \({{\hat{a}}}\). In addition we observe that the dependence of \({{\hat{a}}}\) on the angular variable is the same and it is fixed by the exterior gravitational field. The other metric function \({{\hat{g}}}\) is obtained from (15) with a suitable pressure \(T_m\) that fulfills the conditions (44)–(52). Without limiting the generality, this pressure can be written as follows
where \({{\hat{T}}}(r,\theta )\) is an arbitrary function such that \(T_m\) satisfies the conditionsFootnote 4 at \(r=0\) (49)–(52).
We obtain the EoS of this model by putting into the Eq. (59) the particular expressions for the functions \(\Sigma _+\) (61) and \(d(r,\theta )\) which depends on \(\beta ^+(W)\) (70):
which after simplification becomes
7 Conclusions
The exterior gravitational field of a compact object constrains the physics on the inside of the source. Once a Weyl vacuum solution describing the gravitation of an axially static stellar object is appropriately matched with an interior metric then both the line element as well as the energy–momentum tensor of the source can be constructed in terms of the exterior metric functions. A global description of the gravitation allows us to relate the energy–momentum tensor with the exterior gravitational field.
In this paper we have contributed with good behavioured models of sources, both in the spherical and non-spherical cases, providing suitable EoS and the global metric by means of the knowledge as a starting point of any vacuum solution of the Weyl family. In these models it is shown how the different exterior metrics contribute in a different way into the anisotropies or the density of the source, at the same time that the pressure \(T_m\) depends on those exterior metric functions. How the pressures and the EoS undertake the presence of non-spherical symmetry at the exterior, being led by the departure of the exterior metric functions \({{\hat{\psi }}}_{\Sigma }\), \({{\hat{\gamma }}}_{\Sigma }\) from the corresponding Schwarzschild ones \(\psi _{\Sigma }^s\), \(\gamma _{\Sigma }^s\), is shown. Therefore, we get information about the physics on the inside of the source from the behaviour of the exterior gravitational field.
These results do not establish, of course, general relationships since we have been dealing with the so called Weyl gauge, and we manage only two metric functions in the interior metric; that condition on the Einstein tensor is always satisfied on the vacuum, however for the interior space-time it implies a restriction on possible solutions. Nevertheless, the results presented here show that, within that restriction on possible solutions, the matter distribution of the source assumes some constraints derived from the exterior gravitational field of the global metric. These constraints can be expressed in terms of the gravitational field which is matching the interior solution. Since the method proposed [13] allows us to contrast a well matched interior metric for any exterior solution of the Weyl family, we can obtain for any vacuum solution how the energy–momentum tensor of axially symmetric static sources are affected by different physical characteristics of the gravitational field.
And last but not least, we have introduced an expression derived from the matching conditions that allows us to calculate the RMM in terms of the source. An example of that is obtained for the quadrupole moment of the metric which is related, by means of a source integral (56), with the physics of the source (anisotropies and pressures).
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There is no data associated.]
Notes
As we shall explain in the next section some misprints are found in that paper.
Please take into account a missprint in that paper for the expression of E and \({{\hat{p}}}_{zz}\), as well as in the formula (24) in that paper derived from the previous mistaken formulae: the second derivative of the function \({{\hat{g}}}\) with respect to the variable s must contain a forgotten factor A. Same missprints are reproduced in [14]. The calculations and conclusions derived in both papers are still appropriated and right, since it is a matter of a missprint in the edition of the latex version.
Indeed the simplest type of functions for \(\nu _1\) and \(\nu _2\) was considered in that paper; the particular case \(N=0\) for the instrumental functions was used (see Eq. (99) in Appendix)
For example, a polynomic function in the radial variable r, \({{\hat{T}}}={{\hat{t}}}_0(\theta )+{{\hat{t}}}_1(\theta ) r+{{\hat{t}}}_2(\theta )r^2\) can be used and the functions \({{\hat{t}}}_i\) are determined from those conditions at the origin.
As an example, the specific case of matching with the exterior Schwarzschild metric is easy to verify since \({\hat{\psi }}_{\Sigma }={{\hat{\gamma }}}_{\Sigma }=0\), and hence \(\alpha _{\Sigma }=\delta _{\Sigma }=0\). In the general case we need to make use of the derivatives of the function \({{\hat{\gamma }}}\) which are functions of \({{\hat{\psi }}}\) from the vacuum field equations (see [13] for details.)
These instrumental functions can be polynomials or whatever other function with the Taylor series at the origin given by the polynomials obtained here.
References
H. Weyl, Ann. Phys. 54, 117 (1917)
L. Herrera, Found. Phys. Lett. 18, 21 (2005)
L. Herrera, J. Carot, N. Bolivar, E. Lazo, Int. J. Theor. Phys. 48, 3537 (2009)
L. Herrera, J.L. Hernández-Pastora, J. Math. Phys. 41, 7544 (2000)
J.L. Hernandez-Pastora, L. Herrera, J. Ospino, Phys. Rev. D 88, 064041 (2013)
L. Herrera, J.L. Hernández-Pastora, Class. Quantum Gravity 17, 3617–3625 (2000)
L. Herrera, A. Di Prisco, J.L. Hernández-Pastora, N.O. Santos, Phys. Lett. A 237, 113 (1998)
R. Geroch, J. Math. Phys. 11, 1955 (1970)
R. Geroch, J. Math. Phys. 11, 2580 (1970)
R. Geroch, J. Math. Phys. 12, 918 (1971)
R.O. Hansen, J. Math. Phys. 15, 46 (1974)
K.S. Thorne, Rev. Mod. Phys. 52, 299 (1980)
J.L. Hernández-Pastora, L. Herrera, J. Martin, Class. Quantum Gravity 33, 235005 (2016)
J.L. Hernández-Pastora, L. Herrera, Phy. Rev. D 95, 024003 (2017)
J.L. Hernández-Pastora, J. Martín, E. Ruiz, Class. Quantum Gravity 33, 225009 (2016)
N. Gürlebeck, Phy. Rev. D 90, 024041 (2014)
D.M. Zipoy, J. Math. Phys. 7, 1137 (1966)
B.H. Voorhees, Phys. Rev. D 2, 2119 (1970)
J.L. Hernández-Pastora, J. Martín, Gen. Relativ Gravit 26, 877 (1994)
J.L. Hernández-Pastora, J. Martín, Class. Quantum Gravity 10, 2581–2585 (1993)
G. Darmois, Mémorial des Sciences Mathématiques (Gauthier-Villars, Paris). Fasc. 25 (1927)
G. Erez, N. Rosen, Bull. Res. Counc. Isr. 8F, 47 (1959)
H. Quevedo, Fortschr. Phys. 38, 733 (1990)
H. Quevedo, Phys. Rev. 33, 334 (1986)
F. Espósito, L. Witten, Phys. Lett. B 58, 357 (1975)
J.L. Hernández-Pastora, Ph.D. Relativistic gravitational fields close to Schwarzschild solution. Universidad de Salamanca (1996)
Acknowledgements
This work was partially supported by the Spanish Ministerio de Ciencia, Innovación y Universidades under Research Project reference PGC2018-096038-B-I00, as well as the Consejería de Educación of the Junta de Castilla y León under the Research Project Grupo de Excelencia GR234.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
1.1 The boundary and regularity conditions
The conditions (6) for the function \({\mathbb {G}}\) and its first derivative shall be satisfied if we still hold the behaviour at the origin for \(T_m\) and its derivative as in the spherical previous case, i.e. \(T_m(s=0)=P(s=0)\), \(T_m^{\prime }(s=0)=P^{\prime }(s=0)\). This conclusion can be inferred from Eq. (15):
But at the boundary \(r=r_{\Sigma }\) (\(s=1\)), the pressure \(T_m\) has to take into account the exterior gravitational field as follows
Since \(P(s=1)=0\) we have to avoid the divergencies in Eq. (78) by imposing \(T_m(s=1)=0\) as well as the following conditions on the first and second derivatives of \(T_m\) at the boundary arising from the resolution of the indeterminations in (78):
Hence, the required remaining boundary conditions have to be with the second derivative of \({\mathbb {G}}\) as well as the behaviour of \({\mathbb {F}}\) and its first derivative in the extremes of the interval \(s \in [0,1]\):
(A) Let us start with \({\mathbb {F}}^{\prime }\). The requirement \({\mathbb {F}}^{\prime }(s=0)=0\) forces to choose the negative global sign in (29) in order to get that condition without any divergence at the origin, since \({\mathbb {F}}^{\prime }\) is
On the one hand, from (80) the condition \({\lim _{r \rightarrow 0} {\mathbb {F}}^{\prime }=0}\) needs the function B to be an infinitesimal of order \(O(r^2)\) at the origin, or equivalently that implies the following limits
These limits \(B_0=B_0^{\prime }=0\) imply the following conditions for the functions \(\Lambda \) and \(\Omega \) at the origin, (where the subindex denotes the value at the origin)
and we can see from (24) that \(\Lambda _0=\delta _0-\xi ^2+\frac{1}{4}\) and then Eq. (82) is equivalent to
but, the value at the origin of the last term is an infinitesimal of order \(O(r^2)\) iff also \({\displaystyle \frac{\partial _{\theta }T_m}{T_m}}\) is so, and hence in addition \((4Ar^2\Omega ^2)\mid _0=\xi ^2\). With this condition on the partial derivative of \(T_m\) the second limit of Eq. (81) is also verified, so we conclude that the boundary condition for \({\mathbb {F}}^{\prime }\) at the origin is fulfilled if \(\delta _0\) vanishes behaving as an infinitesimal of order \(O(r^2)\):
On the other hand, from (80) the condition \({ \lim _{r \rightarrow r_{\Sigma }} {\mathbb {F}}^{\prime }=0}\) leads to
This condition (85) becomes an identity if one takes into account the behaviour at the boundary of the functions \(\Lambda \) and \(\Omega \) from the Eq. (24). Let us note that \(\Pi _{xy}|_{\Sigma }=0\) as well as \(\Pi _{31}+\Pi _{23}|_{\Sigma }=0\) since \(T_1^1|_{\Sigma }=T_2^2|_{\Sigma }=0\) because the pressure P, and both \({{\hat{p}}}_{xy}\) and \({{\hat{p}}}_{xx}\) vanish at the boundary (the proof is given in [13]). After a cumbersome calculation we obtain that this Eq. (85) is ever satisfied for those functions.Footnote 5
(B) With respect to the behaviour of \({\mathbb {F}}\) (\({\mathbb {F}}(s=0)={\mathbb {F}}(s=1)=0\)) we deduce from (39) that
We comment on the relevance of this expression at the Sect. 5.
C) Finally, the second derivative of the function \({\mathbb {G}}\) must be null at the origin. From Eq. (15) we have that
Since we have assumed that \(T_m(s=0)=P(s=0)\), \(T_m^{\prime }(s=0)=P^{\prime }(s=0)\) then \({\mathbb {G}}^{\prime \prime }(s=0)=0\) impose the following condition (take into account Eqs. (39), (5)):
In order to evaluate the behaviour of \(-x^{\prime }+h^{\prime \prime }\) at the origin, we solve the above limit as follows:
where we have taken into account that B is an infinitesimal of order \(O(r^2)\) (as we already imposed before). Consequently, the Eq. (88) turns out to be
The evaluation of the limit at the origin of the second derivative of B needs a large amount of patience, but finally we solve that
and finally the evaluation of \(\Lambda ^{\prime \prime }_0\) and \(S^{\prime \prime }_0\) leads to a relation between the anisotropies \(\Pi _{31}+\Pi _{32}\) and the pressure \(T_m\) as follows:
1.2 The integrability condition
Both Eqs. (28), (31) have to satisfy the corresponding integrability condition \({\displaystyle \partial _{\theta }(H)=\partial _r\left( \frac{\Omega }{H}\right) }\), leading to the following equation:
If we make use of the relation \((\Lambda +\sqrt{S})(-\Lambda +\sqrt{S})=4Ar^2\Omega ^2\) then another but equivalent equation can be obtained since the following equation for \(\dot{y}\) holds
and then the integrability condition (93) leads to the following equation
and consequently,
1.3 The instrumental functions \(\nu _1\), \(\nu _2\)
The functions \(\nu _1\), \(\nu _2\) are introduced (69) to construct a suitable function W compatible with the boundary conditions. Both of them are functions of second order in their variable, the radial coordinate, nearby the origin. It means that the function and its derivative must vanish at the origin. At the same time we are forced to choose these functions in such a way that they behaves in a particular way at the boundary of the source (\(r=r_{\Sigma }\), or \(s\equiv r/ r_{\Sigma }=1\)): the function \(\nu _1\) takes the value 1 and its derivative vanishes at that point, whereas the function \(\nu _2\) vanishes when \(s=1\) and its derivatives becomes 1 at the boundary.
Without any lack of generality,Footnote 6 these conditions are satisfied by the following polynomials of arbitrary degree
with the following constraints
where k takes the value \(k=1,2\) for the corresponding function \(\nu _1\) or \(\nu _2\) respectively.
The solution of these indeterminated compatible linear system of algebraic equations leads to the following functions
where \(n_i^{(k)}\) are arbitrary coefficients.
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
Hernández-Pastora, J.L. Connecting the exterior gravitational field with the energy–momentum tensor of axially symmetric compact objects. Eur. Phys. J. C 80, 372 (2020). https://doi.org/10.1140/epjc/s10052-020-7970-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-7970-2