arxiv: v2 [math.ds] 26 Apr 2017

Transcription

1 GAUSSIAN CURVATURE AND GYROSCOPES GRAHAM COX AND MARK LEVI arxiv: v2 [math.ds] 26 Apr 2017 Abstract. We relate Gaussian curvature to the gyroscopic force, thus giving a mechanical interpretation of the former an a geometrical interpretation of the latter. We o so by consiering the motion of a spinning isk constraine to be tangent to a curve surface. It is shown that the spin gives rise to a force on the isk which is equal to the magnetic force on a point charge moving in a magnetic fiel normal to the surface, of magnitue equal to the Gaussian curvature, an of charge equal to the isk s axial spin. In a special case, this emonstrates that the precession of Lagrange s top is ue to the curvature of a sphere etermine by the parameters of the top. 1. Introuction Lagrange s top is an axisymmetric rigi boy with one point on the axis fixe, subject to a gravitational force [5]. It is equivalent to a isk mounte on an axle attache to a ball joint, as in Figure 1(a), or a particle namely, the isk s center moving on a sphere uner the influence of gravitational an magnetic forces [2]. It is the magnetic force, i.e. the gyroscopic effect, that causes the top to precess. Figure 1. (a) A spinning top viewe as a isk tangent to a sphere. (b) A isk tangent to a torus. The axle CO, constraine to the plane ABC, sweeps out a circle in that plane; the torus is generate by revolving this circle about the axis AB. In this paper we point out a connection with Gaussian curvature, by showing that the motion of the Lagrange top is the same as the motion of a charge particle in a magnetic fiel normal to the sphere an equal in magnitue to the Gaussian curvature, with the particle s charge given by the angular momentum of the top aroun its symmetry axis. One might argue that this is just a coincience, since the geometry of the sphere is so particular. We show that this is no coincience, an is in fact a reflection of a eeper relationship between curvature an ynamics. To see this, we consier the generalization of the top, namely a spinning massive isk constraine to be tangent to a smooth surface, with the contact point free to slie along the surface, as illustrate in Figures 1(b) an 2. Our main result, illustrate in Figure 3, is that the rotation of the isk aroun its axle prouces an aitional force acting on the center of the isk, perpenicular to the velocity, of magnitue F = LvK (1) Both authors gratefully acknowlege support from the NSF grant DMS

2 2 G. COX AND M. LEVI Figure 2. The rotating tangent isk. The isk intersects the surface in the negative curvature case (b), but this situation is physically realizable, e.g. by the construction of Figure 1(b). where L is the axial angular momentum of the isk, K is the Gaussian curvature of the surface, an v is the spee of the isk s center. In other wors, the trajectory of the spinning isk s center is the same as that of a non-spinning isk subject to this aitional force. This is exactly the same as the Lorentz force acting on a charge particle in a magnetic fiel, with L being the charge an K being the strength of the magnetic fiel. This results in a physical interpretation of Gaussian curvature as a magnetic fiel an angular momentum as charge. It shoul be note that a non-spinning isk is ifferent from a point mass, since the former has some kinetic energy ue to the rotation of the tangent plane. However, if the isk has a small raius this portion of energy is small relative to the translational energy, an if it is neglecte then the two systems are equivalent. By contrast, if the isk spins rapily the kinetic energy ue to the axial spin cannot be ignore, even when the raius is small. This is iscusse in more etail in Section 2.2. We also point out that the prouct LvK is the only homogeneous expression in L, v an K that has units of force. In the approximation mentione in the preceing paragraph, that is, for a small, rapily-spinning isk, there exist coorinates (x 1, x 2 ) at any given point in which the equations of motion take the form mẍ 1 = Lẋ 2 K mẍ 2 = Lẋ 1 K. The result is precisely formulate in Section 2 an prove in Section 3, with a heuristic explanation given in Section 4. We conclue in Section 5 by giving a coorinate-free formulation an proof of the main result using the language of moern ifferential geometry. This provies as a special case an (apparently new) variational erivation of the equations of motion of Lagrange s top. Remark 1. The result gives further motivation to the problem of stuying curves for which the geoesic curvature is a constant multiple of the Gaussian curvature: k = ck. Inee, the geoesic curvature is k = a/v 2, where a is the acceleration ue to the magnetic force. Substituting a = m 1 LvK from (1), we get k = L mv K.

3 GAUSSIAN CURVATURE AND GYROSCOPES 3 Figure 3. The main result: the spinning isk acts as if subject to the Lorentz force F= Lv ( K), with K = Kn, where n is the unit normal vector in the positive irection relative to a chosen orientation of the surface an K is the Gaussian curvature. Thus B = K can be interprete as the magnetic fiel, an q = L as the charge. Choosing the opposite orientation will not affect F as both n an L woul change sign. Note that v is constant since the force is perpenicular to the velocity, an the constant c is precisely the ratio of angular momentum to linear momentum. This is a subclass of a wier class of problems on magnetic geoesics consiere by Arnol [1] an many others; see [3] an references therein. Remark 2. We arrive at the spinning isk problem through the following series of associations. In analyzing the ynamics of a tight binary orbiting a larger star we were le naturally to a simplifie problem: a umbbell, such as a pair of tethere satellites, spinning an orbiting a gravitational center (this work is to appear elsewhere). This in turn le us to consier a geoesic umbbell : two point masses constraine to a surface an a fixe small geoesic istance apart. An interesting effect in all of these problems is the appearance of a magnetic force ue to the spin. (Incientally, such a magnetic force appears also for a single point mass if the force fiel itself is spinning, as pointe out in [4]). The spinning isk consiere here is a simplification of the geoesic umbbell, chosen to emonstrate the magnetic effect with a minimum of technicalities. 2. Results We now formulate the main result of the paper the equations of motion of the spinning isk on a curve surface. In orer to state the result we first write the kinetic energy of the isk in a special coorinate system, then interpret geometrically the resulting Euler Lagrange equations Classical formulation. Let (x 1, x 2 ) be a local rectangular coorinate system on the surface, so that the lines {x 1 = const.} are orthogonal to the lines {x 2 = const.}. We take these coorinates to be right-hane with respect to a chosen orientation of the surface. The metric s 2 on the surface is then given by s 2 = a 11 x a 22 x 2 2. (2) Let x = (x 1, x 2 ) enote the coorinates of the isk s center. The rotational part of the kinetic energy of the isk is 1 2 Iω, ω, where I is the tensor of inertia of the isk aroun its center of mass an ω is the angular velocity. Decomposing the latter along the axial irection an the rest, we obtain the total kinetic energy (translational plus rotational) as E = 1 2 mv I aω 2 a I ω 2, (3) where ω a an ω are the scalar values of the two projections of ω (axial an along a iameter), m is the mass of the isk, an v is the spee of the center of the isk: v 2 = Aẋ, ẋ, where

4 4 G. COX AND M. LEVI A = iag(a 11, a 22 ) an where, enotes the Eucliean inner prouct. It follows that a nonspinning 1 isk has kinetic energy T = 1 2 mv I ω 2, (4) an its center moves accoring to t T ẋ T x = 0. We now escribe what happens when the isk has non-zero angular momentum aroun its axle. Theorem 1. Define T = T (x, ẋ) as in (4) an let K = K(x) enote the Gaussian curvature of the surface. Then the angular momentum L = I a ω a about the isk s axle is a conserve quantity an the motion of the isk s center is governe by t T ẋ T x = a 11 a 22 L(Jẋ)K, J = ( ) 0 1. (5) 1 0 To uncover the intrinsic meaning of the equations of motion (5), fix a point P on the trajectory an let (x 1, x 2 ) be the Cartesian coorinates in the plane tangent to the surface at P ; the nearby positions on the trajectory are then given by the coorinates (x 1, x 2 ) of the orthogonal projection onto this tangent plane. In these coorinates, a 11 = a 22 = 1 at P, an (5) simplifies to t T ẋ T x = L(Jẋ)K at P. (6) This confirms our earlier claim that the axial spin amounts precisely to the aition of a magnetic fiel orthogonal to the surface an of magnitue K. Remark 3. It is possible to inclue potential energy terms in T, allowing for external forces such as gravity, but these have no bearing on our result as they o not affect the magnetic term The small, rapily-spinning isk. Further simplification occurs if we ignore the last term in (3). This approximation is justifie if the raius of the isk is small in the following sense. Since ω h v, where h enotes the secon funamental form of the surface, we obtain I ω mv 2 R2 h 2 4 where R is the raius of the isk. Thus the translational kinetic energy ominates the energy of rotation aroun the iameter when R h 1. Moreover, since I a = 2I, the secon term in (3) will be much larger than the thir if ω a, the axial spin, is large relative to ω, i.e. ω /ω a 1. We thus efine the small, rapily-spinning isk to be the system with kinetic energy E = 1 2 mv I aω 2 a. (7) In this case the center moves precisely like a particle of charge L in a magnetic fiel of strength K. In particular, (6) becomes mẍ = L(Jẋ)K at P, (8) or equivalently mẍ 1 = Lẋ 2 K mẍ 2 = Lẋ 1 K. (9) 1 I.e. ωa = 0. Geometrically this means any material raius-vector of the isk unergoes parallel transport along the curve x(t).

5 GAUSSIAN CURVATURE AND GYROSCOPES An application to the Lagrange top. We now escribe more explicitly the role of Gaussian curvature in the ynamics of the Lagrange top. The configuration space SO(3) can be parametrize by Euler angles, which we enote by x 1, x 2 an θ, as shown in Figure 4 (thus breaking with the traition of using Greek letters exclusively). Here (x 1, x 2 ) are the coorinates of the point of intersection of the axle with a sphere, an θ is the angle between the parallel on the sphere through P an a vector u rigily attache to the top an normal to the top s axle. The kinetic energy is E top = 1 2 I 1(ẋ ẋ 2 2 sin 2 x 1 ) I 3( θ + ẋ 2 cos x 1 ) 2, (10) where I 3 is the moment of inertia about the top s axle, an I 1 is the moment of inertia about any perpenicular axis. The first term in (10) coincies with the expression for the kinetic energy of a point mass m on the sphere of raius R, namely 1 2 mr2 (ẋ ẋ2 2 sin2 x 1 ), provie mr 2 = I 1. (11) This still leaves some freeom in choosing m an R. We use this freeom by insisting that the potential energy (which we exclue so far) of our point mass equal the potential energy of the top: mgr cos x 1 = Mgl cos x 1, where M enotes the top s mass, an l the istance from the origin to the top s center of mass. This an (11) fixes R an m: R = I 1 Ml, m = M 2 l 2. (12) I 1 To summarize, to any Lagrange top we assign a raius R an a point mass m, so the kinetic energy of the top becomes E top = 1 2 mv I 3ω 2 a. (13) This is precisely the form of (7) with I a = I 3. That is, the Lagrange top turns out to be an exact incarnation of the small, rapily spinning isk moving on a sphere of raius R, as given by (12). Accoring to Theorem 1, the point at which the axle punctures the sphere behaves as if it were subject to a Lorentz force of magnitue LvK, where L is the axial angular momentum an where K = 1/R 2 is the Gaussian curvature of the sphere. P x 1 u u x 2 Parallel to tangent plane at P Figure 4. Euler s angles: x 1 = π/2 latitue; x 2 = π/2 longitue; an θ = the angle of a chosen vector u with the parallel {x 1 = const.} Intrinsic formulation. The equations of motion (5) epen on local coorinates, which tens to obscure their geometric nature. On the other han, the simplifie forms (6) an (9), while geometrically transparent, are only vali in a particular coorinate system at a single point. We aress this concern by writing the equations of motion in an invariant manner, retaining the special assumption of a small, rapily-spinning isk.

6 6 G. COX AND M. LEVI The center of the isk moves along a parametrize curve γ on the surface, with velocity γ. Letting D t enote the covariant erivative operator along γ, the acceleration of the center is D t γ, an so the equation of a geoesic is D t γ = 0. In these notations Theorem 1 can be reformulate in the following coorinate free way. Theorem 2. The center of the small, rapily-spinning isk moves accoring to md t γ = L(J γ)k, (14) where L is constant an J enotes counterclockwise rotation by π/2 in the tangent plane. This shoul be rea as a coorinate-free version of (9): the left-han sie is mass times acceleration an the right-han sie is the magnetic force acting on the isk s center. Further etails an the proof are given in Section The equations of motion: coorinate version In this section we show how the Gaussian curvature arises in the Euler Lagrange equations, thus proving Theorem 1. In orer to write the kinetic energy E in coorinates, we choose a local rectangular coorinate system (x 1, x 2 ) on the surface. Marking a particular raius on the isk, enote by θ the angle this raius makes with the positive irection of the lines {x 2 = const.}. Thus the triple (x 1, x 2, θ) parametrizes (locally) the configuration space of the isk. Having thus coorinatize the configuration space, we nee to fin an expression for ω a. To that en we nee an expression of the parallel transport (which correspons to ω a = 0); this is provie by the following lemma. Lemma 1. The parallel transport of a tangent vector along a curve x(t) = (x 1 (t), x 2 (t)) on the surface is given by θ = a 11 k 1 ẋ 1 (t) a 22 k 2 ẋ 2 (t), (15) where k 1 an k 2 are the geoesic curvatures of the coorinate lines {x 2 = const.} an {x 1 = const.}, respectively, an a ii are the coefficients of the metric tensor (2). Remark 4. A more geometric form of (15) (which we o not use) is θ = k 1 s 1 k 2 s 2, (16) where s i are the length elements along the coorinate curves. Equivalently, θ = k 1 cos ϕ k 2 sin ϕ, (17) where ϕ is the angle between the curve x(t) an the coorinate lines {x 2 = const.} Figure 5. Towars the proof of (15).

7 GAUSSIAN CURVATURE AND GYROSCOPES 7 Proof. Figure 5 shows an infinitesimal triangle whose two sies are lines x 1 = const., x 2 = const., an whose hypotenuse is a segment of x( ) along which we want to transport. Transporting a tangent vector along the curve x( ) we get hyp θ (the change of the angle it forms with the lines x 2 = const., the quantity we are intereste in). But by the Gauss Bonnet theorem hyp θ = 1 θ + 2 θ + O(x 1 x 2 ), where i θ enote the change of θ uner parallel transport along the legs of the triangle in Figure 5 in the irection of the arrows. Using 1 θ = k 1 s 1, where s 1 = a 11 x 1, an similarly for the other curve leas to (16) an thus to (15). Accoring to (15), the axial component of the angular velocity of the isk is where ω a = θ + k 1 a11 ẋ 1 + k 2 a22 ẋ 2 ef = θ + f(x)ẋ, (18) x = (x 1, x 2 ) an f(x) = (k 1 a11, k 2 a22 ). Inee, accoring to the lemma, the right han sie of (18) measures the mismatch with parallel transport. The kinetic energy of the isk in these coorinates is E = 1 2 I a( θ + f(x)ẋ) ( m Aẋ, ẋ + I h(ẋ, ẋ) ), (19) } 2 {{} T =T (x,ẋ) where h is the secon funamental form of the surface. The term T is the kinetic energy of the non-spinning isk; if I h(ẋ, ẋ) can be neglecte then T is simply the kinetic energy of the point mass m. The Euler Lagrange equations for the Lagrangian E are an t ( θ + f(x)ẋ) = 0 (20) ( t T ẋ T x + I a ( θ + f(x)ẋ)(f x fx T )ẋ + ) t ( θ + f(x)ẋ) = 0. (21) Accoring to (20), θ + f(x)ẋ is constant along any solution this is simply the angular velocity of the isk aroun its axle. Fixing an arbitrary value ω a of this constant, we limit our attention to the invariant subspace of the phase space satisfying For such solutions (21) reuces to θ + f(x)ẋ = ω a. t T ẋ T x + L(f x fx T )ẋ = 0, (22) where L = I a ω a, with the skew-symmetric matrix ) ( ) f x fx T 0 1 = ((k 1 a11 ) x2 (k 2 a22 ) x }{{}}{{} (23) K(x) J Lemma 2. With the above assumptions an notations, where K is the Gaussian curvature of the surface. K(x) = a 11 a 22 K(x), (24)

8 8 G. COX AND M. LEVI Proof. Assume x = (0, 0) without loss of generality. Consier a patch on the surface corresponing to x 1 [0, ε] an x 2 [0, δ] for small ε, δ. The Gauss Bonnet formula applie to this patch gives ε δ K(x 1, x 2 ) a 11 a 22 x 1 x π 2 + k s = 2π, (25) 0 0 where the term 4 π 2 = 2π comes from the four right angles of the rectangle here the assumption of the orthogonality of the coorinate system is use an k is the geoesic curvature. Now k s is the sum of four terms, which we group into pairs corresponing to opposite sies: ε δ k s = ((a 11 k 1 )(x 1, 0) (a 11 k 1 )(x 1, δ)) x 1 + ((a 22 k 2 )(ε, x 2 ) (a 22 k 2 )(0, x 2 )) x 2, 0 where (a 11 k 1 )(x, y) enotes the prouct evaluate at (x, y). Substituting this into (25), iviing by εδ an sening ε, δ 0 results in (24). Substituting (24) into (23) we reuce the Euler Lagrange equation (22) to the form (5), thus completing the proof of Theorem 1. 0 Figure 6. Illustrating the proof of Lemma 2 on Gaussian curvature. 4. A heuristic explanation of the appearance of Gaussian curvature We now give a short heuristic explanation of our result. After that we iscuss two special cases, strippe of all formalism, to give a physical insight into what is really going on. The unerlying intuition in all this is the following: if we hol a spinning wheel by two ens of its axle an attempt to change its orientation, the axle resists by pushing our hans in the irection orthogonal to their motion. An elementary explanation of this can be foun in, e.g., [6], p An explanation of the magnetic force general case. In the neighborhoo of the tangency point with the isk the surface is given by the graph of z = 1 ( ) ( ) a b 2 Hx, x + x1 O( x 3 ), H =, x =. b c x 2 A unit normal vector to this surface is n = (Hx, 1) + O( x 2 ) R 3, an ṅ = (Hv, 0) at the instant when the center of the isk is at x = 0. But I a ω a n = L is the axial angular momentum, an thus the torque upon the isk is τ = L = I a ω a (Hv, 0). (26) This torque can be attribute to two forces, F a an F b, normal to the isk acting at two points a an b whose connecting segment is normal to Hv, as shown in Figure 7. The resultant force is F b + F a = (n b n a )F,

9 GAUSSIAN CURVATURE AND GYROSCOPES 9 Figure 7. The force F b upon the isk points out of the page; F a points into the page. where n a an n b are unit normal vectors an F = F a = F b. resultant is therefore (n b n a ) x1 x 2 F = H(b a)f = H (Hv) Hv The (x 1, x 2 )-projection of the JHv s F = H τ. (27) Hv A irect computation yiels HJH = KJ, where K = et H is the Gaussian curvature. Substituting this an τ = τ from (26) into (27) we get (F b + F a ) x1 x 2 = I a ω a (Jv)K = L(Jv)K, in agreement with (1) an Figure 3. The above explanation still relies on a small calculation (27); the following two special cases are treate purely geometrically, with nothing hien by calculation. Figure 8. The vector v is tangent to a line of principal curvature. The torque upon the isk is equivalent to the torque of a couple F a, F b exerte upon the isk at two points a small istance s apart. Special case #1: v is tangent to a line of principal curvature, Figure 8(a). With the velocity v pointing in a principal irection, the isk unergoes an aitional rotation aroun the iameter tangent to the other principal irection (line 2 in Figure 8(a)) with the angular velocity ω r = vκ 1, where κ 1 is the principal curvature in the irection v. As the result of this reorientation, the isk exerts the gyroscopic torque 2 τ = Lvκ 1 (28) 2 see, e.g., [6].

10 10 G. COX AND M. LEVI against the tangency constraint (this can be seen from (26)), an the surface reacts with an equal an opposite torque, which can be consiere to be ue to the torque of two forces, F a an F b, applie by the surface to the isk, as in Figure 8(a). The torque of these forces points into the page in Figure 8(b). Figure 8(b) explains the key point: the sum of these reaction forces points to α = κ 2 s κ 2 Figure 9. The origin of the magnetic force. (a) The torque τ which the surface exerts upon the isk can be equivalently represente by the torque of two forces at an infinitesimal istance s; the result (30) oes not epen on s. (b) Computing F eflection. the left in the figure, i.e. is normal to v. This is precisely the magnetic force mentione earlier. We now compute the magnitue of this force, referring to the magnifie view of Figure 9(b). We have F eflection = F α = F κ 2 s, (29) where κ 2 is the curvature of curve 2 in Figure 8. But Substituting this into (29) gives F s = τ (28) = Lvκ 1. F eflection = Lvκ 1 κ 2 = LvK, (30) which agrees with Figure 3 an coincies with the general formula erive in Sections 3 an 5. As an example, for the cyliner or for the cone we have F eflection = 0. In general the sign of K affects the irection ( left or right of v) of the eflection force. Figure 10. The velocity v points along the straight line on a rule surface of negative curvature. In (b), v points into the page. Special case #2: v points along a straight line on a rule surface of negative curvature. When v points along a straight geoesic (Figure 10), the isk s plane unergoes instantaneous rotation aroun the iameter aligne with this geoesic (in aition to the axial spin). The resulting

11 GAUSSIAN CURVATURE AND GYROSCOPES 11 gyroscopic effect causes the isk to apply a torque to the surface; the surface reacts with the equal an opposite torque, which can be thought of being ue two point forces F a an F b acting at two points a an b on the geoesic (this torque tries to twist the isk aroun the iameter perpenicular to v). Figure 10(b) shows that these forces have a nonzero resultant, ue to the surface s twisting, an that this resultant points normal to v. It remains to confirm that the magnitue of this force is given by (30). Let us choose coorinates so that the straight geoesic is the x-axis, an the z-axis is normal to the surface at the point in question. Any rule surface satisfies z = κxy + o(x 2 + y 2 ) for some constant κ. The Gaussian curvature of this surface at (0, 0, 0) is K = κ 2. We are intereste in the resultant F a + F b ; its magnitue is F α = F κ x, (31) where F = F a = F a, α is the angle between the normals at a an b an x is the istance along the geoesic. We fin F from the torque conition, as we i before in (28): We conclue that the resultant (31) is in agreement with the general case, as claime. τ = F x = Lω r = Lκv. F κ x = Lκ 2 v = LKv, 5. The equations of motion: coorinate-free version In this section we outline an alternative proof of Theorem 2, an thus of Theorem 1. As oppose to the proof given above, this one is variational an coorinate free. As in Section 2.4, we suppose the center of the isk follows a curve γ on the surface, with velocity γ an acceleration D t γ. We fix a unit vector u pointing from the center of the isk to the istinguishe point on the bounary, so the configuration space of the spinning isk is the unit tangent bunle of the surface. By the argument of Lemma 1, the axial component of the angular velocity is ω a = D t u, Ju, an hence the small, rapily-spinning isk has kinetic energy E(γ, u) = 1 2 m γ I a D t u 2. (32) For a smooth curve (γ, u) in the unit tangent bunle 3 we efine the action integral S(γ, u) = 1 2 b a ( m γ 2 + I a D t u 2) t. The esire equations of motion are precisely the variational (Euler Lagrange) equations for S. To compute the variation, let (γ s (t), u s (t)) enote a smooth family of curves in the unit tangent bunle, with (γ 0 (t), u 0 (t)) = (γ(t), u(t)). Define the variation fiels V = s γ s an w = D s u. Substituting γ s, u s into the action integral an ifferentiating the first term in the integran, we have 1 2 s γ s 2 = D s γ, γ = D t V, γ. (33) For the secon term in we compute at s = 0: 1 2 s D tu s 2 = D s D t u, D t u = D t D s u, D t u + R(V, γ)u, D t u, 3 That is, γ is a curve on the surface an u is a curve of unit tangent vectors such that u(t) is in the tangent plane at γ(t) for each time t.

12 12 G. COX AND M. LEVI where R is the Riemann curvature operator. From the efinition of w we obtain D t D s u, D t u = D t w, D t u. Next, using the formula for the Riemann curvature tensor on a surface we compute Substituting D t u = ω a Ju, we obtain R(V, γ)u, D t u = K ( V, D t u γ, u V, u γ, D t u ) = V, K ( γ, u D t u γ, D t u u). γ, u D t u γ, D t u u = ω a [ γ, u Ju γ, Ju u] = ω a J [ γ, u u + γ, Ju Ju] = ω a J γ, since (u, Ju) is an orthonormal basis. It follows that 1 2 s D tu s 2 = D t u, D t w + V, ω a KJ γ. (34) Combining (33) an (34) an integrating by parts, we obtain s E(γ b ( s, u s ) = V, Ia ω a KJ γ md t γ I a w, D 2 t u ) t s=0 a as long as the variations V an w vanish at the enpoints t = a, b. Since w an V are arbitrary, the critical points must satisfy md t γ = I a ω a KJ γ D 2 t u = 0. The first equation is precisely (14), with L = I a ω a. To complete the proof of Theorem 2, we just nee to show that ω a is constant. This is the case because ω a = D t u an t D tu 2 = 2 D 2 t u, D t u = 0. Acknowlegements. The authors are grateful for the many helpful comments by the referee, in particular for stimulating us to a an application, resulting in Section 2.3 on the Lagrange top. References [1] V. I. Arnol. On some problems in symplectic topology. In Topology an geometry Rohlin Seminar, volume 1346 of Lecture Notes in Math., pages 1 5. Springer, Berlin, [2] Richar H. Cushman an Larry M. Bates. Global aspects of classical integrable systems. Birkhäuser/Springer, Basel, secon eition, [3] Viktor L. Ginzburg an Başak Z. Gürel. Perioic orbits of twiste geoesic flows an the Weinstein-Moser theorem. Comment. Math. Helv., 84(4): , [4] Oleg N. Kirillov an Mark Levi. Rotating sale trap as Foucault s penulum. American Journal of Physics, 84(1):26 31, [5] Felix Klein an Arnol Sommerfel. The theory of the top. Vol. I: Introuction to the Kinematics an Kinetics of the Top. Birkhäuser Boston, Inc., Boston, MA, [6] Mark Levi. Classical Mechanics with Calculus of Variations an Optimal Control: An intuitive Introuction, volume 69 of Stuent Mathematical Library. American Mathematical Society, Provience, RI; Mathematics Avance Stuy Semesters, University Park, PA, aress: gcox@mun.ca Department of Mathematics an Statistics, Memorial University of Newfounlan, St. John s, NL A1C 5S7, Canaa aress: levi@math.psu.eu Penn State University Mathematics Dept., University Park, State College, PA 16802