## Journal of Inequalities and Applications

Impact Factor 0.791

Open Access

# On Bounded Boundary and Bounded Radius Rotations

Journal of Inequalities and Applications20092009:813687

DOI: 10.1155/2009/813687

Received: 6 January 2009

Accepted: 19 March 2009

Published: 31 March 2009

## Abstract

We establish a relation between the functions of bounded boundary and bounded radius rotations by using three different techniques. A well-known result is observed as a special case from our main result. An interesting application of our work is also being investigated.

## 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

## Declarations

### Acknowledgments

The authors are grateful to Dr. S. M. Junaid Zaidi, Rector, CIIT, for providing excellent research facilities and the referee for his/her useful suggestions on the earlier version of this paper. W. Ul-Haq and M. Arif greatly acknowledge the financial assistance by the HEC, Packistan, in the form of scholarship under indigenous Ph.D fellowship.

## Authors’ Affiliations

(1)
Department of Mathematics, COMSATS Institute of Information Technology

## References

1. Pinchuk B: Functions of bounded boundary rotation. Israel Journal of Mathematics 1971,10(1):6–16. 10.1007/BF02771515
2. Padmanabhan KS, Parvatham R: Properties of a class of functions with bounded boundary rotation. Annales Polonici Mathematici 1975,31(3):311–323.
3. Noor KI: Some properties of certain analytic functions. Journal of Natural Geometry 1995,7(1):11–20.
4. Noor KI: On some subclasses of functions with bounded radius and bounded boundary rotation. Panamerican Mathematical Journal 1996,6(1):75–81.
5. Noor KI: On analytic functions related to certain family of integral operators. Journal of Inequalities in Pure and Applied Mathematics 2006,7(2, article 69):-6.Google Scholar
6. Goel RM: Functions starlike and convex of order A. Journal of the London Mathematical Society. Second Series 1974,s2–9(1):128–130.
7. Brannan DA: On functions of bounded boundary rotation. I. Proceedings of the Edinburgh Mathematical Society. Series II 1969, 16: 339–347. 10.1017/S001309150001302X
8. Pinchuk B: On starlike and convex functions of order . Duke Mathematical Journal 1968, 35: 721–734. 10.1215/S0012-7094-68-03575-8
9. Miller SS: Differential inequalities and Carathéodory functions. Bulletin of the American Mathematical Society 1975, 81: 79–81. 10.1090/S0002-9904-1975-13643-3
10. Miller SS, Mocanu PT: Differential Subordinations: Theory and Application, Monographs and Textbooks in Pure and Applied Mathematics. Volume 225. Marcel Dekker, New York, NY, USA; 2000:xii+459.Google Scholar
11. Nahari Z: Conformal Mappings. Dover, New York, NY, USA; 1952.Google Scholar
12. Jack IS: Functions starlike and convex of order . Journal of the London Mathematical Society. Second Series 1971, 3: 469–474. 10.1112/jlms/s2-3.3.469
13. MacGregor TH: A subordination for convex functions of order . Journal of the London Mathematical Society. Second Series 1975, 9: 530–536. 10.1112/jlms/s2-9.4.530