Irrationality of _q(1) and _q(2)

From MaRDI portal
Publication:996277



Abstract: In this paper we show how one can obtain simultaneous rational approximants for zetaq(1) and zetaq(2) with a common denominator by means of Hermite-Pade approximation using multiple little q-Jacobi polynomials and we show that properties of these rational approximants prove that 1, zetaq(1), zetaq(2) are linearly independent over the rationals. In particular this implies that zetaq(1) and zetaq(2) are irrational. Furthermore we give an upper bound for the measure of irrationality.


The article under review considerably extends the method of the second author from [\textit{W.~Van Assche}, Ramanujan J. 5, No.~3, 295--310 (2001; Zbl 1035.11032)] to use classical \(q\)-orthogonal polynomials in constructing rational approximations for certain \(q\)-series and proving arithmetic results for the values of the series. The main result of the present article is the linear independence over~\(\mathbb Q\) of the numbers \[ 1, \quad \zeta_q(1)=\sum_{n=1}^\infty\frac{q^n}{1-q^n} \quad\text{and}\quad \zeta_q(2)=\sum_{n=1}^\infty\frac{nq^n}{1-q^n} \] for \(q=1/p\), where \(p\in\{2,3,\dots\}\). This result is also obtained in the recent papers [\textit{P.~Bundschuh} and \textit{K.~Väänänen}, Result. Math. 47, No.~1-2, 33--44 (2005; Zbl 1128.11035); \textit{W.~Zudilin}, Zap. Nauchn. Semin. POMI 322, 107--124 (2005; Zbl 1088.11052)] but by different methods, although the constructed approximations are the same.



Cites work









This page was built for publication: Irrationality of \(\zeta _{q}(1)\) and \(\zeta _{q}(2)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q996277)