A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report

DOI10.1007/BF03028234zbMath0409.10028OpenAlexW2945964015WikidataQ55879773 ScholiaQ55879773MaRDI QIDQ1258767

Alfred J. van der Poorten

Publication date: 1979

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03028234

zbMATH Keywords

Riemann zeta-functionirrationalitycontinued fractionrecurrence sequence

Mathematics Subject Classification ID

(zeta (s)) and (L(s, chi)) (11M06) Recurrences (11B37) Irrationality; linear independence over a field (11J72)

Related Items (only showing first 100 items - show all)

The arithmetic and topology of differential equations ⋮ Infinite series identities derived from the very well-poised \(\Omega\)-sum ⋮ Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec ⋮ EXTENDING GAUSSIAN HYPERGEOMETRIC SERIES TO THE p-ADIC SETTING ⋮ An Euler-type formula forβ(2n) and closed-form expressions for a class of zeta series ⋮ Divisibility properties of sporadic Apéry-like numbers ⋮ LOG-SINE EVALUATIONS OF MAHLER MEASURES ⋮ Binomial identities -- combinatorial and algorithmic aspects ⋮ Double tails of multiple zeta values ⋮ Congruences involving \(g_n(x)=\sum\limits_{k=0}^n\dbinom{n}{k}^2\dbinom{2k}{k}x^k\) ⋮ Euler numbers, Padé approximants and Catalan's constant ⋮ Classical automorphic forms and hypergeometric functions ⋮ Some conjectural supercongruences related to Bernoulli and Euler numbers ⋮ On congruence schemes for constant terms and their applications ⋮ A few remarks on \(\zeta (3)\) ⋮ Generalized Lucas congruences and linear \(p\)-schemes ⋮ Some open problems related to creative telescoping ⋮ Approximations to di- and tri-logarithms ⋮ A new proof of the irrationality of \(\zeta (2)\) and \(\zeta (3)\) using Padé approximants ⋮ Sporadic sequences, modular forms and new series for \(1/\pi\) ⋮ MPL -- a program for computations with iterated integrals on moduli spaces of curves of genus zero ⋮ Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry ⋮ On a continued fraction expansion for Euler's constant ⋮ Super congruences and Euler numbers ⋮ The sixth Painlevé transcendent and uniformization of algebraic curves ⋮ Differentiably finite power series ⋮ Apéry limits and special values of \(L\)-functions ⋮ A \(q\)-analogue of the Bailey-Borwein-Bradley identity ⋮ Computerized deconstruction. ⋮ Variations of the Ramanujan polynomials and remarks on \(\zeta(2j+1)/\pi^{2j+1}\) ⋮ Concerning dense subideals in commutative Banach algebras ⋮ On two congruences involving Franel numbers ⋮ Some new identities for \(\zeta(k)\). ⋮ \(p\)-adic congruences motivated by series ⋮ Computer proofs of a new family of harmonic number identities. ⋮ A fast algorithm for proving terminating hypergeometric identities ⋮ The irrationality measure of \(\pi\) is at most 7.103205334137\dots ⋮ Some congruences for Apery numbers ⋮ Sister Celine's technique and its generalizations ⋮ On sums of Apéry polynomials and related congruences ⋮ Hypergeometric series and irrationality of the values of the Riemann zeta function ⋮ A holonomic systems approach to special functions identities ⋮ Parameterized telescoping proves algebraic independence of sums ⋮ Alternating multiple zeta values, and explicit formulas of some Euler-Apéry-type series ⋮ The method of creative telescoping ⋮ Paperfolding infinite products and the gamma function ⋮ Apéry polynomials and the multivariate saddle point method ⋮ Some special cases of the generalized hypergeometric function \(_{q+1}F_ q\) ⋮ The Euler and Springer numbers as moment sequences ⋮ An elementary proof of the irrationality of Tschakaloff series ⋮ Asymptotic results of the remainders in the series representations for the Apéry constant ⋮ Divisibility properties of a class of binomial sums ⋮ Gauss's \(_ 2F_ 1(1)\) cannot be generalized to \(_ 2F_ 1(x)\) ⋮ Apéry numbers, Jacobi sums, and special values of generalized \(p\)-adic hypergeometric functions ⋮ Hypergeometric solutions of linear recurrences with polynomial coefficients ⋮ Identities in search of identity ⋮ The Hurwitz zeta function as a convergent series ⋮ Restricted rational approximation and Apéry-type constructions ⋮ Congruences arising from Apéry-type series for zeta values ⋮ Congruences for central binomial sums and finite polylogarithms ⋮ Two double inequalities for \(k\)-gamma and \(k\)-Riemann zeta functions ⋮ A useful application of Brun's irrationality criterion ⋮ On one method for fast approximation of zeta constants by rational fractions ⋮ Integral congruence two hyperbolic 5-manifolds ⋮ Congruences for Catalan and Motzkin numbers and related sequences ⋮ Well-poised hypergeometric series for Diophantine problems of zeta values ⋮ Arithmetic of linear forms involving odd zeta values ⋮ More congruences for central binomial coefficients ⋮ Pseudo-factorials, elliptic functions, and continued fractions ⋮ A fast algorithm for proving terminating hypergeometric identities. (Reprint) ⋮ Indefinite summation with unspecified summands ⋮ Supercongruences for Apéry-like numbers ⋮ Stirling numbers, central factorial numbers, and representations of the Riemann zeta function ⋮ Some recurrences for sums of powers of binomial coefficients ⋮ An elementary proof of the irrationality of \(\zeta(3)\) ⋮ Further Apéry-like series for Riemann zeta function ⋮ On the spectral zeta function for the noncommutative harmonic oscillator ⋮ Recurrence equation and integral representation of Apéry sums ⋮ On divisibility of sums of Apéry polynomials ⋮ \(G\)-functions and multisum versus holonomic sequences ⋮ Level 14 and 15 analogues of Ramanujan’s elliptic functions to alternative bases ⋮ \(q\)-Apéry irrationality proofs by \(q\)-WZ pairs ⋮ Another congruence for the Apéry numbers ⋮ Life and Mathematics of Alfred Jacobus van der Poorten (1942–2010) ⋮ Congruence properties of Apery numbers ⋮ On values of the Riemann zeta function at positive integers ⋮ Linear differential equations as a data structure ⋮ Ramanujan-type \(1/\pi\)-series from bimodular forms ⋮ Euler’s constant: Euler’s work and modern developments ⋮ Sequence transformations in proofs of irrationality of some fundamental constants ⋮ Linear differential equations and multiple zeta-values. III. Zeta(3) ⋮ Computational strategies for the Riemann zeta function ⋮ On the Picard-Fuchs equation and the formal Brauer group of certain elliptic \(K3\)-surfaces ⋮ A case study for \(\zeta (4)\) ⋮ Accelerating Dougall’s $_5F_4$-sum and infinite series involving $\pi $ ⋮ On the series \(\sum ^{\infty}_{k=1}\binom{2k}{k}^{-1}k^{-n}\) and related sums ⋮ Some congruences for the Apéry numbers ⋮ Resurrecting the asymptotics of linear recurrences ⋮ Linear recurrent sequences and irrationality measures ⋮ Stirling-Markov series transformations with increasingly rapid convergence rates

This page was built for publication: A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report