Operatore momento angolare

L'operatore momento angolare (detto anche momento angolare orbitale) è l'analogo quantistico del momento angolare della meccanica classica, ovvero il momento della quantità di moto. Esso è il generatore delle rotazioni nello spazio.

Definizione

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.

Le rotazioni

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

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

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

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

Lo stesso argomento in dettaglio: Commutatore (matematica).

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

Lo stesso argomento in dettaglio: Spettro (matematica).

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

Lo stesso argomento in dettaglio: Autofunzioni del momento angolare e Armoniche sferiche.

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 )}

Bibliografia

Voci correlate

  Portale Fisica: accedi alle voci di Wikipedia che trattano di fisica