✎ Poisson Bracket [The Physics Travel Guide]

You've loaded an old revision of the document! If you save it, you will create a new version with this data.

<WRAP lag >$
 \left \{F,G \right \} = \sum_{n = 1}^{N} \left( \frac{\partial F}{\partial q_n} \frac{\partial G}{\partial p_n} - \frac{\partial F}{\partial p_n} \frac{\partial G}{\partial q_n} \right)   
$</WRAP>
====== Poisson Bracket ======

The Poisson bracket is a mathematical tool that allows us to calculate the time evolution in classical mechanics.
  
<tabbox Concrete>

For two sets of canonical coordinates
$
q_1,q_2, ... q_N
$
and momenta 
$
p_1, p_2, ... p_N
$
the Poisson bracket is defined by

$$
 \left \{F,G \right \} = \sum_{n = 1}^{N} \left( \frac{\partial F}{\partial q_n} \frac{\partial G}{\partial p_n} - \frac{\partial F}{\partial p_n} \frac{\partial G}{\partial q_n} \right)   
$$
for any two functions $F$ and $ G $ of the canonical coordinates and momenta.

The Poisson bracket of two observables can be thought of as the rate of change of the first along the flow given by the second. The most famous example is the time evolution. To get the time evolution of some observable $O$ all we have to do is calculate the Poisson bracket of $O$ with the Hamiltonian function.

--> Properties of the Poisson Bracket#
 It is __linear__ for both $F$ and $G$.  It is __antisymmetric__
$$
\left[ G,F \right] = -\left[ F,G \right]
$$
The Posisson bracket also satisfies the __Jacobi identity__
$$
 \left[\left[F,G \right],H \right] + \left[\left[G,H \right],F \right] + \left[\left[H,F \right],G \right]  = 0. \tag{2.2}
$$
<--

----

**The Poisson Bracket describe time evolution**

In general, the time derivative of a function $F$ that is a function of generalized position and momentum coordinates, but not a direct function of time (which is often accurate) is

$$\frac{dF}{dt}=\frac{\partial F}{\partial q}\frac{dq}{dt}+\frac{\partial F}{\partial p}\frac{dp}{dt}$$

Hamilton's equations of motion are
$$\frac{dq}{dt}=\frac{\partial H}{\partial p}$$
and
$$ \frac{dp}{dt}=-\frac{\partial H}{\partial q}.$$

Putting these equations into our general time derivative from above yields

$$ \frac{dF}{dt}=\frac{\partial F}{\partial q}\frac{\partial H}{\partial p}-\frac{\partial F}{\partial p}\frac{\partial H}{\partial q}\equiv \{H,F\},$$
 
which shows that indeed Poisson brackets describe the time evolution of observables. If the function $F$ explicitly depends on the time we get instead
$$ \frac{\mathrm{d}F}{\mathrm{d}t} = \{F,H\} + \frac{\partial F}{\partial t}. $$
Take note how similar this equation is to the Heisenberg equation which describes the time evolution in quantum mechanics
$$ \frac{\mathrm{d}\hat F}{\mathrm{d}t} = -\frac{i}{\hbar}[\hat F,\hat H] + \frac{\partial \hat F}{\partial t}.$$ 
The only difference is that the Poisson brackets have been replaced with the commutator.

This is one way to make the difference between quantum and classical mechanics explicit:

$$  \text{Commutator}\quad [\hat{f},\hat{g}] \quad\longleftrightarrow\quad\text{Poisson bracket}\quad \{f,g\}$$

----

We can calculate what happens when we put the canonical coordinates and momenta themselves into the Poisson bracket:

\begin{align}
\{ q_i , q_j\} &=0 \notag \\
\{ p_i , p_j \} &= 0 \notag \\
\{ q_i , p_j \} &= \delta_{ij}\notag
\end{align}

which is extremely similar to the [[formulas:canonical_commutation_relations|canonical commutation relations]] in quantum mechanics:

\begin{align}
[ \hat{q}_i , \hat{q}_j] &=0 \notag \\
[ \hat{p}_i , \hat{p}_j ] &= 0 \notag \\
[ \hat{q}_i , \hat{p}_j ] &= i \hbar\notag
\end{align}

In words both sets of equations state that $p_i$ generates infinitesimal translations of $q_i$.

----

The Poisson bracket satisfied

$$ \left\{ F G, H \right\} = F \left\{ G, H \right\} + G \left\{ F, H \right\} .$$

which looks like the Leibniz rule in calculus. This suggests that we interpret the Poisson bracket as derivative of the first argument with respect to the second argument.

<tabbox Abstract> 
The Poisson bracket is a tool that allows us to take the derivative of some function with respect to some other function. This becomes possible because the arena of classical mechanics is the phase space which is a symplectic manifold. A symplectic manifold is a manifold that is endowed with a [[advanced_tools:symplectic_structure|symplectic]] form. This symplectic form can be used to map any function on the manifold to a vector field on the manifold.

Each vector field can be used to define (integral) curves. Starting with one point on the manifold, we can use the vector field to get a curve.

Now, the Poisson bracket tells us how we can differentiate a function along one such curve. We do this by comparing the value of the function at one point to its value at another point on the curve which lies infinitesimally close.

In this sense $\{F,G\}$ is a short-hand notation for using the symplectic form to map $G$ into a vector field and then taking the derivative of $F$ along the curves that are described by this vector field.

----

Any system in [[theories:classical_mechanics:newtonian|Classical Mechanics]] can be thought of rigorously as a [[basic_tools:phase_space|phase space]] which is more precisely formalized as a [[advanced_tools:symplectic_structure|symplectic]] manifold $(X,ω)$, or even more precisely a Poisson Manifold. In words, this means that the algebra of all functions on our phase space $X$, is canonically equipped with a Lie bracket: the Poisson bracket. Formulated differently, dynamics in mechanics are modeled on the cotangent bundle $T^∗M$ which has a canonical symplectic structure.

The Poisson bracket is like a ”Lie derivative” found in differential geometry. The Poisson bracket of two observables can be thought of as as the rate of change of the first along the flow given by the second. This is formally expressed as a Lie derivative:$$\{A, B\} = \mathcal{L}_{X_B} A .$$ In canonical coordinates this takes the form:$$\{A, B\} = \sum_{i=1}^N \frac{\partial A}{\partial q_i} \frac{\partial B}{\partial p_i} - \frac{\partial A}{\partial p_i} \frac{\partial B}{\partial q_i}$$

The Poisson bracket Lie algebra $\mathscr{P}(X,ω)$, which is the algebra of classical observables, is an extension of the Lie algebra of Hamiltonian vector fields $\mathscr{H}_{\mathcal{v}}(X)$ on our phase space $X$ by the "line Lie algebra $\mathbb{R}$"
$$ \mathbb{R} \longrightarrow \mathscr{P}(X,ω) \longrightarrow \mathscr{H}_{\mathcal{v}}(X).$$

<tabbox Why is it interesting?> 
Poisson brackets are necessary to describe the time evolution of observables in the [[formalisms:hamiltonian_formalism|Hamiltonian formulation]] of [[theories:classical_mechanics:newtonian|classical mechanics]].  Formulated differently, the Poisson bracket controls the dynamics in classical mechanics.

Poisson brackets play more or less the same role in [[theories:classical_mechanics:newtonian|classical mechanics]] that [[formulas:canonical_commutation_relations|commutators]] do in [[theories:quantum_mechanics:canonical|quantum mechanics]].

Poisson brackets are also important in thermodynamics, see https://johncarlosbaez.wordpress.com/2012/01/23/classical-mechanics-versus-thermodynamics-part-2/ and M. J. Peterson, Analogy between thermodynamics and mechanics, American Journal of Physics 47 (1979), 488–490.

--> What is the Lie group that is generated by Poisson brackets?#

The Lie group which integrates the Poisson bracket is called the “quantomorphism group”. For a nice discussion, see e.g. https://www.quora.com/How-is-the-Poisson-bracket-different-from-a-commutator
<--

</tabbox>

Please solve the following equation to prove you're human. 67 +13 = Please keep this field empty:

Edit summary

Note: By editing this page you agree to license your content under the following license: CC Attribution-Share Alike 4.0 International

User Tools

Site Tools

Page Tools