Irreducible representation of the rotation group SO
The Wigner D-matrix is a unitary matrix in an irreducible representation of the groups SU(2) and SO(3). It was introduced in 1927 by Eugene Wigner, and plays a fundamental role in the quantum mechanical theory of angular momentum. The complex conjugate of the D-matrix is an eigenfunction of the Hamiltonian of spherical and symmetric rigid rotors. The letter D stands for Darstellung, which means "representation" in German.
Definition of the Wigner D-matrix
Let Jx, Jy, Jz be generators of the Lie algebra of SU(2) and SO(3). In quantum mechanics, these three operators are the components of a vector operator known as angular momentum. Examples are the angular momentum of an electron in an atom, electronic spin, and the angular momentum of a rigid rotor.
In all cases, the three operators satisfy the following commutation relations,
![{\displaystyle [J_{x},J_{y}]=iJ_{z},\quad [J_{z},J_{x}]=iJ_{y},\quad [J_{y},J_{z}]=iJ_{x},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/174ba69063f90a76d451af6dea3b8e8519411e7c)
where i is the purely imaginary number and the Planck constant ħ has been set equal to one. The Casimir operator

commutes with all generators of the Lie algebra. Hence, it may be diagonalized together with Jz.
This defines the spherical basis used here. That is, there is a complete set of kets (i.e. orthonormal basis of joint eigenvectors labelled by quantum numbers that define the eigenvalues) with

where j = 0, 1/2, 1, 3/2, 2, ... for SU(2), and j = 0, 1, 2, ... for SO(3). In both cases, m = −j, −j + 1, ..., j.
A 3-dimensional rotation operator can be written as

where α, β, γ are Euler angles (characterized by the keywords: z-y-z convention, right-handed frame, right-hand screw rule, active interpretation).
The Wigner D-matrix is a unitary square matrix of dimension 2j + 1 in this spherical basis with elements

where

is an element of the orthogonal Wigner's (small) d-matrix.
That is, in this basis,

is diagonal, like the γ matrix factor, but unlike the above β factor.
Wigner (small) d-matrix
Wigner gave the following expression:
![{\displaystyle d_{m'm}^{j}(\beta )=[(j+m')!(j-m')!(j+m)!(j-m)!]^{\frac {1}{2}}\sum _{s=s_{\mathrm {min} }}^{s_{\mathrm {max} }}\left[{\frac {(-1)^{m'-m+s}\left(\cos {\frac {\beta }{2}}\right)^{2j+m-m'-2s}\left(\sin {\frac {\beta }{2}}\right)^{m'-m+2s}}{(j+m-s)!s!(m'-m+s)!(j-m'-s)!}}\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a61f599b558e2540e6d57e30d7f7c4dd2c1fa9b)
The sum over s is over such values that the factorials are nonnegative, i.e.
,
.
Note: The d-matrix elements defined here are real. In the often-used z-x-z convention of Euler angles, the factor
in this formula is replaced by
causing half of the functions to be purely imaginary. The realness of the d-matrix elements is one of the reasons that the z-y-z convention, used in this article, is usually preferred in quantum mechanical applications.
The d-matrix elements are related to Jacobi polynomials
with nonnegative
and
Let

If

Then, with
the relation is

where 
It is also useful to consider the relations
, where
and
, which lead to:
![{\displaystyle d_{m'm}^{j}(\beta )=(-1)^{\frac {m-m'-|m-m'|}{2}}\left[{\frac {(j+M)!(j-M)!}{(j+N)!(j-N)!}}\right]^{\frac {1}{2}}\left(\sin {\frac {\beta }{2}}\right)^{|m-m'|}\left(\cos {\frac {\beta }{2}}\right)^{|m+m'|}P_{j-M}^{(|m-m'|,|m+m'|)}(\cos \beta ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff3f03eaf352e2d7b353dc5ab4a30ca23e25a3dc)
Properties of the Wigner D-matrix
The complex conjugate of the D-matrix satisfies a number of differential properties that can be formulated concisely by introducing the following operators with 

which have quantum mechanical meaning: they are space-fixed rigid rotor angular momentum operators.
Further,

which have quantum mechanical meaning: they are body-fixed rigid rotor angular momentum operators.
The operators satisfy the commutation relations
![{\displaystyle \left[{\mathcal {J}}_{1},{\mathcal {J}}_{2}\right]=i{\mathcal {J}}_{3},\qquad {\hbox{and}}\qquad \left[{\mathcal {P}}_{1},{\mathcal {P}}_{2}\right]=-i{\mathcal {P}}_{3},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2326a21d58e05ac4f1307e913b9885b33458a16f)
and the corresponding relations with the indices permuted cyclically. The
satisfy anomalous commutation relations (have a minus sign on the right hand side).
The two sets mutually commute,
![{\displaystyle \left[{\mathcal {P}}_{i},{\mathcal {J}}_{j}\right]=0,\quad i,j=1,2,3,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6154fa1b814eb691be07d38efdd69930fb5d03cd)
and the total operators squared are equal,

Their explicit form is,

The operators
act on the first (row) index of the D-matrix,

The operators
act on the second (column) index of the D-matrix,

and, because of the anomalous commutation relation the raising/lowering operators are defined with reversed signs,

Finally,

In other words, the rows and columns of the (complex conjugate) Wigner D-matrix span irreducible representations of the isomorphic Lie algebras generated by
and
.
An important property of the Wigner D-matrix follows from the commutation of
with the time reversal operator T,

or

Here, we used that
is anti-unitary (hence the complex conjugation after moving
from ket to bra),
and
.
A further symmetry implies

Orthogonality relations
The Wigner D-matrix elements
form a set of orthogonal functions of the Euler angles
and
:

This is a special case of the Schur orthogonality relations.
Crucially, by the Peter–Weyl theorem, they further form a complete set.
The fact that
are matrix elements of a unitary transformation from one spherical basis
to another
is represented by the relations:


The group characters for SU(2) only depend on the rotation angle β, being class functions, so, then, independent of the axes of rotation,

and consequently satisfy simpler orthogonality relations, through the Haar measure of the group,

The completeness relation is (cf. Eq. (3.95) in ref. )

whence, for 

Kronecker product of Wigner D-matrices, Clebsch–Gordan series
The set of Kronecker product matrices

forms a reducible matrix representation of the groups SO(3) and SU(2). Reduction into irreducible components is by the following equation:

The symbol
is a Clebsch–Gordan coefficient.
Relation to spherical harmonics and Legendre polynomials
For integer values of
, the D-matrix elements with second index equal to zero are proportional to spherical harmonics and associated Legendre polynomials, normalized to unity and with Condon and Shortley phase convention:

This implies the following relationship for the d-matrix:

A rotation of spherical harmonics
then is effectively a composition of two rotations,

When both indices are set to zero, the Wigner D-matrix elements are given by ordinary Legendre polynomials:

In the present convention of Euler angles,
is a longitudinal angle and
is a colatitudinal angle (spherical polar angles in the physical definition of such angles). This is one of the reasons that the z-y-z convention is used frequently in molecular physics. From the time-reversal property of the Wigner D-matrix follows immediately

There exists a more general relationship to the spin-weighted spherical harmonics:

Connection with transition probability under rotations
The absolute square of an element of the D-matrix,

gives the probability that a system with spin
prepared in a state with spin projection
along some direction will be measured to have a spin projection
along a second direction at an angle
to the first direction. The set of quantities
itself forms a real symmetric matrix, that depends only on the Euler angle
, as indicated.
Remarkably, the eigenvalue problem for the
matrix can be solved completely:

Here, the eigenvector,
, is a scaled and shifted discrete Chebyshev polynomial, and the corresponding eigenvalue,
, is the Legendre polynomial.
Relation to Bessel functions
In the limit when
, one obtains

where
is the Bessel function and
is finite.
List of d-matrix elements
Using sign convention of Wigner, et al. the d-matrix elements
for j = 1/2, 1, 3/2, and 2 are given below.
For j = 1/2
![{\displaystyle {\begin{aligned}d_{{\frac {1}{2}},{\frac {1}{2}}}^{\frac {1}{2}}&=\cos {\frac {\theta }{2}}\\[6pt]d_{{\frac {1}{2}},-{\frac {1}{2}}}^{\frac {1}{2}}&=-\sin {\frac {\theta }{2}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2e5474f4cbdd9e476644650d447f05a2bf6bcf2)
For j = 1
![{\displaystyle {\begin{aligned}d_{1,1}^{1}&={\frac {1}{2}}(1+\cos \theta )\\[6pt]d_{1,0}^{1}&=-{\frac {1}{\sqrt {2}}}\sin \theta \\[6pt]d_{1,-1}^{1}&={\frac {1}{2}}(1-\cos \theta )\\[6pt]d_{0,0}^{1}&=\cos \theta \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/016c3cd83ccd7f285334e8f03a4413183fc12ac4)
For j = 3/2
![{\displaystyle {\begin{aligned}d_{{\frac {3}{2}},{\frac {3}{2}}}^{\frac {3}{2}}&={\frac {1}{2}}(1+\cos \theta )\cos {\frac {\theta }{2}}\\[6pt]d_{{\frac {3}{2}},{\frac {1}{2}}}^{\frac {3}{2}}&=-{\frac {\sqrt {3}}{2}}(1+\cos \theta )\sin {\frac {\theta }{2}}\\[6pt]d_{{\frac {3}{2}},-{\frac {1}{2}}}^{\frac {3}{2}}&={\frac {\sqrt {3}}{2}}(1-\cos \theta )\cos {\frac {\theta }{2}}\\[6pt]d_{{\frac {3}{2}},-{\frac {3}{2}}}^{\frac {3}{2}}&=-{\frac {1}{2}}(1-\cos \theta )\sin {\frac {\theta }{2}}\\[6pt]d_{{\frac {1}{2}},{\frac {1}{2}}}^{\frac {3}{2}}&={\frac {1}{2}}(3\cos \theta -1)\cos {\frac {\theta }{2}}\\[6pt]d_{{\frac {1}{2}},-{\frac {1}{2}}}^{\frac {3}{2}}&=-{\frac {1}{2}}(3\cos \theta +1)\sin {\frac {\theta }{2}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3abde770b0ef91fba9d3d318f7cc82387361e913)
For j = 2
![{\displaystyle {\begin{aligned}d_{2,2}^{2}&={\frac {1}{4}}\left(1+\cos \theta \right)^{2}\\[6pt]d_{2,1}^{2}&=-{\frac {1}{2}}\sin \theta \left(1+\cos \theta \right)\\[6pt]d_{2,0}^{2}&={\sqrt {\frac {3}{8}}}\sin ^{2}\theta \\[6pt]d_{2,-1}^{2}&=-{\frac {1}{2}}\sin \theta \left(1-\cos \theta \right)\\[6pt]d_{2,-2}^{2}&={\frac {1}{4}}\left(1-\cos \theta \right)^{2}\\[6pt]d_{1,1}^{2}&={\frac {1}{2}}\left(2\cos ^{2}\theta +\cos \theta -1\right)\\[6pt]d_{1,0}^{2}&=-{\sqrt {\frac {3}{8}}}\sin 2\theta \\[6pt]d_{1,-1}^{2}&={\frac {1}{2}}\left(-2\cos ^{2}\theta +\cos \theta +1\right)\\[6pt]d_{0,0}^{2}&={\frac {1}{2}}\left(3\cos ^{2}\theta -1\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4371f5663c4a9625357ce17d64397dd63f981117)
Wigner d-matrix elements with swapped lower indices are found with the relation:

Symmetries and special cases
![{\displaystyle {\begin{aligned}d_{m',m}^{j}(\pi )&=(-1)^{j-m}\delta _{m',-m}\\[6pt]d_{m',m}^{j}(\pi -\beta )&=(-1)^{j+m'}d_{m',-m}^{j}(\beta )\\[6pt]d_{m',m}^{j}(\pi +\beta )&=(-1)^{j-m}d_{m',-m}^{j}(\beta )\\[6pt]d_{m',m}^{j}(2\pi +\beta )&=(-1)^{2j}d_{m',m}^{j}(\beta )\\[6pt]d_{m',m}^{j}(-\beta )&=d_{m,m'}^{j}(\beta )=(-1)^{m'-m}d_{m',m}^{j}(\beta )\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1485b033a390e8fae8a19860ef2a90509dc5ddba)
See also
References
External links