Theorem. Let f:R→R be a continuous, integrable function of bounded variation. Then ∑n∈Zf(n) converges absolutely, and we have |∑n∈Zf(n)−∫Rf(x)dx|≤12V(f), where V(f)=∫R|df(x)| denotes the total variation of f over R.
Proof. Let ˜B(x)=x−⌊x⌋−12. Then performing integration by parts, for a≤b, ∫baf(x)dx−∑n∈[a,b]∩Zf(n)=∫[a,b]f(x)d˜B(x)=[f(x)˜B(x)]ba−−∫[a,b]˜B(x)df(x). Using the fact that |˜B(x)|≤12, it therefore follows that |∫baf(x)dx−∑n∈[a,b]∩Zf(n)|≤|f(a)|+|f(b)|2+12∫[a,b]|df(x)| From the assumption, it is easy to check that f(x)→0 as |x|→∞. So, the above estimate shows that ∑n∈Zf(n) satisfies the Cauchy criterion and hence converges as a→−∞ and b→∞. Moreover, noting that |f| also satisfies the assumption in plcae of f, we find that this sum converges absolutely. Finally, passing to the limit as [a,b]↑R proves the desired bound. ◻
No comments:
Post a Comment