A $q$-analog of the Bailey-Borwein-Bradley identity

Khodabakhsh Hessami Pilehrood,Tatiana Hessami Pilehrood
DOI: https://doi.org/10.48550/arXiv.0903.2843
2009-03-17
Abstract:We establish a $q$-analogue of the Bailey-Borwein-Bradley identity generating accelerated series for even zeta values and prove $q$-analogues of Markov's and Amdeberhan's series for $\zeta(3)$ using the $q$-Markov-WZ method.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is how to establish the q - analogues of the Bailey - Borwein - Bradley identities and prove the q - analogues of the Markov formula (1) and the Amdeberhan formula (3), which are used to generate series with accelerated convergence for calculating zeta values. Specifically, the paper focuses on how to use the q - Markov - WZ method to achieve this goal. ### Overview of Main Content: 1. **Riemann Zeta Function and Apéry - like Formulas**: - The Riemann zeta function is defined as: \[ \zeta(s)=\sum_{n = 1}^{\infty}\frac{1}{n^s},\quad\text{for}\,\Re(s)>1 \] - Apéry proved the irrationality of \(\zeta(3)\) through a rapidly convergent series: \[ \zeta(3)=\frac{5}{2}\sum_{k = 1}^{\infty}\frac{(-1)^{k - 1}}{k^3\binom{2k}{k}} \] 2. **Existing Identities and Their q - Analogues**: - Bailey, Borwein and Bradley gave the generating function identities for even zeta values. - The goal of the paper is to establish the q - analogues of these identities, especially for the accelerated series of odd zeta values. 3. **q - Markov - WZ Method**: - Use the q - Markov - WZ method to construct the q - analogue Markov pairs (F, G) to prove the q - analogue identities. - The q - Markov - WZ method involves q - hypergeometric terms and P - recursive functions, ensuring that F(n,k) and G(n,k) satisfy specific difference equations. 4. **Specific Results**: - The q - analogues of the Bailey - Borwein - Bradley identities are established. - The q - analogues of the Markov formula (1) and the Amdeberhan formula (3) are proved, which are used to generate series with accelerated convergence for calculating \(\zeta(3)\). ### Key Formulas and Conclusions: - **q - Analogue of the Bailey - Borwein - Bradley Identity**: \[ \sum_{k = 0}^{\infty}\zeta_q[2k + 2]a^{2k}=\sum_{n = 1}^{\infty}\frac{q^n}{[n]_q^2 - a^2q^{2n}}=\sum_{n = 1}^{\infty}\frac{q^{n^2}(1 + 2q^n)\binom{2n}{n}_q}{[n]_q([n]_q^2 - a^2q^{2n})}\prod_{m = 1}^{n - 1}\frac{[m]_q^2 - a^2(q^{m + 1})^2}{[m]_q^2 - a^2q^{2m}} \] - **q - Analogue of the Markov Formula**: \[ \zeta_q[3]=\sum_{n = 1}^{\infty}\frac{(-1)^{n - 1}q^{\frac{n(3n - 1)}{2}}}{\binom{2n}{n}_q[n]_q^3(1 + q^n)}\left(\frac{q^n + 2q^{2n}+2q^{3n}}{1}+n(1 - q)\left(\frac{(1 + 2q^n)[n]_q+q^{2n - 1}[2n + 1]_q+q^{4n - 2}}{[2n - 1]_q}\right)\right) \] Through these works, the paper not only extends the existing Apéry - like formulas to q - analogues, but also provides a new tool for studying rapidly convergent series of zeta values.