The Transformation of the Electrodynamical Equations

From Wikisource
Jump to navigation Jump to search
The Transformation of the Electrodynamical Equations (1909)
by Harry Bateman

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

686700The Transformation of the Electrodynamical Equations1909Harry 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.

[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

and this is equivalent to

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

These equations are equivalent to the single integral equation
(IV)

provided a suitable interpretation is given to the integrals.

Take any closed curve C and a surface 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, and 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

and

Since

we have

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

These equations may be simplified by using the relations of type

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

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.

[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

we obtain Lorentz's transformation

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

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

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

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

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

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.

[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

and

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

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

and

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

Putting and extracting the square root, we obtain an 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,