A NNALES DE L ’I. H. P., SECTION A
G. C. M C V ITTIE
Gravitational motions of collapse or of expansion in general relativity
Annales de l’I. H. P., section A, tome 6, n
o1 (1967), p. 1-15
<http://www.numdam.org/item?id=AIHPA_1967__6_1_1_0>
© Gauthier-Villars, 1967, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
1
Gravitational motions of collapse
or
of expansion in general relativity
G. C. McYITTIE
(University
of minoisObservatory Urbana, Illinois,
U. S.A.).
Vol. VI, n° 1, 1967,
Physique théorique.
ABSTRACT. - Einstein’s
equations
ofgeneral relativity
are solvedexactly
for a class of
spherically symmetric
distributions of matter in motion.The solutions for the interior of the distribution are obtained
by using
the notions of a
co-moving
coordinatesystem
and theisotropy
of internal stress, which is reduced to a pressure. This is zero at the outerboundary
of the
configuration
anddensity
and pressuregradients
exist within the distribution. Thespeed
of the motion is calculated. Thetheory
hasanalogies
with that ofspherical
blast waves in classicalgas-dynamics;
it is also
applicable
togravitational collapse.
The
object
of this paper is to describe a class of solutions of Einstein’sequations
ofgeneral relativity. They
refer to aspherically symmetric
mass of material in radial motion which may either be
collapsing
ontothe central
point (gravitational collapse)
or beexploding
from thatpoint (spherical blast).
There is no limitation on thespeed
of themotion, apart,
of course, from the restriction that the localspeed
of the material mustbe less than that of
light.
The results haveanalogies
with thespherical
blast waves of classical
gas-dynamics (Courant
andFriedrichs, 1948)
butwith the additional feature that the
gravitational
self-attraction of the material is acontrolling
element of the motion. The othercontrolling
forceis the pressure
gradient.
Aby-product
of theinvestigation
is thediscovery
2 G. C. MCVITTIE
of the class of solutions of Einstein’s
equations
to whichbelongs
aparticular
case obtained in 1933
by
a different method(McVittie, 1933, 1966).
The solutions are obtained from three
general
conditions:(i)
from apreassigned
form for the coefficients of themetric; (ii)
from the existence ofco-moving coordinates ;
and(iii)
from theassumption
that the stress inthe material is
isotropic.
There is no apriori assumption
that the energy- tensor is of the formappropriate
to a fluidthough presumably
most of theapplications
of thetheory
will refer to this case.Condition
(i)
consists of the assertion that anorthogonal
coordinatesystem
(t,
r,0, cp)
exists in terms of which the metric inside the material has the formHere
Ro,
c are constants, the functionf
is a dimensionless function of rand S is a function of t. The functions
X, ~ ~
are alsodimensionless,
functions of a variable z which is
given by
Q being
still another function of r. The six functions are unknown apriori
and are to be found. The indices(4, 1, 2, 3)
are associated with(t,
r,0, p),
respectively.
The Einstein
equations
with zero cosmical constant arewhere G is the constant of
gravitation.
It is well-knownthat,
for allspherically symmetric
metrics such as(1),
theright-hand
sides of(2)
vanishexcept
forand this means that the
only
non-zérocomponents
of Tij areT14 (= T41), T22,
T 3 3 and T44. Of these T14represents
the momentum of the material relative to the coordinatesystem
in the radial direction. Ifco-moving
coordinatesexist,
as is demandedby
condition(ii),
then T14 = 0.Incidentally,
this expresses more than a « coordinate condition » as may be seen from thefollowing example. Suppose
that the matter iscollapsing
onto the central
point while,
at the sametime,
radiation ismoving radially
outwards
through
the matter. Then T14 would consist of the sum of twoparts, namely (T14)m
due to the matter, and(T14)r
due to the flux of radia-tion.
Clearly
it would beimpossible
to find a coordinatesystem
which followed the matter inwards andsimultaneously
followed the radiation outwards. Therefore the condition T14 = 0 notonly
defines atype
of coordinatesystem
but alsoimplies
that all the material has a uni-directional motion at eachpoint
of space and at each instant of time.The
equation (2)
for T14 may becomputed by
the usual methods(McVit- tie, 1964 a)
and leads to theequation (A.l)
of theAppendix. Inspection
of this
equation
shows that T14 = 0 can be secured forarbitrary S, Q and f,
ifThus the metric
(1)
now takes the formThe
equations (2)
for the stresscomponents
of theenergy-tensor
can now be calculated and are shown in their mixed forms inequations (A.3)
and(A.4).
Condition isexpressed by
This is a
consistency
relation(McVittie,
1964b) which, though
it is not atensor
equation,
is a relation that must exist whenisotropy
of stress iscombined with the form of the metric shown in
(4).
Theequation (5) yields (A. 5)
which is of the formSince r and
y(z)
areindependant
variables-z involves t as well as r it must be the case thatFi, F2, F3
differ from one anotherby
constant multi-ples only.
Thus are obtained the twoordinary
second-order differentialequations (A.6)
and(A.7),
that involve the two fundamental constants a andb,
andgive f and Q
as functions of r. There also arisesequation (A.8),
another
ordinary
second-order differentialequation.
Itgives y
as a func-tion of z, which also involves the constants a and b. Thus the
problem
ofdetermining
y, 7),f
andQ
is reduced to the solution of three second-orderordinary
differentialequations.
Moreover the condition for theisotropy
of stress does not involve S
which,
at this stage, is stillarbitrary.
The déterminations
of f and Q
are discussed in Sec. II of theAppendix.
It turns out that
they
areexpressible
in terms ofelementary
functions and that there are many different cases. Thesearise,
notonly
because differentnumerical values may be
assigned
to the constants aand b,
but also because4 G. C. MCVITTIE
different combinations of the constants of
integration
of theequations (A.6)
and
(A.7)
arepossible.
An exhaustiveanalysis
of allpossible
functionsf
and
Q
has not beenattempted;
instead the methods ofintegration
havebeen indicated and
specimen
solutions have been worked out. A mainconcern is the nature of the
3-space
whose metric isto which the
3-space
in(4)
is conformal. The radialcoordinate q
definedby (A. 10)
is sometimesadvantageously employed
inplace of r and, indeed, f
itself may on occasion serve as the radial coordinate as is indicated inequations (A. 15)
and(A.16).
A
particularly interesting
sub-class of functionsf is
obtainedby setting
b = 0.
Then f and Q
in(A.6)
and(A.7)
cease to be interlockedand f is
found to have one or other of the
expressions
where C is the constant in
(A.20).
Therefore b = 0 is the condition that the3-space (7)
should be of constant curvature.Conversely, if f is given by (8)
then b = 0 from(A.7) provided,
of course, that the caseQ
= constantis excluded. It is
easily
seen thatQ
= constant and b = 0together lead, by
a transformation of the time-coordinate from t toT,
towhere f is given by (8).
Thus the metrics used in thecosmological
modelsand in uniform
gravitational collapse (Mcvittie, 1964 c)
constitutespecial
cases of
(4)
which could also be derived from b =0, ,
=0, y
= 1 in termsof the
original
coordinate t.The
integration
ofequation (A.8) for y
as a function of z is not, ingeneral, possible
in terms ofelementary
functions(see
Sec. III of theAppendix).
To obtain its first
integral
it would be necessary tointegrate (A.25)
whichis Abel’s
equation.
Thus ingeneral
numericalintegration
would be needed tofind y
as a function of z. Nevertheless there exist a number ofelementary particular integrals
of(A.8),
in which one of the two constants ofintegra-
tion is zero. Their
defining
firstintegrals
are listed inequations (A.26)
to
(A.29).
Two of these cases will be considered in more detailpresently.
The use
of co-moving
coordinatesmight
lead to the(incorrect)
conclusionthat the
speed
of themoving
material could not be stated. A more serioussource
of ambiguity
lies in the fact thatspeed
is the rate ofchange
of distancewith time. Since there is no absolute definition of distance in
general
relativity,
and more than one time isdefinable,
it is clear thatspeed
mustbe to some extent a matter of definition also. With the metric in the form
(4),
consider all the material which lies on thepseudo-spherical
surface £ whose radial coordinate is r. As the motion
proceeds,
thematerial will continue to lie on ~ because r is
co-moving.
However the« radius » of E at time t may be defined to be
and this could also be
regarded
as the « distance » of the matter on E from theorigin
r = 0. At time t +dt,
this distance is u + du whereby
the differentiation of(10) treating r
as a constant. One definition of thespeed
of the material on 2 is obtainedby asserting
that it is the rate ofchange
of u withrespect
to t. Thespeed
is thus v =du/dt
whereAlternatively, however,
it could be said that a coordinate time-intervaldt,
for fixed valuesof r, 0,
p,corresponds
to aproper-time
interval on 03A3 ofamount
Hence a second definition of the
speed
could be V =du/ds
whereIn either case, the
speed
isproportional
toSt.
The last
stage
in theanalysis
consists indetermining
the hithertounspeci-
fied function
S(t).
The Einsteinequations (2)
are now reduced to twowhich are written out in full in
(A.33)
and(A.34).
The first of thesegives
the
component T:
of theenergy-tensor
which will be called thedensity,
p.The second
equation gives
the three stresscomponents Ti, T;, T~,
nowequal
to one another.Any
one of them will be denotedby - p/c2,
where p is the pressure. It will be seen that p and p involve 7], y,f
andQ
and alsothe still-unknown function S. Moreover p
and p are
foundseparately,
which
always happens
when Einstein’sequations
are used « in reverse »to calculate the
energy-tensor
whichcorresponds
to a metric ofgiven
form.An
analogous
situation arises in classicalgas-dynamics
when the method of indeterminate functions isemployed (McVittie, 1953).
The
simplest
way offinding S(t)
is toimpose
aboundary
condition.If the
region
outside thespherical
mass is a vaccum, whose metric is that6 G. C. McvrmB
of the Schwarzschild
space-time,
then the pressure at the outer surface must be zero. Let the outerboundary
be thepsuedo-spherical
surface~b
on which r = rb. Then rb is constant
throughout
the motion since r isco-moving.
Thusf, fr, Q, Qr
are constants onEb
whereas z becomes afunction of S alone. Hence the
condition p
= 0 onEb
willproduce
from
(A.34)
anordinary
second-order differentialequation
for S as afunction of t. From this
equation,
S could befound, numerically
if neces-sary, and
analytically
in certain cases as willpresently
be shown.In classical
gas-dynamics
attention is often fixed on adiabatic orisentropic
motions in
which p
isproportional
to a constant power of p and theentropy
of a fluid elements is constantduring
its motion.Suppose
that thepresent theory
were toapply
to a gas. Then it is clearthat,
inprinciple
atleast,
either t or r could be eliminated from(A.33)
and(A.34)
togive
relations of the formThe
probability
that r and t could be eliminatedsimultaneously
from(A. 33)
and
(A.34)
appears to benegligible.
But this would be necessary if it was desired to extract from these formulée a relation of theform p
ocpY.
Ingeneral
therefore it would appear that thepresent theory gives
theanalogues
of the non-adiabatic motions of classical
theory. Or,
atleast,
of those in which theequation
of state varies frompoint
topoint
in the gas.However,
these
questions
need furtherinvestigation
in thelight
of ageneral relativity
definition of
entropy.
In order to examine some features of the motions that are
possible,
thecase of
implosion (St 0)
will be considered with the aid of twoexamples.
Consider first the 1933 solution. If C = 1 in
equation (8)
thenand if in
(A.21),
whichimplies b
=0,
oneputs
where yo is a
positive
constant, thenAgain,
if in(A.31),
r = 1 and n = 1 because b =0,
itfollows,
withes =
Q/S,
thatBut these are the coefficients of the metric of the 1933 solution in the form
given
in McVittie(1966) (1).
This solution is therefore theparticular
caseof the
present theory
obtainedby taking a
= 3 and b = 0. The detailed examination will be found in McVittie(1966)
where it is shown that theboundary condition p
= 0gives
S in terms ofelementary
functions. Ini-tially
S = 1 and the final value is S = 0 forimplosions.
The motionscan be
interpreted
as those of aspherical
mass of gasfalling
onto a centralparticle.
Theparticle
is definedby
a Schwarzschildtype singular region
of
radius rs
around theorigin
r = 0. The constant yoplays
thepart
of thelength-equivalent
of the mass of theparticle
at the initial instant. Thespeed
of the gas, V inequation (12), is, for f =
sin r forexample,
Thus V fails te vanish at the centre r = 0 and the same is true for v in
(11).
But the solution is
hardly applicable
at the centre; for at time t the coordi-nate-radius rs
of thesingular region
is definedby Q(rs)/S
=1,
which means thatHence rs
increases as S decreases from 1 to 0. Thereforeby (16)
the materialon the
singular
surface1~,
of radius r = rs, ismoving inwards,
whereasthe surface itself is
moving
outwards. The pressuregiven by (A.34) contains,
in this case, a factor
(Q - Qb)/(S - Q),
whereQb
denotes theboundary
value of
Q (McVittie, 1966). Hence,
since S -Q(rs)
=0,
the pressure becomespositive
infinite as~S
isapproached
from r > rs. The pressure would benegative
on the side r rs of~s,
if it werelegitimate
to extendthe solution to that side. In some ways therefore
~s
has theproperties
ofa shock front. At any rate, the motion continues until
~s
and the outerboundary
coincide.Since,
at this momentQ(rs) - Qb
= 0 andS -
Q(rs)
= 0independently
of oneanother,
theboundary
value of the pressure is indeterminate. One may say that all the material has then been swallowed upby
thesingular region.
These
peculiar
features of the motions definedby
the 1933 solution areabsent in other cases. Consider the solution discussed in Sec. V of the
(1)
The coordinate co is written for r and 8k stands for the threepossible
values of f in (14), accordingas k = + 1 , 0, or -
1. The derivatives of S are denoted by primes.8 G. C. MCVIII0152
Appendix
in which aspherical
masscollapses
from a state of rest. Theconfiguration
has an outerboundary
r = rb and the motion isspecified by
m ...
Since the outer
boundary corresponds
toQ
= 0 and the centre toQ
=1,
there are no
singularities
or zero valuesof y
or of eT. The function S isfound from p = 0 at r = rb and it satisfies
exactly
the same differentialequation
as it does in uniformcollapse (p and p
functions of talone). The
time T
of collapse
to zero volumedepends
on the initial value of theboundary density
and the formula(A.44)
for T is similar to that found in uniformcollapse (McVittie,
1964c).
The time T is short inspite
of the presence ofdensity
and pressuregradients
within the material. If n > 0and (pb)o
= 10-ngr.cm.-3,
then(A.44) yields
Thus n = 20 would
give
less than700,000
years for thecollapse,
whereasn = 10 would
produce
an,astronomically speaking,
instantaneouscollapse.
The formula
(A.47)
shows that thespeed
of the material has nosingular
values and is
always
zero at the centre.In
conclusion,
it should be stated that an exhaustive search of the litera- ture has not been made in order to discover if any of the results of this paper haveappeared
in some other form elsewhere. One of the difficulties encountered in such a search is thatnearly
every author has his own notation and method ofprocedure.
Twospherically symmetric
metrics with ortho-gonal
coordinates may have a very different appearance until it is found that some transformation of the t and r coordinates turns one metric into the other. But certaininvestigations
should be mentioned. Bondi(1947)
and later Orner
( 1965)
discuss metrics withorthogonal
coordinates in which the coefficient of dt2 isunity
and the coefficients of dr2 and dCJ)2 aregeneral
functions of r and t. Attention is concentrated on cases in which the pressure is either zero or
spatially
uniform. In theinvestigations
ofMisner
(1964, 1965, 1966)
and his co-workers the coefficients ofdt2,
dr2and are more
general
functions of r and t than are those found in(1).
However,
attention is concentrated less on the détermination of the coeffi- cients than on conclusions about the nature of the motion.May
andWhite
( 1965) employ
the Misner form for the metric but their aim is tocompute
solutionsnumerically.
Some of the3-spaces
found in Sec. II of theAppendix, notably (A.22)
and(A.24),
also occur in the work of Takeno(1963).
10 G. C. MCVITTÏE
APPENDIX
1. - The Einstein
equation (2) for ij
= 14 isHence = 0 is satisfied
if ~
= 03B6 andthe solution of which is
given by (3).
The
remaining equations (2)
arethen,
with the form(4)
of themetric,
The
isotropy
of stress isexpressed by (5)
and means thatThe
independence
of r and zimplies
that constants a and b exist such thatThen
(A. 5)
becomes2. - Integration
of
equations (A. 6) and (A. 7). - Theintegral
of(A. 6)
iswhere A is the constant of intégration. Introduce the new radial
coordinate q by
and then
The
equation (A. 7)
becomesAlternative forms of the metric
(7)
are :If f is
determined as a functionof q by (A. 12) then, by (A. 11) also,
and the associated
expressions
for z areIf
f
itself is used as the radial coordinate and the firstintegral
of(A. 12)
iswritten as
~7~
then
The associated values of z are
again given by (A. 14) with q
=The curvature of the
3-space
with metric da2 is obtained from the non-zérocomponents of the Riemann-Christoffel tensor. These are expressed as follows : When 1,
2,
3 represent r,0,
p, then(7) yields
When
1, 2,
3 represent q,0,
q>, then(A. 13) yields
When
1,
2, 3représenta 8,
Q, then(A. 16) yields
Constant curvature occurs when
where C is a
positive
real constant and12 G. C. MCVmTE
(i)
Case b = 0, any a. Theequation (A. 7) yields
the three alternatives shown inequation (8),
where it has also been assumed thatf
= 0 when r = 0.Equa-
tion
(A. 17)
then shows that the 3-space(7)
is of constant curvature. Alsoby (A . 9),
where
C+i,
Co,C_1
are constants ofintegration.
tions
(A. 12) gives
where y is a constant of
integration. Thus f 2
as a functionof q
may be obtained byquadratures.
The form(A. 16)
for the metric becomesand it is easy to show from
(A. 19)
and(A. 20)
that the curvature is not constant.If b
0,
a similar methodapplies.
(üi)
Case a #1, b =1=
0. The first ofequations (A. 12) applies
and theintegra-
tion is
performed by
means of the substitutionsSuppose
thatis
positive.
Thenby
a suitable choice of the constant ofintegration
y, the equa- tion(A. 12)
reduces toand is thus
integrable by quadratures.
Forexample,
if y = thenwhere
y 8
is the second constant ofintegration.
The conditionthat f shall
vanish at q = 0only,
means that 03B4 > O. The metric of the3-space
isgiven by
theform
(A. 13).
When 8 =0,
then the function F of(A.15)
isequal
to(2b1)-1
and the metric
(A. 16)
isBy
(A. 19)
this is a space of variable curvature.The substitutions
(A. 23)
also reduce theintegration
of(A. 12)
toquadratures
in the cases
bf
= 0and bi
0.which is a form of Abel’s
equation.
When one of the two constants of inte- gration of(A. 8)
is zero,particular integrals
of theequation
arise as follows :(i)
Ifthen
(ii)
Ifthen
(iii)
Ifthen
(iv)
For any a and b there isalways
theparticular integral
In all four cases y can be found by
quadratures.
For
example,
if in(A. 26), a
=1 /2,
so that b = 0, thenwhere r is the constant of
integration
and 7] is found from(3),
amultiplicative
constant of
integration being
takenequal
to one.Again
if a = 3 andb + 1 = n2 > 0, then
(A. 28) yields
by
a suitable choice of the constant ofintegration
in the determination of 1).4. - The energy-tensor. - Write
and use
(A. 6) (A. 7)
in(A. 2)
and in either(A. 3)
or(A. 4)
togive
14 G. C. MCVmTE
In thèse
expressions,
of course,f
and Q stand for solutions of(A.6)
and(A.
7)and y, ~ for those of (A.
8)
and(3).
Thus p, p are known to within one undeter- mined functionS(t). If q
is used as the radial coordinate, the substitutionsmust be made in
(A. 33)
and(A. 34).
5. - A
Special
case. - This is defined byThen by
(A . 21 )
withC+1
= 0 and A = -1 /(2C2)
Again
in(A. 30)
let r = 1 and thenWhen these results are used in
(A. 33) (A.34),
there is obtainedIf the outer
boundary
is r = rb, then C may be chosen so thatwhich means that ez = 0 at the outer
boundary
while at the centre r =0,
wehave ez =
1/S.
Moreoveris a fixed time-interval. To fix
ideas,
consider a motion ofcollapse
from rest,so that, at t = 0, S = 1, St = 0, Srr 0. Let
(pb)o
be the initialboundary
valueof the
density.
Then by(A. 37) (A. 39)
and(A. 40)
The
boundary
isgiven by p
= 0 at r = rband,
since ez/2 is zerothere,
S satisfieswhence
which are exactly the same formulée as are found in uniform
collapse (McVittie
1964
d).
Thus T is the total time ofcollapse
to zéro volume(S
=0)
andWith the aid of the
equations (A. 37)
to(A. 44)
we obtainwith
The formula
(12)
for thespeed, together
with thenegative
square root in(A. 43) appropriate
tocollapse, gives
BONDI,
H.,1947,
Mon. Not.Roy.
Astron. Soc.,107,
410.COURANT,
R. and FRIEDRICHS, K. O., 1948, Supersonic Flow and Shock Waves,p. 416-433. New
York,
Intersience Publishers.MAY, M. M. and WHITE, R. H., 1965,
Hydrodynamic
Calculationsof
GeneralRelativistic
Collapse,
UCRL-14242, E. O. Lawrence RadiationLaboratory.
MCVITTIE, G.
C.,
1933, Mon. Not. Roy. Astron. Soc.,93,
325.MCVITTIE, G. C., 1953, Proc. Roy. Soc.
London,
220A,
339.MCVITTIE, G. C., 1964 a, General
Relativity
andCosmology,
2nd Ed.London, Chapman
and Hall.Urbana, University
of Illinois Press. Equs.(4.403)
to(4.412).
MCVITTIE,
G. C.,1964 b,
loc. cit., p. 66.MCVITTIE, G. C., 1964 c,
Astrophys.
J.,140,
401.MCVITTIE, G. C., 1964 d, loc. cit., Equs.
(21)
to(25).
MCVITTIE, G. C., 1966,
Astrophys.
J.,143,
682.MISNER, C. W. and SHARP, D. H., 1964,
Phys.
Rev.,136,
B571.MISNER, C. W., 1965,
Phys.
Rev.,137,
B1360.MISNER, C. W. and HERNANDEZ, W. C.,
1966, Astrophys.
J.,143,
452.MISNER, C. W. and SHARP, D. H., 1964, The Equations
of
RelativisticSpherical Hydrodynamics
(University ofMaryland preprint).
OMER, G. C., 1965, Proc. Nat. Acad. Sci. Wash.,
53,
1.TAKENO, H., 1963, The Theory of
Spherically
Symmetric Space-times. HiroshimaUniversity,
Research Institute of TheoreticalPhysics,
p.36, Equ. (10.27);
p.
226,
Equ.(91.6).
ANN. D4ST. POINCARÉ, A-V!-1 2