Translation:On bodies that are to be designated as "rigid"

From Wikisource
Jump to: navigation, search
On bodies that are to be designated as "rigid" from the standpoint of the relativity principle (1909) 
by Gustav Herglotz, translated from German by Wikisource
In German: Über den vom Standpunkt des Relativitätsprinzips aus als starr zu bezeichnenden Körper, Annalen der Physik (1910), 336 (2), 393-415, Online


On bodies that are to be designated as "rigid" from the standpoint of the relativity principle;
by G. Herglotz


In his paper "The theory of the rigid electron in the kinematics of the principle of relativity"[1], Born has tried in an obvious way, to give a definition of those types of motion of a three-times extended deformable continuum, that are to be designated as "rigid" from the standpoint of the relativity principle. However, this was actually formulated by him only in one special and easily executed case. In particular the question remained untouched, whether six degrees of freedom can be ascribed to a "rigid" body defined in this way, as it may be wished by us if we want to ascribe the same fundamental meaning to this new "rigid" body in the system of the electromagnetic world-view, as it is ascribed to the ordinary rigid body in the system of the mechanical world-view.

Exactly this question will find its answer in the following lines in so far, as it will be proven that the motion of that "rigid" body is in general — i.e. neglecting special, more specified exceptions — unequivocally defined by the arbitrarily specified motion of a single of its points.

Particularly the fact may be mentioned for the purpose of illustration, that when one of its points is fixed, the body of Born can only uniformly rotate around a fixed axis that goes through that point.[2] [ 394 ]

I. Definition of the "rigid" body from the standpoint of the relativity principle.[edit]

Following Minkowski's[3] lines of thought, the right angled coordinates x,y,z of a material particle, in connection with time t when it is located at this point, should be interpreted as the four coordinates of a point of the four-times extended manifold R_{4}(x,y,z,t).

Furthermore, a measure determination should be introduced in this R_4 as well, according to which the square of the distance ds of two infinitely adjacent points is (the speed of light should from now on be set equal to 1)

(1) ds^{2}=dx^{2}+dy^{2}+dz^{2}-dt^{2}

The line elements of real length \left(ds^{2}>0\right) are denoted as space-like, and such of purely imaginary length \left(ds^{2}<0\right) are denoted as time-like. The directions of the line elements of length zero that emerge from one point, constitute a real cone — the minimal cone of the relevant point — whose two surfaces are separated by dt>0 and dt<0, and shall be denoted as front-cone and back-cone.

Two directions (dx:dy:dz:dt) and (dx':dy':dz':dt') are normal to each other according to that measure determination, if

(2) dx\ dx'+dy\ dy'+dz\ dz'-dt\ dt'=0

The elements that are normal to the time-like elements are necessarily space-like, but not vice versa.

As motions in R_4 shall be denoted the group of those \infty^{10} affine transformations (the functional determinant +1) of x,y,z,t, which leave ds^2 unchanged and which don't replace the front- and back-cones against each other. The Lorentz transformations are thus the group of \infty^{6} motions, which let the zero point x=y=z=t=0 remain fixed — the rotations around the zero point, — and conversely the group of motions emerges from it by addition of the \infty^{4} translations.

[ 395 ] After these generally known definitions we think of any deformable continuum as in motion in ordinary three-dimensional space R_{3}(x,y,z) — the coordinates at time t of any material particle, individualized by three parameters \xi,\eta,\zeta, may be:

(3) \begin{cases}
x=x(\xi,\eta,\zeta,t),\\
y=y(\xi,\eta,\zeta,t),\\
z=z(\xi,\eta,\zeta,t).\end{cases}

For achieving a greater symmetry, some kind of local time τ may be introduced in some way:

(4) \tau=\tau(\xi,\eta,\zeta,t),\ \frac{\partial\tau}{\partial t}>0

by which it can be written in a more uniform way instead of (3):

(5) \begin{cases}
x=x(\xi,\eta,\zeta,t),\\
y=y(\xi,\eta,\zeta,t),\\
z=z(\xi,\eta,\zeta,t),\\
t=t(\xi,\eta,\zeta,t).\end{cases}

The successive values of x,y,z,t for a specified material particle (\xi,\eta,\zeta) now correspond in R_4 to a certain curve C_{\xi,\eta,\zeta} – the world-line of that particle – and its equations in (5) are given for \xi,\eta,\zeta (regarded as fixed) and τ (regarded as variable).

The motion of the entire continuum is thus represented in R_4 by a three-parametric family of curves C(\xi,\eta,\zeta), which is exactly the \infty^{3} world-lines of the particles of the continuum.

If we additionally presuppose that no particle of the continuum can travel by the speed of light or faster then the speed of light, then every line element of any curve is time-like. The definition of the "rigid" body that was given by M. Born from the standpoint of the relativity principle, can thus be formulated:

"The continuum is moving as a "rigid body", when in R_4 the world-lines C(\xi,\eta,\zeta) of its points are equidistant curves."[4]

[ 396 ] This means, the normal distance of two infinitely adjacent curves should be constant along themselves, or in other words, the strip that is formed by two infinitely adjacent curves shall everywhere be of equal thickness.

To formulate this condition analytically, we calculate the line element ds by (5) in curvilinear coordinates \xi,\eta,\zeta,\tau. If we write for uniformities sake:

(6) \xi_{1}=\xi,\ \xi_{2}=\eta,\ \xi_{3}=\zeta,\ \xi_{4}=\tau,

then it shall be

(7) ds^{2}=\sum\limits _{1}^{4}ij\ A_{ij}d\xi_{i}d\xi_{j}

Since after general presupposition of subluminal velocities, the elements of the curves C(\xi,\eta,\zeta) are time-like, it is given:

(8) A_{44}<0

by introduction of the linear differential form

(9) d\nu=A_{14}d\xi_{1}+A_{24}d\xi_{2}+A_{34}d\xi_{3}+A_{44}d\xi_{4}

and the quadratic that only contains d\xi,d\eta,d\zeta:

(10) d\sigma^{2}=\sum\limits _{1}^{3}ij\ A_{ij}d\xi_{i}d\xi_{j}-\frac{1}{A_{44}}\left(A_{14}d\xi_{1}+A_{24}d\xi_{2}+A_{34}d\xi_{3}\right)^{2}

we can write:

(11) ds^{2}=d\sigma^{2}+\frac{1}{A_{44}}(d\nu)^{2}

If the element ds shall be normal to curve C_{\xi,\eta,\zeta}, then it must be:

(12) \frac{\partial ds^{2}}{\partial d\xi_{4}}=0,\ i.e.\ d\nu=0

and the normal distance of curves C_{\xi,\eta,\zeta} and C_{\xi+d\xi,\eta+d\eta,\zeta+d\zeta} are equal to d\sigma^{2}.

The condition of rigidity thus reads:

(13) \frac{\partial}{\partial\tau}d\sigma^{2}=0

[ 397 ] in other words, the six coefficients of the quadratic differential form d\sigma^{2} must be independent from τ.

But also physically, that definition of rigidity can be formulated equally simple.

If the velocity of the particle (\xi,\eta,\zeta) at time t is denoted by s, and its components by u,v,w:

(14) s^{2}=u^{2}+v^{2}+w^{2}

then

(15) A_{44}=-\left(1-s^{2}\right)\left(\frac{\partial t}{\partial\tau}\right)^{2}
(16) d\nu=(u\ dx+v\ dy+w\ dz-dt)\frac{\partial t}{\partial\tau}

If we put dt = 0 and consider all particles of the continuum at the same time t, then

(17) ds^{2}=dx^{2}+dy^{2}+dz^{2}=d\sigma^{2}-\frac{(u\ dx+v\ dy+w\ dz)^{2}}{1-s^{2}}

thus

(18) d\sigma^{2}=dx^{2}+dy^{2}+dz^{2}+\frac{(u\ dx+v\ dy+w\ dz)^{2}}{1-s^{2}}

Obviously d\sigma^{2}=\epsilon^{2} is now the equation of an infinitely small ellipsoid of revolution of semi axes \epsilon,\epsilon,\epsilon\sqrt{1-s^{2}}, with the particle (\xi,\eta,\zeta) as its center and its velocity direction as its figure axis. The requirement (\partial/\partial\tau)d\sigma^{2}=0 thus means, that the volume elements (which are infinitely small spheres of radius ε in the state of rest) are transformed into an oblate ellipsoid of revolution, with a semi-minor axis \epsilon\sqrt{1-s^{2}} in the direction of velocity and a semi-major axis ε normally to it. In other words, the definition of a "rigid" body given by Born can be brought into this extremely suggesting form:

"If the velocity within the body is changing in space and time, then the Lorentz-Fitzgerald contraction hypothesis shall be valid for every single volume element."[5]

[ 398 ] By that, the single volume element possesses a six-time freedom of motion, because the ellipsoid additionally allows \infty^{3} linear homogeneous deformations in it. But is the same true for a body continuously formed by such elements of throughout finite extension? This question shall be dealt with in the following section.

II. Determination of the equidistant families of curves of R_4, that contain an arbitrary given curve.[edit]

We imagine that within such a family of curves C(\xi,\eta,\zeta), a certain curve C_0 is somehow chosen, and the parameter values (\xi_{0},\eta_{0},\zeta_{0}) may be attributed to it.[6]

Then we use the quadratic differential form d\sigma^{2} in d\xi,d\eta,d\zeta, whose components only depend on \xi,\eta,\zeta, and which, as the square of the length of a space-like line element, has a definite positive character, and we introduce in it the variables a,b,c instead of \xi,\eta,\zeta in the following way:

In the three-times extended manifold of (\xi,\eta,\zeta) we imagine the drawing of the two-parameter dependent family of curves of the extremal (propagating from point (\xi_{0},\eta_{0},\zeta_{0})) of the integral \int d\sigma – the geodesic lines of form d\sigma^{2} –, and let b,c be the values of both parameters for a line that goes through the point (\xi,\eta,\zeta) of that family of curves, and a is the integral \int d\sigma taken along it from (\xi_{0},\eta_{0},\zeta_{0}) to (\xi,\eta,\zeta) – the geodesic distance of both points. If (for that geodesic polar coordinate system a,b,c) it is given:

(19) \begin{cases}
\xi=\xi(a,b,c),\\
\eta=\eta(a,b,c),\\
\zeta=\zeta(a,b,c),\end{cases}

then the differences \xi-\xi_{0},\ \eta-\eta_{0},\ \zeta-\zeta_{0} for a = 0 as well as all b,c will vanish, but when divided by a (with convenient choice of b,c) for a = 0, then all b,c will remain finite, and [ 399 ] if d\sigma^{2} is expressed by this variables, it will assume the form:[7]

(20) d\sigma^{2}=da^{2}+\varphi(db,dc)

where \varphi(db,dc) also means a definite positive quadratic differential in db, dc alone, whose components still contain a,b,c, but like the previous of d\sigma^{2} don't contain τ. And instead of τ another magnitude ϑ of the following kind shall be introduced as well:

We imagine that solution of the differential equation:

(21) \frac{d\tau}{da}=-\frac{1}{A_{44}}\left(A_{14}\frac{\partial\xi}{\partial a}+A_{24}\frac{\partial\eta}{\partial a}+A_{34}\frac{\partial\zeta}{\partial a}\right)

as determined, which assumes the value \tau=\vartheta for a = 0.

(22) \tau=\tau(a,b,c,\vartheta)

and by this last equation instead of τ the parameter ϑ is introduced, that becomes identical with τ specifically along the curve C_0.

Expressed by a,b,c,τ it will be:

(23) \frac{1}{\sqrt{-A_{44}}}\sum\limits _{1}^{4}i\ A_{i4}d\xi_{i}=B\ db+C\ dc+\Theta\ d\vartheta

and da will vanish from the linear differential expression .

If we replace in this way the parameter (\xi,\eta,\zeta) (that are constant along any curve) by (a,b,c) and the parameter τ (which is variable along any curve) by ϑ, then it will be

(24) ds^{2}=da^{2}+\varphi(db,dc)-(B\ db+C\ dc+\Theta\ d\vartheta)^{2}

From this form we can immediately conclude[8], that the curves:

b = const., c = const., ϑ = const.

in R_{4}(x,y,z,t) are extremals of the integral \int ds, however, they are straight lines. Those \infty^{3} straight lines G(b,c,\vartheta) thus found, orthogonally intersect the equidistant curves C(a,b,c), because of the missing term with da\ d\vartheta in ds^2. If we especially take from them the \infty^{2} straight line that belongs to the same ϑ-value, and imagine the point a = 0 as [ 400 ] marked on any of them, then this point is nothing else as the point \tau=\vartheta on the curve C_0 through which they all go, and because they must be perpendicular to curve C_0 at this point, they are exactly the \infty^{2} perpendiculars of curve C_0 at point \tau=\vartheta. They together form the normal plane of curve C_0 at this point, with which the surface ϑ = const. is consequently identical.

The magnitude a is the length \int ds, calculated along the straight line G_{b,c,\vartheta} beginning at the intersection point with curve C_0 – being the distance of the corresponding space point of curve C_0.

The summary of that yields, that the expressions of x,y,z,t by a,b,c,ϑ are necessarily of the form:

(25) \left\{ \begin{align}
x= & x_{0}(\vartheta)+ax_{1}(b,c,\vartheta),\\
y= & y_{0}(\vartheta)+ay_{1}(b,c,\vartheta),\\
z= & z_{0}(\vartheta)+az_{1}(b,c,\vartheta),\\
t= & t_{0}(\vartheta)+at_{1}(b,c,\vartheta).
\end{align}\right.

To simplify the notation, \mathrm{S} shall be momentarily denoting a sum that is extended over the four coordinates x,y,z,t, in which, however, the term that is related to the t-coordinate has to be considered as negative.

As the straight lines G(b,c,\vartheta) are the normals of the curve C_0 (a = 0), then

(26) \mathrm{S}x_{1}\frac{\partial x_{0}}{\partial\vartheta}=0

and from that by differentiation to b and c it must be:

(27) \mathrm{S}\frac{\partial x_{0}}{\partial\vartheta}\frac{\partial x_{1}}{\partial b}=\mathrm{S}\frac{\partial x_{0}}{\partial\vartheta}\frac{\partial x_{1}}{\partial c}=0

When the form ds^2 made by (25) will be identified with the expression (24), then the equations follow:

(28,α) \varphi(db,dc)-(B\ db+C\ dc)^{2}=

=a^{2}\mathrm{S}\left(\frac{\partial x_{1}}{\partial b}db+\frac{\partial x_{1}}{\partial c}dc\right)^{2}=a^{2}\psi(db,dc),

(28,β) -B\Theta=a^{2}\mathrm{S}\frac{\partial x_{1}}{\partial b}\frac{\partial x_{1}}{\partial\vartheta}=a^{2}\beta,
(28,γ) -C\Theta=a^{2}\mathrm{S}\frac{\partial x_{1}}{\partial c}\frac{\partial x_{1}}{\partial\vartheta}=a^{2}\gamma,
(28,δ) -\Theta^{2}=\mathrm{S}\left(\frac{\partial x_{0}}{\partial\vartheta}+a\frac{\partial x_{1}}{\partial\vartheta}\right)^{2},

[ 401 ] in which the coefficients of the binary, quadratic differential form \psi(db,dc) and the magnitudes β and γ are evidently independent from a.

Especially we think of ϑ as the "proper time" along the curve C_0, thus

(29) \mathrm{S}\left(\frac{\partial x_{0}}{\partial\vartheta}\right)^{2}=-1

which can always be achieved by a convenient choice of τ, with which ϑ coincides along C_0.

From equations (28, \delta,\beta,\gamma) it follows for a = 0, one after the other:

(30) (\Theta)_{0}=1,\ \left(\frac{B}{a^{2}}\right)_{0}=\beta,\ \left(\frac{C}{a^{2}}\right)_{0}=\gamma,

and by recognizing, that

(31) \left(\frac{B}{a}\right)_{0}=\left(\frac{C}{a}\right)_{0}=0

in the same way from (28,α):

(32) \left(\frac{1}{a^{2}}\varphi(db,dc)\right)_{0}=\psi(db,dc)

and this eventually gives by (28,α):

(33) (B\ db+C\ dc)^{2}=\varphi(db,dc)-a^{2}\left(\frac{1}{a^{2}}\varphi(db,dc)\right)_{0}

However, as the coefficients of \varphi(db,dc) are free from ϑ, then it follows that the magnitudes B,C and thus β, γ are independent from ϑ.

Now there are two possibilities:

A. We have B = 0, C = 0. Then

(34) ds^{2}=da^{2}+\varphi(db,dc)-\Theta^{2}d\vartheta^{2},

from which we can see, that the areas ϑ = const. – i.e. the normal planes of curve C_0 – were orthogonally intersected by the curves C(a,b,c). Thus it can be said:

The equidistant curves are the orthogonal-trajectories of a family of planes.

Conversely, also the orthogonal-trajectories of any family of planes form an equidistant family of curves, since also for the measure determination ds^2 in R_4, the theorem remains valid according to which the distance between two moving points is constant when [ 402 ] their velocities are always normal to the connecting line.

B. At least one of the magnitudes B,C is not zero. Then it follows from (28,β,γ), that also Θ is independent from ϑ, and thus in the expression:

(35) ds^{2}=da^{2}+\varphi(db,dc)-(B\ db+C\ de+\Theta\ d\vartheta)^{2}

all coefficients are free from ϑ at all.

In this case, let us consider the one-parametric group of transformations of R_4, in which the point with parameter values (a,b,c,ϑ) goes over to those, to which the following parameter values belong:

(36) a'=a,\ b'=b,\ c'=c,\ \vartheta'=\vartheta+h

According to the things recognized above, it is given for those transformations:

(37) ds'^{2}=ds^{2}

therefore they are motions in R_4, and since in those motions any single curve C(a,b,c) is evidently moved in itself, then the following statement can be made:

The equidistant curves are the trajectories of a one-parametric group of motion.

Conversely, also the trajectories of a one-parametric motion group always form an equidistant family of curves, since the sector that is limited by two infinitely adjacent curves can be moved in itself, thus it must have the same extensions everywhere.[9]

Having noticed this, we think of the curve C_0 as arbitrarily given, and we pose the exercise to find out all equidistant families of curves that belong to that curve.

By (A) we have an unequivocally defined solution in the orthogonal trajectories of the normal planes of C_0 in all cases. Shall there be others besides those, then the related families will necessarily be summarized under (B) and therefore curve C_0 must form a one-parametric group [ 403 ] of motions in itself. Conversely, also the trajectories of any one-parametric group of motions of curve C_0 in itself (which don't fix C_0 pointwise) give a solution of the exercise, and by all existing groups of this kind also all other solutions are given.

In order to move C_0 in itself, it is necessary and sufficient, that the three curvatures[10] of that curve - that are motion invariants and that let the curve remain fixed except its position in space - are constant along the curve, so that the curve is, so to speak, a helix. In addition, if C_0 shall have more than one such group of motions in itself, then there must be motions that let C_0 pointwise remain fixed, and any single one of such motion corresponds to another group of motions of the curve in itself. The fixpoints of any motion in R_4 now forms (here we can neglect the case of a single fixpoint) either a straight line or a plane R_3, and in reverse this structures remain fixed pointwise at \infty^{3} or \infty^{1} motions.

Depending on whether curve C_0 (with constant curvatures) exists in no space lower than R_3 or R_2 or eventually is a straight line, it has 1 or \infty^{1} or \infty^{3} one-parametric motion groups in itself, and exactly that is the number of the additional solutions of the exercise, that are given by the trajectories of that group.

If one takes into consideration, that C_0 is the image of a point of a "rigid" body – its world-line – then the answer can be given to the question after the freedom of motion of a "rigid" body:

In Born's kinematics of rigid bodies, the motion of the whole body is generally unequivocally determined by the arbitrarily defined motion of a single point of it.

[ 404 ] An exception only takes place, when the world-line of that point in R_4 has constant curvatures, namely in this case – depending on the condition that it doesn't lie in a lower space than (at the most) R_3 or R_2, or eventually it is a straight line – there additionally exist 1 or \infty^{1} or \infty^{3} possible motions.

However, although by this result the immediately given purpose - the determination of the degrees of freedom of a "rigid" body - is achieved, it is apparently necessary to particularly consider all the possible forms of motion, especially also in the special cases. Although they cannot be used for a general definition of a "rigid" body, they have a special meaning from the standpoint of the relativity principle. It is therefore convenient to incorporate some simple facts of non-euclidean geometry, which in any case can be used with advantage for questions concerning the theory of relativity - for example for the composition of velocities - as it will be shown at a specific place.

III. The Lorentz transformation and hyperbolic geometry in R_3.[edit]

The measure determination introduced in R_{4}(x,y,z,t), coincides in the bundle of \infty^{3} (for example, the lines that emanate from the origin O(x=y=z=t=0)) with Cayley's metric (that is based on the real minimal cone of that point as absolute cone). By projective representation of the line bundle at the points of R_3, it goes over into a real plane of second order, the measure determination therefore goes over into Cayley's metric that is based on that real F_2. To the rotations around O in R_4 – the Lorentz transformations – the motions in R_3 are corresponding that are related to this hyperbolic measure determination. To give this obvious connection a certain form and take advantage from it for the current purpose, we have to remind some known things of hyperbolic geometry.[11]

[ 405 ] To project a line bundle of R_4 through O upon R_3 in a simple manner, one only has to set equal x,y,z,t to the homogeneous right angled coordinates z_{1},z_{2},z_{3},z_{4} in R_3:

(38) z_{1}=x,\ z_{2}=y,\ z_{3}=z,\ z_{4}=t,

by which the minimal cone in R_4 corresponds to the unit sphere around the origin:

(39) z_{1}^{2}+z_{2}^{2}+z_{3}^{2}-z_{4}^{2}=0

so that it has to serve as absolute plane of the measure determination that has to be introduced in R_3.

The one- two- and three-dimensional structures of R_4 (which are plane and directed through O), are corresponding to the points, straight lines and planes of R_3. By their orientation in relation to the sphere, they visualize the orientation of the corresponding structures to the minimal cone (for example time-like lines = inner points, space-like lines = outer points). Any such structure of R_4 is normal to each other, if the corresponding structures of R_3 are conjugated to each other as regards the polar connectivity at the sphere (for example two lines perpendicular to each other = two lines of which all are lying at the polar plane of the other). The four edges of a polar tetrahedron of the sphere, are corresponding in R_4 to four straight lines that pass through O and that are mutually normal; if we chose them in a convenient order and take the x',y',z',t'-axis as direction (the corresponding edge in the interior of the sphere, of course, as t'-axis) of a new coordinate system, then those new coordinates x',y',z',t' are connected with the old ones x,y,z,t by a Lorentz transformation.

If in addition

(40) p_{ik},\ p_{ik}+p_{ki}=0,\qquad(i,k=1,2,3,4)

are the components of a vector of second kind (Minkowski), then its two invariants are:

(41) \left\{ \begin{align}
D= & p_{23}p_{14}+p_{31}p_{24}+p_{12}p_{34},\\
\Delta= & p_{23}^{2}+p_{31}^{2}+p_{12}^{2}+p_{14}^{2}+p_{24}^{2}+p_{34}^{2}
\end{align}\right.

[ 406 ] and if one puts in accordance with the reality relations of p_{ik} (where f_{ik} are to be understood as real magnitudes):

(42) \left\{ \begin{align}
 & p_{23}:p_{31}:p_{12}:ip_{14}:ip_{24}:ip_{34}\\
 & \qquad=f_{23}:f_{31}:f_{12}:f_{14}:f_{24}:f_{34},\\
 & \qquad f_{ik}+f_{ki}=0,
\end{align}\right.

then the vector of second kind can, regarding the relations of its components, illustrated by the linear complex of R_3:

(43) \sum\limits _{1}^{4}ik\ f_{ik}\left(z_{i}z'_{k}-z'_{i}z_{k}\right)=0

As long as D\ne0, one has a general complex, and then[12] there are two specified real straight lines that are conjugated polars, either with respect to the sphere or with respect to the complex. If one choses a polar-tetrahedron of the sphere, from which two opposite edges coincide with this straight line, then in the corresponding system x',y',z',t' all components p'_{ik} of the vector of second kind will vanish, except of two whose values can immediately expressed by D and Δ.

However, if D = 0 (singular vector according to Minkowski), then this complex becomes a special one, consisting of all straight lines that intersect a specified straight line. This intersects, or is tangent to, or misses the sphere, depending (p_{23},p_{31},p_{12} considered as real) on whether \Delta>0,\ \Delta=0,\ \Delta<0. The corresponding two-dimensional plane of R_4 can be used for clarification of the vector with respect to the relations of its components. Simultaneously, analogous to the preceding, by its aid the coordinate systems of R_4 can immediately be given in which as much as possible of the vector components will vanish.

Especially any infinitely small Lorentz transformation can be illustrated by a vector of second kind, the points of R_4 are all moving through it perpendicularly to its [ 407 ] complex plane. Depending on whether D\ne0 or = 0, then in R_4 only the origin or also the points of the two-dimensional plane (used above) remain fixed. The latter intersects, or is tangent to, or misses the minimal cone depending on whether \Delta>0,=0,<0.

If one eventually imagine an arbitrary Lorentz transformation that transforms (x',y',z',t') into (x,y,z,t), then this obviously corresponds to a collineation of R_3 that transforms the unit sphere in itself - exactly a hyperbolic motion of R_3.

Conversely, all of such collineations correspond to two linear homogeneous transformations in x,y,z,t with determinant 1, that let ds^2 remain unchanged. The identical collineation of z_i particularly corresponds to the two transformations:

(44) \left\{ \begin{array}{crcrcrcr}
x= & x', & y= & y', & z= & z', & t= & t'\\
x= & -x', & y= & -y', & z= & -z', & t= & -t'\end{array}\right.

From these, only the first is a Lorentz transformation, since the second one replaces the front- and back-cone of the point O against each other. The Lorentz transformations definitely correspond to hyperbolic motions in R_3.

Now, in addition the sphere will be transformed (by any of such a motion) in itself so that the complex parameter (imagined as extended upon it):

(45) \mathsf{Z}=\frac{z_{1}+iz_{2}}{z_{4}-z_{3}}=\frac{x+iy}{t-z}

is subjected to a linear substitution with generally complex coefficients (the additionally conjugated complex parameter, the conjugated complex substitution), and to all such substitutions corresponds a specified hyperbolic motion in R_3.

If x',y',z',t' are transformed into x,y,z,t by a Lorentz transformation, then the magnitudes:

(46) \mathsf{Z}=\frac{x+iy}{t-z},\ \mathsf{Z}'=\frac{x'+iy'}{t'-z'}

are connected to each other by a linear substitution (with complex coefficients)

(47) \mathsf{Z}=\frac{\alpha\mathsf{Z}'+\beta}{\gamma\mathsf{Z}'+\delta}

[ 408 ] and all such substitutions are corresponding to a certain Lorentz transformation.[13]

If one wants, as it is necessary for the following, to write the one-parametric group of Lorentz transformations, then one only has to take the one-parametric group of linear substitutions in \mathsf{Z}, and to form the corresponding Lorentz transformation. The first ones are now (by ϑ we think of the [real] parameter, by λ of an arbitrary real magnitude):

\begin{align}
\mathsf{I.} &  &  & \mathsf{Z}=\mathsf{Z}'e^{(1+i\lambda)\vartheta} &  & \mathrm{loxodromic} & \mathrm{group}\\
\mathsf{II.} &  &  & \mathsf{Z}=\mathsf{Z}'e^{i\vartheta} &  & \mathrm{elliptical} & ''\\
\mathsf{III.} &  &  & \mathsf{Z}=\mathsf{Z}'e^{\vartheta} &  & \mathrm{hyperbolic} & ''\\
\mathsf{IV.} &  &  & \mathsf{Z}=\mathsf{Z}'+\vartheta &  & \mathrm{parabolic} & ''
\end{align}

They correspond to the following groups of Lorentz transformation (for the sake of convenience they shall be denoted by the same names):

I. Loxodromic group


\begin{align}
x+iy= & (x'+iy')e^{i\lambda\vartheta}, & t-z= & (t'-z')e^{\vartheta},\\
x-iy= & (x'-iy')e^{-i\lambda\vartheta}, & t+z= & (t'+z')e^{-\vartheta},
\end{align}


II. Elliptic group


\begin{align}
x+iy= & (x'+iy')e^{i\vartheta}, & z= & z',\\
x-iy= & (x'-iy')e^{-i\vartheta}, & t= & t'.
\end{align}


III. Hyperbolic group


\begin{align}
x= & x', & t-z= & (t'-z')e^{\vartheta}\\
y= & y', & t+z= & (t'+z')e^{-\vartheta}
\end{align}


IV. Parabolic group


\begin{align}
x= & x'+\vartheta(t'-z'), & y= & y'\\
z= & z'+\vartheta x'+\frac{1}{2}\vartheta^{2}(t'-z'), & t-z= & t'-z'.
\end{align}

One notices at once, that these four groups are only different from each other by the kind of [ 409 ] vector of second kind that illustrate the corresponding infinitesimal transformation.

IV. The one-parametric groups of motions in R_4 and the corresponding forms of motion of "rigid" bodies.[edit]

If one writes for the sake of symmetry:

(48) \left\{ \begin{align}
x_{1}= & x, & x_{2}= & y, & x_{3}= & z, & x_{4}= & it,\\
x'_{1}= & x', & x'_{2}= & y', & x'_{3}= & z', & x'_{4}= & it',
\end{align}\right.

then any motion in R_4 can be analytically expressed in the form of a linear substitution:

(49) x_{i}=a_{i}+\sum\limits _{1}^{4}j\ a_{ij}x'_{j},\qquad(i=1,2,3,4).

Then \left|a_{ij}\right| is an orthogonal determinant of value +1, additionally a_{44} is real positive and the remaining magnitudes a_{i},a_{ij} are purely imaginary or real, depending on whether they have the index 4 or not.

If one has by (49) a continuous family of motions that depend on parameter ϑ, that is, a_i and a_{ij} are functions of ϑ, then by differentiation to ϑ while x_i remains constant:

(50) \frac{dx'_{i}}{d\vartheta}+q_{i}+\sum\limits _{1}^{4}j\ p_{ij}x'_{j}=0\ (i=1,2,3,4)

where it is put:

(51) \left\{ \begin{align}
q_{i}= & \sum\limits _{1}^{4}j\ a_{ij}\frac{da_{ij}}{d\vartheta},\\
 &  &  & (i,j=1,2,3,4)\\
p_{ij}= & \sum\limits _{1}^{4}k\ a_{ki}\frac{da_{kj}}{d\vartheta}, & p_{ij}+p_{ji}=0
\end{align}\right.

therefore also the magnitudes q_i and p_{ij} are purely imaginary or real, depending on whether they have the index 4 or not.

If we interpret (49) as equations of the coordinate transformation from systems S(x,y,z,t) into a system S'(x',y',z',t') moving against it, then consequently -q_{i} would be the components of the vector (first kind) of velocity of the origin O' of S' and -p_{ij} would be the components of the vector [ 410 ] (second kind) of the angular velocity of S' around O', both times taken by the axis of S'.

If the family of motions forms a group, then (by convenient choice of ϑ) q_i and p_{ij} are independent from ϑ, and conversely the integration of equations (50) always gives a group of motions for arbitrary values of p_i and p_{ij}.

The trajectories of the group – the trajectories of the points fixed at S' according to the interpretation above – which (as we know) form an equidistant family of curves, are illustrated by (49) with constant x'_{i} and variable ϑ; they of course only apparently depend on four parameters, but actually they depend only on three parameters.

Now, after these remarks, in order to write down the possible one-parametric groups of motion of R_4, and consequently in order to simultaneously write down the corresponding equidistant family of curves, one has to note that when the motions (49) form a group, then the same is true for the rotations:

(52) x_{i}=\sum\limits _{1}^{4}j\ a_{ij}x_{j}\ (i=1,2,3,4)

and this must be - in general only after performing a suitable Lorentz transformation to x_i and of the same to x'_{i} - identical with one of the four groups of Lorentz transformations specified in the preceding section; namely with the group I. II. III. IV., depending on whether it applies to the invariant D and Δ of the vector p_{ij}:

(53) \left\{ \begin{array}{rllrll}
\mathrm{I}. & D\ne0, &  & \mathrm{II}. & D=0, & \Delta>0,\\
\mathrm{II}. & D=0, & \Delta<0, & \mathrm{IV}. & D=0, & \Delta=0.\end{array}\right.

By that, the possible value systems of a_{ij} can immediately be given, though the values associated with a_i in all cases follow from (51):

(54) a_{i}=\sum\limits _{1}^{4}j\ q_{j}\int a_{ij}d\vartheta\ (i=1,2,3,4)

and specifically we can chose arbitrary constants for q_j, as long as: [ 411 ]

(55) \sum\limits _{1}^{4}i\left(\frac{dx_{i}}{d\vartheta}\right)^{2}=\sum\limits _{1}^{4}i\left(q_{i}+\sum\limits _{1}^{4}j\ p_{ij}x'_{j}\right)^{2}<0

at least for a certain field of values of x'_{j}. Now, furthermore the values of p_{ij} for the four groups are one after the other:

\left.\begin{align}
\mathrm{I}. &  & p_{21}= & -p_{12}=\lambda, & p_{34}= & -p_{43}=i\\
\mathrm{II}. &  & p_{21}= & -p_{12}=1,\\
\mathrm{III}. &  & p_{34}= & -p_{43}=i,\\
\mathrm{IV}. &  & q_{31}= & -p_{13}=1, & p_{41}= & -p_{14}=i
\end{align}\right\} the remaining p_{ij} are always equal to zero

and in connection with (50) they teach us, that by a convenient change of system S' (as well as of the system S) we always can achieve to following more simple value systems of q_i:

\begin{align}
\mathrm{I}. &  & q_{1}= & 0 & q_{2}= & 0, & q_{3} & =0, & q_{4} & =0,\\
\mathrm{II}. &  & = & 0, & = & 0, &  & =0, &  & =\delta i,\\
\mathrm{III}. &  & = & \alpha, & = & 0, &  & =0, &  & =0,\\
\mathrm{IV}. &  & = & 0, & = & \beta, &  & =0, &  & =\delta i,
\end{align}

Now, all this gives the following groups of motion, named after the rotation groups that are contained in them, together with the corresponding equidistant family of curves and motion types of the "rigid" body:


I. Loxodromic group


(56) \begin{align}
x+iy= & (x'+iy')e^{i\lambda\vartheta}, & t-z= & (t'-z')e^{\vartheta},\\
x-iy= & (x'-iy')e^{-i\lambda\vartheta}, & t+z= & (t'+z')e^{-\vartheta},
\end{align}

If t = 0:

x=x_{0},\ y=y_{0},\ z=z_{0},\ \vartheta=\vartheta_{0},

then for the corresponding motion of a "rigid" body it follows:

(57) \left\{ \begin{align}
x+iy= & \left(x_{0}+iy_{0}\right)e^{i\lambda u}, & u=\lg\frac{\sqrt{z_{0}^{2}+t^{2}}-t}{z_{0}}\\
x-iy= & \left(x_{0}-iy_{0}\right)e^{-i\lambda u},\\
z= & \sqrt{z_{0}^{2}+t^{2}}.
\end{align}\right.

[ 412 ] If one uses cylindrical coordinates \varrho,\varphi,z,\left(x+iy=\varrho e^{i\varphi}\right), then these equations can also be written:

(58) \left\{ \begin{align}
\varrho= & \varrho_{0},\\
z= & \frac{1}{2}u_{0}\left(e^{\frac{\varphi-\varphi_{0}}{\lambda}}+e^{-\frac{\varphi-\varphi_{0}}{\lambda}}\right),\\
t= & \sqrt{z^{2}-z_{0}^{2}}.
\end{align}\right.

Thus the points of a "rigid" body are moving upon sphere cylinders around the Z-axis along curves, and which, by unwinding of the cylinder on a plane, go over into catenaries with the velocity:

(59) s=\sqrt{\frac{\lambda^{2}\varrho_{0}^{2}+t^{2}}{z_{0}^{2}+t^{2}}.}

The points on the Z-axis are moving in it, specifically by the law denoted by Born as "hyperbolic motion": z=\sqrt{z_{0}^{2}+t^{2}}

Their world-lines are lying in R_2, while those of all other points belong to a space not lower than R_4.


II. Elliptical group


\begin{align}
x+iy= & (x'+iy')e^{i\vartheta}, & z= & z',\\
x-iy= & (x'-iy')e^{-i\vartheta}, & t= & t'+\delta\vartheta.
\end{align}

If t = 0:

x=x_{0},\ y=y_{0},\ z=z_{0},\ \vartheta=\vartheta_{0},

then for the corresponding motion of the "rigid" body it follows:

(60) \left\{ \begin{align}
x+iy= & \left(x_{0}+iy_{0}\right)e^{i\frac{t}{\delta}},\\
x-iy= & \left(x_{0}-iy_{0}\right)e^{-i\frac{t}{\delta}},\\
z= & z_{0}.
\end{align}\right.

Thus this body rotates like an ordinary rigid body uniformly around the Z-axis.

The world-line of the points on the Z-axis are straight lines, the world-lines of all other points belong each to R_3, but not to a space lower than it. [ 413 ]


III. Hyperbolic group.


\begin{align}
x= & x'+\alpha\vartheta, & t-z= & (t'-z')e^{\vartheta},\\
y= & y', & t+z= & (t'+z')e^{-\vartheta},
\end{align}

If t = 0:

x=x_{0},\ y=y_{0},\ z=z_{0},\ \vartheta=\vartheta_{0},

then for the corresponding motion of the "rigid" body it follows:

(61) \left\{ \begin{align}
x= & x_{0}+\alpha\lg\frac{\sqrt{z_{0}^{2}+t^{2}}-t}{z_{0}},\\
y= & y_{0},\\
z= & \sqrt{z_{0}^{2}+t^{2}}
\end{align}\right.

Thus its points are moving in planes normal to the Y-axis along catenaries.

(62) z=\frac{1}{2}z_{0}\left(e^{\frac{x-x_{0}}{a}}+e^{-\frac{x-x_{0}}{a}}\right)

with the velocity:

(63) s=\sqrt{\frac{a^{2}+t^{2}}{z_{0}^{2}+t^{2}}}

the world-lines of all points belong each to R_3, but not to a space lower than it.


IV. Parabolic group.


\begin{align}
x= & x'+\vartheta\left(t'-z'\right)+\frac{1}{2}\delta\vartheta^{2}, & y= & y'+\beta\vartheta,\\
z= & z'+\vartheta x'+\frac{1}{2}\vartheta^{2}(t'-z')+\frac{1}{6}\delta\vartheta^{3}, & t-z= & t'-z'+\delta\vartheta.
\end{align}

Here:

(64) \mathsf{S}\left(\frac{dx}{d\vartheta}\right)^{2}=(t'-z')^{2}+\beta^{2}-\delta(2x'+\delta'),

thus it is necessarily \delta\ne0.

If we put \vartheta=\vartheta_{0}:

x=x_{0},\ y=y_{0},\ z=z_{0},\ t=t_{0},

then the expressions above remain unchanged due to the group property, as long as one replaces x',y',z',t',\vartheta by x_{0},y_{0},z_{0},t_{0},\vartheta-\vartheta_{0} within them. If one particularly takes:

\vartheta_{0}=-\frac{1}{\delta}(t'-z'),

then t_{0}=z_{0}.

[ 414 ] Since for the motion of a rigid body only the trajectories of the group are of importance, one can write ϑ again for

\vartheta+\frac{1}{\delta}(t'-z'),

and thus can write the equations for the motion of a "rigid" body in the form:

(65) \left\{ \begin{align}
x= & x_{0}+\frac{1}{2}\delta\vartheta^{2}, & y= & y_{0}+\beta\vartheta,\\
z= & z_{0}+x_{0}\vartheta+\frac{1}{6}\delta\vartheta^{3}, & t-z= & \delta\vartheta
\end{align}\right.

Thus all its points are moving along space curves of third order with the velocity:

(66) s=\frac{\sqrt{x^{2}+2\delta\left(x-x_{0}\right)+\beta^{2}}}{x+\delta}

The world-lines of all points belong each to R_3, but not to a space lower than it.

If one poses for clarities sake the question, which of the formed equidistant families of curves of class (B) simultaneously also belong to class (A), i.e, which are orthogonal trajectories of a family of planes, then for the magnitudes q_i and p_{ij} that belong to the corresponding group, it is given:

(67) \sum\limits _{1}^{4}i\ q_{i}dx_{i}+\sum\limits _{1}^{4}ij\ p_{ij}x_{i}dx_{j}=\varphi\ d\psi

and for that it is necessary and sufficient, that the 4×5 matrix which emerges from the determinant \left|p_{ij}\right| by addition of row q_i, has the rank 1 or 2. The related discussion teaches, that this only occurs for the hyperbolic group II. with α = 0, by which indeed the trajectories are the orthogonal trajectories of the planes Az+Bt=0. The corresponding motion of the "rigid" body reads:

(68) x=x_{0},\ y=y_{0},\ z=\sqrt{z_{0}^{2}+t^{2}}

This most simple translational motion, which was also discussed by Born and denoted as "hyperbolic motion", it thus the only type of motion, that simultaneously belong to classes (A) and (B).

[ 415 ] Of course, the four types of motion of class (B) formed at this place, can be transformed by an arbitrary Lorentz transformation.

Anyway, due to the given composition it is easy (by a given motion of a point of the "rigid" body) to immediately and explicitly give, in addition to the motion of class (A), the possible types of motion of class (B). If, for example, a point of the body is fixed, then its world-line is a straight line, but this occurs as a trajectory only in group II - which immediately gives the fact mentioned at the beginning, that a "rigid" body with a fixed point only can rotate around an axis that goes through it, like an ordinary rigid body.

It may be noticed at the end, that the determination of the always possible motion of a "rigid" body from the motion of one of its points that belong to class (A) – i.e, the determination in R_4 of the orthogonal trajectories of the normal planes of that point's world-line – can be traced back to the integration of a Riccatian equation.

Leipzig, December 1, 1909.

Received December 7, 1909

  1. M. Born, Ann. d. Phys. 30. p. 1. 1909.
  2. After writing this treatise I became aware of a note by P. Ehrenfest, published in the issue of November 22, 1909 in Physik. Zeitschr., that directly points to this fact by showing in a very simple way, that a body which is once at rest cannot be set into uniform rotation.
  3. H. Minkowski, Die Grundgleichungen der elektromagnetischen Vorgänge in bewegten Körpern, Gött. Nachr. 1908; Raum und Zeit, Vortrag, gehalten auf der 80. Naturforscherversammlung zu Köln. Leipzig 1909.
  4. By this formulation the formulas calculated by Born for the case of uniform translation can immediately be written, since the equidistant curves of the (z,t)-plane of measure determination ds^{2}=dz^{2}-dt^{2} are of course (analogues to ds^{2}=dz^{2}+dt^{2}) the orthogonal trajectories of a family of lines, which is exactly the meaning of Born's formulas.
  5. The same remark was given by P. Ehrenfest, l.c. This is also immediately evident by geometry, if we consider the space-time line that corresponds to a volume element. If its perpendicular cross-section on one location is an infinitely small sphere, then this is because the world-line is equidistant at any place. The cross-section that is perpendicular to the t-axis, is thus, of course, exactly the preceding ellipsoid.
  6. The following (for clarities sake analytically formulated) considerations have a very simple geometrical meaning and are thus transferable on the equidistant family of curves of an arbitrary variational problem.
  7. See. G. Darboux, Théorie générale des surfaces 2. livre V. chap. VIII.
  8. See. G. Darboux, l.c.
  9. In three-dimensional space of ordinary euclidean measure determination, the equidistant curve systems are either orthogonal trajectories of a family of planes, or coaxial helixes of same pitch.
  10. Concerning the differential geometry of curves in higher spaces, see for example G. Landsberg, Crelles Journ. 114. One has, for achieving the expressions of the curvatures for the measure determination used here, only to replace one of the coordinates by it.
  11. Compare for the complete section especially F. Klein, Nicht-Euklidische Geometrie, Autogr. Vorl., Göttingen 1893, as well as the short introduction concerning projective measure determination in Fricke-Klein, Autormorphe Funktionen I. Primarily note the imaginative description of hyperbolic motions, which especially make clear the relations of Lorentz transformations.
  12. Clebsch-Lindemann, Vorles. über Geometrie 2, 1. p. 343 ff.; vgl. auch F. Lindemann, Unendlich kleine Bewegungen und Kraftsysteme bei allgemeiner Maßbestimmung, Diss. Erlangen 1873.
  13. For the relevant formulas, see F. Klein, l.c.. They can be written very compendious by using quaternions.
This is a translation and has a separate copyright status from the original text. The license for the translation applies to this edition only.
Original:
This work is in the public domain in the United States because it was published before January 1, 1923.

The author died in 1953, so this work is also in the public domain in countries and areas where the copyright term is the author's life plus 60 years or less. This work may also be in the public domain in countries and areas with longer native copyright terms that apply the rule of the shorter term to foreign works.

 
Translation:
This work is released under the Creative Commons Attribution-ShareAlike 3.0 Unported license, which allows free use, distribution, and creation of derivatives, so long as the license is unchanged and clearly noted, and the original author is attributed.