User:Maschen/Bargmann-Wigner equations

Following Griener's RQM (only have first edition)...

Heuristic construction from Dirac equation

edit

Multicomponent spinors in the particle's rest frame

edit

The solutions of the Dirac equation spinorial wave functions, whose components are usually arranged into column vectors

 

The superscript (+) corresponds to (upper) components of the "positive energy" wave function (α = 1, 2), similarly the superscript (−) corresponds to (lower) components of the "negative energy" wave function (α = 3, 4). The plane wave solutions to the massive free particle Dirac equation in the rest frame of the (spin-1/2) particle take the form

 

where the index α takes the values 1, 2, 3, 4, the rest energy of the particle is E0 = m0c2, and

 

are constant spinors. Notice the β entry of ωα is the Kronecker delta, (ωα)β = δαβ. The spinors ωα(p) for a boosted particle will be obtained from an appropriate transformation later.

A positive energy wave function for a spin-j particle can be obtained by the tensor product of ωα(+) with itself (2j + 1) times, motivated by the fact that given (2j + 1) subsystems of spin-1/2 particles, their composite system is (2j + 1) spin-1/2 particles with the total spin of the system taking the spin projection values m = j, j − 1, ..., −j + 1, −j. Explicitly (suppressing momentum arguments of ω)

 

Since the same spinor is tensor multiplied by itself (2j + 1) times, it is a symmetric spinor in all indices, and a lot of components will coincide. For example,

  • There is one component ω11...1, corresponding to a spin projection m = j,
  • There are (2j)!/(2j − 1)!1! = 2j components with (2j − 1) indices taking the value 1 and one index taking the value 2, e.g. ω21...1, ω12...1, ..., ω12...1, corresponding to a spin projection m = j − 1,
  • There are (2j)!/(2j − 2)!2! = (2j − 1)j components with (2j − 2) indices taking the value 1 and two indices taking the value 2, e.g. ω22...1, ω21...2...1, ..., ω1...22, corresponding to a spin projection m = j − 2,

In all there are 2j + 1 independent components of ω.

In general, the number of ways of choosing k indices out of 2j to be 2 (the rest are 1) is given by the binomial coefficient (2j)!/(2jk)!k!. It will be useful to use the spin projection quantum number m corresponding to spin j by taking (j + m) indices to take the value 1 and k = (jm) indices to take the value 2, and enumerate the independent components by m as follows:

 


Spin operator for multicomponent spinors (z direction only)

edit

The z-component spin operator is

 

where ħ is Planck's reduced constant, all indices each take values 1, 2, 3, 4, and

 

in which σz is the z-component (or third) Pauli matrix.

One finds

 

in words, the ω(+)(0, m) is an eigenvector of the z-component spin Σz, with corresponding eigenvalue ħm, exactly as it should be. This applies for all allowed values of m.

The "negative energy" solutions ω(−)(0, m) are similarly dealt with as with positive solutions. The quotation marks indicate there is no real negative energy involved. The modern interpretation is that the "negative energy" wavefunctions correspond to an antiparticle with positive energy.

Multicomponent spinors in a boosted frame

edit

Assuming standard configuration, transform the ω(+) (and separately ω(−)) to a boosted frame with velocity −v along the negative x directions of the frames (this corresponds to relative velocity v in the original frame in the previous section).

Equations

edit

Induced matrices

edit

Separating the components of ψ, BW equations can be written as a set of coupled equations

 

(2A)

 

(2B)

where the notation [2j] denotes the 2j induced spinor or matrix, and

 

One 2-component spinor ψ1,2 describes the spin-1/2 fermion, the other ψ3,4 describes the antifermion.

Each of ψ1,2 and ψ3,4 has 2j + 1 independent components.

These can be recombined:[1]

 

(3)

which upon expanding by the binomial theorem, then factorizing;

 

(4)

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.

Definition

edit

The induced matrices[1] 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.

Expanding by the binomial theorem

 
 

then listing all the products for ψ12j − (k + l)ψ2k + l for (k + l) = 0, 1, 2, ..., 2j in one column vector, and all the products for χ1j + mχ2jm for m = j, j − 1, ..., −j + 1, −j in one column vector,

 

defining

 
 

the formula is

 

For k + l = n and keeping n fixed, the coefficient for Ψn is

 

Along the rows of the square matrix, n = k + l varies from 0 to 2j, and m is constant. Down each row, m decreases from j in the first row to −j in the last, and n = k + l is constant. The matrix elements are

 

and the equation finally takes the compact form

 

(Jeffery's paper has different normalizations in the column vectors Ψ and X).

Properties

edit

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[2j] has eigenvalues λ1j + mλ2jm for the same m values as above.

Diagonalization

If the transformation AB−1AB holds, then B[2j] will diagonalize A[2j].

Use in the BW formalism

edit

In the above equations (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.[2]

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
  1. ^ a b Cite error: The named reference Jeffery was invoked but never defined (see the help page).
  2. ^ E. Abers (2004). Quantum Mechanics. Addison Wesley. ISBN 9780131461000.