Functional Analysis I Solutions to Exercises. James C. Robinson

Size: px
Start display at page:

Download "Functional Analysis I Solutions to Exercises. James C. Robinson"

Transcription

1 Functionl Anlysis I Solutions to Exercises Jmes C. Robinson

2

3 Contents 1 Exmples I pge 1 2 Exmples II 5 3 Exmples III 9 4 Exmples IV 15 iii

4

5 1 Exmples I 1. Suppose tht v α j e j nd v m β k f k. with α j, β k K nd e j, f k E. Relbel β k nd f k so tht f j e j for j 1,..., n, nd f j / {e 1,..., e n } for j > n, i.e. v β k e k + n k1 m kn +1 k1 β k f k, with the understnding tht the first sum is zero if n, nd the second zero if n m. It follows tht or n n m α j e j β k e k β k f k, k1 kn +1 (α j β j )e j m α j e j + β k f k. kn +1 kn +1 Since E is linerly independent, it follows tht α j β j for j > n, from which n n, nd tht α j β j for j 1,..., n. So the expnsion is unique. 2. If x, y l lim (C) then x + y l lim (C) nd αx l lim (C), since lim (x n + y n ) lim x n + lim y n nd lim αx n α lim x n. n n n n n 1

6 2 1 Exmples I 3. Write x p l p j x j p j x j p α x j α. Hölder s inequlity with exponents nd b yields 1/ x p l x p j (p α) x j αb j j 1/b x p α l (p α) x α l αb. We wnt to choose α, nd conjugte exponents, b ( 1 + b 1 1) so tht (p α) q nd αb r, so tht the fctors on the right re powers of x l q nd x l r. Thus b r/α; since, b re conjugte it follows tht r/(r α), nd then the condition tht (p α) q gives α (p q)r/(r q), (r q)/(r p), b (r q)/(p q). The result follows s stted on substituting for α. 4.(i) If there exist, b with < b such tht x 1 x 2 b x 1 then while (ii) if 1 b x 2 x 1 1 x 2, x 1 x 2 b x 1 nd α x 2 x 3 β x 2 then α x 1 x 3 bβ x Since (by the previous question) being equivlent is n equivlence reltion (!), we only need to show tht 2 nd re equivlent to 1.

7 Exmples I 3 We hve x j 2 x j 2 n x j 2, which gives x 2 x 1 n x 2, nd mx x j,...,n x j n mx,...,n x j, i.e. x x 1 n x. 6. First we show tht if f is continuous nd K is closed then f 1 (K) {x X : f(x) K} is closed. (In fct this is in the proof of Corollry 3.12 in the notes.) Tke x n f 1 (K), nd suppose tht x n x; since f is continuous, f(x n ) f(x). But f(x n ) K, nd K is closed, so f(x) K. It follows tht x f 1 (K), nd so f 1 (K) is closed. Now suppose tht whenever K is closed, f 1 (K) is closed. Tke x n X with x n x, nd suppose tht f(x n ) f(x). Then for some subsequence x nj, we must hve f(x nj ) f(x) > ɛ. So f(x nj ) is contined in the closed set Z Y \ B(f(x), ɛ), where B(f(x), ɛ) {y Y : y f(x) Y < ɛ} is open. It follows tht f 1 (Z) is closed. Since f(x nj ) Z, x nj f 1 (Z); since x nj x nd f 1 (Z) is closed, it follows tht x f 1 (Z), so tht f(x) f(x) > ɛ, clerly contrdiction. 7. Let Y be closed subset of the compct set K. If y n Y then y n K, so there is subsequence y nj such tht y nj y K. Since Y is closed, y Y, nd so Y is compct. 8. If {u n } is Cuchy sequence in U then, since U V nd the norm on U is simply the restriction of the mp u u V to U, it follows tht {u n } is lso Cuchy sequence in V. Since V is complete, u n u for some u V. But since U is closed, we know tht if u n u then u U. So U is complete.

8 4 1 Exmples I 9. As it stnds the question is mbiguous, since one needs to specify norm on c (K). To be interesting the question requires the l norm; ny element of l p with p < must be n element of c (K). To show tht c (K) (with the l norm) is complete, we will first show tht l (K) is complete (this cse ws omitted from the proof of Proposition 4.5 in the notes, put the proof is simpler), nd then tht c (K) is closed, which will show tht c (K) is complete by the previous question. So first suppose tht x k (x k 1, xk 2, ) is Cuchy sequence in l (K). Then for every ɛ > there exists n N ɛ such tht x n x m p l sup x n j x m j < ɛ for ll n, m N ɛ. (1.1) j In prticulr {x k j } k1 is Cuchy sequence in K for every fixed j. Since K is complete (recll K R or C) it follows tht for ech k N x k j k for some k R. Set ( 1, 2, ). We wnt to show tht l nd lso tht x k l s k. First, since {x k } is Cuchy we hve from (1.1) tht x n x m l < ɛ for ll n, m N ɛ, nd so Letting m we obtin sup x n j x m j ɛ. j sup x n j j ɛ, j nd so x k l. But since l is vector spce nd x k l, this implies tht l nd x k l ɛ. Now tke x n c (K) such tht x n x in l. Suppose tht x / c (K). Then there exists δ > nd sequence n j such tht x nj > δ for every j. Now choose N lrge enough tht x n x l < δ/2 for ll n N. In prticulr it follows tht x n n j > δ/2 for ll n N (nd every j); but then x n / c (K), contrdiction.

9 2 Exmples II 1. If x (x 1, x 2,...) l 2 (R), then x j 2 <. So x (x 1, x 2,..., x n,,,...) 2 l x 2 j 2 jn+1 s n. So l f (R) is dense in l 2 (R). 2. If x X Y then there exist ɛ X nd ɛ Y such tht {y B : y x < ɛ X } X nd {y B : y x < ɛ Y } Y. Tking ɛ min(ɛ X, ɛ Y ) it follows tht {y B : y x < ɛ} X Y, nd so X Y is open. Now, given z B nd ɛ >, since X is dense there exists n x X such tht x z < ɛ/2. Since X is open, there is δ < ɛ/2 such tht {x B : x x < δ} X. Since Y is dense, there is y Y such tht y x < δ/2. By the bove, it follows tht we lso hve y X. So we hve found y X Y such tht y z y x + x z < δ/2 + ɛ/2 < ɛ, nd so X Y is dense. A refinement of this rgument llows one to prove the powerful Bire Ctegory Theorem: countble intersection of open nd dense sets is dense. 5

10 6 2 Exmples II 3. We hve to ssume tht (Y, Y ) is Bnch spce. Then if x n X nd x n x (with x V ) we know tht {x n } is Cuchy in V. So, since F (x n ) F (x m ) Y L x n x m it follows tht {F (x n )} is Cuchy sequence in Y. Since Y is complete, we know tht lim n F (x n ) exists nd is n element of Y. If x n v, nd y n v, then F (x n ) F (y n ) L x n y n. Tking limits s n on both sides implies tht lim F (x n) lim F (y n). n n Tht F so defined is continuous is cler: for ny v 1, v 2 V, one cn find sequences in X tht converge to v 1, v 2, nd then from the definition F (v 1 ) F (v 2 ) L v 1 v Let V R, X Q, nd expnd ech q Q to the intervl I q (q d(q), q + d(q)), where d(q) q 2 /2. Then 2 / I q for ny q, so q Q I q does not cover R. 5. Fix n N, nd cover A j with collection of intervls I (j) k such tht k I(j) k < 2 (n+j). Then j A j is covered by I (j) k, j,k nd j,k I(j) k < jn+1 2 j 2 n. If P j occurs lmost everywhere then it fils on set A j of mesure zero. Since the union of the A j still hs mesure zero, every P j occurs simultneously lmost everywhere. 6. Use φ n f to men tht φ n is n incresing sequence tht converges lmost everywhere to f. (i) is essentilly Lemm 5.5. (ii) If f, g L inc (R) then there re sequences {φ n }, {ψ n } L step (R) such tht φ n f nd ψ n g. Then {φ n + ψ n } is n incresing sequence of step functions with φ n + ψ n f + g. So f + g L inc (R), nd since the integrl is dditive on L step (R), f + g lim n φ n + ψ n lim ( n φ n + ψ n ) f + (iii) If {φ n } L step (R) with φ n f then λφ n L step (R) nd λφ n f. The result follows from the fct tht λφ n λ φ n. g.

11 Exmples II 7 (iv) Follows from the sme properties for step functions, long similr lines to the bove. 7. For x [n, n + 1) we hve x n 1 f(r) dr + x n f(r) dr n 1 ( 1) j j + (x n) ( 1)n n, nd so x lim x f(x) dx ( 1) j j! <. But the sme clcultion with f(x) gives x n 1 f(r), dr n 1 which diverges s n. [Functions cn be integrble in some sense even when they re not Lebesgue integrble.] 8. Consider f n n f. Then f n is monotonic sequence, nd f n n f for every n. So there exists g L 1 such tht f n g lmost everywhere. The limit s n of f n is zero where f, nd + where f n. Since g is defined lmost everywhere, it follows tht f lmost everywhere. 9. If f L inc (R) then there exists sequence {φ n } L step (R) such tht φ n f (lmost everywhere), nd we define f lim φ n. n 1 j, Since f φ n, f φ n f φ n, which tends to zero s n by the definition of f. Now tke step function φ(x) c j χ Ij (x) with the endpoints of I j being j nd b j. Consider the continuous version

12 8 2 Exmples II of χ I (x), for n intervl I with endpoints, b, x < δ then (x + δ)/δ δ x X I (x; δ) 1 < x < b Now if δ < ɛ/(n mx j c j ) nd (b + δ x)/δ b x b + δ x > b + δ. φ ɛ (x) c j X Ij (x; δ), φ ɛ (x) φ(x) dx < ɛ. So if g L 1 (R), we hve g f 1 f 2 L inc (R). Approximte f 1 nd f 2 to within ɛ/4 (wrt the L 1 norm) by step functions h 1 nd h 2, nd then pproximte h 1 nd h 2 by continuous functions c 1 nd c 2 to within ɛ/4 (gin wrt the L 1 norm). So c 1 c 2 C (R) pproximtes g to within ɛ, i.e. C (R) is dense in L 1 (R). 1. With g n ( n k1 f k ) 2 we hve g n ( f k ) 2 2 ( 2 ( ) 2 f k f k L 2) f k L 2 k1 k1 L 2 using the definition of the L 2 norm nd the tringle inequlity. It follows tht g n g lmost everywhere for some g L 1. It follows tht k1 f k is bsolutely convergent lmost everywhere to some f L Note tht we hve 2 f 2 ( 2 f k f k u k ) f 2. k1 kn+1 k1 kn+1 So we cn use the DCR to deduce tht lim f f k 2 lim f u k 2. n n k1 k1 k1

13 3 Exmples III 1. Expnding the right-hnd side gives (x + y, x + y) (x y, x y) + i(x + iy, x + iy) i(x iy, x iy) x 2 + (x, y) + (y, x) + y 2 x 2 + (x, y) + (y, x) y 2 + i( x 2 + i(y, x) i(x, y) + y 2 x 2 + i(y, x) i(x, y) y 2 ) 4 rel(x, y) + 4 img(x, y) 4(x, y) 2. Write ( t 2 ( t f(r) dt) s s ( t s ) 2 r 1/2 r 1/2 f(r) dr ) ( t ) r 1 dr r f(r) 2 dr s K(log t log s) 1/2 using the Cuchy-Schwrz inequlity. [K 2 in exmples sheet is misprint.] 3. Suppose tht E is orthonorml nd tht α j e j for some α j K nd e j E. Then tking the inner product of both sides with e k (with k 1,..., n) gives ( α j e j, e k ) α k, so α k for ech k, i.e. E is linerly independent. 9

14 1 3 Exmples III 4.(i) Suppose tht d. Then there exists sequence y n Y such tht lim x y n, n i.e. y n x. Since Y is closed liner subspce, it follows tht x Y but this contrdicts the fct tht x / Y. (ii) By definition there exists sequence y n Y such tht d lim n x y n. So for n sufficiently lrge, clerly x y n < 2d. Let z be one such y n. (iii) We hve ˆx y x z x z y 1 x z x (z + x z y) > 1 2d d 1 2, since z + x z y Y nd d inf{ x y : y Y }. 5. Tke x 1 B with x 1 1. Let Y 1 be the liner subspce {αx 1 : α K}. Using the result of question 7 there exists n x 2 B with x 2 1 such tht x 2 x 1 > 1 2. Now let Y 2 Spn(x 1, x 2 ), nd use question 7 to find x 3 B with x 3 1 with x 3 y > 1 2 for every y Spn(x 1, x 2 ) in prticulr x 3 x 1 > 1 2 nd x 3 x 2 > 1 2. Continuing in this wy we obtin sequence {x n } B such tht x n 1 nd x n x m > 1 2 for ll n m. It follows tht the unit bll is not compct, since no subsequence of the {x n } cn be Cuchy sequence. 6. The unit bll is closed nd bounded. If B is finite-dimensionl then this implies tht the unit bll is compct. We hve just shown, conversely, tht if B is infinite-dimensionl then the unit bll is not compct. 7. Tke x, y A nd suppose tht λx + (1 λ)y A for ll λ [, 1] such tht 2 k λ N. Then given µ with 2 k+1 µ N, 2 k µ / N we hve with l odd, so tht µ (l 1) 2 µ l2 (k+1) 2 (k+1) + (l + 1) 2 2 (k+1). With λ 1 (l 1)2 (k+1) nd λ 2 (l + 1)2 (k+1) we hve 2 k λ 1, 2 k λ 2 N, nd so µx + (1 µ)y 1 2 [(λ 1x + (1 λ 1 )y) + (λ 2 x + (1 λ 2 )y)],

15 with λ j x + (1 λ j )y A, i.e. µx + (1 µ)y A. Exmples III 11 It follows by induction tht λx + (1 λ)y A for ny λ [, 1] such tht 2 k λ N for some k N. Since ny λ [, 1] cn be pproximted by sequence λ j such tht 2 j λ j N, it follows since A is closed tht λx + (1 λy) A for ll λ [, 1], i.e. A is convex. 8. We hve x (X ) if for every y X, (x, y). So clerly X (X ). If we do not hve equlity here then there exists z / X with (z, y) for every y X. But we know tht z x + ξ with x X nd ξ X ; but then (x + ξ, ξ), which implies tht xi 2, i.e. x X. So (X ) X s climed. 9. We hve e 4 x 3 ( x 3, ( x 3, ) ( ) (3x2 1) 8 (3x2 1) x 3, 2 x 2 x ) x (3x2 1) 1(3t 5 t 3 ) dt 3x 2 x 3 3x 5. 1 t 4 dt t 3 dt Then nd so e ( t 3 3t ) 2 [ ] t 7 1 dt 5 7 6t t e (5x3 3x). 1. Approximtion of sin x by third degree polynomil f 3 (x): note tht (sin x, e 1 ) nd (sin x, e 3 ) will be zero since sin x is odd nd e 1 nd e 3 re even, so f 3 (x) 3x 2 1 t sin t dt + 7(5x3 3x) 8 1 (5t 3 3t) sin t dt. Now, 1 t sin t dt [ t cos t] cos t dt [sin t] sin 1 1

16 12 3 Exmples III nd 1 t 3 sin t dt [ t 3 cos t ] [ 3t 2 sin t ] sin 1, 1 3t 2 cos t dt t sin t dt giving it follows tht f 3 (x) sin 1 1 (5t 3 3t) sin t dt 36 sin 1; [ 3x + 7(27x ] 45x3 ) sin 1 2 [ 195x 315x First wy: given orthonorml polynomils ẽ j (x) on [ 1, 1] put since then e j (x)e k (x) dx 2 Doing this gives e j (x) 2 ẽ j (2x 1), ẽ j (2x 1)ẽ k (2x 1) dx e 1 (x) 1, e 2 (x) 3 (2x 1), 1 2 ]. ẽ j (y)ẽ k (y) dy. nd e 3 (x) 5 2 [3(4x2 4x + 1) 1] 5 (6x 2 6x + 1), 7 [ e 4 (x) 5(8x 3 12x 2 + 6x 1) 3(2x 1) ] 2 7 [2x 3 3x x 1]. Or the pinful wy: e 1 (x) 1, then nd then e 2 2 e 2(x) x (x 1 2 )2 dx t dt x 1 2, [ ] (x )

17 Exmples III 13 which gives e 2 (x) 3 (2x 1). Now set ( ) e 3(x) x 2 3(2x 1) t 2 (2t 1) dt nd then e 3 2 [ ] t x (2x 1) 2 t x 2 2x x2 x + 1 6, (t 2 t )2 dt [ t 5 5 t t3 9 t2 6 + t , nd so e 3 (x) 5(6x 2 6x + 1). Finlly, we hve with t 2 dt t 4 2t 3 + 4t2 3 t dt ] 1 ( e 4(x) x 3 5(6x 2 6x + 1) e ) t 3 (6t 2 6t + 1) dt ( ) 3(2x 1) t 3 (2t 1) dt x 3 6x2 6x (2x 1) 1 4 2x3 3x x 1 2 (2t 3 3t t 1) 2 dt t 3 dt 4t 6 + 9t t t t 4 4t 3 72t 3 +6t 2 24t dt 1 [ ] , nd so e 4 (x) 7 (2x 3 3x x 1) s bove.

18 14 3 Exmples III 12. Given x, y l 2 w, set ˆx j w 1/2 j x j nd ŷ j w 1/2 j y j. Then (x, y) l 2 w (ˆx, ŷ) l 2, so the fct tht (, ) l 2 w is n inner product on l 2 w follows from the fct tht (, ) l 2 is n inner product on l 2. Similrly the completeness of l 2 w follows from the completeness of l 2 if {x n } is Cuchy sequence in l 2 w then {ˆx n } is Cuchy sequence in l 2, so there exists y l 2 such tht ˆx n y. Setting z j y j /w 1/2 j gives z l 2 w such tht x n z in l 2 w.

19 4 Exmples IV 1. If x X 1 then Ax Y x X A x x X A x x X, nd so since (x/ x X ) X 1 we hve sup Ax Y x X 1 sup Az Y z X 1 Rerrnging the bove equlity we hve Ax Y x X A x x X, Y nd so, gin since (x/ x X ) X 1, sup Az Y. z X 1 2. Given x l 2, we hve Ax Y sup x x X T x 2 l 2 j sup Ax Y. x 1 x j 2 j 2 j x j 2, so T 1. Now, for ny fixed n one cn tke x n (1,, 1,, ), n element of l 2 whose first n entries re 1 nd whose others re zero. Then T x n (1, 1/2, 1/3,..., 1/n,, ) which is in l 2. {T x n } forms sequence in l 2 tht converges to (1, 1/2, 1/3, 1/4,...), which is n element of l 2 since n (1/n2 ) is finite. However, the preimge 15

20 16 4 Exmples IV of this would be the sequence consisting ll of 1s, which is not n element of l 2. So the rnge of T is not closed. 3. Clerly f φ is liner. Given u C ([, b]) we hve f φ (u) φ(t)u(t) dt ( mx u(t) t [,b] ) φ(t) dt u φ(t) dt, (4.1) nd so f φ φ(t) dt. Now since φ is continuous we cn find sequence of continuous functions u n tht pproximte the sign of φ (+1 if φ >, 1 if φ < ) incresingly closely in the L 2 norm: if φ(s) then there is n intervl round s on which φ hs the sme sign. Since this intervl hs non-zero length, nd the union of these intervls lies within [, b], there re t most countble number, {I j }. Let u n be the continuous function defined on I j (l j, r j ) s (t l j )/δ j,n l j t l j + δ j,n u n (t) sign(φ(t)) 1 l j + δ j,n < t < r j δ j,n (r j t)/δ j,n r j δ j,n t r j where δ j,n min(2 (n+j), (r j l j )/2), nd zero when φ(t). Then u n (t) sign(φ(t)) 2 dt 2 (n+j) 2 (n 1), i.e. u n sign(φ) in L 2 (, b). Note tht u n 1. It follows tht f φ (u n ) φ(t)u n (t) dt φ(t) dt φ(t)(u n (t) sign(φ(t))) dt φ(t) dt φ(t)(u n (t) sign(φ(t))) dt φ(t) dt φ L 2 u n sign(φ) L 2. Since φ C ([, b]) we know tht φ L 2 <, nd we hve just shown

21 Exmples IV 17 tht u n sign(φ) L 2 s n. It follows since u n 1 tht we cnnot improve the bound in (4.1) nd therefore 4. Tke x, y L 2 (, 1), then (T x, y) f φ ( t t t ( t (x, T y) φ(t) dt. ) K(t, s)x(s) ds y(t) dt K(t, s)x(s)y(t) ds dt K(t, s)x(s)y(t) dt ds ) K(t, s)y(t) dt x(s) ds (drw picture to see how the limits of integrtion chnge) where 5. If x (rnge(t )) then T (y)(s) t K(t, s)y(t) dt. (x, y) for ll y rnge(t ), i.e. (x, T z) for ll z H. Since (T ) T, this is the sme s (T x, z) for ll z H. This implies tht T x, i.e. tht x Ker(T ). This rgument cn be reversed, which gives the required equlity. Now with pologies for the mistke in the question: we will show tht λ is n eigenvlue of T suppose tht rnge(t λi) H. Then there exists some non-zero u (rnge(t λi)). By the equlity we hve just proved, this gives non-zero u in Ker((T λi) ), i.e. non-zero u such tht (T λi) u. Since (T λi) T λi, this gives non-zero u with T u λu. So λ is n eigenvlue of T.

22 18 4 Exmples IV 6.(i) If T B(H, H) then T B(H, H) nd T op T op. So if {x n } is bounded sequence in H, with x n M, sy, it follows tht T x n T op x n M T op. So {T x n } is lso bounded sequence in H. Since T is compct, it follows tht {T (T x n )} {(T T )x n } hs convergent subsequence, which shows tht T T is compct. (ii) Following the hint, we hve T x 2 (T x, T x) (T T x, x) T T x x. Now, if {T T x n } is Cuchy then given ny ɛ >, there exists N such tht for ll n, m N, T T x n T T x m T T (x n x m ) ɛ. It follows tht for ll n, m N, T x n T x m 2 T (x n x m ) 2 T T (x n x m ) x n x m. Since {x n } is bounded sequence, with x n M, sy, we hve T x n T x m 2 Mɛ for ll n, m N. It follows tht {T x n } is Cuchy. (iii) So suppose tht {x n } is bounded sequence in H. Prt (i) shows tht T T is compct, so {T T x n } hs subsequence {T T x nj } tht is Cuchy. But prt (ii) shows tht this implies tht {T x nj } is Cuchy too. So T is compct. 7.(i) If for every z H we hve (x n, z) (x, z) nd (x n, z) (y, z) then clerly (x, z) (y, z) for every z H. But then (x y, z) for every z H; in prticulr we cn tke z x y, which shows tht x y 2, i.e. tht x y. (ii) Tke y H, nd suppose tht (e n, y) does not tend to zero s n. Then for some ɛ >, thee exists sequence n j such tht (e nj, y) > ɛ. But then y 2 n (y, e j ) 2 j (y, e nj ) 2, contrdicting the fct tht y H with {e j } n orthonorml bsis.

23 Exmples IV 19 (iii) For some fixed z H, consider the mp f : H K given by This mp is clerly liner, nd it is bounded, u (T u, z). u + λv (T (u + λv), z) (T u, z) + λ(t v, z), (T u, z) T u z ( ) T op z u. So f H. It follows tht there exists y H such tht (T u, z) f(u) (u, y) for every u H. So if u n u, in prticulrly for this choice of y we hve (u n, y) (u, y) (T u n, z) (T u, z). Since this holds whtever our choice of z, it follows tht T u n T u. (iv) **This prt requires you to know tht ny wekly convergence sequence is bounded, which is not t ll obvious (but true). Suppose tht T x n T x. Then there exists δ > nd subsequence T x nj such tht T x nj T x > δ for ll j 1, 2, 3,.... (4.2) Since T is compct nd {x nj } is bounded there exists further subsequence such tht T x nj w for some w H. But since convergence implies wek convergence, we must hve T x nj w. But we lredy know tht T x nj T x, so it follows from the uniqueness of wek limits tht w T x, nd so T x nj T x, contrdicting (4.2). 8. (i) For n x with K(x, ) L 2 (, b), use the fct tht {φ j } is bsis for L 2 to write K(x, y) k i (x)φ i (y). Since k i (x) i1 K(x, y)φ i (y) dy,

24 2 4 Exmples IV we hve k i (x) 2 dx K(x, y)φ i (y) dy ( 2 dx ) ( K(x, y) 2 dy φ i (y) 2 dy ) φ i (y) 2 dy dx K(x, y) 2 dy dx, nd so k i L 2 (, b). (ii) Since k i L 2 (, b), we cn write k i (x) j κ ijφ j, where κ ij k i(x)φ j (x) dx, i.e. K(x, y) i,j κ ij φ i (y)φ j (x), nd so {φ i (y)φ j (x)} is bsis for L 2 ((, b) (, b)). 9. Clerly T n x λ n j (x, e j )e j. If λ j < 1 for ll j 1,..., n then T < 1, nd so (I T ) 1 I + T + T 2 +, i.e. (I T ) 1 I + λ j (x, e j )e j + λ 2 j(x, e j )e j + I + I + (λ j + λ 2 j + )(x, e j )e j λ j 1 λ j (x, e j )e j. 1.(i) Since x f + αt x, the solution is given by x (I αt ) 1 f. So if αt op < 1 we cn write x (I + αt + α 2 T 2 + α 3 T 3 + )f (αt ) j f. So this expnsion is vlid for α < 1/ T op. (ii) Suppose tht (T n 1 x)(t) j K n 1 (t, s)x(s) ds.

25 Then i.e. with s climed. 11. We hve (T n x)(t) (T u, v) Exmples IV 21 K(t, s)(t n 1 x)(s) ds ( K(t, s) ( (T n x)(t) K n (t, r) ) K n 1 (s, r)x(r) dr ds K(t, s)k n 1 (s, r)x(r) dr ds ) K(t, s)k n 1 (s, r) ds x(r) dr, λ j (u, e j )e j, v K n (t, r)x(r) dr. K(t, s)k n 1 (r, s) ds λ j (u, e j )(e j, v) u, λ j (e j, v)e j u, λ j (v, e j )e j (u, T v) nd so T is self-djoint. Now consider T n u defined by T n u λ j (u, e j )e j. it is finite- Since the rnge of T is contined in the spn of {e j } n dimensionl, nd so T n is compct. Since T n u T u 2 2 λ j (u, e j )e j jn+1 λ j 2 (u, e j ) 2, jn+1

26 22 4 Exmples IV we hve from the fct tht λ n tht given ny ɛ > there exists n N such tht for ll n N we hve λ j < ɛ, nd hence i.e. T n u T u 2 ɛ 2 (u, e j ) 2 ɛ 2 (u, e j ) 2 ɛ 2 u 2, jn+1 T n T op ɛ, nd so T n T. It follows from Theorem 13.8 tht T is compct. 12. We hve T u K(x, y)u(y) dy λ j e j (x)e j (y)u(y) dy λ j e j (e j, u), nd so T e k λ k e k. To show tht these re the only eigenvlues nd eigenvectors, if u L 2 (, b) with u w + k1 (u, e k)e k nd T u λu then, since w e j for ll j, nd T u T w + j,k1 (u, e k )T e k k1 λ j e j (x)e j (y)(u, e k )e k (y) dy λ j (u, e j )e j (x) λu λ(u, e j )e j (x). Tking the inner product with ech e k yields so either (u, e k ) or λ λ k. λ(u, e k ) λ k (u, e k ),

27 Exmples IV 23 (i) Let (, b) ( π, π) nd consider K(t, s) cos(t s). Then K is clerly symmetric, so the corresponding T is self-djoint. We hve cos(t s) cos t cos s sin t sin s; recll tht cos t nd sin t re orthogonl in L 2 ( π, π). We hve T (sin t) π π π π 2π sin t K(t, s) sin s ds cos t cos s sin s sin t sin 2 s ds nd T (cos t) π π π π 2π cos t. K(t, s) cos s ds cos t cos 2 s sin t sin s cos s ds (ii) Let (, b) ( 1, 1) nd let Then in fct K(t, s) 4 K(t, s) 1 3(t s) 2 + 9t 2 s 2. ( ) ( ) ( ) ( ) t 2 s (3t2 1) 8 (3s2 1), 3 nd so, since { 2 t, 5 8 (3t2 1)} re orthonorml (they re some of the Legendre polynomils from Chpter 6) the integrl opertor ssocited with K(t, s) hs T (t) 4t nd T (3t 2 1) 8 5 (3t2 1). 13. This eqution is the eqution in Theorem 14.2 with p 1 nd q. So it suffices to show tht (i) u 1 (x) x stisfies the eqution d 2 u/dx 2 with u() (which is cler), (ii) tht u 2 (x) (1 x) stisfies the sme eqution with u(1) (which is lso cler), nd (iii) tht W p (u 1, u 2 ) 1: W p (u 1, u 2 ) [u 1u 2 u 2u 1 ] 1(1 x) ( 1)x 1. Or one could follow the proof of Theorem 4.12 with this prticulr choice of G to show tht u(x) s defined does indeed stisfy d 2 u/dx 2 f.

28 24 4 Exmples IV 14.(i) If x then x >, from which it follows tht T x >, nd so x / Ker(T ). So Ker(T ) {} nd T 1 exists for ll y rnge(t ). Then we hve T (T 1 x) 2 α T 1 x 2, i.e. T 1 x 2 α 1 x 2, so T 1 is bounded. (ii) Let λ α + iβ. Then (T λi)x 2 (T x αx iβx, T x αx iβx) (T x αx) 2 (T x αx, iβx) (iβx, T x αx) + β 2 x 2 T x αx 2 + i(t x αx, βx) i(βx, T x αx) + β 2 x 2. Now, since T is self-djoint nd α is rel, it follows tht nd so (T x αx, βx) (βx, T x αx), (T λi)x 2 T x αx 2 + β 2 x 2 β 2 x 2, i.e. T λi is bounded below s climed. (iii) If λ C nd T λi hs densely defined inverse then (T λi) 1 B(H, H), i.e. λ R(T ). So σ c (T ) R. (iv) If the rnge of T λi is not dense in H then by Question 3 we know tht λ is n eigenvlue of T. If T is self-djoint, we must hve λ n eigenvlue of T. But ll eigenvlues of T re rel, so in fct λ is n eigenvlue of T. So λ σ p (T ) rther thn σ r (T ), which implies tht σ r (T ) is empty. 15.(i) If y l q then l(x) x j y j x p y q using Hölder s inequlity. So l p y q s climed. (ii) Any x (x 1, x 2, x 3,...) l p cn be written s x x j e j, for the elements e j defined in the question. Since l is bounded it is

29 Exmples IV 25 continuous, so l(x) l lim lim n n l lim n x j e j x j e j x j l(e j ) x j l(e j ) x j y j, if we define y j l(e j ). [Should you come cross something similr in n exm you should t lest mention continuity of l s the justifiction for tking it inside the infinite sum.] (iii) We hve x (n) p p y j q y j p y j p q 1 y j q, nd so, s climed, Also x (n) p y j q l(x (n) ) y j q y j y j 1/p. y j q. Since l(x (n) l p x (n) p, we hve y j q l p y j q 1/p,

30 26 4 Exmples IV from which it follows, since 1 1/p 1/q, tht 1/q y j q l p. Since this holds for every n, we must hve y l q with y q l p.

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

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

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

The Regulated and Riemann Integrals

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

Best Approximation in the 2-norm

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

Math 61CM - Solutions to homework 9

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

MATH 174A: PROBLEM SET 5. Suggested Solution

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

Analytical Methods Exam: Preparatory Exercises

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

Math Solutions to homework 1

Math Solutions to homework 1 Mth 75 - Solutions to homework Cédric De Groote October 5, 07 Problem, prt : This problem explores the reltionship between norms nd inner products Let X be rel vector spce ) Suppose tht is norm on X tht

More information

Theoretical foundations of Gaussian quadrature

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

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

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

STUDY GUIDE FOR BASIC EXAM

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

Appendix to Notes 8 (a)

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

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

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

Abstract inner product spaces

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

Inner-product spaces

Inner-product spaces Inner-product spces Definition: Let V be rel or complex liner spce over F (here R or C). An inner product is n opertion between two elements of V which results in sclr. It is denoted by u, v nd stisfies:

More information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

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

a 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.

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

Phil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015

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

Prof. 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

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

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

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

0.1 Properties of regulated functions and their Integrals.

0.1 Properties of regulated functions and their Integrals. MA244 Anlysis III Solutions. Sheet 2. NB. THESE ARE SKELETON SOLUTIONS, USE WISELY!. Properties of regulted functions nd their Integrls.. (Q.) Pick ny ɛ >. As f, g re regulted, there exist φ, ψ S[, b]:

More information

Notes on length and conformal metrics

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

Best Approximation. Chapter The General Case

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

Lecture 3. Limits of Functions and Continuity

Lecture 3. Limits of Functions and Continuity Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live

More information

Chapter 3 Polynomials

Chapter 3 Polynomials Dr M DRAIEF As described in the introduction of Chpter 1, pplictions of solving liner equtions rise in number of different settings In prticulr, we will in this chpter focus on the problem of modelling

More information

Hilbert Spaces. Chapter Inner product spaces

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

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Riemann 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

2 Fundamentals of Functional Analysis

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

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

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

More information

Convex Sets and Functions

Convex Sets and Functions B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line

More information

STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS

STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS Throughout, we let [, b] be bounded intervl in R. C 2 ([, b]) denotes the spce of functions with derivtives of second order continuous up to the endpoints. Cc 2

More information

Lecture 1. Functional series. Pointwise and uniform convergence.

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

1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),

1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ), 1. Guss-Jcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on

More information

1. On some properties of definite integrals. We prove

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

Homework 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[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 information

A product convergence theorem for Henstock Kurzweil integrals

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

Variational Techniques for Sturm-Liouville Eigenvalue Problems

Variational Techniques for Sturm-Liouville Eigenvalue Problems Vritionl Techniques for Sturm-Liouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE 68588 Emil: vcormni@mth.unl.edu Rolf Ryhm Deprtment

More information

Math 324 Course Notes: Brief description

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

Math 554 Integration

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

ACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2.

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

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

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

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

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

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

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

KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION

KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd

More information

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

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

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

Presentation Problems 5

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

MAA 4212 Improper Integrals

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

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

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

The Bochner Integral and the Weak Property (N)

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

Problem Set 4: Solutions Math 201A: Fall 2016

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

Regulated functions and the regulated integral

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

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007 A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus

More information

7.2 Riemann Integrable Functions

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

1.3 The Lemma of DuBois-Reymond

1.3 The Lemma of DuBois-Reymond 28 CHAPTER 1. INDIRECT METHODS 1.3 The Lemm of DuBois-Reymond We needed extr regulrity to integrte by prts nd obtin the Euler- Lgrnge eqution. The following result shows tht, t lest sometimes, the extr

More information

4181H Problem Set 11 Selected Solutions. Chapter 19. n(log x) n 1 1 x x dx,

4181H Problem Set 11 Selected Solutions. Chapter 19. n(log x) n 1 1 x x dx, 48H Problem Set Selected Solutions Chpter 9 # () Tke f(x) = x n, g (x) = e x, nd use integrtion by prts; this gives reduction formul: x n e x dx = x n e x n x n e x dx. (b) Tke f(x) = (log x) n, g (x)

More information

2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals

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

Entrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim

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

Chapter 6. Infinite series

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

Properties of the Riemann Integral

Properties of the Riemann Integral Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2

More information

(4.1) D r v(t) ω(t, v(t))

(4.1) D r v(t) ω(t, v(t)) 1.4. Differentil inequlities. Let D r denote the right hnd derivtive of function. If ω(t, u) is sclr function of the sclrs t, u in some open connected set Ω, we sy tht function v(t), t < b, is solution

More information

Review of Riemann Integral

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

f(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

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

Lecture 6: Singular Integrals, Open Quadrature rules, and Gauss Quadrature

Lecture 6: Singular Integrals, Open Quadrature rules, and Gauss Quadrature Lecture notes on Vritionl nd Approximte Methods in Applied Mthemtics - A Peirce UBC Lecture 6: Singulr Integrls, Open Qudrture rules, nd Guss Qudrture (Compiled 6 August 7) In this lecture we discuss the

More information

f p dm = exp Use the Dominated Convergence Theorem to complete the exercise. ( d φ(tx))f(x) dx. Ψ (t) =

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

Chapter 28. Fourier Series An Eigenvalue Problem.

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

A PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES

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

1 1D heat and wave equations on a finite interval

1 1D heat and wave equations on a finite interval 1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion

More information

Matrices, Moments and Quadrature, cont d

Matrices, Moments and Quadrature, cont d Jim Lmbers MAT 285 Summer Session 2015-16 Lecture 2 Notes Mtrices, Moments nd Qudrture, cont d We hve described how Jcobi mtrices cn be used to compute nodes nd weights for Gussin qudrture rules for generl

More information

Chapter 3. Vector Spaces

Chapter 3. Vector Spaces 3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce

More information

1 The Lagrange interpolation formula

1 The Lagrange interpolation formula Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x

More information

Chapter 0. What is the Lebesgue integral about?

Chapter 0. What is the Lebesgue integral about? Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous

More information

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS. THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem

More information

M597K: Solution to Homework Assignment 7

M597K: Solution to Homework Assignment 7 M597K: Solution to Homework Assignment 7 The following problems re on the specified pges of the text book by Keener (2nd Edition, i.e., revised nd updted version) Problems 3 nd 4 of Section 2.1 on p.94;

More information

MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL

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

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner

More information

Math Theory of Partial Differential Equations Lecture 2-9: Sturm-Liouville eigenvalue problems (continued).

Math Theory of Partial Differential Equations Lecture 2-9: Sturm-Liouville eigenvalue problems (continued). Mth 412-501 Theory of Prtil Differentil Equtions Lecture 2-9: Sturm-Liouville eigenvlue problems (continued). Regulr Sturm-Liouville eigenvlue problem: d ( p dφ ) + qφ + λσφ = 0 ( < x < b), dx dx β 1 φ()

More information

a n+2 a n+1 M n a 2 a 1. (2)

a n+2 a n+1 M n a 2 a 1. (2) Rel Anlysis Fll 004 Tke Home Finl Key 1. Suppose tht f is uniformly continuous on set S R nd {x n } is Cuchy sequence in S. Prove tht {f(x n )} is Cuchy sequence. (f is not ssumed to be continuous outside

More information

Rudin s Principles of Mathematical Analysis: Solutions to Selected Exercises. Sam Blinstein UCLA Department of Mathematics

Rudin s Principles of Mathematical Analysis: Solutions to Selected Exercises. Sam Blinstein UCLA Department of Mathematics Rudin s Principles of Mthemticl Anlysis: Solutions to Selected Exercises Sm Blinstein UCLA Deprtment of Mthemtics Mrch 29, 2008 Contents Chpter : The Rel nd Complex Number Systems 2 Chpter 2: Bsic Topology

More information

Positive Solutions of Operator Equations on Half-Line

Positive Solutions of Operator Equations on Half-Line Int. Journl of Mth. Anlysis, Vol. 3, 29, no. 5, 211-22 Positive Solutions of Opertor Equtions on Hlf-Line Bohe Wng 1 School of Mthemtics Shndong Administrtion Institute Jinn, 2514, P.R. Chin sdusuh@163.com

More information

Orthogonal Polynomials

Orthogonal Polynomials Mth 4401 Gussin Qudrture Pge 1 Orthogonl Polynomils Orthogonl polynomils rise from series solutions to differentil equtions, lthough they cn be rrived t in vriety of different mnners. Orthogonl polynomils

More information

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008 Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of

More information

MATH 423 Linear Algebra II Lecture 28: Inner product spaces.

MATH 423 Linear Algebra II Lecture 28: Inner product spaces. MATH 423 Liner Algebr II Lecture 28: Inner product spces. Norm The notion of norm generlizes the notion of length of vector in R 3. Definition. Let V be vector spce over F, where F = R or C. A function

More information

Math 270A: Numerical Linear Algebra

Math 270A: Numerical Linear Algebra Mth 70A: Numericl Liner Algebr Instructor: Michel Holst Fll Qurter 014 Homework Assignment #3 Due Give to TA t lest few dys before finl if you wnt feedbck. Exercise 3.1. (The Bsic Liner Method for Liner

More information

ODE: Existence and Uniqueness of a Solution

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

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1 Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution

More information

Lecture 19: Continuous Least Squares Approximation

Lecture 19: Continuous Least Squares Approximation Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for

More information

An instructive toy model: two paradoxes

An instructive toy model: two paradoxes Tel Aviv University, 2006 Gussin rndom vectors 27 3 Level crossings... the fmous ice formul, undoubtedly one of the most importnt results in the ppliction of smooth stochstic processes..j. Adler nd J.E.

More information

NOTES ON HILBERT SPACE

NOTES ON HILBERT SPACE NOTES ON HILBERT SPACE 1 DEFINITION: by Prof C-I Tn Deprtment of Physics Brown University A Hilbert spce is n inner product spce which, s metric spce, is complete We will not present n exhustive mthemticl

More information

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1 The Fundmentl Theorem of Clculus As we continue to study the re problem, let s think bck to wht we know bout computing res of regions enclosed by curves. If we wnt to find the re of the region below the

More information

Chapter 4. Lebesgue Integration

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

p-adic Egyptian Fractions

p-adic Egyptian Fractions p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction

More information

Math& 152 Section Integration by Parts

Math& 152 Section Integration by Parts Mth& 5 Section 7. - Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible

More information

8 Laplace s Method and Local Limit Theorems

8 Laplace s Method and Local Limit Theorems 8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved

More information

Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction

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

Numerical Methods I Orthogonal Polynomials

Numerical Methods I Orthogonal Polynomials Numericl Methods I Orthogonl Polynomils Aleksndr Donev Cournt Institute, NYU 1 donev@cournt.nyu.edu 1 MATH-GA 2011.003 / CSCI-GA 2945.003, Fll 2014 Nov 6th, 2014 A. Donev (Cournt Institute) Lecture IX

More information

Discrete Least-squares Approximations

Discrete Least-squares Approximations Discrete Lest-squres Approximtions Given set of dt points (x, y ), (x, y ),, (x m, y m ), norml nd useful prctice in mny pplictions in sttistics, engineering nd other pplied sciences is to construct curve

More information

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam

440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam 440-2 Geometry/Topology: Differentible Mnifolds Northwestern University Solutions of Prctice Problems for Finl Exm 1) Using the cnonicl covering of RP n by {U α } 0 α n, where U α = {[x 0 : : x n ] RP

More information

1 Sets Functions and Relations Mathematical Induction Equivalence of Sets and Countability The Real Numbers...

1 Sets Functions and Relations Mathematical Induction Equivalence of Sets and Countability The Real Numbers... Contents 1 Sets 1 1.1 Functions nd Reltions....................... 3 1.2 Mthemticl Induction....................... 5 1.3 Equivlence of Sets nd Countbility................ 6 1.4 The Rel Numbers..........................

More information

Review of Gaussian Quadrature method

Review of Gaussian Quadrature method Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge

More information