Skip to main content

Convolution conditions for two subclasses of analytic functions defined by Jackson q-difference operator


By using Jackson q-derivative, some characterizations in terms of convolutions for two classes of analytic functions in the open unit disc are given. Also, coefficient conditions and inclusion properties for functions in these classes are found.


Let A be the class of functions of the form:

$$\begin{aligned} f(z)=z+\sum _{k=2}^{\infty }a_{k}z^{k}\ \end{aligned}$$

which are analytic in the open unit disc

$$\begin{aligned} {\mathcal {U}}=\left\{ z:z\in {\mathcal {C}},\left| z\right| <1\right\} . \end{aligned}$$

Jackson q-derivative of a function f is given by (see [1, 2])

$$\begin{aligned} D_{q}f(z)=\left\{ \begin{array}{c} \frac{f(qz)-f(z)}{(q-1)z}\;\;\ \ \ \ \ (z\ne 0), \\ f^{\prime }(0)~\;\ \ \ \ \ \ \ \ \ \ (z=0). \end{array} \right. \end{aligned}$$

If \(\ f(z)=z^{n}\), then

$$\begin{aligned} D_{q}f(z)=D_{q}(z^{n})=\frac{q^{n}-1}{q-1}z^{n-1}=[n]_{q}z^{n-1}, \end{aligned}$$


$$\begin{aligned} \left[ n\right] _{q}:=\frac{1-q^{n}}{1-q} \end{aligned}$$

Using the observation

$$\begin{aligned} \underset{q\rightarrow 1}{\lim }\frac{1-q^{n}}{1-q}=n \end{aligned}$$

we have

$$\begin{aligned} \lim _{q\rightarrow 1^{-}}D_{q}f(z)=\lim _{q\rightarrow 1^{-}}[n]_{q}z^{n-1}=nz^{n-1}=f^{\prime }(z). \end{aligned}$$

If the function f defined by (1), then

$$\begin{aligned} D_{q}f(z)=1+\sum _{k=2}^{\infty }[k]_{q}a_{k}z^{k-1}. \end{aligned}$$

Also, we have the following q-derivative rules

$$\begin{aligned} D_{q}[f(z).g(z)]=g(z)D_{q}f(z)+f(qz)D_{q}g(z) \end{aligned}$$


$$\begin{aligned} D_{q}\frac{f(z)}{g(z)}=\frac{g(z)D_{q}f(z)-f(z)D_{q}g(z)}{g(z)g(qz)}. \end{aligned}$$

The q-difference operator \(D_{q}\) has been extensively investigated in the field of geometric function theory by many authors. For some recent works related to this operator on the classes of analytic functions, we refer to [3,4,5,6,7].

The Hadamard product (or convolution) of two functions \(f,g\in A,\) denoted by \(f*g,\) is

$$\begin{aligned} (f*g)(z)=f(z)*g(z)=z+\sum \limits _{k=2}^{\infty }a_{k}b_{k}z^{n}, \end{aligned}$$

where f is given by (1) and \(g(z)=z+\sum \limits _{k=2}^{\infty }b_{k}z^{k}\). Govindaraj and Sivasubramanian [8] defined the differential operator \(S_{q}^{n}f(z):A\rightarrow A\) by:

$$\begin{aligned} S_{q}^{0}f(z)= & {} f(z), \\ S_{q}^{1}f(z)= & {} zD_{q}f(z) \end{aligned}$$

and for \(n\in N_{0}=\{0,1,\ldots \}\)

$$\begin{aligned} S_{q}^{n}f(z)= & {} zD_{q}(S_{q}^{n-1}f(z)) \nonumber \\= & {} z+\sum _{k=2}^{\infty }[k]_{q}^{n}a_{k}z^{k} \nonumber \\= & {} (f*G_{q}^{n})(z), \end{aligned}$$


$$\begin{aligned} G_{q}^{n}(z)=z+\sum _{k=2}^{\infty }[k]_{q}^{n}z^{k}. \end{aligned}$$

The differential operator \(S_{q}^{n}\) is called Salagean q-differential operator.

Definition 1

For \(f\in A\), we say f belongs to class \(S_{\lambda ,\zeta }^{*}(A,B)\), if and only if

$$\begin{aligned} \frac{(1-\lambda )zD_{\zeta }f(z)+\lambda zD_{\zeta }\left( zD_{\zeta }f(z)\right) }{(1-\lambda )f(z)+\lambda zD_{\zeta }f(z)}\prec \frac{1+Az}{ 1+Bz}~\ \ \left( z\in U\right) , \end{aligned}$$

where \(0<\zeta<1,0\le \lambda \le 1,-1\le B<A\le 1,D_{\zeta }\) is Jackson q-derivative with \(q=\zeta\) and \(\prec\) denotes the usual subordination (see [9,10,11]).

It is noticed that, by giving specific values to AB and \(\lambda\) we obtain the following important subclasses studied by various authors in earlier works:

  1. 1.

    \(S_{0,q}^{*}(1-2\alpha ,-1)\equiv S_{q}^{*}(\alpha )\) and \(S_{1,q}^{*}(1-2\alpha ,-1)\equiv C_{q}(\alpha )\) are, respectively, the classes of q-starlike and q-convex functions (see Seoudy and Aouf [12] and Ramachandran et al. [13])

  2. 2.

    \(S_{0,q}^{*}(A,B)\equiv S_{q}^{*}[A,B]\) and \(S_{1,q}^{*}(A,B)\equiv C[A,B]\) the classes of q-starlike and q-convex functions which are associated with the Janowski functions (see Srivastava et al. [14])

  3. 3.

    \(S_{0,q}^{*}(\frac{b^{2}-a^{2}+a}{b},\frac{1-a}{b})\equiv S_{q}^{*}(\alpha ),\) where \(a=\frac{1-\alpha q}{1-q}\) and \(b=\frac{ 1-\alpha }{1-q}\) (see Polatoglu et al. [15])

  4. 4.

    \(\underset{\zeta \rightarrow 1^{-}}{\lim }S_{\alpha ,\zeta }^{*}([b(1+m)-m],-m)\equiv S_{M}^{*}(\alpha ,b),\)where \(b\in {\mathbb {C}},m=1- \frac{1}{M}\) and \(M>\frac{1}{2}\) (see Lashin [16])

  5. 5.

    \(\underset{\zeta \rightarrow 1^{-}}{\lim }S_{0,\zeta }^{*}([b(1+m)-m],-m)\equiv F^{*}(b,M),\)where \(m=1-\frac{1}{M}\) and \(M>\frac{1 }{2}\) (see Nasr and Aouf [17])

  6. 6.

    \(\underset{\zeta \rightarrow 1^{-}}{\lim }S_{0,\zeta }^{*}(1-2\alpha ,-1)\equiv S^{*}(\alpha )\) and \(\underset{\zeta \rightarrow 1^{-}}{\lim }S_{1,\zeta }^{*}(1-2\alpha ,-1)\equiv C(\alpha )(0\le \alpha <1)\) the classes of starlike and convex functions of order \(\alpha\) (see Robertson [18] ).

  7. 7.

    \(\underset{\zeta \rightarrow 1^{-}}{\lim }S_{0,\zeta }^{*}(1,-1)\equiv S^{*}\) and \(\underset{\zeta \rightarrow 1^{-}}{\lim } S_{1,\zeta }^{*}(1,-1)\equiv C\) the usual classes of starlike, convex and spirallike functions (see Goodman [19]).

With the help of the Salagean \(\zeta\)-differential operator \(S_{\zeta }^{n}\) given by (3),  we say that a function \(f\in A\) is in the class \(S_{\lambda ,\zeta }^{*}(n,A,B)\) if and only if

$$\begin{aligned} \frac{(1-\lambda )S_{\zeta }^{n+1}f(z)+\lambda S_{\zeta }^{n+2}f(z)}{ (1-\lambda )S_{\zeta }^{n}f(z)+\lambda S_{\zeta }^{n+1}f(z)}\prec \frac{1+Az }{1+Bz}~\ \ \left( z\in U\right) , \end{aligned}$$

where \(0<\zeta <1,\) \(-1\le B<A\le 1,0\le \lambda \le 1\) and \(n\in N_{0}.\)

We note that

  1. 1.

    \(\underset{\zeta \rightarrow 1^{-}}{\lim }S_{\lambda ,\zeta }^{*}(n,1-2\alpha ,-1)\) \(\equiv S_{n}(\lambda ,\alpha )\) (see Wang and Aghalary [20]).

  2. 2.

    \(\underset{\zeta \rightarrow 1^{-}}{\lim }S_{\lambda ,\zeta }^{*}(0,1-2\alpha ,-1)\equiv T(\lambda ,\alpha )\) (see Altintas [21])

  3. 3.

    \(\underset{\zeta \rightarrow 1^{-}}{\lim }S_{\lambda ,\zeta }^{*}(1,1-2\alpha ,-1)\equiv C(\lambda ,\alpha )\) (see Kamali and Akbulut [22])


The aim of the present paper is to obtain convolution properties, necessary and sufficient conditions, coefficient estimates, and inclusion properties of functions belonging to the class \(S_{\lambda ,\zeta }^{*}(n,A,B)\) with techniques similar to those used by Silverman et al. [23].

Results and discussion

Proposition 2

If \(f\in A,\) then

$$\begin{aligned} \frac{z}{(1-z)(1-\zeta z)}=z+\sum _{k=2}^{\infty }[k]_{\zeta }z^{k} \end{aligned}$$


$$\begin{aligned} \frac{z}{(1-z)(1-\zeta z)(1-\zeta ^{2}z)}=z+\sum _{k=2}^{\infty }\frac{ [k]_{\zeta }[k+1]_{\zeta }}{[2]_{\zeta }}z^{k} \end{aligned}$$


To prove the first part, we write

$$\begin{aligned} \frac{z}{(1-z)(1-\zeta z)}=z[1+(1+\zeta )z+(1+\zeta +\zeta ^{2})z^{2}+(1+\zeta +\zeta ^{2}+\zeta ^{3})z^{3}+\cdots ]. \end{aligned}$$

It is well Known that

$$\begin{aligned} \frac{1-\zeta ^{n}}{1-\zeta }=1+\zeta +\cdots +\zeta ^{n-1} \end{aligned}$$


$$\begin{aligned} \frac{z}{(1-z)(1-\zeta z)}=z+\frac{1-\zeta ^{2}}{1-\zeta }z^{2}+\frac{ 1-\zeta ^{3}}{1-\zeta }z^{3}+\cdots =z+\sum _{k=2}^{\infty }[k]_{\zeta }z^{k}. \end{aligned}$$

To prove the second part, we write

$$\begin{aligned} \frac{z}{(1-z)(1-\zeta z)(1-\zeta ^{2}z)}= & {} z+[1+\zeta (1+\zeta )]z^{2}+[1+\zeta (1+\zeta )+\zeta ^{2}(1+\zeta +\zeta ^{2})]z^{3} \\&+[1+\zeta (1+\zeta )+\zeta ^{2}(1+\zeta +\zeta ^{2})+\zeta ^{3}(1+\zeta +\zeta ^{2}+\zeta ^{3})]z^{4}+\cdots \end{aligned}$$

Now, we will prove that \(\mu _{k}=\frac{[k]_{\zeta }[k+1]_{\zeta }}{ [2]_{\zeta }},\) where \(\mu _{k}\) is the coefficient of \(z^{k}\) i.e. will prove

$$\begin{aligned}{}[2]_{\zeta }\mu _{k}=\frac{1-\zeta ^{2}}{1-\zeta }[1+\zeta \frac{ 1-\zeta ^{2}}{1-\zeta }+\zeta ^{2}\frac{1-\zeta ^{3}}{1-\zeta }+\cdots +\zeta ^{k-1}\frac{1-\zeta ^{k}}{1-\zeta }]=[k]_{\zeta }[k+1]_{\zeta }. \end{aligned}$$

From (8), we find that \([2]_{\zeta }\mu _{1}=[1]_{\zeta }[2]_{\zeta }.\) Next assume that (8) is true for \(k=m.\) Then

$$\begin{aligned}{}[2]_{\zeta }\mu _{m+1}= & {} \frac{1-\zeta ^{2}}{1-\zeta }[1+\zeta \frac{ 1-\zeta ^{2}}{1-\zeta }+\zeta ^{2}\frac{1-\zeta ^{3}}{1-\zeta }+\cdots +\zeta ^{m-1}\frac{1-\zeta ^{m}}{1-\zeta }+\zeta ^{m}\frac{1-\zeta ^{m+1}}{ 1-\zeta }] \\= & {} [m]_{\zeta }[m+1]_{\zeta }+\frac{1-\zeta ^{2}}{1-\zeta }\zeta ^{m}\frac{ 1-\zeta ^{m+1}}{1-\zeta }\} \\= & {} [m+1]_{\zeta }\{\frac{1-\zeta ^{m}}{1-\zeta }+\zeta ^{m}\frac{1-\zeta ^{2} }{1-\zeta }\}=[m+1]_{\zeta }[m+2]_{\zeta }. \end{aligned}$$

Hence, by induction, the result is valid for all k,  which ends the proof. \(\square\)

Theorem 3

A function of the form (1) in the class \(S_{\lambda ,\zeta }^{*}(A,B)\) if and only if

$$\begin{aligned} \frac{1}{z}\left[ f(z)*\left\{ (1-\lambda )\frac{z-\zeta Cz^{2}}{ (1-z)(1-\zeta z)}+\lambda \frac{z+\zeta (1-(1+\zeta )C)z^{2}}{(1-z)(1-\zeta z)(1-\zeta ^{2}z)}\right\} \right] \ne 0(z\in {\mathbb {U})} \end{aligned}$$

where \(C=C_{\theta }=\tfrac{{\mathrm{e}}^{-i\theta }+A}{A-B},\ \theta \in [0,2\pi ).\)


The function f belongs to the class \(S_{\lambda ,\zeta }^{*}(A,B)\) if and only if

$$\begin{aligned} \frac{(1-\lambda )zD_{\zeta }f(z)+\lambda zD_{\zeta }\left( zD_{\zeta }f(z)\right) }{(1-\lambda )f(z)+\lambda zD_{\zeta }f(z)}=\frac{1+A\omega (z) }{1+B\omega (z)}. \end{aligned}$$

Thus f \(\in S_{\lambda ,\zeta }^{*}(A,B)\) is equivalent to

$$\begin{aligned} \frac{(1-\lambda )zD_{\zeta }f(z)+\lambda zD_{\zeta }\left( zD_{\zeta }f(z)\right) }{(1-\lambda )f(z)+\lambda zD_{\zeta }f(z)}\ne \frac{ 1+A{\mathrm{e}}^{i\theta }}{1+B{\mathrm{e}}^{i\theta }},\;\ \ (\ z\in {\mathbb {U}},\ \theta \in [0,2\pi )). \end{aligned}$$

This simplifies to

$$\begin{aligned} zD_{\zeta }\left[ (1-\lambda )f(z)+\lambda zD_{\zeta }f(z)\right] \left( 1+B{\mathrm{e}}^{i\theta }\right) -\left[ (1-\lambda )f(z)+\lambda zD_{\zeta }f(z) \right] \left( 1+A{\mathrm{e}}^{i\theta }\right) \ne 0. \end{aligned}$$


$$\begin{aligned} f(z)=f(z)*\frac{z}{(1-z)}. \end{aligned}$$

From (6), It follows that

$$\begin{aligned} zD_{\zeta }f(z)=f(z)*\frac{z}{(1-z)(1-\zeta z)} \end{aligned}$$

(see also Piejko et al. [24]). Using (11) and (12), we obtain

$$\begin{aligned} (1-\lambda )f(z)+\lambda zD_{\zeta }f(z)=f(z)*\frac{z-(1-\lambda )\zeta z^{2}}{(1-z)(1-\zeta z)} \end{aligned}$$

Using the identity \(zD_{\zeta }(f*g)=f*zD_{\zeta }g,\) we conclude that

$$\begin{aligned} zD_{\zeta }\left[ (1-\lambda )f(z)+\lambda zD_{\zeta }f(z)\right] =f(z)*\frac{z+\zeta [1-(1-\lambda )(1+\zeta )]z^{2}}{(1-z)(1-\zeta z)(1-\zeta ^{2}z)}. \end{aligned}$$

Substituting (13) and (14) into (10), we get

$$\begin{aligned} \frac{1}{z}[f(z)*\{-(1-\lambda )(1-\zeta ^{2}z)[(A-B){\mathrm{e}}^{i\theta }z-\zeta \left( 1+A{\mathrm{e}}^{i\theta }\right) z^{2}] \end{aligned}$$
$$\begin{aligned} -\lambda (1-\zeta ^{2}z)(A-B){\mathrm{e}}^{i\theta }z+\lambda \zeta (1+\zeta )(1+B{\mathrm{e}}^{i\theta })z^{2}\}/(1-z)(1-\zeta z)(1-\zeta ^{2}z)]\ne 0. \end{aligned}$$

So that the left hand side of (15) may be expressed as

$$\begin{aligned}&\frac{1}{z}[f(z)*\left\{ -(1-\lambda )(1-\zeta ^{2}z)[(A-B){\mathrm{e}}^{i\theta }z-\zeta \left( 1+A{\mathrm{e}}^{i\theta }\right) z^{2}]\right. \\&\quad -\lambda [(A-B){\mathrm{e}}^{i\theta }z+\{\zeta (A-B){\mathrm{e}}^{i\theta } \\&\quad \left. -[\zeta (1+\zeta )(A-B){\mathrm{e}}^{i\theta }+\zeta (1+\zeta )\left( 1+B{\mathrm{e}}^{i\theta }\right) ]\}z^{2}]\right\} /(1-z)(1-\zeta z)(1-\zeta ^{2}z)\ ] \end{aligned}$$

or, equivalently,

$$\begin{aligned}&\frac{1}{z}[f(z)*\{-(1-\lambda )(1-\zeta ^{2}z)[(A-B){\mathrm{e}}^{i\theta }z-\zeta \left( 1+A{\mathrm{e}}^{i\theta }\right) z^{2}] \\&\quad -\lambda [(A-B){\mathrm{e}}^{i\theta }z+\zeta [(A-B){\mathrm{e}}^{i\theta }-(1+\zeta )\left( 1+A{\mathrm{e}}^{i\theta }\right) ]z^{2}]\}/(1-z)(1-\zeta z)(1-\zeta ^{2}z)] \end{aligned}$$

Then (15) can be rewritten as the following

$$\begin{aligned} \frac{1}{z}\left[ f(z)*\left\{ (1-\lambda )\frac{z-\zeta \tfrac{ ({\mathrm{e}}^{-i\theta }+A)}{(A-B)}z^{2}}{(1-z)(1-\zeta z)}+\lambda \frac{z+\zeta \left( 1-(1+\zeta )\tfrac{({\mathrm{e}}^{-i\theta }+A)}{(A-B)}\right) z^{2}}{ (1-z)(1-\zeta z)(1-\zeta ^{2}z)}\right\} \right] \ne 0 \end{aligned}$$

where \(z\in {\mathbb {U}},\ \theta \in [0,2\pi ).\) Hence the proof of Theorem 3 is complete. \(\square\)

Taking \(\lambda =0\) in Theorem 3, we get the following corollary

Corollary 4

A function f of the form (1) in the class \(S_{\zeta }^{*}(A,B)\) if and only if

$$\begin{aligned} \frac{1}{z}\left[ f(z)*\frac{z-\zeta Cz^{2}}{(1-z)(1-\zeta z)}\right] \ne 0(z\in {\mathbb {U})} \end{aligned}$$

where \(C=C_{\theta }=\tfrac{{\mathrm{e}}^{-i\theta }+A}{A-B},\ \theta \in [0,2\pi ).\)

Remark 5

Letting \(A=b(1+m)-m\) and \(B=-m\) with \(m=1-\frac{1}{M}\) and \(M>\frac{1}{2}\) in Corollary 4 we get the result obtained by Aouf and Seoudy [25, Theorem 2.1].

Taking \(\lambda =1\) in Theorem 3, we get the following corollary

Corollary 6

A function of the form (1) is in the class \(C_{\zeta }(A,B)\) if and only if  \(\frac{1}{z}\left[ {f(z)*\frac{{z + \zeta [1 - (1 + \zeta )C]{z^2}}}{{(1 - z)(1 - \zeta z)(1 - {\zeta ^2}z)}}} \right] \ne 0\quad (z \in {\mathbb{U}})\)

where \(C=C_{\theta }=\tfrac{{\mathrm{e}}^{-i\theta }+A}{A-B},\ \theta \in [0,2\pi ).\)

Remark 7

Letting \(A=b(1+m)-m\) and \(B=-m\) with \(m=1-\frac{1}{M}\) and \(M>\frac{1}{2}\) in Corollary 6 we get the result obtained by Aouf and Seoudy [25, Theorem 2.4].

Remark 8

  1. 1

    Letting \(\zeta \rightarrow 1^{-1},A=[b(1+m)-m]\) and \(B=-m\) with \(m=1- \frac{1}{M}\) and \(M>\frac{1}{2}\) in Theorem 3, we obtain the result obtained by Lashin [16].

  2. 2

    Letting \(\zeta \rightarrow 1^{-1},A=[b(1+m)-m]\) and \(B=-m\) with \(m=1- \frac{1}{M}\) and \(M>\frac{1}{2}\) in Corollaries 4 and 6, respectively, we obtain the results obtained by El-Ashwah [26, Theorem 2.1 and Theorem 2.4].

  3. 3

    Taking \(\zeta \rightarrow 1^{-1},A=1-2\alpha ,B=-1\) and \({\mathrm{e}}^{i\theta }=x(\left| x\right| =1)\) in Corollaries 4 and 6, we obtain the results obtained by Silverman et al. [23, Theorems 1,2].

  4. 4

    Taking \(\zeta \rightarrow 1^{-1}\)and \({\mathrm{e}}^{i\theta }=x(\left| x\right| =1)\) in Corollaries 4 and 6, respectively, we obtain the results obtained by Padmanabhan and Ganesan [27, Theorem 1,2].

Theorem 9

A necessary and sufficient condition for the function of the form (1) to be in the class \(S_{\lambda ,\zeta }^{*}(n,A,B)\) is

$$\begin{aligned} 1-\sum \limits _{k=2}^{\infty }[k]_{\zeta }^{n}\tfrac{\zeta [k-1]_{\zeta }({\mathrm{e}}^{-i\theta }+B)-(A-B)}{(A-B)}[(1-\lambda )+\lambda [k]_{\zeta }]a_{k}z^{k-1}\ne 0 \end{aligned}$$

for all \(\theta \in [0,2\pi )\) and \(z\in U.\)


From Theorem 3, we have \(f(z)\in\)\(S_{\lambda ,\zeta }^{*}(n,A,B)\)if and only if

$$\begin{aligned} \frac{1}{z}\left[ S_{\zeta }^{n}f(z)*\left\{ (1-\lambda )\frac{z-\zeta Cz^{2}}{(1-z)(1-\zeta z)}+\lambda \frac{z+\zeta (1-(1+\zeta )C)z^{2}}{ (1-z)(1-\zeta z)(1-\zeta ^{2}z)}\right\} \right] \ne 0(z\in {\mathbb {U})} \end{aligned}$$

where \(C=C_{\theta }=\tfrac{{\mathrm{e}}^{-i\theta }+A}{A-B},\ \theta \in [0,2\pi ).\) Now, we can easily deduce that

$$\begin{aligned}&(1-\lambda )\frac{z-\zeta Cz^{2}}{(1-z)(1-\zeta z)}+\lambda \frac{z+\zeta (1-(1+\zeta )C)z^{2}}{(1-z)(1-\zeta z)(1-\zeta ^{2}z)} \nonumber \\= & {} (1-\lambda )\left[ \frac{Cz}{1-z}+\frac{(1-C)z}{(1-z)(1-\zeta z)}\right] \nonumber \\&+\frac{\lambda }{\zeta }\left[ \frac{(1+\zeta )(1-C)z}{(1-z)(1-\zeta z)(1-\zeta ^{2}z)}-\frac{[1-(1+\zeta )C]z}{(1-z)(1-\zeta z)}\right] . \end{aligned}$$

Using Proposition 2 and the relation \(\frac{z}{(1-z)} =z+\sum \nolimits _{k=2}^{\infty }z^{k}\), (18) can be written as

$$\begin{aligned} z+\sum \limits _{k=2}^{\infty }\left\{ (1-\lambda )\left[ (1-C)\left( [k]_{\zeta }-1\right) +1\right] +\frac{\lambda }{\zeta }[k]_{\zeta }\left[ (1-C)\left( [k+1]_{\zeta }-(1+\zeta )\right) +\zeta \right] \right\} z^{k}. \end{aligned}$$

Setting \([k]_{\zeta }=\frac{1-\zeta ^{k}}{1-\zeta }\) and \([k+1]_{\zeta }= \frac{1-\zeta ^{k+1}}{1-\zeta },\) (19) gives

$$\begin{aligned} z+\sum \limits _{k=2}^{\infty }[\zeta (1-C)[k-1]_{\zeta }+1][(1-\lambda )+\lambda [k]_{\zeta }]z^{k} \end{aligned}$$

which is equivalent to

$$\begin{aligned} z-\sum \limits _{k=2}^{\infty }\tfrac{\zeta [k-1]_{\zeta }({\mathrm{e}}^{-i\theta }+B)-(A-B)}{(A-B)}[(1-\lambda )+\lambda [k]_{\zeta }]z^{k}. \end{aligned}$$

Thus (17) together with (20) lead to (16). This completes the proof of Theorem 9. \(\square\)

Theorem 10

If the function f defined by (1) satisfies the inequality

$$\begin{aligned} \sum \limits _{k=2}^{\infty }[[k-1]_{\zeta }(1+B)+(A-B)][(1-\lambda )+\lambda [k]_{\zeta }][k]_{\zeta }^{n}\left| a_{k}\right| \le (A-B) \end{aligned}$$

then \(f(z) \in S_{{\lambda ,\zeta }}^{*} (n,A,B).\)



$$\begin{aligned} \left| \tfrac{\zeta [k-1]_{\zeta }({\mathrm{e}}^{-i\theta }+B)-(A-B)}{(A-B)} \right| \le \tfrac{[k-1]_{\zeta }(1+B)+(A-B)}{(A-B)} \end{aligned}$$


$$\begin{aligned}&\left| 1-\sum \limits _{k=2}^{\infty }[k]_{\zeta }^{n}\tfrac{\zeta [k-1]_{\zeta }({\mathrm{e}}^{-i\theta }+B)-(A-B)}{(A-B)}[(1-\lambda )+\lambda [k]_{\zeta }]a_{k}z^{k-1}\right| \\&\quad \ge 1-\sum \limits _{k=2}^{\infty }\left| [k]_{\zeta }^{n}\tfrac{\zeta [k-1]_{\zeta }({\mathrm{e}}^{-i\theta }+B)+(A-B)}{(A-B)}\right| [(1-\lambda )+\lambda [k]_{\zeta }]\left| a_{k}\right| \left| z\right| ^{k-1} \\&\quad \ge 1-\sum \limits _{k=2}^{\infty }\tfrac{[k-1]_{\zeta }(1+B)+(A-B)}{(A-B)} [(1-\lambda )+\lambda [k]_{\zeta }][k]_{\zeta }^{n}\left| a_{k}\right| >0\;\ \ \ \ \left( z\in {\mathbb {U}}\right) . \end{aligned}$$

Thus (16) holds, which ends the proof. \(\square\)

Theorem 11

\(S_{\lambda ,\zeta }^{*}(n+1,A,B)\subset S_{\lambda ,\zeta }^{*}(n,A,B).\)


Since \(f(z)\in S_{\lambda ,\zeta }^{*}(n+1,A,B),\)It follows from Theorem 9, that

$$\begin{aligned} 1-\sum \limits _{k=2}^{\infty }[k]_{\zeta }^{n+1}\tfrac{\zeta [k-1]_{\zeta }({\mathrm{e}}^{-i\theta }+B)+(A-B)}{(A-B)}[(1-\lambda )+\lambda [k]_{\zeta }]a_{k}z^{k-1}\ne 0 \end{aligned}$$

(22) can be written as

$$\begin{aligned} \left[ 1+\sum \limits _{k=2}^{\infty }[k]_{\zeta }z^{k-1}\right] *\left[ 1-\sum \limits _{k=2}^{\infty }[k]_{\zeta }^{n}\tfrac{\zeta [k-1]_{\zeta }({\mathrm{e}}^{-i\theta }+B)+(A-B)}{(A-B)}[(1-\lambda )+\lambda [k]_{\zeta }]a_{k}z^{k-1}\right] \ne 0. \end{aligned}$$

(23) gives

$$\begin{aligned} 1-\sum \limits _{k=2}^{\infty }[k]_{\zeta }^{n}\tfrac{\zeta [k-1]_{\zeta }({\mathrm{e}}^{-i\theta }+B)+(A-B)}{(A-B)}[(1-\lambda )+\lambda [k]_{\zeta }]a_{k}z^{k-1}\ne 0 \end{aligned}$$

which means that \(f(z)\in S_{\lambda ,\zeta }^{*}(n,A,B).\) This completes the proof of Theorem 11. \(\square\)


q- Derivatives and q-integrals play an important and significant role in the study of quantum groups and q-deformed super-algebras. Recently, q-calculus has attracted the attention of many researchers in the field of geometric function theory. In this paper, we have used q-calculus to define and study some new sub-classes of analytic functions. Using the convolution technique some interesting properties of these new classes have been derived. Also, Coefficient conditions and inclusion properties of functions in these classes are found. Some special cases have been discussed as applications of our main results.

Availability of data and materials

Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.


  1. Jackson, F.H.: On q-functions and a certain difference operator. Trans. R. Soc. Edinb. 46, 253–281 (1908)

    Article  Google Scholar 

  2. Jackson, F.H.: On q-definite integrals. Q. J. Pure Appl. Math. 41, 193–203 (1910)

    MATH  Google Scholar 

  3. Ibrahim, R.W., Elobaid, R.M., Obaiys, S.J.: On subclasses of analytic functions based on a quantum symmetric conformable differential operator with application. Adv. Differ. Equ. 2020(1), 1–14 (2020)

    MathSciNet  Article  Google Scholar 

  4. Ibrahim, R.W., Hadid, S.B., Momani, S.: Generalized Briot–Bouquet differential equation by a quantum difference operator in a complex domain. Int. J. Dyn. Control 8(3), 762–771 (2020)

    MathSciNet  Article  Google Scholar 

  5. Ibrahim, R.W., Elobaid, R.M., Obaiys, S.J.: Geometric inequalities via a symmetric differential operator defined by quantum calculus in the open unit disk. J. Funct. Spaces 2020, 1–8 (2020)

    MathSciNet  MATH  Google Scholar 

  6. Ibrahim, R.W., Baleanu, D.: On quantum hybrid fractional conformable differential and integral operators in a complex domain. RACSAM 115(1), 1–13 (2021)

    MathSciNet  Article  Google Scholar 

  7. Hasan, A.M., Jalab, H.A., Ibrahim, R.W., Meziane, F., AL-Shamasneh, A.R., Obaiys, S.J.: MRI brain classification using the quantum entropy LBP and deep-learning-based features. Entropy 22, 1–12 (2020)

    MathSciNet  Google Scholar 

  8. Govindaraj, M., Sivasubramanian, S.: On a class of analytic functions related to conic domains involving q-calculus. Anal. Math. 43, 475–487 (2017)

    MathSciNet  Article  Google Scholar 

  9. Aouf, M.K., Mostafa, A.O., Seoudy, T.M.: Subordination and Superordination Results for Analytic Functions Involving Certain Operators. Publishing, Lambert Acad (2014)

    Google Scholar 

  10. Bulboacă, T.: Differential Subordinations and Superordinations. House of Scientific Book Publ., Cluj-Napoca, Recent Results (2005)

  11. Miller, S.S., Mocanu, P.T.: Differential Subordination: Theory and Applications, Series on Monographs and Textbooks in Pure and Applied. Mathematics. Vol. 225, Marcel Dekker Inc., New York and Basel (2000)

  12. Seoudy, T.M., Aouf, M.K.: Coefficient estimates of new classes of q-starlike and q-convex functions of complex order. J. Math. Ineq. 10(1), 135–145 (2016)

    MathSciNet  Article  Google Scholar 

  13. Ramachandran, C., Soupramanien, T., Frasin, B.: New subclasses of analytic functions associated with q-difference operator. Eur. J. Pure Appl. Math. 10(2), 348–362 (2017)

    MathSciNet  MATH  Google Scholar 

  14. Srivastava, H.M., Khan, B., Khan, N., Ahmad, Q.Z.: Coefficient inequalities for q-starlike functions associated with the Janowski functions. Hokkaido Math. J. 48, 407–425 (2019)

    MathSciNet  Article  Google Scholar 

  15. Polatoglu, Y., Ucar, F., Yilmaz, B.: q-starlike functions of order alpha. TWMS J. Appl. Eng. Math. 8, 186–192 (2018)

    MATH  Google Scholar 

  16. Lashin, A.Y.: On bounded α-starlike functions of complex order. Ann. Univ. Marie Curie-Sklodowska Sect. A 71(1), 65–72 (2017)

    MathSciNet  MATH  Google Scholar 

  17. Nasr, A.M., Aouf, M.K.: Bounded convex functions of complex order. Mansoura Sci. Bull. 10, 513–526 (1983)

    Google Scholar 

  18. Robertson, M.S.: On the theory of univalent functions. Ann. Math. 37, 374–408 (1936)

    MathSciNet  Article  Google Scholar 

  19. Goodman, A.W.: Univalent Functions, vol. I. II, Tampa, Florida (1983)

  20. Wang, Z.-G., Aghalary, R.: subordination results for certain classes of analytic functions. Acta Math. Acad. Paedagog. Nyhazi. (N.S.) 25, 211–219 (2009)

    MathSciNet  MATH  Google Scholar 

  21. Altıntaş, O.: On a subclass of certain starlike functions with negative coefficients. Math. Jpn. 36(3), 489–495 (1991)

    MathSciNet  MATH  Google Scholar 

  22. Kamali, M., Akbulut, S.: On a subclass of certain convex functions with negative coefficients. Appl. Math. Comput. 145(2–3), 341–350 (2003)

    MathSciNet  MATH  Google Scholar 

  23. Silverman, H., Silvia, E.M., Telage, D.: Convolution conditions for convexity and starlikeness and spiral-likeness. Math. Z. 162, 125–130 (1978)

    MathSciNet  Article  Google Scholar 

  24. Piejko, K., Sokol, J., Trabka-Wieclaw, K.: On q-calculus and starlike functions. Iran. J. Sci. Technol. Trans. Sci. 43, 2879–2883 (2019)

    MathSciNet  Article  Google Scholar 

  25. Aouf, M.K., Seoudy, T.M.: Convolution properties for classes of bounded analytic functions with complex order defined by q-derivative operator. RACSAM 113, 1279–1288 (2019)

    MathSciNet  Article  Google Scholar 

  26. El-Ashwah, R.M.: Some convolution and inclusion properties for subclasses of bounded univalent functions of complex order. Thai. J. Math. 12(2), 373–384 (2014)

    MathSciNet  MATH  Google Scholar 

  27. Padmanabhan, K.S., Ganesan, M.S.: Convolution conditions for certain class of analytic functions. Indian J. Pure Appl. Math. 15, 777–780 (1984)

    MathSciNet  MATH  Google Scholar 

Download references


The author would like to thank referees for their valuable comments and suggestions, which essentially improved the quality of this paper.


There is no funding source for the research.

Author information




I completed the manuscript without anyone’s contribution. The author read and approved the final manuscript.

Corresponding author

Correspondence to Fatma Z. El-Emam.

Ethics declarations

Competing interests

The author declares that he has no competing interests.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

El-Emam, F.Z. Convolution conditions for two subclasses of analytic functions defined by Jackson q-difference operator. J Egypt Math Soc 30, 7 (2022).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • Jackson q-derivative
  • q-starlike and convex functions
  • Convolution
  • Inclusion relations
  • Salagean q-differential operator

Mathematics Subject Classification

  • Primary 30C45
  • 30C55