an 260 083 - defense technical information center · synge, j.l. and schild, a. tensor calculus,...

14
UNCLASSIFIED A n 260 083 ßepwduced luf, tke ARMED SERVICES TECHNICAL INFORMATION AGENCY ARLINGTON HALL STATION ARLINGTON 12, VIRGINIA UNCLASSIFIED

Upload: others

Post on 19-Oct-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

UNCLASSIFIED

An 260 083 ßepwduced

luf, tke

ARMED SERVICES TECHNICAL INFORMATION AGENCY ARLINGTON HALL STATION ARLINGTON 12, VIRGINIA

UNCLASSIFIED

Page 2: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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.

Page 3: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

·•·

THIS DOCUMENT IS BEST QUALITY AVAILABLE. THE COPY

FURNISHED TO DTIC CONTAINED

A SIGNIFICANT NUMBER OF

PAGES WHICH DO NOT

REPRODUCE LEGIBLYo

Page 4: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

(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.

Page 5: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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.

Page 6: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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

Page 7: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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.

Page 8: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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

Page 9: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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

Page 10: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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^.

Page 11: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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

Page 12: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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

Page 13: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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).

Page 14: An 260 083 - Defense Technical Information Center · Synge, J.L. and Schild, A. Tensor Calculus, Toronto, (1949). f- • PEJ rH t~-• CO JH rH LPv UTNO C c cd o o Ö cd st- H •H

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