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 Field theory Gauge theory Poincaré symmetry Quantum mechanics Spontaneous symmetry breaking
Symmetries Charge conjugation Crossing Parity Time reversal Symmetry in quantum mechanics
Tools Anomaly Effective field theory Expectation value Faddeev–Popov ghosts Feynman diagram Lattice gauge theory LSZ reduction formula Partition function Propagator Quantization Regularization Renormalization Vacuum state Wick's theorem Wightman axioms
Equations Dirac equation Klein–Gordon equation Proca equations Wheeler–DeWitt equation Bargmann–Wigner equations
Standard Model Electroweak interaction Higgs mechanism Quantum chromodynamics Quantum electrodynamics Yang–Mills theory
Incomplete theories Quantum gravity String theory Supersymmetry Technicolor Theory of everything
Scientists C. D. Anderson P. W. Anderson Bethe Bjorken Bogoliubov Brout Callan Coleman DeWitt Dirac Dyson Englert Fermi Feynman Fierz Fock Fröhlich Glashow Gell-Mann Gross Guralnik Heisenberg Higgs Haag Hagen 't Hooft Jordan Kendall Kibble Lamb Landau Lee Majorana Mills Nambu Nishijima Parisi Polyakov Salam Schwinger Skyrme Sudarshan Tomonaga Veltman Ward Weinberg Weisskopf Weyl Wilczek Wilson Yang Yukawa

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

Main article: 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]

$(-\gamma ^{\mu }{\hat {P}}_{\mu }+mc)\Psi =0\,,$

(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

{\hat {P}}_{\mu }=i\hbar \partial _{\mu }

is the 4-momentum operator. The operator constituting the entire equation, $(-γ μ P μ + mc) = (- iħ γ μ \partial μ + 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]

{\begin{aligned}-\gamma ^{\mu }{\hat {P}}_{\mu }+mc&=-\gamma ^{0}{\frac {\hat {E}}{c}}-{\boldsymbol {\gamma }}\cdot (-{\hat {\mathbf {p} }})+mc\\&=-{\begin{pmatrix}I_{2}&0\\0&-I_{2}\\\end{pmatrix}}{\frac {\hat {E}}{c}}+{\begin{pmatrix}0&{\boldsymbol {\sigma }}\cdot {\hat {\mathbf {p} }}\\-{\boldsymbol {\sigma }}\cdot {\hat {\mathbf {p} }}&0\\\end{pmatrix}}+{\begin{pmatrix}I_{2}&0\\0&I_{2}\\\end{pmatrix}}mc\\&={\begin{pmatrix}-{\hat {E}}/c+mc&0&{\hat {p}}_{z}&{\hat {p}}_{x}-i{\hat {p}}_{y}\\0&-{\hat {E}}/c+mc&{\hat {p}}_{x}+{\hat {p}}_{y}&-{\hat {p}}_{z}\\-{\hat {p}}_{z}&-({\hat {p}}_{x}-i{\hat {p}}_{y})&{\hat {E}}/c+mc&0\\-({\hat {p}}_{x}+i{\hat {p}}_{y})&{\hat {p}}_{z}&0&{\hat {E}}/c+mc\\\end{pmatrix}}\end{aligned}}

where $σ = (σ 1, σ 2, σ 3) = (σ x, σ y, σ z)$ is a vector of the Pauli matrices, E is the energy operator, $p = (p 1, p 2, p 3) = (p x, p y, p z)$ is the 3-momentum operator, $I 2$ 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:

$(-{\hat {E}}+mc)\psi _{1,2}=(-{\boldsymbol {\sigma }}\cdot {\hat {\mathbf {p} }})\psi _{3,4}$

(1A)

$({\hat {E}}+mc)\psi _{3,4}=({\boldsymbol {\sigma }}\cdot {\hat {\mathbf {p} }})\psi _{1,2}$

(1B)

where

\Psi ={\begin{pmatrix}\psi _{1,2}\\\psi _{3,4}\\\end{pmatrix}}\,\quad \psi _{1,2}={\begin{pmatrix}\psi _{1}\\\psi _{2}\\\end{pmatrix}}\,\quad \psi _{3,4}={\begin{pmatrix}\psi _{3}\\\psi _{4}\\\end{pmatrix}}\,.

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:

$[-\gamma ^{\mu }(i\hbar \partial _{\mu }-eA_{\mu })+mc]\Psi =0$

(1C)

where $e$ is the electric charge of the particle and $A μ = (A 0, A)$ is the electromagnetic four-potential.

BW equations

For a free particle of spin $j$ , the BW equations are a set of $2 j$ 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]

{\begin{aligned}&(-\gamma ^{\mu }{\hat {P}}_{\mu }+mc)_{\alpha _{1}\alpha _{1}'}\psi _{\alpha '_{1}\alpha _{2}\alpha _{3}\cdots \alpha _{2j}}=0\\&(-\gamma ^{\mu }{\hat {P}}_{\mu }+mc)_{\alpha _{2}\alpha _{2}'}\psi _{\alpha _{1}\alpha '_{2}\alpha _{3}\cdots \alpha _{2j}}=0\\&\qquad \vdots \\&(-\gamma ^{\mu }{\hat {P}}_{\mu }+mc)_{\alpha _{2j}\alpha '_{2j}}\psi _{\alpha _{1}\alpha _{2}\alpha _{3}\cdots \alpha '_{2j}}=0\\\end{aligned}}

which follow the pattern;

$(-\gamma ^{\mu }{\hat {P}}_{\mu }+mc)_{\alpha _{r}\alpha '_{r}}\psi _{\alpha _{1}\cdots \alpha '_{r}\cdots \alpha _{2j}}=0$

(2)

for $r = 1, 2, ... 2 j$ . Again, the operator $(-γ μ P μ + mc)$ is a 4 × 4 matrix. The wavefunction $Ψ = Ψ(r, t)$ has components

\psi _{\alpha _{1}\alpha _{2}\alpha _{3}\cdots \alpha _{2j}}(\mathbf {r} ,t)

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 $4 2 j$ components of the entire spinor field $Ψ$ , although a completely symmetric wavefunction reduces the number of independent components to $2(2 j + 1)$ .

Some authors (for example Loide and Saar^[4]) use $n = 2 j$ , 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,

E^{2}=(pc)^{2}+(mc^{2})^{2}

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]

\Psi ={\begin{pmatrix}\psi _{1\alpha _{2}\alpha _{3}\cdots \alpha _{2j}}\\\psi _{2\alpha _{2}\alpha _{3}\cdots \alpha _{2j}}\\\psi _{3\alpha _{2}\alpha _{3}\cdots \alpha _{2j}}\\\psi _{4\alpha _{2}\alpha _{3}\cdots \alpha _{2j}}\\\end{pmatrix}}

where the indices are selected so that: $α 2 \leq α 3 \leq ... α 2 j$ .

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 μ \to 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:

$(-{\hat {E}}+mc)^{2j}\psi _{1,2}^{[2j]}=(-{\boldsymbol {\sigma }}\cdot {\hat {\mathbf {p} }})^{[2j]}\psi _{3,4}^{[2j]}$

(2A)

$({\hat {E}}+mc)^{2j}\psi _{3,4}^{[2j]}=({\boldsymbol {\sigma }}\cdot {\hat {\mathbf {p} }})^{[2j]}\psi _{1,2}^{[2j]}$

(2B)

where the notation $[2 j]$ denotes the $2 j$ induced spinor or matrix (defined in the next section). Each of $ψ 1,2$ and $ψ 3,4$ has $2 j + 1$ independent components.

These can be recombined:^[3]

$[(E^{2}-(mc^{2})^{2})^{2j}-({\hat {\mathbf {p} }}^{2})^{2j}]{\begin{pmatrix}\psi _{1,2}^{[2j]}\\\psi _{3,4}^{[2j]}\end{pmatrix}}=0$

(2C)

which upon expanding by the binomial theorem, then factorizing;

$[(E^{2}-(mc^{2})^{2})-({\hat {\mathbf {p} }}^{2})]\left((E^{2}-(mc^{2})^{2})^{2j-1}+(E^{2}-(mc^{2})^{2})^{2j-2}{\hat {\mathbf {p} }}^{2}+\cdots ({\hat {\mathbf {p} }}^{2})^{2j-1}\right){\begin{pmatrix}\psi _{1,2}^{[2j]}\\\psi _{3,4}^{[2j]}\end{pmatrix}}=0$

(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 $I 4$ ), with the $γ μ$ matrix in the $r$ th place of the product,^[4]

\gamma _{r}^{\mu }=\underbrace {I_{4}\otimes I_{4}\otimes \cdots } _{r-1\,{\text{matrices}}}\gamma ^{\mu }\cdots \otimes I_{4}

for $r = 1, 2 ... 2 j$ , these equations (2) can also be written:

$(\gamma _{r}^{\mu }{\hat {P}}_{\mu }-mc)\Psi =0$

(3)

The $γ r μ$ matrices have dimension $4 2 j \times 4 2 j$ . The equations are linear, so adding (3) with respect to the $r$ values gives:

$\left({\frac {1}{2j}}\sum _{r=1}^{2j}\gamma _{r}^{\mu }{\hat {P}}_{\mu }-mc\right)\Psi =0$

(3A)

where the factor of $1/2 j$ is inserted because the matrix elements $\pm1, \pm i$ are added $2 j$ times. Subtracting (3), one $r$ from the next $r + 1$ ; the wavefunction satisfies:

$(\gamma _{r}^{\mu }-\gamma _{r+1}^{\mu }){\hat {P}}_{\mu }\psi =0$

(3B)

for $r = 1, 2 ... 2 j - 1$ .

Joos-Weinberg equation

Introducing a $2(2 j + 1) \times 2(2 j + 1)$ matrix;^[11]

\gamma ^{\mu _{1}\mu _{2}\cdots \mu _{2j}}

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]

[(i\hbar )^{2j}\gamma ^{\mu _{1}\mu _{2}\cdots \mu _{2j}}\partial _{\mu _{1}}\partial _{\mu _{2}}\cdots \partial _{\mu _{2j}}+(mc)^{2j}]\Psi =0

$[\gamma ^{\mu _{1}\mu _{2}\cdots \mu _{2j}}P_{\mu _{1}}P_{\mu _{2}}\cdots P_{\mu _{2j}}+(mc)^{2j}]\Psi =0$

(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:

${\begin{pmatrix}a&c\\b&d\\\end{pmatrix}}{\begin{pmatrix}\psi _{1}\\\psi _{2}\\\end{pmatrix}}={\begin{pmatrix}\chi _{1}\\\chi _{2}\\\end{pmatrix}}$

(5)

that is:

{\begin{aligned}a\psi _{1}+c\psi _{2}&=\chi _{1},\\b\psi _{1}+d\psi _{2}&=\chi _{2}.\end{aligned}}

The $2 j$ induced matrix arises by expanding:

(a\psi _{1}+c\psi _{2})^{j+m}(b\psi _{1}+d\psi _{2})^{j-m}=\chi _{1}^{j+m}\chi _{2}^{j-m}\,,

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.

Eigenvalues

If $A$ is a 2 × 2 matrix, the 2j induced matrix $A [2 j]$ has eigenvalues $λ 1 j + m λ 2 j - m$ for the same $m$ values as above.

Diagonalization

If the transformation $A \to B -1 AB$ holds, then $B [2 j]$ will diagonalize $A [2 j]$ .

Use in the BW formalism

In the above equations (1A), (1B), (2A), (2B):

$({\boldsymbol {\sigma }}\cdot {\hat {\mathbf {p} }})^{[2j]}=(i|{\hat {\mathbf {p} }}|)^{2j}e^{-i\pi \mathbf {J} ^{(j)}\cdot \mathbf {n} }$

(6)

where matrix indices on the left side are understood to be $m, m' = - j, - j + 1 ... j$ . The $mm'$ element of the $(2 j + 1) \times (2 j + 1)$ matrix contains the energy–momentum operators and are given by:

${({\boldsymbol {\sigma }}\cdot {\hat {\mathbf {p} }})_{mm'}^{[2j]}=(-1)^{m'-m}\sum _{r=-\infty }^{\infty }{\frac {(-1)^{r}p_{-}^{j}(-{\hat {p}}_{z})^{j-m'-r}{\hat {p}}_{z}^{j+m-r}(-p_{+})^{m'-m+r}}{r!(j-m'-r)!(j+m-r)!(m'-m+r)!}}{\sqrt {(j+m)!(j-m)!(j+m')!(j-m')!}}}$

(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 $\pm| p | 2 j$ . The degeneracy of the eigenvalues are as follows:

	$+ \| p \| [2 j]$	$- \| p \| [2 j]$
Integer spin	$(j + 1)$ -fold	$j$ -fold
Half-integer spin	$(j + ½)$ -fold	$(j + ½)$ -fold

Lorentz group structure

Under a proper orthochronous Lorentz transformation $x \to Λ 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]

\psi (x)\rightarrow D(\Lambda )\psi (\Lambda ^{-1}x)

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 $Λ \in D' (1/2, 1/2)$ . To put this into context; Dirac spinors transform under the $(1 / 2, 0) \oplus (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:

j=A+B,A+B-1,...,|A-B|,

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]

D^{\mathrm {BW} }=\bigotimes _{r=1}^{2j}\left[D_{r}^{(1/2,0)}\oplus D_{r}^{(0,1/2)}\right]\,.

where each $D r$ 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 $D BW$ representation satisfies field equations.

For the JW equations the choice is:^[7]

D^{\mathrm {JW} }=D^{(j,0)}\oplus D^{(0,j)}\,.

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.

Lorentz covariant tensor description of Weinberg-Joos states

The six-component spin-1 representation space, $D JW$ = $D (1,0)$ ⊕ $D (0,1)$ can be labeled by a pair of anti-symmetric Lorentz indexes, $[α,β]$ , meaning that it transforms as an antisymmetric Lorentz tensor of second rank $B [α,β]$ , i.e.

B_{\left[\alpha \beta \right]}\sim D^{(1,0)}\oplus D^{(0,1)}.

The j-fold Kronecker product $T [α 1,β 1]...[α j,β j]$ of $B [α,β]$

$T_{{\lbrack \alpha _{1}\beta _{1}\rbrack }...{\lbrack \alpha _{j}\beta _{j}\rbrack }}=B_{\lbrack \alpha _{1}\beta _{1}\rbrack }\otimes ...\otimes B_{\lbrack \alpha _{j}\beta _{j}\rbrack }=\Pi _{i=1}^{i=j}\otimes B_{\lbrack \alpha _{i}\beta _{i}\rbrack },$

(8A)

decomposes into a finite series of Lorentz irreducible representation spaces according to,

\Pi _{i=1}^{i=j}\otimes \left(D_{i}^{(1,0)}\oplus D_{i}^{(0,1)}\right)\to D^{(j,0)}\oplus D^{(0,j)}\oplus D^{(j,j)}\oplus ...\oplus D^{(j_{k},j_{l})}\oplus D^{(j_{l},j_{k})}\oplus ...\oplus D^{(0,0)},

and necessarily contains a $D (j,0)$ ⊕ $D (0, j)$ sector. This sector can instantly be identified by means of a momentum independent projector operator $P (j,0)$ , designed on the basis of $C (1)$ , one of the Casimir elements (invariants)^[18] of the Lie algebra of the Lorentz group, which are defined as,

$\left[C^{(1)}\right]_{AB}={\frac {1}{4}}\left[M^{\mu \nu }\right]_{A}\,^{C}\left[M_{\mu \nu }\right]_{CB},$

(8B)

\left[C^{(2)}\right]_{AB}={\frac {1}{4}}\epsilon _{\mu \nu \lambda \eta }\left[M^{\mu \nu }\right]_{A}\,^{C}\left[M^{\lambda \eta }\right]_{CB},

A,B,C=1,...(2j_{1}+1)(2j_{2}+1),

where $M μν$ are constant quadratic $(2 j 1 +1)(2 j 2 +1)$ × $(2 j 1 +1)(2 j 2 +1)$ matrices defining the elements of the Lorentz algebra within the $D (j 1, j 2)$ ⊕ $D (j 2, j 1)$ representations. The Capital Latin letter labels indicate^[19] the finite dimensionality of the representation spaces under consideration which describe the internal angular momentum (spin) degrees of freedom.

The representation spaces $D (j 1, j 2)$ ⊕ $D (j 2, j 1)$ are eigenvectors to $C (1)$ in (8B) according to,

C^{(1)}\left[D^{(j_{1},j_{2})}\oplus D^{(j_{2},j_{1})}\right]=\lambda _{(j_{1},j_{2})}^{(1)}\left[D^{(j_{1},j_{2})}\oplus D^{(j_{2},j_{1})}\right],

\lambda _{(j_{1},j_{2})}^{(1)}=j_{1}(j_{1}+1)+j_{2}(j_{2}+1).

In terms of $C (1)$ , the projector operator, $P (j,0)$ , is defined as^[19]

$\left[P^{(j,0)}\right]_{\left[\alpha _{1}\beta _{1}\right]...\left[\alpha _{j}\beta _{j}\right]}\,\,^{\left[\rho _{1}\sigma _{1}\right]...\left[\rho _{j}\sigma _{j}\right]}=\left[\Pi _{kl}\times \left({\frac {C^{(1)}-\lambda _{(j_{k},j_{l})}^{(1)}}{\lambda _{(j,\,0)}^{(1)}-\lambda _{(j_{k},j_{l})}^{(1)}}}\right)\right]_{\left[\alpha _{1}\beta _{1}\right]...\left[\alpha _{j}\beta _{j}\right]}\,\,^{\left[\rho _{1}\sigma _{1}\right]...\left[\rho _{j}\sigma _{j}\right]}.$

(8C)

Here, $Π kl$ denotes the operation of successive multiplication, $λ (1) (j,0)$ is the $C (1)$ eigenvalues of the $D (j,0)$ ⊕ $D (0, j)$ sector, while $λ (1) (j k, j l)$ are the $C (1)$ eigenvalues of all the remaining (dummy) sectors, $(j k, j l)$ ⊕ $(j l, j k)$ , of the hosting tensor in (8A). Such projectors can be employed to search through $T [α 1,β 1]...[α j,β j]$ for $D (j,0)$ ⊕ $D (0, j)$ , and exclude all the rest. Relativistic second order wave equations for any-j are then straightforwardly obtained in first identifying the $D (j,0)$ ⊕ $D (0, j)$ sector in $T [α 1,β 1]...[α j,β j]$ in (8A) by means of the Lorentz projector in (8C) and then imposing on the result the mass shell condition.

This algorithm is free from auxiliary conditions. The scheme also extends to half-integer spins, $s$ = $j +1/2$ in which case the Kronecker product of $T [α 1,β 1]...[α j,β j]$ with the Dirac spinor, $D (1/2,0)$ ⊕ $D (0,1/2)$ , has to be considered. The choice of the totally antisymmetric Lorentz tensor of second rank, $B [α i,β i]$ , in the above equation (8A) is only optional. It is possible to start with multiple Kronecker products of totally symmetric second rank Lorentz tensors, $A α i,β i$ . The latter option should be of interest in theories where high-spin $D (j,0)$ ⊕ $D (0, j)$ Joos-Weinberg fields preferably couple to symmetric tensors, such as the metric tensor in gravity.

An Example.^[19] The (3/2,0)⊕(0,3/2) transforming in the Lorenz tensor spinor of second rank, $ψ [μν]$ =[(1,0)⊕(0,1)]⊗[(1/2,0)⊕(0,1/2)].

The Lorentz group generators within this representation space, denoted by $[M ATS μν] [α β] [γ δ]$ , are

[M_{\mu \nu }^{ATS}]_{\left[\alpha \beta \right]\left[\gamma \delta \right]}=[M_{\mu \nu }^{AT}]_{\left[\alpha \beta \right]\left[\gamma \delta \right]}{\mathbf {1} }^{S}+{\mathbf {1} }_{\left[\alpha \beta \right]\left[\gamma \delta \right]}\,\,\left[M_{\mu \nu }^{S}\right],

{\mathbf {1} }_{\left[\alpha \beta \right]\left[\gamma \delta \right]}={\frac {1}{2}}(g_{\alpha \gamma }g_{\beta \delta }-g_{\alpha \delta }g_{\beta \gamma }),

M_{\mu \nu }^{S}={\frac {1}{2}}\sigma _{\mu \nu }={\frac {i}{4}}[\gamma _{\mu },\gamma _{\nu }],

where $1 [αβ] [γδ]$ stands for the identity in this space, $1 S$ and $M S μν$ are the respective unit operator and the Lorentz algebra elements within the Dirac space, while $γ μ$ are the standard gamma matrices. The $[M AT μν] [αβ] [γδ]$ generators express in terms of the generators in the four-vector,

[M_{\mu \nu }^{V}]_{\alpha \beta }=i(g_{\alpha \mu }g_{\beta \nu }-g_{\alpha \nu }g_{\beta \mu }),

\left[M_{\mu \nu }^{AT}\right]_{\left[\alpha \beta \right]\left[\gamma \delta \right]}=-2\,\,{\mathbf {1} }_{\left[\alpha \beta \right]}{}^{\left[\kappa \sigma \right]}\left[M_{\mu \nu }^{V}\right]_{\sigma }{}^{\rho }{\mathbf {1} }_{\left[\rho \kappa \right]\left[\gamma \delta \right]}.

Then, the explicit expression for the Casimir invariant $C (1)$ in (8B) takes the form,

[C^{(1)}]_{\left[\alpha \beta \right]\left[\gamma \delta \right]}=-{\frac {1}{8}}{\Big (}\sigma _{\alpha \beta }\sigma _{\gamma \delta }-\sigma _{\gamma \delta }\sigma _{\alpha \beta }-22\,\mathbf {1} _{\left[\alpha \beta \right]\left[\gamma \delta \right]}{\Big )},

and the Lorentz projector on (3/2,0)⊕(0,3/2) is given by,

\left[{\mathcal {P}}^{\left({\frac {3}{2}},0\right)}\right]_{\left[\alpha \beta \right]\left[\gamma \delta \right]}={\frac {1}{8}}(\sigma _{\alpha \beta }\sigma _{\gamma \delta }+\sigma _{\gamma \delta }\sigma _{\alpha \beta })-{\frac {1}{12}}\sigma _{\alpha \beta }\sigma _{\gamma \delta }.

In effect, the (3/2,0)⊕(0,3/2) degrees of freedom, denoted by

\left[w_{\pm }^{\left({\frac {3}{2}},0\right)}\left({\mathbf {p} },{\frac {3}{2}},\lambda \right)\right]^{\left[\gamma \delta \right]}

are found to solve the following second order equation,

{\Big (}\left[{\mathcal {P}}^{\left({\frac {3}{2}},0\right)}\right]^{\left[\alpha \beta \right]}{}{}_{\left[\gamma \delta \right]}p^{2}-m^{2}{\mathbf {1} }^{\left[\alpha \beta \right]}{}{}_{\left[\gamma \delta \right]}{\Big )}\left[w_{\pm }^{\left({\frac {3}{2}},0\right)}\left({\mathbf {p} },{\frac {3}{2}},\lambda \right)\right]^{\left[\gamma \delta \right]}=0.

Expressions for the solutions can be found in.^[19]

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.^[20]

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.^[21] 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

Main articles: spacetime and Cartan formalism (physics)

Following M. Kenmoku,^[16] in local Minkowski space, the gamma matrices satisfy the anticommutation relations:

[\gamma ^{i},\gamma ^{j}]_{+}=2\eta ^{ij}

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:

[\gamma ^{\mu },\gamma ^{\nu }]_{+}=2g^{\mu \nu }

where the spatial gamma matrices are contracted with the vierbein $b i μ$ to obtain $γ μ = b i μ γ i$ , and $g μν = b i μ b i ν$ is the metric tensor. For the Greek indices; $μ, ν = 0, 1, 2, 3$ .

A covariant derivative for spinors is given by

{\mathcal {D}}_{\mu }=\partial _{\mu }+\Omega _{\mu }

with the connection $Ω$ given in terms of the spin connection $ω$ by:

\Omega _{\mu }={\frac {1}{4}}\partial _{\mu }\omega ^{ij}(\gamma _{i}\gamma _{j}-\gamma _{j}\gamma _{i})

The covariant derivative transforms like $ψ$ :

{\mathcal {D}}_{\mu }\psi \rightarrow D(\Lambda ){\mathcal {D}}_{\mu }\psi

With this setup, equation (2) becomes:

{\begin{aligned}&(-i\hbar \gamma ^{\mu }{\mathcal {D}}_{\mu }+mc)_{\alpha _{1}\alpha _{1}'}\psi _{\alpha '_{1}\alpha _{2}\alpha _{3}\cdots \alpha _{2j}}=0\\&(-i\hbar \gamma ^{\mu }{\mathcal {D}}_{\mu }+mc)_{\alpha _{2}\alpha _{2}'}\psi _{\alpha _{1}\alpha '_{2}\alpha _{3}\cdots \alpha _{2j}}=0\\&\qquad \vdots \\&(-i\hbar \gamma ^{\mu }{\mathcal {D}}_{\mu }+mc)_{\alpha _{2j}\alpha '_{2j}}\psi _{\alpha _{1}\alpha _{2}\alpha _{3}\cdots \alpha '_{2j}}=0\,.\\\end{aligned}}

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. Bibcode:1948PNAS...34..211B. doi:10.1073/pnas.34.5.211. PMID 16578292.
↑ E. Wigner (1937). "On Unitary Representations Of The Inhomogeneous Lorentz Group" (PDF). Annals of Mathematics. 40 (1): 149. Bibcode:1939AnMat..40..149W. doi:10.2307/1968551. JSTOR 1968551.
1 2 3 4 5 6 7 8 E.A. Jeffery (1978). "Component Minimization of the Bargman–Wigner wavefunction" (PDF). Australian Journal of Physics. Melbourne: CSIRO. 31: 137. Bibcode:1978AuJPh..31..137J. NB: The convention for the four gradient in this article is $\partial μ = (\partial/\partial t, \nabla)$ , same as the Wikipedia article. Jeffery's conventions are different: $\partial μ = (- i \partial/\partial t, \nabla)$ . Also Jeffery uses collects the $x$ and $y$ components of the momentum operator: $p \pm = p 1 \pm ip 2 = p x \pm ip y$ . The components $p \pm$ are not to be confused with ladder operators; the factors of $\pm1, \pm i$ occur from the gamma matrices.
1 2 3 4 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. 34 (10): 2031–2039. Bibcode:2001JPhA...34.2031L. doi:10.1088/0305-4470/34/10/307.
↑ 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.
1 2 3 T. Jaroszewicz; P.S Kurzepa (1992). "Geometry of spacetime propagation of spinning particles". Annals of Physics. California, USA. 216 (2): 226–267. Bibcode:1992AnPhy.216..226J. doi:10.1016/0003-4916(92)90176-M.
↑ C.R. Hagen (1970). "The Bargmann–Wigner method in Galilean relativity". Communications in Mathematical Physics. 18 (2). pp. 97–108. doi:10.1007/BF01646089.
↑ Cédric Lorcé (2009). "Electromagnetic Properties for Arbitrary Spin Particles: Part 1 − Electromagnetic Current and Multipole Decomposition". arXiv:0901.4199.
↑ Cédric Lorcé (2009). "Electromagnetic Properties for Arbitrary Spin Particles: Part 2 − Natural Moments and Transverse Charge Densities". arXiv:0901.4200.
1 2 3 Weinberg, S. (1964). "Feynman Rules for Any spin" (PDF). 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" (PDF). 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" (PDF). 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". arXiv:1209.5673.
↑ 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". Il Nuovo Cimento A. 57 (2): 210–218. Bibcode:1968NCimA..57..210S. doi:10.1007/BF02891000.
↑ E. Abers (2004). Quantum Mechanics. Addison Wesley. ISBN 9780131461000.
1 2 K. Masakatsu (2012). "Superradiance Problem of Bosons and Fermions for Rotating Black Holes in Bargmann–Wigner Formulation". arXiv:1208.0644.
↑ Weinberg, S (2002), "5", The Quantum Theory of Fields, vol I, ISBN 0-521-55001-7
↑ Y. S. Kim; Marilyn E. Noz (1986). Theory and applications of the Poincaré group. Dordrecht, Holland: Reidel. ISBN 9789027721419.
1 2 3 4 E. G. Delgado Acosta; V. M. Banda Guzmán; M. Kirchbach (2015). "Bosonic and fermionic Weinberg-Joos (j,0) ⊕ (0,j) states of arbitrary spins as Lorentz tensors or tensor-spinors and second-order theory". The European Physical Journal A. 51 (3): 35. arXiv:1503.07230. Bibcode:2015EPJA...51...35D. doi:10.1140/epja/i2015-15035-x.
↑ M.A. Rodriguez (1984). "Some results about the relationship between Bargmann–Wigner and Gelfand–Yaglom equations". Reports on Mathematical Physics. Madrid, Spain: Elsevier. 23: 9–18. Bibcode:1986RpMP...23....9R. doi:10.1016/0034-4877(86)90063-7.
↑ D. S. Kaparulin; S. L. Lyakhovich; A. A. Sharapov (2012). "Lagrange Anchor for Bargmann–Wigner equations". Geometric Methods in Physics. XXXI Workshop. Trends in Mathematics. 2012 (2013): 119–126. arXiv:1210.2134.

External links

Relativistic wave equations:

Lorentz groups in relativistic quantum physics:

This article is issued from Wikipedia - version of the 10/27/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.