History of 4-Vectors (edit )
The w:Electromagnetic four-potential
A
α
{\displaystyle A^{\alpha }}
combines both an w:electric scalar potential and a w:magnetic vector potential into a single four-vector satisfying the w:Lorenz gauge condition :
A
α
=
(
ϕ
/
c
,
A
)
,
[
∂
μ
A
μ
=
0
]
(
a
)
(
L
)
{\displaystyle {\begin{matrix}A^{\alpha }=\left(\phi /c,\mathbf {A} \right),&\ \left[\partial _{\mu }A^{\mu }=0\right]\\(a)&(L)\end{matrix}}}
Its product with the w:D'Alembert operator can be related to the four-current
J
β
{\displaystyle J^{\beta }}
or the four-divergence of the w:electromagnetic tensor
F
α
β
{\displaystyle F^{\alpha \beta }}
representing w:Maxwell equations :
◻
A
β
=
μ
0
J
β
=
∂
α
F
α
β
(
b
)
(
c
)
{\displaystyle {\begin{matrix}\square A^{\beta }&=\mu _{0}J^{\beta }&=\partial _{\alpha }F^{\alpha \beta }\\&(b)&(c)\end{matrix}}}
and by forming the w:exterior derivative (four-curl) it produces the electromagnetic tensor:
(
d
)
F
μ
ν
=
∂
μ
A
ν
−
∂
ν
A
μ
{\displaystyle (d)\quad F_{\mu \nu }=\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu }}
The four-potential has the solution:
(
e
)
A
α
=
−
1
4
π
2
∫
J
α
x
2
+
y
2
+
z
2
−
t
2
d
x
d
y
d
z
d
t
{\displaystyle (e)\quad A^{\alpha }=-{\frac {1}{4\pi ^{2}}}\int {\frac {J^{\alpha }}{x^{2}+y^{2}+z^{2}-t^{2}}}dx\,dy\,dz\,dt}
The electric part of (b) was given by Riemann in 1858, while the complete equation (b) together with the Lorenz gauge condition of the four-potential was given by L. Lorenz in 1867, all of which was popularized by H. A. Lorentz in 1892. Solution (e) of the four-potential was given by #Herglotz (1904) , while the Lorentz transformation of all components of (a) was given by #Poincaré (1905/6) and #Marcolongo (1906) . The modern treatment of the four-potential was given by #Minkowski (1907/15) and was elaborated by #Born (1909) , #Bateman (1909/10) , #Sommerfeld (1910) , #Lewis (1910), Wilson/Lewis (1912) , #Von Laue (1911/13) , #Silberstein (1911) , and embedded in a generally covariant treatment of electromagnetism by #Kottler (1912) and #Einstein (1916) .
w:Gustav Kirchhoff (1857) defined the w:continuity equation
d
u
d
x
+
d
v
d
y
+
d
w
d
z
=
−
1
2
d
ϵ
d
t
{\displaystyle {\frac {du}{dx}}+{\frac {dv}{dy}}+{\frac {dw}{dz}}=-{\frac {1}{2}}{\frac {d\epsilon }{dt}}}
for electric density and the "Kirchhoff gauge condition”
d
U
d
x
+
d
V
d
y
+
d
W
d
z
=
1
2
d
Ω
d
t
{\displaystyle {\frac {dU}{dx}}+{\frac {dV}{dy}}+{\frac {dW}{dz}}={\frac {1}{2}}{\frac {d\Omega }{dt}}}
for potentials in which ”u,v,w” depend on U,V,W .[ R 1] This is similar to the Lorentz gauge condition (L) with a sign change, yet Kirchhoff was still thinking in terms of Weber's electrodynamics involving actions at a distance.
In a lecture given in 1858, published 1867, w:Bernhard Riemann defined the retarded electric potential ”U” satisfying[ R 2]
d
2
U
d
t
2
−
α
α
(
d
2
U
d
x
2
+
d
2
U
d
y
2
+
d
2
U
d
z
2
)
+
α
α
4
π
ϱ
=
0
{\displaystyle {\frac {d^{2}U}{dt^{2}}}-\alpha \alpha \left({\frac {d^{2}U}{dx^{2}}}+{\frac {d^{2}U}{dy^{2}}}+{\frac {d^{2}U}{dz^{2}}}\right)+\alpha \alpha 4\pi \varrho =0}
This corresponds to the electrical part of the inhomogeneous electromagnetic wave equation (b1), but Riemann didn't discuss the corresponding magnetic part (b2) in his model.
w:Ludvig Lorenz (1867) gave the first gave a complete formulation of the electromagnetic potential. Elaborating on Kirchhoff's work, Lorenz redefined u, v, w by replacing U, V, W with the retarded magnetic potentials
α
,
β
,
γ
{\displaystyle \alpha ,\beta ,\gamma }
and
Ω
{\displaystyle \Omega }
by the retarded electric potential
Ω
¯
{\displaystyle {\overline {\Omega }}}
, independently derived Maxwell's equations, and formulated the following conditions[ R 3]
d
u
d
x
+
d
v
d
y
+
d
w
d
z
=
−
1
2
d
ϵ
d
t
(
1
)
d
Ω
¯
d
t
=
−
2
(
d
α
d
x
+
d
β
d
y
+
d
γ
d
z
)
or
d
α
d
x
+
d
β
d
y
+
d
γ
d
z
=
−
1
2
d
Ω
¯
d
t
(
2
)
(
Δ
2
−
d
2
a
2
d
t
2
)
∫
∫
∫
d
x
′
d
y
′
d
z
r
ϕ
(
t
−
r
a
,
x
′
,
y
′
,
z
′
)
=
−
4
π
ϕ
(
t
,
x
,
y
,
z
)
(
3
)
(
Δ
2
=
d
2
d
x
2
+
d
2
d
y
2
+
d
2
d
z
2
)
{\displaystyle {\begin{matrix}{\frac {du}{dx}}+{\frac {dv}{dy}}+{\frac {dw}{dz}}=-{\frac {1}{2}}{\frac {d\epsilon }{dt}}&(1)\\{\frac {d{\overline {\Omega }}}{dt}}=-2\left({\frac {d\alpha }{dx}}+{\frac {d\beta }{dy}}+{\frac {d\gamma }{dz}}\right){\text{ or }}{\frac {d\alpha }{dx}}+{\frac {d\beta }{dy}}+{\frac {d\gamma }{dz}}=-{\frac {1}{2}}{\frac {d{\overline {\Omega }}}{dt}}&(2)\\\left(\Delta _{2}-{\frac {d^{2}}{a^{2}dt^{2}}}\right)\int \int \int {\frac {dx'dy'dz}{r}}\phi \left(t-{\frac {r}{a}},x',y',z'\right)=-4\pi \phi (t,x,y,z)&(3)\\\left(\Delta _{2}={\frac {d^{2}}{dx^{2}}}+{\frac {d^{2}}{dy^{2}}}+{\frac {d^{2}}{dz^{2}}}\right)\end{matrix}}}
Equations (1) is the continuity condition for the electromagnetic four-current, (2) the Lorenz gauge condition of the four-potential (L), while (3) is used to define the inhomogeneous electromagnetic wave equation.
These methods were popularized by w:Hendrik Lorentz (1892) who incorporated them into his theory of electrons and immobile aether , in which fields and electrons were strictly separated[ R 4]
χ
=
−
1
4
π
V
2
∫
1
r
F
(
t
−
r
V
,
x
′
,
y
′
,
z
′
)
d
τ
′
V
2
Δ
χ
−
∂
2
χ
∂
t
2
=
F
(
t
,
x
,
y
,
z
)
(
Δ
=
∂
2
d
x
2
+
∂
2
d
y
2
+
∂
2
d
z
2
)
V
2
Δ
ω
−
∂
2
ω
∂
t
2
=
ρ
0
V
2
Δ
χ
1
−
∂
2
χ
1
∂
t
2
=
ρ
0
x
V
2
Δ
χ
2
−
∂
2
χ
2
∂
t
2
=
ρ
0
y
V
2
Δ
χ
3
−
∂
2
χ
3
∂
t
2
=
ρ
0
z
{\displaystyle {\begin{matrix}\chi =-{\frac {1}{4\pi V^{2}}}\int {\frac {1}{r}}F\left(t-{\frac {r}{V}},x',y',z'\right)d\tau '\\V^{2}\Delta \chi -{\frac {\partial ^{2}\chi }{\partial t^{2}}}=F(t,x,y,z)\\\left(\Delta ={\frac {\partial ^{2}}{dx^{2}}}+{\frac {\partial ^{2}}{dy^{2}}}+{\frac {\partial ^{2}}{dz^{2}}}\right)\\\hline {\begin{aligned}V^{2}\Delta \omega -{\frac {\partial ^{2}\omega }{\partial t^{2}}}&=\rho _{0}\\V^{2}\Delta \chi _{1}-{\frac {\partial ^{2}\chi _{1}}{\partial t^{2}}}&=\rho _{0}\mathrm {x} \\V^{2}\Delta \chi _{2}-{\frac {\partial ^{2}\chi _{2}}{\partial t^{2}}}&=\rho _{0}\mathrm {y} \\V^{2}\Delta \chi _{3}-{\frac {\partial ^{2}\chi _{3}}{\partial t^{2}}}&=\rho _{0}\mathrm {z} \end{aligned}}\end{matrix}}}
w:Gustav Herglotz – similar to w:Arthur W. Conway in 1903[ R 5] – showed that the wave equation in terms of potential
φ
{\displaystyle \varphi }
[ R 6]
∂
2
φ
∂
t
2
−
c
2
(
∂
2
φ
∂
x
2
+
∂
2
φ
∂
y
2
+
∂
2
φ
∂
z
2
)
=
0
{\displaystyle {\frac {\partial ^{2}\varphi }{\partial t^{2}}}-c^{2}\left({\frac {\partial ^{2}\varphi }{\partial x^{2}}}+{\frac {\partial ^{2}\varphi }{\partial y^{2}}}+{\frac {\partial ^{2}\varphi }{\partial z^{2}}}\right)=0}
has the solution in terms of the complex variable
τ
{\displaystyle \tau }
φ
=
c
4
π
2
i
∫
s
(
t
−
τ
)
d
τ
R
t
−
τ
2
−
c
2
τ
2
[
R
2
=
(
x
−
x
′
)
2
+
(
y
−
y
′
)
2
+
(
z
−
z
′
)
2
]
{\displaystyle {\begin{matrix}\varphi ={\frac {c}{4\pi ^{2}i}}\int {\frac {s(t-\tau )d\tau }{R_{t-\tau }^{2}-c^{2}\tau ^{2}}}\\\left[R^{2}=(x-x')^{2}+(y-y')^{2}+(z-z')^{2}\right]\end{matrix}}}
from which he obtained the retarded potential
Φ
{\displaystyle \Phi }
in terms of charge density
ϱ
{\displaystyle \varrho }
and four coordinates
(
x
′
,
y
′
,
z
′
,
t
−
τ
)
{\displaystyle (x',y',z',t-\tau )}
as follows
Φ
=
c
4
π
2
i
∫
d
τ
∫
ϱ
(
x
′
,
y
′
,
z
′
,
t
−
τ
)
R
2
−
c
2
τ
2
d
v
{\displaystyle \Phi ={\frac {c}{4\pi ^{2}i}}\int d\tau \int {\frac {\varrho \left(x',y',z',t-\tau \right)}{R^{2}-c^{2}\tau ^{2}}}dv}
Using these results, Herglotz went on to determine the force exerted by an electron on another one by defining the potential
P
(
T
,
α
)
{\displaystyle P(T,\alpha )}
, which he interpreted as the "ordinary four-dimensional mutual potential of two three-dimensional spherical disks located in four-dimensional space", in which
α
{\displaystyle \alpha }
is the radius and T the distance of their centers.
#Sommerfeld (1910) called Herglotz's equations "the most natural representation of electrodynamic potential in the sense of relativity theory", which is notable because this solution was given by Herglotz already in 1904 before the spacetime representations of Poincaré and Minkowski. Sommerfeld also remarked that Minkowski privately told him that the four-dimensional symmetry of electrodynamics is latently contained and mathematically applied in Herglotz's paper.[ R 7]
w:Henri Poincaré in July 1905, published 1906, showed that the four quantities related to the electromagnetic potential (defined in relation to the components of the four-current using the D'Alembert operator) in different frames are related to each other by Lorentz transformations[ R 8]
◻
′
ψ
′
=
−
ρ
′
,
◻
′
F
′
=
−
ρ
′
ξ
′
,
…
ψ
′
=
k
l
(
ψ
+
ϵ
F
)
,
F
′
=
k
l
(
F
+
ϵ
ψ
)
,
G
′
=
1
l
G
,
H
′
=
1
l
H
[
k
=
1
1
−
ϵ
2
,
l
=
1
,
◻
′
=
∑
d
2
d
x
′
2
−
d
2
d
t
′
2
]
{\displaystyle {\begin{matrix}\square ^{\prime }\psi ^{\prime }=-\rho ^{\prime },\quad \square ^{\prime }F^{\prime }=-\rho ^{\prime }\xi ^{\prime },\dots \\\hline \psi ^{\prime }={\frac {k}{l}}(\psi +\epsilon F),\ F^{\prime }={\frac {k}{l}}(F+\epsilon \psi ),\ G^{\prime }={\frac {1}{l}}G,\ H^{\prime }={\frac {1}{l}}H\\\left[k={\frac {1}{\sqrt {1-\epsilon ^{2}}}},\ l=1,\ \square ^{\prime }=\sum {\frac {d^{2}}{dx^{\prime 2}}}-{\frac {d^{2}}{dt^{\prime 2}}}\right]\end{matrix}}}
satisfying the Lorenz gauge condition[ R 9]
d
ψ
′
d
t
′
+
∑
d
F
′
d
x
′
=
0
{\displaystyle {\frac {d\psi ^{\prime }}{dt^{\prime }}}+\sum {\frac {dF^{\prime }}{dx^{\prime }}}=0}
Even though Poincaré didn't directly use four-vector notation in this case, his quantities are the components of the four-potential in arbitrary inertial frames.
w:Roberto Marcolongo , citing Poincaré, defined the general Lorentz transformation
α
,
β
,
γ
,
δ
{\displaystyle \alpha ,\beta ,\gamma ,\delta }
of the components of the four-potential
J
,
φ
{\displaystyle \mathbf {J} ,\varphi }
:[ R 10]
(
J
x
,
J
y
,
J
z
)
=
J
,
(
J
x
′
,
J
y
′
,
J
z
′
)
=
J
′
J
x
′
′
=
α
1
J
x
+
β
1
J
y
+
γ
1
J
z
−
i
δ
1
φ
…
φ
′
=
i
α
4
J
x
+
i
β
4
J
y
+
i
γ
4
J
z
+
δ
4
φ
{\displaystyle {\begin{matrix}(J_{x},J_{y},J_{z})=\mathbf {J} ,\ (J_{x}^{\prime },J_{y}^{\prime },J_{z}^{\prime })=\mathbf {J} '\\\hline J_{x'}^{\prime }=\alpha _{1}\mathbf {J} _{x}+\beta _{1}\mathbf {J} _{y}+\gamma _{1}\mathbf {J} _{z}-i\delta _{1}\varphi \\\dots \\\varphi '=i\alpha _{4}\mathbf {J} _{x}+i\beta _{4}\mathbf {J} _{y}+i\gamma _{4}\mathbf {J} _{z}+\delta _{4}\varphi \end{matrix}}}
equivalent to the components of (a) and the relation to the components of the four-current
(
J
x
,
J
y
,
J
z
)
=
J
,
(
J
x
′
,
J
y
′
,
J
z
′
)
=
J
′
◻
J
x
′
=
−
4
π
ϱ
′
ξ
′
=
−
4
π
ϱ
(
α
1
ξ
+
β
1
η
+
γ
1
ζ
−
i
δ
1
)
,
…
◻
J
=
−
4
π
ϱ
V
,
◻
φ
=
−
4
π
ρ
,
◻
φ
′
=
−
4
π
ϱ
′
◻
J
x
′
=
◻
(
α
1
J
x
+
β
1
J
y
+
γ
1
J
z
−
i
δ
1
φ
)
,
…
{\displaystyle {\begin{matrix}(J_{x},J_{y},J_{z})=\mathbf {J} ,\ (J_{x}^{\prime },J_{y}^{\prime },J_{z}^{\prime })=\mathbf {J} '\\\hline \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 '\\\Box \mathbf {J} '_{x}=\Box \left(\alpha _{1}\mathbf {J} _{x}+\beta _{1}\mathbf {J} _{y}+\gamma _{1}\mathbf {J} _{z}-i\delta _{1}\varphi \right),\dots \end{matrix}}}
equivalent to the components of (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-potential with
ψ
1
,
ψ
2
,
ψ
3
{\displaystyle \psi _{1},\ \psi _{2},\ \psi _{3}}
as the components of the vector potential, and
Φ
{\displaystyle \Phi }
as scalar potential:[ R 11]
ψ
⇒
(
ψ
1
,
ψ
2
,
ψ
3
,
ψ
4
)
ψ
4
=
i
Φ
{\displaystyle \psi \Rightarrow \left(\psi _{1},\ \psi _{2},\ \psi _{3},\psi _{4}\right)\ \psi _{4}=i\Phi }
[ R 12]
equivalent to (a), pointed out the relation to the four-current using the D'Alembert operator
◻
ψ
j
=
−
ϱ
j
(
j
=
1
,
2
,
3
,
4
)
,
{\displaystyle \square \psi _{j}=-\varrho _{j}\ (j=1,2,3,4),}
equivalent to (b), as well as the relation to the electromagnetic tensor (which he called "Traktor”) by setting the exterior derivative (four-curl):
ψ
j
k
=
∂
ψ
k
∂
x
j
−
∂
ψ
j
∂
x
k
{\displaystyle \psi _{jk}={\frac {\partial \psi _{k}}{\partial x_{j}}}-{\frac {\partial \psi _{j}}{\partial x_{k}}}}
equivalent to (d).
w:Max Born (1909) defined the four-potential and the Lorenz gauge condition[ R 13]
(
Φ
x
,
Φ
y
,
Φ
z
,
i
Φ
)
⇒
(
Φ
1
,
Φ
2
,
Φ
3
,
Φ
4
)
∂
ϱ
w
x
∂
x
+
∂
ϱ
w
y
∂
y
+
∂
ϱ
w
z
∂
z
+
∂
ϱ
∂
t
=
0
{\displaystyle {\begin{matrix}\left(\Phi _{x},\ \Phi _{y},\ \Phi _{z},\ i\Phi \right)\Rightarrow \left(\Phi _{1},\ \Phi _{2},\ \Phi _{3},\ \Phi _{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 that its product with the D'Alembert operator corresponds to the four-current
ϱ
α
{\displaystyle \varrho _{\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 (b), and its exterior derivative (four-curl) forming the electromagnetic tensor
f
α
β
=
∂
Φ
β
∂
x
α
−
∂
Φ
α
∂
x
β
{\displaystyle f_{\alpha \beta }={\frac {\partial \Phi _{\beta }}{\partial x_{\alpha }}}-{\frac {\partial \Phi _{\alpha }}{\partial x_{\beta }}}}
equivalent to (d).
A discussion of four-potential 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:[ R 14]
A
x
=
β
(
A
x
′
−
v
Φ
′
)
,
−
Φ
=
β
(
v
A
x
′
−
Φ
′
)
,
A
y
=
A
y
′
,
A
z
=
A
z
′
,
[
β
=
1
1
−
v
2
]
{\displaystyle A_{x}=\beta (A'_{x}-v\Phi '),\ -\Phi =\beta (vA'_{x}-\Phi '),\ A_{y}=A'_{y},\ A_{z}=A'_{z},\ \left[\beta ={\frac {1}{\sqrt {1-v^{2}}}}\right]}
forming the following invarant relations using differential four-position and four-current:[ R 15]
A
x
d
x
+
A
y
d
y
+
A
z
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}A_{x}dx+A_{y}dy+A_{z}dz-\Phi dt\\\rho \left[A_{x}w_{x}+A_{y}w_{y}+A_{z}w_{z}-\Phi \right]dx\ dy\ dz\ dt\end{matrix}}}
In influential papers on 4D vector calculus in relativity, w:Arnold Sommerfeld simplified Minkowski's spacetime formalism and defined the four-potential
Φ
{\displaystyle \Phi }
in relation to the four-current P and the electromagnetic tensor (six-vector) f together with the Lorenz gauge condition:[ R 16]
Φ
⇒
(
Φ
x
=
A
x
,
Φ
y
=
A
y
,
Φ
z
=
A
z
,
Φ
l
=
i
φ
)
R
o
t
Φ
=
f
D
i
v
R
o
t
Φ
=
D
i
v
f
=
P
◻
Φ
=
−
P
D
i
v
Φ
=
0
[
R
o
t
=
exterior product
D
i
v
=
divergence four-vector
D
i
v
=
divergence six-vector
◻
=
D'Alembert operator
l
=
i
c
t
]
{\displaystyle {\begin{matrix}\Phi \Rightarrow \left(\Phi _{x}={\mathfrak {A}}_{x},\ \Phi _{y}={\mathfrak {A}}_{y},\ \Phi _{z}={\mathfrak {A}}_{z},\ \Phi _{l}=i\varphi \right)\\\hline {\begin{aligned}\mathrm {Rot} \ \Phi &=f\\{\mathfrak {Div}}\mathrm {Rot} \ \Phi &={\mathfrak {Div}}\ f=P\\\square \Phi &=-P\\\mathrm {Div} \ \Phi &=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}}\\&l=ict\end{aligned}}\right]\end{matrix}}}
equivalent to (a,b,c,d), with the Herglotz solution[ R 17]
4
π
2
Φ
=
∫
P
R
2
d
Σ
,
[
R
2
=
(
x
−
x
0
)
2
+
(
y
−
y
0
)
2
+
(
z
−
z
0
)
2
+
(
l
−
l
0
)
2
]
{\displaystyle 4\pi ^{2}\Phi =\int {\frac {P}{R^{2}}}d\Sigma ,\ \left[R^{2}=\left(x-x_{0}\right)^{2}+\left(y-y_{0}\right)^{2}+\left(z-z_{0}\right)^{2}+\left(l-l_{0}\right)^{2}\right]}
equivalent to (e). He also formulated the "electro-kinetic potential” as the scalar product with the four-current[ R 18]
(
P
Φ
)
{\displaystyle (P\Phi )}
w:Gilbert Newton Lewis (1910) devised an alternative 4D vector calculus based on w:Dyadics which, however, never gained widespread support. The four-potential is a “1-vector”[ R 19]
m
=
a
+
i
ϕ
k
4
=
a
1
k
1
+
a
2
k
2
+
a
3
k
3
+
i
ϕ
k
4
{\displaystyle {\begin{aligned}\mathbf {m} &=\mathbf {a} +i\phi \mathbf {k} _{4}\\&=a_{1}\mathbf {k} _{1}+a_{2}\mathbf {k} _{2}+a_{3}\mathbf {k} _{3}+i\phi \mathbf {k} _{4}\end{aligned}}}
equivalent to (a), and its relation to the four-current
q
{\displaystyle \mathbf {q} }
and electromagnetic tensor
M
{\displaystyle \mathbf {M} }
:
◊
◊
×
m
=
q
◊
×
◊
×
m
=
0
◊
×
m
=
M
=
E
+
H
◊
m
=
0
◊
2
m
=
−
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 \lozenge \times \mathbf {m} &=\mathbf {q} \\\lozenge \times \lozenge \times \mathbf {m} &=0\\\lozenge \times \mathbf {m} &=\mathbf {M} =\mathbf {E} +\mathbf {H} \\\lozenge \mathbf {m} &=0\\\lozenge ^{2}\mathbf {m} &=-\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 (b,c,d).
In 1912, Lewis and w:Edwin Bidwell Wilson used only real coordinates, writing the above operators as[ R 20]
◊
2
m
=
−
4
π
q
M
=
◊
×
m
◊
×
M
=
◊
×
◊
×
m
=
0
◊
⋅
M
=
◊
⋅
m
(
◊
×
m
)
=
◊
(
◊
⋅
m
)
−
(
◊
⋅
◊
)
m
◊
m
=
0
[
◊
=
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 ^{2}\mathbf {m} &=-4\pi \mathbf {q} \\\mathbf {M} &=\lozenge \times \mathbf {m} \\\lozenge \times \mathbf {M} &=\lozenge \times \lozenge \times \mathbf {m} =0\\\lozenge \cdot \mathbf {M} &=\lozenge \cdot \mathbf {m} (\lozenge \times \mathbf {m} )=\lozenge (\lozenge \cdot \mathbf {m} )-(\lozenge \cdot \lozenge )\mathbf {m} \\\lozenge \mathbf {m} &=0\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 (b,c,d).
In the first textbook on relativity in 1911, w:Max von Laue elaborated on Sommerfeld's methods and explicitly introduced the term four-potential (Viererpotential)
Φ
{\displaystyle \Phi }
in terms of vector potential
A
{\displaystyle {\mathfrak {A}}}
and scalar potential
φ
{\displaystyle \varphi }
, showing its showed its relation to the four-current P and the electromagnetic tensor (six-vector)
M
{\displaystyle {\mathfrak {M}}}
together with the Lorenz gauge condition[ R 21]
(
A
,
φ
)
⇒
Φ
R
o
t
Φ
=
M
D
i
v
R
o
t
Φ
=
Δ
i
v
(
M
)
=
P
◻
Φ
=
−
P
D
i
v
Φ
=
0
[
R
o
t
=
exterior product
D
i
v
=
divergence four-vector
Δ
i
v
=
divergence six-vector
◻
=
D'Alembert operator
]
{\displaystyle {\begin{matrix}\left({\mathfrak {A}},\varphi \right)\Rightarrow \Phi \\\hline {\begin{aligned}{\mathfrak {Rot}}\Phi &={\mathfrak {M}}\\{\mathfrak {Div}}\mathrm {Rot} \ \Phi &=\varDelta iv\ ({\mathfrak {M}})=P\\\square \Phi &=-P\\Div\ \Phi &=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,b,c,d).
In the second edition (preface dated 1912, published 1913), von Laue also formulated the Herglotz solution:[ R 22]
Φ
=
1
4
π
2
∫
P
R
2
d
Σ
{\displaystyle \Phi ={\frac {1}{4\pi ^{2}}}\int {\frac {P}{R^{2}}}d\Sigma }
equivalent to (e).
w:Ludwik Silberstein devised an alternative 4D calculus based on w:Biquaternions which, however, never gained widespread support. He defined the “potential-quaternion” (i.e. four-potential)
Φ
{\displaystyle \Phi }
in relation to the “current-quaternion” (i.e. four-current) C and the “electromagnetic bivector” (i.e. field tensor)
F
{\displaystyle \mathbf {F} }
[ R 23]
Φ
=
i
ϕ
+
A
−
D
c
Φ
=
F
◻
Φ
=
−
C
,
(
S
D
c
Φ
=
0
)
[
D
=
∂
∂
l
−
∇
,
D
c
=
conjugate
D
D
D
c
=
◻
=
∂
2
∂
x
2
+
∂
2
∂
y
2
+
∂
2
∂
z
2
+
∂
2
∂
l
2
]
{\displaystyle {\begin{matrix}\Phi =i\phi +\mathbf {A} \\\hline {\begin{aligned}-\mathrm {D_{c}} \Phi &=\mathbf {F} \\\Box \Phi &=-\mathrm {C} ,\ \left(\mathrm {S} \mathrm {D} _{c}\Phi =0\right)\end{aligned}}\\\left[{\begin{matrix}\mathrm {D} ={\frac {\partial }{\partial l}}-\nabla ,\ \mathrm {D} _{c}={\text{conjugate}}\mathrm {D} \\\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}}}\end{matrix}}\right]\end{matrix}}}
equivalent to (a,b,c,d).
w:Friedrich Kottler defined the four potential
Φ
α
{\displaystyle \Phi _{\alpha }}
and its relation to four-current
P
(
β
)
{\displaystyle \mathbf {P} ^{(\beta )}}
, electromagnetic field-tensor
F
α
β
{\displaystyle F_{\alpha \beta }}
, and the Herglotz solution[ R 24]
Φ
1
=
A
x
,
Φ
2
=
A
y
,
Φ
3
=
A
z
,
Φ
4
=
i
φ
F
α
β
=
∂
∂
x
(
α
)
Φ
β
−
∂
∂
x
(
β
)
Φ
α
◻
Φ
α
=
−
P
(
α
)
4
π
2
Φ
α
(
y
)
=
∫
d
x
(
1
)
d
x
(
2
)
d
x
(
3
)
d
x
(
4
)
P
(
α
)
(
x
)
R
2
[
R
(
α
)
=
x
(
α
)
−
y
(
α
)
]
{\displaystyle {\begin{matrix}\Phi _{1}={\mathfrak {A}}_{x},\quad \Phi _{2}={\mathfrak {A}}_{y},\quad \Phi _{3}={\mathfrak {A}}_{z},\quad \Phi _{4}=i\varphi \\\hline F_{\alpha \beta }={\frac {\partial }{\partial x^{(\alpha )}}}\Phi _{\beta }-{\frac {\partial }{\partial x^{(\beta )}}}\Phi _{\alpha }\\\Box \Phi _{\alpha }=-\mathbf {P} ^{(\alpha )}\\4\pi ^{2}\Phi _{\alpha }(y)=\int dx^{(1)}dx{}^{(2)}dx^{(3)}dx^{(4)}{\frac {\mathbf {P} ^{(\alpha )}(x)}{R^{2}}}\\\left[R^{(\alpha )}=x^{(\alpha )}-y^{(\alpha )}\right]\end{matrix}}}
equivalent to (a,b,c,d,e) and subsequently was the first to give the generally covariant formulation of the inhomogeneous Maxwell's equations using metric tensor
c
α
β
{\displaystyle c_{\alpha \beta }}
[ R 25]
F
α
β
=
∂
Φ
β
∂
x
(
α
)
−
∂
Φ
α
∂
x
(
β
)
=
Φ
β
/
α
−
Φ
α
/
β
.
∑
c
(
1
α
)
∑
β
,
γ
c
(
β
γ
)
Φ
α
/
β
γ
=
−
P
(
α
)
etc
.
[
∑
β
,
γ
c
(
β
γ
)
Φ
β
/
γ
=
0
]
{\displaystyle {\begin{matrix}F_{\alpha \beta }={\frac {\partial \Phi _{\beta }}{\partial x^{(\alpha )}}}-{\frac {\partial \Phi _{\alpha }}{\partial x^{(\beta )}}}=\Phi _{\beta /\alpha }-\Phi _{\alpha /\beta }.\\\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}}}
In 1916, after finishing his general relativity, w:Albert Einstein also used the electromagnetic potential
φ
ν
{\displaystyle \varphi _{\nu }}
as a covariant four-vector, relating it to the covariant six-vector of the electromagnetic field (i.e. electromagnetic field tensor):[ R 26]
φ
ν
⇒
F
ϱ
σ
=
∂
φ
ϱ
∂
x
σ
−
∂
φ
σ
∂
x
ϱ
{\displaystyle \varphi _{\nu }\Rightarrow F_{\varrho \sigma }={\frac {\partial \varphi _{\varrho }}{\partial x_{\sigma }}}-{\frac {\partial \varphi _{\sigma }}{\partial x_{\varrho }}}}
equivalent to (a,d).
↑ Kirchhoff (1857)
↑ Riemann (1858)
↑ Lorenz (1867), pp. 292ff, 299
↑ Lorentz (1892), pp. 114–121
↑ Conway (1903), p. 154f
↑ Herglotz (1904), p. 550f
↑ Sommerfeld (1910a)
↑ Poincaré (1905b), p. 134
↑ Poincaré (1905b), p. 135
↑ Marcolongo (1906), p. 349
↑ Minkowski (1907/15), p. 929
↑ Minkowski (1907/15), p. 930
↑ Born (1909), p. 573-574
↑ Bateman (1910), p. 241
↑ Bateman (1910), p. 252
↑ Sommerfeld (1910b), p. 654, 665
↑ Sommerfeld (1910b), p. 667
↑ Sommerfeld (1910a), p. 764
↑ Lewis (1910), p. 176ff
↑ Wilson & Lewis (1910), p. 488ff
↑ Laue (1911), p. 100, 104
↑ Laue (1913), p. 125
↑ Silberstein (1911), p. 805f
↑ Kottler (1912), p. 1687ff
↑ Kottler (1912), p. 1688-1689
↑ Einstein (1916), p. 812
Born, M. (1909), "Die träge Masse und das Relativitätsprinzip" , Annalen der Physik , 333 (3): 571–584
Conway, A. W. (1903), "The field of force due to a moving electron" , Proc. London Math. Soc , 2(1) : 154–65
Einstein, A. (1916), "Die Grundlage der allgemeinen Relativitätstheorie" , Annalen der Physik , 354 (7): 769–822
Herglotz, G. (1904), "Über die Berechnung retardierter Potentiale" , Gött. Nachr. (6): 549–556
Kirchhoff, G. (1857), "Ueber die Bewegung der Elektricität in Leitern" , Annalen der Physik , 178 (12): 529–544
Kottler, F. (1912), "Über die Raumzeitlinien der Minkowski'schen Welt" , Wiener Sitzungsberichte 2a , 121 : 1659–1759
Laue, M. v. (1911), Das Relativitätsprinzip , Braunschweig: Vieweg
Laue, M. v. (1913), Das Relativitätsprinzip (2. Edition) , 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 )
Lorenz, L. (1867), "On the identity of the vibrations of light with electrical currents" , Phil. Mag , 4, 34 : 287–301
Lorentz, H. A. (1892a), "La Théorie electromagnétique de Maxwell et son application aux corps mouvants" , Archives Néerlandaises des Sciences Exactes et Naturelles , 25 : 363–552
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
Poincaré, H. (1906) [1905], "Sur la dynamique de l'électron", Rendiconti del Circolo Matematico di Palermo , 21 : 129–176
Riemann, B. (1867) [1858], "Ein Beitrag zur Elektrodynamik" , Annalen der Physik , 207 (6): 237–243
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