Chapter -1: Di erential Calculus and Regular Surfaces

Similar documents
Inverse and Implicit Mapping Theorems (Sections III.3-III.4)

SMSTC (2017/18) Geometry and Topology 2.

BROUWER FIXED POINT THEOREM. Contents 1. Introduction 1 2. Preliminaries 1 3. Brouwer fixed point theorem 3 Acknowledgments 8 References 8

Math Advanced Calculus II

February 4, 2019 LECTURE 4: THE DERIVATIVE.

LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.

Analysis II: The Implicit and Inverse Function Theorems

INVERSE FUNCTION THEOREM and SURFACES IN R n

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

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

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

STOKES THEOREM ON MANIFOLDS

Course Summary Math 211

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

The theory of manifolds Lecture 3

Implicit Functions, Curves and Surfaces

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

Changing coordinates to adapt to a map of constant rank

Math 396. Bijectivity vs. isomorphism

Tangent spaces, normals and extrema

10. Smooth Varieties. 82 Andreas Gathmann

II. DIFFERENTIABLE MANIFOLDS. Washington Mio CENTER FOR APPLIED VISION AND IMAGING SCIENCES

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

Differentiation. f(x + h) f(x) Lh = L.

A f = A f (x)dx, 55 M F ds = M F,T ds, 204 M F N dv n 1, 199 !, 197. M M F,N ds = M F ds, 199 (Δ,')! = '(Δ)!, 187

Math 114: Course Summary

1 Differentiability at a point

The theory of manifolds Lecture 2

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS

SARD S THEOREM ALEX WRIGHT

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)

Appendix B: Multivariable Calculus

NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n

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

Vectors. January 13, 2013

14 Divergence, flux, Laplacian

Surfaces JWR. February 13, 2014

Note: Every graph is a level set (why?). But not every level set is a graph. Graphs must pass the vertical line test. (Level sets may or may not.

Lecture 9. Econ August 20

CURRENT MATERIAL: Vector Calculus.

Lie Matrix Groups: The Flip Transpose Group

Chapter 3. Differentiable Mappings. 1. Differentiable Mappings

THE JORDAN-BROUWER SEPARATION THEOREM

Tensor Analysis in Euclidean Space

Econ Slides from Lecture 10

Warped Products. by Peter Petersen. We shall de ne as few concepts as possible. A tangent vector always has the local coordinate expansion

Math 205C - Topology Midterm

Analysis-3 lecture schemes

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.

Defn 3.1: An n-manifold, M, is a topological space with the following properties:

Major Ideas in Calc 3 / Exam Review Topics

Several variables. x 1 x 2. x n

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS

INTRODUCTION TO ALGEBRAIC GEOMETRY

Mo, 12/03: Review Tu, 12/04: 9:40-10:30, AEB 340, study session

FIXED POINT METHODS IN NONLINEAR ANALYSIS

It is convenient to introduce some notation for this type of problems. I will write this as. max u (x 1 ; x 2 ) subj. to. p 1 x 1 + p 2 x 2 m ;

Outline of the course

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim

Linear Algebra and Robot Modeling

LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS

Lecture 10. Econ August 21

Answers in blue. If you have questions or spot an error, let me know. 1. Find all matrices that commute with A =. 4 3

4.7 The Levi-Civita connection and parallel transport

Lecture 6: Contraction mapping, inverse and implicit function theorems

NOTES ON MULTIVARIABLE CALCULUS: DIFFERENTIAL CALCULUS

The Kuhn-Tucker Problem

CHAPTER 3 SUBMANIFOLDS

Multivariate Differentiation 1

Lecture 2: Review of Prerequisites. Table of contents

A primer on matrices

1 Differentiable manifolds and smooth maps

Multivariable Calculus Notes. Faraad Armwood. Fall: Chapter 1: Vectors, Dot Product, Cross Product, Planes, Cylindrical & Spherical Coordinates

Differential Forms. Introduction

REVIEW OF DIFFERENTIAL CALCULUS

Corrections to the First Printing: Chapter 6. This list includes corrections and clarifications through November 6, 1999.

DEVELOPMENT OF MORSE THEORY

i c Robert C. Gunning

DIFFERENTIAL GEOMETRY Multivariable Calculus, a refresher

Introduction to Linear Algebra. Tyrone L. Vincent

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves

The Derivative. Appendix B. B.1 The Derivative of f. Mappings from IR to IR

M4P52 Manifolds, 2016 Problem Sheet 1

f(x, y) = 1 2 x y2 xy 3

Multivariable Calculus

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

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

0 Sets and Induction. Sets

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Math 291-2: Lecture Notes Northwestern University, Winter 2016

A Note on Two Different Types of Matrices and Their Applications

Affine Connections: Part 2

Dot Products, Transposes, and Orthogonal Projections

2. Intersection Multiplicities

Algebraic Topology Homework 4 Solutions

2 Lecture Defining Optimization with Equality Constraints

The Implicit Function Theorem 1

Transcription:

Chapter -1: Di erential Calculus and Regular Surfaces Peter Perry August 2008 Contents 1 Introduction 1 2 The Derivative as a Linear Map 2 3 The Big Theorems of Di erential Calculus 4 3.1 The Chain Rule............................ 5 3.2 The Inverse Function Theorem................... 5 3.3 The Implicit Function Theorem................... 5 4 Regular Submanifolds of R n 8 1 Introduction These notes review some basic ideas of di erential calculus and de ne the notion of a regular submanifold of R n. Sources include chapters two and 5.1 of Michael Spivak s (strongly recommended) book, Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus and chapter 3 of Manfredo do Carmo s book Di erential Forms and Applications. These notes draw freely on both of these texts (some proofs are taken almost verbatim from the references), and the reader is strongly urged to go to the originals for a more thoroughgoing treatment of these ideas! I ve titled these notes Chapter -1 because they logically precede Chapter 0 of do Carmo s book Riemannian Geometry which is the primary text for this course. If f is a mapping from an open subset U of R n to R m, we ll write f : U R n! R m. We ll also write f(x) = (f 1 (x); f 2 (x); ; f m (x)) where f i, 1 i m, are the component functions of f and f i : U R n! R. We ll denote by @f i =@x j, or sometimes D j f i, the partial derivative of the ith 1

component function with respect to the jth independent variable: f i (x + he j ) f(x) (D j f i ) (x) = : h!0 h We ll denote by I the identity matrix (acting on R k where k is understood in context) and by Id the identity function acting from R n to itself. The notation hv; wi denotes the inner (dot) product of vectors v and w belonging to R n. If a 2 R n and b 2 R m, then (a; b) denotes the corresponding element of R n R m. Finally, if A : R m! R p and B : R n! R m, AB denotes the composition of the linear maps, while if f : U R n! R m and g : V R m! R p with f(u) V, g f : U! R p is the composition of g with f. 2 The Derivative as a Linear Map A function f : U R n! R m is di erentiable at a 2 M if there is a linear mapping L : R n! R m with the property that kf(a + h) f(a) L(h)k = 0: h!0 khk The linear mapping L is called the di erential of f at a and is denoted df a or f 0 (a). If such a linear map L exists, it is unique. The a ne approximation to f at a is given by the mapping `(x) = f(a) + L(x a): Let s examine several cases of this de nition. Example 1 (one-variable calculus): Suppose I is an open interval on the real line, a 2 I, and f : I! R is a mapping. If there is a number b so that jf(a + h) f(a) bh)j = 0 h!0 jhj then b is called the derivative of f at a, denoted f 0 (a). The map h 7! bh is a linear map from R 1 to itself. The a ne function `(x) = f(a) + b(x a) gives the best a ne approximation to f near x = a. The graph of this function is the line tangent to the graph of f at (a; f(a)) Example 2 (tangent lines to parametric curves): Suppose I is an open interval, a 2 I, and : I! R n is a mapping. If there is a vector v 2 R n so that k(a + h) (a) hvk = 0 h!0 jhj then v is called the tangent vector to at a and is also denoted 0 (a). Note that the mapping h 7! hv is a linear mapping from R 1 to R n. The graph of the a ne function `(t) = (a) + v(t a) is the tangent line to at a. 2

Example 3 (tangent planes to the graph of a function): Suppose that U R 2 is open, that (x 0 ; y 0 ) 2 U, and that f : U! R. If there is a vector v = (v 1 ; v 2 ) 2 R 2 with the property that jf(x 0 + h 1 ; y 0 + h 2 ) f(x 0 ; y 0 ) (v 1 h 1 + v 2 h 2 )j h!0 khk (here we ve written h = (h 1 ; h 2 )), then (v 1 ; v 2 ) is the di erential (or gradient) of f and (x 0 ; y 0 ), and is denoted (rf) (x 0 ; y 0 ). Note that (v 1 h 1 + v 2 h 2 ) = hv; hi. The map h 7! hv; hi is a linear map from R 2 to R 1. The a ne function `(x; y) = f(x 0 ; y 0 ) + v 1 (x x 0 ) + v 2 (y y 0 ) gives the best a ne approximation to f near (x 0 ; y 0 ). The graph of this a ne function is the plane tangent to the graph of f at (x 0 ; y 0 ; f(x 0 ; y 0 )). Example 4 (the Jacobian matrix) Suppose that U R n is open, that a 2 U, and that f : U! R m. If there is an m n matrix A with the property that kf(a + h) f(x) Ahk R m h!0 khk R n then f is di erentiable at a, and the matrix A is called the Jacobian matrix of f at a, denoted df(a). Note that the mapping h 7! Ah is a linear mapping from R n to R m. The a ne mapping `(x) = f(a) + A(x a) is the best linear approximation to f near a. We can think of a function f : U R n! R m as f(x) = (f 1 (x); : : : ; f m (x)) for component functions f 1 ; : : : ; f m. Its Jacobian matrix is a matrix whose rows are the gradients of the component functions. The Jacobian matrix df(a) is the m n matrix given by @f @x 1 2 3 @f 1 @f 1 @f 1 2 3 (a) (a) (a) @x 1 @x 2 @x n (rf 1 )(a) @f 2 @f 2 @f 2 6 7 (a) (a) (a) df(a) = 4. 5 = @x 1 @x 2 @x n (rf m ) (a) 6.... 7 4 @f n @f n @f n 5 (a) (a) (a) @x 1 @x 2 @x m Multiplying df(a) by a vector h gives a vector whose entries are h(rf k ) (a); hi, the linear approximation to the change in f k due to a displacement h. The Jacobian matrix is the matrix of the linear mapping A with respect to the standard bases of R n and R m. An easy consequence of the derivative is that di erentiability implies continuity. Exercise 5 Prove that if f : U R n! R m is di erentiable at a 2 U, then f is continuous at a. = 0 3

Exercise 6 Prove that if f : U R n! R and f is di erentiable at a, then @f @x i (a) = h(rf) (a); e i i where e i is the ith basis vector in the usual basis of R n. To prove this, use the de nition of rf (a) as the di erential together with the de nition of the partial derivative as @f f(a + he i ) f(a) (a) = : @x i h!0 h Exercise 7 Prove the statement above that the di erentiable df(a) of a map from U R n to R m has rows consisting ot the gradients of the component functions f i. Exercise 8 Show that if f : U R n! R n, then tr (df(a)) is the divergence of f, de ned as nx @f i (div f)(x) = (x) @x i Exercise 9 Show that if f : U R 3! R 3, then the antisymmetric part of (df(a)) takes the form 0 0 v 3 v 2 1 @ v 3 0 v 1 A v 2 v 1 0 i=1 where v = (v 1 ; v 2 ; v 3 ) is r f (the curl of f). In what follows we will denote by f 0 (a) or df(a) the linear mapping T that occurs in the de nition of the derivative of f at a. If f : U R n! R m has continuous partial derivatives up to order k in U, we will write f 2 C k (U), and if such an f has continuous partial derivatives of all orders in U, we will write f 2 C 1 (U) and say that f is a smooth function. In this course we will deal almost exclusively with smooth functions. In the statements of theorems we will however impose the minimal smoothness hypotheses needed to make them work. 3 The Big Theorems of Di erential Calculus The big theorems of di erential calculus all concern the connection between the local properties of a di erentiable function and the properties of its linearization, the derivative. These are the chain rule, the inverse function theorem, and the implicit function theorem. 4

3.1 The Chain Rule Theorem 10 (Chain Rule) Suppose that f : U R n! R m and g : V R m! R p. Suppose that f(u) V and that a 2 U. Finally, suppose that f is di erentiable at a and that g is di erentiable at f(a). Then g f is di erentiable at a and (g f) 0 (a) = g 0 (f(a)) f 0 (a) where the denotes composition of linear maps. Inotherwords, the derivative of a composition is the composition of derivatives. Of course, if f and g are smooth functions, then the composition is also a smooth function. Exercise 11 Use the chain rule to prove the following formula. Suppose that : ( "; ")! R n, that f : U R n! R is di erentiable at (0), and that (0) 2 U. Prove that d dt (f ) (t) = h(rf) ((0)); 0 (0)i t=0 Show that if (t) = x 0 +te i where e i is the ith basis vector in the standard basis, then d dt (f ) (t) = @f (x 0 ): t=0 @x i 3.2 The Inverse Function Theorem Theorem 12 Let f : U R n! R n and suppose that f 0 (a) is nonsingular. There is a neighborhood V of a so that the map f : V! R n is invertible on f(v ). Moreover, the inverse f 1 is di erentiable and f 1 0 (a) = [f 0 (f(a))] 1 (1) Inotherwords, a di erentiable mapping with invertible derivative is locally invertible. We won t give a proof but refer the reader to any standard text on multivariate calculus. The idea is to establish the existence of an inverse by using the linear approximation to f and a contraction mapping argument. If the function f is smooth, it has a smooth inverse. Exercise 13 Assuming that f 1 is di erentiable, use the Chain Rule to prove (1). 3.3 The Implicit Function Theorem The implicit function theorem allows us to assert that the solution set of an equation of the form f(x) = 0 for certain nonlinear, di erentiable maps admits a local parameterization. As such it plays a fundamental role in di erential geometry. 5

Theorem 14 (Implicit Function Theorem) Suppose that U R n and V R m are open, and f : U V! R m is di erentiable at (a; b). Suppose further that the m m submatrix C = fd n+j f i (a; b)g 1i;jm is invertible. Then there is a neighborhood W of a and a function g : W! R m with g(a) = b so that f(x; g(x)) = f(a; b) for all x 2 W. Inotherwords, the set of (x; y) near (a; b) with f(x; y) = f(a; b) is a parameterized curve in R n+m parameterized locally by n parameters. The proof actually shows more, namely that the parameterized curve f(x; f(x)) : x 2 W g is the only curve (actually, n-dimensional submanifold) passing through (a; b) with this property. Proof. Without loss of generality we can assume that f(a; b) = 0 (replace f by f f(a; b)). De ne F : U V R n R m! R n R m by F (x; y) = (x; f(x; y)) The Jacobian matrix of F at (a; b) takes the form I 0 df (a; b) = M and so has full rank by hypothesis. It follows from the inverse function theorem that there is a neighborhood U 1 V 1 of (a; b) and a neighborhood U 2 V 2 of (a; 0) together with a di erentiable mapping h : U 2 V 2! U 1 V 1 with the property that F h = Id. The mapping h necessarily takes the form h(x; y) = (x; k(x; y)) for a di erentiable mapping k : U 2 V 2! V 1. We then compute so setting y = 0 we have F h (x; y) = (x; f(x; k(x; y))) = (x; y) f(x; k(x; 0)) = (x; 0): We can take g(x) = h(x; 0) and obtain the desired inverse function. Remark 15 The proof of the Implicit Function Theorem actually shows a bit more. The mapping h constructed there has the property that (f h)(x; y) = y for all (x; y) 2 U 1 V 1. We ll use this remark to prove a stronger version of the Implicit Function Theorem in what follows. To understand this theorem it is useful to consider the following linear model. Suppose that L : R n R m! R m is a linear map with matrix A = [B C] where 6

B is m n and C is m m. If C is invertible then we can parameterize ker A with n parameters. For x = (y; z) 2 R n R m with x 2 ker A, we have or By + Cz = 0 z = C 1 By which describes the kernel in terms of n parameters. Notice that in this situation, the matrix A has maximal rank (namely m). Thus, we can summarize the implicit function theorem as follows: if the kernel of the di erential can be described by n parameters, then the zero set of the di erentiable mapping can be described locally by n parameters. This paraphrase suggests a stronger version of the implicit function theorem which is in fact true. We ll change notation a bit from the previous version because we now assume that the di erential of the mapping F has rank k. Theorem 16 Suppose that f : U R n! R p is continuously di erentiable, that p n. and a 2 U. If f(a) = 0 and the p n matrix fd j f i (a)g 1jn;1ip has rank p, then there is an open set A U containing a and a di erentiable function h : A! R n with di erentiable inverse with the property that (f h) (x 1 ; ; x n ) = (x n p+1 ; ; x n ) : In particular, f = 0 on the image of the set A \ fx : x n p+1 = : : : = x n = 0g Proof. We can consider f as a function f : R n p R p! R p. Since the Jacobian has rank p, there is a set of indices 1 j 1 < < j p n so that the p p matrix formed from columns j 1 ; ; j p has full rank (i.e., is invertible). Let : R n! R n be a linear map (permutation) that maps x jk to x n p+k for 1 k p. The composition f then satis es the hypothesis of the Implicit Function Theorem, so we may de ne h = h where h is the function constructed in that proof for the function f. Now use Remark 15. Exercise 17 Let S n be the zero set of the function F (x) = jxj 2 1 where F : R n+1! R. Use the implicit function theorem to show that there is a neighborhood U R n containng 0 and a di erentiable map g : U! R with g(0) = 1 and F (x; g(x)) = 0. Also, compute the map g directly. Note that if we de ne f(x) = (x; g(x)) we obtain a local parameterization of the sphere S n near its north pole (0; : : : ; 0; 1). 7

4 Regular Submanifolds of R n The sphere S n is one of the simplest examples of a regular submanifold of R n it is implicitly de ned and, by Exercise 17, it can be locally parameterized by n parameters near any point p 2 S n. More generally: De nition 18 A subset M of R n is a regular submanifold of R n of dimension k if for each p 2 M, there exists a neighborhood V of p in R n, an open subset U of R k, and a map f from U onto V \ M such that: (i) f is a di erentiable homeomorphism, (ii) the di erential df (q) is injective for each q 2 U. In other words, M can be parameterized locally by k parameters. Familiar examples include smooth curves in R n (k = 1), hypersurfaces in R n (k = n 1), and Euclidean space itself (a cheat where k = n). As the example of the sphere clearly shows, there need not be a global parameterization of the submanifold and indeed there generally isn t. The pair (f ; U ) is called a local parameterization or a coordinate chart for M. The map f is called a coordinate map. Our primary interest is in smooth submanifolds of R n, where we require the maps f to be not simply di erentiable but also smooth, i.e., have derivatives of all orders. That is a smooth submanifold of R n is a regular submanifold of R n where the coordinate maps are smooth. In order to take the notion of smooth manifold a step further it is very, very useful to realize that smooth submanifolds of R n are an example of a larger class of objects that can also be de ned intrinsically. De nition 19 A k-dimensional di erentiable manifold is a set M together with a family of injective maps f : U! M of open sets U in R k into M such that: (1) [ f (U ) = M, and (2) For each pair (; ) with W := f (U ) \ f (U ) 6= ;, the sets f 1 (W ) and f 1 (W ) are open sets in Rn and the maps f 1 f and f 1 f are di erentiable. (3) The family f(u ; f )g is maximal relative to (1) and (2). Remark 20 The pair (U ; f ) with p 2 M is called a coordinate chart (or parameterization or coordinate system) for M near p, and f (U ) is called a coordinate neighborhood of p. A family f(u ; f )g satisfying (1) and (2) is caled a di erentiable structure on M. The maps f 1 f are called transition maps. Remark 21 Condition (3) is a technical condition and can be satis ed by taking the union of all families that satisfy (1) and (2). Before proceeding much further it would be nice to see that De nition 19 really is a generalization of De nition 18. 8

Theorem 22 Suppose that M is a k-dimensional smooth submanifold of R n. Then M is also a k-dimensional di erentiable manifold. Proof. We need to show that the transition maps are smooth. Consider a pair of coordinate charts (U ; f ) and (U ; f ) with W = f (U )\f (U ) nonempty. Since f and f are homeomorphisms the sets f (U ) and f (U ) are open and so W and its inverse images under f 1 and f 1 are open subsets of R k. To show that f 1 f : f 1 (W )! f 1 (W ) is a smooth map we will consider f 1. Pick a 2 U. The di erential df is injective and so its Jacobian matrix has maximal rank k, so that there are indices 1 i 1 < < i k n with the property that the k k matrix fd j f im (a) : 1 j; m kg is nonsingular. Now write (x; y) 2 R k R n k, denote by j 1 ; : : : ; j n k the indices from f1; : : : ; ng that don t belong to the set fi 1 ; : : : ; i k g, and de ne a new function F : U R n k! R n by F (x) = f (x) + (0; : : : ; x i1 ; 0; ; x ik ) (that is, the second right-hand term has zeros in the j 1 ; j 2 ; ; j k slots but x i1 ; ; x in k in the remaining ones), then a bit of thought shows that: (i) F satis es the hypothesis of the inverse function theorem and so has a smooth inverse F 1 in a neighborhood of f (x) in R n, and (ii) If z 2 M then F 1 (z) = f 1 (z). Since f (U ) M we can then write f 1 f = F 1 f which exhibits f 1 f as a composition of smooth maps. Next, we ll turn to implementing ideas of di erential calculus of smooth submanifolds of R n. 9