Abstract
Let \(\mathcal {S}\) denote the class of analytic and univalent (i.e., one-to-one) functions \( f(z)= z+\sum _{n=2}^{\infty }a_n z^n\) in the unit disk \(\mathbb {D}=\{z\in \mathbb {C}:|z|<1\}\). For \(f\in \mathcal {S}\), In 1999, Ma proposed the generalized Zalcman conjecture that
with equality only for the Koebe function \(k(z) = z/(1 - z)^2\) and its rotations. In the same paper, Ma (J Math Anal Appl 234:328–339, 1999) asked for what positive real values of \(\lambda \) does the following inequality hold?
Clearly equality holds for the Koebe function \(k(z) = z/(1 - z)^2\) and its rotations. In this paper, we prove the inequality (0.1) for \(\lambda =3, n=2, m=3\). Further, we provide a geometric condition on extremal function maximizing (0.1) for \(\lambda =2,n=2, m=3\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathcal {H}\) denote the class of analytic functions in the unit disk \(\mathbb {D}:=\{z\in \mathbb {C}:\, |z|<1\}\). Let \(\mathcal {A}\) be the class of functions \(f\in \mathcal {H}\) such that \(f(0)=0\) and \(f'(0)=1\), and denote by \(\mathcal {S}\) the class of functions \(f\in \mathcal {A}\) which are univalent (i.e., one-to-one) in \(\mathbb {D}\). Thus, \(f\in \mathcal {S}\) has the following representation
In the late 1960s, Zalcman posed the conjecture that if \(f\in \mathcal {S}\), then
with equality only for the Koebe function \(k(z)=z/(1-z)^2\), or its rotation. It is important to note that the Zalcman conjecture implies the celebrated Bieberbach conjecture \(|a_n|\le n\) for \(f\in \mathcal {S}\) (see [3]), and a well-known consequence of the area theorem shows that (1.2) holds for \(n=2\) (see [6]). The Zalcman conjecture remains an open problem, even after de Branges’ proof of the Bieberbach conjecture [5].
For \(f\in \mathcal {S}\), Krushkal has proved the Zalcman conjecture for \(n=3\) (see [10]), and recently for \(n=4,5\) and 6 (see [11]). For a simple and elegant proof of the Zalcman conjecture for the case \(n=3\), see [11]. However, the Zalcman conjecture for \(f\in \mathcal {S}\) is still open for \(n>6\). On the other hand, using complex geometry and universal Teichmüller spaces, Krushkal claimed in an unpublished work [12] to have proved the Zalcman conjecture for all \(n\ge 2\). Personal discussions with Prof. Krushkal indicates that there is a gap in the proof of Krushkal’s unpublished work [12], and so the Zalcman conjecture remains open for the class \(\mathcal {S}\) for \(n>6\).
If \(f\in \mathcal {S}\), then the coefficients of \([f(z^2)]^{1/2}\) and 1/f(1/z) are polynomials in \(a_n\), which contains the expression of the form \(\lambda a_n^2-a_{2n-1}\), pointed out by Pfluger [17].
1.1 Generalized Zalcman conjecture
In 1999, Ma [15] proposed the following generalized Zalcman conjecture: If \(f\in \mathcal {S}\), then
Clearly, for \(n=m\), the generalized Zalcman conjecture reduces to the Zalcman conjecture. which remains an open problem till date. However Ma [15] proved this generalized Zalcman conjecture for classes \(\mathcal {S}^{*}\) and \(\mathcal {S}_{\mathbb {R}}\), where \(\mathcal {S}_{\mathbb {R}}\) denotes the class of all functions in \(\mathcal {S}\) with real coefficients.
Further, Ma [15] asked for what positive real values of \(\lambda \) does the following inequality hold?
Clearly equality holds for the Koebe function \(k(z) = z/(1 - z)^2\) and its rotations.
Remark 1.1
It is obvious that if (1.3) holds, then \(\lambda nm -n-m+1\ge 0\) i.e.,
Note that if \(\lambda \ge \dfrac{n+m-1}{nm}\), \(\mu \ge \lambda \) and (1.3) holds, then
That is if (1.3) holds for some \(\lambda \), then it holds for every \(\mu \ge \lambda \).
In view of Remark 1.1, it is natural to consider the following problem
Problem 1.4
Let \(f\in \mathcal {S}\), fix n, m and consider the following set \(\{\lambda : \lambda \text{ satisfies } \)(1.3)}. The problem is to find the infimum of this set.
At this juncture we must mention that the Zalcman conjecture and its other generalized form has been proved for some subclasses of \(\mathcal {S}\), such as starlike functions, typically real functions, close-to-convex functions [3, 13, 14]. For basic properties of starlike functions, typically real functions and close-to-convex functions we refer to [6].
2 Main results
Using the variational method, together with the Bombieri method [2], we prove the following two results.
Theorem 2.1
Let \(f\in \mathcal {S}\) be an extremal function for the extremal problem \(|2a_2a_3-a_4|\) and let \(\Gamma \) be the image of \(|z|=1\) under 1/f(z). If \(Re\, a_2>0\) and \(Im\, a_2\ne 0\) then \(\Gamma \) lies either in upper or lower half plane.
Theorem 2.2
Let \(f\in \mathcal {S}\) be given by \(f(z)=z+\sum _{n=2}^{\infty } a_n z^n\) then
with equality only for functions of the form
For the proof of Theorem 2.2, we follow the technique of Ozawa [16].
3 Preliminaries
In this section we discuss some preliminary ideas which will be useful to prove our main results.
3.1 Schiffer’s Variational method
In 1938, Schiffer developed variational method as a tool for treating the extremal problems arising in univalent function theory. Schiffer’s boundary variation [23, 24] which is applicable to very general extremal problems, showed that any function in \(\mathcal {S}\) which maximizes \(|a_{n}|\) must map the disk onto the complement of a single analytic arc [25] which lies on the trajectory of a certain quadratic differential. The omitted arc was found to have monotonic modulus and other nice properties. Bieberbach’s conjecture asserted that this must be a radial half-line. In 1955, Garabedian and Schiffer [7] finally succeeded in using this approach, in combination with Loewner’s method, to prove that \(|a_{4}|\le 4\). The work in [7] gives a general method to attack coefficient problems for univalent functions, but involves a great amount of computational work. Later in 1960, Z. Charzynski and M. Schiffer [4] gave a greatly simplified proof of \(|a_4|\le 4\). In [4], the authors give a new proof of the Grunsky inequality based on variational methods.
In the application of Schiffer’s variational method, the complement \(\Gamma \) of the range of an extremal function consists of analytic curves satisfying a differential inequality of the form \(Q(w)dw^2<0\). More precisely, the Schiffer’s differential equation is of the form
In general, such an expression is called a quadratic differential, where Q is meromorphic and the arcs for which \(Q(w)dw^2>0\) are called its trajectories. In many important cases the function Q is a rational function. The zeros and poles of Q are referred to as the singularities of the quadratic differential. In order to emphasise the geometric point of view, consider a metric \(ds^2=|Q(w)||dw|^2\), which is euclidean except at the singularities. The trajectories are the geodesics of this metric. For the detailed study of this quadratic differential and its local and global trajectories we refer to Jenkins [8, 9] and Strebel [26].
By Schiffer’s variational method, the extremal function of certain extremal problems satisfy a differential equation of the form
where \(P^*\) is a polynomial in w and \(Q^*\) is a rational function in z. The exact formulation for this differential equation was established by Schaffer and Spencer [18,19,20,21,22] in a series of papers on coefficient regions for univalent functions. The problem they considered is to characterize the sequences \(\{a_n\}\) which define such functions and can be solved if one can determine the region \(V_n\) in \((2n-2)\)-dimensional space to which the point \((a_2, a_3,\ldots , a_n)\) is confined. The most likely way to success is to determine the boundary of \(V_n\) through the extremal properties of the corresponding functions, which can be found by developing a specific variational method for geometric and rigorous meaning of the interior variation, see [1].
If \(f(z)=w\) maximizes an extremal problem \(\mathcal {J}(a_2, a_3, a_4, \ldots , a_n)\), then f satisfies the following differential equation (see [20])
where
Here \(a_k^{(v)}\) are the coefficients of
and
3.2 Bombieri method
Bombieri [2] has proved a general result about critical trajectories of a quadratic differential \(Q(\xi )d\xi ^2\) on the \(\xi \)-sphere, arising from the following problem.
Let there be given a quadratic differential \(Q (\xi ) d\xi ^2\) on the \(\xi \)- sphere. Then a "good" subset \(T_0\) (\(T_0\) is said to be good if it satisfies a certain connectedness condition) of the set \(\overline{T}\) where T is the set of critical trajectories of \(Q (\xi ) d\xi ^2\), is a continuously differentiable Jordan arc J on the \(\xi -\) sphere. Now the question is can we assert that \(J\cap T_0\) is either empty set or a single point under aferesaid conditions on J ? The answer to this question is given by Bombieri [2].
Theorem A
[2] Let R be the \(\xi -\) sphere, \(Q (\xi )d\xi ^2\) be a quadratic differential on it with at most three distint poles, only one of which has order at least 2. This point is called B. \(T_0\) be a connected component of \(\overline{T}\setminus B\), and let J be a continuously differentiable Jordan arc on R not containing poles of \(Q (\xi ) d\xi ^2\), such that \(B\notin \overline{J}\) and
Then \(\overline{J}\) can meet \(T_0\) at most in one point.
Corollary
Theorem A remains true if J contains one simple pole A of \(Q(\xi )d\xi ^2\), provided \(T_0\) is the connected component of \(\overline{T}\setminus B\) containing A, and we have
Remark 3.1
Theorem A and and its corollary remains true if the condition
is weakened to
at every point where \(\Im (Q(\xi )d\xi ^2)=0\,\,\,\, \text{ on } J.\)
We will use this in our proof to obtain the differential equation satisfied by the extremal function. The main aim of this paper is to solve generalized Zalcman conjcture for the initial coefficients for functions in \(\mathcal {S}\).
4 Proof of the main results
We first prepare some material which will be used in the proof of our main results.
Let \(a_2=x_2+iy_2\), \(a_3=x_3+iy_3\), \(a_4=x_4+iy_4\), and \(\mathcal {J}=a_4-\lambda a_2a_3\). Then a simple computation gives
Further let
Since the functional \(a_4-\lambda a_2a_3\) is rotationally invariant, we can consider the extremal problem
By Schiffer’s variational method, the extremal function satisfies the following differential equation
where
We are now ready to give the proofs of Theorems 2.1 and 2.2.
Proof of Theorem 2.1
The proof of this theorem requires Bombieri’s method [2] together with Schiffer’s variational method. By Schiffer’s variational method the image of \(|z|=1\) by any extremal function satisfies
with a suitable parameter t. Take \(Q^*(w)dw^2\) as the associated quadratic differential, so that
Let \(w=1/\xi \) and \(Q(\xi )d\xi ^2\) be \(Q^*(1/\xi )d(1/\xi )^2\), then
Let \(a_2=x_2+iy_2\), and \(\xi \) be real. Then we have
Since \(y_2\ne 0\), \(\Im Q(\xi )d\xi ^2=0\) only if \(\xi =6x_2\), In view of Bombieri’s Theorem 1, and its Remark, we have
and at \(\xi =6x_2\) we have
Thus from Bombieri’s Theorem 1 and its Remark the image \(\Gamma \) of \(|z|=1\) by \(\xi \) intersects the real axis only at the origin. It is easy to observe that \(a_2\) can’t be zero for any extremal function. Thus, \(\xi =0\) is a simple pole of \(Q(\xi )d\xi ^2\). Hence \(\xi =0\) is an end point of \(\Gamma \). Hence \(\Gamma \) must lie in either the upper or lower half plane. \(\square \)
Proof of Theorem 2.2
Taking \(\lambda =3\) in (4.10), we get that the extremal function satisfies the following differential equation
where
The image of the unit circle \(|z|=1\) under \(w=f(z)\) has at least one finite end point, and a point on \(|z|=1\), which corresponds to a finite end point is a double zero of g(z). Therefore g(z) can be rewritten as
Comparing (4.12) and (4.13), we obtain
Further g satisfies the following functional equation
It is easy to see that
Since
we have,
and hence
Further,
which implies that
Therefore,
By summarising we have the following relations:
Let \( E=e^{i\theta }\, \text{ then } A= e^{-2i\theta },\,\,\,\, C=re^{i\beta },\,\,\,\, B=se^{i\alpha }.\) From (4.15) we obtain \(e^{-2i\beta }=e^{2i\theta }\), which implies that \(e^{i(\beta +\theta )}=e^{p\pi i}\), where \( p\in \mathbb {Z}.\)
From (4.16), (4.16) we obtain the following relations
Also using (4.14) in (4.17) we obtain
Thus,
Let \(-a_2=|-a_2|e^{i\phi }=|a_2|e^{i\phi }\), then from (4.19) we have
Also from (4.20) we obtain
and using (4.22) in (4.23), we obtain
Let \(|a_2|=R\), \(0<R\le 2\) and consider the function
To find the maximum of G, first we need to find critical points. It is easy to see that
and
Hence
This gives us that at the points which gives the maximum of \(G(R,\theta ,\phi )\), we have
So at \(R=1/12,\) we have
Now we check the value of G under the condition \(e^{i\phi }=e^{-i\theta }\) and obtain
So the maximum is attained at \(R=2\), which gives \(G\le 21,\) and so \(\Re (3a_2a_3-a_4)\le 14,\) i.e., \(|3a_2a_3-a_4|\le 14,\) with equality only for the Koebe function \(k(z)=z/(1-z)^2\) and its rotations, which completes the proof. \(\square \)
References
Ahlfors, L.V.: Conformal Invariants. AMS chelsa Publishing, New York (1973)
Bombieri, E.: A geometric approach to some coefficient inequalities for univalent functions. Ann. Scoula Norm. Sup. Pisa 22, 377–397 (1968)
Brown, J.E., Tsao, A.: On the Zalcman conjecture for starlike and typically real functions. Math. Z. 191, 467–474 (1986)
Charzynski, Z., Schiffer, M.: A new proof of the Bieberbach conjecture for the 4th coefficient. Arch. Ration. Mech. Anal. 5, 187–193 (1960)
de Branges, L.: A proof of the Bieberbach conjecture. Acta Math. 154, 137–152 (1985)
Duren, P.L.: Univalent Functions (Grundlehren der mathematischen Wissenschaften 259, Berlin, Heidelberg, Tokyo). Springer, New York (1983)
Garbedian, P.R., Schiffer, M.: A proof of the Bieberbach conjecture for the fourth coefficient. J. Ration. Mech. Anal. 4, 427–465 (1955)
Jenkins, J.A.: On certain coefficients of univalent functions. In: Analytic Functions. Princeton Univ. Press, pp. 159–164 (1960)
Jenkins, J.A.: Univalent Functions and Conformal Mappings. Springer, Berlin (1965)
Krushkal, S.L.: Univalent functions and holomorphic motions. J. Anal. Math. 66, 253–275 (1995)
Krushkal, S.L.: Proof of the Zalcman conjecture for initial coefficients. Georgian Math. J. 17, 663–681 (2010)
Krushkal, S.L.: A short geometric proof of the Zalcman conjecture and Bieberbach conjecture, preprint, arXiv:1408.1948
Li, L., Ponnusamy, S.: On the generalized Zalcman functional \(\lambda a_n^2-a_{2n-1}\) in the close-to-convex family. Proc. Am. Math. Soc. 145, 833–846 (2017)
Ma, W.: The Zalcman conjecture for close-to-convex functions. Proc. Am. Math. Soc. 104, 741–744 (1988)
Ma, W.: Generalized Zalcman conjecture for starlike and typically real functions. J. Math. Anal. Appl. 234, 328–339 (1999)
Ozawa, M.: On Certain coefficient inequalities for uniavlent functions. Kodai Math. Sem. Rep. 16, 183–188 (1964)
Pfluger, A.: On a coefficient problem for Schlicht functions. In: Advances in Complex Function Theory (Proc. Sem., Univ. Maryland, College Park, Md., 1973), Lecture Notes in Math., Vol. 505. Springer, Berlin, pp. 79–91 (1976)
Schaeffer, A.C., Spencer, D.C.: The coefficients of Schilcht functions-I. Duke Math. J. 10, 611–635 (1943)
Schaeffer, A.C., Spencer, D.C.: The coefficients of Schilcht functions-II. Duke Math. J. 12, 107–125 (1945)
Schaeffer, A.C., Spencer, D.C.: The coefficients of Schilcht functions-III. Proc. Natl. Acad. Sci. 32, 111–116 (1946)
Schaeffer, A.C., Spencer, D.C.: The coefficients of Schilcht functions-IV. Proc. Natl. Acad. Sci. 35, 143–150 (1949)
Schaeffer, A.C., Schiffer, M., Spencer, D.C.: The coefficients of Schilcht functions. Duke Math. J. 16, 493–527 (1949)
Schiffer, M.: A method of variation within the family of simple functions. Proc. Lond. Math. Soc. 44, 432–449 (1938)
Schiffer, M.: On the coefficients of simple functions. Proc. Lond. Math. Soc. 44, 450–452 (1938)
Schiffer, M.: On the coefficient problem for univalent functions. Trans. Am. Math. Soc. 134(1938), 95–101 (1968)
Strebel, K.: Quadratic Differential. Springer, Berlin (1984)
Acknowledgements
Authors thanks Prof. Hiroshi Yanagihara and Prof. D. K. Thomas for fruitful discussions and giving constructive suggestions for improvements to this paper. The first author thanks SERB-CRG, and the second author thanks Prime Minister’s Research Fellowship (Id: 1200297) for their support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Allu, V., Pandey, A. On the generalized Zalcman conjecture. Annali di Matematica (2024). https://doi.org/10.1007/s10231-024-01461-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10231-024-01461-z
Keywords
- Analytic
- Univalent
- Starlike
- Convex
- Functions
- Coefficients
- Variational method
- Zalcman conjecture
- Generalized Zalcman conjecture
- Quadratic differential