Hamiltonian Mechanics

the Poisson bracket

/ pwah-SOHN /

The Poisson bracket is a machine that takes two phase-space quantities and returns a third, in a way that encodes the entire structure of Hamiltonian dynamics. Its deepest job is to answer, for any observable, the question 'how fast are you changing right now?'. It is the classical ancestor of the quantum commutator, and getting comfortable with it is the key to seeing classical and quantum mechanics as one theory viewed at different resolutions.

For two functions f(q, p) and g(q, p) on phase space, the Poisson bracket is {f, g} = sum_i (partial f / partial q_i)(partial g / partial p_i) - (partial f / partial p_i)(partial g / partial q_i). It is bilinear, antisymmetric ({f, g} = -{g, f}), obeys the Leibniz product rule, and satisfies the Jacobi identity {f, {g, h}} + {g, {h, f}} + {h, {f, g}} = 0 -- making phase-space functions a Lie algebra. The fundamental brackets {q_i, q_j} = 0, {p_i, p_j} = 0, {q_i, p_j} = delta_ij define canonical coordinates. Its central role: the time evolution of any observable is df/dt = {f, H} + partial f / partial t. So the Hamiltonian generates time translation through the bracket, and a quantity with {f, H} = 0 (and no explicit time dependence) is a constant of the motion.

The Poisson bracket unifies dynamics and symmetry. Each conserved quantity generates, through its bracket, the symmetry transformation it corresponds to: momentum generates translations, angular momentum generates rotations, the Hamiltonian generates time evolution. This is the Hamiltonian face of Noether's theorem. And it is the exact object Dirac promoted to quantum mechanics: canonical quantization replaces {f, g} by (1 / i hbar)[F, G], turning Poisson brackets into commutators.

For angular momentum components L_x, L_y, L_z one computes {L_x, L_y} = L_z (and cyclic permutations). Multiply by i hbar under canonical quantization and you get [L_x, L_y] = i hbar L_z -- the entire quantum theory of angular momentum is already visible in the classical Poisson-bracket algebra.

The classical brackets {L_x, L_y} = L_z become the quantum commutators [L_x, L_y] = i hbar L_z under canonical quantization.

The Poisson bracket depends only on the symplectic structure, not on the choice of canonical coordinates -- that invariance is exactly what makes it the right language for canonical transformations. A transformation is canonical if and only if it preserves all Poisson brackets.

Also called
{f, g}泊松括號