a) Let f be a regulated function on a bounded open interval ]a,b*; suppose that there exists a real function g, decreasing on ]a,b*, such that ∥f(x)∥⩽g(x) on ]a,b* and such that the integral ∫abg(t)dt converges. Show that if (εn) is a sequence of numbers >0, tending to 0, and such that infn⩾1nεn>0, one has
n→+∞limn1k=1∑n−1f(a+εn+knb−a)=∫abf(t)dt.(*) b) Give an example of a real regulated function
f>0 on ]0, 1] such that the integral
∫01f(t)dt converges, and yet the relation (*) does not hold for
εn=1/n (take
f so that its value for
x=2−n is
22n).
c) With the same hypotheses as in a) show that
n→+∞limn1k=1∑n(−1)kf(a+knb−a)=0.