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)!/(2j − k)!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 = (j − m) indices to take the value 2, and enumerate the independent components by m as follows:
Spin operator for multicomponent spinors (z direction only)
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.
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).
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.
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χ2j − m 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).
Two reasons for introducing the induced matrices is the simple correspondence between induced matrices and powers of eigenvalues, and ease of diagonalization.
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: