10
$\begingroup$

I am trying to find out the sum of this $$1+\frac{1}{2}+\frac{1\cdot2}{2\cdot5}+\frac{1\cdot 2\cdot 3}{2\cdot 5\cdot 8}+\frac{1\cdot 2\cdot 3\cdot 4}{2\cdot 5\cdot 8\cdot 11}+\cdots$$.

I tried with binomial theorem with rational index. But in vain. What shall I do to solve it? If it has been solved already, kindly provide me the link. I am unable to get that.

Thanks for your help

$\endgroup$
9
  • 1
    $\begingroup$ Is there any specific general technique for solving this kind of sum ? $\endgroup$
    – KON3
    Commented Aug 21, 2014 at 7:24
  • $\begingroup$ Use hypergeometric functions. The whole thing can be written in terms of trigonometric functions, and logarithms. $\endgroup$ Commented Aug 21, 2014 at 7:28
  • 1
    $\begingroup$ The value of such a sum is $$1+\frac{1}{2}\phantom{}_2 F_1\left(1,2;\frac{5}{3};\frac{1}{3}\right)=\phantom{}_2 F_1\left(1,1;\frac{2}{3};\frac{1}{3}\right).$$ I doubt a simpler form exists. $\endgroup$ Commented Aug 21, 2014 at 7:29
  • $\begingroup$ Apologize I don't have much knowledge about that one. I want to solve it in simpler way, well, unless we don't have any other option left. $\endgroup$
    – KON3
    Commented Aug 21, 2014 at 7:31
  • 1
    $\begingroup$ @JackD'Aurizio That can be simplified. $\endgroup$ Commented Aug 21, 2014 at 7:31

2 Answers 2

7
$\begingroup$

Since $$S=1+\sum_{k=0}^{+\infty}\prod_{j=0}^k\frac{j+1}{3j+2}=1+\sum_{k=1}^{+\infty}k\, 3^{-k} B(2/3,k),$$ where $B(2/3,k)$ is the Euler Beta function: $$ B(2/3,k)=\int_{0}^{1}x^{-1/3}(1-x)^{k-1}$$

we have: $$S=1+3\int_{0}^{1}\frac{dx}{(1-x)^{1/3}(3-x)^2}.$$ Now the last integral can be computed explicitly, and leads to:

$$S=\frac{3}{2}-2^{-4/3}\sqrt{3}\operatorname{arccot}\left(\frac{1-2^{4/3}}{\sqrt{3}}\right)+2^{-7/3}\log\left(4+2^{4/3}-2^{5/3}\right)-2^{-4/3}\log\left(2+2^{2/3}\right).$$

$\endgroup$
4
  • $\begingroup$ The solution is really impressive. I never thought it would be such interesting. Just one thing to know, the third part in the first line is not clear to me. I mean, how did you arrive that $\prod\limits_{j=0}^k \frac{j+1}{3j+2}=k3^{-k} B(2/3, k)$ ? $\endgroup$
    – KON3
    Commented Aug 21, 2014 at 14:37
  • $\begingroup$ Can you please provide me any link where I can see such kind of examples so that it would be easier for me to clear my doubt? Thank you $\endgroup$
    – KON3
    Commented Aug 22, 2014 at 5:23
  • $\begingroup$ Jack D'Aurizio Please rectify us the following: $S=1+\sum\limits_{k=0}^{\infty}\prod\limits_{j=0}^k \frac{j+1}{3j+2}$ is not true. For k=1, the first term in the product in your expression is becoming $\frac{1\cdot 2}{2\cdot 5}$. $\endgroup$
    – KON3
    Commented Oct 15, 2014 at 7:36
  • $\begingroup$ I think it should be $\prod\limits_{j=1}^k \frac{j+1}{3j+2}$. Otherwise, I am unable to get it $\endgroup$
    – KON3
    Commented Oct 15, 2014 at 7:38
1
$\begingroup$

Here is an another approach that doesn't add anything much to Jack's answer but is at least mildly entertaining. It does not use the $B$ function but instead takes a detour via a "simple" alternating series. As stated in the comments the sum equals $${}_2F_1(1,1,\tfrac{2}{3};\tfrac{1}{3})$$ and using the transformation $${}_2F_1(\alpha, \beta, \gamma; z) = (1-z)^{-\alpha}{}_2F_1(\alpha, \gamma - \beta, \gamma; \tfrac{z}{z-1})$$ we get:

$$ \begin{eqnarray} {}_2F_1(1,1,\tfrac{2}{3};\tfrac{1}{3}) &=& \tfrac{3}{2}{}_2F_1(1, -\tfrac{1}{3}, \tfrac{2}{3}; -\tfrac{1}{2})\\[1ex] &=& \tfrac{3}{2} + \sum_{n=0}^{\infty}(-1)^n\frac{3}{2^{n+2}(3n+2)}\\ &=&\tfrac{3}{2} + 2^{-\frac{4}{3}}\int_0^{2^{-\frac{1}{3}}}\frac{3x}{1+x^3}dx\\[1ex] &=&\tfrac{3}{2} + \tfrac{3}{2} \int_0^1 \frac{x}{2+x^3}dx\\[1ex] \end{eqnarray}$$

$\endgroup$
2
  • $\begingroup$ What this function ${}_2F_1(1,1,\tfrac{2}{3};\tfrac{1}{3})$ is called ? $\endgroup$
    – kaka
    Commented Aug 22, 2014 at 13:53
  • 1
    $\begingroup$ @kaka It is a Gauss hypergeometric function. $\endgroup$
    – WimC
    Commented Aug 22, 2014 at 13:56

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .