TOPICS IN FOURIER ANALYSIS-II. Contents
|
|
- Bernadette Garrett
- 5 years ago
- Views:
Transcription
1 TOPICS IN FOURIER ANALYSIS-II M.T. NAIR Contents. Trigonometric series nd Fourier series 2 2. Riemnn Lebesgue Lemm 4 3. Dirichlet kernel 6 4. Dirichlet-Dini criterion for convergence 8 5. Ce`sro summblity of Fourier series 2 6. Divergence of Fourier series 8 7. Uniqueness Convolution L 2 -Theory 26 References 28 NOTES PREPARED FOR PART OF AN ELECTIVE COURSE FOURIER ANALYSIS FOR M.SC. STUDENTS OF IIT MADRAS, JULY-NOVEMBER, 204.
2 2 M.T. NAIR. Trigonometric series nd Fourier series Definition.. A series of the form (.) c 0 + ( n cos nx + b n sin nx) n= is clled trigonometric series, where c 0, n, b n re rel numbers. If (.) converges on [, π] to n integrble function f nd if it cn be integrted term by term, then nd c 0 = f(x) cos nxdx, n = π f() = f(π), f(x) cos nxdx, b n = π f(x) sin nxdx. If the (.) converges (pointwise) on [, π] to function f, then f cn be extended s -periodic function by defining If the series f(x + 2nπ) = f(x), n Z. ( n + b n ) converges, then (.) converges uniformly on [, π] n= nd it cn be integrted term by term. We know tht if f L [, π], then the function f : [, π] C defined by stisfies The series (.) cn be written s { f(x), x [, π), f(x) = f(), x = π f() = f(π) nd f = f.e. n= c n e inx. Definition.2. Let f L [, π]. The Fourier series of f is the series (.2) where (.3) n = π ( n cos nx + b n sin nx), n= f(x) cos nxdx, b n = π f(x) sin nxdx.
3 The series (.4) n= TOPICS IN FOURIER ANALYSIS 3 c n e inx with c n = f(x)e inx dx is lso clled the Fourier series of f. The coefficients c n re clled the Fourier coefficient nd re usully denoted by ˆf(n), i.e., The sum ˆf(n) = S N (f, x) := f(x)e inx dx, n Z. n= N ˆf(n)e inx is clled the N-th prtil sum of the Fourier series (.4)). Nottion: In the bove nd in the following, the integrl re w.r.t. the Lebesgue mesure. The fct tht (.2) is the Fourier series of f is usully written s Equivlently, f(x) ( n cos nx + b n sin nx). n= f(x) n= ˆf(n)e inx. Since cos nx, sin x, e inx re -periodic functions, we cn tlk bout Fourier series of -periodic functions. If (.2) (resp. (.4)) converges t point x [, π], then it converges t x + 2kπ for every k Z. The Fourier series (.4)) converges t x [, π] if nd only if S N (f, x) f(x) s N. If f L [, π], then ˆf(n) 0 s n. If ˆf(n) converges, then ˆf(n)e inx converges uniformly. n= n= Suppose Fourier series of f L [, π] converges uniformly, sy to g. continuous nd π g(x)e imx = ˆf(n) e i(n m)x dx = ˆf(m), n= Then g is
4 4 M.T. NAIR i.e., ĝ(m) = ˆf(m) for ll m Z. A nturl question would be whether f = g.e. We shll nswer this ffirmtively. We know tht if the Fourier series of f L [, π] converges, then ˆf(n) 0 s n. Cn we ssert this for every f L [, π]? The nswer is in the ffirmtive s proved in the next section. 2. Riemnn Lebesgue Lemm Theorem 2.. (Riemnn Lebesgue lemm) Let f L [, b]. Then b f(t) cos(λt)dt 0 nd b f(t) sin(λt)dt 0 s λ. Corollry 2.2. (Riemnn Lebesgue lemm) Let f L [, b]. Then b f(t) cos(nt)dt 0 nd b For the proof of the Theorem 2., we shll mke use of f(t) sin(nt)dt 0 s n. LEMMA 2.3. The spn of ll step functions on [, b] is dense in L [, b]. Proof of Theorem 2.. First we observe tht if for every ε > 0, there exists function g L [, b] such tht f g < ε nd the the result is true for g, then the result is true for f lso. Indeed, b b b f(t) cos(λt)dt [f(t) g(t)] cos(λt)dt + g(t) cos(λt)dt b ε + g(t) cos(λt)dt. Let λ 0 > 0 be such tht b g(t) cos(λt)dt < ε for ll λ λ0. Then we hve b f(t) cos(λt)dt < 2ε λ λ 0 Step functions re finite liner combintions of chrcteristic functions. Also, recll tht L [, b] is the vector spce of ll Lebesgue mesurble complex vlued functions f such tht f := b f(x) dx <. Here, dx stnds for the Lebesgue mesure.
5 TOPICS IN FOURIER ANALYSIS 5 so tht b f(t) cos(λt)dt 0 s λ. Similrly, b f(t) sin(λt)dt 0 s λ. Hence, it is enough to prove the result for step functions. Since every step function is finite liner combintion of chrcteristic functions on intervls, it is enough to prove for f of the form f = χ [c,d], [c, d] [, b]. Note tht b d χ [c,d] cos(λt)dt = cos(λt)dt Similrly, b = c sin(λd) sin(λc) λ 2 0 λ s λ. χ [c,d] sin(λt)dt 0 s λ. Remrk 2.4. If f is Riemnn integrble on [, b], then there exists sequence of (f n ) of step functions such tht f f n 0. Thus, conclusion in Theorem 2. holds if f is Riemnn integrble. Proof of Lemm 2.3. If f L [, b] with f 0, then there exists n incresing sequence of non-negtive simple mesurble functions ϕ n, n N such tht ϕ n f pointwise. Hence, by DCT, b f ϕ n 0. From this, for ny complex vlued f L [, b], there exists sequence (ϕ n ) of simple complex mesurble functions We observe (see [3]): b f ϕ n 0. () Every simple rel vlued mesurble function is finite liner combintion of chrcteristic function of mesurble sets. (2) For every mesurble set E (, b) nd ε > 0, there exists n open set G E such tht m(g \ E) < ε. Hence, b χ G χ E = b χ (G\E) m(g \ E) < ε. (3) If G (, b) is n open set, then G = k= I n, where {I n } is countble disjoint fmily of open intervls in (, b); χ G = lim n ψ n, ψ n = n χ Ik, k=
6 6 M.T. NAIR Since 0 ψ n χ G, by DCT, χ G ψ n 0. (4) By ()-(3), if ϕ is simple mesurble function nd ε > 0, there exists step function ψ such tht Thus, the lemm is proved. b ϕ ψ < ε. Note tht where S N (f, x) := n= N 3. Dirichlet kernel e inx D N (t) := f(t)e int dt = f(t)d N (x t)dt, n= N Redefining f t the end-points if necessry, nd extending it s -periodic function, we cn lso write (verify!), S N (f, x) = e int. f(x t)d N (t)dt. Nottion: We denote by T the unit circle T := {e it : t < π}. Note tht if f : T C nd if we define f : R C by f(t) = f(e it ), then f() = f(π) nd f(t + 2nπ) = f(t) for ll n Z. Tht is, f is -periodic function. In the due course, we shll identify -periodic functions with functions on T. We shll denote L (T ) for the spce of ll -periodic (complex vlued) functions on R (with equlity replced equl.e.) which re integrble on [, π] with norm f f := f(x) dx. Anlogously, for p <, L p (T ) denotes the spce of ll -periodic (complex vlued) functions f on R such tht f p is integrble on [, π] with norm ( π ) /p f f p := f(x) p dx
7 TOPICS IN FOURIER ANALYSIS 7 The spce L 2 (T ) is lso Hilbert spce with inner product (f, g) f, g := f(x)g(x) dx. Definition 3.. The function D N ( ) is clled the Dirichlet kernel. We observe tht, D N ( t) = D N (t) for ll t [, π] nd π D N (t)dt =. D N (t) = n= N e int = + Remrk 3.2. We shll see tht Theorem 3.3. [e int + e int ] = + 2 n= cos nt. n= D N (t) dt s N. 2N +, t = 0, D N (t) = sin(n + 2 sin( t ), 2 t 0. Proof. Clerly, D N (0) = 2N +. So, let t 0. Note tht (e it )D N (t) = [e i(n+)t e int ] = e i(n+)t e int. n= N But, (e it )D N (t) = e it/2 (e it/2 e it/2 )D N (t) = 2ie it/2 sin(t/2)d N (t). Thus, i.e., 2i sin(t/2)d N (t) = e it/2 [e i(n+/2)t e i(n+/2)t ] = 2i sin(n + /2)t. D N (t) = sin(n + 2 )t sin( t 2 ), t 2kπ.
8 8 M.T. NAIR 4. Dirichlet-Dini criterion for convergence We investigte the convergence: Since S N (f, x) f(x). D N (t)dt = nd S N (f, x) = π f(x t)d N(t)dt, we hve f(x) S N (f, x) = [f(x) f(x t)]d N (t)dt. Theorem 4.. (Dirichlet-Dini criterion) Let f L (T ). If f stisfies f(x) f(x t) t dt < t point x [, π], then S N (f, x) f(x). If ( ) hods uniformly for x [, π], then the convergence {S N (f, x)} to f(x) is uniform. f(x) f(x t) Remrk 4.2. In the bove theorem, by, we men the function t { f(x) f(x t), t 0 ϕ(t) = t 0, t = 0. Proof of Theorem 4.. We observe tht f(x) S N (f, x) = [f(x) f(x t)]d N (t)dt = = π [f(x) f(x t)] sin(n + )t 2 sin( t ) dt 2 { } { f(x) f(x t) t/2 t sin( t ) 2 } sin(n + 2 )tdt Since (t/2)/[sin(t/2)] is bounded, in view of Riemnn Lebesgue lemm, we hve the following. The following corollries re immedite from Theorem 4.. Corollry 4.3. Suppose f is Lipschitz t point 2 x [, π]. Then S N (f, x) f(x) s N. 2 A function ϕ : I C is sid to be Lipschitz t point x 0 I if there exists K 0 > 0 such tht ϕ(x) ϕ(x 0 ) K 0 x x 0 for ll x I. ( )
9 TOPICS IN FOURIER ANALYSIS 9 Corollry 4.4. Suppose f is Lipschitz 3 on [, π]. Then uniformly on [, π]. S N (f, x) f(x) s N Nottion: We denote by C(T ) the spce of ll -periodic continuous functions on R, nd by C k (T ) for k N {0}, the spce of ll -periodic functions on R which re k-times continuously differentible on R. Corollry 4.5. If f C (T ), then uniformly on R. Now obtin more generl result. S N (f, x) f(x) s N Theorem 4.6. Suppose f is -periodic function such tht the following limits exist t point x R: Then f(x+) := lim t 0+ f(x + t), f(x ) := lim t 0+ f(x t), f f(x + t) f(x+) (x+) := lim, f f(x ) f(x t) (x ) := lim. t 0+ t t 0+ t S N (f, x) f(x+) + f(x ) 2 s N. Proof. Since D N (t) = D N ( t), we hve nd S N (f, x) = = = = f(x t)d N (t)dt f(x t)d N (t)dt + f(x + t)d N (t)dt + 0 [f(x + t) + f(x t)]d N (t)dt π D N (t)dt = 2 D N (t)dt. 0 0 f(x t)d N (t)dt f(x t)d N (t)dt 3 A function ϕ : I C is sid to be Lipschitz on I if there exists K > 0 such tht ϕ(x) ϕ(x 0 ) K 0 x x 0 for ll x I.
10 0 M.T. NAIR Hence, for ny β R, S N (f, x) β = Tking β = f(x+)+f(x ) 2, we hve Thus, where A N = Note tht 0 [f(x + t) + f(x t) 2β]D N (t)dt. f(x + t) + f(x t) 2β = [f(x + t) f(x+)] [f(x ) f(x t)]. 0 S N (f, x) β = A N + B N, [f(x + t) f(x+)]d N (t)dt, B N = A = = = π [f(x + t) f(x+)]d N (t)dt [f(x + t) f(x+)] sin(n + )t 2 sin( t ) dt 2 { } { f(x + t) f(x+) t/2 t sin( t ) 2 0 [f(x ) f(x t)]d N (t)dt. } sin(n + 2 )tdt Since f(x+t) f(x+) t f (x+) s t 0+, there exists δ > 0 such tht 0 < t < δ = f(x + t) f(x+) f (x+) t = f(x + t) f(x+) t + f (x+). Hence, the function { } { } f(x + t) f(x+) t/2 t t sin( t ), t 0, 2 is bounded on (0, δ), nd hence, belongs to L (T ). Therefore,by Riemnn Lebesgue lemm, A N 0 s N. Similrly, we see tht, B N 0 s N. An immedite corollry: Corollry 4.7. If f C(T ) nd hs left nd right derivtive t point x, then S N (f, x) f(x) s N. The following result is known s locliztion lemm.
11 TOPICS IN FOURIER ANALYSIS LEMMA 4.8. For 0 < r < π nd x [, π], f(x t)d N (t)dt 0 s N. r t π Proof. Observe tht where r t π f(x t)d N (t)dt = g(x, t) = r t π g(x, t) sin(n + /2)tdt, { f(x t)/ sin(t/2), r t π, 0, t r. Since g(x, ) is integrble, by Riemnn Lebesgue lemm, g(x, t) sin(n + /2)tdt 0 s N. r t π Proof of Corollry 4.4 using locliztion lemm. Suppose f is Lipschitz t point x [, π] with Lipschitz constnt K x, i.e., there exists δ > 0 such tht f(x) f(x t) K x t whenever t < δ. Now, f(x) S N (f, x) = [f(x) f(x t)]d N (t)dt = [f(x) f(x t)]d N (t)dt 0 t <δ + [f(x) f(x t)]d N (t)dt δ t π By Lemm 4.8, δ t π [f(x) f(x t)]d N (t)dt 0 s N. Hence, for given ε > 0, there exists N 0 N such tht for ll N N 0, [f(x) f(x t)]d N (t)dt < ε/2. Also, But, 0 t <δ δ t π [f(x) f(x t)]d N (t)dt 0 t <δ f(x) f(x t) D N (t) dt,
12 2 M.T. NAIR f(x) f(x t) D N (t) dt K x t D N (t) dt, 0 t <δ 0 t <δ t D N (t) = t sin(n + )t 2 sin( t ) = 2 t/2 sin( t ) sin(n + )t 2M, where M is bound for t/2 sin( t ) on 0 < t δ. Hence, 2 [f(x) f(x t)]d N (t)dt 4MK xδ = 2MK xδ. π 0 t <δ We my tke δ such tht 2MK xδ π f(x) S N (f, x) < ε/2. Hence, [f(x) f(x t)]d N (t)dt 0 t <δ + [f(x) f(x t)]d N (t)dt δ t π < ε for ll N N 0. Exercise 4.9. Suppose f is -periodic nd Hölder continuous t x, i.e., there exist M > 0 nd α > 0 such tht f(x) f(y) M x y α for ll y [, π]. Then show tht S N (f, x) f(x) s N. Exercise 4.0. Suppose f is -periodic nd Hölder continuous on [, π], i.e., there exist M > 0 nd α > 0 such tht f(x) f(y) M x y α for ll x, y [, π]. Then show tht S N (f, x) f(x) uniformly. 5. Ce`sro summblity of Fourier series Theorem 5.. (Fejér s theorem) If f C(T ), then the Fourier series of f is uniformly Ce`sro summble on [, π], tht is, uniformly on [, π]. σ N (f, x) := N + S k (f, x) f(x) s N k=0 Recll tht S k (f, x) := k n= k ˆf(n)e inx = f(x t)d k (t)dt.
13 Hence, Thus, where σ N (f, x) = N + TOPICS IN FOURIER ANALYSIS 3 S k (f, x) = k=0 σ N (f, x) = K N (t) := N + { } f(x t) D k (t). N + f(x t)k N (t)dt, D k (t). Definition 5.2. The function K N (t) defined bove is clled the Fejér kernel. We observe tht Hence, k=0 π K N (t)dt =. f(x) σ N (f, x) = [f(x) f(x t)]k N (t)dt. For the proof of Theorem 5., we shll mke use of the following lemm. LEMMA 5.3. The following results hold. () For t 0, K N (t) = cos(n + )t N + cos t = N + k=0 sin 2 [(N + )t/2] sin 2. (t/2) (2) K N (t) is n even function nd K N (t) 0 for ll t [, π]. (3) For 0 < δ π, K N (t) ( ) N + sin 2. (δ/2) In prticulr, K N is positive nd K N (t) 0 s N uniformly on 0 < δ t π. Proof of Theorem 5.. Sine K N (t) is non-negtive function (see Lemm 5.3), we hve f(x) σ N (f, x) f(x) f(x t) K N (t)dt. Let ε > 0 be given. Since f is uniformly continuous, there exists δ (0, π] such tht Hence, f(x) f(y) < ε whenever x y < δ. f(x) f(x t) K N (t)dt < ε K N (t)dt = ε. t <δ t <δ
14 4 M.T. NAIR Also, since f is uniformly bounded there exists M > 0 such tht f(y) M for ll x [, π]. f(x) f(x t) K N (t)dt 2M K N (t)dt. t δ t δ We hve observed in Lemm 5.3 tht K N (t) is n even function nd K N (t) 0 s N uniformly on [δ, π]. Hence, there exists N 0 such tht f(x) f(x t) K N (t)dt 4M K N (t)dt < ε for ll N N 0. t δ Hence, f(x) σ N (f, x) f(x) f(x t) K N (t)dt < 2ε for ll N N 0. Note tht N 0 is independent of the point x. Thus, we hve proved tht S N (f, x) f(x) s N uniformly for x [, π]. Remrk 5.4. The proof of Theorem 5. revels more: Nottion: If f is pece-wise continuous nd -periodic, nd continuous t x, then σ N (f, x) f(x) s N. u n (x) := e inx, n Z. AC(T ) denotes the vector spce of ll -periodic complex vlued functions defined on R which re bsolutely continuous. spn{u n : n Z} is the spce (over C) of ll trigonometric polynomils. Corollry 5.5. The spce of ll trigonometric polynomils is dense in C(T ) with respect to the uniform norm, nd hence dense in L p (T ) w.r.t. p for p <. Proof. By Theorem 5., spce of ll trigonometric polynomils is dense in C(T ) with respect to the uniform norm. Hence, for ny f C(T ), there exists sequence (f n ) of trigonometric polynomils such tht s n. f f n p p = δ f(x) f n (x) p dx f f n p 0 Corollry 5.6. If f L 2 (T ) for some p < nd ˆf(n) = 0 for ll n Z, then f = 0.e.
15 TOPICS IN FOURIER ANALYSIS 5 Proof. Suppose f L 2 (T ) for some p < nd ˆf(n) = 0 for ll n Z, i.e., f, u n = 0 for ll n Z. By Corollry 5.5, it follows tht f L 2 = 0. Hence, f = 0.e. Corollry 5.7. If f C(T ) such tht ˆf(n) = 0 for ll n Z, then f = 0. prticulr, if f, g C(T ) such tht ˆf(n) = ĝ(n) for ll n Z, then f = g. In Proof. Suppose f C(T ) such tht ˆf(n) = 0 for ll n Z. Thus, f, u n L 2 = 0 for ll n Z. Since C(T ) L 2 [, π], f L 2 [, π]. Hence by Corollry, f = 0.e. Since f is continuous, f = 0. The bove corollry shows: The Fourier coefficients of f C(T ) determines f uniquely. Corollry 5.8. If f C 2 (T ), then f (n) = (in) 2 ˆf(n) for ll n Z. In prticulr, ˆf(n) = o( ), nd the Fourier series of f converges uniformly to f. n 2 Proof. Let f C 2 (T ). Then, using integrtion by prts, we obtin, ˆf(n) = = f(x)e inx dx ] [f(x) e inx π in = f (x)e inx dx in = ] [f (x) e inx π in in = (in) 2 f (x)e inx dx. [ e f inx ] (x) dx in f (x) in [ e inx Hence, f (n) = (in) 2 ˆf(n) for ll n Z. In prticulr, ˆf(n) = o(/n 2 ). Therefore, n Z ˆf(n) converges, nd hence the Fourier series converges uniformly. Suppose S N (f, x) g(x) uniformly. Then it follows tht g C(T ) nd ĝ(n) = ˆf(n) for ll n Z. Therefore, by Corollry 5.7, g = f. in ] dx Following the sme rguments s in the proof of Corollry 5.8, we obtin:
16 6 M.T. NAIR Corollry 5.9. If f C (T ) nd f is bsolutely continuous, then f exists lmost everywhere, f L [, π] nd f (n) = (in) 2 ˆf(n) for ll n Z, nd the Fourier series of f converges uniformly to f. More generlly, Theorem 5.0. If f C k (T ) nd f (k ) is bsolutely continuous for some k N, then f (k) exists lmost everywhere f (k) L (T ) nd f (k) (n) = (in) k ˆf(n) for ll n Z. Proof of Lemm 5.3. We hve K N (t) := D k (t) N + where D k (t) = Hence, But, Therefore, (N + )K N (t) = Subtrcting the (2) from (), Thus, k=0 k=0 sin(k + /2)t sin t/2 e i(k+/2)t e i(k+/2)t e it/2 e it/2 e i(k+/2)t e i(k+/2)t e it/2 e it/2 [e it ](N + )K N (t) = [ e it ](N + )K N (t) = [2 cos t 2](N + )K N (t) = 2 = sin(k + /2)t sin t/2 e i(k+/2)t e i(k+/2)t k=0 = ei(k+)t e ikt, e it = eikt e i(k+)t e it, e it/2 e it/2 [e i(k+)t e ikt ], () k=0 [e ikt e i(k+)t ] (2) k=0 [cos(k + )t cos kt] = 2[cos(N + )t ] k=0 K N (t) = cos(n + )t N + cos t = N + sin 2 [(N + )t/2] sin 2. (t/2)
17 TOPICS IN FOURIER ANALYSIS 7 Thus, we hve proved (). It is cler tht K N (t) is even nd non-negtive. Now, for 0 < δ π, sin 2 (t/2) sin δ/2, so tht Thus, δ K N (t)dt = N + δ K N (t)dt δ sin 2 [(N + )t/2] sin 2 dt (t/2) N + π δ δ sin 2 (δ/2) dt. (N + ) sin 2 (δ/2) 0 s N. Exercise 5.. Suppose f is piecewise continuous nd -periodic. If ˆf(n) = 0 for ll n Z, then f(x) = 0 for ll x t which f is continuous. Exercise 5.2. If f C (T ), then ˆf(n) = O(/n). More generlly, f C k (T ) implies ˆf(n) = O(/n k ). Exmple 5.3. Let f(x) = x 2, x π. Note tht ˆf(0) = so tht ˆf(0) = π 2 /3, nd for n 0, Hence, for n 0, Thus, ˆf(n) = = ] [x 2 e inx π x 2 e inx dx in ] [x 2 e inx π x 2 dx = 2 π3 3 2x e inx [2x e inx in dx ] π = in ( in) 2 ] = [2x e inx π = [2x e inx ( in) 2 n 2 = 4π ( )n n 2 x 2 π n 0 ( ) n n 2 ˆf(n) = 2 ( )n n 2. e inx = π n= Since the series of coefficients converges bsolutely, we hve f(x) = π n= ] π = 4π einx n 2 ( ) n cos nx. n 2 ( ) n cos nx. n 2
18 8 M.T. NAIR Tking x = 0, Thus, Tking x = π, Thus, 0 = π n= ( ) n+ n= π 2 = π n= n 2 ( ) n n 2 n= ( ) n n 2. = π2 2. ( ) n = π n. 2 n 2 = π2 6. n= Exmple 5.4. Let f(x) = x, x [, π]. Note tht ˆf(0) = 0 nd for n 0, ˆf(n) ] = xe inx dx = [x e inx π e inx [ ] in in dx = x e inx π. in Thus, so tht Hence, x = ˆf(n) = ] [x e inx π = in in [πe inπ + πe inπ ] = einπ in ˆf(n) = ( )n inπ = ( )n+ inπ. ( ) n+ e inx = ( ) n+ [e inx e inx ] = 2 ( ) n+ sin nx in in n n= n= n 0 Tking x = π/2 we obtin the Mdhv-Nīlkṅth series π 4 = n= ( ) n+ sin nπ n 2 = n=0 ( ) n 2n Divergence of Fourier series Theorem 6.. There exists f C(T ) such tht {S N (f, 0)} is unbounded; in prticulr, the Fourier series of f does not converge to f t 0. For this we shll mke use of the Uniform Boundedness Principle from Functionl Anlysis:
19 TOPICS IN FOURIER ANALYSIS 9 Theorem 6.2. (Uniform Boundedness Principle) Let (T n ) be sequence of continuous liner trnsformtions from Bnch spce X to normed liner spce Y. If for ech u X, the set { T n u : n N} is bounded, then there exists M > 0 such tht Let sup T n u M n N. u ϕ N (f) := S N (f, 0), f C(T ). We see tht ϕ N : C(T ) C is liner functionl for ech N N nd ϕ N (f) = S N (f, 0) = π ( f( t)d N (t)dt π ) f D N (t) dt. Hence, ech ϕ N is continuous liner functionl on C(T ) nd In fct, sup ϕ N (f) u D N (t) dt. Theorem 6.3. nd sup ϕ N (f) = D N (t) dt u D N (t) dt 8 π k= k. Proof of Theorem 6.. By Theorem 6.3, there does not exist M > 0 such tht sup u ϕ N (f) M for ll n N. Hence, by Theorem 6.2, there exists f C(T ) such tht { ϕ n (f) : n N} is unbounded. Hence, there exists f C(T ) such tht Fourier series of f diverges t 0. Remrk 6.4. Let D := {f C(T ) : {S N (f, 0)} does not converge}. Then C(T ) \ D is subspce of C(T ), nd by Theorem 6., C(T ) \ D is proper subspce. Hence, C(T ) \ D is nowhere dense, nd hence D is dense in C(T ). Thus, we hve proved the following: There exists dense subset D of C(T ) such tht for ech f D, the Fourier series of f diverges t 0. In plce of 0, we cn tke ny point in [, π] nd obtin similr divergence result t tht point.
20 20 M.T. NAIR 7. Uniqueness Theorem 7.. (Uniqueness of Fourier series) Let f L (T ). If ˆf(n) = 0 for ll n N, then f = 0.e. Proof. Let g(t) = t f(x)dx, t [, π]. Then, by Fundmentl Theorem of Lebesgue Integrtion (FTLI), g is bsolutely continuous, g exists.e. nd g = f.e. Note tht g(t + ) g(t) = Hence g is -periodic. Let Then we see tht Tking we hve t+ t h(t) = h(t + ) h(t) = G(t) = t G(t + ) G(t) = t t+ t f(x)dx = g(x)dx, g(x)dx = [g(x) ĝ(0)]dx, Thus, G is -periodic, nd G = f.e.hence, f(x)dx = ˆf(0) = 0. t [, π]. g(x)dx = ĝ(0). t [, π], [g(x) ĝ(0)]dx = [ĝ(0) ĝ(0)] = 0. ˆf(n) = Ĝ (n) = (in) 2 Ĝ(n) for ll n 0. Therefore, Ĝ(n) = 0 for ll n 0. Hence, by Corollry 5.9, G(x) = Ĝ(0), nd hence G = 0, so tht f = 0.e. Recll tht for ech f L (T ), ˆf(n) 0 s n. Thus, ( ˆf(n)) c 0 (Z) for every f L [, π]. Nottion: c 0 (Z) is the set of ll sequences ϕ : Z C such tht ϕ(n) 0 s n.
21 TOPICS IN FOURIER ANALYSIS 2 Theorem 7.2. The mp F : L (T ) c 0 (Z) be defined by F(f) = ( ˆf(n)), f L (T ) is n injective continuous liner opertor which is not onto. Proof. For f, g L (T ) nd α C, we hve (f + g)(n)) = ˆf(n) + ĝ(n) for ll n Z, αf(n)) = α ˆf(n). for ll n Z, Thus, F is liner opertor. Note tht ˆf(n) = π f(x)e inx dx Thus, if we endow L [, π] with the norm f L := f(x) dx, f L (T ), f(x) dx. then we see tht F is continuous liner opertor. By Theorem 7., F is injective. So, it remins to show tht F is not onto. If it is onto, then my Bounded Inverse Theorem, its inverse is lso continuous. Note tht F(D N ) = { D N (n)} nd D N (n) = for n N so tht (F(D N )) = for ll N N. If F is onto, then, by Bounded Inverse Theorem 4 its inverse F is continuous so tht ( D N ) = { F (F(D N ) } is bounded, which is not true. By the bove theorem there exists (c n ) c 0 (Z) such tht there is no f L ( T ) stisfying c n = ˆf(n) for ll n N. It is nturl urge to hve n exmple of such sequence c n ). We shll show tht c n ) with { / log(n), n 2, c n = 0, n, is such sequence. This is consequence of the first prt of the following theorem. 4 If X nd Y re Bnch spces nd T : X Y is continuous bijective liner opertor, then T is lso continuous.
22 22 M.T. NAIR Theorem 7.3. Let f L (T ). Then n 0 ˆf(n) n einx converges t every x R nd b b f(x)dx = n Z ˆf(n)e inx dx. For proving the bove theorem we shll mke use of the following theorem: Theorem 7.4. (Jordn) If f L (T ) is of bounded vrition 5, then for every x R, In prticulr, if f AC(T ), then for every x R. It cn be esily shown tht: S N (f, x) (f(x+) + f(x ) s N. 2 S N (f, x) f(x) s N Every bsolutely continuous function is of bounded vrition. Proof of Theorem 7.3. Let g(t) = t [f(x) ˆf(0)]dx. Then g is bsolutely continuous nd g is -periodic, i.e., g AC(T ), g L (T ) nd g = f ˆf(0).e. Therefore, ĝ (n) = inĝ(n) for ll n 0 so tht By Jordn s theorem, g(x) = ĝ(0) + n 0 ĝ(n) = ˆf(n) in, n 0. ĝ(n)e inx = ĝ(0) + n 0 ˆf(n) in einx. In prticulr, n 0 ˆf(n) n einx converges. Also, g(x) g(y) = n 0 ˆf(n) in [einx e inx ] = n 0 ˆf(n) x y e int dt. 5 A function f : [, b] C is of bounded vrition if there exits κ > 0 such tht for every prtition x 0 < x < < x n = b, n k= f(x k+) f(x k κ.
23 TOPICS IN FOURIER ANALYSIS 23 But, g(x) g(y) = x g (t)dt = x [f(t) ˆf(0)]dt = x y y y f(t)dt ˆf(0)(x y)dt. Hence, x b y f(t)dt = n Z ˆf(n)e int dt. This competes the theorem. Corollry 7.5. Let (c n ) be with c n = { / log(n), n 2, 0, n, Then there is no f L (T ) stisfying c n = ˆf(n) for ll n N. Proof. Suppose f L (T ) stisfying c n = ˆf(n) for ll n N. Then by the first prt of Theorem 7.3, the series e inx n=2 converges. In prticulr, tking x = 0, n log n n=2 n log n converges, which is not true (e.g., by integrl test). 8. Convolution Given f, g L (T ), it cn be shown tht (x, y) f(x y)g(y) is mesurble on R R, nd hence, for ech x [, π], the integrl converges. f(x y)g(y)dy Definition 8.. The convolution of f, g L (T ) is defined by (f g)(x) = f(x y)g(y)dy, x [, π]. We observe the following:
24 24 M.T. NAIR () f g L (T ) nd f g f g : f(x y) g(y) dydx = = [ ] f(x y) dx g(y) dy f g(y) dy = () 2 f g. (2) f g = g f: f(x y)g(y)dy = = = x+π x f(τ)g(x τ)dy f(τ)g(x τ)dy f(τ)g(x τ)dy. (3) f g(n) = ĝ(n ˆf(n) for ll n Z: f g(n) = (f g)(x)e inx dx, (f g)(x)e inx = = f(x y)g(y)e inx dy f(x y)g(y)e in(x y) e iny dy, (f g)(x)e inx dx = = = [ [ = () 2 ˆf(n)ĝ(n). ] f(x y)g(y)e in(x y) e iny dy dx ] f(x y)e in(x y) dx g(y)e iny dy ˆf(n)g(y)e iny dy
25 (4) (f g) h = f (g h): (f g)(x y)h(y)dy = TOPICS IN FOURIER ANALYSIS 25 = = = [ [ f(x τ) ] f(x y t)g(t)dt h(y)dy ] f(x τ)g(τ y)dτ h(y)dy [ ] g(τ y)h(y)dy dτ f(x τ)(g h)(τ)dτ = () 2 [f (g h)](x). Theorem 8.2. With respect to convolution s multipliction, L (T ) is Bnch lgebr. However, The Bnch lgebr L (T ) does not hve multiplictive identity: Suppose there exists ϕ L ( T ) such tht f ϕ = f for ll f L (T ). Then ˆf(n) ˆϕ(n) = ˆf(n) for ll f L (T ). Hence, ˆϕ(n) = whenever ˆϕ(n) 0. But, ˆϕ(n) 0 s n. Hence, there exists N N such tht ˆϕ(n) = 0 for ll n N. Let f L (T ) be such tht ˆf(n) 0 for some n N. Then for such n, we obtin which is contrdiction. 0 = ˆf(n) ˆϕ(n) = ˆf(n) 0, There exists (ϕ n ) in L (T ) such tht f ϕ n f 0. In fct, we hve the following. Theorem 8.3. Let K n be the Fejér kernel. Then, for every f L (T ), f K n f 0 s N. Proof. Recll tht if g C(T ), then g ϕ n g 0. Let f L (T ) nd ε > 0 be given. Let g C(T ) be such tht f g < ε, nd let N N be such tht
26 26 M.T. NAIR g ϕ n g < ε for ll n N. Then, for n N, we hve f K n f f K n g K n + g K n g + g f 3ε. (f g) K n + ε + ε (f g) K n + 2ε f g K n + 2ε The lst inequlity is due the fct tht K n(t) dt = π K n(t)dt =. The norm on L 2 (T ) is given by Observe: f 2 = 9. L 2 -Theory ( π /2 f(x) dx) 2. () If u n (x) := e inx, n Z, then the set {u n : n Z} is n orthonorml set nd spn{u n : n Z}, the spce of ll trigonometric polynomils, is dense in L 2 (T ). (2) Let f L 2 (T ) nd S N (f) := S N (f, ). Then () S N (f) = f, u n u n. n= N (b) S N (f) 2 2 = n= N ˆf(n) 2. (c) f S N (f) 2 2 = f 2 2 S N (f) 2 2 = f 2 2 (d) (Bessel s inequlity): n= N n= N ˆf(n) 2. ˆf(n) 2 f 2 2 N N. In prticulr, ˆf(n) 0 s n. (e) f S N (f), u n = 0 n N}. (f) f S N (f) 2 f g g spn{u n : n Z, n N}. Only (2)(f) requires some explntion. Note tht for every g spn{u n : n Z, n N}, f g 2 2 = f S N (f) S N (f) g 2 2, becuse, in view of (2)(e), f S N (f), S N (f) g = 0.
27 TOPICS IN FOURIER ANALYSIS 27 The result in (2)(d) gives nother proof for the Riemnn Lebesgue lemm, becuse L 2 (T ) is dense in L (T ). In view of (2)(f), f S N (f) 2 = inf{ f g 2 : g X N }, where X N := spn{u n : n Z, n N}. In other words, S N (f) is the (unique!) best pproximtion of f from X N. Uniqueness is due to the following: Suppose ϕ be in X N such tht Then, f ϕ 2 = inf{ f g 2 : g X N }. f ϕ 2 2 = f S N (f) S N (f) ϕ 2 2 since f S N (f), S N (f) ϕ = 0 so tht we obtin S N (f) ϕ 2 = 0. Theorem 9.. Let f L 2 (T ). Then we hve the following: () spn{u n : n Z} is n orthonorml bsis of L 2 (T ), i.e., mximl orthonorml set in L 2 (T ). (2) (Fourier expnsion) f = ˆf(n)u n in L 2 (T ). n Z (3) (Prsevl s formul) f 2 2 = n Z ˆf(n) 2. Proof. () It cn be seen tht f, u n = 0 for ll n Z implies f = 0 in L 2 (T ). Hence, spn{u n : n Z} is mximl orthonorml set in L 2 (T ). (3) We observe tht, for n > m, S n (f) S m (f) 2 n k m ˆf(n) 2. Hence, {S n (f)} is cuchy sequence in L 2 (T ). Therefore, it converges to some g L 2 (T ). It cn be seen tht ĝ(n) = ˆf(n) for ll n Z. Therefore, g = f in L 2 (T ). (3) Follows from (2). Now, we give nother proof for the following theorem: Theorem 9.2. If f C (T ), then the Fourier series of f converges bsolutely, nd uniformly to f. Further, ( ) f S N (f, ) = O. N
28 28 M.T. NAIR Proof. Hence, ˆf(n) = n 0 n 0 f C (T ) = ˆf (n) = in ˆf(n). n in ˆf(n) = ( n ˆf (n) n 0 n 0 ) /2 n ˆf 2 2 = π 3 ˆf 2. Hence the Fourier series of f converges bsolutely, nd uniformly to continuous function, sy g C(T ). Since ĝ(n) = ˆf(n) for ll n Z, we obtin g = f. We lso observe tht, for ll x R, f(x) S N (f, x) n >N This completes the proof. ˆf(n) = n 0 n ˆf (n) References n 2 n >N /2 ˆf 2 ˆf 2 N. [] R. Bhti, Fourier Series, TRIM, Hindustn Book Agency, 993 (Second Edition: 2003). [2] S. Kesvn, Lectures on Fourier Series, Notes: Third Annul Foundtion School, December, [3] M.T. Nir, Mesure nd Integrtion, Notes for the MSc. Course, Jn-my, 204. [4] R. Rdh & S. Thngvelu, Fourier Series, Web-Course, NPTEL, IIT Mdrs, 203. [5] B. O. Turesson, Fourier Anlysis, Distribution Thoery, nd Wvelets, Lecture Notes, Mrch, 202. Deprtment of Mthemtics, I.I.T. Mdrs, Chenni , INDIA E-mil ddress: mtnir@iitm.c.in
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 informationFourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )
Fourier series. Preliminry mteril on inner products. Suppose V is vector spce over C nd (, ) is Hermitin inner product on V. This mens, by definition, tht (, ) : V V C nd tht the following four conditions
More informationThe Banach algebra of functions of bounded variation and the pointwise Helly selection theorem
The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f
More informationf(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all
3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationReview of Riemann Integral
1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationMATH 174A: PROBLEM SET 5. Suggested Solution
MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous rel-vlued function on I), nd let L 1 (I) denote the completion
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationA PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES
INROADS Rel Anlysis Exchnge Vol. 26(1), 2000/2001, pp. 381 390 Constntin Volintiru, Deprtment of Mthemtics, University of Buchrest, Buchrest, Romni. e-mil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL
More informationProblem Set 4: Solutions Math 201A: Fall 2016
Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true
More informationMATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.
MATH 409 Advnced Clculus I Lecture 19: Riemnn sums. Properties of integrls. Drboux sums Let P = {x 0,x 1,...,x n } be prtition of n intervl [,b], where x 0 = < x 1 < < x n = b. Let f : [,b] R be bounded
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 informationf p dm = exp Use the Dominated Convergence Theorem to complete the exercise. ( d φ(tx))f(x) dx. Ψ (t) =
M38C Prctice for the finl Let f L ([, ]) Prove tht ( /p f dm) p = exp p log f dm where, by definition, exp( ) = To simplify the problem, you my ssume log f L ([, ]) Hint: rewrite the left hnd side in form
More informationNOTES AND PROBLEMS: INTEGRATION THEORY
NOTES AND PROBLEMS: INTEGRATION THEORY SAMEER CHAVAN Abstrct. These re the lecture notes prepred for prticipnts of AFS-I to be conducted t Kumun University, Almor from 1st to 27th December, 2014. Contents
More informationRegulated functions and the regulated integral
Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed
More informationChapter 4. Lebesgue Integration
4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.
More informationHilbert Spaces. Chapter Inner product spaces
Chpter 4 Hilbert Spces 4.1 Inner product spces In the following we will discuss both complex nd rel vector spces. With L denoting either R or C we recll tht vector spce over L is set E equipped with ddition,
More informationFUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (
FUNDAMNTALS OF RAL ANALYSIS by Doğn Çömez III. MASURABL FUNCTIONS AND LBSGU INTGRAL III.. Mesurble functions Hving the Lebesgue mesure define, in this chpter, we will identify the collection of functions
More information2 Fundamentals of Functional Analysis
Fchgruppe Angewndte Anlysis und Numerik Dr. Mrtin Gutting 22. October 2015 2 Fundmentls of Functionl Anlysis This short introduction to the bsics of functionl nlysis shll give n overview of the results
More informationAppendix to Notes 8 (a)
Appendix to Notes 8 () 13 Comprison of the Riemnn nd Lebesgue integrls. Recll Let f : [, b] R be bounded. Let D be prtition of [, b] such tht Let D = { = x 0 < x 1
More informationSTUDY GUIDE FOR BASIC EXAM
STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There
More informationON THE C-INTEGRAL BENEDETTO BONGIORNO
ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives
More informationHomework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.
Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points
More informationEntrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim
1. Let n be positive integers. ntrnce xm, Rel Anlysis September 1, 29 Solve exctly 6 out of the 8 problems. Sketch the grph of the function f(x): f(x) = lim e x2n. Compute the following nd justify your
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More informationSOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set
SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL 28 Nottion: N {, 2, 3,...}. (Tht is, N.. Let (X, M be mesurble spce with σ-finite positive mesure µ. Prove tht there is finite positive mesure ν on (X, M such
More informationIntroduction to Real Analysis (Math 315) Martin Bohner
ntroduction to Rel Anlysis (Mth 315) Spring 2005 Lecture Notes Mrtin Bohner Author ddress: Version from April 20, 2005 Deprtment of Mthemtics nd Sttistics, University of Missouri Roll, Roll, Missouri 65409-0020
More informationFunctional Analysis I Solutions to Exercises. James C. Robinson
Functionl Anlysis I Solutions to Exercises Jmes C. Robinson Contents 1 Exmples I pge 1 2 Exmples II 5 3 Exmples III 9 4 Exmples IV 15 iii 1 Exmples I 1. Suppose tht v α j e j nd v m β k f k. with α j,
More informationAnalytical Methods Exam: Preparatory Exercises
Anlyticl Methods Exm: Preprtory Exercises Question. Wht does it men tht (X, F, µ) is mesure spce? Show tht µ is monotone, tht is: if E F re mesurble sets then µ(e) µ(f). Question. Discuss if ech of the
More informationMath 324 Course Notes: Brief description
Brief description These re notes for Mth 324, n introductory course in Mesure nd Integrtion. Students re dvised to go through ll sections in detil nd ttempt ll problems. These notes will be modified nd
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationBest Approximation in the 2-norm
Jim Lmbers MAT 77 Fll Semester 1-11 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the -norm Suppose tht we wish to obtin function f n (x) tht is liner combintion
More informationChapter 6. Riemann Integral
Introduction to Riemnn integrl Chpter 6. Riemnn Integrl Won-Kwng Prk Deprtment of Mthemtics, The College of Nturl Sciences Kookmin University Second semester, 2015 1 / 41 Introduction to Riemnn integrl
More informationChapter 6. Infinite series
Chpter 6 Infinite series We briefly review this chpter in order to study series of functions in chpter 7. We cover from the beginning to Theorem 6.7 in the text excluding Theorem 6.6 nd Rbbe s test (Theorem
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More informationThe Bochner Integral and the Weak Property (N)
Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationIntroduction to Some Convergence theorems
Lecture Introduction to Some Convergence theorems Fridy 4, 005 Lecturer: Nti Linil Notes: Mukund Nrsimhn nd Chris Ré. Recp Recll tht for f : T C, we hd defined ˆf(r) = π T f(t)e irt dt nd we were trying
More informationPROBLEMS AND NOTES: UNIFORM CONVERGENCE AND POLYNOMIAL APPROXIMATION
PROBLEMS AND NOTES: UNIFORM CONVERGENCE AND POLYNOMIAL APPROXIMATION SAMEER CHAVAN Abstrct. These re the lecture notes prepred for the prticipnts of IST to be conducted t BP, Pune from 3rd to 15th November,
More information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
More informationMath 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
More informationPresentation Problems 5
Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
More informationa n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction.
MAS221(216-17) Exm Solutions 1. (i) A is () bounded bove if there exists K R so tht K for ll A ; (b) it is bounded below if there exists L R so tht L for ll A. e.g. the set { n; n N} is bounded bove (by
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More informationCalculus in R. Chapter Di erentiation
Chpter 3 Clculus in R 3.1 Di erentition Definition 3.1. Suppose U R is open. A function f : U! R is di erentible t x 2 U if there exists number m such tht lim y!0 pple f(x + y) f(x) my y =0. If f is di
More informationA product convergence theorem for Henstock Kurzweil integrals
A product convergence theorem for Henstock Kurzweil integrls Prsr Mohnty Erik Tlvil 1 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2G1 pmohnty@mth.ulbert.c etlvil@mth.ulbert.c
More informationA BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int
A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure
More informationA HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction
Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly
More informationProf. Girardi, Math 703, Fall 2012 Homework Solutions: 1 8. Homework 1. in R, prove that. c k. sup. k n. sup. c k R = inf
Knpp, Chpter, Section, # 4, p. 78 Homework For ny two sequences { n } nd {b n} in R, prove tht lim sup ( n + b n ) lim sup n + lim sup b n, () provided the two terms on the right side re not + nd in some
More informationarxiv: v1 [math.ca] 7 Mar 2012
rxiv:1203.1462v1 [mth.ca] 7 Mr 2012 A simple proof of the Fundmentl Theorem of Clculus for the Lebesgue integrl Mrch, 2012 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
More informationThis is a short summary of Lebesgue integration theory, which will be used in the course.
3 Chpter 0 ntegrtion theory This is short summry of Lebesgue integrtion theory, which will be used in the course. Fct 0.1. Some subsets (= delmängder E R = (, re mesurble (= mätbr in the Lebesgue sense,
More informationChapter 28. Fourier Series An Eigenvalue Problem.
Chpter 28 Fourier Series Every time I close my eyes The noise inside me mplifies I cn t escpe I relive every moment of the dy Every misstep I hve mde Finds wy it cn invde My every thought And this is why
More informationACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2.
ACM 05: Applied Rel nd Functionl Anlysis. Solutions to Homework # 2. Andy Greenberg, Alexei Novikov Problem. Riemnn-Lebesgue Theorem. Theorem (G.F.B. Riemnn, H.L. Lebesgue). If f is n integrble function
More informationPhil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015
Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
More informationThe heat kernel on R n
The het kernel on Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto My 28, 24 Nottion For f L (, we define ˆf : C by ˆf(ξ = (F f(ξ = f(xe 2πiξx dx, ξ. The sttement of the Riemnn-Lebesgue
More informationChapter 22. The Fundamental Theorem of Calculus
Version of 24.2.4 Chpter 22 The Fundmentl Theorem of Clculus In this chpter I ddress one of the most importnt properties of the Lebesgue integrl. Given n integrble function f : [,b] R, we cn form its indefinite
More informationBest Approximation. Chapter The General Case
Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given
More informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More informationarxiv:math/ v2 [math.ho] 16 Dec 2003
rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,
More information1. On some properties of definite integrals. We prove
This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.
More information1 The Riemann Integral
The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re
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 informationApproximation of functions belonging to the class L p (ω) β by linear operators
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 3, 9, Approximtion of functions belonging to the clss L p ω) β by liner opertors W lodzimierz Lenski nd Bogdn Szl Abstrct. We prove
More informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
More informationMAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL
MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL DR. RITU AGARWAL MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY, JAIPUR, INDIA-302017 Tble of Contents Contents Tble of Contents 1 1. Introduction 1 2. Prtition
More informationON A CONVEXITY PROPERTY. 1. Introduction Most general class of convex functions is defined by the inequality
Krgujevc Journl of Mthemtics Volume 40( (016, Pges 166 171. ON A CONVEXITY PROPERTY SLAVKO SIMIĆ Abstrct. In this rticle we proved n interesting property of the clss of continuous convex functions. This
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More informationarxiv: v1 [math.ca] 11 Jul 2011
rxiv:1107.1996v1 [mth.ca] 11 Jul 2011 Existence nd computtion of Riemnn Stieltjes integrls through Riemnn integrls July, 2011 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
More informationT b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.
Rel Vribles, Fll 2014 Problem set 5 Solution suggestions Exerise 1. Let f be bsolutely ontinuous on [, b] Show tht nd T b (f) P b (f) f (x) dx [f ] +. Conlude tht if f is in AC then it is the differene
More informationc n φ n (x), 0 < x < L, (1) n=1
SECTION : Fourier Series. MATH4. In section 4, we will study method clled Seprtion of Vribles for finding exct solutions to certin clss of prtil differentil equtions (PDEs. To do this, it will be necessry
More informationThe Riemann Integral
Deprtment of Mthemtics King Sud University 2017-2018 Tble of contents 1 Anti-derivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Anti-derivtive Function Definition Let f : I R be function
More informationLecture 1: Introduction to integration theory and bounded variation
Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You
More informationThe Henstock-Kurzweil integral
fculteit Wiskunde en Ntuurwetenschppen The Henstock-Kurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More informationFor a continuous function f : [a; b]! R we wish to define the Riemann integral
Supplementry Notes for MM509 Topology II 2. The Riemnn Integrl Andrew Swnn For continuous function f : [; b]! R we wish to define the Riemnn integrl R b f (x) dx nd estblish some of its properties. This
More informationFundamental Theorem of Calculus for Lebesgue Integration
Fundmentl Theorem of Clculus for Lebesgue Integrtion J. J. Kolih The existing proofs of the Fundmentl theorem of clculus for Lebesgue integrtion typiclly rely either on the Vitli Crthéodory theorem on
More informationLectures On Fourier Series. S. Kesavan Institute of Mathematical Sciences Chennai , INDIA
Lectures On Fourier Series S. Kesvn Institute of Mthemticl Sciences Chenni-6 113, INDIA Third Annul Foundtionl School - Prt I December 4 3, 6 Contents 1 Introduction 3 Orthonorml Sets 6 3 Vritions on the
More informationPreliminaries From Calculus
Chpter 1 Preliminries From Clculus Stochstic clculus dels with functions of time t, t T. In this chpter some concepts of the infinitesiml clculus used in the sequel re given. 1.1 Functions in Clculus Continuous
More information11 An introduction to Riemann Integration
11 An introduction to Riemnn Integrtion The PROOFS of the stndrd lemms nd theorems concerning the Riemnn Integrl re NEB, nd you will not be sked to reproduce proofs of these in full in the exmintion in
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
More informationIMPORTANT THEOREMS CHEAT SHEET
IMPORTANT THEOREMS CHEAT SHEET BY DOUGLAS DANE Howdy, I m Bronson s dog Dougls. Bronson is still complining bout the textbook so I thought if I kept list of the importnt results for you, he might stop.
More informationON AN INTEGRATION-BY-PARTS FORMULA FOR MEASURES
Volume 8 (2007), Issue 4, Article 93, 13 pp. ON AN INTEGRATION-BY-PARTS FORMULA FOR MEASURES A. ČIVLJAK, LJ. DEDIĆ, AND M. MATIĆ AMERICAN COLLEGE OF MANAGEMENT AND TECHNOLOGY ROCHESTER INSTITUTE OF TECHNOLOGY
More informationNotes on length and conformal metrics
Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued
More informationWeek 10: Riemann integral and its properties
Clculus nd Liner Algebr for Biomedicl Engineering Week 10: Riemnn integrl nd its properties H. Führ, Lehrstuhl A für Mthemtik, RWTH Achen, WS 07 Motivtion: Computing flow from flow rtes 1 We observe the
More informationHandout 4. Inverse and Implicit Function Theorems.
8.95 Hndout 4. Inverse nd Implicit Function Theorems. Theorem (Inverse Function Theorem). Suppose U R n is open, f : U R n is C, x U nd df x is invertible. Then there exists neighborhood V of x in U nd
More informationMain topics for the First Midterm
Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 2-3, Sections 4.1-4.8, nd Sections 5.1-5.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationReview on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.
Mth 20B Integrl Clculus Lecture Review on Integrtion (Secs. 5. - 5.3) Remrks on the course. Slide Review: Sec. 5.-5.3 Origins of Clculus. Riemnn Sums. New functions from old ones. A mthemticl description
More information1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q.
Chpter 6 Integrtion In this chpter we define the integrl. Intuitively, it should be the re under curve. Not surprisingly, fter mny exmples, counter exmples, exceptions, generliztions, the concept of the
More informationIntegration Techniques
Integrtion Techniques. Integrtion of Trigonometric Functions Exmple. Evlute cos x. Recll tht cos x = cos x. Hence, cos x Exmple. Evlute = ( + cos x) = (x + sin x) + C = x + 4 sin x + C. cos 3 x. Let u
More informationAdvanced Calculus I (Math 4209) Martin Bohner
Advnced Clculus I (Mth 4209) Spring 2018 Lecture Notes Mrtin Bohner Version from My 4, 2018 Author ddress: Deprtment of Mthemtics nd Sttistics, Missouri University of Science nd Technology, Roll, Missouri
More informationMapping the delta function and other Radon measures
Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support
More information2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals
2 Definitions nd Bsic Properties of Extended Riemnn Stieltjes Integrls 2.1 Regulted nd Intervl Functions Regulted functions Let X be Bnch spce, nd let J be nonempty intervl in R, which my be bounded or
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
Lecture 6: Line Integrls INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Anlysis Autumn 2012 August 8, 2012 Lecture 6: Line Integrls Lecture 6: Line Integrls Lecture 6: Line Integrls Integrls of complex
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More information