# The Transformation of the Electrodynamical Equations

The Transformation of the Electrodynamical Equations (1909) by |

Proceedings of the London Mathematical Society (1910), 8, 223-264, Online |

*By*H. BATEMAN.

## Contents

- 1 1. Introduction.
- 2 2. The Integral Equations of the Theory of Electrons.
- 3 3. The Group of Point Transformations for which the Integral Equations of the Theory of Electrons are Invariant.
- 4 4. Spherical Wave Transformations and the Group of Conformal Transformations of a Space of Four Dimensions.
- 5 5. The Transformation of Integral Forms.
- 6 The Invariants of a Spherical Wave Transformation.
- 7 The Electrodynamical Equations for Ponderable Bodies.

## 1. Introduction.[edit]

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

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.[edit]

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

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

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

(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]}

(II) |

(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 in this space be assigned by equating *x, y, z, t* to one-valued differentiate functions of two parameters , and let be the boundary of a three-dimensional manifold in which the coordinates are like functions of three parameters , of which on , and on . Then any term such as may be interpreted to mean taken over , and any term such as may be interpreted to mean taken over .

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 , 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 *α, β*.

A term such as may now be understood to mean^{[9]}

and a term such as to mean

The equation (II) may now be written

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

Now

hence the above integral may be written

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 are finite and continuous within *S* and on its surface, then equations (I) are also satisfied, provided, of course, that the quantities 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 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

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 the components of the electromagnetic vector potential, we have

(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

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

the surface integral which is obtained is

or

Hence equation (IV) is established.

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

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

(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

(2) |

where is a constant.

These relations give two sets of equations connecting the quantities with viz.,

(3) |

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

There are clearly nine relations of the first type and nine relations of the second type. We shall now show that when these relations imply that there is a relation of the form

for this purpose we shall require the following lemma.

Lemma. — Let the sixteen quantities

be connected by the eighteen relations of type

which imply that conjugate minors of the determinant are equal. The identity

then gives

or

Introducing the notation

we may obtain in the above way the equations

Hence, either

or all the quantities of type are zero. In the same way we can prove that either

or all the quantities of type are zero. It follows from this that either (1) the six quantities (*αβ*) are zero or (2) that the thirty-six quantities are all zero or (3) that there is a set of relations

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

Hence, in all cases,

Again, we have

hence, since the last term is zero,

This gives

say, and there are similar equations in . It follows that

These conditions, combined with the previous set, imply that the sixteen quantities are the elements of an orthogonal matrix.

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

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 to be the elements of the matrix

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

or of the type

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

in other words, that the differential equation

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

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

(1)' |

equation (2) by

(2)' |

and equation (3) by

(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

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

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

Since

or

(A) |

We also have

Therefore

This gives us the relation^{[13]}

(B) |

which holds for any spherical wave transformation.

We shall now introduce the further restriction that the inequality

is a consequence of

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

we see that λ² is positive, and therefore

is negative. This shows that and must have the same sign. Hence, if is positive, 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

it is necessarily positive. Consequently θ must have the same sign as 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,, and the formulae of transformation are

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

The new equations are

and these imply that

The formulae connecting the electromagnetic potentials are obtained by putting

Since , they are

(ii) When the Jacobian is negative and , 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 . There is also a doubt about the sign in the equation

## 4. Spherical Wave Transformations and the Group of Conformal Transformations of a Space of Four Dimensions.[edit]

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

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

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

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

Putting

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

where |

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

Putting , we get the real spherical wave transformation

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

*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

and a change in the sign of *x'.* Putting

and changing the sign of *x',* we get

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

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

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

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

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

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

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

Substituting for *γ*, we get

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

In the case of the general infinitesimal transformation, the expression

where

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

*x, y, z, t*) and (

*x+dx, y+dy, z+dz, t+dt*) touch one another internally.

## 5. The Transformation of Integral Forms.[edit]

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

(1) |

(2) |

then

and it is easy to see that

This implies that

(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

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

(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.*,

(5) |

then taking two independent differentials *dx, dy, δx, δy*, and writing in place of *dx, dy*, we get the formula of transformation of the bilinear form

(6) |

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

This gives

(7) |

or

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

This gives the formula of transformation of a linear form

(8) |

which may be called the reciprocal of the first.

Multiplying this equation by

respectively, we get

^{[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 and suppose that

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

the multiplication being performed by Grassmann's rule. To verify this we have only to replace by , and notice that the last equation may be written

Similarly, if we take three integral forms,

(α) |

(β) |

(γ) |

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

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

of orders *k* and *m* respectively. Choosing *m + k* variables , we have relations of the type

and the same number of relations of the type

These may be arranged in conjugate pairs in such a way that the whole set of variables 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 , is zero, unless the quantities *s,t,p,q,r,*... are all different. When these quantities are different the coefficient is simply the determinant with a proper sign. When multiplied by this yields 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

we obtain, on multiplication,

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

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 of corresponding points are such that the equations

are a consequence of the relations

This condition is satisfied, if

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

This shows that there is an integral invariant of the form

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

(1) |

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

Putting and denoting the determinant by Δ, we have the invariant

(2) |

Now, let

be an integral invariant of the third order.

Multiplying by (1) and rejecting the factor , we obtain an invariant

(4) |

where

(5) |

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

(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 . The relations expressing the quantities in terms of the quantities are exactly the same as those obtained by solving equations (5).

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

(7) |

which is an invariant. Then multiplying it twice by (1), and rejecting the factor , we obtain a reciprocal integral invariant

(8) |

where

(9) |

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

Multiplying them together, we obtain the integral invariant

(10) |

and the absolute invariant

(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

(12) |

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

(18) |

Now, let

be an invariant of the second order. Multiplying it by (12) and rejecting a factor , we obtain an invariant

where

The relation between the two invariants will be a mutual one if the coefficients . are the elements of an orthogonal matrix.

## The Invariants of a Spherical Wave Transformation.[edit]

Starting from the fundamental invariants

(1) |

(2) |

(3) |

(4) |

(5) |

(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,

^{[25]}Another invariant which is of some importance is obtained in the following way.

Let^{[26]}

so that

Then

Hence

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

accordingly,

To complete the symmetry of the result, we define quantities and by the equations

we then have

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

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

Hence

Now

therefore

## The Electrodynamical Equations for Ponderable Bodies.[edit]

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

(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

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

(II) |

(III) |

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

(IV) |

(V) |

(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

(VII) |

and this, combined with (V), gives

(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

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]}

(IX) |

where the suffix *w* denotes that the component in the direction of *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

(X) |

we obtain the invariants

(1) |

(2) |

(3) |

(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

(5) |

(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

(7) |

where is a quantity which will be determined presently.

Subtracting this from the invariant

(7) |

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

If we multiply the first coefficient in this invariant by , the second by , the third by , 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

or

Hence we have the constitutive relations

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

(1) |

Let us suppose that the constitutive relations connecting with are given by the circumstance that the invariant reciprocal to

is an invariant multiple of

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

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

(2) |

where Δ denotes the determinant

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

where

(3) |

Multiplying these and rejecting the invariant factor , we obtain the invariant

(4) |

Multiplying

by

we obtain the invariant

(5) |

We now assume that

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

or

(6) |

The constitutive relations are of the type

(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

This gives

and if we take

the relations (2) take the form

Now make the Lorentzian transformation

the quadratic form then becomes

We again have , and the relations (2) take the form

obtained by Minkowski, Einstein, and Laub.

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

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 of the electric and magnetic forces are connected by the relations

and let be the components of Poynting's vector.

Then, if are five functions of *x, y, z, t* satisfying the relations

a transformation of coordinates for which

λ 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 can be omitted.]

- ↑ Cf. H. A. Bumstead,
*Amer. Jour, of Science*, Vol. xxvi (1908). - ↑ The principle has received additional support from some recent experiments made by Dr. Bucherer,
*Phys. Zeitschr.*, Sept., 1908, p. 755. - ↑
*Jahrbuch der Radioaktivität**(1907)*. - ↑ 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). - ↑ H. A. Lorentz,
*Ency. d. math. Wiss.*, Vol. 13, No. 5 ; and Vol. 14, No. 2.*The Theory of Electrons*, Leipzig (1909), p. 12. - ↑ The integral forms occurring in these equations have been studied by Hargreaves,
*Camb. Phil. Trans.*, Vol. 21, p. 107 (1908). - ↑
*Camb. Phil. Trans.*, Vol. 18 (1900), p. 408. - ↑
*Acta Math.*, t. 9 (1887), p. 321. - ↑ The relation is a particular ease of a general relation given in Scott's
*Determinants*, p. 134. - ↑ 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. - ↑ 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',*whereand

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

or

This gives

Multiplying the last equation by , and subtracting from the first, we get

Putting

we see that the equation is satisfied if

and if is a small quantity of the first order

in other words 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*i.e*., the total negative charge on the system of electrons. - ↑ It is assumed here that the equations of transformation are independent of
- ↑ I am indebted to a referee for calling my attention to this relation and the necessity of distinguishing between the two types of transformation.
- ↑
*Göttinger Nachrichten*(1871),*Transformationgruppen*, Bd. 3, p. 351. - ↑ Every transformation belonging to the group is a birational transformation.
- ↑ 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). - ↑
*Proc. London Math. Soc.*, Ser, 2, Vol. 8, p. 77. - ↑ Geometrically the transformation is equivalent to a reflexion in a moving plane mirror.
- ↑
*Jahrbuch der Radioaktivität*, Band iv. (1907), p. 457. - ↑
*Proc. London Math. Soc.*, Ser. 2, Vol. 7, p. 70. - ↑ 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. - ↑ Scott's
*Determinants*, p. 16. - ↑ Darboux,
*Théorie générale des Surfaces*, t. 3, p. 193. In particular, ifwe may deduce from the identity

that

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

- ↑ An integral form of the second order must be carefully distinguished from a quadratic differential form.
- ↑ 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). - ↑ Cf. Minkowski,
*Gött. Nachr.*(1908). - ↑
*Theorie der Elektricität*, Vol. II, p. 123. - ↑
*Ann. d. Phys.*, Bd. 28, p. 436 (1908). - ↑
*Göttinger Nachrichten*(1908). - ↑
*Annalen der Phys.*, Bd. 26 (1908). - ↑ This simply means that a different definition is adopted for
*H*, the object being to retain the symmetry of the equations. - ↑
*Ann. d. Phys.*, Bd. 27, p. 1059 (1908). - ↑ Minkowski,
*Göttinger Nachrichten*(1908); Einstein and Laub,*Ann. d. Phys.*(1908). - ↑ This was pointed out to me by Mr. Hassé,
- ↑ This assumption is justified by the remark made on p. 249.

This work is in the
public domain in the United States because it was published before January 1, 1923.
The author died in 1946, so this work is also in the |