- Research
- Open Access
- Published:
Two generalized q-exponential operators and their applications
Advances in Difference Equations volume 2016, Article number: 53 (2016)
Abstract
In this paper, we construct two generalized q-exponential operators with three parameters and obtain some operator identities. As applications, we give two formal extensions of the q-Gauss sum. An extension of the q-Chu-Vandermonde sums is also obtained by the operator technique. In addition, we also deduce a formal extension of the Askey-Wilson integral and a formal extension of Sears’ two-term summation formula. Meanwhile, some curious q-series identities are derived.
1 Introduction and motivation
Following [1] we define the q-shifted factorial by
and \((a_{1},a_{2},\ldots,a_{m};q)_{n}=(a_{1};q)_{n}(a_{2};q)_{n}\cdots(a_{m};q)_{n}\), where m is a positive integer and n is a nonnegative integer or ∞. For a complex number α, we shall also use the notation
The q-binomial coefficients, or the Gauss coefficients, are given by
The basic hypergeometric series \({}_{r}\phi_{s}\) is defined by
The usual q-differential operator, or q-derivative are defined by
and their Leibniz rules are
respectively. Based on this, Chen and Liu [2, 3] constructed the following augmentation operator, which is of great significance for deriving identities from its special cases (cf. [4–7]):
Later, Chen and Gu [8] defined the Cauchy augmentation operator,
Fang [9] and Zhang and Yang [10] considered the following finite generalized q-exponential operators with two parameters:
In resent years, some authors applied the aforementioned q-exponential operators to give a system way of obtaining q-series formulas (cf. [9–15]). Inspired by their work, in this paper, we construct two generalized q-exponential operator with three parameters and give some operator identities to further investigate the applications of the operator technique.
Our paper is organized as follows. The next section is devoted to the construction of two generalized q-exponential operator with three parameters and we establish some operator identities. The rest of this paper is mainly concerned with applications of these operator identities. In detail, we will give two formal extensions of the q-Gauss sum. An extension of the q-Chu-Vandermonde sums are also obtained by the operator technique. In addition, we also deduce a formal extension of the Askey-Wilson integral and a formal extension of Sears’ two-term summation formula. Meanwhile, some curious q-series identities are derived.
2 Two generalized q-exponential operators and their operator identities
In this section, we first of all establish the following two generalized q-exponential operators with three parameters:
Clearly, Zhang and Yang’s [10] finite q-exponential operators with two parameters can be considered as special cases of the operator (3) and (4) for \(u=q^{-N}\) or \(v=q^{-N}\). Based on the definitions for \(D_{x}\) and \(\theta_{x}\) and their Leibniz rules (1) and (2), we can easily verify the following explicit formulas by induction.
Lemma 1
For a nonnegative integer k, we have
Theorem 2
Proof
By means of the definition (3) of \(\mathbb{T} \bigl [ \scriptsize{\begin{array}{@{}c@{}} u,v\\w \end{array} \mid q;tD_{x}}\bigr ]\) operator and the Leibniz rule (1) of the q-derivative operator, we have
In view of Lemma 1, we can evaluate the right-hand side of the last expression in the following form:
Interchanging the summation order and changing by \(n\rightarrow n+k\) on the inner summation index, we get the desired result. □
We remark that when \(u=q^{-N}\) and \(t=q/c\), the last theorem reduces to Zhang and Yang’s conclusion [10]. Similar to the procedure of proving Theorem 2, we establish the following operator identity, which leads to Zhang and Yang’s conclusion [10] when \(u=q^{-N}\) or \(v=q^{-N}\).
Theorem 3
Letting \(c=0\), the last sum with respect to n in Theorem 2 and Theorem 3 vanishes because \(0^{n}\) is equal to zero when \(n>0\), therefore we get the following identities, respectively.
Corollary 4
For the symmetry of b and c on both sides of Theorem 2, we have
Similarly, by means of the symmetry of a and c, we get from Theorem 3
Letting \(n+k=m\), and extracting the coefficients of \(\frac{(u,v;q)_{m}}{(w;q)_{m}}t^{m}\) from both members of the last two identities, respectively, we get the following curious transformation formulas.
Example 1
Letting \(t=-w/uvc\), the sum with respect to n in Theorem 3 reduces to \(\frac{(w/u,w/v;q)_{\infty}}{(q^{k}w,q^{-k}w/uv;q)_{\infty}}\) by means of the q-Gauss sum
which results consequently in the following operator identity.
Corollary 5
Recalling the q-Chu-Vandermonde sums [1], II.6,
and substituting \(x\rightarrow xa\) into the above equation, we derive
Then applying the operator \(\mathbb{T}\bigl [ \scriptsize{\begin{array}{@{}c@{}} u,v\\w \end{array} \mid q;tD_{x}}\bigr ]\) to both sides of (9) with respect to the variable x, it is trivial to see that
Evaluating the left-hand side of the last expression in terms of Theorem 2, we show from the last equation the following identity.
Theorem 6
For a nonnegative integer n, we have
where \(P_{n}(a,b)=a^{n}(b/a;q)_{n}\).
When \(y=0\), Theorem 6 reduces to the following corollary.
Corollary 7
For a nonnegative integer n, we have
Analogously, substituting \(x\rightarrow xa\) into (7), we can reformulate it as
Applying the operator \(\mathbb{E}\bigl [ \scriptsize{\begin{array}{@{}c@{}}u,v\\w \end{array} \mid q;t\theta_{x}}\bigr ]\) to both sides of the last expression with respect to the variable x, we confirm that
Rewriting the left-hand side of the last expression by means of Theorem 3, we obtain the following identity.
Theorem 8
For a nonnegative integer n, we have
where \(P_{n}(a,b)=a^{n}(b/a;q)_{n}\).
When \(b=q/x\), the inner sum with respect to j vanishes, and then changing the consequent summation order, in view of the q-Chu-Vandermonde sum (8), we get from Theorem 8
For \(t=-wx/uvq\), the right-hand side of the last identity can be evaluated by (7). We therefore establish the following operator identity.
Corollary 9
3 Some applications
Throughout this section, we address the applications of the theorems and corollaries obtained in the previous section.
3.1 Two formal generalizations of the q-Gauss sum
Recalling the q-binomial theorem [1], II.3,
multiplying \(\frac{(xc;q)_{\infty}}{(xb;q)_{\infty}}\) to both sides of the last identity, and applying \(\mathbb{T}\bigl [ \scriptsize{\begin{array}{@{}c@{}}u,v\\w \end{array} \mid q;tD_{x}}\bigr ]\) to both sides of the consequent identity with respect to the parameter x, we have
By means of Theorem 2 and Corollary 7, we have the following theorem.
Theorem 10
If \(c=1\) and \(t=w/uvb\), the sum with respect to j on the right-hand side of the last theorem vanished and the sum with respect to i can be evaluated by the q-Gauss sum (7). We find consequently the following curious summation formula where the parameter b only exists in the left-hand side.
Corollary 11
Further, if we specify with \(a\mapsto1\) in the last corollary, we find the following curious summation formula, which reduces to the q-Gauss sum (7) when \(b=1\).
Corollary 12
Letting \(i+j=m\), and then extracting the coefficients of \(\frac{(u,v;q)_{m}}{(w;q)_{m}}t^{m}\) from two members of Theorem 10, we get the following result.
Corollary 13
When \(a=1\), the last sums with respect to n and k vanish because of the q-shift factorial \((1;q)_{n}\) is equal to zero when \(n>0\). Then we get the following transformation formula.
Example 2
Similarly, multiplying \(\frac{(xb;q)_{\infty}}{(xc;q)_{\infty}}\) to both sides of equation (10) and applying \(\mathbb{E}\bigl [ \scriptsize{\begin{array}{@{}c@{}}u,v\\w \end{array} \mid q;t\theta_{x}}\bigr ]\) to both sides of the consequent identity with respect to the parameter x, we have
On the one hand, letting \(y=0\) and substituting with \(a\rightarrow c\), \(c\rightarrow1\) in Theorem 8, we have
On the other hand, in view of Theorem 3, we get
Combining the last two expressions with (11), we get the following theorem.
Theorem 14
If \(a=c\), the sum with respect to k on the right-hand side of the above theorem vanishes. Further setting \(t=-w/uvb\) in the consequent expression, we get the following summation formula, which returns to the q-Gauss sum (7) when \(a=1\).
Corollary 15
3.2 A formal generalization of q-exponential function
Theorem 16
Proof
Recalling the q-exponential function [1], II.2
and then applying \(\mathbb{E}\bigr [ \scriptsize{\begin{array}{@{}c@{}} u,v\\w \end{array} \mid q;\frac{w}{uv}\theta _{x}}\bigr ]\) to the both sides of the last identity, we have
On the one hand, letting \(b=0\), \(a=-1\) and \(t=w/uv\) in (6), we can write the right-hand side of (12) as
by means of the q-Gauss sum (7).
On the other hand, in view of the definition (4) and the equation of \(\theta_{x}^{k}\{x^{n}\}\) obtained in Lemma 1, we can easily verify that
Inserting the last two expressions into (12), we obtain the desired result which reduces to the q-exponential function when \(u=1\) or \(v=1\). □
3.3 A generalization of q-Chu-Vandermonde sums
In view of the fact that
and
we can reformulate the q-Chu-Vandermonde sums (8) as
Applying \(\mathbb{T}\bigl [ \scriptsize{\begin{array}{@{}c@{}} u,v\\w \end{array} \mid q;tD_{x}}\bigr ]\) to both sides of the last expression, we have
On the one hand, specifying with \(a=0\) and \(b=q^{k}\), we can restate (5) as
On the other hand, in view of Theorem 2, it is not hard to derive
Combining the last three expression, we get the following result, which is an extension of the q-Chu-Vandermonde sums (8). We remark that it leads to Zhang and Yang’s result ([10], Theorem 3.1), when u or v equals \(q^{-N}\) and \(t=c\).
Theorem 17
Supposing \(n=0\) and \(t=w/uv\), we can reduce the previous theorem as follows.
Corollary 18
Letting \(i+k=m\), and then extracting the coefficients of \(\frac{(u,v;q)_{m}}{(w;q)_{m}}t^{m}\) from both members of Theorem 17, we get the following curious transformation formula, which results in the q-Chu-Vandermonde sums (8) when \(m=0\).
Corollary 19
3.4 A formal generalization of Sears’ formula
Recalling the Sears two-term summation formula [1], Eq. (2.10.18)
we can restate it as
Further applying \(\mathbb{T}\bigl [ \scriptsize{\begin{array}{@{}c@{}} u,v\\w \end{array} \mid q;sD_{x}}\bigr ]\) to both sides of the above identity with respect to the variable a, we write down immediately that
Applying Theorem 2 to both sides of the last identity, we therefore establish the following transformation formula.
Theorem 20
Letting \(n+k=m\), and then extracting the coefficients of \(\frac{(u,v;q)_{m}}{(w;q)_{m}}s^{m}\) from both members of the last theorem, we derive the following result which leads to the Sears two-term summation formula (13) when \(m=0\).
Corollary 21
3.5 A formal generalization of Askey-Wilson integral
Recalling the Askey-Wilson integral [13]
we express it as
Applying \(\mathbb{T}\bigl [ \scriptsize{\begin{array}{@{}c@{}} u,v\\w \end{array} \mid q;tD_{x}}\bigr ]\) to both sides of the above identity with respect to the variable x, we get
By means of Theorem 2, we get, respectively,
and
Substituting the last two expressions into the identity (15), we have the following extension of the Askey-Wilson integral.
Theorem 22
For \(\max\{|b|, |c|,|d|,|x|\}<1\), we have
Letting \(n+k=m\), and then extracting the coefficients of \(\frac{(u,v;q)_{m}}{(w;q)_{m}}t^{m}\) from both members of the last theorem, we thus give the following transformation formula, which leads to the Askey-Wilson integral (14) when \(m=0\).
Corollary 23
References
Gasper, G, Rahman, M: Basic Hypergeometric Series, 2nd edn. Cambridge University Press, Cambridge (2004)
Chen, VYC, Liu, ZG: Parameter augmentation for basic hypergeometric series, I. J. Comb. Theory, Ser. A 80, 175-195 (1997)
Chen, VYC, Liu, ZG: Parameter augmentation for basic hypergeometric series, II. In: Sagan, BE, Stanley, RP (eds.) Mathematical Essays in Honor of Gian-Carlo Rota, pp. 111-129. Birkäuser, Basel (1998)
Liu, ZG: Some operator identities and q-series transformation formulas. Discrete Math. 265(1-3), 119-139 (2010)
Liu, ZG: A new proof of the Nassrallah-Rahman integral. Acta Math. Sin., Chin. Ser. 41(2), 405-410 (1998)
Liu, ZG: An identity of q-differential operator and its applications. J. Syst. Sci. Math. Sci. 18(3), 321-327 (1998) (in Chinese)
Liu, Z: An expansion formula for q-series and applications. Ramanujan J. 6(4), 429-447 (2002)
Chen, VYB, Gu, NSS: The Cauchy operator for basic hypergeometric series. Adv. Appl. Math. 41, 177-196 (2008)
Fang, JP: Some applications of q-differential operator. J. Korean Math. Soc. 47, 223-233 (2010)
Zhang, ZZ, Wang, JZ: Finite q-exponential operators with two parameters and their applications. Acta Math. Sin. 53, 1007-1018 (2010) (in Chinese)
Fang, JP: q-Differential operator and its applications. J. Math. Anal. Appl. 332, 1393-1407 (2007)
Gasper, G: q-Extension of Barnes’, Cauchy’s and Euler’s beta integrals. In: Rassias, TM (ed.) Topics in Mathematical Analysis, pp. 294-314. World Scientific, Singapore (1989)
Ismail, MEH, Rahman, D, Viennot, G: The combinatorics of q-Hermite polynomials and the Askey-Wilson integral. Eur. J. Comb. 8, 379-392 (1987)
Jia, Z: Two new q-exponential operator identities and their applications. J. Math. Anal. Appl. 419, 329-338 (2014)
Zhang, ZZ, Wang, J: Two operator identities and their applications to terminating basic hypergeometric series and q-integrals. J. Math. Anal. Appl. 312, 653-665 (2005)
Acknowledgements
This research was supported by the Education Department of Henan Province (Grant No. 15A110046) and the Research Innovation Project of Zhoukou Normal University (Grant No. zknuA201410).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
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.
About this article
Cite this article
Li, N.N., Tan, W. Two generalized q-exponential operators and their applications. Adv Differ Equ 2016, 53 (2016). https://doi.org/10.1186/s13662-016-0741-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0741-6
MSC
- 33D15
- 05A15
Keywords
- q-series
- q-exponential operator
- q-integral
- q-Chu-Vandermonde sums
- Askey-Wilson integral