Men vlue integrl inequlities rxiv:1106.1807v1 [mth.ca] 9 Jun 2011 June, 2011 Rodrigo López Pouso Deprtment of Mthemticl Anlysis Fculty of Mthemtics, University of Sntigo de Compostel, 15782 Sntigo de Compostel, 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 MTM2010-15314. 1
(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
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
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,
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
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
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
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
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
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
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), 356 356. [2] K. R. Stromberg, An Introduction to Clssicl Rel Anlysis, Wdsworth Inc., Belmont, Cliforni, 1981. [3] B. S. Thomson, Chrcteriztion of n indefinite Riemnn integrl, Rel Anl. Exchnge 35 (2010), 487 492. [4] W. F. Trench, Introduction to rel nlysis, free edition downloded from http://rmnujn.mth.trinity.edu/wtrench/misc/index.shtml (previously published by Person Eduction), 2003. 11