The Wigner -symbols
, also known
as "
symbols" (Messiah 1962, p. 1056) or Wigner coefficients (Shore and Menzel
1968, p. 275) are quantities that arise in considering coupled angular momenta
in two quantum systems.
They are returned by the Wolfram Language function ThreeJSymbol[j1, m1
,
j2, m2
,
j3, m3
].
The parameters of the
symbol
(where
has been written as
)
are either integers or half-integers. Additionally, they satisfy the follow selection
rules (Messiah 1962, pp. 1054-1056; Shore and Menzel 1968, p. 272).
1. ,
, and
.
2. .
3. The triangular inequalities .
4. Integer perimeter rule: is an integer.
Note that not all these rules are independent, since rule (4) is implied by the other three. If these conditions are not satisfied, .
The Wigner -symbols
have the symmetries
(1)
| |||
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
|
(Messiah 1962, p. 1056).
The -symbols
can be computed using the Racah formula
(7)
|
where
is a triangle coefficient,
(8)
|
and the sum is over all integers for which the factorials in
all have nonnegative arguments (Messiah 1962, p. 1058;
Shore and Menzel 1968, p. 273). In particular, the number of terms is equal
to
,
where
is the smallest of the nine numbers
(9)
|
(Messiah 1962, p. 1058).
The symbols obey the orthogonality relations
(10)
|
(11)
|
where
is the Kronecker delta.
General formulas are very complicated, but some specific cases are
(12)
| |||
(13)
| |||
(14)
| |||
(15)
|
for
(Condon and Shortley 1951, pp. 76-77; Messiah 1962, pp. 1058-1060; Shore
and Menzel 1968, p. 275; Abramowitz and Stegun 1972, pp. 1006-1010).
For spherical harmonics ,
(16)
|
For values of
obeying the triangle condition
,
(17)
|
and
(18)
|
They can be expressed using the related Clebsch-Gordan coefficients
(Condon and Shortley 1951, pp. 74-75; Wigner 1959, p. 206), or Racah
V-coefficients
.
Connections among the Wigner -, Clebsch-Gordan, and Racah
-symbols are given by
(19)
|
(20)
|
(21)
|