Séries hypergéométriques et irrationalité des valeurs de la fonction zêta de Riemann
Journal de théorie des nombres de Bordeaux, Volume 15 (2003) no. 1, p. 351-365

In this survey, we present some known results in diophantine theory of values of the Riemann zeta function at integers. In particular, we will emphasise the importance of hypergeometric series in the proofs of the irrationality of ζ(2),ζ(3) and of infinitely many ζ(2n+1)s.

Nous effectuons un survol des résultats connus sur la nature diophantienne des valeurs de la fonction zêta de Riemann aux entiers. Nous mettons en particulier l’accent sur le rôle important des séries hypergéométriques dans les démonstrations de l’irrationalité de ζ(2),ζ(3) et d’une infinité des nombres ζ(2n+1).

@article{JTNB_2003__15_1_351_0,
     author = {Rivoal, Tanguy},
     title = {S\'eries hyperg\'eom\'etriques et irrationalit\'e des valeurs de la fonction z\^eta de Riemann},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     publisher = {Universit\'e Bordeaux I},
     volume = {15},
     number = {1},
     year = {2003},
     pages = {351-365},
     zbl = {1041.11051},
     mrnumber = {2019020},
     language = {fr},
     url = {http://www.numdam.org/item/JTNB_2003__15_1_351_0}
}
Rivoal, Tanguy. Séries hypergéométriques et irrationalité des valeurs de la fonction zêta de Riemann. Journal de théorie des nombres de Bordeaux, Volume 15 (2003) no. 1, pp. 351-365. http://www.numdam.org/item/JTNB_2003__15_1_351_0/

[Ap1] R. Apéry, Irrationalité de ζ(2) et ζ(3). Astérisque 61 (1979), 11-13. | Zbl 0401.10049

[Ap2] R. Apéry, Interpolation de fractions continues et irrationalité de certaines constantes. Bulletin de la section des sciences du C.T.H.S III (1981), 37-53. | MR 638730 | Zbl 0463.10024

[Ba] K. Ball, communications personnelles du 17/12/1999 et du 04/01/ 2000.

[BR] K. Ball, T. Rivoal, Irrationalité d'une infinité de valeurs de la fonction zêta aux entiers impairs. Invent. Math. 146 (2001), 193-207. | MR 1859021 | Zbl 1058.11051

[Be1] F. Beukers, A note on the irrationality of ζ(2) and ζ(3). Bull. Lond. Math. Soc. 11 (1979), 268-272. | Zbl 0421.10023

[Be2] F. Beukers, The values of Polylogarithms. Topics in classical number theory, Vol. I, II (Budapest, 1981), 219-228, Colloq. Math. Soc. János Bolyai, 34, North-Holland, Amsterdam, 1984. | MR 781140 | Zbl 0545.10022

[Be3] F. Beukers, Padé approximations in Number Theory. Padé approximation and its applications, Amsterdam 1980 (Amsterdam, 1980), pp. 90-99, Lecture Notes in Math., 888, Springer, Berlin-New York, 1981. | MR 649087 | Zbl 0478.10016

[Ch] G.V. Chudnovski, On the method of Thue-Siegel. Ann. of Math. 117 (1983), 325-382. | MR 690849 | Zbl 0518.10038

[Coh] H. Cohen, Démonstration de l'irrationalité de ζ(3) (d'après Apéry). Séminaire de Théorie des Nombres de Grenoble (1978), VI.1-VI.9.

[Cop] E.T. Copson, Asymptotic expansions. Cambridge University Press, 1967. | MR 2139829 | Zbl 0123.26001

[Di] J. Dieudonné, Calcul infinitésimal. Collection "Méthodes", Hermann, 1980. | MR 226971 | Zbl 0497.26004

[Di] S. Fischler, T. Rivoal, Approximants de Padé et séries hypergéométriques équilibrées, à paraître à J. Math. Pures Appl. (2003). | MR 2020926 | Zbl 1064.11053

[Gu] L.A. Gutnik, The irrationality of certain quantities involving ζ(3). Russ. Math. Surv. 34 (1979), no. 3, 200. En russe dans Acta Arith. 42 (1983), 255-264. | Zbl 0437.10015

[Ha] M. Hata, Legendre type polynomials and irrationality measures. J. Reine Angew. Math. 407 (1990), 99-125. | MR 1048530 | Zbl 0692.10034

[Hu] M. Huttner, Équations différientielles fuchsiennes ; Approximations du dilogarithme, de ζ(2) et ζ(3). Pub. IRMA. Lille, 1997.

[Li] F. Lindemann, Über die Zalh π, Math. Ann. 20 (1882), 213-225. | JFM 14.0369.04

[Ne1] Yu V. Nesterenko, On the linear independence of numbers. Mosc. Univ. Math. Bull.40 (1985), 69-74, traduction de Vest. Mosk. Univ. Ser. I (1985), 46-54. | MR 783238 | Zbl 0572.10027

[Ne2] Yu. V. Nesterenko, A few remarks on ζ(3), Math. Notes 59 (1996), no. 6, 625-636. | Zbl 0888.11028

[Ni] E.M. Nikishin, On the irrationality of the values of the functions F(x, s). Mat. Sbornik 37 (1979), no. 3, 381-388. | Zbl 0441.10031

[Nϕ] N.E. Nørlund, Hypergeometric functions. Acta Math. 94 (1955), 289-349. | Zbl 0067.29402

[Pr] M. Prévost, A new proof of the irrationality of ζ(3) using Padé approximants. J. Comp. Appl. Math. 67 (1996), 219-235. | Zbl 0855.11037

[RV1] G. Rhin, C. Viola, On a permutation group related to ζ(2). Acta Arith. 77 (1996), 23-56. | Zbl 0864.11037

[RV2] G. Rhin, C. Viola, The group structure for ζ(3). Acta Arith. 97 (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 331 (2000), 267-270. | MR 1787183 | Zbl 0973.11072

[Ri2] T. Rivoal, Au moins un des neuf nombres ζ(5), ζ(7),...,ζ(21) est irrationnel. Acta Arith. 103 (2002), 157-167. | Zbl 1015.11033

[Ri3] T. Rivoal, Propriétés diophantiennes des valeurs de la fonction zêta aux entiers impairs. Thèse de doctorat, Université de Caen, 2001.

[RZ] T. Rivoal, W. Zudilin, Diophantine properties of numbers related to Catalan's constant, à paraître à Math. Ann. (2003). | Zbl 1028.11046

[Ru] E.A. Rukhadze, A lower bound for the approximation of ln(2) by rationals numbers. Vestnik Moskov. Univ. Ser I Mat. Mekh 6 (1987), 25-29 (en russe). | MR 922879 | Zbl 0635.10025

[SI] L.J. Slater, Generalized Hypergeometric Functions. Cambridge University Press, 1966. | MR 201688 | Zbl 0135.28101

[So] V.N. Sorokin, Apéry's Theorem. Mosc. Univ. Math. Bull. 53 (1998), no. 3, 48-52. | MR 1708549 | Zbl 1061.11501

[VdP] A. Van Der Poorten, A proof that Euler missed ... Apéry's proof of the irrationality of ζ(3). Math. Intellig. 1 (1979), 195-203. | Zbl 0409.10028

[Wa] M. Waldschmidt, Valeurs zêtas multiples. Une introduction. J. Théor. Nombres Bordeaux 12 (2000), 581-595. | Numdam | MR 1823204 | Zbl 0976.11037

[Zu1] W. Zudilin, Irrationality of values of zeta-function, à paraître à Izv. Ross. Akad. Nauk. Ser. Mat.

[Zu2] W. Zudilin, Arithmetic of linear forms involving odd zeta values, prépublication, Moscow Lomonosov State University, 2001.

[Zu3] W. Zudilin, An elementary proof of Apéry's theorem, (2002) ; http://front.math.ucdavis.edu/math.NT/0202159