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

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(\zeta ,\eta )$, is established as follows in the literature [1,2]:

$$exp\left(\zeta t\right)\varphi (\eta ,t)=\sum _{n=0}^{\infty }{p}_n(\zeta ,\eta ){\displaystyle \frac{t^n}{n!}},(p_0(\zeta ,\eta )=1),$$

(1)

where $\varphi (\eta ,t)$ has (at least the formal) series expansion

$$\varphi (\eta ,t)=\sum _{k=0}^{\infty }{\varphi }_k\left(\eta \right){\displaystyle \frac{t^k}{k!}},({\varphi }_0\left(\eta \right)\ne 0).$$

(2)

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 ${\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)}_q$ and the q-Pochhammer symbol ${(\gamma ;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\in \mathbb{C}$, with $\left|q\right|<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 ${(\zeta ;q)}_{\nu }$ is defined as follows:

$${(\zeta ;q)}_{\nu }=\prod _{s=1}^{\nu -1}(1-q^s\zeta ),\nu \in \mathbb{N},\zeta \in \mathbb{C};0<q<1.$$

(3)

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 $\zeta \in \mathbb{C}$, the q-analogue of $\zeta$ is given by

$${\left[\zeta \right]}_q={\displaystyle \frac{1-q^{\zeta }}{1-q}},0<q<1,\zeta \in \mathbb{C}.$$

(4)

The q-factorial is given by

$${\left[\zeta \right]}_q!=\left\{\begin{array}{ccc}\prod _{s=1}^{\zeta }{\left[s\right]}_q,& 0<q<1,\zeta \ne 0\in \mathbb{C}& \\ & & \\ 1,& \zeta =0& \end{array}\right..$$

(5)

The Gauss’s q-binomial formula is given by [3]

$${(\zeta \pm \gamma )}_q^v=\sum _{s=0}^v{\left({\displaystyle \genfrac{}{}{0pt}{}{v}{s}}\right)}_q{q}^{\left({\displaystyle \genfrac{}{}{0pt}{}{v-s}{2}}\right)}{\zeta }^s{(\pm \gamma )}^{v-s},$$

(6)

where the Gauss q-binomial coefficient is

$${\left({\displaystyle \genfrac{}{}{0pt}{}{v}{s}}\right)}_q={\displaystyle \frac{{\left[v\right]}_q!}{{\left[s\right]}_q!{\left[v-s\right]}_q!}}.$$

Two q-exponential functions are given by [9]

$$e_q\left(t\right)=\sum _{n=0}^{\infty }{\displaystyle \frac{t^n}{{\left[n\right]}_q!}},0<q<1,\left|\zeta \right|<{\displaystyle \frac{1}{1-q}}$$

(7)

and

$$E_q\left(t\right)=\sum _{n=0}^{\infty }{\displaystyle \frac{q^{\left(\genfrac{}{}{0pt}{}{n}{2}\right)}{t}^n}{{\left[n\right]}_q!}},0<q<1,\zeta \in \mathbb{C}.$$

(8)

The product of both q-exponential functions is given by

$$e_q\left(\zeta \right)E_q\left(\eta \right)=\sum _{w=0}^{\infty }{\displaystyle \frac{{(\zeta +\eta )}_q^w}{{\left[w\right]}_q!}}.$$

(9)

Hence

$$e_q\left(\zeta \right)E_q(-\zeta )=1,\left|\zeta \right|<{\displaystyle \frac{1}{1-q}}.$$

(10)

The q-derivative of a function $f\left(\zeta \right)$ is defined as [10,11]

$${\widehat{D}}_{q,\zeta }f\left(\zeta \right)={\displaystyle \frac{f\left(q\zeta \right)-f\left(\zeta \right)}{\zeta \left(q-1\right)}},0<q<1,\zeta \ne 0.$$

(11)

In particular, we have

$${\widehat{D}}_{q,\zeta }{\zeta }^w={\left[w\right]}_q{\zeta }^{w-1}.$$

(12)

The q-derivative of the exponential function is given by

$${\widehat{D}}_{q,\zeta }{e}_q\left(\alpha \zeta \right)=\alpha e_q\left(\alpha \zeta \right),\alpha \in \mathbb{C}$$

(13)

and

$${\widehat{D}}_{q,\zeta }^k{e}_q\left(\alpha \zeta \right)={\alpha }^k{e}_q\left(\alpha \zeta \right),k\in \mathbb{N},\alpha \in \mathbb{C},$$

(14)

where ${\widehat{D}}_{q,\zeta }^k$ denotes the kth order q-derivative with respect to $\zeta$.

The q-derivative of the product of functions $f\left(\zeta \right)$ and $g\left(\zeta \right)$ has been established in the literature [2,4,12]

$${\widehat{D}}_{q,\zeta }\left(f\left(\zeta \right)g\left(\zeta \right)\right)=f\left(\zeta \right){\widehat{D}}_{q,\zeta }g\left(\zeta \right)+g\left(q\zeta \right){\widehat{D}}_{q,\zeta }f\left(\zeta \right).$$

(15)

The q-derivative of the division of functions $f\left(\zeta \right)$ and $g\left(\zeta \right)$ is given by

$${\widehat{D}}_{q,\zeta }\left({\displaystyle \frac{f\left(\zeta \right)}{g\left(\zeta \right)}}\right)={\displaystyle \frac{g\left(q\zeta \right){\widehat{D}}_{q,\zeta }f\left(\zeta \right)-f\left(q\zeta \right){\widehat{D}}_{q,\zeta }g\left(\zeta \right)}{g\left(\zeta \right)g\left(q\zeta \right)}},g\left(\zeta \right)\ne 0,g\left(q\zeta \right)\ne 0.$$

(16)

The q-integral of a function $f\left(\zeta \right)$ is defined as [3,4]

$${\int }_0^{a}f\left(\zeta \right)d_q\zeta =(1-q)a\sum _{w=0}^{\infty }{q}^{w}f\left(a{q}^w\right).$$

(17)

By virtue of (17), we can conclude that

$$\begin{gathered} {\int }_0^{\zeta }{\lambda }^m{d}_q\lambda =(1-q)\zeta \sum _{w=0}^{\infty }{\zeta }^m{q}^{w(m+1)} \\ ={\displaystyle \frac{{\zeta }^{m+1}(1-q)}{1-q^{m+1}}}={\displaystyle \frac{{\zeta }^{m+1}}{{[m+1]}_q}},m\in \mathbb{N}\bigsqcup \left\{0\right\}. \end{gathered}$$

(18)

More specifically, ${\widehat{D}}_{q,\zeta }^{-1}\left\{1\right\}=\zeta$, and by using the method of mathematical induction, we have

$${\left({\widehat{D}}_{q,\zeta }^{-1}\right)}^r\left\{1\right\}={\displaystyle \frac{{\zeta }^r}{{\left[r\right]}_q!}},r\in \mathbb{N}\bigsqcup \left\{0\right\}.$$

(19)

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}^{\left(m\right)}(\zeta ,\eta )$ ($qGHP$), can be defined following generating function

$$e_q\left(\zeta t\right)e_q\left(\eta t^m\right)=\sum _{w=0}^{\infty }{H}_{w,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^w}{{\left[w\right]}_q!}}$$

(20)

and the series definition

$$H_{w,q}^{\left(m\right)}(\zeta ,\eta )={\left[w\right]}_q!\sum _{k=0}^{\left[{\displaystyle \frac{w}{m}}\right]}{\displaystyle \frac{{\eta }^k{\zeta }^{w-mk}}{{\left[k\right]}_q!{[w-mk]}_q!}}.$$

(21)

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}^{\left(m\right)}(\zeta ,\eta )$ is as follows:

$$H_{w,q}^{\left(m\right)}(\zeta ,\eta )=e_q\left(\eta D_{q,\zeta }^m\right)\left\{{\zeta }^w\right\}.$$

(22)

The q-dilatation operator $T_{\zeta }$, which acts on any function of the complex variable $\zeta$, in the following manner [8,10]

$$T_{\zeta }^{k}f\left(\zeta \right)=f\left(q^k\zeta \right),k\in \mathbb{R},0<q<1,$$

(23)

satisfies the property

$$T_{\zeta }^{-1}{T}_{\zeta }^{1}f\left(\zeta \right)=f\left(\zeta \right).$$

(24)

The q-derivative of the q-exponential function $e_q\left(\eta t^m\right)$ is given as [9]

$${\widehat{D}}_{q,t}{e}_q\left(\eta t^m\right)=\eta t^{m-1}{T}_{(\eta ;m)}{e}_q\left(\eta t^m\right).$$

(25)

where

$$T_{(\eta ;m)}={\displaystyle \frac{1-q^m{T}_{\eta }^m}{1-q{T}_{\eta }}}=1+q{T}_{\eta }+\cdots +q^{m-1}{T}_{\eta }^{m-1}.$$

The generating function of q-Appell polynomials ${\mathcal{A}}_{n,q}\left(\zeta \right)$ is elucidated by Al Salam, as delineated in the formula presented in [17,18].

$${\mathcal{A}}_q\left(t\right)e_q\left(\zeta t\right)=\sum _{n=0}^{\infty }{\mathcal{A}}_{n,q}\left(\zeta \right){\displaystyle \frac{t^n}{{\left[n\right]}_q!}},$$

(26)

$${\mathcal{A}}_q\left(t\right)=\sum _{n=0}^{\infty }{\mathcal{A}}_{n,q}{\displaystyle \frac{t^n}{{\left[n\right]}_q!}},{\mathcal{A}}_q\left(t\right)\ne 0,A_{0,q}=1.$$

(27)

The following list (see Table 1) demonstrates an appropriate option for certain individuals within the class of q-Appell polynomials:

Table 1. Some q-Appell polynomial families.

S. No.	q-Appell Polynomials	Generating Function	${\mathcal{A}}_{\mathit{q}}\left(\mathit{t}\right)$
I.	The q-Bernoulli Polynomials [16,19]	${\displaystyle \frac{t}{e_q\left(t\right)-1}{e}_q\left(\zeta t\right)}$$={\sum }_{n=0}^{\infty }{\mathcal{B}}_{n,q}\left(\zeta \right){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}$	${\mathcal{A}}_q\left(t\right)={\displaystyle \frac{t}{e_q\left(t\right)-1}}$
II.	The q-Euler Polynomials [16,19]	${\displaystyle \frac{{\left[2\right]}_q}{e_q\left(t\right)+1}{e}_q\left(\zeta t\right)}$$={\sum }_{n=0}^{\infty }{\mathcal{E}}_{n,q}\left(\zeta \right){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}$	${\mathcal{A}}_q\left(t\right)={\displaystyle \frac{{\left[2\right]}_q}{e_q\left(t\right)+1}}$
III.	The q-Genocchi Polynomials [16,19]	${\displaystyle \frac{{\left[2\right]}_{q}t}{e_q\left(t\right)+1}{e}_q\left(\zeta t\right)}$$={\sum }_{n=0}^{\infty }{\mathcal{G}}_{n,q}\left(\zeta \right){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}$	${\mathcal{A}}_q\left(t\right)={\displaystyle \frac{{\left[2\right]}_{q}t}{e_q\left(t\right)+1}}$

The elements of the q-Appell polynomials class ${\mathcal{A}}_{n,q}\left(\zeta \right)$ generate the corresponding q-numbers ${\mathcal{A}}_{n,q}$ when $\zeta =0$. Table 2 illustrates the initial occurrences of three specific q-numbers: the q-Bernoulli numbers ${\mathcal{B}}_{n,q}$ [16,19], the q-Euler numbers ${\mathcal{E}}_{n,q}$ [16,19], and the q-Genocchi numbers ${\mathcal{G}}_{n,q}$ [16,19].

Table 2. The first five q-numbers of ${\mathcal{B}}_{n,q}$, ${\mathcal{E}}_{n,q}$ and ${\mathcal{G}}_{n,q}$.

n	0	1	2	3	4
${\mathcal{B}}_{n,q}$ [16,19]	1	${\displaystyle -{(1+q)}^{-1}}$	$q^2{({\left[3\right]}_q!)}^{-1}$	$(1-q)q^3{\left({\left[2\right]}_q\right)}^{-1}{\left({\left[4\right]}_q\right)}^{-1}$	$q^4(1-q^2-2q^3-q^4+q^6){({\left[2\right]}_q^2!{\left[3\right]}_q{\left[5\right]}_q)}^{-1}$
${\mathcal{E}}_{n,q}$ [16,19]	1	${\displaystyle -\frac{1}{2}}$	${\displaystyle \frac{1}{4}}(-1+q)$	${\displaystyle \frac{1}{8}}(-1+2q+q^2-q^3)$	${\displaystyle \frac{1}{16}}(q-1){\left[3\right]}_q!(q^2-4q+1)$
${\mathcal{G}}_{n,q}$ [16,19]	0	${\displaystyle \frac{2-q}{1+q}}$	${\displaystyle \frac{q(q-5)}{{(1+q)}^2}}$	$-{\displaystyle \frac{3q^2(q-5)}{{(1+q)}^3}}-{\displaystyle \frac{3q(2-q)}{{(1+q)}^2}}-{\displaystyle \frac{q}{(1+q)}}$	${\displaystyle \frac{-3q}{1+q}}\left({\displaystyle \frac{3q^3+10q^2-28q+7}{{(1+q)}^3}}\right)$

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}\left(\zeta \right)(n\in \mathbb{N},\zeta \in \mathbb{C})$, two q-operators are defined as ${\widehat{M}}_q$ and ${\widehat{P}}_q$. These operators, known as the q-multiplicative and q-derivative operators, respectively, are implemented as described in [10]

$$\widehat{M_q}\left\{p_{n,q}\left(\zeta \right)\right\}=p_{n+1,q}\left(\zeta \right)$$

(28)

and

$$\widehat{P_q}\left\{p_{n,q}\left(\zeta \right)\right\}={\left[n\right]}_q{p}_{n-1,q}\left(\zeta \right).$$

(29)

The operators $\widehat{M_q}$ and $\widehat{P_q}$ satisfy the following commutation relation:

$$[\widehat{M_q},\widehat{P_q}]=\widehat{P_q}\widehat{M_q}-\widehat{M_q}\widehat{P_q}.$$

(30)

An analysis of the $\widehat{M_q}$ and $\widehat{P_q}$ operators facilitates the determination of polynomial $p_{n,q}\left(\zeta \right)$ properties. When $\widehat{M_q}$ and $\widehat{P_q}$ demonstrate differential realization, the polynomials $p_{n,q}\left(\zeta \right)$ conform to a particular differential equation.

$$\widehat{M_q}\widehat{P_q}\left\{p_{n,q}\left(\zeta \right)\right\}={\left[n\right]}_q{p}_{n,q}\left(\zeta \right)$$

(31)

and

$$\widehat{P_q}\widehat{M_q}\left\{p_{n,q}\left(\zeta \right)\right\}={[n+1]}_q{p}_{n,q}\left(\zeta \right).$$

(32)

In view of (28) and (29), we have

$$[\widehat{M_q},\widehat{P_q}]={[n+1]}_q-{\left[n\right]}_q.$$

(33)

From (28), we have

$${\widehat{M_q}}^r\left\{p_{n,q}\right\}=p_{n+r,q}\left(\zeta \right).$$

(34)

More specifically, we have

$$p_{n,q}\left(\zeta \right)={\widehat{M_q}}^n\left\{p_{0,q}\right\}={\widehat{M_q}}^n\left\{1\right\},$$

(35)

where $p_{0,q}\left(\zeta \right)=1$ is the q-sequel of polynomial $p_{n,q}\left(\zeta \right)$. Furthermore, the generating function of $p_{n,q}\left(\zeta \right)$ can be obtained as

$$e_q\left(\widehat{M_q}t\right)\left\{1\right\}=\sum _{n=0}^{\infty }{p}_{n,q}\left(\zeta \right){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(36)

The subsequent q-multiplicative and q-derivative operators associated with the q-Appell polynomials $A_{n,q}$ are presented as follows [12]

$${\widehat{M}}_{qA}=\eta +{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}{T}_{\eta },$$

(37)

or, alternatively,

$${\widehat{M}}_{qA}=\eta {\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}},$$

(38)

and

$${\widehat{P}}_{qA}={\widehat{D}}_{q,\eta },$$

(39)

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 ${}_{p}A_{n,q}(\zeta ,\eta )$. 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}(\zeta ,\eta )$.

Here, we consider the two-variable q-general polynomials (2VqgP) $p_{n,q}(\zeta ,\eta )$ defined by the following generating function:

$$e_q\left(\zeta t\right){\varphi }_q(\eta ,t)=\sum _{n=0}^{\infty }{p}_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}},(p_{0,q}(\zeta ,\eta )=1),$$

(40)

where ${\varphi }_q(\eta ,t)$ has (at least the formal) series expansion

$${\varphi }_q(\eta ,t)=\sum _{n=0}^{\infty }{\varphi }_{n,q}\left(\eta \right){\displaystyle \frac{t^n}{{\left[n\right]}_q!}},({\varphi }_{0,q}\left(\eta \right)\ne 0).$$

(41)

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}(\zeta ,\eta )$ are obtained as follows:

$$p_{n,q}(\zeta ,\eta )=\sum _{k=0}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)}_q{\zeta }^k{\varphi }_{n-k,q}\left(\eta \right).$$

(42)

We hereby establish the following result concerning the q-quasi-monomial identities of the two-variable q-general polynomials $2VqgP$$p_{n,q}(\zeta ,\eta )$.

Theorem 1. 

The two-variable q-general polynomials $2VqgP$$p_{n,q}(\zeta ,\eta )$ demonstrate quasi-monomial characteristics when subjected to the aforementioned q-multiplicative and q-derivative operators as follows:

$${\widehat{M}}_{2VqgP}=\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }$$

(43)

and

$${\widehat{P}}_{2VqgP}={\widehat{D}}_{q,\zeta },$$

(44)

repectively, where $T_{q,\zeta }$ 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

$$\sum _{n=1}^{\infty }{p}_{n,q}(\zeta ,\eta ){\widehat{D}}_{q,t}{\displaystyle \frac{t^n}{{\left[n\right]}_q!}}=e_q\left(q\zeta t\right){\widehat{D}}_{q,t}{\varphi }_q(\eta ,t)+{\varphi }_q(\eta ,t){\widehat{D}}_{q,t}{e}_q\left(\zeta t\right),$$

(45)

which by using Equation (15) by taking $f_q\left(t\right)={\varphi }_q(\eta ,t)$ and $g_q\left(t\right)=e_q\left(\zeta t\right)$, and then simplifying the resultant equation by using Equations (12), (26), and (28) on the right-hand side, we have

$$\left(\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,t)}{{\varphi }_q(\eta ,t)}}{T}_{q,\zeta }\right)\left\{e_q\left(\zeta t\right){\varphi }_q(\eta ,t)\right\}=\sum _{n=0}^{\infty }{p}_{n+1,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(46)

Since

$${\widehat{D}}_{q,\zeta }\left\{e_q\left(\zeta t\right){\varphi }_q(\eta ,t)\right\}=t{e}_q\left(\zeta t\right){\varphi }_q(\eta ,t),$$

(47)

and ${\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,t)}{{\varphi }_q(\eta ,t)}}$ has a q-power series expansion in t, as ${\varphi }_q(\eta ,t)$ is an invertible series of t.

Therefore, by (40) and (46), we have

$$\left(\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }\right)\left\{\sum _{n=0}^{\infty }{p}_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}\right\}=\sum _{n=0}^{\infty }{p}_{n+1,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(48)

Comparing the coefficients of like powers of t on both sides, gives

$$\left(\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }\right)\left\{p_{n,q}(\zeta ,\eta )\right\}=p_{n+1,q}(\zeta ,\eta ).$$

(49)

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

$${\widehat{D}}_{q,\zeta }\left\{\sum _{n=0}^{\infty }{p}_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}\right\}=\sum _{n=1}^{\infty }{p}_{n-1,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{[n-1]}_q!}}.$$

(50)

Upon comparing the coefficients of equivalent powers of t on both sides of Equation (50), we derive

$${\widehat{D}}_{q,\zeta }\left\{p_{n,q}(\zeta ,\eta )\right\}={\left[n\right]}_q{p}_{n-1,q}(\zeta ,\eta ),(n⩾1).$$

(51)

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 $2VqgP$$p_{n,q}(\zeta ,\eta )$ holds:

$$\left(\zeta {\widehat{D}}_{q,\zeta }+{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }{\widehat{D}}_{q,\zeta }-{\left[n\right]}_q\right)p_{n,q}(\zeta ,\eta )=0.$$

(52)

Proof. 

In view of Equations (31), (43), and (44), we obtain the assertion (52) of Theorem 2. □

Remark 1. 

Since $p_{0,q}(\zeta ,\eta )=1$, in view of monomiality principle Equation (35), we have

$$p_{n,q}(\zeta ,\eta )={\left(\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }\right)}^n\left\{1\right\}(p_{0,q}(\zeta ,\eta )=1).$$

(53)

Furthermore, in view of Equations (35), (40) and (43), we have

$$e_q\left({\widehat{M}}_{2VqgP}\right)\left\{1\right\}=e_q\left(\zeta t\right){\varphi }_q(\eta ,t)=\sum _{n=0}^{\infty }{p}_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(54)

Subsequently, we introduce the two-variable q-general-Appell polynomials ($2VqgAP$), 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 $\zeta$ on the left-hand side of (43) by the q-multiplicative operator of $2VqgP$$p_{n,q}(\zeta ,\eta )$, given by (40) and denoting the resultant of two-variable q-general-Appell polynomials $2VqgAP$${}_{p}A_{n,q}(\zeta ,\eta )$, we obtain

$$A_q\left(t\right)e_q\left({\widehat{M}}_{2VqgP}\right)\left\{1\right\}=\sum _{n=0}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}},$$

(55)

which, by using Equation (43), we obtain the following two equivalent forms of ${}_{p}A_{n,q}(\zeta ,\eta )$:

$$A_q\left(t\right)e_q\left(\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }\right)\left\{1\right\}=\sum _{n=0}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(56)

The generating function for the two-variable q-general Appell polynomials ${}_{p}A_{n,q}(\zeta ,\eta )$ can be formulated by applying the relation (54) to the left-hand side of Equation (55), resulting in the following representation:

$$A_q\left(t\right)e_q\left(\zeta t\right){\varphi }_q(\eta ,t)=\sum _{n=0}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(57)

Theorem 3. 

The two-variable q-general-Appell polynomials ${}_{p}A_{n,q}(\zeta ,\eta )$ are defined by the following series:

$${}_{p}A_{n,q}(\zeta ,\eta )=\sum _{k=0}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)}_q{A}_{k,q}{p}_{n-k,q}(\zeta ,\eta ),$$

(58)

where $A_{k,q}$ is given by Equation (27).

Proof. 

In view of Equations (27) and (40), we can write

$$\sum _{n=0}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}=A_q\left(t\right)\sum _{n=0}^{\infty }{p}_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(59)

By employing the expansion (27) of $A_q\left(t\right)$ 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 ${}_{p}A_{n,q}(\zeta ,\eta )$ is obtained.

Theorem 4. 

The determinant representation of two-variable q-general Appell polynomials ${}_{p}A_{n,q}(\zeta ,\eta )$ of degree n is

$${}_{p}A_{0,q}(\zeta ,\eta )={\displaystyle \frac{1}{{\beta }_{0,q}}},$$

$${}_{p}A_{n,q}(\zeta ,\eta )={\displaystyle \frac{{(-1)}^n}{{\left({\beta }_{0,q}\right)}^{n+1}}}\left|\begin{array}{cccccc}1& p_{1,q}(\zeta ,\eta )& p_{2,q}(\zeta ,\eta )& ...& p_{n-1,q}(\zeta ,\eta )& p_{n,q}(\zeta ,\eta )\\ {\beta }_{0,q}& {\beta }_{1,q}& {\beta }_{2,q}& ...& {\beta }_{n-1,q}& {\beta }_{n,q}\\ 0& {\beta }_{0,q}& {\left({\displaystyle \genfrac{}{}{0pt}{}{2}{1}}\right)}_q{\beta }_{1,q}& ...& {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{1}}\right)}_q{\beta }_{n-2,q}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{1}}\right)}_q{\beta }_{n-1,q}\\ 0& 0& {\beta }_{0,q}& ...& {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{1}}\right)}_q{\beta }_{n-3,q}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{2}}\right)}_q{\beta }_{n-2,q}\\ ⋮& ⋮& ⋮& ...& ⋮& \\ 0& 0& 0& ...& {\beta }_{0,q}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{n-1}}\right)}_q{\beta }_{1,q}\end{array}\right|,$$

(60)

$${\beta }_{n,q}=-{\displaystyle \frac{1}{A_{0,q}}}\left(\sum _{k=1}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)}_q{A}_{k,q}{\beta }_{n-k,q}\right),n=0,1,2,\dots ,$$

where ${\beta }_{0,q}\ne 0,$ ${\beta }_{0,q}={\displaystyle \frac{1}{A_{0,q}}}$ and $p_{n,q}(\zeta ,\eta ),n=0,1,2,\dots$ are the two-variable q-general polynomials defined by Equation (40).

Theorem 5. 

The two-variable q-general Appell polynomials ${}_{p}A_{n,q}(\zeta ,\eta )$ are quasi-monomials under the following q-multiplicative and q-derivative operators:

$${\widehat{M}}_{2VqgAP}=\left(\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }\right){\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\zeta }\right)}{A_q\left({\widehat{D}}_{q,\zeta }\right)}}+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\zeta }\right)}{A_q\left({\widehat{D}}_{q,\zeta }\right)}}$$

(61)

and

$${\widehat{P}}_{2VqgAP}={\widehat{D}}_{q,\zeta },$$

(62)

respectively, where $T_{q,\zeta }$ 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

$$\begin{gathered} \sum _{n=1}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\widehat{D}}_{q,t}{\displaystyle \frac{t^n}{{\left[n\right]}_q!}} \\ =A_q\left(qt\right){\widehat{D}}_{q,t}\left(e_q\left(\zeta t\right){\varphi }_q(\eta ,t)\right)+e_q\left(\zeta t\right){\varphi }_q(\eta ,t)A_q^{\prime }\left(t\right), \end{gathered}$$

(63)

which by using Equation (15) by taking $f_q\left(t\right)=e_q\left(\eta t\right){\varphi }_q(\eta ,t)$ and $g\left(t\right)=A_q\left(t\right)$, and then simplifying the resultant equation by using Equations (14), (23) and (28) on the left-hand side, we have

$$\begin{gathered} \left(\left(\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,t)}{{\varphi }_q(\eta ,t)}}{T}_{q,\zeta }\right){\displaystyle \frac{A_q\left(qt\right)}{A_q\left(t\right)}}+{\displaystyle \frac{A_q^{\prime }\left(t\right)}{A_q\left(t\right)}}\right)A_q\left(t\right)e_q\left(\zeta t\right){\varphi }_q(\eta ,t) \\ =\sum _{n=1}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^{n-1}}{{[n-1]}_q!}}. \end{gathered}$$

(64)

Let $A_q\left(t\right)$ and ${\varphi }_q(\eta ,t)$ be invertible series of t, ${\displaystyle \frac{A_q^{\prime }\left(t\right)}{A_q\left(t\right)}}$ and ${\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,t)}{{\varphi }_q(\eta ,t)}}$ have a q-power series expansion in t. Since

$${\widehat{D}}_{q,\eta }{A}_q\left(t\right)e_q\left(\zeta t\right){\varphi }_q(\eta ,t)=t{A}_q\left(t\right)e_q\left(\zeta t\right){\varphi }_q(\eta ,t),$$

(65)

Equation (64) becomes

$$\begin{gathered} \left(\left(\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }\right){\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}\right)A_q\left(t\right)e_q\left(\zeta t\right){\varphi }_q(\eta ,t) \\ =\sum _{n=1}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^{n-1}}{{[n-1]}_q!}}, \end{gathered}$$

(66)

which, by using (57), gives

$$\begin{gathered} \left(\left(\zeta +{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }\right){\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}\right)\sum _{n=0}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}} \\ =\sum _{n=1}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^{n-1}}{{[n-1]}_q!}}. \end{gathered}$$

(67)

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

$${\widehat{D}}_{q,\zeta }\left\{\sum _{n=0}^{\infty }{}_{p}A_{n,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}\right\}=\sum _{n=1}^{\infty }{}_{p}A_{n-1,q}(\zeta ,\eta ){\displaystyle \frac{t^n}{{[n-1]}_q!}}.$$

(68)

Upon comparing the coefficients of equivalent powers of t on both sides of Equation (68), we derive

$${\widehat{D}}_{q,\zeta }\left\{{}_{p}A_{n,q}(\zeta ,\eta )\right\}={\left[n\right]}_q{}_{p}A_{n-1,q}(\zeta ,\eta ),(n⩾1).$$

(69)

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 ${}_{p}A_{n,q}(\zeta ,\eta )$ holds true:

$$\left(\zeta {\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}{\widehat{D}}_{q,\zeta }+{\displaystyle \frac{{\varphi }_q^{\prime }(\eta ,{\widehat{D}}_{q,\zeta })}{{\varphi }_q(\eta ,{\widehat{D}}_{q,\zeta })}}{T}_{q,\zeta }{\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}{\widehat{D}}_{q,\zeta }+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}{\widehat{D}}_{q,\eta }-{\left[n\right]}_q\right){}_{p}A_{n,q}(\zeta ,\eta )=0.$$

(70)

Proof. 

Using (61) and (62) in (31), we obtain the assertion (70). □

3. Applications

Specifically, when considering the case where ${\varphi }_q(\eta ,t)=e_q\left(\eta t^m\right)$ in generating function (57), which results in the reduction of 2VqgAP ${}_{p}A_{n,q}(\zeta ,\eta )$ to the q-Gould–Hopper-based Appell polynomials (q-GHbAP) ${}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )$ can be characterized by a specific generating function as follows:

$$A_q\left(t\right)e_q\left(\zeta t\right)e_q\left(\eta t^m\right)=\sum _{n=0}^{\infty }{}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(71)

In other words, we have

$${}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )=e_q\left(\eta {\widehat{D}}_{q,\eta }^{\left(m\right)}\right)\left\{A_{n,q}\left(\zeta \right)\right\}.$$

(72)

Through the application of Equations (20) and (26), we can expand the left-hand side of Equation (71) as follows

$${}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )=\sum _{k=0}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)}_q{A}_{k,q}{H}_{n-k,q}^{\left(m\right)}(\zeta ,\eta ).$$

(73)

By using a similar approach given in [20,21] and in view of Equation (71), the following determinant form for ${}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )$ is obtained.

Theorem 7. 

The determinant representation of q-Gould–Hopper-based Appell polynomials ${}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )$ of degree n is

$${}_{H}A_{0,q}^{\left(m\right)}(\zeta ,\eta )={\displaystyle \frac{1}{{\beta }_{0,q}}},$$

$${}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )={\displaystyle \frac{{(-1)}^n}{{\left({\beta }_{0,q}\right)}^{n+1}}}\left|\begin{array}{cccccc}1& H_{1,q}^{\left(m\right)}(\zeta ,\eta )& H_{2,q}^{\left(m\right)}(\zeta ,\eta )& ...& H_{n-1,q}^{\left(m\right)}(\zeta ,\eta )& H_{n,q}^{\left(m\right)}(\zeta ,\eta )\\ {\beta }_{0,q}& {\beta }_{1,q}& {\beta }_{2,q}& ...& {\beta }_{n-1,q}& {\beta }_{n,q}\\ 0& {\beta }_{0,q}& {\left({\displaystyle \genfrac{}{}{0pt}{}{2}{1}}\right)}_q{\beta }_{1,q}& ...& {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{1}}\right)}_q{\beta }_{n-2,q}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{1}}\right)}_q{\beta }_{n-1,q}\\ 0& 0& {\beta }_{0,q}& ...& {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{1}}\right)}_q{\beta }_{n-3,q}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{2}}\right)}_q{\beta }_{n-2,q}\\ ⋮& ⋮& ⋮& ...& ⋮& \\ 0& 0& 0& ...& {\beta }_{0,q}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{n-1}}\right)}_q{\beta }_{1,q}\end{array}\right|,$$

(74)

$${\beta }_{n,q}=-{\displaystyle \frac{1}{A_{0,q}}}\left(\sum _{k=1}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)}_q{A}_{k,q}{\beta }_{n-k,q}\right),n=0,1,2,\dots ,$$

where ${\beta }_{0,q}\ne 0,$${\beta }_{0,q}={\displaystyle \frac{1}{A_{0,q}}}$ and $H_{n,q}^{\left(m\right)}(\zeta ,\eta ),n=0,1,2,\dots$ are the q-Gould–Hopper polynomials defined by Equation (20).

We shall now demonstrate the q-multiplicative and q-derivative operators of ${}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )$. The following theorem is presented:

Theorem 8. 

The q-Gould–Hopper-based Appell polynomials ${}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )$ are quasi-monomial under the following q-multiplicative and q-derivative operators:

$${\widehat{M}}_{2VqGHAP}=\left(\zeta T_{\eta }+\eta {\widehat{D}}_{q,\zeta }^{m-1}{T}_{(\eta ;m)}\right){\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}},$$

(75)

or, equivalently,

$${\widehat{M}}_{2VqGHAP}=\left(\zeta +\eta {\widehat{D}}_{q,\zeta }^{m-1}{T}_{(\eta ;m)}{T}_{\zeta }\right){\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}$$

(76)

and

$${\widehat{P}}_{2VqGHAP}={\widehat{D}}_{q,\zeta },$$

(77)

respectively, where $T_{\zeta }$ and $T_{\eta }$ denote the q-dilatation operators given by Equation (23), and $D_{q,\zeta }^{-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

$$\begin{gathered} \sum _{n=1}^{\infty }{}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta ){\widehat{D}}_{q,t}{\displaystyle \frac{t^n}{{\left[n\right]}_q!}} \\ =A_q\left(qt\right)e_q{\widehat{D}}_{q,t}\left(e_q\left(\zeta t\right)e_q\left(\eta t^m\right)\right)+e_q\left(\zeta t\right)e_q\left(\eta t^m\right)A_q^{\prime }\left(t\right), \end{gathered}$$

(78)

which, by using Equation (15) by taking $f\left(t\right)=e_q\left(\zeta t\right)e_q\left(\eta t^m\right)$ and $g\left(t\right)=A_q\left(t\right)$, and then simplifying the resultant equation by using Equations (14), (26), and (27) on the left-hand side, we have

$$\begin{gathered} \left(\left(\zeta T_{\eta }+\eta t^{m-1}{T}_{(\eta ;m)}\right){\displaystyle \frac{A_q\left(qt\right)}{A_q\left(t\right)}}+{\displaystyle \frac{A_q^{\prime }\left(t\right)}{A_q\left(t\right)}}\right)A_q\left(t\right)e_q\left(\zeta t\right)e_q\left(\eta t^m\right) \\ =\sum _{n=1}^{\infty }{}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^{n-1}}{{[n-1]}_q!}}. \end{gathered}$$

(79)

Since

$${\widehat{D}}_{q,\zeta }{A}_q\left(t\right)e_q\left(\zeta t\right)e_q\left(\eta t^m\right)=t{A}_q\left(t\right)e_q\left(\zeta t\right)e_q\left(\eta t^m\right)$$

(80)

and ${\displaystyle \frac{A_q^{\prime }\left(t\right)}{A_q\left(t\right)}}$ has a q-power series expansion in t, as $A_q\left(t\right)$ is an invertible series of t.

Therefore, by using Equation (71), we obtain

$$\begin{gathered} \left(\left(\eta T_{\eta }+\eta {\widehat{D}}_{q,\zeta }^{m-1}{T}_{(\eta ;m)}\right){\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\eta }\right)}}\right) \\ \times \sum _{n=0}^{\infty }{}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}=\sum _{n=1}^{\infty }{}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^{n-1}}{{[n-1]}_q!}}. \end{gathered}$$

(81)

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\left(t\right)=e_q\left(\eta t^m\right)$ and $g_q\left(t\right)=e_q\left(\zeta t\right)$, 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 ${}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )$ holds true:

$$\left(\zeta {\widehat{D}}_{q,\zeta }{\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\zeta }\right)}{A_q\left({\widehat{D}}_{q,\zeta }\right)}}{T}_{\eta }+\eta {\widehat{D}}_{q,\zeta }^m{T}_{(\eta ;m)}{\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\zeta }\right)}{A_q\left({\widehat{D}}_{q,\zeta }\right)}}+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\zeta }\right)}}{\widehat{D}}_{q,\zeta }-{\left[n\right]}_q\right){}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )=0,$$

(82)

or, equivalently

$$\left(\zeta {\widehat{D}}_{q,\zeta }{\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\zeta }\right)}{A_q\left({\widehat{D}}_{q,\zeta }\right)}}+\eta {\widehat{D}}_{q,\zeta }^m{T}_{(\eta ;m)}{\displaystyle \frac{A_q\left(q{\widehat{D}}_{q,\zeta }\right)}{A_q\left({\widehat{D}}_{q,\zeta }\right)}}{T}_{\zeta }+{\displaystyle \frac{A_q^{\prime }\left({\widehat{D}}_{q,\eta }\right)}{A_q\left({\widehat{D}}_{q,\zeta }\right)}}{\widehat{D}}_{q,\zeta }-{\left[n\right]}_q\right){}_{H}A_{n,q}^{\left(m\right)}(\zeta ,\eta )=0.$$

(83)

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\left(t\right)$ in Table 1 in Equation (71), it is possible to establish the following generating functions for the q-Gould–Hopper-based Bernoulli ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )$, Euler ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )$, and Genocchi ${}_H\mathbb{G}_{n,q}^{\left(m\right)}(\zeta ,\eta )$ polynomials:

$${\displaystyle \frac{t}{e_q\left(t\right)-1}}{e}_q\left(\zeta t\right)e_q\left(\eta t^m\right)=\sum _{n=0}^{\infty }{}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}},$$

(84)

$${\displaystyle \frac{2}{e_q\left(t\right)+1}}{e}_q\left(\zeta t\right)e_q\left(\eta t^m\right)=\sum _{n=0}^{\infty }{}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}$$

(85)

and

$${\displaystyle \frac{2t}{e_q\left(t\right)+1}}{e}_q\left(\zeta t\right)e_q\left(\eta t^m\right)=\sum _{n=0}^{\infty }{}_H\mathbb{G}_{n,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(86)

Furthermore, in view of expression (73), the polynomials ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )$, ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )$, and ${}_H\mathbb{G}_{n,q}^{\left(m\right)}(\zeta ,\eta )$ satisfy the following explicit form:

$${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=\sum _{k=0}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)}_q{\mathbb{B}}_{k,q}{H}_{n-k,q}^{\left(m\right)}(\zeta ,\eta ),$$

(87)

$${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=\sum _{k=0}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)}_q{\mathbb{E}}_{k,q}{H}_{n-k,q}^{\left(m\right)}(\zeta ,\eta )$$

(88)

and

$${}_H\mathbb{G}_{n,q}^{\left(m\right)}(\zeta ,\eta )=\sum _{k=0}^n{\left({\displaystyle \genfrac{}{}{0pt}{}{n}{k}}\right)}_q{\mathbb{G}}_{k,q}{H}_{n-k,q}^{\left(m\right)}(\zeta ,\eta ).$$

(89)

Furthermore, in view of expressions (74), the polynomials ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )$, ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )$ and ${}_H\mathbb{G}_{n,q}^{\left(m\right)}(\zeta ,\eta )$ satisfy the following determinant representations:

$${}_H\mathbb{B}_{0,q}^{\left(m\right)}(\zeta ,\eta )=1,$$

$${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )={(-1)}^n\left|\begin{array}{cccccc}1& H_{1,q}^{\left(m\right)}(\zeta ,\eta )& H_{2,q}^{\left(m\right)}(\zeta ,\eta )& \cdots & H_{n-1,q}^{\left(m\right)}(\zeta ,\eta ,)& H_{n,q}^{\left(m\right)}(\zeta ,\eta )\\ & & & & & \\ 1& {\displaystyle \frac{1}{{\left[2\right]}_q}}& {\displaystyle \frac{1}{{\left[3\right]}_q}}& \cdots & {\displaystyle \frac{1}{{\left[n\right]}_q}}& {\displaystyle \frac{1}{{[n+1]}_q}}\\ & & & & & \\ 0& 1& {\left({\displaystyle \genfrac{}{}{0pt}{}{2}{1}}\right)}_q{\displaystyle \frac{1}{{\left[2\right]}_q}}& \cdots & {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{1}}\right)}_q{\displaystyle \frac{1}{{[n-1]}_q}}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{1}}\right)}_q{\displaystyle \frac{1}{{\left[n\right]}_q}}\\ & & & & & \\ 0& 0& 1& \cdots & {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{2}}\right)}_q{\displaystyle \frac{1}{{[n-2]}_q}}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{2}}\right)}_q{\displaystyle \frac{1}{{[n-1]}_q}}\\ .& .& .& \cdots & .& .\\ .& .& .& \cdots & .& .\\ 0& 0& 0& \cdots & 1& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{n-1}}\right)}_q{\displaystyle \frac{1}{{\left[2\right]}_q}}\end{array}\right|,$$

(90)

$${}_H\mathbb{E}_{0,q}^{\left(m\right)}(\zeta ,\eta )=1,$$

$${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )={(-1)}^n\left|\begin{array}{cccccc}1& H_{1,q}^{\left(m\right)}(\zeta ,\eta )& H_{2,q}^{\left(m\right)}(\zeta ,\eta )& \cdots & H_{n-1,q}^{\left(m\right)}(\zeta ,\eta )& H_{n,q}^{\left(m\right)}(\zeta ,\eta )\\ & & & & & \\ 1& {\displaystyle \frac{1}{2}}& {\displaystyle \frac{1}{2}}& \cdots & {\displaystyle \frac{1}{2}}& {\displaystyle \frac{1}{2}}\\ & & & & & \\ 0& 1& {\left({\displaystyle \genfrac{}{}{0pt}{}{2}{1}}\right)}_q{\displaystyle \frac{1}{2}}& \cdots & {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{1}}\right)}_q{\displaystyle \frac{1}{2}}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{1}}\right)}_q{\displaystyle \frac{1}{2}}\\ & & & & & \\ 0& 0& 1& \cdots & {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{2}}\right)}_q{\displaystyle \frac{1}{2}}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{2}}\right)}_q{\displaystyle \frac{1}{2}}\\ .& .& .& \cdots & .& .\\ .& .& .& \cdots & .& .\\ 0& 0& 0& \cdots & 1& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{n-1}}\right)}_q{\displaystyle \frac{1}{2}}\end{array}\right|$$

(91)

and

$${}_H\mathbb{G}_{0,q}^{\left(m\right)}(\zeta ,\eta )=1,$$

$${}_H\mathbb{G}_{n,q}^{\left(m\right)}(\zeta ,\eta )={(-1)}^n\left|\begin{array}{cccccc}1& H_{1,q}^{\left(m\right)}(\zeta ,\eta )& H_{2,q}^{\left(m\right)}(\zeta ,\eta )& \cdots & H_{n-1,q}^{\left(m\right)}(\zeta ,\eta )& H_{n,q}^{\left(m\right)}(\zeta ,\eta )\\ & & & & & \\ 1& {\displaystyle \frac{1}{2{\left[2\right]}_q}}& {\displaystyle \frac{1}{2{\left[3\right]}_q}}& \cdots & {\displaystyle \frac{1}{2{\left[n\right]}_q}}& {\displaystyle \frac{1}{2{[n+1]}_q}}\\ & & & & & \\ 0& 1& {\left({\displaystyle \genfrac{}{}{0pt}{}{2}{1}}\right)}_q{\displaystyle \frac{1}{2{\left[2\right]}_q}}& \cdots & {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{1}}\right)}_q{\displaystyle \frac{1}{2{[n-1]}_q}}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{1}}\right)}_q{\displaystyle \frac{1}{2{\left[n\right]}_q}}\\ & & & & & \\ 0& 0& 1& \cdots & {\left({\displaystyle \genfrac{}{}{0pt}{}{n-1}{2}}\right)}_q{\displaystyle \frac{1}{2{[n-2]}_q}}& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{2}}\right)}_q{\displaystyle \frac{1}{2{[n-1]}_q}}\\ .& .& .& \cdots & .& .\\ .& .& .& \cdots & .& .\\ 0& 0& 0& \cdots & 1& {\left({\displaystyle \genfrac{}{}{0pt}{}{n}{n-1}}\right)}_q{\displaystyle \frac{1}{2{\left[2\right]}_q}}\end{array}\right|,$$

(92)

where $H_{n,q}^{\left(m\right)}(\zeta ,\eta ),(n=0,1,2\cdots )$ 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 ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )$ and q-Gould–Hopper-based Euler ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )$ polynomials. By appropriately choosing the function $A_q\left(t\right)$ from Table 1 in Equation (57), we can establish the following generating functions for the q-Gould–Hopper-based Bernoulli ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )$ polynomial:

$${\displaystyle \frac{t}{e_q\left(t\right)-1}}{e}_q\left(\zeta t\right)e_q\left(\eta t^m\right)=\sum _{n=0}^{\infty }{}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(93)

A few of them are

$$\begin{array}{cc}\hfill & {}_H\mathbb{B}_{0,q}^{\left(3\right)}(\zeta ,\eta ))=1,\hfill \\ \hfill & {}_H\mathbb{B}_{1,q}^{\left(3\right)}(\zeta ,\eta )=\zeta -{\displaystyle \frac{1}{{\left[2\right]}_q!}},\hfill \\ \hfill & {}_H\mathbb{B}_{2,q}^{\left(3\right)}(\zeta ,\eta )=-\zeta +{\zeta }^2+{\displaystyle \frac{1}{{\left[2\right]}_q!}}-{\displaystyle \frac{{\left[2\right]}_q!}{{\left[3\right]}_q!}},\hfill \\ \hfill & {}_H\mathbb{B}_{3,q}^{\left(3\right)}(\zeta ,\eta )=-\zeta +{\zeta }^3+{\displaystyle \frac{2}{{\left[2\right]}_q!}}+\eta {\left[3\right]}_q!-{\displaystyle \frac{{\left[3\right]}_q!}{{\left[2\right]}_q^3}}+{\displaystyle \frac{\zeta {\left[3\right]}_q!}{{\left[2\right]}_q{!}^2}}-{\displaystyle \frac{{\zeta }^2{\left[3\right]}_q!}{{\left[2\right]}_q{!}^2}}-{\displaystyle \frac{{\left[3\right]}_q!}{{\left[4\right]}_q!}},\hfill \\ \hfill & {}_H\mathbb{B}_{4,q}^{\left(3\right)}(\zeta ,\eta )=-\zeta +{\zeta }^4+{\displaystyle \frac{2}{{\left[2\right]}_q!}}+\zeta \eta {\left[4\right]}_q!+{\displaystyle \frac{{\left[4\right]}_q!}{{\left[2\right]}_q{!}^4}}-{\displaystyle \frac{\zeta {\left[4\right]}_q!}{{\left[2\right]}_q{!}^3}}+{\displaystyle \frac{{\zeta }^2{\left[4\right]}_q!}{{\left[2\right]}_q{!}^3}}\hfill \\ \hfill & -{\displaystyle \frac{\eta {\left[4\right]}_q!}{{\left[2\right]}_q!}}+{\displaystyle \frac{{\left[4\right]}_q!}{{\left[3\right]}_q{!}^2}}-{\displaystyle \frac{3{\left[4\right]}_q!}{{\left[2\right]}_q{!}^2{\left[3\right]}_q!}}+{\displaystyle \frac{2\zeta {\left[4\right]}_q!}{{\left[2\right]}_q!{\left[3\right]}_q!}}-{\displaystyle \frac{{\zeta }^2{\left[4\right]}_q!}{{\left[2\right]}_q!{\left[3\right]}_q!}}-{\displaystyle \frac{{\zeta }^3{\left[4\right]}_q!}{{\left[2\right]}_q!{\left[3\right]}_q!}}-{\displaystyle \frac{{\left[4\right]}_q!}{{\left[5\right]}_q!}},\hfill \\ \hfill & {}_H\mathbb{B}_{5,q}^{\left(3\right)}(\zeta ,\eta )=-\zeta +{\zeta }^5+{\displaystyle \frac{2}{{\left[2\right]}_q!}}-{\displaystyle \frac{{\left[5\right]}_q!}{{\left[2\right]}_q{!}^5}}+{\displaystyle \frac{\zeta {\left[5\right]}_q!}{{\left[2\right]}_q{!}^4}}-{\displaystyle \frac{{\zeta }^2{\left[5\right]}_q!}{{\left[2\right]}_q{!}^4}}+{\displaystyle \frac{\eta {\left[5\right]}_q!}{{\left[2\right]}_q{!}^2}}-{\displaystyle \frac{\zeta \eta {\left[5\right]}_q!}{{\left[2\right]}_q!}}\hfill \\ \hfill & +{\displaystyle \frac{{\zeta }^2\eta {\left[5\right]}_q!}{{\left[2\right]}_q!}}+{\displaystyle \frac{\zeta {\left[5\right]}_q!}{{\left[3\right]}_q{!}^2}}-{\displaystyle \frac{{\zeta }^3{\left[5\right]}_q!}{{\left[3\right]}_q{!}^2}}-{\displaystyle \frac{3{\left[5\right]}_q!}{{\left[2\right]}_q!{\left[3\right]}_q{!}^2}}-{\displaystyle \frac{\eta {\left[5\right]}_q!}{{\left[3\right]}_q!}}+{\displaystyle \frac{4{\left[5\right]}_q!}{{\left[2\right]}_q{!}^3{\left[3\right]}_q!}}\hfill \\ \hfill & -{\displaystyle \frac{3\zeta {\left[5\right]}_q!}{{\left[2\right]}_q{!}^2{\left[3\right]}_q!}}+{\displaystyle \frac{2{\zeta }^2{\left[5\right]}_q!}{{\left[2\right]}_q{!}^2{\left[3\right]}_q!}}+{\displaystyle \frac{{\zeta }^3{\left[5\right]}_q!}{{\left[2\right]}_q{!}^2{\left[3\right]}_q!}}-{\displaystyle \frac{3{\left[5\right]}_q!}{{\left[2\right]}_q{!}^2{[4,]}_q!}}+{\displaystyle \frac{2\zeta {\left[5\right]}_q!}{{\left[2\right]}_q!{\left[4\right]}_q!}}\hfill \\ \hfill & -{\displaystyle \frac{{\zeta }^2{\left[5\right]}_{!}}{{\left[2\right]}_q!{\left[4\right]}_q!}}-{\displaystyle \frac{{\zeta }^4{\left[5\right]}_q!}{{\left[2\right]}_q!{\left[4\right]}_q!}}+{\displaystyle \frac{2{\left[5\right]}_q!}{{\left[3\right]}_q!{\left[4\right]}_q!}}-{\displaystyle \frac{{\left[5\right]}_q!}{{\left[6\right]}_q!}}.\hfill \end{array}$$

We investigate the beautiful zeros of the q-Gould–Hopper-based Bernoulli ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ by using a computer. We plot the zeros of q-Gould–Hopper-based Bernoulli ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ for $n=24$ (Figure 1).

Figure 1. Zeros of ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$.

In Figure 1 (top-left), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{3}{10}}$. In Figure 1 (top-right), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{5}{10}}$. In Figure 1 (bottom-left), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{7}{10}}$. In Figure 1 (bottom-right), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{9}{10}}$.

Stacks of zeros of the q-Gould–Hopper-based Bernoulli ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ for $1\le n\le 24$, forming a 3D structure, are presented (Figure 2).

Figure 2. Zeros of ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$.

In Figure 2 (top-left), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{3}{10}}$. In Figure 2 (top-right), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{5}{10}}$. In Figure 2 (bottom-left), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{7}{10}}$. In Figure 2 (bottom-right), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{9}{10}}$.

Plots of the real zeros of the q-Gould–Hopper-based Bernoulli ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ for $1\le n\le 24$ are presented (Figure 3).

Figure 3. Real zeros of ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$.

In Figure 3 (top-left), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{3}{10}}$. In Figure 3 (top-right), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{5}{10}}$. In Figure 3 (bottom-left), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{7}{10}}$. In Figure 3 (bottom-right), we choose $m=3,\eta =6,$ and $q={\displaystyle \frac{9}{10}}$.

Next, we calculate an approximate solution satisfying the q-Gould–Hopper-based Bernoulli ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ for $m=3,\eta =6,$ and $q={\displaystyle \frac{9}{10}}$. The results are given in Table 3.

Table 3. Approximate solutions of ${}_H\mathbb{B}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$.

Degree n	$\mathit{\zeta }$
1	$0.52632$
2	$0.19555,0.80445$
3	$-2.6891,2.0577-2.6942i,2.0577+2.6942i$
4	$-4.3398,0.52609,2.8119-4.0737i,2.8119+4.0737i$
5	$-5.7645,0.19543,0.80436,3.4600-5.2700i,3.4600+5.2700i$
6	$-6.9272,-2.1200,1.7821-2.2002i,1.7821+2.2002i,3.9746-6.2386i,3.9746+6.2386i$
7	$-7.8678,-3.5588,0.52589,2.4441-3.4039i,2.4441+3.4039i,4.3791-7.0171i,4.3791+7.0171i$
8	$-8.6091,-4.8888,0.19532,0.80428,3.0642-4.5295i,3.0642+4.5295i,$ $4.6837-7.6242i,4.6837+7.6242i$
9	$-9.1693,-6.0540,-1.8456,1.6480-1.9596i,1.6480+1.9596i,3.6030-5.5115i,$ $3.6030+5.5115i,4.8955-8.0749i,4.8955+8.0749i$
10	$-9.5569,-7.0891,-3.1609,0.52570,2.2537-3.0594i,2.2537+3.0594i,$ $4.0884-6.3858i,4.0884+6.3858i,5.0125-8.3748i,5.0125+8.3748i$

Similarly, by appropriately choosing the function $A_q\left(t\right)$ from Table 1 in Equation (57), we can obtain the following generating functions for the q-Gould–Hopper-based Euler ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )$ polynomial:

$${\displaystyle \frac{2}{e_q\left(t\right)+1}}{e}_q\left(\zeta t\right)e_q\left(\eta t^m\right)=\sum _{n=0}^{\infty }{}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta ){\displaystyle \frac{t^n}{{\left[n\right]}_q!}}.$$

(94)

A few of them are

$$\begin{array}{cc}\hfill & {}_H\mathbb{E}_{0,q}^{\left(2\right)}(\zeta ,\eta ))=1,\hfill \\ \hfill & {}_H\mathbb{E}_{1,q}^{\left(2\right)}(\zeta ,\eta )=-{\displaystyle \frac{1}{2}}+\zeta ,\hfill \\ \hfill & {}_H\mathbb{E}_{2,q}^{\left(2\right)}(\zeta ,\eta )=-{\displaystyle \frac{1}{2}}+{\zeta }^2+{\displaystyle \frac{1}{4}}{\left[2\right]}_q!-{\displaystyle \frac{1}{2}}\zeta {\left[2\right]}_q!+\eta {\left[2\right]}_q!,\hfill \\ \hfill & {}_H\mathbb{E}_{3,q}^{\left(2\right)}(\zeta ,\eta )=-{\displaystyle \frac{1}{2}}+{\zeta }^3-{\displaystyle \frac{1}{8}}{\left[3\right]}_q!+{\displaystyle \frac{1}{4}}\zeta {\left[3\right]}_q!-{\displaystyle \frac{1}{2}}\eta {\left[3\right]}_q!+\zeta \eta {\left[3\right]}_q!\hfill \\ \hfill & +{\displaystyle \frac{{\left[3\right]}_q!}{2{\left[2\right]}_q!}}-{\displaystyle \frac{\zeta {\left[3\right]}_q!}{2{\left[2\right]}_q!}}-{\displaystyle \frac{{\zeta }^2{\left[3\right]}_q!}{2{\left[2\right]}_q!}},\hfill \\ \hfill & {}_H\mathbb{E}_{4,q}^{\left(2\right)}(\zeta ,\eta )=-{\displaystyle \frac{1}{2}}+{\zeta }^4+{\displaystyle \frac{1}{16}}{\left[4\right]}_q!-{\displaystyle \frac{1}{8}}\zeta {\left[4\right]}_q!+{\displaystyle \frac{1}{4}}\eta {\left[4\right]}_q!-{\displaystyle \frac{1}{2}}\zeta \eta {\left[4\right]}_q!+{\displaystyle \frac{{\left[4\right]}_q!}{4{\left[2\right]}_q{!}^2}}\hfill \\ \hfill & -{\displaystyle \frac{{\zeta }^2{\left[4\right]}_q!}{2{\left[2\right]}_q{!}^2}}-{\displaystyle \frac{3{\left[4\right]}_q!}{8{\left[2\right]}_q!}}+{\displaystyle \frac{\zeta {\left[4\right]}_q!}{2{\left[2\right]}_q!}}+{\displaystyle \frac{{\zeta }^2{\left[4\right]}_q!}{4{\left[2\right]}_q!}}-{\displaystyle \frac{\eta {\left[4\right]}_q!}{2{\left[2\right]}_q!}}+{\displaystyle \frac{{\zeta }^2\eta {\left[4\right]}_q!}{{\left[2\right]}_q!}}\hfill \\ \hfill & +{\displaystyle \frac{{\eta }^2{\left[4\right]}_q!}{{\left[2\right]}_q!}}+{\displaystyle \frac{{\left[4\right]}_q!}{2{\left[3\right]}_q!}}-{\displaystyle \frac{\zeta {\left[4\right]}_q!}{2{\left[3\right]}_q!}}-{\displaystyle \frac{{\zeta }^3{\left[4\right]}_q!}{2{\left[3\right]}_q!}},\hfill \\ \hfill & {}_H\mathbb{E}_{5,q}^{\left(2\right)}(\zeta ,\eta )=-{\displaystyle \frac{1}{2}}+{\zeta }^5-{\displaystyle \frac{1}{32}}{\left[5\right]}_q!+{\displaystyle \frac{1}{16}}\zeta {\left[5\right]}_q!-{\displaystyle \frac{1}{8}}\eta {\left[5\right]}_q!+{\displaystyle \frac{1}{4}}\zeta \eta {\left[5\right]}_q!\hfill \\ \hfill & -{\displaystyle \frac{3{\left[5\right]}_q!}{8{\left[2\right]}_q{!}^2}}+{\displaystyle \frac{\zeta {\left[5\right]}_q!}{4{\left[2\right]}_q{!}^2}}+{\displaystyle \frac{{\zeta }^2{\left[5\right]}_q!}{2{\left[2\right]}_q{!}^2}}+{\displaystyle \frac{{\left[5\right]}_q!}{4{\left[2\right]}_q!}}-{\displaystyle \frac{3\zeta {\left[5\right]}_q!}{8{\left[2\right]}_q!}}-{\displaystyle \frac{{\zeta }^2{\left[5\right]}_q!}{8{\left[2\right]}_q!}}\hfill \\ \hfill & +{\displaystyle \frac{\eta {\left[5\right]}_q!}{2{\left[2\right]}_q!}}-{\displaystyle \frac{\zeta \eta {\left[5\right]}_q!}{2{\left[2\right]}_q!}}-{\displaystyle \frac{{\zeta }^2\eta {\left[5\right]}_q!}{2{\left[2\right]}_q!}}-{\displaystyle \frac{{\eta }^2{\left[5\right]}_q!}{2{\left[2\right]}_q!}}+{\displaystyle \frac{\zeta {\eta }^2{\left[5\right]}_q!}{{\left[2\right]}_q!}}\hfill \\ \hfill & -{\displaystyle \frac{3{\left[5\right]}_q!}{8{\left[3\right]}_q!}}+{\displaystyle \frac{\zeta {\left[5\right]}_q!}{2{\left[3\right]}_q!}}+{\displaystyle \frac{{\zeta }^3{\left[5\right]}_q!}{4{\left[3\right]}_q!}}-{\displaystyle \frac{\eta {\left[5\right]}_q!}{2{\left[3\right]}_q!}}+{\displaystyle \frac{{\zeta }^3\eta {\left[5\right]}_q!}{{\left[3\right]}_q!}}+{\displaystyle \frac{{\left[5\right]}_q!}{2{\left[2\right]}_q!{\left[3\right]}_q!}}\hfill \\ \hfill & -{\displaystyle \frac{{\zeta }^2{\left[5\right]}_q!}{2{\left[2\right]}_q!{\left[3\right]}_q!}}-{\displaystyle \frac{{\zeta }^3{\left[5\right]}_q!}{2{\left[2\right]}_q!{\left[3\right]}_q!}}+{\displaystyle \frac{{\left[5\right]}_q!}{2{\left[4\right]}_q!}}-{\displaystyle \frac{\zeta {\left[5\right]}_q!}{2{\left[4\right]}_q!}}-{\displaystyle \frac{{\zeta }^4{\left[5\right]}_q!}{2{\left[4\right]}_q!}}.\hfill \end{array}$$

We investigate the beautiful zeros of the q-Gould–Hopper-based Euler ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ by using a computer. We plot the zeros of q-Gould–Hopper-based Euler ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ for $n=24$ (Figure 4).

Figure 4. Zeros of ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$.

In Figure 4 (top-left), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{3}{10}}$. In Figure 4 (top-right), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{5}{10}}$. In Figure 4 (bottom-left), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{7}{10}}$. In Figure 4 (bottom-right), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{9}{10}}$.

The stacks of zeros of the q-Gould–Hopper-based Euler ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ for $1\le n\le 24$, forming a 3D structure, are presented (Figure 5).

Figure 5. Zeros of ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$.

In Figure 5 (top-left), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{3}{10}}$. In Figure 5 (top-right), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{5}{10}}$. In Figure 5 (bottom-left), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{7}{10}}$. In Figure 5 (bottom-right), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{9}{10}}$.

Plots of the real zeros of the q-Gould–Hopper-based Euler ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ for $1\le n\le 24$ are presented (Figure 6).

Figure 6. Real zeros of ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$.

In Figure 6 (top-left), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{3}{10}}$. In Figure 6 (top-right), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{5}{10}}$. In Figure 6 (bottom-left), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{7}{10}}$. In Figure 6 (bottom-right), we choose $m=2,\eta =6,$ and $q={\displaystyle \frac{9}{10}}$.

Next, we calculated an approximate solution satisfying the q-Gould–Hopper-based Euler ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$ for $m=2,\eta =6,$ and $q={\displaystyle \frac{9}{10}}$. The results are given in Table 4.

Table 4. Approximate solutions of ${}_H\mathbb{E}_{n,q}^{\left(m\right)}(\zeta ,\eta )=0$.

Degree n	$\mathit{\zeta }$
1	$0.50000$
2	$0.4750-3.3391i,0.4750+3.3391i$
3	$0.4269-5.4969i,0.4269+5.4969i,0.50120$
4	$0.3686-6.9276i,0.3686+6.9276i,0.4912-2.5888i,0.4912+2.5888i$
5	$0.2992-7.8166i,0.2992+7.8166i,0.4734-4.6431i,0.4734+4.6431i,0.50224$
6	$0.1944-8.2120i,0.1944+8.2120i,0.4795-6.3458i,0.4795+6.3458i,0.4975-2.2225i,0.4975+2.2225i$
7	$-0.3810-8.1652i,-0.3810+8.1652i,0.4901-4.1360i,0.4901+4.1360i,0.50316,$ $0.9436-7.7827i,0.9436+7.7827i$
8	$-0.9757-8.4614i,-0.9757+8.4614i,0.4911-5.8222i,0.4911+5.8222i,0.5012-1.9994i,$ $0.5012+1.9994i,1.4072-8.2319i,1.4072+8.2319i$
9	$-1.4546-8.5648i,-1.4546+8.5648i,0.4537-7.3398i,0.4537+7.3398i,0.4993-3.7990i,$ $0.4993+3.7990i,0.50396,1.7811-8.2699i,1.7811+8.2699i$
10	$-1.9729-8.6021i,-1.9729+8.6021i,0.2771-8.2181i,0.2771+8.2181i,0.5036-1.8475i,$ $0.5036+1.8475i,0.5055-5.4479i,0.5055+5.4479i,2.3151-8.2932i,2.3151+8.2932i$

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.