Gordon decomposition

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

In mathematical physics, the Gordon decomposition[1] (named after Walter Gordon) of the Dirac current is a splitting of the charge or particle-number current into a part that arises from the motion of the center of mass of the particles and a part that arises from gradients of the spin density. It makes explicit use of the Dirac equation and so it applies only to "on-shell" solutions of the Dirac equation.

Original statement

[edit | edit source]

For any solution ψ of the massive Dirac equation,

(iγμμm)ψ=0,

the Lorentz covariant number-current jμ=ψ¯γμψ may be expressed as

ψ¯γμψ=i2m(ψ¯μψ(μψ¯)ψ)+1mν(ψ¯Σμνψ),

where

Σμν=i4[γμ,γν]

is the spinor generator of Lorentz transformations, and

ψ¯=ψγ0

is the Dirac adjoint.

The corresponding momentum-space version for plane wave solutions u(p) and u¯(p) obeying

(γμpμm)u(p)=0
u¯(p)(γμp'μm)=0,

is

u¯(p)γμu(p)=u¯(p)[(p+p)μ2m+iσμν(pp)ν2m]u(p),

where

σμν=2Σμν.

Proof

[edit | edit source]

One sees that from Dirac's equation that

ψ¯γμ(mψ)=ψ¯γμ(iγννψ)

and, from the adjoint of Dirac's equation,

(ψ¯m)γμψ=((νψ¯)(iγν))γμψ.

Adding these two equations yields

ψ¯γμψ=i2m(ψ¯γμγννψ(νψ¯)γνγμψ).

From Dirac algebra, one may show that Dirac matrices satisfy

γμγν=ημνiσμν=ηνμ+iσνμ.

Using this relation,

ψ¯γμψ=i2m(ψ¯(ημνiσμν)νψ(νψ¯)(ημν+iσμν)ψ),

which amounts to just the Gordon decomposition, after some algebra.

Utility

[edit | edit source]

The second, spin-dependent, part of the current coupled to the photon field, Aμjμ yields, up to an ignorable total divergence,

e2mcνAμψ¯σνμψ=e2mc12Fμνψ¯σμνψ,

that is, an effective Pauli moment term, (e/2mc)Bψσψ.

Massless generalization

[edit | edit source]

This decomposition of the current into a particle number-flux (first term) and bound spin contribution (second term) requires m0.

If one assumed that the given solution has energy E=|𝐤|2+m2 so that ψ(𝐫,t)=ψ(𝐫)eiEt, one might obtain a decomposition that is valid for both massive and massless cases.[2]

Using the Dirac equation again, one finds that

𝐣eψ¯𝜸ψ=e2iE(ψψ(ψ)ψ)+eE(×𝐒).

Here 𝜸=(γ1,γ2,γ3), and 𝐒=ψ𝐒^ψ with (S^x,S^y,S^z)=(Σ23,Σ31,Σ12), so that

𝐒^=12[𝝈00𝝈],

where 𝝈=(σx,σy,σz) is the vector of Pauli matrices.

With the particle-number density identified with ρ=ψψ, and for a near plane-wave solution of finite extent, one may interpret the first term in the decomposition as the current 𝐣free=eρ𝐤/E=eρ𝐯, due to particles moving at speed 𝐯=𝐤/E.

The second term, 𝐣bound=(e/E)×𝐒 is the current due to the gradients in the intrinsic magnetic moment density. The magnetic moment itself is found by integrating by parts to show that

𝝁=12𝐫×𝐣boundd3x=12𝐫×(eE×𝐒)d3x=eE𝐒d3x.

For a single massive particle in its rest frame, where E=m, the magnetic moment reduces to

𝝁Dirac=(em)𝐒=(eg2m)𝐒.

where |𝐒|=/2 and g=2 is the Dirac value of the gyromagnetic ratio.

For a single massless particle obeying the right-handed Weyl equation, the spin-1/2 is locked to the direction 𝐤^ of its kinetic momentum and the magnetic moment becomes[3]

𝝁Weyl=(eE)𝐤^2.

Angular momentum density

[edit | edit source]

For both the massive and massless cases, one also has an expression for the momentum density as part of the symmetric Belinfante–Rosenfeld stress–energy tensor

TBRμν=i4(ψ¯γμνψ(νψ¯)γμψ+ψ¯γνμψ(μψ¯)γνψ).

Using the Dirac equation one may evaluate TBR0μ=(,𝐏) to find the energy density to be =Eψψ, and the momentum density,

𝐏=12i(ψ(ψ)(ψ)ψ)+12×𝐒.

If one used the non-symmetric canonical energy-momentum tensor

Tcanonicalμν=i2(ψ¯γμνψ(νψ¯)γμψ),

one would not find the bound spin-momentum contribution.

By an integration by parts one finds that the spin contribution to the total angular momentum is

𝐫×(12×𝐒)d3x=𝐒d3x.

This is what is expected, so the division by 2 in the spin contribution to the momentum density is necessary. The absence of a division by 2 in the formula for the current reflects the g=2 gyromagnetic ratio of the electron. In other words, a spin-density gradient is twice as effective at making an electric current as it is at contributing to the linear momentum.

Spin in Maxwell's equations

[edit | edit source]

Motivated by the Riemann–Silberstein vector form of Maxwell's equations, Michael Berry[4] uses the Gordon strategy to obtain gauge-invariant expressions for the intrinsic spin angular-momentum density for solutions to Maxwell's equations.

He assumes that the solutions are monochromatic and uses the phasor expressions 𝐄=𝐄(𝐫)eiωt, 𝐇=𝐇(𝐫)eiωt. The time average of the Poynting vector momentum density is then given by 𝐏=14c2[𝐄*×𝐇+𝐄×𝐇*]=ϵ04iω[𝐄*(𝐄)(𝐄*)𝐄+×(𝐄*×𝐄)]=μ04iω[𝐇*(𝐇)(𝐇*)𝐇+×(𝐇*×𝐇)]. We have used Maxwell's equations in passing from the first to the second and third lines, and in expression such as 𝐇*(𝐇) the scalar product is between the fields so that the vector character is determined by the .

As 𝐏tot=𝐏free+𝐏bound, and for a fluid with intrinsic angular momentum density 𝐒 we have 𝐏bound=12×𝐒, these identities suggest that the spin density can be identified as either 𝐒=μ02iω𝐇*×𝐇 or 𝐒=ϵ02iω𝐄*×𝐄. The two decompositions coincide when the field is paraxial. They also coincide when the field is a pure helicity state – i.e. when 𝐄=iσc𝐁 where the helicity σ takes the values ±1 for light that is right or left circularly polarized respectively. In other cases they may differ.

References

[edit | edit source]
  1. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  2. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  3. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  4. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).