The Implicit Function Theorem for Lipschitz Functions and Applications. A Masters Thesis. presented to. the Faculty of the Graduate School

Size: px
Start display at page:

Download "The Implicit Function Theorem for Lipschitz Functions and Applications. A Masters Thesis. presented to. the Faculty of the Graduate School"

Transcription

1 The Implicit Function Theorem for Lipschitz Functions and Applications A Masters Thesis presented to the Faculty of the Graduate School University of Missouri In Partial Fulfillment of the Requirements for the Degree Master of Science by Michael Wuertz Dr. Marius Mitrea, Dissertation Supervisor MAY 2008

2 The undersigned, appointed by the Dean of the Graduate School, have examined the thesis entitled The Implicit Function Theorem for Lipschitz Functions and Applications presented by Michael Wuertz, a candidate for the degree of Master of Science in and hereby certify that in their opinion it is worthy of acceptance. Professor Marius Mitrea Professor Fritz Gesztesy Professor Steve Hofmann Professor Ioan Kosztin

3 Thanks to Professor Marius Mitrea, Courtney Bagge, Steven Wuertz, and Susan Wuertz

4 ACKNOWLEDGEMENTS It is a pleasure to thank Simona, Nick, Simon, and James for their special contribution. ii

5 Table of Contents ACKNOWLEDGEMENTS ii 1 Introduction 1 2 The Implicit and Inverse Function Theorems First Proof Using the Contraction Principle Second Proof Using the Invariance of Domain Theorem Lipschitz Functions 24 4 Rademacher s Theorem Almost Everywhere Differentiability of Lipschitz Functions Almost Everywhere Differentiability of Absolutely Continuous Functions Some Consequences of Rademacher s Theorem The Implicit Function Theorem for Lipschitz Functions 46 6 Lipschitz Domains General Considerations Some Toplogical Results Applications First Application Second Application An Application for the Classical Implicit Function Theorem Bibliography 77 iii

6 Chapter 1 Introduction A class of domains which plays an important role in the field of partial differential equations is the collection of all Lipschitz domains in R n. Recall that a function f : U R m, where U is a subset of R n, is called Lipschitz if { } f(x) f(y) Lip(f; U) := sup : (x, y) U U \ diag < (1.1) x y with Lip (f; U) called the Lipschitz constant of f in U. Next, a nonempty, proper open subset Ω of R n is called a Lipschitz domain if for every x 0 Ω there exist a new system of coordinates R n 1 R, which is isometric to the original one, along with an open upright cylinder C containing x 0, and a Lipschitz function ϕ : R n 1 R whose graph contains x 0 and is disjoint from the top and bottom lids of C, such that C Ω = C {(x, x n ) R n 1 R : x n = ϕ(x )}, (1.2) C Ω = C {(x, x n ) R n 1 R : x n > ϕ(x )}, (1.3) C (Ω) c = C {(x, x n ) R n 1 R : x n < ϕ(x )}. (1.4) Thus, informally speaking, Ω R n is a Lipschitz domain if in a neighborhood of any boundary point x 0, the surface Ω agrees (in a suitable sense) with the graph of a Lipschitz function ϕ : R n 1 R. Then the outward unit normal has an explicit formula in terms of ϕ namely, in the new system of coordinates, ν(x, ϕ(x )) = ( ϕ(x ), 1) 1 + ϕ(x ) 2, if (x, ϕ(x )) is near x 0, (1.5) where denotes the gradient with respect to x R n 1. The existence of ϕ at almost every point in R n 1 is a consequence of the celebrated Rademacher Theorem. What makes Lipschitz domains both a convenient and a resourceful environment for doing analysis is: (i) the fact that they are still retaining some of the most basic geometric properties of, say, the upper-half space (which, arguably, is the most standard type of domain studied in analysis), and (ii) the fact that this is a very large class, encompassing many irregular structures encountered in nature, such as polygonal domains, domains with corners and edges, etc. 1

7 To substantiate the claim made in (i), we wish to point to the existence of an outward unit normal a.e. on the boundary (as discussed above), the fact that the Divergence Theorem holds in Lipschitz domains, and the fact that the theory of Sobolev spaces in Lipschitz domains is virtually as rich as the one for the upper-half space. As regards (ii), it is illuminating to point out that, as opposed to the class of domains exhibiting corners and edges, the singularities in a Lipschitz domain are not necessarily isolated, and they can even accumulate. One of the main issues addressed in this thesis is determining geometrical criteria for deciding whether a given domain is Lipschitz.(1.6) As is well-known, if Ω R n is a bounded domain, then Ω is Lipschitz if and only if it satisfies a uniform cone property. This asserts that there exists an open, circular, truncated, one-component cone Γ with vertex at 0 R n such that for every x 0 Ω there exist r > 0 and a rotation R about the origin such that x + R(Γ) Ω, x B(x 0, r) Ω. (1.7) An open set Ω R n is called starlike with respect to x 0 Ω if I(x, x 0 ) Ω for all x Ω, where I(x, x 0 ) := the open segment with endpoint x and x 0. Call an open set Ω starlike with respect to a ball B Ω if Ω is starlike with respect to any point in B. One of our main results reads as follows: Theorem 1.1. Let Ω be a bounded, open, non-empty set which is starlike with respect to some ball. Then Ω is a Lipschitz domain. Q Ω P β 2

8 While this result appears to be folklore, no complete written proof has appeared as of now in the literature. Here we address this issue thoroughly and establish the aforementioned result by proceeding in two steps: Step I. If Ω R n is a bounded, open, non-empty set which is starlike with respect to a ball B Ω centered at the origin, then there exists a Lipschitz function ϕ : S n 1 (0, ), (1.8) where S n 1 is the unit sphere in R n centered at the origin, such that, in polar coordinates, Ω = { rω : ω S n 1, 0 r < ϕ(ω) }. (1.9) Step II. If Ω R n is as in (1.9), with ϕ as in (1.8) Lipschitz function, then Ω is a Lipschitz domain (in the sense of the earlier definition). Step I is of purely geometrical nature. At each vector ω S n 1 the function ϕ is defined where ϕ(ω) := the distance from the point in L ω Ω to the origin, (1.10) L ω := {rω : r > 0}. (1.11) The Lipschitz constant of ϕ then turns out to be controlled in terms of the radius of B, and the diameter of Ω. Parenthetically, let us point out that the converse of the claim in Step I also holds. That is, if Ω is as in (1.9) with ϕ as in (1.8) Lipschitz function, then Ω is a starlike domain with respect to some ball B Ω, centered as the origin. In contrast to the proof of Step I, the justification of Step II is analytical in nature. The goal is to show that, near every boundary point, the surface {ϕ(ω)ω : ω S n 1 } agrees with the graph of a real-valued Lipschitz function ψ (after a rigid relocation). Consider, as example, the point ϕ( e n )e n, corresponding to the south pole on S n 1. Careful inspection reveals that the goal just stated amounts to finding ψ : R n 1 R (1.12) such that, if x n = ψ(x ), then ( ) (x, x n ) ϕ (x, x n ) = (x, x n ). (1.13) 3

9 It is therefore natural to try to find the Lipschitz function ψ by solving (1.13) for x n as a function of x. To this end, it is convenient to rephrase (1.13) as where F (x, x n ) = 0, (x, x n ) near (0, ϕ( e n )), (1.14) ( ) (x F (x, x n ) := ϕ 2, x n ) x 2 x 2 (x n, (x, x n ) near (0, ϕ( e n )), (1.15), x n ) While the above reasoning strongly suggests using the Implicit Function Theorem in order to solve (7.10) for x n in terms of x, with x n (0 ) = ϕ( e n ), (1.16) there is one major problem in the implementation of this result. Specifically, in the classical formulation of the Implicit Function Theorem the function in question has to be of class C 1. In our case, since ϕ is Lipschitz, F given in (1.15) is only Lipschitz. This gives us the impetus to reconsider the scope of this basic result in the theory of functions of several real variables, and prove a suitable extension which is capable of handling the current situation. The extension of the Implicit Function Theorem to the class of Lipschitz functions which we establish in this thesis appears to be new, and will most surely prove useful in many other problems. To explain the genesis of this new result, let us first recall the standard form of the Implicit Function Theorem, as presented in virtually any textbook on Advanced Calculus. Specifically, we have: Theorem 1.2. The Implicit Function Theorem Let U be an open set in R m, x 0 U, V an open set in R n, y 0 V. Let F : U V R n be a continuous function such that: (α) F (x 0, y 0 ) = 0; (β) F is class C 1 in U V ; (γ) F y (x 0, y 0 ) is an invertible n n matrix. Then, there exist r > 0 and a function ϕ satisfying (I) ϕ : B(x 0, r) R n ; (II) ϕ is continuous on B(x 0, r), ϕ(x 0 ) = y 0 ; (III) F (x, ϕ(x)) = 0 for all x B(x 0, r); (IV) ϕ is unique with (I)-(III). In addition, ϕ is differentiable and ( F ) 1 (Dϕ)(x) = y (x, y) F (x, y). (1.17) x 4

10 There are several features of Theorem1.2 which stand out. Namely, it is assumed that: (i) Smoothness of F : the function F is of class C 1 (i.e., continuously differentiable in all variables collectively); (ii) Non-degeneracy of F : F y (x 0, y 0 ) is an invertible n n matrix; (iii) Regularity of ϕ: the function ϕ is of class C 1 ; (iv) Uniqueness of ϕ: the only function satisfying (I)-(III) above. Our result which extends the scope of Theorem 1.2 then reads: Theorem 1.3 (The Implicit Function Theorem for Lipschitz Functions). Let U m R m and U n R n open. Next fix a U m and b U n where U := U m U n. Consider F : U m U n R n (1.18) a Lipschitz such that F (a, b) = 0 (1.19) and with the property that there exists a constant K > 0 for which F (x, y 1 ) F (x, y 2 ) K y 1 y 2 for all (x, y j ) U where j = 1, (1.20) 2. Then there exist V m R m open, such that a V m, and a Lipschitz function ϕ : V m U n such that ϕ(a) = b, and {(x, y) V m U n : F (x, y) = 0} = {(x, ϕ(x)) : x V m }. (1.21) In particular, F (x, ϕ(x)) = 0, for all x V m. (1.22) It is of interest to draw a parallel between the features (i) (iv) of the classical formulation of the Implicit Function Theorem above and our version of this result, valid for Lipschitz functions. Concretely, properties (i) (iv) should be contrasted to the following features of Theorem 1.3: (i) Smoothness of F : the function F is Lipschitz in all variables collectively; (ii) Non-degeneracy of F : the function y F (x, y) is bi-lipschitz, uniformly in x; 5

11 (iii) Regularity of ϕ: the function ϕ is Lipschitz; (iv) Uniqueness of ϕ: the only function satisfying (1.21). As this analysis reveals, there are natural parallels between the statements and the conclusions in Theorem 1.2 and Theorem 1.3; heuristically speaking, the latter is a version of the former written by decreasing the amount of regularity assumed from C 1 to Lipschitz. Alas, this comparative analysis is misleading since there are fundamental differences in how the two theorems under discussion are proved. Indeed, while Lipschitz functions are differentiable almost everywhere (by the classical Rademacher Theorem mentioned earlier), the fact that these first-order partial derivatives are merely L functions, typically lacking continuity, renders the standard proof of the classical Implicit Function Theorem virtually useless in the more general context we are considering here. We are therefore forced to adopt a new approach, which makes more economical use of the weaker hypotheses we are adopting. Let us stress that, as already explained, the current extension of is not purely academical, but rather dictated by natural, practical considerations. One ingredient in the proof of Theorem 1.2, which has intrinsic interest, is the so-called Invariance of Domain Theorem, which is a topological result about homeomorphic subsets of Euclidean space R n. This states: Theorem 1.4 (Invariance of Domain Theorem). Let U be an open subset of R n and let f : U R n be an injective continuous function. Then V = f(u) is open and f : U V is a homeomorphism. In particular f 1 : V U is a continuous function. The theorem is due to L.E.J. Brouwer, who published it in 1912; see [1]. The proof uses tools of algebraic topology, notably Brouwer s Fixed Point Theorem. This is a very general and useful result. In fact, we show that it is possible to se it in order to provide a new proof of the Implicit Function Theorem along the line of Invariance of Domain Theorem = Inverse Function Theorem = Implicit Function Theorem. (1.23) The above is a summary of part of the arguments which go into the proof of Step II, stated near the bottom of page 3. Returning to that context, it is possible to check that the hypotheses of Theorem 1.2 are satisfied and, as a result, given x 0 Ω, there exists a Lipschitz function ψ : B R, with B a (n 1)-dimensional ball, (1.24) such that the graph of ψ agrees with Ω near x 0. While this is certainly in the spirit of condition (1.2), for the purpose of fully matching the conditions stipulated in the definition of a Lipschitz domain, we must extend the Lipschitz function ψ, originally defined in B, to the entire R n 1. To do so, we rely on the following abstract extension result (well-known to experts): 6

12 Theorem 1.5 (Extension of Lipschitz Functions). Let (X, d) be a metric space, and assume that A X is a given set and f : A R (1.25) is a Lipschitz function. That is, f satisfies { f(x) f(y) Lip(f; A) := sup d(x, y) Then there exists } : (x, y) A A \ diag <. (1.26) F : X R (1.27) such that F = f and F is Lipschitz with Lip(F ; X) = Lip(f; A). (1.28) A Let us momentarily digress for the purpose of explaining an interesting feature of the above result, which highlights the advantages of having such an extension result stated in the context of abstract metric spaces. Specifically, there holds: Corollary 1.6 (Extension of Hölder Functions). Let S R n be an arbitrary set and fix s (0, 1). Also, let f : S R (1.29) be a Hölder function of order s. That is, { } f(x) f(y) Hol s (f; S) := sup x y s : (x, y) S S \ diag <. (1.30) Then there exists F : R n R (1.31) such that F = f S and F is Hölder with Hol s (F ; R n ) = Hol s (f; S). (1.32) 7

13 Indeed, since for every s (0, 1), x z s ( s x y + y z ) x y s + y z s, for all x, y, z R(1.33) n, the space (S, d) with d(x, y) := x y s becomes a metric space. Since, in the context of (S, d), the function f satisfying (1.31) becomes Lipschitz, the conclusion in Corollary 1.6 follows from Theorem 1.5. Returning now to the mainstream discussion, having to do with the proof of Step II (on page 3), we can use Theorem 1.5 in order to ensure that (1.24) holds. In turn, this now guarantees that condition (1.2) in the definition of a Lipschitz domain has been fully checked. The next step would then, naturally, be to proceed to verify the remaining conditions in this definition, i.e., (1.3), (1.4). Instead of following this course, we choose to adopt a different point of view whose aim is to fully clarify the interrelationships amongst the conditions (1.3), (1.2), (1.4). The result we prove in this regard which is most directly relevant to the current discussion is as follows: Proposition 1.7. For a nonempty open set Ω R n which satisfies Ω = Ω, (1.34) there holds (1.2) = (1.3) and (1.4). (1.35) This is a purely topological result, which is quite useful whenever the task at hand is to show that a given domain is Lipschitz. In our situation (i.e., in the proof of Step II), given what we have proved up to this stage, and since for Ω as in (1.9) Ω = { ϕ(ω)ω : ω S n 1} = Ω, (1.36) (i.e., (1.34) holds), Proposition 1.7 can be employed to finish the proof of Step II. In turn, Step I and Step II conclude the proof of Theorem 1.1. In closing, we wish to point out that a suitable version of Theorem 1.1 can be used to actually fully characterize the class of bounded Lipschitz domains. More specifically, the following holds: Theorem 1.8. Let Ω be a bounded, open, non-empty set. Then Ω is a Lipschitz domain if and only if Ω is locally starlike with respect to balls. The latter condition means that for every x Ω there exists O R n open neighborhood of x, along with a ball B Ω O such that Ω O is starlike with respect to B. 8

14 Indeed, the implication = follows from (1.3)-(1.4), whereas the implication = can be established, without too much difficulty, using Theorem 1.1. We conclude with a brief outline of the contents of the chapters of this thesis. Chapter 2 is devoted to discussing the classical Implicit and Inverse Function Theorems. It is divided into two sections, the first of which contains a proof based on the Contraction Principle (Proposition 2.1). The actual Implicit Function Theorem is stated as Theorem 2.2. Subsequently, we addressed the Inverse Function Theorem, which appears as Theorem 2.3. The second section of Chapter 2 contains a new proof of the aforementioned theorems, based on the Invariance of Domain Theorem (Theorem 2.4). Chapter 3 contains a number of useful results about Lipschitz functions, including: (i) the fact that their distributional derivatives are in L (Proposition 3.1) and, (ii) conversely, if a distribution has a its gradient in L then this is given by a Lipschitz function (Proposition 3.2; see also Theorem 3.3); (iii) the fact that real-valued Lipschitz functions on arbitrary sets can be extended to the entire space with preservation of the Lipschitz constant (Theorem 3.4; cf. also Theorem 3.5 for a related version). Chapter 4 is devoted to presenting a proof of the famous Rademacher Theorem. It is divided into three sections, the first of which contains the actual statement and proof of this result. In the second section of this chapter, we discuss the issue of the almost everywhere differentiability of absolutely continuous functions on the real line (which is used in the proof of Rademacher s theorem). Finally, in the third section we prove the following result: Theorem 1.9. Let U R n be an open set and let f : U R m (1.37) be a bi-lipschitz function. That is, there exist 0 < C 1 C 2 < such that C 1 x y f(x) f(y) C 2 x y, (1.38) for every x, y U. Then there exists E U, of Lebesgue measure zero, such that and Df(x) exists for every x U \ E, (1.39) C 1 v Df(x)v C 2 v, for every v R n, and x U \ E. (1.40) 9

15 As a corollary, rank Df(x) = n for every x U \ E, (1.41) which showes that necessarily m n. (1.42) In addition, m = n = f(u) is an open set. (1.43) It is worth pointing out that, as the above theorem entails, there exist bi-lipschitz mappings f : R n R m m n. (1.44) Chapter 5 is where we present the main novel technical tool of this thesis, namely a version of the Implicit Function Theorem for Lipschitz functions. See Theorem 5.1 for the actual statement. The proof of this result occupies the bulk of Chapter 5. Chapter 6 consists of two sections. In the first, we collect some definitions and generalities about bounded Lipschitz domains in R n. In the second section of this chapter we then proceed to study in greater detail the degree of independence (or rather lack thereof) of the conditions appearing in the definition of a Lipschitz domain (Definition 6.5). See Proposition 6.1 and Proposition 6.2 for precise formulations. The latter result has been rephrased as Proposition 1.7 earlier in the introduction. Chapter 7 is devoted to discussing some applications of our main technical results. It is partitioned into three sections, and the main results, Theorem 7.1 and Theorem 7.2, have been reformulated as Step I and Step II, respectively, earlier in the introduction. Acknowledgments It is a pleasure to thank Simona, Nick, Simon, and James for their special contribution. 10

16 Chapter 2 The Implicit and Inverse Function Theorems 2.1 First Proof Using the Contraction Principle Proposition 2.1 (The Contraction Principle). Let x 0 R m, y 0 R n, r, ρ > 0 and assume that f : B(x 0, r) B(y 0, ρ) R n is a continuous function for which there exists α (0, 1) such that (i) f(x, y ) f(x, y ) α y y for all x B(x 0, r) and y, y B(y 0, ρ) (i.e., for every x B(x 0, r), f(x, ) is a contraction on B(y 0, ρ)), (ii) f(x, y 0 ) y 0 < ρ(1 α) for all x B(x 0, r). Then, there exists a function ϕ with the following properties: 1. ϕ : B(x 0, r) B(y 0, ρ), 2. ϕ is continuous, 3. f(x, ϕ(x)) = ϕ(x) for all x B(x 0, r), 4. ϕ is unique with these properties. Proof. We will prove this result in a sequence of 6 steps. Step I: For x B(x 0, r) arbitrary, define inductively the sequence {ϕ j (x)} j N0 ϕ 0 (x) = y 0 and ϕ j+1 (x) = f(x, ϕ j (x)) for j N 0. Observe that by ϕ j+1 (x) ϕ j (x) = f(x, ϕ j (x)) f(x, ϕ j 1 (x) α ϕ j (x) ϕ j 1 (x)... α j ϕ 1 (x) ϕ 0 (x) = α j f(x, y 0 ) y 0 α j ρ(1 α). (2.1) Step II: We claim that for each x B(x 0, r) the sequence {ϕ j (x)} j N0 is Cauchy. Indeed, if j N 0 and l N, applying the triangle inequality repeatedly and then using (2.1) we can write 11

17 ϕ j+l (x) ϕ j (x) ϕ j+l (x) ϕ j+l 1 (x) + ϕ j+l 1 (x) ϕ j+l 2 (x) + + ϕ j+1 (x) ϕ j (x) α j ρ(1 α)(α l 1 + α l α + 1) = α j ρ(1 α) 1 αl 1 α < αj ρ. (2.2) Hence, since lim j α j ρ = 0, for ε > 0 there exists j 0 N such that 0 < α j ρ < ε for j j 0, which in turn, used in (2.2), shows that if ε > 0 there exists j 0 N such that ϕ m (x) ϕ j (x) < ε for all j, m j 0. This proves the claim. Step III: As seen in Step II, for each x B(x 0, r) the sequence {ϕ j (x)} j N0 is Cauchy, thus convergent. Hence, we can define ϕ(x) := lim ϕ j (x). If we pass to the limit as j j in the identity ϕ j+1 (x) = f(x, ϕ j (x)) (recall f is continuous) it follows that ϕ(x) = f(x, ϕ(x)), proving (1) and (3) in the statement of the proposition. Step IV: (the uniqueness of ϕ) Assume that there exist two functions ϕ, ϕ satisfying (1) (3). Then, for x B(x 0, r), ϕ(x) ϕ (x) = f(x, ϕ(x)) f(x, ϕ (x)) α ϕ(x) ϕ (x), (2.3) which implies that (1 α) ϕ(x) ϕ (x) 0. The latter is only possible if ϕ(x) ϕ (x) = 0, which in turn implies ϕ(x) = ϕ (x). This completes the proof of (4). Step V: We will prove by induction that each ϕ j is continuous. Clearly the constant function ϕ(x) = y 0, x B(x 0, r), is continuous. Suppose ϕ j is continuous for some j N. Since we know that ϕ j+1 = f(x, ϕ j (x)), f is continuous, and the composition of continuous functions is continuous, it follows that ϕ j+1 must be continuous. By the Principle of Mathematical Induction, if follows that ϕ j is continuous for any j N 0. Step VI: (continuity of ϕ) Fix an arbitrary point x B(x 0, r) and ε > 0. By the triangle inequality, if x B(x 0, r), we have for each j N that ϕ(x) ϕ(x ) ϕ(x) ϕ j (x) + ϕ j (x) ϕ j (x ) + ϕ j (x ) ϕ(x ). (2.4) Since ϕ(y) = lim j ϕ j (y) for each y B(x 0, r), there exists j 1, j 2 N such that ϕ(x) ϕ j (x) ε 3 for j j 1, ϕ(x ) ϕ j (x ) ε 3 for j j 2. (2.5) Select j 0 = max{j 1, j 2 }. By the continuity of ϕ j0 at x, there exists δ > 0 such that ϕ j0 (x) ϕ j0 (x ) < ε 3 whenever x x < δ. (2.6) 12

18 Now we set j = j 0 in (2.4) and use (2.5)-(2.6) to conclude that ϕ(x) ϕ(x ) < ɛ whenever x x < δ. This proves that ϕ is continuous at x. Since x was arbitrary in B(x 0, r) we obtain that ϕ is continuous on B(x 0, r). The proof of the proposition is therefore complete at this point. Theorem 2.2 (The Implicit Function Theorem). Let U be an open set in R m, x 0 U, V an open set in R n, y 0 V. Let F : U V R n be a continuous function such that: (α) F (x 0, y 0 ) = 0, (β) F (x, y) exists and is continuous on U V, y (γ) F y (x 0, y 0 ) is an invertible n n matrix. Then, there exist r > 0 and a function ϕ satisfying (I) ϕ : B(x 0, r) R n ; (II) ϕ is continuous on B(x 0, r), ϕ(x 0 ) = y 0 ; (III) F (x, ϕ(x)) = 0 for all x B(x 0, r); (IV) ϕ is unique with (I)-(III). Furthermore, if F is differentiable at (x 0, y 0 ), then ϕ is differentiable at x 0 and ( F ) 1 (Dϕ)(x 0 ) = y (x F 0, y 0 ) x (x 0, y 0 ). (2.7) Proof. Introduce the function defined by f(x, y) = y ( F y (x 0, y 0 )) 1 (F (x, y)) for each (x, y) U V. Observe that f(x 0, y 0 ) = y 0 and, for (x, y) U V, f(x, y) = y F (x, y) = 0. Claim: There exist r, ρ > 0 such that f : B(x 0, r) B(y 0, ρ) R n satisfies the hypothesis of the Contraction Principle with α = 1 2. First we focus on condition (i) from the Contraction Principle. We have 13

19 f(x, y ) f(x, y ) ( F ) 1F ( F ) 1F = y y (x 0, y 0 ) (x, y ) y + y (x 0, y 0 ) (x, y ) ( F ) 1 [ F ] = y (x 0, y 0 ) y (x 0, y 0 ) (y y ) F (x, y ) + F (x, y ) c F y (x 0, y 0 ) (y y ) F (x, y ) + F (x, y ) = c F y (x 0, y 0 )(y y ) F y (x, y 0) (y y ) + F y (x, y 0) (y y ) F (x, y ) + F (x, y ) [ F c y (x 0, y 0 ) F ] y (x, y 0) (y y ) + c F y (x, y 0)(y y ) F (x, y ) + F (x, y ) =: A + B, where c = ( F (x y 0, y 0 )) 1 is a positive constant depending only on F, x 0, y 0, n, m. If we use the component-wise notation F = (f 1, f 2,..., f n ), x = (x 1, x 2,..., x m ) and y = (y 1, y 2,..., y n ), then the entries of the matrix F y are of the form f i for 1 i, j n. y j Hence, A cc n max 1 i,j n f i (x 0, y 0 ) f i (x, y 0 ) y y, (2.9) y j y j with c n > 0 a constant depending only on n. Since for each 1 i, j n the function f i (, y 0 ) is continuous at x 0, there exists r ij > 0 such that y j f i (x 0, y 0 ) f i (x, y 0 ) < 1 whenever x x 0 < r ij. (2.10) y j y j 4cc n If we now choose 0 < r < min r ij, then from (2.9) and (2.10) it follows that 1 i,j n A 1 4 y y whenever x x 0 < r. (2.11) Now we will proceed with the second norm in the very last expression in (2.8). By the Mean Value Theorem, F (x, y ) F (x, y ) = F (x, z) for some z on the line segment y joining y and y (we denote this by z [y, y ]). Hence, (2.8) B c y y sup z [y,y ] cc n y y sup F y (x, y 0) F y (x, y) max z [y,y ] 1 i,j n ) y y (B 1 + B 2 f i (x, y 0 ) f i (x, z) y j y j (2.12) 14

20 where and B 1 := cc n B 2 := cc n sup max z [y,y ] 1 i,j n sup max z [y,y ] 1 i,j n f i (x, y 0 ) f i (x 0, y 0 ) (2.13) y j y j f i (x, z) f i (x 0, y 0 ). (2.14) y j y j Recall that we are assuming x x 0 < r and observe that z [y, y ] B(y 0, ρ) entails z y 0 < ρ. Hence, since each f i is continuous at (x 0, y 0 ), it follows that y j we can choose r > 0 and ρ > 0 small enough such that B 1 < 1 8 and B 2 < 1 8 whenever y, y B(y 0, ρ) and x B(x 0, r). (2.15) Combining (2.8), (2.11), (2.12), and (2.15) we can conclude that f satisfies (i) with the r and ρ selected above and α = 1 2. Next we will show that (ii) in the Contraction Principle holds, that is, f(x, y 0 ) y 0 < ρ, x B(x 2 0, r). We know that f(x 0, y 0 ) = y 0. Fix ε > 0. Since f is continuous at (x 0, y 0 ), there exists δ > 0 such that f(x, y) f(x 0, y 0 ) < ɛ if (x, y) (x 0, y 0 ) < δ. In particular, f(x, y 0 ) y 0 < ɛ if x x 0 < δ. Now choosing ɛ = ρ (with ρ > 0 as 2 selected earlier in the proof) we obtain δ = δ(ρ) > 0 such that f(x, y 0 ) y 0 < ρ/2 if x x 0 < δ. At this point all we have to do is to return to the r determined so far and selected so that r δ and we see that, with this new r, f verifies the hypotheses of the Contraction Principle. Applying the Contraction Principle, we obtain the existence of a function ϕ satisfying (1) (4) in the conclusion of the Contraction Principle. So far we have that f(x 0, ϕ(x 0 )) = ϕ(x 0 ) and f(x 0, y 0 ) = y 0. To conclude that y 0 = ϕ(x 0 ), observe that the function ψ : B(x 0, r) B(y 0, ρ) defined by ψ(x) = ϕ(x) for x x 0 and ψ(x) = y 0 for x = x 0 is continuous and satisfies f(x, ψ(x)) = ψ(x) for all x B(x 0, r). By the uniqueness property 4. in the Contraction Principle, we obtain that ψ = ϕ in B(x 0, r), and in particular, y 0 = ϕ(x 0 ). Hence, conditions (I) (II) in the statement of the Implicit Function Theorem are satisfied. To conclude that F (x, ϕ(x)) = 0 for all x B(x 0, r) (condition (III) in the statement of the Implicit Function Theorem) combine the equivalence f(x, y) = y F (x, y) = 0 with (3) in the Contraction Principle. By a similar reasoning we see that the uniqueness statement in (IV ) follows. We are left with the proof of the statement regarding the differentiability of ϕ under the additional condition that F is differentiable at (x 0, y 0 ). Assume first that we have proved that if F is differentiable at (x 0, y 0 ) then ϕ is differentiable at x 0 (this 15

21 fact will be proved latter), and introduce the function G : B(x 0, r) R m R n, defined by G(x) := (x, ϕ(x)) for x B(x 0, r). Then by (III), F G = 0 on B(x 0, r), and by (II) G(x 0 ) = (x 0, y 0 ). Under the assumption that ϕ is differentiable at x 0, we obtain that G is differentiable at x 0 and, since F is differentiable at G(x 0 ), by the Chain Rule, F G is differentiable at x 0 and D(F G)(x 0 ) = (DF )(G(x 0 )) (DG)(x( 0 ). Hence, ) Im m 0 = (DF )(x 0, y 0 )(DG)(x 0 ). A direct computation reveals that DG(x 0 ) =, Dϕ(x 0 ) while DF (x 0, y 0 ) = ( F (x x 0, y 0 ) F (x y 0, y 0 )). Multiplying the two we obtain 0 = ( F x (x 0, y 0 ) ) ( ) F y (x Im m 0, y 0 ) Dϕ(x) = F x (x 0, y 0 ) + F y (x 0, y 0 ) Dϕ(x 0 ) and the formula (Dϕ)(x 0 ) = ( F y (x 0, y 0 )) 1 ( F x (x 0, y 0 )) now follows. Lastly, we will show that ϕ is differentiable at x 0 if F is differentiable at (x 0, y 0 ). Fix an arbitrary ɛ > 0. We want to find δ > 0 such that ( F ) 1( ϕ(x 0 + h) ϕ(x 0 ) + y (x F 0, y 0 ) x (x 0, y 0 )) h ɛ h (2.16) if h R m is such that h < δ. To this end, we write ( F ) 1( ϕ(x 0 + h) ϕ(x 0 ) + y (x F 0, y 0 ) x (x 0, y 0 )) h ( F ) 1 [ F ( ) = y (x 0, y 0 ) y (x 0, y 0 ) ϕ(x 0 + h) ϕ(x 0 ) + F ] x (x 0, y 0 ) h c F ( ) y (x 0, y 0 ) ϕ(x 0 + h) ϕ(x 0 ) + F x (x 0, y 0 ) h = c DF (x 0, y 0 )(h, ϕ(x 0 + h) ϕ(x 0 )), (2.17) ( ) F since DF (x 0, y 0 ) = x (x F 0, y 0 ) y (x 0, y 0 ) (an n (n + m) matrix). Note that F ((x 0, y 0 ) + (h, ϕ(x 0 + h) ϕ(x 0 ))) = F (x 0 + h, ϕ(x 0 + h)) = 0 whenever x 0 + h B(x 0, r), or equivalently, whenever h < r. Since F (x 0, y 0 ) = 0, under the assumption that h < r, we can write c (DF (x 0, y 0 )) (h, ϕ(x 0 + h) ϕ(x 0 ))) (2.18) ( ) = c F (x 0, y 0 ) + (h, ϕ(x 0 + h) ϕ(x 0 )) F (x 0, y 0 ) DF (x 0, y 0 ) (h, ϕ(x 0 + h) ϕ(x 0 )). 16

22 Because F is differentiable at (x 0, y 0 ), for each ε 1 > 0, there exists δ 1 > 0 such that if (h, ϕ(x 0 + h) ϕ(x 0 )) < δ 1 then ( ) c F (x 0, y 0 ) + (h, ϕ(x 0 + h) ϕ(x 0 )) F (x 0, y 0 ) DF (x 0, y 0 )(h, ϕ(x 0 + h) ϕ(x 0 )) c ε 1 (h, ϕ(x 0 + h) ϕ(x 0 )) c ε 1 ( h + ϕ(x 0 + h) ϕ(x 0 ) ). (2.19) If we denote the norm in the left hand-side of the estimate in (2.16) as LHS, if (h, ϕ(x 0 + h) ϕ(x 0 )) < δ 1 we can write ( F ) 1( ϕ(x 0 + h) ϕ(x 0 ) LHS + y (x F 0, y 0 ) x (x 0, y 0 ) h) c ε 1 ( h + ϕ(x 0 + h) ϕ(x 0 ) ) + c h, (2.20) ( ) 1 where c F = (x y 0, y 0 ) F (x x 0, y 0 ). For the first inequality in (2.20) we have applied the triangle inequality, while the estimate of LHS for the second inequality in (2.20) is due to a combination of (2.17), (2.18), and (2.19). Now we require that ε 1 > 0 is such that c ε 1 < 1. Then (2.20) becomes 2 ϕ(x 0 + h) ϕ(x 0 ) 1 2 h ϕ(x 0 + h) ϕ(x 0 ) + c h, which further implies that ϕ(x 0 + h) ϕ(x 0 ) (1 + 2c ) h, provided h + ϕ(x 0 + h) ϕ(x 0 ) < δ(2.21) 1. Observe that if we impose the conditions h < δ 1 2 and ϕ(x 0 + h) ϕ(x 0 ) < δ 12, then (2.21) holds. Since ϕ is continuous at x 0, there exists δ 2 > 0 such that ϕ(x 0 + h) ϕ(x 0 ) < δ 1 2 whenever h < δ 2. Returning with (2.21) in (2.19) and also recalling (2.17)-(2.18), we see that (with appropriate restrictions on the size of h ) LHS c ε 1 (2 + 2c ) h. (2.22) To arrive at the desired conclusion we impose one more condition on ε 1 to ensure that c ε 1 (2 + 2c ) < ε. The final conclusion is as follows: for each ε > 0, take 0 < ɛ 1 < min{ 1, ɛ }, which yields a corresponding value for δ 2c c(2+2c ) 1, which further provides a δ 2, and if we take δ := min{r, δ 1 2, δ 2 } then (2.16) holds for all h R m is such that h < δ. This concludes the proof of the fact that ϕ is differentiable at x 0. 17

23 Theorem 2.3 ( The Inverse Function Theorem). Let U be an open set in R n, x 0 U, f : U R n be a continuously differentiable function (equivalently f is C 1 in U), and (Df)(x 0 ) is a n n invertible matrix. Then there exists an open set V U with x 0 V, such that f(v ) is open in R n and f V : V f(v ) is a bijective function with a continuous inverse (f V ) 1. Moreover (f V ) 1 is differentiable at f(x 0 ) and D(f V ) 1 (f(x 0 )) = ((Df)(x 0 )) 1. (2.23) Proof. Let us define the function F : U R n R n by F (x, y) := y f(x) for x U, y R n. Then F is C 1 on U R n and if we set y 0 := f(x 0 ) then F (x 0, y 0 ) = 0. In addition, from the expression of F we see that F (x, y) = (Df)(x). Hence, x F (x x 0, y 0 ) = (Df)(x 0 ) is an invertible matrix. We can apply the Implicit Function Theorem to obtain r > 0 and a function ϕ satisfying (i) ϕ : B(y 0, r) R n ; (ii) ϕ is continuous on B(y 0, r), ϕ(y 0 ) = x 0 ; (iii) (ϕ(y), y) U R n for all y B(y 0, r); (iv) F (ϕ(y), y) = 0 for all y B(y 0, r); (v) ϕ is unique with (i)-(iv); (vi) ϕ is C 1 at y 0 and (Dϕ)(y 0 ) = ( F x (x 0, y 0 )) 1 ( F y (x 0, y 0 )). Now set V := ϕ(b(y 0, r)). By (iii) we have that V U and (ii) ensures that x 0 V. Making use of (iv) we see that f(ϕ(y)) = y for all y B(y 0, r). Thus, f(v ) = f(ϕ(b(y 0, r))) = B(y 0, r), which is open. So far we can conclude that the restriction mapping f V : V f(v ) is well defined and onto. To prove that this mapping is one-to-one, let x 1, x 2 V be such that f(x 1 ) = f(x 2 ). From the definition of V it follows that there exist y 1, y 2 B(y 0, r) such that x 1 = ϕ(y 1 ) and x 2 = ϕ(y 2 ). Consequently, f(ϕ(y 1 )) = f(ϕ(y 2 )). However, f(ϕ(y 1 )) = y 1 and f(ϕ(y 2 )) = y 2, thus y 1 = y 2. Applying ϕ to this last equality it follows that ϕ(y 1 ) = ϕ(y 2 ), which is the same as x 1 = x 2. This completes the proof of the fact that f V : V f(v ) is one-to-one. The mapping f V : V f(v ) being bijective is invertible. We claim that (f V ) 1 = ϕ, when we consider ϕ : f(v ) = B(y 0, r) V = ϕ(b(x 0, r)). To prove this claim, let y f(v ). Then ϕ(y) V and f(ϕ(y)) = y. We already This means that ϕ(y) is the unique z V for which f(z) = y, i.e., (f V ) 1 (y) = ϕ(y). We have already seen that F (x x 0, y 0 ) = (Df)(x 0 ). Moreover, by a direct computation, F y 0 (x 0, y 0 ) = I. Hence, ( F ) 1 D(f V ) 1 (f(x 0 )) = Dϕ(y 0 ) = x (x F 0, y 0 ) (x 0, y 0 ) = ((Df)(x 0 )) 1 (2.24). y 0 We are left with proving that V is open. To do so, fix x V. We want to find ρ > 0 such that B(x, ρ) V. From the definition of V, we see that there exists y 18

24 B(y 0, r) such that x = ϕ(y ). This implies that f(x ) = f(ϕ(y )) = y B(y 0, r). Hence, x f 1 (B(y 0, r)) (where f 1 is the preimage of f) and since f is continuous, f 1 (B(y 0, r)) is open. Thus there exists ρ > 0 such that B(x, ρ) f 1 (B(y 0, r)), which implies that f(b(x, ρ)) B(y 0, r). Now apply ϕ to the last inclusion to obtain that ϕ(f(b(x, ρ))) ϕ(b(y 0, r)) = V. If we can prove that ϕ(f(ˆx)) = ˆx for all ˆx B(x, ρ), (2.25) then the conclusion will be that B(x, ρ) V as desired. Finally, to see that (2.25) holds, define ψ : B(y 0, r) R n, by ψ(y) = ϕ(y) if y B(y 0, r), y f(ˆx), and ψ(y) = ˆx if y = f(ˆx) B(y 0, r). Then this function verifies (i)-(iv). By (v), we must have ψ = ϕ, hence ϕ(f(ˆx)) = ψ(f(ˆx)) = ˆx for all ˆx B(x, ρ) which gives (2.25). 2.2 Second Proof Using the Invariance of Domain Theorem In this subsection we present a second proof of the Implicit and Inverse Function Theorems. As a preamble to this we isolate a useful result, called the Invariance of Domain theorem, which is a theorem from topology about homeomorphic subsets of Euclidean space R n. It states: Theorem 2.4 (Invariance of Domain). Let U be an open subset of R n and let f : U R n be an injective continuous function. Then V = f(u) is open and f : U V is a homeomorphism. In particular f 1 : V U is a continuous function. The theorem and its proof are due to L.E.J. Brouwer, published in 1912; see [1]. The proof uses tools of algebraic topology, notably the Brouwer fixed point theorem. We will now prove the Inverse Function Theorem stated in Section 1. Proof of Theorem 2.3. We make the following claim. There exists r > 0 such that f is injective when restricted to B(x 0, r). Proof of Claim. Reasoning by contradiction, we may assume that for all j N, f is not injective when restricted to B(x 0, 1 ). This means that for all j N there exists j x j, y j B(x 0, 1), x j j y j and such that f(x j ) = f(y j ). Define w j := y j x j y j x j Sn 1, j N. (2.26) Also, consider the path γ j (t) := x j + t(y j x j ), 0 t 1 (2.27) and fix an arbitrary vector v R n. Then the function 19

25 [0, 1] t f(γ j (t)) v R (2.28) is of class C 1 and takes the same values at t = 0 and t = 1, i.e. [f(γ j (t)) v] = f(x j ) v t=0 = f(y j ) v = [f(γ j (t)) v]. (2.29) t=1 Rolle s Theorem then implies that there exists a number c j (0, 1) (2.30) such that d dt [f(γ j(t)) v] = 0. (2.31) t=cj Using Chain Rule, we see that d dt [f(γ j(t)) v] = (Df)(γ j (t)) γ j (t) v (2.32) so that, keeping in mind that γ j (t) = y j x j, we arrive at or (Df)(γ j (c j ))(y j x j ) v = 0, (2.33) (Df)(γ j (c j ))w j v = 0. (2.34) Now x j x 0 < 1 j, y j x 0 < 1 j implies that x j x 0, y j y 0 as j. Hence γ(x j ) = x 0 + x j (y j x j ) x 0 (2.35) Since w j S n 1, by passing the subsequence it can be assumed that w j w 0 S n 1 as j for some w 0 S n 1. Passing the limit j in (2.33) we then obtain (Df)(x 0 )w 0 v = 0 for all v R n. (2.36) 20

26 Choosing v := (Df)(x 0 )w 0, this implies (Df)(x 0 )w 0 2 = 0 (2.37) and ultimately (Df)(x 0 )w 0 = 0. (2.38) Since (Df)(x 0 ) is, by assumption, an invertible matrix, this forces w 0 = 0, (2.39) contradicting the fact that w S n 1. This contradiction finishes the proof of the claim made at the beginning of the proof of the theorem. Once this claim has been established, the Invariance of Domain Theorem implies that W := f(b(x 0, r)) (2.40) is an open set in R n and, if V := B(x 0, r) then f : V W (2.41) is a topological homeomorphism (i.e., continuous, bijective, and the inverse function is continuous as well). There remains to prove that and f 1 : W V is differentiable at f(x 0 ) (2.42) (Df) 1 (f(x 0 )) = ((Df)(x 0 )) 1. (2.43) To this end, consider f 1 (f(x 0 ) + h) f 1 (f(x 0 )) ((Df)(x 0 )) 1 h. (2.44) h Our goal is to show that this expression goes to zero as h 0. Pick x h B(x 0, r) such that 21

27 f(x h ) = f(x 0 ) + h, i.e., x h = f 1 (f(x 0 ) + h). (2.45) Then f(x h ) f(x 0 ) as h 0. Thus since f 1 is continuous, then x h = f 1 (f(x h )) f 1 (f(x 0 )) = x 0 as h. Thus, Then x h x 0 as h. (2.46) f 1 (f(x 0 ) + h) f 1 (f(x 0 ) ((Df 1 (f(x 0 ))h h (2.47) = f 1 (f(x h )) f 1 (f(x 0 ) ((Df 1 (f(x 0 ))h h = x h x 0 ((Df 1 (f(x 0 ))h h ( ) ( ) 1 (Df)(x0 )(x h x 0 ) h = (Df)(x 0 ). (2.48) h Hence, for our goals, it suffices to prove that ( ) (Df)(x0 )(x h x 0 ) h 0, as h. (2.49) h Recall that f is differentiable at x 0 means that there exists with η : [0, ) [0, ) (2.50) such that lim η(t) = 0 (2.51) t 0 + f(x 0 + k) f(x 0 ) (Df)(x 0 )k k η( k ) (2.52) for every k R n \ {0}. In our case, take 22

28 k := x h x 0 (2.53) so that (2.52) becomes (applying (2.53) as well) h (Df)(x 0 )(x h x 0 ) x h x 0 η x h x 0. (2.54) This implies x h x 0 = ((Df)(x 0 )) 1 (Df)(x 0 )(x h x 0 ) C (Df)(x 0 )(x h x 0 ) C h (Df)(x 0 )(x h x 0 ) + C h Cη( x h x 0 ) x h x 0 + C h, (2.55) by (2.54). Choose h close to 0 so that η( x h x 0 ) < 1 2C then absorb 1 x 2 h x 0 in the left-hand side to obtain (2.56) x h x 0 2C h (2.57) if h is sufficiently close to 0. Finally, using our previous results we can write the following (Df)(x 0 )(x h x 0 ) h h x h x 0 η( x h x 0 ) h (applying (2.54)) C h η( x h x 0 ) h (applying (2.57)) Cη( x h x 0 ) 0 as h 0, (2.58) since x h x 0 as h 0. (2.59) This completes the proof of Theorem 2.3. Finally, observe that Inverse Function Theorem = Implicit Function Theorem. (2.60) Indeed, the Implicit Function Theorem (as stated in Theorem 2.2) follows immediately from the Inverse Function Theorem (as stated in Theorem 2.3) applied to the function f(x, y) := (x, F (x, y)). (2.61) 23

29 Chapter 3 Lipschitz Functions We begin by recalling the class of Lipschitz functions. Definition (Definition of a Lipschitz Function). Let f : U R m where U is an open set in R n. Then call f Lipschitz if { f(x) f(y) Lip(f; U) := sup x y where Lip(f; U) is the Lipschitz constant. } : (x, y) U U \ diag < (3.1) It follows from the above definition that a function f : U R is Lipschitz if and only if there exists M 0 such that f(x) f(y) M x y for every x, y U. (3.2) The Lipschitz constant Lip(f; U) is, in fact, the smallest M for which (3.2) holds. Remark If the function f is Lipschitz then f is continuous (in fact, uniformly continuous). In turn, any continuous function f belongs L 1 loc. Also, any function f in L 1 loc induces a regular distribution (i.e., f D (R n )). Proposition 3.1. If f : R n R is Lipschitz then the components of f, computed in the sense of distributions, belong to L (R n ), and f L (R n ) M. Proof. Let θ C c (R n ) be such that θ(x)dx = 1 and θ 0. For each number ε > 0, define θ ε (x) := ε n θ ( x ε ), and let fε := f θ ε. Then the following are true: (1) f ε f as ε 0 + uniformly on compact sets; (2) f ε (x) f ε (y) M x y ; (3) f ε C (R n ) and f ε L (R n ) M. 24

30 Let us justify these claims. Claim (1) follows from the fact that f is continuous, as known results. As far as (2) is concerned, we write f ε (x) f ε (y) f(x z) f(y z) θ ε (z) dz M x y, R n (3.3) as desired. Turning our attention to (3), we first note that f ε C (R n ) since by differentiating under the integral sign we obtain α f ε (x) = R n f(y) α θ ε (x y) dy for every multiindex α N n 0. In turn, this implies that, for every j {1,..., n}, j f ε (x) = lim h 0 f ε (x + he j ) f ε (x) h (3.4) exists. Keeping this in mind and invoking (2) we also obtain j f ε L (R n ) M, finishing the proof of the claim made in (3) above. Moving on, for any test function ψ Cc (R n ), we write j f, ψ = f, j ψ = lim ε 0 + f ε, j ψ = lim ε 0 + jf ε, ψ = lim ( j f ε )(x)ψ(x) dx.(3.5) ε 0 + R n Using (3) we get ( j f ε )(x)ψ(x) dx jf ε L (R n ) ψ L 1 (R n ) M ψ L 1 (R n ). (3.6) R n Hence, from (3.6) and (3.5) we obtain that j f, ψ lim sup ( j f ε )(x)ψ(x) dx M ψ L 1 (R n ). (3.7) ε 0 + R n Consequently, j f, ψ M ψ L 1 (R n ) so that the linear assignment C c (R n ) ψ j f, ψ R (3.8) is continuous in the L 1 -norm, and has norm less or equal to M. Since C c (R n ) embeds densely into L 1 (R n ), the linear functional in (3.8) extends to a linear, bounded functional Thus, Λ Λ : L 1 (R n ) R, with norm less or equal to M. (3.9) ( L 1 (R n )) has norm less or equal to M, and since the dual space of L 1 (R n ) is L (R n ), we obtain that there exists a unique 25

31 such that g j L (R n ) with g j L (R n ) M, (3.10) Λ, η = g j (x)η(x) dx, R n η L 1 (R n ). (3.11) Granted this and keeping in mind that Λ is an extension of the linear assignment in (3.8), we arrive at the conclusion that j f, ψ = g j (x)ψ(x) dx, R n ψ Cc (R n ). (3.12) In other words, j f = g j in the sense of distributions in R n. (3.13) In concert, (3.13) and (3.10) give that j f L (R n ) for every j, and j f L (R n ) M. This completes the proof of the proposition. Proposition 3.2. If f is a distribution in R n with the property that f L (R n ), then f is a Lipschitz function. Proof. Let f D (R n ) be as in the statement of the proposition, and define f ε (x) := f, θ ε (x ), x R n, (3.14) where θ ε is as before. It can then be checked that f ε C (R n ) and f ε f in the sense of distributions. (3.15) Furthermore, f ε (x) = f, θ ε (x ) = f,. (θ ε (x )) = f, θ ε (x ) = ( f) ε (x) (3.16) and we claim that ( f) ε L (R n ) satisfies f ε L (R n ) f L (R n ). (3.17) To see this, we estimate 26

32 ( f)(x y)θ ε (y) dy f L (R n ), (3.18) R n which justifies (3.17). Going further, fix x 0 R n and consider the sequence of C functions Then g ε (x) := f ε (x) f ε (x 0 ), for x R n. (3.19) g ε (x) f L (R n ) x x 0 and g ε L (R n ) f ε L (R n ) f L (R(3.20) n ) By the Arzela-Ascoli Theorem, for any compact subset of R n there exists a subsequence {g ε } ε which converges uniformly on it. By a diagonal argument we can assume there exists a subsequence of {g ε } ε which converges uniformly on any compact subset of R n to some function g C 0 (R n ). On the other hand, g ε = f ε f ε (x 0 ) f c in the sense of distributions (where c is a constant). Then we have f = g + c. Combining the fact that f(x) f(y) = g(x) g(y) and f ε (x) f ε (y) g(x) g(y) with f ε (x) f ε (y) f ε L (R n ) x y f L (R n ) x y (3.21) we may finally conclude that f(x) f(y) f L (R n ) x y. This shows that f is a Lipschitz function, as desired. At this stage we would like to summarize the conclusions in Proposition (3.1) and Proposition (3.2) in the form of the following theorem. Theorem 3.3. For a function f : R n R the following two statements are equivalent, (i) f is a Lipschitz function; (ii) in the sense of distributions f L (R n ). Next we consider the issue of extending a given Lipschitz function originally defined on a set A to the entire space, denoted by X. The most general and natural context in which this task can be carried out is that of metric spaces. For the convenience of the reader we first summarize the definition of an abstract metric space. Specifically we have the following: Definition Call (X, d) a metric space if X is an arbitrary set and d : X X [0, ) (3.22) is a function satisfying the following properties: 27

33 (i) non-degeneracy: d(x, y) = 0 x = y; (ii) triangle inequality: d(x, y) d(x, z) + d(z, y) for every x, y, z X; (iii) symmetry: d(x, y) = d(y, x) for every x, y X. In this setting, the Extension result alluded to before reads as follows. Theorem 3.4 (Extension of Lipschitz Functions). Let (X, d) be a metric space such that f : A R is Lipschitz, for A X and A X (3.23) then there exists F : X R (3.24) such that: F = f A and F is Lipschitz with Lip(F ; X) = Lip(f; A). (3.25) Proof. Let us first define the formula where F (x) := inf {f(a) + Md(a, x) : a A} x X, (3.26) M := Lip(f; A). (3.27) Claim 1. If x A then F (x) = f(x). Proof of Claim 1. Fix three arbitrary points a 1, a A and x X. We may then write the following: f(a 1 ) = f(a) + [f(a 1 ) f(a)] (3.28) f(a) + Md(a 1, a) (3.29) f(a) + M[d(x, a 1 ) + d(a, x)] (3.30) = f(a) + Md(x, a 1 ) + Md(a, x). (3.31) Hence combining (3.28) and (3.31) we get the following f(a 1 ) Md(x, a 1 ) f(a) + Md(a, x). (3.32) 28

34 A few justifications are in order for the previous statements. In (3.28) we make use of the additive inverse property. Statement (3.30) makes used of the triangle inequality on metric spaces (X, d). The last two statements are algebraic simplifications. Since a A this implies that f(a 1 ) Md(x, a 1 ) is an arbitrary lower bound for {f(a) + Md(a, x) : a A}. Given the definition of F in (3.26), this gives: f(a 1 ) Md(x, a 1 ) F (x) f(a) + Md(a, x) for all a, a 1 X and x X. (3.33) If x A we may specialize (3.33) to the case when a 1 := x and a := x. In this scenario, (3.33), becomes f(x) 0 F (x) f(x) + 0 i.e. F (x) = f(x) if x A. (3.34) Thus this concludes the proof of Claim 1. Claim 2. F : X R is Lipschitz with Lip (F ; X) = Lip (f; A). Proof of Claim 2. Fix two points x 0, x 1 X. We want F (x 1 ) F (x 0 ) Md(x 0, x 1 ). Hence it is enough to show that for all x 0, x 1 X we have F (x 1 ) F (x 0 ) Md(x 0, x 1 ). Since we can interchange the roles of x 0 and x 1, we obtain F (x 0 ) F (x 1 ) Md(x 0, x 1 ). Thus fix an arbitrary ε > 0. Then there exists a 0 A such that and thus f(a 0 ) + Md(a 0, x 0 ) ε < F (x 0 ). (3.35) also F (x 0 ) < f(a 0 ) Md(a 0, x 0 ) + ε (3.36) F (x 1 ) f(a 0 ) + Md(a 0, x 1 ). (3.37) Combining (3.36) and (3.37) we get F (x 1 ) F (x 0 ) M[d(x 0, x)] < ε. (3.38) Since ε is arbitrary this finishes the proof of Claim 2. Thus (3.32) follows from the proof of Claim 1 and 2. 29

35 Theorem 3.5 (Extension of Lipschitz Functions on R n ). Let (X, d) be a metric space such that: f : A R m is Lipschitz, for A X and A X (3.39) then there exists F : X R m (3.40) such that F = f A and F is Lipschitz with Lip(F ; X) mlip(f; A). (3.41) Proof. Applying Theorem 2.4 we know that there exists an F j : X R such that A F j = f j and Lip(F j ; X) = Lip(f j ; A). (3.42) Now take F := (F 1,, F m ) then F : X R m and F = f. (3.43) A Also, for every x 1, x 2 X we have F (x 1 ) F (x 2 ) = ( m ) 1 2 (F j (x 1 ) F j (x 2 )) 2 j=1 = m Md(x 1, x 2 ). (3.44) This proves that F : X R m is a Lipschitz function with Lip(F ; X) m M, finishing the proof of the theorem. 30

36 Chapter 4 Rademacher s Theorem Here we present a proof of Rademacher s Theorem on the a.e. Lipschitz functions, following [2] differentiability of 4.1 Almost Everywhere Differentiability of Lipschitz Functions Theorem 4.1 (Rademacher). Let f : R n R m be locally Lipschitz. Then f is differentiable L n -a.e., ie gradf(x) = (D 1 f(x),..., D n f(x)) exists and f(y) f(x) grad f(x) (y x) lim y x y x for L n -a.e. x R n. = 0 (4.1) Proof. We assume m = 1 and f is Lipschitz. Fix v R n with v = 1, and define D v f(x) =: lim t 0 f(x + tv) f(x) t for x R n (4.2) if this limit exists. Claim 1. D v f(x) exsists for L n -a.e. x R n. Proof of Claim 1. In fact, since f is continuous, D v f(x) = lim sup t 0 f(x + tv) f(x) t (4.3) is Borel measurable. Why? Def: f is Borel measurable if f 1 (I) is a Borel set for every I R open interval. Fact 1: If f k are Borel measurable k N, then so is f(x) := lim k f k (x) if the limit exists a.e. Fact 2: If f k are Borel measurable for every k, then f(x) = sup k N f k (x) is Borel measurable. Fact 3: Every continuious function is Borel measurable. 31

37 D v f(x) = lim inf t 0 f(x + tv) f(x). (4.4) t And by using the definition of Borel measurable sets on the inverse of the function lim inf t 0 f(x + tv) f(x) f(x + tv) f(x) lim sup t t 0 t on the interval (0, ). (4.5) Thus B v =: {x R n ; D v f(x) does not exsist } = {x R n ; D v f(x) < D v f(x)} (4.6) is Borel measurable. Now for each x, v R n, with v =1, define φ : R R by φ(t) := f(x + tv), t R. (4.7) Then φ is Lipschitz, thus absolutely continous, and thus differentiable L 1 -a.e. Hence for each line L parallel to v, L 1 (B v L) = 0. (4.8) Then Fubini s Theorem implies L n (B v ) = 0. (4.9) As a consequence, we see that grad f(x) =: (D 1 f(x),..., D n f(x)) (4.10) exsists for L n -a.e. x R n. This finishes the proof of Claim 1. Claim 2. Show that D v f(x) = v grad f(x) for L n -a.e x R n. Proof of Claim 2. Assume that η C 0 (R n ) (i.e. η is compactly supported) then f(x + tv) f(x) R t n To see this, split the integrals η(x)dx = f(x) R n 32 η(x) η(x tv) dx. (4.11) t

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a

More information

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA  address: Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

SMSTC (2017/18) Geometry and Topology 2.

SMSTC (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 information

Maths 212: Homework Solutions

Maths 212: Homework Solutions Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then

More information

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3 Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

More information

INVERSE FUNCTION THEOREM and SURFACES IN R n

INVERSE 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

Set, functions and Euclidean space. Seungjin Han

Set, functions and Euclidean space. Seungjin Han Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,

More information

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,

More information

Chapter 2 Metric Spaces

Chapter 2 Metric Spaces Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics

More information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered

More information

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

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

FIXED POINT METHODS IN NONLINEAR ANALYSIS

FIXED POINT METHODS IN NONLINEAR ANALYSIS FIXED POINT METHODS IN NONLINEAR ANALYSIS ZACHARY SMITH Abstract. In this paper we present a selection of fixed point theorems with applications in nonlinear analysis. We begin with the Banach fixed point

More information

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a

More information

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

1. Bounded linear maps. A linear map T : E F of real Banach DIFFERENTIABLE MAPS 1. Bounded linear maps. A linear map T : E F of real Banach spaces E, F is bounded if M > 0 so that for all v E: T v M v. If v r T v C for some positive constants r, C, then T is bounded:

More information

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists

More information

The Heine-Borel and Arzela-Ascoli Theorems

The Heine-Borel and Arzela-Ascoli Theorems The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them

More information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov

More information

Chapter 2. Metric Spaces. 2.1 Metric Spaces

Chapter 2. Metric Spaces. 2.1 Metric Spaces Chapter 2 Metric Spaces ddddddddddddddddddddddddd ddddddd dd ddd A metric space is a mathematical object in which the distance between two points is meaningful. Metric spaces constitute an important class

More information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................

More information

MA651 Topology. Lecture 10. Metric Spaces.

MA651 Topology. Lecture 10. Metric Spaces. MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky

More information

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about

More information

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

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE) Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X

More information

Many of you got these steps reversed or otherwise out of order.

Many of you got these steps reversed or otherwise out of order. Problem 1. Let (X, d X ) and (Y, d Y ) be metric spaces. Suppose that there is a bijection f : X Y such that for all x 1, x 2 X. 1 10 d X(x 1, x 2 ) d Y (f(x 1 ), f(x 2 )) 10d X (x 1, x 2 ) Show that if

More information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M. COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

More information

MATH 202B - Problem Set 5

MATH 202B - Problem Set 5 MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there

More information

Basic Properties of Metric and Normed Spaces

Basic Properties of Metric and Normed Spaces Basic Properties of Metric and Normed Spaces Computational and Metric Geometry Instructor: Yury Makarychev The second part of this course is about metric geometry. We will study metric spaces, low distortion

More information

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit

More information

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

Chapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem Chapter 4 Inverse Function Theorem d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d dd d d d d This chapter

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

Topological properties of Z p and Q p and Euclidean models

Topological properties of Z p and Q p and Euclidean models Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete

More information

Lecture 11 Hyperbolicity.

Lecture 11 Hyperbolicity. Lecture 11 Hyperbolicity. 1 C 0 linearization near a hyperbolic point 2 invariant manifolds Hyperbolic linear maps. Let E be a Banach space. A linear map A : E E is called hyperbolic if we can find closed

More information

Implicit Functions, Curves and Surfaces

Implicit Functions, Curves and Surfaces Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then

More information

1 Directional Derivatives and Differentiability

1 Directional Derivatives and Differentiability Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=

More information

FIXED POINT ITERATIONS

FIXED POINT ITERATIONS FIXED POINT ITERATIONS MARKUS GRASMAIR 1. Fixed Point Iteration for Non-linear Equations Our goal is the solution of an equation (1) F (x) = 0, where F : R n R n is a continuous vector valued mapping in

More information

7 Complete metric spaces and function spaces

7 Complete metric spaces and function spaces 7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m

More information

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1. Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable

More information

Outline of the course

Outline 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 information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

Sobolev Spaces. Chapter 10

Sobolev Spaces. Chapter 10 Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations. Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations. 1 Metric spaces 2 Completeness and completion. 3 The contraction

More information

CHAPTER 9. Embedding theorems

CHAPTER 9. Embedding theorems CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:

More information

The Inverse Function Theorem via Newton s Method. Michael Taylor

The Inverse Function Theorem via Newton s Method. Michael Taylor The Inverse Function Theorem via Newton s Method Michael Taylor We aim to prove the following result, known as the inverse function theorem. Theorem 1. Let F be a C k map (k 1) from a neighborhood of p

More information

Regularity for Poisson Equation

Regularity for Poisson Equation Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects

More information

Metric spaces and metrizability

Metric spaces and metrizability 1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively

More information

Continuous Functions on Metric Spaces

Continuous Functions on Metric Spaces Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0

More information

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure

More information

Functional Analysis Winter 2018/2019

Functional Analysis Winter 2018/2019 Functional Analysis Winter 2018/2019 Peer Christian Kunstmann Karlsruher Institut für Technologie (KIT) Institut für Analysis Englerstr. 2, 76131 Karlsruhe e-mail: peer.kunstmann@kit.edu These lecture

More information

Mathematical Analysis Outline. William G. Faris

Mathematical Analysis Outline. William G. Faris Mathematical Analysis Outline William G. Faris January 8, 2007 2 Chapter 1 Metric spaces and continuous maps 1.1 Metric spaces A metric space is a set X together with a real distance function (x, x ) d(x,

More information

and BV loc R N ; R d)

and BV loc R N ; R d) Necessary and sufficient conditions for the chain rule in W 1,1 loc R N ; R d) and BV loc R N ; R d) Giovanni Leoni Massimiliano Morini July 25, 2005 Abstract In this paper we prove necessary and sufficient

More information

Real Analysis. Joe Patten August 12, 2018

Real Analysis. Joe Patten August 12, 2018 Real Analysis Joe Patten August 12, 2018 1 Relations and Functions 1.1 Relations A (binary) relation, R, from set A to set B is a subset of A B. Since R is a subset of A B, it is a set of ordered pairs.

More information

APPLICATIONS OF DIFFERENTIABILITY IN R n.

APPLICATIONS OF DIFFERENTIABILITY IN R n. APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball

More information

1 Cheeger differentiation

1 Cheeger differentiation 1 Cheeger differentiation after J. Cheeger [1] and S. Keith [3] A summary written by John Mackay Abstract We construct a measurable differentiable structure on any metric measure space that is doubling

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

Honours Analysis III

Honours Analysis III Honours Analysis III Math 354 Prof. Dmitry Jacobson Notes Taken By: R. Gibson Fall 2010 1 Contents 1 Overview 3 1.1 p-adic Distance............................................ 4 2 Introduction 5 2.1 Normed

More information

Best approximations in normed vector spaces

Best approximations in normed vector spaces Best approximations in normed vector spaces Mike de Vries 5699703 a thesis submitted to the Department of Mathematics at Utrecht University in partial fulfillment of the requirements for the degree of

More information

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES JONATHAN LUK These notes discuss theorems on the existence, uniqueness and extension of solutions for ODEs. None of these results are original. The proofs

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

Sobolev spaces. May 18

Sobolev spaces. May 18 Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references

More information

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ). Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.

More information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact. Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following

More information

Functional Analysis HW #3

Functional Analysis HW #3 Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform

More information

General Topology. Summer Term Michael Kunzinger

General Topology. Summer Term Michael Kunzinger General Topology Summer Term 2016 Michael Kunzinger michael.kunzinger@univie.ac.at Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 1 A-1090 Wien Preface These are lecture notes for a

More information

Integration on Measure Spaces

Integration on Measure Spaces Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of

More information

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

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

More information

2. Function spaces and approximation

2. Function spaces and approximation 2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C

More information

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.

ANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2. ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n

More information

2. Metric Spaces. 2.1 Definitions etc.

2. Metric Spaces. 2.1 Definitions etc. 2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with

More information

Immerse Metric Space Homework

Immerse Metric Space Homework Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps

More information

The Contraction Mapping Principle

The Contraction Mapping Principle Chapter 3 The Contraction Mapping Principle The notion of a complete space is introduced in Section 1 where it is shown that every metric space can be enlarged to a complete one without further condition.

More information

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and

More information

Analysis II: The Implicit and Inverse Function Theorems

Analysis II: The Implicit and Inverse Function Theorems Analysis II: The Implicit and Inverse Function Theorems Jesse Ratzkin November 17, 2009 Let f : R n R m be C 1. When is the zero set Z = {x R n : f(x) = 0} the graph of another function? When is Z nicely

More information

Real Analysis Problems

Real Analysis Problems Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.

More information

The Inverse Function Theorem 1

The Inverse Function Theorem 1 John Nachbar Washington University April 11, 2014 1 Overview. The Inverse Function Theorem 1 If a function f : R R is C 1 and if its derivative is strictly positive at some x R, then, by continuity of

More information

MATH 131A: REAL ANALYSIS (BIG IDEAS)

MATH 131A: REAL ANALYSIS (BIG IDEAS) MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.

More information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989), Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS

ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)

More information

g(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)

g(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0) Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to

More information

Metric Spaces Lecture 17

Metric Spaces Lecture 17 Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =

More information

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

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.

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. Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

Measure and integration

Measure and integration Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.

More information

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1) 1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line

More information

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

More information

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

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;

More information

The Arzelà-Ascoli Theorem

The Arzelà-Ascoli Theorem John Nachbar Washington University March 27, 2016 The Arzelà-Ascoli Theorem The Arzelà-Ascoli Theorem gives sufficient conditions for compactness in certain function spaces. Among other things, it helps

More information

I. The space C(K) Let K be a compact metric space, with metric d K. Let B(K) be the space of real valued bounded functions on K with the sup-norm

I. The space C(K) Let K be a compact metric space, with metric d K. Let B(K) be the space of real valued bounded functions on K with the sup-norm I. The space C(K) Let K be a compact metric space, with metric d K. Let B(K) be the space of real valued bounded functions on K with the sup-norm Proposition : B(K) is complete. f = sup f(x) x K Proof.

More information

REAL ANALYSIS I HOMEWORK 4

REAL ANALYSIS I HOMEWORK 4 REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =

More information

Chapter 2 Convex Analysis

Chapter 2 Convex Analysis Chapter 2 Convex Analysis The theory of nonsmooth analysis is based on convex analysis. Thus, we start this chapter by giving basic concepts and results of convexity (for further readings see also [202,

More information

Problem List MATH 5143 Fall, 2013

Problem List MATH 5143 Fall, 2013 Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was

More information