Before we can undertake any type of rigorous investigation of these statements, we need to settle on a definition for b

Size: px
Start display at page:

Download "Before we can undertake any type of rigorous investigation of these statements, we need to settle on a definition for b"

Transcription

1 Chpter 7 The Riemnn Integrl 7.1 Discussion: How Should Integrtion be Defined? The Fundmentl Theorem of Clculus is sttement bout the inverse reltionship between differentition nd integrtion. It comes in two prts, depending on whether we re differentiting n integrl or integrting derivtive. Under suitble hypotheses on the functions f nd F, the Fundmentl Theorem of Clculus sttes tht (i) (ii) if G(x) = F (x) dx = F (b) F () nd x f(t) dt, then G (x) =f(x). Before we cn undertke ny type of rigorous investigtion of these sttements, we need to settle on definition for f. Historiclly, the concept of integrtion ws defined s the inverse process of differentition. In other words, the integrl of function f ws understood to be function F tht stisfied F = f. Newton, Leibniz, Fermt, nd the other founders of clculus then went on to explore the reltionship between ntiderivtives nd the problem of computing res. This pproch is ultimtely unstisfying from the point of view of nlysis becuse it results in very limited number of functions tht cn be integrted. Recll tht every derivtive stisfies the intermedite vlue property (Drboux s Theorem, Theorem 5.2.7). This mens tht ny function with jump discontinuity cnnot be derivtive. If we wnt to define integrtion vi ntidifferentition, then we must ccept the consequence tht function s simple s { 1 for 0 x<1 h(x) = 2 for 1 x 2 is not integrble on the intervl [0, 2]. 183

2 184 Chpter 7. The Riemnn Integrl c 1 c 2 c 3 c n x 0= x 1 x 2 x 3... x n 1 x n=b Figure 7.1: A Riemnn Sum. A very interesting shift in emphsis occurred round 1850 in the work of Cuchy, nd soon fter in the work of Bernhrd Riemnn. The ide ws to completely divorce integrtion from the derivtive nd insted use the notion of re under the curve s strting point for building rigorous definition of the integrl. The resons for this were complicted. As we hve mentioned erlier (Section 1.2), the concept of function ws undergoing trnsformtion. The trditionl understnding of function s holistic formul such s f(x) = x 2 ws being replced with more liberl interprettion, which included such bizrre constructions s Dirichlet s function discussed in Section 4.1. Serving s ctlyst to this evolution ws the budding theory of Fourier series (discussed in Section 8.3), which required, mong other things, the need to be ble to integrte these more unruly objects. The Riemnn integrl, s it is clled tody, is the one usully discussed in introductory clculus. Strting with function f on [, b], we prtition the domin into smll subintervls. On ech subintervl [x k 1,x k ], we pick some point c k [x k 1,x k ] nd use the y-vlue f(c k ) s n pproximtion for f on [x k 1,x k ]. Grphiclly speking, the result is row of thin rectngles constructed to pproximte the re between f nd the x-xis. The re of ech rectngle is f(c k )(x k x k 1 ), nd so the totl re of ll of the rectngles is given by the Riemnn sum (Fig. 7.1) n f(c k )(x k x k 1 ). k=1 Note tht re here comes with the understnding tht res below the x-xis re ssigned negtive vlue. Wht should be evident from the grph is tht the ccurcy of the Riemnnsum pproximtion seems to improve s the rectngles get thinner. In some

3 7.1. Discussion: How Should Integrtion be Defined? 185 sense, we tke the limit of these pproximting Riemnn sums s the width of the individul subintervls of the prtitions tends to zero. This limit, if it exists, is Riemnn s definition of f. This brings us to hndful of questions. Creting rigorous mening for the limit just referred to is not too difficult. Wht will be of most interest to us nd ws lso to Riemnn is deciding wht types of functions cn be integrted using this procedure. Specificlly, wht conditions on f gurntee tht this limit exists? The theory of the Riemnn integrl turns on the observtion tht smller subintervls produce better pproximtions to the function f. On ech subintervl [x k 1,x k ], the function f is pproximted by its vlue t some point c k [x k 1,x k ]. The qulity of the pproximtion is directly relted to the difference f(x) f(c k ) s x rnges over the subintervl. Becuse the subintervls cn be chosen to hve rbitrrily smll width, this mens tht we wnt f(x) to be close to f(c k ) whenever x is close to c k. But this sounds like discussion of continuity! We will soon see tht the continuity of f is intimtely relted to the existence of the Riemnn integrl f. Is continuity sufficient to prove tht the Riemnn sums converge to welldefined limit? Is it necessry, or cn the Riemnn integrl hndle discontinuous function such s h(x) mentioned erlier? Relying on the intuitive notion of re, it would seem tht 2 h = 3, but does the Riemnn integrl rech this 0 conclusion? If so, how discontinuous cn function be before it fils to be integrble? Cn the Riemnn integrl mke sense out of something s pthologicl s Dirichlet s function on the intervl [0, 1]? A function such s g(x) = { x 2 sin( 1 x ) for x 0 0 for x =0 rises nother interesting question. Here is n exmple of differentible function, studied in Section 5.1, where the derivtive g (x) isnot continuous. As we explore the clss of integrble functions, some ttempt must be mde to reunite the integrl with the derivtive. Hving defined integrtion independently of differentition, we would like to come bck nd investigte the conditions under which equtions (i) nd (ii) from the Fundmentl Theorem of Clculus stted erlier hold. If we re mking wish list for the types of functions tht we wnt to be integrble, then in light of eqution (i) it seems desirble to expect this set to t lest contin the set of derivtives. The fct tht derivtives re not lwys continuous is further motivtion not to content ourselves with n integrl tht cnnot hndle some discontinuities.

4 186 Chpter 7. The Riemnn Integrl m k M k =x 0 x k 1 x k b=x n Figure 7.2: Upper nd Lower Sums. 7.2 The Definition of the Riemnn Integrl Although it hs the benefit of some modern polish, the development of the integrl presented in this chpter is closely relted to the procedure just discussed. In plce of Riemnn sums, we will construct upper sums nd lower sums (Fig. 7.2), nd in plce of limit we will use supremum nd n infimum. Throughout this section, it is ssumed tht we re working with bounded function f on closed intervl [, b], mening tht there exists n M>0 such tht f(x) M for ll x [, b]. Prtitions, Upper Sums, nd Lower Sums Definition A prtition P of [, b] is finite, ordered set P = { = x 0 <x 1 <x 2 < <x n = b}. For ech subintervl [x k 1,x k ]ofp, let m k = inf{f(x) :x [x k 1,x k ]} nd M k = sup{f(x) :x [x k 1,x k ]}. The lower sum of f with respect to P is given by n L(f,P) = m k (x k x k 1 ). k=1 Likewise, we define the upper sum of f with respect to P by n U(f,P) = M k (x k x k 1 ). k=1

5 7.2. The Definition of the Riemnn Integrl 187 For prticulr prtition P, it is cler tht U(f,P) L(f,P). The fct tht this sme inequlity holds if the upper nd lower sums re computed with respect to different prtitions is the content of the next two lemms. Definition A prtition Q is refinement of prtition P if Q contins ll of the points of P. In this cse, we write P Q. Lemm If P Q, then L(f,P) L(f,Q), nd U(f,P) U(f,Q). Proof. Consider wht hppens when we refine P by dding single point z to some subintervl [x k 1,x k ]ofp. m k m k =m k x k 1 z x k Focusing on the lower sum for moment, we hve where m k (x x x k 1 ) = m k (x k z)+m k (z x k 1 ) m k(x k z)+m k(z x k 1 ), m k = inf {f(x) :x [z,x k ]} nd m k = inf {f(x) :x [x k 1,z]} re ech necessrily s lrge or lrger thn m k. By induction, we hve L(f,P) L(f,Q), nd n nlogous rgument holds for the upper sums. Lemm If P 1 nd P 2 re ny two prtitions of [, b], then L(f,P 1 ) U(f,P 2 ). Proof. Let Q = P 1 P 2 be the so-clled common refinement of P 1 nd P 2. Becuse Q P 1 nd Q P 2, it follows tht L(f,P 1 ) L(f,Q) U(f,Q) U(f,P 2 ).

6 188 Chpter 7. The Riemnn Integrl Integrbility Intuitively, it helps to visulize prticulr upper sum s n overestimte for the vlue of the integrl nd lower sum s n underestimte. As the prtitions get more refined, the upper sums get potentilly smller while the lower sums get potentilly lrger. A function is integrble if the upper nd lower sums meet t some common vlue in the middle. Rther thn tking limit of these sums, we will insted mke use of the Axiom of Completeness nd consider the infimum of the upper sums nd the supremum of the lower sums. Definition Let P be the collection of ll possible prtitions of the intervl [, b]. The upper integrl of f is defined to be U(f) = inf{u(f,p) :P P}. In similr wy, define the lower integrl of f by The following fct is not surprising. L(f) = sup{u(f,p) :P P}. Lemm For ny bounded function f on [, b], it is lwys the cse tht U(f) L(f). Proof. Exercise Definition (Riemnn Integrbility). A bounded function f defined on the intervl [, b] isriemnn-integrble if U(f) =L(f). In this cse, we define f or f(x) dx to be this common vlue; nmely, f = U(f) =L(f). The modifier Riemnn in front of integrble ccurtely suggests tht there re other wys to define the integrl. In fct, our work in this chpter will expose the need for different pproch, one of which is discussed in Section 8.1. In this chpter, the Riemnn integrl is the only method under considertion, so it will usully be convenient to drop the modifier Riemnn nd simply refer to function s being integrble. Criteri for Integrbility To summrize the sitution thus fr, it is lwys the cse for bounded function f on [, b] tht sup{l(f,p) :P P}= L(f) U(f) = inf{u(f,p) :P P}. The function f is integrble if the inequlity is n equlity. The mjor thrust of our investigtion of the integrl is to describe, s best we cn, the clss

7 7.2. The Definition of the Riemnn Integrl 189 of integrble functions. The preceding inequlity revels tht integrbility is relly equivlent to the existence of prtitions whose upper nd lower sums re rbitrrily close together. Theorem A bounded function f is integrble on [, b] if nd only if, for every ɛ>0, there exists prtition P ɛ of [, b] such tht U(f,P ɛ ) L(f,P ɛ ) <ɛ. Proof. Let ɛ>0. If such prtition P ɛ exists, then U(f) L(f) U(f,P ɛ ) L(f,P ɛ ) <ɛ. Becuse ɛ is rbitrry, it must be tht U(f) =L(f), so f is integrble. (To be bsolutely precise here, we could throw in reference to Theorem ) The proof of the converse sttement is fmilir tringle inequlity rgument with prentheses in plce of bsolute vlue brs becuse, in ech cse, we know which quntity is lrger. Becuse U(f) is the gretest lower bound of the upper sums, we know tht, given some ɛ>0, there must exist prtition P 1 such tht U(f,P 1 ) <U(f)+ ɛ 2. Likewise, there exists prtition P 2 stisfying L(f,P 2 ) >L(f) ɛ 2. Now, let P ɛ = P 1 P 2 be the common refinement. Keeping in mind tht the integrbility of f mens U(f) =L(f), we cn write U(f,P ɛ ) L(f,P ɛ ) U(f,P 1 ) L(f,P 2 ) = (U(f,P 1 ) U(f))+(L(f) L(f,P 2 )) < ɛ 2 + ɛ 2 = ɛ. In the discussion t the beginning of this chpter, it becme cler tht integrbility is closely tied to the concept of continuity. To mke this observtion more precise, let P = { = x 0 <x 1 <x 2 < <x n = b} be n rbitrry prtition of [, b], nd define x k = x k x k 1. Then, U(f,P) L(f,P) = n (M k m k ) x k, where M k nd m k re the supremum nd infimum of the function on the intervl [x k 1,x k ] respectively. Our bility to control the size of U(f,P) L(f,P) hinges on the differences M k m k, which we cn interpret s the vrition in the rnge of the function over the intervl [x k 1,x k ]. Restricting the vrition of f over rbitrrily smll intervls in [, b] is precisely wht it mens to sy tht f is uniformly continuous on this set. k=1

8 190 Chpter 7. The Riemnn Integrl Theorem If f is continuous on [, b], then it is integrble. Proof. The first crucil observtion is tht becuse f is continuous on compct set, it is uniformly continuous. This mens tht, given ɛ>0, there exists δ>0 so tht x y <δgurntees f(x) f(y) < ɛ b. Now, let P be prtition of [, b] where x k = x k x k 1 is less thn δ for every subintervl of P. M k =f(z k ) m k =f(y k ) x k 1 z k y k x k }{{} x k x k 1 <δ Given prticulr subintervl [x k 1,x k ]ofp, we know from the Extreme Vlue Theorem (Theorem 4.4.3) tht the supremum M k = f(z k ) for some z k [x k 1,x k ]. In ddition, the infimum m k is ttined t some point y k lso in the intervl [x k 1,x k ]. But this mens z k y k <δ,so Finlly, U(f,P) L(f,P) = M k m k = f(z k ) f(y k ) < ɛ b. n (M k m k ) x k < ɛ b k=1 nd f is integrble by the criterion given in Theorem Exercises n x k = ɛ, Exercise Let f be bounded function on [, b], nd let P be n rbitrry prtition of [, b]. First, explin why U(f) L(f,P). Now, prove Lemm Exercise Consider f(x) =2x + 1 over the intervl [1, 3]. Let P be the prtition consisting of the points {1, 3/2, 2, 3}. () Compute L(f,P), U(f,P), nd U(f,P) L(f,P). (b) Wht hppens to the vlue of U(f,P) L(f,P) when we dd the point 5/2 to the prtition? (c) Find prtition P of [1, 3] for which U(f,P ) L(f,P ) < 2. k=1

9 7.3. Integrting Functions with Discontinuities 191 Exercise Show directly (without ppeling to Theorem 7.2) tht the constnt function f(x) =k is integrble over ny closed intervl [, b]. Wht is f? Exercise () Prove tht bounded function f is integrble on [, b] if nd only if there exists sequence of prtitions (P n ) n=1 stisfying lim [U(f,P n) L(f,P n )] = 0. n (b) For ech n, let P n be the prtition of [0, 1] into n equl subintervls. Find formuls for U(f,P n ) nd L(f,P n )iff(x) =x. The formul n = n(n +1)/2 will be useful. (c) Use the sequentil criterion for integrbility from () to show directly tht f(x) =x is integrble on [0, 1]. Exercise Assume tht, for ech n, f n is n integrble function on [, b]. If (f n ) f uniformly on [, b], prove tht f is lso integrble on this set. (We will see tht this conclusion does not necessrily follow if the convergence is pointwise.) Exercise Let f :[, b] R be incresing on the set [, b] (i.e., f(x) f(y) whenever x<y). Show tht f is integrble on [, b]. 7.3 Integrting Functions with Discontinuities The fct tht continuous functions re integrble is not so much fortunte discovery s it is evidence for well-designed integrl. Riemnn s integrl is modifiction of Cuchy s definition of the integrl, which ws crfted specificlly to work on continuous functions. The interesting issue is discovering just how dependent the Riemnn integrl is on the continuity of the integrnd. Exmple Consider the function { 1 for x 1 f(x) = 0 for x =1 on the intervl [0, 2]. If P is ny prtition of [0, 2], quick clcultion revels tht U(f,P) = 2. The lower sum L(f,P) will be less thn 2 becuse ny subintervl of P tht contins x = 1 will contribute zero to the vlue of the lower sum. The wy to show tht f is integrble is to construct prtition tht minimizes the effect of the discontinuity by embedding x = 1 into very smll subintervl. Let ɛ>0, nd consider the prtition P ɛ = {0, 1 ɛ/3, 1+ɛ/3, 2}. Then, ( L(f,P ɛ ) = 1 1 ɛ ) ( +0(ɛ)+1 1 ɛ ) 3 3 = ɛ.

10 192 Chpter 7. The Riemnn Integrl Becuse U(f,P ɛ )=2,wehve U(f,P ɛ ) L(f,P ɛ )= 2 3 ɛ<ɛ. We cn now use Theorem to conclude tht f is integrble. Although the function in Exmple is extremely simple, the method used to show it is integrble is relly the sme one used to prove tht ny bounded function with single discontinuity is integrble. The nottion in the following proof is more cumbersome, but the essence of the rgument is tht the misbehvior of the function t its discontinuity is isolted inside prticulrly smll subintervl of the prtition. Theorem If f :[, b] R is bounded, nd f is integrble on [c, b] for ll c (, b), then f is integrble on [, b]. An nlogous result holds t the other endpoint. Proof. Let M be bound for f so tht f(x) M for ll x [, b]. If is prtition of [, b], then U(f,P) L(f,P) = P = { = x 0 <x 1 <x 2 < x n = b} n (M k m k ) x k k=1 = (M 1 m 1 )(x 1 )+ n (M k m k ) x k k=2 = (M 1 m 1 )(x 1 )+(U(f,P [x1,b]) L(f,P [x1,b])), where P [x1,b] = {x 1 <x 2 < <x n = b} is the prtition of [x 1,b] obtined by deleting from P. Given ɛ>0, the first step is to choose x 1 close enough to so tht (M 1 m 1 )(x 1 ) < ɛ 2. This is not too difficult. Becuse M 1 m 1 2M, we cn pick x 1 so tht x 1 ɛ 4M. Now, by hypothesis, f is integrble on [x 1,b] so there exists prtition P 1 of [x 1,b] for which U(f,P 1 ) L(f,P 1 ) < ɛ 2. Finlly, we let P 2 = {} P 1 be prtition of [, b], from which it follows tht U(f,P 2 ) L(f,P 2 ) (2M)(x 1 )+(U(f,P 1 ) L(f,P 1 )) < ɛ 2 + ɛ 2 = ɛ.

11 7.3. Integrting Functions with Discontinuities 193 Theorem only llows for discontinuity t the endpoint of n intervl, but tht is esily remedied. In the next section, we will prove tht integrbility on the intervls [, b] nd [b, d] is equivlent to integrbility on [, d]. This property, together with n induction rgument, leds to the conclusion tht ny function with finite number of discontinuities is still integrble. Wht if the number of discontinuities is infinite? Exmple Recll Dirichlet s function g(x) = { 1 for x rtionl 0 for x irrtionl from Section 4.1. If P is some prtition of [0, 1], then the density of the rtionls in R implies tht every subintervl of P will contin point where g(x) =1. It follows tht U(g, P) = 1. On the other hnd, L(g, P) = 0 becuse the irrtionls re lso dense in R. Becuse this is the cse for every prtition P, we see tht the upper integrl U(f) = 1 nd the lower integrl L(f) = 0. The two re not equl, so we conclude tht Dirichlet s function is not integrble. How discontinuous cn function be before it fils to be integrble? Before jumping to the hsty (nd incorrect) conclusion tht the Riemnn integrl fils for functions with more thn finite number of discontinuities, we should relize tht Dirichlet s function is discontinuous t every pointin[0, 1]. It would be useful to investigte function where the discontinuities re infinite in number but do not necessrily mke up ll of [0, 1]. Thome s function, lso defined in Section 4.1, is one such exmple. The discontinuous points of this function re precisely the rtionl numbers in [0, 1]. In Section 7.6, we will see tht Thome s function is Riemnn-integrble, rising the br for llowble discontinuous points to include potentilly infinite sets. The conclusion of this story is contined in the doctorl disserttion of Henri Lebesgue, who presented his work in Lebesgue s elegnt criterion for Riemnn integrbility is explored in gret detil in Section 7.6. For the moment, though, we will tke short detour from questions of integrbility nd construct proof of the celebrted Fundmentl Theorem of Clculus. Exercises Exercise Consider the function { 1 for 0 x<1 h(x) = 2 for x =1 over the intervl [0, 1]. () Show tht L(f,P) = 1 for every prtition P of [0, 1]. (b) Construct prtition P for which U(f,P) < 1+1/10. (c) Given ɛ>0, construct prtition P ɛ for which U(f,P ɛ ) < 1+ɛ.

12 194 Chpter 7. The Riemnn Integrl Exercise In Exmple 7.3.3, we lerned tht Dirichlet s function g(x) is not Riemnn-integrble. Construct sequence g n (x) of integrble functions with g n g pointwise on [0, 1]. This demonstrtes tht the pointwise limit of integrble functions need not be integrble. Compre this exmple to the result requested in Exercise Exercise Here is n lternte explntion for why function f on [, b] with finite number of discontinuities is integrble. Supply the missing detils. Embed ech discontinuity in sufficiently smll open intervl nd let O be the union of these intervls. Explin why f is uniformly continuous on [, b]\o, nd use this to finish the rgument. Exercise Assume f :[, b] R is integrble. () Show tht if one vlue of f(x) is chnged t some point x [, b], then f is still integrble nd integrtes to the sme vlue s before. (b) Show tht the observtion in () holds if finite number of vlues of f re chnged. (c) Find n exmple to show tht by ltering countble number of vlues, f my fil to be integrble. Exercise Let { 1 if x =1/n for some n N f(x) = 0 otherwise. Show tht f is integrble on [0, 1] nd compute 1 0 f. Exercise A set A [, b] hs content zero if for every ɛ>0 there exists finite collection of open intervls {O 1,O 2,...,O N } tht contin A in their union nd whose lengths sum to ɛ or less. Using O n to refer to the length of ech intervl, we hve N A n=1 O n nd N O n ɛ. k=1 () Let f be bounded on [, b]. Show tht if the set of discontinuous points of f hs content zero, then f is integrble. (b) Show tht ny finite set hs content zero. (c) Content zero sets do not hve to be finite. They do not hve to be countble. Show tht the Cntor set C defined in Section 3.1 hs content zero. (d) Prove tht h(x) = { 1 if x C 0 if x/ C. is integrble, nd find the vlue of the integrl.

13 7.4. Properties of the Integrl Properties of the Integrl Before embrking on the proof of the Fundmentl Theorem of Clculus, we need to verify wht re probbly some very fmilir properties of the integrl. The discussion in the previous section hs lredy mde use of the following fct. Theorem Assume f :[, b] R is bounded, nd let c (, b). Then, f is integrble on [, b] ifnd only iff is integrble on [, c] nd [c, b]. In this cse, we hve c f = f + f. Proof. If f is integrble on [, b], then for ɛ>0 there exists prtition P such tht U(f,P) L(f,P) <ɛ. Becuse refining prtition cn only potentilly bring the upper nd lower sums closer together, we cn simply dd c to P if it is not lredy there. Then, let P 1 = P [, c] be prtition of [, c], nd P 2 = P [c, b] be prtition of [c, b]. It follows tht U(f,P 1 ) L(f,P 1 ) <ɛ nd U(f,P 2 ) L(f,P 2 ) <ɛ, implying tht f is integrble on [, c] nd [c, b]. Conversely, if we re given tht f is integrble on the two smller intervls [, c] nd [c, b], then given n ɛ>0 we cn produce prtitions P 1 nd P 2 of [, c] nd [c, b], respectively, such tht c U(f,P 1 ) L(f,P 1 ) < ɛ 2 nd U(f,P) L(f,P) < ɛ 2. Letting P = P 1 P 2 produces prtition of [, b] for which U(f,P) L(f,P) <ɛ. Thus, f is integrble on [, b]. Continuing to let P = P 1 P 2 s erlier, we hve which implies f c f + c c f U(f,P) < L(f,P)+ɛ f + c = L(f,P 1 )+L(f,P 2 )+ɛ c f + c f + ɛ, f. To get the other inequlity, observe tht f U(f,P 1 )+U(f,P 2 ) < L(f,P 1 )+L(f,P 2 )+ɛ = L(f,P)+ɛ f + ɛ.

14 196 Chpter 7. The Riemnn Integrl Becuse ɛ>0 is rbitrry, we must hve c f + c f f,so s desired. c f + c The proof of Theorem demonstrtes some of the stndrd techniques involved for proving fcts bout the Riemnn integrl. Admittedly, mnipulting prtitions does not lend itself to gret del of elegnce. The next result ctlogs the reminder of the bsic properties of the integrl tht we will need in our upcoming rguments. Theorem Assume f nd g re integrble functions on the intervl [, b]. f = (i) The function f + g is integrble on [, b] with (f + g) = f + g. (ii) For k R, the function kf is integrble with kf = k f. (iii) If m f M, then m(b ) f M(b ). (iv) If f g, then f g. (v) The function f is integrble nd f f. Proof. Properties (i) nd (ii) re reminiscent of the Algebric Limit Theorem nd its mny descendnts (Theorems 2.3.3, 2.7.1, 4.2.4, nd 5.2.4). In fct, there is wy to use the Algebric Limit Theorem for this rgument s well. An immedite corollry to Theorem is tht function f is integrble on [, b] if nd only if there exists sequence of prtitions (P n ) stisfying (1) lim n [U(f,P n) L(f,P n )] = 0, nd in this cse f = lim U(f,P n) = lim L(f,P n ). (A proof for this ws requested s Exercise ) To prove (ii) for the cse k 0, first verify tht for ny prtition P we hve U(kf, P) =ku(f,p) nd L(kf, P) =kl(f,p). Exercise is used here. Becuse f is integrble, there exist prtitions (P n ) stisfying (1). Turning our ttention to the function (kf), we see tht lim n [U(kf, P n) L(kf, P n )] = lim n k [U(f,P n) L(f,P n )] = 0, nd the formul in (ii) follows. The cse where k<0 is similr except tht we hve U(kf, P n )=kl(f,p n ) nd L(kf, P n )=ku(f,p n ). f,

15 7.4. Properties of the Integrl 197 A proof for (i) cn be constructed using similr methods nd is requested in Exercise To prove (iii), observe tht U(f,P) f L(f,P) for ny prtition P. Sttement (iii) follows if we tke P to be the trivil prtition consisting of only the endpoints nd b. For (iv), let h = g f 0 nd use (i) nd (iii). Becuse f f f, sttement (v) will follow from (iv) provided tht we cn show tht f is ctully integrble. The proof of this fct is outlined in Exercise To this point, the quntity f is only defined in the cse where <b. Definition If f is integrble on the intervl [, b], define Also, define b f = c c f =0. Definition is nturl convention to simplify the lgebr of integrls. If f is n integrble function on some intervl I, then it is strightforwrd to verify tht the eqution c f = f + f from Theorem remins vlid for ny three points, b, nd c chosen in ny order from I. Uniform Convergence nd Integrtion If (f n ) is sequence of integrble functions on [, b], nd if f n f, then we re inevitbly going to wnt to know whether f. c (2) f n f. This is n rchetypicl instnce of one of the mjor themes of nlysis: When does mthemticl mnipultion such s integrtion respect the limiting process? If the convergence is pointwise, then ny number of things cn go wrong. It is possible for ech f n to be integrble but for the limit f not to be integrble

16 198 Chpter 7. The Riemnn Integrl (Exercise 7.3.2). Even if the limit function f is integrble, eqution (2) my fil to hold. As n exmple of this, let { n if 0 <x<1/n f n (x) = 0 if x =0orx 1/n. Ech f n hs two discontinuities on [0, 1] nd so is integrble with 1 0 f n =1. For ech x [0, 1], we hve lim f n (x) = 0 so tht f n 0 pointwise on [0, 1]. But now observe tht the limit function f = 0 certinly integrtes to 0, nd 0 lim n As finl remrk on wht cn go wrong in (2), we should point out tht it is possible to modify this exmple to produce sitution where lim 1 0 f n does not even exist. One wy to resolve ll of these problems is to dd the ssumption of uniform convergence. Theorem Assume tht f n f uniformly on [, b] nd tht ech f n is integrble. Then, f is integrble nd lim n 1 0 f n = f n. f. Proof. The proof tht f is integrble ws requested s Exercise reminder of this rgument is sked for in Exercise The Exercises Exercise () Let f be bounded function on set A, nd set M = sup{f(x) :x A}, m = inf{f(x) :x A}, M = sup{ f(x) : x A}, nd m = inf{ f(x) : x A}. Show tht M m M m. (b) Show tht if f is integrble on the intervl [, b], then f is lso integrble on this intervl. (c) Provide the detils for the rgument tht in this cse we hve f b f. Exercise Review Definition Show tht if c b nd f is integrble on the intervl [c, b], then it is still the cse tht f = c f + c f. Exercise Prove Theorem including n rgument for Exercise if it is not lredy done.

17 7.5. The Fundmentl Theorem of Clculus 199 Exercise Decide which of the following conjectures is true nd supply short proof. For those tht re not true, give counterexmple. () If f is integrble on [, b] then f is lso integrble on this set. (b) Assume g is integrble nd g 0on[, b]. If g(x) > 0 for n infinite number of points x [, b], then g>0. (c) If g is continuous on [, b] nd g 0 with g(x 0 ) > 0 for t lest one point x 0 [, b], then g>0. (d) If f > 0, there is n intervl [c, d] [, b] nd δ>0such tht f(x) δ for ll x [c, d]. Exercise Let f nd g be integrble functions on [, b]. () Show tht if P is ny prtition of [, b], then U(f + g, P) U(f,P)+U(g, P). Provide specific exmple where the inequlity is strict. Wht does the corresponding inequlity for lower sums look like? (b) Review the proof of Theorem (ii), nd provide n rgument for prt (i) of this theorem. Exercise Review the discussion immeditely preceding Theorem () Produce n exmple of sequence f n 0 pointwise on [0, 1] where 1 lim n 0 f n does not exist. (b) Produce nother exmple (if necessry) where f n 0 nd the sequence 1 0 f n is unbounded. (c) Is it possible to construct ech f n to be continuous in the exmples of prts () nd (b)? (d) Does it seem possible to construct the sequence (f n ) to be uniformly bounded? (Uniformly bounded mens tht there exists single M>0stisfying f n M for ll n N. Exercise Assume tht g n nd g re bounded integrble functions with g n g on [0, 1]. The convergence is not uniform; however, the convergence is uniform on ny set of the form [δ, 1] where 0 <δ<1. Show tht lim n 1 0 g n = 1 0 g. 7.5 The Fundmentl Theorem of Clculus The derivtive nd the integrl hve been independently defined, ech in its own rigorous mthemticl terms. The definition of the derivtive is motivted by the problem of finding tngent lines nd is given in terms of functionl limits of difference quotients. The definition of the integrl grows out of the desire to describe res under nonconstnt functions nd is given in terms of supremums nd infimums of finite sums. The Fundmentl Theorem of Clculus revels the remrkble inverse reltionship between the two processes.

18 200 Chpter 7. The Riemnn Integrl The result is stted in two prts. The first is computtionl sttement tht describes how n ntiderivtive cn be used to evlute n integrl over prticulr intervl. The second sttement is more theoreticl in nture, expressing the fct tht every continuous function is the derivtive of its indefinite integrl. Theorem (Fundmentl Theorem of Clculus). (i) If f :[, b] R is integrble, nd F :[, b] R stisfies F (x) =f(x) for ll x [, b], then f = F (b) F (). (ii) Let g :[, b] R be integrble, nd define G(x) = for ll x [, b]. Then, G is continuous on [, b]. If g is continuous t some point c [, b], then G is differentible t c nd G (c) =g(c). Proof. (i) Let P be prtition of [, b] nd pply the Men Vlue Theorem to F on typicl subintervl [x k 1,x k ]ofp. This yields point t k (x k 1,x k ) where x F (x k ) F (x k 1 ) = F (t k )(x k x k 1 ) = f(t k )(x k x k 1 ). Now, consider the upper nd lower sums U(f,P) nd L(f,P). Becuse m k f(t k ) M k (where m k is the infimum on [x k 1,x k ] nd M k is the supremum), it follows tht n L(f,P) [F (x k ) F (x k 1 )] U(f,P). k=1 But notice tht the sum in the middle telescopes so tht n [F (x k ) F (x k 1 )] = F (b) F (), k=1 which is independent of the prtition P. Thus we hve L(f) F (b) F () U(f). Becuse L(f) =U(f) = f, we conclude tht f = F (b) F (). (ii) To prove the second sttement, tke x, y [, b] nd observe tht x y x G(x) G(y) = g g = g g y x y g M x y,

19 7.5. The Fundmentl Theorem of Clculus 201 where M > 0 is bound on g. This shows tht G is Lipschitz nd so is uniformly continuous on [, b] (Exercise 4.4.9). Now, let s ssume tht g is continuous t c [, b]. In order to show tht G (c) =g(c), we rewrite the limit for G (c) s ( G(x) G(c) 1 x c ) lim = lim g(t) dt g(t) dt x c x c x c x c ( 1 x ) = lim g(t) dt. x c x c c We would like to show tht this limit equls g(c). Thus, given n ɛ>0, we must produce δ>0 such tht if x c <δthen ( (1) 1 x ) g(t) dt g(c) x c <ɛ. c The ssumption of continuity of g gives us control over the difference g(t) g(c). In prticulr, we know tht there exists δ>0 such tht t c <δimplies g(t) g(c) <ɛ. To tke dvntge of this, we cleverly write the constnt g(c) s g(c) = 1 x g(c) dt x c c nd combine the two terms in eqution (1) into single integrl. Keeping in mind tht x c t c, we hve tht for ll x c <δ, ( 1 x ) g(t) dt g(c) x c = 1 x [g(t) g(c)] dt c x c c 1 x g(t) g(c) dt (x c) c 1 x < ɛdt= ɛ. (x c) c Exercises Exercise We hve seen tht not every derivtive is continuous, but explin how we t lest know tht every continuous function is derivtive. Exercise () Let f(x) = x nd define F (x) = x f. Find formul 1 for F (x) for ll x. Where is F continuous? Where is F differentible? Where does F (x) =f(x)? (b) Repet prt () for the function { 1 if x<0 f(x) = 2 if x 0.

20 202 Chpter 7. The Riemnn Integrl Exercise The hypothesis in Theorem (i) tht F (x) =f(x) for ll x [, b] is slightly stronger thn it needs to be. Crefully red the proof nd stte exctly wht needs to be ssumed with regrd to the reltionship between f nd F for the proof to be vlid. Exercise (Nturl Logrithm). Let H(x) = x 1 1 t dt, where we consider only x>0. () Wht is H(1)? Find H (x). (b) Show tht H is strictly incresing; tht is, show tht if 0 <x<y, then H(x) <H(y). (c) Show tht H(cx) = H(c) + H(x). (Think of c s constnt nd differentite g(x) = H(cx).) Exercise The Fundmentl Theorem of Clculus cn be used to supply shorter rgument for Theorem under the dditionl ssumption tht the sequence of derivtives is continuous. Assume f n f pointwise nd f n g uniformly on [, b]. Assuming ech f n is continuous, we cn pply Theorem (i) to get x for ll x [, b]. Show tht g(x) =f (x). f n = f n (x) f n () Exercise Use prt (ii) of Theorem to construct nother proof of prt (i) of Theorem using the following strtegy. Given f nd F s in prt (i), set G(x) = x f. Wht is the reltionship between F nd G? Exercise (Averge Vlue). If g is continuous on [, b], show tht there exists point c (, b) where g(c) = 1 b Exercise Given function f on [, b], define the totl vrition of f to be { n } Vf = sup f(x k ) f(x k 1 ), k=1 where the supremum is tken over ll prtitions P of [, b]. () If f is continuously differentible (f exists s continuous function), use the Fundmentl Theorem of Clculus to show Vf f. (b) Use the Men Vlue Theorem to estblish the reverse inequlity nd conclude tht Vf = f. g.

21 7.6. Lebesgue s Criterion for Riemnn Integrbility 203 Exercise Let { 1 if x<1orx>1 h(x) = 0 if x =1, nd define H(x) = x h. Show tht even though h is not continuous t x =1, 0 H(x) is still differentible t x =1. Exercise Assume f is integrble on [, b] nd hs jump discontinuity t c (, b). This mens tht both one-sided limits exist s x pproches c from the left nd from the right, but tht lim x c f(x) lim x c + f(x). (This phenomenon is discussed in more detil in Section 4.6.) Show tht F (x) = x f is not differentible t x = c. Exercise The Epilogue to Chpter 5 mentions the existence of continuous monotone function tht fils to be differentible on dense subset of R. Combine the results of Exercise nd Exercise to show how to construct such function. 7.6 Lebesgue s Criterion for Riemnn Integrbility We now return to our investigtion of the reltionship between continuity nd the Riemnn integrl. We hve proved tht continuous functions re integrble nd tht the integrl lso exists for functions with only finite number of discontinuities. At the opposite end of the spectrum, we sw tht Dirichlet s function, which is discontinuous t every point on [0, 1], fils to be Riemnn-integrble. The next exmples show tht the set of discontinuities of n integrble function cn be infinite nd even uncountble. Riemnn-integrble Functions with Infinite Discontinuities Recll from Section 4.1 tht Thome s function 1 if x =0 t(x) = 1/n if x = m/n Q\{0} is in lowest terms with n>0 0 if x/ Q is continuous on the set of irrtionls nd hs discontinuities t every rtionl point. Let s prove tht Thome s function is integrble on [0, 1] with 1 0 t =0. Let ɛ>0. The strtegy, s usul, is to construct prtition P ɛ of [0, 1] for which U(t, P ɛ ) L(t, P ɛ ) <ɛ.

22 204 Chpter 7. The Riemnn Integrl Exercise ) First, rgue tht L(t, P ) = 0 for ny prtition P of [0, 1]. b) Consider the set of points D ɛ/2 = {x : t(x) ɛ/2}. How big is D ɛ/2? c) To complete the rgument, explin how to construct prtition P ɛ of [0, 1] so tht U(t, P ɛ ) <ɛ. We first met the Cntor set C in Section 3.1. We hve since lerned tht C is compct, uncountble subset of the intervl [0, 1]. The request of Exercise is to prove tht the function { 1 if x C g(x) = 0 if x/ C is continuous t every point of the complement of C nd hs discontinuities t ech point of C. Thus, g is not continuous on n uncountbly infinite set. Exercise Using the fct tht C = n=0 C n, where ech C n consists of finite union of closed intervls, rgue tht g is Riemnn-integrble on [0, 1]. Sets of Mesure Zero Thome s function fils to be continuous t ech rtionl number in [0, 1]. Although this set is infinite, we hve seen tht ny subset of Q is countble. Countbly infinite sets re the smllest type of infinite set. The Cntor set is uncountble, but it is lso smll in sense tht we re now redy to mke precise. In the introduction to Chpter 3, we presented n rgument tht the Cntor set hs zero length. The term length is wkwrd here becuse it relly should only be pplied to intervls or unions of intervls, which the Cntor set is not. There is generliztion of the concept of length to more generl sets clled the mesure of set. Of interest to our discussion re subsets tht hve mesure zero. Definition A set A R hs mesure zero if, for ll ɛ>0, there exists countble collection of open intervls O n with the property tht A is contined in the union of ll of the intervls O n nd the sum of the lengths of ll of the intervls is less thn or equl to ɛ. More precisely, if O n refers to the length of the intervl O n, then we hve A nd O n ɛ. n=1 O n Exmple Consider finite set A = { 1, 2,..., N }. To show tht A hs mesure zero, let ɛ>0 be rbitrry. For ech 1 n N, construct the intervl ( G n = n ɛ 2N, n + ɛ ). 2N Clerly, A is contined in the union of these intervls, nd N G n = n=1 N n=1 n=1 ɛ N = ɛ.

23 7.6. Lebesgue s Criterion for Riemnn Integrbility 205 Exercise Show tht ny countble set hs mesure zero. Exercise Prove tht the Cntor set (which is uncountble) hs mesure zero. Exercise Show tht if two sets A nd B ech hve mesure zero, then A B hs mesure zero s well. In ddition, discuss the proof of the stronger sttement tht the countble union of sets of mesure zero lso hs mesure zero. (This second sttement is true, but completely rigorous proof requires result bout double summtions discussed in Section 2.8.) α-continuity Definition Let f be defined on [, b], nd let α>0. The function f is α-continuous t x [, b] if there exists δ>0 such tht for ll y, z (x δ, x+δ) it follows tht f(y) f(z) <α. Let f be bounded function on [, b]. For ech α>0, define D α to be the set of points in [, b] where the function f fils to be α-continuous; tht is, (1) D α = {x [, b] :f is not α-continuous t x.}. The concept of α-continuity ws previously introduced in Section 4.6. Severl of the ensuing exercises ppered s exercises in this section s well. Exercise If α 1 <α 2, show tht D α2 D α1. Now, let (2) D = {x [, b] :f is not continuous t x }. Exercise () Let α > 0 be given. Show tht if f is continuous t x [, b], then it is α-continuous t x s well. Explin how it follows tht D α D. (b) Show tht if f is not continuous t x, then f is not α-continuous for some α>0. Now, explin why this gurntees tht D = D 1/n. n=1 Exercise Prove tht for fixed α>0, the set D α is closed. Exercise By imitting the proof of Theorem 4.4.8, show tht if, for some fixed α>0, f is α-continuous t every point on some compct set K, then f is uniformly α-continuous on K. By uniformly α-continuous, we men tht there exists δ>0 such tht whenever x nd y re points in K stisfying x y <δ, it follows tht f(x) f(y) <α.

24 206 Chpter 7. The Riemnn Integrl Compctness Revisited Compctness of subsets of the rel line cn be described in three equivlent wys. The following theorem ppers towrd the end of Section 3.3. Theorem Let K R. The following three sttements re ll equivlent, in the sense tht ifny one is true, then so re the two others. (i) Every sequence contined in K hs convergent subsequence tht converges to limit in K. (ii) K is closed nd bounded. (iii) Given collection ofopen intervls {G α : α Λ} tht covers K; tht is, K α Λ G α, there exists finite subcollection {G α1,g α2,g α3,...,g αn } ofthe originl set tht lso covers K. The equivlence of (i) nd (ii) hs been used throughout the core mteril in the text. Chrcteriztion (iii) hs been less centrl but is essentil to the upcoming rgument. So tht the mteril in this section is self-contined, we quickly outline proof tht (i) nd (ii) imply (iii). (This lso ppers s Exercise ) Proof. Assume K stisfies (i) nd (ii), nd let {G α : α Λ} be n open cover of K. For contrdiction, let s ssume tht no finite subcover exists. Let I 0 be closed intervl contining K, nd then bisect I 0 into two closed intervls A 1 nd B 1. It must be tht either A 1 K or B 1 K (or both) hs no finite subcover consisting of sets from {G α : α Λ}. Let I 1 be hlf of I 0 contining prt of K tht cnnot be finitely covered. Repeting this construction results in nested sequence of closed intervls I 0 I 1 I 2 with the property tht, for ny n, I n K cnnot be finitely covered nd lim n I n =0. Exercise () Show tht there exists n x K such tht x I n for ll n. (b) Becuse x K, there must exist n open set G α0 from the originl collection tht contins x s n element. Explin why this furnishes us with the desired contrdiction. Lebesgue s Theorem We re now prepred to completely ctegorize the collection of Riemnn-integrble functions in terms of continuity. Theorem (Lebesgue s Theorem). Let f be bounded function defined on the intervl [, b]. Then, f is Riemnn-integrble ifnd only ifthe set ofpoints where f is not continuous hs mesure zero.

25 7.6. Lebesgue s Criterion for Riemnn Integrbility 207 Proof. Let M>0stisfy f(x) M for ll x [, b], nd let D nd D α be defined s in the preceding equtions (1) nd (2). Let s first ssume tht D hs mesure zero nd prove tht our function is integrble. ( ) Set ɛ α = 2(b ). Exercise Show tht there exists finite collection of disjoint open intervls {G 1,G 2,...,G N } whose union contins D α nd tht stisfies N n=1 G n < ɛ 4M. Exercise Let K be wht remins of the intervl [, b] fter the open intervls G n re ll removed; tht is, K =[, b]\ N n=1 G n. Argue tht f is uniformly α-continuous on K. Exercise Finish the proof in this direction by explining how to construct prtition P ɛ of [, b] such tht U(f,P ɛ ) L(f,P ɛ ) ɛ. It will be helpful to brek the sum U(f,P ɛ ) L(f,P ɛ )= n (M k m k ) x k into two prts, one over those subintervls tht contin points of D α nd the other over subintervls tht do not. ( ) For the other direction, ssume f is Riemnn-integrble. We must rgue tht the set D of discontinuities of f hs mesure zero. Fix α>0, nd let ɛ>0 be rbitrry. Becuse f is Riemnn-integrble, there exists prtition P ɛ of [, b] such tht U(f,P ɛ ) L(f,P ɛ ) <αɛ. Exercise () Use the subintervls of the prtition P ɛ to prove tht D α hs mesure zero. Point out tht it is possible to choose cover for D α tht consists of finite number of open intervls. (Sets for which this is possible re sometimes clled content zero. See Exercise ) (b) Show how this implies tht D hs mesure zero. k=1 A Nonintegrble Derivtive To this point, our one exmple of nonintegrble function is Dirichlet s nowherecontinuous function. We close this section with nother exmple tht hs specil significnce. The content of the Fundmentl Theorem of Clculus is tht integrtion nd differentition re inverse processes of ech other. This led us to sk (in the finl prgrph of the discussion in Section 7.1) whether we could integrte every derivtive. For the Riemnn integrl, the nswer is resounding

26 208 Chpter 7. The Riemnn Integrl 1 Figure 7.3: A preliminry sketch of f 1 (x). no. Wht follows is the construction of differentible function whose derivtive cnnot be integrted with the Riemnn integrl. We will once gin be interested in the Cntor set C = C n, n=0 defined in Section 3.1. As n initil step, let s crete function f(x) tht is differentible on [0, 1] nd whose derivtive f (x) hs discontinuities t every point of C. The key ingredient for this construction is the function g(x) = { x 2 sin(1/x) if x>0 0 if x 0. Exercise () Find g (0). (b) Use the stndrd rules of differentition to compute g (x) for x 0. (c) Explin why, for every δ>0, g (x) ttins every vlue between 1 nd 1 s x rnges over the set ( δ, δ). Conclude tht g is not continuous t x =0. Now, we wnt to trnsport the behvior of g round zero to ech of the endpoints of the closed intervls tht mke up the sets C n used in the definition of the Cntor set. The formuls re wkwrd but the bsic ide is strightforwrd. Strt by setting f 0 (x) =0 on C 0 =[0, 1]. To define f 1 on [0, 1], first ssign f 1 (x) = 0 for ll x C 1 = [ 0, 1 ] [ ] 2 3 3, 1.

27 7.6. Lebesgue s Criterion for Riemnn Integrbility Figure 7.4: A grph of f 2 (x). In the remining open middle third, put trnslted copies of g oscillting towrd the two endpoints (Fig. 7.3). In terms of formul, we hve 0 if x [0, 1/3] g(x 1/3) if x is just to the right of 1/3 f 1 (x) = g( x +1/3) if x is just to the left of 2/3 0 if x [2/3, 1]. Finlly, we splice the two oscillting pieces of f 1 together in such wy tht mkes f 1 differentible. This is no gret fet, nd we will skip the detils so s to keep our ttention focused on the two endpoints 1/3 nd 2/3. These re the points where f 1(x) fils to be continuous. To define f 2 (x), we strt with f 1 (x) nd do the sme trick s before, this time in the two open intervls (1/9, 2/9) nd (7/9, 8/9). The result (Fig. 7.4) is differentible function tht is zero on C 2 nd hs derivtive tht is not continuous on the set {1/9, 2/9, 1/3, 2/3, 7/9, 8/9}. Continuing in this fshion yields sequence of functions f 0,f 1,f 2,... defined on [0, 1]. Exercise () If c C, wht is lim n f n (c)? (b) Why does lim n f n (x) exist for x/ C? Now, set f(x) = lim f n(x). n Exercise () Explin why f (x) exists for ll x/ C. (b) If c C, rgue tht f(x) (x c) 2 for ll x [0, 1]. Show how this implies f (c) =0.

28 210 Chpter 7. The Riemnn Integrl (c) Give creful rgument for why f (x) fils to be continuous on C. Remember tht C contins mny points besides the endpoints of the intervls tht mke up C 1,C 2,C 3,.... Let s tke inventory of the sitution. Our gol is to crete nonintegrble derivtive. Our function f(x) is differentible, nd f fils to be continuous on C. We re not quite done. Exercise Why is f (x) Riemnn-integrble on [0, 1]? The reson the Cntor set hs mesure zero is tht, t ech stge, 2 n 1 open intervls of length 1/3 n re removed from C n 1. The resulting sum ( ) 1 2 n 1 3 n n=1 converges to one, which mens tht the pproximting sets C 1,C 2,C 3,... hve totl lengths tending to zero. Insted of removing open intervls of length 1/3 n t ech stge, let s see wht hppens when we remove intervls of length 1/3 n+1. Exercise Show tht, under these circumstnces, the sum of the lengths of the intervls mking up ech C n no longer tends to zero s n. Wht is this limit? If we gin tke the intersection n=0 C n, the result is Cntor-type set with the sme topologicl properties it is closed, compct nd perfect. But consequence of the previous exercise is tht it no longer hs mesure zero. This is just wht we need to define our desired function. By repeting the preceding construction of f(x) on this new Cntor-type set of positive mesure, we get differentible function whose derivtive hs too mny points of discontinuity. By Lebesgue s Theorem, this derivtive cnnot be integrted using the Riemnn integrl. 7.7 Epilogue Riemnn s definition of the integrl ws modifiction of Cuchy s integrl, which ws originlly designed for the purpose of integrting continuous functions. In this gol, the Riemnn integrl ws complete success. For continuous functions t lest, the process of integrtion now stood on its own rigorous footing, defined independently of differentition. As nlysis progressed, however, the dependence of integrbility on continuity becme problemtic. The lst exmple of Section 7.6 highlights one type of wekness: not every derivtive cn be integrted. Another limittion of the Riemnn integrl rises in ssocition with limits of sequences of functions. To get sense of this, let s once gin consider Dirichlet s function g(x) introduced in Section 4.1. Recll tht g(x) = 1 whenever x is rtionl, nd g(x) = 0 t every irrtionl point. Focusing on the intervl [0, 1] for moment, let {r 1,r 2,r 3,r 4...}

29 7.7. Epilogue 211 be n enumertion of the countble number of rtionl points in this intervl. Now, let g 1 (x) =1ifx = r 1 nd define g 1 (x) = 0 otherwise. Next, define g 2 (x) =1ifx is either r 1 or r 2, nd let g 2 (x) = 0 t ll other points. In generl, for ech n N, define { 1 if x {r1,r g n (x) = 2,...,r n } 0 otherwise. Notice tht ech g n hs only finite number of discontinuities nd so is Riemnnintegrble with 1 0 g n = 0. But we lso hve g n g pointwise on the intervl [0, 1]. The problem rises when we remember tht Dirichlet s nowherecontinuous function is not Riemnn-integrble. Thus, the eqution (1) lim n 1 0 g n = fils to hold, not becuse the vlues on ech side of the equl sign re different but becuse the vlue on the right-hnd side does not exist. The content of Theorem is tht this eqution does hold whenever we hve g n g uniformly. This is resonble wy to resolve the sitution, but it is bit unstisfying becuse the deficiency in this cse is not entirely with the type of convergence but lies in the strength of the Riemnn integrl. If we could mke sense of the right-hnd side vi some other definition of integrtion, then mybe eqution (1) would ctully be true. Such definition ws introduced by Henri Lebesque in Generlly speking, Lebesgue s integrl is constructed using generliztion of length clled the mesure of set. In the previous section, we studied sets of mesure zero. In prticulr, we showed tht the rtionl numbers in [0,1] (becuse they re countble) hve mesure zero. The irrtionl numbers in [0,1] hve mesure one. This should not be too surprising becuse we now hve tht the mesures of these two disjoint sets dd up to the length of the intervl [0, 1]. Rther thn chopping up the x-xis to pproximte the re under the curve, Lebesgue suggested prtitioning the y-xis. In the cse of Dirichlet s function g, there re only two rnge vlues zero nd one. The integrl, ccording to Lebesgue, could be defined vi 1 0 g = 1 [mesure of set where g =1]+0 [mesure of set where g =0] = =0. With this interprettion of 1 g, eqution (1) is now vlid! 0 The Lebesgue integrl is presently the stndrd integrl in dvnced mthemtics. The theory is tught to ll grdute students, s well s to mny dvnced undergrdutes, nd it is the integrl used in most reserch ppers where integrtion is required. The Lebesgue integrl generlizes the Riemnn integrl in the sense tht ny function tht is Riemnn-integrble is Lebesgueintegrble nd integrtes to the sme vlue. The rel strength of the Lebesgue 1 0 g

30 212 Chpter 7. The Riemnn Integrl integrl is tht the clss of integrble functions is much lrger. Most importntly, this clss includes the limits of different types of Cuchy sequences of integrble functions. This leds to group of extremely importnt convergence theorems relted to eqution (1) with hypotheses much weker thn the uniform convergence ssumed in Theorem Despite its prevlence, the Lebesgue integrl does hve few drwbcks. There re functions whose improper Riemnn integrls exist but tht re not Lebesgue-integrble. Another disppointment rises from the reltionship between integrtion nd differentition. Even with the Lebesgue integrl, it is still not possible to prove f = f(b) f() without some dditionl ssumptions on f. Around 1960, new integrl ws proposed tht cn integrte lrger clss of functions thn either the Riemnn integrl or the Lebesgue integrl nd suffers from neither of the preceding weknesses. Remrkbly, this integrl is ctully return to Riemnn s originl technique for defining integrtion, with some smll modifictions in how we describe the fineness of the prtitions. An introduction to the generlized Riemnn integrl is the topic of Section 8.1.

31

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

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

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

Chapter 0. What is the Lebesgue integral about?

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

More information

The 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

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

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

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

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

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

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

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

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

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

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all

f(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all 3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the

More information

Lecture 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

p-adic Egyptian Fractions

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

More information

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

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

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

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

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

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

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

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

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

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

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

Section 6.1 INTRO to LAPLACE TRANSFORMS

Section 6.1 INTRO to LAPLACE TRANSFORMS Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform

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

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

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

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

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

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

5.7 Improper Integrals

5.7 Improper Integrals 458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce 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

Recitation 3: More Applications of the Derivative

Recitation 3: More Applications of the Derivative Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech

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

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

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

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

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

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

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp. MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27-233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.

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

1.9 C 2 inner variations

1.9 C 2 inner variations 46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for

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

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

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

Main topics for the Second Midterm

Main topics for the Second Midterm Min topics for the Second Midterm The Midterm will cover Sections 5.4-5.9, Sections 6.1-6.3, nd Sections 7.1-7.7 (essentilly ll of the mteril covered in clss from the First Midterm). Be sure to know the

More information

MATH 144: Business Calculus Final Review

MATH 144: Business Calculus Final Review MATH 144: Business Clculus Finl Review 1 Skills 1. Clculte severl limits. 2. Find verticl nd horizontl symptotes for given rtionl function. 3. Clculte derivtive by definition. 4. Clculte severl derivtives

More information

NUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.

NUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by. NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with

More information

Chapter 5. Numerical Integration

Chapter 5. Numerical Integration Chpter 5. Numericl Integrtion These re just summries of the lecture notes, nd few detils re included. Most of wht we include here is to be found in more detil in Anton. 5. Remrk. There re two topics with

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

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

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

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

different methods (left endpoint, right endpoint, midpoint, trapezoid, Simpson s).

different methods (left endpoint, right endpoint, midpoint, trapezoid, Simpson s). Mth 1A with Professor Stnkov Worksheet, Discussion #41; Wednesdy, 12/6/217 GSI nme: Roy Zho Problems 1. Write the integrl 3 dx s limit of Riemnn sums. Write it using 2 intervls using the 1 x different

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

arxiv:math/ v2 [math.ho] 16 Dec 2003

arxiv:math/ v2 [math.ho] 16 Dec 2003 rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,

More information

Numerical Integration

Numerical Integration Chpter 5 Numericl Integrtion Numericl integrtion is the study of how the numericl vlue of n integrl cn be found. Methods of function pproximtion discussed in Chpter??, i.e., function pproximtion vi the

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

P 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0)

P 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0) 1 Tylor polynomils In Section 3.5, we discussed how to pproximte function f(x) round point in terms of its first derivtive f (x) evluted t, tht is using the liner pproximtion f() + f ()(x ). We clled this

More information

Taylor Polynomial Inequalities

Taylor Polynomial Inequalities Tylor Polynomil Inequlities Ben Glin September 17, 24 Abstrct There re instnces where we my wish to pproximte the vlue of complicted function round given point by constructing simpler function such s polynomil

More information

(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.

(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P. Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time

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

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

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

Math 113 Fall Final Exam Review. 2. Applications of Integration Chapter 6 including sections and section 6.8

Math 113 Fall Final Exam Review. 2. Applications of Integration Chapter 6 including sections and section 6.8 Mth 3 Fll 0 The scope of the finl exm will include: Finl Exm Review. Integrls Chpter 5 including sections 5. 5.7, 5.0. Applictions of Integrtion Chpter 6 including sections 6. 6.5 nd section 6.8 3. Infinite

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

APPROXIMATE INTEGRATION

APPROXIMATE INTEGRATION APPROXIMATE INTEGRATION. Introduction We hve seen tht there re functions whose nti-derivtives cnnot be expressed in closed form. For these resons ny definite integrl involving these integrnds cnnot be

More information

Bernoulli Numbers Jeff Morton

Bernoulli Numbers Jeff Morton Bernoulli Numbers Jeff Morton. We re interested in the opertor e t k d k t k, which is to sy k tk. Applying this to some function f E to get e t f d k k tk d k f f + d k k tk dk f, we note tht since f

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

Math 324 Course Notes: Brief description

Math 324 Course Notes: Brief description Brief description These re notes for Mth 324, n introductory course in Mesure nd Integrtion. Students re dvised to go through ll sections in detil nd ttempt ll problems. These notes will be modified nd

More information

a < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1

a < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1 Mth 33 Volume Stewrt 5.2 Geometry of integrls. In this section, we will lern how to compute volumes using integrls defined by slice nlysis. First, we recll from Clculus I how to compute res. Given the

More information

Convergence of Fourier Series and Fejer s Theorem. Lee Ricketson

Convergence of Fourier Series and Fejer s Theorem. Lee Ricketson Convergence of Fourier Series nd Fejer s Theorem Lee Ricketson My, 006 Abstrct This pper will ddress the Fourier Series of functions with rbitrry period. We will derive forms of the Dirichlet nd Fejer

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