📌 Spazio di Hilbert nella meccanica quantistica

📐 Spazio di Hilbert nella meccanica quantistica: geometria, basi e operatori

Uno spazio di Hilbert non è semplicemente un contenitore di vettori complessi. È una struttura analitica completa, costruita affinché successioni, limiti, basi ortonormali e operatori possano essere trattati senza generare oggetti estranei alla teoria. La differenza rispetto a uno spazio vettoriale ordinario diventa decisiva quando il sistema possiede infiniti gradi di libertà o osservabili con spettro continuo. Comprendere questa differenza significa chiarire perché la completezza è necessaria, perché uno stato puro è un raggio, perché un operatore fisico comprende il proprio dominio e perché gli autostati ideali di posizione non sono normali vettori dello spazio degli stati.

🧱 Le quattro strutture da distinguere

Uno spazio vettoriale complesso permette di sommare vettori e moltiplicarli per numeri complessi. Se |ψ⟩ e |φ⟩ appartengono allo spazio, vi appartiene anche:

|χ⟩ = α|ψ⟩ + β|φ⟩

Questa linearità rende possibile la sovrapposizione. Un prodotto interno aggiunge invece una geometria:

⟨φ|ψ⟩

Dal prodotto interno si ricavano la norma e la distanza:

‖ψ‖ = √⟨ψ|ψ⟩

d(φ, ψ) = ‖φ − ψ‖

Un vettore è normalizzato quando ⟨ψ|ψ⟩ = 1; due vettori sono ortogonali quando ⟨φ|ψ⟩ = 0. Queste proprietà non definiscono ancora uno spazio di Hilbert: occorre la completezza.

🔍 Completezza: la chiusura analitica dello spazio

Una successione ψ₁, ψ₂, ψ₃, … è di Cauchy se i suoi elementi diventano arbitrariamente vicini fra loro. Per qualsiasi ε positivo deve esistere un indice N tale che:

‖ψ_n − ψ_m‖ < ε per ogni n, m > N

Uno spazio è completo quando ogni successione di Cauchy converge verso un elemento appartenente allo spazio:

lim_n→∞ ψ_n = ψ

In uno spazio incompleto tutte le approssimazioni potrebbero essere ammesse mentre il loro limite non lo sarebbe. La completezza impedisce questa perdita e rende rigorosi sviluppi in serie, limiti di funzioni e procedure numeriche.

📉 Convergenza delle approssimazioni

Il diagramma è schematico: mostra come la distanza fra ψ_n e lo stato limite ψ diminuisca al crescere di n.

Pietra miliare. La completezza non introduce una nuova forza fisica. Garantisce che il linguaggio matematico non perda i limiti delle proprie approssimazioni.

🌊 Lo spazio L² e la funzione d’onda

Per una particella non relativistica lungo una retta si usa normalmente H = L²(ℝ). Lo spazio contiene funzioni complesse quadrato-integrabili:

∫_−∞^+∞ |ψ(x)|² dx < ∞

Per uno stato normalizzato:

∫_−∞^+∞ |ψ(x)|² dx = 1

Il prodotto interno assume la forma:

⟨φ|ψ⟩ = ∫_−∞^+∞ φ^*(x)ψ(x) dx

La funzione ψ(x) = ⟨x|ψ⟩ rappresenta il vettore nella base della posizione. Nella base della quantità di moto lo stesso stato è descritto da ψ̃(p) = ⟨p|ψ⟩. Le rappresentazioni cambiano; il vettore astratto resta lo stesso.

🎯 Lo stato puro è un raggio

I vettori |ψ⟩ ed e^iα|ψ⟩ producono le stesse probabilità:

|⟨φ|e^iαψ⟩|² = |⟨φ|ψ⟩|²

La fase globale non è quindi osservabile. Uno stato puro corrisponde al raggio formato dai vettori che differiscono per un fattore complesso non nullo. Può essere rappresentato dal proiettore:

P_ψ = |ψ⟩⟨ψ|

Lo spazio fisico degli stati puri è lo spazio proiettivo ℙ(H). La fase relativa fra componenti resta invece fisicamente significativa.

📐 Proiezione e probabilità

Per vettori normalizzati, la probabilità di transizione è:

P(φ|ψ) = |⟨φ|ψ⟩|²

Se il prodotto interno è zero, gli stati sono ortogonali e possono essere distinti perfettamente mediante una misura appropriata. La distanza proiettiva di Fubini–Study è:

d_FS(ψ, φ) = arccos|⟨ψ|φ⟩|

Stati equivalenti hanno distanza zero; stati ortogonali hanno distanza π/2.

🪜 Basi ortonormali e troncamenti

Una base ortonormale soddisfa:

⟨e_m|e_n⟩ = δ_mn

Ogni vettore può essere sviluppato come:

|ψ⟩ = ∑_n=1^∞ c_n|e_n⟩

con c_n = ⟨e_n|ψ⟩. Per uno stato normalizzato vale:

∑_n=1^∞ |c_n|² = 1

Troncando la base ai primi N elementi si ottiene:

|ψ^(N)⟩ = ∑_n=1^N c_n|e_n⟩

L’errore quadratico è:

‖ψ − ψ^(N)‖² = ∑_n=N+1^∞ |c_n|²

🔢 Dallo spazio astratto alle coordinate

Uno spazio di Hilbert è definito indipendentemente da qualsiasi sistema di coordinate. Per eseguire calcoli concreti si sceglie però una base ortonormale {|e_n⟩}. Ogni stato appartenente allo spazio può allora essere descritto mediante i coefficienti complessi:

c_n = ⟨e_n|ψ⟩

Se la base è completa, il vettore si ricostruisce attraverso lo sviluppo:

|ψ⟩ = Σ_n c_n|e_n⟩

In dimensione finita i coefficienti possono essere disposti in una colonna. In dimensione infinita formano invece una successione quadrato-sommabile: Σ_n|c_n|² < ∞. Questa condizione non è un ornamento formale: esprime, nella rappresentazione scelta, l’appartenenza del vettore allo spazio di Hilbert.

La relazione di completezza della base assume la forma:

Σ_n|e_n⟩⟨e_n| = I

dove I è l’operatore identità. In uno spazio infinito-dimensionale l’uguaglianza deve essere interpretata nel senso appropriato della convergenza operatoriale; non come una somma finita ordinaria.

🧮 Gli operatori diventano matrici

Scelta la stessa base, un operatore  è rappresentato dagli elementi:

A_mn = ⟨e_m|Â|e_n⟩

L’azione dell’operatore sul vettore assume allora la forma di una moltiplicazione matriciale:

(Aψ)_m = Σ_nA_mnc_n

In uno spazio di dimensione finita questa è una matrice ordinaria. In dimensione infinita l’espressione può apparire come una matrice con infiniti elementi, ma tale immagine deve essere usata con cautela. Occorre stabilire se le serie convergono, su quali vettori l’operatore è definito e se l’azione risultante rimane nello spazio. Per gli operatori non limitati, come posizione, quantità di moto e Hamiltoniane comuni, la conoscenza dei soli elementi A_mn non sostituisce la specificazione del dominio.

Quando  possiede una base ortonormale completa di autovettori, la sua matrice diventa diagonale in quella base:

A_mn = a_nδ_mn

Gli autovalori occupano la diagonale e il simbolo δ_mn vale uno per m = n e zero altrimenti. Questa forma rende trasparente il rapporto fra geometria dello spazio, spettro dell’operatore e possibili risultati associati alla grandezza fisica.

🔄 Cambiare base senza cambiare la fisica

Le coordinate di un vettore e gli elementi di una matrice dipendono dalla base scelta. Il vettore astratto e l’operatore, invece, non cambiano. Se due basi ortonormali sono collegate da un operatore unitario U, le coordinate e la matrice si trasformano secondo:

|ψ⟩ → U|ψ⟩

A → UÂU^†

La trasformazione conserva prodotti interni, norme, ortogonalità e probabilità. Due matrici diverse possono quindi rappresentare lo stesso operatore in basi differenti. Gli invarianti fisicamente significativi — per esempio lo spettro, quando le ipotesi matematiche necessarie sono soddisfatte — non dipendono dalla scelta delle coordinate.

Pietra miliare. Vettori colonna e matrici non sostituiscono lo spazio di Hilbert: sono la sua descrizione dopo la scelta di una base. La formulazione astratta identifica ciò che rimane invariato quando cambiano le coordinate.

🧩 Una precisazione: la matrice di Hilbert

In matematica esiste anche un oggetto chiamato matrice di Hilbert, definito in dimensione n dagli elementi:

H_ij = 1/(i + j − 1)

Per n = 3 essa contiene, riga per riga, gli elementi 1, 1/2, 1/3; 1/2, 1/3, 1/4; 1/3, 1/4, 1/5. È una matrice reale, simmetrica e definita positiva, celebre in analisi numerica perché il suo numero di condizionamento cresce rapidamente con la dimensione. Di conseguenza, la soluzione numerica di sistemi che la contengono può essere estremamente sensibile agli errori di arrotondamento.

Non è però “la matrice dello spazio di Hilbert” e non costituisce un postulato della meccanica quantistica. La coincidenza del nome riflette l’origine storica, non un’identità concettuale. Nel formalismo quantistico sono centrali le rappresentazioni matriciali degli stati e degli operatori; la matrice di Hilbert è invece un esempio specifico studiato soprattutto nella teoria delle matrici e nel calcolo numerico.

⚙️ Un operatore comprende il proprio dominio

In dimensione infinita molti osservabili sono operatori non limitati. L’operatore posizione agisce formalmente come:

(Xψ)(x) = xψ(x)

Il dominio deve contenere soltanto le funzioni per le quali anche xψ(x) è quadrato-integrabile:

D(X) = {ψ ∈ L²(ℝ) : ∫_−∞^+∞ x²|ψ(x)|² dx < ∞}

L’operatore quantità di moto agisce come:

(Pψ)(x) = −iℏ dψ(x)/dx

Il suo dominio richiede funzioni sufficientemente regolari e condizioni al contorno appropriate. Un operatore fisico deve quindi essere specificato come:

A : D(A) ⊆ H → H

🔒 Simmetria e autoaggiuntezza

Un operatore A è simmetrico sul proprio dominio quando:

⟨φ|Aψ⟩ = ⟨Aφ|ψ⟩

L’autoaggiuntezza richiede inoltre:

A = A^† e D(A) = D(A^†)

Per un Hamiltoniano autoaggiunto, l’evoluzione temporale è:

U(t) = e^−iHt/ℏ

e conserva la norma:

‖U(t)ψ‖ = ‖ψ‖

Pietra miliare. In dimensione infinita un operatore non coincide con una formula. Azione, dominio e condizioni al contorno formano un unico oggetto matematico e possono determinare spettri differenti.

🎼 Spettro discreto e continuo

Per un operatore autoaggiunto finito-dimensionale:

A = ∑_n a_nP_n

In dimensione infinita il teorema spettrale assume la forma:

A = ∫_σ(A) λ dP(λ)

Lo spettro σ(A) può possedere una parte discreta, una parte continua o entrambe.

La probabilità che una misura produca un valore appartenente a un intervallo Δ è:

P(A ∈ Δ) = ⟨ψ|P(Δ)|ψ⟩

♾️ Autostati generalizzati

Un autovettore ideale della posizione soddisfa formalmente:

X|x⟩ = x|x⟩

⟨x|x′⟩ = δ(x − x′)

La delta di Dirac non è una funzione quadrato-integrabile. Di conseguenza, |x⟩ non appartiene a L²(ℝ). Per trattare rigorosamente questi oggetti si utilizza uno spazio di Hilbert attrezzato:

Φ ⊂ H ⊂ Φ^×

• Φ contiene vettori-test regolari.
• H contiene gli stati normalizzabili.
• Φ^× contiene funzionali generalizzati come |x⟩ e |p⟩.

La relazione formale di completezza è:

I = ∫_−∞^+∞ |x⟩⟨x| dx

🧪 Tesi falsificabile

Tesi. Se lo spazio di Hilbert, l’Hamiltoniano e gli osservabili scelti descrivono adeguatamente un sistema, una successione di approssimazioni ottenuta ampliando progressivamente la base deve produrre previsioni convergenti.

Criterio di falsificazione. Se le previsioni non convergono, oppure convergono verso valori incompatibili con le misure oltre le incertezze sperimentali, dopo aver controllato l’algoritmo numerico, almeno uno fra spazio degli stati, dominio degli operatori, Hamiltoniano o condizioni al contorno è falso o incompleto.

🌐 Implicazioni e connessioni interdisciplinari

• Analisi funzionale: completezza, operatori non limitati e teoria spettrale fondano la meccanica quantistica infinito-dimensionale.
• Geometria: lo spazio proiettivo e la distanza di Fubini–Study collegano probabilità e distinguibilità.
• Analisi numerica: ogni simulazione sostituisce uno spazio infinito con uno finito; la convergenza controlla l’affidabilità del troncamento.
• Equazioni differenziali: le condizioni al contorno partecipano alla definizione dell’operatore.
• Teoria dei gruppi: gli operatori autoaggiunti generano trasformazioni unitarie continue.
• Teoria quantistica dei campi: con infiniti gradi di libertà possono emergere rappresentazioni unitariamente inequivalenti.

⚠️ Limiti, incertezze, domande aperte

Fatti accertati. Gli spazi L² sono completi; il teorema spettrale descrive gli operatori autoaggiunti; un Hamiltoniano autoaggiunto genera un’evoluzione unitaria; gli autovettori ideali dello spettro continuo non sono generalmente normalizzabili.

Modelli. La scelta dello spazio, del dominio, dell’Hamiltoniano e delle condizioni al contorno dipende dal sistema fisico. La matematica determina le conseguenze della scelta, ma non identifica da sola il modello corretto.

Limiti. La trattazione riguarda soprattutto la meccanica quantistica non relativistica. La teoria quantistica dei campi richiede spazi di Fock, algebre di osservabili e, in alcuni casi, rappresentazioni inequivalenti.

Il formalismo non stabilisce automaticamente se lo stato quantistico rappresenti un oggetto reale, una relazione fisica o una struttura predittiva. Una teoria completa della gravità quantistica potrebbe inoltre incorporare lo spazio di Hilbert in un quadro più generale.

🧾 Sintesi finale

La linearità permette di combinare i vettori; il prodotto interno introduce norma e ortogonalità; la completezza impedisce che il limite di una procedura convergente venga espulso dallo spazio. Lo stato puro è un raggio, non un vettore isolato, e la geometria proiettiva trasforma il prodotto interno in una misura della distinguibilità.

Negli spazi infinito-dimensionali posizione, quantità di moto e Hamiltoniano richiedono domini precisi. Il teorema spettrale collega gli operatori alle distribuzioni dei risultati, mentre gli autovettori ideali mostrano il confine fra stati normalizzabili e oggetti generalizzati.

Lo spazio di Hilbert non è quindi una semplice scenografia matematica. È il punto d’incontro fra geometria, analisi, probabilità e dinamica: la struttura che permette di trasformare approssimazioni formali in previsioni fisicamente controllabili.