Functions of bounded variation

Size: px
Start display at page:

Download "Functions of bounded variation"

Transcription

1 Division for Mthemtics Mrtin Lind Functions of bounded vrition Mthemtics C-level thesis Dte: Supervisor: Viktor Kold Exminer: Thoms Mrtinsson Krlstds universitet Krlstd Tfn Fx

2 Introduction In this pper we investigte the functions of bounded vritions. We stud bsic properties of these functions nd solve some problems. I m ver grteful to m supervisor Viktor Kold for his guidnce. 1

3 Contents Introduction 1 1 Monotone functions 3 2 Functions of bounded vrition Generl properties Positive nd negtive vrition Conditions for bounded vrition The function v(x) Two limits Jump functions 29 2

4 1 Monotone functions The properties of monotone functions will be useful to us becuse lter we shll see tht some of them cn be extended directl to the functions of bounded vrition. First definition: Definition Let f : [, b] R be function. Then f is sid to be incresing on [, b] if for ever x, [, b] x < f(x) f() decresing on [, b] if for ever x, [, b] x < f(x) f() monotone if f is either incresing or decresing on [, b] If the intervl [, b] cn be divided into finite number of intervls such tht f is monotone on ech of them then f is sid to be piecewise monotone on [, b]. The following theorem is given in [2], we refer to it for proof. Theorem [2, p. 95]. Let f : [, b] R be incresing on [, b] nd suppose tht c (, b). Then f(c + 0) nd f(c 0) 1 exists nd sup{f(x) : x < c} = f(c 0) f(c) f(c + 0) = inf{f(x) : x > c} If f is decresing the theorem bove still holds, with opposite inequlities of course. Thus we cn stte tht if f is monotone nd c (, b) then both f(c + 0) nd f(c 0) exists. Therefore the following definition mkes sense: Definition Let f : [, b] R be monotone on [, b] nd let c [, b]. (i) If c [, b) we define the right-hnd jump of f t c to be σ + c = f(c + 0) f(c) (ii) If c (, b] we define the left-hnd jump of f t c to be σ c = f(c) f(c 0) 1 We denote the right-hnd nd left-hnd limits lim f(c + h) = f(c + 0) lim h 0 f(c h) = f(c 0) h 0 where h tends to 0 from the positive side. 3

5 (iii) If c [, b] we define the jump of f t c to be σ c + + σc if c (, b) σ c = σ c + if c = if c = b σ c We now mke the following simple observtion: if f : [, b] R is monotone on [, b], then f is continuous t c [, b] if nd onl if σ c = 0. Here, the necessit is obvious nd the sufficienc follows t once from theorem Of course, monotone function needn t be continuous. However we cn now prove tht if f : [, b] R is monotone then it cn t be too discontinuous. Theorem [2, p. 96]. Let f : [, b] R be monotone on [, b] nd let D be the set of ll points of discontinuit of f. Then D is t most countble. Proof: Suppose tht f is incresing on [, b]. A point c [, b] is point of discontinuit of f if nd onl if σ c 0. Since f is incresing on [, b] clerl σ c 0 for ever c [, b] nd hence D = {x [, b] : σ x > 0} For n given n N tke points x 1, x 2,..., x n stisfing x 1 < x 2 <... < x n b. For 0 j n tke points t j such tht = t 0 x 1 < t 1 < x 2 < t 2 <... < t n 1 < x n t n = b Then, since f is incresing we hve σ xj f(t j ) f(t j 1 ) for 1 j n nd it follows tht σ x1 + σ x σ xn n (f(t j ) f(t j 1 )) j=1 = f(b) f() So if D k = {x : σ x (f(b) f())/k} then D k cn hve t most k elements. Furthermore, D = k=1 D k nd since ever D k is finite D is t most countble. 4

6 2 Functions of bounded vrition 2.1 Generl properties Let f : [, b] R be function nd Π = {x 0, x 1,..., x n } prtition of [, b]. We denote V Π (f) = n 1 f(x k+1) f(x k ) nd set (f) = sup V Π (f) V b where the supremum is tken over ll prtitions of [, b]. We clerl hve 0 V b (f). The quntit V b (f) is clled the totl vrition of f over [, b]. Definition A function f : [, b] R is sid to be of bounded vrition on [, b] if V b (f) is finite. If f is of bounded vrition on [, b] we write f V [, b]. Occsionll we shll s tht function is of bounded vrition, leving out the specifiction of intervl, when the intervl in question is cler. We shll stte nd prove some importnt properties of functions of bounded vrition nd their totl vrition but first we need theorem concerning refinements of prtitions. Theorem Let f : [, b] R be function nd Π n prtition of [, b]. If Π is n refinement of Π then V Π (f) V Π (f). Proof: Since n refinement of Π cn be obtined b dding points to Π one t time it s enough to prove the theorem in the cse when we dd just one point. Tke Π = {x 0, x 1,..., x n } nd dd the point c to Π nd denote the result Π. Assume tht x j < c < x j+1 for some 0 j n 1, then the tringle inequlit gives tht nd hence V Π (f) = f(x j+1 ) f(x j ) = f(x j+1 ) f(c) + f(c) f(x j ) f(x j+1 ) f(c) + f(c) f(x j ) n 1 f(x k+1 ) f(x k ) = f(x j+1 ) f(x j ) + n 1 Π,k j f(x j+1 ) f(c) + f(c) f(x j ) + = V Π (f) 5 f(x k+1 ) f(x k ) n 1,k j f(x k+1 ) f(x k )

7 The theorem bove ssures us tht dding points to prtition Π will onl mke the sum V Π (f) lrger or perhps leve it unchnged, useful fct tht we shll use in the proof of the following theorem, given in [1]. Theorem [1, p. 120]. Let f : [, b] R nd c n rbitrr point in (, b). Then f V [, b] if nd onl if f V [, c] nd f V [c, b]. Furthermore, if f V [, b] then V b (f) = V c (f) + V b c (f) Proof: Assume tht f V [, b]. We will show tht f V [, c], the proof is similr to prove tht f V [c, b]. Tke n rbitrr prtition Π of [, c] nd dd the point b to Π nd denote the result Π, which is prtition of [, b]. We then hve V Π (f) = V Π (f) + f(b) f(c) V b (f) V Π (f) V b (f) f(b) f(c) Since V b (f) is finite, the sums V Π (f) re bounded bove nd thus sup Π V Π (f) is finite, tht is f V [, c]. Now ssume tht f V [, c] nd f V [c, b]. Let Π be n prtition of [, b]. Add the point c to Π nd denote the result Π 1. Then Π 1 = Π Π where Π is prtition of [, c] nd Π is prtition of [c, b]. Then we hve V Π (f) V Π1 (f) = V Π (f) + V Π (f) V c (f) + V b c (f) nd since both V c (f) nd Vc b (f) re finite the sums V Π (f) re bounded bove nd thus f V [, b] nd V b (f) V c (f) + Vc b (f). Now we tke n two prtitions Π nd Π of [, c] nd [c, b] respectivel nd let Π be the union of Π nd Π, then Π is prtition of [, b]. We hve V Π (f) + V Π (f) = V Π (f) V b (f) nd thus V Π (f) V b (f) V Π (f). For n fixed prtition Π of [c, b] the number V b (f) V Π (f) is n upper bound for the sums V Π (f) nd therefore V c (f) V b (f) V Π (f). This is equivlent to V Π (f) V b (f) V c (f) nd thus V b (f) V c (f) is n upper bound for the sums V Π (f) nd therefore Vc b (f) V b (f) V c (f) whence V c (f) + Vc b (f) V b (f). But then we must hve V b (f) = V c (f) + Vc b (f). 6

8 The following two theorems re given in [1] nd re strightforwrd to prove nd therefore their proofs re omitted. Theorem [1, p. 120]. Let f, g : [, b] R be of bounded vrition on [, b]. Then (f + g) V [, b] nd V b (f + g) V b (f) + V b (g). Theorem [1, p. 120]. Let f : [, b] R be of bounded vrition on [, b]. Then cf V [, b] for n c R nd V b (cf) = c V b (f) Theorem [1, p. 119]. If f : [, b] R is monotone on [, b] then f V [, b] nd V b (f) = f(b) f() Proof: We will give the proof in the cse when f is incresing, it is similr when f is decresing. Let f be incresing on [, b], then f(b) f() = f(b) f(). Tke n rbitrr prtition Π = {x 0, x 1,..., x n } of [, b]. Since f is incresing we hve f(x k+1 ) f(x k ) = f(x k+1 ) f(x k ) nd hence V Π (f) = n 1 f(x k+1 ) f(x k ) = n 1 (f(x k+1 ) f(x k )) = f(b) f() Since the sum V Π (f) is independent of the prtition Π we conclude tht V b (f) = f(b) f() Combining the theorem bove with theorem we see tht n piecewise monotone function defined on compct intervl is of bounded vrition. However, the converse is certinl not true. Indeed, there exists functions of bounded vrition tht ren t monotone on n subintervl. Even so, functions of bounded vrition cn be chrcterized in terms of monotone functions, s the following theorem due to Jordn shows. Theorem (Jordn s theorem) [1, p. 121]. Let f : [, b] R, f is of bounded vrition if nd onl if f is the difference of two incresing functions. Proof: Assume tht f V [, b] nd let v(x) = V x (f), x (, b] nd v() = 0. Then clerl f(x) = v(x) [v(x) f(x)]. We will show v(x) nd v(x) f(x) re incresing. For n x 1 < x 2 we hve v(x 2 ) v(x 1 ) = V x 2 x 1 (f) 0 v(x 2 ) v(x 1 ) so v(x) is incresing. Furthermore, 7

9 f(x 2 ) f(x 1 ) f(x 2 ) f(x 1 ) V x 2 x 1 (f) = v(x 2 ) v(x 1 ) v(x 1 ) f(x 1 ) v(x 2 ) f(x 2 ) nd thus v(x) f(x) is incresing. Conversel, suppose tht f(x) = g(x) h(x) with g nd h incresing. Since h is incresing h is decresing nd thus f(x) = g(x)+( h(x)) is the sum of two monotone functions so theorem together with theorem gives tht f V [, b] Since n function of bounded vrition cn be written s the sum of two monotone functions mn of the properties of monotone functions re inherited b functions of bounded vrition. If f V [, b], then The limits f(c + 0) nd f(c 0) exists for n c (, b). The set of points where f is discontinuous is t most countble. We shll return to these fcts lter on. The following two problems demonstrte how one cn use the theorems given bove in computtions. Problem Represent f(x) = cos 2 x, 0 x 2π s difference of two incresing functions. Solution: The proof of Jordns theorem shows tht the functions v(x) f(x) nd v(x) will do, so the problem is to determine v(x). Divide [0, 2π] into four subintervls I 1 = [0, π], I 2 2 = [ π, π], I 2 3 = [π, 3π] nd I 2 4 = [ 3π, 2π]. 2 The function f(x) decreses from 0 to 1 on I 1 nd I 3 nd increses from 0 to 1 on I 2 nd I 4, so the totl vrition of f over n of these subintervls is 1. To determine V0 x (f) we need to stud seprte cses depending on which intervl x lies in. To demonstrte the principle, ssume tht x I 3, then V0 x (f) = V π 2 0 (f) + V π π (f) + f(x) f(π) 2 = cos 2 x 1 = 3 cos 2 x Similr clcultions for the other subintervls gives tht 1 cos 2 x 0 x π cos v(x) = 2 x π x π 2 3 cos 2 x π x 3π cos 2 x 3π x 2π 2 8

10 Problem Represent the function x 2 0 x < 1 f(x) = 0 x = < x 2 s difference of two incresing functions. Solution: As bove, we determine V0 x (f). On [0, 1) the function f(x) is decresing so if x [0, 1) then V x 0 (f) = x 2 0 = x 2 To determine V 1 0 (f), let Π = {x 0,..., x n } be n prtition of [0, 1] nd consider V Π (f). We hve V Π (f) = = = n 1 f(x k+1 ) f(x k ) n 2 f(x k+1 ) f(x k ) + f(1) f(x n 1 ) n 2 (x 2 k+1 x 2 k) + x 2 n 1 = 2x 2 n 1 B tking the point x n 1 close enough to 1, V Π (f) cn be mde rbitrr close to but less thn 2, nd thus V 1 0 (f) = 2. Finll, if x (1, 2] we hve V x 0 (f) = V 1 0 (f) + V x 1 (f) = 2 + V x 1 (f) Let Π = {x 0,..., x n } be n prtition of [1, x] nd consider V Π (f) n 1 V Π (f) = f(x k+1 ) f(x k ) n 1 = f(x 1 ) f(x 0 ) + f(x k+1 ) f(x k ) = 1 0 = 1 k=1 9

11 Clerl V Π (f) is independent of the prtition Π, so V1 x (f) = 1 nd thus V0 x (f) = 3, x (1, 2]. Hence V x 0 (f) = x 2 0 x < 1 2 x = < x 2 Then f(x) = V0 x (f) (V0 x (f) f(x)) where V x 0 (f) f(x) = 2x 2 0 x < 1 2 x = < x 2 10

12 2.2 Positive nd negtive vrition For n R set + = mx{, 0} nd = mx{, 0} We begin b noticing the following equlities: + + = (1) + = (2) Indeed, if > 0 then + = = nd = 0 so + + = nd + =. The cse < 0 is treted similrl. Equtions 1 nd 2 gives tht + = ( + )/2. Then we hve (α + β) + = α + β + α + β 2 α + β + α + β 2 = α + + β + tht is (α + β) + α + + β + (3) Let f : [, b] R nd Π = {x 0, x 1,..., x n } n prtition of [, b]. Denote n 1 n 1 P Π (f) = [f(x k+1 ) f(x k )] + nd Q Π (f) = [f(x k+1 ) f(x k )] nd set P b (f) = sup Π P Π (f) nd Q b (f) = sup Q Π (f) Π P(f) b nd Q b (f) will be referred to s the positive respectivel negtive vrition of f on [, b]. There is connection between P(f), b Q b (f) nd V b (f), s the following problem shows: Problem If one of the mgnitudes P b (f), Q b (f) nd V b (f) is finite then so re the two others. Proof: For n prtition Π of [, b] we hve P Π (f) + Q Π (f) = V Π (f) nd P Π (f) Q Π (f) = f(b) f() ccording to equtions 1 nd 2. The equlit P Π (f) Q Π (f) = f(b) f() gives tht (i) (ii) P Π (f) Q b (f) + f(b) f() Q Π (f) P b (f) + f() f(b) 11

13 Hence P b (f) is finite if nd onl if Q b (f) is finite. Suppose tht V b (f) is finite. For n prtition Π of [, b] we hve P Π (f) + Q Π (f) = V Π (f) V b (f) nd since P Π (f) 0 nd Q Π (f) 0 we lso hve P Π (f) V b (f) nd Q Π (f) V b (f) whence it follows tht P(f) b nd Q b (f) is finite. Suppose now tht one of P b (f), Q b (f) is finite, then the other one is finite s well. Then, for n prtition Π so V b (f) must be finite. V Π (f) = P Π (f) + Q Π (f) P b (f) + Q b (f) Let f be function of bounded vrition. Then the dditive propert (theorem 2.1.3) holds lso for the positive nd negtive vrition of f, the problem below shows this for the positive vrition. Problem Let f V [, b] nd < c < b. Then P b (f) = P c (f) + P b c (f) Proof: We will prove n nlogue of the theorem on refinements of prtitions for the positive vrition. Once this is done the proof is exctl s the proof of theorem As in theorem we tke n rbitrr prtition Π = {x 0, x 1,..., x n } of [, b] nd dd one dditionl point c, where x j < c < x j+1 for some j, nd denote the result Π. B ( 3) we hve nd thus P Π (f) = [f(x j+1 ) f(x j )] + [f(x j+1 ) f(c)] + + [f(c) f(x j )] + n 1 [f(x k+1 ) f(x k )] + = [f(x j+1 ) f(x j )] + + n 1,k j [f(x k+1 ) f(x k )] + [f(x j+1 ) f(c)] + + [f(c) f(x j )] + + = P Π (f) 12 n 1,k j [f(x k+1 ) f(x k )] +

14 With the useful dditivit propert estblished we consider the following problem. Problem Find P x (f), Q x (f) nd V x (f) if: ) f(x) = 4x 3 3x 4, 2 x 2 b) f(x) = x + 2[x], 0 x 3 Solution: ) The derivtive f (x) = 12x 2 12x 3 = 12x 2 (1 x) gives tht f(x) is incresing on [ 2, 1] nd decresing on [1, 2]. If x [ 2, 1] then V x 2(f) = f(x) f( 2) = 4x 3 3x since f(x) is incresing. If x (1, 2] then V 2(f) x = V 2(f) 1 + V1 x (f) = f(1) f( 2) + f(x) f(1) = x 3 3x 4 1 = x 3 + 3x 4 Thus V x 2(f) = { 4x 3 3x x [ 2, 1] 82 4x 3 + 3x 4 x (1, 2] Since f is incresing on [ 2, 1] then [f(x) f()] + = f(x) f() nd [f(x) f()] = 0 for n x, [ 2, 1]. It follows tht P 2(f) x = V 2(f) x nd Q x 2(f) = 0 when x [ 2, 1]. Since f is decresing on [1, 2] then [f(x) f()] + = 0 nd [f(x) f()] = f(x) f() for n x, [1, 2]. It follows tht P1 x (f) = 0 nd Q x 1(f) = V1 x (f) nd then P 2(f) x = P 2(f) 1 + P1 x (f) = 81 nd Q x 2(f) = Q 1 2(f) + Q x 1(f) = V1 x (f) = 1 4x 3 + 3x 4 for x [1, 2]. Thus we hve { 4x P 2(f) x = 3 3x x [ 2, 1] 81 x (1, 2] { 0 x [ 2, 1] Q x 2(f) = 1 4x 3 + 3x 4 x (1, 2] b) The function f(x) is incresing on [0,3] so V x 0 (f) = P x 0 (f) nd Q x 0(f) = 0 for n x [0, 3]. Furthermore V x 0 (f) = f(x) f(0) = x + 2[x] Thus, V x 0 (f) = P x 0 (f) = x + 2[x] nd Q x 0(f) = 0. 13

15 We shll finish this section with nother chrcteriztion of functions of bounded vrition. Problem Let f be defined on [, b]. Then f V [, b] if nd onl if there exists n incresing function ϕ on [, b] such tht for n x < x b f(x ) f(x ) ϕ(x ) ϕ(x ) Proof: Suppose tht f V [, b]. We tke ϕ(x) = V x (f), this function is incresing nd for n x < x b we hve ϕ(x ) ϕ(x ) = V x x (f) f(x ) f(x ) f(x ) f(x ) Conversel, suppose tht there exist n incresing function ϕ on [, b] such tht f(x ) f(x ) ϕ(x ) ϕ(x ) for n x < x b. Since ϕ is incresing on [, b] we hve ϕ V [, b] nd V b (ϕ) = P(ϕ). b Furthermore, since [f(x ) f(x )] + equls to either f(x ) f(x ) or 0 we hve [f(x ) f(x )] + ϕ(x ) ϕ(x ) for n x < x b. Therefore P Π (f) V b (ϕ) for n prtition Π of [, b] whence P(f) b V b (ϕ) Since V b (ϕ) is finite P b (f) must be finite s well. But then V b (f) is finite ccording to problem 2.2.1, tht is f V [, b]. 14

16 2.3 Conditions for bounded vrition We know tht piecewise monotone functions nd n function tht cn be expressed s the difference of two incresing functions re of bounded vrition. In this section we shll give some dditionl conditions which will gurntee tht function is of bounded vrition. Definition Let f : [, b] R, f is sid to stisf Lipschitz condition if there exists constnt M > 0 such tht for ever x, [, b] we hve f(x) f() M x Theorem [1, p. 119]. If f : [, b] R stisfies Lipschitz condition on [, b] with constnt K, then f V [, b] nd V b (f) K(b ). Proof: Suppose tht f(x) f() K x for ever x, [, b]. Tke n rbitrr prtition Π = {x 0, x 1,..., x n } of [, b]. Then V Π (f) = n 1 f(x k+1 ) f(x k ) n 1 K x k+1 x k = K(b ) Since Π ws rbitrr the inequlit bove is vlid for n prtition, which mens tht the sums V Π (f) re bounded bove b K(b ) whence it follows tht f V [, b] nd V b (f) K(b ). Theorem [1, p. 119]. If f : [, b] R is differentible on [, b] nd if there exists M > 0 such tht f (x) M on [, b] then f V [, b] nd V b (f) M(b ) Proof: For n x, [, b] we hve f(x) f() = f (c)(x ) for some c between x nd ccording to the Men vlue theorem. Hence f(x) f() = f (c) x M x for n x, [, b], tht is f stisfies Lipschitz condition on [, b] with constnt M nd thus Theorem gives the result. Problem Prove tht f V [0, 1] if f(x) = { x 3/2 cos(π/ x) 0 < x 1 0 x = 0 15

17 Solution: For n x (0, 1] the function f(x) hs the derivtive nd in the point 0 the derivtive f (x) = 3 2 x1/2 cos(π/ x) + π 2 sin(π/ x) f (0) = lim x 0 f(x) f(0) x 0 Now, for n x [0, 1] we hve = lim x 0 x 1/2 cos(π/ x) = 0 f (x) 3 2 x1/2 cos(π/ x) + π 2 sin(π/ x) π 2 Since f hs bounded derivtive on [0, 1] we hve tht f V [0, 1]. With the dditionl ssumption tht the derivtive f is continuous on [, b] we cn give formul for the totl vrition: Theorem If f is continuousl differentible on [, b] then f V [, b] nd the totl vrition is given b V b (f) = b f (x) dx Proof: Since f is continuous then f is bounded so f V [, b]. Furthermore, the continuit of f implies tht f is Riemnn-integrble on [, b]. Set I = b f (x) dx nd let ɛ > 0 be rbitrr. Then there exists δ > 0 such tht for n prtition P with d(p) < δ the Riemnn-sum S( f, P), with rbitrr intermedite points, stisf the following inequlities: I ɛ < S( f, P) < I + ɛ So let Π be prtition of [, b] with d(π) < δ. According to the Men Vlue theorem f(x k+1 ) f(x k ) = f (t k ) (x k+1 x k ) for some t k (x k, x k+1 ) Hence n 1 n 1 V Π (f) = f(x k+1 ) f(x k ) = f (t k ) (x k+1 x k ) 16

18 The right hnd side is Riemnn sum S( f, Π) nd since d(π) < δ we hve I ɛ < V Π (f) < I + ɛ I ɛ < V b (f) whence I V b (f) since ɛ is rbitrr. Further, for n prtition Π = {x 0, x 1,..., x n } we hve n 1 n 1 xk+1 V Π (f) = f(x k+1 ) f(x k ) = f (x)dx x k n 1 xk+1 x k f (x) dx = b f (x) dx Since Π is n rbitrr prtition it follows tht V b (f) I. Then we must hve I = V b (f). In the following problem we will estblish fct tht will be ver useful together with theorem Problem Let f be defined on [, b]. If f V [, c] for n < c < b nd if there exists number M such tht V c (f) M for n < c < b then f V [, b]. Proof: Let Π = {x 0, x 1,..., x n } be n rbitrr prtition of [, b]. Set Π = {x 0, x 1,..., x n 1 }. Then Π is prtition of [, x n 1 ] nd since V x n 1 (f) M we hve V Π (f) = V Π + f(b) f(x n 1 ) V x n 1 (f) + f(b) f(x n 1 ) M + f(b) f(x n 1 ) = M + f(b) + (f() f()) f(x n 1 ) M + f(b) f() + f() f(x n 1 ) M + f(b) f() + V x n 1 (f) 2M + f(b) f() Thus V Π (f) is bounded bove b 2M + f(b) f() nd therefore f V [, b]. The problem below demonstrtes how one cn use theorem nd problem 2.3.6: Problem Prove tht f V [0, 1] if { x f(x) = 3/2 cos(π/x) 0 < x 1 0 x = 0 17

19 Solution: For n x (0, 1] the function f(x) hs the derivtive f (x) = 3 2 x cos(π/x) + π x sin(π/x) For n 0 < < 1 the function f (x) is continuous on [, 1] nd thus f V [, 1] nd the totl vrition of f over [, 1] is given b Furthermore V 1 (f) = 1 f (x) dx so it follows tht f (x) = 3 π x cos(π/x) + x sin(π/x) 3 π x + x 2 2 V 1 (f) = 1 f (x) dx 1 ( 3 2 x + π x )dx < 1 + 2π tht is V 1 (f) 1 + 2π for n > 0. problem Then f V [0, 1] ccording to 18

20 2.4 The function v(x) In the proof of Jordns theorem we introduced the function of totl vrition, v(x) = V x (f). In this section we shll stud some properties of this function, more specificll continuit nd differentibilit. The following theorem is given in [1]: Theorem [1, p. 125]. Let f V [, b], then v(x) is continuous t point c if nd onl if f(x) is continuous t c. Insted of proving we shll give result tht is bit stronger: Problem Let f V [, b], then for n x (, b) we hve v(x + 0) v(x) = f(x + 0) f(x) nd v(x) v(x 0) = f(x) f(x 0) Proof: We shll prove the first equlit, the proof of the second one is similr. Tke fixed but rbitrr x 0 (, b) nd set L = f(x 0 + 0) f(x 0 ) Given ɛ > 0, there exists δ > 0 such tht x 0 < x < x 0 + δ L ɛ 2 < f(x) f(x 0) < L + ɛ 2 Let Π = {x 0, x 1,..., x n } be prtition of [x 0, b] such tht (i) (ii) Vx b 0 (f) ɛ < V 2 Π(f) x 1 < x 0 + δ The point x 1 cn be treted s n rbitrr point stisfing x 0 < x 1 < x 0 +δ. Now set Π = Π \ {x 0 }, clerl Π is prtition of [x 1, b] nd we hve Furthermore, V Π (f) V Π (f) = f(x 1 ) f(x 0 ) V Π (f) V Π (f) (Vx b 0 (f) ɛ ) V 2 Π (f) Vx b 0 (f) Vx b 1 (f) ɛ 2 = V x 1 x 0 (f) ɛ 2 = V x 1 (f) V x 0 (f) ɛ 2 = v(x 1 ) v(x 0 ) ɛ 2 Thus v(x 1 ) v(x 0 ) ɛ 2 f(x 1 ) f(x 0 ) < L + ɛ 2 f(x 1) f(x 0 ) nd since x 1 < x 0 + δ we hve whence v(x 1 ) v(x 0 ) < L + ɛ 19

21 But we lso hve tht f(x 1 ) f(x 0 ) V x 1 x 0 (f) = v(x 1 ) v(x 0 ) L ɛ 2 < v(x 1) v(x 0 ) L ɛ < v(x 1 ) v(x 0 ) Since we regrd the point x 1 s n rbitrr point stisfing x 0 < x 1 < x 0 +δ we hve x 0 < x < x 0 + δ L ɛ < v(x) v(x 0 ) < L + ɛ nd hence v(x 0 + 0) v(x 0 ) = L We shll proceed to stud how the differentibilit of the function v(x) is relted to tht of f(x). Problem If f hs continuous derivtive on [, b], then the function v(x) is differentible nd hs continuous derivtive on [, b]. Proof: First of ll, since f is continuous on [, b] then f is bounded on [, b] nd therefore f V [, b]. Further, b theorem v(x) = x f (t) dt nd ccording to the fundmentl theorem of clculus v (x) = f (x) which is continuous on [, b]. If f V [, b] then the existence of derivtive f on [, b] is not sufficient to gurntee tht v is differentible on [, b], s we shll demonstrte in problem. But first we need lemm: Lemm Set ϕ(x) = x sin t dt, then 0 Proof: For n n N ϕ(x) lim x x = 2 π ϕ(nπ) = nπ 0 sin t dt = n 1 (k+1)π kπ sin t dt To evlute (k+1)π sin t dt for given k, we mke the chnge of vrible kπ t = kπ + u, then 0 u π nd since the function sin is periodic with period π then (k+1)π sin t dt = π kπ 0 20 sin udu = 2

22 nd thus ϕ(nπ) = 2n. Assume tht nπ x < (n + 1)π for some n N, then 2n (n + 1)π < 2n x = ϕ(nπ) x ϕ(x) x since ϕ is n incresing function. On the other hnd, ϕ(x) x ϕ(x) nπ ϕ((n + 1)π)) nπ nd therefore 2 π n n + 1 < ϕ(x) x 2 π n + 1 n Letting x gives the result. = 2(n + 1) nπ Problem Let f(x) = x 2 cos( x 3/2 ) for 0 < x 1 nd f(0) = 0. Then f V [ 1, 1] nd f(x) is differentible on [ 1, 1] but v(x) is not differentible t the point x = 0. Proof: If x [ 1, 1]\{0} then the stndrd rules of differentition pplies, for exmple if x (0, 1] then f (x) = 2x cos(x 3/2 ) x 1/2 sin(x 3/2 ). Using the definition of the derivtive we cn esil show tht f (0) = 0. B ppling similr rgument s in problem one shows tht f V [ 1, 0] nd f V [0, 1] nd thus f V [ 1, 1]. To show tht v(x) isn t differentible in x = 0 it s sufficient to show tht the limit lim x +0 (v(x) v(0))/x doesn t exist. For n such tht 0 < < x we hve v(x) v() = x f (t) dt nd since v(x) is continuous t the point x = 0 it follows tht v(x) v(0) = x f (t) dt where the integrl is 0 improper. Thus we need to show tht the limit 1 lim x +0 x x doesn t exist. It s es to see tht x 0 2t cos(t 3/2 ) t 1/2 sin(t 3/2 ) dt = nd therefore we consider 1 x 0 2t cos(t 3/2 ) t 1/2 sin(t 3/2 ) dt x x 0 t 1/2 sin(t 3/2 ) dt t 1/2 sin(t 3/2 ) dt + O(x 2 ) 21

23 Mke the chnge of vrible u = t 3/2, then t = u 2/3 nd dt = 2 3 u 5/3 du, the integrl bove becomes 1 x x 3/2 2 3 sin u u 4/3 du Set = x 3/2, then s x +0 nd therefore we shll show tht 2/3 sin u u 4/3 du s We shll integrte sin u u 4/3 du b using integrtion b prts. Set ϕ(u) = u sin t dt, then ϕ is primitive of sin nd integrtion b prts 0 gives nd therefore 2/3 sin u u 4/3 du = ϕ(u)u 4/ = 4 3 ϕ(u)u 7/3 du ϕ(u)u 7/3 du ϕ() 4/3 sin u u 4/3 du = 1/3 ( 4 3 1/3 ϕ(u)u 7/3 du ϕ() ). ϕ() According to lemm lim = 2 nd lim π 1/3 ϕ(u)u 7/3 du = which is shown b using L Hospitl s rule: 6 π ( ϕ(u)u 7/3 du) ϕ() 7/3 3ϕ() lim = lim ( 1/3 ) 1 = lim 3 4/3 = 6 π b lemm Thus lim ( 4 3 1/3 nd therefore 1/3 ( 4 3 1/3 ϕ(u)u 7/3 du ϕ() ) exists ϕ(u)u 7/3 du ϕ() ) s. According to problem 2.4.3, if f is continuous on [, b] then v is differentible on [, b]. The bove problem demonstrtes tht onl the existence of derivtive f t point is not sufficient to gurntee tht v is differentible. We shll show tht if f is continuous t point, then v will be differentible t the point. We cnnot use the sme pproch s in problem since we onl ssume tht f is continuous t one point. Indeed, f might not even be Riemnn-integrble. Problem Let f V [, b] be differentible on [, b]. If f is continuous t point x 0 [, b] then v(x) is differentible t x 0. 22

24 Proof: Continuit of f in x 0 implies tht f is continuous in x 0. Let ɛ > 0 be given, there exists δ 1 > 0 such tht if x x 0 < δ 1 then f (x 0 ) ɛ < f (x) < f (x 0 ) + ɛ Tke δ = δ 1 2, for n x [x 0 δ, x 0 + δ] we hve f (x) < f (x 0 ) + ɛ nd since f hs bounded derivtive on [x 0 δ, x 0 +δ] then f stisfies Lipschitz condition on [x 0 δ, x 0 + δ] with constnt f (x 0 ) + ɛ. If x 0 < x < x 0 + δ then v(x) v(x 0 ) = Vx x 0 (f) ( f (x 0 ) + ɛ)(x x 0 ) whence v(x) v(x 0 ) x x 0 < f (x 0 ) + ɛ (4) In the sme w one shows tht the inequlit bove lso holds for x such tht x 0 δ < x < x 0. On the other hnd, if x > x 0 we hve v(x) v(x 0 ) f(x) f(x 0) x x 0 x x 0 = f (x 1 ) for some x 1 between x nd x 0 ccording to the Men vlue theorem. Since x 1 x 0 < δ we hve f (x 1 ) > f (x 0 ) ɛ nd therefore f (x 0 ) ɛ < v(x) v(x 0) x x 0 (5) A similr inequlit holds for x < x 0. Combining inequlit 4 with inequlit 5 the following impliction follows: 0 < x x 0 < δ v(x) v(x 0) x x 0 f (x 0 ) < ɛ nd hence v is differentible in x 0, with the derivtive f (x 0 ). We know now tht continuit of f in point is sufficient for v to be differentible in the point. However, it s not necessr condition. Problem Let f(x) = x 2 cos(1/x) for 0 < x 1 nd f(0) = 0. Then f(x) nd v(x) re differentible everwhere on [ 1, 1] but both f nd v re discontinuous t the point x = 0. Proof: Clerl f is differentible with derivtive f (x) = 2x cos(1/x) + sin(1/x) for x [ 1, 1] \ {0}. We hve (f(x) f(0))/x = x cos(1/x) 0 s x 0 nd thus f (0) = 0. However, since lim x 0 f (x) doesn t exist f is 23

25 not continuous t the point x = 0. It follows from problem tht v is differentible nd hs the derivtive v (x) = f (x) for ever x [ 1, 1]\{0} since f (x) is continuous there. Now we shll show tht lim x 0 (v(x) v(0))/x exists. Let x > 0, s in problem we hve v(x) v(0) = x f (t) dt nd therefore the derivtive 0 in x = 0 is given b 1 x lim 2t cos 1 x +0 x t + sin 1 t dt Further, x 0 2t cos 1 0 t + sin 1 x t dt = sin 1 0 t dt + O(x2 ) 1 x so it ll be sufficient to show the existence of lim x +0 sin 1 dt. x 0 t Mke the chnge of vrible u = 1, then dt = 1 du nd we get t u 2 1 lim x +0 x 1/x sin u 1 u 2 du Set = 1, then + s x +0 which ields x lim sin u 1 u du 2 Let ϕ(u) be s in problem nd use integrtion b prts: nd thus Write sin u u 2 du = ϕ(u)u = 2 sin u u 2 du = 2 ϕ(u)u 3 du = ϕ(u)u 3 du ϕ(u)u 3 du ϕ() 2 ϕ(u)u 3 du ϕ() 1 ϕ(u)u 3 du/ 1 nd ppl L Hospitl s rule: ( ϕ(u)u 3 du) ϕ() 3 ϕ() lim = lim = lim ( 1 ) 2 b lemm nd therefore L Hospitl s rule. Thus lim sin u u 2 du = lim (2 = 2 π lim ϕ(u)u 3 du = 2 π ccording to = 4 π 2 π = 2 π ϕ(u)u 3 du ϕ() ) Therefore v (0) = 2 π. 24

26 2.5 Two limits In this section we shll consider continuous functions of bounded vrition. If f is continuous then the totl vrition is given s limit of the sums V Π (f). We shll introduce some nottions: Let Π = {x 0, x 1,..., x n } be n prtition of [, b]. Then we set d(π) = mx (x k+1 x k ) 0 k n 1 Now let f : [, b] R be continuous nd Π = {x 0, x 1,..., x n } n prtition of [, b]. Let M k = mx xk x x k+1 f(x) nd m k = min xk x x k+1 f(x) nd set n 1 Ω Π (f) = (M k m k ) Problem If f C[, b] then both sums V Π (f) nd Ω Π (f) tend to V b (f) s d(π) 0. Proof: We del with V Π (f) first. We re going to show tht for ever ɛ > 0 there exists δ > 0 so tht if Π is n prtition of [, b] with d(π) < δ then V b (f) ɛ < V Π (f). Let ɛ > 0 be given, then there exists prtition Π 0 = { 0, 1,..., m+1 } (the reson for this nottion will be cler lter) such tht V b (f) ɛ 2 < V Π 0 (f) Since f is continuous on compct intervl [, b] f is uniforml continuous on [, b]. Therefore there exists δ 1 > 0 such tht x < δ 1 f(x) f() < ɛ 4m Now let Π = {x 0, x 1,..., x n } be n prtition with d(π) < δ where δ < δ 1 but lso smll enough to ensure tht there is onl one point j Π 0 in ever intervl [x k, x k+1 ]. Tke the prtition Π consisting of the points in Π together with the points in Π 0. Then V Π (f) V Π0 (f) since Π is refinement of Π 0. We will now compre the sums V Π (f) nd V Π (f): V Π (f) consists of terms f(x k+1 ) f(x k ) nd the coincides with the terms of V Π (f) except for those terms tht corresponds to those intervls [x k, x k+1 ] which contins point j with 1 j m. Here the term f(x k+1 ) f(x k ) is exchnged for f( j ) f(x k ) + f(x k+1 ) f( j ). Thus V Π (f) V Π (f) consists of m terms on the form 25

27 nd therefore f( j ) f(x k ) + f(x k+1 ) f( j ) f(x k+1 ) f(x k ) 0 f( j ) f(x k ) + f(x k+1 ) f( j ) f(x k+1 ) f(x k ) f( j ) f(x k ) + f(x k+1 ) f( j ) < ɛ/4m + ɛ/4m = ɛ/2m where the lst inequlit is true becuse x k+1 j, j x k < δ 1. Therefore V Π (f) V Π (f) < m ɛ/2m = ɛ/2 nd thus V b (f) ɛ/2 < V Π (f) < V Π (f) + ɛ/2 V b (f) ɛ < V Π (f) We conclude tht V Π (f) V b (f) when d(π) 0 For the second prt of the problem, let ɛ > 0 be given, there exists δ > 0 such tht d(π) < δ V b (f) ɛ < V Π (f). Tke n prtition Π with d(π) < δ. We notice tht for n prtition we hve V Π (f) Ω Π (f) nd thus d(π) < δ V b (f) ɛ < Ω Π (f) On the other hnd, for n prtition Π = {x 0, x 1,..., x n } let t k, s k be points in which f ttins it s mximum respectivel minimum on [x k, x k+1 ], tht is M k = f(t k ) nd m k = f(s k ). Now dd t k nd s k, 0 k n 1, to the prtition Π nd denote the resulting prtition Π. The sum V Π (f) will then contin terms f(t k ) f(s k ) = M k m k so we hve n 1 V b (f) V Π (f) = (M k m k ) + dditionl positive terms V b (f) Ω Π (f) for n prtition Π. Hence, for ever ɛ > 0 there exists δ > 0 such tht if Π is n prtition with d(π) < δ then V b (f) ɛ < Ω Π (f) V b (f), tht is Ω Π (f) V b (f) s d(π) 0. The totl vrition of continuous function of bounded vrition is lso given b nother limit, s the following problem shows: Problem Let f V [, b] nd let f be continuous on [, b]. Then V b 1 (f) = lim h +0 h b h 26 f(x) f(x + h) dx

28 Proof: 1 h b h Since f(x) f(x + h) v(x + h) v(x) it follows tht f(x) f(x + h) dx 1 h = 1 h = 1 h b h b h b [v(x + h) v(x)]dx v(x + h)dx 1 h +h v(x)dx 1 h b = 1 v(x)dx 1 h b h h v(b) = V b (f) The inequlit bove is vlid for ever h nd thus lim sup h +0 1 h b h b h +h f(x) f(x + h) dx V b (f) b h v(x)dx v(x)dx v(x)dx Now let Π = {x 0, x 1,..., x n } be n prtition of [, b]. For n h smll enough to ensure tht x n 1 < b h nd for j N such tht 0 j n 2 the following is true: 1 h xj+1 x j f(x) f(x + h) dx 1 h = 1 h = 1 h xj+1 x j xj+1 x j xj +h x j f(x) f(x + h)dx f(x)dx 1 h f(x)dx 1 h xj+1 +h x j +h xj+1 +h x j+1 f(x)dx f(x)dx The right-hnd side tends to f(x j ) f(x j+1 ) s h +0 ccording to the fundmentl theorem of clculus. So, for 0 j n 2 lim inf h +0 1 h xj+1 In the sme w one shows tht lim inf h +0 1 h x j f(x) f(x + h) dx f(x j+1 ) f(x j ) b h Summing these inequlities gives lim inf h +0 1 h b h x n 1 f(x) f(x + h) dx f(b) f(x n 1 ) f(x) f(x + h) dx 27 n 1 f(x k+1 ) f(x k ) = V Π (f)

29 for n prtition Π. It follows tht lim inf h +0 1 h b h f(x) f(x + h) dx V b (f) Thus we ve obtined the following inequlities: nd therefore V b 1 (f) lim inf h +0 h 1 lim h +0 h lim sup h +0 V b (f) b h 1 h b h b h f(x) f(x + h) dx f(x) f(x + h) dx f(x) f(x + h) dx = V b (f) 28

30 3 Jump functions In this section we shll introduce the so clled jump function of function of bounded vrition. Before we give definition we shll estblish some fcts. One of the consequences of Jordn s theorem is tht if f is of bounded vrition, then the set of points t which f is discontinuous is t most countble. Let {d n } n 1 be the sequence of points of discontinuit of f nd let σ n + be the right-hnd jump of f t d n nd σn the left-hnd jump of f t d n, tht is σ + n = f(d n + 0) f(d n ), nd σ n = f(d n ) f(d n 0) Problem If f V [, b] then ( σ n + + σn ) V b (f) Proof: Set n=1 S n = n ( σ + k + σ k ) k=1 It is sufficient to show tht the sequence {S n } n N is bounded bove b V b (f), tht is S n V b (f) for ever n. Let {d k } k N be the sequence of ll points of discontinuit of f in [, b]. For the ske of simplicit ssume tht neither nor b is point of discontinuit. The problem tht rises when or b is point of discontinuit is purel nottionl, the resoning is the sme. Let ɛ > 0 be given nd tke n N. Consider the points d k, 1 k n, we m reorder these points so tht d 1 < d 2 <... < d n. For 1 k n let r k, l k be points such tht (i) r k 1 < l k < d k < r k < l k+1, 2 k n 1 (ii) f(d k ) f(l k ) > σ k ɛ 2n (iii) f(r k ) f(d k ) > σ + k ɛ 2n Now let Π be the prtition of [, b] consisting of,b nd the points l k, d k, r k for 1 k n. Then we hve n V b (f) V Π (f) ( f(d k ) f(l k ) + f(r k ) f(d k ) ) > n k=1 k=1 ( σ k ɛ 2n + σ+ k ɛ 2n ) = S n ɛ Since ɛ is rbitrr S n V b (f) for ever n. 29

31 Definition Set s() = 0 nd for < x b s(x) = σ + k + d k <x <d k x The function s(x) is clled the jump function of f. It follows from problem tht the series k=1 σ+ k nd k=1 σ k re bsolutel convergent nd thus the subseries d k <x σ+ k nd <d k x σ k re bsolutel convergent. This is crucil in order for the jump function to be well-defined. In the following problem some properties of the jump function is proved. Problem If s is the jump function of f V [, b] then: (1) the function s is continuous t ever point x d k nd t ever point d k hs the right-hnd jump σ + k nd the left-hnd jump σ k. (2) s V [, b] nd for x b we hve V x (s) = d k <x σ + k + <d k x σ k σ k (3) the difference f s is continuous function of bounded vrition on [, b]. (4) if f is incresing then f s lso is incresing. Proof: (1) Let x 0 d k, since f is continuous in x 0 the function of totl vrition v(x) is continuous in x 0. Then, given ɛ > 0 there exists δ > 0 such tht x x 0 < δ v(x) v(x 0 ) < ɛ. Tke x such tht x 0 < x < x 0 + δ. Then we hve: s(x) s(x 0 ) = σ + k + σ k x 0 d k <x x 0 d k <x x 0 d k <x σ + k + v(x) v(x 0 ) x 0 <d k x x 0 <d k x σ + k + x 0 <d k x σ k σ k where the lst inequlit is true becuse of problem Furthermore, v(x) v(x 0 ) < ɛ nd thus x 0 < x < x 0 + δ s(x) s(x 0 ) < ɛ. The sme inequlit holds when x 0 δ < x < x 0 nd thus s is continuous in x 0. 30

32 For the second prt, tke fixed point of discontinuit d j. We shll show tht lim x +dj s(x) s(d j ) = σ + j, one shows tht lim x d j s(d j ) s(x) = σ j in the sme w. For x > d j we set ω (x) = d j d k <x σ+ k nd ω (x) = d j <d k x σ k. Then s(x) s(d j ) = ω (x) + ω (x) We shll show tht ω (x) σ + j nd ω (x) 0 s x +d j. B problem both series k=1 σ+ k nd k=1 σ k re bsolutel convergent nd therefore we hve tht for given ɛ > 0 there exists nturl numbers N 1, N 2 such tht k N 1 σ + k < ɛ nd k N 2 σ k < ɛ. For N = mx{n 1, N 2 } there exists δ > 0 such tht if k N then the point d k does not belong to (d j, d j + δ). Hence, if d j < x < d j + δ then nd ω (x) σ + j = ω (x) = d j <d k <x d j <d k x σ + k σ k d j <d k <x d j <d k x σ + k k N σ k k N σ + k < ɛ σ k < ɛ nd we conclude tht lim x +dj ω (x) = σ + j nd lim x +dj ω (x) = 0. (2) Let x (, b], ccording to (1) the function s(x) hs the sme discontinuities s f(x) nd lso the sme left nd right-hnd jumps s f(x) t these points. Then problem pplied to the function s(x) gives tht d k <x σ + k + <d k x We shll show the opposite inequlit. Set t(x) = σ + j + d j <x σ k V x (s) <d j x σ j nd let Π = {x 0, x 1,..., x n } be n prtition of [, x]. For 0 j n 1 we hve s(x k+1 ) s(x k ) = σ + j + σ j x k d j <x k+1 x k <d j x k+1 σ + j + σ j x k d j <x k+1 x k <d j x k+1 = t(x k+1 ) t(x k ) 31

33 nd therefore V Π (s) = n 1 s(x k+1 ) s(x k ) n 1 (t(x k+1 ) t(x k )) = t(x) It follows tht V x (s) t(x) nd therefore V x (s) = σ + j + d j <x <d j x σ j (3) If x [, b] is point of continuit for f then s is continuous in x s well, b (1), nd thus (f s) is continuous in x. If x is point of discontinuit for f, tht is x = d k for some k, then (f s)(d k + 0) = f(d k + 0) s(d k + 0) = f(d k + 0) s(d k + 0) + s(d k ) s(d k ) + f(d k ) f(d k ) = f(d k + 0) f(d k ) [s(d k + 0) s(d k )] + f(d k ) s(d k ) = σ + k σ+ k + f(d k) s(d k ) = f(d k ) s(d k ) One shows tht (f s)(d k 0) = (f s)(d k ) in the sme mnner, so (f s) is continuous in d k. (4) Let x, [, b] nd < x. In the proof of (1) bove we showed tht s(x) s() s(x) s() V x (f) Since f is incresing V x (f) = f(x) f() nd thus we hve s(x) s() f(x) f() which is equivlent with f() s() f(x) s(x) if < x, hence f s is incresing. We cn give n lterntive definition of the jump function tht will be useful: Problem For those n such tht < d n < b set 0 x < d n σ n (x) = σn x = d n σn + σ n + d n < x b 32

34 If d n = for some n set σ n (x) = { σ + n < x b 0 x = Finll, if d n = b for some n set { 0 x < b σ n (x) = x = b Then s(x) = σ n σ n (x) n=1 Proof: Set s 1 (x) = n=1 σ n(x), we shll prove tht s 1 = s. Since σ n () = 0 for ever n clerl s 1 () = s(). Tke x (, b] fixed but rbitrr, for those n N such tht < d n < x we hve σ n (x) = σ n + + σn nd for those n N such tht x < d n we hve σ n (x) = 0. We get different cses depending on wether or not the points x nd re points of discontinuit. We ll do the cse when is point of discontinuit, tht is = d i for some i, nd x isn t point of discontinuit: s 1 (x) = σ i (x) + σ n (x) = σ n + + = s(x) <d n<x d n<x <d n<x σ n We shll conclude this section with two problems on how the totl vrition of the function f s reltes to the totl vrition of f. Problem Let f V [, b] nd let s be the jump function of f. Then Proof: We hve V b (f) = V b (f s) + ( σ n + + σn ) n=1 V b (f) = V b (f s+s) V b (f s)+v b (s) = V b (f s)+ For the opposite inequlit, set for ever n N s n (x) = n σ k (x) k=1 33 ( σ + k + σ k ) k=1

35 where σ k (x) is s defined in problem For nottionl simplicit we ssume tht nd b re not points of discontinuit of f. We shll show tht (i) (ii) V b (f s n ) = V b (f) n k=1 ( σ+ k + σ k ) V b (s s n ) = V b (s) n k=1 ( σ+ k + σ k ) In order to show (i), first consider the cse when n = 1. We shll show tht V b (f s 1 ) = V b (f) ( σ σ1 ). Let h be n rbitrr number stisfing 0 < h < min{c, b c}. The function s 1 is constnt on [, c h] nd [c+h, b] nd thus V c h (f s 1 ) = V c h (f) nd Vc+h b (f s 1) = Vc+h b (f) nd the following equlit follows: V b (f) V b (f s 1 ) = V c+h c h (f) V c+h c h (f s 1) Let h +0, with v(x) = V x (f) problem gives tht v(c + 0) v(c) = σ + nd v(c) v(c 0) = σ so therefore v(c+0) v(c 0) = σ + + σ. Further, since f s 1 is continuous in the point c then V c+h c h (f s 1) 0 nd thus we obtin V b (f) V b (f s 1 ) = σ σ1. For the generl cse of (i), order the points of discontinuit d 1,.., d n such tht d 1 < d 2 <... < d n nd divide [, b] into n compct, non-overlpping subintervls I 1,..., I n such tht d k lies in the interior of I k = [x k 1, x k ] for 1 k n. Then ppling the cse n = 1 to ech intervl [x k 1, x k ] ields V x k x k 1 (f s n ) = V x k x k 1 (f) ( σ + k + σ k ) for 1 k n Summing these equlities gives (i). Since the function s hs the sme points of discontinuit s f nd the sme left-hnd nd right-hnd jumps t these points (ii) follows directl b ppling (i) to the function s. Now, we hve V b (f s) = V b (f s n + s n s) V b (f s n ) + V b (s s n ) = V b (f) = V b (f) n k=1 ( σ + k + σ k ) + V b (s) n ( σ + k + σ k ) + k=1 k=n+1 n ( σ + k + σ k ) k=1 ( σ + k + σ k ) Given n ɛ there exists nturl numbers N 1 nd N 2 such tht if n N 1 then ( σ + k + σ k ) < ɛ 2 k>n 34

36 nd if n N 2 then n ( σ + k + σ k ) ( σ + k + σ k ) ɛ 2 k=1 Thus if n mx{n 1, N 2 } then V b (f s) V b (f) < V b (f) [ = V b (f) k=1 n ( σ + k + σ k ) + k=1 k=n+1 ( σ + k + σ k ) ɛ 2 ] + ɛ 2 k=1 ( σ + k + σ k ) + ɛ k=1 ( σ + k + σ k ) whence it follows tht V b (f s) + k=1 ( σ+ k + σ k ) V b (f) nd thus we must hve V b (f) = V b (f s) + ( σ + k + σ k ) Problem If f V [, b] nd if function ϕ is such tht f ϕ is continuous on [, b] nd k=1 then ϕ s = constnt V b (ϕ) = ( σ n + + σ n ) n=1 Proof: If we let h = f ϕ then ϕ = f h nd since h is continuous on [, b] we see tht if f is continuous in point then so is ϕ. On the other hnd f = h + ϕ so if ϕ is continuous in point then so is f. Thus, for n x 0 [, b], f(x) is continuous in x 0 if nd onl if ϕ(x) is continuous in x 0. It follows tht f nd ϕ hve exctl the sme sequence of points of discontinuit. Furthermore, if d k is n point of discontinuit of f we hve, since f ϕ is continuous, tht 0 = (f ϕ)(d k + 0) (f ϕ)(d k ) = f(d k + 0) f(d k ) [ϕ(d k + 0) ϕ(d k )] = σ + k [ϕ(d k + 0) ϕ(d k )] 35

37 Tht is, the function ϕ hs the sme right-hnd jump s f t d k. In the sme w we cn show tht ϕ lso hs the sme left-hnd jump s f t d k. Then problem gives tht V b (ϕ) = V b (ϕ s ϕ ) + ( σ + k + σ k ) where s ϕ is the jump function of ϕ. However, f nd ϕ hve the sme points of discontinuit nd the sme right-hnd nd left-hnd jumps t these points so then s f = s ϕ. Thus V b (ϕ) = V b (ϕ s f ) + k=1 ( σ + k + σ k ) Finll we re given tht V b (ϕ) = k=1 ( σ+ k + σ k ) nd it follows tht V b (ϕ s f ) = 0 ϕ s f = constnt k=1 36

38 References [1] R. Knnn nd C.K. Kreuger, Advnced nlsis on the rel line, Springer-Verlg, 1996 [2] W. Rudin, Principles of mthemticl nlsis, Third edition, McGrw- Hill,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

MAA 4212 Improper Integrals

MAA 4212 Improper Integrals Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which

More information

The 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

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

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

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

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

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

Review on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones. Mth 20B Integrl Clculus Lecture Review on Integrtion (Secs. 5. - 5.3) Remrks on the course. Slide Review: Sec. 5.-5.3 Origins of Clculus. Riemnn Sums. New functions from old ones. A mthemticl description

More information

The 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

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

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

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

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

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

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

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

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

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

0.1 Properties of regulated functions and their Integrals.

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

More information

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

Math Calculus with Analytic Geometry II

Math Calculus with Analytic Geometry II orem of definite Mth 5.0 with Anlytic Geometry II Jnury 4, 0 orem of definite If < b then b f (x) dx = ( under f bove x-xis) ( bove f under x-xis) Exmple 8 0 3 9 x dx = π 3 4 = 9π 4 orem of definite Problem

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

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

Integration Techniques

Integration Techniques Integrtion Techniques. Integrtion of Trigonometric Functions Exmple. Evlute cos x. Recll tht cos x = cos x. Hence, cos x Exmple. Evlute = ( + cos x) = (x + sin x) + C = x + 4 sin x + C. cos 3 x. Let u

More 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

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

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

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

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

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

ON THE C-INTEGRAL BENEDETTO BONGIORNO

ON THE C-INTEGRAL BENEDETTO BONGIORNO ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives

More information

Big idea in Calculus: approximation

Big idea in Calculus: approximation Big ide in Clculus: pproximtion Derivtive: f (x) = df dx f f(x +h) f(x) =, x h rte of chnge is pproximtely the rtio of chnges in the function vlue nd in the vrible in very short time Liner pproximtion:

More information

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

Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued

More information

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

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

Proceedings of the International Conference on Theory and Applications of Mathematics and Informatics ICTAMI 2003, Alba Iulia

Proceedings of the International Conference on Theory and Applications of Mathematics and Informatics ICTAMI 2003, Alba Iulia Proceedings o the Interntionl Conerence on Theor nd Applictions o Mthemtics nd Inormtics ICTAMI 2003, Al Iuli CARACTERIZATIONS OF TE FUNCTIONS WIT BOUNDED VARIATION Dniel Lesnic Astrct. The present stud

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

Preliminaries From Calculus

Preliminaries From Calculus Chpter 1 Preliminries From Clculus Stochstic clculus dels with functions of time t, t T. In this chpter some concepts of the infinitesiml clculus used in the sequel re given. 1.1 Functions in Clculus Continuous

More information

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

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

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

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

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

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

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

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

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

Entrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim 1. Let n be positive integers. ntrnce xm, Rel Anlysis September 1, 29 Solve exctly 6 out of the 8 problems. Sketch the grph of the function f(x): f(x) = lim e x2n. Compute the following nd justify your

More information

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

38 Riemann sums and existence of the definite integral.

38 Riemann sums and existence of the definite integral. 38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the x-xis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These

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 8 Winter 2015 Applications of Integration

Math 8 Winter 2015 Applications of Integration Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl

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

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

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

A PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES

A PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES INROADS Rel Anlysis Exchnge Vol. 26(1), 2000/2001, pp. 381 390 Constntin Volintiru, Deprtment of Mthemtics, University of Buchrest, Buchrest, Romni. e-mil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL

More information

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

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

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

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

MATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals. MATH 409 Advnced Clculus I Lecture 19: Riemnn sums. Properties of integrls. Drboux sums Let P = {x 0,x 1,...,x n } be prtition of n intervl [,b], where x 0 = < x 1 < < x n = b. Let f : [,b] R be bounded

More information

The Riemann-Lebesgue Lemma

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

More information

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

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

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

DEFINITE INTEGRALS. f(x)dx exists. Note that, together with the definition of definite integrals, definitions (2) and (3) define b

DEFINITE INTEGRALS. f(x)dx exists. Note that, together with the definition of definite integrals, definitions (2) and (3) define b DEFINITE INTEGRALS JOHN D. MCCARTHY Astrct. These re lecture notes for Sections 5.3 nd 5.4. 1. Section 5.3 Definition 1. f is integrle on [, ] if f(x)dx exists. Definition 2. If f() is defined, then f(x)dx.

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

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

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

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

Prof. Girardi, Math 703, Fall 2012 Homework Solutions: 1 8. Homework 1. in R, prove that. c k. sup. k n. sup. c k R = inf

Prof. Girardi, Math 703, Fall 2012 Homework Solutions: 1 8. Homework 1. in R, prove that. c k. sup. k n. sup. c k R = inf Knpp, Chpter, Section, # 4, p. 78 Homework For ny two sequences { n } nd {b n} in R, prove tht lim sup ( n + b n ) lim sup n + lim sup b n, () provided the two terms on the right side re not + nd in some

More information

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

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

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

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

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

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

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

Numerical Analysis: Trapezoidal and Simpson s Rule

Numerical Analysis: Trapezoidal and Simpson s Rule nd Simpson s Mthemticl question we re interested in numericlly nswering How to we evlute I = f (x) dx? Clculus tells us tht if F(x) is the ntiderivtive of function f (x) on the intervl [, b], then I =

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

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

1 Part II: Numerical Integration

1 Part II: Numerical Integration Mth 4 Lb 1 Prt II: Numericl Integrtion This section includes severl techniques for getting pproimte numericl vlues for definite integrls without using ntiderivtives. Mthemticll, ect nswers re preferble

More information

II. Integration and Cauchy s Theorem

II. Integration and Cauchy s Theorem MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.

More information

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b. Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn

More information

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

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

More information