Sia ora:

l'operatore vettoriale che caratterizza il momento angolare di un sistema, somma di due momenti angolari. Si assuma che i due momenti angolari del sistema

e

siano compatibili, ovvero che una misura dell'uno non influenzi il valore dell'altro. Formalmente, qussto significa che i due operatori commutano fra loro.
Le varie componenti del momento angolare sono additive, per cui risulta:

Naturalmente, il modulo quadro non e' additivo:

Si vuole studiare lo spettro risultante del momento angolare totale, ovvero degli operatori
e
.
E' bene notare che si tratta comunque di momenti angolari, quindi esiste una base di autovettori comuni
a
e
e per gli autovalori simultanei valgono le stesse regole esposte fin qui. In particolare,
nell'autospazio in comune
gli autovalori
di
e
di
soddisfano la stessa regola
. Questo autospazio prende il nome di "multipletto".
Risulta importante stabilire le relazioni che sussistono fra gli autovalori e le autofunzioni del momento angolare
totale e degli addendi.
Si considerino due momenti angolari addendi e il momento angolare che risulta dalla loro somma. Si denotino gli
operatori e i numeri quantici relativi ai moduli quadri e alle componenti
con la notazione usata fin qui.
Fissati i due numeri quantici relativi ai moduli quadri dei momenti addendi,
e
, il numero quantico relativo
al modulo quadro del momento risultante deve appartenere all'intervallo
.
Fissato il numero quantico relativo al modulo quadro del momento angolare totale, il numero quantico relativo alla
componente
del momento angolare totale puo' assumere i valori appartenenti all'intervallo
.
Questo teorema esprime semplicemente la proprieta' triangolare, secondo la quale la lunghezza del lato di un
triangolo e' sempre compreso tra la somma degli altri due e la loro differenza. Questo vale evidentemente anche per
i moduli dei due vettori addendi e della loro somma, in quanto i vettori formano un triangolo. Questa e' pero'
una dimostrazione intuitiva, in quanto
e' il numero quantico associato al modulo quadro del momento angolare
risultante e non al suo modulo. La dimostrazione rigorosa e' piu' complessa e viene riportata qui di seguito.
"'DIMOSTRAZIONE RIGOROSA DELLA REGOLA DI SOMMA DEI MOMENTI ANGOLARI"'
Si noti innanzitutto che l'autospazio risultante della somma dei momenti angolari e' la somma direttadegli autospazi dei momenti angolari addendi. Quindi, se le autofunzioni che formano una base comune di
e
appartengono ad uno spazio di Hilbert
e le autofunzioni che formano una base comune di
e
appartengono ad un'altro spazio di Hilbert
, allora le autofunzioni che
formano una base comune di
e
appartengono allo spazio di Hilbert
prodotto tensoriale dei due.[1]
Inoltre, se si considera che il momento angolare e' il generatore infinitesimo delle rotazioni, allora la somma di
due momenti angolari puo' essere vista come l'applicazione di due distinte rotazioni al sistema. Passando da queste
rotazioni all'operatore unitario che le rappresenta, si vede che questo corrisponde alla somma dei due addendi.
Formalmente, questo si puo' indicare nel modo seguente:

Naturalmente, per il momento angolare addendo
, una volta fissato il numero quantico
il numero
quantico azimutale
puo' assumere i
valori
. Ne consegue che i corrispondenti
autovettori sono
degeneri rispetto all'autovalore
di
, ma distinti rispetto all'autovalore
di
, con
.
Lo stesso discorso puo' essere fatto per
.
Si consideri ora la base determinata da
e
. Siccome la componente
del momento angolare e'
additiva, gli autovettori di
sono espressi dai prodotti tensoriali
degli autovettori delle singole componenti.[2] Gli autovalori saranno quindi dati di conseguenza dalla somma
.
Questo discorso non puo' essere esteso al momento angolare totale
, perche' l'autostato relativo non risulta
additivo:
. Rimane comunque il fatto che l'autospazio del momento risultante e' la somma diretta dei due autospazi dei momenti addendi e questo implica che ogni autostato comune di
e
si possa scrivere come prodotto tensoriale
dei due autostati di
e
e di
e
.
Si consideri ora il caso di
e
fissati. Ci si vuole limitare a studiare l'autospazio generato dagli autovettori
che abbiano tutti i valori possibili di
e
. Formalmente, questo autospazio e' indicato con:

che, siccome i valori di

sono fissati, puo' essere indicata sinteticamente con

. Si tratta di un insieme di autovettori comuni di

e

e siccome

e

la dimensione di questo autospazio e'

. Si consideri ora un determinato autovalore

di

. Poiche' vale l'additivita' e risulta

, ne consegue che l'operatore

e' degenere in quanto diverse coppie di

,

(ovvero

e

) danno origine allo stesso autovalore

.
Si chiami questo autospazio degenere
.
Evidentemente, quando entrambi
e
assumono il massimo valore non c'e' degenerazione, perche' esiste una sola scelta possibile e quindi
. L'autovettore di
relativo all'autovalore massimo e' quindi unico.
L'autospazio
relativo all'autovalore
ha evidentemente dimensione 2 perche'e' generato da due autovettori ortogonali:
e
.
Per proseguire nello studio della dimensione del sottospazio
e' meglio a questo punto seguire un approccio grafico. Si mettano in un piano cartesiano i valori di
sulle ascisse e i valori di
sulle ordinate. In questo modo si viene a costituire un reticolo finito di passo unitario costituito da un rettangolo di dimensioni
. Si considerino ad esempio i due momenti angolari
e
:
Si noti che siccoma
e' semidispari il valore
non e' permesso, valore che invece e' possibile per
intero.
Il problema della degenerazione in questo modo puo' essere risolto abbastanza facilmente. L'equazione
puo' infatti essere riscritta come:

che rappresenta una retta di pendenza

(
[3]) che interseca l'asse delle ordinate in

:
Si vede quindi chiaramente che quando
ha il valore massimo (
) non esiste degenerazione. Man mano che
decresce di una unita', la degenerazione aumenta a sua volta di una unita' fino a diventare massima quando
. Il valore della degenerazione vale qui
.
Da questo punto in poi, diminuendo ancora di una unita' il valore di
la degenerazione diminuisce di una unita' alla volta fino a quando
raggiunge il minimo valore possibile (
), dove la degenerazione si annulla in quanto esiste una sola coppia di valori che puo' dare origine a questo valore.
Si consideri ora l'operatore
e l'autospazio
introdotto poco sopra. Si considerino gli operatori gradino associati al momento angolare totale:

Se si applica l'operatore di innalzamento all'autospazio
questo si trasforma nell'autospazio
in quanto per definizione tutti i vettori di
sono autovettori di
relativi all'autovalore
, e quindi l'innalzamento li fa divenire autovettori relativi all'autovalore
.
D'altra parte, per valori
la dimensione[4] di
e' di un'unita' piu' piccola di
. La conseguenza e' che tutti gli autospazi
devono contenere un vettore -- lo si denoti con
-- che viene trasformato dall'operatore
nel vettore nullo:
.
Ricordando ora la relazione Gli operatori gradino L_+ e L_- sugli operatori gradino, si ricava:

ovvero:

Ma

e' un autovettore di

relativo all'autovalore

e di

relativo ad un certo autovalore

tale che

. Ne consegue quindi che:

L'autovettore dell'autospazio

annichilato dall'operatore

e' quello relativo all'autovalore

, ovvero quello per cui vale

.
E' utile esprimere questo risultato anche in una forma diversa. Solo gli autospazi
che sono formati da autovettori di
con un numero quantico
tale che
contengono un elemento che e' anche autovettore di
con numero quantico
. Gli autospazi invece con
non compreso fra
e
non contengono un tale autovettore. Questo dimostra che questi autovettori particolari soddisfano la relazione:

Questa relazione prende il nome di "relazione triangolare" ed esprime il fatto che i due vettori addendi formano un parallelogramma e che il vettore risultante e' sempre inferiore alla somma dei due addenti e superiore alla loro differenza.
Incidentalmente, si dimostra facilmente che non esistono altri numeri quantici. Infatti, negli autospazi
con
non esistono autovalori annichilati da
e quindi nessuno ha numero quantico
.
Sia
che
possono essere interi o seminteri. Come si e' visto, il massimo valore che puo' assumere il numero quantico
e'
e puo' variare solo per unita'. Ne consegue che:

da cui:

è sempre intero.
All'inizio di questo discorso la base simultanea di
e
era stata indicata in come:

L'ultima notazione e' giustificata dal fatto che dare i valori di

e

permette di indentificare completamente lo stato.
[5] Questa rappresentazione indica esplicitamente il fatto che questi autovettori sono ottenuto come prodotti tensoriali degli autovettori dei singoli autospazi.
Se si considera invece il momento angolare totale, si e' appena visto che esiste una base di autovettori comuni a
e
relativa agli autovalori
e
, e rappresentata quindi da:

dove

rappresenta il valore massimo che puo' assumere il momento totale e che dipende dalla massima energia del particolare sistema.
[6] Questi autovettori sono naturalmente anche autovettori di

e

.
Esistono dunque due modi di rappresentare gli autovettori comuni di
e
. Si tratta in realta' di due basi ortonormali dello stesso spazio ed e' quindi possibile passare da una rappresentazione all'altra tramite una matrice di trasformazione. Gli elementi di questa matrice sono chiamati "coefficienti di Clebsh-Gordan" e sono evidentemente dati dal prodotto scalare tra gli autovettori delle due possibili rappresentazioni della base comune di
e
:

Ulteriori approfondimenti sulla manipolazione dei momenti angolari riguardano generalmente corsi superiori.
- ↑ Cio' deriva senz'altro
dall'aver assunto i due momenti angolari compatibili, per cui i due spazi di Hilbert non si "sovrappongono".
- ↑ Questo deriva dall'applicazione del metodo di separazione delle
variabili.
- ↑ Il coefficiente angolare e' -1.
- ↑ Si tratta in pratica del livello di degenerazione appena discusso.
- ↑ A parte ovviamente la degenerazione dello stesso.
- ↑ La notazione di questo valore con
richiama l'atomo di idrogeno, come si vedra' nel prossimo capitolo.