Theory and Modern Applications

# Difference formula defined by a new differential symmetric operator for a class of meromorphically multivalent functions

## Abstract

Symmetric operators have benefited in different fields not only in mathematics but also in other sciences. They appeared in the studies of boundary value problems and spectral theory. In this note, we present a new symmetric differential operator associated with a special class of meromorphically multivalent functions in the punctured unit disk. This study explores some of its geometric properties. We consider a new class of analytic functions employing the suggested symmetric differential operator.

## 1 Introduction

The study of the operator is narrowly connected with problems in the theory of functions. Various operators that were studied are operators on the space of holomorphic functions. For instance, Beurlingâ€™s theorem defines the invariant subspaces of bounded holomorphic functions on the open unit disk. Beurling deduced the idea as multiplication of the independent variable on the Hardy space. The realization in studying multiplication operators is seemed in Toeplitz operators, specifically in the Bergman space of holomorphic functions. The geometric function theory is likewise ironic covering a long list of operators, counting differential, integral, and convolution operators. Limited symmetric operators are studied in this field. Newly, Ibrahim and Darus (see [1] and for applications see [2â€“5]) offered new symmetric differential, integral, and linear symmetric operators for a class of normalized functions in the open unit disk.

In this note, we proceed to consider a differential symmetric operator (DSO) associated with a class of meromorphically multivalent functions in the punctured unit disk. Consequently, we suggest a new class of analytic functions based on DSO to study it in view of the geometric function theory. Moreover, we investigate the real case of a formula containing the DSO. We show that this operator is a solution of a type of Sturmâ€“Liouville equation. Some examples are illustrated in the sequel.

## 2 Construction

In this paper, we construct a new DSO connected with the following class of multivalent meromorphic functions $$\Sigma _{k}(\wp )$$ consisting of functions Ï† with the power series expansion

$$\varphi (z)=z^{-\wp }+ \sum_{n=k}^{\infty } \varphi _{n} z^{n-\wp },\quad {z} \in {\cup },$$
(2.1)

where $${k} \in {{\mathbb{N}}=\{1,2,3,\ldots\}}$$ and $$n-{\wp }\in {\mathbb{N}}$$. Recall that the functions Ï† of the form (2.1) are called meromorphic with a pole at $$z=0$$ so that $$\varphi (z)-z^{-{\wp }}$$ is analytic in âˆª (see Komatu [6] or Hayman [7]). We then concentrate on a subclass of $$\Sigma _{k}(\wp )$$ formulated by a subordination and explore inclusion properties and sufficient inclusion conditions for this class and check its closure property under convolution or Hadamard product.

### 2.1 Differential symmetric operator (DSO)

In this place, we state a few definitions and a lemma that we shall need in the next section. First, we define a conformable differential operator for the class of meromorphic functions $$\Sigma _{k}(\wp )$$ defined by (2.1).

### Definition 2.1

For functions $$\varphi \in \Sigma _{k}(\wp )$$, define the symmetric differential operator as follows:

\begin{aligned} &\Delta ^{0} \varphi (z)= \varphi (z) =z^{-\wp }+ \sum_{n=k}^{\infty } \varphi _{n} z^{n- \wp }, \\ &\Delta ^{\alpha } \varphi (z)= \biggl( \frac{\alpha }{-\wp } \biggr) \bigl(z \varphi ' (z)\bigr)+ \biggl(\frac{(1-\alpha )(-1)^{\wp +1} }{-\wp } \biggr) \bigl(z\varphi ' (-z)\bigr) \\ & \hphantom{\Delta ^{\alpha } \varphi (z)} = \biggl( \frac{\alpha }{-\wp } \biggr) \Biggl((- \wp )z^{-\wp }+ \sum_{n=k}^{\infty }(n-\wp ) \varphi _{n} z^{n-\wp } \Biggr) + \biggl(\frac{(1-\alpha )(-1)^{\wp +1} }{-\wp } \biggr) \\ & \hphantom{\Delta ^{\alpha } \varphi (z)=}{}\times \Biggl((-\wp ) (-1)^{-\wp -1}z^{-\wp }+ \sum _{n=k}^{\infty }(n- \wp )\varphi _{n}(-1)^{n-\wp -1} z^{n-\wp } \Biggr) \\ & \hphantom{\Delta ^{\alpha } \varphi (z)} =z^{-\wp }+ \sum_{n=k}^{\infty }(n- \wp ) \biggl( \frac{\alpha +(1-\alpha )(-1)^{n} }{-\wp } \biggr) \varphi _{n} z^{n- \wp }, \\ &\Delta ^{2\alpha } \varphi (z)=\Delta ^{\alpha } \varphi (z) \bigl( \Delta ^{\alpha } \varphi (z) \bigr) \\ & \hphantom{\Delta ^{2\alpha } \varphi (z)} =z^{-\wp }+ \sum_{n=k}^{\infty }(n- \wp )^{2} \biggl(\frac{\alpha +(1-\alpha )(-1)^{n} }{-\wp } \biggr) ^{2} \varphi _{n} z^{n-\wp }, \\ &\vdots \\ &\Delta ^{m \alpha } \varphi (z)=\Delta ^{\alpha } \varphi (z) \bigl( \Delta ^{(m-1)\alpha } \varphi (z) \bigr) \\ & \hphantom{\Delta ^{m \alpha } \varphi (z)} =z^{-\wp }+ \sum_{n=k}^{\infty }(n- \wp )^{m} \biggl(\frac{\alpha +(1-\alpha )(-1)^{n} }{-\wp } \biggr) ^{m} \varphi _{n} z^{n-\wp }, \end{aligned}
(2.2)

where $${\alpha } \in {[0,1]}$$, $${\wp } \in {{\mathbb{N}}}$$, $${m} \in {{\mathbb{N}}{\cup }\{0\}}$$, $${z}\in \cup$$.

Clearly, $$\Delta ^{m \alpha }\varphi (z) \in \Sigma _{k}(\wp )$$ as well as, for two functions Ï† and $$\psi \in \Sigma _{k}(\wp )$$, we have

\begin{aligned} &\Delta ^{ \alpha } \bigl[A \varphi (z)+B \psi (z) \bigr] \\ &\quad = \biggl( \frac{\alpha }{-\wp } \biggr) \bigl(z \bigl[A \varphi (z)+B \psi (z) \bigr]' \bigr)+ \biggl(\frac{(1-\alpha )(-1)^{\wp +1} }{-\wp } \biggr) \bigl(z \bigl[A \varphi (-z)+B \psi (-z)\bigr]' \bigr) \\ &\quad =A \biggl( \biggl( \frac{\alpha }{-\wp } \biggr) \bigl(z\varphi ' (z) \bigr)+ \biggl(\frac{(1-\alpha )(-1)^{\wp +1} }{-\wp } \biggr) \bigl(z\varphi ' (-z)\bigr) \biggr) \\ &\qquad {}+B \biggl( \biggl( \frac{\alpha }{-\wp } \biggr) \bigl(z\psi ' (z) \bigr)+ \biggl( \frac{(1-\alpha )(-1)^{\wp +1} }{-\wp } \biggr) \bigl(z\psi ' (-z)\bigr) \biggr) \\ &\quad = A\Delta ^{ \alpha } \varphi (z)+B\Delta ^{ \alpha } \psi (z); \quad A, B \in {\mathbb{R}}. \end{aligned}

So, in general, we have the following proposition.

### Proposition 2.2

(Semigroup property)

The class of DSO constructed by $$\Delta ^{m \alpha }$$ has the semi-group property since, for Ï† and Ïˆ in $$\Sigma _{k}(\wp )$$, we obtain

$$\Delta ^{m \nu } \bigl[A \varphi (z)+B \psi (z)\bigr]=A\Delta ^{m \alpha } f(z)+B\Delta ^{m \alpha } g(z).$$

We will need the following subordination definition for our class of meromorphic functions. For functions Ï† and Ïˆ in $$\Sigma _{k}(\wp )$$, we call that Ï† is subordinate to Ïˆ, denoted by $${\varphi }\prec {\psi }$$, if there is a Schwarz function Ï– with $$\varpi (0)=0$$ and $$|\varpi (z)| {\le } |z|<1$$ so that $$\varphi (z) = \psi (\varpi (z))$$ in âˆª (see [8] or [9]).

### Definition 2.3

For $$-1 {\le } \nu <\mu {\le } 1$$ and $${\varsigma }<0$$, a function $$\varphi \in \Sigma _{k}(\wp )$$ is said to be in the class $$\Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma ,\wp )$$ if it achieves the subordination condition

\begin{aligned}& (1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl( \frac{\varsigma }{\wp } \biggr) z^{1+\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]' \prec J_{\mu ,\nu }(z) \\& \biggl( J_{\mu ,\nu }(z):=\frac{1+\mu z}{1+\nu z}, z \in \cup \biggr){.} \end{aligned}
(2.3)

The class of functions $$J_{\mu ,\nu }({\rho }(z)):=\frac{1+\mu {\rho }(z)}{1+\nu {\rho }(z)}$$ and, as a special case, the functions of the form $$J_{\mu ,\nu }(z)=\frac{1+\mu z}{1+\nu z}$$ are of particular importance since $$J_{\mu ,\nu }({\rho }(z))$$ is the class of Caratheodory functions of order $$\frac{1-\mu }{1-\nu }$$, that is, $$\Re \{J_{\mu ,\nu }({\rho }(z))\}>\frac{1-\mu }{1-\nu }$$ (see Janowski [10] or Jahangiri et al. [11]).

To prove our outcomes in the next section, we need the following lemmas which are due to Miller and Mocanu [9].

### Lemma 2.4

Suppose that $$f_{1}(z)$$ is analytic in âˆª and $$f_{2}(z)$$ is convex univalent in âˆª such that $$f_{1}(0) =f_{2}(0)$$. If $$f_{1}(z)+(1/\gamma )f_{1}'(z) \prec f_{2}(z)$$ for a nonzero complex constant number Î³ with $$\Re (\gamma )\geq 0$$, then $$f_{1}(z)\prec f_{2}(z)$$.

### Lemma 2.5

For $${a}\in {\mathbb{C}}$$ and positive integer n, let $$\mathbb{H}[a,n] = \{ h: h(z)= a+ a_{n}z^{n}+a_{n+1}z^{n+1}+\cdots \}$$. If $$c \in \mathbb{R}$$, then $$\Re (h(z)+ c z h'(z) )>0 \Longrightarrow \Re (h(z) )>0$$. Moreover, if $$c>0$$ and $${h}\in \mathbb{H}[1,n]$$, then there are constants $$\lambda _{1}>0$$ and $${\lambda _{2}}>0$$ such that the inequality

$${h}(z)+c z{h}'(z) \prec \biggl[\frac{1+z}{1-z} \biggr]^{\lambda _{1}}$$

implies

$${h}(z)\prec \biggl[\frac{1+z}{1-z} \biggr]^{\lambda _{2}}.$$

## 3 Main results

First we prove an inclusion theorem for the class $$\Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma ,\wp )$$.

### Theorem 3.1

Let $$\varphi \in \Sigma _{k}(\wp )$$. If $$\varsigma _{2}<\varsigma _{1}<0$$, then

$$\Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma _{2},\wp ) \subset \Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma _{1}, \wp ).$$

### Proof

Let $$\varphi \in \Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma _{2},\wp )$$. Define a function $$\phi (z)=z^{\wp }[\Delta ^{m \alpha } \varphi (z)]$$, which is analytic in âˆª with $$\phi (0)=1$$. A calculation yields

$$(1-\varsigma _{2}) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl( \frac{\varsigma _{2}}{\wp } \biggr) z^{1+\wp } \bigl[ \Delta ^{m \alpha } \varphi (z)\bigr]' =\phi (z)- \frac{\varsigma _{2}}{\wp } \bigl(z\phi '(z)\bigr).$$

Consequently, we get the inequality

$$\phi (z)- \frac{\varsigma _{2}}{\wp } \bigl(z\phi '(z)\bigr)\prec \frac{\mu z+1}{\nu z+1}.$$

Applying Lemma 2.4 with $$\gamma := -\frac{\varsigma _{2}}{\wp }>0$$ gives

$$\phi (z) \prec \frac{\mu z+1}{\nu z+1}, \quad z \in {\cup }.$$

Since $$0<{\varsigma _{1}}/{\varsigma _{2}}<1$$ and since $$J_{\mu ,\nu }(z)$$ is convex univalent in âˆª, we arrive at the inequality

\begin{aligned} &(1-\varsigma _{1}) z^{\wp } \bigl[ \Delta ^{m \alpha } \varphi (z)\bigr]- \biggl(\frac{\varsigma _{1}}{\wp } \biggr) z^{1+\wp } \bigl[ \Delta ^{m \alpha } \varphi (z)\bigr]' \\ &\quad =(1-\varsigma _{1})\phi (z)- \biggl(\frac{\varsigma _{1}}{\wp } \biggr) \bigl( z \phi '(z)- \wp \phi (z) \bigr)+ \biggl( \frac{\varsigma _{1}}{\varsigma _{2}} \phi (z)- \frac{\varsigma _{1}}{\varsigma _{2}}\phi (z) \biggr) \\ &\quad = \frac{\varsigma _{1}}{\varsigma _{2}} \biggl((1-\varsigma _{2}) \phi (z)- \biggl( \frac{\varsigma _{2}}{\wp } \biggr) \bigl(z\phi '(z)- \wp \phi (z)\bigr) \biggr)+ \biggl(1- \frac{\varsigma _{1}}{\varsigma _{2}} \biggr)\phi (z) \\ & \quad = \frac{\varsigma _{1}}{\varsigma _{2}} \biggl((1-\varsigma _{2}) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl( \frac{\varsigma _{2}}{\wp } \biggr) z^{1+\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]' \biggr)+ \biggl(1- \frac{\varsigma _{1}}{\varsigma _{2}} \biggr)\phi (z) \\ &\quad \prec J_{\mu ,\nu }(z). \end{aligned}

Hence, by Definition 2.3, we conclude that $$\varphi \in \Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma _{1},\wp )$$.â€ƒâ–¡

### 3.2 Geometric properties

Next, we show a sufficient inclusion condition for the class $$\Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma ,\wp )$$.

### Theorem 3.2

Let $$\varphi \in \Sigma _{k}(\wp )$$ and

$$\Phi (z):=(1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl(\frac{\varsigma }{\wp } \biggr) z^{1+\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]'.$$

Then $$\Phi (z) \prec J_{\mu ,\nu }(z)$$ if one of the following inequalities occurs:

• $$1+\varepsilon (z \Phi '(z) ) \prec \sqrt{z+1}$$, $$\varepsilon \geq \max \{\varepsilon _{0},\varepsilon _{1}\}$$, where

$$\varepsilon _{0}= \frac{0.452 \nu + 0.452}{\mu - \nu },\quad \nu +1 \neq 0, \mu - \nu \neq 0;$$

and

$$\varepsilon _{1}= \frac{ -0.631 (\nu - 1) }{(\mu - \nu ) },\quad \nu - 1 \neq 0, \mu - \nu \neq 0.$$
• $$1+\varepsilon (z \frac{\Phi '(z)}{\Phi (z)} ) \prec \sqrt{z+1}$$, $$\varepsilon \geq \max \{|\varepsilon _{2}|,|\varepsilon _{3}| \}$$, where

\begin{aligned}& \varepsilon _{2}= \frac{ 0.6 i}{2 \pi n - i \log ( \frac{\mu - 1}{\nu - 1})}{ ,} \\& \biggl( \log \biggl( \frac{\mu - 1}{\nu - 1}\biggr) + 2i\pi n\neq 0, \mu \neq 1, \nu \neq 1 \biggr){;} \end{aligned}

and

\begin{aligned}& \varepsilon _{3}= \frac{ 0.452 i}{2 \pi n - i \log (\frac{\nu + 1}{\mu + 1})}, \\& \biggl(\nu + 1\neq 0, \mu +1 \neq 0, \log \biggl(\frac{\nu +1}{\mu +1}\biggr)+ 2 \pi n i \neq 0 \biggr){.} \end{aligned}
• $$1+\varepsilon ( z \frac{\Phi '(z)}{\Phi ^{2}(z)} ) \prec \sqrt{z+1}$$, $$\varepsilon \geq \max \{\varepsilon _{4},\varepsilon _{5} \}$$, where

\begin{aligned}& \varepsilon _{4}=\frac{0.452( \mu +1)}{(\mu -\nu ) },\quad \nu + 1 \neq 0, \mu \neq \nu ; \\& \varepsilon _{5}=\frac{ 0.6(\nu - 1)}{(\mu -\nu ) }, \quad \nu -1 \neq 0 \mu \neq \nu . \end{aligned}

### Proof

Case I: $$1+\varepsilon ( z \Phi ' (z) ) \prec \sqrt{z+1}$$.

Define a function $$\top _{\varepsilon }: {\cup } \rightarrow \mathbb{C}$$ formulating by

$$\top _{\varepsilon }(z)= 1+ \frac{2}{\varepsilon } \bigl(\sqrt{z+1}- \log (1+ \sqrt{z+1})-1+\log (2) \bigr).$$

Clearly, $$\top _{\varepsilon }(z)$$ is analytic in âˆª satisfying $$\top _{\varepsilon }(0)=1$$, and it is a solution of the differential equation

$$1+\varepsilon \bigl( z \top _{\varepsilon }' (z) \bigr) = \sqrt{z+1}.$$
(3.1)

Thus, we obtain $$\mathfrak{T}(z):=\varepsilon ( z \top _{\varepsilon }' (z) )= \sqrt{z+1}-1$$ is starlike in âˆª. So, for

$$\mathfrak{F}(z):=\mathfrak{T}(z)+1,$$

we have

$$\Re \biggl( \frac{z \mathfrak{T}' (z)}{\mathfrak{T}(z)} \biggr)= \Re \biggl( \frac{z \mathfrak{F}' (z)}{\mathfrak{W}(z)} \biggr) >0.$$

Thus, by Lemma 2.4, it yields

$$1+\varepsilon \bigl( z \Phi ' (z) \bigr) \prec 1+\varepsilon z \top _{\varepsilon }' (z) \quad \Rightarrow \quad \Phi (z) \prec \top _{\varepsilon }(z).$$

To complete this argument, we must prove that $$\top _{\varepsilon }(z) \prec J_{\mu ,\nu }(z)$$. Evidently, the function $$\top _{\varepsilon }(z)$$ is increasing in the interval $$(-1,1)$$ that satisfies the inequality

$$\top _{\varepsilon }(-1) \leq \top _{\varepsilon }(1).$$

Since

$$\frac{1-\mu }{1-\nu } \leq \top _{\varepsilon }(-1) \leq \top _{\varepsilon }(1) \leq \frac{1+\mu }{1+\nu },$$

where $$\varepsilon \geq \max \{\varepsilon _{0},\varepsilon _{1}\}$$,

$$\varepsilon _{0}= \frac{0.452 \nu + 0.452}{\mu - \nu },\quad \nu +1 \neq 0, \mu - \nu \neq 0$$

and

$$\varepsilon _{1}= \frac{ -0.631 (\nu - 1) }{(\mu - \nu ) },\quad \nu - 1 \neq 0, \mu - \nu \neq 0,$$

then we get the conclusion

$$\Phi (z) \prec \top _{\varepsilon }(z) \prec J_{\mu ,\nu }(z)\quad \Rightarrow\quad \Phi (z) \prec J_{\mu ,\nu }(z).$$

Case II: $$1+\varepsilon (\frac{ z \Phi ' (z)}{\Phi (z)} ) \prec \sqrt{z+1}$$.

Define a function $$\Omega _{\varepsilon }: {\cup } \rightarrow \mathbb{C}$$ formulating by the structure

$$\Omega _{\varepsilon }(z)=\exp \biggl(\frac{2}{\varepsilon } \bigl( \sqrt{z+1}-\log (1+\sqrt{z+1})-1+\log (2) \bigr) \biggr).$$

Obviously, $$\Omega _{\varepsilon }(z)$$ is analytic in âˆª having $$\Omega _{\varepsilon }(0)=1$$, and it is a solution of the differential equation

$$1+\varepsilon \biggl( \frac{z \Omega _{\varepsilon }' (z)}{\Omega _{\varepsilon }(z)} \biggr) = \sqrt{z+1}, \quad z \in {\cup }.$$
(3.2)

By assuming $$\mathfrak{T}(z) =\sqrt{z+1}-1$$, which is starlike in âˆª and $$\mathfrak{F}(z)=\mathfrak{T}(z)+1$$, we obtain

$$\Re \biggl( \frac{z \mathfrak{T}' (z)}{\mathfrak{T}(z)} \biggr)= \Re \biggl( \frac{z \mathfrak{F}' (z)}{\mathfrak{T}(z)} \biggr) >0.$$

Then again, by virtue of Lemma 2.4, we have

$$1+\varepsilon \biggl( \frac{z \Phi ' (z)}{\Phi (z)} \biggr) \prec 1+\varepsilon \biggl( \frac{z \Omega _{\varepsilon }' (z)}{\Omega _{\varepsilon }(z)} \biggr)\quad \Rightarrow\quad \Phi (z) \prec \Omega _{\varepsilon }(z).$$

Consequently,

$$\frac{1-\mu }{1-\nu } \leq \Omega _{\varepsilon }(-1) \leq \Omega _{\varepsilon }(1) \leq \frac{1+\mu }{1+\nu }$$

whenever $$\varepsilon \geq \max \{|\varepsilon _{2}|, |\varepsilon _{3}|\}$$, where

\begin{aligned}& \varepsilon _{2}= \frac{ 0.6 i}{2 \pi n - i \log ( \frac{\mu - 1}{\nu - 1})}{ } \\& \biggl( \log \biggl( \frac{\mu - 1}{\nu - 1}\biggr) + 2i\pi n\neq 0, \mu \neq 1, \nu \neq 1 \biggr) \end{aligned}

and

$$\varepsilon _{3}= \frac{ 0.452 i}{2 \pi n - i \log (\frac{\nu + 1}{\mu + 1})}.$$

This introduces the subordination conclusions

$$\Phi (z) \prec \Omega _{\varepsilon }(z) \prec J_{\mu ,\nu }(z) \quad \Rightarrow\quad \Phi (z) \prec J_{\mu ,\nu }(z).$$

Case III: $$1+\varepsilon (\frac{ z \Phi ' (z)}{\Phi ^{2}(z)} ) \prec \sqrt{z+1}$$.

Define a function $$\eth _{\varepsilon }: {\cup } \rightarrow \mathbb{C}$$ by the formula

$$\eth _{\varepsilon }(z)= \frac{1}{ (1- \frac{2}{\varepsilon } ( \sqrt{z+1}-\log (1+\sqrt{z+1})-1+\log (2) ) )}.$$

Clearly, $$\eth _{\varepsilon }(z)$$ is analytic in U achieving $$\eth _{\varepsilon }(0)=1$$, and it is the result of the differential equation

$$1+\varepsilon \biggl( \frac{z \eth _{\varepsilon }' (z)}{\eth _{\varepsilon }(z)} \biggr) = \sqrt{z+1}.$$
(3.3)

By employing the function $$\mathfrak{T}(z) = \sqrt{z+1}-1$$, which is starlike in âˆª and $$\mathfrak{F}(z)=\mathfrak{T}(z)+1$$, we obtain

$$\Re \biggl( \frac{z \mathfrak{T}' (z)}{\mathfrak{T}(z)} \biggr)= \Re \biggl( \frac{z \mathfrak{F}' (z)}{\mathfrak{T}(z)} \biggr) >0.$$

Hence, Lemma 2.4 implies

$$1+\varepsilon \biggl( \frac{z \Phi ' (z)}{\Phi ^{2}(z)} \biggr) \prec 1+\varepsilon \biggl( \frac{z \eth _{\varepsilon }' (z)}{\eth _{\varepsilon }^{2}(z)} \biggr)\quad \Rightarrow\quad \Phi (z) \prec \eth _{\varepsilon }(z).$$

Accordingly, we have

$$\frac{1-\mu }{1-\nu } \leq \eth _{\varepsilon }(-1) \leq \eth _{\varepsilon }(1) \leq \frac{1+\mu }{1+\nu }$$

whenever $$\varepsilon \geq \max \{\varepsilon _{4},\varepsilon _{5}\}$$, where

\begin{aligned}& \varepsilon _{4}=\frac{0.452( \mu +1)}{(\mu -\nu ) },\quad \nu + 1 \neq 0, \mu \neq \nu ; \\& \varepsilon _{5}=\frac{ 0.6(\nu - 1)}{(\mu -\nu ) },\quad \nu -1 \neq 0 \mu \neq \nu . \end{aligned}

This implies the subordination

$$\Phi (z) \prec \eth _{\varepsilon }(z) \prec J_{\mu ,\nu }(z)\quad \Rightarrow\quad \Phi (z) \prec J_{\mu ,\nu }(z).$$

As a conclusion, we have

$$(1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl( \frac{\varsigma }{\wp } \biggr) z^{1+\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]' \prec J_{\mu ,\nu }(z)$$

for all $$\varsigma <0$$ and $$\wp \in \mathbb{N}$$. Consequently, $$\varphi \in \Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma ,\wp )$$.â€ƒâ–¡

### Theorem 3.3

Let

$$\Phi (z)=(1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl(\frac{\varsigma }{\wp } \biggr) z^{1+\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]'.$$

Then

\begin{aligned}& \ell _{1}(1+\wp )z^{\wp }\Delta ^{m \alpha } \varphi (z)+ \bigl[\ell _{1}- \ell _{2}(1+\wp )-\ell _{2} \bigr]z^{1+ \wp } \bigl(\Delta ^{m \alpha } \varphi (z) \bigr)' -\ell _{2}z^{2+\wp } \bigl(\Delta ^{m \alpha } \varphi (z) \bigr)'' \\& \quad \prec \biggl(\frac{1+z}{1-z} \biggr)^{\lambda _{1}}\quad \Rightarrow \quad \Phi (z)\prec \biggl( \frac{1+z}{1-z} \biggr)^{\lambda _{2}} \\& \biggl(\lambda _{1}>0, \lambda _{2}>0, \ell _{1}=1-\varsigma , \ell _{2}=\frac{\varsigma }{\wp }, \wp < 0 \biggr). \end{aligned}

### Proof

A calculation implies that

\begin{aligned} \Phi (z)+z \Phi ' (z)={}&(1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl( \frac{\varsigma }{\wp } \biggr) z^{1+ \wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]' \\ &{}+z \biggl( (1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl(\frac{\varsigma }{\wp } \biggr) z^{1+\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]' \biggr)' \\ ={}& \ell _{1}(1+\wp )z^{\wp }\Delta ^{m \alpha } \varphi (z)+\bigl[\ell _{1}- \ell _{2}(1+\wp )-\ell _{2} \bigr]z^{1+ \wp } \bigl(\Delta ^{m \alpha } \varphi (z) \bigr)' \\ &{}-\ell _{2}z^{2+\wp } \bigl(\Delta ^{m \alpha } \varphi (z) \bigr)'' \\ \prec{}& \biggl(\frac{1+z}{1-z} \biggr)^{\lambda _{1}}. \end{aligned}

Then, in view of Lemma 2.5 with $$c=1$$, we obtain $$\Phi (z)\prec ( \frac{1+z}{1-z} )^{\lambda _{2}}$$.â€ƒâ–¡

Note that when $$\lambda _{1}=\lambda _{2}=1$$, then we have the following result.

### Corollary 3.4

For $$\Phi (z)$$ in Theorem 3.3, if the subordination

\begin{aligned}& \ell _{1}(1+\wp )z^{\wp }\Delta ^{m \alpha } \varphi (z)+ \bigl[\ell _{1}- \ell _{2}(1+\wp )-\ell _{2} \bigr]z^{1+ \wp } \bigl(\Delta ^{m \alpha } \varphi (z) \bigr)' -\ell _{2}z^{2+\wp } \bigl(\Delta ^{m \alpha } \varphi (z) \bigr)'' \\& \quad \prec \biggl(\frac{1+z}{1-z} \biggr), \\& \biggl( \ell _{1}=1-\varsigma , \ell _{2}= \frac{\varsigma }{\wp }, \wp < 0 \biggr) \end{aligned}

holds, then $$\varphi \in \Sigma ^{\alpha }_{k}(1,-1,\varsigma ,\wp )$$.

### Proof

Let $$\lambda _{1}=\lambda _{2}=1$$ in Theorem 3.3, then this implies that $$\Phi (z)\prec (\frac{1+z}{1-z} )$$; consequently, we have $$\varphi \in \Sigma ^{\alpha }_{k}(1,-1,\varsigma ,\wp )$$.â€ƒâ–¡

Finally, we prove a convolution condition for the class $$\Sigma ^{\nu }_{k}(\mu ,\nu ,\varsigma ,\wp )$$.

### Definition 3.5

The Hadamard product or convolution of two power series

$$\varphi (z)=z^{-\wp }+ \sum_{n=k}^{\infty } \varphi _{n} z^{n-\wp }$$

and

$$\psi (z)=z^{-\wp }+ \sum_{n=k}^{\infty } \psi _{n} z^{n-\wp }$$

in $$\Sigma _{k}(\wp )$$ is denoted by

\begin{aligned} (\varphi *\psi ) (z) =&\varphi (z)*\psi (z) \\ =&z^{-\wp }+ \sum_{n=k}^{\infty }\varphi _{n}\psi _{n} z^{n-\wp }. \end{aligned}

### Theorem 3.6

Let $$\varphi \in \Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma ,\wp )$$ and $$f\in \Sigma _{k}(\wp )$$. Then $$\varphi *f \in \Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma ,\wp )$$ if

$$\Re \bigl( z^{\wp }\Delta ^{m \alpha } f(z) \bigr)> \frac{1}{2}.$$
(3.4)

### Proof

By the properties of the Hadamard product, we indicate that

\begin{aligned} &(1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } ( \varphi *f) (z)\bigr]- \biggl(\frac{\varsigma }{\wp } \biggr) z^{1+\wp } \bigl[ \Delta ^{m \alpha } ( \varphi *f ) (z) \bigr]' \\ &\quad = (1-\varsigma ) \bigl( z^{\wp }\bigl[\Delta ^{m \alpha } \varphi (z)\bigr]* z^{\wp }\bigl[\Delta ^{m \alpha } f(z)\bigr] \bigr) \\ &\qquad {}- \biggl(\frac{\varsigma }{\wp } \biggr) \bigl( z^{1+\wp } \bigl[\Delta ^{m \alpha } f (z)\bigr]' *\bigl(z^{\wp }\bigl[\Delta ^{m \alpha } f(z)\bigr]\bigr) \bigr) \\ &\quad = \biggl((1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl(\frac{\varsigma }{\wp } \biggr) z^{1+\wp } \bigl[\Delta ^{m \alpha } f(z)\bigr]' \biggr)* \bigl( z^{\wp }\Delta ^{m \alpha } f(z) \bigr) \\ &\quad =\Phi (z)* \bigl( z^{\wp }\Delta ^{m \alpha }f(z) \bigr), \end{aligned}

where $$\Phi (z) \prec J_{\mu ,\nu }(z)$$. Given condition (3.4) yields that $$( z^{\wp }\Delta ^{m \alpha } f(z) )$$ has the Herglotz integral formula (e.g. see [12])

$$\bigl( z^{\wp }\Delta ^{m \alpha } f(z) \bigr)= \int _{|\chi |=1} \frac{d \sigma (\chi )}{1- \chi z},$$

where dÏƒ presents the probability measure on the unit circle $$|\chi | = 1$$ and

$$\int _{|\chi |=1}\,d\sigma (\chi ) = 1.$$

Since $$J_{\mu ,\nu }(z)$$ is convex in âˆª, we have

\begin{aligned} &(1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } ( \varphi *f) (z)\bigr]- \biggl(\frac{\varsigma }{\wp } \biggr) z^{1+\wp } \bigl[ \Delta ^{m \alpha } ( \varphi *f) (z) \bigr]' \\ &\quad = \Phi (z)* \bigl( z^{\wp }\Delta ^{m \alpha } f(z) \bigr) \\ &\quad = \int _{|\chi |=1}\Phi (\chi z)\,d\sigma (\chi ) \\ &\quad \prec J_{\mu ,\nu }(z). \end{aligned}

Hence, $$\varphi *f \in \Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma ,\wp )$$.â€ƒâ–¡

We have the following geometric results.

### Theorem 3.7

For the function $$\varphi \in \Sigma _{k}(\wp )$$, define a functional

\begin{aligned} \Phi (z) =& (1-\varsigma ) z^{\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]- \biggl(\frac{\varsigma }{\wp } \biggr) z^{1+\wp } \bigl[\Delta ^{m \alpha } \varphi (z)\bigr]',\quad \varsigma < 0 \\ =&1+\sum_{n=1}^{\infty }\phi _{n}z^{n},\quad z \in \cup . \end{aligned}

Then

$$\Re \bigl(\Phi (z) \bigr)>0\quad \Rightarrow\quad \vert \phi _{n} \vert \leq 2 \int _{0}^{2 \pi } \bigl\vert e^{-in\theta } \bigr\vert \,d\upsilon (\theta ),$$

where dÏ… is a probability measure. Moreover,

$$\Re \bigl(e^{i \varpi }\Phi (z) \bigr)>0\quad \Rightarrow\quad \Phi (z) \in \mathcal{C},$$

where $$\mathcal{C}$$ is the class of analytic convex in âˆª.

### Proof

For the first part of the theorem, we suppose that

$$\Re \bigl(\Phi (z)\bigr)= \Re \Biggl(1+\sum_{n=1}^{\infty } \phi _{n}z^{n} \Biggr)>0.$$

Then, by the CarathÃ©odory positivist theorem for holomorphic functions, we have

$$\vert \phi _{n} \vert \leq 2 \int _{0}^{2\pi } \bigl\vert e^{-in\theta } \bigr\vert \,d\upsilon ( \theta ),$$

where dÏ… is a probability measure. Lastly, if

$$\Re \bigl(e^{i \varrho }\Phi (z) \bigr)>0, \quad z \in \mathbb{\cup }, \varrho \in \mathbb{R},$$

then in view of [13]-Theorem 1.6(P22) and for some real numbers Ï±, we get

$$\Phi (z) \approx \frac{\mu z+1}{\nu z+1}, \quad z \in \mathbb{\cup }.$$

But $$\frac{\mu z+1}{\nu z+1}$$ is convex in âˆª, then by the majority concept, we obtain that $$\Phi (z) \in \mathcal{C}$$.â€ƒâ–¡

Theorem 3.7 implies the sufficient conditions to a function $$\varphi \in \Sigma _{k}(\wp )$$ to be in $$\Sigma ^{\alpha }_{k}(\mu ,\nu ,\varsigma ,\wp )$$.

### Theorem 3.8

For the function $$\varphi \in \Sigma _{k}(\wp )$$, define a functional $$\flat (z):=z^{\wp +1}\Delta ^{m \alpha } \varphi (z)$$, $$z \in \mathbb{\cup }$$. If the subordination

$$\flat (z) \prec \frac{z}{(1+z)^{2}}$$

holds, then $$\flat (z) \in \mathbb{S}^{*}$$ (the class of starlike analytic functions) and

$$\biggl( \int _{0}^{z} \frac{\sqrt{\flat (\zeta )}}{\zeta }\,d\zeta \biggr)^{2} \prec \bigl(2 \tan ^{-1}\sqrt{z} \bigr)^{2}$$

such that

$$-\frac{\pi }{2}< -2\tan ^{-1}\sqrt{r}\leq \Re \biggl( \int _{0}^{z} \frac{\sqrt{\flat (\zeta )}}{\zeta }\,d\zeta \biggr)< 2 \tan ^{-1}\sqrt{r} \leq \frac{\pi }{2}.$$

### Proof

Let $$\flat (z)=z^{\wp +1}\Delta ^{m \alpha } \varphi (z)$$, $$z \in \mathbb{\cup }$$. Then

$$\flat (z)=z+\sum_{n=2}^{\infty }b_{n}z^{n},\quad z \in \mathbb{\cup }$$

is analytic in the open unit disk. Obviously,

\begin{aligned} \mathcal{B}(z)&:= \bigl(2 \tan ^{-1}\sqrt{z} \bigr)^{2} \\ &=4 z - 8 \frac{z^{2}}{3} + \frac{92 z^{3}}{45} + O\bigl(z^{4} \bigr). \end{aligned}

Since the function (see [9]-P177)

\begin{aligned} p(z)&=\frac{z}{(1+z)^{2}} \\ & = z - 2 z^{2} + 3 z^{3} - 4 z^{4} + 5 z^{5} + O\bigl(z^{6}\bigr) \in \mathbb{S}^{*},\quad z \in \mathbb{\cup }, \end{aligned}

then by the majority concept, we have $$\flat (z) \in \mathbb{S}^{*}$$. The second and third assertions are verified by [9]-Corollary 3.6a.1.â€ƒâ–¡

Similarly, we have the next result.

### Theorem 3.9

Assume that $$\varphi \in \Sigma _{k}(\wp )$$ and a functional $$\flat (z)=z^{\wp +1}\Delta ^{m \alpha } \varphi (z)$$, $$z \in \mathbb{\cup }$$. If the subordination

$$\flat (z) \prec \frac{z}{(1+z)^{2}}$$

holds, then $$\flat (z) \in \mathbb{S}^{*}$$ (the class of starlike analytic functions) and

$$\biggl( \int _{0}^{z} \frac{\sqrt{\flat (\zeta )}}{\zeta }\,d\zeta \biggr)^{2} \prec \bigl(2 \cot ^{-1}\sqrt{1/z} \bigr)^{2}$$

such that

$$-\frac{\pi }{2}< -2 \cot ^{-1}\sqrt{1/r}\leq \Re \biggl( \int _{0}^{z} \frac{\sqrt{\flat (\zeta )}}{\zeta }\,d\zeta \biggr)< 2 \cot ^{-1} \sqrt{1/r}\leq \frac{\pi }{2}.$$

### 3.3 Real cases

From the proof of Theorem 3.3, we indicate the real construction as follows:

\begin{aligned} \Re \bigl(\Phi (z)+z \Phi ' (z) \bigr) ={}& \Re \bigl( \ell _{1}(1+\wp ) z^{\wp }\Delta ^{m \alpha } \varphi (z)+\bigl[\ell _{1}- \ell _{2}(1+\wp )-\ell _{2}\bigr]z^{1+ \wp } \bigl(\Delta ^{m \alpha } \varphi (z) \bigr)' \\ &{}-\ell _{2}z^{2+\wp } \bigl(\Delta ^{m \alpha } \varphi (z) \bigr)'' \bigr) \\ ={}&\ell _{1} (1+\wp ) xy+ \biggl( \frac{(1+\wp )(2\ell _{1}-1)-1}{\wp } \biggr) x^{1-\wp }y' - \biggl( \frac{1-\ell _{1}}{\wp } \biggr) x^{1-2 \wp }y'' , \end{aligned}

where $$\Re (z^{\wp }):=x$$, $$\ell _{1}=1-\varsigma >0$$, $$\ell _{2}=(1-\ell _{1})/ \wp$$ and $$\Re (\Delta ^{m \alpha } \varphi (z)):=y(x)$$. By approximate $$\ell _{1} \rightarrow 2$$, we have

\begin{aligned} \Re \bigl(\Phi (z)+z \Phi ' (z) \bigr)=2(1+\wp ) xy+ \biggl( \frac{3(1+\wp )-1}{\wp } \biggr) x^{1-\wp }y' + \biggl( \frac{1}{\wp } \biggr) x^{1-2\wp }y'' , \end{aligned}

then the real solution of $$\Re (\Phi (z)+z \Phi ' (z) )=0$$ is equivalent to the solution of

$$2(1+\wp ) xy+ \biggl( \frac{3(1+\wp )-1}{\wp } \biggr) x^{1-\wp }y' + \biggl( \frac{1}{\wp } \biggr) x^{1-2\wp }y'' =0.$$
(3.5)

The exact and the approximate solutions of Eq. (3.5) are formulated in the next result.

### Theorem 3.10

Consider Eq. (3.5). Then the exact solution is formulated as a linear combination of a confluent hypergeometric function with the Laguerre polynomials

\begin{aligned} y(x)={}& 2^{\wp /(2 \wp + 2)} e^{-2 x^{\wp + 1}} \bigl(x^{\wp + 1}\bigr)^{ \wp /(2 \wp + 2)} x^{-\wp /2} \\ &{}\times \biggl\{ c_{1} U \biggl(\frac{2 \wp }{\wp + 2}, \frac{\wp }{\wp + 1}, \frac{\wp + 2 x^{\wp + 1}}{\wp + 1} \biggr)+ c_{2} L_{(-2 \wp /(\wp + 2)}^{(-1/(\wp + 1))} \biggl( \frac{(\wp + 2) x^{\wp + 1}}{(\wp + 1)} \biggr) \biggr\} \end{aligned}
(3.6)

and an approximate solution

\begin{aligned} y(x)\approx{}& 2^{\wp /(2 \wp + 2)}( 2.718)^{-2x^{1+\wp }} \bigl(x^{ \wp + 1}\bigr)^{\wp /(2 \wp + 2)} x^{-\wp /2} \\ &{}\times \biggl\{ c_{1} U \biggl(\frac{2 \wp }{\wp + 2}, \frac{\wp }{\wp + 1}, \frac{\wp + 2 x^{\wp + 1}}{\wp + 1} \biggr)+ c_{2} L_{(-2 \wp /(\wp + 2)}^{(-1/(\wp + 1))} \biggl( \frac{(\wp + 2) x^{\wp + 1}}{(\wp + 1)} \biggr) \biggr\} , \end{aligned}
(3.7)

where U is the confluent hypergeometric function of the second type and L is the Laguerre polynomial.

### Proof

Equation (3.5) indicates the structure of the Sturmâ€“Liouville equation. Thus we obtain the conclusion

$$\frac{d}{ dx} \bigl(e^{((2 + 3 \wp ) x^{1 +\wp })/(1 + \wp ))} y'(x) \bigr) + 2 e^{((2 + 3 \wp ) x^{1 + \wp })/(1 + \wp ))} \wp (1 + \wp ) x^{2 \wp } y(x) = 0$$
(3.8)

with the exact and the approximated solutions in (3.6) and (3.7) respectively.â€ƒâ–¡

### Example 3.11

Let $$\wp =1$$, then Eq. (3.6) becomes the Sturmâ€“Liouville equation

$$\frac{d}{ dx} \bigl(e^{(5 x^{2})/2} y'(x) \bigr) + 4 e^{(5 x^{2})/2} x^{2} y(x) = 0,$$
(3.9)

with the solution (see Fig. 1)

$$y(x) = e^{-2 x^{2}} \biggl\{ c_{1} H_{-4/3}\biggl(\sqrt{ \frac{3}{2}} x\biggr) + c_{2} {}_{1}F_{1} \biggl(\frac{2}{3};\frac{1}{2};\frac{3 x^{2}}{2}\biggr) \biggr\} ,$$

where $$H_{n}(\chi )$$ is the Hermite polynomial and $${}_{1}F_{1}$$ is the hypergeometric function. It is clear that solution (3.9) is defined at the boundary of âˆª (see Fig. 1-left column). That is, the functional $$\Re (\Delta ^{m \alpha } \varphi (z)) \approx y(x)$$, $$x \rightarrow 1$$. Now, by letting $$y(0)=1$$, this implies the solution (see Fig. 1-right column)

$$y(x) = \frac{e^{-2 x^{2}} }{4 \Gamma (\frac{7}{6})} \biggl\{ 4 c_{1} \Gamma \biggl( \frac{7}{6}\biggr) H_{-4/3}\biggl(\sqrt{\frac{3}{2}} x \biggr) - \biggl(2^{2/3} \sqrt{\pi } c_{1} - 4 \Gamma \biggl( \frac{7}{6}\biggr) \biggr) {}_{1}F_{1}\biggl( \frac{2}{3};\frac{1}{2};\frac{3 x^{2}}{2}\biggr) \biggr\} .$$

### Example 3.12

Let $$\wp =2$$, then Eq. (3.6) becomes the Sturmâ€“Liouville equation

$$\frac{d}{ dx} \bigl(e^{(8 x^{3})/3} y'(x) \bigr) + 12 e^{(8 x^{3})/3} x^{4} y(x) = 0,$$
(3.10)

with the solution approximating the boundary of âˆª (see Fig. 2-first row)

$$y(x) = c_{1} e^{-(2 x^{3})/3} x + \frac{ 2^{2/3} c_{2} e^{(-(2 x^{3})/3} (x^{3})^{1/3} \Gamma (\frac{-1}{3}, \frac{4 x^{3}}{3})}{3^{1/3}}.$$

Moreover, the solution, when $$y(0)=1$$, is given by the formula (see Fig. 2-second row)

$$y(x) = \frac{1}{9} e^{-(2 x^{3})/3} \biggl(c_{1} x + 6^{2/3} \bigl(x^{3}\bigr)^{1/3} \Gamma \biggl( \frac{-1}{3}, \frac{4 x^{3}}{3}\biggr) \biggr).$$

### Proposition 3.13

If

$$\Re \bigl(\Phi (z)+z \Phi ' (z) \bigr)>0,\quad z \in U,$$
(3.11)

then the equation

(3.12)

admits a positive solution.

### Proof

By condition (3.11) and Lemma 2.5 (the first part), we obtain that $$\Re (\Phi )>0$$. This leads to

$$\Re \bigl(\Delta ^{m \alpha } \varphi (z)\bigr)=y(x),\quad \varsigma \rightarrow 0.$$

Hence, Eq. (3.12) has a positive solution.â€ƒâ–¡

## 4 Conclusion

From what has been presented above, it is apparent that we formulated a new differential symmetric operator (DSO) associated with a class of meromorphically multivalent functions. We presented some outcomes covering the geometric studies of the suggested operator joining the Janowski function in the open unit disk. Our consequences indicated, under some conditions, that the proposed operator converges to the Janowski function. Moreover, we discussed the functional $$\Phi (z)+z \Phi '(z)$$ and the solution for real cases when $$\wp =1$$ and $$\wp =2$$

$$\Re \bigl( \Phi (z)+z \Phi '(z) \bigr)=0.$$

We discovered that the real cases are converging to the Sturmâ€“Liouville equation, and the solutions are found to be a combination of special functions. We presented the condition that gives (Theorem 3.3)

$$\Phi (z)\prec \biggl( \frac{1+z}{1-z} \biggr)^{\lambda _{2}}$$

for $$\lambda _{2}>0$$.

Not applicable.

## References

1. Ibrahim, R.W., Darus, M.: New symmetric differential and integral operators defined in the complex domain. Symmetry 11(7), 906 (2019)

2. Ibrahim, R.W., Elobaid, R.M., Obaiys, S.J.: Symmetric conformable fractional derivative of complex variables. Mathematics 8(3), 363 (2020)

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 (2020)

4. Ibrahim, R.W., Elobaid, R.M., Obaiys, S.J.: Symmetric conformable fractional derivative of complex variables. Mathematics 8(3), 363 (2020)

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, Article ID 6932739 (2020)

6. Komatu, Y.: Note on the theory of conformal representation by meromorphic functions II. Proc. Jpn. Acad. 21, 278â€“284 (1945)

7. Hayman, W.K.: Meromorphic Functions. Oxford Math. Monographs, Oxford (1964)

8. Rogosinski, W.: On subordination functions. Proc. Camb. Philol. Soc. 35(1), 1â€“26 (1939)

9. Miller, S.S., Mocanu, P.T.: Differential Subordinations: Theory and Applications. CRC Press, Boca Raton (2000)

10. Janowski, W.: Some extremal problems for certain families of analytic functions I. Ann. Pol. Math. 28, 298â€“326 (1973)

11. Jahangiri, J.M., Silverman, H., Silvia, E.M.: Inclusion relations between classes of functions defined by subordination. J.Â Math. Anal. Appl. 151, 318â€“329 (1990)

12. Duren, P.L.: Univalent Functions. Grundlehren der Mathematischen Wissenschaften, vol. 259. Springer, Berlin (1983). ISBN 0-387-90795-5

13. Ruscheweyh, S.: Convolutions in Geometric Function Theory. Presses University Montreal, Montreal (1982)

## Acknowledgements

The authors would like to thank the reviewers for the deep comments to improve our work. Also, we express our thanks to the editorial office for their advice.

Not applicable.

## Author information

Authors

### Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Ibtisam Aldawish.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Reprints and Permissions

Ibrahim, R.W., Aldawish, I. Difference formula defined by a new differential symmetric operator for a class of meromorphically multivalent functions. Adv Differ Equ 2021, 281 (2021). https://doi.org/10.1186/s13662-021-03442-5