# Subordination properties for a general class of integral operators involving meromorphically multivalent functions

Nak Eun Cho1* and Rekha Srivastava2

Author Affiliations

1 Department of Applied Mathematics, Pukyong National University, Busan, 608-737, Korea

2 Department of Mathematics and Statistics, University of Victoria, Victoria, BC, V8W 3R4, Canada

For all author emails, please log on.

Advances in Difference Equations 2013, 2013:93  doi:10.1186/1687-1847-2013-93

 Received: 14 January 2013 Accepted: 14 March 2013 Published: 5 April 2013

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

### Abstract

The purpose of the present paper is to investigate some subordination- and superordination-preserving properties of certain nonlinear integral operators defined on the space of meromorphically p-valent functions in the punctured open unit disk. The sandwich-type theorems associated with these integral operators are established. Relevant connections of the various results presented here with those involving relatively simpler nonlinear integral operators are also indicated.

MSC: 30C45, 30C80.

##### Keywords:
differential subordination; differential superordination; meromorphic functions; integral operators; convex functions; close-to-convex functions; subordination (or Löwner) chain

### 1 Introduction, definitions and preliminaries

Let H = H ( U ) denote the class of analytic functions in the open unit disk

U = { z : z C  and  | z | < 1 } .

For a C and n N = { 1 , 2 , 3 , } , let

H [ a , n ] = { f H : f ( z ) = a + a n z n + a n + 1 z n + 1 + } .

Let f and F be members of ℋ. The function f is said to be subordinate to F, or F is said to be superordinate to f, if there exists a function w analytic in U , with

w ( 0 ) = 0 and | w ( z ) | < 1 ( z U ) ,

such that

f ( z ) = F ( w ( z ) ) ( z U ) .

In such a case, we write

f F or f ( z ) F ( z ) ( z U ) .

Furthermore, if the function F is univalent in U , then we have (cf.[1,2] and [3])

f F f ( 0 ) = F ( 0 ) and f ( U ) F ( U ) .

Definition 1 (Miller and Mocanu [1])

Let

ϕ : C 2 C ,

and let h be univalent in U . If p is analytic in U and satisfies the differential subordination

ϕ ( p ( z ) , z p ( z ) ) h ( z ) ( z U ) , (1.1)

then p is called a solution of the differential subordination. The univalent function q is called a dominant of the solutions of the differential subordination or, more simply, a dominant if

p q ( z U )

for all p satisfying (1.1). A dominant q ˜ that satisfies the following condition:

q ˜ q ( z U )

for all dominants q of (1.1) is said to be the best dominant.

Definition 2 (Miller and Mocanu [4])

Let

φ : C 2 C ,

and let h be analytic in U . If p and φ ( p ( z ) , z p ( z ) ) are univalent in U and satisfy the differential superordination

h ( z ) φ ( p ( z ) , z p ( z ) ) ( z U ) , (1.2)

then p is called a solution of the differential superordination. An analytic function q is called a subordinant of the solutions of the differential superordination or, more simply, a subordinant if

q p ( z U )

for all p satisfying (1.2). A univalent subordinant q ˜ that satisfies the following condition:

q q ˜ ( z U )

for all subordinants q of (1.2) is said to be the best subordinant.

Definition 3 (Miller and Mocanu [4])

We denote by Q the class of functions f that are analytic and injective on U ¯ E ( f ) , where

E ( f ) = { ζ : ζ U  and  lim z ζ f ( z ) = } ,

and are such that

f ( ζ ) 0 ( ζ U E ( f ) ) .

We also denote the class D by

D : = { φ H [ 1 , 1 ] : φ ( 0 ) = 1  and  φ ( z ) 0 ( z U ) } .

Let Σ p denote the class of functions of the form

f ( z ) = 1 z p + a 0 z p 1 + a 1 z p 2 + + a n + p 1 z n + ( p N )

which are analytic in the punctured open unit disk D = U { 0 } . Let Σ and Σ k be the subclasses of Σ 1 consisting of all functions which are, respectively, meromorphically starlike and meromorphically convex in D (see, for details, [1,5]).

For a function f Σ p , we introduce the following general integral operator I α , β , γ , δ ϕ , φ defined by

I α , β , γ , δ ϕ , φ ( f ) ( z ) : = ( γ p β z γ ϕ ( z ) 0 z t δ 1 f α ( t ) φ ( t ) d t ) 1 / β ( f Σ p ; α , β , γ , δ C ; β C { 0 } ; δ p α = γ p β ; R { γ p β } > 0 ; ϕ , φ D ) . (1.3)

Several members of the family of integral operators I α , β , γ , δ ϕ , φ ( f ) defined by (1) have been extensively studied by many authors (see, for example, [6-10]; see also [11] and [12]) with suitable restrictions on the parameters α, β, γ and δ, and for f belonging to some favored subclasses of meromorphic functions. In particular, Bajpai [6] showed that the integral operator I 1 , 2 , 1 , 1 1 , 1 ( f ) belongs to the classes Σ and Σ k , whenever f belongs to the classes Σ and Σ k , respectively.

Making use of the principle of subordination between analytic functions, Miller et al.[13] and, more recently, Owa and Srivastava [14] obtained some interesting subordination-preserving properties for certain integral operators. Moreover, Miller and Mocanu [4] considered differential superordinations as the dual concept of differential subordinations (see also [15]). It should be remarked that in recent years several authors obtained many interesting results involving various integral operators associated with differential subordination and superordination (for example, see [5,16-18]). In the present paper, we obtain the subordination- and superordination-preserving properties of the general integral operator I α , β , γ , δ ϕ , φ defined by (1) with the sandwich-type theorem.

The following lemmas will be required in our present investigation.

Lemma 1 (Miller and Mocanu [19])

Suppose that the function

H : C 2 C

satisfies the following condition:

R { H ( i s , t ) } 0

for all realsand for alltwith

t n ( 1 + s 2 ) 2 ( n N ) .

If the function

p ( z ) = 1 + p n z n +

is analytic in U and

R { H ( p ( z ) , z p ( z ) ) } > 0 ( z U ) ,

then

R { p ( z ) } > 0 ( z U ) .

Lemma 2 (Miller and Mocanu [20])

Let

β , γ C ( β 0 ) and h H ( U ) ( h ( 0 ) = c ) .

If

R { β h ( z ) + γ } > 0 ( z U ) ,

then the solution of the differential equation

q ( z ) + z q ( z ) β q ( z ) + γ = h ( z ) ( z U ; q ( 0 ) = c )

is analytic in U and satisfies the following inequality:

R { β q ( z ) + γ } > 0 ( z U ) .

Lemma 3 (Miller and Mocanu [1])

Let

p Q ( p ( 0 ) = a ) ,

and let

q ( z ) = a + a n z n +

be analytic in U with

q ( z ) a and n N .

If the functionqis not subordinate to p , then there exist points

z 0 = r 0 e i θ U and ζ 0 U E ( f ) ,

for which

q ( U r 0 ) p ( U ) , q ( z 0 ) = p ( ζ 0 ) and z 0 q ( z 0 ) = m ζ 0 p ( ζ 0 ) ( m n ) .

Let

N : = N ( c ) = | c | 1 + 2 R ( c ) + I ( c ) R ( c ) ( c C ; R ( c ) > 0 ) .

If R is the univalent function defined in U by

R ( z ) = 2 N z 1 z 2 ( z U ) ,

then the open door function (see [1]) is defined by

R c ( z ) : = R ( z + b 1 + b ¯ z ) ( b = R 1 ( c ) ; z U ) . (1.4)

Remark 1 The function R c defined by (1.4) is univalent in U , where R c ( 0 ) = c , and R c ( U ) = R ( U ) is the complex plane with slits along the half-lines given by

R ( w ) = 0 and | I ( w ) | N .

Lemma 4 (Totoi [21])

Let α , β , γ , δ C with

β 0 , δ p α = γ p β , R { γ p β } > 0 and ϕ , φ D .

If f Σ α , β , γ , δ ϕ , φ , where

Σ α , β , γ , δ ϕ , φ : = { f Σ p : α z f ( z ) f ( z ) + z φ ( z ) φ ( z ) + δ R δ p α ( z ) } (1.5)

and R δ p α ( z ) is defined by (1.4) with c = δ p α , then

I α , β , γ , δ ϕ , φ ( f ) ( z ) Σ p , z p I α , β , γ , δ ϕ , φ ( f ) ( z ) 0 ( z U )

and

R { β z ( I α , β , γ , δ ϕ , φ ( f ) ( z ) ) I α , β , γ , δ ϕ , φ ( f ) ( z ) + z ϕ ( z ) ϕ ( z ) + γ } > 0 ( z U ) ,

where I α , β , γ , δ ϕ , φ is the integral operator defined by (1).

A function L ( z , t ) defined on U × [ 0 , ) is the subordination chain (or Löwner chain) if L ( , t ) is analytic and univalent in U for all t [ 0 , ) , L ( z , ) is continuously differentiable on [ 0 , ) for all z U and

L ( z , s ) L ( z , t ) ( z U ; 0 s < t ) . (1.6)

Lemma 5 (Miller and Mocanu [4])

Let

q H [ a , 1 ] and μ : C 2 C .

Also set

μ ( q ( z ) , z q ( z ) ) = : h ( z ) ( z U ) .

If

L ( z , t ) = μ ( q ( z ) , t z q ( z ) )

is a subordination chain and

p H [ a , 1 ] Q ,

then the following subordination condition:

h ( z ) μ ( p ( z ) , z p ( z ) ) ( z U ) (1.7)

implies that

q ( z ) p ( z ) ( z U ) .

Furthermore, if

μ ( q ( z ) , z q ( z ) ) = h ( z )

has a univalent solution q Q , thenqis the best subordinant.

Lemma 6 (Pommerenke [22])

The function

L ( z , t ) = a 1 ( t ) z +

with

a 1 ( t ) 0 and lim t | a 1 ( t ) | = .

Suppose that L ( , t ) is analytic in U for all t 0 and that L ( z , ) is continuously differentiable on [ 0 , ) for all z U . If the function L ( z , t ) satisfies the following inequalities:

R ( z L ( z , t ) z L ( z , t ) t ) > 0 ( z U ; 0 t < ) (1.8)

and

| L ( z , t ) | K 0 | a 1 ( t ) | ( | z | < r 0 < 1 ; 0 t < ) (1.9)

for some positive constants K 0 and r 0 , then L ( z , t ) is a subordination chain.

### 2 Main results and their corollaries and consequences

We begin by proving a general subordination property involving the integral operator I α , β , γ , δ ϕ , φ defined by (1), which is contained in Theorem 1 below.

Theorem 1Let f , g Σ α , β , γ , δ ϕ , φ , where Σ α , β , γ , δ ϕ , φ is defined by (1.5). Suppose also that

R { 1 + z ν g ( z ) ν g ( z ) } > δ ( z U ; ν g ( z ) : = z ( z p g ( z ) ) α φ ( z ) ) , (2.1)

where

ρ = 1 + | γ p β 1 | 2 | 1 ( γ p β 1 ) 2 | 4 R { γ p β 1 } ( R { γ p β 1 } > 0 ) . (2.2)

Then the subordination relation

ν f ( z ) ν g ( z ) ( z U ) (2.3)

implies that

z ( z p I α , β , γ , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) z ( z p I α , β , γ , δ ϕ , φ ( g ) ( z ) ) β ϕ ( z ) ( z U ) , (2.4)

where I α , β , γ , δ ϕ , φ is the integral operator defined by (1). Moreover, the function

z ( z p I α , β , γ , δ ϕ , φ ( g ) ( z ) ) β ϕ ( z )

is the best dominant.

Proof Let us define the functions F and G, respectively, by

F ( z ) : = z ( z p I α , β , γ , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) and G ( z ) : = z ( z p I α , β , γ , δ ϕ , φ ( g ) ( z ) ) β ϕ ( z ) . (2.5)

We first show that if the function q is defined by

q ( z ) : = 1 + z G ( z ) G ( z ) ( z U ) , (2.6)

then

R { q ( z ) } > 0 ( z U ) .

From the definition of (1), we obtain

( z p I α , β , γ , δ ϕ , φ ( g ) ( z ) ) β ϕ ( z ) [ β z ( I α , β , γ , δ ϕ , φ ( g ) ( z ) ) I α , β , γ , δ ϕ , φ ( g ) ( z ) + z ϕ ( z ) ϕ ( z ) + γ ] = ( γ p β ) ( z p g ( z ) ) α φ ( z ) . (2.7)

We also have

β z ( I α , β , γ , δ ϕ , φ ( g ) ( z ) ) I α , β , γ , δ ϕ , φ ( g ) ( z ) + z ϕ ( z ) ϕ ( z ) = z G ( z ) G ( z ) p β 1 . (2.8)

It follows from (2.7) and (2.8) that

( γ p β ) ν g ( z ) = ( γ p β 1 ) G ( z ) + z G ( z ) . (2.9)

Now, by a simple calculation with (2.9), we obtain the following relationship:

1 + z ν g ( z ) ν g ( z ) = q ( z ) + z q ( z ) q ( z ) + γ p β 1 h ( z ) . (2.10)

Thus, from (2.1), we have

R { h ( z ) + γ p β 1 } > 0 ( z U ) ,

and by using Lemma 2, we conclude that the differential equation (2.10) has a solution q H ( U ) with

q ( 0 ) = h ( 0 ) = 1 .

Put

H ( u , v ) = u + v u + γ p β 1 + ρ , (2.11)

where ρ is given by (2.2). From (2.1), (2.10) and (2.11), we obtain

R { H ( q ( z ) , z q ( z ) ) } > 0 ( z U ) .

We now proceed to show that

R { H ( i s , t ) } 0 ( s R ; t ( 1 + s 2 ) 2 ) . (2.12)

Indeed, from (2.11), we have

R { H ( i s , t ) } = R { i s + t i s + γ p β 1 + ρ } = t R { γ p β 1 } | γ p β 1 + i s | 2 + ρ E ρ ( s ) 2 | γ p β 1 + i s | 2 , (2.13)

where

E ρ ( s ) : = ( R { γ p β 1 } 2 ρ ) s 2 4 ρ ( I { γ p β 1 } ) s 2 ρ | γ p β 1 | 2 + R { γ p β 1 } . (2.14)

For ρ given by (2.2), we note that the coefficient of s 2 in the quadratic expression E ρ ( s ) given by (2.14) is positive or equal to zero and also E ρ ( s ) is a perfect square. Hence from (2.13), we see that (2.12) holds true. Thus, by using Lemma 1, we conclude that

R { q ( z ) } > 0 ( z U ) .

That is, the function G ( z ) defined by (2.5) is convex in U .

We next prove that the subordination condition (2.3) implies that

F ( z ) G ( z ) ( z U ) (2.15)

for the functions F and G defined by (2.5). Without loss of generality, we can assume that G is analytic and univalent on U ¯ and that

F ( ζ ) 0 ( | ζ | = 1 ) .

We now consider the function L ( z , t ) defined by

L ( z , t ) : = γ p β 1 γ p β G ( z ) + 1 + t γ p β z G ( z ) ( z U ; 0 t < ) .

We note that

L ( z , t ) z | z = z 0 = G ( 0 ) ( 1 + t γ p β ) 0 ( z U ; 0 t < )

and

R { z L ( z , t ) / z L ( z , t ) / t } = R { γ p β 1 + ( 1 + t ) ( 1 + z G ( z ) G ( z ) ) } > 0 ( z U ) .

Furthermore, since G is convex, by using the well-known growth and distortion sharp inequalities for convex functions (see [23]), we can prove that the second condition of Lemma 6 is satisfied. Therefore, by virtue of Lemma 6, L ( z , t ) is a subordination chain. We observe from the definition of a subordination chain that

ν g ( z ) = γ p β 1 γ p β G ( z ) + 1 γ p β z G ( z ) = L ( z , 0 )

and

L ( z , 0 ) L ( z , t ) ( z U ; 0 t < ) .

This implies that

L ( ζ , t ) L ( U , 0 ) = ν g ( U ) ( ζ U ; 0 t < ) .

We now suppose that F is not subordinate to G. Then, in view of Lemma 3, there exist points z 0 U and ζ 0 U such that

F ( z 0 ) = G ( ζ 0 ) and z 0 F ( z 0 ) = ( 1 + t ) ζ 0 G ( ζ 0 ) ( 0 t < ) .

Hence we have

L ( ζ 0 , t ) = γ p β 1 γ p β G ( ζ 0 ) + 1 + t γ p β ζ 0 G ( ζ 0 ) = γ p β 1 γ p β F ( ζ 0 ) + 1 γ p β z 0 F ( z 0 ) = ν f ( z 0 ) ν g ( U ) ,

by virtue of the subordination condition (2.3). This contradicts the above observation that

L ( ζ 0 , t ) ν g ( U ) .

Therefore, the subordination condition (2.3) must imply the subordination given by (2.15). Considering F = G , we see that the function G is the best dominant. This evidently completes the proof of Theorem 1. □

We next prove a solution to a dual problem of Theorem 1 in the sense that the subordinations are replaced by superordinations.

Theorem 2Let f , g Σ α , β , γ , δ ϕ , φ , where Σ α , β , γ , δ ϕ , φ is defined by (1.5). Suppose also that

R { 1 + z ν g ( z ) ν g ( z ) } > ρ ( z U ; ν g ( z ) : = z ( z p g ( z ) ) α φ ( z ) ) ,

whereρis given by (2.2) and ν f is univalent in U , and

z ( z p I α , β , γ , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) Q ,

where I α , β , γ , δ ϕ , φ is the integral operator defined by (1). Then the superordination relation

ν g ( z ) ν f ( z ) ( z U ) (2.16)

implies that

z ( z p I α , β , γ , δ ϕ , φ ( g ) ( z ) ) β ϕ ( z ) z ( z p I α , β , γ , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) ( z U ) .

Moreover, the function

z ( z p I α , β , γ , δ ϕ , φ ( g ) ( z ) ) β ϕ ( z )

is the best subordinant.

Proof Let the functions F and G be given by (2.5). We first note from (2.7) and (2.8) that

ν g ( z ) = γ p β 1 γ p β G ( z ) + 1 γ p β z G ( z ) = : μ ( G ( z ) , z G ( z ) ) . (2.17)

After a simple calculation, equation (2.17) yields the following relationship:

1 + z ν g ( z ) ν g ( z ) = q ( z ) + z q ( z ) q ( z ) + γ p β 1 ,

where the function q is given in (2.6). Then, by using the same method as in the proof of Theorem 1, we can prove that

R { q ( z ) } > 0 ( z U ) ,

that is, G defined by (2.5) is convex (univalent) in U .

We next prove that the superordination condition (2.16) implies that

G ( z ) F ( z ) ( z U ) . (2.18)

For this purpose, we consider the function L ( z , t ) defined by

L ( z , t ) : = γ p β 1 γ p β G ( z ) + t γ p β z G ( z ) ( z U ; 0 t < ) .

Since G is convex and R { γ p β 1 } > 0 , we can prove easily that L ( z , t ) is a subordination chain as in the proof of Theorem 1. Therefore, according to Lemma 5, we conclude that the superordination condition (2.16) must imply the superordination given by (2.18). Furthermore, since the differential equation (2.17) has the univalent solution G, it is the best subordinant of the given differential superordination. Hence we complete the proof of Theorem 2. □

If we combine Theorem 1 and Theorem 2, then we obtain the following sandwich-type theorem.

Theorem 3Let f , g k Σ α , β , γ , δ ϕ , φ ( k = 1 , 2 ), where Σ α , β , γ , δ ϕ , φ is defined by (1.5). Suppose also that

R { 1 + z ν g k ( z ) ν g k ( z ) } > ρ ( z U ; ν g k ( z ) : = z ( z p g k ( z ) ) α φ ( z ) ; k = 1 , 2 ) , (2.19)

whereρis given by (2.2) and the function ν f is univalent in U , and

z ( z p I α , β , γ , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) Q ,

where I α , β , γ , δ ϕ , φ is the integral operator defined by (1). Then the subordination relation

ν g 1 ( z ) ν f ( z ) ν g 2 ( z ) ( z U )

implies that

z ( z p I α , β , γ , δ ϕ , φ ( g 1 ) ( z ) ) β ϕ ( z ) z ( z p I α , β , γ , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) z ( z p I α , β , γ , δ ϕ , φ ( g 2 ) ( z ) ) β ϕ ( z ) ( z U ) .

Moreover, the functions

z ( z p I α , β , γ , δ ϕ , φ ( g 1 ) ( z ) ) β ϕ ( z ) and z ( z p I α , β , γ , δ ϕ , φ ( g 2 ) ( z ) ) β ϕ ( z )

are the best subordinant and the best dominant, respectively.

The assumption of Theorem 3, that is, the functions

z ( z p f ( z ) ) α φ ( z ) and z ( z p I α , β , γ , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z )

need to be univalent in U , will be replaced by another set of conditions in the following result.

Corollary 1Let f , g k Σ α , β , γ , δ ϕ , φ ( k = 1 , 2 ), where Σ α , β , γ , δ ϕ , φ is defined by (1.5). Suppose also that the condition (2.19) is satisfied and

R { 1 + z ν f ( z ) ν f ( z ) } > ρ ( z U ; ν f ( z ) : = z ( z p f ( z ) ) α φ ( z ) ; z f ( z ) Q ) , (2.20)

whereρis given by (2.2). Then the subordination relation

ν g 1 ( z ) ν f ( z ) ν g 2 ( z ) ( z U )

implies that

z ( z p I α , β , γ , δ ϕ , φ ( g 1 ) ( z ) ) β ϕ ( z ) z ( z p I α , β , γ , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) z ( z p I α , β , γ , δ ϕ , φ ( g 2 ) ( z ) ) β ϕ ( z ) ( z U ) ,

where I α , β , γ , δ ϕ , φ is the integral operator defined by (1). Moreover, the functions

z ( z p I α , β , γ , δ ϕ , φ ( g 1 ) ( z ) ) β ϕ ( z ) and z ( z p I α , β , γ , δ ϕ , φ ( g 2 ) ( z ) ) β ϕ ( z )

are the best subordinant and the best dominant, respectively.

Proof In order to prove Corollary 1, we have to show that the condition (2.20) implies the univalence of ν f ( z ) and

F ( z ) : = z ( z p I α , β , γ , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) . (2.21)

By noting that 0 < ρ 1 / 2 from (2.2), we obtain from the condition (2.20) that ψ is a close-to-convex function in U (see [24]), and hence ν f is univalent in U . Furthermore, by using the same techniques as in the proof of Theorem 3, we can prove the convexity (univalence) of F and so the details may be omitted. Therefore, by applying Theorem 3, we obtain Corollary 1. □

By setting γ p β = 3 in Theorem 3, we have the following result.

Corollary 2Let f , g k Σ α , β , p β + 3 , δ ϕ , φ ( k = 1 , 2 ), where Σ α , β , p β + 3 , δ ϕ , φ is defined by (1.5) with γ = p β + 3 . Suppose also that

R { 1 + z ν g k ( z ) ν g k ( z ) } > 1 4 ( z U ; v ( z ) : = z ( z p g k ( z ) ) α φ ( z ) ; k = 1 , 2 ) ,

and the function ν f is univalent in U , and

z ( z p I α , β , p β + 3 , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) Q , (2.22)

where I α , β , p β + 3 , δ ϕ , φ is the integral operator defined by (1) with γ = p β + 3 . Then the subordination relation

ν g 1 ν f ν g 2 ( z U )

implies that

z ( z p I α , β , p β + 3 , δ ( g 1 ) ( z ) ) β ϕ ( z ) z ( z p I α , β , p β + 3 , δ ( f ) ( z ) ) β ϕ ( z ) z ( z p I α , β , p β + 3 , δ ( g 2 ) ( z ) ) β ϕ ( z ) ( z U ) .

Moreover, the functions

z ( z p I α , β , p β + 3 , δ ( g 1 ) ( z ) ) β ϕ ( z ) and z ( z p I α , β , p β + 3 , δ ( g 2 ) ( z ) ) β ϕ ( z )

are the best subordinant and the best dominant, respectively.

If we take γ p β = 2 + i in Theorem 3, then we are easily led to the following result.

Corollary 3Let f , g k Σ α , β , p β + 2 + i , δ ϕ , φ ( k = 1 , 2 ), where Σ α , β , p β + 2 + i , δ ϕ , φ is defined by (1.5) with γ = p β + 2 + i . Suppose also that

R { 1 + z ν g k ( z ) ν g k ( z ) } > 3 5 4 ( z U ; ν g k ( z ) : = z ( z p g k ( z ) ) α φ ( z ) ; k = 1 , 2 ) , (2.23)

and the function ν f is univalent in U , and

z ( z p I α , β , p β + 2 + i , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) Q , (2.24)

where I α , β , p β + 2 + i , δ ϕ , φ is the integral operator defined by (1) with γ = p β + 2 + i . Then the subordination relation

ν g 1 ν f ν g 2 ( z U )

implies that

z ( z p I α , β , p β + 2 + i , δ ϕ , φ ( g 1 ) ( z ) ) β ϕ ( z ) z ( z p I α , β , p β + 2 + i , δ ϕ , φ ( f ) ( z ) ) β ϕ ( z ) z ( z p I α , β , p β + 2 + i , δ ϕ , φ ( g 2 ) ( z ) ) β ϕ ( z ) ( z U ) .

Moreover, the functions

z ( z p I α , β , p β + 2 + i , δ ϕ , φ ( g 1 ) ( z ) ) β ϕ ( z ) and z ( z p I α , β , p β + 2 + i , δ ϕ , φ ( g 2 ) ( z ) ) β ϕ ( z )

are the best subordinant and the best dominant, respectively.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Both authors jointly worked on the results and they read and approved the final manuscript.

### Acknowledgements

Dedicated to Professor Hari M Srivastava.

This research was supported by the Basic Science Research Program through the National Research Foundation of the Republic of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2012-0002619).

### References

1. Miller, SS, Mocanu, PT: Differential Subordinations, Theory and Applications, Dekker, New York (2000)

2. Srivastava HM, Owa S (eds.): Univalent Functions, Fractional Calculus, and Their Applications, Wiley, New York (1989)

3. Srivastava HM, Owa S (eds.): Current Topics in Analytic Function Theory, World Scientific, Singapore (1992)

4. Miller, SS, Mocanu, PT: Subordinants of differential superordinations. Complex Var. Theory Appl.. 48, 815–826 (2003). Publisher Full Text

5. Bulboacă, T: Differential subordination and superordination-preserving integral operators. Trans. Inst. Math. Nat. Acad. Sci. Ukraine. 3, 19–28 (2004)

6. Bajpai, SK: A note on a class of meromorphic univalent functions. Rev. Roum. Math. Pures Appl.. 22, 295–297 (1977)

7. Bhoosnurmath, SS, Swamy, SR: Certain integrals for classes of univalent meromorphic functions. Ganit. 44, 19–25 (1993)

8. Dernek, A: Certain classes of meromorphic functions. Ann. Univ. Mariae Curie-Skl̄odowska, Sect. A. 42, 1–8 (1988)

9. Dwivedi, SP, Bhargava, GP, Shukla, SK: On some classes of meromorphic univalent functions. Rev. Roum. Math. Pures Appl.. 25, 209–215 (1980)

10. Goel, RM, Sohi, NS: On a class of meromorphic functions. Glas. Mat.. 17(37), 19–28 (1981)

11. Sokół, J, Noor, KI, Srivastava, HM: A family of convolution operators for multivalent analytic functions. Eur. J. Pure Appl. Math.. 5, 469–479 (2012)

12. Srivastava, HM, Yang, D-G, Xu, N-E: Subordinations for multivalent analytic functions associated with the Dziok-Srivastava operator. Integral Transforms Spec. Funct.. 20, 581–606 (2009). Publisher Full Text

13. Miller, SS, Mocanu, PT, Reade, MO: Subordination-preserving integral operators. Trans. Am. Math. Soc.. 283, 605–615 (1984). Publisher Full Text

14. Owa, S, Srivastava, HM: Some subordination theorems involving a certain family of integral operators. Integral Transforms Spec. Funct.. 15, 445–454 (2004). Publisher Full Text

15. Bulboacă, T: A class of superordination-preserving integral operators. Indag. Math.. 13, 301–311 (2002). Publisher Full Text

16. Bulboacă, T: Sandwich-type results for a class of convex integral operators. Acta Math. Sci.. 32B, 989–1001 (2012)

17. Cho, NE, Srivastava, HM: A class of nonlinear integral operators preserving subordination and superordination. Integral Transforms Spec. Funct.. 18, 95–107 (2007). Publisher Full Text

18. Cho, NE, Bulboaca, T, Srivastava, HM: A general family of integral operators and associated subordination and superordination properties of some special analytic function classes. Appl. Math. Comput.. 219, 2278–2288 (2012). Publisher Full Text

19. Miller, SS, Mocanu, PT: Differential subordinations and univalent functions. Mich. Math. J.. 28, 157–171 (1981)

20. Miller, SS, Mocanu, PT: Univalent solutions of Briot-Bouquet differential equations. J. Differ. Equ.. 56, 297–309 (1985). Publisher Full Text

21. Totoi, A: On some classes of meromorphic functions defined by a multiplier transformation. Acta Univ. Apulensis, Mat.-Inform.. 25, 41–52 (2011)

22. Pommerenke, C: Univalent Functions, Vanderhoeck & Ruprecht, Göttingen (1975)

23. Hallenbeck, DJ, MacGregor, TH: Linear Problems and Convexity Techniques in Geometric Function Theory, Pitman, London (1984)

24. Kaplan, W: Close-to-convex schlicht functions. Mich. Math. J.. 2, 169–185 (1952)