The geometry of Euler s equations. lecture 2
|
|
- Paul Willis
- 5 years ago
- Views:
Transcription
1 The geometry of Euler s equations lecture 2
2 A Lie group G as a configuration space subgroup of N N matrices for some N G finite dimensional Lie group we can think of it as a matrix group Notation: a,b, elements of the group Basic point: we can move objects around (vector fields, forms, etc.) by left (or right) multiplication. ξ=d/dt a(t) t=0, with a(0)=a tangent vector at a a left mult. by b ba tangent vector at ba b ξ = d/dt (b a(t)) t=0 for the right multiplication we can define ξ ξ b in a similar way co vectors ( forms): the dual of (ξ b ξ ) moves forms from T* ba G to T* a G α T* ba G b* α T* a G (abusing the notation: b* is not the adjoint matrix)
3 The tangent space at the unit element: g (the Lie algebra of G) The adjoint action of G on g: ξ a ξ a 1 =Ad(a) ξ Lie bracket on g: Let η g and ḃ(t) t=0 = η. Then [η, ξ] = d/dt t=0 Ad (b(t)) ( ξ Structural constants of g: e 1,...,e n basis of g, [e i,e j ]=c k ij e k the group operation induces the Lie algebra structure Jacobi identity [ξ, [η, ζ]] + [η, [ζ, ξ]] + [ζ, [ξ, η]] = 0
4 Coordinates on TG and T*G: move the basis e 1,, e n by the left multiplication to each point of the group get a frame of left invariant vector fields, still denoted e 1,, e n Identify TG with G g or with G R n by using the frame. (a, ξ) G g a ξ T a G or ( a ; ξ 1,...,ξ n ) a (ξ i e i ) T a G
5 Similarly, T G is identified with G g or with G R n (a, α) G g (a ) 1 α T a G or ( a ; y 1,...,y n ) G R n (a ) 1 (y j e j ) T a G dual basis to e 1,,e n The coordinates y 1,...,y n can also be thought of as functions on T G. Prolongation of the action of G on itself by the left multiplication to T G: b ( a ; y 1,...,y n ) ( ba, y 1,...,y n ) Notethat that y 1,, y n considered asfunctions on T*M areinvariantunder (the prolongation of) the left multiplication. This is more or less by definition.
6 C (G \ T*G) are exactly the functions of y 1,, y n. In fact, in this case Y = G \ T*G can be identified with R n or g Interpretation: T*G we follow a(t) and d/dt y(t) (momentum) Y= G \ T*G reduced phase space: we forget a(t) and follow only d/dt y(t) The functions y 1,, y n provide coordinates on Y (which are global) C (Y) inherits a Poisson bracket from T*M. What is the bracket? equations for y: d/dt y(t) = {H,y} enough to calculate l {y Thi d li l k h i i i, y j } Calculation: {y = k I, y j } c ij y k, This needs a little work, the main point is to use the formula de* j (e k, e l )= e* j ([e k, e l ]) for the invariant forms/fields see next hamiltonian HH() H=H(y) where c k ij are the structure constants of the Lie algebra g
7 Canonical form of T*G e_1*,, e_n* frame of the left invariant forms, dual to the frame e_1,,e_n Recall the natural coordinates on T*G: ( a ; y 1,, y n ) G R n y j e* j The canonical 1 form on T*G: α = y j e* j The symplectic form: ω = dα = dy j Æ e* j + y j de* j = = dy Æe* j j j y j c kle* k Æ e* l where we used the Cartan formula dα(ξ,η) = ξ α (η) η α (ξ) α([ξ,η]) with α = e* p, ξ=e q, η=e r = 0 in our case [e p, e q ] = c r pq e r
8 In the local frame in T*G given by y 1,,y n, e 1,,e n the form omega is given by the matrix µ 0 I I C(y) with notation y k c k ij C(y) The inverse ω rs of this (anti symmetric) matrix is given by µ C(y) I I 0 The Poisson bracket is (in our conventions) {f,g} = ω rs f s g r In particular, {y i, y j } = c k ij y k,
9 Remark: Note that the group G was any Lie group. We have shown: If G is a Lie group and g is its Lie algebra with structural constants c k ij, then on the dual g of g the formula defines a Poisson bracket on g. {y = k i, y j } cijy k This was already known to S. Lie, but he did explore the implications. In the 1960s this structure was used by A. A. Kirillov to obtain important results in representations of nilpotent groups, and to develop his method of orbits.
10 b G the left shifts a ba extend to a symplectic diffeom. of T*G: represent the form y i e* i at a in the coordinates ( a, y 1,,y n ): b (a, y 1,, y n ) = (ba, y 1,, y n ) the infinitesimal i i version of these df deformations: ξ g generates an infinitesimal symplectic deformation of T G ba=(1+² ξ) a y does not change, since the coordinate functions y i are invariant under the left shifts ( a, y ) ( a+² ξ a, y ) Recall: Infinitesimal sympl. defs. functions (perhaps modulo corrections)
11 What is the generating function f for ( a, y ) ( a+² ξ a, y )? In the coordinates of lecture 1 it would be f = p i ξ i We need to express this in the presently used coordinate frame y 1,, y n, e 1,, e n coordinates of the infinitesimal deformation in this frame: first coordinate no shift in y ( 0,, 0, [Ad (a 1 ) ξ ] 1,, [Ad (a 1 ) ξ ] n ) arises from ξ a = a a 1 ξ a = a Ad (a 1 )ξ need to use this form because our coordinate frame is left invariant (not right invariant). invariant).
12 Recall Noether s Theorem: recall f = p i ξ i of lecture 1 in coordinates The generating function of the infinitesimal symplectic transformation above will be f (a,y) = < y, Ad(a 1 ) ξ > = < Ad(a 1 )* y, ξ > Moreover, f(a,y) will be conserved for any Hamiltonian depending only on y Exercise: check by hand that { f, y i } = 0 for each i Definition: M(a,y) = Ad(a 1 )* y g Example: rigid body rotation y momentum in the coordinate frame moving with the body Ad(a 1 )y momentum in the coordinate frame fixed in space is called the moment map. For any Hamiltonian depending only on y the evolution preserves M, or dm/dt = 0. This is because the ξ above can be taken as any element of g
13 determined by C i (y)=c i, C i the Casimir functions, {C i, y j }=0 for each j=1,,n Symplectic leaves of the Poisson manifold g (a connected tdg) y A subspace through y generated by all possible vectors dy/dt={h,y}, as H runs through all H=H(y) is contained in the tangent space to the orbit O y = {Ad*(a)y, a G} (because of the conservation of M for any such H, for example). orbit O y Vice versa, any vector in T y O y can be obtained in this way. Hence: Symplectic leaves orbits (See A.A.KirillovA Kirillov s book for more and implications to representations.) Hence the evolution on g given by H(y) and {, } really describes a family of hamiltonian systems (parametrized by the orbits)
14 Example: non degenerate stationary points are (locally) parametrized by the orbits: manifold of stationary points (transversal to the orbit foliation) Non degenerate critical point ofh ononeone orbits implies critical points in neighboring orbits orbits
15 Example: the simplest non commutative group G (Commutative G leads to {y i, y j }=0) µ a b affine transformation of R G = { A = ; a > 0,, b R} } ( p ) 0 1 µ x y g = { X = 0 0 ; x, y R} µ p q g = { P = 0 0 ; p, q R} the group of orientation preserving (maps of the form x ax+b ) with a>0 adjoint orbits y x <P,X>= px + qy co adjoint orbits q Ad(A) µ µ b Ad(A) b a 0 a p
16 Left invariant geodesics G b e 2 =a / b e 2 * = db/a given by Hamiltonian H=H(p,q)=(p 2 +q 2 )/2 {p,q} = q note the change of notation both p and q are components ofthe momentum e 1 =a / a e 1 *=da/a e 1 dp/dt = {H,p} = q 2 dq/dt = {H,q} = pq 1 a Momentum conservation: geodesics da/dt = pa, db/dt = qa Example of solutions: a(t) = a 0 tanh(t) b(t) = a 0 /cosh(t) G Poincare model of the hyperbolic plane
17 Remark: Direct Lagrangian approach (see also V.I.Arnold s book) L left invariantlagrangian on TG a(t) curve in G v(t) = a 1 1 da/dt velocity in the coordinates of the left invariant frame t1 t2 L(v(t)) dt action a ² (t) = a(t)b ² (t) with b ² 1+²ξ nearby trajectory v ² = a ² 1 da ² /dt = Ad (b ² 1 ) v + b ² 1 db ² /dt velocity of the nearby trajectory v ² = v + ² ( [ξ,v] + dξ/dt ) + O(² 2 ) L(v ² ) = L(v) + ²L v( [ξ,v] ξ + dξ/dt) ξ + O(² 2 ) t1 t2 (L(v ² ) L(v)) dt= ² t1 t2( <dl v /dt, ξ>+<l v, [ξ,v]>) dt + O(² 2 ) F(v) defined by <F(v),ξ> = <L v, [ξ,v]>, or (abusing notation), F(v) = Ad*(v) L v Equation for v: dl v /dt = F(v) (does not involve a(t); recovering a: da/dt= a(t) v(t))
18 Other calculable geodesics for left invariant metrics: Sl(2,R) motion of a rigid body in the hyperbolic plane H 3 tree dimensional Heisenberg group, Caratheodory metrics S 3 or SO(3) three dimensional rigid body (Euler s equations for rotating bodies) and more. We expect: 3d group with a left invariant hamiltonian co adjoint orbits have dimension at most 2 equations for geodesics solvable by quadratures On the other hand: 6d groups (such as Sl(2,C) or SO(4)) will often have 4d orbits potential for chaos in the reduced equations Special Hamiltonians can still give integrability: Kovalevskaya s top, n dim rigid body in Euclidean space (Manakov)
19 n unit normal Ideal Incompressible Fluids u Configuration space: G=Diff GDiff( ) 0 volume preserving diffeomorphisms of (group under map composition) Motion the fluid: curves in G, t φ t φ t (x) t φ t (x) trajectory of a particle x Symmetries: φ t is a solution, ψ G φ t ψ is a solution particle re labeling
20 Hamilton s principle: the actual fluid motions solutions n are extremals of Z t2 Z t 1 φt (x) 2 dx dt among curves φ t in G with φ t 1 and φ t 2 fixed Ω u φ t (x) Thisleads to Euler s equations for u(x, t) = φ( φ 1 (x, t),t) we are now using right shifts, rather then the left shifts. x It s not hard to get the equation by direct calculation but we will follow the Hamiltonian approach, which also immediatelly gives the conservation laws coming from the invariance by G ( particle re labelings )
21 The Lie algebra of GDiff( ) G=Diff 0 and its dual U = T identity G the Lie algebra of G div free vector fields in tangent to the boundary u,v U [u,v] the usual Lie bracket of u,v Adjoint action: Ad(φ) u = φ # u (φ # u)(x) = Dφ (φ 1 (x)) u(φ 1 (x)) (is exactly the bracket induced from the group) u φ 1 (x) φ x φ # u The dual U* linear functionals on U can be obtained most naturally by where a is viewed as a 1 form. u a i (x) u i (x) dx = <a,u>
22 The co adjoint action (of G=Diff 0 ( ) on U*) <a, φ # u> = <φ*a, u> φ*a the usual pull back Ad*(φ) a = φ*a [ φ*a (φ(x)) ] i = a j (x) φ j,i(x) So it seems natural to identify U* with one forms, but the problem is that the correspondence is not one to one: a = df <a,u> = 0 for each u U: fu = f (div u) = 0 To get a one to one correspondence replace 1 forms by (1 forms)/(exact differentials df)
23 1 forms / differentials df d via the volume element 2 forms vector fields a dx i a ij dx j Ædx i ω i / x i with ω i =² ijk i i,j /, a kj k,j Or, in the vector calculus notation: a (a 1, a 2, a 3 ) ω = curl a Action of Diff 0 ( ) in the a coordinates In the ω coordinates Ad*(φ) a = φ*a Ad*(φ)ω = φ # ω
24 Duality in between U and U* in the ω coordinates on U* a a i dx i da curl a ω ω i / x i vector potential of u, analogue of the 2d stream function u U, u=curl Ψ, div Ψ = 0 in, ΨÆn= 0 on when is topologically trivial) for simplicity it you can also think of = R 3 a u dx = ω Ψ dx (Check that the boundary term vanishes due to the boundary conditions) In these coordinates the basic variable is ω = ω(x,t) ( vorticity ) The vector fields u U are identified with their vector potentials Ψ The Hamiltonian = kinetic energy : ω U*, curl u = ω, div u = 0, un =0, Ψ= ω, div Ψ = 0, ΨÆn = 0 H = H(ω) = ½ u 2 dx = ½ωΨ dx
25 Poisson bracket Lie bracket in U in terms of the vector potentials Ψ u = curl Ψ, v = curl Φ U, w=[u,v], w=curl Θ w = [u,v] = u v v u= curl (uæv) (we used div u = div v = 0) Θ = curl Ψ Æcurl Φ Ψ and Φ can be considered aslinearfunction on U* l Ψ : ω ωψ and l Φ : ω ωφ Poisson bracket: {l Ψ, l Φ } = l Θ = l curlψ Æcurl Φ variational derivative, expressing F and G using the duality with U (need some smothness) general functionals: { F, G } (ω) = ω ( curl (δf/δω) Æ curl(δg/δω) ) dx
26 Example: H(ω) = ½ ω Ψ ( the Euler Lagrangian introduced earlier) δh/δω = Ψ (with Ψ = ω + boundary cond.) ω = curl u, div u = 0 + boundary cond., u = curl Ψ d/dt l Φ (ω) = ω t Φ = { H, l Φ } (ω) = ω( curl Ψ Æ curl Φ) = curl(ωæu) Φ evolution of the coordinate given by Φ Φ is arbitrary div free with ΦÆn= 0 at the boundary Analogous to the finite dimensional equation dy i /dt={h,y i } ω t + curl (uæω) = 0 or ω t + [ u, ω ] = 0 t vorticity formulation of Euler s equations Noether s theorem (conservation of the moment function) Ad*(φ t ) 1 ω(t) = ω(0) or ω(t) = φ # ω(0) Helmholtz s law vorticity moves with the flow
27 Consequences of Helmholtz s law Vortex filament at initial time curve γ velocity u ω γ u i dx i is conserved (γ moving with the flow) section S S ωn is conserved (S moving with the flow)
28 folding necessary not to increase energy volume ofthe filament must be preserved velocity near the filament increases eventually it will presumably become very complicated ω vorticity is stretched must become very thin at many places (preservation of volume) high velocities, a lot of folding necessary so that energy is not increased
29 A benefit of the co adjoint orbit approach: some reduced systems (such as point vortices, vortex fillaments, ) come with natural hamiltonian structure. 1) 2d.. sets of a given number of points can be moved around by Diff 0 ( ) finite dimensional orbits finite dimensional Hamiltonian system point vortices (Hamiltonian can be taken from the original Euler s eq. if we remove the infinite self energy of each vortex. 2) 3d.. curves can be moved around by Diff 0 ( ) get a natural symplectic structure on the manifold of curves for certain weak filaments energy length curves with the sympl. structure, Hamiltonian = length, flow of curves by binormal curvature
30 Geometric picture of the steady states for 2d Euler: manifold of stationary points (transversal to the orbit foliation) Non degenerate critical point of H on one orbits implies critical points in neighboring orbits orbits Can be established rigorously in 2d under some (reasonable) assumptions (A. Choffrut, V.S.)
31 References: V.I.Arnold: Mathematical Methods of Classical Mechanics V.I.Arnold, B. A. Khesin: Topological Fluid Mechanics A.A.Kirillov: Lectures on the orbit method J.Marsden, A.Weinstein: Coadjoint orbits and Clebsch variables for incompressible fluids, Physica D 7 (1983), no. 1 3,
The 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 informationSolutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations
D. D. Holm Solutions to M3-4A16 Assessed Problems # 3 15 Dec 2010 1 Solutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations Vector notation for differential basis elements:
More information[#1] Exercises in exterior calculus operations
D. D. Holm M3-4A16 Assessed Problems # 3 Due when class starts 13 Dec 2012 1 M3-4A16 Assessed Problems # 3 Do all four problems [#1] Exercises in exterior calculus operations Vector notation for differential
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 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 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 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 informationHamiltonian Dynamics from Lie Poisson Brackets
1 Hamiltonian Dynamics from Lie Poisson Brackets Jean-Luc Thiffeault Department of Applied Physics and Applied Mathematics Columbia University http://plasma.ap.columbia.edu/~jeanluc 12 February 2002 2
More informationDierential geometry for Physicists
Dierential geometry for Physicists (What we discussed in the course of lectures) Marián Fecko Comenius University, Bratislava Syllabus of lectures delivered at University of Regensburg in June and July
More informationSeptember 21, :43pm Holm Vol 2 WSPC/Book Trim Size for 9in by 6in
1 GALILEO Contents 1.1 Principle of Galilean relativity 2 1.2 Galilean transformations 3 1.2.1 Admissible force laws for an N-particle system 6 1.3 Subgroups of the Galilean transformations 8 1.3.1 Matrix
More informationDynamics of symplectic fluids and point vortices
Dynamics of symplectic fluids and point vortices Boris Khesin June 2011 In memory of Vladimir Igorevich Arnold Abstract We present the Hamiltonian formalism for the Euler equation of symplectic fluids,
More informationCurves in the configuration space Q or in the velocity phase space Ω satisfying the Euler-Lagrange (EL) equations,
Physics 6010, Fall 2010 Hamiltonian Formalism: Hamilton s equations. Conservation laws. Reduction. Poisson Brackets. Relevant Sections in Text: 8.1 8.3, 9.5 The Hamiltonian Formalism We now return to formal
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 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 informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationAn Invitation to Geometric Quantization
An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to
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 informationThe BRST complex for a group action
BRST 2006 (jmf) 23 Lecture 3: The BRST complex for a group action In this lecture we will start our discussion of the homological approach to coisotropic reduction by studying the case where the coisotropic
More informationLecture I: Constrained Hamiltonian systems
Lecture I: Constrained Hamiltonian systems (Courses in canonical gravity) Yaser Tavakoli December 15, 2014 1 Introduction In canonical formulation of general relativity, geometry of space-time is given
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationHamiltonian flows, cotangent lifts, and momentum maps
Hamiltonian flows, cotangent lifts, and momentum maps Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Symplectic manifolds Let (M, ω) and (N, η) be symplectic
More informationThe Toda Lattice. Chris Elliott. April 9 th, 2014
The Toda Lattice Chris Elliott April 9 th, 2014 In this talk I ll introduce classical integrable systems, and explain how they can arise from the data of solutions to the classical Yang-Baxter equation.
More informationInvariant Variational Problems & Invariant Curve Flows
Invariant Variational Problems & Invariant Curve Flows Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Oxford, December, 2008 Basic Notation x = (x 1,..., x p ) independent variables
More informationLECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
LECTURE 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
More information1 Hamiltonian formalism
1 Hamiltonian formalism 1.1 Hamilton s principle of stationary action A dynamical system with a finite number n degrees of freedom can be described by real functions of time q i (t) (i =1, 2,..., n) which,
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 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 informationPREQUANTIZATION OF SYMPLECTIC SUPERMANIFOLDS
Ninth International Conference on Geometry, Integrability and Quantization June 8 13, 2007, Varna, Bulgaria Ivaïlo M. Mladenov, Editor SOFTEX, Sofia 2008, pp 301 307 Geometry, Integrability and Quantization
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 informationDIFFERENTIAL GEOMETRY HW 12
DIFFERENTIAL GEOMETRY HW 1 CLAY SHONKWILER 3 Find the Lie algebra so(n) of the special orthogonal group SO(n), and the explicit formula for the Lie bracket there. Proof. Since SO(n) is a subgroup of GL(n),
More informationHamiltonian Dynamics
Hamiltonian Dynamics CDS 140b Joris Vankerschaver jv@caltech.edu CDS Feb. 10, 2009 Joris Vankerschaver (CDS) Hamiltonian Dynamics Feb. 10, 2009 1 / 31 Outline 1. Introductory concepts; 2. Poisson brackets;
More informationINTRO TO SUBRIEMANNIAN GEOMETRY
INTRO TO SUBRIEMANNIAN GEOMETRY 1. Introduction to subriemannian geometry A lot of this tal is inspired by the paper by Ines Kath and Oliver Ungermann on the arxiv, see [3] as well as [1]. Let M be a smooth
More informationPoisson Manifolds Bihamiltonian Manifolds Bihamiltonian systems as Integrable systems Bihamiltonian structure as tool to find solutions
The Bi hamiltonian Approach to Integrable Systems Paolo Casati Szeged 27 November 2014 1 Poisson Manifolds 2 Bihamiltonian Manifolds 3 Bihamiltonian systems as Integrable systems 4 Bihamiltonian structure
More informationBRST 2006 (jmf) 7. g X (M) X ξ X. X η = [ξ X,η]. (X θ)(η) := X θ(η) θ(x η) = ξ X θ(η) θ([ξ X,η]).
BRST 2006 (jmf) 7 Lecture 2: Symplectic reduction In this lecture we discuss group actions on symplectic manifolds and symplectic reduction. We start with some generalities about group actions on manifolds.
More informationHamiltonian aspects of fluid dynamics
Hamiltonian aspects of fluid dynamics CDS 140b Joris Vankerschaver jv@caltech.edu CDS 01/29/08, 01/31/08 Joris Vankerschaver (CDS) Hamiltonian aspects of fluid dynamics 01/29/08, 01/31/08 1 / 34 Outline
More informationSmooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013
Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.
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 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 informationTHE NEWLANDER-NIRENBERG THEOREM. GL. The frame bundle F GL is given by x M Fx
THE NEWLANDER-NIRENBERG THEOREM BEN MCMILLAN Abstract. For any kind of geometry on smooth manifolds (Riemannian, Complex, foliation,...) it is of fundamental importance to be able to determine when two
More informationVortex Equations on Riemannian Surfaces
Vortex Equations on Riemannian Surfaces Amanda Hood, Khoa Nguyen, Joseph Shao Advisor: Chris Woodward Vortex Equations on Riemannian Surfaces p.1/36 Introduction Yang Mills equations: originated from electromagnetism
More informationSymplectic Geometry versus Riemannian Geometry
Symplectic Geometry versus Riemannian Geometry Inês Cruz, CMUP 2010/10/20 - seminar of PIUDM 1 necessarily very incomplete The aim of this talk is to give an overview of Symplectic Geometry (there is no
More informationSub-Riemannian geometry in groups of diffeomorphisms and shape spaces
Sub-Riemannian geometry in groups of diffeomorphisms and shape spaces Sylvain Arguillère, Emmanuel Trélat (Paris 6), Alain Trouvé (ENS Cachan), Laurent May 2013 Plan 1 Sub-Riemannian geometry 2 Right-invariant
More informationInvariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups
Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Dennis I. Barrett Geometry, Graphs and Control (GGC) Research Group Department of Mathematics, Rhodes University Grahamstown,
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationEva Miranda. UPC-Barcelona and BGSMath. XXV International Fall Workshop on Geometry and Physics Madrid
b-symplectic manifolds: going to infinity and coming back Eva Miranda UPC-Barcelona and BGSMath XXV International Fall Workshop on Geometry and Physics Madrid Eva Miranda (UPC) b-symplectic manifolds Semptember,
More informationLecture II: Hamiltonian formulation of general relativity
Lecture II: Hamiltonian formulation of general relativity (Courses in canonical gravity) Yaser Tavakoli December 16, 2014 1 Space-time foliation The Hamiltonian formulation of ordinary mechanics is given
More informationPoisson Structures. concerning their singularities
Poisson Structures and problems concerning their singularities Jean-Paul Dufour Notes for a mini-course given at Geometry and Physics V Université Cheikh Anta Diop, Dakar-Sénégal; 14-19 may 2007 April
More informationB.7 Lie Groups and Differential Equations
96 B.7. LIE GROUPS AND DIFFERENTIAL EQUATIONS B.7 Lie Groups and Differential Equations Peter J. Olver in Minneapolis, MN (U.S.A.) mailto:olver@ima.umn.edu The applications of Lie groups to solve differential
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationDIFFERENTIAL FORMS AND COHOMOLOGY
DIFFERENIAL FORMS AND COHOMOLOGY ONY PERKINS Goals 1. Differential forms We want to be able to integrate (holomorphic functions) on manifolds. Obtain a version of Stokes heorem - a generalization of the
More informationSolvable Lie groups and the shear construction
Solvable Lie groups and the shear construction Marco Freibert jt. with Andrew Swann Mathematisches Seminar, Christian-Albrechts-Universität zu Kiel 19.05.2016 1 Swann s twist 2 The shear construction The
More informationThe Hamiltonian formulation of gauge theories
The Hamiltonian formulation of gauge theories I [p, q] = dt p i q i H(p, q) " # q i = @H @p i =[q i, H] ṗ i = @H =[p @q i i, H] 1. Symplectic geometry, Hamilton-Jacobi theory,... 2. The first (general)
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 informationTorus actions and Ricci-flat metrics
Department of Mathematics, University of Aarhus November 2016 / Trondheim To Eldar Straume on his 70th birthday DFF - 6108-00358 Delzant HyperKähler G2 http://mscand.dk https://doi.org/10.7146/math.scand.a-12294
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationAction-angle coordinates and geometric quantization. Eva Miranda. Barcelona (EPSEB,UPC) STS Integrable Systems
Action-angle coordinates and geometric quantization Eva Miranda Barcelona (EPSEB,UPC) STS Integrable Systems Eva Miranda (UPC) 6ecm July 3, 2012 1 / 30 Outline 1 Quantization: The general picture 2 Bohr-Sommerfeld
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationarxiv:solv-int/ v1 24 Mar 1997
RIBS-PH-5/97 solv-int/9703012 arxiv:solv-int/9703012v1 24 Mar 1997 LAGRANGIAN DESCRIPTION, SYMPLECTIC STRUCTURE, AND INVARIANTS OF 3D FLUID FLOW Abstract Hasan Gümral TÜBİTAK Research Institute for Basic
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
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 informationCS 468. Differential Geometry for Computer Science. Lecture 17 Surface Deformation
CS 468 Differential Geometry for Computer Science Lecture 17 Surface Deformation Outline Fundamental theorem of surface geometry. Some terminology: embeddings, isometries, deformations. Curvature flows
More informationTHE GEOMETRY AND DYNAMICS OF INTERACTING RIGID BODIES AND POINT VORTICES. Joris Vankerschaver. Eva Kanso. Jerrold Marsden
JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2009.1.227 c American Institute of Mathematical Sciences Volume 1, Number 2, June 2009 pp. 227 270 THE GEOMETRY AND DYNAMICS OF INTERACTING RIGID BODIES AND
More informationAn introduction to Birkhoff normal form
An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationM3/4A16. GEOMETRICAL MECHANICS, Part 1
M3/4A16 GEOMETRICAL MECHANICS, Part 1 (2009) Page 1 of 5 UNIVERSITY OF LONDON Course: M3/4A16 Setter: Holm Checker: Gibbons Editor: Chen External: Date: January 27, 2008 BSc and MSci EXAMINATIONS (MATHEMATICS)
More informationMOVING FRAMES, GEOMETRIC POISSON BRACKETS AND THE KDV-SCHWARZIAN EVOLUTION OF PURE SPINORS
MOVING FRAMES, GEOMETRIC POISSON BRACKETS AND THE KDV-SCHWARZIAN EVOLUTION OF PURE SPINORS GLORIA MARÍ BEFFA Abstract. In this paper we describe a non-local moving frame along a curve of pure spinors in
More informationAMADEU DELSHAMS AND RAFAEL RAMíREZ-ROS
POINCARÉ-MELNIKOV-ARNOLD METHOD FOR TWIST MAPS AMADEU DELSHAMS AND RAFAEL RAMíREZ-ROS 1. Introduction A general theory for perturbations of an integrable planar map with a separatrix to a hyperbolic fixed
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 informationReduction 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 informationHamiltonian Systems of Negative Curvature are Hyperbolic
Hamiltonian Systems of Negative Curvature are Hyperbolic A. A. Agrachev N. N. Chtcherbakova Abstract The curvature and the reduced curvature are basic differential invariants of the pair: Hamiltonian system,
More informationGroups and topology in the Euler hydrodynamics and KdV
Groups and topology in the Euler hydrodynamics and KdV Boris Khesin Abstract We survey applications of group theory and topology in fluid mechanics and integrable systems. The main reference for most facts
More informationi.e. the conservation of mass, the conservation of linear momentum, the conservation of energy.
04/04/2017 LECTURE 33 Geometric Interpretation of Stream Function: In the last class, you came to know about the different types of boundary conditions that needs to be applied to solve the governing equations
More informationRelativistic Mechanics
Physics 411 Lecture 9 Relativistic Mechanics Lecture 9 Physics 411 Classical Mechanics II September 17th, 2007 We have developed some tensor language to describe familiar physics we reviewed orbital motion
More informationLiouville integrability of Hamiltonian systems and spacetime symmetry
Seminar, Kobe U., April 22, 2015 Liouville integrability of Hamiltonian systems and spacetime symmetry Tsuyoshi Houri with D. Kubiznak (Perimeter Inst.), C. Warnick (Warwick U.) Y. Yasui (OCU Setsunan
More informationComplete integrability of geodesic motion in Sasaki-Einstein toric spaces
Complete integrability of geodesic motion in Sasaki-Einstein toric spaces Mihai Visinescu Department of Theoretical Physics National Institute for Physics and Nuclear Engineering Horia Hulubei Bucharest,
More informationGlobal Lie-Tresse theorem
Global Lie-Tresse theorem Boris Kruglikov University of Tromsø, Norway (in part joint with: V.Lychagin, O. Morozov, E. Ferapontov) Group actions and classical Invariants The classical problem in invariant
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationEquivalence, Invariants, and Symmetry
Equivalence, Invariants, and Symmetry PETER J. OLVER University of Minnesota CAMBRIDGE UNIVERSITY PRESS Contents Preface xi Acknowledgments xv Introduction 1 1. Geometric Foundations 7 Manifolds 7 Functions
More informationDeformations of coisotropic submanifolds in symplectic geometry
Deformations of coisotropic submanifolds in symplectic geometry Marco Zambon IAP annual meeting 2015 Symplectic manifolds Definition Let M be a manifold. A symplectic form is a two-form ω Ω 2 (M) which
More informationTowards Discrete Exterior Calculus and Discrete Mechanics for Numerical Relativity
Towards Discrete Exterior Calculus and Discrete Mechanics for Numerical Relativity Melvin Leok Mathematics, University of Michigan, Ann Arbor. Joint work with Mathieu Desbrun, Anil Hirani, and Jerrold
More informationVirasoro hair on locally AdS 3 geometries
Virasoro hair on locally AdS 3 geometries Kavli Institute for Theoretical Physics China Institute of Theoretical Physics ICTS (USTC) arxiv: 1603.05272, M. M. Sheikh-Jabbari and H. Y Motivation Introduction
More informationThe group we will most often be dealing with in hydrodynamics is the innitedimensional. group of dieomorphisms that preserve the volume element of the
CHAPTER I GROUP AND HAILTONIAN STRUCTURES OF FLUID DYNAICS The group we will most often be dealing with in hydrodynamics is the innitedimensional group of dieomorphisms that preserve the volume element
More informationThe Geometry and Dynamics of Interacting Rigid Bodies and Point Vortices
The Geometry and Dynamics of Interacting Rigid Bodies and Point Vortices Joris Vankerschaver a,b, Eva Kanso c, Jerrold E. Marsden a a Control and Dynamical Systems California Institute of Technology MC
More informationÉlie Cartan s Theory of Moving Frames
Élie Cartan s Theory of Moving Frames Orn Arnaldsson Department of Mathematics University of Minnesota, Minneapolis Special Topics Seminar, Spring 2014 The Story of Symmetry Felix Klein and Sophus Lie
More informationRELATIVE EQUILIBRIA AND CONSERVED QUANTITIES IN SYMMETRIC HAMILTONIAN SYSTEMS
Published in: Peyresq Lectures in Nonlinear Phenomena R. Kaiser, J. Montaldi (eds) World Scientific, 2000 RELATIVE EQUILIBRIA AND CONSERVED QUANTITIES IN SYMMETRIC HAMILTONIAN SYSTEMS JAMES MONTALDI Institut
More informationChoice of Riemannian Metrics for Rigid Body Kinematics
Choice of Riemannian Metrics for Rigid Body Kinematics Miloš Žefran1, Vijay Kumar 1 and Christopher Croke 2 1 General Robotics and Active Sensory Perception (GRASP) Laboratory 2 Department of Mathematics
More informationContact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples
Contact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples Vladimir Rubtsov, ITEP,Moscow and LAREMA, Université d Angers Workshop "Geometry and Fluids" Clay Mathematical Institute,
More informationTopics in Representation Theory: Cultural Background
Topics in Representation Theory: Cultural Background This semester we will be covering various topics in representation theory, see the separate syllabus for a detailed list of topics, including some that
More informationHamiltonian flow in phase space and Liouville s theorem (Lecture 5)
Hamiltonian flow in phase space and Liouville s theorem (Lecture 5) January 26, 2016 90/441 Lecture outline We will discuss the Hamiltonian flow in the phase space. This flow represents a time dependent
More information(g 1, g 2 ) g 1 g 2. i : G G
1 Lie Groups Definition (4.1 1 A Lie Group G is a set that is a group a differential manifold with the property that and are smooth. µ : G G G (g 1, g 2 g 1 g 2 i : G G g g 1 Definition (4.1 2 A Lie Subgroup
More informationChapter 0. Preliminaries. 0.1 Things you should already know
Chapter 0 Preliminaries These notes cover the course MATH45061 (Continuum Mechanics) and are intended to supplement the lectures. The course does not follow any particular text, so you do not need to buy
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
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 informationM3/4A16 Assessed Coursework 1 Darryl Holm Due in class Thursday November 6, 2008 #1 Eikonal equation from Fermat s principle
D. D. Holm November 6, 2008 M3/416 Geom Mech Part 1 1 M3/416 ssessed Coursework 1 Darryl Holm Due in class Thursday November 6, 2008 #1 Eikonal equation from Fermat s principle #1a Prove that the 3D eikonal
More informationLectures on the Orbit Method
Lectures on the Orbit Method A. A. Kirillov Graduate Studies in Mathematics Volume 64 American Mathematical Society Providence, Rhode Island Preface Introduction xv xvii Chapter 1. Geometry of Coadjoint
More informationComparison for infinitesimal automorphisms. of parabolic geometries
Comparison techniques for infinitesimal automorphisms of parabolic geometries University of Vienna Faculty of Mathematics Srni, January 2012 This talk reports on joint work in progress with Karin Melnick
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 informationGeometric Quantization
math-ph/0208008 Geometric Quantization arxiv:math-ph/0208008v3 4 Sep 2002 William Gordon Ritter Jefferson Physical Laboratory, Harvard University Cambridge, MA 02138, USA February 3, 2008 Abstract We review
More information