Journal of Inequalities in Pure and Applied Mathematics http://jipam.vu.edu.au/ Volume 5, Issue 3, Article 78, 2004 SOME APPLICATIONS OF A FIRST ORDER DIFFERENTIAL SUBORDINATION SUKHJIT SINGH AND SUSHMA GUPTA D EPARTMENT OF M ATHEMATICS , S ANT L ONGOWAL I NSTITUTE OF E NGINEERING & T ECHNOLOGY L ONGOWAL -148 106(P UNJAB )-I NDIA . sukhjit_d@yahoo.com sushmagupta1@yahoo.com Received 28 January, 2004; accepted 19 July, 2004 Communicated by A. Lupaş A BSTRACT. Let p and q be analytic functions in the unit disc E = {z : |z| < 1}, with p(0) = q(0) = 1. Assume that α and δ are real numbers such that 0 < δ ≤ 1, α + δ ≥ 0. Let β and γ be complex numbers with β 6= 0. In the present paper, we investigate the differential subordination δ δ zp0(z) zq0(z) α α (p(z)) p (z) + ≺ (q(z)) q(z) + , z ∈ E, βp(z) + γ βq(z) + γ and as applications, find several sufficient conditions for starlikeness and univalence of functions analytic in the unit disc E. Key words and phrases: Univalent function, Starlike function, Convex function, Differential subordination. 2000 Mathematics Subject Classification. Primary 30C45, Secondary 30C50. 1. I NTRODUCTION Let A be the class of functions f , analytic in E, having the normalization f (0) = f 0 (0) − 1 = 0. Denote by A0 , the class of functions f which are analytic in E and satisfy f (0) = 1 and f (z) 6= 0, z ∈ E. Furthermore, let St(α), St and K denote the usual subclasses of A consisting of functions which are starlike of order α, 0 ≤ α < 1, starlike (with respect to the origin) and convex in E, respectively. For the analytic functions f and g, we say that f is subordinate to g in E, written as f (z) ≺ g(z) in E (or simply f ≺ g), if g is univalent in E, f (0) = g(0), and f (E) ⊂ g(E). Let ψ : D → C (C is the complex plane) be an analytic function defined on a domain D ⊂ C2 . Further, let p be a function analytic in E with (p(z), zp0 (z)) ∈ D for z ∈ E, and let h be a univalent function in E. Then p is said to satisfy first order differential subordination if (1.1) ψ(p(z), zp0 (z)) ≺ h(z), ISSN (electronic): 1443-5756 c 2004 Victoria University. All rights reserved. 023-04 z ∈ E, ψ(p(0), 0) = h(0) 2 S UKHJIT S INGH AND S USHMA G UPTA A univalent function q is said to be the dominant of the differential subordination (1.1), if p(0) = q(0) and p ≺ q for all p satisfying (1.1). A dominant q̃ of (1.1) that satisfies q̃ ≺ q for all dominants q of (1.1) is said to be the best dominant of (1.1). The fascinating theory of differential subordination was put on sound footing by Miller and Mocanu [6] in 1981. Later, they used it (e.g. see [3], [7] and [10]) to obtain the best dominant for the Briot-Bouquet differential subordination of the type zp0 (z) (1.2) p(z) + ≺ h(z), z ∈ E, βp(z) + γ which was first studied by Ruscheweyh and Singh [29]. The observation that the differential subordination (1.2) had several interesting applications to univalent functions led to its generalization in many ways (see [8], [16]). In the present paper, we consider a generalization of the form δ δ zp0 (z) zq 0 (z) α α (1.3) (p(z)) p(z) + ≺ (q(z)) q(z) + = h(z), z ∈ E, βp(z) + γ βq(z) + γ where α, δ are suitably chosen real numbers, β, γ ∈ C, β 6= 0. Using the characterization of a subordination chain and a beautiful lemma of Miller and Mocanu [6], we determine conditions on q under which it becomes best dominant of differential subordination (1.3), Section 3. In Section 4, we apply our results to find several new sufficient conditions for starlikeness, strongly starlikeness and univalence of function f ∈ A. Large number of known results also follow as particular cases from our results. The motivation to study the differential subordination (1.3) was provided by the class H(γ), γ ≥ 0, of γ-starlike functions defined by Lewandowski et al. [4], defined as under: ( ) 0 1−γ γ zf (z) zf 00 (z) H(γ) = f ∈ A : Re 1+ 0 > 0, z ∈ E . f (z) f (z) Recently, Darus and Thomas [2], too, investigated the class H(γ) and proved that the functions in this class are starlike. Finally, we define few classes of analytic functions, which will be required by us in the present paper. Miller, Mocanu and others studied extensively (e.g. see [11], [12], [14], [15] and [17]) the class of α-convex functions, Mα , α real, defined as under zf 00 (z) zf 0 (z) Mα = f ∈ A : Re (1 − α) +α 1+ 0 > 0, z ∈ E f (z) f (z) 0 where f (z)fz (z) 6= 0 in E. They proved that Mα ⊂ Mβ ⊂ St for 0 ≤ α/β ≤ 1 and Mα ⊂ M1 = K for α ≥ 1. In [30], Silverman defined the following subclass of the class of starlike functions: 1 + zf 00 (z)/f 0 (z) Gb = f ∈ A : − 1 < b, z ∈ E . zf 0 (z)/f (z) N. Tuneski ([22], [31], [32]) dedicated lot of his work to the study of this class and obtained some interesting conditions of starlikeness. Another class which is of considerable interest and has been investigated in many articles ([23], [27]), consists of functions f ∈ A which satisfy 0 zf (z) zf 00 (z) > 0, z ∈ E. Re 1+ 0 f (z) f (z) J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ S OME A PPLICATIONS OF A F IRST ORDER D IFFERENTIAL S UBORDINATION 3 It is known that the functions in this class are starlike, too. We observe that all the classes mentioned above consist of algebraic expressions involving the analytic representations of convex and starlike functions. 2. P RELIMINARIES We shall need the following definition and lemmas. Definition 2.1. A function L(z, t), z ∈ E and t ≥ 0 is said to be a subordination chain if L(·, t) is analytic and univalent in E for all t ≥ 0, L(z, ·) is continuously differentiable on [0, ∞) for all z ∈ E and L(z, t1 ) ≺ L(z, t2 ) for all 0 ≤ t1 ≤ t2 . Lemma 2.1 ([24, p. 159]). The function L(z, t) : E × [0, ∞) → C of the form L(z, t) = a1 (t)z + · · · with a1 (t) 6= 0 for all t ≥ 0, and lim |a1 (t)| = ∞, is said to be a subordination t→∞ chain if and only if there exist constants r ∈ (0, 1] and M > 0 such that (i) L(z, t) is analytic in |z| < r for each t ≥ 0, locally absolutely continuous in t ≥ 0 for each |z| < r, and satisfies |L(z, t)| ≤ M |a1 (t)|, for |z| < r, t ≥ 0, (ii) there exists a function p(z, t) analytic in E for all t ∈ [0, ∞) and measurable in [0, ∞) for each z ∈ E, such that Re p(z, t) > 0 for z ∈ E, t ≥ 0 and ∂L(z, t) ∂L(z, t) =z p(z, t), ∂t ∂z in |z| < r, and for almost all t ∈ [0, ∞). Lemma 2.2. Let F be analytic in E and let G be analytic and univalent in E except for points ζ0 such that limz→ζ0 F (z) = ∞, with F (0) = G(0). If F 6≺ G in E, then there is a point z0 ∈ E and ζ0 ∈ ∂E (boundary of E) such that F (|z| < |z0 |) ⊂ G(E), F (z0 ) = G(ζ0 ) and z0 F 0 (z0 ) = mζ0 G0 (ζ0 ) for m ≥ 1. Lemma 2.2 is due to Miller and Mocanu [6]. Lemma 2.3. Let f ∈ A be such that f 0 (z) ≺ (1 + az) in E, where 0 < a ≤ 1. Then µ zf 0 (z) 1+z ≺ , z ∈ E, f (z) 1−z where 0 < a ≤ √ 2 sin(πµ/2) 5+4 cos(πµ/2) . Lemma 2.4. Let f ∈ A be such that f 0 (z) ≺ (1 + az) in E, where 0 < a ≤ 21 . Then we have zf 0 (z) 3a ≺1+ z. f (z) 2−a Lemma 2.3 and Lemma 2.4 are due to Ponnusamy and Singh [26] and Ponnusamy [25], respectively. 3. M AIN R ESULTS Definition 3.1. Let α and δ be fixed real numbers, with 0 < δ ≤ 1, α + δ ≥ 0. Further, let β and γ be complex numbers such that β 6= 0. Then, by R(α, β, γ, δ), we denote the class of functions p ∈ A0 , such that the function δ zp0 (z) α P (z) = (p(z)) p(z) + , P (0) = p(0), z ∈ E, βp(z) + γ J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ 4 S UKHJIT S INGH AND S USHMA G UPTA is well defined in E. For fixed α and δ, where α + δ ≥ 0, 0 < δ ≤ 1 and for given β, γ ∈ C with β 6= 0, the class R(α, β, γ, δ) is non-empty, as the function p(z) = 1 + pn z n , where z ∈ E, pn ∈ C and n ∈ N, belongs to R(α, β, γ, δ). We are now in a position to state and prove our main theorem. 0 zq (z) Theorem 3.1. For a function q ∈ R(α, β, γ, δ), analytic and univalent in E, set βq(z)+γ = Q(z). Suppose that q satisfies the following conditions: (i) Re(βq(z) h 0 + γ) >0 0,i z ∈ E, and (z) (z) (ii) Re αδ zqq(z) + zQ > 0, z ∈ E. Q(z) If p ∈ R(α, β, γ, δ) satisfies the first order differential subordination δ δ zp0 (z) zq 0 (z) α α (3.1) (p(z)) p(z) + ≺ (q(z)) q(z) + = h(z), h(0) = 1, βp(z) + γ βq(z) + γ for all z ∈ E. Then p ≺ q and q is the best dominant of differential subordination (3.1). All the powers chosen here are the principal ones. Proof. Without any loss of generality, we assume that q is univalent on Ē. If not, then we can replace p, q, and h by pr (z) = p(rz), qr (z) = q(rz) and hr (z) = h(rz), respectively, where 0 < r < 1. These new functions satisfy the conditions of the theorem on Ē. We would then prove that pr ≺ qr , and by letting r → 1− , we obtain p ≺ q. We need to prove that p is subordinate to q in E. If possible, suppose that p 6≺ q in E. Then by Lemma 2.2, there exist points z0 ∈ E and ζ0 ∈ ∂E such that p(|z| < |z0 |) ⊂ q(E), p(z0 ) = q(ζ0 ) and z0 p0 (z0 ) = mζ0 q 0 (ζ0 ) for m ≥ 1. Now δ δ mζ0 q 0 (ζ0 ) z0 p0(z0 ) α α = (q(ζ0 )) q(ζ0 ) + . (3.2) (p(z0 )) p (z0 ) + βp(z0 ) + γ βq(ζ0 ) + γ Consider the function α L(z, t) = (q(z)) zq 0 (z) q(z) + (1 + t) βq(z) + γ δ = (q(z))α (q(z) + (1 + t)Q(z))δ = 1 + a1 (t)z + · · · . As q ∈ R(α, β, γ, δ), so L(z, t) is analytic in E for all t ≥ 0 and is continuously differentiable on [0, ∞) for all z ∈ E. ∂L(z, t) 1+t 0 a1 (t) = = q (0) α + δ 1 + . ∂z β+γ z=0 Since q is univalent in E, q 0 (0) 6= 0 and in view of condition (i), β + γ 6= 0. Thus, a1 (t) 6= 0 and lim |a1 (t)| = ∞. Moreover, t→∞ α zq 0 (z) t) βq(z)+γ (q(z)) q(z) + (1 + L(z, t) h = a1 (t) 0 q (0) α + δ 1 + J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 1+t β+γ i δ . http://jipam.vu.edu.au/ S OME A PPLICATIONS OF A F IRST ORDER D IFFERENTIAL S UBORDINATION 5 Taking limits on both sides lim t→∞ L(z, t) = lim t→∞ a1 (t) δ zq 0 (z) + ( 1t + 1) βq(z)+γ i . h 1 +1 1 α t 0 1−δ q (0)t + δ t + β+γ t (q(z))α q(z) t When 0 < δ < 1, L(z, t) = 0. t→∞ a1 (t) Thus, there exists a positive constant such that lim |L(z, t)| < |a1 (t)|, t ≥ 0. When δ = 1, we have (q(z))α Q(z) L(z, t) = 0 = φ(z), (say). t→∞ a1 (t) q (0)/β + γ In view of condition (ii), it is obvious that φ is a normalized starlike (with respect to the origin), and hence, univalent function. By the Growth theorem for univalent functions [18, p. 217], the function φ is bounded for all z, |z| < r, where r ∈ (0, 1]. Thus, we conclude that for 0 < δ ≤ 1, there exist constants K0 > 0 and r0 ∈ (0, 1] such that lim |L(z, t)| ≤ K0 |a1 (t)|, |z| < r0 , t ∈ [0, ∞). Now ∂L(z, t) = (q(z))α δ(q(z) + (1 + t)Q(z))δ−1 Q(z). ∂t z∂L/∂z α zq 0 (z) (q(z) + (1 + t)Q(z)) z(q 0 (z) + (1 + t)Q0 (z)) = + ∂L/∂t δ q(z) Q(z) Q(z) α 0 α zq (z) zQ0 (z) = + 1 (βq(z) + γ) + (1 + t) + . δ δ q(z) Q(z) In view of conditions (i)) and (ii), we obtain z∂L/∂z Re > 0, z ∈ E, ∂L/∂t (3.3) for α +δ ≥ 0 and 0 < δ ≤ 1. Thus, all the conditions of Lemma 2.1 are satisfied. Therefore, we deduce that L(z, t) is a subordination chain. In view of Definition 2.1, L(z, t1 ) ≺ L(z, t2 ) for 0 ≤ t1 ≤ t2 . Since L(z, 0) = h(z), we get L(ζ0 , t) ∈ / h(E) for |ζ0 | = 1 and t ≥ 0. Moreover, h is univalent in E so that the subordination (3.1) is well-defined. In view of (3.2), we can write δ z0 p0(z0 ) α (p(z0 )) p (z0 ) + = L(ζ0 , m − 1) ∈ / h(E), βp(z0 ) + γ which is a contradiction to (3.1). Hence p ≺ q in E. This completes the proof. Remark 3.2. From (3.3), we observe that the condition (i) in Theorem 3.1 can be omitted in case α + δ = 0. Setting α = 0 and δ = 1 in Theorem 3.1, we obtain the following result on Briot-Bouquet differential subordination (also see [7]): Corollary 3.3. Let β, γ ∈ C with β 6= 0. Let q ∈ R(0, β, γ, 1), be a univalent function which satisfies the following conditions: (i) Re(βq(z) + γ) > 0, z ∈ E and J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ 6 S UKHJIT S INGH AND S USHMA G UPTA (ii) log(βq(z) + γ) is convex in E. If an analytic function p ∈ R(0, β, γ, 1) satisfies the differential subordination zq 0 (z) zp0 (z) p(z) + ≺ q(z) + , z ∈ E, βp(z) + γ βq(z) + γ then p ≺ q in E. Taking α = δ = 1 and γ = 0, Theorem 3.1 provides the following result (also see [5] and [21]): Corollary 3.4. Let β be a complex number, β 6= 0. Let q ∈ R(1, β, 0, 1), be convex univalent in E for which Re βq(z) > 0, z ∈ E. If an analytic function p ∈ R(1, β, 0, 1) satisfies the differential subordination βp2 (z) + zp0 (z) ≺ βq 2 (z) + zq 0 (z), z ∈ E, then p ≺ q in E. Writing α = −1, β = 1, γ = 0 and δ = 1 in Theorem 3.1, we obtain the following result of Ravichandran and Darus [28]: 0 (z) is starlike in E. If p ∈ A0 satisfies Corollary 3.5. Let q ∈ A0 be univalent in E such that zq q 2 (z) the differential subordination zp0 (z) zq 0 (z) ≺ , z ∈ E, p2 (z) q 2 (z) then p(z) ≺ q(z) in E. 4. A PPLICATIONS TO U NIVALENT F UNCTIONS In this section, we obtain sufficient conditions for a function to be starlike, strongly starlike and univalent in E. Theorem 4.1. Let α and δ be fixed real numbers, with 0 < δ ≤ 1, α + δ ≥ 0. Let λ, Re λ > 0, 0 (z) be a univalent function which satisfies be a complex number. For f and g ∈ A, let G(z) = zgg(z) (i) Re hλ1 G(z) > 0 in E; and 0 (z) (ii) Re αδ − 1 zG +1+ G(z) zG00 (z) G0 (z) i > 0, z ∈ E. Then, if f ∈ A satisfies the differential subordination 0 α δ zf (z) zf 0 (z) zf 00 (z) (1 − λ) +λ 1+ 0 f (z) f (z) f (z) 0 α δ zg (z) zg 0 (z) zg 00 (z) ≺ · (1 − λ) +λ 1+ 0 , g(z) g(z) g (z) then, zf 0 (z) f (z) ≺ zg 0 (z) g(z) z ∈ E, in E. Proof. The proof of the theorem follows by writing p(z) = γ = 0 in Theorem 3.1. zf 0 (z) f (z) , q(z) = zg 0 (z) g(z) , β = 1/λ and Letting λ = 1 and α = 1 − δ in Theorem 4.1, we obtain the following general subordination theorem for the class of δ-starlike functions. Theorem 4.2. Let δ, 0 < δ ≤ 1, be fixed and let f and g ∈ A. Assume that G(z) = univalent in E which satisfies the following conditions: J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 zg 0 (z) g(z) is http://jipam.vu.edu.au/ S OME A PPLICATIONS OF A F IRST ORDER D IFFERENTIAL S UBORDINATION 7 (i) Re G(z) > 0 i.e. g is starlike in iE; and h 0 (z) zG00 (z) 1 (ii) Re δ − 2 zG + 1 + > 0, z ∈ E. G(z) G0 (z) Then the differential subordination 0 1−δ δ 0 1−δ δ zf (z) zf 00 (z) zg (z) zg 00 (z) (4.1) 1+ 0 ≺ 1+ 0 , f (z) f (z) g(z) g (z) implies that zf 0 (z) f (z) ≺ zg 0 (z) g(z) z ∈ E, in E. For δ = 1, α = 0, Theorem 4.1 gives the following subordination result. Theorem 4.3. Let λ, Re λ > 0, be a complex number. For g ∈ A, let G(z) = in E and satisfy the following conditions: (i) Re λ1 G(z) > 0, z ∈ E; and 0 (z) (ii) zG is starlike in E. G(z) zg 0 (z) g(z) If an analytic function f ∈ A satisfies the differential subordination zf 0 (z) zf 00 (z) zg 0 (z) zg 00 (z) (4.2) (1 − λ) +λ 1+ 0 ≺ (1 − λ) +λ 1+ 0 , f (z) f (z) g(z) g (z) then zf 0 (z) f (z) ≺ zg 0 (z) g(z) be univalent z ∈ E, in E. Remark 4.4. We observe that when λ is a positive real number, Theorem 4.3 provides a general subordination result for the class Mλ . Putting δ = λ = 1, α = −1 in Theorem 4.1, we obtain the following general subordination result for the class Gb : 0 (z) Theorem 4.5. For a function g ∈ A, set zgg(z) = G(z). Suppose that G(z) is a univalent function which satisfies 2zG0 (z) zG00 (z) Re 1 − + > 0, z ∈ E. G(z) G(z) If an analytic function f ∈ A satisfies the differential subordination 1 + zf 00 (z)/f 0 (z) 1 + zg 00 (z)/g 0 (z) ≺ , zf 0 (z)/f (z) zg 0 (z)/g(z) then zf 0 (z) f (z) ≺ zg 0 (z) g(z) z ∈ E, in E. Taking δ = 1, α = 0 and λ = 1 in Theorem 4.1, we obtain the following Marx-Strohhäcker differential subordination theorem of first type (also see [9]): 0 (z) Corollary 4.6. Let g ∈ A be starlike in E. Suppose that zgg(z) = G(z) is univalent and log G(z) is convex in E. If an analytic function f ∈ A satisfies the differential subordination 1+ then zf 0 (z) f (z) ≺ zg 0 (z) g(z) zf 00 (z) zg 00 (z) ≺ 1 + , f 0 (z) g 0 (z) z ∈ E, in E. Writing α = δ = λ = 1 in Theorem 4.1, we have the following subordination result: J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ 8 S UKHJIT S INGH AND S USHMA G UPTA 0 (z) = G(z). Assume that G is convex univalent Corollary 4.7. Let g ∈ A be starlike in E. Set zgg(z) in E. If f ∈ A satisfies the differential subordination zf 0 (z) z 2 f 00 (z) zg 0 (z) z 2 g 00 (z) + ≺ + , f (z) f (z) g(z) g(z) then zf 0 (z) f (z) ≺ zg 0 (z) g(z) z ∈ E, in E. Setting p(z) = f 0 (z), q(z) = g 0 (z) and β = 1 λ and γ = 0 in Theorem 3.1, we obtain Theorem 4.8. Let α and δ be fixed real numbers, with 0 < δ ≤ 1 and α + δ ≥ 0. Let λ ∈ C with Re λ > 0. Assume that g ∈ A satisfies the following conditions: (i) Re hλ1 g 0 (z) > 0, z ∈ E; and i zg00 (z) zg 000 (z) α (ii) Re δ − 1 g0 (z) + 1 + g00 (z) > 0 in E. If f ∈ A satisfies the differential subordination (f 0 (z))α−δ [(f 0 (z))2 + λzf 00 (z)]δ ≺ (g 0 (z))α−δ [(g 0 (z))2 + λzg 00 (z)]δ , for all z ∈ E, then f 0 (z) ≺ g 0 (z) in E. Writing α = δ = 1 in Theorem 4.8, we obtain the following result: Corollary 4.9. Let λ ∈ C with Re λ > 0. Let g ∈ A be such that (i) Re λ1 g 0 (z) > 0, z ∈ E and (ii) g 0 is convex in E. If f ∈ A satisfies the differential subordination f 02 (z) + λzf 00 (z) ≺ g 02 (z) + λzg 00 (z), z ∈ E, then f 0 (z) ≺ g 0 (z) in E. Taking δ = λ = 1, α = −1 in Theorem 4.8, we obtain the following result: 00 (z) is starlike in E. If an analytic function f, Corollary 4.10. Let g ∈ A be such that zg g 02 (z) f (0) = 0, satisfies the differential subordination zf 00 (z) zg 00 (z) ≺ , f 02 (z) g 02 (z) z ∈ E, then f 0 (z) ≺ g 0 (z) in E. Setting α = 0 and δ = 1 in Theorem 4.8, we get: Corollary 4.11. Let λ be a complex number, Re λ > 0. Let g ∈ A be such that (i) Re λ1 g 0 (z) > 0, z ∈ E, and (ii) log g 0 (z) is convex in E. If f ∈ A satisfies the differential subordination f 0 (z) + λ zf 00 (z) zg 00 (z) 0 ≺ g (z) + λ , f 0 (z) g 0 (z) z ∈ E, then f 0 (z) ≺ g 0 (z) in E. J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ S OME A PPLICATIONS OF A F IRST ORDER D IFFERENTIAL S UBORDINATION 9 4.1. Conditions for Strongly Starlikeness. A function f ∈ A is said to be strongly starlike of order α, 0 < α ≤ 1, if 0 arg zf (z) < απ , z ∈ E. f (z) 2 Let the class of all such functions be denoted by S̃(α). Consider G(z) = ( 1+z )µ , 0 < µ < 1. Let α, δ and λ be fixed real numbers such that 1−z 0 < δ ≤ 1, α + δ ≥ 0 and λ > 0. Then (i) Re hλ1 G(z) > 0 in E; and i h i 0 (z) zG00 (z) α 2µz 1+z 2 (ii) Re αδ − 1 zG = Re + > 0, z ∈ E. + 1 + G(z) G0 (z) δ 1−z 2 1−z 2 Thus, all the conditions of Theorem 4.1 are satisfied. Therefore, we obtain the following result: Theorem 4.12. Let α, δ and λ be fixed real numbers such that 0 < δ ≤ 1, α + δ ≥ 0 and λ > 0. For a real number µ, 0 < µ < 1, if f ∈ A satisfies the differential subordination 0 α δ αµ µ δ zf (z) zf 0 (z) zf 00 (z) 1+z 1+z 2λµz (1 − λ) +λ 1+ 0 ≺ + , f (z) f (z) f (z) 1−z 1−z 1 − z2 then f ∈ S̃(µ). Remark 4.13. Theorem 4.12 can also be written as: Let α, δ, λ and µ be fixed real numbers such that 0 < δ ≤ 1, α + δ ≥ 0, λ > 0 and 0 < µ < 1. If an analytic function f in A satisfies 0 α δ 0 00 zf (z) zf (z) zf (z) νπ (1 − λ) +λ 1+ 0 , arg < f (z) f (z) f (z) 2 then f ∈ S̃(µ), where 2 µπ λµ ν = αµ + δ arctan tan + . π 2 (1 − µ)(1−µ)/2 (1 + µ)(1+µ)/2 cos µπ 2 Deductions. Writing λ = 1 and α = 1 − δ in Theorem 4.12, we obtain the following result, essentially proved by Darus and Thomas [2]: (i). Let δ, 0 < δ ≤ 1, and µ, 0 < µ < 1, be fixed real numbers. Let f ∈ A satisfy 0 1−δ δ ν zf (z) zf 00 (z) 1+z 1+ 0 ≺ , z ∈ E, f (z) f (z) 1−z then f ∈ S̃(µ), where 2δ µπ µ ν = (1 − δ)µ + arctan tan + . π 2 (1 − µ)(1−µ)/2 (1 + µ)(1+µ)/2 cos µπ 2 Letting α = 0 and δ = 1 in Theorem 4.12, we get the following result of Mocanu [15]: (ii). Let λ, λ > 0 and µ, 0 < µ < 1, be fixed real numbers. If f ∈ A satisfies the differential subordination µ zf 0 (z) zf 00 (z) 1+z 2λµz (1 − λ) +λ 1+ 0 ≺ + , z ∈ E, f (z) f (z) 1−z 1 − z2 then f ∈ S̃(µ). J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ 10 S UKHJIT S INGH AND S USHMA G UPTA For λ = 0, α = −1 and δ = 1, Theorem 4.12 gives the following result of Ravichandran and Darus [28]: (iii). For µ, 0 < µ < 1, a fixed real number, let f ∈ A satisfy 2µz(1 − z)µ−1 1 + zf 00 (z)/f 0 (z) ≺1+ zf 0 (z)/f (z) (1 + z)µ+1 for all z ∈ E. Then f ∈ S̃(µ). Writing α = 0 and δ = λ = 1 in Theorem 4.12, we obtain the following result of Nunokawa and Thomas [20]: (iv). For µ, 0 < µ < 1, a fixed real number, let f ∈ A satisfy ν 1+z zf 00 (z) , 1+ 0 ≺ f (z) 1−z for all z ∈ E. Then f ∈ S̃(µ), where µπ µ 2 ν = arctan tan + . π 2 (1 − µ)(1−µ)/2 (1 + µ)(1+µ)/2 cos µπ 2 Taking α = δ = λ = 1 in Theorem 4.12, we obtain the following result of Padmanabhan [23]: (v). For µ, 0 < µ < 1, a fixed real number, let f ∈ A satisfy µ µ zf 0 (z) zf 00 (z) 1+z 1+z 2µz 1+ 0 ≺ + , f (z) f (z) 1−z 1−z 1 − z2 for all z ∈ E. Then f ∈ S̃(µ). 4.2. Conditions for Starlikeness. Consider G(z) = 1+az , −1 < a ≤ 1. Then, for |α| ≤ 1−z δ, 0 < δ ≤ 1 and λ > 0, we have (i) Re hλ1 G(z) > λ1 ( 1−a ) > 0 in E; and 2 i 0 (z) 00 (z) zG α 1 1 (ii) Re αδ − 1 G(z) + 1 + zG > Re (1 − ) − > 0, z ∈ E. 0 G (z) δ 1+az 2 Thus G satisfies all the conditions of Theorems 4.1. Therefore, we obtain: Theorem 4.14. Let |α| ≤ δ, 0 < δ ≤ 1 be fixed and λ be a real number, λ > 0. If f ∈ A satisfies the differential subordination 0 α δ zf (z) zf 0 (z) zf 00 (z) (1 − λ) +λ 1+ 0 f (z) f (z) f (z) α δ 1 + az 1 + (λ + a)z λaz ≺ + , 1−z 1−z 1 + az where −1 < a ≤ 1, then f ∈ St( 1−a ). 2 Deductions. Taking λ = 1, α = 1 − δ and a = 0 in Theorem 4.14, we obtain the following result: (i). Let f ∈ A satisfy 0 1−δ δ zf (z) zf 00 (z) (1 + z)δ 1 1+ 0 ≺ , ≤ δ ≤ 1. f (z) f (z) 1−z 2 J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ S OME A PPLICATIONS OF A F IRST ORDER D IFFERENTIAL S UBORDINATION 11 Then f ∈ St(1/2). Remark 4.15. For δ = 1, Deduction (i) yields the well-known result: K ⊂ St(1/2). Writing α = 0 and δ = 1 in Theorem 4.14, we obtain the following form of the result of Mocanu [14]: (ii). Let λ be a real number, such that λ > 0. If f ∈ A satisfies the differential subordination zf 0 (z) zf 00 (z) 1 + (a + λ)z λaz (1 − λ) +λ 1+ 0 ≺ + , f (z) f (z) 1−z 1 + az where −1 < a ≤ 1 and z ∈ E, then zf 0 (z)/f (z) ≺ (1 + az)/(1 − z). Taking λ = δ = 1 and α = −1 in Theorem 4.14, we have the following result: (iii). If f ∈ A satisfies (1 + a)z 1 + zf 00 (z)/f 0 (z) ≺1+ , −1 < a ≤ 1, z ∈ E, 0 zf (z)/f (z) (1 + az)2 then zf 0 (z)/f (z) ≺ (1 + az)/(1 − z). Remark 4.16. For a = 1, Deduction (iii) gives Theorem 3 in [22] and Corollary 8 in [28]. Theorem 3 (in case γ = 0) in [31] is improved by writing a = 1 − 2α in above deduction. For λ = δ = 1 and α = 0, we obtain from Theorem 4.14: (iv). Let f ∈ A satisfy zf 00 (z) 1 + (a + 1)z az 1+ 0 ≺ + , −1 < a ≤ 1, z ∈ E. f (z) 1−z 1 + az Then zf 0 (z)/f (z) ≺ (1 + az)/(1 − z). Taking α = δ = λ = 1 in Theorem 4.14, we obtain the following result: (v). If f ∈ A satisfies 2 zf 0 (z) zf 00 (z) 1 + az (1 + a)z 1+ 0 ≺ + , f (z) f (z) 1−z (1 − z)2 for all z in E and −1 < a ≤ 1, then zf 0 (z)/f (z) ≺ (1 + az)/(1 − z). Remark 4.17. Theorem 3 of Padmanabhan [23] corresponds to a = 0 in deduction (v). Writing a = 1 and α = 1 − δ in Theorem 4.14, we obtain: Theorem 4.18. Let δ, 1/2 < δ ≤ 1, be fixed. For λ, λ > 0, let f ∈ A satisfy 0 1−δ δ zf (z) zf 0 (z) zf 00 (z) (1 − λ) +λ 1+ 0 6= it, f (z) f (z) f (z) √ 2+λ δ−1/2 . Then f ∈ St. where t is a real number with |t| ≥ δ δ λ 2δ−1 Proof. As the proof runs on the same lines as in [1], so we omit it. Deductions. For λ = 1 in Theorem 4.18, we obtain the following result which improves the Theorem 2 of Darus and Thomas [2]: (i). Let δ, 1/2 < δ ≤ 1, be fixed. Let f ∈ A satisfy 0 1−δ δ zf (z) zf 00 (z) 1+ 0 6= it, f (z) f (z) δ−1/2 3 where t is a real number with |t| ≥ δ δ 2δ−1 . Then f ∈ St. J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ 12 S UKHJIT S INGH AND S USHMA G UPTA Writing δ = 1 in Theorem 4.18, we get the the following result obtained by Nunokawa [19]: (ii). Let λ, λ > 0 be a real number. If f ∈ A satisfies the differential subordination zf 00 (z) zf 0 (z) (1 − λ) +λ 1+ 0 6= it, f (z) f (z) p where t is a real number and |t| ≥ λ(λ + 2). Then f is starlike in E. Taking λ = δ = 1 in Theorem 4.18, we obtain the following result of Mocanu [13]: (iii). If f ∈ A satisfies zf 00 (z) 6= it, z ∈ E, 1+ 0 f (z) √ where t is a real number and |t| ≥ 3, then f ∈ St. 4.3. Conditions for Univalence. Consider g 0 (z) = 1+az , −1 < a ≤ 1. It can be easily 1−z checked that all the conditions of Theorem 4.8 are satisfied. Thus, we obtain the following result: Theorem 4.19. Let |α| ≤ δ, 0 < δ ≤ 1, be fixed real numbers. Let λ be a positive real number. If f ∈ A satisfies the differential subordination #δ α−δ " 2 1 + az (1 + a)z 1 + az (f 0 (z))α−δ [(f 0 (z))2 + λzf 00 (z)]δ ≺ +λ , 1−z 1−z (1 − z)2 for all z ∈ E and −1 < a ≤ 1, then f 0 (z) ≺ (1 + az)/(1 − z) in E. Deductions. For α = δ = 1, Theorem 4.19 gives the following result: (i). Let λ be a positive real number. If f ∈ A satisfies the differential subordination 2 1 + az (1 + a)z 0 2 00 (f (z)) + λzf (z) ≺ +λ , z ∈ E, 1−z (1 − z)2 for all z ∈ E and −1 < a ≤ 1, then f 0 (z) ≺ (1 + az)/(1 − z) in E. Taking α = −1 and δ = λ = 1 in Theorem 4.19, we obtain: (ii). If f ∈ A satisfies zf 00 (z) (1 + a)z ≺ , z ∈ E, (f 0 (z))2 (1 + az)2 then f 0 (z) ≺ (1 + az)/(1 − z). In particular, a = 0 gives the following interesting result: (iii). If f ∈ A satisfies zf 00 (z) ≺ z, z ∈ E, (f 0 (z))2 then Re f 0 (z) > 1/2 for all z in E. Writing α = 0 and δ = 1 in Theorem 4.19, we get the following result: (iv). Let λ be a positive real number. If f ∈ A satisfies zf 00 (z) 1 + az λ(1 + a)z f (z) + λ 0 ≺ + , f (z) 1−z (1 + az)(1 − z) 0 z ∈ E, where −1 < a ≤ 1, then f 0 (z) ≺ (1 + az)/(1 − z). For a = 1, this result can be expressed as (also see [1]): J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ S OME A PPLICATIONS OF A F IRST ORDER D IFFERENTIAL S UBORDINATION 13 (v). Let λ be a positive real number.If f ∈ A satisfies f 0 (z) + λ zf 00 (z) 6= it, f 0 (z) p where t is a real number and |t| ≥ λ(λ + 2), then Re f 0 (z) > 0 in E. Writing g 0 (z) = 1 + az, 0 < a ≤ 1, in Theorem 4.8, then, for |α| ≤ δ, 0 < δ ≤ 1 and λ > 0, we obtain: (i) Re hλ1 g 0 (z) > 0 in E; and i 00 (z) 000 (z) 1 (ii) Re αδ − 1 zgg0 (z) + 1 + zgg00 (z) = Re (1 − αδ ) 1+az + αδ > 0, z ∈ E. Thus, all the conditions of Theorem 4.8 are satisfied. Therefore, we obtain: Theorem 4.20. Let |α| ≤ δ, 0 < δ ≤ 1, be fixed real numbers. Let λ be a positive real number. If f ∈ A satisfies the differential subordination (4.3) (f 0 (z))α−δ [(f 0 (z))2 + λzf 00 (z)]δ ≺ (1 + az)α−δ [(1 + az)2 + λaz]δ , where 0 < a ≤ 1, then |f 0 (z) − 1| < a. Remark 4.21. Let f ∈ A satisfy (4.3). Then by Lemma 2.3, f ∈ S̃(µ), where µ is given by 2 sin(πµ/2) 0<a≤ p 5 + 4 cos(πµ/2) . Remark 4.22. For 0 < a ≤ 1/2, let f ∈ A satisfy (4.3). Then by Lemma 2.4, zf 0 (z) 3a ≺1+ z, z ∈ E. f (z) 2−a Deductions. For α = δ = 1, Theorem 4.20 gives the following result: (i). For λ, λ > 0, if f ∈ A satisfies (f 0 (z))2 + λzf 00 (z) ≺ (1 + az)2 + λaz, 0 < a ≤ 1, z ∈ E, then |f 0 (z) − 1| < a in E. Writing α = −1 and δ = λ = 1 in Theorem 4.20, we obtain: (ii). If f ∈ A satisfies zf 00 (z) az ≺ , 0 < a ≤ 1, 0 2 (f (z)) (1 + az)2 z ∈ E, then |f 0 (z) − 1| < a in E. Taking α = 0 and δ = 1 in Theorem 4.20, we obtain: (iii). Let f ∈ A satisfy f 0 (z) + λ zf 00 (z) λaz ≺ (1 + az) + , 0 f (z) 1 + az z ∈ E, where 0 < a ≤ 1 and λ is a positive real number. Then |f 0 (z) − 1| < a in E. We note that results similar to the ones proved in Remarks 4.21 and 4.22 can also be derived in the case of deductions (i), (ii) and (iii). J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ 14 S UKHJIT S INGH AND S USHMA G UPTA R EFERENCES [1] N.E. CHO AND J.A. KIM, On a sufficient condition and an angular estimation for φ-like functions, Taiwanese J. Math., 2(4) (1998), 397–403. [2] M. DARUS AND D.K. THOMAS, α−logarithmically convex functions, Indian J. Pure Appl. Math., 29(10) (1998), 1049–1059. [3] P. EENIGENBURG, S.S. MILLER, P.T. MOCANU AND M.O. READE, On a Briot-Bouquet differential subordination, General Inequalities 3, Birkhäuser, Basel, (1983), 339–348. [4] Z. LEWANDOWSKI, S. MILLER AND E. ZLOTKIEWICZ, Gamma-starlike functions, Ann.Univ. Mariae Curie-Sklodowska, 28 (1974), 32–36. [5] S.S. MILLER, Differential inequalities and Carathéodory functions, Bull. Amer. Math. Soc., 81 (1975), 79–81. [6] S.S. MILLER AND P.T. MOCANU, Differential subordinations and univalent functions, Michigan Math. J., 28 (1981), 157–171. [7] S.S. MILLER AND P.T. MOCANU, Univalent solutions of Briot-Bouquet differential equations, J. Diff. Eqns., 56(3) (1985), 297–309. [8] S.S. MILLER AND P.T. MOCANU, On some classes of first order differential subordinations, Michigan Math. J., 32 (1985), 185–195. [9] S.S. MILLER AND P.T. MOCANU, Marx-Strohhäcker differential subordination systems, Proc. Amer. Math. Soc., 99 (1987), 527–534. [10] S.S. MILLER AND P.T. MOCANU, Briot-Bouquet differential equations and differential subordinations, Complex Variables, 33 (1997), 217–237. [11] S.S. MILLER, P.T. MOCANU AND M.O. READE, All α-convex functions are univalent and starlike, Proc. Amer. Math. Soc., 37(2) (1973), 553–554. [12] P.T. MOCANU, Une propriété de convexité généralisée dans la théorie la représentation conforme, Mathematica (Cluj), 11(34) (1969), 127–133. [13] P.T. MOCANU, Some integral operators and starlike functions, Rev. Roumaine Math. Pures Appl., 31(3) (1986), 231–235. [14] P.T. MOCANU, Alpha-convex integral operators and starlike functions of order beta, Babes-Bolyai Univ. Math. and Phys. Res. Sem, Itinerant Seminar on Functional Equations, Approximations and Convexity, Preprint, 6 (1989), 231–238. [15] P.T. MOCANU, Alpha-convex integral operators and strongly starlike functions, Studia Univ. Babes-Bolyai Math., 34(2) (1989), 18–24. [16] P.T. MOCANU, On a class of first order differential subordinations, Babes-Bolyai Univ. Fac. of Math. Res. Sem., Seminar on Mathematical Analysis, Preprint, 7 (1991), 37–46. [17] P.T. MOCANU, On certain subclasses of starlike functions, Studia Univ. Babes-Bolyai Math., 34(4) (1994), 3–9. [18] Z. NEHARI, Conformal Mapping, McGraw-Hill, New York, 1952. [19] M. NUNOKAWA, On α-starlike functions, Bull. Inst. Math. Acad. Sinica, 22 (1994), 319–322. [20] M. NUNOKAWA AND D.K.THOMAS, On convex and starlike functions in a sector, J. Austral. Math. Soc. (series A), 60 (1996), 363–368. [21] M. NUNOKAWA, S. OWA, N. TAKAHASHI AND H. SAITOH, Sufficient conditions for Caratheodory functions, Indian J. Pure Appl. Math., 33(9) (2002), 1385–1390. J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/ S OME A PPLICATIONS OF A F IRST ORDER D IFFERENTIAL S UBORDINATION 15 [22] M. OBRADOVIC AND N. TUNESKI, On the starlike criteria defined by Silverman, Zeszyty Nauk. Politech. Rzeszowskiej. Mat., 24(181) (2000), 59–64. [23] K.S. PADMANABHAN, On sufficient conditions for starlikeness, Indian J.Pure appl. Math., 32(4) (2001) 543–550. [24] Ch. POMMERENKE, Univalent Functions, Vanderhoeck and Ruprecht, Gottingen, (1975). [25] S. PONNUSAMY, Pólya-Schoenberg conjecture for Carathéodory functions, J. London Math. Soc., 51(2) (1995), 93–104. [26] S. PONNUSAMY AND V. SINGH, Criteria for strongly starlike functions, Complex Variables : Theory and Appl., 34 (1997), 267–291. [27] V. RAVICHANDRAN, Certain applications of first order differential subordinations, Far East J. Math. Sci., 12(1) (2004), 41–51. [28] V. RAVICHANDRAN AND M. DARUS, On a criteria for starlikeness, International Math. J., 4(2) (2003), 119–125. [29] St. RUSCHEWEYH AND V. SINGH, On a Briot-Bouquet equation related to univalent functions, Rev. Roumaine Math. Pures Appl., 24 (1979), 285–290. [30] H. SILVERMAN, Convex and starlike criteria, Internat. J. Math. Sci. & Math. Sci., 22(1) (1999), 75–79. [31] N. TUNESKI, On the qoutient of the representations of convexity and starlikeness, Math. Nachr., 248-249(1) (2003), 200–203. [32] N. TUNESKI, On a criteria for starlikeness of analytic functions, Integral Transforms and Special Functions, 14(3) (2003), 263–270. J. Inequal. Pure and Appl. Math., 5(3) Art. 78, 2004 http://jipam.vu.edu.au/