Abstract
Hermitian Toeplitz determinants are used in multiple disciplines, including functional analysis, applied mathematics, physics, and engineering sciences. We calculate the sharp upper and lower bounds on the fourth-order Hermitian Toeplitz determinant for the subclass of bounded turning functions associated with the nephroid function represented by . A nephroid function is associated with the geometric shape of a nephroid (a kidney-shaped curve) and refers to a specific type of epicycloid with two cusps. In geometric function theory, a bounded turning function is an analytic function whose derivative has a positive real part, ensuring that its tangent vector does not turn too sharply at any point.
MSC:
30C45, 30C80
1. Introduction and Definitions
Following the Bieberbach conjecture in 1916, there was a notable rise in the exploration of sharp bounds for the coefficient functionals of normalized analytic functions defined on the unit disk. The investigation of the bounds for the coefficients of various classes of analytic functions continued even after L. de Branges [1] presented the historical proof of the Bieberbach conjecture in 1984 since the bounds on coefficients also revealed other geometric characteristics of analytic functions. For example, the growth and distortion of an analytic function can be calculated using the bound on the second coefficient of an analytic univalent function [2]. Cantor [3] presented rationality criteria for analytic functions using the Hankel determinant of their coefficients. The estimated coefficient functionals become much more remarkable with results of this kind. Let A represent the set of functions that are analytic within the unit disk and of the specified form
Let S consist of those functions from A which are univalent in . When an open unit disk is inverted for a certain point, it reveals a characteristic called "inversion symmetry". The open unit disk reveals an inversion symmetry to the origin since any complex number z in the disk is inverted, for it shows the complex number , whose inversion is also in symmetry with respect to its center, the origin. In general, the open unit disk contains an array of symmetries useful in many mathematical and geometric situations. We aimed to explore additional geometric properties within this symmetrical region. Assume that f and g are two analytic functions in . Then, we say that the function f is subordinate to the function g, written symbolically as
if there exists a Schwarz function that meets the following conditions:
such that
Hermitian Toeplitz matrices are important in functional analysis within applied mathematics, physics, and technical sciences. The Hermitian Toeplitz matrix of a function , as defined by Equation (1), is obtained by selecting q,.
In recent years, many studies have focused on determining bounds for determinants, where elements are coefficients of functions of class A or its subclasses. The generalized Zalcman functional :,, and Hankel matrices, or square matrices with constant entries along the reverse diagonal, are of particular significance. Many papers and related works have discussed the bounds for the generalized Zalcman functional, specifically by Equation (3) for certain values q of n we obtain the “following”.
and
respectively. Note that for , , and reduce to
and
The focus of many articles in recent years has been to determine the bounds of determinants, the elements of which are coefficients of functions in A or its subclasses. Determinants are crucial in Geometric Function Theory (GFT), especially in conformal mappings, complex analysis, and transformations. Various real-world applications highlight their importance. For a 2D area or a 3D volume, the local scaling factor is given by the absolute value of the Jacobian determinant. It is utilized for image processing, computer graphics, and cartography transformations. Möbius transformations, used in control theory and signal processing, classify many transformations based on their determinants. When identifying if a transformation is rotation, dilation, or inversion, determinant conditions are useful. Symmetric Toeplitz determinants and Hankel matrices, square matrices with constant values along the anti-diagonal, are commonly encountered [2].
Hermitian Toeplitz’s determinants about normalized analytic functions are a fascinating study area. Hermitian Toeplitz determinants for specific classes of normalized analytic functions have been a topic of study since the findings presented in [4]. The sharp bounds of Hermitian Toeplitz determinants for various classes of univalent functions are explored in references [4,5,6,7,8,9,10,11,12]. Jastrzebski et al. [7] examined the precise upper and lower bounds of the second- and third-order Hermitian Toeplitz determinants for particular subclasses of close-to-star functions. In 2021, Kumar [8] established accurate upper and lower bounds for second- and third-order Hermitian–Toeplitz matrices within several subclasses of close-to-convex functions. For the classes of extremely starlike functions, lemniscate starlike functions, and lune starlike functions, Kumar et al. [13] determined the sharp upper and lower bounds for the Hermitian–Toeplitz determinant of the third order in 2021. Lecko et al. [14] calculated that by analyzing the sharp upper and lower bounds for the Hermitian Toeplitz determinant of the fourth order for the class of convex functions in 2020.
Let P represent the class of Carathéodory functions p that is normalized by
and satisfy the condition
We now consider the following class.
where
which maps the domain E into the nephroid-shaped region, as shown in Figure 1.
Figure 1.
The image domain of the Nephroid function .
We intend to find the sharpness of the first, second, third, and fourth orders for this defined class . To proceed further, we need the following lemma.
Lemma 1
([15,16]). If , then
and
for some
Theorem 2.
Let , then
The bounds are sharp.
Proof.
For the function as defined by Equation (1), it is understood that there is an analytic function inside the unit disk with and in (2).
If , then
By using, (10), we obtain
Considering that the series is defined in (1), it implies that
Since the classes and are rotationally invariant, we can say that . Using (4) and , we see that
The function reaches the lower bound precisely.
and the upper bound on is exact of this function
□
Theorem 3.
If , then
The bounds are sharp.
Proof.
For the function as defined in Equation (1), it is understood that there exists an analytic function within the unit disk , such that and in (2).
If , then
Using (15), we obtain
Considering that the series is defined in (1), it implies that
By (8), we have
for some and
. First, we show that (14) has a right-side inequality.
Let be defined by
. Put , then we have
. Put , we have
. Put , we obtain
. Put we observe that
. Let be an element of the interval
If and only if
Therefore we see that
If and only if
Equation (21) has the following solution:
Hence, does not have a critical point within the interval
Form to it is obviously
. The inequality on the left side of the Equation (14) has been defined.
Let be defined by
. Put , we obtain
. Put , we have
. Put then we have
. Put we obtain
. Let Then
If and only if
Therefore, has no critical points within the region ).
From section to , it shows that
If we consider parts and , the right side inequality in (14) is true.
The following function gives the lower bound.
and the upper bound of is given by the following function;
□
Theorem 4.
If , then
The bounds are sharp.
Proof.
and
and
where
where
the solution does not exist , and , This is understood that w does not have a critical point inside
and
For the function as defined in Equation (1), it is understood that there exists an analytic function within the unit disk , such that and in (2).
If , then
Using (24), we obtain
Considering that the series is defined in (1), it implies that
The next step is to study the lower and upper bounds of the class under various conditions. A. Let Then
The right hand side of (29) gives the bound of 1 over the intervals and . This fact can also be seen from Figure 2.
Figure 2.
The graph of .
Let Then
It follows that
and
let P, Q: be defined by
and
respectively.
. The lower bound of is examined.
We have on its vertices.
Put , we obtain
Put , we obtain
Put , we have
Putt , we obtain
Note that
for , we observed that , which mean that
Therefore, we conclude that
It is evident that P does not have critical points within the interior . Consider the system of equations
For and , we have solved these equations by using the Newton Raphson method and we obtain and . We see that . We observed that there is no critical point within the interior . So it has no solution in .
Consequently, using (31), it is possibly shown that
. The upper bound of will be satisfied.
Put , we obtain
Put , we obtain
Put , we obtain
Put , we obtain
Put , we obtain
It is evident that P has no critical points within the interior . Consider the system of equations
For and , we have solved these equations by using the Newton Raphson method and we obtain and . We see that . We observed that there is no critical point within the interior . So, it has no solution in .
Therefore, (32) implies that
Let ∖ Then for every and , there exist unique and in such that and
For and , we obtain
where
and
. The lower bound of is discussed.
Suppose . Then
Now, we determine that
In the case whenever , we obtain
In the case whenever , we obtain
In the case whenever , we obtain
In the case whenever , we obtain
Ultimately, the interior has to be analyzed. Consider the system of equations
and
We can find that has no critical point in the interior of . For and , we have solved these equations by using the Newton Raphson method and we obtain and . We see that . We observed that there is no critical point within the interior . So, it has no solution in .
C2. The upper bound of is discussed.
Suppose . Then
Let . Then
We must consider the following two cases.
C3. Suppose that , i.e.,
for all . Let
Then
If we take
. We know that triangles have vertices.
. Put , we have
Put with , if we take
. Put , we obtain
Put , we obtain
The interior of still has to be analyzed. If we take
C4. Suppose that
Then
where for we have
The vertices of we have
Put see the case
Put we obtain
Put we obtain
The interior of still has to be analyzed. Consider the system of equations
For and , we have solved these equations by using the Newton Raphson method and we obtain and . We see that . We observed that there is no critical point within the interior . So . So, it has no solution in .
In part its implies that by using (35),
The upper bound on is exact of this function;
For the sharpness of the lower bound of (23), B1 (v) and C1 (ii), let
Thus we find that
□
2. Conclusions
This paper has found the sharpness of the second, third, and fourth order Hermitian Toeplitz determinants for the defined class . We determined the lower and upper bounds of second, third, and fourth order Hermitian–Toeplitz determinants for the subclass of bounded turning function is associated with the nephroid function through the subordination relation. These results may open new directions in the estimation of coefficient functionals.
Author Contributions
Conceptualization, W.U. and R.F.; Methodology, W.U. and R.F.; Validation, L.-I.C.; Formal analysis, R.F.; investigation, W.U.; Resources, D.B.; Data curation, D.B.; Visualization, R.F.; Supervision, R.F.; Project administration, L.-I.C.; Funding acquisition, D.B. and L.-I.C. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Data Availability Statement
No data were used to support this study.
Acknowledgments
This work was carried out for the requirement of a degree program under the synopsis notification no. CUI-Reg/Notif-2297/24/2383, dated 2 October 2024.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- De Branges, L. A proof of the Bieberbach conjecture. Acta Math. 1985, 154, 137–152. [Google Scholar] [CrossRef]
- Ali, M.F.; Thomas, D.K.; Vasudevarao, A. Toeplitz determinants whose elements are the coefficients of analytic and univalent functions. Bull. Aust. Math. Soc. 2018, 97, 253–264. [Google Scholar] [CrossRef]
- Cantor, D.G. Power series with integral coefficients. Bull. Amer. Math. Soc. 1963, 69, 362–366. [Google Scholar] [CrossRef]
- Cudna, K.; Kwon, O.S.; Lecko, A.; Sim, Y.J.; Smiarowska, B. The second and third-order Hermitian Toeplitz determinants for starlike and convex functions of order alpha. Bol. Soc. Mat. Mex. 2020, 3, 361–375. [Google Scholar] [CrossRef]
- Allu, V.; Lecko, A.; Thomas, D.K. Hankel, Toeplitz, and Hermitian-Toeplitz determinants for certain close-to-convex functions. Mediterr. J. Math. 2022, 19, 22. [Google Scholar] [CrossRef]
- Cho, N.E.; Kumar, S.; Kumar, V. Hermitian-Toeplitz and Hankel determinants for certain starlike functions. Asian-Eur. J. Math. 2022, 15, 2250042. [Google Scholar] [CrossRef]
- Jastrzebski, P.; Kowalczyk, B.; Kwon, O.S.; Lecko, A.; Sim, Y.J. Hermitian Toeplitz determinants of the second and third-order for classes of close-to-star functions. Rev. Real Acad. Cienc. Exactas Físicas Nat. Ser. Matemtáicas 2020, 114, 166. [Google Scholar] [CrossRef]
- Kumar, V. Hermitian-Toeplitz determinants for certain classes of close-to-convex functions. Bull. Iran. Math. Soc. 2022, 48, 1093–1109. [Google Scholar] [CrossRef]
- Kowalczyk, B.; Kwon, O.S.; Lecko, A.; Sim, Y.J.; Smiarowska, B. The third-order Hermitian Toeplitz determinant for classes of functions convex in one direction. Bull. Malays. Math. Sci. Soc. 2020, 43, 3143–3158. [Google Scholar] [CrossRef]
- Kowalczyk, B.; Lecko, A.; Smiarowska, B. Sharp inequalities for Hermitian Toeplitz determinants for strongly starlike and strongly convex functions. J. Math. Inequal. 2021, 15, 323–332. [Google Scholar] [CrossRef]
- Lecko, A.; Smiarowska, B. Sharp bounds of the Hermitian Toeplitz determinants for some classes of close-to-convex functions. Bull. Malays. Math. Sci. Soc. 2021, 44, 3391–3412. [Google Scholar] [CrossRef]
- Obradovi, C.M.; Tuneski, N. Hermitian Toeplitz determinants for the class S of univalent functions. Armen. J. Math. 2021, 13, 649–654. [Google Scholar] [CrossRef]
- Kumar, V.; Kumar, S. Bounds on Hermitian-Toeplitz and Hankel determinants for strongly starlike functions. Bol. Soc. Mat. Mex. 2021, 27, 55. [Google Scholar] [CrossRef]
- Lecko, A.; Sim, Y.J.; Smiarowska, B. The fourth-order Hermitian Toeplitz determinant for convex functions. Anal. Math. Phys. 2020, 10, 39. [Google Scholar] [CrossRef]
- Libera, R.J.; Złotkiewicz, E.J. Early coefficients of the inverse of a regular convex function. Proc. Amer. Math. Soc. 1982, 85, 225–230. [Google Scholar] [CrossRef]
- Libera, R.J.; Złotkiewicz, E.J. Coefficient bounds for the inverse of a function with derivatives in P. Proc. Amer. Math. Soc. 1983, 87, 251–257. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).