The Poisson bracket is one of the central tools of Hamiltonian mechanics. It gives a compact way to describe time evolution, canonical transformations, symmetries, and conservation laws. Once the Hamiltonian formulation is written in terms of canonical variables $(q_i,p_i)$, the Poisson bracket becomes the natural mathematical operation that connects phase-space functions with physical motion.

For two phase-space functions $f(q_i,p_i,t)$ and $g(q_i,p_i,t)$, the Poisson bracket is defined as

\[\{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).\]

Here the summation runs over all degrees of freedom. The variables $q_i$ and $p_i$ must be canonical coordinates and momenta.

The Poisson bracket measures how one phase-space quantity changes along the canonical flow generated by another. If $g$ is taken as a generator, then the infinitesimal change of $f$ is

\[\delta f=\varepsilon\{f,g\}.\]

Thus the Poisson bracket is not only an algebraic operation. It tells how physical quantities transform under canonical transformations.

Fundamental Poisson brackets

For canonical variables $(q_i,p_i)$, the fundamental Poisson brackets are

\[\boxed{ \{q_i,q_j\}=0, \qquad \{p_i,p_j\}=0, \qquad \{q_i,p_j\}=\delta_{ij}. }\]

Here $\delta_{ij}$ is the Kronecker delta:

\[\delta_{ij} = \begin{cases} 1, & i=j,\\ 0, & i\ne j. \end{cases}\]

These relations are the algebraic signature of canonical variables. If a transformation from $(q_i,p_i)$ to $(Q_i,P_i)$ is canonical, then the new variables must satisfy

\[\{Q_i,Q_j\}=0, \qquad \{P_i,P_j\}=0, \qquad \{Q_i,P_j\}=\delta_{ij}.\]

Therefore the Poisson bracket provides a direct test for whether a transformation is canonical.

For one degree of freedom,

\[\{q,p\}=1, \qquad \{p,q\}=-1, \qquad \{q,q\}=0, \qquad \{p,p\}=0.\]

These simple relations are the foundation of the whole Poisson bracket structure.

Basic properties of Poisson brackets

The Poisson bracket has several important algebraic properties.

First, it is antisymmetric:

\[\boxed{ \{f,g\}=-\{g,f\}. }\]

Therefore,

\[\{f,f\}=0.\]

Second, it is linear:

\[\boxed{ \{af+bg,h\}=a\{f,h\}+b\{g,h\}. }\]

Similarly,

\[\boxed{ \{f,ag+bh\}=a\{f,g\}+b\{f,h\}. }\]

Third, it satisfies the product rule:

\[\boxed{ \{fg,h\}=f\{g,h\}+g\{f,h\}. }\]

Also,

\[\boxed{ \{f,gh\}=g\{f,h\}+h\{f,g\}. }\]

Fourth, it satisfies the Jacobi identity:

\[\boxed{ \{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}=0. }\]

The Jacobi identity is especially important because it makes the Poisson bracket a Lie bracket. This means that phase-space functions form an algebra under the Poisson bracket operation.

Thus the Poisson bracket has both physical and algebraic meaning:

• physically, it describes canonical flow,
• algebraically, it defines the structure of Hamiltonian mechanics.

Time evolution in Poisson bracket form

Hamilton’s equations are

\[\dot q_i=\frac{\partial H}{\partial p_i}, \qquad \dot p_i=-\frac{\partial H}{\partial q_i}.\]

Using the Poisson bracket, these equations can be written compactly as

\[\boxed{ \dot q_i=\{q_i,H\}, \qquad \dot p_i=\{p_i,H\}. }\]

Now let $f(q_i,p_i,t)$ be any phase-space function. Its total time derivative is

\[\frac{df}{dt} = \sum_i \left( \frac{\partial f}{\partial q_i}\dot q_i + \frac{\partial f}{\partial p_i}\dot p_i \right) + \frac{\partial f}{\partial t}.\]

Using Hamilton’s equations,

\[\frac{df}{dt} = \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) + \frac{\partial f}{\partial t}.\]

Therefore,

\[\boxed{ \frac{df}{dt}=\{f,H\}+\frac{\partial f}{\partial t}. }\]

This is one of the most important formulas in Hamiltonian mechanics. It says that the Hamiltonian generates time evolution through the Poisson bracket.

If $f$ has no explicit time dependence, then

\[\boxed{ \frac{df}{dt}=\{f,H\}. }\]

If

\[\{f,H\}=0\]

and $f$ has no explicit time dependence, then

\[\frac{df}{dt}=0.\]

Hence $f$ is a constant of motion.

So a quantity is conserved when its Poisson bracket with the Hamiltonian vanishes.

Physical meaning of the Poisson bracket

The Poisson bracket ${f,H}$ gives the rate of change of $f$ due to the Hamiltonian flow. Therefore:

\[\boxed{ \{f,H\} = \text{time change of } f \text{ due to dynamics}. }\]

Similarly, if $G$ is any generator, then

\[\boxed{ \{f,G\} = \text{change of } f \text{ under the canonical transformation generated by } G. }\]

Thus different choices of the second function give different physical flows:

• $H$ generates time evolution,
• $p$ generates spatial translation,
• $L_z$ generates rotation about the $z$-axis,
• angular momentum generates rotations,
• total momentum generates translations,
• conserved quantities generate symmetries.

This is the main power of the Poisson bracket: it converts symmetry, motion, and conservation into one common mathematical language.

Examples

Free particle

For a free particle in one dimension,

\[H=\frac{p^2}{2m}.\]

The equations of motion are

\[\dot q=\{q,H\}.\]

Now

\[\{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{p}{m}-0 = \frac{p}{m}.\]

Therefore,

\[\boxed{ \dot q=\frac{p}{m}. }\]

Also,

\[\dot p=\{p,H\}.\]

Since $H$ does not depend on $q$,

\[\{p,H\} = -\frac{\partial H}{\partial q} = 0.\]

Therefore,

\[\boxed{ \dot p=0. }\]

So the momentum of a free particle is conserved.

Particle in a potential

For a particle moving in a potential $V(q)$,

\[H=\frac{p^2}{2m}+V(q).\]

Then

\[\dot q=\{q,H\}=\frac{\partial H}{\partial p}=\frac{p}{m}\]

and

\[\dot p=\{p,H\}=-\frac{\partial H}{\partial q}=-\frac{dV}{dq}.\]

Thus,

\[\boxed{ m\ddot q=-\frac{dV}{dq}. }\]

This is Newton’s second law written through the Poisson bracket.

Simple harmonic oscillator

For the simple harmonic oscillator,

\[H=\frac{p^2}{2m}+\frac{1}{2}m\omega^2q^2.\]

Then

\[\dot q=\{q,H\}=\frac{p}{m}\]

and

\[\dot p=\{p,H\}=-m\omega^2q.\]

Therefore,

\[\ddot q=\frac{\dot p}{m}=-\omega^2q.\]

So,

\[\boxed{ \ddot q+\omega^2q=0. }\]

The Poisson bracket directly produces the oscillator equation.

Also,

\[\frac{dH}{dt}=\{H,H\}=0.\]

Therefore the energy of the simple harmonic oscillator is conserved.

Angular momentum and rotations

In three dimensions, the angular momentum is

\[\mathbf L=\mathbf r\times \mathbf p.\]

Its components are

\[L_x=yp_z-zp_y,\] \[L_y=zp_x-xp_z,\] \[L_z=xp_y-yp_x.\]

The Poisson brackets among angular momentum components are

\[\boxed{ \{L_x,L_y\}=L_z, \qquad \{L_y,L_z\}=L_x, \qquad \{L_z,L_x\}=L_y. }\]

In compact form,

\[\boxed{ \{L_i,L_j\}=\epsilon_{ijk}L_k. }\]

This is the classical angular momentum algebra.

Now take $L_z$ as a generator. Then

\[\delta x=\varepsilon\{x,L_z\}, \qquad \delta y=\varepsilon\{y,L_z\}.\]

Since

\[\{x,L_z\}=y, \qquad \{y,L_z\}=-x,\]

we get

\[\delta x=\varepsilon y, \qquad \delta y=-\varepsilon x.\]

Depending on the sign convention for the infinitesimal rotation parameter, this represents a rotation in the $xy$-plane. Thus $L_z$ generates rotations about the $z$-axis.

If the Hamiltonian is rotationally symmetric, then

\[\{L_z,H\}=0.\]

Therefore,

\[\boxed{ L_z=\text{constant}. }\]

Thus rotational symmetry gives conservation of angular momentum.

Central force motion

For a particle in a central potential,

\[H=\frac{\mathbf p^2}{2m}+V(r), \qquad r=|\mathbf r|.\]

Since the potential depends only on the distance from the origin and not on direction, the system is rotationally invariant.

Therefore,

\[\{L_x,H\}=0, \qquad \{L_y,H\}=0, \qquad \{L_z,H\}=0.\]

Hence,

\[\boxed{ \mathbf L=\text{constant}. }\]

This explains why motion under a central force takes place in a fixed plane. Conservation of angular momentum is the Poisson bracket expression of rotational symmetry.

Charged particle in an electromagnetic field

For a charged particle of charge $e$ in electromagnetic potentials $\phi$ and $\mathbf A$, the Hamiltonian is

\[H= \frac{1}{2m} \left( \mathbf p-e\mathbf A \right)^2 + e\phi.\]

The mechanical momentum is

\[\boldsymbol{\pi}=\mathbf p-e\mathbf A.\]

Then the velocity is

\[\dot{\mathbf r}=\{\mathbf r,H\}=\frac{\boldsymbol{\pi}}{m}.\]

The Poisson bracket method leads to the Lorentz force law,

\[\boxed{ m\dot{\mathbf v} = e(\mathbf E+\mathbf v\times\mathbf B). }\]

This example shows that Poisson brackets are useful not only for simple mechanical systems but also for particles interacting with electromagnetic fields.

Rigid body rotation

For a rigid body, the angular momentum components satisfy

\[\{L_i,L_j\}=\epsilon_{ijk}L_k.\]

If the Hamiltonian of a free rigid body is

\[H= \frac{L_1^2}{2I_1} + \frac{L_2^2}{2I_2} + \frac{L_3^2}{2I_3},\]

then the equations of motion are

\[\dot L_i=\{L_i,H\}.\]

These give Euler’s equations for rigid body rotation:

\[\boxed{ \dot L_1= \left(\frac{1}{I_3}-\frac{1}{I_2}\right)L_2L_3, }\] \[\boxed{ \dot L_2= \left(\frac{1}{I_1}-\frac{1}{I_3}\right)L_3L_1, }\] \[\boxed{ \dot L_3= \left(\frac{1}{I_2}-\frac{1}{I_1}\right)L_1L_2. }\]

Thus Poisson brackets also describe rotational dynamics of extended bodies.

Kepler problem

For the Kepler problem,

\[H=\frac{\mathbf p^2}{2m}-\frac{k}{r}.\]

The angular momentum is conserved:

\[\{L_i,H\}=0.\]

In addition, the Kepler problem has another conserved vector called the Laplace-Runge-Lenz vector:

\[\mathbf A=\mathbf p\times\mathbf L-mk\frac{\mathbf r}{r}.\]

It satisfies

\[\boxed{ \{A_i,H\}=0. }\]

This additional conservation law explains why Kepler orbits are closed ellipses. The Poisson bracket therefore reveals hidden symmetries beyond ordinary rotational symmetry.

Poisson theorem on constants of motion

A constant of motion is a quantity $f(q,p,t)$ whose total time derivative vanishes:

\[\frac{df}{dt}=0.\]

Using the Poisson bracket form of time evolution,

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

Therefore $f$ is conserved if

\[\boxed{ \{f,H\}+\frac{\partial f}{\partial t}=0. }\]

If $f$ has no explicit time dependence, this reduces to

\[\boxed{ \{f,H\}=0. }\]

Now suppose $f$ and $g$ are two constants of motion. Then

\[\frac{df}{dt}=0, \qquad \frac{dg}{dt}=0.\]

Poisson’s theorem states that the Poisson bracket of two constants of motion is also a constant of motion:

\[\boxed{ \text{If } f \text{ and } g \text{ are constants of motion, then } \{f,g\} \text{ is also a constant of motion.} }\]

Proof of Poisson theorem

Assume first that $f$ and $g$ have no explicit time dependence. Since both are constants of motion,

\[\{f,H\}=0, \qquad \{g,H\}=0.\]

We need to prove that

\[\frac{d}{dt}\{f,g\}=0.\]

Using the time evolution formula,

\[\frac{d}{dt}\{f,g\} = \{\{f,g\},H\}.\]

Now use the Jacobi identity:

\[\{f,\{g,H\}\} + \{g,\{H,f\}\} + \{H,\{f,g\}\} = 0.\]

Since

\[\{g,H\}=0\]

and

\[\{H,f\}=-\{f,H\}=0,\]

the first two terms vanish. Hence

\[\{H,\{f,g\}\}=0.\]

Using antisymmetry,

\[\{\{f,g\},H\}=0.\]

Therefore,

\[\frac{d}{dt}\{f,g\}=0.\]

Hence,

\[\boxed{ \{f,g\} \text{ is also a constant of motion.} }\]

This is Poisson’s theorem.

Meaning of Poisson theorem

Poisson’s theorem says that constants of motion form a closed algebra under the Poisson bracket. If two quantities are conserved, their Poisson bracket gives another conserved quantity.

This is powerful because it can generate new constants of motion from known constants of motion.

For example, in a rotationally symmetric system,

\[L_x,\quad L_y,\quad L_z\]

are constants of motion. Since

\[\{L_x,L_y\}=L_z,\]

the Poisson bracket of two conserved angular momentum components gives another conserved component.

Thus angular momentum conservation is not just three separate conservation laws. The components form a connected algebra of conserved quantities.

Poisson bracket and canonical transformations

A transformation from $(q_i,p_i)$ to $(Q_i,P_i)$ is canonical if the new variables satisfy the same fundamental Poisson bracket relations:

\[\boxed{ \{Q_i,Q_j\}=0, \qquad \{P_i,P_j\}=0, \qquad \{Q_i,P_j\}=\delta_{ij}. }\]

This criterion is often easier than constructing a generating function.

For example, consider

\[Q=p, \qquad P=-q.\]

Then

\[\{Q,P\} = \{p,-q\} = -\{p,q\} = -(-1) = 1.\]

Also,

\[\{Q,Q\}=\{p,p\}=0, \qquad \{P,P\}=\{-q,-q\}=0.\]

Therefore the transformation is canonical.

This transformation exchanges coordinate and momentum up to a sign. It is a simple phase-space rotation.

Poisson bracket and cyclic coordinates

If a coordinate $q_k$ is absent from the Hamiltonian, then

\[\frac{\partial H}{\partial q_k}=0.\]

Hamilton’s equation gives

\[\dot p_k=-\frac{\partial H}{\partial q_k}=0.\]

In Poisson bracket form,

\[\dot p_k=\{p_k,H\}=0.\]

Therefore,

\[\boxed{ p_k=\text{constant}. }\]

Thus the absence of a coordinate from the Hamiltonian implies conservation of its conjugate momentum.

Examples:

• if $x$ is absent from $H$, then $p_x$ is conserved,
• if $\phi$ is absent from $H$, then $p_\phi$ is conserved,
• if time is absent explicitly from $H$, then energy is conserved.

This is the Poisson bracket form of the relation between cyclic coordinates and conservation laws.

Poisson bracket and symmetry generators

If $G$ generates an infinitesimal canonical transformation, then

\[\delta f=\varepsilon\{f,G\}.\]

The Hamiltonian changes as

\[\delta H=\varepsilon\{H,G\}.\]

If the transformation is a symmetry, then

\[\delta H=0.\]

Therefore,

\[\{H,G\}=0.\]

Equivalently,

\[\{G,H\}=0.\]

If $G$ has no explicit time dependence, then

\[\frac{dG}{dt}=\{G,H\}=0.\]

Hence,

\[\boxed{ G=\text{constant}. }\]

Thus:

\[\boxed{ \text{symmetry generator} \quad\Longrightarrow\quad \text{conserved quantity}. }\]

This is the Hamiltonian form of Noether’s idea.

Important standard Poisson brackets

For canonical variables,

\[\{q_i,p_j\}=\delta_{ij}.\]

For any function $f(q,p)$ in one dimension,

\[\{q,f\}=\frac{\partial f}{\partial p}, \qquad \{p,f\}=-\frac{\partial f}{\partial q}.\]

For angular momentum,

\[\{L_i,L_j\}=\epsilon_{ijk}L_k.\]

For position and angular momentum,

\[\{x_i,L_j\}=\epsilon_{ijk}x_k.\]

For momentum and angular momentum,

\[\{p_i,L_j\}=\epsilon_{ijk}p_k.\]

These relations show that angular momentum generates rotations of both position and momentum vectors.

Common interpretation table

Poisson bracket relation	Physical meaning
$\{q_i,p_j\}=\delta_{ij}$	canonical coordinate-momentum structure
$\dot f=\{f,H\}+\frac{\partial f}{\partial t}$	Hamiltonian generates time evolution
$\{f,H\}=0$	$f$ is conserved if it has no explicit time dependence
$\delta f=\varepsilon\{f,G\}$	$G$ generates infinitesimal canonical transformation
$\{p,H\}=0$	momentum conservation
$\{L_i,H\}=0$	angular momentum conservation
$\{H,H\}=0$	energy conservation when $H$ is time independent
$\{L_i,L_j\}=\epsilon_{ijk}L_k$	angular momentum algebra
$\{Q_i,P_j\}=\delta_{ij}$	canonical transformation test

Practice questions

1. Define the Poisson bracket of two phase-space functions $f$ and $g$.

2. Prove that

\[\{f,g\}=-\{g,f\}.\]

1. Show that

\[\{q_i,p_j\}=\delta_{ij}.\]

1. Derive Hamilton’s equations using Poisson brackets.

2. Prove that

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

1. Show that if $f$ has no explicit time dependence and ${f,H}=0$, then $f$ is conserved.

2. Prove Poisson’s theorem: if $f$ and $g$ are constants of motion, then ${f,g}$ is also a constant of motion.

3. Show that momentum generates spatial translation.

4. Show that angular momentum generates rotation.

5. For a central force Hamiltonian,

\[H=\frac{\mathbf p^2}{2m}+V(r),\]

show that angular momentum is conserved.

1. For the harmonic oscillator, use Poisson brackets to derive

\[\ddot q+\omega^2q=0.\]

1. Test whether the transformation

\[Q=p, \qquad P=-q\]

is canonical using Poisson brackets.

1. Explain the physical meaning of the Jacobi identity.

2. Derive the angular momentum Poisson bracket relation

\[\{L_i,L_j\}=\epsilon_{ijk}L_k.\]

1. Explain why the Poisson bracket is the bridge between symmetry and conservation law.