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

{{translation header
 | title      = On bodies that are to be designated as "rigid" from the standpoint of the relativity principle
 | author     = Gustav Herglotz
 | language  = de
 | original  =
 | source =
 | section    = 
 | previous   = 
 | next       = 
 | year       = 1909
 | portal = Relativity
 | notes    =   In German: ''Über den vom Standpunkt des Relativitätsprinzips aus als starr zu bezeichnenden Körper'', Annalen der Physik (Received December 7, 1909, published in 1910), 336 (2), 393-415, [http://gallica.bnf.fr/ark:/12148/bpt6k15335v.image.f403 Online]
}}


{{center|{{x-larger|On bodies that are to be designated as "rigid" from the standpoint of the relativity principle;}}}}

{{center|by G. {{sc|Herglotz}}}}


In his paper "The theory of the rigid electron in the kinematics of the principle of relativity"<ref>M. {{sc|Born}}, [[Translation:The Theory of the Rigid Electron in the Kinematics of the Principle of Relativity|Ann. d. Phys. '''30'''. p. 1. 1909.]]</ref>, {{sc|Born}} 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 {{sc|Born}} can only uniformly rotate around a fixed axis that goes through that point.<ref>After writing this treatise I became aware of a note by P. {{sc|Ehrenfest}}, published in the issue of [[Translation:Uniform Rotation of Rigid Bodies and the Theory of Relativity|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.</ref> {{pagenum|394}}

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

Following {{sc|Minkowski}}'s<ref>H. {{sc|Minkowski}}, [[Translation:The Fundamental Equations for Electromagnetic Processes in Moving Bodies|Die Grundgleichungen der elektromagnetischen Vorgänge in bewegten Körpern]], Gött. Nachr. 1908; [[Space and Time (Hermann Minkowski)|Raum und Zeit]], Vortrag, gehalten auf der 80. Naturforscherversammlung zu Köln. Leipzig 1909.</ref> 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 <math>R_{4}(x,y,z,t)</math>.

Furthermore, a measure-determination should be introduced in this <math>R_4</math> 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)

{{MathForm1|(1)|<math>ds^{2}=dx^{2}+dy^{2}+dz^{2}-dt^{2}</math>}}

The line elements of real length <math>\left(ds^{2}>0\right)</math> are denoted as space-like, and such of purely imaginary length <math>\left(ds^{2}<0\right)</math> 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 <math>dt>0</math> and <math>dt<0</math>, and shall be denoted as front-cone and back-cone.

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

{{MathForm1|(2)|<math>dx\ dx'+dy\ dy'+dz\ dz'-dt\ dt'=0</math>}}

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

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

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

{{MathForm1|(3)|<math>\begin{cases}
x=x(\xi,\eta,\zeta,t),\\
y=y(\xi,\eta,\zeta,t),\\
z=z(\xi,\eta,\zeta,t).\end{cases}</math>}}

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

{{MathForm1|(4)|<math>\tau=\tau(\xi,\eta,\zeta,t),\ \frac{\partial\tau}{\partial t}>0</math>}}

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

{{MathForm1|(5)|<math>\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}</math>}}

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

The motion of the entire continuum is thus represented in <math>R_4</math> by a three-parameter family of curves <math>C(\xi,\eta,\zeta)</math>, which is exactly the <math>\infty^{3}</math> 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. {{sc|Born}} from the standpoint of the relativity principle, can thus be formulated:

''"The continuum is moving as a "rigid body", when in <math>R_4</math> the world-lines <math>C(\xi,\eta,\zeta)</math> of its points are equidistant curves."''<ref>By this formulation, the formulas calculated by {{sc|Born}} for the case of uniform translation can immediately be written, since the equidistant curves of the (''z,t'')-plane of measure-determination <math>ds^{2}=dz^{2}-dt^{2}</math> are of course (analogues to <math>ds^{2}=dz^{2}+dt^{2}</math>) the orthogonal trajectories of a family of lines, which is exactly the meaning of {{sc|Born}}'s formulas.</ref>

{{pagenum|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 <math>\xi,\eta,\zeta,\tau</math>. If we write for uniformities sake:

{{MathForm1|(6)|<math>\xi_{1}=\xi,\ \xi_{2}=\eta,\ \xi_{3}=\zeta,\ \xi_{4}=\tau,</math>}}

then it shall be

{{MathForm1|(7)|<math>ds^{2}=\sum\limits _{1}^{4}ij\ A_{ij}d\xi_{i}d\xi_{j}</math>}}

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

{{MathForm1|(8)|<math>A_{44}<0</math>}}

by introduction of the linear differential form

{{MathForm1|(9)|<math>d\nu=A_{14}d\xi_{1}+A_{24}d\xi_{2}+A_{34}d\xi_{3}+A_{44}d\xi_{4}</math>}}

and the quadratic one that only contains <math>d\xi,d\eta,d\zeta</math>:

{{MathForm1|(10)|<math>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}</math>}}

we can write:

{{MathForm1|(11)|<math>ds^{2}=d\sigma^{2}+\frac{1}{A_{44}}(d\nu)^{2}</math>}}

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

{{MathForm1|(12)|<math>\frac{\partial ds^{2}}{\partial d\xi_{4}}=0,\ i.e.\ d\nu=0</math>}}

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

The condition of rigidity thus reads:

{{MathForm1|(13)|<math>\frac{\partial}{\partial\tau}d\sigma^{2}=0</math>}}

{{pagenum|397}} in other words, the six coefficients of the quadratic differential form <math>d\sigma^{2}</math> must be independent from ''τ''.

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

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

{{MathForm1|(14)|<math>s^{2}=u^{2}+v^{2}+w^{2}</math>}}

then

{{MathForm1|(15)|<math>A_{44}=-\left(1-s^{2}\right)\left(\frac{\partial t}{\partial\tau}\right)^{2}</math>}}

{{MathForm1|(16)|<math>d\nu=(u\ dx+v\ dy+w\ dz-dt)\frac{\partial t}{\partial\tau}</math>}}

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

{{MathForm1|(17)|<math>ds^{2}=dx^{2}+dy^{2}+dz^{2}=d\sigma^{2}-\frac{(u\ dx+v\ dy+w\ dz)^{2}}{1-s^{2}}</math>}}

thus

{{MathForm1|(18)|<math>d\sigma^{2}=dx^{2}+dy^{2}+dz^{2}+\frac{(u\ dx+v\ dy+w\ dz)^{2}}{1-s^{2}}</math>}}

Obviously <math>d\sigma^{2}=\epsilon^{2}</math> is now the equation of an infinitely small ellipsoid of revolution of semi-axes <math>\epsilon,\epsilon,\epsilon\sqrt{1-s^{2}}</math>, with the particle <math>(\xi,\eta,\zeta)</math> as its center and its velocity direction as its figure-axis. The requirement <math>(\partial/\partial\tau)d\sigma^{2}=0</math> 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 <math>\epsilon\sqrt{1-s^{2}}</math> in the direction of velocity and a semi-major axis ''ε'' normally to it. In other words, the definition of a "rigid" body given by {{sc|Born}} can be brought into this extremely suggesting form:

:"''If the velocity within the body is changing in space and time, then the {{sc|Lorentz-Fitzgerald}} contraction hypothesis shall be valid for every single volume element.''"<ref>The same remark was given by P. {{sc|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.</ref>

{{pagenum|398}} By that, the single volume element possesses a six-fold freedom of motion, because the ellipsoid additionally allows <math>\infty^{3}</math> 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 <math>R_4</math>, that contain an arbitrary given curve.==

We imagine that within such a family of curves <math>C(\xi,\eta,\zeta)</math>, a certain curve <math>C_0</math> is somehow chosen, and the parameter values <math>(\xi_{0},\eta_{0},\zeta_{0})</math> may be attributed to it.<ref>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.</ref>

Then we use the quadratic differential form <math>d\sigma^{2}</math> in <math>d\xi,d\eta,d\zeta</math>, whose components only depend on <math>\xi,\eta,\zeta</math>, 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 <math>\xi,\eta,\zeta</math> in the following way:

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

{{MathForm1|(19)|<math>\begin{cases}
\xi=\xi(a,b,c),\\
\eta=\eta(a,b,c),\\
\zeta=\zeta(a,b,c),\end{cases}</math>}}

then the differences <math>\xi-\xi_{0},\ \eta-\eta_{0},\ \zeta-\zeta_{0}</math> 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 {{pagenum|399}} if <math>d\sigma^{2}</math> is expressed by this variables, it will assume the form:<ref>See. G. {{sc|Darboux}}, Théorie générale des surfaces 2. livre V. chap. VIII.</ref>

{{MathForm1|(20)|<math>d\sigma^{2}=da^{2}+\varphi(db,dc)</math>}}

where <math>\varphi(db,dc)</math> also means a definite positive quadratic differential in ''db, dc'' alone, whose components still contain ''a,b,c'', but like the previous of <math>d\sigma^{2}</math> 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:

{{MathForm1|(21)|<math>\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)</math>}}

which assumes the value <math>\tau=\vartheta</math> for ''a'' = 0:

{{MathForm1|(22)|<math>\tau=\tau(a,b,c,\vartheta)</math>}}

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

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

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

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

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

{{MathForm1|(24)|<math>ds^{2}=da^{2}+\varphi(db,dc)-(B\ db+C\ dc+\Theta\ d\vartheta)^{2}</math>}}

From this form we can immediately conclude<ref>See. G. {{sc|Darboux}}, l.c.</ref>, that the curves:

{{c/s}}''b'' = const., ''c'' = const., ''ϑ'' = const.{{c/e}}

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

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

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

{{MathForm1|(25)|<math>\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.</math>}}

To simplify the notation, <math>\mathrm{S}</math> 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 <math>G(b,c,\vartheta)</math> are the normals of the curve <math>C_0</math> (''a'' = 0), it follows

{{MathForm1|(26)|<math>\mathrm{S}x_{1}\frac{\partial x_{0}}{\partial\vartheta}=0</math>}}

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

{{MathForm1|(27)|<math>\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</math>}}

If the form <math>ds^2</math> made by (25) will be identified with the expression (24), then the equations follow:

{{MathForm1|(28,α)|<math>\varphi(db,dc)-(B\ db+C\ dc)^{2}=</math>

<math>=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),</math>}}

{{MathForm1|(28,β)|<math>-B\Theta=a^{2}\mathrm{S}\frac{\partial x_{1}}{\partial b}\frac{\partial x_{1}}{\partial\vartheta}=a^{2}\beta,</math>}}

{{MathForm1|(28,γ)|<math>-C\Theta=a^{2}\mathrm{S}\frac{\partial x_{1}}{\partial c}\frac{\partial x_{1}}{\partial\vartheta}=a^{2}\gamma,</math>}}

{{MathForm1|(28,δ)|<math>-\Theta^{2}=\mathrm{S}\left(\frac{\partial x_{0}}{\partial\vartheta}+a\frac{\partial x_{1}}{\partial\vartheta}\right)^{2},</math>}}

{{pagenum|401}} in which the coefficients of the binary, quadratic differential form <math>\psi(db,dc)</math> and the magnitudes ''β'' and ''γ'' are evidently independent from ''a''.

Especially we think of ''ϑ'' as the "proper time" along the curve <math>C_0</math>, thus

{{MathForm1|(29)|<math>\mathrm{S}\left(\frac{\partial x_{0}}{\partial\vartheta}\right)^{2}=-1</math>}}

which can always be achieved by a convenient choice of ''τ'', with which ''ϑ'' coincides along <math>C_0</math>.

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

{{MathForm1|(30)|<math>(\Theta)_{0}=1,\ \left(\frac{B}{a^{2}}\right)_{0}=\beta,\ \left(\frac{C}{a^{2}}\right)_{0}=\gamma,</math>}}

and by recognizing, that

{{MathForm1|(31)|<math>\left(\frac{B}{a}\right)_{0}=\left(\frac{C}{a}\right)_{0}=0</math>}}

in the same way from (28,α):

{{MathForm1|(32)|<math>\left(\frac{1}{a^{2}}\varphi(db,dc)\right)_{0}=\psi(db,dc)</math>}}

and this eventually gives by (28,α):

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

However, as the coefficients of <math>\varphi(db,dc)</math> 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

{{MathForm1|(34)|<math>ds^{2}=da^{2}+\varphi(db,dc)-\Theta^{2}d\vartheta^{2},</math>}}

from which we can see, that the areas ''ϑ'' = const. – ''i.e.'' the normal planes of curve <math>C_0</math> – 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 <math>ds^2</math> in <math>R_4</math>, the theorem remains valid according to which the distance between two moving points is constant when {{pagenum|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:

{{MathForm1|(35)|<math>ds^{2}=da^{2}+\varphi(db,dc)-(B\ db+C\ de+\Theta\ d\vartheta)^{2}</math>}}

all coefficients are free from ''ϑ'' at all.

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

{{MathForm1|(36)|<math>a'=a,\ b'=b,\ c'=c,\ \vartheta'=\vartheta+h</math>}}

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

{{MathForm1|(37)|<math>ds'^{2}=ds^{2}</math>}}

therefore they are motions in <math>R_4</math>, 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.<ref>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.</ref>

Having noticed this, we think of the curve <math>C_0</math> 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 <math>C_0</math> in all cases. Shall there be others besides those, then the related families will necessarily be summarized under (B) and therefore curve <math>C_0</math> must form a one-parameter group {{pagenum|403}} of motions in itself. Conversely, also the trajectories of any one-parameter group of motions of curve <math>C_0</math> in itself (which don't fix <math>C_0</math> 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 <math>C_0</math> in itself, it is necessary and sufficient, that the three curvatures<ref>Concerning the differential geometry of curves in higher spaces, see for example G. {{sc|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''.</ref> 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 <math>C_0</math> shall have more than one such group of motions in itself, then there must be motions that let <math>C_0</math> 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 <math>R_4</math> now forms (here we can neglect the case of a single fixpoint) either a straight line or a plane <math>R_3</math>, and in reverse these formations remain fixed pointwise at <math>\infty^{3}</math> or <math>\infty^{1}</math> motions.

Depending on whether curve <math>C_0</math> (with constant curvatures) exists in no space lower than <math>R_3</math> or <math>R_2</math> or eventually is a straight line, it has 1 or <math>\infty^{1}</math> or <math>\infty^{3}</math> 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 <math>C_0</math> 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 {{sc|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.''

{{pagenum|404}} ''An exception only takes place, when the world-line of that point in <math>R_4</math> has constant curvatures, namely in this case – depending on the condition that it doesn't lie in a lower space than (at the most) <math>R_3</math> or <math>R_2</math>, or eventually it is a straight line – there additionally exist 1 or <math>\infty^{1}</math> or <math>\infty^{3}</math> 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 <math>R_3</math>.==

The measure-determination introduced in <math>R_{4}(x,y,z,t)</math> coincides in the bundle of <math>\infty^{3}</math> – for example, the lines that emanate from the origin <math>O(x=y=z=t=0)</math> – with {{sc|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 <math>R_3</math>, it goes over into a real plane of second order, the measure-determination therefore goes over into {{sc|Cayley}}'s metric that is based on that real <math>F_2</math>. The rotations around ''O'' in <math>R_4</math> – the Lorentz transformations – correspond to the motions in <math>R_3</math> 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.<ref>Compare for the complete section especially F. {{sc|Klein}}, Nicht-Euklidische Geometrie, Autogr. Vorl., Göttingen 1893, as well as the short introduction concerning projective measure-determination in {{sc|Fricke-Klein}}, Autormorphe Funktionen I. Primarily note the imaginative description of hyperbolic motions, which especially make clear the relations of Lorentz transformations.</ref>

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

{{MathForm1|(38)|<math>z_{1}=x,\ z_{2}=y,\ z_{3}=z,\ z_{4}=t,</math>}}

by which the minimal cone in <math>R_3</math> corresponds to the unit sphere around the origin:

{{MathForm1|(39)|<math>z_{1}^{2}+z_{2}^{2}+z_{3}^{2}-z_{4}^{2}=0</math>}}

so that it has to serve as absolute plane of the measure-determination that has to be introduced in <math>R_3</math>.

The one- two- and three-dimensional structures of <math>R_4</math> (which are plane and directed through ''O''), are corresponding to the points, straight lines and planes of <math>R_3</math>. 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 <math>R_4</math> is normal to each other, if the corresponding structures of <math>R_3</math> 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 <math>R_4</math> to four straight lines that pass through ''O'' and that are mutually normal; if we choose them in a convenient order and take the <math>x',y',z',t'</math>-axis as direction (the corresponding edge in the interior of the sphere, of course, as <math>t'</math>-axis) of a new coordinate system, then those new coordinates <math>x',y',z',t'</math> are connected with the old ones ''x,y,z,t'' by a Lorentz transformation.

If in addition

{{MathForm1|(40)|<math>p_{ik},\ p_{ik}+p_{ki}=0,\qquad(i,k=1,2,3,4)</math>}}

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

{{MathForm1|(41)|<math>\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.</math>}}

{{pagenum|406}} and if one puts, in accordance with the reality relations of <math>p_{ik}</math> (where <math>f_{ik}</math> are to be understood as real magnitudes):

{{MathForm1|(42)|<math>\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.</math>}}

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

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

As long as <math>D\ne0</math>, one has a general complex, and then<ref>{{sc|Clebsch-Lindemann}}, Vorles. über Geometrie 2, 1. p. 343 ff.; see also F. {{sc|Lindemann}}, Unendlich kleine Bewegungen und Kraftsysteme bei allgemeiner Maßbestimmung, Diss. Erlangen 1873.</ref> 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 <math>x',y',z',t'</math> all components <math>p'_{ik}</math> 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 {{sc|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 (<math>p_{23},p_{31},p_{12}</math> considered as real) on whether <math>\Delta>0,\ \Delta=0,\ \Delta<0</math>. The corresponding two-dimensional plane of <math>R_4</math> 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 <math>R_4</math> 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 <math>R_4</math> are all moving through it perpendicularly to its {{pagenum|407}} complex plane. Depending on whether <math>D\ne0</math> or = 0, then in <math>R_4</math> 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 <math>\Delta>0,=0,<0</math>.

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

Conversely, all of such collineations correspond to two linear homogeneous transformations in ''x,y,z,t'' with determinant 1 which leave <math>ds^2</math> unchanged. The identical collineation of <math>z_i</math> particularly corresponds to the two transformations: 

{{MathForm1|(44)|<math>\left\{ \begin{array}{crcrcrcr}
x= & x', & y= & y', & z= & z', & t= & t'\\
x= & -x', & y= & -y', & z= & -z', & t= & -t'\end{array}\right.</math>}}

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 <math>R_3</math>.''

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

{{MathForm1|(45)|<math>\mathsf{Z}=\frac{z_{1}+iz_{2}}{z_{4}-z_{3}}=\frac{x+iy}{t-z}</math>}}

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 <math>R_3</math>.

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

{{MathForm1|(46)|<math>\mathsf{Z}=\frac{x+iy}{t-z},\ \mathsf{Z}'=\frac{x'+iy'}{t'-z'}</math>}}

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

{{MathForm1|(47)|<math>\mathsf{Z}=\frac{\alpha\mathsf{Z}'+\beta}{\gamma\mathsf{Z}'+\delta}</math>}}

{{pagenum|408}} and all such substitutions are corresponding to a certain Lorentz transformation.<ref>For the relevant formulas, see F. {{sc|Klein}}, l.c.. They can be written very compendious by using quaternions.</ref>

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 <math>\mathsf{Z}</math>, 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):

{{c/s}}<math>\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}</math>{{c/e}}

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

{{center|I. ''Loxodromic group''}}


{{c/s}}<math>\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}</math>{{c/e}}


{{center|II. ''Elliptic group''}}


{{c/s}}<math>\begin{align}
x+iy= & (x'+iy')e^{i\vartheta}, & z= & z',\\
x-iy= & (x'-iy')e^{-i\vartheta}, & t= & t'.
\end{align}</math>{{c/e}}


{{center|III. ''Hyperbolic group''}}


{{c/s}}<math>\begin{align}
x= & x', & t-z= & (t'-z')e^{\vartheta}\\
y= & y', & t+z= & (t'+z')e^{-\vartheta}
\end{align}</math>{{c/e}}


{{center|IV. ''Parabolic group''}}


{{c/s}}<math>\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}</math>{{c/e}}

One notices at once, that these four groups are only different from each other by the kind of {{pagenum|409}} vector of second kind that illustrates the corresponding infinitesimal transformation.

==IV. The one-parametric groups of motions in <math>R_4</math> and the corresponding forms of motion of "rigid" bodies.==

If one writes for the sake of symmetry:

{{MathForm1|(48)|<math>\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.</math>}}

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

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

Then <math>\left|a_{ij}\right|</math> is an orthogonal determinant of value +1, additionally <math>a_{44}</math> is real positive and the remaining magnitudes <math>a_{i},a_{ij}</math> 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, <math>a_i</math> and <math>a_{ij}</math> are functions of ''ϑ'', then by differentiation with respect to ''ϑ'' while <math>x_i</math> remains constant:

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

where it is put:

{{MathForm1|(51)|<math>\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.</math>}}

therefore also the magnitudes <math>q_i</math> and <math>p_{ij}</math> 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 <math>S'(x',y',z',t')</math> moving against it, then consequently <math>-q_{i}</math> would be the components of the vector (first kind) of velocity of the origin <math>O'</math> of <math>S'</math> and <math>-p_{ij}</math> would be the components of the vector {{pagenum|410}} (second kind) of the angular velocity of <math>S'</math> around <math>O'</math>, both times taken by the axis of <math>S'</math>.

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

The trajectories of the group – the trajectories of the points fixed at <math>S'</math> according to the interpretation above – which (as we know) form an equidistant family of curves, are illustrated by (49) with constant <math>x'_{i}</math> 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 <math>R_4</math>, 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:

{{MathForm1|(52)|<math>x_{i}=\sum\limits _{1}^{4}j\ a_{ij}x_{j}\ (i=1,2,3,4)</math>}}

and this must be – in general only after performing a suitable Lorentz transformation to <math>x_i</math> and of the same to <math>x'_{i}</math> – 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 <math>p_{ij}</math>:

{{MathForm1|(53)|<math>\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.</math>}}

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

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

and specifically we can chose arbitrary constants for <math>q_j</math>, as long as: {{pagenum|411}}

{{MathForm1|(55)|<math>\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</math>}}

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

{{c/s}}<math>\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\} </math> the remaining <math>p_{ij}</math> are always equal to zero{{c/e}}

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

{{c/s}}<math>\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}</math>{{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:


{{center|I. ''Loxodromic group''}}


{{MathForm1|(56)|<math>\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}</math>}}

If ''t'' = 0:

{{c/s}}<math>x=x_{0},\ y=y_{0},\ z=z_{0},\ \vartheta=\vartheta_{0},</math>{{c/e}}

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

{{MathForm1|(57)|<math>\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.</math>}}

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

{{MathForm1|(58)|<math>\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.</math>}}

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:

{{MathForm1|(59)|<math>s=\sqrt{\frac{\lambda^{2}\varrho_{0}^{2}+t^{2}}{z_{0}^{2}+t^{2}}.}</math>}}

The points on the ''Z''-axis are moving in this plane by the law denoted by {{sc|Born}} as "hyperbolic motion": <math>z=\sqrt{z_{0}^{2}+t^{2}}</math>

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


{{center|II. ''Elliptic group''}}


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

If ''t'' = 0:

{{c/s}}<math>x=x_{0},\ y=y_{0},\ z=z_{0},\ \vartheta=\vartheta_{0},</math>{{c/e}}

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

{{MathForm1|(60)|<math>\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.</math>}}

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 <math>R_3</math>, but not to a space lower than it. {{pagenum|413}}


{{center|III. ''Hyperbolic group''.}}


{{c/s}}<math>\begin{align}
x= & x'+\alpha\vartheta, & t-z= & (t'-z')e^{\vartheta},\\
y= & y', & t+z= & (t'+z')e^{-\vartheta},
\end{align}</math>{{c/e}}

If ''t'' = 0:

{{c/s}}<math>x=x_{0},\ y=y_{0},\ z=z_{0},\ \vartheta=\vartheta_{0},</math>{{c/e}}

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

{{MathForm1|(61)|<math>\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.</math>}}

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

{{MathForm1|(62)|<math>z=\frac{1}{2}z_{0}\left(e^{\frac{x-x_{0}}{a}}+e^{-\frac{x-x_{0}}{a}}\right)</math>}}

with the velocity:

{{MathForm1|(63)|<math>s=\sqrt{\frac{a^{2}+t^{2}}{z_{0}^{2}+t^{2}}}</math>}}

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


{{center|IV. ''Parabolic group''.}}


{{c/s}}<math>\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}</math>{{c/e}}

Here:

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

thus it is necessarily <math>\delta\ne0</math>.

If we put <math>\vartheta=\vartheta_{0}</math>:

{{c/s}}<math>x=x_{0},\ y=y_{0},\ z=z_{0},\ t=t_{0},</math>{{c/e}}

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

{{c/s}}<math>\vartheta_{0}=-\frac{1}{\delta}(t'-z'),</math>{{c/e}}

then <math>t_{0}=z_{0}</math>.

{{pagenum|414}} Since for the motion of a rigid body only the trajectories of the group are of importance, instead of

{{center|<math>\vartheta+\frac{1}{\delta}(t'-z')</math>,}}

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

{{MathForm1|(65)|<math>\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.</math>}}

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

{{MathForm1|(66)|<math>s=\frac{\sqrt{x^{2}+2\delta\left(x-x_{0}\right)+\beta^{2}}}{x+\delta}</math>}}

The world-lines of all points belong each to <math>R_3</math>, 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 <math>q_i</math> and <math>p_{ij}</math> that belong to the corresponding group, it is given:

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

and for that it is necessary and sufficient, that the 4×5 matrix which emerges from the determinant <math>\left|p_{ij}\right|</math> by addition of row <math>q_i</math>, 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 <math>Az+Bt=0</math>. The corresponding motion of the "rigid" body reads:

{{MathForm1|(68)|<math>x=x_{0},\ y=y_{0},\ z=\sqrt{z_{0}^{2}+t^{2}}</math>}}

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

{{pagenum|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 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 <math>R_4</math> of the orthogonal trajectories of the normal planes of that point's world-line – can be traced back to the integration of a {{sc|Riccati}}an equation.

''Leipzig'', December 1, 1909.

{{center|Received December 7, 1909}}
----
<references />

{{translation-license|original={{PD/US|1953}}|translation={{CC-BY-SA-3.0}}}}

[[Category:Physics]]
[[Category:Works originally in German]]
[[Category:Relativity]]