History of 4-Vectors (edit )
The w:Four-current is the four-dimensional analogue of the w:electric current density
J
α
=
(
c
ρ
,
j
1
,
j
2
,
j
3
)
=
(
c
ρ
,
j
)
⏟
=
ρ
0
U
α
(
a
)
(
b
)
(
ρ
0
=
ρ
1
−
v
2
c
2
)
{\displaystyle {\begin{matrix}J^{\alpha }&\underbrace {=\left(c\rho ,j^{1},j^{2},j^{3}\right)=\left(c\rho ,\mathbf {j} \right)} &=\rho _{0}U^{\alpha }\\&(a)&(b)\end{matrix}}\left(\rho _{0}=\rho {\sqrt {1-{\frac {v^{2}}{c^{2}}}}}\right)}
where c is the w:speed of light ,
U
α
{\displaystyle U^{\alpha }}
the four-velocity, ρ is the w:charge density ,
ρ
0
{\displaystyle \rho _{0}}
the rest charge density , and j the conventional w:current density . Alternatively, it can be defined in terms of the inhomogeneous Maxwell equations as the negative product of the D'Alembert operator and the electromagnetic potential
A
β
{\displaystyle A^{\beta }}
, or the four-divergence of the electromagnetic tensor
F
α
β
{\displaystyle F^{\alpha \beta }}
:
μ
0
J
β
=
−
◻
A
β
=
∂
α
F
α
β
(
c
)
(
d
)
{\displaystyle {\begin{matrix}\mu _{0}J^{\beta }&=-\square A^{\beta }&=\partial _{\alpha }F^{\alpha \beta }\\&(c)&(d)\end{matrix}}}
and the generally covariant form
(
e
)
J
μ
=
∂
ν
D
μ
ν
,
[
D
μ
ν
=
1
μ
0
g
μ
α
F
α
β
g
β
ν
−
g
]
{\displaystyle (e)\ J^{\mu }=\partial _{\nu }{\mathcal {D}}^{\mu \nu },\ \left[{\mathcal {D}}^{\mu \nu }\,=\,{\frac {1}{\mu _{0}}}\,g^{\mu \alpha }\,F_{\alpha \beta }\,g^{\beta \nu }\,{\sqrt {-g}}\right]}
The Lorentz transformation of the four-potential components was given by #Poincaré (1905/6) and #Marcolongo (1906) . It was explicitly formulated in modern form by #Minkowski (1907/15) and reformulated in different notations by #Born (1909) , #Bateman (1909/10) , #Ignatowski (1910) , #Sommerfeld (1910) , #Lewis (1910), Wilson/Lewis (1912) , #Von Laue (1911) , #Silberstein (1911) . The generally covariant form was first given by #Kottler (1912) and #Einstein (1913) .
w:Henri Poincaré (June 1905[ R 1] ; July 1905, published 1906[ R 2] ) showed that the four quantities related to charge density
ρ
{\displaystyle \rho }
are connected by a Lorentz transformation:
ρ
,
ρ
ξ
,
ρ
η
,
ρ
ζ
ρ
′
=
k
l
3
ρ
(
1
+
ϵ
ξ
)
,
ρ
′
ξ
′
=
k
l
3
ρ
(
ξ
+
ϵ
)
,
ρ
′
η
′
=
ρ
η
l
3
,
ρ
′
ζ
′
=
ρ
ζ
l
3
(
June
)
ρ
′
=
k
l
3
(
ρ
+
ϵ
ρ
ξ
)
,
ρ
′
ξ
′
=
k
l
3
(
ρ
ξ
+
ϵ
ρ
)
,
ρ
′
η
′
=
1
l
3
ρ
η
,
ρ
′
ζ
′
=
1
l
3
ρ
ζ
′
(
July
)
(
k
=
1
1
−
ϵ
2
,
l
=
1
)
{\displaystyle {\begin{matrix}\rho ,\ \rho \xi ,\ \rho \eta ,\ \rho \zeta \\\hline \rho ^{\prime }={\frac {k}{l^{3}}}\rho (1+\epsilon \xi ),\quad \rho ^{\prime }\xi ^{\prime }={\frac {k}{l^{3}}}\rho (\xi +\epsilon ),\quad \rho ^{\prime }\eta ^{\prime }={\frac {\rho \eta }{l^{3}}},\ \quad \rho ^{\prime }\zeta ^{\prime }={\frac {\rho \zeta }{l^{3}}}&({\text{June}})\\\rho ^{\prime }={\frac {k}{l^{3}}}(\rho +\epsilon \rho \xi ),\quad \rho '\xi ^{\prime }={\frac {k}{l^{3}}}(\rho \xi +\epsilon \rho ),\quad \rho ^{\prime }\eta ^{\prime }={\frac {1}{l^{3}}}\rho \eta ,\quad \rho ^{\prime }\zeta ^{\prime }={\frac {1}{l^{3}}}\rho \zeta '&({\text{July}})\\\left(k={\frac {1}{\sqrt {1-\epsilon ^{2}}}},\ l=1\right)\end{matrix}}}
and in his July paper he further stated the continuity equation and the invariance of Jacobian D :[ R 3]
d
ρ
′
d
t
′
+
∑
d
ρ
′
ξ
′
d
x
′
=
0
D
1
′
=
d
ρ
′
d
t
′
+
∑
d
ρ
′
ξ
′
d
x
′
=
0
,
D
1
=
d
ρ
d
t
+
∑
d
ρ
ξ
d
x
=
0
{\displaystyle {\begin{matrix}{\frac {d\rho ^{\prime }}{dt^{\prime }}}+\sum {\frac {d\rho ^{\prime }\xi ^{\prime }}{dx^{\prime }}}=0\\D_{1}^{'}={\frac {d\rho ^{\prime }}{dt^{\prime }}}+\sum {\frac {d\rho ^{\prime }\xi ^{\prime }}{dx^{\prime }}}=0,\ D_{1}={\frac {d\rho }{dt}}+\sum {\frac {d\rho \xi }{dx}}=0\end{matrix}}}
Even though Poincaré didn't directly use four-vector notation in those cases, his quantities are the components of four-current (a).
Following Poincaré, w:Roberto Marcolongo defined the general Lorentz transformation
α
,
β
,
γ
,
δ
{\displaystyle \alpha ,\beta ,\gamma ,\delta }
of the components of the four independent variables
V
,
ϱ
{\displaystyle \mathbf {V} ,\varrho }
and its continuity equation:[ R 4]
(
ξ
,
η
,
ζ
)
=
V
,
(
ξ
′
,
η
′
,
ζ
′
)
=
V
′
ϱ
′
ξ
′
=
ϱ
(
α
1
ξ
+
β
1
η
+
γ
1
ζ
−
i
δ
1
)
…
ϱ
′
=
ϱ
(
α
4
ξ
+
β
4
η
+
γ
4
ζ
−
i
δ
4
)
∂
ϱ
′
∂
t
′
+
∂
ϱ
′
ξ
′
∂
x
′
+
∂
ϱ
′
η
′
∂
y
′
+
∂
ϱ
′
ζ
′
∂
z
′
=
0
(
t
=
i
u
)
{\displaystyle {\begin{matrix}(\xi ,\eta ,\zeta )=\mathbf {V} ,\ (\xi ',\eta ',\zeta ')=\mathbf {V} '\\\hline \varrho '\xi '=\varrho \left(\alpha _{1}\xi +\beta _{1}\eta +\gamma _{1}\zeta -i\delta _{1}\right)\\\dots \\\varrho '=\varrho \left(\alpha _{4}\xi +\beta _{4}\eta +\gamma _{4}\zeta -i\delta _{4}\right)\\\hline {\frac {\partial \varrho '}{\partial t'}}+{\frac {\partial \varrho '\xi '}{\partial x'}}+{\frac {\partial \varrho '\eta '}{\partial y'}}+{\frac {\partial \varrho '\zeta '}{\partial z'}}=0\\(t=iu)\end{matrix}}}
equivalent to the components of four-current (a), and pointed out its relation to the components
J
,
φ
{\displaystyle \mathbf {J} ,\varphi }
of the four-potential
◻
J
x
′
=
−
4
π
ϱ
′
ξ
′
=
−
4
π
ϱ
(
α
1
ξ
+
β
1
η
+
γ
1
ζ
−
i
δ
1
)
,
…
◻
J
=
−
4
π
ϱ
V
,
◻
φ
=
−
4
π
ρ
,
◻
φ
′
=
−
4
π
ϱ
′
{\displaystyle {\begin{matrix}\Box \mathbf {J} '_{x}=-4\pi \varrho '\xi '=-4\pi \varrho \left(\alpha _{1}\xi +\beta _{1}\eta +\gamma _{1}\zeta -i\delta _{1}\right),\dots \\\Box \mathbf {J} =-4\pi \varrho \mathbf {V,\ \Box \varphi } =-4\pi \rho ,\ \Box \varphi '=-4\pi \varrho '\end{matrix}}}
equivalent to the components of Maxwell's equations (b).
w:Hermann Minkowski from the outset employed vector and matrix representation of four-vectors and six-vectors (i.e. antisymmetric second rank tensors) and their product. In a lecture held in November 1907, published 1915, Minkowski defined the four-current in vacuum with
ϱ
{\displaystyle \varrho }
as charge density and
v
{\displaystyle {\mathfrak {v}}}
as velocity:[ R 5]
(
ϱ
1
,
ϱ
2
,
ϱ
3
,
ϱ
4
)
=
(
ϱ
v
,
i
ϱ
)
{\displaystyle \left(\varrho _{1},\varrho _{2},\varrho _{3},\varrho _{4}\right)=(\varrho {\mathfrak {v}},\ i\varrho )}
equivalent to (a), and the electric four-current in matter with
i
{\displaystyle \mathbf {i} }
as current and
σ
{\displaystyle \sigma }
as charge density:[ R 6]
(
σ
)
=
(
σ
1
,
σ
2
,
σ
3
,
σ
4
)
=
(
i
x
,
i
y
,
i
z
,
i
σ
)
{\displaystyle (\sigma )=\left(\sigma _{1},\ \sigma _{2},\ \sigma _{3},\ \sigma _{4}\right)=(i_{x},i_{y},i_{z},\ i\sigma )}
In another lecture from December 1907, Minkowski defined the “space-time vector current” and its Lorentz transformation[ R 7]
(
ϱ
w
x
,
ϱ
w
y
,
ϱ
w
z
,
i
ϱ
)
⇒
(
ϱ
1
,
ϱ
2
,
ϱ
3
,
ϱ
4
)
ϱ
3
′
=
x
3
cos
i
ψ
+
ϱ
4
sin
i
ψ
,
ϱ
4
′
=
−
ϱ
3
sin
i
ψ
+
ϱ
4
cos
i
ψ
,
ϱ
1
′
=
ϱ
1
,
ϱ
2
′
=
ϱ
2
ϱ
′
w
z
′
′
=
ϱ
(
w
z
−
q
1
−
q
2
)
,
ϱ
′
=
ϱ
(
−
q
w
z
+
1
1
−
q
2
)
,
ϱ
′
w
x
′
′
=
ϱ
w
x
,
ϱ
′
w
y
′
′
=
ϱ
w
y
,
−
(
ϱ
1
2
+
ϱ
2
2
+
ϱ
3
2
+
ϱ
4
2
)
=
ϱ
2
(
1
−
w
x
2
−
w
y
2
−
w
z
2
)
=
ϱ
2
(
1
−
w
2
)
{\displaystyle {\begin{matrix}\left(\varrho \,{\mathfrak {w}}_{x},\ \varrho \,{\mathfrak {w}}_{y},\ \varrho \,{\mathfrak {w}}_{z},\ i\varrho \right)\Rightarrow \left(\varrho _{1},\ \varrho _{2},\ \varrho _{3},\ \varrho _{4}\right)\\\hline \varrho '_{3}=x_{3}\cos \ i\psi +\varrho _{4}\sin \ i\psi ,\quad \varrho '_{4}=-\varrho _{3}\sin \ i\psi +\varrho _{4}\cos \ i\psi ,\quad \varrho '_{1}=\varrho _{1},\quad \varrho '_{2}=\varrho _{2}\\\varrho '{\mathfrak {w}}'_{z'}=\varrho \left({\frac {{\mathfrak {w}}_{z}-q}{\sqrt {1-q^{2}}}}\right),\quad \varrho '=\varrho \left({\frac {-q\,{\mathfrak {w}}_{z}+1}{\sqrt {1-q^{2}}}}\right),\quad \varrho '{\mathfrak {w}}'_{x'}=\varrho \,{\mathfrak {w}}_{x},\quad \varrho '{\mathfrak {w}}'_{y'}=\varrho \,{\mathfrak {w}}_{y},\\\hline -(\varrho _{1}^{2}+\varrho _{2}^{2}+\varrho _{3}^{2}+\varrho _{4}^{2})=\varrho ^{2}(1-{\mathfrak {w}}_{x}^{2}-{\mathfrak {w}}_{y}^{2}-{\mathfrak {w}}_{z}^{2})=\varrho ^{2}(1-{\mathfrak {w}}^{2})\end{matrix}}}
equivalent to (a). In moving media and dielectrics, Minkowski more generally used the current density vector “electric current”
s
{\displaystyle {\mathfrak {s}}}
which becomes
s
=
σ
E
{\displaystyle {\mathfrak {s}}=\sigma {\mathfrak {E}}}
in isotropic media:[ R 8]
(
s
x
,
s
y
,
s
z
,
i
ϱ
)
⇒
(
s
1
,
s
2
,
s
3
,
s
4
)
{\displaystyle {\begin{matrix}\left({\mathfrak {s}}_{x},\ {\mathfrak {s}}_{y},\ {\mathfrak {s}}_{z},\ i\varrho \right)\Rightarrow \left(s_{1},\ s_{2},\ s_{3},\ s_{4}\right)\end{matrix}}}
Following Minkowski, w:Max Born (1909) defined the “space-time vector of first kind” (four-vector) and its continuity equation[ R 9]
(
ϱ
w
x
c
,
ϱ
w
y
c
,
ϱ
w
z
c
,
i
ϱ
)
⇒
(
ϱ
1
,
ϱ
2
,
ϱ
3
,
ϱ
4
)
∂
ϱ
w
x
∂
x
+
∂
ϱ
w
y
∂
y
+
∂
ϱ
w
z
∂
z
+
∂
ϱ
∂
t
=
0
{\displaystyle {\begin{matrix}\left({\frac {\varrho w_{x}}{c}},\ {\frac {\varrho w_{y}}{c}},\ {\frac {\varrho w_{z}}{c}},\ i\varrho \right)\Rightarrow \left(\varrho _{1},\ \varrho _{2},\ \varrho _{3},\ \varrho _{4}\right)\\{\frac {\partial \varrho w_{x}}{\partial x}}+{\frac {\partial \varrho w_{y}}{\partial y}}+{\frac {\partial \varrho w_{z}}{\partial z}}+{\frac {\partial \varrho }{\partial t}}=0\end{matrix}}}
equivalent to (a), and pointed out its relation to Maxwell's equations as the product of the D'Alembert operator with the electromagnetic potential
Φ
α
{\displaystyle \Phi _{\alpha }}
:
∂
∂
x
α
∑
β
=
1
4
∂
Φ
β
∂
x
β
−
∑
β
=
1
4
∂
2
Φ
α
∂
x
β
2
=
ϱ
α
(
∑
β
=
1
4
∂
Φ
β
∂
x
β
=
0
)
{\displaystyle {\frac {\partial }{\partial x_{\alpha }}}\sum _{\beta =1}^{4}{\frac {\partial \Phi _{\beta }}{\partial x_{\beta }}}-\sum _{\beta =1}^{4}{\frac {\partial ^{2}\Phi _{\alpha }}{\partial x_{\beta }^{2}}}=\varrho _{\alpha }\quad \left(\sum _{\beta =1}^{4}{\frac {\partial \Phi _{\beta }}{\partial x_{\beta }}}=0\right)}
equivalent to (c). He also expressed the four-current in terms of rest charge density and four-velocity
ϱ
1
=
ϱ
∗
c
⋅
∂
x
∂
τ
,
ϱ
2
=
ϱ
∗
c
⋅
∂
y
∂
τ
,
ϱ
3
=
ϱ
∗
c
⋅
∂
z
∂
τ
,
ϱ
4
=
i
ϱ
∗
∂
t
∂
τ
(
ϱ
∗
=
ϱ
1
−
w
2
c
2
=
−
(
ϱ
1
2
+
ϱ
2
2
+
ϱ
3
2
+
ϱ
4
2
)
,
d
τ
=
d
t
1
−
w
2
c
2
)
ϱ
α
=
i
ϱ
∗
∂
x
α
∂
ξ
4
(
ξ
4
=
i
c
τ
)
{\displaystyle {\begin{matrix}\varrho _{1}={\frac {\varrho ^{\ast }}{c}}\cdot {\frac {\partial x}{\partial \tau }},\ \varrho _{2}={\frac {\varrho ^{\ast }}{c}}\cdot {\frac {\partial y}{\partial \tau }},\ \varrho _{3}={\frac {\varrho ^{\ast }}{c}}\cdot {\frac {\partial z}{\partial \tau }},\ \varrho _{4}=i\varrho ^{\ast }{\frac {\partial t}{\partial \tau }}\\\left(\varrho ^{\ast }=\varrho {\sqrt {1-{\frac {w^{2}}{c^{2}}}}}={\sqrt {-\left(\varrho _{1}^{2}+\varrho _{2}^{2}+\varrho _{3}^{2}+\varrho _{4}^{2}\right)}},\ d\tau =dt{\sqrt {1-{\frac {w^{2}}{c^{2}}}}}\right)\\\varrho _{\alpha }=i\varrho ^{\ast }{\frac {\partial x_{\alpha }}{\partial \xi _{4}}}\quad \left(\xi _{4}=ic\tau \right)\end{matrix}}}
equivalent to (b).
A discussion of four-current in terms of integral forms (even though in the broader context of w:spherical wave transformations ), was given by w:Harry Bateman in a paper read 1909 and published 1910, who defined the Lorentz transformations of its components
(
ρ
w
x
,
ρ
w
y
,
ρ
w
z
,
ρ
)
{\displaystyle \left(\rho w_{x},\rho w_{y},\rho w_{z},\rho \right)}
[ R 10]
ρ
w
x
=
β
(
ρ
′
w
′
−
v
ρ
′
)
,
ρ
w
y
=
ρ
′
w
y
′
,
ρ
w
z
=
ρ
′
w
z
′
,
−
ρ
=
β
(
v
ρ
′
w
x
′
−
ρ
′
)
,
[
β
=
1
1
−
v
2
]
{\displaystyle \rho w_{x}=\beta (\rho 'w'-v\rho '),\ \rho w_{y}=\rho 'w'_{y},\ \rho w_{z}=\rho 'w'_{z},\ -\rho =\beta (v\rho 'w'_{x}-\rho '),\ \left[\beta ={\frac {1}{\sqrt {1-v^{2}}}}\right]}
forming the following invariant relations together with the differential four-position and four-potential:[ R 11]
1
λ
2
[
ρ
w
x
d
x
+
ρ
w
y
d
y
+
ρ
w
z
d
z
−
ρ
d
t
]
ρ
2
λ
2
(
1
−
w
2
)
d
x
d
y
d
z
d
t
ρ
[
A
x
w
x
+
A
y
w
y
+
A
z
w
z
−
Φ
]
d
x
d
y
d
z
d
t
{\displaystyle {\begin{matrix}{\frac {1}{\lambda ^{2}}}\left[\rho w_{x}dx+\rho w_{y}dy+\rho w_{z}dz-\rho dt\right]\\{\frac {\rho ^{2}}{\lambda ^{2}}}\left(1-w^{2}\right)dx\ dy\ dz\ dt\\\rho \left[A_{x}w_{x}+A_{y}w_{y}+A_{z}w_{z}-\Phi \right]dx\ dy\ dz\ dt\end{matrix}}}
with
λ
2
=
1
{\displaystyle \lambda ^{2}=1}
in relativity.
w:Wladimir Ignatowski (1910) defined the “vector of first kind” using charge density
ϱ
{\displaystyle \varrho }
and three-velocity
v
{\displaystyle {\mathfrak {v}}}
:[ R 12]
(
ϱ
v
,
ϱ
)
[
ϱ
1
−
n
v
2
=
ϱ
′
1
−
n
v
′
2
=
ϱ
0
]
{\displaystyle {\begin{matrix}\left(\varrho {\mathfrak {v}},\ \varrho \right)\\\hline \left[\varrho {\sqrt {1-n{\mathfrak {v}}^{2}}}=\varrho '{\sqrt {1-n{\mathfrak {v}}^{\prime 2}}}=\varrho _{0}\right]\end{matrix}}}
equivalent to four-current (a).
In influential papers on 4D vector calculus in relativity, w:Arnold Sommerfeld defined the four-current P , which he called four-density (Viererdichte):[ R 13]
P
x
=
ϱ
v
x
c
,
P
y
=
ϱ
v
y
c
,
P
z
=
ϱ
v
z
c
,
P
l
=
i
ϱ
β
2
=
1
c
2
(
v
x
2
+
v
y
2
+
v
z
2
)
⇒
|
P
|
=
i
ϱ
1
−
β
2
[
l
=
i
c
t
]
{\displaystyle {\begin{matrix}P_{x}=\varrho {\frac {{\mathfrak {v}}_{x}}{c}},\ P_{y}=\varrho {\frac {{\mathfrak {v}}_{y}}{c}},\ P_{z}=\varrho {\frac {{\mathfrak {v}}_{z}}{c}},\ P_{l}=i\varrho \\\hline \beta ^{2}={\frac {1}{c^{2}}}\left({\mathfrak {v}}_{x}^{2}+{\mathfrak {v}}_{y}^{2}+{\mathfrak {v}}_{z}^{2}\right)\quad \Rightarrow \quad \left|P\right|=i\varrho {\sqrt {1-\beta ^{2}}}\\{}[l=ict]\end{matrix}}}
equivalent to (a). In the second paper he pointed out its relation to four-potential
Φ
{\displaystyle \Phi }
and the electromagnetic tensor (six-vector) f together with the continuity condition:[ R 14]
P
=
D
i
v
R
o
t
Φ
=
D
i
v
f
−
P
=
◻
Φ
,
(
D
i
v
Φ
=
0
)
D
i
v
P
=
0
[
R
o
t
=
exterior product
D
i
v
=
divergence four-vector
D
i
v
=
divergence six-vector
◻
=
D'Alembert operator
]
{\displaystyle {\begin{matrix}{\begin{aligned}P&={\mathfrak {Div}}\mathrm {Rot} \ \Phi ={\mathfrak {Div}}\ f\\-P&=\square \Phi ,\ (\mathrm {Div} \ \Phi =0)\\\mathrm {Div} \ P&=0\end{aligned}}\\\left[{\begin{aligned}\mathrm {Rot} &={\text{exterior product}}\\\mathrm {Div} &={\text{divergence four-vector}}\\{\mathfrak {Div}}&={\text{divergence six-vector}}\\\square &={\text{D'Alembert operator}}\end{aligned}}\right]\end{matrix}}}
equivalent to Maxwell's equations (c). The scalar product with the four-potential[ R 15]
(
P
Φ
)
{\displaystyle (P\Phi )}
he called “electro-kinetic potential” whereas the vector product with the electromagnetic tensor[ R 16]
(
P
f
)
=
F
{\displaystyle (Pf)={\mathfrak {F}}}
he called the electrodynamic force (four-force density).
w:Gilbert Newton Lewis (1910) devised an alternative 4D vector calculus based on w:Dyadics which, however, never gained widespread support. The four-current is a “1-vector”:[ R 17]
q
=
ϱ
c
v
+
i
ϱ
k
4
=
ϱ
c
v
1
k
1
+
ϱ
c
v
2
k
2
+
ϱ
c
v
3
k
3
+
i
ϱ
k
4
{\displaystyle {\begin{aligned}\mathbf {q} &={\frac {\varrho }{c}}\mathbf {v} +i\varrho \mathbf {k} _{4}\\&={\frac {\varrho }{c}}v_{1}\mathbf {k} _{1}+{\frac {\varrho }{c}}v_{2}\mathbf {k} _{2}+{\frac {\varrho }{c}}v_{3}\mathbf {k} _{3}+i\varrho \mathbf {k} _{4}\end{aligned}}}
equivalent to (a) and its relation to the four-potential
m
{\displaystyle \mathbf {m} }
and electromagnetic tensor
M
{\displaystyle \mathbf {M} }
:
◊
◊
×
m
=
q
◊
M
=
q
◊
2
m
=
−
q
(
∂
H
12
∂
x
2
+
∂
H
13
∂
x
3
+
∂
E
14
∂
x
4
)
k
1
=
ϱ
c
v
1
k
1
(
∂
H
21
∂
x
1
+
∂
H
23
∂
x
3
+
∂
E
24
∂
x
4
)
k
2
=
ϱ
c
v
2
k
2
(
∂
H
31
∂
x
1
+
∂
H
32
∂
x
2
+
∂
E
34
∂
x
4
)
k
3
=
ϱ
c
v
3
k
3
(
∂
H
41
∂
x
1
+
∂
H
42
∂
x
2
+
∂
E
43
∂
x
4
)
k
4
=
ϱ
c
i
k
4
[
◊
=
k
1
∂
∂
x
1
+
k
2
∂
∂
x
2
+
k
3
∂
∂
x
3
+
k
4
∂
∂
x
4
◊
2
=
∂
2
∂
x
1
+
∂
2
∂
x
2
+
∂
2
∂
x
3
+
∂
2
∂
x
4
]
{\displaystyle {\begin{matrix}{\begin{aligned}\lozenge \lozenge \times \mathbf {m} &=\mathbf {q} \\\lozenge \mathbf {M} &=\mathbf {q} \\\lozenge ^{2}\mathbf {m} &=-\mathbf {q} \end{aligned}}\\{\begin{aligned}\left({\frac {\partial H_{12}}{\partial x_{2}}}+{\frac {\partial H_{13}}{\partial x_{3}}}+{\frac {\partial E_{14}}{\partial x_{4}}}\right)\mathbf {k} _{1}&={\frac {\varrho }{c}}v_{1}\mathbf {k} _{1}\\\left({\frac {\partial H_{21}}{\partial x_{1}}}+{\frac {\partial H_{23}}{\partial x_{3}}}+{\frac {\partial E_{24}}{\partial x_{4}}}\right)\mathbf {k} _{2}&={\frac {\varrho }{c}}v_{2}\mathbf {k} _{2}\\\left({\frac {\partial H_{31}}{\partial x_{1}}}+{\frac {\partial H_{32}}{\partial x_{2}}}+{\frac {\partial E_{34}}{\partial x_{4}}}\right)\mathbf {k} _{3}&={\frac {\varrho }{c}}v_{3}\mathbf {k} _{3}\\\left({\frac {\partial H_{41}}{\partial x_{1}}}+{\frac {\partial H_{42}}{\partial x_{2}}}+{\frac {\partial E_{43}}{\partial x_{4}}}\right)\mathbf {k} _{4}&={\frac {\varrho }{c}}i\mathbf {k} _{4}\end{aligned}}\\\left[{\begin{matrix}\lozenge =\mathbf {k} _{1}{\frac {\partial }{\partial x_{1}}}+\mathbf {k} _{2}{\frac {\partial }{\partial x_{2}}}+\mathbf {k} _{3}{\frac {\partial }{\partial x_{3}}}+\mathbf {k} _{4}{\frac {\partial }{\partial x_{4}}}\\\lozenge ^{2}={\frac {\partial ^{2}}{\partial x_{1}}}+{\frac {\partial ^{2}}{\partial x_{2}}}+{\frac {\partial ^{2}}{\partial x_{3}}}+{\frac {\partial ^{2}}{\partial x_{4}}}\end{matrix}}\right]\end{matrix}}}
equivalent to (c,d).
In 1912, Lewis and w:Edwin Bidwell Wilson used only real coordinates, writing the above expressions as[ R 18]
◊
⋅
M
=
4
π
q
◊
2
m
=
−
4
π
q
[
◊
=
k
1
∂
∂
x
1
+
k
2
∂
∂
x
2
+
k
3
∂
∂
x
3
−
k
4
∂
∂
x
4
◊
2
=
∂
2
∂
x
1
+
∂
2
∂
x
2
+
∂
2
∂
x
3
−
∂
2
∂
x
4
]
{\displaystyle {\begin{matrix}{\begin{aligned}\lozenge \cdot \mathbf {M} &=4\pi \mathbf {q} \\\lozenge ^{2}\mathbf {m} &=-4\pi \mathbf {q} \end{aligned}}\\\left[{\begin{matrix}\lozenge =\mathbf {k} _{1}{\frac {\partial }{\partial x_{1}}}+\mathbf {k} _{2}{\frac {\partial }{\partial x_{2}}}+\mathbf {k} _{3}{\frac {\partial }{\partial x_{3}}}-\mathbf {k} _{4}{\frac {\partial }{\partial x_{4}}}\\\lozenge ^{2}={\frac {\partial ^{2}}{\partial x_{1}}}+{\frac {\partial ^{2}}{\partial x_{2}}}+{\frac {\partial ^{2}}{\partial x_{3}}}-{\frac {\partial ^{2}}{\partial x_{4}}}\end{matrix}}\right]\end{matrix}}}
equivalent to (c,d).
In the first textbook on relativity in 1911, w:Max von Laue elaborated on Sommerfeld's methods and explicitly used the term “four-current” (Viererstrom) of density
ϱ
{\displaystyle \varrho }
in relation to four-potential
Φ
{\displaystyle \Phi }
and electromagnetic tensor
M
{\displaystyle {\mathfrak {M}}}
:[ R 19]
P
⇒
(
P
x
=
ϱ
q
x
c
,
P
y
=
ϱ
q
y
c
,
P
z
=
ϱ
q
z
c
,
P
l
=
i
ϱ
)
P
=
Δ
i
v
(
M
)
−
P
=
◻
Φ
(
D
i
v
Φ
=
0
)
D
i
v
(
P
)
=
0
[
R
o
t
=
exterior product
D
i
v
=
divergence four-vector
Δ
i
v
=
divergence six-vector
◻
=
D'Alembert operator
]
{\displaystyle {\begin{matrix}P\Rightarrow \left(P_{x}={\frac {\varrho {\mathfrak {q}}_{x}}{c}},\ P_{y}={\frac {\varrho {\mathfrak {q}}_{y}}{c}},\ P_{z}={\frac {\varrho {\mathfrak {q}}_{z}}{c}},\ P_{l}=i\varrho \right)\\\hline {\begin{aligned}P&=\varDelta iv\ ({\mathfrak {M}})\\-P&=\square \Phi \ (Div\ \Phi =0)\\Div\ (P)&=0\end{aligned}}\\\left[{\begin{aligned}{\mathfrak {Rot}}&={\text{exterior product}}\\Div&={\text{divergence four-vector}}\\\varDelta iv&={\text{divergence six-vector}}\\\square &={\text{D'Alembert operator}}\end{aligned}}\right]\end{matrix}}}
equivalent to (a,c,d). He went on to define four-force density F as vector-product with
M
{\displaystyle {\mathfrak {M}}}
, four-convection K and four-conduction
Λ
{\displaystyle \Lambda }
using four-velocity Y :[ R 20]
F
=
[
P
M
]
,
(
P
F
)
=
(
P
[
P
M
]
)
=
0
K
=
−
(
Y
P
)
Y
Λ
=
P
+
(
Y
P
)
Y
{\displaystyle {\begin{matrix}F=[P{\mathfrak {M}}],\ (PF)=(P[P{\mathfrak {M}}])=0\\K=-(YP)Y\\\Lambda =P+(YP)Y\end{matrix}}}
,
w:Ludwik Silberstein devised an alternative 4D calculus based on w:Biquaternions which, however, never gained widespread support. He defined the “current-quaternion” (i.e. four-current) C and its relation to the “electromagnetic bivector” (i.e. field tensor)
F
{\displaystyle \mathbf {F} }
and “potential-quaternion” (i.e. four-potential)
Φ
{\displaystyle \Phi }
[ R 21]
C
=
ρ
(
ι
+
1
c
p
)
=
ι
ρ
d
q
d
l
C
=
D
F
=
−
◻
Φ
S
D
c
C
=
0
[
D
=
∂
∂
l
−
∇
,
D
D
c
=
◻
=
∂
2
∂
x
2
+
∂
2
∂
y
2
+
∂
2
∂
z
2
+
∂
2
∂
l
2
]
{\displaystyle {\begin{matrix}{\begin{aligned}\mathrm {C} &=\rho \left(\iota +{\frac {1}{c}}\mathbf {p} \right)\\&=\iota \rho {\frac {dq}{dl}}\\\mathrm {C} &=\mathrm {D} \mathbf {F} =-\Box \Phi \\\mathrm {S} \mathrm {D} _{c}\mathrm {C} &=0\end{aligned}}\\\left[\mathrm {D} ={\frac {\partial }{\partial l}}-\nabla ,\ \mathrm {D} \mathrm {D} _{c}=\Box ={\frac {\partial ^{2}}{\partial x^{2}}}+{\frac {\partial ^{2}}{\partial y^{2}}}+{\frac {\partial ^{2}}{\partial z^{2}}}+{\frac {\partial ^{2}}{\partial l^{2}}}\right]\end{matrix}}}
w:Friedrich Kottler defined the four-current
P
(
α
)
{\displaystyle \mathbf {P} ^{(\alpha )}}
and its relation to four-velocity
V
(
α
)
{\displaystyle V^{(\alpha )}}
, four-potential
Φ
α
{\displaystyle \Phi _{\alpha }}
, four-force
F
α
{\displaystyle F_{\alpha }}
, electromagnetic field-tensor
F
α
β
{\displaystyle F_{\alpha \beta }}
, stress-energy tensor
S
α
β
{\displaystyle S_{\alpha \beta }}
:[ R 22]
P
(
1
)
=
ρ
v
x
c
=
i
ρ
0
V
(
1
)
,
P
(
2
)
=
ρ
v
y
c
=
i
ρ
0
V
(
2
)
,
P
(
3
)
=
ρ
v
z
c
=
i
ρ
0
V
(
3
)
,
P
(
4
)
=
i
ρ
=
i
ρ
0
V
(
4
)
∑
h
=
1
4
∂
F
g
h
∂
x
(
h
)
=
P
(
g
)
,
◻
Φ
α
=
−
P
(
α
)
F
α
(
y
)
=
∑
β
F
α
β
(
y
)
P
(
β
)
(
y
)
1
−
w
2
/
c
2
[
∑
β
F
α
β
(
y
)
P
(
β
)
(
y
)
=
∑
β
F
α
β
(
y
)
∑
γ
∂
∂
y
(
γ
)
F
β
γ
(
y
)
=
∑
β
∂
∂
y
(
β
)
S
α
β
,
ρ
0
=
ρ
1
−
v
2
/
c
2
]
{\displaystyle {\begin{matrix}P^{(1)}=\rho {\frac {{\mathfrak {v}}_{x}}{c}}=i\rho _{0}V^{(1)},\ P^{(2)}=\rho {\frac {{\mathfrak {v}}_{y}}{c}}=i\rho _{0}V^{(2)},\ P^{(3)}=\rho {\frac {{\mathfrak {v}}_{z}}{c}}=i\rho _{0}V^{(3)},\ P^{(4)}=i\rho =i\rho _{0}V^{(4)}\\\hline \sum _{h=1}^{4}{\frac {\partial F_{gh}}{\partial x^{(h)}}}=\mathbf {P} ^{(g)},\ \Box \Phi _{\alpha }=-\mathbf {P} ^{(\alpha )}\\F_{\alpha }(y)=\sum _{\beta }{\frac {F_{\alpha \beta }(y)\mathbf {P} ^{(\beta )}(y)}{\sqrt {1-{\mathfrak {w}}^{2}/c^{2}}}}\\\left[{\underset {\beta }{\sum }}F_{\alpha \beta }(y)\mathbf {P} ^{(\beta )}(y)={\underset {\beta }{\sum }}F_{\alpha \beta }(y){\underset {\gamma }{\sum }}{\frac {\partial }{\partial y^{(\gamma )}}}F_{\beta \gamma }(y)={\underset {\beta }{\sum }}{\frac {\partial }{\partial y^{(\beta )}}}S_{\alpha \beta },\ \rho _{0}=\rho {\sqrt {1-{\mathfrak {v}}^{2}/c^{2}}}\right]\end{matrix}}}
equivalent to (a,b,c,d) and subsequently was the first to give the generally covariant formulation of Maxwell's equations using metric tensor
c
α
β
{\displaystyle c_{\alpha \beta }}
[ R 23]
∑
c
(
1
α
)
∑
β
,
γ
c
(
β
γ
)
Φ
α
/
β
γ
=
−
P
(
α
)
etc
.
[
∑
β
,
γ
c
(
β
γ
)
Φ
β
/
γ
=
0
]
{\displaystyle {\begin{matrix}\sum c^{(1\alpha )}\sum _{\beta ,\gamma }c^{(\beta \gamma )}\Phi _{\alpha /\beta \gamma }=-\mathbf {P} ^{(\alpha )}\ {\text{etc}}.\\\left[\sum _{\beta ,\gamma }c^{(\beta \gamma )}\Phi _{\beta /\gamma }=0\right]\end{matrix}}}
equivalent to (e).
Independently of Kottler (1912), w:Albert Einstein defined the general covariant four-current in the context of his Entwurf theory (a precursor of general relativity):[ R 24]
ϱ
0
d
x
ν
d
s
=
1
−
g
ϱ
0
d
x
ν
d
t
{\displaystyle \varrho _{0}{\frac {dx_{\nu }}{ds}}={\frac {1}{\sqrt {-g}}}\varrho _{0}{\frac {dx_{\nu }}{dt}}}
equivalent to (a), and the generally covariant formulation of Maxwell's equations
∑
ν
∂
∂
x
ν
(
−
g
⋅
φ
μ
ν
)
=
ϱ
0
d
x
μ
d
t
∂
H
x
∂
y
−
∂
H
y
∂
z
−
∂
E
x
∂
t
=
u
x
…
…
∂
E
x
∂
x
+
∂
E
y
∂
z
+
∂
E
x
∂
z
=
ϱ
[
ϱ
0
d
x
μ
d
t
=
u
μ
]
{\displaystyle {\begin{matrix}\sum _{\nu }{\frac {\partial }{\partial x_{\nu }}}\left({\sqrt {-g}}\cdot \varphi _{\mu \nu }\right)=\varrho _{0}{\frac {dx_{\mu }}{dt}}\\\hline {\begin{aligned}{\frac {\partial {\mathfrak {H}}_{x}}{\partial y}}-{\frac {\partial {\mathfrak {H}}_{y}}{\partial z}}-{\frac {\partial {\mathfrak {E}}_{x}}{\partial t}}&=u_{x}\\\dots \\\dots \\{\frac {\partial {\mathfrak {E}}_{x}}{\partial x}}+{\frac {\partial {\mathfrak {E}}_{y}}{\partial z}}+{\frac {\partial {\mathfrak {E}}_{x}}{\partial z}}&=\varrho \end{aligned}}\\\left[\varrho _{0}{\frac {dx_{\mu }}{dt}}=u_{\mu }\right]\end{matrix}}}
equivalent to (e) in the case of
g
μ
ν
{\displaystyle g_{\mu \nu }}
being the Minkowski tensor.
↑ Poincaré (1905a), p. 1505
↑ Poincaré (1905b), p. 133–134
↑ Poincaré (1905b), p. 134
↑ Marcolongo (1906), p. 348-349
↑ Minkowski (1907/15), p. 929
↑ Minkowski (1907/15), p. 933
↑ Minkowski (1907/8), p. 57, 60, 67
↑ Minkowski (1907/8), p. 71
↑ Born (1909), p. 573-574, 576-577
↑ Bateman (1910), p. 241
↑ Bateman (1910), p. 252
↑ Ignatowsky (1910), p. 24-25
↑ Sommerfeld (1910a), p. 751
↑ Sommerfeld (1910b), p. 651
↑ Sommerfeld (1910a), p. 764
↑ Sommerfeld (1910a), p. 770
↑ Lewis (1910), p. 176ff
↑ Wilson & Lewis (1910), p. 488ff
↑ Laue (1911), p. 77f, 100f
↑ Laue (1911), p. 80, 102, 119
↑ Silberstein (1911), p. 796, 801f
↑ Kottler (1912), p. 1661, 1686ff
↑ Kottler (1912), p. 1688-1689
↑ Einstein & Grossmann (1913), p. 241
See also the transcription The Transformation of the Electrodynamical Equations on English Wikisource
Born, M. (1909), "Die träge Masse und das Relativitätsprinzip" , Annalen der Physik , 333 (3): 571–584
Einstein, A. & Grossmann, M. (1913), "Entwurf einer verallgemeinerten Relativitätstheorie und eine Theorie der Gravitation" , Zeitschrift für Mathematik und Physik , 62 : 225–261 {{citation }}: CS1 maint: multiple names: authors list (link )
Herglotz, G. (1904), "Über die Berechnung retardierter Potentiale" , Gött. Nachr. (6): 549–556
Ignatowsky, W. v. (1910), "Das Relativitätsprinzip" , Archiv der Mathematik und Physik 17: 1-24, 18: 17-40
See also the transcription Das Relativitätsprinzip on German Wikisource
See also the transcription On the spacetime lines of a Minkowski world on English Wikisource
Laue, M. v. (1911), Das Relativitätsprinzip , Braunschweig: Vieweg
Lewis, G. N. (1910), "On Four-Dimensional Vector Analysis, and Its Application in Electrical Theory" , Proceedings of the American Academy of Arts and Sciences , 43 (7): 165–181
Lewis, G. N. & Wilson, E. B. (1912), "The Space-time Manifold of Relativity. The Non-Euclidean Geometry of Mechanics and Electromagnetics" , Proceedings of the American Academy of Arts and Sciences , 48 : 387–507 {{citation }}: CS1 maint: multiple names: authors list (link )
Marcolongo, R. (1906), "Sugli integrali delle equazioni dell'elettrodinamica" (PDF) , Atti della Reale Accademia dei Lincei Rendiconti , 15 : 344–349
Minkowski, H. (1915) [1907], "Das Relativitätsprinzip" , Annalen der Physik , 352 (15): 927–938
See also the transcription Das Relativitätsprinzip on German Wikisource
See also the transcription Die Grundgleichungen für die elektromagnetischen Vorgänge in bewegten Körpern on German Wikisource
See also the transcription The Fundamental Equations for Electromagnetic Processes in Moving Bodies on English Wikisource
Poincaré, H. (1905), "Sur la dynamique de l'électron", Comptes Rendus , 140 : 1504–1508
See also the transcription Sur la dynamique de l’électron on French Wikisource
See also the transcription On the Dynamics of the Electron on English Wikisource
Poincaré, H. (1906) [1905], "Sur la dynamique de l'électron", Rendiconti del Circolo Matematico di Palermo , 21 : 129–176
See also the transcription Sur la dynamique de l’électron on French Wikisource
See also the transcription On the Dynamics of the Electron on English Wikisource
Silberstein, L. (1912) [1911], "Quaternionic form of relativity" , The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science , 23 (137): 790–809, doi :10.1080/14786440508637276
Sommerfeld, A. (1910a), "Zur Relativitätstheorie I: Vierdimensionale Vektoralgebra" , Annalen der Physik , 337 (9): 749–776
See also the transcription On the Theory of Relativity I: Four-dimensional Vector Algebra on English Wikisource
See also the transcription On the Theory of Relativity II: Four-dimensional Vector Analysis on English Wikisource