×

On the irrationality measure of \(\zeta (2)\). (English) Zbl 0776.11036

The authors provide an effective irrationality measure \(7.398\ldots\) for \(\zeta(2)\). This implies the irrationality measure \(14.796\ldots\) for \(\pi\). To obtain this measure the authors construct a sequence of approximations via integrals of the form \(\int_ 0^ 1\int_ 0^ 1 H(x,y)(1-xy)^{-n-1} dx dy\). The main part of the paper is devoted to the study of the asymptotics of this integral and to an optimal choice for \(H(x,y)\). In [Acta Arith. 63, 335-349 (1993; Zbl 0776.11033)]M. Hata gives the irrationality measure \(8.0161\) using an entirely different method.

MSC:

11J82 Measures of irrationality and of transcendence

Citations:

Zbl 0776.11033
PDFBibTeX XMLCite
Full Text: DOI Numdam EuDML

References:

[1] [1] and , Legendre polynomials and irrationality, J. reine angew. Math., 318 (1980), 137-155. · Zbl 0425.10039
[2] [2] and , Linear Programming in infinite-dimensional spaces, Wiley-Interscience, 1987. · Zbl 0632.90038
[3] [3] , Irrationalité de &ζ(2) et &ζ(3), Astérisque, 61 (1979), 11-13. · Zbl 0401.10049
[4] [4] , A note on the irrationality of &ζ(2) and &ζ(3), Bull. London Math. Soc., 11 (1979), 268-272. · Zbl 0421.10023
[5] [5] and , Padé and rational approximations to systems of functions and their arithmetic applications, Lect. Notes in Math., 1052 (1984), 37-84. · Zbl 0536.10028
[6] [6] and , Transcendental methods and Theta-functions, Proc. Symp. Pure Math., 49 (1989), part 2, 167-232. · Zbl 0679.10026
[7] [7] , Hermite-Padé approximations to exponential functions and elementary estimates of the measure of irrationality of π, Lect. Notes in Math., 925 (1982), 299-322. · Zbl 0518.41014
[8] [8] and , Some remarks on Beukers’ integrals, Colloquia Math. Soc. János Bolyai, 51 (1987), 637-657. · Zbl 0755.11019
[9] [9] , Legendre type polynomials and irrationality measures, J. reine angew. Math., 407 (1990), 99-125. · Zbl 0692.10034
[10] [10] , On the approximation of π, Proc. K. Ned. Akad. Wet. Amsterdam, A 56 (1953), 30-42. · Zbl 0053.36105
[11] [11] , Approximations rationnelles de π et quelques autres nombres, Bull. Soc. Math. France, Mémoire 37 (1974), 121-132. · Zbl 0286.10017
[12] [12] and , A simplex method for function minimization, Computer J., 7 (1965), 308-313. · Zbl 0229.65053
[13] [13] , , , , Numerical Recipes. The art of scientific computing, Cambridge University Press, 1986. · Zbl 0587.65003
[14] [14] , Approximants de Padé et mesures effectives d’irrationalité, Progr. in Math., 71 (1987), 155-164. · Zbl 0632.10034
[15] [15] , A lower bound for the approximation of ln 2 by rational numbers (Russian), Vestnik Moskov Univ., Ser 1 Math. Mekh., 6 (1987), 25-29. · Zbl 0635.10025
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.