Inrelativisticquantum mechanics andquantum field theory, theBargmann–Wigner equations describefree particles with non-zero mass and arbitraryspinj, an integer forbosons (j = 1, 2, 3 ...) or half-integer forfermions (j =1⁄2,3⁄2,5⁄2 ...). The solutions to the equations arewavefunctions, mathematically in the form of multi-componentspinor fields.
They are named afterValentine Bargmann andEugene Wigner.
Paul Dirac first published theDirac equation in 1928, and later (1936) extended it to particles of any half-integer spin before Fierz and Pauli subsequently found the same equations in 1939, and about a decade before Bargman, and Wigner.[1]Eugene Wigner wrote a paper in 1937 aboutunitary representations of the inhomogeneousLorentz group, or thePoincaré group.[2] Wigner notesEttore Majorana and Dirac used infinitesimal operators applied to functions. Wigner classifies representations as irreducible, factorial, and unitary.
In 1948Valentine Bargmann and Wigner published the equations now named after them in a paper on a group theoretical discussion of relativistic wave equations.[3]
For a free particle of spinj withoutelectric charge, the BW equations are a set of2j coupledlinearpartial differential equations, each with a similar mathematical form to theDirac equation. The full set of equations are:[note 1][1][4][5]
which follow the pattern;
| 1 |
forr = 1, 2, ... 2j. (Some authors e.g. Loide and Saar[4] usen = 2j to remove factors of 2. Also thespin quantum number is usually denoted bys in quantum mechanics, however in this contextj is more typical in the literature). The entire wavefunctionψ =ψ(r,t) has components
and is a rank-2j 4-componentspinor field. Each index takes the values 1, 2, 3, or 4, so there are42j components of the entire spinor fieldψ, although a completely symmetric wavefunction reduces the number of independent components to2(2j + 1). Further,γμ = (γ0,γ) are thegamma matrices, and
is the4-momentum operator.
The operator constituting each equation,(−γμPμ +mc) = (−iħγμ∂μ +mc), is a4 × 4 matrix, because of theγμ matrices, and themc termscalar-multiplies the4 × 4identity matrix (usually not written for simplicity). Explicitly, in theDirac representation of the gamma matrices:[1]
whereσ = (σ1, σ2, σ3) = (σx, σy, σz) is a vector of thePauli matrices,E is theenergy operator,p = (p1,p2,p3) = (px,py,pz) is the3-momentum operator,I2 denotes the2 × 2identity matrix, the zeros (in the second line) are actually2 × 2blocks ofzero matrices.
The above matrix operatorcontracts with one bispinor index ofψ at a time (seematrix multiplication), so some properties of the Dirac equation also apply to the BW equations:
Unlike the Dirac equation, which can incorporate the electromagnetic field viaminimal coupling, the B–W formalism comprises intrinsic contradictions and difficulties when the electromagnetic field interaction is incorporated. In other words, it is not possible to make the changePμ →Pμ −eAμ, wheree is theelectric charge of the particle andAμ = (A0,A) is theelectromagnetic four-potential.[6][7] An indirect approach to investigate electromagnetic influences of the particle is to derive the electromagneticfour-currents andmultipole moments for the particle, rather than include the interactions in the wave equations themselves.[8][9]
Therepresentation of the Lorentz group for the BW equations is[6]
where eachDr is an irreducible representation. This representation does not have definite spin unlessj equals 1/2 or 0. One may perform aClebsch–Gordan decomposition to find the irreducible(A,B) terms and hence the spin content. This redundancy necessitates that a particle of definite spinj that transforms under theDBW representation satisfies field equations.
The representationsD(j, 0) andD(0,j) can each separately represent particles of spinj. A state or quantum field in such a representation would satisfy no field equation except the Klein–Gordon equation.
Following M. Kenmoku,[10] in local Minkowski space, the gamma matrices satisfy theanticommutation relations:
whereηij = diag(−1, 1, 1, 1) is theMinkowski metric. For the Latin indices here,i, j = 0, 1, 2, 3. In curved spacetime they are similar:
where the spatial gamma matrices are contracted with thevierbeinbiμ to obtainγμ =biμ γi, andgμν =biμbiν is themetric tensor. For the Greek indices;μ, ν = 0, 1, 2, 3.
Acovariant derivative for spinors is given by
with theconnectionΩ given in terms of thespin connectionω by:
The covariant derivative transforms likeψ:
With this setup, equation (1) becomes:
Lorentz groups in relativistic quantum physics: