A Class of Exact Interior Solutions of the Einstein-Maxwell Equations Author(s): J. N.

Islam Reviewed work(s): Source: Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, Vol. 353, No. 1675 (Apr. 21, 1977), pp. 523-531 Published by: The Royal Society Stable URL: http://www.jstor.org/stable/79211 . Accessed: 19/04/2012 10:14
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org.

The Royal Society is collaborating with JSTOR to digitize, preserve and extend access to Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences.

http://www.jstor.org

Proc. R. Soc. Lond. A. 353, 523-531 (1977) Printed in Great Britain

A class of exact interior solutions of the Einstein-Maxwell equations

By J. N.
ISLAM

Department Applied Mathematicsand Astronomy, of UniversityCollege,Cardiff, U.K. (Communicated S. W Hawking, F.R.S. - Received28 May 1976) by
A class of exact interior stationary solutions of the Einstein-Maxwell equations is found in terms of an arbitrary solution of the flat-space Laplace equation. These solutions represent pressure-free charged matter rotating with constant angular velocity about an axis of symmetry. Some properties of the solution are discussed.

1. INTRODUCTION

Van Stockum (I937) found a class of interior solutions of the Einstein equations representing pressure-free dust rotating with constant angular velocity about an axis of symmetry. These are expressible in terms of a harmonic function, i.e. solution of the axisymmetric flat-space Laplace equation. This solution has recently been extended to the case of differential rotation by Winicour (I 97 5) . In the present paper we extend Van Stockum's solution to the Einstein-Maxwell equations, i.e. we find a class of interior solutions representing zero-pressure charged matter rotating with constant angular velocity about an axis of symmetry. This new solution also depends on a single harmonic function. In ? 2 the field equations are written down and some aspects discussed. The solution is given in ? 3 and some properties of the solution are described in ?4. An outline of the derivation of the solution is given in the appendix.

2. FIELD

EQUATIONS

The Einstein-Maxwell equations are as follows: Rlz = 8ic{tT v + Tlv - 2g1tv (T' +T`)},( = 1 1I(1)
F;
v + Fviy;j +i FJ; F1v; v =

v =0,

(2)

4cJJ/t,

(3)

where a semicolon denotes covariant differentiation, R,U and F,l, are respectively the Ricci and the electromagnetic field tensor and JIs the current. T,U and T,p are respectively the energy-momentum tensor of the matter and the electromagnetic [ 523 ]

524

J. N. Islam

field, with T' = T'Y, T' = T"'. We have set the gravitational constant and the velocity of light equal to unity. T'"# is given as follows: T
-I" =

( -Yv

+ kg"v' F,Fafl).

(4)

Note that T7'? 0. We consider the matter as consisting of non-interacting charged particles of mass m and charge q. Let n be the number density of the particles. T'itv is then given by the following:

T/MPv-= n,U/lul,

(5)

where u/1is the four-velocity of the particles. Equation (5) reflects the fact that there is no pressure, and that the mass-energy density consists of the rest masses of the particles, since there is no internal energy due to random motion. We proceed to verify the conservation of the total energy-momentum given by the equation + (6) (T'klv T"'); p = O. With the use of (2) and (3) one can show, through a standard procedure, that -v -F/, PJv. T "P, v == ;, Further, T'fV; v - m(nuv); u/ i+?mnuvulA;

(7) (8)

The first term on the right hand side of (8) vanishes because of conservation of matter. In the second term
U,;

VUP

= {uiuj/xP + rV uo}uP = dul/ds + rIV uou' Du'A m d =qu F"l,

Duj/d8.

(9)

With the use of the following equation of motion for a charged particle in the field (10)

it is easily seen that the total energy-momentum tensor satisfies the conservation equation (6) provided J' = qnu/t. The conservation of current JP 0 is satisfied by virtue of the conservation of particles. The discussion so far is quite general, in the sense that it is independent of any space-time symmetries of the metric. To specialize to the case we are interested in we start with the most general axisymmetric stationary metric
ds2
=

fdt2

2kdOdt- 1d02 - elt(dp2 + dz2),

=

(1 1)
(t,p,

wheref, k, I and u are all functions of p and z only. Setting (Xo,X1, X2, X3) the components of the four-velocity of the rotating dust are as follows

z, 0),

0dt = - =
ds

21(f-2Q1c-Q2k)- ,

U= = u1

2 u2

3dO u3 = - = Qu0 ds

(12)

where Q is the constant angular velocity. It can be verified, since all the functions are independent of t and 0, that the equation of continuity (nul");/,= 0 is satisfied is identically. FAIV given in terms of a four-potential A, as follows F, = -A ^,

(13)

Interior solutions of Einstein-Maxwell equations

525

where a comma denotes partial differentiation, in which case (2) is satisfied identically. In the present case the components of A4#can be taken as follows

0? (Ao A1,A2,A3)= (v,?, X)

(14)

where 0 and Xare related to the electric and magnetic potentials respectively. The The t- and 0-components of (10) vanish identically, while the p- and z-components give the following equations

lm(fp-2Qkp -Q21p) (f-2Qk-Q2j)-i

m(fz-2Qkz
-

= q($ + QX),

(15a)
(15b)

+ Q21z) (f- 2Qk - Q21)- = q((bz QXy) withfp =_ f/8p, etc. If Q is assumed to be constant, (15 a, b) imply f-2Qk-Q21
=

(- (V+QX)+B}

(16)

where B is an arbitrary constant. An important combination of the field equations is the following e/tID(RO+R3)=Dp +Dzz = 0,

(17)

vhere D2 = fl + k2. By a standard procedure due to Weyl (I 9I7), the application of wrhichto the stationary vacuum Einstein equations was first noted by Lewis (I 932), one can introduce a coordinate system, without destroying the form (11) of the metric, such that D = p. For our purpose it is more convenient to write down the rest of the field equations This and k = 0 + XQ%. K-k kQl, F = f-2Qk-Q21 + in terms of the functions L-, amounts to transforming to a coordinate system rotating with angular velocity Q. (18) = p2 Note that FL+K2=fl+k2 Our sign convention for the Ricci tensor is as follows
Ritv

,,

( )(jAv/g),

- (Ig

-g),#

v-/J,

-P~~ FX~~~, FAV,(

(19) 9

where g is the determinant of the metric. With the use of (18), the rest of the field equations can be written as follows 2el-pR0 -

(1(KLp -

LKP) + ((KLz 4

LKz)} + Kx)

=16 + 2e/'p{(kI Q

nnezp K-

- Lp + Kyp) Xp+ (-L

=

X}

(20a)

+ Q(f- Qk)RO}(K QL)'

1 (FKp p
4K
(2f2

KFp)} + ( (FKz - KF)

Wf2)

p+

zp

-4 -(Rfp

Xp + kfzXz))

(20b)

- eXll =-2(PP
=-2{L(

z) + 2p-P +

(FpLp+ K

2p+ 2) + 2K(Xp 3>p-X,z%) + F(X2-X2)}+ 4CnmnelI (20 c)

526 -eR2 =-2

=-L
+#)--P

J. N. Islam + p2(FzLz+ Kz
+ + (X2Kp - XzVfz) F(Xy2- x_)} 4mn1eL, ip
LZ+ Fz lp + 2Kp Kz) z XP)+ FyP X:}

{L(p

f-2K

(20d)

R12 =2p

Iz + 42(Fp

2
= p-2

p2

{L#P

34 + K(#P Xz+

(20 e)

Note that in the new variables F, L, K and f the equations (20 a-e) are independent of Q. The functions F, L and K are related by (18). The p- and z-components of the Maxwell equation (3) vanish identically, while the t- and 0-components are as follows + + (-LVfi p + KXP),p (- LVrz KXz)z- - (- LVr + Ks,)
= 4np2e/J0
=-

4np2e#qnF-A, (21a) 0. (21b)

+ (KV,p +FX,P)P (KVrz+Fxz)2-- (Kfp +FxFp)=

47p2(J3-QJO)

Equations (20 a-e) and (21 a, b) are to be solved for the four unknowns,a, n and two of F, L, and K. 3. TwES

O TLAUTION

Let 6 be a function satisfying the equation

6 - 6PP+ zz - 1=
p

0.

(22)

This function can be expressed in terms of a harmonic function as follows.

zz +
p

0.

(23)

The solution, the derivation of which is described in the appendix, is given by the following. F = constant = Fo, #f = constant = bo, K = a6, X = /3, (24) where a and ,8 are constants. , is given by one of the following equations
F0( V2.4i= 1(X2 -4fl2F
P2p

2z

,t=

1 (p

2 + 4fl2F

(25)

the consistency of which is guaranteed by (22). The number density n is as follows,

8tnmn
= (X

- 222FO)

(6+

(26)

Interior solutionfsof Einstein-Maxwell equations

while the ratio of charge to mass is related to the constants a, ing relation 2xfF,12 q
Mn (a2-2,82FO)

527

fiand Foby the follow-

(2) It can be verified that the solution given by (24)-(27) satisfies all the field equations (20 a-e) and (21 a, b). Note that for positive mass one must have a2> 2/?2F0. The solution reduces to that of van Stockum if ft= 0. The constant Fo can be set equal to unity without loss of generality, through a scaling of the time variable t. a can also be set equal to unity by absorbing it in the function 6, but it is useful to retain it. Setting Fo = 1, (27) yields a quadratic for ,8 in terms of q/m and a. The appropriate root of this quadratic is one which tends to zero as q tends to zero. Choosing this root, the expression for the constants appearing in (25) and (26) (with Fo = 1) can be written as follows
l=

qal{m +
-

(M2 + 2q2)i}

,
+ (28)

a
-2

2?2 432

2mMc2/{M + (M2 + 2q2)1} - q2)/{q2

= (4m2

+ 2m2+ 2m(m2 2q2)1}.

As in the case of the van Stockum solution, the present method cannot be used to derive an exterior solution, because (16) is obtained under the assumption n = 0, and hence is not valid outside matter.

4.

DISCUSSION

OF THE

SOLUTION

Since there is no pressure, for IqI# m the material source cannot be a finite one, but must represent sources extending to infinity along the axis of symmetry. For q= m this need not necessarily be the case. However, to show that the solution can represent a finite and bounded source it seems necessary to find an asymptotically flat exterior stationary solution of the Einstein-Maxwell equations that will match smoothly onto the interior solution. This is currently under investigation. A typical particle in the material is acted on by four forces, namely, gravity, electric, magnetic and centrifugal force. It is interesting to see how these forces balance. One way to see this is to consider the Newtonian limit of (16). Inserting the + ( velocity of light c and noting that Vf = 0b QJ) is constant, equation (16) reads as (29) 2f-2Qck - Q21= constant. follows In the Newtonian limit we have 1+C2V +O(C-4),

k = O(c-3), 1=p2+O(C2),

(30)

where V is the Newtonian potential. Equation (29) implies in this limit,

V- p22 = constant,

(31)

which is the usual equation for the gravitational and centrifugal potential. Since the electromagnetic potential does not appear in this equation, this suggests that the

528

J. N. Islam

electric and magnetic forces balance each other. That this is the case can be seen again in the Newtonian limit, in which case the electromagnetic field can be taken as in flat space. To transform conveniently to Cartesian components for this section onilywe set (x?, xI, X2, X3) = (t, p, 0, z), i.e. we interchangethe numberingof 0 and z, and take A, = (, 0, xo0). The tensor F,'4 can now be written as follows (again setting c= 1) O0 z p 0
(F4v)= -

5p
oz ? 0

- xp

(32)

Transform these to Cartesian components F, p by the transformation x = p cos 0, y p sin 0. The result is 0 x
I_f
=FV

x p

x P

y p

q5 Y

0 y
DX _X(33)

Ex 0 Bz

Ey -Bz
0

Ez

~~
Xp

OP

p-pX,o p20 ?

Ex

By,
,

|-op

xz

-Ey -Ez

-Bx
0

-z

%z

xz

-By

BX

where the latter equation expresses the Cartesian components F', in terms of the components of the electric field E = (Ex, Ey, Fz) and the magnetic induction B(Bx, By, Bz). The electromagnetic force on the particle can be written as

q{E+v A B},
where v is the velocity in the Newtonian limit, given by

(34)

v = Q(-y, x, O),

(35)

for a particle rotating with angular velocity Q about the z-axis. When the force (34) is evaluated by inserting the values of E and B given by (33), it is easily seen to vanish by virtue of 0 + QX = const. Thus we have shown that in the Newtonian limit the electric and magnetic forces balance each other. That this is true in the exact solution is indicated by the fact that by virtue of 3f ==constant the right hand side of (16) is constant so that the electromagnetic field does not appear explicitly in this equation of motion. That there is nevertheless a non-trivial electromagnetic field present follows from the fact that the electromagnetic potential cannot be made to vanish (or made equal to a constant) in any frame. In this connection it is interesting to consider the frame which is rotating with angular velocity Q with respect to the original frame. The new frame is given by 0 --0- Qt, the other coordinates remaining the same. Then A,-- (qS QX, 0, X, 0). Since 0 + QX = const., + in this frame the field is purely magnetic (X =,8c =A const.).

Interior solutions of Einstein-Maxwell equations

529

Consider now a particular member of the class of solutions. One of the simplest choices is to take y as follows

= -

r2 -p2+z2.

(36) (37)

Then
so that

py

=3

p2

K = cqp2 3>X

/3p2 = r3*(38)

From (25) and (26) we have respectively (with Fo = 1)

/6-=(-a2+4f2

) (r6 8r8J'

(39)
(2-8r8)} (40)

and

8nmn= (a-2- 2 -2)4-

) exp

(4fl2 -2)

The metric is well-behaved everywhere except on the axis p = 0, where the determinant of the metric vanishes. However, this may simply be a co-ordinate singularity. To examine this question further one has to evaluate the curvature invariants, which we have not done. The manifold r = 0 o0n the axis displays a somewhat peculiar behaviour, as is seen by examining the number density n given by (40). The latter is well behaved everywhere except on. r = 0, which is not necessarily a point. Let the manifold r = 0 be approached along the curves Sk defined by (41) 0 = const., p = kJzJ, where k is a positive constant. On this curve 8imn
=

(X2-2-2)f(+

4)> !exp

(4fi2-a2)

(8k /)4

(42)

Recall that x2> 2fl2 for positive mass. Let z2 be in the range 2/?2 < a2 < 4/2. Then (42) implies that n tends to infinity or zero according as r = 0 is approached along curves Sk given by values of k satisfying 8/2 > 1 or 8/2 < 1. The reverse is true if a2 > 4/52. To determine whether r = 0 is a point, consider the spatial distance covered in going from the point p = p1 on Sk to the 'point' r = 0. The spatial distance from p = p1 to p= P2 on Sk is given by (see, for example, Landau & Lifshitz
1975,

p. 235)

=p

e12(dp2 +dz2)1

= (1+k2)1J'

exp (4

(2+-/c2)(W - 1)

dp.

(43)

For 2,82 < oC2 <4, 2, as Pi - 0 this distance tends to infinity or remains finite accord1) < 0. The reverse is true if a2> 4fl2. This seems to ing as (8k2- 1) > 0 or (/2indicate that r = 0 is not a point but a surface. A similar behaviour is displayed by the van Stockum solution (for , = 0). However, the present solution has a distinct behaviour for a2 = 4,82, in which case number density tends to infinity unambiguously as r ->0, and in this case r = 0 is indeed a point. Although It in this case is constant, the metric nevertheless is non-flat because K still has the form given by

530

J. N. Islam

(38). The value a2 = 4/52 corresponds to q = ? 2m, as is clear from (27). This is somewhat surprising, as it would have been more natural to have this distinct behaviour for q = ? m.
APPENDIX

Here we describe the derivation of the solution. In van Stockum's solution one has F _ constant. One could start with the assumption that this holds in the present case, leading to #f = constant through (16). However, we shall see how this same conclusion can be arrived at from more general considerations. Equations (20c, d) imply

(F Lz+ K2 -FL

2) +

x {L(-_ /rp +

grz2)

+ 2K(Xp tfp-

Xz Rfz) + F(X2 - X2)1

(A 1)

Elimination of ,t between equations (20 e) and (A 1) leads to the following equation. -2pF 2F0z + (p2- K2)[-F-2IAF +FF-3(Fp
-

FI +EF) + 4F-1i0z ?/A+ 2F-2Fz (V'p- r) -4F-2F

F-1KKz /F + 2F-2KFz (KpFp+ KzFz)-F-'Fz (Kp+ K2) + (--KFz + Kz) AK-4K(Xz AVf + fAX) -4FXz AX f + 4F-1KKz (i2 - ?r2)- 8F-1KK, 7 + 4Kz(?rp -V'z Xz) Xp = 0 (A 2) z 4Kp (XpVf + Xz?Ip)+ 2Fz (Xp-X2)-4FPXz]
where the operator A is defined by (21). Recall that F is related to Vfi( 0 + DX) by = (16). The three functions K, f and X thus satisfy the coupled system of three equations (20b), (21 b) and (A 2). It can be shown, by substituting forFfrom (16) in terms of V/, that the expression in curly brackets in (A 2) vanishes for the special case q2 = m2. We confine ourselves for the present to this case. Since Vfis undefined to within an additive constant, the constant B in (16) can now be absorbed in Vfand one can set F - 2. Equations (A 2), (20b) and (21 b) can then be written respectively as follows
[-

+ 2g-1KK, AVf- 2r-2KKz (Vf2+ /f22) 8fr-2K?fz (KP Vrf+ K, V'z) + ( 2?r-lKVz+ Kz)AK - 2?~1r-fz + K2) -4K(Xz Ai{ + /fz AX) (Kp - 4V-2xZAX + 4Vr-2KKZ - V2) -8-2 (V2 KK ? fz + 4Kz (Vfp -b z Xz) X -4Kp (XpXpfz+ +4ffz (X2-X2)- 8?VpXp = ?, (A 3) Xzfrp) Xz] 2+ +/~~Xz)=0? - 2K?0r/\? (A 4) + Vf2A/K ( 4 Xp +4/2zX ~~~~~~~~ + 2K(Vf V0f2)+ 4Vfr2(Vfrp + ?0fd KA?;f+ 3 2AX+ Kpp + KZ z + 23b(p Xp+ zXz) =0. (A 5)

Note that p appears explicitly in (A 3, 4, 5) only in the operator A. This fact and the form of these equations suggests that one should look for a solution in which K, iand X are all functions of 6 satisfying equation (22) (i.e. A6 = 0). With this assump-

Interior solutions of Einstein-Maxwell equations

531

tion one gets the following consistency relations from (A 3, 4, 5) respectively (with etc.). K6 OKIOE,
[-

fr'r K2 -KKr ifrg + 2~/r-2KK6 - 2Vf ifr2 + KgKX - 4KygV/rb- 4(KVf+ f2xb) x,r

22 VKV/tr Kg
X2 4Vf3/fg

V 4Kr

= X6]0,

(A 6) (A 7) (A 8)

f 2K6- 2VK?rK/ 2KM!6 4Vf2 1 = 0 + 2+ X6 + f KVg + 2f2X66 + Kg V/rg 2/x Equations (A 6) and (A 8) can be integrated as follows = 0.

#Kg +_Kg2- 4Kxgf -2V -1Kir

-2t2'x2

u,

(A 9)
(A 10)

Kf +V22X?

= v,

where u and v are arbitrary constants. With the use of (A 10), (A 7) can be integrated as follows (A 11) Vf2K6 -2VfKj6 +4vVr = w, where w is an arbitrary constant. Substituting for xy from (A 10) and for Kg from (A I1) into (A 9) one gets the following equation 6v2 8vw
~22
W2

f3+224=U

(A

12)

(A 12) implies first that u = v = w = 0, in which case (A I1)implies K = (const) yf 2. The latter implies that F and K are proportional. For any metric for which this is the case one can find a linear transformation involving t, 0 such that K vanishes, leading to a static metric, which is not of interest. The alternative solution of (A 12) is that Vf = const. From (A 10) and (A I1) we have Kg = const. # 0, xy = const. =#0. This then leads to the solution we have given in ? 3. Although the solution is here derived 2 under the assumption q2 = Mi2, it turns out that the solution is valid also for q2 in2. This is because the terms that vanish (in the curly brackets in (A 2)) for q2 - m2 also 2 M2 can be vanish when Vf = constant. The fact that the solution is valid for q2 verified directly by substituting in (20a-e) and (21 a, b), as we have done. I am grateful to B. Schutz and N. C. Wickramasinghe for hospitality at University College, Cardiff, and to the S.R.C. for a grant. I thank an anonymous referee for useful suggestions on an earlier version of the paper.
REFERENCES

Landau, L. D. & Lifshitz, E. M. 1975 The classical theory of Fields, 4th ed., Oxford: Pergamon Press. Lewis, T. 1932 Proc. R. Soc. Lond. A 136, 176. van Stockum, W. 1937 Proc. R. Soc. Edinb. 57, 135. Weyl, H. 1917 Ann. Physik 54, 117. Winicour, J. 1975 J. Math. Phys. 16, 1806.