Teorema di Liouville (meccanica Hamiltoniana)
Da Wikipedia, l'enciclopedia libera.
In meccanica hamiltoniana il teorema di Liouville stabilisce che nell'evoluzione di un sistema dinamico conservativo, la derivata temporale della densità di stati nello spazio delle fasi è nulla, ovvero la densità di stati nello spazio delle fasi si conserva.
Indice |
[modifica] Enunciazione rigorosa
Dato un sistema meccanico con N gradi di libertà, lo spazio delle fasi è uno spazio a 2N dimensioni sui cui assi coordinati si riportano le N coordinate generalizzate e gli N impulsi generalizzati del sistema meccanico dato. Ciascun punto di questo spazio rappresenta un determinato stato meccanico del sistema. Quando il sistema evolve, il punto fase che rappresenta il suo stato descrive nello spazio delle fasi una curva detta traiettoria di fase.
L'evoluzione dinamica di un sistema meccanico con N gradi di libertà definito dalle coordinate generalizzate di posizione e impulso con è determinata dalle equazioni di Hamilton
dove H è l'Hamiltoniana del sistema.
Se i punti dello spazio delle fasi che rappresentano stati diversi del sistema, sono distributi in modo regolare, allora si può definire una densità di stati nell'intorno del punto . Il teorema di Liouville stabilisce che la derivata temporale totale di tale densità è nulla
[modifica] Dimostrazione
Tenendo conto che nello spazio delle fasi le traiettorie sono percorse con velocità , vale l'equazione di continuità
ovvero
utilizzando ora le equazioni di Hamilton risulta
e quindi in definitiva si ottiene
[modifica] Considerazioni ulteriori
Un altro modo di vedere il teorema di Liouville è il seguente: consideriamo un volume elementare nello spazio delle fasi .
Poiché il numero di stati si conserva, per diversi istanti di tempo t e t' risulta
- ρdNqidNpi = ρ'dNq'idNp'i
e siccome il teorema di Liouville implica che ρ = ρ', allora
- dNqidNpi = dNq'idNp'i
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.