Abstract:The problem on estimate of the Koebe radius for univalent harmonic mappings of the unit disk $\mathbb D=\{z\in\mathbb C : |z|<1\}$ is considered. For a subclass of harmonic mappings with the standard normalization and a certain growth estimate for analytic dilatation, we provide new estimate for the Koebe radius. New estimate for Taylor coefficients of the holomorphic part of a function from the subclass under consideration is obtained as a corollary.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the Koebe radius estimation of univalent harmonic mappings and the Taylor coefficient estimation of such mappings. Specifically:
1. **Koebe radius estimation**:
- The paper studies the Koebe radius estimation problem of univalent harmonic mappings on the unit disk \( D=\{z\in\mathbb{C}:|z| < 1\}\). The Koebe radius refers to the radius of the largest disk centered at the origin contained in the image in a given class of univalent mappings.
- For a specific subclass \( S_0^H(k,m)\), the author provides new Koebe radius estimates. This subclass consists of harmonic mappings with standard normalization conditions and whose analytic dilatations satisfy certain growth estimates.
2. **Taylor coefficient estimation**:
- As a corollary of the Koebe radius estimation, the paper also provides new estimates of the Taylor coefficients of the holomorphic part of functions in this subclass.
- These estimates are related to the problem of Taylor coefficient estimation of univalent harmonic mappings proposed by Clunie and Sheil - Small. The problem proposed by Clunie and Sheil - Small is to prove that the Taylor coefficients of univalent harmonic mappings satisfy certain specific inequalities, and these inequalities are optimal.
### Specific problem description
- **Definition of Koebe radius**:
- For any \( f\in S\), where \( S\) represents the class of univalent holomorphic functions on the unit disk with standard normalization conditions \( f(0) = 0\) and \( f'(0)=1\), according to the famous Koebe 1/4 theorem, \( f(D)\) contains the disk \(\{w\in\mathbb{C}:|w|<1/4\}\), and the radius 1/4 is optimal.
- For other classes of univalent mappings that preserve the origin (for example, univalent harmonic mappings or univalent mappings generated by solutions of various elliptic PDEs), determining the radius of the largest disk centered at the origin contained in their images is a natural problem. This radius is called the Koebe radius of this class of mappings.
- **Main results of the paper**:
- Theorem 1: For \( f\in S_0^H(k,m)\), we have
\[
|f(z)|\geq\frac{|z|}{4(1 + k|z|^m)^{2/m}}, \quad z\in D.
\]
- In particular, for any \( f\in S_0^H(k,m)\), its image \( f(D)\) contains the disk \(\{w:|w|<\frac{1}{4(1 + k)^{2/m}}\}\).
- **Corollaries**:
- Corollary 1: If \( k\leq1/2\), then the image of \( f\in S_0^H(k,m)\) contains the disk \(\{w:|w|<1/6\}\).
- Corollary 2: If \( m\geq\frac{2}{\log 23 - 1}\), then the image of \( f\in S_0^H(k,m)\) contains the disk \(\{w:|w|<1/6\}\).
Through these estimates, the paper provides new insights and results for the Koebe radius and Taylor coefficient estimation problems of univalent harmonic mappings.