Keywords
Hankel determinant, Bazileviˇc function, subordination, Yamaguchi function, Ma-Minda function, Fekete-Szegö estimate
This article is included in the Fallujah Multidisciplinary Science and Innovation gateway.
In Geometric Function Theory, a central area of complex analysis, researchers study the geometric properties of analytic and univalent functions in the unit disk. A significant part of this work involves defining some subclasses of functions and investigating their properties, such as coefficient estimates and Hankel determinants, which reveal important geometric information. This paper introduces a comprehensive subclass of analytic-univalent functions that generalizes well-known families like Yamaguchi and starlike functions within the broader Bazilević framework.
Using the theory of Ma-Minda functions and the principle of subordination, sharp bounds for the initial coefficients, the Fekete-Szegö functionals with parameters, and the Hankel determinants are established for this subclass. The results are proven to be sharp, meaning they are the best possible. Furthermore, it is shown that this general class reduces to several previously known function families for specific parameter values, demonstrating its wide applicability.
This research successfully defines and analyzes a comprehensive subclass of analytic and univalent functions. The obtained sharp bounds for coefficient-related problems generalize and extend existing results in the literature. The work provides a unified framework for studying various function families, contributing valuable insights and tools for further exploration in Geometric Function Theory.
Hankel determinant, Bazileviˇc function, subordination, Yamaguchi function, Ma-Minda function, Fekete-Szegö estimate
This version represents a significantly revised and improved manuscript compared to the previously submitted version. In response to detailed reviewer feedback, we have restructured the entire paper to enhance clarity and logical flow. The introduction has been completely rewritten to establish a clearer connection with existing literature and to better articulate the motivation for this study. All notation, particularly for Carathéodory functions, has been standardized and corrected throughout. We have explicitly clarified the distinction between the analytic class �� and the univalent class �� in all definitions and results. The properties of Ma–Minda functions are now presented in an itemized format for improved readability, and the redundant special cases in Remark 1 have been merged into a single example. We have also explicitly stated the sharpness of our results and provided the corresponding extremal functions. The justification for the parameter τ > 0 in the Hankel determinant analysis has been added. Furthermore, the bibliography has been expanded with several recent and relevant references. A thorough proofreading has been performed to correct grammatical and punctuation errors. These revisions have substantially strengthened the mathematical rigor, organization, and scholarly presentation of the work.
See the authors' detailed response to the review by Afis Saliu
See the authors' detailed response to the review by suha jumaa hammad
See the authors' detailed response to the review by Alina Alb Lupas
Geometric function theory (GFT) is a significant branch of complex analysis concerned with the geometric properties of analytic functions. Its applications extend to various mathematical and physical disciplines, including q-calculus, special functions, orthogonal polynomials, and conformal mappings.
Let be the family of analytic functions on the open unit disk , normalized by the conditions and . Such functions have the series expansion:
A cornerstone of GFT is the coefficient problem, which seeks to determine the possible values of the coefficients and the bounds of functionals constructed from them. This problem was famously initiated by Bieberbach’s 1916 conjecture that | | for all . The eventual proof of this conjecture by de Branges in 19851 underscored the profound depth of this area of research. The pursuit of sharp bounds for other coefficient functionals, such as the Fekete-Szegö functional and Hankel determinants, remains an active and central theme in GFT.
Prominent subclasses of , including starlike, convex, close-to-convex, and Yamaguchi functions, are defined based on the geometric characteristics of their image domains. The class of Bazilević functions, introduced in,2 represents one of the largest known subclasses of .
A powerful tool in defining these classes is the principle of subordination (denoted ). For two functions ( ), we say is subordinate to if there exists an analytic function:
The Carathéodory class P consists of functions analytic in Ω with p(0) = 1 and . Such functions have the series expansion:
In a significant unification effort, Ma and Minda3 introduced a general class using a function that is analytic, univalent, has a positive real part, and is characterized by a Taylor series with > 0. This framework elegantly encapsulates many previously studied classes.
A canonical and extremal function within the class is the Möbius function:
A significant unification of several subclasses of starlike and convex functions was achieved by Ma and Minda3 in 1994. They introduced a function , which is analytic and univalent with a series expansion of the form:
This function b ( z) has the following key properties:
(
.
.
b ( z) maps the unit disk onto a domain that is starlike with respect to and symmetric about the real axis.
By composing this function with , we obtain:
If a function maps the unit disk onto a starlike domain, then is classified as a starlike function. This geometric property is characterized by the analytic condition:
The extremal function for the class is the Koebe function:
The class was first presented via Alexander,4 though its corresponding geometric property was actually characterized earlier via Nevanlinna in 1921.5 Research into starlike functions has since expanded significantly, leading to diverse formulations and applications, as explored by authors such as Lasode and Opoola.6 Later, in 1956, Yamaguchi7 defined a specific subclass of characterized by the following condition:
Various properties of functions in the Yamaguchi class -such as univalence, radii problems, partial sums, and growth, distortion, and inclusion theorems-have been demonstrated in the literature on GFT.7–9 The class of Bazilević functions2 is one of the largest subclasses of . Singh10 introduced important subclasses characterized by:
In this paper, we build upon these foundations to define a new and comprehensive subclass Λ(δ, b) of analytic-univalent functions using a combination of concepts from Bazilević, Yamaguchi, and starlike functions, subordinated to a Ma-Minda function. We then proceed to derive sharp coefficient bounds, Fekete-Szegö inequalities, and Hankel determinant estimates for functions belonging to this class, demonstrating that it generalizes several important families of functions previously studied that have been mentioned by Tang H. and et al.11 and Lasode A. O. and et al.12 in the literature.
We now introduce a new class of analytic-univalent functions that generalizes the Bazilevič family.
The class consists of all functions satisfying
with and where is the Ma-Minda function defined in (1).
Let be a member of . By the definition of subordination, there exists a Schwarz function such
Apparently, (12) gives
Utilizing Lemma 1, we obtain the result given in (7). Additionally, from (13) it follows that
The result in (8) follows from an application of Lemma 2 (for the case ) and Lemma 1. Proceeding from (14), we obtain:
Applying Lemma 3 with parameters , followed by Lemma 2 with , and finally Lemma 1, yields the result stated in (9). Concluding this argument, Equation (15) provides:
A central problem in the study of coefficient estimates for functions in the class is the analysis of the Fekete-Szegö functional, defined as:
In Geometric Function Theory (GFT), this functional, named for mathematicians Michael Fekete and Gábor Szegö, is a pivotal tool. Its historical significance stems from its role in refuting the Littlewood-Paley conjecture. Consequently, it has been the subject of extensive research for numerous subclasses of , as documented in references like.16–24
Substituting Equations (12) and (13) into the functional defined in (16) yields
An application of Lemma 2 to the expression in (18) leads to
Thus, the form of in (17) is verified. Substituting Equations (19) through (20) into (18) completes the proof of the Theorem.
The Hankel matrix, characterized by constant entries along each ascending skew-diagonal, was first introduced by the German mathematician Hermann Hankel (1839–1873) in the mid-nineteenth century. Hankel’s initial research applied this matrix to the analysis of number sequences and their determinants. Since then, its utility has expanded significantly, with applications now encompassing factorial fractions,25 orthogonal polynomials,26 power series with integer coefficients,27 and the asymptotic properties of the determinants themselves.28 Within Geometric Function Theory (GFT), Pommerenke29 defined the Hankel determinant as follows:
Here, , and the entries represent the coefficients of functions . Pommerenke originally applied these Hankel determinants to analyze the singularities of complex functions.
Building upon Pommerenke’s foundation,29 in a generalization of the Hankel determinant, Babalola30 introduced a Fekete-Szegö parameter into the structure of , which led to the definition of the following determinants:
Note that (22) simplifies to
The functional is commonly referred to as the Fekete–Szegő functional31–33
Recent research has focused extensively on determining upper bounds for the second-order HD for various subclasses of analytic functions, as demonstrated.34–36
Related studies have also addressed third and fourth-order HDs.37–41
The following observations are noted:
A comprehensive discussion of these properties can be found in the references.3,22,24,30 This study aims to determine the sharp upper bounds for the Hankel determinants in (24) and (25), treating the parameter as a positive real value.
Substituting the expressions from (12), (13), and (14) into Equation (24) yields
The desired result of the theorem is then obtained through the systematic application of Lemma 1, Lemma 3 (with parameters ), and Lemma 2 (with ).
By substituting Equations (12), (13), and (14) into (26), we find that
The result of the theorem is then obtained by applying Lemma 3 (with ), Lemma 2 (with ), and Lemma 1.
The result is established by applying the findings of Theorems 1, 2, 3, and 4 to Equation (25), followed by the necessary algebraic simplifications.
This study investigated the properties of a new class of functions that generalizes Yamaguchi and starlike functions, both of which hold significant importance within the well-known class of Bazilevič functions. The new class, , building upon the Ma-Minda function, a new class of functions is formulated based on fundamental tenets of Geometric Function Theory (GFT). Key results derived for this class include tight upper estimates on the initial coefficients, the Fekete-Szegö functional for parameters, and the second and third-order Hankel determinants involving a parameter .
A notable feature of the newly defined set is its generality; it reduces to several well-known and previously studied function classes when specific parameters are chosen within their declared intervals.
The author would like to thank all the article’s referees for their valuable and insightful comments.
| Views | Downloads | |
|---|---|---|
| F1000Research | - | - |
|
PubMed Central
Data from PMC are received and updated monthly.
|
- | - |
Competing Interests: No competing interests were disclosed.
Reviewer Expertise: Complex Analysis (Geometric function theory)
Competing Interests: No competing interests were disclosed.
Reviewer Expertise: analytic and univalent functions
Is the work clearly and accurately presented and does it cite the current literature?
Yes
Is the study design appropriate and is the work technically sound?
Yes
Are sufficient details of methods and analysis provided to allow replication by others?
Yes
If applicable, is the statistical analysis and its interpretation appropriate?
Yes
Are all the source data underlying the results available to ensure full reproducibility?
Yes
Are the conclusions drawn adequately supported by the results?
Yes
Competing Interests: No competing interests were disclosed.
Reviewer Expertise: analytic and univalent functions
Is the work clearly and accurately presented and does it cite the current literature?
Yes
Is the study design appropriate and is the work technically sound?
Yes
Are sufficient details of methods and analysis provided to allow replication by others?
Yes
If applicable, is the statistical analysis and its interpretation appropriate?
Not applicable
Are all the source data underlying the results available to ensure full reproducibility?
Yes
Are the conclusions drawn adequately supported by the results?
Yes
Competing Interests: No competing interests were disclosed.
Reviewer Expertise: Complex Analysis
Is the work clearly and accurately presented and does it cite the current literature?
No
Is the study design appropriate and is the work technically sound?
No
Are sufficient details of methods and analysis provided to allow replication by others?
Yes
If applicable, is the statistical analysis and its interpretation appropriate?
Not applicable
Are all the source data underlying the results available to ensure full reproducibility?
No source data required
Are the conclusions drawn adequately supported by the results?
Partly
Competing Interests: No competing interests were disclosed.
Reviewer Expertise: Complex Analysis (Geometric function theory)
Alongside their report, reviewers assign a status to the article:
| Invited Reviewers | |||
|---|---|---|---|
| 1 | 2 | 3 | |
|
Version 2 (revision) 16 Apr 26 |
read | read | |
|
Version 1 14 Feb 26 |
read | read | read |
Provide sufficient details of any financial or non-financial competing interests to enable users to assess whether your comments might lead a reasonable person to question your impartiality. Consider the following examples, but note that this is not an exhaustive list:
Sign up for content alerts and receive a weekly or monthly email with all newly published articles
Already registered? Sign in
The email address should be the one you originally registered with F1000.
You registered with F1000 via Google, so we cannot reset your password.
To sign in, please click here.
If you still need help with your Google account password, please click here.
You registered with F1000 via Facebook, so we cannot reset your password.
To sign in, please click here.
If you still need help with your Facebook account password, please click here.
If your email address is registered with us, we will email you instructions to reset your password.
If you think you should have received this email but it has not arrived, please check your spam filters and/or contact for further assistance.
Comments on this article Comments (0)