Coefficient Inequalities of Functions Associated with Petal Type Domains

In the theory of analytic and univalent functions, coefficients of functions’ Taylor series representation and their related functional inequalities are of major interest and how they estimate functions’ growth in their specified domains. One of the important and useful functional inequalities is the Fekete-Szegö inequality. In this work, we aim to analyze the Fekete-Szegö functional and to find its upper bound for certain analytic functions which give parabolic and petal type regions as image domains. Coefficient inequalities and the Fekete-Szegö inequality of inverse functions to these certain analytic functions are also established in this work.


Introduction and Preliminaries
Let A be the class of functions f of the form which are analytic in the open unit disk U = {z : |z| < 1} and S be the class of functions from A which are univalent in U .One of the classical results regarding univalent functions related to coefficients a n of a function's Taylor series, named as the Fekete-Szegö problem, introduced by Fekete and Szegö [1], is defined as follows: If f ∈ S and is of the form (1), then This result is sharp.The Fekete-Szegö problem has a rich history in literature.Several results dealing with maximizing the non-linear functional a 3 − λa 2  2 for various classes and subclasses of univalent functions have been proved.The functional has been examined for λ to be both a real and complex number.Several authors used certain classified techniques to maximize the Fekete-Szegö functional a 3 − λa 2  2 for different types of functions having interesting geometric characteristics of image domains.For more details and results, we refer to [1][2][3][4][5][6][7][8][9][10][11].The function f is said to be subordinate to the function g, written symbolically as f ≺ g, if there exists a schwarz function w such that where w (0) = 0, |w (z)| < 1 for z ∈ U .Let P denote the class of analytic functions p such that p (0) = 1 and p ≺ 1+z 1−z , z ∈ U .For details, see [12].In 1991, Goodman [13] initiated the concept of a conic domain by introducing generalized convex functions which generated the first parabolic region as an image domain of analytic functions.He introduced and defined the class UCV of uniformly convex functions as follows: Later on, Rønning [14], and Ma and Minda [7] independently gave the most suitable one variable characterization of the class UCV and defined it as follows: This characterization gave birth to the first conic (parabolic) domain This domain was then generalized by Kanas and Wiśniowska [15,16] who introduced the domain The conic domain Ω k represents the right half plane for k = 0, hyperbolic regions when 0 < k < 1, parabolic region for k = 1 and elliptic regions when k > 1.For more details, we refer [15,16].This conic domain Ω k has been extensively studied in [17][18][19].The domain Ω was also generalized by Noor and Malik [20] by introducing the domain The domain Ω [A, B] represents the petal type region, for more details, we refer to [20].Now, we consider the following class of functions which take all values from the domain where p(z This fact leads us to the following implications of different well-known classes of analytic functions. 1. UP [A, B] ⊂ P 3−A 3−B , the well-known class of functions with real part greater than 3−A 3−B , see [12].2. UP [1, −1] = P ( p) , the well-known class of functions, introduced by Kanas and  Wiśniowska [4,21].Now we consider the following classes UCV [A, B] of uniformly Janowski convex functions and ST [A, B] of corresponding Janowski starlike functions (see [20] ) as follows.
In 1994, Ma and Minda [7] found the maximum bound of Fekete-Szegö functional a 3 − λa 2 2 for uniformly convex functions of class UCV and then Kanas [21] investigated the same for the functions of class P ( p) .Our aim is to solve this classical Fekete-Szegö problem for the functions of classes UP [A, B] , UCV [A, B] and ST [A, B] .We need the following lemmas (see [7]) to prove our results.
and the result is sharp for the functions When v < 0 or v > 1, the equality holds if and only if p (z) is 1+z 1−z or one of its rotations.If 0 < v < 1, then, the equality holds if and only if p (z) = 1+z 2 1−z 2 or one of its rotations.If v = 0, the equality holds if and only if, or one of its rotations.If v = 1, then, the equality holds if and only if p (z) is reciprocal of one of the function such that equality holds in the case of v = 0.Although the above upper bound is sharp, when 0 < v < 1, it can be improved as follows: and

Main Results
Theorem 1.
Then, for a complex number µ, we have and for a real number µ, we have These results are sharp and the equality in (6) holds for the functions then, the equality in (7) holds for the function p 2 (z) or one of its rotations.If µ = − π 2 12(A−B) − B+1 A−B , the equality in (7) holds for the function or one of its rotations.If µ = 5π 2 12(A−B) − B+1 A−B , then, the equality in (7) holds for the functions p (z) which is reciprocal of one of the function such that equality holds in the case for Proof.For h ∈ P and of the form h (z) = 1 + ∑ ∞ n=1 c n z n , we consider where w (z) is such that w (0) = 0 and |w (z)| < 1.It follows easily that (11), one may have [21].Using these, the above series reduces to Since p ∈ UP [A, B], so from relations (2), ( 3) and ( 12), one may have If p (z) = 1 + ∑ ∞ n=1 p n z n , then equating coefficients of z and z 2 , one may have Now for a complex number µ, consider This implies that Using Lemma 1, one may have . This leads us to the required inequality ( 6) and applying Lemma 2 to the expression ( 14) for real number µ, we get the required inequality (7).Sharpness follows from the functions p i (z) ; i = 1, 2, 3, defined by ( 8)- (10), and the following series form.
and of the form p (z) = 1 + ∑ ∞ n=1 p n z n .Then, for a complex number µ, we have and for real number µ, we have These inequalities are sharp.
In [4,21], Kanas studied the class P (p k ) which consists of functions who take all values from the conic domain Ω k .Kanas [21] found the bound of Fekete-Szegö functional for the class P (p k ) whose particular case for k = 1 is as follows: . Then, for real number µ, we have We observe that Corollary 1 improves the bounds of the Fekete-Szegö functional p 2 − µp 2 1 for the functions of class P (p 1 ).
Theorem 2. Let f ∈ UCV [A, B], −1 ≤ B < A ≤ 1 and of the form (1).Then, for a real number µ, we have This result is sharp.
where w (z) is such that w (0) = 0 and |w (z)| < 1.The right hand side of above expression gets its series form from ( 13) and reduces to From ( 19) and ( 20), comparison of coefficients of z and z 2 gives and This implies, by using (21), that Now, for a real number µ, consider Applying Lemma 2 leads us to the required result.The inequality ( 18) is sharp and equality holds for where f 1 (z) is defined such that (z f 1 (z)) 3(A−B) , then, the equality holds for the function f 2 (z) or one of its rotations, where , the equality holds for the function f 3 (z) or one of its rotations, where , then, the equality holds for f (z), which is such that (z f (z)) f (z) is reciprocal of one of the function such that equality holds in the case of µ = 2 3 − π 2 18(A−B) − 2(B+1) 3(A−B) .
For A = 1, B = −1, the above result takes the following form which is proved by Ma and Minda [8].
. Then, for a real number µ, This result is sharp.
Proof.The proof follows similarly as in Theorem 2.
For A = 1, B = −1, the above result reduces to the following form.
Corollary 3. Let f ∈ ST [1, −1] and of the form (1).Then, for a real number µ, Now we consider the inverse function F which maps petal type regions to the open unit disk U , defined as F (w) = F ( f (z)) = z, z ∈ U and we find the following coefficient bound for inverse functions.As the classes UCV [A, B] and ST [A, B] are the subclasses of S. Thus the existence of such inverse functions to the functions from UCV [A, B] and ST [A, B] is assured.
For A = 1, B = −1, the above result takes the following form which is proved by Ma and Minda [8].This result is sharp.