Zalcman Conjecture: Coefficient Estimates

• The Zalcman Conjecture is a central problem in geometric function theory defining sharp bounds on nonlinear analytic coefficient functionals of univalent functions in the unit disk.
• It establishes precise inequalities, such as |aₙ² − a₂ₙ₋₁| ≤ (n−1)², with equality occurring only for rotations of the extremal Koebe function.
• Generalizations involve bilinear forms and parameterized families, with proofs using convex hull methods, subordination techniques, and extremal function theory in special classes.

The Zalcman Conjecture is a central problem in geometric function theory concerning sharp estimates for nonlinear analytic coefficient functionals of univalent (injective, holomorphic) functions on the unit disk. Formulated by Lawrence Zalcman in the 1960s, the conjecture asserts a precise bound on the quadratic difference $|a_n^2-a_{2n-1}|$ of Taylor coefficients for normalized univalent functions $f(z)=z+\sum_{n=2}^\infty a_n z^n$ in the unit disk $\mathbb{D}$. The conjecture is both a sharper strengthening of, and implies, the Bieberbach conjecture—a keystone result in the classical theory of univalent functions. The Koebe function $k(z)=z/(1-z)^2$ plays a distinguished extremal role throughout these inequalities.

1. Formulation of the Zalcman and Generalized Zalcman Conjectures

Let $\mathcal{S}$ denote the class of normalized univalent functions $f(z)=z+\sum_{n=2}^\infty a_n z^n$ on the unit disk $\mathbb{D}$. The classical Zalcman conjecture states that for all $n\geq 2$,

$|a_n^2-a_{2n-1}| \leq (n-1)^2,$

with equality if and only if $f$ is a rotation of the Koebe function $k_x(z)=z/(1-xz)^2$, $|x|=1$ (Allu et al., 2020, Krushkal, 15 Jan 2026). This conjecture refines coefficient problems in geometric function theory by relating pairs of coefficients, linking to and greatly strengthening the Bieberbach conjecture $|a_n|\leq n$.

A key generalization, due to Ma, introduces the bilinear form

$$|a_n a_m - a_{n+m-1}| \leq (n-1)(m-1), \qquad n,m\geq2,$$

again conjectured sharp with Koebe extremality (Allu et al., 2020). Further extensions introduce parametric families

$$|\lambda a_n a_m - a_{n+m-1}| \leq \lambda nm - n - m + 1, \qquad n\geq2,\ m\geq3,$$

with extremal values realized again by Koebe rotations (Allu et al., 2022, Ravichandran et al., 2016).

2. Proofs and Techniques in Special Function Classes

Although the full conjectures remain open for $\mathcal{S}$ beyond low order coefficients, they have been established for significant subclasses and in special cases, often via extremal function, convex hull, or subordination techniques.

Class $\mathcal{U}$ (Ozaki–Nunokawa Functions)

$\mathcal{U}$ consists of those $f \in \mathcal{A}$ with

$$\left|f'(z)\left(\frac{z}{f(z)}\right)^2-1\right| < 1,$$

for all $z \in \mathbb{D}$ (Allu et al., 2020). $\mathcal{U}$ is compact, convex, and contained in $\mathcal{S}$. The Zalcman and generalized Zalcman conjectures are settled for all orders in $\mathcal{U}$ using convex-hull/ extreme-point theory: $|a_n^2 - a_{2n-1}| \leq (n-1)^2,$ and

$$|a_n a_m - a_{n+m-1}| \leq \begin{cases} n+m-1, & (n,m)\in\{(2,n),(n,2),(3,3),(3,4),(4,3)\},\ (n-1)(m-1), & \text{otherwise}. \end{cases}$$

Equality holds only for Koebe function rotations. Proofs proceed by convexity, Kreĭn–Milman theory, and direct evaluation on the set of extremal functions $k_x$ (Allu et al., 2020, Obradović et al., 2020, Alarifi et al., 2020).

Class $\mathcal{F}$ (Functions with $\operatorname{Re}(1-z)^2 f'(z) > 0$)

For $f\in\mathcal{F}$, via the Herglotz representation and Schwarz–Pick bounds, the initial coefficient Zalcman-type inequalities are proven: $|a_2 - a_3| \leq 1,\qquad |a_2 a_3 - a_4| \leq 2,$ both sharp for Koebe rotations (Allu et al., 2020). Extension to higher coefficients remains unresolved.

3. Methods of Proof: Extreme Point, Variational, and Geometric Function Techniques

For compact, convex function subclasses, sharp coefficient bounds arise from convexity principles—by the Kreĭn–Milman theorem, maxima of convex, real-valued functionals are realized at extreme points. For $\mathcal{U}$, an explicit subordination

$\frac{f(z)}{z} \prec \frac{1}{(1-z)^2}$

leads to an extreme-point set consisting of Koebe function rotations, reducing the Zalcman functional to explicit computation (Allu et al., 2020).

For $\mathcal{F}$, exploiting the positivity of real-part functionals enables reduction via the Herglotz integral to an optimization problem over the closed unit disk for the coefficients of associated Schwarz maps. Here, maximization of real polynomials in modulus yields sharp inequalities (Allu et al., 2020).

In the full univalent class $\mathcal{S}$, proof for small $n$ proceeds via advanced geometric/variational arguments, including Schiffer's method, use of quadratic differentials, extremal quasiconformal mappings, and the deep geometry of Teichmüller and Bers fiber spaces (Krushkal, 15 Jan 2026, Krushkal, 2011, Krushkal, 2014).

4. Known Results, Extensions, and Limitations

The Zalcman conjecture is known to hold for $\mathcal{S}$ for $n\leq 6$ through direct geometric arguments related to the Ahlfors–Schwarz lemma (Krushkal, 15 Jan 2026); for classes like starlike, convex, close-to-convex, typically real, typically real with real coefficients, and their convex hulls, by sharp coefficient methods (Li et al., 2016, Efraimidis et al., 2014, Agrawal et al., 2016, Ravichandran et al., 2016). For the generalized Zalcman conjecture, the first nontrivial cases $(n,m)=(2,3)$ and $(2,4)$ have been established by combining surgery techniques for holomorphic motions and coefficient estimates (Allu et al., 2022). Asymptotic versions controlled by the Hayman index also validate the Zalcman bounds in the large $n$ limit (Efraimidis et al., 2016, Efraimidis et al., 2014).

For convex functions of order $\alpha$, $\mathcal{F}(\alpha)$, the generalized Zalcman conjecture $|\lambda a_n^2 - a_{2n-1}|$ is settled precisely for all $n\geq 3$, with explicit sharp constants depending on $\alpha$ and $\lambda$ (Li et al., 2016).

Complete resolution for all $n\geq 7$ in $\mathcal{S}$, and for generalized Zalcman inequalities in other broad classes, remains open. The methods for compact, convex classes do not generalize directly to $\mathcal{S}$, which lacks convexity.

5. Extremality and Role of the Koebe Function

In all sharp cases, equality in Zalcman or generalized Zalcman inequalities is realized only for rotations of the Koebe function $k_x(z)=z/(1-xz)^2$. This extremality is forced by geometric, analytic, and potential-theoretic arguments—among others, the structure of homotopy disks in Teichmüller space and maximality of homogeneous functionals under invariant metrics (Krushkal, 2011, Allu et al., 2020, Krushkal, 15 Jan 2026). The Koebe function thus represents the extremal geometric deformation for coefficient growth among all normalized univalent maps.

6. Connections, Open Problems, and Future Directions

The Zalcman conjecture's status as strengthening and implying the Bieberbach inequality highlights its potential to reorganize the hierarchy of analytic coefficient problems. Its full resolution for $\mathcal{S}$ would complete the understanding of sharp higher-order coefficient interactions. Active directions include:

• Extending sharp bounds for the generalized Zalcman functional to higher-order coefficients in non-convex, non-starlike subclasses.
• Developing methods to cover the full class $\mathcal{S}$, likely requiring further advances in the geometry of universal Teichmüller space and the theory of extremal Beltrami coefficients (Krushkal, 15 Jan 2026, Krushkal, 2011, Allu et al., 2020).
• Exploration of other sharpened nonlinear functionals (e.g., Hankel determinants, multivariable coefficient forms) and their extremal configurations (Alarifi et al., 2020).
• Asymptotic analysis leveraging Hayman index, regularity theory, and bootstrapping subclass estimates (Efraimidis et al., 2014, Efraimidis et al., 2016).
• Identifying structural or geometric reasons underlying "exceptional" pairs in generalized Zalcman bounds for special parameter values and regimes (Allu et al., 2020).

Continued progress in this area remains crucial to the broader program of resolving extremal analytic coefficient problems in univalent function theory and advancing the understanding of the geometric analytic mapping class of the disk.