A hypergeometric approach, via linear forms involving logarithms, to criteria for irrationality of Euler’s constant. With an appendix by Sergey Zlobin. (English) Zbl 1203.11053

In a previous paper [Proc. Am. Math. Soc. 131, No. 11, 3335–3344 (2003; Zbl 1113.11040)] the author, inspired by the work of Beukers on the irrationality of \(\zeta (2)\) and \(\zeta (3)\), considered the following sequence of double integrals \[ I_n=\int \limits _0^1 \int \limits _0^1 \frac {[x(1-x)y(1-y)]^n}{(1-xy)(-\log xy)} \,dx\,dy \] and proved that \(\left [ [ I_n- {2n \choose n} \gamma ] \mathrm{lcm}(1,2, \dots , 2n) \in Z+Z\log (n+1)+\cdots +Z\log (2n) \right ]\). He then used this property to derive interesting criteria for the irrationality of Euler’s constant \(\gamma \).
In this paper he continues these investigations and obtains the equivalent single integral \[ I_n:=\int \limits _{n+1}^{\infty } \frac {(n!)^2 \Gamma (t)}{(2n+1) \Gamma (2n+1+t)} \;_3F_2 \left ( \left . \begin{matrix} n+1, n+1, 2n+1 \\ 2n+2, 2n+1+t \end{matrix} \right | 1 \right) \,dt, \] by first showing that this single integral is equal to a Nesterenko-type series, which when replaced in the expression one obtains the same linear combination. In an appendix, S. Zlobin proves again, but without expanding in linear forms, that the double integral equals that Nesterenko-type series. Sondow hopes that the variety of expressions for \(I_n\) will turn out to be useful in determining the arithmetic nature of \(\gamma \).


11J72 Irrationality; linear independence over a field
11J86 Linear forms in logarithms; Baker’s method
33C20 Generalized hypergeometric series, \({}_pF_q\)


Zbl 1113.11040
Full Text: DOI


This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.