EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
|
|
- Elfreda Gallagher
- 5 years ago
- Views:
Transcription
1 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner partial differential equations. I have picked a few of the most useful and concrete highlights. The references are based on the 1989 hardcover second edition. 1. Generalities (from Ch. 2 and 3) Definition 1.1. Let U be an open set in R n. A distribution u D (U) is a linear function u : C0 (U) C. One can write u(φ) =< u, φ > and think of this, informally, as u(φ) = uφ. It is required that u is continuous in the following sense: For every K U compact there exist C, k such that u(φ) C sup α φ (1) x α k for every φ C 0 (U) supported in K. If one k works for all K, u is of finite order. The smallest such k is the order of u. We will need an equivalent formulation of the continuity condition. Definition 1.2. Let φ j, φ C 0 (U). The sequence φ j φ in C 0 (U) if there exists a compact subset of U which contains the support of all φ j, φ and for every fixed α, sup x α (φ j (x) φ(x)) 0 as j. Theorem 1.3. A linear function u : C 0 (U) C is a distribution if and only if u(φ j ) u(φ) for every φ j φ in C 0 (U). Proof. To show that if u is a distribution, then u(φ j ) u(φ) for every φ j φ in C0 (U) is clear from the definition. The other half is an easy exercise in negations. Examples: (1) If ũ is a locally integrable function, u(φ) := ũφ. This identifies the function ũ with a distribution u. (2) Dirac delta function. δ a (φ) = φ(a) 1
2 2 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 (3) Weak derivatives: If u is a smooth function, and φ C0 is a test function, α = (α 1,, α n ) is a multi-index and α u = α 1 x 1 x αn n u, then < α u, φ >:= α uφ = ( 1) α u α φ = ( 1) α < u, α φ >. (integration by parts). This motivates the definition of α u for any distribution u: < α u, φ >= ( 1) α < u, α φ >. (4) It takes some work (thm in Hörmander) and we will not prove this, but the above essentially accounts for all possible distributions: If u D (U) then there exists a locally finite family of continuous functions f α (each compact subset of U intersects only finitely many of the supports of the f α s) such that u = α α f α Definition 1.4. A sequence of distributions u i converges to u in D (U) (or in the sense of distribution theory) if u i (φ) u(φ) for every φ C 0 (U) Also, if u i D (U) and for each fixed φ C 0 (U) the limit u i (φ) exists and is denoted u(φ), then u is automatically a distribution. See Theorem We will not prove this. Definition 1.5. Let u D(U) and f C (U). Then the distributions and fu are defined by ( ) u u x k x k ) ( (φ) = u x k (fu) (φ) = u(fφ) Unlike classical convergence, if u i u in D (U), then α u i α u in D (U) is trivial. Example 1: Let H be the Heavyside function. Then H = δ 0. The following will be worked out in class: If E is the fundamental solution of the Laplace operator, E in the sense of distributions agrees with the locally integrable function E defined for x 0, but E in the sense of distributions does not agree with the locally integrable function E = 0 defined for x 0. In fact E = δ 0. Definition 1.6. A distribution u is defined to be 0 in an open set V U if u(φ) = 0 for every φ C 0 (V ). The union of all such subsets V is the largest open set where u is 0, and the complement of that is defined to be the support of u.
3 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL Thus the support of a distribution u D(U) is always (relatively) closed in U. If the support of u is compact, u is called compactly supported. The set of compactly supported distributions in U is denoted by E (U) Recall the support of a function φ is the closure of the set {φ(x) 0}. If u R n and φ C0 (R n ), and the support of φ and u are disjoint, then u(φ) = 0. However, if φ is zero on the support of u, it does not follow that u(φ) = 0. Example: δ (x). If u E (U), u(φ) is well defined for φ C : Let K be the support of u, K V U with V open. There exists a smooth cut-off function ζ C0 (U), and ζ = 1 in V. Then u(ζφ) is well-defined, and is independent of the choice of ζ. Define u(φ) = u(ζφ) for ζ as above. Definition 1.7. A distribution u is defined to be smooth in an open set V U if there exists ũ C (V ) such that u(φ) = ũ(x)φ(x)dx for all φ C 0 (V ) The union of all such subsets V is the largest open set where u is smooth, and the complement of that is defined to be the singular support of u. The major goal of the next section is to prove 1) If f E (R n ), then there exists u D (R n ) such that u = f. 2) If u, f are as above, and f C (V ) for some open set V, then u C (V ). Both of these goals follow from the properties of the convolution of a distribution with a compactly supported distribution. Part 1 follows by writing u = E f, u = ( E) f = δ f = f, but we have to assign rigorous meaning to this. Part 2 follows from the fact that the fundamental solution E is C away from 0. The exact same results hold for 2 but not. t t 2 2. Convolutions (Chapter 4 in Hörmander s book) Definition 2.1. If u D (R n ) and φ C 0 (R n ), u φ(x) = u(φ(x )) (where stands for y, and u acts in the y variable) Check u φ C, α (u φ)(x) = ( α u) φ = u ( α φ)(x): We have φ(x y + ɛe i ) φ(x y) = x i φ(x y) + R(x y, ɛ)
4 4 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 where 1 d 2 R(x y, ɛ) = 0 dt (φ(x y + tɛe i)) (1 t)dt 2 1 ( ) = ɛ 2 2 φ (x y + tɛe i )(1 t)dt 0 x 2 i Fix x. R(x y, ɛ) is in C 0, and sup y α y R(x y, ɛ) C α ɛ 2. Using the continuity condition (1) we see and R(x, ɛ) lim ɛ 0 ɛ u (φ(x + ɛe i )) u (φ(x )) lim ɛ 0 ɛ = 0 = u( x i φ(x )) = u x i (φ(x ) Check support(u φ) support u + support φ: Fix x. If φ(x ) is supported in the complement of support u, then u(φ(x ) = 0 by the definition of support u. If u(φ(x ) 0, then y support u and y support φ(x ). Thus y = lim y i with φ(x y i ) 0, and x = lim (x y i + y) support φ + support u = support φ + support u because support u is compact. We also have Theorem 2.2. Let u D (R n ), and φ, ψ C 0 (R n ). Then (u φ) ψ = u (φ ψ). Proof. Before starting the proof, review Definition (1.2). u φ C. Fix x. (u φ) ψ(x) = (u φ)(x y)ψ(y)dy = lim (u φ)(x kh)ψ(kh)h n h 0+ k Z ( n ) = lim u φ(x kh )ψ(kh)h n h 0+ k Z ( n ) = u φ(x z )ψ(z)dz In the last line, we used the (obvious) fact that, for x fixed, φ(x kh y)ψ(kh)h n φ(x z y)ψ(z)dz k Z n
5 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL uniformly in y, and the same is true for after differentiating with respect to y an arbitrary number of times. Also, both LHS and RHS are supported in a fixed compact set. In other words, LHS RHS in C0. This implies the important theorem on approximating distributions by C functions. Theorem 2.3. Let u D (R n ), and let η ɛ be the standard mollifier. Then u η ɛ C (R n ) and u η ɛ u in the sense of distribution theory (as ɛ 0). Proof. We have to check (u η ɛ )(φ) u(φ) for every φ C 0 (R n ). The proof is based on the observation that u(φ) = u φ (0) where φ (x) = φ( x). So it suffices to show (u η ɛ ) φ(0) u φ(0). But since η ɛ φ φ in C 0. (u η ɛ ) φ(0) = u (η ɛ φ)(0) u φ(0) Now we define the convolution of two distribution u 1, u 2, one of which is compactly supported. This is defined so that the formula (u 1 u 2 ) φ = u 1 (u 2 φ) holds for all φ C 0 (R n ). For simplicity, let s assume u 2 is compactly supported. Instead of defining (u 1 u 2 )(φ) it suffices to define (u 1 u 2 ) φ(0). This is done in the obvious way: (u 1 u 2 ) φ(0) = u 1 (u 2 φ)(0) We have to check that u 1 u 2 satisfies the continuity condition. Let φ j 0 in C 0 (R n ) (see Definition (1.2)). Then so does u 2 φ j, and u 1 (u 2 φ j )(0) 0. Also, it τ h denotes a translation, (τ h φ)(x) = φ(x+h), then τ h (u φ) = u (τ h φ) and (u 1 u 2 ) φ(h) = τ h ((u 1 u 2 ) φ) (0) = ((u 1 u 2 ) τ h φ) (0) Proposition 2.4. Let u 1, u 2 supported. Then = u 1 (u 2 τ h φ)(0) = u 1 (τ h (u 2 φ)) (0) = u 1 (u 2 φ) (h) D (R n ), one of which is compactly support (u 1 u 2 ) support u 1 + support u 2
6 6 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 Proof. Let η ɛ be a standard mollifier supported in a ball or radius ɛ. It suffices to show support (u 1 u 2 ) support u 1 + support u 2 + support η ɛ0 for all ɛ 0 > 0. We do know support (u 1 u 2 η ɛ ) support u 1 + support u 2 + support η ɛ support u 1 + support u 2 + support η ɛ0 for all 0 < ɛ < ɛ 0. Also remark that if A is closed and u is a distribution such that support u η ɛ A for all ɛ 0 > ɛ > 0, then support u A. This amounts to showing that if u η ɛ = 0 in A c, then u = 0 in A c, which follows from u η ɛ u in the sense of distributions. Theorem 2.5. Let u 1, u 2, u 3 distributions in R n, two of which are compactly supported. Then (u 1 u 2 ) u 3 = u 1 (u 2 u 3 ) Proof. The proof follows by noticing it suffices to check ((u 1 u 2 ) u 3 ) φ = (u 1 (u 2 u 3 )) φ for every φ C0 (R n ) which follows easily from the defining property of Theorem (2.2). Theorem 2.6. Let u 1, u 2 D (R n ), one of which is compactly supported. Then u 1 u 2 = u 2 u 1 Proof. The strategy is to show that (u 1 u 2 ) (φ ψ) = (u 2 u 1 ) (φ ψ) for all test functions φ, ψ. This is done using the associativity property Theorem (2.2) together with the fact that convolutions of functions is commutative. We will not prove this Theorem 2.7. Let u 1, u 2 D (R n ), one of which is compactly supported. Then α (u 1 u 2 ) = ( α u 1 ) u 2 = u 1 α u 2 (2) Proof. We already know α (u φ) = ( α u) φ = u ( α φ), so the theorem is proved by convolving (2) with φ. Theorem 2.8. Let u 1, u 2 D (R n ), one of which is compactly supported. Then sing support (u 1 u 2 ) sing support u 1 + sing support u 2 Proof. The proof is based on the fact that if one of u 1, u 2 is smooth, so is u 1 u 2. Let χ 1, χ 2 be supported in small neighborhoods of sing support u 1, sing support u 2, so that (1 χ 1 )u 1 and (1 χ 2 )u 2 are smooth. Then sing support (u 1 u 2 ) sing support (χ 1 u 1 ) (χ 2 u 2 ) support χ 1 u 1 + support χ 2 u 2
7 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL Now we come back to PDEs. Let P (D) be a constant coefficient differential operator. A distribution E D (R n ) is called a fundamental solution if P (D)E = δ. We already know formulas for (the) fundamental solution of the Laplace and heat operators. We will write down later several fundamental solutions of the wave operator. Theorem 2.9. If sing support (E) = {0}, U is open and u D (U) is such that P (D)u C (U), then u C (U) Proof. Let V U an arbitrary open subset. It suffices to show u C (V ). Let ζ C 0 (U), ζ = 1 on V. Then P (D)(ζu) = P (D)u in V, and in particular is C there. Finally, and therefore ζu = ζu δ = ζu P (D)(E) = (P (D)(ζu)) E sing support (ζu) sing support (P (D)(ζu)) + {0} = sing support (P (D)(ζu)) But we know that sing support (P (D)(ζu)) is disjoint from V, so sing support (ζu) is also disjoint from V, in other words ζu, which equals u in V, is smooth there. 3. The Fourier transform Definition 3.1. The space of Schwartz functions S is defined by the requirement that all semi-norms sup x α β f x be finite. Convergence in this space means for all α, β. sup x α β (f n f) 0 x The Fourier transform F(f) = ˆf is defined by ˆf(ξ) = e ix ξ f(x)dx R n The following are elementary properties which will be checked in class:
8 8 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 Lemma 3.2. Let f S, denote f λ (x) = f(λx) (λ > 0), τ y f(x) = f(x + y) (y R n ) and D j = 1 i x j. Then ˆf S and f ˆf is continuous in the topology of S. Also, ˆf λ (ξ) = 1 λ n ˆf( ξ λ ) F(τ y f)(ξ) = e iy ξ ˆf(ξ) F(D j f)(ξ) = ξ j ˆf(ξ) F(x j f)(ξ) = D j ˆf(ξ) ( e x 2 2 F fĥ = ) (ξ) = (2π) n/2 e ξ 2 2 ˆfg F (f g) = ˆfĝ for all ˆf, ĥ S These easily imply the inversion formula and Plancherel formulas, which will be proved in class. Theorem 3.3. Let f S. Then f(x) = 1 e ix ξ ˆf(ξ)dξ (2π) n R n Also, f(x)g(x)dx = 1 ˆf(ξ)ĝ(ξ)dξ R (2π) n n Definition 3.4. The space of continuous linear functionals u : S C is the space of tempered distributions S. u S if and only if there exists N and C such that < u, φ > C sup x α β (f) x α, β N for all φ S. If u S, then û S is defined by for all φ S. R n < û, φ >=< u, ˆφ > Example: The constant function 1 S and ˆ1 = (2π) n δ.
9 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL Integrating functions on a k-dimensional hypersurface in R n This section uses geometric notation: coodinates are written x i. Let S be a compact C 1 k-dimensional hypersurface in R n. We will integrate f : S R, continuous. Each point in S has a neighborhood (a ball B ) such that S B can be parametrized: There exists P : C S B R n where C is open in R k and P is one-to-one and onto. We assume P is C 1 and the n vectors P i are linearly independent. This insures S is a C 1 hypersurface. S can be covered by finitely many such balls B ri (x i ). Before anything else, we break up f as a finite sum of continuous functions f i, each supported in one such B. For convenience and without loss of generality, we assume f has been extended as a continuous function to R n, and is supported in the union of the B ri (x i ). Theorem 4.1. Let f : R n R be a C l function supported in a finite union of k balls k i=1b ri (x i ). Then there exist C l 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 l functions supported in B ri (x i ), χ 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) =: f 1 (x) + f 2 (x) + f k (x) We proceed to integrate one of the f i s, written as f from now on. The Euclidean metric in R n induces a Riemannian metric on S. With respect to there coordinates, g ij (x) is defined as the Euclidean inner
10 10 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 product of the push-forward of the usual basis vectors in R k : In matrix notation, g ij (x) = P (x) x i P (x) x j (g ij (x)) = (DP (x)) T DP (x) The standard Riemannian geometry definition of fd V ol is S fd V ol = f (P (x)) det(g ij (x)) dx 1 dx k S C An explicit calculation shows this is independent of the parametrization. It agrees with familiar formulas in low dimensions: Example 1: k = 1 (curves in R n ). Here P : (a, b) R n, P (x) 0 for all x, and g 11 (x) = P (x) 2, so b fds = f(p (x) F (x) dx S Example 2: k = 2, n = 3 (surfaces in R 3 ). Here DP (x) has two columns, P and P. x 1 x 2 Exercise (using a suitable rotation) det(g ij ) = P x P 1 x 2 so this is consistent with the Math 241 formula fds = f(p (x)) P x P 1 x 2 dx1 dx 2 S C a Example 3: k = n. Here (g ij ) = (DP (x)) T DP (x), det(g ij ) = det(dp ) 2 so we get the change-of-variables formula fdx = f(p (x)) det DP (x) dx S C Example 4 (what we need to prove the divergence theorem) Let k = n 1 and S given (locally) as the graph of a function r: 2 Then P (x 1, x n 1 ) = (x 1, x n 1, r(x 1, x n 1 ))
11 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL (g ij (x)) = 1 0 x x n 1 = I (n 1) (n 1) + x 1 x 2 x n 1 ( x x 1 x 2 x 2 x n 1 ) x n 1 Exercise: det(g ij ) = 1 + r 2. So fds = f(x 1,, r(x 1, x n 1 )) 1 + r 2 dx 1 dx n 1 S C 5. The gradient of a characteristic function This is background material (formula in Hörmander s book). Theorem 5.1. Let U be an open set with C 1 boundary. Then χ U = νds where ds is surface measure on U and ν is the outward pointing unit normal. Proof. Let h : R R be a smoothed out Heaviside function: h(x) = 0 if x 0, h(x) = 1 if x 1 and smooth in-between. Using a partition of unity, it suffices the prove the theorem for test functions φ supported in a small neighborhood of x 0 U, where U agrees with x n > r(x 1, x n 1 ). Then
12 12 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 < χ U, φ >= < χ U, φ > = lim h( x n r(x 1, x n 1 ) ) φ(x 1,, x n )dx 1 dx n ɛ 0 ɛ ( = lim h( x ) n r(x 1, x n 1 ) ) φ(x 1,, x n ) ɛ 0 ɛ 1 = lim ɛ 0 R ɛ h ( x n r(x 1, x n 1 ) ) ( r(x 1,, x n 1 ), 1)φ(x)dx ɛ n ( 1 = ( r(x 1,, x n 1 ), 1) lim R n 1 ɛ 0 R ɛ h ( x ) n r(x 1, x n 1 ) )φ(x)dx n dx 1 dx n 1 ɛ = φ(x 1, x n 1, r(x 1, r x 1 ))( r(x 1,, x n 1 ), 1)dx 1 dx n 1 R n 1 = φνds U (by the Calculus formulas for ν and ds). We used the fact that 1 ɛ h ( x ɛ ) is an approximation to the identity.
MATH 411 NOTES (UNDER CONSTRUCTION)
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
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationMATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS. Beforehand we constructed distributions by taking the set Cc
MATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS Beforehand we constructed distributions by taking the set Cc ( ) as the set of very nice functions, and defined distributions as continuous linear
More informationLECTURE 5: THE METHOD OF STATIONARY PHASE
LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =
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 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 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 informationMath 172 Problem Set 8 Solutions
Math 72 Problem Set 8 Solutions Problem. (i We have (Fχ [ a,a] (ξ = χ [ a,a] e ixξ dx = a a e ixξ dx = iξ (e iax e iax = 2 sin aξ. ξ (ii We have (Fχ [, e ax (ξ = e ax e ixξ dx = e x(a+iξ dx = a + iξ where
More informationHere we used the multiindex notation:
Mathematics Department Stanford University Math 51H Distributions Distributions first arose in solving partial differential equations by duality arguments; a later related benefit was that one could always
More informationMetric 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 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 informationOscillatory integrals
Chapter Oscillatory integrals. Fourier transform on S The Fourier transform is a fundamental tool in microlocal analysis and its application to the theory of PDEs and inverse problems. In this first section
More informationREAL 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 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 informationFourier transform of tempered distributions
Fourier transform of tempered distributions 1 Test functions and distributions As we have seen before, many functions are not classical in the sense that they cannot be evaluated at any point. For eample,
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More information1 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 informationPOINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO
POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO HART F. SMITH AND MACIEJ ZWORSKI Abstract. We prove optimal pointwise bounds on quasimodes of semiclassical Schrödinger
More informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationA Walking Tour of Microlocal Analysis
A Walking Tour of Microlocal Analysis Jeff Schonert August 10, 2006 Abstract We summarize some of the basic principles of microlocal analysis and their applications. After reviewing distributions, we then
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationSome 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 informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
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 informationMetric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg
Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose
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 informationEconomics 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 information4 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 information4 Divergence theorem and its consequences
Tel Aviv University, 205/6 Analysis-IV 65 4 Divergence theorem and its consequences 4a Divergence and flux................. 65 4b Piecewise smooth case............... 67 4c Divergence of gradient: Laplacian........
More informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
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 information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
More informationMath 5210, Definitions and Theorems on Metric Spaces
Math 5210, Definitions and Theorems on Metric Spaces Let (X, d) be a metric space. We will use the following definitions (see Rudin, chap 2, particularly 2.18) 1. Let p X and r R, r > 0, The ball of radius
More informationSolutions to Problem Set 5 for , Fall 2007
Solutions to Problem Set 5 for 18.101, Fall 2007 1 Exercise 1 Solution For the counterexample, let us consider M = (0, + ) and let us take V = on M. x Let W be the vector field on M that is identically
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
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 informationMAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.
MAS3706 Topology Revision Lectures, May 208 Z.A.Lykova It is essential that you read and try to understand the lecture notes from the beginning to the end. Many questions from the exam paper will be similar
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More informationMath 61CM - Solutions to homework 6
Math 61CM - Solutions to homework 6 Cédric De Groote November 5 th, 2018 Problem 1: (i) Give an example of a metric space X such that not all Cauchy sequences in X are convergent. (ii) Let X be a metric
More informationFunctional 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 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 informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationFriedrich symmetric systems
viii CHAPTER 8 Friedrich symmetric systems In this chapter, we describe a theory due to Friedrich [13] for positive symmetric systems, which gives the existence and uniqueness of weak solutions of boundary
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 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 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 informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationIntroduction 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 information13. Fourier transforms
(December 16, 2017) 13. Fourier transforms Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/13 Fourier transforms.pdf]
More information2. 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 informationMATH 220: MIDTERM OCTOBER 29, 2015
MATH 22: MIDTERM OCTOBER 29, 25 This is a closed book, closed notes, no electronic devices exam. There are 5 problems. Solve Problems -3 and one of Problems 4 and 5. Write your solutions to problems and
More informationReal 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 informationSobolev 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 informationDEVELOPMENT OF MORSE THEORY
DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined
More informationHarmonic Analysis Homework 5
Harmonic Analysis Homework 5 Bruno Poggi Department of Mathematics, University of Minnesota November 4, 6 Notation Throughout, B, r is the ball of radius r with center in the understood metric space usually
More informationAnalysis 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 informationINVERSE 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 informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationMATH 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 informationINTEGRATION ON MANIFOLDS and GAUSS-GREEN THEOREM
INTEGRATION ON MANIFOLS and GAUSS-GREEN THEOREM 1. Schwarz s paradox. Recall that for curves one defines length via polygonal approximation by line segments: a continuous curve γ : [a, b] R n is rectifiable
More informationA review: The Laplacian and the d Alembertian. j=1
Chapter One A review: The Laplacian and the d Alembertian 1.1 THE LAPLACIAN One of the main goals of this course is to understand well the solution of wave equation both in Euclidean space and on manifolds
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationLECTURE 3: SMOOTH FUNCTIONS
LECTURE 3: SMOOTH FUNCTIONS Let M be a smooth manifold. 1. Smooth Functions Definition 1.1. We say a function f : M R is smooth if for any chart {ϕ α, U α, V α } in A that defines the smooth structure
More informationMAT 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 informationOutline 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 informationB553 Lecture 3: Multivariate Calculus and Linear Algebra Review
B553 Lecture 3: Multivariate Calculus and Linear Algebra Review Kris Hauser December 30, 2011 We now move from the univariate setting to the multivariate setting, where we will spend the rest of the class.
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 informationThe wave front set of a distribution
The wave front set of a distribution The Fourier transform of a smooth compactly supported function u(x) decays faster than any negative power of the dual variable ξ; that is for every number N there exists
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationSpring -07 TOPOLOGY III. Conventions
Spring -07 TOPOLOGY III Conventions In the following, a space means a topological space (unless specified otherwise). We usually denote a space by a symbol like X instead of writing, say, (X, τ), and we
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 informationDangerous and Illegal Operations in Calculus Do we avoid differentiating discontinuous functions because it s impossible, unwise, or simply out of
Dangerous and Illegal Operations in Calculus Do we avoid differentiating discontinuous functions because it s impossible, unwise, or simply out of ignorance and fear? Despite the risks, many natural phenomena
More information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationMath 361: Homework 1 Solutions
January 3, 4 Math 36: Homework Solutions. We say that two norms and on a vector space V are equivalent or comparable if the topology they define on V are the same, i.e., for any sequence of vectors {x
More informationMath 341: Convex Geometry. Xi Chen
Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry
More information1 Fourier Integrals of finite measures.
18.103 Fall 2013 1 Fourier Integrals of finite measures. Denote the space of finite, positive, measures on by M + () = {µ : µ is a positive measure on ; µ() < } Proposition 1 For µ M + (), we define the
More informationA SECOND COURSE IN GENERAL TOPOLOGY
Heikki Junnila, 2007-8/2014 A SECOND COURSE IN GENERAL TOPOLOGY CHAPTER I COMPLETE REGULARITY 1. Definitions and basic properties..... 3 2. Some examples..... 7 Exercises....9 CHAPTER II CONVERGENCE AND
More informationOptimization and Optimal Control in Banach Spaces
Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,
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 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 informationA class of non-convex polytopes that admit no orthonormal basis of exponentials
A class of non-convex polytopes that admit no orthonormal basis of exponentials Mihail N. Kolountzakis and Michael Papadimitrakis 1 Abstract A conjecture of Fuglede states that a bounded measurable set
More informationTopology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski
Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology
More informationJASSON VINDAS AND RICARDO ESTRADA
A QUICK DISTRIBUTIONAL WAY TO THE PRIME NUMBER THEOREM JASSON VINDAS AND RICARDO ESTRADA Abstract. We use distribution theory (generalized functions) to show the prime number theorem. No tauberian results
More informationWe have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma and (3.55) with j = 1. We can write any f W 1 as
88 CHAPTER 3. WAVELETS AND APPLICATIONS We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma 3..7 and (3.55) with j =. We can write any f W as (3.58) f(ξ) = p(2ξ)ν(2ξ)
More information1 Lyapunov theory of stability
M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability
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 informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
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 informationPDEs in Image Processing, Tutorials
PDEs in Image Processing, Tutorials Markus Grasmair Vienna, Winter Term 2010 2011 Direct Methods Let X be a topological space and R: X R {+ } some functional. following definitions: The mapping R is lower
More informationFOURIER SERIES, HAAR WAVELETS AND FAST FOURIER TRANSFORM
FOURIER SERIES, HAAR WAVELETS AD FAST FOURIER TRASFORM VESA KAARIOJA, JESSE RAILO AD SAMULI SILTAE Abstract. This handout is for the course Applications of matrix computations at the University of Helsinki
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationMathematical 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 informationMATH 668M NOTES. References
MATH 668M NOTES This is a quick introduction to some aspects of several complex variables emphasizing the role of pseudocovexity and the model strongly pseudoconvex domain (Siegel domain) and its boundary,
More informationSolve EACH of the exercises 1-3
Topology Ph.D. Entrance Exam, August 2011 Write a solution of each exercise on a separate page. Solve EACH of the exercises 1-3 Ex. 1. Let X and Y be Hausdorff topological spaces and let f: X Y be continuous.
More informationsatisfying the following condition: If T : V V is any linear map, then µ(x 1,,X n )= det T µ(x 1,,X n ).
ensities Although differential forms are natural objects to integrate on manifolds, and are essential for use in Stoke s theorem, they have the disadvantage of requiring oriented manifolds in order for
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationWiener Measure and Brownian Motion
Chapter 16 Wiener Measure and Brownian Motion Diffusion of particles is a product of their apparently random motion. The density u(t, x) of diffusing particles satisfies the diffusion equation (16.1) u
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More information