#### Abstract

By making use of the differential subordination analytic functions, we investigate inclusion relationships among certain classes of analytic and -valent functions defined by generalized linear operator.

#### 1. Introduction

Let denote the class of functions of the form which are analytic and valent in the open unit disc

For functions , given by (1) and given by the Hadamard product (or convolution) of and is defined by

For , we say that the function is subordinate to denoted by , if there exists a Schwarz function , that is, with and , such that for all . It is well known that, if the function is univalent in , then is equivalent to and (see [1, 2]).

Now, we introduce the linear multiplier operator by It is easily verified from (4) that By specializing the parameters , , , , and , we obtain the following operators:(i) (see [3]);(ii) (see [4, 5]); (iii) (see [6, 7]); (iv) (see [8]); (v) (see [9, 10]);(vi) (see [11]); (vii) (see [12]); (viii) (see [13]); (ix) (see [14]).

By using the multiplier operator , we define the following classes of functions.

*Definition 1. *For fixed parameters and , with and , we say that the function is in the class if it satisfies the following subordination condition:
We note that(i) was studied by Cho et al. [15]; (ii) was studied by Aouf et al. [16]; (iii) was studied by Patel [17].

For complex numbers , , and , the Gaussian hypergeometric function is defined by
where and . The series (8) converges absolutely for , hence it represents an analytic function in (see [18, Chapter 14]).

If , from the fact that , we deduce that the image is symmetric with respect to the real axis, and that maps the unit disc onto the disc . If , the function maps the unit disc onto the half plan , hence we obtain the following.

*Remark 2. *The function is in the class if and only if

*Definition 3. *The function is in the class if it satisfies the following the inequality:
where ; from (9) and (10) it follows, respectively, that
We note that when and , the class was studied by Aouf et al. [16].

Let us consider the first-order differential subordination

A univalent function is called its dominant, if for all analytic functions that satisfy this differential subordination. A dominant is called the best dominant, if for all dominants . For the general theory of the first-order differential subordination and its applications, we refer the reader to [1, 2].

The object of the present paper is to obtain several inclusion relationships and other interesting properties of functions belonging to the subclasses and by using the theory of differential subordination.

To establish our main results, we will require the following lemmas.

Lemma 4 (see [19]). *Let *, and let be a convex *function with*

If is analytic in , with , then

Lemma 5 (see [20]). *Let , and consider the integral operator defined by
**
where the powers are the principal ones.**If then the order of starlikeness of the class , that is, the largest number such that , is given by the number , where
**Moreover, if , where and with , then
**
where
*

Lemma 6 (see [21]). *Let * *be *analytic* in ** with * and for , and let with , .

(i) Let and satisfy either or . If satisfies then and this is the best dominant.

(ii) Let be such that , and if satisfies then and this is the best dominant.

#### 2. Inclusion Relationships

Unless otherwise mentioned, we assume throughout this paper that and the power is the principal one.

Theorem 7. *Let
*(1)*Supposing that for all , then .*(2)*Moreover, if we suppose in addition that
**then
**
where the bound
**
is the best possible.*

* Proof. *Let , and put
the function is analytic in , with and . Differentiating (29) logarithmically with respect to , we have
then, using (5) in (30), we obtain
By differentiating both sides of (31) logarithmically with respect to and multiplying by , we have
Combining (32) together with , we obtain that the function satisfies the Briot-Bouquet differential subordination as follows:

Now we will use Lemma 4 for the special case and . Since is a convex function in , a simple computation shows that
whenever (25) holds, we have ; that is, . If in addition, we suppose that the inequality (26) holds, then all the assumptions of Lemma 5 are verified for the above values of , , and . Then it follows the inclusion , where the bound given by (28) is the best possible.

From Theorem 7, according to the definitions (7) and (11), we deduce the next inclusions.

Corollary 8. *Let , such that (25) holds.*(1)*Supposing that for all , then
*(2)*If we suppose in addition that (26) holds, then
**where is given by (28). As a consequence of the last inclusion, one has .**For the special case , Theorem 7 reduces to the following.*

Corollary 9. *Let .*(1)*Supposing that for all , then*(2)*If we suppose in addition that
**then
**
where the bound
**
is the best possible.*

Theorem 10. *Let *, where and , then for , where

*Proof. *Since , the function given by
is analytic in with and . Using (5) in (42) and taking the logarithmic differentiation in the resulting equation, we obtain
If we denote , then and and substituting in (43) we obtain
hence
By using the well-known results [22]
together with the inequality (45), we get
Since the right hand side term of the inequality (47) is nonnegative whenever is given by (41), using the fact that the real part of an analytic function is harmonic, we deduce that for .

For a function , let the integral operator defined by Saitoh [23] and Saitoh et al. [24]
From (4) and (48), we have

We now prove the next result.

Theorem 11. * Let and
*(i)

*Supposing that for all , then*(ii)

*Moreover, if we suppose in addition that*

*then*

*where the bound*

*is the best possible.*

*Proof. *Let , and suppose that for all . Let
then is analytic in , with and . Taking the logarithmic differentiation in (55), we have
Now, by using (49) in (56), we obtain
By differentiating in both sides of (57) logarithmical with respect to and multiplying by , we have
Since , from (58), we obtain that the function satisfies the Briot-Bouquet differential subordination

Now we will use Lemma 4 for the special case and ; we have , that is, . If we suppose in addition that the inequality (52) holds, then all the assumptions of the Lemma 5 are satisfied for , , and , hence it follows the inclusion , and the bound given by (54) is the best possible.

Taking in Theorem 11, we obtain the next corollary.

Corollary 12. *Let and .*(1)*Supposing that for all , then*(2)*If we suppose in addition that
**then
**
where the bound
**
is the best possible.*

Theorem 13. *Let , and let with and . Suppose that
**
If with for all , then
**
implies
**
where
**
is the best dominant.*

*Proof. *Let us put
then is analytic in , with and for all . By differentiating both sides of (68) logarithmical with respect to and using (5), we have
Now the assertions of Theorem 13 follows by using Lemma 6 for the special case .

Putting and , in Theorem 13, we obtain the following corollary.

Corollary 14. *Assume that satisfies either
**
If with for all , then
**
implies
**
and is the best dominant.*

#### 3. Properties Involving the Multiplier Operator

Theorem 15. *If , then for all , with , and , the next subordination holds
*

*Proof. *If , from (7) it follows that
Moreover, the function defined by (74) and the function given by
are convex in . By combining a general subordination theorem [25, Theorem 4] with (74), we get
For every analytic function in with , we have
and thus, from (76) and (77), we deduce
This last subordination implies
and by simplification, we get the assertion of Theorem 15.

Corollary 16. *If , then for the next inequalities hold
**
All of the estimates asserted here are sharp.*

* Proof. *Taking and in (73) and using the definition of subordination, we obtain
where is analytic function in with and for . According to the well-known Schwarz's theorem, we have for all .(i)If , then we find from (83) that
(ii)If , we can easily obtain
This proves the inequality (80) for . Similarly, we can prove the other inequalities in (80) and (81). Now, for and , we observe from (83) that
and for , (82) is a direct consequence of (83).

It is easy to see that all of the estimates in Corollary 16 are sharp, being attained by the function defined by

*Remark 17. *(i) Putting and in our results, we obtain the results obtained by Aouf et al. [16].

(ii) By specializing the parameters , and , we obtain various results for different operators defined in Section 1.

#### Acknowledgment

The authors thank the referees for their valuable suggestions which led to improvement of this paper.