Hamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics. Manuel de León Institute of Mathematical Sciences CSIC, Spain
|
|
- Tobias Griffin
- 5 years ago
- Views:
Transcription
1 Hamilton-Jacobi theory on Lie algebroids: Applications to nonholonomic mechanics Manuel de León Institute of Mathematical Sciences CSIC, Spain joint work with J.C. Marrero (University of La Laguna) D. Martín de Diego (CSIC) Geometric Mechanics: Continuous and discrete, finite and infinite dimensional Banff, August 12 17, 2007
2 INDEX 1. Classical Hamilton-Jacobi theory (geometric version) 2. Geometric Hamilton-Jacobi Theory on almost Lie algebroids 3. An application to nonholonomic mechanical systems
3 The standard formulation of the Hamilton-Jacobi problem is to find a function S(t, q A ) (called the principal function) such that S t + H(qA, S qa) = 0. (1) If we put S(t, q A ) = W (q A ) te, where E is a constant, then W satisfies H(q A, W qa) = E; (2) W is called the characteristic function. Equations (1) and (2) are indistinctly referred as the Hamilton- Jacobi equation. R. Abraham, J.E. Marsden: Foundations of Mechanics (2nd edition). Benjamin-Cumming, Reading, 1978.
4 Classical Hamilton-Jacobi theory (geometric version) T M i Xh ω M = dh τ T M λ M Let λ be a closed 1-form (dλ = 0) T M X h T (T M) λ τ T M T τ T M M X λ h T M X λ h = T τ T M X h λ is a vector field on M
5 Hamilton-Jacobi Theorem Let λ be a closed 1-form (dλ = 0) (i)σ : I M integral curve of Xh λ λ σ integral curve of X h (ii) d(h λ) = 0 The condition (i) σ : I M integral curve of Xh λ λ σ integral curve of X h, is equivalent to (i) X h and Xh λ are λ-related (i.e. T λ(xλ h ) = X h).
6 Basic tools in Classical Hamilton-Jacobi theory T M τ T M M vector bundle over a manifold M The canonical symplectic 2-form ω M in T M The canonical Poisson 2-vector Λ T M on T M a linear bivector on the dual of the vector bundle. A hamiltonian function h : T M R A function h defined on the dual of the vector bundle A section λ : M T M such that dλ = 0 A section of the dual of the vector bundle which is closed with respect to the induced differential.
7 Geometric Hamilton-Jacobi Theory Ingredients: τ D : D M a vector bundle, and τ D vector bundle. D τ D M τ D D : D M its dual A linear bivector 1 Λ D on D (not Jacobi identity is required). We denote by {, } D the corresponding almost-poisson bracket. h : D R a hamiltonian function. 1 linear means that the bracket of two linear functions is a linear function
8 Proposition 1 We have that: Λ D is linear (a) ξ 1, ξ 2 Γ(τ D ) { ξ 1, ξ 2 } D on D, is a linear function (b) ξ Γ(τ D ), f C (M) { ξ, f τ D } D is a basic function with respect to τ D, (c) f, g C (M) {f τ D, g τ D } D = 0
9 Given local coordinates (x µ ) in the base manifold M and a local basis of sections of D, {e α }, we induce local coordinates (x µ, y α ) on D and the bivector Λ D is written as Λ E = ρ µ α y α x + 1 µ 2 Cγ αβ y γ y α y β The corresponding Hamiltonian vector field is or, in coordinates, ( X h = ρ µ h α y α x µ X h = ΛD (dh) ρ µ α Thus, the Hamilton equations are dx µ ( dt = h dy α ρµ α, y α dt = ) h x + µ Cγ αβ y h γ y β y α ρ µ α ) h x + µ Cγ αβ y h γ y β
10 Almost Lie algebroid structure on τ D : D M The linear bivector Λ D induces the following structure on D: an almost Lie bracket on the space Γ(τ D ) where [, ] D : Γ(τ D ) Γ(τ D ) Γ(τ D ) (ξ 1, ξ 2 ) [ξ 1, ξ 2 ] D [ξ 1, ξ 2 ] D = { ξ 1, ξ 2 } D ([e α, e β ] D = C γ αβ e γ). an anchor map ρ D : Γ(τ D ) X(M) f C (M), ξ Γ(D) ρ D (ξ)(f) τ D = { ξ, f τ D } D (in coordinates, ρ D (e α ) = ρ µ α x µ ).
11 Properties a) [, ] D is antisymmetric b) [ξ 1, fξ 2 ] D = f[ξ 1, ξ 2 ] D + ρ D (ξ 1 )(f)ξ 2 In general, [, ] D does not satisfy the Jacobi identity. In the case when it satisfies the Jacobi identity we say that (D, [, ] D, ρ D ) is a Lie algebroid.
12 The almost differential d D : Γ(Λ k D ) Γ(Λ k+1 D ) Given Ω Γ(Λ k D ) then d D Ω Γ(Λ k+1 D ) and d D Ω(ξ 0, ξ 1,..., ξ k ) = k ( 1) i ρ D (ξ i )(Ω(ξ 0,..., ξ i,..., ξ k )) i=0 + Ω([ξ i, ξ j ] D, ξ 0,..., ξ i,..., ξ j,..., ξ k ) i<j where ξ 0, ξ 1,..., ξ k Γ(τ D ) From the definition, we deduce that (1) (d D f)(ξ) = ρ D (ξ)(f), f C (M), ξ Γ(τ D ) (2) d D σ(ξ 1, ξ 2 ) = ρ D (ξ 1 )(σ(ξ 2 )) ρ D (ξ 2 )(σ(ξ 1 )) σ[ξ 1, ξ 2 ] D, σ Γ(τ D ), ξ 1, ξ 2 Γ(τ D ) (3) d D (Ω Ω ) = d D Ω Ω + ( 1) k Ω d D Ω, Ω Γ(Λ k D ), Ω Γ(Λ k D ) In general (d D ) 2 0.
13 A linear bivector Λ D on D An almost Lie algebroid structure ([, ] D, ρ D ) on D An almost differential d D : Γ(Λ k D ) Γ(Λ k+1 D ) satisfying (1) and (2)
14 The inverse process also works An almost differential d D :Γ(Λ k D ) Γ(Λ k+1 D ) satisfying(1)and (2) An almost Lie algebroid structure ([, ] D, ρ D ) on D ρ D (ξ)(f) = d D (f)(ξ), ω([ξ, ξ ] D ) = (d D ω)(ξ, ξ ) + d D (ω(ξ ))(ξ) d D (ω(ξ))(ξ ) ξ, ξ Γ(τ D ), f C (D), ω Γ(τ D )
15 An almost Lie algebroid structure ([, ] D, ρ D ) on D A linear bivector Λ D on D with almost Poisson bracket {, } D { ξ, ξ } D = [ξ, ξ ] D, { ξ, f τ D } D = ρ D (ξ)(f) τ D, {f τ D, f τ D } D = 0 f, f C (M), ξ, ξ Γ(τ D )
16 In conclusion A linear bivector Λ D on D An almost Lie algebroid structure ([, ] D, ρ D )on D An almost differential d D :Γ(Λ k D ) Γ(Λ k+1 D )satisfying(1)and (2)
17 Hamilton-Jacobi Theorem Let Λ D be a linear bivector on D and λ : M D be a section of τ D : D M D X h T D λ τ D T τ D M We define X λ h = T τ D X h λ X λ h T M It is easy to show that X λ h (x) ρ D(D x ), x M Indeed, look the local expressions Xh λ = ρ µ h h α = ρ( e y α x µ α ) y α
18 Hamilton-Jacobi Theorem Assume that d D λ = 0. (i) σ : I M integral curve of X λ h λ σ integral curve of X h (ii) d D (h λ) = 0
19 For the proof, we will need the following preliminary results (Propositions 2 and 3). Proposition 2 Let λ : M D be a section of τ D. Then, λ is a 1-cocycle with respect to d D (i.e. d D λ = 0) for all x M the subspace L λ,d (x) = (T x λ)(ρ D (D x )) T λ(x) D is Lagrangian with respect to Λ D, that is, ΛD (L λ,d ) o = L λ,d Remark: Proposition 2 is the generalization of the well-known result for the particular case D = T M and Λ D = Λ T M: Let λ be a 1-form on M; then, λ is closed if and only if λ(m) is a Lagrangian submanifold of T M.
20 Proposition 3 Let λ : M D be a section of τ D d D λ = 0. Then such that (ker ΛD ) λ(x) (L λ,d ) o, for all x M Remark: In the particular case when D = T M this Proposition is trivial since ker ΛT M = {0} ((T M, ω M ) is a symplectic manifold). Remember that ΛD : T λ(x) D T λ(x) D
21 Proof of the Theorem Let λ : M D be a section such that d D λ = 0. (i) (ii) We assume that the integral curves of X λ h and X h are λ-related, that is, X λ h and X h are λ-related. Moreover, we know that X λ h (x) ρ D(D x ), x M. Therefore, X h (λ(x)) (T x λ)(ρ D (D x )) = L λ,d (x), for all x M. From Proposition 1 (L λ,d is lagrangian) we deduce that X h (λ(x)) = ΛD (η λ(x) ), for some η λ(x) (L λ,d ) o Moreover from the definition of hamiltonian vector field Thus, X h (λ(x)) = ΛD (dh(λ(x)) η λ(x) dh(λ(x)) ker ΛD (λ(x)) L λ,d (x) o (by Proposition 2) Then, dh(λ(x)) L λ,d (x) o, x M. Finally, if a x D x, then d D (h λ)(x)(a x ) = ρ D (a x )(h λ) = (T x λ)(ρ D (a x ))(h) = dh(λ(x))(t x λ)(ρ D (a x )) = 0
22 (ii) (i) The condition d D (h λ) = 0 implies that Then dh(λ(x)) L λ,d (x) o, x M X H (λ(x)) = ΛD (dh)(λ(x)) ΛD (L λ,d (x) o ) = L λ,d (Proposition 1) = T x λ(ρ D (D x )) Therefore X λ h and X h are λ-related and we conclude (i).
23 Local expression of the Hamilton-Jacobi equations Take local coordinates (x µ ) in the base manifold M, a local basis of sections of D, {e α }, and induced coordinates (x µ, y α ) on D. Then if λ : (x µ ) (x µ, λ α (x µ )) (x, λ(x)) we have is locally written as d D (h λ) = 0 0 = d D (h λ)(e α ) x = ρ D (x)(e α (x))(h λ) = ρ µ α(x) x µ(h λ) x [ h = ρ µ h α(x) x µ(x, λ(x)) + (x, λ(x)) λ ] β y β x µ(x) The Hamilton-Jacobi Equations [ h ρ µ h α(x) x µ(x, λ(x)) + (x, λ(x)) λ ] β y β x µ(x) = 0, α
24 M. de León, J.C. Marrero, E. Martínez: Lagrangian submanifolds and dynamics on Lie algebroids, J. Phys. A: Math. Gen. 38 (2005), R (Topical review). J. Cortés, M. de León, J.C. Marrero, E. Martínez, D. Martín de Diego: A survey of Lagrangian mechanics and control on Lie algebroids and groupoids, Int. J. Geom. Meth. Mod. Phys. 3 (3) (2006), J. Cortés, M. de León, J.C. Marrero, E. Martínez: Nonholonomic Lagrangian systems on on Lie algebroids, Preprint (2006). D. Iglesias, M. de León, D. Martín de Diego: Towards a Hamilton-Jacobi theory for nonholonomic mechanical systems, Preprint (2007).
25 Application: Mechanical systems with nonholonomic constraints Let G : E M E R be a bundle metric on a Lie algebroid (E, [, ], ρ) The class of systems that were considered is that of mechanical systems with nonholonomic constraints determined by: The Lagrangian function L: with V a function on M L(a) = 1 G(a, a) V (τ(a)), a E, 2 The nonholonomic constraints determined by a subbundle D of E
26 Consider the orthogonal decomposition E = D D, and the associated orthogonal projectors P : E D Q : E D Take local coordinates (x µ ) in the base manifold M and a local basis of sections of E (moving basis), {e α }, adapted to the nonholonomic problem (L, D), in the sense that (i) {e α } is an orthonormal basis with respect to G (that is G(e α, e β ) = δ αβ ) (ii) {e α } = {e a, e A } where D = span{e a }, D = span{e A }. D D
27 Denoting by (x µ, y α ) = (x µ, y a, y A ) the induced coordinates on E, the constraint equations determining D just read y A = 0. Therefore we choose (x µ, y a ) as a set of coordinates on D D i D τ D τ M In these coordinates we have the inclusion and the dual map i D : E D E (x µ, y a ) (x µ, y a, 0) i D : E D (x µ, y a, y A ) (x µ, y a ) where (x µ, y α ) are the induced coordinates on E by the dual basis of {e α }.
28 Moreover, from the orthogonal decomposition we have that and its dual map P : E D (x µ, y a, y α ) (x µ, y a ) P : D E (x µ, y a ) (x µ, y a, 0)
29 In these coordinates, the nonholonomic system is given by i) The Lagrangian L(x µ, y α ) = 1 2 α (yα ) 2 V (x µ ), ii) The nonholonomic constraints y A = 0.
30 In this case, the Legendre transformation associated with L is the isomorphism F L : E E induced by the metric G. Therefore, locally, the Legendre transformation is F L : E E (x µ, y α ) (x µ, y α = y α ) and we can define the nonholonomic Legendre transformation F L nh = i D F L i D : D D F L nh : D D (x µ, y a ) (x µ, y a = y a ) Summarizing, we have the following diagram E F L E P i D i D P D F L nh D
31 The nonholonomic bracket A.J. Van der Schaft, B.M. Maschke: On the Hamiltonian formulation of nonholonomic mechanical systems, Reports on Mathematical Physics, 34 (2) (1994), Ch.M. Marle: Various approaches to conservative and nonconservative nonholonomic systems, Reports on Math Phys., 42, (1998) W.S. Koon, J.E. Marsden: Poisson reduction of nonholonomic mechanical systems with symmetry, Reports on Math Phys., 42, (1998) L. Bates: Examples of singular nonholonomic reduction. Rep. Math. Phys. 42 (1998), no. 1-2, A. Ibort, M. de León, J.C. Marrero, D. Martín de Diego: Dirac brackets in constrained dynamics. Forschritte der Physik. 47 (1999) 5, F. Cantrijn, M. de León, D. Martín de Diego: On almost Poisson structures in nonholonomic mechanics, Nonlinearity 12 (1999), F. Cantrijn, M. de León, J.C. Marrero, D. Martín de Diego: On almost Poisson structures in nonholonomic mechanics II: The time-dependent framework, Nonlinearity 13 (2000), no. 4, Juan-Pablo Ortega, V. Planas-Bielsa: Dynamics on Leibniz manifolds. J. Geom. Phys. 52 (2004), no. 1, H. Cendra, S. Grillo: Generalized nonholonomic mechanics, servomechanisms and related brackets. J. Math. Phys. 47 (2006), no. 2,
32 (E, [, ], ρ) is a Lie algebroid Λ E is a linear Poisson structure on E If f 1 and f 2 are functions on M, and ξ 1 and ξ 2 are sections of E, then: {f 1 τ E, g 1 τ E } E = 0, { ξ 1, f 1 τ E, } E = (ρ(ξ 1 )) f 1 τ E, { ξ 1, ξ 2 } E = [ξ 1, ξ 2 ] In the induced coordinates (x µ, y α ), the Poisson bracket relations on E are {x µ, x η } E = 0, {y α, x µ, } E = ρ µ α, {y α, y β } E = C γ αβ y γ In other words Λ E = ρ µ α y α x + 1 µ 2 Cγ αβ y γ y α y β
33 The nonholonomic bracket on D, {, } nh,d, is defined by for all F, G C (D ) The induced bivector Λ nh,d is {F, G} nh,d = {F i D, G i D } E P That is, Λ nh,d = ρ µ a y a x µ Cc ab y c y a y b {x µ, x η } nh,d = 0, {y a, x µ } nh,d = ρ µ a, {y a, y b } nh,d = C c ab y c Λ nh,d is a linear bivector on D, but in general, does not satisfy Jacobi identity. So, we are in the case considered in the very beginning.
34 Particular cases 1. E = T M. Then the linear Poisson structure on E = T M is the canonical symplectic structure. Thus, D is a distribution on M and {, } nh,d is the nonholonomic bracket studied by A.J. Van der Schaft, B.M. Maschke, and others. 2. E = g, where g is a Lie algebra. E is a Lie algebroid over a single point (the anchor map is the zero map). In this case, the linear Poisson structure on E = g is the ± Lie-Poisson structure. Thus, if D = h is a vector subspace of g, we obtain that the nonholonomic bracket (nonholonomic Lie-Poisson bracket) is given by {F, G} nh,d ±(µ) = ± µ, P [ δf δµ, δg ] δµ for µ h, and F, G C (h ). In adapted coordinates {y a, y b } nh,d ± = ±C c aby c
35 3. E = the Atiyah algebroid associated with a principal G-bundle π : Q Q/G E = T Q/G The linear Poisson structure on E = T Q/G is characterized by the following condition: the canonical projection T Q T Q/G is a Poisson epimorphism the Hamilton-Poincare bracket on T Q/G (See J.P. Ortega and T. S. Ratiu : Momentum maps and Hamiltonian reduction, Progress in Math., 222 Birkhauser, Boston 2004) D a G-invariant distribution on Q D/G is a vector subbundle of E = T Q/G Thus, we obtain a reduced non-holonomic bracket {, } nh,d /G (the non-holonomic Hamilton-Poincaré bracket on D /G)
36 We return to the general case Taking the hamiltonian function H : E R defined by H(x µ, y α ) = 1 (y α ) 2 + V (x µ ) 2 α then we induce a hamiltonian function h : D R by taking h = H P. In coordinates, h(x µ, y a ) = 1 (y a ) 2 + V (x µ ) 2 a
37 The nonholonomic dynamics is determined on D by the linear bivector Λ nh,d and the hamiltonian function h : D R, that is F = {F, h} nh,d or, in coordinates, by the equations ẋ µ ẏ a = ρ µ a h y a = ρ µ ay a = C c aby c h y b ρ µ a = C c aby c y b ρ µ a h x µ V x µ we can apply Hamilton-Jacobi theory to nonholonomic mechanics!
38 An example: The mobile robot with fixed orientation The robot has three wheels with radius R, which turn simultaneously about independent axes, and perform a rolling without sliding over a horizontal floor. Let (x, y) denotes the position of the centre of mass, θ the steering angle of the wheel, ψ the rotation angle of the wheels in their rolling motion over the floor. So, the configuration manifold is M = S 1 S 1 R 2
39 The lagrangian L is L = 1 2 mẋ mẏ J θ J ωψ 2 where m is the mass, J is the moment of inertia and J ω is the axial moment of inertia of the robot.
40 The constraints giving the distribution D are induced by the conditions that the wheels roll without sliding, in the direction in which they point, and that the instantaneous contact point of the wheels with the floor have no velocity component orthogonal to that direction: ẋ sin θ ẏ cos θ = 0, ẋ cos θ + ẏ sin θ R ψ = 0. The vector fields e 1 = 1 J θ [ 1 e 2 = R cos θ mr2 + 3J ω x + R sin θ y + ] ψ are an orthonormal basis generating D.
41 Moreover, Therefore [e 1, e 2 ] = The linear bivector is ( 1 R sin θ J(mR2 + 3J ω ) x + R cos θ ) y Λ nh,d = 1 J y 1 θ + [e 1, e 2 ] D = 0 C 1 12 = C 2 12 = 0 R sin θ + mr2 + 3J ω R cos θ mr2 + 3J ω y 2 x y 2 y + 1 mr2 + 3J ω y 2 ψ
42 For any section λ : M D : the condition (x, y, θ, ψ) (x, y, θ, ψ, λ 1 (x, y, θ, ψ), λ 2 (x, y, θ, ψ)) d D λ = 0 e 1 (λ 2 ) e 2 (λ 1 ) = 0 Now it is trivial to show that taking λ 1 = k 1 and λ 2 = k 2 where k 1, k 2 are constants then since d D (h λ) = 0 h = 1 2 (y2 1 + y 2 2) Then, to integrate the nonholonomic problem is equivalent to integrate the vector fields on the configuration space: [ Xh λ = k 1 θ + k 2 R cos θ x + R sin θ y + ] ψ where (k 1, k 2) R 2.
Reduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 3 (2007), 049, 28 pages Reduction of Symplectic Lie Algebroids by a Lie Subalgebroid and a Symmetry Lie Group David IGLESIAS, Juan Carlos
More informationA GEOMETRIC HAMILTON-JACOBI THEORY FOR CLASSICAL FIELD THEORIES. Contents
1 A GEOMETRIC HAMILTON-JACOBI THEORY FOR CLASSICAL FIELD THEORIES MANUEL DE LEÓN, JUAN CARLOS MARRERO, AND DAVID MARTÍN DE DIEGO Abstract. In this paper we extend the geometric formalism of the Hamilton-Jacobi
More informationCOSYMPLECTIC REDUCTION OF CONSTRAINED SYSTEMS WITH SYMMETRY
Vol. XX (XXXX) No. X COSYMPLECTIC REDUCTION OF CONSTRAINED SYSTEMS WITH SYMMETRY Frans Cantrijn Department of Mathematical Physics and Astronomy, Ghent University Krijgslaan 281 - S9, 9000 Ghent, Belgium
More informationDynamical systems on Leibniz algebroids
Dynamical systems on Leibniz algebroids Gheorghe Ivan and Dumitru Opriş Abstract. In this paper we study the differential systems on Leibniz algebroids. We introduce a class of almost metriplectic manifolds
More informationGeometrical mechanics on algebroids
Geometrical mechanics on algebroids Katarzyna Grabowska, Janusz Grabowski, Paweł Urbański Mathematical Institute, Polish Academy of Sciences Department of Mathematical Methods in Physics, University of
More informationDIRAC COTANGENT BUNDLE REDUCTION HIROAKI YOSHIMURA JERROLD E. MARSDEN. (Communicated by Juan-Pablo Ortega)
JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2009.1.87 c American Institute of Mathematical Sciences Volume 1, Number 1, March 2009 pp. 87 158 DIRAC COTANGENT BUNDLE REDUCTION HIROAKI YOSHIMURA Applied
More informationDirac Structures on Banach Lie Algebroids
DOI: 10.2478/auom-2014-0060 An. Şt. Univ. Ovidius Constanţa Vol. 22(3),2014, 219 228 Dirac Structures on Banach Lie Algebroids Vlad-Augustin VULCU Abstract In the original definition due to A. Weinstein
More informationTulczyjew s Triple in Classical Field Theories: Lagrangian submanifolds of premultisymplectic manifolds.
Tulczyjew s Triple in Classical Field Theories: Lagrangian submanifolds of premultisymplectic manifolds. E. Guzmán ICMAT- University of La Laguna e-mail: eguzman@ull.es Workshop on Rough Paths and Combinatorics
More informationLagrangian submanifolds and dynamics on Lie algebroids
Lagrangian submanifolds and dynamics on Lie algebroids arxiv:math.dg/0407528 v1 30 Jul 2004 Manuel de León 1, Juan C. Marrero 2, Eduardo Martínez 3 1 Instituto de Matemáticas y Física Fundamental, Consejo
More informationSome aspects of the Geodesic flow
Some aspects of the Geodesic flow Pablo C. Abstract This is a presentation for Yael s course on Symplectic Geometry. We discuss here the context in which the geodesic flow can be understood using techniques
More informationImplicit Hamiltonian Systems with Symmetry
Implicit Hamiltonian Systems with Symmetry A.J. van der Schaft Abstract Implicit Hamiltonian systems with symmetry are treated by exploiting the notion of symmetry of Dirac structures. It is shown how
More informationDiscrete Dirac Structures and Implicit Discrete Lagrangian and Hamiltonian Systems
Discrete Dirac Structures and Implicit Discrete Lagrangian and Hamiltonian Systems Melvin Leok and Tomoki Ohsawa Department of Mathematics, University of California, San Diego, La Jolla, CA 92093-0112,
More informationA MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS
A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS FRANCESCO BOTTACIN Abstract. In this paper we prove an analogue of the Marsden Weinstein reduction theorem for presymplectic actions of
More informationLinear weakly Noetherian constants of motion are horizontal gauge momenta
Linear weakly Noetherian constants of motion are horizontal gauge momenta Francesco Fassò, Andrea Giacobbe and Nicola Sansonetto (September 20, 2010) Abstract The notion of gauge momenta is a generalization
More informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationReview of Lagrangian Mechanics and Reduction
Review of Lagrangian Mechanics and Reduction Joel W. Burdick and Patricio Vela California Institute of Technology Mechanical Engineering, BioEngineering Pasadena, CA 91125, USA Verona Short Course, August
More informationOn the geometry of generalized Chaplygin systems
On the geometry of generalized Chaplygin systems By FRANS CANTRIJN Department of Mathematical Physics and Astronomy, Ghent University Krijgslaan 281, B-9000 Ghent, Belgium e-mail: Frans.Cantrijn@rug.ac.be
More informationUnimodularity and preservation of measures in nonholonomic mechanics
Unimodularity and preservation of measures in nonholonomic mechanics Luis García-Naranjo (joint with Y. Fedorov and J.C. Marrero) Mathematics Department ITAM, Mexico City, MEXICO ẋ = f (x), x M n, f smooth
More informationTulczyjew triples: from statics to field theory
Tulczyjew triples: from statics to field theory Janusz Grabowski Polish Academy of Sciences 3rd Iberoamerican Meetings on Geometry, Mechanics and Control Salamanca, Sept. 3, 2012 J.Grabowski (IMPAN) Tulczyjew
More informationLagrangian and Hamiltonian mechanics on Lie algebroids
Lagrangian and Hamiltonian mechanics on Lie algebroids Mechanics and Lie Algebroids Eduardo Martínez University of Zaragoza emf@unizar.es Lisbon, September 11 2007 Abstract I will review the most relevant
More informationM3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011
M3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011 Text for the course: Professor Darryl D Holm 25 October 2011 Imperial College London d.holm@ic.ac.uk http://www.ma.ic.ac.uk/~dholm/ Geometric Mechanics
More informationDIRAC STRUCTURES FROM LIE INTEGRABILITY
International Journal of Geometric Methods in Modern Physics Vol. 9, No. 4 (01) 10005 (7 pages) c World Scientific Publishing Company DOI: 10.114/S0198878100058 DIRAC STRUCTURES FROM LIE INTEGRABILITY
More informationON COLISSIONS IN NONHOLONOMIC SYSTEMS
ON COLISSIONS IN NONHOLONOMIC SYSTEMS DMITRY TRESCHEV AND OLEG ZUBELEVICH DEPT. OF THEORETICAL MECHANICS, MECHANICS AND MATHEMATICS FACULTY, M. V. LOMONOSOV MOSCOW STATE UNIVERSITY RUSSIA, 119899, MOSCOW,
More informationCDS 205 Final Project: Incorporating Nonholonomic Constraints in Basic Geometric Mechanics Concepts
CDS 205 Final Project: Incorporating Nonholonomic Constraints in Basic Geometric Mechanics Concepts Michael Wolf wolf@caltech.edu 6 June 2005 1 Introduction 1.1 Motivation While most mechanics and dynamics
More informationLIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES
LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES BENJAMIN HOFFMAN 1. Outline Lie algebroids are the infinitesimal counterpart of Lie groupoids, which generalize how we can talk about symmetries
More informationContact manifolds and generalized complex structures
Contact manifolds and generalized complex structures David Iglesias-Ponte and Aïssa Wade Department of Mathematics, The Pennsylvania State University University Park, PA 16802. e-mail: iglesias@math.psu.edu
More informationHAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY
HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY TIMOTHY E. GOLDBERG These are notes for a talk given in the Lie Groups Seminar at Cornell University on Friday, September 25, 2009. In retrospect, perhaps
More informationTHE GEOMETRY OF B-FIELDS. Nigel Hitchin (Oxford) Odense November 26th 2009
THE GEOMETRY OF B-FIELDS Nigel Hitchin (Oxford) Odense November 26th 2009 THE B-FIELD IN PHYSICS B = i,j B ij dx i dx j flux: db = H a closed three-form Born-Infeld action: det(g ij + B ij ) complexified
More informationDirac structures. Henrique Bursztyn, IMPA. Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012
Dirac structures Henrique Bursztyn, IMPA Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012 Outline: 1. Mechanics and constraints (Dirac s theory) 2. Degenerate symplectic
More informationNoether Symmetries and Conserved Momenta of Dirac Equation in Presymplectic Dynamics
International Mathematical Forum, 2, 2007, no. 45, 2207-2220 Noether Symmetries and Conserved Momenta of Dirac Equation in Presymplectic Dynamics Renato Grassini Department of Mathematics and Applications
More informationDirac Structures and the Legendre Transformation for Implicit Lagrangian and Hamiltonian Systems
Dirac Structures and the Legendre Transformation for Implicit Lagrangian and Hamiltonian Systems Hiroaki Yoshimura Mechanical Engineering, Waseda University Tokyo, Japan Joint Work with Jerrold E. Marsden
More informationON SYMMETRIES AND CONSTANTS OF MOTION IN HAMILTONIAN SYSTEMS WITH NON-HOLONOMIC CONSTRAINTS
**************************************** BANACH CENTER PUBLICATIONS, VOLUME ** INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 200* ON SYMMETRIES AND CONSTANTS OF MOTION IN HAMILTONIAN SYSTEMS
More informationINTEGRATION OF TWISTED POISSON STRUCTURES ALBERTO S. CATTANEO AND PING XU
INTEGRATION OF TWISTED POISSON STRUCTURES ALBERTO S. CATTANEO AND PING XU Abstract. Poisson manifolds may be regarded as the infinitesimal form of symplectic groupoids. Twisted Poisson manifolds considered
More informationIntegrating exact Courant Algebroids
Integrating exact Courant Algebroids Rajan Mehta (Joint with Xiang Tang) Smith College September 28, 2013 The Courant bracket The Courant bracket is a bracket on Γ(TM T M), given by Twisted version: [X
More informationarxiv: v1 [math-ph] 12 Apr 2017
Dirac structures in nonequilibrium thermodynamics arxiv:1704.03935v1 [math-ph] 12 Apr 2017 François Gay-Balmaz Hiroaki Yoshimura CNRS, LMD, IPSL School of Science and Engineering Ecole Normale Supérieure
More informationDirac Structures in Lagrangian Mechanics
Dirac Structures in Lagrangian Mechanics Part II: Variational Structures Hiroaki Yoshimura Jerrold E. Marsden Department of Mechanical Engineering Control and Dynamical Systems Waseda University California
More informationHamilton Jacobi Theory for Degenerate Lagrangian Systems with Holonomic and Nonholonomic Constraints. and Diana Sosa
Hamilton Jacobi Theory for Degenerate Lagrangian Systems with Holonomic and Nonholonomic Constraints Melvin Leok, 1, a) Tomoki Ohsawa, 1, b) 2, c) and Diana Sosa 1) Department of Mathematics, University
More informationTHE HAMILTON-JACOBI EQUATION, INTEGRABILITY, AND NONHOLONOMIC SYSTEMS
THE HAMILTON-JACOBI EQUATION, INTEGRABILITY, AND NONHOLONOMIC SYSTEMS LARRY BATES, FRANCESCO FASSÒ AND NICOLA SANSONETTO Abstract. By examining the linkage between conservation laws and symmetry, we explain
More informationOn the Geometry of Multi-Dirac Structures and Gerstenhaber Algebras
On the Geometry of Multi-Dirac Structures and Gerstenhaber Algebras Joris Vankerschaver a,b, Hiroaki Yoshimura c, Melvin Leok a a Department of Mathematics, University of California at San Diego, 9500
More informationarxiv:math-ph/ v1 22 May 2003
On the global version of Euler-Lagrange equations. arxiv:math-ph/0305045v1 22 May 2003 R. E. Gamboa Saraví and J. E. Solomin Departamento de Física, Facultad de Ciencias Exactas, Universidad Nacional de
More informationNAMBU-LIE GROUP ACTIONS. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXX, 2(2001), pp. 251 263 251 NAMBU-LIE GROUP ACTIONS N. CICCOLI Abstract. The purpose of this work is to describe the action of Nambu-Lie groups on Nambu spaces and to
More informationarxiv: v2 [math-ph] 12 May 2017
On the Geometry of the Hamilton Jacobi Equation and Generating Functions arxiv:166.847v2 [math-ph] 12 May 217 Sebastián Ferraro 1, Manuel de León 2, Juan Carlos Marrero 3, David Martín de Diego 2, and
More informationOn variational integrators for optimal control of mechanical control systems. Leonardo Colombo, David Martín de Diego and Marcela Zuccalli
RACSAM Rev. R. Acad. Cien. Serie A. Mat. VOL. Falta Falta), Falta, pp. 9 10 Falta Comunicación Preliminar / Preliminary Communication On variational integrators for optimal control of mechanical control
More informationLie groupoids and Lie algebroids
Lie groupoids and Lie algebroids Songhao Li University of Toronto, Canada University of Waterloo July 30, 2013 Li (Toronto) Groupoids and algebroids Waterloo 2013 1 / 22 Outline Lie groupoid Lie groupoid
More informationNonholonomic systems as restricted Euler-Lagrange systems
Nonholonomic systems as restricted Euler-Lagrange systems T. Mestdag and M. Crampin Abstract We recall the notion of a nonholonomic system by means of an example of classical mechanics, namely the vertical
More informationInvariant Lagrangian Systems on Lie Groups
Invariant Lagrangian Systems on Lie Groups Dennis Barrett Geometry and Geometric Control (GGC) Research Group Department of Mathematics (Pure and Applied) Rhodes University, Grahamstown 6140 Eastern Cape
More informationNonholonomic Constraints Examples
Nonholonomic Constraints Examples Basilio Bona DAUIN Politecnico di Torino July 2009 B. Bona (DAUIN) Examples July 2009 1 / 34 Example 1 Given q T = [ x y ] T check that the constraint φ(q) = (2x + siny
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationPort contact systems for irreversible thermodynamical systems
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005 WeC13.1 Port contact systems for irreversible thermodynamical
More informationGauge Fixing and Constrained Dynamics in Numerical Relativity
Gauge Fixing and Constrained Dynamics in Numerical Relativity Jon Allen The Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation is reviewed. Gauge freedom is discussed and
More informationStability Subject to Dynamical Accessibility
Stability Subject to Dynamical Accessibility P. J. Morrison Department of Physics and Institute for Fusion Studies The University of Texas at Austin morrison@physics.utexas.edu http://www.ph.utexas.edu/
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationROLLING OF A SYMMETRIC SPHERE ON A HORIZONTAL PLANE WITHOUT SLIDING OR SPINNING. Hernán Cendra 1. and MARÍA ETCHECHOURY
Vol. 57 (2006) REPORTS ON MATHEMATICAL PHYSICS No. 3 ROLLING OF A SYMMETRIC SPHERE ON A HORIZONTAL PLANE WITHOUT SLIDING OR SPINNING Hernán Cendra 1 Universidad Nacional del Sur, Av. Alem 1253, 8000 Bahía
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationLECTURE 1: LINEAR SYMPLECTIC GEOMETRY
LECTURE 1: LINEAR SYMPLECTIC GEOMETRY Contents 1. Linear symplectic structure 3 2. Distinguished subspaces 5 3. Linear complex structure 7 4. The symplectic group 10 *********************************************************************************
More informationQuasi-Poisson structures as Dirac structures
Quasi-Poisson structures as Dirac structures Henrique Bursztyn Department of Mathematics University of Toronto Toronto, Ontario M5S 3G3, Canada Marius Crainic Department of Mathematics Utrecht University,
More informationDISCRETE VARIATIONAL OPTIMAL CONTROL
DISCRETE VARIATIONAL OPTIMAL CONTROL FERNANDO JIMÉNEZ, MARIN KOBILAROV, AND DAVID MARTÍN DE DIEGO Abstract. This paper develops numerical methods for optimal control of mechanical systems in the Lagrangian
More informationChap. 1. Some Differential Geometric Tools
Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U
More informationarxiv: v1 [math.ds] 29 Jun 2015
Manuscript submitted to AIMS Journals Volume X, Number 0X, XX 200X doi:10.3934/xx.xx.xx.xx pp. X XX SECOND-ORDER VARIATIONAL PROBLEMS ON LIE GROUPOIDS AND OPTIMAL CONTROL APPLICATIONS arxiv:1506.08580v1
More informationOn Quadratic Hamilton-Poisson Systems
On Quadratic Hamilton-Poisson Systems Rory Biggs and Claudiu C. Remsing Department of Mathematics (Pure and Applied) Rhodes University, Grahamstown 6140, South Africa Geometry, Integrability & Quantization
More informationOn the holonomy fibration
based on work with Alejandro Cabrera and Marco Gualtieri Workshop on Geometric Quantization Adelaide, July 2015 Introduction General theme: Hamiltonian LG-spaces q-hamiltonian G-spaces M Ψ Lg /L 0 G /L
More informationJ.F. Cari~nena structures and that of groupoid. So we will nd topological groupoids, Lie groupoids, symplectic groupoids, Poisson groupoids and so on.
Lie groupoids and algebroids in Classical and Quantum Mechanics 1 Jose F. Cari~nena Departamento de Fsica Teorica. Facultad de Ciencias. Universidad de Zaragoza, E-50009, Zaragoza, Spain. Abstract The
More informationSeminar Geometrical aspects of theoretical mechanics
Seminar Geometrical aspects of theoretical mechanics Topics 1. Manifolds 29.10.12 Gisela Baños-Ros 2. Vector fields 05.11.12 and 12.11.12 Alexander Holm and Matthias Sievers 3. Differential forms 19.11.12,
More informationON CONTRAVARIANT PRODUCT CONJUGATE CONNECTIONS. 1. Preliminaries
ON CONTRAVARIANT PRODUCT CONJUGATE CONNECTIONS A. M. BLAGA Abstract. Invariance properties for the covariant and contravariant connections on a Riemannian manifold with respect to an almost product structure
More informationOn local normal forms of completely integrable systems
On local normal forms of completely integrable systems ENCUENTRO DE Răzvan M. Tudoran West University of Timişoara, România Supported by CNCS-UEFISCDI project PN-II-RU-TE-2011-3-0103 GEOMETRÍA DIFERENCIAL,
More informationAN EXTENSION OF HAMILTONIAN SYSTEMS TO THE THERMODYNAMIC PHASE SPACE: TOWARDS A GEOMETRY OF NONREVERSIBLE PROCESSES. and A. J.
Vol. 60 (2007) REPORTS ON MATHEMATICAL PHYSICS No. 2 AN EXTENSION OF HAMILTONIAN SYSTEMS TO THE THERMODYNAMIC PHASE SPACE: TOWARDS A GEOMETRY OF NONREVERSIBLE PROCESSES D. EBERARD*, B. M. MASCHKE Laboratory
More informationGeneralized Contact Structures
Generalized Contact Structures Y. S. Poon, UC Riverside June 17, 2009 Kähler and Sasakian Geometry in Rome in collaboration with Aissa Wade Table of Contents 1 Lie bialgebroids and Deformations 2 Generalized
More informationFlat Nonholonomic Matching
Flat Nonholonomic Matching Dmitry V. Zenkov 1 Department of Mathematics North Carolina State University Raleigh, NC 27695 dvzenkov@unity.ncsu.edu Anthony M. Bloch 2 Department of Mathematics University
More informationMechanical systems subjected to generalized nonholonomic constraints
Mechanical systems subjected to generalized nonholonomic constraints By J. Cortés 1, M. de León 1, D. Martín de Diego 2, S. Martínez 1 1 Instituto de Matemáticas y Física Fundamental, Consejo Superior
More informationCOMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD
COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD MELINDA LANIUS 1. introduction Because Poisson cohomology is quite challenging to compute, there are only very select cases where the answer is
More informationAppell-Hamel dynamical system: a nonlinear test of the Chetaev and the vakonomic model
ZAMM Z. Angew. Math. Mech. 87, No. 10, 692 697 (2007) / DOI 10.1002/zamm.200710344 Appell-Hamel dynamical system: a nonlinear test of the Chetaev and the vakonomic model Shan-Shan Xu 1, Shu-Min Li 1,2,
More informationOptimal Collision Avoidance and Formation Switching on Riemannian Manifolds 1
Optimal Collision Avoidance and Formation Switching on Riemannian Manifolds Jianghai Hu and Shankar Sastry {jianghai,sastry}@eecs.berkeley.edu Department of Electrical Eng. & Comp. Science University of
More informationLocally conformal Dirac structures and infinitesimal automorphisms
Locally conformal Dirac structures and infinitesimal automorphisms Aïssa Wade Department of Mathematics, The Pennsylvania State University University Park, PA 16802. e-mail: wade@math.psu.edu Abstract
More informationOn the geometry of coisotropic submanifolds of Poisson manifolds
On the geometry of coisotropic submanifolds of Poisson manifolds Aïssa Wade Abstract. We review basic results about Poisson manifolds and their coisotropic submanifolds. We show that the classical existence
More informationBACKGROUND IN SYMPLECTIC GEOMETRY
BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations
More information[#1] R 3 bracket for the spherical pendulum
.. Holm Tuesday 11 January 2011 Solutions to MSc Enhanced Coursework for MA16 1 M3/4A16 MSc Enhanced Coursework arryl Holm Solutions Tuesday 11 January 2011 [#1] R 3 bracket for the spherical pendulum
More informationAn Exactly Solvable 3 Body Problem
An Exactly Solvable 3 Body Problem The most famous n-body problem is one where particles interact by an inverse square-law force. However, there is a class of exactly solvable n-body problems in which
More informationConstant symplectic 2-groupoids
Constant symplectic 2-groupoids Rajan Mehta Smith College April 17, 2017 The integration problem for Courant algebroids The integration problem for Courant algebroids Poisson manifolds integrate to symplectic
More informationHard Lefschetz Theorem for Vaisman manifolds
Hard Lefschetz Theorem for Vaisman manifolds Antonio De Nicola CMUC, University of Coimbra, Portugal joint work with B. Cappelletti-Montano (Univ. Cagliari), J.C. Marrero (Univ. La Laguna) and I. Yudin
More informationLECTURE 8: THE MOMENT MAP
LECTURE 8: THE MOMENT MAP Contents 1. Properties of the moment map 1 2. Existence and Uniqueness of the moment map 4 3. Examples/Exercises of moment maps 7 4. Moment map in gauge theory 9 1. Properties
More informationCOURANT ALGEBROIDS FROM CATEGORIFIED SYMPLECTIC GEOMETRY: DRAFT VERSION
COURANT ALGEBROIDS FROM CATEGORIFIED SYMPLECTIC GEOMETRY: DRAFT VERSION CHRISTOPHER L. ROGERS Abstract. In categorified symplectic geometry, one studies the categorified algebraic and geometric structures
More informationTHE MOMENTUM MAP IN POISSON GEOMETRY
THE MOMENTUM MAP IN POISSON GEOMETRY By RUI LOJA FERNANDES, JUAN-PABLO ORTEGA, and TUDOR S. RATIU Abstract. Every action on a Poisson manifold by Poisson diffeomorphisms lifts to a Hamiltonian action on
More informationDiscrete Dirac Mechanics and Discrete Dirac Geometry
Discrete Dirac Mechanics and Discrete Dirac Geometry Melvin Leok Mathematics, University of California, San Diego Joint work with Anthony Bloch and Tomoki Ohsawa Geometric Numerical Integration Workshop,
More informationTwisted Poisson manifolds and their almost symplectically complete isotropic realizations
Twisted Poisson manifolds and their almost symplectically complete isotropic realizations Chi-Kwong Fok National Center for Theoretical Sciences Math Division National Tsing Hua University (Joint work
More informationJournal of Geometry and Physics. On the geometry of multi-dirac structures and Gerstenhaber algebras
Journal of Geometry and Physics 61 (011) 1415 145 Contents lists available at ScienceDirect Journal of Geometry and Physics journal homepage: www.elsevier.com/locate/jgp On the geometry of multi-dirac
More informationOn implicit Lagrangian differential systems
ANNALES POLONICI MATHEMATICI LXXIV (2000) On implicit Lagrangian differential systems by S. Janeczko (Warszawa) Bogdan Ziemian in memoriam Abstract. Let (P, ω) be a symplectic manifold. We find an integrability
More informationA CRASH COURSE IN EULER-POINCARÉ REDUCTION
A CRASH COURSE IN EULER-POINCARÉ REDUCTION HENRY O. JACOBS Abstract. The following are lecture notes from lectures given at the Fields Institute during the Legacy of Jerrold E. Marsden workshop. In these
More informationGeometric Mechanics and Global Nonlinear Control for Multi-Body Dynamics
Geometric Mechanics and Global Nonlinear Control for Multi-Body Dynamics Harris McClamroch Aerospace Engineering, University of Michigan Joint work with Taeyoung Lee (George Washington University) Melvin
More informationSymplectic and Poisson Manifolds
Symplectic and Poisson Manifolds Harry Smith In this survey we look at the basic definitions relating to symplectic manifolds and Poisson manifolds and consider different examples of these. We go on to
More informationTHE MODULAR CLASS OF A LIE ALGEBROID COMORPHISM
THE MODULAR CLASS OF A LIE ALGEBROID COMORPHISM RAQUEL CASEIRO Abstract. We introduce the definition of modular class of a Lie algebroid comorphism and exploit some of its properties. 1. Introduction The
More informationPhysical Dynamics (SPA5304) Lecture Plan 2018
Physical Dynamics (SPA5304) Lecture Plan 2018 The numbers on the left margin are approximate lecture numbers. Items in gray are not covered this year 1 Advanced Review of Newtonian Mechanics 1.1 One Particle
More informationMechanics and Control. 1. Examples and mathematical preliminaries. 2. Geometric Mechanics. 3. Geometric Control. 4. Nonholonomic Mechanics
Mechanics and Control Anthony M. Bloch See work with Crouch, Marsden, Murray, Krishnaprasad, Zenkov, 1. Examples and mathematical preliminaries. 2. Geometric Mechanics 3. Geometric Control 4. Nonholonomic
More informationGlobal Formulations of Lagrangian and Hamiltonian Dynamics on Embedded Manifolds
1 Global Formulations of Lagrangian and Hamiltonian Dynamics on Embedded Manifolds By Taeyoung Lee, Melvin Leok, and N. Harris McClamroch Mechanical and Aerospace Engineering, George Washington University,
More informationSolutions to the Hamilton-Jacobi equation as Lagrangian submanifolds
Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds Matias Dahl January 2004 1 Introduction In this essay we shall study the following problem: Suppose is a smooth -manifold, is a function,
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 2008, 115 123 wwwemisde/journals ISSN 1786-0091 ON NONLINEAR CONNECTIONS IN HIGHER ORDER LAGRANGE SPACES MARCEL ROMAN Abstract Considering a
More informationThe Geometry of Euler s equation. Introduction
The Geometry of Euler s equation Introduction Part 1 Mechanical systems with constraints, symmetries flexible joint fixed length In principle can be dealt with by applying F=ma, but this can become complicated
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationIn this short note we prove that any Dirac structure can be realized as the push-forward of a presymplectic form via a
P. Frejlich, I. Mărcuț. (0000) On realizations of Dirac structures by closed two-forms, International Mathematics Research Notices, Vol. 0000, Article ID rnn000, 18 pages. doi:10.1093/imrn/rnn000 On realizations
More informationOrientation transport
Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let
More informationCATEGORIFIED SYMPLECTIC GEOMETRY AND THE STRING LIE 2-ALGEBRA
Homology, Homotopy and Applications, vol. 12(1), 2010, pp.221 236 CATEGORIFIED SYMPLECTIC GEOMETRY AND THE STRING LIE 2-ALGEBRA JOHN C. BAEZ and CHRISTOPHER L. ROGERS (communicated by J. Daniel Christensen)
More information