Teorema di Liouville (meccanica hamiltoniana)
In meccanica razionale, in particolare meccanica hamiltoniana, il teorema di Liouville afferma che la dinamica nello spazio delle fasi è descritta da una funzione di densità degli stati. In particolare, esso stabilisce che nell'evoluzione di un sistema conservativo, la derivata totale rispetto al tempo della densità di stati nello spazio delle fasi è nulla, ovvero la densità di stati nello spazio delle fasi si conserva. In meccanica statistica, la funzione di densità degli stati corrisponde a una funzione di densità di probabilità.[1]
Enunciato
modificaDato un sistema meccanico con gradi di libertà, lo spazio delle fasi è uno spazio a dimensioni, generato dalle coordinate generalizzate e dagli momenti coniugati. Quando il sistema evolve, il punto fase, che rappresenta il suo stato meccanico, descrive nello spazio delle fasi una curva detta traiettoria di fase.
L'evoluzione dinamica di un sistema meccanico con gradi di libertà definito dalle coordinate hamiltoniane è determinata dalle equazioni di Hamilton:
dove è l'Hamiltoniana del sistema.
Se i punti dello spazio delle fasi, che rappresentano configurazioni diverse dello stesso stato macroscopico, sono distribuiti in modo regolare, allora è possibile definire una densità degli stati nell'intorno del punto . Il teorema di Liouville stabilisce che la derivata temporale totale di tale densità è nulla:
È quindi possibile pensare tali punti rappresentativi, entro lo spazio delle fasi, come costituenti un fluido incomprimibile. In alternativa, si può riscrivere l'enunciato anche come equazione di Liouville con l'ausilio delle parentesi di Poisson:
Dimostrazione
modificaTenendo conto che nello spazio delle fasi le traiettorie sono percorse con velocità , vale l'equazione di continuità:
Utilizzando ora le equazioni di Hamilton risulta
e quindi in definitiva si ottiene
Considerazioni ulteriori
modificaÈ possibile vedere il teorema di Liouville in un altro modo considerando un volume elementare nello spazio delle fasi:
- .
Poiché il numero di stati si conserva, per diversi istanti di tempo e risulta
ovvero in forma differenziale:
poiché il teorema di Liouville implica che , allora
ovvero gli stati di un sistema occupano, nello spazio delle fasi, volumi sempre uguali, anche se eventualmente distorti a seguito delle curve percorse dai singoli punti.
Funzione d'onda di Koopman-von Neumann
modificaSecondo l'approccio introdotto tra il 1931 e il 1932 da Bernard Koopman e John von Neumann[2][3][4], come funzione di densità degli stati si adotta una densità di probabilità, ottenuta come il quadrato del valore assoluto o, più precisamente, come il prodotto con il suo complesso coniugato della funzione d'onda Koopman-von Neumann, definita in modo tale da rispettare l'equazione di Liouville. Pertanto operatori autoaggiunti commutativi, che operano sullo spazio di Hilbert nel campo dei complessi delle funzioni d'onda KvN, rappresentano gli osservabili del sistema. La commutatività degli operatori autoaggiunti implica che gli osservabili siano tutti misurabili simultaneamente.
Questo approccio implica che in meccanica classica si possono impiegare operatori del tutto analoghi a quelli della meccanica quantistica. Infatti, la definizione della funzione di densità di probabilità fu introdotta in analogia alla legge di Born, la quale, tuttavia, non richiede affatto che gli osservabili siano commutabili, il che sottolinea quanto stabilito dal principio di indeterminazione di Heisenberg, dal teorema di Kochen-Specker e dalle disuguaglianze di Bell.
Dimostrazione
modificaIn un sistema meccanico con gradi di libertà, il cui spazio delle fasi -dimensionale è generato dalle coordinate generalizzate e dagli momenti coniugati, si definisce l'operatore autoaggiunto Liouvilliano come:
Pertanto, utilizzando il suddetto operatore, è possibile riscrivere l'equazione di Liouville:[5][6]
Applicando quest'ultima alla funzione d'onda KvN e alla sua complessa coniugata , si ha:
Ma poiché per definizione , utilizzando la regola del prodotto di Leibniz si ottiene che:
Ciò dimostra che è possibile ricavare la densità di probabilità a partire dalla funzione d'onda KvN
Note
modifica- ^ Harald J. W. Müller-Kirsten, Basics of Statistical Physics, 2nd ed., World Scientific (Singapore, 2013)
- ^ B. O. Koopman, Hamiltonian Systems and Transformations in Hilbert Space, in Proceedings of the National Academy of Sciences, vol. 17, n. 5, 1931, pp. 315–318, Bibcode:1931PNAS...17..315K, DOI:10.1073/pnas.17.5.315, PMC 1076052, PMID 16577368.
- ^ J. von Neumann, Zur Operatorenmethode In Der Klassischen Mechanik, in Annals of Mathematics, vol. 33, n. 3, 1932, pp. 587–642, DOI:10.2307/1968537, JSTOR 1968537.
- ^ J. von Neumann, Zusatze Zur Arbeit "Zur Operatorenmethode...", in Annals of Mathematics, vol. 33, n. 4, 1932, pp. 789–791, DOI:10.2307/1968225, JSTOR 1968225.
- ^ D. Mauro (2002), "Topics in Koopman–von Neumann Theory" PhD thesis, Università degli Studi di Trieste.
- ^ Mauro, D. (2002). "On Koopman–Von Neumann Waves". International Journal of Modern Physics A. 17 (9): 1301–1325.