New Conditions for Univalence of Conﬂuent Hypergeometric Function

: Since in many particular cases checking directly the conditions from the deﬁnitions of starlikeness or convexity of a function can be difﬁcult, in this paper we use the theory of differential subordination and in particular the method of admissible functions in order to determine conditions of starlikeness and convexity for the conﬂuent (Kummer) hypergeometric function of the ﬁrst kind. Having in mind the results obtained by Miller and Mocanu in 1990 who used a , c ∈ R , for the conﬂuent (Kummer) hypergeometric function, in this investigation a and c complex numbers are used and two criteria for univalence of the investigated function are stated. An example is also included in order to show the relevance of the original results of the paper.


Introduction
The interest in hypergeometric functions and their applications in complex analysis was renewed by their use in the proof of Bieberbach's conjecture given by L. de Branges [1]. Before that, only Merkes and Scott did research on starlikeness of certain Gaussian hypergeometric functions in 1961 [2] and this paper was preceded by only a few articles in the literature dealing with the relationship between hypergeometric functions and univalent function theory. The articles published by E. J. Todd in 1959-1960, who investigated the univalence of the error function Er f (z) [3] and of the function exp(z 2 ) · Er f (z) [4], can be named with respect to this topic.
After the proof of Bieberbach's conjecture appeared, the research relating the theory of univalent functions and the theory of special functions started to develop and many of the results obtained are related to hypergeometric functions.
The starting point of the present paper is one of the first papers to study this relation, published in 1990 by S.S. Miller and P.T. Mocanu [5]. The method of differential subordinations was employed there to investigate univalence, starlikeness and convexity of certain hypergeometric functions. The results obtained in this paper are different from those obtained earlier by St. Ruscheweyh and V. Singh [6] in 1986 when the order of starlikeness of certain hypergeometric functions was investigated. Moreover, Miller and Mocanu's outcomes are different from those of Merkes and Scott [2].
The particular topic of confluent (Kummer) hypergeometric functions emerged as part of the study of the relationship between hypergeometric functions and univalent function theory. This notion is studied from many different points of view. In [7] univalence and convexity properties for confluent hypergeometric functions are given, in [8] convolutions involving hypergeometric series are used in order to state starlikeness properties, in [9] close-to-convexity properties of Gaussian hypergeometric functions are studied. In a more recent paper [10] the extension of the hypergeometric and confluent hypergeometric functions is achieved by introducing an extra parameter and its relationship with the hypergeometric and confluent hypergeometric functions is studied. To name some of the very recent papers on this topic, in [11] the relation of Kummer confluent hypergeometric function with some special classes of univalent functions is highlighted, in [12] Kummer's function is connected to Nevanlinna theory and in [13] the Mittag-Leffer function is connected with confluent hypergeometric function.
The confluent (Kummer) hypergeometric function of the first kind is defined as: . Let a and c be complex numbers with c = 0, −1, −2, . . . and consider This function is called confluent (Kummer) hypergeometric function, is analytic in C and satisfies Kummer's differential equation: In their paper, Miller and Mocanu [5] have determined conditions on a and c real numbers such that function φ to be univalent in U. We consider now a and c complex numbers and use the method of differential subordinations to obtain conditions on them such that function φ to be univalent in U and by determining such conditions, we state criteria for univalence of confluent (Kummer) hypergeometric function.
The well-known definitions and notations familiar to the field of complex analysis are used. The unit disc of the complex plane is denoted by U. H(U) stands for the class of analytic functions in the unit disc and the classical definition for class A n is applied, being known that it contains all functions from class H(U) which have the specific form f (z) = z + a n+1 z n+1 + . . . with z ∈ U and A 1 written simply A. All the functions in class A which are univalent in U form the class denoted by S. In particular, the functions in class A who have the property that Re z f (z) f (z) > 0 are called starlike functions and their class is denoted by S * and those who have the property Re For n a positive integer and a a complex number, the class H[a, n] is defined as consisting of all functions from class H(U) who have the serial development f (z) = a + a n z n + a n+1 z n+1 + . . . , with H 0 = H[0, 1].
In this paper, all the classical notions of the method of differential subordinations or the admissible functions method are used just as they were introduced by Miller and Mocanu in [15,16] and some aspects developed in [14] are also referred to. Definition 2 ([14], p. 4, [17], p. 36). Let f and F be members of H(U). The function f is said to be subordinate to F, written f ≺ F or f (z) ≺ F(z), if there exists a function w, analytic in U, with w(0) = 0 and |w(z)| < 1 and such that f (z) = F(w(z)). If F is univalent, then f ≺ F if and only if f (0) = F(0) and f (U) ⊂ F(U).

Definition 3 ([14], p. 4).
Let ψ(r, s, t; z) : C 2 × U → C and let h be univalent in U. If p is analytic and satisfies the (second-order) differential subordination then p is called a solution of the differential subordination. The univalent function q is called a dominant of the solutions of the differential subordination or more simply a dominant, if p ≺ q for all p satisfying (3). A dominant q that satisfies q ≺ q for all dominants q of (3) is said to be the best dominant of (3). (Note that the best dominant is unique up to a rotation of U).
A lemma from the theory of differential subordinations is required in order to prove the original results contained in the next section.
In addition, assume that then p ≺ q and q is the best dominant.
Proof. Since q is a convex function it is known to be univalent and satisfies the condition According to the theorem of analytical characterization of convexity ( [18], Theorem 4.2.1, p. 50), we have that meaning that q is a starlike function. Let We have p(0) = 1, p ∈ H[1, 1] and p is analytic. By differentiating (7) we get Using (7) and (8), the differential subordination (4) becomes In order to prove the theorem, we use Lemma 1. For this, we must show that the necessary conditions (ii) and (iii) are satisfied.
We check the conditions from the hypothesis of Lemma 1. From the hypothesis of Theorem 1, for w = q(z), we have θ[q(z)] = q 2 (z) + q(z) and ϕ[q(z)] = q(z), which give the equality: Differentiating (10) and doing some simple calculations, the following relation is obtained: Using (5) and (6) in (11), we get hence the function Q is starlike and this means that condition (ii) in Lemma 1 is satisfied. For w = q(z), we have: h(z) = q 2 (z) + q(z) + zq (z) · q(z).

By differentiating this equality we obtain
Knowing from the hypothesis that Req(z) > 0 and combining this with relations (5) and (6) we can write: and we conclude that relation (iii) in Lemma 1 is satisfied. We can now apply Lemma 1 and the differential subordination (9) implies p(z) ≺ q(z), z ∈ U.

Remark 1.
For q(z) = 1 + z 1 − z , convex in U, from Theorem 1 we obtain the following corollary.

Theorem 2. Let q a convex function in U and
If p is analytic in U, with p(0) = q(0) and satisfies the differential subordination then p(z) ≺ 1 1 − z = q(z), z ∈ U and q is the best dominant.
Proof. From the hypothesis of Theorem 2, for w = q(z) ∈ q(U), we obtain ϕ[q(z)] = γ, Reγ > 0, γ ∈ C − {0}, and hence We now prove that function Q is starlike. Differentiating (17), and after short calculation, we obtain The hypothesis of theorem states that q is a convex function, hence which means that function Q is starlike. We now have condition (ii) in Lemma 1 satisfied.
Differentiating (19) and after short calculation we obtain since Reγ > 0 and q is convex. We now conclude that condition (iii) in Lemma 1 is satisfied. Using Lemma 1, we obtain p(z) ≺ q(z), z ∈ U.
Since function q is a univalent solution of the equation q is the best dominant subordinant of the differential subordination (16).