The Wiener algebra and Wiener s lemma
|
|
- Stephanie Farmer
- 5 years ago
- Views:
Transcription
1 he Wiener algebra and Wiener s lemma Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of oronto January 17, Introduction Let = R/Z. For f L 1 () we define f L 1 () = 1 For f, g L 1 (), we define (f g)(t) = 1 f g L 1 (), and satisfies Young s inequality f(t) dt. f(τ)g(t τ)dτ, t. f g L 1 () f L 1 () g L 1 (). With convolution as the operation, L 1 () is a commutative Banach algebra. For f L 1 (), we define ˆf : Z C by ˆf(k) = 1 f(t)e ikt dt, k Z. We define c 0 (Z) to be the collection of those F : Z C such that F (k) 0 as k. For f L 1 (), the Riemann-Lebesgue lemma tells us that ˆf c 0 (Z). We define l 1 (Z) to be the set of functions F : Z C such that F l1 (Z) = k Z F (k). For F, G l 1 (Z), we define (F G)(k) = j Z F (j)g(k j). 1
2 F G l 1 (Z), and satisfies Young s inequality F G l 1 (Z) F l 1 (Z) G l 1 (Z). l 1 (Z) is a commutative Banach algebra, with unity { 1 k = 0, F (k) = 0 k 0. For f L 1 () and n 0 we define S n (f) C() by S n (f)(t) = ˆf(k)e ikt, t. k n For 0 < α < 1, we define Lip α () to be the collection of those functions f : C such that For f Lip α (), we define f(t + h) f(t) sup t,h 0 h α <. f Lipα () = f C() + 2 otal variation sup t,h 0 f(t + h) f(t) h α. For f : C, we define { n } var(f) = sup f(t i ) f(t i 1 ) : n 1, 0 = t 0 < < t n =. i=1 If var(f) < then we say that f is of bounded variation, and we define BV () to be the set of functions C of bounded variation. We define f BV () = sup f(t) + var(f). t his is a norm on BV (), with which BV () is a Banach algebra. 1 heorem 1. If f BV (), then ˆf(n) var(f), n Z, n 0. n Proof. Integrating by parts, ˆf(n) = 1 f(t)e int dt = 1 hence ˆf(n) 1 n var(f). e int in df(t) = 1 e int df(t), in 1 N. L. Carothers, Real Analysis, p. 206, heorem
3 3 Absolutely convergent Fourier series Suppose that f L 1 () and that ˆf l 1 (Z). For n m, S n (f) S m (f) C() = sup ˆf(k)e ikt t m< k n m< k n ˆf(k), and because ˆf l 1 (Z) it follows that S n (f) converges to some g C(). We check that f(t) = g(t) for almost all t. We define A() to be the collection of those f C() such that ˆf l 1 (Z), and we define f A() = ˆf. l 1 (Z) A() is a commutative Banach algebra, with unity t 1, and the Fourier transform is an isomorphism of Banach algebras F : A() l 1 (Z). We call A() the Wiener algebra. he inclusion map A() C() has norm 1. heorem 2. If f : C is absolutely continuous, then ˆf(k) = o(k 1 ), k. Proof. Because f is absolutely continuous, the fundamental theorem of calculus tells us that f L 1 (). Doing integration by parts, for k Z we have F (f )(k) = 1 f (t)e ikt dt = 1 f(t)e ikt 1 f(t)( ike ikt )dt 0 = ikf (f)(k). he Riemann-Lebesgue lemma tells us that F (f )(k) = o(1), so ( ) 1 F (f)(k) = o, k. k heorem 3. If f : C is absolutely continuous and f L 2 (), then ) 1/2 f A() f L 1 () (2 + k 2 f L 2 (). k=1 Proof. First, ˆf(0) = 1 f(t)dt f L 1 (). 3
4 Next, because f is absolutely continuous, by the fundamental theorem of calculus we have f L 1 (), and for k Z, F (f )(k) = ikf (f)(k). Using the Cauchy-Schwarz inequality, and since F (f )(0) = 0, f A() = ˆf(0) + k 0 ˆf(k) = ˆf(0) + k 1 F (f )(k) k 0 f L1 () + k 2 k 0 1/2 F (f )(k) 2 k 0 1/2 = f L 1 () + (2 ) 1/2 k 2 F (f ) l 2 (Z). k=1 By Parseval s theorem we have F (f ) l2 (Z) = f L2 (), completing the proof. We now prove that if α > 1 2, then Lip α() A(), and the inclusion map is a bounded linear operator. 2 heorem 4. If α > 1 2, then Lip α() A(), and for any f Lip α () we have with f A() c α f Lipα (), c α = /2 ( 3 Proof. For f : C and h R, we define ) α α. f h (t) = f(t h), t, which satisfies, for n Z, F (f h )(n) = 1 = 1 f(t h)e int dt f(t)e in(t+h) dt = e inh F (f)(n). hus F (f h f)(n) = (e inh 1) ˆf(n), n Z. (1) Yitzhak Katznelson, An Introduction to Harmonic Analysis, third ed., p. 34, heorem 4
5 For m 0 and for n Z such that 2 m n < 2 m+1, let h m = 3 2 m. hen 3 = 2m 3 2 m nh m < 2 m m = 4π 3. If n > 0 this implies that π 3 nh m < 2 3 and so e inhm 1 = 2 sin nh m 2 sin π 2 3 = 3, and if n < 0 this implies that and so 3 < nh m 2 π 3 e inhm 1 3. his gives us ˆf(n) 2 3 ˆf(n) 2 2 m n <2 m+1 2 m n <2 m+1 e inhm 1 2 ˆf(n) 2 2 m n <2 m+1 e inhm 1 2 ˆf(n) 2. n Z Using (1) and Parseval s theorem we have e inhm 1 2 ˆf(n) 2 = F (f hm f) 2 l 2 (Z) = f h m f 2 L 2 (), and thus n Z 2 m n <2 m+1 ˆf(n) 2 f hm f 2 L 2 (). Furthermore, for g L () we have g L 2 () g L (), so 2 m n <2 m+1 ˆf(n) 2 f hm f 2 L () f 2 Lip α () h2α m ( ) 2α = 3 2 m f 2 Lip α (). 5
6 By the Cauchy-Schwarz inequality, because there are 2 m+1 nonzero terms in m+1 ˆf(n), 2 m n <2 ˆf(n) (2 m+1 ) 1/2 ˆf(n) 2 2 m n <2 m+1 2 m n <2 m+1 2 m+1 2 1/2 ( ) α 3 2 m f Lipα () ) α f. Lipα() = 2 m( 1 2 α) 2 1/2 ( 3 hen, since α > 1 2, As ˆf(n) = ˆf(0) + ˆf(n) n Z m=0 2 m n <2 m+1 ˆf(0) + 2 m( 1 α) ( ) α 2 2 1/2 f 3 Lipα() m=0 ( ) α = ˆf(0) + 2 1/2 f 3 Lipα() 2 m( 1 α) 2 m=0 ( ) α = ˆf(0) + 2 1/2 1 f 3 Lipα() α ˆf(0) f L 1 () f L () f Lip α (), we have for all f Lip α () that ˆf(n) c α f Lipα (), completing the proof. n Z We now prove that if α > 0, then BV () Lip α () A(). 3 heorem 5. If α > 0 and f BV () Lip α (), then and f A() f h f 2 L 2 () 1 h1+α f Lipα () var(f), h > 0. 3 Yitzhak Katznelson, An Introduction to Harmonic Analysis, third ed., p. 35, heorem 6
7 Proof. For N 1 and h = N, f h f 2 L 2 () = 1 = 1 = 1 0 N f h (t) f(t) 2 dt jh j=1 (j 1)h h N j=1 = 1 h 0 0 f h (t) f(t) 2 dt f jh (t) f (j 1)h (t) 2 dt N f jh (t) f (j 1)h (t) 2 dt j=1 1 f h f L () 1 f h f L () h 0 j=1 h 0 N f jh (t) f (j 1)h (t) dt var(f)dt. As f Lip α (), f h f L () hα f Lipα (), hence f h f 2 L 2 () 1 h1+α f Lipα () var(f). 4 Wiener s lemma For k 1, using the product rule (fg) = f g + fg we check that C k () is a Banach algebra with the norm f Ck () = k f (j) C(). If f C k () and f(t) 0 for all t, then the quotient rule tells us that ( f 1 ) (t) = f (t) f(t) 2, using which we get 1 f Ck (). hat is, if f C k () does not vanish then f 1 = 1 f Ck (). If B is a commutative unital Banach algebra, a multiplicative linear functional on B is a nonzero algebra homomorphism B C, and the collection B of multiplicative linear functionals on B is called the maximal ideal space of B. he Gelfand transform of f B is Γ(f) : B C defined by Γ(f)(h) = h(f), h B. 7
8 It is a fact that f B is invertible if and only if h(f) 0 for all h B, i.e., f B is invertible if and only if Γ(f) does not vanish. We now prove that if f A() and does not vanish, then f is invertible in A(). We call this statement Wiener s lemma. 4 heorem 6 (Wiener s lemma). If f A() and f(t) 0 for all t, then 1/f A(). Proof. Let w : A() C be a multiplicative linear functional. he fact that w is a multiplicative linear functional implies that w = 1. Define u(t) = e it, t, for which u A() = 1. We define λ = w(u), which satisfies λ w u A() = 1 and because u 1 A() = 1 we have λ 1 = w(u 1 ) and λ 1 w u 1 A() = 1, hence λ = 1. hen there is some t w such that λ = e itw. For n Z, w(u n ) = λ n = e intw. If P (t) = n N a ne int is a trigonometric polynomial, then w(p ) = w a n u n = a n w(u) n = a n e intw = P (t w ). (2) n N n N n N For g A(), if ɛ > 0, then there is some N such that g S N (g) A() < ɛ. Using (2) and the fact that g C() g A(), w(g) g(t w ) w(g) w(s N (g)) + w(s N (g)) S N (g)(t w ) + S N (g)(t w ) g(t w ) = w(g S N (g)) + S N (g)(t w ) f(t w ) w g S N (g) A() + S N (g) g C() w g S N (g) A() + g S N (g) A() < 2ɛ. Because this is true for all ɛ > 0, it follows that w(g) = g(t w ). Let be the maximal ideal space of A(). hen for w there is some t w such that w(f) = f(t w ), hence, because f(t) 0 for all t, Γ(f)(w) = w(f) = f(t w ) 0. hat is, Γ(f) does not vanish, and therefore f is invertible in A(). It is then immediate that f 1 (t) = 1 f(t) for all t, completing the proof Yitzhak Katznelson, An Introduction to Harmonic Analysis, third ed., p. 239, heorem 8
9 he above proof of Wiener s lemma uses the theory of the commutative Banach algebras. he following is a proof of the theorem that does not use the Gelfand transform. 5 Proof. Because f A(), f defined by f (t) = f(t), t, belongs to A(). Let g = f 2 f 2 = ff C() f 2 A(), C() which satisfies 0 < g(t) 1 for all t. As 1 f = f f = 2 1/f A() it suffices to show that 1 g A(). Because g is continuous and g(t) 0 for all t, δ = inf g(t) > 0; t f f 2 C() g, to show that if δ = 1 then g = 1, and indeed 1 g A(). Otherwise, g 1 C() = 1 δ < 1. his implies that g is invertible in the Banach algebra C() and that g 1 = (1 g)j in C(). Let h = 1 g A(). For ɛ > 0, there is some N such that h S N (h) A() < ɛ. Now, if P is a trigonometric polynomial of degree M then using the Cauchy-Schwarz inequality and Parseval s theorem, P A() = ˆP l 1 (Z) (2M + 1) 1/2 ˆP l2 (Z) = (2M + 1) 1/2 P L 2 () (2M + 1) 1/2 P L (). Furthermore, for j 1, P j is a trigonometric polynomial of degree jm. he binomial theorem tells us, with P = S N (h) and r = h P, h k = (P + r) k = k ( ) k P j r k j, j 5 Karlheinz Gröchenig, Wiener s Lemma: heme and Variations. An Introduction to Spectral Invariance and Its Applications, p. 180, 5.2.4, in Brigitte Forster and Peter Massopust, eds., Four Short Courses on Harmonic Analysis, pp
10 and using this and P j A() (2jN + 1) 1/2 P j L (), Because h k A() k ( k P j) j A() r k j A() k k ( ) k P j j h S A() N (h) k j A() ( ) k (2jN + 1) 1/2 P j j L () ɛk j (2kN + 1) 1/2 k ( ) k P j L j () ɛk j = (2kN + 1) 1/2 ( P L () + ɛ)k. P L () h S N(h) L () + h L () h S N (h) A() + h L () < ɛ + h L (), we have h k A() (2kN + 1) 1/2 ( h L () + 2ɛ)k = (2kN + 1) 1/2 (1 δ + 2ɛ) k. ake some ɛ < δ 2, so that 1 δ + 2ɛ < 1. hen with N = N(ɛ), h k A() (2kN+1) 1/2 (1 δ+2ɛ) k = ( 2NΦ 1 δ + 2ɛ, 1 ) 2, 1 <, 2N k=0 k=0 where Φ is the Lerch transcendent. his implies that the the series k=0 hk converges in A(). We check that k=0 hk is the inverse of 1 h, namely, g = 1 h is invertible in A(), proving the claim. 5 Spectral theory Suppose that A is a commutative Banach algebra with unity 1. We define U(A) to be the collection of those f A such that f is invertible in A. It is a fact that U(A) is an open subset of A. We define σ A (f) = {λ C : f λ U(A)}, called the spectrum of f. It is a fact that σ A (f) is a nonempty compact subset of C. 10
11 If A B are Banach algebras with unity 1, we say that A is inverse-closed in B if f A and f 1 B together imply that f 1 A. 6 Lemma 7. Suppose that A B are Banach algebras with unity 1. he following are equivalent: 1. A is inverse-closed in B. 2. σ A (f) = σ B (f) for all f A. Proof. Assume that A is inverse-closed in B and let f A. If λ σ A (f) then f λ U(A) U(B), hence λ σ B (f). herefore σ B (f) σ A (f). If λ σ B (f) then f λ U(B). hat is, (f λ) 1 B. Because A is inverseclosed in B and f λ A, we get (f λ) 1 A. hus λ σ A (f), and therefore σ A (f) σ B (f). We thus have obtained σ A (f) = σ B (f). Assume that for all f A, σ A (f) = σ B (f). Suppose that f A and f 1 B. hat is, f U(B), so 0 σ B (f). hen 0 σ A (f), meaning that f U(A). A() C() are Banach algebras with unity 1. Wiener s lemma states that A() is inverse-closed in C(). It is apparent that for f C(), σ C() (f) = f() C. herefore, Lemma 7 tells us for f A() that σ A() (f) = f(). he Wiener-Lévy theorem states that if f A(), Ω C is an open set containing f(), and F : Ω C is holomorphic, then F f A(). 7 In particular, if f A() does not vanish, then Ω = C \ {0} is an open set containing f() and F (z) = 1 z is a holomorphic function on Ω, and hence F f(t) = 1 f(t) belongs to A(), which is the statement of Wiener s lemma. 6 Karlheinz Gröchenig, Wiener s Lemma: heme and Variations. An Introduction to Spectral Invariance and Its Applications, p. 183, 5.2.5, in Brigitte Forster and Peter Massopust, eds., Four Short Courses on Harmonic Analysis, pp Karlheinz Gröchenig, Wiener s Lemma: heme and Variations. An Introduction to Spectral Invariance and Its Applications, p. 187, heorem 5.16, in Brigitte Forster and Peter Massopust, eds., Four Short Courses on Harmonic Analysis, pp ; Walter Rudin, Fourier Analysis on Groups, Chapter 6; N. K. Nikolski (ed.), Functional Analysis I, p. 235; V. P. Havin and N. K. Nikolski (eds.), Commutative Harmonic Analysis II, p. 240,
The Bernstein and Nikolsky inequalities for trigonometric polynomials
he ernstein and Nikolsky ineualities for trigonometric polynomials Jordan ell jordanbell@gmailcom Department of Mathematics, University of oronto January 28, 2015 1 Introduction Let = R/2πZ For a function
More 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 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 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 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 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 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 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 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 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 informationCONVERGENCE OF RANDOM FOURIER SERIES
CONVERGENCE OF RANDOM FOURIER SERIES MICH HILL Abstract. his paper will study Fourier Series with random coefficients. We begin with an introduction to Fourier series on the torus and give some of the
More 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 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 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 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 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 informationReal Analytic Version of Lévy s Theorem
E extracta mathematicae Vol. 30, Núm. 2, 153 159 (2015) Real Analytic Version of Lévy s Theorem A. El Kinani, L. Bouchikhi Université Mohammed V, Ecole Normale Supérieure de Rabat, B.P. 5118, 10105 Rabat
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 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 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 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 information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
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 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 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 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 informationNORMS OF PRODUCTS OF SINES. A trigonometric polynomial of degree n is an expression of the form. c k e ikt, c k C.
L NORMS OF PRODUCTS OF SINES JORDAN BELL Abstract Product of sines Summary of paper and motivate it Partly a survey of L p norms of trigonometric polynomials and exponential sums There are no introductory
More informationOn lower bounds for C 0 -semigroups
On lower bounds for C 0 -semigroups Yuri Tomilov IM PAN, Warsaw Chemnitz, August, 2017 Yuri Tomilov (IM PAN, Warsaw) On lower bounds for C 0 -semigroups Chemnitz, August, 2017 1 / 17 Trivial bounds For
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 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 information5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1
Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements
More informationHausdorff measure. Jordan Bell Department of Mathematics, University of Toronto. October 29, 2014
Hausdorff measure Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto October 29, 2014 1 Outer measures and metric outer measures Suppose that X is a set. A function ν :
More informationA Banach Gelfand Triple Framework for Regularization and App
A Banach Gelfand Triple Framework for Regularization and Hans G. Feichtinger 1 hans.feichtinger@univie.ac.at December 5, 2008 1 Work partially supported by EUCETIFA and MOHAWI Hans G. Feichtinger hans.feichtinger@univie.ac.at
More informationAnalysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both
Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both real and complex analysis. You have 3 hours. Real
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 informationFourier Analysis. Dr. Felix Schwenninger University of Hamburg
Fourier Analysis Dr. Felix Schwenninger University of Hamburg his is a preliminary (and still incomplete) version of the things we have encountered in the lectures so far. For example, the motivation presented
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
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 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 informationAn extremal problem in Banach algebras
STUDIA MATHEMATICA 45 (3) (200) An extremal problem in Banach algebras by Anders Olofsson (Stockholm) Abstract. We study asymptotics of a class of extremal problems r n (A, ε) related to norm controlled
More informationCHAPTER X THE SPECTRAL THEOREM OF GELFAND
CHAPTER X THE SPECTRAL THEOREM OF GELFAND DEFINITION A Banach algebra is a complex Banach space A on which there is defined an associative multiplication for which: (1) x (y + z) = x y + x z and (y + z)
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 informationRudin Real and Complex Analysis - Harmonic Functions
Rudin Real and Complex Analysis - Harmonic Functions Aaron Lou December 2018 1 Notes 1.1 The Cauchy-Riemann Equations 11.1: The Operators and Suppose f is a complex function defined in a plane open set
More informationTwo Lemmas in Local Analytic Geometry
Two Lemmas in Local Analytic Geometry Charles L Epstein and Gennadi M Henkin Department of Mathematics, University of Pennsylvania and University of Paris, VI This paper is dedicated to Leon Ehrenpreis
More informationFunctional Analysis II held by Prof. Dr. Moritz Weber in summer 18
Functional Analysis II held by Prof. Dr. Moritz Weber in summer 18 General information on organisation Tutorials and admission for the final exam To take part in the final exam of this course, 50 % of
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationThe weak topology of locally convex spaces and the weak-* topology of their duals
The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes
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 informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationMost Continuous Functions are Nowhere Differentiable
Most Continuous Functions are Nowhere Differentiable Spring 2004 The Space of Continuous Functions Let K = [0, 1] and let C(K) be the set of all continuous functions f : K R. Definition 1 For f C(K) we
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
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 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 informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
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 informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationTHE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES
THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES PHILIP GADDY Abstract. Throughout the course of this paper, we will first prove the Stone- Weierstrass Theroem, after providing some initial
More 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 informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
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 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 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 informationPeter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
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 informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More 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 informationALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES
Electronic Journal of Differential Equations, Vol. 21(21, No. 72, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu ALMOST PERIODIC SOLUTIONS
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 informationSpectral Mapping Theorem
Spectral Mapping Theorem Dan Sievewright Definition of a Hilbert space Let H be a Hilbert space over C. 1) H is a vector space over C. 2) H has an inner product, : H H C with the following properties.
More informationON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number, November 996 ON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES HASEO KI Communicated by Andreas R. Blass)
More informationA Class of Shock Wave Solutions of the Periodic Degasperis-Procesi Equation
ISSN 1749-3889 (print), 1749-3897 (online) International Journal of Nonlinear Science Vol.9(2010) No.3,pp.367-373 A Class of Shock Wave Solutions of the Periodic Degasperis-Procesi Equation Caixia Shen
More informationRademacher functions
Rademacher functions Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto July 6, 4 Binary expansions Define S : {, } N [, ] by Sσ σ k k, σ {, }N. For example, for σ and σ,
More informationThe spectrum of a self-adjoint operator is a compact subset of R
The spectrum of a self-adjoint operator is a compact subset of R Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 Abstract In these notes I prove that 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 informationApproximate identities in Banach function algebras. H. G. Dales, Lancaster
Approximate identities in Banach function algebras H. G. Dales, Lancaster National University of Ireland, Maynooth, 19 June 2013 In honour of the retirement of Anthony G. O Farrell Work in progress with
More informationRUTGERS UNIVERSITY GRADUATE PROGRAM IN MATHEMATICS Written Qualifying Examination August, Session 1. Algebra
RUTGERS UNIVERSITY GRADUATE PROGRAM IN MATHEMATICS Written Qualifying Examination August, 2014 Session 1. Algebra The Qualifying Examination consists of three two-hour sessions. This is the first session.
More informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
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 informationHOMEWORK FOR , FALL 2007 ASSIGNMENT 1 SOLUTIONS. T = sup T(x) Ax A := sup
HOMEWORK FOR 18.101, FALL 007 ASSIGNMENT 1 SOLUTIONS (1) Given a linear map T : R m R n Define the operator norm of T as follows: T(x) T := sup x 0 x Similarly, if A is a matrix, define the operator norm
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 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 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 information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
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 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 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 informationHilbert spaces. Let H be a complex vector space. Scalar product, on H : For all x, y, z H and α, β C α x + β y, z = α x, z + β y, z x, y = y, x
Hilbert spaces Let H be a complex vector space. Scalar product, on H : For all x, y, z H and α, β C α x + β y, z = α x, z + β y, z x, y = y, x x, x 0 x, x = 0 x = 0 Orthogonality: x y x, y = 0 A scalar
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
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 informationPolarization constant K(n, X) = 1 for entire functions of exponential type
Int. J. Nonlinear Anal. Appl. 6 (2015) No. 2, 35-45 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2015.252 Polarization constant K(n, X) = 1 for entire functions of exponential type A.
More informationThe Kolmogorov continuity theorem, Hölder continuity, and the Kolmogorov-Chentsov theorem
The Kolmogorov continuity theorem, Hölder continuity, and the Kolmogorov-Chentsov theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 11, 2015 1 Modifications
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationFall f(x)g(x) dx. The starting place for the theory of Fourier series is that the family of functions {e inx } n= is orthonormal, that is
18.103 Fall 2013 1. Fourier Series, Part 1. We will consider several function spaces during our study of Fourier series. When we talk about L p ((, π)), it will be convenient to include the factor 1/ in
More informationJOINT TOPOLOGICAL ZERO DIVISORS FOR A REAL BANACH ALGEBRA H. S. Mehta 1, R.D.Mehta 2, A. N. Roghelia 3
Mathematics Today Vol.30 June & December 2014; Published in June 2015) 54-58 ISSN 0976-3228 JOINT TOPOLOGICAL ZERO DIVISORS FOR A REAL BANACH ALGEBRA H. S. Mehta 1, R.D.Mehta 2, A. N. Roghelia 3 1,2 Department
More informationNonlinear equations. Norms for R n. Convergence orders for iterative methods
Nonlinear equations Norms for R n Assume that X is a vector space. A norm is a mapping X R with x such that for all x, y X, α R x = = x = αx = α x x + y x + y We define the following norms on the vector
More informationLecture 7 January 26, 2016
MATH 262/CME 372: Applied Fourier Analysis and Winter 26 Elements of Modern Signal Processing Lecture 7 January 26, 26 Prof Emmanuel Candes Scribe: Carlos A Sing-Long, Edited by E Bates Outline Agenda:
More informationω 0 = 2π/T 0 is called the fundamental angular frequency and ω 2 = 2ω 0 is called the
he ime-frequency Concept []. Review of Fourier Series Consider the following set of time functions {3A sin t, A sin t}. We can represent these functions in different ways by plotting the amplitude versus
More information