9j-Symbole nach Eugene Wigner dienen dazu vier Drehimpulse in der Quantenmechanik zu koppeln.
Entsprechend ist das 9j-Symbol folgendermaßen über den Umkopplungskoeffizienten definiert:
(
2
j
3
+
1
)
(
2
j
6
+
1
)
(
2
j
7
+
1
)
(
2
j
8
+
1
)
{
j
1
j
2
j
3
j
4
j
5
j
6
j
7
j
8
j
9
}
=
⟨
(
(
j
1
j
2
)
j
3
,
(
j
4
j
5
)
j
6
)
j
9
|
(
(
j
1
j
4
)
j
7
,
(
j
2
j
5
)
j
8
)
j
9
⟩
.
{\displaystyle {\sqrt {(2j_{3}+1)(2j_{6}+1)(2j_{7}+1)(2j_{8}+1)}}{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\\j_{7}&j_{8}&j_{9}\end{Bmatrix}}=\langle ((j_{1}j_{2})j_{3},(j_{4}j_{5})j_{6})j_{9}|((j_{1}j_{4})j_{7},(j_{2}j_{5})j_{8})j_{9}\rangle .}
Der Umkopplungskoeffizient auf der rechten Seite transformiert zwischen zwei Basensätze: im Einen wird
j
1
{\displaystyle j_{1}}
mit
j
2
{\displaystyle j_{2}}
zu
j
3
{\displaystyle j_{3}}
gekoppelt und
j
4
{\displaystyle j_{4}}
mit
j
5
{\displaystyle j_{5}}
zu
j
6
{\displaystyle j_{6}}
und danach
j
3
{\displaystyle j_{3}}
und
j
6
{\displaystyle j_{6}}
zu
j
9
{\displaystyle j_{9}}
. Im Anderen wird
j
1
{\displaystyle j_{1}}
mit
j
4
{\displaystyle j_{4}}
zu
j
7
{\displaystyle j_{7}}
gekoppelt und
j
2
{\displaystyle j_{2}}
mit
j
5
{\displaystyle j_{5}}
zu
j
8
{\displaystyle j_{8}}
und danach
j
7
{\displaystyle j_{7}}
und
j
8
{\displaystyle j_{8}}
zu
j
9
{\displaystyle j_{9}}
.
|
(
(
j
1
j
4
)
j
7
,
(
j
2
j
5
)
j
8
)
j
9
⟩
=
∑
j
3
∑
j
6
⟨
(
(
j
1
j
2
)
j
3
,
(
j
4
j
5
)
j
6
)
j
9
|
(
(
j
1
j
4
)
j
7
,
(
j
2
j
5
)
j
8
)
j
9
⟩
|
(
(
j
1
j
2
)
j
3
,
(
j
4
j
5
)
j
6
)
j
9
⟩
{\displaystyle |((j_{1}j_{4})j_{7},(j_{2}j_{5})j_{8})j_{9}\rangle =\sum _{j_{3}}\sum _{j_{6}}\langle ((j_{1}j_{2})j_{3},(j_{4}j_{5})j_{6})j_{9}|((j_{1}j_{4})j_{7},(j_{2}j_{5})j_{8})j_{9}\rangle \,|((j_{1}j_{2})j_{3},(j_{4}j_{5})j_{6})j_{9}\rangle }
=
(
2
j
7
+
1
)
(
2
j
8
+
1
)
∑
j
3
∑
j
6
(
2
j
3
+
1
)
(
2
j
6
+
1
)
{
j
1
j
2
j
3
j
4
j
5
j
6
j
7
j
8
j
9
}
|
(
(
j
1
j
2
)
j
3
,
(
j
4
j
5
)
j
6
)
j
9
⟩
{\displaystyle ={\sqrt {(2j_{7}+1)(2j_{8}+1)}}\,\sum _{j_{3}}\sum _{j_{6}}\,{\sqrt {(2j_{3}+1)(2j_{6}+1)}}{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\\j_{7}&j_{8}&j_{9}\end{Bmatrix}}|((j_{1}j_{2})j_{3},(j_{4}j_{5})j_{6})j_{9}\rangle }
Die 9j-Symbole lassen sich als Summen über Produkte von drei 6j-Symbolen ausdrücken:
{
j
1
j
2
j
3
j
4
j
5
j
6
j
7
j
8
j
9
}
=
∑
x
(
−
1
)
2
x
(
2
x
+
1
)
{
j
1
j
4
j
7
j
8
j
9
x
}
{
j
2
j
5
j
8
j
4
x
j
6
}
{
j
3
j
6
j
9
x
j
1
j
2
}
{\displaystyle {\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\\j_{7}&j_{8}&j_{9}\end{Bmatrix}}=\sum _{x}(-1)^{2x}(2x+1){\begin{Bmatrix}j_{1}&j_{4}&j_{7}\\j_{8}&j_{9}&x\end{Bmatrix}}{\begin{Bmatrix}j_{2}&j_{5}&j_{8}\\j_{4}&x&j_{6}\end{Bmatrix}}{\begin{Bmatrix}j_{3}&j_{6}&j_{9}\\x&j_{1}&j_{2}\end{Bmatrix}}}
.
Dabei wird über alle
x
{\displaystyle x}
summiert, bei denen für die Faktoren die Dreiecksbedingung erfüllt ist (siehe 3j-Symbol oder 6j-Symbol ).
Ein Spezialfall ist, falls das 9j-Symbol proportional einem 6j-Symbol ist:
{
j
1
j
2
j
3
j
4
j
5
j
6
j
7
j
8
0
}
=
δ
j
3
,
j
6
δ
j
7
,
j
8
(
2
j
3
+
1
)
(
2
j
7
+
1
)
(
−
1
)
j
2
+
j
3
+
j
4
+
j
7
{
j
1
j
2
j
3
j
5
j
4
j
7
}
.
{\displaystyle {\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\\j_{7}&j_{8}&0\end{Bmatrix}}={\frac {\delta _{j_{3},j_{6}}\delta _{j_{7},j_{8}}}{\sqrt {(2j_{3}+1)(2j_{7}+1)}}}(-1)^{j_{2}+j_{3}+j_{4}+j_{7}}{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{5}&j_{4}&j_{7}\end{Bmatrix}}.}
Die 9j-Symbole erfüllen die Orthogonalitätsrelation:
∑
j
7
j
8
(
2
j
7
+
1
)
(
2
j
8
+
1
)
{
j
1
j
2
j
3
j
4
j
5
j
6
j
7
j
8
j
9
}
{
j
1
j
2
j
3
′
j
4
j
5
j
6
′
j
7
j
8
j
9
}
=
δ
j
3
j
3
′
δ
j
6
j
6
′
{
j
1
j
2
j
3
}
{
j
4
j
5
j
6
}
{
j
3
j
6
j
9
}
(
2
j
3
+
1
)
(
2
j
6
+
1
)
.
{\displaystyle \sum _{j_{7}j_{8}}(2j_{7}+1)(2j_{8}+1){\begin{Bmatrix}j_{1}&j_{2}&j_{3}\\j_{4}&j_{5}&j_{6}\\j_{7}&j_{8}&j_{9}\end{Bmatrix}}{\begin{Bmatrix}j_{1}&j_{2}&j_{3}'\\j_{4}&j_{5}&j_{6}'\\j_{7}&j_{8}&j_{9}\end{Bmatrix}}={\frac {\delta _{j_{3}j_{3}'}\delta _{j_{6}j_{6}'}{\begin{Bmatrix}j_{1}&j_{2}&j_{3}\end{Bmatrix}}{\begin{Bmatrix}j_{4}&j_{5}&j_{6}\end{Bmatrix}}{\begin{Bmatrix}j_{3}&j_{6}&j_{9}\end{Bmatrix}}}{(2j_{3}+1)(2j_{6}+1)}}.}
Das trianguläre Delta
{
j
1
j
2
j
3
}
{\displaystyle {\begin{Bmatrix}j_{1}&j_{2}&j_{3}\end{Bmatrix}}}
ist wie bei 3j-Symbol definiert und drückt die Einhaltung der Dreiecksbedingung aus.
Alan Robert Edmonds : Drehimpulse in der Quantenmechanik, BI Hochschultaschenbücher 1964 (englisches Original Princeton UP 1957)
A. Messiah : Quantenmechanik , Band 2, De Gruyter 1985, Anhang C