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μ)

using ds=(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 rewrite vμdδxμ=d(vμδxμ)−δxμdvμ
\ similarly Aμ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 similarly dAμ 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 by ds 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 of Fμν that it is an antisymmetric matrix i.e Fνμ=−Fμν

S=∫ba(−mcds−ecAμdxμ)

specifically, let’s look at Aμdxμ. we know that Aμ=(ϕ/c,A⃗ ) and that dxμ=(cdt,−dr⃗ )
therefore Aμdxμ=ϕdt−A⃗ ⋅dr⃗ 
S=∫ba(−mcds−ec(ϕdt−A⃗ ⋅dr⃗ ))

S=∫ba(−mcds−ecϕdt+ecA⃗ ⋅dr⃗ ))

we know that ds=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⃗ )

since A⃗ (∇⃗ ⋅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

where p⃗ =γ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 assume Aμ=(ϕ,A⃗ ),
E⃗ =−∇ϕ−1cdA⃗ dt

Popular posts from this blog

Arxiv author affiliations using Python

Adaptive step size Runge-Kutta method

Giving up to 5% of my annual salary to FOSS