MATH 5640: Fourier Series
|
|
- Mildred Wade
- 5 years ago
- Views:
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 433 BLECHER NOTES. As in earlier classnotes. As in earlier classnotes (Fourier series) 3. Fourier series (continued) (NOTE: UNDERGRADS IN THE CLASS ARE NOT RESPONSIBLE
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More 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 informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationMath 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 informationGeneral 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 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 informationMath 489AB A Very Brief Intro to Fourier Series Fall 2008
Math 489AB A Very Brief Intro to Fourier Series Fall 8 Contents Fourier Series. The coefficients........................................ Convergence......................................... 4.3 Convergence
More informationFourier 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 information1.1 Appearance of Fourier series
Chapter Fourier series. Appearance of Fourier series The birth of Fourier series can be traced back to the solutions of wave equation in the work of Bernoulli and the heat equation in the work of Fourier.
More 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 informationLecture 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 informationAdvanced 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 informationSection 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 informationHILBERT 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 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 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 informationExercise 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 informationConvergence 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 informationf(s) e -i n π s/l d s
Pointwise convergence of complex Fourier series Let f(x) be a periodic function with period l defined on the interval [,l]. The complex Fourier coefficients of f( x) are This leads to a Fourier series
More 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 informationSolutions 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 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 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 informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More information1 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 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 informationEntrance 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 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 informationG: 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 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 informationMetric 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 informationa 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 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 informationWe 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 information1 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 informationYour 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 informationReal 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 informationMATH 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 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 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 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 informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More 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 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 information14 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 informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationFOURIER 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 informationAn 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 informationMATH 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 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 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 informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More 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 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 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 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 informationMathematical 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 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 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 informationMcGill 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 informationMTH 503: Functional Analysis
MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................
More informationFunctional 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 informationh(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 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 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 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 informationLogical 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 informationTake-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 informationMATH 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 informationGeneral 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 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 informationUNIFORM 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 informationFall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.
TMA445 Linear Methods Fall 26 Norwegian University of Science and Technology Department of Mathematical Sciences Solutions to exercise set 9 Let X be a Hilbert space and T a bounded linear operator on
More informationInner 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 informationSolutions 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 informationExamples 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 informationMath 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 informationUniversity 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 informationEmily 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 informationIntroduction 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 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 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 informationKernel 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 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 informationElements 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 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 informationMATH 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 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 informationPMH3 - 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 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 informationConvergence 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 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 informationMath 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 informationANALYSIS 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 informationMath 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 informationExercises 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 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 information8.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 information3 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