Poisson Brackets and Canonical Transformations

The Poisson bracket

For any two functions f and g on phase space, the Poisson bracket combines their derivatives into a single antisymmetric quantity. It looks technical, but it is the algebraic engine that runs beneath every Hamiltonian statement.

\{f,g\} = \sum_i\!\left(\frac{\partial f}{\partial q_i}\frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i}\frac{\partial g}{\partial q_i}\right)

The Poisson bracket of two phase-space functions.

It is bilinear, antisymmetric (\{f,g\}=-\{g,f\}), and obeys the Jacobi identity — so the smooth functions on phase space form a Lie algebra under this bracket. The coordinates themselves obey the deceptively simple fundamental brackets, which encode the entire canonical structure.

\{q_i,q_j\}=0, \qquad \{p_i,p_j\}=0, \qquad \{q_i,p_j\}=\delta_{ij}

The fundamental Poisson brackets of the canonical coordinates.

Evolution and conservation, in one stroke

The bracket compresses all of dynamics into a single line. The time evolution of any observable f is its bracket with the Hamiltonian, plus any explicit time dependence.

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

The equation of motion for an arbitrary observable.

Set f=q_i or f=p_i and you recover Hamilton's equations as \dot q_i=\{q_i,H\} and \dot p_i=\{p_i,H\}. More powerfully: if f has no explicit time dependence and \{f,H\}=0, then f is conserved. Testing for a constant of motion becomes a single bracket computation — and Poisson's theorem guarantees the bracket of two conserved quantities is itself conserved, sometimes generating new ones.

Canonical transformations

Because phase space treats q and p on nearly equal footing, we have enormous freedom to change coordinates. A change (q,p)\to(Q,P) that keeps Hamilton's equations in their canonical form is a canonical transformation — equivalently, one that preserves the fundamental Poisson brackets and the symplectic form. The whole point is to find new coordinates in which the problem looks trivial.

The systematic way to build such transformations is a generating function. Pick, say, a function F_1(q,Q,t) mixing old and new coordinates; then the old momentum, the new momentum, and the new Hamiltonian all follow by differentiation. (There are four standard types, F_1 through F_4, related by Legendre transforms — you choose whichever pairs the variables you want to hold fixed.)

p_i = \frac{\partial F_1}{\partial q_i}, \qquad P_i = -\frac{\partial F_1}{\partial Q_i}, \qquad K = H + \frac{\partial F_1}{\partial t}

A type-1 generating function and the new Hamiltonian K it produces.

The bridge to quantum mechanics

Now the reward that makes graduate students learn all this before quantum mechanics. Dirac noticed that the Poisson bracket's algebra is structurally identical to the algebra of quantum operators. Promote classical observables to operators and replace the bracket by a commutator over i\hbar — canonical quantization.

\{f,g\} \;\longrightarrow\; \frac{1}{i\hbar}\,[\hat f,\hat g]

Dirac's correspondence: Poisson bracket to commutator.

\{q,p\}=1 \;\longrightarrow\; [\hat q,\hat p]=i\hbar

The fundamental bracket becomes the canonical commutation relation.

The fundamental bracket \{q,p\}=1 becomes the canonical commutation relation [\hat q,\hat p]=i\hbar, the seed of the uncertainty principle; and the classical evolution equation \dot f=\{f,H\} becomes the Heisenberg equation with the Hamiltonian operator generating time evolution. Be honest about the caveats: the map is not perfect — operator ordering ambiguities mean not every classical expression has a unique quantum counterpart. But the Hamiltonian, not the Lagrangian, is the natural doorway into quantum theory.