12
$\begingroup$

What could be an intuitive explanation for $\displaystyle \sum_{k=1}^{\infty}{\frac1{k\,2^k}} = \log 2$ ?

$\displaystyle \sum_{k=1}^{\infty}{\frac{1}{2^k}} = 1$ has a simple intuitive explanation with taking a unit distance and adding the successive halfs consecutively, is there a similar explanation for $\ln 2$?

  • 1
    Oddly enough someone else just asked this question yesterday, before deleting it. Anyway, try the Taylor expansion of $-\log(1/2)$.2011-08-05
  • 11
    In order for their to be an "intuitive" explanation, you'd have to start with an intuitive way to understand $\ln 2$ in the first place.2011-08-05
  • 2
    @John: This isn't a coincidence: http://meta.math.stackexchange.com/questions/2729/2011-08-05
  • 0
    @John I am the culprit, though it was not yesterday but the day before I think. I have posted an answer.2011-08-06
  • 3
    log is the inverse function to taking powers. You sum, more or less, over powers, which is, more or less, like integrating over them, and we know this is related to values of the antiderivative.2011-08-06
  • 0
    There's also the related formula $\ln2=\sum_{k=1}^\infty\frac{(-1)^{k+1}}k=1-\frac12+\frac13-\dotsb$, which one can prove _without calculus_ (but starting with the assumption that $e^x\ge x+1$ for all $x$). I don't know if a similar proof exists for your series, though.2015-11-10

3 Answers 3

14

For $|t| < 1$, $\sum_{k=0}^\infty t^k = \frac{1}{1-t}$. This is a geometric series, with an "intuitive explanation" similar to yours for $\sum_{k=0}^\infty \frac{1}{2^k}$. Take the derivative of $\sum_{k=1}^\infty \frac{t^k}{k}$ term-by-term and you get $\sum_{k=0}^\infty t^k$.

10

I don't know whether you'll find this intuitive, but here is how I think about the Taylor expansion of the logarithm, which I will write as

$$\log \frac{1}{1 - x} = \sum_{k \ge 1} \frac{x^k}{k}.$$

(We get your identity by setting $x = \frac{1}{2}$.) This is equivalent to the identity

$$\frac{1}{1 - x} = \sum_{n \ge 0} x^n = \exp \left( \sum_{k \ge 1} \frac{x^k}{k} \right)$$

which admits the following combinatorial interpretation: the LHS is the exponential generating function of the number of permutations of a set of size $n$, and the RHS, as it turns out, is the generating function for the number of ways you can divide a set of size $n$ up into cycles - but this is exactly the cycle decomposition of a unique permutation!

This argument is explained in more detail in a series of posts on my blog starting here. It is a special case of the exponential formula in combinatorics and can also be proven (as I did in the posts above) using Pólya's enumeration theorem. You may also be interested to learn what this has to do with zeta functions.

7

This is a question I asked recently and answered myself, so I deleted it. Though someone had posted the hint in the comment. Here is what I worked out. $$\log 2 = -\log\frac{1}{2} $$

Now you can use the expansion of $\log (1+x)$ $$\log (1+x) = \sum_{k=1}^\infty (-1)^{k+1}\frac{x^k}{k}\qquad \mbox{for}\;\; |x|<1$$ with $x = -\frac{1}{2}$ to get

$$\log 2 = -\log\frac{1}{2} =\sum_{k=1}^\infty \frac{1}{k2^k}$$

(Although I cannot provide an intuitive explanation, I can give you an application. My motivation for asking the question was that this formula can be used to determine individual binary digits of $\log 2$ and was the starting point for the authors to discover what is now called BBP Formula to determine the $n^{th}$ digit of $\pi$ wihtout having to computing the first $n-1$ digits, in base 2 and 16 )

  • 1
    For the record, when you answer a question yourself, you should post the answer to your own question. Deleting it doesn't help anybody! :)2011-08-24