1. Mechanical Connections Wayne Lawton Department of Mathematics National University of Singapore matwml@nus.edu.sg http://www.math.nus.edu.sg/~matwml (65)96314907 1 49 th Annual Meeting of the Australian Mathematical Society University of Western Australia Sept 27-30, 2005 Topology and Geometry Seminar National University of Singapore Oct 5, 2005

2. Contents 3-6 Earth, Tangents, Tubes, Beanies 2 7-10 Rolling Ball Kinematics 11-13 Nonholonomic Dynamics – Formulation 14-22 Distributions and Connections 23-24 Nonholonomic Dynamics - Solution 25-26 Rolling Coin Dynamics 29 Boundless Applications 27 Symmetry and Momentum Maps 28 Rigid Body Dynamics 30-33 References

3. Is the Earth Flat ? Page 1 of my favorite textbook [Halliday2001] grabs the reader with a enchanting sunset photo and the question: “How can such a simple observation be used to measure Earth?” 3 Sphere StandSunset Cube Answer: Not unless your brain is !!!

4. How Are Tangent Vectors Connected ? The figure on page 44 in [Marsden1994] illustrates the parallel translation of a Foucault pendulum, we observe that the cone is a flat surface that has the same tangent spaces as the sphere ALONG THE MERIDIAN. 4 Holonomy: rotation of tangent vectors parallel translated around meridian = area of spherical cap. Radius = 1 Area =

5. How do Tubes Turn ? 5 Tubes used for anatomical probing (imaging, surgery) can bend but they can not twist. So how do they turn? Unit tangent vector of tube  curve on sphere, Normal vector of tube  tangent vector to curve. Tube in plane  geodesic curve on sphere No twist  tangent vector parallel translated (angle with geodesic does not change)  holonomy = area enclosed by closed curve.

6. Elroy’s Beanie Example described on pages 3-5 in [Marsden1990] 6 body 1 inertia Shape. shape trajectory  configuration Conservation of Angular Momentum  body 2 inertia Configuration Mechanical Connection Angular Momentum Flat Connection  Holonomy is Only Topological

7. Rigid Body Motion is described by are defined by The velocity of a material particle whose motion space and its angular velocity in in the body is Furthermore, the angular velocities are related by 7

8. Rolling Without Turning on the plane z = -1 is described the by if a ball rolls along the curve therefore then Astonishingly, a unit ball can rotate about the z-axis by rolling without turning ! Here are the steps: 1. [0 0 -1]  [pi/2 0 -1] 2. [pi/2 0 -1]  [pi/2 -d -1] 3. [pi/2 -d -1]  [0 d -1] The result is a translation and rotation by d about the z-axis. 8

9. Material Trajectory and Holonomy The material trajectory satisfieshence Theorem [Lioe2004] Ifthen where A = area bounded by u([0,T]). Proof The no turning constraints give a connection on the principle SO(2) fiber bundle and the curvature of this connection, a 2-form on with values in the Lie algebra so(2) = R, coincides with the area 2-form induced by the Riemannian metric. 9

10. Optimal Trajectory Control and is a rotation trajectory is a small trajectory variation Proof Since is defined by then and 10 is the shortest the ball rolls along an arc of a circle in the plane P and u([0,T]) is an arc of a circle in the sphere. Furthermore, M(T) can be computed explicitly from the parameters of either of these arcs. Theorem [Lioe2004] If trajectory with specified Potential Application: Rotate (real or virtual) rigid body by moving a computer mouse. See [Sharpe1997].

11. Unconstrained Dynamics 11 The dynamics of a system with kinetic energy T and forces F (with no constraints) is where For conservative. we have where we define the Lagrangian. For local coordinates. we obtain m-equations and m-variables..

12. Holonomic Constraints 12 such that is to assume that the constraints are imposed by a constraint force F that is a differential 1-form that kills every vector that is tangent to the k dimensional submanifold of the tangent space of M at each point. This is equivalent to D’Alembert’s principle (forces of constraint can do no work to ‘virtual displacements’) and is equivalent to the existence of p variables. One method to develop the dynamics of a system with Lagrangian L that is subject to holonomic constraints The 2m-k variables (x’s & lambda’s) are computed from m-k constraint equations and the m equations given by.

13. Nonholonomic Constraints 13 such that. For nonholonomic constraints D’Alemberts principle can also be applied to obtain the existence of where the mu-forms describe the velocity constraints The 2m-k variables (x’s & lambda’s) are computed from the m-k constraint equations above and the m equations On vufoils 20 and 21 we will show how to eliminate (ie solve for) the m-k Lagrange multipliers !

14. Level Sets and Foliations Analytic Geometry: relations & functions synthetic geometry  algebra Implicit Function Theorem for a smooth function F Local (near p) foliation (partition into submanifolds) consisting of level sets of F (each with dim = n-m) Calculus: fundamental theorems local  global Example (global) foliation of O into 2-dim spheres 14

15. Frobenius Distributions Definition A dim = k (Frobenius) distribution d on a manifold E is a map that smoothly assigns each p in E A dim = k subspace d(p) of the tangent space to E at p. Definition A vector field v : E  T(E) is subordinate to a distribution d (v < d) if Example A foliation generates a distribution d such that point p, d(p) is the tangent space to the submanifold containing p, such a distribution is called integrable. The commutator [u,v] of vector fields is the vector field uv-vu where u and v are interpreted as first order partial differential operators. Theorem [Frobenius1877] (B. Lawson  by Clebsch & Deahna) d is integrable iff u, v < d  [u,v] < d. Remark. The fundamental theorem of ordinary diff. eqn.  evey 1 dim distribution is integrable. 15

16. Cartan’s Characterization A dim k distribution d on an m-dim manifold arises as. 16 d is integrable iffCartan’s Theorem where. are differential 1-forms. Proof See [Chern1990] – crucial link is Cartan’s formula Remark Another Cartan gem is:

17. Ehresmann Connections the vertical distribution d on E is defined by Definition [Ehresmann1950] A fiber bundle is a map between manifolds with rank = dim B, Theorem c is the kernel of a V(E)-valued connection and a connection is a complementary distribution c This defines T(E) into the bundle sum and image of a horizontal lift 1-form with 17 We letdenote the horizontal projection.

18. Holonomy of a Connection Theorem A connection on a bundle Proof Step 1. Show that a connection allows vectors in T(B) be lifted to tangent vectors in T(E) Step 2. Use the induced bundle construction to create a vector field on the total space of the bundle induced by a map from [0,1] into B. Step 3. Use the flow on this total space to lift the map. Use the lifted map to construct the holonomy. and points p, q in B then every path f from p to q in B defines a diffeomorphism (holonomy) between fibers Remark. If p = q then we obtain holonomy groups. Connections can be restricted to satisfy additional (symmetry) properties for special types (vector, principle) of bundles. 18

19. Curvature, Integrability, and Holonomy Definition The curvature of a connection is the 2-form 19 where andare vector field extensions. Theorem A connection is integrable (as a distribution) iff its curvature = 0. Theorem This defintion is independed of extensions. Theorem A connection has holonomy = 0 iff its curvature = 0.

20. Implicit Distribution Theorem 20 there exists a (m-k) x m matrix (valued function of p) E we introduce local coordinates. with rank m-k and an invertible (m-k) x (m-k) matrix and c is defined by the coordinate indices so that. hence we may re-label where B is where so Given a dim = k distribution on a dim = m manifold M

21. Distributions  Connections Locally on M the 1-forms. 21 define the distribution. Hence they also define a fiber bundle. whereis an open subset ofand Thereforecan be identified with a horizontal subspace and this describes an Ehresmann connection. on.

22. Curvature Computation 22 where. where. if and only if

23. Equivalent Form for Constraints 23 Since the mu’s and omega’s define the same distribution we can obtain an equivalent system of equations with different lambda’s (Lagrange multipliers) On the next page we will show how to eliminate the Lagrange multipliers so as to reduce these equations to the form given in Eqn. (3) on p. 326 in [Marsden2004].

24. Eliminating Lagrange Multipliers 24 We observe that we can express and reduced k equations hence we solve for the Lagrange multipliers to obtain These and the m-k constraint equations determine the m variables.

25. Rolling Coin General rolling coin problem p 62-64 [Hand1998]. Theta = angle of radius R, mass m coin with y-axis phi = rotation angle rolling on surface of height z(x,y). Constraints 25 Exercise compare with Hand-Finch solution on p 64

26. How Curved Are Your Coins ? Let ‘s compute the curvature for the rolling coin system 26

27. Poisson Manifolds Manifold 27 & Lie algebra structure {, } on is a derivation. Symplectic Manifold Example 1 Lie-Poisson bracket In particular if such Example 2 that Reduction Theorem  are Lie algebras and anti homomorphism.

28. Momentum Maps Consider a left-action of 28 on a Poisson manifold such that commutes and a map by canonical maps, hence an anti homomorphism is a momentum map if commutes, or

29. Momentum Function 29 has flow is an anti homomorphism If has flow Momentum Map for Lifted Left Action on a Manifold then Momentum Map for Lifted Left Action on a Lie Group Equivariance

30. Symmetry Noether’s Theorem If 30 and admits a momentum map acts canonically on a Poisson and of motion for the Hamiltonian flow induced by is a constantisinvariant, then Corollary The Hamiltonian flow above induces a Hamiltonian flow on each reduced space Proof See [Marsden1990,1994].

31. Rigid Body Dynamics Here 31 is a positive definite self-adjoint inertial operator, and the Hamiltonian yields dynamic reconstruction using the canonical 1-form connection [Marsden1990] who remarks in [Marsden1994] that reconstruction was done in 1942 Theorem [Ishlinskii1952,1976] The holonomy of a period T reduced orbit that enclosed a spherical area A is is LInv The reduced dynamics on the base space of the FB

32. Further Applications 32 Falling Cats, Heavy Tops, Planar Rigid Bodies, Hannay-Berry Phases with applications to adiabatics and quantum physics, molecular vibrations, propulsion of microorganisms at low Reynolds number, vorticity free movement of objects in water PDE’s – KDV, Incompressible and Compressible Fluids, Magnetohydrodynamics, Plasmas-Maxwell-Vlasov, Maxwell, Loop Quantum Gravity, … Representation Theory, Algebraic Geometry,...

33. References 33 [Halliday2001] D. Halliday, R. Resnick and J. Walker, Fundamentals of Physics, Ext. Sixth Ed. John Wiley. [Marsden1994] J. Marsden, T. Ratiu, Introduction to Mechanics and Symmetry, Springer-Verlag. [Marsden1990] J. Marsden, R. Montgomery and T. Ratiu, Reduction, symmetry and phases in mechanics, Memoirs of the AMS, Vol 88, No 436. [Lioe2004] Luis Tirtasanjaya Lioe, Symmetry and its Applications in Mechanics, Master of Science Thesis, National University of Singapore. [Hand1998] L. Hand and J. Finch, Analytical Mechanics, Cambridge University Press. [Sharpe1997] R. W. Sharpe, Differential Geometry- Cartan’s Generalization of Klein’s Erlangen Program, Springer, New York.

34. References 34 [Hermann1993] R. Hermann, Lie, Cartan, Ehresmann Theory,Math Sci Press, Brookline, Massachusetts. [Ehresmann1950] C. Ehresmann, Les connexions infinitesimales dans ud espace fibre differentiable, Coll. de Topologie, Bruxelles, CBRM, 29-55. [Frobenius1877] G. Frobenius, Uber das Pfaffsche Probleme, J. Reine Angew. Math., 82,230-315. [Chern1990] S. Chern, W. Chen and K. Lam, Lectures on Differential Geometry, World Scientific, Singapore. [Marsden2001] H. Cendra, J. Marsden, and T. Ratiu, Geometric Mechanics,Lagrangian Reduction and Nonholonomic Systems, 221-273 in Mathematics Unlimited - 2001 and Beyond, Springer, 2001.

35. References 35 [Ishlinskii1952] A. Ishlinskii, Mechanics of special gyroscopic systems (in Russian). National Academy Ukrainian SSR, Kiev. [Marsden2001] H. Cendra, J. Marsden, and T. Ratiu, Geometric Mechanics,Lagrangian Reduction and Nonholonomic Systems, 221-273 in Mathematics Unlimited - 2001 and Beyond, Springer. [Marsden2004] Nonholonomic Dynamics, AMS Notices [Kane1969] T. Kane and M. Scher, A dynamical explanation of the falling phenomena, J. Solids Structures, 5,663-670. [Ishlinskii1976] A. Ishlinskii, Orientation, Gyroscopes and Inertial Navigation (in Russian). Nauka, Moscow.

36. References 36 [Berry1988] M. Berry, The geometric phase, Scientific American, Dec,26-32. [Guichardet1984] On the rotation and vibration of molecules, Ann. Inst. Henri Poincare, 40(3)329-342. [Shapere1987] A. Shapere and F. Wilczek, Self propulsion at low Reynolds number, Phys. Rev. Lett., 58(20)2051-2054. [Kanso2005] E. Kanso, J. Marsden, C. Rowley and J. Melli-Huber, Locomotion of articulated bodies in a perfect fluid (preprint from web). [Montgomery1990] R. Montgomery, Isoholonomic problems and some applications, Comm. Math. Phys. 128,565-592. [Smale1970] S. Smale, Topology and Mechanics, Inv. Math., 10, 305-331, 11, 45-64.