A NNALES DE L ’I. H. P., SECTION A
H ENNING K NUTSEN
On the possibility of general relativistic oscillations. II
Annales de l’I. H. P., section A, tome 39, n
o2 (1983), p. 101-117
<http://www.numdam.org/item?id=AIHPA_1983__39_2_101_0>
© Gauthier-Villars, 1983, 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/
101
On the possibility
of general relativistic oscillations II
Henning KNUTSEN (*)
Institute of Theoretical Physics,
University of Warsaw, 00-681 Warsaw, Hoza 69, Poland
Vol. XXXIX, n° 2, 1983, Physique # théorique.
ABSTRACT. 2014 The
configuration
of aspherically symmetric
distribution of matter isinvestigated.
Conditions which are necessary and sufficientare
given
for thedensity
to be uniform. The motion of theconfiguration
is
investigated
with a view to oscillationsusing
differentphysical
condi-tions and initial conditions. It is shown that for many classes of
solutions,
these conditions are sufficient to conclude that oscillations are notpossible.
Particularly
it is found that for a gasous mass, oscillations are notpossible.
For other classes of
solutions,
it is shown that the conditions necessary for the solutions to bephysically acceptable,
are consistent with oscillations.However, these conditions are in
general
not sufficient.RESUME. - On etudie la
configuration
d’une distribution de matiere asymetrie spherique.
On donne des conditions necessaires et suffisantes pour que la densite soit uniforme. On etudie Ie mouvement d’une telleconfiguration
avec en vue sesoscillations,
sous differentes conditionsphysiques
et avec differentes conditions initiales. On montre que pour de nombreuses classes desolutions,
ces conditions sont suffisantes pour conclure al’impossibilité
des oscillations. On trouve enparticulier
que les oscillations ne sont paspossibles
pour une masse gazeuse. Pour d’autres classes desolutions,
on montre que les conditions necessaires pour que les solutions soientphysiquement acceptables
sontcompatibles
avec desoscillations. Par contre, ces conditions ne sont en
general
pas suffisantes.(*) Present adress: Institute of Theoretical Astrophysics, University of Oslo, Oslo, Norway.
Annales de l’Institut Henri Poincaré-Section A-Vol. XXXIX, 0020-2339/1983/101/$ 5,00/
(Ç) Gauthier-Villars 5
1. INTRODUCTION
Using
aspecial
form of the metric G. C. McVittie hasinvestigated
theradial motions of a
spherically symmetric
mass distribution under the influence ofgravitation
and pressuregradient [1 ]. By imposing
certainsymmetry
conditions,
instead ofassuming
aparticular equation
of state,McVittie was able to solve Einstein’s field
equations
for the coefficients of the metric. The metric usedby McVittie belongs
to a classinvestigated by Thompson
and Whitrow[2 ], (Shear-free motion).
The relation between the components of the metric tensor seemsphysically plausible
becausethis relation
implies
a constant value for the ratio of the distances AB andAC,
as measuredby
a localobserver,
whereA,
B areneighbouring particles
on asphere
R = constant andA,
C areneighbouring particles
on the same radius vector
trough
0.Mansouri
[3] ]
and Glass[4] ]
have shown that if the metric is of theThompson-Whitrow
type, anequation
of state cannot exist. But not all of McVittie’s solutionssatisfy
anequation
of state.Assuming isotropic
pressure, McVittie was able to
give
four different classes ofanalytical
solutions of Einstein’s
equations
for the interior of the mass distribution.These four classes of solutions have been
investigated restricting
the scale-function to have the value
unity
at the initial moment[5 ], [6].
To avoidcomplications,
differentintegration
constants whichappeared
were alsorestricted to take
particular
but ratherarbitrary
values. In this paper it is shown that these last two restrictions are much toostringent.
Classesof
physically
veryimportant
andinteresting
solutions may be lost. Ande l’Institut Henri Poincaré-Section A
example
is aphysically acceptable oscillating
model foundby
Nariai[7 ].
Instead of
assuming
the scale-function to have the valueunity
at the initialmoment and
giving particular
values tointegration
constants,specific
relations will be assumed
connecting
the initial value of the scale-function and theintegration
constant.Different
physical
conditions and initial conditions are also introduced :to fit the internal solution to an external vacuum Schwarzschild solution it is necessary to put the pressure
equal
to zero at theboundary.
It will’be
required
that the mass is at rest at the initial moment. Thefollowing
three restrictions are used for the
boundary
and initial moment : thedensity gradient
with respect to radial coordinate will be demanded to be non-positive.
The acceleration must benegative.
Thedensity
cannot takenegative
values. We shall alsorequire
the acceleration to bepositive
atthe
boundary
at the bounce.The purpose of this paper is to
investigate
in detail the four classes ofanalytical
solutions withregard
tooscillatory
motions.2. BASIC
EQUATIONS
With
co-moving
coordinates the metric within the mass is written[1 ] :
where
Ro
is a constant, c is thespeed
oflight,
Sandf
are dimensionless functions of t and r,respectively,
and yand ~
are dimensionless functions of the variable z definedby :
where
Q
is another function of r. It is also shown in[1] ] that
If the pressure is
isotropic,
then it is shown in[1] ] that Q, f and y satisfy
three differential
equations :
where a and b are constants.
2-1983.
It is shown in
[1] ] that (4)
and(5)
arealways integrable
in terms of elemen-tary
functions,
but(6)
isonly
sointegrable
in fourspecial
cases, denotedin
[7] ] by equations (A. 26)
to(A. 29) :
Of these
(A. 27)
is a subcase of(A. 29).
These four cases form the classof solutions which will be
investigated
in this paper.Equations (A. 33)
and(A. 34)
in[7] ] give
for thedensity,
p, and the pressure, p,respectively :
To fit the internal solution to an external vacuum Schwarzschild
solution,
it is necessary to put the pressureequal
to zero at theboundary :
Henceforth
boundary
values will be denotedby
the suffix b.In
[6] it
was shown that the condition(13) gives
thefollowing ordinary
differential
equation
of first order forSt :
Annales de l’Institut Henri Poincaré-Section A
where the definitions of Hand J may be found in
[6 ] .
In[5] it
was foundthat without loss of
generality
one could put :The mass will be assumed to be at rest at the initial moment, i. e. :
This
completes
the summary of thegeneral theory.
3. THE GRADIENTS
The pressure
gradient
with respect to theco-moving coordinate r,
pY, may be founddirectly
from( 12),
butalternatively
it may be derivedusing
the covariant derivative of the energy momentum tensor with respect to r.
Thus : _
The derivative of the
density
withrespect
to time t, p~, may be founddirectly
from( 11 ),
butalternatively
it may be derivedusing
the covariant derivative of the energy momentum tensor with respect to t.Thus :
If the
physical restriction pr
0 isimposed,
and we demand anincreasing density
for the contractionperiod,
i. e.St 0,
from( 17)
and( 18)
we obtainthe
following
relations :In
passing
we also note that(2)
and(17) immediately yield :
From
(21 )
we conclude that anequation
of state could exist if andonly
if p
and p
were both functions of y alone. As was shownby
Taub[8 ] ,
ifthe motion is shear-free and an
equation
of stateexists,
then McVittie’srequirements
on the coefficients of the metric are fulfilled. But from the results of Mansouri[3]
and Glass[4].
Î. e. the non-existence of anequation
of state, we conclude that p
and p
cannot both be functions of y alone.2-1983.
The
density gradient
with respect to radial coordinate r may be found from(11):
4. UNIFORM DENSITY
From
(22)
it isimmediately
obtained that thedensity
isuniform,
i. e.p ==
p(~),
if andonly
if one of thefollowing
threeequations
is fulfilled :(23)
is the mostinteresting
case because it represents one of the classes ofanalytical
solutions for the function y, i. e.(A. 29).
This results is consistent withprevious
resultsby
McVittie and Stabell[9] ]
andby
Bonnor andFaulkes
[10] . They
showed that in their case thedensity
is a functionof time alone. Both cases are subcases of
(A. 29).
The case treatedby
McVittie and Stabell is the case ~ == 1, ~ =)= 3, b = 2 - a. The case treated
by
Bonnor and Faulkes is the case b =0, / ==
r.If
(24)
isfulfilled,
then the pressuregradient (17)
and the condition(13)
for the pressure at the
boundary yield
that the pressure isalways
and every- where zero. The condition(2) for y and ~ yields
that y is a function of time alone and the metric(1)
may be written in thefollowing
form:where G is a
positive
function of r alone andIt was further
proved
in[1] ]
that whenQr
=0, f
may be written :where C is a
positive
constant.(26)
is of course one of the forms of aRobertson-Walker-metric for
pressureless
dust.The
equation (25)
may be written :where g
is apositive
constant.Annales de , l’Institut Henri Poincare-Section A
5. ON THE POSSIBILITY OF OSCILLATIONS
5 .1 y
= constant.Using equations (2), (3)
and the condition( 13 ),
pb =0,
from( 14)
thefollowing
dinerentialequation
is obtained for the scale-function S :where N is a constant and
So
is the initial value of S. Henceforth initial values will be denotedby
the suffix 0. Since the function on theright
handside of
(28)
ismonotonic, oscillatory
motion is notpossible.
The four different classes of
analytical
solutions(A. 26)
to(A. 29)
willnow be
investigated
withregard
tooscillatory
motion as far as a definiteconclusion is not
already
drawn in[6 J.
(7)
thenyields
thefollowing equation :
where the
integration
constant k should bepositive
to avoid asingular
metric.
Differentiating (29)
with respect to z andusing
the condition(20)
it is found that
The condition that the
density gradient (22)
must benon-positive
may be written :From
(31 )
we note theinteresting
result that in this case thenon-posi-
tiveness of the
density gradient
isonly dependent
upon the variable r, notupon
the variable y.The condition 0 may now be written :
2-1983.
The constants
Bb B2, B3,
are defined in[6].
Thefollowing equation
for the scale-function is obtained :
where
W and ~ are
arbitrary integration
constants. From(33)
thefollowing
necessary
oscillatory
conditions are then obtained : From(37)
it iseasily
obtained :consistent with
(32),
but the strict condition == 0 is thus notcompatible
with
oscillatory
motions.Defining
a constant Zby
the condition 0 may now be written :
The restriction that the acceleration must be
negative
at theboundary
at the initial moment, i. e. 0 may be written
using (12)
for thepressure and the condition
( 13),
0 :If the strict
condition 03C1b,0
= 0 isimposed,
then thefollowing inequality
is
easily
derived from(40)
and(41 ) :
consistent with
(32)
and(38).
In
[6] ]
it was shown that when k == 1 andSo
= 1 oscillations are notpossible.
It will be shown below that oscillations are notpossible
in the3 -a more
general
case =1.The condition 0
yields :
Annales de l’Institut Henri Poincaré-Section A
But from the definitions of
U, V,
Z thefollowing equation
is obtained :In this case the necessary
oscillatory
conditions(37)
and the conditionPb.O
0 areincompatible. Oscillatory
motions are thus notpossible
in3-~
this subcase. The restriction
kSo 5
== 1 for case(A. 26)
is from now on relaxed.If one makes the
requirement
pb =0,
thefollowing equation
for thescale function is obtained from
(11):
This
equation
isquite
similar toequation (33)
andagain
the necessaryoscillatory
conditions(U>0,V0,Z>0)
and theequation (44)
areincompatible.
Henceoscillatory
motions are notpossible.
In the
passing
we note thatequation (45)
is aspecial
case ofequation (33),
and for a proper choice of anintegration
constant the condition pb = 0 thusyields
pb --_0,
i. e. the matter is gaseous. Thepossibility
ofconstructing
atime
dependent
gaseous model is left for a laterinvestigation
(A . 26) yields
thefollowing equation :
Using
condition(20)
it is now found that :In our case a =
3,
b == 20141, equation (5)
may be solved forf
andQ by
the same methodspecified
in[6],
page351,
where the sameequation
was solved when a =
5,
b = 2014 4. The results are the same and aregiven
in
[6 by equations
denotedby (65)
to(73)
in that paperIrrespective
ofthe
integration
constant P found in[6 it
is seen that one mustimpose
the restriction q > 0. This
yields immediately :
in contradiction to
(47).
For this model thecondition pr
0 thus cannotbe
fulfilled,
and we discard it asphysically unacceptable.
Vol. XXXIX, n° 2-1983.
5.3 A.27.
(8)
thenyields
thefollowing equation :
where the
integration
constant k should bepositive
to avoid asingular
metric. The
following
differentialequation
is obtained for the scale-function :where
E and a 1 are
arbitrary integration
constants, and/~ 1, Yb ð1
1 are constantsdefined in the
following
way :Necessary oscillatory
conditions are then that thepolynomial
on theright
hand side of(50)
has at least twopositive
roots and that thepoly-
nomial is
positive
between these two roots.The condition that the
density
must bepositive
at theboundary
at theinitial moment, i. e. >
0,
may now be written :In
[6 ]
it was shown that when k == 1 andSo
== 1 oscillations areimpossible.
It will be shown below that oscillations are notpossible
inthe more
general
case == 1. Because the mass is at rest at the initial moment, i. e.(St)o
= 0 it must be the case that :(55)
and(56)
nowyield :
Inspection
of(50)
then shows that oscillations areonly possible
if :Combining (56), (57), (58), (59)
thefollowing
relation is obtained :Annales de l’Institut Henri Poincaré-Section A
But
(60)
isequivalent
to thefollowing inequality
which cannot be fulfilled :Hence, oscillatory
motions are notpossible
in this case.In this case
(8) yields
thefollowing equation :
where k is an
integration
constant.Using
theequation (13),
pb =0,
thefollowing
differentialequation
is now obtained for the scale-function :where
and A is an
arbitrary integration
constant. The definition(2)
of z and thecondition
( 15)
forQb yield then,
since y must bepositive :
A necessary
oscillatory
condition is then:The
polynomial
on theright
hand side of(63)
has at least twopositive
roots and the
polynomial
ispositive
between these two roots.The
physical
condition that thedensity
must bepositive
atthe boundary
at the initial moment, i. e. >
0,
may now be written : .If one
puts k
= 1 andSo
== 1 as in[5] and [6 ], (66)
turns into :But from the
oscillatory
condition it may beeasily
seen now that :in contradiction to
(67).
Hence,
nooscillatory
motions arepossible
in this subcase.In
[6] ]
it was found that oscillations areonly possible
if b > - 1.In
[5] 5
is definedby
~ == ~ + 1.Vol.
(9)
thenyields
thefollowing equation :
where the
integration
constant k should bepositive
to avoid asingular
metric.
Differentiating (69)
with respect to z andusing
the condition(20)
it is found that :
If we restrict the
analysis
to the case 1 the condition that thedensity gradient (22)
must benon-positive
at theboundary
at the initialmoment i. e.
0,
may now be written :Using
as before the condition0,
we nowobtain:
in contradiction to
(71 ).
This model must thus be discarded as
physically unacceptable.
Thecase k =
1, So
= 1 discussed in[5 and [6 is
a subcase of this case. The restrictionkS-03B40
== 1 for case(A. 28)
is from now on relaxed.In
[5 ],
page379,
we find thefollowing
way ofdealing
with & ==0, suggested by
W. B. Bonnor. A coordinate transformation can be found whichchanges
the
(t, r)
ofequation (1)
into(~ r*)
andleaving
the formof (1) unchanged.
It turns out that the transformation can be chosen so that the constant b in
(5)
is zero.However,
the transformation cannot be used when b = 2 - a,so for the case
(A. 27)
this line of attack is abandoned. In theremaining investigation
of case(A. 28),
fulladvantage
is taken of thistransformation,
so that we
only
have to deal with thesimple
case b =0,
i. e. 5 == ± 1.The condition ~ 0
again
reads :The restriction 0 may be written :
where
The condition
0,
may be written :Annales de Henri Poincaré-Section A
Combining (73)
and(74)
it is theneasily
found that :Combining (73), (74), (75)
it is alsoeasily
found that :This is
clearly
notcompatible
withputting k
=1, So
== 1 as it is done in[~]and[6].
In this case the
following equation
for the scale-function is obtained.where
D’is
anintegration
constantfulfilling
the conditionD2
>4B1E.
From(78)
it is seen that necessary
oscillatory
conditions may be written : which is consistent with(76).
Using (82)
and(83)
in(75),
it is then obtained that :i. e. the
density
at theboundary
at the initial moment cannot be zero.From
(82)
it isimmediately
seen thatonly
column 1 of Table I in[4] is compatible
with oscillations. Table I alsoyields :
and for convenience define :
The condition 0 now
yields :
in contradiction to
(87).
This model must thus be discarded as
physically unacceptable.
Oscillatory
condition from the scale-functionequation : Non-positive density gradient,
0:Negative acceleration,
0 :,Positive acceleration at the
boundary
at the bounce:A necessary, but not sufficient
requirement
for aphysically acceptable
model is then that
(/3, Y)
lies in the shaded area ofFigure
2.The
analysis
andprincipal
results are very much the same as in theprevious case, 5
==1,
so we do not write it out in detail.The
oscillatory
model foundby
Nariai[7] is
aspecial
case of this solution.Annales de l’Institut Henri Poincaré-Section A
(22) yields
that in this case thedensity
is uniform. Since thegeneral non-singular
solution for atime-dependent
shear-freesphere
of uniformdensity
isgiven by Gupta [11 ],
we will notgive
a detailedanalysis
for thiscase. A detailed
investigation
of thepossibilities given by Gupta’s
workwill be
published
elsewhere.When we put b =
0, (10) yields
thefollowing equation :
The
following equation
for the scale-function is then obtained :where ..., 03C99 are constants
implicitly
defined and X = From(93)
it seen that in this caseSt
cannot beexpressed
inelementary
functions of S if a is not
specified. Hence,
it isimpossible
to find necessaryoscillatory
conditions from(93).
We also note from( 18)
that :for a non-static model.
A method used in
[6 ]
when the case(A. 29)
wasinvestigated
in thatpaper, is in contradiction to
(94).
The results in
[6] is
in fact not correct But in view of the new result in this paper, i. e. pr == 0 for the case(A. 29),
those mistakes are notimportant
any more.
6. SUMMARY
A group of solutions of Einstein’s field
equations
foundby
McVittie[1] ]
is
investigated.
It is found that for oneanalytical class, (A. 29),
of thisgroup, the
density
is uniform. Withregard
tooscillatory
motions thefollowing
results are obtained :A)
If thedensity
at theboundary
is zerothroughout
themotion,
oseil- lations are notpossible.
B) If y
= constant, the differentialequation
for the scale-functionyields
that oscillations are notpossible.
C)
Case(A. 27), So
=1, k
=1, a
= 3 or ==l, a ~
3 : oscillationsare not
possible.
Vol. 2-1983.
3-~
D)
Case(A. 26), kS0
=1,
0: oscillation is notpossible.
E)
Case(A. 26), a
=3 , pr
0 cannot be fulfilled.F)
Case(A. 28), 1,
conditions 0 and 0 arein contradiction.
G)
Case(A. 28),
a >0, ~3
> 0 : oscillations are notpossible.
H)
Case(A. 28),
a0, (3
0 : it ispossible
to fulfill all the conditions0,
>0,
0 and the necessaryoscillatory
conditionsfrom the
equation
for the scale-function. Theoscillatory
model foundby
Nariai
belongs to
this case.But it must be stressed that
though
these conditions are necessary,they
are not sufficient to secure aphysically acceptable oscillatory
model.7. A COMMENT ON OSCILLATORY MOTION IN EINSTEIN-CARTAN THEORY
Using
a so-called « classical »description
ofspin
in Einstein-Cartantheory
for aspherical symmetric
mass distribution Kuchowicz[72] ]
hasshown that the
expressions
for both the energydensity
p and the pressure p will differ from thecorresponding expressions
ingeneral relativity only by
an additive termproportional
toQ2 . Q
is here theonly non-vanishing
component of the torsion tensor. Kuchowicz also
gives
argumentswhy Q
should be put
equal
to zero at theboundary,
i. e.Qb
= 0.Following
Kuchowicz andusing (1)
as the metric for thespherical
massdistribution,
thefollowing
result isimmediately
obtained : Since all ourconclusions
concerning oscillatory
motions are based on pressure,density, density gradient
andacceleration,
all taken at theboundary,
aIl our resultsconcerning oscillatory
motions are also valid in this version of Einstein- Cartantheory.
ACKNOWLEDGMENT
The author is
grateful
to Professor A. Trautman forreading
themanuscript,
and he also wants to thank First-amanuensis R. Stabell forhelpful
comments.[1] G. C. MCVITTIE, Ann. Inst. H. Poincaré, t. A VI, 1, 1967, p. 1.
[2] I. H. THOMPSON and G. J. WITROW, Mon. Not. R. Astr. Soc., t. 136, 1967, p. 207.
[3] R. MANSOURI, Ann. Inst. H. Poincaré, t. A XXVII, 2, 1977, p. 175.
[4] E. N. GLASS, J. Math. Phys., t. 20, 7, 1979, p. 1508.
[5] G. C. MCVITTIE and R. STABELL, Ann. Inst. H. Poincaré, t. A IX, 4, 1968, p. 371.
[6] H. KNUTSEN and R. STABELL, Ann. Inst. H. Poincaré, t. A XXXI, 4, 1979, p. 339.
[7] H. NARIAI, Prog. Theor. Phys., t. 38, 1967, p. 740.
Annades de l’Institut Henri Poincaré-Section A
[8] A. H. TAUB, Ann. Inst. H. Poincaré, t. A IX, 2, 1968, p. 153.
[9] G. C. MCVITTIE and R. STABELL, Ann. Inst. H. Poincaré, t. A VII, 2, 1967, p. 103.
[10] W. B. BONNOR and M. C. FAULKES, Mon. Not. R. Astr. Soc., t. 137, 1967, p. 239.
[11] P. S. GUPTA, Ann. Physik., t. 2, 1959, p. 421.
[12] B. KUCHOWICZ, Acta Phys. Pol., B 6, 1975, p. 555.
( M anuscrit le 10 juillet 19R1 ) (Version révisée, reçue le 17 septembre 19’ ?)
Vol. n° 2-1983.