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

Template:Center

In his paper "The theory of the rigid electron in the kinematics of the principle of relativity", Template:Sc has tried in an obvious way to give a definition of those types of motion of a three-fold 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 Template:Sc can only uniformly rotate around a fixed axis that goes through that point. Template:Pagenum

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

Following Template:Sc's 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-fold 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)

Template:Optional style|(1)

$d{s}^2=d{x}^2+d{y}^2+d{z}^2-d{t}^2$

The line elements of real length $(d{s}^2>0)$ are denoted as space-like, and such of purely imaginary length $(d{s}^2<0)$ 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 $(d{x}^{\prime }:d{y}^{\prime }:d{z}^{\prime }:d{t}^{\prime })$ are normal to each other according to that measure-determination, if

Template:Optional style|(2)

$dxd{x}^{\prime }+dyd{y}^{\prime }+dzd{z}^{\prime }-dtd{t}^{\prime }=0$

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

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

Template:Pagenum 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:

Template:Optional style|(3)

$\{\begin{array}{c}x=x(\xi ,\eta ,\zeta ,t),\\ y=y(\xi ,\eta ,\zeta ,t),\\ z=z(\xi ,\eta ,\zeta ,t).\end{array}$

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

Template:Optional style|(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):

Template:Optional style|(5)

$\{\begin{array}{c}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{array}$

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-parameter family of curves $C(\xi ,\eta ,\zeta )$, which is exactly the ${\mathrm{\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. Template:Sc 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."

Template:Pagenum 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:

Template:Optional style|(6)

${\xi }_1=\xi ,{\xi }_2=\eta ,{\xi }_3=\zeta ,{\xi }_4=\tau ,$

then it shall be

Template:Optional style|(7)

$d{s}^2=\sum _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:

Template:Optional style|(8)

$A_{44}<0$

by introduction of the linear differential form

Template:Optional style|(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 one that only contains $d\xi ,d\eta ,d\zeta$:

Template:Optional style|(10)

$d{\sigma }^2=\sum _1^{3}ij{A}_{ij}d{\xi }_{i}d{\xi }_j-\frac{1}{A_{44}}{(A_{14}d{\xi }_1+A_{24}d{\xi }_2+A_{34}d{\xi }_3)}^2$

we can write:

Template:Optional style|(11)

$d{s}^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:

Template:Optional style|(12)

$\frac{\partial d{s}^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:

Template:Optional style|(13)

$\frac{\partial }{\partial \tau }d{\sigma }^2=0$

Template:Pagenum 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:

Template:Optional style|(14)

$s^2=u^2+v^2+w^2$

then

Template:Optional style|(15)

$A_{44}=-(1-s^2){\left(\frac{\partial t}{\partial \tau }\right)}^2$

Template:Optional style|(16)

$d\nu =(udx+vdy+wdz-dt)\frac{\partial t}{\partial \tau }$

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

Template:Optional style|(17)

$d{s}^2=d{x}^2+d{y}^2+d{z}^2=d{\sigma }^2-\frac{(udx+vdy+wdz{)}^2}{1-s^2}$

thus

Template:Optional style|(18)

$d{\sigma }^2=d{x}^2+d{y}^2+d{z}^2+\frac{(udx+vdy+wdz{)}^2}{1-s^2}$

Obviously $d{\sigma }^2={ϵ}^2$ is now the equation of an infinitely small ellipsoid of revolution of semi-axes $ϵ,ϵ,ϵ\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 $ϵ\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 Template:Sc can be brought into this extremely suggesting form:

"If the velocity within the body is changing in space and time, then the Template:Sc contraction hypothesis shall be valid for every single volume element."

Template:Pagenum By that, the single volume element possesses a six-fold freedom of motion, because the ellipsoid additionally allows ${\mathrm{\infty }}^3$ linear homogeneous deformations in it. But is the same true for a body continuously formed by such elements of finite extension throughout? 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.

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.

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-fold 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:

Template:Optional style|(19)

$\{\begin{array}{c}\xi =\xi (a,b,c),\\ \eta =\eta (a,b,c),\\ \zeta =\zeta (a,b,c),\end{array}$

then the differences $\xi -{\xi }_0,\eta -{\eta }_0,\zeta -{\zeta }_0$ for a = 0 and all b,c will vanish, but when divided by a (with convenient choice of b,c) then for a = 0 and all b,c it will remain finite, and Template:Pagenum if $d{\sigma }^2$ is expressed by this variables, it will assume the form:

Template:Optional style|(20)

$d{\sigma }^2=d{a}^2+\phi (db,dc)$

where $\phi (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 as determined that solution of the differential equation:

Template:Optional style|(21)

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

which assumes the value $\tau =\vartheta$ for a = 0:

Template:Optional style|(22)

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

and by this last equation, instead of τ we have introduced the parameter ϑ which becomes identical with τ specifically along the curve $C_0$.

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

Template:Optional style|(23)

$\frac{1}{\sqrt{-A_{44}}}\sum _1^{4}i{A}_{i4}d{\xi }_i=Bdb+Cdc+\mathrm{\Theta }d\vartheta$

and da will vanish from the linear differential expression dν.

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

Template:Optional style|(24)

$d{s}^2=d{a}^2+\phi (db,dc)-(Bdb+Cdc+\mathrm{\Theta }d\vartheta {)}^2$

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

Template:C/sb = const., c = const., ϑ = const.Template:C/e

in $R_4(x,y,z,t)$ are extremals of the integral $\int ds$, which means that they are straight lines. Those ${\mathrm{\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 $dad\vartheta$ in $d{s}^2$. If we especially take from them the ${\mathrm{\infty }}^2$ straight line that belongs to the same ϑ-value, and imagine the point a = 0 as Template:Pagenum marked on any of them, then this point is nothing else than 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 ${\mathrm{\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:

Template:Optional style|(25)

$\{\begin{array}{cc}x=& x_0(\vartheta )+a{x}_1(b,c,\vartheta ),\\ y=& y_0(\vartheta )+a{y}_1(b,c,\vartheta ),\\ z=& z_0(\vartheta )+a{z}_1(b,c,\vartheta ),\\ t=& t_0(\vartheta )+a{t}_1(b,c,\vartheta ).\end{array}$

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.

Since the straight lines $G(b,c,\vartheta )$ are the normals of the curve $C_0$ (a = 0), it follows

Template:Optional style|(26)

$\mathrm{S}{x}_1\frac{\partial x_0}{\partial \vartheta }=0$

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

Template:Optional style|(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$

If the form $d{s}^2$ made by (25) will be identified with the expression (24), then the equations follow:

Template:Optional style|(28,α)

$\phi (db,dc)-(Bdb+Cdc{)}^2=$ $=a^2\mathrm{S}{(\frac{\partial x_1}{\partial b}db+\frac{\partial x_1}{\partial c}dc)}^2=a^2\psi (db,dc),$

Template:Optional style|(28,β)

$-B\mathrm{\Theta }=a^2\mathrm{S}\frac{\partial x_1}{\partial b}\frac{\partial x_1}{\partial \vartheta }=a^2\beta ,$

Template:Optional style|(28,γ)

$-C\mathrm{\Theta }=a^2\mathrm{S}\frac{\partial x_1}{\partial c}\frac{\partial x_1}{\partial \vartheta }=a^2\gamma ,$

Template:Optional style|(28,δ)

$-{\mathrm{\Theta }}^2=\mathrm{S}{(\frac{\partial x_0}{\partial \vartheta }+a\frac{\partial x_1}{\partial \vartheta })}^2,$

Template:Pagenum 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

Template:Optional style|(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:

Template:Optional style|(30)

$(\mathrm{\Theta }{)}_0=1,{\left(\frac{B}{a^2}\right)}_0=\beta ,{\left(\frac{C}{a^2}\right)}_0=\gamma ,$

and by recognizing, that

Template:Optional style|(31)

${\left(\frac{B}{a}\right)}_0={\left(\frac{C}{a}\right)}_0=0$

in the same way from (28,α):

Template:Optional style|(32)

${(\frac{1}{a^2}\phi (db,dc))}_0=\psi (db,dc)$

and this eventually gives by (28,α):

Template:Optional style|(33)

$(Bdb+Cdc{)}^2=\phi (db,dc)-a^2{(\frac{1}{a^2}\phi (db,dc))}_0$

However, as the coefficients of $\phi (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

Template:Optional style|(34)

$d{s}^2=d{a}^2+\phi (db,dc)-{\mathrm{\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 with respect to the measure-determination $d{s}^2$ in $R_4$, the theorem remains valid according to which the distance between two moving points is constant when Template:Pagenum 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:

Template:Optional style|(35)

$d{s}^2=d{a}^2+\phi (db,dc)-(Bdb+Cde+\mathrm{\Theta }d\vartheta {)}^2$

all coefficients are free from ϑ at all.

In this case, let us consider the one-parameter 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:

Template:Optional style|(36)

$a^{\prime }=a,b^{\prime }=b,c^{\prime }=c,{\vartheta }^{\prime }=\vartheta +h$

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

Template:Optional style|(37)

$ds{\text{'}}^2=d{s}^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-parameter 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.

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-parameter group Template:Pagenum of motions in itself. Conversely, also the trajectories of any one-parameter 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 of that curve – that are invariants of motion 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 these formations remain fixed pointwise at ${\mathrm{\infty }}^3$ or ${\mathrm{\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 ${\mathrm{\infty }}^1$ or ${\mathrm{\infty }}^3$ one-parameter 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 Template:Sc'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.

Template:Pagenum 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 ${\mathrm{\infty }}^1$ or ${\mathrm{\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$.

The measure-determination introduced in $R_4(x,y,z,t)$ coincides in the bundle of ${\mathrm{\infty }}^3$ – for example, the lines that emanate from the origin $O(x=y=z=t=0)$ – with Template:Sc'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 Template:Sc's metric that is based on that real $F_2$. The rotations around O in $R_4$ – the Lorentz transformations – correspond to the motions in $R_3$ which 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.

Template:Pagenum To project a line bundle of $R_4$ through O upon $R_3$ in a simple manner, one only has to set x,y,z,t equal to the homogeneous right angled coordinates $z_1,z_2,z_3,z_4$ in $R_3$:

Template:Optional style|(38)

$z_1=x,z_2=y,z_3=z,z_4=t,$

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

Template:Optional style|(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 located 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 choose them in a convenient order and take the $x^{\prime },y^{\prime },z^{\prime },t^{\prime }$-axis as direction (the corresponding edge in the interior of the sphere, of course, as $t^{\prime }$-axis) of a new coordinate system, then those new coordinates $x^{\prime },y^{\prime },z^{\prime },t^{\prime }$ are connected with the old ones x,y,z,t by a Lorentz transformation.

If in addition

Template:Optional style|(40)

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

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

Template:Optional style|(41)

$\{\begin{array}{cc}D=& p_{23}{p}_{14}+p_{31}{p}_{24}+p_{12}{p}_{34},\\ \mathrm{\Delta }=& p_{23}^2+p_{31}^2+p_{12}^2+p_{14}^2+p_{24}^2+p_{34}^2\end{array}$

Template:Pagenum and if one puts, in accordance with the reality relations of $p_{ik}$ (where $f_{ik}$ are to be understood as real magnitudes):

Template:Optional style|(42)

$\{\begin{array}{cc}& p_{23}:p_{31}:p_{12}:i{p}_{14}:i{p}_{24}:i{p}_{34}\\ & =f_{23}:f_{31}:f_{12}:f_{14}:f_{24}:f_{34},\\ & f_{ik}+f_{ki}=0,\end{array}$

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

Template:Optional style|(43)

$\sum _1^{4}ik{f}_{ik}(z_{i}z{\text{'}}_k-z{\text{'}}_i{z}_k)=0$

As long as $D\ne 0$, one has a general complex, and then 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 chooses a polar-tetrahedron of the sphere, from which two opposite edges coincide with this straight line, then in the corresponding system $x^{\prime },y^{\prime },z^{\prime },t^{\prime }$ all components $p{\text{'}}_{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 Template:Sc), 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 $\mathrm{\Delta }>0,\mathrm{\Delta }=0,\mathrm{\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 Template:Pagenum complex plane. Depending on whether $D\ne 0$ 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 $\mathrm{\Delta }>0,=0,<0$.

If one eventually imagine an arbitrary Lorentz transformation that transforms $(x^{\prime },y^{\prime },z^{\prime },t^{\prime })$ 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 which leave $d{s}^2$ unchanged. The identical collineation of $z_i$ particularly corresponds to the two transformations:

Template:Optional style|(44)

$\{\begin{array}{cccccccc}x=& x^{\prime },& y=& y^{\prime },& z=& z^{\prime },& t=& t^{\prime }\\ x=& -x^{\prime },& y=& -y^{\prime },& z=& -z^{\prime },& t=& -t^{\prime }\end{array}$

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 correspond one-to-one to hyperbolic motions in $R_3$.

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

Template:Optional style|(45)

$𝖹=\frac{z_1+i{z}_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^{\prime },y^{\prime },z^{\prime },t^{\prime }$ are transformed into x,y,z,t by a Lorentz transformation, then the magnitudes:

Template:Optional style|(46)

$𝖹=\frac{x+iy}{t-z},{𝖹}^{\prime }=\frac{x^{\prime }+i{y}^{\prime }}{t^{\prime }-z^{\prime }}$

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

Template:Optional style|(47)

$𝖹=\frac{\alpha {𝖹}^{\prime }+\beta }{\gamma {𝖹}^{\prime }+\delta }$

Template:Pagenum and all such substitutions are corresponding to a certain Lorentz transformation.

If one wants, as it is necessary for the following, to write the one-parameter group of Lorentz transformations, then one only has to take the one-parameter group of linear substitutions in $𝖹$, 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):

Template:C/s$\begin{array}{ccccccc}𝖨\mathsf{.}& & & 𝖹={𝖹}^{\prime }{e}^{(1+i\lambda )\vartheta }& & \mathrm{l}\mathrm{o}\mathrm{x}\mathrm{o}\mathrm{d}\mathrm{r}\mathrm{o}\mathrm{m}\mathrm{i}\mathrm{c}& \mathrm{g}\mathrm{r}\mathrm{o}\mathrm{u}\mathrm{p}\\ 𝖨𝖨\mathsf{.}& & & 𝖹={𝖹}^{\prime }{e}^{i\vartheta }& & \mathrm{e}\mathrm{l}\mathrm{l}\mathrm{i}\mathrm{p}\mathrm{t}\mathrm{i}\mathrm{c}\mathrm{a}\mathrm{l}& {\text{'}}^{\prime }\\ 𝖨𝖨𝖨\mathsf{.}& & & 𝖹={𝖹}^{\prime }{e}^{\vartheta }& & \mathrm{h}\mathrm{y}\mathrm{p}\mathrm{e}\mathrm{r}\mathrm{b}\mathrm{o}\mathrm{l}\mathrm{i}\mathrm{c}& {\text{'}}^{\prime }\\ 𝖨𝖵\mathsf{.}& & & 𝖹={𝖹}^{\prime }+\vartheta & & \mathrm{p}\mathrm{a}\mathrm{r}\mathrm{a}\mathrm{b}\mathrm{o}\mathrm{l}\mathrm{i}\mathrm{c}& {\text{'}}^{\prime }\end{array}$Template:C/e

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

Template:C/s$\begin{array}{cccc}x+iy=& (x^{\prime }+i{y}^{\prime })e^{i\lambda \vartheta },& t-z=& (t^{\prime }-z^{\prime })e^{\vartheta },\\ x-iy=& (x^{\prime }-i{y}^{\prime })e^{-i\lambda \vartheta },& t+z=& (t^{\prime }+z^{\prime })e^{-\vartheta },\end{array}$Template:C/e

Template:Center

Template:C/s$\begin{array}{cccc}x+iy=& (x^{\prime }+i{y}^{\prime })e^{i\vartheta },& z=& z^{\prime },\\ x-iy=& (x^{\prime }-i{y}^{\prime })e^{-i\vartheta },& t=& t^{\prime }.\end{array}$Template:C/e

Template:Center

Template:C/s$\begin{array}{cccc}x=& x^{\prime },& t-z=& (t^{\prime }-z^{\prime })e^{\vartheta }\\ y=& y^{\prime },& t+z=& (t^{\prime }+z^{\prime })e^{-\vartheta }\end{array}$Template:C/e

Template:Center

Template:C/s$\begin{array}{cccc}x=& x^{\prime }+\vartheta (t^{\prime }-z^{\prime }),& y=& y^{\prime }\\ z=& z^{\prime }+\vartheta x^{\prime }+\frac{1}{2}{\vartheta }^2(t^{\prime }-z^{\prime }),& t-z=& t^{\prime }-z^{\prime }.\end{array}$Template:C/e

One notices at once, that these four groups are only different from each other by the kind of Template:Pagenum vector of second kind that illustrates the corresponding infinitesimal transformation.

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

If one writes for the sake of symmetry:

Template:Optional style|(48)

$\{\begin{array}{cccccccc}{x}_1=& x,& x_2=& y,& x_3=& z,& x_4=& it,\\ x{\text{'}}_1=& x^{\prime },& x{\text{'}}_2=& y^{\prime },& x{\text{'}}_3=& z^{\prime },& x{\text{'}}_4=& i{t}^{\prime },\end{array}$

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

Template:Optional style|(49)

$x_i=a_i+\sum _1^{4}j{a}_{ij}x{\text{'}}_j,(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 with respect to ϑ while $x_i$ remains constant:

Template:Optional style|(50)

$\frac{dx{\text{'}}_i}{d\vartheta }+q_i+\sum _1^{4}j{p}_{ij}x{\text{'}}_j=0(i=1,2,3,4)$

where it is put:

Template:Optional style|(51)

$\{\begin{array}{cc}{q}_i=& \sum _1^{4}j{a}_{ij}\frac{d{a}_{ij}}{d\vartheta },\\ & & & (i,j=1,2,3,4)\\ p_{ij}=& \sum _1^{4}k{a}_{ki}\frac{d{a}_{kj}}{d\vartheta },& p_{ij}+p_{ji}=0\end{array}$

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 system S(x,y,z,t) into a system $S^{\prime }(x^{\prime },y^{\prime },z^{\prime },t^{\prime })$ moving against it, then consequently $-q_i$ would be the components of the vector (first kind) of velocity of the origin $O^{\prime }$ of $S^{\prime }$ and $-p_{ij}$ would be the components of the vector Template:Pagenum (second kind) of the angular velocity of $S^{\prime }$ around $O^{\prime }$, both times taken by the axis of $S^{\prime }$.

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^{\prime }$ according to the interpretation above – which (as we know) form an equidistant family of curves, are illustrated by (49) with constant $x{\text{'}}_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-parameter 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:

Template:Optional style|(52)

$x_i=\sum _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{\text{'}}_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}$:

Template:Optional style|(53)

$\{\begin{array}{cccccc}\mathrm{I}.& D\ne 0,& & \mathrm{I}\mathrm{I}.& D=0,& \mathrm{\Delta }>0,\\ \mathrm{I}\mathrm{I}.& D=0,& \mathrm{\Delta }<0,& \mathrm{I}\mathrm{V}.& D=0,& \mathrm{\Delta }=0.\end{array}$

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

Template:Optional style|(54)

$a_i=\sum _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: Template:Pagenum

Template:Optional style|(55)

$\sum _1^{4}i{\left(\frac{d{x}_i}{d\vartheta }\right)}^2=\sum _1^{4}i{(q_i+\sum _1^{4}j{p}_{ij}x{\text{'}}_j)}^2<0$

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

Template:C/s$\begin{array}{cccccc}\mathrm{I}.& & p_{21}=& -p_{12}=\lambda ,& p_{34}=& -p_{43}=i\\ \mathrm{I}\mathrm{I}.& & p_{21}=& -p_{12}=1,\\ \mathrm{I}\mathrm{I}\mathrm{I}.& & p_{34}=& -p_{43}=i,\\ \mathrm{I}\mathrm{V}.& & q_{31}=& -p_{13}=1,& p_{41}=& -p_{14}=i\end{array}\}$ the remaining $p_{ij}$ are always equal to zeroTemplate:C/e

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

Template:C/s$\begin{array}{cccccccccc}\mathrm{I}.& & q_1=& 0& q_2=& 0,& q_3& =0,& q_4& =0,\\ \mathrm{I}\mathrm{I}.& & =& 0,& =& 0,& & =0,& & =\delta i,\\ \mathrm{I}\mathrm{I}\mathrm{I}.& & =& \alpha ,& =& 0,& & =0,& & =0,\\ \mathrm{I}\mathrm{V}.& & =& 0,& =& \beta ,& & =0,& & =\delta i,\end{array}$Template:C/e

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:

Template:Center

Template:Optional style|(56)

$\begin{array}{cccc}x+iy=& (x^{\prime }+i{y}^{\prime })e^{i\lambda \vartheta },& t-z=& (t^{\prime }-z^{\prime })e^{\vartheta },\\ x-iy=& (x^{\prime }-i{y}^{\prime })e^{-i\lambda \vartheta },& t+z=& (t^{\prime }+z^{\prime })e^{-\vartheta },\end{array}$

If t = 0:

Template:C/s$x=x_0,y=y_0,z=z_0,\vartheta ={\vartheta }_0,$Template:C/e

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

Template:Optional style|(57)

$\{\begin{array}{ccc}x+iy=& (x_0+i{y}_0)e^{i\lambda u},& u=\lg \frac{\sqrt{z_0^2+t^2}-t}{z_0}\\ x-iy=& (x_0-i{y}_0)e^{-i\lambda u},\\ z=& \sqrt{z_0^2+t^2}.\end{array}$

Template:Pagenum If one uses cylindrical coordinates $\varrho ,\phi ,z,(x+iy=\varrho e^{i\phi })$, then these equations can also be written:

Template:Optional style|(58)

$\{\begin{array}{cc}\varrho =& {\varrho }_0,\\ z=& \frac{1}{2}{u}_0(e^{\frac{\phi -{\phi }_0}{\lambda }}+e^{-\frac{\phi -{\phi }_0}{\lambda }}),\\ t=& \sqrt{z^2-z_0^2}.\end{array}$

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:

Template:Optional style|(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 this plane by the law denoted by Template:Sc 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$.

Template:Center

Template:C/s$\begin{array}{cccc}x+iy=& (x^{\prime }+i{y}^{\prime })e^{i\vartheta },& z=& z^{\prime },\\ x-iy=& (x^{\prime }-i{y}^{\prime })e^{-i\vartheta },& t=& t^{\prime }+\delta \vartheta .\end{array}$Template:C/e

If t = 0:

Template:C/s$x=x_0,y=y_0,z=z_0,\vartheta ={\vartheta }_0,$Template:C/e

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

Template:Optional style|(60)

$\{\begin{array}{cc}x+iy=& (x_0+i{y}_0)e^{i\frac{t}{\delta }},\\ x-iy=& (x_0-i{y}_0)e^{-i\frac{t}{\delta }},\\ z=& z_0.\end{array}$

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. Template:Pagenum

Template:Center

Template:C/s$\begin{array}{cccc}x=& x^{\prime }+\alpha \vartheta ,& t-z=& (t^{\prime }-z^{\prime })e^{\vartheta },\\ y=& y^{\prime },& t+z=& (t^{\prime }+z^{\prime })e^{-\vartheta },\end{array}$Template:C/e

If t = 0:

Template:C/s$x=x_0,y=y_0,z=z_0,\vartheta ={\vartheta }_0,$Template:C/e

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

Template:Optional style|(61)

$\{\begin{array}{cc}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{array}$

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

Template:Optional style|(62)

$z=\frac{1}{2}{z}_0(e^{\frac{x-x_0}{a}}+e^{-\frac{x-x_0}{a}})$

with the velocity:

Template:Optional style|(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.

Template:Center

Template:C/s$\begin{array}{cccc}x=& x^{\prime }+\vartheta (t^{\prime }-z^{\prime })+\frac{1}{2}\delta {\vartheta }^2,& y=& y^{\prime }+\beta \vartheta ,\\ z=& z^{\prime }+\vartheta x^{\prime }+\frac{1}{2}{\vartheta }^2(t^{\prime }-z^{\prime })+\frac{1}{6}\delta {\vartheta }^3,& t-z=& t^{\prime }-z^{\prime }+\delta \vartheta .\end{array}$Template:C/e

Here:

Template:Optional style|(64)

$𝖲{\left(\frac{dx}{d\vartheta }\right)}^2=(t^{\prime }-z^{\prime }{)}^2+{\beta }^2-\delta (2x^{\prime }+{\delta }^{\prime }),$

thus it is necessarily $\delta \ne 0$.

If we put $\vartheta ={\vartheta }_0$:

Template:C/s$x=x_0,y=y_0,z=z_0,t=t_0,$Template:C/e

then the expressions above remain unchanged due to the group property, as long as one replaces $x^{\prime },y^{\prime },z^{\prime },t^{\prime },\vartheta$ by $x_0,y_0,z_0,t_0,\vartheta -{\vartheta }_0$ within them. If one particularly takes:

Template:C/s${\vartheta }_0=-\frac{1}{\delta }(t^{\prime }-z^{\prime }),$Template:C/e

then $t_0=z_0$.

Template:Pagenum Since for the motion of a rigid body only the trajectories of the group are of importance, instead of

one can again write ϑ and then formulate the equations for the motion of a "rigid" body as follows:

Template:Optional style|(65)

$\{\begin{array}{cccc}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{array}$

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

Template:Optional style|(66)

$s=\frac{\sqrt{x^2+2\delta (x-x_0)+{\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:

Template:Optional style|(67)

$\sum _1^{4}i{q}_{i}d{x}_i+\sum _1^{4}ij{p}_{ij}{x}_{i}d{x}_j=\phi 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:

Template:Optional style|(68)

$x=x_0,y=y_0,z=\sqrt{z_0^2+t^2}$

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

Template:Pagenum 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 the possible types of motion of class (B) in addition to the motion of class (A). If, for example, a point of the body is fixed, then its world-line is a straight line, but such one arises 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 Template:Scan equation.

Leipzig, December 1, 1909.

---