Fourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1
|
|
- Aron Howard
- 5 years ago
- Views:
Transcription
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 a torus. Let S 1 = {e iθ : θ R} C, and T n = S 1 S 1 C n. To each function φ : T n C we can identify a π-periodic function φ : R n C by φ(x 1,...,x n ) = φ(e ix 1,..., e ixn ). Conversely, each π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1,...,e ixn ) = φ(x 1,...,x n ). If φ : R n C is π-periodic, φ is uniquely determined by its values φ(x) for x [ π, π) n or for x [0, π) n. Let ν n = (π) n λ n, where λ n is n-dimensional Lebesgue measure. Then ν n induces a measure ν n on T n for which φd νn = φ dν n. T n [0,π] n From here on, we blur the distinction between φ and φ and between ν n and ν n, and we will abuse these notations. Note: ν n (T n ) = ν n ([0, π] n ) = 1. Let L p (T n ) denote L p ([0, π] n ) with measure ν n (1 p ). L (T n ) is a Hilbert space with inner product (ψ, φ) = ψφ dνn = ψφ dνn. T n [0,π] n Theorem. {e ix ξ : ξ Z n } is an orthonormal system in L (T n ). Proof. { 1, ξ = η (e ix η, e ix ξ ) = e ix (ξ η) dν n = [0,π] 0, ξ η. n Definition. A trigonometric polynomial is a finite linear combination of {e ix ξ : ξ Z n }. Note: since {e ix ξ, e ix ξ } and {cos(x ξ), sin(x ξ)} span the same two-dimensional space, we could use sines and cosines as our basic functions. Definition. C(T n ) is the space of all continuous π-periodic functions φ : R n C. Note that C(T n ) C([0, π] n ). We will use the uniform norm φ u = sup x φ(x) on C(T n ). C k (T n ) (for k 0, k Z) is the space of all C k π-periodic functions φ : R n C. Again C k (T n ) C k ([0, π] n ). We will use the norm φ C k = α k α φ u. 93
2 94 Fourier Series Fourier Coefficients For f L 1 (T n ), define f(ξ) = e ix ξ f(x)dν n (x) T n for ξ Z n. Then f(ξ) f 1. We regard f as a map f : Z n C; then f l (Z n ) and f f 1. Since ν(t n ) = 1, we have L (T n ) L 1 (T n ) and f 1 f. For f L (T n ), f can be expressed as an inner product: f(ξ) = (e ix ξ, f). The Fourier series of f is the formal series ξ Z n f(ξ)e ix ξ. We will study in what sense this series converges to f. A key role is played by what is called a summability kernel; this is a sequence Q k with properties (1), (), (3), (4) below. Define Q k (x) = a 1 k ( n j=1 1 (1 + cosx j) ) k where Lemma. a k = T n ( n j=1 k 1 (1 + cosx j)) dν n (x). (1) Q k is a trigonometric polynomial. () Q k (x) 0 (3) Q T n k (x)dν n (x) = 1. (4) For 0 < δ < π, set η k (δ) = max{q k (x) : x [ π, π] n \( δ, δ) n }. Then lim k η k (δ) = 0. Proof. The first three properties are clear. To prove (4), we first show that the sequence a k satisfies a k ((k + 1)) n. In fact, since 1 + cosx is non-negative on [0, π] and concave on [0, π ], we have 1 π ( 1 π (1 + cosx)) k 1 π ( dx = 1 π π (1 + cosx)) k dx 0 1 π/ ( 1 x k dx π π) Now if x [ π, π] n \( δ, δ) n, then 0 = (k + 1) 1 (1 k 1 ) ((k + 1)) 1. Q k (x) a 1 k ( 1 (1 + cosδ)) k ((k + 1)) n ( 1 (1 + cosδ)) k 0
3 Fourier Series 95 as k. Theorem. Given f C(T n ), let p k (x) = (f Q k )(x) = f(x y)q k (y)dν n (y). T n Then p k is a trigonometric polynomial, and p k f u 0 as k. Proof. Since Q k (ξ) = 0 for ξ sufficiently large, p k (x) = f(y)q k (x y)dν n (y) = f(y) T n T n ξ Q k (ξ)e i(x y) ξ dν n (y) = ξ f(ξ) Q k (ξ)e ix ξ is a trigonometric polynomial. Given ǫ > 0, the uniform continuity of f implies that there is δ > 0 such that x 1 x < δ f(x 1 ) f(x ) < ǫ. Then p k (x) f(x) = (f(x y) f(x))q k (y)dν n (y) T n T n f(x y) f(x) Q k (y)dν n (y) = I 1 + I, where I 1 is the integral over y ( δ, δ) n and I is the integral over y [ π, π] n \( δ, δ) n. Now I 1 ǫ Q k (y) dν n (y) ǫ, and ( δ,δ) n I f u η k (δ) dν n f u η k (δ) < ǫ [ π,π] n \( δ,δ) n for k sufficiently large, so the result follows. Corollary. Trigonometric polynomials are dense in C(T n ). Remark. The proof of the Theorem above used only the properties (1) (4) of the Q k. Therefore the same result holds for any summability kernel. Another example for n = 1 is the Féjer kernel, which is given by ( 1 F k (x) = (k + 1) 1sin (k + 1)x) sin ( 1 x) = k ξ= k ( 1 ξ ) e ixξ. k + 1 If we define S k (f) = k ξ= k f(ξ)e ix ξ and σ k (f) = (k + 1) 1 (S 0 (f) + + S k (f)), then σ k (f) = f F k. It follows that for f C(T), σ k (f) f uniformly. This is the classical result that the Fourier series of f C(T) is Cesàro summable to f.
4 96 Fourier Series The partial sums S k (f) themselves are obtained by convolving f with the Dirichlet kernel : S k (f) = f D k, where k D k (x) = e ixξ = sin (( ) ) k + 1 x sin ( 1 x). ξ= k The Dirichlet kernel however, is not a summability kernel: D k is not nonnegative (not horrible), and more crucially it does not satisfy condition (4) of a summability kernel. This is the reason that pointwise convergence of Fourier series is a delicate matter. Corollary. Trigonometric polynomials are dense in L (T n ). Proof. Given f L (T n ) and ǫ > 0, there exists g C(T n ) such that f g < 1 ǫ and there exists a trigonometric polynomial p such that p g u < 1 ǫ, so since ν n(t n ) = 1, f p f g + g p f g + g p u < ǫ. Corollary. {e ix ξ : ξ Z n } is a complete orthonormal system in L (T n ). Hence if f L (T n ), the Fourier series of f (any arrangement) converges to f in L. Also, the map F : L (T n ) l (Z n ) given by f f is a Hilbert space isomorphism and f l (Z n ) = f L (T n ). Theorem. If f L 1 (T n ), then p k f in L 1 (T n ), where p k = f Q k and Q k is as above. Proof. The proof is similar to the proof of the Theorem above, except we use continuity of translation in L 1 instead of uniform continuity. Given ǫ > 0, choose δ f(x α) f(x) 1 < ǫ whenever α < δ. By Fubini, [ ] p k (x) f(x) dν n (x) Q k (y) f(x y) f(x) dν n (x) dν n (y) = I 1 + I, T n T n T n and Q k (y) ǫ dν n (y) = ǫ I 1 I f 1 η k (δ) 0 as k. Corollary. (Uniqueness Theorem). If f L 1 (T n ) and ( ξ Z n ) f(ξ) = 0, then f = 0 a.e. Thus if f, g L 1 (T n ) and f ĝ, then f = g a.e. Proof. If f 0, then p k (x) = ξ f(ξ) Q k (ξ)e ix ξ = 0, and p k f in L 1. Theorem. (Riemann-Lebesgue Lemma). If f L 1 (T n ), then f(ξ) 0 as ξ. Proof. This follows from the analogous result for the Fourier transform, which will be proved later. The statement for the Fourier transform is that if f L 1 (R n ), then e ix ξ f(x) dx R n 0 as ξ, ξ R n. The Fourier series version stated here follows by applying the R n version to f(x)χ [ π,π] n(x) L 1 (R n ) and restricting to ξ Z n.
5 Fourier Series 97 Absolutely Convergent Fourier Series Theorem. Suppose f L 1 (T n ) and f l 1 (Z n ). Then the Fourier series of f converges absolutely and uniformly to a g C(T n ), and g = f a.e. Proof. Let g(x) = ξ Z n f(ξ)e ix ξ. Since f l 1 (Z n ), this series converges uniformly and absolutely, and g C(T n ). By the Dominated Convergence Theorem, ĝ(ξ) = T n e ix ξ ( η Z n f(η)e ix η ) dν n (x) = η Z n f(η) T n e ix ξ e ix η dν n (x) = f(ξ), so g = f a.e. Decay of Fourier Coefficients Smoothness of f Lemma. Suppose α(ξ) l 1 (Z n ) and iξ j α(ξ) l 1 (Z n ). Let f = ξ α(ξ)eix ξ and g = ξ iξ jα(ξ)e ix ξ. Then f, g C(T n ), xj f exists everywhere, and xj f = g. Proof. The two series of continuous functions converge absolutely and uniformly to f and g, respectively. Since xj (α(ξ)e ix ξ ) = iξ j α(ξ)e ix ξ, the result follows from a standard theorem in analysis. Theorem. Suppose f L 1 (T n ) and (1 + ξ m ) f(ξ) l 1 (Z n ) for some integer m 0. Then the Fourier series of f converges absolutely and uniformly to a g C m (T n ), and f = g a.e. Proof. By the theorem above, we only have to show that g C m (T n ). For each ν with ν m, (iξ) ν f(ξ) l 1 (Z n ), so ξ (iξ)ν f(ξ)e ix ξ converges absolutely and uniformly to some g ν C(T n ). By the Lemma and induction, g ν = ν g. Theorem. Suppose f C m (T n ). (a) For ν m, ν x f(ξ) = (iξ)ν f(ξ). (b) (1 + ξ m ) f(ξ) l (Z n ) and (1 + ξ m ) f(ξ) l (Z n ) c n,m f C m (T n ) for some constant c n,m depending only on n, m. (c) f(ξ) c n,m (1 + ξ ) m f C m (T n ) for ξ Z n. Proof.
6 98 Fourier Series (a) follows by integration by parts. Set x = (x,...,x n ), so x = (x 1, x ). Then f x 1 (ξ) = = Iterate for higher derivatives. (b) Part (a) gives for 1 j n: T n 1 T n 1 = (iξ 1 ) f(ξ). [ ] ix ξ f e (x) dν 1 (x 1 ) dν n 1 (x ) T x [ 1 ] (iξ 1 ) e ix ξ f(x) dν 1 (x 1 ) dν n 1 (x ) T ξ m j f l (Z n ) = m x j f l (Z n ) = m x j f L (T n ) m x j f u. Adding gives and (b) follows. (1 + ξ 1 m + + ξ n m ) f(ξ) l (Z n ) f C m (T n ), (c) is immediate from (b) and the fact that on functions on Z n. In comparing the last two theorems, we see that in order to conclude that a given f L 1 (T n ) is C m, it suffices to know that (1+ ξ ) m f l 1, and in the other direction, if f is C m, then (1 + ξ ) m f l. Thus the space of Fourier coefficients of C m functions lies between (1 + ξ ) m l 1 and (1 + ξ ) m l. So faster decay of f corresponds to more smoothness of f.
Finite-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 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 informationn 1 f = f m, m=0 n 1 k=0 Note that if n = 2, we essentially get example (i) (but for complex functions).
Chapter 4 Fourier Analysis 4.0.1 Intuition This discussion is borrowed from [T. Tao, Fourier Transform]. Fourier transform/series can be viewed as a way to decompose a function from some given space V
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 informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More informationFOURIER TRANSFORMS. 1. Fourier series 1.1. The trigonometric system. The sequence of functions
FOURIER TRANSFORMS. Fourier series.. The trigonometric system. The sequence of functions, cos x, sin x,..., cos nx, sin nx,... is called the trigonometric system. These functions have period π. The trigonometric
More informationMath 115 ( ) Yum-Tong Siu 1. Derivation of the Poisson Kernel by Fourier Series and Convolution
Math 5 (006-007 Yum-Tong Siu. Derivation of the Poisson Kernel by Fourier Series and Convolution We are going to give a second derivation of the Poisson kernel by using Fourier series and convolution.
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 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 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 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 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 informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 433 BLECHER NOTES. As in earlier classnotes. As in earlier classnotes (Fourier series) 3. Fourier series (continued) (NOTE: UNDERGRADS IN THE CLASS ARE NOT RESPONSIBLE
More information1 Fourier Integrals on L 2 (R) and L 1 (R).
18.103 Fall 2013 1 Fourier Integrals on L 2 () and L 1 (). The first part of these notes cover 3.5 of AG, without proofs. When we get to things not covered in the book, we will start giving proofs. The
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
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 informationVectors in Function Spaces
Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also
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 informationPolynomial Approximation: The Fourier System
Polynomial Approximation: The Fourier System Charles B. I. Chilaka CASA Seminar 17th October, 2007 Outline 1 Introduction and problem formulation 2 The continuous Fourier expansion 3 The discrete Fourier
More informationSyllabus Fourier analysis
Syllabus Fourier analysis by T. H. Koornwinder, 1996 University of Amsterdam, Faculty of Science, Korteweg-de Vries Institute Last modified: 7 December 2005 Note This syllabus is based on parts of the
More informationBochner s Theorem on the Fourier Transform on R
Bochner s heorem on the Fourier ransform on Yitao Lei October 203 Introduction ypically, the Fourier transformation sends suitable functions on to functions on. his can be defined on the space L ) + L
More information7: FOURIER SERIES STEVEN HEILMAN
7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier
More informationFOURIER SERIES WITH THE CONTINUOUS PRIMITIVE INTEGRAL
Real Analysis Exchange Summer Symposium XXXVI, 2012, pp. 30 35 Erik Talvila, Department of Mathematics and Statistics, University of the Fraser Valley, Chilliwack, BC V2R 0N3, Canada. email: Erik.Talvila@ufv.ca
More information1.1 Appearance of Fourier series
Chapter Fourier series. Appearance of Fourier series The birth of Fourier series can be traced back to the solutions of wave equation in the work of Bernoulli and the heat equation in the work of Fourier.
More informationMath 489AB A Very Brief Intro to Fourier Series Fall 2008
Math 489AB A Very Brief Intro to Fourier Series Fall 8 Contents Fourier Series. The coefficients........................................ Convergence......................................... 4.3 Convergence
More informationA glimpse of Fourier analysis
Chapter 7 A glimpse of Fourier analysis 7.1 Fourier series In the middle of the 18th century, mathematicians and physicists started to study the motion of a vibrating string (think of the strings of a
More informationu t = u p (t)q(x) = p(t) q(x) p (t) p(t) for some λ. = λ = q(x) q(x)
. Separation of variables / Fourier series The following notes were authored initially by Jason Murphy, and subsequently edited and expanded by Mihaela Ifrim, Daniel Tataru, and myself. We turn to the
More informationTopics in Fourier analysis - Lecture 2.
Topics in Fourier analysis - Lecture 2. Akos Magyar 1 Infinite Fourier series. In this section we develop the basic theory of Fourier series of periodic functions of one variable, but only to the extent
More information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationSome approximation theorems in Math 522. I. Approximations of continuous functions by smooth functions
Some approximation theorems in Math 522 I. Approximations of continuous functions by smooth functions The goal is to approximate continuous functions vanishing at ± by smooth functions. In a previous homewor
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 informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More 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 informationFrom Fourier to Wavelets in 60 Slides
From Fourier to Wavelets in 60 Slides Bernhard G. Bodmann Math Department, UH September 20, 2008 B. G. Bodmann (UH Math) From Fourier to Wavelets in 60 Slides September 20, 2008 1 / 62 Outline 1 From Fourier
More informationBernstein s inequality and Nikolsky s inequality for R d
Bernstein s inequality and Nikolsky s inequality for d Jordan Bell jordan.bell@gmail.com Department of athematics University of Toronto February 6 25 Complex Borel measures and the Fourier transform Let
More informationMATH 5640: Fourier Series
MATH 564: Fourier Series Hung Phan, UMass Lowell September, 8 Power Series A power series in the variable x is a series of the form a + a x + a x + = where the coefficients a, a,... are real or complex
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 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 informationReal Analysis Chapter 8 Solutions Jonathan Conder. = lim n. = lim. f(z) dz dy. m(b r (y)) B r(y) f(z + x y) dz. B r(y) τ y x f(z) f(z) dz
3. (a Note that η ( (t e /t for all t (,, where is a polynomial of degree. Given k N, suppose that η (k (t P k (/te /t for all t (,, where P k (x is some polynomial of degree (k. By the product rule and
More informationIntroduction to Fourier Analysis
Lecture Introduction to Fourier Analysis Jan 7, 2005 Lecturer: Nati Linial Notes: Atri Rudra & Ashish Sabharwal. ext he main text for the first part of this course would be. W. Körner, Fourier Analysis
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 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 information4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R
4 Riesz Kernels. A natural generalization of the Hilbert transform to higher dimension is mutiplication of the Fourier Transform by homogeneous functions of degree 0, the simplest ones being R i f(ξ) =
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 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 informationSummer Jump-Start Program for Analysis, 2012 Song-Ying Li
Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture 6: Uniformly continuity and sequence of functions 1.1 Uniform Continuity Definition 1.1 Let (X, d 1 ) and (Y, d ) are metric spaces and
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 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 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 informationFOURIER METHODS AND DISTRIBUTIONS: SOLUTIONS
Centre for Mathematical Sciences Mathematics, Faculty of Science FOURIER METHODS AND DISTRIBUTIONS: SOLUTIONS. We make the Ansatz u(x, y) = ϕ(x)ψ(y) and look for a solution which satisfies the boundary
More informationII. FOURIER TRANSFORM ON L 1 (R)
II. FOURIER TRANSFORM ON L 1 (R) In this chapter we will discuss the Fourier transform of Lebesgue integrable functions defined on R. To fix the notation, we denote L 1 (R) = {f : R C f(t) dt < }. The
More informationHarmonic Analysis: from Fourier to Haar. María Cristina Pereyra Lesley A. Ward
Harmonic Analysis: from Fourier to Haar María Cristina Pereyra Lesley A. Ward Department of Mathematics and Statistics, MSC03 2150, 1 University of New Mexico, Albuquerque, NM 87131-0001, USA E-mail address:
More informationAdvanced Calculus Math 127B, Winter 2005 Solutions: Final. nx2 1 + n 2 x, g n(x) = n2 x
. Define f n, g n : [, ] R by f n (x) = Advanced Calculus Math 27B, Winter 25 Solutions: Final nx2 + n 2 x, g n(x) = n2 x 2 + n 2 x. 2 Show that the sequences (f n ), (g n ) converge pointwise on [, ],
More informationDifferentiation and function spaces
209: Honors Analysis in R n Differentiation and function spaces 1 Banach Space, Hilbert Space A vector (linear) space E over a field K is a set endowed with two operations + : E E E and : K E E that satisfy
More informationMATH FALL 2014
MATH 126 - FALL 2014 JASON MURPHY Abstract. These notes are meant to supplement the lectures for Math 126 (Introduction to PDE) in the Fall of 2014 at the University of California, Berkeley. Contents 1.
More information3. Fourier decomposition of functions
22 C. MOUHOT 3.1. The Fourier transform. 3. Fourier decomposition of functions Definition 3.1 (Fourier Transform on L 1 (R d )). Given f 2 L 1 (R d ) define its Fourier transform F(f)( ) := R d e 2i x
More information8 Singular Integral Operators and L p -Regularity Theory
8 Singular Integral Operators and L p -Regularity Theory 8. Motivation See hand-written notes! 8.2 Mikhlin Multiplier Theorem Recall that the Fourier transformation F and the inverse Fourier transformation
More informationCONVERGENCE OF THE FOURIER SERIES
CONVERGENCE OF THE FOURIER SERIES SHAW HAGIWARA Abstract. The Fourier series is a expression of a periodic, integrable function as a sum of a basis of trigonometric polynomials. In the following, we first
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 informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationFACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355. Analysis 4. Examiner: Professor S. W. Drury Date: Tuesday, April 18, 2006 INSTRUCTIONS
FACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355 Analysis 4 Examiner: Professor S. W. Drury Date: Tuesday, April 18, 26 Associate Examiner: Professor K. N. GowriSankaran Time: 2: pm. 5: pm. INSTRUCTIONS
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 informationMath 565: Introduction to Harmonic Analysis - Spring 2008 Homework # 2, Daewon Chung
Math 565: Introduction to Harmonic Analysis - Spring 8 Homework #, Daewon Chung. Show that, and that Hχ [a, b] : lim H χ [a, b] a b. H χ [a, b] : sup > H χ [a, b] a b. [Solution] Let us pick < min a, b
More informationSome basic elements of Probability Theory
Chapter I Some basic elements of Probability Theory 1 Terminology (and elementary observations Probability theory and the material covered in a basic Real Variables course have much in common. However
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 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 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 informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationTips and Tricks in Real Analysis
Tips and Tricks in Real Analysis Nate Eldredge August 3, 2008 This is a list of tricks and standard approaches that are often helpful when solving qual-type problems in real analysis. Approximate. There
More informationEntrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems
September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.
More informationSome analysis problems 1. x x 2 +yn2, y > 0. g(y) := lim
Some analysis problems. Let f be a continuous function on R and let for n =,2,..., F n (x) = x (x t) n f(t)dt. Prove that F n is n times differentiable, and prove a simple formula for its n-th derivative.
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationAverage theorem, Restriction theorem and Strichartz estimates
Average theorem, Restriction theorem and trichartz estimates 2 August 27 Abstract We provide the details of the proof of the average theorem and the restriction theorem. Emphasis has been placed on the
More informationJUHA KINNUNEN. Partial Differential Equations
JUHA KINNUNEN Partial Differential Equations Department of Mathematics and Systems Analysis, Aalto University 207 Contents INTRODUCTION 2 FOURIER SERIES AND PDES 5 2. Periodic functions*.............................
More informationFourier Series and Recent Developments in Analysis
Fourier Series and Recent Developments in Analysis Karlstad, June 2003 Javier Soria (U. Barcelona) 1 Jean Baptiste Joseph Fourier (1768-1830) It was around 1804 that Fourier did his important mathematical
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 informationThe Fourier Transform and applications
The Fourier Transform and applications Mihalis Kolountzakis University of Crete January 2006 Mihalis Kolountzakis (U. of Crete) FT and applications January 2006 1 / 36 Groups and Haar measure Locally compact
More informationAdvanced Real Analysis
Advanced Real Analysis Edited and typeset by David McCormick Based upon lectures by José Luis Rodrigo University of Warwick Autumn Preface These notes are primarily based on the lectures for the course
More informationLinear Independence of Finite Gabor Systems
Linear Independence of Finite Gabor Systems 1 Linear Independence of Finite Gabor Systems School of Mathematics Korea Institute for Advanced Study Linear Independence of Finite Gabor Systems 2 Short trip
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationProblem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1
Problem set 5, Real Analysis I, Spring, 25. (5) Consider the function on R defined by f(x) { x (log / x ) 2 if x /2, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, R f /2
More informationQuintic deficient spline wavelets
Quintic deficient spline wavelets F. Bastin and P. Laubin January 19, 4 Abstract We show explicitely how to construct scaling functions and wavelets which are quintic deficient splines with compact support
More information2.4 Hilbert Spaces. Outline
2.4 Hilbert Spaces Tom Lewis Spring Semester 2017 Outline Hilbert spaces L 2 ([a, b]) Orthogonality Approximations Definition A Hilbert space is an inner product space which is complete in the norm defined
More informationW. Lenski and B. Szal ON POINTWISE APPROXIMATION OF FUNCTIONS BY SOME MATRIX MEANS OF CONJUGATE FOURIER SERIES
F A S C I C U L I M A T H E M A T I C I Nr 55 5 DOI:.55/fascmath-5-7 W. Lenski and B. Szal ON POINTWISE APPROXIMATION OF FUNCTIONS BY SOME MATRIX MEANS OF CONJUGATE FOURIER SERIES Abstract. The results
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More information5. Some theorems on continuous functions
5. Some theorems on continuous functions The results of section 3 were largely concerned with continuity of functions at a single point (usually called x 0 ). In this section, we present some consequences
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 informationSingular Integrals. 1 Calderon-Zygmund decomposition
Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b
More informationAnalytic families of multilinear operators
Analytic families of multilinear operators Mieczysław Mastyło Adam Mickiewicz University in Poznań Nonlinar Functional Analysis Valencia 17-20 October 2017 Based on a joint work with Loukas Grafakos M.
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationVector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.
Vector Spaces Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. For each two vectors a, b ν there exists a summation procedure: a +
More informationConvergence of Fourier series
Convergence of Fourier series Final Degree Dissertation Degree in Mathematics Javier Canto Llorente Supervisor: Javier Duoandikoetxea Zuazo Leioa, June 26 Contents Introduction v rigonometric Fourier
More informationMath 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.
Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped
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 informationZygmund s Fourier restriction theorem and Bernstein s inequality
Zygmund s Fourier restriction theorem and Bernstein s inequality Jordan Bell jordanbell@gmailcom Department of Mathematics, University of Toronto February 13, 2015 1 Zygmund s restriction theorem Write
More informationA proof for the full Fourier series on [ π, π] is given here.
niform convergence of Fourier series A smooth function on an interval [a, b] may be represented by a full, sine, or cosine Fourier series, and pointwise convergence can be achieved, except possibly at
More informationAn idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim
An idea how to solve some of the problems 5.2-2. (a) Does not converge: By multiplying across we get Hence 2k 2k 2 /2 k 2k2 k 2 /2 k 2 /2 2k 2k 2 /2 k. As the series diverges the same must hold for the
More informationExamples of the Fourier Theorem (Sect. 10.3). The Fourier Theorem: Continuous case.
s of the Fourier Theorem (Sect. 1.3. The Fourier Theorem: Continuous case. : Using the Fourier Theorem. The Fourier Theorem: Piecewise continuous case. : Using the Fourier Theorem. The Fourier Theorem:
More informationf(x)e ikx dx. (1) f(k)e ikx dk. (2) e ikx dx = 2sinak. k f g(x) = g f(x) = f(s)e iks ds
Mathematical Methods: Page 15 2 Fourier transforms 2.1 Integral transforms The Fourier transform is studied in this chapter and the Laplace transform in the next. They are both integral transforms that
More information