Certain Coefficient Estimate Problems for Three-Leaf-Type Starlike Functions

In our present investigation, some coefficient functionals for a subclass relating to starlike functions connected with three-leaf mappings were considered. Sharp coefficient estimates for the first four initial coefficients of the functions of this class are addressed. Furthermore, we obtain the Fekete–Szegö inequality, sharp upper bounds for second and third Hankel determinants, bounds for logarithmic coefficients, and third-order Hankel determinants for two-fold and three-fold symmetric functions.


Introduction and Preliminary Results
Let the family of all the functions f that are analytic in U = {z ∈ C : |z| < 1} be represented by A and have the series form f (z) = z + ∞ ∑ n=2 a n z n , z ∈ U. (1) By convention, S represents a subfamily of class A containing all the functions that are univalent in U and satisfy the normalization property f (0) = 0 = f (0) − 1. In geometric function theory, a key problem of analytic functions is their connection with coefficient estimates for these functions. In 1916, Bieberbach conjectured that |a n | ≤ n, n = 2, 3, . . . This famous coefficient problem, the "Bieberbach conjecture" played an important role in research in this field for decades until, in 1984, Louis de Branges proved this result; see [1]. During 1916During -1984, researchers used different techniques and established a lot of coefficient results for various subclasses of S. The subclasses worth mentioning here are the class S * , of starlike functions; the class K , of convex functions; and R, known as the functions of bounded turning. They are defined as below: respectively. These classes can also be defined with the help of the subordination relation. We say that, for analytic functions, f 1 (z) is to be subordinated to f 2 (z) in the region U and denoted mathematically as f 1 (z) ≺ f 2 (z) if a function u(z), known as the Schwarz function, satisfies the conditions |u(z)| ≤ 1 and u(0) = 1, such that f 1 (z) = f 2 (u(z)). Moreover, if f 2 (z), belongs to S, then due to [2,3], the following equivalent conditions will be true Thus, one can define S * (ψ), K(ψ) and R(ψ) as: In (2), if the right hand side is changed, the several well-known subfamilies are originated. For example, if we put ψ = 1+Az 1+Bz , we obtain the Janowski-type class of starlike functions; see [4] for details. Meanwhile, if we change the parameters A and B by 1 − 2α ans −1, respectively, then we obtain a family of starlike mappings of order α; these were defined and discussed in [5]. Additionally, for the choice of ψ = 1 + 2 we obtained a corresponding class of starlike functions, introduced by Ronning; see [6]. Furthermore, if ψ = √ 1 + z, we obtain the class starlike function related to the lemniscate of the Bernoulli domain, defined by Cho et al. [7,8]. Goel and Kumar,in [9], defined the class S * SG , the family of starlike mappings connected with a type of mapping known as modified sigmoid functions. Moreover, if we use ψ = 1 + sin(z), we obtain a subclass of starlike mappings in relation to the sine function; for details, see [10]. Mendiratta et al. The authors of [11] obtained a subfamily of strongly starlike mappings connected with the exponential function for the choice of ψ = e z . Sharma et al. [12] derived a subfamily of starlike mappings associated with a cardoid domain.
In a similar way, one can find various important subclasses of these functions in [13][14][15][16][17][18][19][20][21] for some specific value of ψ. Of these, some well-known ones are the mappings associated with and related to Bell numbers, curves that are shell-like in association with Fibonacci numbers, and mappings associated with the conic domains. Lately, utilizing the techniques of Ma and Minda [22], Gandhi [23] defined a family of starlike functions associated with a three-leaf function, i.e., and characterized it with some important properties.
For the function f that has the form (1), Pommerenke [24,25] defined the Hankel determinant H q,n ( f ) with the parameter q, and n ∈ N = {1, 2, 3, · · · }, as follows: For some subclasses related to the class A, the bounds of H q,n ( f ), for any fixed integer q and n, are evaluated. Almost all the subclasses related to the class S were investigated for the sharp estimates of H 2,2 ( f ) = a 2 a 4 − a 2 3 by Janteng et al. [8,26]. However, for the family of close-to-convex functions, the sharp estimates are still not known (see [27]). On the other hand, Krishna et al. [28] proved the better estimate of |H 2,2 ( f )| for a subfamily of Bazilevič functions. More detailed work on H 2,2 ( f ) can be seen in [29][30][31][32][33] and also the references cited therein.
The determinant is known as the third-order Hankel determinant, and an estimate of this Hankel determinant |H 3,1 ( f )| is more difficult than the second Hankel determinant; that is why a lot of researchers have focused on this field. In 1966-1967, Pommerenke defined the Hankel determinant, but it was not evaluated till the year 2010. In 2010, Babalola [34] was the first researcher who worked on H 3,1 ( f ) and successfully obtained the upper bounds of |H 3,1 ( f )| related to the classes S * , K and R. Following this result, a few researchers extended this work for the various subcollections of univalent and holomorphic functions; see [35][36][37][38][39][40][41][42][43][44][45][46][47].
Additionally, he asserted that the inequality above is not sharp. For sharpness, he considered the subfamily of S * , C and R functions to define them with m-fold symmetry, acquiring a sharp bound. In 2018, Kowalczyk et al. [49] and Lecko et al. [50] obtained sharp inequalities, which are for the classes K and S * (1/2), where the symbol S * (1/2) represents the subcollection of starlike functions of order 1/2. In [51], an improved bound |H 3,1 ( f )| ≤ 8/9 for f ∈ S * was given, which is not the best possible. Our main purpose in this article is to first study four sharp coefficient estimates, the Fekete-Szegö inequality and sharp second Hankel determinant, the third-order Hankel determinant, the bounds for logarithmic coefficients, and the two-and three-fold symmetric functions.

The Sets of Lemmas
Let P be the subclass of mappings p that are analytic in D with p(z) > 0 and its series form, as follows: Lemma 1. If p(z) ∈ P and it is of the form (6), then |c n | ≤ 2 for n ≥ 1, and and for real λ For the results in (7) and (8), see [52]. Additionall, see [53] for (9) and [22] for (10).
). Let p ∈ P have the representation of the form (6); then, for any real numbers α, β and γ

Upper Bound
Theorem 1. Let f (z) ∈ S * 3L be of the form (1); then: All these bounds are sharp for the functions defined below, respectively.
Theorem 2. Let f (z) ∈ S * 3L be of the form (1). Then, The result is sharp for the function defined in Equation (19).
Proof. Since from (24) and (25), we have by applying (9) to the above equation, we obtain the desired result.
For ζ = 1, we obtain the corollary stated below: The bound is sharp for the function defined in Equation (19).
Theorem 3. Let f (z) ∈ S * 3L be of the form (1). Then, Proof. Since from (24) and (25), we have by applying (10) to the above equation, we obtain the desired result.
Theorem 4. Let f (z) ∈ S * 3L be of the form (1). Then, The estimate is sharp for the function defined in Equation (20).
Proof. Since from (24)-(26), we have now, the implementation of Lemma 2 to above equation leads us to the desired result.
Theorem 5. Let f (z) ∈ S * 3L be of the form (1). Then, The result is sharp for the function defined in Equation (19). Applying a triangular inequality along with |z| ≤ 1 and |x| = b with b ∈ [0, 1], we have Since H(c, b) is an increasing function with respect to b so H(c, b) ≤ H(c, 1), putting b = 1 in the above, we obtain
For function f of class S, we denote the logarithmic coefficients with γ n = γ n ( f ), and they are defined by the following series expansion: The logarithmic coefficients of function f given in (1) are as follows: Theorem 7. Let f (z) ∈ S * 3L be of the form (1); then, The first two bounds are sharp.
Proof. From Equations (33) to (35), we obtain The bounds of |γ 1 |, |γ 2 | follow from Lemma 1, and |γ 3 | follows from Lemmas 1 and 2. By S (m) , we mean the set of m-fold symmetric univalent functions having the following series form:

Bounds of H 3,1 ( f ) for Two-Fold and Three-Fold Symmetric Functions
The subclass S * (m) 3L is a set of m-fold symmetric starlike functions associated with a modified sigmoid function. More precisely, an analytic function f of the form (38) belongs to class S * (m) where the set P (m) is defined by 3L is of the form (38), then Proof. Since f ∈ S * (2) 3L , there exists a function p ∈ P (2) such that Using the series form (38) and (40), when m = 2 in the above relation, we have Now, using (42) and (43), we obtain Now, using (7) and (8) with the above, we obtain the required result.
Theorem 9. If f ∈ S * (3) 3L is of the form (38), then The result is sharp for the function defined in (20).
Proof. Since f ∈ S * (3) 3L , there exists a function p ∈ P (3) such that Using the series form (38) and (40), when m = 3 in above relation, we have Using (7), we obtain the desired result.

Conclusions
In the present article, we find four initial sharp coefficient bounds, the sharp Fekete-Szegö inequality, the sharp second Hankel determinant, the third Hankel determinant, and the bounds for logarithmic coefficients, and at last, we find out the bounds of H 3,1 ( f ) for two-fold and three-fold symmetric functions for the class S * 3L . Obtaining a sharp estimate for the third Hankel determinant is still an open problem for a considered class. Additionally, there is an opportunity for researchers to investigate the generalized Zalcman conjecture, Krushkal inequality and fourth-order Hankel determinant for this class.