When any one of is equal to , or , the symbol has a simple algebraic form. Examples are provided by
34.3.1 | ||||
34.3.2 | ||||
, | ||||
34.3.3 | ||||
. | ||||
For these and other results, and also cases in which any one of is or , see Edmonds (1974, pp.Β 125β127).
Next define
34.3.4 | |||
Then assuming the triangle conditions are satisfied
34.3.5 | |||
Lastly,
34.3.6 | |||
34.3.7 | |||
Again it is assumed that in (34.3.7) the triangle conditions are satisfied.
Even permutations of columns of a symbol leave it unchanged; odd permutations of columns produce a phase factor , for example,
34.3.8 | ||||
34.3.9 | ||||
Next,
34.3.10 | ||||
34.3.11 | ||||
34.3.12 | ||||
In the following three equations it is assumed that the triangle conditions are satisfied by each symbol.
34.3.13 | |||
34.3.14 | |||
34.3.15 | |||
For these and other recursion relations see Varshalovich et al. (1988, Β§8.6). See also Micu (1968), Louck (1958), Schulten and Gordon (1975a), Srinivasa Rao and Rajeswari (1993, pp. 220β225), and Luscombe and Luban (1998).
For generating functions for the symbol see Biedenharn and van Dam (1965, p.Β 245, Eq. (3.42) and p.Β 247, Eq.Β (3.55)).
For sums of products of symbols, see Varshalovich et al. (1988, pp. 259β262).
For the polynomials see Β§18.3, and for the function see Β§14.30.
34.3.19 | |||
34.3.20 | |||
34.3.21 | |||
34.3.22 | |||
Equations (34.3.19)β(34.3.22) are particular cases of more general results that relate rotation matrices to symbols, for which see Edmonds (1974, Chapter 4). The left- and right-hand sides of (34.3.22) are known, respectively, as Gauntβs integral and the Gaunt coefficient (Gaunt (1929)).