Vector fields Lecture 2

Similar documents
Chapter 2. Differential Forms

The theory of manifolds Lecture 2

LECTURE 15: COMPLETENESS AND CONVEXITY

Surfaces JWR. February 13, 2014

Changing coordinates to adapt to a map of constant rank

LECTURE 16: CONJUGATE AND CUT POINTS

Riemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,

0.1 Diffeomorphisms. 0.2 The differential

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech. Integration on Manifolds, Volume, and Partitions of Unity

Hamiltonian flows, cotangent lifts, and momentum maps

The theory of manifolds Lecture 3

Math 147, Homework 5 Solutions Due: May 15, 2012

x i x j x l ωk x j dx i dx j,

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0

fy (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))

TANGENT VECTORS. THREE OR FOUR DEFINITIONS.

CALCULUS ON MANIFOLDS

Metric Spaces and Topology

Vector fields and one forms. v : M TM

LECTURE 5: SMOOTH MAPS. 1. Smooth Maps

Math 598 Feb 14, Geometry and Topology II Spring 2005, PSU

Chapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem

SYMPLECTIC GEOMETRY: LECTURE 5

Integration and Manifolds

Hopf-Rinow and Hadamard Theorems

Worksheet on Vector Fields and the Lie Bracket

GEOMETRY MID-TERM CLAY SHONKWILER

Minimizing properties of geodesics and convex neighborhoods

Chapter 1. Smooth Manifolds

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

The theory of manifolds Lecture 3. Tf : TR n TR m

1 Differentiable manifolds and smooth maps

Differential Topology Solution Set #2

INVERSE FUNCTION THEOREM and SURFACES IN R n

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Math 426H (Differential Geometry) Final Exam April 24, 2006.

LECTURE 9: THE WHITNEY EMBEDDING THEOREM

Coordinate Systems and Canonical Forms

HOMEWORK 2 - RIEMANNIAN GEOMETRY. 1. Problems In what follows (M, g) will always denote a Riemannian manifold with a Levi-Civita connection.

Lecture 6. Differential Equations

DIFFERENTIAL GEOMETRY. LECTURE 12-13,

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II

Math 6455 Nov 1, Differential Geometry I Fall 2006, Georgia Tech

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

CHAPTER 7. Connectedness

Geometry/Topology 868

Green s Theorem, Cauchy s Theorem, Cauchy s Formula

Math 147, Homework 1 Solutions Due: April 10, 2012

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

274 Microlocal Geometry, Lecture 2. David Nadler Notes by Qiaochu Yuan

Proof: The coding of T (x) is the left shift of the coding of x. φ(t x) n = L if T n+1 (x) L

6c Lecture 14: May 14, 2014

Chap. 1. Some Differential Geometric Tools

LECTURE 3 Functional spaces on manifolds

2 Lie Groups. Contents

Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit

Fuchsian groups. 2.1 Definitions and discreteness

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

SEPARATED AND PROPER MORPHISMS

LECTURE 14: LIE GROUP ACTIONS

Lecture 5: Hodge theorem

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:

CS 468. Differential Geometry for Computer Science. Lecture 17 Surface Deformation

LECTURE 22: THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS

SMSTC (2017/18) Geometry and Topology 2.

Chapter 1: Linear Equations

2 Sequences, Continuity, and Limits

Theorema Egregium, Intrinsic Curvature

Good Problems. Math 641

HOMEWORK 4 - GEOMETRY OF CURVES AND SURFACES

Math 480 The Vector Space of Differentiable Functions

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

10. Smooth Varieties. 82 Andreas Gathmann

Complete Surfaces of Constant Gaussian Curvature in Euclidean Space R 3.

30.1 Continuity of scalar fields: Definition: Theorem: Module 10 : Scaler fields, Limit and Continuity

Non-Differentiable Embedding of Lagrangian structures

Riemannian geometry of surfaces

3.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

RIEMANN SURFACES. ω = ( f i (γ(t))γ i (t))dt.

LECTURE 5: THE METHOD OF STATIONARY PHASE

Topic 4 Notes Jeremy Orloff

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

1. Bounded linear maps. A linear map T : E F of real Banach

CHAPTER 1. Preliminaries Basic Relevant Algebra Introduction to Differential Geometry. By Christian Bär

Chapter 1: Linear Equations

Exercise 1 (Formula for connection 1-forms) Using the first structure equation, show that

DEVELOPMENT OF MORSE THEORY

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

Problem Set 6: Solutions Math 201A: Fall a n x n,

LECTURE 24: THE BISHOP-GROMOV VOLUME COMPARISON THEOREM AND ITS APPLICATIONS

PICARD S THEOREM STEFAN FRIEDL

LECTURE 10: THE PARALLEL TRANSPORT

An introduction to Mathematical Theory of Control

K-BI-LIPSCHITZ EQUIVALENCE OF REAL FUNCTION-GERMS. 1. Introduction

(FALL 2011) 225A - DIFFERENTIAL TOPOLOGY FINAL < HOPF DEGREE THEOREM >

NONSINGULAR CURVES BRIAN OSSERMAN

LECTURE 11: TRANSVERSALITY

Transcription:

Vector fields Lecture 2 Let U be an open subset of R n and v a vector field on U. We ll say that v is complete if, for every p U, there exists an integral curve, γ : R U with γ(0) = p, i.e., for every p there exists an integral curve that starts at p and exists for all time. To see what completeness involves, we recall that an integral curve γ : [0, b) U, with γ(0) = p, is called maximal if it can t be extended to an interval [0, b ), b > b. For such curves we showed that either i. b = + or ii. γ(t) + as t b or iii. the limit set of contains points on BdU. {γ(t), 0 t, b} Hence if we can exclude ii. and iii. we ll have shown that an integral curve with γ(0) = p exists for all positive time. A simple criterion for excluding ii. and iii. is the following. Lemma 1. The scenarios ii. and iii. can t happen if there exists a proper C 1 -function, ϕ : U R with L v ϕ = 0. Proof. L v ϕ = 0 implies that ϕ is constant on γ(t), but if ϕ(p) = c this implies that the curve, γ(t), lies on the compact subset, ϕ 1 (c), of U; hence it can t run off to infinity as in scenario ii. or run off the boundary as in scenario iii. Applying a similar argument to the interval ( b, 0] we conclude: Theorem 2. Suppose there exists a proper C 1 -function, ϕ : U R with the property L v ϕ = 0. Then v is complete. Example. Let U = R 2 and let v be the vector field v = x 3 y y x. 1

Then ϕ(x, y) = 2y 2 + x 4 is a proper function with the property above. If v is complete then for every p, one has an integral curve, γ p : R U with γ p (0) = p, so one can define a map f t : U U by setting f t (p) = γ p (t). If v is C k+1, this mapping is C k by the smooth dependence on initial data theorem, and by definition f 0 is the identity map, i.e., f 0 (p) = γ p (0) = p. We claim that the f t s also have the property f t f a = f t+a. (1) Indeed if f a (p) = q, then by the reparameterization theorem, γ q (t) and γ p (t + a) are both integral curves of v, and since q = γ q (0) = γ p (a) = f a (p), they have the same initial point, so γ q (t) = f t (q) = (f t f a )(p) = γ p (t + a) = f t+a (p) for all t. Since f 0 is the identity it follows from (1) that f t f t is the identity, i.e., f t = f 1 t, so f t is a C k diffeomorphism. Hence if v is complete it generates a one-parameter group, f t, < t <, of C k -diffeomorphisms. For v not complete there is an analogous result, but it s trickier to formulate precisely. Roughly speaking v generates a one-parameter group of diffeomorphisms, f t, but these diffeomorphisms are not defined on all of U nor for all values of t. Moreover, the identity (1) only holds on the open subset of U where both sides are well-defined. I ll devote the second half of this lecture to discussing some properties of vector fields which we will need to extend the notion of vector field to manifolds. Let U and W be open subsets of R n and R m, respectively, and let f : U W be a C k+1 map. If v is a C k -vector field on U and w a C k -vector field on W we will say that v and w are f-related if, for all p U and q = f(p) Writing df p (v p ) = w q. (2) and v = n i=1 v i, x i v i C k (U) 2

w = m j=1 w j, w j C k (V ) y j this equation reduces, in coordinates, to the equation w i (q) = f i x j (p)v j (p). (3) In particular, if m = n and f is a C k+1 diffeomorphism, the formula (3) defines a C k -vector field on V, i.e., n w = w i y j is the vector field defined by the equation Hence we ve proved w i (y) = n j=1 j=1 ( ) fi v j f 1. (4) x j Theorem 3. If f : U V is a C k+1 diffeomorphism and v a C k -vector field on U, there exists a unique C k vector field, w, on W having the property that v and w are f-related. We ll denote this vector field by f v and call it the push-forward of v by f. I ll leave the following assertions as easy exercises. Theorem 4. Let U i, i = 1, 2, be open subsets of R n i, v i a vector field on U i and f : U 1 U 2 a C 1 -map. If v 1 and v 2 are f-related, every integral curve γ : I U 1 of v 1 gets mapped by f onto an integral curve, f γ : I U 2, of v 2. Corollary 5. Suppose v 1 and v 2 are complete. Let (f i ) t : U i U i, < t <, be the one-parameter group of diffeomorphisms generated by v i. Then f (f 1 ) t = (f 2 ) t f. Theorem 6. Let U i, i = 1, 2, 3, be open subsets of R n i, v i a vector field on U i and f i : U i U i+1, i = 1, 2 a C 1 -map. Suppose that, for i = 1, 2, v i and v i+1 are f i -related. Then v 1 and v 3 are f 2 f 1 -related. In particular, if f 1 and f 2 are diffeomorphisms and v = v 1 (f 2 ) (f 1 ) v = (f 2 f 1 ) v. 3

The results we described above have dual analogues for one-forms. Namely, let U and X be open subsets of R n and R m, respectively, and let f : U V be a C k+1 -map. Given a one-form, µ, on V onc can define a one-form, f µ, on U by the following method. For p U let q = f(p). By definition µ(q) is a linear map and by composing this map with the linear map we get a linear map i.e., an element µ q df p of T p Rn. µ(q) : T q R m R (5) df p : T p R n T q R n µ q df p : T p R n R, Definition 1. The one-form f µ is the one-form defined by the map where q = f(p). p U (µ q df p ) T p Rn Note that if ϕ : V R is a C 1 -function and µ = dϕ then by (5) i.e., Problem set µ q df p = dϕ q df p = d(ϕ f) p f µ = dϕ f. (6) 1. Let U be an open subset of R n, V an open subset of R n and f : U V a C k map. Given a function ϕ : V R we ll denote the composite function ϕ f : U R by f ϕ. (a) With this notation show that (6) can be rewritten f dϕ = df ϕ. (6 ) (b) Let µ be the one-form m µ = ϕ i dx i ϕ i C (V ) i=1 on V. Show that if f = (f 1,..., f m ) then m f µ = f ϕ i df i. 4 i=1

(c) Show that if µ is C k and f is C k+1, f µ is C k. 2. Let v be a complete vector field on U and f t : U U, the one parameter group of diffeomorphisms generated by v. Show that if ϕ C 1 (U) ( ) d L v ϕ = dt f t ϕ. 3. (a) Let U = R 2 and let v be the vector field, x 1 / x 2 x 2 / x 1. Show that the curve t R (r cos(t + θ), r sin(t + θ)) is the unique integral curve of v passing through the point, (r cos θ, r sin θ), at t = 0. (b) Let U = R n and let v be the constant vector field: c i / x i. Show that the curve t R a + t(c 1,..., c n ) is the unique integral curve of v passing through a R n at t = 0. (c) Let U = R n and let v be the vector field, x i / x i. Show that the curve t=0 t R e t (a 1,..., a n ) is the unique integral curve of v passing through a at t = 0. 4. Let U be an open subset of R n and F : U R U a C mapping. The family of mappings f t : U U, f t (x) = F (x, t) is said to be a one-parameter group of diffeomorphisms of U if f 0 is the identity map and f s f t = f s+t for all s and t. (Note that f t = ft 1, so each of the f t s is a diffeomorphism.) Show that the following are one-parameter groups of diffeomorphisms: (a) f t : R R, (b) f t : R R, f t (x) = x + t f t (x) = e t x (c) f t : R 2 R 2, f t (x, y) = (cos t x sin t y, sin t x + cos t y) 5. Let A : R n R n be a linear mapping. Show that the series exp ta = I + ta + t2 2! A2 + t3 3! A3 + converges and defines a one-parameter group of diffeomorphisms of R n. 5

6. (a) What are the infinitesimal generators of the one-parameter groups in exercise 13? (b) Show that the infinitesimal generator of the one-parameter group in exercise 14 is the vector field ai,j x j x i where [a i,j ] is the defining matrix of A. 6