Abstract:In this paper, we define a subclass of sense-preserving harmonic functions associated with a class of analytic functions satisfying a differential inequality. We then establish a close relation between both subclasses. Further, we obtain some characteristic properties, including radius properties, convolution, coefficient estimates and their properties, growth estimates, and convex combination for the functions in the defined subclass. At last, we produce conditions for some special functions as well as harmonic univalent polynomials to belong to the defined subclass of harmonic functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define and study a subclass of harmonic functions related to univalent functions. Specifically, the author defines a subclass $\Omega_0^H(\lambda)$ of orientation - preserving harmonic functions, and these functions satisfy a specific differential inequality. By establishing a close relationship between this subclass and the known class of analytic functions $\Omega(\lambda)$, the author further explores several characteristics of the functions in $\Omega_0^H(\lambda)$, including radius properties, convolution, coefficient estimates and their properties, growth estimates, and convex combinations.
### Specific problems and goals:
1. **Define a new subclass of functions**:
- Define a subclass $\Omega_0^H(\lambda)$ of harmonic functions, where $\lambda > 0$, and these functions satisfy a specific differential inequality in the unit disk $D$.
2. **Establish relationships between subclasses**:
- Establish the relationship between $\Omega_0^H(\lambda)$ and the class of analytic functions $\Omega(\lambda)$, and prove the mutual inclusion between these two classes.
3. **Study the properties of functions**:
- Explore the radius properties of the functions in $\Omega_0^H(\lambda)$, such as stable univalence, starlikeness, and convexity.
- Study the convolution property, that is, whether the convolution of two functions in $\Omega_0^H(\lambda)$ still belongs to this class.
- Give coefficient estimates and their properties, and determine the upper bounds of the function coefficients.
- Discuss growth estimates, that is, the growth ranges of function values and their derivatives.
- Study the convex combination property, that is, whether $\Omega_0^H(\lambda)$ is closed under convex combinations.
4. **Conditions for special functions**:
- Give the conditions for some special functions (such as the Gaussian hypergeometric function) and harmonic univalent polynomials to belong to $\Omega_0^H(\lambda)$.
### Main results:
- **Association theorem**: For a harmonic function $f(z)=h(z)+g(z)$ in $\Omega_0^H(\lambda)$, there exists an analytic function $F_\zeta(z)=h(z)+\zeta g(z)\in\Omega(\lambda)$, and vice versa, where $|\zeta| = 1$.
- **Radius properties**: The radii of stable univalence, starlikeness, and convexity of the functions in $\Omega_0^H(\lambda)$ are given.
- **Coefficient estimates**: The upper bounds of the coefficients of the functions in $\Omega_0^H(\lambda)$ are proved, and the optimality of these bounds is verified.
- **Growth estimates**: The growth ranges of the values and their derivatives of the functions in $\Omega_0^H(\lambda)$ are given.
- **Convex combinations**: It is proved that $\Omega_0^H(\lambda)$ is closed under convex combinations.
- **Conditions for special functions**: The conditions for the Gaussian hypergeometric function and harmonic univalent polynomials to belong to $\Omega_0^H(\lambda)$ are given.
Through these studies, the author not only extends the theory of harmonic functions, but also provides a theoretical basis and tools for further research in related fields.