Apéry's theorem

Na matemática, Apéry's theorem is a result in number theory that states the Apéry's constant ζ(3) is irrational. Aquilo é, o número

Apéry's theorem

Ir para a navegação
Pular para pesquisar

Sum of the inverses of the positive integers cubed is irrational

Dentro matemática, Apéry's theorem is a result in Teoria dos Números that states the Apéry's constant ζ(3) é irrational. Aquilo é, o número

ζ ( 3 ) = n = 1 1 n 3 = 1 1 3 + 1 2 3 + 1 3 3 + = 1.2020569 {estilo de exibição zeta (3)=soma _{n=1}^{infty }{fratura {1}{n^{3}}}={fratura {1}{1^{3}}}+{fratura {1}{2^{3}}}+{fratura {1}{3^{3}}}+ldots =1.2020569ldots }


cannot be written as a fraction p/q Onde p e q são integers. O teorema é nomeado após Roger Apéry.

The special values of the Riemann zeta function no até integers 2n (n > 0) can be shown in terms of Bernoulli numbers to be irrational, while it remains open whether the function's values are in general rational or not at the odd integers 2n + 1 (n > 1) (though they are conjectured to be irrational).


Euler proved that if n is a positive integer then

1 1 2 n + 1 2 2 n + 1 3 2 n + 1 4 2 n + = p q Pi 2 n {estilo de exibição {fratura {1}{1^{2n}}}+{fratura {1}{2^{2n}}}+{fratura {1}{3^{2n}}}+{fratura {1}{4^{2n}}}+ldots ={fratura {p}{q}}pi^{2n}}


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

ζ ( 2 n ) = ( 1 ) n + 1 B 2 n ( 2 Pi ) 2 n 2 ( 2 n ) ! {estilo de exibição zeta (2n)=(-1)^{n+1}{fratura {B_{2n}(2pi )^{2n}}{2(2n)!}}}


onde o 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 zeta constants for odd arguments, the values ζ(2n + 1) for positive integers n. It has been conjectured that the ratios of these quantities

ζ ( 2 n + 1 ) Pi 2 n + 1 , {estilo de exibição {fratura {zeta (2n+1)}{pi^{2n+1}}},}


são transcendental for every integer n ≥ 1.[1]

Because of this, no proof could be found to show that the zeta constants with odd arguments were irrational, even though they were (and still are) all believed to be transcendental. No entanto, in June 1978, Roger Apéry gave a talk titled "Sur l'irrationalité de ζ(3)." During the course of the talk he outlined proofs that ζ(3) e ζ(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 proof and Apéry's blasé and very sketchy approach to the subject, many of the mathematicians in the audience dismissed the proof as flawed. No entanto Henri Cohen, Hendrik Lenstra, e Alfred van der Poorten suspected Apéry was on to something and set out to confirm his proof. Two months later they finished verification of Apéry's proof, and on August 18 Cohen delivered a lecture giving full details of the proof. After the lecture Apéry himself took to the podium to explain the source of some of his ideas.[2]

Apéry's proof[]

Apéry's original proof[3][4] was based on the well known irrationality criterion from Peter Gustav Lejeune Dirichlet, which states that a number ξ is irrational if there are infinitely many coprime integers p e q de tal modo que

| X p q | < c q 1 + δ {estilo de exibição à esquerda|XI -{fratura {p}{q}}certo|<{fratura {c}{q^{1+delta }}}}


for some fixed c, δ > 0.

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

ζ ( 3 ) = 5 2 n = 1 ( 1 ) n 1 n 3 ( 2 n n ) . {estilo de exibição zeta (3)={fratura {5}{2}}soma _{n=1}^{infty }{fratura {(-1)^{n-1}}{n^{3}{alguns deles {2n}{n}}}}.}


A grosso modo, Apéry then defined a seqüência cn,k which converges to ζ(3) about as fast as the above series, especificamente

c n , k = m = 1 n 1 m 3 + m = 1 k ( 1 ) m 1 2 m 3 ( n m ) ( n + m m ) . {estilo de exibição c_{n,k}=soma _{m=1}^{n}{fratura {1}{m^{3}}}+soma _{m=1}^{k}{fratura {(-1)^{m-1}}{2m^{3}{alguns deles {n}{m}}{alguns deles {n+m}{m}}}}.}


He then defined two more sequences uman e bn este, roughly, have the quotient cn,k.

These sequences were

uma n = k = 0 n c n , k ( n k ) 2 ( n + k k ) 2 {estilo de exibição a_{n}=soma _{k=0}^{n}c_{n,k}{alguns deles {n}{k}}^{2}{alguns deles {n+k}{k}}^{2}}



b n = k = 0 n ( n k ) 2 ( n + k k ) 2 . {estilo de exibição b_{n}=soma _{k=0}^{n}{alguns deles {n}{k}}^{2}{alguns deles {n+k}{k}}^{2}.}


A sequência uman/bn converges to ζ(3) fast enough to apply the criterion, but unfortunately uman is not an integer after n = 2.

No entanto, Apéry showed that even after multiplying uman e bn by a suitable integer to cure this problem the convergence was still fast enough to guarantee irrationality.

Later proofs[]

Within a year of Apéry's result an alternative proof was found by Frits Beukers,[5] who replaced Apéry's series with integrals involving the shifted Legendre polynomials

P n ~ ( x ) {estilo de exibição {tilde {P_{n}}}(x)}

"{tilde. Using a representation that would later be generalized to Hadjicostas's formula, Beukers showed that

0 1 0 1 registro ( x y ) 1 x y P n ~ ( x ) P n ~ ( y ) d x d y = UMA n + B n ζ ( 3 ) lcm [ 1 , , n ] 3 {estilo de exibição int _{0}^{1}int_{0}^{1}{fratura {-registro(xy)}{1-xy}}{tilde {P_{n}}}(x){tilde {P_{n}}}(y)dxdy={fratura {UMA_{n}+B_{n}zeta (3)}{nome do operador {lcm} deixei[1,ldots ,certo]^{3}}}}


for some integers UMAn e Bn (sequências OEISA171484 e OEISA171485). Using partial integration and the assumption that ζ(3) was rational and equal to uma/b, Beukers eventually derived the inequality

0 < 1 b | UMA n + B n ζ ( 3 ) | 4 ( 4 5 ) n {estilo de exibição 0<{fratura {1}{b}}leq left|UMA_{n}+B_{n}zeta (3)certo|leq 4left({fratura {4}{5}}certo)^{n}}


que é um contradição since the right-most expression tends to zero as n → ∞, and so must eventually fall below 1/b.

A more recent proof by Wadim Zudilin is more reminiscent of Apéry's original proof,[6] and also has similarities to a fourth proof by Yuri Nesterenko.[7] 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 than the earlier proofs, since they rely upon hypergeometric series.

Higher zeta constants[]

Veja também Particular values of the Riemann zeta function § Odd positive integers.

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

ζ ( 2 ) = 3 n = 1 1 n 2 ( 2 n n ) . {estilo de exibição zeta (2)=3sum _{n=1}^{infty }{fratura {1}{n^{2}{alguns deles {2n}{n}}}}.}


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

ζ ( 5 ) = X 5 n = 1 ( 1 ) n 1 n 5 ( 2 n n ) . {estilo de exibição zeta (5)=xi _{5}soma _{n=1}^{infty }{fratura {(-1)^{n-1}}{n^{5}{alguns deles {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.

Infelizmente, extensive computer searching[8] 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, pelo menos 10383, so extending Apéry's proof to work on the higher odd zeta constants does not seem likely to work.

Despite this, many mathematicians working in this area expect a breakthrough sometime soon.[quando?][9] De fato, recent work by Wadim Zudilin and Tanguy Rivoal has shown that infinitely many of the numbers ζ(2n + 1) must be irrational,[10] and even that at least one of the numbers ζ(5), ζ(7), ζ(9), e ζ(11) must be irrational.[11] 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. Higher zeta constants have application to physics: they describe correlation functions in quantum spin chains.[12]


  1. ^

    Kohnen, Winfried (1989). "Transcendence conjectures about periods of modular forms and rational structures on spaces of modular forms". Proc. Indian Acad. Sci. Matemática. Sci. 99 (3): 231-233. doi:10.1007/BF02864395. S2CID 121346325.

  2. ^ UMA. van der Poorten (1979). "A proof that Euler missed..." (PDF). The Mathematical Intelligencer. 1 (4): 195–203. doi:10.1007/BF03028234. S2CID 121589323.
  3. ^ Apéry, R. (1979). "Irrationalité de ζ(2) et ζ(3)". Asterisco. 61: 11–13.
  4. ^ Apéry, R. (1981), "Interpolation de fractions continues et irrationalité de certaines constantes", Bulletin de la section des sciences du C.T.H.S III, pp. 37–53
  5. ^ F. Beukers (1979). "A note on the irrationality of ζ(2) e ζ(3)". Boletim da Sociedade Matemática de Londres. 11 (3): 268-272. doi:10.1112/blms/11.3.268.
  6. ^ Zudilin, C. (2002). "An Elementary Proof of Apéry's Theorem". arXiv:math/0202159.
  7. ^ Ю. NO. Нестеренко (1996). Некоторые замечания о ζ(3). Mate. Заметки (em russo). 59 (6): 865–880. doi:10.4213/mzm1785. English translation: Yu. V. Nesterenko (1996). "A Few Remarks on ζ(3)". Matemática. Notas. 59 (6): 625-636. doi:10.1007/BF02307212. S2CID 117487836.
  8. ^ D. H. Bailey, J. Borwein, N. Calkin, R. Girgensohn, R. Lucas, e V. Moll, Experimental Mathematics in Action, 2007.
  9. ^ Jorn Steuding (2005). Diophantine Analysis. Discrete Mathematics and Its Applications. Boca Raton: Chapman & Hall/CRC. p. 280. ISBN 978-1-58488-482-8.
  10. ^ Rivoal, T. (2000). "La fonction zeta de Riemann prend une infinité de valeurs irrationnelles aux entiers impairs". Comptes Rendus de l'Académie des Sciences, Série I. 331: 267-270. arXiv:math/0008051. Bibcode:2000CRASM.331..267R. doi:10.1016/S0764-4442(00)01624-4. S2CID 119678120.
  11. ^ C. Zudilin (2001). "One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational". Russ. Matemática. Surv. 56 (4): 774–776. Bibcode:2001RuMaS..56..774Z. doi:10.1070/RM2001v056n04ABEH000427.
  12. ^ H. E. Vaias; V. E. Korepin; S. Nishiyama; M. Shiroishi (2002). "Quantum Correlations and Number Theory". Revista de Física A. 35 (20): 4443–4452. arXiv:cond-mat/0202346. Bibcode:2002JPhA...35.4443B. doi:10.1088/0305-4470/35/20/305. S2CID 119143600.

links externos[]

Se você quiser conhecer outros artigos semelhantes a Apéry's theorem você pode visitar a categoria Teoremas em teoria dos números.

Deixe uma resposta

seu endereço de e-mail não será publicado.

Ir para cima

Usamos cookies próprios e de terceiros para melhorar a experiência do usuário Mais informação