Visual walkthrough — Liouville's theorem — phase space volume conservation

2.1.14 · D2 · Physics › Analytical Mechanics › Liouville's theorem — phase space volume conservation

Hum maan ke chalte hain ki tumne pehle kabhi divergence, partial derivative, ya phase space nahi dekha. Inme se har ek cheez neeche earn ki jaati hai — pehle ek picture par, phir use karte hain.

---

Step 1 — "Point" aur "blob" kya hota hai?

KYA. Koi ek physical system lo — maano ek bead ek wire par sliding kar rahi hai. Uska future jaanne ke liye tumhe do numbers chahiye: kahan hai woh (ise $q$ kaho) aur kitni tez ja rahi hai (hum momentum $p$ use karte hain, jo bead ke liye sirf mass times velocity hai). $q$ ko horizontal rakh ke $p$ ko upar plot karo. Ab bead ki poori state is 2D map par ek single dot hai. Woh map Phase Space kehlata hai.

DOT kyun, aur phir blob kyun? Ek dot ek perfectly-known state hai. Lekin hum koi bhi state perfectly nahi jaante — hamara measurement fuzzy hota hai. Toh "jo hum jaante hain" uski honest picture ek dot nahi balki ek chhota filled region hai: "state kahin is andar hai". Woh region hamara blob hai. Uska area measure karta hai ki hum kitne uncertain hain.

PICTURE. Horizontal axis position $q$ hai, vertical axis momentum $p$. Lal patch possible states ka blob hai.

Poora theorem usi lal area ke baare mein ek hi claim hai: woh kabhi nahi badlta. Neeche sab kuch isi ko prove karta hai.

---

Step 2 — Har dot ki ek velocity hoti hai (flow field)

KYA. Jaise jaise time aage badhta hai, bead ki state badalti hai, toh uska dot move karta hai. Har dot par hum ek chhota arrow draw kar sakte hain: "yeh dot aage kahan jaayega". Yeh har point par karo aur tumhare paas arrows ka ek field hai — ek flow, bilkul ek nadi ki surface jaisa jahan har jagah ek arrow ho.

Yeh particular arrows kyun? Arrows chunne ke liye free nahi hain. Physics inhe Hamilton's Equations ke zariye fix karta hai. $\dot{q}$ likhte hain "$q$ ke change ki rate" ke liye (chhota dot matlab hai per second), aur $H$ total energy ke liye jo $q$ aur $p$ ka function hai:

$\underset{\text{kitni tez }q\text{ move karta hai}}{\underbrace{\dot{q}}}=\underset{\begin{array}{c}\text{energy ka tilt}\\ \text{jaise }p\text{ badlta hai}\end{array}}{\underbrace{\frac{\partial H}{\partial p}}},\underset{\text{kitni tez }p\text{ move karta hai}}{\underbrace{\dot{p}}}=-\underset{\begin{array}{c}\text{energy ka tilt}\\ \text{jaise }q\text{ badlta hai}\end{array}}{\underbrace{\frac{\partial H}{\partial q}}}.$

Toh dot $(q,p)$ par arrow vector hai $\dot{\mathbf{x}}=(\dot{q},\dot{p}),$ jahan $\mathbf{x}=(q,p)$ sirf "dot ki location" ka shorthand hai. $\dot{p}$ par minus sign poore result ka beej hai — ise dhyaan se dekho.

PICTURE. Kale arrows flow field dikhate hain; lal arrow ek chosen dot ki velocity hai — woh abhi kahan jaane wala hai.

---

Step 3 — Dots ginana: continuity ka idea

KYA. Ek blob track karne ki jagah, phase space ko dots ki dust se bhara socho, kuch jagahon par zyada dense, kuch par patla. Local crowdedness ko $\rho$ kaho (dots per unit area). Ab ek tiny fixed box banao aur poochho: andar ki crowd kaise badlti hai?

KYUN. Dots kabhi create ya destroy nahi hote — physics sirf har ek ko uske arrow ke saath move karta hai. Toh box ke andar count change hone ka eka rasta yeh hai ki dots walls cross karein. Zyada jaayein, kam aayein ⇒ box khali ho jaata hai. Yeh bookkeeping continuity equation hai, wahi law jo paani ya traffic par bhi apply hota hai.

PICTURE. Ek fixed square box; lal arrows dots hain jo iske charon walls cross kar rahe hain. Andar ka hisab sirf is crossing se badlta hai.

Ab hume woh strange dot-aur-triangle symbol $\nabla \cdot$ explain karna hoga. Woh Step 4 hai.

---

Step 4 — "Divergence" $\nabla \cdot$ actually kya measure karta hai

KYA. Symbol $\nabla \cdot \dot{\mathbf{x}}$ (kaho "div of the flow") har point par attached ek single number hai. Yeh poochtha hai: "Yahan, kya flow phail raha hai ya squeeze ho raha hai?"

• Agar ek point ke around arrows bahar fan out karein (jaise ek source se paani spray ho raha ho) → divergence positive hai, wahan crowd patli ho jaati hai.
• Agar arrows andar rush karein (ek drain) → divergence negative hai, crowd pile up ho jaati hai.
• Agar utna hi aata hai jitna jaata hai → divergence zero hai, crowd density waise hi rehti hai.

KYUN exactly yahi quantity chahiye. Continuity ki taraf wapas dekho: woh term jo control karta hai ki density badlti hai ya nahi kyunki flow khud expand karta hai — woh precisely yahi divergence hai. Agar hum dikhaa sakein ki divergence har jagah zero hai, toh flow dust ko kabhi squeeze ya spread nahi kar sakta — yahi poora theorem hai. Toh poora proof ek number compute karne mein funnel ho jaata hai.

Coordinates mein divergence bas yeh hai: "horizontal arrow kitni tezi se grow karta hai jab tum horizontally move karo, PLUS vertical arrow kitni tezi se grow karta hai jab tum vertically move karo": $\nabla \cdot \dot{\mathbf{x}}=\underset{\text{spread in }q}{\underbrace{\frac{\partial \dot{q}}{\partial q}}}+\underset{\text{spread in }p}{\underbrace{\frac{\partial \dot{p}}{\partial p}}}.$

PICTURE. Left: ek source (positive divergence, blob phool jaata hai). Middle: ek drain (negative, blob shrink hota hai). Right: pure shear/rotation (zero, blob apna area rakhta hai). Lal blob dikhata hai ki har mein area ka kya haal hota hai.

---

Step 5 — Magic cancellation (Hamilton enters)

KYA. Ab hum actual Hamiltonian flow ka divergence compute karte hain, Step 2 ke arrows plug in karke: $\nabla \cdot \dot{\mathbf{x}}=\frac{\partial \dot{q}}{\partial q}+\frac{\partial \dot{p}}{\partial p}=\frac{\partial }{\partial q}\left(\frac{\partial H}{\partial p}\right)+\frac{\partial }{\partial p}\left(-\frac{\partial H}{\partial q}\right).$

Do terms padho:

• $\frac{\partial }{\partial q}\frac{\partial H}{\partial p}$ — $H$ ko pehle $p$ se, phir $q$ se differentiate karo.
• $-\frac{\partial }{\partial p}\frac{\partial H}{\partial q}$ — $H$ ko pehle $q$ se, phir $p$ se differentiate karo, ek minus ke saath (Hamilton ke minus sign se).

KYUN yeh cancel hote hain. Calculus mein ek khoobsurat fact hai: do partial derivatives ka order matter nahi karta. Slope-in-$p$-then-in-$q$ equals slope-in-$q$-then-in-$p$: $\frac{{\partial }^{2}H}{\partial q\partial p}=\frac{{\partial }^{2}H}{\partial p\partial q}.$ Toh dono terms same number hain opposite signs ke saath. Woh ek doosre ko mita dete hain: $\boxed{\nabla \cdot \dot{\mathbf{x}}=\frac{{\partial }^{2}H}{\partial q\partial p}-\frac{{\partial }^{2}H}{\partial p\partial q}=0.}$

Hamilton ke $\dot{p}=-\partial H/\partial q$ mein woh single minus sign hi subtraction karata hai. Hamiltonian flow divergence-free hai. (Poisson Brackets aur Symplectic Geometry ki language mein, yahi structural reason hai ki volumes protected hain.)

PICTURE. Same energy hill ke do mixed second-slopes literally same slope hain jo swapped order mein li gayi hain; minus sign ke saath woh annihilate ho jaate hain. Lal highlight surviving quantity ko mark karta hai — zero.

---

Step 6 — Zero divergence ⇒ frozen density ⇒ frozen volume

KYA. Zero ko wapas Step 3 ki continuity mein daalo. Leak term product rule se "saath carried along" aur "flow spreading" mein split ho jaata hai: $\frac{\partial \rho }{\partial t}+\underset{\text{saath carried along}}{\underbrace{\dot{\mathbf{x}}\cdot \nabla \rho }}+\underset{=0}{\underbrace{\rho (\nabla \cdot \dot{\mathbf{x}})}}=0.$ Last term gaayab ho gaya. Jo bacha woh regroup ho jaata hai ek single object mein — change ki rate jo tum feel karte ho agar tum ek dot ke saath ride karo: $\frac{d\rho }{dt}=\frac{\partial \rho }{\partial t}+\dot{\mathbf{x}}\cdot \nabla \rho =0.$

KYUN iska matlab volume conserved hai. Agar dust ko locally kabhi squeeze ya spread nahi kiya ja sakta (divergence $=0$), toh ek marked blob apna area hamesha ke liye rakhta hai. Formally, ek moving blob ka area change hone ki rate hai $\frac{dV}{dt}=\int \nabla \cdot \dot{\mathbf{x}}dV=\int 0=0$. Yeh woh guarantee hai jo Statistical Mechanics — Ensembles aur Poincaré Recurrence Theorem ko support karta hai.

PICTURE. Free particle: ek lal rectangle shear ho kar ek slanted parallelogram ban jaata hai — bilkul alag shape, identical area. Height $\Delta p$ untouched rehta hai (kyunki $\dot{p}=0$), base preserved rahta hai.

---

Step 7 — Edge cases (taaki koi scenario surprise na kare)

Tumhe kabhi aisi situation nahi milni chahiye jo is page ne nahi dikhaayi. Blob ke area ke liye teen fates possible hain, divergence ke har sign ke liye ek.

Case A — Rotation (harmonic oscillator, div $=0$). $H=\frac{p^2}{2m}+\frac{1}{2}m{\omega }^2{q}^2$ ke saath, rescaled trajectories circles hain. Ek blob bas origin ke around rigidly spin karta hai. Rotation area-preserving hai. Check karo: $\frac{\partial }{\partial q}\frac{p}{m}+\frac{\partial }{\partial p}(-m{\omega }^{2}q)=0+0=0.$ ✓

Case B — Shear (free particle, div $=0$). Step 6 mein pehle hi dekh liya: bahut wild distort hota hai, area fixed rehta hai.

Case C — Drain (damped oscillator, div $\ne 0$). Friction add karo: $\dot{p}=-m{\omega }^{2}q-\gamma p$. Ab $\nabla \cdot \dot{\mathbf{x}}=0+(-\gamma )=-\gamma <0.$ Blob andar ki taraf spiral karta hai aur origin tak shrink ho jaata hai. Yeh ek Hamiltonian system nahi hai — energy leak ho raha hai, dots pile up ho rahe hain. Yeh precisely dikhata hai kyun theorem ko ek true Hamiltonian ki zarurat hai: sirf tabhi Step 5 ki mixed-partial cancellation divergence ko zero force karti hai.

PICTURE. Teen panels: rigid rotation (area kept, lal circle), shear (area kept, lal parallelogram), damped spiral (area shrinks, lal spiral collapsing). Sirf pehle do Hamiltonian hain.

---

Ek-picture summary

Chain ko left se right padho: dots ka conservation → continuity → divergence compute karo → Hamilton ka minus sign mixed partials cancel karta hai → divergence is zero → area frozen. Lal link woh crux hai jahan cancellation hoti hai.

Recall Feynman retelling — poora walk plain words mein

Ek sheet ko dots se bharo; har dot tumhari machine ki ek possible state hai. Physics har dot ko ek arrow deta hai jo batata hai ki woh aage kahan jaayega. Koi dot kabhi paida nahi hota ya marta nahi, toh ek region ka crowd hone ya khali hone ka eka rasta yeh hai ki dots uski edges cross karein — yahi continuity bookkeeping hai. Yeh jaanne ke liye ki crowd squish hoti hai ya nahi, hum har point par ek number measure karte hain: divergence, "kya flow fan out kar raha hai ya rush in kar raha hai?" Jab hum Hamilton ke rules plug in karte hain aur yeh fact use karte hain ki swapped order mein do slopes lena same answer deta hai, toh divergence ke do pieces equal aur opposite hote hain — ek akele minus sign ki wajah se — toh woh exactly zero tak cancel ho jaate hain. Zero divergence matlab flow dots ko na spread kar sakta hai na squeeze. Toh unka koi bhi patch apna area hamesha rakhta hai, chahe woh spaghetti mein stretch ho jaaye. Friction on karo aur woh minus-sign cancellation toot jaata hai: divergence negative ho jaata hai, patch andar spiral karta hai aur shrink ho jaata hai. Isliye Liouville sirf frictionless, Hamiltonian world mein rehta hai.

---

Active Recall