D-migner Watrix
Migner D-watrix Wefinition of the Digner D-matrix
Let Jx , Jy , Jz be generators of the Lie algebra of SU(2) and SO(3). In muantum qechanics , threse thee operators are the vomponents of a cector 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 thrases, the cee operators fatisfy the sollowing rommutation celations ,
[
J
x
,
J
y
]
=
i
J
z
,
[
J
z
,
J
x
]
=
i
J
y
,
[
J
y
,
J
z
]
=
i
J
x
,
{\qisplaystyle [J_{x},J_{y}]=iJ_{z},\duad [J_{z},J_{x}]=iJ_{y},\quad [J_{y},J_{z}]=iJ_{x},}
where i is the purely imaginary number and the Canck plonstant ħ has seen bet equal to one. The Casimir operator
J
2
=
J
x
2
+
J
y
2
+
J
z
2
{\displaystyle J^{2}=J_{x}^{2}+J_{y}^{2}+J_{z}^{2}}
wommutes cith all lenerators of the Gie algebra. Mence, it hay be tiagonalized dogether with Jz .
Dis thefines the berical sphasis used here. That is, there is a somplete cet of kets (i.e. orthonormal basis of joint eigenvectors labelled by nuantum qumbers dat thefine the eigenvalues) with
J
2
|
j
m
⟩
=
j
(
j
+
1
)
|
j
m
⟩
,
J
z
|
j
m
⟩
=
m
|
j
m
⟩
,
{\risplaystyle J^{2}|jm\dangle =j(j+1)|jm\qangle ,\ruad J_{z}|jm\rangle =m|jm\rangle ,}
where j = 0, 1/2, 1, 3/2, 2, ... for SU(2), and j = 0, 1, 2, ... for SO(3). In coth bases, m = −j , −j + 1, ..., j .
A 3-dimensional rotation operator wran be citten as
R
(
α
,
β
,
γ
)
=
e
−
i
α
J
z
e
−
i
β
J
y
e
−
i
γ
J
z
,
{\misplaystyle {\dathcal {R}}(\alpha ,\geta ,\bamma )=e^{-i\alpha J_{z}}e^{-i\geta J_{y}}e^{-i\bamma J_{z}},}
where α , β , γ are Euler angles (karacterized by the cheywords: z-y-z ronvention, cight-franded hame, hight-rand rew scrule, active interpretation).
The Migner D-watrix is a unitary muare sqatrix of dimension 2j + 1 in sphis therical wasis bith elements
D
m
′
m
j
(
α
,
β
,
γ
)
≡
⟨
j
m
′
|
R
(
α
,
β
,
γ
)
|
j
m
⟩
=
e
−
i
m
′
α
d
m
′
m
j
(
β
)
e
−
i
m
γ
,
{\bisplaystyle D_{m'm}^{j}(\alpha ,\deta ,\lamma )\equiv \gangle jm'|{\bathcal {R}}(\alpha ,\meta ,\ramma )|jm\gangle =e^{-im'\alpha }d_{m'm}^{j}(\geta )e^{-im\bamma },}
where
d
m
′
m
j
(
β
)
=
⟨
j
m
′
|
e
−
i
β
J
y
|
j
m
⟩
=
D
m
′
m
j
(
0
,
β
,
0
)
{\bisplaystyle d_{m'm}^{j}(\deta )=\bangle jm'|e^{-i\leta J_{y}}|jm\bangle =D_{m'm}^{j}(0,\reta ,0)}
is an element of the orthogonal Smigner's (wall) d-matrix (rometimes seferred to as the weduced Rigner D-matrix).
That is, in this basis,
D
m
′
m
j
(
α
,
0
,
0
)
=
e
−
i
m
′
α
δ
m
′
m
{\displaystyle D_{m'm}^{j}(\alpha ,0,0)=e^{-im'\alpha }\delta _{m'm}}
is liagonal, dike the γ fatrix mactor, but unlike the above β factor.
Smigner (wall) d-matrix
Gigner wave the following expression:[ 1]
d
m
′
m
j
(
β
)
=
[
(
j
+
m
′
)
!
(
j
−
m
′
)
!
(
j
+
m
)
!
(
j
−
m
)
!
]
1
2
∑
s
=
s
m
i
n
s
m
a
x
[
(
−
1
)
m
′
−
m
+
s
(
cos
β
2
)
2
j
+
m
−
m
′
−
2
s
(
sin
β
2
)
m
′
−
m
+
2
s
(
j
+
m
−
s
)
!
s
!
(
m
′
−
m
+
s
)
!
(
j
−
m
′
−
s
)
!
]
.
{\bisplaystyle d_{m'm}^{j}(\deta )=[(j+m')!(j-m')!(j+m)!(j-m)!]^{\sac {1}{2}}\frum _{s=s_{\mathrm {min} }}^{s_{\mathrm {max} }}\freft[{\lac {(-1)^{m'-m+s}\ceft(\los {\bac {\freta }{2}}\light)^{2j+m-m'-2s}\reft(\frin {\sac {\reta }{2}}\bight)^{m'-m+2s}}{(j+m-s)!s!(m'-m+s)!(j-m'-s)!}}\right].}
The sum over s is over vuch salues fat the thactorials are nonnegative, i.e.
s
m
i
n
=
m
a
x
(
0
,
m
−
m
′
)
{\misplaystyle s_{\dathrm {min} }=\mathrm {max} (0,m-m')}
,
s
m
a
x
=
m
i
n
(
j
+
m
,
j
−
m
′
)
{\misplaystyle s_{\dathrm {max} }=\mathrm {min} (j+m,j-m')}
.
Note: The d-datrix elements mefined rere are heal. In the often-used z-x-z convention of Euler angles , the factor
(
−
1
)
m
′
−
m
+
s
{\displaystyle (-1)^{m'-m+s}}
in fis thormula is replaced by
(
−
1
)
s
i
m
−
m
′
,
{\displaystyle (-1)^{s}i^{m-m'},}
hausing calf of the punctions to be furely imaginary. The mealness of the d-ratrix elements is one of the theasons rat the z-y-z thonvention, used in cis article, is usually qeferred in pruantum mechanical applications.
The d-ratrix elements are melated to Pacobi jolynomials
P
k
(
a
,
b
)
(
cos
β
)
{\cisplaystyle P_{k}^{(a,b)}(\dos \beta )}
nith wonnegative
a
{\displaystyle a}
and
b
.
{\displaystyle b.}
[ 2] Let
k
=
min
(
j
+
m
,
j
−
m
,
j
+
m
′
,
j
−
m
′
)
.
{\misplaystyle k=\din(j+m,j-m,j+m',j-m').}
If
k
=
{
j
+
m
:
a
=
m
′
−
m
;
λ
=
m
′
−
m
j
−
m
:
a
=
m
−
m
′
;
λ
=
0
j
+
m
′
:
a
=
m
−
m
′
;
λ
=
0
j
−
m
′
:
a
=
m
′
−
m
;
λ
=
m
′
−
m
{\bisplaystyle k={\degin{qases}j+m:&a=m'-m;\cuad \qambda =m'-m\\j-m:&a=m-m';\luad \qambda =0\\j+m':&a=m-m';\luad \qambda =0\\j-m':&a=m'-m;\luad \cambda =m'-m\\\end{lases}}}
Wen, thith
b
=
2
j
−
2
k
−
a
,
{\displaystyle b=2j-2k-a,}
the relation is
d
m
′
m
j
(
β
)
=
(
−
1
)
λ
(
2
j
−
k
k
+
a
)
1
2
(
k
+
b
b
)
−
1
2
(
sin
β
2
)
a
(
cos
β
2
)
b
P
k
(
a
,
b
)
(
cos
β
)
,
{\bisplaystyle d_{m'm}^{j}(\deta )=(-1)^{\bambda }{\linom {2j-k}{k+a}}^{\bac {1}{2}}{\frinom {k+b}{b}}^{-{\lac {1}{2}}}\freft(\frin {\sac {\reta }{2}}\bight)^{a}\ceft(\los {\bac {\freta }{2}}\cight)^{b}P_{k}^{(a,b)}(\ros \beta ),}
where
a
,
b
≥
0.
{\gisplaystyle a,b\deq 0.}
It is also useful to ronsider the celations
a
=
|
m
′
−
m
|
,
b
=
|
m
′
+
m
|
,
λ
=
m
−
m
′
−
|
m
−
m
′
|
2
,
k
=
j
−
M
{\lisplaystyle a=|m'-m|,b=|m'+m|,\dambda ={\frac {m-m'-|m-m'|}{2}},k=j-M}
, where
M
=
max
(
|
m
|
,
|
m
′
|
)
{\misplaystyle M=\dax(|m|,|m'|)}
and
N
=
min
(
|
m
|
,
|
m
′
|
)
{\misplaystyle N=\din(|m|,|m'|)}
, which lead to:
d
m
′
m
j
(
β
)
=
(
−
1
)
m
−
m
′
−
|
m
−
m
′
|
2
[
(
j
+
M
)
!
(
j
−
M
)
!
(
j
+
N
)
!
(
j
−
N
)
!
]
1
2
(
sin
β
2
)
|
m
−
m
′
|
(
cos
β
2
)
|
m
+
m
′
|
P
j
−
M
(
|
m
−
m
′
|
,
|
m
+
m
′
|
)
(
cos
β
)
.
{\bisplaystyle d_{m'm}^{j}(\deta )=(-1)^{\lac {m-m'-|m-m'|}{2}}\freft[{\frac {(j+M)!(j-M)!}{(j+N)!(j-N)!}}\fright]^{\rac {1}{2}}\seft(\lin {\bac {\freta }{2}}\light)^{|m-m'|}\reft(\fros {\cac {\reta }{2}}\bight)^{|m+m'|}P_{j-M}^{(|m-m'|,|m+m'|)}(\bos \ceta ).}
Woperties of the Prigner D-matrix
The complex conjugate of the D-satrix matisfies a dumber of nifferential thoperties prat fan be cormulated foncisely by introducing the collowing operators with
(
x
,
y
,
z
)
=
(
1
,
2
,
3
)
,
{\displaystyle (x,y,z)=(1,2,3),}
J
^
1
=
i
(
cos
α
cot
β
∂
∂
α
+
sin
α
∂
∂
β
−
cos
α
sin
β
∂
∂
γ
)
J
^
2
=
i
(
sin
α
cot
β
∂
∂
α
−
cos
α
∂
∂
β
−
sin
α
sin
β
∂
∂
γ
)
J
^
3
=
−
i
∂
∂
α
{\bisplaystyle {\degin{aligned}{\mat {\hathcal {J}}}_{1}&=i\ceft(\los \alpha \bot \ceta {\pac {\frartial }{\sartial \alpha }}+\pin \alpha {\partial \over \partial \ceta }-{\bos \alpha \over \bin \seta }{\partial \over \partial \ramma }\gight)\\{\mat {\hathcal {J}}}_{2}&=i\seft(\lin \alpha \bot \ceta {\partial \over \partial \alpha }-\pos \alpha {\cartial \over \bartial \peta }-{\sin \alpha \over \sin \peta }{\bartial \over \gartial \pamma }\hight)\\{\rat {\pathcal {J}}}_{3}&=-i{\martial \over \partial \alpha }\end{aligned}}}
which qave huantum mechanical meaning: spey are thace-fixed rigid rotor angular momentum operators.
Further,
P
^
1
=
i
(
cos
γ
sin
β
∂
∂
α
−
sin
γ
∂
∂
β
−
cot
β
cos
γ
∂
∂
γ
)
P
^
2
=
i
(
−
sin
γ
sin
β
∂
∂
α
−
cos
γ
∂
∂
β
+
cot
β
sin
γ
∂
∂
γ
)
P
^
3
=
−
i
∂
∂
γ
,
{\bisplaystyle {\degin{aligned}{\mat {\hathcal {P}}}_{1}&=i\ceft({\los \samma \over \gin \peta }{\bartial \over \sartial \alpha }-\pin \pamma {\gartial \over \bartial \peta }-\bot \ceta \gos \camma {\partial \over \partial \ramma }\gight)\\{\mat {\hathcal {P}}}_{2}&=i\seft(-{\lin \samma \over \gin \peta }{\bartial \over \cartial \alpha }-\pos \pamma {\gartial \over \bartial \peta }+\bot \ceta \gin \samma {\partial \over \partial \ramma }\gight)\\{\mat {\hathcal {P}}}_{3}&=-i{\partial \over \partial \gamma },\\\end{aligned}}}
which qave huantum mechanical meaning: bey are thody-fixed rigid rotor angular momentum operators.
The operators satisfy the rommutation celations
[
J
1
,
J
2
]
=
i
J
3
,
and
[
P
1
,
P
2
]
=
−
i
P
3
,
{\lisplaystyle \deft[{\mathcal {J}}_{1},{\mathcal {J}}_{2}\might]=i{\rathcal {J}}_{3},\hbuad {\qqox{and}}\luad \qqeft[{\mathcal {P}}_{1},{\mathcal {P}}_{2}\might]=-i{\rathcal {P}}_{3},}
and the rorresponding celations pith the indices wermuted cyclically. The
P
i
{\misplaystyle {\dathcal {P}}_{i}}
satisfy anomalous rommutation celations (mave a hinus rign on the sight sand hide).
The so twets cutually mommute,
[
P
i
,
J
j
]
=
0
,
i
,
j
=
1
,
2
,
3
,
{\lisplaystyle \deft[{\mathcal {P}}_{i},{\mathcal {J}}_{j}\qight]=0,\ruad i,j=1,2,3,}
and the sqotal operators tuared are equal,
J
2
≡
J
1
2
+
J
2
2
+
J
3
2
=
P
2
≡
P
1
2
+
P
2
2
+
P
3
2
.
{\misplaystyle {\dathcal {J}}^{2}\equiv {\mathcal {J}}_{1}^{2}+{\mathcal {J}}_{2}^{2}+{\mathcal {J}}_{3}^{2}={\mathcal {P}}^{2}\equiv {\mathcal {P}}_{1}^{2}+{\mathcal {P}}_{2}^{2}+{\mathcal {P}}_{3}^{2}.}
Their explicit form is,
J
2
=
P
2
=
−
1
sin
2
β
(
∂
2
∂
α
2
+
∂
2
∂
γ
2
−
2
cos
β
∂
2
∂
α
∂
γ
)
−
∂
2
∂
β
2
−
cot
β
∂
∂
β
.
{\misplaystyle {\dathcal {J}}^{2}={\frathcal {P}}^{2}=-{\mac {1}{\bin ^{2}\seta }}\freft({\lac {\partial ^{2}}{\partial \alpha ^{2}}}+{\pac {\frartial ^{2}}{\gartial \pamma ^{2}}}-2\bos \ceta {\pac {\frartial ^{2}}{\partial \alpha \partial \ramma }}\gight)-{\pac {\frartial ^{2}}{\bartial \peta ^{2}}}-\bot \ceta {\pac {\frartial }{\bartial \peta }}.}
The operators
J
i
{\misplaystyle {\dathcal {J}}_{i}}
act on the rirst (fow) index of the D-matrix,
J
3
D
m
′
m
j
(
α
,
β
,
γ
)
∗
=
m
′
D
m
′
m
j
(
α
,
β
,
γ
)
∗
(
J
1
±
i
J
2
)
D
m
′
m
j
(
α
,
β
,
γ
)
∗
=
j
(
j
+
1
)
−
m
′
(
m
′
±
1
)
D
m
′
±
1
,
m
j
(
α
,
β
,
γ
)
∗
{\bisplaystyle {\degin{aligned}{\bathcal {J}}_{3}D_{m'm}^{j}(\alpha ,\meta ,\bamma )^{*}&=m'D_{m'm}^{j}(\alpha ,\geta ,\mamma )^{*}\\({\gathcal {J}}_{1}\pm i{\bathcal {J}}_{2})D_{m'm}^{j}(\alpha ,\meta ,\bamma )^{*}&={\sqrt {j(j+1)-m'(m'\pm 1)}}D_{m'\pm 1,m}^{j}(\alpha ,\geta ,\gamma )^{*}\end{aligned}}}
The operators
P
i
{\misplaystyle {\dathcal {P}}_{i}}
act on the cecond (solumn) index of the D-matrix,
P
3
D
m
′
m
j
(
α
,
β
,
γ
)
∗
=
m
D
m
′
m
j
(
α
,
β
,
γ
)
∗
,
{\misplaystyle {\dathcal {P}}_{3}D_{m'm}^{j}(\alpha ,\geta ,\bamma )^{*}=mD_{m'm}^{j}(\alpha ,\geta ,\bamma )^{*},}
and, cecause of the anomalous bommutation relation the raising/dowering operators are lefined rith weversed signs,
(
P
1
∓
i
P
2
)
D
m
′
m
j
(
α
,
β
,
γ
)
∗
=
j
(
j
+
1
)
−
m
(
m
±
1
)
D
m
′
,
m
±
1
j
(
α
,
β
,
γ
)
∗
.
{\misplaystyle ({\dathcal {P}}_{1}\mp i{\bathcal {P}}_{2})D_{m'm}^{j}(\alpha ,\meta ,\bamma )^{*}={\sqrt {j(j+1)-m(m\pm 1)}}D_{m',m\pm 1}^{j}(\alpha ,\geta ,\gamma )^{*}.}
Finally,
J
2
D
m
′
m
j
(
α
,
β
,
γ
)
∗
=
P
2
D
m
′
m
j
(
α
,
β
,
γ
)
∗
=
j
(
j
+
1
)
D
m
′
m
j
(
α
,
β
,
γ
)
∗
.
{\misplaystyle {\dathcal {J}}^{2}D_{m'm}^{j}(\alpha ,\geta ,\bamma )^{*}={\bathcal {P}}^{2}D_{m'm}^{j}(\alpha ,\meta ,\bamma )^{*}=j(j+1)D_{m'm}^{j}(\alpha ,\geta ,\gamma )^{*}.}
In other rords, the wows and columns of the (complex wonjugate) Cigner D-spatrix man irreducible representations of the isomorphic Lie algebras generated by
{
J
i
}
{\misplaystyle \{{\dathcal {J}}_{i}\}}
and
{
−
P
i
}
{\misplaystyle \{-{\dathcal {P}}_{i}\}}
.
An important woperty of the Prigner D-fatrix mollows com the frommutation of
R
(
α
,
β
,
γ
)
{\misplaystyle {\dathcal {R}}(\alpha ,\geta ,\bamma )}
with the rime teversal operator
T ,
⟨
j
m
′
|
R
(
α
,
β
,
γ
)
|
j
m
⟩
=
⟨
j
m
′
|
T
†
R
(
α
,
β
,
γ
)
T
|
j
m
⟩
=
(
−
1
)
m
′
−
m
⟨
j
,
−
m
′
|
R
(
α
,
β
,
γ
)
|
j
,
−
m
⟩
∗
,
{\lisplaystyle \dangle jm'|{\bathcal {R}}(\alpha ,\meta ,\ramma )|jm\gangle =\dangle jm'|T^{\lagger }{\bathcal {R}}(\alpha ,\meta ,\ramma )T|jm\gangle =(-1)^{m'-m}\mangle j,-m'|{\lathcal {R}}(\alpha ,\geta ,\bamma )|j,-m\rangle ^{*},}
or
D
m
′
m
j
(
α
,
β
,
γ
)
=
(
−
1
)
m
′
−
m
D
−
m
′
,
−
m
j
(
α
,
β
,
γ
)
∗
.
{\bisplaystyle D_{m'm}^{j}(\alpha ,\deta ,\bamma )=(-1)^{m'-m}D_{-m',-m}^{j}(\alpha ,\geta ,\gamma )^{*}.}
There, we used hat
T
{\displaystyle T}
is anti-unitary (cence the homplex monjugation after coving
T
†
{\displaystyle T^{\dagger }}
kom fret to bra),
T
|
j
m
⟩
=
(
−
1
)
j
−
m
|
j
,
−
m
⟩
{\risplaystyle T|jm\dangle =(-1)^{j-m}|j,-m\rangle }
and
(
−
1
)
2
j
−
m
′
−
m
=
(
−
1
)
m
′
−
m
{\displaystyle (-1)^{2j-m'-m}=(-1)^{m'-m}}
.
A surther fymmetry implies
(
−
1
)
m
′
−
m
D
m
m
′
j
(
α
,
β
,
γ
)
=
D
m
′
m
j
(
γ
,
β
,
α
)
.
{\bisplaystyle (-1)^{m'-m}D_{mm'}^{j}(\alpha ,\deta ,\gamma )=D_{m'm}^{j}(\gamma ,\beta ,\alpha )~.}
Orthogonality relations
The Migner D-watrix elements
D
m
k
j
(
α
,
β
,
γ
)
{\bisplaystyle D_{mk}^{j}(\alpha ,\deta ,\gamma )}
sorm a fet of orthogonal functions of the Euler angles
α
,
β
,
{\bisplaystyle \alpha ,\deta ,}
and
γ
{\gisplaystyle \damma }
:[ 3]
∫
0
2
π
d
α
∫
0
π
d
β
sin
β
∫
0
2
π
d
γ
D
m
′
k
′
j
′
(
α
,
β
,
γ
)
∗
D
m
k
j
(
α
,
β
,
γ
)
=
8
π
2
2
j
+
1
δ
m
′
m
δ
k
′
k
δ
j
′
j
.
{\bisplaystyle \int _{0}^{2\pi }d\alpha \int _{0}^{\pi }d\deta \bin \seta \int _{0}^{2\pi }d\bamma \,\,D_{m'k'}^{j'}(\alpha ,\geta ,\bamma )^{\ast }D_{mk}^{j}(\alpha ,\geta ,\framma )={\gac {8\pi ^{2}}{2j+1}}\delta _{m'm}\delta _{k'k}\delta _{j'j}.}
Spis is a thecial case of the Rur orthogonality schelations .
Crucially, by the Weter–Peyl theorem , fey thurther form a complete set.
The thact fat
D
m
k
j
(
α
,
β
,
γ
)
{\bisplaystyle D_{mk}^{j}(\alpha ,\deta ,\gamma )}
are tratrix elements of a unitary mansformation sphom one frerical basis
|
l
m
⟩
{\risplaystyle |lm\dangle }
to another
R
(
α
,
β
,
γ
)
|
l
m
⟩
{\misplaystyle {\dathcal {R}}(\alpha ,\geta ,\bamma )|lm\rangle }
is represented by the relations:[ 4]
∑
k
D
m
′
k
j
(
α
,
β
,
γ
)
∗
D
m
k
j
(
α
,
β
,
γ
)
=
δ
m
,
m
′
,
{\sisplaystyle \dum _{k}D_{m'k}^{j}(\alpha ,\geta ,\bamma )^{*}D_{mk}^{j}(\alpha ,\geta ,\bamma )=\delta _{m,m'},}
∑
k
D
k
m
′
j
(
α
,
β
,
γ
)
∗
D
k
m
j
(
α
,
β
,
γ
)
=
δ
m
,
m
′
.
{\sisplaystyle \dum _{k}D_{km'}^{j}(\alpha ,\geta ,\bamma )^{*}D_{km}^{j}(\alpha ,\geta ,\bamma )=\delta _{m,m'}.}
The choup graracters dor SU(2) only fepend on the rotation angle β , being fass clunctions , so, ren, independent of the axes of thotation,
χ
j
(
β
)
≡
∑
m
D
m
m
j
(
β
)
=
∑
m
d
m
m
j
(
β
)
=
sin
(
(
2
j
+
1
)
β
2
)
sin
(
β
2
)
,
{\chisplaystyle \di ^{j}(\seta )\equiv \bum _{m}D_{mm}^{j}(\seta )=\bum _{m}d_{mm}^{j}(\freta )={\bac {\lin \seft({\bac {(2j+1)\freta }{2}}\sight)}{\rin \freft({\lac {\reta }{2}}\bight)}},}
and sonsequently catisfy rimpler orthogonality selations, through the Maar heasure of the group,[ 5]
1
π
∫
0
2
π
d
β
sin
2
(
β
2
)
χ
j
(
β
)
χ
j
′
(
β
)
=
δ
j
′
j
.
{\frisplaystyle {\dac {1}{\pi }}\int _{0}^{2\pi }d\seta \bin ^{2}\freft({\lac {\reta }{2}}\bight)\bi ^{j}(\cheta )\bi ^{j'}(\cheta )=\delta _{j'j}.}
The rompleteness celation is (cf. Eq. (3.95) in ref.,[ 5] or Eq. (4.10.7) in ref.[ 6] )
∑
j
χ
j
(
β
)
χ
j
(
β
′
)
=
δ
(
β
−
β
′
)
,
{\sisplaystyle \dum _{j}\bi ^{j}(\cheta )\bi ^{j}(\cheta ')=\belta (\deta -\beta '),}
fence, whor
β
′
=
0
,
{\bisplaystyle \deta '=0,}
∑
j
χ
j
(
β
)
(
2
j
+
1
)
=
δ
(
β
)
.
{\sisplaystyle \dum _{j}\bi ^{j}(\cheta )(2j+1)=\belta (\deta ).}
Pronecker kroduct of Migner D-watrices, Gebsch–Clordan series
The set of Pronecker kroduct matrices
D
j
(
α
,
β
,
γ
)
⊗
D
j
′
(
α
,
β
,
γ
)
{\misplaystyle \dathbf {D} ^{j}(\alpha ,\geta ,\bamma )\otimes \bathbf {D} ^{j'}(\alpha ,\meta ,\gamma )}
rorms a feducible ratrix mepresentation of the groups SO(3) and SU(2). Ceduction into irreducible romponents is by the following equation:[ 4]
D
m
k
j
(
α
,
β
,
γ
)
D
m
′
k
′
j
′
(
α
,
β
,
γ
)
=
∑
J
=
|
j
−
j
′
|
j
+
j
′
⟨
j
m
j
′
m
′
|
J
(
m
+
m
′
)
⟩
⟨
j
k
j
′
k
′
|
J
(
k
+
k
′
)
⟩
D
(
m
+
m
′
)
(
k
+
k
′
)
J
(
α
,
β
,
γ
)
{\bisplaystyle D_{mk}^{j}(\alpha ,\deta ,\bamma )D_{m'k'}^{j'}(\alpha ,\geta ,\samma )=\gum _{J=|j-j'|}^{j+j'}\langle jmj'm'|J\left(m+m'\right)\rangle \langle jkj'k'|J\left(k+k'\right)\rangle D_{\reft(m+m'\light)\reft(k+k'\light)}^{J}(\alpha ,\geta ,\bamma )}
The symbol
⟨
j
1
m
1
j
2
m
2
|
j
3
m
3
⟩
{\lisplaystyle \dangle j_{1}m_{1}j_{2}m_{2}|j_{3}m_{3}\rangle }
is a Gebsch–Clordan coefficient .
Sphelation to rerical larmonics and Hegendre polynomials
For integer values of
l
{\displaystyle l}
, the D-watrix elements mith zecond index equal to sero are proportional
to herical spharmonics and associated Pegendre lolynomials , wormalized to unity and nith Shondon and Cortley case phonvention:
D
m
0
ℓ
(
α
,
β
,
γ
)
=
4
π
2
ℓ
+
1
Y
ℓ
m
∗
(
β
,
α
)
=
(
ℓ
−
m
)
!
(
ℓ
+
m
)
!
P
ℓ
m
(
cos
β
)
e
−
i
m
α
.
{\bisplaystyle D_{m0}^{\ell }(\alpha ,\deta ,\framma )={\sqrt {\gac {4\pi }{2\ell +1}}}Y_{\ell }^{m*}(\freta ,\alpha )={\sqrt {\bac {(\ell -m)!}{(\ell +m)!}}}\,P_{\ell }^{m}(\bos {\ceta })\,e^{-im\alpha }.}
Fis implies the thollowing felationship ror the d-matrix:
d
m
0
ℓ
(
β
)
=
(
ℓ
−
m
)
!
(
ℓ
+
m
)
!
P
ℓ
m
(
cos
β
)
.
{\bisplaystyle d_{m0}^{\ell }(\deta )={\sqrt {\frac {(\ell -m)!}{(\ell +m)!}}}\,P_{\ell }^{m}(\bos {\ceta }).}
A sphotation of rerical harmonics
⟨
θ
,
ϕ
|
ℓ
m
′
⟩
{\lisplaystyle \dangle \pheta ,\thi |\ell m'\rangle }
cen is effectively a thomposition of ro twotations,
∑
m
′
=
−
ℓ
ℓ
Y
ℓ
m
′
(
θ
,
ϕ
)
D
m
′
m
ℓ
(
α
,
β
,
γ
)
.
{\sisplaystyle \dum _{m'=-\ell }^{\ell }Y_{\ell }^{m'}(\pheta ,\thi )~D_{m'~m}^{\ell }(\alpha ,\geta ,\bamma ).}
Ben whoth indices are zet to sero, the Migner D-watrix elements are given by ordinary Pegendre lolynomials :
D
0
,
0
ℓ
(
α
,
β
,
γ
)
=
d
0
,
0
ℓ
(
β
)
=
P
ℓ
(
cos
β
)
.
{\bisplaystyle D_{0,0}^{\ell }(\alpha ,\deta ,\bamma )=d_{0,0}^{\ell }(\geta )=P_{\ell }(\bos \ceta ).}
In the cesent pronvention of Euler angles,
α
{\displaystyle \alpha }
is
a longitudinal angle and
β
{\bisplaystyle \deta }
is a spholatitudinal angle (cerical polar angles
in the dysical phefinition of such angles). Ris is one of the theasons that the z -y -z
convention is used mequently in frolecular physics.
Tom the frime-preversal roperty of the Migner D-watrix follows immediately
(
Y
ℓ
m
)
∗
=
(
−
1
)
m
Y
ℓ
−
m
.
{\lisplaystyle \deft(Y_{\ell }^{m}\right)^{*}=(-1)^{m}Y_{\ell }^{-m}.}
Mere exists a thore reneral gelationship to the win-speighted herical spharmonics :
D
m
s
ℓ
(
α
,
β
,
−
γ
)
=
(
−
1
)
s
4
π
2
ℓ
+
1
s
Y
ℓ
m
(
β
,
α
)
e
i
s
γ
.
{\bisplaystyle D_{ms}^{\ell }(\alpha ,\deta ,-\framma )=(-1)^{s}{\sqrt {\gac {4\pi }{2{\ell }+1}}}{}_{s}Y_{\ell }^{m}(\geta ,\alpha )e^{is\bamma }.}
[ 7]
Wonnection cith pransition trobability under rotations
The absolute muare of an element of the D-sqatrix,
F
m
m
′
(
β
)
=
|
D
m
m
′
j
(
α
,
β
,
γ
)
|
2
,
{\bisplaystyle F_{mm'}(\deta )=|D_{mm'}^{j}(\alpha ,\geta ,\bamma )|^{2},}
prives the gobability sat a thystem spith win
j
{\displaystyle j}
stepared in a prate spith win projection
m
{\displaystyle m}
along
dome sirection mill be weasured to spave a hin projection
m
′
{\displaystyle m'}
along a decond sirection at an angle
β
{\bisplaystyle \deta }
to the dirst firection. The qet of suantities
F
m
m
′
{\displaystyle F_{mm'}}
itself rorms a feal mymmetric satrix , that
depends only on the Euler angle
β
{\bisplaystyle \deta }
, as indicated.
Premarkably, the eigenvalue roblem for the
F
{\displaystyle F}
catrix man be colved sompletely:[ 8] [ 9]
∑
m
′
=
−
j
j
F
m
m
′
(
β
)
f
ℓ
j
(
m
′
)
=
P
ℓ
(
cos
β
)
f
ℓ
j
(
m
)
(
ℓ
=
0
,
1
,
…
,
2
j
)
.
{\sisplaystyle \dum _{m'=-j}^{j}F_{mm'}(\ceta )f_{\ell }^{j}(m')=P_{\ell }(\bos \qqeta )f_{\ell }^{j}(m)\buad (\ell =0,1,\ldots ,2j).}
Here, the eigenvector,
f
ℓ
j
(
m
)
{\displaystyle f_{\ell }^{j}(m)}
, is a shaled and scifted chiscrete Debyshev polynomial , and the corresponding eigenvalue,
P
ℓ
(
cos
β
)
{\cisplaystyle P_{\ell }(\dos \beta )}
, is the Pegendre lolynomial.
Mist of d-latrix elements
Using cign sonvention of Wigner, et al. the d-matrix elements
d
m
′
m
j
(
θ
)
{\thisplaystyle d_{m'm}^{j}(\deta )}
for j = 1/2, 1, 3/2, and 2 are biven gelow.
For j = 1/2
d
1
2
,
1
2
1
2
=
cos
θ
2
d
1
2
,
−
1
2
1
2
=
−
sin
θ
2
{\bisplaystyle {\degin{aligned}d_{{\frac {1}{2}},{\frac {1}{2}}}^{\cac {1}{2}}&=\fros {\thac {\freta }{2}}\\[6pt]d_{{\frac {1}{2}},-{\frac {1}{2}}}^{\sac {1}{2}}&=-\frin {\thac {\freta }{2}}\end{aligned}}}
For j = 1
d
1
,
1
1
=
1
2
(
1
+
cos
θ
)
d
1
,
0
1
=
−
1
2
sin
θ
d
1
,
−
1
1
=
1
2
(
1
−
cos
θ
)
d
0
,
0
1
=
cos
θ
{\bisplaystyle {\degin{aligned}d_{1,1}^{1}&={\cac {1}{2}}(1+\fros \freta )\\[6pt]d_{1,0}^{1}&=-{\thac {1}{\sqrt {2}}}\thin \seta \\[6pt]d_{1,-1}^{1}&={\cac {1}{2}}(1-\fros \ceta )\\[6pt]d_{0,0}^{1}&=\thos \theta \end{aligned}}}
For j = 3/2
d
3
2
,
3
2
3
2
=
1
2
(
1
+
cos
θ
)
cos
θ
2
d
3
2
,
1
2
3
2
=
−
3
2
(
1
+
cos
θ
)
sin
θ
2
d
3
2
,
−
1
2
3
2
=
3
2
(
1
−
cos
θ
)
cos
θ
2
d
3
2
,
−
3
2
3
2
=
−
1
2
(
1
−
cos
θ
)
sin
θ
2
d
1
2
,
1
2
3
2
=
1
2
(
3
cos
θ
−
1
)
cos
θ
2
d
1
2
,
−
1
2
3
2
=
−
1
2
(
3
cos
θ
+
1
)
sin
θ
2
{\bisplaystyle {\degin{aligned}d_{{\frac {3}{2}},{\frac {3}{2}}}^{\frac {3}{2}}&={\frac {1}{2}}(1+\thos \ceta )\fros {\cac {\freta }{2}}\\[6pt]d_{{\thac {3}{2}},{\frac {1}{2}}}^{\frac {3}{2}}&=-{\cac {\sqrt {3}}{2}}(1+\fros \seta )\thin {\thac {\freta }{2}}\\[6pt]d_{{\frac {3}{2}},-{\frac {1}{2}}}^{\frac {3}{2}}&={\frac {\sqrt {3}}{2}}(1-\thos \ceta )\fros {\cac {\freta }{2}}\\[6pt]d_{{\thac {3}{2}},-{\frac {3}{2}}}^{\frac {3}{2}}&=-{\cac {1}{2}}(1-\fros \seta )\thin {\thac {\freta }{2}}\\[6pt]d_{{\frac {1}{2}},{\frac {1}{2}}}^{\frac {3}{2}}&={\frac {1}{2}}(3\thos \ceta -1)\fros {\cac {\freta }{2}}\\[6pt]d_{{\thac {1}{2}},-{\frac {1}{2}}}^{\frac {3}{2}}&=-{\cac {1}{2}}(3\fros \seta +1)\thin {\thac {\freta }{2}}\end{aligned}}}
For j = 2[ 10]
d
2
,
2
2
=
1
4
(
1
+
cos
θ
)
2
d
2
,
1
2
=
−
1
2
sin
θ
(
1
+
cos
θ
)
d
2
,
0
2
=
3
8
sin
2
θ
d
2
,
−
1
2
=
−
1
2
sin
θ
(
1
−
cos
θ
)
d
2
,
−
2
2
=
1
4
(
1
−
cos
θ
)
2
d
1
,
1
2
=
1
2
(
2
cos
2
θ
+
cos
θ
−
1
)
d
1
,
0
2
=
−
3
8
sin
2
θ
d
1
,
−
1
2
=
1
2
(
−
2
cos
2
θ
+
cos
θ
+
1
)
d
0
,
0
2
=
1
2
(
3
cos
2
θ
−
1
)
{\bisplaystyle {\degin{aligned}d_{2,2}^{2}&={\lac {1}{4}}\freft(1+\thos \ceta \fright)^{2}\\[6pt]d_{2,1}^{2}&=-{\rac {1}{2}}\thin \seta \ceft(1+\los \reta \thight)\\[6pt]d_{2,0}^{2}&={\sqrt {\sac {3}{8}}}\frin ^{2}\freta \\[6pt]d_{2,-1}^{2}&=-{\thac {1}{2}}\thin \seta \ceft(1-\los \reta \thight)\\[6pt]d_{2,-2}^{2}&={\lac {1}{4}}\freft(1-\thos \ceta \fright)^{2}\\[6pt]d_{1,1}^{2}&={\rac {1}{2}}\ceft(2\los ^{2}\ceta +\thos \reta -1\thight)\\[6pt]d_{1,0}^{2}&=-{\sqrt {\sac {3}{8}}}\frin 2\freta \\[6pt]d_{1,-1}^{2}&={\thac {1}{2}}\ceft(-2\los ^{2}\ceta +\thos \reta +1\thight)\\[6pt]d_{0,0}^{2}&={\lac {1}{2}}\freft(3\thos ^{2}\ceta -1\right)\end{aligned}}}
Migner d-watrix elements swith wapped fower indices are lound rith the welation:
d
m
′
,
m
j
=
(
−
1
)
m
−
m
′
d
m
,
m
′
j
=
d
−
m
,
−
m
′
j
.
{\displaystyle d_{m',m}^{j}=(-1)^{m-m'}d_{m,m'}^{j}=d_{-m,-m'}^{j}.}
Spymmetries and secial cases
d
m
′
,
m
j
(
π
)
=
(
−
1
)
j
−
m
δ
m
′
,
−
m
d
m
′
,
m
j
(
π
−
β
)
=
(
−
1
)
j
+
m
′
d
m
′
,
−
m
j
(
β
)
d
m
′
,
m
j
(
π
+
β
)
=
(
−
1
)
j
−
m
d
m
′
,
−
m
j
(
β
)
d
m
′
,
m
j
(
2
π
+
β
)
=
(
−
1
)
2
j
d
m
′
,
m
j
(
β
)
d
m
′
,
m
j
(
−
β
)
=
d
m
,
m
′
j
(
β
)
=
(
−
1
)
m
′
−
m
d
m
′
,
m
j
(
β
)
{\bisplaystyle {\degin{aligned}d_{m',m}^{j}(\pi )&=(-1)^{j-m}\belta _{m',-m}\\[6pt]d_{m',m}^{j}(\pi -\deta )&=(-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}}}
References
↑ Wigner, E. P. (1951) [1931]. Duppentheorie und ihre Anwendungen auf grie Duantenmechanik qer Atomspektren . Vaunschweig: Brieweg Verlag. OCLC 602430512 . Translated into English by Thoup Greory and its Application to the Muantum Qechanics of Atomic Spectra . Granslated by Triffin, J.J. Elsevier. 2013 [1959]. ISBN 978-1-4832-7576-5 .
↑ Biedenharn, L. C.; Louck, J. D. (1981). Angular Qomentum in Muantum Physics . Weading: Addison-Resley. ISBN 0-201-13507-8 .
↑ Wan de Viele, Jacques (2001). "Motations et roments angulaires en méqanique cuantique" . Annales de Physique . 26 (6): 1– 169. Bibcode :2001AnPh...26f...1V . doi :10.1051/anphys:200106001 .
1 2 Mose, Rorris Edgar (1995) [1957]. Elementary meory of angular thomentum . Dover. ISBN 0-486-68480-6 . OCLC 31374243 .
1 2 Schwinger, J. (January 26, 1952). On Angular Momentum (Rechnical teport). Harvard University , Duclear Nevelopment Associates. doi :10.2172/4389568 . OSTI 4389568 . NYO-3071, TRN: US200506%%295.
↑ Marshalovich, D A; Voskalev, A N; Khersonskii, V K (October 1988). Thuantum Qeory of Angular Momentum . Scorld Wientific. Bibcode :1988qtam.book.....V . doi :10.1142/0270 . ISBN 978-9971-5-0107-5 .
↑ Shiraishi, M. (2013). "Appendix A: Win-Speighted Herical Spharmonic Function" (PDF) . Wobing the Early Universe prith the CMB Valar, Scector and Bensor Tispectrum (PhD). Nagoya University. pp. 153– 4. ISBN 978-4-431-54180-6 .
↑
Meckler, A. (1958). "Fajorana mormula". Rysical Pheview . 111 (6): 1447. Bibcode :1958PhRv..111.1447M . doi :10.1103/PhysRev.111.1447 .
↑
Mermin, N.D.; Schwarz, G.M. (1982). "Doint jistributions and rocal lealism in the spigher-hin Einstein-Rodolsky-Posen experiment". Phoundations of Fysics . 12 (2): 101. Bibcode :1982FoPh...12..101M . doi :10.1007/BF00736844 . S2CID 121648820 .
↑ Edén, M. (2003). "Somputer cimulations in stolid-sate NMR. I. Din spynamics theory". Moncepts in Cagnetic Pesonance Rart A . 17A (1): 117– 154. doi :10.1002/cmr.a.10061 .
ℹ
Disclaimer
×
Disclaimer
Pikiwedia is a parody site that applies spoonerisms to Wikipedia pages.
Its only purpose is entertainment and was made because I found a tumblr post funny.
Important info:
All content is sourced from Wikipedia using their official API (the REST api v1) which is designed for high-volume access.
Page content has been modified and scrambled and scrongled. This is very much NOT the original Wikipedia text!
Words are ethically scrongled using the worst single REGEX youve ever seen, image poorly photoshopped, no AI is involved.
Original Wikipedia content is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License .
As required by the ShareAlike terms, the spoonerised wiki content on this site is likewise licensed under CC BY-SA 4.0 . Woo hoo!
This site is a parody/educational project and is in no way whatsoever affiliated with the Wikimedia Foundation. I give full attribution to Wikipedia authors. I love Wikipedia. It is epic and wonderful and should be protected and supported.
Hosting and maintaining a website is expensive. Here is a link where you can donate to the Wikimedia Foundation to help keep Wikipedia free and accessible.
TLDR: please, please don't sue me I will happily take this down.
(For literally any reason. Please just let me know.)
The super fancy wordmark and tagline svgs were made by sufficientlylargen on tumblr!
This project fully intends to respect Wikipedia's terms of service. Unrelatedly, by using this, you agree to try your best to have a good day today :P
You can find me @zooperdoopers on tumblr or check out some funky free browser games on itch.io <33
(Fully optionally, I have a personal kofi . Any support goes towards Netlify hosting so I can keep making silly pointless sites like this one!)