Generalized Quantum Integro-Differential Fractional Operator with Application of 2D-Shallow Water Equation in a Complex Domain

Abstract

In this paper, we aim to generalize a fractional integro-differential operator in the open unit disk utilizing Jackson calculus (quantum calculus or q-calculus). Next, by consuming the generalized operator to define a formula of normalized analytic functions, we present a set of integral inequalities using the concepts of subordination and superordination. In addition, as an application, we determine the maximum and minimum solutions of the extended fractional 2D-shallow water equation in a complex domain.

1. Introduction

Elementary series and polynomials, particularly the Mittag–Leffler functions and polynomials and their consequences, can be frequently seen in specific areas of number theory, including the theory of partitions. These functions are valuable in an extensive diversity of fields involving, for instance, finite vector spaces, combinator analysis, lie theory, nonlinear electric circuit theory, particle physics, optical studies, fluid theory, mechanical engineering, quantum mechanics, cosmology, theory of thermal conduction and measurements (see [1,2,3,4,5,6]). Quantum power series, especially the Mittag–Leffler functions, are known to have common applications, specifically in numerous areas of function theory, geometric function theory and others. As a substance of detail, q-Mittag–Leffler functions are beneficial too in a extensive diversity of arenas. In our study, we employ the definition of the q- Mittag–Leffler functions to modify a fractional integral operator of a complex variable.

The 2D-shallow water equations (SWEs) are utilized to designate flow in precipitously well mixed water figures where the straight length scales are much bigger than the fluid depth (long wavelength phenomena) [7]. The SWEs are selected by supposing a hydro-static pressure distribution and a uniform velocity profile in the vertical direction. The SWEs can be used to study numerous physical phenomena of interest, such as storm surges, tidal variations, tsunami waves, and forces performing on off-shore assemblies, and can be joined to transport equations to formulate transport of chemical species. Most of these equations are solved by numerical techniques [8,9]. Our study is based on an approximated analytic solution given in the open unit disk.

In this study, we investigate a generalization of fractional integro-differential operators in the open unit disk formulated by the q-calculus. We employ the q-operator to describe a formulation of normalized analytic functions. We consider a set of integral inequalities indicating the notion of differential subordination and superordination. In addition, as an application, we regulate the upper and lower bound solutions of the generalized fractional 2D-shallow water equation in a complex domain. In addition, as an application, we compute the maximum and minimum solutions of the modified fractional 2D-shallow water equation in a complex domain.

2. Methods

In this section, we deal with the techniques used in this study.

2.1. Geometric Presentations

In this presentation, we give some definitions based on the geometric function theory, which are located in [10]

Definition 1.

Define the set $\mathbb{O}:=\{\chi \in \mathbb{C}:|\chi |<1\}$, which is the open unit disk. Two analytic functions ${\varrho }_1,{\varrho }_2$ in $\mathbb{O}$ are subordinated ( ${\varrho }_1\prec {\varrho }_2$ or ${\varrho }_1\left(\chi \right)\prec {\varrho }_2\left(\chi \right),\chi \in \mathbb{O}$) if an analytic function $w,\left|w\right|\le \left|\chi \right|<1$ occurs that fulfils

$${\varrho }_1\left(\chi \right)={\varrho }_2\left(w\left(\chi \right)\right),\chi \in \mathbb{O}.$$

Definition 2.

A class of analytic functions of the power series

$$\varrho \left(\chi \right)=\chi +\sum _{n=2}^{\infty }{\varrho }_n{\chi }^n,\chi \in \mathbb{O}$$

denoted by Δ and known as the class of univalent functions which is called the normalized subclass with the normalization equation $\varrho \left(0\right)={\varrho }^{\prime }\left(0\right)-1=0.$

Moreover, the normalized functions $\kappa ,\eta \in \Delta$ are called convoluted ( $\kappa *\eta$) if

$$(\kappa *\eta )\left(\chi \right)=\left(\chi +\sum _{n=2}^{\infty }{\kappa }_n{\chi }^n\right)*\left(\chi +\sum _{n=2}^{\infty }{\eta }_n{\chi }^n\right)$$

$$=\chi +\sum _{n=2}^{\infty }{\kappa }_n{\eta }_n{\chi }^n.$$

Definition 3.

The generalized Mittag–Leffler function is powered as follows: [11]

$${\mathcal{E}}_{\nu ,\mu }^{\vartheta }\left(\chi \right)=\sum _{n=0}^{\infty }{\displaystyle \frac{{\left(\vartheta \right)}_n}{\Gamma (\nu n+\mu )}}{\displaystyle \frac{{\chi }^n}{n!}},$$

where ${\left(\vartheta \right)}_n$ indicates the Pochhammer operator. Note that [6]

$${\mathcal{E}}_{\nu ,\mu }^1\left(\chi \right)={\mathcal{E}}_{\nu ,\mu }\left(\chi \right)=\sum _{n=0}^{\infty }{\displaystyle \frac{{\chi }^n}{\Gamma (\nu n+\mu )}}.$$

and

$${\mathcal{E}}_{\nu ,\mu }^{\vartheta }(-{\chi }^{\nu })=\sum _{n=0}^{\infty }{(-1)}^n{\displaystyle \frac{{\left(\vartheta \right)}_n}{\Gamma (\nu n+\mu )}}{\displaystyle \frac{{\chi }^{n\nu }}{n!}}.$$

2.2. ABC-Fractional Differential Operator

Atangana and Baleanu [12] presented a new fractional operator, which is extended to the complex plane [13]:

$${}^C{\Delta }^{\nu }h\left(\chi \right)={\displaystyle \frac{\beta \left(\nu \right)}{2\pi i(1-\nu )}}{\int }_{\mathbb{D}}{h}^{\prime }\left(\zeta \right){\mathcal{E}}_{\nu }(-{\mu }_{\nu }{(\chi -\zeta )}^{\nu })d\zeta ,$$

(1)

where $\beta \left(\nu \right)$ is normalized by $\beta \left(0\right)=\beta \left(1\right)=1$ and ${\mathcal{E}}_{\nu }\left(\omega \right)$ is the Mittag–Leffler function. Additionally, they familiarized the succeeding fractional differential operator

$${}^R{\Delta }^{\nu }h\left(\chi \right)={\displaystyle \frac{\beta \left(\nu \right)}{2\pi i(1-\nu )}}{\displaystyle \frac{d}{d\chi }}{\int }_{\mathbb{D}}h\left(\zeta \right){\mathcal{E}}_{\nu }(-{\mu }_{\nu }{(\chi -\zeta )}^{\nu })d\zeta ,$$

(2)

$$\left({\mu }_{\nu }={\displaystyle \frac{\nu }{1-\nu }},\nu \in [0,1],\mathbb{D}=\{\chi +r{e}^{i\pi }(\chi -t):0<r<1\}\right).$$

Definition 4.

Let$\varrho \in \Delta .$Then, the ABC-fractional operators of (1) and (2) are given by the next integrals correspondingly

$${}^C{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)={\displaystyle \frac{\beta \left(\nu \right)}{1-\nu }}{\int }_0^{\chi }{\varrho }^{\prime }\left(\zeta \right){\mathcal{E}}_{\nu ,\upsilon }(-{\mu }_{\nu }{\zeta }^{\nu }){\mathcal{E}}_{\nu }(-{\mu }_{\nu }{(\chi -\zeta )}^{\nu })d\zeta ,$$

(3)

and

$${}^R{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)={\displaystyle \frac{\beta \left(\nu \right)}{1-\nu }}{\displaystyle \frac{d}{d\chi }}{\int }_0^{\chi }\varrho \left(\zeta \right){\mathcal{E}}_{\nu ,\upsilon }(-{\mu }_{\nu }{\zeta }^{\nu }){\mathcal{E}}_{\nu }(-{\mu }_{\nu }{(\chi -\zeta )}^{\nu })d\zeta ,$$

(4)

where υ designates the power of $\chi .$ Furthermore, we ensure that ϱ is analytic in simply connected region of the complex z-plane involving the origin, and the multiplicity of $(\chi -\zeta )$ is flouted by representing $log(\chi -\zeta )$ as real when $\Re (\chi -\zeta )>0.$

Example 1.

For instance, let $\varrho \left(\chi \right)=\chi ,$; then, from Theorem 2.4 [14] or Theorem 11.2 [15], we arrange

$$\begin{array}{cc}\hfill {}^C{\Delta }_{\chi }^{\nu }\left(\chi \right)& =(\beta \left(\nu \right)/1-\nu ){\int }_0^{\chi }{\mathcal{E}}_{\nu }(-{\mu }_{\nu }{\zeta }^{\nu }){\mathcal{E}}_{\nu }(-{\mu }_{\nu }{(\chi -\zeta )}^{\nu })d\zeta \hfill \\ \hfill & =(\beta \left(\nu \right)/1-\nu )\chi {\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })\hfill \\ \hfill & =(\beta \left(\nu \right)/1-\nu )\chi \sum _{k=0}^{\infty }{\displaystyle \frac{{\left(2\right)}_k{\chi }^k}{k!\Gamma (k\nu +2)}}.\hfill \end{array}$$

$$\left({\left(u\right)}_0=1,{\left(u\right)}_n=u(u+1)...(u+n-1)\right)$$

Based on [14], Theorem 2.2, we obtain

$$\begin{array}{cc}\hfill {}^R{\Delta }_{\chi }^{\nu }\left(\chi \right)& =(\beta \left(\nu \right)/1-\nu ){\displaystyle \frac{d}{d\chi }}{\int }_0^{\chi }{\mathcal{E}}_{\nu }(-{\mu }_{\nu }{\zeta }^{\nu }){\mathcal{E}}_{\nu }(-{\mu }_{\nu }{(\chi -\zeta )}^{\nu })\zeta d\zeta \hfill \\ \hfill & =(\beta \left(\nu \right)/1-\nu ){\left({\chi }^2{\mathcal{E}}_{\nu ,3}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })\right)}^{\prime }\hfill \\ \hfill & =(\beta \left(\nu \right)/1-\nu )\left(\chi {\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })\right).\hfill \end{array}$$

Obviously, we obtain

$${}^C{\Delta }_{\chi }^{\nu }\left(\chi \right)={}^R{\Delta }_{\chi }^{\nu }\left(\chi \right).$$

Generally, we obtain

$${}^C{\Delta }_{\chi }^{\nu }\left({\chi }^n\right)=(\beta \left(\nu \right)/1-\nu )n{\chi }^n\left({\mathcal{E}}_{\nu ,1+n}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })\right),n\ge 1,$$

$${}^R{\Delta }_{\chi }^{\nu }\left({\chi }^n\right)=(\beta \left(\nu \right)/1-\nu ){\chi }^n\left({\mathcal{E}}_{\nu ,1+n}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })\right).$$

Next, we investigate some possessions of the exceeding operators.

Example 2.

For a function$\varrho \in \Delta ,$we have the following normalized operators

$${}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right):={\displaystyle \frac{{}^C{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)}{♭\left(\nu \right){\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })}}\in \Delta$$

and

$${}^{\mathfrak{R}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right):={\displaystyle \frac{{}^R{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)}{♭\left(\nu \right){\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })}}\in \Delta ,$$

where$♭\left(\nu \right):=\left(\beta \right(\nu )/1-\nu ).$

Proof. 

For $\varrho \in \Delta ,$ a calculation gives

$$\begin{array}{cc}\hfill {}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)& ={\displaystyle \frac{{}^C{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)}{♭\left(\nu \right){\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })}}\hfill \\ \hfill & ={\displaystyle \frac{♭\left(\nu \right){\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })\chi +{\sum }_{n=2}^{\infty }{\varrho }_n♭\left(\nu \right)n\left({\mathcal{E}}_{\nu ,1+n}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })\right){\chi }^n}{♭\left(\nu \right){\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })}}\hfill \\ \hfill & =\chi +\sum _{n=2}^{\infty }{\varrho }_{n}n\left({\displaystyle \frac{{\mathcal{E}}_{\nu ,1+n}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })}{{\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })}}\right){\chi }^n\hfill \\ \hfill & \Rightarrow {}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)\in \Delta .\hfill \end{array}$$

Similarly, we have ${}^{\mathfrak{R}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)\in \Delta .$ □

Note that, when $\left({\displaystyle \frac{{\mathcal{E}}_{\nu ,1+n}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })}{{\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })}}\right)\approx 1,$, we obtain the formula

$${}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)=\chi +\sum _{n=2}^{\infty }{\varrho }_{n}n{\chi }^n,$$

which for k-times (${}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }*...{*}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)$), we obtain the Salagean derivative operator [16].

2.3. Q-Calculus

For a number $\varpi \in \mathbb{C}$, the q-shifted factorials is formulated by the formal [17]

$$\begin{array}{c}\hfill {(\varpi ;q)}_{\ell }=\prod _{ı=0}^{\ell -1}(1-q^{ı}\varpi ),\ell \in \mathbb{N},{(\varpi ;q)}_0=1.\end{array}$$

(5)

According to (5), and in terms of gamma function, we obtain the q-shifted formula

$$\begin{array}{c}\hfill {(q^{\varpi };q)}_{\ell }={\displaystyle \frac{{\Gamma }_q(\varpi +\ell ){(1-q)}^{\ell }}{{\Gamma }_q\left(\varpi \right)}},{\Gamma }_q\left(\varpi \right)={\displaystyle \frac{{(q;q)}_{\infty }{(1-q)}^{1-\varpi }}{{(q^{\varpi };q)}_{\infty }}}\end{array}$$

(6)

where

$${\Gamma }_q(\varpi +1)={\displaystyle \frac{{\Gamma }_q\left(\varpi \right)(1-q^{\varpi })}{1-q}},q\in (0,1).$$

and

$$\begin{array}{c}\hfill {(\varpi ;q)}_{\infty }=\prod _{ı=0}^{\infty }(1-q^{ı}\varpi ).\end{array}$$

(7)

Jackson derivative is formulated in the following difference operator

$$\begin{array}{c}\hfill {\partial }_{q}h\left(\chi \right)={\displaystyle \frac{h\left(\chi \right)-h\left(q\chi \right)}{\chi (1-q)}}\end{array}$$

(8)

such that

$${\partial }_q\left({\chi }^v\right)=\left({\displaystyle \frac{1-q^v}{1-q}}\right){\chi }^{v-1}.$$

Moreover, the notion of q-binomial formula achieves the equality

$$\begin{array}{c}\hfill {(\vartheta -\upsilon )}_b={\vartheta }^b{\left({\displaystyle \frac{-\upsilon }{\vartheta }};q\right)}_b.\end{array}$$

(9)

In [18], the authors presented the q-Mittag–Leffler function as follows:

$$\begin{array}{c}\hfill {\mathcal{E}}_{\nu ,\mu }^{\vartheta }(\chi ;q)=\sum _{n=0}^{\infty }{\displaystyle \frac{{\left(q^{\vartheta };q\right)}_n}{{(q;q)}_n}}{\displaystyle \frac{{\chi }^n}{{\Gamma }_q(\nu n+\mu )}}\end{array}$$

(10)

Based on q- Mittag–Leffler function, we have the q-ABC fractional operator acting on $\varrho \in \Delta$

$$\begin{array}{cc}\hfill {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q& ={\displaystyle \frac{♭\left(\nu \right){\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu })\chi +{\sum }_{n=2}^{\infty }{\varrho }_n♭\left(\nu \right){\left[n\right]}_q\left({\mathcal{E}}_{\nu ,1+n}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu };q)\right){\chi }^n}{♭\left(\nu \right){\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu };q)}}\hfill \\ \hfill & =\chi +\sum _{n=2}^{\infty }{\varrho }_n{\left[n\right]}_q\left({\displaystyle \frac{{\mathcal{E}}_{\nu ,1+n}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu };q)}{{\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu };q)}}\right){\chi }^n\hfill \\ \hfill & :=\chi +\sum _{n=2}^{\infty }{\varrho }_n{\left[n\right]}_q{\left[{\Xi }_n\right]}_q{\chi }^n\hfill \\ \hfill & \Rightarrow {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q\in \Delta ,\hfill \end{array}$$

where

$${\left[n\right]}_q={\displaystyle \frac{1-q^n}{1-q}},{\left[{\Xi }_n\right]}_q=\left({\displaystyle \frac{{\mathcal{E}}_{\nu ,1+n}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu };q)}{{\mathcal{E}}_{\nu ,2}^2(-{\mu }_{\nu }{\left(\chi \right)}^{\nu };q)}}\right),q\in (0,1).$$

More investigations and applications of q-calculus can be located in [19,20,21,22].

3. Lemmas

The results of this investigation are based on the differential subordination theory via the following preliminaries:

Lemma 1.

[10] Let two analytic functions $\phi \left(\chi \right)$ and $\psi \left(\chi \right)$ be convex univalent defined in $\mathbb{O}$ such that $\phi \left(0\right)=\psi \left(0\right).$ Moreover, for a constant $t\ne 0,\Re \left(t\right)\ge 0,$ the subordination

$$\phi \left(\chi \right)+(1/t){\phi }^{\prime }\left(\chi \right)\prec \psi \left(\chi \right)$$

implies that

$$\phi \left(\chi \right)\prec \psi \left(\chi \right).$$

Lemma 2.

[10] Define the general class of analytic functions

$$\mathbb{A}[a,n]=\{g:g\left(\chi \right)=a+a_n{\chi }^n+a_{n+1}{\chi }^{n+1}+\cdots \},$$

where $a\in \mathbb{C}$ and n is a positive integer. If $t\in \mathbb{R}$, then

$$\Re \{g\left(\chi \right)+t\chi g^{\prime }\left(\zeta \right)\}>0\Rightarrow \Re \left(g\left(\chi \right)\right)>0.$$

Moreover, if $t>0$ and $g\in \mathbb{A}[1,n],$ then there are fixed numbers $c_1>0$ and $c_2>0$ such that the inequality

$$g\left(\chi \right)+t\chi g^{\prime }\left(\chi \right)\prec {\left({\displaystyle \frac{1+\chi }{1-\chi }}\right)}^{c_1}$$

yields

$$g\left(\chi \right)\prec {\left({\displaystyle \frac{1+\chi }{1-\chi }}\right)}^{c_2}.$$

Lemma 3.

(See [23] .) Let $ħ,p\in \mathbb{A}[a,n]$, where p is convex univalent in Δ and for ${\mathbb{k}}_1,{\mathbb{k}}_2\in \mathbb{C},{\mathbb{k}}_2\ne 0;$ then,

$${\mathbb{k}}_1ħ\left(\chi \right)+{\mathbb{k}}_2\chi {ħ}^{\prime }\left(\chi \right)\prec {\mathbb{k}}_{1}p\left(\chi \right)+{\mathbb{k}}_2\chi p^{\prime }\left(\chi \right)\to ħ\left(\chi \right)\prec p\left(\chi \right).$$

Lemma 4.

(See [24] .) Let $g,p\in \mathbb{A}[a,n]$, where p is convex univalent in Δ such that $g\left(\chi \right)+\mathbb{k}\chi g^{\prime }\left(\chi \right)$ is univalent; then,

$$p\left(\chi \right)+\mathbb{k}\chi p^{\prime }\left(\chi \right)\prec g\left(\chi \right)+\mathbb{k}\chi g^{\prime }\left(\chi \right)\to p\left(\chi \right)\prec g\left(\chi \right).$$

Lemma 5.

(See [25] .) Let $ħ,\hslash ,g\in \mathbb{A}[a,n]$ and g is convex univalent in $\mathbb{O}$ such that $ħ\prec g$ and $\hslash \prec g$; then,

$$\mathbb{k}ħ+(1-\mathbb{k})\hslash \prec g,\mathbb{k}\in [0,1].$$

4. Results

Our investigation is about the following class:

Definition 5.

A function $\varrho \in \Delta$ is called in the class ${\left[{\Sigma }_{\sigma }^{\nu }\left(p\right)\right]}_q$ if it satisfies the inequality

$$\left({\displaystyle \frac{1-\sigma }{\chi }}\right){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }\prec p\left(\chi \right)={\displaystyle \frac{a\chi +1}{b\chi +1}}.$$

(11)

$$\left(\chi \in \mathbb{O},\nu ,\sigma \in [0,1],-1\le b<a\le 1\right),$$

where p is convex univalent in $\mathbb{O}$.

For example,

$$p\left(\chi \right)={\displaystyle \frac{a\chi +1}{b\chi +1}}={{\rm Y}}_{a,b}\left(\chi \right),$$

which is univalent convex in $\mathbb{O}$ and it is the extreme function in the set

$$\mathcal{P}:=\{p\in \mathbb{O}:p\left(\chi \right)=1+\sum _{n=1}^{\infty }{p}_i{\chi }^n\}.$$

Define a functional $\Psi :\mathbb{O}\to \mathbb{O},$ as follows:

$$\begin{array}{c}\hfill \Psi \left(\chi \right):=\left({\displaystyle \frac{1-\sigma }{\chi }}\right){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }\end{array}$$

(12)

Shortly, by Definition 5, we have the following inequality

$$\Psi \left(\chi \right)\prec {{\rm Y}}_{a,b}\left(\chi \right):={\displaystyle \frac{a\chi +1}{b\chi +1}},\chi \in \mathbb{O}.$$

Theorem 1.

Suppose that $\varrho \in {\left[{\Sigma }_{\sigma }^{\nu }\left(p\right)\right]}_q$. If

$$\begin{array}{cc}\hfill \Re \{\Psi (\chi \left)\right\}& =\Re \left\{1+\sum _{n=1}^{\infty }\left[{\varrho }_{n+1}{[n+1]}_q{\left[{\Xi }_{n+1}\right]}_q\left(1+\sigma n\right){\chi }^n\right]\right\}\hfill \\ \hfill & :=\Re \left\{1+\sum _{n=1}^{\infty }{\Psi }_n\right\}>0\hfill \end{array}$$

then the coefficient bounds of Ψ satisfy the inequality

$${\displaystyle \frac{|{\Psi }_n|}{2}}\le {\int }_0^{2\pi }\left|e^{-in\theta }\right|d\mathfrak{M}\left(\theta \right),$$

where $d\mathfrak{M}$ is a probability measure. Additionally, if

$$\Re \left(e^{i\vartheta }\Psi \left(\chi \right)\right)>0,\chi \in \mathbb{O},\vartheta \in \mathbb{R}$$

then, $\varrho \in {[{\Sigma }_{\sigma }^{\nu }\left({\displaystyle \frac{a\chi +1}{b\chi +1}}\right)]}_q$ that is

$$\Psi \left(\chi \right)\approx {\displaystyle \frac{a\chi +1}{b\chi +1}},\chi \in \mathbb{O}.$$

Proof. 

By the assumption, we have

$$\Re (\Psi \left(\chi \right))=\Re \left(1+\sum _{n=1}^{\infty }{\Psi }_n{\chi }^n\right)>0.$$

Thus, the Carathéodory positivist method implies

$$|{\varrho }_n|\le 2{\int }_0^{2\pi }\left|e^{-in\theta }\right|d\mathfrak{M}\left(\theta \right),$$

where $d\mathfrak{M}$ is a probability measure. In addition, if

$$\Re \left(e^{i\vartheta }\Psi \left(\chi \right)\right)>0,\chi \in \mathbb{O},\vartheta \in \mathbb{R}$$

then according to [26], Theorem 1.6, and for fixed $\vartheta \in \mathbb{R},$ we have

$$\Psi \left(\chi \right)\approx p\left(\chi \right)={\displaystyle \frac{a\chi +1}{b\chi +1}},\chi \in \mathbb{O}.$$

Hence, $\varrho \in {[{\Sigma }_{\sigma }^{\nu }\left({\displaystyle \frac{a\chi +1}{b\chi +1}}\right)]}_q.$ □

The next outcomes indicate the sufficient and necessary conditions for the sandwich behavior of the functional $\Psi \left(\chi \right).$

Theorem 2.

Let the following assumptions hold

$$\begin{array}{cc}\hfill & \sigma \chi {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{″}+{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }\prec p_2\left(\chi \right)+\chi p_2^{\prime }\left(\chi \right),\hfill \end{array}$$

(13)

where $p_2\left(0\right)=1$ and convex in $\mathbb{O}.$ Moreover, let $\Psi \left(\chi \right)$ be univalent in $\mathbb{O}$ such that $\Psi \in \mathbb{H}[p_1\left(0\right),1]\cap \mathbb{Q},$, where $\mathbb{Q}$ represents the set of all (1-1) analytic functions f with ${lim}_{\chi \in \partial \mathbb{O}}f\ne \infty$ and

$$\begin{array}{cc}\hfill & p_1\left(\chi \right)+\chi p_1^{\prime }\left(\chi \right)\prec \sigma \chi {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{″}+{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }.\hfill \end{array}$$

(14)

Then,

$$p_1\left(\chi \right)\prec \Psi \left(\chi \right)\prec p_2\left(\chi \right)$$

and $p_1\left(\chi \right)$ is the best sub-dominant and $p_2\left(\chi \right)$ is the best dominant.

Proof. 

Since,

$$\Psi \left(\chi \right)=\left({\displaystyle \frac{1-\sigma }{\chi }}\right){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }$$

then a computation yields

$$\begin{array}{cc}\hfill \Psi \left(\chi \right)+\chi {\Psi }^{\prime }\left(\chi \right)& =\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }\hfill \\ \hfill & +{\displaystyle \frac{(\chi (\sigma \chi {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{″}-(\sigma -1){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime })+(\sigma -1){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q)}{\chi }}\hfill \\ \hfill & +{\displaystyle \frac{\left((1-\sigma ){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q\right)}{\chi }}\hfill \\ \hfill & =\sigma \chi {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{″}+{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }.\hfill \end{array}$$

As a consequence, we obtain the next double inequality

$$\begin{array}{cc}\hfill p_1\left(\chi \right)+\chi p_1^{\prime }\left(\chi \right)& \prec \Psi \left(\chi \right)+\chi {\Psi }^{\prime }\left(\chi \right)\prec p_2\left(\chi \right)+\chi p_2^{\prime }\left(\chi \right).\hfill \end{array}$$

Thus, Lemmas 3 and 4 imply the desired assertion. □

Theorem 3.

Let p be a univalent convex function in $\mathbb{O}$ such that $\upsilon \left(0\right)=0$ and

$${{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q\prec \upsilon \left(\chi \right),{{[}^{\mathfrak{R}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q\prec \upsilon \left(\chi \right).$$

Then,

$$\mathbb{k}{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+(1-\mathbb{k}){{[}^{\mathfrak{R}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q\prec \upsilon \left(\chi \right),\mathbb{k}\in [0,1].$$

Proof. 

By the definition of $\left[{\mathcal{Q}}^{m\alpha }\psi \left(\zeta \right)\right]$ and $\left[{\mathcal{L}}^{m\alpha }\psi \left(\zeta \right)\right],$ clearly we have

$$\mathbb{k}{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+(1-\mathbb{k}){{[}^{\mathfrak{R}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q\in \Delta .$$

Hence, a direct application of Lemma 5, we obtain the result. □

Theorem 4.

Let ${\sigma }_2\le {\sigma }_1<0$ and $\varrho \in \Delta .$ Then

$${\left[{\Sigma }_{{\sigma }_2}^{\nu }\left(p\right)\right]}_q\subset {\left[{\Sigma }_{{\sigma }_1}^{\nu }\left(p\right)\right]}_q.$$

Proof. 

Let $\varrho \in {\left[{\Sigma }_{{\sigma }_2}^{\nu }\left(p\right)\right]}_q.$ Define the analytic function in $\mathbb{O}$, as follows:

$$\varphi \left(\chi \right)={\displaystyle \frac{{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q}{\chi }},$$

satisfying $\varphi \left(0\right)=1.$ A computation implies that

$$\left({\displaystyle \frac{1-{\sigma }_2}{\chi }}\right){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+{\sigma }_2{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }=\varphi \left(\chi \right)+{\sigma }_2\left(\chi {\varphi }^{\prime }\left(\chi \right)\right).$$

(15)

This leads to

$$\varphi \left(\chi \right)+{\sigma }_2\left(\chi {\varphi }^{\prime }\left(\chi \right)\right)\prec {\displaystyle \frac{a\chi +1}{b\chi +1}}$$

Applying Lemma 1 with ${\sigma }_2>0$ gives

$$\varphi \left(\chi \right)\prec {\displaystyle \frac{a\chi +1}{b\chi +1}}.$$

(16)

Since $0<{\sigma }_1/{\sigma }_2<1$ and ${\displaystyle \frac{a\chi +1}{b\chi +1}}$ is convex univalent in $\mathbb{O}$, we obtain

$$\begin{array}{ccc}& & \left({\displaystyle \frac{1-{\sigma }_1}{\chi }}\right){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+{\sigma }_1{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }\hfill \\ & =& (1-{\sigma }_1)\varphi \left(\chi \right)+{\sigma }_1{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }\hfill \\ & =& (1-{\sigma }_1)\varphi \left(\chi \right)+{\sigma }_1\left(\zeta {\varphi }^{\prime }\left(\chi \right)+\varphi \left(\chi \right)\right),\hfill \\ & =& (1-{\sigma }_1)\varphi \left(\chi \right)+{\sigma }_1\left(\chi {\varphi }^{\prime }\left(\chi \right)+\varphi \left(\chi \right)\right)+\left(\frac{{\sigma }_1}{{\sigma }_2}\varphi \left(\chi \right)-\frac{{\sigma }_1}{{\sigma }_2}\varphi \left(\chi \right)\right)\hfill \\ & =& \frac{{\sigma }_1}{{\sigma }_2}(1-{\sigma }_2)\varphi \left(\chi \right)+{\sigma }_2\left(\chi {\varphi }^{\prime }\left(\chi \right)+\varphi \left(\chi \right)\right)+\left(1-\frac{{\sigma }_1}{{\sigma }_2}\right)\varphi \left(\chi \right)\hfill \\ & =& \frac{{\sigma }_1}{{\sigma }_2}\left[\frac{(1-{\sigma }_2)}{\chi }{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+{\sigma }_2{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }\right]+\left(1-\frac{{\sigma }_1}{{\sigma }_2}\right)\varphi \left(\chi \right)\hfill \\ & \prec & {\displaystyle \frac{a\chi +1}{b\chi +1}}=p\left(\chi \right).\hfill \end{array}$$

Hence, by Definition 5, we conclude that $\varrho \in {\left[{\Sigma }_{{\sigma }_1}^{\nu }\left(p\right)\right]}_q.$ □

Theorem 5.

Let

$$\Psi \left(\zeta \right)={\displaystyle \frac{(1-\sigma )}{\chi }}{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }$$

then

$$\begin{array}{cc}& \frac{{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }}{\chi }{ħ}_1+{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q[{ħ}_1+3{ħ}_2]+{ħ}_2\chi {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{″}\prec {\left({\displaystyle \frac{1+\chi }{1-\chi }}\right)}^{c_1}\\ & \Rightarrow \Psi \left(\chi \right)\prec {\left({\displaystyle \frac{1+\chi }{1-\chi }}\right)}^{c_2}\end{array}$$

where $c_1>0,c_2>0,{ħ}_1=1-\sigma ,{ħ}_2=\sigma >0.$

Proof. 

A calculation implies that

$$\begin{array}{ccc}\hfill \Psi \left(\chi \right)+\chi {\Psi }^{\prime }\left(\chi \right)& =& {\displaystyle \frac{(1-\sigma )}{\chi }}{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }\hfill \\ & +& \chi {\left({\displaystyle \frac{(1-\sigma )}{\chi }}{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }\right)}^{\prime }\hfill \\ & =& \frac{{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }}{\chi }{ħ}_1+{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q[{ħ}_1+3{ħ}_2]+{ħ}_2\chi {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{″}\hfill \\ & \prec & {\left({\displaystyle \frac{1+\chi }{1-\chi }}\right)}^{c_1}\hfill \end{array}$$

According to Lemma 2 with $t=1,$ we obtain

$$\Psi \left(\chi \right)\prec {\left({\displaystyle \frac{1+\chi }{1-\chi }}\right)}^{c_2}.$$

□

5. Application

By employing the concept of fractional calculus, we formulate the fractional 2D-shallow water equation in view of the suggested operator q-operator ${{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q,$ which is formulated in the class ${[{\Sigma }_{\sigma }^{\nu }\left({\displaystyle \frac{1+\chi }{1-\chi }}\right)]}_q.$ We investigate the upper bound of the 2D-shallow water equation of diffusive wave (this equation is measured at the level of the water). The formula is simply given as follows:

$$\left({\displaystyle \frac{1-\sigma }{\chi }}\right){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }={\displaystyle \frac{a\chi +1}{b\chi +1}},$$

(17)

$$\left({{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(0\right)]}_q=0,q\in (0,1),\sigma \in [0,1],\chi \in \mathbb{O}\right)$$

where $\varrho$ is the height deviation of the horizontal pressure surface at two-dimensional position $\chi =\alpha +i\beta$ and ${{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q$ represents the bed slope. We have the following result describing the solution of (17).

Theorem 6.

Consider the class of analytic functions ${[{\Sigma }_{\sigma }^{\nu }\left({\displaystyle \frac{1+\chi }{1-\chi }}\right)]}_q,\sigma \in (0,1].$ Then, the solution of the differential equation corresponding to this class is

$$\begin{array}{c}\hfill {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q\approx \chi \left({\displaystyle \frac{2\chi {}_2{F}_1(1,1+\frac{1}{\sigma },2+\frac{1}{\sigma },\chi )}{\sigma +1}}+1\right),\end{array}$$

(18)

where ${}_2{F}_1(a,b,c;\chi )$ represents the hypergeometric function.

Proof. 

Suppose that $\varrho \in {[{\Sigma }_{\sigma }^{\nu }\left({\displaystyle \frac{1+\chi }{1-\chi }}\right)]}_q.$ Then, it yields the differential equation

$$\left({\displaystyle \frac{1-\sigma }{\chi }}\right){{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }={\displaystyle \frac{\omega \left(\chi \right)+1}{1-\omega \left(\chi \right)}},$$

where $\omega \left(0\right)=0$ and $\left|\omega \right|\le \left|\chi \right|<1.$ This implies the integral equation

$${{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q={\chi }^{(\sigma -1)/\sigma }{\int }_0^{\chi }-z^{1/(\sigma -1)}\left({\displaystyle \frac{\omega \left(z\right)+1}{\sigma \left(\omega \right(z)-1)}}\right)dz.$$

To find the upper solution, we let $\omega \left(\chi \right)=\chi .$ Thus, we have the differential equation

$${\displaystyle \frac{(1-\sigma )}{\chi }}{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q+\sigma {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }={\displaystyle \frac{\chi +1}{1-\chi }}.$$

Rewrite the above equation as follows:

$${{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }+{\displaystyle \frac{1-\sigma }{\sigma \chi }}{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q=\left(\frac{1}{\sigma }\right)\left({\displaystyle \frac{1+\chi }{1-\chi }}\right).$$

Multiplying the above equation by the functional

$$\tau \left(\chi \right)=exp\left(\int \frac{1-\sigma }{\sigma \chi }d\chi \right),$$

then, we obtain

$${\chi }^{1/\sigma -1}{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q^{\prime }-{\displaystyle \frac{{{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q\left((1-\sigma ){\chi }^{1/\sigma -2}\right)}{\sigma }}=\left(\frac{{\chi }^{1/\sigma -1}}{\sigma }\right)\left({\displaystyle \frac{1+\zeta }{1-\zeta }}\right).$$

Hence, it yields solution (18). □

Example 3.

For, $\sigma =0.5,$ and in view of Theorem 6, we have the solution (see Figure 1)

$$\begin{array}{cc}\hfill {{[}^{\mathfrak{C}}{\Delta }_{\chi }^{\nu }\varrho \left(\chi \right)]}_q& \approx \chi \left({\displaystyle \frac{2\chi {}_2{F}_1(1,1+\frac{1}{0.5},2+\frac{1}{0.5},\chi )}{0.5+1}}+1\right)\hfill \\ \hfill & =\chi +1.33333{\chi }^2+{\chi }^3+0.8{\chi }^4+0.666667{\chi }^5+0.571429{\chi }^6+O\left({\chi }^7\right),\left|\chi \right|<1\hfill \\ \hfill & =\chi +1.33333{\chi }^2\sum _{n=0}^{\infty }{\displaystyle \frac{{\chi }^n{\left(1\right)}_n{\left(3\right)}_n}{n!{\left(4\right)}_n}}.\hfill \end{array}$$

6. Conclusions

• The above investigation shows the extension of the ABC-fractional operator in the open unit disk and its generalization by using Jackson calculus. We expressed it in a linear convolution operator acting on a normalized analytic function. A class of analytic functions is studied involving the suggested operator. As an application, we consider the 2D-shallow water differential equation. We discovered its solution in terms of a special function-type hypergeometric function. Moreover, we indicated that the solution is also in the class of normalized analytic functions.
• For future works, we suggest modifying the operator acting on different classes of holomorphic functions including the multi-valent, meromorphic and harmonic functions in the open unit disk.