Maxwell's equations in tensor form
we know that the action
S=∫ba(−mcds−ecAμdxμ)
and sinceδS=0 , we can rewrite the above equation as
δS=∫ba(−mcδds−ecδ(Aμdxμ))
δS=∫ba(−mcdδs−ec(dxμδAμ+Aμδ(dxμ))
δS=∫ba(−mcdδs−ec(dxμδAμ+Aμdδxμ)
usingds=(dxμdxμ)12 , we can calculate that δds=vμδ(dxμ) i.e
\dδs=vμdδxμ . We can substitute this term in the previous equation which therefore becomes
δS=∫ba(−mcvμdδxμ−ec(dxμδAμ+Aμdδxμ)
We can rewritevμdδxμ=d(vμδxμ)−δxμdvμ
\ similarlyAμdδxμ=d(Aμδxμ)−δxμdAμ
substituting the above results in the previous equation leads to
δS=∫ba(−mc(d(vμδxμ)−δxμdvμ)−ec(dxμδAμ+d(Aμδxμ)−δxμdAμ)
δS=∫ba(−mcd(vμδxμ)−ecd(Aμδxμ))+∫ba(mcδxμdvμ)−ec(dxμδAμ−δxμdAμ)
let us rewriteδAμ as dAμdxνδxν
and similarlydAμ as dAμdxνdxν
correcting for the above changes in the equation above gives
δS=∫ba(mcδxμdvμ)−ec(dxμdAμdxνδxν−δxμdAμdxνdxν)
δS=∫ba(mcδxμdvμ)−ec(dxνdAνdxμδxμ−δxμdAμdxνdxν)
δS=∫baδxμ((mcdvμ)−ec(dxνdAνdxμ−dAμdxνdxν))
and sinceδS=0
∫baδxμ((mcdvμ)−ec(dxνdAνdxμ−dAμdxνdxν))=0
mcdvμ−ec(dxνdAνdxμ−dAμdxνdxν)=0
mcdvμ=ec(dxνdAνdxμ−dAμdxνdxν)
mcdvμ=ec(dAνdxμ−dAμdxν)dxν
dividing the whole equation byds and remembering that dxμds=vμ , we can rewrite the above equation as
mcdvμds=ec(dAνdxμ−dAμdxν)dxνds
mcdvμds=ec(dAνdxμ−dAμdxν)vν
we now define
Fμν=dAνdxμ−dAμdxν
mcdvμds=Fμνvν
We can understand from the construction ofFμν that it is an antisymmetric matrix i.e Fνμ=−Fμν
S=∫ba(−mcds−ecAμdxμ)
specifically, let’s look atAμdxμ . we know that Aμ=(ϕ/c,A⃗ ) and that dxμ=(cdt,−dr⃗ )
thereforeAμdxμ=ϕdt−A⃗ ⋅dr⃗
S=∫ba(−mcds−ec(ϕdt−A⃗ ⋅dr⃗ ))
S=∫ba(−mcds−ecϕdt+ecA⃗ ⋅dr⃗ ))
we know thatds=cdτ and that dτ=dtγ substituting these changes changes the above equation to
S=∫ba(−mc2dtγ−ecϕdt+ecA⃗ ⋅dr⃗ ))
S=∫ba(−mc2dtγ−ecϕdt+ecA⃗ ⋅dr⃗ dtdt))
S=∫badt(−mc21γ−ecϕ+ecA⃗ ⋅dr⃗ dt))
S=∫badtL
where
L=−mc21γ−ecϕ+ecA⃗ ⋅dr⃗ dt
L=−mc21γ−ecϕ+ecA⃗ ⋅V⃗
we can get the equations of motion from
∂L∂r−ddt∂L∂r˙=0
∂L∂r=−ec∇ϕ+ec∇⃗ (A⃗ ⋅V⃗ )
∇⃗ (A⃗ ⋅V⃗ )=V⃗ ×(∇⃗ ×A⃗ )−A⃗ (∇⃗ ⋅V⃗ )
sinceA⃗ (∇⃗ ⋅V⃗ )=0 , we can rewrite the earlier equation as
∂L∂r=−ec∇ϕ+ecV⃗ ×(∇⃗ ×A⃗ )
similarly
∂L∂r˙=∂∂r˙(−mc21γ−ecA⃗ ⋅V⃗ )
∂L∂r˙=∂∂r˙(−mc21−v2c2−−−−−−√−ecA⃗ ⋅V⃗ )
∂L∂r˙=γmV⃗ +ecA⃗
going back to
∂L∂r−ddt∂L∂r˙=0
−ec∇ϕ+ecV⃗ ×(∇⃗ ×A⃗ )−ddt(γmV⃗ +ecA⃗ )=0
−ec∇ϕ+ecV⃗ ×(∇⃗ ×A⃗ )−dp⃗ dt+ecdA⃗ dt=0
wherep⃗ =γmV⃗
dp⃗ dt=−ec∇ϕ+ecdA⃗ dt+ecV⃗ ×(∇⃗ ×A⃗ )
dp⃗ dt=−e(1c∇ϕ+1cdA⃗ dt)+ecV⃗ ×(∇⃗ ×A⃗ )
we’re defining
E⃗ =−1c∇ϕ−1cdA⃗ dt
and
B⃗ =∇⃗ ×A⃗
dp⃗ dt=eE⃗ +ecV⃗ ×B⃗
if we assumeAμ=(ϕ,A⃗ ) ,
E⃗ =−∇ϕ−1cdA⃗ dt
and since
using
\
We can rewrite
\ similarly
substituting the above results in the previous equation leads to
let us rewrite
and similarly
correcting for the above changes in the equation above gives
and since
dividing the whole equation by
we now define
We can understand from the construction of
specifically, let’s look at
therefore
we know that
where
we can get the equations of motion from
since
similarly
going back to
where
we’re defining
if we assume