Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This is more of a challenge than a question, but I thought I'd share anyway. Prove the following identities, and prove that the pattern continues. \begin{equation*} \sum_{n=0}^\infty\left(\frac{1}{2n+1}-\frac{1}{2n+2}\right)=\ln2 \end{equation*}\begin{equation*} \sum_{n=0}^\infty\left(\frac{1}{3n+1}+\frac{1}{3n+2}-\frac{2}{3n+3}\right)=\ln3 \end{equation*}\begin{equation*} \sum_{n=0}^\infty\left(\frac{1}{4n+1}+\frac{1}{4n+2}+\frac{1}{4n+3}-\frac{3}{4n+4}\right)=\ln4 \end{equation*}\begin{equation*} \mathrm{etc.} \end{equation*} By the way, a good notation for discussing this problem can be found here. The problem is to prove that:
$[\overline{1,-1}]=\ln2,\;\;$ $[\overline{1,1,-2}]=\ln3,\;\;$ $[\overline{1,1,1,-3}]=\ln4,\;\;$ $[\overline{1,1,1,1,-4}]=\ln5,\;\;$ etc.

share|improve this question
    
"challenge" meaning that you already know how to do it? –  Gerry Myerson Jul 31 at 6:02
    
Indeed. At the time of writing this comment, one solution has been posted - that way was the way I first did it, too. However, I have since come up with a "nicer" way (without using derivatives or integrals - though it does use the Taylor series for logarithms). –  columbus8myhw Jul 31 at 6:44
    
Apparently, this could also be made computing $$\sum_{n=0}^{\infty}(\frac{1}{mn+i}-\frac{1}{mn+m})=-\frac{\psi ^{(0)}\left(\frac{i}{m}\right)+\gamma }{m}$$ But I am stuck with the summation of the digamma functions. –  Claude Leibovici Jul 31 at 7:06

3 Answers 3

Let $m\geq 2$. Put:

$$S_m=\sum_{n\geq 0}(\frac{1}{mn+1}+\cdots+\frac{1}{mn+m-1}-\frac{m-1}{mn+m}) $$

As $\displaystyle \frac{1}{mn+r}=\int_0^1x^{mn+r-1}dx$, We have $$S_m=\int_0^{1}\frac{1+x+\cdots+x^{m-2}-(m-1)x^{m-1}}{1-x^m} dx$$ But $$1+x+\cdots+x^{m-2}-(m-1)x^{m-1}=(1-x^{m-1})+\cdots+(x^{m-2}-x^{m-1})$$

Hence $$1+x+\cdots+x^{m-2}-(m-1)x^{m-1}=[(1-x)(1+x+\cdots x^{m-2})]+\cdots+[x^{m-2}(1-x)]$$

and

$$[(1+x+\cdots x^{m-2})]+\cdots+[x^{m-2}]=1+2x+\cdots+(m-1)x^{m-2}$$

Thus $$S_m=\int_0^1\frac{\sum_{k=0}^{m-2}(k+1)x^{k}}{1+x+\cdots+x^{m-1}}dx=\int_0^1\frac{P^{\prime}(x)}{P(x)}dx=[\log(1+x+\cdots+x^{m-1})]_0^1=\log(m)$$

share|improve this answer
    
This is a really nice answer ! Thanks for providing this solution. Cheers :) –  Claude Leibovici Jul 31 at 6:34
    
This was my first solution, too! However, I have since come up with a "nicer" solution in the shower (it doesn't involve any integrals or derivatives, but it does require knowledge of the Taylor series for ln). –  columbus8myhw Jul 31 at 6:42
    
Could you show this solution ? –  Claude Leibovici Jul 31 at 7:18
    
Sure - as soon as I get on my computer (am currently on mobile). $\LaTeX$ and phones do not mix. –  columbus8myhw Jul 31 at 19:27
    
@ClaudeLeibovici Done. –  columbus8myhw Jul 31 at 23:01

For any $m \in \mathbb{N},$

$$\sum_{k=0}^{\infty} \Big(\frac{1}{mk+1} + \frac{1}{mk+2} + ... + \frac{1}{mk+m-1}- \frac{m-1}{mk+m}\Big)$$ $$= \lim_{n \rightarrow \infty} \Big(\sum_{k=0}^{mn} \frac{1}{mk+1} + ... + \frac{1}{mk+m-1} - \frac{m-1}{mk+m}\Big)$$$$= \lim_{n \rightarrow \infty} \Big( \sum_{k=1}^{mn} \frac{1}{k} - m \sum_{k=1}^n \frac{1}{mk} \Big)$$ $$= \lim_{n \rightarrow \infty} \Big(\sum_{k=1}^{mn} \frac{1}{k} - \sum_{k=1}^n \frac{1}{k}\Big)$$ $$= \lim_{n \rightarrow \infty} \Big( \sum_{k=1}^{mn} \frac{1}{k} - \ln(mn) + \ln(mn) - \sum_{k=1}^n \frac{1}{k} \Big)$$$$= \lim_{n \rightarrow \infty} \Big( \sum_{k=1}^{mn} \frac{1}{k} - \ln(mn) + \ln(n) - \sum_{k=1}^n \frac{1}{k} \Big) + \ln(m)$$ $$= \gamma - \gamma + \ln(m) = \ln(m),$$ where $\gamma$ is the Euler-Mascheroni constant.

share|improve this answer
    
Wow. That was an interesting approach. Good job! –  columbus8myhw Jul 31 at 15:59

So far, there is a proof involving differentiation/integration, and a proof involving nothing more than the knowledge that $\gamma$amma exists. Here is my proof, requiring the Taylor series expansion of the logarithm.

The well known Taylor series for $\ln(x)$ is as follows: $$-\ln(1-x)=\frac{x}{1}+\frac{x^2}{2}+\frac{x^3}{3}+\cdots+\frac{x^m}{m}+\cdots$$ which I love, because the exponents correspond to the denominators.

Substituting in $x^m$, we get: $$-\ln(1-x^m)=\frac{x^m}{1}+\frac{x^{2m}}{2}+\frac{x^{3m}}{3}+\cdots=\frac{m\,x^m}{m}+\frac{m\,x^{2m}}{2m}+\frac{m\,x^{3m}}{3m}+\cdots$$ where I rewrote it slightly so that the exponents still correspond to the denominators.

Subtracting the bottom from the top, we get: $$\ln\left(\frac{1-x^m}{1-x}\right)=\frac{x}{1}+\frac{x^2}{2}+\frac{x^3}{3}+\cdots+\frac{-(m-1)x^m}{m}+\\ \frac{x^{m+1}}{m+1}+\cdots+\frac{-(m-1)x^{2m}}{2m}+\cdots$$ (i.e. the coefficients are $-(m-1)$ where the denominator is a multiple of $m$, and $1$ otherwise.)

The LHS can be rewritten as $\ln(1+x+x^2+\cdots+x^m)$. So, plugging in $x=1$: $$\ln(m)=\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\cdots-\frac{m-1}{m}+\frac{1}{m+1}+\cdots-\frac{-(m-1)}{2m}+\cdots$$ which is what was meant to be proved.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.