Translation:On the Theory of Relativity II: Four-dimensional Vector Analysis

Template:Center block

§ 5. The differential operations of four-dimensional vector analysis.

Instead of Template:Sc's general symbol lor (Lorentz operation), we introduce the more specific differential operator

as four-dimensional extensions of the usual operations in ordinary vector-calculus

The summarizing symbol lor will be preferred (similarly to the Template:Scian $\mathrm{\nabla }$ in ordinary vector calculus), when one wants (neglecting the illustrative meaning of the single steps) to symbolically verify the vector formulas. However, since at this place as well as in part I, exactly this geometrical interpretation shall be emphasized, it es recommendable to specialize the symbol lor (depending on its application to six-, four-vectors or scalars) in the given way. There, the divergence operation is employed in a dual meaning, as vector divergence and as scalar divergence, so that four fundamental vector operations actually exist in four dimensions, against the three differential operations of ordinary vector calculus. For distinction, I will write the vector divergence by German letters ($𝔇𝔦𝔳$), the scalar divergence by Latin ones (Div).

Template:Pagenum We will operate at any place, as if the fourth of our world coordinates xyzl were real (in this connection, see the note on p. 752 of part I). This fiction, as far as I see, nowhere encounters difficulties, it is, on the other hand, an essential presupposition for the simplicity of the geometrical way of expression, according to which we will speak in the following, for example, simply about a perpendicularity instead of a non-euclidean perpendicularity, and it makes it possible to supplement the four-dimensional vector expressions in the closest way to the well-known three-dimensional ones.

The following way traversed by us twice in opposite direction, allows us to see that our list might be complete, and that the results obtained in this way, are by their definition independent of the coordinate system.

a) The scalar divergence. Let $\mathrm{\Delta }\mathrm{\Sigma }$ be an arbitrarily formed, four-dimensional, and infinitely small section of space in the surrounding of the considered spacetime-point $Q$, $ds$ the element of the (three-dimensional) boundary of $\mathrm{\Delta }\mathrm{\Sigma }$, $n$ the outer normal to $dS$. Let $P$ be an arbitrary four-vector, $P_n$ its normal component formed in the sense of equation (7). From the four-vector $P$ a scalar magnitude Div $P$ emerges, which we define as follows:

Template:Optional style|(16)

$\mathrm{D}\mathrm{i}\mathrm{v}P=\underset{\mathrm{\Delta }\mathrm{\Sigma }=0}{𝖫𝗂𝗆}\frac{\int P_{n}d\sigma }{\mathrm{\Delta }\mathrm{\Sigma }}$

where the integration with respect to $ds$ is to be extended over the entire boundary of $\mathrm{\Delta }\mathrm{\Sigma }$.

If we choose $\mathrm{\Delta }\mathrm{\Sigma }$ especially as a four-dimensional parallelepiped with edge lengths dx dy dz dl, then we have

Template:Optional style|(16a)

$\mathrm{D}\mathrm{i}\mathrm{v}P=\frac{\partial P_x}{\partial x}+\frac{\partial P_y}{\partial y}+\frac{\partial P_z}{\partial z}+\frac{\partial P_l}{\partial l}.$

Template:Pagenum If $P$ is the four-density defined in (1), then, as it was noticed by Template:Sc,

becomes identical with the left-hand side of the continuity equation in ordinary hydrodynamics of compressible fluids (up to the factor $1/c$).

b) The vector divergence. While we started under a) with a vector of first kind (four-vector) where we obtained a "vector of zero kind" (scalar), we now start with a vector of second kind (six-vector) and derive a vector of first kind (four-vector) from it. Its component with respect to an arbitrary direction $s$ is defined by us in the following way. Let $S$ be the three-dimensional space extended through the considered spacetime-point $Q$ perpendicular to $s$, $\mathrm{\Delta }S$ an infinitely small area of it in the surrounding of $Q$, $d\sigma$ the element of its (two-dimensional) boundary; the plane perpendicular to it, unequivocally defined by note 2 on p. 753 and containing both the direction $s$ as well as the (outer) normal direction $n$ of $d\sigma$ extended in space $S$, shall be indicated by $sn$, and $f_{sn}$ shall denote the component of six-vector $f$ (formed in the sense of equation (8)) with respect to this plane. Then, let the $s$-component of the vector-divergence of $f$ be:

Template:Optional style|(17)

$𝔇𝔦𝔳f_s=\underset{\mathrm{\Delta }S=0}{𝖫𝗂𝗆}\frac{\int f_{sn}d\sigma }{\mathrm{\Delta }S}$

where the integration with respect to $d\sigma$ is related to the whole boundary of $\mathrm{\Delta }S$.

If we especially choose $s$ as $x$-direction, $\mathrm{\Delta }S$ as three-dimensional parallelepiped (located in $yzl$-space) of border length dy, dz, dl, then it is given by (17):

and somewhat more generally for any of the coordinate directions $j=x,y,z,l$:

Template:Optional style|(17a)

$𝔇𝔦𝔳f_j=\frac{\partial f_{jx}}{\partial x}+\frac{\partial f_{jy}}{\partial y}+\frac{\partial f_{jz}}{\partial z}+\frac{\partial f_{jl}}{\partial l}$

Template:Pagenum in which instant one of the four derivatives, of course, vanishes due to $f_{jj}=0$. The formal agreement of this formation with that in (16a) may motivate us to maintain, despite of the different geometrical meaning, the same name.

If $f$ particularly means the six-vector of the field, then, for example, due to (2a) and (2a) it becomes for $j=x$:

and for $j=l$:

According to the field equations, the first expression is equal to $\varrho {𝔳}_x/c$ and the latter equal to $i\varrho$, so that the four-density directly emerges from the field vector by operation $𝔇𝔦𝔳$. The first half of the Template:Sc equations, including the electric divergence condition, can thus simply be written:

Template:Optional style|(18)

$𝔇𝔦𝔳f=P$

c) The supplement of rotation. We start with a vector of third kind $𝔄$ (three-dimensional space magnitude, see part I, p. 759), with which we simultaneously consider its supplement (a vector of first kind), denote by us as $𝔅$ for distinction, where ${𝔅}_x={𝔄}_{yzl}$ for example. From that, we derive a vector of second kind, the rotation of $𝔄$ or the supplement of the rotation of $𝔅$; its component with respect to a plane $s^{\prime }{s}^{″}$ is defined by us as follows: Let $\sigma$ be the plane normal to $s^{\prime }{s}^{″}$ through the considered point $Q$, $\mathrm{\Delta }\sigma$ an infinitely small area of $\sigma$ in the surrounding of $Q$, $ds$ a boundary element of $\mathrm{\Delta }\sigma$. The normal space with respect to $ds$ contains the directions $s^{\prime }{s}^{″}$ and the direction of the outer normal $n$ (drawn within $\mathrm{\Delta }\sigma$) with respect to $ds$. The component of $𝔄$ with respect to this normal space is ${𝔄}_{s^{\prime }{s}^{″}n}={𝔅}_s$. Then, let the component of rotation of $𝔄$ with respect to plane $s^{\prime }{s}^{″}$ be:

Template:Optional style|(19)

$\{\begin{array}{cc}{\mathrm{R}\mathrm{o}\mathrm{t}}_{s^{\prime }{s}^{″}}𝔄& =\underset{\mathrm{\Delta }\sigma =0}{𝖫𝗂𝗆}\frac{\int {𝔄}_{s^{\prime }{s}^{″}n}ds}{\mathrm{\Delta }\sigma }\\ \\ & =\underset{\mathrm{\Delta }\sigma =0}{𝖫𝗂𝗆}\frac{\int {𝔅}_{s}ds}{\mathrm{\Delta }\sigma }\end{array}$

Template:Pagenum If, for example, $\mathrm{\Delta }\sigma$ is a rectangle with side-lengths dn, ds, where the succession of the directions $s^{\prime }{s}^{″}ns$ is the positive one, i.e. the same as that of the axes xyzl, then:

Template:Optional style|(19a)

$\{\begin{array}{cc}{\mathrm{R}\mathrm{o}\mathrm{t}}_{s^{\prime }{s}^{″}}𝔄& =\frac{1}{dnds}\{ds\cdot \frac{\partial {𝔅}_s}{\partial n}dn-dn\cdot \frac{\partial {𝔅}_n}{\partial s}ds\}\\ \\ & =\frac{\partial {𝔅}_s}{\partial n}-\frac{\partial {𝔅}_n}{\partial s}\end{array}$

It is in agreement with the following definition for the rotation of a vector of first kind $𝔅$ and the earlier equation (4c) for the connection of a six-vector with its supplement, when we also write instead:

Template:Optional style|(19b)

${\mathrm{R}\mathrm{o}\mathrm{t}}_{ns}𝔅={\mathrm{R}\mathrm{o}\mathrm{t}}_{s^{\prime }{s}^{″}}^{*}𝔅={\mathrm{R}\mathrm{o}\mathrm{t}}_{s^{\prime }{s}^{″}}𝔄={\mathrm{R}\mathrm{o}\mathrm{t}}_{ns}^{*}𝔄.$

By the definition (19) we thus calculate the supplement of rotation with respect to plane $s^{\prime }{s}^{″}$ for the vector of first kind $𝔅$, or the rotation with respect to its perpendicular plane $ns$; but simultaneously also the rotation for the plane $s^{\prime }{s}^{″}$ for the vector of third kind $𝔄$, or its supplement for its perpendicular plane $ns$.

d) The gradient. It would be in agreement with the things done thus far, to start with a four-dimensional space magnitude $U$, which (as undirected) will have a scalar character, and to derive from it a vector of third kind, which (by its components) shall be taken with respect to an arbitrary space $s{s}^{\prime }{s}^{″}$. For that, we would have (in the direction normal to $s{s}^{\prime }{s}^{″}$) to separate an infinitely small, linear area $\mathrm{\Delta }n$, and the difference $\mathrm{\Delta }U$ as replacement for the degenerated integration over the boundary points of $\mathrm{\Delta }n$, and eventually to form as component of the emerging vector of third kind:

Instead, we will dually reverse our process by starting with a vector of zero kind $V$, i.e. a scalar magnitude too, and derive from it a vector of first kind, the gradient of $V$, by accordingly defining its component with respect to direction $s$:

Template:Optional style|(20)

${\mathrm{G}\mathrm{r}\mathrm{a}\mathrm{d}}_{s}V=\frac{\partial V}{\partial s},$

Template:Pagenum thus especially its four right-angled components by:

Template:Optional style|(20a)

$\frac{\partial V}{\partial x},\frac{\partial V}{\partial y},\frac{\partial V}{\partial z},\frac{\partial V}{\partial l}$

c) Rotation. Now, we start with a vector of first kind $𝔅$ and derive from it the vector of second kind, its rotation. We obtain its component with respect to any plane, by separating an area $\mathrm{\Delta }\sigma$ from this plane, then we extend the line integral of $𝔅$ around it etc., according to the formula analogous to (19) and (19a,b):

${\mathrm{R}\mathrm{o}\mathrm{t}}_{s^{\prime }{s}^{″}}𝔅=\underset{\mathrm{\Delta }\sigma =0}{𝖫𝗂𝗆}\frac{\int {𝔅}_{s}ds}{\mathrm{\Delta }\sigma }=\frac{\partial {𝔅}_{s^{″}}}{\partial s^{\prime }}-\frac{\partial {𝔅}_{s^{\prime }}}{\partial s^{″}}$

Template:Optional style|(21)

Under $s^{\prime }{s}^{″}$ we shall understand two mutually perpendicular directions located in $\mathrm{\Delta }\sigma$, so that the rotation from $s^{\prime }$ to $s^{″}$ has the same orientation, as the rotation of $s$ around $\mathrm{\Delta }\sigma$. In the current process we thus directly obtain the rotation of a vector of first kind, instead of its supplement as in c).

A suitable example gives the concept of electrodynamic potential, to whose natural introduction we will resort in the next paragraph at equation (25a), while it is only historically mentioned at this place. Let us combine the vector potential $𝔄$ and the scalar potential $\phi$ of the ordinary theory to the "vector potential" $\mathrm{\Phi }$, with the components

Template:Optional style|(21a)

${\mathrm{\Phi }}_x={𝔄}_x,{\mathrm{\Phi }}_y={𝔄}_y,{\mathrm{\Phi }}_z={𝔄}_z,{\mathrm{\Phi }}_l=i\phi$

From it, the field can be calculated by the uniform formula

Template:Optional style|(21b)

$f=\mathrm{R}\mathrm{o}\mathrm{t}\mathrm{\Phi }$

for example (see (21)):

Template:Optional style|(21b)

$\{\begin{array}{c}{f}_{xy}=\frac{\partial {\mathrm{\Phi }}_y}{\partial x}-\frac{\partial {\mathrm{\Phi }}_x}{\partial y}=\frac{\partial {𝔄}_y}{\partial x}-\frac{\partial {𝔄}_x}{\partial y},\\ \\ f_{xl}=\frac{\partial {\mathrm{\Phi }}_l}{\partial x}-\frac{\partial {\mathrm{\Phi }}_x}{\partial l}=i(\frac{\partial \phi }{\partial x}+\frac{1}{c}\frac{\partial {𝔄}_x}{\partial t}),\end{array}$

which summarizes the asymmetric formulas of ordinary theory:

Template:Pagenum Between the scalar and vector potential, in the ordinary theory one has the complicated condition:

which now simply reads by (16a):

Template:Optional style|(21c)

$\mathrm{D}\mathrm{i}\mathrm{v}\mathrm{\Phi }=0$

b') The supplement of vector divergence. Starting from a vector of second kind $f$, we derive the component of a vector of third kind with respect to any space $S$, by separating (within $S$) an infinitely small space section $\mathrm{\Delta }S$ with the two-dimensional surface element $d\sigma$ and the mutually perpendicular direction $s^{\prime }{s}^{″}$ contained in it. While we formed the normal component of $f$ to $d\sigma$ in b), we now consider the surface integral of the tangential component of $f$, namely:

Template:Optional style|(22)

$𝔇𝔦𝔳f_s^{*}=\underset{\mathrm{\Delta }S=0}{𝖫𝗂𝗆}\frac{\int f_{s^{\prime }{s}^{″}}d\sigma }{\mathrm{\Delta }S}$

If we especially choose $s$ as $x$-direction, and $\mathrm{\Delta }S$ as three-dimensional parallelepiped in $yzl$-space, then the three surface pairs $s^{\prime }{s}^{″}$ become parallel to its boundary or zl, ly, yz respectively, and therefore:

$𝔇𝔦𝔳f_x^{*}=\frac{\partial f_{zl}}{\partial y}+\frac{\partial f_{ly}}{\partial z}+\frac{\partial f_{yz}}{\partial l}.$

Template:Optional style|(22a)

For the right-hand side we can write by (4b):

by which the chosen denotation $𝔇𝔦𝔳f_x^{*}$ and more general $𝔇𝔦𝔳f_s^{*}$ are justified with respect to (17a). If $f$ means the field vector, we have by (22a) and (2):

similarly for the $y$- and $z$-direction and for the $l$-axis:

However, these expressions vanish according to the Template:Sc field equations; the second half of these equations, Template:Pagenum including the magnetic divergence condition, can thus be written:

Template:Optional style|(18*)

$𝔇𝔦𝔳f^{*}=0$

a') The scalar divergence. Starting from a vector of third kind and its components with respect to the tangential spaces of a four-dimensional space section $\mathrm{\Delta }\mathrm{\Sigma }$, one could (from the vector of third kind) eventually derive a scalar magnitude - its divergence - by the definition analogous to a). Due to the mutual interchangeability of the vectors of third and first kind (see the end of § 1), nothing new would emerge with respect to a).

The differential operations considered here, are (by their geometric introduction in which coordinate system were not mentioned at all) independent of the choice of reference frame; their coordinate expressions are thus behaving invariant or covariant with respect to Lorentz transformations. This especially applies to the field equations (18) and (18*). The complicated calculations, by which Template:Sc (1895 and 1904) and Template:Sc (1905) proved their applicability independent from the coordinate system, and by which they had to show the meaning of the transformed field vectors, thus become irrelevant in the system of Template:Sc's "world".

§ 6. The integral theorems of Template:Sc in four dimensions.

As one directly obtains (in ordinary vector calculus) the theorems of Template:Sc and Template:Sc from the concept of div and rot, and Template:Sc's theorem is supplemented to that of Template:Sc by means of the concept of grad, one also will obtain three integral theorems from the concepts of scalar and vectorial divergence and rotation, which we will denote as theorem of Template:Sc, Template:Sc, and Template:Sc; there, the "Template:Sc theorem" stands in the middle between the actual theorem of Template:Sc and Template:Sc, in the same way as the concept of vector divergence stands between that of scalar divergence and rotation. The theorem of Template:Sc thus follows from the connection of the theorem of Template:Sc with the concept of gradients.

Template:Pagenum a) The theorem of Template:Sc. It reads, when $P$ is a four-vector, $\mathrm{\Sigma }$ a four-dimensional space area, $S$ its three-dimensional boundary with the outer normal $n$:

Template:Optional style|(23)

$\underset{\mathrm{\Sigma }}{\int }\mathrm{D}\mathrm{i}\mathrm{v}Pd\mathrm{\Sigma }=\underset{S}{\int }{P}_{n}dS$

Namely, if one separates the space area $\mathrm{\Sigma }$ into sufficiently small space-elements $d\mathrm{\Sigma }$, and applies to any of them the same equation (16), then over the boundaries all inner ones are canceled from $\int dS$, since they appear twice with opposite sign, and only the parts of the outer boundary $S$ of $\mathrm{\Sigma }$ remain.

In particular let be $\mathrm{d}\mathrm{i}\mathrm{v}P=0$. If one constructs a tube of $P$-lines (lines having everywhere the direction of vector $P$) and if one cuts the tube at an arbitrary place by a ("plane" or curved) space $S$, then according to the theorem of Template:Sc, one always obtains the same value of $\int P_{n}dS$. Herein lies, when $P$ means the four-density, the independence of charge from the reference system (see I. p. 752).

b) The two forms of the theorem of Template:Sc. Let $f$ be a six-vector, $S$ an arbitrary (not necessarily "plane") three-dimensional space section located within the four-dimensional "world", and $s$ the normal upon an element $dS$ of the same. The boundary of space $S$, which will be a closed two-times extended surface, be $\sigma$; the single element $d\sigma$ we imagine as determined by two mutually perpendicular directions $s^{\prime }{s}^{″}$, and the surface element normal to $d\sigma$ as determined by the directions $s$ (perpendicular to $S$) and $n$ (within $S$ perpendicular to $d\sigma$). Depending as to whether we project $f$ to the surface element normal to $d\sigma$, or to $d\sigma$ itself, we obtain the components $f_{sn}$ or $f_{s^{\prime }{s}^{″}}$. Then by equations (17) and (22):

Template:Optional style|(24)

$\underset{S}{\int }𝔇𝔦𝔳f_{s}dS=\underset{\sigma }{\int }{f}_{sn}d\sigma$

and

Template:Optional style|(24*)

$\underset{S}{\int }𝔇𝔦𝔳f_s^{*}dS=\underset{\sigma }{\int }{f}_{s^{\prime }{s}^{″}}d\sigma$

Template:Pagenum The proof (decomposition of space $S$ into sufficiently small elements $\mathrm{\Delta }S$ etc.) is the same as under a).

One can use these two forms of the theorem of Template:Sc, to rewrite Template:Sc's differential equations (18) and (18a) in integral form.

For this purpose, one considers a two-times-extended closed surface $\sigma$ located in the "world", then puts a three-times extended space $S$ through it, and understands $s^{\prime }{s}^{″}sn$ as direction as it was explained above. Then it applies due to (24) and (18) or due to (24*) and (18*):

Template:Optional style|(24a)

$\underset{\sigma }{\int }{f}_{sn}d\sigma =\underset{S}{\int }{P}_{s}dS,\underset{\sigma }{\int }{f}_{s^{\prime }{s}^{″}}d\sigma =0$

To emphasize the relation of these formulas to the ordinary integral formulation of Template:Sc's equations, we consider two special cases:

1. The surface $\sigma$ lies in $xyz$-space. Thus

and we have the known relations:

2. The surface $\sigma$ be an infinitely flat cylinder, whose basis in $xyz$-space lies, with the generator (length $dl$), parallel to the $l$-axis. Stemming from the mantle of the cylinder, one obtains for the left-hand sides of (24a) (when $s^{\prime }$ is measured along the contour of the mantle):

On the other hand, if one is taking together the two basis-areas of the cylinder, then for those it is $n=l$, and $s$ means the normal (located in $xyz$-space) upon the basis-area. Its contribution is thus

where the first integral measures the displacement current traversing the basis-area, the second measures the temporal change of the magnetic force-line number. At the same time

Template:Pagenum becomes the (up to the factor $dl$) convection current traversing perpendicular to $\sigma$. With respect to the relevant cylindric specialization of the integration area, our surface integrals (24a) therefore go over into the known integral form of Template:Sc's equations in ordinary notation:

c) The theorem of Stokes. If $s$ means an closed one-dimensional convolution (arbitrarily located in the world), $\sigma$ a two-times extended surface limited by $s$, $\mathrm{\Phi }$ a four-vector, then Stokes' theorem is given as a direct consequence of definition equation (21) in the location and order of directions $s^{\prime }{s}^{″}$ in the form

Template:Optional style|(25)

$\underset{\sigma }{\int }{\mathrm{R}\mathrm{o}\mathrm{t}}_{s^{\prime }{s}^{″}}\mathrm{\Phi }d\sigma =\underset{s}{\int }{\mathrm{\Phi }}_{s}ds$

One can remark, that one cannot speak (even with respect to the ordinary three-dimensional formulation of Template:Sc' theorem), as it usually happens, of the normal component, but of the tangential component of rotation, since rotation is also at that place a vector of second kind. If we had started from the supplement of rotation (see the previous paragraph under c), then we would have obtained equation (25) as well.

If it is particularly about a closed surface $\sigma$, then the boundary curve and thus also the right-hand side of (25) vanishes, and thus we have

Accordingly it is given from the second form of Template:Sc' theorem (24*), in which $\sigma$ was to be integrated on the right-hand side over a closed surface $\sigma$, when we include $f$ equal to the rotation of an arbitrary four-vector $\mathrm{\Phi }$:

Since this equation applies to any section $S$, we conclude the identical relation

Template:Optional style|(25a)

$𝔇𝔦𝔳{\mathrm{R}\mathrm{o}\mathrm{t}}^{*}\mathrm{\Phi }=0$

Template:Pagenum "the vector divergence of the supplement of rotation of an arbitrary four-vector vanishes." This can be simply verified using the coordinate expressions (17a) of the vector divergence and (21) of the rotation.

Equation (25a) simultaneously gives the justification for introducing the electrodynamic potential $\mathrm{\Phi }$, which was only historically described in the previous paragraph under c'). Namely, since by approach (21b) $f=\mathrm{R}\mathrm{o}\mathrm{t}\mathrm{\Phi }$, the second of Template:Sc's equations $𝔇𝔦𝔳f^{*}=0$ according to (25a) is identically satisfied; it only remains to determine $\mathrm{\Phi }$, so that it also satisfies the first of Template:Sc's equations $𝔇𝔦𝔳f=P$, which now goes over to:

Template:Optional style|(25b)

$𝔇𝔦𝔳\mathrm{R}\mathrm{o}\mathrm{t}\mathrm{\Phi }=P$

This four-dimensional vector equation represents the most simple form of Template:Sc's theory for vacuum; with its integration, the following paragraph is concerned.

However, by the approach $f=\mathrm{R}\mathrm{o}\mathrm{t}\mathrm{\Phi }$ with given $f$, the vector $\mathrm{\Phi }$ is not completely determined. Namely, if ${\mathrm{\Phi }}_1$ is such a vector, then we obtain in $\mathrm{\Phi }={\mathrm{\Phi }}_1+\mathrm{\Psi }$ a more general vector, which also satisfies the condition $f=\mathrm{R}\mathrm{o}\mathrm{t}\mathrm{\Phi }$, in case $\int \mathrm{\Psi }ds$ also means a vector of everywhere vanishing rotation. It is, as it simply follows from Template:Sc' theorem, always representable as gradient of a scalar local function $U$, which itself is given by the line integral $\int \mathrm{\Psi }ds$, extended from an arbitrary fixed to the previously considered spacetime point. From that it can be recognized, that one still can impose the constrain to the potential $\mathrm{\Phi }$

Template:Optional style|(25c)

$\mathrm{D}\mathrm{i}\mathrm{v}\mathrm{\Phi }=0$

Namely, this gives (for the otherwise completely undetermined function $U$) the condition:

which we can write (following d)) also as $◻U=-\mathrm{D}\mathrm{i}\mathrm{v}{\mathrm{\Phi }}_1$, and which can be integrated by the method of the following paragraph.

A similar reasoning as the one leading to (25a), we append to the first form of Template:Sc' Template:Pagenum theorem, equation (24). Namely, if it is about a closed three-times extended space-section $S$, as it is given as boundary of a four-dimensional space-section $\mathrm{\Sigma }$, then its boundary surface vanishes and thus also the right-hand side of (24), and we obtain

valid for any closed space-section $S$. If we thus include $𝔇𝔦𝔳f$ instead of $P$ in Template:Sc' theorem (23), then the right-hand side of this equation becomes zero as well (here, $n$ was the normal with respect to space-element $dS$, denoted in the previous equation as $s$) and we have

Since this equation applies to any area $\mathrm{\Sigma }$, we conclude the identical relation

Template:Optional style|

$\mathrm{D}\mathrm{i}\mathrm{v}𝔇𝔦𝔳f=0$

"the scalar divergence of the vector divergence of an arbitrary six-vector vanishes". This can easily be verified with respect to the coordinate expressions of the scalar and vector divergence (equation (16a) and (17a)).

If $f$ in particular means the six-vector of the field again, so that due to the first of Template:Sc's equations $𝔇𝔦𝔳f=P$, then (24b) expresses the continuity condition $\mathrm{D}\mathrm{i}\mathrm{v}P=0$, about which it was spoken in § 5 under a).

d) The theorem of Template:Sc. We use a symbol, already introduced by Template:Sc and again used by Template:Sc, which has to be applied to a scalar function $U$:

Template:Optional style|(26)

$◻U=\mathrm{D}\mathrm{i}\mathrm{v}\mathrm{G}\mathrm{r}\mathrm{a}\mathrm{d}U=\frac{{\partial }^{2}U}{\partial x^2}+\frac{{\partial }^{2}U}{\partial y^2}+\frac{{\partial }^{2}U}{\partial z^2}+\frac{{\partial }^{2}U}{\partial l^2}$

This extends the ordinary Template:Scian differential expression $\mathrm{\Delta }$ to four dimensions and thus may be denoted as Template:Scian expression again. Its geometricalTemplate:Pagenum-invariant nature directly follows from the representation $◻=\mathrm{D}\mathrm{i}\mathrm{v}\mathrm{G}\mathrm{r}\mathrm{a}\mathrm{d}$.

If $U$ and V${\displaystyle }$ are now two scalar local functions of the four variables xyzl, then we have by

a four-vector of special construction. Its scalar divergence, which one can think of as formed by differentiation with respect to coordinates xyzl, then becomes:

namely, the two scalar products $\pm (\mathrm{G}\mathrm{r}\mathrm{a}\mathrm{d}U,\mathrm{G}\mathrm{r}\mathrm{a}\mathrm{d}V)$ are mutually canceled. Thus if we include this special four-vector into the theorem of Template:Sc (23), then it is given

Template:Optional style|(27)

$\underset{\mathrm{\Sigma }}{\int }(U◻V-V◻U)d\mathrm{\Sigma }=\underset{S}{\int }(U\frac{\partial V}{\partial n}-V\frac{\partial U}{\partial n})dS$

i.e, the exact analogue to the ordinary theorem of Template:Sc. It is related to an arbitrary world-section $\mathrm{\Sigma }$ and its three-dimensional boundary $S$. Steadiness of the appearing functions and their first derivations is presupposed as in the other theorems of this paragraph. If it is violated in one world-point, then one would have to exclude it from the integration by a three-dimensional boundary space $S_0$, like in the ordinary case, and to supplement the integral over $S_0$ of the right-hand side of (27).

This is especially then the case, when $V$ is set equal to the four-dimensional analogue of the Template:Scian potential $1/r$:

Template:Optional style|(27a)

$V=\frac{1}{R^2},R^2={(x-x_0)}^2+{(y-y_0)}^2+{(z-z_0)}^2+{(l-l_0)}^2,$

corresponding to the circumstance, that in four dimensions the mathematical analogue to the Template:Scian force would be decreasing by the cube of distance, instead of the square. Here, $R$ means the four-dimensional distance of the fixed world-point $O$ ("reference point") $x_0{y}_0{z}_0{l}_0$ with respect to the variable integration point xyzl. The reference point my lie in the integration area Template:Pagenum and thus may be surrounded by an infinitely small spherical space $S_0$ (radius $R_0$). If we calculate for it the right-hand side of (27), then it becomes:

Here, $U_0$ means the value of $U$ at the reference point ($R=0$), if the easily verified theorem is employed, according to which the three-dimensional boundary of a four-dimensional sphere of radius 1 is equal to $2{\pi }^2$, thus the one of radius $R_0$ is equal to $2{\pi }^2{R}_0^3=\int d{S}_0$. From (27) it thus follows

Template:Optional style|(27b)

$4{\pi }^2{U}_0=-\int \frac{◻U}{R^2}d\mathrm{\Sigma }-\int (U\frac{\partial }{\partial n}\frac{1}{R^2}-\frac{1}{R^2}\frac{\partial U}{\partial n})dS$

On the other hand, it is given from (27) with $V=1$

Template:Optional style|(27c)

$\int ◻Ud\mathrm{\Sigma }=\int \frac{\partial U}{\partial n}dS$

If the integration area is extended over the whole infinite space $\mathrm{\Sigma }$, then we can choose $S$ as infinitely great sphere (radius $R_{\mathrm{\infty }}$). To this it applies, similarly as above:

where $U_m$ is the average of $U$ on the infinitely distant sphere, and because of (27c)

If both is included in (27b), then it is given

Template:Pagenum As $1/R_{\mathrm{\infty }}$ is vanishing against $1/R$, it thus becomes

Template:Optional style|(27d)

$4{\pi }^2{U}_0=-\int \frac{◻U}{R^2}d\mathrm{\Sigma }+\mathrm{C}\mathrm{o}\mathrm{n}\mathrm{s}t.$

By that, we have to calculate for $U$ an arbitrary world-point $O$ except a constant, when $◻U$ in the whole area of real xyzl is given.

To that, however, a remark has to be made concerning the reality relations. As always, we have implicitly presupposed as real the coordinates $l_0,l$ as well as $x_0,x\dots$, and assumed for example, that $R$ is only vanishing at one point $O$. This is not the case anymore if it is considered that ${(l-l_0)}^2=-c^2{(t-t_0)}^2$, it is rather the case that $R$ becomes zero in the real world-coordinates on a three-times extended cone. Furthermore, with respect to the actually important tasks, $◻U$ is not given for real, but for negative-imaginary values of $l-l_0$, namely in the reference system of xyzl, for all times $t<t_0$ preceding the time coordinate $t_0$ of the origin. Thus one would have (to be able to apply our formulas) to imagine the given values $◻U$ of the negative-imaginary axis of a complex ($l-l_0$)-plane (see Fig. 3) as analytically extended with respect to the real axis of that plane, and to extend the integration over these real values of $l-l_0$, i.e. over the corresponding values of $l$, in which case $R^2$ only vanishes for $l=l_0$, when simultaneously $x=x_0,y=y_0,z=z_0$. Instead, we will proceed more easily, by deforming the integration path as in Fig. 3 into a slope surrounding the negative-imaginary axis; the integration in (27d) is then to be understood, so that it is to be led with respect to x y z over all real values, with respect to $l$ over this slope, and (27d) represents the value of $U$ Template:Pagenum at time $t_0$, when for all earlier moments the value of $◻U$ is given. The four-dimensional method proves to be equally fruitful also for these and similar integration tasks, and it allows to solve them quite similar to the calculation of the potential of given masses in ordinary potential theory.

§ 7. Determination of the four-potential and the electrodynamic force.

The differential equation of the four-potential, denoted by us as the most simple formulation of Template:Sc's theory, reads:

Template:Optional style|(25b)

$𝔇𝔦𝔳\mathrm{R}\mathrm{o}\mathrm{t}\mathrm{\Phi }=P$

For one of the four right-angled components ${\mathrm{\Phi }}_j$ of $\mathrm{\Phi }$ we thus have by (17a) and (21b):

for which we can write more easily, by constraint (25c):

Template:Optional style|(28)

$◻\mathrm{\Phi }=-P$

Thus we have to solve the following problem of four-dimensional potential theory: We seek a solution of equation $◻\mathrm{\Phi }=-P$ for an arbitrary spacetime-point $x_0{y}_0{z}_0{t}_0$, when the four-density $P$, i.e. the charge and velocity of the considered system, is given for all earlier moments $t<t_0$. The solution includes equation (27d) with the slope-path denoted in Fig. 3.

If one includes here for $U$ any of the components of $\mathrm{\Phi }$, considers equation (28) and suppresses the constant irrelevant for our potential, then it is given

Template:Optional style|(29)

$4{\pi }^2{\mathrm{\Phi }}_0=\int \frac{P}{R^2}d\mathrm{\Sigma }$

Template:Pagenum This most natural representation of electrodynamic potential in the sense of relativity theory, stems from Template:Sc. Factually, this representation of course cannot be distinguished from the older formulas, as long as one remains in the original and and accidentally employed reference system of xyzl.

The integration with respect to $l$ can always carried out in (29) as well as in all analogous later formulas by Template:Sc's residue theorem. Namely, within the slope of Fig. 3 lies the place where $R^2$ of first order vanishes, thus upon which the integration can be drawn together, namely at the place (see (27a)):

Template:Optional style|(29a)

$\{\begin{array}{c}l=l_0-is,t=t_0-\frac{s}{c},\\ \\ s=\sqrt{{(x-x_0)}^2+{(y-y_0)}^2+{(z-z_0)}^2}\end{array}$

On the other hand, the principally equally-valid place $l=l_0+is$ lies upon the positive-imaginary axis of Fig. 3 and gives no contribution to our slope integration.

Based on the world-line of a certain charge element $de$ (see Fig. 4) we denote the point $L$ of the world-line, which is cut by a cone $R^2=0$ constructed at point $O$, with Template:Sc as light-point of $O$. Its coordinates are unequivocally determined when the charge element never moves at superluminal velocity, and the fourth coordinate can be determined, as previously shown, by equation $t=t_0-s/c$. As it is known, it says that a light signal emanating from world-point $L$, reaches world-point $O$ (i.e. it reaches the space-point $x_0{y}_0{z}_0$ at time $t_0$).

Template:Pagenum Thus, if we carry out the integration with respect to $l$ by means of residue-construction, thus the emerging formulas will be related to the light-point $L$ of $O$. For example, in this way the well-known formula of retarded potential directly emerge from (29). We only show this for the case of a point-like charge (of a sufficiently distant reference point).

In this case, one can see $R^2$ in (29) as constant during the integration with respect to x y z, and evaluate this integration. However, to avoid from the beginning the introduction of the arbitrary reference system xyzl, we rather use a natural reference system oriented with respect to the world-line of the point charge. Let (see Fig. 4) $d{S}_n$ be the element of normal space of the world-line, $ds$ the curve element of the world line. This is connected with Template:Sc's proper time $\tau$, so that

Template:Optional style|(29b)

$\{\begin{array}{c}ds=icd\tau ,\mathrm{b}\mathrm{y}\\ \\ ds=\sqrt{d{x}^2+d{y}^2+d{z}^2+d{l}^2}\\ \\ d\tau =dt\sqrt{1-\frac{1}{c^2}({\left(\frac{dx}{dt}\right)}^2+{\left(\frac{dy}{dt}\right)}^2+{\left(\frac{dz}{dt}\right)}^2)}\end{array}$

Now one has:

Template:Optional style|(29c)

$\{\begin{array}{c}d\mathrm{\Sigma }=d{S}_{n}ds=icd{S}_{n}d\tau ,\\ \\ ic\int Pd{S}_n=ie𝔅,𝔅=(\frac{dx}{d\tau },\frac{dy}{d\tau },\frac{dz}{d\tau },\frac{dl}{d\tau })\end{array}$

The first of these formulas directly follows from the fact, that the length element $ds$ and the three-dimensional space-element $d{S}_n$ are mutually normal. In the second formula, $P$ as well as $𝔅$ denote a four vector directed with respect to the world-line of the charge at the considered place. It only remains to prove, that the vectors on the right-hand and left-hand side of this formula are mutually equal as regards their magnitude. With respect to (29b), $\left|𝔅\right|=ic$, thus the magnitude of the right-hand side in question is equal to $-ce$. On the left-hand side, one thinks $P$ as decomposed into components with respect to the world-line and perpendicularly to it. The latter ones vanish, the first one becomes equal to $i{\varrho }_0$ by equation (1) part I, where ${\varrho }_0$ is the "rest-density", i.e. the density of charge viewed by a co-moving observer. Accordingly, Template:Pagenum $\int {\varrho }_{0}d{S}_n=e$ becomes equal to the total charge. For the magnitude of the left-hand side of (29c), one also has:

If one substitutes from (29c) into (29), it follows:

the integration with respect to the new variable $\tau$ is, quite equal as the one by $l$ in Fig. 3, to be extended on an arbitrary complex, clockwise rotation around the light-point $L$, and when calculated by Template:Sc's theorem gives:

Template:Optional style|(29d)

$4\pi {\mathrm{\Phi }}_0=\frac{e𝔅}{\left(\Re 𝔅\right)}$

Here,

Template:Optional style|(29e)

$\Re =(x-x_0,y-y_0,z-z_0,l-l_0)$

means the four-vector from the reference point with respect to the corresponding light-point of the charge, $𝔅$ the velocity vector of the charge at the light-point defined in (29c), and $\left(\Re 𝔅\right)$ its scalar product in the sense of § 3 A. Equation (29d) represents the invariant notation (in the sense of relativity theory) of the point-potential law (Template:Sc); we return to this in the following paragraphs again.

The field of an arbitrarily moving charge at reference point $O$, can be now obtained by formula (21b)

If one would like to apply this differentiation in the case of a point-charge upon the calculated formula (29d), then one would be led to complicated considerations, which Template:Pagenum stem from the fact, that with a variation of $O$ also a variation of the light-points $L$ is connected. It is much simpler to resort to the original formula (29) and to make the passage to the point charge only at the end. From (29) it is given

and somewhat more general for $j=x,y,z,l$:

Template:Optional style|(30)

$2{\pi }^2{f}_{xj}=\int \frac{P_j(x-x_0)-P_x(j-j_0)}{R^4}d\mathrm{\Sigma }$

We immediately pass to the specific electrodynamic force $𝔉$, by imagining a charge distribution of four-density $P_0$ in the surrounding of the reference point $O$, then their $x$-component is specified by equation (11) as $\left(P_0{f}_x\right)$; for that, one obtains according to the last formula by using of vector $\Re$ explained in (29e), which at first is not yet related with the light-point:

and thus generally:

Template:Optional style|(30a)

$2{\pi }^2𝔉=\int \frac{\left(P_{0}P\right)\Re -P\left(P_0\Re \right)}{R^4}d\mathrm{\Sigma }.$

If one immediately goes over to a point charge $e$ again, by means of equations (29c), then its specific force action upon distribution $P_0$ is given by:

If the distribution $P_0$ is also point-like of total charge $e_0$, then one is able to form the total force $𝔎$ exerted by $e$ on $e_0$. This shall be calculated as co-moving force in the sense of ${𝔎}^{\prime }$ in equation (15). Thus, one shall multiply with the space element $d{s}^{\prime }$ normal to the world-line of $O$, and shall form $𝔎=\int 𝔉d{S}^{\prime }$. With respect to the second line of (29c) it is given, when ${𝔅}_0$ means the velocity vector of $O$:

Template:Optional style|(30b)

$2{\pi }^2𝔎=\frac{ie{e}_0}{c}\int \frac{\left({𝔅}_0𝔅\right)\Re -\left({𝔅}_0\Re \right)𝔅}{R^4}d\tau$

Also here, the integration means a rotation of the complex variable $\tau$ around the light-point of $O$; Template:Pagenum it can immediately carried out by residue-construction, where now, since the denominator of second order in $R^2$ vanishes, the development of numerator and denominator is to be taken up to terms of second order. The obvious calculation is neglected at this place and concerning its result we refer to equation (37) of the next paragraph, where it is derived in a probably more illustrative but essentially less simple way than at this place. Compared with the somewhat composed form of equation (37), the integral representation contained in equation (30b) is in any case remarkable due to its particular clarity.

§ 8. The cyclic or hyperbolic motion and the electrodynamic elementary laws.

As the most simple example of accelerated motion we consider the interesting case of "hyperbolic motion" treated recently by Template:Sc. It represents itself (when one again neglects the imaginary character of the time coordinate in terms of expression and drawing) as "cyclic motion", where the reason for its simplicity lies. We namely investigate this motion under the point of view already indicated by Template:Sc, that any accelerated motion can always be approximated by "uniformly accelerated" motion, and from that we arrive at an illustrative derivation of the electrodynamic elementary laws.

The electrical system shall be moving, so that for any of its charge elements it applies:

Template:Optional style|(31)

$x=r\cos \phi ,y=y,z=z,l=r\sin \phi .$

At constant $r,y,z$ and variable $\phi$ these equations give the world-line of the charge element; at constant $\phi$ and variable $r,y,z$ they determine the "rest-form" of charge, Template:Pagenum i.e. the simultaneous locations of their elements observed by a co-moving observer. Fig. 5a represents the relations in the $xl$-plane with $l$ and $\phi$ imagined as real: the world-lines are circles $x^2+l^2=r^2$, the rest-form is projected into the variable radius $r$. Fig. 5b shows, as to how the things are with respect to the imaginary constitution of $l=ict$. If one draws $x$ and $ct$ as real coordinates, and puts $\phi =i\psi$, where $\psi$ is a real angel, then the world-lines become equally sided hyperbolas $x^2-(ct{)}^2=r^2$ and the rest-form is given by $\psi =const.$. The asymptotes under 45° are corresponding to a motion with speed of light $c$, which is approximated by hyperbolic motion for $ct=\pm \mathrm{\infty }$.

By the cyclic nature of our problem, the four-dimensional polar coordinates $ryz\phi$ are given instead of the ordinary coordinates xyzl, whose character is mixed of space and time. If we call the corresponding coordinates of the reference point $r_0{y}_0{z}_0{\phi }_0$, then we evidently can choose ${\phi }_0=0$. This means in the way of expression of Fig. 5a, that we can count the coordinate $\phi$ of the single charge elements starting from the radius vector extending through the reference point, which becomes the $x$-axis by that. In the way of expression of Fig. 5b we would have to say, that instead of axes $x$ and $ct$, we can introduce new "mutually normal" Template:Pagenum axes $x^{\prime }$ and $c{t}^{\prime }$, whose first one is going through $O$ and whose last one forms (with the hyperbolic asymptotes) the same angle as $x^{\prime }$ (harmonic location of axes $x^{\prime },c{t}^{\prime }$ against both asymptotes). Also related to these axes, the world-lines are equally sided hyperbolas and are (non-Euclidean) perpendicular upon them. At the same time, wh have $ct{\text{'}}_0=0$ for the reference point, thus also $r_0\sin i{\psi }_0=0$ or ${\psi }_0=0$. Thus when we would choose ${\phi }_0=0$ in Fig. 5a, then this means in real terms, that we introduce a new primed $x^{\prime },y,z,c{t}^{\prime }$ instead of $x,y,z,ct$, which is relatively moving with respect to the original one, and which we (starting from the other one) define by equation (31) of our polar coordinates $ryz\phi$. The introduction of the primed axes is, however, excluding superluminal velocities, only possible when the reference point lies in one of the two space-like quadrants of Fig. 5b (see the note in part I, p. 752), i.e. when in the original coordinates $c{t}_0<x_0$ applies, what we want to presuppose. In other cases, i.e. when the reference point lies in one of the time-like quadrants, one only needs to exchange the axes $x^{\prime }$ and $c{t}^{\prime }$, without additionally changing something essential.

Also the vectors $P$ and $\mathrm{\Phi }$ are decomposed by us into the components with respect to coordinates $ryz\phi$, where the four-vector $P$ is drawn in the successive locations of the charge elements, the four-vector $\mathrm{\Phi }$ is drawn in the reference point.

Evidently it is:

Vector $P$ namely is directed into the direction of the world-line, thus in the direction of increasing $\phi$; as well as $i\varrho$ was the fourth component in the $xyzl$-system (see equation (1), $\varrho$ = charge density in $xyz$-space), due to the vector character of $P$, the fourth component in the $ryz\phi$ system are equal to $i{\varrho }_0$ (${\varrho }_0$ = charge density in the co-moving $ryz$-space = "rest density" = $\left|P\right|=i\varrho \sqrt{1-{\beta }^2}=i\varrho /\cos \phi$, see equation (1a) and the explanations to equation (29c) of the previous paragraph). Here, ${\varrho }_0$ is, according to Template:Sc' theorem, constant along any world-line (independent of $\phi$), it is possibly variable from world-line to world-line. Due to the vector summation immediately carried out, Template:Pagenum we also will need the components $P_x$ and $P_l$ with respect to the axes oriented by $O$ of Fig. 5a (the axes $x^{\prime }$, $c{t}^{\prime }$ of Fig. 5b). For any place of the world line:

Template:Optional style|(31a)

$\{\begin{array}{ccc}{P}_x=& -P_{\phi }\cdot \sin \phi =& -i{\varrho }_0\sin \phi \\ P_l=& P_{\phi }\cdot \cos \phi =& i{\varrho }_0\cos \phi \end{array}$

For the calculation of $\mathrm{\Phi }$ we use equation (29) and substitute (for the integration variables $x=r\cos \phi$ there) $l=r\sin \phi$. The slope surrounding the imaginary axis in Fig. 3, is corresponding to an integration in $\phi$ over a corresponding slope, upon which $\phi$ goes back from $-i\mathrm{\infty }$ over zero to $-i\mathrm{\infty }$, and which clockwise envelopes (as earlier) the light-point $(R^2=0)$ belonging to any world-line. The passage to the new integration variables $r,\phi$ happens according to the scheme of ordinary polar coordinates:

Template:Optional style|(31b)

$\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}dx\int dl=\underset{0}{\overset{\mathrm{\infty }}{\int }}rdr\int d\phi$

with the difference, that the integration with respect to $\phi$ (similar to $l$) is extended over the mentioned slope.

Of the four components of $\mathrm{\Phi }$, two are vanishing; namely due to $P_y=P_z=0$

Of the two other components ${\mathrm{\Phi }}_r$ and ${\mathrm{\Phi }}_{\phi }$ it can be said at first, that they are independent of the $\phi$-coordinate of the reference point, by which the cyclic nature of our problem is expressed. Actually, we could (at any location of the reference point) choose the direction drawn to it as zero-ray; in the expressions of ${\mathrm{\Phi }}_r$ (in the direction of the zero-ray) and of ${\mathrm{\Phi }}_{\phi }$ (perpendicular to it), ${\phi }_0$ doesn't occur at all. These components become constant for all points or any circle of Fig. 5a (any hyperbola of Fig. 5b), and vector $\mathrm{\Phi }$ has a constant magnitude and location against the variable radius $r_0$. On the other hand, the components ${\mathrm{\Phi }}_x,{\mathrm{\Phi }}_l$ in a $xl$-system of general location Template:Pagenum are of course independent of ${\phi }_0$, namely due to the general formulas for vector transformation:

Template:Optional style|

${\mathrm{\Phi }}_x={\mathrm{\Phi }}_r\cos {\phi }_0-{\mathrm{\Phi }}_{\phi }\sin {\phi }_0$ ${\mathrm{\Phi }}_l={\mathrm{\Phi }}_r\sin {\phi }_0+{\mathrm{\Phi }}_{\phi }\cos {\phi }_0$

At the particular location of the $x$-axis as in Fig. 5a (the $x^{\prime }$-axis as in Fig. 5b), which is convenient for the following, it additionally becomes ${\mathrm{\Phi }}_r={\mathrm{\Phi }}_x$, ${\mathrm{\Phi }}_{\phi }={\mathrm{\Phi }}_l$ due to ${\phi }_0=0$.

The component ${\mathrm{\Phi }}_r={\mathrm{\Phi }}_x$ can easily be executed. At first, it is because of (31a,b) and (29):

Template:Optional style|(32)

$\{\begin{array}{c}4{\pi }^2{\mathrm{\Phi }}_x=-i\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}dy\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}dz\underset{0}{\overset{\mathrm{\infty }}{\int }}rdr\int d\phi \frac{{\varrho }_0\sin \phi }{R^2},\\ \\ R^2=r^2+r_0^2-2r{r}_0\cos \phi +{(y-y_0)}^2+{(z-z_0)}^2\end{array}$

Since ${\varrho }_0$ is independent (see above) from $\phi$ and $d\left(d{R}^2\right)=2r{r}_0\sin \phi d\phi$, then the integral with respect to $\phi$ is simply:

since it is to be extended around point $R^2=0$ against the positive rotation sense (see Fig. 3). Thus by (32)

Template:Optional style|(32a)

$4\pi {\mathrm{\Phi }}_x=4\pi {\mathrm{\Phi }}_r=-\frac{1}{r_0}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}dy\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}dz\underset{0}{\overset{\mathrm{\infty }}{\int }}dr{\varrho }_0=\frac{-e}{r_0};$

here, $e$ means the total charge of the system, obtained by integration of rest density ${\varrho }_0$ over the rest-form of the system. On the other hand, by (31a,b) and (30):

Template:Optional style|(32b)

$4{\pi }^2{\mathrm{\Phi }}_l=+i\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}dy\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}dz\underset{0}{\overset{\mathrm{\infty }}{\int }}rdr\int d\phi \frac{{\varrho }_0\cos \phi }{R^2}.$

The integral with respect to $\phi$ is given, quite similar to above, by residue-construction:

Template:Pagenum where for $\cos \phi$, $\sin \phi$ the values (following from $R^2=0$ and corresponding to the light-point) have to be included:

Template:Optional style|(32c)

$\{\begin{array}{c}\cos \phi =\frac{1}{2r{r}_0}(r^2+r_0^2+{(y-y_0)}^2+{(z-z_0)}^2)\\ \\ \sin \phi =\frac{-i}{2r{r}_0}\sqrt{({(r-r_0)}^2+{(y-y_0)}^2+{(z-z_0)}^2)\times ({(r+r_0)}^2+{(y-y_0)}^2+{(z-z_0)}^2)}\end{array}$

Thus

Template:Optional style|(32d)

$4\pi {\mathrm{\Phi }}_l=4\pi {\mathrm{\Phi }}_{\phi }=\frac{1}{r_0}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}dy\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}dz\underset{0}{\overset{\mathrm{\infty }}{\int }}dr{\varrho }_0{\left(\frac{\cos \phi }{\sin \phi }\right)}_L.$

For a far distant point, one can view $\cos \phi$ and $\sin \phi$ as approximately constant for all charge elements and execute the three-times integration, where the total charge $e$ of the system emerges. Thus one has for the limiting case:

Template:Optional style|(33)

$4\pi {\mathrm{\Phi }}_r=\frac{-e}{r_0},4\pi {\mathrm{\Phi }}_{\phi }=\frac{+e}{r_0}{\left(\frac{\cos \phi }{\sin \phi }\right)}_L.$

In consequence of Fig. 6 one can easily convince himself, that direction and magnitude of vector $\mathrm{\Phi }$ are only expressed by the state of motion at light-point $L$. For this purpose, we calculate the component of $\mathrm{\Phi }$ on the one hand with respect to direction $ML$ perpendicular to the direction of motion at the light-point, and on the other hand with respect to the tangent in $L$, which may be determined by the four-vector $𝔅$; here it is to be noticed, that $\phi$ shall mean the angle belonging to $L$ (namely counted from $MO$ as origin); thus:

in the direction $ML$:

in the direction $𝔅$

Template:Pagenum $r_0\sin \phi$, however, are represented in the figure by the line $ON=PL$, and $PL$ is the projection of vector $\Re$ from the reference point with respect to the light-point upon the motion vector $𝔅$, thus

Template:Optional style|(33a)

$r_0\sin \phi =PL=\left|\Re \right|\cos \left(\Re ,𝔅\right)=\frac{(\Re 𝔅\mathfrak{)}}{\left|𝔅\right|}$

see part I, § 3 A. Our potential is thus represented in terms of direction and magnitude:

Template:Optional style|(33b)

$4\pi \mathrm{\Phi }=\frac{e𝔅}{(\Re 𝔅\mathfrak{)}}\dots \{\begin{array}{c}\Re =x-x_0,y-y_0,z-z_0,l-l_0,\\ \\ 𝔅=\frac{dx}{d\tau },\frac{dy}{d\tau },\frac{dz}{d\tau },\frac{dl}{d\tau }.\end{array}$

The special character of hyperbolic motion is vanished from (33b), this representation applies to any motion affecting our hyperbolic motion at the light-point, and was directly taken above (see (29d)) from our general representation (29) by the passage from one point-charge and by residue-construction. As to how the relations are in real terms, is alluded to in Fig. 5b: In the projection of the $x$, $ct$-plane, the light-point $L$ (of a parallel drawn through $O$ with respect to a hyperbolic asymptote) is cut from the world-line, and it is the resultant from the two real components ${\mathrm{\Phi }}_r$ and ${\mathrm{\Phi }}_{\phi }/i$ parallel to the tangent $𝔅$ at the light-point.

Skipping the calculation of the field, we have to from $f=\mathrm{R}\mathrm{o}\mathrm{t}\mathrm{\Phi }$ by (21b), where we of course choose the required rotations, over which the line integral of $\mathrm{\Phi }$ must be extended, in the sense of our polar coordinate system (see Fig. 5a right above). While the $ry,rz,yz$-components of $f$ vanish, since ${\mathrm{\Phi }}_y={\mathrm{\Phi }}_z=0$ and ${\mathrm{\Phi }}_r$ is independent of $y$ and $z$, it is given by (21):

Template:Optional style|(34)

$f_{r\phi }=\frac{1}{r_0}\frac{\partial r_0{\mathrm{\Phi }}_{\phi }}{\partial r_0},f_{y\phi }=\frac{\partial {\mathrm{\Phi }}_{\phi }}{\partial y_0},f_{z\phi }=\frac{\partial {\mathrm{\Phi }}_{\phi }}{\partial z_0}.$

Template:Pagenum The field, as well as $\mathrm{\Phi }$, is only dependent of the coordinates $r_0,y_0,z_0$ of the reference point and thus constant on the circles of Fig. 5a (the hyperbolas of 5b). On the other hand, it is of course variable upon the line $x=const.$, since any such line is cut by other hyperbolas for variable $ct$ in Fig. 5b. Thus, while the field is temporally changing in a spatially fixed point, it is constant in a co-moving point. Namely, it has at such a point the character of the electric field throughout. Namely, since the $\phi$-direction has simultaneously the direction of the time axis in the co-moving ("primed") system, we have to write in consequence of (2):

Template:Optional style|(34a)

$\{\begin{array}{ccc}{f}_{r\phi }=-i𝔈{\text{'}}_r,& f_{y\phi }=-i𝔈{\text{'}}_y,& f_{z\phi }=-i𝔈{\text{'}}_z,\\ f_{yz}=ℌ{\text{'}}_r=0,& f_{zr}=ℌ{\text{'}}_y=0,& f_{ry}=ℌ{\text{'}}_z=0.\end{array}$

For an observer resting in the $xyzl$-system, on the other hand, the field has, except the electric one, also an magnetic part.

For distant reference points, to which the electric system appears as point-like, it is given from (33) and (34)

as well as

From the definition of the light-point:

it follows, however, since r, y, z are constant during hyperbolic motion:

thus

as well as

therefore, when the index $L$ at $\mathrm{\Phi }$ is suppressed:

Template:Optional style|(34b)

$\{\begin{array}{c}4\pi f_{r\phi }=\frac{-e}{r{r}_0^2{\sin }^3\phi }(r\cos \phi -r_0),\\ \\ 4\pi f_{y\phi }=\frac{-e}{r{r}_0^2{\sin }^3\phi }(y-y_0),\\ \\ 4\pi f_{z\phi }=\frac{-e}{r{r}_0^2{\sin }^3\phi }(z-z_0).\end{array}$

Template:Pagenum These formulas are the most simple expressions of the field produced by any moving point charge. Namely, by putting the curvature circle (curvature hyperbola) at the world-line of the point-charge in the light-point belonging to our reference point, and by replacing the arbitrary motion by cyclic motion upon the curvature circle, the general case is reduced to our formulas (34b).

Template:Pagenum These formulas are the most simple expression of the field produced by any moving point charge. Namely, by putting the curvature circle (curvature hyperbola) at the world-line of the point-charge in the light-point belonging to our reference point, and by replacing the arbitrary motion by cyclic motion upon the curvature circle, the general case is reduced to our formulas (34b). The occurrence of the curvature radius $r$, which is connected with the acceleration of motion at the light-point (see below), is characteristic. The difference between longitudinal and transverse acceleration is only a difference in the choice of reference frame.

At first, we want to circumscribe the formulas (34b), so that only four-vectors related to the light-point occur

$\Re$ is the vector of $O$ to $L$, $𝔅$ the velocity vector in $L$ (see equation (33a)) and $\dot{𝔅}$ the acceleration vector in $L$. In the previous definition (equation (29b)) of $d\tau$ by the world-line element $d\tau =ds/ic$, since in our cyclic coordinates $ds=rd\phi$ applies, it evidently becomes $d\tau =rd\phi /ic$, thus according to equations (31)

consequently is follows:

$\dot{𝔅}$ thus has in the light-point the direction of radius $ML$ and the magnitude $c^2/r$.

From these four vectors, the following magnitudes independent of reference frame, can be formed:

thus by which the formulas (34b) shall be expressed; Template:Pagenum here, we notice that the other possible invariants have the following simply values according to the above:

Template:Optional style|(35)

$\{\begin{array}{c}(\Re \Re )=R^2=0,(𝔅𝔅)={\left|𝔅\right|}^2=-c^2,\\ \\ (\dot{𝔅}\dot{𝔅})={\left|\dot{𝔅}\right|}^2=\frac{c^4}{r^2},(𝔅\dot{𝔅})=0,\end{array}$

the latter is due to the perpendicular location of $𝔅$ and $\dot{𝔅}$. As regards the value of $(\Re 𝔅)$, it was given in equation (33a):

Template:Optional style|(35a)

$(\Re 𝔅)=\left|𝔅\right|r_0\sin \phi =ic{r}_0\sin \phi .$

Similarly, according to Fig. 6 it is given as projection of $\Re$ upon $\dot{𝔅}$

thus

Template:Optional style|(35b)

$r_0\cos \phi =r(1-\frac{(\Re \dot{𝔅})}{c^2}),\frac{r_0}{r}\cos \phi =\frac{c^2-(\Re \dot{𝔅})}{c^2}$

and by division of (35a) and (35b):

Template:Optional style|(35c)

$\frac{\cos \phi }{icr\sin \phi }=\frac{1}{c^2}\frac{c^2-(\Re \dot{𝔅})}{(\Re 𝔅)}.$

If we now consider the four-vector $f_{\phi }$ derived from the six-vector $f$ (see part I, equation (6a)):

Here, the three bracketed magnitudes or the components of $\Re$ with respect to the directions $r_0,y_0,z_0$ drawn through $O$, are namely

If we thus add the fourth coordinate with respect to the direction (taken through $O$ and perpendicular to $r_0$) of the increasing ${\phi }_0$, namely ${\Re }_{\phi }=QL$ (see Fig. 6), then

The sum of $QL$ is $r\sin \phi$; the unit vector ${\mathrm{\Phi }}_1$ in this direction represents itself by the unit vectors in the directions $𝔅$ and $\dot{𝔅}$, which are inclined against that by $\phi$ and $\pi /2-\phi$ respectively:

Template:Optional style|(36)

${\mathrm{\Phi }}_1=\frac{\mathrm{v}\mathrm{e}\mathrm{c}\mathrm{t}\mathrm{o}\mathrm{r}QL}{\left|QL\right|}=\cos \phi \frac{𝔅}{\left|𝔅\right|}+\sin \phi \frac{\dot{𝔅}}{\left|\dot{𝔅}\right|},$

Template:Pagenum thus

Therefore, $f_{\phi }$ is decomposed in two or three four-vectors of directions $\Re ,{\mathrm{\Phi }}_1$ or $\Re ,𝔅,\dot{𝔅}$, namely

Template:Optional style|(36a)

$\{\begin{array}{cc}4\pi f_{\phi }& =\frac{e}{r\sin \phi r_0^2{\sin }^2\phi }\Re -\frac{e}{r_0^2{\sin }^2\phi }{\mathrm{\Phi }}_1\\ \\ & =\frac{e}{r\sin \phi r_0^2{\sin }^2\phi }\Re -\frac{e}{r_0^2{\sin }^2\phi }(\frac{\cos \phi }{ic}𝔅+\frac{r\cos \phi }{c^2}\dot{𝔅}).\end{array}$

We now pass to the specific electrodynamic force $𝔉$ (see § 4), by imagining a charge at reference point $O$, whose magnitude and motion is given by the four-vector $P_0$. The components of $𝔉$ with respect to the coordinate-directions are according to equation (11)

Thus we can vectorially write, when we understand under ${\mathrm{\Phi }}_1$ the mentioned unit vector in the $\phi$-direction extended through $O$

Template:Center:

or with respect to (36a):

Template:Optional style|(36b)

$4\pi 𝔉=\frac{e}{r\sin \phi r_0^2{\sin }^2\phi }(-\left(P_0{\mathrm{\Phi }}_1\right)\Re +\left(P_0\Re \right){\mathrm{\Phi }}_1).$

If we now include the value (36) for ${\mathrm{\Phi }}_1$, then $𝔉$ is decomposed into three portions, a location portions of direction $\Re$, a velocity- and acceleration portions of direction $𝔅$ and $\dot{𝔅}$, namely by using of (35a) and (35c):

Template:Optional style|(36c)

$\{\begin{array}{c}4\pi {𝔉}_{\Re }=\frac{e}{(\Re 𝔅{)}^2}(\frac{c^2-(\Re \dot{𝔅})}{(\Re 𝔅)}\left(P_0𝔅\right)+\left(P_0\dot{𝔅}\right))\Re ,\\ \\ 4\pi {𝔉}_{𝔅}=\frac{-e}{(\Re 𝔅{)}^2}\frac{c^2-(\Re \dot{𝔅})}{(\Re 𝔅)}\left(P_0\Re \right)𝔅\\ \\ 4\pi {𝔉}_{\dot{𝔅}}=\frac{-e}{(\Re 𝔅{)}^2}\left(P_0\Re \right)\dot{𝔅}.\end{array}$

Template:Pagenum By that, the general invariant representation of the specific electrodynamic force $𝔉$ is achieved. From it, we go over to the total force $𝔎$, by imagining the total charge $e_0$ as point-like in $O$. We will calculate it as a "co-moving force" (in the sense of equation (15) for ${𝔎}^{\prime }$), by considering those values of $𝔉$, which appear simultaneously to an observer co-moving with $O$, i.e. integrating over a space $d{S}^{\prime }$ perpendicular to the world-line of $O$. On the other hand, when integrating over $dS$ (as remarked in §4) a result depending on the reference system would be given. Consequently, since $d{S}^{\prime }$ has the same meaning as $d{S}_n$ in equation (29c), it is thus given from this equation

and from (36c) we obtain the following three portions of the total electrodynamic force:

Template:Optional style|(37)

$\{\begin{array}{c}4\pi {𝔎}_{\Re }=\frac{e{e}_0}{e(\Re 𝔅{)}^2}(\frac{c^2-(\Re \dot{𝔅})}{(\Re 𝔅)}\left({𝔅}_0𝔅\right)+\left({𝔅}_0\dot{𝔅}\right))\Re ,\\ \\ 4\pi {𝔎}_{𝔅}=\frac{-e{e}_0}{c(\Re 𝔅{)}^2}\frac{c^2-(\Re \dot{𝔅})}{(\Re 𝔅)}\left({𝔅}_0\Re \right)𝔅,\\ \\ 4\pi {𝔎}_{\dot{𝔅}}=\frac{-e{e}_0}{c(\Re 𝔅{)}^2}\left({𝔅}_0\Re \right)\dot{𝔅}.\end{array}$

As above in consequence of (33a), one can notice that the special character of hyperbolic motion is vanished from these formulas (hyperbolic motion only served us to conveniently approximate the motion of $e$ at the light-point), and more generally that one obtains the same formulas, when $𝔎$ is calculated for a quite arbitrary motion of $e$. Indeed, the equations (37) are identical with the result of residue-construction in equation (30b), about which it was spoken on p. 670.

The equations (37) are of course in agreement with the geometric rule given by Template:Sc in § V of "Space and Time", and differ from the expressions originally found by Template:Sc only by supplementing the fourth "energetic component", which Template:Pagenum by the way is not unimportant for the following, and in the three remaining "dynamic" components only differs by a factor

which stems from the fact, that in the course of forming the total force, Template:Sc integrated over a space $dS$, while we integrated over a space $d{S}^{\prime }$.

§ 9. Remarks on the laws of Coulomb and Newton.

A. Coulomb's law. Equations (37) are applied to the most simple case of electrostatics, i.e. two mutually resting point charges. In the sense of relativity theory, two charges are at rest whose world-lines are two parallel lines. In this case

and thus

Template:Optional style|(38)

$4\pi 𝔎=-e{e}_{0}c\frac{c^2𝔎\mathfrak{+}\mathfrak{(}\Re 𝔅\mathfrak{)}𝔅}{(\Re 𝔅{)}^3}$

After cancellation of the acceleration-portions, force $𝔎$ in (38) is thus composed by a location portion and a velocity portion, which at first is related to a light-point, however, it simultaneously has the direction of an arbitrary point of the world-line of $e$ or $e_0$ due to the presupposed uniformity. We show, that this velocity portion supplements the location portion exactly to a vector which is directed to the point $P$ (simultaneous with $O$) upon the world-line of $e$. There, simultaneity is evidently to be considered from a reference system moving with velocity $𝔅$, in our case the only reference system naturally defined, and again it will (in passing) constructed by an ordinary (euclidean) perpendicularity.

Template:Pagenum As already employed many times (see p. 676 and 679), the projection $PL$ of $\Re$ upon $𝔅$ is equal to $\mathfrak{(}\Re 𝔅\mathfrak{)}/\left|B\right|$, and the unit vector in the direction of $𝔅$ is equal to $𝔅/\left|B\right|$, thus with respect to $\left|𝔅\right|=ic$:

The nominator in (38) consequently becomes in terms of the meaning of ${\Re }^{\prime }$ drawn in Fig. 7:

If one applies the Pythagoras to the "right-angled" triangle $OLP$, then it is additionally given with $R^{\prime }=\left|{\Re }^{\prime }\right|,R=\left|\Re \right|=0$:

or

Template:Optional style|(38a)

$(\Re 𝔅{)}^2=-{\left|𝔅\right|}^{2}R{\text{'}}^2=+c^{2}R{\text{'}}^2.$

The nominator in (38) thus becomes equal to $c^{3}R{\text{'}}^3$, so that we can write instead of (38):

Template:Optional style|(39)

$4\pi 𝔎=-e{e}_0\frac{{\Re }^{\prime }}{R{\text{'}}^3}.$

This is the general invariant expression of Template:Sc's law.

If we now introduce the special reference system $xyzl$, whose $l$-axis forms with $𝔅$ the angle $\phi$, i.e. in which $e$ and $e_0$ are moving. Let the coordinates of $P$ be $x^{\prime },y^{\prime },z^{\prime },l^{\prime }$, and those of $O$ be $x_0,y_0,z_0,l_0$ as earlier. The three-dimensional vector $x^{\prime }-x_0,y^{\prime }-y_0,z^{\prime }-z_0$ shall be called ${𝔯}^{\prime },$ $r^{\prime }$ be its length. The three-dimensional force vector ${𝔎}_x,{𝔎}_y,{𝔎}_z$ is to be called (according to § 4) as the dynamic portion of the four-vector $𝔎$. It is of course not directed (in the sense of our arbitrary reference system) to the point simultaneous with $O$, but to that space-point emerging from the spacetime-point $P$ by projection upon the $xyz$-space. This dynamic portion namely becomes

its magnitude is:

Template:Optional style|(39a)

$4\pi \sqrt{{𝔎}_x^2+{𝔎}_y^2+{𝔎}_z^2}=e{e}_0\frac{r^{\prime }}{R{\text{'}}^3}.$

Template:Pagenum Thus it is neither inversely proportional to the square of $r^{\prime }$ nor to that of $R^{\prime }$. To maintain the simple argument of Template:Sc's law, one must rather consider the energetic portion and the form the magnitude of the four-vector

To it, is imply applies

Template:Optional style|(39b)

$4\pi \left|𝔎\right|=\frac{e{e}_0}{R{\text{'}}^2},$

thus Template:Sc's law in the sense, that the four-dimensional distance of both simultaneous world-points $O$ and $P$ is of importance. We emphasize this to strengthen the remark already given earlier (§4, p. 771), that the energetic component of force has in no way only a formal meaning. It is rather indispensable in our special case, to formulate Template:Sc's law (in its simplicity for static conditions) also for moving charges and independently of the choice of a special reference system.

The energetic component of $𝔎$ of course vanishes, when the reference system is particularly introduced as co-moving, so that both charges are at rest in it. Then $R^{\prime }=r^{\prime }$, so that (39a) and (39b) become identical. Since in the general case $r^{\prime }/R^{\prime }=\cos \phi$ (see Fig. 7), one can consider (39a) as a component of the complete vector sum (39b).

B. Template:Sc's law. To this one I only have to make a literary remark. There are two proposals as to the solution of the urgent task, to adapt the law of gravitation to the principles of relativity theory, by Template:Sc (1906) and by Template:Sc (1908). Template:Sc directly transfers the repulsion law of two electrons with sign-change upon the attraction of two ponderable masses; his proposal thus aims to replace $e{e}_0$ by $-m{m}_0$ in equations (37), where $m_0$ and $m$ means the attracted and attracting rest-mass. We want to presuppose the motion of $m$ as uniform Template:Pagenum (acceleration $\dot{𝔅}$ evidently comes into play only secondarily, since an influence of $𝔅$ has never been demonstrated even on gravitation). Then, Template:Sc's proposal is simplified to the following expression of Template:Sc's law $({𝔎}_{\dot{𝔅}}=0,𝔎\mathfrak{=}{𝔎}_{\Re }\mathfrak{+}{𝔎}_{𝔅})$, when we also include the inessential factor $f\pi$ in $𝔎$

Template:Optional style|(40)

$𝔎=-m{m}_{0}c\frac{\left(B_{0}B\right)R-\left(B_{0}R\right)B}{(RB{)}^3}$

On the other hand, Template:Sc raises himself the task, to form (in most general manner) that Lorentz invariant force law, which reduces itself for small velocities (neglecting ${\beta }^2$ and ${\beta }_0^2$) to Template:Sc's law in the ordinary sense. Only in case both velocities (as assumed under A) are equal, the form of the relativistically extended law of gravitation is unequivocally determined; otherwise it remains undetermined in certain limits. Here, Template:Sc decidedly operates with four-vectors (the introduction of six-vector, however, was reserved to Template:Sc); they were represented by its components in an arbitrary Template:Sc-system. Namely, the following combination between our vectors (left) and Template:Sc's components (right) applies:

with the abbreviations

Furthermore, it is to be noted that Template:Sc has put $c=1$, and also has taken $m=m^{\prime }=1$ for the attracting and attracted mass; Template:Pagenum to write his formulas in agreement with dimensions, one has to replace his velocity components $\xi ,{\xi }_1,\dots$ by $\xi /c,{\xi }_1/c,\dots$ and his force components $X_1,\dots$ by $X_1/m{m}^{\prime },\dots$. Consequently, Template:Sc's expressions (11) p. 174 can be written in the first place:

Template:Optional style|(40a)

$\frac{k_0𝔎}{m{m}^{\prime }}=-\frac{1}{B^{3}C}(C\Re -\frac{1}{c}A𝔅).$

The mentioned indetermination of the problems makes it possible, as Template:Sc notes himself (9. 175), to replace the factor $1/B^3$ by $C/B^3$, in which case the following expression is given instead of the preceding one:

Template:Optional style|(40b)

$\frac{k_0𝔎}{m{m}^{\prime }}=-\frac{1}{B^3}(C\Re -\frac{1}{c}A𝔅).$

There, A, B, C mean the invariance to be formed from the vectors $\Re ,{𝔅}_0,𝔅$, and are given (by Template:Sc) by the second to the fourth of expressions (5) of p. 169, namely:

If one eventually replaces the mass $m^{\prime }=m_0{k}_0$ (as measured in the arbitrary reference system) by the rest-mass $m_0$, then it is given from (40a) or (40b):

Template:Optional style|(40c)

$𝔎=m{m}_0{c}^3\frac{\left(B_{0}B\right)R-\left(B_{0}R\right)B}{(RB{)}^3\left(B_{0}B\right)}$

or

Template:Optional style|

$𝔎=-m{m}_{0}c\frac{\left(B_{0}B\right)R-\left(B_{0}R\right)B}{(RB{)}^3}$

The latter expression perfectly agrees with (40), the first one agrees up to the factor $-c^2/\left({𝔅}_0𝔅\right)$ which differs from unity only by terms of second order in the velocity ratios $\beta ,{\beta }_0$. Thus we come to the Template:Pagenum result: The special Template:Scan formulation of Template:Sc's laws is subsumed under Template:Sc's formulation which is naturally undetermined up to a certain grade, when one sets the acceleration of the attracting mass equal to zero; neglecting terms of higher order, the latter is no more general than the first one.

The relation of Template:Sc's or Template:Sc's version to that of Template:Sc can be explained best by a simple figure, which is different from Fig. 7 only by the fact, that the directions ${𝔅}_0$ and $𝔅$ of the world-line of $m_0$ and $m$ are not parallel now, but enclose the angle $\psi$. This appears in Fig. 8 as an angle between $QO$ (direction ${𝔅}_0$) and $QT$ (parallel to $𝔅$). $P$ is the point simultaneous with $O$ in the sense of reference system moving with $𝔅$, $S$ is simultaneous with $O$ in the sense of its proper motion ${𝔅}_0$.

Now we construct the numerator of expressions (40), (40c) and (40d) as follows. It is by § 3 A

Template:Optional style|(41)

$\left({𝔅}_0𝔅\right)=\cos \psi \left|B_0\right|\left|B\right|=-c^2\cos \psi$

Template:Pagenum and $\left(R{B}_0\right)/\left|B_0\right|$ is equal to the projection $OQ$ of $\Re$ upon ${𝔅}_0$. From the triangle $OQT$, right-angled at $O$ (perspectively moved in the figure), however, it follows

Template:Optional style|(41a)

$QO/\cos \psi =QT=LS=-\left(R{B}_0\right)/\left|B_0\right|\cos \psi .$

Therefore by (40) and (41a), the mentioned numerator is equal to

Template:Optional style|

$\left(\Re {𝔅}_0\right)\{\Re -\frac{1}{\cos \psi }\frac{\left(R{B}_0\right)}{\left|B_0\right|}\frac{B}{\left|B\right|}\}$ $=\left({𝔅}_0𝔅\right)\{\Re +LS\frac{B}{\left|B\right|}\}=\left({𝔅}_0𝔅\right)\{\Re +\mathrm{v}\mathrm{e}\mathrm{c}\mathrm{t}\mathrm{o}\mathrm{r}LS\},$ $=\left({𝔅}_0𝔅\right)𝔖,$

since $𝔅/\left|B\right|$ means the unit vector in the direction of $LS$, and the vectors $\Re$ and $LS$ are composing themselves to vector $𝔖$. The denominator in (40), on the other hand, is equal to $c^{3}R{\text{'}}^3$ according to (38a), where ${\Re }^{\prime }$ means (as in Fig. 7) the vector $OP$ and $R^{\prime }$ its sum. Consequently, it follows from (40a) with respect to (41) in agreement with Template:Sc's proposal:

Template:Optional style|

$𝔎=m{m}_0\cos \psi \frac{S}{R{\text{'}}^3}$

In Template:Sc's proposal (40c), the factor

is to be added in the denominator and is thus given:

Template:Optional style|

$𝔎=\frac{m{m}_0}{R{\text{'}}^3}𝔖.$

It's evident, that one remains in the space which was left open by Template:Sc and by the invariance under Lorentz transformations, even when one sets:

Template:Optional style|(41d)

$𝔎=\frac{m{m}_0}{S^3}𝔖\mathrm{o}\mathrm{r}𝔎=\frac{m{m}_0}{S{R}^{\prime }}\frac{𝔖}{S},$

in the latter case, the magnitude $\left|𝔎\right|=m{m}_0/SR$ would be calculated in symmetrical way from the two distances between $O$ on the one hand, and the two simultaneity-points $P$ and $S$ on the other hand. Also in this symmetrical choice of the force law, the reaction principle wouldn't be satisfied, since the direction of force is determined in an unsymmetrical way by the attracting and attracted Template:Pagenum mass. The permanence of this principle would rather require a momentum distributed in the surrounding of the center of attraction, as it would be known from electrodynamics, however, with the difference that its localization in the field would be unknown. On the other hand, the ordinary formulation of Template:Sc's law is evidently inadmissible in relativity theory. According to it, the direction and magnitude of the Template:Scian force would be given through a point $A$ (see Fig. 8), which is simultaneous with $O$ (in the sense of an arbitrary reference system) and thus physically undetermined. Practically, however, such a formulation might be on equal footing to the preceding one, since it only differs from them by terms of second order in the velocity ratios. Exactly because of this reason, one won't hesitate to leave the ordinary formulation of Template:Sc's law, and to replace it with the preceding formulations which are relative-theoretically possible.

---