arXiv++ Combinatorics

small In this paper, we define $q$-analogues of Dirichlet's beta function at positive integers, which can be written as $β_q(s)=\sum_{k\geq1}\sum_{d|k}χ(k/d)d^{s-1}q^k$ for $s\in\N^*$, where $q$ is a complex number such that $|q|<1$ and $χ$ is the non trivial Dirichlet character modulo 4. For odd $s$, these expressions are connected with the automorphic world, in particular with Eisenstein series of level 4. From this, we derive through Nesterenko's work the transcendance of the numbers $β_q(2s+1)$ for $q$ algebraic such that $0<|q|<1$. Our main result concerns the nature of the numbers $β_q(2s)$: we give a lower bound for the dimension of the vector space over $\Q$ spanned by $1,β_q(2),β_q(4),...,β_q(A)$, where $1/q\in\Z\setminus\{-1;1\}$ and $A$ is an even integer. As consequences, for $1/q\in\Z\setminus\{-1;1\}$, on the one hand there is an infinity of irrational numbers among $β_q(2),β_q(4),...$, and on the other hand at least one of the numbers $β_q(2),β_q(4),..., β_q(20)$ is irrational.

In this paper, we focus on a q-analogue of the Riemann zeta function at positive integers, which can be written for s\in\N^* by ζ_q(s)=\sum_{k\geq 1}q^k\sum_{d|k}d^{s-1}. We give a new lower bound for the dimension of the vector space over \Q spanned, for 1/q\in\Z\setminus\{-1;1\} and an even integer A, by 1,ζ_q(3),ζ_q(5),...,ζ_q(A-1). This improves a recent result of Krattenthaler, Rivoal and Zudilin (\emph{Séries hypergéométriques basiques, q-analogues des valeurs de la fonction zeta et séries d'Eisenstein}, J. Inst. Jussieu {\bf 5}.1 (2006), 53-79). In particular, a consequence of our result is that for 1/q\in\Z\setminus\{-1;1\}, at least one of the numbers ζ_q(3),ζ_q(5),ζ_q(7),ζ_q(9) is irrational.