A NNALES DE L ’I. H. P., SECTION A
C OLBER G. O LIVEIRA
N AZIRA A RBEX
Spinorial solution associated to a radially symmetric radiation field in general relativity
Annales de l’I. H. P., section A, tome 16, n
o1 (1972), p. 29-39
<http://www.numdam.org/item?id=AIHPA_1972__16_1_29_0>
© Gauthier-Villars, 1972, 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/
29
Spinorial solution associated
to a
radially symmetric radiation field
in general relativity
Colber G.
OLIVEIRA,
Nazira ARBEX(*)
Centro Brasileiro de Pesquisas Fisicas, Rio de Janeiro, Brasil Ann. Inst. Henri Poincaré,
Vol. XVI, no 1, 1972,
Section A :
Physique théorique.
ABSTRACT. - This work concerns in the
application
of thespinorial
formalism to the
problem
ofgravitational
radiation inempty space-time.
The purpose of
using
this formalism is to find a set ofspinorial quantities satisfying
the Trautmanboundary conditions,
oralternatively, describing
a radiation field. Such
quantities
may be determined from a tetrad of null vectors. Theproblem presently
considered is that of anaxially symmetric distribution,
as the source ofgravitational radiation,
as was first consideredby
Bondi.The solutions of the
spinorial equations
forgravitation
arefound,
and it is shown thatthey imply
in the tensorial solution foundby
Bondi.Consequently
the Trautmanboundary
condition is satisfiedby
thespinor
variables.Finally,
the radiation conditions for thespinorial
curvature are
determined, using
asimilarity
with the same conditionsfor the Riemann tensor.
1. DETERMINATION OF THE RADIATION METRIC FR O M THE TE TRAD FIELD
We deal with a four-dimensional Riemannian space with
signature-2,
a tetrad
system
of vectors is introduced into this space, with thefollowing specification, K~
and 7!u. are real null vectors, andalong
with itscomplex conjugate m,
arecomplex
null vectors. The vector n, can(*) Partial support from the Conselho Nacional de Pesquisas do Brasil is acknow-
ledged.
30 C. G. OLIVEIRA AND N. ARBEX
be defined from a
pair
ofreal, orthogonal
unitspace-like vectors
andby
The
orthogonality properties
of these vectors are :It is convenient to introduce the tetrad
notation,
The tetrad indices are raised
(or
loweredby
theflat-space
metric(or (~)),
where :The
following
relation iseasily
seen to be true,However, the tetrads vectors of
(3)
are not theunique possible
solutionsfor g,v
(~). Indeed,
the whole class of tetrad fields definedby
with M an
arbitrary point-dependent
matrixsatisfying
will also be solutions for the same metric
To define the tetrad on each
point
P ofspace-tine
isequivalent
todefine 16 real
functions,
with which we are able to construct the metric tensor,(~), according
toequation (3).
The have 16independent components
but g,v hasonly
10. We are then left with 6 extradegrees
of
freedom,
which can be related to 6 continuous transformation para- meters. Thereparameters
allow us to define different tetrads inP,
obtained one from the otherby
« internal local rotations ». The number ofindependent
functions in the tetrad may be further reducedby using
31
RADIALLY SYMMETRIC RADIATION FIELD IN GENERAL RELATIVITY
the
symmetry properties
of agiven problem;
in thiswork,
as will beseen
later,
willdepend
on fourfunctions, corresponding
to theparti-
cular orientations of the tetrad axes consistent with the chosen
symmetry.
2. TETRAD FIELDS O N A NULL HYPERSURFACE It is
always possible
to introduce into the Riemannian manifold afamily
of
hypersurfaces
definedby 03C9 (x)
= 0. If 03C9, , the normal on eachpoint,
is a null vector, the
hypersurface
is said to benull; therefore,
wechose,
A null
hypersurface
defines a congruence of nullgeodesics.
Bondi et al.
[1]
were the first to obtain solutions of the Einstein’sequations by applying
the Trautmanboundary
conditions in the caseof a limited
radiating
source. The initial conditions weregiven
on anull
hypersurface,
and not on aspace-like
one. In this case, in orderto find solutions like the solutions of Bondi it is first of all necessary to construct a
family
of nullhypersurfaces.
Robinson and Trautman
[2]
have shown that if one chooses as coordi- nates w(x)
= x0, and an affineparameter along
thegeodesics
r =xl,
and two coordinates that label the
geodesics
on each surfaceM
(x)
=constant,
the metric takes the formfor
(*)
3. FUNDAMENTAL SPINORS
FOR THE AXIALLY SYMMETRIC RADIATION FIELD Riemannian
geometry
may be described[3] by
means ofspinorial objects
o~(r) and Tu. (x),
introduced in the 4-dimensional manifoldthrough
the relations
(*) 7n~ =
6i,
n- =o~
+ + X~5~
for k = 2, 3 ; and w, Nr, x and X~ arbi-trary functions of the coordinates.
ANN. INST. POINCARE, A-XVI-1 3
32 C. G. OLIVEIRA AND N. ARBEX
They
are introduced as the fundamentalobjetcts
with which we describe thegravitational field,
instead of the g,v(x). Besides,
in ourproblem
we consider axial and reflectionsymmetries
in the4-space.
A coordinate
system
is chosen such that XO = co(x)
= u, xi = r,x2 =
6, x3 = e?,
where y is the «luminosity
distance », 9 the lattitude and e thelongitude ;
for theangle
0 the axialsymmetry
isstraight
f owarddefined in an uniform way. In the radiation zone, we are
supposed
to cheek if
(r) obey
the Trautman’s conditions. As those conditions reduce tosimpler
form in the cartesian coordinatesystem,
it is advisable that beasymptotically
written in such asystem.
In the coordinates
system chosen,
the are functions of u, y, and eonly
and the g,v(x)
are obtained fromIt has
already
been shownby
Bondi that the whichsatisfy
theproperties
of axial and reflectionsymmetries depend
on fourfunctions U, P, V,
y, which are themselves functions of u, r and 8.One of the
possible
choices for which results in of this form isIn this case, we will have
From
equation (4),
we obtain the relation amongU, V,
y, and a,b,
c,d,
e. It isimportant
to recall that the are notuniquelly
determined.From
equation (6), using
the metric~’,
we obtain the contravariantcomponents
and as,33
RADIALLY SYMMETRIC RADIATION FIELD IN GENERAL RELATIVITY
and
Solutions
o f
the Sachsequations. Starting
from a variationalprinciple,
Sachs
[3]
obtained the fieldequations,
with as thedynamical objects.
Theseequations
arewhere
and {03BB 03B1}
are theChristoffel symbols.
Aftercalculating
the affineconnection coefficients and the
components
of thespin
curvature, it ispossible
toproceed
with the resolution of(7).
These coefficients are :The
components
of thespin
curvature,P~,x,
are calculated from(8);
using (9),
it results that :34 C. G. OLIVEIRA AND N. ARBEX
Substituting
theseexpressions
inequation (7),
we can write theequation
for p
= 0,
assince the four
~~,
arelinearly independent,
weget
with
similar resultsfor p
=1, 2,
3.We obtain ten
equations ; nevertheless,
thetheory
ofgeneral relativity
admits
simultaneously
the gauge group assymmetry
and invariance groups,consequently,
it will be describedby
fieldsequations
notentirely
independent (as
consequence of the four Bianchi identities there will be35
RADIALLY SYMMETRIC RADIATION FIELD IN GENERAL RELATIVITY
only
fourindependent equations), namely by
theequations
It
should be noted that this set ofequations
which was obtained from aspinorial formalism,
are the same as those obtainedby
Bondi from atensorial formalism.
5. SPINORIAL FORM
OF THE TRAUTMAN BOUNDARY CONDITIONS Trautman assumed a coordinate
system
such that(x)
is writtenasymptotically
in the formwhere =
diag ( + 1, 20141, -1, 20141),
where r is the "luminosity
distance "
along
the radius. He further assumed that g,w obtained fromequation (11),
satisfieswhere
obeys
the conditionPresently,
we wish to determine thespinorial
formcorresponding
to theasymptotical
conditions(12)
and(13)
of the radiation field.Asymptotically,
weadmit
a cartesian coordinatessystem
such thatis written as
where are the cartesian
components
of ~~,; forsimplifying
thenotation,
from now on, will be written as
36 C. G. OLIVEIRA AND N. ARBEX
Then, defining
.
imposing, asymptotically,
thatand, using
the relations(11), (12), (13)
and(14),
we obtainwith the aid of
(16)
and(17-a)
we writewhich is the
spinorial
form of the Trautman conditions.6. APPLICATION OF THE TRAUTMAN CONDITIONS
If the
objects
and T~,, defined on section3,
are tocorrespond
toa radiation
field, they
mustverify
the Trautman conditions.Recording
theapproach
on the lastsection,
we mustperform
a coordi-nate transformation such that we have the cartesian
components
of thefundamental
objects.
The transformation from thesystem (u,
r,9, cp)
to the
system (t,
x, y,z)
isgiven by
Explicitly
with
37
RADIALLY SYMMETRIC RADIATION FIELD IN GENERAL RELATIVITY
Consequently,
Analogously,
the matrices(x)
are related too-u. (x’) through
Substituting (19)
into(18), [with
andgiven by (3)-(6)],
we find thatwhere
38 C. G. OLIVEIRA AND N. ARBEX
It is now
possible
to obtain anasymptotical expansion
under the desiredform.
Although
ther tJ.
in the aboveexpression
are notyet
of theorder it is
possible
to overcome thisdifficulty, by imposing
thatthey
are of this order. Thisimposition
will create restrictions on the functions a,b,
c, d and e.If the
asymptotic
form(20)
isobtained,
the verification of theboundary
conditions turn into a matter of pure calculation.
We know that if is Petrov
type N,
and satisfiesasymptotically
an
equation
of the formwith K’a
light-like,
then describes a radiation field.Besides,
the Rie-mann tensor constructed with the assumed
by Trautman,
satisfies theequation (22)
andconsequently,
both methods areequivalent
forverifying
the radiation character of a
given
field.We will look for an
analogous equation
in thespinorial formalism,
that
is,
verifiedby
thespinorial
curvature constructed with the o-~which
obey
the Trautman’s condition.It follows from the Bianchi identities that the curvature
spinor,
~ABCD, must satisfies theequation [4] :
where
in
empty
space, is denoted and(23)
becomesIt has
already
been shown[5]
that thespinor
curvature and thespin
curvature, are related
through
The value of
03C8ABCD
calculated fromequation (25)
with theapproxi-
mation
(14) is
In the
approximation
ofequation (14)
the derivativeequals
the code-rivative ; therefore,
we havejust
shown that constructed with39
RADIALLY SYMMETRIC RADIATION FIELD IN GENERAL RELATIVITY
suitable to Trautman’s
method,
satifies theequation
which is
analogous
toequation (22);
in order that(27) yields (28)
it isnecessary to
impose
that r is of order j1 whichagain implies
in restric- tions on thefunctions a, b, c, d
and e; a result to beexpected. By
themethod of construction of
equation (28),
we can see that still here the two theories areequivalent.
[1] H. BONDI, M. VAN DER, BURG and A. METZNER, Proc. Roy. Soc., A, vol. 269, 1968, p. 21.
[2] I. ROBINSON and A. TRAUTMAN, Phys. Rev., vol. 4, 1960, p. 431.
[3] M. SACHS, Nuovo Cimento, vol. 47 A, N° 4, 1967, p. 759.
[4] R. PENROSE, Ann. of. Phys., vol. 1îî, 1960, p. 171.
[5] C. G. OLIVIERA and C. MARCIO Do AMARAL, Nuovo Cimento, Serie X, vol. 47, 1967, p. 9.
(Manuscrit reçu le 13 octobre 1971.)