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)
|
|
- Eunice Evangeline Robinson
- 6 years ago
- Views:
Transcription
1 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 every order exist and are continuous. Proposition. The function g(x) = { 0 if x 0 e x if x > 0 is C. This will follow from several lemmas. Note the only thing we need to prove is that g (n) (0) exists for all n. We will show g (n) (0) = 0 for all n. Lemma 2. For x > 0, n 0 the n th derivative g (n) (x) = P ( x )e x for P a polynomial. Proof. This is true for n = 0. Now inductively, if g (n) (x) = P ( x )e x, compute for x > 0 g (n+) (x) = P ( x ) ( x 2 ) e x + P ( x ) e x ( x 2 ). Now note that P ( x ) ( x 2 ) + P ( x ) ( x 2 ) is also a polynomial in x. Lemma 3. If P is a polynomial, then lim P ( x 0 + x )e x = 0. Proof. Mae the substitution y =, and note that x Lemma 4. For all n, g (n) (0) = 0. P (y) lim = 0. y e y Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n+) (0) = lim g (n) (h) g (n) (0) h = lim g (n) (h) h by the inductive hypothesis. For h < 0, it is clear that g (n) (h) = 0, and thus that g (n) (h) lim = 0. h
2 For h > 0, use Lemma 2 to compute g (n) (h) lim + h = lim P ( + h h )e h = 0 by applying Lemma 3 for the polynomial P (y) = yp (y). Since the left and right limits are equal, we find g (n+) (0) = 0 and by induction this holds for all n. The Proposition is proved. Theorem. There is a function φ on which satisfies () φ(x) 0 for all x. (2) φ C ( ). (3) supp φ = B (0). (4) φ dm =. Proof. For g from Proposition above, let { φ(x) = c g( x 2 0 if x ) = c exp( ) if x < x 2 where c is defined so that φ dm =. Then φ is C since φ = c g h for h = x 2 = x 2 x 2. h is C since it s a polynomial. Then we can verify that all the various partial derivatives of φ = c g h are continuous by using the usual rules of differentiation (the chain rule in multiple variables, the product rule, etc.) to compute them. A mollifer is a family of functions φ δ based on φ given by φ δ (x) = δ φ( x ) for all δ > 0. Then it is easy to chec that δ Proposition 5. For all δ > 0, () φ δ (x) 0 for all x. (2) φ δ C ( ). (3) supp φ δ = B δ (0). (4) φ δ dm =. Proof. All of these properties are obvious except the last one. For the last one, we use the change of variables formula in multiple integrals to prove φ δ (x) dm(x) = δ φ( x) dm(x) = δ φ(y) dm(y) =, by using using the substitution y = x, which implies dm(y) = δ δ dm(x) for δ the Jacobian determinant. 2
3 A function f is mollified by convolution with φ δ. Define f δ (x) = (f φ δ )(x) = f(x y)φ δ (y) dm(y) = f(y)φ δ (x y) dm(y), as long as the integrals converge. In this case, note that the integrals in the line above are equal by maing the substitution z = x y, which implies dm(z) = dm(y) (the multiplicative factor is the absolute value of the Jacobian determinant, which is ). The idea is that f δ (x) is a weighted, smoothed average all the values of f in the ball B δ (x) of radius δ and center x. To see this, we mae an analogous construction using the function α(x) = m(b (0)) χ B (0)(x). Then α satisfies the same properties as φ in Theorem except it is not smooth. Then if we define α δ (x) = δ α( x ), the convolution δ (f α δ )(x) = f(y)α δ (x y) dm(y) = m(b δ (x)) f(y) dm(y) B δ (x) is the average value of f over the ball B δ (x) of radius δ and center x. Since φ δ 0 and has integral over its support B δ (0), we can consider (f φ δ )(x) to be a weighted average of f over B δ (x). We say a complex function f on is locally L if χ K f L for every compact subset K of. It is an easy consequence of Hölder s inequality that every f L p ( ) is locally L for p. Compute for q the conjugate exponent of p: fχ K dm = f dm f L p (K) L q (K) f L p ( ) m(k) q < K Theorem 2. If f : C is locally L and ψ : C is C with compact support, then f ψ is C. In order to prove this theorem, we need a few lemmas: Lemma 6. If f L loc ( ) and ψ C c ( ), then f ψ is continuous. Proof. Let x n x be a convergent sequence. The lemma is proved if we can show (f ψ)(x n ) = f(y)ψ(x n y) dm(y) f(y)ψ(x y) dm(y) = (f ψ)(x). Note that the definition of f ψ is unchanged if f is redefined on a set of measure 0. Thus, without loss of generality, assume f is defined everywhere. 3
4 We may assume x n B (x). Choose r > 0 so that supp ψ B r (0) (since ψ has compact support). Since ψ is continuous, we have for all y, f(y)ψ(x n y) f(y)ψ(x y). Moreover, if C = sup ψ <, then for all x n, we have f(y)ψ(x n y) C f(y) χ Br+ (x) (y). (To show the last term is justified, note that if y > r +, then x n y y x n > (r + ) = r and so ψ(x n y) = 0.) By assumption, the function on the right-hand side is integrable. So the Dominated Convergence Theorem applies to show that lim (f ψ)(x n) = lim f(y)ψ(x n y) dm(y) n = lim f(y)ψ(x n y) dm(y) n = f(y)ψ(x y) dm(y) n = (f ψ)(x). Lemma 7. If f L loc ( ) and ψ C c ( ), then for all i =,...,, ψ (f ψ) = f xi x. i Proof. We may assume ψ is real, since we may otherwise consider the real and imaginary parts. Compute at x, for e i the i th coordinate vector (f ψ)(x) = lim x [(f ψ)(x + he i h i) (f ψ)(x)] [ = lim f(y)ψ(x + he i y) dm(y) h ] f(y)ψ(x y) dm(y) = lim f(y) h = lim f(y) ψ x (x y + c(h)e i) dm(y), i ( ψ(x + hei y) ψ(x y) 4 ) dm(y)
5 where we use the Mean Value Theorem to find a value c(h) so that c(h) h (here we use that ψ is real). Continue to compute at x x i (f ψ) = lim = ( f ψ x i ( f ψ x i ) (x) ) (x + c(h)e i ) 5 where we apply Lemma 6 to tae the last limit. Proof of Theorem 2. Apply Lemma 7 to compute the first partial derivative ψ (f ψ) = f xi x. i This function is continuous by Lemma 6 and since ψ C x i c ( ). The higher-order partial derivatives can be handled by induction. Lemma 8. If f is locally L and f δ = f φ δ is the standard mollifier, then Proof. If suppf δ suppf + B δ(0) = {x + y x suppf, y Bδ(0) }. 0 f δ (x) = f(x y)φ δ (y) dm(y) = B δ (0) f(x y)φ δ (y) dm(y), then f(x y) cannot be identically zero for all y B δ (0). So for some such y, x y supp f, and thus x = (x y) + y supp f + B δ (0). Theorem 3. If f : C is continuous, and φ δ is the standard mollifier, then f δ = f φ δ f uniformly on compact subsets of. Proof. Let K be compact. Then there is an r > 0 so that K B r (0). On the compact set B r+ (0), f is uniformly continuous. Choose ɛ > 0. There is an η > 0 so that if z, w B r+ (0), then z w < η implies f(z) f(w) < ɛ. We may additionally assume η <. Let δ (0, η).
6 For x K B r (0), compute f δ (x) f(x) = f(x y)φ δ (y) dm(y) f(x) = f(x y)φ δ (y) dm(y) f(x)φ δ (y) dm(y) f(x y) f(x) φ δ (y) dm(y) = f(x y) f(x) φ δ (y) dm(y) < B δ (0) B δ (0) ɛ φ δ (y) dm(y) = ɛ The last line is justified since x B r (0) B r+ (0) and x y B r (0)+ B δ (0) B r+ (0). Since this estimate applies to all x in the compact set K, we have that f δ f uniformly on K. Corollary 9. If f C c ( ), then f δ f uniformly on. Theorem 4. For p <, C c ( ) is dense in L p ( ). Proof. Let f L p ( ) and ɛ > 0. Then Theorem 3.4 of udin implies there is a g C c ( ) so that f g p < ɛ. 2 Now let g δ = g φ δ for φ the standard mollifier. Then Corollary 9 implies g δ g uniformly as δ 0. Assume supp g B r (0) for some r > 0. Then supp g δ B r (0) + B δ (0) = B r+δ (0). Compute g δ g p p = g δ g p dm = g δ g p dm sup g δ g p m(b r+δ (0)). B r+δ (0) Now sup g δ g 0 since g δ g uniformly. Thus g δ g p 0 and there is a δ > 0 so that g δ g p < ɛ. 2 Therefore, f g δ p f g p + g g δ p < ɛ. g δ Cc ( ) since supp g δ supp g + B δ (0) is compact. g δ is C by Theorem 2. A similar but more precise result is Theorem 5. For any p < and f L p ( ), then f φ δ f p 0 as δ 0, where φ is any nonnegative measurable function on with total integral one. The proof is essentially contained in Theorems 9.5, 9.9 and 9.0 in udin. Proposition 0. Let f L p ( ) for p <, and let y. Let f y (x) = f(x y). Then the map y f y is a continuous map from to L p ( ). 6
7 Proof. Let ɛ > 0. By udin, Theorem 3.4, choose a continuous function g with compact support so that f g p < ɛ. Let > 0 be so that supp g B (0). Since g is continuous with compact support, it is uniformly continuous. Thus there is a δ (0, ) so that s t < δ implies g(s) g(t) < m(b 0 (2)) p ɛ, for m Lebesgue measure on. Then compute for s t < δ g s g t p p = g(x s) g(x t) p dx < m(b 2 (0)) ɛ p m(b +δ (s)) < ɛ p. Whenever s t < δ, f s f t p f s g s p + g s g t p + g t f t p = (f g) s p + g s g t p + (g f) t p = f g p + g s g t p + g f p < 3ɛ. Here we have used the change of variables z = x s for α = f g to compute α s p p = α(x s) dx = α(z) dz = α p p. Proof of Theorem 5. We need to prove that lim f φ δ f p = 0. δ 0 As in the proof of Theorem 3 above, we have (f φ δ )(x) f(x) f(x y) f(x) φ δ (y) dm(y). Since φ δ is a positive function with integral one, we may apply Jensen s Inequality for the convex function t t p to find ( ) p (f φ δ )(x) f(x) p f(x y) f(x) φ δ (y) dm(y) f(x y) f(x) p φ δ (y) dm(y). 7
8 Now we may integrate this inequality over in x and use Fubini s Theorem to find f φ δ f p p f(x y) f(x) p φ δ (y) dm(y) dm(x) = f(x y) f(x) p dm(x) φ δ (y) dm(y) = f y f p p φ δ (y) dm(y). Let g(y) = f y f p p. Proposition 0 above shows g is a continuous function, and it is clear that g(0) = 0. Moreover, g is bounded since g(y) = f y f p p ( f y p + f p ) p = (2 f p ) p. We continue computing to find f φ δ f p p g(y)φ δ (y) dm(y) = g(y)δ φ(yδ ) dm(y), = g(δs)φ(s) dm(s) for the change of variables s = yδ. As δ 0, g(δs)φ(s) g(0)φ(s) = 0 pointwise on. Moreover, the integrand g(δs)φ(s) g φ(s) for all δ. Since g is bounded and φ is integrable, the Dominated Convergence Theorem applies to show that lim g(δs)φ(s) dm(s) = 0. δ 0 This implies f φ δ f p 0 as δ 0. 8
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 informationReview 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 informationSobolev 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 informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
More informationREAL 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 information2. 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 information1/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 informationExercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.
Real Variables, Fall 2014 Problem set 3 Solution suggestions xercise 1. Let f be a nonnegative measurable function. Show that f = sup ϕ, where ϕ is taken over all simple functions with ϕ f. For each n
More informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationContinuous 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 informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationANALYSIS 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 informationTHEOREMS, 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 informationg 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 informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
More informationReal 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 informationTOPICS IN FOURIER ANALYSIS-IV. Contents
TOPICS IN FOURIER ANALYSIS-IV M.T. NAIR Contents 1. Test functions and distributions 2 2. Convolution revisited 8 3. Proof of uniqueness theorem 13 4. A characterization of distributions 14 5. Distributions
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationReminder Notes for the Course on Distribution Theory
Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationMost Continuous Functions are Nowhere Differentiable
Most Continuous Functions are Nowhere Differentiable Spring 2004 The Space of Continuous Functions Let K = [0, 1] and let C(K) be the set of all continuous functions f : K R. Definition 1 For f C(K) we
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationMATH 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 informationAPPLICATIONS 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 informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationAPPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( )
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 35, 200, 405 420 APPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( ) Fumi-Yuki Maeda, Yoshihiro
More informationFolland: Real Analysis, Chapter 8 Sébastien Picard
Folland: Real Analysis, Chapter 8 Sébastien Picard Problem 8.3 Let η(t) = e /t for t >, η(t) = for t. a. For k N and t >, η (k) (t) = P k (/t)e /t where P k is a polynomial of degree 2k. b. η (k) () exists
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More informationTHE 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 informationTools 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 informationMATH 6337: Homework 8 Solutions
6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x,
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationconverges 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 informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationLebesgue s Differentiation Theorem via Maximal Functions
Lebesgue s Differentiation Theorem via Maximal Functions Parth Soneji LMU München Hütteseminar, December 2013 Parth Soneji Lebesgue s Differentiation Theorem via Maximal Functions 1/12 Philosophy behind
More informationThe optimal partial transport problem
The optimal partial transport problem Alessio Figalli Abstract Given two densities f and g, we consider the problem of transporting a fraction m [0, min{ f L 1, g L 1}] of the mass of f onto g minimizing
More informationAustin Mohr Math 704 Homework 6
Austin Mohr Math 704 Homework 6 Problem 1 Integrability of f on R does not necessarily imply the convergence of f(x) to 0 as x. a. There exists a positive continuous function f on R so that f is integrable
More information1.3.1 Definition and Basic Properties of Convolution
1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationCourse 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 informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationProblem set 4, Real Analysis I, Spring, 2015.
Problem set 4, Real Analysis I, Spring, 215. (18) Let f be a measurable finite-valued function on [, 1], and suppose f(x) f(y) is integrable on [, 1] [, 1]. Show that f is integrable on [, 1]. [Hint: Show
More informationFourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1
Fourier Series Let {e j : 1 j n} be the standard basis in R n. We say f : R n C is π-periodic in each variable if f(x + πe j ) = f(x) x R n, 1 j n. We can identify π-periodic functions with functions on
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationDistributions. Chapter INTRODUCTION
Chapter 6 Distributions 6.1 INTRODUCTION The notion of a weak derivative is an indispensable tool in dealing with partial differential equations. Its advantage is that it allows one to dispense with subtle
More informationUnbounded operators on Hilbert spaces
Chapter 1 Unbounded operators on Hilbert spaces Definition 1.1. Let H 1, H 2 be Hilbert spaces and T : dom(t ) H 2 be a densely defined linear operator, i.e. dom(t ) is a dense linear subspace of H 1.
More informationGeneralized pointwise Hölder spaces
Generalized pointwise Hölder spaces D. Kreit & S. Nicolay Nord-Pas de Calais/Belgium congress of Mathematics October 28 31 2013 The idea A function f L loc (Rd ) belongs to Λ s (x 0 ) if there exists a
More informationThus f is continuous at x 0. Matthew Straughn Math 402 Homework 6
Matthew Straughn Math 402 Homework 6 Homework 6 (p. 452) 14.3.3, 14.3.4, 14.3.5, 14.3.8 (p. 455) 14.4.3* (p. 458) 14.5.3 (p. 460) 14.6.1 (p. 472) 14.7.2* Lemma 1. If (f (n) ) converges uniformly to some
More informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationTOOLS FROM HARMONIC ANALYSIS
TOOLS FROM HARMONIC ANALYSIS BRADLY STADIE Abstract. The Fourier transform can be thought of as a map that decomposes a function into oscillatory functions. In this paper, we will apply this decomposition
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationHarmonic Functions and Brownian motion
Harmonic Functions and Brownian motion Steven P. Lalley April 25, 211 1 Dynkin s Formula Denote by W t = (W 1 t, W 2 t,..., W d t ) a standard d dimensional Wiener process on (Ω, F, P ), and let F = (F
More informationDefinition A.1. We say a set of functions A C(X) separates points if for every x, y X, there is a function f A so f(x) f(y).
The Stone-Weierstrass theorem Throughout this section, X denotes a compact Hausdorff space, for example a compact metric space. In what follows, we take C(X) to denote the algebra of real-valued continuous
More informationGeometric intuition: from Hölder spaces to the Calderón-Zygmund estimate
Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate A survey of Lihe Wang s paper Michael Snarski December 5, 22 Contents Hölder spaces. Control on functions......................................2
More informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 3
Math 551 Measure Theory and Functional Analysis I Homework Assignment 3 Prof. Wickerhauser Due Monday, October 12th, 215 Please do Exercises 3*, 4, 5, 6, 8*, 11*, 17, 2, 21, 22, 27*. Exercises marked with
More informationDistribution Theory and Fundamental Solutions of Differential Operators
Final Degree Dissertation Degree in Mathematics Distribution Theory and Fundamental Solutions of Differential Operators Author: Daniel Eceizabarrena Pérez Supervisor: Javier Duoandikoetxea Zuazo Leioa,
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationA note on some approximation theorems in measure theory
A note on some approximation theorems in measure theory S. Kesavan and M. T. Nair Department of Mathematics, Indian Institute of Technology, Madras, Chennai - 600 06 email: kesh@iitm.ac.in and mtnair@iitm.ac.in
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationGreen s Functions and Distributions
CHAPTER 9 Green s Functions and Distributions 9.1. Boundary Value Problems We would like to study, and solve if possible, boundary value problems such as the following: (1.1) u = f in U u = g on U, where
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More information2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.
University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)
More informationMath 172 Problem Set 5 Solutions
Math 172 Problem Set 5 Solutions 2.4 Let E = {(t, x : < x b, x t b}. To prove integrability of g, first observe that b b b f(t b b g(x dx = dt t dx f(t t dtdx. x Next note that f(t/t χ E is a measurable
More informationAnalysis III Theorems, Propositions & Lemmas... Oh My!
Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In
More informationMATH 217A HOMEWORK. P (A i A j ). First, the basis case. We make a union disjoint as follows: P (A B) = P (A) + P (A c B)
MATH 217A HOMEWOK EIN PEASE 1. (Chap. 1, Problem 2. (a Let (, Σ, P be a probability space and {A i, 1 i n} Σ, n 2. Prove that P A i n P (A i P (A i A j + P (A i A j A k... + ( 1 n 1 P A i n P (A i P (A
More informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 9 November 13 November Deadline to hand in the homeworks: your exercise class on week 16 November 20 November Exercises (1) Show that if T B(X, Y ) and S B(Y, Z)
More informationBounded point derivations on R p (X) and approximate derivatives
Bounded point derivations on R p (X) and approximate derivatives arxiv:1709.02851v3 [math.cv] 21 Dec 2017 Stephen Deterding Department of Mathematics, University of Kentucky Abstract It is shown that if
More informationChapter 5. Measurable Functions
Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if
More informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationCHAPTER 1. Metric Spaces. 1. Definition and examples
CHAPTER Metric Spaces. Definition and examples Metric spaces generalize and clarify the notion of distance in the real line. The definitions will provide us with a useful tool for more general applications
More informationMcGill University Math 354: Honors Analysis 3
Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The
More informationFall 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
18.103 Fall 2013 1. Fourier Series, Part 1. We will consider several function spaces during our study of Fourier series. When we talk about L p ((, π)), it will be convenient to include the factor 1/ in
More information1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More informationOn some shift invariant integral operators, univariate case
ANNALES POLONICI MATHEMATICI LXI.3 1995) On some shift invariant integral operators, univariate case by George A. Anastassiou Memphis, Tenn.) and Heinz H. Gonska Duisburg) Abstract. In recent papers the
More informationContinuous functions that are nowhere differentiable
Continuous functions that are nowhere differentiable S. Kesavan The Institute of Mathematical Sciences, CIT Campus, Taramani, Chennai - 600113. e-mail: kesh @imsc.res.in Abstract It is shown that the existence
More informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationMetric 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 informationFunctional Analysis, Stein-Shakarchi Chapter 1
Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang 018.05.1 Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises
More informationAnalysis 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
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More information(z 0 ) = lim. = lim. = f. Similarly along a vertical line, we fix x = x 0 and vary y. Setting z = x 0 + iy, we get. = lim. = i f
. Holomorphic Harmonic Functions Basic notation. Considering C as R, with coordinates x y, z = x + iy denotes the stard complex coordinate, in the usual way. Definition.1. Let f : U C be a complex valued
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationSOLUTIONS TO HOMEWORK ASSIGNMENT 4
SOLUTIONS TO HOMEWOK ASSIGNMENT 4 Exercise. A criterion for the image under the Hilbert transform to belong to L Let φ S be given. Show that Hφ L if and only if φx dx = 0. Solution: Suppose first that
More information