On a class of p-valent non-Bazilevic functions
1Khalida Inayat Noor, Ali Muhammad, Muhammad Arif
Abstract
In this paper, we introduce a class Np,αλ,µ(a, c, A, B). We investigate a number of inclusion relationships, distortion theorems for the class Np,αλ,µ(a, c, A, B), the lower and upper bounds of Re
³ zp Ipλ(a,c)f(z)
´µ for f(z)∈Nλ,µp,α(a, c, A, B) and some other interesting properties of p-valent functions which are defined here by means of a certain linear integral operatorIpλ(a, c)f(z).
2000 Mathematics Subject Classification: 30C45, 30C50.
Key words and phrases: Multivalent functions, Non-Bazilevic functions, Choi-Saigo-Srivastava operator, Cho-Kown-Srivastava operator, Differential
Subordination.
1 Introduction
LetA(p) denote the class of functionsf(z) normalized by (1) f(z) =zp+
X∞
k=1
ak+pzk+p, (p∈N={1,2, . . .}),
1Received 18 September, 2008
Accepted for publication (in revised form) 10 October, 2008
31
which are analytic and p-valent in the open unit discE={z:|z|<1}. Iff(z) and g(z) are analytic in E, we say that f(z) is subordinate to g(z), written symbolically as follows:
f ≺ginE orf(z)≺g(z),z∈E,
if there exists a Schwarz functionw(z), which is analytic inE with
|w(0)|= 0 and |w(z)|<1,z∈E, such that
f(z) =g(w(z)), z∈E.
Indeed it is known that
f(z)≺g(z) (z∈E)⇒f(0) =g(0) andf(E)⊂g(E).
Furthermore, if the functiong(z) is univalent inE, then we have the following equivalence, see [6,7],
f(z)≺g(z) (z∈E)⇔f(0) =g(0) andf(E)⊂g(E).
For functions fj(z)∈A(p), given by
(2) fj(z) =zp+
X∞
k=1
ak+p,jzk+p (j= 1,2) ,
we define the Hadamard product (or convolution) of f1(z) andf2(z) by (3) (f1? f2) (z) =zp+
X∞
k=1
ak+p,1ak+p,2zk+p= (f2? f1) (z) (z∈E) . In our present investigation we shall make use of the Gauss hypergeometric functions defined by
(4) 2F1(a, b;c;z) = X∞
k=0
(a)k(b)k
(c)k(1)k zk (z∈E) ,
wherea, b, c∈C,c /∈Z−0 ={0,−1,−2, . . .} and (k)n denote the Pochhammer symbol (or the shifted factorial) given, in terms of the Gamma function Γ, by
(k)n= Γ (k+n) Γ (k) =
k(k+ 1) (k+ 2). . .(k+n−1) , n∈N 1,n= 0.
We note that the series defined by (4) converges absolutely for z ∈ E and hence2F1(a, b;c;z) represents an analytic function inE, see [13].
We define a function Φp(a, c;z) by Φp(a, c;z) =zp+
X∞
k=0
(a)k
(c)k zk+p ¡
a∈R; c∈R\Z−0 ={0,−1, . . .}¢ . With the aid of the function Φp(a, c;z), we consider a function Φ†p(a, c;z) defined by
Φp(a, c;z)?Φ†p(a, c;z) = zp
(1−z)λ+p,z∈E,
whereλ >−p. This function yields the following family of linear operators (5) Ipλ(a, c)f(z) = Φ†p(a, c;z)? f(z),z∈E,
where a, c∈R\Z−0. For a functionf(z) ∈A(p), given by (1), it follows from (5) that for λ >−p and a, c∈R\Z−0
Ipλ(a, c)f(z) = zp+ X∞
k=0
(c)k (λ+p)k
(a)k (1)k ap+kzp+k (6)
= zp2F1(c, λ+p;a;z)? f(z),z∈E.
From equation (6) we deduce that
(7) z
³
Ipλ(a, c)f(z)
´0
= (λ+p)Ipλ+1(a, c)f(z)−λIpλ(a, c)f(z), and
(8) z
³
Ipλ(a+ 1, c)f(z)
´0
=aIpλ(a, c)f(z)−(a−p)Ipλ(a+ 1, c)f(z).
We also note that
Ip0(a+ 1,1)f(z) = p Zz
0
f(t) t dt,
Ip0(p,1)f(z) = Ip1(p+ 1,1)f(z) =f(z), Ip1(p,1)f(z) = zf0(z)
p ,
Ip2(p,1)f(z) = 2zf0(z) +z2f00(z) p(p+ 1) , Ip2(p+ 1,1)f(z) = f(z) +zf0(z)
p(p+ 1) ,
Ipn(a, a)f(z) = Dn+p−1f(z), n∈N,n >−p,
whereDn+p−1f(z) is the Ruscheweyh derivative of (n+p−1)th order, see [4].
The operator Ipλ(a, c) ¡
λ >−p,a;c∈R\Z−0¢
was recently introduced by Cho et al [1], who investigated (among other things) some inclusion relation- ships and argument properties of various subclasses of multivalent functions inA(p), which were defined by means of the operatorIpλ(a, c).
Forλ=c= 1 and a=n+p, the Cho-Kown-Srivastava operator yields Ip1(n+p,1)f(z) =In,p (n >−p) ,
whereIn,pdenotes an integral operator of the (n+p−1)th order, which was studied by Liu and Noor [5], see also [9,10]. The linear operatorI1λ(µ+ 2,1) (λ >−1,µ >−2) was also recently introduced and studied by Choi et al [2].
For relevant details about further special cases of the Choi-Saigo-Srivastava operatorI1(λ+ 2,1), the interested reader may refer to the works by Cho et al [2] and Choi et al [1], see also [3].
Using the Cho-Kown-Srivastava operatorIpλ(a, c), we now define a subclass of A(p) as follows:
Definition 1 Assume that 0< µ < 1, α∈ C, −1≤B ≤1, A6=B, A ∈R, we say that a functionf(z)∈A(p)is in the classNp,αλ,µ(a, c, A, B)if it satisfies:
( (1−α)
µ zp Ipλ(a, c)f(z)
¶µ
−α
ÃIpλ+1(a, c) Ipλ(a, c)
! µ zp Ipλ(a, c)f(z)
¶µ)
≺1+Az
1+Bz, z∈E, where the powers are understood as a principal values.
In particular, we letNp,αλ,µ(a, c,1−2ρ,−1) =Np,αλ,µ(a, c, ρ) denote the sub- class Np,αλ,µ(a, c, A, B) for A = 1−2ρ, B =−1 and 0 ≤ ρ < p. It is obvious thatf(z)∈Np,αλ,µ(a, c, ρ) if and only if f(z)∈A(p) and it satisfies
Re (
(1−α)
µ zp Ipλ(a, c)f(z)
¶µ
−α
ÃIpλ+1(a, c) Ipλ(a, c)
! µ zp Ipλ(a, c)f(z)
¶µ)
> ρ,z∈E.
Special Cases
(i) When a = c= p = 1, λ= 0, then N1,α0,µ(1,1, A, B) is the class studied by Z. Wang et al [14].
(ii) The subclass N1,−10,µ (1,1,1,−1) =N(µ) has been studied by Obradovic [11].
(iii) If a = c = p = 1, λ = 0, α = B = −1 and A = 1−2ρ, then the class N1,−10,µ (1,1,1−2ρ,−1) reduces to the class of non-Bazilevic func- tions of order ρ(0 ≤ ρ < 1). The Fekete-Szeg¨o problem of the class N1,−10,µ (1,1,1−2ρ,−1) were considered by N. Tuneski and M .Darus [12].
2 Preliminary Results
In this section we recall some known results.
Lemma 1 Let the functionh(z) be analytic and convex (univalent) inE with h(0) = 1. Suppose also that the function Φ(z) given by
Φ(z) = 1 +c1z+c2z2+. . . is analytic in E. If
(9) Φ(z) +z Φ0(z)
γ ≺h(z) (z∈E; Reγ≥0; γ 6= 0), then
Φ(z)≺Ψ(z) = γ zγ
Zz
0
tγ−1h(t)dt≺h(z) (z∈E), and Ψ(z) is the best dominant of(9).
3 Main Result
Theorem 1 Let Reα >0 and f(z)∈Np,αλ,µ(a, c, A, B). Then
(10)
µ zp Ipλ(a, c)f(z)
¶µ
≺ (λ+p)µ α
Z1
0
1 +Azu
1 +Bzuu(λ+p)µα −1du≺ 1 +Az 1 +Bz. Proof. Let
(11) Φ(z) =
µ zp Ipλ(a, c)f(z)
¶µ .
Then Φ(z) is analytic inE with Φ(0) = 1. Taking logarithmic differentiation of (11) both sides and using the identity (7) in the resulting equation, we deduce that
(
(1−α)
µ zp Ipλ(a, c)f(z)
¶µ
−α
ÃIpλ+1(a, c) Ipλ(a, c)
! µ zp Ipλ(a, c)f(z)
¶µ)
= Φ(z) + αz Φ0(z)
(λ+p)µ ≺ 1 +Az 1 +Bz. Now, by Lemma 1 for γ = (λ+p)µα , we deduce that µ zp
Ipλ(a, c)f(z)
¶µ
≺ q(z) = (λ+p)µ
α z−(λ+p)µα Zz
0
t(λ+p)µα −1
µ1 +At 1 +Bt
¶ dt
= (λ+p)µ α
Z1
0
1 +Azu
1 +Bzuu(λ+p)µα −1du≺ 1 +Az 1 +Bz, and the proof is complete.
Theorem 2 Let 0≤α2 ≤α1. Then
Np,αλ,µ1(a, c, A, B)⊂Np,αλ,µ2(a, c, A, B).
Proof. Let f(z)∈Np,αλ,µ1(a, c, A, B). Then by Theorem 3.1 we have f(z)∈Np,0λ,µ(a, c, A, B).
Since (
(1 +α2)
µ zp Ipλ(a, c)f(z)
¶µ
−α2
ÃIpλ+1(a, c) Ipλ(a, c)
! µ zp Ipλ(a, c)f(z)
¶µ)
= µ
1 +α2 α1
¶ µ zp Ipλ(a, c)f(z)
¶µ
−α2 α1
½
(1 +α1)
µ zp Ipλ(a, c)f(z)
¶µ
−α1
ÃIpλ+1(a, c) Ipλ(a, c)
! µ zp Ipλ(a, c)f(z)
¶µ)
≺ 1 +Az 1 +Bz. Wee see that f(z)∈Np,αλ,µ2(a, c, A, B).
Theorem 3 Let Reα > 0, 0 < µ < 1, −1 ≤ B < A ≤ 1 and f(z) ∈ Np,αλ,µ(a, c, A, B). Then
(λ+p)µ α
Z1
0
1 +Au
1 +Buu(λ+p)µα −1du < Re
µ zp Ipλ(a, c)f(z)
¶µ
< (λ+p)µ α
Z1
0
1−Au
1−Buu(λ+p)µα −1du, (12)
and the inequality (12) is sharp, with the extremal function defined by
(13) Ipλ(a, c)Fα,µ,A,B(z) =zp
(λ+p)µ α
Z1
0
1 +Azu
1 +Bzuu(λ+p)µα −1du
−1 µ
.
Proof. Since f(z)∈Np,αλ,µ(a, c, A, B), according to Theorem 1, we have µ zp
Ipλ(a, c)f(z)
¶µ
≺ (λ+p)µ α
Z1
0
1 +Azu
1 +Bzuu(λ+p)µα −1du,
Therefore it follows from the definition of subordination and A > Bthat
Re
µ zp Ipλ(a, c)f(z)
¶µ
< sup
z∈E
Re
(λ+p)µ α
Z1
0
1 +Azu
1 +Bzuu(λ+p)µα −1du
≤ (λ+p)µ α
Z1
0
sup
z∈E
Re
½1 +Azu 1 +Bzu
¾
u(λ+p)µα −1du
< (λ+p)µ α
Z1
0
1 +Au
1 +Buu(λ+p)µα −1du.
Also Re
µ zp Ipλ(a, c)f(z)
¶µ
> inf
z∈ERe
(λ+p)µ α
Z1
0
1 +Azu
1 +Bzuu(λ+p)µα −1du
≥ (λ+p)µ α
Z1
0
z∈Einf Re
½1 +Azu 1 +Bzu
¾
u(λ+p)µα −1du
> (λ+p)µ α
Z1
0
1−Au
1−Buu(λ+p)µα −1du.
Note that the function Ipλ(a, c)Fα,µ,A,B(z) defined by (13) belongs to the class Np,αλ,µ(a, c, A, B) and hence we obtain that the inequality (12) is sharp.
By applying the similar techniques that we used in proving Theorem 12, we have the following result.
Theorem 4 Let Reα > 0, 0 < µ < 1, −1 ≤ A < B ≤ 1 and f(z) ∈ Np,αλ,µ(a, c, A, B). Then
(λ+p)µ α
Z1
0
1 +Au
1 +Buu(λ+p)µα −1du < Re
µ zp Ipλ(a, c)f(z)
¶µ
< (λ+p)µ α
Z1
0
1−Au
1−Buu(λ+p)µα −1du, (14)
and the inequality (14) is sharp, with the extremal function defined by (13).
Theorem 5 Let 0 < µ < 1, Reα ≥ 0, −1 ≤ B < A ≤ 1 and f(z) ∈ Np,αλ,µ(a, c, A, B). Then
(λ+p)µ α
Z1
0
1−Au
1−Buu(λ+p)µα −1du
1 2
< Re
µ zp Ipλ(a, c)f(z)
¶µ (15) 2
<
(λ+p)µ α
Z1
0
1 +Au
1 +Buu(λ+p)µα −1du
1 2
,
and inequality (15) is sharp, with the extremal function defined by (13).
Proof. According to Theorem 1, we have µ zp
Ipλ(a, c)f(z)
¶µ
≺ 1 +Az 1 +Bz. Since −1≤B < A≤1, we have
0< 1−A 1−B < Re
µ zp Ipλ(a, c)f(z)
¶µ
< 1 +A 1 +B. Hence the result follows by Theorem 3.
Note that the function defined by (13) belongs to Np,αλ,µ(a, c, A, B), we obtain that the inequality (15) is sharp. By applying the similar arguments as in Theorem 5, we have the following Theorem.
Theorem 6 Let 0 < µ < 1, Reα ≥ 0, −1 ≤ A < B ≤ 1 and f(z) ∈ Np,αλ,µ(a, c, A, B). Then
(λ+p)µ α
Z1
0
1 +Au
1 +Buu(λ+p)µα −1du
1 2
< Re
µ zp Ipλ(a, c)f(z)
¶µ (16) 2
<
(λ+p)µ α
Z1
0
1−Au
1−Buu(λ+p)µα −1du
1 2
,
and inequality (16) is sharp, with the extremal function defined by (13).
Theorem 7 Let 0 < µ < 1, Reα ≥ 0, −1 ≤ B < A ≤ 1 and f(z) ∈ Np,αλ,µ(a, c, A, B). Then
(i)Ifα= 0, the for |z|=r <1, we have
(17) rp
µ1 +Br 1 +Ar
¶1
µ ≤
¯¯
¯Ipλ(a, c)f(z)
¯¯
¯≤rp
µ1−Br 1−Ar
¶1
µ
and inequality (17) is sharp , with the extremal function defined by (18) Ipλ(a, c)f(z) =zp
µ1 +Bz 1 +Az
¶1
µ.
(ii) If α6= 0, the for |z|=r <1, we have
rp
(λ+p)µ α
Z1
0
1 +Aru
1 +Bruu(λ+p)µα −1du
−µ1
≤
¯¯
¯Ipλ(a, c)f(z)
¯¯ (19) ¯
≤rp
(λ+p)µ α
Z1
0
1−Aru
1−Bruu(λ+p)µα −1du
−µ1
,
and inequality (19) is sharp with the extremal function defined by(13).
Proof. (i) If α = 0. Since f(z) ∈ Np,αλ,µ(a, c, A, B), −1 ≤ B < A ≤ 1, we obtain from the definition ofNp,αλ,µ(a, c, A, B) that
µ zp Ipλ(a, c)f(z)
¶µ
≺ 1 +Az 1 +Bz.
Therefore it follows from the definition of the subordination that µ zp
Ipλ(a, c)f(z)
¶µ
= 1 +Aw(z) 1 +Bw(z),
where w(z) = c1z+c2z2+. . . is analytic E and |w(z)| ≤ |z|, so when |z|= r <1, we have
¯¯
¯¯
µ zp Ipλ(a, c)f(z)
¶¯¯
¯¯
µ
=
¯¯
¯¯1 +Aw(z) 1 +Bw(z)
¯¯
¯¯≤ 1 +A|w(z)|
1 +B|w(z)| ≤ 1 +Ar 1 +Br,
and ¯
¯¯
¯
µ zp Ipλ(a, c)f(z)
¶¯¯¯
¯
µ
≥Re
µ zp Ipλ(a, c)f(z)
¶µ
≥ 1−Ar 1−Br.
It is obvious that (17) is sharp, with the extremal function defined by (18).
(ii) Ifα6= 0. according to Theorem 1 we have µ zp
Ipλ(a, c)f(z)
¶µ
≺ (λ+p)µ α
Z1
0
1 +Azu
1 +Bzuu(λ+p)µα −1du.
Therefore it follows from the definition of the subordination µ zp
Ipλ(a, c)f(z)
¶µ
= (λ+p)µ α
Z1
0
1 +Aw(z)u
1 +Bw(z)uu(λ+p)µα −1du,
where w(z) = c1z+c2z2+. . . is analytic E and |w(z)| ≤ |z|, so when |z|= r <1, we have
¯¯
¯¯
µ zp Ipλ(a, c)f(z)
¶¯¯
¯¯
µ
≤ (λ+p)µ α
Z1
0
¯¯
¯¯1 +Aw(z)u 1 +Bw(z)u
¯¯
¯¯u(λ+p)µα −1du
≤ (λ+p)µ α
Z1
0
1 +Au|w(z)|
1 +Bu|w(z)|u(λ+p)µα −1du
≤ (λ+p)µ α
Z1
0
1 +Aur
1 +Buru(λ+p)µα −1du, and
¯¯
¯¯
µ zp Ipλ(a, c)f(z)
¶¯¯¯
¯
µ
≥Re
µ zp Ipλ(a, c)f(z)
¶µ
≥ (λ+p)µ α
Z1
0
1−Aur
1−Buru(λ+p)µα −1du.
Note that the function defined by (13) belongs to the classNp,αλ,µ(a, c, A, B), we obtain that the inequality (19) is sharp. By applying the similar method as in Theorem 5 we have
Theorem 8 Let 0 < µ < 1, Reα ≥ 0, −1 ≤ A < B ≤ 1 and f(z) ∈ Np,αλ,µ(a, c, A, B). Then
(i) If α= 0, the for |z|=r <1, we have
(20) rp
µ1−Br 1−Ar
¶1
µ ≤
¯¯
¯Ipλ(a, c)f(z)
¯¯
¯≤rp
µ1 +Br 1 +Ar
¶1
µ
and inequality (20) is sharp, with the extremal function defined by(18).
(ii) If α6= 0, the for |z|=r <1, we have
rp
(λ+p)µ α
Z1
0
1−Au
1−Buu(λ+p)µα −1du
−µ1
≤
¯¯
¯Ipλ(a, c)f(z)
¯¯ (21) ¯
≤rp
(λ+p)µ α
Z1
0
1 +Au
1 +Buu(λ+p)µα −1du
−µ1
,
and inequality (21) is sharp with the extremal function defined by(13).
Theorem 9 LetReα≥0andf(z)∈Np,0λ,µ(a,c,A, B).Thenf(z)∈Np,αλ,µ(a, c, A, B) for |z|< R(λ, α, µ, p), where
(22) R(λ, α, µ, p) = (λ+p)µ
α+ q
α2+ (λ+p)2µ2 .
Proof. Set (23)
µ zp Ipλ(a, c)f(z)
¶µ
=ρ+ (p−ρ)h(z).
Then clearly,h(z) is analytic inE andh(0) = 1. Taking logarithmic differen- tiation of (23) both sides and using identity (7) in the resulting equation, we observe that
Re (
(1−α)
µ zp Ipλ(a, c)f(z)
¶µ
−α
ÃIpλ+1(a, c) Ipλ(a, c)
! µ zp Ipλ(a, c)f(z)
¶µ
−ρ ) (24)
= (p−ρ)Re
½
h(z) + αzh0(z) (λ+p)µ
¾
≥(p−ρ)Re
½
h(z)−α|zh0(z)|
(λ+p)µ
¾ .
Now by using the following well known estimate, see [8],
¯¯zh0(z)¯¯≤ 2rReh(z)
1−r2 (|z|=r <1) , in (24), we have
Re (
(1−α)
µ zp Ipλ(a, c)f(z)
¶µ
−α
ÃIpλ+1(a, c) Ipλ(a, c)
! µ zp Ipλ(a, c)f(z)
¶µ
−ρ )
(25) = (p−ρ)Reh(z)
½
1− 2αr
(λ+p)µ(1−r2)
¾ .
The right hand side of (25) is positive if r < R(λ, α, µ, p) where R(λ, α, µ, p) is given by (22).
Sharpness of this result follows by taking µ zp
Ipλ(a, c)f(z)
¶µ
=ρ+ (p−ρ)1 +z 1−z. where 0≤ρ < p,λ >−p and z∈E.
References
[1] N. E. Cho, O. S. Kown, H. M. Srivastava, Inclusion relationships and argument properties for certain subclasses of multivalent functions asso- ciated with a family of linear operators, J. Math. Anal. App. 292, 2004, 470-483.
[2] J. H. Choi, M. Siago, H .M. Srivastava, Some inclusion properties of a certain family of integral operators, J. Math. Anal. Appl. 276, 2002, 432- 445.
[3] N. E. Cho, O. H. Kown, H. M. Srivastava,Inclusion and argument prop- erties for certain subclasses of meromorphic functions associated with a
family of multiplier transformations, J. Math. Anal. Appl. 300, 2004, 505- 520.
[4] R. M. Geol, N. S. Sohi, A new criterion for p-valent functions, Proc.
Amer. Math. Soc. 78, 1980, 353-357.
[5] J. L. Liu, K. I. Noor,Some properties of Noor integral operator, J. Natur.
Geom. 21, 2002, 81-90.
[6] S. S. Miller, P. T. Mocanu,Differential subordinations and univalent func- tions, Michigan Math. J. 28, 1981, 157-171.
[7] S. S. Miller, P.T Mocanu,Differential Subordination: Theory and Appli- cations, in: Mongraphs and Textbooks in Pure and applied Mathematics, vol. 225, Marcel Dekker, New York, 2000.
[8] T. H. MacGregor, Radius of univalence of certain analytic functions, Proc. Amer. Math. Soc. 14 (963), 514-520.
[9] K. I. Noor,Some classes of p-valent analytic functions defined by certain integral operator, Appl. Math. Compute. 157, 2004, 835-840.
[10] K. I. Noor and M .A. Noor, On certain classes of analytic functions de- fined by Noor integral operator, J. Math. Appl. 281, 2003, 244-252.
[11] M. Obradovic,A class of univalent functions, Hokkaido Math. J., 27 (2), 1998, 329-355.
[12] N. Tuneski, M. Darus,Functional for non-Bazilevic functions, Acta Math- ematica. Academiae Paedagogicae. Nyiregyhaziensis, 18, 2002, 63-65.
[13] E. T. Whittaker, G. N. Watson,A course on Modern Analysis: An intro- duction to the general Theory of Infinite processes and of Analytic Func- tions; With an account of the principle of Transcendental Functions, 4th Edition, Cambridge University Press, Cambridge, 1927.
[14] Z.Wang, C. Gao, M. Lio, On certain generalized class of Non-Bazilevic functions, Acta Mathematica. Academiae Paedagogicae. Nyiregyhaziensis 21, 2005, 147-154.
Khalida Inayat Noor Department of Mathematics
COMSATS Institute of Information Technology, Islamabad Pakistan email: [email protected]
Ali Muhammad
Department of Basic Sciences
University of Engineering and Technology, Peshawar Pakistan email: [email protected]
Muhammad Arif
Department of Mathematics
Abdul Wali Khan University Mardan Pakistan email: [email protected]