arxiv: v1 [math.ca] 9 Jun 2011
|
|
- Flora Craig
- 6 years ago
- Views:
Transcription
1 Men vlue integrl inequlities rxiv: v1 [mth.ca] 9 Jun 2011 June, 2011 Rodrigo López Pouso Deprtment of Mthemticl Anlysis Fculty of Mthemtics, University of Sntigo de Compostel, Sntigo de Compostel, Spin. Abstrct Let F : [,b] R hve zero derivtive in dense subset of [,b]. Wht else we need to conclude tht F is constnt in [,b]? We prove result in this direction using some new Men Vlue Theorems for integrls which re the rel core of this pper. These Men Vlue Theorems re proven esily nd concisely using Lebesgue integrtion, but we lso provide lterntive nd elementry proofs to some of them which keep inside the scope of the Riemnn integrl. 1 Introduction Roughly, zero derivtive implies constncy, but the devil hides in the detils. This note follows the spirit of [1], where we find the following theorem: Theorem 1.1 A function F : I = [,b] R is constnt in I provided tht one of the following conditions holds: (A) F = 0 everywhere in I; or Prtilly supported by FEDER nd Ministerio de Educción y Cienci, Spin, project MTM
2 (B) F = 0 nerly everywhere in I (i.e., F = 0 in [,b] \ C, with C countble) nd F is continuous; or (C) F = 0 lmost everywhere in I nd F is bsolutely continuous. We observe in conditions(a), (B) nd(c) tht the bigger the exceptionl set is, the more regulr the function F must be. Notice tht ny of the conditions (A), (B) nd (C) implies tht F = 0 in dense subset of [,b], which mkes us wonder how F should be in tht cse in order to ensure tht F is constnt. In this pper we prove the following result. Theorem 1.2 A function F : I = [,b] R is constnt in I provided tht the following condition holds: (D) F = 0 densely in I (i.e., F exists nd is equl to zero in dense subset of I) nd F is n indefinite Riemnn integrl, i.e., we cn find Riemnn integrble function f : I R nd constnt c R such tht F(x) = c+ x f(y)dy (x I). We follow the spiritof Kolih s pper[1] in the sensetht were going to present some very men Men Vlue Theorems (ccording to the terminology in[1], themener, thestronger), ndthen wewill usethemto proveprt (C) in Theorem 1.1 nd Theorem 1.2. In fct, these Men Vlue Theorems re the min subject in our pper, nd they hve some other interesting consequences. In prticulr, we deduce very men Men Vlue Theorem for the Riemnn integrl which leds to short proof for our Theorem 1.2 in section 4. 2 A first proof of Theorem 1.2 nd some remrks Our first proof is bsed on the fct tht (D) implies (C), nd then Theorem 1.2 is prticulr cse to prt (C) in Theorem 1.1. First proof of Theorem 1.2. Let F nd f be s in the sttement. We strt proving tht if f is continuous t x (,b) then f(x) = 0. Resoning by contrdiction, ssume tht f is continous t x (,b) nd f(x) 0. This ensures the existence of some r > 0 such tht f > r everywhere in (x r,x+r) nd f hs constnt sign in (x r,x+r). Let z (x r,x+r) 2
3 be such tht F (z) = 0. For ll y (z,x +r), y sufficiently close to z, we hve r > F(y) F(z) y z = 1 y y z f(s)ds r, contrdiction. Therefore f(x) = 0 whenever f is continuous t x (,b), nd then the Fundmentl Theorem of Clculus nd Lebesgue s test gurntee tht F = f = 0 lmost everywhere in I. The conclusion now follows from prt (C) in Theorem 1.1. Remrks to Theorem 1.2 nd its first proof: 1. Indefinite Riemnn integrls re for Riemnn integrtion wht bsolutely continous functions re for the Lebesgue integrl. Indefinite Riemnn integrls hve been recently chrcterized in [3] s follows: function F : [,b] R is n indefinite Riemnn integrl if nd only if for ll ε > 0 positive δ cn be found so tht n F(ξ i ) F(x i 1 ) F(x i) F(ξ i ) ξ i x i 1 x i ξ i (x i x i 1 ) < ε i=1 for every subdivision = x 0 < x 1 < < x n = b tht is finer thn δ nd every choice of ssocited points x i 1 < ξ i ξ i < x i. 2. Indefinite Riemnn integrls re Lispchitz, but the converse is flse nd Theorem 1.2 is not vlid with indefinite Riemnn integrls replced by Lispchitz functions. The following exmple justifies these two sttements. Exmple 2.1 Let C [0,1] be Cntor set with Lebesgue mesure µ > 0 nd let χ C be its chrcteristic function. Using Lebesgue integrl we define F(x) = x 0 z χ C (s)ds (x [0,1]). Notice tht F is Lispchitz on [0,1], F = 0 in [0,1]\C (hence F = 0 densely in [,b]), nd F(1) = 1 0 χ C (s)ds = µ > 0 = F(0). Lipschitz functions re bsolutely continuous, so Exmple 1.1 lso shows tht Theorem 1.2 is not vlid with indefinite Riemnn integrls replced by indefinite Lebesgue integrls (i.e., bsolutely continuous functions). 3
4 3. The proof of Theorem 1.2 revels tht condition (D) implies condition (C), so (D) is not n essentilly new sitution. This rises the problem ofdeterminingsetoffunctionsforwhichtheconditionf = 0densely in [,b] implies tht F is constnt but does not imply tht F stisfies (C). We know from Theorem 1.2 nd the previous remrk tht such set (if it exists!) should be bigger thn the set of indefinite Riemnn integrls nd smller thn the set of Lipschitz functions. To close this section let us point out tht our first proof of Theorem 1.2 lens on null mesure sets nd bsolutely continuous functions, which neither re present in the sttement nor seem nturlly connected with the ssumptions. Cn we hve nother proof which does not use these elements? The nswer is positive nd we give one such proof in Section 4. 3 Men Vlue Theorems for Lebesgue integrls Prt (C) in Theorem 1.1 cn be proven with the id of the following Men Vlue Theorem. In the sequel m stnds for the Lebesgue mesure in R. Theorem 3.1 If f : I = [,b] R is Lebesgue integrble then ({ }) m c (,b) : f(c)(b ) f(x)dx > 0 (3.1) nd Proof. The set ({ m c (,b) : A = }) f(x)dx f(c)(b ) > 0. (3.2) { c [,b] : f(c)(b ) = f 1 ([, 1 b ]) f(x)dx } f(x)dx is Lebesgue mesurble. If m(a) = 0, i.e., if for lmost ll c [,b] we hve f(c) > 1 b f(x)dx, then, integrting in both sides of this inequlity, we obtin tht f(x)dx > contrdiction. The proof of (3.2) is similr. 4 f(x)dx,
5 Theorem 3.1 cn be equivlently stted in terms of derivtives of bsolutely continuous functions, nd then it looks like one of those men vlue theorems in differentil clculus rther thn in integrl clculus. Corollry 3.2 If F : I = [,b] R is bsolutely continuous then m ({ c (,b) : F (c)(b ) F(b) F() }) > 0 (3.3) nd m ({ c (,b) : F(b) F() F (c)(b ) }) > 0. (3.4) Proof. Use Theorem 3.1 with f replced by F. Remrk 3.1 In the conditions of Corollry 3.2 the set of points c such tht F(b) F() = F (c)(b ) my be empty. As n exmple, consider F(x) = x for ll x [ 1,1]. Anlogously, in the conditions of Theorem 3.1 there my be no point c [,b] stisfying f(x)dx = f(c)(b ). Prt (C) in Theorem 1.1 is now immedite from Corollry 3.2. Proposition 3.3 (Prt (C) in Theorem 1.1) If F : I = [,b] R is bsolutely continuous nd F = 0 lmost everywhere in I then F is constnt. Proof. For ech x (,b] we hve, by (3.3), m ({ c (,x) : F (c)(x ) F(x) F() }) > 0. Since F = 0 lmost everywhere, we conclude tht 0 F(x) F(). Similrly, we deduce from (3.4) tht F(x) F() 0, nd therefore we hve F(x) = F() for ll x I. 4 Men Vlue Theorems for Riemnn integrls Our Men Vlue Theorem 3.1 yields the following Men Vlue Theorem for the Riemnn integrl. 5
6 Theorem 4.1 If f : I = [,b] R is Riemnn integrble then there exist points c i (,b) (i = 1,2) such tht f is continuous t c i (i = 1,2) nd f(c 1 )(b ) Proof. It follows from (3.1) tht the set { c (,b) : f(c)(b ) f(x)dx f(c 2 )(b ). } f(x)dx cnnot be prt of the set of discontinuity points of f, becuse the ltter is null. Hence there exists t lest one c 1 in the conditions of the sttement. The existence c 2 follows from (3.2). Theorem 1.2 is now consequence of Theorem 4.1. Second proof of Theorem 1.2. Following the first proof of Theorem 1.2, we know tht f = 0 whenever f is continuous. Now let x (,b] be fixed nd use Theorem 4.1 on the intervl [,x] to deduce tht 0 F(x) F() = x f(y)dy 0. The rest of this section is devoted to proving Theorem 1.2 using only bsic elements of Riemnn integrtion. In prticulr, we even void using null mesure sets. We re convinced tht the following mteril could be interesting for brod prt of the mthemticl community, even for undergrdute students. The fundmentls of Riemnn integrtion cn be looked up in ny textbook, nd [4] is specilly ccessible nd ccurte. 4.1 Riemnn integrbility yields some continuity Integrble functions re continuous t mny points, nd the usul wy to prove it uses the notion of oscilltion of function in n intervl nd t point. The following stndrd mteril is included for self continedness. For bounded function f : [,b] R nd subintervl [c,d] [,b] we cll the oscilltion of f in the subintervl [c,d] the number osc(f,[c,d]) = sup f(x) inf f(x). c x d c x d 6
7 The oscilltion fulfills the following three bsic properties: osc(f,[c, d]) 0; for ll x,y [c,d] we hve f(x) f(y) osc(f,[c,d]); nd if [ĉ, ˆd] [c,d] then osc(f,[ĉ, ˆd]) osc(f,[c,d]). Subsequently, we define the oscilltion of f t point c (,b) s osc(f,c) = lim = inf δ 0 +osc(f,[c δ,c+δ]) osc(f,[c δ,c+δ]), δ>0 nd it is n exercise to prove tht f is continuous t c (,b) if osc(f,c) = 0 (the converse is lso true nd esy to prove, but it is not essentil for this pper). The following lemm on continuity of integrble functions t some points is somewht nïve in comprison with the Lebesgue s test for Riemnn integrbility. The min reson for not invoking Lebesgue s test in this section is tht we only need very simple connection between Riemnn integrbility nd continuity (which wnts simple proof, even dequte for n elementry course). Lemm 4.2 If f : [,b] R is Riemnn integrble on [,b] then there exists t lest one point c (,b) t which f is continuous. Proof. Since f is integrble on [,b] for every ε > 0 there exists prtition P = {x 0,x 1,...,x n } such tht ε(b ) > U(f,P) L(f,P) = n osc(f,[x k 1,x k ])(x k x k 1 ), k=1 where U(f,P) is the upper sum of f reltive to P nd L(f,P) is the lower sum. Hence for some j {1,2,...,n} we hve osc(f,[x j 1,x j ]) < ε. Replcing [x j 1,x j ] by one of its subintervls, if neccesry, we lso hve [x j 1,x j ] (,b) nd x j x j 1 < ε. Since f is integrble on every subintervl of [,b] we cn construct inductively sequence {[ n,b n ]} n N of nested subintervls of [,b] such tht for ll n N, n 2, we hve osc(f,[ n,b n ]) < 1/n, [ n,b n ] ( n 1,b n 1 ), nd b n n < 1/n. Therefore there is unique point c n N [ n,b n ] (,b), nd for ll n N we hve 0 osc(f,c) osc(f,[ n,b n ]) < 1 n, which implies tht f is continuous t c. 7
8 Our next corollry revels tht Lemm 4.2 is shrper thn it might look. Corollry 4.3 If f : [,b] R is Riemnn integrble on [,b] then f is continuous in dense subset of [,b]. Proof. Use Lemm 4.2 in ech nondegenerte subintervl [x,y] [,b]. 4.2 Proving Theorem 1.2 without null mesure sets We bseour thirdnd lst proof on thefollowing lemm, which is the closest we cn get to Theorem 4.1 without using null mesure sets. Lemm 4.4 If f : [,b] R is Riemnn integrble on [,b] then for every ε > 0 there exist points c i (,b) (i = 1,2) such tht f is continuous t c i (i = 1,2), nd f(c 1 )(b ) < f(x)dx+ε (4.5) f(x)dx ε < f(c 2 )(b ). (4.6) Proof. Let ε > 0 be fixed nd let P = {x 0,x 1,...,x n } be prtition of [,b] such tht n U(f,P) = sup f(x)(x k x k 1 ) < f(x)dx+ε. x k 1 x x k k=1 This implies the existence of some j {1,2,...,n} such tht sup f(x) < 1 ( ) f(x)dx+ε. x j 1 x x j b Now (4.5) is stisfied with ny c 1 (x j 1,x j ) such tht f is continuous t c 1 (such c 1 exists by virtue of Corollry 4.3). The proof of (4.6) is similr nd involves lower sums. Third proof to Theorem 1.2. Following our first proof of Theorem 1.2 we know tht f = 0 whenever f is continuous. Now for ech x (,b] nd ε > 0 we use Lemm 4.4 to gurntee the existence of some c 1 (,x) such tht f is continuous t c 1 nd F(x) F()+ε = x f(y)dy +ε > f(c 1 )(x ) = 0. Since ε > 0 ws rbitrry, we conclude tht F(x) F() 0. The reverse inequlity is deduced from Lemm 4.4 in similr wy. 8
9 4.3 Some more men vlue theorems This section collects the most bsic Men Vlue Theorems in this pper, nd we re not going to use them in connection with Theorem 1.2. Despite some of them re known, they re not esily trceble in the literture nd tht is why we hve decided to include them here. It follows from the definitions tht ny bounded function f : [,b] R stisfies m(b ) f(x)dx f(x)dx M(b ), (4.7) where m = inf{f(x) : x [,b]} nd M = sup{f(x) : x [,b]}. The well known Men Vlue Theorems for the Riemnn integrl re immedite consequences of (4.7), but deeper nlysis leds to better informtion. We strt proving the following men vlue inequlities, which improve (4.7). Theorem 4.5 Let f : [,b] R be bounded in [,b]. If f is continuous t one point in (,b) then there exist points c 1, c 2 (,b) such tht f(c 1 )(b ) f(x)dx f(x)dx f(c 2 )(b ). (4.8) Proof. We shll only prove tht there is some c 2 (,b) stisfying the right hnd inequlity in (4.8), s the proof is nlogous for the left hnd inequlity. Resoning by contrdiction, we ssume tht for ll x (,b) we hve f(x) < 1 b f(y)dy. (4.9) Chnging the vlues of f t nd b, if necessry (which does not lter the vlue of the upper integrl), we hve new function ˆf such tht (4.9) holds for ll x [,b] with f replced by ˆf. Since ˆf is continuous t some c (,b), we cn find ε > 0 so tht ˆf(x) < 1 ˆf(y)dy ε for x (c ε,c+ε) (,b). b 9
10 Finlly, consider the prtition P = {,c ε,c+ε,b} to obtin contrdiction. ˆf(x)dx U(ˆf,P) ˆf(x)dx 2ε 2 < ˆf(x)dx, Remrk 4.1 The continuity condition cnnot be omitted in Theorem 4.5. Indeed, let {p n /q n } n N be sequentil rrngement of ll rtionl numbers in [0,1], with p n,q n positive integers nd p n /q n irreductible for ll n N. The function f : [0,1] R defined by f(p n /q n ) = 1/q n, f(πp n /q n ) = 1 1/q n, nd f(x) = 1/2 otherwise, stisfies 0 < f(x) < 1 for ll x [0,1], 1 0 f(x)dx = 0 nd f(x)dx = 1. Integrbility ensures continuity to some extent, nd therefore the prticulr cse of Theorem 4.5 for integrble functions hs clener sttement. Corollry 4.6 If f : [,b] R is Riemnn integrble on [,b] then there exist points c 1, c 2 (,b) such tht f(c 1 )(b ) f(x)dx f(c 2 )(b ). (4.10) In prticulr, if f is continuous on [,b] then there exists t lest one c (,b) such tht f(x)dx = f(c)(b ). (4.11) Proof. Inequlity (4.10) follows from Theorem 4.5 nd Lemm 4.2. Using Bolzno s Theorem, we deduce (4.11) from (4.10). Remrk 4.2 As fr s the uthor knows, the first prt of Corollry 4.6, concerning integrble functions, is new. Notice tht it hs some interesting consequences, such s the strict positivity of the integrl of strictly positive integrble functions (which, in turn, yields the strict monotonicity of the Riemnn integrl). 10
11 The Men Vlue Theorem for continuous functions in Corollry 4.6 is known, but difficult to find in textbooks. We cn cite Stromberg [2], where we find it on pge 281, left s Exercise 28. The fct tht (4.11) is stisfied with some c in the open intervl (,b) is interesting nd useful. For instnce, s observed by Óscr López Pouso, it llows us to pss from the integrl expression of Tylor s reminder to its usul differentil form. References [1] J. Kolih, Men, Mener, nd the Menest Men Vlue Theorem, Amer. Mth. Monthly 116 (2009), [2] K. R. Stromberg, An Introduction to Clssicl Rel Anlysis, Wdsworth Inc., Belmont, Cliforni, [3] B. S. Thomson, Chrcteriztion of n indefinite Riemnn integrl, Rel Anl. Exchnge 35 (2010), [4] W. F. Trench, Introduction to rel nlysis, free edition downloded from (previously published by Person Eduction),
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 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 informationAdvanced 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 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 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 informationFundamental 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 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 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 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 informationarxiv: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 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 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 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 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 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 informationMATH 409 Advanced Calculus I Lecture 18: Darboux sums. The Riemann integral.
MATH 409 Advnced Clculus I Lecture 18: Drboux sums. The Riemnn integrl. Prtitions of n intervl Definition. A prtition of closed bounded intervl [, b] is finite subset P [,b] tht includes the endpoints
More 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 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 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 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 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 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 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 informationMath 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 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 informationChapter 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 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 informationUNIFORM 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 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 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 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 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 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 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 information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
More informationA 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 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 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 information11 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 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 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 informationMath 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 information1 Sets Functions and Relations Mathematical Induction Equivalence of Sets and Countability The Real Numbers...
Contents 1 Sets 1 1.1 Functions nd Reltions....................... 3 1.2 Mthemticl Induction....................... 5 1.3 Equivlence of Sets nd Countbility................ 6 1.4 The Rel Numbers..........................
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 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 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 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 informationThe presentation of a new type of quantum calculus
DOI.55/tmj-27-22 The presenttion of new type of quntum clculus Abdolli Nemty nd Mehdi Tourni b Deprtment of Mthemtics, University of Mzndrn, Bbolsr, Irn E-mil: nmty@umz.c.ir, mehdi.tourni@gmil.com b Abstrct
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 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 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 informationHenstock Kurzweil delta and nabla integrals
Henstock Kurzweil delt nd nbl integrls Alln Peterson nd Bevn Thompson Deprtment of Mthemtics nd Sttistics, University of Nebrsk-Lincoln Lincoln, NE 68588-0323 peterso@mth.unl.edu Mthemtics, SPS, The University
More informationA product convergence theorem for Henstock Kurzweil integrals
A product convergence theorem for Henstock Kurzweil integrls Prsr Mohnty Erik Tlvil 1 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2G1 pmohnty@mth.ulbert.c etlvil@mth.ulbert.c
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 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 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 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 informationFundamental 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 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 informationLECTURE. 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 informationSome estimates on the Hermite-Hadamard inequality through quasi-convex functions
Annls of University of Criov, Mth. Comp. Sci. Ser. Volume 3, 7, Pges 8 87 ISSN: 13-693 Some estimtes on the Hermite-Hdmrd inequlity through qusi-convex functions Dniel Alexndru Ion Abstrct. In this pper
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 informationNOTES AND PROBLEMS: INTEGRATION THEORY
NOTES AND PROBLEMS: INTEGRATION THEORY SAMEER CHAVAN Abstrct. These re the lecture notes prepred for prticipnts of AFS-I to be conducted t Kumun University, Almor from 1st to 27th December, 2014. Contents
More 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 informationA BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int
A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure
More informationThe Bochner Integral and the Weak Property (N)
Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University
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 informationThe Evaluation Theorem
These notes closely follow the presenttion of the mteril given in Jmes Stewrt s textook Clculus, Concepts nd Contexts (2nd edition) These notes re intended primrily for in-clss presenttion nd should not
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 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 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 informationGeneralized 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 informationAnalysis III. Ben Green. Mathematical Institute, Oxford address:
Anlysis III Ben Green Mthemticl Institute, Oxford E-mil ddress: ben.green@mths.ox.c.uk 2000 Mthemtics Subject Clssifiction. Primry Contents Prefce 1 Chpter 1. Step functions nd the Riemnn integrl 3 1.1.
More informationA basic logarithmic inequality, and the logarithmic mean
Notes on Number Theory nd Discrete Mthemtics ISSN 30 532 Vol. 2, 205, No., 3 35 A bsic logrithmic inequlity, nd the logrithmic men József Sándor Deprtment of Mthemtics, Bbeş-Bolyi University Str. Koglnicenu
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 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 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 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 informationLecture 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 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 informationChapter 4. Lebesgue Integration
4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.
More 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 information7 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 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 informationPhil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015
Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function
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 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 informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More 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 informationOn 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 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 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 informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
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 informationRegulated 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 informationand 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