0
$\begingroup$

I'm looking for a concise way to show this: $\sum_{n=1}^{\infty}\frac{n}{10^n} = \sum_{n=1}^{\infty}\left(\left(\sum_{m=0}^{\infty}{10^{-m}}\right){10^{-n}}\right)$ With this goal in mind: $\sum_{n=1}^{\infty}\left(\left(\sum_{m=0}^{\infty}{10^{-m}}\right){10^{-n}}\right) = \sum_{n=1}^{\infty}\left(\left(\frac{10}{9}\right){10^{-n}}\right) = \frac{10}{81}$

So far I've been looking at it by replacing $n$ in the LHS with $(\sum_{m=1}^{n}1)$ like this: $\sum_{n=1}^{\infty}\left(\left(\sum_{m=1}^{n}{1}\right){10^{-n}}\right) = \sum_{n=1}^{\infty}\left(\left(\sum_{m=0}^{\infty}{10^{-m}}\right){10^{-n}}\right)$

And here I hit a particularly uncreative brick wall. This equation is obvious to me in a common sense way - I could easily demonstrate it by writing out the RHS as a huge addition problem and showing that the LHS just has the digit columns added ahead of time - but I don't know what to do in between for a proof.

  • 0
    To show that $\sum_{n=1}^{\infty}\frac{n}{10^n}= \frac{10}{81},$ why not just show (by long division) that $\frac{10}{81} = \overline{0.1234567890}$ and then notice that the partial sums of the infinite series are $0.1, 0.12, 0.123, \dots, 0.12345678901, 0.123456789012,\dots?$ Then you can use geometric series identities to show that the nested series have the same sum, which demonstrates the identity.2011-08-03

4 Answers 4

2

Are you allowed to use derivatives? If so, then...

$\frac{1}{1-x} = \sum_{n=0}^\infty x^n$

$\frac{1}{(1-x)^2} = \sum_{n=1}^\infty n x^{n-1}$

$\frac{x}{(1-x)^2} = \sum_{n=1}^\infty n x^n$

Letting $x=\frac{1}{10}$, you get

$\frac{10}{81} = \sum_{n=1}^\infty \frac{n}{10^n}$

6

Personally, I'd go the following route: $\sum_{n=1}^\infty\frac{n}{10^n}=\left(\sum_{n=1}^\infty\frac{1}{10^n}\right)+\left(\sum_{n=2}^\infty\frac{1}{10^n}\right)+\left(\sum_{n=3}^\infty\frac{1}{10^n}\right)+\cdots$ $=\left(\sum_{n=1}^\infty\frac{1}{10^n}\right)+\frac{1}{10}\left(\sum_{n=1}^\infty\frac{1}{10^n}\right)+\frac{1}{10^2}\left(\sum_{n=1}^\infty\frac{1}{10^n}\right)+\cdots $ $=\left(1+\frac{1}{10}+\frac{1}{10^2}+\cdots \right)\left(\sum_{n=1}^\infty\frac{1}{10^n}\right) $ $=\left(\sum_{m=0}^\infty\frac{1}{10^m}\right)\left(\sum_{n=1}^\infty\frac{1}{10^n}\right)=\frac{10}{9}\cdot\frac{1}{9}=\frac{10}{81}.$

But that's just me.

EDIT: I added a fun little schematic to justify the first step to the mind's eye (or whatever): schematic

  • 0
    This answer seemed heuristic because the justification was "for the mind's eye" (the summation notation was basically identical to the schematic). I was already aware of the behavior and was looking for a more formal proof. And no, I'm not very familiar with this, so maybe I'm just looking stupid.2011-08-05
4

Writing $x$ for $1/10$ we have $\sum_{n=1}^{\infty}nx^n=\sum_{n=1}^{\infty}\sum_{m=1}^nx^n=\sum_{m=1}^{\infty}\sum_{n=m}^{\infty}x^n=\sum_{m=1}^{\infty}x^m\sum_{n=m}^{\infty}x^{n-m}=\sum_{m=1}^{\infty}x^m\sum_{n=0}^{\infty}x^n$ and the last sum is your right-hand side (except that my $m$ is your $n$, and vice versa). As Qiaochu notes, absolute convergence is necessary for the interchange-of-summations step.

3

The RHS can be written $\displaystyle \sum_{n \ge 1, m \ge 0} \frac{1}{10^{n+m}}$. Collect all terms with the same value of $n+m$. To justify this rigorously you just need to know that the series converges absolutely, which should be clear.