1. Introduction

Let be the class of functions of the form

(1.1)

which are analytic in the unit disc . We say that is subordinate to , written as , if there exists a Schwarz function , which (by definition) is analytic in with and , such that . In particular, when is univalent, then the above subordination is equivalent to and .

For any two analytic functions

(1.2)

the convolution (Hadamard product) of and is defined by

(1.3)

We denote by the classes of starlike and convex functions of order , respectively, defined by

(1.4)

For , we have the well-known classes of starlike and convex univalent functions denoted by and , respectively.

Let be the class of functions analytic in the unit disc satisfying the properties and

(1.5)

where , and For we obtain the class introduced in [1]. Also, for ,we can write , We can also write, for ,

(1.6)

where is a function with bounded variation on such that

(1.7)

For (1.6) together with (1.7), see [2]. Since has a bounded variation on , we may write where and are two non-negative increasing functions on satisfying (1.7) Thus, if we set and then (1.6) becomes

(1.8)

Now, using Herglotz-Stieltjes formula for the class and (1.8), we obtain

(1.9)

where is the class of functions with real part greater than and , for , .

We define the following classes:

(1.10)

We note that

(1.11)

For we obtain the well-known classes and of analytic functions with bounded radius and bounded boundary rotations, respectively. These classes are studied by Noor [35] in more details. Also it can easily be seen that and

Goel [6] proved that implies that where

(1.12)

and this result is sharp.

In this paper, we prove the result of Goel [6] for the classes and by using three different methods. The first one is the same as done by Goel [6] while the second and third are the convolution and subordination techniques.

2. Preliminary Results

We need the following results to obtain our results.

Lemma 2.1.

Let . Then there exist such that

(2.1)

Proof.

It can easily be shown that if and only if there exists such that

(2.2)

From Brannan [7] representation form for functions with bounded boundary rotations, we have

(2.3)

Now, it is shown in [8] that for , we can write

(2.4)

Using (2.3) together with (2.4) in (2.2), we obtain the required result.

Lemma 2.2 (see [9]).

Let , , and be a complex-valued function satisfying the conditions:

(i) is continuous in a domain

(ii) and

(iii) whenever and

If is a function analytic in such that and for then in

Lemma 2.3.

Let , and , with

(2.5)

If

(2.6)

then

(2.7)

where

(2.8)

denotes Gauss hypergeometric function. From (2.7), one can deduce the sharp result that with

(2.9)

This result is a special case of the one given in [10, page 113].

3. Main Results

By using the same method as that of Goel [6], we prove the following result. We include all the details for the sake of completeness.

3.1. First Method

Theorem 3.1.

Let . Then , where is given by (1.12). This result is sharp.

Proof.

Since , we use Lemma 2.1, with relation (1.11) to have

(3.1)

where and ,

Therefore, from (2.4), we have

(3.2)

that is,

(3.3)

where we integrate along the straight line segment ,

Writing

(3.4)

and using (3.3) we have

(3.5)

where and hence by [11] we have

(3.6)

Therefore,

(3.7)

Let and , . For fixed and , we have from (2.4)

(3.8)

Now, using (3.8), we have, for a fixed ,

(3.9)

Let

(3.10)

with , , we have

(3.11)

By differentiating we note that

(3.12)

and therefore is a monotone increasing function of and hence

(3.13)

By letting

(3.14)

for all , we obtain the required result from (3.7), (3.13), and (3.14).

Sharpness can be shown by the function given by

(3.15)

It is easy to check that where is the exact value given by (1.12).

3.2. Second Method

Theorem 3.2.

Let Then , where

(3.16)

Proof.

Let

(3.17)

is analytic in with Then

(3.18)

that is,

(3.19)

Since it implies that

(3.20)

We define

(3.21)

with By using (3.17) with convolution techniques, see [5], we have that

(3.22)

implies

(3.23)

Thus, from (3.20) and (3.23), we have

(3.24)

We now form the functional by choosing in (3.24) and note that the first two conditions of Lemma 2.2 are clearly satisfied. We check condition (iii) as follows:

(3.25)

where

(3.26)

The right-hand side of (3.25) is negative if and From , we have

(3.27)

and from it follows that

Since all the conditions of Lemma 2.2 are satisfied, it follows that in for and consequently and hence , where is given by (3.16). The case is discussed in [12].

3.3. Third Method

Theorem 3.3.

Let . Then , where

(3.28)

Proof.

Let

(3.29)

and let

(3.30)

Then are analytic in with

Logarithmic differentiation yields

(3.31)

Since it follows that , or for Consequently,

(3.32)

where , We use Lemma 2.3 with and in (3.32), to have where is given in (3.28) and this estimate is best possible, extremal function is given by

(3.33)

see [10]. MacGregor [13] conjectured the exact value given by (3.28). Thus and consequently where the exact value of is given by (3.28).

3.4. Application of Theorem 3.3

Theorem 3.4.

Let and belong to . Then , defined by

(3.34)

is in the class , where , , and is given by (1.12).

Proof.

From (3.34), we can easily write

(3.35)

Since and belong to , then, by Theorem 3.3, and belong to , where is given by (1.12). Using

(3.36)

in (3.35), we have

(3.37)

Now by using the well-known fact that the class is a convex set together with (3.37), we obtain the required result.

For , , and , we have the following interesting corollary.

Corollary 3.5.

Let belongs to . Then , defined by

(3.38)

is in the class