arxiv: v1 [math.ca] 18 Sep 2016

Size: px
Start display at page:

Download "arxiv: v1 [math.ca] 18 Sep 2016"

Transcription

1 A Sequentil Approch to the Henstock ntegrl Lrmie Pxton Wshington Stte University rxiv: v1 [mth.ca] 18 Sep 2016 Abstrct: The theory o integrtion over R is rich with techniques s well s necessry nd suicient conditions under which integrtion cn be perormed. O the mny dierent types o integrls tht hve been developed since the dys o Newton nd Leibniz, one reltive newcomer is tht o the Henstock integrl, k the Henstock-Kurzweil integrl, Generlized Riemnn integrl, or guge integrl, which ws discovered independently by Henstock nd Kurzweil in the mid-1950s. n this pper, we develop n lterntive, sequentil deinition o the Henstock integrl over closed intervls in R tht we denote s the Sequentil Henstock integrl. We show its equivlence to the stndrd ǫ δ deinition o the Henstock integrl s well s to the Drboux deinition nd to topologicl deinition o the Henstock integrl. We then estblish the bsic properties nd undmentl theorems, including two convergence theorems, or the Sequentil Henstock integrl nd oer severl suggestions or urther study. Acknowledgements: We would like to cknowledge Dr. Peng Yee Lee or his support nd excellent ides regrding this project. Without his suggestion to pursue the Sequentil Henstock integrl, this work would not hve developed. ntroduction The Riemnn integrl, which is milir to the reder rom clculus, cn be loosely deined s the limit o the sum o nrrow strips o re under unction tken s the width o ech strip goes to 0. While this is the stndrd integrl used in introductory clculus courses, the limittions o the Riemnn integrl re well known [1], [5], [6], [10], [22], [16], which we discuss below. Thus, since the erly 20th century, mthemticins hve sought to reine the rigorous oundtion o integrtion s well s enlrge the clss o integrble unctions in serch o urther pplictions o integrtion theory. Reserchers like Lebesgue, Denjoy, Perron, Henstock, nd Kurzweil ll mde signiicnt chievements towrds this im, with the Henstock integrl being one o the more recent o these, hving been discovered independently by English mthemticin Rlph Henstock nd Czech mthemticin Jroslv Kurzweil in 1955 nd 1957, respectively [4] [20]. The problem tht we exmine in this pper is tht o developing the theory or speciic deinition o the Henstock integrl tht ws deined, but not developed, by Lee [9], clled the Sequentil Henstock integrl. Strting with Lee s deinition, we show the equivlence o the Sequentil Henstock integrl to severl other deinitions o the Henstock integrl, nd we prove the bsic properties o nd severl undmentl theorems or the Sequentil Henstock integrl. As motivting exmple, consider simple unction, such s (x) x 2 +4x, which is n upside down prbol crossing the x-xis t (0,0) nd (0,4). At its most bsic level, we cn view integrtion s inding the re underneth curve. So, in this cse, we wnt to ind the re enclosed between the prbol nd the x-xis. The dierent types o integrls tht hve been developed simply llow us to tke vrious pproches to inding this re. As noted bove, the Riemnn pproch is to tke verticl strips o inintesiml width nd dd up the re contribution o ech width. Lebesgue s ide ws to use horizontl strips, bsed 1

2 on the rnge vlues o the unction, in order to integrte unctions tht, loosely speking, hve too mny jumps nd gps. The min ide behind the Henstock integrl is very similr to the Riemnn integrl, but we cn now use dierent widths t dierent points o the unction or our verticl strips in order to ccommodte jumps nd gps. Returning to our exmple, we ind tht the re in considertion equls 32/3, nd the Riemnn integrl works quite nicely or such well behved unction. Not ll unctions re smooth nd continuous like our prbolic unction though, hence the motivtion behind inding other pproches to integrtion. The relevnce o developing the theory or the Sequentil Henstock integrl is twoold. First, s discussed below, there re limittions to the most commonly used types o integrls ndthe types o unctions they re ble to integrte, the Riemnn integrl being one o them. These limittions led to the development o the Henstock integrl, s mentioned bove, but in its current orm, reserchers hve met with limited success t extending the Henstock integrl beyond R, the set o rel numbers [19]. Thereore, the motivtion or this reserch mostly comes rom the potentil or expnding the overll theory o Henstock integrtion into more bstrct mthemticl settings, which in turn my led to urther pplictions o the Henstock integrl. This is described in more detil in the suggestions or urther study t the end o the pper, but s n exmple, by using the Sequentil Henstock integrl nd the theory herein developed, we think tht it will be possible to extend the theory o Henstock integrtion more redily to bstrct spces through the use o generlized sequences, which the originl Henstock integrl does not use. Another importnt reson behind this reserch is tht the use o the Sequentil Henstock integrl hs been suggested s wy to better cilitte beginning clculus students understnding o integrtion [9], so with the development o the theory behind the Sequentil Henstock integrl, it will now be possible to test this hypothesis. Glossry o Useul Deinitions, Lemms & Theorems Useul Deinitions & Nottion Compct: A set K R is compct i every sequence in K hs subsequence tht converges to limit tht is lso in K. Equivlently, K R is compct i nd only i it is both closed nd bounded [1]. Nottion 1. Throughout this pper, let denote compct intervl [,b] R nd let i,j,k,m,n,p N. We denote the clss o Sequentil Henstock integrble unctions on s H (). Absolutely ntegrble: A unction : R is sid to be bsolutely integrble on i is lso integrble on [5]. Cuchy Sequence: A sequence { n } is Cuchy sequence i or every ǫ > 0, there exists n N N such tht i m,n > N, we hve m n < ǫ [1]. Metric Spce: A metric spce is set X together with metric d, where d is mesure o distnce tht exhibits the properties o relexivity, symmetry, nd trnsitivity [1]. 2

3 Complete (Metric Spce): A metric spce (X, d) is complete i every Cuchy sequence in X converges to n element o X [1]. Completeness o R: The completeness o R is deined such tht every nonempty set o rel numbers tht is bounded bove hs lest upper bound [1]. δ-ine: Let δ > 0. A prtition p is δ-ine i every subintervl [x i 1,x i ] stisies x i x i 1 < δ [5]. δ(x)-ine: Let δ(x) > 0. A tgged prtition P {([x i 1,x i ],t i )} k is δ(x)-ine i every subintervl [x i 1,x i ] stisies x i x i 1 < δ(t i ) [1]. Guge: A guge is unction δ : R such tht δ(x) > 0 or ech x [5]. Husdor Spce: A spce X is clled Husdor spce i or ech pir x 1,x 2 o distinct points o X, there exist neighborhoods U 1 nd U 2 o x 1 nd x 2, respectively, tht re disjoint [15]. Henstock ntegrl (ǫ δ Deinition): A unction : R is Henstock integrble on i there exists number A such tht or ech ǫ > 0 there exists δ(x) > 0 such tht or ll δ(x)-ine tgged prtitions P o, we hve S(,P) A < ǫ. We sy tht A is the Henstock integrl o on with A [5]. mproper Riemnn ntegrl: An improper Riemnn integrl is the limit o deinite Riemnn integrl tken s one or both o the endpoints o the intervl tend to given rel number or to ±. For exmple, b lim [18]. b ntegrble: A unction : R is integrble under given type o integrl (e.g. Riemnn, Lebesgue, orhenstock) ithevlueotheintegrl o isdeinedorthegiventype ointegrl, i.e. contined in the clss o unctions tht cn be integrted using the integrl. Note: The Riemnn integrl o unction my not be deined, but the Lebesgue nd/or Henstock integrl my be (see (5), Dirichlet s unction, or n exmple o such unction). Lebesgue ntegrl: Note: The orml deinition o the Lebesgue integrl is outside o the scope o this pper, requiring mny preliminry notions, so we shll insted deine the clss o unctions tht cn be integrted with it. A unction : R is Lebesgue integrble i both nd re Henstock integrble or Sequentil Henstock integrble. n other words, is bsolutely integrble [5]. Loclly Compct: A spce X is sid to be loclly compct i or ech point x X, there exists compct subspce C x tht contins neighborhood o x [15]. Mesure Zero: A set Z R is sid to be set o mesure zero i or every ǫ > 0 there exists countble collection {J k } k1 o open intervls such tht Z k1 J k nd l(j k ) ǫ [5]. k1 3

4 See Nottion 2 below regrding the use o l(j k ). Monotone Function: A unction : R is sid to be monotone i it is either nondecresing or non-incresing on R. Prtition: A prtition p o n intervl is inite set o points {x i } k i0 such tht x 0 < x 1 < < x k 1 < x k b [5]. Riemnn Sum: Let : R nd let P {([x i 1,x i ],t i )} k Then the Riemnn sum o on P is deined by be tgged prtition o. S(,P) (t i )(x i x i 1 ) [5]. (1) Nottion 2. We will oten write the right hnd side o (1) s k (t i)l( i ), where l( i ) (x i x i 1 ) or i 1,2,...,k. Sequentil Henstock ntegrl: A unction : R is Sequentil Henstock integrble on i there exists number A nd sequence o positive unctions {δ n (x)} n1 such tht or every δ n (x)-ine tgged prtition P n, we hve S(,P n ) m n N (t in )(x in x (i 1)n ) A s n. (2) We sy tht A is the Sequentil Henstock integrl o on with A [9]. Tgged Prtition: A tgged prtition P o n intervl is n ordered pir consisting o prtition p {x i } k i0 o together with set {t i} k o points such tht x i 1 t i x i or ech i, nd we write P {([x i 1,x i ],t i )} k [5]. Totl Boundedness: A metric spce (X,d) is sid to be totlly bounded i or every ǫ > 0, there exists inite covering o X by ǫ-blls; i.e. there re inite number o open sets (blls) o rdius ǫ whose union is equl to X [15]. Useul Lemms & Theorems or Sequentil Henstock ntegrble Functions Note: While we hve dpted mny o the ollowing lemms nd theorems or Sequentil Henstock integrls, the source(s) noted or ech contin(s) the theorems or Lebesgue or Henstock integrls, where pproprite. Cuchy Criterion or Sequentil Henstock ntegrbility: Let : R. Then is Sequentil Henstock integrble on i nd only i or every ǫ > 0, there exists δ N (x) {δ n (x)} n1 such tht or n N nd or ll δ n(x)-ine tgged prtitions P n nd Q n o we hve S(,P n ) S(,Q n ) < ǫ [5]. Cousin s Lemm: For ech guge δ(x) deined on, there exists δ(x)-ine tgged prtition o [5]. 4

5 Dominted Convergence Theorem: Let { k } be sequence o Sequentil Henstock integrble unctions deined on [,b] tht converges pointwise to limit unction : [,b] R. Suppose tht there exist unctions α,ω H () such tht Then H () nd α(x) k (x) ω(x) or x,k N. lim k [5],[18]. k Ftou s Lemm: Let k,α H () be such tht nd tht α(x) k (x) or x,k N. lim in k k <. Then limin k k belongs to H () nd < lim in k limin k k k <. Note tht in denotes the inimum o set nd limin denotes the limit inerior o set. [5], [18]. Heine-Borel Theorem: A set K R is compct i nd only i it is closed nd bounded [1]. Henstock s Lemm: Let : [,b] R be Sequentil Henstock integrble unction. Pn {([x i 1,x i ],t i )} p is ny δ n(x)-ine set o disjoint, tgged subintervls o [,b], then p xi S(,P n) ǫ. (3) Further, p (t i)(x i x i 1 ) x i 1 xi x i 1 2ǫ [5]. (4) Monotone Convergence Theorem: Let { k } be monotone sequence o Sequentil Henstock integrble unctions deined on [, b] tht converges pointwise to limit unction : [,b] R. lim k k exists, then H () nd lim k [5],[18]. k Uniorm Convergence Theorem: { k } H () converges to uniormly on, then H () nd lim k [5],[18]. k 5

6 Common ntegrls Riemnn ntegrl We now highlight two key limittions o the Riemnn integrl. Lebesgue (1901) proved tht in order or bounded unction to be Riemnn integrble, its points o discontinuity must be o mesure zero [1]. So, we immeditely cn ind lrge clss o unctions tht re not Riemnn integrble, such s Dirichlet s unction (5), which is discontinuous t every point in R [1]. (x) { 1 x Q 0 x / Q (5) A urther compliction resulting rom the limittions o the Riemnn integrl involves Prt o the Fundmentl Theorem o Clculus: : [,b] R is integrble (in the Riemnn sense), nd F : [,b] R stisies F (x) (x) or ll x [,b], then b F(b) F() [1]. (6) Under Riemnn integrtion, the hypothesis requires to be Riemnn integrble or else (6) does not hold. This limits the clss o unctions to which we cn pply (6) when using Riemnn integrtion. (See [1], pp , or n exmple o dierentible unction whose derivtive is non-riemnn integrble.) Lebesgue ntegrl Lebesgue (1902) introduced the current integrl o choice in dvnced mthemtics, llowing or much lrger clss o integrble unctions nd especilly or stronger convergence theorems or sequences o integrble unctions, such s the Monotone Convergence Theorem nd Dominted Convergence Theorem [21], [22]. Nevertheless, the Lebesgue integrl does hve its limittions [1] (lthough some would rgue tht these do not interere with its intended purpose o ensuring completeness in certin metric unction spces through its powerul convergence theorems [2], [17]). First, in order to be Lebesgue integrble, not only must unction be Lebesgue integrble, but so must its bsolute vlue. n other words, Lebesgue integrble unctions must be bsolutely integrble [5]. Regrding the Fundmentl Theorem o Clculus (6), there re derivtives tht re not Lebesgue integrble, nd there re lso unctions tht hve n improper Riemnn integrl deined tht re not Lebesgue integrble [1]. One other potentilly limiting spect o Lebesgue s integrtion theory is tht it is, in generl, rther complicted nd requires signiicnt preprtion or students lerning the theory. Thus, it is rrely tught t the undergrdute level, nd the Riemnn integrl is still the ocus there due to its more simplistic deinition nd esy-to-visulize geometry [9], [11], [13]. Denjoy, Henstock & Other ntegrls Not long ter Lebesgue published his theory o integrtion in 1904, other integrtion theorists developed methods to integrte unctions tht were not bsolutely integrble [20]. Denjoy sought to integrte unctions o extreme oscilltion, such s the ollowing exmple 6

7 tht cn be seen to oscillte more nd more rpidly s we pproch the origin rom the right, tending to ininity s x tends to 0. This integrl is neither Riemnn integrble nor Lebesgue integrble, yet s we shll see, it is Henstock nd Sequentil Henstock integrble. (x) x sin 1 x3dx [20] (7) n 1912 he published wht becme known s the Denjoy integrl. Other notble integrls o similr nture re the Luzin (1912), Perron (1914), nd Fenymn (1948) integrls [20]. Henstock, Lee, Muldowney, Gordon, nd others hve since shown tht ll o these integrls long with others, such s the McShne, the to, the Hr, nd the Kunugi integrls, re equivlent to the Henstock integrl in tht they cn integrte the sme clsses o unctions on R nd yield the sme vlues or the integrl [6], [7], [8], [14], [23]. n ct, Riemnn integrls nd Lebesgue integrls hve been shown to be specil cses o the Henstock integrl (over R) [6], [10], [13], [16]. Thus, while the Henstock integrl does not generlize to bstrct spces s redily or completely s the Lebesgue integrl [19] (or resons we will see below), the ct tht the Lebesgue integrl cn be derived rom the Henstock integrl ensures uniied theory o integrtion whether over the rel line or bstrct unction spces [6], [13], [16]. The Riemnn ntegrl s Limit o Sums For the convenience o the reder, we now restte severl deinitions nd n importnt lemm s shown in [5], [21], nd [24] imed t presenting the Riemnn integrl ormlly s limit o Riemnn sums using n ǫ δ deinition, rom which the deinition o the Henstock integrl in the glossry is derived. We then stte the Sequentil Henstock integrl deinition long with two dditionl deinitions o the Henstock integrl nd show tht the Sequentil Henstock integrl is equivlent to ech o the three other deinitions stted or the Henstock integrl. Nottion 1. Throughout this pper, let denote compct intervl [,b] R nd let i,j,k,m,n,p N. We denote the clss o Sequentil Henstock integrble unctions on s H (). Deinition 1. A prtition p o n intervl is inite set o points {x i } k i0 such tht x 0 < x 1 < < x k 1 < x k b. Deinition 2. A tgged prtition P o n intervl is n ordered pir consisting o prtition p {x i } k i0 o together with set {t i} k o points such tht x i 1 t i x i or ech i, nd we write P {([x i 1,x i ],t i )} k. Deinition 3. Let : R nd let P {([x i 1,x i ],t i )} k the Riemnn sum o on P is deined by be tgged prtition o. Then S(,P) (t i )(x i x i 1 ). (8) Nottion 2. We will oten write the right hnd side o (8) s k (t i)l( i ), where l( i ) (x i x i 1 ) or i 1,2,...,k. 7

8 Deinition 4. Let δ > 0. A prtition p is δ-ine i every subintervl [x i 1,x i ] stisies x i x i 1 < δ. Deinition 5. Riemnn ntegrl. A unction : R is Riemnn integrble on i there exists number A such tht or ech ǫ > 0 there exists δ > 0 such tht or ll δ-ine tgged prtitions P o, we hve S(,P) A < ǫ. We sy tht A is the Riemnn integrl o on with A [5]. We hve now deined the Riemnn integrl s limit o Riemnn sums ssocited with sequence o δ-ine tgged prtitions, where the width o ech intervl [x i 1,x i ] in given δ-ine prtition is less thn the constnt δ. Yet, it turns out tht wherever unction behves bdly, such s the high oscilltion o the unction in (7) s it pproches the origin, these constnt δ s cnnot lwys ccount or this behvior. Hence mny unctions re not Riemnn integrble, e.g., those with sets o discontinuities greter thn mesure zero [20], [24]. However, with n djustment to this δ, we cn generlize the Riemnn integrl to hndle lrger clss o unctions thn the originl Riemnn integrl or even the Lebesgue integrl. The key is to redeine δ s positive, rel-vlued unction o the point within ech intervl tht hs been tgged, which we cll the tg. So insted o δ-ine tgged prtitions, we hve δ(x)-ine tgged prtitions [1], [4], [6], [9], [21], [24]. n this cse, we now pick the tg points irst, nd bsed on the vlues o δ(x) t these points, we then obtin our intervls within ech tgged prtition. n this wy, we cn more creully reine our intervls within ech prtition to be rbitrrily nrrow wherever unction behves bdly nd thus re ble to integrte lrger clss o unctions on R with the Henstock integrl [1]. So, in looking t our exmples, (5) nd (7), we see tht by mking the width o the guge rbitrrily smll t the points o discontinuity in the cse o (5) { 1 x Q (x) 0 x / Q or t the points o extreme oscilltion in the cse o (7) (x) x sin 1 x 3dx, we cn mke the contributions to the Riemnn sums rbitrrily smll rom the subintervls t these bdly-behving points. Thereore, while these two unctions re not Riemnn integrble [1], [20], they re ǫ δ Henstock integrble [5], [8], [20], nd they re lso Sequentil Henstock integrble due to the equivlence o these two integrl deinitions, s shown in Theorem 1 below. Further, we show directly tht (5) is Sequentil Henstock integrble in the exmple ter Deinition 9. Deinition 6. A guge is unction δ : R such tht δ(x) > 0 or ech x. Deinition 7. Let δ(x) > 0. A tgged prtition P {([x i 1,x i ],t i )} k is δ(x)-ine i every subintervl [x i 1,x i ] stisies x i x i 1 < δ(t i ) Note: The ollowing lemm provides the oundtion or the existence o the Henstock integrl deined in Deinition 8 nd the Sequentil Henstock integrl deined in Deinition 9. Lemm 1. Cousin s Lemm. For ech guge δ(x) deined on, there exists δ(x)-ine tgged prtition o. 8

9 The proo is vilble in [5] nd will not be reproduced here. t is worth noting here tht Cousin s Lemm is intrictely tied to the completeness o the rel line nd the ct tht the intervls in this cse re compct. n ct, Cousin s Lemm cn be shown to be equivlent to tht o completeness (in conjunction with totl boundedness) s well s to the Heine-Borel Theorem in R [24]. n other words, i or given set the lemm holds, then the set is lso complete, totlly bounded, nd compct. t is this reltionship between the existence o guges nd the rel line tht provides the oundtion or the Henstock integrl, s we shll see in the deinition below. However, it is lso wht mkes it more diicult to trnser into bstrct spces thn, or exmple, the Lebesgue integrl, which redily trnsers to, nd in mny wys is even more nturlly deined in, bstrct spces [19]. The ǫ δ Henstock ntegrl & the Sequentil Henstock ntegrl We now deine severl vritions o the Henstock integrl nd show their equivlence to the Sequentil Henstock integrl. Deinition 8 is the stndrd deinition or the Henstock integrl [1], [5], [21], [24], nd Deinition 9 is rom Lee [9]. Deinition 8. ǫ δ Henstock ntegrl. A unction : R is Henstock integrble on i there exists number A such tht or ech ǫ > 0 there exists δ(x) > 0 such tht or ll δ(x)-ine tgged prtitions P o, we hve S(,P) A < ǫ. We sy tht A is the Henstock integrl o on with A. Deinition 9. Sequentil Henstock ntegrl. A unction : R is Sequentil Henstock integrble on i there exists number A nd sequence o positive unctions {δ n (x)} n1 such tht or every δ n(x)-ine tgged prtition P n, we hve S(,P n ) m n N (t in )(x in x (i 1)n ) A s n. (9) We sy tht A is the Sequentil Henstock integrl o on with A. Note tht in both deinitions bove o the Henstock integrl, when δ(x) is constnt unction we simply hve the deinition o the Riemnn integrl, thus clerly demonstrting tht the Riemnn integrl is specil cse o the Henstock integrl, s previously noted [1], [4], [21], [24]. We my lso ssume tht the sequence o guges is decresing such tht d n+1 (x) < d n (x) or ll x. Nottion 3. We let P δ(x) men tht P is δ(x)-ine tgged prtition o n intervl [,b] R. Further, we let P n δ n (x) men tht or sequence o tgged prtitions {P n } n1 nd sequence o positive δ(x) unctions {δ n(x)} n1, ech P n is δ n (x)-ine tgged prtition or n 1,2,3,... Exmple: ntegrting Dirichlet s Function [5], [8] We now consider Dirichlet s nowhere-continuous unction rom(5) nd show tht it is Sequentil Henstock integrble on [0,1] lthough, s noted bove, it is not Riemnn integrble nywhere on R. { 1 i x [0,1] is rtionl (x) 0 i x [0,1] is irrtionl 9

10 Let {q m : m N} be n enumertion o the rtionl numbers in [0,1] nd let ǫ > 0. Now, let {δ n (x)} n1 be sequence o decresing (i.e. iner) guges on [0,1], mening tht δ n (x) < δ n+1 (x) or ll x. The eect o this condition is tht or ny tg point t i [x i 1,x i ], the width o ech subintervl i [x i 1,x i ] or i 1,2,...,k o ny δ n (x)-ine tgged prtition P n {([x i 1,x i ],t i )} k is decresing or ech δ n(x) in the sequence. This is becuse, in prctice, we cn deine i in the ollowing mnner: i [t i 1 2 δ n(t i ),t i δ n(t i )] or i 1,2,...,k. Note tht throughout this exmple, when we write t i nd i, they belong to speciic tgged prtition P n o [0,1], but or ske o clrity in the nottion, we shll rerin rom indicting this ech time. We next wnt to deine guge in {δ n (x)} n1 tht will give us bound on the Riemnn sums o (x) in such wy tht ll iner guges will give n even smller Riemnn sum. So, i t is tg point, we pick N lrge enough rom our sequence o guges nd deine { ǫ/2 m i t q m, δ N (t) (10) 1 i t is irrtionl. Now, let P n δ n (x) on [0,1] or n N. the tg t i i is irrtionl, then (t i ) 0 nd the contribution o this subintervl (deined using t i ) to the Riemnn sum is 0. t i is rtionl, then (t i ) 1, but the contribution to the Riemnn sum cn be mde rbitrrily smll since P n δ n (x), mening tht the width o ech subintervl i, which we denote by l( i ) x i x i 1, cn be mde rbitrrily smll or i 1,2,...,k. Since the re rom ech strip will then be 1 l( i ), we cn thus control the re contribution to the Riemnn sum o ny tg points in P n tht re rtionl points in [0,1] by deining subintervl o rbitrrily smll width round ech one. Note tht ech P n contins only inite number o tg points nd subintervls by deinition, which necessrily mens tht we do not need to consider every rtionl or irrtionl point in [0,1], only those tht hppen to be in ny given P n. There re, however, n ininite number o wys to tg ny prtition p o ny intervl [,b] R [5]. More precisely, we hve two cses: Cse 1. the mth rtionl number q m is the tg or the intervl i, then i [q m 1 2 δ n(q m ),q m δ n(q m )] so tht l( i ) δ n (q m ) ǫ/2 m. Cse 2. q m is the tg or ny two consecutive (non-overlpping) subintervls i nd i+1 in P n, mening tht q m is n endpoint or both, then since in this cse nd l( i )+l( i+1 ) ǫ/2 m i [q m 1 2 δ n(q m ),q m ] l( i ) 1 2 δ n(q m ) i+1 [q m,q m δ n(q m )] l( i ) 1 2 δ n(q m ). Thereore, the re contribution to the Riemnn sum S(,P n ) o ny strip round rtionl point t i in (x) is t most (t i ) l( i ) ǫ/2 m. However, since irrtionl points mke 10

11 no contribution to S(,P n ), we cn put bound on the Riemnn sum such tht S(,P n ) 0 S(,P n ) m1 ǫ ǫ 1 ǫ. 2m As ǫis rbitrry; ndi it is deined, the Sequentil Henstock integrl o (x) on [0,1]stisies S(,P n ) 1 < ǫ, then we conclude tht Dirichlet s unction is Sequentil Henstock 0 integrble on [0,1] nd tht 1 0. Further, by Theorem 1 tht ollows, (x) is lso 0 Henstock integrble on [0, 1]. Theorem 1. The ǫ δ Henstock integrl is equivlent to the Sequentil Henstock integrl on R. Proo. We ssume tht {δ n (x)} n1 is decresing sequence o guges such tht δ n+1(x) < δ n (x) or ll x. We shll ssume this s needed without stting it in subsequent proos. Suppose tht : R is integrble in the sense o Deinition 8. Let ǫ > 0. There exists δ(x) > 0 such tht i P δ(x), we hve S(,P) A < ǫ. (11) For n 1,2,3,..., let ǫ n be rtionl ǫ (s in the deinition) such tht 0 < ǫ < 1. By Deinition 8, there exists δ n (x) or ech ǫ n stisying (11). Since Q, the set o rtionl numbers, iscountble, {δ n (x)} n1 issequence. Then, givennyǫ > 0,thereexistsδ N(x) {δ n (x)} n1 such tht i n N nd P n is ny δ n (x)-ine prtition o, then S(,P n ) A < ǫ. Thus Deinition 8 implies Deinition 9. Now, suppose tht : R is integrble in the sense o Deinition 9. There exists sequence o guges {δ n (x)} n1 such tht i P n is ny δ n (x)-ine prtition o, then S(,P n ) A < 1. Let λ > 0. Choose δ n N(x) rom {δ n (x)} n1 such tht or given δ(x) > 0, δ(x) δ N (x) < λ or ll x. (12) we let λ 0, then our choice o δ N (x) gurntees tht i P N δ N (x), then P N δ(x). Hence, or given P δ(x), we cn mke the Riemnn sums or P nd P N rbitrrily close (using the sme tgs in ech tgged prtition) such tht S(,P) S(,P N ) < ǫ 2. Now, let ǫ > 0. For given δ(x) > 0, we ind δ N (x) stisying (12) bove nd move it down our sequence {δ n (x)} n1, denoting its new position in the sequence s N, so tht 1/N < ǫ/2. Then i P δ(x), we hve S(,P) A S(,P) S(,P N )+S(,P N ) A S(,P) S(,P N ) + S(,P N ) A < ǫ N < ǫ 2 + ǫ 2 ǫ. Thus Deinition 9 implies Deinition 8, nd they re shown to be equivlent. 11

12 The Drboux Henstock ntegrl We now stte the Drboux deinition o the Henstock ntegrl. Deinitions 10 nd 11 re bsed on Abbott s deinitions or the Riemnn integrl [1]. Nottion 4. Let H denote the set o ll possible prtitions o n intervl [,b] R, nd let β denote the set o ll δ(x)-ine prtitions o or given δ(x) > 0. Also, let P denote n rbitrry δ(x)-ine prtition o s beore. Deinition 10. The lower sum o with respect to P is given by L(,P) in (t i )(x i x i 1 ) P β Similrly, let the upper sum o with respect to P be given by U(,P) sup P β (t i )(x i x i 1 ) [1]. Deinition 11. The lower integrl o is given by supl(,p) β H Similrly, let the upper integrl o be given by in U(,P) [1]. β H Deinition 12. Drboux Henstock ntegrl. A unction : R is DrbouxHenstock integrble on i or ech ǫ > 0 there exists δ(x) > 0 such tht or ll δ(x)-ine tgged prtitions P o, we hve < ǫ. n this cse, we hve [18]. Theorem 2. The Drboux Henstock integrl is equivlent to the Sequentil Henstock integrl on [,b] R. Proo. Suppose tht : R is integrble in the sense o Deinition 9. Let ǫ > 0. There exists δ N (x) {δ n (x)} n1 such tht i n N nd P n δ n (x), then S(,P n ) < ǫ. Equivlently, we cn sy tht the sequence {S(,P n )} s n. Thereore, the upper nd lower bounds o the sequence must lso converge to, nd we hve L(,P n) nd U(,P n) s n. By the order reltionship mong the lower nd upper bounds nd lower nd upper integrls o, s n we hve L(,P n ) supl(,p) in U(,P) U(,P n) β H β H Thus, we hve nd s n over the set o ll δ(x) s nd prtitions on. Now, let ǫ > 0. There exists δ(x) > 0 such tht or ll δ(x)-ine tgged prtitions P o, we hve < ǫ nd < ǫ. This yields < ǫ 2 + ǫ 2 ǫ. 12

13 Thus Deinition 9 implies Deinition 12. Suppose tht : R is integrble in the sense o Deinition 12. Let ǫ > 0. There exists δ(x) > 0 such tht or ll δ(x)-ine tgged prtitions P o, we hve < ǫ so tht. Since is the gretest lower bound o the upper sums U(,P), there exists δ 1(x) > 0 such tht or ll δ 1 (x)-ine tgged prtitions P 1 o, U(,P 1 ) < + ǫ. 2 Similrly or, there exists δ 2(x) > 0 such tht or ll δ 2 (x)-ine tgged prtitions P 2 o, L(,P 2 ) > ǫ. 2 Now, choose δ(x) min{δ 1 (x),δ 2 (x)} such tht or every ǫ > 0, there exists δ(x) > 0 such tht or P δ(x), we hve U(,P) L(,P) U(,P 1 ) L(,P 2 ) (13) U(,P 1) + L(,P 2 ) U(,P 1) + L(,P 2 ) For the sme P δ(x), we hve < ǫ 2 + ǫ 2 ǫ. where S(,P) is the Riemnn sum over P. By hypothesis, we hve L(,P) supl(,p) L(,P) S(,P) U(,P), (14) inu(,p) U(,P), which implies L(,P) U(,P) U(,P) L(,P). (15) Combining equtions (14) nd (15), nd tking U(,P) L(,P) by deinition, we hve S(,P) U(,P) L(,P). (16) Now, let ǫ > 0. There exists δ(x) > 0 such tht or ll δ(x)-ine tgged prtitions P o, we hve S(,P) < ǫ by equtions (13) nd (16). Thus, we hve shown tht the unction is integrble ccording to Deinition 8, i.e. ǫ δ Henstock integrble. Theorem 1 sserts tht the Sequentil Henstock integrl is equivlent to the ǫ δ Henstock integrl, so we conclude tht Deinition 12 implies Deinition 9; hence they re shown to be equivlent. 13

14 The Topologicl Henstock ntegrl We now show the equivlence o the Sequentil Henstock integrl to the Topologicl Henstock integrl deined on loclly compct Husdor spce. Deinitions re rom Ahmed nd Peer [3]. Nottion 5. Let X be loclly compct Husdor spce with subspce A X. We denote the closure o A s Ā nd the interior s nt A. Let A be mily o subsets o X such tht (i) A A, then Ā is compct. (ii) For ech x X, the collection A(x) {A A x nt A} is neighborhood bse t x. (iii) A,B A, then A B A, nd there exist disjoint sets C 1,...,C k in A such tht A B k C i. Deinition 13. A guge (topologicl) on A A is mp U ssigning to ech x Ā neighborhood U(x) o x contined in X [3]. Deinition 14. A division (topologicl) o A A is disjoint collection {A 1,...,A k } A such tht k A i A [3]. Deinition 15. A prtition (topologicl) o A A is set P {(A 1,t 1 ),...,(A k,t k )} such tht {A 1,...,A k } is division o A nd {x 1,...,x k } Ā. U is guge on A, we sy the prtition P is U-ine i A i U(x i ), or i 1,2,...,k [3]. Deinition16. Avolume (topologicl)is non-negtiveunctionsuch thtv(a) k v(a i) or every A A nd ech division {A 1,...,A k } o A [3]. Note: Volume here cn intuitively be deined to represent the length o the intervl A. Deinition 17. Topologicl Henstock ntegrl. Let X be loclly compct Husdor spce, nd let A A with : Ā R. Then is Topologicl Henstock integrble i or ech ǫ > 0, there exists U(x) such tht (t i )v(a i ) σ(,p) < ǫ or every U(x)-ine prtition P o A [3]. A Theorem 3. The Topologicl Henstock integrl is equivlent to the Sequentil Henstock integrl on [,b] R. By the Heine-Borel Theorem, ech closed intervl [, b] R is compct [18]. Hence, ny point x R is contined in n open intervl (,b), which in turn is contined in the compct subspce [,b], so tht R is loclly compct Husdor spce [15]. Thereore, we prove the result or X R nd A {[,b],b R, < b}. However, we show tht under these conditions, Deinition 17, the Topologicl Henstock integrl, reduces to Deinition 8, the ǫ δ Henstock integrl, which is equivlent to the Sequentil Henstock integrl in Theorem 1. Proo. For A A, let v(a i ) x i x i 1 nd deine guge U δ (t i ) on A such tht U δ (t i ) (t i δ(t i ),t i + δ(t i )), i 1,2,...,k, is U-ine prtition P on A with δ(x) > 0 or ech x [,b]. Thus, in this cse, we cn sy tht P is δ(x)-ine since ech subintervl [x i,x i 1 ] will be contined in ech open intervl (t i δ(t i ),t i + δ(t i )), i 1,2,...,k. Thereore, or closed intervls [, b] in R, Deinition 17 becomes the ollowing: A 14

15 Let ǫ > 0. There exists δ(x) > 0 such tht or ll δ(x)-ine tgged prtitions P, we hve b (t i )(x i x i 1 ) b S(,P) < ǫ, which is precisely the ǫ δ Henstock integrl deinition. Thus, by Theorem 1, we conclude tht Deinition 17, the Topologicl Henstock integrl, is equivlent to Deinition 9, the Sequentil Henstock integrl, when the sets in A re A [,b] R. Bsic Properties o the Sequentil Henstock ntegrl We now estblish the bsic properties nd undmentl theorems o the Sequentil Henstock integrl. The sttements in the ollowing theorems nd lemm hve been dpted ccording to the Sequentil Henstock integrl. The sttements o the theorems nd lemm or the stndrd ǫ δ deinition o the Henstock integrl cn be ound in [5], [21], nd [24]. Theorem 4. unction : R is Sequentil Henstock integrble on [,b] R, then the vlue o the integrl on is unique [21]. Proo. Let A nd B. We show A B. Let ǫ > 0. According to Deinition 9, there exists δ M (x) {δ m (x)} m1 such tht i m M N nd P m δ m (x), then S(,P m ) A < ǫ 2. Further, there exists δ K (x) {δ k (x)} k1 such tht i k K N nd P k δ k (x), then S(,P k ) A < ǫ 2. Now, or ech δ m (x) {δ m (x)} m1 nd ech δ k (x) {δ k (x)} k1, choose δ n (x) min{δ m (x),δ k (x)} or n,m,k 1,2,3,... nd or ll x. Clerly, δ n (x) is sequence o guges on. Let P n δ n (x). Then P n δ m (x) nd P n δ k (x). For ǫ > 0, there exists δ N (x) {δ n (x)} n1 such tht i n N nd P n δ n (x), then A B A S(,P n )+S(,P n ) B A S(,P n ) + S(,P n ) B < ǫ 2 + ǫ 2 ǫ. Theorem 5. Let,g : R be Sequentil Henstock integrble unctions on [,b] R, nd let c R [21] on, then c is Sequentil Henstock integrble on, nd c c. 3. +g is Sequentil Henstock integrble on, nd ( +g) + g. 4. (x) g(x) or ll x, then g. 5. is Sequentil Henstock integrble on, then. 6. Let M R. (x) M or ll x [,b], then b M(b ). 15

16 Proo. (1.) Let 0 on nd H () (the clss o Sequentil Henstock integrble unctions). Then or every ǫ > 0, there exists δ N (x) {δ n (x)} n1 such tht i n N nd P n δ n (x), then S(,P n ) ǫ. Equivlently, we hve (t i )l n ( i ) ǫ, (17) where l n ( i ) is the length o the i th subintervl in the n th δ n (x)-ine prtition P n. From (17), we hve ǫ (t i )l n ( i ) ǫ. (18) (t i ) 0 or every t i P n nd l n ( i ) > 0 by deinition, so 0 (t i )l n ( i ) S(,P n ). Combining this with (18), we hve 0 S(,P n ) +ǫ or ll n N. Since ǫ is rbitrry, we hve 0. (2.) Let H (), k R, nd ǫ > 0. There exists δ N (x) {δ n (x)} n1 such tht n N nd P n δ n (x) implies S(,Pn ) ǫ. Then, or n N we hve c S(c,P n) c c(t i )l n ( i ) c ( c (t i )l n ( i ) ) c (t i )l n ( i ) c S(,P n) < c ǫ c ǫ. Thus, c H (), nd c c. (3.) Let ǫ > 0. Since H () there exists δ M (x) {δ m (x)} m1 such tht m M N nd P m δ m (x) implies S(,Pm ǫ. Similrly, since g 2 H (), there exists δ K (x) {δ k (x)} k1 such tht k K N nd P k δ k (x) implies S(g,Pk ) ǫ. 2 Now or ech δ m (x) {δ m (x)} m1 nd ech δ k (x) {δ k (x)} k1, choose δ n (x) min{δ m (x),δ k (x)} or n,m,k 1,2,3,... nd or ll x. Clerly, δ n (x) is sequence o guges on. Let P n δ n (x). Then P n δ m (x) nd P n δ k (x). For every ǫ > 0, there exists δ N (x) {δ n (x)} n1 such tht n N nd P n δ n (x) 16

17 implies ( S( +g,p n) + p ( g) ( +g)(t i )l n ( i ) + g) p p (t i )l n ( i ) + g(t i )l n ( i ) g p (t i )l n ( i ) + p g(t i )l n ( i ) g < ǫ 2 + ǫ 2 ǫ. Thus +g H (), nd +g + g. (4.) Suppose,g H () nd (x) g(x) or ll x. Let h g 0. By Prt (3) bove, h g H () nd (g ) g+ ( ) g, by Prt (2). Further, by Prt (1), h 0. Thus 0 h (g ) g g. (5.) Let, H (). Since, then by Prt (4) bove, we hve. Thereore,. (6.) Let H () nd M R such tht (x) M or ll x [,b]. Then M M, so by Prt (4) bove, we hve b b b b b M M M M(b ) Additivity & Cuchy Criterion or Sequentil Henstock ntegrbility We now deine the right-let procedure [5] or picking tg points in tgged prtition, which llows us to hve some or ll o the tgs be endpoints o subintervls. Deinition 18. Let P {([x k 1,x k ],t k )} m k1 be tgged prtition o n intervl [,b], nd let t k be n interior point o the subintervl [x k 1,x k ]. Using the right-let procedure, we then let P be ormed rom P by dding new prtition point η t k so tht x 0 < x 1 < < x k 1 < η < x k < < x m 1 < x m b. Now tg both subintervls [x k 1,η] nd [η,x k ] with the tg η t k so tht η is the right endpoint o the irst o these subintervls nd the let endpoint o the second. Since (t k )(x k x k 1 ) (t k )(η x k 1 )+(t k )(x k η), we hve S(,P) S(,P ) [5]. 17

18 We note tht this process cn be reversed in order to join two butting subintervls tht shre the tg t k so tht the new subintervl hs t k s tg on the interior. Thereore, the right-let procedure llows us to ssume tht (i) ll o the tgs re endpoints o their respective subintervls, (ii) no tg, except possibly or b, is n endpoint o the subintervls, or (iii) no point is the tg o two distinct subintervls. Theorem 6. Additivity. Let : [,b] R nd c (,b). is Sequentil Henstock integrble unction on [,c] nd [c,b], then is Sequentil Henstock integrble on [,b] nd b c + b c [21]. Proo. Let ǫ > 0. Since H ([,c]) there exists δ M (x) {δ m (x)} m1 such tht m M N nd P m δ m (x) implies S(,Pm ) c ǫ. Similrly, since 2 H ([c,b]), there exists δ K (x) {δ k (x)} k1 such tht k K N nd P k δ k (x) implies S(,P k ) b c ǫ. 2 We deine guge [5] δ N (x) {δ n (x)} n1 in order to orce the point c to be tg o ech P n δ n (x) or n N. Using the right-let procedure in Deintion 18, we then split prt ech prtition P n t the tg c so tht it becomes prtition point o ech P n. min{δ m (t), 1 (c t)} t [,c) 2 Let δ N (t) min{δ m (c),δ k (c)} t c or m M nd k K. (19) min{δ k (t), 1(t c)} t (c,b] 2 Now, let P n δ n (x) or n N. Let P m be the sequence o prtitions o [,c] consisting o the prtition points P n [,c] nd P k the sequence o prtitions o [c,b] consisting o the prtition points P n [c,b] or n,m,k 1,2,3,... Then the right-let procedure provides tht S(,P n ) S(,P m )+S(,P k ). Given ǫ > 0, there exists δ N (x) {δ n (x)} n1 such tht or n N we hve ( c S(,P n) + b c j ( c b ) (t i )l n ( i ) + ) c p j ( c (t i )l m ( i )+ (t i )l k ( i ) + ip c b S(,P m) +S(,P k ) c c S(,P b m) + S(,P k ) < ǫ 2 + ǫ 2 ǫ. Thereore, H ([,b]) nd b c + b c. We now prove the Cuchy Criterion Sequentil Henstock integrbility, which will llow us, mong other things, to prove the converse o Theorem 6; i.e., i H (), then is Sequentil Henstock integrble on ny compct subintervl o. 18 c b c )

19 Theorem 7. Cuchy Criterion or Sequentil Henstock ntegrbility. Let : R. Then is Sequentil Henstock integrble on i nd only i or every ǫ > 0, there exists δ N (x) {δ n (x)} n1 such tht or n N nd or ll δ n (x)-ine tgged prtitions P n nd Q n o we hve S(,P n ) S(,Q n ) < ǫ [5]. Proo. Suppose H (). Let ǫ > 0. There exists δ N (x) {δ n (x)} n1 such tht or n N nd or P n δ n (x), we hve S(,P n ) < ǫ. Now, i P 2 n δ n (x) nd Q n δ n (x), then S(,P n ) S(,Q n ) S(,P n) + S(,Q n ) S(,P n) + S(,Q n ) < ǫ 2 + ǫ 2 ǫ Let ǫ > 0. Suppose there exists δ N (x) {δ n (x)} n1 such tht or n N, P n δ n (x), nd Q n δ n (x), we hve S(,P n ) S(,Q n ) < 1. We now construct Cuchy n Sequence o Riemnn sums [24], which converges (by the Cuchy Criterion or R) to rel number we shll denote by S. Note tht without loss o generlity, we my ssume tht {δ n (x)} n1 is decresing sequence or ll x. Thus, or ny m > n, P m is δ n (x)-ine, nd letting n, we see tht S(,P n ) S(,Q n ) < 1 is Cuchy Sequence. Hence, n {S(,P n )} n1 S s n, nd we write tht or every ǫ > 0, there exists n n N such tht or n N, we hve S(,P n ) S < 1 n. Now, let ǫ > 0. There exists δ N (x) {δ n (x)} n1 such tht or n N, where 1 N < ǫ 2, nd or P n δ n (x) nd Q n δ n (x), we hve Thus H () nd S. S(,Q n ) S S(,Q n ) S(,P n )+S(,P n ) S S(,Q n ) S(,P n ) + S(,P n ) S < 1 N + 1 N < ǫ 2 + ǫ 2 ǫ. Using the Cuchy Criterion or Sequentil Henstock integrbility, we now prove the converse o Theorem 6; i.e., i is Sequentil Henstock integrble on, then is Sequentil Henstock integrble on ny compct subintervl o, which we denote s i. Theorem 8. Let : R. H (), then H ( i ) or i 1,2,3,...,k where k N [24]. Proo. We irst prove the cse or k 2 nd then show the generl result by induction. Let ǫ > 0. There exists δ N (x) {δ n (x)} n1 such tht or n N nd or P n δ n (x), we hve S(,P n ) < ǫ 2. Let 1 nd 2 be intervls such tht 1 2 nd 1 2 [24]. We denote the restrictions o δ n (x) to 1 nd 2 s δ 1n (x) nd δ 2n (x), respectively. Then, or P 1n δ 1n (x) nd P 2n δ 2n (x), we hve S(,P n ) 2 (t i )l n ( i ) (t 1 )l n ( 1 )+(t 2 )l n ( 2 ) S(,P 1n )+S(,P 2n ). 19

20 We observe tht i Q 1n δ 1n (x) nd P 2n δ 2n (x), then R n Q 1n P 2n is δ n (x)-ine or n 1,2,3,... Note tht both o the previous results hold, by induction, or ny inite number o subintervls o, which we shll use below. Now, let ǫ > 0. There exists δ N (x) {δ n (x)} n1 such tht or n N nd P 1 n,q 1n δ 1n (x) on 1, we hve S(,P 1n ) S(,Q 1n ) S(,P 1 n )+S(,P 2n ) S(,Q 1n ) S(,P 2n )+ S(,P 1 n )+S(,P 2n ) + S(,Q 1n )+S(,P 2n ) S(,P n) + S(,R n )+ < ǫ 2 + ǫ 2 ǫ. A similr result ollows or 2. This proves the ssertion or the k 2 cse. Now, ssume this holds or the k th cse. We show tht it holds or the (k +1) th cse. Let ǫ > 0. There exists δ N (x) {δ n (x)} n1 such tht or n N nd P (k+1) n,q (k+1)n δ (k+1)n (x) on k+1, we hve S(,P (k+1)n ) S(,Q (k+1)n ) S(,P (k+1) n )+[S(,P 1n )+S(,P 2n )+ +S(,P kn )] + S(,Q (k+1) n )+[S(,P 1n )+S(,P 2n )+ +S(,P kn )] S(,P n) + S(,R n )+ Thus, H ( i ) or ll i k N. < ǫ 2 + ǫ 2 ǫ. Fundmentl Theorems o the Sequentil Henstock ntegrl We now estblish the Fundmentl Theorem o Clculus, Prts nd, using the Sequentil Henstock integrl s well s ntegrtion by Prts nd Substitution theorems. We then prove Uniorm Convergence nd Monotone Convergence or the Sequentil Henstock integrl, rom which Dominted Convergence ollows. Theorem 9. Fundmentl Theorem o Clculus Prt. F : R is dierentible t every point in, then is Sequentil Henstock integrble nd b F(b) F() [1]. Proo. Let F nd ǫ > 0. Since F is dierentible or every x, there exists δ N (x) {δ n (x)} n1 such tht or ech x,t nd or n N, i 0 < x t < δ n(t), we hve F(x) F(t) F (t) x t < ǫ Then F(x) F(t) F (t)(x t) < ǫ x t b. 20

21 Further, P n δ n (x) or ll x,t implies S(,P n ) [F(b) F()] (t i )l n ( i ) [F(b) F()] (t i )(x i x i 1 ) δn [F(x i ) F(x i 1 )] ((t i )(x i x i 1 ) δn [F(x i ) F(x i 1 )]) (t i )(x i x i 1 ) δn [F(x i ) F(x i 1 )] (20) Using the right-let procedure s bsis to ssume tht no tg t i ppers s n endpoint o ny subintervl, we split prt ech subintervl t its tg [24] so tht [x i 1,x i ] becomes [x i 1,t i ] [t i,x i ]. We lso employ the telescoping sum to llow us to estimte the resulting inequlities. Now, (20) becomes S(,P n ) [F(b) F()] + (t i )(x i x i 1 ) δn [F(x i ) F(x i 1 )] (t i )(x i t i ) δn [F(x i ) F(t i )] (t i )(t i x i 1 ) δn [F(t i ) F(x i 1 )] < ǫ k x i t i + ǫ k t i x i 1 b b ǫ k x i x i 1 b Thus, H () nd b F(b) F(). ǫ(b ) b ǫ. ǫ k x i t i +t i x i 1 b Theorem 10. Fundmentl Theorem o Clculus Prt. Let H ([,b]) nd let F(x) x or ech x [,b]. is continuous on [,b], then F is dierentible t x [,b] with F [21]. Proo. Let ǫ > 0. Since F is continuous on [,b], there exists δ N (x) {δ n (x)} n1 such tht or ech x,t [,b] nd or n N, i 0 < x t < δ n (t), we hve (x) (t) < ǫ. This yields (x) ǫ < (t) < (x)+ǫ. (21) Now, let 0 < y x < δ n (t) such tht < x t y < b nd integrte over [x,y] [21]. From Theorem 8, we know tht H ([x,y]). Further, rom Theorem 6 nd the ct tht F(x) x, we observe tht y y x F(y) F(x) x 21

22 Thus by Theorem 5.4 nd (21), we hve y x ((x) ǫ)dt < y x (t)dt < y y x ((x)+ǫ)dt ((x) ǫ)(y x) < (t)dt < ((x)+ǫ)(y x) x y x (x) ǫ < (t) y x < (x)+ǫ y (t) x y x (x) F(y) F(x) (x) y x < ǫ. (22) A similr rgument shows tht (22) holds or y < x. Thereore, F (x) (x) nd F is dierentible on [,b] since x is rbitrry in [,b]. Theorem 11. Substitution. Let 1, 2 be dierentible on [,b]. Then 1 2 H ([,b]) i nd only i 1 2 H ([,b]). Then we hve b (b) 2 (b) 1 () 2 () b 1 2 [21]. Proo. From the product rule, we hve ( 1 2 ) α. Using Theorem 5.3, the Fundmentl Theorem o Clculus Prt, nd the ct tht 1 2 is n nti-derivtive or α, we observe tht b b b b 1 2 ( ) ( 1 2 ) 1 (b) 2 (b) 1 () 2 () (23) Now, equting the r let nd right sides o (23) yields b (b) 2 (b) 1 () 2 () Thereore, 1 2 H ([,b]) i nd only i 1 2 H ([,b]). b 1 2 Theorem 12. ntegrtion by Prts. Let,ψ be dierentible on [,b]. Then ψ(b) ψ() b ( ψ)ψ [21]. Proo. Using the chin rule to ind n nti-derivtive, we hve ( ψ) ( ψ)ψ. Now, we pply the Fundmentl Theorem o Clculus twice nd use the trnsitive property o R. b ( ψ)ψ b ψ(b) ψ() By (24) nd (25), we hve ψ(b) ψ() b ( ψ)ψ. ψ(b) ψ() (24) ( ψ) ψ(b) ψ() (25) 22

23 Uniorm Convergence Theorem Next, we prove the Uniorm Convergence Theorem or the Sequentil Henstock integrl, which is wek but useul result [5]. The proo ollows Brtle s [5]. Theorem 13. Uniorm Convergence. { k } H () converges to uniormly on, then H () nd lim k [5]. k Proo. Let ǫ > 0. Since k uniormly, there exists K N such tht k K implies k < ǫ or ll points in. Thus, we hve h k h + k h + k < ǫ+ǫ 2ǫ or h,k K nd x. (26) Let [,b]. From Theorem 5.4, 5.3, nd (26), we observe tht or h,k K nd x 2ǫ < h k < 2ǫ b 2ǫ < b ( h k ) < b b b 2ǫ 2ǫ(b ) < h k < 2ǫ(b ) b b h k < 2ǫ(b ). (27) Hence, { k} k1 is Cuchy Sequence in R, which converges to rel number we shll denote by A; equivlently, lim k k A. We now show tht H () nd A. Let ǫ > 0. For ny sequence o tgged prtitions {P n }, there exists K N such tht k K implies p p S( k,p n ) S(,P n ) k (t i )l n ( i ) (t i )l n ( i ) p [ k (t i ) (t i )]l n ( i ) < ǫ p l n ( i ) (since k uniormly) ǫ(b ) (by telescoping sum o the endpoints o i.) Now, ix γ K such tht γ A so tht we hve γ A < ǫ. Since γ H (), or ǫ > 0, there exists δ γn (x) {δ γn (x)} n1 such tht or n N nd or ll δ γ n (x)-ine tgged prtitions P n, we hve S( γ,p n ) γ < ǫ. 23

24 Consequently, S(,P n ) A S(,P n) S( γ,p n )+S( γ,p n ) γ + γ A S(,P n ) S( γ,p n ) + S( γ,p n ) γ + γ A < ǫ(b )+ǫ+ǫ ǫ(b +2). Since ǫ is rbitrry, we conclude tht H () nd lim k k. We observe tht uniorm convergence implies convergence o the sequence o Riemnn sums o k to the Riemnn sum o the limit unction. n ct, stronger theorem is possible i the convergence o k is only pointwise. Then, the limit cn be interchnged such tht lim k k i nd only i S( k,p n ) S(,P n ) s k. See [5], pg , or proo o this interesting result. Henstock s Lemm & the Monotone Convergence Theorem We now estblish Henstock s Lemm or the Sequentil Henstock integrl in order to prove the Monotone Convergence Theorem or the Sequentil Henstock integrl. We recll tht monotone unction on R is one tht is either non-decresing or non-incresing over its entire domin. Lemm 2. Henstock s Lemm. Let : [, b] R be Sequentil Henstock integrble unction. Pn {([x i 1,x i ],t i )} p is ny δ n(x)-ine set o disjoint, tgged subintervls o [,b], then p xi S(,P n) ǫ. (28) Further, p (t i)(x i x i 1 ) xi x i 1 x i 1 2ǫ [24]. (29) Proo. Let ǫ > 0. Since H (), there exists δ N (x) {δ n (x)} n1 such tht or n N nd or P n δ n (x), we hve S(,P n) ǫ. (30) We shll utilize the subintervls o [,b] tht do not overlp ny o the subintervls contined in Pn. We then orm tgged prtitions o these subintervls not in P n tht re ine enough to orce their Riemnn sums to be rbitrrily smll [5]. Pn P n, then there is nothing to prove. Otherwise, let { j 1 j m} be collection o non-overlpping, closed subintervls o [,b], nd let S denote the set p [x i 1,x i ] o closed subintervls in Pn such tht { j } S is prtition o [,b]. Let η > 0. By Theorem 8, we know tht is integrble on ech subintervl j, or j 1,2,...,m. Thus, there exists δ jn (x) {δ jn (x)} n1 such tht or n N nd or ll δ jn (x)-ine tgged prtitions P jn o j, we hve S(,P j n ) η m. (31) j 24

25 We my ssume tht δ jn (x) δ n (x) or ll x j. Let P n denote the tgged prtition o such tht P n P n + m P jn or ll n N. We observe tht P n is δ n (x)-ine nd tht (30) holds. n ddition, i k p+m N, we hve which yields (t i )l n ( i ) p (t i )l n ( i ) + r m j (t ji )l jn ( ji ) j1 m S(,P n ) S(,Pn )+ S(,P jn ) (32) Now, since S nd { j } re collections o closed subintervls o [,b], by Theorem 6 nd 8, we hve m +. (33) S j Putting together (30), (31), (32), nd (33), we hve S(,P n ) p xi S S(,P n ) x i 1 ( m m S(,P n) S(,P jn ) S(,P n) + m m S(,P jn ) S(,P m n) + S(,P j n ) j ( η ǫ+m ǫ+η. m) Since η is rbitrry, 28 is proved. Now, to prove 29, we seprte the p tgged subintervls in Pn into two δ n(x)-ine subprtitions σ 1 nd σ 2 [5]. Let σ 1 represent the collection o tgged subintervls such tht (t i )l n ( i ) (t i )(x i x i 1 ) 0, i nd let σ 2 represent the collection o tgged subintervls such tht (t i )l n ( i ) (t i )(x i x i 1 ) < 0. i Applying Prt 1 o the lemm, (28), to both σ 1 nd σ 2, we hve (t i)l n ( i ) ((t i )l n ( i ) i σ 1 i σ 1 i i σ 1 25 j1 j1 ( (t i )l n ( i ) i i ) j j ) ) ǫ (34)

26 nd (t i)l n ( i ) i σ 2 i ) ((t i )l n ( i ) i σ 2 i ( ) (t i )l n ( i ) ǫ. (35) i i σ 2 Adding the inequlities in (34) nd (35), we observe tht p xi (t p i)(x i x i 1 ) (t i)l n ( i ) Thus, (29) is proved. x i 1 i 2ǫ Theorem 14. Monotone Convergence. Let { k } be monotone sequence o Sequentil Henstock integrble unctions deined on [, b] tht converges pointwise to limit unction : [,b] R. lim k k exists, then H () nd lim k [5]. k Proo. We consider the cse o non-decresing sequence o unctions. A similr result ollows or non-incresing sequence. Let ǫ > 0. Since lim k k exists, there exists K N such tht k K implies k A < ǫ. Further, since 3 k H (), or ech k N there exists δ kn (x) {δ kn (x)} n1 such tht or n N nd P n δ kn (x) on, we hve S( k,p n ) k < ǫ 3 2k+1. (36) Lstly, since { k } pointwise on, then or ech x, there exists positive integer K such tht i k(x) K, we hve k(x) < ǫ 3(b ). (37) Now, let {δ n (x)} be sequence o guges on nd let {P n } be sequence o δ n (x)-ine prtitions o. We note here tht while δ N (x) is chosen to mtch prticulr ǫ in the deinition o the Sequentil Henstock integrl, in this cse ech given ǫ necessittes possibly dierent term k in the sequence o unctions { k } in order to stisy (37) since k is dependent upon the point x tht we use. (For this reson, we write k(x) insted o k.) This is due to the rther wek condition o pointwise convergence on { k }. Thereore, the choice o δ N (x) to mtch given ǫ will necessrily depend on the k(t i ) or i 1,2,...,m, where t i is tg point o P n, but or the ske o clrity, we void notting this ech time. The primry prt o our strtegy is to use this sequence o guges to seprte the set o tgged subintervls in ny given P n into clsses o dierent widths [5], [24] bsed on the corresponding δ n (t i ), which depends on k(t i ); i.e. which k(ti ) in our sequence o unctions we hve to use or given point t i to stisy the pointwise convergence condition. Thereore, or given P n, we use the inite set {k(t i )} or i 1,2,...,m to distinguish our clsses. We then use Henstock s Lemm to show tht the Riemnn sums o ech clss o subintervls or 26

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

The one-dimensional Henstock-Kurzweil integral

The one-dimensional Henstock-Kurzweil integral Chpter 1 The one-dimensionl Henstock-Kurzweil integrl 1.1 Introduction nd Cousin s Lemm The purpose o this monogrph is to study multiple Henstock-Kurzweil integrls. In the present chpter, we shll irst

More information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004 Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when

More information

The Henstock-Kurzweil integral

The Henstock-Kurzweil integral fculteit Wiskunde en Ntuurwetenschppen The Henstock-Kurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft

More information

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)

More information

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

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

More information

Lecture 1: Introduction to integration theory and bounded variation

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

More information

Review of Riemann Integral

Review of Riemann Integral 1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.

More information

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015 Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n

More information

Chapter 0. What is the Lebesgue integral about?

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

More information

Math 554 Integration

Math 554 Integration Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we

More information

The 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

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Riemann is the Mann! (But Lebesgue may besgue to differ.) Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >

More information

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

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

Properties of the Riemann Integral

Properties of the Riemann Integral Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2

More information

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

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

More information

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar) Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of

More information

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 Sums and Riemann Integrals

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

More information

Lecture 1. Functional series. Pointwise and uniform convergence.

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

More information

Main topics for the First Midterm

Main topics for the First Midterm Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 2-3, Sections 4.1-4.8, nd Sections 5.1-5.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the

More information

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

Review of Calculus, cont d

Review of Calculus, cont d Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some

More information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn

More information

7.2 Riemann Integrable Functions

7.2 Riemann Integrable Functions 7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous

More information

Riemann Sums and Riemann Integrals

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

More information

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,

More information

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 ( FUNDAMNTALS OF RAL ANALYSIS by Doğn Çömez III. MASURABL FUNCTIONS AND LBSGU INTGRAL III.. Mesurble functions Hving the Lebesgue mesure define, in this chpter, we will identify the collection of functions

More information

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

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

MAA 4212 Improper Integrals

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

More information

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

Definite integral. Mathematics FRDIS MENDELU

Definite integral. Mathematics FRDIS MENDELU Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the

More information

ON THE C-INTEGRAL BENEDETTO BONGIORNO

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

More information

1 The Riemann Integral

1 The Riemann Integral The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re

More information

11 An introduction to Riemann Integration

11 An introduction to Riemann Integration 11 An introduction to Riemnn Integrtion The PROOFS of the stndrd lemms nd theorems concerning the Riemnn Integrl re NEB, nd you will not be sked to reproduce proofs of these in full in the exmintion in

More information

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

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30 Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function

More information

A PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES

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

More information

Math 1B, lecture 4: Error bounds for numerical methods

Math 1B, lecture 4: Error bounds for numerical methods Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the

More information

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS. THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem

More information

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

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

More information

Presentation Problems 5

Presentation Problems 5 Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).

More information

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

LECTURE. INTEGRATION AND ANTIDERIVATIVE.

LECTURE. INTEGRATION AND ANTIDERIVATIVE. ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE. INTEGRATION AND ANTIDERIVATIVE. ROTHSCHILD CAESARIA COURSE, 2015/6 1. Integrtion Historiclly, it ws the problem of computing res nd volumes, tht triggered development

More information

5.7 Improper Integrals

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

More information

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1 Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution

More information

arxiv: v1 [math.ca] 7 Mar 2012

arxiv: v1 [math.ca] 7 Mar 2012 rxiv:1203.1462v1 [mth.ca] 7 Mr 2012 A simple proof of the Fundmentl Theorem of Clculus for the Lebesgue integrl Mrch, 2012 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde

More information

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007

A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007 A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus

More information

Improper Integrals, and Differential Equations

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

More information

IMPORTANT THEOREMS CHEAT SHEET

IMPORTANT THEOREMS CHEAT SHEET IMPORTANT THEOREMS CHEAT SHEET BY DOUGLAS DANE Howdy, I m Bronson s dog Dougls. Bronson is still complining bout the textbook so I thought if I kept list of the importnt results for you, he might stop.

More information

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy

More information

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

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

More information

1. On some properties of definite integrals. We prove

1. On some properties of definite integrals. We prove This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.

More information

Fundamental Theorem of Calculus and Computations on Some Special Henstock-Kurzweil Integrals

Fundamental Theorem of Calculus and Computations on Some Special Henstock-Kurzweil Integrals Fundmentl Theorem of Clculus nd Computtions on Some Specil Henstock-Kurzweil Integrls Wei-Chi YANG wyng@rdford.edu Deprtment of Mthemtics nd Sttistics Rdford University Rdford, VA 24142 USA DING, Xiofeng

More information

Math 61CM - Solutions to homework 9

Math 61CM - Solutions to homework 9 Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ

More information

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

ODE: Existence and Uniqueness of a Solution

ODE: Existence and Uniqueness of a Solution Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =

More information

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

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

More information

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

Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and Applied Mathematics Journl o Inequlities in Pure nd Applied Mthemtics http://jipm.vu.edu.u/ Volume 6, Issue 4, Article 6, 2005 MROMORPHIC UNCTION THAT SHARS ON SMALL UNCTION WITH ITS DRIVATIV QINCAI ZHAN SCHOOL O INORMATION

More information

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f

More information

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

Chapter 22. The Fundamental Theorem of Calculus

Chapter 22. The Fundamental Theorem of Calculus Version of 24.2.4 Chpter 22 The Fundmentl Theorem of Clculus In this chpter I ddress one of the most importnt properties of the Lebesgue integrl. Given n integrble function f : [,b] R, we cn form its indefinite

More information

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

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

More information

Numerical Integration

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

More information

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

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

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

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

More information

The Riemann and the Generalised Riemann Integral

The Riemann and the Generalised Riemann Integral The Riemnn nd the Generlised Riemnn Integrl Clvin 17 July 14 Contents 1 The Riemnn Integrl 1.1 Riemnn Integrl............................................ 1. Properties o Riemnn Integrble Funtions.............................

More information

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

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

More information

4.4 Areas, Integrals and Antiderivatives

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

More information

The Riemann-Lebesgue Lemma

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

More information

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

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

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

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

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

More information

On the fundamental theorem of calculus. Jesper Singh

On the fundamental theorem of calculus. Jesper Singh On the fundmentl theorem of clculus Jesper Singh VT 2015 Exmensrbete, 30hp Mgisterexmen i mtemtik, 240hp Institutionen för mtemtik och mtemtisk sttistik Abstrct The Riemnn integrl hve mny flws, some tht

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

II. Integration and Cauchy s Theorem

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

More information

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

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

More information

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

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

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

More information

Problem Set 4: Solutions Math 201A: Fall 2016

Problem Set 4: Solutions Math 201A: Fall 2016 Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true

More information

MATH 144: Business Calculus Final Review

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

More information

Regulated functions and the regulated integral

Regulated functions and the regulated integral Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed

More information

Generalized Riemann Integral

Generalized Riemann Integral Generlized Riemnn Integrl Krel Hrbcek The City College of New York, New York khrbcek@sci.ccny.cuny.edu July 27, 2014 These notes present the theory of generlized Riemnn integrl, due to R. Henstock nd J.

More information

1.9 C 2 inner variations

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

More information

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

Overview of Calculus I

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

More information

7 Improper Integrals, Exp, Log, Arcsin, and the Integral Test for Series

7 Improper Integrals, Exp, Log, Arcsin, and the Integral Test for Series 7 Improper Integrls, Exp, Log, Arcsin, nd the Integrl Test for Series We hve now ttined good level of understnding of integrtion of nice functions f over closed intervls [, b]. In prctice one often wnts

More information

Fundamental Theorem of Calculus for Lebesgue Integration

Fundamental Theorem of Calculus for Lebesgue Integration Fundmentl Theorem of Clculus for Lebesgue Integrtion J. J. Kolih The existing proofs of the Fundmentl theorem of clculus for Lebesgue integrtion typiclly rely either on the Vitli Crthéodory theorem on

More information

Recitation 3: More Applications of the Derivative

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

More information

Appendix to Notes 8 (a)

Appendix to Notes 8 (a) Appendix to Notes 8 () 13 Comprison of the Riemnn nd Lebesgue integrls. Recll Let f : [, b] R be bounded. Let D be prtition of [, b] such tht Let D = { = x 0 < x 1

More information

STUDY GUIDE FOR BASIC EXAM

STUDY GUIDE FOR BASIC EXAM STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There

More information

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

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

More information

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1 MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further

More information

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

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

More information

Notes on length and conformal metrics

Notes on length and conformal metrics Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued

More information