History of Topics in Special Relativity/Four-momentum

{{../4-Vectors (header)}}

Overview

The w:four-momentum $P^{\mu }$ is defined as the product of mass and w:four-velocity $U^{\mu }$ or alternatively can be obtained by integrating the four-momentum density $P^{\mu }/V$ with respect to volume V (the four-momentum density corresponds to components $T^{\alpha 0}$ of the stress energy tensor combining energy density W and momentum density $𝐠$). In addition, replacing rest mass with rest mass density ${\mu }_0$ in terms of rest volume $V_0$ produces the mass four-current $J^{\mu }$ in analogy to the electric four-current:

$\begin{array}{c}\begin{array}{ccc}{P}^{\mu }& \underbrace{=m{U}^{\mu }=m\gamma (c,𝐯)=(\frac{E}{c},𝐩)}& =\underbrace{\frac{1}{c}\int \int \int T^{\alpha 0}dV}\\ & (a)& (b)\\ P^{\mu }/V& \underbrace{=\frac{1}{c}{T}^{\alpha 0}=(\frac{W}{c},𝐠)}\\ & (c)\\ J^{\mu }& \underbrace{={\mu }_0{U}^{\mu }=\mu (c,𝐯)}[\partial \cdot J^{\mu }=0]\\ & (d)\end{array}\\ [\gamma =\frac{\mu }{{\mu }_0}=\frac{V_0}{V}=\frac{1}{\sqrt{1-\frac{v^2}{c^2}}},m=\mu V={\mu }_0{V}_0]\end{array}$

Without explicitly defining the four-momentum vector, the Lorentz transformation of all components of (a) was given by #Planck (1907), while the Lorentz transformation of all components of (c) were given by #Laue (1911-13). The first explicit definition of (a) was given by #Minkowski (1908), followed by #Lewis and Wilson (1912), #Einstein (1912-14), #Cunningham (1914), #Weyl (1918-19). Four-momentum density (c) played a role in the papers of #Einstein (1912-14) and #Lewis and Wilson (1912). The material four-current (d) was given by #Laue (1913) and #Weyl (1918-19).

Historical notation

Planck (1907)

After w:Albert Einstein gave the energy transformation into the rest frame in 1905 and the general energy transformation in May 1907, w:Max Planck in June 1907 defined the transformation of both momentum $𝔊$ and energy E as follows

${𝔊}_{x^{\prime }}^{\text{'}}=\frac{c}{\sqrt{c^2-v^2}}({𝔊}_x-\frac{v(E+pV)}{c^2}),{𝔊}_{y^{\prime }}^{\text{'}}={𝔊}_y,{𝔊}_{z^{\prime }}^{\text{'}}={𝔊}_z,E^{\prime }=\frac{c}{\sqrt{c^2-v^2}}(E-v{𝔊}_x-\frac{v(\dot{x}-v)}{c^2-v\dot{x}}pV)$

or simplifying in terms of enthalpy R=E+pV:

${𝔊}_{x^{\prime }}^{\text{'}}=\frac{c}{\sqrt{c^2-v^2}}({𝔊}_x-\frac{vR}{c^2}),{𝔊}_{y^{\prime }}^{\text{'}}={𝔊}_y,{𝔊}_{z^{\prime }}^{\text{'}}={𝔊}_z,R^{\prime }=\frac{c}{\sqrt{c^2-v^2}}(R-v{𝔊}_x)$

and the transformations into the rest frame

$\begin{array}{c}E=\frac{c}{\sqrt{c^2-v^2}}{E}_0^{\prime }+\frac{q^2}{\sqrt{c^2-v^2}}V{p}_0^{\prime },R=\frac{c}{\sqrt{c^2-v^2}}{R}_0^{\prime },G=\frac{q}{c^2}R=\frac{q}{c\sqrt{c^2-v^2}}{R}_0^{\prime }\\ [{𝔊}_x=G\frac{\dot{x}}{q},{𝔊}_x=G\frac{\dot{y}}{q},{𝔊}_z=G\frac{\dot{z}}{q}]\end{array}$

Even though Planck wasn't using four-vectors, his formulas correspond to the Lorentz transformation of four-vector $[c{𝔊}_x,c{𝔊}_y,c{𝔊}_z,R=E+pV]$, becoming the ordinary four-momentum $[c{𝔊}_x,c{𝔊}_y,c{𝔊}_z,E]$ by setting the pressure p=0.

Minkowski (1907-09)

In 1907 (published 1908) w:Hermann Minkowski defined the following continuity equation with $\nu$ as rest mass density and w as four-velocity:

$\begin{array}{c}\text{lor }\nu \bar{w}=\frac{\partial \nu w_1}{\partial x_1}+\frac{\partial \nu w_2}{\partial x_2}+\frac{\partial \nu w_3}{\partial x_3}+\frac{\partial \nu w_4}{\partial x_4}=0\\ [\text{lor }=|\frac{\partial }{\partial x_1},\frac{\partial }{\partial x_2},\frac{\partial }{\partial x_3},\frac{\partial }{\partial x_4}|]\end{array}$

which implies the mass four-current equivalent to (d).

The first mention of four-momentum (a) was given by Minkowski in his lecture “space and time” from 1908 (published 1909), calling it "momentum-vector" (“Impulsvektor”) as the product of mass m with the motion-vector (i.e. four-velocity) at a point P. He further noted that if the time component of four-momentum is multiplied by $c^2$ it becomes the kinetic energy:

$m{c}^2\frac{dt}{d\tau }=m{c}^2/\sqrt{1-\frac{v^2}{c^2}}$

Laue (1911-13)

w:Max von Laue (1911) in his influential first textbook on relativity, gave the Lorentz transformation of the components of the symmetric “world tensor” T (i.e. stress energy tensor), with the l=ict components being energy flux $𝔖$, momentum density $𝔤$, energy density W, and pointed out that the divergence of those l-components represents the energy conservation theorem (with A as power of the force density):

$\begin{array}{c}(T_{lx},T_{ly},T_{lz},T_{ll})\Rightarrow (\frac{i}{c}{𝔖}_x,\frac{i}{c}{𝔖}_y,\frac{i}{c}{𝔖}_z,-W)\\ A+div𝔖+\frac{\partial W}{\partial t}=0\\ \begin{array}{cc}{𝔖}_x& =\frac{(1+{\beta }^2){𝔖}_x^{\prime }+v({𝐩}_{xx}^{\prime }+W^{\prime })}{1-{\beta }^2}\\ & =\frac{q{c}^2}{c^2-q^2}({𝐩}_{xx}^0+W^0)\end{array},\begin{array}{cc}{𝔖}_y& =\frac{{𝔖}_y^{\prime }+v{𝐩}_{xy}^{\prime }}{\sqrt{1-{\beta }^2}}\\ & =\frac{qc}{c^2-q^2}{𝐩}_{xy}^0\end{array},\begin{array}{cc}{𝔖}_z& =\frac{{𝔖}_z^{\prime }+v{𝐩}_{xz}^{\prime }}{\sqrt{1-{\beta }^2}}\\ & =\frac{qc}{c^2-q^2}{𝐩}_{xz}^0\end{array},\begin{array}{cc}W& =\frac{W^{\prime }+{\beta }^2{𝐩}_{xx}^{\prime }+2\frac{v}{c^2}{𝔖}_x^{\prime }}{1-{\beta }^2}\\ & =\frac{c^2{W}^0+q^2{𝐩}_{xx}^0}{c^2-q^2}\end{array}\\ [𝔤=\frac{𝔖}{c^2}]\end{array}$

which components correspond to four-momentum density (c) in case of vanishing pressure p, even though Laue didn't directly denoted it as a four-vector.

In the second edition (1912, published 1913), Laue discussed hydrodynamics in special relativity, defining the four-current of a material volume element in terms of rest mass density $k^0$ and four-velocity Y, and its continuity equation:

$\begin{array}{c}M=k^{0}Y\\ M_x=\frac{k{𝔮}_x}{c},M_y=\frac{k{𝔮}_y}{c},M_z=\frac{k{𝔮}_z}{c},M_l=ik\\ DivM=k^{0}DivY+(Y,\mathrm{\Gamma }\varrho \alpha \delta k^0)=0\\ [k^0=k\frac{\sqrt{c^2-q^2}}{c},Div=\text{four-divergence},\mathrm{\Gamma }\varrho \alpha \delta =\text{four-gradient},l=ict]\end{array}$

equivalent to material four-current (d).

Lewis and Wilson (1912)

w:Edwin Bidwell Wilson and w:Gilbert Newton Lewis (1912) devised an alternative 4D vector calculus based on w:Dyadics which, however, never gained widespread support. They explicitly defined “extended momentum” (i.e. four-momentum) $m_0𝐰$ and used it to derive the “extended force” (i.e. four force) together with $𝐜$ as four-acceleration:

$\begin{array}{c}{m}_0𝐰=\frac{m_{0}v}{\sqrt{1-v^2}}{𝐤}_1+\frac{m_0}{\sqrt{1-v^2}}{𝐤}_4=mv{𝐤}_1+m{𝐤}_4\\ m_0𝐰=m𝐯+m{𝐤}_4\\ m_0𝐜=\frac{d{m}_0𝐰}{ds}=\frac{dmv}{ds}{𝐤}_1+\frac{dm}{ds}{𝐤}_4=\frac{1}{\sqrt{1-v^2}}(\frac{dmv}{dt}{𝐤}_1+\frac{dm}{dt}{𝐤}_4)\\ (m=\frac{m_0}{\sqrt{1-v^2}},𝐯={𝐤}_1\frac{d{x}_1}{d{x}_4}+{𝐤}_2\frac{d{x}_2}{d{x}_4}+{𝐤}_3\frac{d{x}_3}{d{x}_4})\end{array}$

equivalent to (a). Using rest mass density ${\mu }_0$, they also defined the extended vector

${\mu }_0𝐰=\frac{{\mu }_0}{\sqrt{1-v^2}}(𝐯+{𝐤}_4)$

equivalent to the material four-current (d). Then they defined the four-momentum of radiant energy representing total momentum and energy per volume $d𝔖$ by integrating electromagnetic energy density $e^{\prime 2}$ and the Poynting vector $e^{\prime 2}\frac{{𝐥}_s}{l_4}$:

$d𝐠=(e^{\prime 2}\frac{{𝐥}_s}{l_4}+e^{\prime 2}{𝐤}_4)d𝔖$

equivalent to (b). They added, however, that the corresponding energy density vector $d𝐠/d𝔖$ is not a four-vector because it is not independent of the chose axis.

Einstein (1912-14)

In an unpublished manuscript on special relativity (written around 1912/14), w:Albert Einstein showed how to derive the components of the momentum-energy four-vector from the components $T_{\mu 4}$ (four-momentum density) of the stress-energy tensor (overline indicates integration over volume, $G_{\mu }$ is four-velocity):

$\begin{array}{c}{\bar{T}}_{14}=ic{\overline{𝔤}}_1=ic\int {𝔤}_{x}dxdydz\\ {\bar{T}}_{44}=-\bar{\eta }=-\int \eta dxdydz\\ ({\overline{𝔤}}_1,{\overline{𝔤}}_1,{\overline{𝔤}}_1,\frac{i}{c}\bar{\eta })\Rightarrow \frac{{\bar{\eta }}_0}{c}\left(G_{\mu }\right)\\ \overline{𝔤}=\frac{m{𝔮}_x}{\sqrt{1-\frac{q^2}{c^2}}},\bar{\eta }=\frac{m{c}^2}{\sqrt{1-\frac{q^2}{c^2}}}\\ [\frac{{\overline{\eta }}_0}{c^2}=m]\end{array}$

equivalent to (a,b,c).

In the context of his Entwurf theory (a precursor of general relativity), Einstein (1913) formulated the following equations for momentum J and energy E using the metric tensor $g_{\mu \nu }$, from which he concluded that momentum and energy of a material point form a “covariant vector” (i.e. covariant four-momentum), and also showed that the corresponding volume densities are equal to certain components of the stress-energy tensor ${\mathrm{\Theta }}_{\mu \nu }$ (i.e. w:dust solution):

$\begin{array}{c}{J}_x=m\frac{\partial H}{\partial \dot{x}}=m\frac{\dot{x}}{\sqrt{c^2-q^2}},\text{etc.}\\ E=\frac{\partial H}{\partial \dot{x}}\dot{x}+\frac{\partial H}{\partial \dot{y}}\dot{y}+\frac{\partial H}{\partial \dot{z}}\dot{z}-H=m\frac{c^2}{\sqrt{c^2-q^2}}\\ J_x=-m\frac{g_{11}\dot{x_1}+g_{12}\dot{x_2}+g_{13}\dot{x_3}+g_{14}}{\frac{ds}{dt}}=-m\frac{g_{11}d{x}_1+g_{12}d{x}_2+g_{13}d{x}_3+g_{14}d{x}_4}{ds},\\ -E=-(\dot{x}\frac{\partial H}{\partial \dot{x}}+\cdot +\cdot )+H=-m(g_{41}\frac{d{x}_1}{ds}+g_{42}\frac{d{x}_2}{ds}+g_{43}\frac{d{x}_3}{ds}+g_{44}\frac{d{x}_4}{ds})\\ \frac{J_x}{V}=-{\varrho }_0\sqrt{-g}\cdot \sum _{\nu }{g}_{1\nu }\frac{d{x}_{\nu }}{ds}\cdot \frac{d{x}_4}{ds}\\ -\frac{E}{V}=-{\varrho }_0\sqrt{-g}\cdot \sum _{\nu }{g}_{4\nu }\frac{d{x}_{\nu }}{ds}\cdot \frac{d{x}_4}{ds}\\ [{\mathrm{\Theta }}_{\mu \nu }={\varrho }_0\frac{d{x}_{\mu }}{ds}\cdot \frac{d{x}_{\nu }}{ds},{\varrho }_0=\frac{m}{V_0}]\end{array}$

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

In 1914 Einstein summarized his previous arguments using the covariant four-vector ${𝐈}_{\sigma }$ (i.e. covariant four-momentum) and explicitly showed that in the case of $g_{\mu \nu }$ being the Minkowski tensor it becomes the ordinary four-momentum of special relativity. He also argued in a footnote why (in terms of his theory of gravitation) this covariant four-momentum ${𝐈}_{\sigma }$ is preferable over the contravariant four-momentum ${𝐈}^{\sigma }$:

$\begin{array}{c}{𝐈}_{\sigma }=m\sum _{\mu }{g}_{\sigma \mu }\frac{d{x}_{\mu }}{ds}\\ \frac{d{𝐈}_{\sigma }}{d{x}_4}=\sum _{\nu \tau }{\mathrm{\Gamma }}_{\nu \sigma }^{\tau }\frac{d{x}_{\nu }}{d{x}_4}{𝐈}_{\tau }+\int {𝔎}_{\sigma }dv\\ g_{\mu \nu }=\begin{array}{cccc}-1& 0& 0& 0\\ 0& -1& 0& 0\\ 0& 0& -1& 0\\ 0& 0& 0& 1\end{array}\Rightarrow \begin{array}{cc}-{𝐈}_1& =\frac{m{𝔮}_x}{\sqrt{1-q^2}}\\ & \dots \\ {𝐈}_4& =\frac{m}{\sqrt{1-q^2}}\end{array}\}\\ {𝐈}^{\sigma }=m\frac{d{x}_{\sigma }}{ds}\end{array}$

equivalent to (a).

Cunningham (1914)

Like Wilson and Lewis, w:Ebenezer Cunningham used the expression “extended momentum” $𝔤$ (i.e. four-momentum), and derived the four-force from it:

$\begin{array}{c}𝔤=(𝐠,iw/c)\\ \delta 𝔤=(\delta 𝐠,i\delta w/c)\\ \frac{d𝔤}{d{t}_0}=\kappa (\frac{d𝐠}{dt},ic\frac{dw}{dt})\\ 𝐠=\frac{w_0𝐯}{c^2{(1-v^2/c^2)}^{\frac{1}{2}}},w=\frac{w_0}{{(1-v^2/c^2)}^{\frac{1}{2}}}\end{array}$

equivalent to (a, b).

Weyl (1918-19)

In the first edition of his book “space time matter”, w:Hermann Weyl (1918) defined the “material current” in terms of rest mass density and four-velocity, together with its continuity equation:

$\begin{array}{c}{\mu }_0{u}^i\\ \sum _i\frac{\partial \left({\mu }_0{u}^i\right)}{\partial x_i}=0\\ [\frac{dv}{dV}=\mu ,\frac{dm}{d{V}_0}={\mu }_0,{\mu }_0=\mu \sqrt{1-v^2},dV=d{V}_0\sqrt{1-v^2}]\end{array}$

equivalent to (d).

In 1919, in the framework of general relativity, he expressed the pseudotensor density of total energy as ${{𝔖}_i}^k$, with the integral $J_i$ (i.e. four-momentum) of ${{𝔖}_i}^0$ (i.e. four-momentum density) in space $x_0$ = const. representing energy (i=0) and momentum (i=1,2,3). For an arbitrary coordinate system he defined is as the product of mass and four-velocity

${{𝔖}_i}^0\Rightarrow J_i=m{u}_i,u_i=\frac{d{x}_i}{ds}$

equivalent to (a,b,c).

In the third edition of his book (1919), the description of the material current remained the same as in the first edition, but this time he also included a description of four-momentum $J_i$ in terms of four-momentum density ${{𝔖}_i}^0$:

$\begin{array}{c}{J}_i=\int {𝔘}_i^{0}d{x}_{1}d{x}_{2}d{x}_3;\sqrt{J_0^2-J_1^2-J_2^2-J_3^2}=\text{mass}\\ J_i=\underset{\mathrm{\Omega }}{\int }{𝔖}_i^{0}d{x}_{1}d{x}_{2}d{x}_3\\ J_i=m{u}_i(u^i=\frac{d{x}_i}{ds})\\ \frac{d{J}_i}{dt}=K_i\end{array}$

equivalent to (a,b,c).

References

• {{#section:History of Topics in Special Relativity/relsource|cunn14princ}}
• {{#section:History of Topics in Special Relativity/relsource|einst12manu}}
• {{#section:History of Topics in Special Relativity/relsource|einst13ent}}
• {{#section:History of Topics in Special Relativity/relsource|einst14grund}}
• {{#section:History of Topics in Special Relativity/relsource|laue11prin}}
• {{#section:History of Topics in Special Relativity/relsource|laue13prin}}
• {{#section:History of Topics in Special Relativity/relsource|lewis12non}}
• {{#section:History of Topics in Special Relativity/relsource|mink07b}}
• {{#section:History of Topics in Special Relativity/relsource|mink08}}
• {{#section:History of Topics in Special Relativity/relsource|planck07dyn}}
• {{#section:History of Topics in Special Relativity/relsource|weyl18raum1}}
• {{#section:History of Topics in Special Relativity/relsource|weyl19erw}}
• {{#section:History of Topics in Special Relativity/relsource|weyl19raum3}}