For $x>0$ and $y>x+1$, how do we prove that $$\sum\limits_{n=1}^{\infty} \frac{x(x+1) \cdots (x+n-1)}{y(y+1) \cdots (y+n-1)} = \frac{x}{y-x-1}$$
|
This is based on Robert Smith's observation above and Robin Chapman's beta trick in some previous problem. $\frac{\Gamma{(x+n)}\Gamma{(y-x)}}{\Gamma{(y+n)}} = \int_{0}^{1} t^{x+n-1} (1-t)^{y-x-1} dt$, summing over $n$ we get, $\Gamma{(y-x)}\sum_{n \geq 1}\frac{\Gamma{(x+n)}}{\Gamma{(y+n)}} = \int_{0}^{1} \sum_{n \geq 1} t^{x+n-1} (1-t)^{y-x-1} dt = \int_{0}^{1} t^x (1-t)^{y-x-2}dt, $ or, $\sum_{n \geq 1}\frac{\Gamma{(x+n)}}{\Gamma{(y+n)}} = \frac{1}{\Gamma(y-x)}\int_{0}^{1} t^{x+1-1}(1-t)^{y-x-1-1}dt = \frac{\Gamma{(x+1)}\Gamma{(y-x-1)}}{\Gamma{(y-x)}\Gamma(y)} = \frac{\Gamma{(x+1)}}{(y-x-1)\Gamma(y)}$ and hence, $\frac{\Gamma(y)}{\Gamma(x)} \sum_{n \geq 1}\frac{\Gamma{(x+n)}}{\Gamma{(y+n)}} = \frac{\Gamma(x+1)}{(y-x-1)\Gamma(x)} = \frac{x}{y-x-1}.$ |
|||||||
|
|
The sum telescopes since the summand $\rm\ f_n = g_{n+1} - g_n\:$ where $\rm\displaystyle\ g_n = \frac{1-n-y}{y-x-1}\ f_n$ |
|||||||||||||
|
|
This is not a stand-alone proof like the very nice one provided by Bill, but one can note that the sum is a special case of this identity for the hypergeometric function ${}_2F_1$. Let $a=x$, $b=1$, $c=y$, use $\Gamma(z+1)/\Gamma(z)=z$, and subtract 1 to compensate for the fact that the hypergeometric series starts with $n=0$. |
|||
|
|
|
Nice observation Hans. I wanted to derive a very similar sum: $\displaystyle \sum\limits_{n=1}^{\infty} \frac{x(x+1) \cdots (x+n-1)}{y(y+1) \cdots (y+n-1)}=\sum \limits_{n=1}^{\infty}\displaystyle \frac{x^{(n)}}{y^{(n)}}$ where $x^{(n)}$ is the rising factorial which can be written as $x^{(n)} = \displaystyle \frac{\Gamma(x+n)}{\Gamma(x)}$. Then we have: $\displaystyle \frac{\Gamma(y)}{\Gamma(x)}\sum\limits_{n=1}^{\infty}\frac{\Gamma(x+n)}{\Gamma(y+n)}$. Apparently, this sum converges to $\displaystyle \frac{\Gamma(x+1)\Gamma(y-x-1)}{\Gamma(y)\Gamma(y-x)}$. After simplication we obtain $\displaystyle \frac{x}{y-x-1}$. However, I haven't been able to derive the result for $\displaystyle \sum\limits_{n=1}^{\infty}\frac{\Gamma(x+n)}{\Gamma(y+n)}$ |
|||
|
|
