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

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

## 1 Introduction, definitions and preliminaries

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

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)=0and | w ( z ) | <1(z∈U),$

such that

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

In such a case, we write

$f≺Forf(z)≺F(z)(z∈U).$

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

$f≺F⇔f(0)=F(0)andf(U)⊂F(U).$

Definition 1 (Miller and Mocanu )

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 )

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 )

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

and are such that

$f ′ (ζ)≠0 ( ζ ∈ ∂ U ∖ E ( f ) ) .$

We also denote the class $D$ by

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, ; see also  and ) with suitable restrictions on the parameters α, β, γ and δ, and for f belonging to some favored subclasses of meromorphic functions. In particular, Bajpai  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.  and, more recently, Owa and Srivastava  obtained some interesting subordination-preserving properties for certain integral operators. Moreover, Miller and Mocanu  considered differential superordinations as the dual concept of differential subordinations (see also ). 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, 1618]). 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 )

Suppose that the function

$H: C 2 →C$

satisfies the following condition:

$R { H ( i s , t ) } ≦0$

for all real s and for all t with

$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 )

Let

$β,γ∈C(β≠0)andh∈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 )

Let

$p∈Q ( p ( 0 ) = a ) ,$

and let

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

be analytic in $U$ with

$q(z)≢aandn∈N.$

If the function q is not subordinate to $p$, then there exist points

$z 0 = r 0 e i θ ∈Uand ζ 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 ) 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)=0and | I ( w ) | ≧N.$

Lemma 4 (Totoi )

Let $α,β,γ,δ∈C$ with

$β≠0,δ−pα=γ−pβ,R{γ−pβ}>0andϕ,φ∈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
(1.6)

Lemma 5 (Miller and Mocanu )

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$, then q is the best subordinant.

Lemma 6 (Pommerenke )

The function

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

with

$a 1 (t)≠0and 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 1 Let $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)andG(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 ), 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 2 Let $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 3 Let $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)andz ( 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)andz ( 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 1 Let $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)andz ( 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 ), 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 2 Let $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)andz ( 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 3 Let $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)andz ( z p I α , β , p β + 2 + i , δ ϕ , φ ( g 2 ) ( z ) ) β ϕ(z)$

are the best subordinant and the best dominant, respectively.

## References

1. 1.

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

2. 2.

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

3. 3.

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

4. 4.

Miller SS, Mocanu PT: Subordinants of differential superordinations. Complex Var. Theory Appl. 2003, 48: 815–826. 10.1080/02781070310001599322

5. 5.

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

6. 6.

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

7. 7.

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

8. 8.

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

9. 9.

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

10. 10.

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

11. 11.

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

12. 12.

Srivastava HM, Yang D-G, Xu N-E: Subordinations for multivalent analytic functions associated with the Dziok-Srivastava operator. Integral Transforms Spec. Funct. 2009, 20: 581–606. 10.1080/10652460902723655

13. 13.

Miller SS, Mocanu PT, Reade MO: Subordination-preserving integral operators. Trans. Am. Math. Soc. 1984, 283: 605–615. 10.1090/S0002-9947-1984-0737887-4

14. 14.

Owa S, Srivastava HM: Some subordination theorems involving a certain family of integral operators. Integral Transforms Spec. Funct. 2004, 15: 445–454. 10.1080/10652460410001727563

15. 15.

Bulboacă T: A class of superordination-preserving integral operators. Indag. Math. 2002, 13: 301–311. 10.1016/S0019-3577(02)80013-1

16. 16.

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

17. 17.

Cho NE, Srivastava HM: A class of nonlinear integral operators preserving subordination and superordination. Integral Transforms Spec. Funct. 2007, 18: 95–107. 10.1080/10652460601135342

18. 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. 2012, 219: 2278–2288. 10.1016/j.amc.2012.08.075

19. 19.

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

20. 20.

Miller SS, Mocanu PT: Univalent solutions of Briot-Bouquet differential equations. J. Differ. Equ. 1985, 56: 297–309. 10.1016/0022-0396(85)90082-8

21. 21.

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

22. 22.

Pommerenke C: Univalent Functions. Vanderhoeck & Ruprecht, Göttingen; 1975.

23. 23.

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

24. 24.

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

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

## Author information

Authors

### Corresponding author

Correspondence to Nak Eun Cho.

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

## Rights and permissions

Reprints and Permissions

Cho, N.E., Srivastava, R. Subordination properties for a general class of integral operators involving meromorphically multivalent functions. Adv Differ Equ 2013, 93 (2013). https://doi.org/10.1186/1687-1847-2013-93

• Accepted:

• Published:

### Keywords

• differential subordination
• differential superordination
• meromorphic functions
• integral operators
• convex functions
• close-to-convex functions
• subordination (or Löwner) chain 