Next Article in Journal
Meso-Damage Mechanism of Strength and Deformation Characteristics of Typical Sandstone in Xinwen Coalfield
Next Article in Special Issue
Lacunary Möbius Fractals on the Unit Disk
Previous Article in Journal
Cooperative Optimization Model of BRT Speed and Timing Based on Dual Station at an Intersection
Previous Article in Special Issue
More on Hölder’s Inequality and It’s Reverse via the Diamond-Alpha Integral
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Note on Generalized q-Difference Equations and Their Applications Involving q-Hypergeometric Functions

1
Department of Mathematics and Statistics, University of Victoria, Victoria, BC V8W 3R4, Canada
2
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
3
Department of Mathematics and Informatics, Azerbaijan University, 71 Jeyhun Hajibeyli Street, Baku AZ1007, Azerbaijan
4
Department of Mathematics, Hangzhou Normal University, Hangzhou City 311121, China
5
Department of Mathematics and Informatics, University of Agadez, Post Office Box 199, Agadez 8000, Niger
6
International Chair of Mathematical Physics and Applications (ICMPA-UNESCO Chair), University of Abomey-Calavi, Post Office Box 072, Cotonou 50, Benin
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(11), 1816; https://doi.org/10.3390/sym12111816
Submission received: 13 October 2020 / Revised: 28 October 2020 / Accepted: 30 October 2020 / Published: 2 November 2020
(This article belongs to the Special Issue Theory and Applications of Special Functions in Mathematical Physics)

Abstract

:
Our investigation is motivated essentially by the demonstrated applications of the basic (or q-) series and basic (or q-) polynomials, especially the basic (or q-) hypergeometric functions and basic (or q-) hypergeometric polynomials, in many diverse areas. Here, in this paper, we use two q-operators T ( a , b , c , d , e , y D x ) and E ( a , b , c , d , e , y θ x ) to derive two potentially useful generalizations of the q-binomial theorem, a set of two extensions of the q-Chu-Vandermonde summation formula and two new generalizations of the Andrews-Askey integral by means of the q-difference equations. We also briefly describe relevant connections of various special cases and consequences of our main results with a number of known results.

1. Introduction, Definitions and Preliminaries

Throughout this paper, we refer to [1] for definitions and notations. We also suppose that 0 < q < 1 . For complex numbers a, the q-shifted factorials are defined by
( a ; q ) 0 : = 1 ,
( a ; q ) n : = k = 0 n 1 ( 1 a q k ) = ( 1 a ) ( 1 a q ) ( 1 a q 2 ) ( 1 a q n 1 ) ( n N : = { 1 , 2 , 3 , } )
and
( a ; q ) : = k = 0 ( 1 a q k ) ,
where (see, for example, [1,2])
( a ; q ) n = ( a ; q ) ( a q n ; q ) and ( a ; q ) n + m = ( a ; q ) n ( a q n ; q ) m
and
q a ; q n = ( a ) n q ( 2 n + 1 ) ( a q n ; q ) ( a ; q ) .
We adopt the following notation:
( a 1 , a 2 , , a r ; q ) m = ( a 1 ; q ) m ( a 2 ; q ) m ( a r ; q ) m ( m N : = { 1 , 2 , 3 , } ) .
Also, for m large, we have
( a 1 , a 2 , , a r ; q ) = ( a 1 ; q ) ( a 2 ; q ) ( a r ; q ) .
The q-binomial coefficient is defined by
n k q : = ( q ; q ) n ( q ; q ) k ( q ; q ) n k .
The basic (or q-) hypergeometric function of the variable z and with r numerator and s denominator parameters is defined as follows (see, for details, the monographs by Slater ([2], Chapter 3) and by Srivastava and Karlsson ([3], p. 347, equation (272)); see also [4,5,6]):
r Φ s a 1 , a 2 , , a r ; b 1 , b 2 , , b s ; q ; z : = n = 0 ( 1 ) n q n 2 1 + s r ( a 1 , a 2 , , a r ; q ) n ( b 1 , b 2 , , b s ; q ) n z n ( q ; q ) n ,
where q 0 when r > s + 1 . We also note that
r + 1 Φ r a 1 , a 2 , , a r + 1 b 1 , b 2 , , b r ; q ; z = n = 0 ( a 1 , a 2 , , a r + 1 ; q ) n ( b 1 , b 2 , , b r ; q ) n z n ( q ; q ) n .
We remark in passing that, in a recently-published survey-cum-expository review article, the so-called ( p , q ) -calculus was exposed to be a rather trivial and inconsequential variation of the classical q-calculus, the additional parameter p being redundant or superfluous (see, for details, ([7], p. 340)).
Basic (or q-) series and basic (or q-) polynomials, especially the basic (or q-) hypergeometric functions and basic (or q-) hypergeometric polynomials, are applicable particularly in several areas of Number Theory such as the Theory of Partitions and are useful also in a wide variety of fields including, for example, Combinatorial Analysis, Finite Vector Spaces, Lie Theory, Particle Physics, Non-Linear Electric Circuit Theory (see [8,9]), Mechanical Engineering (see [10]), Theory of Heat Conduction, Quantum Mechanics, Cosmology, Computation of Fractional-Order Derivatives (see [11]) and Statistics [see also ([3], pp. 350–351), and the references cited therein]. Here, in our present investigation, we are mainly concerned with the Cauchy polynomials p n ( x , y ) as given below (see [1,12]):
p n ( x , y ) : = ( x y ) ( x q y ) ( x q n 1 y ) = y x ; q n x n ,
together with the following Srivastava-Agarwal type generating function (see also [13]):
n = 0 p n ( x , y ) ( λ ; q ) n t n ( q ; q ) n = 2 Φ 1 λ , y x ; 0 ; q ; x t .
In particular, for λ = 0 in (6), we get the following simpler generating function [12]:
n = 0 p n ( x , y ) t n ( q ; q ) n = ( y t ; q ) ( x t ; q ) .
The generating function (7) is also the homogeneous version of the Cauchy identity or the following q-binomial theorem (see, for example, [1,2,3,14]):
k = 0 ( a ; q ) k ( q ; q ) k z k = 1 Φ 0 a ; ¯ ; q ; z = ( a z ; q ) ( z ; q ) ( | z | < 1 ) .
Upon further setting a = 0 , this last relation (8) becomes Euler’s identity (see, for example, [1]):
k = 0 z k ( q ; q ) k = 1 ( z ; q ) ( | z | < 1 )
and its inverse relation given below [1]:
k = 0 ( 1 ) k ( q ; q ) k q k 2 z k = ( z ; q ) .
Based upon the q-binomial theorem (8) and Heine’s transformations, Srivastava et al. [15] established a set of two presumably new theta-function identities (see, for details, [15]).
The following usual q-difference operators are defined by [16,17,18]
D a f ( a ) : = f ( a ) f ( q a ) a , θ a = { f ( a ) } : = f ( q 1 a ) f ( a ) q 1 a ,
and their Leibniz rules are given by (see [19])
D a n f ( a ) g ( a ) = k = 0 n n k q q k ( k n ) D a k f ( a ) D a n k g ( q k a )
and
θ a n f ( a ) g ( a ) = k = 0 n n k q θ a k f ( a ) θ a n k g ( q k a ) ,
respectively. Here, and in what follows, D a 0 and θ a 0 are understood as the identity operators.
Recently, Chen and Liu [16,20] constructed the following pair of augmentation operators, which is of great significance for deriving identities by applying its various special cases:
T ( b D x ) = n = 0 ( b D x ) n ( q ; q ) n and E ( b θ x ) = n = 0 ( b θ x ) n ( q ; q ) n .
Subsequently, Chen and Gu [21] defined the Cauchy augmentation operators as follows:
T ( a , b D x ) = n = 0 ( a ; q ) n ( q ; q ) n ( b D x ) n
and
E ( a , b θ x ) = n = 0 ( b ; q ) n ( q ; q ) n ( b θ x ) n .
On the other hand, Fang [22] and Zhang and Wang [23] considered the following finite generalized q-exponential operators with two parameters:
T q N , w v | q ; t D x = n = 0 N ( q N , w ; q ) n ( v , q ; q ) n ( t D x ) n
and
E q N , w v | q ; t θ x = n = 0 N ( q N , w ; q ) n ( v , q ; q ) n ( t θ x ) n .
Moreover, Li and Tan [24] constructed two generalized q-exponential operators with three parameters as follows:
T u , v w | q ; t D x = n = 0 ( u , v ; q ) n ( w , q ; q ) n ( t D x ) n
and
E u , v w | q ; t θ x = n = 0 ( u , v ; q ) n ( w , q ; q ) n ( t θ x ) n .
Finally, we recall that Cao et al. [25] constructed the following q-operators:
T ( a , b , c , d , e , y D x ) = n = 0 ( a , b , c ; q ) n ( q , d , e ; q ) n ( y D x ) n
and
E ( a , b , c , d , e , y θ x ) = n = 0 ( 1 ) n q n 2 ( a , b , c ; q ) n ( q , d , e ; q ) n ( y θ x ) n
and thereby generalized Arjika’s results in [26] by using the q-difference equations (see, for details, [25]).
We remark that the q-operator (21) is a particular case of the homogeneous q-difference operator T ( a , b , c D x ) (see [27]) by taking
a = ( a , b , c ) , b = ( d , e ) and c = y .
Furthermore, for b = c = d = e = 0 , the q-operator (22) reduces to the operator L ˜ ( a , y ; θ x ) which was investigated by Srivastava et al. [28].
Cao et al. [25] used the q-operators (21) and (22) and gave the following results.
Proposition 1.
(see ([25], theorem 3)) Let f (a, b, c, d, e, x, y) be a seven-variable analytic function in a neighborhood of (a, b, c, d, e, x, y) = (0, 0, 0, 0, 0, 0, 0) C 7 .
(I) 
If f ( a , b , c , d , e , x , y ) satisfies the following difference equation:
x { f ( a , b , c , d , e , x , y ) f ( a , b , c , d , e , x , y q ) ( d + e ) q 1 [ f ( a , b , c , d , e , x , y q ) f ( a , b , c , d , e , x , y q 2 ) ] + d e q 2 [ f ( a , b , c , d , e , x , y q 2 ) f ( a , b , c , d , e , x , y q 3 ) ] } = y { [ f ( a , b , c , d , e , x , y ) f ( a , b , c , d , e , x q , y ) ] ( a + b + c ) [ f ( a , b , c , d , e , x , y q ) f ( a , b , c , d , e , x q , y q ) ] + ( a b + a c + b c ) [ f ( a , b , c , d , e , x , y q 2 ) f ( a , b , c , d , e , x q , y q 2 ) ] a b c [ f ( a , b , c , d , e , x , y q 3 ) f ( a , b , c , d , e , x q , y q 3 ) ] } ,
then
f ( a , b , c , d , e , x , y ) = T ( a , b , c , d , e , y D x ) { f ( a , b , c , d , e , x , 0 ) } .
(II) 
If f ( a , b , c , d , e , x , y ) satisfies the following difference equation:
x { f ( a , b , c , d , e , x q , y ) f ( a , b , c , d , e , x q , y q ) ( d + e ) q 1 [ f ( a , b , c , d , e , x q , y q ) f ( a , b , c , d , e , x q , y q 2 ) ] + d e q 2 [ f ( a , b , c , d , e , x q , y q 2 ) f ( a , b , c , d , e , x q , y q 3 ) ] } = y { [ f ( a , b , c , d , e , x q , y q ) f ( a , b , c , d , e , x , y q ) ] ( a + b + c ) [ f ( a , b , c , d , e , x q , y q 2 ) f ( a , b , c , d , e , x , y q 2 ) ] + ( a b + a c + b c ) [ f ( a , b , c , d , e , x q , y q 3 ) f ( a , b , c , d , e , x , y q 3 ) ] a b c [ f ( a , b , c , d , e , x q , y q 4 ) f ( a , b , c , d , e , x , y q 4 ) ] } ,
then
f ( a , b , c , d , e , x , y ) = E ( a , b , c , d , e , y θ x ) { f ( a , b , c , d , e , x , 0 ) } .
Liu [29,30] initiated the method based upon q-difference equations and deduced several results involving Bailey’s 6 ψ 6 , q -Mehler formulas for the Rogers-Szegö polynomials and q-integral version of the Sears transformation.
Lemma 1.
Each of the following q-identities holds true:
D a k 1 ( a s ; q ) = s k ( a s ; q ) ,
θ a k 1 ( a s ; q ) = s k q k 2 ( a s q k ; q ) ,
D a k ( a s ; q ) = ( s ) k q k 2 ( a s q k ; q ) ,
θ a k ( a s ; q ) = ( s ) k ( a s ; q ) ,
D a n ( a s ; q ) ( a ω ; q ) = ω n s ω ; q n ( a s ; q ) n ( a s ; q ) ( a ω ; q )
and
θ a n ( a s ; q ) ( a ω ; q ) = q a n s ω ; q n q a ω ; q n ( a s ; q ) ( a ω ; q ) .
We now state and prove the q-difference formulas as Theorem 1 below.
Theorem 1.
Each of the following assertions holds true:
T ( r , f , g , v , w , u D a ) ( a s ; q ) ( a z , a t ; q ) = ( a s ; q ) ( a z , a t ; q ) k = 0 r , f , g , s z , a t ; q k ( z u ) k ( v , w , a s , q ; q ) k 3 Φ 2 r q k , f q k , g q k ; v q k , w q k ; q ; u t
and
E ( r , f , g , v , w , u θ a ) ( a z , a t ; q ) ( a s ; q ) = ( a z , a t ; q ) ( a s ; q ) k = 0 r , f , g , z s , q a t ; q k ( u t ) k v , w , q a s , q ; q k 3 Φ 3 r q k , f q k , g q k ; v q k , w q k , 0 ; q ; u t ,
provided that max | a z | , | a s | , | a t | , | u t | < 1 .
Proof. 
By means of the definition (21) of the operator T ( r , f , g , v , w , u D a ) and the Leibniz rule (12), we observe that
T ( r , f , g , v , w , u D a ) ( a s ; q ) ( a z , a t ; q ) = n = 0 ( r , f , g ; q ) n u n ( v , w , q ; q ) n D a n ( a s ; q ) ( a z , a t ; q ) = n = 0 ( r , f , g ; q ) n u n ( v , w , q ; q ) n k = 0 n n k q q k ( k n ) D a k ( a s ; q ) ( a z ; q ) · D a n k 1 ( a t q k ; q ) .
Now, using the q-identities (27) and (31), we find that
T ( r , f , g , v , w , u D a ) ( a s ; q ) ( a z , a t ; q ) = n = 0 ( r , f , g ; q ) n u n ( v , w , q ; q ) n k = 0 n n k q q k ( k n ) s z ; q k z k ( a s ; q ) k ( a s ; q ) ( a z ; q ) ( t q k ) n k ( a t q k ; q ) = ( a s ; q ) ( a z , a t ; q ) k = 0 s z , a t ; q k z k ( a s , q ; q ) k n = k ( r , f , g ; q ) n u n t n k ( v , w ; q ) n ( q ; q ) n k .
Upon setting n k = n , the right-hand side of (36) takes the following form:
( a s ; q ) ( a z , a t ; q ) k = 0 r , f , g , s z , a t ; q k ( u z ) k ( v , w , a s , q ; q ) k n = 0 ( r q k , f q k , g q k ; q ) n ( u t ) n ( v q k , w q k , q ; q ) n .
Summarizing the above observations (35) to (37), we get the assertion (33) of Theorem 1.
Similarly, by means of the definition (22) of the operator E ( r , f , g , v , w , u θ a ) and the Leibniz rule (13), we get
E ( r , f , g , v , w , u θ a ) ( a z , a t ; q ) ( a s ; q ) = n = 0 ( 1 ) n q n 2 ( r , f , g ; q ) n u n ( v , w , q ; q ) n θ a n ( a z , a t ; q ) ( a s ; q ) = n = 0 ( 1 ) n q n 2 ( r , f , g ; q ) n u n ( v , w , q ; q ) n k = 0 n n k q θ a k ( a z ; q ) ( a s ; q ) θ a n k ( a t q k ; q ) ,
By using the q-identities (30) and (32), we obtain
E ( r , f , g , v , w , u θ a ) ( a z , a t ; q ) ( a s ; q ) = n = 0 ( 1 ) n q n 2 ( r , f , g ; q ) n u n ( v , w , q ; q ) n k = 0 n n k q q a k z s ; q k q a s ; q k · ( a z ; q ) ( a s ; q ) ( a t q k ; q ) ( t q k ) n k = ( a z , a t ; q ) ( a s ; q ) k = 0 ( 1 ) k q k 2 z s , q a t ; q k t k q a s , q ; q k · n = k q n 2 k ( n k ) ( r , f , g ; q ) n u n t n k ( v , w ; q ) n ( q ; q ) n k .
Now, if we set n k = n , the right-hand side of (39) becomes
( a z , a t ; q ) ( a s ; q ) k = 0 r , f , g , z s , q a t ; q k ( u t ) k v , w , q a s , q ; q k n = 0 q n 2 ( r q k , f q k , g q k ; q ) n ( u t ) n ( v q k , w q k , q ; q ) n .
Finally, by combining the above observations (38) to (40), we arrive at the assertion (34) of Theorem 1. This evidently completes the proof of Theorem 1. □
We remark that, when g = w = 0 , Theorem 1 reduces to the concluding result of Li and Tan [24].
Corollary 1.
It is asserted that
T ( r , f , g , v , w , u D s ) 1 ( x s ; q ) = 1 ( x s ; q ) 3 Φ 2 r , f , g ; v , w ; q ; x u
and
E ( r , f , g , v , w , u θ s ) ( x s ; q ) = ( x s ; q ) 3 Φ 3 r , f , g ; v , w , 0 ; q ; x u ,
provided that max | x s | , | x u | < 1 .
The goal in this paper is to give potentially useful generalizations of a number q-series and q-integral identities such as the q-binomial theorem or the q-Gauss sum, the q-Chu-Vandermonde summation formula and the Andrews-Askey integral.
Our paper is organized as follows. In Section 2, we give two formal generalizations of the q-binomial theorem or the q-Gauss sum by applying the q-difference equations. In Section 3, we derive a set of two extensions q-Chu-Vandermonde summation formulas by making use of the q-difference equations. Next, in Section 4, we derive two new generalizations of the Andrews-Askey integral by means of the q-difference equations. Finally, in our last section (Section 5), we present a number of concluding remarks and observations concerning the various results which we have considered in this investigation.

2. A Set of Formal Generalizations of the q-Binomial Theorem

We begin this section by recalling the following q-binomial theorem (see, for example, [1,2,3,14]):
n = 0 ( a ; q ) n x n ( q ; q ) n = ( a x ; q ) ( x ; q ) ( | x | < 1 ) .
In Theorem 2 below, we give two generalizations of the q-binomial theorem (43) by applying the q-difference equations.
Theorem 2.
Each of the following assertions holds true:
n = 0 ( a ; q ) n a n ( q ; q ) n k = 0 ( q n , a x ; q ) k q k ( q ; q ) k j , i 0 ( r , f , g ; q ) j + i u j + i ( q ; q ) i ( v , w ; q ) j + i c b , a x q k ; q j ( c x , q ; q ) j ( a q k ) i b j = ( a x ; q ) ( x ; q ) j , i 0 ( r , f , g ; q ) j + i u j + i ( q ; q ) i ( v , w ; q ) j + i c b , x ; q j ( c x , q ; q ) j b j ( | x | < 1 )
and
n = 0 ( a ; q ) n a n ( q ; q ) n k = 0 ( q n , a x ; q ) k q k ( q ; q ) k i , j 0 ( 1 ) j + i q 2 i ( r , f , g ; q ) j + i ( q ; q ) i ( v , w ; q ) j + i · b q 1 k a , q c x ; q j q 1 k a x , q ; q j ( u c ) j + i = ( a x ; q ) ( x ; q ) i , j = 0 ( 1 ) j + i q 2 i ( r , f , g ; q ) j + i ( q ; q ) i ( v , w ; q ) j + i q b x ; q j q x , q ; q j ( b u ) j + i ,
provided that both sides of (44) and (45) exist.
Remark 1.
For u = 0 and by using the fact that
k = 0 ( q n , a x ; q ) k ( q ; q ) k q k = 2 Φ 1 q n , a x ; 0 ; q ; q = ( a x ) n ,
the assertions (44) and (45) reduce to (43).
In our proof of Theorem 2, we shall need Theorem 3 and Corollary 2 below.
Theorem 3.
Each of the following assertions holds true:
T ( r , f , g , v , w , u D x ) p n x , y a ( c x ; q ) ( a x , b x ; q ) = ( y ; q ) n a n ( c x ; q ) ( a x , b x ; q ) k = 0 ( q n , a x ; q ) k q k ( y , q ; q ) k · j , i 0 ( r , f , g ; q ) j + i u j + i ( q ; q ) i ( v , w ; q ) j + i c b , a x q k ; q j ( c x , q ; q ) j ( a q k ) i b j
and
E ( r , f , g , v , w , u θ x ) p n x , y a ( b x , c x ; q ) ( a x ; q ) = ( y ; q ) n a n ( b x , c x ; q ) ( a x ; q ) i , j 0 ( 1 ) j + i q ( 2 i ) ( r , f , g ; q ) j + i ( q ; q ) i ( v , w ; q ) j + i · b q 1 k a , q c x ; q j q 1 k a x , q ; q j ( u c ) j + i ,
provided that max | a x | , | b x | , | c x | < 1 .
Corollary 2.
Each of the following assertions holds true:
T ( r , f , g , v , w , u D x ) x n ( c x ; q ) ( a x , b x ; q ) = 1 a n ( c x ; q ) ( a x , b x ; q ) k = 0 ( q n , a x ; q ) k q k ( q ; q ) k · j , i 0 ( r , f , g ; q ) j + i u j + i ( q ; q ) i ( v , w ; q ) j + i c b , a x q k ; j ( c x , q ; q ) j ( a q k ) i b j
and
E ( r , f , g , v , w , u θ x ) x n ( c x , b x ; q ) ( a x ; q ) = 1 a n ( b x , c x ; q ) ( a x ; q ) k = 0 ( q n , a x ; q ) k q k ( q ; q ) k i , j 0 ( 1 ) j + i q ( 2 i ) ( r , f , g ; q ) j + i ( q ; q ) i ( v , w ; q ) j + i · b q 1 k a , q c x ; q j q 1 k a x , q ; q j ( c u ) j + i ,
provided that max | a x | , | b x | , | c x | , | c u | < 1 .
Remark 2.
For y = 0 , the assertions (46) and (47) reduce to (48) and (49), respectively.
Proof of Theorem 3.
Upon first setting x a x in (55) and then multiplying both sides of the resulting equation by ( c x ; q ) ( b x ; q ) , we get
n = 0 ( q n ; q ) k q k ( y , q ; q ) k ( c x ; q ) ( a x q k , b x ; q ) = ( a x ) n y a x ; q n ( c x ; q ) ( y ; q ) n ( a x , b x ; q ) .
Now, by applying the operator T ( r , f , g , v , w , u D x ) to both sides of (50), it is easy to see that
k = 0 ( q n ; q ) k q k ( y , q ; q ) k T ( r , f , g , v , w , u D x ) ( c x ; q ) ( a x q k , b x ; q ) = a n ( y ; q ) n T ( r , f , g , v , w , u D x ) x n y a x ; q n ( c x ; q ) ( a x , b x ; q ) = a n ( y ; q ) n T ( r , f , g , v , w , u D x ) p n x , y a ( c x ; q ) ( a x , b x ; q ) .
The proof of the first assertion (46) of Theorem 3 is completed by using the relation (33) in the left-hand side of (51).
The proof of the second assertion (47) of Theorem 3 is much akin to that of the first assertion (46). The details involved are, therefore, being omitted here. □
Proof of Theorem 2.
Multiplying both sides of (43) by ( c x ; q ) ( b x ; q ) , we find that
n = 0 ( a ; q ) n ( q ; q ) n x n ( c x ; q ) ( a x , b x ; q ) = ( c x ; q ) ( b x , x ; q ) .
Equation (44) can be written equivalently as follows:
n = 0 ( a ; q ) n ( q ; q ) n · a n ( c x ; q ) ( b x , a x ; q ) k = 0 ( q n , a x ; q ) k q k ( q ; q ) k · j , i 0 ( r , f , g ; q ) j + i u j + i ( q ; q ) i ( v , w ; q ) j + i c b , a x q k ; q j ( c x , q ; q ) j ( a q k ) i b j = ( c x ; q ) ( b x , x ; q ) j , i = 0 ( r , f , g ; q ) j + i u j + i ( q ; q ) i ( v , w ; q ) j + i · c b , x ; q j ( c x , q ; q ) j b j .
If we use F ( r , f , g , v , w , a , u ) to denote the right-hand side of (53), it is easy to verify that F ( r , f , g , v , w , a , u ) satisfies (23). By applying (24), we thus find that
F ( r , f , g , v , w , x , u ) = T ( r , f , g , v , w , u D x ) F ( r , f , g , v , w , x , 0 ) = T ( r , f , g , v , w , u D x ) ( c x ; q ) ( b x , x ; q ) = T ( r , f , g , v , w , u D x ) n = 0 ( a ; q ) n ( q ; q ) n x n ( c x ; q ) ( a x , b x ; q ) = n = 0 ( a ; q ) n ( q ; q ) n T ( r , f , g , v , w , u D x ) x n ( c x ; q ) ( a x , b x ; q ) .
The proof of the first assertion (44) of Theorem 2 can now be completed by making use of the relation (48).
The proof of the second assertion (45) of Theorem 2 is much akin to that of the first assertion (44). The details involved are, therefore, being omitted here. □

3. Two Generalizations of the q-Chu-Vandermonde Summation Formula

The q-Chu-Vandermonde summation formula is recalled here as follows (see, for example, [1,31]):
2 Φ 1 q n , x ; y ; q ; q = y x ; q n ( y ; q ) n x n n N 0 : = N { 0 } .
In this section, we give two generalizations of the q-Chu-Vandermonde summation Formula (55) by applying q-difference equations.
Theorem 4.
The following assertion holds true for y 0 :
k = 0 n ( q n , x ; q ) k q k ( q , y ; q ) k 3 Φ 2 r , f , g ; v , w ; q ; u q k = x n y x ; q n ( y ; q ) n k , j 0 ( r , f , g ; q ) k + j ( q ; q ) j ( v , w ; q ) k + j q 1 n y , q x y ; q k x q 1 n y , q ; q k u k + j q y j .
We next derive another generalization of the q-Chu-Vandermonde summation Formula (55) as follows.
Theorem 5.
For m N 0 and y 0 , it is asserted that
2 Φ 1 q n , x ; y ; q ; q 1 + m = x n y x ; q n ( y ; q ) n j = 0 m m j q q 1 n y , q x y ; q m j x q 1 n y ; q m j q y j .
Remark 3.
For u = 0 or m = 0 , the assertion (56) or (57) reduces to the q-Chu-Vandermonde summation Formula (55). Furthermore, if we first set i + j = m and then extract the coefficients of ( r , f , g ; q ) m ( v , w ; q ) m u m from the two members of the assertion (56) of Theorem 4, we obtain the transformation formula (57), which leads us to the q-Chu-Vandermonde summation Formula (55) when m = 0 . Also, upon putting n = 0 , the assertion (57) reduces to the following identity:
j = 0 m m j q q y ; q m j q y j = 1 ( y 0 ) .
Proof of Theorem 4.
We first write (55) in the following form:
k = 0 n ( q n ; q ) k q k ( y , q ; q ) k 1 ( x q k ; q ) = ( 1 ) n y n q 2 n ( y ; q ) n x q 1 n y ; q x , q x y ; q .
Equation (56) can be written equivalently as follows:
k = 0 ( q n ; q ) k q k ( q , c ; q ) k · 1 ( x q k ; q ) 3 Φ 2 r , f , g ; v , w ; q ; u q k = ( 1 ) n y n q 2 n ( y ; q ) n x q 1 n y ; q x , q x y ; q · i , j 0 ( r , f , g ; q ) j + i u j + i ( q ; q ) i ( v , w ; q ) j + i q 1 n y , q x y ; q j x q 1 n y , q ; q j q y i .
If we use G ( r , f , g , v , w , x , u ) to denote the right-hand side of (60), it is easy to observe that G ( r , f , g , v , w , x , u ) satisfies (23). By using (24), we obtain
G ( r , f , g , v , w , x , u ) = T ( r , f , g , v , w , u D x ) G ( r , f , g , v , w , x , 0 ) = T ( r , f , g , v , w , u D x ) ( 1 ) n y n q 2 n ( y ; q ) n x q 1 n y ; q x , q x y ; q = T ( r , f , g , v , w , u D x ) k = 0 ( q n ; q ) k q k ( y , q ; q ) k 1 ( x q k ; q ) = k = 0 n ( q n ; q ) k q k ( y , q ; q ) k T ( r , f , g , v , w , u D x ) 1 ( x q k ; q ) .
Finally, by using the fact that
T ( r , f , g , v , w , u D x ) 1 ( x q k ; q ) = 1 ( x q k ; q ) 3 Φ 2 r , f , g ; v , w ; q ; u q k ,
and after some simplification involving 1 ( x ; q ) , we get the left-hand side of (56). □

4. New Generalizations of the Andrews-Askey Integral

The following famous formula is known as the Andrews-Askey integral (see, for details, [32]). It was derived from Ramanujan’s celebrated 1 Ψ 1 -summation formula.
Proposition 2.
(see ([32], Equation (2.1))). For max | a c | , | a d | , | b c | , | b d | < 1 , it is asserted that
c d q t c , q t d ; q ( a t , b t ; q ) d q t = d ( 1 q ) q , d q c , c d , a b c d ; q ( a c , a d , b c , b d ; q ) .
The Andrews-Askey integral (63) is indeed an important formula in the theory of q-series (see [16]).
Recently, Cao [33] gave the following two generalizations of the Andrews-Askey integral (63) by the method based upon q-difference equations.
Proposition 3.
(see ([33], Theorems 14 and 15)) For N N and r = q N , suppose that
max | a c | , | a d | , | b c | , | b d | , q w r v , q v < 1 .
Then
c d q t c , q t d ; q ( a t , b t ; q ) 4 Φ 2 r , w , c t , a b c d ; a c , q w r v ; q ; q t v b c d d q t = d ( 1 q ) q , d q c , c d , a b c d , q w v , q r v ; q a c , a d , b c , b d , q w r v , q v ; q 2 Φ 1 w , r ; v ; q ; q b c .
Furthermore, for N N and r = q N , suppose that
max | a c | , | a d | , | b c | , | b d | , v w , v r < 1 .
Then
c d q t c , q t d ; q ( a t , b t ; q ) 4 Φ 2 r , w , c t , q a d ; q a t , q r w v ; q ; q d q t = d ( 1 q ) q , d q c , c d , a b c d , v w r , v ; q a c , a d , b c , b d , v w , v r ; q 2 Φ 1 w , r ; v ; q ; v b c w r .
In this section, we give the following two generalizations of the Andrews-Askey integral (63) by using the method of q-difference equations.
Theorem 6.
For M N and r = q M , suppose that
max | a c | , | a d | , | b c | , | b d | , q b c < 1 .
Then
c d q t c , q t d ; q ( a t , b t ; q ) k = 0 r , f , g , c t , a b c d ; q k q t b c d k ( v , w , a c , q ; q ) k 3 Φ 2 r q k , f q k , g q k ; v q k , w q k ; q ; q d q t = d ( 1 q ) q , d q c , c d , a b c d ; q ( a c , a d , b c , b d ; q ) 3 Φ 2 r , f , g ; v , w ; q ; q b c .
Theorem 7.
For M N and r = q M , suppose that max | a c | , | a d | , | b c | , | b d | < 1 . Then
c d q t c , q t d ; q ( a t , b t ; q ) k = 0 r , f , g , c t , q a d ; q k v w r f g k v , w , q a t , q ; q k 3 Φ 3 r q k , f q k , g q k ; v q k , w q k , 0 ; q ; v w r f g d q t = d ( 1 q ) q , d q c , c d , a b c d ; q ( a c , a d , b c , b d ; q ) 3 Φ 3 r , f , g ; v , w , 0 ; q ; v w b c r f g .
Remark 4.
For r = 1 , both (66) and (67) reduce to (63). Moreover, for r = q N , g = w = 0 and u = q b c d , the assertion (66) of Theorem 6 reduces to (64). For r = q N , g = w = 0 and u = v r f b c d , the assertion (66) of Theorem 7 reduces to (67).
Proof of Theorems 6 and 7.
Equation (66) can be written equivalently as follows:
c d q t c , q t d ; q ( b t ; q ) · ( a c ; q ) ( a t , a b c d ; q ) k = 0 r , f , g , c t , a b c d ; q k q t b c d k ( v , w , a c , q ; q ) k · 3 Φ 2 r q k , f q k , g q k ; v q k , w q k ; q ; q d q t = d ( 1 q ) q , d q c , c d ; q ( b c , b d ; q ) · 1 ( a d ; q ) 3 Φ 2 r , f , g ; v , w ; q ; q b c .
If we use H ( r , f , g , v , w , a , u ) to denote the right-hand side of (68), it is easy to see that H ( r , f , g , v , w , a , u ) satisfies (23) with u = q b c d . By making use of (24), we thus find that
H ( r , f , g , v , w , a , u ) = T ( r , f , g , v , w , u D a ) H ( r , f , g , v , w , a , 0 ) = T r , f , g , v , w , q b c d D a H ( 1 , f , g , v , w , a , u ) = T r , f , g , v , w , q b c d D a d ( 1 q ) q , d q c , c d ; q ( b c , b d ; q ) · 1 ( a d ; q ) = T r , f , g , v , w , q b c d D a c d q t c , q t d ; q ( b t ; q ) · ( a c ; q ) ( a t , a b c d ; q ) d q t = c d q t c , q t d ; q ( b t ; q ) · T r , f , g , v , w , q b c d D a ( a c ; q ) ( a t , a b c d ; q ) d q t .
Now, by applying the fact that
T r , f , g , v , w , q b c d D a ( a c ; q ) ( a t , a b c d ; q ) = ( a c ; q ) ( a t , a b c d ; q ) k = 0 r , f , g , c t , a b c d ; q k q t b c d k ( v , w , a c , q ; q ) k 3 Φ 2 r q k , f q k , g q k ; v q k , w q k ; q ; q ,
we get the left-hand side of (66).
Similarly, Equation (67) can be written equivalently as follows:
c d q t c , q t d ; q ( b t ; q ) · a c ; q ( a t , a b c d ; q ) k = 0 r , f , g , c t , q a d ; q k v w r f g k v , w , q a t , q ; q k · 3 Φ 3 r q k , f q k , g q k ; v q k , w q k , 0 ; q ; v w r f g d q t = d ( 1 q ) q , d q c , c d ; q ( b c , b d ; q ) · 1 ( a d ; q ) 3 Φ 3 r , f , g ; v , w , 0 ; q ; v w b c r f g .
The proof of the assertion (67) of Theorem 7 is much akin to that of the assertion (66) of Theorem 6 by using Proposition 1 (II). The analogous details involved are, therefore, being omitted here.
The proofs of Theorems 6 and 7 are thus completed. □

5. Concluding Remarks and Observations

In our present investigation, we have introduced a set of two q-operators T ( a , b , c , d , e , y D x ) and E ( a , b , c , d , e , y θ x ) with to applying them to derive two potentially useful generalizations of the q-binomial theorem, two extensions of the q-Chu-Vandermonde summation formula and two new generalizations of the Andrews-Askey integral by means of the q-difference equations. We have also briefly described relevant connections of various special cases and consequences of our main results with several known results.
It is believed that the q-series and q-integral identities, which we have presented in this paper, as well as the various related recent works cited here, will provide encouragement and motivation for further researches on the topics that are dealt with and investigated in this paper.
Just as we mentioned in Section 1 above, basic (or q-) series and basic (or q-) polynomials, especially the basic (or q-) hypergeometric functions and basic (or q-) hypergeometric polynomials, are applicable particularly in several diverse areas [see also ([3], pp. 350–351)]. In particular, the celebrated Chu-Vandermonde summation theorem and its known q-extensions, which we have considered in this paper, have already been demonstrated to be useful (see, for details, [1,14,31]). The new q-Chu-Vandermone summation theorems, which we have presented in this paper, are believed to be useful as well.
In conclusion, we find it to be worthwhile to remark that some potential further applications of the methodology and findings, which we have presented here by means of the q-analysis and the q-calculus, can be found in the study of the zeta and q-zeta functions as well as their related functions of Analytic Number Theory (see, for example, [34,35]; see also [14]) and also in the study of analytic and univalent functions of Geometric Function Theory via number-theoretic objects (see, for example, [36]).

Author Contributions

Conceptualization, S.A., H.M.S. and J.C.; Formal analysis, H.M.S. and S.A.; Investigation, S.A. and J.C.; Methodology, S.A., H.M.S. and J.C.; Validation, S.A. and H.M.S.; Visualization, S.A.; Writing—Review and Editing, H.M.S. and S.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare that they have no conflict of interest.

References

  1. Gasper, G.; Rahman, M. Basic Hypergeometric Series (with a Foreword by Richard Askey), Encyclopedia of Mathematics and Its Applications, 2nd ed.; Cambridge University Press: Cambridge, UK; London, UK; New York, NY, USA, 2004; Volume 96. [Google Scholar]
  2. Slater, L.J. Generalized Hypergeometric Functions; Cambridge University Press: Cambridge, UK; London, UK; New York, NY, USA, 1966. [Google Scholar]
  3. Srivastava, H.M.; Karlsson, P.W. Multiple Gaussian Hypergeometric Series; Ellis Horwood Limited: Chichester, UK, 1985. [Google Scholar]
  4. Koekock, R.; Swarttouw, R.F. The Askey-Scheme of Hypergeometric Orthogonal Polynomials and its q-Analogue; Report No. 98-17; Delft University of Technology: Delft, The Netherlands, 1998. [Google Scholar]
  5. Srivastava, H.M. Certain q-polynomial expansions for functions of several variables. I. IMA J. Appl. Math. 1983, 30, 315–323. [Google Scholar] [CrossRef]
  6. Srivastava, H.M. Certain q-polynomial expansions for functions of several variables. II. IMA J. Appl. Math. 1984, 33, 205–209. [Google Scholar] [CrossRef]
  7. Srivastava, H.M. Operators of basic (or q-) calculus and fractional q-calculus and their applications in geometric function theory of complex analysis. Iran. J. Sci. Technol. Trans. A Sci. 2020, 44, 327–344. [Google Scholar] [CrossRef]
  8. Morozov, V.N. Penetration of nonstationary ionospheric electric fields into lower atmospheric layers in the global electric circuit model. Geomagnet. Aeronom. 2018, 58, 113–118. [Google Scholar] [CrossRef]
  9. Suzuki, A.T. Correspondence between the one-loop three-point vertex and the Y and Δ electric resistor networks. Canad. J. Phys. 2014, 92, 131–135. [Google Scholar] [CrossRef]
  10. Di Barba, P.; Fattorusso, L.; Versaci, M. Electrostatic field in terms of geometric curvature in membrane MEMS devices. Commun. Appl. Industr. Math. 2017, 8, 165–184. [Google Scholar] [CrossRef] [Green Version]
  11. Włodarczyk, M.; Zawadzki, A. The application of hypergeometric functions to computing fractional order derivatives of sinusoidal functions. Bull. Polish Acad. Sci. Tech. Sci. 2016, 64, 243–248. [Google Scholar] [CrossRef]
  12. Chen, W.Y.C.; Fu, A.M.; Zhang, B. The homogeneous q-difference operator. Adv. Appl. Math. 2003, 31, 659–668. [Google Scholar] [CrossRef] [Green Version]
  13. Cao, J.; Srivastava, H.M. Some q-generating functions of the Carlitz and Srivastava-Agarwal types associated with the generalized Hahn polynomials and the generalized Rogers-Szegö polynomials. Appl. Math. Comput. 2013, 219, 8398–8406. [Google Scholar] [CrossRef]
  14. Srivastava, H.M.; Choi, J. Zeta and q-Zeta Functions and Associated Series and Integrals; Elsevier Science Publishers: Amsterdam, The Netherlands; London, UK; New York, NY, USA, 2012. [Google Scholar]
  15. Srivastava, H.M.; Chaudhary, M.P.; Wakene, F.K. A family of theta-function identities based upon q-binomial theorem and Heine’s transformations. Montes Taurus J. Pure Appl. Math. 2020, 8, 918. [Google Scholar]
  16. Chen, W.Y.C.; Liu, Z.-G. Parameter augmenting for basic hypergeometric series. II. J. Combin. Theory Ser. A 1997, 80, 175–195. [Google Scholar] [CrossRef] [Green Version]
  17. Saad, H.L.; Sukhi, A.A. Another homogeneous q-difference operator. Appl. Math. Comput. 2010, 215, 4332–4339. [Google Scholar] [CrossRef]
  18. Srivastava, H.M.; Abdlhusein, M.A. New forms of the Cauchy operator and some of their applications. Russ. J. Math. Phys. 2016, 23, 124–134. [Google Scholar] [CrossRef]
  19. Roman, S. The theory of the umbral calculus. I. J. Math. Anal. Appl. 1982, 87, 58–115. [Google Scholar] [CrossRef] [Green Version]
  20. Chen, W.Y.C.; Liu, Z.-G. Parameter augmentation for basic hypergeometric series. I. In Mathematical Essays in Honor of Gian-Carlo Rota; Sagan, B.E., Stanley, R.P., Eds.; Birkäuser: Basel, Switzerland; New York, NY, USA, 1998; pp. 111–129. [Google Scholar]
  21. Chen, V.Y.B.; Gu, N.S.S. The Cauchy operator for basic hypergeometric series. Adv. Appl. Math. 2008, 41, 177–196. [Google Scholar] [CrossRef] [Green Version]
  22. Fang, J.P. Some applications of q-differential operator. J. Korean Math. Soc. 2010, 47, 223–233. [Google Scholar] [CrossRef]
  23. Zhang, Z.Z.; Wang, J.Z. Finite q-exponential operators with two parameters and their applications. Acta Math. Sinica 2010, 53, 1007–1018. (In Chinese) [Google Scholar]
  24. Li, N.N.; Tan, W. Two generalized q-exponential operators and their applications. Adv. Differ. Equ. 2016, 2016, 53. [Google Scholar] [CrossRef] [Green Version]
  25. Cao, J.; Xu, B.; Arjika, S. A note on generalized q-difference equations for general Al-Salam-Carlitz polynomials. J. Differ. Equ. Appl. 2020. submitted. [Google Scholar]
  26. Arjika, S. q-difference equations for homogeneous q-difference operators and their applications. J. Differ. Equ. Appl. 2020, 26, 987–999. [Google Scholar] [CrossRef]
  27. Srivastava, H.M.; Arjika, S. Generating functions for some families of the generalized Al-Salam-Carlitz q-polynomials. Adv. Differ. Equ. 2020, 2020, 498. [Google Scholar] [CrossRef]
  28. Srivastava, H.M.; Arjika, S.; Kelil, A.S. Some homogeneous q-difference operators and the associated generalized Hahn polynomials. Appl. Set Valued Anal. Optim. 2019, 1, 187–201. [Google Scholar]
  29. Liu, Z.-G. Two q-difference equations and q-operator identities. J. Differ. Equ. Appl. 2010, 16, 1293–1307. [Google Scholar] [CrossRef]
  30. Liu, Z.-G. An extension of the non-terminating 6ϕ5-summation and the Askey-Wilson polynomials. J. Differ. Equ. Appl. 2011, 17, 1401–1411. [Google Scholar] [CrossRef]
  31. Andrews, G.E. q-Series: Their Development and Applications in Analysis, Number Theory, Combinatorics, Physics and Computer Algebra; CBMS Regional Conference Lecture Series; American Mathematical Society: Ann Arbor, MI, USA, 1986; Volume 66. [Google Scholar]
  32. Andrews, G.E.; Askey, R. Another q-extension of the beta function. Proc. Am. Math. Soc. 1981, 81, 97–100. [Google Scholar]
  33. Cao, J. A note on generalized q-difference equations for q-beta and Andrews-Askey integral. J. Math. Anal. Appl. 2014, 412, 841–851. [Google Scholar] [CrossRef]
  34. Srivastava, H.M. The Zeta and related functions: Recent developments. J. Adv. Engrg. Comput. 2019, 3, 329–354. [Google Scholar] [CrossRef] [Green Version]
  35. Srivastava, H.M. Some general families of the Hurwitz-Lerch Zeta functions and their applications: Recent developments and directions for further researches. Proc. Inst. Math. Mech. Nat. Acad. Sci. Azerbaijan 2019, 45, 234–269. [Google Scholar] [CrossRef]
  36. Shafiq, M.; Srivastava, H.M.; Khan, N.; Ahmad, Q.Z.; Darus, M.; Kiran, S. An upper bound of the third Hankel determinant for a subclass of q-starlike functions associated with k-Fibonacci numbers. Symmetry 2020, 12, 1043. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Srivastava, H.M.; Cao, J.; Arjika, S. A Note on Generalized q-Difference Equations and Their Applications Involving q-Hypergeometric Functions. Symmetry 2020, 12, 1816. https://doi.org/10.3390/sym12111816

AMA Style

Srivastava HM, Cao J, Arjika S. A Note on Generalized q-Difference Equations and Their Applications Involving q-Hypergeometric Functions. Symmetry. 2020; 12(11):1816. https://doi.org/10.3390/sym12111816

Chicago/Turabian Style

Srivastava, Hari M., Jian Cao, and Sama Arjika. 2020. "A Note on Generalized q-Difference Equations and Their Applications Involving q-Hypergeometric Functions" Symmetry 12, no. 11: 1816. https://doi.org/10.3390/sym12111816

APA Style

Srivastava, H. M., Cao, J., & Arjika, S. (2020). A Note on Generalized q-Difference Equations and Their Applications Involving q-Hypergeometric Functions. Symmetry, 12(11), 1816. https://doi.org/10.3390/sym12111816

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop