MATH 5640: Fourier Series

Size: px
Start display at page:

Download "MATH 5640: Fourier Series"

Transcription

1 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 numbers. a k x k, Theorem. For a power series k= a kx k, there are three possibilities (i) k a kx k diverges for all x. (ii) k a kx k converges for all x. (iii) There exists R > such that k a kx k converges for all x < R and diverges for all x > R. Theorem. Given a power series k= a kx k, and suppose that either () K = lim a k+ or K = lim k ak k a k k exists. Then the following are true k= (i) If K =, then k= a kx k converges for all values of x. (ii) If K >, then the radius of convergence is R = K. If either of the limits in () fails to exist, then k= a kx k diverges for all values x. Pointwise Convergence Definition. (pointwise convergence) Suppose {f n } n N is a sequence of functions defined on an interval I. We say that f n (x) converges pointwise to the function f(x) if f n (x) n f(x) for each x I. Exercise. Prove that f n (x) = x x n converges pointwise to f(x) = x on R. Exercise.3 Prove that f n (x) = e nx converges pointwise to f(x) = {, x =, x on [, +).

2 3 Uniform Convergence Definition 3. A sequence of function f n (x) is said to converge uniformly to f(x) on I if f n f = sup f n (x) f(x). x I Exercise 3. Prove that f n (x) = e nx on [, 3] converges to uniformly. Example 3.3 f n (x) = xe nx on [, ) converges to uniformly. Proof. For each n, we have f n(x) = ( nx)e nx. So f n(x) = implies x = n. We then verify that f n (x) attains its maximum at x = n. We have sup f n (x) = f n ( n ) = n e as n. x [,+ So f n (x) uniformly. Exercise 3.4 Uniform convergence implies pointwise convergence. Theorem 3.5 Suppose f n (x) is a sequence of continuous functions on I that converges uniformly to f(x) on I. Then the limit function f is also continuous on I. Theorem 3.6 Suppose f n (x) is a sequence of continuous functions that converges uniformly to a continuous function f(x) on a bounded interval [a, b]. Then we have b lim n a f n (x)dx = b a lim f n(x)dx = n b a f(x)dx. Theorem 3.7 (Weierstrass Majorant Theorem) Suppose sup f k M k and k= M k < +. Then k= f k converges uniformly to some f. In addition, if each f k is continuous then f is also continuous. 4 Inner product spaces Throughout, F denotes the scalar field R (real numbers) or C (complex numbers). Example 4. R n is an inner product space with x, y = y = (y,..., y n ) R n. Example 4. C n is an inner product space with x, y = y = (y,..., y n ) C n. n x k y k k= n x k y k k= for x = (x,..., x n ) R n and for x = (x,..., x n ) C n and Example 4.3 C([a, b]) denotes the space of F-valued continuous functions on [a, b] with inner product f, g = π b a f(t)g(t)dx.

3 Theorem 4.4 (Cauchy-Bunyakovski-Schwarz inequality) For every u, v V, u, v u v. Equality happens if and only if u = αv or v = αu for some α F. Theorem 4.5 (generalized Pythagoras Theorem) Let {u,..., u N } be an orthonormal system, and let v span {u,..., u N }. Then v = v, u k u k and v = k= v, u k. Theorem 4.6 (Bessel s inequality) Let {u, u...} be an orthonormal system in V. Then for every v V, v, u k < v. Proof. For each N, define k= S N := v, u k uk. Clearly, (v S N ) u k for k =,..., N. So (v S N ) S N, which implies k= k= v = v S N + S N = v S N + v, u k. k= The conclusion then follows. We also have an immediate corollary Corollary 4.7 (Riemann-Lebesgue Lemma) Let {u, u...} be an orthonormal system. Then for every v V, v, u k as k. Proof. The Bessell s inequality implies v, u k < v. k= So, the term in the summand v, u k must go to zero. 5 The space L ([, π]) Definition 5. L ([, π]) is the space of all complex valued functions on [, π] satisfying f(t) dt < +. 3

4 On this space, the inner product is defined by f, g = π f(t)g(t)dx. The induced norm is f = π f(t) π dt. Theorem 5. (a special orthogonal system in L ([, π])) The system {, cos kt, sin kt, k =,,... } is an orthogonal system in L ([, π]). Proof. First, each vector belongs to L ([, π]): dt = π, Next, they are mutually orthogonal: cos (kt) dt = π, sin (kt) dt = π., cos kt =, sin kt =, k; cos kt, sin mt =, k, m; cos kt, cos mt =, k m; sin kt, sin mt =, k m. The proof is complete. By normalizing the above system, we obtain the following Theorem 5.3 (a special orthonormal system in L ([, π])) The system { } cos kx sin kx,,, k =,,... π π π is an orthonormal system in L ([, π]). 6 Fourier series Let f : R R be a periodic function with period T = π. The Fourier series of f is defined as the series () S(x) := a + a k cos kx + b k sin kx, where the Fourier coefficients are given by a = π f(t)dt, a k = π k= f(t) cos ktdt, b k = π 4 f(t) sin ktdt.

5 The complex Fourier series of f is defined as the series c k e ikx where c k = f(t)e ikt dt. π Remark. If f is only defined on [, π), we can always extend f to a periodic function on R by defining f(x) := f(y + kt ) for some y [, π) and k Z. Therefore, if suffices to consider only f : [, π] R. 7 Convergence of the Fourier series Recall that a function f(t) is said to be piecewise continuous on an interval I if (i) it is continuous on I except for a finite number of points. (ii) if a I is a point of discontinuity, then f(a + ) = lim t a + f(t) and f(a ) = lim t a f(t) exist. Let f be a piecewise continuous function on I. Recall that the right-hand derivative of f at a I is D + f(a) = lim h + f(a + h) f(a + ) h (if f(a + ) exists), and the left-hand derivative of f at a I is D f(a) = lim h f(a + h) f(a ) h (if f(a ) exists). We will use the following functional spaces Denote E the space of all piecewise continuous functions on [, π]. Denote E the space of all functions in E such that the left derivate exists for all x (, π] and the right derivative exists for all x [, π). Let f E, our goal is to prove convergence properties of the Fourier series () for f. Lemma 7. a k cos kx + b k sin kx = π f(x + t) cos ktdt. 5

6 Proof. We have a k cos kx + b k sin kx = π = π = π = π = π x f(t) cos k(t x)dt = π x f(s + x) cos ksds + π π x f(s + x) cos ksds + π f(t) [ cos kt cos kx + sin kt sin kx ] dt x x x f(s + x) cos ksds. f(s + x) cos ksds f(s + x) cos ksds f(s + x) cos ksds Lemma 7. We have for all N and all t, N + cos kt = sin ( N + ) t sin t. This expression is called the Dirichlet s kernel, denoted by D N (t). Proof. We have D N (t) = + k= k= (e ikt + e ikt ) = [ + e ikt + k= k= e ikt] = [ + eit e i(n+)t e it + e it e i(n+)t ] e it = [ + e it e i(n+ )t it e e i(n+ )t ] + e it e it e it e it = [ + e it e i(n+ )t it e e i(n+ )t ] i sin t + i sin t = it e e [ it + i sin t + ei(n+ )t e i(n+ )t ] i sin t = [ + i sin t i sin t + i sin(n + )t ] i sin t = sin(n + )t sin t. Notice also that D N (t) (N + ) as t. So we can define D N as follows sin(n+ )t, t, D N (t) = sin t N +, t =. Lemma 7.3 D N (t)dt = D N (t)dt = π. Proof. We have D N (t)dt = ( N + cos kt )dt = π N + k= k= cos ktdt = π. 6

7 Now let f E. Fix some x and define (3) g(t) := f(x + t) f(x +) sin t and h(t) := f(x + t) f(x ) sin t. Then f(x + t) f(x + ) lim g(t) = lim t + t + t t sin t So, g(t) is piecewise continuous on (, π]. Thus, we have the following = D + f(x). Lemma 7.4 Let f E and let g, h be given by (3). The functions { { g(t), t (, π], h(t), t [, ), G(t) = and H(t) =, t [, ],, t [, π], are piecewise continuous on [, π]. Hence, G, H L ([, π]). Lemma 7.5 Let f E. Then lim N π f(x + t)d N (t)dt = f(x +) and lim N π f(x + t)d N (t)dt = f(x ). Proof. We have: π f(x + t)d N (t)dt f(x +) π = π = π = π = π = f(x + t)d N (t)dt π [ f(x + t) f(x+ ) ] D N (t)dt [ f(x + t) f(x+ ) sin t f(x + )D N (t)dt ] sin ( N + ) tdt G(t) sin ( N + ) tdt (by Lemma 7.4) Notice that the system {u N = sin ( N + ) t} N= is an orthogonal system in L [, π] and u N = π Thus, by Corollary 4.7, G, u N = The second limit is proved similarly. sin ( N + Combining the above, we obtain the main result ) tdt = π [ cos(n + )t]dt =. G(t) sin ( N + ) tdt as N Theorem 7.6 (pointwise convergence of Fourier series) Let f E with the Fourier series a + a k cos kx + b k sin kx. k= 7

8 Then for every x [, π], the series converges pointwise to f(x +)+f(x ). In particular, f(x) = a + a k cos kx + b k sin kx k= if x is a point of continuity. Proof. For N >, define S N (t) := a N + a k cos kx + b k sin kx. We have, S N (t) = = π = π [ π k= ] f(x + t)dt + π k= [ N f(x + t) + ] cos kx dt f(x + t)d N (t)dt f(x +) + f(x ) f(x + t) cos ktdt (by Lemma 7.) (by Lemma 7.5). Theorem 7.7 (uniform convergence of Fourier series) Suppose that f is continuous on [, π], that f() = f(π), and that f E. Then its Fourier series converges uniformly to f on [, π]. a + a k cos kx + b k sin kx. k= Proof. Clearly, we can extend f to a continuous periodic function with period π. Assume that f has the Fourier series α + α k cos kx + β k sin kx. We can check that α = π α k = π Similarly, β k = ka k. By Bessel s inequality (Theorem 4.6) k= πf (t)dt =. Now using integration by parts, we have f (x) cos kxdx = π cos kxf(x) x=π x= π α k + β k f < +. k= We have a k + b k = k αk + β k. So f(x)( k) sin kxdx = kb k. ak + b k = k= k= k α ( N k + β k k k= ) α k + β k k= < + Since a k + b k a k + b k. It follows that a k + b k ak + b k < +. k= k= 8

9 Then by the Weierstrass Majorant Theorem (Theorem 3.7), we conclude that a + a k cos kx + b k sin kx k= converges uniformly to some (continuous) function g on [, π]. On the other hand, the series converges pointwise to f. Thus, we must have f g. 8 Fourier Series for General Interval [, T ] Let f : R R be a periodic function with period T. The Fourier series of f is defined as the series a + k= where the Fourier coefficients are given by a k cos kπ T x + b k sin kπ T x, a = T f(t)dt, a k = T f(t) cos kπ T tdt, b k = T f(t) sin kπ T tdt. To derive the above formulation, notice that h(x) = f( T π x) has period π. Thus f(x) = h( πx T ) = a + k= a k cos kπ T x + b k sin kπ T x, where a = π a k = π b k = π h(t) dt = π h(t) cos kt dt = T h(t) sin kt dt = T f( T π t) dt = π f(t) cos kπ T t dt, f(t) sin kπ T t dt. f(x) π T dx = T f(x)dx, 9

INTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES

INTRODUCTION 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 information

Fourier Series. 1. Review of Linear Algebra

Fourier 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 information

Topics in Fourier analysis - Lecture 2.

Topics 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 information

be the set of complex valued 2π-periodic functions f on R such that

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 information

Math 115 ( ) Yum-Tong Siu 1. Derivation of the Poisson Kernel by Fourier Series and Convolution

Math 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 information

General Inner Product and The Fourier Series

General Inner Product and The Fourier Series A Linear Algebra Approach Department of Mathematics University of Puget Sound 4-20-14 / Spring Semester Outline 1 2 Inner Product The inner product is an algebraic operation that takes two vectors and

More information

Notes on uniform convergence

Notes 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 information

Math 489AB A Very Brief Intro to Fourier Series Fall 2008

Math 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 information

Fourier series

Fourier series 11.1-11.2. Fourier series Yurii Lyubarskii, NTNU September 5, 2016 Periodic functions Function f defined on the whole real axis has period p if Properties f (t) = f (t + p) for all t R If f and g have

More information

1.1 Appearance of Fourier series

1.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 information

Vectors in Function Spaces

Vectors 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 information

Lecture 4: Fourier Transforms.

Lecture 4: Fourier Transforms. 1 Definition. Lecture 4: Fourier Transforms. We now come to Fourier transforms, which we give in the form of a definition. First we define the spaces L 1 () and L 2 (). Definition 1.1 The space L 1 ()

More information

Advanced Calculus Math 127B, Winter 2005 Solutions: Final. nx2 1 + n 2 x, g n(x) = n2 x

Advanced Calculus Math 127B, Winter 2005 Solutions: Final. nx2 1 + n 2 x, g n(x) = n2 x . Define f n, g n : [, ] R by f n (x) = Advanced Calculus Math 27B, Winter 25 Solutions: Final nx2 + n 2 x, g n(x) = n2 x 2 + n 2 x. 2 Show that the sequences (f n ), (g n ) converge pointwise on [, ],

More information

Section 7.5 Inner Product Spaces

Section 7.5 Inner Product Spaces Section 7.5 Inner Product Spaces With the dot product defined in Chapter 6, we were able to study the following properties of vectors in R n. ) Length or norm of a vector u. ( u = p u u ) 2) Distance of

More information

HILBERT SPACES AND FOURIER SERIES

HILBERT SPACES AND FOURIER SERIES California State University, San Bernardino CSUSB ScholarWorks Electronic Theses, Projects, and Dissertations Office of Graduate Studies 9-05 HILBERT SPACES AND FOURIER SERIES Terri Joan Harris Mrs. terri.harris34@gmail.com

More information

Convergence of Fourier series

Convergence 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 information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 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 information

Exercise 11. Isao Sasano

Exercise 11. Isao Sasano Exercise Isao Sasano Exercise Calculate the value of the following series by using the Parseval s equality for the Fourier series of f(x) x on the range [, π] following the steps ()-(5). () Calculate the

More information

Convergence for periodic Fourier series

Convergence for periodic Fourier series Chapter 8 Convergence for periodic Fourier series We are now in a position to address the Fourier series hypothesis that functions can realized as the infinite sum of trigonometric functions discussed

More information

f(s) e -i n π s/l d s

f(s) e -i n π s/l d s Pointwise convergence of complex Fourier series Let f(x) be a periodic function with period l defined on the interval [,l]. The complex Fourier coefficients of f( x) are This leads to a Fourier series

More information

Some 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 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 information

Solutions Final Exam May. 14, 2014

Solutions Final Exam May. 14, 2014 Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,

More information

7: FOURIER SERIES STEVEN HEILMAN

7: 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 information

Problem Set 5: Solutions Math 201A: Fall 2016

Problem 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 information

Finite-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

Finite-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 information

1 Definition of the Riemann integral

1 Definition of the Riemann integral MAT337H1, Introduction to Real Analysis: notes on Riemann integration 1 Definition of the Riemann integral Definition 1.1. Let [a, b] R be a closed interval. A partition P of [a, b] is a finite set of

More information

Harmonic Analysis on the Cube and Parseval s Identity

Harmonic 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 information

Entrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems

Entrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.

More information

1 Orthonormal sets in Hilbert space

1 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 information

G: Uniform Convergence of Fourier Series

G: Uniform Convergence of Fourier Series G: Uniform Convergence of Fourier Series From previous work on the prototypical problem (and other problems) u t = Du xx 0 < x < l, t > 0 u(0, t) = 0 = u(l, t) t > 0 u(x, 0) = f(x) 0 < x < l () we developed

More information

Continuous Functions on Metric Spaces

Continuous 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 information

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose

More information

a k cos(kx) + b k sin(kx), (1.1)

a k cos(kx) + b k sin(kx), (1.1) FOURIER SERIES. INTRODUCTION In this chapter, we examine the trigonometric expansion of a function f(x) defined on an interval such as x π. A trigonometric expansion is a sum of the form a 0 + k a k cos(kx)

More information

Hilbert Spaces. Contents

Hilbert 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 information

We start with a simple result from Fourier analysis. Given a function f : [0, 1] C, we define the Fourier coefficients of f by

We start with a simple result from Fourier analysis. Given a function f : [0, 1] C, we define the Fourier coefficients of f by Chapter 9 The functional equation for the Riemann zeta function We will eventually deduce a functional equation, relating ζ(s to ζ( s. There are various methods to derive this functional equation, see

More information

1 Taylor-Maclaurin Series

1 Taylor-Maclaurin Series Taylor-Maclaurin Series Writing x = x + n x, x = (n ) x,.., we get, ( y ) 2 = y ( x) 2... and letting n, a leap of logic reduces the interpolation formula to: y = y + (x x )y + (x x ) 2 2! y +... Definition...

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

Real Analysis, October 1977

Real Analysis, October 1977 Real Analysis, October 1977 1. Prove that the sequence 2, 2 2, 2 2 2,... converges and find its limit. 2. For which real-x does x n lim n 1 + x 2n converge? On which real sets is the convergence uniform?

More information

MATH 220 solution to homework 4

MATH 220 solution to homework 4 MATH 22 solution to homework 4 Problem. Define v(t, x) = u(t, x + bt), then v t (t, x) a(x + u bt) 2 (t, x) =, t >, x R, x2 v(, x) = f(x). It suffices to show that v(t, x) F = max y R f(y). We consider

More information

Syllabus Fourier analysis

Syllabus 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 information

Most Continuous Functions are Nowhere Differentiable

Most 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 information

Math 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) 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 information

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x

More information

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan

4 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 information

Vector 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. Vector Spaces Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. For each two vectors a, b ν there exists a summation procedure: a +

More information

14 Fourier analysis. Read: Boas Ch. 7.

14 Fourier analysis. Read: Boas Ch. 7. 14 Fourier analysis Read: Boas Ch. 7. 14.1 Function spaces A function can be thought of as an element of a kind of vector space. After all, a function f(x) is merely a set of numbers, one for each point

More information

L 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 (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 information

FOURIER TRANSFORMS. 1. Fourier series 1.1. The trigonometric system. The sequence of functions

FOURIER 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 information

An idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim

An idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim An idea how to solve some of the problems 5.2-2. (a) Does not converge: By multiplying across we get Hence 2k 2k 2 /2 k 2k2 k 2 /2 k 2 /2 2k 2k 2 /2 k. As the series diverges the same must hold for the

More information

MATH 124B: HOMEWORK 2

MATH 124B: HOMEWORK 2 MATH 24B: HOMEWORK 2 Suggested due date: August 5th, 26 () Consider the geometric series ( ) n x 2n. (a) Does it converge pointwise in the interval < x

More information

3 (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?

3 (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 information

Recall that any inner product space V has an associated norm defined by

Recall 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 information

Math 328 Course Notes

Math 328 Course Notes Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the

More information

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Notions 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 information

Hilbert 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. 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 information

JUHA KINNUNEN. Partial Differential Equations

JUHA 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

3 Orthogonality and Fourier series

3 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 information

Mathematical MCQ for international students admitted to École polytechnique

Mathematical MCQ for international students admitted to École polytechnique Mathematical MCQ for international students admitted to École polytechnique This multiple-choice questionnaire is intended for international students admitted to the first year of the engineering program

More information

FOURIER SERIES WITH THE CONTINUOUS PRIMITIVE INTEGRAL

FOURIER 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 information

1.5 Approximate Identities

1.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 information

McGill University Math 354: Honors Analysis 3

McGill University Math 354: Honors Analysis 3 Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The

More information

MTH 503: Functional Analysis

MTH 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 information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week: December 4 8 Deadline to hand in the homework: your exercise class on week January 5. Exercises with solutions ) Let H, K be Hilbert spaces, and A : H K be a linear

More information

h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote

h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function

More information

Methods of Mathematical Physics X1 Homework 3 Solutions

Methods 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 information

Real Analysis Notes. Thomas Goller

Real 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 information

A glimpse of Fourier analysis

A 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 information

Logical Connectives and Quantifiers

Logical Connectives and Quantifiers Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then

More information

Take-Home Final Examination of Math 55a (January 17 to January 23, 2004)

Take-Home Final Examination of Math 55a (January 17 to January 23, 2004) Take-Home Final Eamination of Math 55a January 17 to January 3, 004) N.B. For problems which are similar to those on the homework assignments, complete self-contained solutions are required and homework

More information

MATH 104 : Final Exam

MATH 104 : Final Exam MATH 104 : Final Exam 10 May, 2017 Name: You have 3 hours to answer the questions. You are allowed one page (front and back) worth of notes. The page should not be larger than a standard US letter size.

More information

General Inner Product & Fourier Series

General Inner Product & Fourier Series General Inner Products 1 General Inner Product & Fourier Series Advanced Topics in Linear Algebra, Spring 2014 Cameron Braithwaite 1 General Inner Product The inner product is an algebraic operation that

More information

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Functional 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 information

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence

More information

Fall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.

Fall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X. TMA445 Linear Methods Fall 26 Norwegian University of Science and Technology Department of Mathematical Sciences Solutions to exercise set 9 Let X be a Hilbert space and T a bounded linear operator on

More information

Inner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold:

Inner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold: Inner products Definition: An inner product on a real vector space V is an operation (function) that assigns to each pair of vectors ( u, v) in V a scalar u, v satisfying the following axioms: 1. u, v

More information

Solutions Final Exam May. 14, 2014

Solutions Final Exam May. 14, 2014 Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10

More information

Examples of the Fourier Theorem (Sect. 10.3). The Fourier Theorem: Continuous case.

Examples of the Fourier Theorem (Sect. 10.3). The Fourier Theorem: Continuous case. s of the Fourier Theorem (Sect. 1.3. The Fourier Theorem: Continuous case. : Using the Fourier Theorem. The Fourier Theorem: Piecewise continuous case. : Using the Fourier Theorem. The Fourier Theorem:

More information

Math 5520 Homework 2 Solutions

Math 5520 Homework 2 Solutions Math 552 Homework 2 Solutions March, 26. Consider the function fx) = 2x ) 3 if x, 3x ) 2 if < x 2. Determine for which k there holds f H k, 2). Find D α f for α k. Solution. We show that k = 2. The formulas

More information

University of Leeds, School of Mathematics MATH 3181 Inner product and metric spaces, Solutions 1

University of Leeds, School of Mathematics MATH 3181 Inner product and metric spaces, Solutions 1 University of Leeds, School of Mathematics MATH 38 Inner product and metric spaces, Solutions. (i) No. If x = (, ), then x,x =, but x is not the zero vector. So the positive definiteness property fails

More information

Emily Jennings. Georgia Institute of Technology. Nebraska Conference for Undergraduate Women in Mathematics, 2012

Emily Jennings. Georgia Institute of Technology. Nebraska Conference for Undergraduate Women in Mathematics, 2012 δ 2 Transform and Fourier Series of Functions with Multiple Jumps Georgia Institute of Technology Nebraska Conference for Undergraduate Women in Mathematics, 2012 Work performed at Kansas State University

More information

Introduction to Signal Spaces

Introduction to Signal Spaces Introduction to Signal Spaces Selin Aviyente Department of Electrical and Computer Engineering Michigan State University January 12, 2010 Motivation Outline 1 Motivation 2 Vector Space 3 Inner Product

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional 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 information

1 Fourier Integrals on L 2 (R) and L 1 (R).

1 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 information

Kernel Method: Data Analysis with Positive Definite Kernels

Kernel Method: Data Analysis with Positive Definite Kernels Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied 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 information

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Statistical Inference with Reproducing Kernel Hilbert Space Kenji Fukumizu Institute of Statistical Mathematics, ROIS Department

More information

Outline of Fourier Series: Math 201B

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 information

MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions.

MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions. MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions. Continuity Definition. Given a set E R, a function f : E R, and a point c E, the function f is continuous at c if

More information

Folland: Real Analysis, Chapter 8 Sébastien Picard

Folland: 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 information

PMH3 - Functional Analysis. Andrew Tulloch

PMH3 - Functional Analysis. Andrew Tulloch PMH3 - Functional Analysis Andrew Tulloch Contents Chapter 1. Banach Spaces and Linear Operators 4 1. Banach Spaces 4 2. Linear Operators 6 Chapter 2. The Hahn-Banach theorem 12 1. Zorn s Lemma 13 Chapter

More information

Topics in Harmonic Analysis Lecture 1: The Fourier transform

Topics 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 information

Convergence of Fourier Series

Convergence of Fourier Series MATH 454: Analysis Two James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University April, 8 MATH 454: Analysis Two Outline The Cos Family MATH 454: Analysis

More information

Lecture 16: Bessel s Inequality, Parseval s Theorem, Energy convergence

Lecture 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 information

Math 46, Applied Math (Spring 2008): Final

Math 46, Applied Math (Spring 2008): Final Math 46, Applied Math (Spring 2008): Final 3 hours, 80 points total, 9 questions, roughly in syllabus order (apart from short answers) 1. [16 points. Note part c, worth 7 points, is independent of the

More information

ANALYSIS 2: HOMEWORK SOLUTIONS, SPRING 2013

ANALYSIS 2: HOMEWORK SOLUTIONS, SPRING 2013 ANALYSIS 2: HOMEWORK SOLUTIONS, SPRING 2013 STEVEN HEILMAN Contents 1. Problem Set 1 1 2. Problem Set 2 9 3. Problem Set 3 16 4. Problem Set 4 30 5. Problem Set 5 44 6. Problem Set 6 62 7. Appendix: Notation

More information

Math 45, Linear Algebra 1/58. Fourier Series. The Professor and The Sauceman. College of the Redwoods

Math 45, Linear Algebra 1/58. Fourier Series. The Professor and The Sauceman. College of the Redwoods Math 45, Linear Algebra /58 Fourier Series The Professor and The Sauceman College of the Redwoods e-mail: thejigman@yahoo.com Objectives To show that the vector space containing all continuous functions

More information

Exercises from other sources REAL NUMBERS 2,...,

Exercises from other sources REAL NUMBERS 2,..., Exercises from other sources REAL NUMBERS 1. Find the supremum and infimum of the following sets: a) {1, b) c) 12, 13, 14, }, { 1 3, 4 9, 13 27, 40 } 81,, { 2, 2 + 2, 2 + 2 + } 2,..., d) {n N : n 2 < 10},

More information

CONVERGENCE OF THE FOURIER SERIES

CONVERGENCE 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 information

8.3 THE TRIGONOMETRIC FUNCTIONS. skipped 8.4 THE ALGEBRAIC COMPLETENESS OF THE COMPLEX FIELD. skipped 8.5 FOURIER SERIES

8.3 THE TRIGONOMETRIC FUNCTIONS. skipped 8.4 THE ALGEBRAIC COMPLETENESS OF THE COMPLEX FIELD. skipped 8.5 FOURIER SERIES 8.5 FOURIER SERIES 0 8.3 THE TRIGONOMETRIC FUNCTIONS skipped 8.4 THE ALGEBRAIC COMPLETENESS OF THE COMPLEX FIELD skipped 8.5 FOURIER SERIES 8.9 Orthogonl Functions, Orthonorl: Let { n }, n, 2, 3,...,besequence

More information

3 rd class Mech. Eng. Dept. hamdiahmed.weebly.com Fourier Series

3 rd class Mech. Eng. Dept. hamdiahmed.weebly.com Fourier Series Definition 1 Fourier Series A function f is said to be piecewise continuous on [a, b] if there exists finitely many points a = x 1 < x 2

More information