Journal of Inequalities in Pure and Applied Mathematics ON CERTAIN SUBCLASS OF p-VALENTLY BAZILEVIC FUNCTIONS volume 6, issue 1, article 16, 2005. J. PATEL Department of Mathematics Utkal University, Vani Vihar Bhubaneswar-751004, India Received 13 December, 2004; accepted 03 February, 2005. Communicated by: H.M. Srivastava EMail: jpatelmath@sify.com Abstract Contents JJ J II I Home Page Go Back Close c 2000 Victoria University ISSN (electronic): 1443-5756 236-04 Quit Abstract We introduce a subclass Mp (λ, µ, A, B) of p-valent analytic functions and derive certain properties of functions belonging to this class by using the techniques of Briot-Bouquet differential subordination. Further, the integral preserving properties of Bazilevic functions in a sector are also considered. On Certain Subclass of p-Valently Bazilevic Functions 2000 Mathematics Subject Classification: 30C45. Key words: p-valent; Bazilevic function; Differential subordination. J. Patel The work has been supported by the financial assistance received under DRS programme from UGC, New Delhi. Title Page Contents 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Main Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . References Contents 3 6 9 JJ J II I Go Back Close Quit Page 2 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au 1. Introduction Let Ap be the class of functions of the form (1.1) p f (z) = z + ∞ X an z n (p ∈ N = {1, 2, 3, . . . }) n=p+1 which are analytic in the open unit disk E = {z ∈ C : |z| < 1}. We denote A1 = A. A function f ∈ Ap is said to be in the class Sp∗ (α) of p-valently starlike of order α, if it satisfies 0 zf (z) > α (0 ≤ α < p; z ∈ E). (1.2) < f (z) We write Sp∗ (0) = Sp∗ , the class of p-valently starlike functions in E. A function f ∈ Ap is said to be in the class Kp (α) of p-valently convex of order α, if it satisfies 00 zf (z) (1.3) < 1+ 0 > α (0 ≤ α < p; z ∈ E). f (z) The class of p-valently convex functions in E is denoted by Kp . It follows from (1.2) and (1.3) that f ∈ Kp (α) ⇐⇒ f ∈ Sp∗ (α) (0 ≤ α < p). On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 3 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au Furthermore, a function f ∈ Ap is said to be p-valently Bazilevic of type µ and order α, if there exists a function g ∈ Sp∗ such that < (1.4) 0 zf (z) f (z)1−µ g(z)µ >α (z ∈ E) for some µ(µ ≥ 0) and α(0 ≤ α < p). We denote by Bp (µ, α), the subclass of Ap consisting of all such functions. In particular, a function in Bp (1, α) = Bp (α) is said to be p-valently close-to-convex of order α in E. For given arbitrary real numbers A and B (−1 ≤ B < A ≤ 1), let 0 1 + Az zf (z) ∗ (1.5) Sp (A, B) = f ∈ Ap : ≺p , z∈E , f (z) 1 + Bz where the symbol ≺ stands for subordination. In particular, we note that 2α ∗ Sp 1 − p , −1 = Sp∗ (α) is the class of p-valently starlike functions of order α(0 ≤ α < p). From (1.5), we observe that f ∈ Sp∗ (A, B), if and only if (1.6) 0 zf (z) p(1 − AB) p(A − B) f (z) − 1 − B 2 < 1 − B 2 J. Patel Title Page Contents JJ J II I Go Back (−1 < B < A ≤ 1; z ∈ E) Close Quit and (1.7) On Certain Subclass of p-Valently Bazilevic Functions < 0 zf (z) f (z) p(1 − A) > 2 Page 4 of 28 (B = −1; z ∈ E). J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au Let Mp (λ, µ, A, B) denote the class of functions in Ap satisfying the condition 0 zf (z) (1.8) f (z)1−µ g(z)µ 00 0 0 zf (z) zf (z) zg (z) 1 + Az +λ 1+ 0 − (1 − µ) −µ ≺p f (z) f (z) g(z) 1 + Bz (−1 ≤ B < A ≤ 1; z ∈ E) for some real µ(µ ≥ 0), λ(λ > 0), and g ∈ Sp∗ . For convenience, we write 2α Mp λ, µ, 1 − , −1 p = Mp (λ, µ, α) 0 zf (z) = f ∈ Ap : < f (z)1−µ g(z)µ 0 0 00 zf (z) zf (z) zg (z) +λ 1 + 0 − (1 − µ) −µ >α f (z) f (z) g(z) for some α (0 ≤ α < p) and z ∈ E. In the present paper, we derive various useful properties and characteristics of the class Mp (λ, µ, A, B) by employing techniques involving Briot-Bouquet differential subordination. The integral preserving properties of Bazilevic functions in a sector are also considered. Relevant connections of the results presented here with those obtained in earlier works are pointed out. On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 5 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au 2. Preliminaries To establish our main results, we shall require the following lemmas. Lemma 2.1 ([6]). Let h be a convex function in E and let ω be analytic in E with <{ω(z)} ≥ 0. If q is analytic in E and q(0) = h(0), then 0 q(z) + ω(z) zq (z) ≺ h(z) (z ∈ E) implies q(z) ≺ h(z) On Certain Subclass of p-Valently Bazilevic Functions (z ∈ E). Lemma 2.2. If −1 ≤ B < A ≤ 1, β > 0 and the complex number γ satisfies <(γ) ≥ −β(1 − A)/(1 − B), then the differential equation 0 zq (z) 1 + Az q(z) + = β q(z) + γ 1 + Bz Title Page (z ∈ E) has a univalent solution in E given by z β+γ (1 + Bz)β(A−B)/B γ R − z β tβ+γ−1 (1 + Bt)β(A−B)/B dt β , 0 (2.1) q(z) = z β+γ exp(β Az) γ R β z tβ+γ−1 exp(β At)dt − β , 0 If φ(z) = 1 + c1 z + c2 z 2 + · · · is analytic in E and satisfies J. Patel Contents B 6= 0 JJ J II I Go Back B = 0. Close Quit Page 6 of 28 0 (2.2) z φ (z) 1 + Az φ(z) + ≺ βφ(z) + γ 1 + Bz (z ∈ E), J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au then φ(z) ≺ q(z) ≺ 1 + Az 1 + Bz (z ∈ E) and q(z) is the best dominant of (2.2). The above lemma is due to Miller and Mocanu [7]. Lemma 2.3 ([12]). Let ν be a positive measure on [0, 1]. Let h be a complexvalued function defined on E × [0, 1] such that h(·, t) is analytic in E for each t ∈ [0, 1], and h(z, ·) is ν-integrable on [0, 1] for all z ∈ E. In addition, suppose that <{h(z, t)} > 0, h(−r, t) isR real and <{1/h(z, t)} ≥ 1/h(−r, t) for |z| ≤ 1 r < 1 and t ∈ [0, 1]. If h(z) = 0 h(z, t) dν(t), then <{1/h(z)} ≥ 1/h(−r). For real or complex numbers a, b, c (c 6= 0, −1, −2, . . . ), the hypergeometric function is defined by (2.3) 2 F1 (a, b; c; z) = 1 + a·b z a(a + 1) · b(b + 1) z 2 · + · + ··· . c 1! c(c + 1) 2! We note that the series in (2.3) converges absolutely for z ∈ E and hence represents an analytic function in E. Each of the identities (asserted by Lemma 2.3 below) is well-known [13]. Lemma 2.4. For real numbers a, b, c (c 6= 0, −1, −2, . . . ), we have Z 1 (2.4) tb−1 (1 − t)c−b−1 (1 − tz)−a dt On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 7 of 28 0 = Γ(b)Γ(c − b) 2 F1 (a, b; c; z) Γ(c) (c > b > 0) J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au (2.5) (2.6) 2 F1 (a, b; c; z) 2 F1 (a, b; c; z) = 2 F1 (b, a; c; z) −a = (1 − z) 2 F1 z a, c − b; c; z−1 . Lemma 2.5 ([10]). Let p(z) = 1 + c1 z + c2 z 2 + · · · be analytic in E and p(z) 6= 0 in E. If there exists a point z0 ∈ E such that (2.7) | arg p(z)| < π η (|z| < |z0 |) and 2 | arg p(z0 )| = π η (0 < η ≤ 1), 2 then we have On Certain Subclass of p-Valently Bazilevic Functions J. Patel 0 z0 p (z0 ) = ikη, p(z0 ) (2.8) where (2.9) Title Page Contents k ≥ 1 2 x+ 1 x k ≤ − 12 x + , 1 x when arg p(z0 ) = π2 η, , when arg p(z0 ) = − π2 η, JJ J II I Go Back and (2.10) Close 1/η p(z0 ) = ±ix (x > 0). Quit Page 8 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au 3. Main Results Theorem 3.1. Let −1 ≤ B < A ≤ 1, λ > 0 and µ ≥ 0. If f ∈ Mp (λ, µ, A, B), then 0 (3.1) zf (z) λ ≺ = q(z) 1−µ µ p f (z) g(z) p Q(z) (z ∈ E), where (3.2) Q(z) = R p 01 s λ −1 1+Bsz 1+Bz p(A−B) λB ds, On Certain Subclass of p-Valently Bazilevic Functions B 6= 0, J. Patel R 1 s λp −1 exp 0 p (s λ − 1)Az ds, B = 0, Title Page 1 λB q(z) = when A = − , B 6= 0, 1 + Bz p Contents and q(z) is the best dominant of (3.1). Furthermore, if A ≤ −λ B/p with −1 ≤ B < 0, then (3.3) Mp (λ, µ, A, B) ⊂ Bp (µ, ρ), JJ J II I Go Back Close where ρ = ρ(p, λ, A, B) = p The result is best possible. 2 F1 p(B − A) p B 1, ; + 1; λB λ B−1 Quit −1 . Page 9 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au Proof. Defining the function φ(z) by 0 (3.4) zf (z) φ(z) = p f (z)1−µ g(z)µ (z ∈ E), we note that φ(z) = 1+c1 z +c2 z 2 +· · · is analytic in E. Taking the logarithmic differentiations in both sides of (3.4), we have 0 00 0 0 zf (z) zf (z) zf (z) zg (z) (3.5) +λ 1+ 0 − (1 − µ) −µ f (z)1−µ g(z)µ f (z) f (z) g(z) 0 zφ (z) p(1 + Az) = p φ(z) + λ ≺ (z ∈ E). φ(z) 1 + Bz Thus, φ(z) satisfies the differential subordination (2.2) and hence by using Lemma 2.2, we get φ(z) ≺ q(z) ≺ 1 + Az 1 + Bz (z ∈ E), where q(z) is given by (2.1) for β = p/λ and γ = 0, and is the best dominant of (3.5). This proves the assertion (3.1). Next, we show that (3.6) inf <(q(z)) = q(−1). |z|<1 If we set a = p(B − A)/λB, b = p/λ, c = (p/λ) + 1, then c > b > 0. From On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 10 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au (3.2), by using (2.4), (2.5) and (2.6), we see that for B 6= 0 Z 1 a (3.7) Q(z) = (1 + Bz) sb−1 (1 + Bsz)−a ds 0 Γ(b) Bz = . 2 F1 1, a; c; Γ(c) Bz + 1 To prove (3.6), we need to show that <{1/Q(z)} ≥ 1/Q(−1), z ∈ E. Since A < −λ B/p implies c > a > 0, by using (2.4), (3.7) yields Z 1 Q(z) = h(z, s) dν(s), On Certain Subclass of p-Valently Bazilevic Functions J. Patel 0 where 1 + Bz (0 ≤ s ≤ 1) and 1 + (1 − s)Bz Γ(b) sa−1 (1 − s)c−a−1 ds dν(s) = Γ(a)Γ(c − a) h(z, s) = which is a positive measure on [0, 1]. For −1 ≤ B < 0, it may be noted that <{h(z, s)} > 0, h(−r, s) is real for 0 ≤ r < 1, 0 ∈ [0, 1] and 1 1 + (1 − s)Bz 1 − (1 − s)Br 1 < =< ≥ = h(z, s) 1 + Bz 1 − Br h(−r, s) for |z| ≤ r < 1 and s ∈ [0, 1]. Therefore, by using Lemma 2.3, we have 1 1 < ≥ , |z| ≤ r < 1 Q(z) Q(−r) Title Page Contents JJ J II I Go Back Close Quit Page 11 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au and by letting r → 1− , we obtain < 1/Q(z) ≥ 1/Q(−1). Further, by taking A → (−λ B/p)+ for the case A = (−λ B/p), and using (3.1), we get (3.3). The result is best possible as the function q(z) is the best dominant of (3.1). This completes the proof of Theorem 3.1. Setting µ = 1, A = 1 − (2α/p) (p − λ)/2 ≤ α < p and B = −1 in Theorem 3.1, we have Corollary 3.2. If f ∈ Ap satisfies 0 00 0 zf (z) zf (z) zg (z) < +λ 1+ 0 − >α g(z) f (z) g(z) (λ > 0, z ∈ E) J. Patel for some g ∈ Sp∗ , then f ∈ Bp (κ(p, λ, α)), where −1 1 2(p − α) p . ; + 1; (3.8) κ(p, λ, α) = p 2 F1 1, λ λ 2 The result is best possible. Taking µ = 0, A = 1 − (2α/p) (p − λ)/2 ≤ α < p and B = −1 in Theorem 3.1, we get Corollary 3.3. If f ∈ Ap satisfies 00 0 zf (z) zf (z) < (1 − λ) +λ 1+ 0 >α f (z) f (z) On Certain Subclass of p-Valently Bazilevic Functions Title Page Contents JJ J II I Go Back Close Quit (λ > 0, z ∈ E) then f ∈ Sp∗ (κ(p, λ, α)), where κ(p, λ, α) is given by (3.8). The result is best possible. Page 12 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au Putting λ = 1 in Corollary 3.3, we get Corollary 3.4. For (p − 1)/2 ≤ α < p, we have Kp (α) ⊂ Sp∗ (κ(p, α)), where κ(p, α) = p {2 F1 (1, 2(p − α); p + 1; 1/2)}−1 . The result is best possible. Remark 1. 1. Noting that 2 F1 1 1, 2(1 − α); 2; 2 −1 = 22(1−α)1−2α , (1−22α−1 ) 1 , 2 ln 2 α 6= 1 2 J. Patel α = 12 , Corollary 3.4 yields the corresponding result due to MacGregor [5] (see also [12]) for p = 1. 2. It is proved [9] that if p ≥ 2 and f ∈ Kp , then f is p-valently starlike in E but is not necessarily p-valently starlike of order larger than zero in E. However, our Corollary 3.4 shows that if f is p-valently convex of order at least (p − 1)/2, then f is p-valently starlike of order larger than zero in E. Theorem 3.5. If f ∈ Bp (µ, α) for some µ (µ > 0), α (0 ≤ α < p), then f ∈ Mp (λ, µ, α) for |z| < R(p, λ, α), where λ > 0 and √ 2 (p+λ−α)− (p+λ−α) −p(p−2α) , α 6= p ; p−2α 2 (3.9) R(p, λ, α) = p , α = p2 . p+2λ The bound R(p, λ, α) is best possible. On Certain Subclass of p-Valently Bazilevic Functions Title Page Contents JJ J II I Go Back Close Quit Page 13 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au Proof. From (1.4), we get 0 zf (z) = α + (p − α)u(z) f (z)1−µ g(z)µ (3.10) (z ∈ E), where u(z) = 1 + u1 z + u2 z 2 + · · · is analytic and has a positive real part in E. Differentiating (3.10) logarithmically, we deduce that 0 00 zf (z) zf (z) < +λ 1+ 0 f (z)1−µ g(z)µ f (z) 0 0 zg (z) zf (z) −(1 − µ) −µ −α f (z) g(z) 0 λ z u (z) = (p − α)< u(z) + α + (p − α)u(z) 0 λ |z u (z)| (3.11) ≥ (p − α)< u(z) − . |α + (p − α)u(z)| Using the well-known estimates [5] 0 |z u (z)| ≤ 2r <{u(z)} 1 − r2 and <{u(z)} ≥ 1−r 1+r (|z| = r < 1) in (3.11), we get 0 00 0 0 zf (z) zf (z) zf (z) zg (z) < +λ 1+ 0 − (1 − µ) −µ −α f (z)1−µ g(z)µ f (z) f (z) g(z) 2λ r , ≥ (p − α) <{u(z)} 1 − α(1 − r2 ) + (p − α)(1 − r)2 On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 14 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au which is certainly positive if r < R(p, λ, α), where R(p, λ, α) is given by (3.9). To show that the bound R(p, λ, α) is best possible, we consider the function f ∈ Ap defined by 0 zf (z) 1−z = α + (p − α) 1−µ µ f (z) g(z) 1+z (0 ≤ α < p, z ∈ E) for some g ∈ Sp∗ . Noting that 0 00 0 0 zf (z) zf (z) zf (z) zg (z) < +λ 1+ 0 − (1 − µ) −µ −α f (z)1−µ g(z)µ f (z) f (z) g(z) 1−z 2λ z = (p − α) + 1 + z α(1 − z 2 ) + (p − α)(1 + z)2 =0 for z = −R(p, λ, α), we conclude that the bound is best possible. This proves Theorem 3.5. For µ = 0 and λ = 1, Theorem 3.5 yields: Corollary 3.6. If f ∈ where ≤ α < p), then f ∈ Kp (α) in |z| < ξ(p, α), √ 2 (p+1−α)− α +2(p−α)+1 , α = 6 p2 ; p−2α p , p+2 The bound ξ(p, α) is best possible. J. Patel Title Page Contents JJ J II I Go Back Sp∗ (α) (0 ξ(p, α) = On Certain Subclass of p-Valently Bazilevic Functions Close Quit Page 15 of 28 α = p2 . J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au Theorem 3.7. If f ∈ Ap satisfies 0 f (z) zf (z) <p < > 0 and − p zp f (z)1−µ g(z)µ (0 ≤ µ, z ∈ E) e µ), where for g ∈ Sp∗ , then f is p-valently convex(univalent) in |z| < R(p, p 3 + 2µ(p − 1) − (3 + 2µ(p − 1))2 − 4p(2µp − p − 1) e µ) = R(p, . 2(2µp − p − 1) On Certain Subclass of p-Valently Bazilevic Functions e µ) is best possible. The bound R(p, Proof. Letting J. Patel 0 zf (z) h(z) = −1 p f (z)1−µ g(z)µ Title Page (z ∈ E), Contents we note that h(z) is analytic in E, h(0) = 0 and |h(z)| < 1 for z ∈ E. Thus, by applying Schwarz’s Lemma we get h(z) = z ψ(z), JJ J II I Go Back where ψ(z) is analytic in E and |ψ(z)| ≤ 1 for z ∈ E. Therefore, 0 1−µ zf (z) = pf (z) (3.12) Close µ g(z) (1 + zψ(z)). Quit Page 16 of 28 Making use of logarithmic differentiation in (3.12), we obtain 00 (3.13) 0 0 0 zf (z) zf (z) zg (z) z(ψ(z) + zψ (z)) 1+ 0 = (1 − µ) +µ + . f (z) f (z) g(z) 1 + zψ(z) J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au Setting φ(z) = f (z)/z p = 1 + c1 z + c2 z 2 + · · · , <{φ(z)} > 0 for z ∈ E, we get 0 0 zφ (z) zf (z) =p+ f (z) φ(z) so that by (3.13), 00 0 0 0 zf (z) zφ (z) zg (z) z(ψ(z) + zψ (z)) (3.14) 1+ 0 = (1−µ)p+(1−µ) +µ + . f (z) φ(z) g(z) 1 + zψ(z) Now, by using the well-known estimates [1] 0 0 zφ (z) zg (z) 2r p(1 − r) < ≥− ,< ≥− and 2 φ(z) 1−r g(z) 1+r 0 ψ(z) + zψ (z) 1 < ≥− 1 + zψ(z) 1−r for |z| = r < 1 in (3.14), we deduce that 00 (2µp − p − 1)r2 − {3 + 2µ(p − 1)}r + p zf (z) ≥ < 1+ 0 f (z) 1 − r2 e µ) is sharp for the functions f, g ∈ Ap It is easily seen that the bound R(p, defined in E by Title Page Contents JJ J II I Close Quit Page 17 of 28 0 Choosing µ = 0 in Theorem 3.7, we have J. Patel Go Back e µ). which is certainly positive if r < R(p, zf (z) 1 zp = , g(z) = p f (z)1−µ g(z)µ 1+z (1 + z)2 On Certain Subclass of p-Valently Bazilevic Functions (0 ≤ µ, z ∈ E). J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au Corollary 3.8. If f ∈ Ap satisfies f (z) < > 0 and zp 0 zf (z) < p (z ∈ E) − p f (z) o. np 9 + 4p(p + 1) − 3 2(p + 1). The then f is p-valently convex in |z| < result is best possible. For a function f ∈ Ap , we define the integral operator Fµ,δ as follows: (3.15) Fµ,δ (f ) = Fµ,δ (f )(z) = δ + pµ zδ Z z δ−1 t On Certain Subclass of p-Valently Bazilevic Functions µ1 (z ∈ E), f (t) dt J. Patel µ 0 where µ and δ are real numbers with µ > 0, δ > −pµ. The following lemma will be required for the proof of Theorem 3.12 below. Lemma 3.9. Let g ∈ Sp∗ (A, B), µ and δ are real numbers with µ > 0, δ > n o max −pµ, − pµ(1−A) . Then Fµ,δ (g) ∈ Sp∗ (A, B). (1−B) The proof of the above lemma follows by using Lemma 2.2 followed by a simple calculation. n o Theorem 3.10. Let µ and δ be real numbers with µ > 0, δ > max −pµ, − pµ(1−A) (1−B) (−1 ≤ B < A ≤ 1) and let f ∈ f ∈ Ap . If 0 π zf (z) arg < β − α (0 ≤ α < p; 0 < β ≤ 1) 2 f (z)1−µ g(z)µ Title Page Contents JJ J II I Go Back Close Quit Page 18 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au for some g ∈ Sp∗ (A, B), then 0 π z(Fµ,δ ) (f ) < η, arg − α 2 Fµ,δ (f )1−µ Fµ,δ (g)µ where Fµ,δ (f ) is the operator given by (3.15) and η (0 < η ≤ 1) is the solution of the equation (1+B)η sin π2 (1−t(A,B,δ,µ,p)) 2 −1 , η + π tan (1+B)δ+µp(1+A)+(1+B)η cos π2 (1−t(A,B,δ,µ,p)) (3.16) β = B 6= −1; η, B = −1, On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents and (3.17) t(A, B, δ, µ, p) = 2 sin−1 π µp(A − B) δ(1 − B 2 ) + µp(1 − AB) . Proof. Let us put II I Go Back 1 q(z) = p−α 0 z(Fµ,δ ) (f ) −β Fµ,δ (f )1−µ Fµ,δ (g)µ = Close Φ(z) , Ψ(z) Quit Page 19 of 28 where 1 Φ(z) = p−α JJ J Z δ µ z f (z) − δ 0 z δ−1 t µ Z f (t) dt − µ α z δ−1 t 0 g(t) dt µ J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au and Z Ψ(z) = µ z tδ−1 g(t)µ dt. 0 Then q(z) is analytic in E and q(0) = 1. By a simple calculation, we get 0 0 Φ (z) S(z) zq (z) = q(z) 1 + 0 Ψ0 (z) zS (z) q(z) 0 zf (z) 1 = −α . p − β f (z)1−µ g(z)µ On Certain Subclass of p-Valently Bazilevic Functions Since Fµ,δ (g) ∈ Sp∗ (A, B), by (1.6) and (1.7), we have 0 0 z(Fµ,δ ) (g) zS (z) =δ+µ = ρeiπθ/2 , S(z) Fµ,δ (g) (3.18) where δ + J. Patel µp(1−A) 1−B <ρ<δ+ µp(1+A) 1+B −t(A, B, δ, µ, p) < θ < t(A, B, δ, µ, p) for B 6= −1 Title Page Contents JJ J II I Go Back Close when t(A, B, δ, µ, p) is given by (3.17), and µp(1−A) <ρ<∞ δ + 2 −1 < θ < 1 for B = −1. Quit Page 20 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au 0 Further, taking ω(z) = S(z)/zS (z) in Lemma 2.1, we note that q(z) 6= 0 in E. If there exists a point z0 ∈ E such that the condition (2.7) is satisfied, then (by Lemma 2.5) we obtain (2.8) under the restrictions (2.9) and (2.10). 1 At first, suppose that q(z0 ) η = ix (x > 0). For the case B 6= −1, by (3.18), we obtain 0 z0 f (z0 ) −α arg f (z0 )1−µ g(z0 )µ 0 1 z0 q (z0 ) = arg q(z0 ) + arg 1 + · 0 z (Fµ,δ (g)) (z0 ) q(z0 ) δ + µ 0 Fµ,δ (g)(z0 ) −1 π = η + arg 1 + ρeiπθ/2 iηk 2 ηk sin(π(1 − θ)/2) π −1 = η + tan 2 ρ + cos(π(1 − θ)/2) ! η sin π(1 − t(A, B, δ, µ, p))/2 π ≥ η + tan−1 2 δ + µp(1+A) + η cos π(1 − t(A, B, δ, µ, p))/2 1+B π = β, 2 where β and t(A, B, δ, µ, p) are given by (3.16) and (3.17), respectively. Similarly, for the case B = −1, we have 0 zf (z) π arg − α ≥ η. 1−µ µ f (z) g(z) 2 On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 21 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 This is a contradiction to the assumption of our theorem. http://jipam.vu.edu.au 1 Next, suppose that q(z0 ) η = −ix (x > 0). For the case B 6= −1, applying the same method as above,we have 0 z0 f (z0 ) arg −α f (z0 )1−µ g(z0 )µ η sin π(1 − t(A, B, δ, µ, p))/2 π ≤ − η − tan−1 µp(1 + A) 2 δ+ + η cos π(1 − t(A, B, δ, µ, p))/2 1+B π = − β, 2 where β and t(A, B, δ, µ, p) are given by (3.16) and (3.17), respectively and for the case B = −1, we have 0 π zf (z) arg − α ≤ − η, 1−µ µ f (z) g(z) 2 which contradicts the assumption. Thus, we complete the proof of the theorem. On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Letting µ = 1, B → A and g(z) = z p in Theorem 3.10, we have Corollary 3.11. Let δ > −p and f ∈ Ap . If 0 π f (z) arg < β − α (0 ≤ α < p; 0 < β ≤ 1), 2 z p−1 Close Quit Page 22 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au then arg 0 F1,δ (f ) −α z p−1 ! π < η, 2 where F1,δ (f ) is the integral operator given by (3.15) for µ = 1 and η (0 < η ≤ 1) is the solution of the equation η 2 −1 β = η + tan . π δ+p Theorem 3.12. Let λ > 0. If f ∈ A satisfies the condition On Certain Subclass of p-Valently Bazilevic Functions J. Patel (3.19) γ 0 zf (z) f 1−µ (z)g µ (z) Title Page 00 0 0 zf (z) zf (z) zg (z) +λ 1+ 0 − (1 − µ) −µ 6= it (z ∈ E) f (z) f (z) g(z) for some µ(µ ≥ 0), γ(γ > 0) and g ∈ p |t| ≥ λ(λ + 2pγ), then < Proof. Let 0 zf (z) f 1−µ (z)g µ (z) Sp∗ , where t is a real number with Contents JJ J II I Go Back >0 (z ∈ E). Quit Page 23 of 28 0 zf (z) φ(z) = 1−µ p f (z)g µ (z) Close (z ∈ E), J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au where φ(0) = 1. From (3.19), we easily have φ(z) 6= 0 in E. In fact, if φ has a zero of order m at z = z1 ∈ E, then φ can be written as φ(z) = (z − z1 )m q(z) (m ∈ N), where q(z) is analytic in E and q(z1 ) 6= 0. Hence, we have 0 00 0 0 zf (z) zf (z) zf (z) zg (z) γ +λ 1+ 0 − (1 − µ) −µ f 1−µ (z)g µ (z) f (z) f (z) g(z) 0 zφ (z) = p γφ(z) + λ φ(z) 0 mz zq (z) (3.20) = p γ(z − z1 )m q(z) + λ +λ . z − z1 q(z) But the imaginary part of (3.20) can take any infinite values when z → z1 in a suitable direction. This contradicts (3.19). Thus, if there exists a point z0 ∈ E such that <{p(z)} > 0 for |z| < |z0 |, <{p(z0 )} > 0 and p(z0 ) = i` (` 6= 0), then we have p(z0 ) 6= 0. From Lemma 2.5 and (3.20), we get 0 z0 φ (z0 ) p γφ(z0 ) + λ = i(p γ` + λ k), φ(z0 ) p 1 λ + (λ + 2p γ)` ≥ λ(λ + 2p γ) when ` > 0, p γ` + λ k ≥ 2 ` On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 24 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au and 1 p γ` + λ k ≤ − 2 p λ + (λ + 2p γ)|`| ≤ − λ(λ + 2p γ) when ` < 0, |`| which contradicts (3.19). Therefore, we have <{φ(z)} > 0 in E. This completes the proof of the theorem. Taking g(z) = z p and µ = 1 in Theorem 3.12, we have Corollary 3.13. Let λ > 0. If f ∈ Ap satisfies the condition 00 0 zf (z) f (z) γ p−1 + λ 1 + 0 − p 6= it (z ∈ E) z f (z) p for some γ (γ > 0), where t is a real number with |t| ≥ λ(λ + 2pγ), then 0 f (z) >0 (z ∈ E). < z p−1 Corollary 3.14. Let λ > 0. If f ∈ Ap satisfies the condition 0 00 γ f (z) − p + λ 1 + zf0 (z) − p < λ + γp z p−1 f (z) for some γ (γ > 0), then On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back (z ∈ E) Close Quit Page 25 of 28 < 0 f (z) z p−1 >0 (z ∈ E). J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au Remark 2. From a result of Nunokawa [9] and Saitoh and Nunokawa [11], it follows that, if f ∈ Ap satisfies the hypothesis of Corollary 3.13 or √ Corollary 3.14, then f is p-valent in E and p-valently convex in the disc |z| < ( p + 1 − 1)/p. Letting γ = 1, µ = 0 in Theorem 3.12, we get the following result due to Dinggong [4] which in turn yields the work of Cho and Kim [3] for p = 1. Corollary 3.15. Let λ > 0. If f ∈ Ap satisfies the condition 0 00 zf (z) zf (z) 6= it (z ∈ E), +λ 1+ 0 f (z) f (z) p where t is a real number with |t| ≥ λ(λ + 2p), then f ∈ Sp∗ . On Certain Subclass of p-Valently Bazilevic Functions (1 − λ) J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 26 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au References [1] W.M.CAUSEY AND E.P. MERKES, Radii of starlikeness for certain classes of analytic functions, J. Math. Anal. Appl., 31 (1970), 579–586. [2] MING-PO CHEN AND S. OWA, Notes on certain p-valently Bazilevic functions, Panamerican Math. J., 3 (1993), 51–59. [3] N.E. CHO AND J.A. KIM, On a sufficient condition and an angular estimation for Φ-like functions, Taiwanese J. Math., 2 (1998), 397–403. [4] Y. DINGGONG, On a criterion for multivalently starlikeness, Taiwanese J. Math., 1 (1997), 143–148. [5] T.H. MACGREGOR, The radius of univalence of certain analytic functions, Proc. Amer. Math. Soc., 14 (1963), 514–520. [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 subordinations, J. Differential Eqns., 58 (1985), 297–309. [8] Z. NEHARI, Conformal Mapping, McGraw Hill, 1952, New York. [9] M. NUNOKAWA, On the theory of univalent functions, Tsukuba J. Math., 11 (1987), 273–286. [10] M. NUNOKAWA, On the order of strongly starlikeness of strongly convex functions, Proc. Japan Acad. Ser. A. Math. Sci., 68 (1993), 234–237. On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 27 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au [11] H. SAITOH AND M. NUNOKAWA, On certain subclasses of analytic functions involving a linear operator, Sūrikaisekikenkyūsho, Kyoto Univ., Kōkyūroku No. 963 (1996), 97–109. [12] D.R. WILKEN AND J. FENG, A remark on convex and starlike functions, J. London Math. Soc., 21 (1980), 287–290. [13] E.T. WHITTAKER AND G.N. WATSON, A Course on Modern Analysis, 4th Edition (Reprinted), Cambridge University Press, Cambridge 1927. On Certain Subclass of p-Valently Bazilevic Functions J. Patel Title Page Contents JJ J II I Go Back Close Quit Page 28 of 28 J. Ineq. Pure and Appl. Math. 6(1) Art. 16, 2005 http://jipam.vu.edu.au