Criteria for irrationality of Euler's constant

Author:
Jonathan Sondow

Journal:
Proc. Amer. Math. Soc. **131** (2003), 3335-3344

MSC (2000):
Primary 11J72; Secondary 05A19

DOI:
https://doi.org/10.1090/S0002-9939-03-07081-3

Published electronically:
March 11, 2003

MathSciNet review:
1990621

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: By modifying Beukers' proof of Apéry's theorem that is irrational, we derive criteria for irrationality of Euler's constant, . For , we define a double integral and a positive integer , and prove that with the following are equivalent:

1. The fractional part of is given by for some .

2. The formula holds for all sufficiently large .

3. Euler's constant is a rational number.

A corollary is that if infinitely often, then is irrational. Indeed, if the inequality holds for a given (we present numerical evidence for and is rational, then its denominator does not divide . We prove a new combinatorial identity in order to show that a certain linear form in logarithms is in fact . A by-product is a rapidly converging asymptotic formula for , used by P. Sebah to compute correct to 18063 decimals.

**1.**R. Apéry,*Irrationalité de et*, Astérisque**61**(1979), 12-14.**2.**F. Beukers,*A note on the irrationality of and*, Bull. London Math. Soc.**12**(1979), 268-272. MR**81j:10045****3.**N. Bleistein and R. Handelsman,*Asymptotic expansion of integrals*, Holt, Rinehart and Winston, 1975. MR**89d:41049**(review of 2nd edition)**4.**K. Ball and T. Rivoal,*Irrationalité d'une infinité de valeurs de la fonction zêta aux entiers impairs*, Invent. Math.**156**(2001), 193-207. MR**2003a:11086****5.**D. Huylebrouck,*Similarities in irrationality proofs for , and*, Amer. Math. Monthly**118**(2001), 222-231. MR**2002b:11095****6.**Y. Nesterenko,*A few remarks on*, Math. Notes**59**(1996), 625-636. MR**98b:11088****7.**A. van der Poorten,*A proof that Euler missedApéry's proof of the irrationality of*, Math. Intelligencer**1**(1979), 195-203. MR**80i:10054****8.**J. B. Rosser and L. Schoenfeld,*Approximate formulas for some functions of prime numbers*, Illinois J. of Math.**6**(1962), 64-94. MR**25:1139****9.**P. Sebah, personal communication, 30 July 2002.**10.**J. Sondow,*Hypergeometric and double integrals for Euler's constant*, Amer. Math. Monthly, submitted.**11.**-,*A hypergeometric approach, via linear forms involving logarithms, to irrationality criteria for Euler's constant*, CRM Conference Proceedings of CNTA 7 (May, 2002), to appear.**12.**-,*An irrationality measure for Liouville numbers and conditional measures for Euler's constant*, in preparation.**13.**W. Zudilin,*One of the numbers is irrational*, Russian Math. Surveys**56:4**(2001), 774-776. MR**2002g:11090**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
11J72,
05A19

Retrieve articles in all journals with MSC (2000): 11J72, 05A19

Additional Information

**Jonathan Sondow**

Affiliation:
209 West 97th Street, New York, New York 10025

Email:
jsondow@alumni.princeton.edu

DOI:
https://doi.org/10.1090/S0002-9939-03-07081-3

Keywords:
Irrationality,
Euler's constant,
Ap\'ery's theorem,
Beukers' integrals,
linear form in logarithms,
fractional part,
harmonic number,
Prime Number Theorem,
Laplace's method,
asymptotic formula,
combinatorial identity

Received by editor(s):
June 4, 2002

Published electronically:
March 11, 2003

Communicated by:
David E. Rohrlich

Article copyright:
© Copyright 2003
American Mathematical Society