Topics in Harmonic Analysis Lecture 1: The Fourier transform
|
|
- Kory Webb
- 5 years ago
- Views:
Transcription
1 Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong
2 Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise convergence of Fourier series Other modes of convergence Multiplier operators: a prelude The role played by the group of translations Analogue on R n The groups of dilations and modulations
3 Fourier series on T: L 2 theory Let T = R/Z be the unit circle. {Functions on T} = {periodic functions on R}. The n-th Fourier coefficient of an L 1 function on T is given by f (n) := f (x)e 2πinx dx, n Z. T A remarkable insight of J. Fourier was that perhaps every function f on T can be represented by a Fourier series: a n e 2πinx. n Z One can make this rigorous, for instance, when one restricts attention to L 2 functions on T (which form a Hilbert space).
4 The claim is that for every f L 2 (T), the Fourier series of f converges to f in L 2 (T) norm. In other words, for every f L 2 (T), we have N n= N f (n)e 2πinx f (x) in L 2 (T) as N. Underlying this claim are two important concepts, namely orthogonality and completeness.
5 Clearly {e 2πinx } n Z is an orthonormal system on L 2 (T), and f (n) = f (x), e 2πinx L 2 (T). General principles about orthogonality then shows that for every N N, S N f (x) := f (n)e 2πinx n N is the orthogonal projection of f onto the linear subspace V N of L 2 (T) spanned by {e 2πinx : n N}. In other words, f = (f S N f ) + S N f with S N f V N and (f S N f ) V N, and hence f (n) 2 f 2 L 2 (T). n Z (The last inequality is sometimes called Bessel s inequality.)
6 The aforementioned property about orthogonal projection can be rephrased as f S N f L 2 (T) = min { f p N L 2 (T) : p N span{e 2πinx } n N }. On the other hand, one can show that the set of all finite linear combinations of {e 2πinx } n Z (i.e. the set of all trigonometric polynomials) is dense in L 2 (T) (more to follow below). Thus {e 2πinx } n Z form a complete orthonormal system on L 2 (T). It follows that for every f L 2 (T), we have S N f f in L 2 (T) as N. To see this desired density, we study convolutions and multiplier operators.
7 Convolutions The convolutions of two L 1 functions on T is another L 1 function, given by f g(x) = f (x y)g(y)dy. Convolutions are associative and commutative: T f (g h) = (f g) h, f g = g f. If f L p (T) for some p [1, ] and g L 1 (T), then f g L p (T). More generally, if p, q, r [1, ] and r = 1 p + 1 q then f g L r (T) f L p (T) g L q (T). (Young s convolution inequality)
8 For f L 1 (T), let f (n) = T f (x)e 2πinx dx as before. Then f g(n) = f (n)ĝ(n) whenever f, g L 1 (T). So if K L 1 (T), then the convolution operator f f K can be understood via the Fourier transform of K: indeed f K(x) = n Z 2πinx f (n) K(n)e whenever f is in (say) L 2 (T).
9 The Dirichlet and Fejer kernels For each N N, let D N and F N be the Dirichlet and Fejer kernels respectively, defined by { { 1 if n N D N (n) = 0 if n > N, 1 n FN (n) = N if n N 0 if n > N. Then D N (x) = F N (x) = n N n N e 2πinx ( 1 n ) e 2πinx N
10 If f L 1 (T), then S N f = f D N, and S 0 f + S 1 f + + S N 1 f = f F N. N One has a closed formula for F N : indeed F N (x) = 1 N ( ) sin Nπx 2. sin πx From this we see that F N 0 for all N, and δ y 1/2 F N L 1 = F N (0) = 1, F N (y)dy 0 as N. Thus {F N } N N form a family of good kernels.
11 As a result, if f is continuous on T, then f F N f uniformly on T. Hence by approximating by continuous functions, we see that trigonometric polynomials are dense in L 2 (T). This establishes in full the elementary L 2 theory of the Fourier transform on T. In particular, now we have Plancherel s theorem: f (n) 2 = f 2 L 2 (T) whenever f L 2 (T). n Z
12 Pointwise convergence of Fourier series We can now prove the Riemann-Lebesgue lemma: for f L 1 (T), we have sup f (n) f L 1 (T). n Z Indeed f (n) 0 as n ±. This allows one to show that lim f (n)e 2πinx = f (x) N n N whenever f is Hölder continuous of some positive order at x T (actually we only need a Dini condition at x: indeed the condition f (x + t) f (x) dt < t will suffice.) t 1/2
13 On the other hand, there exists a continuous function on T whose Fourier series diverges at say 0 T. So mere continuity of f does not guarantee everywhere pointwise convergence of Fourier series! On the pathological side, there even exists an L 1 function on T, whose Fourier series diverges everywhere (Kolmogorov). However, a remarkable theorem of Carleson says that the Fourier series of an L 2 function on T converges pointwise almost everywhere (a.e.). (Later Hunt showed the same for L p (T), 1 < p <.) We will come back to this briefly towards the end of this lecture.
14 Other modes of convergence To sum up, we have considered L 2 norm convergence, pointwise convergence and a.e. pointwise convergence of Fourier series. Other modes of convergence of Fourier series also give rise to interesting questions. Examples include L p norm convergence, uniform convergence, absolute convergence, and various summability methods. If f C 2 (T), then clearly the Fourier series of f converges absolutely and uniformly (since f (n) n 2 ). However, indeed the Fourier series of f converges absolutely and uniformly already, as long as f is Hölder continuous of some order > 1/2 on T. The question of L p norm convergence on T, for 1 < p <, is also well understood, and will be considered in Lecture 4. It is interesting to note that an analogous question in higher dimensions (for T n, n > 1) is much deeper, and is related to some excellent open problems in the area.
15 Multiplier operators: a prelude Given a bounded function m : Z C, the map f (x) T m f (x) := m(n) f (n)e 2πinx n Z defines a bounded linear operator on L 2 (T). Examples: convolution with the Dirichlet or the Fejer kernels. The analysis of such operators often benefit by taking the inverse Fourier transform of m, as we have seen in the case of convolution with the Fejer kernel. We will be interested, for instance, in the boundedness of many multiplier operators on L p (T) for various p [1, ]. e.g. The uniform L p boundedness of convolutions with the Dirichlet kernels is crucial in the discussion of L p norm convergence of the Fourier series of a function in L p (T). We note in passing that all multiplier operators commute with translations (and so do all convolution operators).
16 The role played by the group of translations Let s take a step back and look at Fourier series on L 2 (T). There we expand functions in terms of complex exponentials {e 2πinx } n Z. But why complex exponentials? An explanation can be given in terms of the underlying group structure on T = R/Z. Recall T is an abelian group under addition. Thus if y T, then the operator τ y : L 2 (T) L 2 (T), defined by τ y f (x) = f (x + y), is a unitary operator on L 2 (T), and the group homomorphism y T τ y B(L 2 (T)) is continuous if we endow the strong topology on B(L 2 (T)).
17 Thus the map y τ y defines a unitary representation of the compact group T on the (complex) Hilbert space L 2 (T). The Peter-Weyl theorem then provides a splitting of L 2 (T) into an orthogonal direct sum of irreducible finite-dimensional representations. Since T is abelian, all irreducible finite-dimensional representations are 1-dimensional, by Schur s lemma. In other words, there exists an orthonormal family of functions {f n } n Z of L 2 (T), such that L 2 (T) = n Z Cf n, and such that f n is an eigenfunction of τ y for all y T.
18 For n Z, let χ n (y) be the eigenvalue of τ y on f n, i.e. let χ n : T C be a continuous function such that τ y f n = χ n (y)f n for all y T. Then χ n (y + y ) = χ n (y)χ n (y ) for all y, y T, i.e. χ n is a character on T. But if χ: R C is a continuous function with χ(x + x ) = χ(x)χ(x ) for all x, x R, then there exists a C such that χ(x) = e ax for all x R (just show that χ(x) = e ax holds for x = mx 0 /2 n whenever m Z, n N and x 0 is sufficiently close to 0, and use continuity); if in addition χ is periodic with period 1, then the a above must be in 2πiZ. Thus without loss of generality, we may label the f n s, so that χ n (y) = e 2πiny for all n Z and all y T.
19 This gives f n (x + y) = e 2πiny f n (x) for all n Z and all x, y T, so f n(x) = 2πinf n (x), from which we conclude that f n (x) = ce 2πinx for some c = 1. In other words, for each n Z, the function e 2πinx is an eigenvector of τ y for all y T, with eigenvalue e 2πiny. To recap: we have a family {τ y } y T of commuting unitary operators on L 2 (T), and the complex exponentials {e 2πinx } n Z provide a simultaneous diagonalization of these operators: for all n Z, and all y T. τ y e 2πinx = e 2πiny e 2πinx Note that the orthogonality of the complex exponentials follows from the Peter-Weyl theorem!
20 Also, the equation τ y e 2πinx = e 2πiny e 2πinx implies that e 2πinx are eigenfunctions of the derivative operator: d dx e2πinx = 2πine 2πinx. This is not too surprising since derivatives are infinitesimal translations! Another way of saying the same thing is that τ y f (n) = e 2πiny f (n) for all y T and n Z; hence differentiation and multiplication are interwined by the Fourier transform: f (n) = 2πin f (n) if f C 1 (T). The fact that the Fourier series constitutes a spectral decomposition of the derivative operator is what makes it so powerful in the study of differential equations.
21 Analogue on R n The Fourier transform of an L 1 function on R n is defined by f (ξ) = f (x)e 2πix ξ dx, ξ R n. R n We have f L (R n ) f L 1 (R n ); indeed the Fourier transform of an L 1 function is continuous on R n. If f, g L 1 (R n ), their convolution is defined by f g(x) = f (x y)g(y)dy. R n We have f g = g f and if f, g L 1 (R n ). f g(ξ) = f (ξ)ĝ(ξ)
22 The space of Schwartz functions on R n is defined as the space of all smooth functions, whose derivatives of all orders are rapidly decreasing at infinity. It is denoted S(R n ). One can restrict the Fourier transform on S(R n ); indeed the Fourier transform maps S(R n ) into itself. If f, g are Schwartz functions on R n, then Fubini s theorem gives f (y)ĝ(y)dy = R n f (ξ)g(ξ)dξ. R n Replacing g(ξ) by g(ξ)e 2πix ξ, it follows that f ĝ(x) = f (ξ)g(ξ)e 2πix ξ dξ R n for all x R n.
23 f ĝ(x) = f (ξ)g(ξ)e 2πix ξ dξ R n Applying this with g(ξ) = e πt ξ 2 (the heat kernel) and letting t 0, one can show that the Fourier inversion formula holds for Schwartz functions: f (x) = f (ξ)e 2πix ξ dξ R n for every x R n, whenever f S(R n ). Hence the Fourier transform defines a bijection on Schwartz functions on R n, and we have f g(x) = f (ξ)ĝ(ξ)e 2πix ξ dξ R n whenever f, g S(R n ).
24 We now also have f (x)g(x)dx = f (ξ)ĝ(ξ)dξ R n R n whenever f, g S(R n ). This allows one to show that the Fourier transform, initially defined on S(R n ), extends as a unitary operator on L 2 (R n ), and the Plancherel formula holds: whenever f L 2 (R n ). f L 2 (R n ) = f L 2 (R n ) A multiplier operator on R n is of the form f (m f )ˇ where m is a bounded measurable function on R n. We will come across examples of such in Lecture 2. These are automatically bounded on L 2 (R n ). We will study their mapping properties on L p (R n ) in Lecture 4.
25 The groups of modulations and dilations R n is an abelian group under addition. It acts on (say, L 2 ) functions on R n by translation (as in the case of the unit circle T): τ y f (x) := f (x + y), y R n But it also acts on functions on R n by modulation: Λ ξ f (x) := e 2πix ξ f (x), ξ R n. The actions are interwined by the Fourier transform F: Fτ y = Λ y F for all y R n. In particular, at least for Schwartz functions f on R n, we have j f (ξ) = 2πiξ j f (ξ), for 1 j n.
26 The multiplicative group R + = (0, ) also acts on functions on R n by dilations: D t f (x) := f (tx), t R +. It interacts with the Fourier transform as follows: FD t = t n D 1/t F for all t > 0. In harmonic analysis we often study operators that commutes with translations. Examples include derivative operators (such as f f ), and convolution operators (such as f f x (n 2) ). Such operators often come with some invariance under dilations: e.g. D t f = t 2 D t f, (D t f ) x (n 2) = t 2 D t (f x (n 2) ).
27 Operators that exhibit modulation invariance (on top of translation and dilation invariances) are harder to analyze; they typically require rather refined time-frequency analysis. An example of such an operator is the Carleson operator, studied in connection with pointwise a.e. convergence of Fourier series of a function on L 2 (T): Cf (x) = sup f (n)e 2πinx, x T; N Z n N note that C commutes with both translations and modulations, i.e. Cτ y = τ y C for all y T, and CΛ k = Λ k C for all k Z. Most of the operators we will encounter in this course will not be modulation invariant.
be 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 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 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 informationTopics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying
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 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 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 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 informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
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 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 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 informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
More informationFRAMES AND TIME-FREQUENCY ANALYSIS
FRAMES AND TIME-FREQUENCY ANALYSIS LECTURE 5: MODULATION SPACES AND APPLICATIONS Christopher Heil Georgia Tech heil@math.gatech.edu http://www.math.gatech.edu/ heil READING For background on Banach spaces,
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 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 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 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 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationOn a class of pseudodifferential operators with mixed homogeneities
On a class of pseudodifferential operators with mixed homogeneities Po-Lam Yung University of Oxford July 25, 2014 Introduction Joint work with E. Stein (and an outgrowth of work of Nagel-Ricci-Stein-Wainger,
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 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 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 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 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 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 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 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 informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationThe Calderon-Vaillancourt Theorem
The Calderon-Vaillancourt Theorem What follows is a completely self contained proof of the Calderon-Vaillancourt Theorem on the L 2 boundedness of pseudo-differential operators. 1 The result Definition
More informationA new class of pseudodifferential operators with mixed homogenities
A new class of pseudodifferential operators with mixed homogenities Po-Lam Yung University of Oxford Jan 20, 2014 Introduction Given a smooth distribution of hyperplanes on R N (or more generally on a
More information5 Compact linear operators
5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.
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 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 informationClassical Fourier Analysis
Loukas Grafakos Classical Fourier Analysis Second Edition 4y Springer 1 IP Spaces and Interpolation 1 1.1 V and Weak IP 1 1.1.1 The Distribution Function 2 1.1.2 Convergence in Measure 5 1.1.3 A First
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 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 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 informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
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 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 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 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 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 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 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 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 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 informationStarting from Heat Equation
Department of Applied Mathematics National Chiao Tung University Hsin-Chu 30010, TAIWAN 20th August 2009 Analytical Theory of Heat The differential equations of the propagation of heat express the most
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 informationMTH 503: Functional Analysis
MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................
More informationMATH 113 SPRING 2015
MATH 113 SPRING 2015 DIARY Effective syllabus I. Metric spaces - 6 Lectures and 2 problem sessions I.1. Definitions and examples I.2. Metric topology I.3. Complete spaces I.4. The Ascoli-Arzelà Theorem
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More 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 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 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 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 information1 Fourier transform as unitary equivalence
Tel Aviv University, 009 Intro to functional analysis 1 1 Fourier transform as unitary equivalence 1a Introduction..................... 1 1b Exponential map................... 1c Exponential map as an
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 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 informationEigenvalues and eigenfunctions of the Laplacian. Andrew Hassell
Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean
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 informationIntroduction to Spectral Theory
P.D. Hislop I.M. Sigal Introduction to Spectral Theory With Applications to Schrodinger Operators Springer Introduction and Overview 1 1 The Spectrum of Linear Operators and Hilbert Spaces 9 1.1 TheSpectrum
More informationCHAPTER 6. Representations of compact groups
CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive
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 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 informationLecture 16: Bessel s Inequality, Parseval s Theorem, Energy convergence
Introductory lecture notes on Partial Differential Equations - c Anthony Peirce. ot to be copied, used, or revised without explicit written permission from the copyright owner. ecture 6: Bessel s Inequality,
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationTopics in Representation Theory: Roots and Weights
Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our
More informationLecture 6 January 21, 2016
MATH 6/CME 37: Applied Fourier Analysis and Winter 06 Elements of Modern Signal Processing Lecture 6 January, 06 Prof. Emmanuel Candes Scribe: Carlos A. Sing-Long, Edited by E. Bates Outline Agenda: Fourier
More informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More 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 informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationSpectral theorems for bounded self-adjoint operators on a Hilbert space
Chapter 10 Spectral theorems for bounded self-adjoint operators on a Hilbert space Let H be a Hilbert space. For a bounded operator A : H H its Hilbert space adjoint is an operator A : H H such that Ax,
More informationErrata Applied Analysis
Errata Applied Analysis p. 9: line 2 from the bottom: 2 instead of 2. p. 10: Last sentence should read: The lim sup of a sequence whose terms are bounded from above is finite or, and the lim inf of a sequence
More informationj=1 u 1jv 1j. 1/ 2 Lemma 1. An orthogonal set of vectors must be linearly independent.
Lecture Notes: Orthogonal and Symmetric Matrices Yufei Tao Department of Computer Science and Engineering Chinese University of Hong Kong taoyf@cse.cuhk.edu.hk Orthogonal Matrix Definition. Let u = [u
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationFunctional Analysis Review
Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all
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 informationAdditional notes on group representations Hjalmar Rosengren, 30 September 2015
Additional notes on group representations Hjalmar Rosengren, 30 September 2015 Throughout, group means finite group and representation means finitedimensional representation over C. Interpreting the character
More informationA Sharpened Hausdorff-Young Inequality
A Sharpened Hausdorff-Young Inequality Michael Christ University of California, Berkeley IPAM Workshop Kakeya Problem, Restriction Problem, Sum-Product Theory and perhaps more May 5, 2014 Hausdorff-Young
More informationIntro to harmonic analysis on groups Risi Kondor
Risi Kondor Any (sufficiently smooth) function f on the unit circle (equivalently, any 2π periodic f ) can be decomposed into a sum of sinusoidal waves f(x) = k= c n e ikx c n = 1 2π f(x) e ikx dx 2π 0
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 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 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 informationReal Variables # 10 : Hilbert Spaces II
randon ehring Real Variables # 0 : Hilbert Spaces II Exercise 20 For any sequence {f n } in H with f n = for all n, there exists f H and a subsequence {f nk } such that for all g H, one has lim (f n k,
More informationMathematical Methods for Computer Science
Mathematical Methods for Computer Science Computer Laboratory Computer Science Tripos, Part IB Michaelmas Term 2016/17 Professor J. Daugman Exercise problems Fourier and related methods 15 JJ Thomson Avenue
More informationL p -boundedness of the Hilbert transform
L p -boundedness of the Hilbert transform Kunal Narayan Chaudhury Abstract The Hilbert transform is essentially the only singular operator in one dimension. This undoubtedly makes it one of the the most
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 informationFredholm Theory. April 25, 2018
Fredholm Theory April 25, 208 Roughly speaking, Fredholm theory consists of the study of operators of the form I + A where A is compact. From this point on, we will also refer to I + A as Fredholm operators.
More informationMAT 449 : Problem Set 7
MAT 449 : Problem Set 7 Due Thursday, November 8 Let be a topological group and (π, V ) be a unitary representation of. A matrix coefficient of π is a function C of the form x π(x)(v), w, with v, w V.
More information3 Orthogonality and Fourier series
3 Orthogonality and Fourier series We now turn to the concept of orthogonality which is a key concept in inner product spaces and Hilbert spaces. We start with some basic definitions. Definition 3.1. Let
More informationQuantum Mechanics for Mathematicians: Energy, Momentum, and the Quantum Free Particle
Quantum Mechanics for Mathematicians: Energy, Momentum, and the Quantum Free Particle Peter Woit Department of Mathematics, Columbia University woit@math.columbia.edu November 28, 2012 We ll now turn to
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationThe spectral zeta function
The spectral zeta function Bernd Ammann June 4, 215 Abstract In this talk we introduce spectral zeta functions. The spectral zeta function of the Laplace-Beltrami operator was already introduced by Minakshisundaram
More information2 Infinite products and existence of compactly supported φ
415 Wavelets 1 Infinite products and existence of compactly supported φ Infinite products.1 Infinite products a n need to be defined via limits. But we do not simply say that a n = lim a n N whenever the
More information