Conservation Laws in the Poisson-Bracket Language
~7 min read · Tier toggle changes depth (T1 plain · T2 standard · T3 rigour)
You should be comfortable calculating Poisson brackets for simple functions of phase space coordinates and recall the definition of the Hamiltonian as the generator of time evolution.
Why this matters
Poisson brackets provide a unified algebraic framework for identifying conserved quantities in any mechanical system.
In Newtonian mechanics, conservation laws are often derived case-by-case using symmetry arguments or component-wise force analysis. In the Hamiltonian formalism, these diverse phenomena are unified under a single algebraic operation: the Poisson bracket. A quantity is conserved if and only if its Poisson bracket with the Hamiltonian vanishes (assuming no explicit time dependence). This perspective not only simplifies the identification of constants of motion but also reveals the deep connection between symmetries and conservation laws, laying the groundwork for Noether's theorem and the transition to quantum mechanics where Poisson brackets are replaced by commutators.
The Algebraic Criterion for Conservation
Imagine the state of a mechanical system as a point moving through a high-dimensional space called phase space. In this space, every physical observable—such as position, momentum, or energy—is represented by a function. The Hamiltonian, \( H \), acts as the "engine" that drives the motion of this point. The Poisson bracket, denoted by curly braces \( \{ \cdot, \cdot \} \), measures how one function changes as the system evolves according to the Hamiltonian. If the Poisson bracket of an observable \( f \) with the Hamiltonian \( H \) is zero, it means that \( f \) does not change as the system moves. This is the algebraic signature of a conservation law. Unlike Newton's laws, which require solving differential equations to find trajectories, the Poisson bracket test is an instantaneous algebraic check that reveals conserved quantities without needing to know the full solution to the motion.
Time Evolution and the Total Derivative
The fundamental equation governing the time evolution of any phase-space function \( f(q, p, t) \) is derived from the chain rule and Hamilton's equations. The total time derivative of \( f \) is given by the sum of its explicit time dependence and its implicit dependence through the coordinates and momenta. This relationship is encapsulated in the result from the derivation Poisson Brackets and the Algebra of Observables (D-005):
Here, \( \{f, H\} \) represents the rate of change of \( f \) due to the dynamics of the system, while \( \partial f / \partial t \) accounts for any explicit time variation of the function itself. For a quantity to be a constant of motion, its total time derivative must vanish. If the function has no explicit time dependence (\( \partial f / \partial t = 0 \)), the condition for conservation simplifies to \( \{f, H\} = 0 \). This is the central criterion we will use to identify conserved quantities.
Conservation of Energy
The most familiar conservation law is that of energy. In the Hamiltonian formalism, the Hamiltonian \( H \) is conserved when it has no explicit time dependence, and it equals the total energy \( T + V \) when, in addition, the constraints do not depend on time. To check if energy is conserved, we calculate the Poisson bracket of \( H \) with itself.
By the antisymmetry property of the Poisson bracket, \( \{H, H\} = 0 \). Therefore, if the Hamiltonian has no explicit time dependence (\( \partial H / \partial t = 0 \)), then \( dH/dt = 0 \). This confirms that energy is conserved in time-translation invariant systems. This result is a direct consequence of the algebraic structure of the Poisson bracket and provides a rigorous check for energy conservation in complex systems where Newtonian intuition might fail.
Conservation of Momentum and Cyclic Coordinates
Linear momentum conservation arises from spatial translation symmetry. Consider a system where the Hamiltonian does not depend explicitly on a particular coordinate \( q_k \). Such a coordinate is called cyclic or ignorable. The conjugate momentum \( p_k \) is defined as \( p_k = \partial L / \partial \dot{q}_k \). The derivation Cyclic Coordinates and Conserved Conjugate Momenta (D-129) establishes that if \( \partial L / \partial q_k = 0 \), then \( dp_k/dt = 0 \). In the Poisson bracket language, this is verified by calculating \( \{p_k, H\} \). Since \( H \) does not depend on \( q_k \), the partial derivative \( \partial H / \partial q_k \) is zero. The Poisson bracket \( \{p_k, H\} \) involves terms like \( \partial p_k / \partial q_j \cdot \partial H / \partial p_j \) and \( \partial p_k / \partial p_j \cdot \partial H / \partial q_j \). Because \( p_k \) is independent of all other coordinates and momenta, and \( H \) is independent of \( q_k \), the bracket vanishes: \( \{p_k, H\} = 0 \). Thus, \( p_k \) is conserved. This algebraic approach unifies the treatment of linear and angular momentum conservation under the single condition of a vanishing Poisson bracket with the Hamiltonian.
The derivations
Poisson Brackets and the Algebra of Observables
Derives the Poisson bracket as the natural bilinear operation giving time evolution df/dt = {f,H} + df/dt-partial and the fundamental brackets of phase space.
Cyclic Coordinates and Conserved Conjugate Momenta
If a generalised coordinate qk does not appear explicitly in the Lagrangian L(q, q̇, t) — that is, ∂L/∂qk = 0 — then its conjugate momentum pk = ∂L/∂q̇k is conserved along any physical trajectory: dpk/dt = 0. Such a coordinate is called cyclic (or ignorable).
A common pitfall is assuming that if \( \{f, H\} = 0 \), then \( f \) is always conserved. This is only true if \( f \) has no explicit time dependence. If \( f \) depends explicitly on time, \( \partial f / \partial t \neq 0 \), then \( df/dt \) may not be zero even if the bracket vanishes. Always check for explicit time dependence before concluding conservation. C
Worked example
Problem. Consider a particle of mass \( m = 2.0\ \mathrm{kg} \) moving in a central potential \( V(r) = -\frac{k}{r} \) where \( k = 10\ \mathrm{J \cdot m} \). The Hamiltonian in polar coordinates \( (r, \theta) \) is \( H = \frac{p_r^2}{2m} + \frac{p_\theta^2}{2mr^2} - \frac{k}{r} \). Determine if the angular momentum \( L_z = p_\theta \) is conserved and calculate its value if \( p_\theta = 5.0\ \mathrm{kg \cdot m^2/s} \).
- Identify the observable to test: \( f = p_\theta \).
- Check for explicit time dependence: \( \partial p_\theta / \partial t = 0 \).
- Calculate the Poisson bracket \( \{p_\theta, H\} \). The definition is \( \{f, H\} = \sum_i \left( \frac{\partial f}{\partial q_i} \frac{\partial H}{\partial p_i} - \frac{\partial f}{\partial p_i} \frac{\partial H}{\partial q_i} \right) \).
- Since \( f = p_\theta \), \( \partial p_\theta / \partial r = 0 \), \( \partial p_\theta / \partial \theta = 0 \), \( \partial p_\theta / \partial p_r = 0 \), and \( \partial p_\theta / \partial p_\theta = 1 \).
- The bracket simplifies to \( \{p_\theta, H\} = - \frac{\partial H}{\partial \theta} \).
- Inspect \( H \): it depends on \( r, p_r, p_\theta \) but not on \( \theta \). Thus, \( \partial H / \partial \theta = 0 \).
- Therefore, \( \{p_\theta, H\} = 0 \), implying \( dp_\theta/dt = 0 \). Angular momentum is conserved.
- The value is given directly as \( 5.0\ \mathrm{kg \cdot m^2/s} \).
Units check. Angular momentum has units of \( \mathrm{kg \cdot m^2/s} \). The Poisson bracket calculation is dimensionless in terms of the conservation condition (it checks if the derivative is zero), so the units of the conserved quantity remain consistent with the definition of \( p_\theta \).
Three quick tests
- Is the Hamiltonian \( H = \frac{p^2}{2m} + \frac{1}{2}kx^2 + \gamma x t \) conserved?
Answer
No, because \( \partial H / \partial t = \gamma x \neq 0 \), so \( dH/dt \neq 0 \). - If \( \{f, H\} = 0 \) and \( \partial f / \partial t = 0 \), is \( f \) a constant of motion?
Answer
Yes, \( df/dt = 0 \). - Why is \( p_x \) conserved for a free particle?
Answer
Because \( H = p_x^2/2m \) does not depend on \( x \), so \( \{p_x, H\} = 0 \).
Problem set for PU-201 →
Each derivation in this unit ends with five graded problems with full solutions.
Lecture notes drafted with a local model and checked line by line by the editor; every number in the worked example was recomputed.
Derivations cited: D-005 · D-129 · Threads: force, energy, symmetry