be the set of complex valued 2π-periodic functions f on R such that
|
|
- Kevin Reynolds
- 5 years ago
- Views:
Transcription
1 . 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 R such that P I f Leb whenever I is a bounded interval. (Replace Leb by Riem if Leb makes you nervous. A great deal of what follows will still go through.) It follows from our previous work that P is a vector space over C with respect to pointwise addition and scalar multiplication. Here is a Corollary of Hölder s Inequality. Theorem.. Suppose p < q. Then In particular, f p () /p /q f q whenever f P. P q P p. Proof. If q the inequality holds trivially (Why?) so suppose q <. Let p q/p and q p/( p ) so p and q are conjugate. From the Hölder s Inequality we infer that f p p f p R f p p R q f p q() p/q. Of particular interest is the case p ; we will frequently write for f. f Proposition.. For any f P and any a R we have π+a +a f(x) dx Exercise.. Prove this Proposition. Lebesgue integrable on R n then I(τ a f) I(f) π f(x) dx. To start, show that if f is Riemann or for a R n where I is either R or L, respectively. Here τ a (x) x + a for x R n and τ a f f (τ a ) f τ a. Definition.. Suppose f, g P. We say f and g are complementary if fg P in which case we set (f, g) π f(x)g(x) dx. If f P p and g P q for some p, q such that p, q and p and q are conjugate then f and g are complementary by virtue of Hölders Inequality.
2 In case p q one easily verifies from the linearity of the integral that (, ) is a pseudo-hermitian inner product on P. The pseudo is necessary because f (f, f) 0 only implies that {x R : f(x) 0} is a set of measure zero and not that f 0 which means, by definition that f(x) 0 for all x R. (Note that if 0 < η < then η L ({x (, π] : f(x) η}) π Definition.3. For each n Z we let E n (x) e inx for x R; evidently, E n P. f(x) dx f.).. Discussion and more definitions. Suppose A C {0}. Then d e Ax dx A e Ax, x R. So if < a < b < we may use the Fundamental Theorem of Calculus to obtain Thus b a e Ax dx eax A (E m, E n ) b a eab e Aa. A { if m n, 0 else. That is, the set {E n : n Z} is orthonormal with respect to (, ). For each N N we let T N be the linear subspace of P spanned by {E n : n N} and we call the members of T N trigonometric polynomials of degree N. For each f P we define ˆf : Z C, the Fourier transform of f, by letting ˆf(n) (f, E n ) for n Z. One of our goals is to reconstruct f from its Fourier transform. As a first step in this direction, for each nonnegative integer N and each f P we set S N f (f, E n )E n ˆf(n)E n. In particular, if f P then S N f is the orthogonal projection with respect to (, ) of f onto T N. Theorem.. (Bessel s Inequality.) For any f P we have ˆf(n) f. Remark.. Plancherel s Theorem, which comes later, will give the opposite inequality.
3 3 Proof. This follows from our work on orthogonal projections. Here is a recap of what we did there. Let N be a positive integer N. Keeping in mind the orthogonality of the E n s we obtain N N 0 (f ˆf(n)E n, f ˆf(n)E n ) n N n N (f, f) ( ˆf(n)E n, f) (f, ˆf(n)E n ) + ( (f, f) f ˆf(n)(E n, f) ˆf(n). ˆf(n)(f, E n ) + ˆf(n)E n, ˆf(n) ˆf(n)E n The Fourier transform behaves nicely with respect to translations. h R and f P. Recall that τ h f(x) f(x h) for x R. ˆf(n)E n ) Suppose By the by the translation invariance of integration and the first Proposition in this section we have π π h π τ h f(x) dx f(x) dx f(x) dx < h so that τ h f P. It follows that τ h f P p whenever p and f P p. Proposition.. We have (i) τ h is linear for each h R; (ii) τ h τ h τ h+h whenever h, h R; (iii) (τ h f, τ h g) (f, g) whenever f, g P and h R. Exercise.. Prove this. It s very straightforward. Proposition.3. Suppose f P and h R. Then Exercise.3. Exercise. τ h f(n) e inh ˆf(n). Definition.4. Suppose f, g P. For each x R we set { π f g(x) f(x y)g(y) dy if π f(x y)g(y) dy < 0 else and we call f g the convolution of f and g. Recalling Tonelli s Theorem we note that f g is a complex valued -periodic Lebesgue measurable function on R. Recalling Young s Inequality we note that if p, q, r [, ], p + q r +, f P p and g P q then f g r f p g q.
4 4 By Tonelli s Theorem the first of the above cases holds for almost all x R. Evidently, f g is -periodic. Our previously developed theory of convolutions, with natural modifications, applies here. Proposition.4. Suppose f, g P. Then Exercise.4. Prove this. f g ˆfĝ. Definition.5. For each nonnegative integer N we define the Dirichlet kernel D N by letting D N E n. Proposition.5. Let N be a no-negative integer. Then (i) D N (x) { sin(n+ )x sin x N + (ii) D N is even and π D N (x) dx and (iii) S N f D N f for any f P. Proof. Suppose N and x R {0}. Then D N (x) N n N e inx if x 0, else; e inx (eix ) N+ e ix e i(n+ )x e i(n+ )x e i x e i x sin(n + )x sin x, and it is evident that S N (0) N+ so (i) holds. To prove (ii), note that { π e inx 0 if n 0, dx (E n, E 0 ) else for any integer n. To prove (iii), suppose f P and x R and observe that S N f(x) (f, E n )E n π ( D N f(x). ( ) π f(t)e int dt e inx e in(x t) )f(t) dt
5 5 Lemma.. (The Riemann Lebesgue Lemma.) Suppose f is Lebesgue integrable on R. (This means that f Leb.) Then f(x) sin tx dx 0. lim t Proof. Suppose < a < b <. Then It follows that () b a sin tx dx cos tb cos ta t 0 as t. s(x) sin tx dx 0 as t. for any elementary function s such that {x R : s(x) 0} is bounded.. Let η > 0. Choose an elementary function s such that {x R : s(x) 0} is bounded and f s η; (Remember this is practically the definition of what it means for f to be Lebesgue integrable.) Then f(x) sin tx dx [f(x) s(x)] sin tx dx + s(x) sin tx dx f(x) s(x) dx + s(x) sin tx dx η + s(x) sin tx dx ; for any t R. Now use () to complete the proof. Corollary.. Suppose f P. Then (x δ,x) lim ˆf(n) 0. n Theorem.3. Suppose f P, x R, L +, L C and ( f(t) ) L f(t) L+ () lim dt + dt 0. δ 0 t x t x Then (x,x+δ) lim S Nf(x) L + L +. N Remark.. (Very important) For example, if f is differentiable at x the hypothesis holds with L ± f(x). Proof. Part One. Suppose x 0. Set K [, 0) and K + (0, π). For each positive integer N let g ± N (t) D N( t)(f(t) L ± ) for t K ±.
6 6 Recall that D N is even and π D N ; this implies D N K D N. K +. Thus S N f(0) L + L + π 0 π D N ( t)f(t) dt L D N ( t) dt L + D N ( t) dt 0 (t) dt + g + N (t) dt. K + K g N For any δ (0, π) we set Let η > 0. Since J ± δ K ± ( δ, δ), I ± δ K ± J ± δ. g ± N (t) f(t) L ± t t sin t for any t (, π) and any N we may choose δ (0, π) such that g ± N η. Moreover, I ± δ J ± δ t f(t) L± sin t is Lebesgue integrable so, by the Riemann-Lebesgue Lemma, g ± N 0; lim N the Theorem follows in case x 0. Part Two. From Part One we infer that But S N (τ x f)(0) I ± δ lim S N (τ x f)(0) L + L +. N τ x f(n) ˆf(n)e inx S N f(x). Proposition.6. Suppose m is a positive integer, f P and f is m times continuously differentiable. Then f (m) (n) (in) m ˆf(n).
7 7 Proof. We use integration by parts to obtain π ˆf (n) f (x) e inx dx π e inx d(f(x)) π e inx f(x) xπ x π in f(x) e inx dx in ˆf(n). f(x) d(e inx ) Thus the Proposition holds if m and follows for arbitrary m by induction. Corollary.. Suppose m is a positive integer, f P and f is m times continuously differentiable, N is a nonnegative integer and x R. Then Proof. Note that f(x) S N f(x) f (m). π N m ( ) / ( ) / a n b n a n b n whenever a and b are complex valued functions on Z; that n m dx x m N m ; nn+ and that, by Bessel s Inequality, n >N N f (m) (n) f (m). Let O N and x R. From the Fourier Inversion Formula we have that f(x) S N f(x) lim ˆf(n)E n (x). Thus if O N and N < O we have ˆf(n)E n (x) N< n <O N< n <O O N<n O f (in) m (m) (n)e n (x) / f (m) (n) n m N< n <O N m f (m). n >N /
8 8.. Approximate identities. Let φ be a smooth nonnegative real valued function on R which has integral one and which is supported in [, ]. For each ɛ > 0 let φ ɛ (x) ɛ φ( x ɛ ) for x R. Theorem.4. Suppose f P. Then lim f S N f 0. N Proof. Let η > 0. Choose ɛ > 0 such that if g φ ɛ f then f g < η. Then for any nonnegative integer N we have f S N f f g + S N (f g) + S N g g η + S N g g because S N (f g) f g by Bessel s Inequality. But S N g g 0 as N because, by the previous Theorem, S N g converges uniformly to g as N since g is smooth. Corollary.3. (Parseval s?) Theorem.) If f P then ( ) / f ˆf(n). Proof. This follows from the preceding Corollary and the Pythagorean identity f S N f + S N f f. Corollary.4. n n π 6. Proof. Apply Parseval s Theorem to that member f of P such that f(x) x for x [, π). Corollary.5. Suppose f P and ˆf 0. Then f equals zero almost everywhere. Proof. We have φ ɛ f 0 for any ɛ > 0 so, as φ ɛ f is smooth, φ ɛ f 0 by the previous Theorem. Since f φ ɛ f 0 as ɛ 0 we infer that f 0. Corollary.6. Suppose f P. Then f ˆf(n). Proof. In view of Bessel s Inequality and the foregoing we need to show that if the right hand side is finite so is the left hand side, so suppose the right hand side is finite. Now φ ɛ f φ ɛ ˆf and ˆφɛ so φ ɛ f is bounded independently of ɛ by Plancherel s Theorem. Do you know what to do now? Definition.6. (The Fejér kernel.) For each nonnegative integer N let F N N + N D N. n0
9 9 Proposition.7. Proof. N e inx n0 m n e ix F N (x) N + ( sin( N+ )x sin x N e inx e i(n+)x n0 ) if x 0, else. [ e i(n+)x e ix e ix e ix e i(n+)x over e ix] [ ( e ix )( e i(n+)x ) ( e ix )e ix ( e i(n+)x ) ] e ix ( e ix )( e ix ) ( e i(n+)x ) + ( e i(n+)x ) ( e ix )( e ix ) ( ) N+ i( e )x N+ i( e )x ( ) e i x e x ( sin( N+ )x ). sin x Theorem.5. Suppose f P and f is continuous. uniformly to f as N. Proof. Exercise for the reader. Then F N f converges Theorem.6. The Weierstrass Approximation Theorem. Polynomial functions are uniformly dense in the continuous functions on a compact rectangle. Proof. Exercise for the reader.
Outline 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 informationFourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )
Fourier series. Preliminry mteril on inner products. Suppose V is vector spce over C nd (, ) is Hermitin inner product on V. This mens, by definition, tht (, ) : V V C nd tht the following four conditions
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 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 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 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 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 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 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 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 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 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 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 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 informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
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 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 informationCONVERGENCE OF THE FOURIER SERIES
CONVERGENCE OF THE FOURIER SERIES SHAW HAGIWARA Abstract. The Fourier series is a expression of a periodic, integrable function as a sum of a basis of trigonometric polynomials. In the following, we first
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationFourier Series. ,..., 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 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 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 informationSome approximation theorems in Math 522. I. Approximations of continuous functions by smooth functions
Some approximation theorems in Math 522 I. Approximations of continuous functions by smooth functions The goal is to approximate continuous functions vanishing at ± by smooth functions. In a previous homewor
More informationSyllabus Fourier analysis
Syllabus Fourier analysis by T. H. Koornwinder, 1996 University of Amsterdam, Faculty of Science, Korteweg-de Vries Institute Last modified: 7 December 2005 Note This syllabus is based on parts of the
More 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 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 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 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 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 informationPart II Probability and Measure
Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
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 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: Wednesday, April 18, 2007 INSTRUCTIONS
FACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355 Analysis 4 Examiner: Professor S. W. Drury Date: Wednesday, April 18, 27 Associate Examiner: Professor K. N. GowriSankaran Time: 2: pm. 5: pm.
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 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 informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
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 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 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 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 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 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 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 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 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 informationMAT 636: Lectures on Fourier series
MAT 636: Lectures on Fourier series Brad Rodgers [Lecture ] Introduction The subject of Fourier series concerns decomposing periodic functions into sums of somewhat more basic functions that have nice
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 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 informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
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 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 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 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 informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
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 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 informationInner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0.
Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that (1) () () (4) x 1 + x y = x 1 y + x y y x = x y x αy = α x y x x > 0 for x 0 Consequently, (5) (6)
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
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 informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More 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 information2 (Bonus). 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 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
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 informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE 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 information1 Functional Analysis
1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationAN INTRODUCTION TO HARMONIC ANALYSIS. Yitzhak Katznelson. Third Corrected Edition
AN INTRODUCTION TO HARMONIC ANALYSIS Yitzhak Katznelson Third Corrected Edition Preface Harmonic analysis is the study of objects (functions, measures, etc.), defined on topological groups. The group
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
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 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 information8 Further theory of function limits and continuity
8 Further theory of function limits and continuity 8.1 Algebra of limits and sandwich theorem for real-valued function limits The following results give versions of the algebra of limits and sandwich theorem
More informationHilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.
Hilbert Spaces Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Vector Space. Vector space, ν, over the field of complex numbers,
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 informationNotes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014
1 Introduction Notes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014 In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined
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 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 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 informationCalculus in Gauss Space
Calculus in Gauss Space 1. The Gradient Operator The -dimensional Lebesgue space is the measurable space (E (E )) where E =[0 1) or E = R endowed with the Lebesgue measure, and the calculus of functions
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 informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More informationDerivatives of Harmonic Bergman and Bloch Functions on the Ball
Journal of Mathematical Analysis and Applications 26, 1 123 (21) doi:1.16/jmaa.2.7438, available online at http://www.idealibrary.com on Derivatives of Harmonic ergman and loch Functions on the all oo
More informationPractice Exercises on Differential Equations
Practice Exercises on Differential Equations What follows are some exerices to help with your studying for the part of the final exam on differential equations. In this regard, keep in mind that the exercises
More informationChapter 1 Preliminaries
Chapter 1 Preliminaries 1.1 Conventions and Notations Throughout the book we use the following notations for standard sets of numbers: N the set {1, 2,...} of natural numbers Z the set of integers Q the
More informationFilters in Analysis and Topology
Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationThe Heat Equation John K. Hunter February 15, The heat equation on a circle
The Heat Equation John K. Hunter February 15, 007 The heat equation on a circle We consider the diffusion of heat in an insulated circular ring. We let t [0, ) denote time and x T a spatial coordinate
More informationMATH 522 ANALYSIS II LECTURE NOTES UW MADISON - FALL 2018
MATH 522 ANALYSIS II LECTURE NOTES UW MADISON - FALL 2018 JORIS ROOS Contents 0. Review: metric spaces, uniform convergence, power series 3 0.0. Metric spaces 3 0.1. Uniform convergence 3 0.2. Power series
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 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 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 information1 Mathematical Preliminaries
Mathematical Preliminaries We shall go through in this first chapter all of the mathematics needed for reading the rest of this book. The reader is expected to have taken a one year course in differential
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationMethods of Mathematical Physics X1 Homework 3 Solutions
Methods of Mathematical Physics - 556 X Homework 3 Solutions. (Problem 2.. from Keener.) Verify that l 2 is an inner product space. Specifically, show that if x, y l 2, then x, y x k y k is defined and
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 informationJUHA KINNUNEN. Partial Differential Equations
JUHA KINNUNEN Partial Differential Equations Department of Mathematics and Systems Analysis, Aalto University 207 Contents INTRODUCTION 2 FOURIER SERIES AND PDES 5 2. Periodic functions*.............................
More information