Functions of bounded variation
|
|
- Francis Stanley
- 6 years ago
- Views:
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
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 informationMath 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 informationThe 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 informationLecture 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 informationPrinciples 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 informationProperties 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 informationThe 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 information7.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 informationf(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 information1 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 informationW. 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 informationProperties 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 informationMAT612-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 informationChapter 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 informationMath 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 informationUNIFORM 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 informationMAA 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 informationThe 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 informationPresentation 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 informationINTRODUCTION 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 informationReview 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 informationCalculus 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 informationReview 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 informationThe 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 informationCalculus 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 information1. 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 information1 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 informationReview 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 informationWeek 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 information1 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 informationSYDE 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 informationWeek 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 informationOverview 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 information0.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 informationAPPROXIMATE 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 informationMath 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 informationRiemann 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 informationRiemann 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 informationIntegration 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 informationLecture 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 informationFor 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 informationThe 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 informationAdvanced 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 informationRiemann 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 informationReview. 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 informationLecture 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 informationON 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 informationBig 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 informationCzechoslovak 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 informationConvergence 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 informationF (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 informationProceedings 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 informationACCESS 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 informationPreliminaries 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 informationHomework 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 informationAppendix 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 informationChapter 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 information7.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 informationDefinite 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 informationMA 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 informationMath& 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 informationImproper 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 informationEntrance 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 informationMain 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 information38 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 informationDefinite 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 informationMath 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 informationAbstract 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 informationUnit #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 informationA 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 informationA 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 informationTHE 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 informationIMPORTANT 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 informationMath 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 informationMath 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 informationMATH 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 informationThe 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 informationThe 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 informationIndefinite 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 informationc 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 informationDEFINITE 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 informationCMDA 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 informationExam 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 informationarxiv: 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 informationReview 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 informationProf. 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 information1 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 informationRiemann 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 informationDefinition 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 informationFUNDAMENTALS 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 informationSections 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 informationEuler, 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 informationf(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 informationNumerical 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 informationODE: 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 informationAdvanced 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 information1 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 informationII. 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 informationWe 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 informationPhysics 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