Skip to content

Advertisement

  • Research
  • Open Access

Some results on q-harmonic number sums

Advances in Difference Equations20182018:24

https://doi.org/10.1186/s13662-018-1480-7

  • Received: 2 October 2017
  • Accepted: 7 January 2018
  • Published:

Abstract

In this paper, we establish some relations involving q-Euler type sums, q-harmonic numbers and q-polylogarithms. Then, using the relations obtained with the help of q-analog of partial fraction decomposition formula, we develop new closed form representations of sums of q-harmonic numbers and reciprocal q-binomial coefficients. Moreover, we give explicit formulas for several classes of q-harmonic sums in terms of q-polylogarithms and q-harmonic numbers. The given representations are new.

Keywords

  • q-harmonic number
  • q-binomial coefficient
  • q-polylogarithm function

MSC

  • 05A30
  • 65B10
  • 33D05
  • 11M99
  • 11M06
  • 11M32

1 Introduction and preliminaries

Let \(k,r,m_{1},m_{2},\ldots,m_{r}\) be positive integers and \(p\in \mathbb{N}_{0}:=\{ 0,1,2,\ldots\}\) with \(p+k>1\). The Euler type sums \({W_{k}}( {{m_{1}},{m_{2}}, \ldots,{m_{r}},p} )\) involving harmonic numbers and binomial coefficients are defined by the convergent series [1]
$$\begin{aligned} W_{k}(\mathbf{ m};p)={W_{k}}( {{m_{1}},{m_{2}}, \ldots,{m_{r}};p} ):= \sum_{n = 1}^{\infty}{\frac{{H_{n}^{( {{m_{1}}} )}H_{n}^{( {{m_{2}}} )} \cdots H_{n}^{( {{m_{r}}} )}}}{{{n^{p}}\bigl({\scriptsize\begin{matrix}{} {n + k} \cr k \end{matrix}} \bigr)}}}, \end{aligned}$$
(1.1)
where \(H^{(m)}_{n}\) stands for the nth generalized harmonic number defined by
$$\begin{aligned} H^{(m)}_{n}:=\sum_{j=1}^{n} \frac{1}{j^{m}}\quad \bigl(n, k \in \mathbb{N}:=\{ 1,2,3,\ldots\}\bigr), \end{aligned}$$
(1.2)
the quantity \(w:=m_{1}+m_{2}+\cdots+m_{r}+p+k\) and the quantity r are called the weight and the degree of (1.1), respectively. The empty sum \(H^{(m)}_{0}\) is conventionally understood to be zero. When \(m=1\), then \(H_{n}:=H_{n}^{(1)}\) is called a classical harmonic number. As usual, we let \(\{a\}_{k}\) be the k repetitions such that
$$W\bigl( {a,{{\{ m \}}_{r}},b;p} \bigr) = W( {a,\underbrace{m, \ldots,m}_{r},b;p} ). $$
There are many results for sums of harmonic numbers with positive terms. For example, in [1], Xu et al. proved the result
$$\begin{aligned} W_{k}\bigl(\{1\}_{2};1\bigr)= \sum _{r = 1}^{k} ( { - 1} )^{ r+1} \begin{pmatrix} k \\ r \end{pmatrix} \left\{ \textstyle\begin{array}{@{}l@{}} 3\zeta( 3 ) + \frac{{H_{r}^{3} + 3{H_{r}}{H^{(2)} _{r}} + 2{H^{(3)} _{r}}}}{3} \\ \quad{}- \frac{{H_{r}^{2} + {H^{(2)} _{r}}}}{r} - \sum_{i = 1}^{r - 1} {\frac{{{H_{i}}}}{{{i^{2}}}}} + \zeta( 2 ){H_{r - 1}} \end{array}\displaystyle \right\} \quad (k\in \mathbb{N}). \end{aligned}$$
(1.3)
Sofo also obtained many other identities involving harmonic numbers and central binomial coefficients. For instance, in [2], Sofo gave the following identity:
$$\begin{aligned} W_{k}\bigl(\{1\}_{2};0\bigr)= \frac{k}{{k - 1}}\biggl( { \zeta( 2 ) - H_{k - 1}^{( 2 )} + \frac{2}{{{{( {k - 1} )}^{2}}}}} \biggr) \quad (2 \le k \in \mathbb{N}), \end{aligned}$$
(1.4)
where \(\zeta(p)\) stands for the classical Riemann zeta function defined by [3]
$$\zeta( p ):= \sum_{n = 1}^{\infty}{ \frac {1}{{{n^{p}}}}}\quad \bigl(\Re(p)>1\bigr). $$
There are many works investigating sums of both harmonic numbers and binomial coefficients (see, for example, [1, 2, 46] and the references therein).
If \(k=0\) in (1.1), then
$$\begin{aligned} W_{0}(\mathbf{ m};p)={W_{0}}( {{m_{1}},{m_{2}}, \ldots,{m_{r}};p} ): = \sum_{n = 1}^{\infty}{\frac{{H_{n}^{( {{m_{1}}} )}H_{n}^{( {{m_{2}}} )} \cdots H_{n}^{( {{m_{r}}} )}}}{{{n^{p}}}}}, \end{aligned}$$
(1.5)
which is just the classical Euler sums \(S_{\mathbf{ m,p}}\) defined in [7], where \(\mathbf{ m}:=(m_{1},m_{2},\ldots,m_{r})\). The study of Euler sums \(W_{0}(\mathbf{ m};p)\) was started by Euler. Euler’s original contribution was a method to reduce double sums \(W_{0}({p};q)\) (or \(S_{p,q}\)) to certain rational linear combinations of products of zeta values. Examples for such evaluations, all due to Euler, are as follows:
$$\begin{aligned} &{W_{0}}( {1;3} ) = \frac{5}{4}\zeta( 4 ),\qquad {W_{0}}( {1;4} ) = 3\zeta( 5 ) - \zeta ( 2 )\zeta( 3 ), \\ &{W_{0}}( {2;4} ) = {\zeta^{2}}( 3 ) - \frac {1}{3} \zeta( 6 ), \qquad {W_{0}}( {2;5} ) = 5\zeta( 2 )\zeta( 5 ) + 2\zeta( 3 ) \zeta( 4 ) - 10\zeta( 7 ). \end{aligned}$$
After that many different methods, including partial fraction expansions, Eulerian beta integrals, summation formulas for generalized hypergeometric functions and contour integrals, have been used to evaluate these sums. The relationship between the values of the Riemann zeta function and the classical Euler sums \(W_{0}(\mathbf{ m};p)\) (or \(S_{\mathbf{ m};p}\)) has been studied by many authors (for example, see [716] and the references therein).
So far, surprisingly little work has been done on q-analogues of Euler sums. We begin with some basic notation. Let q be a real number with \(0 < q < 1\). The q-analogue of a non-negative integer n is defined as
$${n_{q}} = {[ n ]_{q}}:= \sum _{k = 0}^{n - 1} {{q^{k}}} = \frac{{1 - {q^{n}}}}{{1 - q}}. $$
For any real number a, put
$${( a )_{0}}: = {( {a;q} )_{0}} = 1\quad \text{and}\quad {( a )_{n}}: = {( {a;q} )_{n}}: = \prod _{k = 1}^{n} {\bigl( {1 - a{q^{k - 1}}} \bigr)} ,\quad n \ge1. $$
Let \(n,m\) denote integers. Then the Gaussian q-binomial coefficient is defined by
$$\begin{aligned} \left[ \begin{matrix} n \\ m \end{matrix} \right]_{q}: = \frac{{{{( q )}_{n}}}}{{{{( q )}_{m}}{{( q )}_{n - m}}}} = \frac{{{{[ n ]}_{q}}!}}{{{{[ m ]}_{q}}!{{[ {n - m} ]}_{q}}!}}, \end{aligned}$$
(1.6)
where \(0 \leq m \leq n\) and \({[ n ]_{q}}! = {[ 1 ]_{q}}{[ 2 ]_{q}} \cdots{[ n ]_{q}}\) with \({[ {\scriptsize\begin{matrix}{} n \cr 0 \end{matrix}} ]_{q}}=1\).
For non-negative integers \(n,s\) and \(m\in \mathbb{N}\), define q-analogues of harmonic numbers
$${\zeta_{n}}\bigl[ {m,{q^{s}}} \bigr]: = \sum _{j = 1}^{n} {\frac {{{q^{sj}}}}{{[ j ]_{q}^{m}}}}, $$
with the convention that \({\zeta_{0}}[ {m,{q^{s}}} ]:= 0\). When \(s=0\) and 1, we use the following notations (see [17]):
$$[ {{H_{n}}} ]: = {\zeta_{n}}[ 1 ] = {\zeta _{n}}[ {1,1} ] $$
and
$${\zeta_{n}}[ m ]: = {\zeta_{n}}[ {m,1} ], \qquad\bigl[ {H_{n}^{( m )}} \bigr]: = {\zeta_{n}}[ {m,q} ]. $$
Similar as in the definition of classical Euler sum \(W_{0}({\mathbf{ m};p})\) (or \(S_{\mathbf{ m};p}\)), the q-analogues of Euler sum of index \(\mathbf{ m}:=(m_{1},\ldots,m_{r}),\mathbf{ s}:=(s_{1},\ldots,s_{r})\) with \(p>1\) are defined by
$$\begin{aligned} W_{0,t}^{( \mathbf {s} )}[ {\mathbf{ m};p} ]: = \sum _{n = 1}^{\infty}{\frac{{{\zeta_{n}}[ {{m_{1}},{q^{{s_{1}}}}} ]{\zeta_{n}}[ {{m_{2}},{q^{{s_{2}}}}} ] \cdots{\zeta _{n}}[ {{m_{r}},{q^{{s_{r}}}}} ]}}{{{{( {{{[ n ]}_{q}}} )}^{p}}}}{q^{tn}}}, \end{aligned}$$
(1.7)
where \(s_{i}\in \mathbb{N}_{0},m_{i}\in \mathbb{N}\ (i=1,2,\ldots,r)\) and \(r,t\in \mathbb{N}\), the quantities \(w:=m_{1}+m_{2}+\cdots+m_{r}+p+k\) and r are called the weight and the degree of \(W_{0,t}^{( \mathbf {s} )}[ {\mathbf{ m};p} ]\), respectively. There are fewer results for sums of the type (1.7). Some related results for q-Euler type sums and related sums (e.g. q-L-function and q-multiple zeta values) may be seen in the works of [1737] and the references therein. For example, in [17], Xu et al. gave the following identity:
$$W_{0,1}^{(0)}[1;s] = \mathrm{ Li} {_{s + 1}}[ q ] + \frac {s}{2}\mathrm{ Li} {_{s + 1}}\bigl[ {{q^{2}}} \bigr] - \frac{1}{2}\sum_{j = 2}^{s - 1} { \mathrm{ Li} {_{j}}[ q ]\mathrm{ Li} {_{s + 1 - j}}[ q ]},\quad 2\leq s \in \mathbb{N}. $$
Examples for such evaluation are as follows:
$$\sum_{n = 1}^{\infty}{\frac{{[{H_{n}}]}}{{n_{q}^{2}}}} {q^{n}} = \mathrm{ Li} {_{3}}[ q ] + \mathrm{ Li} {_{3}}\bigl[ {{q^{2}}} \bigr], \qquad\sum _{n = 1}^{\infty}{\frac{{[{H_{n}}]}}{{n_{q}^{3}}}} {q^{n}} = \frac{3}{2}\mathrm{ Li} {_{4}}\bigl[ {{q^{2}}} \bigr] + \mathrm{ Li} {_{4}}[ q ] - \frac{1}{2}\mathrm{ Li}_{2}^{2}[ q ]. $$
Furthermore, they proved the following conclusion: for positive integer \(s\geq2\), the quadratic sum \(W_{0,1}^{( {0,0} )}[ {{\{ 1 \}}_{2}};s ]\) and the cubic combination sum \(W_{0,1}^{( {0,0,0} )}[ {{\{ 1 \} }_{3}}; s ] - 3W_{0,1}^{( {0,0} )}[ 1,2; s ]\) are reducible to linear q-Euler sums and to polynomials in q-polylogarithms. In particular, we have
$$\begin{aligned} W_{0,1}^{(0,0)}\bigl(\{1\}_{2};2\bigr)= \frac{7}{2}\mathrm{{L}} {\mathrm{{i}}_{4}}\bigl[ {{q^{2}}} \bigr] + 2\mathrm{{L}} {\mathrm{{i}}_{4}}[ q ] - \frac {1}{2}\mathrm{{Li}}_{2}^{2}[ q ] - ( {1 - q} ) \bigl( {\mathrm{{L}} {\mathrm{{i}}_{3}}\bigl[ {{q^{2}}} \bigr] + \mathrm{{L}} {\mathrm{ {i}}_{3}}[ q ]} \bigr). \end{aligned}$$
(1.8)
The q-analogues of polylogarithm function \(\mathrm{ Li}_{m}[x]\) and linear q-Euler sum \(W_{0,t}^{( s )}[ {m;p} ]\) are defined by
$$\begin{aligned} &\mathrm{ Li} {_{m}}[ x ]:= \sum_{n = 1}^{\infty}{\frac {{{x^{n}}}}{{[n]_{q}^{m}}}},\quad \vert x \vert < 1, \end{aligned}$$
(1.9)
$$\begin{aligned} &W_{0,t}^{( s )}[ {m;p} ]: = \sum_{n = 1}^{\infty}{\frac{{{\zeta_{n}}[ {m,{q^{s}}} ]}}{{[ n ]_{q}^{p}}}{q^{tn}}}, \end{aligned}$$
(1.10)
where \(t,m\in \mathbb{N}\), \(s\in \mathbb{N}_{0}\) and \(p>1\).
In this paper we will develop identities, closed form representations of q-harmonic numbers and reciprocal q-binomial coefficients of the form:
$$\begin{aligned} W_{k,t}^{( {{s_{1}}, \ldots,{s_{r}}} )}[ {{m_{1}},{m_{2}}, \ldots,{m_{r}};p} ]: = \sum_{n = 1}^{\infty}{\frac {{{\zeta_{n}}[ {{m_{1}},{q^{{s_{1}}}}} ]{\zeta_{n}}[ {{m_{2}},{q^{{s_{2}}}}} ] \cdots{\zeta_{n}}[ {{m_{r}},{q^{{s_{r}}}}} ]}}{{{{{{{[ n ]}^{p}_{q}}}}}{{\bigl[{\scriptsize\begin{matrix}{} {n + k} \cr k \end{matrix}} \bigr]}_{q}}}}{q^{tn}}}, \end{aligned}$$
(1.11)
for \(p=0\) and 1 with \(t=k\) and \(k-1\). Here, \(s_{i}\in \mathbb{N}_{0},m_{i}\in \mathbb{N}\ (i=1,2,\ldots,r)\) and \(k,r\in \mathbb{N}\). We show that the linear sums \(W_{k,k}^{(m-1)}[m;1]\) is a rational linear combination of products of q-harmonic numbers and q-polylogarithms, and we give an explicit formula. We also provide explicit evaluations of quadratic sum \(W_{k,k}^{(0,0)}[\{1\}_{2};1]\) in a closed form in terms of q-polylogarithms, q-harmonic numbers and q-rational series. Furthermore, we prove that the cubic sum \(W_{k,k}^{(0,0,0)}[\{1\}_{3};1]\) is expressible in terms of q-polylogarithms, q-harmonic numbers and q-rational series. Letting q approach 1, we can find that the q-Euler type sum \(W_{k,t}^{( \mathbf{ s} )}[ {\mathbf{ m};p} ]\) converges to the classical Euler type sums \(W_{k}( {\mathbf{ m};p} )\), namely
$$\mathop{\lim} _{q \to1} W_{k,t}^{( {{s_{1}}, \ldots ,{s_{r}}} )}[ {{m_{1}},{m_{2}}, \ldots,{m_{r}};p} ] = {W_{k}}( {{m_{1}},{m_{2}}, \ldots,{m_{r}};p} ). $$
Next, we prove a lemma which will be useful in the development of the main theorems.

Lemma 1.1

For positive integers \(m, r, k\) and \(r< k\), then
$$\begin{aligned} &\sum_{n = 1}^{\infty}{\frac{{{q^{mn}}}}{{[ {n + r} ]_{q}^{m}{{[ {n + k} ]}_{q}}}}} \\ &\quad= \sum_{j = 1}^{m - 1} {\frac{{{{( { - 1} )}^{j - 1}}}}{{[ {k - r} ]_{q}^{j}{q^{rj}}}} \mathrm{{L}} {\mathrm{{i}}_{m - j + 1}}\bigl[ {{q^{m - j}},r} \bigr] + \frac{{{{( { - 1} )}^{m - 1}}}}{{[ {k - r} ]_{q}^{m}{q^{rm}}}}} \bigl\{ {\bigl[ {H_{k}^{( 1 )}} \bigr] - \bigl[ {H_{r}^{( 1 )}} \bigr]} \bigr\} , \end{aligned}$$
(1.12)
where the q-special function \(\mathrm{ Li}_{p}[x,a]\) is defined by
$$\begin{aligned} \mathrm{{L}} {\mathrm{{i}}_{p}}[ {x,a} ]: = \sum _{n = 1}^{\infty}{\frac{{{x^{n}}}}{{[ {n + a} ]_{q}^{p}}}}, \quad \vert x \vert < 1, p\in \mathbb{N}. \end{aligned}$$
(1.13)

Proof

By a simple calculation, the sum on the left-hand side of (1.12) is equal to
$$\begin{aligned} \sum_{n = 1}^{\infty}{\frac{{{q^{mn}}}}{{[ {n + r} ]_{q}^{m}{{[ {n + k} ]}_{q}}}}} ={}& \sum_{j = 1}^{m - 1} {\frac{{{{( { - 1} )}^{j - 1}}}}{{[ {k - r} ]_{q}^{j}{q^{rj}}}}\sum _{n = 1}^{\infty}{\frac {{{q^{( {m - j} )n}}}}{{[ {n + r} ]_{q}^{m - j + 1}}}} } \\ & {}+ \frac{{{{( { - 1} )}^{m - 1}}}}{{[ {k - r} ]_{q}^{m - 1}{q^{r( {m - 1} )}}}}\sum_{n = 1}^{\infty}{ \frac{{{q^{n}}}}{{{{[ {n + r} ]}_{q}}{{[ {n + k} ]}_{q}}}}}. \end{aligned}$$
(1.14)
On the other hand, we note that, for \(N>k>r\geq1\) and \(N,k,r\in \mathbb{N}\),
$$\begin{aligned} \sum_{n = 1}^{\infty}{\frac{{{q^{n}}}}{{{{[ {n + r} ]}_{q}}{{[ {n + k} ]}_{q}}}}} &= \frac{1}{{{{[ {k - r} ]}_{q}}{q^{r}}}}\sum_{n = 1}^{\infty}{\biggl\{ {\frac{1}{{{{[ {n + r} ]}_{q}}}} - \frac{1}{{{{[ {n + k} ]}_{q}}}}} \biggr\} } \\ &=\frac{1}{{{{[ {k - r} ]}_{q}}{q^{r}}}}\mathop{\lim } _{N \to\infty} \sum _{n = 1}^{N} {\biggl\{ {\frac {1}{{{{[ {n + r} ]}_{q}}}} - \frac{1}{{{{[ {n + k} ]}_{q}}}}} \biggr\} } \\ &= \frac{1}{{{{[ {k - r} ]}_{q}}{q^{r}}}}\Biggl\{ {\frac {1}{{{{[ {r + 1} ]}_{q}}}} + \cdots + \frac{1}{{{{[ k ]}_{q}}}} - \mathop{\lim} _{N \to\infty} \sum_{j = r + 1}^{k} {\frac{1}{{{{[ {N + j} ]}_{q}}}}} } \Biggr\} \end{aligned}$$
(1.15)
and
$$\begin{aligned} \mathop{\lim} _{N \to\infty} {( {N + j} )_{q}} = \mathop{\lim} _{N \to\infty} \frac{{1 - {q^{N + j}}}}{{1 - q}} = \frac{1}{{1 - q}}. \end{aligned}$$
(1.16)
By using the definition of q-harmonic numbers, we have the relations
$$\begin{aligned} &\bigl[ {H_{n}^{( m )}} \bigr] = ( {q - 1} ){ \zeta_{n}}[ {m - 1} ] + {\zeta_{n}}[ m ],\quad m \in \mathbb{N}, \end{aligned}$$
(1.17)
$$\begin{aligned} &\bigl[ {H_{n}^{( 1 )}} \bigr] = [ {{H_{n}}} ] + n( {q - 1} ). \end{aligned}$$
(1.18)
Combining (1.15), (1.16) and (1.18) yields
$$\begin{aligned} \sum_{n = 1}^{\infty}{\frac{{{q^{n}}}}{{{{[ {n + r} ]}_{q}}{{[ {n + k} ]}_{q}}}}} = \frac{1}{{{{[ {k - r} ]}_{q}}{q^{r}}}}\bigl\{ {\bigl[ {H_{k}^{( 1 )}} \bigr] - \bigl[ {H_{r}^{( 1 )}} \bigr]} \bigr\} . \end{aligned}$$
(1.19)
Substituting (1.19) into (1.14) yields the desired result. The proof of Lemma 1.1 is finished. □

2 Main conclusions and proofs

In this section, we will give the main results of the present paper. Firstly, we establish a q-analog of partial fraction decomposition formula by the method of mathematical induction. Secondly, using the Jackson’s q-integral, we prove some relations between q-Euler type sums, q-harmonic numbers and q-polylogarithms. Then we use the formulas obtained to evaluate several infinite series involving q-harmonic numbers.

It is clear that the conclusions which we present here can be seen as an extension of classical Euler type sums given by Sofo and Xu. Letting \(q\rightarrow1\), we obtain many well-known results which are given by Sofo and Xu.

2.1 q-analog of partial fraction decomposition formula

Theorem 2.1

For positive integer m and real x with \(x\neq -1,-2,\ldots,-m\), the following identity holds:
$$\begin{aligned} {{\prod_{i = 1}^{m} {\bigl( {1 - {q^{x + i}}} \bigr)^{-1}} }} = \sum _{i = 1}^{m} {\frac{{{q^{( {1 - m} )x}}}}{{1 - {q^{x + i}}}}\prod _{j = 1,j \ne i}^{m} {\frac{1}{{{q^{i}} - {q^{j}}}}} }. \end{aligned}$$
(2.1)
Notice that the term in the sum for \(m = 1\) is the empty product which is 1, namely, when \(m=1\), we set \(\prod_{j = 1,j \ne1}^{1} ({{{{q^{i}} - {q^{j}}}}})^{-1}: = 1\).

Proof

The proof is by induction on m. For \(m=1\), we have \({\prod_{i = 1}^{1} {( {1 - {q^{x + i}}} )} ^{ - 1}} =({{1 - {q^{x + 1}}}})^{-1}\), and the formula is true. For \(m>1\), we proceed as follows. First assume that formula (2.1) holds for \(m\leq k-1\), we note that
$$\begin{aligned} \frac{1}{{\prod_{i = 1}^{k} {( {1 - {q^{x + i}}} )} }} ={}& \frac{1}{{1 - {q^{x + k}}}} \cdot\frac{1}{{\prod_{i = 1}^{k - 1} {( {1 - {q^{x + i}}} )} }} \\ ={}& \sum_{i = 1}^{k - 1} {\frac{{{q^{( {2 - k} )x}}}}{{( {1 - {q^{x + k}}} )( {1 - {q^{x + i}}} )}} \prod_{j = 1,j \ne i}^{k - 1} {\frac{1}{{{q^{i}} - {q^{j}}}}} } \\ ={}& \sum_{i = 1}^{k - 1} {\frac{{{q^{( {2 - k} )x}}}}{{{q^{x + i}} - {q^{x + k}}}} \biggl\{ {\frac{1}{{1 - {q^{x + i}}}} - \frac{1}{{1 - {q^{x + k}}}}} \biggr\} \prod _{j = 1,j \ne i}^{k - 1} {\frac{1}{{{q^{i}} - {q^{j}}}}} } \\ ={}&\sum_{i = 1}^{k - 1} {\frac{{{q^{( {1 - k} )x}}}}{{1 - {q^{x + i}}}}\prod _{j = 1,j \ne i}^{k} {\frac {1}{{{q^{i}} - {q^{j}}}}} } - \frac{{{q^{( {1 - k} )x}}}}{{1 - {q^{x + k}}}}\sum_{i = 1}^{k - 1} {\prod _{j = 1,j \ne i}^{k} {\frac{1}{{{q^{i}} - {q^{j}}}}} }. \end{aligned}$$
(2.2)
Then, by the induction hypothesis, we have that
$$\begin{aligned} &\frac{1}{{\prod_{i = 1}^{k - 1} {( {1 - {q^{x + i}}} )} }} \\ &\quad = \sum_{i = 1}^{k - 1} { \frac{{{q^{( {2 - k} )x}}}}{{1 - {q^{x + i}}}}\prod_{j = 1,j \ne i}^{k - 1} { \frac{1}{{{q^{i}} - {q^{j}}}}} },\quad x\neq-1,-2,\ldots,-(k-1). \end{aligned}$$
(2.3)
Setting \(x=-k\) in the above equation, we deduce that
$$\begin{aligned} \frac{1}{{\prod_{i = 1}^{k - 1} {( {1 - {q^{i - k}}} )} }} ={}& \frac{{{q^{k( {k - 1} )}}}}{{\prod_{i = 1}^{k - 1} {( {{q^{k}} - {q^{i}}} )} }} = \sum_{i = 1}^{k - 1} {\frac{{{q^{( {k - 2} )k}}}}{{1 - {q^{i - k}}}}\prod_{j = 1,j \ne i}^{k - 1} { \frac {1}{{{q^{i}} - {q^{j}}}}} } \\ ={}& - \sum_{i = 1}^{k - 1} {\frac{{{q^{k( {k - 1} )}}}}{{{q^{i}} - {q^{k}}}} \prod_{j = 1,j \ne i}^{k - 1} {\frac {1}{{{q^{i}} - {q^{j}}}}} }. \end{aligned}$$
Hence, we obtain
$$\begin{aligned} {{\prod_{i = 1}^{k - 1} {\bigl( {{q^{k}} - {q^{i}}} \bigr)^{-1}} }} = - \sum _{i = 1}^{k - 1} {\prod _{j = 1,j \ne i}^{k} {\frac{1}{{{q^{i}} - {q^{j}}}}} }. \end{aligned}$$
(2.4)
Substituting (2.4) into (2.2), we arrive at the conclusion that
$${{\prod_{i = 1}^{k} {\bigl( {1 - {q^{x + i}}} \bigr)^{-1}} }} = \sum _{i = 1}^{k} {\frac{{{q^{( {1 - k} )x}}}}{{1 - {q^{x + i}}}}\prod _{j = 1,j \ne i}^{k} {\frac{1}{{{q^{i}} - {q^{j}}}}} }. $$
The proof of Theorem 2.1 is completed. □

Next, we give a q-analog of partial fraction decomposition formula.

Corollary 2.2

For integer \(m>0\) and real x with \(x\neq\{-1,-2,\ldots ,-m\}\), we have
$$\begin{aligned} {{\prod_{i = 1}^{m} {{{[ {x + i} ]}_{q}}^{-1}} }} = \sum_{i = 1}^{m} {{{( { - 1} )}^{i-1}} {{[ i ]}_{q}} {{ \begin{bmatrix} m \\ i \end{bmatrix}}_{q}}\frac{{{q^{( {1 - m} )x - \frac{i}{2} ( {2m - 1 - i} )}}}}{{{{[ m ]}_{q}}!}}} \cdot \frac {1}{{{{[ {x + i} ]}_{q}}}}, \end{aligned}$$
(2.5)
where \({[ {x + i} ]_{q}}: = \frac{{1 - {q^{x + i}}}}{{1 - q}}\).

Proof

Multiplying (2.1) by \((1-q)^{m}\) and using the definition of \([x+i]_{q}\), we obtain
$$\begin{aligned} \frac{1}{{\prod_{i = 1}^{m} {{{[ {x + i} ]}_{q}}} }} &= \frac{1}{{\prod_{i = 1}^{m} {\frac{{1 - {q^{x + i}}}}{{1 - q}}} }} = \sum_{i = 1}^{m} {\frac{{{q^{( {1 - m} )x}}}}{{\frac{{1 - {q^{x + i}}}}{{1 - q}}}}\prod_{j = 1,j \ne i}^{m} { \frac{1}{{\frac{{{q^{i}} - {q^{j}}}}{{1 - q}}}}} } \\ &= \sum_{i = 1}^{m} {\frac{{{q^{( {1 - m} )x}}}}{{{{[ {x + i} ]}_{q}}}}\prod _{j = 1,j \ne i}^{m} {\frac{1}{{\frac{{{q^{i}} - {q^{j}}}}{{1 - q}}}}} }. \end{aligned}$$
(2.6)
We may rewrite the product on the right-hand side of (2.6) as follows:
$$\begin{aligned} \prod_{j = 1,j \ne i}^{m} {\frac{1}{{\frac{{{q^{i}} - {q^{j}}}}{{1 - q}}}}} &= \prod_{j = 1}^{i - 1} {\frac{1}{{ - {q^{j}}\frac {{1 - {q^{i - j}}}}{{1 - q}}}}} \cdot \prod_{j = i + 1}^{m} {\frac{1}{{{q^{i}}\frac{{1 - {q^{j - i}}}}{{1 - q}}}}} \\ &= \frac{{{{( { - 1} )}^{i - 1}}}}{{{q^{\frac{i}{2} ( {2m - 1 - i} )}}}}\cdot\frac{1}{{{{[ {i - 1} ]}_{q}}!{{[ {m - i} ]}_{q}}!}}. \end{aligned}$$
(2.7)
Combining (2.6) with (2.7), we may deduce the desired result. This completes the proof of Corollary 2.2. □
By using the definition of q-binomial coefficient in (1.6) and combining (2.5) with \(m=k,x=n\) (\(k,n\in \mathbb{N}\)), we have the following expansion:
$$\begin{aligned} \frac{1}{{{{\bigl[ {\scriptsize\begin{matrix}{} {n + k} \cr k \end{matrix}} \bigr]}_{q}}}} = \frac{{{{[ k ]}_{q}}!}}{{\prod_{i = 1}^{k} {{{[ {n + i} ]}_{q}}} }} = \sum_{i = 1}^{k} {{{( { - 1} )}^{i-1}} {{[ i ]}_{q}} {{ \begin{bmatrix} k \\ i \end{bmatrix} }_{q}}} \frac{{{q^{( {1 - k} )n - \frac {i}{2}( {2k - 1 - i} )}}}}{{{{[ {n + i} ]}_{q}}}}. \end{aligned}$$
(2.8)
Similarly, using a similar argument, we can get
$$\begin{aligned} \frac{1}{{{{\bigl[ {\scriptsize\begin{matrix}{} {n + k + r} \cr k \end{matrix}} \bigr]}_{q}}}} = {[ k ]_{q}}\sum_{i = 1}^{k - 1} {{{( { - 1} )}^{i - 1}} {{[ i ]}_{q}} {{ \begin{bmatrix} {k - 1} \\ i \end{bmatrix} }_{q}}} \frac{{{q^{( {2 - k} )( {n + r + 1} ) - \frac{i}{2}( {2k - 3 - i} )}}}}{{{{[ {n + r + 1} ]}_{q}}{{[ {n + r + 1 + i} ]}_{q}}}}, \end{aligned}$$
(2.9)
where \(r\in \mathbb{N}_{0}\) and \(2\leq k\in \mathbb{N}\).

2.2 Identities for q-Euler type sums

Theorem 2.3

For positive integers m and k, the following identity holds:
$$\begin{aligned} \sum_{n = 1}^{\infty}{\frac{{{\zeta_{n}}[ {m,{q^{m - 1}}} ]}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}} = \frac{1}{{{{[ k ]}_{q}}}}\left\{ \textstyle\begin{array}{@{}l@{}} \mathrm{{L}}{\mathrm{{i}}_{m + 1}}[ {{q^{m}}} ] + {( { - 1} )^{m - 1}}\sum_{i = 1}^{k - 1} {\frac{{[ {H_{i}^{( 1 )}} ]}}{{[ i ]_{q}^{m}}}{q^{i}}} \\ \quad{}+ \sum_{j = 1}^{m - 1} {{{( { - 1} )}^{j - 1}}\mathrm{{L}}{\mathrm{{i}}_{m + 1 - j}}[ {{q^{m - j}}} ] [ {H_{k - 1}^{( j )}} ]} \end{array}\displaystyle \right \}. \end{aligned}$$
(2.10)

Proof

By using the Cauchy product of power series and the definition of q-harmonic numbers, we can find that
$$\begin{aligned} \sum_{n = 1}^{\infty}{{\zeta_{n}} \bigl[ {m,{q^{p}}} \bigr]} {x^{n}} = \frac{{\mathrm{{L}}{\mathrm{{i}}_{m}}[ {{q^{p}}x} ]}}{{1 - x}},\quad \vert x \vert < 1, m,p \in \mathbb{N}. \end{aligned}$$
(2.11)
Multiplying (2.11) by \(x^{-1}-x^{k-1}\) and q-integrating over \((0,q)\) yield
$$\begin{aligned} {[ k ]_{q}}\sum_{n = 1}^{\infty}{ \frac{{{\zeta _{n}}[ {m,{q^{p}}} ]}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}} {q^{n}} = \mathrm{{L}} {\mathrm{{i}}_{m + 1}} \bigl[ {{q^{p + 1}}} \bigr] + \sum_{i = 1}^{k - 1} {\sum_{n = 1}^{\infty}{\frac{{{q^{( {p + 1} )n + i}}}}{{[ n ]_{q}^{m}{{[ {n + i} ]}_{q}}}}} }, \end{aligned}$$
(2.12)
where the generalized q-integral is defined by (\(a \le x \ne\infty \)) (see [3, 17, 38, 39])
$$\begin{aligned} \int _{a}^{x} {f( t ){d_{q}}t = } \int _{0}^{x} {f( t ){d_{q}}t} - \int _{0}^{a} {f( t ){d_{q}}t} = ( {1 - q} )\sum_{i = 0}^{\infty}{{q^{i}} \bigl[ {xf\bigl( {{q^{i}}x} \bigr) - af\bigl( {{q^{i}}a} \bigr)} \bigr]} \end{aligned}$$
(2.13)
and
$$\begin{aligned} \int _{0}^{x} {f( t ){d_{q}}t = } ( {1 - q} )x\sum_{i = 0}^{\infty}{{q^{i}}f\bigl( {{q^{i}}x} \bigr)},\quad x \ne \infty. \end{aligned}$$
(2.14)
Taking \(p=m-1\) in (2.12) and \(r=0\) in (1.12), we obtain
$$\begin{aligned} &{[ k ]_{q}}\sum_{n = 1}^{\infty}{ \frac{{{\zeta _{n}}[ {m,{q^{m - 1}}} ]}}{{{{[ n ]}_{q}}{{ [ {n + k} ]}_{q}}}}} {q^{n}} = \mathrm{{L}} {\mathrm{{i}}_{m + 1}} \bigl[ {{q^{m}}} \bigr] + \sum_{i = 1}^{k - 1} {{q^{i}}\sum_{n = 1}^{\infty}{ \frac{{{q^{mn}}}}{{[ n ]_{q}^{m}{{[ {n + i} ]}_{q}}}}} }, \end{aligned}$$
(2.15)
$$\begin{aligned} &\sum_{n = 1}^{\infty}{\frac{{{q^{mn}}}}{{[ n ]_{q}^{m}{{[ {n + k} ]}_{q}}}}} = \sum_{j = 1}^{m - 1} {\frac{{{{( { - 1} )}^{j - 1}}}}{{[ k ]_{q}^{j}}} \mathrm{{L}} {\mathrm{{i}}_{m - j + 1}}\bigl[ {{q^{m - j}}} \bigr] + {{( { - 1} )}^{m - 1}}\frac{{[ {H_{k}^{( 1 )}} ]}}{{[ k ]_{q}^{m}}}}. \end{aligned}$$
(2.16)
Substituting (2.16) into (2.15) yields the desired result. We finish the proof of Theorem 2.3. □
In fact, by a similar argument as in the proof of Theorem 2.3, we obtain the more general identity
$$\begin{aligned} {[ {k - r} ]_{q}}\sum_{n = 1}^{\infty}{\frac {{{\zeta_{n}}[ {m,{q^{m - 1}}} ]}}{{{{[ {n + r} ]}_{q}}{{[ {n + k} ]}_{q}}}}} {q^{n}}={}& \sum_{j = 1}^{m - 1} {{{( { - 1} )}^{j - 1}}\mathrm{{L}} {\mathrm{{i}}_{m - j + 1}}\bigl[ {{q^{m - j}}} \bigr]} \frac{{[ {H_{k - 1}^{( j )}} ] - [ {H_{r - 1}^{( j )}} ]}}{{{q^{r}}}} \\ & {}+ {( { - 1} )^{m - 1}}\sum_{i = 1}^{k - r} {\frac{{[H_{r + i - 1}^{( 1 )}}]}{{[ {r + i - 1} ]_{q}^{m}}}{q^{i - 1}}}, \end{aligned}$$
(2.17)
where \(m,k,r\in \mathbb{N}\) and \(r< k\). Putting \(m=1\) and 2 in (2.10), we give the following two examples:
$$\begin{aligned} &\sum_{n = 1}^{\infty}{\frac{{[ {{H_{n}}} ]}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}} = \frac{1}{{{{[ k ]}_{q}}}}\biggl\{ {\mathrm{{L}} {\mathrm{ {i}}_{2}}[ q ] + \frac{{{{[ {H_{k}^{( 1 )}} ]}^{2}} + {\zeta_{k}}[ {2,{q^{2}}} ]}}{2} - \frac {{[ {H_{k}^{( 1 )}} ]}}{{{{[ k ]}_{q}}}}{q^{k}}} \biggr\} , \end{aligned}$$
(2.18)
$$\begin{aligned} &\sum_{n = 1}^{\infty}{\frac{{[ {H_{n}^{( 2 )}} ]}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}} = \frac{1}{{{{[ k ]}_{q}}}}\Biggl\{ {\mathrm{ {L}} {\mathrm{{i}}_{3}}\bigl[ {{q^{2}}} \bigr] + \mathrm{{L}} {\mathrm{{i}}_{2}} [ q ] \bigl[ {H_{k - 1}^{( 1 )}} \bigr] - \sum _{i = 1}^{k - 1} {\frac{{[ {H_{i}^{( 1 )}} ]}}{{[ i ]_{q}^{2}}}{q^{i}}} } \Biggr\} . \end{aligned}$$
(2.19)

Corollary 2.4

For \(m\in \mathbb{N}\), we have
$$\begin{aligned} &\frac{1}{2}W_{0,m}^{( {1,1} )}[ {1,1;m + 1} ] - {( { - 1} )^{m - 1}}W_{0,1}^{( {0,1} )}[ {1,1;m + 1} ] \\ &\quad = W_{0,m + 1}^{( 1 )}[ {1;m + 2} ] + \sum _{j = 1}^{m - 1} {{{( { - 1} )}^{j - 1}}\mathrm{ {L}} {\mathrm{{i}}_{m - j + 1}}\bigl[ {{q^{m - j}}} \bigr]W_{0,1}^{ ( 0 )}[ {1;j + 1} ]} \\ &\qquad{} - \frac{1}{2}W_{0,m}^{( 2 )}[ {2;m + 1} ] - \mathrm{{L}} {\mathrm{{i}}_{2}}[ q ]\mathrm{{L}} {\mathrm{ {i}}_{m + 1}}\bigl[ {{q^{m}}} \bigr] \end{aligned}$$
(2.20)
and
$$\begin{aligned} &\frac{1}{2}\bigl\{ {W_{0,m}^{( {0,1,1} )}\bigl[ {{{\{ 1 \}}_{3}};m + 1} \bigr] + W_{0,m}^{( {0,2} )}[ {1,2;m + 1} ]} \bigr\} \\ &\qquad{} - \frac{{{{( { - 1} )}^{m - 1}}}}{2}\bigl\{ {W_{0,1}^{( {0,1,1} )}\bigl[ {{{\{ 1 \} }_{3}};m + 1} \bigr] + W_{0,1}^{( {0,2} )}[ {1,2;m + 1} ]} \bigr\} \\ &\quad = \bigl\{ {W_{0,m + 1}^{( {0,1} )}[ {1,1;m + 2} ] - {{( { - 1} )}^{m - 1}}W_{0,2}^{( {0,1} )}[ {1,1;m + 2} ]} \bigr\} \\ & \qquad{}- \mathrm{{L}} {\mathrm{{i}}_{2}}[ q ]\bigl\{ {W_{0,m}^{( 0 )}[ {1;m + 1} ] - {{( { - 1} )}^{m - 1}}W_{0,1}^{( 0 )}[ {1;m + 1} ]} \bigr\} \\ &\qquad{} + \sum_{j = 1}^{m - 1} {{{( { - 1} )}^{j - 1}}W_{0,1}^{( 0 )}[ {1;j + 1} ]W_{0,m - j}^{( 0 )}[ {1;m - j + 1} ]}. \end{aligned}$$
(2.21)

Proof

Formula (2.20) shows that multiplying (2.18) by \(\frac{q^{mk}}{[k]_{q}^{m}}\) and summing with respect to k, then using (2.16) yield
$$\begin{aligned} &\sum_{n,k = 1}^{\infty}{\frac{{[ {{H_{n}}} ]}}{{[ k ]_{q}^{m}{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}} {q^{mk}}} \\ &\quad= \sum_{k = 1}^{\infty}{\frac {{{q^{mk}}}}{{[ k ]_{q}^{m + 1}}}} \biggl\{ {\mathrm{{L}} {\mathrm{ {i}}_{2}}[ q ] + \frac{{{{[ {H_{k}^{( 1 )}} ]}^{2}} + {\zeta_{k}}[ {2,{q^{2}}} ]}}{2} - \frac {{[ {H_{k}^{( 1 )}} ]}}{{{{[ k ]}_{q}}}}{q^{k}}} \biggr\} \\ &\quad = \mathrm{{L}} {\mathrm{{i}}_{2}}[ q ]\mathrm{{L}} { \mathrm{{i}}_{m + 1}}\bigl[ {{q^{m}}} \bigr] + \frac{1}{2}\bigl\{ {W_{0,m}^{( {1,1} )}[ {1,1;m + 1} ] + W_{0,m}^{( 2 )}[ {2;m + 1} ]} \bigr\} - W_{0,m + 1}^{( 1 )}[ {1;m + 2} ] \\ &\quad = \sum_{n = 1}^{\infty}{\frac{{[ {{H_{n}}} ]}}{{{{[ n ]}_{q}}}}} {q^{n}}\sum_{k = 1}^{\infty}{ \frac{{{q^{mk}}}}{{[ k ]_{q}^{m}{{[ {n + k} ]}_{q}}}}} \\ &\quad= \sum_{n = 1}^{\infty}{ \frac{{[ {{H_{n}}} ]}}{{{{[ n ]}_{q}}}}{q^{n}}\Biggl\{ {\sum_{j = 1}^{m - 1} {\frac{{{{( { - 1} )}^{j - 1}}}}{{[ n ]_{q}^{j}}}\mathrm{{L}} {\mathrm{{i}}_{m - j + 1}}\bigl[ {{q^{m - j}}} \bigr] + {{( { - 1} )}^{m - 1}}\frac{{[ {H_{n}^{( 1 )}} ]}}{{[ n ]_{q}^{m}}}} } \Biggr\} } \\ &\quad = {( { - 1} )^{m - 1}}W_{0,1}^{( {0,1} )}[ {1,1;m + 1} ] \\ &\qquad{} + \sum_{j = 1}^{m - 1} {{{ ( { - 1} )}^{j - 1}}\mathrm{{L}} {\mathrm{{i}}_{m - j + 1}}\bigl[ {{q^{m - j}}} \bigr]W_{0,1}^{( 0 )}[ {1;j + 1} ]}. \end{aligned}$$
(2.22)
By a direct calculation, we obtain the result (2.20).

Similarly, to prove (2.21), multiplying (2.18) by \(\frac {[H_{k}]}{[k]_{q}^{m}}q^{mk}\) and summing with respect to k, then applying the same arguments as in the proof of (2.20), we may easily deduce the desired result. □

Theorem 2.5

For \(x,y\in[-1,1]\) and positive integers \(m_{1},m_{2},k,r\) with \(r< k\), the following identity holds:
$$\begin{aligned} &{[ {k - r} ]_{q}}\sum_{n = 1}^{\infty}{\frac {{{\zeta_{n}}[ {{m_{1}},x} ]{\zeta_{n}}[ {{m_{2}},y} ] - {\zeta_{n}}[ {{m_{1}} + {m_{2}},xy} ]}}{{{{[ {n + r} ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n + r}}} \\ & \quad= \sum_{i = 1}^{k - r} \sum _{n = 1}^{\infty}\biggl\{ \frac{{{\zeta_{n}}[ {{m_{1}},x} ]{y^{n}}}}{{[ n ]_{q}^{{m_{2}}}{{[ {n + r + i - 1} ]}_{q}}}} + \frac {{{\zeta_{n}}[ {{m_{2}},y} ]{x^{n}}}}{{[ n ]_{q}^{{m_{1}}}{{[ {n + r + i - 1} ]}_{q}}}} \\ &\qquad{} - \frac{{{2{ ( {xy} )}^{n}}}}{{[ n ]_{q}^{{m_{1}} + {m_{2}}}{{[ {n + r + i - 1} ]}_{q}}}} \biggr\} {q^{n + r + i - 1}} , \end{aligned}$$
(2.23)
where the partial sum \({{\zeta_{n}}[ {{m},x} ]}\) is defined by
$${\zeta_{n}}[ {m,x} ]: = \sum_{j = 1}^{n} {\frac {{{x^{j}}}}{{[ j ]_{q}^{m}}}}. $$

Proof

To prove identity (2.23), we consider the generating function
$$\begin{aligned} F[ {x,y,z} ]: = \sum_{n = 1}^{\infty}{\bigl\{ {{\zeta_{n}}[ {{m_{1}},x} ]{\zeta_{n}}[ {{m_{2}},y} ] - {\zeta_{n}}[ {{m_{1}} + {m_{2}},xy} ]} \bigr\} {z^{n - 1}}},\quad z \in( { - 1,1} ). \end{aligned}$$
(2.24)
By the definition of \({{\zeta_{n}}[ {{m},x} ]}\), we can rewrite (2.24) as follows:
$$\begin{aligned} F[ {x,y,z} ]&= \sum_{n = 1}^{\infty}{\left\{ \textstyle\begin{array}{@{}l@{}} ( {{\zeta_{n}}[ {{m_{1}},x} ] + \frac{{{x^{n + 1}}}}{{[ {n + 1} ]_{q}^{{m_{1}}}}}} )( {{\zeta _{n}}[ {{m_{2}},y} ] + \frac{{{x^{n + 1}}}}{{[ {n + 1} ]_{q}^{{m_{2}}}}}} ) \\ \quad{}- ( {{\zeta_{n}}[ {{m_{1}} + {m_{2}},xy} ] + \frac {{{x^{n + 1}}{y^{n + 1}}}}{{[ {n + 1} ]_{q}^{{m_{1}} + {m_{2}}}}}} ) \end{array}\displaystyle \right\}{z^{n -1}}} \\ & = zF[ {x,y,z} ] + \sum_{n = 1}^{\infty}{ \biggl\{ {\frac{{{\zeta_{n}}[ {{m_{1}},x} ]}}{{[ {n + 1} ]_{q}^{{m_{2}}}}}{y^{n + 1}} + \frac{{{\zeta_{n}}[ {{m_{2}},y} ]}}{{[ {n + 1} ]_{q}^{{m_{1}}}}}{x^{n + 1}}} \biggr\} } {z^{n}} \\ & = zF[ {x,y,z} ] + \sum_{n = 1}^{\infty}{ \biggl\{ {\frac{{{\zeta_{n}}[ {{m_{1}},x} ]}}{{[ n ]_{q}^{{m_{2}}}}}{y^{n}} + \frac{{{\zeta_{n}}[ {{m_{2}},y} ]}}{{[ n ]_{q}^{{m_{1}}}}}{x^{n}} - 2\frac{{{x^{n}}{y^{n}}}}{{ [ n ]_{q}^{{m_{1}} + {m_{2}}}}}} \biggr\} } {z^{n - 1}}. \end{aligned}$$
Hence, we obtain the formula
$$\begin{aligned} &\sum_{n = 1}^{\infty}{\bigl\{ {{ \zeta_{n}}[ {{m_{1}},x} ]{\zeta_{n}}[ {{m_{2}},y} ] - {\zeta_{n}}[ {{m_{1}} + {m_{2}},xy} ]} \bigr\} {z^{n - 1}}} \\ & \quad= \sum_{n = 1}^{\infty}{\biggl\{ { \frac{{{\zeta_{n}}[ {{m_{1}},x} ]}}{{[ n ]_{q}^{{m_{2}}}}}{y^{n}} + \frac {{{\zeta_{n}}[ {{m_{2}},y} ]}}{{[ n ]_{q}^{{m_{1}}}}}{x^{n}} - 2 \frac{{{x^{n}}{y^{n}}}}{{[ n ]_{q}^{{m_{1}} + {m_{2}}}}}} \biggr\} } \frac{{{z^{n - 1}}}}{{1 - z}}. \end{aligned}$$
(2.25)
Multiplying (2.25) by \(z^{r}-z^{k}\) and q-integrating over \((0,q)\), then using the identity
$$\frac{{{q^{n + r}}}}{{{{[ {n + r} ]}_{q}}}} - \frac{{{q^{n + k}}}}{{{{[ {n + k} ]}_{q}}}} = {[ {k - r} ]_{q}} \frac{{{q^{n + r}}}}{{{{[ {n + r} ]}_{q}}{{[ {n + k} ]}_{q}}}}, $$
we can deduce (2.23). The proof is completed. □
In fact, using the Cauchy product of power series, (2.25) can be rewritten as
$$\begin{aligned} &\sum_{n = 1}^{\infty}{\bigl\{ {{ \zeta_{n}}[ {{m_{1}},x} ]{\zeta_{n}}[ {{m_{2}},y} ] - {\zeta_{n}}[ {{m_{1}} + {m_{2}},xy} ]} \bigr\} {z^{n - 1}}} \\ &\quad = \sum_{n = 1}^{\infty}{\sum _{k = 1}^{n} {\biggl\{ {\frac{{{\zeta_{k}}[ {{m_{1}},x} ]}}{{[ k ]_{q}^{{m_{2}}}}}{y^{k}} + \frac{{{\zeta_{n}}[ {{m_{2}},y} ]}}{{[ k ]_{q}^{{m_{1}}}}}{x^{k}} - 2\frac{{{x^{k}}{y^{k}}}}{{ [ k ]_{q}^{{m_{1}} + {m_{2}}}}}} \biggr\} } } {z^{n - 1}}. \end{aligned}$$
(2.26)
Thus, comparing the coefficients of \(z^{n-1}\) in (2.26), we obtain
$$\begin{aligned} \sum_{k = 1}^{n} {\biggl\{ { \frac{{{\zeta_{k}}[ {{m_{1}},x} ]}}{{[ k ]_{q}^{{m_{2}}}}}{y^{k}} + \frac{{{\zeta _{k}}[ {{m_{2}},y} ]}}{{[ k ]_{q}^{{m_{1}}}}}{x^{k}}} \biggr\} } = {\zeta_{n}}[ {{m_{1}},x} ]{\zeta_{n}}[ {{m_{2}},y} ] + {\zeta_{n}}[ {{m_{1}} + {m_{2}},xy} ]. \end{aligned}$$
(2.27)
Similarly, considering the following function
$$F[ {x,y} ]:= \sum_{n = 1}^{\infty}{\bigl\{ { \zeta_{n}^{3}[ {m,x} ] - 3{\zeta_{n}}[ {m,x} ]{ \zeta_{n}}\bigl[ {2m,{x^{2}}} \bigr] + 2{\zeta_{n}} \bigl[ {3m,{x^{3}}} \bigr]} \bigr\} {y^{n - 1}}},\quad y\in(-1,1), $$
by a similar argument as in the proof of (2.23), we deduce that
$$\begin{aligned} &\sum_{n = 1}^{\infty}{\bigl\{ { \zeta_{n}^{3}[ {m,x} ] - 3{\zeta_{n}}[ {m,x} ]{ \zeta_{n}}\bigl[ {2m,{x^{2}}} \bigr] + 2{\zeta_{n}} \bigl[ {3m,{x^{3}}} \bigr]} \bigr\} {y^{n - 1}}} \\ &\quad= 3\sum_{n = 1}^{\infty}{\biggl\{ { \frac{{\zeta_{n}^{2}[ {m,x} ]}}{{[ n ]_{q}^{m}}}{x^{n}} - \frac{{{\zeta _{n}}[ {2m,{x^{2}}} ]}}{{[ n ]_{q}^{m}}}{x^{n}} - 2 \frac{{{\zeta_{n}}[ {m,x} ]}}{{[ n ]_{q}^{2m}}}{x^{2n}} + 2\frac{{{x^{3n}}}}{{[ n ]_{q}^{3m}}}} \biggr\} } \frac{{{y^{n - 1}}}}{{1 - y}}. \end{aligned}$$
(2.28)
By using the Cauchy product of power series again and then comparing the coefficients of \(y^{n-1}\), we obtain
$$\begin{aligned} &3\sum_{k = 1}^{n} {\biggl\{ { \frac{{\zeta_{k}^{2}[ {m,x} ] - {\zeta_{k}}[ {2m,{x^{2}}} ]}}{{[ k ]_{q}^{m}}}{x^{k}} - 2\frac{{{\zeta_{k}}[ {m,x} ]}}{{[ k ]_{q}^{2m}}}{x^{2k}} + 2 \frac{{{x^{3k}}}}{{[ k ]_{q}^{3m}}}} \biggr\} } \\ &\quad= \zeta_{n}^{3}[ {m,x} ] - 3{\zeta_{n}}[ {m,x} ]{ \zeta_{n}}\bigl[ {2m,{x^{2}}} \bigr] + 2{\zeta_{n}} \bigl[ {3m,{x^{3}}} \bigr]. \end{aligned}$$
(2.29)
Combining (2.27) and (2.29), we have the result
$$\begin{aligned} \sum_{k = 1}^{n} {\frac{{\zeta_{k}^{2}[ {m,x} ] + {\zeta_{k}}[ {2m,{x^{2}}} ]}}{{[ k ]_{q}^{m}}}{x^{k}}} = \frac{1}{3}\bigl\{ {\zeta_{n}^{3}[ {m,x} ] + 3{ \zeta _{n}}[ {m,x} ]{\zeta_{n}}\bigl[ {2m,{x^{2}}} \bigr] + 2{\zeta_{n}}\bigl[ {3m,{x^{3}}} \bigr]} \bigr\} . \end{aligned}$$
(2.30)
Setting \(x=q,m=1\) in the above equation, we obtain
$$\sum_{k = 1}^{n} {\frac{{{{[ {H_{k}^{( 1 )}} ]}^{2}} + {\zeta_{k}}[ {2,{q^{2}}} ]}}{{{{[ k ]}_{q}}}}{q^{k}}} = \frac{1}{3}\bigl\{ {{{\bigl[ {H_{n}^{( 1 )}} \bigr]}^{3}} + 3\bigl[ {H_{n}^{( 1 )}} \bigr]{ \zeta_{n}}\bigl[ {2,{q^{2}}} \bigr] + 2{\zeta_{n}} \bigl[ {3,{q^{3}}} \bigr]} \bigr\} . $$

Theorem 2.6

For positive integers \(m,r,k\) with \(r< k\) and \(x\in [-1,1]\), the following identity holds:
$$\begin{aligned} &{[ {k - r} ]_{q}}\sum_{n = 1}^{\infty}{\frac {{\zeta_{n}^{3}[ {m,x} ] - {\zeta_{n}}[ {3m,{x^{3}}} ]}}{{{{[ {n + r} ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n + r}}} \\ &\quad = 3\sum_{i = 1}^{k - r} {\sum _{n = 1}^{\infty}{ \biggl\{ {\frac{{\zeta_{n}^{2}[ {m,x} ]}}{{[ n ]_{q}^{m}{{[ {n + r + i - 1} ]}_{q}}}}{x^{n}} - \frac{{{\zeta _{n}}[ {m,x} ]}}{{[ n ]_{q}^{2m}{{[ {n + r + i - 1} ]}_{q}}}}{x^{2n}}} \biggr\} {q^{n + r + i - 1}}} } . \end{aligned}$$
(2.31)

Proof

Similar as in the proof of Theorem 2.5, we consider the power series
$$F[ {x,y} ]: = \sum_{n = 1}^{\infty}{\bigl\{ { \zeta_{n}^{3}[ {m,x} ] - {\zeta_{n}}\bigl[ {3m,{x^{3}}} \bigr]} \bigr\} } {y^{n - 1}}, \quad y \in( { - 1,1} ) $$
and apply the same arguments as in the proof of Theorem 2.5. We may deduce formula (2.31). □
Taking \(r=0\) and \(m_{1}=m_{2}=x=y=1\) in (2.23), we get
$$\begin{aligned} &{[ k ]_{q}}\sum_{n = 1}^{\infty}{ \frac{{{{[ {{H_{n}}} ]}^{2}} - {\zeta_{n}}[ 2 ]}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}} \\ &\quad= 2\sum_{i = 1}^{k - 1} {q^{i}}\sum_{n = 1}^{\infty}\biggl\{ {\frac{{[ {{H_{n}}} ]}}{{{{[ n ]}_{q}}{{[ {n + i} ]}_{q}}}}{q^{n}} - \frac{{{q^{n}}}}{{[ n ]_{q}^{2}{{[ {n + i} ]}_{q}}}}} \biggr\} + 2 \sum_{n = 1}^{\infty}{\biggl\{ { \frac{{[ {{H_{n}}} ]}}{{[ n ]_{q}^{2}}}{q^{n}} - \frac{{{q^{n}}}}{{[ n ]_{q}^{3}}}} \biggr\} } \\ &\quad=2\mathrm{{L}} {\mathrm{{i}}_{3}}\bigl[ {{q^{2}}} \bigr] + 2\mathrm{{L}} {\mathrm{ {i}}_{2}}[ q ] \bigl[ {H_{k - 1}^{( 1 )}} \bigr] + \sum_{i = 1}^{k - 1} { \frac{{{{[ {H_{i}^{ ( 1 )}} ]}^{2}} + {\zeta_{i}}[ {2,{q^{2}}} ]}}{{{{[ i ]}_{q}}}}{q^{i}}} \\ &\qquad{} - 2\sum_{i = 1}^{k - 1} { \frac{{[ {H_{i}^{( 1 )}} ]}}{{[ i ]_{q}^{2}}}{q^{2i}}} - 2\sum_{i = 1}^{k - 1} {{q^{i}}\sum_{n = 1}^{\infty}{ \frac {{{q^{n}}}}{{[ n ]_{q}^{2}{{[ {n + i} ]}_{q}}}}} }. \end{aligned}$$
(2.32)
From (1.17) and (2.19), we have
$$\begin{aligned} {[ k ]_{q}}\sum_{n = 1}^{\infty}{ \frac{{{\zeta _{n}}[ 2 ]}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}} ={}& {[ k ]_{q}}\sum _{n = 1}^{\infty}{\frac{{[ {H_{n}^{( 2 )}} ]}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}} + ( {1 - q} ){[ k ]_{q}}\sum_{n = 1}^{\infty}{\frac{{[ {{H_{n}}} ]}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}} \\ ={}& \mathrm{{L}} {\mathrm{{i}}_{3}}\bigl[ {{q^{2}}} \bigr] + \mathrm{{L}} {\mathrm{ {i}}_{2}}[ q ] \bigl[ {H_{k - 1}^{( 1 )}} \bigr] - \sum_{i = 1}^{k - 1} { \frac{{[ {H_{i}^{( 1 )}} ]}}{{[ i ]_{q}^{2}}}{q^{i}}} \\ & {}+ ( {1 - q} )\biggl\{ {\mathrm{{L}} {\mathrm{{i}}_{2}} [ q ] + \frac{{{{[ {H_{k}^{( 1 )}} ]}^{2}} + {\zeta_{k}}[ {2,{q^{2}}} ]}}{2} - \frac{{[ {H_{k}^{( 1 )}} ]}}{{{{[ k ]}_{q}}}}{q^{k}}} \biggr\} . \end{aligned}$$
(2.33)
Substituting (2.33) into (2.32) results in
$$\begin{aligned} &{[ k ]_{q}}\sum_{n = 1}^{\infty}{ \frac{{{{[ {{H_{n}}} ]}^{2}}}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}} \\ &\quad = 3\mathrm{{L}} {\mathrm{{i}}_{3}} \bigl[ {{q^{2}}} \bigr] + 3\mathrm{{L}} {\mathrm{{i}}_{2}}[ q ] \bigl[ {H_{k - 1}^{ ( 1 )}} \bigr] + \sum _{i = 1}^{k - 1} {\frac {{{{[ {H_{i}^{( 1 )}} ]}^{2}} + {\zeta_{i}}[ {2,{q^{2}}} ]}}{{{{[ i ]}_{q}}}}{q^{i}}} \\ & \qquad{}- 2\sum_{i = 1}^{k - 1} { \frac{{[ {H_{i}^{( 1 )}} ]}}{{[ i ]_{q}^{2}}}{q^{2i}}} - \sum_{i = 1}^{k - 1} {\frac{{[ {H_{i}^{( 1 )}} ]}}{{[ i ]_{q}^{2}}}{q^{i}} - 2\sum_{i = 1}^{k - 1} {{q^{i}}\sum_{n = 1}^{\infty}{ \frac{{{q^{n}}}}{{[ n ]_{q}^{2}{{[ {n + i} ]}_{q}}}}} } } \\ & \qquad{}+ ( {1 - q} )\biggl\{ {\mathrm{{L}} {\mathrm{{i}}_{2}} [ q ] + \frac{{{{[ {H_{k}^{( 1 )}} ]}^{2}} + {\zeta_{k}}[ {2,{q^{2}}} ]}}{2} - \frac{{[ {H_{k}^{( 1 )}} ]}}{{{{[ k ]}_{q}}}}{q^{k}}} \biggr\} . \end{aligned}$$
(2.34)
Similarly, putting \(r=0, m=1,x=1\) in (2.31), we get
$$\begin{aligned} {[ k ]_{q}}\sum_{n = 1}^{\infty}{ \frac{{{{[ {{H_{n}}} ]}^{3}} - {\zeta_{n}}[ 3 ]}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}}={}& 3\sum_{n = 1}^{\infty}{\biggl\{ {\frac{{{{[ {{H_{n}}} ]}^{2}}}}{{ [ n ]_{q}^{2}}}{q^{n}} - \frac{{[ {{H_{n}}} ]}}{{[ n ]_{q}^{3}}}{q^{n}}} \biggr\} } \\ &{} + 3\sum_{i = 1}^{k - 1} {{q^{i}} \sum_{n = 1}^{\infty}{\biggl\{ { \frac{{{{[ {{H_{n}}} ]}^{2}}}}{{{{[ n ]}_{q}}{{[ {n + i} ]}_{q}}}} - \frac{{[ {{H_{n}}} ]}}{{[ n ]_{q}^{2}{{[ {n + i} ]}_{q}}}}} \biggr\} {q^{n}}} } . \end{aligned}$$
(2.35)
From (2.10), (2.34) and (2.35), we know that the cubic q-sums
$$\sum_{n = 1}^{\infty}{\frac{{{{[ {{H_{n}}} ]}^{3}}}}{{{{[ n ]}_{q}}{{[ {n + k} ]}_{q}}}}{q^{n}}} $$
are reducible to q-polylogarithms, q-harmonic numbers and q-rational series. Letting q tend to 1 in (2.34), we get the expression for quadratic sums
$$\sum_{n = 1}^{\infty}{\frac{{H_{n}^{2}}}{{n( {n + k} )}}} $$
in terms of harmonic numbers and zeta values:
$$\begin{aligned} \sum_{n = 1}^{\infty}{\frac{{H_{n}^{2}}}{{n( {n + k} )}}} = \frac{1}{k}\left\{ \textstyle\begin{array}{@{}l@{}} 3\zeta( 3 ) + \frac{{H_{k}^{3} + 3{H_{k}}{H^{(2)} _{k}} + 2{H^{(3)} _{k}}}}{3} \\ \quad{}- \frac{{H_{k}^{2} + {H^{(2)}_{k}}}}{k} - \sum_{i = 1}^{k - 1} {\frac{{{H_{i}}}}{{{i^{2}}}}} + \zeta( 2 ){H_{k - 1}} \end{array}\displaystyle \right \}. \end{aligned}$$
(2.36)
Note that result (2.36) is given in Sofo’s paper [40] and Xu’s paper [1] with Zhang and Zhu. It should be emphasized that the papers [1, 2, 4, 5, 40] also contain many other types of results. For example, from [1], we have the result
$$\sum_{n = 1}^{\infty}{\frac{{H_{n}^{3}}}{{n( {n + k} )}}} = \frac{1}{k}\left\{\textstyle\begin{array}{@{}l@{}} 10\zeta( 4 ) + \frac{{H_{k}^{4} + 8{H_{k}}H_{k}^{(3)} + 6H_{k}^{2}H_{k}^{(2)} + 3{{(H_{k}^{(2)})}^{2}} + 6H_{k}^{(4)}}}{4} \\ \quad{}- \frac{{H_{k}^{3} + 3{H_{k}}H_{k}^{(2)} + 2H_{k}^{(3)}}}{k} + 4\zeta( 3 ){H_{k - 1}} + \frac{1}{2}\zeta( 2 )H_{k - 1}^{( 2 )} \\ \quad{} + \frac{3}{2}\zeta( 2 )H_{k - 1}^{2} + \sum_{i = 1}^{k - 1} {\frac{{{H_{i}}}}{{{i^{3}}}}} - \frac{3}{2}\sum_{i = 1}^{k - 1} {\frac{{H_{i}^{2} + H_{i}^{( 2 )}}}{{{i^{2}}}}} - 3\sum_{i = 1}^{k - 1} {\frac{1}{i}\sum_{j = 1}^{i} {\frac{{{H_{j}}}}{{{j^{2}}}}} } \end{array}\displaystyle \right\}. $$
The result above can also be obtained by using (2.35) with letting \(q\rightarrow1\).

3 Some expressions of series involving q-harmonic numbers and q-binomial coefficients

In this section, we give some closed form sums of \(W_{k,t}^{( \mathbf{ s} )}[ {\mathbf{ m};p} ]\) through q-polylogarithms, q-harmonic numbers and other q-series.

From (2.8) and (2.9), we have the expansions
$$\begin{aligned} &W_{k,k+p-1}^{( {{s_{1}}, \ldots,{s_{r}}} )}[ {{m_{1}},{m_{2}}, \ldots,{m_{r}};p} ] \\ &\quad = \sum_{i = 1}^{k} {{{( { - 1} )}^{i - 1}} {{ [ i ]}_{q}} {{ \begin{bmatrix} k \\ i \end{bmatrix} }_{q}}} {q^{ - \frac{i}{2}( {2k - 1 - i} )}} \\ &\qquad{}\times\sum _{n = 1}^{\infty}{\frac{{{\zeta_{n}}[ {{m_{1}},{q^{{s_{1}}}}} ]{\zeta_{n}}[ {{m_{2}},{q^{{s_{2}}}}} ] \cdots{\zeta _{n}}[ {{m_{r}},{q^{{s_{r}}}}} ]}}{{[ n ]_{q}^{p}{{[ {n + i} ]}_{q}}}}{q^{pn}}} \end{aligned}$$
(3.1)
and
$$\begin{aligned} &W_{k,k - 1}^{( {{s_{1}}, \ldots,{s_{r}}} )}[ {{m_{1}},{m_{2}}, \ldots,{m_{r}};0} ] \\ &\quad = {[ k ]_{q}}\sum_{i = 1}^{k - 1} {{{( { - 1} )}^{i - 1}} {{[ i ]}_{q}} {{ \begin{bmatrix} {k - 1} \\ i \end{bmatrix} }_{q}}} {q^{( {2 - k} ) - \frac{i}{2}( {2k - 3 - i} )}} \\ &\qquad{}\times\sum _{n = 1}^{\infty}{\frac{{{\zeta _{n}}[ {{m_{1}},{q^{{s_{1}}}}} ]{\zeta_{n}}[ {{m_{2}},{q^{{s_{2}}}}} ] \cdots{\zeta_{n}}[ {{m_{r}},{q^{{s_{r}}}}} ]}}{{{{[ {n + 1} ]}_{q}}{{[ {n + 1 + i} ]}_{q}}}}{q^{n}}} . \end{aligned}$$
(3.2)
Hence, combining formulas (2.10), (2.17), (2.34), (3.1) and (3.2), by direct calculations, we can get the following three results.

Theorem 3.1

For positive integers \(m,k\) and p,
$$\begin{aligned} &W_{k,k + p - 1}^{( {m - 1} )}[ {m;p} ] \\ &\quad= \sum_{i = 1}^{k} {{{( { - 1} )}^{i - 1}} {{[ i ]}_{q}} {{ \begin{bmatrix} k \\ i \end{bmatrix} }_{q}}} {q^{ - \frac{i}{2}( {2k - 1 - i} )}}\sum _{n = 1}^{\infty}{\frac{{{\zeta_{n}}[ {m,{q^{m - 1}}} ]}}{{[ n ]_{q}^{p}{{[ {n + i} ]}_{q}}}}{q^{pn}}} \\ &\quad = \sum_{i = 1}^{k} {{{( { - 1} )}^{i - 1}} {{ [ i ]}_{q}} {{ \begin{bmatrix} k \\ i \end{bmatrix} }_{q}}} {q^{ - \frac{i}{2}( {2k - 1 - i} )}} \Biggl\{ {\sum _{j = 1}^{p - 1} {\frac{{{{( { - 1} )}^{j - 1}}}}{{[ i ]_{q}^{j}}}} \sum _{n = 1}^{\infty}{\frac{{{\zeta_{n}}[ {m,{q^{m - 1}}} ]}}{{[ n ]_{q}^{p + 1 - j}}}{q^{( {p - j} )n}}} } \Biggr\} \\ &\qquad{} + \sum_{i = 1}^{k} {{{( { - 1} )}^{i - 1}} {{ \begin{bmatrix} k \\ i \end{bmatrix} }_{q}}} {q^{ - \frac{i}{2}( {2k - 1 - i} )}} \\ &\qquad{}\times \frac {{{{( { - 1} )}^{p - 1}}}}{{[ i ]_{q}^{p - 1}}}\left\{ \textstyle\begin{array}{@{}l@{}} {\mathrm{{L}}{\mathrm{{i}}_{m + 1}}[ {{q^{m}}} ] + {{( { - 1} )}^{m - 1}}\sum_{j = 1}^{i - 1} {\frac{{[ {H_{j}^{( 1 )}} ]}}{{[ j ]_{q}^{m}}}{q^{j}}} } \\ \quad{}+ \sum_{j = 1}^{m - 1} {{{( { - 1} )}^{j - 1}}\mathrm{{L}}{\mathrm{{i}}_{m + 1 - j}}[ {{q^{m - j}}} ] [ {H_{i - 1}^{( j )}} ]} \end{array}\displaystyle \right\}. \end{aligned}$$
(3.3)

Theorem 3.2

For positive integers m and k,
$$\begin{aligned} &W_{k,k - 1}^{( {m - 1} )}[ {m;0} ] \\ &\quad= { [ k ]_{q}}\sum _{i = 1}^{k - 1} {{{( { - 1} )}^{i - 1}} {{[ i ]}_{q}} {{ \begin{bmatrix} {k - 1} \\ i \end{bmatrix} }_{q}}} {q^{( {2 - k} ) - \frac{i}{2}( {2k - 3 - i} )}}\sum_{n = 1}^{\infty}{ \frac{{{\zeta _{n}}[ {m,{q^{m - 1}}} ]}}{{{{[ {n + 1} ]}_{q}}{{[ {n + 1 + i} ]}_{q}}}}{q^{n}}} \\ &\quad = {[ k ]_{q}}\sum_{i = 1}^{k - 1} {{{( { - 1} )}^{i - 1}} {{ \begin{bmatrix} {k - 1} \\ i \end{bmatrix} }_{q}}} {q^{( {2 - k} ) - \frac{i}{2}( {2k - 3 - i} )}}\left\{ \textstyle\begin{array}{@{}l@{}} \sum_{j = 1}^{m - 1} {{{( { - 1} )}^{j - 1}}\mathrm{ {L}}{\mathrm{{i}}_{m - j + 1}}[ {{q^{m - j}}} ]} \frac {{[ {H_{i}^{( j )}} ]}}{q} \\ \quad{}+ {( { - 1} )^{m - 1}}\sum_{j = 1}^{i} {\frac {{[H_{j}^{( 1 )}}]}{{[ j ]_{q}^{m}}}{q^{j - 1}}} \end{array}\displaystyle \right \}. \end{aligned}$$
(3.4)

Theorem 3.3

For positive integer k,
$$\begin{aligned} &W_{k,k}^{( {0,0} )}[ {1,1;1} ] \\ &\quad= \sum _{i = 1}^{k} {{{( { - 1} )}^{i - 1}} {{[ i ]}_{q}} {{ \begin{bmatrix} k \\ i \end{bmatrix} }_{q}}} {q^{ - \frac{i}{2}( {2k - 1 - i} )}}\sum_{n = 1}^{\infty}{ \frac{{{{[ {{H_{n}}} ]}^{2}}}}{{{{[ n ]}_{q}}{{[ {n + i} ]}_{q}}}}{q^{n}}} \\ &\quad = \sum_{i = 1}^{k} {{{( { - 1} )}^{i - 1}} {{ \begin{bmatrix} k \\ i \end{bmatrix} }_{q}}} {q^{ - \frac{i}{2}( {2k - 1 - i} )}} \left\{ \textstyle\begin{array}{@{}l@{}} 3\mathrm{{L}}{\mathrm{{i}}_{3}}[ {{q^{2}}} ] + 3\mathrm{{L}}{\mathrm{ {i}}_{2}}[ q ][ {H_{i - 1}^{( 1 )}} ] \\ \quad{}+ \sum_{j = 1}^{i - 1} {\frac{{{{[ {H_{j}^{( 1 )}} ]}^{2}} + {\zeta_{j}}[ {2,{q^{2}}} ]}}{{{{[ j ]}_{q}}}}{q^{j}}} \\ \quad{}- 2\sum_{j = 1}^{i - 1} {\frac{{[ {H_{j}^{( 1 )}} ]}}{{[ j ]_{q}^{2}}}{q^{2j}}} - \sum_{j = 1}^{i - 1} {\frac{{[ {H_{j}^{( 1 )}} ]}}{{[ j ]_{q}^{2}}}{q^{j}}} \\ \quad{}- 2\sum_{j = 1}^{i - 1} {{q^{j}}\sum_{n = 1}^{\infty}{\frac{{{q^{n}}}}{{[ n ]_{q}^{2}{{[ {n + j} ]}_{q}}}}} } + ( {1 - q} )\mathrm{{L}}{\mathrm{{i}}_{2}}[ q ] \\ \quad{}+ ( {1 - q} )( {\frac{{{{[ {H_{i}^{( 1 )}} ]}^{2}} + {\zeta_{i}}[ {2,{q^{2}}} ]}}{2} - \frac{{[ {H_{i}^{( 1 )}} ]}}{{{{[ i ]}_{q}}}}{q^{i}}} ) \end{array}\displaystyle \right \}. \end{aligned}$$
(3.5)
Taking \(p=1\) in (3.3), we have
$$\begin{aligned} &W_{k,k}^{( {m - 1} )}[ {m;1} ] \\ &\quad = \sum_{i = 1}^{k} {{{( { - 1} )}^{i - 1}} {{ \begin{bmatrix} k \\ i \end{bmatrix} }_{q}}} {q^{ - \frac{i}{2}( {2k - 1 - i} )}} \left\{ \textstyle\begin{array}{@{}l@{}} {\mathrm{{L}}{\mathrm{{i}}_{m + 1}}[ {{q^{m}}} ] + {{( { - 1} )}^{m - 1}}\sum_{j = 1}^{i - 1} {\frac{{[ {H_{j}^{( 1 )}} ]}}{{[ j ]_{q}^{m}}}{q^{j}}} } \\ \quad{} + \sum_{j = 1}^{m - 1} {{{( { - 1} )}^{j - 1}}\mathrm{{L}}{\mathrm{{i}}_{m + 1 - j}}[ {{q^{m - j}}} ] [ {H_{i - 1}^{( j )}} ]} \end{array}\displaystyle \right \}. \end{aligned}$$
(3.6)
Moreover, from (2.10), (2.34), (2.35) and (3.1), we know that the cubic q-Euler type sum \(W_{k,k}^{( {0,0,0} )}[ {\{1\} _{3};1} ]\) is reducible to q-polylogarithms, q-harmonic numbers and q-rational series. Letting \(q\rightarrow1\) in (3.5) and (3.6), we obtain the well-known identities [1]
$$\begin{aligned} &{W_{k}}( {m;0} ) = k\sum_{i = 1}^{k - 1} {( { - 1} )}^{i - 1} \begin{pmatrix} {k - 1} \\ i \end{pmatrix} \Biggl\{ \sum _{j = 1}^{m - 1} {{{( { - 1} )}^{j - 1}} \zeta( {m - j + 1} )H_{i}^{( j )}} + {{( { - 1} )}^{m - 1}}\sum_{j = 1}^{i} { \frac{{{H_{j}}}}{{{j^{m}}}}} \Biggr\} , \\ &W_{k}(m;1)=\sum_{r = 1}^{k} ( { - 1} )^{r+1} \begin{pmatrix} k \\ r \end{pmatrix} \left\{ \textstyle\begin{array}{@{}l@{}} \zeta( {m + 1} ) + {( { - 1} )^{m - 1}}\sum_{i = 1}^{r - 1} {\frac{{{H_{i}}}}{{{i^{m}}}}} \\ \quad{}+ \sum_{j = 1}^{m - 1} {{{( { - 1} )}^{j - 1}}\zeta( {m + 1 - j} ){H^{(j)} _{r - 1}}} \end{array}\displaystyle \right\}, \\ &W_{k}\bigl(\{1\}_{2};1\bigr)= \sum _{r = 1}^{k} {( { - 1} )}^{ r+1} \begin{pmatrix} k \\ r \end{pmatrix} \left\{ \textstyle\begin{array}{@{}l@{}} 3\zeta( 3 ) + \frac{{H_{r}^{3} + 3{H_{r}}{H^{(2)} _{r}} + 2{H^{(3)} _{r}}}}{3} \\ \quad{}- \frac{{H_{r}^{2} + {H^{(2)} _{r}}}}{r} - \sum_{i = 1}^{r - 1} {\frac{{{H_{i}}}}{{{i^{2}}}}} + \zeta( 2 ){H_{r - 1}} \end{array}\displaystyle \right\}. \end{aligned}$$

Declarations

Acknowledgements

The author is most grateful to two referees for helpful comments and suggestions.

Authors’ contributions

The author read and approved the final manuscript.

Competing interests

The author declares that they have no competing interests.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
School of Applied Mathematics, Xiamen University of Technology, Xiamen, P.R. China

References

  1. Xu, C, Zhang, M, Zhu, W: Some evaluation of harmonic number sums. Integral Transforms Spec. Funct. 27(12), 937-955 (2016) MathSciNetView ArticleMATHGoogle Scholar
  2. Sofo, A: Harmonic sums and integral representations. J. Appl. Anal. 16, 265-277 (2010) MathSciNetView ArticleMATHGoogle Scholar
  3. Andrews, GE, Askey, R, Roy, R: Special Functions, pp. 481-532. Cambridge University Press, Cambridge (2000) MATHGoogle Scholar
  4. Sofo, A: Quadratic alternating harmonic number sums. J. Number Theory 154, 144-159 (2015) MathSciNetView ArticleMATHGoogle Scholar
  5. Sofo, A, Srivastava, HM: Identities for the harmonic numbers and binomial coefficients. Ramanujan J. 25, 93-113 (2011) MathSciNetView ArticleMATHGoogle Scholar
  6. Sofo, A: Shifted harmonic sums of order two. Commun. Korean Math. Soc. 29(2), 239-255 (2014) MathSciNetView ArticleMATHGoogle Scholar
  7. Flajolet, P, Salvy, B: Euler sums and contour integral representations. Exp. Math. 7(1), 15-35 (1998) MathSciNetView ArticleMATHGoogle Scholar
  8. Bailey, DH, Borwein, JM, Girgensohn, R: Experimental evaluation of Euler sums. Exp. Math. 3(1), 17-30 (1994) MathSciNetView ArticleMATHGoogle Scholar
  9. Borwein, JM, Bradley, DM: Thirty-two Goldbach variations. Int. J. Number Theory 2(1), 65-103 (2006) MathSciNetView ArticleMATHGoogle Scholar
  10. Borwein, D, Borwein, JM, Bradley, DM: Parametric Euler sum identities. J. Math. Anal. Appl. 316(1), 328-338 (2008) MathSciNetView ArticleMATHGoogle Scholar
  11. Borwein, D, Borwein, JM, Girgensohn, R: Explicit evaluation of Euler sums. Proc. Edinburgh Math. 38, 277-294 (1995) MathSciNetView ArticleMATHGoogle Scholar
  12. Borwein, J, Borwein, P, Girgensohn, R, Parnes, S: Making sense of experimental mathematics. Math. Intelligencer 18(4), 12-18 (1996) MathSciNetMATHGoogle Scholar
  13. Borwein, JM, Zucker, IJ, Boersma, J: The evaluation of character Euler double sums. Ramanujan J. 15(3), 377-405 (2008) MathSciNetView ArticleMATHGoogle Scholar
  14. Freitas, P: Integrals of polylogarithmic functions, recurrence relations, and associated Euler sums. Math. Comp. 74(251), 1425-1440 (2005) MathSciNetView ArticleMATHGoogle Scholar
  15. Xu, C, Yan, Y, Shi, Z: Euler sums and integrals of polylogarithm functions. J. Number Theory 165, 84-108 (2016) MathSciNetView ArticleMATHGoogle Scholar
  16. Xu, C, Li, Z: Tornheim type series and nonlinear Euler sums. J. Number Theory 174, 40-67 (2017) MathSciNetView ArticleMATHGoogle Scholar
  17. Xu, C, Zhang, M, Zhu, W: Some evaluation of q-analogues of Euler sums. Monatsh. Math. 182(4), 957-975 (2017) MathSciNetView ArticleMATHGoogle Scholar
  18. Dilcher, K, Pilehrood, KH, Pilehrood, TH: On q-analogues of double Euler sums. J. Math. Anal. Appl. 2(410), 979-988 (2014) MathSciNetView ArticleMATHGoogle Scholar
  19. Borwein, JM, Girgensohn, R: Evaluation of triple Euler sums. Electron. J. Combin. 3(1), 2-7 (1996) MathSciNetMATHGoogle Scholar
  20. Choi, J: Finite summation formulas involving binomial coefficients, harmonic numbers and generalized harmonic numbers. J. Inequal. Appl. 2013, 49 (2013) MathSciNetView ArticleMATHGoogle Scholar
  21. Li, Z, Xu, C: On q-analogues of quadratic Euler sums (2017) arXiv:1702.08507v2
  22. Hessami Pilehrood, K, Hessami Pilehrood, T: On q-analogues of two-one formulas for multiple harmonic sums and multiple zeta star values. Monatsh. Math. 176, 275-291 (2015) MathSciNetView ArticleMATHGoogle Scholar
  23. Kim, DS, Kim, T: Identities involving harmonic and hyperharmonic numbers. Adv. Difference Equ. 235, 1-15 (2013) MathSciNetMATHGoogle Scholar
  24. Kim, T: On p-adic q-L-functions and sums of powers. Discrete Math. 252(1-3), 179-187 (2002) MathSciNetView ArticleMATHGoogle Scholar
  25. Kim, T: On Euler-Barnes multiple zeta functions. Russ. J. Math. Phys. 10(3), 261-267 (2003) MathSciNetMATHGoogle Scholar
  26. Kim, T: A note on the q -multiple zeta function. Adv. Stud. Contemp. Math. (Kyungshang) 8(2), 111-113 (2004) MathSciNetMATHGoogle Scholar
  27. Kim, T: q-Riemann zeta function. Int. J. Math. Math. Sci. 12(9), 599-605 (2004) View ArticleMATHGoogle Scholar
  28. Kim, T: Analytic continuation of multiple q -zeta functions and their values at negative integers. Russ. J. Math. Phys. 11(1), 71-76 (2004) MathSciNetMATHGoogle Scholar
  29. Kim, T: Barnes-type multiple q -zeta functions and q -Euler polynomials. J. Phys. A 43(25), 201-255 (2010) MathSciNetView ArticleMATHGoogle Scholar
  30. Kim, T: A family of (h,q) -zeta function associated with \((h,q)\)-Bernoulli numbers and polynomials. J. Comput. Anal. Appl. 14(3), 402-409 (2012) MathSciNetMATHGoogle Scholar
  31. Kizilates, C, Tuglu, N: Some combinatorial identities of q-harmonic and q-hyperharmonic numbers. Commun. Math. Appl. 6(2), 33-40 (2015) MATHGoogle Scholar
  32. Lorente, AS: Some q-representations of the q-analogue of the Hurwitz zeta function. Lect. Mat. 36(1), 13-20 (2015) MathSciNetGoogle Scholar
  33. Srivastava, HM, Kim, T, Simsek, Y: q-Bernoulli numbers and polynomials associated with multiple q-zeta functions and basic L-series. Russ. J. Math. Phys. 12(3), 241-268 (2005) MathSciNetMATHGoogle Scholar
  34. Salem, A: Two classes of bounds for the q-gamma and the q-digamma functions in terms of the q-zeta functions. Banach J. Math. Anal. 8(1), 109-117 (2014) MathSciNetView ArticleMATHGoogle Scholar
  35. Tomita, Y: Hermite’s formulas for q-analogues of Hurwitz zeta functions. Funct. Approx. Comment. Math. 45(2), 289-301 (2011) MathSciNetView ArticleMATHGoogle Scholar
  36. Wakayama, M, Yamasaki, Y: Integral representations of q-analogues of the Hurwitz zeta function. Monatsh. Math. 149(2), 141-154 (2006) MathSciNetView ArticleMATHGoogle Scholar
  37. Zhao, J: q-multiple zeta functions and q-multiple polylogarithms. Ramanujan J. 14(2), 189-221 (2003) MathSciNetView ArticleMATHGoogle Scholar
  38. Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations. Springer, Heidelberg (2012) View ArticleMATHGoogle Scholar
  39. Jackson, HF: q-difference equations. Amer. J. Math. 32, 305-314 (1910) MathSciNetView ArticleMATHGoogle Scholar
  40. Sofo, A: Mixed binomial sum identities. Integral Transforms Spec. Funct. 24(3), 187-200 (2013) MathSciNetView ArticleMATHGoogle Scholar

Copyright

Advertisement