Functions of bounded variation

Save this PDF as:
 WORD  PNG  TXT  JPG

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,

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

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 1. Functional series. Pointwise and uniform convergence. 1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is

More information

1 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions

A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, 2451-2460 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.49294 A Convergence Theorem for the Improper Riemnn Integrl of Bnch

More information

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

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

More information

Euler-Maclaurin Summation Formula 1

Euler-Maclaurin Summation Formula 1 Jnury 9, Euler-Mclurin Summtion Formul Suppose tht f nd its derivtive re continuous functions on the closed intervl [, b]. Let ψ(x) {x}, where {x} x [x] is the frctionl prt of x. Lemm : If < b nd, b Z,

More information

Section 6.1 Definite Integral

Section 6.1 Definite Integral Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined

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

Continuous Random Variables

Continuous Random Variables STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht

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

Riemann Stieltjes Integration - Definition and Existence of Integral

Riemann Stieltjes Integration - Definition and Existence of Integral - Definition nd Existence of Integrl Dr. Adity Kushik Directorte of Distnce Eduction Kurukshetr University, Kurukshetr Hryn 136119 Indi. Prtition Riemnn Stieltjes Sums Refinement Definition Given closed

More information

Mapping the delta function and other Radon measures

Mapping the delta function and other Radon measures Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support

More information

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

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

More information

Properties of the Riemann Stieltjes Integral

Properties of the Riemann Stieltjes Integral Properties of the Riemnn Stieltjes Integrl Theorem (Linerity Properties) Let < c < d < b nd A,B IR nd f,g,α,β : [,b] IR. () If f,g R(α) on [,b], then Af +Bg R(α) on [,b] nd [ ] b Af +Bg dα A +B (b) If

More information

Section 4: Integration ECO4112F 2011

Section 4: Integration ECO4112F 2011 Reding: Ching Chpter Section : Integrtion ECOF Note: These notes do not fully cover the mteril in Ching, ut re ment to supplement your reding in Ching. Thus fr the optimistion you hve covered hs een sttic

More information

Topic 1 Notes Jeremy Orloff

Topic 1 Notes Jeremy Orloff Topic 1 Notes Jerem Orloff 1 Introduction to differentil equtions 1.1 Gols 1. Know the definition of differentil eqution. 2. Know our first nd second most importnt equtions nd their solutions. 3. Be ble

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

MA Handout 2: Notation and Background Concepts from Analysis

MA Handout 2: Notation and Background Concepts from Analysis MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,

More information

More Properties of the Riemann Integral

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

More information

The Dirac distribution

The Dirac distribution A DIRAC DISTRIBUTION A The Dirc distribution A Definition of the Dirc distribution The Dirc distribution δx cn be introduced by three equivlent wys Dirc [] defined it by reltions δx dx, δx if x The distribution

More information

Calculus and linear algebra for biomedical engineering Week 11: The Riemann integral and its properties

Calculus and linear algebra for biomedical engineering Week 11: The Riemann integral and its properties Clculus nd liner lgebr for biomedicl engineering Week 11: The Riemnn integrl nd its properties Hrtmut Führ fuehr@mth.rwth-chen.de Lehrstuhl A für Mthemtik, RWTH Achen Jnury 9, 2009 Overview 1 Motivtion:

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

Section 4.8. D v(t j 1 ) t. (4.8.1) j=1

Section 4.8. D v(t j 1 ) t. (4.8.1) j=1 Difference Equtions to Differentil Equtions Section.8 Distnce, Position, nd the Length of Curves Although we motivted the definition of the definite integrl with the notion of re, there re mny pplictions

More information

Best Approximation. Chapter The General Case

Best Approximation. Chapter The General Case Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given

More information

We know that if f is a continuous nonnegative function on the interval [a, b], then b

We know that if f is a continuous nonnegative function on the interval [a, b], then b 1 Ares Between Curves c 22 Donld Kreider nd Dwight Lhr We know tht if f is continuous nonnegtive function on the intervl [, b], then f(x) dx is the re under the grph of f nd bove the intervl. We re going

More information

Integrals along Curves.

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

More information

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

Necessary and Sufficient Conditions for Differentiating Under the Integral Sign

Necessary and Sufficient Conditions for Differentiating Under the Integral Sign Necessry nd Sufficient Conditions for Differentiting Under the Integrl Sign Erik Tlvil 1. INTRODUCTION. When we hve n integrl tht depends on prmeter, sy F(x f (x, y dy, it is often importnt to know when

More information

Mathematical Analysis: Supplementary notes I

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

More information

Calculus 2: Integration. Differentiation. Integration

Calculus 2: Integration. Differentiation. Integration Clculus 2: Integrtion The reverse process to differentition is known s integrtion. Differentition f() f () Integrtion As it is the opposite of finding the derivtive, the function obtined b integrtion is

More information

STEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA. 0 if t < 0, 1 if t > 0.

STEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA. 0 if t < 0, 1 if t > 0. STEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA STEPHEN SCHECTER. The unit step function nd piecewise continuous functions The Heviside unit step function u(t) is given by if t

More information

Line Integrals. Partitioning the Curve. Estimating the Mass

Line Integrals. Partitioning the Curve. Estimating the Mass Line Integrls Suppose we hve curve in the xy plne nd ssocite density δ(p ) = δ(x, y) t ech point on the curve. urves, of course, do not hve density or mss, but it my sometimes be convenient or useful to

More information

Lecture 14: Quadrature

Lecture 14: Quadrature Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be rel-vlues nd smooth The pproximtion of n integrl by numericl

More information

DIRECT CURRENT CIRCUITS

DIRECT CURRENT CIRCUITS DRECT CURRENT CUTS ELECTRC POWER Consider the circuit shown in the Figure where bttery is connected to resistor R. A positive chrge dq will gin potentil energy s it moves from point to point b through

More information

Best Approximation in the 2-norm

Best Approximation in the 2-norm Jim Lmbers MAT 77 Fll Semester 1-11 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the -norm Suppose tht we wish to obtin function f n (x) tht is liner combintion

More information

Section 5.1 #7, 10, 16, 21, 25; Section 5.2 #8, 9, 15, 20, 27, 30; Section 5.3 #4, 6, 9, 13, 16, 28, 31; Section 5.4 #7, 18, 21, 23, 25, 29, 40

Section 5.1 #7, 10, 16, 21, 25; Section 5.2 #8, 9, 15, 20, 27, 30; Section 5.3 #4, 6, 9, 13, 16, 28, 31; Section 5.4 #7, 18, 21, 23, 25, 29, 40 Mth B Prof. Audrey Terrs HW # Solutions by Alex Eustis Due Tuesdy, Oct. 9 Section 5. #7,, 6,, 5; Section 5. #8, 9, 5,, 7, 3; Section 5.3 #4, 6, 9, 3, 6, 8, 3; Section 5.4 #7, 8,, 3, 5, 9, 4 5..7 Since

More information

5.5 The Substitution Rule

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

More information

Test 3 Review. Jiwen He. I will replace your lowest test score with the percentage grade from the final exam (provided it is higher).

Test 3 Review. Jiwen He. I will replace your lowest test score with the percentage grade from the final exam (provided it is higher). Test 3 Review Jiwen He Test 3 Test 3: Dec. 4-6 in CASA Mteril - Through 6.3. No Homework (Thnksgiving) No homework this week! Hve GREAT Thnksgiving! Finl Exm Finl Exm: Dec. 14-17 in CASA You Might Be Interested

More information

STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS

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

More information

Math 4200: Homework Problems

Math 4200: Homework Problems Mth 4200: Homework Problems Gregor Kovčič 1. Prove the following properties of the binomil coefficients ( n ) ( n ) (i) 1 + + + + 1 2 ( n ) (ii) 1 ( n ) ( n ) + 2 + 3 + + n 2 3 ( ) n ( n + = 2 n 1 n) n,

More information

DETERMINANTS. All Mathematical truths are relative and conditional. C.P. STEINMETZ

DETERMINANTS. All Mathematical truths are relative and conditional. C.P. STEINMETZ DETERMINANTS Chpter 4 All Mthemticl truths re reltive nd conditionl. C.P. STEINMETZ 4. Introduction In the previous chpter, we hve studied bout mtrices nd lgebr of mtrices. We hve lso lernt tht sstem of

More information

arxiv: v1 [math.ca] 9 Jun 2011

arxiv: v1 [math.ca] 9 Jun 2011 Men vlue integrl inequlities rxiv:1106.1807v1 [mth.ca] 9 Jun 2011 June, 2011 Rodrigo López Pouso Deprtment of Mthemticl Anlysis Fculty of Mthemtics, University of Sntigo de Compostel, 15782 Sntigo de Compostel,

More information

The Wave Equation I. MA 436 Kurt Bryan

The Wave Equation I. MA 436 Kurt Bryan 1 Introduction The Wve Eqution I MA 436 Kurt Bryn Consider string stretching long the x xis, of indeterminte (or even infinite!) length. We wnt to derive n eqution which models the motion of the string

More information

Polynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230

Polynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230 Polynomil Approimtions for the Nturl Logrithm nd Arctngent Functions Mth 23 You recll from first semester clculus how one cn use the derivtive to find n eqution for the tngent line to function t given

More information

ISEM Team-Lecce. holds for some c > 0 and all y Y. Assume T (t)y Y for all t 0 and T ( )y C(R +, Y ) for all y Y. For t 0 we define the operators

ISEM Team-Lecce. holds for some c > 0 and all y Y. Assume T (t)y Y for all t 0 and T ( )y C(R +, Y ) for all y Y. For t 0 we define the operators ISEM Tem-Lecce EXERCISE 3.. Let A generte the C -semigroup T ( ) on Bnch spce X. Let J : X E be n isomorphism to nother Bnch spce E, Y X be Bnch subspce which is equipped with norm Y such tht X c Y holds

More information

Calculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.

Calculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved. Clculus Module C Ares Integrtion Copright This puliction The Northern Alert Institute of Technolog 7. All Rights Reserved. LAST REVISED Mrch, 9 Introduction to Ares Integrtion Sttement of Prerequisite

More information

approaches as n becomes larger and larger. Since e > 1, the graph of the natural exponential function is as below

approaches as n becomes larger and larger. Since e > 1, the graph of the natural exponential function is as below . Eponentil nd rithmic functions.1 Eponentil Functions A function of the form f() =, > 0, 1 is clled n eponentil function. Its domin is the set of ll rel f ( 1) numbers. For n eponentil function f we hve.

More information

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.) MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give

More information

E1: CALCULUS - lecture notes

E1: CALCULUS - lecture notes E1: CALCULUS - lecture notes Ştefn Blint Ev Kslik, Simon Epure, Simin Mriş, Aureli Tomoiogă Contents I Introduction 9 1 The notions set, element of set, membership of n element in set re bsic notions of

More information

T b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.

T b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions. Rel Vribles, Fll 2014 Problem set 5 Solution suggestions Exerise 1. Let f be bsolutely ontinuous on [, b] Show tht nd T b (f) P b (f) f (x) dx [f ] +. Conlude tht if f is in AC then it is the differene

More information

The Riemann-Stieltjes Integral

The Riemann-Stieltjes Integral Chpter 6 The Riemnn-Stieltjes Integrl 6.1. Definition nd Eistene of the Integrl Definition 6.1. Let, b R nd < b. ( A prtition P of intervl [, b] is finite set of points P = { 0, 1,..., n } suh tht = 0

More information

2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals

2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals 2 Definitions nd Bsic Properties of Extended Riemnn Stieltjes Integrls 2.1 Regulted nd Intervl Functions Regulted functions Let X be Bnch spce, nd let J be nonempty intervl in R, which my be bounded or

More information

(0.0)(0.1)+(0.3)(0.1)+(0.6)(0.1)+ +(2.7)(0.1) = 1.35

(0.0)(0.1)+(0.3)(0.1)+(0.6)(0.1)+ +(2.7)(0.1) = 1.35 7 Integrtion º½ ÌÛÓ Ü ÑÔÐ Up to now we hve been concerned with extrcting informtion bout how function chnges from the function itself. Given knowledge bout n object s position, for exmple, we wnt to know

More information

NOTES AND PROBLEMS: INTEGRATION THEORY

NOTES AND PROBLEMS: INTEGRATION THEORY NOTES AND PROBLEMS: INTEGRATION THEORY SAMEER CHAVAN Abstrct. These re the lecture notes prepred for prticipnts of AFS-I to be conducted t Kumun University, Almor from 1st to 27th December, 2014. Contents

More information

8 Laplace s Method and Local Limit Theorems

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

More information

Variational Techniques for Sturm-Liouville Eigenvalue Problems

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

More information

On the Generalized Weighted Quasi-Arithmetic Integral Mean 1

On the Generalized Weighted Quasi-Arithmetic Integral Mean 1 Int. Journl of Mth. Anlysis, Vol. 7, 2013, no. 41, 2039-2048 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2013.3499 On the Generlized Weighted Qusi-Arithmetic Integrl Men 1 Hui Sun School

More information

ECO 317 Economics of Uncertainty Fall Term 2007 Notes for lectures 4. Stochastic Dominance

ECO 317 Economics of Uncertainty Fall Term 2007 Notes for lectures 4. Stochastic Dominance Generl structure ECO 37 Economics of Uncertinty Fll Term 007 Notes for lectures 4. Stochstic Dominnce Here we suppose tht the consequences re welth mounts denoted by W, which cn tke on ny vlue between

More information

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz

More information

QUA DR ATIC EQUATION

QUA DR ATIC EQUATION J-Mthemtics. INTRODUCTION : QUA DR ATIC QUATION The lgebric epression of the form + b + c, 0 is clled qudrtic epression, becuse the highest order term in it is of second degree. Qudrtic eqution mens, +

More information

If u = g(x) is a differentiable function whose range is an interval I and f is continuous on I, then f(g(x))g (x) dx = f(u) du

If u = g(x) is a differentiable function whose range is an interval I and f is continuous on I, then f(g(x))g (x) dx = f(u) du Integrtion by Substitution: The Fundmentl Theorem of Clculus demonstrted the importnce of being ble to find nti-derivtives. We now introduce some methods for finding ntiderivtives: If u = g(x) is differentible

More information

3.4 Numerical integration

3.4 Numerical integration 3.4. Numericl integrtion 63 3.4 Numericl integrtion In mny economic pplictions it is necessry to compute the definite integrl of relvlued function f with respect to "weight" function w over n intervl [,

More information

Henstock Kurzweil delta and nabla integrals

Henstock Kurzweil delta and nabla integrals Henstock Kurzweil delt nd nbl integrls Alln Peterson nd Bevn Thompson Deprtment of Mthemtics nd Sttistics, University of Nebrsk-Lincoln Lincoln, NE 68588-0323 peterso@mth.unl.edu Mthemtics, SPS, The University

More information

20 MATHEMATICS POLYNOMIALS

20 MATHEMATICS POLYNOMIALS 0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of

More information

Partial Derivatives. Limits. For a single variable function f (x), the limit lim

Partial Derivatives. Limits. For a single variable function f (x), the limit lim Limits Prtil Derivtives For single vrible function f (x), the limit lim x f (x) exists only if the right-hnd side limit equls to the left-hnd side limit, i.e., lim f (x) = lim f (x). x x + For two vribles

More information

S. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:

S. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality: FACTA UNIVERSITATIS NIŠ) Ser Mth Inform 9 00) 6 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Dedicted to Prof G Mstroinni for his 65th birthdy

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

New Expansion and Infinite Series

New Expansion and Infinite Series Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University

More information

III. Lecture on Numerical Integration. File faclib/dattab/lecture-notes/numerical-inter03.tex /by EC, 3/14/2008 at 15:11, version 9

III. Lecture on Numerical Integration. File faclib/dattab/lecture-notes/numerical-inter03.tex /by EC, 3/14/2008 at 15:11, version 9 III Lecture on Numericl Integrtion File fclib/dttb/lecture-notes/numerical-inter03.tex /by EC, 3/14/008 t 15:11, version 9 1 Sttement of the Numericl Integrtion Problem In this lecture we consider the

More information

7.2 The Definition of the Riemann Integral. Outline

7.2 The Definition of the Riemann Integral. Outline 7.2 The Definition of the Riemnn Integrl Tom Lewis Fll Semester 2014 Upper nd lower sums Some importnt theorems Upper nd lower integrls The integrl Two importnt theorems on integrbility Outline Upper nd

More information

Calculus - Activity 1 Rate of change of a function at a point.

Calculus - Activity 1 Rate of change of a function at a point. Nme: Clss: p 77 Mths Helper Plus Resource Set. Copright 00 Bruce A. Vughn, Techers Choice Softwre Clculus - Activit Rte of chnge of function t point. ) Strt Mths Helper Plus, then lod the file: Clculus

More information

FINALTERM EXAMINATION 2011 Calculus &. Analytical Geometry-I

FINALTERM EXAMINATION 2011 Calculus &. Analytical Geometry-I FINALTERM EXAMINATION 011 Clculus &. Anlyticl Geometry-I Question No: 1 { Mrks: 1 ) - Plese choose one If f is twice differentible function t sttionry point x 0 x 0 nd f ''(x 0 ) > 0 then f hs reltive...

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

Numerical Integration

Numerical Integration Chpter 1 Numericl Integrtion Numericl differentition methods compute pproximtions to the derivtive of function from known vlues of the function. Numericl integrtion uses the sme informtion to compute numericl

More information

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

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

More information

Chapter 4. Lebesgue Integration

Chapter 4. Lebesgue Integration 4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.

More information

Line and Surface Integrals: An Intuitive Understanding

Line and Surface Integrals: An Intuitive Understanding Line nd Surfce Integrls: An Intuitive Understnding Joseph Breen Introduction Multivrible clculus is ll bout bstrcting the ides of differentition nd integrtion from the fmilir single vrible cse to tht of

More information

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions

More information

Summer MTH142 College Calculus 2. Section J. Lecture Notes. Yin Su University at Buffalo

Summer MTH142 College Calculus 2. Section J. Lecture Notes. Yin Su University at Buffalo Summer 6 MTH4 College Clculus Section J Lecture Notes Yin Su University t Bufflo yinsu@bufflo.edu Contents Bsic techniques of integrtion 3. Antiderivtive nd indefinite integrls..............................................

More information

Not for reproduction

Not for reproduction AREA OF A SURFACE OF REVOLUTION cut h FIGURE FIGURE πr r r l h FIGURE A surfce of revolution is formed when curve is rotted bout line. Such surfce is the lterl boundry of solid of revolution of the type

More information