Surfaces of Revolution in the General Theory of Relativity

We present a class of axially symmetric and stationary spaces foliated by a congruence of surfaces of revolution. The class of solutions considered is that of Carter’s family [A] of spaces and we try to find a solution to Einstein’s equations in the presence of a perfect fluid with heat flux. This approach is an attempt to find an interior solution that could be matched to a corresponding exterior solution across a surface of zero hydrostatic pressure. The presence of a congruence of surfaces of revolution, described as the quotient space of the commoving observers, can be useful to the determination of the surface of zero pressure. Finally we present two formal solutions representing ellipsoids of revolutions.


Introduction
The contents of this paper summarize and improve a series of papers in which I have tried to solve the problem of constructing an interior Kerr solution, [1]- [4].By this we mean the search for a material body that could generate a vacuum field described by the Kerr solution.This search still remains without results after more than 53 years of its discovery.The corresponding problem in the Newtonian theory of gravitation, in the case of homogeneous density distribution has been found satisfactory solutions, with contributions of some of the greatest scientists: Newton, Jacobi, Dedekind, Dirichlet, Riemann, Poincare, H. Cartan, and others [5].The problem in the context of the General Theory of Relativity can be set as follows: Find all possible equilibrium configurations, satisfying, Einstein's equations, bounded by a surface of zero hydrostatic pressure, matched across this surface, to a vacuum solution, sharing the same symmetries (stationarity and axial symmetry); see Geroch and Lindblom [6].A very detailed review of the many different attempts to solve this problem can be found in a pa-per of Krasinski [7].He gave a perspective of solution, by analogy to the Newtonian theory, in which the surface of the rotating body was an ellipsoid of revolution.He defined the notion of confocal ellipsoids in the curved spaces of General Relativity.Unfortunately he has not found any new interior solution and his approach was not pursued further.The same problem is also mentioned in [8] with very interesting commends.After a long period of time, Racz [9] considered stationary and axially symmetric vacuum spaces, possessing a one parameter congruence of confocal ellipsoids, generalizing the work of Krasinski.In the same spirit Zsigrai [10] generalized the definition of an ellipsoid in curved spaces and presented as example stationary and axially symmetric perfect fluid solutions with the so called confocal inside ellipsoidal symmetry.Our approach is based on a generalization for the bounding surface of the fluid: we are searching for the most general surface compatible with the assumption of axial symmetry.The most general family of surfaces compatible with the axial symmetry is that of surfaces of revolution.Namely, the surfaces obtained by revolving a plane curve C, about a line L, belonging to its plane and identifying the line L to the axis of rotation of the interior configuration.The next step is to consider the Einstein's equations inside and outside the surface of revolution.The first part of this paper concerns the construction of a foliation, for the stationary and axially symmetric spaces of General Relativity, by a congruence of surfaces of revolution.Then we are searching for solution of Einstein's equations in the Carter's family [A] of spaces compatible with the above mentioned foliation.Carter's family of spaces is a case of stationary and axially symmetric solutions and it contains the Kerr-NUT solution and many other interior solutions; see [11]- [15].In Section 2, we give a brief description of Carter's family [A] of spaces.In Section 3 we define the metric tensor of a 3-dimensional Riemannian space representing a congruence of surfaces of revolution.This definition permits to obtain the corresponding 4-dimensional Lorentzian space, whose quotient space with respect a class of observers is identifying with the above defined 3-dimensional Riemannian space.In Section 4 we write explicitly the Einstein's equations for Carter's family [A] of spaces, admitting a foliation by the surfaces of revolution (ellipsoids or tori).Finally in Section 5 we present two solutions admitting the above mentioned foliation by confocal ellipsoids.

Carter's Family [A] of Spaces
We suppose that the space-time admits an Abelian isometry group G 2 , invertible with non-null surface of transitivity [11], then the metric tensor can be written as follows: The invertibility of the group is obvious from the fact that the transformation ( ) ( ) is an isometry.The metric (2.1) can be put in a more convenient for calculations form, the symmetric tetrad form, in which the Newman-Penrose (NP) coefficients are equal by pairs: The functions L, M, N, P are real and depend only on x and y.This metric has been introduced by Carter and used extensively by Debever [11] Carter and McLenaghan [13] and by us [14], [15].The Einstein's equations for the metric (2.1) even in the case of vacuum are very complicated so we restrict our study to the Carter's family [A] of spaces: This family of spaces is characterized by the fact that the Hamilton-Jacobi equation for the geodesics is solvable by separation of variables (x, y), which takes place in a particular way and gives rise to a fourth constant of motion, quadratic in the velocities integral or equivalently to the existence of a Killing tensor with two double eigenvalues, see [16] and references cited there.In the NP formalism and in the context of complex vectorial formalism of Cahen, Debever, Defrise, this Killing tensor can be written as follows: .
The metric is: ( ) where: The null vectors n, l are real and m , m are complex conjugate.The notation of the formalism can be found in [17], [18], and [19].With an appropriate choice of the null tetrad (2.5), the components the Weyl tensor and the Ricci traceless tensor in the NP formalism satisfy the following relations: The Carter's family [A] of solutions includes many interesting metrics, we present some of them in order to make easier the comparison with our solution and justify some technical details of calculations.

Kerr-NUT Solution with or without Cosmological Constant [Metric (17) in [11])
The Einstein's vacuum equations imply that:

G y y E y F x x H x E by dy p H bx cx p
where b, c, d, p are constants of integration.The Kerr metric is obtained if we set: m is the mass, a is the parameter of angular momentum per unit mass and the Kerr metric can be written in the Boyer-Lindquist coordinates:

Wahlquist Solution
The Einstein's equations in the presence of a perfect fluid reduce to two relations: These equations ensure that the energy-momentum tensor admits one simple and one triple eigenvalues.The solution of (2.11) permits us to determine the following functions: where 0 2 4 , , k k k are constants of integration and by defining new coordinates: We get Wahlquist solution [15], [20] ( ξ and ζ are the Wahlquist coordinates).

Stationary and Axially Symmetric Spaces Foliated by a Congruence of Surfaces of Revolution
We consider a 3-dimensional Euclidean space foliated by a congruence of surfaces of revolution, obtained by revolving a plane curve C about a line L in its plane.This line will be identified with the axis of rotation of the fluid configuration.In a Cartesian coordinate system 1 2 3 , , x x x the curve C belongs to the plane 1 3

Ox x and 3
Ox the axis of rotation.In this coordinate system a parametric representation of the curve C, is given by: ( ) ( ) where t is the corresponding parameter.The elimination of this parameter between x 1 , x 3 gives the Cartesian equation of the curve: ( ) The Cartesian equation of the surface is: ( ) Then a parametric representation of a surface of revolution is: We can now define a system of coordinates, adapted to the surface of revolution.The azimuthal angle Φ measured around the axis of rotation, is one of them, the other two being r and θ some kind of generalized spherical coordinates related by an equation ( ) which is precisely the equation of the surface of revolution.Then (3.4) can be put in the following form: And the equation for each member of the congruence of the surfaces of revolution is given by: constant.r = (3.6) The corresponding metric in the Euclidean space assumes the expression: where We will consider only orthogonal coordinate systems and we generalize (3.7) to a three-dimensional axisymmetric Riemannian space by considering a supplementary function ( ) Obviously when ( ) , 1 f r θ = we get the corresponding Euclidean metric (3.7).This generalization is useful because it keeps the factor h 1 containing the parametric representation of the curve C.
Finally we introduce a coordinate change of great utility for the integration of Einstein's equations.Instead of r and θ we will use y and x that appear in (2.3).This coordinate transformation is given by (2.9), the coordinate used to obtain Kerr metric from the Carter's family [A] of spaces.
The metric of a three-dimensional Riemannian space foliated by a congruence of surfaces of revolution, in an orthogonal coordinate system is given by: And the orthogonality condition holds: 0.
x y a h h xy + = (3.11) The observers who will describe the shape of the two-dimensional surfaces embedded in the four-dimensional Lorentzian space as rotating surfaces of revolution (defining the equipotential or equipressure surfaces for the vacuum and the interior case respectively), follow the trajectories of the symmetry group.The velocity field of this family of observers is then a linear combination of the Killing vector fields , t z The vector field of the family of the observers describing the surfaces of revolution is given by: ( ) ( ) ,  , .
And as usual the norm is given by: where i j g are the metric coefficients of (2.2).The observers defined above are at rest on their quotient space that has to be identified with the three-dimensional Riemannian space of the Definition (3.1): This equation and the relations (3.12), (3.13) imply the following conditions: The general stationary and axially symmetric metric (2.3) can be written as: where az ϕ = The functions U, V, K, f and 1 h have to be determined, by solving the Einstein's equations.Now we impose that metric (3.16) is identified with metric (2.3), considering only the special case of Carter's family [A] of spaces and not the general stationary, axisymmetric spaces.Then we can state the following theorem: Theorem 3.1.In Carter's family [A] of spaces, we can define observers with quotient space identified with a congruence of surfaces of revolution if the following conditions are satisfied: ( ) The steps that we have followed in Section 3, give the outline of the proof of Theorem 3.1.Equations (3.18) permit to define completely U and V as well as the functions h 1 , F(x) and the ratio G(y)/f(x, y).We can define the functions U and V by direct calculation, using (3.18a)-(3.18f): In the null tetrad (2.5) we have that: .
The remaining Equations (3.18d), (3.18e), (3.18g) permit us to determine partially the shape of the surface of revolution and the functions F 2 and the ratio 2 2  G f : q and g are constants and 3 1 e = ± .The expression of h 1 given by (3.24) is very restrictive for the shape of the surfaces of revolution identified with the quotient space of the observers.There are two possible cases, according if g is zero or different of zero: (I) g = 0 The surfaces of revolution are oblate ellipsoids of revolution.The constant q has to be positive and can be put equal to one: In Cartesian coordinates the equation of the ellipsoids is: Obviously the ellipsoids are oblate due to the rotation (a is the angular-momentum per unit mass in the Kerr metric).
(II) 0 g ≠ The corresponding surfaces are tori of revolution.Again q has to be positive and can be put equal to one.The revolved curve is an oblate ellipse with center of symmetry located at a distance g from the origin: ( )

Einstein's Equation for Carter's Family [A] of Spaces
In this section we are going to solve the Einstein's equations in the presence of a perfect fluid with heat flux, for Carter's family [A] of spaces imposing that the commoving observers are those with quotient spaces the family of surfaces of revolution.The energy-momentum tensor of a perfect fluid with heat flux has the following form: ( ) where e is the mass-energy density of the fluid, p is the hydrostatic pressure, u i is the vector field of the commoving observer and q i is the vector of the heat flux.These two vector fields can be written in the complex vectorial formalism: The norm of u is equal to one and the vector of the heat flux is space-like and perpendicular to u : The Carter's class of family [A] of spaces written in the form (2.3) belongs to the class of symmetric null tetrads [18], [19] in which the NP spin coefficients are equal by pairs and the components of the trace free Ricci tensor satisfy relations (2.6).These conditions in the presence of (4.1) imply the following expressions: where: We can prove that after successive differentiations with respect to x and y, the functions W(y) and Z(x) can be defined completely: The constants of integration are k, k 4 , k 0 , k 2 , l 4 , l 2 , l 0 and m (compare with (2.13)), P 6 (y) and Q 6 (x) are arbitrary polynomials on x and y respectively of sixth degree.If we put k equal to zero (without the heat flux) we obtain a generalization of the Wahlquist solution [15].Finally Equation (4.10) can be considered as an equation of second degree with respect to the ratio

G y W y kE y k y k y k E y
The two solutions of (4.17) are the following: The case (4.18a) gives a Wahlquist like solution, so we are going to consider only the case (4.18b).Find the general solution or even partial solutions of (4.15), (416) is a project of its own, but the purpose of this paper is to solve these equations under the assumption of the existence of a congruence of surfaces of revolution presented in Sections 1-3.

First we try to define the function H(x):
The corresponding equations are (3.22)  and the following equations: ( )

+ = − +
For both solutions f(y) is given by (5.3).The x dependence of the two solutions is Kerr-like; a detailed study and the calculation of the physical quantities will be presented in a subsequent paper.The quotient spaces are ellipsoids of revolution (g = 0).

(5. 6 )
Two partial formal solutions can be given, characterized by 4 , (4.14) and (4.16).The function H(x) satisfies an equation of fourth degree [(3.22) and (4.14)]:Also H(x) has to satisfy the differential Equation (4.16).The system is over determined but we can find two possible cases: