Access the full text.
Sign up today, get DeepDyve free for 14 days.
M. Schlosser (2006)
Multilateral Inversion of Ar, Cr, and Dr Basic Hypergeometric SeriesAnnals of Combinatorics, 13
William Chen, Amy Fu, Bao-Yin Zhang (2003)
The homogeneous q-difference operatorAdv. Appl. Math., 31
S. Araci, M. Acikgoz, T. Diagana, H. Srivastava (2017)
A novel approach for obtaining new identities for the lambda extension of q- Euler polynomials arising from the q-umbral calculusThe Journal of Nonlinear Sciences and Applications, 10
Jianbing Cao, H. Srivastava (2013)
Some q-generating functions of the Carlitz and Srivastava-Agarwal types associated with the generalized Hahn polynomials and the generalized Rogers-Szegö polynomialsAppl. Math. Comput., 219
Steven Roman (1985)
More on the umbral calculus, with emphasis on the q-umbral calculusJournal of Mathematical Analysis and Applications, 107
Steven Roman (1982)
The theory of the umbral calculus IIIJournal of Mathematical Analysis and Applications, 87
G. Rota (2009)
On the Foundations of Combinatorial Theory
William Chen, Zhi-Guo Liu (1997)
Parameter Augmentation for Basic Hypergeometric Series, IIJ. Comb. Theory, Ser. A, 80
Warren Johnson (1996)
q-Extensions of identities of Abel-Rothe typeDiscret. Math., 159
J. Goldman, J. Goldman, G. Rota, G. Rota (1970)
On the Foundations of Combinatorial Theory IV Finite Vector Spaces and Eulerian Generating FunctionsStudies in Applied Mathematics, 49
R. Koekoek, Rene Swarttouw (1996)
The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue Report Fac
M. Abdlhusein (2016)
Two operator representations for the trivariate q-polynomials and Hahn polynomialsThe Ramanujan Journal, 40
B. Dwork (1990)
Generalized Hypergeometric Functions
H. Srivastava, P. Karlsson (1985)
Multiple Gaussian hypergeometric series
E. Ihrig, M. Ismail (1981)
A q-umbral calculusJournal of Mathematical Analysis and Applications, 84
H. Srivastava, M. Abdlhusein (2016)
New forms of the Cauchy operator and some of their applicationsRussian Journal of Mathematical Physics, 23
Husam Saad, Abbas Sukhi (2010)
Another homogeneous q-difference operatorAppl. Math. Comput., 215
E. Grosswald (1984)
The Theory of Partitions
Husam Saad, Abbas Sukhi (2013)
The q-Exponential OperatorApplied mathematical sciences, 7
SOME HOMOGENEOUS q-DIFFERENCE OPERATORS AND THE ASSOCIATED GENERALIZED HAHN POLYNOMIALS 1,‡ 1,∗ 3,† HARI M. SRIVASTAVA , SAMA ARJIKA AND ABEY KELIL Abstract. In this paper, we first construct the homogeneous q-shift operator E(a, b; D ) and the homogeneous q-difference operator L(a, b; θ ). We then apply these operators in xy order to represent and investigate generalized Cauchy and a general form of Hahn poly- nomials. We derive some q-identities such as: generating functions, extended generating functions, Mehler’s formula and Roger’s formula for these q-polynomials. 1. Introduction We adopt the common conventions and notations on q-series. For the convenience of the reader, we provide a summary of the mathematical notations and definitions to be used in this paper. We refer to the general references (see [9]) for the definitions and notations. Throughout this paper, we assume that 0 < q ≤ 1. For complex numbers a, the q-shifted factorials are defined by: n−1 (1.1) (a; q) := 1, (a; q) := (1 − aq ), n ∈ N 0 n k=0 and for large n, we have (1.2) (a; q) := (1 − aq ). k=0 The q-numbers and q-factorials are defined as follows: n k 1 − q 1 − q (1.3) [n] := , [n] ! := , [0] ! := 1. q q q 1 − q 1 − q k=1 The q-binomial coefficients are given by n [n] ! (1.4) : = . k [k] ! [n − k] ! q q 2010 Mathematics Subject Classification. 05A30, 33D15, 33D45. Key words and phrases. Basic hypergeometric series; Homogeneous q-difference operator; q-binomial theorem; Cauchy polynomials; Hahn polynomials. arXiv:1908.03207v1 [math.CA] 8 Aug 2019 1,‡ 1,∗ 3,† 2 HARI M. SRIVASTAVA , SAMA ARJIKA AND ABEY KELIL The basic or q-hypergeometric function in the variable x (see Slater [14, Chap. 3], Srivas- tava and Karlsson [16, p.347, Eq. (272)] for details) is defined as [9]: h i 1+s−r n (a , a , . . ., a ; q) x a , a , . . . , a 1 2 r n 1 2 r n ( ) (1.5) Φ q; x = (−1) q . r s b , b , . . . , b 1 2 s (b , b , . . . , b ; q) (q; q) 1 2 s n n n=0 Basic or q-hypergeometric series and various associated families of q-polynomials are useful in a wide variety of fields including, for example, the theory of partitions, number theory, combinatorial analysis, finite vector spaces, Lie theory, particle physics, non-linear electric circuit theory, mechanical engineering, theory of heat conduction, quantum mechanics, cosmology, and statistics (see [16, pp. 346-351] and the references cited therein). We will be mainly concerned with the Cauchy polynomials as given below [5] n−1 n (1.6) p (x, y) := (x − y)(x − qy) · · · (x − q y) = (y/x; q) x n n with the generating function [3] t (yt; q) (1.7) p (x, y) = , (q; q) (xt; q) k ∞ k=0 where [3] n ( ) 1−n (1.8) p (x, y) = (−1) q p (y, q x), n n and k n 1−n n−k ( )−( ) k 2 2 (1.9) p (x, q y) = (−1) q p (y, q x). n−k n−k which naturally arise in the q-umbral calculus [2], Goldman and Rota [10], Ihrig and Ismail [8], Johnson [7] and Roman [10]. The generating function (1.7) is also the homogeneous version of the Cauchy identity or the q-binomial theorem [5] (a; q) (ax; q) k ∞ (1.10) x = Φ q; x = . 1 0 (q; q) (x; q) k ∞ k=0 Putting a = 0, the relation (1.10) becomes Euler’s identity [5] x 1 (1.11) = (q; q) (x; q) k ∞ k=0 and its inverse relation [5] ∞ k k ( ) k (−1) q x (1.12) = (x; q) . (q; q) k=0 Recently, Saad and Sukhi [13] have introduced the following q-exponential operator R(bD ) as follows k ( ) (−1) q (1.13) R(bD ) = (b D ) q q (q; q) k=0 SOME HOMOGENEOUS q-DIFFERENCE OPERATORS AND THE ASSOCIATED GENERALIZED HAHN POLYNOMIALS3 where the q-differential operator, or the q-derivative, acting on the variable a, is defined by [4, 12] f(a) − f(qa) (1.14) D f(a) = . Evidently, (1.15) R(yD )(x ) = p (x, y). q n Suppose that the operator R(yD ) acts on the variable x, then we have the following [13, 15]: ( ) 1 (yt; q) (1.16) R(yD ) = , (xt; q) (xt; q) ∞ ∞ 1 (ys; q) xs (1.17) R(yD ) = Φ q; yt , q 1 1 ys (xt, xs; q) (xt, xs; q) ∞ ∞ ( ) (xv; q) (ys; q) v/t, y/x ∞ ∞ (1.18) R(yD ) = Φ q; xt . q 2 1 ys (xt, xs; q) (xs; q) ∞ ∞ Srivastava and Abdlhusein [15], showed that by setting v = 0 in (1.18), it becomes: ( ) 1 (ys; q) y/x, 0 (1.19) R(yD ) = Φ q; xt . q 2 1 ys (xt, xs; q) (xs; q) ∞ ∞ Comparing the identity (1.19) and the identity (1.17), we get the following transformation y/x, 0 xs (1.20) Φ q; xt = Φ q; yt . 2 1 1 1 ys ys (xt; q) Motivated by Saad and Sukhi [13], Srivastava and Abdlhusein [15] works, our interest e e is to introduce new homogeneous q-difference operators E(a, b; D ) and T (a, b; θ ). The q xy first homogeneous q-difference operator E(a, b; D ) is defined by ∞ k k ( ) (−1) q (a; q) k k (1.21) E(a, b; D ) = (b D ) . q q (q; q) k=0 Compared with R(yD ), the homogeneous q-difference operator (1.21) involves two pa- rameters. Clearly, the operator R(yD ) can be considered as a special case of the operator (1.21) for a = 0. Second, we introduce another homogeneous q-difference operator L(a, b; θ ) by xy ( ) q (a; q) (1.22) L(a, b; θ ) = (b θ ) , xy xy (q; q) k=0 1,‡ 1,∗ 3,† 4 HARI M. SRIVASTAVA , SAMA ARJIKA AND ABEY KELIL where [4, 12] n o −1 f(q x, y) − f(x, qy) (1.23) θ f(x, y) = xy −1 q x − y acting on functions of suitable variables x and y [15, 12] ( ) (q; q) (xt; q) (xt; q) n ∞ ∞ k k k k (1.24) θ p (y, x) = (−1) p (y, x) and θ = (−t) . n n−k xy xy (q; q) (yt; q) (yt; q) n−k ∞ ∞ The homogeneous q-difference operator (1.22) involves two parameters. It can be consid- ered as a generalization of the homogeneous q-difference operator L(bθ ) introduced by xy Saad and Sukhi [12]. For a = 0, we have: (1.25) L(0, b; θ ) = L(bθ ). xy xy The definition (1.22) is motivated by the natural question of extending generating func- tion, Mehler’s formula and Roger’s-type formula for a general form for the Hahn polyno- mials h (x, y, a, b|q). The operators (1.21) and (1.22) turn out to be suitable for dealing with a generalized Cauchy polynomials p (x, y, a) and the generalized Hahn polynomi- als h (x, y, a, b|q). They are then applied in order to represent and investigate some q- identities such as: generating functions, extended generating functions, Mehler’s formula and Roger’s-type formula for p (x, y, a) and h (x, y, a, b|q) polynomials. n n 2. Generalized Cauchy polynomials p (x, y, a) In this section, we introduce a generalized Cauchy polynomials p (x, y, a). We then represent this polynomials p (x, y, a) by means of the homogeneous q-difference operator E(a, b; D ) and derive their generating function. We also use the operational formula for p (x, y, a) to establish an extended generating function, Mehlers formula and Rogers formula for the Cauchy polynomials p (x, y, a). Let us start by the the following Leibniz rule [11] n k(k−n) k n−k k (2.1) D {f(x)g(x)} = q D {f(x)} D g(q x) . q q q k=0 For f(x) = x , f(x) = (xt; q) and f(x) = Φ q; bx , respectively, we have the ∞ 1 1 following identities: n (xt; q) n k k−n+1 k−n n ( ) n (2.2) D (x ) = (q ; q) x , D (xt; q) = q t n ∞ q q (xt; q) and a n aq n n n ( ) n (2.3) D Φ q; bx = (−1) b (a; q) q Φ q; bxq . 1 1 n 1 1 0 0 SOME HOMOGENEOUS q-DIFFERENCE OPERATORS AND THE ASSOCIATED GENERALIZED HAHN POLYNOMIALS5 n m Suppose that the operator D acts on the variable s. If we set f(s) = s , g(s) = s and f(s) = Φ q; bsq , g(s) = , respectively, and making used (2.2) and 1 1 (xsq ; q) (2.1), we get the following identities to be used in the sequel: n+m−k+1 j(j−k+m) n−j+1 m−k+j+1 (2.4) q ; q = q (q ; q) (q ; q) j k−j j=0 and Φ q; bsq 1 1 (2.5) D (xsq ; q) 1 n a j(j−n+k)+( ) j n−j j+k = q x (xs; q) D Φ q; bsq . j 1 1 j 0 (xs; q) j=0 Definition 2.1. The homogeneous q-difference operator E(a, b; D ) is defined by ∞ k k ( ) (−1) q (a; q) k k (2.6) E(a, b; D ) = (b D ) . q q (q; q) k=0 Remark that, for a = 0, we have: (2.7) E(0, b; D ) = R(bD ). q q Proposition 2.1. We suppose that the operator D acts on the variable x. We have: ( ) 1 1 (2.8) E(a, y; D ) = Φ q; yt , q 1 1 (xt; q) (xt; q) ∞ ∞ ( ) (2.9) E(a, y; D ) = (xt, xs; q) ∞ n n ( ) n 1 (−1) q (a; q) (sy) aq , xs Φ q; ytq , 2 1 (xt, xs; q) (q; q) ∞ n n=0 ( ) (2.10) E(a, y; D ) = (xt; q) ∞ n k n ( ) n −k n x (−1) q (a; q) (ty) y q , aq , xt n+k Φ q; q . 3 2 0, 0 (xt; q) (q; q) x ∞ n n=0 1,‡ 1,∗ 3,† 6 HARI M. SRIVASTAVA , SAMA ARJIKA AND ABEY KELIL 1, aq , xt Setting k = 0 in the assertion (2.10) and making used Φ q; q = 1, we 3 2 0, 0 get (2.8). Theorem 2.1. We suppose that the operator D acts on the variable s. We have: ( ) n+j+k ∞ ∞ ∞ k n j+k ( )+( )+( ) XXX 2 2 2 (ys; q) (ys; q) (−1) q ∞ ∞ E(a, t; D ) Φ q; bs = q 1 1 (xs; q) (xs; q) (q; q) (q; q) (q; q) ∞ ∞ k n j n=0 k=0 j=0 (a; q) (a; q) (xs; q) aq n n+j+k k j+k+n n+j+k (2.11) × Φ q; bsq t . 1 1 (ys; q) Proof. ( ) (ys; q) E(a, t; D ) Φ q; bs q 1 1 (xs; q) ( ) ∞ n n ( ) n (−1) q t (a; q) (ys; q) n ∞ (2.12) = D Φ q; bs . 1 1 (q; q) (xs; q) n ∞ n=0 By using (2.1), the r.h.s. of (2.12) becomes Φ q; bsq ∞ n n 1 1 n ( ) n X X (−1) q t (a; q) k(k−n) k n−k q D (ys; q) D q q (q; q) (xsq ; q) n ∞ q n=0 k=0 Φ q; bsq ∞ ∞ n k 1 1 n ( )+k(k−n)+( ) n k XX 2 2 (−1) q t y (a; q) k n−k = (ysq ; q) D . (q; q) (q; q) (xsq ; q) k n−k ∞ n=0 k=n Changing n − k by n in the last relation, it becomes n+k Φ q; bsq ∞ ∞ k 1 1 n+k ( )−kn+( ) n+k k XX 2 2 (−1) q t y (a; q) n+k (2.13) (ys; q) D . (ys; q) (q; q) (q; q) (xsq ; q) k k n ∞ n=0 k=0 By using (2.5), the last relation takes the form n+k ∞ ∞ n k n+k −kn+j(j−n+k)+( )+( ) k n+k j XXX 2 2 (ys; q) (−1) q (a; q) (xs; q) y t x ∞ n+k k (xs; q) (ys; q) (q; q) (q; q) (q; q) ∞ k k n−j j n=0 k=0 j=0 n−j j+k × D Φ q; bsq 1 1 0 SOME HOMOGENEOUS q-DIFFERENCE OPERATORS AND THE ASSOCIATED GENERALIZED HAHN POLYNOMIALS7 n+j+k ∞ ∞ ∞ k n+j+k −kn−jn+( )+( ) k n+j+k j XXX 2 2 (ys; q) (−1) q (a; q) (xs; q) y t x ∞ n+j+k k (xs; q) (ys; q) (q; q) (q; q) (q; q) ∞ k k n j n=0 k=0 j=0 n j+k × D Φ q; bsq 1 1 n+j+k ∞ ∞ ∞ k n j+k ( )+( )+( ) n k n+j+k j XXX 2 2 2 (ys; q) (−1) q (a; q) (a; q) (xs; q) b y t x ∞ n n+j+k k (xs; q) (ys; q) (q; q) (q; q) (q; q) ∞ k k n j n=0 j=0 k=0 aq j+k+n × Φ q; bsq 1 1 Summarizing the above calculations, we get the assertion (2.11). Definition 2.2. In terms of q-shifted factorial, we define a generalized Cauchy polynomials p (x, y, a) by k ( ) n−k k (2.14) p (x, y, a) = (−1) q (a; q) x y n k k=0 and n k n n n k n−k k ( ) ( ) 2 2 p (0, y, a) = (−1) q (a; q) y , p (x, 0, a) = x , p (x, y, 0) = (−1) q x y . n n n n k=0 The following operational formula holds true. n o (2.15) E(a, y; D ) x = p (x, y, a). q n Indeed, n o n o k ( ) (−1) q (a; q) n n E(a, y; D ) x = (y D ) x q q (q; q) k=0 ∞ k k ( ) (−1) q (a; q) (q; q) k n k n−k (2.16) = y x = p (x, y, a). (q; q) (q; q) k n−k k=0 Theorem 2.2. (Generating function for p (x, y, a)) The following generating function holds true. t 1 (2.17) p (x, y, a) = Φ q; yt , n 1 1 (q; q) (xt; q) n ∞ n=0 where |xt| < 1. Proof. We suppose that the operator D acts on the variable x. Then, ( ) ∞ ∞ ∞ n o n n n X X X t t (xt) e e p (x, y, a) = E(a, y; D ) x = E(a, y; D ) n q q (q; q) (q; q) (q; q) n n n n=0 n=0 n=0 1,‡ 1,∗ 3,† 8 HARI M. SRIVASTAVA , SAMA ARJIKA AND ABEY KELIL ( ) = E(a, y; D ) (xt; q) 1 a = Φ q; yt 1 1 (xt; q) which evidently completes the proof of assertion (2.17). Theorem 2.3. (Extended generating function for p (x, y, a)) We have: (2.18) p (x, y, a) n+k (q; q) n=0 ∞ n k n ( ) n X −k n x (−1) q (a; q) (ty) y q , aq , xt n+k Φ q; q , 3 2 0, 0 (xt; q) (q; q) x ∞ n n=0 where |xt| < 1. Proof. We suppose that the operator D acts on the variable s. Then, we have: ( ) ∞ ∞ ∞ n o n n n X X X t t (xt) n+k k e e p (x, y, a) = E(a, y; D ) x = E(a, y; D ) x n+k q q (q; q) (q; q) (q; q) n n n n=0 n=0 n=0 ( ) = E(a, y; D ) . (xt; q) The proof of assertion (2.18) is achieved by using the relation (2.10). Setting k = 0 in Theorem 2.3, we get the generating function (2.17). Theorem 2.4. (Roger’s-Type formula for p (x, y, a)) We have: ∞ ∞ n m X X t s (2.19) p (x, y, a) = n+m (q; q) (q; q) n m n=0 m=0 ∞ n n ( ) n X n 1 (−1) q (a; q) (sy) aq , xs Φ q; ytq 2 1 (xt, xs; q) (q; q) ∞ n n=0 where max{|xt|, |xs|} < 1. Proof. We suppose that the operator D acts on the variable x. We have: ∞ ∞ ∞ ∞ n o n m n m X X X X t s t s n+m p (x, y, a) = E(a, y; D ) x n+m q (q; q) (q; q) (q; q) (q; q) n m n m n=0 m=0 n=0 m=0 ( ) ( ) ∞ ∞ n m X X (xt) (xs) 1 e e = E(a, y; D ) = E(a, y; D ) . q q (q; q) (q; q) (xt, xs; q) n m ∞ n=0 n=0 The proof is achieved by using (2.9). SOME HOMOGENEOUS q-DIFFERENCE OPERATORS AND THE ASSOCIATED GENERALIZED HAHN POLYNOMIALS9 Now, we aim to present an operator approach to Mehler’s formula for the generalized Cauchy polynomials p (x, y, a). Theorem 2.5. (Mehler’s formula for p (x, y, a)) We have: ( ) t 1 (2.20) p (x, y, a)p (u, v, α) = E(a, y; D ) Φ q; vxt . n n q 1 1 (q; q) (uxt; q) n ∞ n=0 Proof. ∞ ∞ n o n n X X t t p (x, y, a)p (u, v, α) = E(a, y; D ) x p (u, v, α) = n n q n (q; q) (q; q) n n n=0 n=0 ( ) ( ) (xt) 1 e e E(a, y; D ) p (u, v, α) = E(a, y; D ) Φ q; vxt . q n q 1 1 (q; q) (uxt; q) n ∞ n=0 For y = 0 and t = y, the assertion (2.11) is reduced to the Mehler’s formula for p (x, y, a) (2.20). 3. Homogeneous q-difference operator L(a, b; θ ) and generalized Hahn xy polynomials In this section, we define a generalized Hahn polynomials h (x, y, a, b|q) in terms of ho- mogeneous q-shift operator L(a, b; θ ). An extended generating function, Mehlers formula xy and Rogers formula for the generalized Hahn polynomials h (x, y, a, b|q) are given. Let us recall the definition of the usual operator We now define the homogeneous Cauchy q-shift operator as follows. Definition 3.1. The homogeneous q-difference operator L(a, b; θ ) is defined by xy ∞ k ( ) q (a; q) k k (3.1) L(a, b; θ ) = (b θ ) . xy xy (q; q) k=0 By means of q-hypergeometric series, the operator (3.1) can be written as: (3.2) L(a, b; θ ) = Φ q; −bθ . xy 1 1 xy Theorem 3.1. The following operational formula holds true: ( ) (xt; q) (xt; q) ∞ ∞ (3.3) L(a, b; θ ) = Φ q; bt . xy 1 1 (yt; q) (yt; q) ∞ ∞ Proof. Let f (x, y; a, b; t) be the function defined as (xt; q) f (x, y; a, b; t) = L(a, b; θ ) . q xy (yt; q) ∞ 1,‡ 1,∗ 3,† 10 HARI M. SRIVASTAVA , SAMA ARJIKA AND ABEY KELIL Using (1.24) and (3.1), respectively, we have ( ) ∞ k ( ) k q (a; q) b (xt; q) k ∞ f (x, y; a, b; t) = θ xy (q; q) (yt; q) k ∞ k=0 k ( ) (−1) q (xt; q) (a; q) (xt; q) a ∞ k ∞ = (bt) = Φ q; bt , 1 1 (yt; q) (q; q) (yt; q) ∞ k ∞ k=0 which completes the proof of assertion (3.3). Definition 3.2. In terms of the q-shifted factorial and the Cauchy polynomials p (x, y), we write k k ( ) (3.4) h (x, y, a, b|q) = (−1) q b (a; q) p (y, x). n k n−k k=0 Remark that, for a = 0 and b = z, the q-polynomials h (x, y, a, b|q) are the well known trivariate q-polynomials F (x, y, z; q) investigated by Mohammed (see [1] for more details), i.e. ( ) (3.5) h (x, y, 0, z|q) = (−1) q F (x, y, z; q). n n (a) The q-polynomials h (a, b, x, y|q) is a general form of Hahn polynomials ψ (x|q) according n n when we are setting a = 0, b = 1 and y = ax. Also, if we let a = 0, y = ax and b = y, (a) we get the second Hahn polynomials ψ (x, y|q). Hence we have the following special substitutions: n n n ( ) (a) n ( ) (a) 2 2 (3.6) h (x, ax, 0, 1|q) = (−1) q ψ (x|q) and h (x, ax, 0, y|q) = (−1) q ψ (x, y|q). n n n n The polynomials (3.4) can be represented by the homogeneous q-difference operator (3.1) as follows: n o (3.7) L(a, b; θ ) p (y, x) = h (x, y, a, b|q). xy n n Indeed, ∞ k n o ( ) n o q (a; q) k k L(a, b; θ ) p (y, x) = (b θ ) p (y, x) xy n xy n (q; q) k=0 ∞ k ( ) k q (a; q) b (q; q) k n = (−1) p (y, x) = h (x, y, a, b|q). n−k n (q; q) (q; q) k n−k k=0 Theorem 3.2. (Generating function for h (x, y, a, b|q)) The following generating function holds for the q-polynomials h (a, b, x, y|q): t (xt; q) (3.8) h (x, y, a, b, |q) = Φ q; bt . n 1 1 (q; q) (yt; q) n ∞ n=0 SOME HOMOGENEOUS q-DIFFERENCE OPERATORS AND THE ASSOCIATED GENERALIZED HAHN POLYNOMIAL1S1 Proof. We observe that: ∞ ∞ n o n n X X t t h (x, y, a, b|q) = L(a, b; θ ) p (y, x) n xy n (q; q) (q; q) n n n=0 n=0 ( ) ( ) t (xt; q) e e = L(a, b; θ ) p (y, x) = L(a, b; θ ) xy n xy (q; q) (yt; q) n ∞ n=0 (xt; q) = Φ q; bt 1 1 (yt; q) which evidently completes the proof of assertion (3.8). Theorem 3.3. (Extended generating function for h (x, y, a, b|q)) We have: ( ) t p (y, x)(xt; q) k ∞ (3.9) h (x, y, a, b|q) = L(a, b; θ ) . n+k xy (q; q) (xt; q) (yt; q) n k ∞ n=0 Proof. We observe that: ∞ ∞ n o n n X X t t h (x, y, a, b|q) = L(a, b; θ ) p (y, x) n+k xy n+k (q; q) (q; q) n n n=0 n=0 ( ) = L(a, b; θ ) p (y, x) p (y, q x) xy k n (q; q) n=0 ( ) (xtq ; q) = L(a, b; θ ) p (y, x) xy k (yt; q) ( ) p (y, x)(xt; q) k ∞ = L(a, b; θ ) xy (xt; q) (yt; q) k ∞ which evidently completes the proof of assertion (3.8). Setting k = 0 in (3.9), we get the generating function (3.8) for the q-polynomials h (x, y, a, b|q). Theorem 3.4. (Roger’s-Type formula for h (x, y, a, b|q)) The following Rogers-Type for- mula holds for the q-polynomials h (x, y, a, b|q): (3.10) ( ) ∞ ∞ n m X X t s (xs; q) x/y, 0 h (x, y, a, b|q) = L(a, b; θ ) Φ q; yt n+m xy 2 1 xs (q; q) (q; q) (ys; q) n m ∞ n=0 m=0 ( ) (xs; q) ys (3.11) = L(a, b; θ ) Φ q; xt . xy 1 1 xs (yt, ys; q) ∞ 1,‡ 1,∗ 3,† 12 HARI M. SRIVASTAVA , SAMA ARJIKA AND ABEY KELIL Proof. ∞ ∞ ∞ ∞ n o n m n m X X X X t s t s h (x, y, a, b|q) = L(a, b; θ ) p (y, x) n+m xy n+m (q; q) (q; q) (q; q) (q; q) n m n m m=0 n=0 m=0 n=0 ( ) ∞ ∞ n m X X t s = L(a, b; θ ) p (y, x) p (y, q x) xy n m (q; q) (q; q) n m n=0 m=0 ( ) n n t (xsq ; q) = L(a, b; θ ) p (y, x) xy n (q; q) (ys; q) n ∞ n=0 ( ) (xs; q) t = L(a, b; θ ) p (y, x) xy n (ys; q) (xs; q) (q; q) ∞ n n n=0 (xs; q) (x/y; q) (yt) ∞ n = L(a, b; θ ) xy (ys; q) (xs; q) (q; q) ∞ n n n=0 ( ) (xs; q) x/y, 0 = L(a, b; θ ) Φ q; yt . xy 2 1 xs (ys; q) The proof of (3.11) of Theorem 3.4 will be completed when we replace y by x and x by y, respectively, in (1.20). Theorem 3.5. (Mehler’s formula for h (x, y, a, b|q)) We have: (3.12) h (x, y, a, b|q)h (u, v, c, d|q) n n (q; q) n=0 ( ) (xt; q) x/y, u/v, c = L(a, b; θ ) Φ q; dvyt . xy 3 3 0, 0, xt (yt; q) Proof. ∞ ∞ n o n n X X t t h (x, y, a, b|q)h (u, v, c, d|q) = L(a, b; θ ) p (y, x) h (u, v, c, d|q) n n xy n n (q; q) (q; q) n n n=0 n=0 ( ) ∞ n X X k k ( ) = L(a, b; θ ) p (y, x) (−1) q d (c; q) p (v, u) xy n k n−k (q; q) n=0 k=0 ( ) ∞ ∞ k ( ) k n XX (−1) q d t = L(a, b; θ ) (c; q) p (v, u)p (y, x) xy k n−k n (q; q) (q; q) k n−k n=0 k=n ( ) ∞ ∞ k ( ) k n+k XX (−1) q d t = L(a, b; θ ) (c; q) p (v, u)p (y, x) xy k k n+k (q; q) (q; q) k n n=0 k=0 SOME HOMOGENEOUS q-DIFFERENCE OPERATORS AND THE ASSOCIATED GENERALIZED HAHN POLYNOMIAL1S3 ( ) ∞ ∞ k ( ) k n X X (−1) q (c; q) (dt) t = L(a, b; θ ) p (v, u)p (y, x) p (y, q x) k k n xy (q; q) (q; q) k n n=0 k=0 ( ) k ( ) k k (−1) q (c; q) (dt) (xtq ; q) k ∞ = L(a, b; θ ) p (v, u)p (y, x) xy k k (q; q) (yt; q) k ∞ k=0 ( ) k ( ) k (xt; q) (−1) q (x/y, u/v, c; q) (dvyt) ∞ k = L(a, b; θ ) xy (yt; q) (xt; q) (q; q) ∞ k k k=0 ( ) (xt; q) x/y, u/v, c = L(a, b; θ ) Φ q; dvyt . xy 3 3 0, 0, xt (yt; q) References [1] M. A. Abdlhusein, Two operator representations for the trivariate q-polynomials and Hahn polyno- mials, Ramanujan J. 40, 491-509 (2016). [2] G. E. Andrews, The theory of partitions, Cambridge Univ. Press, (1985). [3] W. Y. C. Chen, A. M. Fu and B. Zhang, The homogeneous q-difference operator. Adv. App. Math. 31 659-668 (2003). [4] W. Y. C. Chen and Z.-G. Liu, Parameter augmenting for basic hypergeometric series, II, J. Combin. Theory, Ser. A, 80 pp. 175-195, (1997). [5] G. Gasper and M. Rahman, Basic Hypergeometric Series, 2nd edn. Cambridge University Press, Cambridge (2004). [6] J. Golman and G.-C. Rota, On the foundations of combinatorial theory, IV: Finite vector spaces ans Eulerien generating functions, Sut. Appl. Math. 49, 239-258 (1970). [7] W. P. Johnson, q-Extensions of identities of Abel-Rothe type Discrete Math. 159 161-77 (1995). [8] E. C. Ihrig and M. E. H. Ismail, A q-umbral calculus, J. Math. Anal. Appl. 84, 178-207 (1981). [9] R. Koekock and R. F. Swarttouw, The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue report, Delft University of Technology, (1998). [10] S. Roman, The theory of the umbral calculus I. J. Math. Anal. Appl. 87, 58-115 (1982). [11] S. Roman, More on the umbral calculus, with emphasis on the q-umbral calculus, J. Math. Anal. Appl. 107 222-54 (1985 ). [12] H. L. Saad and A. A. Sukhi, Another homogeneous q-difference operator. Appl. Math. Comput. 215 4332-4339 (2010). [13] H. L. Saad and A. A. Sukhi, The q-Exponential Operator, Appl. Math. Sci. 7, 6369-6380 (2005). [14] L. J. Slatter, Generalized Hypergeometric Functions, Cambridge Univ. Press, Cam- bridge/London/New York, (1966). [15] H. M. Srivastava and M. A. Abdlhusein, New forms of the Cauchy operator and some of their applications, Russian J. Math. Phys. 23, 124–134 (2016). [16] H. M. Srivastava and P. W. Karlsson, Multiple Gaussian Hypergeometric Series, Halsted (Ellis Hor- wood, Chichester); Wiley, New York, (1985). Department of Mathematics and Statistics, University of Victoria, Victoria, British Columbia V8W 3R4, Canada Faculty of Sciences and Technics, University of Agadez, Niger 1,‡ 1,∗ 3,† 14 HARI M. SRIVASTAVA , SAMA ARJIKA AND ABEY KELIL Department of Mathematics and Applied Mathematics, University of Pretoria, S. A. E-mail address: ‡harimsri@math.uvic.ca,∗rjksama2008@gmail.com, † abeysh2001@gmail.com
Mathematical Physics – arXiv (Cornell University)
Published: Aug 8, 2019
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.