A Hypergeometric Approach, Via Linear Forms Involving Logarithms, to Irrationality Criteria for Euler's Constant
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Using an integral of a hypergeometric function, we give necessary and sufficient conditions for irrationality of Euler's constant $γ$. The proof is by reduction to known irrationality criteria for $γ$ involving a Beukers-type double integral. We show that the hypergeometric and double integrals are equal by evaluating them. To do this, we introduce a construction of linear forms in 1, $γ$, and logarithms from Nesterenko-type series of rational functions. In the Appendix, Sergey Zlobin gives a change-of-variables proof that the series and the double integral are equal.
Typos in statement of Lemma 2 corrected, reference [3] updated, published version. Appendix by Sergey Zlobin
Typos in statement of Lemma 2 corrected, reference [3] updated, published version. Appendix by Sergey Zlobin