Il momento angolare è il momento della quantità di moto. Esso è pertanto definito come:
L
=
r
×
p
{\displaystyle \mathbf {L} =\mathbf {r} \times \mathbf {p} }
dove
×
{\displaystyle \times }
è il prodotto vettoriale . Classicamente ha componenti cartesiane :
{
L
x
=
y
p
z
−
z
p
y
L
y
=
z
p
x
−
x
p
z
L
z
=
x
p
y
−
y
p
x
{\displaystyle {\begin{cases}L_{x}=yp_{z}-zp_{y}\\L_{y}=zp_{x}-xp_{z}\\L_{z}=xp_{y}-yp_{x}\end{cases}}}
In meccanica quantistica il momento angolare è rappresentato dall'operatore dato da:
L
x
=
−
i
ℏ
(
y
∂
∂
z
−
z
∂
∂
y
)
{\displaystyle L_{x}=-i\hbar \left(y{\partial \over \partial z}-z{\partial \over \partial y}\right)}
L
y
=
−
i
ℏ
(
z
∂
∂
x
−
x
∂
∂
z
)
{\displaystyle L_{y}=-i\hbar \left(z{\partial \over \partial x}-x{\partial \over \partial z}\right)}
L
z
=
−
i
ℏ
(
x
∂
∂
y
−
y
∂
∂
x
)
{\displaystyle L_{z}=-i\hbar \left(x{\partial \over \partial y}-y{\partial \over \partial x}\right)}
ovvero la riscrittura delle componenti cartesiane classiche mediante l'operatore impulso :
p
=
−
i
ℏ
∇
{\displaystyle \mathbf {p} =-i\hbar \nabla }
scritto nella base delle coordinate.
In meccanica classica una rotazione di un angolo
α
{\displaystyle \alpha }
, intorno ad un asse (per esempio
z
{\displaystyle z}
) è descritta da una matrice ortogonale :
R
z
(
α
)
=
(
cos
α
−
sin
α
0
sin
α
cos
α
0
0
0
1
)
{\displaystyle R_{z}(\alpha )={\begin{pmatrix}\cos \alpha &-\sin \alpha &0\\\sin \alpha &\cos \alpha &0\\0&0&1\end{pmatrix}}}
analogamente per gli altri assi. In generale una rotazione nello spazio è descritta dalla composizione di tre singole rotazioni sugli assi:
R
x
y
z
(
α
,
β
,
γ
)
=
(
cos
α
cos
β
cos
γ
−
sin
α
sin
γ
sin
α
cos
β
cos
γ
+
cos
α
sin
γ
−
sin
β
cos
γ
−
cos
α
cos
β
sin
γ
−
sin
α
cos
β
sin
γ
+
cos
α
cos
γ
sin
β
sin
γ
cos
α
sin
β
sin
α
sin
β
cos
β
)
{\displaystyle R_{xyz}(\alpha ,\beta ,\gamma )={\begin{pmatrix}\cos \alpha \cos \beta \cos \gamma -\sin \alpha \sin \gamma &\sin \alpha \cos \beta \cos \gamma +\cos \alpha \sin \gamma &-\sin \beta \cos \gamma \\-\cos \alpha \cos \beta \sin \gamma &-\sin \alpha \cos \beta \sin \gamma +\cos \alpha \cos \gamma &\sin \beta \sin \gamma \\\cos \alpha \sin \beta &\sin \alpha \sin \beta &\cos \beta \end{pmatrix}}}
La matrice
R
x
y
z
(
α
,
β
,
γ
)
{\displaystyle R_{xyz}(\alpha ,\beta ,\gamma )}
è una matrice reale e ortogonale speciale, cioè
R
=
R
∗
;
R
T
=
R
−
1
;
det
R
=
1
{\displaystyle R=R^{*}\quad ;\quad R^{T}=R^{-1}\quad ;\quad \det R=1}
.Le rotazioni infinitesime Modifica
Consideriamo rotazioni infinitesime di un angolo
ε
{\displaystyle \varepsilon }
su ognuno dei tre assi:
R
z
(
ε
)
=
(
1
−
ε
2
2
−
ε
0
ε
1
−
ε
2
2
0
0
0
1
)
{\displaystyle R_{z}(\varepsilon )={\begin{pmatrix}1-{\frac {\varepsilon ^{2}}{2}}&-\varepsilon &0\\\varepsilon &1-{\frac {\varepsilon ^{2}}{2}}&0\\0&0&1\end{pmatrix}}}
R
x
(
ε
)
=
(
1
0
0
0
1
−
ε
2
2
−
ε
0
ε
1
−
ε
2
2
)
{\displaystyle R_{x}(\varepsilon )={\begin{pmatrix}1&0&0\\0&1-{\frac {\varepsilon ^{2}}{2}}&-\varepsilon \\0&\varepsilon &1-{\frac {\varepsilon ^{2}}{2}}\end{pmatrix}}}
R
y
(
ε
)
=
(
1
−
ε
2
2
0
−
ε
0
1
0
ε
0
1
−
ε
2
2
)
{\displaystyle R_{y}(\varepsilon )={\begin{pmatrix}1-{\frac {\varepsilon ^{2}}{2}}&0&-\varepsilon \\0&1&0\\\varepsilon &0&1-{\frac {\varepsilon ^{2}}{2}}\end{pmatrix}}}
per angoli infinitesimi cioè abbiamo sviluppato in serie di potenze. Ora componiamo le rotazioni
x
,
y
{\displaystyle x,\,y}
:
R
x
(
ε
)
⋅
R
y
(
ε
)
=
(
1
−
ε
2
2
0
−
ε
−
ε
2
1
−
ε
2
2
−
ε
ε
ε
1
−
ε
2
)
{\displaystyle R_{x}(\varepsilon )\cdot R_{y}(\varepsilon )={\begin{pmatrix}1-{\frac {\varepsilon ^{2}}{2}}&0&-\varepsilon \\-\varepsilon ^{2}&1-{\frac {\varepsilon ^{2}}{2}}&-\varepsilon \\\varepsilon &\varepsilon &1-\varepsilon ^{2}\end{pmatrix}}}
e
R
y
(
ε
)
⋅
R
x
(
ε
)
=
(
1
−
ε
2
2
−
ε
2
−
ε
0
1
−
ε
2
2
−
ε
ε
ε
1
−
ε
2
)
{\displaystyle R_{y}(\varepsilon )\cdot R_{x}(\varepsilon )={\begin{pmatrix}1-{\frac {\varepsilon ^{2}}{2}}&-\varepsilon ^{2}&-\varepsilon \\0&1-{\frac {\varepsilon ^{2}}{2}}&-\varepsilon \\\varepsilon &\varepsilon &1-\varepsilon ^{2}\end{pmatrix}}}
Vediamo il commutatore di queste due quantità:
R
y
(
ε
)
⋅
R
x
(
ε
)
−
R
x
(
ε
)
⋅
R
y
(
ε
)
=
(
0
−
ε
2
0
ε
2
0
0
0
0
0
)
=
R
z
(
ε
2
)
−
I
^
{\displaystyle R_{y}(\varepsilon )\cdot R_{x}(\varepsilon )-R_{x}(\varepsilon )\cdot R_{y}(\varepsilon )={\begin{pmatrix}0&-\varepsilon ^{2}&0\\\varepsilon ^{2}&0&0\\0&0&0\end{pmatrix}}=R_{z}(\varepsilon ^{2})-{\hat {I}}}
Ebbene le componenti dei momenti angolari su assi diversi non commutano.
Il momento angolare come generatore delle rotazioni nello spazio Modifica
Se
R
^
z
(
α
)
{\displaystyle {\hat {R}}_{z}(\alpha )}
è l'operatore di rotazione intorno all'asse
z
{\displaystyle z}
e lo applichiamo ad una funzione d'onda
ψ
(
x
,
y
,
z
)
{\displaystyle \psi (x,y,z)}
otteniamo:
R
^
z
(
α
)
ψ
(
x
,
y
,
z
)
=
ψ
(
x
cos
α
+
y
sin
α
,
−
x
sin
α
+
y
cos
α
,
z
)
{\displaystyle {\hat {R}}_{z}(\alpha )\psi (x,y,z)=\psi (x\cos \alpha +y\sin \alpha ,-x\sin \alpha +y\cos \alpha ,z)}
Considerando invece una rotazione infinitesima, per esempio lungo l'asse
z
{\displaystyle z}
:
R
^
z
(
ε
)
ψ
(
x
,
y
,
z
)
≃
ψ
(
x
+
ε
y
,
−
ε
x
+
y
,
z
)
≃
ψ
(
x
,
y
,
z
)
+
ε
(
y
∂
ψ
∂
x
−
x
∂
ψ
∂
y
)
{\displaystyle {\hat {R}}_{z}(\varepsilon )\psi (x,y,z)\simeq \psi (x+\varepsilon y,-\varepsilon x+y,z)\simeq \psi (x,y,z)+\varepsilon \left(y{\frac {\partial \psi }{\partial x}}-x{\frac {\partial \psi }{\partial y}}\right)}
in definitiva:
R
^
z
(
ε
)
ψ
(
x
,
y
,
z
)
≃
(
I
^
−
i
ℏ
ε
L
^
z
)
ψ
(
x
,
y
,
z
)
{\displaystyle {\hat {R}}_{z}(\varepsilon )\psi (x,y,z)\simeq \left({\hat {I}}-{\frac {i}{\hbar }}\varepsilon {\hat {L}}_{z}\right)\psi (x,y,z)}
Allora l'operatore di rotazione infinitesima è proprio il fattore tra parentesi che come si vede contiene la componente lungo l'asse
z
^
{\displaystyle {\hat {z}}}
del momento angolare, per cui l'operatore
L
^
z
{\displaystyle {\hat {L}}_{z}}
è il generatore della rotazione intorno all'asse
z
^
{\displaystyle {\hat {z}}}
. Poiché una rotazione finita può essere ottenuta come somma di
N
{\displaystyle N}
rotazioni infinitesime:
d
α
=
α
N
{\displaystyle d\alpha ={\frac {\alpha }{N}}}
, allora:
ψ
(
r
+
d
r
)
=
(
I
^
+
i
ℏ
α
N
L
^
)
N
ψ
(
r
)
{\displaystyle \psi (\mathbf {r} +d\mathbf {r} )=\left({\hat {I}}+{\frac {i}{\hbar }}{\frac {\alpha }{N}}{\hat {\mathbf {L} }}\right)^{N}\psi (\mathbf {r} )}
dove abbiamo usato la notazione tridimensionale. Facciamo il limite
N
→
∞
{\displaystyle N\to \infty }
di questa espressione:
ψ
(
r
′
)
=
exp
(
α
i
ℏ
L
^
)
ψ
(
r
)
{\displaystyle \psi (\mathbf {r} ')=\exp {\left(\alpha {\frac {i}{\hbar }}{\hat {\mathbf {L} }}\right)}\psi (\mathbf {r} )}
A conferma di ciò, il teorema di Noether per la Lagrangiana afferma che per ogni simmetria della Lagrangiana, in questo caso l'invarianza per rotazione rispetto ad un asse, per esempio l'asse
j
{\displaystyle j}
, vi è una quantità conservata pari a
Q
j
=
∂
L
∂
q
˙
i
δ
q
j
{\displaystyle Q^{j}={\frac {\partial {\mathcal {L}}}{\partial {\dot {q}}^{i}}}\delta q^{j}}
.Tale quantità conservata genera la trasformazione responsabile della simmetria. Nel caso di una rotazione, la trasformazione è
x
⟶
x
′
=
x
+
δ
x
{\displaystyle \mathbf {x} \longrightarrow \mathbf {x'} =\mathbf {x} +\delta \mathbf {x} }
e si ha che
δ
x
j
=
(
−
ε
x
k
ε
x
i
)
=
δ
q
{\displaystyle \delta \mathbf {x^{j}} ={-\varepsilon x^{k} \choose \varepsilon x^{i}}=\delta q}
perciò:
Q
j
=
∂
L
∂
x
˙
i
δ
x
j
=
∂
L
∂
x
˙
i
(
−
ε
x
k
ε
x
i
)
=
−
p
i
ε
x
k
+
p
k
ε
x
i
=
ε
(
x
i
p
k
−
x
k
p
i
)
=
ε
L
j
{\displaystyle Q^{j}={\frac {\partial {\mathcal {L}}}{\partial {\dot {x}}^{i}}}\delta x^{j}={\frac {\partial {\mathcal {L}}}{\partial {\dot {x}}^{i}}}{-\varepsilon x^{k} \choose \varepsilon x^{i}}=-p^{i}\varepsilon x^{k}+p^{k}\varepsilon x^{i}=\varepsilon (x^{i}p^{k}-x^{k}p^{i})=\varepsilon L^{j}\ }
Le proprietà del momento angolare Modifica
In base alle proprietà delle rotazioni nello spazio, l'operatore di rotazione
exp
(
α
i
ℏ
L
^
)
{\displaystyle \exp {\left(\alpha {\frac {i}{\hbar }}{\hat {\mathbf {L} }}\right)}}
deve avere la proprietà di riprodurre la stessa rotazione per rotazioni identitarie, cioè
α
→
0
{\displaystyle \alpha \to 0}
:
lim
α
→
0
exp
(
α
i
ℏ
L
^
)
=
I
^
{\displaystyle \lim _{\alpha \to 0}\exp {\left(\alpha {\frac {i}{\hbar }}{\hat {\mathbf {L} }}\right)}={\hat {I}}}
inoltre le rotazioni successive si devono poter comporre:
exp
(
α
1
i
ℏ
L
^
)
exp
(
α
2
i
ℏ
L
^
)
=
exp
[
(
α
1
+
α
2
)
i
ℏ
L
^
]
{\displaystyle \exp {\left(\alpha _{1}{\frac {i}{\hbar }}{\hat {\mathbf {L} }}\right)}\exp {\left(\alpha _{2}{\frac {i}{\hbar }}{\hat {\mathbf {L} }}\right)}=\exp {\left[(\alpha _{1}+\alpha _{2}){\frac {i}{\hbar }}{\hat {\mathbf {L} }}\right]}}
Inoltre applicando una rotazione diretta e una inversa dello stesso angolo si deve ritornare allo stato iniziale:
exp
(
α
1
i
ℏ
L
^
)
exp
(
−
α
1
i
ℏ
L
^
)
=
I
^
{\displaystyle \exp {\left(\alpha _{1}{\frac {i}{\hbar }}{\hat {\mathbf {L} }}\right)}\exp {\left(-\alpha _{1}{\frac {i}{\hbar }}{\hat {\mathbf {L} }}\right)}={\hat {I}}}
Proprietà di commutazione Modifica
Il commutatore tra due componenti del momento angolare è il seguente:
[
L
^
x
,
L
^
y
]
=
[
y
^
p
^
z
−
z
^
p
^
y
,
z
^
p
^
x
−
x
^
p
^
z
]
=
[
y
^
p
^
z
,
z
^
p
^
x
]
+
z
^
[
p
^
y
,
p
^
x
]
+
[
y
^
,
x
^
]
p
^
z
+
[
z
^
p
^
y
,
x
^
p
^
z
]
=
y
^
[
p
^
z
,
z
^
p
^
x
]
+
[
y
^
,
z
^
p
^
x
]
p
^
z
+
z
^
[
p
^
y
,
x
^
p
^
z
]
+
[
z
^
,
x
^
p
^
z
]
p
^
y
=
y
^
z
^
[
p
^
z
,
p
^
x
]
+
y
^
[
p
^
z
,
z
^
]
p
^
x
+
z
^
[
y
^
,
p
^
x
]
p
^
z
+
[
y
^
,
z
^
]
p
^
x
p
^
z
+
z
^
x
^
[
p
^
y
,
p
^
z
]
+
z
^
[
p
^
y
,
x
^
]
p
^
z
+
x
^
[
z
^
,
p
^
z
]
p
^
y
+
[
z
^
,
x
^
]
p
^
z
p
^
y
=
y
^
[
p
^
z
,
z
^
]
p
^
x
+
x
^
[
z
^
,
p
^
z
]
p
^
y
=
i
ℏ
(
x
^
p
^
y
−
y
^
p
^
x
)
=
i
ℏ
L
z
{\displaystyle {\begin{aligned}\left[{\hat {L}}_{x},{\hat {L}}_{y}\right]&=[{\hat {y}}{\hat {p}}_{z}-{\hat {z}}{\hat {p}}_{y},{\hat {z}}{\hat {p}}_{x}-{\hat {x}}{\hat {p}}_{z}]\\&=[{\hat {y}}{\hat {p}}_{z},{\hat {z}}{\hat {p}}_{x}]+{\hat {z}}[{\hat {p}}_{y},{\hat {p}}_{x}]+[{\hat {y}},{\hat {x}}]{\hat {p}}_{z}+[{\hat {z}}{\hat {p}}_{y},{\hat {x}}{\hat {p}}_{z}]\\&={\hat {y}}[{\hat {p}}_{z},{\hat {z}}{\hat {p}}_{x}]+[{\hat {y}},{\hat {z}}{\hat {p}}_{x}]{\hat {p}}_{z}+{\hat {z}}[{\hat {p}}_{y},{\hat {x}}{\hat {p}}_{z}]+[{\hat {z}},{\hat {x}}{\hat {p}}_{z}]{\hat {p}}_{y}\\&={\hat {y}}{\hat {z}}[{\hat {p}}_{z},{\hat {p}}_{x}]+{\hat {y}}[{\hat {p}}_{z},{\hat {z}}]{\hat {p}}_{x}+{\hat {z}}[{\hat {y}},{\hat {p}}_{x}]{\hat {p}}_{z}+[{\hat {y}},{\hat {z}}]{\hat {p}}_{x}{\hat {p}}_{z}+{\hat {z}}{\hat {x}}[{\hat {p}}_{y},{\hat {p}}_{z}]+{\hat {z}}[{\hat {p}}_{y},{\hat {x}}]{\hat {p}}_{z}+{\hat {x}}[{\hat {z}},{\hat {p}}_{z}]{\hat {p}}_{y}+[{\hat {z}},{\hat {x}}]{\hat {p}}_{z}{\hat {p}}_{y}\\&={\hat {y}}[{\hat {p}}_{z},{\hat {z}}]{\hat {p}}_{x}+{\hat {x}}[{\hat {z}},{\hat {p}}_{z}]{\hat {p}}_{y}\\&=i\hbar ({\hat {x}}{\hat {p}}_{y}-{\hat {y}}{\hat {p}}_{x})=i\hbar L_{z}\\\end{aligned}}}
dove i commutatori fra le componenti di
r
^
{\displaystyle {\hat {r}}}
e
p
^
{\displaystyle {\hat {p}}}
risultano tutti nulli, eccetto nel caso
[
j
^
,
p
^
j
]
=
i
ℏ
{\displaystyle [{\hat {j}},{\hat {p}}_{j}]=i\hbar }
con
j
=
x
,
y
,
z
{\displaystyle j=x,y,z}
.
Per analogia si trovano gli altri, ricapitolando:
[
L
^
x
,
L
^
y
]
=
i
ℏ
L
^
z
{\displaystyle [{\hat {L}}_{x},{\hat {L}}_{y}]=i\hbar {\hat {L}}_{z}}
[
L
^
y
,
L
^
z
]
=
i
ℏ
L
^
x
{\displaystyle [{\hat {L}}_{y},{\hat {L}}_{z}]=i\hbar {\hat {L}}_{x}}
[
L
^
z
,
L
^
x
]
=
i
ℏ
L
^
y
{\displaystyle [{\hat {L}}_{z},{\hat {L}}_{x}]=i\hbar {\hat {L}}_{y}}
Si può costruire l'operatore
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
, cioè l'operatore:
L
^
2
=
(
r
^
×
p
^
)
2
=
[
(
r
^
×
p
^
)
x
]
2
+
[
(
r
^
×
p
^
)
y
]
2
+
[
(
r
^
×
p
^
)
z
]
2
=
L
^
x
2
+
L
^
y
2
+
L
^
z
2
{\displaystyle {\begin{aligned}{\hat {\mathbf {L} }}^{2}&=({\hat {\mathbf {r} }}\times {\hat {\mathbf {p} }})^{2}=[({\hat {\mathbf {r} }}\times {\hat {\mathbf {p} }})_{x}]^{2}+[({\hat {\mathbf {r} }}\times {\hat {\mathbf {p} }})_{y}]^{2}+[({\hat {\mathbf {r} }}\times {\hat {\mathbf {p} }})_{z}]^{2}\\&={\hat {L}}_{x}^{2}+{\hat {L}}_{y}^{2}+{\hat {L}}_{z}^{2}\end{aligned}}}
Tale operatore commuta con le componenti del momento angolare, infatti:
[
L
^
z
,
L
^
2
]
=
[
L
^
z
,
L
^
x
2
+
L
^
y
2
+
L
^
z
2
]
=
[
L
^
z
,
L
^
x
2
]
+
[
L
^
z
,
L
^
y
2
]
+
[
L
^
z
,
L
^
z
2
]
=
L
^
x
[
L
^
z
,
L
^
x
]
+
[
L
^
z
,
L
^
x
]
L
^
x
+
L
^
y
[
L
^
z
,
L
^
y
]
+
[
L
^
z
,
L
^
y
]
L
^
y
=
i
ℏ
L
^
x
L
^
y
+
i
ℏ
L
^
y
L
^
x
−
i
ℏ
L
^
y
L
^
x
−
i
ℏ
L
^
x
L
^
y
=
0
{\displaystyle {\begin{aligned}\left[{\hat {L}}_{z},{\hat {\mathbf {L} }}^{2}\right]&=[{\hat {L}}_{z},{\hat {L}}_{x}^{2}+{\hat {L}}_{y}^{2}+{\hat {L}}_{z}^{2}]\\&=[{\hat {L}}_{z},{\hat {L}}_{x}^{2}]+[{\hat {L}}_{z},{\hat {L}}_{y}^{2}]+[{\hat {L}}_{z},{\hat {L}}_{z}^{2}]\\&={\hat {L}}_{x}[{\hat {L}}_{z},{\hat {L}}_{x}]+[{\hat {L}}_{z},{\hat {L}}_{x}]{\hat {L}}_{x}+{\hat {L}}_{y}[{\hat {L}}_{z},{\hat {L}}_{y}]+[{\hat {L}}_{z},{\hat {L}}_{y}]{\hat {L}}_{y}\\&=i\hbar {\hat {L}}_{x}{\hat {L}}_{y}+i\hbar {\hat {L}}_{y}{\hat {L}}_{x}-i\hbar {\hat {L}}_{y}{\hat {L}}_{x}-i\hbar {\hat {L}}_{x}{\hat {L}}_{y}\\&=0\end{aligned}}}
e analogamente:
[
L
^
x
,
L
^
2
]
=
0
{\displaystyle [{\hat {L}}_{x},{\hat {\mathbf {L} }}^{2}]=0}
[
L
^
y
,
L
^
2
]
=
0
{\displaystyle [{\hat {L}}_{y},{\hat {\mathbf {L} }}^{2}]=0}
cioè le componenti del momento angolare commutano con l'operatore
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
.
Vediamo come si comportano i momenti angolari con gli operatori di posizione e impulso .
[
L
^
x
,
x
^
]
=
[
y
^
p
^
z
−
z
^
p
^
y
,
x
^
]
=
[
y
^
p
^
z
,
x
^
]
−
[
z
^
p
^
y
,
x
^
]
=
y
^
[
p
^
z
,
x
^
]
−
[
z
^
,
x
^
]
p
^
y
−
z
^
[
p
^
y
,
x
^
]
+
[
z
^
,
x
^
]
p
^
y
=
0
{\displaystyle [{\hat {L}}_{x},{\hat {x}}]=[{\hat {y}}{\hat {p}}_{z}-{\hat {z}}{\hat {p}}_{y},{\hat {x}}]=[{\hat {y}}{\hat {p}}_{z},{\hat {x}}]-[{\hat {z}}{\hat {p}}_{y},{\hat {x}}]={\hat {y}}[{\hat {p}}_{z},{\hat {x}}]-[{\hat {z}},{\hat {x}}]{\hat {p}}_{y}-{\hat {z}}[{\hat {p}}_{y},{\hat {x}}]+[{\hat {z}},{\hat {x}}]{\hat {p}}_{y}=0}
[
L
^
x
,
y
^
]
=
[
y
^
p
^
z
−
z
^
p
^
y
,
y
^
]
=
[
y
^
p
^
z
,
y
^
]
−
[
z
^
p
^
y
,
y
^
]
=
y
^
[
p
^
z
,
y
^
]
−
[
z
^
,
y
^
]
p
^
y
−
z
^
[
p
^
y
,
y
^
]
+
[
z
^
,
y
^
]
p
^
y
=
−
z
^
[
p
^
y
,
y
^
]
=
i
ℏ
z
^
{\displaystyle [{\hat {L}}_{x},{\hat {y}}]=[{\hat {y}}{\hat {p}}_{z}-{\hat {z}}{\hat {p}}_{y},{\hat {y}}]=[{\hat {y}}{\hat {p}}_{z},{\hat {y}}]-[{\hat {z}}{\hat {p}}_{y},{\hat {y}}]={\hat {y}}[{\hat {p}}_{z},{\hat {y}}]-[{\hat {z}},{\hat {y}}]{\hat {p}}_{y}-{\hat {z}}[{\hat {p}}_{y},{\hat {y}}]+[{\hat {z}},{\hat {y}}]{\hat {p}}_{y}=-{\hat {z}}[{\hat {p}}_{y},{\hat {y}}]=i\hbar {\hat {z}}}
[
L
^
x
,
z
^
]
=
[
y
^
p
^
z
−
z
^
p
^
y
,
z
^
]
=
[
y
^
p
^
z
,
z
^
]
−
[
z
^
p
^
y
,
z
^
]
=
y
^
[
p
^
z
,
z
^
]
−
[
z
^
,
z
^
]
p
^
y
−
z
^
[
p
^
y
,
z
^
]
+
[
z
^
,
z
^
]
p
^
y
=
y
^
[
p
^
z
,
z
^
]
=
−
i
ℏ
y
^
{\displaystyle [{\hat {L}}_{x},{\hat {z}}]=[{\hat {y}}{\hat {p}}_{z}-{\hat {z}}{\hat {p}}_{y},{\hat {z}}]=[{\hat {y}}{\hat {p}}_{z},{\hat {z}}]-[{\hat {z}}{\hat {p}}_{y},{\hat {z}}]={\hat {y}}[{\hat {p}}_{z},{\hat {z}}]-[{\hat {z}},{\hat {z}}]{\hat {p}}_{y}-{\hat {z}}[{\hat {p}}_{y},{\hat {z}}]+[{\hat {z}},{\hat {z}}]{\hat {p}}_{y}={\hat {y}}[{\hat {p}}_{z},{\hat {z}}]=-i\hbar {\hat {y}}}
Allo stesso modo
L
^
y
{\displaystyle {\hat {L}}_{y}}
e
L
^
z
{\displaystyle {\hat {L}}_{z}}
, in generale si ha che la componente del momento angolare su un asse commuta soltanto con la coordinata di quell'asse, in forma compatta:
[
L
^
i
,
x
^
j
]
=
i
ℏ
ε
i
j
k
x
^
k
{\displaystyle [{\hat {L}}_{i},{\hat {x}}_{j}]=i\hbar \varepsilon _{ijk}{\hat {x}}_{k}}
dove
x
^
j
=
(
x
^
,
y
^
,
z
^
)
{\displaystyle {\hat {x}}_{j}=({\hat {x}},{\hat {y}},{\hat {z}})}
e
ε
i
j
k
{\displaystyle \varepsilon _{ijk}}
è il simbolo di Levi-Civita , che è uguale a
+
1
{\displaystyle +1}
per permutazioni pari degli indici,
−
1
{\displaystyle -1}
per permutazioni dispari e
0
{\displaystyle 0}
se due indici sono uguali.
Per quanto riguarda le commutazioni con i momenti vale esattamente la stessa cosa:
[
L
^
i
,
p
^
j
]
=
i
ℏ
ε
i
j
k
p
^
k
{\displaystyle [{\hat {L}}_{i},{\hat {p}}_{j}]=i\hbar \varepsilon _{ijk}{\hat {p}}_{k}}
Spettro del momento angolare Modifica
Le componenti del momento angolare non commutano tra loro, ma tutti singolarmente commutano con l'operatore momento angolare al quadrato. Possiamo scegliere una sola componente, per semplicità
L
^
z
{\displaystyle {\hat {L}}_{z}}
. Le equazioni agli autovalori sono:
L
^
2
|
l
⟩
=
a
|
l
⟩
{\displaystyle {\hat {\mathbf {L} }}^{2}|l\rangle =a|l\rangle }
L
^
z
|
m
⟩
=
b
|
m
⟩
{\displaystyle {\hat {L}}_{z}|m\rangle =b|m\rangle }
dal momento che
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
commuta con
L
^
z
{\displaystyle {\hat {L}}_{z}}
, essi hanno una base comune di autostati, e pertanto gli autostati
|
l
⟩
{\displaystyle |l\rangle }
e
|
m
⟩
{\displaystyle |m\rangle }
coincidono, e vengono indicati con
|
l
,
m
⟩
{\displaystyle |l,m\rangle }
.
Bisogna trovare quali sono gli autovalori
l
{\displaystyle l}
,
m
{\displaystyle m}
, a volte indicati con
l
{\displaystyle l}
,
l
z
{\displaystyle l_{z}}
, oppure con ) simultanei di questi operatori:
{
L
^
2
|
l
,
m
⟩
=
a
|
l
,
m
⟩
L
^
z
|
l
,
m
⟩
=
b
|
l
,
m
⟩
{\displaystyle \left\{{\begin{matrix}{\hat {\mathbf {L} }}^{2}|l,m\rangle =a|l,m\rangle \\{\hat {L}}_{z}|l,m\rangle =b|l,m\rangle \end{matrix}}\right.}
Per fare questo vanno introdotti due operatori, detti operatori di scala o operatori scaletta :
L
^
±
=
L
^
x
±
i
L
^
y
{\displaystyle {\hat {L}}_{\pm }={\hat {L}}_{x}\pm i{\hat {L}}_{y}}
che sono uno il complesso coniugato dell'altro e non sono hermitiani . Questi operatori hanno le proprietà:
[
L
^
+
,
L
^
−
]
=
2
ℏ
L
^
z
{\displaystyle [{\hat {L}}_{+},{\hat {L}}_{-}]=2\hbar {\hat {L}}_{z}}
[
L
^
z
,
L
^
±
]
=
±
ℏ
L
^
±
{\displaystyle [{\hat {L}}_{z},{\hat {L}}_{\pm }]=\pm \hbar {\hat {L}}_{\pm }}
[
L
^
2
,
L
^
±
]
=
0
{\displaystyle [{\hat {\mathbf {L} }}^{2},{\hat {L}}_{\pm }]=0}
L'operatore
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
può essere espresso in termini di
L
^
z
{\displaystyle {\hat {L}}_{z}}
e operatori di scala:
L
^
2
=
L
^
+
L
^
−
+
L
^
z
2
−
ℏ
L
^
z
=
L
^
−
L
^
+
+
L
^
z
2
+
ℏ
L
^
z
{\displaystyle {\hat {\mathbf {L} }}^{2}={\hat {L}}_{+}{\hat {L}}_{-}+{\hat {L}}_{z}^{2}-\hbar {\hat {L}}_{z}={\hat {L}}_{-}{\hat {L}}_{+}+{\hat {L}}_{z}^{2}+\hbar {\hat {L}}_{z}}
Per vedere quale sia il significato di
L
^
±
{\displaystyle {\hat {L}}_{\pm }}
, vediamo come
L
^
z
{\displaystyle {\hat {L}}_{z}}
agisce sullo stato
L
^
±
|
l
,
l
z
⟩
{\displaystyle {\hat {L}}_{\pm }|l,l_{z}\rangle }
:
L
^
z
(
L
^
±
|
l
,
m
⟩
)
=
(
[
L
^
z
,
L
^
±
]
+
L
^
±
L
^
z
)
|
l
,
m
⟩
=
(
b
±
ℏ
)
(
L
^
±
|
l
,
m
⟩
)
{\displaystyle {\hat {L}}_{z}\left({\hat {L}}_{\pm }|l,m\rangle \right)=\left([{\hat {L}}_{z},{\hat {L}}_{\pm }]+{\hat {L}}_{\pm }{\hat {L}}_{z}\right)|l,m\rangle =(b\pm \hbar )\left({\hat {L}}_{\pm }|l,m\rangle \right)}
cioè applicando
L
^
+
{\displaystyle {\hat {L}}_{+}}
, l'autovalore di
L
^
z
{\displaystyle {\hat {L}}_{z}}
aumenta di
ℏ
{\displaystyle \hbar }
, viceversa applicando
L
^
−
{\displaystyle {\hat {L}}_{-}}
, l'autovalore di
L
^
z
{\displaystyle {\hat {L}}_{z}}
viene diminuito di
ℏ
{\displaystyle \hbar }
, da cui il nome di operatori di scala. Invece:
L
^
2
(
L
^
±
|
l
,
m
⟩
)
=
L
^
±
L
^
2
|
l
,
m
⟩
=
a
L
^
±
|
l
,
m
⟩
{\displaystyle {\hat {\mathbf {L} }}^{2}\left({\hat {L}}_{\pm }|l,m\rangle \right)={\hat {L}}_{\pm }{\hat {\mathbf {L} }}^{2}|l,m\rangle =a{\hat {L}}_{\pm }|l,m\rangle }
cioè l'applicazione degli operatori
L
^
±
{\displaystyle {\hat {L}}_{\pm }}
cambiano gli autovalori di
L
^
z
{\displaystyle {\hat {L}}_{z}}
, ma non di
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
.
Per ovvi motivi di proiezione, la relazione che lega
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
ed
L
^
z
{\displaystyle {\hat {L}}_{z}}
è:
⟨
l
,
m
|
(
L
^
2
−
L
^
z
2
)
|
l
,
m
⟩
=
⟨
L
^
2
−
L
^
z
2
⟩
≥
0
{\displaystyle \langle l,m|({\hat {\mathbf {L} }}^{2}-{\hat {L}}_{z}^{2})|l,m\rangle =\langle {\hat {\mathbf {L} }}^{2}-{\hat {L}}_{z}^{2}\rangle \geq 0}
ciò implica che gli autovalori di questi operatori devono soddisfare:
−
a
≤
b
≤
a
{\displaystyle -a\leq b\leq a}
cioè gli autovalori della proiezione del momento angolare non possono superare quelli di
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
: fisicamente ciò significa che
b
{\displaystyle b}
assume il suo valore massimo quando
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
coincide con la direzione dell'asse
z
{\displaystyle z}
, così la sua proiezione
L
^
z
{\displaystyle {\hat {L}}_{z}}
coincide con
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
, in tal caso
a
=
b
{\displaystyle a=b}
. Quindi l'autovalore di
L
^
z
{\displaystyle {\hat {L}}_{z}}
è limitato inferiormente e superiormente dai valori che può prendere
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
.
Siano
b
m
i
n
{\displaystyle b_{min}}
il valore minimo e
b
m
a
x
{\displaystyle b_{max}}
il valore massimo che può assumere
L
^
z
{\displaystyle {\hat {L}}_{z}}
. Applicando successivamente gli operatori di scala
L
^
+
,
L
^
−
{\displaystyle {\hat {L}}_{+},{\hat {L}}_{-}}
, si capisce che deve essere:
L
^
+
|
a
,
b
m
a
x
⟩
=
0
{\displaystyle {\hat {L}}_{+}|a,b_{max}\rangle =0}
L
^
−
|
a
,
b
m
i
n
⟩
=
0
{\displaystyle {\hat {L}}_{-}|a,b_{min}\rangle =0}
Ora applichiamo
L
^
2
|
a
,
b
m
a
x
⟩
=
(
L
^
−
L
^
+
+
L
^
z
2
+
ℏ
L
^
z
)
|
a
,
b
m
a
x
⟩
=
(
b
m
a
x
2
ℏ
2
+
b
m
a
x
ℏ
2
)
|
a
,
b
m
a
x
⟩
{\displaystyle {\hat {\mathbf {L} }}^{2}|a,b_{max}\rangle =({\hat {L}}_{-}{\hat {L}}_{+}+{\hat {L}}_{z}^{2}+\hbar {\hat {L}}_{z})|a,b_{max}\rangle =(b_{max}^{2}\hbar ^{2}+b_{max}\hbar ^{2})|a,b_{max}\rangle }
cioè:
a
=
(
b
m
a
x
2
+
b
m
a
x
)
ℏ
2
=
ℏ
2
b
m
a
x
(
b
m
a
x
+
1
)
{\displaystyle a=(b_{max}^{2}+b_{max})\hbar ^{2}=\hbar ^{2}b_{max}(b_{max}+1)}
Quindi l'autovalore di
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
è
ℏ
2
a
(
a
+
1
)
{\displaystyle \hbar ^{2}a(a+1)}
, dove a deve essere intero o semintero. Ora per quanto detto:
−
a
≤
b
≤
a
{\displaystyle -a\leq b\leq a}
e anche qui
b
{\displaystyle b}
deve essere intero o semintero, perché tutti i valori di
b
{\displaystyle b}
sono distanti
ℏ
{\displaystyle \hbar }
uno dall'altro (ricordiamo che le grandezze quantistiche si misurano in unità di
ℏ
{\displaystyle \hbar }
), dove se
k
{\displaystyle k}
è un intero, fissato
a
{\displaystyle a}
, vi sono
(
2
k
+
1
)
{\displaystyle (2k+1)}
valori di
b
{\displaystyle b}
, cioè
b
=
{
−
a
,
−
a
+
1
,
…
,
a
}
{\displaystyle b=\{-a,-a+1,\dots ,a\}}
per cui se
a
{\displaystyle a}
è intero lo è anche
b
{\displaystyle b}
e se
a
{\displaystyle a}
è semintero, lo è anche
b
{\displaystyle b}
. Si può dimostrare che gli autovalori
a
{\displaystyle a}
sono interi e quindi anche
b
{\displaystyle b}
sono interi: con questa scelta otteniamo infine le equazioni agli autovalori di
L
^
2
{\displaystyle {\hat {\mathbf {L} }}^{2}}
e
L
^
z
{\displaystyle {\hat {L}}_{z}}
:
L
^
2
|
l
,
m
⟩
=
ℏ
2
l
(
l
+
1
)
|
l
,
m
⟩
{\displaystyle {\hat {\mathbf {L} }}^{2}|l,m\rangle =\hbar ^{2}l(l+1)|l,m\rangle }
L
^
z
|
l
,
m
⟩
=
m
ℏ
|
l
,
m
⟩
{\displaystyle {\hat {L}}_{z}|l,m\rangle =m\hbar |l,m\rangle }
dove
l
=
0
,
1
,
…
{\displaystyle l=0,1,\dots }
è il numero quantico orbitale ed
m
=
{
−
l
,
−
l
+
1
,
…
,
l
}
{\displaystyle m=\{-l,-l+1,\dots ,l\}}
è il numero quantico magnetico.
Autofunzioni del momento angolare Modifica
Il momento angolare si introduce quando si affrontano problemi a simmetria sferica mediante l'uso delle coordinate sferiche . Non potendo diagonalizzare le tre componenti, si diagonalizzano simultaneamente (dato che commutano) il suo modulo quadro e la sua componente lungo
z
{\displaystyle z}
. La sua rappresentazione spaziale è:
L
2
=
−
ℏ
2
sin
θ
∂
∂
θ
(
sin
θ
∂
∂
θ
)
−
ℏ
2
sin
2
θ
∂
2
∂
ϕ
2
{\displaystyle L^{2}=-{\frac {\hbar ^{2}}{\sin \theta }}{\frac {\partial }{\partial \theta }}\left(\sin \theta {\frac {\partial }{\partial \theta }}\right)-{\frac {\hbar ^{2}}{\sin ^{2}\theta }}{\frac {\partial ^{2}}{\partial \phi ^{2}}}}
Mentre quella lungo
z
{\displaystyle z}
è:
L
z
=
ℏ
i
∂
∂
ϕ
{\displaystyle L_{z}={\frac {\hbar }{i}}{\frac {\partial }{\partial \phi }}}
Le autofunzioni simultanee degli operatori momento angolare totale
L
2
{\displaystyle L^{2}}
e della sua componente lungo
z
{\displaystyle z}
sono dette armoniche sferiche, le cui equazioni agli autovalori sono:
L
2
|
l
,
m
⟩
=
ℏ
2
l
(
l
+
1
)
|
l
,
m
⟩
{\displaystyle L^{2}|l,m\rangle ={\hbar }^{2}l(l+1)|l,m\rangle }
L
z
|
l
,
m
⟩
=
ℏ
m
|
l
,
m
⟩
{\displaystyle L_{z}|l,m\rangle =\hbar m|l,m\rangle }
le armoniche sferiche sono pertanto
⟨
θ
,
ϕ
|
l
,
m
⟩
=
Y
l
,
m
(
θ
,
ϕ
)
{\displaystyle \langle \theta ,\phi |l,m\rangle =Y_{l,m}(\theta ,\phi )}
Jun John Sakurai , Meccanica quantistica moderna , Bologna , Zanichelli , 1996, ISBN 88-08-12706-0 .
Lev Landau e Evgenij Lifšic , Meccanica quantistica, teoria non relativistica , Roma , Editori Riuniti , 2004, ISBN 88-359-5606-4 .