Apéry's theorem

From Wikipedia, the free encyclopedia

In mathematics, Apéry's theorem is a result in number theory that states the number ζ(3) is irrational. That is, the number

\zeta(3)=\sum_{n=1}^\infty \frac{1}{n^3}=\frac{1}{1^3}+\frac{1}{2^3}+\frac{1}{3^3}+\ldots = 1.2020569\ldots

cannot be written as a fraction p/q.

Contents

[edit] History

Euler proved in the eighteenth century that if n is an even positive number then we have

\frac{1}{1^n}+\frac{1}{2^n}+\frac{1}{3^n}+\frac{1}{4^n}+\ldots = \frac{p}{q}\pi^n

for some rational number p/q. Specifically, writing the infinite series on the left as ζ(n) he showed

\zeta(2n) = (-1)^{n+1}\frac{B_{2n}(2\pi)^{2n}}{2(2n)!}

where the Bn are the rational Bernoulli numbers. Once it was proved that πn is always irrational this showed that ζ(2n) is irrational for all positive integers n.

No such representation in terms of π is known for the so-called odd zeta constants, the values ζ(2n+1) for positive integers n, so it is not known if there are rational (or even algebraic) numbers ξn such that

\displaystyle{\zeta(2n+1)=\xi_n\pi^{2n+1}}.

Because of this, no proof could be found to show that the odd zeta constants were irrational, even though they were - and still are - all believed to be transcendental. However, in June 1978 Roger Apéry gave a talk entitled "Sur l'irrationalité de ζ(3)." During the course of the talk he outlined proofs that ζ(3) and ζ(2) were irrational, the latter using methods simplified from those used to tackle the former rather than relying on the expression in terms of π. Due to the wholly unexpected nature of the result and Apéry's blasé and very sketchy approach to the subject many of the mathematicians in the audience dismissed the proof as flawed. Three of the audience members suspected Apéry was onto something, though, and set out to fill in the gaps in his proof.

Two months later these three - Henri Cohen, Hendrik Lenstra, and Alfred van der Poorten - finished their work, and on August 18 Cohen delivered a lecture fleshing out the proof given by Apéry. Following the talk Apéry himself took to the podium to explain the source of some of his ideas.[1]

[edit] Apéry's Proof

Apéry's original proof[2] was based on the well known irrationality criterion from Dirichlet, which states that a number ξ is irrational if there are infinitely many coprime integers p and q such that

\left|\xi-\frac{p}{q}\right|<\frac{c}{q^{1+\delta}}

for some fixed c,δ>0.

The starting point for Apéry was the series representation of ζ(3) as

\zeta(3) = \frac{5}{2} \sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^3\binom{2n}{n}}

Roughly speaking, Apéry then defined a sequence cn,k which converges to ζ(3) about as fast as the above series, specifically

c_{n,k}=\sum_{m=1}^{n}\frac{1}{m^{3}}+\sum_{m=1}^{k}\frac{(-1)^{m-1}}{2m^{3}\binom{n}{m}\binom{n+m}{m}}.

He then defined two more sequences an and bn that, roughly, have the quotient cn,k. These sequences were

a_{n}=\sum_{k=0}^{n}c_{n,k}\binom{n}{k}^{2}\binom{n+k}{k}^{2}

and

b_{n}=\sum_{k=0}^{n}\binom{n}{k}^{2}\binom{n+k}{k}^{2}.

The sequence an/bn converges to ζ(3) fast enough to apply the criterion, but unfortunately an is not an integer after n=2. Nevertheless, Apéry showed that even after multiplying an and bn by a suitable integer to cure this problem the convergence was still fast enough to guarantee irrationality.

[edit] Later Proofs

Within a year of Apéry's result an alternative proof was found by Frits Beukers[3]. His proof replaced Apéry's series with integrals involving the Legendre polynomials. Using a representation that would later be generalised to Hadjicostas' formula, Beukers showed that

\int_{0}^{1}\int_{0}^{1}\frac{-\log(xy)}{1-xy}P_{n}(x)P_{n}(y)dxdy=\frac{A_{n}+B_{n}\zeta(3)}{\operatorname{lcm}\left[1,\ldots,n\right]^{3}}

for some integers An and Bn and where Pn(x) is the nth Legendre polynomial. Using partial integration and the assumption that ζ(3) was rational and equal to a/b, Beukers eventually derived the inequality

0<\frac{1}{b}\leq\left|A_{n}+B_{n}\zeta(3)\right|\leq 4\left(\frac{4}{5}\right)^{n},

which is a contradiction since the right-most expression tends to zero and so must eventually fall below 1/b.

A more recent proof by Wadim Zudilin[4] is more reminiscent of Apéry's original proof, and also has similarities to a fourth proof by Yuri Nesterenko[5]. These later proofs again derive a contradiction from the assumption that ζ(3) is rational by constructing sequences that tend to zero but are bounded below by some positive constant. They are somewhat less transparent that the earlier proofs, relying as they do on hypergeometric series.

[edit] Higher Zeta Constants

Apéry and Beukers could simplify their proofs to work on ζ(2) as well thanks to the series representation

\zeta(2)=3\sum_{n=1}^{\infty}\frac{1}{n^{2}\binom{2n}{n}}.

Due to the success of Apéry's method a search was undertaken for a number ξ5 with the property that

\zeta(5)=\xi_{5}\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n^{5}\binom{2n}{n}}.

If such a ξ5 were found then the methods used to prove Apéry's theorem would be expected to work on a proof that ζ(5) is irrational. Unfortunately, extensive computer searching[6] has failed to find such a constant, and in fact it is now known that if ξ5 exists and if it is an algebraic number of degree at most 25, then the coefficients in its minimal polynomial must be enormous, at least 10383, so extending Apéry's proof to work on the higher odd zeta constants doesn't seem likely to work.

Despite this, many mathematicians working in this area expect a breakthrough sometime soon[7]. Indeed, recent work by Zudilin and Tanguy Rivoal has shown that infinitely many of the numbers ζ(2n+1) must be irrational[8], and even that at least one of the numbers ζ(5), ζ(7), ζ(9), and ζ(11) must be irrational[9]. Their work uses linear forms in values of the zeta function and estimates upon them to bound the dimension of a vector space spanned by values of the zeta function at odd integers. Hopes that Zudilin could cut his list further to just one number did not materialise, but work on this problem is still an active area of research.

[edit] See also

Apéry's constant, another name for ζ(3)

[edit] References

  1. ^ A. van der Poorten, A proof that Euler missed, Math. Intelligencer 1 (1979), pp. 195-203.
  2. ^ R. Apéry, Irrationalité de ζ(2) et ζ(3), Astérisque 61 (1979), pp. 11-13.
  3. ^ F. Beukers, A note on the irrationality of ζ(2) and ζ(3), Bull. London Math. Soc. 11 (1979), pp. 268-272.
  4. ^ W. Zudilin, An Elementary Proof of Apéry's Theorem, (2002), http://arxiv.org/abs/math/0202159
  5. ^ Y.V. Nesterenko, A Few Remarks on ζ(3), Mat. Zametki 59 (1996), pp. 865-880. English translation in Math. Notes 59 (1996), pp. 625-636.
  6. ^ D. H. Bailey, J. Borwein, N. Calkin, R. Girgensohn, R. Luke, and V. Moll, Experimental Mathematics in Action, 2007.
  7. ^ Jörn Steuding, Diophantine Analysis, 2005.
  8. ^ T. Rivoal, La fonction zeta de Riemann prend une infnité de valuers irrationnelles aux entiers impairs, Comptes Rendus Acad. Sci. Paris Sér. I Math. 331 (2000), pp. 267-270.
  9. ^ W. Zudilin, One of the numbers ζ(5); ζ(7); ζ(9); ζ(11) is irrational, Uspekhi Mat. Nauk 56:4 (2001), pp. 149-150.