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.

Size: px
Start display at page:

Download "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."

Transcription

1 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 integrl my seem strnge. And not surprisingly, there is more thn one wy to define the integrl. We strt with the Drboux integrl nd lter show it is equivlent to the Riemnn integrl. 6.. Drboux Integrl Throughout this chpter we ssume [, b] be closed, bounded intervl, nd tht the functions f : [, b] R under considertion re bounded. Definition 6.. Let [, b] be closed, bounded intervl. (i) A Prtition of [, b] is set of points P = {x, x, x 2,..., x n, x n } with = x < x < < x n = b. (ii) The norm of prtition is kp k = mx i n x i x i. (iii) A Refinement of P is prtition Q of [, b] such tht P Q. We sy Q is finer thn P. Note tht kqk kp k. In ddition, if P nd Q re prtition of [, b], P Q is finer thn both P nd Q. Definition 6.2. Let f : [, b] R be bounded. Set M j (f) = () The upper-drboux Sum of f over P is sup f(x) m j (f) = inf f(x). x j x x j x j x x j U(P, f) = M j (f)(x j x j ). j= 65

2 66 6. Integrtion (b) The lower-drboux Sum of f over P is L(P, f) = m j (f)(x j x j ). j= The following lemm provides reltionship between the upper/lower Drboux sums nd prtitions. Lemm 6.3. Let P be ny prtition of [, b] nd Q be ny refinement of P. Then L(P, f) L(Q, f) U(Q, f) U(P, f). Proof. Let P = {x, x,..., x n }. By ssumption P Q. Let us suppose one point, z, hs been dded to P. Specificlly, suppose x j < z < x j for some j. Cll the new prtition P. Let M j (f) = sup{f(x) : x [x j, x j ]}, m j (f) = inf{f(x) : x [x j, x j ]}, β (f) = inf{f(x) : x [x j, z]}, β 2 (f) = inf{f(x) : x [z, x j ]}. Note m j β nd m j β 2 since m j is the infimum over lrger set. Moreover, we my write x j x j = (x j z) + (z x j ). Thus L(P, f) = m i (f)(x i x i ) = Xj m i (f)(x i x i ) + m j (f)(x j x j ) + i=j+ Xj m i (f)(x i x i ) + β (z x j ) + β 2 (x j z) + i=j+ = L(P, f) m i (f)(x i x i ) m i (f)(x i x i ) A similr rgument shows U(P, f) U(P, f). If Q contins points not in P, we repet the rgument (there cn only be finite number of dditionl points) to obtin L(P, f) L(Q, f) nd U(Q, f) U(P, f). The definition of the upper nd lower sums implies L(Q, f) U(Q, f), nd the inequlity follows. Corollry 6.4. We hve L(P, f) U(Q, f) for ny prtitions P nd Q of [, b]. Proof. Since P Q is refinement of both P nd Q, L(P, f) L(P Q, f) U(P Q, f) U(Q, f). We re redy to define the integrl. Definition 6.5. The function f : [, b] R is sid to be Drboux Integrble on [, b] if nd only if f is bounded nd, for ll ǫ >, there exists prtition, P, of [, b] such tht U(P, f) L(P, f) < ǫ. In this cse we sy f R[, b] (the R stnds for Riemnn).

3 6.. Drboux Integrl 67 is. Note the definition of the existence of the integrl does not sy wht the integrl Definition 6.6. Let f : [, b] R be bounded. Set (i) (ii) f(x) dx = inf{u(p, f) P prtition of [, b]} f(x) dx = sup{l(p, f) P prtition of [, b]} If f(x) dx = f(x) dx, we sy the integrl of f is f(x) dx. You might wonder why the sup nd inf exist in the definition. Lemm 6.7. If f : [, b] R is bounded, then both exist. Moreover, f(x) dx f(x) dx. f(x) dx nd f(x) dx Proof. Recll tht L(P, f) U(Q, f) for ny prtitions P, Q of [, b]. Thus the numbers L(P, f) re bounded bove nd by the completeness xiom sup L(P, f) P exists. Similrly, U(Q, f) is bounded below by ny L(P, f), nd so inf U(P, f) P exist. Tking the supremum of the left side of the inequlity L(P, f) U(Q, f), we find f(x) dx U(Q, f). Tking the infimum of the right side provides the inequlity in the lemm. You might hope too tht f R[, b] implies R b f(x) dx exists. Theorem 6.8. Suppose f R[, b]. Then f(x) dx = f(x) dx. Proof. Since f R[, b], for ll ǫ >, there exists prtition of [, b] such tht U(P, f) L(P, f) < ǫ. Thus Tht is, L(P, f) nd the result follows. f(x) dx f(x) dx f(x) dx U(P, f). f(x) dx U(P, f) L(P, f) < ǫ,

4 68 6. Integrtion Exmple 6.9. Prove the function f(x) = is in R[, ] nd find the integrl. x <, 2 x =. Proof. Let ǫ >. Set P = {, ǫ 2, }. Then M (f) = = m (f), nd M 2 (f) = 2, m 2 (f) = ( sketch of the function nd the prtition might be useful). Thus U(P, f) = ǫ ( ǫ 2 ) = + ǫ 2 L(P, f) = ǫ 2 + ( ǫ 2 ) =, nd hence U(P, f) L(P, f) = ǫ/2 < ǫ nd f R[, ]. or To find the integrl note which implies Z L(P, f) f(x) dx =. Z Z f(x) dx U(P, f) f(x) dx + ǫ 2 Exmple 6.. Show tht Dirichlet s function x Q, f(x) = x Q c. is not in R[, ]. Proof. To show function is not integrble we must show the existence of ǫ > such tht for ll prtitions of [, b], U(P, f) L(P, f) ǫ. Let ǫ = /2. For ny prtition of [, ] we hve M j (f) = nd m j (f) =. Thus U(P, f) L(P, f) = U(P, f) = (x j x j ) = ǫ nd f is not integrble. Integrble functions cn be complicted s the next exmple shows. j= Exmple 6.. Consider the function on [, ] x = n f(x) = x 6= n. Prove f R[, ]; i.e. f is Drboux integrble nd find the integrl.

5 6.. Drboux Integrl 69 Proof. Let ǫ >. By the Archimeden Property n n N exists so tht 2/ǫ < n. Tht is /n < ǫ/2. By the Well-Ordering Property, minimum such n (gin clled n ) exists. Tht is, (6.) < ǫ n 2 n. We ssume, without loss of generlity, tht n > 2. Behold: Set P to be the prtition P =, + ǫ2 n 6, n ǫ2 6, n + ǫ2 6, n 2 ǫ2 6, n 2 + ǫ2 6,..., ǫ2 6, = {, x, x 2,..., x 2n 2, }. Before we check tht P is in fct prtition of [, ], we compute the upper-drboux sum. We hve, using (6.) nd /(n ) < 2/n (becuse n > 2), U(P, f) = + ǫ2 ǫ28 ǫ2 + (n 2) + n 6 6 = + (n ) ǫ 2 n 2 2 < ǫ (n ) n = ǫ 2 + 2(n ) < ǫ 2 + < ǫ n 2 + ǫ 2 = ǫ. Moreover, L(P, f) =. Thus, U(P, f) L(P, f) < ǫ nd f is Drboux Integrble provided P is prtition of [, ]. To show P is prtition, we need only check x < x 2 since the gps grow for incresing x i. Tht is, if x < x 2, the rest of the terms in the prtition re ordered. Here, x 2 x = n ǫ2 + ǫ2 n 2 = 6 n 6 2n (n ) 2. This is positive for n > 2, which we hve ssumed without loss of generlity. or To find the integrl note which implies Z L(P, f) f(x) dx =. Z Z f(x) dx U(P, f) f(x) dx ǫ

6 7 6. Integrtion 6.2. Chrcteriztions of The Integrl In this section we give five different equivlent chrcteriztions of the integrl. For given problem, one chrcteriztion my be esier to pply thn nother. Definition 6.2. Let P be ny prtition of [, b] nd f : [, b] R is bounded. The Riemnn Sum with respect to P is S(P, f) = f(t i )(x i x i ), where x i t i x i. Agin throughout f : [, b] R is bounded. We recll the definition of f R[.b] s the first (zeroth) chrcteriztion. The other chrcteriztions re stted s theorems. However, when we refer to the chrcteriztions we men the lterntive description of f R[, b] given in the chrcteriztion. Definition. f R[, b] if nd only if, for ll ǫ >, there exists prtition, P, of [, b] such tht U(P, f) L(P, f) < ǫ. Chrcteriztion I. f R[, b] if nd only if f(x) dx = f(x) dx = f(x) dx. Chrcteriztion II. f R[, b] if nd only if, for ll ǫ >, there exists prtition, P ǫ, of [, b] such tht, for ny refinement P ǫ P, U(P, f) L(P, f) < ǫ. Chrcteriztion III. f R[, b] if nd only if there exists I R such tht for ll ǫ > there exists prtition, P ǫ, of [, b] such tht, for ny refinement P ǫ P nd ny Riemnn sum S(P, f), we hve S(P, f) I < ǫ. In this cse I = Chrcteriztion IV. f R[, b] if nd only if there exists I R such tht I = lim S(P, f) = lim f(t i )(x i x i ). kp k kp k f(x) dx. Tht is, for ll ǫ > there exists δ > such tht, for ll prtitions, P, of [, b], kp k < δ implies S(P, f) I < ǫ. Agin I = f(x) dx. Chrcteriztion IV cn be tken s the definition of Riemnn integrl. Thus Chrcteriztion IV shows the Drboux nd Riemnn integrls re the sme.

7 6.2. Chrcteriztions of The Integrl 7 Theorem 6.3. Chrcteriztion I nd f R[.b] re equivlent. Proof. We showed in Theorem 6.8 f R[.b] implies Chrcteriztion I. Suppose f(x) dx = f(x) dx. By the properties of supremums nd infimums, given ny ǫ >, there exists prtitions P, P 2 of [, b] such tht Let P = P P 2. Then Tht is, f(x) dx ǫ 2 < L(P, f), f(x) dx + ǫ 2 > U(P 2, f). f(x) dx ǫ 2 < L(P, f) L(P, f) U(P, f) U(P 2, f) < U(P, f) L(P, f) < nd thus f R[, b]. = ǫ, f(x) dx + ǫ 2! f(x) dx ǫ 2 f(x) dx + ǫ 2. Theorem 6.4. Both Chrcteriztions III nd IV imply f R[.b]. In prticulr, if bounded function is Riemnn integrble, it is Drboux integrble. Proof. Suppose bounded function f stisfies Chrcteriztion III or IV. Let ǫ >. Then either prtition P ǫ = {x, x,..., x n } of [, b] exists or δ > exists such tht ny prtition of [, b] with kp k < δ implies f(t i )(x i x i ) I < ǫ/3 i=n for ll t i [x i, x i ], i =, n. We need to show U(P, f) L(P, f) < ǫ. By the properties of supremum nd infimum, there exist t i nd s i such tht ǫ M i (f) 6(b ) < f(t ǫ i), m i (f) + 6(b ) > f(s i). This implies Thus U(P ǫ ) L(P ǫ ) = M i (f) m i (f) < f(t i ) f(s i ) + (M i (f) m i (f))(x i x i ) ǫ, ǫ 3(b ). ǫ (f(t i ) f(s i )(x i x i ) + (x i x i ) 3(b ) f(t i )(x i x i ) I + n I X f(s i )(x i x i ) + ǫ 3!

8 72 6. Integrtion nd f R[, b]. Next we show I = f(x) dx. Let ǫ >. Agin by the properties of supremum nd infimum there exists prtitions, P, P ǫ nd P 2 such tht L(P, f) > f(x) dx ǫ 3, S(P ǫ, f) I < ǫ 3, U(P 2, f) L(P 2, f) < ǫ 3. Set P = P P ǫ P 2. Then L(P, f) S(P, f) U(P, f) < L(P, f) + ǫ 3, or S(P, f) L(P, f) < ǫ/3, nd I f(x) dx Since this is true for ll ǫ >, I = < ǫ. I S(P, f) + S(P, f) L(P, f) + L(P, f) f(x) dx. f(x) dx Theorem 6.5. f R[.b] implies Chrcteriztion III. Proof. Let ǫ > be given. By the properties of supremums nd infimums, given ny ǫ, the exists prtitions, P, P 2 of [, b] such tht f(x) dx ǫ 2 < L(P, f), Set P ǫ = P P 2. For ny refinement P ǫ P we hve Similrly Thus Tht is, f(x) dx + ǫ 2 > U(P 2, f). U(P, f) < U(P, f) + ǫ 2 U(P, f) + ǫ 2 < f(x) dx + ǫ. L(P, f) > f(x) dx ǫ. f(x) dx ǫ < L(P, f) S(P, f) U(P, f) < S(P, f) f(x) dx < ǫ f(x) dx + ǫ. for ny prtition P of [, b] with P ǫ P. This is Chrcteriztion III. The proof tht bounded function is Drboux integrble implies it is Riemnn integrble is much hrder. We first must relte the upper nd lower sums of given fixed prtition of [, b] to ny prtition with kp k smll.

9 6.2. Chrcteriztions of The Integrl 73 Lemm 6.6. f : [, b] R is bounded. Let P be ny prtition of [, b]. For ny ǫ > there exists δ >, such tht, for ny prtition P of [, b] with kp k < δ, U(P, f) U(P P, f) < ǫ. Proof. Since f is bounded, there exists M such tht f(x) M for ll x [.b]. Let ǫ >. Suppose the given prtition P = {x, x..., x n }. Set δ = ǫ/4nm. Let P be ny prtition of [, b] with kp k < δ ( sketch of the prtitions P nd P would be beneficil. In sketching the prtitions, think of P s much more refined thn P ). To sy more, suppose P = {y i }, nd P P = {x i } {y i } = {z i } with the {z i } ordered. For exmple, perhps the order might be {z i } = {, y, x, y 2, y 3, y 4, y 5,...}. In the event cell [z i, z i ] does not contin x i, then both U(P, f) nd U(P P, f) contin M i (f)(y i y i ) nd tht term cncels. So in our exmple the first few terms re U(P, f) U(P P, f) = sup f(x)(y ) + sup f(x)(y 2 y ) +... x y y x y 2 sup f(x)(y ) + sup f(x)(x y ) + sup f(x)(y 2 x ) +... x y y x x x x y 2 sup f(x)(y 2 y ) +... M y x y 2 (y 2 y ) + (y 3 y 2 ) +... < M2δ +..., where the like terms cncel, nd the remining terms in U(P P, f) re dropped. Thus, we see every occurrence of x i between two y i does not cncel nd leds to term from U(P, f) in the form sup f(x)(y i y i ) which cn by estimted y i x y i by M2δ. Since there re n terms in P (i.e. totl of n x i s), this cnnot hppen more thn n times, nd we hve U(P, f) U(P P, f) < 2nMδ = ǫ. Theorem 6.7. f R[.b] implies Chrcteriztion IV. Tht is, if bounded function is Drboux integrble, it is Riemnn integrble. Proof. With Lemm 6.6, the proof is lmost identicl to the proof of Theorem 6.5 (tht f R[, b] implies Chrcteriztion III). Let ǫ > be given nd P be chosen so tht U(P, f) < f(x) dx + ǫ 2. Set δ = ǫ/8nm nd let P be ny prtition of [, b] with kp k < δ. By the previous lemm U(P, f) < U(P P, f) + ǫ 2 U(P, f) + ǫ 2 < f(x) dx + ǫ, for ll prtitions of [, b] with kp k < δ.

10 74 6. Integrtion Similrly, there is δ 2 > such tht L(P, f) > f(x) dx ǫ for ll prtitions of [, b] with kp k < δ 2. Let δ = min{δ, δ 2 }. Then Tht is, f(x) dx ǫ < L(P, f) S(P, f) U(P, f) < S(P, f) f(x) dx < ǫ f(x) dx + ǫ. for ny prtition P of [, b] with kp k < δ. This is Chrcteriztion IV. Chrcteriztion II is resttement of the definition. It is designed to pper more like limit Algebr of Integrble Functions In this section we estblish some well known properties of integrls. The proofs in this section could be shortened by using Chrcteriztion IV in the previous section. This would involve using the Riemnn integrl insted of the Drboux integrl. In n effort to keep the exposition self contined s possible, we eschew use of the Riemnn integrl when prcticble. We strt with severl lemms which build towrd the expected lgebr involving integrls. Lemm 6.8. If f R[, b], f R[, b] nd (6.2) f dx = f dx. Proof. We estblished in the proof Theorem 2.4 tht sup I ( f) = inf(f). Moreover, inf I so tht ( f) = sup I (f). Let ǫ >. Since f R[, b], prtition P of [, b] exists U(P, f) L(P, f) = (M i (f) m i (f))(x i x i ) < ǫ. However, m i (f) = M i ( f) nd M i (f) = m i ( f). Thus ( m f ( f) + M i ( f))(x i x i ) < ǫ. This shows U(P, f) L(P, f) < ǫ nd estblishes f R[, b]. To find the integrls, we clculte f dx = f dx U(P, f) = L(P, f) U(P, f) + ǫ f dx + ǫ. I

11 6.3. Algebr of Integrble Functions 75 Similrly, f dx = f dx L(P, f) = U(P, f) L(P, f) ǫ Combining the two we conclude Z! b f dx f dx ǫ. Since ǫ > is rbitrry, (6.2) is estblished. f dx! < ǫ. Lemm 6.9. If f R[, b] nd c R, c f R[, b] nd (6.3) c f dx = c f dx. Proof. We first suppose c >. It is strightforwrd to show sup I (c f(x)) = c sup I (f(x)). Similrly, we see inf I (c f(x)) = c inf I (f(x)). Hence, for ny prtition P of [, b] U(P, c f) = c U(P, f) nd L(P, c f) = c L(P, f). Let ǫ >. Then prtition P of [, b] exists so tht U(P, f) L(P, f) < ǫ/c. Then nd so c f R[, b]. U(P, c f) L(P, c f) = c (U(P, f) L(P, f)) < ǫ To estblish the integrls we rgue s in the previous lemm. We clculte In the sme wy, we find c f dx = c f dx U(P, c f) = c U(P, f) < c (L(P, f) + ǫ/c ) c f dx + ǫ. c f dx L(P, c f) = c L(P, f) c U(P, f) ǫ c f dx ǫ. Combining these we find Tht is, c f dx ǫ Since ǫ > is rbitrry, (6.3) follows. c f dx c f dx + ǫ. c f dx c f dx < ǫ.

12 76 6. Integrtion If c <, then c >. We pply the bove nd the Lemm 6.8 to gin conclude c f R[, b] nd (6.3). Theorem 6.2. Suppose f, f 2 R[, b]. Then (i) for ny c, c 2 R, c f + c 2 f 2 R[.b] nd (c f + c 2 f 2 ) dx = c f dx + c 2 f 2 dx. (ii) If f (x) f 2 (x) for ll x [, b], then f (x) dx (iii) If m f(x) M for ll x [.b], (iv) If c (, b), m(b ) f(x) dx = Z c f 2 (x) dx. f(x) dx M(b ). f(x) dx + c f(x) dx. Proof. To prove (i) we first show f + f 2 R[, b]. Problem 2.5 shows, for ny prtition P of [, b], U(P, f + f 2 ) U(P, f ) + U(P, f 2 ) L(P, f + f 2 ) L(P, f ) + L(P, f 2 ). Let ǫ >. Then prtitions P nd P 2 of [, b] exist so tht U(P, f ) L(P, f ) < ǫ/2 nd U(P 2, f 2 ) L(P 2, f 2 ) < ǫ/2. Set P = P P 2. Then U(P, f + f 2 ) L(P, f + f 2 ) (U(P, f ) L(P, f )) + (U(P, f 2 ) L(P, f 2 )) < ǫ. This proves f + f 2 R[, b]. To find reltionship between the integrls we copy the ides of the previous two lemms. We hve A similr clcultion shows (f + f 2 ) dx U(P, f + f 2 ) U(P, f ) + U(P, f 2 ) < L(P, f ) + ǫ 2 + L(P, f 2) + ǫ 2 (f + f 2 ) dx > As before this shows (f + f 2 ) dx Since ǫ > is rbitrry, (6.4) (f + f 2 ) dx = f dx + f dx + f dx + f 2 dx + ǫ. f dx + f 2 dx ǫ. f 2 dx! f 2 dx. < ǫ.

13 6.3. Algebr of Integrble Functions 77 For rbitrry constnts c, c 2 R it follows from Lemm 6.9 tht c f R[, b] nd c 2 f 2 R[, b]. The bove shows c f + c 2 f 2 R[, b]. To estblish the integrl in (i), we pply (6.4) nd (6.3). To prove (ii) note tht L(P, f ) L(P, f 2 ) for ny prtition P of [, b]. Thus f (x) dx = f (x) dx f 2 (x) dx = f 2 (x) dx. To prove (iii) we ppel to the definition of f R[, b]. We note tht P = {, b} is prtition of [, b], nd L(P, f) = m(b ), U(P, f) = M(b ). Using the properties of prtitions given in Lemm 6.3, we hve for ny prtition, P of [, b] m(b ) L(P, f) f(x) dx U(P, f) M(b ). s required. Prt (iv) is left to the exercises (see Problem 6.9). Theorem 6.2. Suppose f R[, b]. Then f R[, b] nd (6.5) f(x) dx f(x) dx. Proof. We clim (6.6) M i ( f ) m i ( f ) M i (f) m i (f). Indeed, suppose x, y [x i, x i ]. If if f(x), f(y) f(x) f(y) = f(x) f(y) M i (f) m i (f); if f(x) f(y), then m i (f) nd f(x) f(y) = f(x) + f(y) M i (f) + M i (f) m i (f); if f(y) f(x), then, f(x) f(y) f(x) + f(y) M i (f) m i (f). In ll cses we see f(x) M i (f) m i (f)+ f(y). Tking the supremum of the left side M i ( f ) M i (f) m i (f)+ f(y). Then f(y) M i ( f ) M i (f)+m i (f). This implies m i ( f ) M i ( f ) M i (f)+m i (f), nd M i ( f ) m i ( f ) M i (f) m i (f). Let ǫ >. Then there exists prtition of [, b] such tht U(P, f) L(P, f) < ǫ. Inequlity (6.6) implies U(P, f ) L(P, f ) U(P, f) L(P, f) < ǫ, nd f R[, b]. Since f(x) f(x) f(x), Theorem 6.2, (ii) implies (6.5). Theorem Suppose f, g R[, b]. Then fg R[, b].

14 78 6. Integrtion Proof. Suppose f 2 R[, b] when f R[, b]. Then f(x)g(x) = (f(x) + g(x))2 f 2 (x) g 2 (x) 2 is in R[, b] by Theorem 6.2. To show f 2 R[, b], note tht M i (f 2 ) = (M i ( f )) 2 nd m i (f 2 ) = (m i ( f )) 2 (see Problem 2.6). Thus M i (f 2 ) m i (f 2 ) = (M i ( f )) 2 (m i ( f )) 2 = (M i ( f ) + m i ( f ))(M i ( f ) m i ( f )) 2M(M i ( f ) m i ( f )), where M is the bound on f. Since f R[, b], there exists prtition of [, b] such tht U(P, f ) L(P, f ) < ǫ/(2m) for ny ǫ >. Then U(P, f 2 ) L(P, f 2 ) 2M(U(P, f ) L(P, f )) < ǫ. This shows f 2 R[, b] Clsses of Integrble Functions We would like to chrcterize functions which re Riemnn integrble. mke some hedwy in tht direction. We cn Theorem If f : [, b] R is continuous (we sometimes write this f C[, b]), then f R[, b]. Proof. Since f C[, b], f is uniformly continuous (Theorem 4.4). Let ǫ >. Thus, there exists δ > such tht x, y [, b], x y < δ implies f(x) f(y) < ǫ/(b ). Let P be ny prtition of [, b] with kp k < δ. On nd subintervl [x i, x i ] there exists x m, x m [x i, x i ] (Theorem 4.26) such tht f(x M ) = M i (f) nd f(x m ) = m i (f). Since kp k < δ, x M x m < δ nd f(x M ) f(x m ) = M i (f) m i (f) < ǫ/(b ). Thus U(P, f) L(P, f) = < nd f R[, b]. (M i (f) m i (f))(x i x i ) ǫ b (x i x i ) = ǫ, Theorem If f : [, b] R is monotone, then f R[, b]. Proof. Suppose f is monotone incresing. Note f is bounded since f(x) f(b) for ll x [, b]. Let ǫ >. Choose δ > so tht (f(b) f())δ < ǫ. Choose

15 6.4. Clsses of Integrble Functions 79 prtition of [, b] so tht kp k < δ. Since f is incresing, m i (f) = f(x i ) nd M i (f) = f(x i ). Thus U(P, f) L(P, f) = (M i (f) m i (f))(x i x i ) < (M i (f) m i (f))δ = (f(b) f())δ < ǫ, nd f R[, b]. If f is decresing, then f is incresing, nd f R[, b]. By the lgebr of integrtion f R[, b]. Theorem Suppose f R[, b], nd g = f except t finite number of points. Then g R[, b], nd g(x) dx = f(x) dx. Proof. Suppose f differs from g t exctly one point in [, b], sy t z. Given ǫ > there exists prtition P of [, b] such tht U(P, f) L(P, f) < ǫ/2. We my ssume, by refining P if necessry, tht z is in P. Then Xj U(P, g) L(P, g) = (M i (f) m i (f))(x i x i ) +(M j (g) m j (g))(z x j ) + (M j+ (g) m j+ (g))(x j+ z ) + (M i (f) m i (f))(x i x i ). i=j+2 We note tht (though we do not need explicitly) nd M j (g) = mx{m j (f), g(z )}, M j+ (g) = mx{m j+ (f), g(z )}, m j (g) = min{m j (f), g(z )}, m j+ (g) = min{m j+ (f), g(z )}. The differences M j (g) m j (g) nd M j+ (g) m j+ (g) re therefore bounded. We cll the bound M. We my refine the prtition P, if necessry, so tht (M j (g) m j (g))(z x j ) + (M j+ (g) m j+ (g))(x j+ x ) M (z x j ) + (x j+ z ) < ǫ/2. It follows U(P, g) L(P, g) < ǫ nd g R[, b]. Next we show the integrls of f nd g re the sme. Agin by properties of supremum (Theorem 2.) there exist prtitions P nd P 2 of [, b] such tht U(P, f) < f(x) dx + ǫ 3, U(P 2, g) < g(x) dx + ǫ 3. Set P = P P 2. By refining P if necessry, s we did in computing U(P, g) L(P, g) bove, we my require U(P, f) U(P, g) < ǫ 3.

16 8 6. Integrtion Combining these we find f(x) dx g(x) dx < ǫ. f(x) dx U(P, f) + U(P, f) U(P, g) + U(P, g) g(x) dx Since ǫ > is rbitrry, we conclude R b g = R b f. If g differs from f on [, b] t m points, we mke sequence of functions g i, i m with g m = g, g differing from f t one point nd g i+ differing from g i t one point. We then iterte the bove proof m times to conclude R b f = R b g = R b g 2 = = R b g. While we will not hve time to develop the tools necessry to completely chrcterize which functions re Riemnn integrble, we stte the theorem here. Theorem A bounded function f is Riemnn integrble if nd only if it is continuous lmost everywhere. Here lmost everywhere mens in the sense of Lebesgue mesure. We will not discuss this further. However, the following corollry my be bit more pltble. It shows Theorem 6.25 remins vlid even if f differs from g t countble number of points. Corollry A bounded function f is Riemnn integrble if it is continuous everywhere except t countble number of points. We close with one more theorem - whose proof we leve to the exercises (see Problem 6.6). Theorem Suppose f is bounded on [, b] nd f is Riemnn integrble on every closed subintervl of (, b), then f R[, b]. Exmple Consider the function on [, ] x = n f(x) = x 6= n. Prove f R[, ] using three different methods. Proof. In Exmple 6. we proved directly tht f R[, b]. Note tht f is equl to the continuous function zero everywhere except t countble number of points. Corollry 6.27 pplies nd f R[, b]. Finlly, note on every subintervl of (, ) f is equl to zero everywhere except finite number of points. Thus by Theorem 6.25 f is integrble on every subintervl of (, ). Now Theorem 6.28 pplies nd f R[, b].

17 6.5. The Fundmentl of Clculus nd Derivtives of Integrls The Fundmentl of Clculus nd Derivtives of Integrls As you might expect there is reltion between integrls nd derivtives from your elementry clculus dys. In prticulr, one might expect the function defined by F (x) = Z x f(x) dx not only to be differentible but lso F (x) = f(x). In prticulr, given ny function f, we might expect R x f(x) dx to be n ntiderivtive of f. If you think this, the next exmples show you would be wrong. Exmple 6.3. Consider (yet gin) the function x = n f(x) = x 6= n, on [, ]. Set F (x) = Z x f(x) dx. We know from Exmple 6. tht F (x) =. Thus F is differentible, but F 6= f. Exmple 6.3. Consider the function x 2 sin(/x 2 ) < x F (x) = x =. One cn check tht F = f exists on [, ]. However, F is not bounded on [, ] nd R therefore not Riemnn integrble. Thus f hs n ntiderivtive, but F (x) 6= x f(x) dx. Exmple Consider the function x < f(x) = x on [, ]. As we sw Exmple 5.7, there is no function such tht F = f on [, ]. The function f does not hve n ntiderivtive. However, F (x) = R x f(s) ds mkes sense. On my wonder wht is the reltionship between F nd f in (6.7) in generl.we hve Theorem Let f be bounded on [, b] nd Riemnn integrble on [, b]. Set for x [, b]. Then (i) F is continuous on [, b] F (x) = Z x f(s) ds (ii) If f is continuous t x [, b], F (x ) = f(x )

18 82 6. Integrtion Proof. We re given M > exists such tht f(x) M for ll x [, b]. We pply the definition of continuity. Let ǫ > be given. Set δ = ǫ/m. If x, y [, b], x y nd x y < δ, then, using Theorem 6.2 (iii) nd (iv), Z y F (x) F (y) = f(s) ds < ǫ. x Z y x f(s) ds M x y Thus F is in fct Lipschitz on [, b] nd uniformly continuous there. Next, suppose f is continuous t x [, b]. Given ǫ >, choose δ > so tht x y < δ nd y [, b] implies f(y) f(x ) < ǫ/2. Then F (x ) F (y) R x f(x ) x y = f(s) ds R y f(s) ds f(x ) x y Z = x f(s) ds Z x f(x ) ds x y x y This implies F (x ) = f(x ). x y < ǫ. y Z x y y ǫ f(s) f(x ) ds < x y 2 x y The next version of the fundmentl theorem of clculus completely chrcterizes the nti derivtives of continuous functions. It lso vlidtes the reson so much effort ws mde in finding ntiderivtives in your elementry clculus clss. Theorem (Fundmentl Theorem of Clculus) Let f be continuous on [, b]. A function on [, b] stisfies (6.7) F (x) F () = for ll x [, b] if nd only if F = f. Z x f(s) ds Proof. Suppose F is defined by (6.7). Since f is continuous on [, b], Theorem 6.33 pplies nd we see F = f on [, b]. Conversely suppose F (x) = f(x) on [, b]. Set G(x) = Z x f(s) ds. Agin by Theorem 6.33, G (x) = f(x). Thus G (x) = F (x) on [, b]. Set H(x) = G(x) F (x) on [, b]. Then H is continuous nd differentible on [, b] nd H (x) = there. By the Men-Vlue Theorem H(x) = C (Theorem 5.5) for some rel constnt C. Thus G(x) = F (x) + C. However, we see G() = nd so C = F (). Tht is, s required. G(x) = Z x f(s) ds = F (x) F ()

19 6.5. The Fundmentl of Clculus nd Derivtives of Integrls 83 There is nother version of the Fundmentl Theorem of Clculus which requires Chrcteriztion IV. Theorem (Fundmentl Theorem of Clculus-Version II) Suppose F : [, b] R is differentible on [, b] nd F = f with f R[, b]. Then f(x) dx = F (b) F (). Proof. We pply Chrcteriztion IV. Let P be ny prtition of [, b]. If we pply the men-vlue theorem to ech [x i, x i ], there exists t i [x i, x i ] such tht Thus f(t i )(x i x i ) = F (x i ) F (x i ). f(t i )(x i x i ) = F (b) f(). Let {P n } n N be ny sequence of prtitions of [, b] such tht kp n k s n, nd with the Riemnn sum constructed with t i s bove. Then, by the sequentil chrcteriztion of limits, Theorem 4.2, lim S(P n, f) = n f(x) dx = F (b) F (). We end this chpter with the (fmilir) chnge of vribles. Theorem Suppose g is differentible on [, b] nd g is Riemnn integrble on [, b]. If f is continuous on the rnge of g, then f(g(x))g (x) dx = Z g(b) g() f(t) dt. (Formlly obtined by setting t = g(x) nd dt = g (x)dx.) Exmple Before proceeding to the proof, we mke sure the nottion is understood. If we wnted to integrte Z + x dx, we would set t = + x = g(x), dt = dx, nd f(x) = x. Then Z Z 2 + x dx = t dt. Proof. Define F on the rnge of g to be F (x) = Z x g() Thus F (x) = f(x). By the chin rule, Theorem 5.6, (F g) (x) = F (g(x))g (x) = f(g(x))g (x) f.

20 84 6. Integrtion for ll x [, b]. By the fundmentl theorem of clculus f(g(x))g (x) dx = F g(b) F g() = F g(b) = Z g(b) g() f. Summry of Ides If we wnted conditions tht put us bck in n engineering world where functions re well behved nd the big theorems pply, we might consider the following theorem. Theorem Suppose I is closed, bounded intervl nd f : I R is continuously differentible on I. Then f is uniformly continuous on I. f is uniformly continuous on I. f hs minimum nd mximum. f enjoys the intermedite-vlue property. If f injective, f is continuous nd differentible. The integrl of f exists nd my be evluted using the fundmentl theorem of clculus.

21 6.5. The Fundmentl of Clculus nd Derivtives of Integrls 85 The Completeness Axiom Monotone-Convergence Theorem Nested-Cell Theorem Bolzno-Weierstrss Theorem Unif.Cont. Extreme-Vlue Thm Cuchy Thm Archimeden Principle Density of Q f cont f R(I) Rolle s Theorem Men-Vlue Theorem Cuchy MVT L Hôsiptl s Rule The big theorems of the course. We note tht the following re equivlent: () The completeness xiom. (2) Every Cuchy sequence of rel numbers converges. (3) Every bounded monotone sequence of rel numbers converges. (4) The Bolzno-Weierstrss theorem. (5) The nested-cell theorem.

22 86 6. Integrtion 6.6. Homework Exercise 6.. Let f(x) = c on [, b]. Show f R[, b] nd R b f(x) dx = c(b ). Exercise 6.2. Let f(x) = x = x >. Show tht f is Drboux integrble on [, ] nd find R f(x)dx. Exercise 6.3. Let x x Q f(x) = x Q c Show tht f is not Drboux integrble on [, ]. Exercise 6.4. x < f(x) = 2 x = < x 2 Show tht f is Drboux integrble on [, 2] nd find R 2 f dx. Exercise 6.5. (Thome s Function) Let x Q c f(x) = n x Q, x = m n x = Show tht f is Drboux integrble on [, ]. Exercise 6.6. Show the functions in Problems (6.), (6.2), nd (6.4) re integrble by pplying theorems. Exercise 6.7. Give exmples of functions f nd g with fg nd f integrble on some bounded closed intervl, but with neither f or g Drboux integrble on tht intervl. Exercise 6.8. Give exmples of function f : [, ] R nd g : [, ] R both Riemnn integrble on [, ] such tht f g is not Riemnn integrble on [, ]. So f, g R[, b] does not imply f g R[, b]. Hint: look t Problem 4.7. Exercise 6.9. Let < c < b, nd let f be defined on [, b]. Show tht f R[, b] if nd only if f R[, c] nd f R[c, b]. Moreover, R b f = R c f + R b c f. Exercise 6.. Suppose f R[, b]. Show tht f = lim c + Exercise 6.. Suppose lim S(f, P ) = I for some I R. Let {P n} n N be ny kp k sequence of prtitions such tht lim kp nk =. Show lim S(f, P n) = I. n n Exercise 6.2. Suppose f C[, b] nd f(x) for ll x [, b] with f not identiclly zero. Show tht R b f >. Exercise 6.3. Suppose f, g C[, b] nd R b f = R b g. Show tht f(c) = g(c) for some c [, b]. (For fun cn you supply physicl interprettion of this?) c f.

23 6.6. Homework 87 Exercise 6.4. Suppose f C[, b]. Show there is c [, b] such tht f(c) = b Exercise 6.5. (Men-Vlue Theorem for Integrls) Generlize the previous problem: Suppose f : [, b] R is continuous nd g : [, b] R is integrble on [, b] with R b g 6=. Moreover, suppose g(x) for ll x [, b]. Then, there exists c [, b] such tht f(x)g(x) dx = f(c) f. g(x) dx. Exercise 6.6. Prove Theorem Tht is, suppose f is bounded on [, b] nd f is Riemnn integrble on every closed subintervl of (, b), then f R[, b]. Use this to show the function sin f(x) = x < x x = is Riemnn integrble on [, ]. Exercise 6.7. Find with proof the following limits () i lim n n n. (2) lim n i + 2n. (3) lim n n iπ sin. 2n Exercise 6.8. We proved in Exmple 3.28 tht the sequence S n = n + + n n is monotone incresing nd bounded bove (you do not need to show this). We were not ble to find the limit then - now we cn. Find the limit (Hint: it is Riemnn sum). Exercise 6.9. Define Z x ln x = t dt for x >. Prove tht ln x is continuously differentible nd injective on (, ). We define the number e so tht ln e =. Prove tht e exists. Also show tht f(x) = e x is the continuous inverse of ln x. You need only pply pproprite theorems for this problem. Exercise 6.2. (integrtion by prts). Suppose u nd v re differentible functions on [, b] nd tht both u nd v re integrble on [, b]. Show tht both uv nd u v re Riemnn integrble on [, b]. Then prove tht Z uv = uv b b u v.

24 88 6. Integrtion Exercise 6.2. By considering the upper nd lower sums for R n ln x dx show lim n n! (n!) /n = nd lim nn n n = e. Exercise Suppose f C[, b] nd R x f = for ll x [, b]. Show f = on [, b]. Exercise Suppose f C[, b] nd R x f = R b f for ll x [, b]. Show f = x on [, b]. Exercise Suppose f C[, b] nd strictly positive on [, b]. F (x) = R x f is strictly incresing on [, b]. Exercise Compute d Z x 3 cos(t 2 ) dt. dx x 2 Exercise If f is Riemnn integrble on [, b], show R b f dx = lim Suppose f is given by x f(x) = < x Show tht c + R b c f dx. Compute F (x) = R x f dx nd F () using the fundmentl theorem of clculus. Recll f does not hve n nti-derivtive. Exercise Suppose f is continuous on [, ]. Define g n (x) = f(x n ) for n N. Prove tht lim n Z g n (x) dx = f(). Exercise We sy continuous function on R is periodic with period p > if f(x + p) = f(x) for ll x R. Show by exmple tht ntiderivtives of periodic functions need not be periodic while derivtives of continuously differentible periodic function re lwys periodic. Prove tht necessry nd sufficient condition for periodic function to hve periodic ntiderivtive is for f to hve zero verge over one period. Tht is, R p f(t) dt = is required. Exercise Let f be Riemnn integrble on [, ], where >. Prove the following. () If f is even, then R f dx = 2 R f dx. (b) If f is odd, then R f dx =. Exercise 6.3. Let f be continuous nd nonnegtive on [, ]. Define M = mx{f(x) x [, ]}. Show tht Z /n M = lim f dx n. n

25 6.6. Homework 89 Exercise 6.3. Suppose f is continuous on [, b] nd tht f(x)ϕ(x) dx = for ll continuous ϕ on [, b] with ϕ() = = ϕ(b). Then f(x) = on [, b]. Exercise Suppose f is continuous on [, b] nd tht f(x)ϕ (x) dx = for ll continuously differentible functions ϕ on [, b] with ϕ() = = ϕ(b). Then f(x) is constnt on [, b]. Exercise Suppose f : [, b] R is Riemnn integrble on [, b]. Show F (x) = R x f(t) dt stisfies the inequlity F (x) F (y) C x y for ll x [, b]. Then show F is uniformly continuous on [, b]. Clculte, justifying your steps, F (x) = R x f(t) dt, where t f(t) = < t 2 Exercise Show x f(x) = < x 2 is Riemnn integrble on [, 2], nd find F (x) = R x f(t) dt. Wht properties does F hve? Exercise Cler up the devstting Exmple.2 in Chpter one. A function f : [, ) R is clled uniformly Lipschitz - there exists M such tht f(x) f(y) M x y for ll x, y [, ). Now prove the following theorem. Theorem Suppose f : [, ) R is uniformly Lipschitz nd Z f(x) dx <. Then lim f(x) =. x Prove the theorem by proving the contrpositive. Tht is, negte lim f(x) = x, use the properties of f to show R f(x) dx =. Exercise Repet Problem 6.35 only ssume f is differentible on [, ) nd Z (f (x)) 2 dx <.

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

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

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

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

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

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

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

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

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

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

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

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

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

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

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

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

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

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

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

INTRODUCTION TO INTEGRATION

INTRODUCTION TO INTEGRATION INTRODUCTION TO INTEGRATION 5.1 Ares nd Distnces Assume f(x) 0 on the intervl [, b]. Let A be the re under the grph of f(x). b We will obtin n pproximtion of A in the following three steps. STEP 1: Divide

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

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

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

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

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

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

7.2 The Definite Integral

7.2 The Definite Integral 7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where

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

Lecture 1: Introduction to integration theory and bounded variation

Lecture 1: Introduction to integration theory and bounded variation Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You

More 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

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

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

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

1 The fundamental theorems of calculus.

1 The fundamental theorems of calculus. The fundmentl theorems of clculus. The fundmentl theorems of clculus. Evluting definite integrls. The indefinite integrl- new nme for nti-derivtive. Differentiting integrls. Tody we provide the connection

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

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties

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

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

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct

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

F (x) dx = F (x)+c = u + C = du,

F (x) dx = F (x)+c = u + C = du, 35. The Substitution Rule An indefinite integrl of the derivtive F (x) is the function F (x) itself. Let u = F (x), where u is new vrible defined s differentible function of x. Consider the differentil

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

arxiv: v1 [math.ca] 11 Jul 2011

arxiv: v1 [math.ca] 11 Jul 2011 rxiv:1107.1996v1 [mth.ca] 11 Jul 2011 Existence nd computtion of Riemnn Stieltjes integrls through Riemnn integrls July, 2011 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde

More 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

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

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

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

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

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

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

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2019

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2019 ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS MATH00030 SEMESTER 208/209 DR. ANTHONY BROWN 7.. Introduction to Integrtion. 7. Integrl Clculus As ws the cse with the chpter on differentil

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

More Properties of the Riemann Integral

More Properties of the Riemann Integral More Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologil Sienes nd Deprtment of Mthemtil Sienes Clemson University Februry 15, 2018 Outline More Riemnn Integrl Properties The Fundmentl

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

Chapters 4 & 5 Integrals & Applications

Chapters 4 & 5 Integrals & Applications Contents Chpters 4 & 5 Integrls & Applictions Motivtion to Chpters 4 & 5 2 Chpter 4 3 Ares nd Distnces 3. VIDEO - Ares Under Functions............................................ 3.2 VIDEO - Applictions

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

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 1431 Section M TH 4:00 PM 6:00 PM Susan Wheeler Office Hours: Wed 6:00 7:00 PM Online ***NOTE LABS ARE MON AND WED

Math 1431 Section M TH 4:00 PM 6:00 PM Susan Wheeler Office Hours: Wed 6:00 7:00 PM Online ***NOTE LABS ARE MON AND WED Mth 43 Section 4839 M TH 4: PM 6: PM Susn Wheeler swheeler@mth.uh.edu Office Hours: Wed 6: 7: PM Online ***NOTE LABS ARE MON AND WED t :3 PM to 3: pm ONLINE Approimting the re under curve given the type

More information

Goals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite

Goals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite Unit #8 : The Integrl Gols: Determine how to clculte the re described by function. Define the definite integrl. Eplore the reltionship between the definite integrl nd re. Eplore wys to estimte the definite

More information

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1 3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =

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

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one

More information

Chapter 6 Notes, Larson/Hostetler 3e

Chapter 6 Notes, Larson/Hostetler 3e Contents 6. Antiderivtives nd the Rules of Integrtion.......................... 6. Are nd the Definite Integrl.................................. 6.. Are............................................ 6. Reimnn

More information

MA 124 January 18, Derivatives are. Integrals are.

MA 124 January 18, Derivatives are. Integrals are. MA 124 Jnury 18, 2018 Prof PB s one-minute introduction to clculus Derivtives re. Integrls re. In Clculus 1, we lern limits, derivtives, some pplictions of derivtives, indefinite integrls, definite integrls,

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

SYDE 112, LECTURES 3 & 4: The Fundamental Theorem of Calculus

SYDE 112, LECTURES 3 & 4: The Fundamental Theorem of Calculus SYDE 112, LECTURES & 4: The Fundmentl Theorem of Clculus So fr we hve introduced two new concepts in this course: ntidifferentition nd Riemnn sums. It turns out tht these quntities re relted, but it is

More information

Review. April 12, Definition 1.2 (Closed Set). A set S is closed if it contains all of its limit points. S := S S

Review. April 12, Definition 1.2 (Closed Set). A set S is closed if it contains all of its limit points. S := S S Review April 12, 2017 1 Definitions nd Some Theorems 1.1 Topology Definition 1.1 (Limit Point). Let S R nd x R. Then x is limit point of S if, for ll ɛ > 0, V ɛ (x) = (x ɛ, x + ɛ) contins n element s S

More information

Review of basic calculus

Review of basic calculus Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below

More information

MATH , Calculus 2, Fall 2018

MATH , Calculus 2, Fall 2018 MATH 36-2, 36-3 Clculus 2, Fll 28 The FUNdmentl Theorem of Clculus Sections 5.4 nd 5.5 This worksheet focuses on the most importnt theorem in clculus. In fct, the Fundmentl Theorem of Clculus (FTC is rgubly

More information

MATH 409 Advanced Calculus I Lecture 18: Darboux sums. The Riemann integral.

MATH 409 Advanced Calculus I Lecture 18: Darboux sums. The Riemann integral. MATH 409 Advnced Clculus I Lecture 18: Drboux sums. The Riemnn integrl. Prtitions of n intervl Definition. A prtition of closed bounded intervl [, b] is finite subset P [,b] tht includes the endpoints

More information

Overview of Calculus I

Overview of Calculus I Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,

More information

Math Advanced Calculus II

Math Advanced Calculus II Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused

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

Stuff You Need to Know From Calculus

Stuff You Need to Know From Calculus Stuff You Need to Know From Clculus For the first time in the semester, the stuff we re doing is finlly going to look like clculus (with vector slnt, of course). This mens tht in order to succeed, you

More information

x = b a n x 2 e x dx. cdx = c(b a), where c is any constant. a b

x = b a n x 2 e x dx. cdx = c(b a), where c is any constant. a b CHAPTER 5. INTEGRALS 61 where nd x = b n x i = 1 (x i 1 + x i ) = midpoint of [x i 1, x i ]. Problem 168 (Exercise 1, pge 377). Use the Midpoint Rule with the n = 4 to pproximte 5 1 x e x dx. Some quick

More information

and that at t = 0 the object is at position 5. Find the position of the object at t = 2.

and that at t = 0 the object is at position 5. Find the position of the object at t = 2. 7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we

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

Sections 5.2: The Definite Integral

Sections 5.2: The Definite Integral Sections 5.2: The Definite Integrl In this section we shll formlize the ides from the lst section to functions in generl. We strt with forml definition.. The Definite Integrl Definition.. Suppose f(x)

More information

c n φ n (x), 0 < x < L, (1) n=1

c n φ n (x), 0 < x < L, (1) n=1 SECTION : Fourier Series. MATH4. In section 4, we will study method clled Seprtion of Vribles for finding exct solutions to certin clss of prtil differentil equtions (PDEs. To do this, it will be necessry

More information

Riemann Integrals and the Fundamental Theorem of Calculus

Riemann Integrals and the Fundamental Theorem of Calculus Riemnn Integrls nd the Fundmentl Theorem of Clculus Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University September 16, 2013 Outline Grphing Riemnn Sums

More information

1 The fundamental theorems of calculus.

1 The fundamental theorems of calculus. The fundmentl theorems of clculus. The fundmentl theorems of clculus. Evluting definite integrls. The indefinite integrl- new nme for nti-derivtive. Differentiting integrls. Theorem Suppose f is continuous

More information

The Riemann Integral

The Riemann Integral Deprtment of Mthemtics King Sud University 2017-2018 Tble of contents 1 Anti-derivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Anti-derivtive Function Definition Let f : I R be function

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

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

Definition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim

Definition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim Mth 9 Course Summry/Study Guide Fll, 2005 [1] Limits Definition of Limit: We sy tht L is the limit of f(x) s x pproches if f(x) gets closer nd closer to L s x gets closer nd closer to. We write lim f(x)

More information

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O 1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the

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

5.5 The Substitution Rule

5.5 The Substitution Rule 5.5 The Substitution Rule Given the usefulness of the Fundmentl Theorem, we wnt some helpful methods for finding ntiderivtives. At the moment, if n nti-derivtive is not esily recognizble, then we re in

More information

Improper Integrals, and Differential Equations

Improper Integrals, and Differential Equations Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted

More information

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), ) Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s

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

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

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph

More information

4.4 Areas, Integrals and Antiderivatives

4.4 Areas, Integrals and Antiderivatives . res, integrls nd ntiderivtives 333. Ares, Integrls nd Antiderivtives This section explores properties of functions defined s res nd exmines some connections mong res, integrls nd ntiderivtives. In order

More information

This is a short summary of Lebesgue integration theory, which will be used in the course.

This is a short summary of Lebesgue integration theory, which will be used in the course. 3 Chpter 0 ntegrtion theory This is short summry of Lebesgue integrtion theory, which will be used in the course. Fct 0.1. Some subsets (= delmängder E R = (, re mesurble (= mätbr in the Lebesgue sense,

More 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

Integrals - Motivation

Integrals - Motivation Integrls - Motivtion When we looked t function s rte of chnge If f(x) is liner, the nswer is esy slope If f(x) is non-liner, we hd to work hrd limits derivtive A relted question is the re under f(x) (but

More information