3
$\begingroup$

This is surely a tiny question but I seem to have some blackout currently ...
I tried to define a function for the sum of logarithms, like we have it for the sums of like powers with the bernoulli-polynomials. (I had a question with sums of logarithms here on MSE earlier, but it is not directly translatable). I've got for the following sum of logarithms

$ \qquad \small \sum_{k=a+1}^b \log(1+1/k)) $

the equivalent expression:

$ \qquad \small (\log(1/a)-\log(1+1/a) - ( \log(1/b)-\log(1+1/b)) $

but don't see, why.... This must have to do something with telescoping, but I just don't get it...

(The functions for the sums of the higher powers of the logarithms require series involving zetas as expected, so this simple contraction of a formula was extremely surprising)

2 Answers 2

9

$\log(1 + 1/k) = \log(\frac{k + 1}{k}) = \log(k + 1) - \log(k)$

  • 1
    @anon: this page has become impressive, meanwhile. Thanks for the reminder...2011-09-23
6

Write $ \sum_{k=a+1}^b\log(1+1/k)=\log\left(\prod_{k=a+1}^b\frac{k+1}{k}\right) $ or $ \sum_{k=a+1}^b\log(1+1/k)=\sum_{k=a+1}^b\log(k+1)-\log(k) $ Then you can work with a telescoping product or sum.