 Research
 Open Access
 Published:
Integral transforms for logharmonic mappings
Journal of Inequalities and Applications volume 2021, Article number: 48 (2021)
Abstract
Bieberbach’s conjecture was very important in the development of geometric function theory, not only because of the result itself, but also due to the large amount of methods that have been developed in search of its proof. It is in this context that the integral transformations of the type \(f_{\alpha }(z)=\int _{0}^{z}(f(\zeta )/\zeta )^{\alpha }\,d\zeta \) or \(F_{\alpha }(z)=\int _{0}^{z}(f'(\zeta ))^{\alpha }\,d\zeta \) appear. In this note we extend the classical problem of finding the values of \(\alpha \in \mathbb{C}\) for which either \(f_{\alpha }\) or \(F_{\alpha }\) are univalent, whenever f belongs to some subclasses of univalent mappings in \(\mathbb{D}\), to the case of logharmonic mappings by considering the extension of the shear construction introduced by Clunie and SheilSmall in (Clunie and SheilSmall in Ann. Acad. Sci. Fenn., Ser. A I 9:3–25, 1984) to this new scenario.
Introduction
One of the most studied classes of functions in the context of geometric function theory is the well known class S of univalent functions f defined in the unit disk, normalized by \(f(0)=1f'(0)=0\). The investigations of problems associated with the class S and some of its subclasses go back to the works of Koebe, developed at beginning of the last century. Undoubtedly, one of the most important problems in this field was the Bieberbach conjecture, presented in 1916 and solved by de Brange in 1984. Solving this problem had a profound influence in the development of the theory of univalent functions, providing, among other things, powerful methods which have been used to study other problems in geometric function theory. One important question arising in this context is determining the values of \(\alpha \in \mathbb{C}\) for which the functions
or
belong to the class S, when φ is a function of this class. The univalence of these integral operators was first studied by Royster [28], and although some partial results have been obtained, in the general case, this question remains open. It is known, for example, that if \(\alpha \leq 1/4\) then both transforms are univalent, see [17, 25]. However, there are functions \(\varphi \in S\) for which \(\Phi _{\alpha }\) is not univalent for any \(\alpha >1/3\) with \(\alpha \neq 1\). An analogous result was obtained in [17] for the transform of type (1); in that paper it is proved that, for all \(\alpha >1/2\), there are functions \(\varphi \in S\) such that the corresponding \(\varphi _{\alpha }\) is not univalent. For a summary of these results, we refer the reader to the classical book by Goodman [15]. Some recent results and other problems related to transforms (1) and (2), in the context of analytic and meromorphic functions, can be found in [18, 19, 24, 27].
Since the work by Clunie and SheilSmall [13], many problems of geometric function theory have been extended from the setting of holomorphic functions to the wider class of harmonic mappings in the plane. In this direction, in [11] and subsequently in [8], the authors proposed an extension of the integral transforms (1) and (2) to the setting of sensepreserving harmonic mapping, see also Theorems 2 and 3 in [6]. The definitions given in [8] make use of the shear construction introduced by Clunie and SheilSmall in [13] as follows: let \(f=h+\overline{g}\) be a sensepreserving harmonic mapping in the unit disk \(\mathbb{D}= \lbrace z\in \mathbb{C} : z<1 \rbrace \) with the usual normalization \(g(0)=h(0)=1h'(0)=0\) and dilatation \(\omega =g'/h'\). Given \(\alpha \in \overline{\mathbb{D}}\), when \(\varphi =hg\) is zero only at \(z=0\), we define \(F_{\alpha }\) as the horizontal shear of \(\varphi _{\alpha }\) defined by (1) with dilatation \(\omega _{\alpha }=\alpha \omega \). This is, \(F_{\alpha }=H+\overline{G}\), where H, G satisfy
with \(H(0)=G(0)=0\). In a similar way we extend the integral transform (2) to sensepreserving harmonic mappings in \(\mathbb{D}\). The reader can find interesting results, some of which are related to the question of knowing for which values of α the integral transforms lead functions belonging to the class S (or to some of its subclasses) to the class S in [8]. It is important to point out that the analog of the Bieberbach conjecture for sensepreserving univalent harmonic mappings f, proposed by Clunie and SheilSmall [13], remains open even for the second Taylor coefficient \(a_{2}\) of the analytic part h of f. The best known estimate for \(a_{2}\) is obtained in [7].
The main objective of the present paper is to investigate this type of problems, but in the context of logharmonic mappings defined in the unit disk. To this end, we extend the integral transforms defined by (1) and (2) to the case of logharmonic mappings. Analogous to the extension of (1) and (2) previously described for sensepreserving harmonic mappings, we use a method similar to the shear construction by Clunie and SheilSmall, introduced in [2, 22] for constructing univalent logharmonic mappings. The manuscript is organized as follows. In Sect. 2 some preliminaries concerning logharmonic mappings are introduced, in Sect. 3 we introduce the integral transform of the first type for logharmonic mappings, in particular, we generalize a result obtained by Pfalztgraff in [25]. The extension of the integral transform of type (2) to logharmonic mappings is given in Sect. 4, in which we obtain similar results to those obtained in Sect. 3. Finally, Sect. 5 is devoted to extending the integral transforms to the special case of nonvanishing logharmonic mappings.
Some preliminaries about logharmonic mappings
A logharmonic mapping defined in the unit disk \(\mathbb{D}\) is a solution of the nonlinear elliptic partial differential equation
where ω is an analytic function from \(\mathbb{D}\) into itself, which is called second complex dilatation of f. The study of logharmonic functions was initiated mainly by the works of Abdulhadi, Bshouty, and Hengartner [3, 5], and later continued in a series of papers in which the basic theory of logharmonic functions has been developed. Since then many papers have been published dealing with this subject, see for example [1, 4, 9, 22, 23].
Because of the condition on ω, the Jacobian \(J_{f}\) of f, given by
is nonnegative, and therefore, every nonconstant logharmonic mapping is sensepreserving and open in \(\mathbb{D}\). If f is a nonconstant logharmonic mapping defined in \(\mathbb{D}\) and vanishes only at the origin, then f has the representation
where m is a nonnegative integer, \(\operatorname{Re}\{\beta \}>m/2\), and h and g are analytic mappings in the unit disk, such that \(g(0)=1\) and \(h(0)\neq 0\) (see [3]). In particular, when f is a univalent logharmonic mapping defined in \(\mathbb{D}\) and \(f(0)=0\), we can represent f in the form
where \(\operatorname{Re}\{\beta \}>1/2\), and h and g are analytic mappings in \(\mathbb{D}\) such that \(g(0)=1\) and \(0\notin hg(\mathbb{D})\). This class of logharmonic mappings has been widely studied. For more details the reader can read the summary paper in [2] and the references given there.
In the first part of this study, we consider univalent logharmonic mappings in \(\mathbb{D}\) with \(\omega (0)=0\), the case in which f has the form
which implies that its dilatation ω is given by
In relation to this class of functions, denoted by \(S_{Lh}\), the following result, which is one of the tools that we shall use in this manuscript, was proved in [1], see also [5]; it asserts the following.
Theorem A
Let \(f(z)=zh(z)\overline{g(z)}\) be a logharmonic mapping defined in \(\mathbb{D}\) such that \(0\notin hg(\mathbb{D})\). Then \(\varphi (z)=zh(z)/g(z)\) is a starlike analytic function if and only if \(f(z)\) is a starlike logharmonic mapping.
Also we will consider nonvanishing logharmonic mappings in \(\mathbb{D}\). It is well known that such mappings can be expressed in the form
where h and g are nonvanishing analytic functions in \(\mathbb{D}\). In terms of h and g, when f is locally univalent, the dilatation ω of f is given by
Note that in this case h is locally univalent.
Throughout this paper, we mainly study integral transforms of type (1) and (2) for two classes of logharmonic functions: first we consider univalent logharmonic mappings of the form \(f(z)=zh(z)\overline{g(z)}\) normalized as \(h(0)=g(0)=1\) and its several subfamilies as starlike and convex mappings normalized as before. In a similar way we study the case when f is a nonvanishing univalent logharmonic function of the form \(f=h\overline{g}\) such that \(h(0)=g(0)=1\).
Integral transform of the first type
Let \(f=zh(z)\overline{g(z)}\) be a locally univalent logharmonic mapping defined in the unit disk with the normalization described above. Then \(\varphi (z)=zh(z)/g(z)\) is an analytic function in \(\mathbb{D}\) such that \(\varphi (0)=0\), \(\varphi '(0)=1\), and \(\varphi (z)\neq 0\) if \(z\neq 0\). So, h, g are solution of the system of nonlinear differential equations
This fact was used in [22] to establish a method of construction of starlike (univalent) logharmonic mappings satisfying that φ is an analytic starlike function and ω is a Schwarz map. Here we use it to extend the integral transform (1) to the case of logharmonic mappings, with the above notation, as follows: given \(\alpha \in \overline{\mathbb{D}}\), we define \(f_{\alpha }\) to be the logharmonic mapping, with dilatation \(\omega _{\alpha }=\alpha \omega \), given by \(f_{\alpha }(z)=zH(z)\overline{G(z)}\), where H, G satisfy the system
with the initial conditions \(H(0)=G(0)=1\).
Here, we consider \(\alpha \in \mathbb{D}\) since \(\omega _{\alpha }\) must be a Schwarz map. However, we can consider any complex number α such that \(\alpha \omega <1\). Note that if \(\alpha =0\), then \(H/G\equiv 1\) and \(\omega _{\alpha }=0\), whence it follows that G is constant, say k, which leads to \(f_{\alpha }(z)=k^{2}z\). On the other hand, if \(\alpha =1\) we have that \(\varphi _{1}(z)=zH(z)/G(z)\) satisfies
which implies that when φ is starlike, \(\varphi _{1}\) is convex (in particular starlike). Consequently, according to [22], \(f_{1}\) is starlike. However, we know from the analytic case that, for α of module greater than \(1/3\), there are univalent functions whose respective functions \(f_{\alpha }\) are not univalent in \(\mathbb{D}\). Because of this and other similar problems that appear both in the context of analytic functions and in the context of harmonic mappings, we are interested in studying the values of α for which we can ensure that \(f_{\alpha }\) belongs to \(S_{Lh}\) or to some of its subclasses. A first result in this direction is given in the following proposition.
Proposition 3.1
Let \(f(z)=zh(z)\overline{g(z)}\) be a univalent logharmonic mapping defined in \(\mathbb{D}\) with dilatation ω. Let \(zh(z)/g(z)=\varphi (z)\) and the integral transformation \(f_{\alpha }\) be defined by (3).

(i)
If φ is a convex mapping, then \(f_{\alpha }\) is a starlike logharmonic mapping when \(\alpha \in [0,2]\) and \(\alpha \omega <1\).

(ii)
If φ is a starlike mapping, then \(f_{\alpha }\) is a starlike logharmonic mapping when \(\alpha \in [0,1]\).
Proof
We note first that if \(f_{z}(z_{0})=0\) for some \(z_{0}\in \mathbb{D}\), then \(z_{0}\neq 0\),
which implies \(\varphi '(z_{0})=0\). Hence, \(J_{f}\) is positive in \(\mathbb{D}\).
By the definition of \(f_{\alpha }(z)=zH(z)\overline{G(z)}\), we have that \(zH(z)/G(z)=\varphi _{\alpha }(z)\) satisfies
\(\alpha \in \mathbb{R}\). To prove (i) we argue as follows: Since φ is convex, it follows that \(\operatorname{Re}\{z\varphi '(z)/\varphi (z)\}>1/2\), which implies that
Hence, \(\varphi _{\alpha }\) is convex and, in particular, is a starlike mapping. Using inequality (4) we conclude that
Analogously, \(\varphi _{\alpha }\) is a starlike mapping when φ satisfies the hypothesis in (ii). Thus the proofs of (i) and (ii) are concluded by applying Theorem A. □
In [4] the authors extend to the case of logharmonic mappings the concept of stable univalent function (resp. starlike, convex, closetoconvex, etc.) studied in [16] for harmonic and analytic functions, see also [14, 20]. More precisely, they give the following definition.
Definition 3.1
A logharmonic function \(f(z)=zh(z)\overline{g(z)}\), normalized by \(h(0)=g(0)=1\), is called stable univalent logharmonic or \(SU_{Lh}\) if, for all \(\lambda =1\), \(f_{\lambda }(z)=zh(z)\overline{g(z)}^{\lambda }\) is univalent logharmonic.
Next, we present a criterion to establish the stable univalence of \(f_{\alpha }\).
Theorem 3.1
Let \(f(z)=zh(z)\overline{g(z)}\) be a logharmonic mapping defined in the unit disk with dilatation ω, normalized by \(h(0)=g(0)=1\), and such that \(zh(z)/g(z)=\varphi (z)\) is a univalent mapping. Then \(f_{\alpha }\) defined by (3) is a stable univalent logharmonic mapping if α satisfies the inequality
where
Proof
As in the previous proposition, \(J_{f}>0\) in \(\mathbb{D}\) and therefore f is locally univalent. For \(\lambda =1\), we define
from where
On the other hand,
from which we get
and
Replacing (6) in the last equality, we get
hence
and, in consequence,
Since \(\alpha \leq 1/4\), then \(\varphi _{\alpha }\in S\), therefore
the second inequality being a consequence of \(\varphi \in S\). Moreover, it is easy to see that
and
for all \(z\in \mathbb{D}\). Thus, using inequalities (8), (9), and (10), it follows that
Inequality (5) and Becker’s criterion (see [10]) imply that \(\psi _{\lambda }\) is univalent for all λ in the unit circle, which completes the proof. □
Note that in the case when f is an analytic mapping, \(\omega \equiv 0\) and consequently \(\delta =0\) and \(\\omega ^{\ast }\=0\). Then inequality (5) becomes in \(\alpha \leq 1/4\), which is the best known bound of the values of α such that the corresponding \(f_{\alpha }\) is univalent in \(\mathbb{D}\).
For the following corollary, we recall that a family \(\mathcal{F}\) of normalized locally univalent functions of the form
is said to be linear invariant (LIF) if, for all \(f\in \mathcal{F}\), we have \((f\circ \varphi _{a}f(a))/((1a^{2})f'(a))\in \mathcal{F}\) for all automorphism \(\varphi _{a}(z)=(z+a)/(1+\overline{a} z)\) of \(\mathbb{D}\). The order of an LIF \(\mathcal{F}\) is the supremum of the modulus of the second Taylor coefficient \(a_{2}(f)\) of the functions \(f\in \mathcal{F}\). The notion of a linear invariant family of holomorphic functions was introduced by Pommerenke [26], and it has been extended in subsequent studies in various directions; we refer the reader to [21, 29] for an extension of LIF to the setting of harmonic mappings.
The authors proved in [8, Lemma 3] that if φ is a univalent analytic function in a linear invariant family \(\mathcal{F}\) with order β, then
By using this inequality, we can improve the last theorem.
Corollary 3.1
Let f, φ be as in Theorem 3.1. Suppose, moreover, that φ is univalent in a linear invariant family \(\mathcal{F}\) with order β. Then \(f_{\alpha }\) is stable univalent logharmonic if α satisfies the condition
Proof
The proof is completely analogous to that of the previous theorem; it is enough to replace the second condition in (8) with the inequality
which is an immediate consequence of (11). □
Integral transform of the second type
Following the same procedure as in the previous section, we extend the integral transform (2) to the case of logharmonic mappings as follows: given \(\alpha \in \overline{\mathbb{D}}\) and \(f(z)=zh(z)\overline{g(z)}\) a locally univalent logharmonic mapping defined in the unit disk, with the normalization \(h(0)=g(0)=1\) and \(0\notin hg(\mathbb{D})\), we define \(F_{\alpha }\) to be the logharmonic mapping, with dilatation \(\omega _{\alpha }=\alpha \omega \), given by \(F_{\alpha }=zH(z)\overline{G(z)}\), where H, G satisfy the system
with the initial conditions \(H(0)=G(0)=1\). As in the previous case, \(\varphi (z)=zh(z)/g(z)\), \(z\in \mathbb{D}\).
The following two results are dual to Proposition 3.1 and Theorem 3.1, respectively. In both cases we assume the above normalization.
Proposition 4.1
Let \(f(z)=zh(z)\overline{g(z)}\) be a logharmonic mapping defined in \(\mathbb{D}\) with dilatation ω. If \(zh(z)/g(z)=\varphi (z)\) is a convex mapping, then \(F_{\alpha }\) defined by (12) is a starlike logharmonic mapping in the unit disk for \(\alpha \in [0,1]\).
Proof
As in Proposition 3.1, the condition on φ implies that \(J_{f}\) is positive, so f is locally univalent. Since φ is a convex mapping, we have that, for \(\alpha \in [0,1]\),
from which it concludes that \(\Phi _{\alpha }(z)\) is a convex mapping and in particular starlike. Using Theorem A, we have that \(F_{\alpha }\) is a starlike logharmonic mapping. □
Theorem 4.1
Let \(f(z)=zh(z)\overline{g(z)}\) be a logharmonic mapping defined in \(\mathbb{D}\) with dilatation ω and such that \(zh(z)/g(z)=\varphi (z)\) is a univalent mapping. Then \(F_{\alpha }\) defined as in (12) is a stable univalent logharmonic mapping if α satisfies the inequality
with δ and \(\\omega ^{*}\\) as in Theorem 3.1.
Proof
Since φ is univalent, we have \(J_{f}>0\) and
It follows from equation (7) and inequalities (8), (9), and (10) that
from which we get, by virtue of the classical univalence criterion of Becker, that \(F_{\alpha }\) is a stable univalent logharmonic mapping. □
Note that if φ is a convex mapping, then the righthand side of inequality (13) can be replaced with \(4\alpha \), from where the range of the values of α, for which the corresponding mapping \(F_{\alpha }\) is stable univalent, is determined by the inequality
Integral transforms of nonvanishing logharmonic mappings
In this section, we propose an extension of the integral transforms (1) and (2) to nonvanishing logharmonic mappings in \(\mathbb{D}\). To this end, we will use the fact that if f is a nonvanishing logharmonic mapping in \(\mathbb{D}\), there is a branch of logf, which is harmonic in \(\mathbb{D}\) with dilatation \(\omega _{\log f} = \omega _{f}\), and apply to it the theory that we developed in [8]. Note that \(\omega _{\log f} = \omega _{f}\) implies that logf is a sensepreserving harmonic mapping and therefore \(J_{f}\) is positive in \(\mathbb{D}\).
As was mentioned in Sect. 2, if f is a nonvanishing logharmonic mapping in \(\mathbb{D}\) with dilatation ω, then \(f=h\overline{g}\), where h, g are nonvanishing analytic functions in \(\mathbb{D}\). In this case \(\omega =g'h/gh'\), and if we assume the normalization \(h(0)=g(0)=1\), we can choose branches of logf, logh, and logg satisfying
The following lemma is a general tool that appears as a natural version of Theorem 1 in [12] for logharmonic mappings. We will use this lemma in the next subsections.
Lemma 5.1
Let \(f=h\overline{g}\) be a nonvanishing logharmonic mapping in \(\mathbb{D}\) with dilatation ω, and suppose that \(\psi =\log h/g\) is a univalent mapping such that \(\Omega :=\psi (\mathbb{D})\) is Mlinearly connected. Then f is univalent in \(\mathbb{D}\) if \(\\omega \<1/(2M+1)\).
Proof
Suppose that there are \(z_{1}\neq z_{2}\) in \(\mathbb{D}\) such that \(f(z_{1})=f(z_{2})\), and let S be a path in Ω joining \(\psi (z_{1})\) to \(\psi (z_{2})\) such that \(\ell (S)\leq M \psi (z_{1})\psi (z_{2})\). So,
and in consequence,
where \(\gamma =\psi ^{1}(S)\). From here and the equality
it follows that
if ω satisfies \(\\omega \<1/(2M+1)\). This contradiction ends the proof. □
Integral transform of the first type for nonvanishing logharmonic mappings
We consider a nonvanishing logharmonic mapping \(f=h\overline{g}\) defined in \(\mathbb{D}\), with dilatation \(\omega =g'h/h'g\), and normalized by \(h(0)=g(0)=1\). We suppose, moreover, that \(\varphi =\log h\log g\) is zero only at \(z=0\). Given \(\alpha \in \overline{\mathbb{D}}\), we define the integral transform of the first type of f by
where H and G satisfy the system
with the initial conditions \(H(0)=G(0)=0\). In other words, \(f_{\alpha }\) is defined in such a way that \(\log f_{\alpha }=H+\overline{G}\) is a harmonic branch of the logarithm of \(f_{\alpha }\) in \(\mathbb{D}\), which is the horizontal shear of \(\varphi _{\alpha }\) with dilatation αω. The reader can find the details of the shear construction of harmonic mappings in [13].
Theorem 5.1
Let \(f=h\overline{g}\) be a nonvanishing logharmonic mapping in \(\mathbb{D}\) with dilatation ω, and let \(f_{\alpha }\) be defined by equation (14). If \(\varphi =\log h/g\) is a univalent function and \(\alpha \leq 0.165\), then \(f_{\alpha }\) is univalent.
Proof
For \(\lambda =1\), we define \(\Psi _{\lambda }=H+\lambda G\). A direct calculation shows that
and
from which we see that
being the last inequality a consequence of
It follows from Becker’s criterion that \(\Psi _{\lambda }\) is univalent if \(2\alpha  (2+\frac{1}{1\alpha ^{2}} )\leq 1\), whence \(H+\overline{G}\) is stable harmonic univalent if \(\alpha \leq 0.165\). In consequence, \(f_{\alpha }\) is univalent for these values of α. □
Proposition 5.1
Let \(f=h\overline{g}\) be a nonvanishing logharmonic mapping in \(\mathbb{D}\) with dilatation ω, and let \(f_{\alpha }\) be defined by equation (14). If \(\varphi =\log h/g\) is a starlike function and \(\alpha \in (0.303,0.707)\), then \(f_{\alpha }\) is a univalent logharmonic mapping in \(\mathbb{D}\).
Proof
Since φ is starlike, we have \(\operatorname{Re} \lbrace z\varphi '(z)/\varphi (z) \rbrace >0\) for all \(z\in \mathbb{D}\). So, for \(\alpha >0\) and \(\Psi _{\lambda }\) defined as in the previous theorem, we get from (15) that
for all \(0\leq \theta _{2}\theta _{1}\leq 2\pi \). Therefore,
from where \(\Psi _{\lambda }\) is a close to convex mapping in \(\mathbb{D}\) if \(0\leq \alpha \leq \sqrt{2}/2\).
On the other hand, since φ is starlike, then \(\vert \operatorname{Arg} \lbrace \varphi (z)/z \rbrace \vert \leq 2\arcsin (z)\) and, in consequence,
Hence, by a straightforward calculation, we have \(\vert \operatorname{Arg} \lbrace \Psi _{\lambda }'(z) \rbrace \vert < \pi /2\) if \(\alpha < 0.303\), which implies that \(\operatorname{Re} \lbrace \Psi _{\lambda }'(z) \rbrace >0\) for these values of α and hence \(\Psi _{\lambda }\) is a close to convex mapping in \(\mathbb{D}\), when \(\alpha < 0.303\). From this and the discussion above, it follows that \(\log f_{\alpha }=H+\overline{G}\) is stable harmonic closetoconvex if \(\alpha \in (0.303, 0.707 )\), whence \(f_{\alpha }\) is univalent in \(\mathbb{D}\). □
Proposition 5.2
Let \(f=h\overline{g}\) be a nonvanishing logharmonic mapping defined in \(\mathbb{D}\) with \(\\omega \<1/3\), and let \(f_{\alpha }\) be defined by equation (14). If \(\varphi =\log h/g\) is a convex function and \(\alpha \in [0,2]\), then \(f_{\alpha }\) is univalent.
Proof
The proof follows as a direct application of Lemma 5.1 and the fact that \(\varphi _{\alpha }\) is a convex mapping for \(\alpha \in [0,2]\), the case in which \(\varphi _{\alpha }(\mathbb{D})\) is a Mlinearly connected domain with \(M=1\). □
Integral transform of the second type for nonvanishing logharmonic mappings
The definition of the integral transform of the second type for nonvanishing logharmonic mappings is completely analogous to that given in the previous subsection: let \(f=h\overline{g}\) be a nonvanishing logharmonic mapping in \(\mathbb{D}\) with dilatation \(\omega =g'h/h'g\) and normalized by \(h(0)=g(0)=1\). Note that from the condition \(\omega (z)<1\) for all \(z\in \mathbb{D}\), it follows that \(\varphi =\log h\log g\) is locally univalent in \(\mathbb{D}\). We define the logharmonic mapping \(F_{\alpha }=e^{H}\overline{e^{G}}\), where H, G satisfy the system
with the initial conditions \(H(0)=G(0)=0\).
Theorem 5.2
Let \(f=h\overline{g}\) be a nonvanishing logharmonic mapping in \(\mathbb{D}\) with dilatation ω, and let \(F_{\alpha }\) be defined by equation (16). If φ is a univalent function and \(\alpha \leq 0.125\), then \(F_{\alpha }\) is univalent.
Proof
For \(\lambda =1\), we define \(\Psi _{\lambda }=H+\lambda G\). Using (16), we obtain by a direct calculation
and
It follows from the univalence of φ and
that
Consequently, we conclude from Becker’s criterion that \(\Psi _{\lambda }\) is univalent if \(\alpha \leq 0.125\), and therefore \(\log F_{\alpha }\) is stable harmonic univalent for these values of α. This completes the proof of the theorem. □
Proposition 5.3
Let \(f=h\overline{g}\) be a nonvanishing logharmonic mapping defined in \(\mathbb{D}\) with dilatation ω, and let \(F_{\alpha }\) be defined by equation (16). If φ is a convex function and \(\alpha \in (0.303,0.5605)\), then \(F_{\alpha }\) is a univalent logharmonic mapping in \(\mathbb{D}\).
Proof
The proof is almost the same as that of Proposition 5.1. Indeed, with the same notation, one sees that
for all \(0\leq \theta _{2}\theta _{1}\leq 2\pi \) and \(0\leq \alpha < 1/2\), which implies that \(\Psi _{\lambda }\) is a close to convex mapping in the unit disk if \(0\leq \alpha < 1/2\). The same conclusion is obtained if we assume \(1/2\leq \alpha <0.5605\) since in this case
for all \(0\leq \theta _{2}\theta _{1}\leq 2\pi \). On the other hand,
if \(\alpha < 0.303\). The proof is completed by proceeding as at the end of the proof of Proposition 5.1.
Here we have used the fact that 0.5605 and 0.303 are the approximate roots of \(3\pi 4\pi x4\arcsin (x)=0\) and \(\pi x\pi /2+2\arcsin (x)=0\), respectively. □
The proof of the following proposition is essentially the same as that of Proposition 5.2; so we omit its proof.
Proposition 5.4
Let \(f=h\overline{g}\) be a nonvanishing logharmonic mapping defined in the unit disk with \(\\omega \<1/3\), and let \(F_{\alpha }\) be defined by equation (16). If φ is a convex function, then \(F_{\alpha }\) is univalent for \(\alpha \in [0,1]\).
Availability of data and materials
Not applicable.
References
 1.
Abdulhadi, Z., Abu Muhanna, Y.: Starlike logharmonic mappings of order α. J. Inequal. Pure Appl. Math. 7(4), 1–6 (2006)
 2.
Abdulhadi, Z., Ali, R.M.: Univalent logharmonic mappings in the plane. Abstr. Appl. Anal. 2012, Article ID 721943 (2012)
 3.
Abdulhadi, Z., Bshouty, D.: Univalent functions in \(H\cdot \overline{H}(\mathbb{D})\). Trans. Am. Math. Soc. 305(2), 841–849 (1998)
 4.
AbdulHadi, Z., El Hajj, L.: Stable geometrical properties of logharmonic mappings. Complex Var. Elliptic Equ. 63(6), 854–870 (2018)
 5.
Abdulhadi, Z., Hengartner, W.: Spirallike logharmonic mappings. Complex Var. Theory Appl. 9, 121–130 (1987)
 6.
Abu Muhanna, Y., Ponnusamy, S.: Extreme points method and univalent harmonic mappings. In: Complex Analysis and Dynamical Systems VI. Contemp. Math., vol. 667, pp. 223–237. Am. Math. Soc., Providence (2016)
 7.
Ali, R.M., Abu Muhanna, Y., Ponnusamy, S.: The spherical metric and univalent harmonic mappings. Monatshefte Math. 188, 703–716 (2019)
 8.
Arbelaáez, H., Bravo, V., Hernández, R., Sierra, W., Venegas, O.: A new approach for the univalence of certain integral of harmonic mappings. Indag. Math. 31, 525–535 (2020)
 9.
Aydogan, M.: Some results on a starlike logharmonic mapping of order alpha. J. Comput. Appl. Math. 256, 77–82 (2014)
 10.
Becker, J.: Löwnersche Differentialgleichung und quasikonform forttsetzbare schlichte Funktionen. J. Reine Angew. Math. 225, 23–43 (1972)
 11.
Bravo, V., Hernández, R., Venegas, O.: On the univalence of certain integral transform for harmonic mappings. J. Math. Anal. Appl. 455(1), 381–388 (2017)
 12.
Chuaqui, M., Hernández, R.: Univalent harmonic mappings and linearly connected domains. J. Math. Anal. Appl. 332(2), 1189–1194 (2007)
 13.
Clunie, J., SheilSmall, T.: Harmonic univalent functions. Ann. Acad. Sci. Fenn., Ser. A I 9, 3–25 (1984)
 14.
Ghosh, N., Vasudevarao, A.: Some basic properties of certain subclass of harmonic univalent functions. Complex Var. Elliptic Equ. 63, 1687–1703 (2018)
 15.
Goodman, A.W.: Univalent Functions, vol. 2. Mariner Publishing Company, Florida (1983)
 16.
Hernández, R., Martín, M.J.: Stable geometric properties of analytic and harmonic functions. Math. Proc. Camb. Philos. Soc. 155(2), 343–359 (2013)
 17.
Kim, W.J., Merkes, E.P.: On an integral of powers of a spirallike function. Kyungpook Math. J. 12(2), 249–253 (1972)
 18.
Kim, Y.C., Ponnusamy, S., Sugawa, T.: Mapping properties of nonlinear integral operators and preSchwarzian derivatives. J. Math. Anal. Appl. 299(2), 433–447 (2004)
 19.
Kumar, S., Sahoo, S.K.: Preserving properties and preSchwarzian norms of nonlinear integral transforms. Acta Math. Hung. 162, 84–97 (2020)
 20.
Li, L., Ponnusamy, S.: Sections of stable harmonic convex functions. Nonlinear Anal. 123–124, 178–190 (2015)
 21.
Liu, G., Ponnusamy, S.: Harmonic preSchwarzian and its applications. Bull. Sci. Math. 152, 150–168 (2019)
 22.
Liu, Z., Ponnusamy, S.: On univalent logharmonic mappings. arXiv:1905.10551 [math.CV]
 23.
Mao, Z.H., Ponnusamy, S., Wang, X.: Schwarzian derivative and Landau’s theorem for logharmonic mappings. Complex Var. Elliptic Equ. 58(8), 1093–1107 (2013)
 24.
Nezhmetdinov, I.R., Ponnusamy, S.: On the univalence of an integral on a subclass of meromorphic convex univalent functions. Hokkaido Math. J. 32(2), 401–413 (2003)
 25.
Pfaltzgraff, J.: Univalence of the integral of \(f'(z)^{\lambda }\). Bull. Lond. Math. Soc. 7, 254–256 (1975)
 26.
Pommerenke, C.: Linearinvariante familien analytischer funktionen I. Math. Ann. 155, 108–154 (1964)
 27.
Ponnusamy, S., Sahoo, S.K., Sugawa, T.: Hornich operations on functions of bounded boundary rotations and order alpha. Comput. Methods Funct. Theory 19(3), 455–472 (2019)
 28.
Royster, W.C.: On the univalence of a certain integral. Mich. Math. J. 12, 385–387 (1965)
 29.
SheilSmall, T.: Constants for planar harmonic mappings. J. Lond. Math. Soc. 42, 237–248 (1990)
Funding
The first author was supported by the Universidad Nacional de Colombia, Hermes Code 49148. The second, third, and fifth author are supported by grant Fondecyt #1190756, Chile. The fourth author was supported by the Universidad del Cauca through research project VRI ID 5464.
Author information
Affiliations
Contributions
All authors contributed significantly to this research article, read, and approved the final copy of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Arbeláez, H., Bravo, V., Hernández, R. et al. Integral transforms for logharmonic mappings. J Inequal Appl 2021, 48 (2021). https://doi.org/10.1186/s1366002102578y
Received:
Accepted:
Published:
MSC
 31A05
 30C45
Keywords
 Integral transform
 Logharmonic mappings
 Shear construction
 Univalent mappings