La composizione di operatori momento angolare è una procedura della meccanica quantistica atta a definire la relazione tra gli autostati e gli autovalori di due o più momenti angolari, siano essi orbitali o intrinseci , e quelli della loro somma.
Si sa dalla teoria generale del momento angolare totale che, dato
J
^
{\displaystyle {\hat {\mathbf {J} }}}
momento angolare, le regole di commutazione per le sue componenti sono:
[
J
^
i
,
J
^
j
]
=
i
ℏ
ε
i
j
k
J
^
k
{\displaystyle [{\hat {J}}_{i},{\hat {J}}_{j}]=i\hbar \varepsilon _{ijk}{\hat {J}}_{k}}
dove
ε
i
j
k
{\displaystyle \varepsilon _{ijk}}
è il tensore di Levi-Civita .
Se si hanno due momenti angolari
J
^
1
,
J
^
2
{\displaystyle {\hat {\mathbf {J} }}_{1},{\hat {\mathbf {J} }}_{2}}
allora la precedente regola
di commutazione vale per ognuno di essi:
[
J
^
1
i
,
J
^
1
j
]
=
i
ℏ
ε
i
j
k
J
^
1
k
{\displaystyle [{\hat {J}}_{1i},{\hat {J}}_{1j}]=i\hbar \varepsilon _{ijk}{\hat {J}}_{1k}}
[
J
^
2
i
,
J
^
2
j
]
=
i
ℏ
ε
i
j
k
J
^
2
k
{\displaystyle [{\hat {J}}_{2i},{\hat {J}}_{2j}]=i\hbar \varepsilon _{ijk}{\hat {J}}_{2k}}
ma siccome i due momenti angolari agiscono in sottospazi diversi si ha:
[
J
^
1
i
,
J
^
2
j
]
=
0
{\displaystyle [{\hat {J}}_{1i},{\hat {J}}_{2j}]=0}
.
Formalmente si può definire il momento angolare totale come:
J
^
=
J
^
1
+
J
^
2
{\displaystyle {\hat {\mathbf {J} }}={\hat {\mathbf {J} }}_{1}+{\hat {\mathbf {J} }}_{2}}
per il quale vale la regola di commutazione (può essere dimostrato):
[
J
^
i
,
J
^
j
]
=
i
ℏ
ε
i
j
k
J
^
k
{\displaystyle [{\hat {J}}_{i},{\hat {J}}_{j}]=i\hbar \varepsilon _{ijk}{\hat {J}}_{k}}
J
^
1
2
,
J
^
2
2
,
J
^
1
z
,
J
^
2
z
{\displaystyle {\hat {\mathbf {J} }}_{1}^{2},{\hat {\mathbf {J} }}_{2}^{2},{\hat {J}}_{1z},{\hat {J}}_{2z}}
sono allora osservabili compatibili in quanto commutano, quindi possiamo diagonalizzarli nella stessa base che identifichiamo con i vettori:
|
j
1
,
j
2
,
m
1
,
m
2
⟩
{\displaystyle |j_{1},j_{2},m_{1},m_{2}\rangle }
.
Valgono le equazioni agli autovalori:
J
^
1
2
|
j
1
,
j
2
,
m
1
,
m
2
⟩
=
j
1
(
j
1
+
1
)
ℏ
2
|
j
1
,
j
2
,
m
1
,
m
2
⟩
{\displaystyle {\hat {\mathbf {J} }}_{1}^{2}|j_{1},j_{2},m_{1},m_{2}\rangle =j_{1}(j_{1}+1)\hbar ^{2}|j_{1},j_{2},m_{1},m_{2}\rangle }
J
^
1
z
|
j
1
,
j
2
,
m
1
,
m
2
⟩
=
m
1
ℏ
|
j
1
,
j
2
,
m
1
,
m
2
⟩
{\displaystyle {\hat {J}}_{1z}|j_{1},j_{2},m_{1},m_{2}\rangle =m_{1}\hbar |j_{1},j_{2},m_{1},m_{2}\rangle }
J
^
2
2
|
j
1
,
j
2
,
m
1
,
m
2
⟩
=
j
2
(
j
2
+
1
)
ℏ
2
|
j
1
,
j
2
,
m
1
,
m
2
⟩
{\displaystyle {\hat {\mathbf {J} }}_{2}^{2}|j_{1},j_{2},m_{1},m_{2}\rangle =j_{2}(j_{2}+1)\hbar ^{2}|j_{1},j_{2},m_{1},m_{2}\rangle }
J
^
2
z
|
j
1
,
j
2
,
m
1
,
m
2
⟩
=
m
2
ℏ
|
j
1
,
j
2
,
m
1
,
m
2
⟩
{\displaystyle {\hat {J}}_{2z}|j_{1},j_{2},m_{1},m_{2}\rangle =m_{2}\hbar |j_{1},j_{2},m_{1},m_{2}\rangle }
.
Possiamo in alternativa scegliere la base in cui sono diagonali
J
^
1
2
,
J
^
2
2
,
J
^
2
,
J
^
z
{\displaystyle {\hat {\mathbf {J} }}_{1}^{2},{\hat {\mathbf {J} }}_{2}^{2},{\hat {\mathbf {J} }}^{2},{\hat {J}}_{z}}
che identifichiamo con i vettori di base:
|
j
1
,
j
2
,
J
,
M
⟩
{\displaystyle |j_{1},j_{2},J,M\rangle }
,
e valgono le equazioni agli autovalori:
J
^
1
2
|
j
1
,
j
2
,
J
,
M
⟩
=
j
1
(
j
1
+
1
)
ℏ
2
|
j
1
,
j
2
,
J
,
M
⟩
{\displaystyle {\hat {\mathbf {J} }}_{1}^{2}|j_{1},j_{2},J,M\rangle =j_{1}(j_{1}+1)\hbar ^{2}|j_{1},j_{2},J,M\rangle }
J
^
2
2
|
j
1
,
j
2
,
J
,
M
⟩
=
j
2
(
j
2
+
1
)
ℏ
2
|
j
1
,
j
2
,
J
,
M
⟩
{\displaystyle {\hat {\mathbf {J} }}_{2}^{2}|j_{1},j_{2},J,M\rangle =j_{2}(j_{2}+1)\hbar ^{2}|j_{1},j_{2},J,M\rangle }
J
^
2
|
j
1
,
j
2
,
J
,
M
⟩
=
J
(
J
+
1
)
ℏ
2
|
j
1
,
j
2
,
J
,
M
⟩
{\displaystyle {\hat {\mathbf {J} }}^{2}|j_{1},j_{2},J,M\rangle =J(J+1)\hbar ^{2}|j_{1},j_{2},J,M\rangle }
J
^
z
|
j
1
,
j
2
,
J
,
M
⟩
=
M
ℏ
|
j
1
,
j
2
,
J
,
M
⟩
{\displaystyle {\hat {J}}_{z}|j_{1},j_{2},J,M\rangle =M\hbar |j_{1},j_{2},J,M\rangle }
,
dove si sono indicati con
j
1
,
j
2
{\displaystyle j_{1},j_{2}}
gli autovalori di
J
^
1
,
J
^
2
{\displaystyle {\hat {\mathbf {J} }}_{1},{\hat {\mathbf {J} }}_{2}}
e con
m
1
,
m
2
{\displaystyle m_{1},m_{2}}
gli autovalori di
J
^
1
z
,
J
^
2
z
{\displaystyle {\hat {J}}_{1z},{\hat {J}}_{2z}}
, mentre con
J
{\displaystyle J}
si è indicato l'autovalore di
J
^
2
{\displaystyle {\hat {\mathbf {J} }}^{2}}
e con
M
{\displaystyle M}
l'autovalore della sua proiezione sull'asse
z
{\displaystyle z}
:
J
^
z
{\displaystyle {\hat {J}}_{z}}
.
Entrambe sono basi complete dello spazio di Hilbert. Ovvero ogni stato può essere rappresentato sia da una combinazione lineare degli elementi della prima base che da una di quelli della seconda base.
Il passaggio da una base all'altra è determinato dai coefficienti di Clebsch-Gordan .
D'ora in poi si considerino fissati i valori
j
1
{\displaystyle j_{1}}
e
j
2
{\displaystyle j_{2}}
legati al modulo dei due momenti angolari. Saranno liberi invece i valori delle loro proiezioni sull'asse
z
{\displaystyle z}
. Le due basi, accoppiata e disaccoppiata, possono essere quindi scritte in modo più sintetico:
|
J
,
M
⟩
A
{\displaystyle |J,M\rangle _{A}}
|
m
1
,
m
2
⟩
D
{\displaystyle |m_{1},m_{2}\rangle _{D}}
.
Dalla teoria del momento angolare si sa che il numero totale degli stati (sia in una rappresentazione che nell'altra) è:
(
2
l
1
+
1
)
(
2
l
2
+
1
)
{\displaystyle (2l_{1}+1)(2l_{2}+1)}
.
Inoltre è evidente che gli stati della base disaccoppiata siano anche autostati di
J
^
z
{\displaystyle {\hat {J}}_{z}}
con autovalore:
M
=
m
1
+
m
2
{\displaystyle M=m_{1}+m_{2}}
J
^
z
|
m
1
,
m
2
⟩
D
=
(
J
^
1
z
+
J
^
2
z
)
|
m
1
,
m
2
⟩
D
=
ℏ
(
m
1
+
m
2
)
|
m
1
,
m
2
⟩
D
=
ℏ
M
|
m
1
,
m
2
⟩
D
{\displaystyle {\hat {J}}_{z}|m_{1},m_{2}\rangle _{D}=({\hat {J}}_{1z}+{\hat {J}}_{2z})|m_{1},m_{2}\rangle _{D}=\hbar (m_{1}+m_{2})|m_{1},m_{2}\rangle _{D}=\hbar M|m_{1},m_{2}\rangle _{D}}
.
Quindi anche il sottospazio in cui la terza componente vale M deve avere la stessa dimensione in entrambe le rappresentazioni.
Si procede analizzando a uno a uno gli autospazi di
J
^
z
{\displaystyle {\hat {J}}_{z}}
.
Fissati i valori dei due momenti angolari il valore massimo della terza componente deve necessariamente valere:
M
=
m
1
,
m
a
x
+
m
2
,
m
a
x
=
j
1
+
j
2
{\displaystyle M=m_{1,max}+m_{2,max}=j_{1}+j_{2}}
Resta da determinare il valore del modulo del momento totale. Questo però deve essere necessariamente uno stato di massima terza componente. Se non lo fosse infatti, tramite l'operatore di salita si potrebbe costruire uno stato con terza componente inaccettabile. Quindi:
|
j
1
,
j
2
⟩
D
=
|
j
1
+
j
2
,
j
1
+
j
2
⟩
A
{\displaystyle |j_{1},j_{2}\rangle _{D}=|j_{1}+j_{2},j_{1}+j_{2}\rangle _{A}}
Tramite l'operatore di discesa ora si può produrre uno stato con terza componente abbassata di uno.
|
j
1
+
j
2
,
j
1
+
j
2
−
1
⟩
A
{\displaystyle |j_{1}+j_{2},j_{1}+j_{2}-1\rangle _{A}}
di stati di questo tipo però nella base disaccoppiata se ne ottengono due:
|
j
1
−
1
,
j
2
⟩
D
{\displaystyle |j_{1}-1,j_{2}\rangle _{D}}
|
j
1
,
j
2
−
1
⟩
D
{\displaystyle |j_{1},j_{2}-1\rangle _{D}}
Manca quindi uno stato. Questo però deve essere uno stato di massima terza componente per non produrre una catena di salita inaccettabile
|
j
1
+
j
2
−
1
,
j
1
+
j
2
−
1
⟩
A
{\displaystyle |j_{1}+j_{2}-1,j_{1}+j_{2}-1\rangle _{A}}
.
La procedura può essere iterata, tenendo conto però che dal valore
M
=
|
j
1
−
j
2
|
{\displaystyle M=|j_{1}-j_{2}|}
la dimensione dell'autospazio cessa di crescere fino a che M non raggiunge il valore nullo.
Per valori negativi lo schema è speculare.
In definitiva, fissati
j
1
{\displaystyle j_{1}}
e
j
2
{\displaystyle j_{2}}
, tutti i valori che
J
{\displaystyle J}
può assumere sono:
J
=
|
j
1
−
j
2
|
,
|
j
1
−
j
2
|
+
1
,
.
.
.
j
1
+
j
2
{\displaystyle J=|j_{1}-j_{2}|,|j_{1}-j_{2}|+1,...j_{1}+j_{2}}
e per ciascuno di questi abbiamo tutti i possibili valori di
M
{\displaystyle M}
M
=
−
J
,
−
J
+
1
,
.
.
.
J
{\displaystyle M=-J,-J+1,...J}
Lo stesso argomento in dettaglio: Spin .
Nel caso di due momenti angolari di spin
1
/
2
{\displaystyle 1/2}
si definisce il momento di spin totale:
S
^
=
S
^
1
+
S
^
2
.
{\displaystyle {\hat {\mathbf {S} }}={\hat {\mathbf {S} }}_{1}+{\hat {\mathbf {S} }}_{2}.}
Vi sono quattro configurazioni possibili per la coppia di spin, una con
S
=
0
{\displaystyle S=0}
e
M
S
=
0
{\displaystyle M_{S}=0}
, detta singoletto , e tre con
S
=
1
{\displaystyle S=1}
e componenti lungo l'asse
z
{\displaystyle z}
rispettivamente
M
S
=
−
1
,
0
,
1
{\displaystyle M_{S}=-1,0,1}
, dette tripletto . Il singoletto è caratterizzato da una funzione d'onda antisimmetrica e corrisponde allo stato:
|
0
,
0
⟩
=
1
2
(
|
+
;
−
⟩
−
|
−
;
+
⟩
)
.
{\displaystyle \left|0,0\right\rangle ={\frac {1}{\sqrt {2}}}\left(\left|+;-\right\rangle -\left|-;+\right\rangle \right).}
Il tripletto è caratterizzato da una funzione d'onda simmetrica e corrisponde agli stati:
|
1
,
1
⟩
=
|
+
;
+
⟩
{\displaystyle \left|1,1\right\rangle =\left|+;+\right\rangle }
|
1
,
0
⟩
=
1
2
(
|
+
;
−
⟩
+
|
−
;
+
⟩
)
{\displaystyle \left|1,0\right\rangle ={\frac {1}{\sqrt {2}}}\left(\left|+;-\right\rangle +\left|-;+\right\rangle \right)}
|
1
,
−
1
⟩
=
|
−
;
−
⟩
.
{\displaystyle \left|1,-1\right\rangle =\left|-;-\right\rangle .}
Si consideri il caso
J
^
=
L
^
+
S
^
{\displaystyle {\hat {\mathbf {J} }}={\hat {\mathbf {L} }}+{\hat {\mathbf {S} }}}
e poniamoci nel caso
l
=
1
{\displaystyle l=1}
ed
s
=
1
/
2
{\displaystyle s=1/2}
.
Da quanto detto l'autovalore
J
{\displaystyle J}
può assumere solo i valori
J
=
l
±
1
/
2
{\displaystyle J=l\pm 1/2}
cioè
3
/
2
{\displaystyle 3/2}
e
1
/
2
{\displaystyle 1/2}
. I sei stati della base
{
|
l
,
s
,
l
z
,
s
z
⟩
}
{\displaystyle \{|l,s,l_{z},s_{z}\rangle \}}
si ripartiscono nella base
{
|
l
,
s
,
J
,
M
⟩
}
{\displaystyle \{|l,s,J,M\rangle \}}
in quattro stati con
J
=
3
2
→
{
|
1
,
1
2
,
3
2
,
3
2
⟩
=
|
1
,
1
2
,
1
,
1
2
⟩
|
1
,
1
2
,
3
2
,
1
2
⟩
=
2
3
|
1
,
1
2
,
0
,
1
2
⟩
+
1
3
|
1
,
1
2
,
1
,
−
1
2
⟩
|
1
,
1
2
,
3
2
,
−
1
2
⟩
=
2
3
|
1
,
1
2
,
0
,
−
1
2
⟩
+
1
3
|
1
,
1
2
,
−
1
,
1
2
⟩
|
1
,
1
2
,
3
2
,
−
3
2
⟩
=
|
1
,
1
2
,
−
1
,
−
1
2
⟩
{\displaystyle J={\frac {3}{2}}\,\,\rightarrow \,\,{\begin{cases}\left|1,{\frac {1}{2}},{\frac {3}{2}},{\frac {3}{2}}\right\rangle =\left|1,{\frac {1}{2}},1,{\frac {1}{2}}\right\rangle \\\left|1,{\frac {1}{2}},{\frac {3}{2}},{\frac {1}{2}}\right\rangle ={\sqrt {\frac {2}{3}}}\left|1,{\frac {1}{2}},0,{\frac {1}{2}}\right\rangle +{\sqrt {\frac {1}{3}}}\left|1,{\frac {1}{2}},1,-{\frac {1}{2}}\right\rangle \\\left|1,{\frac {1}{2}},{\frac {3}{2}},-{\frac {1}{2}}\right\rangle ={\sqrt {\frac {2}{3}}}\left|1,{\frac {1}{2}},0,-{\frac {1}{2}}\right\rangle +{\sqrt {\frac {1}{3}}}\left|1,{\frac {1}{2}},-1,{\frac {1}{2}}\right\rangle \\\left|1,{\frac {1}{2}},{\frac {3}{2}},-{\frac {3}{2}}\right\rangle =\left|1,{\frac {1}{2}},-1,-{\frac {1}{2}}\right\rangle \end{cases}}}
e due stati con
J
=
1
2
→
{
|
1
,
1
2
,
1
2
,
1
2
⟩
=
−
1
3
|
1
,
1
2
,
0
,
1
2
⟩
+
2
3
|
1
,
1
2
,
1
,
−
1
2
⟩
|
1
,
1
2
,
1
2
,
−
1
2
⟩
=
1
3
|
1
,
1
2
,
0
,
−
1
2
⟩
−
2
3
|
1
,
1
2
,
−
1
,
1
2
⟩
{\displaystyle J={\frac {1}{2}}\,\,\rightarrow \,\,{\begin{cases}\left|1,{\frac {1}{2}},{\frac {1}{2}},{\frac {1}{2}}\right\rangle =-{\sqrt {\frac {1}{3}}}\left|1,{\frac {1}{2}},0,{\frac {1}{2}}\right\rangle +{\sqrt {\frac {2}{3}}}\left|1,{\frac {1}{2}},1,-{\frac {1}{2}}\right\rangle \\\left|1,{\frac {1}{2}},{\frac {1}{2}},-{\frac {1}{2}}\right\rangle ={\sqrt {\frac {1}{3}}}\left|1,{\frac {1}{2}},0,-{\frac {1}{2}}\right\rangle -{\sqrt {\frac {2}{3}}}\left|1,{\frac {1}{2}},-1,{\frac {1}{2}}\right\rangle \end{cases}}}
L. D. Landau e E. M. Lifshitz , Fisica Teorica: Vol. 3 Meccanica Quantistica , Roma, Editori Riuniti , 2010, ISBN 978-88-64-73208-4 .
J.J Sakurai , Meccanica quantistica moderna , Bologna, Zanichelli , 2014, ISBN 978-88-08-26656-9 .