Integral transforms for logharmonic mappings

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α(z)=∫0z(f(ζ)/ζ)αdζ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$f_{\alpha }(z)=\int _{0}^{z}(f(\zeta )/\zeta )^{\alpha }\,d\zeta $\end{document} or Fα(z)=∫0z(f′(ζ))αdζ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$F_{\alpha }(z)=\int _{0}^{z}(f'(\zeta ))^{\alpha }\,d\zeta $\end{document} appear. In this note we extend the classical problem of finding the values of α∈C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha \in \mathbb{C}$\end{document} for which either fα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$f_{\alpha }$\end{document} or Fα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$F_{\alpha }$\end{document} are univalent, whenever f belongs to some subclasses of univalent mappings in D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathbb{D}$\end{document}, to the case of logharmonic mappings by considering the extension of the shear construction introduced by Clunie and Sheil-Small in (Clunie and Sheil-Small 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 α ∈ 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 |α| ≤ 1/4 then both transforms are univalent, see [17,25]. However, there are functions ϕ ∈ S for which α is not univalent for any |α| > 1/3 with α = 1. An analogous result was obtained in [17] for the transform of type (1); in that paper it is proved that, for all |α| > 1/2, there are functions ϕ ∈ S such that the corresponding ϕ α 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 Sheil-Small [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 Sheil-Small in [13] as follows: let f = h + g be a sense-preserving harmonic mapping in the unit disk D = {z ∈ C : |z| < 1} with the usual normalization g(0) = h(0) = 1h (0) = 0 and dilatation ω = g /h .
Given α ∈ D, when ϕ = hg is zero only at z = 0, we define F α as the horizontal shear of In a similar way we extend the integral transform (2) to sensepreserving harmonic mappings in 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 sense-preserving univalent harmonic mappings f , proposed by Clunie and Sheil-Small [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 sense-preserving harmonic mappings, we use a method similar to the shear construction by Clunie and Sheil-Small, 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 non-vanishing logharmonic mappings.

Some preliminaries about logharmonic mappings
A logharmonic mapping defined in the unit disk D is a solution of the nonlinear elliptic partial differential equation where ω is an analytic function from 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 sense-preserving and open in D. If f is a nonconstant logharmonic mapping defined in D and vanishes only at the origin, then f has the representation where m is a nonnegative integer, Re{β} > -m/2, and h and g are analytic mappings in the unit disk, such that g(0) = 1 and h(0) = 0 (see [3]). In particular, when f is a univalent logharmonic mapping defined in D and f (0) = 0, we can represent f in the form where Re{β} > -1/2, and h and g are analytic mappings in D such that g(0) = 1 and 0 / ∈ hg(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 D with ω(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)g(z) be a logharmonic mapping defined in D such that 0 / ∈

hg(D). Then ϕ(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 non-vanishing logharmonic mappings in D. It is well known that such mappings can be expressed in the form where h and g are non-vanishing analytic functions in 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)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 non-vanishing univalent logharmonic function of the form f = hg such that h(0) = g(0) = 1.

Integral transform of the first type
Let f = zh(z)g(z) be a locally univalent logharmonic mapping defined in the unit disk with the normalization described above. Then ϕ(z) = zh(z)/g(z) is an analytic function in D such that ϕ(0) = 0, ϕ (0) = 1, and ϕ(z) = 0 if z = 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 α ∈ D, we define f α to be the logharmonic mapping, with dilatation ω α = αω, given by f α (z) = zH(z)G(z), where H, G satisfy the system with the initial conditions H(0) = G(0) = 1.
Here, we consider α ∈ D since ω α must be a Schwarz map. However, we can consider any complex number α such that |αω| < 1. Note that if α = 0, then H/G ≡ 1 and ω α = 0, whence it follows that G is constant, say k, which leads to f α (z) = |k| 2 z. On the other hand, if α = 1 we have that ϕ 1 (z) = zH(z)/G(z) satisfies which implies that when ϕ is starlike, ϕ 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 α are not univalent in 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 α belongs to S Lh or to some of its subclasses. A first result in this direction is given in the following proposition. By the definition of f α (z) = zH(z)G(z), we have that zH(z)/G(z) = ϕ α (z) satisfies α ∈ R. To prove (i) we argue as follows: Since ϕ is convex, it follows that Re{zϕ (z)/ϕ(z)} > 1/2, which implies that Hence, ϕ α is convex and, in particular, is a starlike mapping. Using inequality (4) we conclude that Analogously, ϕ α 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, close-to-convex, etc.) studied in [16] for harmonic and analytic functions, see also [14,20]. More precisely, they give the following definition. Next, we present a criterion to establish the stable univalence of f α .

Theorem 3.1 Let f (z) = zh(z)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) = ϕ(z) is a univalent mapping. Then f α defined by (3) is a stable univalent logharmonic mapping if α satisfies the inequality
where Proof As in the previous proposition, J f > 0 in D and therefore f is locally univalent. For |λ| = 1, we define On the other hand, from which we get and .
Replacing (6) in the last equality, we get hence and, in consequence, .
Since |α| ≤ 1/4, then ϕ α ∈ S, therefore the second inequality being a consequence of ϕ ∈ S. Moreover, it is easy to see that and for all z ∈ D. Thus, using inequalities (8), (9), and (10), it follows that Inequality (5) and Becker's criterion (see [10]) imply that ψ λ is univalent for all λ in the unit circle, which completes the proof.
Note that in the case when f is an analytic mapping, ω ≡ 0 and consequently δ = 0 and ω * = 0. Then inequality (5) becomes in |α| ≤ 1/4, which is the best known bound of the values of α such that the corresponding f α is univalent in D.
For the following corollary, we recall that a family F of normalized locally univalent functions of the form f (z) = z + a 2 z 2 + a 3 z 3 + · · · , z ∈ D, is said to be linear invariant (LIF) if, for all f ∈ F , we have (f • ϕ af (a))/((1 -|a| 2 )f (a)) ∈ F for all automorphism ϕ a (z) = (z + a)/(1 + az) of D. The order of an LIF F is the supremum of the modulus of the second Taylor coefficient |a 2 (f )| of the functions f ∈ 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 F with order β, then By using this inequality, we can improve the last theorem. 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 α ∈ D and f (z) = zh(z)g(z) a locally univalent logharmonic mapping defined in the unit disk, with the normalization h(0) = g(0) = 1 and 0 / ∈ hg(D), we define F α to be the logharmonic mapping, with dilatation ω α = αω, given by F α = zH(z)G(z), where H, G satisfy the system with the initial conditions H(0) = G(0) = 1. As in the previous case, ϕ(z) = zh(z)/g(z), z ∈ D.
The following two results are dual to Proposition 3.1 and Theorem 3.1, respectively. In both cases we assume the above normalization. (12) is a starlike logharmonic mapping in the unit disk for α ∈ [0, 1].

Proposition 4.1 Let f (z) = zh(z)g(z) be a logharmonic mapping defined in D with dilatation ω. If zh(z)/g(z) = ϕ(z) is a convex mapping, then F α defined by
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 α ∈ [0, 1], from which it concludes that α (z) is a convex mapping and in particular starlike. Using Theorem A, we have that F α is a starlike logharmonic mapping. (12) is a stable univalent logharmonic mapping if α satisfies the inequality |α| ≤ 1 2(4δ + 3 + 16 ω * /15) with δ and ω * as in Theorem 3.1.

Theorem 4.1 Let f (z) = zh(z)g(z) be a logharmonic mapping defined in D with dilatation ω and such that zh(z)/g(z) = ϕ(z) is a univalent mapping. Then F α defined as in
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 α is a stable univalent logharmonic mapping.
Note that if ϕ is a convex mapping, then the right-hand side of inequality (13) can be replaced with 4|α|, from where the range of the values of α, for which the corresponding mapping F α is stable univalent, is determined by the inequality |α| ≤ 1 4(2δ + 1 + 8 ω * /15) .

Integral transforms of non-vanishing logharmonic mappings
In this section, we propose an extension of the integral transforms (1) and (2) to nonvanishing logharmonic mappings in D. To this end, we will use the fact that if f is a nonvanishing logharmonic mapping in D, there is a branch of log f , which is harmonic in D with dilatation ω log f = ω f , and apply to it the theory that we developed in [8]. Note that ω log f = ω f implies that log f is a sense-preserving harmonic mapping and therefore J f is positive in D.
As was mentioned in Sect. 2, if f is a non-vanishing logharmonic mapping in D with dilatation ω, then f = hg, where h, g are non-vanishing analytic functions in D. In this case ω = g h/gh , and if we assume the normalization h(0) = g(0) = 1, we can choose branches of log f , log h, and log g satisfying log f (0) = log h(0) = log g(0) = 0 and log f = log h + log g.
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. Proof Suppose that there are z 1 = z 2 in D such that f (z 1 ) = f (z 2 ), and let S be a path in joining ψ(z 1 ) to ψ(z 2 ) such that (S) ≤ M|ψ(z 1 )ψ(z 2 )|. So, and in consequence, where γ = ψ -1 (S). From here and the equality it follows that if ω satisfies ω < 1/(2M + 1). This contradiction ends the proof.

Integral transform of the first type for non-vanishing logharmonic mappings
We consider a non-vanishing logharmonic mapping f = hg defined in D, with dilatation ω = g h/h g, and normalized by h(0) = g(0) = 1. We suppose, moreover, that ϕ = log h-log g is zero only at z = 0. Given α ∈ 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 α is defined in such a way that log f α = H + G is a harmonic branch of the logarithm of f α in D, which is the horizontal shear of ϕ α with dilatation αω. The reader can find the details of the shear construction of harmonic mappings in [13].
Theorem 5.1 Let f = hg be a non-vanishing logharmonic mapping in D with dilatation ω, and let f α be defined by equation (14). If ϕ = log h/g is a univalent function and |α| ≤ 0.165, then f α is univalent.
Proof For |λ| = 1, we define λ = H + λG. A direct calculation shows that from which we see that being the last inequality a consequence of It follows from Becker's criterion that λ is univalent if 2|α|(2 + 1 1-|α| 2 ) ≤ 1, whence H + G is stable harmonic univalent if |α| ≤ 0.165. In consequence, f α is univalent for these values of α. Proposition 5.1 Let f = hg be a non-vanishing logharmonic mapping in D with dilatation ω, and let f α be defined by equation (14). If ϕ = log h/g is a starlike function and α ∈ (-0.303, 0.707), then f α is a univalent logharmonic mapping in D.
if |α| < 0.303. The proof is completed by proceeding as at the end of the proof of Proposition 5.1.
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 = hg be a non-vanishing logharmonic mapping defined in the unit disk with ω < 1/3, and let F α be defined by equation (16). If ϕ is a convex function, then F α is univalent for α ∈ [0, 1].

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.