Rational approximations for the quotient of gamma values (Q633040): Difference between revisions

The authors continue the study of quantities arising in rational approximation to Euler's constant and values of the Gamma function started by \textit{A. I. Aptekarev, T. Rivoal} and \textit{D. N. Tulyakov} [Rational approximations of Euler's constant and recurrence relations. Sovrem. Probl. Mat. 9. Moskva: Matematicheskiĭ\ Institut im. V. A. Steklova, RAN. 82~p. (2007; Zbl 1134.41001), J. Number Theory 130, No. 4, 944--955 (2010; Zbl 1206.11095) and Math. Notes 85, No. 5, 746--750 (2009); translation from Mat. Zametki 85, No. 5, 782--787 (2009; Zbl 1205.41011)]. The main result is Theorem 1. Let \(a_1,a_2,b\in{\mathbb Q}\), \(a_1-a_2 \not\in \mathbb Z\), \(a_1,a_2>-1\), \(b>0\). For \(n=0,1,\dots\) define a sequence of rational numbers \[ q_n(a_1,a_2,b) = \sum_{k=0}^n \binom{n+a_1-a_2}{k} \binom{n+a+2-a_2}{n-}(a_1+1)_{n+k}b^{n-k}. \] Then \[ \mu_{a_2-a_1}^n \mu_{a_2}^{2n} q_n(a_1,a_2,b) \in n! \mathbb Z[b], \] with \[ \mu_a^n = (\operatorname{den}a)^n \cdot \prod_{p|\operatorname{den}a} p^{[\frac{n}{p-1}]} \] (\(\operatorname{den}a\) is the denominator of the rational number \(a\) when it is written in its simplest terms). Moreover, the following asymptotic formulae hold \[ \begin{aligned} q_n(a_1,a_2,b) \frac{\Gamma(a_2+1)/b^{a_2}}{\Gamma(a_1+1)b^{a_1}} - q_n(a_2,a_1,b) &= (2n)! \frac{e^{-2\sqrt{2bn}}}{n^{1/4-(a_1+a_2)/2}} \left(c_1+{\mathcal O}(n^{-1/2})\right),\\ q_n(a_1,a_2,b) &= (2n)!\frac{e^{\sqrt{2bn}}}{n^{1/4-(a_1+a_2)/2}}\left(c_2+{\mathcal O}(n^{-1/2})\right) \quad\text{as }n\rightarrow\infty, \end{aligned} \] with \[ \begin{aligned} c_1 &=\frac{2\sin{(\pi (a_2-a_1))}\Gamma(a_2+1)}{b^{1/4+(a_1-a_2)/2}e^{3b/8}\sqrt{\pi}\Gamma(a_1+1)},\\ c_2 &=\frac{2^{(a_1+a_2)2-3/4}}{b^{1/4+(a_1-a_2)/2}e^{3b/8}\sqrt{\pi}\Gamma(a_2+1)}.\end{aligned} \]