Graduate → Classical mechanics → Lagrangian and Hamiltonian mechanics ↓
Poisson bracket and Hamilton–Jacobi theory
Lagrangian and Hamiltonian mechanics are two important formalisms in classical mechanics that help us understand and describe the motion and dynamics of systems. Among the multitude of concepts within these formalisms, the Poisson bracket and Hamilton-Jacobi theory are of particular importance, providing powerful insights into the symmetries and integrability of a dynamical system.
Poisson bracket
The Poisson bracket is an important structure in Hamiltonian mechanics. It is an operation that assigns a number to every pair of functions defined on the phase space of a dynamical system. For functions f
and g
on a 2n-dimensional phase space with coordinates (q₁, q₂, ..., qₙ, p₁, p₂, ..., pₙ)
, the Poisson bracket is defined as:
{f, g} = Σ ( (∂f/∂qᵢ)(∂g/∂pᵢ) - (∂f/∂pᵢ)(∂g/∂qᵢ) )
Here, the sum runs over all i
from 1 to n
.
The Poisson bracket satisfies several important properties:
- Bilinearity:
{af + bg, h} = a{f, h} + b{g, h}
for any functionsf, g, h
and scalarsa, b
. - Antisymmetry:
{f, g} = -{g, f}
. - Jacobi identity:
{f, {g, h}} + {g, {h, f}} + {h, {f, g}} = 0
. - Leibniz law:
{f, gh} = {f, g}h + g{f, h}
.
A fundamental role of the Poisson bracket is to express the time evolution of a function on phase space. The time evolution of an observable f(q, p, t)
is given by:
df/dt = {f, H} + ∂f/∂t
where H
is the Hamiltonian of the system. This is known as Hamilton's equation of motion in terms of generalized functions, not just positions and momenta.
Illustrative example: simple harmonic oscillator
For a simple harmonic oscillator with the Hamiltonian:
h = (p²/2m) + (1/2)mω²q²
We calculate the Poisson bracket as follows:
Consider position and momentum, q
and p
. The relevant Poisson brackets are:
{q, p} = 1 {q, q} = {p, p} = 0
Thus, the time derivatives are:
dq/dt = {q, H} = p/m dP/dt = {p, h} = -mω²q
The simple harmonic oscillator provides a clear example of how accurately the Poisson brackets allow us to derive the equations of motion from the Hamiltonian.
Hamilton–Jacobi theory
Hamilton–Jacobi theory offers a third, alternative approach to the dynamics of a system, focusing on action rather than path, position, or momentum.
The Hamilton–Jacobi equation is a first-order, non-linear partial differential equation. The main idea is to find a function, Hamilton's principal function S(q, α, t)
, that satisfies:
H(q₁, q₂, ..., qₙ, ∂S/∂q₁, ∂S/∂q₂, ..., ∂S/∂qₙ, t) + ∂S/∂t = 0
where α
represents constants. This equation allows us to obtain the dynamics by considering the level curves of S
In particular, if S
is completely separable, then it is of the form:
S(q, α, t) = W(q, α) − eₜt
Then, W
is called the characteristic function of the Hamiltonian. By solving for W
, we can determine the complete integrals of the motion.
Visualization of Hamilton–Jacobi theory
Consider a separable system where the Hamiltonian is:
H = T(p) + V(q)
The Hamilton–Jacobi equation transforms as follows:
T(∂W/∂q) + V(q) = Eₜ
Solving this equation allows us to trace the evolution of a system along these characteristic curves in phase space, which is a graphical depiction of the integral of the motion. These level curves are valuable for visualizing the evolution of different parts of a system in time.
Applications and implications
Both the Poisson bracket and Hamilton–Jacobi theory have profound implications and applications in physics:
- Quantum mechanics: Poisson brackets form the basis of the commutation relations in quantum mechanics. The transition from classical to quantum mechanics often involves replacing the Poisson bracket with a commutator.
- Integrable systems: In the Hamilton-Jacobi formalism, if one can find a complete integral of the motion, then the system is said to be integrable. These systems are characterized by the ability to resolve motions exactly.
- Canonical transformations: Both theories provide the basis for the idea of canonical transformations, which are important for simplifying complex mechanical systems. These transformations preserve the form of Hamilton's equations, allowing for much simpler analysis.
These tools provide a powerful set of principles essential for understanding not only classical mechanics, but also modern theoretical physics. From both theoretical and computational perspectives, mastering the Poisson bracket and Hamilton-Jacobi theory gives physicists fundamental insights into the nature of dynamical systems.