Search the site

Table of contents for this issue | Previous article
Wadim Zudilin
Well-poised hypergeometric service for diophantine problems of zeta values
Journal de théorie des nombres de Bordeaux, 15 no. 2 (2003), p. 593-626, doi: 10.5802/jtnb.415
Article PDF | Reviews MR 2140869 | Zbl 02184613 | 2 citations in Cedram

Résumé - Abstract

It is explained how the classical concept of well-poised hypergeometric series and integrals becomes crucial in studying arithmetic properties of the values of Riemann’s zeta function. By these well-poised means we obtain: (1) a permutation group for linear forms in $1$ and $\zeta (4) = \pi ^4/90$ yielding a conditional upper bound for the irrationality measure of $\zeta (4)$; (2) a second-order Apéry-like recursion for $\zeta (4)$ and some low-order recursions for linear forms in odd zeta values; (3) a rich permutation group for a family of certain Euler-type multiple integrals that generalize so-called Beukers’ integrals for $\zeta (2)$ and $\zeta (3)$.


[A1] Yu M. Aleksentsev, On the measure of approximation for the number π by algebraic numbers. Mat. Zametki [Math. Notes] 66:4 (1999), 483-493.
[An] G.E. Andrews, The well-poised thread: An organized chronicle of some amazing summations and their implications. The Ramanujan J. 1:1 (1997), 7-23.  MR 1607525 |  Zbl 0934.11050
[Ap] R. Apéry, Irrationalité de ζ(2) et ζ(3). Astérisque 61 (1979), 11-13.  Zbl 0401.10049
[Ba] W.N. Bailey, Generalized hypergeometric series. Cambridge Math. Tracts 32 (Cambridge Univ. Press, Cambridge, 1935); 2nd reprinted edition Stechert-Hafner, New York-London, 1964.  MR 185155 |  Zbl 0011.02303 |  JFM 61.0406.01
[BR] K. Ball, T. Rivoal, Irrationalité d'une infinité de valeurs de la fonction zêta aux entiers impairs. Invent. Math. 146:1 (2001), 193-207.  MR 1859021 |  Zbl 1058.11051
[Be1] F. Beukers, A note on the irrationality of ζ(2) and ζ(3). Bull. London Math. Soc. 11:3 (1979), 268-272.  Zbl 0421.10023
[Be2] F. Beukers, Padé approximations in number theory. Lecture Notes in Math. 888, Springer-Verlag, Berlin, 1981, 90-99.  MR 649087 |  Zbl 0478.10016
[Be3] F. Beukers, Irrationality proofs using modular forms. Astérisque 147-148 (1987), 271-283.  MR 891433 |  Zbl 0613.10031
[Be4] F. Beukers, On Dwork's accessory parameter problem. Math. Z. 241:2 (2002), 425-444.  MR 1935494 |  Zbl 1023.34081
[Br] N.G. De Bruijn, Asymptotic methods in analysis. North-Holland Publ., Amsterdam, 1958.  Zbl 0082.04202
[Co] H. Cohen, Accélération de la convergence de certaines récurrences linéaires, Séminaire de Théorie des nombres de Bordeaux (Année 1980-81), exposé 16, 2 pages. Article |  Zbl 0479.10023
[Gu] L.A. Gutnik, On the irrationality of certain quantities involving ζ(3). Uspekhi Mat. Nauk [Russian Math. Surveys] 34:3 (1979), 190; Acta Arith. 42:3 (1983), 255-264.  Zbl 0437.10015
[Han] J. Hancl, A simple proof of the irrationality of π4. Amer. Math. Monthly 93 (1986), 374-375.  Zbl 0597.10029
[Hat] M. Hata, Legendre type polynomials and irrationality measures. J. Reine Angew. Math. 407:1 (1990), 99-125.  MR 1048530 |  Zbl 0692.10034
[JT] W.B. Jones, W.J. Thron, Continued fractions. Analytic theory and applications. Encyclopaedia Math. Appl. Section: Analysis 11, Addison-Wesley, London, 1980.  MR 595864 |  Zbl 0603.30009
[Nel] Yu V. Nesterenko, A few remarks on ζ(3). Mat. Zametki [Math. Notes] 59:6 (1996), 865-880.  Zbl 0888.11028
[Ne2] Yu V. Nesterenko, Integral identities and constructions of approximations to zeta val-. ues. J. Théor. Nombres Bordeaux 15 (2003), ?-?. Cedram |  MR 2140866 |  Zbl 02184610
[Ne3] Yu V. Nesterenko, Arithmetic properties of values of the Riemann zeta function and generalized hypergeometric functions in preparation (2002).
[PWZ] M. Petkovšek, H.S. Wilf, D. Zeilberger, A = B. A. K. Peters, Ltd., Wellesley, MA, 1997.  MR 1379802
[Po] A. Van Der Poorten, A proof that Euler missed... Apéry's proof of the irrationality of ζ(3). An informal report, Math. Intelligencer 1:4 (1978/79), 195-203.  Zbl 0409.10028
[RV1] G. Rhin, C. Viola, On a permutation group related to ζ(2). Acta Arith. 77:1 (1996), 23-56. Article |  Zbl 0864.11037
[RV2] G. Rhin, C. Viola, The group structure for ζ(3). Acta Arith. 97:3 (2001), 269-293.  Zbl 1004.11042
[Ri1] T. Rivoal, La fonction zêta de Riemann prend une infinité de valeurs irrationnelles aux entiers impairs. C. R. Acad. Sci. Paris Sér. I Math. 331:4 (2000), 267-270.  MR 1787183 |  Zbl 0973.11072
[Ri2] T. Rivoal, Propriétés diophantiennes des valeurs de la fonction zêta de Riemann aux entiers impairs. Thèse de Doctorat, Univ. de Caen, 2001. Article
[Ri3] T. Rivoal, Séries hypergéométriques et irrationalité des valeurs de la fonction zêta. J. Théor. Nombres Bordeaux 15 (2003), 351-365. Cedram |  MR 2019020 |  Zbl 1041.11051
[So1] V.N. Sorokin, Hermite-Padé approximations for Nikishin's systems and irrationality of ζ(3). Uspekhi Mat. Nauk [Russian Math. Surveys] 49:2 (1994), 167-168.  Zbl 0827.11042
[So2] V.N. Sorokin, A transcendence measure of π2. Mat. Sb. [Russian Acad. Sci. Sb. Math.] 187:12 (1996), 87-120.  Zbl 0876.11035
[So3] V.N. Sorokin, Apéry's theorem. Vestnik Moskov. Univ. Ser. I Mat. Mekh. [Moscow Univ. Math. Bull.] 53:3 (1998), 48-52.  MR 1708549 |  Zbl 1061.11501
[So4] V.N. Sorokin, One algorithm for fast calculation of π4. Preprint (Russian Academy of Sciences, M. V. Keldysh Institute for Applied Mathematics, Moscow, 2002), 59 pages;
[VaO] O.N. Vasilenko, Certain formulae for values of the Riemann zeta-function at integral points. Number theory and its applications, Proceedings of the science-theoretic conference (Tashkent, September 26-28, 1990), 27 (Russian).
[VaD] D.V. Vasilyev, On small linear forms for the values of the Riemann zeta-function at odd points. Preprint no. 1 (558) (Nat. Acad. Sci. Belarus, Institute Math., Minsk, 2001).
[Vi] C. Viola, Birational transformations and values of the Riemann zeta-function. J. Théor. Nombres Bordeaux 15 (2003), ?-? Cedram |  MR 2140868 |  Zbl 1074.11041
[WZ] H.S. Wilf, D. Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities. Invent. Math. 108:3 (1992), 575-633.  MR 1163239 |  Zbl 0739.05007
[Zl1] S.A. Zlobin, Integrals expressible as linear forms in generalized polylogarithms. Mat. Zametki [Math. Notes] 71:5 (2002), 782-787.  MR 1936201 |  Zbl 1049.11077
[Zl2] S.A. Zlobin, On some integral identities. Uspekhi Mat. Nauk [Russian Math. Surveys] 57:3 (2002), 153-154.  MR 1918865 |  Zbl 1058.11057
[Zu1] W. Zudilin, Difference equations and the irrationality measure of numbers. Collection of papers: Analytic number theory and applications, Trudy Mat. Inst. Steklov [Proc. Steklov Inst. Math.] 218 (1997), 165-178.  MR 1642377 |  Zbl 0910.11032
[Zu2] W. Zudilin, Irrationality of values of Riemann's zeta function. Izv. Ross. Akad. Nauk Ser. Mat. [Russian Acad. Sci. Izv. Math.] 66:3 (2002), 49-102.  MR 1921809 |  Zbl 01930695
[Zu3] W.V. Zudilin, One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational. Uspekhi Mat. Nauk [Russian Math. Surveys] 56:4 (2001), 149-150.  Zbl 1047.11072
[Zu4] W. Zudilin, Arithmetic of linear forms involving odd zeta values. J. Théor. Nombres Bordeaux, to appear. Cedram |  MR 2145585 |  Zbl 02184645
[Zu5] W. Zudilin, An elementary proof of Apérys theorem. E-print math.NT/0202159 (February 2002). arXiv