Next Article in Journal
On Concatenations of Regular Circular Word Languages
Next Article in Special Issue
Exceptional Differential Polynomial Systems Formed by Simple Pseudo-Wronskians of Jacobi Polynomials and Their Infinite and Finite X-Orthogonal Reductions
Previous Article in Journal
Applying Levy and DQ Methods to Hygrothermal Deformation of Piezoelectric/GPLs Plates with Porosities Lying on Elastic Foundations Using a Quasi-3D Plate Theory
Previous Article in Special Issue
New Results for Certain Jacobsthal-Type Polynomials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Two-Variable q-General-Appell Polynomials Within the Context of the Monomiality Principle

1
Department of Mathematics, College of Science, University of Ha’il, Ha’il 2440, Saudi Arabia
2
Department Electrical Engineering, Prince Mohammad Bin Fahd University, P.O. Box 1664, Al Khobar 31952, Saudi Arabia
3
Department of Mathematics, Faculty of Science, Zonguldak Bülent Ecevit University, Zonguldak 67100, Turkey
4
Department of Mathematics, Hannam University, Daejeon 34430, Republic of Korea
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(5), 765; https://doi.org/10.3390/math13050765
Submission received: 20 January 2025 / Revised: 23 February 2025 / Accepted: 25 February 2025 / Published: 26 February 2025
(This article belongs to the Special Issue Polynomials: Theory and Applications, 2nd Edition)

Abstract

:
In this study, we consider the two-variable q-general polynomials and derive some properties. By using these polynomials, we introduce and study the theory of two-variable q-general Appell polynomials (2VqgAP) using q-operators. The effective use of the q-multiplicative operator of the base polynomial produces the generating equation for 2VqgAP involving the q-exponential function. Furthermore, we establish the q-multiplicative and q-derivative operators and the corresponding differential equations. Then, we obtain the operational, explicit and determinant representations for these polynomials. Some examples are constructed in terms of the two-variable q-general Appell polynomials to illustrate the main results. Finally, graphical representations are provided to illustrate the behavior of some special cases of the two-variable q-general Appell polynomials and their potential applications.

1. Introduction

Appell polynomials, a notable category of special functions, have found widespread utility in mathematical domains. Introduced by Paul Appell in 1880, these polynomials are characterized by distinctive properties that contribute to their significance across various mathematical and scientific fields.
The generating function for two-variable general polynomials (2VgP), represented as p n ( ζ , η ) , is established as follows in the literature [1,2]:
exp ( ζ t ) ϕ ( η , t ) = n = 0 p n ( ζ , η ) t n n ! , ( p 0 ( ζ , η ) = 1 ) ,
where ϕ ( η , t ) has (at least the formal) series expansion
ϕ ( η , t ) = k = 0 ϕ k ( η ) t k k ! , ( ϕ 0 ( η ) 0 ) .
In the 18th century, the foundation of q-calculus began, establishing a framework integral to the theory of special functions. Recently, q-calculus has garnered significant attention due to its applicability across fields like applied mathematics, mechanical engineering, and physics, bridging classical mathematics and quantum calculus. The development of q-analogues, inspired by classical calculus, has led to foundational results in combinatorics, number theory, and other mathematical disciplines. Key q-special polynomials, such as the q-binomial coefficient n k q and the q-Pochhammer symbol ( γ ; q ) v , hold central roles in q-analog structures across combinatorics, representation theory, and statistical mechanics. The algebraic and analytic richness of these polynomials offers essential tools for exploring q-analogue phenomena. In this paper, we set q C , with | q | < 1 , and employ q-notations as per Andrews et al. [3]. In recent years, advancements have been made in the study of two-variable q-Hermite polynomials, notably by Zayed et al. [4] and Riyasat and Khan [5], highlighting their importance in extending classical Hermite polynomials into q-calculus frameworks. Additionally, q-special functions have been formulated and explored within the representations of quantum algebras [6,7,8] underscoring the role of q-calculus in quantum groups and quantum mechanics.
The q-shifted factorial ( ζ ; q ) ν is defined as follows:
( ζ ; q ) ν = s = 1 ν 1 ( 1 q s ζ ) , ν N , ζ C ; 0 < q < 1 .
In q-calculus, this notation assumes a fundamental significance, embodying the discrete characteristics of q-analogues and enabling a range of identities and transformations crucial to the theoretical framework.
For a complex number ζ C , the q-analogue of ζ is given by
ζ q = 1 q ζ 1 q , 0 < q < 1 , ζ C .
The q-factorial is given by
ζ q ! = s = 1 ζ s q , 0 < q < 1 , ζ 0 C 1 , ζ = 0 .
The Gauss’s q-binomial formula is given by [3]
( ζ ± γ ) q v = s = 0 v v s q q v s 2 ζ s ( ± γ ) v s ,
where the Gauss q-binomial coefficient is
v s q = v q ! s q ! v s q ! .
Two q-exponential functions are given by [9]
e q ( t ) = n = 0 t n [ n ] q ! , 0 < q < 1 , | ζ | < 1 1 q
and
E q ( t ) = n = 0 q n 2 t n [ n ] q ! , 0 < q < 1 , ζ C .
The product of both q-exponential functions is given by
e q ( ζ ) E q ( η ) = w = 0 ( ζ + η ) q w [ w ] q ! .
Hence
e q ( ζ ) E q ( ζ ) = 1 , | ζ | < 1 1 q .
The q-derivative of a function f ( ζ ) is defined as [10,11]
D ^ q , ζ f ( ζ ) = f ( q ζ ) f ( ζ ) ζ q 1 , 0 < q < 1 , ζ 0 .
In particular, we have
D ^ q , ζ ζ w = [ w ] q ζ w 1 .
The q-derivative of the exponential function is given by
D ^ q , ζ e q ( α ζ ) = α e q ( α ζ ) , α C
and
D ^ q , ζ k e q ( α ζ ) = α k e q ( α ζ ) , k N , α C ,
where D ^ q , ζ k denotes the kth order q-derivative with respect to ζ .
The q-derivative of the product of functions f ( ζ ) and g ( ζ ) has been established in the literature [2,4,12]
D ^ q , ζ ( f ( ζ ) g ( ζ ) ) = f ( ζ ) D ^ q , ζ g ( ζ ) + g ( q ζ ) D ^ q , ζ f ( ζ ) .
The q-derivative of the division of functions f ( ζ ) and g ( ζ ) is given by
D ^ q , ζ f ( ζ ) g ( ζ ) = g ( q ζ ) D ^ q , ζ f ( ζ ) f ( q ζ ) D ^ q , ζ g ( ζ ) g ( ζ ) g ( q ζ ) , g ( ζ ) 0 , g ( q ζ ) 0 .
The q-integral of a function f ( ζ ) is defined as [3,4]
0 a f ( ζ ) d q ζ = ( 1 q ) a w = 0 q w f ( a q w ) .
By virtue of (17), we can conclude that
0 ζ λ m d q λ = ( 1 q ) ζ w = 0 ζ m q w ( m + 1 ) = ζ m + 1 ( 1 q ) 1 q m + 1 = ζ m + 1 [ m + 1 ] q , m N { 0 } .
More specifically, D ^ q , ζ 1 { 1 } = ζ , and by using the method of mathematical induction, we have
D ^ q , ζ 1 r { 1 } = ζ r [ r ] q ! , r N { 0 } .
For some papers on q-generalizations of the special polynomials, we refer to [9,13,14,15,16]. The q-Gould–Hopper polynomials, denoted as H w , q ( m ) ( ζ , η ) ( q G H P ), can be defined following generating function
e q ( ζ t ) e q ( η t m ) = w = 0 H w , q ( m ) ( ζ , η ) t w [ w ] q !
and the series definition
H w , q ( m ) ( ζ , η ) = [ w ] q ! k = 0 [ w m ] η k ζ w m k [ k ] q ! [ w m k ] q ! .
For m = 2 , (20) reduces to 2-variable q-Hermite polynomials defined by Raza et al. [11]. The operational identity of q-Gould–Hopper polynomials H w , q ( m ) ( ζ , η ) is as follows:
H w , q ( m ) ( ζ , η ) = e q η D q , ζ m { ζ w } .
The q-dilatation operator T ζ , which acts on any function of the complex variable ζ , in the following manner [8,10]
T ζ k f ( ζ ) = f ( q k ζ ) , k R , 0 < q < 1 ,
satisfies the property
T ζ 1 T ζ 1 f ( ζ ) = f ( ζ ) .
The q-derivative of the q-exponential function e q ( η t m ) is given as [9]
D ^ q , t e q ( η t m ) = η t m 1 T ( η ; m ) e q ( η t m ) .
where
T ( η ; m ) = 1 q m T η m 1 q T η = 1 + q T η + + q m 1 T η m 1 .
The generating function of q-Appell polynomials A n , q ( ζ ) is elucidated by Al Salam, as delineated in the formula presented in [17,18].
A q ( t ) e q ( ζ t ) = n = 0 A n , q ( ζ ) t n [ n ] q ! ,
A q ( t ) = n = 0 A n , q t n [ n ] q ! , A q ( t ) 0 , A 0 , q = 1 .
The following list (see Table 1) demonstrates an appropriate option for certain individuals within the class of q-Appell polynomials:
The elements of the q-Appell polynomials class A n , q ( ζ ) generate the corresponding q-numbers A n , q when ζ = 0 . Table 2 illustrates the initial occurrences of three specific q-numbers: the q-Bernoulli numbers B n , q [16,19], the q-Euler numbers E n , q [16,19], and the q-Genocchi numbers G n , q [16,19].
The monomiality principle stands as a fundamental tool for investigating specific special polynomials and functions, as well as their properties. Originating from Steffensen’s work in the early 19th century, this concept underwent significant refinement and expansion through Dattoli’s contributions in 2000. Recent academic research has utilized the monomiality principle to explore innovative hybrid special polynomial sequences and families [14,15]. Notably, Cao et al. [10] extended the application of the monomiality principle to q-special polynomials, opening avenues for the creation of novel q-special polynomial families and shedding light on the quasi monomiality of certain existing q-special polynomials. Through the application of q-operation specific techniques, researchers can derive additional classes of q-generating functions and various generalizations of q-special functions. Among these techniques, the q-operational process demonstrates greater alignment with traditional mathematical approaches and implementations employed in the resolution of q-differential equations. In the context of a q-polynomial set p n , q ( ζ ) ( n N , ζ C ) , two q-operators are defined as M ^ q and P ^ q . These operators, known as the q-multiplicative and q-derivative operators, respectively, are implemented as described in [10]
M q ^ { p n , q ( ζ ) } = p n + 1 , q ( ζ )
and
P q ^ { p n , q ( ζ ) } = [ n ] q p n 1 , q ( ζ ) .
The operators M q ^ and P q ^ satisfy the following commutation relation:
[ M q ^ , P q ^ ] = P q ^ M q ^ M q ^ P q ^ .
An analysis of the M q ^ and P q ^ operators facilitates the determination of polynomial p n , q ( ζ ) properties. When M q ^ and P q ^ demonstrate differential realization, the polynomials p n , q ( ζ ) conform to a particular differential equation.
M q ^ P q ^ { p n , q ( ζ ) } = [ n ] q p n , q ( ζ )
and
P q ^ M q ^ { p n , q ( ζ ) } = [ n + 1 ] q p n , q ( ζ ) .
In view of (28) and (29), we have
[ M q ^ , P q ^ ] = [ n + 1 ] q [ n ] q .
From (28), we have
M q ^ r { p n , q } = p n + r , q ( ζ ) .
More specifically, we have
p n , q ( ζ ) = M q ^ n { p 0 , q } = M q ^ n { 1 } ,
where p 0 , q ( ζ ) = 1 is the q-sequel of polynomial p n , q ( ζ ) . Furthermore, the generating function of p n , q ( ζ ) can be obtained as
e q ( M q ^ t ) { 1 } = n = 0 p n , q ( ζ ) t n [ n ] q ! .
The subsequent q-multiplicative and q-derivative operators associated with the q-Appell polynomials A n , q are presented as follows [12]
M ^ q A = η + A q ( D ^ q , η ) A q ( D ^ q , η ) T η ,
or, alternatively,
M ^ q A = η A q ( q D ^ q , η ) A q ( D ^ q , η ) + A q ( D ^ q , η ) A q ( D ^ q , η ) ,
and
P ^ q A = D ^ q , η ,
respectively.
Inspired by the above papers, in this paper, we examine the specific characteristics of two-variable q-general Appell polynomials through the implementation of the q-analog monomiality principle. Additionally, we present some applications of these newly established two-variable q-general Appell polynomials with graphical representations. Our findings suggest that these polynomials are promising for diverse applications across multiple disciplines.

2. Two-Variable q-General Appell Polynomials

In this section, we introduce the concept of two-variable q-general Appell polynomials, denoted as A n , q p ( ζ , η ) . We elucidate their series definition, q-quasi-monomiality characteristics, operational identities, and associated q-differential equations. Our analysis begins with the formulation of two-variable q-general polynomials, referred to as 2VqgP p n , q ( ζ , η ) .
Here, we consider the two-variable q-general polynomials (2VqgP) p n , q ( ζ , η ) defined by the following generating function:
e q ( ζ t ) ϕ q ( η , t ) = n = 0 p n , q ( ζ , η ) t n [ n ] q ! , ( p 0 , q ( ζ , η ) = 1 ) ,
where ϕ q ( η , t ) has (at least the formal) series expansion
ϕ q ( η , t ) = n = 0 ϕ n , q ( η ) t n [ n ] q ! , ( ϕ 0 , q ( η ) 0 ) .
With the simplification of the left-hand side of Equation (40) through the application of Equations (7) and (41), the following series definitions of the two-variable q-general polynomials p n , q ( ζ , η ) are obtained as follows:
p n , q ( ζ , η ) = k = 0 n n k q ζ k ϕ n k , q ( η ) .
We hereby establish the following result concerning the q-quasi-monomial identities of the two-variable q-general polynomials 2 V q g P p n , q ( ζ , η ) .
Theorem 1. 
The two-variable q-general polynomials 2 V q g P p n , q ( ζ , η ) demonstrate quasi-monomial characteristics when subjected to the aforementioned q-multiplicative and q-derivative operators as follows:
M ^ 2 V q g P = ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ
and
P ^ 2 V q g P = D ^ q , ζ ,
repectively, where T q , ζ denote the q-dilation operator given by Equation (23).
Proof. 
Taking the q-derivative on both sides of Equation (40), partially with respect to t and by using Equation (15), we have
n = 1 p n , q ( ζ , η ) D ^ q , t t n [ n ] q ! = e q ( q ζ t ) D ^ q , t ϕ q ( η , t ) + ϕ q ( η , t ) D ^ q , t e q ( ζ t ) ,
which by using Equation (15) by taking f q ( t ) = ϕ q ( η , t ) and g q ( t ) = e q ( ζ t ) , and then simplifying the resultant equation by using Equations (12), (26), and (28) on the right-hand side, we have
ζ + ϕ q ( η , t ) ϕ q ( η , t ) T q , ζ e q ( ζ t ) ϕ q ( η , t ) = n = 0 p n + 1 , q ( ζ , η ) t n [ n ] q ! .
Since
D ^ q , ζ e q ( ζ t ) ϕ q ( η , t ) = t e q ( ζ t ) ϕ q ( η , t ) ,
and ϕ q ( η , t ) ϕ q ( η , t ) has a q-power series expansion in t, as ϕ q ( η , t ) is an invertible series of t.
Therefore, by (40) and (46), we have
ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ n = 0 p n , q ( ζ , η ) t n [ n ] q ! = n = 0 p n + 1 , q ( ζ , η ) t n [ n ] q ! .
Comparing the coefficients of like powers of t on both sides, gives
ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ p n , q ( ζ , η ) = p n + 1 , q ( ζ , η ) .
In accordance with the monomiality principle Equation (28), the aforementioned equation substantiates assertion (43) of Theorem 1. Furthermore, with the application of identity (13) to Equation (40), we have
D ^ q , ζ n = 0 p n , q ( ζ , η ) t n [ n ] q ! = n = 1 p n 1 , q ( ζ , η ) t n [ n 1 ] q ! .
Upon comparing the coefficients of equivalent powers of t on both sides of Equation (50), we derive
D ^ q , ζ p n , q ( ζ , η ) = [ n ] q p n 1 , q ( ζ , η ) , ( n 1 ) .
Upon examining the monomiality principle Equation (29), we can conclude that assertion (44) of Theorem 1 is validated. □
Theorem 2. 
The following q-differential equation for two-variable q-general polynomials 2 V q g P p n , q ( ζ , η ) holds:
ζ D ^ q , ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ D ^ q , ζ [ n ] q p n , q ( ζ , η ) = 0 .
Proof. 
In view of Equations (31), (43), and (44), we obtain the assertion (52) of Theorem 2. □
Remark 1. 
Since p 0 , q ( ζ , η ) = 1 , in view of monomiality principle Equation (35), we have
p n , q ( ζ , η ) = ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ n 1 ( p 0 , q ( ζ , η ) = 1 ) .
Furthermore, in view of Equations (35), (40) and (43), we have
e q M ^ 2 V q g P 1 = e q ( ζ t ) ϕ q ( η , t ) = n = 0 p n , q ( ζ , η ) t n [ n ] q ! .
Subsequently, we introduce the two-variable q-general-Appell polynomials ( 2 V q g A P ), in order to derive the generating functions for the two-variable q-general-Appell polynomials by means of exponentially generating the function of q-Appell polynomials. Thus, replacing ζ on the left-hand side of (43) by the q-multiplicative operator of 2 V q g P p n , q ( ζ , η ) , given by (40) and denoting the resultant of two-variable q-general-Appell polynomials 2 V q g A P A n , q p ( ζ , η ) , we obtain
A q ( t ) e q M ^ 2 V q g P 1 = n = 0 A n , q p ( ζ , η ) t n [ n ] q ! ,
which, by using Equation (43), we obtain the following two equivalent forms of A n , q p ( ζ , η ) :
A q ( t ) e q ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ 1 = n = 0 A n , q p ( ζ , η ) t n [ n ] q ! .
The generating function for the two-variable q-general Appell polynomials A n , q p ( ζ , η ) can be formulated by applying the relation (54) to the left-hand side of Equation (55), resulting in the following representation:
A q ( t ) e q ( ζ t ) ϕ q ( η , t ) = n = 0 A n , q p ( ζ , η ) t n [ n ] q ! .
Theorem 3. 
The two-variable q-general-Appell polynomials A n , q p ( ζ , η ) are defined by the following series:
A n , q p ( ζ , η ) = k = 0 n n k q A k , q p n k , q ( ζ , η ) ,
where A k , q is given by Equation (27).
Proof. 
In view of Equations (27) and (40), we can write
n = 0 A n , q p ( ζ , η ) t n [ n ] q ! = A q ( t ) n = 0 p n , q ( ζ , η ) t n [ n ] q ! .
By employing the expansion (27) of A q ( t ) on the left side of Equation (59), performing simplification, and subsequently comparing the coefficients of equivalent t powers on both sides of the resulting expression, we arrive at assertion (58). □
By using a similar approach given in [20,21], and in view of Equation (57), the following determinant form for A n , q p ( ζ , η ) is obtained.
Theorem 4. 
The determinant representation of two-variable q-general Appell polynomials A n , q p ( ζ , η ) of degree n is
A 0 , q p ( ζ , η ) = 1 β 0 , q ,
A n , q p ( ζ , η ) = ( 1 ) n ( β 0 , q ) n + 1 1 p 1 , q ( ζ , η ) p 2 , q ( ζ , η ) . . . p n 1 , q ( ζ , η ) p n , q ( ζ , η ) β 0 , q β 1 , q β 2 , q . . . β n 1 , q β n , q 0 β 0 , q 2 1 q β 1 , q . . . n 1 1 q β n 2 , q n 1 q β n 1 , q 0 0 β 0 , q . . . n 1 1 q β n 3 , q n 2 q β n 2 , q . . . 0 0 0 . . . β 0 , q n n 1 q β 1 , q ,
β n , q = 1 A 0 , q k = 1 n n k q A k , q β n k , q , n = 0 , 1 , 2 , ,
where β 0 , q 0 , β 0 , q = 1 A 0 , q and p n , q ( ζ , η ) , n = 0 , 1 , 2 , are the two-variable q-general polynomials defined by Equation (40).
Theorem 5. 
The two-variable q-general Appell polynomials A n , q p ( ζ , η ) are quasi-monomials under the following q-multiplicative and q-derivative operators:
M ^ 2 V q g A P = ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ A q ( q D ^ q , ζ ) A q ( D ^ q , ζ ) + A q ( D ^ q , ζ ) A q ( D ^ q , ζ )
and
P ^ 2 V q g A P = D ^ q , ζ ,
respectively, where T q , ζ denote the q-dilatation operators given by Equation (23).
Proof. 
Taking the q-derivative on both sides of Equation (57) with respect to t by using Equation (15), we obtain
n = 1 A n , q p ( ζ , η ) D ^ q , t t n [ n ] q ! = A q ( q t ) D ^ q , t e q ( ζ t ) ϕ q ( η , t ) + e q ( ζ t ) ϕ q ( η , t ) A q ( t ) ,
which by using Equation (15) by taking f q ( t ) = e q ( η t ) ϕ q ( η , t ) and g ( t ) = A q ( t ) , and then simplifying the resultant equation by using Equations (14), (23) and (28) on the left-hand side, we have
ζ + ϕ q ( η , t ) ϕ q ( η , t ) T q , ζ A q ( q t ) A q ( t ) + A q ( t ) A q ( t ) A q ( t ) e q ( ζ t ) ϕ q ( η , t ) = n = 1 A n , q p ( ζ , η ) t n 1 [ n 1 ] q ! .
Let A q ( t ) and ϕ q ( η , t ) be invertible series of t, A q ( t ) A q ( t ) and ϕ q ( η , t ) ϕ q ( η , t ) have a q-power series expansion in t. Since
D ^ q , η A q ( t ) e q ( ζ t ) ϕ q ( η , t ) = t A q ( t ) e q ( ζ t ) ϕ q ( η , t ) ,
Equation (64) becomes
ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ A q ( q D ^ q , η ) A q ( D ^ q , η ) + A q ( D ^ q , η ) A q ( D ^ q , η ) A q ( t ) e q ( ζ t ) ϕ q ( η , t ) = n = 1 A n , q p ( ζ , η ) t n 1 [ n 1 ] q ! ,
which, by using (57), gives
ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ A q ( q D ^ q , η ) A q ( D ^ q , η ) + A q ( D ^ q , η ) A q ( D ^ q , η ) n = 0 A n , q p ( ζ , η ) t n [ n ] q ! = n = 1 A n , q p ( ζ , η ) t n 1 [ n 1 ] q ! .
An examination of the coefficients of t on both sides of Equation (67), in conjunction with a consideration of Equation (28), leads to the derivation of assertion (61). Furthermore, upon applying identity (13) to Equation (57), we have
D ^ q , ζ n = 0 A n , q p ( ζ , η ) t n [ n ] q ! = n = 1 A n 1 , q p ( ζ , η ) t n [ n 1 ] q ! .
Upon comparing the coefficients of equivalent powers of t on both sides of Equation (68), we derive
D ^ q , ζ A n , q p ( ζ , η ) = [ n ] q A n 1 , q p ( ζ , η ) , ( n 1 ) .
Upon examining the monomiality principle Equation (29), we can conclude that assertion (62) of Theorem 5 is validated. □
Theorem 6. 
The following q-differential equation for A n , q p ( ζ , η ) holds true:
ζ A q ( q D ^ q , η ) A q ( D ^ q , η ) D ^ q , ζ + ϕ q ( η , D ^ q , ζ ) ϕ q ( η , D ^ q , ζ ) T q , ζ A q ( q D ^ q , η ) A q ( D ^ q , η ) D ^ q , ζ + A q ( D ^ q , η ) A q ( D ^ q , η ) D ^ q , η [ n ] q A n , q p ( ζ , η ) = 0 .
Proof. 
Using (61) and (62) in (31), we obtain the assertion (70). □

3. Applications

Specifically, when considering the case where ϕ q ( η , t ) = e q ( η t m ) in generating function (57), which results in the reduction of 2VqgAP A n , q p ( ζ , η ) to the q-Gould–Hopper-based Appell polynomials (q-GHbAP) A n , q ( m ) H ( ζ , η ) can be characterized by a specific generating function as follows:
A q ( t ) e q ( ζ t ) e q ( η t m ) = n = 0 A n , q ( m ) H ( ζ , η ) t n [ n ] q ! .
In other words, we have
A n , q ( m ) H ( ζ , η ) = e q ( η D ^ q , η ( m ) ) A n , q ( ζ ) .
Through the application of Equations (20) and (26), we can expand the left-hand side of Equation (71) as follows
A n , q ( m ) H ( ζ , η ) = k = 0 n n k q A k , q H n k , q ( m ) ( ζ , η ) .
By using a similar approach given in [20,21] and in view of Equation (71), the following determinant form for A n , q ( m ) H ( ζ , η ) is obtained.
Theorem 7. 
The determinant representation of q-Gould–Hopper-based Appell polynomials A n , q ( m ) H ( ζ , η ) of degree n is
A 0 , q ( m ) H ( ζ , η ) = 1 β 0 , q ,
A n , q ( m ) H ( ζ , η ) = ( 1 ) n ( β 0 , q ) n + 1 1 H 1 , q ( m ) ( ζ , η ) H 2 , q ( m ) ( ζ , η ) . . . H n 1 , q ( m ) ( ζ , η ) H n , q ( m ) ( ζ , η ) β 0 , q β 1 , q β 2 , q . . . β n 1 , q β n , q 0 β 0 , q 2 1 q β 1 , q . . . n 1 1 q β n 2 , q n 1 q β n 1 , q 0 0 β 0 , q . . . n 1 1 q β n 3 , q n 2 q β n 2 , q . . . 0 0 0 . . . β 0 , q n n 1 q β 1 , q ,
β n , q = 1 A 0 , q k = 1 n n k q A k , q β n k , q , n = 0 , 1 , 2 , ,
where β 0 , q 0 , β 0 , q = 1 A 0 , q and H n , q ( m ) ( ζ , η ) , n = 0 , 1 , 2 , are the q-Gould–Hopper polynomials defined by Equation (20).
We shall now demonstrate the q-multiplicative and q-derivative operators of A n , q ( m ) H ( ζ , η ) . The following theorem is presented:
Theorem 8. 
The q-Gould–Hopper-based Appell polynomials A n , q ( m ) H ( ζ , η ) are quasi-monomial under the following q-multiplicative and q-derivative operators:
M ^ 2 V q G H A P = ζ T η + η D ^ q , ζ m 1 T ( η ; m ) A q ( q D ^ q , η ) A q ( D ^ q , η ) + A q ( D ^ q , η ) A q ( D ^ q , η ) ,
or, equivalently,
M ^ 2 V q G H A P = ζ + η D ^ q , ζ m 1 T ( η ; m ) T ζ A q ( q D ^ q , η ) A q ( D ^ q , η ) + A q ( D ^ q , η ) A q ( D ^ q , η )
and
P ^ 2 V q G H A P = D ^ q , ζ ,
respectively, where T ζ and T η denote the q-dilatation operators given by Equation (23), and D q , ζ 1 is defined by Equation (19).
Proof. 
By applying the q-derivative to both sides of Equation (71) with respect to t, utilizing Equation (15), we obtain
n = 1 A n , q ( m ) H ( ζ , η ) D ^ q , t t n [ n ] q ! = A q ( q t ) e q D ^ q , t e q ( ζ t ) e q ( η t m ) + e q ( ζ t ) e q ( η t m ) A q ( t ) ,
which, by using Equation (15) by taking f ( t ) = e q ( ζ t ) e q ( η t m ) and g ( t ) = A q ( t ) , and then simplifying the resultant equation by using Equations (14), (26), and (27) on the left-hand side, we have
ζ T η + η t m 1 T ( η ; m ) A q ( q t ) A q ( t ) + A q ( t ) A q ( t ) A q ( t ) e q ( ζ t ) e q ( η t m ) = n = 1 A n , q ( m ) H ( ζ , η ) t n 1 [ n 1 ] q ! .
Since
D ^ q , ζ A q ( t ) e q ( ζ t ) e q ( η t m ) = t A q ( t ) e q ( ζ t ) e q ( η t m )
and A q ( t ) A q ( t ) has a q-power series expansion in t, as A q ( t ) is an invertible series of t.
Therefore, by using Equation (71), we obtain
η T η + η D ^ q , ζ m 1 T ( η ; m ) A q ( q D ^ q , η ) A q ( D ^ q , η ) + A q ( D ^ q , η ) A q ( D ^ q , η ) × n = 0 A n , q ( m ) H ( ζ , η ) t n [ n ] q ! = n = 1 A n , q ( m ) H ( ζ , η ) t n 1 [ n 1 ] q ! .
Comparing the coefficients of t on both sides of Equation (81), and then, in view of Equation (28), the resultant equation gives assertion (75).
Employing Equation (78) with f q ( t ) = e q ( η t m ) and g q ( t ) = e q ( ζ t ) , and applying the methodology utilized in the proof of assertion (75), we obtain assertion (76).
Upon examining Equations (29) and (80), we establish assertion (77). □
Theorem 9. 
The following q-differential equation for q-GAbP A n , q ( m ) H ( ζ , η ) holds true:
ζ D ^ q , ζ A q ( q D ^ q , ζ ) A q ( D ^ q , ζ ) T η + η D ^ q , ζ m T ( η ; m ) A q ( q D ^ q , ζ ) A q ( D ^ q , ζ ) + A q ( D ^ q , η ) A q ( D ^ q , ζ ) D ^ q , ζ [ n ] q A n , q ( m ) H ( ζ , η ) = 0 ,
or, equivalently
ζ D ^ q , ζ A q ( q D ^ q , ζ ) A q ( D ^ q , ζ ) + η D ^ q , ζ m T ( η ; m ) A q ( q D ^ q , ζ ) A q ( D ^ q , ζ ) T ζ + A q ( D ^ q , η ) A q ( D ^ q , ζ ) D ^ q , ζ [ n ] q A n , q ( m ) H ( ζ , η ) = 0 .
Proof. 
Using (75), (76), and (77) in (31), we obtain the assertions (82) and (83). □

4. Examples

In this section, we consider certain members of the family of two-variable q-Gould–Hopper-based Appell polynomials (71).
Through the appropriate selection of the function A q ( t ) in Table 1 in Equation (71), it is possible to establish the following generating functions for the q-Gould–Hopper-based Bernoulli B n , q ( m ) H ( ζ , η ) , Euler E n , q ( m ) H ( ζ , η ) , and Genocchi G n , q ( m ) H ( ζ , η ) polynomials:
t e q ( t ) 1 e q ( ζ t ) e q ( η t m ) = n = 0 B n , q ( m ) H ( ζ , η ) t n [ n ] q ! ,
2 e q ( t ) + 1 e q ( ζ t ) e q ( η t m ) = n = 0 E n , q ( m ) H ( ζ , η ) t n [ n ] q !
and
2 t e q ( t ) + 1 e q ( ζ t ) e q ( η t m ) = n = 0 G n , q ( m ) H ( ζ , η ) t n [ n ] q ! .
Furthermore, in view of expression (73), the polynomials B n , q ( m ) H ( ζ , η ) , E n , q ( m ) H ( ζ , η ) , and G n , q ( m ) H ( ζ , η ) satisfy the following explicit form:
B n , q ( m ) H ( ζ , η ) = k = 0 n n k q B k , q H n k , q ( m ) ( ζ , η ) ,
E n , q ( m ) H ( ζ , η ) = k = 0 n n k q E k , q H n k , q ( m ) ( ζ , η )
and
G n , q ( m ) H ( ζ , η ) = k = 0 n n k q G k , q H n k , q ( m ) ( ζ , η ) .
Furthermore, in view of expressions (74), the polynomials B n , q ( m ) H ( ζ , η ) , E n , q ( m ) H ( ζ , η ) and G n , q ( m ) H ( ζ , η ) satisfy the following determinant representations:
B 0 , q ( m ) H ( ζ , η ) = 1 ,
B n , q ( m ) H ( ζ , η ) = ( 1 ) n 1 H 1 , q ( m ) ( ζ , η ) H 2 , q ( m ) ( ζ , η ) H n 1 , q ( m ) ( ζ , η , ) H n , q ( m ) ( ζ , η ) 1 1 [ 2 ] q 1 [ 3 ] q 1 [ n ] q 1 [ n + 1 ] q 0 1 2 1 q 1 [ 2 ] q n 1 1 q 1 [ n 1 ] q n 1 q 1 [ n ] q 0 0 1 n 1 2 q 1 [ n 2 ] q n 2 q 1 [ n 1 ] q . . . . . . . . . . 0 0 0 1 n n 1 q 1 [ 2 ] q ,
E 0 , q ( m ) H ( ζ , η ) = 1 ,
E n , q ( m ) H ( ζ , η ) = ( 1 ) n 1 H 1 , q ( m ) ( ζ , η ) H 2 , q ( m ) ( ζ , η ) H n 1 , q ( m ) ( ζ , η ) H n , q ( m ) ( ζ , η ) 1 1 2 1 2 1 2 1 2 0 1 2 1 q 1 2 n 1 1 q 1 2 n 1 q 1 2 0 0 1 n 1 2 q 1 2 n 2 q 1 2 . . . . . . . . . . 0 0 0 1 n n 1 q 1 2
and
G 0 , q ( m ) H ( ζ , η ) = 1 ,
G n , q ( m ) H ( ζ , η ) = ( 1 ) n 1 H 1 , q ( m ) ( ζ , η ) H 2 , q ( m ) ( ζ , η ) H n 1 , q ( m ) ( ζ , η ) H n , q ( m ) ( ζ , η ) 1 1 2 [ 2 ] q 1 2 [ 3 ] q 1 2 [ n ] q 1 2 [ n + 1 ] q 0 1 2 1 q 1 2 [ 2 ] q n 1 1 q 1 2 [ n 1 ] q n 1 q 1 2 [ n ] q 0 0 1 n 1 2 q 1 2 [ n 2 ] q n 2 q 1 2 [ n 1 ] q . . . . . . . . . . 0 0 0 1 n n 1 q 1 2 [ 2 ] q ,
where H n , q ( m ) ( ζ , η ) , ( n = 0 , 1 , 2 ) are the q-Gould–Hopper polynomials of degree n.

5. Distribution of Zeros and Graphical Representation

In this section, we aim to provide the graphical representations and zeros for the q-Gould–Hopper-based Bernoulli B n , q ( m ) H ( ζ , η ) and q-Gould–Hopper-based Euler E n , q ( m ) H ( ζ , η ) polynomials. By appropriately choosing the function A q ( t ) from Table 1 in Equation (57), we can establish the following generating functions for the q-Gould–Hopper-based Bernoulli B n , q ( m ) H ( ζ , η ) polynomial:
t e q ( t ) 1 e q ( ζ t ) e q ( η t m ) = n = 0 B n , q ( m ) H ( ζ , η ) t n [ n ] q ! .
A few of them are
B 0 , q ( 3 ) H ( ζ , η ) ) = 1 , B 1 , q ( 3 ) H ( ζ , η ) = ζ 1 [ 2 ] q ! , B 2 , q ( 3 ) H ( ζ , η ) = ζ + ζ 2 + 1 [ 2 ] q ! [ 2 ] q ! [ 3 ] q ! , B 3 , q ( 3 ) H ( ζ , η ) = ζ + ζ 3 + 2 [ 2 ] q ! + η [ 3 ] q ! [ 3 ] q ! [ 2 ] q 3 + ζ [ 3 ] q ! [ 2 ] q ! 2 ζ 2 [ 3 ] q ! [ 2 ] q ! 2 [ 3 ] q ! [ 4 ] q ! , B 4 , q ( 3 ) H ( ζ , η ) = ζ + ζ 4 + 2 [ 2 ] q ! + ζ η [ 4 ] q ! + [ 4 ] q ! [ 2 ] q ! 4 ζ [ 4 ] q ! [ 2 ] q ! 3 + ζ 2 [ 4 ] q ! [ 2 ] q ! 3 η [ 4 ] q ! [ 2 ] q ! + [ 4 ] q ! [ 3 ] q ! 2 3 [ 4 ] q ! [ 2 ] q ! 2 [ 3 ] q ! + 2 ζ [ 4 ] q ! [ 2 ] q ! [ 3 ] q ! ζ 2 [ 4 ] q ! [ 2 ] q ! [ 3 ] q ! ζ 3 [ 4 ] q ! [ 2 ] q ! [ 3 ] q ! [ 4 ] q ! [ 5 ] q ! , B 5 , q ( 3 ) H ( ζ , η ) = ζ + ζ 5 + 2 [ 2 ] q ! [ 5 ] q ! [ 2 ] q ! 5 + ζ [ 5 ] q ! [ 2 ] q ! 4 ζ 2 [ 5 ] q ! [ 2 ] q ! 4 + η [ 5 ] q ! [ 2 ] q ! 2 ζ η [ 5 ] q ! [ 2 ] q ! + ζ 2 η [ 5 ] q ! [ 2 ] q ! + ζ [ 5 ] q ! [ 3 ] q ! 2 ζ 3 [ 5 ] q ! [ 3 ] q ! 2 3 [ 5 ] q ! [ 2 ] q ! [ 3 ] q ! 2 η [ 5 ] q ! [ 3 ] q ! + 4 [ 5 ] q ! [ 2 ] q ! 3 [ 3 ] q ! 3 ζ [ 5 ] q ! [ 2 ] q ! 2 [ 3 ] q ! + 2 ζ 2 [ 5 ] q ! [ 2 ] q ! 2 [ 3 ] q ! + ζ 3 [ 5 ] q ! [ 2 ] q ! 2 [ 3 ] q ! 3 [ 5 ] q ! [ 2 ] q ! 2 [ 4 , ] q ! + 2 ζ [ 5 ] q ! [ 2 ] q ! [ 4 ] q ! ζ 2 [ 5 ] ! [ 2 ] q ! [ 4 ] q ! ζ 4 [ 5 ] q ! [ 2 ] q ! [ 4 ] q ! + 2 [ 5 ] q ! [ 3 ] q ! [ 4 ] q ! [ 5 ] q ! [ 6 ] q ! .
We investigate the beautiful zeros of the q-Gould–Hopper-based Bernoulli B n , q ( m ) H ( ζ , η ) = 0 by using a computer. We plot the zeros of q-Gould–Hopper-based Bernoulli B n , q ( m ) H ( ζ , η ) = 0 for n = 24 (Figure 1).
In Figure 1 (top-left), we choose m = 3 , η = 6 , and q = 3 10 . In Figure 1 (top-right), we choose m = 3 , η = 6 , and q = 5 10 . In Figure 1 (bottom-left), we choose m = 3 , η = 6 , and q = 7 10 . In Figure 1 (bottom-right), we choose m = 3 , η = 6 , and q = 9 10 .
Stacks of zeros of the q-Gould–Hopper-based Bernoulli B n , q ( m ) H ( ζ , η ) = 0 for 1 n 24 , forming a 3D structure, are presented (Figure 2).
In Figure 2 (top-left), we choose m = 3 , η = 6 , and q = 3 10 . In Figure 2 (top-right), we choose m = 3 , η = 6 , and q = 5 10 . In Figure 2 (bottom-left), we choose m = 3 , η = 6 , and q = 7 10 . In Figure 2 (bottom-right), we choose m = 3 , η = 6 , and q = 9 10 .
Plots of the real zeros of the q-Gould–Hopper-based Bernoulli B n , q ( m ) H ( ζ , η ) = 0 for 1 n 24 are presented (Figure 3).
In Figure 3 (top-left), we choose m = 3 , η = 6 , and q = 3 10 . In Figure 3 (top-right), we choose m = 3 , η = 6 , and q = 5 10 . In Figure 3 (bottom-left), we choose m = 3 , η = 6 , and q = 7 10 . In Figure 3 (bottom-right), we choose m = 3 , η = 6 , and q = 9 10 .
Next, we calculate an approximate solution satisfying the q-Gould–Hopper-based Bernoulli B n , q ( m ) H ( ζ , η ) = 0 for m = 3 , η = 6 , and q = 9 10 . The results are given in Table 3.
Similarly, by appropriately choosing the function A q ( t ) from Table 1 in Equation (57), we can obtain the following generating functions for the q-Gould–Hopper-based Euler E n , q ( m ) H ( ζ , η ) polynomial:
2 e q ( t ) + 1 e q ( ζ t ) e q ( η t m ) = n = 0 E n , q ( m ) H ( ζ , η ) t n [ n ] q ! .
A few of them are
E 0 , q ( 2 ) H ( ζ , η ) ) = 1 , E 1 , q ( 2 ) H ( ζ , η ) = 1 2 + ζ , E 2 , q ( 2 ) H ( ζ , η ) = 1 2 + ζ 2 + 1 4 [ 2 ] q ! 1 2 ζ [ 2 ] q ! + η [ 2 ] q ! , E 3 , q ( 2 ) H ( ζ , η ) = 1 2 + ζ 3 1 8 [ 3 ] q ! + 1 4 ζ [ 3 ] q ! 1 2 η [ 3 ] q ! + ζ η [ 3 ] q ! + [ 3 ] q ! 2 [ 2 ] q ! ζ [ 3 ] q ! 2 [ 2 ] q ! ζ 2 [ 3 ] q ! 2 [ 2 ] q ! , E 4 , q ( 2 ) H ( ζ , η ) = 1 2 + ζ 4 + 1 16 [ 4 ] q ! 1 8 ζ [ 4 ] q ! + 1 4 η [ 4 ] q ! 1 2 ζ η [ 4 ] q ! + [ 4 ] q ! 4 [ 2 ] q ! 2 ζ 2 [ 4 ] q ! 2 [ 2 ] q ! 2 3 [ 4 ] q ! 8 [ 2 ] q ! + ζ [ 4 ] q ! 2 [ 2 ] q ! + ζ 2 [ 4 ] q ! 4 [ 2 ] q ! η [ 4 ] q ! 2 [ 2 ] q ! + ζ 2 η [ 4 ] q ! [ 2 ] q ! + η 2 [ 4 ] q ! [ 2 ] q ! + [ 4 ] q ! 2 [ 3 ] q ! ζ [ 4 ] q ! 2 [ 3 ] q ! ζ 3 [ 4 ] q ! 2 [ 3 ] q ! , E 5 , q ( 2 ) H ( ζ , η ) = 1 2 + ζ 5 1 32 [ 5 ] q ! + 1 16 ζ [ 5 ] q ! 1 8 η [ 5 ] q ! + 1 4 ζ η [ 5 ] q ! 3 [ 5 ] q ! 8 [ 2 ] q ! 2 + ζ [ 5 ] q ! 4 [ 2 ] q ! 2 + ζ 2 [ 5 ] q ! 2 [ 2 ] q ! 2 + [ 5 ] q ! 4 [ 2 ] q ! 3 ζ [ 5 ] q ! 8 [ 2 ] q ! ζ 2 [ 5 ] q ! 8 [ 2 ] q ! + η [ 5 ] q ! 2 [ 2 ] q ! ζ η [ 5 ] q ! 2 [ 2 ] q ! ζ 2 η [ 5 ] q ! 2 [ 2 ] q ! η 2 [ 5 ] q ! 2 [ 2 ] q ! + ζ η 2 [ 5 ] q ! [ 2 ] q ! 3 [ 5 ] q ! 8 [ 3 ] q ! + ζ [ 5 ] q ! 2 [ 3 ] q ! + ζ 3 [ 5 ] q ! 4 [ 3 ] q ! η [ 5 ] q ! 2 [ 3 ] q ! + ζ 3 η [ 5 ] q ! [ 3 ] q ! + [ 5 ] q ! 2 [ 2 ] q ! [ 3 ] q ! ζ 2 [ 5 ] q ! 2 [ 2 ] q ! [ 3 ] q ! ζ 3 [ 5 ] q ! 2 [ 2 ] q ! [ 3 ] q ! + [ 5 ] q ! 2 [ 4 ] q ! ζ [ 5 ] q ! 2 [ 4 ] q ! ζ 4 [ 5 ] q ! 2 [ 4 ] q ! .
We investigate the beautiful zeros of the q-Gould–Hopper-based Euler E n , q ( m ) H ( ζ , η ) = 0 by using a computer. We plot the zeros of q-Gould–Hopper-based Euler E n , q ( m ) H ( ζ , η ) = 0 for n = 24 (Figure 4).
In Figure 4 (top-left), we choose m = 2 , η = 6 , and q = 3 10 . In Figure 4 (top-right), we choose m = 2 , η = 6 , and q = 5 10 . In Figure 4 (bottom-left), we choose m = 2 , η = 6 , and q = 7 10 . In Figure 4 (bottom-right), we choose m = 2 , η = 6 , and q = 9 10 .
The stacks of zeros of the q-Gould–Hopper-based Euler E n , q ( m ) H ( ζ , η ) = 0 for 1 n 24 , forming a 3D structure, are presented (Figure 5).
In Figure 5 (top-left), we choose m = 2 , η = 6 , and q = 3 10 . In Figure 5 (top-right), we choose m = 2 , η = 6 , and q = 5 10 . In Figure 5 (bottom-left), we choose m = 2 , η = 6 , and q = 7 10 . In Figure 5 (bottom-right), we choose m = 2 , η = 6 , and q = 9 10 .
Plots of the real zeros of the q-Gould–Hopper-based Euler E n , q ( m ) H ( ζ , η ) = 0 for 1 n 24 are presented (Figure 6).
In Figure 6 (top-left), we choose m = 2 , η = 6 , and q = 3 10 . In Figure 6 (top-right), we choose m = 2 , η = 6 , and q = 5 10 . In Figure 6 (bottom-left), we choose m = 2 , η = 6 , and q = 7 10 . In Figure 6 (bottom-right), we choose m = 2 , η = 6 , and q = 9 10 .
Next, we calculated an approximate solution satisfying the q-Gould–Hopper-based Euler E n , q ( m ) H ( ζ , η ) = 0 for m = 2 , η = 6 , and q = 9 10 . The results are given in Table 4.

6. Conclusions

In this paper, we have presented precise formulas and illuminated the fundamental characteristics of these polynomials, enhancing our comprehension of two-variable q-general-Appell polynomials and their relationships with established polynomial categories. Such advancements enrich the mathematical landscape and pave the way for novel research. The wide-ranging potential applications of these polynomials span quantum mechanics, mathematical physics, statistical mechanics, information theory, and computational science, warranting extensive investigation. Subsequent research may probe the structural properties and algebraic facets of these polynomials, potentially revealing profound insights and practical applications. Moreover, interdisciplinary collaboration can amplify the real-world impact of these polynomials across diverse fields. In summary, the introduction and examination of q-hybrid polynomials constitute a pivotal development in mathematics and science, catalyzing new research trajectories and applications across various disciplines.

Author Contributions

Conceptualization, W.A.K. and C.K.; Formal analysis, W.A.K. and C.K.; Funding acquisition, N.A. and W.A.K.; Investigation, W.A.K.; Methodology, W.A.K.; Project administration, N.A., W.A.K., C.K. and C.S.R.; Software, C.S.R.; Writing—original draft, W.A.K. and C.K.; Writing—review and editing, W.A.K., C.K. and C.S.R. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No data were used to support this study.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Khan, S.; Raza, N. General Appell polynomials within the context of monomiality principle. Int. J. Anal. 2013, 2013, 328032. [Google Scholar] [CrossRef]
  2. Riyasat, M.; Khan, S.; Haneef, M. Generalized 2D extension of q-Bessel polynomials. Rep. Math. Phys. 2024, 90, 63–80. [Google Scholar] [CrossRef]
  3. Andrews, G.E.; Askey, R.; Roy, R. Special Functions; Cambridge University Press: Cambridge, UK, 1999. [Google Scholar]
  4. Zayed, M.; Wani, S.A.; Ramírez, W.; Cesarano, C. Advancements in q-Hermite-Appell polynomials: A three-dimensional exploration. AIMS Math. 2024, 9, 26799–26824. [Google Scholar] [CrossRef]
  5. Riyasat, M.; Khan, S. Some results on q-Hermite based hybrid polynomials. Glas. Mat. 2018, 53, 9–31. [Google Scholar] [CrossRef]
  6. Florenini, R.; Vinet, L. Quantum algebras and q-special functions. Ann. Phys. 1993, 221, 53–70. [Google Scholar] [CrossRef]
  7. Fadel, M.; Alatawi, M.S.; Khan, W.A. Two variable q-Hermite-based Appell polynomials and their applications. Mathematics 2024, 12, 1358. [Google Scholar] [CrossRef]
  8. Wani, S.A.; Riyasat, M.; Khan, S.; Ramirez, W. Certain advancements in multidimensional q-Hermite polynomials. Rep. Math. Phys. 2024, 94, 117–141. [Google Scholar] [CrossRef]
  9. Alatawi, M.S.; Khan, W.A.; Ryoo, C.S. Explicit properties of q-Cosine and q-Sine Array-type polynomials containing symmetric structures. Symmetry 2022, 14, 1675. [Google Scholar] [CrossRef]
  10. Cao, J.; Raza, N.; Fadel, M. Two-variable q-Laguerre polynomials from the context of quasi-monomiality. J. Anal. Appl. 2024, 535, 128126. [Google Scholar] [CrossRef]
  11. Raza, N.; Fadel, M.; Nisar, K.S.; Zakarya, M. On 2-variable q-Hermite polynomials. AIMS Math. 2021, 6, 8705–8727. [Google Scholar] [CrossRef]
  12. Srivastava, H.M. Some characterization of Appell and q-Appell polynomials. Ann. Mat. Pura Appl. 1982, 4, 321–329. [Google Scholar] [CrossRef]
  13. Askey, R. Limits of some q-Laguerre polynomials. J. Approx. Theory 1986, 46, 213–216. [Google Scholar] [CrossRef]
  14. Dattoli, G. Hermite-Bessel and Laguerre-Bessel functions: A by-product of the monomiality principle. Adv. Spec. Funct. Appl. 2000, 1, 147–164. [Google Scholar]
  15. Dattoli, G.; Torre, A. Exponential operators, quasi-monomials and generalized polynomials. Radiat. Phys. Chem. 2000, 57, 21–26. [Google Scholar] [CrossRef]
  16. Ernst, T. q-Bernoulli and q-Euler polynomials, an umbral calculus approach. Int. J. Differ. Equ. 2006, 1, 31–80. [Google Scholar]
  17. Al-Salam, W.A. q-Bernoulli numbers and polynomials. Math. Nachr. 1958, 17, 239–260. [Google Scholar] [CrossRef]
  18. Al-Salam, W.A. q-Appell polynomials. Ann. Mat. Pura Appl. 1967, 77, 31–45. [Google Scholar] [CrossRef]
  19. Ernst, T. A Comprehensive Treatment of q-Calculus; Springer: Basel, Switzerland, 2012. [Google Scholar]
  20. Costabile, F.A.; Gualtieri, M.T.; Napoli, A. General bivariate Appell polynomials via matrix calculus and related interpolation hints. Mathematics 2022, 9, 964. [Google Scholar] [CrossRef]
  21. Costabile, F.A.; Gualtieri, M.T.; Napoli, A. Bivariate general Appell interpolation problem. Numer. Algorithms 2022, 91, 531–556. [Google Scholar] [CrossRef]
Figure 1. Zeros of B n , q ( m ) H ( ζ , η ) = 0 .
Figure 1. Zeros of B n , q ( m ) H ( ζ , η ) = 0 .
Mathematics 13 00765 g001
Figure 2. Zeros of B n , q ( m ) H ( ζ , η ) = 0 .
Figure 2. Zeros of B n , q ( m ) H ( ζ , η ) = 0 .
Mathematics 13 00765 g002
Figure 3. Real zeros of B n , q ( m ) H ( ζ , η ) = 0 .
Figure 3. Real zeros of B n , q ( m ) H ( ζ , η ) = 0 .
Mathematics 13 00765 g003
Figure 4. Zeros of E n , q ( m ) H ( ζ , η ) = 0 .
Figure 4. Zeros of E n , q ( m ) H ( ζ , η ) = 0 .
Mathematics 13 00765 g004
Figure 5. Zeros of E n , q ( m ) H ( ζ , η ) = 0 .
Figure 5. Zeros of E n , q ( m ) H ( ζ , η ) = 0 .
Mathematics 13 00765 g005
Figure 6. Real zeros of E n , q ( m ) H ( ζ , η ) = 0 .
Figure 6. Real zeros of E n , q ( m ) H ( ζ , η ) = 0 .
Mathematics 13 00765 g006
Table 1. Some q-Appell polynomial families.
Table 1. Some q-Appell polynomial families.
S. No.q-Appell PolynomialsGenerating Function   A q ( t )
I.The q-Bernoulli Polynomials [16,19] t e q ( t ) 1 e q ( ζ t ) = n = 0 B n , q ( ζ ) t n [ n ] q !   A q ( t ) = t e q ( t ) 1
II.The q-Euler Polynomials [16,19] [ 2 ] q e q ( t ) + 1 e q ( ζ t ) = n = 0 E n , q ( ζ ) t n [ n ] q ! A q ( t ) = [ 2 ] q e q ( t ) + 1
III.The q-Genocchi Polynomials [16,19] [ 2 ] q t e q ( t ) + 1 e q ( ζ t ) = n = 0 G n , q ( ζ ) t n [ n ] q ! A q ( t ) = [ 2 ] q t e q ( t ) + 1
Table 2. The first five q-numbers of B n , q , E n , q and G n , q .
Table 2. The first five q-numbers of B n , q , E n , q and G n , q .
n01234
B n , q [16,19]1 ( 1 + q ) 1   q 2 ( [ 3 ] q ! ) 1   ( 1 q ) q 3 ( [ 2 ] q ) 1 ( [ 4 ] q ) 1 q 4 ( 1 q 2 2 q 3 q 4 + q 6 ) ( [ 2 ] q 2 ! [ 3 ] q [ 5 ] q ) 1
E n , q [16,19]1 1 2 1 4 ( 1 + q ) 1 8 ( 1 + 2 q + q 2 q 3 )   1 16 ( q 1 ) [ 3 ] q ! ( q 2 4 q + 1 )
G n , q [16,19]0 2 q 1 + q q ( q 5 ) ( 1 + q ) 2 3 q 2 ( q 5 ) ( 1 + q ) 3 3 q ( 2 q ) ( 1 + q ) 2 q ( 1 + q ) 3 q 1 + q 3 q 3 + 10 q 2 28 q + 7 ( 1 + q ) 3
Table 3. Approximate solutions of B n , q ( m ) H ( ζ , η ) = 0 .
Table 3. Approximate solutions of B n , q ( m ) H ( ζ , η ) = 0 .
Degree n ζ
1 0.52632
2 0.19555 , 0.80445
3 2.6891 , 2.0577 2.6942 i , 2.0577 + 2.6942 i
4 4.3398 , 0.52609 , 2.8119 4.0737 i , 2.8119 + 4.0737 i
5 5.7645 , 0.19543 , 0.80436 , 3.4600 5.2700 i , 3.4600 + 5.2700 i
6 6.9272 , 2.1200 , 1.7821 2.2002 i , 1.7821 + 2.2002 i , 3.9746 6.2386 i , 3.9746 + 6.2386 i
7 7.8678 , 3.5588 , 0.52589 , 2.4441 3.4039 i , 2.4441 + 3.4039 i , 4.3791 7.0171 i , 4.3791 + 7.0171 i
8 8.6091 , 4.8888 , 0.19532 , 0.80428 , 3.0642 4.5295 i , 3.0642 + 4.5295 i ,
4.6837 7.6242 i , 4.6837 + 7.6242 i
9 9.1693 , 6.0540 , 1.8456 , 1.6480 1.9596 i , 1.6480 + 1.9596 i , 3.6030 5.5115 i ,
3.6030 + 5.5115 i , 4.8955 8.0749 i , 4.8955 + 8.0749 i
10 9.5569 , 7.0891 , 3.1609 , 0.52570 , 2.2537 3.0594 i , 2.2537 + 3.0594 i ,
4.0884 6.3858 i , 4.0884 + 6.3858 i , 5.0125 8.3748 i , 5.0125 + 8.3748 i
Table 4. Approximate solutions of E n , q ( m ) H ( ζ , η ) = 0 .
Table 4. Approximate solutions of E n , q ( m ) H ( ζ , η ) = 0 .
Degree n ζ
1 0.50000
2 0.4750 3.3391 i , 0.4750 + 3.3391 i
3 0.4269 5.4969 i , 0.4269 + 5.4969 i , 0.50120
4 0.3686 6.9276 i , 0.3686 + 6.9276 i , 0.4912 2.5888 i , 0.4912 + 2.5888 i
5 0.2992 7.8166 i , 0.2992 + 7.8166 i , 0.4734 4.6431 i , 0.4734 + 4.6431 i , 0.50224
6 0.1944 8.2120 i , 0.1944 + 8.2120 i , 0.4795 6.3458 i , 0.4795 + 6.3458 i , 0.4975 2.2225 i , 0.4975 + 2.2225 i
7 0.3810 8.1652 i , 0.3810 + 8.1652 i , 0.4901 4.1360 i , 0.4901 + 4.1360 i , 0.50316 ,
0.9436 7.7827 i , 0.9436 + 7.7827 i
8 0.9757 8.4614 i , 0.9757 + 8.4614 i , 0.4911 5.8222 i , 0.4911 + 5.8222 i , 0.5012 1.9994 i ,
0.5012 + 1.9994 i , 1.4072 8.2319 i , 1.4072 + 8.2319 i
9 1.4546 8.5648 i , 1.4546 + 8.5648 i , 0.4537 7.3398 i , 0.4537 + 7.3398 i , 0.4993 3.7990 i ,
0.4993 + 3.7990 i , 0.50396 , 1.7811 8.2699 i , 1.7811 + 8.2699 i
10 1.9729 8.6021 i , 1.9729 + 8.6021 i , 0.2771 8.2181 i , 0.2771 + 8.2181 i , 0.5036 1.8475 i ,
0.5036 + 1.8475 i , 0.5055 5.4479 i , 0.5055 + 5.4479 i , 2.3151 8.2932 i , 2.3151 + 8.2932 i
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Alam, N.; Khan, W.A.; Kızılateş, C.; Ryoo, C.S. Two-Variable q-General-Appell Polynomials Within the Context of the Monomiality Principle. Mathematics 2025, 13, 765. https://doi.org/10.3390/math13050765

AMA Style

Alam N, Khan WA, Kızılateş C, Ryoo CS. Two-Variable q-General-Appell Polynomials Within the Context of the Monomiality Principle. Mathematics. 2025; 13(5):765. https://doi.org/10.3390/math13050765

Chicago/Turabian Style

Alam, Noor, Waseem Ahmad Khan, Can Kızılateş, and Cheon Seoung Ryoo. 2025. "Two-Variable q-General-Appell Polynomials Within the Context of the Monomiality Principle" Mathematics 13, no. 5: 765. https://doi.org/10.3390/math13050765

APA Style

Alam, N., Khan, W. A., Kızılateş, C., & Ryoo, C. S. (2025). Two-Variable q-General-Appell Polynomials Within the Context of the Monomiality Principle. Mathematics, 13(5), 765. https://doi.org/10.3390/math13050765

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