Journal of Inequalities in Pure and Applied Mathematics ON CERTAIN SUBCLASS OF

Journal of Inequalities in Pure and
Applied Mathematics
http://jipam.vu.edu.au/
Volume 6, Issue 1, Article 16, 2005
ON CERTAIN SUBCLASS OF p-VALENTLY BAZILEVIC FUNCTIONS
J. PATEL
D EPARTMENT OF M ATHEMATICS
U TKAL U NIVERSITY, VANI V IHAR
B HUBANESWAR -751004, I NDIA
jpatelmath@sify.com
Received 13 December, 2004; accepted 03 February, 2005
Communicated by H.M. Srivastava
A BSTRACT. 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.
Key words and phrases: p-valent; Bazilevic function; Differential subordination.
2000 Mathematics Subject Classification. 30C45.
1. I NTRODUCTION
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)
(1.2)
<
> α (0 ≤ α < p; z ∈ E).
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)
ISSN (electronic): 1443-5756
c 2005 Victoria University. All rights reserved.
The work has been supported by the financial assistance received under DRS programme from UGC, New Delhi.
236-04
2
J. PATEL
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).
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
0
zf (z)
(1.4)
<
> α (z ∈ E)
f (z)1−µ g(z)µ
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
zf (z)
1 + Az
∗
(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 Sp∗ 1 − 2α
,
−1
=
p
∗
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
0
zf (z) p(1 − AB) p(A − B)
(1.6)
(−1 < B < A ≤ 1; z ∈ E)
f (z) − 1 − B 2 < 1 − B 2
and
(1.7)
<
0
zf (z)
f (z)
>
p(1 − A)
2
(B = −1; z ∈ E).
Let Mp (λ, µ, A, B) denote the class of functions in Ap satisfying the condition
00
0
0
0
zf (z)
zf (z)
zf (z)
zg (z)
1 + Az
(1.8)
+λ 1+ 0
− (1 − µ)
−µ
≺p
1−µ
µ
f (z) g(z)
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 (λ, µ, α)
00
0
0
0
zf (z)
zf (z)
zf (z)
zg (z)
= f ∈ Ap : <
+λ 1+ 0
− (1 − µ)
−µ
>α
f (z)1−µ g(z)µ
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.
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
http://jipam.vu.edu.au/
O N C ERTAIN S UBCLASS OF p-VALENTLY BAZILEVIC F UNCTIONS
3
2. P RELIMINARIES
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)
(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
1 + Az
zq (z)
q(z) +
=
β q(z) + γ
1 + Bz
(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
B 6= 0
B = 0.
If φ(z) = 1 + c1 z + c2 z 2 + · · · is analytic in E and satisfies
0
(2.2)
1 + Az
z φ (z)
≺
φ(z) +
βφ(z) + γ
1 + Bz
(z ∈ E),
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 complex-valued 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)} R> 0, h(−r, t) is real
1
and <{1/h(z, t)} ≥ 1/h(−r, t) for |z| ≤ 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].
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
http://jipam.vu.edu.au/
4
J. PATEL
Lemma 2.4. For real numbers a, b, c (c 6= 0, −1, −2, . . . ), we have
Z 1
Γ(b)Γ(c − b)
(2.4)
tb−1 (1 − t)c−b−1 (1 − tz)−a dt =
2 F1 (a, b; c; z) (c > b > 0)
Γ(c)
0
(2.5)
2 F1 (a, b; c; z) = 2 F1 (b, a; c; z)
z
−a
(2.6)
.
2 F1 (a, b; c; z) = (1 − z)
2 F1 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
| arg p(z0 )| = η (0 < η ≤ 1),
2
2
then we have
0
z0 p (z0 )
= ikη,
p(z0 )
(2.8)
where
(2.9)

k ≥
1
2
x+
1
x
k ≤ − 1 x +
2
when arg p(z0 ) = π2 η,
,
1
x
when arg p(z0 ) = − π2 η,
,
and
1/η
p(z0 )
= ±ix (x > 0).
(2.10)
3. M AIN R ESULTS
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

R 1 s λp −1 exp
p(A−B)
λB
p
(s
λ
0
ds,
− 1)Az ds,
B 6= 0,
B = 0,
1
λB
when A = −
, B 6= 0,
1 + Bz
p
and q(z) is the best dominant of (3.1). Furthermore, if A ≤ −λ B/p with −1 ≤ B < 0, then
q(z) =
Mp (λ, µ, A, B) ⊂ Bp (µ, ρ),
(3.3)
where
ρ = ρ(p, λ, A, B) = p
2 F1
p(B − A) p
B
1,
; + 1;
λB
λ
B−1
−1
.
The result is best possible.
Proof. Defining the function φ(z) by
0
(3.4)
zf (z)
φ(z) =
p f (z)1−µ g(z)µ
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
(z ∈ E),
http://jipam.vu.edu.au/
O N C ERTAIN S UBCLASS OF p-VALENTLY BAZILEVIC F UNCTIONS
5
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)
1 + Bz
(z ∈ E).
Thus, φ(z) satisfies the differential subordination (2.2) and hence by using Lemma 2.2, we get
1 + Az
(z ∈ E),
1 + Bz
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) ≺ q(z) ≺
|z|<1
If we set a = p(B − A)/λB, b = p/λ, c = (p/λ) + 1, then c > b > 0. From (3.2), by using
(2.4), (2.5) and (2.6), we see that for B 6= 0
Z 1
Bz
Γ(b)
a
b−1
−a
.
(3.7)
Q(z) = (1 + Bz)
s (1 + Bsz) ds =
2 F1 1, a; c;
Γ(c)
Bz + 1
0
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),
0
where
h(z, s) =
Γ(b)
1 + Bz
(0 ≤ s ≤ 1) and dν(s) =
sa−1 (1 − s)c−a−1 ds
1 + (1 − s)Bz
Γ(a)Γ(c − a)
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)
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)
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
(λ > 0, z ∈ E)
http://jipam.vu.edu.au/
6
J. PATEL
for some g ∈ Sp∗ , then f ∈ Bp (κ(p, λ, α)), where
κ(p, λ, α) = p
(3.8)
2 F1
2(p − α) p
1
1,
; + 1;
λ
λ
2
−1
.
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
0
00
zf (z)
zf (z)
< (1 − λ)
>α
+λ 1+ 0
f (z)
f (z)
(λ > 0, z ∈ E)
then f ∈ Sp∗ (κ(p, λ, α)), where κ(p, λ, α) is given by (3.8). The result is best possible.
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 3.5.
(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
α = 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.6. If f ∈ Bp (µ, α) for some µ (µ > 0), α (0 ≤ α < p), then f ∈ Mp (λ, µ, α) for
|z| < R(p, λ, α), where λ > 0 and

√
(p+λ−α)− (p+λ−α)2 −p(p−2α)


, α=
6 p2 ;
p−2α
(3.9)
R(p, λ, α) =

 p ,
α = p2 .
p+2λ
The bound R(p, λ, α) is best possible.
Proof. From (1.4), we get
0
(3.10)
zf (z)
= α + (p − α)u(z)
f (z)1−µ g(z)µ
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
(z ∈ E),
http://jipam.vu.edu.au/
O N C ERTAIN S UBCLASS OF p-VALENTLY BAZILEVIC F UNCTIONS
7
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
00
0
0
0
zf (z)
zf (z)
zg (z)
zf (z)
<
+λ 1+ 0
− (1 − µ)
−µ
−α
f (z)1−µ g(z)µ
f (z)
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
00
0
0
0
zf (z)
zf (z)
zg (z)
zf (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
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 − α)
(0 ≤ α < p, z ∈ E)
1−µ
µ
f (z) g(z)
1+z
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.6.
For µ = 0 and λ = 1, Theorem 3.6 yields:
Corollary 3.7. If f ∈ Sp∗ (α) (0 ≤ α < p), then f ∈ Kp (α) in |z| < ξ(p, α), where

√ 2

 (p+1−α)− α +2(p−α)+1 , α 6= p ;
p−2α
2
ξ(p, α) =

 p ,
α = p2 .
p+2
The bound ξ(p, α) is best possible.
Theorem 3.8. If f ∈ Ap satisfies
f (z)
<
> 0 and
zp
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
0
zf (z)
<p
−
p
f (z)1−µ g(z)µ
(0 ≤ µ, z ∈ E)
http://jipam.vu.edu.au/
8
J. PATEL
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)
e µ) is best possible.
The bound R(p,
Proof. Letting
0
h(z) =
zf (z)
−1
p f (z)1−µ g(z)µ
(z ∈ E),
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),
where ψ(z) is analytic in E and |ψ(z)| ≤ 1 for z ∈ E. Therefore,
0
zf (z) = pf (z)1−µ g(z)µ (1 + zψ(z)).
(3.12)
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)
Setting φ(z) = f (z)/z p = 1 + c1 z + c2 z 2 + · · · , <{φ(z)} > 0 for z ∈ E, we get
0
0
zf (z)
zφ (z)
=p+
f (z)
φ(z)
so that by (3.13),
00
(3.14)
0
0
0
zf (z)
zφ (z)
zg (z) z(ψ(z) + zψ (z))
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)
2r
zg (z)
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
zf (z)
(2µp − p − 1)r2 − {3 + 2µ(p − 1)}r + p
< 1+ 0
≥
f (z)
1 − r2
e µ).
which is certainly positive if r < R(p,
e µ) is sharp for the functions f, g ∈ Ap defined in E by
It is easily seen that the bound R(p,
0
zf (z)
1
zp
=
,
g(z)
=
p f (z)1−µ g(z)µ
1+z
(1 + z)2
(0 ≤ µ, z ∈ E).
Choosing µ = 0 in Theorem 3.8, we have
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
http://jipam.vu.edu.au/
O N C ERTAIN S UBCLASS OF p-VALENTLY BAZILEVIC F UNCTIONS
9
Corollary 3.9. If f ∈ Ap satisfies
0
zf (z)
f (z)
< p (z ∈ E)
<
>
0
and
−
p
f (z)
zp
np
o.
then f is p-valently convex in |z| <
9 + 4p(p + 1) − 3
2(p + 1). The result is best
possible.
For a function f ∈ Ap , we define the integral operator Fµ,δ as follows:
µ1
Z
δ + pµ z δ−1
µ
(z ∈ E),
(3.15)
Fµ,δ (f ) = Fµ,δ (f )(z) =
t f (t) dt
zδ
0
where µ and δ are real numbers with µ > 0, δ > −pµ.
The following lemma will be required for the proof of Theorem 3.13 below.
n
o
Lemma 3.10. Let g ∈ Sp∗ (A, B), µ and δ are real numbers with µ > 0, δ > max −pµ, − pµ(1−A)
.
(1−B)
∗
Then Fµ,δ (g) ∈ Sp (A, B).
The proof of the above lemma follows by using Lemma 2.2 followed by a simple calculation.
n
o
Theorem 3.11. Let µ and δ be real numbers with µ > 0, δ > max −pµ, − pµ(1−A)
(−1 ≤
(1−B)
B < A ≤ 1) and let f ∈ f ∈ Ap . If
0
π
zf
(z)
< β
arg
−
α
(0 ≤ α < p; 0 < β ≤ 1)
2
f (z)1−µ g(z)µ
for some g ∈ Sp∗ (A, B), then
arg
0
π
z(Fµ,δ ) (f )
< η,
−
α
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 π(1−t(A,B,δ,µ,p))/2

η + 2 tan−1
, B 6= −1;
π
(1+B)δ+µp(1+A)+(1+B)η cos π(1−t(A,B,δ,µ,p))/2
(3.16)
β=


η,
B = −1,
and
2
t(A, B, δ, µ, p) = sin−1
π
(3.17)
µp(A − B)
δ(1 − B 2 ) + µp(1 − AB)
.
Proof. Let us put
1
q(z) =
p−α
0
z(Fµ,δ ) (f )
−β
Fµ,δ (f )1−µ Fµ,δ (g)µ
where
1
Φ(z) =
p−α
δ
µ
z
Z
δ−1
z f (z) − δ
t
µ
=
Φ(z)
,
Ψ(z)
Z
z
f (t) dt − µ α
0
δ−1
t
g(t) dt
µ
0
and
Z
Ψ(z) = µ
z
tδ−1 g(t)µ dt.
0
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
http://jipam.vu.edu.au/
10
J. PATEL
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)µ
Since Fµ,δ (g) ∈ Sp∗ (A, B), by (1.6) and (1.7), we have
0
0
zS (z)
z(Fµ,δ ) (g)
=δ+µ
= ρeiπθ/2 ,
S(z)
Fµ,δ (g)
(3.18)
where

δ +
µp(1−A)
1−B
<ρ<δ+
µp(1+A)
1+B

−t(A, B, δ, µ, p) < θ < t(A, B, δ, µ, p) for B 6= −1
when t(A, B, δ, µ, p) is given by (3.17), and

<ρ<∞
δ + µp(1−A)
2

−1 < θ < 1 for B = −1.
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
z0 q (z0 ) 
1
·
= arg q(z0 ) + arg 1 +
z0 (Fµ,δ (g))0 (z0 )
q(z0 )
δ + µ 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
+ η cos π(1 − t(A, B, δ, µ, p))/2
δ + µp(1+A)
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
This is a contradiction to the assumption of our theorem.
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
http://jipam.vu.edu.au/
O N C ERTAIN S UBCLASS OF p-VALENTLY BAZILEVIC F UNCTIONS
11
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
f (z)1−µ g(z)µ
2
which contradicts the assumption. Thus, we complete the proof of the theorem.
Letting µ = 1, B → A and g(z) = z p in Theorem 3.11, we have
Corollary 3.12. Let δ > −p and f ∈ Ap .
0
arg f (z) − α <
p−1
z
If
π
β
2
(0 ≤ α < p; 0 < β ≤ 1),
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.13. Let λ > 0. If f ∈ A satisfies the condition
0
0
0
00
zf (z)
zf (z)
zf (z)
zg (z)
(3.19) γ
+λ 1+ 0
− (1 − µ)
−µ
6= it (z ∈ E)
f 1−µ (z)g µ (z)
f (z)
f (z)
g(z)
p
for some µ(µ ≥ 0), γ(γ > 0) and g ∈ Sp∗ , where t is a real number with |t| ≥ λ(λ + 2pγ),
then
0
zf (z)
<
> 0 (z ∈ E).
f 1−µ (z)g µ (z)
Proof. Let
0
zf (z)
φ(z) =
1−µ
p f (z)g µ (z)
(z ∈ E),
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)
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
(m ∈ N),
http://jipam.vu.edu.au/
12
J. PATEL
where q(z) is analytic in E and q(z1 ) 6= 0. Hence, we have
0
00
0
0
zf (z)
zf (z)
zg (z)
zf (z)
γ
+λ 1+ 0
− (1 − µ)
−µ
f 1−µ (z)g µ (z)
f (z)
f (z)
g(z)
0
zφ (z)
= p γφ(z) + λ
φ(z)
0
zq (z)
mz
+λ
.
= p γ(z − z1 ) q(z) + λ
z − z1
q(z)
m
(3.20)
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 λ
p γ` + λ k ≥
+ (λ + 2p γ)` ≥ λ(λ + 2p γ) when ` > 0,
2 `
and
p
1 λ
p γ` + λ k ≤ −
+ (λ + 2p γ)|`| ≤ − λ(λ + 2p γ) when ` < 0,
2 |`|
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.13, we have
Corollary 3.14. Let λ > 0. If f ∈ Ap satisfies the condition
0
00
f (z)
zf (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.15. Let λ > 0. If f ∈ Ap satisfies the condition
0
00
f
(z)
zf
(z)
γ
−p +λ 1+ 0
− p < λ + γp
p−1
z
f (z)
(z ∈ E)
for some γ (γ > 0), then
<
0
f (z)
z p−1
>0
(z ∈ E).
Remark 3.16. From a result of Nunokawa [9] and Saitoh and Nunokawa [11], it follows that,
if f ∈ Ap satisfies the hypothesis of Corollary
3.14 or Corollary 3.15, 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.13, we get the following result due to Dinggong [4] which
in turn yields the work of Cho and Kim [3] for p = 1.
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
http://jipam.vu.edu.au/
O N C ERTAIN S UBCLASS OF p-VALENTLY BAZILEVIC F UNCTIONS
13
Corollary 3.17. Let λ > 0. If f ∈ Ap satisfies the condition
0
00
zf (z)
zf (z)
(1 − λ)
+λ 1+ 0
6= it
(z ∈ E),
f (z)
f (z)
p
where t is a real number with |t| ≥ λ(λ + 2p), then f ∈ Sp∗ .
R EFERENCES
[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.
[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.
J. Inequal. Pure and Appl. Math., 6(1) Art. 16, 2005
http://jipam.vu.edu.au/