A subclass of meromorphic Janowski-type multivalent q-starlike functions involving a q-differential operator

Abstract

Keeping in view the latest trends toward quantum calculus, due to its various applications in physics and applied mathematics, we introduce a new subclass of meromorphic multivalent functions in Janowski domain with the help of the q-differential operator. Furthermore, we investigate some useful geometric and algebraic properties of these functions. We discuss sufficiency criteria, distortion bounds, coefficient estimates, radius of starlikeness, radius of convexity, inclusion property, and convex combinations via some examples and, for some particular cases of the parameters defined, show the credibility of these results.

1 Introduction and motivation

In the classical calculus, if the limit is replaced by familiarizing the parameter q with limitation $0< q<1$, then the study of such notions is called quantum calculus (q-calculus). This area of study has attracted the researchers due to its applications in various branches of mathematics and physics; for details, see [10, 11]. Jackson [19, 20] was the first to give some applications of q-calculus and introduced the q-analogues of the derivative and integral.

Using the notion of q-beta functions, Aral and Gupta [10–12] established a new q-Baskakov–Durrmeyer-type operator. Furthermore, Aral and Anastassiu [7–9] discussed a generalization of complex operators, known as the q-Picard and q-Gauss–Weierstrass singular integral operators. Lately, a q-analogue version of Ruscheweyh-type differential operator was defined by Kanas and Răducanu [21] using the convolution notions and examined some its properties. For more applications of this operator, see [5]. Moreover, Ahuja et al. [2] investigated a q-analogue of Bieberbach–de Branges and Fekete–Szegö theorems for certain families of q-convex and q-close-to-convex functions. Also, Khan et al. [22] studied some families of multivalent q-starlike functions involving higher-order q-derivatives. For more recent work related to q-calculus, we refer the reader to [25, 38, 39].

Let $\mathcal{M}_{p}$ denote the class of p-valent meromorphic functions f that are regular (analytic) in the punctured disc $\mathbb{D}= \{ \zeta \in \mathbb{C} :0< \vert \zeta \vert <1 \}$ and satisfy the normalization

$$ f(\zeta )=\frac{1}{\zeta ^{p}}+\sum_{k=p+1}^{\infty }a_{k} \zeta ^{k}\quad ( \zeta \in \mathbb{D} ) . $$

(1.1)

Also, let $\mathcal{MS}_{p}^{\ast } ( \alpha )$ and $\mathcal{MC}_{p} ( \alpha )$ denote the popular classes of meromorphic p-valent starlike and meromorphic p-valent convex functions of order α ($0\leq \alpha < p$), respectively.

Definition 1

For two analytic functions $f_{j}$ ($j=1,2$) in $\mathbb{D}$, the function $f_{1}$ is said to be subordinate to the function $f_{2}$, written as

$$ f_{1}\prec f_{2} \quad \text{or}\quad f_{1} ( \zeta ) \prec f_{2} (\zeta )\quad (\zeta \in \mathbb{D}), $$

if there is a Schwartz function w, analytic in $\mathbb{D}$, such that

$$ w ( 0 ) =0, \qquad \bigl\vert w (\zeta ) \bigr\vert < 1, $$

and

$$ f_{1} (\zeta )=f_{2} \bigl(w (\zeta ) \bigr) . $$

Further, if the function $f_{2}$ is univalent in $\mathbb{D}$, then we have the following equivalence relation:

$$ f_{1}(z\zeta )\prec f_{2}(\zeta )\quad (\zeta \in \mathbb{U})\quad \Longleftrightarrow \quad f_{1}(0)=f_{2}(0) \quad \text{and}\quad f_{1}( \mathbb{D})\subset f_{2}( \mathbb{D}). $$

For $q\in ( 0,1 )$, the q-difference operator or q-derivative of a function f is defined by

$$ \partial _{q}f(\zeta )= \frac{f ( \zeta ) -f(\zeta q)}{\zeta ( 1-q ) } \quad ( \zeta \neq 0,q \neq 1 ) . $$

(1.2)

We can observe that for $k\in \mathbb{N}$ (where $\mathbb{N}$ is the set of natural numbers) and $\zeta \in \mathbb{D}$,

$$ \partial _{q} \Biggl\{ \sum_{k=1}^{\infty }a_{k} \zeta ^{k} \Biggr\} = \sum_{k=1}^{\infty } [ k,q ] a_{k}\zeta ^{k-1}, $$

(1.3)

where

$$ [ k,q ] =\frac{1-q^{k}}{1-q}=1+\sum_{l=1}^{k}q^{l} \quad \text{and} \quad [ 0,q ] =0. $$

The q-number shift factorial for any nonnegative integer k is defined as

$$ [ k,q ] !=\textstyle\begin{cases} 1,&k=0, \\ [ 1,q ] [ 2,q ] [ 3,q ] \cdots [ k,q ] ,&k\in \mathbb{N} .\end{cases} $$

Furthermore, for $x\in \mathbb{R}$, the q-generalized Pochhammer symbol is defined as

$$ {}[ x,q]_{n}=\textstyle\begin{cases} {}[ x,q][x+1,q]\cdots[ x+k-1,q],&k\in \mathbb{N} , \\ 1,& k=0.\end{cases} $$

We now recall the differential operator $\mathcal{D}_{\mu ,q}:\mathcal{M}_{p}\rightarrow \mathcal{M}_{p}$ defined by Ahmad et al. [1] by

$$ \mathcal{D}_{\mu ,q}f ( \zeta ) = \bigl( 1+ [ p,q ] \mu \bigr) f(\zeta )+\mu q^{p}\zeta \partial _{q}f(\zeta ), $$

(1.4)

where $\mu \geq 0$.

Now using (1.1), we get

$$ \mathcal{D}_{\mu ,q}f ( \zeta ) =\frac{1}{\zeta ^{p}}+ \sum _{k=p+1}^{\infty } \bigl( 1+ [ p,q ] \mu + \mu q^{p} [ k,q ] \bigr) a_{k}\zeta ^{k}. $$

We define this operator in such a way that

$$ \mathcal{D}_{\mu ,q}^{0}f ( \zeta ) =f ( \zeta ) $$

and

$$ \mathcal{D}_{\mu ,q}^{2}f ( \zeta ) =\mathcal{D}_{\mu ,q} \bigl( \mathcal{D}_{\mu ,q}f ( \zeta ) \bigr) = \frac{1}{\zeta ^{p}}+ \sum_{k=p+1}^{\infty } \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ k,q ] \bigr) ^{2}a_{k} \zeta ^{k}. $$

In the identical way, for $m\in N$, we get

$$ \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) =\frac{1}{\zeta ^{p}}+ \sum_{k=p+1}^{\infty } \bigl( 1+ [ p,q ] \mu + \mu q^{p} [ k,q ] \bigr) ^{m}a_{k} \zeta ^{k}. $$

(1.5)

From (1.4) and (1.5) after some simplification, we get the identity

$$ \mathcal{D}_{\mu ,q}^{m+1}f ( \zeta ) =\mu q^{p} \zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) + \bigl( 1+ [ p,q ] \mu \bigr) \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) . $$

(1.6)

Now as of $q\rightarrow 1-$, the q-differential operator defined in (1.4) reduces to the well-known differential operator defined in [28]. For details on q-analogues of differential operators, we refer the reader to [3, 4, 27, 32].

Definition 2

([18])

A function $f\in \mathcal{A}$ belongs to the functions class $\mathcal{S}_{q}^{\ast }$ if

$$ f ( 0 ) =f^{\prime } ( 0 ) -1=0 $$

(1.7)

and

$$ \biggl\vert \frac{z}{f ( z ) } ( D_{q}f ) ( z )- \frac{1}{1-q} \biggr\vert \leq \frac{1}{1-q}. $$

(1.8)

Note that by the last inequality it is obvious that in the limit as $q\rightarrow 1-$, we have

$$ \biggl\vert w-\frac{1}{1-q} \biggr\vert \leq \frac{1}{1-q}. $$

This closed disk is merely in the right-half planem and the class $\mathcal{S}_{q}^{\ast }$ of q-starlike functions turns into the prominent class $\mathcal{S}^{\ast }$.

Inspired by the above-mentioned works and [14–17, 23, 29, 31, 34–37, 42–44], we now define the subfamily $\mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$ of $\mathcal{M}_{p}$ using the idea of the operator $\mathcal{D}_{\mu ,q}^{m}$ as follows.

Definition 3

Under conditions $-1\leq \mathcal{O}_{2}<\mathcal{O}_{1}\leq 1$ and $q\in ( 0,1 )$, we define $f\in \mathcal{M}_{p}$ to be in the set $\mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$ if it satisfies

$$ \frac{-q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) } \prec \frac{1+\mathcal{O}_{1}\zeta }{1+\mathcal{O}_{2}\zeta }, $$

(1.9)

where the notation “≺” stands for the familiar notion of subordination. Equivalently, we can write condition (1.9) as

$$ \biggl\vert \frac{\frac{q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }+1}{\mathcal{O}_{1}+\mathcal{O}_{2}\frac{q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }} \biggr\vert < 1. $$

(1.10)

Remark 1

First of all, it is easy to see that

$$ \lim_{q\rightarrow 1-}\mathcal{M}_{\mu ,q} ( 1,0, \mathcal{O}_{1},\mathcal{O}_{2} ) = \mathcal{MS}^{\ast } [ \mathcal{O}_{1}, \mathcal{O}_{2} ], $$

where $\mathcal{MS}^{\ast } [ \mathcal{O}_{1},\mathcal{O}_{2} ]$ is the function class introduced and studied by Ali et al. [6]. Secondly, we have

$$ \mathcal{M}_{\mu ,q} ( p,0,1,-1 ) =\mathcal{MS}_{p,q}^{ \ast }, $$

where $\mathcal{MS}_{p,q}^{\ast }$ is the class of meromorphic p-valent q-starlike functions. Thirdly, we have

$$ \lim_{q\rightarrow 1-}\mathcal{M}_{\mu ,q} ( p,0,1,-1 ) = \mathcal{MS}_{p,q}^{\ast }, $$

where $\mathcal{MS}_{p}^{\ast }$ is the well-known class of meromorphic p-valent starlike functions. Fourthly, we have

$$ \lim_{q\rightarrow 1-}\mathcal{M}_{\mu ,q} ( 1,0,1,-1 ) = \mathcal{MS}^{\ast }, $$

where $\mathcal{MS}^{\ast }$ is the class of meromorphic starlike functions. The class $\mathcal{MS}^{\ast }$ and other similar classes have been studied by Pommerenke [30] and Clunie and Miller in [13, 26], respectively, and by many others.

In this paper, with the help of a certain q-differential operator, we introduce a new subclass of meromorphic multivalent functions involving the Janowski functions. Furthermore, we investigate some useful geometric and algebraic properties of these functions. We discuss sufficiency criteria, distortion bounds, coefficient estimates, radius of starlikness, radius of convexity, inclusion property, and convex combinations via some examples, and for some particular cases of the parameters defined, we show the credibility of these results.

2 A set of lemmas

In our main results, we use the following important lemmas.

Lemma 1

([24])

Let $-1\leq \mathcal{O}_{4}\leq \mathcal{O}_{2}<\mathcal{O}_{1}\leq \mathcal{O}_{3}\leq 1$. Then

$$ \frac{1+\mathcal{O}_{1}\zeta }{1+\mathcal{O}_{2}\zeta }\prec \frac{1+\mathcal{O}_{3}\zeta }{1+\mathcal{O}_{4}\zeta }. $$

Lemma 2

([33])

Let $h(\zeta )$ be a regular function in $\mathbb{D}$ of the form

$$ h(\zeta )=1+\sum_{k=1}^{\infty }d_{k} \zeta ^{k}, $$

and let $k(\zeta )$ be a regular convex function in $\mathbb{D}$ of the form

$$ k(\zeta )=1+\sum_{k=1}^{\infty }k_{k} \zeta ^{k}. $$

So if $h(\zeta )\prec k(\zeta )$, then $\vert d_{k} \vert \leq \vert k_{1} \vert$ for all $k\in \mathbb{N} =\{1,2,\ldots \}$.

3 Main results

Theorem 1

A function $f\in \mathfrak{A}_{p}$ of the form (1.1) is in the class $\mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$ if and only if

$$ \sum_{k=p+1}^{\infty }\Lambda _{k} \vert a_{k} \vert \leq [ p,q ] ( \mathcal{O}_{1}- \mathcal{O}_{2} ), $$

(3.1)

where

$$ \Lambda _{k}= \bigl( q^{p}[k,q] ( 1+ \mathcal{O}_{2} ) + ( 1+\mathcal{O}_{1} ) [ p,q ] \bigr) \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ k,q ] \bigr) ^{m}. $$

Proof

For f to be in the class $\mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$, we need to show inequality (1.10). For this, consider

$$ \biggl\vert \frac{\frac{q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }+1}{\mathcal{O}_{1}+\mathcal{O}_{2}\frac{q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }} \biggr\vert = \biggl\vert \frac{q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) + [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{\mathcal{O}_{1} [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) +\mathcal{O}_{2}q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) } \biggr\vert . $$

Using (1.4), after simplification, by (1.2) and (1.5) we get that it is equal to

$$ \begin{aligned} & \biggl\vert \frac{\sum_{k=p+1}^{\infty } ( 1+ [ p,q ] \mu +\mu q^{p} [ k,q ] ) ^{m} ( q^{p} [ k,q ] + [ p,q ] ) a_{k}\zeta ^{k}}{\frac{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] }{\zeta ^{p}}+\sum_{k=p+1}^{\infty }\vartheta _{q}a_{k}\zeta ^{k}} \biggr\vert \\ &\quad = \biggl\vert \frac{\sum_{k=p+1}^{\infty } ( 1+ [ p,q ] \mu +\mu q^{p} [ k,q ] ) ^{m} ( q^{p} [ k,q ] + [ p,q ] ) a_{k}\zeta ^{k+p}}{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] +\sum_{n=p+1}^{\infty }\vartheta _{q}a_{k}\zeta ^{k+p}} \biggr\vert \\ &\quad \leq \frac{\sum_{k=p+1}^{\infty } ( 1+ [ p,q ] \mu +\mu q^{p} [ k,q ] ) ^{m} ( q^{p} [ k,q ] + [ p,q ] ) \vert a_{k} \vert }{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] -\vartheta _{q} \vert a_{k} \vert }< 1, \end{aligned} $$

where

$$ \vartheta _{q}= \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ k,q ] \bigr) ^{m} \bigl( \mathcal{O}_{1} [ p,q ] + \mathcal{O}_{2}q^{p} [ k,q ] \bigr) . $$

Using inequality (3.1), we can get the direct part of the proof.

For the converse part, let $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$ be given by (1.1). Then from (1.10), for $\zeta \in \mathbb{D}$, we have

$$\begin{aligned} & \biggl\vert \frac{\frac{q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }+1}{\mathcal{O}_{1}+\mathcal{O}_{2}\frac{q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }} \biggr\vert \\ &\quad = \biggl\vert \frac{\sum_{k=p+1}^{\infty } ( 1+ [ p,q ] \mu +\mu q^{p} [ k,q ] ) ^{m} ( q^{p} [ k,q ] + [ p,q ] ) a_{k}\zeta ^{k+p}}{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] +\sum_{k=p+1}^{\infty }\vartheta _{q}a_{k}\zeta ^{k+p}} \biggr\vert . \end{aligned}$$

Since $\Re (\zeta )\leq \vert \zeta \vert$, we have

$$ \Re \biggl\{ \frac{\sum_{k=p+1}^{\infty } ( 1+ [ p,q ] \mu +\mu q^{p} [ k,q ] ) ^{m} ( q^{p} [ k,q ] + [ p,q ] ) a_{k}\zeta ^{k+p}}{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] +\sum_{k=p+1}^{\infty }\vartheta _{q}a_{k}\zeta ^{k+p}} \biggr\} < 1. $$

(3.2)

Now choose values of ζ on the real axis such that

$$ \frac{q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) } $$

is real. Clearing the denominator in (3.2) and letting $\zeta \rightarrow 1^{-}$ through real values, we obtain (3.1). □

Example 2

For the function

$$ f ( \zeta ) =\frac{1}{\zeta ^{p}}+\sum_{k=p+1}^{ \infty }\frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) }{\Lambda _{k}}x_{k}\zeta ^{k} \quad ( \zeta \in \mathbb{D} ) $$

such that

$$ \sum_{k=p+1}^{\infty } \vert x_{k} \vert =1, $$

we have

$$\begin{aligned} \sum_{k=p+1}^{\infty }\Lambda _{k} \vert a_{k} \vert =&\sum_{k=p+1}^{\infty } [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) \vert x_{k} \vert \\ =& [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) \sum _{k=p+1}^{\infty } \vert x_{k} \vert = [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) . \end{aligned}$$

Thus $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$, and inequality (3.1) is sharp for this function.

Corollary 1

([6])

If f is in the class $\mathcal{MS}^{\ast } [ \mathcal{O}_{1},\mathcal{O}_{2} ]$ and has the form (1.1) in univalent form, then

$$ \sum_{n=2}^{\infty } \bigl( k ( 1+ \mathcal{O}_{2} ) +1+\mathcal{O}_{1} \bigr) \vert a_{k} \vert \leq ( \mathcal{O}_{1}- \mathcal{O}_{2} ) . $$

The result is sharp for function given by

$$ f ( \zeta ) =\frac{1}{\zeta }+ \frac{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) }{ ( k ( 1+\mathcal{O}_{2} ) +1+\mathcal{O}_{1} ) }t_{k}\zeta ^{k},\quad \text{where }\sum_{k=p+1}^{ \infty } \vert t_{k} \vert =1. $$

(3.3)

In the following, we discuss the growth and distortion theorems for our new class of functions.

Theorem 3

Let $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$ be of the form (1.1). Then for $\vert \zeta \vert =r$, we have

$$ \frac{1}{r^{p}}-\tau _{1}r^{p}\leq \bigl\vert f(\zeta ) \bigr\vert \leq \frac{1}{r^{p}}+\tau _{1}r^{p}, $$

where

$$ \tau _{1}= \frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) }{\Lambda _{p+1}}. $$

The result is sharp for the function given in (3.3) with $k=p+1$.

Proof

We have

$$\begin{aligned} \bigl\vert f(\zeta ) \bigr\vert &= \Biggl\vert \frac{1}{\zeta ^{p}}+ \sum _{k=p+1}^{\infty }a_{k}\zeta ^{k} \Biggr\vert \\ & \leq \frac{1}{ \vert \zeta ^{p} \vert }+\sum_{k=p+1}^{\infty } \vert a_{k} \vert \vert \zeta \vert ^{k}= \frac{1}{r^{p}}+\sum_{k=p+1}^{ \infty } \vert a_{k} \vert r^{k}. \end{aligned}$$

Since $r^{k}< r^{p}$ for $r<1$ and $k\geq p+1$, for $\vert \zeta \vert =r<1$, we have

$$ \bigl\vert f(\zeta ) \bigr\vert \leq \frac{1}{r^{p}}+r^{p} \sum_{k=p+1}^{\infty } \vert a_{k} \vert . $$

(3.4)

Similarly, we have

$$ \bigl\vert f(\zeta ) \bigr\vert \geq \frac{1}{r^{p}}-r^{p} \sum_{k=p+1}^{\infty } \vert a_{k} \vert . $$

(3.5)

Now (3.1) implies that

$$ \sum_{k=p+1}^{\infty }\Lambda _{k} \vert a_{k} \vert \leq [ p,q ] ( \mathcal{O}_{1}- \mathcal{O}_{2} ) . $$

Since

$$ \Lambda _{p+1}\sum_{k=p+1}^{\infty } \vert a_{k} \vert \leq \sum_{k=p+1}^{\infty } \Lambda _{k} \vert a_{k} \vert , $$

we have

$$ \sum_{k=p+1}^{\infty }\Lambda _{p+1} \vert a_{k} \vert \leq [ p,q ] ( \mathcal{O}_{1}- \mathcal{O}_{2} ) , $$

which also can be written as

$$ \sum_{k=p+1}^{\infty } \vert a_{k} \vert \leq \frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) }{\Lambda _{p+1}}. $$

Now by putting this value into (3.4) and (3.5), we get the required result. □

Theorem 4

Let $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$ be of the form (1.1). Then for $\vert \zeta \vert =r$,

$$ \frac{{}[ p,q]_{m}}{q^{mp+\delta }r^{m+p}}-\tau _{2}r^{p}\leq \bigl\vert \partial _{q}^{m}f(\zeta ) \bigr\vert \leq \frac{{}[ p,q]_{m}}{q^{mp+\delta }r^{m+p}}+\tau _{2}r^{p}, $$

where

$$ \tau _{2}= \frac{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [p,q][p+1,q]}{\alpha _{p+1}}\quad \textit{and}\quad \delta =\sum _{k=1}^{m}k. $$

Proof

By (1.2) and (1.3) we can write

$$ \partial _{q}^{m}f(\zeta )= \frac{ ( -1 ) ^{m}[p,q]_{m}}{q^{mp+\delta }\zeta ^{p+m}}+\sum _{k=p+1}^{\infty }\bigl[k- ( m-1 ) ,q \bigr]_{m+1}a_{k}\zeta ^{k-m}. $$

Since $r^{k-m}\leq r^{p}$ for $m\leq k$ and $k\geq p+1$, for $\vert \zeta \vert =r<1$, we have

$$ \bigl\vert \partial _{q}^{m}f(\zeta ) \bigr\vert \leq \frac{{}[ p,q]_{m}}{q^{mp+\delta }r^{m+p}}+r^{p}\sum_{n=p+1}^{ \infty } \bigl[k- ( m-1 ) ,q\bigr]_{m+1} \vert a_{k} \vert . $$

(3.6)

Similarly,

$$ \bigl\vert \partial _{q}^{m}f(\zeta ) \bigr\vert \geq \frac{{}[ p,q]_{m}}{q^{mp+\delta }r^{m+p}}-r^{p}\sum_{k=p+1}^{ \infty } \bigl[k- ( m-1 ) ,q\bigr]_{m+1} \vert a_{k} \vert . $$

(3.7)

Now by (3.1) we get the inequality

$$ \frac{\alpha _{p+1}}{[p+1,q]}\sum_{k=p+1}^{\infty }[k,q] \vert a_{k} \vert \leq ( \mathcal{O}_{1}- \mathcal{O}_{2} ) [ p,q ] , $$

so that

$$ \sum_{k=p+1}^{\infty }[k,q] \vert a_{k} \vert \leq \frac{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [p,q][p+1,q]}{\Lambda _{p+1}}. $$

We easily observe that

$$ \sum_{k=p+1}^{\infty }\bigl[k- ( m-1 ) ,q\bigr] \vert a_{k} \vert \leq \sum_{k=p+1}^{\infty }[k,q] \vert a_{k} \vert , $$

which implies

$$ \sum_{k=p+1}^{\infty }\bigl[k- ( m-1 ) ,q\bigr] \vert a_{k} \vert \leq \frac{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [p,q][p+1,q]}{\Lambda _{p+1}}. $$

Now using this inequality in (3.6) and (3.7), we obtain the required result. □

Corollary 2

If $f\in \mathcal{MS}_{p}^{\ast }$ is of the form (1.1), then

$$ \frac{1}{r^{p}}- \frac{2p(p+1)r^{p}}{ ( k ( 1+\mathcal{O}_{2} ) +(p+1)(1+\mathcal{O}_{1}) ) }\leq \bigl\vert f^{\prime }( \zeta ) \bigr\vert \leq \frac{1}{r^{p}}+ \frac{2p(p+1)r^{p}}{ ( k ( 1+\mathcal{O}_{2} ) +(p+1)(1+\mathcal{O}_{1}) ) }. $$

In the next two theorems, we discuss the radii problems for the functions of the class $\mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$.

Theorem 5

Let $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$. Then $f\in \mathcal{MC}_{p} ( \alpha )$ for $\vert \zeta \vert < r_{1}$, where

$$ r_{1}= \biggl( \frac{p ( p-\alpha ) \alpha _{p+n}}{ ( p+n ) ( n+p+\alpha ) ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] } \biggr) ^{\frac{1}{k+2p}}. $$

Proof

Let $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$. To prove $f\in \mathcal{MC}_{p} ( \alpha )$, we only need to show

$$ \biggl\vert \frac{\zeta f^{\prime \prime }(\zeta )+ ( p+1 ) f^{\prime }(\zeta )}{\zeta f^{\prime \prime }(\zeta )+ ( 1+2\alpha -p ) f^{\prime }(\zeta )} \biggr\vert \leq 1. $$

Using (1.1), after some simple computation, we get

$$ \sum_{n=1}^{\infty } \frac{ ( p+n ) ( p+n+\alpha ) }{p ( p-\alpha ) } \vert a_{k+p} \vert \vert \zeta \vert ^{k+2p}\leq 1. $$

(3.8)

From (3.1) we can easily obtain that

$$\begin{aligned}& \sum_{k=p+1}^{\infty }\Lambda _{k} \vert a_{k+p} \vert \leq [ p,q ] ( \mathcal{O}_{1}- \mathcal{O}_{2} ) \sum_{k=p+1}^{\infty } \frac{\Lambda _{k}}{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] } \vert a_{k} \vert < 1. \end{aligned}$$

Equivalently, we have

$$ \sum_{k=1}^{\infty } \frac{\Lambda _{p+k}}{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] } \vert a_{k+p} \vert < 1. $$

Now inequality (3.8) will hold if

$$ \sum_{k=1}^{\infty } \frac{ ( p+k ) ( k+p+\alpha ) }{p ( p-\alpha ) } \vert a_{k+p} \vert \vert \zeta \vert ^{k+2p}< \sum _{k=1}^{\infty } \frac{\Lambda _{p+k}}{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] } \vert a_{k+p} \vert , $$

which implies that

$$ \vert \zeta \vert ^{k+2p}< \frac{p ( p-\alpha ) \Lambda _{p+k}}{ ( p+k ) ( k+p+\alpha ) ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] } $$

and thus

$$ \vert \zeta \vert < \biggl( \frac{p ( p-\alpha ) \alpha _{p+k}}{ ( p+k ) ( k+p+\alpha ) ( A-B ) [ p,q ] } \biggr) ^{\frac{1}{k+2p}}=r_{1}, $$

from which we get the desired condition. □

Corollary 3

If $f\in \mathcal{MS}_{p}^{\ast }$ is of the form (1.1), then $f\in \mathcal{MC}_{p} ( \alpha )$ for $\vert \zeta \vert < r_{1}^{\prime }$, where

$$ r_{1}^{\prime }= \biggl( \frac{p ( p-\alpha ) ( n ( 1+\mathcal{O}_{2} ) +(p+k)(1+\mathcal{O}_{1}) ) }{ ( p+k ) ( k+p+\alpha ) ( \mathcal{O}_{1}-\mathcal{O}_{2} ) p} \biggr) ^{\frac{1}{k+2p}}. $$

Theorem 6

Let $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$. Then $f\in \mathcal{MS}_{p}^{\ast } ( \alpha )$ for $\vert \zeta \vert < r_{2}$, where

$$ r_{2}= \biggl( \frac{ ( p-\alpha ) \Lambda _{p+k}}{ ( k+p+\alpha ) ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] } \biggr) ^{\frac{1}{k+2p}}. $$

Proof

We know that $f\in \mathcal{MS}_{p}^{\ast } ( \alpha )$ if and only if

$$ \biggl\vert \frac{\zeta f^{\prime }(\zeta )+pf(\zeta )}{\zeta f^{\prime }(\zeta )-(p-2\alpha )f(\zeta )} \biggr\vert \leq 1. $$

Using (1.1), after simplification, we get

$$ \sum_{k=1}^{\infty } \biggl( \frac{k+p+\alpha }{p-\alpha } \biggr) \vert a_{k+p} \vert \vert \zeta \vert ^{k+2p}\leq 1. $$

(3.9)

Now from (3.1) we easily obtain

$$ \sum_{k=1}^{\infty } \frac{\Lambda _{p+k}}{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] } \vert a_{k+p} \vert < 1. $$

For inequality (3.9) to be true, it suffices that

$$ \sum_{k=1}^{\infty } \biggl( \frac{k+p+\alpha }{p-\alpha } \biggr) \vert a_{k+p} \vert \vert \zeta \vert ^{k+2p}< \sum_{k=1}^{\infty } \frac{\Lambda _{p+k}}{ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] } \vert a_{k+p} \vert . $$

This gives

$$ \vert \zeta \vert ^{k+2p}< \frac{ ( p-\alpha ) \Lambda _{p+k}}{ ( k+p+\alpha ) ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] }, $$

and hence

$$ \vert \zeta \vert < \biggl( \frac{ ( p-\alpha ) \Lambda _{p+k}}{ ( k+p+\alpha ) ( \mathcal{O}_{1}-\mathcal{O}_{2} ) [ p,q ] } \biggr) ^{\frac{1}{k+2p}}=r_{2}. $$

Thus we obtain the required result. □

Theorem 7

Let $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$ be of the form (1.1). Then

$$\begin{aligned}& \vert a_{p+1} \vert \leq \frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) l ( 0 ) }{ ( q^{p} [ p+1,q ] + [ p,q ] ) l ( 1 ) }, \\& \vert a_{p+2} \vert \leq \frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) l ( 0 ) }{ ( q^{p} [ p+2,q ] + [ p,q ] ) l ( 2 ) } \biggl( 1+ \frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) }{q^{p} [ p+1,q ] + [ p,q ] } \biggr) , \end{aligned}$$

and

$$\begin{aligned} \vert a_{p+3} \vert \leq& \frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) l ( 0 ) }{ ( q^{p} [ p+3,q ] + [ p,q ] ) l ( 3 ) } \biggl( 1+ \frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) }{q^{p} [ p+1,q ] + [ p,q ] } \\ &{}+ \frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) }{q^{p} [ p+2,q ] + [ p,q ] }+ \frac{ ( [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) ) ^{2}}{ ( q^{p} [ p+2,q ] + [ p,q ] ) ( q^{p} [ p+1,q ] + [ p,q ] ) } \biggr) , \end{aligned}$$

where

$$ l ( k ) = \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ p+k,q ] \bigr) ^{m}. $$

(3.10)

Proof

If $f\in \mathfrak{A}$ is in the class $\mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$, then it satisfies

$$ \frac{-q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) } \prec \frac{1+\mathcal{O}_{1}\zeta }{1+\mathcal{O}_{2}\zeta }. $$

The right-hand side

$$ h(\zeta )= \frac{-q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) } $$

(3.11)

is of the form

$$ h(\zeta )=1+\sum_{k=1}^{\infty }d_{k} \zeta ^{k}, $$

which implies that

$$ h(\zeta )\prec \frac{1+\mathcal{O}_{1}\zeta }{1+\mathcal{O}_{2}\zeta }. $$

However,

$$ \frac{1+A\zeta }{1+B\zeta }=1+ ( \mathcal{O}_{1}-\mathcal{O}_{2} ) \zeta +\cdots . $$

Now using Lemma 2, we obtain

$$ \vert d_{k} \vert \leq ( \mathcal{O}_{1}- \mathcal{O}_{2} ) . $$

(3.12)

Putting the series expansions of $h(\zeta )$ and $f(\zeta )$ into (3.11), simplifying, and comparing the coefficients at $\zeta ^{k+p}$ on both sides, we get

$$\begin{aligned}& -q^{p} \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ k+p,q ] \bigr) ^{m} [ p+k,q ] a_{p+k} \\& \quad = [ p,q ] \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ k+p,q ] \bigr) ^{m}a_{p+k} \\& \qquad {} + [ p,q ] \sum_{i=0}^{k-1} \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ p+i,q ] \bigr) ^{m}a_{p+i}d_{k-i}, \end{aligned}$$

and hence

$$\begin{aligned}& - \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ k+p,q ] \bigr) ^{m} \bigl( q^{p} [ p+k,q ] + [ p,q ] \bigr) a_{p+k} \\& \quad = [ p,q ] \sum_{i=1}^{k-1} \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ p+i,q ] \bigr) ^{m}a_{p+i}d_{k-i}. \end{aligned}$$

Now by taking the absolute values of both sides, using the triangle inequality, and then using (3.12), we obtain

$$\begin{aligned}& \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ p+k,q ] \bigr) ^{m} \bigl( q^{p} [ p+k,q ] + [ p,q ] \bigr) \vert a_{p+k} \vert \\& \quad \leq [ p,q ] ( \mathcal{O}_{1}- \mathcal{O}_{2} ) \sum_{i=1}^{k-1} \bigl( 1+ [ p,q ] \mu +\mu q^{p} [ p+i,q ] \bigr) ^{m} \vert a_{p+i} \vert . \end{aligned}$$

Notation (3.10) implies that

$$ \vert a_{p+k} \vert \leq \frac{ [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) }{l ( k ) ( q^{p} [ p+k,q ] + [ p,q ] ) }\sum _{i=0}^{k-1}l ( i ) \vert a_{p+i} \vert . $$

Now for $k=1,2$, and 3, using the fact that $\vert a_{p} \vert =1$, we get the required result. □

Using the notion of subordination, we get the next result on inclusion property of this class.

Theorem 8

Let $-1\leq \mathcal{O}_{4}\leq \mathcal{O}_{2}<\mathcal{O}_{1}\leq \mathcal{O}_{3}\leq 1$, let $\mathcal{D}_{\mu ,q}^{m}f(\zeta )\neq 0$ in $\mathbb{D}$, and let

$$ \frac{1}{\mu [ p,q ] } \biggl( \bigl( 1+ [ p,q ] \mu \bigr) - \frac{\mathcal{D}_{\mu ,q}^{m}f(\zeta )}{\mathcal{D}_{\mu ,q}^{m}f(\zeta )} \biggr) \prec \frac{1+\mathcal{O}_{1}\zeta }{1+\mathcal{O}_{2}\zeta }. $$

(3.13)

Then $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{3},\mathcal{O}_{4} )$.

Proof

For $\mathcal{D}_{\mu ,q}^{m}f(\zeta )\neq 0$ in $\mathbb{D}$, we define the function $p(\zeta )$ by

$$ \frac{-q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }=p( \zeta )\quad (\zeta \in \mathbb{D}). $$

Using identity (1.6), we easily obtain

$$ \frac{1}{\mu [ p,q ] } \biggl( \bigl( 1+ [ p,q ] \mu \bigr) - \frac{\mathcal{D}_{\mu ,q}^{m}f(\zeta )}{\mathcal{D}_{\mu ,q}^{m}f(\zeta )} \biggr) =p(\zeta ). $$

Therefore, using (3.13), we have

$$ \frac{-q^{p}\zeta \partial _{q}\mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }{ [ p,q ] \mathcal{D}_{\mu ,q}^{m}f ( \zeta ) }=p( \zeta )\prec \frac{1+\mathcal{O}_{1}\zeta }{1+\mathcal{O}_{2}\zeta }, $$

and by Lemma 1 we get

$$ \frac{1+A_{1}\zeta }{1+B_{1}\zeta }\prec \frac{1+\mathcal{O}_{3}\zeta }{1+\mathcal{O}_{4}\zeta }, $$

so that $f\in \mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{3},\mathcal{O}_{4} )$. □

Theorem 9

The class $\mathcal{M}_{\mu ,q} ( p,m,\mathcal{O}_{1},\mathcal{O}_{2} )$ is closed under convex combination.

Proof

Let $f_{k} ( \zeta ) \in \mathcal{M}_{\mu ,q} ( p,m, \mathcal{O}_{1},\mathcal{O}_{2} )$ be such that

$$ f_{k} ( \zeta ) =\frac{1}{\zeta ^{p}}+\sum _{k=p+1}^{ \infty }a_{k,i}\zeta ^{k}\quad \text{for }i=1,2\text{ and }\zeta \in \mathbb{D}. $$

(3.14)

We have to show that $F ( \zeta ) =tf_{1} ( \zeta ) + ( 1-t ) f_{2} ( \zeta ) \in \mathcal{M}_{\mu ,q} ( p,m, \mathcal{O}_{1},\mathcal{O}_{2} )$. We have

$$\begin{aligned} F ( \zeta ) =&tf_{1} ( \zeta ) + ( 1-t ) f_{2} ( \zeta ) \\ =&\frac{1}{\zeta ^{p}}+\sum_{k=p+1}^{\infty } \bigl( ta_{1,i}+ ( 1-t ) a_{2,i} \bigr) \zeta ^{k}. \end{aligned}$$

Consider

$$\begin{aligned} \sum_{k=p+1}^{\infty }\alpha _{k} \bigl( ta_{1,i}+ ( 1-t ) a_{2,i} \bigr)&=t\sum _{k=p+1}^{\infty }a_{1,i}+ ( 1-t ) \sum _{k=p+1}^{\infty }a_{2,i} \\ & \leq t [ p,q ] ( \mathcal{O}_{1}- \mathcal{O}_{2} ) + ( 1-t ) [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) \\ &= [ p,q ] ( \mathcal{O}_{1}-\mathcal{O}_{2} ) . \end{aligned}$$

Hence $F ( \zeta ) \in \mathcal{M}_{\mu ,q} ( p,m, \mathcal{O}_{1},\mathcal{O}_{2} )$, which is the desired result. □

4 Conclusions

In this paper, we introduced a subclass of meromorphic multivalent functions in Janowski domain using the idea of q-calculus. Then we characterized these functions with the help of some useful their properties like sufficiency criteria, distortion bounds, coefficient estimates, radius of starlikness, radius of convexity, inclusion property, and convex combinations. These results were supported by some sharp examples and corollaries in particular cases.

We recall the attention of curious readers to the prospect influenced by Srivastava’s [40] newly published survey-cum-expository review paper that the $(\mathfrak{p},q)$-extension would be a relatively minor and unimportant change, as the new parameter $\mathfrak{p}$ is redundant (for details, see Srivastava [40, p. 340]). Furthermore, in light of Srivastava’s recent result [41], the interested reader’s attention is brought to further investigation of the $(k,s)$-extension of the Riemann–Liouville fractional integral.