Criteria for irrationality of Euler’s constant
From MaRDI portal
Publication:4417232
DOI10.1090/S0002-9939-03-07081-3zbMATH Open1113.11040OpenAlexW1505555202MaRDI QIDQ4417232FDOQ4417232
Abstract: By modifying Beukers' proof of Apery's theorem that zeta(3) is irrational, we derive criteria for irrationality of Euler's constant, gamma. For n > 0, we define a double integral I(n) and a positive integer S(n), and prove that if d(n) = LCM(1,...,n), then the fractional part of logS(n) is given by {logS(n)} = d(2n)I(n), for all n sufficiently large, if and only if gamma is a rational number. A corollary is that if {logS(n)} > 1/2^n infinitely often, then gamma is irrational. Indeed, if the inequality holds for a given n (we present numerical evidence for 0 < n < 2500 and n = 10000) and gamma is rational, then its denominator does not divide the product d(2n)Binomial(2n,n). We prove a new combinatorial identity in order to show that a certain linear form in logarithms is in fact logS(n). A by-product is a rapidly converging asymptotic formula for gamma, used by P. Sebah to compute it correct to 18063 decimals.
Recommendations
- A hypergeometric approach, via linear forms involving logarithms, to criteria for irrationality of Euler’s constant
- Criteria for irrationality of generalized Euler's constant
- Euler's constant, \(q\)-logarithms, and formulas of Ramanujan and Gosper
- On rational approximations to Euler's constant \(\gamma \) and to \(\gamma +\log (a/b)\)
- scientific article; zbMATH DE number 3273283
Cited In (27)
- Four parametric linear Euler sums
- Criteria for irrationality of generalized Euler's constant
- Integrals over polytopes, multiple zeta values and polylogarithms, and Euler's constant
- Rational approximation to Euler's constant at a geometric rate of convergence
- Rebuttal of Kowalenko's paper as concerns the irrationality of Euler's constant \(\gamma\)
- The generalized-Euler-constant function \(\gamma (z)\) and a generalization of Somos's quadratic recurrence constant
- Double integrals and infinite products for some classical constants via analytic continuations of Lerch's transcendent
- Irrationality of \(\gamma, \zeta(m)\) and \(\beta(m)\)
- Euler's constant, \(q\)-logarithms, and formulas of Ramanujan and Gosper
- Perfect powers in the summatory function of the power tower
- On a continued fraction expansion for Euler's constant
- On a sequence transformation with integral coefficients for Euler's constant. II.
- Extension of the four Euler sums being linear with parameters and series involving the zeta functions
- On a generalization of a formula of Ser and applications to the Riemann zeta function and to Dirichlet \(L\)-series.
- Arithmetical properties of some series with logarithmic coefficients
- Legendre modified moments for Euler's constant
- Euler's constant: Euler's work and modern developments
- Modular spectral triples and deformed Fredholm modules
- Fourier analysis for type III representations of the noncommutative torus
- Rational approximations for values of derivatives of the Gamma function
- Monotone and fast computation of Euler's constant
- A note on Beukers's and related double integrals
- Two parameterized series representations for the digamma function
- On irrationality criteria for the Ramanujan summation of certain series
- Approximations to the Euler-Mascheroni constant
- Title not available (Why is no real title available?)
- Euler’s criterion for prime order in the PID case
This page was built for publication: Criteria for irrationality of Euler’s constant
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417232)
