on generalized spiral-like analytic functions

11
Filomat 28:7 (2014), 1493–1503 DOI 10.2298/FIL1407493N Published by Faculty of Sciences and Mathematics, University of Niˇ s, Serbia Available at: http://www.pmf.ni.ac.rs/filomat On Generalized Spiral-like Analytic Functions Khalida Inayat Noor a , Nazar Khan a , Muhammad Aslam Noor a a Mathematics Department, COMSATS Institute of Information Technology, Park Road, Islamabad, Pakistan Abstract. In this paper, we use the concept of bounded Mocanu variation to introduce a new class of analytic functions, defined in the open unit disc, which unifies a number of classes previously studied such as those of functions with bounded radius rotation and bounded Mocanu variation. It also generalizes the concept of β-spiral likeness in some sense. Some interesting properties of this class including inclusion results, arclength problems and a sucient condition for univalency are studied. 1. Introduction Let A denote the class of functions f : f (z) = z + X n=2 a n z n , (1) which are analytic in the open unit disk E = {z : |z| < 1}. Let S, S * , C and M α be the subclasses of A which consist of, respectively, univalent, starlike (with respect to origin), convex and α-starlike functions. Let P be the class of functions p, analytic in E with p(0) = 1 and satisfying Re{p(z)} > 0, z E. The class P is called the class of analytic functions with positive real part. It is well-known [3] that a number of important classes of analytic functions (e.1.C, S * , M α ) are related through their derivatives by the functions in P . These functions play a significant role in solving problems from signal theory and construction of quadrature formulas. In the recent years, several interesting subclasses of analytic functions have been introduced and investigated, see [1,7,9,10,12,17,20,21]. Motivated and inspired by the recent research going on, we introduce and investigate a new class of analytic function using the concept of bounded Mocanu variation. This new class of analytic functions unifies a number of classes previously studied. We obtain some new results including inclusion results, radius problem and arclength problems for this new class of analytic functions. A sucient condition for univalency is investigated. Results obtained in this paper may stimulate further research in this field. 2010 Mathematics Subject Classification. 30C45, 30C50 Keywords. β-spiral convex, α-starlike, univalent, Mocanu variation, radius rotation, functions with positive real part, convolution, arclength, integral operator. Received: 11 July 2013; Revised: 09 October 2013; Accepted: 25 October 2013 Communicated by Hari M. Srivastava Email addresses: [email protected] (Khalida Inayat Noor), [email protected] (Nazar Khan), [email protected] (Muhammad Aslam Noor)

Upload: independent

Post on 11-Mar-2023

0 views

Category:

Documents


0 download

TRANSCRIPT

Filomat 28:7 (2014), 1493–1503DOI 10.2298/FIL1407493N

Published by Faculty of Sciences and Mathematics,University of Nis, SerbiaAvailable at: http://www.pmf.ni.ac.rs/filomat

On Generalized Spiral-like Analytic Functions

Khalida Inayat Noora, Nazar Khana, Muhammad Aslam Noora

aMathematics Department, COMSATS Institute of Information Technology, Park Road, Islamabad, Pakistan

Abstract. In this paper, we use the concept of bounded Mocanu variation to introduce a new class ofanalytic functions, defined in the open unit disc, which unifies a number of classes previously studied suchas those of functions with bounded radius rotation and bounded Mocanu variation. It also generalizesthe concept of β-spiral likeness in some sense. Some interesting properties of this class including inclusionresults, arclength problems and a sufficient condition for univalency are studied.

1. Introduction

LetA denote the class of functions f :

f (z) = z +

∞∑n=2

anzn, (1)

which are analytic in the open unit disk E = {z : |z| < 1}. Let S,S∗,C and Mα be the subclasses of A whichconsist of, respectively, univalent, starlike (with respect to origin), convex and α-starlike functions. LetP be the class of functions p, analytic in E with p(0) = 1 and satisfying Re{p(z)} > 0, z ∈ E. The classP is called the class of analytic functions with positive real part. It is well-known [3] that a number ofimportant classes of analytic functions (e.1.C,S∗,Mα) are related through their derivatives by the functionsin P. These functions play a significant role in solving problems from signal theory and construction ofquadrature formulas. In the recent years, several interesting subclasses of analytic functions have beenintroduced and investigated, see [1,7,9,10,12,17,20,21]. Motivated and inspired by the recent research goingon, we introduce and investigate a new class of analytic function using the concept of bounded Mocanuvariation. This new class of analytic functions unifies a number of classes previously studied. We obtainsome new results including inclusion results, radius problem and arclength problems for this new class ofanalytic functions. A sufficient condition for univalency is investigated. Results obtained in this paper maystimulate further research in this field.

2010 Mathematics Subject Classification. 30C45, 30C50Keywords. β-spiral convex, α-starlike, univalent, Mocanu variation, radius rotation, functions with positive real part, convolution,

arclength, integral operator.Received: 11 July 2013; Revised: 09 October 2013; Accepted: 25 October 2013Communicated by Hari M. SrivastavaEmail addresses: [email protected] (Khalida Inayat Noor), [email protected] (Nazar Khan),

[email protected] (Muhammad Aslam Noor)

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1494

Let Pk be the class of functions p, analytic in E, satisfying the propertiesp(0) = 1, z = reiθ and

p(z) =12

∫ 2π

0

1 + ze−it

1 − ze−it dµ(t), (2)

where µ(t) is a function with bounded variation on [0, 2π] such that, for k ≥ 2,∫ 2π

0dµ(t) = 2, and

∫ 2π

0

∣∣∣dµ(t)∣∣∣ ≤ k. (3)

This class has been studied in [7]. For k = 2, we have the class P.From (2) and (3), it easily follows that p ∈ Pk, if and only if,

p(z) =

(k4

+12

)p1(z) −

(k4−

12

)p2(z), p1, p2 ∈ P. (4)

In the following, we list some known classes of analytic functions.

(i) S∗p(β) =

{f : f ∈ A, eiβ z f ′

f∈ P, β real, z ∈ E, |β| <

π2

}.

It is known that S∗p(β) ⊂ S and f ∈ S∗p(β) is called β-spiral like function, see [3].

(ii) Scp(β) =

{f : f ∈ A,

[cos β

((z f ′)′

f ′

)+ i sin β

z f ′

f

]∈ P, z ∈ E, |β| <

π2

}.

The functions in this class are called β-spiral convex and it is shown [22] thatSc

p(β) ⊂ S∗p(β).

(iii) M∗(α, β) =

{f : f ∈ A,

[(eiβ− α cos β

) z f ′

f+ α cos β

(1 +

z f ′′

f ′

)]∈ P

}where α, β are real |β| < π

2 , z ∈ E.It is shown in [19] that

M∗(α, β) ⊂ S∗p(β).

We note that

M∗(α, 0) ≡Mα, M∗(1, β) ≡ Scp(β), and M∗(0, β) ≡ S∗p(β).

We now define the following.Definition 1.1. Let f ∈ A. Then, for β real and |β| < π

2 , f ∈ R∗k(β) if and only if{eiβ z f ′

f

}∈ Pk, z ∈ E, k ≥ 2.

We note that R∗k(0) ≡ Rk, the class of functions of bounded radius rotation, see [3] and R∗2(β) ≡ S∗p(β) and R∗2(0) ≡S∗.Definition 1.2. Let f ∈ A and let, for f (z) f ′(z)

z , 0 in E,

J(α, β, f (z)) =(eiβ− α cos β

) z f ′(z)f (z)

+ α cos β(1 +

z f ′′(z)f ′(z)

). (5)

Then

f ∈M∗k(α, β) if and only if Jk(α, β, f ) ∈ Pk, for z ∈ E, α, β real and |β| <π2.

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1495

We note. as a special case, that the class M∗p(α, 0) coincides with the class of functions with bounded Mocanuvariation, see [2].

Definition 1.3. Let f ∈ Awith f (z) f ′(z)z , 0 in E, and let

J(α, β, γ, f (z)) =

{(eiβ− α cos β

) z f ′(z)f (z)

+α cos β1 − γ

[1 − γ +

z f ′′(z)f ′(z)

]},

for real α, β, |β| < π2 and −1

2 ≤ γ < 1. Then

f ∈ Bk(α, β, γ) ⇐⇒ J(α, β, γ, f ) ∈ Pk for z ∈ E, k ≥ 2.

For any real α, −12 ≤ γ < 1, β = 0, we note that the identity function belongs to Bk(α, 0, γ) so that

Bk(α, β, γ) is not empty in general.

Special Cases.(i) For β = 0, we have the class Bk(α, γ) introduced and studied in [8].

(ii) With k = 2, 0 ≤ α ≤ 1, B2(α, 0, 0) is a subclass ofA introduced by Mocanu [6].

(iii) The class B2(α, 0, γ) consists entirely of univalent functions, see [18].

(iv) B2(α, β, 0) ≡M∗p(α, β).

(v) Bk(0, 0, γ) ≡ Rk, where Rk denotes the class of bounded radius rotation, see [4].

(vi) B2(0, β, 0) ≡ S∗p(β) ⊂ S.

(vii) B2(1, β, 0) ≡ Scp(β).

2. Preliminary Results

In this Section, we recall some known results which we shall need later.Lemma 2.1 [15]. Let p ∈ P for z ∈ E. Then, for s > 0, µ , −1(complex),

Re{

p(z) +szp′(z)

p(z) + µ

}> 0,

for

|z| <|µ + 1|√

A +√

A2 − |µ2 − 1|2, A = 2(s + 1)2 + |µ|2 − 1. (6)

This bound is best possible.

Lemma 2.2 [16]. Let f ∈ A with f (z) f ′(z)z , 0 in E. Then f belongs to the class of Bazilevic (univalent)

functions if and only if, for 0 ≤ θ1 < θ2 ≤ 2π and 0 < r < 1, we have∫ θ2

θ1

[Re

{1 +

z f ′′(z)f ′(z)

+ (ρ − 1)z f ′(z)

f (z)

}− α1Im

z f ′(z)f (z)

]dθ ≥ −π,

where z = reiθ, ρ > 0 and α1 real.

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1496

Lemma 2.3 [5]. Let u = u1 + iu2, v = v1 + iv2 and let Ψ(u, v) be a complex -valued function satisfying theconditions:(i). Ψ(u, v) is continuous in a domainD ⊂ C2.(ii). (1, 0) ∈ D and Ψ(1, 0) > 0.(iii). Re{Ψ(iu2, v1) ≤ 0 whenever (iu2, v1) ∈ D and v1 ≤

−12 (1 + u2

2).If h(z) = 1+c1z+c2z2+. . . , is a function analytic in E, such that (h(z), zh′(z)) ∈ D and Re{Ψ(h(z), zh′(z))} > 0

for z ∈ E, then Reh(z) > 0 in E.

Lemma 2.4 [13]. Let f ∈ R∗2(β) ≡ S∗p(β). Then for each β, |β| < π2 , the following sharp inequality holds.

Rez f ′(z)

f (z)≥

1 − 2(cos β)r + (cos 2β)r2

1 − r2 .

3. Main Results

Theorem 3.1. Let α > 0, |β| < π2 , k ≥ 2. Then M∗k(α, β) ⊂ R∗k(β).

Proof. Let f ∈M∗k(α, β) and let

eiβ z f ′(z)f (z)

=(cos β

)p(z) + i sin β,

where p(z) is analytic in E with p(0) = 1.After simple computation, we have

J(α, β, f (z)) =(eiβ− α cos β

) z f ′(z)f (z)

+ α cos β(1 +

z f ′′(z)f ′(z)

)= (cos β)p(z) + i sin β + α cos2 β

zp′(z)(cos β)p(z) + i sin β

, (7)

and J(α, β, f ) ∈ Pk in E.

Define

Φα,β(z) =1

1 + i tan βz

(1 − z)α+

i tan β1 + i tan β

z(1 − z)α+1 .

Then, using similar convolution technique, see [8], we have(p(z) ?

Φα,β(z)z

)= p(z) +

αzp′(z)p(z) + i tan β

. (8)

Now, from (4), (7) and (8), we have

(cos β)Re

pi(z) +αzp′j(z)

p j(z) + i tan β

> 0, for j = 1, 2 and z ∈ E.

We formulate the functional Ψ(u, v) by choosing u = u1 + iu2 = p j(z) and v = v1 + iv2 = zp′j(z) as

Ψ(u, v) = u +αv

u + i tan β.

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1497

We note that the first two conditions of Lemma 2.3 are clearly satisfied. We verify the third condition asfollows.

ReΨ(iu2, v1) = Re{

αv1

i(u2 + tan β)

}≤ −Re

{α(1 + u2

2)i2(u2 + tan β)

}= Re

{iα(1 + u2

2)2(u2 + tan β)

}= 0.

This shows that all the conditions of Lemma 2.3 are satisfied and therefore p j ∈ P, z ∈ E, j = 1, 2.Consequently p ∈ Pk in E and this completes the proof. �

Theorem 3.2. For 0 < α1 ≤ α2 < 1,, M∗k(α2, β) ⊂M∗k(α1, β).

Proof. Let f ∈M∗k(α2, β). Then

J(α1, β, f (z)) =(1 −

α1

α2

)eiβ z f ′(z)

f (z)

+α1

α2

[(eiβ− α2 cos β

) z f ′(z)f (z)

+ α2 cos β(1 +

z f ′′(z)f ′(z)

)]=

(1 −

α1

α2

)p(z) +

α1

α2h(z) = H(z),

where

p(z) = eiβ z f ′(z)f (z)

∈ Pk, by Theorem 3.1.

h(z) = J(α2, β, f (z)) ∈ Pk, since f ∈M∗k(α2, β).

The class Pk is known [3] to be a convex set, and hence it follows that H ∈ Pk.This implies that f ∈M∗k(α1, β).�

We now deal with the converse case of Theorem 3.2 as follows.Theorem 3.3. Let f ∈ R∗k(β). Then, for α > 0, f ∈M∗k(α, β) for |z| < r0, where

r0 =sec β√

A +√

A2 − sec4 β, A = 2(α + 1)2 + tan2 β − 1. (9)

This result is sharp.Proof. Let

eiβ z f ′(z)f (z)

= (cos β)p(z) + i sin β, p ∈ Pk

where p(z) is given by (4).Proceeding as in Theorem 3.1, we have

J(α, β, f (z)) =

(k4

+12

) [(cos β)p1(z) + i sin β + (α cos2 β)

zp′1(z)

(cos β)p1(z) + i sin β

]−

(k4−

12

) [(cos β)p2(z) + i sin β + (α cos2 β)

zp′2(z)

(cos β)p2(z) + i sin β

]. (10)

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1498

Now, for j = 1, 2

Re

(cos β)p j(z) + i sin β + (α cos2 β)zp′j(z)

(cos β)p j(z) + i sin β

= cos βRe

p j(z) +αzp′j(z)

p j(z) + i tan β

.Using Lemma 2.1, with s = α > 0, µ = i tan β, it follows that

Re

p j(z) +αzp′j(z)

p j(z) + i tan β

> 0, for z < r0,

where r0 is given by (9). Consequently, form (10), it follows that J(α, β, f ) ∈ Pk for |z| < r0 and the proof iscomplete. �

Theorem 3.4. Let f ∈ R∗k(β). Then f ∈ Rk for |z| < rβ, where

rβ =1

cos β + sin β. (11)

This result is sharp.Proof. Let

z f ′(z)f (z)

= p(z) =

(k4

+12

)p1(z) −

(k4−

12

)p2(z),

where p is analytic in E with p(0) = 1. Then

eiβ z f ′(z)f (z)

=

(k4

+12

) (eiβp1(z)

)−

(k4−

12

) (eiβp2(z)

).

Since f ∈ R∗k(β), it follows that eiβp j(z) ∈ Pk, j = 1, 2. Using Lemma 2.4, we have

Re{p j(z)} ≥1 − 2(cos β)r + (cos 2β)r2

1 − r2

and thus it follows that p j ∈ P for |z| < rβ, where rβ is given by (11) The function

p(z) =

(k4

+12

)1 + z1 − z

(k4−

12

)1 − z1 + z

gives us the sharpness. �

Theorem 3.5. Let f ∈ A. Then f ∈ Bk(α, β, γ), α , 0, if and only if, there exists a function 1 ∈ Bk(0, β, γ) ≡R∗k(β) such that

f (z) =

m∫ z

0tm−1

(1(t)

t

) (1−γ)eiβ

α cos β

dt

1m

, (12)

where

m = 1 +(1 − γ)

(eiβ− α cos β

)α cos β

. (13)

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1499

Proof. From (12), we have after some computation,

eiβ z1′(z)1(z)

=(eiβ− α cos β

) z f ′(z)f (z)

+α cos β1 − γ

[1 − γ +

z f ′′(z)f ′(z)

]= J(α, β, γ, f (z)).

If the right hand side belongs to Pk, so does the left hand side and conversely. �

Theorem 3.6. Let f ∈ Bk(α, β, γ). Then the function 1 ∈ R∗k(β), where(1(z)

z

)eiβ

=

(f (z)z

)eiβ−α cos β (

f ′(z)) α cos β

1−γ . (14)

Proof. Logarithmic differentiation of (14) and simple calculations yield

eiβ z1′(z)1(z)

=(eiβ− α cos β

) z f ′(z)f (z)

+α cos β1 − γ

[1 − γ +

z f ′′(z)f ′(z)

],

and since f ∈ Bk(α, β, γ), we immediately obtain the required result. �

Theorem 3.7. Bk(α, β, γ) ⊂ Bk(α1, β, γ), 0 ≤ α1 < α.

Proof. Let f ∈ Bk(α, β, γ). Now

11 − γ

[(eiβ− α1 cos β

)(1 − γ)

z f ′(z)f (z)

+ α1 cos β(1 − γ +

z f ′′(z)f ′(z)

)]=α1

α

[(eiβ− α cos β

) z f ′(z)f (z)

+α cos β1 − γ

(1 − γ +

z f ′′(z)f ′(z)

)]−

(α1 − αα

)eiβ z f ′(z)

f (z)

=α1

αH1(z) +

(1 −

α1

α

)H2(z) = H(z),

where

H1 =(eiβ− α cos β

) z f ′

f+α cos β1 − γ

(1 − γ +

z f ′′

f ′

)∈ Pk

H2 = eiβ z f ′

f∈ Pk, (by Theorem 3.1. ).

Since Pk is a convex set [11], H ∈ Pk and this completes the proof. �

Theorem 3.8. Let f ∈ Bk(α, β, γ), α > 0. Then f is univalent in E for

k ≤2[α cos β(1 + 2γ) + 1 − γ]

1 − γ.

Proof. Let f ∈ Bk(α, β, γ). Then

H(z) =

{(eiβ− α cos β

) z f ′(z)f (z)

+α cos β1 − γ

(1 − γ +

z f ′′(z)f ′(z)

)}∈ Pk, z ∈ E.

That is[(1 − γ) cos β + αγ cos β

α cos β− 1

]z f ′(z)

f (z)+

(z f ′(z)

)′f ′(z)

+ i[

(1 − γ) sin βα cos β

]z f ′(z)

f (z)= H(z) + γ.

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1500

Therefore, for 0 ≤ θ1 < θ2 ≤ 2π, z = reiθ, we have∫ θ2

θ1

{Re

[1 +

z f ′′(z)f ′(z)

+ (β1 − 1)z f ′(z)

f (z)

]− α1Im

z f ′(z)f (z)

}dθ

> −

[(k2− 1

) (1 − γα cos β

)π − 2γπ

],

where

β1 =(1 − γ) cos β + αγ cos β

α cos β=

1 − γ + αγ

α

α1 =1 − γα

tan β.

Using lemma 2.2, it follows that f is univalent if[(k2− 1

) (1 − γα cos β

)− 2γ

]≤ 1

and this proves the result. �

Theorem 3.9. Let f ∈ Bk(α, β, γ), α > 0 and let Lr( f ) denote the length of the curve C,

C = f (reiθ), 0 ≤ θ ≤ 2π, and M(r) = max0≤θ≤2π

∣∣∣ f (reiθ)∣∣∣ .

Then, for 0 < r < 1,

Lr( f ) ≤πM(r)α cos β

[k(1 +

∣∣∣α cos β − eiβ∣∣∣) +

2αγ cos β1 − γ

], 0 < α < 2

k(1 +

√α(α − 2) cos2 β + 1

)+

2αγ cos β1 − γ

, α ≥ 2

(15)

Proof. With z = reiθ, and integration by parts, we have

Lr( f ) =

∫ 2π

0

∣∣∣z f ′(z)∣∣∣ dθ =

∫ 2π

0z f ′(z)e−i arg(z f ′(z))dθ

=

∫ 2π

0f (z)e−i arg(z f ′(z))Re

{(z f ′(z)

)′f ′(z)

}dθ

≤M(r)α cos β

∫ 2π

0

∣∣∣∣∣∣Re{

J(α, β, γ, f (z)) +(α cos β − eiβ

) z f ′(z)f (z)

+αγ cos β

1 − γ

}∣∣∣∣∣∣ dθ≤

M(r)α cos β

∫ 2π

0

∣∣∣ReJ(α, β, γ, f (z))∣∣∣ dθ

+M(r)α cos β

[∣∣∣α cos β − eiβ∣∣∣ ∫ 2π

0

∣∣∣∣∣Rez f ′(z)

f (z)

∣∣∣∣∣ dθ +

∫ 2π

0

∣∣∣∣∣Reαγ cos β

1 − γ

∣∣∣∣∣ dθ]≤

M(r)α cos β

[kπ +

∣∣∣α cos β − eiβ∣∣∣ (kπ) +

2αγ cos β1 − γ

π

],

and this gives us the required result. �

Remark 3.1. For α > 0 and f ∈ Bk(α, β, γ), we can write (3.9) as

Lr( f ) ≤πM(r)α cos β

{k(2 + α cos β) +

2αγ cos β1 − γ

}.

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1501

Theorem 3.10. Let f ∈ Bk(α, β, γ), α > 0 and be given by (1). Then, for n ≥ 2,

n|an| = O(1)M(n − 1

n

),

where O(1) is a constant depending on α, β, γ and k only.Proof. The result follows immediately from Theorem 3.9, since

n|an| ≤1

2πrn

∫ 2π

0

∣∣∣z f ′(z)∣∣∣ dθ =

12πrn Lr( f ).

�Theorem 3.11. The class Bk(0, β, γ) is preserved under the integral operator Ic( f ) defined as follows.

Ic( f ) = F(z) =c + 1

zc

∫ z

0tc−1 f (t)dt, c > 0. (16)

Proof. Set

eiβ zF′(z)F(z)

= (cos β)p(z) + i sin β

=

(k4

+12

) [(cos β)p1(z) + i sin β

]−

(k4−

12

) [(cos β)p2(z) + i sin β

], (17)

where p(z) is analytic in E with p(0) = 1. Then, from (16), we have

eiβ z f ′(z)f (z)

= cos β[p(z) + i sin β +

zp′(z)p(z) + c sec β + i tan β

]. (18)

Define

Φc,β(z) =

(1

1 + c sec β + i tan β

)z

1 − z+

(c sec β + i tan β

1 + c sec β + i tan β

)z

(1 − z)2 .

Then (p(z) ?

Φc,β(z)z

)=

[p(z) +

zp′(z)p(z) + c sec β + i tan β

]. (19)

From (17), (18) and (19), we have

eiβ z f ′(z)f (z)

=

(k4

+12

) (cos β)p1(z) + i sin β +(cos2 β)zp′1(z)

(cos β)p1(z) + c + i sin β

(k4−

12

) ((cos β)p2(z) + i sin β +

(cos2 β)zp′2(z)(cos β)p2(z) + c + i sin β

].

Since

eiβ z f ′(z)f (z)

∈ Pk, for z ∈ E,

it follows that

Re

(cos β)p j(z) + i sin β +(cos2 β)zp′j(z)

(cos β)p j(z) + c + i sin β

> 0, z ∈ E, j = 1, 2.

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1502

We want to show that Re{p j(z)} > 0 in E, which will imply that p ∈ Pk in E. We proceed by performing thefunctional Ψ(u, v) with u = u1 + iu2 = p j(z) and v = v1 + iv2 = zp′j(z). Thus

Ψ(u, v) = u + i tan β +v

u + c sec β + i tan β.

The first two conditions of Lemma 2.3 are clearly satisfied. We verify the condition (iii) as follows.

ReΨ(iu2, v1) = Re[

v1

c sec β + i(u2 + tan β)

]=

c(sec β)v1

c2 sec2 β + (u2 + tan β)2

≤−12

c sec β(1 + u22)

c2 sec2 β + (u2 + tan β)2 ≤ 0.

This proves Re{p j(z)} > 0, j = 1, 2 and the proof is complete. �

Using the similar technique of Theorem 3.3, we can easily prove the converse case of Theorem 3.11 asfollows.

Theorem 3.12. Let F ∈ Bk(0, β, γ) and be defined by (16). Then f ∈ Bk(0, β, γ) for |z| < r1, where thevalue of r1 is exact and is given by (6) in Lemma 2.1 with s = 1 and µ =

(c sec β + i tan β

).

Conclusion. In this paper, we have used the concept of bounded Mocanu variation to introduce somenew classes of analytic functions in the unit disk. The main results in the paper deal with containmentproperties between such classes and some distortion estimates. We have also discussed several specialscases of our main results. The ideas and techniques of this work may motivate and inspire the others toexplore this interesting field further.

Acknowledgement. The authors would like to thank Dr. S. M. Junaid Zaidi, Rector, CIIT, for providingexcellent research facilities. The authors are grateful to the referees for their constructive and valuablesuggestions. This research is supported by HEC NRPU project No: 20 − 1966/R&D/11 − 2553.

References

[1] M. Caglar, H. Ohan and E. Deniz, Majorization for certain subclass of analytic functions involving the generalized Noor integraloperator, Filomat, 27(1)(2013), 143-148.

[2] H. B. Coonce and M. R. Ziegler, Functions with bounded Mocanu variation, Rev. Roum. Math. Pure Appl. 19(1974), 1093-1104.[3] A. W. Goodman, Univalent Functions, Vols. I, II, Polygonal House, Washington, N. J., 1983.[4] V. Karunakaran and K. Padma, Functions of bounded radius rotation, Indian J. Pure Appl. Math. 12(1981), 621-627.[5] S. S. Miller, Differential inequalities and Caratheodory functions, Bull. Amer. Math. Soc. 81(1975), 79-81.[6] P. T. Mocanu, Une propriete de convexite generalisee dans la theorie de la representation conforme, Mathematica(Cluj), 11(1969),

127-133.[7] K. I. Noor and S. Z. H. Bukhari, Some subclasses of analytic and spiral-like functions of complex order involving the Srivastava-

Attiya integral operators, Integral Transform. Speci. Funct. 2(1)(2010), 907-916.[8] K. I. Noor and A. Muhammad, On analytic functions with generalized bounded Mocanu variation, Appl. Math. Comput.

196(2008), 802-811.[9] M. Obradovic and P. Ponnusanny, Radius of univalence of certain class of analytic functions, Filomat, 27(2013), 1085-1090.

[10] H. Orhan, D. Raducanu, M. Caglar and M. Bayram, Coefficent estimates and other properties for a class of spirallike functionsassociated with a differential opertaor, Abst. Appl. Anal. 2013(2013): Article ID 415319, 7 pages.

[11] B. Pinchuk, Functions with bounded boundary rotation, Isr. J. Math., 10(1971), 7-16.[12] Y. Polatoglu and A. Sen, Some results on subclasses of Janowski λ-spirallike functions of complex order, Gen. Math. 15(2-3)(2007),

88-97.[13] M. S. Robertson, Radii of starlikeness and close-to-convexity, Proc. Amer. Math. Soc. 16(1965), 847-852.[14] F. Ronning, PC-fractions and Szego-polynomials associated with starlike functions, Numer. Algorithms, 3(1992), 383-392.

K. I. Noor et al. / Filomat 28:7 (2014), 1493–1503 1503

[15] S. Ruscheweyh and V. Singh, On certain extremal problems for functions with positive real part, Proc. Amer. Math. Soc. 61(1976),329-334.

[16] T. Shiel-Small, On Bazilevic functions, Quart. J. Math. 23(1972), 135-142.[17] H. M. Srivastava, S. Bulut, M. Caglar and N. Yagmur, Coefficient estimates for a general subclass of analytic and bi-univalent

functions, Filomat, 27(5)(2013), 831-842.[18] K. C. Tarabicka, J. Godula and E. Zlotkiewicz, On a class of Bazilevic functions, Ann. Univ.. Marie Curie-Sklodowska, 33(1979),

45-56.[19] P. G. Umarani, On a subclass of spiral-like functions, Indian J. Pure Appl. Math. 10(1979), 1292-1297.[20] Q.-H. Xu, C.-B. Lv and H. M. Srivastava, Coefficient estimates for the inverses of a certain general class of spirallike functions,

Appl. Math. Comput. 219(2013), 7000-7011.[21] Q.-H. Xu, H.-G. Xiao and H. M. Srivastava, A certain general subclass of analytic and bi-univalent functions and associated

coefficient estimates problems, Appl. Math. Comput. 218(2012), 11461-11465.[22] H. Yoshikawa, On a subclass of spiral-like functions, Mem. Fac. Sci. Kyushu Univ. A. 25(1971), 271-279.