1. Introduction
Harmonic numbers are a class of famous sequences in combinatorics, number theory and computer science. Many properties could be found in the literature. Recall that for positive integers m and n, the classical generalized harmonic numbers are given by
(1.1)
For convenience, we have
. As usually,
.
In recent years, many identities involving the generalized harmonic numbers have been established [1] - [8] . For example, in [2] , the author reconsidered the following type of sums
(1.2)
With the help of binomial transformations and difference operators, he reproved some well-known identities such as
(1.3)
(1.4)
(1.5)
q-analogues of combinatorial identities always appear in other branches such as physics [9] . In this paper, we focus on the q-analogues of identities involving harmonic numbers. The well-known two kinds of q-harmonic numbers are defined as follows.
Definition 1. For positive integers n, two kinds of the q-harmonic numbers are defined as
(1.6)
where
is the q-integer. We also set
.
Note that when
,
, thus they are q-analogues of classical harmonic numbers.
Definition 2. For non-negative integers
and a complex number q with
,
, the q-binomial coefficients are defined as
(1.7)
where
is the well-known q-factorial.
Note that we have
and
when
or
.
Mansour et al. [10] discovered the following elegant identity by using partial fraction decomposition
(1.8)
which could be known as a q-analogue of the following identity
(1.9)
We should point out that there exist some typos in this result. The correct version is given in Section 3.
Wei and Gu [11] considered the q-analogues of the following type of sums
(1.10)
Note that when
and
, the “closed form” of
have been known. By using Watson’s q-Whipple transformation, they discovered the q-analogues of these identities. For example,
(1.11)
(1.12)
which reduce to
(1.13)
(1.14)
Chen, Hou and Jin [12] proposed the Abel-Zeilberger algorithms to prove combinatorial identities on non-hypergeometric terms. In this paper, we observe that summations on q-harmonic numbers fall in the scope of a simplified q-version of this method. This enables us to prove and establish many identities on q-harmonic numbers. For more detail of the q-analogues identities, see [13] .
2. Our Method
The classical Abel’s lemma on summation by parts is as follows.
Lemma 1. For any two sequences
,
, we have
(2.1)
Using the difference operator, Abel’s lemma can be rewritten as:
(2.2)
Given a q-hypergeometric term
, namely,
are both rational functions in
and
, the q-Zeilberger algorithm tries to find polynomials
and rational functions
such that
(2.3)
Then summing this skew-recurrence relation over k, one can find a recurrence relation of the sum
(2.4)
For more detail of hypergeometric algorithms, see [14] .
Let us consider the sum
, where
is q-hypergeometric term, bk is a sequence satisfying
is q-hypergeometric. The method can be described as follows.
Step 1. Applying the q-Zeilberger algorithm to
, we find the skew-recurrence relation
(2.5)
where
.
Step 2. Multiplying both sides of this relation by bk and summing over k, we have
(2.6)
Step 3. Applying Abel’s lemma to the right-hand side, we will transform it to a hypergeometric sum since
is q-hypergeometric.
(2.7)
Note that
in many cases.
Step 4. Denote by
. If a closed form for
could be found by using the q-Zeilberger algorithm, we thus obtain a recurrence relation for the original sum
.
Remark. The Maple package for the q-Zeilberger algorithms can also be found in [14] . Here we use the package APCI, which is written by Hou Q. H. [15] . After loading the package, we input the command qZeil (F, n, k, q, “cert”) and then get the skew-recurrence relation (2.5).
Let us give an example to illustrate this method.
Example 1. For positive integer n, we have
(2.8)
(2.9)
The first result appeared in [16] and the second appeared in [17] . Clearly, both of them could be seen as q-analogue of
(2.10)
Proof. For brevity, we only prove the first identity. Denote the left-hand side sum by
and let
(2.11)
By the q-Zeilberger algorithm, we find that
(2.12)
where
. Then with the help of Abel’s lemma, we
obtain the following formula by multiplying both sides of the above equation by
and summing over k from 0 to +∞
(2.13)
Denote the new sum by
and
, by the q-Zeilberger algorithm, we further find
, where
.
By summing over k from 0 to ∞, we obtain
(2.14)
Thus, we finally have
.
3. Applications
By using the above method, we can construct or prove many identities on q-harmonic numbers. Here, we only give two examples. The first is the correct version of identity
(3.1)
Theorem 1. For positive integer n, we have
(3.2)
Proof. Denote the left-hand side sum by
and let
. By the q-Zeilberger algorithm, we find that
(3.3)
where
. Then with the help of Abel’s
lemma, we obtain the following formula by multiplying both sides of Equation (3.3) by
and summing over k from 0 to +∞,
(3.4)
Denote the new sum by
and
, by the q-Zeilberger algorithm, we further find
(3.5)
where
. By summing over k from 0 to ∞, we obtain
(3.6)
Taking the initial value
into account, we obtain
(3.7)
Furthermore,
, we thus have
(3.8)
The second example is the following q-analogues of (1.4) and (1.5).
Theorem 2. For positive integer n, we have
(3.9)
(3.10)
Proof. We only prove the first identity. Denote the summation by
and
(3.11)
Then, by the q-Zeilberger algorithm, we know
(3.12)
where
(3.13)
Noting that the summation range of the series is equivalent to summing from 0 to ∞, we multiply both sides of Equation (3.13) by
and sum over k from 0 to ∞. Using Abel’s lemma, we get (with the reminder term being 0).
(3.14)
Let
(3.15)
Furthermore, by the q-Zeilberger algorithm, we know
(3.16)
where
(3.17)
Taking the sum over k from 0 to ∞ for Equation (3.17), we obtain:
(3.18)
Thus, we have:
(3.19)
4. Conclusion
Sometimes, finding q-analogues for given combinatorial identities may be challenging. In this paper, we used the ideal of the Abel-Zeilberger algorithm to construct and prove several q-analogues of identities involving harmonic numbers. In particular, we obtained the q-analogues identities for the classical kind of
when
. For
, we can also construct the corresponding identities. In fact, we have verified almost all identities on q-harmonic
numbers appeared in the references. We also point out that some examples of the method have been included in Zheng huanhuan’s master thesis.