History of Topics in Special Relativity/Electromagnetic tensor

{{../Tensors (header)}}

Overview

The w:Electromagnetic tensor is an antisymmetric tensor that describes the electromagnetic field in spacetime. Its six independent components are composed of three electric ($𝐄$) plus three magnetic ($𝐁$) components. Those six components are analogous to six homogeneous line coordinates (w:Plücker coordinates), whose conditional equation corresponds to the invariant scalar product $𝐄\cdot 𝐁$. It can be expressed as the exterior product of the w:four-gradient and the w:electromagnetic four-potential, producing a contravariant matrix as follows:

$\begin{array}{c}{F}^{\mu \nu }=\underset{(a)}{\underbrace{\left[\begin{array}{cccc}0& -E_x/c& -E_y/c& -E_z/c\\ E_x/c& 0& -B_z& B_y\\ E_y/c& B_z& 0& -B_x\\ E_z/c& -B_y& B_x& 0\end{array}\right]}}=\underset{(b)}{\underbrace{{\partial }^{\mu }{A}^{\nu }-{\partial }^{\nu }{A}^{\mu }}}\\ [F^{\mu \nu }=-F^{\nu \mu },\frac{1}{2}{F}_{\mu \nu }{F}^{\mu \nu }=B^2-\frac{E^2}{c^2}]\end{array}$

or in covariant form

$F_{\mu \nu }={\eta }_{\mu \alpha }{F}^{\alpha \beta }{\eta }_{\beta \nu }=\underset{(c)}{\underbrace{\left[\begin{array}{cccc}0& E_x/c& E_y/c& E_z/c\\ -E_x/c& 0& -B_z& B_y\\ -E_y/c& B_z& 0& -B_x\\ -E_z/c& -B_y& B_x& 0\end{array}\right]}}$

and the dual

$\begin{array}{c}{G}^{\alpha \beta }=\frac{1}{2}{ϵ}^{\alpha \beta \gamma \delta }{F}_{\gamma \delta }=\underset{(d)}{\underbrace{\left[\begin{array}{cccc}0& -B_x& -B_y& -B_z\\ B_x& 0& E_z/c& -E_y/c\\ B_y& -E_z/c& 0& E_x/c\\ B_z& E_y/c& -E_x/c& 0\end{array}\right]}}\\ [\frac{1}{4}{G}_{\gamma \delta }{F}^{\gamma \delta }=-\frac{1}{c}𝐁\cdot 𝐄]\end{array}$

The divergence of $F^{\mu \nu }$ can be related to the product of the four-potential $A^{\alpha }$ with the w:D'Alembert operator (in terms of the w:Lorenz gauge condition) and the four-current $J^{\alpha }$ representing the inhomogeneous w:Maxwell equations, while the divergence of $G^{\alpha \beta }$ represents the homogeneous equations:

${\partial }_{\alpha }{F}^{\alpha \beta }=\underset{(e)}{\underbrace{{\mu }_0{J}^{\beta }}}=\underset{(f)}{\underbrace{◻A^{\beta }}};\underset{(g)}{\underbrace{{\partial }_{\alpha }{G}^{\alpha \beta }=0}}$

It produces the four-force density using four-velocity $U^{\alpha }$ and rest charge density ${\rho }_0$:

$(h)f_{\alpha }=F_{\alpha \beta }{J}^{\beta }={\rho }_0{F}_{\alpha \beta }{U}^{\beta }$

and it also forms the basis of the electromagnetic stress-energy tensor:

$(i)T^{\mu \nu }=\frac{1}{{\mu }_0}[F^{\mu \alpha }{F}^{\nu }{}_{\alpha }-\frac{1}{4}{\eta }^{\mu \nu }{F}_{\alpha \beta }{F}^{\alpha \beta }]$

The six independent components (corresponding to Plücker coordinates mentioned above) of the tensor can be used to formulate a "six-vector" and its dual:

$(j)\begin{array}{c}𝐅=(F_{32},F_{13,}{F}_{21},F_{10},F_{20},F_{30})=(𝐁,-𝐄/c)\\ {𝐅}^{\ast }=(F_{32}^{\ast },F_{13}^{\ast },F_{21}^{\ast },F_{10}^{\ast },F_{20}^{\ast },F_{30}^{\ast })=(-𝐄/c,𝐁)\end{array}$

Alternatively, all those components appear in the Weber vector (also known as w:Riemann-Silberstein vector or electromagnetic bivector) and its conjugate, used in w:geometric algebra

$(k)\begin{array}{c}𝐅=𝐄+i𝐁\\ {𝐅}_c=𝐄-i𝐁\end{array}\Rightarrow (\frac{1}{c}\frac{\partial }{\partial t}+\mathrm{\nabla })𝐅=\frac{1}{{ϵ}_0}\rho -\frac{1}{c}𝐉$

Plücker coordinates were given by Grassmann (1844), Cayley (1859, 1867), Plücker (1865), Gordan (1868) and others. The Weber vector was given by #Weber (1901), Silberstein (1907). The invariants of the field tensor were known to #Poincaré (1905/6). The tensor itself was first given by #Minkowski (1907/8) in matrix notation, while #Born (1909), #Bateman (1909/10), #Abraham (1910), #Sommerfeld (1910), #Ignatowski (1910), #Lewis/Wilson (1910-12), #Laue (1911) devised alternative vector formulations. Quaternions were used by #Conway (1911) and #Silberstein (1911-12). Finally, the tensor was used in a generally covariant framework by #Kottler (1912) and #Einstein (1913).

Historical notation

Template:AnchorLine coordinates: Grassmann (1844), Cayley (1859, 1867), Plücker (1865), Gordan (1868)

w:Hermann Grassmann (1844) introduced concepts that can be found in the formulation of the electromagnetic tensor: the w:exterior product, the Grassmann complement or dual, and essential parts of w:Plücker coordinates including its conditional equation. However, Grassmann's methods were essentially ignored by his contemporaries, while Plücker coordinates were independently rediscovered and further developed by others.

w:Arthur Cayley (1859, published 1860) defined a matrix of two points having four coordinates $x,y,z,w$ and $\alpha ,\beta ,\gamma ,\delta$, writing them in terms of six homogeneous line coordinates and their conditional equation in order to represent cones:

$\begin{array}{c}\left|\begin{array}{cccc}x,& y,& z,& w\\ \alpha ,& \beta ,& \gamma ,& \delta \end{array}\right|\\ \begin{array}{cccc}p& =\gamma y-\beta z& s& =\delta x-\alpha w\\ q& =\alpha z-\gamma x& t& =\delta y-\beta w\\ r& =\beta x-\alpha y& u& =\delta z-\gamma w\end{array}\\ ps+qt+ru=0\end{array}$

The full implications of these relations in terms of line geometry were first pointed out by w:Julius Plücker (1865), who independently derived them as the six homogeneous coordinates of the right line:

$\begin{array}{c}\pm (u{v}^{\prime }-u^{\prime }v),\pm (t{v}^{\prime }-t^{\prime }v),\pm (t{u}^{\prime }-t^{\prime }u),\pm (t{w}^{\prime }-t^{\prime }w),\pm (u{w}^{\prime }-u^{\prime }w),\pm (v{w}^{\prime }-v^{\prime }w)\\ (t{u}^{\prime }-t^{\prime }u)(v{w}^{\prime }-v^{\prime }w)-(t{v}^{\prime }-t^{\prime }v)(v{w}^{\prime }-v^{\prime }w)+(u{v}^{\prime }-u^{\prime }v)(t{w}^{\prime }-t^{\prime }w)=0\end{array}$

After recounting his previous paper and the one of Plücker, Cayley (1867, published 1869) started with the definition of two points $(\alpha ,\beta ,\gamma ,\delta )$ and $({\alpha }^{\prime },{\beta }^{\prime },{\gamma }^{\prime },{\delta }^{\prime })$, as well as two planes (A,B,C,D) and (A',B',C',D'), which he expressed in terms of six homogeneous line coordinates:

$\begin{array}{c}\begin{array}{c}(A,B,C,D)\cdot (\alpha ,\beta ,\gamma ,\delta )\end{array}\\ \begin{array}{cccccccccccc}& \beta {\gamma }^{\prime }-\beta {\gamma }^{\prime }& :& \gamma {\alpha }^{\prime }-{\gamma }^{\prime }\alpha & :& \alpha {\beta }^{\prime }-{\alpha }^{\prime }\beta & :& \alpha {\delta }^{\prime }-{\alpha }^{\prime }\delta & :& \beta {\delta }^{\prime }-{\beta }^{\prime }\delta & :& \gamma {\delta }^{\prime }-{\gamma }^{\prime }\delta \\ =& A{D}^{\prime }-A^{\prime }D& :& B{D}^{\prime }-B^{\prime }D& :& C{D}^{\prime }-C^{\prime }D& :& B{C}^{\prime }-B^{\prime }C& :& C{A}^{\prime }-C^{\prime }A& :& A{B}^{\prime }-A^{\prime }B\\ =& a& :& b& :& c& :& f& :& g& :& h\end{array}\\ af+bg+ch=0\end{array}$

He represented those relations by four matrices (w:Plücker matrix), of which two were discussed in more detail by Cayley: The first one he identified with the condition that a line (a,b,c,f,g,h) may be in a given plane (A,B,C,D)

$(A)\begin{array}{c}\left|\begin{array}{cccc}0,& \alpha {\beta }^{\prime }-{\alpha }^{\prime }\beta ,& -(\gamma {\alpha }^{\prime }-{\gamma }^{\prime }\alpha ),& \alpha {\delta }^{\prime }-{\alpha }^{\prime }\delta \\ -(\alpha {\beta }^{\prime }-{\alpha }^{\prime }\beta ),& 0,& \beta {\gamma }^{\prime }-\beta {\gamma }^{\prime },& \beta {\delta }^{\prime }-{\beta }^{\prime }\delta \\ \gamma {\alpha }^{\prime }-{\gamma }^{\prime }\alpha ,& -(\beta {\gamma }^{\prime }-\beta {\gamma }^{\prime }),& 0,& \gamma {\delta }^{\prime }-{\gamma }^{\prime }\delta \\ -(\alpha {\delta }^{\prime }-{\alpha }^{\prime }\delta ),& -(\beta {\delta }^{\prime }-{\beta }^{\prime }\delta ),& -(\gamma {\delta }^{\prime }-{\gamma }^{\prime }\delta ),& 0\end{array}\right|(A,B,C,D)=0\\ \Rightarrow \left|\begin{array}{cccc}0,& c,& -b,& f\\ -c,& 0,& a,& g\\ b,& -a,& 0,& h\\ -f,& -g,& -h,& 0\end{array}\right|(A,B,C,D)=0\end{array}$

and the second one with the condition that a line (a,b,c,f,g,h) may pass through a given point $(\alpha ,\beta ,\gamma ,\delta )$:

$(B)\begin{array}{c}\left|\begin{array}{cccc}0,& A{B}^{\prime }-A^{\prime }B,& -(C{A}^{\prime }-C^{\prime }A),& A{D}^{\prime }-A^{\prime }D\\ -(A{B}^{\prime }-A^{\prime }B),& 0,& B{C}^{\prime }-B^{\prime }C,& B{D}^{\prime }-B^{\prime }D\\ C{A}^{\prime }-C^{\prime }A,& -(B{C}^{\prime }-B^{\prime }C),& 0,& C{D}^{\prime }-C^{\prime }D\\ -(A{D}^{\prime }-A^{\prime }D),& -(B{D}^{\prime }-B^{\prime }D),& -(C{D}^{\prime }-C^{\prime }D),& 0\end{array}\right|(\alpha ,\beta ,\gamma ,\delta )=0\\ \Rightarrow \left|\begin{array}{cccc}0,& h,& -g,& a\\ -h,& 0,& g,& b\\ g,& -f,& 0,& c\\ -a,& -b,& -c,& 0\end{array}\right|(\alpha ,\beta ,\gamma ,\delta )=0\end{array}$

He further introduced the "tractor" as a line that meets any given line.

w:Paul Gordan (1868) expressed these relations in compact index notation

$\begin{array}{c}{p}_{ik}=x_i{y}_k-y_i{x}_k,(p_{ik}=-p_{ki})\\ P=p_{12}{p}_{34}+p_{13}{p}_{42}+p_{14}{p}_{23}\end{array}$

Template:Anchor Weber (1901), Silberstein (1907)

w:Heinrich Martin Weber published a completely rewritten fourth edition of what he called "The partial differential equations of mathematical physics according to Riemann's lectures" in two volumes (1900, 1901). As he pointed out in the preface of the first volume (1900), the fourth edition represented Weber's own work on differential equations (unlike the first three editions (1882) which were based on Riemann's actual lectures), though he was still using the name of Riemann in the title because it preserved the overall conception of the original edition and that he tried to continue the work in Riemann's sense and spirit In the second volume (1901), Weber combined the electric and magnetic field components of the inhomogeneous Maxwell equations into a single complex vector having the same components as the electromagnetic tensor:

$c\mathrm{c}\mathrm{u}\mathrm{r}\mathrm{l}(𝔈+i𝔐)=i\frac{\partial (𝔈+i𝔐)}{\partial t}$

w:Ludwik Silberstein (1906/07) independently derived this relation for all four Maxwell equations using an "electromagnetic bivector" $\eta$ and its conjugate ${\eta }^{\prime }$. While the term "bivector" was originally developed by Hamilton in terms of w:biquaternions, Silberstein represented it in terms of Heaviside's vector calculus, and also gave the expressions for energy density $e$ and w:Poynting vector $F$:

$\begin{array}{c}\begin{array}{cccc}\frac{\partial \eta }{\partial t}=-i\mathrm{c}\mathrm{u}\mathrm{r}\mathrm{l}\eta & & & \frac{\partial {\eta }^{\prime }}{\partial t}=i\mathrm{c}\mathrm{u}\mathrm{r}\mathrm{l}{\eta }^{\prime }\\ \mathrm{d}\mathrm{i}\mathrm{v}\eta =0& & & \mathrm{d}\mathrm{i}\mathrm{v}{\eta }^{\prime }=0\\ [\eta =E_1+i{E}_2]& & & [{\eta }^{\prime }=E_1-i{E}_2]\end{array}\\ \frac{1}{2}(\eta +{\eta }^{\prime })=E_1,\frac{1}{2i}(\eta -{\eta }^{\prime })=E_2\\ e=\frac{1}{2}\eta {\eta }^{\prime },F=\frac{i}{2}V\eta {\eta }^{\prime }\end{array}$

In a subsequent paper he gave credit to Weber as well.

Poincaré (1905/6)

Using the Lorentz transformation of the electromagnetic field first derived by w:Hendrik Lorentz (1904), it was shown by w:Henri Poincaré in July 1905 (published 1906) that the six electromagnetic quantities $f,g,h,\alpha ,\beta ,\gamma$ (= $𝐄,𝐁$) can be combined to form the following Lorentz invariant relations (Poincaré signifies a vector by using the symbol $\mathrm{\Sigma }$ followed by the first vector component):

$\begin{array}{c}{l}^4(\sum f^{\prime 2}-\sum {\alpha }^{\prime 2})=\sum f^2-\sum {\alpha }^2\\ l^4\sum f^{\prime }{\alpha }^{\prime }=\sum f\alpha \\ [l=1]\end{array}$

which are proportional to the invariants in (a) and (d), even though Poincaré wasn't in possession of the concept of the electromagnetic tensor.

Template:Anchor Minkowski (1907/8)

w:Hermann Minkowski employed matrix representation of four-vectors and six-vectors (i.e. antisymmetric second rank tensors) and their product from the outset. In a lecture held in November 1907, published 1915, Minkowski defined the electromagnetic tensor ${\psi }_{jk}$ (which he called "Traktor") in terms of four-potential ${\psi }_j$ using the field quantities $𝔈,ℌ$ (= $𝐄,𝐁$):

$\begin{array}{c}{\psi }_{jk}=\frac{\partial {\psi }_k}{\partial x_j}-\frac{\partial {\psi }_j}{\partial x_k},({\psi }_{jk}=-{\psi }_{kj},{\psi }_{jj}=0)\\ ({\psi }_{23},{\psi }_{31},{\psi }_{12};{\psi }_{14},{\psi }_{24},{\psi }_{34})=({ℌ}_x,{ℌ}_y,{ℌ}_z;-i{𝔈}_x,-i{𝔈}_y,-i{𝔈}_z)\end{array}$:

equivalent to (a,b).

In another lecture from December 1907, he represented the six field quantities $𝔢,𝔪$ (= $𝐄,𝐁$) together as a "vector of second kind" $f$ (= the electromagnetic tensor), its dual $f^{*}$, and its Lorentz transformation using transformation matrix $A$, and its two invariants:

$\begin{array}{c}(f_{23},f_{31},f_{12},f_{14},f_{24},f_{34})=({𝔪}_x,{𝔪}_y,{𝔪}_z,-i{𝔢}_x,-i{𝔢}_y,-i{𝔢}_z)\\ [f_{kh}=-f_{hk}]\\ f=\left|\begin{array}{cccc}0,& f_{12},& f_{13},& f_{14}\\ f_{21},& 0,& f_{23},& f_{24}\\ f_{31},& f_{32},& 0,& f_{34}\\ f_{41},& f_{42},& f_{43},& 0\end{array}\right|,f^{*}=\left|\begin{array}{cccc}0,& f_{34},& f_{42},& f_{23}\\ f_{43},& 0,& f_{14},& f_{31}\\ f_{24},& f_{41},& 0,& f_{12}\\ f_{32},& f_{13},& f_{21},& 0\end{array}\right|\\ f^{\prime }\Rightarrow \overline{\mathrm{A}}f\mathrm{A}={\mathrm{A}}^{-1}f\mathrm{A}\\ f{\text{'}}_{41}=f_{41}\cos i\psi +f_{13}\sin i\psi ,f{\text{'}}_{13}=-f_{41}\sin i\psi +f_{13}\cos i\psi ,f{\text{'}}_{34}=f_{34},\\ f{\text{'}}_{32}=f_{32}\cos i\psi +f_{42}\sin i\psi ,f{\text{'}}_{42}=-f_{32}\sin i\psi +f_{42}\cos i\psi ,f{\text{'}}_{12}=f_{12},\\ [f{\text{'}}_{kh}=-f{\text{'}}_{hk}]\\ {𝔪}^2-{𝔢}^2=f_{23}^2+f_{31}^2+f_{12}^2+f_{14}^2+f_{24}^2+f_{34}^2,\\ 𝔪𝔢=i(f_{23}{f}_{14}+f_{31}{f}_{24}+f_{12}{f}_{34})\end{array}$

equivalent to (a,b,c,d), which he used to express the microscopic Maxwell equations in terms of four-current $\varrho$:

$(A)\begin{array}{cccccc}& \frac{\partial f_{12}}{\partial x_2}& +\frac{\partial f_{13}}{\partial x_3}& +\frac{\partial f_{14}}{\partial x_4}& =& {\varrho }_1,\\ \frac{\partial f_{21}}{\partial x_1}& & +\frac{\partial f_{23}}{\partial x_3}& +\frac{\partial f_{24}}{\partial x_4}& =& {\varrho }_2,\\ \frac{\partial f_{31}}{\partial x_1}& +\frac{\partial f_{32}}{\partial x_2}& & +\frac{\partial f_{34}}{\partial x_4}& =& {\varrho }_3,\\ \frac{\partial f_{41}}{\partial x_1}& +\frac{\partial f_{42}}{\partial x_2}& +\frac{\partial f_{43}}{\partial x_3}& & =& {\varrho }_4.\end{array}(B)\begin{array}{cccccc}& \frac{\partial f_{34}}{\partial x_2}& +\frac{\partial f_{42}}{\partial x_3}& +\frac{\partial f_{23}}{\partial x_4}& =& 0,\\ \frac{\partial f_{43}}{\partial x_1}& & +\frac{\partial f_{14}}{\partial x_3}& +\frac{\partial f_{31}}{\partial x_4}& =& 0,\\ \frac{\partial f_{24}}{\partial x_1}& +\frac{\partial f_{41}}{\partial x_2}& & +\frac{\partial f_{12}}{\partial x_4}& =& 0,\\ \frac{\partial f_{32}}{\partial x_1}& +\frac{\partial f_{13}}{\partial x_2}& +\frac{\partial f_{21}}{\partial x_3}& & =& 0.\end{array}$

equivalent to (e,f,g), and implicitly used the Weber vector in order to simplify the Lorentz transformations:

$\begin{array}{c}𝔢{\text{'}}_{x^{\prime }}+i𝔪{\text{'}}_{x^{\prime }}=({𝔢}_x+i{𝔪}_x)\cos i\psi +({𝔢}_y+i{𝔪}_y)\sin i\psi ,\\ 𝔢{\text{'}}_{y^{\prime }}+i𝔪{\text{'}}_{y^{\prime }}=-({𝔢}_x+i{𝔪}_x)\sin i\psi +({𝔢}_y+i{𝔪}_y)\cos i\psi ,\\ 𝔢{\text{'}}_{z^{\prime }}+i𝔪{\text{'}}_{z^{\prime }}={𝔢}_z+i{𝔪}_z\end{array}$

equivalent to (k). In addition he defined $F$ (with its Hodge dual $F^{*}$) as the electromagnetic tensor in the presence of matter using the field quantities $𝔈,𝔐$ (= $𝐃,𝐇$ in modern notation), by which he expressed the macroscopic Maxwell equations more generally in terms of "electric current" $𝔰$ which becomes $𝔰=\sigma 𝔈$ in isotropic media, which he further simplified using differential operator "lor"

$\begin{array}{c}𝔢=\epsilon 𝔈,𝔐=\mu 𝔪,𝔰=\sigma 𝔈,({𝔰}_x,{𝔰}_y,{𝔰}_z,i\varrho )\Rightarrow (s_1,s_2,s_3,s_4)\\ (f_{23},f_{31},f_{12},f_{14},f_{24},f_{34})=({𝔪}_x,{𝔪}_y,{𝔪}_z,-i{𝔢}_x,-i{𝔢}_y,-i{𝔢}_z)\\ (F_{23},F_{31},F_{12},F_{14},F_{24},F_{34})=({𝔐}_x,{𝔐}_y,{𝔐}_z,-i{𝔈}_x,i{𝔈}_y,i{𝔈}_z)\\ [f_{kh}=-f_{hk},F_{kh}=-F_{hk}]\\ \begin{array}{cc}\text{lor }f=-s& \text{lor }{F}^{*}=0.\\ (A)\begin{array}{cccccc}& \frac{\partial f_{12}}{\partial x_2}& +\frac{\partial f_{13}}{\partial x_3}& +\frac{\partial f_{14}}{\partial x_4}& =& s_1,\\ \frac{\partial f_{21}}{\partial x_1}& & +\frac{\partial f_{23}}{\partial x_3}& +\frac{\partial f_{24}}{\partial x_4}& =& s_2,\\ \frac{\partial f_{31}}{\partial x_1}& +\frac{\partial f_{32}}{\partial x_2}& & +\frac{\partial f_{34}}{\partial x_4}& =& s_3,\\ \frac{\partial f_{41}}{\partial x_1}& +\frac{\partial f_{42}}{\partial x_2}& +\frac{\partial f_{43}}{\partial x_3}& & =& s_4,\end{array}& (B)\begin{array}{cccccc}& \frac{\partial F_{34}}{\partial x_2}& +\frac{\partial F_{42}}{\partial x_3}& +\frac{\partial F_{23}}{\partial x_4}& =& 0,\\ \frac{\partial F_{43}}{\partial x_1}& & +\frac{\partial F_{14}}{\partial x_3}& +\frac{\partial F_{31}}{\partial x_4}& =& 0,\\ \frac{\partial F_{24}}{\partial x_1}& +\frac{\partial F_{41}}{\partial x_2}& & +\frac{\partial F_{12}}{\partial x_4}& =& 0,\\ \frac{\partial F_{32}}{\partial x_1}& +\frac{\partial F_{13}}{\partial x_2}& +\frac{\partial F_{21}}{\partial x_3}& & =& 0.\end{array}\end{array}\\ [\text{lor }=|\frac{\partial }{\partial x_1},\frac{\partial }{\partial x_2},\frac{\partial }{\partial x_3},\frac{\partial }{\partial x_4}|]\end{array}$

He used his tensors to define the electric rest force $\mathrm{\Phi }$ and magnetic rest force $\mathrm{\Psi }$ as the product with four-velocity $w$, which in turn can be used to express $F$ and $f$ and the four-conductivity

$\begin{array}{c}\begin{array}{cc}\mathrm{\Phi }=-wF& \mathrm{\Psi }=iw{f}^{*},\\ \begin{array}{ccccccccc}{\mathrm{\Phi }}_1& =& & & w_2{F}_{12}& +& w_3{F}_{13}& +& w_4{F}_{14},\\ {\mathrm{\Phi }}_2& =& w_1{F}_{21}& & & +& w_3{F}_{23}& +& w_4{F}_{24},\\ {\mathrm{\Phi }}_3& =& w_1{F}_{31}& +& w_2{F}_{32}& & & +& w_4{F}_{34},\\ {\mathrm{\Phi }}_4& =& w_1{F}_{41}& +& w_2{F}_{42}& +& w_3{F}_{43}& & .\end{array}|& \begin{array}{ccccccccc}{\mathrm{\Psi }}_1& =& -i(& & w_2{f}_{34}& +& w_3{f}_{42}& +& w_4{f}_{23}),\\ {\mathrm{\Psi }}_2& =& -i(w_1{f}_{43}& & & +& w_3{f}_{14}& +& w_4{f}_{31}),\\ {\mathrm{\Psi }}_3& =& -i(w_1{f}_{24}& +& w_2{f}_{41}& & & +& w_4{f}_{12}),\\ {\mathrm{\Psi }}_4& =& -i(w_1{f}_{32}& +& w_2{f}_{13}& +& w_3{f}_{21}& & ).\end{array}\end{array}\\ wF=-\mathrm{\Phi },w{F}^{*}=-i\mu \mathrm{\Psi },wf=-\epsilon \mathrm{\Phi },w{f}^{*}=-i\mathrm{\Psi }\\ F=[w,\mathrm{\Phi }]+i\mu [w,\mathrm{\Psi }{]}^{*},\\ f=\epsilon [w,\mathrm{\Phi }]+i[w,\mathrm{\Psi }{]}^{*},\end{array}$

equivalent to (h). He finally used it to define the stress-energy tensor $S$ and Lagrangian $L$:

$\begin{array}{c}fF=S-L=\left|\begin{array}{cccc}{S}_{11}-L,& S_{12},& S_{13},& S_{14}\\ S_{21},& S_{22}-L,& S_{23},& S_{23}\\ S_{31},& S_{32},& S_{33}-L,& S_{34}\\ S_{41},& S_{42},& S_{43},& S_{44}-L\end{array}\right|,F^{*}{f}^{*}=-S-L=\left|\begin{array}{cccc}-S_{11}-L,& -S_{12},& -S_{13},& -S_{14}\\ -S_{21},& -S_{22}-L,& -S_{23},& -S_{23}\\ -S_{31},& -S_{32},& -S_{33}-L,& -S_{34}\\ -S_{41},& -S_{42},& -S_{43},& -S_{44}-L\end{array}\right|\\ L=\frac{1}{2}(f_{23}{F}_{23}+f_{31}{F}_{31}+f_{12}{F}_{12}+f_{14}{F}_{14}+f_{24}{F}_{24}+f_{34}{F}_{34}),\\ S_{11}=\frac{1}{2}(f_{23}{F}_{23}+f_{34}{F}_{34}+f_{42}{F}_{42}-f_{12}{F}_{12}-f_{13}{F}_{13}-f_{14}{F}_{14})\\ S_{12}=f_{13}{F}_{32}+f_{14}{F}_{42},etc.\\ \text{lor }S=\text{lor }L+\text{lor }fF=-sF+N\\ N_h=\frac{1}{2}(\frac{\partial f_{23}}{\partial x_h}{F}_{23}+\frac{\partial f_{31}}{\partial x_h}{F}_{31}+\frac{\partial f_{12}}{\partial x_h}{F}_{12}+\frac{\partial f_{14}}{\partial x_h}{F}_{14}+\frac{\partial f_{24}}{\partial x_h}{F}_{24}+\frac{\partial f_{34}}{\partial x_h}{F}_{34}-f_{23}\frac{\partial F_{23}}{\partial x_h}-f_{31}\frac{\partial F_{31}}{\partial x_h}-f_{12}\frac{\partial F_{12}}{\partial x_h}-f_{14}\frac{\partial F_{14}}{\partial x_h}-f_{24}\frac{\partial F_{24}}{\partial x_h}-\frac{\partial f_{34}}{\partial x_h}{F}_{34})\end{array}$

equivalent to (i).

Born (1909)

w:Max Born (1909) summarized Minkowski's work, defining the electromagnetic field and its Lagrangian as:

$\begin{array}{c}{f}_{\alpha \beta }=\frac{\partial {\mathrm{\Phi }}_{\beta }}{\partial x_{\alpha }}-\frac{\partial {\mathrm{\Phi }}_{\alpha }}{\partial x_{\beta }}=-f_{\beta \alpha }\\ (f_{23},f_{31},f_{12},f_{14},f_{24},f_{34})=({𝔐}_x,{𝔐}_y,{𝔐}_z,-i{𝔈}_x,-i{𝔈}_y,-i{𝔈}_z)\\ L=\frac{1}{2}({𝔐}^2-{𝔈}^2)=\frac{1}{2}\sum _{\alpha \ne \beta }{f}_{\alpha \beta }^2\end{array}$

equivalent to (a,b), and used it to express Maxwell's equations:

$\begin{array}{cccccc}& \frac{\partial f_{12}}{\partial x_2}& +\frac{\partial f_{13}}{\partial x_3}& +\frac{\partial f_{14}}{\partial x_4}& =& {\varrho }_1,\\ \frac{\partial f_{21}}{\partial x_1}& & +\frac{\partial f_{23}}{\partial x_3}& +\frac{\partial f_{24}}{\partial x_4}& =& {\varrho }_2,\\ \frac{\partial f_{31}}{\partial x_1}& +\frac{\partial f_{32}}{\partial x_2}& & +\frac{\partial f_{34}}{\partial x_4}& =& {\varrho }_3,\\ \frac{\partial f_{41}}{\partial x_1}& +\frac{\partial f_{42}}{\partial x_2}& +\frac{\partial f_{43}}{\partial x_3}& & =& {\varrho }_4.\end{array}\begin{array}{cccccc}& \frac{\partial f_{34}}{\partial x_2}& +\frac{\partial f_{42}}{\partial x_3}& +\frac{\partial f_{23}}{\partial x_4}& =& 0,\\ \frac{\partial f_{43}}{\partial x_1}& & +\frac{\partial f_{14}}{\partial x_3}& +\frac{\partial f_{31}}{\partial x_4}& =& 0,\\ \frac{\partial f_{24}}{\partial x_1}& +\frac{\partial f_{41}}{\partial x_2}& & +\frac{\partial f_{12}}{\partial x_4}& =& 0,\\ \frac{\partial f_{32}}{\partial x_1}& +\frac{\partial f_{13}}{\partial x_2}& +\frac{\partial f_{21}}{\partial x_3}& & =& 0.\end{array}$

equivalent to (e,f,g), and defined the four-force density

$ci\mu \frac{{\partial }^2{x}_{\alpha }}{\partial {\xi }_4^2}=\frac{{\varrho }_0^{\ast }}{c}\sum _{\beta =1}^4{f}_{\alpha \beta }\frac{\partial x_{\beta }}{\partial {\xi }_4}$

equivalent to (h).

Bateman (1909/10)

In a paper read 1909 and published 1910, w:Harry Bateman discussed the electrodynamic equations in terms of four-dimensional integral forms (even though in the broader context of w:spherical wave transformations, with ${\lambda }^2=1$ in relativity):

$\begin{array}{c}{H}_{x}dydz+H_{y}dzdx+H_{z}dxdy+E_{x}dxdt+E_{y}dydt+E_{z}dzdt\\ E_{x}dydz+E_{y}dzdx+E_{z}dxdy-H_{x}dxdt-H_{y}dydt-H_{z}dzdt\\ (E_x^2+E_y^2+E_z^2-H_x^2-H_y^2-H_z^2)dxdydzdt\\ (E_x{H}_x+E_y{H}_y+E_z{H}_z)dxdydzdt\end{array}$

which are the invariants of the electromagnetic field.

Abraham (1910)

w:Max Abraham expressed Minkowski's vectors of first kind (four-vector) as $V_I^4$ and vectors of second kind (six-vector) as $V_{II}^4$. Corresponding to Minkowski's $f$ and $F$, Abraham defined an electrodynamic $V_{II}^4$ in terms or $𝔈,𝔅$ (= $𝐄,𝐁$ modern notation) and another one in terms of $ℌ,𝔇$ (= $𝐇,𝐃$ in modern notation) as follows

$\begin{array}{c}\{𝔅,-i𝔈\},\{ℌ,-i𝔇\}\\ V_{II}^4\left\{𝔞,𝔟\right\},V_{II}^4\left\{{𝔞}^{\prime },{𝔟}^{\prime }\right\}\\ 𝔞=\left[{𝔯}_1{𝔯}_2\right],𝔟={𝔯}_1{u}_2-{𝔯}_2{u}_1\\ \{\begin{array}{ccccc}{𝔞}_x=\left|\begin{array}{cc}{y}_1& z_1\\ y_2& z_2\end{array}\right|,& & {𝔞}_y=\left|\begin{array}{cc}{z}_1& x_1\\ z_2& x_2\end{array}\right|,& & {𝔞}_z=\left|\begin{array}{cc}{x}_1& y_1\\ x_2& y_2\end{array}\right|\\ {𝔟}_x=\left|\begin{array}{cc}{x}_1& u_1\\ x_2& u_2\end{array}\right|,& & {𝔟}_y=\left|\begin{array}{cc}{y}_1& u_1\\ y_2& u_2\end{array}\right|,& & {𝔟}_z=\left|\begin{array}{cc}{z}_1& u_1\\ z_2& u_2\end{array}\right|\end{array}\\ \{\begin{array}{cc}𝔞=ℌ,& 𝔟=-i𝔇\\ {𝔞}^{\prime }=𝔅,& {𝔟}^{\prime }=-i𝔈.\end{array}\end{array}$

equivalent to (a). The product of those $V_{II}^4$ with $V_I^4$-velocity (= four-velocity) gives Minkowski's electric and magnetic rest forces:

$\begin{array}{cc}\left\{\begin{array}{c}\{𝔅,-i𝔈\}\\ V_I^4-\mathrm{v}\mathrm{e}\mathrm{l}\mathrm{o}\mathrm{c}\mathrm{i}\mathrm{t}\mathrm{y}\end{array}\right\}& \Rightarrow \{{\Re }^e,U^e\}\\ \left\{\begin{array}{c}\{ℌ,-i𝔇\}\\ \{V_I^4-\mathrm{v}\mathrm{e}\mathrm{l}\mathrm{o}\mathrm{c}\mathrm{i}\mathrm{t}\mathrm{y}\}\end{array}\right\}& \Rightarrow \{{\Re }^m,U^m\}\end{array}$

equivalent to (h), and used it to determine some components of the stress energy tensor, namely momentum density $𝔣$ and energy density $\psi$:

$\begin{array}{c}{V}_{II}^4\left\{𝔞,𝔟\right\},V_{II}^4\left\{{𝔞}^{\prime },{𝔟}^{\prime }\right\}\\ 2𝔣=i[{𝔟}^{\prime }𝔞]+i[{𝔟}^{\prime }𝔞]\\ 2\psi =({𝔞𝔞}^{\prime })-({𝔟𝔟}^{\prime })\\ \{\begin{array}{cc}𝔞=ℌ,& 𝔟=-i𝔇\\ {𝔞}^{\prime }=𝔅,& {𝔟}^{\prime }=-i𝔈.\end{array}\\ 2𝔣=[𝔈ℌ]+[𝔇𝔅]\\ 2\psi =𝔈𝔇+ℌ𝔅.\end{array}$

equivalent to the corresponding components of (i).

Template:Anchor Sommerfeld (1910)

w:Arnold Sommerfeld translated Minkowski's matrix formalism into a four-dimensional vector formalism involving four-vectors and six-vectors in two papers. With reference to Grassmann, in the first paper he defined the general six-vector $f$ in terms of the special six-vector $\phi$ and its supplement ${\phi }^{\ast }$

$\begin{array}{c}{\phi }_{xy}=u_x{v}_y-v_x{u}_y\\ {\phi }_{yz}{\phi }_{xl}+{\phi }_{zx}{\phi }_{yl}+{\phi }_{xy}{\phi }_{zl}=0\\ {\left|\phi \right|}^2={\phi }_{yz}^2+{\phi }_{zx}^2+{\phi }_{xy}^2+{\phi }_{xl}^2+{\phi }_{yl}^2+{\phi }_{zl}^2=1\\ {\phi }_{yz}^{*}={\phi }_{xl},{\phi }_{zx}^{*}={\phi }_{yl},{\phi }_{xy}^{*}={\phi }_{zl},{\phi }_{xl}^{*}={\phi }_{yz}\dots \\ \begin{array}{cc}{u}_x^{*}{u}_x+u_y^{*}{u}_y+u_z^{*}{u}_z+u_l^{*}{u}_l& =0,\\ u_x^{*}{v}_x+u_y^{*}{v}_y+u_z^{*}{v}_z+u_l^{*}{v}_l& =0,\\ v_x^{*}{u}_x+v_y^{*}{u}_y+v_z^{*}{u}_z+v_l^{*}{u}_l& =0,\\ v_x^{*}{v}_x+v_y^{*}{v}_y+v_z^{*}{v}_z+v_l^{*}{v}_l& =0.\end{array}\\ f=\varrho \phi +{\varrho }^{*}{\phi }^{*}\\ f^{*}={\varrho }^{*}\phi +\varrho {\phi }^{*}\end{array}$

The general six-vector $f$ was then related to the electromagnetic field, together with the definition of its supplement or dual, its invariants, and its Lorentz transformation as:

$\begin{array}{c}f=(ℌ,-i𝔈)\\ \{\begin{array}{cccccc}{f}_{yz}=& {ℌ}_x,& f_{zx}=& {ℌ}_y,& f_{xy}=& {ℌ}_z,\\ f_{xl}=& -i{𝔈}_x,& f_{yl}=& -i{𝔈}_y,& f_{zl}=& -i{𝔈}_z,\end{array}\\ f_{ik}=-f_{ki},f_{ii}=0\\ f_{zx}^{*}=f_{yl},f_{xy}^{*}=f_{zl},f_{xl}^{*}=f_{yz},f_{yl}^{*}=f_{zx},f_{zl}^{*}=f_{xy}\\ f_{ik}^{*}=f_{(ik)},f_{ki}^{*}=-f_{ik}^{*},f_{ii}^{*}=0\\ {\left|f\right|}^2={ℌ}^2-{𝔈}^2=2L,\left(f{f}^{*}\right)=-2i(𝔈ℌ)\\ \begin{array}{cc}{f}_{x^{\prime }{y}^{\prime }}=f_{xy}\cos \phi -f_{yl}\sin \phi ,& f_{z^{\prime }{x}^{\prime }}=f_{zx}\cos \phi +f_{zl}\sin \phi ,\\ f_{y^{\prime }{z}^{\prime }}=f_{yz},& f_{x^{\prime }{l}^{\prime }}=f_{xl},\\ f_{y^{\prime }{l}^{\prime }}=f_{yl}\cos \phi +f_{xy}\sin \phi ,& f_{z^{\prime }{l}^{\prime }}=f_{zl}\cos \phi -f_{zx}\sin \phi ,\end{array}\end{array}$

equivalent to (a, j), from which he derived the stress-energy tensor $T=(ff)$:

$\begin{array}{c}\left(f_j{f}_h\right)=f_{jx}{f}_{hx}+f_{jy}{f}_{hy}+f_{jz}{f}_{hz}+f_{jl}{f}_{hl}\\ \left(f_j{f}_h\right)=\left(f_h{f}_j\right)\\ T=\frac{1}{2}((f\cdot f)-\left(f^{*}{f}^{*}\right))\end{array}$

equivalent to (i), and the four-force density

$\begin{array}{c}[Pf]\\ {𝔉}_j=\varrho (𝔈+\frac{1}{c}[𝔳ℌ]),{𝔉}_l=\frac{i\varrho }{c}(𝔈𝔳)\\ (j=x,y,z;l=ict)\end{array}$

equivalent to (h). In the second paper he defined Maxwell's equations and the relation to the four-potential

$\begin{array}{c}𝔇𝔦𝔳f=P\\ 𝔇𝔦𝔳f^{*}=0\\ f=\mathrm{R}\mathrm{o}\mathrm{t}\mathrm{\Phi }\\ \left[\begin{array}{cc}\mathrm{R}\mathrm{o}\mathrm{t}& =\text{exterior product}\\ 𝔇𝔦𝔳& =\text{divergence six-vector}\end{array}\right]\end{array}$

equivalent to (f,g,b).

Ignatowski (1910)

w:Wladimir Ignatowski (1910) formulated Minkowski's vector of second kind $f$ and its vectorial Lorentz transformation using unit velocity vector ${𝔠}_0$ as follows:

$\begin{array}{c}(ℌ,𝔈)\\ \{\begin{array}{cc}{ℌ}^{\prime }=& pℌ-(p-1){𝔠}_0\cdot {𝔠}_0ℌ+pqn\left[{𝔈𝔠}_0\right]\\ {𝔈}^{\prime }=& p𝔈-(p-1){𝔠}_0\cdot {𝔠}_0𝔈-pq\left[{ℌ𝔠}_0\right]\end{array}\\ 𝔈ℌ\mathfrak{=}{𝔈}^{\prime }{ℌ}^{\prime }=R\\ {𝔈}^2\mathfrak{-}{ℌ}^2\mathfrak{=}𝔈{\text{'}}^2\mathfrak{-}ℌ{\text{'}}^2=S\end{array}[n=\frac{1}{c^2}]$

equivalent to (a). The product of $f$ with four-velocity gives Minkowski's electric and magnetic rest forces:

$\begin{array}{c}\frac{{𝔳}^{\prime }{ℌ}^{\prime }}{\sqrt{1-n{𝔳}^{\prime 2}}}=\frac{p}{\sqrt{1-n{𝔳}^2}}\{ℌ𝔳-q{ℌ𝔠}_0+qn𝔳\left[{𝔈𝔠}_0\right]\}\\ \frac{{𝔳}^{\prime }{𝔈}^{\prime }}{\sqrt{1-n{𝔳}^{\prime 2}}}=\frac{p}{\sqrt{1-n{𝔳}^2}}\{𝔈𝔳-q{𝔈𝔠}_0-q𝔳\left[{ℌ𝔠}_0\right]\}\end{array}$

equivalent to (h).

Lewis/Wilson (1910-12)

w:Gilbert Newton Lewis (1910) devised an alternative 4D vector calculus based on w:Dyadics which, however, never gained widespread support. He defined the electromagnetic 2-vector $𝐌$ (= electromagnetic tensor) in relation to the four-potential $𝐦$

$\begin{array}{c}\begin{array}{cc}𝐌& =◊\times 𝐦\\ & =\mathrm{\nabla }\times 𝐚+i(\mathrm{\nabla }\varphi +\frac{1}{c}\frac{\partial 𝐚}{\partial t})\times \\ & =𝐄+𝐇\end{array}{𝐤}_4\\ 𝐄=-i𝐞\times {𝐤}_4,𝐇=𝐡{𝐤}_{123}\\ \begin{array}{cc}𝐌& ={𝐤}_{12}(\frac{\partial a_2}{\partial x_1}-\frac{\partial a_1}{\partial x_2})+{𝐤}_{13}(\frac{\partial a_3}{\partial x_1}-\frac{\partial a_1}{\partial x_3})+{𝐤}_{23}(\frac{\partial a_3}{\partial x_2}-\frac{\partial a_2}{\partial x_2})\\ & +{𝐤}_{14}(\frac{\partial i\varphi }{\partial x_1}-\frac{\partial a_1}{\partial x_4})+{𝐤}_{23}(\frac{\partial i\varphi }{\partial x_1}-\frac{\partial a_1}{\partial x_4})+{𝐤}_{34}(\frac{\partial i\varphi }{\partial x_3}-\frac{\partial a_3}{\partial x_4})\\ & =M_{12}{𝐤}_{12}+M_{13}{𝐤}_{13}+M_{23}{𝐤}_{23}+M_{14}{𝐤}_{14}+M_{24}{𝐤}_{24}+M_{34}{𝐤}_{34}\\ & =H_{12}{𝐤}_{12}+H_{13}{𝐤}_{13}+H_{23}{𝐤}_{23}+E_{14}{𝐤}_{14}+E_{24}{𝐤}_{24}+E_{34}{𝐤}_{34}\end{array}\\ [◊={𝐤}_1\frac{\partial }{\partial x_1}+{𝐤}_2\frac{\partial }{\partial x_2}+{𝐤}_3\frac{\partial }{\partial x_3}+{𝐤}_4\frac{\partial }{\partial x_4}]\end{array}$

equivalent to (a, b), from which he derived Maxwell's equations

$\begin{array}{c}◊𝐌=𝐪\\ ◊\times 𝐌=0\\ \begin{array}{cc}(\frac{\partial H_{12}}{\partial x_2}+\frac{\partial H_{13}}{\partial x_3}+\frac{\partial E_{14}}{\partial x_4}){𝐤}_1& =\frac{\varrho }{c}{v}_1{𝐤}_1\\ (\frac{\partial H_{21}}{\partial x_1}+\frac{\partial H_{23}}{\partial x_3}+\frac{\partial E_{24}}{\partial x_4}){𝐤}_2& =\frac{\varrho }{c}{v}_2{𝐤}_2\\ (\frac{\partial H_{31}}{\partial x_1}+\frac{\partial H_{32}}{\partial x_2}+\frac{\partial E_{34}}{\partial x_4}){𝐤}_3& =\frac{\varrho }{c}{v}_3{𝐤}_3\\ (\frac{\partial H_{41}}{\partial x_1}+\frac{\partial H_{42}}{\partial x_2}+\frac{\partial E_{43}}{\partial x_4}){𝐤}_4& =\frac{\varrho }{c}i{𝐤}_4\end{array}\end{array}$

equivalent to (e,f).

In 1912, Lewis and w:Edwin Bidwell Wilson used real coordinates and also introduced the dual ${𝐌}^{\ast }$, writing the above expressions as

$\begin{array}{c}\begin{array}{cc}𝐌& =◊\times 𝐦\\ & =\mathrm{\nabla }\times 𝐚+(\mathrm{\nabla }\varphi +\frac{1}{c}\frac{\partial 𝐚}{\partial t})\times \\ & =𝐄+𝐇\end{array}{𝐤}_4\\ 𝐌=h_1{𝐤}_{23}+h_2{𝐤}_{31}+h_3{𝐤}_{12}-e_1{𝐤}_{14}-h_2{𝐤}_{24}-e_3{𝐤}_{34}\\ {𝐌}^{\ast }=e_1{𝐤}_{23}+e_2{𝐤}_{31}+e_3{𝐤}_{12}+h_1{𝐤}_{14}+h_2{𝐤}_{24}+h_3{𝐤}_{34}\\ 𝐌\cdot 𝐌=h^2-e^2=2L,𝐌\cdot {𝐌}^{\ast }=2𝐞\cdot 𝐡\\ [◊={𝐤}_1\frac{\partial }{\partial x_1}+{𝐤}_2\frac{\partial }{\partial x_2}+{𝐤}_3\frac{\partial }{\partial x_3}-{𝐤}_4\frac{\partial }{\partial x_4}]\end{array}$

equivalent to (a, b), and finally defined the dyadic $\mathrm{\Psi }$ (= the stress-energy tensor) using unit dyadic $𝐈$

$\begin{array}{c}\mathrm{\Psi }=\frac{1}{2}(\mathrm{\Phi }+{\mathrm{\Phi }}^{\ast })\\ \mathrm{\Phi }=(𝐈\cdot 𝐌)\cdot (𝐈\cdot 𝐌),{\mathrm{\Phi }}^{\ast }=(𝐈\cdot {𝐌}^{\ast })\cdot (𝐈\cdot {𝐌}^{\ast })\end{array}$

equivalent to (i).

Laue (1911)

In the influential first textbook on relativity, w:Max von Laue elaborated on the work of Minkowski and Sommerfeld. He defined the "field vector" $𝔐$ (= electromagnetic tensor):

$\begin{array}{c}\begin{array}{cccccc}{𝔐}_{xl}& =-i{𝔈}_x& {𝔐}_{yl}& =-i{𝔈}_y& {𝔐}_{zl}& =-i{𝔈}_z\\ {𝔐}_{yz}& ={ℌ}_x& {𝔐}_{zx}& ={ℌ}_y& {𝔐}_{xy}& =i{ℌ}_z\end{array}\\ {𝔐}^2={ℌ}^2-{𝔈}^2,\left(𝔐{𝔐}^{\ast }\right)=-2i(𝔈ℌ)\end{array}$

equivalent to (a), the Maxwell equations and the relation to the four-potential

$\begin{array}{c}\begin{array}{c}𝞓iv𝔐=P\\ 𝞓iv{𝔐}^{\ast }=0\\ \Re 𝔬𝔱\mathrm{\Phi }=𝔐\\ {\Re 𝔬𝔱}^{\ast }\mathrm{\Phi }={𝔐}^{\ast }\end{array}\\ \left[\begin{array}{cc}\Re 𝔬𝔱& =\text{exterior product}\\ 𝞓iv& =\text{divergence six-vector}\end{array}\right]\end{array}$

equivalent to (g, b), the four-force density

$F=[P𝔐]$

equivalent to (h), and the stress-energy tensor

$T=[[𝔐𝔐]]$

equivalent to (i).

Conway (1911)

Instead of Minkowski's matrix formulation or Sommerfeld's six-vector, w:Arthur Conway used the Weber vector $\sigma$ in his w:biquaternion representation of Maxwell's equation and the relativity principle, denoting $\mathrm{e}$ as the four-density and $\mathrm{p}$ as four-potential, and defined its Lorentz transformation using rotor $a$ as well (where the subscript $0$ means conjugate)

$\begin{array}{c}\sigma =\epsilon +hc\eta =-{𝔇}_0\mathrm{p}\\ 𝔇\sigma ={\sigma }_{0}D=-𝔇{𝔇}_0\mathrm{p}=0\text{or}=-4\pi \mathrm{e}\\ {𝔇}_0{\sigma }_0=\sigma D_0=-4\pi {\mathrm{e}}_0\\ \left[\begin{array}{c}𝔇=\mathrm{\nabla }-h{c}^{-1}\partial /\partial t,D=\mathrm{\Delta }-h{c}^{-1}\partial /\partial t\\ \mathrm{e}=e-h{c}^{-1}\iota ,\mathrm{p}=p-hc\omega \end{array}\right]\\ \sigma =a{\sigma }^{\prime }{a}^{-1}\end{array}$

equivalent to k.

Silberstein (1911-12)

w:Ludwik Silberstein (1911, published 1912), independently of Conway discussed the relativistic properties of the electromagnetic bivector $𝐅$ and its conjugate $𝐆$ (that he previously defined in 1907), used it to combine Maxwell's equations into a single one, and establishing the relation to the current-quaternion $C$, potential-quaternion $\mathrm{\Phi }$, and force-quaternion $P_e$ (where the subscript $c$ means conjugate):

$\begin{array}{c}\begin{array}{cccc}𝐅=𝐌-\iota 𝐄=-D\mathrm{\Phi }& & & 𝐆=𝐌+\iota 𝐄\\ D𝐅=\mathrm{C}& & & D_c𝐅=C_c\end{array}\\ P=C𝐅=D[𝐅\cdot 𝐅]\Rightarrow P_e=\frac{1}{2}\{C𝐅-𝐆C\}\\ [D=\frac{\partial }{\partial l}-\mathrm{\nabla }]\\ \begin{array}{cc}{𝐅}^{\prime }& =Q_c𝐅Q\\ & =(1-\gamma )(𝐅u)u+\gamma 𝐄+\beta \gamma V𝐅u\\ {𝐆}^{\prime }& =Q𝐆Q_c\end{array}\end{array}$

equivalent to k. In a subsequent paper (1912) he went on to derive the Poynting vector and energy density analogous to his expressions in 1907, as well as the Maxwell stresses:

$\begin{array}{cc}𝔓& =-\frac{\iota c}{2}V𝐆𝐅=cV𝐄𝐌\\ u& =\frac{1}{2}(𝐆𝐅)=\frac{1}{2}(E^2+M^2)\\ f_n& =fn=\frac{1}{2}(𝐆𝐅)𝐧-\frac{1}{2}𝐅(𝐆𝐧)-\frac{1}{2}𝐆(𝐅𝐧)\end{array}$

Silberstein used equivalent expressions also in his textbook on quaternionic special relativity in 1914. There he also discussed Minkowski's electrodynamics of media, obtaining the bivectors and Maxwell's macroscopic equations, their Lorentz transformation and invariants:

$\begin{array}{c}𝔈=K{𝐄}^{\prime },𝔐=\mu {𝐌}^{\prime },𝐈=\sigma {𝐄}^{\prime },C^{\prime }=\iota {\rho }^{\prime }+\frac{{𝐈}^{\prime }}{c}\\ {𝐋}^{\prime }={𝔐}^{\prime }-i{𝐄}^{\prime },{𝐑}^{\prime }={𝔐}^{\prime }+i{𝐄}^{\prime }\\ {𝔏}^{\prime }={𝐌}^{\prime }-i{𝔈}^{\prime },{\Re }^{\prime }={𝐌}^{\prime }+i{𝔈}^{\prime }\\ D^{\prime }{𝔏}^{\prime }-{\Re }^{\prime }{D}^{\prime }=2C^{\prime },D^{\prime }{𝐋}^{\prime }+{𝐑}^{\prime }{D}^{\prime }=0\\ 𝔏=Q{𝔏}^{\prime }{Q}_c,\Re =Q_c{\Re }^{\prime }Q,C=Q_c{C}^{\prime }Q\\ {𝔐}^2-E^2,(𝔐𝐄),M^2-{𝔈}^2,(𝐌𝔈)\end{array}$

and Minkowski's electric and magnetic rest force:

$\begin{array}{cc}\eta & =\frac{1}{2c}[Y𝐋-𝐑Y]\\ \zeta & =\frac{1}{2c\iota }[Y𝔏-\Re Y]\end{array}$

as well as the expressions of stress, momentum, energy.

Kottler (1912)

w:Friedrich Kottler formulated the electromagnetic field-tensor $F_{\alpha \beta }$ in order to express Maxwell's equations in terms of four-current ${𝐏}^{(\beta )}$ and four-potential ${\mathrm{\Phi }}_{\alpha }$:

$\begin{array}{c}\begin{array}{cccccc}{ℌ}_x& =F_{23},& {ℌ}_y& =F_{31},& {ℌ}_z& =F_{12},\\ -i{𝔈}_x& =F_{14},& -i{𝔈}_y& =F_{24},& -i{𝔈}_z& =F_{34},\end{array}\\ \begin{array}{cccccc}{F}_{23}^{*}& =-i{𝔈}_x,& F_{31}^{*}& =-i{𝔈}_y,& F_{12}^{*}& =-i{𝔈}_z,\\ F_{14}^{*}& ={ℌ}_x,& F_{24}^{*}& ={ℌ}_y,& F_{34}^{*}& ={ℌ}_z.\end{array}\\ \sum _{h=1}^4\frac{\partial F_{gh}}{\partial x^{(h)}}={\mathrm{P}}^{(g)}\\ \sum _{h=1}^4\frac{\partial F_{gh}^{\ast }}{\partial x^{(h)}}=0\\ F_{\alpha \beta }=\frac{\partial }{\partial x^{(\alpha )}}{\mathrm{\Phi }}_{\beta }-\frac{\partial }{\partial x^{(\beta )}}{\mathrm{\Phi }}_{\alpha },({\mathrm{\Phi }}_{\alpha }=-F_{\alpha })\end{array}$

equivalent to (a,b,c,d,e,f,g). He was the first to define Maxwell's equations in a generally covariant way using metric tensor $c_{\alpha \beta }$:

$\begin{array}{c}\frac{1}{\sqrt{c}}{\mathrm{F}}_{234}^{*}={𝔇𝔦𝔳}^{(1)}(F_{12}\dots F_{34})=\sum _{\alpha }{c}^{(1\alpha )}\sum _{\beta ,\gamma }{c}^{(\beta \gamma )}{F}_{\alpha \beta /\gamma }=\sum _{\alpha }\frac{\partial }{\partial x^{(\alpha )}}\left(\sqrt{c}\sum _{\beta ,\gamma }{c}^{(1\beta )}{c}^{(\alpha \gamma )}{F}_{\beta \gamma }\right)={\mathrm{P}}^{(1)}\mathrm{e}\mathrm{t}\mathrm{c}.\\ \frac{1}{\sqrt{c}}{\mathrm{F}}_{234}={𝔇𝔦𝔳}^{(1)}(F_{12}^{\ast }\dots F_{34}^{\ast })=\sum _{\alpha }{c}^{(1\alpha )}\sum _{\beta ,\gamma }{c}^{(\beta \gamma )}{F}_{\alpha \beta /\gamma }^{\ast }=\sum _{\alpha }\frac{\partial }{\partial x^{(\alpha )}}\left(\sqrt{c}\sum _{\beta ,\gamma }{c}^{(1\beta )}{c}^{(\alpha \gamma )}{F}_{\beta \gamma }^{\ast }\right)=0\mathrm{e}\mathrm{t}\mathrm{c}\mathrm{.}\\ F_{{\alpha }_1{\alpha }_2}^{\ast }=\frac{1}{\sqrt{c}}\sum _{{\beta }_1,{\beta }_2}{c}_{{\alpha }_1{\beta }_1}{c}_{{\alpha }_2{\beta }_2}{F}_{{\alpha }_3{\beta }_3}\\ F_{\alpha \beta }=-{\mathrm{F}}_{\alpha \beta }=\frac{\partial {\mathrm{\Phi }}_{\beta }}{\partial x^{(\alpha )}}-\frac{\partial {\mathrm{\Phi }}_{\alpha }}{\partial x^{(\beta )}}={\mathrm{\Phi }}_{\beta /\alpha }-{\mathrm{\Phi }}_{\alpha /\beta }\end{array}$

He went on to define the Minkowski four force

$F_{\alpha }(y)=\sum _{\beta }\frac{F_{\alpha \beta }(y){\mathrm{P}}^{(\alpha )}(y)}{\sqrt{1-{𝔴}^2/c^2}}$

equivalent to (h) and the stress-energy tensor $S$:

$\sum _{\beta }{F}_{\alpha \beta }(y){\mathrm{P}}^{(\beta )}(y)=\sum _{\beta }{F}_{\alpha \beta }(y)\sum _{\gamma }\frac{\partial }{\partial y^{(\gamma )}}{F}_{\beta \gamma }(y)=\sum _{\beta }\frac{\partial }{\partial y^{(\beta )}}{S}_{\alpha \beta }$

equivalent to (i).

Einstein (1913)

In the context of his Entwurf theory (a precursor of general relativity), w:Albert Einstein discussed the generally covariant formulation of Maxwell's equations using covariant second rank tensor or six-vector ${\phi }_{\mu \nu }$ (= electromagnetic tensor), its dual ${\phi }_{\mu \nu }^{\ast }$, and its complement $f_{\mu \nu }$, as well as rest charge density ${\varrho }_0$:

$\begin{array}{c}{\phi }_{\mu \nu }[{ℌ}_x,{ℌ}_y,{ℌ}_z,-{𝔈}_x,-{𝔈}_y,-{𝔈}_z]\\ f_{\mu \nu }[-{𝔈}_x,-{𝔈}_y,-{𝔈}_z,{ℌ}_x,{ℌ}_y,{ℌ}_z]\\ \sqrt{-g}\cdot {\phi }_{23}={ℌ}_x,\sqrt{-g}\cdot {\phi }_{31}={ℌ}_y,\sqrt{-g}\cdot {\phi }_{12}={ℌ}_z\\ \sqrt{-g}\cdot {\phi }_{14}=-{𝔈}_x,\sqrt{-g}\cdot {\phi }_{24}=-{𝔈}_y,\sqrt{-g}\cdot {\phi }_{34}=-{𝔈}_z\\ \begin{array}{cccc}\sum _{\nu }\frac{\partial }{\partial x_{\nu }}(\sqrt{-g}\cdot {\phi }_{\mu \nu })=\varrho \frac{d{x}_{\mu }}{dt}& & & \sum _{\nu }\frac{\partial }{\partial x_{\nu }}(\sqrt{-g}\cdot {\phi }_{\mu \nu }^{\ast })=0\\ \begin{array}{c}\frac{\partial {ℌ}_x}{\partial y}-\frac{\partial {ℌ}_y}{\partial z}-\frac{\partial {𝔈}_x}{\partial t}\end{array}=u_x& & & \begin{array}{c}-\frac{\partial {𝔈}_x}{\partial y}+\frac{\partial {𝔈}_y}{\partial z}-\frac{1}{c^2}\frac{\partial {ℌ}_x}{\partial t}\end{array}=0\\ \dots & & & \dots \\ \dots & & & \dots \\ \begin{array}{c}\frac{\partial {𝔈}_x}{\partial y}+\frac{\partial {𝔈}_y}{\partial z}+\frac{\partial {𝔈}_z}{\partial t}\end{array}=\varrho & & & \begin{array}{c}-\frac{1}{c^2}\frac{\partial {ℌ}_x}{\partial x}-\frac{1}{c^2}\frac{\partial {ℌ}_y}{\partial t}-\frac{1}{c^2}\frac{\partial {ℌ}_z}{\partial z}\end{array}=0\\ [\varrho \frac{d{x}_{\mu }}{dt}=u_{\mu }]\end{array}\end{array}$

equivalent to (a,b,c,d,e,f,g) in the case of $g_{\mu \nu }$ being the Minkowski tensor.

References

Historical mathematical sources

• {{#section:History of Topics in Special Relativity/mathsource|cayl60lin}}
• {{#section:History of Topics in Special Relativity/mathsource|cayl69lin}}
• {{#section:History of Topics in Special Relativity/mathsource|gord68lin}}
• {{#section:History of Topics in Special Relativity/mathsource|gras44}}
• {{#section:History of Topics in Special Relativity/mathsource|plue65lin}}

Historical relativity sources

• {{#section:History of Topics in Special Relativity/relsource|abra10elek}}
• {{#section:History of Topics in Special Relativity/relsource|bate10elec}}
• {{#section:History of Topics in Special Relativity/relsource|born09elek}}
• {{#section:History of Topics in Special Relativity/relsource|con11qua}}
• {{#section:History of Topics in Special Relativity/relsource|einst13ent}}
• {{#section:History of Topics in Special Relativity/relsource|ignat10prin2}}
• {{#section:History of Topics in Special Relativity/relsource|kott12mink}}
• {{#section:History of Topics in Special Relativity/relsource|laue11prin}}
• {{#section:History of Topics in Special Relativity/relsource|lew10vec}}
• {{#section:History of Topics in Special Relativity/relsource|lewis12non}}
• {{#section:History of Topics in Special Relativity/relsource|mink07a}}
• {{#section:History of Topics in Special Relativity/relsource|mink07b}}
• {{#section:History of Topics in Special Relativity/relsource|poinc05b}}
• {{#section:History of Topics in Special Relativity/relsource|silber06vec}}
• {{#section:History of Topics in Special Relativity/relsource|silber07vec}}
• {{#section:History of Topics in Special Relativity/relsource|silber11quat}}
• {{#section:History of Topics in Special Relativity/relsource|silber12quat}}
• {{#section:History of Topics in Special Relativity/relsource|silber14quat}}
• {{#section:History of Topics in Special Relativity/relsource|som10alg}}
• {{#section:History of Topics in Special Relativity/relsource|som10ana}}
• {{#section:History of Topics in Special Relativity/relsource|weber00rie}}
• {{#section:History of Topics in Special Relativity/relsource|weber01rie}}