Osservabile

Da Wikipedia, l'enciclopedia libera.

In fisica si definisce osservabile fisica una qualsiasi grandezza fisica che è in qualche modo misurabile direttamente tramite le operazioni e gli opportuni strumenti di misura oppure indirettamente attraverso calcolo analitico. Il concetto, centrale nella pratica della scienza come rigorosamente definito dal metodo scientifico, si è evoluto fortemente col progredire della scienza moderna diventando centro di acceso dibattito e attenta riflessione a livello epistemologico e ontologico nell'ambito della filosofia della scienza del XX secolo.

Evoluzione del concetto[modifica | modifica wikitesto]

La riflessione sui fondamenti della meccanica quantistica ne ha infatti arricchito il dibattito con nuovi, interessanti e profondi spunti di riflessione.

Se infatti nella fisica classica qualsiasi grandezza era ritenuta, in qualche senso, osservabile (massa, quantità di moto, momento, energia), già con l'elettromagnetismo questa situazione cambia nel senso che si introducono delle grandezze (i campi e i potenziali) che non sono direttamente misurabili, ma che risultano essere dei validi strumenti e contributi per il calcolo e la risoluzione dei problemi fisici associati.

Con la fisica atomica gli atomi stessi sono costituenti della materia che non sono però osservabili direttamente, ma le cui proprietà, come la massa e la carica, sono ricavabili e misurabili indirettamente a partire da altre evidenze sperimentali (vedi modello atomico).[non chiaro]

Con la meccanica quantistica questa divisione poi si accentua ulteriormente in quanto, oltre ai limiti di misura imposti dal noto principio di indeterminazione, alcune grandezze fondamentali introdotte da questa teoria non solo non risultano osservabili, ma non sono nemmeno quantità reali essendo descritte da numeri complessi. Di fatto però la meccanica quantistica non può fare a meno del carattere intrinsecamente complesso delle sue trattazioni, quindi si è aperto il dibattito sull'interpretazione fisica di queste quantità complesse. Nel caso specifico della funzione d'onda si è potuto interpretare questa funzione come quella quantità il cui modulo quadrato (che è una quantità reale) fornisce la densità di probabilità per la localizzazione di una particella. La sua misura è dunque un concetto prettamente probabilistico: la misura di un'osservabile perturba il sistema, quindi a priori non si conosce il valore di un'osservabile fino a che essa non viene misurata: il processo di misura fa cadere il sistema in un autostato dell'osservabile (e quindi della variabile dinamica) che si misura: questo fatto ha implicazioni molto profonde che va sotto il nome di collasso della funzione d'onda che è a sua volta l'aspetto caratteristico della cosiddetta e celebre interpretazione di Copenaghen.

Osservabili e operatori in Meccanica Quantistica[modifica | modifica wikitesto]

In meccanica quantistica una osservabile è una grandezza dinamica del sistema o dello stato quantico.

Nell'approccio matematico della meccanica quantistica un'osservabile viene rappresentata da un operatore lineare in generale complesso e in particolare hermitiano, che opera su un vettore di stato del sistema. In generale la linearità si esprime:

\hat f (c_1 \psi_1 + c_2 \psi_2) = c_1 \hat f \psi_1 + c_2 \hat f \psi_2

La caratteristica della meccanica quantistica è intrinsecamente probabilistica, questa caratteristica è quantitativamente descritta dal principio di indeterminazione: la teoria della meccanica ondulatoria permette di prevedere il comportamento di un sistema quantistico sulla base della probabilità di trovare un certo valore dell'osservabile. Una misura provoca una proiezione dello stato, in generale descritto da una sovrapposizione infinita di stati, su un autostato dell'osservabile. Questo porta al fatto che tutti i valori possibili che può assumere una osservabile devono essere autovalori dell'osservabile stessa.

Dato uno stato del sistema

|\varphi \rangle =\sum_{i} c_{i} |e_{i}\rangle

dove |e_{i}\rangle sono i vettori di base dello stato, l'azione di un'osservabile A su tale stato, è interamente identificata dalla sua azione sui vettori di base:

A|\varphi \rangle = \sum_{i} c_{i} A|e_{i} \rangle = \sum_{i} c_{i} \sum_{j} c_{ij}^A|e_{j} \rangle = \sum_{i,j} c_{i}c_{ij}^A|e_{j} \rangle

dove c_{ij}^A sono i coefficienti che caratterizzano l'operatore A quando agisce sull'i-esimo stato di base, e sono definiti da:

c_{ij}^A = \langle e_{i}|A|e_{j} \rangle

È possibile quindi rappresentare l'operatore come una matrice dei coefficienti c_{ij}^A, cioè come una matrice rispetto a una data base. Infatti l'azione di un operatore può anche essere scritta:

\sum_{i,j}|e_{j} \rangle \langle e_{j}|A|e_{i} \rangle \langle e_{i}| = \sum_{i,j}c_{ij}^A|e_{j} \rangle \langle e_{i}|

Si consideri il caso in cui la matrice dei coefficienti è diagonale e gli elementi della diagonale sono reali: allora gli elementi della matrice sono gli autovalori a' dell'osservabile, e i vettori di base |e_{i}\rangle coincidono con gli autostati |a'\rangle dell'osservabile A, ed essendo la matrice diagonale essi formano una base ortonormale. Si ha in questo caso che l'operatore è associato all'osservabile, e si ha

A =\sum_{a'} a'|a'\rangle \langle a'|

L'equazione agli autovalori dell'operatore è quindi:

A|a'\rangle = a'|a'\rangle

L'interpretazione di questo fatto è che in meccanica quantistica si postula che tutti gli autovalori a' di un'osservabile A siano anche tutti i possibili risultati della misura dell'osservabile. A ogni autostato è quindi associato un possibile risultato della misura, e una misura fa collassare lo stato del sistema, che è in generale una sovrapposizione di stati, in un autostato dell'osservabile che si sta misurando. L'autore di questo collasso è il proiettore |a'\rangle \langle a'|, che fa precipitare il sistema fornendo il coefficiente a'. In tale stato il sistema permane indipendentemente dell'evoluzione temporale, fino a che non interviene un agente esterno che ne modifica lo stato.

Si spiega quindi come sia possibile sviluppare un qualsiasi vettore di stato in termini di autovettori dell'osservabile A:

|\varphi \rangle = \sum_{a'} c_{a'} |a' \rangle

La base |a' \rangle degli autostati è una base ortonormale, ovvero:

\langle a_i |a_j \rangle = \delta_{ij}

Il significato dei coefficienti c_{a'} = \langle a' |\varphi \rangle è quello di ampiezza di probabilità dei possibili valori della misura di A. Il valore medio dell'osservabile A:

\langle A \rangle = \langle \varphi |A|\varphi \rangle = \sum_{a'} |c_{a'}|^{2} a'

e la condizione di normalizzazione del vettore di stato:

\langle \varphi |\varphi \rangle = \sum_{a'} |c_{a'}|^2

è una conseguenza della normalizzazione degli autostati di A, e significa che i risultati delle misure sono esclusivi ed esaustivi.

Proprietà degli operatori[modifica | modifica wikitesto]

Una volta trovati autovalori e autovettori di una osservabile possiamo dimostrare alcune proprietà degli operatori hermitiani che li rappresentano.

  • La prima proprietà è che gli autovalori di un operatore hermitiano sono reali, questo lo avevamo già dedotto, ma adesso si può dimostrare rigorosamente, infatti se a' è l'autovalore di A con autovettore |a' \rangle che sia normalizzato (anche se non necessariamente) cioè \langle a' |a' \rangle = 1 allora il valore medio di A:
\langle a' |A|a' \rangle = a' \langle a' |a' \rangle = a'

Siccome A è hermitiano allora vale:

\langle a' | A | a' \rangle = \langle a' |A| a' \rangle^* = a'^*

da cui si deduce che:

\langle a' |A| a' \rangle = a' = a'^*

e quindi a' = a'^*, che come si sa vale solo se a' \in \mathbb{R}.

  • Un'altra proprietà è quella che riguarda gli autovettori di un operatore hermitiano: se essi corrispondono ad autovalori diversi allora sono autovettori ortogonali. Infatti se abbiamo trovato due autovalori diversi a' \neq a'' di A con |a' \rangle, |a'' \rangle i due loro autovettori, allora:
\langle a' |A|a'' \rangle = a'' \langle a' | a'' \rangle

ma per l'hermiticità di A vale anche:

\langle a' |A|a'' \rangle = \langle a'' |A|a' \rangle^* = a' \langle a''| a' \rangle^* = a' \langle a' | a'' \rangle

Uguagliando queste due espressioni e sottraendo una dall'altra:

(a'' - a') \langle a' |a'' \rangle = 0

e siccome a' \neq a'', l'unico modo perché sia nulla l'espressione sopra è che:

\langle a' |a'' \rangle = 0

cioè appunto che |a' \rangle e |a'' \rangle siano ortogonali.

Notare che nel caso a un autovalore siano associati due o più autovettori (autovalori degeneri), questi non saranno in generale ortogonali, purtuttavia ogni combinazione lineare di autovettori è sempre una soluzione dell'equazione agli autovalori e se ne può scegliere sempre una in modo che sia ortogonale agli altri autovalori.

Valore medio di un osservabile[modifica | modifica wikitesto]

Siano a_i i possibili valori di un operatore A; ognuno di questi ha una certa probabilità P_i di verificarsi se misuriamo A. Il valore medio di un operatore è il valore medio di tutti i possibili risultati della misura di A pesati con le rispettive probabilità:

\langle A \rangle = \sum_i a_i P_i

In meccanica quantistica ogni grandezza fisica è associata a un operatore lineare e tale operatore viene definito in modo tale che in uno stato |\varphi \rangle il suo valore medio sia:

\langle A \rangle = \langle \varphi |A| \varphi \rangle

cioè il valore di aspettazione dell'operatore A sullo stato |\varphi \rangle. Poiché i valori delle misure e quindi il valore medio di un operatore devono essere reali, in quanto sono quantità osservabili, questo fatto limita i possibili valori che l'osservabile può assumere.

Sia dato uno stato:

|\varphi \rangle = a |\alpha \rangle + b |\beta \rangle

dove a,b \in \mathbb{C}. Calcoliamo il valore di aspettazione di A su questo stato:

\langle \varphi |A|\varphi \rangle = \left(a^* \langle \alpha | + b^* \langle \beta | \right) A \left(a |\alpha \rangle + b |\beta \rangle \right)= |a|^2 \langle \alpha |A|\alpha \rangle + |b|^2 \langle \beta |A|\beta \rangle + a^* b \langle \alpha |A|\beta \rangle + a b^* \langle \beta |A|\alpha \rangle

dove tutti i termini della somma devono essere reali. Ora i primi due termini sono reali per definizione infatti |a|^2 e |b|^2 rappresentano la probabilità dei due coefficienti a e b, allora uguagliando gli altri due termini ai loro coniugati:

a^* b \langle \alpha |A|\beta \rangle + a b^* \langle \beta |A|\alpha \rangle = a b^* \langle \beta |A^{\dagger}|\alpha \rangle + a^* b \langle \alpha |A^{\dagger}|\beta \rangle

ossia:

\langle \alpha |A| \beta \rangle = \langle \alpha |A^{\dagger}|\beta \rangle

cioè

A = A^{\dagger}

cioè gli operatori lineari che rappresentano grandezze osservabili in meccanica quantistica devono essere operatori hermitiani. Solo in questo caso infatti il loro valore medio e i loro autovalori sono reali.

Per determinare i possibili valori di un osservabile, dobbiamo determinare gli autovalori dell'operatore hermitiano corrispondente, cioè risolvere l'equazione agli autovalori:

A |a' \rangle = a' |a' \rangle

Questa equazione è ben nota nell'algebra lineare, a' rappresenta l'autovalore a cui corrispondono uno o più autovettori |a' \rangle; nel caso l'autovettore associato sia più di uno, si dice che l'autovalore è degenere. L'insieme degli autovalori \{a'\} si chiama spettro e gli autovettori sono chiamati nel contesto della meccanica quantistica anche autostati di A. Naturalmente esistono spettri discreti e spettri continui e anche spettri misti: casi notevoli in meccanica quantistica sono l'operatore posizione e l'operatore impulso che hanno spettro continuo.

Caso continuo[modifica | modifica wikitesto]

Tutte le considerazioni fatte per il caso discreto valgono nel caso continuo. L'equazione agli autovalori nel caso continuo diventa:

\hat f \psi_f (q) = f \psi_f (q)

dove abbiamo indicato con \hat f l'operatore, con f l'autovalore continuo e con \psi_f (q) l'autostato o autofunzione dell'operatore in funzione delle coordinate. Se f sono valori continui allora un generico vettore di stato può essere sviluppato in termini di autostati di \hat f:

\Psi (q) = \int df \, a(f) \psi_f (q)

dove si deve sostituire alla sommatoria l'integrale, a(f) corrispondono ai coefficienti c_n del caso discreto. La sua interpretazione è che la probabilità di trovare la particella tra il valore f e f+df:

dP = |a(f)|^2 df \

e la normalizzazione deve seguire di conseguenza:

\int df \, |a(f)|^2 = 1

In effetti dobbiamo sempre assicurare che la funzione d'onda \Psi (q) sia normalizzata:

\int dq \Psi^* (q) \Psi (q) = 1

La normalizzazione degli autostati o delle autofunzioni di un operatore nel caso continuo è più delicata. Infatti sappiamo che i coefficienti a(f) devono ricavarsi da:

a(f) = \int df \, \psi_{f}^{*} (q) \Psi (q)

d'altra parte deve essere:

\int df \, \psi_{f}^{*} (q) \Psi (q) = \int df' \, a (f') \left[ \int dq \psi_{f}^{*} (q) \psi_{f'} (q) \right] = a(f)

per cui l'integrale tra parentesi deve essere tale da annullarsi quando f \neq f', nello stesso tempo deve fornire a(f) quando f = f' e contemporaneamente assicurare la normalizzazione della funzione d'onda. Tale normalizzazione è assicurata dalla funzione delta di Dirac che una funzione generalizzata:

\int dq \psi_{f}^{*} (q) \psi_{f'} (q) = \delta (f - f')

Alcune proprietà fondamentali della funzione delta di Dirac sono:

\begin{cases} \delta (x) = 0 & x \neq 0 \\
\delta (x) = \delta (0) = \infty & x = 0 \end{cases}

oppure:


\begin{cases} \delta (x-x_0) = 0 & x \neq x_0 \\
\delta (x-x_0) = \infty & x = x_0 \end{cases}

Questa funzione ha applicazioni tra le più numerose e variegate. Un'importante applicazione in meccanica quantistica che si vedrà è:

\int_{-\infty}^{\infty} dx \, e^{i x' (k - k')} = 2 \pi \delta (k - k')

e in tre dimensioni

\int_{-\infty}^{\infty} d \mathbf{r} \, e^{i \mathbf{r} (\mathbf{k} - \mathbf{k}')} = (2 \pi)^3 \delta (\mathbf{k} - \mathbf{k}')

Osservabili compatibili[modifica | modifica wikitesto]

Exquisite-kfind.png Per approfondire, vedi Commutatore.

Due osservabili si dicono compatibili se gli operatori che le rappresentano hanno una base comune di autostati: infatti l'avere gli stessi autostati significa che esiste una base in cui le matrici dei coefficienti dei due operatori sono diagonali. Quindi, date due osservabili compatibili A e B e una base formata dai vettori |e_i\rangle, le rispettive equazioni agli autovalori sono:

A|e_i\rangle = a'|e_i\rangle
B|e_i\rangle = b'|e_i\rangle

Dal momento che due matrici diagonali commutano sempre, un'altra proprietà delle osservabili compatibili è il fatto che il commutatore tra i due rispettivi operatori è nullo. Vi è infatti un teorema che afferma che la condizione necessaria affinché due operatori ammettano gli stessi autostati è che essi commutino.

Le osservabili non compatibili, dette talvolta complementari, sono, al contrario, osservabili rappresentate da operatori che non commutano. In generale qualunque coppia di osservabili generiche, che non siano nella relazione di essere compatibili, non si possono misurare simultaneamente, se non a prezzo di indeterminazioni l'una tanto più grande quant'è più piccola l'altra.

Il principio di indeterminazione[modifica | modifica wikitesto]

Exquisite-kfind.png Per approfondire, vedi Principio di indeterminazione di Heisenberg.

Il principio di indeterminazione di Heisenberg stabilisce che non è possibile conoscere simultaneamente i valori di due osservabili non compatibili, e quantifica l'imprecisione di una loro misura simultanea.
Formulato da Werner Heisenberg nel 1927 per il caso di posizione e momento, il principio si applica a qualsiasi coppia di variabili canonicamente coniugate. Nelle formulazioni moderne della meccanica quantistica il principio non è più tale ma è un teorema facilmente derivabile dai postulati.

Nel caso più noto dell'indeterminazione fra posizione e momento si ha:

\Delta \hat{x} \Delta \hat{p} \geq \frac{\hbar}{2}

Date due osservabili qualsiasi A e B, il principio nella sua forma più generale è

\Delta \hat{A} \Delta \hat{B} \geq \frac{1}{2}\left \| \left \langle \left [\hat{A}, \hat{B} \right ] \right \rangle \right \|

Bibliografia[modifica | modifica wikitesto]

  • S. Auyang, How is Quantum Field Theory Possible, Oxford University Press, 1995.
  • G. Mackey, Mathematical Foundations of Quantum Mechanics, W. A. Benjamin, 1963.
  • V. Varadarajan, The Geometry of Quantum Mechanics vols 1 and 2, Springer-Verlag 1985.
  • Peter Atkins, Julio De Paula, Chimica Fisica, 4ª ed., Bologna, Zanichelli, settembre 2004, ISBN 88-08-09649-1.
  • V. Moretti Teoria Spettrale e Meccanica Quantistica. Operatori in Spazi di Hilbert Springer-Verlag, 2010

Voci correlate[modifica | modifica wikitesto]

Meccanica quantistica Portale Meccanica quantistica: accedi alle voci di Wikipedia che trattano di Meccanica quantistica