Bochner s Theorem on the Fourier Transform on R
|
|
- Kenneth Rich
- 6 years ago
- Views:
Transcription
1 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 2 ), i.e. functions which can be written as the sum of a function in L ) and a function in L 2 ). A celebrated result the Hausdorff Young inequality) states that the Fourier transform takes functions in L p ) to L q ) for p 2, where p + q =. However, this does not extend to the case when p > 2. In addition, the maps F : L p ) L q ) are not surjective when p < 2. herefore it seems natural to try to extend the Fourier transform to objects other than functions. he most complete method of doing this is extending the Fourier transform to the space of tempered distributions, i.e. the space of linear functionals on the Schwartz functions. Instead, we will study the Fourier Stieltjes transform, a slight generalisation of the Fourier transform. We now transform complex finite Borel measures rather than functions, and output a function. Bochner s heorem answers the question of which functions ϕ are the Fourier Stieltjes transform of some positive Borel measure. It states that the function is continuous and positive definite is a necessary and sufficient condition for it to be a Fourier Stieltjes transform. We shall first explore the analogous situation on the torus or the circle here, when the dimension is one). Fourier Stieltjes coefficients will be examined, and are related to Fourier coefficients. here is much similarity between Fourier Stieltjes coefficients and the Fourier Stieltjes transform. However, the theory building up to a Bochner type result on the torus is clearer and simpler than going directly to Bochner s theorem on. 2 Preliminaries Let be the torus [0, 2π] with the points 0 and 2π identified, i.e. the same point. In this paper, we shall be working with two spaces of continuous functions, both equipped with the supremum norm: C), continuous functions on, and C 0 ), continuous functions that vanish at infinity. We will also consider two spaces of finite complex Borel measures on and, namely M) and M). For clarity, µ will denote a measure in M), while ν will denote
2 a measure in M). he norm on both spaces are given by µ M) = µ ) and ν M) = ν ). ecall that if V is a Banach space, then the dual space V is the set of linear functionals ψ : V C which are continuous/bounded. he following theorem is very useful in multiple ways; the proof can be found in [3]. heorem iesz representation theorem). ) Any linear functional ψ C)) can be identified with a unique measure µ M) such that ψf) = ft) dµt). In 2π addition, ψ C) = µ M). 2) Any linear functional φ C 0 )) can be identified with a unique measure ν M) such that φg) = gx) dνx). Furthermore, φ C) = ν M). ecall that the Fourier series on of an integrable function f is given by ˆfn) = ft)e int dt. rigonometric polynomials are functions of the form P t) = N a ne int. It can be easily verified that P t) = N ˆP n)e int. A basic result in Fourier analysis is that the partial sums N ˆfn)e int do not necessarily converge to the function itself. Nevertheless, we have convergence in a related series. A proof of this statement can be found in [2]. Lemma 2 Fejér). For positive integer N, define the Fejér kernel by F N x) = N + sin 2 [N + )x/2] sin 2. [x/2] hen for a continuous function f on, we have the following convolution: F N f)t) = n ) N + ˆfn)e int. Furthermore, F N f)t) converges uniformly to f as N. As the convergents in the previous lemma are trigonometric polynomials, any function can be approximated by trigonometric polynomials. Hence trigonometric polynomials are dense in C). 3 Fourier Stieltjes Coefficients Fourier Stieltjes coefficients are an extension of Fourier coefficients, defined with measures in M): Definition 3. he Fourier Stieltjes coefficients of a measure µ M) is a function on Z given by the expression ˆµn) = e int dµt). 2π 2
3 Note that if we have an integrable function f, we can identify it with a measure dµ = ft) dt dt represents the usual Lebesgue measure). Computing the Fourier Stieltjes coefficients gives ˆµn) = 2π e int dµ = 2π e int ft) dt = ˆfn), so we really do have an extension of Fourier coefficients. For Fourier transforms of functions in L 2 ), an important result is Parseval s formula: fx)gx) dx = ˆfξ)ĝξ) dξ. An analogue holds in the context of Fourier Stieltjes 2π coefficients in the following sense: Proposition 4 Parseval s Formula). If µ M) and f C), then ft)dµt) = lim 2π n ) N + ˆfn)ˆµn). Proof. Suppose f is any continuous function. hen by using lemma 2, we can approximate f uniformly as lim n N+) ˆfn)e int. As µ is a finite measure, we can exchange the limit and integral to yield ft)dµt) = lim = lim = lim [ n N + n N + n N + ) ) ) ˆfn)e int ] dµt) ˆfn) e int dµt) ˆfn)ˆµn). We remark that without the converge. ) n factor, the right hand side may not necessarily N+ Bochner s theorem is about trying to determine which sequences are the Fourier Stieltjes coefficients of a measure. As a first step, we give a necessary and sufficient condition for a sequence to the Fourier Stieltjes coefficients of a measure µ: Proposition 5. Let {a n } n= be a sequence of complex numbers. hen the following are equivalent: a) here exists µ M) with µ C and ˆµn) = a n for all n. b) For all trigonometric polynomials P, ˆP n)an C sup P t). t Proof. a) = b): Given any trigonometric polynomial P, use Parseval s formula to get ˆP n)a n = P t) dµ µ sup P t) t where we used the iesz representation theorem to show that µf) µ f C) = µ sup t fx). 3
4 b) = a): he linear map P ˆP n)an defines a linear functional on the space of trigonometric polynomials. As trigonometric polynomials are dense in C), we can extend our linear functional to C). By the iesz representation theorem our linear functional is of the form f f dµ 2π for a suitable measure µ M) of norm C. Substituting f = e int into both P ˆP n)an and f f dµ immediately gives ˆµn) = a 2π n or ˆµn) = a n. Consider a sequence {a n } n Z which eventually vanishes, i.e. a n = 0 when n > K. hen it can be checked that the measure given by dµ N := K n= K a ne int dt satisfies µ N n) = a n for all n. his allows us to make sense of the following corollary. he proof involves algebraic manipulations and Parseval s formula only, and hence will not be presented here. Corollary 6. A sequence {a n } n Z is the Fourier Stieltjes coefficients of some µ with µ C, if, and only if, µ N M) C for all N. Here, µ N is the measure such that µ N n) = n )a N+ n whenever n N, and zero when n > N. 4 Hergoltz s heorem Hergoltz s theorem is the analogue of Bochner s theorem on the torus, as in it gives necessary and sufficient conditions for a sequence to be the Fourier Stieltjes coefficients of a positive measure. o prove this, we first need the following lemma: Lemma 7. A sequence {a n } n Z is the Fourier Stieltjes series of a positive measure if, and only if, for all N and t, σ N t) := n ) a n e int 0. N + Proof. First suppose ˆµn) = a n for some positive measure µ M). Let f C) be an arbitrary non-negative function. hen ft)σ N t) dt = [ N ft) n ) ] a n e int dt 2π 2π N + = n ) ˆfn)ˆµn) N + = n ) ˆfn) e int dµt) N + = n ) ˆfn)e int dµ N + = F N f)t) dµ from lemma 2). 4
5 Now note that the Fejér kernel is non-negative. As f is non-negative, the convolution F N f) is also non-negative. From the positivity of the measure µ, our quantity is non-negative. As this is true for any non-negative function f, we get that σ N t) 0. Now suppose ) N n a N+ n e int 0. As before, denote µ N as the measure with ) Fourier Stieltjes coefficients n a N+ n. hen we want to compute µ N M). By the iesz representation theorem we just need to compute the norm of the functional ) f f dµ 2π N. However, from earlier discussion, dµ N = n a N+ n dt. herefore µ N M) = sup f C) = ft) dµ N = sup 2π f = ft) σ N t) dt. 2π As σ N t) is positive, µ N is a positive measure and the above quantity is maximised when ft) =. his means that µ N M) = 2π n ) a n e int dt = a 0. N + his must be true for all N. herefore, µ N M) are uniformly bounded by a 0. By corollary 6, we can find a µ M) such that ˆµn) = a n for all n. o show that µ is a positive measure, take an arbitrary non-negative function f. hen f dµ = lim f dµ N 0 as this convergence comes from taking the limit in Parseval s formula. hus µ is positive. We remark in the above proof that one can replace the condition σ N t) 0 for all N with σ N t) 0 for infinitely many N. he proof remains the same, except that we only take a subsequence N j where σ Nj t) 0. Definition 8. A sequence {a n } n Z is positive definite if for all sequences of complex numbers {z n } n Z which have all but a finite number of terms zero, we have a n m z n z m 0. n,m Z he work from the last few pages can now be combined to prove Herglotz s theorem: heorem 9 Herglotz). A sequence {a n } n Z is the Fourier Stieltjes transform of a positive measure µ M) if, and only if, the sequence is positive definite. Proof. If µ is a positive measure with ˆµn) = a n, then a n m z n z m = n,m Z n,m Z e int e imt 2 z n z m dµ = z n e int dµ 0. n Z 5
6 On the { other hand, suppose {a n } is positive definite. Fix values t, N. Define numbers e int, n N z n =. By direct substitution, one can verify that n,m 0, else a n mz n z m = j C j,na j e ijx, where C j,n = max0, 2N + j ). herefore by positive definiteness, σ 2N t) = = 2 j= 2N 2N + j ) a j e ijx = 2N + n,m Z a n m z n z m 0. 2N + 2 j= 2N C j,n a j e ijx We proved that σ N t) 0 for even N. he result then follows from lemma 7. 5 he Fourier Stieltjes ransform We define the main object of interest here, the Fourier Stieltjes transform. Definition 0. he Fourier Stieltjes transform of a measure ν M) is a function on given by the expression ˆνξ) = e iξx dνx). Like Fourier Stieltjes coefficients, there is consistency between the definition here, and the Fourier transform of L functions. If g is an integrable function, identify it with a measure dν = g dx. Hence ˆνξ) = e iξx gx) dx = ĝξ), which shows consistency in the transforms. he iemann Lebesgue lemma on the ordinary Fourier transform states that if g L ), then ĝξ) is uniformly continuous and goes to 0 as ξ. he uniform continuity still holds for the Fourier Stieltjes transform, but ˆνξ) does not necessarily go to 0. A simple example is ν = δ 0, the measure with mass at 0. It can be easily verified that ˆνξ) = for all ξ. We can deduce another version of Parseval s formula in this new context: Proposition Parseval s Formula). If ν M) and both g, ĝ are in L ), then gx)dνx) = ĝξ)ˆν ξ) dξ. 2π Proof. If both g and ĝ are integrable, then the Fourier inversion formula holds: gx) = 2π ĝξ)eiξx dξ. herefore, gx)dνx) = ĝξ)e iξx dνx) dξ = ĝξ)ˆν ξ), 2π 2π where we used the integrability of ĝξ) to justify the usage of Fubini s theorem. 6
7 he following proposition gives a necessary and sufficient statement for a function to be the Fourier Stieltjes transform of a measure, and is the first step to Bochner s theorem on. Proposition 2. If ϕ is a continuous function defined on, then it is the Fourier Stieltjes transform of a measure if, and only if, there exists a constant C such that ĝξ)ϕ ξ) dξ 2π C sup gx) x for every continuous function g L ) such that ĝ has compact support. Proof. Firstly, suppose that ϕ = ˆν. hen the statement follows directly from Parseval s formula by setting C = ν M). On the other hand, suppose our inequality is valid. hen the linear functional ψ which maps g to ĝξ)ϕ ξ) dξ is a bounded, continuous linear functional on the set of 2π continuous functions g such that ĝ is compactly supported. his is a dense subset of C 0 ). herefore we can extend ψ to a bounded functional on C 0 ). By the iesz representation theorem, ψ can be represented by a measure ν M), where ν M) C. herefore ψ maps g to ĝx) dνx). Using Parseval s formula here yields that ĝξ)ϕ ξ) dξ = ĝξ)ˆν ξ) dξ. his must hold for all g, so 2π 2π ϕ = ˆν. 6 Connection to Fourier Stieltjes Coefficients We have a natural covering map p : sending x to x mod 2π. his can be used to pushforward a measure ν M) to a measure µ M). If we extend a continuous function f on to a 2π-periodic function g on which do not necessarily go to zero), then we get that gx) dνx) = ft) dµt). An immediate consequence is that ˆνn) = ˆµn) for all integers n. his allows us to relate the original problem on to the problem on. he following theorem is a key step in doing this: heorem 3. If ϕ is a continuous function defined on, then it is the Fourier Stieltjes transform if, and only if, there exists a constant C > 0 such that for any choice of λ > 0, {ϕλn)} n= are the Fourier Stieltjes coefficients of a measure of norm C on. Proof. First suppose ϕ = ˆν. hen ϕn) = ˆνn) = ˆµn), where µ is the pushforward measure of ν with respect to the covering. Note that µ M) ν M). Denote νx/λ) the measure on which satisfies the following equation for all g: gx)dν x) = gλx) dνx). λ 7
8 We get that νx/λ) M) = ν M) and νx/λ)ξ) = ˆνξλ). Setting ξ = n yields that ϕλn) = µx/λ)n), so {ϕλn)} n Z form the Fourier Stieltjes coefficients of norm at most ν M). o show the converse, we shall use theorem 2. Let g be continuous such that ĝ is continuous and compactly supported. hen by those conditions the integral ĝξ)ϕ ξ) dξ 2π can be approximated by its iemann sums where the width of each rectangle is λ). For arbitrary ɛ, choose sufficiently small λ to obtain ĝξ)ϕ ξ) dξ 2π < λ ĝλn)ϕ λn) 2π + ɛ. Note that λ 2πĝλn) is the Fourier coefficient for the function G λt) = m Z gt + 2πm)/λ) on. If λ is sufficiently small, then by the decay of g, we have sup t G λ t) sup gx) + ɛ. x By assumption, ϕλn) = µ λ n) for some µ λ M), with µ λ M) C. hen Parseval s formula for gives λ ĝλn)ϕ λn) 2π = Ĝ λ n) ˆµ λ n) C sup G λ t). n Combining all inequalities gives λ ĝλn)ϕ λn) 2π < C sup gx) + C + )ɛ. n As ɛ > 0 was arbitrary, the condition for proposition 2 is satisfied. n Now here is a necessary and sufficient condition for a function ϕ to be a Fourier Stieltjes transform of a positive measure. he proof is very similar to theorem 3, so it will not be presented here. Proposition 4. If ϕ is a continuous function defined on, then it is the Fourier Stieltjes transform of a positive measure if, and only if, there exists a constant C > 0 such that for any choice of λ > 0, {ϕλn)} n= are the Fourier Stieltjes coefficients of a positive measure on. n x t 7 Bochner s heorem Definition 5. A function ϕ defined on is positive definite if for all ξ,..., ξ N and z,..., z N C, we have ϕξ j ξ k )z j z k 0. j,k= 8
9 Finally, we have the machinery to prove the main subject of this paper. heorem 6. A function ϕ defined on is the Fourier Stieltjes transform of a positive measure if, and only if, it is continuous and positive definite. Proof. First assume that ϕ = ˆν for a positive measure ν M). ξ,... ξ N and z,... z N C, we get ϕξ j ξ k )z j z k = e iξjx z j e iξkx z k dνx) j,k= = j,k= z j e iξ jx j= 2 dνx) 0. Given numbers For the other direction, if ϕ is positive definite, then by definition, {ϕλn)} is a positive definite sequence for all λ. Herglotz s theorem guarantees a measure µ λ, such that µ λ n) = ϕλn). By proposition 4, there must exist ν such that ˆν = ϕ. eferences [] Katznelson, Y. 2004). An Introduction to Harmonic Analysis 3rd edn), Cambridge Mathematical Library. [2] Grafakos, L. 2003). Classical and Modern Fourier Analysis, Prentice Hall. [3] udin, W. 987). eal and Complex Analysis 3rd edn), McGraw Hill Book Company. 9
Expository Notes on Introduction to Harmonic Analysis
Expository Notes on Introduction to Harmonic Analysis Matthew Begué December 8, 202 he following contains results with explanations from Yitzhak Katznelson s An Introduction to Harmonic Analysis [Katz].
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 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 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 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 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 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 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 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 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 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 informationKatznelson Problems. Prakash Balachandran Duke University. June 19, 2009
Katznelson Problems Prakash Balachandran Duke University June 9, 9 Chapter. Compute the Fourier coefficients of the following functions (defined by their values on [ π, π)): f(t) { t < t π (t) g(t) { t
More informationHarmonic Analysis on the Cube and Parseval s Identity
Lecture 3 Harmonic Analysis on the Cube and Parseval s Identity Jan 28, 2005 Lecturer: Nati Linial Notes: Pete Couperus and Neva Cherniavsky 3. Where we can use this During the past weeks, we developed
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 informationThe Wiener algebra and Wiener s lemma
he Wiener algebra and Wiener s lemma Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of oronto January 17, 2015 1 Introduction Let = R/Z. For f L 1 () we define f L 1 () = 1 For
More informationFor example, the real line is σ-finite with respect to Lebesgue measure, since
More Measure Theory In this set of notes we sketch some results in measure theory that we don t have time to cover in full. Most of the results can be found in udin s eal & Complex Analysis. Some of the
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 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 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 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 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 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 informationTOPICS IN FOURIER ANALYSIS-III. Contents
TOPICS IN FOUIE ANALYSIS-III M.T. NAI Contents 1. Fourier transform: Basic properties 2 2. On surjectivity 7 3. Inversion theorem 9 4. Proof of inversion theorem 10 5. The Banach algebra L 1 ( 12 6. Fourier-Plancheral
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 informationOn an uniqueness theorem for characteristic functions
ISSN 392-53 Nonlinear Analysis: Modelling and Control, 207, Vol. 22, No. 3, 42 420 https://doi.org/0.5388/na.207.3.9 On an uniqueness theorem for characteristic functions Saulius Norvidas Institute of
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 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 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 informationLINGXIAN (ROSE) ZHANG
HE L p CONVERGENCE OF FOURIER SERIES LINGXIAN ROSE ZHANG Abstract. In this expository paper, we show the L p convergence of Fourier series of functions on the one-dimensional torus. We will first turn
More informationCONVERGENCE OF RANDOM FOURIER SERIES
CONVERGENCE OF RANDOM FOURIER SERIES MICH HILL Abstract. his paper will study Fourier Series with random coefficients. We begin with an introduction to Fourier series on the torus and give some of the
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 informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 2
Math 551 Measure Theory and Functional nalysis I Homework ssignment 2 Prof. Wickerhauser Due Friday, September 25th, 215 Please do Exercises 1, 4*, 7, 9*, 11, 12, 13, 16, 21*, 26, 28, 31, 32, 33, 36, 37.
More informationω 0 = 2π/T 0 is called the fundamental angular frequency and ω 2 = 2ω 0 is called the
he ime-frequency Concept []. Review of Fourier Series Consider the following set of time functions {3A sin t, A sin t}. We can represent these functions in different ways by plotting the amplitude versus
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 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 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 informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More informationChapter I. Fourier Series on T
Chapter I Fourier Series on T We denote by R the additive group of real numbers and by Z the subgroup consisting of the integers. The group T is defined as the quotient R/Z where, as indicated by the notation,
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 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 informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationTHE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES
THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES PHILIP GADDY Abstract. Throughout the course of this paper, we will first prove the Stone- Weierstrass Theroem, after providing some initial
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
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 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 informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More information13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map
3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given
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 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 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 informationON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number, November 996 ON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES HASEO KI Communicated by Andreas R. Blass)
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 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 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 informationON THE BEHAVIOR OF THE SOLUTION OF THE WAVE EQUATION. 1. Introduction. = u. x 2 j
ON THE BEHAVIO OF THE SOLUTION OF THE WAVE EQUATION HENDA GUNAWAN AND WONO SETYA BUDHI Abstract. We shall here study some properties of the Laplace operator through its imaginary powers, and apply the
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 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 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 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 informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
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 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 informationFourier transforms, I
(November 28, 2016) Fourier transforms, I Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/Fourier transforms I.pdf]
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 informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationSTRUCTURE OF (w 1, w 2 )-TEMPERED ULTRADISTRIBUTION USING SHORT-TIME FOURIER TRANSFORM
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (154 164) 154 STRUCTURE OF (w 1, w 2 )-TEMPERED ULTRADISTRIBUTION USING SHORT-TIME FOURIER TRANSFORM Hamed M. Obiedat Ibraheem Abu-falahah Department
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 informationFourier Analysis. Dr. Felix Schwenninger University of Hamburg
Fourier Analysis Dr. Felix Schwenninger University of Hamburg his is a preliminary (and still incomplete) version of the things we have encountered in the lectures so far. For example, the motivation presented
More informationThe Bernstein and Nikolsky inequalities for trigonometric polynomials
he ernstein and Nikolsky ineualities for trigonometric polynomials Jordan ell jordanbell@gmailcom Department of Mathematics, University of oronto January 28, 2015 1 Introduction Let = R/2πZ For a function
More informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationChapter 4. The dominated convergence theorem and applications
Chapter 4. The dominated convergence theorem and applications The Monotone Covergence theorem is one of a number of key theorems alllowing one to exchange limits and [Lebesgue] integrals (or derivatives
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 informationLEBESGUE INTEGRATION. Introduction
LEBESGUE INTEGATION EYE SJAMAA Supplementary notes Math 414, Spring 25 Introduction The following heuristic argument is at the basis of the denition of the Lebesgue integral. This argument will be imprecise,
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 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 informationLet R be the line parameterized by x. Let f be a complex function on R that is integrable. The Fourier transform ˆf = F f is. e ikx f(x) dx. (1.
Chapter 1 Fourier transforms 1.1 Introduction Let R be the line parameterized by x. Let f be a complex function on R that is integrable. The Fourier transform ˆf = F f is ˆf(k) = e ikx f(x) dx. (1.1) It
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
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 informationIn this paper we study properties of weakly analytic vector-valued measures.
VECTO-VLUED WEKLY NLYTIC MESUES Nakhlé H. smar, nnela. Kelly and Stephen Montgomery-Smith 1. Introduction In this paper we study properties of weakly analytic vector-valued measures. To motivate the discussion,
More informationMath 127: Course Summary
Math 27: Course Summary Rich Schwartz October 27, 2009 General Information: M27 is a course in functional analysis. Functional analysis deals with normed, infinite dimensional vector spaces. Usually, these
More informationHilbert Spaces. Contents
Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................
More informationApplication of Ergodic Theory to Uniform distribution mod 1. Oleg Ivrii
Application of Ergodic Theory to Uniform distribution mod 1 Oleg Ivrii February 13, 2008 Chapter 1 Ergodic Theory 1.1 The Setting Our setting will vary, but (, µ) will be some measure space and T a measure
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 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 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 informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationNotation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b
Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function
More informationHARMONIC ANALYSIS TERENCE TAO
HARMONIC ANALYSIS TERENCE TAO Analysis in general tends to revolve around the study of general classes of functions (often real-valued or complex-valued) and operators (which take one or more functions
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 informationSPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT
SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT Abstract. These are the letcure notes prepared for the workshop on Functional Analysis and Operator Algebras to be held at NIT-Karnataka,
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 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 information1 Orthonormal sets in Hilbert space
Math 857 Fall 15 1 Orthonormal sets in Hilbert space Let S H. We denote by [S] the span of S, i.e., the set of all linear combinations of elements from S. A set {u α : α A} is called orthonormal, if u
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 information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
More informationThree hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00
Three hours MATH41112 THE UNIVERSITY OF MANCHESTER ERGODIC THEORY 31st May 2016 14:00 17:00 Answer FOUR of the FIVE questions. If more than four questions are attempted, then credit will be given for the
More informationMath 117: Continuity of Functions
Math 117: Continuity of Functions John Douglas Moore November 21, 2008 We finally get to the topic of ɛ δ proofs, which in some sense is the goal of the course. It may appear somewhat laborious to use
More informationFolland: Real Analysis, Chapter 7 Sébastien Picard
Folland: Real Analysis, Chapter 7 Sébastien Picard Problem 7.2 Let µ be a Radon measure on X. a. Let N be the union of all open U X such that µ(u) =. Then N is open and µ(n) =. The complement of N is called
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 information