MATH 411 NOTES (UNDER CONSTRUCTION)

Similar documents
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018

Math , Fall 2014 TuTh 12:30pm - 1:45pm MTH 0303 Dr. M. Machedon. Office: Math Office Hour: Tuesdays and

Austin Mohr Math 704 Homework 6

Problem Set 2: Solutions Math 201A: Fall 2016

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Course 212: Academic Year Section 1: Metric Spaces

Solutions to Problem Set 5 for , Fall 2007

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Exam 2 extra practice problems

THE INVERSE FUNCTION THEOREM

ABSTRACT INTEGRATION CHAPTER ONE

Math 172 Problem Set 5 Solutions

MAT 544 Problem Set 2 Solutions

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

Lecture Notes on Metric Spaces

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

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k

f(x) f(z) c x z > 0 1

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

Solutions Final Exam May. 14, 2014

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

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

REAL ANALYSIS I HOMEWORK 4

Week 5 Lectures 13-15

Real Analysis Notes. Thomas Goller

McGill University Math 354: Honors Analysis 3

Metric Spaces Math 413 Honors Project

Math 140A - Fall Final Exam

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

2. Metric Spaces. 2.1 Definitions etc.

The Heine-Borel and Arzela-Ascoli Theorems

MATH 202B - Problem Set 5

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

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

Real Analysis Chapter 4 Solutions Jonathan Conder

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

We denote the space of distributions on Ω by D ( Ω) 2.

7 Complete metric spaces and function spaces

Analysis III Theorems, Propositions & Lemmas... Oh My!

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

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

Math LM (24543) Lectures 02

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

A List of Problems in Real Analysis

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

Math 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M

4 Countability axioms

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

Continuous Functions on Metric Spaces

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

Real Analysis Problems

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

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.

Topology Homework Assignment 1 Solutions

Fall f(x)g(x) dx. The starting place for the theory of Fourier series is that the family of functions {e inx } n= is orthonormal, that is

Metric Spaces and Topology

Math General Topology Fall 2012 Homework 13 Solutions

REAL AND COMPLEX ANALYSIS

Math 421, Homework #9 Solutions

Problem Set 5: Solutions Math 201A: Fall 2016

Mathematical Analysis Outline. William G. Faris

Notes on Distributions

Metric Spaces Math 413 Honors Project

Math 117: Continuity of Functions

Topological properties

Thus f is continuous at x 0. Matthew Straughn Math 402 Homework 6

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Chapter 1.6, Page 37 Problem 2: (a) Prove that x is in the Cantor set iff x has a ternary expansion that uses only 0 s and 2 s.

Math The Laplacian. 1 Green s Identities, Fundamental Solution

INVERSE FUNCTION THEOREM and SURFACES IN R n

CHAPTER 1. Metric Spaces. 1. Definition and examples

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

MATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f

Solutions: Problem Set 4 Math 201B, Winter 2007

Functional Analysis HW 2

Laplace s Equation. Chapter Mean Value Formulas

FINAL REVIEW Answers and hints Math 311 Fall 2017

02. Measure and integral. 1. Borel-measurable functions and pointwise limits

Section 21. The Metric Topology (Continued)

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

MATH 55 NOTES AARON LANDESMAN

Honours Analysis III

Chapter 2. Metric Spaces. 2.1 Metric Spaces

Math 117: Topology of the Real Numbers

2. Function spaces and approximation

Most Continuous Functions are Nowhere Differentiable

Entrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems

Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng

REVIEW OF ESSENTIAL MATH 346 TOPICS

TOPICS IN FOURIER ANALYSIS-IV. Contents

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

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005

Remarks on the Gauss-Green Theorem. Michael Taylor

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,

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

TEST CODE: PMB SYLLABUS

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

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

1 Review of di erential calculus

CHAPTER 9. Embedding theorems

Transcription:

MATH 411 NOTES (NDE CONSTCTION 1. Notes on compact sets. This is similar to ideas you learned in Math 410, except open sets had not yet been defined. Definition 1.1. K n is compact if for every covering of K by open sets V α there exists a finite subcover V α1, V αm (that is, if V α are open sets so that K α V α then you know for sure there exist finitely many V α such that K V α1 V αn The following will be checked in detail in class: If K is compact, then K is bounded. (se V m = B m (0. If K is compact, then K is closed. (Proof: Let u i a sequence in K converging to u. If u is not in K, then the sets {1/m < x u < m} are an open cover of K. This can t have a finite subcover (why?. Conversely, we prove that K closed and bounded implies K compact. Proposition 1.2. If K is a closed subset of a compact set L, then K is compact. Proof. Let {V α } be an open cover of K. Then {V α } together with the open set K c cover L. There exists a finite subcover of L consisting of some V α s and possibly K c. That finite subcover is also a cover of K, and you can remove K c from it, since it has no points in common with K. Now let K be closed and bounded. It is contained in some closed cube C, so it suffices to show a closed cube is compact. Proposition 1.3. Let C be a closed cube in n. Then C is compact. Proof. Let {V α } be an open cover of C. Assume, by contradiction, it has no finite subcover. Divide C into 2 n subcubes (of side half the side of C. At least one of them say C 1, has no finite subcover of V α s. Divide it again into 2 n subcubes. At least one of those cubes, called C 2 has no finite subcover. epeat the procedure to get a nested sequence...c 3 C 2 C 1 C of cubes with sides converging to 0, and the property that none can be covered by finitely many V α s. By the nested 1

2 MATH 411 NOTES (NDE CONSTCTION cubes theorem (exercise there exists a unique u C i for all i, and that u belongs to at least one V α0. But then for all i sufficiently large, C i is covered by just one V α0, contradiction. 2. Notes on the inverse function theorem Let F : n n be C 1, assume that DF (x is invertible. We will show that there exists δ 0 > 0, such that for every 0 < δ < δ 0 and every y satisfying F (x δ y <, there exists x with 2 (DF (x 1 x x δ such that F (x = y. The solution x can be obtained as the limit of the sequence x k+1 = x k (DF (x 1 (F (x k y, where x 1 is chosen so that x x 1 δ. Notice some similarity with the Newton method for solving f(x y = 0. Actually, we will obtain the limit as a fixed point, x = x (DF (x 1 (F (x y The main step, which will be checked in class, is that there exists δ 0 > 0 such that x z (DF (x 1 (F (x F (z 1 x z 2 for all x, z B δ0 (x (closed ball. This follows by noticing that the derivative matrix of G(x = x (DF (x 1 F (x evaluated at x is 0. Once that is established, consider T : B δ (x n given by T (x = x (DF (x 1 (F (x y. We will check in class that T : B δ (x B δ (x is a contraction with Lipschitz constant 1, hence it has a fixed point, 2 which solves F (x = y. 3. Convolutions Definition 3.1. Let g : n. The support of g is the closure of the set {x n g(x 0}. ecall the closure of a set is the union of that set and its boundary, and is always a closed set. Definition 3.2. Let f, g : continuous, assume g has compact support. The convolution of f and g is defined by f g(x = f(yg(x ydy = f(x yg(ydy

MATH 411 NOTES (NDE CONSTCTION 3 Notice that if g = 0 outside some [, ], then f(yg(x y = 0 for y outside [x, x+], so the integrals are in fact over bounded intervals, [, ] and [x, x + ]. Theorem 3.3. Let f, g : uniformly continuous, assume g has compact support contained in [ 1, 1] and gdx = 1. Define g δ(x =. Then f 1 δ g( x δ uniformly as δ 0. Proof. and g δ (x f(x f g δ (x = f(yg δ (x ydy = = f(x δyg(ydy f g δ (x f(x = 1 1 (f(x δy f(x g(ydy 0 f(x yg δ (ydy (f(x δy f(x g(ydy uniformly in x. (Let M such that g(x M for all x. Let ɛ > 0. Let δ > 0 such that f(x y f(x ɛ for all y δ. Then 2M 1 1 (f(x δy f(x g(y dy ɛ for all x. 4. Partitions of unity Theorem 4.1. Let f : n be a C 1 function supported in a finite union of k balls k i=1b ri (x i. Then there exist C 1 functions f i supported in B ri (x i such that f = f i. Proof. First we argue that there are s i < r i such that the support of f is covered by B si (x i. Indeed, the infinite union si <r i B si (x i cover the compact support of f, so finitely many also do. Let χ i be C 1 functions supported in B ri (x i, f i = 1 on B si (x i. (It is easy to construct such functions. Write so 0 = f(x(1 χ 1 (x(1 χ 2 (x (1 χ k (x f(x = f(xχ 1 (x + f(x(1 χ 1 (xχ 2 (x+ f(x(1 χ 1 (x(1 χ 2 (xχ 3 (x + f(x(1 χ 1 (x(1 χ 2 (x χ k (x

4 MATH 411 NOTES (NDE CONSTCTION 5. The divergence theorem Definition 5.1. is a C 1 open set if there exists a C 1 function k with k(x 0 if k(x = 0 such that = {x n k(x > 0}. By the implicit function theorem, every point in = {x n k(x = 0} has a neighborhood V where (after re-labeling coordinates agrees with {x n > r(x 1, x n 1 } for some C 1 function r. The outward pointing normal is Ñ = ( r, 1, the unit outward pointing normal is Ñ(x Ñ(x. N(x = If f is a compactly supported continuous function supported in V, then, by definition, fds = f(x 1,, x n 1, r(x 1, x n 1 Ñ dx 1 x n 1 n 1 (1 If f is a general compactly supported continuous function, and is a C 1 open, bounded set, then for every point x in the support of f there exists an open ball B r (x such that either B r (x does not intersect or else agrees (after re-labeling coordinates with {x n > r(x 1, x n 1 } for some C 1 function r. Cover the support of f with finitely many such balls, and apply theorem (4.1 to write f = f 0 + f 1 + f k where all f i are compactly supported continuous functions and the support of f 0 does not meet and agrees with the graph of a C 1 function on the support of f 1, f k. Each f ids is well defined by (1 and we define k fds = f i ds i=1 One can show that the definition is independent of the choices made. This also follows from the divergence theorem once we prove it. Lemma 5.2. Let = {x n > r(x 1, x n 1 } and f a compactly supported C 1 function. Let H : be the Heaviside function (H(x = 0 if x 0, H(x = 1 in x > 0 and let h : be a C 1 smoothed out Heaviside function (h(x = 0 if x 0, h(x = 1 in x > 1, and C 1 in-between. Then f(xdx = lim ɛ 0 h( x n h(x 1, x n 1 ɛ n f(xdx

MATH 411 NOTES (NDE CONSTCTION 5 Proof. = f(xdx = n 1 ( n 1 ( f(xdx n dx 1, dx n 1 r(x 1, x n 1 H(x n h(x 1, x n 1 f(xdx n dx 1, dx n 1 Now we notice that h( x n r(x 1, x n 1 f(xdx n ɛ H(x n r(x 1, x n 1 f(xdx n uniformly in x 1, x n 1. This uses the fact that f is bounded. Now we can conclude that ( h( x n r(x 1, x n 1 f(xdx n dx 1 dx n 1 ɛ n 1 ( H(x n r(x 1, x n 1 f(xdx n dx 1 dx n 1 n 1 Theorem 5.3. (The divergence theorem. Let be a bounded open set in n with C 1 boundary. Let V 1, V n be C 1 functions supported in a neighborhood of Ū. Then ( V1 + + V n dx = V, N ds x 1 x n where N is the outward pointing unit normal to. Proof. We will prove the equivalent form fdx = fnds for each of the compactly supported C 1 functions f i of Theorem (4.1. There is nothing to prove for f 0. Let f be one of f 1, f k, and write as the graph of r on the support of f. We have fdx = lim h( x n r(x 1, x n 1 f(xdx ɛ 0 ɛ ( n = lim h( x n r(x 1, x n 1 f(xdx ɛ 0 ɛ = lim ɛ 0 n 1 n ( 1 ɛ h ( x n r(x 1, x n 1 ɛ f(xñ(xdx n dx 1 dx n 1 := I ɛ

6 MATH 411 NOTES (NDE CONSTCTION The final remark is that by Theorem (3.3 (and its proof 1 ɛ h ( x n r(x 1, x n 1 ( ɛ f(xñ(xdx n fñ (x 1, x n 1, r(x 1, x n 1 uniformly in x 1, x n 1 and thus ( I ɛ fñ (x 1, x n 1, r(x 1, x n 1 dx 1 dx n 1 n 1 = fnds