Mechanical Connections. Wayne Lawton Department of Mathematics National University of Singapore [email protected] http://www.math.nus.edu.sg/~matwml (65)96314907. 49 th Annual Meeting of the Australian Mathematical Society University of Western Australia Sept 27-30, 2005 .
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Department of Mathematics National University of Singapore
49th 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
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
27 Symmetry and Momentum Maps
28 Rigid Body Dynamics
29 Boundless Applications
brain is !!!
Radius = 1
Holonomy: rotation of tangent vectors parallel translated around meridian = area of spherical cap.
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.
if a ball rolls along the curve
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.
Theorem [Lioe2004] If
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.
is a rotation trajectory
is a small trajectory variation
is defined by
Theorem [Lioe2004] If
is the shortest
trajectory with specified
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.
Potential Application: Rotate (real or virtual) rigid body by moving a computer mouse. See [Sharpe1997].
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
The 2m-k variables (x’s & lambda’s)
are computed from m-k constraint
equations and the m equations given by
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 !
synthetic geometry algebra
Calculus: fundamental theorems local global
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)
(global) foliation of O into 2-dim spheres
A dim = k subspace d(p) of the tangent space to E at p.
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.
Definition A vector field v : E T(E) is subordinate
to a distribution d (v < d) if
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.
are differential 1-forms.
d is integrable iff
Proof See [Chern1990] – crucial link is Cartan’s formula
Remark Another Cartan gem is:
between manifolds with rank = dim B,
the vertical distribution d on E is defined by
and a connection is a complementary distribution c
This defines T(E) into the bundle sum
Theorem c is the kernel of a V(E)-valued connection
and image of a horizontal lift
denote the horizontal projection.
and points p, q in B then every path f from p to q in B defines a diffeomorphism (holonomy) between fibers
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.
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.
are vector field extensions.
Theorem This defintion is independed of extensions.
Theorem A connection is integrable (as a distribution) iff its curvature = 0.
Theorem A connection has holonomy = 0
iff its curvature = 0.
we introduce local coordinates
there exists a (m-k) x m matrix (valued function of p) E
with rank m-k and
hence we may re-label
the coordinate indices so that
where B is
an invertible (m-k) x (m-k) matrix and c is defined by
if and only if
if and only if
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].
is an anti homomorphism
Momentum Map for Lifted Left Action on a Manifold
Momentum Map for Lifted Left Action on a Lie Group
is a positive definite self-adjoint inertial operator, and the
The reduced dynamics on the base space of the FB
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
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,...
[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.
[Sharpe1997] R. W. Sharpe, Differential Geometry- Cartan’s Generalization of Klein’s Erlangen Program, Springer, New York.
[Hand1998] L. Hand and J. Finch, Analytical Mechanics, Cambridge University Press.
[Chern1990] S. Chern, W. Chen and K. Lam, Lectures
on Differential Geometry, World Scientific, Singapore.
[Ehresmann1950] C. Ehresmann, Les connexions infinitesimales dans ud espace fibre differentiable, Coll. de Topologie, Bruxelles, CBRM, 29-55.
[Hermann1993] R. Hermann, Lie, Cartan, Ehresmann Theory,Math Sci Press, Brookline, Massachusetts.
[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.
[Marsden2004] Nonholonomic Dynamics, AMS Notices
[Ishlinskii1952] A. Ishlinskii, Mechanics of special gyroscopic systems (in Russian). National Academy Ukrainian SSR, Kiev.
[Ishlinskii1976] A. Ishlinskii, Orientation, Gyroscopes and Inertial Navigation (in Russian). Nauka, Moscow.
[Kane1969] T. Kane and M. Scher, A dynamical explanation of the falling phenomena, J. Solids Structures, 5,663-670.
[Montgomery1990] R. Montgomery, Isoholonomic problems and some applications, Comm. Math. Phys. 128,565-592.
[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).