R ENDICONTI
del
S EMINARIO M ATEMATICO
della
U NIVERSITÀ DI P ADOVA
L UCIANO B ATTAIA
A principle involving the variation of the metric tensor in a stationary space-time of general relativity
Rendiconti del Seminario Matematico della Università di Padova, tome 56 (1976), p. 139-145
<http://www.numdam.org/item?id=RSMUP_1976__56__139_0>
© Rendiconti del Seminario Matematico della Università di Padova, 1976, tous droits réservés.
L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) 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 conte- nir 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/
Principle Involving
in
aStationary Space-Time of General Relativity.
LUCIANO BATTAIA
(*)
SUMMARY - Within
general relativity
we introduce a variationalprinciple, involving
the variation of the metric tensor in astationary spacetime,
and
concerning
theequilibrium
of an elasticbody capable
ofcouple
stresses but not of heat conduction.
1. Introduction.
In this work we consider an elastic
body C capable
ofcouple
stres-ses but not of heat conduction and we assume absence of electro-
magnetic phenomena.
Basing
ourselves on a certain variational theoreminvolving
thevariation of the
space-time metric, firstly
formulatedby
Taub in[4]
and extended
by Sch6pf
and Bressan to thenon-polar
andpolar
cases
respectively
- cf.[3]
and[2]-,
we introduce a variationalprin- ciple concerning
the rest of abody C
of thetype
above.More in detail we prove that if
63
is a certain 3-dimensionalregion
of a
stationary spacetime S4,
theequilibrium
of thebody C,
in thestationary
frame(x),
isphysically possible
if andonly
if the functional(*)
Indirizzo dell’A.: Seminario Matematico, Universith di Padova - Via Belzoni 7 - 35100 Padova.Lavoro
eseguito
nell’ambito deigruppi
di ricerca matematica del C.N.R.140
is
stationary
withrespect
to certain variations of themetric,
where 1~is the bicontracted Riemann
tensor, h
Cavedish’sconstant,
c the velo-city
oflight
in vacuum and e the proper actualdensity
of matterenergy.
This theorem is an
analogue
of the relativistic variationalprinciple proved
in[1].
2. Preliminaries.
We follow the
theory
of continuous media ingeneral relativity
constructed
by Bressan,
cf.[2] (cf.
also[1]
and the referencestherein) .
Let C be a continuous
body
and 5’ a processphysically possible
for C in a
space-time S4
ofgeneral relativity.
We shall consideronly regular
motions forC,
e.g. withoutslidings
andsplittings;
hence Ccan be
regarded
as a collection of materialpoints.
By (x)
we denote an admissibleframe; by (1 )
themetric tensor
corresponding
toS ; by
the fourvelocity [accelera- tion] of C at
the eventpoint
8.Then we consider a
particular
process ~*physically possible
forthe universe
containing e,
the world-tubeW8
of C in ~’* and an admis- sible frame(y).
We call the intersection ofWd
with thehyper-
surface We use the
co-ordinate yL
of the intersection ofS*
with the world line of the
point
P* of C as L-th material co-ordinate(2).
We
represent
thearbitrary (regular)
motion of C in thesystem
of co-ordinates
(x) by
means of the functionswhere t is an
arbitrary
timeparameter.
If
T:::
is a double tensor field associated to the eventpoint xe
andthe material
point yL,
we shall denoteby T:::,,,
theordinary partial derivative, by T:::/fJ
the covariant derivative andby T:::I,,
thelagrangian spatial
derivative based on the map(1)
and introducedby
Bressan.We are interested in an elastic
body C capable
ofcouple
stressbut not of heat conduction and we shall
always
assume thet electro-magnetic phenomena
are absent.(i)
Greek and Latin indices run over 0, 1, 2, 3 and 1, 2, 3respectively.
(2)
Capital
and lower case lattersrepresent
material andspace-time
in-dices
respectively.
We call e the proper actual
density
of total internal energy, the stesstensor, maflv the couple
stress tensor and we shall assume astotal energy tensor
(3)
where
This
assumption
isproved
to bephysically acceptable
in the caseconsidered here
(cf. [2]).
3. A theorem
concerning
the variation of the metric tensor in~’4.
We
always
consider abody C
of thetype specified
above and wesuppose
assigned in 8,
the motion(1)
of C and the metric tensor=
~4)
·We take into account a bounded 4-dimensional domain
0,
ofS4 ,
where the motion of C is of class C~2~ and we call its
boundary
oriented outwards. Furthermore let
3g«g
be anarbitrary
variationof g, ,,0, of class C~2> in
C4
and such thatConsider the functional
In
[2]
it isproved
that for every variation of the aforementionedtype
we have(3)
We use the notations2T~
= + =(4) For the constitutive
equations
of an elasticbody
Ccapable
ofcouple
stresses in the absence of heat conduction an
electromagnetic phenomena
see
[1].
142
4. A variational
principle concerning equilibrium
in astationary
frame.Let
now S4
bestationary
and(x)
astationary
frame. The metrictensor,
that wealways
consider asassigned
in84,’
satisfiesWe call
C3
the intersection of the world tubeWe
of C with thehyper-
surface
We
identify
thearbitrary parameter
in theequations (1)
of themotion with x° and denote
by
xr =X1’(yL)
theconfiguration
of Cin We consider the
following
motion of C:hence C is in
equilibrium
withrespect
to(x).
Consider an
arbitrary
variationof class and such that
Consider the functional
We shall prove that the rest
(7)
of thebody C,
withrespect
to thestationary
frame(x),
isphysically possible
if andonly
iffor every variation of of the aformentioned
type.
Let au be a real
positive
number. We consider thefollowing
sub-sets of
Wig
where
by xe
we mean the co-ordinates of thepoint
P of~4.
Let then be an
arbitrary
function of the realvariable ~,
ofclass C~2~ in
[0, 1]
and such thatConsider the
following
variationOn the basis of
(11)
this variation is of class C~2~ inC4
and satisfiesthe conditions
Hence the variational theorem enounciated in the
previous paragraph
can be
applied:
The
stationarity
ofspacetime
and theequations (7)
ofequilibrium imply
that gaP,R,
do notdepend
on xO.We have
144
and
analogously
Furthermore in the same way we prove that
Hence
Furthermore
From
(15)
and(16)
we havefor the variation
~ga~
and3g«g
above.We also have 3
and
analogously
Furthermore
From
(14), (17), (18), (19), (20)
we deducefor the variations
6go,,o specified
above.From
(21)
it follows that the variational condition 6J = 0 isequi-
valent to the
validity,
y inC.,
of thegravitational equations
forC: 0 =
0, 1, 2, 3).
If we rememberthat e, .R,
do not
depend
we can conclude that the variational condition dJ = 0 isequivalent
to thevalidity
of thegravitational equations
for C in the whole world tubeWe.
This proves the theorem.REFERENCES
[1] L. BATTAIA, A variational
principle,
ingeneral relativity, for
theequili-
brium
of
an elasticbody
alsocapable of couple
stresses, Rend. Sem. Mat.Univ. Padova, 54 (1975), pp. 91-105.
[2] A. BRESSAN, Relativistic theories
of
materials,Being printed by Springer,
Berlin.
[3]
H. G. SCHÖPF,Allgemeinrelativistische Prinzipien
der Kontinuumsmechanik, Ann.Physik,
12 (1964), p. 377.[4] A. H. TAUB, A
general
variationalprinciple for perfect fluid, Phys.
Rev., 94 (1954), p. 1468.Manoscritto