1 Fourier Integrals on L 2 (R) and L 1 (R).
|
|
- Judith Rich
- 5 years ago
- Views:
Transcription
1 Fall 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 Fourier transform is defined for f L 1 () by F(f) = ˆf(ξ) = The Fourier inversion formula on the Schwartz class S(). Theorem 1 If f S(), then ˆf S() and f(x)e ixξ dx (1) f(x) = 1 ˆf(ξ)e ixξ dξ Thus the inverse operator to the Fourier transform is given by ǧ(x) = 1 g(ξ)e ixξ dξ = 1 ĝ( x) A function f L 2 () need not be in L 1 () and the integral defining ˆf may be divergent. Nevertheless, one can define the Fourier transform ˆf as a limit in two ways. The first way uses the Plancherel theorem. Corollary 1 If f S(), then f(x) 2 dx = ˆf(ξ) 2 dξ Corollary 1 leads to a definition of the Fourier transform for f L 2 () by continuity in the L 2 distance as follows. 1
2 Corollary 2 Let f L 2 () and let f j S() be such that f f j 2 0 as j. Then ˆf j is a Cauchy sequence in L 2 () and the limit (in the L 2 metric) is independent of the choice of sequence approximating f. Thus there is a unique function denoted ˆf L 2 () for which lim j ˆf ˆf j 2 = 0 Furthermore, ˆf 2 2 = f 2 2 Corollary 3 If f L 2 (), and ˆf = 0 almost everywhere, then f = 0. Fourier inversion formula on the Schwartz class extends by continuity to Fourier inversion on L 2 (). Corollary 4 (Fourier inversion on L 2 ) Let then for all f L 2 (), G(f)(x) = 1 ˆf( x) G F(f) = F G(f) = f Thus, up to the factor, the Fourier transform is an isometry (distance preserving) from L 2 () to itself. We need to make sure that our two definitions of the Fourier transform for L 1 and L 2 are consistent. This is taken care of by the following proposition. Proposition 1 If f L 2 () L 1 (), then the definition by continuity in Corollary 2 for ˆf coincides with the definition (1) above. (See PS9, Exercise AG 3.5/3, p The starting point of the proof of the proposition is that one can choose f j S so that f f j 1 + f f j 2 0). As a consequence of the proposition, we find a second way to define the Fourier transform on L 2 using a more straightforward truncation Indeed, in the very next exercise (PS9, AG 3.5/4, p. 153) you were asked to show that if f L 2 (), then ˆf(ξ) = lim N N N f(x)e ixξ dx, (limit in L 2 sense) 2
3 To prove this, note that if f N (x) = f(x)1 [ N,N], then f N L 2 () L 1 (), and by Exercise 3.5/3, ˆfN (ξ) is the integral on the right. On the other hand, it follows from Corollary 2 applied to f f N that ˆf ˆf N 2 2 = f f N 2 2 = f(x) 2 dx x >N which tends to zero by the dominated convergence theorem (with majorant f(x) 2 ). We now deduce a more explicit version of Fourier inversion on L 2, which can be stated as follows. Theorem 2 Suppose that f L 2 (). Then ˆf(ξ)1 [ N,N] (ξ) is in L 2 () L 1 () and s N (x) = 1 N N ˆf(ξ)e ixξ dξ satisfies lim f s N L 2 = 0 N To begin the proof of Theorem 2, consider f L 2 (). Then by Corollary 2, ˆf L 2 () and hence, by the Cauchy-Schwarz inequality, ˆf 1[ N,N] L 1 () L 2 (). We will apply a proposition analogous to Proposition 1 (with exactly the same proof). Proposition 2 If h L 1 () L 2 (), then the inverse Fourier tranform obtained by continuity in the L 2 norm coincides with the L 1 definition: G(h)(x) = 1 h(ξ)e ixξ dξ Let h = ˆf 1 [ N,N]. Then h L 1 () L 2 () and Proposition 2 implies s N (x) = G(h)(x) Since h L 2 (), we also have s N apply Theorem 4 to obtain L 2 (), and we may take the Fourier transform and ŝ N (ξ) = h(ξ) = ˆf(ξ)1 [ N,N] (ξ) 3
4 Finally, applying the formula in Corollary 2 f s N 2 2 = ˆf ŝ N 2 2 = ξ >N ˆf(ξ) 2 dξ 0 as N (The last step uses the dominated convergence theorem with majorant ˆf(ξ 2.) This ends the proof of Theorem 2. Our last task is to find a Fourier inversion formula on L 1 (). Theorem 3 Let f L 1 () and denote σ N (x) = 1 N (1 ξ/n ) + ˆf(ξ)e ixξ dξ N Then lim N f σ N L 1 = 0 Corollary 5 If f L 1 (), and ˆf = 0, then f = 0. The idea of the proof of Theorem 3 is parallel to the case of Fourier series. Note that Fubini s theorem implies that for f and g in L 1 (), We will show that (f g)(ξ) = ˆf(ξ)ĝ(ξ) (2) σ N (x) = f F N (x) (3) for a function F N, known (as in the the case of the circle group) as the Fejér kernel. Theorem 4 (Approximate identity) If K L 1 (), K ɛ (x) = (1/ɛ)K ɛ (x), and then K ɛ f f 1 0 for all f L 1 (). K(x) dx = 1 4
5 Consider K(x) = F 1 (x), K ɛ = F 1/ɛ with ɛ = 1/N. It will suffice to show that K = F 1 is integrable with integral 1. In fact, we will find that F 1 (x) > 0 and F 1 (x) dx = F 1 (x)dx = ˆF 1 (0) = 1 (4) Thus the approximate identity theorem implies that σ N f 1 f L 1 (). We will find the formula for F N using the identity 0 as N for all ˆF N (ξ) = (1 ξ/n ) + This function has the shape of a triangle. It has a very simple relationship with change of scale, namely, ˆFN (ξ) = ˆF 1 (ξ/n) and by change of variables, F N (x) = NF 1 (Nx). One can easily compute F 1 and hence F N using the inverse Fourier transform formula and integration by parts, but we prefer to derive its fomula by a more circuitous route that will enable us to see why F N (x) is essentially the square of D N (x), the Dirichlet kernel. Define ˆD N (ξ) = 1 [ N,N] (ξ) Then Proposition 2 gives D N (x) = 1 N e ixξ dξ = eixξ N ix N N = sin Nx πx D N is known as the Dirichlet kernel (analogous to the one for Fourier series). s N (x) = f D N (x); ŝ N (ξ) = ˆf(ξ)1 [ N,N] (ξ) (Note that D N (x) 2 1/ x 2 as x so that D N L 2 (). Thus f D N (x) is a convergent integral for every x, provided f L 2 ().) We also remark that D N has the following scaling properties. D N (x) = ND 1 (Nx); ˆDN (ξ) = ˆD 1 (ξ/n) As in the case of Fourier series, it does not work to approximate f by s N (x) for f L 1 (). By inspection, we see that D N (x) has the size of 1/ x as x so that D N / L 1 (). Even figuring out exactly what f D N (x) means for f L 1 () is delicate and beyond the scope of this course. 5
6 So instead of D N, we work out the formula for the Fejér kernel F N. Since ˆD 1/2 (ξ) = 1 [ 1/2,1/2], we have the convolution formula ˆD 1/2 ˆD 1/2 (ξ) = (1 ξ ) + = ˆF 1 (ξ) Because the inverse Fourier transform is 1/ times the Fourier transform (with a sign change) a formula equivalent to (2) says G(f g) = G(f)G(g) Apply this with f = g = 1 [ 1/2,1/2] = ˆD 1/2, then In other words, F 1 = G(f g) = G(f)G(g) = D 2 1/2 F 1 (x) = sin2 (x/2) (πx) 2 Next we rescale. Since ˆF N (ξ) = ˆF 1 (ξ/n), we have = 2 sin2 (x/2) πx 2 F N (x) = NF 1 (Nx) = 2N sin2 (Nx/2) π(nx) 2 = 2 sin2 (Nx/2) πnx 2 The only feature of the explicit formula for F N (x) that we need is F N (x) > 0. Since ˆF N (0) = 1, (4) follows. The last step in the proof is to confirm (3). If f L 1 (), then ˆf is continuous and by definition, σ N (x) = 1 N ˆf(ξ)(1 ξ/n )e ixξ dξ = 1 f(y)e iyξ dy (1 ξ/n )e ixξ dξ N The majorant f(y) (1 ξ/n ) + is integrable with respect to dydξ so Fubini s theorem and Theorem 2 applied to F N imply σ N (x) = f(y) 1 (1 ξ/n ) + e i(x y)ξ dξ dy = f F N (x) As a final remark, we double check our arithmetic in the computation of F N as follows. F N (0) = 1 N N 6 (1 ξ/n ) dξ
7 The integral on the right is 1/ times the area of the triangle of base 2N and height 1, so the total is N/. The left side is F N (0) = lim x 0 2 sin 2 (Nx/2) πnx 2 = lim x 0 2(Nx/2) 2 πnx 2 = N/ 7
Bernstein 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 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 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 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 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 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 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 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 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 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 172 Problem Set 5 Solutions
Math 172 Problem Set 5 Solutions 2.4 Let E = {(t, x : < x b, x t b}. To prove integrability of g, first observe that b b b f(t b b g(x dx = dt t dx f(t t dtdx. x Next note that f(t/t χ E is a measurable
More informationCHAPTER VI APPLICATIONS TO ANALYSIS
CHAPTER VI APPLICATIONS TO ANALYSIS We include in this chapter several subjects from classical analysis to which the notions of functional analysis can be applied. Some of these subjects are essential
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 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 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 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 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 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 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 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 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 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 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 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 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 informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More 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 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 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 informationTOPICS IN HARMONIC ANALYSIS
TOPICS IN HARMONIC ANALYSIS T.KOMOROWSKI Contents. Fourier Series 3.. Definition 3.2. Why do we bother about Fourier Series? 3.3. Convolution of two functions 3.4. Dirichlet kernel 4.5. The question about
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 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 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 informationABSTRACT MATHEMATICAL TECHNIQUES FOR THE ANALYSIS OF PARTIAL DIFFERENTIAL EQUATIONS. Kevin K. Tran. April 2018
ABSTACT MATHEMATICAL TECHNIQUES FO THE ANALYSIS OF PATIAL DIFFEENTIAL EQUATIONS by Kevin K. Tran April 2018 Chair: Dr. Gail atcliff, PhD Major Department: Mathematics This thesis explores various solution
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 informationFourier Analysis, Distributions, and Constant-Coefficient Linear PDE
Fourier Analysis, Distributions, and Constant-Coefficient Linear PDE Michael E. Taylor Contents. Introduction 1. Fourier series 2. Harmonic functions and holomorphic functions in the plane 3. The Fourier
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 information2 2 + x =
Lecture 30: Power series A Power Series is a series of the form c n = c 0 + c 1 x + c x + c 3 x 3 +... where x is a variable, the c n s are constants called the coefficients of the series. n = 1 + 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 informationELEMENTARY APPLICATIONS OF FOURIER ANALYSIS
ELEMENTARY APPLICATIONS OF FOURIER ANALYSIS COURTOIS Abstract. This paper is intended as a brief introduction to one of the very first applications of Fourier analysis: the study of heat conduction. We
More informationIndeed, the family is still orthogonal if we consider a complex valued inner product ( or an inner product on complex vector space)
Fourier series of complex valued functions Suppose now f is a piecewise continuous complex valued function on [, π], that is f(x) = u(x)+iv(x) such that both u and v are real valued piecewise continuous
More informationMA677 Assignment #3 Morgan Schreffler Due 09/19/12 Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1:
Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1: f + g p f p + g p. Proof. If f, g L p (R d ), then since f(x) + g(x) max {f(x), g(x)}, we have f(x) + g(x) p
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 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 informationFall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.
TMA445 Linear Methods Fall 26 Norwegian University of Science and Technology Department of Mathematical Sciences Solutions to exercise set 9 Let X be a Hilbert space and T a bounded linear operator on
More informationEECS 598: Statistical Learning Theory, Winter 2014 Topic 11. Kernels
EECS 598: Statistical Learning Theory, Winter 2014 Topic 11 Kernels Lecturer: Clayton Scott Scribe: Jun Guo, Soumik Chatterjee Disclaimer: These notes have not been subjected to the usual scrutiny reserved
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More information4.4 Uniform Convergence of Sequences of Functions and the Derivative
4.4 Uniform Convergence of Sequences of Functions and the Derivative Say we have a sequence f n (x) of functions defined on some interval, [a, b]. Let s say they converge in some sense to a function f
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationMath 140A - Fall Final Exam
Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a
More informationNotes. 1 Fourier transform and L p spaces. March 9, For a function in f L 1 (R n ) define the Fourier transform. ˆf(ξ) = f(x)e 2πi x,ξ dx.
Notes March 9, 27 1 Fourier transform and L p spaces For a function in f L 1 (R n ) define the Fourier transform ˆf(ξ) = f(x)e 2πi x,ξ dx. Properties R n 1. f g = ˆfĝ 2. δλ (f)(ξ) = ˆf(λξ), where δ λ f(x)
More informationInfinite-dimensional Vector Spaces and Sequences
2 Infinite-dimensional Vector Spaces and Sequences After the introduction to frames in finite-dimensional vector spaces in Chapter 1, the rest of the book will deal with expansions in infinitedimensional
More informationMathematics 324 Riemann Zeta Function August 5, 2005
Mathematics 324 Riemann Zeta Function August 5, 25 In this note we give an introduction to the Riemann zeta function, which connects the ideas of real analysis with the arithmetic of the integers. Define
More informationMATH 220 solution to homework 5
MATH 220 solution to homework 5 Problem. (i Define E(t = k(t + p(t = then E (t = 2 = 2 = 2 u t u tt + u x u xt dx u 2 t + u 2 x dx, u t u xx + u x u xt dx x [u tu x ] dx. Because f and g are compactly
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 informationChapter 7: Bounded Operators in Hilbert Spaces
Chapter 7: Bounded Operators in Hilbert Spaces I-Liang Chern Department of Applied Mathematics National Chiao Tung University and Department of Mathematics National Taiwan University Fall, 2013 1 / 84
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 informationThe Hilbert transform
The Hilbert transform Definition and properties ecall the distribution pv(, defined by pv(/(ϕ := lim ɛ ɛ ϕ( d. The Hilbert transform is defined via the convolution with pv(/, namely (Hf( := π lim f( t
More information4.1. Dirichlet, Poisson and Neumann boundary value problems
Chapter 4 Laplace s equation 4.. Dirichlet, Poisson and Neumann boundary value problems The most commonly occurring form of problem that is associated with Laplace s equation is a boundary value problem,
More informationExpository 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 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 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 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 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 informationKernel Density Estimation
EECS 598: Statistical Learning Theory, Winter 2014 Topic 19 Kernel Density Estimation Lecturer: Clayton Scott Scribe: Yun Wei, Yanzhen Deng Disclaimer: These notes have not been subjected to the usual
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 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 informationFOURIER ANALYSIS & METHODS
FOUIE ANALYSIS & METHODS JULIE OWLETT Abstract. Caveat Emptor! These are just informal lecture notes. Errors are inevitable! ead at your own risk! Also, this is by no means a substitute for the textbook,
More informationMATH 173: Problem Set 5 Solutions
MATH 173: Problem Set 5 Solutions Problem 1. Let f L 1 and a. Te wole problem is a matter of cange of variables wit integrals. i Ff a ξ = e ix ξ f a xdx = e ix ξ fx adx = e ia+y ξ fydy = e ia ξ = e ia
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
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 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 informationHeisenberg s inequality
Heisenberg s inequality Michael Walter 1 Introduction 1 Definition. Let P be a probability measure on R. Then its mean or expectation is defined as E(P) := x dp(x) Its variance is the expected square deviation
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 9 November 13 November Deadline to hand in the homeworks: your exercise class on week 16 November 20 November Exercises (1) Show that if T B(X, Y ) and S B(Y, Z)
More 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 informationTHE LAPLACIAN AND THE DIRICHLET PROBLEM
THE LAPLACIAN AND THE DIRICHLET PROBLEM Stefano Meda Università di Milano-Bicocca c Stefano Meda 2016 ii A Francesco Contents 0.1 Background and preliminary results................ 1 0.1.1 Convolution..........................
More informationMath 341 Summer 2016 Midterm Exam 2 Solutions. 1. Complete the definitions of the following words or phrases:
Math 34 Summer 06 Midterm Exam Solutions. Complete the definitions of the following words or phrases: (a) A sequence (a n ) is called a Cauchy sequence if and only if for every ɛ > 0, there exists and
More information4 Linear operators and linear functionals
4 Linear operators and linear functionals The next section is devoted to studying linear operators between normed spaces. Definition 4.1. Let V and W be normed spaces over a field F. We say that T : V
More informationMATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY
MATH 22: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY When discussing separation of variables, we noted that at the last step we need to express the inhomogeneous initial or boundary data as
More informationSupplementary Notes for W. Rudin: Principles of Mathematical Analysis
Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning
More informationLECTURE Fourier Transform theory
LECTURE 3 3. Fourier Transform theory In section (2.2) we introduced the Discrete-time Fourier transform and developed its most important properties. Recall that the DTFT maps a finite-energy sequence
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 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 informationRESULTS ON FOURIER MULTIPLIERS
RESULTS ON FOURIER MULTIPLIERS ERIC THOMA Abstract. The problem of giving necessary and sufficient conditions for Fourier multipliers to be bounded on L p spaces does not have a satisfactory answer for
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 information3: THE SHANNON SAMPLING THEOREM
3: THE SHANNON SAMPLING THEOEM STEVEN HEILMAN 1. Introduction In this final set of notes, we would like to end where we began. In the first set of notes, we mentioned that mathematics could be used to
More informationMathematical Economics: Lecture 2
Mathematical Economics: Lecture 2 Yu Ren WISE, Xiamen University September 25, 2012 Outline 1 Number Line The number line, origin (Figure 2.1 Page 11) Number Line Interval (a, b) = {x R 1 : a < x < b}
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 informationMAS331: Metric Spaces Problems on Chapter 1
MAS331: Metric Spaces Problems on Chapter 1 1. In R 3, find d 1 ((3, 1, 4), (2, 7, 1)), d 2 ((3, 1, 4), (2, 7, 1)) and d ((3, 1, 4), (2, 7, 1)). 2. In R 4, show that d 1 ((4, 4, 4, 6), (0, 0, 0, 0)) =
More informationPolynomial Approximations and Power Series
Polynomial Approximations and Power Series June 24, 206 Tangent Lines One of the first uses of the derivatives is the determination of the tangent as a linear approximation of a differentiable function
More informationx λ ϕ(x)dx x λ ϕ(x)dx = xλ+1 λ + 1 ϕ(x) u = xλ+1 λ + 1 dv = ϕ (x)dx (x))dx = ϕ(x)
1. Distributions A distribution is a linear functional L : D R (or C) where D = C c (R n ) which is linear and continuous. 1.1. Topology on D. Let K R n be a compact set. Define D K := {f D : f outside
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 informationf(s) e -i n π s/l d s
Pointwise convergence of complex Fourier series Let f(x) be a periodic function with period l defined on the interval [,l]. The complex Fourier coefficients of f( x) are This leads to a Fourier series
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 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 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 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 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 information. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES
. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES FABIO NICOLA Abstract. A necessary condition is established for the optimal (L p, L 2 ) restriction theorem to hold on a hypersurface S,
More information