Applications of fuzzy differential subordination theory on analytic $p$ -valent functions connected with $\mathfrak{q}$-calculus operator

1.   Introduction

Lotfi A. Zadeh published a paper in 1965 ^[1] that developed the theory of fuzzy sets. Fuzzy sets theory was included in 2011 ^[2], in the study of complex-valued functions related to subordination. The connection of this theory with the field of complex analysis was motivated by the many successful attempts of researchers to connect fuzzy sets with established fields of mathematical study. The differential subordination concept was first presented by the writers of ^[3,4]. Fuzzy differential subordination was first proposed in 2012 ^[5]. A publication released in 2017 ^[6] provides a good overview of the evolution of the fuzzy set concept and its connections to many scientific and technical domains. It also includes references to the research done up until that moment in the context of fuzzy differential subordination theory. The research revealed in 2012 ^[7] showed how to adapt the well-established theory of differential subordination to the specific details that characterizes fuzzy differential subordination and provided techniques for analyzing the dominants as well as for providing the best dominants of fuzzy differential subordinations. Also, some researchers applied fuzzy differential subordination to different function classes; see ^[8,9]. After that, the specific Briot–Bouquet fuzzy differential subordinations were taken into consideration for the studies ^[10].

Let $\mathcal{A}_{p}$ ($p$ a positive integer) denote the class of functions of the form:

which are analytic and multivalent (or $p$-valent) in the open unit disk $\mathbf{U}$ given by

For $p = 1$, the class $\mathcal{A}_{p} = \mathcal{A}$ represents the class of normalized analytic and univalent functions in $U$.

Jackson ^[11,12] was the first to employ the $\mathfrak{q}$-difference operator in the context of geometric function theory. Carmichael ^[13], Mason ^[14], Trijitzinsky ^[15], and Ismail et al. ^[16] presented for the first time some features connected to the $\mathfrak{q}$ -difference operator. Moreover, many writers have studied different $\mathfrak{q}$-calculus applications for generalized subclasses of analytic functions; see ^{[17,18,19,20,21,22,23,24,25,26]}.

The Jackson's $\mathfrak{q}$-difference operator $\mathfrak{d}_{\mathfrak{q} }:\mathcal{A}_{p}\rightarrow \mathcal{A}_{p}$ defined by

provided that $\mathfrak{f}^{\prime }(0)$ exists. From (1.1) and (1.2), we deduce that

where

We observe that

The $\mathfrak{q}$-difference operator is subject to the following basic laws:

where $\mathfrak{f}, \hbar \in \mathcal{A}$, and $c$ and $d$ are real or complex constants.

Jackson in ^[12] introduced the $\mathfrak{q}$-integral of $\mathfrak{f}$ as:

and

where $\int_{0}^{\eta }\mathfrak{f}(t)\mathfrak{d}t,$ is the ordinary integral.

The study of linear operators is an important topic for research in the field of geometric function theory. Several prominent scholars have recently expressed interest in the introduction and analysis of such linear operators with regard to $\mathfrak{q}$-analogues. The Ruscheweyh derivative operator's $\mathfrak{q}$-analogue was examined by the writers of ^[27], who also examined some of its properties. It was Noor et al. ^[28] who originally introduced the $\mathfrak{q}$-Bernardi integral operator.

In ^[29], Aouf and Madian investigate the $\mathfrak{q}$-$p$-valent Că tas operator I$_{\mathfrak{q, p}}^{s}(\lambda, \ell):\mathcal{A} _{p}\rightarrow \mathcal{A}_{p}$ $(s\in \mathbb{N}_{0} = \mathbb{N}\cup \{0\}, \ell, \lambda \geq 0$, $0 < \mathfrak{q} < 1, p\in \mathbb{N})$ as follows:

Also, Arif et al. ^[30] introduced the extended $\mathfrak{q}$ -derivative operator $\Re _{\mathfrak{q}}^{\mu +p-1}:\mathcal{A} _{p}\rightarrow \mathcal{A}_{p}$ for $p$-valent analytic functions is defined as follows:

Setting

Now, we define a new function $\mathfrak{G}_{\mathfrak{q, p, }\lambda, \ell }^{s, \mu }(\eta)$ in terms of the Hadamard product (or convolution) by:

Then, motivated essentially by the $\mathfrak{q}$-analogue of the Ruscheweyh operator and the $\mathfrak{q}$-analogue Cătas operator, we now introduce the operator $\mathcal{I}_{\mathfrak{q}, \mu }^{s, p}(\lambda, \ell):\mathcal{A}_{p}\mathbf{\rightarrow }\mathcal{A}_{p}$ defined by

where $s\in \mathbb{N}_{0}, \ell, \lambda \geq 0, \mu > -p, 0 < \mathfrak{q} < 1, p\in \mathbb{N}$. For $\mathfrak{f}\in \mathcal{A}_{p}$ and (1.9), it is clear that

We use (1.10) to deduce the following:

We note that :

$(i)$ If $s = 0$ and $\mathfrak{q}\rightarrow 1^{-}$ the operator defined in (1.10) reduces to the differential operator investigated by Goel and Sohi ^[31], and further, by making $p = 1,$ we get the familiar Ruscheweyh operator ^[32] (see also ^[33]). Also, for more details on the $\mathfrak{q}$-analogue of different differential operators, see the works ^[34,35];

$(ii)$ If we set $\mathfrak{q}\rightarrow 1^{-}, \; p = 1$, we obtain $\mathcal{I}_{ \mathfrak{\lambda }, \ell, \mu }^{s}\mathfrak{f}(\eta)$ that was defined by Aouf and El-Ashwah ^[36];

$(iii)$ If we set $\mu = 0,$ and $\mathfrak{q}\rightarrow 1^{-}$, we obtain $J_{\mathfrak{p}}^{s}(\lambda, \ell)\mathfrak{f}(\eta)$ that was introduced by El-Ashwah and Aouf ^[37];

$(iv)$ If $\mu = 0,$ $\ell = \lambda = 1, \; p = 1$, and $\mathfrak{q}\rightarrow 1^{-}$, we obtain $\mathcal{I}^{s}\mathfrak{f}(\eta)$ that was investigated by Jung et al. ^[38];

$(v)$ If $\mu = 0,$ $\lambda = 1, \ell = 0, \; p = 1$, and $\mathfrak{q}\rightarrow 1^{-}$, we obtain $\mathcal{I}^{s}\mathfrak{f}(\eta)$ that was defined by S ălăgean ^[39];

$(vi)$ If we set $\mu = 0$, $\lambda = 1,$ and $p = 1$, we obtain $\mathcal{I}_{ \mathfrak{q}, s}^{\ell }\mathfrak{f}(\eta)$ that was presented by Shah and Noor ^[40];

$(vii)$ If we set $\mu = 0, \; \lambda = 1, \; p = 1$, and $\mathfrak{q}\rightarrow 1^{-}$, we obtain $J_{\mathfrak{q}, \ell }^{s},$ the Srivastava–Attiya operator; see ^[41,42];

$(vii)$ $\mathcal{I}_{\mathfrak{q}, 0}^{1, 1}(1, 0) = \int_{0}^{\eta}\frac{ \mathfrak{f}(t)}{t}\mathfrak{d}_{\mathfrak{q}}t\ $($\mathfrak{q}$-Alexander operator ^[40]);

$(viii)$ $\mathcal{I}_{\mathfrak{q}, 0}^{1, 1}(1, \ell) = \frac{\left[1+\varrho \right] _{\mathfrak{q}}}{\eta^{\varrho }}\int_{0}^{ \eta }t^{\varrho -1} \mathfrak{f}(t)\mathfrak{d}_{\mathfrak{q}}t\ $($\mathfrak{q}$-Bernardi operator ^[28]);

$(ix)$ $\mathcal{I}_{\mathfrak{q}, 0}^{1, 1}(1, 1) = \frac{\left[2\right] _{ \mathfrak{q}}}{\eta}\int_{0}^{\eta}\mathfrak{f}(t)\mathfrak{d}_{\mathfrak{q} }t\ $($\mathfrak{q}$-Libera operator ^[28]).

We also observe that:

$(i)\; {I}_{\mathfrak{q}, \mu }^{s, p}(1, 0)\mathfrak{f}({\eta }) = {I}_{\mathfrak{q, }\mu }^{s, p}\mathfrak{f}(\eta)$

$(ii)$ ${I}_{\mathfrak{q}, \mu }^{s, p}(1, \ell)\mathfrak{f}(\eta) = {I}_{ \mathfrak{q}, \mu }^{s, p, \ell }\mathfrak{f}(\eta)$

$(iii)$ $\mathcal{I}_{\mathfrak{q}, \mu }^{s, p}(\lambda, 0)\mathfrak{f}(\eta) = \mathcal{I}_{\mathfrak{q}, \mu }^{s, p, \lambda }\mathfrak{f}(\eta)$

2.   Preliminaries

We provide an overview of a number of fundamental ideas that are important to our research.

Definition 2.1. ^[43] A mapping $\mathfrak{F}$ is said to be a fuzzy subset on $\mathfrak{Y}\neq \phi$, if it maps from $\mathfrak{Y}$ to $\left[0, 1\right]$.

Alternatively, it is defined as:

Definition 2.2. ^[43] A pair $\left(\mathbf{U}, \mathfrak{F}_{\mathbf{U} }\right)$ is said to be a fuzzy subset on $\mathfrak{Y}$, where $\mathfrak{F }_{\mathbf{U}}:\mathfrak{Y}\rightarrow \left[0, 1\right]$ is the membership function of the fuzzy set $\left(\mathbf{U}, \mathfrak{F}_{\mathbf{U} }\right)$ and $U$ $= \left\{ x\in \mathfrak{Y}:0 < \mathfrak{F}_{ \mathbf{U}}(x)\leq 1\right\} = \sup \left(\mathbf{U}, \mathfrak{F}_{\mathbf{U} }\right)$ is the support of fuzzy set $\left(\mathbf{U}, \mathfrak{F}_{ \mathbf{U}}\right)$.

Definition 2.3. ^[43] Let $\left(\mathbf{U}_{1}, \mathfrak{F}_{\mathbf{U} _{1}}\right)$ and $\left(\mathbf{U}_{2}, \mathfrak{F}_{\mathbf{U} _{2}}\right)$ be two subsets of $\mathfrak{Y}$. Then, $\left(\mathbf{U} _{1}, \mathfrak{F}_{\mathbf{U}_{1}}\right) \subseteq \left(\mathbf{U}_{2}, \mathfrak{F}_{\mathbf{U}_{2}}\right)$ if and only if $\mathfrak{F}_{\mathbf{ U}_{1}}\left(t\right) \leq \mathfrak{F}_{\mathbf{U}_{2}}\left(t\right)$, $t\in \mathfrak{Y}$, whereas $\left(\mathbf{U}_{1}, \mathfrak{F}_{\mathbf{U} _{1}}\right)$ and $\left(\mathbf{U}_{2}, \mathfrak{F}_{\mathbf{U} _{2}}\right)$ of $\mathfrak{Y}$ are equal if and only if $\mathbf{U}_{1} = \mathbf{U}_{2}$.

The subordination method for two analytic functions $\mathfrak{f}$ and $\mathfrak{h}$ was established by Miller and Mocanu ^[44]. Specifically, if $\mathfrak{f} (\eta) = \mathfrak{h}(\kappa (\eta))$, where $\kappa (\eta)$ is a Schwartz function in $\mathbf{U}$, then, $\mathfrak{f}$ is subordinate to $\mathfrak{h}$, symbolized by $\mathfrak{f}\prec \mathfrak{h}$.

According to Oros ^[5], the subordination technique of analytic functions can be generalized to fuzzy notions as follows:

Definition 2.4. If $\mathfrak{f}(\eta _{0}) = \mathfrak{h}(\eta _{0})\text{ and } \mathfrak{F}\left(\mathfrak{f}\left(\eta \right) \right) \leq \mathfrak{F} \left(\mathfrak{h}\left(\eta \right) \right), \; (\eta \in \mathbf{U}\subset \mathbb{C}),$ where $\eta _{0}\in$$U$ be a fixed point, then $\mathfrak{f}$ is fuzzy subordinate to $\mathfrak{h}$ and is denoted by $\mathfrak{f}\prec _{\mathfrak{F}}\mathfrak{h}$.

Definition 2.5. ^[5] Let $\psi :\mathbb{C}^{3}\times {\mathbb{U}} \rightarrow \mathbb{C}$, and let $\mathfrak{h}$ be univalent in ${ \mathbb{U}}$ If $\omega$ is analytic in ${\mathbb{U}}$ and satisfies the (second-order) fuzzy differential subordination:

i.e.,

then, $\omega$ is called a fuzzy solution of the fuzzy differential subordination. The univalent function $\omega$ is called a fuzzy dominant if $\omega (\eta)\prec _{\mathfrak{F}}\chi (\eta),$ for all $\omega$ satisfying (2.1). A fuzzy dominant $\widetilde{\chi }$ that satisfies $\widetilde{\chi }(\eta)\prec _{\mathfrak{F}}\chi (\eta)$ for all fuzzy dominant $\chi$ of (2.1) is said to be the fuzzy best dominant of (2.1).

Using the concept of fuzzy subordination, certain special classes are next defined.

The class of analytic functions $\mathfrak{h}\left(\eta \right)$ that are univalent convex functions in $\mathbf{U}$ with $\mathfrak{h}\left(0\right) = 1$ and Re$\left(\mathfrak{h}\left(\eta \right) \right) > 0$ is denoted by $\Omega$. We define the following for $\mathfrak{h}(\eta)\in \Omega$, $\mathfrak{F}:\mathbb{C}\rightarrow \left[0, 1\right]$, $s\in \mathbb{N} _{0}, \; \ell, \; \lambda \geq 0, \; \mu > -p, \; 0 < \mathfrak{q} < 1$, and $p\in \mathbb{N}$:

Definition 2.6. When $\mathfrak{f}\in \mathcal{A}_{p}$, we say that $\mathfrak{f} \in \mathfrak{F}\mathcal{M}_{\gamma }^{p}\left(\mathfrak{h}\right)$ if and only if

Furthermore,

and

It is noted that

Particularly, for $\mathfrak{h}\left(\mathcal{\eta }\right) = \frac{1+ \mathcal{\eta }}{1-\mathcal{\eta }}$, the classes $\mathfrak{F}\mathcal{CV} _{p}\left(\mathfrak{h}\right)$ and $\mathfrak{F}\mathcal{ST}_{p}\left(\mathfrak{h}\right)$ reduce to the classes $\mathfrak{F}\mathcal{CV}_{p}$, and $\mathfrak{F}\mathcal{ST}_{p}$, of the fuzzy $p$-valent convex and fuzzy $p$-valent starlike functions, respectively.

With the operator $\mathcal{I}_{\mathfrak{q}, \mu }^{s, p}(\lambda, \ell)$, specified by (1.10), certain new classes of fuzzy $p$-valent functions are defined as follows:

Definition 2.7. Let $\mathfrak{f}\in \mathcal{A}_{p}, \ell, \lambda \geq 0, \mu > -p, 0 < \mathfrak{q} < 1$, $p\in \mathbb{N}$ and $s$ be a real. Then,

and

It is clear that

Particularly, if $s = 0, \; \mu = 1$, then $\mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma, \lambda, \ell; \mathfrak{h}\right) = \mathfrak{F} \mathcal{M}_{\gamma }^{p}\left(\mathfrak{h}\right)$, $\mathfrak{F}\mathcal{ ST}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma, \lambda, \ell; \mathfrak{h} \right) = \mathfrak{F}\mathcal{ST}_{p}\left(\mathfrak{h}\right)$, and $\mathfrak{F}\mathcal{CV}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma, \lambda, \ell; \mathfrak{h}\right) =$ $\mathfrak{F}\mathcal{CV}_{p}\left(\mathfrak{h }\right)$. Moreover, if $p = 1$, then the classes $\mathfrak{F}\mathcal{M} _{\gamma }^{p}\left(\mathfrak{h}\right)$, $\mathfrak{F}\mathcal{ST} _{p}\left(\mathfrak{h}\right)$, and $\mathfrak{F}\mathcal{CV}_{p}\left(\mathfrak{h}\right)$ reduce to the classes $\mathfrak{F}\mathcal{M}_{\gamma }\left(\mathfrak{h}\right)$, $\mathfrak{F}\mathcal{ST}\left(\mathfrak{h} \right)$, and $\mathfrak{F}\mathcal{CV}\left(\mathfrak{h}\right)$ studied in ^[45].

In the first part of this investigation, the goal is to establish certain inclusion relations between the classes seen in Definitions 5 and 7 using the properties of fuzzy differential subordination and then to obtain connections between the newly introduced subclasses by applying a new generalized $\mathfrak{q}$-calculus operator, which will be defined in the second part of this study. This research follows the line established by recent publications like ^[46,47,48].

3.   Main results

The proofs of the main results require the following lemma:

Lemma 3.1. ^[47] Let $r_{1}$, $r_{2}\in \mathbb{C}$, $r_{1}\neq 0$, and a convex function $\mathfrak{h}$ satisfies

If $\mathfrak{g}$ is analytic in $\mathbf{U}$ with $\mathfrak{g}(0) = \mathfrak{h}(0)$, and $\Omega \left(\mathfrak{g}(t), t\mathfrak{d}_{ \mathfrak{q}}\mathfrak{g}(t); t\right) = \mathfrak{g}(t)+\frac{t\mathfrak{d}_{ \mathfrak{q}}\mathfrak{g}(t)}{r_{1}\mathfrak{g}(t)+r_{2}}$ is analytic in $\mathbf{U}$ with $\Omega \left(\mathfrak{h}(0), 0;0\right) = \mathfrak{h}(0)$, then,

implies

3.1.   Inclusion properties

In this section, we are going to discuss some inclusion properties for the classes defined above.

Theorem 3.1. Let $\mathfrak{h}\in \Omega$, $0\leq \gamma \leq 1, \ell, \lambda \geq 0, \mu > -p, 0 < \mathfrak{q} < 1, p\in \mathbb{N}$, and $s$ be a real. Then,

Proof. Let $\mathfrak{f}\in \mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma, \lambda, \ell; \mathfrak{h}\right)$, and let

with $\mathfrak{\chi }(\mathfrak{\eta })$ being analytic in $\mathbf{U}$ and $\mathfrak{\chi }(0) = 1$.

We take logarithmic differentiation of (2.1) to get

Equivalently,

Since $\mathfrak{f}\in \mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma, \lambda, \ell; \mathfrak{h}\right)$, from $\left(2.1\right)$ and $\left(3.2\right)$, we get

We obtain $\mathfrak{\chi }(\mathfrak{\eta })\prec _{\mathfrak{F}}\mathfrak{h }\left(\mathfrak{\eta }\right)$ by applying (3.3) and Lemma 3.1. Hence, $\mathfrak{f}\in \mathfrak{F}\mathcal{ST}_{\mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h}\right)$. □

Corollary 3.1. $\mathfrak{F}M_{\mathfrak{q}, \mu }^{s}\left(\lambda, \ell; \mathfrak{h}\right) \subset \mathfrak{F}\mathcal{ST}_{\mathfrak{q}, \mu }^{s}\left(\lambda, \ell; \mathfrak{h}\right),$if $p = 1.$ Furthermore, if $s = 0, \ \mu = 1$, we obtain $\mathfrak{F}\mathcal{M}_{\gamma }\left(\mathfrak{h} \right) \subset \mathfrak{F}\mathcal{ST}\left(\mathfrak{h}\right)$, and if $\gamma = 1$, then $\mathfrak{F}\mathcal{CV}\left(\mathfrak{h}\right) \subset \mathfrak{F}\mathcal{ST}\left(\mathfrak{h}\right)$. Additionally, for $\mathfrak{h}(\mathfrak{\eta }) = \frac{1+\mathfrak{\eta }}{1-\mathfrak{\eta }}$, we obtain $\mathfrak{F}\mathcal{CV}\subset \mathfrak{F}\mathcal{ST}$.

Theorem 3.2. Let $\mathfrak{h}\in \Omega$, $\gamma > 1, \ell, \; \lambda \geq 0, \; \mu > -p, \; 0 < \mathfrak{q} < 1$, $p\in \mathbb{N},$ and $s$ be a real. Then,

Proof. Let $\mathfrak{f}\in \mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma, \lambda, \ell; \mathfrak{h}\right)$. Then, by definition, we write

Now,

This implies

Since $p_{1}, p_{2}\prec _{\mathfrak{F}}\mathfrak{h}\left(\mathfrak{\eta } \right)$, $\frac{\mathfrak{d}_{\mathfrak{q}}\left(\mathfrak{\eta d}_{ \mathfrak{q}}\left(\mathcal{I}_{\mathfrak{q}, \mu }^{s, p}(\lambda, \ell) \mathfrak{f}(\mathfrak{\eta })\right) \right) }{[p]_q\mathfrak{\eta d}_{ \mathfrak{q}}\mathcal{I}_{\mathfrak{q}, \mu }^{s, p}(\lambda, \ell)\mathfrak{f }(\mathfrak{\eta)}}\prec _{\mathfrak{F}}\mathfrak{h}\left(\mathfrak{\eta } \right)$. This is the expected outcome. □

In particular, if $p = 1$, we get $\mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s}\left(\gamma, \lambda, \ell; \mathfrak{h}\right) \subset \mathfrak{F} \mathcal{CV}_{\mathfrak{q}, \mu }^{s}\left(\gamma, \lambda, \ell; \mathfrak{h }\right)$. Additionally, when $s = 0, \ \mu = 1$, we have $\mathfrak{F}\mathcal{M }_{\gamma }\left(\mathfrak{h}\right) \subset \mathfrak{F}\mathcal{CV}\left(\mathfrak{h}\right)$, and considering $\mathfrak{h}(\mathfrak{\eta }) = \frac{ 1+\mathfrak{\eta }}{1-\mathfrak{\eta }}$, we obtain $\mathfrak{F}\mathcal{M} _{\gamma }^{p}\subset \mathfrak{F}\mathcal{CV}$.

Theorem 3.3. Let $\mathfrak{h}\in \Omega$, $0\leq \gamma _{1} < \gamma _{2} < 1, \; \ell, \; \lambda \geq 0, \; \mu > -p, \; 0 < \mathfrak{q} < 1$, $p\in \mathbb{N},$ and $s$ be a real number. Then,

Proof. For $\gamma _{1} = 0$, it is obviously true, based on the preceding theorem.

Let $\mathfrak{f}\in \mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma _{2}, \lambda, \ell; \mathfrak{h}\right)$. Then, by definition, we have

Now, we can easily write

where we have used (3.4), and $\frac{\mathfrak{\eta d}_{\mathfrak{q} }\left(\mathcal{I}_{\mathfrak{q}, \mu }^{s, p}(\lambda, \ell)\mathfrak{f}(\mathfrak{\eta })\right) }{\left[p\right] _{\mathfrak{q}}\mathcal{I}_{ \mathfrak{q}, \mu }^{s, p}(\lambda, \ell)\mathfrak{f}(\mathfrak{\eta)}} = \mathfrak{g}_{2}(\mathfrak{\eta })\prec _{\mathfrak{F}}\mathfrak{h}\left(\mathfrak{\eta }\right)$. Since $\mathfrak{g}_{1}, \mathfrak{g}_{2}\prec _{ \mathfrak{F}}\mathfrak{h}\left(\mathfrak{\eta }\right)$, (3.5) implies

This proves the theorem. □

Remark 3.1. If $\gamma _{2} = 1$, and $\mathfrak{f}\in \mathfrak{F}\mathcal{M}_{ \mathfrak{q}, \mu }^{s, p}\left(1, \lambda, \ell; \mathfrak{h}\right) = \mathfrak{F}\mathcal{CV}_{\mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h}\right)$, then the previously proved result shows that

Consequently, by using Theorem 3.1, we get $\mathfrak{F}\mathcal{CV}_{ \mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h}\right) \subset \mathfrak{F}\mathcal{ST}_{\mathfrak{q}, \mu }^{s, p}\left(1, \lambda, \ell; \mathfrak{h}\right)$.

Now, certain inclusion results are discussed for the subclasses given by Definition 2.1.

Theorem 3.4. Let $\mathfrak{h}\in \Omega$, $\ell, \; \lambda \geq 0, \; \mu > -p, \; 0 < \mathfrak{q} < 1$, $p\in \mathbb{N},$ and $s$ be a real with $\left[\ell +p\right] _{\mathfrak{q}} > \lambda \mathfrak{q}^{\ell }.$ Then,

Proof. Let $\mathfrak{f}\in \mathfrak{F}\mathcal{ST}_{\mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h}\right)$. Then,

Now, we set

with analytic $\mathfrak{P}(\mathfrak{\eta })$ in $\mathbf{U}$ and $\mathfrak{P}(0) = 1$.

From (1.11) and (3.6), we get

equivalently,

where $\xi _{\mathfrak{q}, p} = \frac{1}{\left[p\right] _{\mathfrak{q}}}\left(\frac{\left[\ell +p\right] _{\mathfrak{q}}}{\lambda \mathfrak{q}^{\ell }} -1\right)$.

On $\mathfrak{q}$-logarithmic differentiation yields,

Since $\mathfrak{f}\in \mathfrak{F}\mathcal{ST}_{\mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h}\right)$, (3.7) implies

We conclude that $\mathfrak{P}(\mathfrak{\eta })\prec _{\mathfrak{F}} \mathfrak{h}\left(\mathfrak{\eta }\right)$ by applying (3.8) and Lemma 3.1. Hence, $\mathfrak{f}\in \mathfrak{F}\mathcal{ST}_{\mathfrak{q }, \mu }^{s+1, p}\left(\lambda, \ell; \mathfrak{h}\right).$ To prove the first part, let $\mathfrak{f}\in \mathfrak{F}\mathcal{ST}_{\mathfrak{q}, \mu +1}^{s, p}\left(\lambda, \ell; \mathfrak{h}\right)$, and set

where $\chi$ is analytic in $\mathbf{U}$ with $\chi (0) = 1$. Then, it follows $\chi \prec _{\mathfrak{F}}\mathfrak{h}\left(\mathfrak{\eta } \right)$ that by applying the same arguments as those described before with (1.12). Theorem 3.4's proof is now complete. □

Theorem 3.5. Let $\mathfrak{h}\in \Omega$, $\ell, \lambda \geq 0, \mu > -p, 0 < \mathfrak{q} < 1$, $p\in \mathbb{N}$, and $s$ be a real. Then,

Proof. Let $\mathfrak{f}\in \mathfrak{F}\mathcal{CV}_{\mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h}\right)$. Applying (2.3), we show that

We can demonstrate the first part using arguments similar to those described above. Theorem 3.5's proof is now complete. □

3.2.   Properties involving integral operator.

For $\mathfrak{f}(\mathfrak{\eta })\in \mathcal{A}_{p}\mathbf{, }$ the generalized $(p, \mathfrak{q})$-Bernardi integral operator for $p$-valent functions $\mathfrak{B}_{n, \mathfrak{q}}^{p}\mathfrak{f}(\mathfrak{\eta }): \mathcal{A}_{p}\rightarrow \mathcal{A}_{p}$ is defined by

where $\mathfrak{B}_{1, \mathfrak{q}}^{p}\mathfrak{f}(\mathfrak{\eta })$ is given by

From $\mathfrak{B}_{1, \mathfrak{q}}^{p}\mathfrak{f}(\mathfrak{\eta }),$ we deduce that

and

which are defined in ^[49].

If $n = 1,$ we obtain the $\mathfrak{q}$-Bernardi integral operator for a $p$ -valent function ^[50].

Theorem 3.6. Let $\mathfrak{f}\in \mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma, \lambda, \ell; \mathfrak{h}\right)$, and define

Then, $\mathfrak{B}_{\mathfrak{q}, \varrho }^{p}\in \mathfrak{F}\mathcal{ST}_{ \mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h}\right)$.

Proof. Let $\mathfrak{f}\in \mathcal{M}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma, \lambda, \ell; \mathfrak{h}\right)$, and $\mathfrak{B}_{\mathfrak{q}, \mu, \varrho }^{s, p}(\lambda, \ell)(\mathfrak{\eta }) = \mathcal{I}_{\mathfrak{q}, \mu }^{s, p}(\lambda, \ell)\left(\mathfrak{B}_{\mathfrak{q}, \varrho }^{p}(\mathfrak{\eta })\right)$. We assume

where $\mathfrak{N}(\mathfrak{\eta })$ is analytic in $\mathbf{U}$ with $\mathfrak{N}(0) = 1$.

From (3.10), we obtain

This implies

We use (3.11), (3.12), and (1.10), to obtain

We use logarithmic differentiation to obtain

Since $\mathfrak{f}\in \mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s, p}\left(\gamma, \lambda, \ell; \mathfrak{h}\right) \subset \mathfrak{F} \mathcal{ST}_{\mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h} \right)$, (3.13) implies

The intended outcome follows from applying Lemma 3.1. □

When $p = 1$, the following corollary can be stated:

Corollary 3.2. Let $\mathfrak{f}\in \mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s}\left(\gamma, \lambda, \ell; \mathfrak{h}\right)$, and define

Then, $\mathfrak{B}_{\mathfrak{q}, \varrho }\mathfrak{f}(\mathfrak{\eta })\in \mathfrak{F}\mathcal{ST}_{\mathfrak{q}, \mu }^{s}\left(\lambda, \ell; \mathfrak{h}\right)$.

4.   Conclusions

The means of the fuzzy differential subordiantion theory are employed in order to introduce and initiate investigations on certain subclasses of multivalent functions. The $\mathfrak{q}$-$p$-analogue multiplier-Ruscheweyh operator $\mathcal{I}_{\mathfrak{q}, \mu }^{s, p}(\lambda, \ell)$ is developed using the notion of a $\mathfrak{q}$-difference operator and the concept of convolution. The $\mathfrak{q}$-analogue of the Ruscheweyh operator and the $\mathfrak{q}$-$p$-analogue of the Cătas operator are further used to introduce a new operator applied for defining particular subclasses. In the second section, we obtained some inclusion properties between the classes $\mathfrak{F}\mathcal{M}_{\mathfrak{q}, \mu }^{s, p}\gamma, \lambda, \ell; \mathfrak{h)},$ $\mathfrak{F}\mathcal{ST}_{\mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h}\right)$, and $\mathfrak{F}\mathcal{ CV}_{\mathfrak{q}, \mu }^{s, p}\left(\lambda, \ell; \mathfrak{h}\right)$. The investigations concern the $(p, \mathfrak{q})$-Bernardi integral operator for the $p$-valent function preservation property and certain inclusion outcomes for the newly defined classes. Another new generalized $\mathfrak{q}$-calculus operator is defined in this investigation that helps establish connections between the classes introduced and investigated in this study. For instance, many researchers used fuzzy theory in different branches of mathematics ^{[51,52,53,54]}.

This work is intended to motivate future studies that would contribute to this direction of study by developing other generalized subclasses of $\mathfrak{q}$-close-to-convex and quasi-convex multivalent functions as well as by presenting other generalized $\mathfrak{q}$-calculus operators.

Author contributions

Ekram E. Ali1, Georgia Irina Oros, Rabha M. El-Ashwah and Abeer M. Albalahi: conceptualization, methodology, validation, formal analysis, formal analysis, writing-review and editing; Ekram E. Ali1, Rabha M. El-Ashwah and Abeer M. Albalahi: writing-original draft preparation; Ekram E. Ali1 and Georgia Irina Oros: supervision; Ekram E. Ali1: project administration; Georgia Irina Oros: funding acquisition. All authors have read and approved the final version of the manuscript for publication.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

The publication of this paper was supported by University of Oradea, Romania.

Conflicts of interest

The authors declare that they have no conflicts of interest.