1 The space of continuous functions

Similar documents
Metric Spaces. Chapter Metrics

Representation of functions as power series

Notes on metric spaces

36 CHAPTER 1. LIMITS AND CONTINUITY. Figure 1.17: At which points is f not continuous?

Chapter 7 Nonlinear Systems

I. Pointwise convergence

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

160 CHAPTER 4. VECTOR SPACES

Practice with Proofs

Lecture Notes 10

Fixed Point Theorems

BANACH AND HILBERT SPACE REVIEW

1 if 1 x 0 1 if 0 x 1

1 Norms and Vector Spaces

LECTURE NOTES IN MEASURE THEORY. Christer Borell Matematik Chalmers och Göteborgs universitet Göteborg (Version: January 12)

Advanced Microeconomics

THE BANACH CONTRACTION PRINCIPLE. Contents

Common sense, and the model that we have used, suggest that an increase in p means a decrease in demand, but this is not the only possibility.

NOTES ON LINEAR TRANSFORMATIONS

88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

No: Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Scalar Valued Functions of Several Variables; the Gradient Vector

0 <β 1 let u(x) u(y) kuk u := sup u(x) and [u] β := sup

16.3 Fredholm Operators

Continued Fractions and the Euclidean Algorithm

Elements of probability theory

c 2008 Je rey A. Miron We have described the constraints that a consumer faces, i.e., discussed the budget constraint.

Math 55: Discrete Mathematics

x a x 2 (1 + x 2 ) n.

Math 4310 Handout - Quotient Vector Spaces

Partial f (x; y) x f (x; x2 y2 and then we evaluate the derivative as if y is a constant.

Mathematical Induction. Mary Barnes Sue Gordon

Duality of linear conic problems

1 The Brownian bridge construction

LEARNING OBJECTIVES FOR THIS CHAPTER

MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MA651 Topology. Lecture 6. Separation Axioms.

Inner Product Spaces

Mathematical Methods of Engineering Analysis

3. Mathematical Induction

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

LS.6 Solution Matrices

Systems with Persistent Memory: the Observation Inequality Problems and Solutions

Linear Algebra Notes for Marsden and Tromba Vector Calculus

Implementation of optimal settlement functions in real-time gross settlement systems

Chapter 5. Banach Spaces

1.2 Solving a System of Linear Equations

Metric Spaces. Chapter 1

1. Let P be the space of all polynomials (of one real variable and with real coefficients) with the norm

1. Prove that the empty set is a subset of every set.

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

4 Lyapunov Stability Theory

Separation Properties for Locally Convex Cones

CAPM, Arbitrage, and Linear Factor Models

Inner product. Definition of inner product

Chapter 3: Section 3-3 Solutions of Linear Programming Problems

Class Meeting # 1: Introduction to PDEs

Systems of Linear Equations

Chapter 4: Statistical Hypothesis Testing

Finite dimensional topological vector spaces

1 Inner Products and Norms on Real Vector Spaces

IDENTIFICATION IN A CLASS OF NONPARAMETRIC SIMULTANEOUS EQUATIONS MODELS. Steven T. Berry and Philip A. Haile. March 2011 Revised April 2011

Numerical Analysis Lecture Notes

A new continuous dependence result for impulsive retarded functional differential equations

How To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra

Mathematics for Econometrics, Fourth Edition

THE CONTRACTION MAPPING THEOREM

The Kolchin Topology

Lecture notes on Ordinary Differential Equations. Plan of lectures

Lectures 5-6: Taylor Series

Walrasian Demand. u(x) where B(p, w) = {x R n + : p x w}.

Date: April 12, Contents

Let H and J be as in the above lemma. The result of the lemma shows that the integral

Biinterpretability up to double jump in the degrees

1 Another method of estimation: least squares

JUST THE MATHS UNIT NUMBER 8.5. VECTORS 5 (Vector equations of straight lines) A.J.Hobson

Columbia University in the City of New York New York, N.Y

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

Similarity and Diagonalization. Similar Matrices

UCLA. Department of Economics Ph. D. Preliminary Exam Micro-Economic Theory

THE DIMENSION OF A VECTOR SPACE

Unified Lecture # 4 Vectors

1 Maximizing pro ts when marginal costs are increasing

5 Numerical Differentiation

mod 10 = mod 10 = 49 mod 10 = 9.

Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization

How To Solve A Minimum Set Covering Problem (Mcp)

Continuity of the Perron Root

Chapter 3: The Multiple Linear Regression Model

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

Functions: Piecewise, Even and Odd.

So let us begin our quest to find the holy grail of real analysis.

Row Echelon Form and Reduced Row Echelon Form

Transcription:

Math 154 Analysis II Spring, 211 Notes #1 These notes are supplementary to the text, and do not replace it. I will post them on the website, at irregular intervals. Not all material in the text, or in the lectures, will be discussed in the notes. Ordinarily, you should read the text rst, then the relevant notes, if any. This rst set is concerned with the material in Sections 5.5 and 5.6 of the text. 1 The space of continuous functions While you have had rather abstract de nitions of such concepts as metric spaces and normed vector spaces, most of 153, and also 154, are about the spaces R n. This is what is sometimes called classical analysis, about nite dimensional spaces, and provides the essential background to graduate analysis courses. More and more, however, students are being introduced to some in nite dimensional spaces earlier. This section is about one of the most important of these spaces, the space of continuous functions from some subset A of a metric space M to some normed vector space N: The text gives a careful de nition, calling the space C (A; N). The simplest case is when M = R (= R 1 ). Let A be a subset of R. Then let C (A; R) = ff : A! R j f is continuousg : In the most common applications A is a compact interval. Thus C ([; 1] ; R) is the space of all continuous f : [; 1]! R: When A R and N = R; C (A; R) is often shortened to C (A) : However any careful writer makes it clear what is meant by this notation. More generally, A could be a subset of any metric space M; and f could map M to R or to R m : De nition 1 If A M, then C (A; R m ) = ff : A! R m j f is continuousg : It is easy to turn C (A; R m ) into a vector space, by de ning addition and scalar multiplication in the usual way: (f + g) (x) := f (x) + g (x), (cf) (x) = c (f (x)) : You probably ran into this even in linear algebra. (I use := to denote an equation which de nes the quantity on the left.) 1

However it is also very useful to de ne a norm, so that C (A; R m ) is a normed vector space. This is a little trickier. We shall only do so when A is a compact set. In that case, Theorem 4.2.2 (in the text) implies that each f 2 C (A; R m ) is bounded. (It is a good thought exercise to look at Theorem 4.2.2, observe that the word bounded does not appear, and explain to yourself why it implies that in the case we are considering, f is bounded.) This allows us to de ne a norm. With an eye toward the application we will give shortly, we take m = 1: De nition 2 If A R is compact, and f 2 C (A; R) ; let jjfjj = max jf (x)j : x2a Note that in this de nition I am assuming that the maximum of f is de ned. This is justi ed by the Maximum-Minimum theorem, Theorem 4.4.1. If I say that the maximum of a function f is c; this means that there is a particular x in the domain of f such that f (x) = c; and furthermore, there is no x with f (x) > c: Be sure you are straight on the di erence between a maximum and supremum. The text gives the de nition required for more general A and N: As an example, consider C (I; R) where I is the interval ( 1; 1). In that case f : I! R can be continuous and yet not have a maximum. You should be able to think of an example which is a bounded function. More signi cantly, f might not be bounded. In that case, C (I; R) is not turned into a normed space in a natural way. (There may be some peculiar way to do it. ) Instead, for general A; the text considers C b (A; R) := ff 2 C (A; R) j f is boundedg : Note that this is a vector space. Then for f 2 C b (A; R) we let jjfjj = sup jf (x)j : x2a (What theorem tells us this exists?) Some homework at the end of the section is concerned with this. Theorem 5.5.1 implies that if A is compact then C (A; R) is a normed linear space, as is C b (A; R) for general A: We will mainly be concerned with part (ii) of this theorem, since I think that in all our examples N will be a normed vector space. Once we de ne a norm, we can de ne convergence of sequences. De nition 3 A sequence ff k g C b (A; R) converges to f 2 C b (A; R) if lim jjf k fjj = : k!1 2

As the text points out, the following assertion is then obvious from the de nitions of convergence of a sequence in C b (A; R) and uniform convergence as it was discussed in section 5.1. Proposition 4 A sequence ff k g C b (A; R) converges to f 2 C b (A; R) if and only if lim k!1 f k (x) = f (x) uniformly on A: Why? and does it make any di erence if A is compact? If A is compact, what is the relation between C (A; R) and C b (A; R)? What can you say about these two spaces if you don t know that A is compact (it might be, or not). 2 Examples 1. n = 1; A = [; 1]. The space C ([; 1] ; R) is often denoted by C ([; 1]) ; the image space R being understood. Clearly, f (x) = x 2 + cos x + e x is in C (A; R) ; but 1 g (x) = if < x 1 x if x = is not. 2. n = 1; A = (; 1). Then g (x) = 1 for < x < 1 is in C (A; R) : Is g in x C b (A; R)? 3. n = 2; A = [; 1] [; 1). Is x y in C b (A; R)? What about y x? 3 The Ascoli-Arzela theorem This is one of the most important theorems in analysis. As one application, it tells us what subsets of C (A; R) are compact. First let s recall how to decide if a subset S of R n is compact. Since R n is a metric space, the Bolzano-Weierstrass theorem tells us that S is compact if and only if every sequence of points in S has a convergent subsequence. Then the Heine-Borel theorem says that a set R n is compact if and only if it is closed and bounded. We saw that C ([; 1]) is a normed linear space. Let S = ff 2 C ([; 1]) j jjfjj 1g : 3

Obviously S is bounded. To see that S is closed, suppose that ff n g S and f n! g in C ([; 1]) : (This was de ned in the previous section.) I claim that jjgjj 1: Suppose not, and jjgjj > 1: Let = jjgjj 1; or Then there is an N such that for n N; jjf n inequality, jjgjj = + 1 (1) gjj < : In this case, by the triangle 2 jjgjj = jjg f n + f n jj jjg f n jj + jjf n jj 2 + 1; which contradicts (1) : Hence, S is closed and bounded. Let us see if S is compact. Consider the sequence ff n g where f n (x) = x n for x 1: Then f n 2 S for each n: Also. lim f n (x) = n!1 if x < 1 1 if x = 1: Hence,ff n g does not converge to a continuous function. Further, no subsequence of ff n g converges to a continuous function. (Do you think this needs further proof? If so, ll in the details!) This shows that S is not compact. The Heine-Borel theorem does not hold in the in nite dimensional normed linear space C ([; 1]). Some other testable condition is needed to guarantee that a set S is compact. De nition 5 A sequence ff n g of functions in C ([; 1]) is uniformly bounded if there is an M > such that jjf n jj M for n = 1; 2; 3; : De nition 6 A sequence S of functions in C ([; 1]) is equicontinuous if for each " > there is a > such that if x and y are in [; 1] with jx yj <, and f 2 S; then jf (x) f (y)j < ": (2) In other words, in the de nition of continuity of a function, the does not depend on x; y or the function f chosen from S: (Compare this with the de nition of uniform continuity of a function.) One example of an equicontinuous set of functions is a set S of functions in C ([; 1]) such that every function f in S satis es a Lipschitz condition in [; 1] and the Lipschitz constant L can be chosen to be the same for every f in S. In this case, if " > is given then choose = " and check that (2) holds: The does not depend L on f: 4

For instance, we can let S be the sequence ff n g of functions given by f n (x) = xn : n Then fn (x) = x n 1 ; so jfn (x)j 1 for every n and every x 2 [; 1] : By the mean value theorem we can choose L = 1: On the other hand, we will show that fx n g is a uniformly bounded sequence (on [; 1]), but not an equicontinuous one. Uniform boundedness is obvious. For equicontinuity, suppose that " = 1 and that there is a such that (2) holds for 2 every n and every x and y in [; 1] with jx yj <. Choose y = 1 and x = 1 : 2 n Since lim n!1 1 2 = ; we can choose n so large that fn (1) f n 1 2 = n 1 1 2 > 1; contradicting (2). Hence, S is not equicontinuous. As we saw, S 2 does not have a convergent subsequence. Theorem 7 (Ascoli-Arzela) If S = ff n g is a uniformly bounded and equicontinuous sequence of functions in C ([; 1]) ; then S has a subsequence which converges in C ([; 1]) : Remark 8 It is important that the limit function is also in C ([; 1]) : But this is what we mean when we say that a subsequence converges in C ([; 1]). The proof (for a more general case) is in the text, and will be given in class. The practical application of this theorem is often easier than the example above might suggest. If f is di erentiable on [; 1] ; and for some ; jf (x)j L for every x 2 [; 1] ; then L is a Lipschitz constant for f: This follows from the mean value theorem. Hence, for a sequence ff n g, if each f n is di erentiable on [; 1] ; and jfn (x)j L for every n and every x 2 [; 1] ; then ff n g is equicontinuous. If in addition, there is a K such that jjf n jj K for every n; then ff n g is equicontinuous and uniformly bounded, and some subsequence of ff n g converges in C ([; 1]). Turning to compactness, if S C ([; 1]) ; every f 2 S is di erentiable on [; 1] ; and there are numbers L and B such that jjfjj B and jf (x)j L for every f 2 S and every x 2 [; 1] ; then S is a compact subset of C ([:1]). As an example of a compact set we can consider Z x S = g j g (x) = f (s) ds for some f 2 C ([; 1]) with jjfjj 1 : You should use the Ascoli-Arzela theorem to show that S is compact. 4 Contraction mapping theorem This is another result that can be used to show that sequences converge. It is easier to prove than Ascoli-Arzela and gives a stronger result. However there are many 5

examples where Ascoli-Arzela can be applied but the contraction mapping theorem cannot. The statement below is weaker than the one in the text, but is adequate for many applications, including the one given in the next section. You should compare it with the one in the text (Theorem 5.7.1) and gure out what makes the text version stronger. Also determine why the proof given below would not be a valid proof for Theorem 5.7.1. Theorem 9 Let B be a Banach space, M a closed subset of B; and a mapping from M to M such that for some k 2 [; 1); jj (x) (y)jj k jjx yjj for any two points x and y in M: Then there is a unique point z in M such that (z) = z: De nition 1 Such a point z is called a xed point for : Proof. Choose some x in M: De ne a sequence fx i g by setting x i+1 = (x i ) ; for i = ; 1; 2; : Then for any n; Also, for i 1; x n = x + (x 1 x ) + (x 2 x 1 ) + + (x n x n 1 ) : and by induction we easily show that jjx i+1 x i jj k jjx i x i 1 jj ; jjx i+1 x i jj k i jjx 1 x jj : Because jkj < 1; 1 i=1k i converges, which implies that 1 i=1 jjx i+1 x i jj converges. (Why?) By the Weirerstrass M test (Theorem 5.2.2), 1 i=1 (x i+1 x i ) converges in B; and hence lim n!1 x n exists. Let z be this limit. Since M is closed and x n 2 M for each n, z 2 M: Also, x n+1 = (x n ) ; and so (from the de nition of limit) Further, for any n lim (x n) = lim x n+1 = z: n!1 n!1 k (z) zk = jj (z) (x n ) + (x n ) zjj k jjz x n jj + jj (x n ) zjj : 6

Since the limit of the right side as n! 1 is zero, and the left side is independent of n; it follows that the left side is zero for every n; and so z is a xed point for : To prove uniqueness, suppose that there are two xed points, say x and y: Then and so f (x) = x; f (y) = y jx yj = jf (x) f (y)j k jx yj where < k < 1: This is only possible if x = y: 5 Application There is an easy application of the contraction mapping theorem to di erential equations. We consider an initial value problem for an ode, of the form x = f (t; x) (3) x () = : (4) Here, x is one dimensional. It is also possible to consider systems of ode s, in which x and f (t; x) are n-dimensional, but we will stick with one dimensional case. Theorem 11 Suppose that f is continuous in a rectangle given by T t T; X x X: Suppose also that in the function f satis es a Lipschitz condition of the form jf (t; x) f (t; y)j K jx yj : Then there is some > such that the initial value problem (3)-(4) has a unique solution (t) on the interval [ ; ] such that () = : Remark 12 Notice that I have used to denote a solution to the ode (3). This is sometimes more convenient than denoting the solution by x: To say that is a solution to (3) is simply to say that (t) = f (t; (t)). Remark 13 It is important also to note that the interval [ ; ] may be smaller than [ T; T ]. In class I will give an example showing that this is a necessary restriction in the theorem. The solution may not exist on [ T; T ] : 7

Proof. We will use an integral equation which is equivalent to the initial value problem (3)-(4). If is a continuous function on the interval I := [ T; T ] ; with j (t)j X on I; and f is continuous on, then Theorem 4.3.1 implies that f R (s; (s)) is a continuous function of s for s 2 I: Then Theorem 4.8.4 implies that t f (s; (s)) ds is de ned for s 2 I; and the fundamental theorem of calculus tells us that this function is di erentiable and that Z d t f (s; (s)) ds = f (t; (t)) : dt Let and set L = max jf (t; x)j (t;x)2 = min T; X L ; 1 ; 2K Then let B = C ([ ; ]) and M = f 2 B j jj jj Xg ; where jj jj = max t j (t)j : It is easy to show that M is a closed subset of B: On M de ne a mapping : M! B by ( ) (t) = Z t f (s; (s)) ds: If 2 M; then for each t with jtj we use the de nition of to get Z t jj ( )jj Lds = jltj L X: Hence, : M! M: Also, if 1 and 2 are in M; then for each t 2 [ ; ] ; j ( 1 ) (t) ( 2 ) (t)j Z t Z jf (s; 1 (s)) f (s; 2 (s))j ds Z K j 1 (s) 2 (s)j ds K jj 1 2 jj : jf (s; 1 (s)) Hence jj ( 1 ) ( 2 )jj K jj 1 2 jj : Since K < 1; is a contraction on M; and so by the contraction mapping theorem, has a unique xed point, which we denote by : Then for jtj, (t) = Z t f (s; (s)) ds: (5) Obviously () = ; and by di erentiating (5) we see that satis es (1). This proves Theorem 11. 8 f (s; 2 (s))j ds

6 Homework (Due Wednesday, January 12 at the beginning of class. No late homework accepted. Problems will be discussed at the beginning of the class where they are due.) When the answer is in the back of the book, you still have to prove that it is correct. 1. pg. 272, # 1 2. pg. 272, # 4 3. pg. 275, #5. 4. pg. 282, # 4. 5. pg. 322, # 47 ( rst part). (You can take m = n = 1: ) 9