Jump to content

History of Topics in Special Relativity/Electromagnetic tensor

From Wikiversity
History of relativistic Tensors (edit)

History of Electromagnetic field tensor

History of Electromagnetic stress-energy tensor

History of Material stress-energy tensor

History of Topics in Special Relativity (edit)

Overview

[edit | edit source]

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 . 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:

or in covariant form

and the dual

The divergence of can be related to the product of the four-potential with the w:D'Alembert operator (in terms of the w:Lorenz gauge condition) and the four-current representing the inhomogeneous w:Maxwell equations, while the divergence of represents the homogeneous equations:

It produces the four-force density using four-velocity and rest charge density :

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

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:

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

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

[edit | edit source]

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

[edit | edit source]

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.[M 1]

w:Arthur Cayley (1859, published 1860) defined a matrix of two points having four coordinates and , writing them in terms of six homogeneous line coordinates and their conditional equation in order to represent cones:[M 2]

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:[M 3]

After recounting his previous paper and the one of Plücker, Cayley (1867, published 1869) started with the definition of two points and , as well as two planes (A,B,C,D) and (A',B',C',D'), which he expressed in terms of six homogeneous line coordinates:[M 4]

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)[M 5]

and the second one with the condition that a line (a,b,c,f,g,h) may pass through a given point :

He further introduced the "tractor" as a line that meets any given line.[M 6]

w:Paul Gordan (1868) expressed these relations in compact index notation[M 7]

Weber (1901), Silberstein (1907)

[edit | edit source]

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[R 1] 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:[R 2]

w:Ludwik Silberstein (1906/07) independently derived this relation for all four Maxwell equations using an "electromagnetic bivector" and its conjugate . 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 and w:Poynting vector :[R 3]

In a subsequent paper he gave credit to Weber as well.[R 4]

Poincaré (1905/6)

[edit | edit source]

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 (= ) can be combined to form the following Lorentz invariant relations (Poincaré signifies a vector by using the symbol followed by the first vector component):[R 5]

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

Minkowski (1907/8)

[edit | edit source]

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 (which he called "Traktor") in terms of four-potential using the field quantities (= ):[R 6]

:

equivalent to (a,b).

In another lecture from December 1907, he represented the six field quantities (= ) together as a "vector of second kind" (= the electromagnetic tensor), its dual , and its Lorentz transformation using transformation matrix , and its two invariants:[R 7]

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

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

equivalent to (k). In addition he defined (with its Hodge dual ) 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 in isotropic media, which he further simplified using differential operator "lor"[R 8]

He used his tensors to define the electric rest force and magnetic rest force as the product with four-velocity , which in turn can be used to express and and the four-conductivity[R 9]

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

equivalent to (i).

Born (1909)

[edit | edit source]

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

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

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

equivalent to (h).

Bateman (1909/10)

[edit | edit source]

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 in relativity):[R 11]

which are the invariants of the electromagnetic field.

Abraham (1910)

[edit | edit source]

w:Max Abraham expressed Minkowski's vectors of first kind (four-vector) as and vectors of second kind (six-vector) as . Corresponding to Minkowski's and , Abraham defined an electrodynamic in terms or (= modern notation) and another one in terms of (= in modern notation) as follows[R 12]

equivalent to (a). The product of those with -velocity (= four-velocity) gives Minkowski's electric and magnetic rest forces:[R 13]

equivalent to (h), and used it to determine some components of the stress energy tensor, namely momentum density and energy density :[R 14]

equivalent to the corresponding components of (i).

Sommerfeld (1910)

[edit | edit source]

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 in terms of the special six-vector and its supplement

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

equivalent to (a, j), from which he derived the stress-energy tensor :[R 16]

equivalent to (i), and the four-force density[R 17]

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

equivalent to (f,g,b).

Ignatowski (1910)

[edit | edit source]

w:Wladimir Ignatowski (1910) formulated Minkowski's vector of second kind and its vectorial Lorentz transformation using unit velocity vector as follows:[R 19]

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

equivalent to (h).

Lewis/Wilson (1910-12)

[edit | edit source]

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 [R 20]

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

equivalent to (e,f).

In 1912, Lewis and w:Edwin Bidwell Wilson used real coordinates and also introduced the dual , writing the above expressions as[R 21]

equivalent to (a, b), and finally defined the dyadic (= the stress-energy tensor) using unit dyadic [R 22]

equivalent to (i).

Laue (1911)

[edit | edit source]

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):[R 23]

equivalent to (a), the Maxwell equations and the relation to the four-potential[R 24]

equivalent to (g, b), the four-force density[R 25]

equivalent to (h), and the stress-energy tensor[R 26]

equivalent to (i).

Conway (1911)

[edit | edit source]

Instead of Minkowski's matrix formulation or Sommerfeld's six-vector, w:Arthur Conway used the Weber vector in his w:biquaternion representation of Maxwell's equation and the relativity principle, denoting as the four-density and as four-potential, and defined its Lorentz transformation using rotor as well (where the subscript means conjugate)[R 27]

equivalent to k.

Silberstein (1911-12)

[edit | edit source]

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 , potential-quaternion , and force-quaternion (where the subscript means conjugate):[R 28]

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:[R 29]

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

and Minkowski's electric and magnetic rest force:

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

Kottler (1912)

[edit | edit source]

w:Friedrich Kottler formulated the electromagnetic field-tensor in order to express Maxwell's equations in terms of four-current and four-potential :[R 32]

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 :

He went on to define the Minkowski four force

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

equivalent to (i).

Einstein (1913)

[edit | edit source]

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 (= electromagnetic tensor), its dual , and its complement , as well as rest charge density :[R 33]

equivalent to (a,b,c,d,e,f,g) in the case of being the Minkowski tensor.

References

[edit | edit source]

Historical mathematical sources

[edit | edit source]
  1. Grassmann (1844)
  2. Cayley (1860), p. 226
  3. Plücker (1865), p. 776
  4. Cayley (1867), p. 291
  5. Cayley (1867), p. 291, 293
  6. Cayley (1867), p. 297
  7. Gordan (1868)
  • Cayley, A. (1860) [1859], "On a new analytical representation of curves in space", Quarterly Journal of Pure and Applied Mathematics, 3: 225–236
  • Cayley, A. (1869) [1867], "On the Six Coordinates of a Line", Transactions of the Cambridge Philosophical Society, XI: 290–323
  • Gordan, Paul (1868), "Ueber eine das Hyperboloid betreffende Aufgabe", Zeitschr. Math. Phys., 13: 59–63
  • Grassmann, H. (1844), Die lineale Ausdehnungslehre, ein neuer Zweig der Mathematik, Leipzig: Wiegand
  • Plücker, Julius (1865), "On a new geometry of space", Phil. Trans. R. Soc., 155: 725–791, doi:10.1098/rstl.1865.0017

Historical relativity sources

[edit | edit source]
  1. Weber (1900)
  2. Weber (1901), p. 348
  3. Silberstein (1906/07), p. 582f
  4. Silberstein (1907)
  5. Poincaré (1905/06), p. 142f, 150
  6. Minkowski (1907/15), p. 930
  7. Minkowski (1907/08), p. 58, 68, 81f
  8. Minkowski (1907/08), p. 71, 90
  9. Minkowski (1907/08), p. 84f
  10. Born (1907/08), p. 574, 578
  11. Bateman (1909/10), p. 252
  12. Abraham (1910), p. 35f, 40
  13. Abraham (1910), p. 36
  14. Abraham (1910), p. 40
  15. Sommerfeld (1910a), p. 754
  16. Sommerfeld (1910a), p. 767f
  17. Sommerfeld (1910a), p. 770
  18. Sommerfeld (1910b), p. 652ff
  19. Ignatowski (1910), p. 23
  20. Lewis (1910), p. 176ff
  21. Lewis/Wilson (1912), p. 488ff
  22. Lewis/Wilson (1912), p. 491f
  23. Laue (1911), p. 77f
  24. Laue (1911), p. 77, 88, 100
  25. Laue (1911), p. 80
  26. Laue (1911), p. 82
  27. Conway (1911)
  28. Silberstein (1911), p. 807
  29. Silberstein (1912), p. 138
  30. Silberstein (1914), p. 232f
  31. Silberstein (1914), p. 261f
  32. Kottler (1912), p. 1686
  33. Einstein/Grossmann (1912), p. 241
  • Poincaré, H. (1906) [1905], "Sur la dynamique de l'électron", Rendiconti del Circolo Matematico di Palermo, 21: 129–176