Next Article in Journal
Neural Networks Application for Processing of the Data from the FMICW Radars
Next Article in Special Issue
Symmetric Identities for Carlitz-Type Higher-Order Degenerate (p,q)-Euler Numbers and Polynomials
Previous Article in Journal
A Prediction Model for the Potential Plastic Zone Induced by Tunnel Excavation Adjacent to a Pile Foundation in a Gravity Field
Previous Article in Special Issue
Some Symmetric Identities for Degenerate Carlitz-type (p, q)-Euler Numbers and Polynomials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Certain Results for the Twice-Iterated 2D q-Appell Polynomials

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 Applied Mathematics, Aligarh Muslim University, Aligarh 202002, Uttar Pradesh, India
4
Department of Economics, Faculty of Economics, Administrative and Social Sciences, Hasan Kalyoncu University, TR-27410 Gaziantep, Turkey
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(10), 1307; https://doi.org/10.3390/sym11101307
Submission received: 16 September 2019 / Revised: 10 October 2019 / Accepted: 12 October 2019 / Published: 16 October 2019
(This article belongs to the Special Issue Polynomials: Special Polynomials and Number-Theoretical Applications)

Abstract

:
In this paper, the class of the twice-iterated 2D q-Appell polynomials is introduced. The generating function, series definition and some relations including the recurrence relations and partial q-difference equations of this polynomial class are established. The determinant expression for the twice-iterated 2D q-Appell polynomials is also derived. Further, certain twice-iterated 2D q-Appell and mixed type special q-polynomials are considered as members of this polynomial class. The determinant expressions and some other properties of these associated members are also obtained. The graphs and surface plots of some twice-iterated 2D q-Appell and mixed type 2D q-Appell polynomials are presented for different values of indices by using Matlab. Moreover, some areas of potential applications of the subject matter of, and the results derived in, this paper are indicated.

1. Introduction, Definitions and Preliminaries

The subject of q-calculus leads to a new method for computations and classifications of q-series and q-polynomials. In fact, the subject of q-calculus was initiated in the 1920s. However, it has gained considerable popularity and importance during the last three decades or so. In the past decade, q-calculus was developed into an interdisciplinary subject and it served as a bridge between mathematics and physics. The field has been expanded explosively due mainly to its applications in diverse areas of physics such as cosmic strings and black holes [1], conformal quantum mechanics [2], nuclear and high energy physics [3], fluid mechanics, combinatorics, having connection with commutativity relations, number theory, and Lie algebra. The definitions and notations of the q-calculus reviewed here are taken from [4] (see also [5,6]).
The q-analogue of the Pochhammer symbol ( α ) m , which is also called the q-shifted factorial, defined by
( α ; q ) 0 = 1 and ( α ; q ) m = r = 0 m 1 ( 1 α q r ) ( m N ; α C ) .
The q-analogues of a complex number α and of the factorial function are defined as follows:
[ α ] q = 1 q α 1 q ( q C \ { 1 } ; α C )
and
[ m ] q = s = 1 m q s 1 , [ 0 ] q = 0 , [ m ] q ! = s = 1 m [ s ] q = [ 1 ] q [ 2 ] q [ 3 ] q [ m ] q and [ 0 ] q ! = 1 ( m N ; q C \ { 0 , 1 } ) ,
where N is the set of positive integers.
The q-binomial coefficients m s q are defined by
m s q = ( q ; q ) m ( q ; q ) s ( q ; q ) m s = [ m ] q ! [ s ] q ! [ m s ] q ! ( s = 0 , 1 , 2 , , m ) .
The q-analogue of the classical derivative D f or d d t f of a function f at a point t C \ { 0 } is defined by
D q f ( t ) = f ( t ) f ( q t ) ( 1 q ) t ( 0 < | q | < 1 ; t 0 ) .
We also note that
( i ) lim q 1 D q f ( t ) = d f ( t ) d t , where d d t denotes the classical ordinary derivative , ( ii ) D q a 1 f ( t ) + a 2 g ( t ) = a 1 D q f ( t ) + a 2 D q g ( t ) , ( iii ) D q ( f g ) ( t ) = f ( q t ) D q g ( t ) + g ( t ) D q f ( t ) = f ( t ) D q g ( t ) + D q f ( t ) g ( q t ) , ( vi ) D q f ( t ) g ( t ) = g ( t ) D q f ( t ) f ( t ) D q g ( t ) g ( t ) g ( q t ) = g ( q t ) D q f ( t ) f ( q t ) D q g ( t ) g ( t ) g ( q t ) .
The two familiar q-analogues of the exponential function e t are given by
e q ( t ) : = m = 0 t m [ m ] q ! = 1 ( 1 q ) x ; q , 0 < | q | < 1 , | x | < | 1 q | 1
and
E q ( t ) : = m = 0 q 1 2 m ( m 1 ) t m [ m ] q ! = ( ( 1 q ) ; q ) ( 0 < | q | < 1 ; t C ) .
The above-defined q-exponential functions e q ( t ) and E q ( t ) satisfy the following properties:
D q e q ( t ) = e q ( t ) , D q E q ( t ) = E q ( q t ) ,
e q ( t ) E q ( t ) = E q ( t ) e q ( t ) = 1 .
The class of Appell polynomials was introduced and characterized completely by Appell [7] in 1880. Further, Throne [8], Sheffer [9] and Varma [10] studied this class of polynomials from different points of view. For some subsequent and recent developments associated with the Appell polynomials, one may refer to the works [11,12,13,14].
In the year 1954, Sharma and Chak [15] introduced a q-analogue of the Appell polynomials and called this sequence of polynomials as q-Harmonics. Later, in the year 1967, Al-Salam [16] introduced the class of the q-Appell polynomials { A m , q ( x ) } m = 0 and studied some of their properties. Some characterizations of the q-Appell polynomials were presented by Srivastava [17] in the year 1982. These polynomials arise in numerous problems of applied mathematics, theoretical physics, approximation theory and many other branches of the mathematical sciences [7,18,19,20]. The polynomials A m , q ( x ) (of degree m) are called q-Appell polynomials, provided that they satisfy the following q-differential equation:
D q , x { A m , q ( x ) } = [ m ] q A m 1 , q ( x ) ( m N 0 = N { 0 } ; q C ; 0 < | q | < 1 ) .
Recently, Keleshteri and Mahmudov [21] introduced the 2D q-Appell polynomials (2DqAP) A m , q ( x 1 , x 2 ) m = 0 which are defined by means of the following generating function:
A q ( t ) e q ( x 1 t ) E q ( x 2 t ) = m = 0 A m , q ( x 1 , x 2 ) t m [ m ] q ! ( 0 < q < 1 ) ,
where
A q ( t ) = m = 0 A m , q t m [ m ] q ! , A q ( t ) 0 and A 0 , q = 1 .
We write
A m , q : = A m , q ( 0 , 0 ) ,
where A m , q denotes the 2D q-Appell numbers.
For x 2 = 0 , the 2DqAP A m , q ( x 1 , x 2 ) reduce to the q-Appell polynomials A m , q ( x ) (see, for example, [16,17,22]), that is,
A m , q ( x 1 , 0 ) = A m , q ( x 1 ) ,
where A m , q ( x ) are defined by
A q ( t ) e q ( x t ) = m = 0 A m , q ( x ) t m [ m ] q ! ( 0 < q < 1 )
and A m , q given by
A m , q : = A m , q ( 0 )
denotes the q-Appell numbers.
The explicit form of the 2DqAP A m , q ( x 1 , x 2 ) in terms qAP A m , q ( x ) is given as follows (see [21]):
A m , q ( x 1 , x 2 ) = s = 0 m m s q q 1 2 ( m s ) ( m s 1 ) A s , q ( x 1 ) x 2 m s .
The function A q ( t ) may be called the determining function for the set A m , q ( x 1 , x 2 ) . Based on suitable selections for the function A q ( t ) , the following different members belonging to the family of the 2D q-Appell polynomials A m , q ( x 1 , x 2 ) can be obtained:
I. 
If A q ( t ) = t e q ( t ) 1 , the 2DqAP A m , q ( x 1 , x 2 ) reduce to the 2D q-Bernoulli polynomials (2DqBP) B m , q ( x 1 , x 2 ) (see [23,24]), that is,
A m , q ( x 1 , x 2 ) = B m , q ( x 1 , x 2 ) ,
where B m , q ( x 1 , x 2 ) are defined by
t e q ( t ) 1 e q ( x 1 t ) E q ( x 2 t ) = m = 0 B m , q ( x 1 , x 2 ) t m [ m ] q !
and B m , q given by
B m , q : = B m , q ( 0 , 0 )
denotes the 2D q-Bernoulli numbers.
II. 
If A q ( t ) = 2 e q ( t ) + 1 , the 2DqAP A m , q ( x 1 , x 2 ) reduce to the 2D q-Euler polynomials (2DqEP) E m , q ( x 1 , x 2 ) (see [23,24]), that is,
A m , q ( x 1 , x 2 ) = E m , q ( x 1 , x 2 ) ,
where E m , q ( x 1 , x 2 ) are defined by
2 e q ( t ) + 1 e q ( x 1 t ) E q ( x 2 t ) = m = 0 E m , q ( x 1 , x 2 ) t m [ m ] q !
and E m , q given by
E m , q : = E m , q ( 0 , 0 )
denotes the 2D q-Euler numbers.
III. 
If A q ( t ) = 2 t e q ( t ) + 1 , the 2DqAP A m , q ( x 1 , x 2 ) reduce to the 2D q-Genocchi polynomials (2DqGP) G m , q ( x 1 , x 2 ) (see [23,24]; see also [25]), that is,
A m , q ( x 1 , x 2 ) = G m , q ( x 1 , x 2 ) ,
where G m , q ( x 1 , x 2 ) are defined by
2 t e q ( t ) + 1 e q ( x 1 t ) E q ( x 2 t ) = m = 0 G m , q ( x 1 , x 2 ) t m [ m ] q !
and G m , q : = G m , q ( 0 , 0 ) denotes the 2D q-Genocchi numbers.
We recall here that, in a recent paper, Khan and Riyasat [26] introduced the twice-iterated q-Appell polynomials A m , q [ 2 ] ( x ) which are defined by means of the following generating function:
A ˙ q ( t ) A ¨ q ( t ) e q ( x t ) = m = 0 A m , q [ 2 ] ( x ) t m [ m ] q ! ( 0 < q < 1 ) .
In this paper, the class of the twice-iterated 2D q-Appell polynomials is introduced by means of generating functions, recurrence relations, partial q-difference equations, and series and determinant expressions. Further, several results are obtained for the members corresponding to this polynomial family. In Section 2, the twice-iterated 2D q-Appell polynomials are introduced by means of the generating functions and series definition. Also, the recurrence relation and q-difference equations involving the twice-iterated 2D q-Appell polynomials are derived. In Section 3, a determinant expression for the twice-iterated 2D q-Appell polynomials is established. In Section 4, the determinant expressions and some other properties of the members belonging to the family of the twice-iterated 2D q-Appell polynomials are obtained. Section 5 provides several graphical representations and surface plots associated with several members of families of q-polynomials which have investigated in this paper. Finally, in Section 6, we present some concluding remarks and observations.

2. Twice-Iterated 2D q-Appell Polynomials

In order to introduce the twice-iterated 2D q-Appell polynomials (2I2DqAP), we consider two different sets of the 2D q-Appell polynomials A ˙ m , q ( x 1 , x 2 ) and A ¨ m , q ( x 1 , x 2 ) such that
A ˙ q ( t ) e q ( x 1 t ) E q ( x 2 t ) = m = 0 A ˙ m , q ( x 1 , x 2 ) t m [ m ] q ! ( 0 < q < 1 ) ,
where
A ˙ q ( t ) = m = 0 A ˙ m , q t m [ m ] q ! , A ˙ q ( t ) 0 and A ˙ 0 , q = 1 ;
A ¨ q ( t ) e q ( x 1 t ) E q ( x 2 t ) = m = 0 A ¨ m , q ( x 1 , x 2 ) t m [ m ] q ! ( 0 < q < 1 ) ,
where
A ¨ q ( t ) = m = 0 A ¨ m , q t m [ m ] q ! , A ¨ q ( t ) 0 and A ¨ 0 , q = 1 ;
A ¨ q ( t ) e q ( x 1 t ) = m = 0 A ¨ m , q ( x 1 ) t m [ m ] q ! ( 0 < q < 1 ) .
The generating function for the 2I2DqAP is asserted by the following result.
Theorem 1.
The generating function for the twice-iterated 2D q-Appell polynomials A m , q [ 2 ] ( x 1 , x 2 ) is given by
A ˙ q ( t ) A ¨ q ( t ) e q ( x 1 t ) E q ( x 2 t ) = m = 0 A m , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! ( 0 < q < 1 ) .
Proof. 
By expanding the first q-exponential function e q ( x 1 t ) in the left-hand side of the Equation (20) and then replacing the powers of x, that is, x 1 0 , x 1 , x 1 2 , , x 1 m by the polynomials A ¨ 0 , q ( x 1 ) , A ¨ 1 , q ( x 1 ) , A ¨ 2 , q ( x 1 ) , , A ¨ m , q ( x 1 ) in the left-hand side and x 1 by A ¨ 1 , q ( x 1 ) in the right-hand side of the resultant equation, we have
A ˙ q ( t ) 1 + A ¨ 1 , q ( x 1 ) t [ 1 ] q ! + A ¨ 2 , q ( x 1 ) t 2 [ 2 ] q ! + + A ¨ m , q ( x 1 ) t m [ m ] q ! + E q ( x 2 t ) = m = 0 A ˙ m , q ( A ¨ 1 , q ( x 1 ) , x 2 ) t m [ m ] q ! .
Moreover, by summing up the series in the left-hand side and then using the Equation (24) in the resulting equation, we get
A ˙ q ( t ) A ¨ q ( t ) e q ( x 1 t ) E q ( x 2 t ) = m = 0 A ˙ m , q ( A ¨ 1 , q ( x 1 ) , x 2 ) t m [ m ] q ! .
Finally, denoting the resulting 2I2DqAP in the right-hand side of the above equation by A m , q [ 2 ] ( x 1 , x 2 ) , that is,
A ˙ m , q ( A ¨ 1 , q ( x 1 ) , x 2 ) = A m , q [ 2 ] ( x 1 , x 2 ) ,
the assertion (25) of Theorem 1 is proved. □
Remark 1.
For x 2 = 0 , the 2I2DqAP A m , q [ 2 ] ( x 1 , x 2 ) reduce to the twice-iterated q-Appell polynomials (see [26]) such that
A m , q [ 2 ] ( x 1 ) : = A m , q [ 2 ] ( x 1 , 0 ) .
It is also noted that
A m , q : = A m , q ( 0 ) = A m , q ( 0 , 0 ) .
We next give the series definition for the 2I2DqAP A m , q [ 2 ] ( x 1 , x 2 ) by proving the following result.
Theorem 2.
The twice-iterated 2D q-Appell polynomials A m , q [ 2 ] ( x 1 , x 2 ) are given by the following series expression:
A m , q [ 2 ] ( x 1 , x 2 ) = s = 0 m m s q A ˙ s , q A ¨ m s , q ( x 1 , x 2 ) .
Proof. 
In view of the Equations (21) and (22), the Equation (25) can be written as follows:
s = 0 A ˙ s , q t s [ s ] q ! m = 0 A ¨ m , q ( x 1 , x 2 ) t m [ m ] q ! = m = 0 A m , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! ,
which, on using the Cauchy product rule, gives
m = 0 s = 0 m m s q A ˙ s , q A ¨ m s , q ( x 1 , x 2 ) t m [ m ] q ! = m = 0 A m , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! .
Equating the coefficients of like powers of t in both sides of the above equation, we arrive at the assertion (31) of Theorem 2. □
Remark 2.
For x 2 = 0 , the series expression (31) becomes
A m , q [ 2 ] ( x 1 ) = s = 0 m m s q A ˙ s , q A ¨ m s , q ( x 1 ) ,
which is a known result [26] (p. 5, Equation (2.8)).
We now state and prove the following result.
Theorem 3.
The following relation between the twice-iterated 2D q-Appell polynomials A m , q [ 2 ] ( x 1 , x 2 ) and the twice-iterated q-Appell polynomials A m , q ( x 1 ) holds true:
A m , q [ 2 ] ( x 1 , x 2 ) = s = 0 m m s q q 1 2 s ( s 1 ) x 2 s A m s , q [ 2 ] ( x 1 ) .
Proof. 
Using the Equations (7) and (19) in the left-hand side of the generating function (25), we get
m = 0 A m , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! = m = 0 A m , q [ 2 ] ( x 1 ) t m [ m ] q ! m = 0 q 1 2 m ( m 1 ) ( x 2 t ) m [ m ] q ! ,
which, on applying the Cauchy product rule in the left-hand side, yields
m = 0 A m , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! = m = 0 s = 0 m m s q q 1 2 s ( s 1 ) x 2 s A m s , q [ 2 ] ( x 1 ) t m [ m ] q ! .
Finally, equating the coefficients of like powers of t on both sides of this last equation, we obtain the assertion (35) of Theorem 3. □
Remark 3.
By taking x 2 = 1 in the result (35), we get
A m , q [ 2 ] ( x 1 , 1 ) = s = 0 m m s q q 1 2 s ( s 1 ) A m s , q [ 2 ] ( x 1 ) .
Remark 4.
The following statements are equivalent:
( a ) A m , q [ 2 ] ( x 1 , x 2 ) = ( 1 ) m A m , q [ 2 ] ( 0 , x 2 )
and
( b ) A m , q [ 2 ] ( x 1 ) = ( 1 ) m A m , q [ 2 ] ( 0 )
In order to derive the q-recurrence relations and the q-difference equations for the twice-iterated 2D q-Appell polynomials by using the lowering operators that are, in fact, the q-derivative operator D q , we first prove the following lemma.
Lemma 1.
The twice-iterated 2D q-Appell polynomials A m , q [ 2 ] ( x 1 , x 2 ) satisfy the following operational relations:
D q , x 1 A m , q [ 2 ] ( x 1 , x 2 ) = [ m ] q A m 1 , q [ 2 ] ( x 1 , x 2 ) ,
D q , x 2 A m , q [ 2 ] ( x 1 , x 2 ) = [ m ] q A m 1 , q [ 2 ] ( x 1 , q x 2 ) ,
A m s , q [ 2 ] ( x 1 , x 2 ) = [ m s ] q ! [ m ] q ! D q , x 1 s A m , q [ 2 ] ( x 1 , x 2 )
and
q s ( s 1 ) 2 A m s , q [ 2 ] ( x 1 , q s x 2 ) = [ m s ] q ! [ m ] q ! D q , x 2 s A m , q [ 2 ] ( x 1 , x 2 ) .
Proof. 
In view of the Equation (25), the proof of the above lemma requires a direct use of the identity (5). We, therefore, skip the details involved. □
We now derive the q-recurrence relations for the 2I2DqAP A m , q [ 2 ] ( x 1 , x 2 ) .
Theorem 4.
The twice-iterated 2D q-Appell polynomials A m , q [ 2 ] ( x 1 , x 2 ) satisfy the following linear homogeneous recurrence relation:
A m , q [ 2 ] ( q x 1 , x 2 ) = 1 [ m ] q s = 0 m m s q q m s ( α s + x 2 β s + γ s ) A m s , q [ 2 ] ( x 1 , x 2 ) + x 1 q m A m 1 , q [ 2 ] ( x 1 , x 2 ) ,
where
t A ¨ q ( t ) D q , t A ˙ q ( t ) A ˙ q ( q t ) A ¨ q ( q t ) = m = 0 α m t m [ m ] q ! , t A ˙ q ( t ) A ¨ q ( t ) A ˙ q ( q t ) A ¨ q ( q t ) = m = 0 β m t m [ m ] q ! , t D q , t A ¨ q ( t ) A ¨ q ( q t ) = m = 0 γ m t m [ m ] q ! .
Proof. 
Consider the following generating function:
G q ( q x 1 , x 2 , t ) = A ˙ q ( t ) A ¨ q ( t ) e q ( q x 1 t ) E q ( x 2 t ) = m = 0 A m , q [ 2 ] ( q x 1 , x 2 ) t m [ m ] q ! .
By taking the q-derivative of the Equation (47) partially with respect to t, we get
D q , t G q ( q x 1 , x 2 , t ) = x 2 A ˙ q ( t ) A ¨ q ( t ) e q ( q x t ) E q ( q x 2 t ) + q x 1 A ˙ q ( q t ) A ¨ q ( q t ) e q ( q x t ) E q ( q x 2 t ) + D q , t A ˙ q ( t ) A ¨ q ( t ) e q ( q x t ) E q ( q x 2 t ) + A ˙ q ( q t ) D q , t A ¨ q ( t ) e q ( q x t ) E q ( q x 2 t ) .
Thus, upon factorizing G q ( q x 1 , x 2 , t ) occurring in the left-hand side and multiplying both sides of the identity (48) by t, we find that
t D q , t G q ( q x 1 , x 2 , t ) = G q ( q x 1 , x 2 , t ) t A ¨ q ( t ) D q , t A ˙ q ( t ) A ˙ t ( q t ) A ¨ q ( q t ) + x 2 t A ˙ q ( t ) A ¨ q ( t ) A ˙ q ( q t ) A ¨ q ( q t ) + t D q , t A ¨ q ( t ) A ¨ q ( q t ) + q t x 1 .
In view of the assumption (46) and the Equation (47), the Equation (49) becomes
m = 0 [ m ] q A m , q [ 2 ] ( q x 1 , x 2 ) t m [ m ] q ! = m = 0 q m A m , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! m = 0 α m t m [ m ] q ! + x 2 m = 0 β m t m [ m ] q ! + m = 0 γ m t m [ m ] q ! + q x 1 ,
which, on using the Cauchy product rule, gives
m = 0 [ m ] q A m , q [ 2 ] ( q x 1 , x 2 ) t m [ m ] q ! = m = 0 s = 0 m m s q q m s ( α s + x 2 β s + γ s ) A m s , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! + x 1 m = 0 [ m ] q q m A m 1 , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! .
Finally, upon equating the coefficients of like powers of t on both sides of the above equation and dividing both sides of the resulting equation by [ m ] q , we get the assertion (45) of Theorem 4. □
We now state and prove the following result.
Theorem 5.
The following recurrence relation for the twice-iterated 2D q-Appell polynomials A m , q [ 2 ] ( x 1 , x 2 ) holds true:
A m , q [ 2 ] ( q x 1 , x 2 ) = q m 1 A ¨ q ( t ) D q , t A ˙ q ( t ) A ˙ q ( q t ) A ¨ q ( q t ) + x 2 A ˙ q ( t ) A ¨ q ( t ) A ˙ q ( q t ) A ¨ q ( q t ) + D q , t A ¨ q ( t ) A ¨ q ( q t ) + q x 1 A m 1 , q [ 2 ] ( x 1 , x 2 ) .
Proof. 
We first use the Equation (47) in both sides of the Equation (49). Then, after some simplification, by equating the coefficients of like powers of t on both sides of the resulting equation, we arrive at the assertion (52) of Theorem 5. □
We next derive the q-difference equations which are satisfied by the twice-iterated 2D q-Appell polynomials.
Theorem 6.
The twice-iterated 2D q-Appell polynomials A m , q [ 2 ] ( x 1 , x 2 ) are the solutions of the following q-difference equations:
s = 0 m q m s [ s ] q ( α s + x 2 β s + γ s ) D q , x 1 s + x 1 q m D q , x 1 A m , q [ 2 ] ( x 1 , x 2 ) [ m ] q A m , q [ 2 ] ( q x 1 , x 2 ) = 0
or
s = 0 m q m s [ s ] q α s + x 2 β s q s + γ s D q , x 2 s A m , q [ 2 ] x 1 , x 2 q s + x 1 q m D q , x 2 A m , q [ 2 ] x 1 , x 2 q [ m ] q A m , q [ 2 ] ( q x 1 , x 2 ) = 0 .
Proof. 
The proof of the assertions (53) and (54) of Theorem 6 would follow directly upon using the Equations (43) and (44), respectively, in the recurrence relation (45). □
In the next section (Section 3 below), the determinant forms for the 2I2DqAP are established.

3. The Twice-Iterated 2D q-Appell Polynomials from the Determinant Viewpoint

One of the important aspects of the study of any polynomial system is to find its potentially useful determinant representation. Recently, Keleshteri and Mahmudov [21] introduced the determinant definitions for the q-Appell polynomials and the 2D q-Appell polynomials. These polynomials are useful in finding the solutions of some general linear interpolation problems and can also be used for computational purposes. Khan and Riyasat [26], on the other hand, established the determinant expressions for the twice-iterated q-Appell polynomials. This fact provides motivation for us to establish the determinant definitions and the determinant expressions for the twice-iterated 2D q-Appell polynomials 2I2DqAP by proving the following result.
Theorem 7.
The 2I2DqAP A m , q [ 2 ] ( x 1 , x 2 ) of degree m are defined by
A 0 , q [ 2 ] ( x 1 , x 2 ) = 1 B 0 , q ,
A m , q [ 2 ] ( x 1 , x 2 ) = ( 1 ) m ( B 0 , q ) m + 1 1 A ¨ 1 , q ( x 1 , x 2 ) A ¨ 2 , q ( x 1 , x 2 ) A ¨ m 1 , q ( x 1 , x 2 ) A ¨ m ( x 1 , x 2 ) B 0 , q B 1 , q B 2 , q B m 1 , q B m , q 0 B 0 , q 2 1 q B 1 , q m 1 1 q B m 2 , q m 1 q B m 1 , q 0 0 B 0 , q m 1 2 q B m 3 , q m 2 q B m 2 , q 0 0 0 B 0 , q m m 1 q B 1 , q , B m , q = 1 A ˙ 0 , q s = 1 m m s q A ˙ s , q B m s , q ( m N ) ,
where B 0 , q 0 , B 0 , q = 1 A ˙ 0 , q and A ¨ m , q ( x 1 , x 2 ) ( m N 0 ) are the q-Appell polynomials of degree m.
Proof. 
Consider A m , q [ 2 ] ( x 1 , x 2 ) as a sequence of the 2I2DqAP defined by the Equation (25). Also let A ˙ m , q and B m , q be two numerical sequences (the coefficients of the q-Taylor series expansions of functions) such that
A ˙ q ( t ) = A ˙ 0 , q + A ˙ 1 , q t [ 1 ] q ! + A ˙ 2 , q t 2 [ 2 ] q ! + + A ˙ m , q t m [ m ] q ! + ( m N 0 ; A ˙ 0 , q 0 )
and
A ˙ ^ q ( t ) = B 0 , q + B 1 , q t [ 1 ] q ! + B 2 , q t 2 [ 2 ] q ! + + B m , q t m [ m ] q ! + ( m N 0 ; B 0 , q 0 ) ,
also satisfying the following condition:
A ˙ q ( t ) A ˙ ^ q ( t ) = 1 .
On using the Cauchy product rule for the two-series product A ˙ q ( t ) A ˙ ^ q ( t ) , we get
A ˙ q ( t ) A ˙ ^ q ( t ) = m = 0 A ˙ m , q t m [ m ] q ! m = 0 B m , q t m [ m ] q ! = m = 0 s = 0 m m s q A ˙ s , q B m s , q t m [ m ] q ! .
Consequently, we have
s = 0 m m s q A ˙ s , q B m s , q = 1 , i f m = 0 , 0 , i f m N .
that is,
B 0 , q = 1 A ˙ 0 , q ; B m , q = 1 A ˙ 0 , q s = 1 m m s q A ˙ s , q B m s , q ( m N 0 ) .
Next, upon multiplying both sides of the Equation (25) by A ˙ ^ q ( t ) , we get
A ˙ q ( t ) A ˙ ^ q ( t ) A ¨ q ( t ) e q ( x 1 t ) E q ( x 2 t ) = A ˙ ^ q ( t ) m = 0 A m , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! .
Further, in view of the Equations (22), (58) and (59), the above Equation (62) becomes
m = 0 A ¨ m , q ( x 1 , x 2 ) t m [ m ] q ! = m = 0 B m , q t m [ m ] q ! m = 0 A m , q [ 2 ] ( x 1 , x 2 ) t m [ m ] q ! .
Now, on using the Cauchy product rule for the two series in the right-hand side of the Equation (63), we obtain the following infinite system for the unknowns A m , q [ 2 ] ( x 1 , x 2 ) :
B 0 , q A 0 , q [ 2 ] ( x 1 , x 2 ) = 1 ; B 1 , q A 0 , q [ 2 ] ( x 1 , x 2 ) + B 0 , q A 1 , q [ 2 ] ( x 1 , x 2 ) = A ¨ 1 , q ( x 1 , x 2 ) , B 2 , q A 0 , q [ 2 ] ( x 1 , x 2 ) + 2 1 q B 1 , q A 1 , q [ 2 ] ( x 1 , x 2 ) + B 0 , q A 2 , q [ 2 ] ( x 1 , x 2 ) = A ¨ 2 , q ( x 1 , x 2 ) , B m 1 , q A 0 , q [ 2 ] ( x 1 , x 2 ) + m 1 1 q B m 2 , q A 1 , q [ 2 ] ( x 1 , x 2 ) + + B 0 , q A m 1 , q [ 2 ] ( x 1 , x 2 ) = A ¨ m 1 , q ( x 1 , x 2 ) , B m , q A 0 , q [ 2 ] ( x 1 , x 2 ) + m 1 q B m 1 , q A 1 , q [ 2 ] ( x 1 , x 2 ) + + B 0 , q A m , q [ 2 ] ( x 1 , x 2 ) = A ¨ m , q ( x 1 , x 2 ) ,
Obviously, the first equation of the system (64) leads to our first assertion (55). The coefficient matrix of the system (64) is lower triangular, so this helps us to obtain the unknowns A m , q [ 2 ] ( x 1 , x 2 ) by applying the Cramer rule to the first m + 1 equations of the system (64). Accordingly, we can obtain
A m , q [ 2 ] ( x 1 , x 2 ) = B 0 , q 0 0 0 1 B 1 , q B 0 , q 0 0 A ¨ 1 , q ( x 1 , x 2 ) B 2 , q 2 1 q B 1 , q B 0 , q 0 A ¨ 2 , q ( x 1 , x 2 ) B m 1 , q m 1 1 q B m 2 , q m 1 2 q B m 3 , q B 0 , q A ¨ m 1 , q ( x 1 , x 2 ) B m , q m 1 q B m 1 , q m 2 q B m 2 , q m m 1 q B 1 , q A ¨ m , q ( x 1 , x 2 ) B 0 , q 0 0 0 1 B 1 , q B 0 , q 0 0 0 B 2 , q 2 1 q B 1 , q B 0 , q 0 0 B m 1 , q m 1 1 q B m 2 , q m 1 2 q B m 3 , q B 0 , q 0 B m , q m 1 q B m 1 , q m 2 q B m 2 , q m m 1 q B 1 , q B 0 , q ,
where m N . Thus, upon expanding the determinant in the denominator and taking the transpose of the determinant in the numerator, we get
A m , q [ 2 ] ( x 1 , x 2 ) = 1 ( B 0 , q ) m + 1 B 0 , q B 1 , q B 2 , q B m 1 , q B n , q 0 B 0 , q 2 1 q B 1 , q m 1 1 q B m 2 , q m 1 q B m 1 , q 0 0 B 0 , q m 1 2 q B m 3 , q m 2 q B m 2 , q 0 0 0 B 0 , q m m 1 q B 1 , q 1 A ¨ 1 , q ( x 1 , x 2 ) A ¨ 2 , q ( x 1 , x 2 ) A ¨ m 1 , q ( x 1 , x 2 ) A ¨ m , q ( x 1 , x 2 ) .
Finally, after m circular row exchanges, that is, after moving the j th row to the ( j + 1 ) st position for j = 1 , 2 , 3 , , m 1 , we arrive at our assertion (56) of Theorem 7. □
Theorem 8.
The following identity for the 2I2DqAP A m , q [ 2 ] ( x 1 , x 2 ) holds true:
A m , q [ 2 ] ( x 1 , x 2 ) = 1 B 0 , q A ¨ m , q ( x 1 , x 2 ) s = 0 m 1 m s q B m s , q A s , q [ 2 ] ( x 1 , x 2 ) ( m N ) .
Proof. 
Expanding the determinant in the Equation (56) with respect to the ( m + 1 ) st row, we get
A m , q [ 2 ] ( x 1 , x 2 ) = ( 1 ) m ( B 0 , q ) m + 1 m m 1 q B 1 , q 1 A ¨ 1 , q ( x 1 , x 2 ) A ¨ 2 , q ( x 1 , x 2 ) A ¨ m 1 , q ( x 1 , x 2 ) B 0 , q B 1 , q B 2 , q B m 1 , q 0 B 0 , q 2 1 q B 1 , q m 1 1 q B m 2 , q 0 0 B 0 , q m 1 2 q B m 3 , q 0 0 0 B 0 , q m 1 m 2 q B 1 , q
+ ( 1 ) m ( B 0 , q ) m + 1 1 A ¨ 1 , q ( x 1 , x 2 ) A ¨ 2 , q ( x 1 , x 2 ) A ¨ m 2 , q ( x 1 , x 2 ) A ¨ m , q ( x 1 , x 2 ) B 0 , q B 1 , q B 2 , q B m 1 , q B m 1 , q 0 B 0 , q 2 1 q B 1 , q m 2 1 q B m 3 , q m 1 1 q B m 2 , q 0 0 B 0 , q m 2 2 q B m 4 , q m 1 2 q B m 3 , q 0 0 0 B 0 , q m 1 m 2 q B 1 , q
= 1 B 0 , q m m 1 q B 1 , q A m 1 , q [ 2 ] ( x 1 , x 2 ) + ( 1 ) m ( B 0 , q ) m 1 A ¨ 1 , q ( x 1 , x 2 ) A ¨ 2 , q ( x 1 , x 2 ) A ¨ m 2 , q ( x 1 , x 2 ) A ¨ m , q ( x 1 , x 2 ) B 0 , q B 1 , q B 2 , q B m 1 , q B m 1 , q 0 B 0 , q 2 1 q B 1 , q m 2 1 q B m 3 , q m 1 1 q B m 2 , q 0 0 B 0 , q m 2 2 q B m 4 , q m 1 2 q B m 3 , q 0 0 0 B 0 , q m 1 m 2 q B 1 , q .
Next, by applying the same argument for the last determinant, we find that
A m , q [ 2 ] ( x 1 , x 2 ) = 1 B 0 , q m m 1 q B 1 , q A m 1 , q [ 2 ] ( x 1 , x 2 ) + ( 1 ) m ( B 0 , q ) m m 1 m 2 q B 2 , q 1 A ¨ 1 , q ( x 1 , x 2 ) A ¨ 2 , q ( x 1 , x 2 ) A ¨ m 3 , q ( x 1 , x 2 ) A ¨ m 2 , q ( x 1 , x 2 ) B 0 , q B 1 , q B 2 , q B m 3 , q B m 2 , q 0 B 0 , q 2 1 q B 1 , q m 3 1 q B m 4 , q m 2 1 q B m 3 , q 0 0 B 0 , q m 3 2 q B m 5 , q m 2 2 q B m 4 , q 0 0 0 B 0 , q m 2 m 3 q B 1 , q
+ ( 1 ) m + 2 ( B 0 , q ) m B 0 , q 1 A ¨ 1 , q ( x 1 , x 2 ) A ¨ 2 , q ( x 1 , x 2 ) A ¨ m 3 , q ( x 1 , x 2 ) A ¨ m , q ( x 1 , x 2 ) B 0 , q B 1 , q B 2 , q B m 3 , q B m 1 , q 0 B 0 , q 2 1 q B 1 , q m 3 1 q B m 4 , q m 1 q B m 2 , q 0 0 B 0 , q m 3 2 q B m 5 , q m 2 q B m 2 , q 0 0 0 B 0 , q m 1 m 2 q B 2 , q
= 1 B 0 , q m m 1 q B 1 , q A m 1 , q [ 2 ] ( x 1 , x 2 ) 1 ( B 0 , q ) m 1 m 2 q B 2 , q A m 2 , q [ 2 ] ( x 1 , x 2 ) + ( 1 ) m 2 ( B 0 , q ) m 1 1 A ¨ 1 , q ( x 1 , x 2 ) A ¨ 2 , q ( x 1 , x 2 ) A ¨ m 3 , q ( x 1 , x 2 ) A ¨ m , q ( x 1 , x 2 ) B 0 , q B 1 , q B 2 , q B m 3 , q B m 1 , q 0 B 0 , q 2 1 q B 1 , q m 3 1 q B m 4 , q m 1 q B m 2 , q 0 0 B 0 , q m 3 2 q B m 5 , q m 2 q B m 2 , q 0 0 0 B 0 , q m 1 m 2 q B 2 , q .
Again, we apply the same technique recursively until we arrive at the following consequence:
A m , q [ 2 ] ( x 1 , x 2 ) = 1 B 0 , q m m 1 q B 1 , q A m 1 , q [ 2 ] ( x 1 , x 2 ) 1 ( B 0 , q ) m 1 m 2 q B 2 , q A m 2 , q [ 2 ] ( x 1 , x 2 ) 1 ( B 0 , q ) 2 1 A ¨ n , q ( x 1 , x 2 ) B 0 , q B m , q
= 1 B 0 , q m m 1 q B 1 , q A m 1 , q [ 2 ] ( x 1 , x 2 ) 1 ( B 0 , q ) m 1 m 2 q B 2 , q A m 2 , q [ 2 ] ( x 1 , x 2 ) 1 ( B 0 , q ) B m , q A 0 , q [ 2 ] ( x 1 , x 2 ) + 1 B 0 , q A ¨ n , q ( x 1 , x 2 ) .
Finally, upon summing up the series in the left-hand side of the Equation (68), we arrive at the assertion (67) of Theorem 8. □
Corollary 1.
The following identity for the 2DqAP A ¨ n , q ( x 1 , x 2 ) holds true:
A ¨ m , q ( x 1 , x 2 ) = s = 0 m m s q B m s , q A k , q [ 2 ] ( x 1 , x 2 ) ( m N ) .

4. Several Members of the Twice-Iterated 2D q -Appell Polynomials

During the last two decades, much research work has been done for different members of the family of the q-Appell polynomials and the 2D q-Appell polynomials. By making suitable selections for the functions A ˙ q ( t ) and A ¨ q ( t ) , the members belonging to the family of the twice-iterated 2D q-Appell polynomials A k , q [ 2 ] ( x 1 , x 2 ) can be obtained. The 2D q-Bernoulli polynomials B m , q ( x 1 , x 2 ) , the 2D q-Euler polynomials E m , q ( x 1 , x 2 ) and the 2D q-Genocchi polynomials G m , q ( x 1 , x 2 ) are important members of the 2D q-Appell family. Therefore, in this section, we first introduce the 2D q-Euler based Bernoulli polynomials (2DqEBP) E B m , q ( x 1 , x 2 ) and the 2D q-Genocchi based Bernoulli polynomials (2DqGBP) G B m , q ( x 1 , x 2 ) by means of their respective generating functions and series definitions. We then explore other properties of these members.

4.1. The 2D q-Euler–Bernoulli Polynomials

Since, for
A q ( t ) = 2 e q ( t ) + 1 and A q ( t ) = t e q ( t ) 1 ,
the 2DqAP A m , q ( x 1 , x 2 ) reduce to the 2DqEP E m , q ( x 1 , x 2 ) and the 2DqBP B m , q ( x 1 , x 2 ) , respectively. Therefore, for the same choices of A q ( t ) , that is,
A ˙ q ( t ) = 2 e q ( t ) + 1 and A ¨ q ( t ) = t e q ( t ) 1 ,
the 2I2DqAP reduce to 2DqEBP E B m , q ( x 1 , x 2 ) and are defined by means of generating functions as follows:
2 t e q ( t ) + 1 e q ( t ) 1 e q ( x 1 t ) E q ( x 2 t ) = m = 0 E B m , q ( x 1 , x 2 ) t m [ m ] q ! ( 0 < q < 1 ) .
The 2DqEBP E B m , q ( x 1 , x 2 ) of degree m are defined by the following series:
E B m , q ( x 1 , x 2 ) = s = 0 m m s q B s , q E m s , q ( x 1 , x 2 ) .
The following relation between the 2DqEBP E B m , q ( x 1 , x 2 ) and the qEBP E B m , q ( x 1 ) holds true:
E B m , q ( x 1 , x 2 ) = s = 0 m m s q q 1 2 s ( s 1 ) x 2 s E B m s , q ( x 1 ) ,
which, for x 2 = 1 , yields
E B m , q ( x 1 , 1 ) = s = 0 m m s q q 1 2 s ( s 1 ) E B m s , q ( x 1 ) .
The 2DqEBP E B m , q ( x 1 , x 2 ) satisfy the following recurrence relation:
E B m , q ( q x 1 , x 2 ) = q m 2 · t e q ( q t ) 1 x 2 e q ( q t ) + 1 e q ( t ) + e q ( t ) t e q ( t ) 1 e q ( t ) + 1 t e q ( t ) + 1 e q ( t ) 1 + q 2 x 1 E B m 1 , q ( x 1 , x 2 ) .
Further, by taking
B 0 , q = 1 ,
B j , q = 1 [ j + 1 ] ( j N )
and
A ¨ m , q ( x 1 , x 2 ) = E m , q ( x 1 , x 2 )
in the Equation (56), we obtain the determinant definition of the 2DqEBP E B m , q ( x 1 , x 2 ) as given below.
Definition 1.
The 2D q-Euler–Bernoulli polynomials E B m , q ( x 1 , x 2 ) of degree m are defined by
E B 0 , q ( x 1 , x 2 ) = 1 ,
E B m , q ( x 1 , x 2 ) = ( 1 ) m 1 E 1 , q ( x 1 , x 2 ) E 2 , q ( x 1 , x 2 ) E m 1 , q ( x 1 , x 2 ) E m ( x 1 , x 2 ) 1 1 [ 2 ] q 1 [ 3 ] q 1 [ m ] q 1 [ m + 1 ] q 0 1 2 1 q 1 [ 2 ] q m 1 1 q 1 [ m 1 ] q m 1 q 1 [ m ] q 0 0 1 m 1 2 q 1 [ m 2 ] q m 2 q 1 [ m 1 ] q 0 0 0 1 m m 1 q 1 [ 2 ] q ( m N ) ,
where E m , q ( x 1 , x 2 ) ( m N 0 ) are the 2D q-Euler polynomials of degree m.

4.2. The 2D q-Genocchi–Bernoulli Polynomials

Since, for
A q ( t ) = 2 t e q ( t ) + 1 and A q ( t ) = t e q ( t ) 1 ,
the 2DqAP A m , q ( x 1 , x 2 ) reduce to the 2DqGP G m , q ( x 1 , x 2 ) and the 2DqBP B m , q ( x 1 , x 2 ) , respectively. Therefore, for the same choices of A q ( t ) , that is,
A ˙ q ( t ) = 2 t e q ( t ) + 1 and A ¨ q ( t ) = t e q ( t ) 1 ,
the 2I2DqAP reduce to 2DqGBP G B m , q ( x 1 , x 2 ) and are defined by means of generating functions as follows:
2 t 2 e q ( t ) + 1 e q ( t ) 1 e q ( x 1 t ) E q ( x 2 t ) = m = 0 G B m , q ( x 1 , x 2 ) t m [ m ] q ! ( 0 < q < 1 ) .
The 2DqGBP G B m , q ( x 1 , x 2 ) of degree m are defined by the following series:
G B m , q ( x 1 , x 2 ) = s = 0 m m s q B s , q G m s , q ( x 1 , x 2 ) .
The following relation between the 2DqGBP G B m , q ( x 1 , x 2 ) and the qGBP G B m , q ( x 1 ) holds true:
G B m , q ( x 1 , x 2 ) = s = 0 m m s q q 1 2 s ( s 1 ) x 2 s G B m s , q ( x 1 ) ,
which, for x 2 = 1 , gives
G B m , q ( x 1 , 1 ) = s = 0 m m s q q 1 2 s ( s 1 ) G B m s , q ( x 1 ) .
The 2DqGBP G B m , q ( x 1 , x 2 ) satisfy the following recurrence relation:
G B m , q ( q x 1 , x 2 ) = q m 3 · e q ( q t ) + 1 e q ( t ) t e q ( t ) + 1 + x 2 t e q ( q t ) + 1 t e q ( t ) + 1 e q ( t ) 1 + q e q ( t ) t e q ( t ) 1 e q ( t ) + 1 t e q ( t ) + 1 e q ( t ) 1 + q 3 x 1 G B m 1 , q ( x 1 , x 2 ) .
In the next section (Section 5 below), we give some graphical representations and the surface plots of some of the members of the twice-iterated 2D q-Appell polynomials.

5. Graphical Representations and Surface Plots

Here, in this section, the graphs of the q-Euler–Bernoulli polynomials (qEBP) E B m , q ( x ) , q-Genocchi- Bernoulli polynomials (qGBP) G B m , q ( x ) and the surface plots of the 2DqEBP E B m , q ( x 1 , x 2 ) and the 2DqGBP G B m , q ( x 1 , x 2 ) are presented.
To draw the plot of the qEBP E B m , q ( x ) and the qGBP G B m , q ( x ) , we choose q = 1 2 and consider the values of the first four q-Euler–Bernoulli polynomials and of the first four q-Genocchi–Bernoulli polynomials, the expressions of these polynomials are given in Table 1.
Further, by setting m = 4 and q = 1 2 in the series definitions (72) and (79) of E B m , 1 2 ( x 1 , x 2 ) and G B m , q ( x 1 , x 2 ) and using the particular values of E B m , 1 2 ( x ) and G B m , 1 2 ( x ) from Table 1, we find that
E B 4 , 1 2 ( x 1 , x 2 ) = x 1 4 35 16 x 1 3 + 145 192 x 1 2 + 379 1536 x 1 + 0.0213 + 15 8 x 1 3 x 2 245 64 x 1 2 x 2 + 395 256 x 1 x 2 + 379 1536 x 2 + 35 32 x 1 2 x 2 2 245 128 x 1 x 2 2 + 395 768 x 2 2 + 15 64 x 1 x 2 3 35 128 x 2 3 + 1 64 x 2 4
and
G B 3 , 1 2 ( x 1 , x 2 ) = 15 8 x 3 45 16 x 2 + 815 256 x + 379 1536 + 105 32 x 1 2 x 2 735 128 x 1 x 2 605 256 x 2 + 105 64 x 1 x 2 2 245 128 x 2 2 + 15 64 x 2 3 .
Next, by using the expression given in Table 1 and the Equations (82) and (83), with the help of Matlab, we get the Figure 1, Figure 2, Figure 3 and Figure 4 below.
Further, with the help of Matlab, we compute the real and complex zeros of E B m , 1 2 ( x ) and G B m , 1 2 ( x ) for m = 1 , 2 , 3 , 4 and x C . These zeros are mentioned in Table 2 and Table 3.
Also, with the help of Matlab, the zeros mentioned in Table 2 and Table 3 are shown in the Figure 5 and Figure 6.

6. Concluding Remarks and Observations

As long ago as 1910, Jackson [27] studied the q-definite integral of an arbitrary function f ( t ) , which is defined as follows:
0 a f ( t ) d q t = ( 1 q ) a m = 0 q m f ( a q m ) ( 0 < q < 1 ; a R )
and
a b f ( t ) d q t = 0 b f ( t ) d q t 0 a f ( t ) d q t .
We note also that
D q 0 t f ( x ) d q x = f ( t ) .
Applying the double q-integral to both sides of the Equation (42), that is,
0 x 1 0 x 2 [ m ] q A m 1 , q [ 2 ] ( t 1 , q t 2 ) d q t 1 d q t 2 = 0 x 1 0 x 2 D q , t 2 A m , q [ 2 ] ( t 1 , t 2 ) d q t 1 d q t 2 ,
we have
[ m ] q 0 x 1 0 x 2 A m 1 , q [ 2 ] ( t 1 , q t 2 ) d q t 1 d q t 2 = 0 x 1 A m , q [ 2 ] ( t 1 , x 2 ) A m , q [ 2 ] ( t 1 , 0 ) d q t 1 .
In view of the Equation (41), the above Equation (88) yields
[ m ] q 0 x 1 0 x 2 A m 1 , q [ 2 ] ( t 1 , q t 2 ) d q t 1 d q t 2   = 0 x 1 1 [ m + 1 ] q D q , t 1 A m + 1 , q [ 2 ] ( t 1 , x 2 ) D q , t 1 A m + 1 , q [ 2 ] ( t 1 , 0 ) d q t 1 = 1 [ m + 1 ] q A m + 1 , q [ 2 ] ( x 1 , x 2 ) A m + 1 , q [ 2 ] ( 0 , x 2 ) A m + 1 , q [ 2 ] ( x 1 , 0 ) + A m + 1 , q [ 2 ] ( 0 , 0 ) ,
which, on using the Equations (13) and (39), becomes
0 x 1 0 x 2 A m , q [ 2 ] ( t 1 , q t 2 ) d q t 1 d q t 2 = 1 [ m + 1 ] q [ m + 2 ] q A m + 2 , q [ 2 ] ( x 1 , x 2 ) ( 1 ) m A m + 2 , q [ 2 ] ( x 1 , x 2 ) A m + 2 , q [ 2 ] ( x 1 ) + A m + 2 , q [ 2 ] .
Further, in view of the Equations (31) and (34), the Equations (90) yields
0 x 1 0 x 2 A m , q [ 2 ] ( t 1 , q t 2 ) d q t 1 d q t 2 = 1 [ m + 1 ] q [ m + 2 ] q · s = 0 m + 2 m + 2 s q A ˙ s , q A ¨ m + 2 s , q ( x 1 , x 2 ) ( 1 ) m A ¨ m + 2 s , q ( x 1 , x 2 ) A ¨ m + 2 s , q ( x 1 ) + A ¨ m + 2 s , q .
In conclusion, we choose to reiterate the now well-understood fact that the results for the q-analogues, which we have considered in this article for 0 < q < 1 , can easily be translated into the corresponding results for the so-called ( p , q ) -analogues (with 0 < q < p 1 ) by applying some obviously trivial parametric and argument variations, the additional parameter p being redundant. In fact, the so-called ( p , q ) -number [ n ] p , q is given (for 0 < q < p 1 ) by (see also [28])
[ n ] p , q : = p n q n p q ( n { 1 , 2 , 3 , } ) 0 ( n = 0 ) = : p n 1 [ n ] q p ,
where, for the classical q-number [ n ] q , we have
[ n ] q : = 1 q n 1 q = p 1 n p n ( p q ) n p ( p q ) = p 1 n [ n ] p , p q .
Consequently, any claimed extensions of most (including the present) investigations involving the classical q-calculus to the corresponding obviously straightforward investigations involving the ( p , q ) -calculus are truly inconsequential.
Further investigations along the lines presented in this paper, which are associated with the various recent generalizations and extensions of the Apostol type Bernoulli, Euler and Genocchi polynomials introduced by, for example, Srivastava et al. (see [29,30]) may be worthy of consideration by the targeted readers.

Author Contributions

All authors contributed equally.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Strominger, A. Information in black hole radiation. Phys. Rev. Lett. 1993, 71, 3743–3746. [Google Scholar] [Green Version]
  2. Youm, D. q-deformed conformal quantum mechanics. Phys. Rev. D 2000, 62, 095009. [Google Scholar] [CrossRef]
  3. Lavagno, A.; Swamy, P.N. q-deformed structures and nonextensive statistics: A comparative study. Phys. A Stat. Mech. Appl. 2002, 305, 310–315. [Google Scholar] [CrossRef]
  4. Andrews, G.E.; Askey, R.; Roy, R. 71st Special Functions of Encyclopedia of Mathematics and Its Applications; Cambridge University Press: Cambridge, UK, 1999. [Google Scholar]
  5. Aral, A.; Gupta, V.; Agarwal, R.P. Applications of q-Calculus in Operator Theory; Springer: New York, NY, USA, 2013. [Google Scholar]
  6. Ernst, T. A Comprehensive Treatment of q-Calculus; Springer: Basel, Switzerland; Heidelberg, Germany; New York, NY, USA; Dordrecht, The Netherlands; London, UK, 2012. [Google Scholar]
  7. Appell, P. Sur une classe de polynômes. Ann. Sci. École. Norm. Supér. 1880, 9, 119–144. [Google Scholar] [CrossRef]
  8. Thorne, C.J. A property of Appell sets. Am. Math. Mon. 1945, 52, 191–193. [Google Scholar] [CrossRef]
  9. Sheffer, I.M. Note on Appell polynomials. Bull. Am. Math. Soc. 1945, 51, 739–744. [Google Scholar] [CrossRef] [Green Version]
  10. Varma, R.S. On Appell polynomials. Proc. Am. Math. Soc. 1951, 2, 593–596. [Google Scholar] [CrossRef]
  11. Pintér, Á.; Srivastava, H.M. Addition theorems for the Appell polynomials and the associated classes of polynomial expansions. Aequ. Math. 2013, 85, 483–495. [Google Scholar] [CrossRef]
  12. Srivastava, H.M.; Özarslan, M.A.; Yılmaz, B. Some families of differential equations associated with the Hermite-based Appell polynomials and other classes of Hermite-based polynomials. Filomat 2014, 28, 695–708. [Google Scholar] [CrossRef]
  13. Srivastava, H.M.; Özarslan, M.A.; Yaşar, B.Y. Difference equations for a class of twice-iterated Δh-Appell sequences of polynomials. Rev. Real Acad. Cienc. Exactas Fís. Natur. Ser. A Mat. (RACSAM) 2019, 113, 1851–1871. [Google Scholar] [CrossRef]
  14. Srivastava, H.M.; Ricci, P.E.; Natalini, P. A family of complex Appell polynomial sets. Rev. Real Acad. Cienc. Exactas Fís. Nat. Ser. A Mater. (RACSAM) 2019, 113, 2359–2371. [Google Scholar] [CrossRef]
  15. Sharma, A.; Chak, A.M. The basic analogue of a class of polynomials. Riv. Mat. Univ. Parma (Ser. 4) 1954, 5, 325–337. [Google Scholar]
  16. Al-Salam, W.A. q-Appell polynomials. Ann. Mat. Pura Appl. (Ser. 4) 1967, 4, 31–45. [Google Scholar] [CrossRef]
  17. Srivastava, H.M. Some characterizations of Appell and q-Appell polynomials. Ann. Mat. Pura Appl. (Ser. 4) 1982, 130, 321–329. [Google Scholar] [CrossRef]
  18. Anshelevich, M. Appell polynomials and their relatives. III: Conditionally free theory. Ill. J. Math. 2009, 53, 39–66. [Google Scholar] [CrossRef]
  19. Levi, D.; Tempesta, P.; Winternitz, P. Umbral calculus, difference equations and the discrete Schrödinger equation. Math. Phys. 2004, 45, 4077–4105. [Google Scholar] [CrossRef]
  20. Tempesta, P. Formal groups, Bernoulli-type polynomials and L-series. C. R. Math. Acad. Sci. Paris 2007, 345, 303–306. [Google Scholar] [CrossRef]
  21. Keleshteri, M.E.; Mahmudov, N.I. A study on q-Appell polynomials from determinant point of view. Appl. Math. Comput. 2015, 260, 351–369. [Google Scholar]
  22. Srivastava, H.M.; Khan, S.; Riyasat, M. q-Difference equations for the twice-iterated q-Appell and mixed type q-Appell Polynomials. Arab. J. Math. 2019, 8, 63–77. [Google Scholar] [CrossRef]
  23. Carlitz, L. q-Bernoulli numbers and polynomials. Duke Math. J. 1948, 15, 987–1000. [Google Scholar] [CrossRef]
  24. Mahmudov, N.I. On a class of q-Bernoulli and q-Euler polynomials. In: Proceedings of the International Congress in Honour of Professor Hari M. Srivastava. Adv. Differ. Equ. 2013, 2013, 108. [Google Scholar] [CrossRef]
  25. Srivastava, H.M. Some generalizations and basic (or q-) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci. 2011, 5, 390–444. [Google Scholar]
  26. Khan, S.; Riyasat, M. Determinant approach to the twice-iterated q-Appell and mixed type q-Appell polynomials. arXiv 2016, arXiv:1606.04265. [Google Scholar]
  27. Jacson, F.H. On q-definite integrals. Q. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  28. Srivastava, H.M.; Tuglu, N.; Çetin, M. Some results on the q-analogues of the incomplete Fibonacci and Lucas polynomials. Miskolc Math. Notes 2019, 20, 511–524. [Google Scholar] [CrossRef]
  29. Srivastava, H.M.; Masjed-Jamei, M.; Beyki, M.R. A parametric type of the Apostol-Bernoulli, Apostol-Euler and Apostol-Genocchi polynomials. Appl. Math. Inf. Sci. 2018, 12, 907–916. [Google Scholar] [CrossRef]
  30. Srivastava, H.M.; Masjed-Jamei, M.; Beyki, M.R. Some new generalizations and applications of the Apostol-Bernoulli, Apostol-Euler and Apostol-Genocchi polynomials. Rocky Mt. J. Math. 2019, 49, 681–697. [Google Scholar] [CrossRef]
Figure 1. Shape of E B m , 1 2 ( x ) .
Figure 1. Shape of E B m , 1 2 ( x ) .
Symmetry 11 01307 g001
Figure 2. Shape of G B m , 1 2 ( x ) .
Figure 2. Shape of G B m , 1 2 ( x ) .
Symmetry 11 01307 g002
Figure 3. Surface plot of E B 4 , 1 2 ( x 1 , x 2 ) .
Figure 3. Surface plot of E B 4 , 1 2 ( x 1 , x 2 ) .
Symmetry 11 01307 g003
Figure 4. Surface plot of G B 4 , 1 2 ( x 1 , x 2 ) .
Figure 4. Surface plot of G B 4 , 1 2 ( x 1 , x 2 ) .
Symmetry 11 01307 g004
Figure 5. Zeros of E B m , 1 2 ( x ) .
Figure 5. Zeros of E B m , 1 2 ( x ) .
Symmetry 11 01307 g005
Figure 6. Zeros of G B m , 1 2 ( x ) .
Figure 6. Zeros of G B m , 1 2 ( x ) .
Symmetry 11 01307 g006
Table 1. Expressions of the first four E B m , 1 2 ( x ) and G B m , 1 2 ( x ) .
Table 1. Expressions of the first four E B m , 1 2 ( x ) and G B m , 1 2 ( x ) .
m01233
E B m , 1 2 ( x ) 1 x 7 6 x 2 7 4 x + 79 168 x 3 49 24 x 2 + 79 96 x + 379 2880 x 4 35 16 x 3 + 145 192 x 2 + 379 1536 x + 0.0213
G B m , 1 2 ( x ) 01 3 2 x 7 4 7 4 x 2 49 16 x + 121 96 15 8 x 3 45 16 x 2 + 815 256 x + 379 1536
Table 2. Real zeros of E B m , 1 2 ( x ) and G B m , 1 2 ( x ) .
Table 2. Real zeros of E B m , 1 2 ( x ) and G B m , 1 2 ( x ) .
m E B m , 1 2 ( x ) G B m , 1 2 ( x )
1 1.1667 0
2 0.3315 ,   1.4185 1.1667
3 0.1213 ,   0.7910 ,   1.3719 0.6620 ,   1.0880
4 0.7878 , 1.6239 0.0726
Table 3. Complex zeros of E B m , 1 2 ( x ) and G B m , 1 2 ( x ) .
Table 3. Complex zeros of E B m , 1 2 ( x ) and G B m , 1 2 ( x ) .
m E B m , 1 2 ( x ) G B m , 1 2 ( x )
1
2
3
4 0.1121 0.0639 i , 0.1121 + 0.0639 i 0.7863 1.0926 i , 0.7863 + 1.0926 i

Share and Cite

MDPI and ACS Style

Srivastava, H.M.; Yasmin, G.; Muhyi, A.; Araci, S. Certain Results for the Twice-Iterated 2D q-Appell Polynomials. Symmetry 2019, 11, 1307. https://doi.org/10.3390/sym11101307

AMA Style

Srivastava HM, Yasmin G, Muhyi A, Araci S. Certain Results for the Twice-Iterated 2D q-Appell Polynomials. Symmetry. 2019; 11(10):1307. https://doi.org/10.3390/sym11101307

Chicago/Turabian Style

Srivastava, Hari M., Ghazala Yasmin, Abdulghani Muhyi, and Serkan Araci. 2019. "Certain Results for the Twice-Iterated 2D q-Appell Polynomials" Symmetry 11, no. 10: 1307. https://doi.org/10.3390/sym11101307

APA Style

Srivastava, H. M., Yasmin, G., Muhyi, A., & Araci, S. (2019). Certain Results for the Twice-Iterated 2D q-Appell Polynomials. Symmetry, 11(10), 1307. https://doi.org/10.3390/sym11101307

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