Analysis III. Lecturer: Prof. Oleg Zaboronski, Typesetting: David Williams. Term 1, 2015

Size: px
Start display at page:

Download "Analysis III. Lecturer: Prof. Oleg Zaboronski, Typesetting: David Williams. Term 1, 2015"

Transcription

1 Anlysis III Lecturer: Prof. Oleg Zboronski, Typesetting: Dvid Willims Term, 25

2 Contents I Integrtion 2 The Integrl for Step Functions 2. Definition of the Integrl for Step Functions Properties of the Integrl for Step Functions The Integrl for Regulted Functions 6 2. Definition of the Integrl for Regulted Functions Properties of the Integrl for Regulted Functions The Indefinite Integrl & Fundmentl Theorem of Clculus 3. The Indefinite Integrl The Fundmentl Theorem of Clculus Prcticl Methods of Integrtion 2 4. Integrtion by Prts Integrtion by Substitution Constructing Convergent Sequences of Step Functions The Chrcteristion of Regulted Functions 5 5. Chrcteristion & Proof Improper & Riemnn Integrls 7 6. Improper Integrls The Riemnn Integrl Uniform & Pointwise Convergence 2 7. Definitions, Properties nd Exmples Uniform Convergence & Integrtion Uniform Convergence & Differentition Functionl Series The Weierstrss M-Test & Other Useful Results Tylor & Fourier Series II Norms 33 9 Normed Vector Spces Definition & Bsic Properties of Norm Equivlence & Bnch Spces Continuous Mps 4. Definition & Bsic Properties of Liner Mps Spces of Bounded Liner Mps Open nd Closed Sets of Normed Spces 43. Definition & Bsic Properties of Open Sets Continuity, Closed Sets & Convergence Lipschitz Continuity, Contrction Mppings & Other Remrks The Contrction Mpping Theorem & Applictions Sttement nd Proof The Existence nd Uniqueness of Solutions to ODEs The Jcobi Algorithm The Newton-Rphson Algorithm

3 Prt I Integrtion The Integrl for Step Functions. Definition of the Integrl for Step Functions Motivtion: Integrls Ares Under Curves Consider constnt functions of the form f c : x f R for x [, b]. Let D be the re under the line t f from to b. Then it mkes sense to define f c (x) dx. sign(f ) Are(D) sign(f ) ( f (b )) f (b ) Now this definition will be extended to piecewise constnt or step functions. Definition : ϕ : [, b] R is clled step function if there exists finite set P [, b] with, b P such tht ϕ is constnt on the open sub-intervls of [, b] \ P. P is clled prtition of [, b]. More concretely, P { p, p, p 2,..., p k, p k b}, with p < p < p 2 <... < p k < p k, nd ϕ c i (n rbitrry constnt), for i, 2,..., k, k. (pi,p i) Notes: If φ is step function then there re mny prtitions of [, b] such tht φ is constnt on the open sub-intervls defined by the prtition, cll one P. There exists t lest one other point greter thn in P (since both nd b belong to P by definition), cll the first p. Then φ is lso constnt on the open intervls of [, b] \ (P {n}), where < n < p. Let Q be prtition of [, b], with Q P. Then Q is clled refinement of P (so (P {n}) is refinement of P ). The miniml common refinement of P nd Q is denoted by P Q. If φ is step function on [, b], then ny prtition P { p, p, p 2,..., p k, p k b}, with p < p < p 2 <... < p k < p k, such tht φ c i (n rbitrry constnt), for i, 2,..., k, k, is clled (pi,p i) comptible with, or dpted to, φ. Proposition : Let S[, b] be the spce of step functions on [, b]. If f, g S[, b], then µ, λ R, (λf + µg) S[, b] (so S[, b] is closed under tking finite liner combintions of its elements). Proof: f S[, b], so P { p, p, p 2,..., p k, p k b}, with p < p < p 2 <... < p k < p k, which is comptible with f, nd g S[, b] so Q { q, q, q 2,..., q l, q l b}, with q < q < q 2 <... < q l < q l, which is comptible with g. Consider P Q { r, r, r 2,..., r m, r m b}, with r < r < r 2 <... < r m < r m. Then this prtition is comptible with (λf + µg). It remins to show tht (λf + µg) c i (n rbitrry constnt), for i, 2,..., m, m. (ri,r i) P (P Q), so (r i, r i ) (p, p ) for some, nd Q (P Q), so (r i, r i ) (q b, q b ) for some b. Then, since f is constnt, f is constnt, nd since g is constnt, (p,p ) (ri,r i) (qb,q b ) g is constnt, so (λf + µg) is constnt. Since the choice of i ws rbitrry, this proves (ri,r i) the proposition. (ri,r i) 2

4 Notes: This demonstrtes tht S[, b] is vector spce over R. Define C[, b] s the spce of continuous functions on [, b], nd define B[, b] s the spce of bounded functions on [, b]. These re lso vector spces. It ws demonstrted in Anlysis II tht C[, b] B[, b], nd by definition S[, b] B[, b]. Definition 2: φ i. φ (pi,p i) For φ S[, b], let P {p i } k i be prtition comptible with φ. Define (temporrily). Then : S[, b] R is defined s φ. k φ i (p i p i ) i Remrk: If φ φ R, then P {, b}, so φ φ (b ), which is precisely the re described in the motivtion. Lemm 2: The vlue of φ does not depend on the choice of prtition comptible with [, b]. Proof: For ny φ S[, b], let P nd Q be prtitions comptible with [, b]. Suppose there re k points in Q tht re not in P. Denote them n, n 2,..., n k. Temporrily let b φ P be the integrl of φ from to b defined by the prtition P which is comptible with [, b]. Now, consider P {n }. Since Q is comptible with [, b], we know tht n [, b], so i N such tht n (p i, p i ) for some p i, p i P. φ is constnt on (p i, p i ), nd so is lso constnt on (p i, n ) nd (n, p i ), so P {n } is comptible with φ. By definition φ P {n} φ φ i (n p i ) + φ i (p i n ) φ i (p i p i ), so P The proof is completed by induction, since there re finite number of points. exercise. φ P {n} φ P This is left s n 3

5 .2 Properties of the Integrl for Step Functions. Proposition 3 - Additivity: For ny φ S[, b], v (, b), φ v φ + 2. Proposition 4 - Linerity: For ny φ, ψ S[, b], λ, µ R, λφ + µψ λ v φ φ + µ 3. Proposition 5 - The Fundmentl Theorem of Clculus: Let φ S[, b], nd let P be prtition of [, b] comptible with φ. Consider I : [, b] R, I : x x φ. Then (I) I is continuous on [, b]. (II) I is differentible on k i (p i, p i ), nd, x k i (p i, p i ), I (x) φ(x). ψ Proof:. Let P {p i } k i be prtition comptible with φ S[, b]. Then there re two cses: (i) If v P, then by definition φ k φ i (p i p i ) i v φ i (p i p i ) + i k iv+ φ i (p i p i ) (ii) If v / P, then i N, i k, such tht v (p i, p i ). Then { p,..., p i, v}, {v, p i,..., p k b} re prtitions comptible with φ, so φ S[, v], φ S[v, b], so (,v) (v,b) their integrls re well-defined on those intervls. Then φ k φ j (p j p j ) j v φ + φ (p p ) + φ 2 (p 2 p ) φ i (p i p i ) φ k (p k p k ) φ (p p ) φ i (p i + v v p i ) φ k (p k p k ) φ (p p ) φ i (v p i ) + φ i (p i v) φ k (p k p k ) ] [ i k φ j (p j p j ) + φ i (v p i ) + φ i (p i v) + φ j (p j p j ) j v φ + v φ ji+ 2. Let P be prtition comptible with φ S[, b], nd let Q be prtition comptible with ψ S[, b]. Then, s ws proved in the previous section, P Q is comptible with both φ nd ψ. Let P Q { x, x,..., x k, x k b}, with x < x <... < x k < x k b. Then φ φ i nd ψ ψ i, so (λφ + µψ) (λφ + µψ) i, so P Q is comptible (xi,x i) (xi,x i) (xi,x i) with λφ + µψ. Then v φ λφ + µψ k k (λφ + µψ) j (x j x j ) (λφ j + µψ j )(x j x j ) j j k λ φ j (x j x j ) + µ k ψ j (x j x j ) λ φ + µ j j ψ 4

6 3. Let P {p i } k i be prtition comptible with φ S[, b]. Choose x k j (p j, p i ), then i N, i k such tht x (p i, p i ). Then x pi x I(x) φ φ + φ I(p i ) + φ i (x p i ) φ i x + constnt p i so I is continuous on k j (p j, p i ) nd I (x) φ i φ(x). Furthermore, lim x pi I(x) I(p i ), so I is right continuous on [, b). Similrly, lim x pi I(x) I(p i ) + φ i (p i p i ) p i φ + φ i (p i p i ) p i on [, b]. φ + p i p i φ p i φ I(p i), so I is left continuous on (, b], so I is continuous Definition 3: Let f B[, b]. Then the supremum norm (or sup norm) of f, denoted by f, with : B[, b] R is defined s f. sup f(x) x [,b] Proposition 6: Let φ S[, b] be bounded between m, M R, so m φ(x) M x [, b]. Then m(b ) φ M(b ), in prticulr φ φ (b ). Proof: For φ S[, b], choose comptible prtition P. Now then k m(p i p i ) i φ k φ i (p i p i ) i k φ i (p i p i ) so, due to telescoping sums on the upper nd lower bounds, m(b ) i k M(p i p i ) i k φ i (p i p i ) M(b ), so m(b ) i φ M(b ). If φ is given, then, by definition, φ φ(x) φ, so using the sme rgument s bove, φ (b ) b φ φ (b ), so b φ φ (b ). Note: So fr φ hs been defined for b >. Define, for > b, φ. φ. Then the bound proved in the previous proposition becomes b φ φ b. It is simple exercise to demonstrte tht such n extension preserves the three properties of the integrl for step functions proved previously. 5

7 2 The Integrl for Regulted Functions 2. Definition of the Integrl for Regulted Functions Definition 4: A function f on [, b] is clled regulted function if, ε >, φ S[, b] such tht φ f < ε, or, lterntively, if, ε >, f(x) φ(x) < ε x [, b]. We denote the set of regulted functions on [, b] by R[, b]. Definition 4.: A sequence (φ n ) n S[, b] is sid to converge uniformly to function f : [, b] R if lim n f φ n. Lemm : f : [, b] R is regulted iff (φ n ) n S[, b] such tht, s n, (φ n ) converges uniformly to f. Proof: The proof is routine nd is left s n exercise. Definition 4.2: A function f : A R R is clled uniformly continuous on A if, ε >, δ such tht x, y A, x y < δ nd f(x) f(y) < ε. Note: In generl, uniform continuity implies continuity, but not the other wy round. For exmple, f : (, ] R, f : x x, is continuous, but not uniformly continuous. However, on closed intervls, the two re equivlent. Lemm: For function f : A R, if A [, b], continuity implies uniform continuity. Proof: Suppose f is continuous on [, b] but not uniformly continuous. Then ε > such tht δ >, x, y [, b] such tht x y < δ but f(x) f(y) ε. Tking δn n s n yields two sequences (x n ) n, (y n ) n [, b] with x n y n < δ n. Since (x n ) n is bounded, it converges by the Bolzno-Weierstrss Theorem, so (x nk ) k (x n ) n which converges in [, b], since [, b] is closed. So lim k x nk u [, b]. Choose (y nk ) k, which converges by similr rgument, nd choosing δ n k demonstrtes tht lim k x nk y nk, so lim k y nk u. But f is continuous, so lim k f(x nk ) f(u) lim k f(y nk ), which contrdicts the condition tht x y < δ but f(x) f(y) ε, so f is uniformly continuous on [, b]. Proposition 7: If function f : [, b] R is continuous on [, b], then it is lso regulted on [, b]. Proof: For ny ε >, let P {p i } k i be prtition of [, b] such tht p i p i < δ, where δ is such tht x y < δ f(x) f(y) < ε. Such δ exists becuse f is continuous nd so φ f(p i ) for i,..., k uniformly continuous on [, b]. Let φ S[, b] be such tht [pi,p i). Now, φ(b) f(b) x [, b), j such tht x [p j, p j ), then f(x) φ(x) f(x) f(pj ) < ε since x pj < δ. Also, f(b) φ(b), so, x [, b], f(x) φ(x) < ε, so f is regulted by definition. Exercise: Prove tht ny monotone function is regulted. 6

8 Proposition 8: For ny f, g R[, b] nd λ, µ R, λf + µg R[, b]. Proof: First prove tht f, g B[, b], λ R, f + g f + g nd λf λ f. The reminder of the proof is left s n exercise. Definition 5: Let f R[, b]. Then : R[, b] R is defined s f. lim n φ n where (φ n ) n S[, b] converges to f uniformly s n. Proposition 9: lim n φ n exists nd is independent of the choice of (φ n ) n S[, b], which converges to f R[, b] uniformly s n. Proof: Let f R[, b] nd (φ n ) n, (ψ n ) n S[, b] converge to f uniformly s n. (φ n ) converges to f uniformly, so for ny ε >, eventully there will be n n such tht φ n f < ε 2(b ), so eventully there will be n nd m, when sufficiently lrge, such tht φ n φ m (φ n f) + (f φ m ) φ n f + f φ m ε b. Then φ n φ m (φ n φ m ) φ n φ m (b ) < ε, so ( φ n) n is Cuchy, so the limit exists. Let ω n (φ n, ψ n ) n (φ, ψ, φ 2, ψ 2,...) S[, b]. Then ω n converges to f uniformly s n, the proof of this fct is routine nd is left s n exercise. lim n ω n exists, so the subsequences φ n nd ψ n must converge to the sme limit f, so φ n ψ n. 7

9 2.2 Properties of the Integrl for Regulted Functions Proposition : For ny f R[, b], u [, b], f u f + u Proof: f is regulted, so (φ n ) n S[, b] which converges uniformly to f. Then (φ n ) converges [,u] uniformly to f, since restrictions re regulted. The sme holds for (φ n ). So [,u] [u,b] f u f + u ( u f lim φ n + n u φ n ) lim n φ n f by the dditivity of integrls of step functions. Proposition : The mp I : R[, b] R, I : f f is liner. Proof: The proof is similr to combintion of the lst proof nd the proof for the linerity of the integrl for step functions, nd so is left s n exercise. Note: Not ll functions re regulted. Exmple: Consider f : [, ] R, with f : x { x Q x / Q f is lso denoted by Q - the indictor of Q. Let φ be ny step function on [, b], with comptible prtition P, nd let φ φ Then f φ (po,p ). f φ mx( φ, φ ) (p,p 2, so ) there cnnot exist sequence of step functions converging uniformly to f. Proposition 2: Suppose tht f R[, b], nd tht, x [, b], m f(x) M for some m, M R. Then m(b ) f M(b ) Proof: f R[, b], so, ε >, φ ε S[, b] such tht f φ ε < ε, so x [, b], f(x) ε φ ε (x) f(x) + ε, so m ε φ ε (x) M + ε, now using the result proved for step functions (m ε)(b ) φ ε (M ε)(b ) Choose ε n for n N, then (φ n) n converges uniformly to f. Tke the limit of the bove with ε n, then m(b ) f M(b ) Exercise: Prove tht, for ny f R[, b], f f (b ) 8

10 Exmple: f(x) x is uniformly continuous on R, since f(x) f(y) x y, so when x y < δ ε, f(x) f(y) < ε. Proposition 3: Let f α : [, ) R, f α : x x α for some α. Then f α is uniformly continuous for ny α but not uniformly continuous for α >. Proof: For α >, f α (x+δ) f α (x) (x+δ) α x α x α ((+ δ x )α ) x α (+α δ x ) αδxα s x, which contrdicts the condition for uniform continuity. For α <, α, f α (x + δ) f α (x) x α (( + δ x )α ) x α ( + αδ x ), (α ) <, so xα s x. For ny ε >, choose δ ε 2αδ, then xα is uniform continuous. The cse when α is trivil nd is left s n exercise. Proposition 4: If f : [, b] R is wekly incresing, then f R[, b]. Proof: For f(b) > f(), let d f(b) f() n. Let P be prtition with n + elements such tht p, p j sup x [,b] {x : f(x) f() + dj}, nd p n+ b. By construction, since p j > p j, then x (p j, p j ), f()+d(j ) f(x) f()+dj. Let ϕ n S[, b] such tht ϕ n (pj,p j) f()+dj nd ϕ n (p j ) f(p j ). Now, let x (p j, p j ). Then, using the previous inequlity, d f(x) ϕ n (x), so f ϕ n d f(b) f() n s n, so f is regulted. Exercise: Prove tht if f : [, b] R is wekly decresing, then f is regulted. This proves tht ll monotonic functions on bounded intervls re regulted. Exmple: Let Q [, ] {,, 2, 3, 2 3, 4, 3 4, 5,,...} {q, q 2, q 3,...}, nd let { x > q n (x > q n ) x q n Let f : [, ] R be given by f : x 2 n (x > q n ) n which exists x [, ]. Then f is non-decresing, nd is regulted, but jumps n infinitely mny times, so is impossible to drw. 9

11 3 The Indefinite Integrl & Fundmentl Theorem of Clculus 3. The Indefinite Integrl Definition 6: Let f R[, b]. Define F : [, b] R by F is clled the indefinite integrl of f. F : x x f Lemm: R[, b] B[, b] Proof: f R[, b], so φ S[, b] such tht φ f, so x [, b], φ(x) f(x) φ(x) +. Since step functions re bounded, φ B[, b], so f B[, b]. Proposition 5: F is continuous on [, b]. Proof: Let x, y [, b]. Then x F (x) F (y) f y f x y f f x y, so by the sequentil definition of continuity, f is continuous. Note: Let f : [, b] R. Then, if L > such tht, x, y [, b], f(x) f(y) L x y. Then f is clled Lipschitz continuous or Lipschitz. Lipschitz continuity implies continuity, but the reverse is not generlly true. Exmple: f(x) e x is Lipschitz on [, ], but g(x) x is not Lipschitz on [, ].

12 3.2 The Fundmentl Theorem of Clculus Theorem 6 - FTC: Let f R[, b] such tht f is continuous t c (, b). Then F (x) x f is differentible t c nd F (c) f(c). Proof: f is continuous t c, so, ε >, δ > such tht, x (c δ, c + δ), f(x) f(c) < ε, so f(c) ε < f(x) < f(c) + ε. Choose < h < δ. Then, by integrting the previous sttement h(f(c) ε) < c+h c f < h(f(c) + ε), so h(f(c) ε) < c+h f So, for ny h (, δ), h(f(c) ε) < F (c + h) F (c) < h(f(c) + ε), so ε < F (c + h) F (c) h c f(c) < ε f F (c + h) F (c) < h(f(c) + ε) So F is differentible t c, nd F (c) f(c). The proof for the cse where δ < h < is similr nd so is left s n exercise. Corollry 7: If f C[, b], then f is differentible on (, b) nd F f. Proof: f is continuous, so it is regulted. Applying FTC completes the proof. Theorem 8 - FTC2: Let f : [, b] R be continuous, nd let g : [, b] R be differentible, with g (x) f(x) x [, b]. Then f g(b) g() This is the Newton-Leibniz Formul, nd g is clled the ntiderivtive of f. This is sometimes written g g(b) g() Proof: Let δ : [, b] R, with δ(x) g(x) x f. Then δ is continuous on [, b]. it is lso differentible on (, b) by FTC. By the MVT, δ(b) δ() δ(ξ)(b ) for some ξ (, b). But δ (ξ) g (ξ) f(ξ) by FTC, so δ (ξ) f(ξ) f(ξ), so δ() δ(b), so g() f g(b) f, so f g(b) g().

13 4 Prcticl Methods of Integrtion 4. Integrtion by Prts Proposition 2: If f, g R[, b], then f g R[, b]. Proof: f + g f + g. Then (ϕ n ), (ψ n ) S[, b] such tht (ϕ n ) f, (ψ n ) g uniformly. f g ϕ n ψ n f g ϕ n g + ϕ n g ϕ n ψ n (f ϕ n )g + ϕ n (g ψ n ). Since sup x [,b] (x) b(x) supx [,b] (x) supx [,b] b(x), this is less thn or equl to g f ϕ n + ϕ n g ψ n. Now, g is regulted, nd so is bounded. f ϕ n, g ψ n s n, nd ϕ n ϕ n f + f ϕ n f + f. Also, ϕ n f s n, nd f is regulted, nd so is bounded. Tken together, this mens tht f g ϕ n ψ n s n, so (ϕ n ψ n ) converges uniformly to f g, so f g is regulted. If F nd G re differentible such tht F nd G re contin- Corollry 9 - Integrtion by Prts: uous, hence regulted, then F G F (b)g(b) F ()G() F G Proof: (F G) F G + F G. Then By FTC2 So (F G) F G + F G F G + F (b)g(b) F ()G() F G + F G F G + F G F G F (b)g(b) F ()G() F G F G Note: F (b)g(b) F ()G() cn be denoted by F G b. Exmple: Then The Gmm Function Γ : (, ) R is given by Γ : x t x e t dt. L lim ε,l ε t x e t dt Γ(x) lim ε,l L ε ( ) x tx e t dt lim x ε,l (tx e t ) L ε x Γ(x + ) x t x e t dt So Γ(x + ) xγ(x), nd Γ(), so Γ(n + ) n! L ε t x ( e t ) dt 2

14 4.2 Integrtion by Substitution Let f C[, b], nd let g : [c, d] [, b] be differen- Corollry 2 - Integrtion by Substitution: tible with Im g [, b]. Then d f(g(x)) g (x) dx g(d) c g(c) f(t) dt Proof: Let F (x) x f. Since f is continuous, F is differentible nd F (x) f(x) by FTC, then by FTC2 d g(d) g(c) f(t) dt F (g(d)) F (g(c)) Also, dx F (g(x)) F (g(x)) g (x) f(g(x)) g (x) which is the initil integrnd. F (g(x)) d c F (g(d)) F (g(c)), so Now, by FTC2, d f(g(x)) g (x) dx g(d) c g(c) f(t) dt Note: g does not need to be injective or surjective. Exmple: Let g(x) x 2. Then f(x 2 )(x 2 ) dx F (x 2 ) Exmple: Let G(, j). for some >, j R. Then Now, substituting g(x) x j, e x2 +2jx dx G(, j) e j2 L lim e x 2 +2jx dx L,L 2 L 2 e x2 +2jx dx e (x2 + 2j x) dx e ((x j )2 j2 2 ) dx e (x j )2 dx e j2 e (x j )2 dx e j2 e t2 dt e j2 e ( t) 2 dt Now, substituting h(t) t, So e j2 e ( t) 2 dt e j2 G(, j) e j2 e y2 π dy e j2 π 3

15 4.3 Constructing Convergent Sequences of Step Functions Theorem 22: Let f : [, b] R be regulted. Then lim n j b h f( j) f(x) dx, where j + b h j Proof: First, consider φ S[, b]. Let P be prtition comptible with φ, with P k. Then b φ h φ( j) k b n 2 φ s n j since errors only occur nd contribute to the difference t jumps on the step function, of which there re k, nd the mximum error this cn be is twice the mximum vlue of the step function cross the whole section. Then b φ lim n h φ( j) Now, for f R[, b], let R (n) f j b h j f( j), where j + b h j Since f is regulted, then, ε >, φ S[, b] such tht f φ < ε 3. Then R(n) f f R(n) f R (n) φ + R(n) φ φ + φ f R (n) f R (n) φ + R(n) φ φ + φ f Now, nd nd R (n) f R(n) φ R (n) φ φ f (b ) < ε (b ) 3 φ < ε (b ) eventully in n 3 φ f (f( j ) φ( j )) b n j f( j ) φ( j ) b n < ε (b ) 3 j since f(j ) φ( j ) < ε 3, so so R(n) f f < ε(b ) eventully in n lim n R(n) f f 4

16 5 The Chrcteristion of Regulted Functions 5. Chrcteristion & Proof Proposition 23: A function f R[, b] iff, x (, b), f(x±) both exist, nd both f(+) nd f(b ) exist, where f(x+) lim y x f(y) (the right limit), nd f(x ) lim y x f(y) (the left limit). Alterntively, this cn be stted s ll one-sided limits exist. Note: This chrcteristion only requires the existence of these limits, not equlity, f(x+) f(x ) is cceptble so long s they both exist. Proof : f is regulted, so, ε >, φ S[, b] such tht f φ < ε. Let x (, b). There re now two cses, φ is continuous t x, or φ is discontinuous t x. In either cse, δ > such tht φ φ, constnt. Let (x n ) n R be ny sequence such tht, n N, x n > x, (x,x+δ) nd lim n x n x. Eventully x n (x, x + δ). Then, eventully in n nd m, f(xn ) f(x m ) f(xn ) φ + φ f(x m ) f(xn ) φ + f(xm ) φ < 2ε, since f(xn ) φ, f(xm ) φ < ε, so f(x n ) n is Cuchy, nd so converges. If y n is ny other sequence with y n x s n, then (f(y n )) n converges to the sme limit. The proof of this fct is routine fter considering (x n, y n ) n, nd so is left s n exercise. It hs been shown tht for ny (x n ) n R such tht x n x s n, lim n f(x n ) f(x+) exists nd does not depend on x n. A similr rgument cn be used to prove this result for the left limit, nd not much modifiction is required for x, b, so these proofs re left s exercises. Proof : All one-sided limits exist. Now, fix ny ε >. Let A ε {γ [, b] : ψ S[, b] such tht (f ψ) [,γ] < ε} The proof shll follow from proving three sttements: (i) A ε : f(+) exists, so, ε >, δ > such tht, x (, + δ), f(x) f(+) < ε. Tke γ δ 2. Then define { f() x φ(x) f(+) x (, + δ 2 ) It is cler tht φ(x) S[, + δ 2 ]. Since f(x) f(+) < ε nd f() φ(), (f φ) [,+ δ < ε, so γ δ 2 A ε, so A ε. 2 ] (ii) sup A ε b: Assume tht c. sup A ε < b. Then, δ >, (c δ) A ε, so φ S[, c δ] such tht (f φ) [,c δ] < ε. But f hs limits f(c±) t c, so ε >, δ, δ 2 such tht, x (c, c + δ 2 ), f(x) f(c+) < ε nd, x (c δ, c), f(x) f(c ) < ε. Choose δ < δ. Now, let ψ S[, b] be given by f(c ) x < c ψ(x) f(c) x c f(c+) x > c nd let φ S[, b] be given by φ(x) { φ(x) x [, c δ] ψ(x) x (c δ, c + δ2 2 ] Then (c + δ2 2 ) A ε, with δ2 2 >, which contrdicts the fct tht c sup A ε, so b c. 5

17 (iii) b A ε : It hs been shown tht, δ >, φ S[, b δ] such tht (f φ) [,b δ] < ε. But f(b ) exists, so δ > such tht, x (b δ, b), f(x) f(b ) < ε. Choose δ < δ. Now, let ψ S[, b] be given by { f(b) x b ψ(x) f(b ) x < b nd let φ S[, b] be given by φ(x) Now, by definition, f φ < ε, so b A ε. { φ(x) x [, b δ] ψ(x) x (b δ, b] So γ b, so ϕ S[, b] such tht f ϕ < ε, so f R[, b]. Exercise: Prove tht if f R[, b], then the set of discontinuities of f is countble. Hint: Check tht, ε >, the set of jumps of size ε or greter is countble. 6

18 6 Improper & Riemnn Integrls 6. Improper Integrls Motivtion: It is possible to generlise the regulted integrl to unbounded functions nd/or unbounded domins. Exmple: x 2 dx 2 becuse, lthough x 2 is not regulted on (, ], ε >, x 2 R[ε, ]. Then ε x 2 dx 2x 2 ε 2 2ε 2 2 s ε Exmple: becuse, L >, x R[, L]. Then 2 L x 2 dx x L x 2 dx L s L Exmple: dx lim dx lim x ε ε x log ε x ε lim log ε ε which does not exist, therefore the integrl is not defined. Definition 7.: If, for ny ε >, f : (, b] R is regulted on [ + ε, b] nd l. lim f ε +ε exists, then f converges nd is equl to l. If the limit does not exist, then f diverges. Definition 7.2: If, L >, f R[, L] nd exists, then l. lim L L f converges nd is equl to l. If the limit does not exist, then f diverges. f 7

19 Note: Let f R[ L, L 2 ] for some L, L 2 >. Then f converges if, c R, c f nd f c converge. In this cse, c f + f c f. As n exercise, show tht if c f nd f exist, then c c f + f does not depend on the choice of c. c Exmple: Let f(x) x R[ L, L] L >. Then However, tke ny c R. Then so do not exist. Then L L L lim L c x dx, so x dx, nd L lim L L x dx c lim x dx L L x dx does not exist, since the limits must exist independently. Notes: Suppose f : (, b) R, nd, for ny ε, ε 2 >, f R[ + ε, b ε 2 ]. Then f exists if, for ny c (, b), c f nd c f both exist (converge). Then f converges, nd f c f + c f. f both exist (indepen- Suppose f is defined on [, b) (b, c]. Then c f exists (converges) if f nd c b dently), with c f f + c b f. Exmple: f(x) for x [, ) (, ]. x Note: Let f : (, b) R such tht, for ny ε, ε 2 >, f [ + ε, b ε 2 ]. Then c (, b) such tht l (c) lim ε c +ε f nd l 2 (c) lim ε2 ε2 exist iff, c (, b), l (c ) nd l 2 (c ) exist. The first formultion is often the more convenient in prctice however. If this formultion is true of f, then f converges, nd f l (c) + l 2 (c). As n exercise, check tht l (c) + l 2 (c) l (c ) l 2 (c ) to demonstrte tht this integrl is independent of the choice of c. c f Definition 7.3: Let f R[ L, L 2 ] for some L, L 2 >. Then f. L lim L c f + lim L 2 c L 2 f Definition 7.4: If f : [, b) (b, c] R, then c f. lim ε ε c f + lim f ε2 b+ε 2 Note: All integrls in the limit must mke sense s regulted or improper integrls. Note: It is possible to define the integrl of functions with domins such s f : j Z(j, j + ) R Situtions like this occur when studying gmm functions. 8

20 6.2 The Riemnn Integrl Definition: Let f : [, b] R. Then U f. L f. inf φ S[,b] sup φ S[,b] { { } φ : φ f ( upper sum ) } φ : φ f ( lower sum ) Definition: f : [, b] R is Riemnn integrble if U f L f. Then R f. U f L f Proposition: If f R[, b], then it is Riemnn integrble, nd R f f Proof: f R[, b], so, ε >, φ S[, b] such tht, x [, b], φ(x) ε f(x) φ(x) + ε. Since φ(x) ε, φ(x) + ε S[, b], Tking ε, φ ε(b ) L f U f L f U f f R f φ + ε(b ) Note: There re functions which re Riemnn integrble but not regulted. Exmple: Let f : [, ] R be given by { x 2 n for n,, 2,... f : x otherwise Then f is not regulted since, p >, x (, p) such tht f(x) nd y (, p) such tht f(y), so step function cn get no closer thn hlf to both sections of the function on ny intervl, so f is not defined. However, let Now, φ N f, so φ N L f U f { x 2 N f(x) x > 2 N φ N lim φ N N 2 N Then L f U f, so so the Riemnn integrl of f is defined. R f 9

21 Note: There re functions which re not Riemnn integrble. Exmple: Let Q (x) { x Q x R \ Q Then U Q L Q, so Q is not Riemnn integrble. However, it is Lebesgue integrble, with L Q 2

22 7 Uniform & Pointwise Convergence 7. Definitions, Properties nd Exmples Exmple: Let (f n ) n be sequence of functions on [-,], with f n : x x 2 n for n, 2,... Fix x nd consider lim f n(x) n x > x x <, so lim n f n(x) sign x. So the limit of (f n (x)) n s n exists x [, ], nd f n is continuous n N, but the limit is not continuous t. lim n lim f n(x) ± lim x ± x ± sign x lim x ± lim n f n(x) This function hs non-commuttive limits nd sequence of continuous functions converges to discontinuous function, both of which re undesirble properties of pointwise convergence. Definition 8: Let (f n ) n be sequence of functions, nd let A R. Then f n f pointwise s n if, x A, lim n f n (x) f(x). Note: Pointwise convergence is very loose, it does not preserve properties of the f n s such s continuity (s in the cse of x 2 n sign x). Pointwise convergence cn lso be very non-uniform (the sme exmple converges pointwise very slowly ner ). Note: Let f nd (f n ) n be functions on A R. If (f n ) f pointwise s n, then f cn fil to be continuous, even if ll f n s re. Alterntively, x A such tht lim lim f n (x) lim n x x x x lim f n(x) n Exmple (The Witch s Ht): Let f n : [, ] R, with f n () nd 2n 2 x x [, 2n ] f n (x) n 2n 2 (x 2n ) x ( 2n, n ] x > n Then f n C[, ]. Fix x >, then lim n f n (x). Now, s n, f n f on [, ], which is continuous. However, f, but f n n 2n 2, so 2 lim n f n lim f n n It is cler from exmples such s this tht pointwise convergence must be strengthened. Definition 9: Let f, f n : A R R for n, 2,..., then (f n ) n f converges uniformly s n if, ε >, N ε such tht, n > N ε, fn (x) f(x) < ε x A, or, equivlently, if limn f f n. 2

23 Note: For the reminder of this section, ssume, unless specified otherwise, tht f, f n : A R R for n, 2,.... Remrk: Uniform convergence pointwise convergence, but pointwise convergence uniform convergence. Definition 9.: A sequence (f n ) n (of functions on A R) is clled uniformly Cuchy if, ε >, N ε such tht, n, m > N ε, fn (x) f m (x) < ε x A. Note: For fixed x A, if (f n (x)) n is Cuchy, then it is pointwise convergent (to common limit f). Lemm: A uniformly Cuchy sequence converges uniformly. Proof: Let (f n ) n, (f m ) m be uniformly Cuchy sequences converging to f. Then, ε >, N ε such tht, n, m > N ε, f m (x) ε 2 f n(x) f m (x) + ε 2 x A. Tke m, then f m f, so f(x) ε 2 f n(x) f(x) + ε 2 x A, so f n (x) f(x) < ε x A, so (f n ) n converges uniformly. Theorem 24: (i) f R[, b] Let (f n ) n R[, b]. Assume tht f n f uniformly. Then (ii) lim n f n lim n f n f Proof: (i) f n R[, b], so, ε >, φ n S[, b] such tht f n φ n < ε 2. Now, f φ n f f n + f n φ n f f n + f n φ n. Assume tht n is lrge enough such tht f f n < ε 2, which is gurnteed since f n f, so f φ n < ε, so f R[, b]. (ii) It ws shown in (i) tht f is regulted, so f is well defined nd b f f n f f n (b ) f f n s n, so lim n f n lim f n n f Theorem 25: Suppose tht (f n ) n C[, b], nd f n f uniformly s n. Then f C[, b]. This theorem lso holds for some rbitrry A R in plce of [, b], nd shll be proven for this more generl cse. Proof: f n f uniformly, so ε >, N ε such tht, n > N ε, fn (x) f(x) < ε x A, so fn is continuous n N. Then δ ε such tht, x (x δ ε, x + δ ε) A, f n (x) f n (x ) < ε 3 x (x δ ε, x + δ ε) A. Set δ ε δ ε. Then, x (x δ ε, x + δ ε) A, f(x) f(x ) f(x) fn (x) + f n (x) f n (x ) + f n (x ) f(x ) fn (x) f n (x ) + fn (x) f n (x ) + fn (x ) f(x ). f n f uniformly s n, so the first nd lst of these terms re less thn ε 3, nd the middle term ws shown to be less thn ε 3 erlier, so f(x) f(x ) < 3ε 3 ε, so f is continuous t x. 22

24 Exmple (Cntor s Function or The Devil s Stircse): Let (f n ) n C[, ] be such tht f nd 2 f n(3x) x [, 3 ) f n+ (x) 2 x [ 3, 2 3 ] f n(3x 2) x ( 2 3, ] Proposition: lim n f n exists nd is continuous. It is clled Cntor s function. Proof: Clerly f C[, ]. Now, suppose tht f n C[, ]. Then f n+ is clerly continuous on ( 3, 2 3 ). Now, f n is continuous on [, 3 ) by ssumption, so 2 f n(3 ) is continuous, so f n+ is continuous on [, 3 ). Also, f n is continuous on ( 2 3, ] by ssumption, so f n(3 2) is continuous, so f n+ is continuous on ( 2 3, ]. Now the only points remining to investigte the continuity of re 3 nd 2 3. f n+ () f n(), which is if f n (). f (), so f n () n N by induction. Concerning the continuity of 3, f n+( 3 ) 2, nd f n+( 3 +) 2, so f n+ is right-continuous t 3, nd f n+ ( 3 ) 2 f n(3( 3 )) 2 f n( ) 2 f n() 2 since f n is continuous t, so f n+ is left-continuous t 3, so f n+ is continuous t 3. The proof for 2 3 is similr nd is left s n exercise. Now, ( f n+ f n mx (f n+ f n ) x [, 3 ), (f n+ f n ) x [ 3, 2 3 ], (f n+ f n ) ( mx (f ) n+ f n ) x [, 3 ),, (f n+ f n ) x ( 2 3,] ( mx 2 f n(3 ) ) ( 2 f n (3 ), x [, 2 f n(3 2) ) 2 f n (3 2) x ( 2 3 ) x ( 2 3,] 3,] ) 2 f n f n So, for some c, d R, f n f n 2 f n f n 2 2 f n f n 2... The constnts re introduced to correct for f. Now, fix n > m, then, for some D R, c 2 n+ f f d 2 n+ f n f m f n f n+ + f n+ f n f m f m f n f n + f n f n f m+ f m ( D 2 n + 2 n ) 2 m+ D n m 2 m+ 2 k k D 2 m+ k 2 k D 2 m s m Since f n f m cn be mde rbitrrily smll by tking n > m lrge enough, (f n ) is uniformly Cuchy. Therefore, f lim n f n exists nd is continuous, since uniformly Cuchy sequence converges uniformly nd f n is continuous n N. The limit is clled Cntor s function or the Devil s Stircse. 23

25 Now, f C[, ], so f R[, ]. Tking the limit of f n (x), it is cler tht 2 f(3x) x [, 3 ) f(x) 2 x [ 3, 2 3 ] f(3x 2) x ( 2 3, ] So f f + f + 3 Let y 3x, z 3x 2. Then 2 3 f 3 f(3x) dx dx f(3x 2) dx 2 3 f f(y) dy f(z) dz f, so 2 3 f 3, so f 2 Remrk: Assume tht f is constnt on E [, ]. Then f is constnt on ( 2, 2 3 ) 3 E ( E), so E E + 3 E, so 3 E 3, so E, so f is loclly constnt on some E [, ] of length, but f : [, ] [, ] continuously. Note: It is possible to mp [, ] R onto (surjectively) [, ] [, ] R 2 continuously. If γ : [, ] [, ] [, ] is such mp, then, x [, ] [, ], t [, ] such tht γ(t) x. A surjective mp is reltively simple to construct, such s τ : [, ] [, ] [, ], with τ :.x x 2 x 3... (.x x 3 x 5...,.x 2 x 4 x 6...), but τ is not continuous. A continuous mp stisfying these criteri is clled spce filling curve, nd exmples were constructed by Hilbert nd Peno in the 89s. 24

26 7.2 Uniform Convergence & Integrtion Note: Throughout this section, let D [, b] [c, d] R 2, nd (x, t) D. Definition : A function f : D R is continuous t (x, t ) D if, ε >, δ ε (x, t ) > such tht, (x, t ) D with x x < δ ε (x, t ) nd t t < δ ε (x, t ), f(x, t) f(x, t ) < ε. An equivlent definition, which shll be introduced lter, uses Eucliden distnce. Definition.: A function f : D R is uniformly continuous on D if, ε >, δ ε such tht, (x, t), (x, t ) D with x x < δ ε nd t t < δ ε, f(x, t) f(x, t ) < ε. Lemm 26.2: If f is continuous on D, then it is lso uniformly continuous if D is closed. Proof: The proof is left s n exercise. Hint: Fix t [c, d], nd consider f(, t) : [, b] R with f : x f(x, t). Exercise: Prove tht, if f is continuous on D, then f(, t) is continuous on [, b] (so f(, t) C[, b]). Lemm 26.: If mp I is such tht I : t [c, d] f(x, t) dx then, if f C(D), I C[c, d] (I is often clled the integrl depending on prmeter). Proof: Let (t n ) n [c, d] with lim n t n t, nd let f n : [, b] R with f n : x f(x, t n ). Now, f is continuous on D, so f is uniformly continuous on D since D is closed, so, ε >, δ ε> such tht, if x x < δ ε nd t t < δ ε, then f(x, t) f(x, t ) < ε. Since (tn ), (t n+m ) t s n, then, eventully in n, t n t n+m < δ ε, so f n (x) f n+m (x) f(x, t n ) f(x, t n+m ) < ε eventully in n, so (f n ) is uniformly Cuchy, so (f n ) converges uniformly to f. Now, lim I(t n) lim n n f(x, t n ) dx lim n f n (x) dx lim f n(x) dx n f(x, t ) I(t ) So I is continuous t t, nd since t [c, d] ws rbitrry, I is continuous on [c, d]. Proposition 27: If f, f t re continuous on [, b] [c, d], then, t (c, d), t f(x, t) dx f (x, t) dx t Or, lterntively, t (c, d), F (t) f(x, t) dx nd G(t) both exist on (c, d), F is differentible on (c, d), nd F G. f (x, t) dx t 25

27 Proof: Fix t (c, d). Then f(, t), f t (, t) C[, b], so F nd G exist. Now, [c, d ] [c, d] such tht t (c, d ). But f t is continuous on [, b] [c, d], nd so is uniformly continuous on [, b] [c, d]. Then F (t + h) F (t) G(t) h f(x, t + h) f(x, t) f (x, t) dx h t MVT f f (x, τ) (x, t) dx τ t for some τ (t, t + h). Now, f τ is uniformly continuous on [, b] [c, d], so ε >, δ ε > such tht h with h < δ ε, f τ (x, τ) f t (x, t) < ε, so f τ (x, τ) f t (x, t) dx < ε ε(b ) so so F (t) G(t). lim F (t + h) F (t) h h G(t) Theorem 28 - Fubini s Theorem: If f : D R is continuous, then ( b ) d ( d ) b f(x, y) dy dx f(x, y) dx dy c c Proof: Let F (t) t for t [, b]. Now, F (), nd ( ) d f(x, y) dy dx c F (t) FTC d c f(t, y) dy d c d c ( ) t f(x, y) dx dy f(t, y) dy F is continuous on [, b] nd differentible on (, b), nd F (t), so F (b) F (), so ( b ) d ( d ) b f(x, y) dy dx f(x, y) dx dy c c Note: f must be continuous on the whole of D, or counterexmples such s the following cn rise: Let D [, 2] [, ], nd let f(x, y) : D R with xy(x 2 y 2 ) f : (x, y) (x 2 +y 2 ) (x, y) (, ) 3 (x, y) (, ) Then 2 ( ) f(x, y) dy dx 5 2 ( ) 2 f(x, y) dx dy 26

28 7.3 Uniform Convergence & Differentition Note: Suppose tht (f n ) n is sequence of functions on [, b], nd tht (f n ) f uniformly s n. Then, even if every f n is differentible on [, b], f is not necessrily differentible on [, b]. And even if f is smooth, (f n) does not necessrily converge to f. Exmple: Suppose tht f n (x) n cos nx on R. This function is smooth, nd f n(x) sin nx. Let f : x. Then f n f f n n cos n n s n, so (f n) f uniformly s n. All f n s re smooth, nd f is smooth, since f. But (f n) s n, in fct, (f n) does not converge t ll, except for t certin points such s x kπ for k N. Exmple: Let f n : R R, with f n : x x 2 + n. Then (f n(x)) x pointwise s n. Let f(x) x. Then fn (x) 2 f(x) 2 x 2 + n x2 n. fn (x) f(x) f n(x) 2 f(x) 2 f n(x)+f(x) n n n s n, so (f n ) f uniformly s n. Now, ll f n s re smooth, nd (f n ) f uniformly s n, but f is not differentible t. Note: If function f : [, b] R is continuously differentible, it is clled C function, or, lterntively, f C [, b] is written, where C [, b] is the spce of continuously differentible functions on [, b]. Theorem 29: Let (f n ) be sequence of C functions on [, b], with (f n ) f pointwise s n on [, b], nd suppose tht (f n) converges uniformly. Then f C [, b] nd lim n (f n) f. Proof: Let g lim n (f n). Now, n N, f n C[, b], so g C[, b] since (f n) g uniformly, so so, since x g x lim (f n) lim n n x f n f(x) f() + FTC lim n [f n(x) f n ()] f(x) f() x x g is continuous, so by the FTC, f g lim n (f n ), so g ( ) lim (f n) f FTC lim (f n) n n 27

29 8 Functionl Series 8. The Weierstrss M-Test & Other Useful Results Note: Let (f n ) n be sequence of functions on A R. Then thei functionl series k f k converges pointwise (or uniformly) on A if the sequence of prtil sums S n ( n k f k) n converges pointwise (or uniformly). Theorem 24 : Let (f n ) n R[, b]. Suppose tht S n n k f k converges uniformly. Then k f k R[, b] nd f k k k f k Proof: If (f k ) R[, b], then S n n k f k R[, b] n N, so k f k k f k. Theorem 25 : Suppose tht (f n ) n C[, b] such tht S n n k f k converges uniformly. Then k f k C[, b], nd, x [, b], lim x x k f k (x) lim f k (x) x x k Proof: S n C[, b] n N, so lim x x k f k(x) k lim x x f k (x). Theorem 29 : If (f n ) n C [, b] nd S n n k f k converges uniformly on [, b], then d dx f k (x) k k d dx f k(x) Proof: The proof is left s n exercise. Theorem 3 - Weierstrss M-Test: Let (f n ) n be sequence of functions on A R. Then, if (M k ) k R such tht, x A, fn (x) < Mn nd k M k converges, then n f n converges uniformly. Proof: k M k converges, so ( n k M k) n is Cuchy, so, ε n > N εn such tht n, m > N εn, with n > m, n k M k m k M k < εn. Then n km+ M k < ε n, so, since M K, n km+ M k < ε n. Therefore m f k (x) f k (x) f k (x) f k (x) M k < ε n k k km+ km+ km+ This holds x A, so the sequence of prtil sums of f k is uniformly Cuchy, so k f k converges uniformly to its pointwise limit. Corollry 3.: If (f n ) n is such tht k f k converges, then k f k converges uniformly. 28

30 8.2 Tylor & Fourier Series Motivtion: Tylor polynomils re of the form [ ] S n k! f (k) ()(x ) k nd were studied in Anlysis II. Fourier series re of the form 2 + k ( k cos kx + b k sin kx), x [, 2π] k Applictions of functionl series include solving PDEs, ODEs nd time series. Definition: For ny f R[, π], the series with coefficients given by k π b k π is clled the Fourier series generted by f. 2 + ( k cos kx + b k sin kx) k f(x) cos kx dx, k f(x) sin kx dx, k > Note: It is not immeditely obvious for which clsses of functions this series is convergent, or if it converges to f. Theorem 3: Let ( k ) k, (b k ) k R, with k k nd k b k convergent. Then 2 + k ( k cos kx + b k sin kx) converges uniformly on R. The pointwise limit f : R R is continuous. f is 2π-periodic (f(x + 2π) f(x)). Moreover, k π b k π so the terms of the series cn be recovered. f(x) cos kx dx, k f(x) sin kx dx, k > Proof (Convergence): x R, k cos kx + b k sin kx k cos kx + b k sin kx k + b k. M k. Then k M k k k + b k k k + k b k, so k M k converges, so the Fourier series converges by the M-test. Proof (Continuity): Let f(x). 2 + k ( k cos kx + b k sin kx). Then f C(R). Proof (Periodicity): Let S N (y). 2 + n k ( k cos kx + b k sin kx). Then f(x + 2π) f(x) lim n S n (x+2π) lim n S n (x). Both of these limits exist, so f(x+2π) f(x) lim n S n (x + 2π) S n (x), since cos (k(x + 2π)) cos kx nd sin (k(x + 2π)) sin kx. 29

31 Lemm: m Z e imx dx 2π(m ) where (m ) is the indictor function for m. Proof: For m Z \ {}: For m : So e imx dx cos mx + i sin mx dx e imx dx 2 sin πm cos mx dx + i sin mx dx m e dx e imx dx 2π(m ) dx 2π Proof (Recovery): so Now, nd f(x) dx f(x) cos mx dx ( k cos kx + b k sin kx) dx k [ ] π dx + k cos kx dx + b k sin kx dx π π sin kx cos mx dx k f(x) dx π f(x) cos x dx [ ] [ π ] π cos mx dx+ k cos kx cos mx dx + b k sin kx cos mx dx 4i k k 2i (eikx e ikx ) 2 (eimx e imx ) dx e i(k m)x e i(m k)x + e i(k+m)x e i(m+k)x dx (2π(k m ) 2π(m k )) 4i nd then so cos kx cos mx dx 4 2 (eikx + e ikx ) 2 (eimx e imx ) dx e i(k m)x + e i(m k)x + e i(k+m)x + e i(m+k)x dx 2π(((k m ) + (m k )) π(k m) 4 f(x) cos mx dx m π ( k π(k m)) π m k f(x) cos mx dx The proof for b k is similr nd so is left s n exercise. 3

32 Note: This proof relies on n ppliction of Theorem 24, where the sum is multiplied by bounded function. The proof tht the result holds is left s n exercise. Corollry 3.: If f : [, π] R is C 2 function, ( or f C[, π]), nd f(π) f(). Then the Fourier series generted by f converges to f uniformly. Note: It must be estblished tht (i) The Fourier series converges uniformly. (ii) The limit is f. However, (ii) is firly clunky rgument using existing tools, nd so shll be omitted nd left s n exercise, whilst (i) shll be proved. Proof: b k π So πk πk 2 f(x) sin kx dx f(x) cos kx dx πk πk f (x) cos kx dx πk 2 f (x) sin kx dx b k πk 2 f (x) sin kx dx πk 2 ( [f(x) cos kx ] π ( [f (x) sin kx ] π f(x) sin kx dx πk 2 f sin k 2π 2 k 2 f. c b k 2 f (x) cos kx dx ) f (x) sin kx dx nd c b is independent of k. A similr rgument estblishes tht k c k for k >, where c 2 is lso independent of k. k k converges, so the Fourier series converges by the M-test with M 2 k c+c b k 2 for k >. ) Exmple (Temperture Equilibrtion on Non-Uniformly Heted Ring): Consider the unit circle S. Let ny point on it be described by the ngle ϕ [, π] it mkes with the x-xis, nd let the initil temperture on the ring be given by f(ϕ) C 2 [, π] such tht f() f(π). Then the temperture T t time t t the point t ϕ, for t >, ϕ [, π], is given by the Fourier het eqution T t (t, ϕ) 2 T (t, ϕ) ϕ2 Since the point t π is the sme s the point t, there re some boundry conditions to consider lso: T (t, ) T (t, π) T T (t, ) (t, π) ϕ ϕ The initil condition is given by Throughout this exmple, T (, ϕ) f(ϕ) T. T t, T. T ϕ, T. 2 T ϕ 2 3

33 Now, (cos kϕ) k sin kϕ, nd (cos kϕ) k 2 cos kϕ, so A(t) cos kϕ seems suitble nstz to mke for solution. Substituting this into the het eqution yields A cos kϕ + k 2 A cos kϕ, so A(t) + k 2 A(t), which is n ODE. The boundry conditions re in fct stisfied by either this solution, or one using the nstz B(t) sin kϕ, but neither of these stisfy the initil conditions. Since finite liner combintion of ny of these functions will hve the sme shortcoming, it seems sensible to tke the next nstz s being n infinite liner combintion of them, such s T (t, ϕ) (t) 2 + ( k (t) cos kϕ + b k (t) sin kϕ) k Assume tht T, T, T nd T ll converge uniformly for t >, ϕ [, π]. Then substituting T into the het eqution nd differentiting pointwise yields So 2 + ( k cos kϕ + b k sin kϕ) + ( k k 2 cos kϕ + b k k 2 sin kϕ) k k 2 + [ ( k + k k 2 ) cos kϕ + ( b ] k + b k k 2 ) sin kϕ k which is the Fourier series generted by, so k + k 2 k b k + k 2 b k for k >. This yields infinitely mny ODEs, which require infinitely mny initil conditions. Expnding f(ϕ) C 2 [, π] by Fourier series yields f(ϕ) (f) 2 + k ( (f) k ) cos kϕ + b (f) k sin kϕ where n (f) k denotes the coefficient n k dependent on the function f. This gives the required mount of initil conditions. Then (t) (f) k (t) (f) t k e k2 b k (t) b (f) t k e k2 So T (t, ϕ) (f) 2 + k e k2 t ( (f) k ) cos kϕ + b (f) k sin kϕ Whilst this is solution, its uniqueness must lso be estblished, however tht shll not be done here. Exercise: Check tht T converges uniformly for t, nd tht T, T, T do so lso for t >. Note: Over time, the temperture becomes distributed evenly cross the whole ring, since lim t The pproch to this equilibrium is exponentil. (f) T (t, ϕ) 2 f(ϕ) dϕ Averge Temperture. 2π 32

34 Prt II Norms 9 Normed Vector Spces 9. Definition & Bsic Properties of Norm Definition : Let V be vector spce over R. Then function : V R, with : v V v which stisfies the following: (i) v V, v (positivity). Moreover, v v V (the bility to seprte points). (ii) λ R, v V, λv λ v (bsolute homogeneity). (iii) u, v V, u + v u + v (tringle inequlity). is clled norm on V. A pir (V, ) is clled normed vector spce, or normed spce. Remrks: (ii) nd (iii) use the liner structure of V. Positivity follows from (ii) nd (iii), since, v V, v bs. v v v v + v hom. v + v v + v 2 v, so v. Exmples:., the bsolute vlue, is norm on R. The tringle inequlity is stisfied since x + y x + y. The proofs of the other properties re left s n exercise. 2., the sup norm, is norm on B[, b]. (i) : f B[, b], if f, then sup x [,b] f(x), so, x [, b], f(x), so f on [, b], so cn seprte points ( f g f g, f g > f g). (ii) : λ R, f B[, b], λf sup x [,b] λf(x) supx [,b] λ f(x) λ supx [,b] f(x) λ f, so hs bsolute homogeneity. (iii) f, g B[, b], f + g sup x [,b] f(x) + g(x) sup x [,b] ( f(x) + g(x) ) sup x [,b] f(x) + sup x [,b] g(x) f + g, so f + g f + g, so stisfies the tringle equlity. Note: Norms generlise the notion of mgnitude of vectors in R n. Proposition 34: Let x (x,..., x n ) R n ( vector). Then the following functions on R n re norms: x x 2 n i x i (the txicb or Mnhttn norm) i x i 2 (the Eucliden norm or Eucliden distnce) x mx i n x i 33

35 Proof:. Tringle inequlity: u + v u i + v i ( u i + v i ) i i i i u i + v i u + v 2. For ny u, v R n, u v u i v i u n v 2 cos θ u 2 v 2 i for some θ [, 2π]. This is known s the Cuchy-Schwrz inequlity for R n. Then So u + v 2 2 (u + v) (u + v) (u i + v i ) (u i + v i ) i u (u + v) + v (u + v) Cuchy u 2 u + v 2 + v 2 u + v 2 Schwrz u + v 2 2 u 2 u + v 2 + v 2 u + v 2 The cse where u + v is trivil to check, otherwise u + v 2 u 2 + v 2 3. u + v mx i n u i + v i mx i n ( u i + v i ) mx i n u i + mx i n v i u + v The verifiction of the other properties is left s n exercise. Remrk: All of these norms re instnces of the following fmily of norms: x p x i p i p, p, 2,... In prticulr, x lim p x p Tht this fmily of functions is fmily of norms follows from the Minkowski inequlity: x i + y i p i p x i p i p + y i p i p x, y R n Note : R n cn be thought of s the spce of functions on N n {, 2,..., n} by considering x : N n R, with x : j x j. 34

36 9.2 Equivlence & Bnch Spces Definition 2: Norms nd b on V re clled equivlent (or Lipschitz equivlent) if k, k 2 such tht, v V, k v b v k 2 v b. This equivlence is denoted by b. Remrk: The equivlence of norms is n equivlence reltion on the set of ll norms on V. Tht is,. (choose k k 2 ). 2. b b. 3. If b nd b c, then c. The proof is left s n exercise. Lemm 35:, 2 nd re ll equivlent on R n. Proof: Becuse equivlence is n equivlence reltion, it is enough to prove tht nd 2. Now, x R n, x mx i n x i x So with k, k 2 n. x i i mx x j n x j n i There is similr rgument for the second prt of the proof, lthough much more generl sttement will be proved shortly, nd so this shll be left s n exercise. Definition 3: Let (V, ) be normed spce. Then (i) A sequence (σ n ) n V converges to σ V if lim n σ n σ. (ii) A sequence (σ n ) n V is Cuchy if, ε >, N ε such tht, n, m > N ε, σ n σ m < ε. (iii) If every Cuchy sequence in V converges, then (V, ) is clled Bnch (or complete). A complete normed spce is lso clled Bnch spce. Remrks: Any Cuchy sequence on (R, ) converges, so (R, ) is Bnch. Consider (S[, b], ). Let (s n ) n S[, b] be uniform Cuchy sequence, so (s n ) is Cuchy with respect to. Then s n r R[, b] s n, so, in generl, (s n ) doesn t converge to point in S[, b] becuse not ll regulted functions re step functions, so (S[, b], ) is not Bnch. Note: All finite-dimensionl normed spces re complete. A proof for the cse when the spce is over R shll be given lter. Remrks:. If lim n σ n exists, then it is unique. Suppose tht σ n V nd σ n b V s n. Then b σ n + σ n b σn + σn b s n, so b, so b by seprtion of points. 2. (R[, b], ) is complete, becuse uniformly Cuchy sequence of regulted functions converges to regulted function. Also, (C[, b], ) nd (B[, b], ) re complete by results demonstrted erlier. 35

37 3. Suppose tht b. Then, if lim n σ n σ with respect to, then lim n σ n σ with respect to b. The proof is left s n (importnt) exercise. 4. If b, then (V, ) is Bnch iff (V, b ) is Bnch. This is essentilly consequence of the previous remrk. 5. (V, ) is Bnch iff ny series n σ n which converges bsolutely converges to n element in V. n σ n converges bsolutely if n σn converges. The proof of this is left s n exercise, lthough the direction is difficult. Theorem 36: All norms on R n re (Lipschitz) equivlent. Proof: Let (e,..., e n ) R n be the stndrd bsis of R n. Then, x R n, x n k x ke k. Now, x x k e k k n xk e k x k n n ek mx xj ek x ek j n k k k k Let k 2 n e k. Then k 2 such tht, x R n, x k 2 x. Now, let k { } x x J. inf, A. : x, B. { x : x x x x } Clerly B A by definition. If α A, then u, v R n such tht α u u u u v Then u v u u u so α B, so A B, so B A. Then J inf A inf B, nd clerly J. Suppose tht J. Then x, x 2, x 3,... R n with x k k (so lim k x k ) nd x k k. ) Now, it must be estblished tht there is convergent subsequence (x kp (x k ) k such tht ) p ( ) (x kp x (x (), x (2),..., x (n) ) R n s p with respect to. Let x k x () k, x(2) k,..., x(n) k. Since ( ) ( x k, x () k, so x () k is bounded, so by the Bolzno-Weierstrss theorem x () k k p ( ) )p x () k which converges to x () R. Applying this sme rgument to ech component of x k k ) ( ) yields (x kp such tht x (j) k p p converges to x )p (j) R for ny j n, so (x kp x ( p component-wise s p. Since x (j) k p x )p (j), then, ε >, N ε (j) such tht, n > N ε (j), x (j) k p x (j) x (j) < ε. Let Nε mx j n N ε (j). Then, k > N ε, x kp x mx j n k p x (j) < ε, ) xkp so lim p x, so (x kp x s p with respect to. p Now, x kp x kp x + x x kp x + x, so x x kp x > since xkp x s p, so x by the seprtion of points property of. Also, x x x kp + x kp xkp+ x xkp xkp+k2x xkp. (x kp ) (x k ), sox kp s p, nd it ws estblished tht x x kp s p, so xkp x + k2 xkp s p, so x, so x by the seprtion of points property of. However, this is contrdiction, so J >, so let k J. Then, from the definition of J, k x x x R n \ {}, nd if x, then x x, so k x x, so k x x x R n, so k x x k 2 x x R n, so on R n, so ll norms re equivlent on R n. 36

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

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

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

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

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

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

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

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

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

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

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

IMPORTANT THEOREMS CHEAT SHEET

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

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

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

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

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

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

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

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

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

The Henstock-Kurzweil integral

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

Math 360: A primitive integral and elementary functions

Math 360: A primitive integral and elementary functions Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:

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

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

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

11 An introduction to Riemann Integration

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

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

Chapter 6. Riemann Integral

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

Main topics for the First Midterm

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

Calculus in R. Chapter Di erentiation

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

Advanced Calculus I (Math 4209) Martin Bohner

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

Definite integral. Mathematics FRDIS MENDELU

Definite integral. Mathematics FRDIS MENDELU Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the

More information

Week 10: Riemann integral and its properties

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

Review of Calculus, cont d

Review of Calculus, cont d Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some

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

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

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

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30 Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function

More information

Calculus II: Integrations and Series

Calculus II: Integrations and Series Clculus II: Integrtions nd Series August 7, 200 Integrls Suppose we hve generl function y = f(x) For simplicity, let f(x) > 0 nd f(x) continuous Denote F (x) = re under the grph of f in the intervl [,x]

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

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

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

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

1 The Riemann Integral

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

Analysis III. Ben Green. Mathematical Institute, Oxford address:

Analysis III. Ben Green. Mathematical Institute, Oxford  address: Anlysis III Ben Green Mthemticl Institute, Oxford E-mil ddress: ben.green@mths.ox.c.uk 2000 Mthemtics Subject Clssifiction. Primry Contents Prefce 1 Chpter 1. Step functions nd the Riemnn integrl 3 1.1.

More information

II. Integration and Cauchy s Theorem

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

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

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

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

Mapping the delta function and other Radon measures

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

For a continuous function f : [a; b]! R we wish to define the Riemann integral

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

MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.

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

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).

The First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a). The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples

More information

Math 118: Honours Calculus II Winter, 2005 List of Theorems. L(P, f) U(Q, f). f exists for each ǫ > 0 there exists a partition P of [a, b] such that

Math 118: Honours Calculus II Winter, 2005 List of Theorems. L(P, f) U(Q, f). f exists for each ǫ > 0 there exists a partition P of [a, b] such that Mth 118: Honours Clculus II Winter, 2005 List of Theorems Lemm 5.1 (Prtition Refinement): If P nd Q re prtitions of [, b] such tht Q P, then L(P, f) L(Q, f) U(Q, f) U(P, f). Lemm 5.2 (Upper Sums Bound

More information

ON THE C-INTEGRAL BENEDETTO BONGIORNO

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

Lecture notes. Fundamental inequalities: techniques and applications

Lecture notes. Fundamental inequalities: techniques and applications Lecture notes Fundmentl inequlities: techniques nd pplictions Mnh Hong Duong Mthemtics Institute, University of Wrwick Emil: m.h.duong@wrwick.c.uk Februry 8, 207 2 Abstrct Inequlities re ubiquitous in

More information

Calculus I-II Review Sheet

Calculus I-II Review Sheet Clculus I-II Review Sheet 1 Definitions 1.1 Functions A function is f is incresing on n intervl if x y implies f(x) f(y), nd decresing if x y implies f(x) f(y). It is clled monotonic if it is either incresing

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

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

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

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

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

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

Principles of Real Analysis I Fall VI. Riemann Integration

Principles of Real Analysis I Fall VI. Riemann Integration 21-355 Principles of Rel Anlysis I Fll 2004 A. Definitions VI. Riemnn Integrtion Let, b R with < b be given. By prtition of [, b] we men finite set P [, b] with, b P. The set of ll prtitions of [, b] will

More information

Mathematical Analysis: Supplementary notes I

Mathematical Analysis: Supplementary notes I Mthemticl Anlysis: Supplementry notes I 0 FIELDS The rel numbers, R, form field This mens tht we hve set, here R, nd two binry opertions ddition, + : R R R, nd multipliction, : R R R, for which the xioms

More information

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy

More information

Week 7 Riemann Stieltjes Integration: Lectures 19-21

Week 7 Riemann Stieltjes Integration: Lectures 19-21 Week 7 Riemnn Stieltjes Integrtion: Lectures 19-21 Lecture 19 Throughout this section α will denote monotoniclly incresing function on n intervl [, b]. Let f be bounded function on [, b]. Let P = { = 0

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

Anti-derivatives/Indefinite Integrals of Basic Functions

Anti-derivatives/Indefinite Integrals of Basic Functions Anti-derivtives/Indefinite Integrls of Bsic Functions Power Rule: In prticulr, this mens tht x n+ x n n + + C, dx = ln x + C, if n if n = x 0 dx = dx = dx = x + C nd x (lthough you won t use the second

More information

NOTES AND PROBLEMS: INTEGRATION THEORY

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

Homework 11. Andrew Ma November 30, sin x (1+x) (1+x)

Homework 11. Andrew Ma November 30, sin x (1+x) (1+x) Homewor Andrew M November 3, 4 Problem 9 Clim: Pf: + + d = d = sin b +b + sin (+) d sin (+) d using integrtion by prts. By pplying + d = lim b sin b +b + sin (+) d. Since limits to both sides, lim b sin

More information

Preliminaries From Calculus

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

Integrals along Curves.

Integrals along Curves. Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the

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

Review on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.

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

The Riemann-Lebesgue Lemma

The Riemann-Lebesgue Lemma Physics 215 Winter 218 The Riemnn-Lebesgue Lemm The Riemnn Lebesgue Lemm is one of the most importnt results of Fourier nlysis nd symptotic nlysis. It hs mny physics pplictions, especilly in studies of

More information

LECTURE. INTEGRATION AND ANTIDERIVATIVE.

LECTURE. INTEGRATION AND ANTIDERIVATIVE. ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE. INTEGRATION AND ANTIDERIVATIVE. ROTHSCHILD CAESARIA COURSE, 2015/6 1. Integrtion Historiclly, it ws the problem of computing res nd volumes, tht triggered development

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

Indefinite Integral. Chapter Integration - reverse of differentiation

Indefinite Integral. Chapter Integration - reverse of differentiation Chpter Indefinite Integrl Most of the mthemticl opertions hve inverse opertions. The inverse opertion of differentition is clled integrtion. For exmple, describing process t the given moment knowing the

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

Functional Analysis I Solutions to Exercises. James C. Robinson

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

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

Analysis Comp Study Guide

Analysis Comp Study Guide Anlysis Comp Study Guide The Rel nd Complex Number Systems nd Bsic Topology Theorem 1 (Cuchy-Schwrz Inequlity). ( n ) 2 k b k b 2 k. 2 k As ( k tb k ) 2 0, s qudrtic in t it hs t most one root. So the

More information

A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction

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

7 Improper Integrals, Exp, Log, Arcsin, and the Integral Test for Series

7 Improper Integrals, Exp, Log, Arcsin, and the Integral Test for Series 7 Improper Integrls, Exp, Log, Arcsin, nd the Integrl Test for Series We hve now ttined good level of understnding of integrtion of nice functions f over closed intervls [, b]. In prctice one often wnts

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

Math 1B, lecture 4: Error bounds for numerical methods

Math 1B, lecture 4: Error bounds for numerical methods Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the

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

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

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn

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

MA Handout 2: Notation and Background Concepts from Analysis

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