Certain Subclasses of Analytic Multivalent Functions Associated with Petal-Shape Domain

: In this article, we introduce a new class of multivalent analytic functions associated with petal-shape region. Furthermore, some useful properties, such as the Fekete–Szegö inequality, and their consequences for some special cases are discussed. For some speciﬁc value of function f , we obtain sufﬁcient conditions for multivalent starlike functions connected with petal-shape domain. Finally, in the concluding section, we draw the attention of the interested readers toward the prospect of studying the basic or quantum (or q -) generalizations of the results, which are presented in this paper. However, the ( p , q ) -variations of the suggested q -results will provide a relatively minor and inconsequential development because the additional (rather forced-in) parameter p is obviously redundant.


Introduction and Motivation
To understand our main results and the notations used in this paper in a better way, some basic literature of Geometric Function Theory is presented here. For this understanding, we start with the class A, the class of all regular or analytic functions f in the open unit disk D ={z : z ∈ C and |z| < 1} (1) and satisfying the conditions f (0) = 0 and f (0) = 1.
Further, the class S represents all regular univalent functions f of class A. Let B 0 be the class of Schwarz regular functions w such that w : D → D with property that w(0) = 0 and has power series expansion Furthermore, we briefly discuss the notion of subordinations; let Λ 1 , Λ 2 ∈ A, then Λ 1 , is said to subordinate to Λ 2 symbolically: if there exists an analytic function w(z) with properties that w(0) = 0 and |w(z)| < 1, such that Λ 1 (z) = Λ 2 (w(z)).
Utilizing the idea of subordinations, different subclasses of starlike functions were introduced by Ma and Minda [1], in which the quantity z f (z)/ f (z) is subordinated to a more general maximal function Φ such that In some particular cases, if we put Φ(z) = 1 + Lz 1 + Mz , then such functions are known as Janowski functions with condition on L and M is −1 ≤ M < L ≤ 1. These functions map the open unit disk to the disk in the right half plane with center on real axis and the end points of diameter are 1 + L 1 + M and 1 − L 1 − M (see [2]). If we vary Φ(z) to 1 + 4 3 z + 2 3 z 2 , then the image of Φ(z) under open unit disk is bounded by cardioid; this case was studied by Sharma et al. [3]. Cho et al. [4] extended the idea to trigonometric function by replacing Φ(z) by 1 + sin(z). Furthermore, we put Φ(z) = 2/1 + e −z ; this class was introduced by Goel and Kumar [5], in which they connected starlike functions to modified sigmoid functions. For more details of the above-mentioned interesting topics, we refer the reader to [6][7][8][9]. Recently, Ali et al. [10] obtained some conditions on α, where α is any real number, such that where g is a regular function defined on D with g(0) = 1. Similar findings were carried out by various authors such as Kumar et al. [7,11,12], Paprocki and Sokół [13], Ahmad et al. [14], and Sharma et al. [15]. Let A p denote the family of all regular p-valent functions f in the open disk D having series representation In recent years, many authors have studied the subclasses of multivalent (p-valent) functions from different viewpoints and perspectives. For example, recently, Khan et al. [16,17] were essentially motivated by the Srivastava's published review article [18] and defined certain new families of multivalent q-starlike functions and studied some of their entrusting properties, such as inclusion results, radius problems, and sufficient conditions. Furthermore, Rehman et al. [19] defined and studied generalized subclasses of multivalent starlike functions. Recently, many well-known mathematicians have obtained the Fekete-Szegö functional for different subclasses of analytic and bi-univalent functions, see for example [20][21][22][23][24].
Motivated by the above-mentioned work, we now introduce a new class S * p (pet) of analytic multivalent starlike functions associated with the petal-shape domain.

Definition 1.
A function f ∈ A p will be in the class S * p (pet) if it satisfies The function 1 + sinh −1 (z) is a multivalued function and has branch cuts along the line segments (−∞, −i) ∪ (i, ∞) on the imaginary axis; hence, it is analytic in D and also the function 1 + sinh −1 (z) maps the open unit disk onto petal-shape region, for example, Remark 1. If we take p = 1, we have the class of analytic starlike functions associated with petal-shape domain introduced and studied by Kumar and Arora [25].
In this article, we first introduced a new class of multivalent analytic functions associated with petal-shape region. Some useful properties have been discussed, such as Fekete-Szegö inequality and their consequences to some special cases, and also evaluating conditions on α so that the following holds z p is proved to be subordinated to 1 + sinh −1 (z). For some specific value of function g, we obtain sufficient conditions for multivalent starlike functions connected with the petal-shape domain.

A Set of Lemmas
To obtain our results, we need the following important Lemmas. Lemma 1. [26] Let w ∈ B 0 of the form (2), then for all λ ∈ C, we have

Main Results
In this section, we start with the Fekete-Szegö problem for this newly defined class and their consequences to some special cases. Throughout our discussion, we assume that −1 ≤ M < L ≤ 1 and α ∈ R.

Theorem 1.
Let the function f be of the form (3) and f ∈ S * p (pet), then, Proof. For f to be in the class S * p (pet), there exists a Schwarz function ϕ(z) such that and From (7) and (8), we have From (9) and (10), we have using Lemma 1, we obtain the desired result (5). To prove (6), put λ = 0 in (5)-the desired result is achieved.
Corollary 2. Let f ∈ A be of the form (3) belongs to the class S * (pet). Then, and Theorem 2. Let g ∈ A p and be of the form (3) satisfying the condition

Proof. Let us define a function
where h(z) is analytic in D and h(0) = 1. Further, consider To prove our result, we are required to show that |w(z)| < 1. For this, consider Further, by Lemma 2, a number m ≥ 1 exists with In addition, we also suppose that Then, we have Clearly, k(m) is an increasing function; so, which is contradictory to the fact that Thus, |w(z)| < 1, and so, we obtain our desired result.
If we take g(z) = z p+1 f (z) p f (z) in Theorem 2, we have the following Corollary.
Corollary 3. If f is in the class A p , has the form (3), and satisfies the condition where the limitation on α is , then, f ∈ S * p (pet).
Proof. The proof is straightforward so it is left for the reader.
Clearly, k(m) is an increasing function; so, which is contradictory to the fact that h(z) ≺ 1 + Lz 1 + Mz . Thus, |w(z)| < 1, and so, we obtain our desired result.
If we take g(z) = z p+1 f (z) p f (z) in Theorem 3, we have the following Corollary.
Corollary 4. If f is in the class A p , has the form (3), and satisfies the condition where the limitation on α is |α| ≥ , then, f ∈ S * p (pet).
Proof. The proof is straightforward so it is left for the reader.

Theorem 4. Let g ∈ A p be of the form (3) and satisfy the condition
where the limitation on α is |α| ≥ then, g(z) z p ≺ 1 + sinh −1 (z).

Proof. Let us define a function
where h(z) is analytic in D and h(0) = 1. Further, consider To show our result, we are required to show that |w(z)| < 1. Now, and suppose there occurs a point z 0 ∈ D such that max |z|≤|z 0 | |w(z)| = |w(z 0 )| = 1.

Then, we have
which is contradictory to the fact that h(z) ≺ 1 + Lz 1 + Mz . Thus, |w(z)| < 1, and so, we obtain our desired result.

Corollary 5.
If the function f is in the class A p , has the form (3), and satisfies the condition where the limitation on α is |α| ≥ , then, f ∈ S * p (pet).
Theorem 5. Let g ∈ A p be of the form (3) satisfy the condition where the condition on α is then, g(z) z p ≺ 1 + sinh −1 (z).

Conclusions
In this article, a subclass of regular multivalent functions in petal-shape domain has been introduced. These functions are then characterized with the help of some useful properties such as Fekete-Szegö problems and consequences to some special cases are discussed. We also derived some differential subordination implementation results involving 1 + sinh −1 (z). These results can be generalized if we consider some other regions such as Lemniscate of Bernoulli region, cardioid region, nephroid domain, etc., instead of the Janowski domain.
In concluding our present investigation, we draw the attention of the interested readers toward the prospect of studying the basic or quantum (or q-) generalizations of the results we have developed in this paper. This direction of research was indeed influenced and motivated by a recently published survey-cum-expository review article by Srivastava [18]. However, as already demonstrated by Srivastava (see [18], p. 340; ( [28], Section 5, pp. 1511-1512)), the (p, q)-variations of the proposed q-results will lead trivially to inconsequential research, because the forced-in parameter p is obviously redundant. Furthermore, in light of Srivastava's more recent expository article [28], the interested readers should be advised not to be misled to believe that the so-called k-Gamma function provides a "generalization" of the classical (Euler's) Gamma function. Similar remarks will apply also to all usages of the so-called k-Gamma function, including (for example) the so-called (k, s)-extensions of the Riemann-Liouville and other operators of fractional integral and fractional derivatives.