The Transformation of the Electrodynamical Equations

by Harry Bateman

THE TRANSFORMATION OF THE ELECTRODYNAMICAL EQUATIONS

By H. BATEMAN.

[Received March 7th, 1909. — Read March 11th, 1909. — Received, in revised form, July 22nd, 1909.]

1. Introduction.

The numerous experimental and theoretical investigations that have followed Bradley's discovery of aberration have led finally to the enunciation of a principle of relativity. This principle which is being widely used as a working hypothesis is gradually attaining a position analogous to that held by the second law of thermodynamics,^[1] inasmuch as it gives a satisfactory account of the experimental results and is not in direct contradiction with any known facts.^[2]

The mathematical analysis on which the principle is based was introduced by Lorentz in 1892. It consists of a certain space time transformation of the coordinates in which the fundamental equations of the electrodynamical field are unaltered in form.

The principal features of the transformation are the introduction of a local time, and the hypothesis that a body moving through the aether with a constant velocity v suffers a contraction ${\sqrt {1-v^{2}/c^{2}}}:1$ in the direction of motion: c being the velocity of light. With the help of this hypothesis a satisfactory explanation of the results of the Michelson-Morley experiment can be given on the supposition of a stationary aether. The results of the experiment seem at first sight to indicate that the aether is carried along with the earth, but on such a supposition a satisfactory explanation of aberration would still be wanting.

The theory of Lorentz's transformation has been developed very considerably by Einstein, Planck, and Minkowski. The transformation has become a powerful instrument of research, inasmuch as it provides a means of transition from the mathematical expressions of physical quantities connected with a system at rest to the corresponding quantities for a similar system in uniform motion. The transformation of Lorentz only enables us to pass from a system at rest to one in uniform motion, but it has been postulated that there is a more general transformation which can be applied to systems moving in a more general manner. The case of a system moving with a constant acceleration has, in fact, been discussed by Einstein.^[3]

The object of the present paper is to find all the transformations for which the electrodynamical equations are invariant. In the case of the simpler equations of the theory of electrons, it is proved that the transformations belong to a certain group which is isomorphic with the group of conformal transformations of a space of four dimensions. It is assumed, however, that the transformation is such that the total charge on a system of particles is unaltered.

I have great pleasure in thanking Mr. E. Cunningham for the stimulus which he gave to this research by the discovery of the formula of transformation in the case of an inversion in the four-dimensional space. These formulæ suggested the more general formulæ in terms of Jacobians, and the transition to the integral forms led at once to the present analysis. The two integral forms of the second order had been introduced previously by Mr. Hargreaves in another connection; they enable us to give a very concise expression of the electrodynamical equations which promises to be of considerable importance in future developments. The integrals that occur in the equations differ from the usual surface and volume integrals by the fact that the quantities in the integrand are calculated at different points of space at different times, these times being specified by an arbitrary known law.

The invariance of the two integral forms of the second order leads at once to the formulae of transformation of the electric and magnetic force, and to a number of identical relations which are shown to imply that the differential equation

$dx^{2}+dy^{2}+dz^{2}-dt^{2}=0$

is invariant. This is the differential equation of the characteristics of the electromagnetic equations and gives the form of an elementary wave front. Since this is a sphere, we have called the group of transformation the group of spherical wave transformations. The differential equation also expresses the condition that two neighbouring particles should be in a position to act on one another. The transformations which leave the electrodynamical equations for ponderable bodies unaltered in form must depend upon the form of the constitutive relations connecting the magnetic induction and electric force with the magnetic force and electric displacement when the bodies are in motion. Minkowski, Einstein, and Laub have proceeded in the opposite way and constructed a set of constitutive relations for bodies in uniform motion, by assuming that the transformations are Lorentzian transformations and transforming the known constitutive relations for bodies at rest.

This method, however, does not give the constitutive relations for the case of a dielectric whose motion is not uniform. The general spherical wave transformation can be applied to obtain a certain type of accelerated motion, but the dimensions and shapes of bodies are continually altering in the transformed system.

An attempt has been made to discover whether there are any types of constitutive relations which are invariant for the general space time transformation. It is shown in § 7 that it is possible to construct such relations on the assumption that a certain quadratic form is invariant for the transformation. These relations may be supposed to correspond to a special type of configuration and state of motion which preserves its character after any space time transformation, which satisfies certain limitations. The general theory of space time transformations is discussed with the help of two theorems on the transformation of integral forms. It is shown that when a transformation of variables is performed, and the forms equivalent to two given integral forms are known, then the integral forms may be multiplied together by the rules of Grassmann's calculus of extension, and the resulting integral form is equal to the one obtained by multiplying the equivalent integral forms in the same way. Secondly, it is shown that when a quadratic form and its equivalent are known, a pair of equivalent integral forms may be obtained from a given pair by a process of analysis analogous to reciprocation, the new integral forms being of order n — m, where n denotes the number of variables and m the order of the original integral forms. These theorems are very useful for finding invariants.^[4] Various invariants are calculated with a view of obtaining the general form of the equations of motion. Abraham's expression of the reaction of radiation on a moving electron is shown to be an invariant for the group of spherical wave transformations, provided it is multiplied by a certain factor.

2. The Integral Equations of the Theory of Electrons.

Let the electromagnetic units be those adopted by Lorentz, and let the units of time and length be so chosen that the velocity of radiation is unity.

Let curl H denote the vector whose components are

${\frac {\partial H_{z}}{\partial y}}-{\frac {\partial H_{y}}{\partial z}},\dots ,$

when the axes of x, y, z are right-handed and the vector whose components are

${\frac {\partial H_{y}}{\partial z}}-{\frac {\partial H_{z}}{\partial y}},\dots ,$

when the axes are left-handed. Then the fundamental equations^[5] of the theory of electrons may be written

$\left.{\begin{array}{l}{\mathsf {curl}}\ H={\frac {\partial E}{\partial t}}+\rho w\\\\{\mathsf {curl}}\ E=-{\frac {\partial H}{\partial t}}\\\\{\mathsf {div}}\ E=\rho \\\\{\mathsf {div}}\ H=0\end{array}}\right\},$

(I)

where E is the electric force, H the magnetic force, ρ the volume density of electricity, and ρw the convection current.

These equations may be replaced by the two integral equations^[6]

$\iint \left(H_{x}dy\ dz+H_{y}dz\ dx+H_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt\right)=0,$

(II)

${\begin{array}{l}\iint \left(E_{x}dy\ dz+E_{y}dz\ dx+E_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt\right)\\\qquad =-\iiint \left(\rho w_{x}dy\ dz\ dt+\rho w_{y}dz\ dx\ dt+\rho w_{z}dx\ dy\ dt-\rho dx\ dy\ dz\right),\end{array}}$

(III)

provided the integrals receive suitable interpretations. The interpretation that first suggests itself is obtained by regarding (x, y, z, t) as the coordinates of a point in a space of four dimensions. Let any closed two-dimensional manifold $S_{2}$ in this space be assigned by equating x, y, z, t to one-valued differentiate functions of two parameters $\alpha ,\beta$, and let $S_{2}$ be the boundary of a three-dimensional manifold $S_{3}$ in which the coordinates are like functions of three parameters $\alpha ,\beta ,\gamma$, of which $\gamma =0$ on $S_{2}$, and $\gamma <0$ on $S_{3}$. Then any term such as $\iint H_{x}dy\ dz$ may be interpreted to mean $\iint H_{x}{\frac {\partial (y,z)}{\partial (\alpha ,\beta )}}d\alpha \ d\beta$ taken over $S_{2}$, and any term such as $\iiint \rho \ dx\ dy\ dz$ may be interpreted to mean $\iiint \rho {\frac {\partial (x,y,z)}{\partial (\alpha ,\beta ,\gamma )}}d\alpha \ d\beta \ d\gamma$ taken over $S_{3}$.

The relations (II) and (III) may now be obtained with the aid of (I) by applying the generalized Green-Stokes theorem as given by Baker,^[7] Poincaré,^[8] and others.

In order that equations (II) and (III) may be equivalent to (I), the axes must form a right-handed system. If we wish to use left-handed axes we must change the sign of H in (II) and (III).

We shall now endeavour to give a simpler interpretation to the integrals occurring in equations (II) and (III).

Let S be an arbitrary closed surface in the (x, y, z) space, and let t be expressed in terms of x, y, z by an arbitrary law $t=t(x,y,z)$, which must be chosen, however, in such a way that t is a single-valued function which is finite together with its derivatives with regard to x, y, z at all points within S and on S itself. Let the coordinates of points on S be expressed in terms of two parameters $\alpha ,\beta$.

A term such as $\int \int E_{x}dx\ dt$ may now be understood to mean^[9]

$\int \int E_{x}\left[{\frac {\partial (x,t)}{\partial (y,z)}}{\frac {\partial (y,z)}{\partial (\alpha ,\beta )}}+{\frac {\partial (x,t)}{\partial (z,x)}}{\frac {\partial (z,x)}{\partial (\alpha ,\beta )}}+{\frac {\partial (x,t)}{\partial (x,y)}}{\frac {\partial (x,y)}{\partial (\alpha ,\beta )}}\right]d\alpha \ d\beta$

and a term such as $\int \int \int \rho w_{x}dy\ dz\ dt$ to mean

$\int \int \int \rho w_{x}{\frac {\partial (y,z,t)}{\partial (x,y,z)}}dx\ dy\ dz.$

The equation (II) may now be written

${\begin{array}{ll}\int \int \left[\left(E_{x}-H_{y}{\frac {\partial t}{\partial z}}+H_{z}{\frac {\partial t}{\partial y}}\right)dy\ dz\right.&+\left(E_{y}-H_{z}{\frac {\partial t}{\partial x}}+H_{x}{\frac {\partial t}{\partial z}}\right)dz\ dx\\\\&\left.+\left(E_{z}-H_{x}{\frac {\partial t}{\partial y}}+H_{y}{\frac {\partial t}{\partial x}}\right)dx\ dy\right]\end{array}}$ $=-\int \int \int \left(\rho w_{x}{\frac {\partial t}{\partial x}}+\rho w_{y}{\frac {\partial t}{\partial y}}+\rho w_{z}{\frac {\partial t}{\partial z}}-\rho \right)dx\ dy\ dz.$

Transforming the left-hand side by means of Green's theorem, we get

${\begin{array}{ll}\int \int \int \left[{\frac {d}{dx}}\left(E_{x}-H_{y}{\frac {\partial t}{\partial z}}+H_{z}{\frac {\partial t}{\partial y}}\right)\right.&+{\frac {d}{dy}}\left(E_{y}-H_{z}{\frac {\partial t}{\partial x}}+H_{x}{\frac {\partial t}{\partial z}}\right)\\\\&\left.+{\frac {d}{dz}}\left(E_{z}-H_{x}{\frac {\partial t}{\partial y}}+H_{y}{\frac {\partial t}{\partial x}}\right)\right]dx\ dy\ dz.\end{array}}$

Now

${\frac {dE_{x}}{dx}}={\frac {\partial E_{x}}{\partial x}}+{\frac {\partial E_{x}}{\partial t}}{\frac {\partial t}{\partial x}},$ ${\frac {dH_{y}}{dx}}={\frac {\partial H_{y}}{\partial x}}+{\frac {\partial H_{y}}{\partial t}}{\frac {dt}{dx}};$

hence the above integral may be written

${\begin{array}{l}\int \int \int \left[\left({\frac {\partial E_{x}}{\partial t}}-{\frac {\partial H_{z}}{\partial y}}+{\frac {\partial H_{y}}{\partial z}}\right){\frac {\partial t}{\partial x}}+\left({\frac {\partial E_{y}}{\partial t}}-{\frac {\partial H_{x}}{\partial z}}+{\frac {\partial H_{z}}{\partial x}}\right){\frac {\partial t}{\partial y}}\right.\\\qquad \left.+\left({\frac {\partial E_{z}}{\partial t}}-{\frac {\partial H_{y}}{\partial x}}+{\frac {\partial H_{x}}{\partial y}}\right){\frac {\partial t}{\partial z}}+\left({\frac {\partial E_{x}}{\partial x}}+{\frac {\partial E_{y}}{\partial y}}+{\frac {\partial E_{z}}{\partial z}}\right)dx\ dy\ dz,\right]\end{array}}$

and this is equivalent to

$-\iiint \left(\rho w_{x}{\frac {\partial t}{\partial x}}+\rho w_{y}{\frac {\partial t}{\partial y}}+\rho w_{z}{\frac {\partial t}{\partial z}}-\rho \right)dx\ dy\ dz,$

if equations (I) are satisfied and the axes form a right-handed system. In the same way, it can be shown that the integral on the left-hand side of (II) is zero, if equations (I) are satisfied.

Conversely, if equations (II) and (III) are satisfied for every closed surface S and for every law $t=t(x,y,z)$, such that $\partial t/\partial x,\ \partial t/\partial y,\ \partial t/\partial z$ are finite and continuous within S and on its surface, then equations (I) are also satisfied, provided, of course, that the quantities $E_{x},\dots ,H_{x,}\dots$ possess derivatives which behave in such a way that an application of Green's theorem is permissible.

It seems natural to regard equations (II) and (III) as the fundamental equations of the theory of electrons, because they do not require the assumptions that the medium is continuous and that vectors E, H can be associated with every point in space;^[10] all that is required is that the quantities $E_{x},\dots ,\rho w_{x,}\dots$ shall be integrable.

It is clear that in the general case the quantities occurring in these equations are evaluated at different points of space at different times. The integrals are thus more general than the usual surface and volume integrals, and seem to be better adapted for purposes of measurement, the difficulty of measuring quantities at different points of space at the same time being avoided.

Equation (III) may be regarded as the definition of the electric charge associated with a system of particles. The triple integral represents the total charge on the particles.^[11] Each particle is supposed to be within the closed surface S at the moment when its charge is evaluated, but since the charges on the particles are evaluated at different times, the particles need not all be within the closed surface at a given time. This explains why the total charge is not

$\int \int \int \rho \ dx\ dy\ dz$

The double integral expresses the total charge as a surface integral, but here again the particles over which the integration extends are not all on the surface at the same time, but at different times.

In the same way equation (II) may be regarded as a general way of expressing the fact that there is no free magnetism.

If Φ is the scalar electromagnetic potential and $\left(A_{x},A_{y},A_{z}\right)$ the components of the electromagnetic vector potential, we have

$E_{x}=-{\frac {\partial \Phi }{\partial x}}-{\frac {\partial A_{x}}{\partial t}},\ H_{x}={\frac {\partial A_{z}}{\partial y}}-{\frac {\partial A_{y}}{\partial z}}.$

These equations are equivalent to the single integral equation

${\begin{array}{l}\int \left(A_{x}dx+A_{y}dy+A_{z}dz-\Phi dt\right)\\\qquad =\iint \left(H_{x}dy\ dz+H_{y}dz\ dx+H_{z}dx\ dy+E_{z}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt\right),\end{array}}$

(IV)

provided a suitable interpretation is given to the integrals.

Take any closed curve C and a surface $\Sigma$ bounded by this curve. Let t be expressed in terms of (x, y, z) by an arbitrary known law; then the line integral may be understood to mean

$\int \left[\left(A_{x}-\Phi {\frac {\partial t}{\partial x}}\right)dx+\left(A_{y}-\Phi {\frac {\partial t}{\partial y}}\right)dy+\left(A_{z}-\Phi {\frac {\partial t}{\partial z}}\right)dz\right],$

and can be transformed into the surface integral by means of Stokes's theorem. Since

${\begin{array}{l}{\frac {d}{dy}}\left(A_{z}-\Phi {\frac {\partial t}{\partial z}}\right)-{\frac {d}{dz}}\left(A_{y}-\Phi {\frac {\partial t}{\partial y}}\right)\\\\\qquad ={\frac {\partial A_{z}}{\partial y}}-{\frac {\partial A_{y}}{\partial z}}+\left({\frac {\partial A_{z}}{\partial t}}+{\frac {\partial \Phi }{\partial z}}\right){\frac {\partial t}{\partial y}}-\left({\frac {\partial A_{y}}{\partial t}}+{\frac {\partial \Phi }{\partial y}}\right){\frac {\partial t}{\partial z}}\\\\\qquad =H_{x}-E_{z}{\frac {\partial t}{\partial y}}+E_{y}{\frac {\partial t}{\partial z}},\end{array}}$

the surface integral which is obtained is

${\begin{array}{ll}\iint \left[\left(H_{x}-E_{z}{\frac {\partial t}{\partial y}}+E_{y}{\frac {\partial t}{\partial z}}\right)dy\ dz\right.&+\left(H_{y}-E_{z}{\frac {\partial t}{\partial z}}+E_{z}{\frac {\partial t}{\partial x}}\right)dz\ dx\\\\&\left.+\left(H_{z}-E_{y}{\frac {\partial t}{\partial x}}+E_{x}{\frac {\partial t}{\partial y}}\right)dx\ dy\right],\end{array}}$

or

$\iint \left(H_{x}dy\ dz+H_{y}dz\ dx+H_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt\right).$

Hence equation (IV) is established.

3. The Group of Point Transformations for which the Integral Equations of the Theory of Electrons are Invariant.

Let us consider a transformation of coordinates from (x, y, z, t) to (x', y', z', t') which is biuniform within a certain domain of values of (x, y, z, t). We shall suppose that the choice of a transformation is limited by the condition that the total charge on a system of particles is invariant. This is expressed analytically by the equation

${\begin{array}{l}\rho w_{x}dy\ dz\ dt+\rho w_{y}dz\ dx\ dt+\rho w_{z}dx\ dy\ dt-\rho dx\ dy\ dz\\\qquad =\rho 'w'_{x}dy'dz'dt'+\rho 'w'_{y}dz'dx'dt'+\rho 'w'_{z}dx'dy'dt'-\rho 'dx'dy'dz',\end{array}}$

(1)

provided the axes form a right-handed system in each case.

If the transformation is such that the integral equations of the theory of electrons are invariant, we must have

${\begin{array}{l}E_{x}dy\ dz+E_{y}dz\ dx+E_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt\\\qquad =E'_{x}dy'\ dz'+E'_{y}dz'\ dx'+E'_{z}dx'\ dy'-H'_{x}dx'\ dt'-H'_{y}dy'\ dt'-H'_{z}dz'\ dt',\end{array}}$ ${\begin{array}{l}H_{x}dy\ dz+H_{y}dz\ dx+H_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt\\\qquad =\theta \left[H'_{x}dy'\ dz'+H'_{y}dz'\ dx'+H'_{z}dx'\ dy'+E'_{x}dx'\ dt'+E'_{y}dy'\ dt'+E'_{z}dz'\ dt'\right],\end{array}}$

(2)

where $\theta$ is a constant.

These relations give two sets of equations connecting the quantities $E_{x},\dots ,H_{x},\dots$ with $E'_{x},\dots ,H'_{x},\dots$ viz.,

${\begin{array}{rl}E_{x}=E'_{x}{\frac {\partial (y',z')}{\partial (y,z)}}+E'_{y}{\frac {\partial (z',x')}{\partial (y,z)}}&+E'_{z}{\frac {\partial (x',y')}{\partial (y,z)}}-H'_{x}{\frac {\partial (x',t')}{\partial (y,z)}}\\\\&-H'_{y}{\frac {\partial (y',t')}{\partial (y,z)}}-H'_{z}{\frac {\partial (z',t')}{\partial (y,z)}}\\\\-H_{x}=E'_{x}{\frac {\partial (y',z')}{\partial (x,t)}}+E'_{y}{\frac {\partial (z',x')}{\partial (x,t)}}&+E'_{z}{\frac {\partial (x',y')}{\partial (x,t)}}-H'_{x}{\frac {\partial (x',t')}{\partial (x,t)}}\\\\&-H'_{y}{\frac {\partial (y',t')}{\partial (x,t)}}-H'_{z}{\frac {\partial (z',t')}{\partial (x,t)}}\end{array}}$ ${\mathsf {and}}\ {\begin{array}{rr}H_{x}=&\theta \left[H'_{x}{\frac {\partial (y',z')}{\partial (y,z)}}+H'_{y}{\frac {\partial (z',x')}{\partial (y,z)}}+H'_{z}{\frac {\partial (x',y')}{\partial (y,z)}}\right.\\\\&\left.+E'_{x}{\frac {\partial (x',t')}{\partial (y,z)}}+E'_{y}{\frac {\partial (y',t')}{\partial (y,z)}}+E'_{z}{\frac {\partial (z',t')}{\partial (y,z)}}\right],\\\\E_{x}=&\theta \left[H'_{x}{\frac {\partial (y',z')}{\partial (x,t)}}+H'_{y}{\frac {\partial (z',x')}{\partial (x,t)}}+H'_{z}{\frac {\partial (x',y')}{\partial (y,t)}}\right.\\\\&\left.+E'_{x}{\frac {\partial (x',t')}{\partial (x,t)}}+E'_{y}{\frac {\partial (y',t')}{\partial (x,t)}}+E'_{z}{\frac {\partial (z',t')}{\partial (x,t)}}\right].\end{array}}$

(3)

In order that these equations may be equivalent to one another^[12] we must have $\theta ^{2}=1$ and eighteen relations of the types

${\frac {\partial (y',z')}{\partial (x,y)}}=\theta {\frac {\partial (x',t')}{\partial (z,t)}}$ ${\frac {\partial (y',z')}{\partial (x,t)}}=-\theta {\frac {\partial (x',t')}{\partial (y,z)}}$

There are clearly nine relations of the first type and nine relations of the second type. We shall now show that when $\theta ^{2}=1$ these relations imply that there is a relation of the form

$dx'^{2}+dy'^{2}+dz'^{2}-dt'^{2}=\lambda ^{2}\left(dx^{2}+dy^{2}+dz^{2}-dt^{2}\right);$

for this purpose we shall require the following lemma.

Lemma. — Let the sixteen quantities

$\left(\alpha _{1}\alpha _{2}\alpha _{3}\alpha _{4}\right),\ \left(\beta _{1}\beta _{2}\beta _{3}\beta _{4}\right),\ \left(\gamma _{1}\gamma _{2}\gamma _{3}\gamma _{4}\right),\ \left(\delta _{1}\delta _{2}\delta _{3}\delta _{4}\right)$

be connected by the eighteen relations of type

$\beta _{2}\gamma _{3}-\beta _{3}\gamma _{2}=\alpha _{1}\delta _{4}-\alpha _{4}\delta _{1},\ \gamma _{2}\alpha _{3}-\gamma _{3}\alpha _{2}=\beta _{1}\delta _{4}-\beta _{4}\delta _{1},$ $\alpha _{2}\beta _{3}-\alpha _{3}\beta _{2}=\gamma _{1}\delta _{4}-\gamma _{4}\delta _{1},$

which imply that conjugate minors of the determinant $\left[\alpha _{1}\beta _{2}\gamma _{3}\delta _{4}\right]$ are equal. The identity

$\alpha _{1}\left(\alpha _{2}\beta _{3}-\alpha _{3}\beta _{2}\right)+\alpha _{2}\left(\alpha _{3}\beta _{1}-\alpha _{1}\beta _{3}\right)+\alpha _{3}\left(\alpha _{1}\beta _{2}-\alpha _{2}\beta _{1}\right)=0$

then gives

$\alpha _{1}\left(\gamma _{1}\delta _{4}-\gamma _{4}\delta _{1}\right)+\alpha _{2}\left(\gamma _{2}\delta _{4}-\gamma _{4}\delta _{2}\right)+\alpha _{3}\left(\gamma _{3}\delta _{4}-\gamma _{4}\delta _{3}\right)=0$

or

$\delta _{4}\left(\alpha _{1}\gamma _{1}+\alpha _{2}\gamma _{2}+\alpha _{3}\gamma _{3}+\alpha _{4}\gamma _{4}\right)=\gamma _{4}\left(\alpha _{1}\delta _{1}+\alpha _{2}\delta _{2}+\alpha _{3}\delta _{3}+\alpha _{4}\delta _{4}\right).$

Introducing the notation

$(\alpha \gamma )\equiv \alpha _{1}\gamma _{1}+\alpha _{2}\gamma _{2}+\alpha _{3}\gamma _{3}+\alpha _{4}\gamma _{4},$

we may obtain in the above way the equations

${\begin{array}{ccc}\delta _{1}(\alpha \gamma )=\gamma _{1}(\alpha \delta ),&&\delta _{3}(\alpha \gamma )=\gamma _{3}(\alpha \delta ),\\\\\delta _{2}(\alpha \gamma )=\gamma _{2}(\alpha \delta ),&&\delta _{4}(\alpha \gamma )=\gamma _{4}(\alpha \delta ),\\\\\delta _{1}(\beta \gamma )=\gamma _{1}(\beta \delta ),&&\delta _{3}(\beta \gamma )=\gamma _{3}(\beta \delta ),\\\\\delta _{2}(\beta \gamma )=\gamma _{2}(\beta \delta ),&&\delta _{4}(\beta \gamma )=\gamma _{4}(\beta \delta ).\end{array}}$

Hence, either

$(\alpha \gamma )=(\alpha \delta )=(\beta \gamma )=(\beta \delta )=0$

or all the quantities of type $\gamma _{1}\delta _{2}-\gamma _{2}\delta _{1}$ are zero. In the same way we can prove that either

$(\alpha \beta )=(\alpha \delta )=(\gamma \beta )=(\gamma \delta )=0$

or all the quantities of type $\beta _{1}\delta _{2}-\beta _{2}\delta _{1}$ are zero, and that either

$(\beta \alpha )=(\beta \delta )=(\gamma \alpha )=(\gamma \delta )=0$

or all the quantities of type $\alpha _{1}\delta _{2}-\alpha _{2}\delta _{1}$ are zero. It follows from this that either (1) the six quantities (αβ) are zero or (2) that the thirty-six quantities $\left(\alpha _{1}\delta _{2}-\alpha _{2}\delta _{1}\right),\ \left(\beta _{1}\delta _{2}-\beta _{2}\delta _{1}\right),\ \left(\gamma _{1}\delta _{2}-\gamma _{2}\delta _{1}\right),\ \dots$ are all zero or (3) that there is a set of relations

$(\alpha \gamma )=(\alpha \delta )=(\beta \gamma )=(\beta \delta )=0$ ${\frac {\beta _{1}}{\delta _{1}}}={\frac {\beta _{2}}{\delta _{2}}}={\frac {\beta _{3}}{\delta _{3}}}={\frac {\beta _{4}}{\delta _{4}}},\ {\frac {\alpha _{1}}{\delta _{1}}}={\frac {\alpha _{2}}{\delta _{2}}}={\frac {\alpha _{3}}{\delta _{3}}}={\frac {\alpha _{4}}{\delta _{4}}}.$

It is easy to see, however, that in the latter case we also have

$(\gamma \delta )=(\alpha \beta )=0.$

Hence, in all cases,

$(\alpha \gamma )=(\alpha \beta )=(\alpha \delta )=(\beta \gamma )=(\beta \delta )=(\gamma \delta )=0.$

Again, we have

$\left|{\begin{array}{ccc}\alpha _{1}&\beta _{1}&\gamma _{1}\\\alpha _{2}&\beta _{2}&\gamma _{2}\\\alpha _{3}&\beta _{3}&\gamma _{3}\end{array}}\right|{\begin{array}{l}=\alpha _{1}\left(\alpha _{1}\delta _{4}-\alpha _{4}\delta _{1}\right)+\alpha _{2}\left(\alpha _{2}\delta _{4}-\alpha _{4}\delta _{2}\right)+\alpha _{3}\left(\alpha _{3}\delta _{4}-\alpha _{4}\delta _{3}\right)\\=\delta _{4}\left(\alpha _{1}^{2}+\alpha _{2}^{2}+\alpha _{3}^{2}+\alpha _{4}^{2}\right)-\alpha _{4}\left(\alpha _{1}\delta _{1}+\alpha _{2}\delta _{2}+\alpha _{3}\delta _{3}+\alpha _{4}\delta _{4}\right);\end{array}}$

hence, since the last term is zero,

$\left|{\begin{array}{ccc}\alpha _{1}&\beta _{1}&\gamma _{1}\\\alpha _{2}&\beta _{2}&\gamma _{2}\\\alpha _{3}&\beta _{3}&\gamma _{3}\end{array}}\right|{\begin{array}{l}=\delta _{4}\left(\alpha _{1}^{2}+\alpha _{2}^{2}+\alpha _{3}^{2}+\alpha _{4}^{2}\right).\end{array}}$

This gives

${\begin{array}{l}\left(\alpha _{1}^{2}+\alpha _{2}^{2}+\alpha _{3}^{2}+\alpha _{4}^{2}\right)\left(\delta _{1}^{2}+\delta _{2}^{2}+\delta _{3}^{2}+\delta _{4}^{2}\right)=\end{array}}\left|{\begin{array}{cccc}\alpha _{1}&\beta _{1}&\gamma _{1}&\delta _{1}\\\alpha _{2}&\beta _{2}&\gamma _{2}&\delta _{2}\\\alpha _{3}&\beta _{3}&\gamma _{3}&\delta _{3}\\\alpha _{4}&\beta _{4}&\gamma _{4}&\delta _{4}\end{array}}\right|{\begin{array}{l}=\lambda ^{4},\end{array}}$

say, and there are similar equations in $\alpha ,\beta ,\alpha \gamma ,\beta \gamma ,\beta \delta ,\gamma \delta .$. It follows that

${\begin{array}{cl}\alpha _{1}^{2}+\alpha _{2}^{2}+\alpha _{3}^{2}+\alpha _{4}^{2}&=\beta _{1}^{2}+\beta _{2}^{2}+\beta _{3}^{2}+\beta _{4}^{2}\\&=\gamma _{1}^{2}+\gamma _{2}^{2}+\gamma _{3}^{2}+\gamma _{4}^{2}=\delta _{1}^{2}+\delta _{2}^{2}+\delta _{3}^{2}+\delta _{4}^{2}=\pm \lambda ^{2}\end{array}}$

These conditions, combined with the previous set, imply that the sixteen quantities $\alpha _{1},\beta _{2},\dots$ are the elements of an orthogonal matrix.

If the signs of the α's are all changed, the relations take the form

$\beta _{2}\gamma _{3}-\beta _{3}\gamma _{2}=-\left(\alpha _{1}\delta _{4}-\alpha _{4}\delta _{1}\right),$

but the final result is unaltered; hence a set of relations of this type also imply that the quantities α are the elements of an orthogonal matrix.

Taking the quantities $\alpha ,\beta ,\dots$ to be the elements of the matrix

$\left|{\begin{array}{ccccccc}{\frac {\partial x'}{\partial x}}&&{\frac {\partial x'}{\partial y}}&&{\frac {\partial x'}{\partial z}}&&{\frac {\partial x'}{i\partial t}}\\\\{\frac {\partial y'}{\partial x}}&&{\frac {\partial y'}{\partial y}}&&{\frac {\partial y'}{\partial z}}&&{\frac {\partial y'}{i\partial t}}\\\\{\frac {\partial z'}{\partial x}}&&{\frac {\partial z'}{\partial y}}&&{\frac {\partial z'}{\partial z}}&&{\frac {\partial z'}{i\partial t}}\\\\i{\frac {\partial t'}{\partial x}}&&i{\frac {\partial t'}{\partial y}}&&i{\frac {\partial t'}{\partial z}}&&{\frac {\partial t'}{\partial t}}\end{array}}\right|$

we have the result that, if eighteen relations of the type

${\frac {\partial (y',z')}{\partial (x,y)}}={\frac {\partial (x',t')}{\partial (z,t)}},\ {\frac {\partial (y',z')}{\partial (x,t)}}=-{\frac {\partial (x',t')}{\partial (y,z)}}$

or of the type

${\frac {\partial (y',z')}{\partial (x,y)}}=-{\frac {\partial (x',t')}{\partial (z,t)}},\ {\frac {\partial (y',z')}{\partial (x,t)}}={\frac {\partial (x',t')}{\partial (y,z)}}$

are satisfied, then the matrix is an orthogonal one, and this implies that

$dx'^{2}+dy'^{2}+dz'^{2}-dt'^{2}=\lambda ^{2}\left[dx^{2}+dy^{2}+dz^{2}-dt^{2}\right];$

in other words, that the differential equation

$(dx)^{2}+(dy)^{2}+(dz)^{2}-(dt)^{2}=0$

is an invariant. The converse is also true, and may be easily verified.

This differential equation expresses the condition that two neighbouring particles should be in a position to act on one another; it also indicates that an elementary wave starting from a given point will have the form of a sphere. For this reason we shall call a transformation which leaves the differential equation invariant, a spherical wave transformation. Our analysis shows that a transformation which leaves the integral equations of the theory of electrons invariant is necessarily a spherical wave transformation. We must next inquire whether all spherical wave transformations are relevant for our purpose. If we call t' the local time, we must exclude transformations which make the local time run backwards as t increases. Hence, in order that a transformation may be relevant, the condition

${\frac {\partial t'}{\partial t}}>0$

must be satisfied.

Secondly, we must exclude transformations in which the axes are changed from a right-handed system to a left-handed system, for then equation (1) would imply a change from positive electricity to negative electricity. Such a transformation, however, becomes relevant when equation (1) is replaced by

$\rho w_{x}dy\ dz\ dt+\rho w_{y}dz\ dx\ dt+\rho w_{z}dx\ dy\ dt-\rho dx\ dy\ dz$ $=-\rho 'w'_{x}dy'dz'dt'-\rho 'w'_{y}dz'dx'dt'-\rho 'w'_{z}dx'dy'dt'+\rho 'dx'dy'dz',$

(1)'

equation (2) by

$E_{x}dy\ dz+E_{y}dz\ dx+E_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt$ $=-E'_{x}dy'dz'-E'_{y}dz'dx'-E'_{z}dx'\ dy'-H'_{x}dx'dt'-H'_{y}dy'dt'-H'_{z}dz'dt',$

(2)'

and equation (3) by

$H_{x}dy\ dz+H_{y}dz\ dx+H_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt$ $=\theta \left[-H'_{x}dy'dz'-H'_{y}dz'dx'-H'_{z}dx'dy'+E'_{x}dx'dt'+E'_{y}dy'dt'+E'_{z}dz'dt'\right].$

(3)'

These relations also imply that the transformation is a spherical wave transformation, and so a transformation which changes a right-handed system of axes into a left-handed system is relevant, but the formulae of transformation of the components of the electric and magnetic force are not the same as before. The sign of θ will be determined later by the condition that a right-handed set of axes is transformed into a lefthanded set. If

${\frac {\partial (x',y',z')}{\partial (x,y,z)}}>0,$

corresponding sets of axes are both right-handed or both left-handed. If, on the other hand,

${\frac {\partial (x',y',z')}{\partial (x,y,z)}}<0,$

the axes are right-handed in one system and left-handed in the other.

It is easy to establish a relation between the two quantities

${\frac {\partial t'}{\partial t}}$ and ${\frac {\partial (x',y',z')}{\partial (x,y,z)}}.$

Since

${\frac {\partial (y',z')}{\partial (y,z)}}=\theta {\frac {\partial (x',t')}{\partial (x,t)}},\ {\frac {\partial (z',x')}{\partial (y,z)}}=\theta {\frac {\partial (y',t')}{\partial (x,t)}},$ ${\frac {\partial (x',y')}{\partial (y,z)}}=\theta {\frac {\partial (z',t')}{\partial (x,t)}},$

we have

${\begin{array}{ll}{\frac {\partial (x',y',z')}{\partial (x,y,z)}}=&\theta \left[{\frac {\partial t'}{\partial t}}\left\{\left({\frac {\partial x'}{\partial x}}\right)^{2}+\left({\frac {\partial y'}{\partial x}}\right)^{2}+\left({\frac {\partial z'}{\partial x}}\right)^{2}-\left({\frac {\partial t'}{\partial x}}\right)^{2}\right\}\right.\\\\&\qquad \left.-{\frac {\partial x'}{\partial x}}\left\{{\frac {\partial x'}{\partial x}}{\frac {\partial x'}{\partial t}}+{\frac {\partial y'}{\partial x}}{\frac {\partial y'}{\partial t}}+{\frac {\partial z'}{\partial x}}{\frac {\partial z'}{\partial t}}-{\frac {\partial t'}{\partial x}}{\frac {\partial t'}{\partial t}}\right\}\right]\end{array}}$

or

${\frac {\partial (x',y',z')}{\partial (x,y,z)}}=\theta {\frac {\partial t'}{\partial t}}\left[\left({\frac {\partial x'}{\partial x}}\right)^{2}+\left({\frac {\partial y'}{\partial x}}\right)^{2}+\left({\frac {\partial z'}{\partial x}}\right)^{2}-\left({\frac {\partial t'}{\partial x}}\right)^{2}\right].$

(A)

We also have

${\begin{array}{ll}{\frac {\partial (x',y',z',t')}{\partial (x,y,z,t)}}&={\frac {\partial (y',z')}{\partial (y,z)}}{\frac {\partial (x',t')}{\partial (x,t)}}+{\frac {\partial (z',x')}{\partial (y,z)}}{\frac {\partial (y',t')}{\partial (x,t)}}+\dots \\\\&=\theta \left[\left\{{\frac {\partial (x',t')}{\partial (x,t)}}\right\}^{2}+\left\{{\frac {\partial (y',t')}{\partial (x,t)}}\right\}^{2}+\dots -\left\{{\frac {\partial (y',z')}{\partial (x,t)}}\right\}^{2}-\dots \right]\\\\&=-\theta \left[\left({\frac {\partial x'}{\partial x}}\right)^{2}+\left({\frac {\partial y'}{\partial x}}\right)^{2}+\left({\frac {\partial z'}{\partial x}}\right)^{2}-\left({\frac {\partial t'}{\partial x}}\right)^{2}\right]\\\\&\qquad \times \left\{\left({\frac {\partial x'}{\partial t}}\right)^{2}+\left({\frac {\partial y'}{\partial t}}\right)^{2}+\left({\frac {\partial z'}{\partial t}}\right)^{2}-\left({\frac {\partial t'}{\partial t}}\right)^{2}\right\}\\\\&\qquad -\left\{{\frac {\partial x'}{\partial x}}{\frac {\partial x'}{\partial t}}+{\frac {\partial y'}{\partial x}}{\frac {\partial y'}{\partial t}}+{\frac {\partial z'}{\partial x}}{\frac {\partial z'}{\partial t}}-{\frac {\partial t'}{\partial x}}{\frac {\partial t'}{\partial t}}\right\}\end{array}}$

Therefore

${\begin{array}{ll}{\frac {\partial (x',y',z',t')}{\partial (x,y,z,t)}}=&-\theta \left[\left({\frac {\partial x'}{\partial x}}\right)^{2}+\left({\frac {\partial y'}{\partial x}}\right)^{2}+\left({\frac {\partial z'}{\partial x}}\right)^{2}-\left({\frac {\partial t'}{\partial x}}\right)^{2}\right]\\\\&\qquad \times \left[\left({\frac {\partial x'}{\partial t}}\right)^{2}+\left({\frac {\partial y'}{\partial t}}\right)^{2}+\left({\frac {\partial z'}{\partial t}}\right)^{2}-\left({\frac {\partial t'}{\partial t}}\right)^{2}\right]\end{array}}$

This gives us the relation^[13]

$-{\frac {\partial (x',y',z')}{\partial (x,y,z)}}\left[\left({\frac {\partial x'}{\partial t}}\right)^{2}+\left({\frac {\partial y'}{\partial t}}\right)^{2}+\left({\frac {\partial z'}{\partial t}}\right)^{2}-\left({\frac {\partial t'}{\partial t}}\right)^{2}\right]={\frac {\partial t'}{\partial t}}{\frac {\partial (x',y',z',t')}{\partial (x,y,z,t)}},$

(B)

which holds for any spherical wave transformation.

We shall now introduce the further restriction that the inequality

$(dx')^{2}+(dy')^{2}+(dz')^{2}<(dt')^{2}$

is a consequence of

$(dx)^{2}+(dy)^{2}+(dz)^{2}<(dt)^{2}$

This means that, if a particle is moving with a velocity less than that of light in one system of coordinates, it is also moving with a velocity less than that of light in the transformed system.

Putting

$(dx')^{2}+(dy')^{2}+(dz')^{2}-(dt')^{2}=\lambda ^{2}\left[(dx)^{2}+(dy)^{2}+(dz)^{2}-(dt)^{2}\right]$

we see that λ² is positive, and therefore

$\left({\frac {\partial x'}{\partial t}}\right)^{2}+\left({\frac {\partial y'}{\partial t}}\right)^{2}+\left({\frac {\partial z'}{\partial t}}\right)^{2}-\left({\frac {\partial t'}{\partial t}}\right)^{2}$

is negative. This shows that ${\frac {\partial (x',y',z')}{\partial (x,y,z)}}$ and ${\frac {\partial t'}{\partial t}}{\frac {\partial (x',y',z',t')}{\partial (x,y,z,t)}}$ must have the same sign. Hence, if ${\frac {\partial t'}{\partial t}}$ is positive, ${\frac {\partial (x',y',z')}{\partial (x,y,z)}}$ must have the same sign as the Jacobian. Accordingly, a transformation which changes a right-handed system of axes into a right-handed system must have a positive Jacobian; a transformation which changes a right-handed system of axes into a left-handed system must have a negative Jacobian.

The sign of θ may now be determined from equation (A). Since

$\left({\frac {\partial x'}{\partial x}}\right)^{2}+\left({\frac {\partial y'}{\partial x}}\right)^{2}+\left({\frac {\partial z'}{\partial x}}\right)^{2}-\left({\frac {\partial t'}{\partial x}}\right)^{2}=\lambda ^{2}$

it is necessarily positive. Consequently θ must have the same sign as ${\frac {\partial (x',y',z')}{\partial (x,y,z)}},$ and therefore the same sign as the Jacobian.

We can now obtain the formulae of transformation in the two possible cases.

(i) When the Jacobian is positive,$\theta =+1$, and the formulae of transformation are

${\begin{array}{rl}E_{x}=&E'_{x}{\frac {\partial (y',z')}{\partial (y,z)}}+E'_{y}{\frac {\partial (z',x')}{\partial (y,z)}}+E'_{z}{\frac {\partial (x',y')}{\partial (y,z)}}\\\\&\qquad -H'_{x}{\frac {\partial (x',t')}{\partial (y,z)}}-H'_{y}{\frac {\partial (y',t')}{\partial (y,z)}}-H'_{z}{\frac {\partial (z',t')}{\partial (y,z)}}\\\\-H_{x}=&E'_{x}{\frac {\partial (y',z')}{\partial (x,t)}}+E'_{y}{\frac {\partial (z',x')}{\partial (x,t)}}+E'_{z}{\frac {\partial (x',y')}{\partial (x,t)}}\\\\&\qquad -H'_{x}{\frac {\partial (x',t')}{\partial (x,t)}}-H'_{y}{\frac {\partial (y',t')}{\partial (x,t)}}-H'_{z}{\frac {\partial (z',t')}{\partial (x,t)}}\\\\\rho w_{x}=&\rho 'w'_{x}{\frac {\partial (y',z',t')}{\partial (y,z,t)}}+\rho 'w'_{y}{\frac {\partial (z',x',t')}{\partial (y,z,t)}}+\rho 'w'_{z}{\frac {\partial (x',y',t')}{\partial (y,z,t)}}-\rho '{\frac {\partial (x',y',z')}{\partial (y,z,t)}},\\\\-\rho =&\rho 'w'_{x}{\frac {\partial (y',z',t')}{\partial (x,y,z)}}+\rho 'w'_{y}{\frac {\partial (z',x',t')}{\partial (x,y,z)}}+\rho 'w'_{z}{\frac {\partial (x',y',t')}{\partial (x,y,z)}}-\rho '{\frac {\partial (x',y',z')}{\partial (x,y,z)}}.\end{array}}$

These equations may be simplified by using the relations of type

${\frac {\partial (y',z',t')}{\partial (y,z,t)}}=\theta {\frac {\partial x'}{\partial t}}\lambda ^{2},$

which are proved in the same way as (A), the quantity λ² being defined by equation (C).

The new equations are

$\rho w_{x}=\lambda ^{2}\left[\rho 'w'_{x}{\frac {\partial x'}{\partial x}}+\rho 'w'_{y}{\frac {\partial y'}{\partial x}}+\rho 'w'_{z}{\frac {\partial z'}{\partial x}}-\rho '{\frac {\partial t'}{\partial x}}\right]$ $-\rho =\lambda ^{2}\left[\rho 'w'_{x}{\frac {\partial x'}{\partial t}}+\rho 'w'_{y}{\frac {\partial y'}{\partial t}}+\rho 'w'_{z}{\frac {\partial z'}{\partial t}}-\rho '{\frac {\partial t'}{\partial t}}\right],$

and these imply that

$\rho w_{x}dx+\rho w_{y}dy+\rho w_{z}dz-\rho dt=\lambda ^{2}\left[\rho 'w'_{x}dx'+\rho 'w'_{y}dy'+\rho 'w'_{z}dz'-\rho 'dt'\right]$

The formulae connecting the electromagnetic potentials are obtained by putting

$A_{x}dx+A_{y}dy+A_{z}dz-\Phi dt=\theta \left[A'_{x}dx'+A'_{y}dy'+A'_{z}dz'-\Phi 'dt'\right].$

Since $\theta =+1$, they are

${\begin{array}{rl}A_{x}=&A'_{x}{\frac {\partial x'}{\partial x}}+A'_{y}{\frac {\partial y'}{\partial x}}+A'_{z}{\frac {\partial z'}{\partial x}}-\Phi '{\frac {\partial t'}{\partial x}},\\\\-\Phi =&A'_{x}{\frac {\partial x'}{\partial t}}+A'_{y}{\frac {\partial y'}{\partial t}}+A'_{z}{\frac {\partial z'}{\partial t}}-\Phi '{\frac {\partial t'}{\partial t}}.\end{array}}$

(ii) When the Jacobian is negative and $\partial t'/\partial t>0$, the axes are righthanded in the original system and left-handed in the system specified by the dashed letters. To obtain the correct formulae of transformation we must change the sign of H' in equations (2) and (8) and put $\theta =-1$. There is also a doubt about the sign in the equation

${\begin{array}{l}\rho w_{x}dy\ dz\ dt+\rho w_{y}dz\ dx\ dt+\rho w_{z}dx\ dy\ dt-\rho dx\ dy\ dz\\\qquad =\pm \left(\rho 'w'_{x}dy'\ dz'\ dt'-\rho 'w'_{y}dz'\ dx'\ dt'-\rho 'w'_{z}dx'\ dy'\ dt'+\rho 'dx'\ dy'\ dz'\right),\end{array}}$

the sign depending upon whether positive electricity is transformed into negative electricity or positive electricity. If the negative sign be taken there must be a corresponding alteration in equation (3).

4. Spherical Wave Transformations and the Group of Conformal Transformations of a Space of Four Dimensions.

The group of spherical wave transformations may be reduced to a known group by putting t = is. The quadratic form which remains invariant is then of the type

$\lambda ^{2}\left(dx^{2}+dy^{2}+dz^{2}+ds^{2}\right),$

and so the transformation is a conformal one.

The group of conformal transformations in a space of four dimensions has been studied by Sophus Lie,^[14] who has shown that it is composed of reflexions, translations, rotations, magnifications, and inversions.^[15] The transformations which are of importance in the present case are the imaginary ones, and it should be noticed that by a combination of two imaginary inversions we can obtain a transformation of the type

$x'={\frac {kx}{z+is}},\ y'={\frac {ky}{z+is}},\ z'=k{\frac {x^{2}+y^{2}+z^{2}+s^{2}-a^{2}}{2a(z+is)}},$ $s'=k{\frac {x^{2}+y^{2}+z^{2}+s^{2}+a^{2}}{2ia(z+is)}},$

which is quite different from an inversion or simple displacement. This corresponds to the real spherical wave transformation^[16]

$x'={\frac {kx}{z-t}},\ y'={\frac {ky}{z-t}},\ z'=k{\frac {x^{2}+y^{2}+z^{2}-a^{2}-t^{2}}{2a(z-t)}},$ $-t'=k{\frac {x^{2}+y^{2}+z^{2}+a^{2}-t^{2}}{2a(z-t)}}.$

An imaginary rotation in the four-dimensional space may be specified, in a particular case, by the equations

${\begin{array}{lrcc}x'=&x\ \cos iw+s\ \sin iw,&&y'=y,\\\\s'=&-x\ \sin iw+s\ \cos iw,&&z'=z.\end{array}}$

Putting

$\tanh w=v,$

we obtain Lorentz's transformation

$x'={\frac {x+vt}{\sqrt {1-v^{2}}}},\ y'=y,\ z'=z,\ t'={\frac {t+vx}{\sqrt {1-v^{2}}}}.$

The formulae of transformation of the electric and magnetic vectors are obtained at once from the general formulae; they are

${\begin{array}{rlcrl}A_{x}=&\beta (A'_{x}-v\Phi '),&&-\Phi =&\beta (vA'_{x}-\Phi '),\\\\A_{y}=&A'_{y},&&A_{z}=&A'_{z},\\\\E_{x}=&E'_{x},&&H_{x}=&H'_{x},\\\\E_{y}=&\beta \left(E'_{y}-vH'_{z}\right),&&H_{y}=&\beta \left(H'_{y}-vE'_{z}\right),\\\\E_{z}=&\beta \left(E'_{z}-vH'_{y}\right),&&H_{z}=&\beta \left(H'_{z}-vE'_{y}\right),\end{array}}$ $\rho w_{x}=\beta (\rho 'w'-v\rho '),\ pw_{y}=\rho 'w'_{y},\ pw_{z}=\rho 'w'_{z},$ $-\rho =\beta (v\rho 'w'_{x}-\rho ')$ where $\beta ={\frac {1}{\sqrt {1-v^{2}}}}$

These agree with the formulae of Einstein, Lorentz's formulae for the convection currents being slightly different.

In the case of an inversion with regard to a hypersphere whose centre is at the origin, and whose radius is a real quantity k, the formulas of transformation are

$x'={\frac {k^{2}x}{x^{2}+y^{2}+z^{2}+s^{2}}},\ y'={\frac {k^{2}y}{x^{2}+y^{2}+z^{2}+s^{2}}},\ z'={\frac {k^{2}z}{x^{2}+y^{2}+z^{2}+s^{2}}}$ $s'={\frac {k^{2}s}{x^{2}+y^{2}+z^{2}+s^{2}}}$

Putting $s=it,\ x^{2}+y^{2}+z^{2}=r^{2}$, we get the real spherical wave transformation

$x'={\frac {k^{2}x}{r^{2}-t^{2}}},\ y'={\frac {k^{2}y}{r^{2}-t^{2}}},\ z'={\frac {k^{2}z}{r^{2}-t^{2}}},\ t'={\frac {k^{2}t}{r^{2}-t^{2}}}.$

This transformation has a negative Jacobian; the formulae for transforming the components of the electric and magnetic force have been obtained by E. Cunningham.^[17]

It should be noticed that

${\frac {dt'}{dt}}={\frac {r^{2}+t^{2}}{\left(r^{2}-t^{2}\right)^{2}}},$

and is positive; hence t' increases as t increases, if (x, y, z) are kept constant.

The transformation which corresponds to a reflexion in the four-dimensional space is also of considerable interest. In the particular case when the reflecting space passes through the plane x = 0, s = 0, the reflexion may be replaced by a rotation round the plane x = 0, s = 0, and a reflexion in the space x = 0. The corresponding transformation is thus made up out of a transformation of Lorentz

$x'={\frac {x-vt}{\sqrt {1-v^{2}}}},\ y'=y,\ z'=z,\ t'={\frac {t-vx}{\sqrt {1-v^{2}}}}.$

and a change in the sign of x'. Putting

${\frac {v}{\sqrt {1-v^{2}}}}={\frac {2u}{1-u^{2}}},\ {\frac {1}{\sqrt {1-v^{2}}}}={\frac {1+u^{2}}{1-u^{2}}},$

and changing the sign of x', we get

${\begin{array}{l}x'=-{\frac {1+u^{2}}{1-u^{2}}}x+{\frac {2u}{1-u^{2}}}t,\\\\y'=y,\\\\z'=z\\\\t'={\frac {1+u^{2}}{1-u^{2}}}t-{\frac {2u}{1-u^{2}}}x.\end{array}}$

The quantity u is introduced because the angle of rotation in the four-dimensional space is twice the angle between the reflecting space and the space x = 0. Its geometrical meaning in the case of the spherical wave transformation is indicated by the equation

$x'-ut'=-(x-ut)$

which implies that a plane moving with the constant velocity u is transformed into itself. Further, when x = ut, we have

$x'=x,\ y'=y,\ z'=z,\ t'=t;$

hence every point of the plane is transformed into itself.^[18]

The formulae of transformation of the electromagnetic vectors are found from the first set of equations for a transformation with negative Jacobian.

The general infinitesimal spherical wave transformation is

$x'=x+\epsilon \left[p\left(x^{2}-y^{2}-z^{2}+t^{2}\right)+2qxy+2rxz+2sxt+\mu x+hy+gz+lt+a\right],$ $y'=y+\epsilon \left[q\left(x^{2}-y^{2}-z^{2}+t^{2}\right)+2pxy+2ryz+2syt-hx+\mu y+fz+mt+b\right],$ $z'=z+\epsilon \left[r\left(z^{2}-x^{2}-y^{2}+t^{2}\right)+2pxz+2qyz+2szt-gx-fy+\mu z+nt+c\right],$ $t'=t+\epsilon \left[s\left(x^{2}+y^{2}+z^{2}+t^{2}\right)+2qxt+2qyt+2rzt+lx+my+nz+\mu t+d\right],$

where the coefficients are all constants, and ε is a quantity whose square may be neglected. Since there are fifteen arbitrary constants the group is a fifteen parameter group.

We have

${\frac {\partial x'}{\partial x}}={\frac {\partial y'}{\partial y}}={\frac {\partial z'}{\partial z}}={\frac {\partial t'}{\partial t}}=1+\epsilon [\mu +2px+2qy+2rx+2st]=\lambda ,$ $dt'^{2}-dx'^{2}-dy'^{2}-dz'^{2}=\lambda ^{2}\left[dt^{2}-dx^{2}-dy^{2}-dz^{2}\right].$

If (x, y, z) is kept constant as t varies, the corresponding point (x', y', z') moves along a parabola, but in one type of transformation it moves along a straight line with constant acceleration. This is the case, for example, when

${\begin{array}{lll}x'=x+\epsilon \left(y^{2}+z^{2}-x^{2}-t^{2}\right),&&y'=y(1-2\epsilon x),\\\\z'=z(1-2\epsilon x),&&t'=t(1-2\epsilon x),\end{array}}$

for, since quantities of order ε² may be neglected, the first equation may be written

$x'=x+\epsilon \left(y^{2}+z^{2}-x^{2}-t^{2}\right)$

Hence, if (x, y, z) are kept constant, the point (x', y', z') moves with constant acceleration γ given by

$\gamma =-2\epsilon .$

Substituting for γ, we get

${\begin{array}{lll}x'=x-{\frac {1}{2}}\gamma \left(y^{2}+z^{2}-x^{2}-t^{2}\right),&&y'=y(1+\gamma x),\\\\z'=z(1+\gamma x),&&t'=t(1+\gamma x).\end{array}}$

The last equation agrees with the one obtained by Einstein.^[19]

In the case of the general infinitesimal transformation, the expression

$(x'-x)^{2}+(y'-y)^{2}+(z'-z)^{2}-(t'-t)^{2},$

is of order ε², but there is one type of transformation in which it is of order ε³ at least. The formulae of transformation are then

$x'=x+\epsilon \left[2x(lx+my+nz-t)-l\left(x^{2}+y^{2}+z^{2}-t^{2}\right)\right],$ $y'=y+\epsilon \left[2y(lx+my+nz-t)-m\left(x^{2}+y^{2}+z^{2}-t^{2}\right)\right],$ $z'=z+\epsilon \left[2z(lx+my+nz-t)-n\left(x^{2}+y^{2}+z^{2}-t^{2}\right)\right],$ $t'=t+\epsilon \left[2t(lx+my+nz-t)-\left(x^{2}+y^{2}+z^{2}-t^{2}\right)\right],$

where

$l^{2}+m^{2}+n^{2}=1,$

and signify that (x', y', z'), (x, y, z) are successive positions of a particle which is moving with the velocity of light.

Real spherical wave transformations may be obtained geometrically in the following way. Let the space time point (x, y, z, t) be represented by a sphere of radius t having its centre at the point (x, y, z). Then, if we apply a real conformal transformation of space to these representative spheres, the new set of spheres may be taken as the representative spheres of a new set of space time points (x', y', z', t'). These are connected with the original set by a system of equations which define a spherical wave transformation. This theorem has already been established in the case of an inversion,^[20] and since any real conformal transformation of space can be built up from inversions, it follows that the general transformation obtained in the above way is a spherical wave transformation.

It should be noticed that the general spherical wave transformation cannot be obtained in this way, because t' = 0 always corresponds to t = 0. If, however, we combine these transformations with the real spherical wave transformation obtained by increasing or decreasing the radii of all the representative spheres by the same amount, it is possible to obtain any spherical wave transformation by a suitable combination. The proof of this will be left to the reader.

When we use the representative spheres the differential equation

$(dx)^{2}+(dy)^{2}+(dz)^{2}-(dt)^{2}=0$

admits of a very simple interpretation, as it implies that the two consecutive representative spheres specified by (x, y, z, t) and (x+dx, y+dy, z+dz, t+dt) touch one another internally.

5. The Transformation of Integral Forms.

The general theory of the transformation of physical problems by means of a change of coordinates can be developed in a convenient manner by studying a number of integral forms, examining the way in which they are related to one another, and obtaining the formulae by means of which they can be transformed.^[21]

We shall commence by studying the simple case of a transformation in two variables from (x, y) to (x', y'). Suppose that

$a\ dx+b\ dy=a'dx'+b'dy',$

(1)

$A\ dx+B\ dy=A'dx'+B'dy',$

(2)

then

$a=a'{\frac {\partial x'}{\partial x}}+b'{\frac {\partial y'}{\partial x}},\ b=a'{\frac {\partial x'}{\partial y}}+b'{\frac {\partial y'}{\partial y}}$ $A=A'{\frac {\partial x'}{\partial x}}+B'{\frac {\partial y'}{\partial x}},\ B=A'{\frac {\partial x'}{\partial y}}+B'{\frac {\partial y'}{\partial y}},$

and it is easy to see that

$aB-Ab=(a'B'-A'b'){\frac {\partial (x',y')}{\partial (x,y)}}.$

This implies that

$(aB-Ab)dx\ dy=(a'B'-A'b')dx'dy'$

(3)

Now this relation can be obtained from the previous pair by the process of multiplication used in Grassmann's calculus of extension.^[22] In this calculus, the sign of a product depends on the order of the terms; thus

$dx\ dy=-dy\ dx$ and $dx\ dx=0$

This rule can also be applied to the case in which the quantities a and b are differential operators; thus, if

$a={\frac {\partial }{\partial x}},\ b={\frac {\partial }{\partial y}},\ a'={\frac {\partial }{\partial x'}},\ b'={\frac {\partial }{\partial y'}}$ $\left({\frac {\partial B}{\partial x}}-{\frac {\partial A}{\partial y}}\right)dx\ dy=\left({\frac {\partial B'}{\partial x'}}-{\frac {\partial A'}{\partial y'}}\right)dx'dy',$

(4)

a relation which may be obtained directly by means of Green's theorem. Next, suppose that the formula of transformation of a quadratic differential form is known, e.g.,

$E\ dx^{2}+2F\ dx\ dy+G\ dy^{2}=E'dx'^{2}+2F'dx'dy'+G'dy'^{2};$

(5)

then taking two independent differentials dx, dy, δx, δy, and writing $dx+\lambda \delta x,\ dy+\lambda \delta y,\dots$ in place of dx, dy, we get the formula of transformation of the bilinear form

${\begin{array}{l}E\ dx\ \delta x+F(dx\ \delta y+dy\ \delta x)+G\ dy\ \delta y\\\qquad =E'dx'\delta x'+F'(dx'\delta y'+dy'\delta x')+G'dy'\delta y'.\end{array}}$

(6)

We may multiply this equation by itself, multiplying both sets of differentials according to Grassmann's rule. The resulting equation is

$\left(EG-F^{2}\right)dx\ dy\ \delta x\ \delta y=\left(E'G'-F'^{2}\right)dx'dy'\delta x'\delta y'.$

This gives

${\sqrt {EG-F^{2}}}dx\ dy={\sqrt {E'G'-F'^{2}}}dx'dy',$

(7)

or

$\Delta dx\ dy=\Delta 'dx'dy'$

Multiplying (6) by (1) according to Grassmann's rule, we obtain

${\begin{array}{l}\left[(Eb-Fa)\delta x-(Ga-Fb)\delta y\right]dx\ dy\\\qquad =\left[(E'b'-F'a')\delta x'-(G'a'-F'b')\delta y'\right]dx'\ dy'.\end{array}}$

This gives the formula of transformation of a linear form

${\frac {Eb-Fa}{\Delta }}\delta x-{\frac {Ga-Fb}{\Delta }}\delta y={\frac {E'b'-F'a'}{\Delta }}\delta x'-{\frac {G'a'-F'b'}{\Delta '}}\delta y'.$

(8)

which may be called the reciprocal of the first.

Multiplying this equation by

$a\ dx+b\ dy=a'dx'+b'dy',$ $dx{\frac {\partial }{\partial x}}+dy{\frac {\partial }{\partial y}}=dx'{\frac {\partial }{\partial x'}}+dy'{\frac {\partial }{\partial y'}},$

respectively, we get

${\frac {Eb^{2}-2Fab+Ga^{2}}{\Delta }}dx\ dy={\frac {E'b'^{2}-2F'a'b'+G'a'^{2}}{\Delta }}dx'\ dy',$ ${\begin{array}{l}\left[{\frac {\partial }{\partial x}}\left({\frac {Ga-Fb}{\Delta }}\right)+{\frac {\partial }{\partial y}}\left({\frac {Eb-Fa}{\Delta }}\right)\right]dx\ dy\\\\\qquad =\left[{\frac {\partial }{\partial x'}}\left({\frac {G'a'-F'b'}{\Delta '}}\right)+{\frac {\partial }{\partial y'}}\left({\frac {E'b'-F'a'}{\Delta '}}\right)\right]dx'\ dy'.\end{array}}$

These formulae are well known in the differential geometry of a surface.^[23]

We shall now show that the above theory may be extended to transformations in any number of variables. In the first place we must show that the law of multiplication still holds. Let there be n variables $x_{1},\dots ,x_{n}$ and suppose that

$\sum a_{r}dx_{r}=\sum a'_{r}dx'_{r}$ $\sum b_{r}dx_{r}=\sum b'_{r}dx'_{r};$

then by multiplication we may obtain an integral form of the second order^[24]

$\sum \left(a_{r}b_{s}-a_{s}b_{r}\right)dx_{r}dx_{s}=\sum \left(a'_{r}b'_{s}-a'_{s}b'_{r}\right)dx'_{r}dx'_{s}$

the multiplication being performed by Grassmann's rule. To verify this we have only to replace $dx_{r}dx_{s}$ by ${\frac {\partial \left(x_{r},x_{s}\right)}{\partial (\alpha ,\beta )}}d\alpha \ d\beta$, and notice that the last equation may be written

$\left|{\begin{array}{ccc}\sum a_{r}{\frac {\partial x_{r}}{\partial \alpha }},&&\sum b_{r}{\frac {\partial x_{r}}{\partial \alpha }}\\\\\sum a_{r}{\frac {\partial x_{r}}{\partial \beta }},&&\sum b{\frac {\partial x_{r}}{\partial \beta }}\end{array}}\right|{\begin{array}{c}d\alpha \ d\beta =\end{array}}\left|{\begin{array}{ccc}\sum a'_{r}{\frac {\partial x'_{r}}{\partial \alpha }},&&\sum b'_{r}{\frac {\partial x'_{r}}{\partial \alpha }}\\\\\sum a'_{r}{\frac {\partial x'_{r}}{\partial \beta }},&&\sum b'_{r}{\frac {\partial x'_{r}}{\partial \beta }}\end{array}}\right|{\begin{array}{c}d\alpha \ d\beta .\end{array}}$

Similarly, if we take three integral forms,

$\sum a_{r}dx_{r}=\sum a'_{r}dx'_{r},$

(α)

$\sum b_{r}dx_{r}=\sum b'_{r}dx'_{r},$

(β)

$\sum c_{r}dx_{r}=\sum c'_{r}dx'_{r},$

(γ)

and multiply them together by Grassmann's rule, we obtain the integral form of the third order

${\begin{array}{c}\sum \limits _{r,s,t}\end{array}}\left|{\begin{array}{ccc}a_{r}&a_{s}&a_{t}\\b_{r}&b_{s}&b_{t}\\c_{r}&c_{s}&c_{t}\end{array}}\right|{\begin{array}{c}dx_{r}dx_{s}dx_{t}=\sum \limits _{r,s,t}\end{array}}\left|{\begin{array}{c}{\begin{array}{ccc}a'_{r}&a'_{s}&a'_{t}\\b'_{r}&b'_{s}&b'_{t}\\c'_{r}&c'_{s}&c'_{t}\end{array}}\end{array}}\right|{\begin{array}{c}dx'_{r}dx'_{s}dx'_{t}.\end{array}}$

It will be seen also that this equation may he obtained by multiplying the integral form of the second order derived from (α) and (β), by (γ). The question then arises whether integral forms of any order may be multiplied together by Grassmann's rule. To show that this is the case we shall consider the two integral forms

${\begin{array}{rcl}\sum \limits _{s,t,\dots }A_{s,t,\dots }dx_{s}dx_{t}\dots &=&\sum \limits _{s,t,\dots }A'_{s,t,\dots }dx'_{s}dx'_{t}\dots ,\\\\\sum \limits _{p,q,r,\dots }B_{p,q,r,\dots }dx_{p}dx_{q}dx_{r}&=&\sum \limits _{p,q,r,\dots }B'_{p,q,r,\dots }dx'_{p}dx'_{q}dx'_{r}\dots ,\end{array}}$

of orders k and m respectively. Choosing m + k variables $\alpha ,\beta ,\dots ,$, we have ${\frac {(m+k)!}{m!k!}}$ relations of the type

$\sum \limits _{s,t,\dots }A_{s,t,\dots }{\frac {\partial \left(x_{s},x_{t},\dots \right)}{\partial \left(\alpha ,\beta \dots \right)}}=\sum \limits _{s,t,\dots }A'_{s,t,\dots }{\frac {\partial \left(x'_{s},x'_{t},\dots \right)}{\partial \left(\alpha ,\beta \dots \right)}},$

and the same number of relations of the type

$\sum \limits _{p,q,r,\dots }B_{p,q,r,\dots }{\frac {\partial \left(x_{p},x_{q},x_{r}\dots \right)}{\partial \left(\gamma ,\delta ,\epsilon ,\dots \right)}}=\sum \limits _{p,q,r,\dots }B'_{p,q,r,\dots }{\frac {\partial \left(x'_{p},x'_{q},x'_{r}\dots \right)}{\partial \left(\gamma ,\delta ,\epsilon ,\dots \right)}}.$

These may be arranged in conjugate pairs in such a way that the whole set of variables $\alpha ,\beta ,\gamma ,\delta ,\dots$ occur in each pair. Multiplying conjugate pairs together, attributing proper signs to each product, and adding, we find from the properties of the minors of a determinant that the coefficient of a term such as $A_{s,t,\dots }B_{p,q,r,\dots }$, is zero, unless the quantities s,t,p,q,r,... are all different. When these quantities are different the coefficient is simply the determinant ${\frac {\partial \left(x_{s},x_{t},\dots ,x_{p},x_{q},x_{r},\dots \right)}{\partial \left(\alpha ,\beta ,\gamma ,\dots \right)}}$ with a proper sign. When multiplied by $d\alpha \ d\beta \ d\gamma \dots$ this yields $dx_{s},dx_{t},\dots ,dx_{p},dx_{q},dx_{r},\dots$ and it is clear from this that the multiplication of the integral forms by Grassmann's rule is justified.

Taking the case of a transformation from four variables (x, y, z, t) to (x', y', z', t'). If

${\begin{array}{l}H_{x}dy\ dz+H_{y}dz\ dx+H_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt\\\qquad =H'_{x}dy'dz'+H'_{y}dz'dx'+H'_{z}dx'dy'+E'_{x}dx'dt'+E'_{y}dy'dt'+E'_{z}dz'dt',\end{array}}$

and

${\begin{array}{l}E_{x}dy\ dz+E_{y}dz\ dx+E_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt\\\qquad =E'_{x}dy'dz'+E'_{y}dz'dx'+E'_{z}dx'dy'-H'_{x}dx'dt'-H'_{y}dy'dt'-H'_{z}dz'dt',\end{array}}$

we obtain, on multiplication,

${\begin{array}{l}\left(E_{x}^{2}+E_{y}^{2}+E_{z}^{2}-H_{x}^{2}-H_{y}^{2}-H_{z}^{2}\right)dx\ dy\ dz\ dt\\\qquad =\left(E_{x}^{'2}+E_{y}^{'2}+E_{z}^{'2}-H_{x}^{'2}-H_{y}^{'2}-H_{z}^{'2}\right)dx'dy'dz'dt',\end{array}}$

while, if either form be multiplied by itself, we obtain

$\left(E_{x}H_{x}+E_{y}H_{y}+E_{z}H_{z}\right)dx\ dy\ dz\ dt=\left(E'_{x}H'_{x}+E'_{y}H'_{y}+E'_{z}H'_{z}\right)dx'dy'dz'dt'.$

These equations indicate the invariance of the property that at a surface of discontinuity, or in a spherical wave, the electric force is equal in magnitude to the magnetic force and perpendicular to it.

A space time transformation from the variables (x, y, z, t) to (x', y, z, t') can be used to transform the whole motion in one dynamical system into a corresponding motion in another, as far as the kinematics is concerned, provided the velocities $\left(w_{x},w_{y},w_{z}\right),\ \left(w'_{x},w'_{y},w'_{z}\right)$ of corresponding points are such that the equations

$dx'=w'_{x}dt',\ dy'=w'_{y}dt',\ dz'=w'_{z}dt',$

are a consequence of the relations

$dx=w_{x}dt,\ dy=w_{y}dt,\ dz=w_{z}dt.$

This condition is satisfied, if

$dx'-w'_{x}dt'=\nu _{11}\left(dx-w_{x}dt\right)+\nu _{12}\left(dy-w_{y}dt\right)+\nu _{13}\left(dz-w_{z}dt\right),$ $dy'-w'_{y}dt'=\nu _{21}\left(dx-w_{x}dt\right)+\nu _{22}\left(dy-w_{y}dt\right)+\nu _{23}\left(dz-w_{z}dt\right),$ $dz'-w'_{z}dt'=\nu _{31}\left(dx-w_{x}dt\right)+\nu _{32}\left(dy-w_{y}dt\right)+\nu _{33}\left(dz-w_{z}dt\right).$

Multiplying these equations together by Grassmann's rule, we get

$dx'dy'dz'-w'_{x}dy'dz'dt'-w'_{y}dz'dx'dt'-w'_{z}dx'dy'dt'$ ${\begin{array}{c}=\end{array}}\left|{\begin{array}{ccc}\nu _{11}&\nu _{12}&\nu _{13}\\\nu _{21}&\nu _{22}&\nu _{23}\\\nu _{31}&\nu _{32}&\nu _{33}\end{array}}\right|{\begin{array}{c}\left(dx\ dy\ dz-w{}_{x}dy\ dz\ dt-w{}_{y}dz\ dx\ dt-w{}_{z}dx\ dy\ dt\right).\end{array}}$

This shows that there is an integral invariant of the form

$\theta \left(w{}_{x}dy\ dz\ dt+w{}_{y}dz\ dx\ dt+w{}_{z}dx\ dy\ dt-dx\ dy\ dz\right)$

This fact has already been used in § 3 and will be required again in § 7.

We shall now obtain some further properties of a general space time transformation.

When an expression has the same form in the dashed letters as in the original ones it will be convenient to say that it is an invariant.

Let us suppose that the bilinear form

${\begin{array}{cl}A\ dx\ \delta x&+B\ dy\ \delta y+C\ dz\ \delta z+D\ dt\ \delta t+F\left(dy\ \delta z+dz\ \delta y\right)\\\\&+G(dz\ \delta x+dx\ \delta z)+H(dx\ \delta y+\delta x\ dy)+U(dx\ \delta t+\delta x\ dt)\\\\&+V(dy\ \delta t+dt\ \delta y)+W(dz\ \delta t+dt\ \delta z)\end{array}}$

(1)

is an invariant. If we multiply it by itself four times according to Grassmann's rule, we obtain the invariant

$\left|{\begin{array}{cccc}A&H&G&U\\H&B&F&V\\G&F&C&W\\U&V&W&D\end{array}}\right|{\begin{array}{c}dx\ dy\ dz\ dt\ \delta x\ \delta y\ \delta z\ \delta t.\end{array}}$

Putting $dx=\delta x,\dots ,$ and denoting the determinant by Δ, we have the invariant

${\sqrt {\Delta }}dx\ dy\ dz\ dt$

(2)

Now, let

$u_{x}dy\ dz\ dt+u_{y}dz\ dx\ dt+u_{z}dx\ dy\ dt+u_{t}dx\ dy\ dz$

be an integral invariant of the third order.

Multiplying by (1) and rejecting the factor ${\sqrt {\Delta }}dx\ dy\ dz\ dt$, we obtain an invariant

$v_{x}dx+v_{y}dy+v_{z}dz+v_{t}dt$

(4)

where

$\left.{\begin{array}{l}{\sqrt {\Delta }}v_{x}=Au_{x}+Hu_{y}+Gu_{z}+Uu_{t}\\{\sqrt {\Delta }}v_{y}=Hu_{x}+Bu_{y}+Fu_{z}+Vu_{t}\\{\sqrt {\Delta }}v_{z}=Gu_{x}+Fu_{y}+Cu_{z}+Wu_{t}\\{\sqrt {\Delta }}v_{t}=Uu_{x}+Vu_{y}+Wu_{z}+Du_{t}\end{array}}\right\}$

(5)

Multiplying (3) and (4), we obtain the invariant

${\begin{array}{rl}\left[Au_{x}^{2}+Bu_{y}^{2}+Cu_{z}^{2}+Du_{t}^{2}\right.&+2Fu_{y}u_{z}+2Gu_{z}u_{x}+2Hu_{x}u_{y}\\\\&\left.+2Uu_{x}u_{t}+2Vu_{y}u_{t}+2Wu_{z}ut\right]{\frac {dx\ dy\ dz\ dt}{\sqrt {\Delta }}};\end{array}}$

(6)

hence the quantity in the square brackets divided by Δ is an invariant

Conversely, if we are given an integral form of the first order (4), we may obtain a reciprocal integral form of the third order (8), by multiplying (4) by (1) three times and rejecting the factor $dx\ dy\ dz\ dt\ {\sqrt {\Delta }}$. The relations expressing the quantities $u_{x}$ in terms of the quantities $u_{x}$ are exactly the same as those obtained by solving equations (5).

Next, suppose we are given an integral form of the second order

$B_{x}dy\ dz+B_{y}dz\ dx+B_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dy\ dt,$

(7)

which is an invariant. Then multiplying it twice by (1), and rejecting the factor ${\sqrt {\Delta }}dx\ dy\ dz\ dt$, we obtain a reciprocal integral invariant

$D_{x}dy\ dz+D_{y}dz\ dx+D_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt,$

(8)

where

$\left.{\begin{array}{rc}{\sqrt {\Delta }}D_{x}&=\left(BC+F^{2}\right)E_{x}+(FG-CH)E_{y}+(HF-BG)E_{z}\\\\&+(HW-VG)B_{x}+(BW-VF)B_{y}+(FW-CV)B_{z}\\&\dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \\\\-{\sqrt {\Delta }}H_{x}&=\left(HW-VG\right)E_{x}+(GU-AW)E_{y}+(AV-HU)E_{z}\\\\&+(AD-U^{2})B_{x}+(HD-UV)B_{y}+(GD-UW)B_{z}\\&\dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \end{array}}\right\}$

(9)

The relation between these two invariants is evidently a mutual one.

Multiplying them together, we obtain the integral invariant

$\left(E_{x}D_{x}+E_{y}D_{y}+E_{z}D_{z}-H_{x}B_{x}-H_{y}B_{y}-H_{z}B_{z}\right)dx\ dy\ dz\ dt$

(10)

and the absolute invariant

${\frac {1}{\Delta }}\left[\left(BC-F^{2}\right)E_{x}^{2}+\left(CA-G^{2}\right)E_{y}^{2}+\dots \right]$

(11)

The theory of reciprocal invariants can evidently be extended to the case in which there are n variables, and a bilinear integral form is known to be invariant.

If we suppose that a biquadratic integral form

$\kappa _{11}dy\ dz\ \delta y\ \delta z+\kappa _{22}dz\ dx\ \delta z\ \delta x+\kappa _{33}dx\ dy\ \delta x\ \delta y$ $+\kappa _{44}dx\ dt\ \delta x\ \delta t+\kappa _{55}dy\ dt\ \delta y\ \delta t+\kappa _{66}dz\ dt\ \delta z\ \delta t$ $+\kappa _{23}\left(dz\ dx\ \delta x\ \delta y+dx\ dy\ \delta z\ \delta x\right)+\dots$

(12)

is invariant for a transformation, we may multiply it by itself and obtain the invariant

$\left(\kappa _{11}\kappa _{44}+\dots +2\kappa _{23}\kappa _{14}+\dots \right)dx\ dy\ dz\ dt\ \delta x\ \delta y\ \delta z\ \delta t.$

Putting $dx=\delta x$ and extracting the square root, we obtain an invariant

${\sqrt {\Theta }}dx\ dy\ dz\ dt$

(18)

Now, let

$B_{x}dy\ dz+B_{y}dz\ dx+B_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dy\ dt,$

be an invariant of the second order. Multiplying it by (12) and rejecting a factor ${\sqrt {\Theta }}dx\ dy\ dz\ dt$, we obtain an invariant

$D_{x}\delta y\ \delta z+D_{y}\delta z\ \delta x+D_{z}\delta x\ \delta y-H_{x}\delta x\ \delta t-H_{y}\delta y\ \delta t-H_{z}\delta z\ \delta t,$

where

${\begin{array}{c}{\sqrt {\Theta }}D_{x}=\kappa _{11}E_{x}+\kappa _{12}E_{y}+\kappa _{13}E_{z}+\kappa _{14}B_{x}+\kappa _{15}B_{y}+\kappa _{16}B_{z},\\\dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \\-{\sqrt {\Theta }}H_{x}=\kappa _{41}E_{x}+\kappa _{42}E_{y}+\kappa _{43}E_{z}+\kappa _{44}B_{x}+\kappa _{45}B_{y}+\kappa _{46}B_{z}.\end{array}}$

The relation between the two invariants will be a mutual one if the coefficients $\kappa _{11},\ \dots$. are the elements of an orthogonal matrix.

The Invariants of a Spherical Wave Transformation.

Starting from the fundamental invariants

$d\tau ^{2}=\lambda ^{2}\left[dt^{2}-dx^{2}-dy^{2}-dz^{2}\right],$

(1)

$\lambda ^{4}dx\ dy\ dz\ dt,$

(2)

$A_{x}dx+A_{y}dy+A_{z}dz-\Phi dt,$

(3)

$H_{x}dy\ dz+H_{y}dz\ dx+H_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt$

(4)

$E_{x}dy\ dz+E_{y}dz\ dx+E_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt$

(5)

$\rho w_{x}dy\ dz\ dt+\rho w_{y}dz\ dx\ dt+\rho w_{z}dx\ dy\ dt-\rho dx\ dy\ dz$

(6)

we may obtain a number of others by the methods of multiplication and reciprocation. It will be sufficient to enumerate these if we mention the equations from which they are derived,

${\begin{array}{ccc}(1\ {\mathsf {and}}\ 6)&{\frac {1}{\lambda ^{2}}}\left[\rho w_{x}dx+\rho w_{y}dy+\rho w_{z}dz-\rho dt\right],&(7)\\\\(5\ {\mathsf {and}}\ 4)&\left(E_{x}^{2}+E_{y}^{2}+E_{z}^{2}-H_{x}^{2}-H_{y}^{2}-H_{z}^{2}\right)dx\ dy\ dz\ dt&(8)\\\\(4\ {\mathsf {and}}\ 4)&\left(E_{x}H_{x}+E_{y}H_{y}+E_{z}H_{z}\right)dx\ dy\ dz\ dt&(9)\\\\(3\ {\mathsf {and}}\ 6)&\rho \left[A_{x}w_{x}+A_{y}w_{y}+A_{z}w_{z}-\Phi \right]dx\ dy\ dz\ dt&(10)\\\\(6\ {\mathsf {and}}\ 7)&{\frac {\rho ^{2}}{\lambda ^{2}}}\left(1-w^{2}\right)dx\ dy\ dz\ dt,&(11)\\\\(5\ {\mathsf {and}}\ 7)&{\frac {\rho }{\lambda ^{2}}}\left[\left(E_{x}-w_{z}H_{y}+w_{y}H_{z}\right)dy\ dz\ dt+\left(E_{y}-w_{x}H_{z}+w_{z}H_{x}\right)dz\ dx\ dt\right.&(12)\\&\left.+\left(E_{z}-w_{y}H_{z}+w_{x}H_{y}\right)dx\ dy\ dt-\left(w_{x}E_{x}+w_{y}E_{y}+w_{z}E_{z}\right)dx\ dy\ dz\right],\\\\(12)&{\frac {\rho }{\lambda ^{4}}}\left[\left(E_{x}+w_{y}H_{z}-w_{z}H_{y}\right)\delta x+\left(E_{y}+w_{z}H_{x}-w_{x}H_{z}\right)\delta y\right.&(13)\\&\left.+\left(E_{z}+w_{z}H_{y}-w_{y}H_{x}\right)\delta z-\left(w_{x}E_{x}+w_{y}E_{y}+w_{z}E_{z}\right)\delta t\right],\\\\(13\ {\mathsf {and}}\ 2)&\rho \ dx\ dy\ dz\ dt\left[\left(E_{x}+w_{y}H_{z}-w_{z}H_{y}\right)\delta x+\left(E_{y}+w_{z}H_{x}-w_{x}H_{z}\right)\delta y\right.&(14)\\&\left.+\left(E_{z}+w_{x}H_{y}-w_{y}H_{x}\right)\delta z-\left(w_{x}E_{x}+w_{y}E_{y}+w_{z}E_{z}\right)\delta t\right].\end{array}}$

These invariants represent quantities which are of considerable importance in the theory of electrons.^[25] Another invariant which is of some importance is obtained in the following way.

Let^[26]

$w_{1}={\frac {w_{x}}{\sqrt {1-w^{2}}}},\ w_{2}={\frac {w_{y}}{\sqrt {1-w^{2}}}},\ w_{3}={\frac {w_{z}}{\sqrt {1-w^{2}}}},\ w_{4}={\frac {1}{\sqrt {1-w^{2}}}},$ $ds^{2}=dt^{2}-dx^{2}-dy^{2}-dz^{2},$

so that

$w_{1}={\frac {dx}{ds}},\ w_{2}={\frac {dy}{ds}},\ w_{3}={\frac {dz}{ds}},\ w_{4}={\frac {dt}{ds}},$

Then

${\frac {dw_{1}}{ds}}={\frac {{\dot {w}}_{x}}{1-w^{2}}}+{\frac {w_{x}(w{\dot {w}})}{\left(1-w^{2}\right)^{2}}},$ ${\frac {d^{2}w_{1}}{ds^{2}}}={\frac {{\ddot {w}}_{x}}{\left(1-w^{2}\right)^{\frac {1}{2}}}}+{\frac {3{\dot {w}}_{x}(w{\dot {w}})}{\left(1-w^{2}\right)^{\frac {1}{2}}}}+{\frac {w_{x}}{\left(1-w^{2}\right)^{\frac {1}{2}}}}\left\{w{\ddot {w}}+{\frac {3(w{\dot {w}})^{2}}{1-w^{2}}}+{\dot {w}}^{2}+{\frac {(w{\dot {w}})^{2}}{1-w^{2}}}\right\}.$

Hence

${\begin{array}{l}\left({\frac {dw_{1}}{ds}}\right)^{2}+\left({\frac {dw_{2}}{ds}}\right)^{2}+\left({\frac {dw_{3}}{ds}}\right)^{2}-\left({\frac {dw_{4}}{ds}}\right)^{2}\\\\\qquad ={\frac {{\dot {w}}^{2}}{\left(1-w^{2}\right)^{2}}}+{\frac {(w{\dot {w}})^{2}}{\left(1-w^{2}\right)^{3}}}+{\frac {w^{2}(w{\dot {w}})^{2}}{\left(1-w^{2}\right)^{4}}}-{\frac {(w{\dot {w}})^{2}}{\left(1-w^{2}\right)^{4}}}\\\\\qquad ={\frac {{\dot {w}}^{2}}{\left(1-w^{2}\right)^{2}}}+{\frac {(w{\dot {w}})^{2}}{\left(1-w^{2}\right)^{3}}}\end{array}}$

Thus

${\begin{array}{l}{\frac {d^{2}w_{1}}{ds^{2}}}-w_{1}\left\{\left({\frac {dw_{1}}{ds}}\right)^{2}+\left({\frac {dw_{2}}{ds}}\right)^{2}+\left({\frac {dw_{3}}{ds}}\right)^{2}-\left({\frac {dw_{4}}{ds}}\right)^{2}\right\}\\\\\qquad ={\frac {{\ddot {w}}_{x}}{\left(1-w^{2}\right)^{\frac {1}{2}}}}+{\frac {3{\dot {w}}_{x}(w{\dot {w}})}{\left(1-w^{2}\right)^{\frac {1}{2}}}}+{\frac {w_{x}}{\left(1-w^{2}\right)^{\frac {1}{2}}}}\left\{(w{\ddot {w}})+{\frac {3(w{\dot {w}})}{1-w^{2}}}\right\}\end{array}}$

Now Abraham^[27] has given a formula for the reaction of radiation upon a moving electron, the x component of the reaction being

$K_{x}={\frac {2e^{2}}{3\left(1-w^{2}\right)}}\left[{\ddot {w}}_{x}+{\dot {w}}_{x}{\frac {3(w{\dot {w}})}{1-w^{2}}}+{\frac {w_{x}}{1-w^{2}}}\left\{(w{\ddot {w}})+{\frac {3(w{\dot {w}})^{2}}{1-w^{2}}}\right\}\right];$

accordingly,

${\begin{array}{ll}K_{x}dt&={\frac {2e^{2}}{3c^{2}}}\left[{\frac {d^{2}w_{1}}{ds^{2}}}-w_{1}\left\{\left({\frac {dw_{1}}{ds}}\right)^{2}+\left({\frac {dw_{2}}{ds}}\right)^{2}+\left({\frac {dw_{3}}{ds}}\right)^{2}-\left({\frac {dw_{4}}{ds}}\right)^{2}\right\}\right]ds\\\\&=K_{1}ds.\end{array}}$

To complete the symmetry of the result, we define quantities $K_{t}$ and $K_{4}$ by the equations

${\begin{array}{ll}K_{t}dt&={\frac {2e^{2}}{3c^{2}}}\left[{\frac {d^{2}w_{4}}{ds^{2}}}-w_{4}\left\{\left({\frac {dw_{1}}{ds}}\right)^{2}+\left({\frac {dw_{2}}{ds}}\right)^{2}+\left({\frac {dw_{3}}{ds}}\right)^{2}-\left({\frac {dw_{4}}{ds}}\right)^{2}\right\}\right]ds\\\\&=K_{4}ds.\end{array}}$

we then have

$w_{x}K_{x}+w_{y}K_{y}+w_{z}K_{z}=K_{t},$ $w_{1}K_{1}+w_{2}K_{2}+w_{3}K_{3}+w_{4}K_{4}=0.$

Laue^[28] has shown recently that Abraham's formula may be derived by means of the principle of relativity. We shall complete this result by showing that

$\left(K_{x}\delta x+K_{y}\delta y+K_{z}\delta z-K\ \delta x\right)dt$

is an integral invariant for the whole group of spherical wave transformations. It will be sufficient to prove this for the case of the transformation

$x'={\frac {x}{r^{2}-t^{2}}},\ y'={\frac {y}{r^{2}-t^{2}}},\ z'={\frac {z}{r^{2}-t^{2}}},\ t'={\frac {t}{r^{2}-t^{2}}}.$

Now, if

$ds'={\frac {ds}{r^{2}}},\ \rho ^{2}=r^{2}-t^{2},$ ${\begin{array}{r}{\frac {dx'}{ds'}}=\left(1-{\frac {2x^{2}}{\rho ^{2}}}\right){\frac {dx}{ds}}-{\frac {2xy}{\rho ^{2}}}{\frac {dy}{ds}}-{\frac {2xz}{\rho ^{2}}}{\frac {dz}{ds}}+{\frac {2xt}{\rho ^{2}}}{\frac {dt}{ds}},\\\\{\frac {d^{2}x'}{ds'^{2}}}=\left(\rho ^{2}-2x^{2}\right){\frac {d^{2}x}{ds^{2}}}-2xy{\frac {d^{2}y}{ds^{2}}}-2xz{\frac {d^{2}z}{ds^{2}}}+2xt{\frac {d^{2}t}{ds^{2}}}\\\\+2x-2{\frac {dx}{ds}}\rho {\frac {d\rho }{ds}}+4x\left({\frac {d\rho }{ds}}\right)^{2},\\\\{\frac {d^{3}x'}{ds'^{3}}}ds'=ds'\left[\left(\rho ^{2}-2x^{2}\right){\frac {d^{3}x}{ds^{3}}}-2xy{\frac {d^{3}y}{ds^{3}}}-2xz{\frac {d^{3}z}{ds^{3}}}+2xt{\frac {d^{3}t}{ds^{3}}}\right.\\\\\left.-4r{\frac {d^{2}r}{ds^{2}}}{\frac {dx}{ds}}+8x{\frac {dr}{ds}}{\frac {d^{2}r}{ds^{2}}}\right].\end{array}}$

Hence

$\left[{\frac {d^{3}x'}{ds'^{3}}}-{\frac {ds'}{ds'}}\left\{\left({\frac {d^{2}x'}{ds'^{2}}}\right)^{2}+\left({\frac {d^{2}y'}{ds'^{2}}}\right)^{2}+\left({\frac {d^{2}z'}{ds'^{2}}}\right)^{2}-\left({\frac {d^{2}t'}{ds'^{2}}}\right)^{2}\right\}\right]ds$ ${\begin{array}{r}=ds\left[\left(\rho ^{2}-2x^{2}\right)\left\{{\frac {d^{3}x}{ds^{3}}}-{\frac {dx}{ds}}\left[\left({\frac {d^{2}x}{ds^{2}}}\right)^{2}+\left({\frac {d^{2}y}{ds^{2}}}\right)^{2}+\left({\frac {d^{2}z}{ds^{2}}}\right)^{2}-\left({\frac {d^{2}t}{ds^{2}}}\right)^{2}\right]\right\}\right.\\\\-2xy\left\{{\frac {d^{3}y}{ds^{3}}}-{\frac {dy}{ds}}\left[\left({\frac {d^{2}x}{ds^{2}}}\right)^{2}+\left({\frac {d^{2}y}{ds^{2}}}\right)^{2}+\left({\frac {d^{2}z}{ds^{2}}}\right)^{2}-\left({\frac {d^{2}t}{ds^{2}}}\right)^{2}\right]\right\}\\\\-2xz\left\{{\frac {d^{3}z}{ds^{3}}}-{\frac {dz}{ds}}\left[\left({\frac {d^{2}x}{ds^{2}}}\right)^{2}+\left({\frac {d^{2}y}{ds^{2}}}\right)^{2}+\left({\frac {d^{2}z}{ds^{2}}}\right)^{2}-\left({\frac {d^{2}t}{ds^{2}}}\right)^{2}\right]\right\}\\\\\left.+2xt\left\{{\frac {d^{3}t}{ds^{3}}}-{\frac {dt}{ds}}\left[\left({\frac {d^{2}x}{ds^{2}}}\right)^{2}+\left({\frac {d^{2}y}{ds^{2}}}\right)^{2}+\left({\frac {d^{2}z}{ds^{2}}}\right)^{2}-\left({\frac {d^{2}t}{ds^{2}}}\right)^{2}\right]\right\}\right].\end{array}}$

Now

${\frac {\partial x}{\partial x'}}=\rho ^{2}-2x^{2},\ {\frac {\partial y}{\partial x'}}=-2xy,\ \dots ;$

therefore

$\left(K'_{x}\delta x'+K'_{y}\delta y'+K'_{z}\delta z'-K'_{t}\delta t'\right)dt'=\left(K{}_{x}\delta x+K{}_{y}\delta y+K{}_{z}\delta z-K{}_{t}\delta t\right)dt.$

The Electrodynamical Equations for Ponderable Bodies.

We shall consider a system of electrodynamical equations for moving ponderable bodies of the type used by Minkowski,^[29] Einstein and Laub.^[30] These equations are of the form

$\left.{\begin{array}{lll}{\mathsf {curl}}\ H={\frac {\partial D}{\partial t}}+s,&&{\mathsf {div}}\ D=\rho \\\\{\mathsf {curl}}\ E=-{\frac {\partial B}{\partial t}},&&{\mathsf {div}}\ B=0\end{array}}\right\}$

(I)

where the vectors E, H, D, B denote the electric force, magnetic force, electric displacement, and magnetic induction respectively, s denotes the current and ρ the volume density of electricity. The equations differ from those used by Lorentz by the fact that the vector H - [Pw] occurring in Lorentz's equations is replaced here by the vector H.^[31] It should be remarked that Frank^[32] has obtained Minkowski's equations by a process of averaging in the case of non-magnetic bodies.

We shall suppose that the electric polarisation P and the magnetic polarisation Q are connected with D, E, B, and H by the formulae

$P=D-E,\ Q=B-H.$

The electrodynamical equations (I) can be replaced by the two integral equations

$\int \int \left(B_{x}dy\ dz+B_{y}dz\ dx+B_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt\right)=0,$

(II)

${\begin{array}{l}\int \int \left(D_{x}dy\ dz+D_{y}dz\ dx+D_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt\right),\\\qquad =-\int \int \int \left(s_{x}dy\ dz\ dt+s_{y}dz\ dx\ dt+s_{z}dx\ dy\ dt-\rho dx\ dy\ dz\right).\end{array}}$

(III)

These equations are unaltered in form by a transformation from (x, y, z, t) to (x', y', z', t') if

${\begin{array}{l}B_{x}dy\ dz+B_{y}dz\ dx+B_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt\\=\theta \left[B'_{x}dy'dz'+B'_{y}dz'dx'+B'_{z}dx'dy'+E'_{x}dx'dt'+E'_{y}dy'dt'+E'_{z}dz'dt'\right],\end{array}}$

(IV)

${\begin{array}{l}D_{x}dy\ dz+D_{y}dz\ dx+D_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt\\=\phi \left[D'_{x}dy'dz'+D'_{y}dz'dx'+D'_{z}dx'dy'-H'_{x}dx'dt'-H'_{y}dy'dt'-H'_{z}dz'dt'\right],\end{array}}$

(V)

${\begin{array}{l}s_{x}dy\ dz\ dt+s_{y}dz\ dx\ dt+s_{z}dx\ dy\ dt-\rho dx\ dy\ dz\\\qquad =\phi \left[s'_{x}dy'dz'dt'+s'_{y}dz'dx'dt'+s'_{z}dx'dy'dt-\rho 'dx'dy'dz'\right],\end{array}}$

(VI)

where θ and φ are constants.

The formulae of transformation of the type used by Einstein and Laub in the case of Lorentz's transformation are obtained by putting θ = φ = 1. If we use a spherical wave transformation with positive Jacobian, we can deduce the relation

${\begin{array}{l}E_{x}dy\ dz+E_{y}dz\ dx+E_{z}dx\ dy-B_{x}dx\ dt-B_{y}dy\ dt-B_{z}dz\ dt\\\qquad =E'_{x}dy'dz'+E'_{y}dz'dx'+E'_{z}dx'dy'-B'_{x}dx'dt'-B'_{y}dy'dt'-B'_{z}dz'dt',\end{array}}$

(VII)

and this, combined with (V), gives

${\begin{array}{l}P_{x}dy\ dz+P_{y}dz\ dx+P_{z}dx\ dy-Q_{x}dx\ dt-Q_{y}dy\ dt-Q_{z}dz\ dt\\\qquad =P'_{x}dy'dz'+P'_{y}dz'dx'+P'_{z}dx'dy'-Q'_{x}dx'dt'-Q'_{y}dy'dt'-Q'_{z}dz'dt',\end{array}}$

(VIII)

which enables us to obtain the formulae of transformation of the polarisation vectors.

The constitutive relations are obtained by Einstein and Laub by assuming that all the bodies in the dashed system of coordinates are at rest, and that in this system

$D'=\epsilon G',\ B'=\mu H',\ s'=\sigma E'.$

This gives a set of constitutive relations for the case in which a system of bodies are moving with constant velocity w.

The constitutive relations that are obtained in this way may be written in the form^[33]

$\left.{\begin{array}{rl}D+[wH]=&\epsilon \{E+[wB]\}\\\\B-[wE]=&\mu \{H-[wD]\}\\\\{\frac {s_{w}-\left|w\right|\rho }{\sqrt {1-w^{2}}}}=&\sigma \{E+[wB]\}_{w}\\\\s_{\overline {w}}=&{\frac {\sigma \{E+[wB]\}_{\overline {w}}}{\sqrt {1-w^{2}}}}\end{array}}\right\},$

(IX)

where the suffix w denotes that the component in the direction of w, ${\overline {w}}$, a component in a direction perpendicular to w is to be taken.

The first two equations are seen to be invariant for the group of spherical wave transformations when we obtain them in the following way. The expression

${\frac {\lambda \left[dt-w_{x}dx+w_{y}dy-w_{z}dz\right]}{\sqrt {1-w^{2}}}}$

(X)

is seen from (1), § 6, to be an invariant. If we multiply this by the invariants

$B_{x}dy\ dz+B_{y}dz\ dx+B_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt$ $D_{x}dy\ dz+D_{y}dz\ dx+D_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt$ $H_{x}dy\ dz+H_{y}dz\ dx+H_{z}dx\ dy+D_{x}dx\ dt+D_{y}dy\ dt+D_{z}dz\ dt$ $E_{x}dy\ dz+E_{y}dz\ dx+E_{z}dx\ dy-B_{x}dx\ dt-B_{y}dy\ dt-B_{z}dz\ dt$

we obtain the invariants

${\begin{array}{l}{\frac {\lambda }{\sqrt {1-w^{2}}}}\left[\left(B_{x}-w_{y}E_{z}+w_{z}E_{y}\right)dy\ dz\ dt+\left(B_{y}-w_{z}E_{x}+w_{x}E_{z}\right)dz\ dx\ dt\right.\\\\\qquad \left.+\left(B_{x}-w_{x}E_{y}+w_{y}E_{x}\right)dx\ dy\ dt-\left(w_{x}B_{x}+w_{y}B_{y}+w_{z}B_{z}\right)dx\ dy\ dz\right],\end{array}}$

(1)

${\begin{array}{l}{\frac {\lambda }{\sqrt {1-w^{2}}}}\left[\left(D_{x}+w_{y}E_{z}-w_{z}E_{y}\right)dy\ dz\ dt+\left(D_{y}+w_{z}H_{x}-w_{x}H_{z}\right)dz\ dx\ dt\right.\\\\\qquad \left.+\left(D_{x}+w_{x}H_{y}-w_{y}H_{x}\right)dx\ dy\ dt-\left(w_{x}D_{x}+w_{y}D_{y}+w_{z}D_{z}\right)dx\ dy\ dz\right],\end{array}}$

(2)

${\begin{array}{l}{\frac {\lambda }{\sqrt {1-w^{2}}}}\left[\left(H_{x}-w_{y}D_{z}+w_{z}D_{y}\right)dy\ dz\ dt+\left(H_{y}-w_{z}D_{x}+w_{x}D_{z}\right)dz\ dx\ dt\right.\\\\\qquad \left.+\left(H_{x}-w_{x}D_{y}+w_{y}D_{x}\right)dx\ dy\ dt-\left(w_{x}H_{x}+w_{y}H_{y}+w_{z}H_{z}\right)dx\ dy\ dz\right],\end{array}}$

(3)

${\begin{array}{l}{\frac {\lambda }{\sqrt {1-w^{2}}}}\left[\left(E_{x}+w_{y}B_{z}-w_{z}B_{y}\right)dy\ dz\ dt+\left(E_{y}+w_{z}B_{x}-w_{x}B_{z}\right)dz\ dx\ dt\right.\\\\\qquad \left.+\left(E_{x}+w_{x}B_{y}-w_{y}B_{x}\right)dx\ dy\ dt-\left(w_{x}E_{x}+w_{y}E_{y}+w_{z}E_{z}\right)dx\ dy\ dz\right],\end{array}}$

(4)

and the constitutive relations are obtained by making the first of these equal to μ times the third, and the second equal to ε times the fourth, where ε and μ are invariants. These, however, are not the only constitutive relations which remain invariant,^[34] for we may obtain the two integral invariants

${\begin{array}{l}\left({\frac {\partial E_{x}}{\partial t}}-{\frac {\partial B_{z}}{\partial y}}+{\frac {\partial B_{y}}{\partial z}}\right)dy\ dz\ dt+\left({\frac {\partial E_{y}}{\partial t}}-{\frac {\partial B_{x}}{\partial z}}+{\frac {\partial B_{z}}{\partial x}}\right)dz\ dx\ dt\\\\\qquad +\left({\frac {\partial E_{z}}{\partial t}}-{\frac {\partial B_{y}}{\partial x}}+{\frac {\partial B_{x}}{\partial y}}\right)dx\ dy\ dt+\left({\frac {\partial E_{x}}{\partial x}}+{\frac {\partial E_{y}}{\partial y}}+{\frac {\partial E_{z}}{\partial z}}\right)dx\ dy\ dz\end{array}}$

(5)

${\begin{array}{l}\left({\frac {\partial H_{x}}{\partial t}}+{\frac {\partial D_{z}}{\partial y}}-{\frac {\partial D_{y}}{\partial z}}\right)dy\ dz\ dt+\left({\frac {\partial H_{y}}{\partial t}}+{\frac {\partial D_{x}}{\partial z}}-{\frac {\partial D_{z}}{\partial x}}\right)dz\ dx\ dt\\\\\qquad +\left({\frac {\partial H_{z}}{\partial t}}+{\frac {\partial D_{y}}{\partial x}}-{\frac {\partial D_{x}}{\partial y}}\right)dx\ dy\ dt-\left({\frac {\partial H_{x}}{\partial x}}+{\frac {\partial H_{y}}{\partial y}}+{\frac {\partial H_{z}}{\partial z}}\right)dx\ dy\ dz\end{array}}$

(6)

A set of constitutive relations given by two linear relations between these six integral forms of the third order is invariant for the group of spherical wave transformations.

To obtain the other constitutive relations, we construct an integral form of the third order reciprocal to (X) and write it in the form

${\frac {\rho _{0}}{1-w^{2}}}\left[w_{x}dy\ dz\ dt+w_{y}dz\ dx\ dt+w_{z}dx\ dy\ dt-dx\ dy\ dz\right]$

(7)

where $\rho _{0}$ is a quantity which will be determined presently.

Subtracting this from the invariant

$s_{x}dy\ dz\ dt+s_{y}dz\ dx\ dt+s_{z}dx\ dy\ dt-\rho dx\ dy\ dz$

(7)

we may obtain a set of constitutive relations by identifying the resulting invariant with

${\begin{array}{l}{\frac {\sigma \lambda }{\sqrt {1-w^{2}}}}\left[\left(E_{x}+w_{y}B_{z}-w_{z}B_{y}\right)dy\ dz\ dt+\left(E_{y}+w_{z}B_{x}-w_{x}B_{z}\right)dz\ dx\ dt\right.\\\\\qquad \left.+\left(E_{z}+w_{x}B_{y}-w_{y}B_{x}\right)dx\ dy\ dt-\left(E_{x}w_{x}+E_{y}w_{y}-E_{z}w_{z}\right)dx\ dy\ dz\right].\end{array}}$

If we multiply the first coefficient in this invariant by $w_{x}$, the second by $w_{y}$, the third by $w_{z}$, the fourth by 1, and add, the result is zero. The same must hold in the case of the invariant to which it is equated; therefore

$s_{x}w_{x}+s_{y}w_{y}+s_{z}w_{z}-\rho -{\frac {\rho _{0}}{1-w^{2}}}\left[w_{x}^{2}+w_{y}^{2}+w_{z}^{2}-1\right]=0$

or

$\rho =\rho _{0}+(sw).$

Hence we have the constitutive relations

$s-{\frac {\rho -(sw)}{1-w^{2}}}w={\frac {\sigma \lambda }{\sqrt {1-w^{2}}}}[E+[wB]\},$

which agree with those obtained by Minkowski, Einstein and Laub, in the case when λ = 1.

We shall now show that it is possible to construct a set of constitutive relations which are invariant for a much wider class of transformations.

Let the transformation be biuniform within a certain domain of values of (x, y, z, t), and such that the bilinear form

${\begin{array}{ll}A\ dx\ \delta x&+B\ dy\ \delta y+C\ dz\ \delta z+D\ dt\ \delta t+F(dy\ \delta z+dz\ \delta y)\\\\&+G(dz\ \delta x+dz\ \delta x)+H(dx\ \delta y+dy\ \delta x)+U(dx\ \delta t+dx\ \delta t)\\\\&+V(dy\ \delta t+dy\ \delta t)+W(dz\ \delta t+dz\ \delta t),\end{array}}$

(1)

is an invariant. When we put $dx=\delta x,\dots$ this implies that a certain quadratic form is an invariant.

Let us suppose that the constitutive relations connecting $B_{x},B_{y},B_{z},E_{x},E_{y},E_{z}$ with $H_{x},H_{y},H_{z},D_{x},D_{y},D_{z}$ are given by the circumstance that the invariant reciprocal to

$D_{x}dy\ dz+D_{y}dz\ dx+D_{z}dx\ dy-H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt$

is an invariant multiple of

$B_{x}dy\ dz+B_{y}dz\ dx+B_{z}dx\ dy+E_{x}dx\ dt+E_{y}dy\ dt+E_{z}dz\ dt.$

This assumption preserves the analogy with the electron equations where the two fundamental integral invariants of the second order are reciprocals with regard to the quadratic form

$\lambda ^{2}\left[dx^{2}+dy^{2}+dz^{2}-dt^{2}\right].$

In the present case the relations between the two sets of vectors are of the type

$\left.{\begin{array}{rl}\kappa {\sqrt {\Delta }}B_{x}=&-\left(BC-F^{2}\right)H_{x}-(FG-CH)H_{y}-(HF-BG)H_{z}\\&+(HW-VG)D_{x}+(BW-VF)D_{y}+(FW-CV)D_{z}\\\\\kappa {\sqrt {\Delta }}E_{x}=&-\left(HW-VG\right)H_{x}-(GU-AW)H_{y}-(AV-HU)H_{z}\\&+(AD-U^{2})D_{x}+(HD-UV)D_{y}+(GD-UW)D_{z}\\\\{\frac {1}{\kappa }}{\sqrt {\Delta }}D_{x}=&\left(BC-F^{2}\right)E_{x}+(FG-CH)E_{y}+(HF-BG)E_{z}\\&+(HW-VG)B_{x}+(BW-VF)B_{y}+(FW-CV)B_{z}\\\\-{\frac {1}{\kappa }}{\sqrt {\Delta }}H_{x}=&\left(HW-VG\right)E_{x}+(GU-AW)E_{y}+(AV-HU)E_{z}\\&+(AD-U^{2})B_{x}+(HD-UV)B_{y}+(GD-UW)B_{z}\end{array}}\right\}$

(2)

where Δ denotes the determinant

$\left|{\begin{array}{cccc}A&H&G&U\\H&B&F&V\\G&F&C&W\\U&V&W&D\end{array}}\right|$

To obtain the other constitutive relations we start with the assumption that there is an integral invariant of the type^[35]

$\theta \left(w{}_{x}dy\ dz\ dt+w{}_{y}dz\ dx\ dt+w{}_{z}dx\ dy\ dt-dx\ dy\ dz\right)$

From this we may obtain the reciprocal invariant

$v_{x}dx+v_{y}dy+v_{z}dz+v_{t}dt,$

where

$\left.{\begin{array}{l}{\sqrt {\Delta }}v_{x}=\theta \left(Aw_{x}+Hw_{y}+Gw_{z}+U\right)\\{\sqrt {\Delta }}v_{y}=\theta \left(Hw_{x}+Bw_{y}+Fw_{z}+V\right)\\{\sqrt {\Delta }}v_{z}=\theta \left(Gw_{x}+Fw_{y}+Cw_{z}+W\right)\\{\sqrt {\Delta }}v_{t}=\theta \left(Uw_{x}+Vw_{y}+Ww_{z}+D\right)\end{array}}\right\}$

(3)

Multiplying these and rejecting the invariant factor ${\sqrt {\Delta }}dx\ dy\ dz\ dt$, we obtain the invariant

${\begin{array}{ll}{\frac {\theta ^{2}}{\Delta }}\left[Aw_{x}^{2}+Bw_{y}^{2}+Cw_{z}^{2}+D+2Fw_{y}w_{z}\right.&+2Gw_{z}w_{x}+2Hw_{x}w_{y}\\&\left.+2Uw_{x}+2Vw_{y}+2Ww_{z}\right]=\Theta .\end{array}}$

(4)

Multiplying

$D_{x}dy\ dz+D_{y}dz\ dx+D_{z}dx\ dy+H_{x}dx\ dt-H_{y}dy\ dt-H_{z}dz\ dt$

by

$v_{x}dx+v_{y}dy+v_{z}dz+v_{t}dt,$

we obtain the invariant

${\begin{array}{l}\left(v_{t}D_{x}-v_{y}H_{z}+v_{z}H_{y}\right)dy\ dz\ dt+\left(v_{t}D_{y}-v_{z}H_{x}+v_{x}H_{z}\right)dx\ dy\ dt\\\qquad +\left(v_{t}D_{z}-v_{x}H_{y}+v_{y}H_{z}\right)dx\ dy\ dt+\left(v_{x}D_{x}+v_{y}D_{y}+v_{z}D_{z}\right)dx\ dy\ dz.\end{array}}$

(5)

We now assume that

${\begin{array}{l}s_{x}dy\ dz\ dt+s_{y}dz\ dx\ dt+s_{z}dx\ dy\ dz-\rho dx\ dy\ dz\\\qquad -\theta \left[w_{x}dy\ dz\ dt+w_{y}dz\ dx\ dt+w_{z}dx\ dy\ dt-dx\ dy\ dz\right]\end{array}}$

is an invariant multiple of this invariant. This gives the relation

$s_{x}v_{x}+s_{y}v_{y}+s_{z}v_{z}+\rho v_{t}-\theta \left[v_{x}w_{x}+v_{y}w_{y}+v_{z}w_{z}+v_{t}\right]=0,$

or

$s_{x}v_{x}+s_{y}v_{y}+s_{z}v_{z}+\rho v_{t}=\Theta {\sqrt {\Delta }}.$

(6)

The constitutive relations are of the type

$\left.{\begin{array}{l}s_{x}-\theta w_{x}=\sigma \left(v_{t}D_{z}-v_{y}H_{z}+v_{z}H_{y}\right)\\s_{y}-\theta w_{y}=\sigma \left(v_{t}D_{y}-v_{z}H_{x}+v_{x}H_{z}\right)\\s_{z}-\theta w_{z}=\sigma \left(v_{t}D_{s}-v_{x}H_{y}+v_{y}H_{x}\right)\end{array}}\right\},$

(7)

and can be expressed in terms of E and B by means of the relations connecting these quantities with D and H.

With these constitutive relations the equations of electrodynamics are invariant for a very large class of space time transformations. The relations simplify considerably when the quadratic form is of a simple type.

The vanishing of the quadratic form may be supposed to represent the condition that two neighbouring particles are in a position to act on one another.

We shall now verify that in a particular case the constitutive relations obtained in this way agree with the ones obtained by Minkowski, Einstein, and Laub.

Starting with a system at rest, we assume that the invariant quadratic form is

$dx^{2}+dy^{2}+dz^{2}-\epsilon \mu dt^{2}.$

This gives

$\Delta =-\epsilon \mu ,$

and if we take

$\kappa ={\sqrt {-{\frac {\epsilon }{\mu }}}},$

the relations (2) take the form

$B=\mu H,\ E=\epsilon ^{-1}D.$

Now make the Lorentzian transformation

$x={\frac {x'-ut'}{\sqrt {1-u^{2}}}},\ y=y',\ z=z',\ t={\frac {t'-ux'}{\sqrt {1-u^{2}}}};$

the quadratic form then becomes

$dx'^{2}\left[{\frac {1-\epsilon \mu \cdot u^{2}}{1-u^{2}}}\right]+dy'^{2}+dz'^{2}+dt'^{2}{\frac {u^{2}-\epsilon u}{1-u^{2}}}-2u{\frac {1-\epsilon \mu }{1-u^{2}}}dx'dt'$

We again have $\Delta =-\epsilon \mu$, and the relations (2) take the form

${\begin{array}{l}B_{x}=\mu H_{x},\\\\B_{y}={\frac {\epsilon \mu -u^{2}}{\epsilon \left(1-u^{2}\right)}}H_{y}+u{\frac {\epsilon \mu -1}{\epsilon \left(1-u^{2}\right)}}D_{z},\\\\B_{z}={\frac {\epsilon \mu -u^{2}}{\epsilon \left(1-u^{2}\right)}}H_{z}-u{\frac {\epsilon \mu -1}{\epsilon \left(1-u^{2}\right)}}D_{y},\\\\E_{x}={\frac {1}{\epsilon }}D_{x},\\\\E_{y}={\frac {1-u^{2}\epsilon \mu }{\epsilon \left(1-u^{2}\right)}}D_{y}+u{\frac {\epsilon \mu -1}{\epsilon \left(1-u^{2}\right)}}H_{z},\\\\E_{z}={\frac {1-u^{2}\epsilon \mu }{\epsilon \left(1-u^{2}\right)}}D_{z}-u{\frac {\epsilon \mu -1}{\epsilon \left(1-u^{2}\right)}}H_{y}.\end{array}}$

These are equivalent to the relations

${\begin{array}{rl}B_{x}=&\mu H_{x},\\B_{y}+\mu E_{z}=&\mu \left[H_{y}+uD_{z}\right],\\B_{z}-uE_{y}=&\mu \left[H_{z}-uD_{y}\right],\\E_{x}=&\epsilon ^{-1}D_{x},\\E_{y}-uB_{z}=&\epsilon ^{-1}\left[D_{y}-uH_{z}\right],\\E_{z}+uB_{y}=&\epsilon ^{-1}\left[D_{y}+uH_{y}\right],\end{array}}$

obtained by Minkowski, Einstein, and Laub.

It is also easy to verify that the constitutive relations (7) take the form

${\frac {s_{x}-u\rho }{\sqrt {1-u^{2}}}}=\sigma E_{x},\ s_{y}=\sigma {\frac {E_{y}-uB_{z}}{\sqrt {1-u^{2}}}},\ s_{z}=\sigma {\frac {E_{z}-uB_{y}}{\sqrt {1-u^{2}}}},$

given by Minkowski, Einstein, and Laub.

We have thus shown that the scheme of constitutive relations indicated by the invariance of a quadratic form agrees with the known scheme of relations in particular cases, and is invariant for any relevant space time transformation which is biuniform in a certain domain.

These relations are not the most general possible, and so the configuration and state of motion under consideration is of a special type, but the relations are sufficiently general for most ordinary purposes.

[Note added October 8th, 1909.]

Spherical wave transformations are not the only ones which can be used to transform problems occurring in the theory of electrons, for there are large classes of transformations which can be applied to particular problems, but cannot be applied to an arbitrary problem. The equations of transformation in this case involve the magnitudes of the electric and magnetic forces occurring in the particular problem.

Let us suppose that the electrodynamical field in a particular problem is of such a nature that the components $\left(E_{x},E_{y},E_{z}\right),\ \left(H_{x},H_{y},H_{z}\right),$ of the electric and magnetic forces are connected by the relations

$E_{x}H_{x}+E_{y}H_{y}+E_{z}H_{z}=0,$ $E_{x}^{2}+E_{y}^{2}+E_{z}^{2}=H_{x}^{2}+H_{y}^{2}+H_{z}^{2}$

and let $\left(s_{x},s_{y},s_{z}\right)$ be the components of Poynting's vector.

Then, if $a_{x},a_{y},a_{z},a,s$ are five functions of x, y, z, t satisfying the relations

$a_{x}s_{x}+a_{y}s_{y}+a_{z}s_{z}=as$ $s_{x}^{2}+s_{y}^{2}+s_{z}^{2}=s^{2},$

a transformation of coordinates for which

${\begin{array}{r}dx^{2}+dy^{2}+dz^{2}-dt^{2}+\left(a_{x}dx+a_{y}dy+a_{z}dz-a\ dt\right)\left(s_{x}dx+s_{y}dy+s_{z}dz-s\ dt\right)\\=\lambda \left(dx'^{2}+dy'^{2}+dz'^{2}-dt'^{2}\right),\end{array}}$

λ being a function of x', y', z', t', is in general suitable for the transformation of the problem in question. The above equation implies that, if the velocity of radiation is represented by unity in the first system of coordinates, it is also represented by unity in the second system.

[March 15th, 1910.—

The relation $a_{x}s_{x}+a_{y}s_{y}+a_{z}s_{z}=as$ can be omitted.]

---

1. Cf. H. A. Bumstead, Amer. Jour, of Science, Vol. xxvi (1908).
2. The principle has received additional support from some recent experiments made by Dr. Bucherer, Phys. Zeitschr., Sept., 1908, p. 755.
3. Jahrbuch der Radioaktivität (1907).
4. They appear to be closely connected with two theorems used by Ricci and Levi Civita, "Méthodes de calcul différential absolu et leurs applications," Math. Ann., Bd. LIV (1901).
5. H. A. Lorentz, Ency. d. math. Wiss., Vol. 13, No. 5 ; and Vol. 14, No. 2. The Theory of Electrons, Leipzig (1909), p. 12.
6. The integral forms occurring in these equations have been studied by Hargreaves, Camb. Phil. Trans., Vol. 21, p. 107 (1908).
7. Camb. Phil. Trans., Vol. 18 (1900), p. 408.
8. Acta Math., t. 9 (1887), p. 321.
9. The relation ${\frac {\partial (x,t)}{\partial (\alpha ,\beta )}}={\frac {\partial (x,t)}{\partial (y,z)}}{\frac {\partial (y,z)}{\partial (\alpha ,\beta )}}+{\frac {\partial (x,t)}{\partial (z,x)}}{\frac {\partial (z,x)}{\partial (\alpha ,\beta )}}+{\frac {\partial (x,t)}{\partial (x,y)}}{\frac {\partial (x,y)}{\partial (\alpha ,\beta )}}$ is a particular ease of a general relation given in Scott's Determinants, p. 134.
10. In the case of a single pulse travelling across a medium in which the vectors E and H are initially zero, these vectors may exist at a given point at one time and not at another.
11. This may be proved by showing that the triple integral remains invariant during the motion of a system of electrons. Let an electron which was at the point (x, y, z) at time t be in a new position (x', y', z') at time t', where

    ${\begin{array}{lll}x'=x+\epsilon w_{x},&&z'=z+\epsilon w_{z},\\\\y'=y+\epsilon w_{y},&&t'=t+\epsilon ,\end{array}}$

    and t is a small quantity which is a function of x, y, z, t. The integral form is transformed into

    $\rho 'w'_{x}dy'dz'dt'+\rho 'w'_{y}dz'dx'dt'+\rho 'w'_{z}dx'dy'dt'-\rho 'dx'dy'dz',$

    where

    $\rho w_{x}=\rho 'w'_{x}{\frac {\partial (y',z',t')}{\partial (y,z,t)}}+\rho 'w'_{y}{\frac {\partial (z',x',t')}{\partial (y,z,t)}}+\rho 'w'_{z}{\frac {\partial (x',y',t')}{\partial (y,z,t)}}-\rho '{\frac {\partial (x',y',z')}{\partial (y,z,t)}},$

    $\dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots$

    or

    $\rho 'w'_{x}{\frac {\partial (x',y',z',t')}{\partial (x,y,z,t)}}=\rho w_{x}{\frac {dx'}{dx}}+\rho w_{y}{\frac {dx'}{dy}}+\rho w_{z}{\frac {dx'}{dz}}+\rho {\frac {dx'}{dt}}.$

    $\dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots$

    This gives

    ${\begin{array}{ll}\rho 'w'_{x}{\frac {\partial (x',y',z',t')}{\partial (x,y,z,t)}}=&\rho w_{x}\left[1+\epsilon {\frac {\partial w_{x}}{\partial x}}+w_{x}{\frac {d\epsilon }{\partial x}}\right]+\rho w_{y}\left[\epsilon {\frac {\partial w_{x}}{\partial y}}+w_{x}{\frac {d\epsilon }{\partial y}}\right]\\\\&+\rho w_{z}\left[\epsilon {\frac {\partial w_{x}}{\partial z}}+w_{x}{\frac {d\epsilon }{\partial z}}\right]+\rho \left[\epsilon {\frac {\partial w_{x}}{\partial t}}+w_{x}{\frac {d\epsilon }{\partial t}}\right]\end{array}}$

    $\dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots \qquad \dots$

    $\rho '{\frac {\partial (x',y',z',t')}{\partial (x,y,z,t)}}=\rho w_{x}{\frac {d\epsilon }{\partial x}}+\rho w_{y}{\frac {d\epsilon }{\partial y}}+\rho w_{z}{\frac {d\epsilon }{\partial z}}+\rho \left[1+{\frac {\partial \epsilon }{\partial t}}\right].$

    Multiplying the last equation by $w_{x}$, and subtracting from the first, we get

    $\rho '{\frac {\partial (x',y',z',t')}{\partial (x,y,z,t)}}\left(w'_{x}-w_{x}\right)=\rho \epsilon \left[{\frac {\partial w_{x}}{\partial t}}+w_{x}{\frac {\partial w_{x}}{\partial x}}+w_{y}{\frac {\partial w_{x}}{\partial y}}+w_{z}{\frac {\partial w_{x}}{\partial z}}\right].$

    Putting

    ${\frac {d}{dt}}={\frac {\partial }{\partial t}}+w_{x}{\frac {\partial }{\partial x}}+w_{y}{\frac {\partial }{\partial y}}+w_{z}{\frac {\partial }{\partial z}},$

    we see that the equation is satisfied if

    $\left(1+{\frac {d\epsilon }{dt}}\right)\left(w'_{x}-w_{x}\right)=\epsilon {\frac {dw_{x}}{dt}},$

    and if ${\frac {d\epsilon }{dt}}$ is a small quantity of the first order

    $w'_{x}-w_{x}=\epsilon {\frac {dw_{x}}{dt}},$

    in other words $\left(w'_{x},w'_{y},w'_{z}\right)$ are the component velocities at time t + ε.

    Since the integral form is an invariant, we may calculate its value by considering the swarm of electrons at a given time t. The temporal terms then disappear, and the integral reduces simply to

    $-\rho \ dx\ dy\ dz$

    i.e., the total negative charge on the system of electrons.

12. It is assumed here that the equations of transformation are independent of $E_{x},E_{y,}E_{z},H_{x},H_{y},H_{z}$
13. I am indebted to a referee for calling my attention to this relation and the necessity of distinguishing between the two types of transformation.
14. Göttinger Nachrichten (1871), Transformationgruppen, Bd. 3, p. 351.
15. Every transformation belonging to the group is a birational transformation.
16. See a paper by the author "The Conformal Transformations of a Space of Four Dimensions and their Applications to Geometrical Optics," Proc. London Math. Soc., Ser. 2, Vol. 7, p. 70 (1909).
17. Proc. London Math. Soc., Ser, 2, Vol. 8, p. 77.
18. Geometrically the transformation is equivalent to a reflexion in a moving plane mirror.
19. Jahrbuch der Radioaktivität, Band iv. (1907), p. 457.
20. Proc. London Math. Soc., Ser. 2, Vol. 7, p. 70.
21. The theory of integral invariants has been developed by Poincaré, Mécanique céleste, t. 3 ; Méthodes nouvelles de la Mécanique céleste, t. 3, p. 33 ; Goursat, Liouville's Journal (6), t. 4, p. 331; Koenigs, Comptes rendus, t. 122 (1906), pp. 25-37.
22. Scott's Determinants, p. 16.
23. Darboux, Théorie générale des Surfaces, t. 3, p. 193. In particular, if

    $dx^{2}+dy^{2}=\lambda \left[dx'^{2}+dy'^{2}\right],$

    we may deduce from the identity

    ${\frac {\partial V}{\partial x}}dx+{\frac {\partial V}{\partial y}}dy={\frac {\partial V}{\partial x'}}dx'+{\frac {\partial V}{\partial y'}}dy',$

    that

    ${\frac {\partial V}{\partial y}}dx-{\frac {\partial V}{\partial x}}dy={\frac {\partial V}{\partial y'}}dx'-{\frac {\partial V}{\partial x'}}dy',$

    and on multiplying by (9), we get the well known relation

    $\left({\frac {\partial ^{2}V}{\partial x^{2}}}+{\frac {\partial ^{2}V}{\partial y^{2}}}\right)dx\ dy=\left({\frac {\partial ^{2}V}{\partial x'^{2}}}+{\frac {\partial ^{2}V}{\partial y'^{2}}}\right)dx'\ dy'.$

24. An integral form of the second order must be carefully distinguished from a quadratic differential form.
25. Some of these are already known in the case of Lorentz's transformations. Cf. Planck, Ann. der Physik, Bd. 26, p. 1 (1908). Minkowski, Göttinger Nachrichten (1908), Born. Ann. d. Physik, Bd. 28 (1909).
26. Cf. Minkowski, Gött. Nachr. (1908).
27. Theorie der Elektricität, Vol. II, p. 123.
28. Ann. d. Phys., Bd. 28, p. 436 (1908).
29. Göttinger Nachrichten (1908).
30. Annalen der Phys., Bd. 26 (1908).
31. This simply means that a different definition is adopted for H, the object being to retain the symmetry of the equations.
32. Ann. d. Phys., Bd. 27, p. 1059 (1908).
33. Minkowski, Göttinger Nachrichten (1908); Einstein and Laub, Ann. d. Phys. (1908).
34. This was pointed out to me by Mr. Hassé,
35. This assumption is justified by the remark made on p. 249.