Approximate solutions of Atangana-Baleanu variable order fractional problems

1.   Introduction

Let $\mathcal{H}_{p}\ $denote the family of analytic functions of the following form:

which are $p$-valent (multivalent of order $p$) in $\Delta = \left\{ x\in \mathbb{C}:\left\vert x\right\vert < 1\right\}$ with $\mathcal{H}_{1} = \mathcal{H}$ and also, the subfamily of $\mathcal{H}$ consisting of univalent (one-to-one) functions in $\Delta$ is denoted by $\mathcal{U}$. We denote by $\mathcal{K}$ and $\mathcal{S}^{\ast }$ the usual subclasses of $\mathcal{U}$ consisting of functions that are, respectively, bounded turning and starlike in $\Delta$, and have the following geometric inequalities: $\Re \left\{ \varphi ^{\prime }\left(x\right) \right\} > 0$ and $\Re \left\{ x\varphi ^{\prime }\left(x\right) /\varphi \left(x\right) \right\} > 0$. Singh ^[21] introduced an important subfamily of $\mathcal{U}$ denoted by $\mathcal{B}^{\alpha }$ that consists of Bazilevi č functions with the next inequality:

for a non-negative real number $\alpha$. He noted in his work, that the cases $\alpha = 0$ and $\alpha = 1$ correspond to $\mathcal{S}^{\ast }$ and $\mathcal{K}$, respectively. In ^[14], Obradovic introduced and studied the well-known subfamily of non-Bazilevič functions, that is,

Recently, several research papers have appeared on subfamilies related to Bazilevič functions, non-Bazilevič functions that are sometimes defined by linear operators, and their generalizations (see, for example, ^{[7,20,22,23,24,27,28]}).

Let $\mathcal{Q}_{k}\left(\sigma \right)$ denote the family of analytic functions $g\left(x\right)$ of the form:

satisfying the following inequality

where $k\geq 2$, $0\leq \sigma < 1$, and $x = re^{i\theta }\in \Delta$. The family $\mathcal{Q}_{k}\left(\sigma \right)$ was introduced and studied by Padmanabhan and Parvatham ^[17]. For $\sigma = 0$, we obtain the family $\mathcal{Q}_{k}\left(0\right) = \mathcal{Q}_{k}$ that was introduced by Pinchuk ^[18].

Remark 1. For $g\left(x\right) \in \mathcal{Q}_{k}\left(\sigma \right)$, we can write

where $\mu \left(s\right)$ is a function with bounded variation on $\left[0, 2\pi \right]$ such that

Since $\mu \left(s\right)$ has a bounded variation on $\left[0, 2\pi \right]$, we may put $\mu \left(s\right) = A\left(s\right) -B\left(s\right)$, where $A\left(s\right)$ and $B\left(s\right)$ are two non-negative increasing functions on $\left[0, 2\pi \right]$ satisfying (1.5). Thus, if we set $A\left(s\right) = \frac{k+2}{4}\mu _{1}\left(s\right)$ and $B\left(s\right) = \frac{k-2}{4}\mu _{2}\left(s\right)$, then (1.4) becomes

Now, using Herglotz-Stieltjes formula for the family $\mathcal{Q}\left(\sigma \right)$ of analytic functions with positive real part greater than $\sigma$ and (1.6), we obtain

where $g_{1}\left(x\right), g_{2}\left(x\right) \in \mathcal{Q}\left(\sigma \right)$. Also, we have here $\mathcal{Q}\left(0\right) = \mathcal{Q}$, where $\mathcal{Q}$ is the family of analytic functions $g\left(x\right)$ in $\Delta$ with $\Re \left\{ g\left(x\right) \right\} > 0$.

Remark 2. It is well-known from ^[13] that the family $\mathcal{Q} _{k}\left(\sigma \right)$ is a convex set.

Remark 3. For $0\leq \sigma _{1} < \sigma _{2} < 1,$ we have $\mathcal{Q} _{k}\left(\sigma _{2}\right) \subset \mathcal{Q}_{k}\left(\sigma _{1}\right)$ (see ^[6]).

In recent years, researchers have been using the family $\mathcal{Q}_{k}\left(\sigma \right)$ of analytic functions associated with bounded boundary rotation in various branches of mathematics very effectively, especially in geometric function theory (GFT). For further developments and discussion about this family, we can obtain selected articles produced by some mathematicians like ^{[1,4,5,8,12,25]} and many more.

Now, using the family $\mathcal{Q}_{k}\left(\sigma \right)$, we introduce the subfamily $\mathcal{BN}_{p, k}^{\alpha, \beta }\left(\lambda, \sigma \right)$ of $p$-valent Bazilevič and non-Bazilevič functions of $\mathcal{H}_{p}$ as the following definition:

Definition 1. A function $\varphi \in \mathcal{H}_{p}$ is said to be in the subfamily $\mathcal{BN}_{p, k}^{\alpha, \beta }\left(\lambda, \sigma \right)$ if it satisfies the following condition:

which is equivalent to

where $\alpha, \beta \geq 0$; $\alpha +\beta \geq 0$; $\lambda > 0$; $k\geq 2$; $0\leq \sigma < 1$; $x\in \Delta$; and all powers are principal ones.

Example 1. Let $\varphi \left(x\right) :\Delta \rightarrow \mathbb{C}$ be an analytic function given by

Clearly $\varphi \left(x\right) \in \mathcal{H}_{p}$ (with all powers being principal ones). After some calculations, we find that

Now, if $x = re^{i\theta }\left(0\leq r < 1\right)$, then

and

Hence, $\varphi \left(x\right)$ belongs to the subfamily $\mathcal{BN} _{p, k}^{\alpha, \beta }\left(\lambda, \sigma \right)$, and it is not empty.

By specializing the parameters $\alpha$, $\beta$, $\lambda$, $p$, $k$, and $\sigma$ involved in Definition 1, we get the following subfamilies, which were studied in many earlier works:

(ⅰ) For $k = 2$, $\beta = 0$ and $\sigma = \frac{1-L}{1-M}\left(-1\leq M < L\leq 1\right)$, we have $\mathcal{BN}_{2, p}^{\alpha, 0}\left(\lambda, \frac{1-L}{1-M}\right) = \mathcal{B}_{p}^{\alpha }\left(\lambda, L, M\right)$

where $\prec$ denotes the usual meaning of subordination, $\mathcal{B} _{p}^{\alpha }\left(\lambda, L, M\right)$ is a subfamily of multivalently Bazilevič functions introduced by Liu ^[10] and $\mathcal{B} _{p}^{\alpha }\left(1, L, M\right) = \mathcal{B}_{p}^{\alpha }\left(L, M\right)$

where the subfamily $\mathcal{B}_{p}^{\alpha }\left(L, M\right)$ was introduced by Yang ^[30];

(ⅱ) $\mathcal{BN}_{2, 1}^{\alpha, 0}\left(1, \frac{1-L}{1-M} \right) = \mathcal{B}^{\alpha }\left(L, M\right)$

where the subfamily $\mathcal{B}^{\alpha }\left(L, M\right)$ was studied by Singh ^[21] (see also Owa and Obradovic ^[15]);

(ⅲ) $\mathcal{BN}_{2, 1}^{\alpha, 0}\left(1, \sigma \right) = \mathcal{B}^{\alpha }\left(\sigma \right)$

where the family $\mathcal{B}^{\alpha }\left(\sigma \right)$ was considered by Owa ^[16];

(ⅳ) For $k = 2$, $\alpha = 0$ and $\sigma = \frac{1-L}{1-M}\left(-1\leq M < L\leq 1\right)$, we have $\mathcal{BN}_{2, p}^{0, \beta }\left(\lambda, \frac{1-L}{1-M}\right) = \mathcal{N}_{p}^{\beta }\left(\lambda, L, M\right)$

where $\mathcal{N}_{p}^{\beta }\left(\lambda, L, M\right)$ is the family of non-Bazilevič multivalent functions introduced by Aouf and Seoudy ^[3], and $\mathcal{N}_{1}^{\beta }\left(\lambda, L, M\right) = \mathcal{N}^{\beta }\left(\lambda, L, M\right)$

where $\mathcal{N}^{\beta }\left(\lambda, L, M\right)$ is the subclass of non-Bazilevič univalent functions defined by Wang et al. ^[29];

(ⅴ) $\mathcal{BN}_{2, 1}^{0, \beta }\left(-1, \sigma \right) = \mathcal{N}^{\beta }\left(\sigma \right)$

where $\mathcal{N}^{\beta }\left(\sigma \right)$ is the family of non-Bazilevič functions of order $\sigma$ (see Tuneski and Daus ^[26]) and $\mathcal{N}^{\beta }\left(0\right) = \mathcal{N}^{\beta }$

where $\mathcal{N}^{\beta }$ is the family of non-Bazilevič functions (see Obradovic ^[14]).

Also, we note that

(ⅰ) $\mathcal{BN}_{k, p}^{\alpha, 0}\left(\lambda, \sigma \right) = \mathcal{B}_{k, p}^{\alpha }\left(\lambda, \sigma \right)$

and $\mathcal{B}_{k, 1}^{\alpha }\left(\lambda, \sigma \right) = \mathcal{B} _{k}^{\alpha }\left(\lambda, \sigma \right)$

(ⅱ) $\mathcal{BN}_{k, p}^{0, \beta }\left(\lambda, \sigma \right) = \mathcal{N}_{k, p}^{\beta }\left(\lambda, \sigma \right)$

and $\mathcal{N}_{k, 1}^{\beta }\left(\lambda, \sigma \right) = \mathcal{N} _{k}^{\beta }\left(\lambda, \sigma \right)$

(ⅲ) $\mathcal{BN}_{k, p}^{1, 0}\left(\lambda, \sigma \right) = \mathcal{B}_{k, p}\left(\lambda, \sigma \right)$

and $\mathcal{B}_{k, 1}\left(\lambda, \sigma \right) = \mathcal{B}_{k}\left(\lambda, \sigma \right)$

(ⅳ) $\mathcal{BN}_{k, p}^{0, 1}\left(\lambda, \sigma \right) = \mathcal{N}_{k, p}\left(\lambda, \sigma \right)$

and $\mathcal{N}_{k, 1}\left(\lambda, \sigma \right) = \mathcal{N}_{k}\left(\lambda, \sigma \right)$

(ⅴ) $\mathcal{BN}_{k, p}^{\alpha, 0}\left(1, \sigma \right) = \mathcal{B}_{k, p}^{\alpha }\left(\sigma \right)$

and $\mathcal{B}_{k, 1}^{\alpha }\left(\sigma \right) = \mathcal{B} _{k}^{\alpha }\left(\sigma \right)$

(ⅵ) $\mathcal{BN}_{k, p}^{0, \beta }\left(-1, \sigma \right) = \mathcal{N}_{k, p}^{\beta }\left(\sigma \right)$

and $\mathcal{N}_{k, 1}^{\beta }\left(\sigma \right) = \mathcal{N}_{k}^{\beta }\left(\sigma \right)$

(ⅶ) $\mathcal{B}_{k, p}^{0}\left(\sigma \right) = \mathcal{S} _{k, p}\left(\sigma \right)$

and $\mathcal{S}_{k, 1}\left(\sigma \right) = \mathcal{S}_{k}\left(\sigma \right)$

To prove our main results, the next lemmas will be required in our investigation.

Lemma 1. ^[11] Let $\gamma = \gamma _{1}+i\gamma _{2}$ and $\delta = \delta _{1}+i\delta _{2}$ and $\Theta \left(\gamma, \delta \right)$ be a complex-valued function satisfying the next conditions:

(ⅰ) $\Theta \left(\gamma, \delta \right)$ is continuous in a domain $D\in \mathbb{C}^{2}$.

(ⅱ) $\left(0, 1\right) \in D$ and $\Theta \left(1, 0\right) > 0$.

(ⅲ) $\Re \left\{ \Theta \left(i\gamma _{2}, \delta _{1}\right) \right\} > 0$ whenever $\left(i\gamma _{2}, \delta _{1}\right) \in D$ and $\delta _{1}\leq -\frac{1+\gamma _{2}^{2}}{2}$.

If $g(x)$ given by (1.2) is analytic in $\Delta$ such that $\left(g\left(x\right), x g^{\prime }(x)\right) \in D$ and $\Re \left\{ \Theta \left(g\left(x\right), x g^{\prime }(x)\right) \right\} > 0$ for $x\in \Delta$, then $\Re \left\{ g\left(x\right) \right\} > 0$ in $\Delta$.

Lemma 2. [2, Theorem 5 with $p = 1$] If $g(x)\in \mathcal{Q}_{k}\left(\sigma \right)$ is given by (1.2), then

This result is sharp.

Remark 4. For $\sigma = 0$ in Lemma 2, we get the result for the family $\mathcal{Q}_{k}$ obtained by Goswami et al. ^[9].

In the present article, we have combined Bazilevič and non-Bazilevič analytic functions into a new family $\mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda, \sigma \right)$ associated with a bounded boundary rotation. In the next section, several properties like inclusion results, some connections with the generalized Bernardi-Libera-Livingston integral operator, and the upper bounds for$\ \left\vert b_{p+1}\right\vert$ and $\left\vert b_{p+2}+\frac{\alpha -\beta -1}{2}b_{p+1}^{2}\right\vert$ for this family $\mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda, \sigma \right)$ and its special subfamilies are investigated. The motivation of this article is to generalize and improve previously known works.

2.   Main results

Theorem 1. If $\varphi \in \mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda, \sigma \right)$, then

where $\sigma _{1}$ is given by

Proof. Let $\varphi \in \mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda, \sigma \right)$ and set

where $g_{i}\left(x\right)$ is analytic in $\Delta$ with $g_{i}\left(0\right) = 1$, $i = 1, 2$. Differentiating (2.3) with respect to $x$, we obtain

this implies that

We form the functional $\Theta \left(\gamma, \delta \right)$ by choosing $\gamma = g_{i}(x)$, $\delta = x g_{i}^{\prime }\left(x\right)$,

Clearly, the first two conditions of Lemma 1 are satisfied. Now, we verify the condition (ⅲ) of Lemma 1 as follows:

where

We note that $\Re \left\{ \Theta \left(i\gamma _{2}, \delta _{1}\right) \right\} < 0$ if and only if $A = 0$, $B < 0$, and $C > 0$, and this gives us

Since $B = -\lambda \left(1-\sigma _{1}\right) < 0$ gives us $0\leq \sigma _{1} < 1$. Therefore, applying Lemma 1, $g_{i}\left(x\right) \in \mathcal{Q}\left(i = 1, 2\right)$ and consequently $g\left(x\right) \in \mathcal{Q}_{k}\left(\sigma _{1}\right) \ $for $x\in \Delta$. This completes the proof of Theorem 1. □

Putting $\beta = 0$ in Theorem 1, we obtain the next result.

Corollary 1. If $\varphi \in \mathcal{B}_{k, p}^{\alpha }\left(\lambda, \sigma \right)$, then

where $\sigma _{2}$ is given by

Putting $\alpha = 0$ in Theorem 1, we get the following result.

Corollary 2. If $\varphi \in \mathcal{N}_{k, p}^{\beta }\left(\lambda, \sigma \right)$, then

where $\sigma _{3}$ is given by

Theorem 2. If $\varphi \in \mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda, \sigma \right)$, then

where $\sigma _{4}$ is given by

Proof. Let $\varphi \in \mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda, \sigma \right)$ and let

where $g_{i}\left(x\right)$ is analytic in $\Delta$ with $g_{i}\left(0\right) = 1$, $i = 1, 2$. Differentiating both sides of (2.6) with respect to $x$, we obtain

this implies that

We form the functional $\Theta \left(\gamma, \delta \right)$ by choosing $\gamma = g_{i}(x)$, $\delta = x g_{i}^{\prime }\left(x\right)$,

Clearly, the conditions (ⅰ) and (ⅱ) of Lemma 1 are satisfied. Now, we verify the condition (ⅲ) of Lemma 1 as follows:

where

We note that $\Re \left\{ \Theta \left(i\gamma _{2}, \delta _{1}\right) \right\} < 0$ if and only if $A = 0$, $B < 0$, and $C > 0$, and this gives us $\sigma _{4}$ as given by (2.5), and $B < 0$ gives us $0\leq \sigma _{4} < 1$. Therefore, applying Lemma 1, $g_{i}\left(x\right) \in \mathcal{Q}$ ($i = 1, 2$), and consequently $g\left(x\right) \in \mathcal{Q}_{k}\left(\sigma _{4}\right) \ $for $x\in \Delta$. This completes the proof of Theorem 2. □

Putting $\beta = 0$ in Theorem 2, we obtain the following.

Corollary 3. If $\varphi \in \mathcal{B}_{k, p}^{\alpha }\left(\lambda, \sigma \right)$, then

where $\sigma _{5}$ is given by

Putting $\alpha = 0$ in Theorem 2, we obtain the following.

Corollary 4. If $\varphi \in \mathcal{N}_{k, p}^{\beta }\left(\lambda, \sigma \right),$ then

where $\sigma _{6}$ is given by

For a function $\varphi \in \mathcal{H}_{p}$, the generalized Bernardi-Libera-Livingston integral operator $\Phi _{p, \mu }:\mathcal{H} _{p}\rightarrow \mathcal{H}_{p}$, with $\mu > -p$, is given by (see ^[19])

It is easy to verify that for all $\varphi \in \mathcal{H}_{p}$ given by (1.2), we have

Theorem 3. If the function $\varphi \in \mathcal{H}_{p}$ satisfies the next condition

with $\Phi _{p, \mu }$ is the integral operator defined by (2.7), then

where $\sigma _{7}$ is given by

Proof. Let

then where $g_{i}\left(x\right)$ is analytic in $\Delta$ with $g_{i}\left(0\right) = 1$, $i = 1, 2$. Differentiating (2.11) with respect to $x$ and using (2.8) in the resulting relation, we get

Using the same method we used to prove Theorem 1, the remaining part of this theorem can be derived in a similar way. □

Putting $\beta = 0$ in Theorem 3, we obtain the following.

Corollary 5. If the function $\varphi \in \mathcal{H}_{p}$ satisfies the next condition

with $\Phi _{p, \mu }$ is defined by (2.7), then

where $\sigma _{8}$ is given by

Putting $\alpha = 0$ in Theorem 3, we obtain the following.

Corollary 6. If the function $\varphi \in \mathcal{H}_{p}$ satisfies the next condition

with $\Phi _{p, \mu }$ is defined by (2.7), then

where $\sigma _{9}$ is given by

Theorem 4. If $0\leq \lambda _{1} < \lambda _{2}$, then

Proof. If we consider an arbitrary function $\varphi \in \mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda _{2}, \sigma \right)$, then

According to Theorem 1, we have

where $\sigma _{1}$ is given by (2.2). From (2.2), it follows that $\sigma _{1}\geq \sigma$, and from Remark 3, we conclude that $\mathcal{Q}_{k}\left(\sigma _{1}\right) \subset \mathcal{Q}_{k}\left(\sigma \right)$; hence, $\varphi _{1}\left(x\right) \in \mathcal{Q} _{k}\left(\sigma \right)$.

A simple computation shows that

Since the class $\mathcal{Q}_{k}\left(\sigma \right)$ is a convex set (see Remark 2), it follows that the right-hand side of (2.12) belongs to $\mathcal{Q}_{k}\left(\sigma \right)$ for $0\leq \lambda _{1} < \lambda _{2}$, which implies that $\varphi \in \mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda _{1}, \sigma \right)$. □

Putting $\beta = 0$ in Theorem 4, we obtain the following.

Corollary 7. If $0\leq \lambda _{1} < \lambda _{2}$, then

Putting $\alpha = 0$ in Theorem 4, we get the following.

Corollary 8. If $0\leq \lambda _{1} < \lambda _{2}$, then

Theorem 5. If $\varphi \in \mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda, \sigma \right)$ given by (1.1) with $\alpha \neq \beta$, $p\left(\alpha +\beta \right) +\lambda \neq 0$ and $p\left(\alpha +\beta \right) +2\lambda \neq 0$, then

and

Proof. If $\varphi \in \mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda, \sigma \right)$, from Definition 1, we have

where $G\left(x\right) \in \mathcal{Q}_{k}\left(\sigma \right)$ is given by

Since

Comparing the coefficients in (2.15) by using (2.16) and (2.17), we obtain

Therefore,

and

Our result now follows by an application of Lemma 2. This completes the proof of Theorem 5. □

Putting $\beta = 0$ in Theorem 5, we obtain the following.

Corollary 9. If $\varphi \in \mathcal{B}_{k, p}^{\alpha }\left(\lambda, \sigma \right)$ is given by (1.1) with $p\alpha +\lambda \neq 0$ and $p\alpha +2\lambda \neq 0$, then

and

Putting $k = 2$ and $\sigma = \frac{1-L}{1-M}\left(-1\leq M < L\leq 1\right)$ in Corollary 9, we obtain the following corollary, which improves the result of Liu [10, Theorem 4 with $n = 1$].

Corollary 10. If $\varphi \in \mathcal{B}_{p}^{\alpha }\left(\lambda, L, M\right)$ is given by (1.1) with $p\alpha +\lambda \neq 0$ and $p\alpha +2\lambda \neq 0$, then

and

Putting $\alpha = 0$ in Theorem 5, we get the following.

Corollary 11. If $\varphi \in \mathcal{N}_{k}^{\beta }\left(\lambda, \sigma \right)$ given by (1.1) with $p\beta +\lambda \neq 0$ and $p\beta +2\lambda \neq 0$, then

and

Putting $k = 2$ and $\sigma = \frac{1-L}{1-M}\left(-1\leq M < L\leq 1\right)$ in Corollary 11, we obtain the following corollary, which improves the result of Aouf and Seoudy [3, Theorem 8 with $n = 1$].

Corollary 12. If $\varphi \in \mathcal{N}_{k}^{\beta }\left(\lambda, L, M\right)$ given by (1.1) with $p\beta +\lambda \neq 0$ and $p\beta +2\lambda \neq 0$, then

and

3.   Conclusions

In this investigation, we have presented the subfamily $\mathcal{BN}_{k, p}^{\alpha, \beta }\left(\lambda, \sigma \right)$ of multivalent Bazilevič and non-Bazilevič functions related to bounded boundary rotation. Also, we have computed a number of important properties, including the inclusion results and the upper bounds for the first two Taylor-Maclaurin coefficients for this function subfamily. For different choices of the parameters $\alpha$, $\beta$, $\lambda$, $p$, $k$, and $\sigma$ in the above results, we can get the corresponding results for each of the next subfamilies: $\mathcal{B}_{p}^{\alpha }\left(\lambda, L, M\right)$, $\mathcal{B}_{p}^{\alpha }\left(L, M\right)$, $\mathcal{B}^{\alpha }\left(L, M\right)$, $\mathcal{B}^{\alpha }\left(L, M\right)$, $\mathcal{B} ^{\alpha }\left(\sigma \right)$, $\mathcal{N}_{p}^{\beta }\left(\lambda, L, M\right)$, $\mathcal{N}^{\beta }\left(\lambda, L, M\right)$, $\mathcal{N }^{\beta }\left(\sigma \right)$, $\mathcal{N}^{\beta }$, $\mathcal{B} _{k, p}^{\alpha }\left(\lambda, \sigma \right)$, $\mathcal{B}_{k}^{\alpha }\left(\lambda, \sigma \right)$, $\mathcal{N}_{k, p}^{\beta }\left(\lambda, \sigma \right)$, $\mathcal{N}_{k}^{\beta }\left(\lambda, \sigma \right)$, $\mathcal{B}_{k, p}\left(\lambda, \sigma \right)$, $\mathcal{B}_{k}\left(\lambda, \sigma \right)$, $\mathcal{N}_{k, p}\left(\lambda, \sigma \right)$, $\mathcal{N}_{k}\left(\lambda, \sigma \right)$, $\mathcal{B} _{k, p}^{\alpha }\left(\sigma \right)$, $\mathcal{B}_{k}^{\alpha }\left(\sigma \right)$, $\mathcal{N}_{k, p}^{\beta }\left(\sigma \right)$, $\mathcal{N}_{k}^{\beta }\left(\sigma \right)$, $\mathcal{S}_{k, p}\left(\sigma \right)$, and $\mathcal{S}_{k}\left(\sigma \right)$, which are defined in an introduction section. In addition, this work lays the foundation for future research and encourages researchers to explore more Bazilevič and non-Bazilevič functions involving some linear operators in geometric function theory and related fields.

Author contributions

The authors contributed equally to this work. All authors have read and approved the final version of the manuscript for publication.

Use of Generative-AI tools declaration

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

Acknowledgments

The authors extend their appreciation to Umm Al-Qura University, Saudi Arabia, for funding this research work through grant number: 25UQU4350561GSSR01.

Funding

This research work was funded by Umm Al-Qura University, Saudi Arabia, under grant number: 25UQU4350561GSSR01.

Conflict of interest

The authors declare that they have no competing interests.