Chap. 1. Some Differential Geometric Tools
|
|
- Joella Blankenship
- 6 years ago
- Views:
Transcription
1 Chap. 1. Some Differential Geometric Tools
2 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 Then V = V 1 V 2 U neighborhood of x 0 R n, V 1 R p, V 2 R n p and ψ : V 1 V 2 of class C k such that {x V 1 V 2 ϕ(x) = 0} = {(x 1, x 2 ) V 1 V 2 x 2 = ψ(x 1 )}. Definition: The set {ϕ(x) = 0} is called a differentiable manifold.
3 Examples: (analytic) affine manifold: {x R n Ax b = 0} of dim. p if rank A = n p and b ImA. sphere S 2 of R 3 : {(x, y, z) R 3 (x x C ) 2 + (y y C ) 2 + (z z C ) 2 R 2 = 0} 2-dimensional analytic manifold. R C
4 1.2. Diffeomorphism, homeomorphism ϕ : U R n V R n, of class C k, k 1 is a local diffeomorphism in a neighborhood U(x 0 ) of x 0 U if ϕ is invertible from U(x 0 ) to a nghbrhood V (ϕ(x 0 )) of ϕ(x 0 ) V ϕ 1 is also of class C k. ϕ is a local homeomorphism of class C k if it is of class C k, locally invertible, and if its inverse is continuous. Example: given m 1, ϕ(x) = x m is a diffeomorphism from R + {0} to R + {0} and a homeomorphism from R + to R +.
5 1.3. The Local Inversion Theorem The mapping ϕ is a local diffeomorphism in a neighborhood of x 0 if and only if its tangent linear mapping Dϕ(x 0 ) is one-to-one. Curvilinear coordinates: Consider the change of coordinates y 1 = ϕ 1 (x),..., y n p = ϕ n p (x), y n p+1 = ψ 1 (x),..., y n = ψ p (x), where ψ is chosen s.t. (ϕ, ψ) is a local diffeomorphism. Then the manifold ϕ(x) = 0 is straightened out: y 1 = 0,..., y n p = 0. Example: the manifold defined by ϕ(x 1, x 2, x 3 ) = x x2 2 + x2 3 R 2 = 0 is locally straightened out, in a neighborhood of (1, 0, 0) by the coordinate change y 1 = ϕ(x 1, x 2, x 3 ), y 2 = x 2, y 3 = x 3.
6 2. Tangent bundle, vector fields The tangent space to X at the point x X is the vector space T x X = ker DΦ(x). The tangent bundle TX is the set TX = x X T x X. Remark: a manifold and its tangent space at every point have the same dimension. The tangent space to the sphere x x2 2 + x2 3 R2 = 0 is the 2-dim. vector space spanned by v 1 = (x 2, x 1, 0) and v 2 = (x 3, 0, x 1 ).
7 Vector field, integral curve: A C k (analytic) vector field f on X is a C k (analytic) mapping such that to every x X corresponds the vector f(x) T x X. An integral curve of the vector field f is a local solution of the differential equation ẋ = f(x). Examples: Constant vector field parallel to x 1 : f(x 1,..., x n ) = (1, 0,..., 0). Its integral curves are given by x 1 (t) = x 1 (t 0 ) + t t 0, x 2 (t) = x 2 (t 0 ),..., x n (t) = x n (t 0 ). Linear vector field in n dimensions: f(x) = Ax. curves are x(t) = e A(t t0) x(t 0 ). Its integral f(x 1, x 2 ) = (1, x 1 ). Its integral curves are x 1 (t) = x 1 (t 0 ) + t t 0 and x 2 (t) = 1 2 (t t 0) 2 + x 1 (t 0 )(t t 0 ) + x 2 (t 0 ).
8 Lie derivative: Let h be a C 1 function from R n to R. We call Lie derivative of h with respect to f, denoted by L f h, the derivative of h along the integral curve of f at t = 0. In other words: L f h(x) = d dt h(x t(x)) t=0 = n i=1 f i (x) h x i (x). An arbitrary vector field f may be identified with the first order linear differential operator n L f = f i (x). x i i=1 Example: f(t, x) = (1, v) with v constant (i.e. f = t + v x ), and h(t, x) = x vt. L f h(t, x) = v + v = 0.
9 Image of a vector field, straightening out: The image of the vector field f by the diffeomorphism ϕ, denoted by ϕ f is the vector field ϕ f = (L f ϕ 1 (ϕ 1 (y)),..., L f ϕ n (ϕ 1 (y))) T. Moreover, we say that f is straightened out by diffeomorphism if L f ϕ 1 (ϕ 1 (y)) = 1 et L f ϕ i (ϕ 1 (y)) = 0 i = 2,..., n. x ϕ y x(t) ϕ 1 y(t) t t
10 Examples: f(x) = cos 2 x, x R (f = cos 2 x x ). Integral curves: tan x(t) = t t 0 + tan x(t 0 ). Straightening out diffeomorphism: y = tan x. f(x 1, x 2 ) = x 1 x 2 cos 2 x 2 + cos 2 x x 2 is straightened out by 1 x 2 the diffeomorphism y 1 = tan x 2, y 2 = log x 1 2 1x2 2. f(x) = 1 m x 2 U with x = (x x 1 x 1 x 1, x 2 ) R n R n, 2 U function of x 1 only. The Hamiltonian H = x2 2 2m + U(x 1) is a first integral. If h(x 1, x 2 ) satisfies h H h H = 1, then f is straightened x 1 x 2 x 2 x 1 out by the diffeomorphism (x 1, x 2 ) (H, h).
11 First integral: A first integral of f is a function γ satisfying L f γ = 0. In other words, γ is constant along the integral curves of f. Given a vector field f of class C k (k arbitrary integer), let x 0 X be a transient point (f(x 0 ) 0). There exists a local coordinate system (ξ 1,..., ξ n ) of class C k at x 0 for which f is straightened out: L f ξ 1 = 0,..., L f ξ n 1 = 0 and L f ξ n = 1. Thus f admits a set of n 1 independent first integrals. Example: Back to f(x 1, x 2 ) = x 1 x 2 cos 2 x 2 + cos 2 x x 2. The 1 x 2 function y 2 = log x x2 2 is a first integral.
12 Lie bracket: L f L g h L g L f h = n i=1 n j=1 ( ) g f i f j g i x j h. j x j x i The Lie bracket of the vector fields f and g is the vector field defined by: L [f,g] = L f L g L g L f. In local coordinates: [f, g] = n i=1 Example: f = x 1, g = n j=1 ( ) g f i f j g i x j. j x j x i x 2 + x 1 x 3. [f, g] = x 3.
13 Properties: skew symmetry : [f, g] = [g, f]; [αf, βg] = αβ[f, g] + (αl f β)g (βl g α)f, for every pair (α, β) of C functions; Jacobi identity: [f 1, [f 2, f 3 ]] + [f 2, [f 3, f 1 ]] + [f 3, [f 1, f 2 ]] = 0. Also: Given a diffeomorphism ϕ from X to Y. Let f 1 and f 2 be arbitrary vector fields of X and ϕ f 1 and ϕ f 2 their images in Y. We have [ϕ f 1, ϕ f 2 ] = ϕ [f 1, f 2 ].
14 Interpretation: exp-εf(expεg(expεf(x))) exp-εg(exp-εf(expεg(expεf(x)))) g f expεg(expεf(x)) ε 2 [f,g](x) x expεf(x) exp( ɛg) exp( ɛf) exp ɛg exp ɛf(x) = x + ɛ 2 [f, g](x) + O(ɛ 3 ).
15 3. Systems of first-order PDE s L g1 y = 0. L gk y = 0 where g 1,..., g k are regular vector fields such that rank (g 1 (x),..., g k (x)) = k x V. Denote by D = span {g 1,..., g k }. D is called a distribution. We say that D is involutive if for every pair (f 1, f 2 ) D D, we have [f 1, f 2 ] D. Frobenius theorem: There exists a local diffeomorphism ϕ that straightens out g 1,..., g k simultaneously, namely such that, if we note ξ = ϕ(x), we have, in ϕ(v ), ϕ D(ξ) = span {ϕ g 1 (ξ),..., ϕ g k (ξ)} = span { ξ,..., 1 ξk } if and only if D is involutive.
16 Setting z = y ϕ 1, we get L g y = 0 for all g D or z = 0,..., z = 0 ξ 1 ξ k thus z(ξ 1,..., ξ k, ξ) = constant for all ξ = (ξ k+1,..., ξ n )such that ξ ϕ(v ). Thus the solution y is deduced from z by y = z ϕ. Remark: The distribution spanned by f = and g = + x x 1 x 1 2 x 3 is not involutive since [f, g] =. Thus, the only solution to x 3 L g1 y = L g2 y = 0 is y = constant. Consider now the distribution spanned by f and g 1 = clearly involutive. Then y is an arbitrary function of x 3. x 2, which is
17 4. Cotangent bundle, differential forms By Frobenius theorem, T x X = span { x,..., 1 x1 } for a suitable coordinate system. Denote by TxX its dual vector space with dual basis {dx 1,..., dx n }, defined by < x, dx i j >= δ i,j, i, j = 1,..., n. T X = TxX is called the cotangent bundle. x X If ϕ is differentiable from X to R, its differential is defined by n ϕ dϕ = dx x i. i=1 i More generally, a differential 1-form is a differentiable mapping n x ω(x) TxX, i.e. ω(x) = ω i (x)dx i. It is of class C k if all i=1 ω i s are C k. The set of 1-forms is denoted by Λ 1 (X).
18 ω Λ 1 (X) is said exact if there exists a differentiable function ϕ such that ω = dϕ. Exactness necessary condition: ω i = ω j i, j. x j x i We define the (interior) product of a 1-form ω and a vector field f by n < ω, f >= ω i f i. i=1 If ω = dϕ, < ω, f >=< dϕ, f >= L f ϕ. Example: h(t, x) = x vt. Thus dh = vdt + dx and, with f = t + v x, we have L fh =< f, dh >= v + v = 0.
19 Example: Find y such that L g1 y = 0,..., L gk y = 0 is equivalent to find ω exact such that < g 1, ω >= 0,..., < g k, ω >= 0 or: find ω vanishing on G = span {g 1,..., g k } T X and exact. 2-forms: Λ 1 (X) Λ 1 (X) = Λ 2 (X): skew symmetric tensor product of 2 copies of Λ 1 (X). Its basis is the collection of all pairs dx i dx j for i j, with dx i dx j = dx j dx i i, j. A 2-form is thus of the form ω = ω i,j dx i dx j. 1 i<j n Exterior derivative of 1-forms: For an arbitrary C k 1-form ω, its exterior derivative dω is the 2-form given by dω = ω i dx x i dx j = ( ωi ω ) j dx i,j j x 1 i<j n j x i dx j. i
20 Thus a 1-form ω is exact if dω = 0. Poincaré s lemma: On a retractable open subset of X, ω is exact if and only if dω = 0. Image of a form: Given ω T Y and ϕ local diffeomorphism from X to Y, the backward (or induced) image of ω by ϕ is the 1- form in T X, noted ϕ ω, and defined by < ϕ ω, v >=< ω, ϕ v > for every v T X. Clearly, ϕ ω = (ω i ϕ) ϕ i dx x j. i,j j Extension to 2-forms: ϕ (ω θ) = ϕ ω ϕ θ. In particular: d(ϕ ω) = ϕ (dω).
21 Lie derivative of a form: The Lie derivative L f ω of ω along f T X is defined by < L f ω, g >= L f < ω, g > < ω, [f, g] > for every vector field g T X. n ( Equivalently: L f ω = L f ω i + < ω, f ) > dx x i. i i=1 Example: dl f ω = 0. again, h = x vt, ω = dh, f = t + v x. We have
22 5. Pfaffian systems, integrability Given r independent 1-forms ω 1,..., ω r in Λ 1 (X), an integral manifold Y of the Pfaffian system ω 1 = 0,..., ω r = 0 is a submanifold of X such that there exists a differentiable mapping ϕ from Y to X such that ϕ ω 1,..., ϕ ω r identically vanish on Y. The Pfaffian system {ω 1,..., ω r } is algebraically equivalent to the system {ω 1,..., ω r } of degree 1 if any ω i can be expressed as a linear combination of the ω j s: ω i = r j=1 ω j θ j with suitably chosen forms θ j s. The algebraic closure of the Pfaffian system is the system ω 1 = 0, dω 1 = 0,..., ω r = 0, dω r = 0. The Pfaffian system is closed if it is equivalent to its closure.
23 An integral manifold of a Pfaffian system is also an integral manifold of its closure. A system of r independent forms is completely integrable if there exist r differentiable independent functions y 1,..., y r on an open U X such that the system is algebraically equivalent on U to dy 1 = 0,..., dy r = 0. In other words, the system admits r locally independent first integrals. Frobenius Theorem (dual): A necessary and sufficient condition for a Pfaffian system of rank r to be completely integrable on U X is that it is closed in U. In this case, there exists an open dense U 1 U such that through every point of U 1 passes an integral manifold of dimension n r. Moreover the distribution corresponding to the tangent space of any integral manifold is involutive.
24 Interpretation: If the Pfaffian system ω 1 = 0,..., ω r = 0 is closed, let Y be an integral manifold. There exists ϕ : Y X smooth such that, identically on Y, ϕ ω 1 = 0,..., ϕ ω r = 0. If v T Y, < ϕ ω i, v >=< ω i, ϕ v >= 0, i = 1,..., r. Thus Ω = span {ω 1,..., ω r } identically vanishes on ϕ T Y whose dimension is n r. The involutivity of T Y implies that ϕ T Y = span { y,..., 1 y } n r which yields that Ω = span {dy n r+1,..., dy n }. In other words, the integral manifold Y is given by the r independent first integrals dy n r+1 = 0,..., dy n = 0, or y n r+1 = C 1,..., y n = C r. Thus, if T Y = span {g 1,..., g n r }, we have solved the system of PDE s: L gi y j = 0, i = 1,..., n r, j = n r + 1,..., n.
Symplectic 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 information3.2 Frobenius Theorem
62 CHAPTER 3. POINCARÉ, INTEGRABILITY, DEGREE 3.2 Frobenius Theorem 3.2.1 Distributions Definition 3.2.1 Let M be a n-dimensional manifold. A k-dimensional distribution (or a tangent subbundle) Δ : M Δ
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 informationLecture 2: Controllability of nonlinear systems
DISC Systems and Control Theory of Nonlinear Systems 1 Lecture 2: Controllability of nonlinear systems Nonlinear Dynamical Control Systems, Chapter 3 See www.math.rug.nl/ arjan (under teaching) for info
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationStabilization and Passivity-Based Control
DISC Systems and Control Theory of Nonlinear Systems, 2010 1 Stabilization and Passivity-Based Control Lecture 8 Nonlinear Dynamical Control Systems, Chapter 10, plus handout from R. Sepulchre, Constructive
More informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationMaster Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed
Université de Bordeaux U.F. Mathématiques et Interactions Master Algèbre géométrie et théorie des nombres Final exam of differential geometry 2018-2019 Lecture notes allowed Exercise 1 We call H (like
More informationMCE693/793: Analysis and Control of Nonlinear Systems
MCE693/793: Analysis and Control of Nonlinear Systems Input-Output and Input-State Linearization Zero Dynamics of Nonlinear Systems Hanz Richter Mechanical Engineering Department Cleveland State University
More informationDifferential Forms, Integration on Manifolds, and Stokes Theorem
Differential Forms, Integration on Manifolds, and Stokes Theorem Matthew D. Brown School of Mathematical and Statistical Sciences Arizona State University Tempe, Arizona 85287 matthewdbrown@asu.edu March
More informationChap. 3. Controlled Systems, Controllability
Chap. 3. Controlled Systems, Controllability 1. Controllability of Linear Systems 1.1. Kalman s Criterion Consider the linear system ẋ = Ax + Bu where x R n : state vector and u R m : input vector. A :
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say
More informationIntegration and Manifolds
Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability
More informationManifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds
MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold
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 informationSMSTC (2017/18) Geometry and Topology 2.
SMSTC (2017/18) Geometry and Topology 2 Lecture 1: Differentiable Functions and Manifolds in R n Lecturer: Diletta Martinelli (Notes by Bernd Schroers) a wwwsmstcacuk 11 General remarks In this lecture
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 informationLagrangian submanifolds and generating functions
Chapter 4 Lagrangian submanifolds and generating functions Motivated by theorem 3.9 we will now study properties of the manifold Λ φ X (R n \{0}) for a clean phase function φ. As shown in section 3.3 Λ
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY
INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1 Preliminary of Calculus on Manifolds 11 Tangent Vectors What are tangent vectors we encounter in Calculus? (1) Given a parametrised curve α(t) = ( x(t),
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 informationMathematics for Control Theory
Mathematics for Control Theory Geometric Concepts in Control Involutivity and Frobenius Theorem Exact Linearization Hanz Richter Mechanical Engineering Department Cleveland State University Reading materials
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 informationLet V, W be two finite-dimensional vector spaces over R. We are going to define a new vector space V W with two properties:
5 Tensor products We have so far encountered vector fields and the derivatives of smooth functions as analytical objects on manifolds. These are examples of a general class of objects called tensors which
More informationDisturbance Decoupling Problem
DISC Systems and Control Theory of Nonlinear Systems, 21 1 Disturbance Decoupling Problem Lecture 4 Nonlinear Dynamical Control Systems, Chapter 7 The disturbance decoupling problem is a typical example
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
More information1 Contact structures and Reeb vector fields
1 Contact structures and Reeb vector fields Definition 1.1. Let M be a smooth (2n + 1)-dimensional manifold. A contact structure on M is a maximally non-integrable hyperplane field ξ T M. Suppose that
More informationDefinition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.
5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that
More informationStability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games
Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,
More informationThe prototypes of smooth manifolds
The prototypes of smooth manifolds The prototype smooth manifolds are the open subsets of R n. If U is an open subset of R n, a smooth map from U to R m is an m-tuple of real valued functions (f 1, f 2,...,
More informationLie algebra cohomology
Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and
More informationSISSA Differential Geometry
SISSA Differential Geometry Boris DUBROVIN Contents 1 Geometry of Manifolds 3 1.1 Definition of smooth manifolds.......................... 3 1.2 Tangent space to a manifold............................
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 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 informationMath Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:
Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,
More informationLECTURE 5: SMOOTH MAPS. 1. Smooth Maps
LECTURE 5: SMOOTH MAPS 1. Smooth Maps Recall that a smooth function on a smooth manifold M is a function f : M R so that for any chart 1 {ϕ α, U α, V α } of M, the function f ϕ 1 α is a smooth function
More informationThe wave front set of a distribution
The wave front set of a distribution The Fourier transform of a smooth compactly supported function u(x) decays faster than any negative power of the dual variable ξ; that is for every number N there exists
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 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 informationSome topics in sub-riemannian geometry
Some topics in sub-riemannian geometry Luca Rizzi CNRS, Institut Fourier Mathematical Colloquium Universität Bern - December 19 2016 Sub-Riemannian geometry Known under many names: Carnot-Carathéodory
More informationTHE HODGE DECOMPOSITION
THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional
More informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationReminder on basic differential geometry
Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector
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 information1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces.
1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces. The set of n-tuples of real numbers is denoted by R n. Suppose that a is a real number
More informationNotes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California
Notes for Math 535 Differential Geometry Spring 2016 Francis Bonahon Department of Mathematics, University of Southern California Date of this version: April 27, 2016 c Francis Bonahon 2016 CHAPTER 1 A
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 informationHONGYU HE. p = mẋ; q = x. be the Hamiltonian. It represents the energy function. Then H q = kq,
to be completed. LECTURE NOTES HONGYU HE 1. Hamiltonian Mechanics Let us consider the classical harmonic oscillator mẍ = kx (x R). This is a second order differential equation in terms of Newtonian mechanics.
More informationLECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.
LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one
More informationDIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015
DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationProblem: A class of dynamical systems characterized by a fast divergence of the orbits. A paradigmatic example: the Arnold cat.
À È Ê ÇÄÁ Ë ËÌ ÅË Problem: A class of dynamical systems characterized by a fast divergence of the orbits A paradigmatic example: the Arnold cat. The closure of a homoclinic orbit. The shadowing lemma.
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 informationsatisfying the following condition: If T : V V is any linear map, then µ(x 1,,X n )= det T µ(x 1,,X n ).
ensities Although differential forms are natural objects to integrate on manifolds, and are essential for use in Stoke s theorem, they have the disadvantage of requiring oriented manifolds in order for
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 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 informationMULTI-FLAG SYSTEMS AND ORDINARY DIFFERENTIAL EQUATIONS
A. Kumpera and J. L. Rubin Nagoya Math. J. Vol. 166 (2002), 1 27 MULTI-FLAG SYSTEMS AND ORDINARY DIFFERENTIAL EQUATIONS A. KUMPERA and J. L. RUBIN Abstract. We discuss the Monge problem for under-determined
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 informationDifferential Geometry qualifying exam 562 January 2019 Show all your work for full credit
Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit 1. (a) Show that the set M R 3 defined by the equation (1 z 2 )(x 2 + y 2 ) = 1 is a smooth submanifold of R 3.
More informationNonholonomic Behavior in Robotic Systems
Chapter 7 Nonholonomic Behavior in Robotic Systems In this chapter, we study the effect of nonholonomic constraints on the behavior of robotic systems. These constraints arise in systems such as multifingered
More informationDistributions, Frobenious Theorem & Transformations
Distributions Frobenious Theorem & Transformations Harry G. Kwatny Department of Mechanical Engineering & Mechanics Drexel University Outline Distributions & integral surfaces Involutivity Frobenious Theorem
More informationCourse Summary Math 211
Course Summary Math 211 table of contents I. Functions of several variables. II. R n. III. Derivatives. IV. Taylor s Theorem. V. Differential Geometry. VI. Applications. 1. Best affine approximations.
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 informationCoordinate Systems and Canonical Forms
Appendix D Coordinate Systems and Canonical Forms D.1. Local Coordinates Let O be an open set in R n. We say that an n-tuple of smooth realvalued functions defined in O, (φ 1,...,φ n ), forms a local coordinate
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
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 informationA Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations
A Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations Kurt Schlacher, Andreas Kugi and Kurt Zehetleitner kurt.schlacher@jku.at kurt.zehetleitner@jku.at,
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 informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationGeometric control and dynamical systems
Université de Nice - Sophia Antipolis & Institut Universitaire de France 9th AIMS International Conference on Dynamical Systems, Differential Equations and Applications Control of an inverted pendulum
More informationCHAPTER 1 PRELIMINARIES
CHAPTER 1 PRELIMINARIES 1.1 Introduction The aim of this chapter is to give basic concepts, preliminary notions and some results which we shall use in the subsequent chapters of the thesis. 1.2 Differentiable
More informationwith a given direct sum decomposition into even and odd pieces, and a map which is bilinear, satisfies the associative law for multiplication, and
Chapter 2 Rules of calculus. 2.1 Superalgebras. A (commutative associative) superalgebra is a vector space A = A even A odd with a given direct sum decomposition into even and odd pieces, and a map A A
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
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 informationDIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM
DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such
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 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 information1 Smooth manifolds and Lie groups
An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely
More informationi = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)
2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ
More informationAdiabatic limits of co-associative Kovalev-Lefschetz fibrations
Adiabatic limits of co-associative Kovalev-Lefschetz fibrations Simon Donaldson February 3, 2016 To Maxim Kontsevich, on his 50th. birthday 1 Introduction This article makes the first steps in what we
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 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 informationControllability, Observability & Local Decompositions
ontrollability, Observability & Local Decompositions Harry G. Kwatny Department of Mechanical Engineering & Mechanics Drexel University Outline Lie Bracket Distributions ontrollability ontrollability Distributions
More informationDefn 3.1: An n-manifold, M, is a topological space with the following properties:
Chapter 1 all sections 1.3 Defn: M is locally Euclidean of dimension n if for all p M, there exists an open set U p such that p U p and there exists a homeomorphism f p : U p V p where V p R n. (U p, f)
More information0.1 Diffeomorphisms. 0.2 The differential
Lectures 6 and 7, October 10 and 12 Easy fact: An open subset of a differentiable manifold is a differentiable manifold of the same dimension the ambient space differentiable structure induces a differentiable
More informationOutline of the course
School of Mathematical Sciences PURE MTH 3022 Geometry of Surfaces III, Semester 2, 20 Outline of the course Contents. Review 2. Differentiation in R n. 3 2.. Functions of class C k 4 2.2. Mean Value Theorem
More informationTopics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map
Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map Most of the groups we will be considering this semester will be matrix groups, i.e. subgroups of G = Aut(V ), the group
More informationChapter 6. Differentially Flat Systems
Contents CAS, Mines-ParisTech 2008 Contents Contents 1, Linear Case Introductory Example: Linear Motor with Appended Mass General Solution (Linear Case) Contents Contents 1, Linear Case Introductory Example:
More informationTANGENT VECTORS. THREE OR FOUR DEFINITIONS.
TANGENT VECTORS. THREE OR FOUR DEFINITIONS. RMONT We define and try to understand the tangent space of a manifold Q at a point q, as well as vector fields on a manifold. The tangent space at q Q is a real
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 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 informationPoisson geometry of b-manifolds. Eva Miranda
Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationclass # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS
class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
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 informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationUniversity of Houston, Department of Mathematics Numerical Analysis, Fall 2005
3 Numerical Solution of Nonlinear Equations and Systems 3.1 Fixed point iteration Reamrk 3.1 Problem Given a function F : lr n lr n, compute x lr n such that ( ) F(x ) = 0. In this chapter, we consider
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More information