Prove the (numerically-evident) proposition that \begin{equation} \Sigma_{i=0}^\infty f(i) = 1, \end{equation} where \begin{equation} f(i)= 2^{-4 i-6} q(i) \frac{\Gamma(3 i+\frac{5}{2}) \Gamma(5 i+2)}{3 \Gamma(i+1) \Gamma(2 i+3) \Gamma(5 i+\frac{13}{2})} \end{equation} and \begin{equation} q(i) = 185000 i^5 +779750 i^4 +1289125 i^3 +1042015 i^2 +410694 i+63000= \end{equation} \begin{equation} i (5 i (25 i (2 i (740 i+3119)+10313)+208403)+410694)+63000. \end{equation} This is the special case ($\alpha=0$) of eqs. (4)-(6) in arXiv:1301.6617, and eqs. (2)-(3) in arXiv:1303.1125.
$\begingroup$
$\endgroup$
6
-
5$\begingroup$ Is this a cry for help or an invitation to a contest? $\endgroup$– user112109May 9, 2013 at 15:23
-
$\begingroup$ Have you tried the Gosper-Zeilberger algorithm for summing hypergeometric series? $\endgroup$– Douglas ZareMay 9, 2013 at 17:57
-
$\begingroup$ can you give some background how this identity to unity arises? does that suggest a way to a proof? $\endgroup$– Carlo BeenakkerMay 9, 2013 at 19:57
-
4$\begingroup$ Then too, some numerically evident propositions are false... For example, $$ \sum_{n=1}^\infty \frac{(3n-2)!}{(2n)!} \frac{(2n+99)!}{(3n+99)!} $$ is not quite equal to what numerical computation suggests. See math.harvard.edu/~elkies/Misc/sol11.html . $\endgroup$– Noam D. ElkiesMay 9, 2013 at 22:06
-
$\begingroup$ Denominator 16 ... maybe it is somehow related to these: en.wikipedia.org/wiki/… $\endgroup$– Gerald EdgarMay 12, 2013 at 13:10
|
Show 1 more comment