Generalized Bounded Turning Functions Connected with Gregory Coefficients

: In this research article, we introduce new family R G of holomorphic functions, which is related to the generalized bounded turning and generating functions of Gregory coefficients. Leveraging the concept of functions with positive real parts, we acquire the first five coefficients for the functions belonging to this newly defined family, demonstrating their sharpness. Furthermore, we find the third Hankel determinant for functions in the class R G . Moreover, the sharp bounds for logarithmic and inverse coefficients of functions belonging to the under-considered class R G are estimated.


2020 Mathematics Subject Classification
We need to review some basic concepts in order to properly understand the core ideas behind our new research.Let H(U) symbolize the family of holomorphic functions in the open unit disc U = {ξ : ξ ∈ C and |ξ| < 1}.Furthermore, A define a subclass of H(U), fulfilling the requirements for normalization: Because of this normalization, f ∈ A is guaranteed to have the Taylor's series expansion: Recall also that an analytic function f is considered univalent in region U if it repeats no values in U.This implies that for each ξ 1 , ξ 2 ∈ U, if f (ξ 1 ) = f (ξ 2 ) then ξ 1 = ξ 2 .Therefore, we use the symbol S to represent the family of univalent functions that the series expansion given in Equation (1).Originally presented by Köebe in 1907, this class is now a fundamental component of groundbreaking research in this area.This idea attracted a lot of attention, and Bieberbach [1] produced a paper where the well-known coefficient hypothesis was put out.According to this conjecture, for every n ≥ 2, |a n | ≤ n if f (ξ) ∈ S and has the series form (1). Numerous mathematicians have put a lot of effort into solving this problem.De-Branges [2] was the one who resolved this enduring hypothesis in 1985.Plenty of research on this conjecture and associated coefficient problems have been published throughout the span of these 69 years.Furthermore, S * and R are the common subclasses of S, whose members are starlike and bounded turning, respectively.In 1977, Chichra [3] proved that the functions belonging to the class R are univalent.
For the given functions f 1 , f 2 ∈ A, f 1 is said to be subordinated to f 2 (mathematically written as f 1 ≺ f 2 ) if an holomorphic function w appears in U with the limitations w(0) = 0 and |w(z)| < 1 in such a manner that f 1 (z) = f 2 (w(z)) holds.
Using subordination terminology, Ma and Minda [4] produced a unified version of the class S * (φ) in 1992.It was described by: where φ that has a positive real part and is normalized by the conditions φ(0) = 1, φ(0) > 0, and maps H(U) onto a region that is univalently starlike regarding 1 and symmetric with reference to the real axis.Several well-known families are included as special instances in the following generic class that Ma and Minda established: These type functions are referred to as Ma-Minda starlike functions in literature.As a special example of S * (φ) a variety of subfamilies of the generalized analytic functions have been examined in recent years (see, [5,6]).For example, Kumar and co-authors [7] took: as the generated function of Bell numbers.Mendiratta et al. [8] and Goel and Kumar [9] recently obtained the results of growth and distortion, inclusion relations, coefficient estimates, the structural formula, subordination theorems, and various radii constants for the exponential function and sigmoid function as well, that is: The conventional telephone numbers (or involution numbers) are quantified by the recurrence relation: Wlochand Wolowiec-Musial [10] familiarized generalized telephone numbers ζ(l, n) defined for integers n ≥ 0 and l ≥ 1 by the ensuing recursion: Most recently, Deniz [11] in 2021 has researched the topic of sharp coefficients using the function: As we can observe, if l = 1, then we obtain which gave accessible generalization of telephone numbers.
By using the similar concept used in [4], authors [12] defined the following classes of functions: Encouraged by the previously described studies, we examine the function φ, whose coefficients are the Gregory coefficients, and thus, in reference to 1, φ(U) is starlike.Gregory coefficients, which play a similar function to the Bernoulli numbers and are found in many situations, particularly those pertaining to numerical analysis and number theory, are decreasing rational numbers 1  2 , 1 12 , 1 24 , 19 720 , . . . .They were often found after making their initial appearance in the writings of Scottish mathematician James Gregory in 1671.
Rediscovered by a number of eminent mathematicians, including Laplace, Mascheroni, Fontana, Bessel, Clausen, Hermite, Pearson, and Fisher, Gregory's coefficients are really among the most often rediscovered in mathematics.The literary explanation for the most recent rediscovery, which occurred in our century, is given.These go by a variety of names (e.g., reciprocal logarithmic numbers, second-kind Bernoulli numbers, Cauchy numbers, etc.).In this paper, we considered the generating function of the Gregory coefficients G n (see [13,14]) as follows: Clearly, G n for some values of n as 160 , and G 6 = − 863 60480 .As it provides various features of functions, determining the upper bound for coefficients has been one of the main areas of study in geometric function theory.Specifically, growth and distortion theorems for functions in the class are provided by the bound for the second coefficient.Another one is the coefficient problem related with Hankel determinants.The Hankel determinant [15] H q (n) (n = 1, 2, . . ., q = 1, 2, . . . ) of the function f are defined by: This determinant was discussed by several authors with q = 2.For example, we know that the functional H 2 (1) 2 is known as the Fekete-Szegö functional and they consider the further generalized functional of a 3 − µa 2  2 , where µ is real or complex number.For the class S * , Keogh and Merkes [16] solved the Fekete-Szegö problem in 1969.The formula for the second Hankel determinant, 2 and this bound found for the class S * in [17].Lee et al. [18] established the sharp bound to |H 2 (2)| by generalizing their classes using subordination.Moreover, the quantity given by H 3 (1) ) is called the third Hankel determi-nant.Zaprawa [19] proved that |H 3 (1)| < 1 for f ∈ S * .The Zaprawa result was enhanced in 2019 by Kwon, Lecko, and Sim [20], as |H 3 (1)|< 8  9 .According to this finding, the class S * has the best upper bound on |H 3 (1)|.Fekete-Szegö problem and Hankel determinants have been discussed recently in numerous articles by Deniz and their coauthors (see, [11,16]) and Srivastava and their coauthors (see, for example, [21][22][23][24]).

Logarithmic Function
The logarithmic coefficients β n of f (ξ) = ξ + ∑ ∞ n=2 a n ξ n that belong to S are defined by the following formula: These coefficients make a substantial contribution to the idea of univalent functions in various estimations.De Branges [2] established in 1985 that: and equality will be attained if f takes the form ξ/(1 − e iθ ) 2 for some θ ∈ R. The Bieberbach-Robertson-Milin conjectures concerning the Taylor coefficients of f ∈ S are provided by this inequality in the form that is most comprehensive.For further information on the evidence supporting De Branges' discovery, see [25][26][27].In 2005, Kayumov [28] proved Brennan's conjecture for conformal mappings by taking into consideration the logarithmic coefficients.We include a few works that have significantly advanced our understanding of logarithmic coefficients for your perusal.Andreev and Duren [29], Alimohammadi et al. [30], Deng [31], Roth [32], Ye [33], Obradović et al. [34], and finally the work of Girela [35] are the main contributions to the understanding of logarithmic coefficients for various holomorphic univalent function subclasses.
As stated in the definition, it is easy to figure out that the logarithmic coefficients for f ∈ S are calculated by: It is well-known that the function of the form (1) has an inverse f −1 , which is holomorphic in |w| < 1/4, as we know the Koebe one quarter theorem [36] verify that the image of D under every univalent function f ∈ A having a disk of radius 1/4.If f ∈ S, then: It was demonstrated by Lowner [37] that if f ∈ S and its inverse is provided by (10), following that, the sharp estimate holds: It has been demonstrated that the inverse of the Koebe function k(ξ) = ξ/(1 − ξ) 2 provides the best bounds for all |A n | (n = 2, 3, . . . ) in (11) over all members of S. Determining the behavior of the inverse coefficients of f given in (10) when the corresponding function f is restricted to certain suitable geometric subclasses of S has attracted a lot of attention.Many authors have provided different proofs of the inequality (11), but Yang [38] provided a straightforward proof.
Since f ( f −1 (w)) = w, using (10) it is obvious to observe that: Motivated by the abovementioned work, we now define new family of functions.Furthermore, for functions H 3 (1) that belong to the newly defined family of functions, we are searching for sharp upper bounds for the coefficients a j (j = 2, 3, 4, 5, 6) and functionals H 2 (2) and H 3 (1).Definition 1.An analytic function f given in (1) belongs to the functions class R G , if the following subordination condition satisfied: where Ψ(ξ) is given in (2).

A Set of Lemmas
For the primary findings, the following lemmas are required.

Main Results
Our first result is related to find bounds for the function f to be in the functions of class R G .
Theorem 1.Let f be an analytic function of the form (1) belongs to R G , then: Every estimate listed above, with the exception of that on a 6 , are sharp for the functions given in ( 30)-(33).
Proof.Consider f ∈ R G .Then, the Schwarz function w with w(0) = 0 and |w(ξ)| < 1 in U such that: Define the function q by: then q ∈ P.This implies that: in H(U).Clearly q is holomorphic in H(U) with q(0) = 1 and has positive real part in U.By using (22) along with w(ξ) ln(1+w(ξ)) , it is clear that: it follows by ( 21), (22), and (24) that: Thus, using Lemma (2) we get: ) We now find the estimates on |a 6 |.Therefore, from the Lemma (3), |p n | ≤ 2 and (18), we find that: The initial five outcomes are precise for the functions: f : U → C provided by: This completes the proof.
It very easy to observe from the functions f i (ξ), i = 1, 2, 3, 4, that our initial four coefficients estimate are sharp.As seen from the structure of the extremal function f 5 (ξ), the bound for |a 6 | is expected to be extremal.Theorem 2. Let f be given in (1) belongs to R G .Then, the following sharp estimates holds: Results ( 34) and ( 36) are sharp for the function given in (31) and the result ( 35) is sharp for the function (32).
By using Theorems (1) and (2), we have: This completes the proof.

Conclusions
In this study, we defined the class R G of bounded turning functions connected with Grogory coefficients and logarithmic functions by using the technique of subordination.For the functions f ∈ R G , sharp results, such as intial coefficient bounds, the Fekete-Szegö functional, and second-and third-order Hankel determinants.