History of Topics in Special Relativity/Four-force (electromagnetism)

From testwiki
Revision as of 07:56, 19 May 2023 by imported>MathXplore (−Category:Special Relativity; ±Category:History of PhysicsCategory:History of special relativity using HotCat)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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

Overview

The electromagnetic w:four-force or covariant w:Lorentz force Kμ can be expressed as

(a) the rate of change in the w:four-momentum Pμ=mUμ of a particle with respect to the particle's w:proper time τ,
(b) function of three-force 𝐟
(c) assuming constant mass as the product of invariant mass m and four-acceleration Aμ
(d) using the Lorentz force per unit charge 𝐟=q{𝐄+𝐯×𝐁}
(e) the product of the electromagnetic tensor Fαβ with the four-velocity Uμ and charge q
(f) by integrating the four-force density Dμ with respect to rest unit volume V0=Vγ

The corresponding four-force density Dμ is defined as

(a1) the rate of change of four-momentum density Mμ=μ0Uμ with rest mass density μ0=μ/γ and four-velocity Uμ,
(b1) function of three-force density 𝐝
(c1) assuming constant mass the product of rest mass density μ0 and four-acceleration Aμ
(d1) using the Lorentz force density 𝐝=ρ{𝐄+𝐯×𝐁}=ρ𝐄+𝐉×𝐁 with ρ as charge density,
(e1) as the product of electromagnetic tensor Fαβ with four-current Jμ or with four-velocity Uμ using rest charge density ρ0=ρ/γ,
(f1) as the negative four-divergence of the electromagnetic energy-momentum tensor Tαβ (compare with History of Topics in Special Relativity/Stress-energy tensor (electromagnetic)):

Kμ=dPμdτ=γ(1c𝐟𝐯, 𝐟)=mAμ=γq(1c𝐯𝐄, 𝐄+𝐯×𝐁)=qFαβUβ=DμdV0(a)(b)(c)(d)(e)(f)Dμ=dMμdτ=(1c𝐝𝐯, 𝐝)=μ0Aμ=ρ(1c𝐯𝐄, 𝐄+𝐯×𝐁)=FαβJβ=ρ0FαβUβ=αTαβ(a1)(b1)(c1)(d1)(e1)(f1)(γ=11v2c2, 𝐟=𝐝dV)

Historical notation

Poincaré (1905/6)

w:Henri Poincaré (July 1905, published January 1906) defined the Lorentz force and its Lorentz transformation:[R 1]

X=ρf+ρ(ηγζβ)X=ρf+ρ(ηγζβ){X=k(X+ϵT),T=k(T+ϵX),Y=Y,Z=Z; with T=ΣXξ and k=11ϵ2.

in which (X,Y,Z,T) represent the components of four-force density (b1, d1) because

ϵ=vc, (X, Y, Z)=ρ{𝐄+𝐯×𝐁}=𝐝, T=ΣXξ=𝐝𝐯=𝐯𝐄.

Additionally, he explicitly obtained the four-force per unit charge by setting X1X=Y1Y=Z1Z=T1T=1ρ:[R 2]

(k0X1,k0Y1,k0Z1,k0T1) with T1=ΣX1ξ and k0=11ϵ2

equivalent to (b, d) and obtained its Lorentz transformation by multiplying the transformation of (X,Y,Z,T) by

ρρ=1k(1+ξϵ)=δtδt.

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 four-force density X,Y,Z,iA as the product of the electromagnetic tensor and the four-current with ϱ as charge density and 𝔳 as velocity:[R 3]

X,Y,Z,iAXj=ϱ1ψj1+ϱ2ψj2+ϱ3ψj3+ϱ4ψj4A=X𝔳x+Y𝔳y+Z𝔳z{ψ23, ψ31, ψ12x,y,zψ14, ψ24, ψ34i𝔈x,i𝔈y,i𝔈zψjj=0}

equivalent to (b1, d1, e1) because ϵ=vc, (X,Y,Z)=𝐝, A=𝐝𝐯=𝐯𝐄.

In another lecture from December 1907, he used the symbols 𝔢,𝔪 (i.e. 𝐄,𝐁) and 𝔈,𝔐 (i.e. 𝐃,𝐇) which he represented in the form of “vectors of second kind”, i.e. the electromagnetic tensor f and its dual f*, from which he derived the electric rest force Φ and magnetric rest force Ψ as the product with four-velocity w, which in turn can be used to express F and f and four-conductivity:[R 4]

Φ=wF(Φ1,Φ2,Φ3)=𝔈+[𝔴𝔐]1𝔴2, Φ4=i(𝔴𝔈)1𝔴2Ψ=iwf*,Φ1=w2F12+w3F13+w4F14,Φ2=w1F21+w3F23+w4F24,Φ3=w1F31+w2F32+w4F34,Φ4=w1F41+w2F42+w3F43.|Ψ1=i(w2f34+w3f42+w4f23),Ψ2=i(w1f43+w3f14+w4f31),Ψ3=i(w1f24+w2f41+w4f12),Ψ4=i(w1f32+w2f13+w3f21).wF=Φ,wF*=iμΨ,wf=εΦ,wf*=iΨF=[w,Φ]+iμ[w,Ψ]*,f=ε[w,Φ]+i[w,Ψ]*,s+(ws)w=σwF.

which becomes the covariant Lorentz force (d,e) when multiplied with the charge. He gave the general expression of four-force density as

K+(wK)wK=lor S=sF+NK1=Xxx+Xyy+XzzXtt=ϱ𝔈x+𝔰y𝔐z𝔰z𝔐y12ΦΦεx12ΨΨμx+εμ11𝔴2(𝔚𝔴x)K2=Yxx+Yyy+YzzYtt=ϱ𝔈y+𝔰z𝔐x𝔰x𝔐z12ΦΦεy12ΨΨμy+εμ11𝔴2(𝔚𝔴y)K3=Zxx+Zyy+ZzzZtt=ϱ𝔈z+𝔰x𝔐y𝔰y𝔐x12ΦΦεz12ΨΨμz+εμ11𝔴2(𝔚𝔴z)1iK4=TxxTyyTzzTtt=𝔰x𝔈x+𝔰y𝔈y+𝔰z𝔈z+12ΦΦεt+12ΨΨμtεμ11𝔴2(𝔚𝔴t)[lor =|x1, x2, x3, x4|]

equivalent to (f).

In his lecture “space and time” (1908, published 1909), Minkowski defined the “moving force vector” as[R 5]

t˙X, t˙Y, t˙Z, t˙TT=1c2(x˙t˙X, y˙t˙Y, z˙t˙Z)

equivalent to (b) because x˙, y˙, z˙, t˙ is the four-velocity γ[𝐮,c] and 𝐟=[X,Y,Z].

Born (1909)

w:Max Born (1909) summarized Minkowski's work using index notation, defining the equations of motion in terms of rest mass density μ and rest charge density ϱ0[R 6]

ciμ2xαξ42=ϱ0cβ=14fαβxβξ4μ2xτ2=ϱ0{𝔈xtτ+1c(yτ𝔐zzτ𝔐y)}μ2yτ2=ϱ0{𝔈ytτ+1c(zτ𝔐xxτ𝔐z)}μ2zτ2=ϱ0{𝔈ztτ+1c(xτ𝔐yyτ𝔐z)}μ2tτ2=1c2ϱ0{𝔈xxτ+𝔈yyτ+𝔈zzτ}

equivalent to (c1, d1, e1).

Frank (1909)

w:Philipp Frank (1909) discussed “electromagnetic mechanics” by defining four-force (X,Y,Z,T) as follows:[R 7]

mddσdtdσ=T, md2xdσ2=X, d2ydσ2=Y, d2zdσ2=ZT=mddσdtdσ=m1(1w2)2(wxdwxdt+wydwydt+wzdwzdt)d2xdσ2=11w2dwxdt+wx(1w2)2(wxdwxdt+wydwydt+wzdwzdt)etc.

corresponding to (b, c).

Abraham (1909/10)

While Minkowski used the four-force density as K+(Kw)w with K=lor S, w:Max Abraham (1909) directly used K as four-force density, and expressed it in terms of “momentum equations” and an “energy equation” using momentum density 𝔤, energy density ψ, Poynting vector 𝔖, Joule heat Q[R 8]

𝔎x=Xxx+Xyy+Xzz𝔤xt𝔎x=Xxx+Xyy+XzzXtl𝔎y=Yxx+Yyy+Yzz𝔤yt𝔎y=Yxx+Yyy+YzzYtl𝔎z=Zxx+Zyy+Zzz𝔤zt𝔎z=Zxx+Zyy+ZzzZtl𝔴𝔎+Q=div𝔖ψt𝔎t=TxxTyyTzzTtl(div𝔖=𝔖xx+𝔖yy+𝔖zz, 𝔤=𝔖c2)

or alternatively by introducing “relative stresses” and the “relative energy flux”:

𝔎x=Xxx+Xyy+Xzz𝔤xt𝔎y=Yxx+Yyy+Yzz𝔤yt𝔎z=Zxx+Zyy+Zzz𝔤zt𝔴𝔎+Q=div{𝔖𝔴ψ}ψt(Xx=Xx+𝔴x𝔤xXy=Xy+𝔴y𝔤xXz=Xz+𝔴z𝔤xYx=Yx+𝔴x𝔤xYy=Yy+𝔴y𝔤xYz=Yz+𝔴z𝔤xZx=Zx+𝔴x𝔤xZy=Zy+𝔴y𝔤xZz=Zz+𝔴z𝔤x)

all equivalent to (f1).

In a subsequent paper (1909) he formulated these relations as follows[R 9]

𝔎x=Xxx+Xyy+Xzz𝔤xt𝔎x=Xxx+Xyy+Xzz+Xuu𝔎y=Yxx+Yyy+Yzz𝔤yt𝔎y=Yxx+Yyy+Yzz+Yuu𝔎z=Zxx+Zyy+Zzz𝔤zt𝔎z=Zxx+Zyy+Zzz+ZuuQ+(𝔴𝔎)=𝔖xx𝔖yy𝔖zzψt𝔎u=Uxx+Uyy+Uzz+Uuu(u=ict)

In addition, Abraham gave arguments in favor of his choice to use K=lor S directly as four-force density: He argued that Minkowski's definition of force as the product of constant rest mass with four-acceleration together with a complementary force is disadvantageous at non-adiabatic motion, because mass-energy equivalence according to which mass depends on its energy content would suggest a variable rest mass m0, and showed that m0 is compatible with the general definition of force density 𝔎 over volume dv as the rate of momentum change without the need of complementary components[R 10]

ddt{m0c𝔮1𝔮2}=𝔎dv.

As he showed in 1910, this implies that the equations of motion in terms of four-force density 𝔎 and rest mass density ν and four-velocity assume the form:[R 11]

ddτ(νdxdτ)=𝔎xddτ(νdydτ)=𝔎yddτ(νdzdτ)=𝔎zddτ(νdudτ)=𝔎u (u=ict)

This is equivalent to (a1) defining four-force density as the rate of change of four-momentum density.

Bateman (1909/10)

The first discussion in an English language paper of four-force 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 following invariants (with λ2=1 in relativity):[R 12]

ρλ2[(ExwzHy+wyHz)dy dz dt+(EywxHz+wzHx)dz dx dt+(EzwyHz+wxHy)dx dy dt(wxEx+wyEy+wzEz)dx dy dz],ρλ4[(Ex+wyHzwzHy)δx+(Ey+wzHxwxHz)δy+(Ez+wzHywyHx)δz(wxEx+wyEy+wzEz)δt],ρ dx dy dz dt[(Ex+wyHzwzHy)δx+(Ey+wzHxwxHz)δy+(Ez+wxHywyHx)δz(wxEx+wyEy+wzEz)δt].

equivalent to (e) because it can be seen as the product of charge, four-velocity and the electromagnetic tensor, which is the definition of the covariant Lorentz force.

Ignatowski (1910)

w:Wladimir Ignatowski (1910) formulated the four-force in terms of the Lorentz force as well as the equation of motion, and following Abraham (1909) he assumed variable rest mass in the case of non-adiabatic motion[R 13]

(𝔎1n𝔳2, n𝔳𝔎1n𝔳2)dm0𝔳1n𝔳2dt=𝔎(𝔎1n𝔳2, n𝔳𝔎1n𝔳2+dm0dt)𝔎=e𝔈+[e𝔳]𝔎=e𝔈+[e𝔳]m0d𝔳1n𝔳2dt=𝔎[n=1c2]

equivalent to (b, d). He also derived the four-force density in terms of the density of three-force or Lorentz force 𝔎1 by integrating three-force 𝔎 with respect to volume:[R 14]

(𝔎1, n𝔎1𝔳)𝔎1=𝔈ϱ+[ϱ𝔳]𝔎'1=𝔈ϱ+[ϱ𝔳][𝔎 dv=𝔎1, n=1c2]

equivalent to (b1, d1).

Sommerfeld (1910)

In an influential paper, w:Arnold Sommerfeld translated Minkowski's matrix formalism into a four-dimensional vector formalism involving four-vectors and six-vectors. He defined the four-force density as the covariant product of a six-vector denoted as “field vector” f (now known as electromagnetic tensor) and the four-current P, which he related to Lorentz force density 𝔉:[R 15]

[Pf]𝔉x=(Pfx)=ϱ(𝔳xcfxx+𝔳ycfxy+𝔳zcfxz+ifxl)=ϱ(𝔳ycz𝔳zcy+𝔈x)𝔉l=(Pfl)=ϱ(𝔳xcflx+𝔳ycfly+𝔳zcflz+ifll)=iϱc(𝔳x𝔈x+𝔳y𝔈y+𝔳z𝔈z)𝔉j=ϱ(𝔈+1c[𝔳]), 𝔉l=iϱc(𝔈𝔳)(j=x,y,z; l=ict)

equivalent to (b1, d1, e1).

Laue (1911-13)

In the first textbook on relativity, w:Max von Laue (1911) followed Abraham in defining the four-force density (Viererkraft) F as the product of a six-vector denoted as “field vector” 𝔐 (now known as electromagnetic tensor) and the four-current related to Lorentz force density 𝔉, and alternatively as the divergence of the electromagnetic stress-energy tensor T,[R 16] which included some printing errors corrected in the 1913 edition[R 17]

F=[P𝔐]=𝞓ivT[P𝔐]x=𝔉x, [P𝔐]y=𝔉y, [P𝔐]z=𝔉z, [P𝔐]l=iϱc(𝔮𝔈)=ic(𝔮𝔉)[𝔉=ϱ(𝔈+1c[𝔮]), 𝞓iv=divergence six-vector, l=ict]

equivalent to (b1, d1, e1, f1).

In 1913, Laue also showed that four-force density F and three force density 𝔉 can be used to derive the “Minkowskian force vector” (i.e. four-force) K and three-force 𝔎 per unit charge by defining the volume δV:c2q2:[R 18]

KKx=𝔎xc2q2,Ky=𝔎yc2q2,Kz=𝔎zc2q2,Kl=ic(𝔮𝔎)c2q2,d(mY)dτmdYdτ

Silberstein (1911-14)

w:Ludwik Silberstein in 1911 and published 1912, devised an alternative 4D calculus based on w:Biquaternions which, however, never gained widespread support. He defined the "force-quaternion" (i.e. four-force density) as the electrical part Pe of P, which he related to the “current-quaternion” (i.e. four-current) C and the “electromagnetic bivector” (i.e. w:Weber vector) 𝐅}[R 19]

P=C𝐅=D[𝐅𝐅]P=ρ{ι𝐌+𝐄+1cp𝐌ιcp𝐄}=Pe+ιPmPe=ρ{ιc(p𝐄)+𝐄+1cVp𝐌}Pm=ρ{ιc(p𝐌)+𝐌+1cVp𝐄}[D=l]

equivalent to (d1,e1,f1).

In his textbook on quaternionic special relativity written 1914, he defined four-force density using stress-energy tensor 𝔖 like Abraham and Laue, as well as in terms of Minkowski's alternative force definition FMnk using four-velocity Y:[R 20]

F=ρ{ιc(p𝐄)+𝐄+1cVp𝐌}=ιc(𝐏𝐩)+𝐏=1c𝐑[D]𝐋=lor𝔖FMnk=12[F+1c2YFcY][𝐏=ρ{𝐄+1cV𝐩𝐌}, D=l, lor=|x, y, z, it|]

equivalent to (d1,e1,f1).

Lewis and Wilson (1912)

w:Gilbert Newton Lewis and w:Edwin Bidwell Wilson explicitly defined a four-vector called “extended momentum” (i.e. four-momentum) m0𝐰, deriving the “extended force” (i.e. four force) using 𝐜 as four-acceleration:[R 21]

m0𝐜=dm0𝐰ds=dmvds𝐤1+dmds𝐤4=11v2(dmvdt𝐤1+dmdt𝐤4)

equivalent to (a, c).

Kottler (1912)

While formulating electrodynamics in a generally covariant way, w:Friedrich Kottler expressed the “Minkowski force” Fα in terms of the electromagnetic field-tensor Fαβ, four-current 𝐏(β), stress-energy tensor Sαβ:[R 22]

Fα(y)=βFαβ(y)𝐏(β)(y)1𝔴2/c2[βFαβ(y)𝐏(β)(y)=βFαβ(y)γy(γ)Fβγ(y)=βy(β)Sαβ]

equivalent to (e, f).

In 1914 Kottler derived the equations of motion from the “Nordström tensor” (i.e. dust solution of the stress energy tensor) in terms of rest mass density ν0, which he equated to the action of a constant external electromagnetic field in terms of electromagnetic tensor F(hk) and charge density ϱ:[R 23]

k=14x(k)(νdx(h)dtdx(k)dt)=νd2x(h)dt2=K(h)=ϱck=14F(hk)x(k)

equivalent to (f).

Einstein (1912-14)

In an unpublished manuscript on special relativity, written between 1912-1914, w:Albert Einstein wrote the four-force density (Kμ) in terms of electromagnetic tensor (𝔉μν), four-current (𝔍ν), stress-energy tensor (Tμν):[R 24]

(𝔉μν)(𝔍ν)=(Kμ)K1=ρ(𝔢x+𝔮yc𝔥z𝔮zc𝔥y)K2=ρ(𝔢y+𝔮zc𝔥x𝔮xc𝔥z)K3=ρ(𝔢z+𝔮xc𝔥y𝔮yc𝔥x)K4=icρ(𝔮x𝔢x+𝔮y𝔢y+𝔮z𝔢z)(Kμ)=(xν)(Tμν)K1=pxxx1pxyx2pxzx3ic𝐬xx4K4=ic𝐬xx1ic𝐬yx2ic𝐬zx3(w)x4

equivalent to (d1,e1,f1).

References

Template:Reflist

  • {{#section:History of Topics in Special Relativity/relsource|abra09elek}}
  • {{#section:History of Topics in Special Relativity/relsource|abra09mech}}
  • {{#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|einst12manu}}
  • {{#section:History of Topics in Special Relativity/relsource|frank09a}}
  • {{#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|kott14bes}}
  • {{#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|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|silber11quat}}
  • {{#section:History of Topics in Special Relativity/relsource|silber14quat}}
  • {{#section:History of Topics in Special Relativity/relsource|som10alg}}


Cite error: <ref> tags exist for a group named "R", but no corresponding <references group="R"/> tag was found