Professional Documents
Culture Documents
First, we establish a relationship for later use: Let f, g be functions f, g ∈ {u, v, w} with f 6≡ g and a ∈ {p1 , ..., pN , q1 , ..., qN }
such that f and g depend partially on a.
N
∂ ∂ X ∂f ∂g ∂f ∂g
{f, g} = −
∂a ∂a i=1 ∂qi ∂pi ∂pi ∂qi
N
∂2f ∂ g ∂ f ∂2g ∂2f ∂ g ∂ f ∂2g
X
= + − −
i=1
∂a∂qi ∂pi ∂qi ∂a∂pi ∂a∂pi ∂qi ∂pi ∂a∂qi
∂f ∂g
= , g + f, (†)
∂a ∂a
Now we can prove the Jacobi identity:
J = {u, {v, w}} + {v, {w, u}} + {w, {u, v}}
by linearity...
N
X ∂u ∂v ∂u ∂v
= {u, {v, w}} + {v, {w, u}} + w, − w,
i=1
∂qi ∂pi ∂pi ∂qi
by †
N
∂u
∂ ∂w ∂v
X ∂ ∂w
= {u, {v, w}} + {v, {w, u}} + {w, v} − ,v + {w, u} − ,u
∂qi ∂pi ∂pi ∂pi ∂qi ∂qi
i=1
| {z } | {z }
A B
∂u ∂ ∂w ∂v
∂ ∂w
− {w, v} − ,v − {w, u} − , u
∂pi ∂qi ∂qi ∂qi ∂pi ∂pi
| {z } | {z }
A B
We note that since each term is summed over all i, j, then each term is symmetric in i, j. Hence each pair of terms C, D, E, F
cancels and we get
J ≡0
Rowan Lonsdale