Hi everybody,
In my last post, I promised that I would talk about the Hamiltonian and Lagrangian formalism of classical mechanics. In order to do that, we need to first develop some topological ideas, specifically in the area of symplectic topology. (It appears that the nice folks over at The Everything Seminar has beaten me to it, but I had this mostly written, so I decided to post it anyway.) The outline of these notes comes from a mathematical physics course I took last year, while the content is drawn primarily from Ana Cannas da Silva’s Lectures on Symplectic Geometry; other sources will be mentioned as they come up.
First, let be a real vector space. A symplectic form on
is a nondegenerate alternating bilinear map
. One can do a process similar to Gram-Schmidt to show that
has a basis
such that
and
for all
. This implies that
must be even-dimensional, say
. Then non-degeneracy condition is equivalent to the condition that
is a non-vanishing alternating
-form on
. Finally,
induces an isomorphism of
and its dual,
, given by
.
Before we define symplectic forms on manifolds, I’d like to review a result of differential topology that may not be familiar to some readers. Recall that a vector field on a manifold gives a map from the set of
-forms on
to the set of
-forms,
that corresponds to plugging
into the first slot of the form. More specifically,
for
and vector fields
. One of the most important uses of this notion is in Cartan’s formula for the Lie derivative of an
-form:
, where
is the exterior derivative. If you would like to see a proof of this relation, I recommend checking out John M. Lee’s Introduction to Smooth Manifolds, Proposition 18.13.
Now we’re ready to talk about some of the basics of symplectic topology. First, a symplectic form on a manifold is a CLOSED non-degenerate 2-form
. Immediately we see from the related ideas on vector spaces that if
has a symplectic form, it must be even-dimensional, say dimension
. Also, the non-degeneracy implies
is a volume form (non-vanishing form of top degree) on
. Initially, it is not obvious why we demand that
be closed. Hopefully we will soon see some of the nice results this produces. Finally,
induces an isomorphism of the tangent bundle
to the cotangent bundle
. Let’s explore this isomorphism a little closer.
Through , each vector field
on
corresponds to unique 1-form
. For any smooth function
, we define the symplectic gradient
to be the vector field such that
. (The minus sign is completely by convention. The reason for it will soon become apparent.) It is interesting to note that, unlike the usual Euclidean gradient, the symplectic gradient points parallel to level surfaces of
rather than orthogonal to them:
. Also, we can now see one of the benefits of the closedness of
: For any symplectic gradient
, we can use Cartan’s Formula to write
, so symplectic gradients preserve
.
The symplectic gradient allows us to define the Poisson bracket on associated to
,
, by
. Now, for those of you with physics background, this doesn’t look anything like the Poisson bracket that you’re used to, but we will compute it in nice coordinates later and get a very familiar result.
Let’s take a look at this Poisson bracket. First, by unraveling the definitions we see it is anti-symmetric: . (Here, the minus sign in the definition of the symplectic gradient was cancelled out by the alternating property of
; the minus sign was included in that definition precisely so that
.) Also, we can see that the previous consequence of the closedness of
leads to the relation:
, where the bracket is the normal Lie bracket on vector fields. Therefore, the closedness of
leads to a natural Lie algebra structure on the space of smooth functions.
Let’s take a look at some examples:
First, say and say
are the first
standard coordinate functions and
are the last. The standard symplectic form on
is
. If
is a smooth function on
, then
. The symplectic gradient of
is
and the symplectic gradient of
is
. Thus,
. Therefore, we can compute the Poisson bracket of two functions in terms of local coordinates:
. This is the usual formula for the Poisson bracket that one sees in classical mechanics.
As another example, there is an important class of manifolds that always has a symplectic structure: cotangent bundles. Let be an
-dimensional manifold. Say
is a chart on
with coordinate functions
. Then a cotangent vector
over a point
has a unique decomposition $\lambda = \sum_i p_i dx^i_x$. This induces a map
. You probably recognize this as the standard construction of coordinate charts of
. We can put the symplectic structure
on
, and it turns out that this form is coordinate invariant and so can be defined on all of
. This is called the “canonical” symplectic form on the cotangent bundle. Notice that in this case, the symplectic form is exact. The 1-form given by the local coordinate formula $\sum_i p_idx^i$ is generally denoted by
and is called the “tautological” 1-form on the cotangent bundle.
. There is a coordinate-invariant way of defining
and
; for details, see da Silva’s book.
Before I wrap up, I’d like to give just a word or two on symmetries of symplectic manifolds. A symplectomorphism of a symplectic manifold
is a diffeomorphism of
that preserves the symplectic form; i.e.
. An infinitesimal symplectomorphism of
is a vector field
such that
. The name of this term comes from the fact that the 1-parameter family of diffeomorphisms generated by
will be symplectomorphisms, entirely analogous to the situation in Riemannian geometry where Killing fields generate families of isometries. Infinitesimal symplectomorphisms will become very important in the study of Hamiltonian and Lagrangian mechanics, as they will lead to conserved quantities.
That’s all I have for now. Until next time.
-Joe
Maybe a dumb question, what does omega^n mean? Also, in paragraph 3 you meant that Y_i is in Gamma(TM) or that i_xi alpha is in Omega^{n-1}(M). Also, is this how you solved that question on the Lie groups homework?
By
, I mean
copies of
wedged together. Yes, I did mean that
was in
(they are vector fields.) Thanks for catching my mistake; it has been corrected.
Oh right, because they’re 2-forms…I keep thinking that wedging a form with itself gives 0 but that’s only for odd forms (right?)
Precisely.
Pingback: Hamiltonian Mechanics « Rigorous Trivialities