Vai al contenuto

Il formalismo della meccanica quantistica

Da Wikiversità, l'apprendimento libero.
lezione
lezione
Il formalismo della meccanica quantistica
Tipo di risorsa Tipo: lezione
Materia di appartenenza Materia: Meccanica quantistica

Spazio delle funzioni d'onda

[modifica]

Nelle lezioni precedenti si è puntualizzato il fatto che lo stato di una particella in meccanica quantistica è descritto da una funzione d'onda , e che il suo modulo al quadrato, , rappresenta la densità di probabilità di trovare la particella nell'elemento di volume al tempo . Da tale interpretazione probabilistica segue necessariamente che lo spazio delle funzioni d'onda dev'essere un sottoinsieme di . Infatti, la probabilità di trovare la particella nello spazio dev'essere uguale a 1 e dunque deve risultare:

intendendo come dominio di integrazione tutto lo spazio. Tale sottospazio di viene indicato con e costituisce uno spazio vettoriale.

Date due funzioni d'onda e di è definito il loro prodotto scalare:

dove con si intende il complesso coniugato di .

Tale prodotto scalare gode di alcune semplici proprietà. Innanzitutto:

Si può facilmente dimostrare che il prodotto scalare in è una forma sesquilineare, ovvero lineare rispetto al primo argomento e antilineare rispetto al secondo argomento. Il prodotto scalare in induce la norma:

che è evidentemente un numero reale, non negativo.

Due vettori di sono detti ortogonali se il loro prodotto scalare è nullo.

Operatori

[modifica]

Basi ortonormali

[modifica]

Notazione di Dirac e spazio di stato

[modifica]

Per semplificare la scrittura e generalizzare l'utilizzo dei vettori, si introduce la notazione di Dirac. Per tale motivo ad ogni particella viene associato un vettore di stato, il quale appartiene ad uno spazio astratto detto spazio di stato della particella e indicato con .

Gli elementi di , detto spazio del sistema, sono detti (vettori) ket e indicati con un simbolo distintivo racchiuso tra i seguenti segni grafici "". Ad esempio, questo è un ket: .

Dunque quello che si fa è associare ad ogni ket una funzione d'onda al quadrato sommabile:

cosicché e risultano essere due spazi isomorfi. Da questo consegue che il prodotto scalare tra due ket coincide esattamente col prodotto scalare delle rispettive funzioni d'onda associate.