Bargmann–Wigner equations
- This article uses the Einstein summation convention for tensor/spinor indices, and uses hats for quantum operators.
Quantum field theory |
---|
Feynman diagram |
History |
Background
|
|
Incomplete theories |
Scientists
|
In relativistic quantum mechanics and quantum field theory, the Bargmann–Wigner equations (or BW equations or BWE) are relativistic wave equations which describe free particles of arbitrary spin j, an integer for bosons (j = 1, 2, 3 ...) or half-integer for fermions (j = 1⁄2, 3⁄2, 5⁄2 ...). The solutions to the equations are wavefunctions, mathematically in the form of multi-component spinor fields. The spin quantum number is usually denoted by s in quantum mechanics, however in this context j is more typical in the literature (see references).
They were proposed by Valentine Bargmann and Eugene Wigner in 1948,[1] using Lorentz group theory,[2] and building on the work of those who pioneered quantum theory within the first half of the twentieth century.[3][4]
Origin from the Dirac equation
For reference, the Dirac equation is summarized below. It is the basis for building relativistic wave equations with wavefunctions of higher spin.
The covariant form of the Dirac equation for an uncharged particle is:[5]
-
(1)
where Ψ = Ψ(r, t) is a rank-1 4-component spinor field, a function of the particle's position r and time t, with components ψα = ψα(r, t) in which α is a bispinor index that takes values 1, 2, 3, 4. Further, γμ = (γ0, γ) are the gamma matrices, and
is the 4-momentum operator. The operator constituting the entire equation, (−γμPμ + mc) = (−iħγμ∂μ + mc), is a 4 × 4 matrix, because of the γμ matrices, and the mc term scalar-multiplies the 4 × 4 identity matrix (usually not written for simplicity). Explicitly, in the Dirac representation of the gamma matrices:[3]
where σ = (σ1, σ2, σ3) = (σx, σy, σz) is a vector of the Pauli matrices, E is the energy operator, p = (p1, p2, p3) = (px, py, pz) is the 3-momentum operator, I2 denotes the 2 × 2 identity matrix, the zeros (in the second line) are actually 2 × 2 blocks of zero matrices.
The Dirac equation (1) can be written as a coupled set of equations:
-
(1A)
-
(1B)
where
One 2-component spinor ψ1,2 describes the spin-1/2 fermion, the other ψ3,4 describes the antifermion.
For a charged particle moving in an electromagnetic field, minimal coupling can be introduced:
-
(1C)
where e is the electric charge of the particle and Aμ = (A0, A) is the electromagnetic four-potential.
BW equations
For a free particle of spin j, the BW equations are a set of 2j coupled linear partial differential equations, each with a similar mathematical form to the Dirac equation.
Uncharged massive particles
For a free particle with zero electric charge, the full set of equations are:[3][4][6]
which follow the pattern;
-
(2)
for r = 1, 2, ... 2j. Again, the operator (−γμPμ + mc) is a 4 × 4 matrix. The wavefunction Ψ = Ψ(r, t) has components
and is now a rank-2j 4-component spinor field, usually symmetric in all bispinor indices, but not necessarily; for example, the spin-0 case is antisymmetric. Each index takes the values 1, 2, 3, or 4, so there are 42j components of the entire spinor field Ψ, although a completely symmetric wavefunction reduces the number of independent components to 2(2j + 1).
Some authors (for example Loide and Saar[4]) use n = 2j, where n is a non-negative integer (thereby j is a half-integer or integer), because this helps remove factors of 2.
The above matrix operator contracts with one bispinor index of Ψ at a time (analogous but not equivalent to matrix multiplication), so some properties of the Dirac equation also apply to the BW equations:
- the equations are Lorentz covariant,
- all components of the solutions Ψ also satisfy the Klein–Gordon equation, and hence fulfil the relativistic energy–momentum relation,
- second quantization is still possible, but the equations become much more complicated, methods of propagators and S-matrices have been developed, without using a Lagrangian (see below).
The components for a totally symmetric wavefunction are explicitly:[3]
where the indices are selected so that: α2 ≤ α3 ≤ ... α2j.
Unlike the Dirac equation, which can incorporate the electromagnetic field via minimal coupling (1C), 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 change Pμ → Pμ − eAμ.[7][8] An indirect approach to investigate electromagnetic influences of the particle is to derive the electromagnetic four-currents currents and multipole moments for the particle, rather than include the interactions in the wave equations themselves.[9][10]
Coupled equations
Analogous to (1A) and (1B), the BW equations can be written as a set of coupled equations:
-
(2A)
-
(2B)
where the notation [2j] denotes the 2j induced spinor or matrix (defined in the next section). Each of ψ1,2 and ψ3,4 has 2j + 1 independent components.
These can be recombined:[3]
-
(2C)
which upon expanding by the binomial theorem, then factorizing;
-
(2C)
shows that each component of the BW wavefunction also satisfies the Klein–Gordon equation, uniquely. Conversely, the solutions to the Klein–Gordon equation satisfy the BW equations but are not unique.
Modified gamma matrices
If we define the following Kronecker product (denoted ⊗) of 4 × 4 identity matrices (denoted I4), with the γμ matrix in the rth place of the product,[4]
for r = 1, 2 ... 2j, these equations (2) can also be written:
-
(3)
The γrμ matrices have dimension 42j × 42j. The equations are linear, so adding (3) with respect to the r values gives:
-
(3A)
where the factor of 1/2j is inserted because the matrix elements ±1, ±i are added 2j times. Subtracting (3), one r from the next r + 1; the wavefunction satisfies:
-
(3B)
for r = 1, 2 ... 2j − 1.
Joos-Weinberg equation
Introducing a 2(2j + 1) × 2(2j + 1) matrix;[11]
symmetric in any two tensor indices, which generalizes the gamma matrices in the Dirac equation,[3][12] the BW equation takes the form:[13][14]
or
-
(4)
This is also known as the Joos-Weinberg equation (or JW or JWE), after H. Joos and Steven Weinberg, found in the early 1960s.[3][11]
Induced matrices
Definition
The induced matrices[3] arise from the spinor transformation:
-
(5)
that is:
The 2j induced matrix arises by expanding:
for m = −j, −j + 1, ... j − 1, j, simplifying, then writing the set of equations in matrix form.
Properties
Two reasons for introducing the induced matrices is the simple correspondence between induced matrices and powers of eigenvalues, and ease of diagonalization.
If A is a 2 × 2 matrix, the 2j induced matrix A[2j] has eigenvalues λ1j + mλ2j − m for the same m values as above.
- Diagonalization
If the transformation A → B−1AB holds, then B[2j] will diagonalize A[2j].
Use in the BW formalism
In the above equations (1A), (1B), (2A), (2B):
-
(6)
where matrix indices on the left side are understood to be m, m′ = −j, −j + 1 ... j. The mm′ element of the (2j + 1) × (2j + 1) matrix contains the energy–momentum operators and are given by:
-
(7)
where n = p/|p| is a unit vector and J(j) = (J(j)1, J(j)2, J(j)3) is the vector of the Pauli matrices for spin s.[15]
The matrix (σ • p)[2j] has eigenvalues ±|p|2j. The degeneracy of the eigenvalues are as follows:
+|p|[2j] −|p|[2j] Integer spin (j + 1)-fold j-fold Half-integer spin (j + ½)-fold (j + ½)-fold
Lorentz group structure
Under a proper orthochronous Lorentz transformation x → Λx in Minkowski space, all one-particle quantum states ψjσ of spin j with spin z-component σ locally transform under some representation D of the Lorentz group:[11][16]
where D(Λ) is some finite dimensional representation, i.e. a matrix. Here ψ is thought of as a column vector containing components with the allowed values of σ. The quantum numbers j and σ as well as other labels, continuous or discrete, representing other quantum numbers are suppressed. One value of σ may occur more than once depending on the representation. Representations with several possible values for j are considered below.
The irreducible representations are labeled by a pair of half-integers or integers (A, B). From these all other representations can be built up using a variety of standard methods, like taking tensor products and direct sums. In particular, space-time itself constitutes a 4-vector representation (1/2, 1/2) so that Λ ∈ D'(1/2, 1/2). To put this into context; Dirac spinors transform under the (1/2, 0) ⊕ (0, 1/2) representation. In general, the (A, B) representation space has subspaces that under the subgroup of spatial rotations, SO(3), transform irreducibly like objects of spin j, where each allowed value:
occurs exactly once.[17] In general, tensor products of irreducible representations are reducible; they decompose as direct sums of irreducible representations.
The representation for the BW equations is the choice:[7]
where each Dr is an irreducible representation. This representation does not have definite spin unless j equals 1/2 or 0. One may perform a Clebsch–Gordan decomposition to find the irreducible (A, B) terms and hence the spin content. This redundancy necessitates that a particle of definite spin j that transforms under the DBW representation satisfies field equations.
For the JW equations the choice is:[7]
This representation has definite spin j. It turns out that a spin j particle in this representation satisfy field equations too. These equations are very much like the Dirac equations. It is suitable when the symmetries of charge conjugation, time reversal symmetry, and parity are good.
The representations D(j, 0) and D(0, j) can each separately represent particles of spin j. A state or quantum field in such a representation would satisfy no field equation except the Klein-Gordon equation.
Lagrangian
The Lagrangian which generates equations (2) through the Euler–Lagrange equation (for fields) is not easily found. Methods have been introduced by Guralnik and Kibble, and Larsen and Repko.[18]
One method proposed by Kamefuchi and Takahashi in 1966 was to expand the wavefunctions in terms of 4 × 4 matrices with a required symmetry (conserved properties of the quantum system), then substitute back into the BW equations to yield field equations with that symmetry. From then a Lagrangian can be found by working backwards from the Euler–Lagrange field equations.
D.S. Kaparulin, S.L. Lyakhovich, and A.A. Sharapov take this fundamental approach by starting from symmetries directly, by means of a Poincaré invariant Lagrange anchor.[19] A Lagrange anchor geometrically defines a mapping between fiber bundles, comprising vector bundles, tangent bundles, and the configuration space for the quantum fields. This is less restrictive than a variational formulation (based on the principle of least action) to obtain the equations for the quantum fields.
Formulation in curved spacetime
Following M. Kenmoku,[16] in local Minkowski space, the gamma matrices satisfy the anticommutation relations:
where ηij = diag(−1, 1, 1, 1) is the Minkowski metric. For the Latin indices here, i, j = 1, 2, 3. In curved spacetime they are similar:
where the spatial gamma matrices are contracted with the vierbein biμ to obtain γμ = biμ γi, and gμν = biμbiν is the metric tensor. For the Greek indices; μ, ν = 0, 1, 2, 3.
A covariant derivative for spinors is given by
with the connection Ω given in terms of the spin connection ω by:
The covariant derivative transforms like ψ:
With this setup, equation (2) becomes:
See also
- Two-body Dirac equation
- Generalizations of Pauli matrices
- Wigner D-matrix
- Weyl–Brauer matrices
- Bargmann–Michel–Telegdi equation
References
Notes
- ↑ Bargmann, V.; Wigner, E. P. (1948). "Group theoretical discussion of relativistic wave equations". Proceedings of the National Academy of Sciences of the United States of America 34 (5): 211–23.
- ↑ E. Wigner (1937). "On Unitary Representations Of The Inhomogeneous Lorentz Group". Annals of Mathematics 40 (1): 149.
- ↑ 3.0 3.1 3.2 3.3 3.4 3.5 3.6 3.7 E.A. Jeffery (1978). "Component Minimization of the Bargman–Wigner wavefunction". Australian Journal of Physics (Melbourne: CSIRO). NB: The convention for the four gradient in this article is ∂μ = (∂/∂t, ∇ ), same as the Wikipedia article. Jeffery's conventions are different: ∂μ = (−i∂/∂t, ∇ ). Also Jeffery uses collects the x and y components of the momentum operator: p± = p1 ± ip2 = px ± ipy. The components p± are not to be confused with ladder operators; the factors of ±1, ±i occur from the gamma matrices.
- ↑ 4.0 4.1 4.2 4.3 R.K Loide, I.Ots, R. Saar (2001). "Generalizations of the Dirac equation in covariant and Hamiltonian form". Journal of Physics A: Mathematical and General (Tallinn, Estonia: IoP).
- ↑ C.B. Parker (1994). McGraw Hill Encyclopaedia of Physics (2nd ed.). p. 1514. ISBN 0-07-051400-3.
- ↑ H. Shi-Zhong, R. Tu-Nan, W. Ning, Z. Zhi-Peng (2002). "Wavefunctions for Particles with Arbitrary Spin". Beijing, China: International Academic Publishers.
- ↑ 7.0 7.1 7.2 T. Jaroszewicz, P.S Kurzepa (1992). "Geometry of spacetime propagation of spinning particles". Annals of Physics (California, USA).
- ↑ C.R. Hagen (1970). "The Bargmann–Wigner method in Galilean relativity". Springer (California, USA).
- ↑ Cédric Lorcé (2009). "Electromagnetic Properties for Arbitrary Spin Particles: Part 1 − Electromagnetic Current and Multipole Decomposition". Mainz, Germany. arXiv:0901.4199v1.
- ↑ Cédric Lorcé (2009). "Electromagnetic Properties for Arbitrary Spin Particles: Part 2 − Natural Moments and Transverse Charge Densities". Mainz, Germany. arXiv:0901.4200v1.
- ↑ 11.0 11.1 11.2 Weinberg, S. (1964). "Feynman Rules for Any spin". Phys. Rev. 133 (5B): B1318–B1332. Bibcode:1964PhRv..133.1318W. doi:10.1103/PhysRev.133.B1318.; Weinberg, S. (1964). "Feynman Rules for Any spin. II. Massless Particles". Phys. Rev. 134 (4B): B882–B896. Bibcode:1964PhRv..134..882W. doi:10.1103/PhysRev.134.B882.; Weinberg, S. (1969). "Feynman Rules for Any spin. III". Phys. Rev. 181 (5): 1893–1899. Bibcode:1969PhRv..181.1893W. doi:10.1103/PhysRev.181.1893.
- ↑ Gábor Zsolt Tóth (2012). "Projection operator approach to the quantization of higher spin fields". Budapest, Hungary: International Academic Publishers. pp. 37–40. arXiv:1209.5673v1.
- ↑ V.V. Dvoeglazov (2003). "Generalizations of the Dirac Equation and the Modified Bargmann–Wigner Formalism". arXiv:hep-th/0208159.
- ↑ D. Shay (1968). "A Lagrangian formulation of the Joos–Weinberg wave equations for spin-j particles".
- ↑ E. Abers (2004). Quantum Mechanics. Addison Wesley. ISBN 9780131461000.
- ↑ 16.0 16.1 K. Masakatsu (2012). "Superradiance Problem of Bosons and Fermions for Rotating Black Holes in Bargmann–Wigner Formulation". Nara, Japan. arXiv:1208.0644.
- ↑ Weinberg, S (2002), "5", The Quantum Theory of Fields, vol I, ISBN 0-521-55001-7
- ↑ M.A. Rodriguez (1984). "Some results about the relationship between Bargmann–Wigner and Gelfand–Yaglom equations". Reports on Mathematical Physics (Madrid, Spain: Elsevier). doi:10.1016/0034-4877(86)90063-7.
- ↑ D. S. Kaparulin, S. L. Lyakhovich, A. A. Sharapov (2012). Lagrange Anchor for Bargmann–Wigner equations. arXiv:1210.2134. Bibcode:2012arXiv1210.2134K.
Further reading
Books
- Weinberg, S, The Quantum Theory of Fields, vol II
- Weinberg, S, The Quantum Theory of Fields, vol III
- R. Penrose (2007). The Road to Reality. Vintage books. ISBN 0-679-77631-1.
Selected papers
- E.N. Lorenz (1941). "A Generalization of the Dirac Equations". Harvard, USA: Harvard University.
- I.I. Guseinov (2012). "Use of group theory and Clifford algebra in the study of generalized Dirac equation for particles with arbitrary spin". Çanakkale, Turkey. arXiv:0805.1856.
- V. V. Dvoeglazov (2011). "The modified Bargmann-Wigner formalism for higher spin fields and relativistic quantum mechanics". Zacatecas, Mexico.
- D.N. Williams (2008). "The Dirac Algebra for Any Spin". Zürich, Switzerland: University of Colorado Press.
- H. Shi-Zhong, Z. Peng-Fei, R. Tu-Nan, Z. Yu-Can, Z. Zhi-Peng (2004). "Projection Operator and Feynman Propagator for a Free Massive Particle of Arbitrary Spin". Communications in Theoretical Physics (Beijing, China: International Academic Publishers).
- V. P. Neznamov (2004). "On the theory of interacting fields in Foldy-Wouthuysen representation". arXiv:hep-th/0411050.
- H. Stumpf (2004). "Generalized de Broglie–Bargmann–Wigner Equations, a Modern Formulation of de Broglie’s Fusion Theory". Tuebingen, Germany: Institute of Theoretical Physics.
- D.G.C. McKeon, T.N. Sherry (2004). "The Bargmann–Wigner Equations in Spherical Space". arXiv:hep-th/0411090v1.
- R.Clarkson, D.G.C. McKeon (2003). "Quantum Field Theory". pp. 61–69.
- H. Stumpf (2002). "Eigenstates of Generalized de Broglie–Bargmann–Wigner Equations for Photons with Partonic Substructure". Tuebingen, Germany: Institute of Theoretical Physics.
- B. Schroer (1997). "Wigner Representation Theory of the Poincaré Group, Localization , Statistics and the S-Matrix". Berlin, Germany. arXiv:hep-th/9608092v3.
- V. V. Dvoeglazov (1993). "Lagrangian Formulation of the Joos–Weinberg's 2(2j+1)–theory and Its Connection with the Skew-Symmetric Tensor Description". Saratov, Mexico. arXiv:hep-th/9305141.
- E. Elizalde, J.A. Lobo (1980). "From Galilean-invariant to relativistic wave eqautions". Physical Review D (Barcelona, Spain: American Physical Society).
- D.V. Ahluwalia (1997). "Book Review: The Quantum Theory of Fields Vol. I and II by S. Weinberg". New Mexico and Los Alamos, USA. arXiv:physics/9704002v2.
- J.A. Morgan (2004). "Parity and the Spin-Statistics Connection". arXiv:physics/0410037v1.
External links
Relativistic wave equations:
- Dirac matrices in higher dimensions, Wolfram Demonstrations Project
- Learning about spin-1 fields, P. Cahill, K. Cahill, University of New Mexico
- Field equations for massless bosons from a Dirac–Weinberg formalism, R.W. Davies, K.T.R. Davies, P. Zory, D.S. Nydick, American journal of physics
- Quantum field theory I, Martin Mojžiš
- The Bargmann–Wigner Equation: Field equation for arbitrary spin, FarzadQassemi, IPM School and Workshop on Cosmology, IPM, Tehran, Iran
Lorentz groups in relativistic quantum physics:
- Representations of Lorentz Group, indiana.edu
- Appendix C: Lorentz group and the Dirac algebra, mcgill.ca
- The Lorentz Group, Relativistic Particles, and Quantum Mechanics, D. E. Soper, University of Oregon, 2011
- Representations of Lorentz and Poincaré groups, J. Maciejko, Stanford University
- Representations of the Symmetry Group of Spacetime, K. Drake, M. Feinberg, D. Guild, E. Turetsky, 2009