• Nie Znaleziono Wyników

Comparison of Newtonian and Relativistic Theories of Space-Time

N/A
N/A
Protected

Academic year: 2021

Share "Comparison of Newtonian and Relativistic Theories of Space-Time"

Copied!
8
0
0

Pełen tekst

(1)
(2)

L ’O E U V R E D ’A L B E R T E I N S T E I N

Andrzej Trautman (Poland)

CO M PARISO N OF N E W TO N IA N AN D R E L A T IV IS T IC THEORIES OF SPACE-TIME

A B S T R A C T *

In expositions o f the theory o f relativity it is customary to emphasize the differences between the Newtonian and Emsteiinian theories of space, time and gravitation. On close inspection it appears that these disparities are due, in part, to the differences between the languages used to express the theories. To every physical theory there corresponds a certain mathematical formalism in which the theory is usually represented. For the purpose o f comparing different theories it is desirable to for­ mulate them in the same mathematical language. Otherwise it is rather difficult to ascertain what are the relationships between the basic assumption underlying these theories.

Relativistic theories o f space-time are most naturally expressed in terms of concepts from differential geometry. Following Cartan and Friedrichs, we analyze the geometrical structure of space-time in N ew ­ tonian mechanics and compare it with that in relativity. It turns out that there are a number o f elements common to all theories o f space- -time: the basic manifold is always assumed to be a four-dimensional differentiable continuum, endowed with an affine connection. In the theory of relativity, space-time is simply a Riemannian manifold; in Newton’s theory the metric structure is more complicated.

The Newtonian metric is degenerate; clearly, it is the limit, as

c - + oo, of the relativistic metric. Accordingly, the Newtonian metric

has those properties of the relativistic gab which are preserved by the limiting process. In particular, it is invariant by parallel transport.

The Newtonian mechanics is based on the assumption that there

* T he fu ll text of this lecture is contained in a volu m e edited by B. H o ffm a n n and dedicated to 'Vaclav H la v a ty ; to be p ublish ed in 1965.

(3)

124 A n d rz e j Trautm an

exists an absolute time, t, and that the hypersurfaces (“ spaces” ) t = const, are three-dimensional Euclidean. The time t can be taken as one o f the coordinates; if (x, y, z, t) is a system o f coordinates in space-time, the motion o f a particle can be represented by x = £ (t),

V = T1 (t)> z = C (t), i.e., by a curve (world-line) in space-time. Neglecting

gravitation, the first law of dynamics may be formulated as follows: there exists a fam ily of privileged motions, called free motions, and a system o f coordinates (x, y, z, t) such that the free motions are characterized by

d2x d2y d2z ~dt2 = ~dfi = ~dt2 = °

Coordinate systems whose existence is asserted by the first law are called inertial. A transformation leading from one inertial system to another is called Galilean. Clearly, i f we agree to consider the world- -lines o f free motions as geodesics, the Newtonian space-time becomes endowed with an integrable affiine connection.

In a gravitational field, there are no free motions in the previous sense. The best one can do is to remove all non-gravitational interactions and to consider f r e e f a l l s as the fam ily o f privileged motions. Accordingly, Newton’s first law may be rephrased as follows: there exists a family o f privileged motions, called free falls, a system of coordinates (x, y, z, t) ,and a function cp (x, y, z, t) such that the free falls are characterized by

d2x dtp d2y dtp d2z dtp

dt2 dx ’ dt2 dy ’ dt2 dz

Clearly, the class of coordinate changes preserving these equations is much larger than the class of Galilean transformations. Usually, one considers gravitational fields produced by bounded sources. One then can normalize cp by requiring that it vanishes at large distances; this eliminates the possibility of more general transformations and restores the privileged role of the Galilei group. However, this cannot be done when there is a strong gravitational field extending all over space, as in cosmology. In any case, we may call world-lines corresponding to free falls geodesics, and thereby introduce an affine connection in space- -time.

The general geometrical structure of space-time in relativity is very w ell known. In the Newtonian theory the space-time is a differentiable manifold N o f class Coo, homeomorphic to R4. The Newtonian notion of absolute simultaneity implies the existence o f a fam ily T of hyper­ surfaces in space-time. Distinct elemedts o f T do not intersect, through

every event (point o f N ) there passes an element o f T; all these hyper­ surfaces have the topology of R3. Let t = const, be the equation of T.

(4)

The fam ily of all free falls determines a symmetric affine connection r “c on N. It follows from the first law o f dynamics that t can be chosen so as to be an affine parameter along all time-like geodesics. This defines t up to linear transformations; every such t is called the absolute time.

L et (yl, y2, y3) be a system of local coordinates in a hypersurface belonging to T. The hypersurface can be represented in a parametric form

x a = x a(yi, y2, y3)

Let h a/} denote the components with respect to (d/dya) o f the Eucli­ dean metric tensor o f the hypersurface. Its components with respect to (d/dxa) are dxa d x b h = ha?— ~ — T dy dyP Clearly habtb = 0 where t b = dbt

and the canonical form o f the matrix (hab) is diag (1, 1, 1, 0). The tensor

hab may be used to define the square o f any form and o f any space-like

vector but not of time-lilke vectors. According to what was said pre­ viously

Vchab = 0

The remaining information contained in the first law of dynamics may be expressed by 1 ieRa b]cd = 0 and i.ad D cde T n n edc had R brd„ + hbd Rae<1<., = 0

where Rabcd is the curvature tensor.

Pre-relativistic electrodynamics introduces a mew geometric element, the ether. It may be defined as a rigging o f the hypersurfaces o f con­ stant absolute time. Given an ether on N, let ua be the vector field tangent to the directions o f rigging and normalized so that

uHa = 1 and let us introduce the tensor

g d b — h a b _ u au b j c 2

where c is the velocity of light. If ua is covariantly constant,

Va « 6 = 0

then

(5)

126 A n d rz e j Trautm an

and

V6 Fab = 0 where Fab = gacgbdFcd

are equivalent to usual M axw ell’s equations for the vacuum. Clearly, the connection r “c is metric relative to gab

Vcgab = 0

Moreover, the matrix g“b is non-singular. Its inverse, gab, together with r « e, defines a flat indefinite Riemammiam (Minlkowskian) geometry in N. In pre-relativistic electrodynamics this geometry co-existed with the Newtonian structure; it has been used to define the Lorentz group.

The essential step taken by Einstein in 1905 consisted in denying any physical significance to the Newtonian structure (t, hab). In special relativity, the geometry o f space-time is fully determined by the Min­ kowski elements (gab, r “c). Accordingly, all equations of physics may contain only these elements, in addition to quantities describing the state of the system (this statement is often called the ‘^principle o f relativity” ).

When one attempts to apply Newtonian mechanics in cosmology, one encounters the following apparent difficulty: assume that the Universe is spatially homogeneous and let p(t) be the mean density of matter. A typical solution o f Poisson’s equation is

2

cp = — T c k g r 2

The corresponding gravitational field, — gradcp, seems to contradict the cosmological principle: the particle at r = 0 is unaccelerated while all others are. This difficulty disappears if it is remembered that, in this case, it is impossible to introduce a preferred set o f inertial frames defined up to Galilean transformations. The set o f all inertial frames is essentially larger and for every galaxy there is one siuch frame with respect to which the galaxy is at rest.

The assumption of homogeneity and isotropy leads to the following expression for the velocity field of substratum, referred to a certain inertial frame

v — r jR-1 dR/dt [2]

where R is an arbitrary function of the absolute time. The motion of the substratum provides a natural choice for the ether: the rigging is defined by the tangents to the world-lines of elements of the substratum. As can be easily shown, this assumption leads to an expression for the Doppler shift o f light coming from distant galaxies, which is identical with the corresponding expression obtained in relativistic cosmology. It is not hard to understand the origin o f this coincidence. Foor a gab of the form [1], a straightforward calculation gives

(6)

gab dxa dxb = dr2 — 2v • dr dt — (c2 — v2) dt2 [3] where

x a = (r, t), dr2 = dx2 + dy2 + dz2, etc.

and a simple coordinate transformation reduces [3], with v of the form [2], to a Friedmann line-element,

In addition to giving the same formula for the Doppler shift, Newtonian and relativistic cosmologies lead to similar equations for the expansion function R(t). This interesting fact was noticed for the first time by Miline and McCrea in 1934. The following lines contain a brief analysis of the problem: what are the physical situations for which the Newtonian and relativistic descriptions are as close as they are in cosmology?

Let v (r, t) be a (sufficiently regular) Newtonian velocity field and r = F (r', t) a family of solutions of

satisfying some initial conditions, say, F (r', 0) = r'. The coordinate transformation r -> r', with t unchanged, reduces the line-element [3] to

where x 1', x 2', x y are the components o f r'.

Consider the Einstein field equations with the cosmological term for a dust of density q and four-velocity uaJc = —cgabtb

For the sake of simplicity, all further considerations w ill be restricted to irrotational motions, R 2 d r ' 2 - c 2 d t 2 dr [4] 1 X ^ a b 2 B a b R

For a metric of the form [3], equation [4] implies curl curl v = 0

curl v = 0 The strain tensor may then be written as

where

d “ Vfi - y + ° a ß

(7)

128 A n d rz e j Trautm an

gives the rate of expansion and describes the velocity of shear. I f we denote uadaa = da/dt + v * grad a by a, the remaining field equa­ tions [4] assume the form

y

~ y ©2 + x = ~~

%nkQ

20 + 02 + y a opa“P - 3 X = 0 [6]

°«f> + 0CTocp = 0

They imply the equation o f continuity,

£ + <?© = () [7]

On the other hand, the Newtonian equations with a cosmological term,

v = — grad <p A<p = 4iikg — X

do

+ div (gT) = 0 are equivalent to [7] and

0 + — 02 + c?“p — X = — 4izkQ [8] It is seen by inspection that the relativistic equations [5] and [6] imply the Newtonian [8]. Therefore, to any metric [3], solution of Einstein’s equations, with irrotational v, there corresponds an analogous solution of Newton’s equations, the functions v being the same in both cases.

As examples of solutions of the Newtonian equations which lead to Einstein spaces, we mention the following:

1) consider a system o f test particles ( o = 0) falling radially towards the centre of a spherically symmetric body o f mass m. I f the velocities o f the particles vanish at infinity, then, according to Newtonian me­ chanics,

v = _

_r_

f r r

Substituting this into [3], w e obtain the Schwarzschild line-element. 2) in a Newtonian world with a cosmic repulsive force (A > 0), a pos­ sible motion o f test particles is given by

v = ]/X/3 r

(8)

R E F E R E N C E S

E. C a r t a n , Sur les variétés à connexion af finie et la théorie de la relativité généralisée. “Aiimailes de l ’Ecole Nonm ale S u p é rie u re” , X L , 19E8, p. 325; ibidem ,

X L I , 1924, p. 1.

K . F r i e d r i c h s , “M athem atische A n n a le n ”, X C V I I I , 1927, p. 566.

P. H a v a s, F ou r-D im en sion a l Form ulations of N ew ton ia n Mechanics and T heir Relation to the Special and General T h eory of Relativity. “R e v ie w s o f M o d e rn Physics” , X X X V I , 1’964, p. 938.

O. H . L. H e c k m a n n and E. S c h ü c k i n g , N ew tonsche und Einsteinsche Kosm ologie. Iin: Encyclopaedia of Physics, vol. L I I I , B e rlin 1959, p. 489. C. K M i n i s t e r , The Principles of Mechanics. “J ou rn al o f M athem atics and M e ­

chanics”, X II, fasie. 1/H963.

W . H. M c C r e a and A. E. M i l n e , “ Q u a rte rly J ou rn al o f M ath em atics” , X , 1934, p. 73.

E. A . M i l n e , ibidem , p. 64.

A. T r a u t m a n , Sur la théorie new tonienne de la gravitation. “ Com ptes R en du s de l’A cad ém ie des Sciences” , P aris, C C L V II, 1963, p. 617.

Cytaty

Powiązane dokumenty

volle branding en marketing een eendui- dige identiteit moet worden vastgesteld. Maar dc belangrijkste stap, die i n praktijk nog vaak wordt overgeslagen, is dat deze identiteit i

In such cases, is the linguistic expression of time and related temporal categories equally idiosyncratic, or is it shaped, at least in part, by the language user’s so‑

All of them are implemented in the same FPGA hardware circuit, they are connected internally, but their inputs and outputs are also connected to the pins of FPGA chip and can be

To bardzo często wygląda w ten sposób, że ja mam jakiś plan i staram się go trzymać, ale na ogromnych koncertach, to po prostu ten plan w ogóle się nie sprawdza, bo się okazuje,

executed after every simulation step void after_step() override implementation of generation of RHS void compute_rhs() override executed once after the simulation ends. void

Parallel version for shared-memory machines (C++ GALOIS) Marcin Łoś, Maciej Woźniak, Maciej Paszyński, Andrew Lenharth, Keshav Pingali IGA-ADS : Isogeometric Analysis FEM using

executed after every simulation step void after_step() override implementation of generation of RHS void compute_rhs() override.. These cases are marked in equations (28) and (29)