Liouville's theorem — phase space volume conservation

2.1.14 · Physics › Analytical Mechanics

WHY karte hain hum phase space volume ki parwah?

Phase space KYA hai? $N$ degrees of freedom wale system ke liye, state ek single point hoti hai $(q_{1}, \dots, q_{N}, p_{1}, \dots, p_{N})$ ek $2 N$ -dimensional space mein. Poora future is point se determine hota hai — Hamilton's equations ise ek unique trajectory par push karti hain.

"Blob" kyun, point kyun nahi? Kyunki reality mein hum exact state kabhi nahi jaante. Hum jaante hain ki woh ek chhoti region mein kahin hai. Statistical mechanics literally points ke clouds (ensembles) ke flow ka study hai. Agar un points ki density badal jaati, toh probability conserve nahi hoti aur stat-mech ki poori neenv hil jaati.

Gehri payoff: Liouville's theorem mechanics se statistical mechanics ka bridge hai. Yeh phase-space density $ρ$ ko ek conserved "fluid" maanने ko justify karta hai.

Setup: phase space flow ko ek fluid ki tarah dekhna

HOW derive karein — continuity equation se

Step 1 — Points ka conservation. Points flow karte waqt na create hote hain na destroy. Koi bhi fluid jo apna "stuff" conserve karta hai woh ek continuity equation follow karta hai: $\frac{\partial ρ}{\partial t} + \nabla \cdot (ρ \dot{x}) = 0.$ Yeh step kyun? Yeh bas "ek box ke andar density ka rate of change = net flux bahar" hai. Yeh wahi equation hai jo ordinary fluids mein mass conservation ke liye hoti hai; abhi Hamilton ka kuch nahi aaya.

Step 2 — Divergence expand karo. $\nabla \cdot (ρ \dot{x}) = \dot{x} \cdot \nabla ρ + ρ (\nabla \cdot \dot{x}) .$ Kyun? Product rule. Pehla term hai "flow ke saath carry hone wali density", doosra hai "flow khud kitna expand/compress karta hai".

Step 3 — Flow ka divergence compute karo. Yahan Hamilton aata hai:

= \sum_i\left(\frac{\partial}{\partial q_i}\frac{\partial H}{\partial p_i} + \frac{\partial}{\partial p_i}\Big(\!-\frac{\partial H}{\partial q_i}\Big)\right).$$ *Yeh step kyun?* Divergence mein Hamilton's equations substitute karo. Ab mixed partials ki equality use karo: $$\frac{\partial^2 H}{\partial q_i\partial p_i} - \frac{\partial^2 H}{\partial p_i\partial q_i} = 0.$$ Toh $$\boxed{\;\nabla\!\cdot\dot{\mathbf{x}} = 0\;}$$ **Phase-space flow divergence-free hai** — yeh proof ka dil hai. **Step 4 — Assemble karo.** Wapas plug in karne par: $$\frac{\partial\rho}{\partial t} + \dot{\mathbf{x}}\cdot\nabla\rho = 0.$$ Left side exactly ==total (material/convective) derivative== $\dfrac{d\rho}{dt}$ hai. > [!formula] Liouville's Theorem > $$\frac{d\rho}{dt} = \frac{\partial\rho}{\partial t} + \sum_i\left(\frac{\partial\rho}{\partial q_i}\dot q_i + \frac{\partial\rho}{\partial p_i}\dot p_i\right) = 0.$$ > Poisson-bracket form mein: > $$\frac{\partial\rho}{\partial t} = -\{\rho,H\}.$$ > **Matlab:** Ek phase point ke saath *chalte hue*, jo local density tum dekhte ho woh constant hai. Equivalently, kisi bhi region ka **phase-space volume** conserved hota hai. > [!intuition] "Volume conserved" "divergence zero" se kyun follow karta hai > Ek flowing blob ka volume is rate se badalta hai: $\frac{dV}{dt}=\int \nabla\!\cdot\dot{\mathbf{x}}\;dV$. Chunki divergence har jagah zero hai, $\frac{dV}{dt}=0$. Wohi maths hai jisse ek incompressible fluid apna volume rakhta hai. ![[2.1.14-Liouville's-theorem-—-phase-space-volume-conservation.png]] --- ## Worked Example 1 — 1D mein Free Particle System: $H=\dfrac{p^2}{2m}$, toh $\dot q = p/m,\ \dot p = 0$. Phase space mein $t=0$ par ek rectangle: $q\in[0,\Delta q]$, $p\in[p_0,p_0+\Delta p]$, area $A_0=\Delta q\,\Delta p$. Time $t$ ke baad: har point $q\to q + (p/m)t$ par move karta hai. Zyada $p$ wale points zyada right shift hote hain — rectangle **shear hokar ek parallelogram** ban jaata hai. - Nayi base ($q$ ke along): top edge neeche wali edge ke relative extra $(\Delta p/m)t$ shift hoti hai. - *Yeh step kyun?* Shear area preserve karta hai: parallelogram ka area = base $\times$ height, aur vertical height $\Delta p$ unchanged rehti hai ($\dot p=0$). $$A(t) = \Delta q \cdot \Delta p = A_0.$$ **Volume conserved**, chahe shape distort ho jaaye. --- ## Worked Example 2 — Harmonic Oscillator $H=\dfrac{p^2}{2m}+\tfrac12 m\omega^2 q^2$. Trajectories **ellipses** hain; rescale karo $Q=\sqrt{m\omega}\,q$, $P=p/\sqrt{m\omega}$ → trajectories **circles** ban jaate hain jo angular speed $\omega$ se rotate karte hain. Ek blob bas origin ke around **rigidly rotate** karta hai. - *Yeh step kyun?* Rigid rotation volume-preserving hota hai (iska Jacobian ek rotation matrix hai, $\det=1$). Divergence directly check karo: $$\frac{\partial\dot q}{\partial q}+\frac{\partial\dot p}{\partial p} =\frac{\partial}{\partial q}\frac{p}{m} + \frac{\partial}{\partial p}(-m\omega^2 q)=0+0=0.\ \checkmark$$ --- ## Worked Example 3 — Ek *non*-Hamiltonian counterexample (steel-man) Damped oscillator: $\dot q = p/m,\ \dot p = -m\omega^2 q - \gamma p$ (friction). Ab $$\nabla\!\cdot\dot{\mathbf{x}} = 0 + (-\gamma) = -\gamma \ne 0.$$ Blob **shrink karta hai** (origin attractor mein spiral karta hai). *Kyun?* Friction ek Hamiltonian se derivable nahi hai — energy leak hoti hai, points pile up ho jaate hain. Yeh dikhata hai ki Liouville ko ek true Hamiltonian system chahiye. --- > [!mistake] Apni galtiyon ko steel-man karo > **Galat idea:** "Volume conserved matlab blob ki *shape* preserve hoti hai." > *Kyun sahi lagta hai:* "conservation" sun ke lagta hai "same rehta hai". > **Fix:** Sirf **volume (measure)** conserved hota hai. Blob generally patalee filaments mein stretch ho jaata hai (aise hi chaos & mixing hota hai). Socho coffee mein cream stirring: same volume, bilkul alag shape. > > **Galat idea:** "Liouville kehta hai density $\rho$ har jagah constant hai." > *Kyun sahi lagta hai:* $d\rho/dt=0$ dekh ke lagta hai "$\rho$ = const". > **Fix:** $\rho$ sirf *ek trajectory ke saath* constant hai (comoving frame mein), **space mein uniform nahi**. Partial $\partial\rho/\partial t$ nonzero ho sakta hai. > > **Galat idea:** "Yeh kisi bhi equations of motion ke liye kaam karta hai." > **Fix:** Iske liye flow **divergence-free** hona chahiye, jo *sirf* Hamilton's equations se guaranteed hota hai (mixed-partial cancellation). Dissipative systems ise violate karte hain (Example 3). --- > [!recall]- Feynman: ek 12-saal ke bacche ko samjhao > Socho tiny bees ka ek jhund, har bee tumhare system ki ek possible state hai. Jaise time beeetta hai, har bee apne path par udti hai jo physics ke rules ne set kiya. Liouville's theorem kehta hai: chahe jhund ek direction mein bahut pataala ho jaaye, woh doosri direction mein uthna utna hi phool jaata hai — isliye **jhund jo space bhar raha hai woh kabhi nahi badalta**. Tum jhund ko chhote box mein squeeze nahi kar sakte. Yeh bees ka ek unburstable, unshrinkable balloon hai. > [!mnemonic] Yaad rakho > **"Hamilton's flow is DIV-FREE, so volume's GUARANTEE."** > Mixed partials cancel hote hain ($\partial^2H/\partial q\partial p = \partial^2H/\partial p\partial q$) → divergence $=0$ → incompressible → $dV/dt=0$. --- ## Active Recall > [!recall] Quick self-test > 1. Kaunsi ek property Hamiltonian flow ki volume conservation karti hai? > 2. Kya Liouville's theorem kehta hai ki phase blob ki *shape* preserve hoti hai? > 3. Proof mein exactly kahan Hamilton's equations enter karte hain? #flashcards/physics Liouville's theorem kya kehta hai? ::: Phase-space density ek trajectory ke saath constant hoti hai ($d\rho/dt=0$); equivalently koi bhi phase-space volume Hamiltonian flow ke under conserved hota hai. Proof ka crux kaunsi property hai phase-space velocity field ki? ::: Woh divergence-free hai, $\nabla\cdot\dot{\mathbf{x}}=0$. Hamiltonian flow divergence-free kyun hai? ::: Kyunki $\frac{\partial\dot q_i}{\partial q_i}+\frac{\partial\dot p_i}{\partial p_i}=\frac{\partial^2H}{\partial q_i\partial p_i}-\frac{\partial^2H}{\partial p_i\partial q_i}=0$ (mixed partials ki equality). Hamilton invoke karne se pehle point-conservation kaunsi equation deta hai? ::: Continuity equation $\partial_t\rho+\nabla\cdot(\rho\dot{\mathbf{x}})=0$. Liouville Poisson-bracket form mein? ::: $\partial\rho/\partial t = -\{\rho,H\}$. Kya Liouville ke hisaab se phase-space density har jagah uniform hai? ::: Nahi — $\rho$ sirf *ek trajectory follow karte hue* constant hai (material derivative), space mein uniform nahi. Kya volume conservation blob ko shape change karne se rokta hai? ::: Nahi; blob stretch aur fold ho sakta hai (jisse mixing/chaos enable hoti hai); sirf uska volume invariant hai. Ek damped (dissipative) system mein phase volume ka kya hota hai? ::: Woh shrink karta hai kyunki $\nabla\cdot\dot{\mathbf{x}}=-\gamma<0$; Liouville fail ho jaata hai (Hamiltonian nahi hai). 1D free particle ke liye ek phase rectangle kaise evolve karta hai? ::: Woh equal area ke parallelogram mein shear ho jaata hai (volume conserved). Rescaled coordinates mein harmonic oscillator ke liye ek blob kaise move karta hai? ::: Woh angular frequency $\omega$ se rigidly rotate karta hai, area preserve karta hai. --- ## Connections - [[Hamilton's Equations]] — divergence-free flow provide karte hain. - [[Poisson Brackets]] — compact form $\partial_t\rho=-\{\rho,H\}$ dete hain. - [[Phase Space]] — woh arena jahan theorem rehta hai. - [[Canonical Transformations]] — volume preserve karte hain (Jacobian $=1$); Liouville ek special case hai (time evolution ek canonical transformation hai). - [[Statistical Mechanics — Ensembles]] — $\rho$ ke conserved fluid ki tarah behave karne par rely karta hai. - [[Poincaré Recurrence Theorem]] — finite volume + volume conservation se follow karta hai. - [[Symplectic Geometry]] — volume form symplectic 2-form ka $N$-th wedge power hai. ## 🖼️ Concept Map ```mermaid flowchart TD PS[Phase space 2N-dim] BLOB[Blob of points / ensemble] VEL[Velocity field x-dot] HAM[Hamilton's equations] CONT[Continuity equation] DIV[Divergence of flow] MIXED[Equal mixed partials of H] DIVFREE[Div x-dot = 0] MAT[Material derivative drho/dt = 0] LIOU[Liouville's theorem: volume conserved] STAT[Statistical mechanics] PS -->|state lives in| BLOB BLOB -->|unknown exact state| STAT HAM -->|defines| VEL BLOB -->|points conserved| CONT VEL -->|expand divergence| DIV HAM -->|substituted into| DIV DIV -->|uses| MIXED MIXED -->|forces| DIVFREE CONT -->|combine with| DIVFREE DIVFREE -->|gives| MAT MAT -->|means| LIOU LIOU -->|justifies rho as conserved fluid| STAT ```