F₁₂ = (ω₁ Φ₁ - ω₂ Φ₁) + iμ [ω₃ Ψ₄ - ω₄ ψ₃], etc.
f₁₂ = ε(ω₁ Φ₂ - ω₂ φ₁) + i [ω₃ ψ₄ - ω₄ ψ₃]., etc.

Let us now consider the space-time vector of the second kind [Φ ψ], with the components

[ Φ₂ ψ₃ - Φ₃ ψ₂, Φ₃ ψ₁ - Φ₁ ψ₃, Φ₁ ψ₂ - Φ₂ ψ₁ ]
[ Φ₁ ψ₄ - Φ₄ ψ₁, Φ₂ ψ₄ - Φ₄ ψ₂, Φ₃ ψ₄ - Φ₄ ψ₃ ]

Then the corresponding space-time vector of the first kind ω[Φ, ψ] vanishes identically owing to equations 9) and 53)

for ω[Φ.ψ] = -(ωψ)Φ + (ωΦ)ψ

Let us now take the vector of the 1st kind

(57) Ω = iω[Φψ]*

with the components

Ω₁ = -i | ω₂ ω₃ ω₄ |
| Φ₂ Φ₃ Φ₄ |
| ψ₂ ψ₃ ψ₄ |, etc.

Then by applying rule (45), we have

(58) [Φ.ψ] = i[ωΩ]*

i.e. Φ₁ψ₂ - Φ₂ψ₁ = i(ω₃Ω₄ - ω₄Ω₃) etc.

The vector Ω fulfils the relation

(ωΩ) = ω₁Ω₁ + ω₂Ω₂ + ω₃Ω₃ + ω₄Ω₄ = 0,

(which we can write as Ω₄ = ixΩ₁ + ωyΩ₂ + ωzΩ₃) and Ω is also normal to ω. In case ω = 0, we have Φ₄ = 0, ψ₄ = 0, Ω₄ = 0, and

[Ω₁, Ω₂, Ω₃ = | Φ₁ Φ₂ Φ₃ |
| ψ₁ ψ₂ ψ₃ |.

I shall call Ω, which is a space-time vector 1st kind the Rest-Ray.

As for the relation E), which introduces the conductivity σ we have -ωS = -(ω₁s₁ + ω₂s₂ + ω₃s₃ + ω₄s₄) = (- | u | Cu + ρ)/√(1 - ) = ρ′.

This expression gives us the rest-density of electricity (see §8 and §4).

Then 61) = s + (ω)ω represents a space-time vector of the 1st kind, which since ωω = -1, is normal to ω, and which I may call the rest-current. Let us now conceive of the first three component of this vector as the (x-y-z) co-ordinates of the space-vector, then the component in the direction of u is

Cu - (| u | ρ′)/√(1 - )
= (cu - | u |ρ)/√(1 - )
= Ju/(1 - )

and the component in a perpendicular direction is Cu = Jū.

This space-vector is connected with the space-vector J = C - ρu, which we denoted in §8 as the conduction-current.

Now by comparing with Φ = -ωF, the relation (E) can be brought into the form

{E} s + (ω)ω = - σωF,

This formula contains four equations, of which the fourth follows from the first three, since this is a space-time vector which is perpendicular to ω.

Lastly, we shall transform the differential equations (A) and (B) into a typical form.

§12. The Differential Operator Lor.

A 4 × 4 series matrix 62) S = | S₁₁ S₁₂ S₁₃ S₁₄ | = | Skh |
| S₂₁ S₂₂ S₂₃ S₂₄ |
| S₃₁ S₃₂ S₃₃ S₃₄ |
| S₄₁ S₄₂ S₄₃ S₄₄ |

with the condition that in case of a Lorentz transformation it is to be replaced by ĀSA, may be called a space-time matrix of the II kind. We have examples of this in:—

1) the alternating matrix f, which corresponds to the space-time vector of the II kind,—

2) the product fF of two such matrices, for by a transformation A, it is replaced by (A⁻¹fA·A⁻¹FA) = A⁻¹fFA,

3) further when (ω₁, ω₂, ω₃, ω₄) and (Ω₁, Ω₂, Ω₃, Ω₄) are two space-time vectors of the 1st kind, the 4 × 4 matrix with the element Shk = ωhΩk,

lastly in a multiple L of the unit matrix of 4 × 4 series in which all the elements in the principal diagonal are equal to L, and the rest are zero.

We shall have to do constantly with functions of the space-time point (x, y, z, it), and we may with advantage

employ the 1 × 4 series matrix, formed of differential symbols,—

| ∂/∂x, ∂/∂y, ∂/∂z, ∂/it,|
or (63) | ∂/∂x₁ ∂/∂x₂ ∂/∂x₃ ∂/∂x₄ |

For this matrix I shall use the shortened from “lor.”[25]

Then if S is, as in (62), a space-time matrix of the II kind, by lor S′ will be understood the 1 × 4 series matrix

| K₁ K₂ K₃ K₄ |

where Kk = ∂S1k/∂x₁ + ∂S2k/∂x₂ + ∂S3k/∂x₃ + ∂S4h/∂x₄.

When by a Lorentz transformation A, a new reference system (x′₁ x′₂ x′₃ x₄) is introduced, we can use the operator

lor′ = | ∂/∂x₁′ ∂/∂x₂′ ∂/∂x₃′ ∂/∂x₄′ |

Then S is transformed to S′= Ā S A = | S′hk |, so by lor 'S′ is meant the 1 × 4 series matrix, whose element are

K’k = ∂S′1k/∂x₁′ + ∂S′2k/∂x₂′
+ ∂S′3k/∂x₃′ + ∂S′4k/∂x₄′.

Now for the differentiation of any function of (x y z t) we have the rule ∂/∂xk′ = ∂/∂x₁x₁/∂xk′ + ∂/∂x₂x₂/∂xk′ + ∂/∂x₃x₃/∂xk′ + ∂/∂x₄x₄/∂xk′ = ∂/∂x₁ a1k + ∂/∂x₂ a2k + ∂/∂x₃ a3k + ∂/∂x₄ a4k.

so that, we have symbolically lor′ = lor A.

Therefore it follows that

lor ′S′ = lor (A A⁻¹ SA) = (lor S)A.

i.e., lor S behaves like a space-time vector of the first kind.

If L is a multiple of the unit matrix, then by lor L will be denoted the matrix with the elements

| ∂L/∂x₁ ∂L/∂x₂ ∂L/∂x₃ ∂L/∂x₄ |

If s is a space-time vector of the 1st kind, then

lor = ∂s₁/∂x₁ + ∂s₂/∂x₂ + ∂s₃/∂x₃ + ∂s₄/∂x₄.

In case of a Lorentz transformation A, we have

lor ′ṡ′ = lor A. Ās = lor s.

i.e., lor s is an invariant in a Lorentz-transformation.

In all these operations the operator lor plays the part of a space-time vector of the first kind.

If f represents a space-time vector of the second kind,—lor f denotes a space-time vector of the first kind with the components

f₁₂/∂x₂ + ∂f₁₃/∂x₃ + ∂f₁₄/∂x₄,
f₂₁/∂x₁ + ∂f₂₃/∂x₃ + ∂f₂₄/∂x₄,
f₃₁/∂x₁ + ∂f₃₂/∂x₂ + ∂f₃₄/∂x₄,
f₄₁/∂x₁ + ∂f₄₂/∂x₂ + ∂f₄₃/∂x₃

So the system of differential equations (A) can be expressed in the concise form

{A} lor f = -s,

and the system (B) can be expressed in the form

{B} log F* = 0.

Referring back to the definition (67) for log , we find that the combinations lor ([=(lor f)=]), and lor ([=(lor F*)]) vanish identically, when f and F* are alternating matrices. Accordingly it follows out of {A}, that

(68) (∂s₁/∂x₁) + (∂s₂/∂x₂) + (∂s₃/∂x₃) + (∂s₄/∂x₄) = 0,

while the relation

(69) lor (lor F*) = 0,

signifies that of the four equations in {B}, only three represent independent conditions.

I shall now collect the results.

Let ω denote the space-time vector of the first kind

(u/√(1 - }), i/√(1 - ))
(u = velocity of matter),

F the space-time vector of the second kind (M,-iE)

(M = magnetic induction, E = Electric force,

f the space-time vector of the second kind (m,-ie)

(m = magnetic force, e = Electric Induction.

s the space-time vector of the first kind (C, iρ)

(ρ = electrical space-density, C - ρu = conductivity current,

ε = dielectric constant, μ = magnetic permeability,

σ = conductivity,

then the fundamental equations for electromagnetic processes in moving bodies are[26]

{A} lor f = -s
{B} log F* = 0
{C} ωf = εωF
{D} ωF* = μωf*
{E} s + (ω), w = - σωF.

ω ῶ = -1, and ωF, ωf, ωF*, ωf*, s + (ωs)ω which are space-time vectors of the first kind are all normal to ω, and for the system {B}, we have

lor (lor F*) = 0.

Bearing in mind this last relation, we see that we have as many independent equations at our disposal as are necessary for determining the motion of matter as well as the vector u as a function of x, y, z, t, when proper fundamental data are given.

§ 13. The Product of the Field-vectors f F.

Finally let us enquire about the laws which lead to the determination of the vector ω as a function of (x, y, z, t.) In these investigations, the expressions which are obtained by the multiplication of two alternating matrices

f = | 0 f₁₂ f₁₃ f₁₄ |
| f₂₁ 0 f₂₃ f₂₄ |
| f₃₁ f₃₂ 0 f₃₄ |
| f₄₁ f₄₂ f₄₃ 0 |
F = | 0 F₁₂ F₁₃ F₁₄ |
| F₂₁ 0 F₂₃ F₂₄ |
| F₃₁ F₃₂ 0 F₃₄ |
| F₄₁ F₄₂ F₄₃ 0 |

are of much importance. Let us write,

(70) fF =| S₁₁ - L S₁₂ S₁₃ S₁₄ |
| S₂₁ S₂₂ - L S₂₃ S₂₄ |
| S₃₁ S₃₂ S₃₃ - L S₃₄ |
| S₄₁ S₄₂ S₄₃ S₄₄ - L |

Then (71) S₁₁ + S₂₂ + S₃₃ + S₄₄ = 0.

Let L now denote the symmetrical combination of the indices 1, 2, 3, 4, given by

(72) L = ½(f₂₃ F₂₃ + f₃₁F₃₁ + f₁₂ + F₁₂ + f₁₄ F₁₄
+ f₂₄ F₂₄ + f₃₄ F₃₄)

Then we shall have

(73) S₁₁ = ½(f₂₃ F₂₃ + f₃₄ F₃₄ + f₄₂ F₄₂ - f₁₂ F₁₂
- f₁₃ F₁₃ f₁₄ F₁₄)
S₁₂ = f₁₃ F₃₂ + f₁₄ F₄₂ etc....

In order to express in a real form, we write

(74) S = | S₁₁ S₁₂ S₁₃ S₁₄ |
| S₂₁ S₂₂ S₂₃ S₂₄ |
| S₃₁ S₃₂ S₃₃ S₃₄ |
| S₄₁ S₄₂ S₄₃ S₄₄ |
= | Xx Yx Zx -iTx |
| Xy Yy Zy -iTy |
| Xz Yz Zz -iTz |
| -iXt -iYt -iZt Tt |

Now Xx = ½[mxMx - myMy - mzMz + exEx - eyEy - ezEz]

so

(75) Xy = mxMy + eyEx, Yx = myMx + exEy etc.
Xt = eyMz - ezMy, Tx = mxEy - myEz, etc.
Tt = ½[mxMx + myMy + mzMz + exEx + eyEy + ezEz]
Lt = ½[mxMx + myMy + mzMz - exEx - eyEy - ezEz]

These quantities[27] are all real. In the theory for bodies at rest, the combinations (Xx, Xy, Xz, Yz, Yy, Yz, Zx, Zy, Zz) are known as “Maxwell’s Stresses,” Tx, Ty, Tz are known as the Poynting’s Vector, Tt as the electromagnetic energy-density, and L as the Langrangian function.

On the other hand, by multiplying the alternating matrices of f* and F*, we obtain

(77) F*f* =| -S₁₁ - L, -S₁₂, -S₁₃. -S₁₄ |
| -S₂₁, -S₂₂ - L, -S₂₃, -S₂₄ |
| -S₃₁ -S₃₂, -S₃₃ - L, -S₃₄ |
| -S₄₁ -S₄₂ -S₄₃ -S₄₄ - L |

and hence, we can put

(78) fF = S - L, F*f* = -S - L,

where by L, we mean L-times the unit matrix, i.e. the matrix with elements

| Lehk |, (ehh = 1, ehk = 0, hk h, k = 1, 2, 3, 4).

Since here SL = LS, we deduce that,

F*f*fF = (-S - L)(S - L) = -SS + L²,

and find, since f*f = Det½f, F*F = Det½F, we arrive at the interesting

conclusion

(79) SS = L² - Det½f Det½F

i.e. the product of the matrix S into itself can be expressed as the multiple of a unit matrix—a matrix in which all the elements except those in the principal diagonal are zero, the elements in the principal diagonal are all equal and have the value given on the right-hand side of (79). Therefore the general relations

(80) Sh1 S1k + Sh2 S2k + Sh3 S3k + Sh4 S4k = 0,

h, k being unequal indices in the series 1, 2, 3, 4, and

(81) Sh1 S1h + Sh2 S2h + Sh3 S3h + S{h4} S4h = L² -
Det½f Det½F,

for h = 1, 2, 3, 4.

Now if instead of F, and f in the combinations (72) and (73), we introduce the electrical rest-force Φ, the magnetic rest-force ψ, and the rest-ray Ω [(55), (56) and (57)], we can pass over to the expressions,—

(82) L = - ½ ε Φ [=Φ] + ½ μ ψ [=ψ],
(83) Shk = - ½ ε Φ [=Φ] ehk - ½ μ ψ [=ψ] ehk
+ ε (Φh Φk - Φ ([=Φ]) ωh Ωk
+ μ (ψh ψk - Ψ [=ψ] Ω{h} ωk) - ωh ωk - εμ ωh Ωk
(h₁ k = 1, 2, 3, 4).

Here we have

Φ [=Φ] = Φ₁² + Φ₂² + Φ₃² + Φ₄², ψ[=ψ] = ψ₁² + ψ₂² + ψ₃² + ψ₄²
ehh = 1, ehk = 0 (hk).

The right side of (82) as well as L is an invariant in a Lorentz transformation, and the 4 × 4 element on the right side of (83) as well as Sk h represent a space time vector of the second kind. Remembering this fact, it suffices, for establishing the theorems (82) and (83) generally, to prove it for the special case ω₁ = 0, ω₂ = 0, ω₃ = 0, ω₄ = i. But for this case ω = 0, we immediately arrive at the equations (82) and (83) by means (45), (51), (60) on the one hand, and e = εE, M = μm on the other hand.

The expression on the right-hand side of (81), which equals

[½ (m M - eE)²] + (em) (EM),

is >= 0, because (em = ε Φ [=ψ], (EM) = μ Φ [=ψ]; now referring back to 79), we can denote the positive square root of this expression as Det1/4 S.

Since = -f, and Ḟ = -F, we obtain for Ṡ, the transposed matrix of S, the following relations from (78),

(84) Ff = Ṡ - L, f* F* = -Ṡ - L,

Then is

Ṡ - S = | Sh k - St k |

an alternating matrix, and denotes a space-time vector of the second kind. From the expressions (83), we obtain,

(85) S - Ṡ = - (εμ - 1) [ω, Ω],

from which we deduce that [see (57), (58)].

(86) ω (S - Ṡ)* = 0,
(87) ω (S - Ṡ) = (εμ - 1) Ω

When the matter is at rest at a space-time point, ω = 0, then the equation 86) denotes the existence of the following equations

Zy = Yz, Xz = Zx, Yx = Xy,

and from 83),

Tx = Ω₁, Ty = Ω₂, Tz = Ω₃
Xt = εμΩ₁, Yt = εμΩ₂, Zt = εμΩ₃

Now by means of a rotation of the space co-ordinate system round the null-point, we can make,

Zy = Yz = 0, Xz = Zx = 0, Xx = Xy = 0,

According to 71), we have

(88) Xx + Yy + Zz + Tt = 0,

and according to 83), Tt > 0. In special cases, where ω vanishes it follows from 81) that

Xx² = Yy² = Zz² = Tt², = (Det1/4 S)²,

and if T, and one of the three magnitudes Xx, Yy, Zz are = ±Det1/4 S, the two others = -Det1/4 S. If Ω does not vanish let Ω ≠ 0, then we have in particular from 80)

Tz Xt = 0, Tz Yt = 0, Zz Tz + Tz Tt = 0,

and if Ω₁ = 0, Ω₂ = 0, Zz = -Tt It follows from (81), (see also 83) that

Xx = -Yy = ±Det1/4 S,

and -Zz = Tt = √(Det½ S + εμΩ₃²) > Det1/4S.

The space-time vector of the first kind

(89) K = lor S,

is of very great importance for which we now want to demonstrate a very important transformation

According to 78), S = L + fF, and it follows that

lor S = lor L + lor fF.

The symbol ‘lor’ denotes a differential process which in lor fF, operates on the one hand upon the components of f, on the other hand also upon the components of F. Accordingly lor fF can be expressed as the sum of two parts. The first part is the product of the matrices (lor f) F, lor f being regarded as a 1 × 4 series matrix. The second part is that part of lor fF, in which the diffentiations operate upon the components of F alone. From 78) we obtain

fF = -F*f* - 2L;

hence the second part of lor fF = -(lor F*)f* + the part of -2 lor L, in which the differentiations operate upon the components of F alone. We thus obtain

lor S = (lor f)F - (lor F*)f* + N,

where N is the vector with the components

Nh = ½(∂f₂₃/∂xh F₂₃ + ∂f₃₁/∂xh F₃₁ + ∂f₁₂/∂xh F₁₂ + ∂f₁₄/∂xh F₁₄
+ ∂f₂₄/∂xh F₂₄ + ∂f₃₄/∂xh F₃₄
- ∂F₂₃/∂xh f₂₃ - ∂F₃₁/∂xh f₃₁ - ∂F₁₂/∂xh f₁₂ - ∂F₁₄/∂xh f₁₄
- ∂F₂₄/∂xh f₂₄ - ∂F₃₄/∂xh f₃₄),
(h = 1, 2, 3, 4)

By using the fundamental relations A) and B), 90) is transformed into the fundamental relation

(91) lor S = -sF + N.

In the limitting case ε = 1, μ = 1, f = F, N vanishes identically.

Now upon the basis of the equations (55) and (56), and referring back to the expression (82) for L, and from 57) we obtain the following expressions as components of N,—

(92) Nh = - ½ Φ[=Φ]∂ε/∂xh - ½ ψ[=ψ]∂μ/∂xh
+ (εμ - 1)(Ω₁ ∂ω₁/∂xh + Ω₂ ∂ω₂/∂xh + Ω₃ ∂ω₃/∂xh + Ω₄ ∂ω₄/∂xh)
for h = 1, 2, 3, 4.

Now if we make use of (59), and denote the space-vector which has Ω₁, Ω₂, Ω₃ as the x, y, z components by the symbol W, then the third component of 92) can be expressed in the form

(93) (εμ - 1)/√(1 - ) (W ∂u/∂xh),

The round bracket denoting the scalar product of the vectors within it.

§ 14. The Ponderomotive Force.[28]

Let us now write out the relation K = lor S = -sF + N in a more practical form; we have the four equations

(94) K₁ = ∂Xx/∂x + ∂Xy/∂y + ∂Xy/∂z - ∂Xt/∂t = ρEx + syMz - szMx
- ½ Φ[=Φ] ∂ε/∂x - ½ ψ[=ψ]∂μ/∂x + (εμ - 1)/√(1 - ) (W∂u/∂x),
(95) K₂ = ∂Yx/∂x + ∂Yy/∂y + ∂Yz/∂z - ∂Yt/∂t = ρEy + szMx - sxMy
- ½ Φ[=Φ]∂ε/∂y - ½ ψ[=ψ]∂μ/∂y + (εμ - 1)/√(1 - ) (W∂u/∂y),
(96) K₃ = ∂Zx/∂x + ∂Zy/∂y + ∂Zz/∂z - ∂Zt/∂t = ρE₂ + sxMy - syM₄
- ½ Φ[=Φ] ∂ε/∂z - ½ ψ[=ψ] ∂μ/∂z + (εμ - 1)/√(1 - ) (W∂u/∂z),
(97) (1/i)K₄ = ∂Ty/∂x - ∂Ty/∂y - ∂Tz/∂z - ∂Tt/∂t = sxEx + syEy + szEz
- ½ Φ[=Φ]∂ε/∂t - ½ ψ[=ψ]∂μ/∂t + (εμ - 1)/√(1 - ) (W∂u/∂t).

It is my opinion that when we calculate the ponderomotive force which acts upon a unit volume at the space-time point x, y, z, t, it has got, x, y, z components as the first three components of the space-time vector

K + (ωK)ω,

This vector is perpendicular to ω; the law of Energy finds its expression in the fourth relation.

The establishment of this opinion is reserved for a separate tract.

In the limiting case ε = 1, μ = 1, σ = 0, the vector N = 0, S = ρω, ωK = 0, and we obtain the ordinary equations in the theory of electrons.