Namespaces
Variants
Actions

Apéry numbers

From Encyclopedia of Mathematics
Revision as of 16:45, 1 July 2020 by Maximilian Janisch (talk | contribs) (AUTOMATIC EDIT (latexlist): Replaced 29 formulas out of 29 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Jump to: navigation, search

The Apéry numbers $a _ { n }$, $b _ { n }$ are defined by the finite sums

\begin{equation*} a _ { n } = \sum _ { k = 0 } ^ { n } \left( \begin{array} { c } { n + k } \\ { k } \end{array} \right) ^ { 2 } \left( \begin{array} { c } { n } \\ { k } \end{array} \right) ^ { 2 } , \quad b _ { n } = \sum _ { k = 0 } ^ { n } \left( \begin{array} { c } { n + k } \\ { k } \end{array} \right) \left( \begin{array} { c } { n } \\ { k } \end{array} \right) ^ { 2 } \end{equation*}

for every integer $n \geq 0$. They were introduced in 1978 by R. Apéry in his highly remarkable irrationality proofs of $\zeta ( 3 )$ and $\zeta ( 2 ) = \pi ^ { 2 } / 6$, respectively. In the case of $\zeta ( 3 )$, Apéry showed that there exists a sequence of rational numbers $c _ { n }$ with denominator dividing $\operatorname { lcm } ( 1 , \ldots , n ) ^ { 3 }$ such that $0 < | a _ { n } \zeta ( 3 ) - c _ { n } | < ( \sqrt { 2 } - 1 ) ^ { 4 n }$ for all $n > 0$. Together with the fact that $\operatorname { lcm } ( 1 , \dots , n ) > 3 ^ { n }$, this implies the irrationality of $\zeta ( 3 )$. For a very lively and amusing account of Apéry's discovery, see [a4]. In 1979 F. Beukers [a1] gave a very short irrationality proof of $\zeta ( 3 )$, motivated by the shape of the Apéry numbers. Despite much efforts by many people there is no generalization to an irrationality proof of $\zeta ( 5 )$ so far (2001).

T. Rival [a5] proved the very surprising result that $\zeta ( 2 n + 1 ) \notin \mathbf{Q}$ for infinitely many $n$.

It did not take long before people noticed a large number of interesting congruence properties of Apéry numbers. For example, $a _ { m p ^ r} \equiv a _ { m p ^ { r - 1 } } ( \operatorname { mod } p ^ { 3 r } )$ for all positive integers $m$, $r$ and all prime numbers $p \geq 5$. Another congruence is $a _ {( p - 1 )/ 2 } \equiv \gamma _ { p } ( \operatorname { mod } p )$ for all prime numbers $p \geq 5$. Here, $\gamma _ { n }$ denotes the coefficient of $q ^ { n }$ in the $q$-expansion of a modular cusp form. For more details see [a2], [a3].

References

[a1] F. Beukers, "A note on the irrationality of $\zeta ( 3 )$" Bull. London Math. Soc. , 11 (1979) pp. 268–272
[a2] F. Beukers, "Some congruences for the Apéry numbers" J. Number Theory , 21 (1985) pp. 141–155
[a3] F. Beukers, "Another conguence for the Apéry numbers" J. Number Theory , 25 (1987) pp. 201–210
[a4] A.J. van der Poorten, "A proof that Euler missed $...$ Apéry's proof of the irrationality of $\zeta ( 3 )$" Math. Intelligencer , 1 (1979) pp. 195–203
[a5] T. Rival, "La fonction zêta de Riemann pren une infinité de valeurs irrationnelles aux entiers impairs" C.R. Acad. Sci. Paris , 331 (2000) pp. 267–270
How to Cite This Entry:
Apéry numbers. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ap%C3%A9ry_numbers&oldid=55306
This article was adapted from an original article by Frits Beukers (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article