New Criteria for Starlikness and Convexity of a Certain Family of Integral Operators

: In this paper, we ﬁrst modify one of the most famous theorems on the principle of differential subordination to hold true for normalized analytic functions with a ﬁxed initial Taylor-Maclaurin coefﬁcient. By using this modiﬁed form, we generalize and improve several results, which appeared recently in the literature on the geometric function theory of complex analysis. We also prove some simple conditions for starlikeness, convexity, and the strong starlikeness of several one-parameter families of integral operators, including (for example) a certain µ -convex integral operator and the familiar Bernardi integral operator.


Introduction and Motivation
As usual, we use the symbol H for denoting the set of analytic functions in the open unit disk: U = {z : z ∈ C and |z| < 1}.
We set where a ∈ C and n ∈ N, and C and N are the sets of complex numbers and positive integers, respectively.
We also define the subclass A n of H as follows: A n = { f : f ∈ H and f (z) = z + a n+1 z n+1 + a n+2 z n+2 + • • • }.
In particular, we set A 1 = A. Furthermore, we let the subclass S of A be the class of all functions in A that are univalent in the open unit disk U.
A function f ∈ A is said to be in the class f ∈ S * (α) of normalized starlike functions of order α (0 α < 1) in U if it satisfies the following inequality: Specifically, we put S * (0) =: S * .Every element in S * is called a starlike function.
A function f ∈ A is said to be in the class K(α) of convex functions of order α (0 α < 1) in U if it satisfies the following inequality: In particular, we put K(0) =: K. Every element in K is called a convex function.Recently, by using different combinations of the representations of starlike and convex functions, many authors obtained simple conditions for the starlikeness and convexity of analytic functions.For example, by considering the quotient of the analytic representations of convex and starlike functions, Silverman [1] derived some new criteria for the starlikeness of analytic functions.Subsequently, Obradović and Tuneski [2] improved the work of Silverman [1].Now, for analytic functions in U with a fixed initial coefficient, we define the class H β [a, n] as follows: where n ∈ N, a ∈ C, and β ∈ C are fixed complex numbers.Moreover, we assume that where n ∈ N and b ∈ C are fixed complex numbers.In addition, we set A b := A 1,b .
For the functions f and g in H, we say that the function f is subordinate to g in U, which is written as f ≺ g, if there exists a Schwarz function ω, which is analytic in U with ω(0) = 0 and |ω(z Moreover, if g is an univalent function in U, then we have the following equivalence: .
By considering the function 1+Az 1+Bz , Janowski [3] generalized the class S * of starlike functions as follows.
Definition 1 (see [3]).If f ∈ A and −1 B < A 1, then we say that the function f is in the Janowski starlike function class S * [A, B] if and only if It is easily observed that the Janowski function ϕ(z), given by maps the open unit disk U onto the open disk with the center at z = C and the radius R, where So, for all f ∈ S * [A, B], the following two-sided inequality holds true: Hence, clearly, we have Moreover, for several special values of the parameters A and B, the Janowski starlike function class S * [A, B] yields the following subclasses of A: We also have a special case of the Janowski starlike function class S * [A, B] given by Under these and other conditions, the Janowski starlike function class S * [A, B] has been investigated by several authors (see, for example, [4][5][6][7]).
It is important to note that the Taylor-Maclaurin coefficients of analytic functions play an important role in the geometric function theory of complex analysis.For example, the bound on the second coefficient of a univalent function leads to well-known results such as the growth, distortion, and covering theorems (see [8]).Recently, the subject of the second-order differential subordination for analytic functions with a fixed initial coefficient was considered by Ali et al. [9].Furthermore, several authors (see, for example, [5,10,11]) discussed the various other properties of these functions.In addition, under some conditions of analytic functions f , it was concluded in [8] that a certain µ-convex integral operator on f can belong to the subclass S * [1, 0] of the Janowski starlike function class.Furthermore, Sharma et al. [12] made use of this same approach regarding analytic functions with a fixed initial coefficient.Motivated by the developments reported in [2,10,[13][14][15][16], we propose first to extend some of the results of Sharma et al. [12].In relation to analytic functions with a fixed initial Taylor-Maclaurin coefficient, we then determine some conditions by the means of which the µ-convex integral operator belongs to the Janowski starlike function class S * [A, B].Various other conditions for the starlikeness of analytic functions with a fixed initial coefficient are also discussed.
This article is organized as follows.In Section 2, we prove a main lemma that leads to the important result producing the functions in the class S * [A, B], which will then be followed by the starlikeness of the µ-convex integral operator on analytic functions with a fixed initial Taylor-Maclaurin coefficient.These results would extend some of the developments which were presented in [12].Next, by assuming some conditions, we will show how the µ-convex integral operator leads to the class of strongly starlike functions.In Section 3, we derive some sufficient conditions for the starlikeness of analytic functions with a fixed initial Taylor-Maclaurin coefficient.We also deduce some corollaries in Section 3. In addition, we establish the convexity of the Bernardi integral operator on the functions with a fixed initial coefficient that are not necessarily convex.Finally, in our concluding section (Section 4), we present a number of concluding remarks and observations which are based upon our investigation in this article.
In order to prove our main results, we require a definition and a basic lemma.

A Set of Main Results
We begin this section by proving a main lemma that will provide an important tool in deriving the results of this article.Lemma 2. Let the function q be univalent in U with q(0) = a.Suppose that the functions θ and φ are analytic in a domain D ⊂ C containing q(U) and that φ(z) = 0 (z ∈ U).Additionally, let 0 < β |q (0)| and Assume also that (i) the function h is convex or (ii) the function Q(z) = zq (z)φ q(z) is starlike, and Proof.The proof of Lemma 2 is similar to that of a known result ( [8], p. 132, Theorem 3.4h), so we choose to omit the details involved.Only for Case (ii), it is sufficient that we set instead of ([8], p. 133, Equation (3.4-21)) and then proceed with the proof.
In our present investigation, we find it to be convenient to set It can be readily observed that (2) implies that We now determine the conditions for functions in the class A n,b and, by means of these conditions, the µ-convex integral operator given by (2) will be placed in a special subclass of starlike functions.For this objective in view, we state and prove Lemma 3 below.Lemma 3. Let n ∈ N, µ > 0, and −1 B < A 1. Suppose also that P ∈ H −β(1+µn) [1, n] with B − A β < 0 satisfies the following subordination condition: and We then have p 1 ∈ H −β [1, n] and the function q 1 is analytic and univalent in U.Moreover, the Equations ( 3) and (4) yield where We now show that the conditions mentioned in Lemma 2 are satisfied.By setting we have Consequently, after some computation, we obtain and so we obtain Then, by applying Lemma 2, we deduce that p 1 (z) ≺ q 1 (z), which leads us to the following subordination: p(z) ≺ q(z) = 1+Bz 1+Az .This completes the proof of Lemma 3.
Proof.Let us define the function p(z) as follows: Then, according to the known result ([8], p. 11, Lemma 1.2c), p is well-defined, and By putting a simple computation shows that p satisfies (4).Then, by applying Lemma 3, we deduce that We now define the function F(z) as follows: is well-defined.Furthermore, it is easily seen that F coincides with the function introduced in (2).Upon combining ( 4) and (5), we obtain Hence, clearly, we have zF (z) as it is asserted by Theorem 1.
Proof.Let f ∈ A n,b .Then, because of the following equivalence: with (2), we can write It can be readily seen that b = c(1 + µn).Thus, by applying Theorem 1, we obtain the result asserted by Theorem 2.
Remark 3. If we let A = 1 and B = 0, then Theorem 2 reduces to a known result ( [12], Theorem 2.5).Additionally, by putting A = 1, B = 0, and c = 1 n , Theorem 2 reduces to another known result ([8], p. 255, Theorem 5.1c).Since, for we have it is obvious that Theorem 2 extends the above-mentioned known result ([8], p. 255, Theorem 5.1c) to hold true for functions f ∈ A n,c .Upon setting then Theorem 2 can be shown to have the following symmetric form: Next, we consider the class S * (λ) of strongly starlike functions of order λ in U, which was introduced by Brannan and Kirwan [11] as follows: We define the following subclass of the strongly starlike function class S * (λ): Additionally, let P ∈ H −β(1+µn) [1, n] with (B − A)λ β < 0 satisfy the following subordination condition: Proof.The proof of Lemma 4 is similar to that of Lemma 3. We, therefore, omit the analogous details of the proof.By analogously applying the arguments, which we used in our proof of Theorem 2, we can demonstrate each of the following theorems.
where A µ is given by (2).
In its special case when B = 0 and A = λ = 1, Theorem 3 would yield the following corollary.
then the function F is starlike in U. .

Starlikeness of Analytic Functions with Fixed Initial Taylor-Maclaurin Coefficient
Theorem 5 below provides our first set of criteria for the starlikeness of analytic functions with a fixed initial Taylor-Maclaurin coefficient. where and where 0 µ µ n and z f (z) then f ∈ S * .
Proof.Let us define the functions p(z) and q(z) as follows: It is then readily seen that p ∈ H (n+1)b [1, n] and that q is a convex function.From ( 6) and ( 7), we find that the constants µ n and C n are positive.Let 0 µ µ n and z f (z) > −µ.
We claim that p(z) ≺ q(z).Otherwise, if p ≺ q, then (by Lemma 1), there exist points Thus, by taking ζ 0 = e it = −1, we deduce that which is a contradiction.Therefore, we conclude that p ≺ q.Now, since q is convex and symmetric to the real axis, we have However, β 0 if Consequently, we have It follows that f (z) > 0. On the other hand, by means of a simple computation, we have , where µ n is given by ( 6) and (7).Hence, according to (8), we conclude that f is univalent.We will prove that f is starlike in U.For this purpose, if we let then we have P ∈ H b [1, n] and We now consider the following differential equation (with the initial condition): where N is defined in the statement of Theorem 5.By solving the initial-value problem (10), we find the function q 1 (z) given by as its solution.Since q is convex, we can apply a known result ([8], p. 67, Theorem 2.6h) to conclude that the function q 1 is convex and, therefore, univalent in U.
In order to apply Lemma 2, we need to investigate the conditions mentioned in it.For this purpose, it is sufficient to show that where However, in view of (10), we obtain Thus, by applying Lemma 2, we deduce that Since q 1 is convex and symmetric to the real axis, we have Thus, if we put [1, n], and f (z) = P(z)p(z).Furthermore, it can be seen that Hence, from z f (z) > −µ and the Equation ( 9), we find that We now show that Otherwise, if p ≺ q 3 , then (by Lemma 1) there exist points z 0 ∈ U and Thus, by taking we have and so we get On the other hand, the Equations ( 6) and (7) imply that This last inequality leads us to which is in contradiction with (11).This completes the proof of Theorem 5.
Some corollaries and consequences of Theorem 5 are worth considering next.I.By putting n = 1 and δ = 1 2 in the assumptions of Theorem 5, we obtain Thus, by applying Theorem 5, we have Corollary 2 below.We turn now to the general Bernardi integral operator L γ (γ > −1), which is defined as follows (see, for details, [15]): It is recorded in ([8], p.67, Theorem 2.6h) that L γ [K] ⊂ K for (γ) 0, with similar inclusion relations for the classes S * and C of starlike and close-to-convex functions in U.
In our next result, we will present conditions for a function f in the class A n,b that are not necessarily convex, but the Bernardi operator L γ [ f ](z), given in (12), belongs to the class K (see also [15]).Theorem 6.Let n ∈ N, 0 < δ 1, and Additionally, let where and where 0 α α n and z f (z) Proof.Let us first define the functions p(z) and q(z) as follows: It can then be seen that p ∈ H (n+1)b [1, n] and that q is a convex function.Thus, from ( 13) and ( 14), we find that the constants α n (γ) and C n (γ) are positive.Suppose that 0 α α n and z f (z) > −α.
By the same argument as in the demonstration of Theorem 5, we can infer that p ≺ q, and so (9) holds true.
First of all, we show that F is a univalent function.Indeed, upon differentiating both sides of ( 12) with respect to z, we find that If we set where and we find from (15) that We now consider the following differential equation (with the initial condition): It can be seen that the function q 1 (z), given by satisfies the initial-value problem (16).By analogously applying the argument used in the proof of Theorem 5, we can deduce that Since the function q 1 is convex and symmetric to the real axis, we can write However, we note that , so we have Therefore, by combining the above relations, we obtain If we let Moreover, we find from (15) that Upon differentiating both sides of (18) with respect to z and using the Equation ( 15), we obtain Thus, by applying the Equations ( 9) and ( 17), in conjunction with the hypothesis of Theorem 6, we have Finally, just as in the case of Theorem 5 for proving the starlikeness of f , we can conclude that Hence, clearly, we have L γ [ f ] ∈ K.
IV.By putting n = 2, γ = 1, and δ = 3 4 in Theorem 6, we find that Then, as a consequence of Theorem 6, we can deduce the following corollary.We next state and prove the following result. where Proof.Let us introduce the functions q(z) and P(z) as follows: It is then clear that P ∈ H β [1, n] and that the function q is convex.Upon differentiating both sides of the Equation ( 12) with respect to z, we obtain Consequently, the Equation (19) implies that We now consider the following differential equation (with the initial condition): It can be easily seen that the function q(z), given by satisfies the initial-value problem (22).Thus, if we set Therefore, by applying Lemma 2, we can deduce that then the Equation (23) yields In view of ( 24) and (20), we find that R < 1.Therefore, the equation (25) implies that |F (z) − 1| < 1.Hence, clearly, F is univalent.Thus, if we let Additionally, from the equation (21), we have Thus, if we first substitute (26) into (19) and then use (24), we obtain We note that, since F (z) > 0, we have P(z) = 0. Thus, in order to prove that p(z) > 0 (z ∈ U), we suppose that there exists a point z 0 ∈ U such that p(z 0 ) = iρ (ρ ∈ R).We show that this leads to If we set P(z 0 ) = u(z 0 ) + iv(z 0 ) = u + iv, then we have which, in view of (25) and the triangle inequality, yields |γP(z) − (γ + 1)| 1 − |γ|R.
We thus find that where then the inequality (28) holds true.Moreover, since Upon some simple calculation and the use of (25), (24), and (20), we conclude that , which completes the proof of Theorem 7. Lastly, in this section, we apply Theorem 7 in order to establish the following corollary.
Now, by applying Theorem 7, we complete the proof of Corollary 6.

Concluding Remarks and Observations
In our present investigation, we have first modified one of the most famous theorems on the principle of differential subordination to hold true for normalized analytic functions with a fixed initial Taylor-Maclaurin coefficient.Then, by making use of this modified form, we have generalized and improved a number of results, which appeared, in recent years, in the literature on the geometric function theory of complex analysis.We have also proved some simple conditions for the starlikeness, convexity, and strong starlikeness of such one-parameter families of integral operators as (for example) the familiar Bernardi integral operator and a certain µ-convex integral operator.
Here, in this article, we have established a total of seven main results (Theorems 1 to 7).By suitably specializing the parameters, which are involved in our main results, we have deduced several (known or new) corollaries and consequences thereof.Moreover, wherever possible, we have shown how some of our main results, as well as many of their corollaries and consequences, are related to various results, which are available in the current literature on the subject of our investigation.Remarkably, our Theorems 5 to 7, which involve a fixed second Taylor-Maclaurin coefficient b of the functions in the normalized analytic function class A n,b , have been proven here for the first time and, to the best of our knowledge, even some of their corollaries would provide notable improvements of the available results in the literature.
The various results, which are proven in this article, together with their corollaries and consequences, are potentially useful in encouraging further researches on the subject.