What are some mechanics examples with a globally non-generic symplectic structure?

Question

In the framework of statistical mechanics, in books and lectures when the fundamentals are stated, i.e. phase space, Hamiltons equation, the density etc., phase space seems usually be assumed to be $\mathbb R^{2n}$, where maybe the $q^i$-coordinates are cut off to get a finite volume.

In the books about Hamiltonian mechanics, especially mathematical books, one needs a symplectic space $(\mathcal{M},\omega)$ and of course the Hamiltonian. Now necessarily, locally $\omega$ looks like the canonical form $\Theta=\text dq^i\wedge\text dp_i$.

Are there some relevant classical mechanics problems where one can state a less trivial $\omega$, and that globally?

I would like to see a global expression which is different from $\Theta$ (and also not just $\Theta$ in different global coordinates). That would be a nontrivial form, which might maybe arise over a more topologically complicated space than $\mathbb R^{2n}$, maybe due to restrictions of a mechanical system. And maybe you get such a form after a phase space reduction, but I don't actually know any explicit mechanical problem you need it for.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user NikolajK

Comments

Related: physics.stackexchange.com/q/126676/2451 and mathoverflow.net/q/147395/13917

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user Qmechanic

Answer 1

Generally, coadjoint orbits of a Lie group provide important examples of global symplectic manifolds. In general such systems are obtained by symplectic reduction from a more fundamental description.

For example, the spinning top is modelled for constant $J^2$ on a symplectic manifold $S^2$ that is a coadjoint orbit of the rotation group $SO(3)$. It is obtained by symplectic reduction from the $N$-particle model of a rigid body. (If $J^2$ is not taken fixed, one needs a more general description in terms of a 3-dimensional Poisson manifold.)

There are lots of more advanced such models. See the book Mechanics and Symmetry by Marsden and Ratiu.

Hamiltonian dynamics in general Poisson manifolds is also not just a mathematical game but is important in applications. For example, the Hamiltonian description of realistic fluids needs an infinite dimensional Poisson manifold. For the Euler equations, see, e.g.,
P.J. Morrison, Hamiltonian description of the ideal fluid, Reviews of Modern Physics 70 (1998), 467.
http://www.ph.utexas.edu/~morrison/98RMP_morrison.pdf

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user Arnold Neumaier

Comments

But the symplectic manifold in this case is just the cotangent bundle of S^3/Z_2. This doesn't seem to me to be a good example, since the question seemed to me to ask for a case where the symplectic structure is not a cotangent bundle of a manifold, and I couldn't think of an example immediately.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user Ron Maimon

---

@RonMaimon: The OP asked for a case where the symplectic structure is globally different from $\Theta$. On the other hand, there are many Lie-Poisson manifolds whose coadjoint orbits are not cotangent spaces; one just needs to take bigger Lie groups and physical systems that have these as symmetry group.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user Arnold Neumaier

---

But it's depressing that they don't show up as physical phase spaces of actual objects. I was trying to think of a single case in classical realizable systems.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user Ron Maimon

---

@RonMaimon: They do show up, for example in hydromechanics. See the addition to my answer.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user Arnold Neumaier

---

@Arnold : Thanks for the answer. From third from the last statement (in brackets) in your answer it appears that study of dynamical systems may also require one to work with general Poisson manifolds (i.e. those without any underlying symplectic structure.) It that true ? Intuitively it appears that the case when $J^2$ is not fixed can simply be described in terms of some "larger" symplectic manifold.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user user10001

---

@dushya: 'It that true?' yes. In fact, the Poisson framework is the correct level for doing abstract classical mechanics. See Chapter 3 in arxiv.org/abs/0810.1019 . See also the addition at the end of my answer. Marsden & Ratiu have the generalities about dynamics in Poisson algebras, but Morrison has details much closer to applications.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user Arnold Neumaier

Answer 2

Phase spaces which are not cotangent bundles can be realized in mechanical systems with phase space constraints . The phase space given by Arnold: the two sphere $S^2$ can be mechanically realized as the reduced dynamics of an energy hypersurface of a two dimensional isotropic harmonic oscillator:

$ p_1^2+p_2^2+q_1^2+q_2^2= E$

We observe that the Hamiltonian generates a constant rotation rate in the $(p,q)$ planes, namely:

$ (p_i(t)+iq_i(t)) = exp(-iE_it) (p_i(0)+iq_i(0)) $

Thus we may choose to look at the system from the point of view of a "rotating system in phase space" in which the vector in the $(p_1, q_1)$ plane is always in the direction of $q_1$. Of course, we cannot do that on both planes because we have only one degree of freedom. Thus we are left with:

$p_2^2+q_1^2+q_2^2 = E$,

which is just the equation of a two-sphere. Thus the reduced dynamics of a constant energy hypersurface is on a two-sphere.

The symplectic form has to be proportional the area of the sphere, because it is the volume form of the sphere and a two sphere has only one volume form.

This approach gives us a very big bonus upon quantization. It is well known that from the quantization of a sphere we get spin quantization. From the point of view of the isotropic oscillator for $E = 2j \hbar$, ($j$ is half integral), this quantization corresponds to the following energies of the individual oscillators: $(2j, 0), (2j-1, 1), .,.,., (0,2j)$. As can be seen there are exactly (2j+1) states as in the spin system.

The full theory of quantizations allows to write the corresponding wave functions also in the coordinates of the two sphere. Thus, we actually quantized the isotropic oscillator using spin quantization.

The equivalence of this procedure to the standard quantization of the isotropic harmonic oscillator is a very celebrated theorem by Guillemin and Sternberg called "Quantization commutes with reduction". Actually, this is the principle we apply when we quantize gauge theories (although there is no formal proof for the infinite dimensional case). You can find on the net numerous works on this subject.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user David Bar Moshe

Comments

"The phase space given by Arnold" ... a sentence generations of physicists have used before.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user NikolajK

Answer 3

Any two dimensional closed orientable surface can have structure of a symplectic manifold (you can set your symplectic form equal to volume form). Moreover it will be "nontrivial" in the sense of being different from cotangent bundle of some other manifold. Also once you are given with some symplectic manifold you can always define a classical mechanical system on it, by introducing a Hamiltonian function and writing corresponding time evolution equations.

One explicit example is torus which can be obtained from phase space $R^2$ of a single particle by making following identifications on position and momentum :

$x+L_1=x$

$p+L_2=p$

So now any function $H(x,p)$ which is periodic in $x$ and $p$ with periods $L_1$ and $L_2$ respectively can serve as a Hamiltonian function on torus.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user user10001

Comments

Okay, the torus example as compactification is not so interesting per se, i.e. without stating an actual form which makes physical sense (since the canonical form would again be the first idea here). But I see that from that statement about 2-dim manifolds, there is $S^2$ and you probably have to have some more complicated form there, maybe $\sin(\vartheta)\ \text d \phi\wedge\text d\vartheta$ or so. Any actual mechanical problem in mind?

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user NikolajK

---

I am not sure .. at least for a compact symplectic manifold there seems to be an "unphysical" constraint on momentum which could be problematic in "actual" realization of a corresponding physical system.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user user10001

---

This is not a great answer, he is looking for a twisted up phase space, not an identified one (but this is not as bad as I thought--- the p is identified, so it is an honest to goodness example where the phase space is not the cotangent bundle of the configuration space, although it is a little trivial). There is no mechanical system with a p-phase space torus that I know. How do you implement the p-periodicity constraint classically? You can only do this in a quantum system with a spatial lattice. Perhaps this is good enough, think about the classical limit of a lattice quantum system.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user Ron Maimon

---

May be Nick is looking for some real physical system whose phase space is not a cotangent bundle .. right Nick ? and as I said I am not sure if there can be any.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user user10001

---

My motivation is really to find out if the mathematical definition in that approach is over the top. Even if the physical problems motivated the mathematical studies and the discovery of the extension and embedding in the elaborate differential geometric picture with its possibilities ...it's not necessary to use the full (mathematical) Hamiltonian system formalism in the definition, if it gets never ever used.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user NikolajK

---

@NickKidman: The cotangent bundle description definitely gets used--- some particles with repulsive forces constrained to slide on a sphere, or on a torus, or on a hyperbolic plane, so that the phase space involves a nontrivial manifold in the position part. The part that isn't used too often is the general notion of a symplectic space, which is somewhat too general for mechanics, but maybe not for classical limits of quantum systems.

This post imported from StackExchange Physics at 2015-03-30 13:53 (UTC), posted by SE-user Ron Maimon