A NNALES DE L ’I. H. P., SECTION A
R. R. S HAHA
Definite magnetofluid scheme in general relativity
Annales de l’I. H. P., section A, tome 20, n
o2 (1974), p. 189-200
<http://www.numdam.org/item?id=AIHPA_1974__20_2_189_0>
© Gauthier-Villars, 1974, 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/
p. 189
Definite magnetofluid scheme
in general relativity
R. R. SHAHA, Department of Mathematics, Shivaji University, Kolhapur (India)
Ann. Inst. Henri Poincaré, Vol. XX, n° 2, 1974,
Section A :
Physique theorigue.
ABSTRACT . 2014 The treatment of « definite material schemes » in relati-
vistic hydrodynamics by
Lichnerowicz( 1955)
is extended to magneto-hydrodynamics.
The new fieldequations imply
that the energydensity
is conserved
along
a Bornrigid
flow and themagnitude
of themagnetic
field vector is constant
along
anessentially
rotational flow. In class onespace-times
the schemedegenerates
to definitemagnetofluid
scheme(DMS)
i. e., a
self-gravitating
definite material scheme inmagnetohydrodynamics
with the
magnetic
field vector as aneigenvector
of the stress-energy ten-sor With
conformally
flat class onespace-times
the DMS is compa- tible while theperfect magnetofluid
scheme(Lichenerowicz, 1967)
is notcompatible.
When thespace-time
admits amotion, Tab
for DMS hasSegre
characteristic[3 1] ]
or theeigenvectors
ofTab
are invariants of the group. WhenT~
of DMS has theSegre
characteristic[3 1 ],
Ricci collinea-tion
along
the stream linesimplies
motion but Ricci collineationalong magnetic
linesimplies
motiononly
if themagnitude
of themagnetic
field is an invariant of the group.
2 INTRODUCTION
Modern astronomical discoveries have stimulated keen interest in the
applications
of relativisticgravitational
fields toastrophysics.
Since1962,
the belief that strong
gravitational
fields mayprovide
the clue for quasars, for violent events in nuclei ofgalaxies,
fordeath-by-collapse
of very massiveAnnnles de l’Institut Henri Poincaré - Section A - Vol.
190 R. R. SHAHA
stars and for the
periodic
burst of radio sources hasgained
momentum(Thorne, 1968).
Indeed the occurrence ofmagnetic
field in solar winds(Parker, 1964), spiral
arms(Hewish, 1963)
and sunspots(Wilson, 1968) emphasize
thenecessity
of relativisticmagneto hydrodynamics
for thedevelopment
ofastrophysics.
Perfect fluid schemes are too ideal to describe the
astounding complexity
of
astrophysical
systems. It is necessary tostudy
more realistic schemes.In fact
self-gravitating non-perfect
fluid schemes were initiatedby
Lichene-rowicz
( 1955)
forhydrodynamics.
It isimperative
to extend this treatment tomagnetohydrodynamics
forapplication
toastrophysical
systems. The aim of this paper is to propose such a scheme.3. FIELD
EQUATIONS
FOR DEFINITE MATERIAL SCHEMES IN RELATIVISTIC MAGNETOHYDRODYNAMICS
The field of a
symmetric
stress-energy tensorTab
in a domain of space- time is known as an energy scheme. WhenTab
admits a time-likeeigenvector
then it is called a normal tensor and the scheme is known as a normal scheme.
A normal scheme with
positive eigenvalue corresponding
to time-likeeigenvector
is said to be a material scheme. When thequadratic
formassociated with it is
positive definite,
the tensorT~
is said to bepositive
definite. In this case the energy scheme is called as a
definite
scheme. Theeigenvalues
ofTab
with respect to the metric tensor gab(with signature -2)
are
given by
theequation
where
and
S1, S2, S3, S4,
are theeigenvalues corresponding
to theeigenvectors
Va,Wa, Na,
Uprespectively.
Nowinterpreting
the time-likeeigenvector
as aflow vector with
density
as thecorresponding eigenvalue
we have theexpression
forTab
asTab
=03C1UaUb
+p1VaVb
+ +where pa = -
Sa (oc
=1, 2, 3)
are thepartial
pressures. This representsdefinite
material scheme in relativistichydrodynamics (Lichnerowicz, 1955).
We define the stress-energy tensor for a
self-gravitating thermodynamical arbitrary
fluid with infiniteconductivity
and constantmagnetic
permea-Annales de l’Institut Henri Poincaré - Section A
DEFINITE MAGNETOFLUID SCHEME IN GENERAL RELATIVITY 191
bility (i.
e., thestress-energy
tensor for definite material schemes in relati- visticmagnetohydrodynamics)
aswhere
Here
p is the energydensity,
pa(oe
=1, 2, 3)
are thepartial
pressures,H’‘ is the
magnetic
field vector, r is the matterdensity, E
is the internal energydensity,
i is theenthalpy,
S is the entropy, U’‘ is the4-velocity
andpz = p3 - p we recover Lichnerowicz’s
(1967) expression
forthe
stress-energy
tensor for athermodynamical perfect
fluid with infinite electricconductivity
and constantmagnetic permeability viz.,
But when 0 we obtain Lichnerowicz’s
( 1955)
fieldequations
for definite material scheme in relativistichydrodynamics
asThe
Hawking-Ellis ( 1968)
energy condition which is satisfiedby
allknown forms of matter and all
predicted equations
of state, isIn fact
positive
definite character ofT~k implies
at a
point
in Minkowski space and henceHere (X,
/3, ~
are theprojections
of H’‘along Vk, Wk,
N"‘respectively.
Incidentally
we observe that Einstein spaces are notcompatible
withdefinite material schemes in relativistic
magnetohydrodynamics (hence
Vol.
192 R. R. SHAHA
forth we call this scheme as
general scheme),
inparticular,
and with any material schemes ingeneral. For,
in Einstein spaces(Eisenhart, 1960)
Consequently
we haveand this violates the condition
(3.9)
and hence any material scheme isincompatible
with Einstein spaces.THEOREM . A necessary condition that definite material scheme in relativistic
magnetohydrodynamics
be embeddable in a 5-dimensional Minkowskianspace-time
is that themagnetic
field vector is one of thespace-like eigenvectors.
Proof
2014 If the Riemannian curvature tensor can beexpressed
as(Eisen- hart, 1960)
and
then the
space-time
ds2 - embedded in a 5-dimensional Min- kowski space. LetBy
virtue of(3.13), (3.14)
and Einstein’s fieldequations
we havewhere
= Fromequation (3.2)
we getComparing (3. 15), (3.16)
we havewhich
completes
theproof.
This theorem leads us to the consideration ofspecial
schemes described in the next section.4. DEFINITE MAGNETOFLUID SCHEMES
DEF. A
definite magnetofluid
scheme is adefinite
material scheme in retativisticmagnetohydrodynamics
when themagnetic field
vector isalong
Annales de l’Institut Henri Poincare - Section A
DEFINITE MAGNETOFLUID SCHEME IN GENERAL RELATIVITY 193
one
of
thespace-like vectors of
the tetrad. It follows that thestress-energy
tensor for definite
magnetofluid
scheme(DMS)
iswhen Hk is
along
Vk. The form of Ricci tensor isFor the sake of
simplicity
we use thefollowing
notations:By using
this notation we get anelegant
form ofR~k
as« STRESS BALANCE »
EQUATION.
2014 As a consequence of the Bianchi identities we haveas the
equation
ofcontinuity
andcharacterising
the differential system of stream lines.MAXWELL
EQUATIONS.
For definitemagnetofluid
scheme Maxwellequations (3.3)
reads toConsequently
we haveCONFORMALLY FLAT CLASS ONE SPACE-TIME. From
equations (3.15)
and
(4.1)
we get194 R. R. SHAHA
It has been shown
by Pandey
andGupta (1970)
that if thespace-time
isconformally
flat and class one thenTherefore
equations (4.12) give
From
(4.14)
we note that forperfect magnetofluid
wherewe get 2m =
/H/2 =
0. We conclude that aperfect magnetofluid
schemeis
incompatible
withconformally flat
class onespace-times
whiledef-inite magnetofluid
scheme iscompatible
and hasSegre
characteristic[3 1].
5. PARAMETERS OF SPACE-LIKE AND TIME-LIKE CONGRUENCES IN DEFINITE MATERIAL SCHEME
In definite material schemes
only
two types of congruences existviz.,
time-like congruence determinedby Uk
and threespace-like
congruencesrepresented by VB
Nk. Here we describe the parameters associated with Uk andVk by following Greenberg’s ( 1970a, 1970b)
formalismwhere
The vectors
WB Nk,
and U‘ shouldsatisfy
the transport lawsConsequently
we observe thefollowing
relationsAnnales de l’Institut Henri Poincare - Section A
195
DEFINITE MAGNETOFLUID SCHEME IN GENERAL RELATIVITY
By
virtue of Maxwellequations
the first two relations are satisfied(vide equations (4.8), (4.9)).
We consider the tetrad
vectors (the
Latin index denotes coordinate suffix and Greek index denotes tetradsuffix).
The identification
provides
therelationship
between the parameters andWe
readily
get thefollowing
results :(i)
Bornrigid
flow is characterisedby :
(ii)
Anessentially
rotational flow is characterisedby
(iii)
Anessentially
shear flow is characterisedby:
(iv)
Anessentially accelerating
flow is characterisedby
(v)
Anessentially expanding
flow is characterisedby
SPECIAL FLOWS. 2014 In
expansion-free
flowequation (4.5)
leads toHence in the case of Born
rigid
flow we haveThus for definite
magnetofluid
scheme energydensity
is conservedalong
a Born
rigid
flow while in the case ofperfect magnetofluid
scheme it is conservedalong
anexpansion-free
stream lines.196 R. R. SHAHA
In the case of
essentially
rotational flow we haveso that
(4.11)
leads toi. e. the
magnitude
of themagnetic
field vector is constantalong
an essen-tially
rotational flow.The
uni, f ’orm flow
definedby
is
incompatible
with definitemagnetofluid
scheme. This can be established in thefollowing
way : the Ricciidentity yields
for uniform flowby
virtue of(4.3)
and(4.4).
But this contradicts the condition(3.12).
COVARIANT CONSTANT MAGNETIC FIELD. - When the
magnetic
fieldis
covariantly
constant we haveHence the Ricci
identity implies
p - 3P +
2p1 -
constant.Equation (4. 11 ) produces
T 1 ~C !1i. e. the flow is
expansion-free
and henceby (4.6)
we geton
contracting
withVk.
Thus the fieldequations
for DMS arecompatible
with covariant constant
magnetic
field. In this case the flow isexpansion-
free and the
longitudinal partial
pressure palong
themagnetic
field vectoris constant
along magnetic
lines.6. GROUP OF MOTIONS
AND DEFINITE MAGNETOFLUID SCHEME
In order to
comprehend
thesignificance
of the fieldequations governing
the
self-gravitating magnetofluid
scheme a usualtechnique
is toinvestigate
the groups of motions admitted
by
thecorresponding space-times.
However« the
problem
as to which groups of motioncorrespond
to agiven
type ofgravitational
field remains unsolved »(Petrov, 1969).
Hence westudy
theAnnales de l’Institut Henri Poincaré - Section A
197
DEFINITE MAGNETOFLUID SCHEME IN GENERAL RELATIVITY
converse
problem by examining
the consequences of certainsymmetries
on the metric tensor as well as on the Ricci tensor.
THEOREM I. Let the
space-time
admits a motion. If the stress-energytensor
T~k
has notSegre
characteristic[3 1] then
tetrad is an invariant ofthe group.
~roof.
Aspace-time
is said to admit motion when the functional form of the metric tensor g~k is invariant under an infinitesimal transformation.It is well-known that
equation (6 .1 ) implies
For DMS the
equation
reads asHence on
contracting
with UlUk andusing (6 .1 )
we getSimilarly contracting
in succession withWtW’‘,
weproduce
On
substituting (6.5), (6.4)
in(6.3)
theequation
= 0yields
"
Similarly
other contractionsproduce
For
positive
pressures anddensity
theequations (6.17) imply
eitheror
In the second case we have
Vol.
198 R. R. SHAHA
hence
Tik
hasSegre
characteristic[3 1].
Thus we conclude that if the stress- energy tensor has not theSegre
characteristic[3 1] the
tetrad vectors areinvariants of the group.
Remark. 2014 In
spherically symmetric
andplane symmetric space-times
the tensor
T~~
of DMS hasSegre
characteristic[3 1].
7. RICCI COLLINEATION
The infinitesimal transformations which leave invariant the functional form of the Ricci tensor is known as Ricci collineation. Collinson
( 1970)
established the conservation law
corresponding
to the Ricci collineation which can begiven
aswhere ~k
is any vector.For « non-Zeldovich »
magnetofluid
Khade( 1973)
has shown that aRicci collineation
implies motion.
In this section westudy
the Ricci colli- neationalong
theprincipal
vectors of the stress-energy tensor for DMS.THEOREM II. Ricci collineation
along
the world lineimplies
that thestreamlines are
geodesic
andexpansion-free
forDMS,
Proof
- From the definition of Lie derivative we haveFrom
equations (4.8)
and(4.9)
we observe thatThe Ricci collineation
along
Uk for DMS isexpressed through
By
Collinson’s conservation law(7 .1 )
we haveEquation
= 0implies
Annales de l’Institut Henri Poincare - Section A
199
DEFINITE MAGNETOFLUID SCHEME IN GENERAL RELATIVITY
and hence
(7.5) implies
Contracting (7.4) successively
withUtWk,
UiNk we havesince p + 3P + 2~ 5~ 0. Thus
where p + 3P + 2~ 7~ 0. This condition is consistent with
(3. 12).
THEOREM III. - In the case
~ = ~ = ~ -
+ b -~2n2 ~
0 the invariance of Ricci tensoralong
the flow vectorimplies
the invariance of the metric tensor.Proof. 2014 By
virtue of(7 . 3), (7. 8)
theequation (7.4)
on innermultiplica-
tion with
WB WiWk, NiNk, VW, V’NB implies
We consider the
special
case :first three
equations
of(7.9)
and(7.8) give
Similarly
last threeequations produce
From
equations (7 . 10)
and 0(7.11)
we observe ’ thatand 0 hence ’
by (7.8)
Thus
200 R. R. SHAHA
Remark. 2014 It may be notted that
analogous
to Theorem II there exist similar theorems for the vectorsVk, W"‘,
Nk. For Ricci collineationalong magnetic
lines we have the conditions~2=P3=~"~~ pi + b - a2n2 ~ 0
and 0.
ACKNOWLEDGEMENT
The author is
grateful
to Dr L. Radhakrishna for his valuableguidance
in the
preparation
of this paper.[*] C. D. COLLINSON, Conservation Laws in General Relativity Based Upon the Existence of Prefered Collineation. General Relativity and Gravitation, t. 1, 2, 1970, p. 137.
[1] L. P. EISENHART, Riemannian Geometry, Princeton University Press, Princeton, 1960, p. 92.
[2] P. J. GREENBERG, Propagation Equations for the Set of Natural Geometrical Inva- riants in Relativistic Hydrodynamics. J. Math. Anal. Appl., t. 29, 1970, p. 647.
[3] P. J. GREENBERG, The General Theory of Space-like Congruences with an application
to Vorticity in Relativistic Hydrodynamics. J. Math. Anal. Appl., t. 30, 1970, p. 128.
[4] S. W. HAWKING and G. F. R. ELLIS, The cosmic Black-Body Radiation and the Existence of Singularities in Our Universe. Astrophys. J., t. 152, 1968, p. 25.
[5] A. HEWISH, Pulsars. Endeavour, t. 28, 104, 1969, p. 55.
[6] V. D. KHADE, Studies in Groups of Motions and Ricci Collineations. Ph. D. Thesis, unpublished, Shivaji University, 1973.
[7] A. LICHNEROWICZ, Théories relativistes de la Gravitation et de
l’Électromagnétisme.
Masson et Cie, Paris, 1955, chap. I.
[8] A. LICHNEROWICZ, Relativistic Hydrodynamics and Magnetohydrodynamics. W. A. Ben- jamin, Inc., New York, chap. IV.
[9] S. N. PANDEY and Y. K. GUPTA, Space-time of Class one and Perfect Fluid Distribu- tion. University of Roorkee Research Journal, t. 12, 1970, p. 9.
[10] E. N. PARKER, The Solar Wind. Frontiers in Astronomy. Readings from Scientific American, W. H. Friedman and Co., San Francisco, 1964, 1970, p. 98.
[11] A. Z. PETROV, Einstein Spaces. Pergamon Press, 1969, Chap. 4, p. 132.
[12] K. S. THORNE, Astrophysical Relativity. Orange Aid Preprint Series in Nuclear Astro-
physics, 1968, OAP-123.
[13] P. R. WILSON, The Structure of a Sunspot. Solar Physics, 1968, t. 3, p. 243.
(Manuscrit reçu le 22 octobre 1973)
Annales de l’Institut Henri Poincare - Section A