On simultaneous Diophantine approximations to \(\zeta(2)\) and \(\zeta(3)\) (Q741691)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On simultaneous Diophantine approximations to \(\zeta(2)\) and \(\zeta(3)\) |
scientific article |
Statements
On simultaneous Diophantine approximations to \(\zeta(2)\) and \(\zeta(3)\) (English)
0 references
12 September 2014
0 references
The authors construct simultaneous rational approximations to both \(\zeta(2)\) and \(\zeta(3)\) using hypergeometric tools. They prove that if \(\eta>0\) and \(\varepsilon>0\) are given, and \(m\) is sufficiently large with respect to \(\varepsilon\) and \(\eta\), then \(|a_0+ a_1\zeta(2)|> e^{-(s_0+ \eta)m}\) with \(s_0= 6.770732145\dots\), where \((a_0,a_1,a_3)\in \mathbb{Q}^3\setminus\{0\}\) satisfies certain strong divisibility conditions, and \(|a_0|,|a_1|,|a_2|\leq e^{-(\tau_0+\varepsilon)m}\) with \(\tau_0= 0.899668635\dots\). This result implies the irrationality of both \(\zeta(2)\) and \(\zeta(3)\), does not give however the expected linear independence of 1, \(\zeta(2)\) and \(\zeta(3)\). Moreover, the authors further introduce a new notion of simultaneous Diophantine exponent, and give the basic properties of this new concept, and compare it with the classical irrationality exponent and \textit{S. Fischler}'s \(\psi\)-exponent of irrationality [Indag. Math., New Ser. 20, No. 2, 201--215 (2009; Zbl 1198.11057)].
0 references
irrationality
0 references
Diophantine approximation
0 references
irrationality exponent
0 references
hypergeometric series
0 references
hypergeometric integral
0 references
algorithm of creative telescoping
0 references