Poisson brackets — definition, properties, connection to commutators: Question bank

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

Reminders jinpe tum rely karoge (sab parent note mein build hue hain):

The bracket ${f, g} = \sum_{i} (\frac{\partial f}{\partial q _{i}} \frac{\partial g}{\partial p _{i}} - \frac{\partial f}{\partial p _{i}} \frac{\partial g}{\partial q _{i}})$ — " $q$ -then- $p$ minus $p$ -then- $q$ ".
Equation of motion: $\frac{df}{d t} = {f, H} + \frac{\partial f}{\partial t}$ .
Fundamental brackets: ${q_{i}, p_{j}} = δ_{ij}$ , ${q_{i}, q_{j}} = {p_{i}, p_{j}} = 0$ .
Quantization map: ${f, g} \to \frac{1}{i ℏ} [\hat{f}, \overset{g}{^}]$ .

True or false — justify

True or false:

{f, f} = 0

har phase-space function

f

ke liye.

True — antisymmetry force karta hai

{f, f} = - {f, f}

, aur sirf zero hi aisa number hai jo apne negative ke equal ho. Koi calculation nahi chahiye.

True or false:

{p, q} = 1

, bilkul

{q, p} = 1

ki tarah.

False. Bracket antisymmetric hai, isliye

{p, q} = - {q, p} = - 1

. Dot product se alag, yahan order badalne se sign flip ho jaata hai.

True or false: agar

{f, H} = 0

hai to

f

automatically conserved hai.

Tabhi, jab

f

mein explicit time dependence na ho. Poora law hai

\frac{df}{d t} = {f, H} + \frac{\partial f}{\partial t}

, isliye ek time-dependent

f

ke liye

{f, H} = 0

hote hue bhi value change ho sakti hai.

True or false: Poisson bracket ko apni definition mein Hamilton's equations built-in chahiye hote hain.

False. Bracket pure kinematics hai — sirf derivatives. Dynamics tab aati hai jab tum doosre slot mein

H

rakhte ho aur Hamilton's equations plug in karte ho.

True or false:

{f, c} = 0

kisi bhi constant

c

ke liye.

True — ek constant ka har

q_{i}

aur

p_{i}

ke saath derivative zero hota hai, isliye sum ka har term zero ho jaata hai.

True or false: kyunki

{q, p} = 1

aur quantization

{f, g} \to \frac{1}{i ℏ} [\hat{f}, \overset{g}{^}]

bhejta hai, hume

[\overset{q}{^}, \overset{p}{^}] = 1

milta hai.

False. Wapas multiply karo:

{q, p} = \frac{1}{i ℏ} [\overset{q}{^}, \overset{p}{^}]

deta hai

[\overset{q}{^}, \overset{p}{^}] = i ℏ

i ℏ

drop karne se units aur

ℏ \to 0

limit dono toot jaate hain.

True or false: do conserved quantities ka Poisson bracket phir se conserved hota hai.

True — yahi Poisson's theorem hai, jo Jacobi identity ka consequence hai. Agar

{A, H} = {B, H} = 0

, to Jacobi force karta hai

{H, {A, B}} = 0

True or false:

{f, g}

ek number hai.

Aam taur par False — yeh phase space par ek aur function hai, jo khud

(q, p, t)

par depend karta hai. Yeh number tabhi banta hai jab derivatives collapse ho jaate hain (jaise

{q_{i}, p_{j}} = δ_{ij}

mein).

True or false: bracket coordinate aur momentum roles swap karne par symmetric hai, isliye

{q, q}

aur

{p, p}

dono

1

hain.

False.

{q_{i}, q_{j}} = 0

aur

{p_{i}, p_{j}} = 0

; sirf mixed

q

–

p

pairs hi nonzero

δ_{ij}

dete hain. Ek hi type ke do variables definition mein kabhi pair nahi karte.

Spot the error

Ek student likhta hai

{f g, h} = f {g, h} \cdot g {f, h}

. Kya galat hai?

Leibniz rule ek sum hai, product nahi:

{f g, h} = f {g, h} + {f, h} g

. Bracket pehle derivatives se bana hai, jo additive product rule follow karte hain.

Ek student conclude karta hai "

H

hamesha conserved hai kyunki

{H, H} = 0

." Kya flaw hai?

{H, H} = 0

sirf

\frac{d H}{d t} = \frac{\partial H}{\partial t}

deta hai. Agar

H

explicitly time par depend karta hai (jaise ek driven oscillator), to zero bracket ke bawajood energy conserved nahi hai.

Ek student claim karta hai

{L_{x}, L_{z}} = + L_{y}

. Sign kahan slip hui?

Sahi result hai

{L_{x}, L_{z}} = - L_{y}

. General rule

{L_{i}, L_{j}} = ϵ_{ij k} L_{k}

mein

ϵ_{132} = - 1

hai, isliye ordering

x, z

se minus sign aata hai.

Ek student likhta hai

\frac{df}{d t} = {H, f} + \frac{\partial f}{\partial t}

. Kya galat hai?

Order ulta hai. Hona chahiye

{f, H}

;

{H, f}

likhne se dynamical term ka sign flip ho jaata hai, jo time evolution ki galat direction deta hai.

Ek student kehta hai "brackets aur commutators literally same object hain." Use sahi karo.

Dono same algebra share karte hain (antisymmetry, bilinearity, Leibniz, Jacobi) lekin alag worlds mein rehte hain: brackets classical functions par act karte hain, commutators operators par. Inke beech map mein

\frac{1}{i ℏ}

ka factor aata hai.

Ek student

{a f + b g, h}

ab {f, h} + {g, h}

expand karta hai. Theek karo.

Bilinearity hai

{a f + b g, h} = a {f, h} + b {g, h}

— constants apne-apne terms ke saath attached rehte hain, ye aapas mein multiply nahi hote.

Why questions

Bracket mein

q

-then-

p

minus

p

-then-

q

kyun use hota hai, plus kyun nahi?

Minus sign hi bracket ko antisymmetric banata hai, jo encode karta hai ki

q

aur

p

conjugate partners hain jinke Hamilton's equations mein opposite roles hain (

\overset{q}{˙} = + \partial H / \partial p

\overset{p}{˙} = - \partial H / \partial q

Jacobi identity physically kyun matter karti hai?

Yeh guarantee karta hai ki do conserved quantities ka bracket conserved hoga, isliye tum naye conservation laws generate kar sakte ho — jaise angular momentum ke do components se teesra milna.

Quantization map mein

\frac{1}{i ℏ}

ka factor kyun hona zaroori hai?

Yeh units fix karta hai (classical bracket aur commutator ki dimensions alag hain) aur ensure karta hai ki

ℏ \to 0

correctly classical equation of motion recover kare.

Hamilton's equations ko

\frac{df}{d t} = {f, H}

ka special case kyun keh sakte hain?

f = q_{i}

rakhne par

\overset{q}{˙}_{i} = \partial H / \partial p_{i}

milta hai, aur

f = p_{i}

rakhne par

\overset{p}{˙}_{i} = - \partial H / \partial q_{i}

. Bracket formalism

f

ki coordinate-choice ke roop mein mechanics ko apne andar contain karta hai.

{f, H} = 0

conserved quantity ke liye natural test kyun hai?

Kyunki

H

ke saath bracket hi

f

ki rate of change hai flow ke saath (explicit time dependence ko chhodke). Zero flow matlab quantity dynamics ke saath unchanged carry hoti hai.

Edge cases

Ek free particle

H = \frac{p ^{2}}{2 m}

ke liye,

{p, H}

kya hai aur kyun?

Yeh

0

hai:

H

mein

q

-dependence nahi hai, isliye

\partial H / \partial q = 0

, aur

\frac{\partial p}{\partial q}

term bhi zero hai. Momentum conserved hai.

Constant force ke under,

f = p - F t

hai. Kya

{f, H}

akela

\frac{df}{d t}

describe karne ke liye kaafi hai?

Nahi —

f

explicitly

t

par depend karta hai, isliye

\frac{df}{d t} = {f, H} + \frac{\partial f}{\partial t}

, aur

\frac{\partial f}{\partial t} = - F

term essential hai.

Agar

f

phase space par ek constant function hai, to kisi bhi

g

ke liye

{f, g}

kya hai?

Zero — ek constant ke sare derivatives zero hote hain, isliye

g

chahe kuch bhi ho sum ka har term zero hoga.

Multi-coordinate system mein

{q_{1}, p_{2}}

kya hai?

Zero. Fundamental bracket

{q_{i}, p_{j}} = δ_{ij}

tabhi nonzero hai jab indices match karein; alag coordinates (

1 \neq = 2

) pair nahi karte.

Classical limit

ℏ \to 0

mein, Heisenberg equation

\frac{d f ^}{d t} = \frac{1}{i ℏ} [\hat{f}, \hat{H}]

ka kya hota hai?

Yeh classical

\frac{df}{d t} = {f, H}

mein reduce ho jaata hai, kyunki

\frac{1}{i ℏ} [\hat{f}, \hat{H}] \to {f, H}

— quantum aur classical laws ek hi structure share karte hain.

Connections

Hamiltonian Mechanics — wo equations jo bracket ko dynamics mein badal deti hain.
Noether's Theorem & Conservation Laws — upar diye ${f, H} = 0$ conservation tests.
Angular Momentum Algebra — ${L_{i}, L_{j}}$ sign traps ka source.
Commutators in Quantum Mechanics — $\frac{1}{i ℏ}$ quantization traps.
Canonical Transformations — kyun bracket structure woh cheez hai jo preserve hoti hai.
Liouville's Theorem — same antisymmetric structure, phase-space volume.