arXiv2026
Krzyz's conjecture on estimating the moduli of Taylor coefficients in the class of holomorphic, bounded, nonvanishing functions is considered. This paper studies both global and locally extremal functions in the introduced topology, which is stronger than the topology of locally uniform convergence. The relation between the class under consideration and the Caratheodory class is established, and the general form of extremal functions in the Krzyz problem is described. It is shown that every extremal function corresponds to a polynomial $H$ generated by its coefficients and having positive real part in the unit disk. These polynomials are studied using a finite-dimensional analogue of the Caratheodory-Toeplitz criterion for polynomials, following from the Fejer-Riesz theorem. Necessary extremality conditions are obtained that substantially simplify the study of extremals for fixed $n$. Conditions for uniqueness of an extremal function are investigated. In particular, it is proved that uniqueness of a global extremal implies the Krzyz conjecture. The notion of functions of extremal type, satisfying all the necessary extremality conditions obtained, is introduced. Every locally extremal function is of extremal type, and the search for such functions at a fixed coefficient index reduces to solving a finite system of equations and inequalities. The sets of functions of extremal type are completely described for $n=1,2,3$. It is proved that the set of functions of extremal type consists of one function for $n=1$, five functions for $n=2$, and nineteen functions for $n=3$. Comparing the values of the functional under study on these sets proves the Krzyz conjecture for $n=1,2,3$.