Abstract

We describe the use of conformal mappings as a mathematical mechanism to obtain exact solutions of the Einstein field equations in general relativity. The behaviour of the spacetime geometry quantities is given under a conformal transformation, and the Einstein field equations are exhibited for a perfect fluid distribution matter configuration. The field equations are simplified and then exact static and nonstatic solutions are found. We investigate the solutions as candidates to represent realistic distributions of matter. In particular, we consider the positive definiteness of the energy density and pressure and the causality criterion, as well as the existence of a vanishing pressure hypersurface to mark the boundary of the astrophysical fluid.

1. Introduction

The gravitational evolution of celestial bodies may be modeled by the Einstein field equations. These are a system of ten highly coupled partial differential equations expressing an equivalence between matter and geometry. The equations are extremely difficult to solve in general and so simpler cases have to be treated to gain an understanding into how certain types of matter behave under the influence of the gravitational field. For example, the most studied configuration of a matter distribution is that of a static spherically symmetric perfect fluid. The assumption of spherical symmetry has the effect of reducing the field equations to a system of three equations in four unknowns if the matter is neutral. While this is a severe, but reasonable, restriction, even in this case not all solutions to the system of field equations have been found. Work on this problem has been ongoing since the first exact solution appeared in 1916 when Karl Schwarzschild published his solution for a vacuum (matter free), and, to the present, this exterior solution continues to be used to model phenomena such as black holes. This solution is unique, and, moreover, Birkhoff [1] showed that the solution is independent of whether the sphere is static or not. In other words, the Schwarzschild exterior solution [2] is simply a consequence of the spherical geometry. From this theorem also follows the conclusion that pulsating fluid spheres do not generate gravitational waves.

By considering the case of a uniform density sphere, Schwarzschild [3] found a unique interior solution. However, the problem of finding all possible solutions for a nonconstant energy density is still an open problem. Since the system of field equations is underdetermined, one of the geometric or dynamical variables must be specified at the outset. This freedom of choice renders it impractical to determine all possible solutions. A comprehensive review of the static spherically symmetric fluid sphere has been compiled by Delgaty and Lake [4]. Recent work by Fodor [5], Martin and Visser [6], Lake [7], Boonserm et al. [8], and Rahman and Visser [9], which resuscitated an idea first proposed by Wyman [10], reported algorithms for finding all possible exact solutions. However, each prescription required an integration or two which may be intractable in practice given that a certain variable had to be selected in some ad hoc fortuitous way. In any event, even if solutions to the field equations are found, they have to satisfy certain physical requirements to be considered candidates for realistic matter. Finch and Skea [11] studied over 100 exact solutions and have found that only about 16 satisfy the most elementary physical requirements. It should be remarked that the importance of some of the so called requirements for physical plausibility is debatable given that the gravitational processes inside a star may not be accurately determined.

If spherical symmetry is maintained and if, in addition, the matter distribution contained charge, then the Einstein field equations must be supplemented by Maxwell’s equations which incorporate the effects of the electromagnetic field. These Einstein-Maxwell equations constitute a set of six field equations in four unknowns. In this case, the problem is simpler as now two of the matter or geometrical quantities must be chosen at the beginning and the remaining four will follow from the integration of the field equations. A detailed collection of the two-variable choices that have been considered has been achieved by Ivanov [12]. The caveat is that, although there is an extra degree of freedom, finding physically palatable solutions is extremely rare. Additionally, it is required that the exact solution for the interior be matched with the unique exterior solution for charged spheres according to Reissner [13] and Nordstrom [14]. The solution of Hansraj and Maharaj [15] in the form of Bessel functions of half integer order was shown to satisfy elementary physical requirements. Other matter configurations include radiation and rotation. In each case a unique exterior solution has been found—the exterior metric for a radiating star is credited to Vaidya [16], while an exterior metric for a rotating sphere was constructed by Kerr [17]. While in the case of radiating spheres many interior solutions have been found, this is not the case for a rotating sphere. The problem of finding a solution to the Einstein field equations that incorporate rotations is still unsolved problem in classical general relativity.

The mathematical approach described earlier often relies on choosing functional forms for some of the variables that eventually allow for the integration of the entire system of differential equations. Fortunately, the analysis is simplified by the fact that a single master equation holds the key to unlocking the whole system. This master equation may be interpreted as a second-order linear differential equation (see Duorah and Ray [18], Durgapal and Bannerji [19], and Finch and Skea [20]) or as a first-order Ricatti equation (for example, see Lake [7] and Fodor [5]). Once a solution is found, then the physical and geometric quantities must be established and checked for physical plausibility. An alternative approach is to impose some physical constraints a priori, for example, to prescribe an equation of state relating the pressure and energy density. However, the drawback of this approach is that the field equations may not be solvable. Only a few solutions of this kind have been reported in the literature. Interestingly, the charged analogue of the Finch-Skea [20] stars reported by Hansraj and Maharaj [15] turned out to possess a barotropic equation of state. This is a desirable feature of physically reasonable perfect fluids.

The situation when considering nonstatic (that is, time dependent) matter configurations introduces another level of complexity into the problem. The partial differential equations are now in terms of the spatial and temporal coordinates. Finding exact solutions usually amounts to prescribing relationships between the geometric quantities in order to solve the field equations completely. Therefore, in view of this difficulty, we consider an alternative mathematical approach. We employ conformal mappings on existing (possibly defective) solutions possessing Killing algebras (see Table 1) with the intention of solving the now conformally related Einstein field equations. The reason for the potential success of this approach has to do with the fact that the existence of conformal Killing vectors is known to simplify the field equations—in other words, they involve a geometric constraint. This is in opposition to an algebraic constraint which may be imposed, for example, by demanding that the eigenvectors of the Weyl tensor have certain preferred alignments. This gives rise to the Petrov [21] classification scheme which in reality is a result in pure mathematics applicable to any Lorentzian manifold. In our approach, the procedure is aided by the Defrise-Carter [22] theorem which specifies how conformal Killing vectors become Killing vectors under conformal transformations. The theorem states the following: suppose that a manifold is neither conformally flat nor conformally related to a generalised plane wave. Then, a Lie algebra of conformal Killing vectors on with respect to can be regarded as a Lie algebra of Killing vectors with regard to some metric on conformally related to [23].

The benefit of utilising this approach is that we may utilise a known exact solution of the Einstein field equations and then solve the associated conformally related equations. This is because the conformal Einstein tensor splits neatly into the original Einstein tensor and a conformally related part. So, for example, if one begins with a vacuum seed solution, then it is known that the Einstein tensor is zero and so only the conformal part must now be considered in conjunction with a perfect fluid energy momentum tensor. Such solutions are referred to as conformally Ricci-flat spacetimes. This scheme has yielded useful results. A pioneering work on this method was conducted by van den Bergh [24, 25], and, recently Castejón-Amenedo and Coley [26] and Hansraj et al. [27] found new classes of exact solutions that were nonstatic. In fact, the fluid congruences were found to be accelerating, shearing, and expanding, which is a category of solution types that is rare. Hansraj [28] analysed the conjecture of van den Bergh [24] that perfect fluid spacetimes can be found by using the nonconformally flat Schwarzschild exterior solution. It was proved that all such spacetimes are necessarily static, and a class of exact solutions were reported. In Hansraj et al. [27], use was made of a nonvacuum seed solution however, no physical analysis of the resulting solutions was carried out. Govinder and Hansraj [29] completely analysed the most general set of field equations with the help of Lie group analysis methods and found new exact solutions. As the solutions were four dimensional, it was not possible to provide a full physical analysis. We consider these aspects in the current paper.

2. Differential Geometry

A brief consideration of the mathematical framework for this problem will be in order. We consider a spacetime , where is a 4-dimensional differentiable manifold with respect to a symmetric, nonsingular metric field . Points in are labelled by real coordinates, three of which are spacelike and one is timelike. The points are represented as , where is timelike and ,  ,  and   are spacelike.

The invariant distance between neighbouring points of a curve in is defined by the fundamental metric form where is referred to as the metric tensor. It is symmetric and possesses an inverse . The Christoffel symbol is a metric connection that preserves inner products under parallel transport. The coefficients of are calculated by where commas denote partial differentiation.

The Riemann curvature tensor (also known as Riemann-Christoffel tensor) is a tensor field whose coordinate components are given in terms of the coordinate components of the connection as follows: The Ricci tensor , obtained by contraction of the Riemann curvature tensor, is given by Upon contraction of the Ricci tensor, we obtain the Ricci scalar , given by The Einstein tensor is obtained from the Ricci tensor and the Ricci scalar in the following way: For matter in its neutral state, the energy-momentum tensor is given by where is the energy density, is the isotropic pressure, is the heat flow vector, is the stress tensor and is the velocity field vector.

For a perfect fluid, the energy-momentum tensor, reduces to The energy-momentum tensor (8) and the Einstein tensor (6) are related via the Einstein field equations in the following way: This is a system of 10 partial differential equations which are highly nonlinear and hence difficult to integrate in general.

It is also of importance to our work to mention the Weyl conformal tensor which has physical relevance in expressing the tidal force a body experiences when moving along a geodesic. In fact, the Weyl tensor is the traceless component of the Riemann tensor and is given by

3. Conformal Geometry

A variety of symmetries may be defined on the manifold by the action of on the metric tensor and associated quantities [30, 31]. Of the various symmetries that are possible, we are primarily concerned with conformal motions. A conformal Killing vector is defined by the action of on the metric tensor field so that where is the conformal factor. There are four special cases associated with (11), namely.

The spanning set of all the conformal Killing vectors of a spacetime generates a Lie algebra. The elements of this basis are related by where the quantities are the structure constants of the group. The structure constants have the property of being independent of the coordinate system but do depend on the choice of the basis. The structure constants are skew symmetric so that and satisfy the identity The integrability condition for the existence of a conformal symmetry is given by Suppose that we are given a spacetime with line element and a related spacetime with the line element Then, the previous two line elements are said to be conformally related if where is a nonzero, real-valued function of the coordinates on . This transformation between and is called a conformal transformation and is a special type of mapping between metric spaces given by dilatation (or contraction) of all lengths by a common factor which varies from point to point. If is a conformal Killing vector in the spacetime so that (11) holds, that is, then is also a conformal Killing vector in the related spacetime , and we have With the help of (11), (18), and (20), we can show that the factors and are related by From this, we can conclude that conformal transformations map conformal Killing vectors to conformal Killing vectors, with the conformal factors being different. However, conformal transformations do not map Killing vectors or homothetic Killing vectors to their respective counterparts in the conformally related spacetime. Note that, in the trivial case where is constant, we have . However, it is important to note that the converse does not hold. If , then (21) implies that . This means that is constant along the integral curves of the vector , but it may vary elsewhere on the manifold.

It should be noted that the connection coefficients, Riemann curvature tensor, Ricci tensor, and Ricci scalar for the metric are related to those of the metric by the following formulae which are given in de Felice and Clarke [32]: where we have defined and . Additionally, the conformal Einstein tensor is given by where the covariant derivatives and contractions are calculated on the original metric . Note that we may also write the conformal Einstein tensor (23) as where the geometric quantities are now evaluated using the conformally related metric [33].

An important characteristic of conformal mappings is that the Weyl tensor is invariant under the transformation; that is, and consequently a conformal transformation is sometimes referred to as a Weyl rescaling in the literature. A necessary and sufficient condition that a spacetime is conformally flat is that the Weyl tensor vanishes.

The covariant derivative of the timelike fluid 4-vector field can be decomposed as follows where is the projection tensor. In the previous, we have defined where is the acceleration vector ,   is the skew-symmetric vorticity tensor ,   is the symmetric shear tensor , and is the rate of expansion.

Under a conformal transformation , the world lines are the same and the velocity field transforms as and we obtain for the transformed kinematical quantities listed in (27). The quantities, (29) will be useful in studying the physical behaviour of the models generated by a conformal transformation [27].

4. Einstein Field Equations

We consider the metric which is of Petrov type D. Solving (11) for this metric reveals that (30) admits three Killing vectors, namely, with the Lie bracket relations The conformally related analogue is given by By the Defrise-Carter [22] theorem, the previous Killing vectors are now conformal Killing vectors, given by

To determine the perfect fluid energy-momentum tensor, we select a fluid 4-velocity vector that is noncomoving of the form where . Note that utilising a comoving velocity field would also lead to conformal flatness, and this case is not of immense interest as explained previously.

The coupling of the conformal Einstein tensor and the transformed energy momentum tensor yields the Einstein field equations given by for the line element (33).

The field equations may be reduced to a simpler form by observing that an immediate consequence of (36)–(39) is the functional form where and are arbitrary functions and . After a series of arduous calculations, it may be shown that (36)–(45) reduce to the simpler set of equations where is a separation constant and we have set ,   being a constant. Note that the expression is nonzero. If this expression was zero, the Weyl tensor would vanish leading to conformally flat solutions. Such solutions have already been fully determined as Stephani [34] stars in the case of expansion or generalised Schwarzschild metrics for no expansion. The set of (47)–(52) has been discussed in general by Govinder and Hansraj [29] with the help of the Lie group analysis approach. New exact solutions were reported; however, the difficulty of working with such solutions is that they are 4 dimensional and therefore it is not transparent whether the solutions could represent physically acceptable matter configurations. For this reason, we elect to study some physical properties by neglecting the and directional contributions—that is, we set ala Castejón-Amenedo and Coley [26].

5. The Static Case

As a first step, it is of interest to analyse the behaviour of our model when it is time independent. That is, we consider the conformal factor in the form . The system of field equations (47)–(52) reduces to where it should be recalled that is a separation constant (effectively an integration constant) and is an arbitrary constant. Equation (56) leads to which in turn implies a constant conformal factor. This is trivial. However, another consequence of (56) is the equation Equation (57) is a standard second-order differential equation with constant coefficients and its solution may be categorised as follows (note in what follows that we take the coupling constant to be positive without loss of generality: where and are integration constants.

5.1. The Case

This case is not particularly interesting because results in a metric that is conformally flat. Such metrics have been found up to integration in general. However, in this case, we are able to provide the explicit forms for the kinematic and dynamical variables. When , the complete solution of the conformally related Einstein field equations is given by

Note that the vanishing of the tilting angle in the velocity vector also corroborates the conformal flatness of the spacetime geometry for .

5.2. The Case

The energy density, pressure, and sound-speed parameter have the forms respectively, and we have made the redefinitions and . In order to satisfy the weak, strong, and dominant energy conditions, we require that each of be positive.

Now, it remains to select suitable values of the four constants in the problem in order to generate an astrophysical model that satisfies elementary conditions for physical reality. In order to reduce the arbitrariness in selecting these constants, we may consider the behaviour of the dynamical variables at the central axis corresponding to —with the idea being that the constants should be compatible with a regular centre in the first place. Using the subscript to denote central values, we obtain where it must be recalled that and are positive. The right-most inequality of (64) implies that , and the left inequality requires that . In addition, (62) and (63) lead to , which places a constraint on . Empirical testing with these constraints in mind results in the prescription , , , and which produces pleasing physical properties. Graphical representations of the dynamical and energy profiles are shown in Figures 1 and 2, respectively.

From Figure 1, we observe that both the energy and pressure are positive definite and monotonically decreasing functions of the space variable . Importantly, there exists a pressure-free hypersurface at which identifies a boundary for the distribution of the perfect fluid. Therefore, this model may succeed in modeling astrophysical phenomena. In addition, it can be seen that the adiabatic sound-speed index remains constrained between and throughout the interior of this fluid configuration. This is an indication that the sound speed is subluminal; that is, the sound speed never exceeds the speed of light, which is a fundamental postulate of the Einstein theory of the gravitational field. Figure 2 reveals that the weak, strong, and dominant energy conditions (,    and  , resp.) are all satisfied throughout the fluid.

5.3. The Case

In this case, the energy density, pressure and sound-speed index are given by where we have defined and . The quantities will assist in studying the energy conditions.

As above we now need to find suitable constants in order to create a viable fluid model. Again we examine the above quantities at the central axis . We obtain as constraints on the constants. Now, from (71), we infer that and also that recalling that and in this case. Furthermore, reconciling (69) and (70), we obtain the relations . Disregarding the middle term in this inequality, we derive that which contradicts our earlier conclusion. Therefore, it is impossible to satisfy the three most important physical requirements , , and with any combination of the constants in the problem. In other words, the case cannot represent a realistic fluid. Therefore, we do not pursue any further consideration of this case.

6. Nonstatic Solutions

Finding nonstatic exact solutions of the Einstein equations for a particular configuration of matter is nontrivial. The method of conformal transformations gives us the ability to construct non-static solutions from known static metrics. In the case under investigation, we suppose that the conformal factor has the simple form . The field equations then have the familiar form where now only. Once again, the conclusion leads to a trivial constant conformal factor, so we disregard it. We examine the other possibility more closely. Equation (73) is a simple second-order differential equation and is solved by where and are integration constants. Let us examine each case in turn.

6.1. The Case

This case degenerates into a conformal flat metric and so it is not worthy of further attention as such metrics have already been discovered.

6.2. The Case

If we make the change of variables , and then the relevant dynamical quantities have the following forms: It is pleasing to note that the positive definiteness of pressure criterion is valid everywhere for this case . We also expect all physical constraints to be satisfied at the initial condition . Denoting initial values with the subscript , we have that the following inequalities must be satisfied: The first two relationships constrain as and the outer two expressions must satisfy or . The adiabatic sound-speed criterion (78) forces the value of as since and . An additional constraint on is implied by requiring the positivity of the right hand side of (79). This is satisfied provided that or . Now, it can immediately be seen that these inequalities are never satisfied simultaneously for any value of . Accordingly, we deduce that no physical reasonable model will result from this case. That is, positivity of pressure and energy density as well as a subluminal sound speed cannot all be achieved for any value of the constant . There is little value in considering the value of in view of the nonsatisfaction of these requirements.

6.3. The Case

In this case, the energy density, pressure, and sound-speed index are given, respectively, by where we have again redefined and . Reasoning as before together with empirical testing corroborates that it is not possible to achieve simultaneously a positive pressure and energy density. Additionally, the sound-speed index is always found to be negative. Therefore, this model cannot model a realistic distribution of stellar fluid.

7. A Spacetime Foliation

The Lie group analysis method has proved successful in generating broader classes of solutions than the ones discussed previously. The functional forms for for were previously obtained by Hansraj et al. [27] using group analysis techniques. We now take these solutions and substitute into expressions (47) and (48) to establish the dynamical quantities, energy density and pressure . Thereafter, we verify that the pressure and density profiles satisfy conditions for physical acceptability. A rigorous analytical treatment is prohibitive for general and , in view of the complexity of the resultant expressions. Therefore, for graphical purposes, it is necessary to consider a simplified situation such as foliations of the distribution in terms of the temporal and one space variable. It is not possible to visually represent the complete 4-dimensional solution spacetime. We accordingly select the particular solution presented by Hansraj et al. [27] together with that obtained from . The conformally related metric (33) may now be given by and the energy density takes the form while the pressure is given by

In order to obtain an indication of the model’s feasibility to represent a realistic distribution, we elect to make a graphical study of this solution. The energy density and pressure are given by We need to select appropriate values for the parameters   and   to finalise the model. It should be observed at this stage that, in many situations, it is possible to obtain bounds for the constants by examining the central conditions and . We then require that all the physical conditions are satisfied at the centre. This is not fruitful in the present context. Furthermore, the approach in fixing integration constants in most problems in general relativity involves matching of the perfect fluid solution with its corresponding vacuum solution. For example, if we were devising a model of a static neutral sphere, then integration constants can be fixed by demanding continuity of the potentials at the boundary hypersurface. In addition, for such solutions, the pressure vanishes at the boundary, and this determines the size of the sphere. In the case of radiating spheres, this pressure-free interface does not exist, and this condition is modified to include the effects of radiation, and the junction conditions must be established via other means. The difficulty in our analysis is that we have no known vacuum solution. Consequently, our selection of the constants is completely random. We are fortunate that the available computing technology is able to quickly check the efficacy of our choices for the integration constants (see Figures 3 and 4).

These plots, generated via Mathematica [35], demonstrate many pleasing features. For example, it is evident that, in the region chosen, the pressure and energy density are both positive. These are the most basic requirements for models to serve as candidates for realistic celestial phenomena. Therefore, it is possible for this solution to model a realistic configuration of perfect fluid.

8. Conclusion

We have demonstrated that new static and nonstatic solutions of the Einstein field equations may be constructed from known solutions through the use of conformal mappings. Even solutions that are considered as defective may serve as seeds for new solutions which are physically reasonable. The reason for the success of this approach is that the seed solution is already a solution of the possibly vacuum Einstein field equations. The Einstein tensor splits up neatly into a part containing the original Einstein tensor and an expression involving the conformal factor. It is this latter part that must be coupled to an appropriate perfect fluid. The mathematical reason for this behaviour is that the conformal Killing vectors of the original seed metric become Killing vectors of the new metric. This generates symmetries which have the effect of simplifying the resultant field equations. While 4-dimensional solutions to the field equations have already been reported, solutions had not been analysed for physical plausibility. We have endeavoured to construct explicit models by considering cases where the conformal factor is a function of a space variable , a function of the temporal coordinate only and finally the case of the conformal factor as a function of space and time . Analyses of each case show that it is possible to generate physically reasonable models through this method of conformal transformations.