[Paper Review] Univalence criterion for harmonic mappings and $\Phi$-like functions

S. Yu. Graf, Saminathan Ponnusamy+1 more|arXiv (Cornell University)|Oct 16, 2015

Analytic and geometric function theory6 references3 citations

TL;DR

This paper establishes a new univalence criterion for harmonic mappings in the unit disk by introducing a structural formula for analytic $Φ$-like functions, generalizing classical results of Kas’yanyuk and Brickman with a simpler proof. The key contribution is a novel distortion theorem enabling the construction of univalent harmonic mappings beyond the scope of prior methods, particularly for non-close-to-convex domains.

ABSTRACT

In this paper, we obtain a new characterization for univalent harmonic mappings and obtain a structural formula for the associated function which defines the analytic $\\Phi$-like functions in the unit disk. The new criterion stated in this article for the injectivity of harmonic mappings implies the well-known results of Kas'yanyuk \\cite{Kas59} and Brickman \\cite{Brick73} for analytic functions, but with a simpler proof than theirs. A number of consequences of the characterization, and examples are also presented. Further investigation provides a new method to construct univalent harmonic mappings with the help of an improved distortion theorem.

Motivation & Objective

• To develop a new characterization criterion for univalent harmonic mappings in the unit disk, extending known results for analytic functions.
• To provide a structural formula for the analytic function defining $Φ$-like mappings, generalizing the theory of $Φ$-like functions to the harmonic setting.
• To offer a simpler proof of classical univalence results for analytic functions (Kas’yanyuk and Brickman) by unifying them under the new harmonic framework.
• To present a new method for constructing univalent harmonic mappings using an improved distortion theorem, applicable even when classical criteria fail.
• To demonstrate the utility of the new criterion through examples, particularly for mappings that are not close-to-convex, thus expanding the class of constructible univalent harmonic maps.

Proposed method

• Derives a new univalence criterion for harmonic mappings $f = h + \overline{g}$ in the unit disk by analyzing the real part of $e^{i\gamma} h'(z)/G'(z)$ and $|g'(z)/G'(z)|$, generalizing Theorem B.
• Introduces a structural formula for analytic univalent $Φ$-like functions via the condition $\operatorname{Re}\left(\frac{zf'(z)}{\Phi(f(z))}\right) > 0$, with $\Phi$ analytic, $\Phi(0) = 0$, and $\operatorname{Re}\Phi'(0) > 0$.
• Establishes an improved distortion theorem (Lemma 1) that bounds the minimum modulus of $h'$ on $|z| \leq r$, enabling quantitative control over univalence.
• Applies the argument principle to show that $F(z) = h(z) + \varepsilon \overline{z}$ is univalent in $\mathbb{D}$ when $|\varepsilon| < r \min\{m(r), m(0)C(r)\}$, where $m(r)$ is the minimum of $|h'(z)|$ on $|z| \leq r$.
• Uses the condition $\operatorname{Re}\left(e^{i\gamma} \frac{h'(z)}{G'(z)}\right) > \left| \frac{g'(z)}{G'(z)} \right|$ to ensure sense-preserving univalence and close-to-convexity.
• Applies the criterion to construct univalent harmonic mappings via perturbation of univalent analytic functions, even when the resulting image is not close-to-convex.

Experimental results

Research questions

• RQ1 Can a new, simpler criterion for univalence of harmonic mappings be derived that generalizes classical results for analytic functions?
• RQ2 What structural properties characterize analytic $Φ$-like functions in the unit disk, and how can they be used to generate univalent harmonic maps?
• RQ3 To what extent can the improved distortion theorem extend the class of constructible univalent harmonic mappings beyond those satisfying classical close-to-convexity conditions?
• RQ4 How does the new criterion perform in cases where prior theorems (e.g., Theorem A or B) fail, particularly for non-close-to-convex images?
• RQ5 Can the new method produce univalent harmonic mappings that are not close-to-convex, and how do they behave under kernel convergence?

Key findings

• The paper establishes a new univalence criterion for harmonic mappings that implies the classical results of Kas’yanyuk and Brickman for analytic functions, but with a significantly simpler proof.
• A structural formula is derived for analytic univalent $Φ$-like functions, showing that such functions satisfy $\operatorname{Re}\left(\frac{zf'(z)}{\Phi(f(z))}\right) > 0$ for some analytic $Φ$ with $\Phi(0) = 0$ and $\operatorname{Re}\Phi'(0) > 0$.
• The improved distortion theorem (Lemma 1) provides a quantitative lower bound on $|h'(z)|$ on $|z| \leq r$, enabling explicit construction of univalent harmonic maps via perturbation.
• For $f_\varepsilon(z) = h_r(z) + \varepsilon(h_r(z) + \overline{z})$, univalence is guaranteed when $|\varepsilon| < \varepsilon_0(r) = r \min\{m(r), m(0)C(r)\}$, with $m(r) = \min_{|z|\leq r} |h_1'(z)|$ and $C(r)$ defined via the distortion lemma.
• The constructed harmonic mappings $f_\varepsilon$ are univalent even when the image domain is not close-to-convex, demonstrating the method's superiority over classical criteria.
• As $r \to 1^-$, the constant $\varepsilon_0(r) \to 0$, showing that the method applies to mappings close to non-close-to-convex analytic functions, with uniform convergence on compact subsets to the limiting analytic function $h_1$.