Poisson brackets — definition, properties, connection to commutators: Worked examples

2.1.15 · D3 · Physics › Analytical Mechanics › Poisson brackets — definition, properties, connection to com

Kuch bhi shuru karne se pehle, ek reminder sirf us formula ka jo hume chahiye, taaki koi symbol earn kiye bina na aaye:

Definition Bracket, words mein

Do quantities $f$ aur $g$ ke liye jo phase space par rehti hain (har ek sirf ek number hai jo tumhe milta hai jab tum sabhi positions $q_{i}$ aur sabhi momenta $p_{i}$ jaante ho), Poisson bracket hai ${f, g} \equiv \sum_{i = 1}^{n} (\frac{\partial f}{\partial q _{i}} \frac{\partial g}{\partial p _{i}} - \frac{\partial f}{\partial p _{i}} \frac{\partial g}{\partial q _{i}}) .$ Ise ek recipe ki tarah padho: " $f$ kitna tilta hai jab main position $q_{i}$ ko thoda nudge karta hun" times " $g$ kitna tilta hai jab main partner momentum $p_{i}$ ko nudge karta hun", minus wohi cheez position aur momentum ke roles swap karke, har degree of freedom $i$ par add karke.

Yahan $\frac{\partial f}{\partial q _{i}}$ ka matlab hai " $f$ ki slope agar main $q_{i}$ ko thoda change karun aur baaki sab freeze rakhu" — yeh ek partial derivative hai. Curly $\partial$ instead of $d$ sirf flag hai ki "sirf yeh ek variable move kar raha hai."

Hum do facts par poori tarah rely karenge, toh inhe named theorems ke roop mein frame karte hain kisi bhi example se pehle.

Ek aur notation sirf Cell F mein use hota hai, toh hum usse wahan define karte hain jahan woh earn hota hai:

The scenario matrix

Yeh grid Figure 1 ke roop mein draw hai — ek visual map jisme nine cells A–I coloured tiles ki tarah laid out hain, taaki dive karne se pehle tum poora territory ek nazar mein dekh sako. Table usi nine cells ko words mein restate karta hai. Har worked example us cell ke saath tagged hai jise woh fill karta hai; saath mein woh poora grid cover karte hain.

Figure 1 — The scenario matrix (nine cells A–I). deepdives/dd-physics-2.1.15-d3-s01.png

Figure kya dikhata hai. Nine rounded tiles ek 3×3 grid mein hain. Top row (mint) mein elementary cases hain: A ${q, p}$ , B ${q, H}$ equations of motion, C degenerate/zero. Middle row (butter) mein structural cases hain jo ek property arrow par lean karte hain: D sign-swap, E product rule, F vector components. Bottom row (lavender) mein advanced cases hain: G explicit time, H ek real-world word problem, I Jacobi exam twist. Ek chhota coral legend strip bottom mein teen difficulty bands ke naam deta hai. Ise apni checklist ki tarah use karo — har tile light up hoti hai jab uska example work hota hai.

Cell	Case class	Kya trip kar sakta hai	Example
A	Dono simple coordinates hain	${q, p}$ ka order aur sign	Ex 1
B	Ek coordinate hai, ek $H$ hai	equations of motion recover karna	Ex 2
C	Zero / degenerate: khud ke saath ya constant ke saath bracket	"kya yeh sirf $0$ hai?"	Ex 3
D	Sign trap: order swap karo	antisymmetry ${f, g} = - {g, f}$	Ex 4
E	Quantities ka product	Leibniz product rule	Ex 5
F	Vector components (saare cyclic 3D indices)	angular-momentum $ϵ_{ij k}$	Ex 6
G	Explicit time dependence (limiting/boundary in $t$ )	$\partial f / \partial t$ term	Ex 7
H	Real-world word problem	physics ko bracket mein translate karna	Ex 8
I	Exam twist: naya conservation law manufacture karo	Jacobi identity / Poisson's theorem	Ex 9

Hum ek degree of freedom ( $n = 1$ , variables $q, p$ ) use karte hain jab tak cell ko 3D ki zaroorat nahi, us case mein coordinates $x, y, z$ hain partner momenta $p_{x}, p_{y}, p_{z}$ ke saath, aur shortcut rules ${x, p_{x}} = 1$ , ${x, p_{y}} = 0$ , wagera.

Cell A — sabse simple bracket

Worked example Ex 1 ·

${q, p}$ (Cell A) Ek degree of freedom ke liye ${q, p}$ compute karo.

Forecast: padhne se pehle number guess karo. Kya yeh $0$ , $1$ , ya $- 1$ hai?

$f = q$ , $g = p$ likho. Recipe mein plug karo: ${q, p} = \frac{\partial q}{\partial q} \frac{\partial p}{\partial p} - \frac{\partial q}{\partial p} \frac{\partial p}{\partial q}$ . Yeh step kyun? Definition hi sirf starting point hai; sab kuch char partial derivatives ki careful bookkeeping hai.
Har slope evaluate karo. $\frac{\partial q}{\partial q} = 1$ ( $q$ khud ke saath fully change hota hai), $\frac{\partial p}{\partial p} = 1$ , $\frac{\partial q}{\partial p} = 0$ ( $q$ ko $p$ ki koi parwah nahi), $\frac{\partial p}{\partial q} = 0$ . Yeh step kyun? $q$ aur $p$ phase space ke independent axes hain; ek ko nudge karo toh doosra kabhi move nahi karta, isliye cross-slopes vanish hote hain.
Combine karo: ${q, p} = (1) (1) - (0) (0) = 1$ . Yeh step kyun? Hum char evaluated slopes ko recipe mein substitute karte hain aur arithmetic karte hain — pehla product $1$ deta hai, doosra product $0$ hai, aur " $1$ minus $0$ " final number hai. Kuch aur contribute nahi kar sakta, toh bracket fully determined hai.

Verify: Yeh canonical bracket hai. Yeh $[\overset{q}{^}, \overset{p}{^}] = i ℏ$ ka classical seed hai (multiply by $i ℏ$ ). Units: $q$ ki length hai, $p$ ka momentum hai, toh ${q, p}$ ki units hain $\frac{length \cdot momentum}{length \cdot momentum} = 1$ , dimensionless — consistent hai ise pure number $1$ ke barabar hone se. ✓

Cell B — bracket with Hamiltonian motion recover karta hai

Worked example Ex 2 ·

${q, H}$ aur ${p, H}$ ek harmonic oscillator ke liye (Cell B) $H = \frac{p ^{2}}{2 m} + \frac{1}{2} m ω^{2} q^{2}$ lo. $\overset{q}{˙}$ aur $\overset{p}{˙}$ find karo.

Forecast: tumhe ek spring ka Newton ka answer pehle se pata hai — momentum position drive karta hai, aur position momentum ko wapas kheenchta hai. Compute karne se pehle dono brackets guess karo.

$\overset{q}{˙} = {q, H} = \frac{\partial q}{\partial q} \frac{\partial H}{\partial p} - \frac{\partial q}{\partial p} \frac{\partial H}{\partial q} = 1 \cdot \frac{\partial H}{\partial p} - 0 = \frac{p}{m}$ . Yeh step kyun? Theorem T1 se $f = q$ ke saath (koi explicit time nahi), $\overset{q}{˙} = {q, H}$ . Sirf pehla term survive karta hai kyunki $\partial q / \partial p = 0$ ; phir $\partial H / \partial p = \partial (p^{2} /2 m) / \partial p = p / m$ .
$\overset{p}{˙} = {p, H} = \frac{\partial p}{\partial q} \frac{\partial H}{\partial p} - \frac{\partial p}{\partial p} \frac{\partial H}{\partial q} = 0 - 1 \cdot \frac{\partial H}{\partial q} = - m ω^{2} q$ . Yeh step kyun? Ab sirf doosra term survive karta hai ( $\partial p / \partial q = 0$ ), aur $\partial H / \partial q = m ω^{2} q$ .
Physics padho: $\overset{q}{˙} = p / m$ matlab "velocity = momentum over mass," aur $\overset{p}{˙} = - m ω^{2} q$ matlab "force = $- k q$ " with $k = m ω^{2}$ . Yeh Hamilton's equations hain.

Verify: $\overset{q}{˙} = p / m$ differentiate karo: $\overset{q}{¨} = \overset{p}{˙} / m = - ω^{2} q$ — simple-harmonic equation, exactly wohi jo ek spring deta hai. ✓ $\overset{p}{˙}$ ki units: $m ω^{2} q$ ki $kg \cdot s^{- 2} \cdot m = N$ hai, ek force. ✓

Cell C — degenerate / zero cases

Worked example Ex 3 ·

${f, f}$ aur ${f, c}$ (Cell C) Kisi bhi quantity ka bracket khud ke saath, aur ek constant $c$ ke saath (maan lo $c = 7$ ) compute karo.

Forecast: inmen se ek zero nahi bhi ho sakta hai — tumhara kaunsa wala sahi lagta hai?

${f, f} = \sum_{i} (\frac{\partial f}{\partial q _{i}} \frac{\partial f}{\partial p _{i}} - \frac{\partial f}{\partial p _{i}} \frac{\partial f}{\partial q _{i}})$ . Dono terms literally identical hain, toh cancel ho jaate hain: ${f, f} = 0$ . Yeh step kyun? Multiplication commute karta hai ( $ab = ba$ ), toh " $q p$ " aur " $pq$ " pieces same number hain ek doosre se subtract kiya hua.
${f, c}$ : ek constant ke har partial derivative zero hota hai, $\frac{\partial c}{\partial q _{i}} = \frac{\partial c}{\partial p _{i}} = 0$ . Dono terms vanish ho jaate hain: ${f, c} = 0$ . Yeh step kyun? Ek constant ki koi slope nahi hoti kahin bhi — yeh phase space par ek flat sheet hai.

Verify: Antisymmetry se sanity: ${f, f} = - {f, f}$ force karta hai $2 {f, f} = 0$ , toh ${f, f} = 0$ independently. ✓ Aur ${f, c} = 0$ kehta hai ek constant trivially conserved hai — obviously true, kyunki $\overset{c}{˙} = {c, H} = 0$ . ✓

Cell D — sign trap

Worked example Ex 4 ·

${p, q}$ vs ${q, p}$ (Cell D) ${p, q}$ compute karo aur Ex 1 se compare karo.

Forecast: bahut saare students kehte hain ${p, q} = 1$ "kyunki brackets dot product ki tarah symmetric hote hain." Kya yeh sahi hai?

${p, q} = \frac{\partial p}{\partial q} \frac{\partial q}{\partial p} - \frac{\partial p}{\partial p} \frac{\partial q}{\partial q} = 0 - 1 \cdot 1 = - 1$ . Yeh step kyun? Hum bas recipe apply karte hain $f = p, g = q$ ke saath: pehla product cross-slopes use karta hai ( $0$ ), doosra self-slopes use karta hai ( $1 \cdot 1$ ), aur " $0$ minus $1$ " hai $- 1$ .
Toh ${p, q} = - {q, p} = - 1$ . Yeh step kyun? Hum property wheel (Figure 2) se antisymmetry arrow invoke karte hain: $f$ aur $g$ swap karna literally recipe ke dono terms exchange karta hai, toh poora bracket sign flip karta hai. Yeh $- 1$ tak ek doosra, independent rasta deta hai — aur confirm karta hai ki ${q, p} = 1$ Ex 1 se ${p, q}$ ka opposite sign hona chahiye.

Verify: Yeh exactly antisymmetry hai: ${f, g} = - {g, f}$ . Bracket dot product ki tarah nahi hai (jo symmetric hai); yeh cross product ki tarah behave karta hai — order matters hai, aur swap karna sign flip karta hai. ✓

Jo properties hum baar baar reach karte hain woh Figure 2, property wheel mein collected hain:

Figure 2 — The Poisson-bracket property wheel. deepdives/dd-physics-2.1.15-d3-s02.png

Figure kya dikhata hai. Ek soft central hub labeled ${f, g}$ — bracket khud. Chhe coloured arrows fan out hote hain, har ek ek property ki taraf jo bracket obey karta hai: ek coral arrow Antisymmetry ${f, g} = - {g, f}$ ki taraf (swap sign flip karta hai, Ex 4 mein use hota hai); ek mint arrow Bilinearity ${a f + b g, h} = a {f, h} + b {g, h}$ ki taraf (sums split karo, constants bahar nikalo, Ex 8 mein use hota hai); ek butter arrow Leibniz ${f g, h} = f {g, h} + {f, h} g$ ki taraf (products ordinary derivatives ki tarah split hote hain, Ex 5 mein use hota hai); ek lavender arrow Jacobi ki taraf (cyclic sum zero hai, Ex 9 mein use hota hai); ek doosra mint arrow Constants ${f, c} = 0$ ki taraf (Ex 3); aur ek lavender arrow Canonical ${q, p} = 1$ ki taraf (Ex 1). Neeche har calculation sirf yeh hai: "main abhi kaunsa arrow use kar raha hun?"

Cell E — product rule

Worked example Ex 5 ·

${q^{2}, p}$ Leibniz se (Cell E) ${q^{2}, p}$ do tarike se compute karo: directly, aur product rule ${f g, h} = f {g, h} + {f, h} g$ use karke.

Forecast: answer guess karo, phir guess karo ki kya dono methods agree karte hain.

Direct: ${q^{2}, p} = \frac{\partial ( q ^{2} )}{\partial q} \frac{\partial p}{\partial p} - \frac{\partial ( q ^{2} )}{\partial p} \frac{\partial p}{\partial q} = (2 q) (1) - (0) (0) = 2 q$ . Yeh step kyun? $\partial (q^{2}) / \partial q = 2 q$ ordinary power rule se; doosra term mar jaata hai kyunki $q^{2}$ mein koi $p$ nahi.
Leibniz: $q^{2} = q \cdot q$ likho, toh ${q \cdot q, p} = q {q, p} + {q, p} q = q (1) + (1) q = 2 q$ . Yeh step kyun? Bracket pehle derivatives se bana hai, toh yeh differentiation ka product rule inherit karta hai — exactly Leibniz property (butter arrow, Figure 2).

Verify: Dono $2 q$ dete hain. ✓ Sanity: yeh $\partial (q^{2}) / \partial q$ hai $\partial H / \partial p$ logic ke saath paired — $p$ ke saath bracket $\partial / \partial q$ ki tarah act karta hai, jo $q^{2}$ ko $2 q$ mein turn karta hai. ✓

Cell F — vector components, saare index cases

Worked example Ex 6 · Angular-momentum algebra

${L_{i}, L_{j}}$ (Cell F) $L_{x} = y p_{z} - z p_{y}$ , $L_{y} = z p_{x} - x p_{z}$ , $L_{z} = x p_{y} - y p_{x}$ ke saath, ${L_{x}, L_{y}}$ compute karo.

Forecast: answer teen components mein se ek hai. Kaunsa, aur kaunse sign ke saath?

Cyclic sign rule Figure 3, angular-momentum ring mein draw hai:

Figure 3 — The cyclic ring for ${L_{i}, L_{j}}$ . deepdives/dd-physics-2.1.15-d3-s03.png

Figure kya dikhata hai. Teen pastel circles ek triangle ke corners par: $L_{x}$ (lavender, top), $L_{y}$ (mint, lower-left), $L_{z}$ (butter, lower-right). Curved lavender arrows ring ko positive cyclic direction $x \to y \to z \to x$ mein sweep karte hain: do components us forward order mein bracket karo aur answer agla component $+$ sign ke saath hai, toh ${L_{x}, L_{y}} = + L_{z}$ . Ek dashed coral arrow backward run karta hai, $y \to x$ , yaad dilata hai ki arrows ke against (anti-cyclic) padhne par minus sign milta hai, e.g. ${L_{y}, L_{x}} = - L_{z}$ . Yahi $ϵ_{ij k}$ rule visual hai: forward $= + 1$ , backward $= - 1$ .

Bilinearity use karke expand karo: ${L_{x}, L_{y}} = {y p_{z} - z p_{y}, z p_{x} - x p_{z}}$ char brackets mein split hota hai. Sirf woh pairs survive karte hain jo ek canonical partner share karte hain. Yeh step kyun? ${y p_{z}, z p_{x}}$ jaisa bracket nonzero sirf tab hota hai jab ek coordinate apne momentum se milta hai, kyunki ${x, p_{x}} = 1$ lekin ${x, p_{y}} = 0$ .
Surviving contributions $z$ aur $p_{z}$ terms se aate hain. Dhyan se: ${y p_{z}, z p_{x}} = y p_{x} {p_{z}, z} = y p_{x} (- 1) = - y p_{x}$ , aur ${- z p_{y}, - x p_{z}} = x p_{y} {z, p_{z}} = x p_{y} (1) = x p_{y}$ ; char brackets ke baaki do ( ${y p_{z}, - x p_{z}}$ aur ${- z p_{y}, z p_{x}}$ ) mein koi matching coordinate–momentum pair nahi hai aur woh vanish ho jaate hain. Yeh step kyun? Spectator factors ko constants ki tarah treat karo (Leibniz), $y p_{x}$ aur $x p_{y}$ bahar nikalo, elementary brackets ${p_{z}, z} = - 1$ aur ${z, p_{z}} = 1$ bacha ke.
Do survivors sum karo: ${L_{x}, L_{y}} = - y p_{x} + x p_{y} = x p_{y} - y p_{x} = L_{z}$ . Yeh step kyun? Hum step 2 ke do nonzero pieces add karte hain aur reorder karte hain. Combination $- y p_{x} + x p_{y}$ letter-for-letter $L_{z} = x p_{y} - y p_{x}$ ki definition hai — toh messy four-term expansion ek single named quantity mein collapse hoti hai bina kisi leftover term ke. Final answer therefore exactly $L_{z}$ hai, positive sign ke saath, Figure 3 mein ring par forward direction se match karta hua.

Verify: Yeh $ϵ_{ij k}$ rule ${L_{i}, L_{j}} = ϵ_{ij k} L_{k}$ hai $(i, j, k) = (x, y, z)$ ke saath: kyunki $(x, y, z)$ cyclic hai, $ϵ_{x y z} = + 1$ , toh ${L_{x}, L_{y}} = + L_{z}$ . ✓ Quantize karo toh $[\hat{L}_{x}, \hat{L}_{y}] = i ℏ \hat{L}_{z}$ milta hai. ✓

Cell G — explicit time dependence (boundary case)

Worked example Ex 7 · Ek quantity jo apna khud ka clock carry karti hai (Cell G)

Ek particle constant force $F$ feel karta hai, toh $H = \frac{p ^{2}}{2 m} - F q$ . Dikhao ki quantity $f = p - F t$ conserved hai.

Forecast: $p$ akela time mein badhta hai (force push karta hai). Kya $F t$ subtract karna use freeze kar sakta hai?

Full law (Theorem T1): $\frac{df}{d t} = {f, H} + \frac{\partial f}{\partial t}$ . Hume last term DROP NAHI KARNA CHAHIYE kyunki $f$ explicitly $t$ mention karta hai. Yeh step kyun? Bracket sirf dekhta hai ki $f$ phase-space flow par kaise ride karta hai; $f$ ke andar ek explicit $t$ extra motion hai jo bracket nahi jaanta, toh T1 ka doosra term exactly wohi account karta hai.
Bracket part: ${p - F t, H} = {p, H}$ ( $- F t$ piece phase space mein ek constant hai, bracket $0$ ). Aur ${p, H} = - \frac{\partial H}{\partial q} = - (- F) = F$ . Yeh step kyun? ${p, H} = - \partial H / \partial q$ recipe se; yahan $\partial H / \partial q = - F$ .
Explicit term: $\frac{\partial f}{\partial t} = \frac{\partial ( p - F t )}{\partial t} = - F$ . Yeh step kyun? $q, p$ freeze karo aur $f$ ko sirf $t$ mein differentiate karo.
Add karo: $\frac{df}{d t} = F + (- F) = 0$ . Toh $f = p - F t$ conserved hai. Yeh step kyun? Hum T1 ke dono contributions combine karte hain. Flow term (step 2) kehta hai current $p$ ko rate $+ F$ par upward push karta hai; explicit-clock term (step 3) $F t$ ko rate $- F$ par subtract karta hai. Yeh construction se equal aur opposite hain, toh exactly cancel ho jaate hain aur total change zero hai — yahi "conserved" ka matlab hai.

Verify: Newton se, $\overset{p}{˙} = F$ toh $p = p_{0} + F t$ , deta hai $p - F t = p_{0} =$ constant. ✓ Explicit term essential tha — ise drop karne par (galat) $\dot{f} = F \neq = 0$ milta.

Cell H — ek real-world word problem

Worked example Ex 8 · Kya frictionless track par do beads ka total momentum conserved hai? (Cell H)

Do beads ek wire par sirf ek doosre ke through potential $V (q_{1} - q_{2})$ se interact karte hain (yeh sirf unke separation par depend karta hai). $H = \frac{p _{1}^{2}}{2 m} + \frac{p _{2}^{2}}{2 m} + V (q_{1} - q_{2})$ . Total momentum $P = p_{1} + p_{2}$ lo. Kya yeh conserved hai?

Forecast: intuitively, internal forces equal aur opposite hote hain (Newton's third law), toh total momentum nahi change hona chahiye. Bracket ko confirm karne do.

Conservation test ${P, H}$ se karo (koi explicit $t$ nahi, toh Theorem T1 se $\dot{P} = {P, H}$ ). Yeh step kyun? Ek quantity jiski ${f, H} = 0$ hai aur koi explicit time nahi woh conserved hai — wahi master test T1 hai last term ke bina.
${P, H} = {p_{1} + p_{2}, H} = {p_{1}, H} + {p_{2}, H}$ . Yeh step kyun? Hum Figure 2 se bilinearity arrow use karte hain: bracket apne pehle slot mein additive hai, toh ek sum ka bracket, brackets ke sum mein split hota hai. Yeh hume har bead ka momentum alag-alag handle karne deta hai.
${p_{1}, H} = - \frac{\partial H}{\partial q _{1}} = - V^{'} (q_{1} - q_{2})$ aur ${p_{2}, H} = - \frac{\partial H}{\partial q _{2}} = - V^{'} (q_{1} - q_{2}) \cdot (- 1) = + V^{'} (q_{1} - q_{2})$ . Yeh step kyun? Har ${p_{i}, H} = - \partial H / \partial q_{i}$ recipe se. Ab chain rule essential hai: $V$ single combination $u = q_{1} - q_{2}$ ka function hai, toh $\partial V / \partial q_{1} = V^{'} (u) \cdot (+ 1)$ jabki $\partial V / \partial q_{2} = V^{'} (u) \cdot (- 1)$ . Opposite inner derivatives $+ 1$ aur $- 1$ poori kahaani hain.
Add karo: ${P, H} = - V^{'} + V^{'} = 0$ . Total momentum conserved hai. Yeh step kyun? Hum step 3 ke dono contributions sum karte hain. Kyunki chain rule ne hume bead 1 se $- V^{'}$ aur exactly bead 2 se $+ V^{'}$ diya, terms size mein equal aur sign mein opposite hain, toh woh annihilate ho jaate hain — ${P, H} = 0$ chhod ke kuch nahi.

Verify: Cancellation Newton's third law disguise mein hai: bead 1 par force $- V^{'}$ hai, bead 2 par $+ V^{'}$ — equal aur opposite. Forces ka sum $= 0 \Rightarrow \dot{P} = 0$ . ✓ Yeh Noether's Theorem & Conservation Laws bhi hai: $H$ unchanged rehta hai agar tum dono beads ko same amount shift karo (translation symmetry) $\Rightarrow$ total momentum conserved.

Cell I — exam twist: ek conservation law manufacture karo

Worked example Ex 9 · Do conserved quantities teesra produce karte hain (Cell I)

Ek system $L_{x}$ aur $L_{y}$ conserve karta hai (dono ke liye ${L_{x}, H} = {L_{y}, H} = 0$ ). Prove karo ki $L_{z}$ automatically conserved hai bhi, $H$ ki details touch kiye bina.

Forecast: tum soch sakte ho ki tumhe ${L_{z}, H}$ scratch se recompute karna hoga. Jacobi identity ise free mein deta hai — guess karo kaise.

Ex 6 se recall karo ki ${L_{x}, L_{y}} = L_{z}$ . Toh " $L_{z}$ conserved hai" prove karna, yaani ${L_{z}, H} = 0$ , same hai jaisa ${{L_{x}, L_{y}}, H} = 0$ prove karna. Yeh step kyun? Hum unknown $L_{z}$ ko do cheezों ke bracket ke roop mein rewrite karte hain jo hum already jaante hain conserved hain. Sirf tabhi Jacobi — jo brackets-of-brackets ke baare mein ek statement hai — grip pa sakta hai.
Theorem T2 (Jacobi) likho teen quantities $f = L_{x}$ , $g = L_{y}$ , $h = H$ ke saath: ${L_{x}, {L_{y}, H}} + {L_{y}, {H, L_{x}}} + {H, {L_{x}, L_{y}}} = 0.$ Yeh step kyun? Jacobi woh ek algebraic law hai jo teen quantities ko nested brackets ke through relate karta hai, toh yeh exactly tool hai "kya naya object ${L_{x}, L_{y}}$ bhi $H$ ke saath commute karta hai?" ke liye. Hum bas apni teen quantities ko iske cyclic pattern $f \to g \to h \to f$ mein slot karte hain.
Pehle do terms ko assumptions use karke kill karo. Pehle term ka inner bracket ${L_{y}, H} = 0$ hai (given), toh ${L_{x}, 0} = 0$ . Doosre term ka inner bracket ${H, L_{x}} = - {L_{x}, H} = - 0 = 0$ hai (given ${L_{x}, H} = 0$ , phir antisymmetry), toh ${L_{y}, 0} = 0$ . Yeh step kyun? $L_{x}$ aur $L_{y}$ dono conserved hain, toh ${L_{x}, H}$ ya ${L_{y}, H}$ par built koi bhi bracket ek bracket ke roop mein $0$ ke saath collapse hota hai, jo $0$ hai Constants arrow se. Antisymmetry hi hai jo ${H, L_{x}}$ ko $- {L_{x}, H}$ mein turn karta hai taaki hum given fact use kar sakein.
T2 se jo bachta hai woh hai ${H, {L_{x}, L_{y}}} = 0$ . Antisymmetry se flip karo: ${{L_{x}, L_{y}}, H} = - {H, {L_{x}, L_{y}}} = 0$ . Kyunki ${L_{x}, L_{y}} = L_{z}$ , yeh padhta hai ${L_{z}, H} = 0$ . Yeh step kyun? Teen Jacobi terms mein se do gone hain ke saath, identity " $0 + 0 + (third) = 0$ " third term ko vanish hone ke liye force karti hai. Ek last antisymmetry flip ise standard " ${f, H}$ " order mein daalta hai, aur ${L_{x}, L_{y}} = L_{z}$ substitute karna conclusion deliver karta hai.
Theorem T1 se (koi explicit time nahi $L_{z}$ mein), $\dot{L}_{z} = {L_{z}, H} = 0$ , toh $L_{z}$ conserved hai. ∎ Yeh step kyun? Conservation T1 ke through defined hai; yeh dikhane ke baad ki $H$ ke saath bracket vanish hota hai, time-evolution law immediately $L_{z}$ ko constant certify karta hai.

Verify: Yeh Poisson's theorem hai: do constants of motion ka bracket khud ek constant of motion hai. Physically, agar angular momentum ke do components conserved hain (do axes ke around rotational symmetry), toh full rotational symmetry follow kati hai aur sabhi $L$ conserved hai. ✓ Quantizing echo karta hai: simultaneous symmetry generators ek Lie algebra mein close ho jaate hain — dekho Angular Momentum Algebra.

Recall Quick self-test

${p, q} =$ ? ::: $- 1$ (antisymmetry ${q, p} = 1$ flip karta hai). ${q^{2}, p} =$ ? ::: $2 q$ (power rule / Leibniz). ${L_{x}, L_{y}} =$ ? ::: $+ L_{z}$ (cyclic $x \to y \to z$ ). Agar $f = p - F t$ force $F$ ke under hai, kya $f$ conserved hai? ::: Haan — bracket $+ F$ deta hai, explicit term $- F$ deta hai, sum $0$ . Do conserved $A, B$ : ${A, B}$ kya hai? ::: Yeh bhi conserved hai (Poisson's theorem, Jacobi se).

Connections

Parent topic (Hinglish) — core definition aur properties.
Hamiltonian Mechanics — woh $H$ aur Hamilton's equations supply karta hai jo Cells B, G, H mein use hote hain.
Noether's Theorem & Conservation Laws — Cell H ke peeche ki symmetry kahaani.
Angular Momentum Algebra — Cells F aur I yahan rehte hain.
Commutators in Quantum Mechanics — upar har classical bracket ka ek $\frac{1}{i ℏ} [\cdot]$ twin hai.
Canonical Transformations — isliye brackets jaise ${q, p} = 1$ preserved hote hain.
Liouville's Theorem — woh flow jiski "current" brackets measure karti hain.