Math 600 Day 1: Review of advanced Calculus

Similar documents
Math 600 Day 2: Review of advanced Calculus

REVIEW OF DIFFERENTIAL CALCULUS

Math 600 Day 5: Sard s Theorem

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

25. Chain Rule. Now, f is a function of t only. Expand by multiplication:

VANDERBILT UNIVERSITY. MATH 2300 MULTIVARIABLE CALCULUS Practice Test 1 Solutions

THE INVERSE FUNCTION THEOREM

MA102: Multivariable Calculus

Course 224: Geometry - Continuity and Differentiability

Math 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0).

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

How to Use Calculus Like a Physicist

Chain Rule. MATH 311, Calculus III. J. Robert Buchanan. Spring Department of Mathematics

Math 291-2: Final Exam Solutions Northwestern University, Winter 2016

M311 Functions of Several Variables. CHAPTER 1. Continuity CHAPTER 2. The Bolzano Weierstrass Theorem and Compact Sets CHAPTER 3.

Math 201 Handout 1. Rich Schwartz. September 6, 2006

Lecture 10. Econ August 21

MAT 257, Handout 13: December 5-7, 2011.

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

Math 421, Homework #9 Solutions

Math Refresher - Calculus

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

Econ Slides from Lecture 10

In view of (31), the second of these is equal to the identity I on E m, while this, in view of (30), implies that the first can be written

Midterm 1 Solutions Thursday, February 26

Math 134 Exam 2 November 5, 2009

MATH The Chain Rule Fall 2016 A vector function of a vector variable is a function F: R n R m. In practice, if x 1, x n is the input,

Implicit Functions, Curves and Surfaces

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

Selected Solutions. where cl(ω) are the cluster points of Ω and Ω are the set of boundary points.

Section 4.2. Types of Differentiation

Analysis II: The Implicit and Inverse Function Theorems

21-256: Partial differentiation

7. Let X be a (general, abstract) metric space which is sequentially compact. Prove X must be complete.

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

Course Summary Math 211

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

The Contraction Mapping Theorem and the Implicit and Inverse Function Theorems

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

Definition 1.2. Let p R n be a point and v R n be a non-zero vector. The line through p in direction v is the set

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.

The Inverse Function Theorem 1

The method of stationary phase

Lecture Notes on Metric Spaces

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Math 207 Honors Calculus III Final Exam Solutions

Partial Derivatives Formulas. KristaKingMath.com

Multivariable Calculus

i c Robert C. Gunning

DEVELOPMENT OF MORSE THEORY

Introduction to Topology

MATH 353 LECTURE NOTES: WEEK 1 FIRST ORDER ODES

SMSTC (2017/18) Geometry and Topology 2.

We denote the derivative at x by DF (x) = L. With respect to the standard bases of R n and R m, DF (x) is simply the matrix of partial derivatives,

NOTES ON MULTIVARIABLE CALCULUS: DIFFERENTIAL CALCULUS

Math 110: Worksheet 1 Solutions

Solutions Final Exam May. 14, 2014

Math 5BI: Problem Set 6 Gradient dynamical systems

Multivariable Calculus and Matrix Algebra-Summer 2017

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

Lecture 7 - Separable Equations

INVERSE FUNCTION THEOREM and SURFACES IN R n

Generalization to inequality constrained problem. Maximize

Differentiation in higher dimensions

1 Functions of Several Variables Some Examples Level Curves / Contours Functions of More Variables... 6

B553 Lecture 1: Calculus Review

Partial Derivatives. w = f(x, y, z).

Q You mentioned that in complex analysis we study analytic functions, or, in another name, holomorphic functions. Pray tell me, what are they?

Review for the First Midterm Exam

Several variables. x 1 x 2. x n

Brief introduction to groups and group theory

Contents. 2 Partial Derivatives. 2.1 Limits and Continuity. Calculus III (part 2): Partial Derivatives (by Evan Dummit, 2017, v. 2.

Math Reading assignment for Chapter 1: Study Sections 1.1 and 1.2.

Derivatives and Integrals

Problem 1A. Use residues to compute. dx x

Problem List MATH 5143 Fall, 2013

Chapter 3: Theory Review: Solutions Math 308 F Spring 2015

SARD S THEOREM ALEX WRIGHT

DEPARTMENT OF MATHEMATICS AND STATISTICS UNIVERSITY OF MASSACHUSETTS. MATH 233 SOME SOLUTIONS TO EXAM 2 Fall 2018

Calculus 2502A - Advanced Calculus I Fall : Local minima and maxima

2. Complex Analytic Functions

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

Math 2a Prac Lectures on Differential Equations

Math 341: Convex Geometry. Xi Chen

MATH 205C: STATIONARY PHASE LEMMA

MTH4101 CALCULUS II REVISION NOTES. 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) ax 2 + bx + c = 0. x = b ± b 2 4ac 2a. i = 1.

The Contraction Mapping Theorem and the Implicit Function Theorem

Week 4: Differentiation for Functions of Several Variables

Calculus - II Multivariable Calculus. M.Thamban Nair. Department of Mathematics Indian Institute of Technology Madras

3 Applications of partial differentiation

Mathematical Analysis Outline. William G. Faris

Analysis/Calculus Review Day 3

Chapter 3. Differentiable Mappings. 1. Differentiable Mappings

X. Linearization and Newton s Method

Let X be a topological space. We want it to look locally like C. So we make the following definition.

Lecture 6: Contraction mapping, inverse and implicit function theorems

The Borsuk Ulam Theorem

1. Continuous Functions between Euclidean spaces

Math 111: Calculus. David Perkinson

Higher order derivative

Transcription:

Math 600 Day 1: Review of advanced Calculus Ryan Blair University of Pennsylvania Thursday September 8, 2010 Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 1 / 46

Outline 1 Differentiation Chain Rule Partial Derivatives Critical Points Inverse Function Theorem The Implicit Function Theorem Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 2 / 46

Outline Differentiation 1 Differentiation Chain Rule Partial Derivatives Critical Points Inverse Function Theorem The Implicit Function Theorem Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 3 / 46

Definition A function f : R m R n is said to be differentiable at the point x 0 R m if there is a linear map A : R m R n such that lim h 0 f (x 0 + h) f (x 0 ) A(h) h = 0. The linear map A is called the derivative of f at x 0 and written as either f (x 0 ) or as df x0. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 4 / 46

Chain Rule Theorem (Chain Rule) Let R m f R n g R p with x 0 f y 0 g z 0. Suppose f is differentiable at x 0 with derivative f (x 0 ) and that g is differentiable at y 0 with derivative g (y 0 ). Then the composition g f is differentiable at x 0 with derivative. (g f ) (x 0 ) = g (y 0 )f (x 0 ) Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 5 / 46

Chain Rule Proof of the Chain Rule. In an intuitively taught calculus course, the truth of the chain rule is sometimes suggested by multiplying fractions : dz dx = dz dy dy dx. This argument comes to grief when nonzero changes in x produce zero changes in y. The simple finesse is to avoid fractions, as follows. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 6 / 46

Chain Rule Without loss of generality, and for ease of notation, we will assume that the points x 0 ǫr m, y 0 ǫr n and z 0 ǫr p are all located at their respective origins. We let L = f (x 0 ) and M = g (y 0 ). Then differentiability of f and g at these points means that (f (x) L(x)) x 0 as x 0, and We must show that (g(y) M(y)) y (g f (x) M L(x)) x 0 as y 0. 0 as x 0. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 7 / 46

Chain Rule Using the differentiability of f and g at their origins, we have that for x sufficiently small. Then dividing by x, we get gf (x) ML(x) = gf (x) Mf (x) + Mf (x) ML(x) gf (x) Mf (x) + M f (x) L(x) < ε f (x) + M ε x gf (x) ML(x) x f (x) < ε + M ε x. We must show that this is small when x is small, and the issue is clearly to show that remains bounded. f (x) x Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 8 / 46

Chain Rule But, f (x) x L(x) x + f (x) L(x), x and the first term on the right is bounded by L while the second term goes to 0 as x 0. f (x) It follows that x remains bounded as x 0, and this completes the proof of the chain rule. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 9 / 46

Partial Derivatives Differentiation Partial Derivatives Suppose f : R m R n. Then we can write f (x) = (f 1 (x 1,x 2,...,x m ),f 2 (x 1,x 2,...,x m ),...,f n (x 1,x 2,...,x m )), and consider the usual partial derivatives f i x j. If f is differentiable at x 0, then all of the partial derivatives f i x j exist at x 0, and the derivative f (x 0 ) is the linear map corresponding to the n m matrix of partial derivatives. The converse is false, that is, the existence of partial derivatives at a point does not imply that the function is differentiable there. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 10 / 46

Partial Derivatives Definition Let L(R m, R n ) denote the set of all linear maps of R m into R n. This set is a vector space of dimension mn whose elements can be represented by n m matrices. Definition Let U be an open set in R m and f : U R n a differentiable map. Since the derivative f (x) at each point x of U is a linear map of R m R n, we can think of f as a map f : U L(R m, R n ). We call f the derivative of f. Definition Let U be an open subset of R m. If f : U R n is differentiable and f : U L(R m, R n ) is continuous, then we say that f is continuously differentiable, and write f ǫc 1. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 11 / 46

Partial Derivatives Theorem Let U be an open set in R m and let f : U R n. Then f is continuously differentiable if and only if all of the partial derivatives f i x j exist and are continuous on U. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 12 / 46

Partial Derivatives Simple Fact:Let f be a differentiable real-valued function defined on an open set U in R m. Suppose that f has a local maximum or local minimum at a point x 0 in U. Then f (x 0 ) = 0. Simple Fact: Let U be a connected open set in R m and f : U R n a differentiable map such that f (x) = 0 for every xǫu. Then f is constant on U. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 13 / 46

Partial Derivatives Theorem Let U be an open set in R m and let f : U R be a function such that all partial derivatives of orders one and two exist and are continuous on U. Then 2 f = 2 f x i x j x j x i for all 1 i,j m. In other words, the order of differentiation in mixed partials is irrelevant. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 14 / 46

Partial Derivatives Remark If all partial derivatives of orders n are continuous, then the order of differentiation in them is irrelevant. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 15 / 46

Partial Derivatives Functions with Preassigned Partial Derivatives Let U be an open set in R m and f : U R a function of class C 2 (remember this means that all partial derivatives of orders one and two exist and are continuous). We know that for all 1 i,j m. 2 f = 2 f x i x j x j x i Now we run this story in reverse, and imagine that we are seeking a function f : U R of class C 2, where U is, for simplicity, an open set in the plane R 2. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 16 / 46

Partial Derivatives We are given two functions r and s : U R of class C 1 such that If f exists, then and f x = r and f y = s. 2 f y x = f y x = r y 2 f x y = f x y = s x hence by equality of mixed partials, we ll have r y = s x. So if we want to find f, we d better make sure that. r y = s x. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 17 / 46

Partial Derivatives But is this enough to guarantee that f exists? Surprisingly, the answer is, Sometimes yes and sometimes no. We will see that it depends on the topology of the domain U on which these functions are defined. This influence of the topology of a domain on the behavior of functions defined there is a theme that will be repeated throughout the course. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 18 / 46

Partial Derivatives Theorem Let r and s : R 2 R be C 1 functions such that r exists a C 2 function f : R 2 R such that f x y = s x = r and f y = s.. Then there Remark If two such functions f 1 and f 2 exist, then their difference f 1 f 2 is a constant, as an immediate consequence of the mean value theorem. Example Let U = R 2 (0,0). Let r(x,y) = y and s(x,y) = x.then x 2 +y 2 x 2 +y 2 r y = s f f x, yet there is no function f : U R such that x = r and y = s. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 19 / 46

Partial Derivatives Differentiating under the integral sign The following lemma will be used in proving the theorem. Lemma Suppose f (x,t) is C 1 for xǫr 1 and tǫ[0,1]. Define F(x) = 1 t=0 f (x,t)dt. Then F is of class C 1 and F (x) = 1 t=0 f (x,t) x dt. The proof is an application of the mean value theorem. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 20 / 46

Partial Derivatives There are various generalizations of this lemma, all proven similarly. For example, we can replace xǫr 1 by (x,y)ǫr 2, define F(x,y) = f (x,y,t)dt and conclude that F(x,y) x = 1 t=0 f (x,y,t) dt. x We are ready to prove our theorem, and restate it for convenience. Theorem Let r,s : R 2 R be C 1 functions such that r C 2 function f : R 2 R such that f x y = s x = r and f y = s.. Then there exists a Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 21 / 46

Partial Derivatives Proof:First suppose we are given f (x, y) with f (0, 0) = 0. Define g(t) = f (tx,ty), and note that, by the chain rule, g (t) = f f (tx,ty)x + x y (tx,ty)y. Then f (x,y) = g(1) = 1 t=0 g (t)dt = 1 t=0 f f (tx,ty)x + x y (tx,ty)ydt. Therefore, to find a function f (x,y) such that f x should define f by f (x,y) = and aim to show that f x 1 t=0 = r and f y r(tx,ty)x + s(tx,ty)ydt, = r and f y = s. = s, we Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 22 / 46

Partial Derivatives Given f (x,y) = 1 t=0 r(tx,ty)x + s(tx,ty)ydt, we differentiate under the integral sign, using our lemma: f (x,y) x = 1 t=0 r(tx,ty) + r s (tx,ty)tx + x x (tx,ty)tydt, f (x,y) x = 1 t=0 Now define h(t) = r(tx, ty) and note that r(tx,ty) + r r (tx,ty)tx + x y (tx,ty)tydt. h (t) = r r (tx,ty)x + x y (tx,ty)y. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 23 / 46

Partial Derivatives Thus, Likewise, f (x,y) y f (x,y) x = = 1 t=0 1 t=0 h(t) + th (t)dt (th(t)) dt h(1) = r(x,y). = s(x,y), and our theorem is proved. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 24 / 46

Critical points Differentiation Critical Points Let U be an open set in the plane R 2, and let f : U R be a real valued function on U, all of whose first and second partial derivatives exist and are continuous on U. In such a case, we say that f is of class C 2 on U. We know that if f has a local maximum or minimum at a point (x 0,y 0 ) of U, then the first partials f f x and y are both zero at (x 0,y 0 ). Searching for such points, we call (x 0,y 0 ) a critical point of f if f x are both zero at (x 0,y 0 ), and want to learn whether (x 0,y 0 ) is a local maximum or minimum point, a saddle point, or perhaps something more exotic. and f y Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 25 / 46

Critical Points Models: f (x,y) = x2 y2 has a local maximum at (0,0) f (x,y) = x2 + y2 has a local minimum at (0,0) f (x,y) = x2 y2 has a saddle point at (0,0). The issue hinges upon consideration of the Hessian matrix of second partial derivatives at the point (x 0,y 0 ): ( 2 f x 2 2 f y x 2 f x y 2 f y 2 ) We know from equality of mixed partials that this matrix is symmetric. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 26 / 46

Critical Points Theorem Suppose that (x 0,y 0 ) is a critical point of f, and let H denote the Hessian of f at (x 0,y 0 ). 1 If det(h) > 0 and both diagonal terms are > 0, then f has a local minimum at (x 0,y 0 ). 2 If det(h) > 0 and both diagonal terms are < 0, then f has a local maximum at (x 0,y 0 ). 3 If det(h) < 0, then (x 0,y 0 ) is a saddle point of f. 4 If det(h) = 0, the test is inconclusive. 5 If f has a local minimum or local maximum at f, then det(h) 0. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 27 / 46

Critical Points Definition Let U be an open set in /R 2 and f : U R a real valued function on U of class C 2. Let (x 0,y 0 ) be a critical point of f, and let H be the Hessian matrix of second partials of f, evaluated at (x 0,y 0 ). Then (x 0,y 0 ) is called a nondegenerate critical point if det(h) 0, and a degenerate critical point if det(h) = 0. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 28 / 46

Inverse Function Theorem Inverse Function Theorem Theorem (Inverse Function Theorem) Let f : R n R n be continuously differentiable on an open set containing a, with nonsingular derivative df a. Then there exists an open set V containing a and an open set W containing f (a), such that f : V W is one-one and onto, and its inverse f 1 : W V is also differentiable. Furthermore, d(f 1 )f (a) = (df a ) 1. Example The mapping f : R 2 R 2 given by f (x,y) = (e x cos(y),e x sin(y)) shows that in R 2, unlike R 1, the derivative of f can be nonsingular at each point without f being a diffeomorphism on all of R 2. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 29 / 46

Inverse Function Theorem Proof of the Inverse Function Theorem. Following the map f : R n R n by the linear transformation (df a ) 1 makes the derivative at a the identity, so we assume this from the start:df a = I. Since lim h 0 f (a + h) f (a) df a (h) h = 0, with df a (h) = h, we can not have f (a + h) = f (a) for nonzero h arbitrarily close to 0. Hence, there is a closed rectangle U centered at a with (1) f (x) f (a) if xǫu and x a. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 30 / 46

Inverse Function Theorem Since f is C 1 on an open set containing a, we can assume (2) df x is nonsingular for xǫu, (3) f i x j (x) f i x j (a) < 1 2n 2 for all xǫu and all i,j. Condition (3) will force f to be one-to-one on U. To that end, we first state and prove Lemma Let A be a rectangle in R n, and g : A R n of class C 1. Suppose that g i x j M at all points of A. Then g(x) g(u) n 2 M x u for all x, uǫa. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 31 / 46

Inverse Function Theorem Proof of Lemma. Going from u to x by changing one coordinate at a time, and applying the MVT at each step, we get Hence, as claimed. g i (x) g i (u) Σ n j=1 x j u j M nm x u. g(x) g(u) Σ n i=1 g i (x) g i (u) n 2 M x u, Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 32 / 46

Inverse Function Theorem Now apply this lemma to the function g(x) = f (x) x, and use (3) f i x j (x) f i x j (a) < 1 2n 2 for all xǫu and all i,j, which implies that g i x j (x) g i x j (a) < 1 2n 2. Now g i x j (a) = 0, and hence by the Lemma we get g(x) g(u) n 2 ( 1 2n 2 x u = 1 x u. 2 Thus, (f (x) x) (f (u) u) 1 2 x u. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 33 / 46

Inverse Function Theorem Hence, using the triangle inequality, we get So, x u f (x) f (u) (f (x) x) (f (u) u) 1 x u. 2 (4) f (x) f (u) 1 2 x u, for all x,uǫu, implying that f is one-to-one on U, as claimed earlier. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 34 / 46

Inverse Function Theorem Now f ( U) is a compact set which does not contain f (a), since f is one-to-one on U. Let d = distance from f (a) to f ( U). Let W = {y : y f (a) < d 2 } = open neighborhood of f (a). Thus, if yǫw and xǫ U, we have (5) y f (a) < y f (x). Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 35 / 46

Inverse Function Theorem CLAIM. For any yǫw, there is a unique xǫu with f (x) = y. Proof. Fix y ǫw and consider the real-valued function g : U R defined by g(x) = y f (x) 2 = Σ n i=1(y i f (x i )) 2. Since g is continuous, it has a minimum value on U. By (5) above, this min can not occur on U. Say it occurs at xǫint(u). Then g x j (x) = 0for all j. That is, for all j. Σ n i=12(y i f i (x))( f i x j (x)) = 0 But the matrix ( f i x j (x)) is invertible. Hence y i f i (x) = 0 for all i, that is, y = f (x). This x is unique, since f is one-to-one on U. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 36 / 46

Inverse Function Theorem Now let V = int(u) f 1 (W ). By the previous claim, f : V W is one-to-one and onto. Let f 1 : W V be its inverse. Then we rewrite (4) as (6) f 1 (y) f 1 (y ) 2 y y, showing that f 1 is continuous. It remains to show that f 1 is differentiable. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 37 / 46

Inverse Function Theorem Proof that f 1 : W V is differentiable. Let xǫv, and let y = f (x). Let L = df x, which we already know is nonsingular. We will show f 1 is differentiable at y with d(f 1 ) y = L 1. Write f (x ) = f (x) + L(x x) + φ(x x), with Lim x x φ(x x) x x = 0. Then L 1 (f (x ) f (x)) = (x x) + L 1φ(x x), which we rewrite as L 1 (y y) = f 1 (y ) f 1 (y) + L 1 φ(f 1 (y ) f 1 (y)), or f 1 (y ) = f 1 (y) + L 1 (y y) L 1 φ(f 1 (y ) f 1 (y)). Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 38 / 46

Inverse Function Theorem To show that f 1 is differentiable at y with d(f 1 ) y = L 1, we must show that L 1 φ(f 1 (y ) f 1 (y)) Lim y y y = 0. y Since L 1 is linear, it is sufficient to show that Lim y y φ(f 1 (y ) f 1 (y)) y y = 0. Now write the fraction φ(f 1 (y ) f 1 (y)) y y as the product of the two fractions φ(f 1 (y ) f 1 (y)) (f 1 (y ) f 1 (y)) and (f 1 (y ) f 1 (y)) y y. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 39 / 46

Inverse Function Theorem We must show that the product of these two fractions goes to zero as y y. Since f 1 is continuous, y y implies x = f 1 (y ) x = f 1 (y). The first fraction φ(f 1 (y ) f 1 (y)) can be rewritten as φ(x x) (f 1 (y ) f 1 (y)) x x, and this 0 as x x since f is differentiable at x. By (6), the second fraction (f 1 (y ) f 1 (y)) y y 2. Hence the product of the two fractions 0 as y y, completing the proof that f 1 is differentiable at y with derivative d(f 1 ) y = L 1 = (df x ) 1, and with it the proof of the Inverse Function Theorem. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 40 / 46

The Implicit Function Theorem The Implicit Function Theorem In calculus, we learn that the equation f (x,y) = x 2 + y 2 = 1 can be regarded as implicitly defining y as a function of x, y = 1 x 2 or y = 1 x 2. We also learn that we can compute the derivative dy dx without actually solving for y. Just regard y as a function of x, write y = y(x), and then the equation f (x,y(x)) = 1 can be differentiated with respect to x by the chain rule. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 41 / 46

The Implicit Function Theorem Doing this, we get and hence f x + ( f y )(dy dx ) = 0, f dy dx = x f y = 2x 2y. There are some subtleties: we can not solve for y as a function of x near the points (l,0) and ( 1,0). The implicit function theorem handles these subtleties, and we begin with the simplest case. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 42 / 46

The Implicit Function Theorem Theorem (Implicit function theorem) Let f : R 2 R be a C 1 function defined on a neighborhood of (a,b), with f (a,b) = c. Suppose that f y (a,b) 0. Then there is a C 1 function g : R R defined on a neighborhood of a such that g(a) = b and such that f (x,g(x)) = c for all x in that neighborhood. Proof. Define a C 1 function F : R 2 R 2 on the given neighborhood of (a,b) by F(x,y) = (x,f (x,y)). The derivative F (a,b) is nonsingular because it is represented by a 2 2 matrix with determinant f y (a,b). Hence, by the Inverse Function Theorem, F is a C 1 function with C 1 inverse from a neighborhood U of (a,b) to a neighborhood V of F(a,b) = (a,c). Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 43 / 46

The Implicit Function Theorem Let H : V U be the inverse C 1 map. Since F(x,y) = (x,f (x,y)), we have H(x, z) = (x, h(x, z)). If we define g(x) = h(x, c) on a neighborhod of x, then F(x,g(x)) = F(x,h(x,c)) = FH(x,c) = (x,c), so as desired. f (x,g(x)) = c, Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 44 / 46

The Implicit Function Theorem The general case is no more difficult to prove, and we style the notation so that its statement looks almost the same as the statement of its prototype above: x = (x 1,x 2,...,x m )ǫr m y = (y 1,y 2,...,y n )ǫr n z = (z 1,z 2,...,z n )ǫr n, and the (i,j) entry of the n n matrix f y (a,b) is the partial derivative f i y j (a,b). Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 45 / 46

The Implicit Function Theorem Theorem (Implicit function theorem (general case)) Let f : R m R n R n be a C 1 function defined on a neighborhood of (a,b), with f (a,b) = c. Suppose that the n n matrix f y (a,b) is nonsingular. Then there is a C 1 function g : R m R n defined on a neighborhood of a such that g(a) = b and such that f (x, g(x)) = c for all x in that neighborhood. Ryan Blair (U Penn) Math 600 Day 1: Review of advanced CalculusThursday September 8, 2010 46 / 46