Upload
others
View
0
Download
0
Embed Size (px)
Citation preview
UNCLASSIFIED
An 260 083 ßepwduced
luf, tke
ARMED SERVICES TECHNICAL INFORMATION AGENCY ARLINGTON HALL STATION ARLINGTON 12, VIRGINIA
UNCLASSIFIED
NOTICE: When government or other drawings, speci- fications or other data are used for any purpose other than in connection vith a definitely related government procurement operation, the U. S. Government thereby incurs no responsibility, nor any obligation whatsoever; and the fact that the Govern- ment may have formulated, famished, or in any way supplied the said drawings, specifications, or other data is not to be regarded by implication or other- wise as in any manner licensing the holder or any other person or corporation, or conveying any rights or permission to manufacture, use or sell any patented invention that may in any way be related thereto.
·•·
THIS DOCUMENT IS BEST QUALITY AVAILABLE. THE COPY
FURNISHED TO DTIC CONTAINED
A SIGNIFICANT NUMBER OF
PAGES WHICH DO NOT
REPRODUCE LEGIBLYo
(Jy^J MONITORING AGENCY DOCUMENT NOä ftfJL-'lk'
00
tc Oi
-=c «ct. <c en
A5TIA DOCUI-ffiNT äOi
CONTRACT AF 6l(052)-457 TN. 2,
^iQ j TECHNICAL NOTE
>— GEOMETRICAL AND PHYSICAL INTERPRETATION OF CO THE WEYL CONFOEMAL CURVATURE TENSOR
cri .ST- =r ^^ F.A.E. Pirani, King's College, London CD f^ \ > o ü » ""^f —rtw* and
A. Schild, University of Texas, Austin, Texas and Institute for Advanced Studies, Dublin.
1 May 1961 -:■•■•.■. -'■«•,
mi ^ las. !;
JirJH L
if
6A </-/ XEköX
The research reported in this document has been sponsored in part by the Wright AIT Development Division of the AIR RESEARCH AND DEVELOPMENT COMMAND, UNITED STATES .JR FORGE, through its European Office.
ABSTRACT
The Weyl (conformal curvature) tensor of space-time is
interpreted geometrically in terms of the behaviour of
congruences of null geodesies. The corresponding physical
interpretation provides, in principle, a means for the
measurement of physical components of the Weyl tensor with
light rays alone, without the use of clocks or rigid rods.
GEOMETRICAL AND PHYSICAL INTERPRETATION OF
THE WEYL CONFOKMAL CURVATURE TENSOR
by
F.A.E. Pirani and A, Schild
1. Introduction; Conformal-invariant methods
This paper outlines, without proofs, a geometrical and
physical interpretation of the Weyl tensor in the space-time of
general relativity. Proofs and further details will be published
elsewhere. The interpretation embodies a method whereby the
physical components of the Weyl tensor could, in principle, be
measured by observations of light-rays alone, without the use
of clocks or rigid rods. The possibility of such measurements
may be inferred from the fact that null geodesies, which
represent light rays, arc invariant under conformal transformations
of Riemannian space-time, while proper time along time-like lines
is not invariant (nor are time-like geodesies invariant). In
vacuum, the same measurements will yield corresponding components
of the Riemann curvature tensor, since the Riemann and V/eyl
tensors coincide wherever Einstein's vacuum field equations hold.
In a previous paper (Pirani 1956), a physical interpretation
was given to the Riemann tensor, and a method of measuring its
components by observations of test particles was described. The
2.
whole discussion there was explicitly metrical, and required the
use of clocks (or rigid rods) as well as light rays. It was
understood that a particular Riemannian space-time was given in
advance, and the arguments depended on the measurement of proper
times.
In ehe present paper, on the other hand, the arguments are
entirely cenfurma 1 -invar 1 ant °, both geometrical and physical
interpretations refer not to a particular Riemannian space-time,
hut to a whole class of space-times which may be obtained from
one another hy conformal transformations of the metric. Such a
class of Riemannian space-time is called a conformal space-time;
thus a conformal space-time C/.\ is a (sufficiently) differentiahle
manifold endowed at each of its points P with a real infinitesimal
null cone
(l) g dx dx =0.
Physically, the nail cone is the history of a wave front of light
collapsing to and emitted from the event P. The quadratic form (l)
must have hyperbolic normal signature in order that the proper
distinctions between past and future may be preserved.
The null cone (l) determines the metric e g in any of
the Riemannian space-times of the conformal class up to a grange 0 o
factor, e which is an arbitrary function of position. A
1. Latin indices a,fc,c,,.. range and sum over 1,2,5,4.
5.
particular Riemannian space-time may be selected by assigning the
gauge. It is often easier to carry out proofs of theorems in a
particular gauge, exhibiting their conformal-invoriance afterwards,
than to devise a strictly confonnal-invariant proof.
It is evident that the ratio of the magnitudes of two vectors
or of tv.ro simple bivectors at the same point, and the angle between
two directions at the same point (especially, the orthogonality of
two directions at the same point) are well-defined in a conformal
space-time. It is in fact easj to show how these quantities may
be determined by experiments with light signals alone.
In § 2 we give conformal-invariant definitions of null
geodesies and of preferred parameters on them. In § 3 we give a
conformal-invariant definition of infinitesimal shea^, and state
our main result, which connects the second parameter-derivative of
the shear with the conformal curvature tensor. The infinitesimal
shear was introduced by Sachs (196] a,b) in his analysis of null
geodesic congruences, and many of the ideas employed here were
developed originally, in metrical form, by him.
2. Null geodesies and preferred parameters
A null hypersurface is defined, conformal-invariantly, as
a hypersurface which is tangent at each of its points to the
infinitesimal null cone at that point. Equivalently, a null hyper-
surface contains at each of its points exactly one null direction.
A null geodesic is a null curve which lies entirely in a null
hypersurface (this manifestly conformal-invariant definition
reduces to the usual cne as soon as a gauge is assigned).
Physically, a null geodesic is the world-line of a light ray, that
is, the history of a light pulse.
We show now how to define a conformal-invariant preferred
parameter u along any null geodesic of a given congruence. Let t
"be the selected geodesic and Zix its infinitesimal tangent vector
at any point P (Fig. l). Let (". , i , and t be three neighbouring
null geodesies, t, and -t being chosen so that the connecting
vectors S-.x , 6 x from P to ^ -C are orthogonal to Ax , and
C , being chosen so that the connecting vector 6 ,x from u to 5 3
-j^, , is not orthogonal to Ax . Then a parameter u may be defined
along -C by the condition
area of parallelogram spanned by Ax /Au and 0 x (2) ^— = constant along €
area of parallelogram spanned byö-jx" and 6 „x
5.
It can be shown that this definition determines the parameter u
up to a linear transformation with coefficients constant along -C ,
irrespective of the choice of the neighbouring geodesies 'f-, , -lip,
^£ , and of the choice of connecting vectors from P.
If the gauge is chosen so that the denominator of (2) is
constant along i- (which corresponds to a zero magnification rate
along € in the terms of Sachs's analysis), then the parameter u
may be identified with the usual preferred parameter along a null
geodesic in the corresponding Riemannian space (cf Synge and
Schild 1949, p.46).
$. Infinitesimal shear and its propagation
We now define in a conformal-invariant way the infinitesimal
shear for a congruence of null geodesies (ef Sachs 196la, p. ).
Let Sp and S be infinitesimal 2-eIements orthogonal to a null
geodesic ^ at neighbouring points P and Q of t- , and let C be an
infinitesimal circle with centre P, lying in Sp (Pigt 2). Those
null geodesies of the congruence which meet 3^ in the circle C B - p
will meet Sn in an ellipse E. The infinitesimal shear of the
congruence from P to Q, d£, is defined by the equation
/,\ length of major axis of E n „,_ (5) a ' = 1 + 2d£. length of minor axis of E
It may be shown that both d£ and the major axis e of the
ellipse E are determined uniquely by the congruence of null geodesies
and the points P arid Q,, and that de is independent of the choice
of the orthogonal 2-elements Sp and S^.
Ellipse £
Circle «T
Fig. 2
The physical interpretation of this construction has been
given, for the metrical case by Sachs (1961 a) 5 Suppose that light
passes normally through a small fl<t transparent circular disc and
falls normally on a screen nearby. At a certair instant, (P), the
disc becomes momentarily opaque, and throws a shadow on the s-creen
(:i). Refraction of the light by the gravitational field makes
the shadow elliptical. The null geodesies represent the light
rays; the circle C represents the periphery of the disc and the
ellipse E the periphery of the shadow. Sachs has shown that the
shape, size and orientation of the shadow depend only on the choice
of P and Q and not on the velocities of the disc or the screen.
It is evident from the above construction that de is conformal-
invariant. It can be shown that the orientation of the shadow
also is conformal-invariant; clearly, the size is not.
We can now state our main result, which relates the
propagation of the shear along a null geodesic to the conformal
tensor. It is that
A2 „ ^ A c . (A) ä. £ a a^_ dx_ b W du2
0 bed du du a
Here C , , is Weyl's conformal curvature tensor: in any Riemannian
space of the conformal class,
C bed = R bed + ^[dR c] + Vd6 c] - /3 gb[ä0 c]R'
a R . -.is the Riemann curvature tensor, defined for example by the
bed '
commutation rule for covariant differentiation, V, , - V, , = bjed b;dc
R 1 ,V , for any vector V ,R, = R , ia the Ricci tensor, and bed a' ^ a' DC bca
be dx b R = g R, . Also -r— is tangent vector to the geodesic, and P
DO du a a
is the projection operator in the direction of the major axis e
of shears P e = e , P f =0 for every vector fc orthogonal a a . a to e ,
Equation (4) determines a physical component of the tensor
C , ,. Since C , -is irreducible under transformations of the bed bed.
local orthogonal frame at any point (i.e. under Lorentz
\ a transformations), all the components of C , , may be determined
8.
"by examining enough congruences of null geodesies, that is, "by-
carrying out appropriate experiments with light rays.
Acknowledgements
We are grateful to J. Ehlers, J. N. Goldberg, R. K. Sachs and
L. Witten for many stimulating discussions.
One of us (A.S.) is indebted to the Research Institute of
the University of Texas for a grant during the tenure of which part
of this work was carried out.
References
Pirani, F.A.E. Acta Physica Polonica 15, 389-405 (1956).
Sachs, R.K. a. Mimeographed lecture notes. King's College, London, (1961).
b. Phil. Trans. Roy. 3oc. in press.
Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949).
f- •
PEJ rH t~- •
CO JH rH LPv O C c cd UTN o o Ö cd st- H •H 0 CD "st" ft •H 1 Ü CO i
1 :n s | ■H >j t co ft fH •H >3 •—s >H o S ra U m cd ^
o-1 co 0 ra cd 1
(M • W rH o •H 0) >i fH r\j • ^H o •H 4J ^ P i -t^ LP, <M FL, EH jQ -p p -P LCA C\) fa H ft P ä O O • -H ö fi pp O O • "^ ;--; Ö ft ftp i tti -^ o QO EH fxj O -H p cd-^ o .. '-H ft O P i U r-i iZ Td 9 EH ■H to to !H rH p xl jq ft •H rH to to i
±> \o rH ■P H ß -H P VD rH 3 p cd p -H a 0) OH K cd cd •H rH Ö (D In [xl cd o ■H rH o fa as, O --^ En
•H I g -p Ü 0) -H 3 to
o fa p O ■<! EH fa
2 K -P TH Q) CO 3 to i
CH Er^ fH 03 w n H P i>5 m 2 'I~I =t! ft ^ Cfl -H ft j ft ft cd -H i H > M P
CU PH OJ to a rJ
ft > p ft 0
v m a P i
p ^3 -p P P p 0 • ■=i! C3 Ö OJ CH fH • aj o p p ft H 1 0) ü ■H P o o 0 . ^ •H EH o o !J0 H PI Tj (H CO to -H ft TJ CO (D 00
| rH rH M Ö QJ n •-t! rH rH ra a i
rH >-l ■H cd Ü 0) rH >H •H id Ö 0
O CO <t| Ed P o • a! -P fH • ft S ft Ü • cd -P p-. o Ü •H CQ CD O CQ p ft O O •H CO 0 !
O O P^H LO ^H U E rH O Ü «^ P ft P O 0 rH * ■H O g +J •H >> •H ft
-3 -P -H >^ ra +J JS o • a) ra ri 0) ro -p o • 0 ra cd 0
- a -rcj a -4 Q a) r=- - cd o .-H e 0 M a Oi O T3 co to a 00 O Id CD ' 1 q o t»5 P P Tf CU o OJ 0) fl OJ !>s ft ft ^ 0 o 0 0 !
■H Ä • o <aj >H s fclD CD TS p ■H P • o ft to 0 Xl P i ^ 4-> O fi O cd to ■H -P p -P o p 3 CT3 to •H -P
cd |25 QJ H CD > cd p 0 —J e 0 > 1
J^ A M g •H P rH 0 «H -S . to ft ■H ft rH O ft ö a •5i H SH EH ^ fH O Ö ft <«: p pj EH rH Pi 0 O «o Q)
Ö P cd • 3 ft O •= OJ ft | cd • 0 ft ^ ■£ ^ to ^- EH h rH Ö 03 ■d -P p to ^ U rH Ü to ö ö ß O •H VD o. Ö -P Ö fi p 3 •H VD 0 P O 0) •H W FM C^ EH PI O ö O QJ •H il fa a\ EH ft o p ^ S U C5 rH O C •H CD ft a fH Jj rH Ü o ■H 0
-p O « "-i -p ä • -p O « P1 p .
> 0 •• -P P >5 re m Cd O CD ... fn P fa >1 (ä m cd o 0 •H • cd EH S P ft Ö f> cd .• •H • cd i—i tj -p ft p
•H CL.-a Ö < fä CQ fn CD e O •H ft .Q P < S CO P 0 E O Ö 0 cd o • e^ M O rH P Q) cd O • p 0 P O rH
E=) p h^ S P rH ft O Cti p p ft S fa ft g P ft ü cd
i t"- •
CO TH rH r— CO ft rH Lr\ o O a cd LTN o 3 p cd •5t H •H Ü CO ■st ft •H 1 Ü W i i CO
'-;- 1 ■H >-, CO 5 P •H £, '—N >^ Ö « m fn n cd ^—, >H ft ra 0 to cd CvJ • ffi H O •H (D ^ fH OvJ • P —1 c ■H 4-1 >i P I
-P L^ W PH EH CO -p P p un OJ fa ~H 00 P ft i Ü O • al fe Ö Ö ft -p Ü o ■ "_H ; . P TH ft 4^ i CÖ^-' O • > En ;■-; O -H i—' cd--- 0 " ~-H fa o P U r-{ ^ -0 g S •H to'bb fH ft P XJ § EH •H rH to to
■P V£) ^t -P rH C -H -P vo rH -yJ -P cd ß -H !
l>%i (1) 'H tin p
cd cd -p o a> -H
•H rH
^ to O fa p Ü 3 EH
OJ ■H fa H
1 ft
cd o -P 'H 0 ra
■H rH j p P to i
EH cH U CO ra R :-H EH fn ^ ra p p -i^ P1 &> cd -H 25 ■a! ft ft cd -H H > fH P CD ra —H > P ft 0 to
^ g 0 fa -P
E 3 -1 g 0
-p 0 a 3 1
\ • ^H ü ß CD ft rH • j-T* o C ft ft H i i a; o •H p 0 o CD ft ■H ft O 0 ! ho M P T* EH ra to -H ft TJ ra 1 a» -o H rH ra C 0 ^ rH rH CO p r—I >-*
? •H cd Ö CD i—i >J '-; •H cd C 0
cd -P rH • ta p o • 3 -P rH Tl S ,P ü •
O Ü <ti K c ü ■H ra 0) o ra p
o ü aj H o O •H CO 0) | fa (O h o B rH rr< CO P Ü a rH !
•H R KH 4H -H l"^ •H P P -P -H >J j m -p 5 O • CD en cd QJ CQ H^ ^H « 0 ra cd 0 i - CO O <! a CD ^7 - cd o <-< S 0 tio a JO O T3 CO to a Qg O ^3 to " | G 0) >^ p P TS QJ O QJ QJ P OJ >S -q ft X) Q O 0 0 \
•H X • Ü J; r" d hO C) XJ p ■H ft . CJ ^ >H § to 0 ft ft f >i; -p o d o H ^H to ■H -P id -P o C 1} iJ to •H ~ i ! rf a 0) M 'r* QJ > cd p 0 —: 0 > 1 1 •* S • bf « • H P r-H O ft to x •H ft rH O ft
! ö & <! EH pq c EH r-' !H O C ■"^ o^ ■ai ^ w P E-H rH P 0 1 O " 0) B ''--j CD • 3 f^L, O •• 0) J p cd • ^ ft 1
-Ö -H pi t(D ■i^ EH P rH Pi ra -d -p ft to EH P rH P CO 1 ! C C Ö ;^ •H VO oo C -P C P p 3 •H 'vD p -p i | O CD •H H fa CTN EH P o c 0 QJ ■H iq fa CTN ft CH 0 P ^ e h C5 1 1 O O ■H CD ft B P ID rH o o •H 0 i I -p O •
S ra -P C • +J o « -p p • i •■ M -»JJ P >5 W O CD - p ^J fa ^ cd co cd o 0 i > CO " •H • cd EH £• -P P. Ö > cd >■ ■H • d EH S -p ft p ■H PM X C < S oo fi 0) S o •H ft ,0 P < s CO P a; a o 1 C 0) cd O • p OJ
■3 -P M O rH C CD cd o • p O
■ . p P O rH
C3 P l-^l --- fa fH ft o cd ft ft ft s fa rH ft o cd