Simple Sufficient Subordination Conditions for Close-to-Convexity

Using several applications of the theory of differential subordination we obtain sufficient conditions for usually normalized analytic functions to belong to certain subclasses of close-to-convex functions and close-to-convex functions of order α.


Introduction and Preliminaries
Let A be the class of functions with power series expansions a n z n that are analytic in the open unit disk U := {z ∈ C : |z| < 1}, and denote by S the class of all functions of A which are univalent in U.
For the functions f and F which are analytic in U, the function f is said to be subordinate to F, and write f (z) ≺ F(z), if there exists a Schwarz function ω, which is analytic in U with ω(0) = 0 and |ω(z)| < 1, such that f (z) = F(ω(z)) for all z ∈ U.
By Schwarz lemma we have |ω(z)| ≤ |z|, z ∈ U, which concludes that ω(U) ⊂ U. Since ω(0) = 0 and ω(U) ⊂ U it follows that if f (z) ≺ F(z), then f (0) = F(0) and f (U) ⊂ F(U).In particular, if the function F is univalent in U, then we have the following equivalence We denote by S * (α) the subclass of A consisting of functions which are starlike of order α, as follows: and, in particular, S * := S * (0) is the class of starlike functions in the unit disk U. Also, we denote by C(α) the subclass of A consisting of functions which are close-to-convex of order α if there exists a function g ∈ S * such that In particular, C := C(0) is the class of close-to-convex functions in the unit disk U.It is well known that S * (α) ⊂ S and C(α) ⊂ S, for all 0 ≤ α < 1.
The idea of subordination was used for defining many of classes of functions studied in the Geometric Function Theory.Nunokawa et al. [1] showed that if p is an analytic function in U with They applied this differential implication to obtain a criterion for normalized analytic functions to be univalent.In the literature, several authors obtained several applications in the geometric functions theory by using differential subordination, for example see [2][3][4][5][6][7][8].
The following lemmas will be used in our investigation: Lemma 1. ([9], Theorem 3.4h, p. 132) Let q be analytic in U and let ψ and θ be analytic in a domain D containing q(U) with ψ(w) = 0 when w ∈ q(U).Set Q(z) := zq (z)ψ(q(z)) and h(z) := θ(q(z)) + Q(z).Suppose that: (i) either h is convex, or Q is starlike univalent in U, and If p is analytic in U, with p(0) = q(0), p(U) ⊆ D and then p(z) ≺ q(z), and q is best dominant of (1).
In this article we will show several applications of the theory of differential subordination to obtain simple sufficient conditions for normalized analytic functions to belong to certain subclasses of close-to-convex functions of order α.

Sufficient Conditions for Close-to-Convexity and Applications
Theorem 1.Let the function q be univalent in U such that q(0) = 1 and satisfies and q is the best dominant of (3).
For f ∈ A and g ∈ S * , let Since all starlike functions are univalent, it follows that g(z) = 0 for all z ∈ U \ {0}, and z 0 = 0 is a simple zero for g, it follows that p is analytic in U.Moreover, using the fact that f , g ∈ A, then f and and therefore, p(0) = 1.A simple computation shows that , z ∈ U.
To prove our result by using Lemma 1, we define the functions θ(w) = w and ψ(w) = λ, w ∈ C.These functions are analytic in the domain D := C containing q(U) and ψ(w) = 0 for all w ∈ q(U).Let Q, h : U → C be defined by and therefore Q is a starlike (univalent) function in U. On other hand Re zh (z) Therefore, all the conditions of Lemma 1 are satisfied, which implies p(z) ≺ q(z), and the function q is the best dominant of (3).Remark 1. K. Sakaguchi introduced and studied in [12] the class of starlike functions with respect to symmetrical points, defined by From the proof of Theorem 1 of [12] it follows that and therefore S s ⊂ C.
Consequently, from the above theorem we deduce the next result: assuming that f ∈ S s and (3) holds for ≺ q(z) and q is the best dominant of (3).We mention that this result could be connected with those obtained by Bukhari et al. ([2], Theorem 1).
Proof.For q(z) = 1 + Az 1 + Bz , where −1 ≤ B < A ≤ 1, and λ = 1 it is easy to check that the inequality (2) holds, and from Theorem 1 we obtain that z f (z) g(z) ≺ 1 + Az 1 + Bz , and q(z) = 1 + Az 1 + Bz is the best dominant of (4).Since the function q is a circular transform, it is easy to check that For A = 1 − 2α and B = −1, where 0 ≤ α < 1, Corollary 1 reduces to the following example which gives sufficient condition for functions to be close-to-convex of order α: and q(z) = e z is the best dominant of (6).
Proof.For q(z) = e z and λ = 1 it is easy to check that the inequality (2), and from Theorem 1 we obtain our result.
Theorem 2. Let the function q be univalent in U such that q(0) = 1 and satisfies and If f ∈ A and g ∈ S * such that and q is the best dominant of (9).
Proof.For f ∈ A and g ∈ S * , if we set then p is analytic in U, with p(0) = 1, and we could easily check that First, we will prove that 0 ∈ q(U).Otherwise, if there exists z 0 ∈ U such that q(z 0 ) = 0, from the univalence of q it follows that q (z 0 ) = 0, and from q(0) = 1 we get that z 0 ∈ U \ {0}.Thus, the function has a simple pole at the point z 0 ∈ U \ {0}, which contradicts ( 7), then we conclude that 0 ∈ q(U).
To prove our result by using Lemma 1 we define the functions θ(w) = w and ψ(w) = 1 w , w ∈ C * := C \ {0}.The functions θ and ψ are analytic in the domain D := C * containing q(U), and ψ(w) = 0 for w ∈ q(U).If we define the functions Q, h : U → C by and Further computations combined with the assumption (7) show that Re zQ (z) and therefore Q is starlike (univalent) in U.Moreover, the assumption (8) implies that Re zh (z) and all conditions of Lemma 1 hold, we conclude that p(z) ≺ q(z), and the function q is the best dominant of (9).(10).
it is easy to check that the inequalities ( 7) and ( 8) hold, and from Theorem 2 we get our result.
For A = 1 − 2α and B = −1, where 0 ≤ α < 1, the above corollary reduces to the following example which gives a sufficient condition for functions to be close-to-convex of order α: that is f ∈ C(α), and q(z) = 1 + (1 − 2α)z 1 − z is the best dominant of (11).
Corollary 4. If f ∈ A and g ∈ S * such that then z f (z) g(z) ≺ e z and q(z) = e z is the best dominant of (12).
Proof.For q(z) = e z it is easy to check that the inequalities ( 7) and ( 8) hold, and from Theorem 2 we get the above implication.
Proof.For f ∈ A and g ∈ S * , if we set − α , z ∈ U, then p is analytic in U, with p(0) = 1, and we easily deduce that Supposing that there exists a point z 0 ∈ U such that Re p(z) > 0, for |z| < |z 0 |, and Re p(z 0 ) = 0, using Lemma 2 for β = 1 we have which, according to (14), is a contradiction with the assumption (13).It follows that Re p(z) > 0 for all z ∈ U, or equivalently Re For α = 0 the above result leads to the following result which gives a sufficient close-to-convexity condition:   Concluding, all the three theorems of our paper give some simple conditions for close-to-convexity, and are followed by useful applications where the dominants are circular transforms and exponential functions.The results of these corollaries and examples are not trivial and could not be easily obtained by using direct computations, but there are immediate consequences of the main theorems of this paper.We are sure that our main results could be easily and successfully used to prove the close-to-convexity of other type of functions by choosing appropriate dominants.
be an analytic function in |z| < 1 with p(0) = 1 and p(z) = 0 for z ∈ U.If there exists a point z 0 with |z 0 | < 1, such that