research article a study of cho-kwon-srivastava operator ...[] j.dziokandh.m.srivastava,...

7
Research Article A Study of Cho-Kwon-Srivastava Operator with Applications to Generalized Hypergeometric Functions F. Ghanim 1 and M. Darus 2 1 Department of Mathematics, College of Sciences, University of Sharjah, Sharjah, UAE 2 School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, 43600 Bangi, Selangor, Malaysia Correspondence should be addressed to M. Darus; [email protected] Received 16 May 2014; Accepted 21 June 2014; Published 9 July 2014 Academic Editor: Hari M. Srivastava Copyright Β© 2014 F. Ghanim and M. Darus. is is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We introduce a new class of meromorphically analytic functions, which is defined by means of a Hadamard product (or convolution) involving some suitably normalized meromorphically functions related to Cho-Kwon-Srivastava operator. A characterization property giving the coefficient bounds is obtained for this class of functions. e other related properties, which are investigated in this paper, include distortion and the radii of starlikeness and convexity. We also consider several applications of our main results to generalized hypergeometric functions. 1. Introduction A meromorphic function is a single-valued function that is analytic in all but possibly a discrete subset of its domain, and at those singularities it must go to infinity like a polynomial (i.e., these exceptional points must be poles and not essential singularities). A simpler definition states that a meromorphic function () is a function of the form () = () β„Ž () , (1) where () and β„Ž() are entire functions with β„Ž() ΜΈ =0 (see [1, page 64]). A meromorphic function therefore may only have finite-order, isolated poles and zeros and no essential singularities in its domain. An equivalent definition of a meromorphic function is a complex analytic map to the Riemann sphere. For example, the gamma function is mero- morphic in the whole complex plane C. In the present paper, we initiate the study of functions which are meromorphic in the punctured disk βˆ— = { : 0 < || < 1} with a Laurent expansion about the origin; see [2]. Let be the class of analytic functions β„Ž() with β„Ž(0) = 1, which are convex and univalent in the open unit disk = βˆ— βˆͺ {0} and for which R {β„Ž ()} > 0, ( ∈ βˆ— ). (2) For functions and analytic in , we say that is subor- dinate to and write β‰Ί in or () β‰Ί () , ( ∈ βˆ— ) (3) if there exists an analytic function () in such that | ()| ≀ || , () = ( ()) , ( ∈ βˆ— ). (4) Furthermore, if the function is univalent in , then () β‰Ί () ⇐⇒ (0) = (0) , () βŠ† () , ( ∈ βˆ— ). (5) is paper is divided into two sections; the first intro- duces a new class of meromorphically analytic functions, which is defined by means of a Hadamard product (or Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 2014, Article ID 374821, 6 pages http://dx.doi.org/10.1155/2014/374821

Upload: others

Post on 26-Jan-2021

1 views

Category:

Documents


0 download

TRANSCRIPT

  • Research ArticleA Study of Cho-Kwon-Srivastava Operator withApplications to Generalized Hypergeometric Functions

    F. Ghanim1 and M. Darus2

    1 Department of Mathematics, College of Sciences, University of Sharjah, Sharjah, UAE2 School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia,43600 Bangi, Selangor, Malaysia

    Correspondence should be addressed to M. Darus; [email protected]

    Received 16 May 2014; Accepted 21 June 2014; Published 9 July 2014

    Academic Editor: Hari M. Srivastava

    Copyright Β© 2014 F. Ghanim and M. Darus. This is an open access article distributed under the Creative Commons AttributionLicense, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properlycited.

    We introduce a new class ofmeromorphically analytic functions, which is defined bymeans of aHadamard product (or convolution)involving some suitably normalized meromorphically functions related to Cho-Kwon-Srivastava operator. A characterizationproperty giving the coefficient bounds is obtained for this class of functions.The other related properties, which are investigated inthis paper, include distortion and the radii of starlikeness and convexity. We also consider several applications of our main resultsto generalized hypergeometric functions.

    1. Introduction

    A meromorphic function is a single-valued function that isanalytic in all but possibly a discrete subset of its domain, andat those singularities it must go to infinity like a polynomial(i.e., these exceptional points must be poles and not essentialsingularities). A simpler definition states that a meromorphicfunction 𝑓(𝑧) is a function of the form

    𝑓 (𝑧) =𝑔 (𝑧)

    β„Ž (𝑧), (1)

    where 𝑔(𝑧) and β„Ž(𝑧) are entire functions with β„Ž(𝑧) ΜΈ= 0 (see[1, page 64]). A meromorphic function therefore may onlyhave finite-order, isolated poles and zeros and no essentialsingularities in its domain. An equivalent definition of ameromorphic function is a complex analytic map to theRiemann sphere. For example, the gamma function is mero-morphic in the whole complex plane C.

    In the present paper, we initiate the study of functionswhich are meromorphic in the punctured disk π‘ˆβˆ— = {𝑧 : 0 <|𝑧| < 1} with a Laurent expansion about the origin; see [2].

    Let𝐴 be the class of analytic functions β„Ž(𝑧)with β„Ž(0) = 1,which are convex and univalent in the open unit disk π‘ˆ =π‘ˆβˆ— βˆͺ {0} and for which

    R {β„Ž (𝑧)} > 0, (𝑧 ∈ π‘ˆβˆ—) . (2)

    For functions 𝑓 and 𝑔 analytic in π‘ˆ, we say that 𝑓 is subor-dinate to 𝑔 and write

    𝑓 β‰Ί 𝑔 in π‘ˆ or 𝑓 (𝑧) β‰Ί 𝑔 (𝑧) , (𝑧 ∈ π‘ˆβˆ—) (3)

    if there exists an analytic function 𝑀(𝑧) in π‘ˆ such that

    |𝑀 (𝑧)| ≀ |𝑧| , 𝑓 (𝑧) = 𝑔 (𝑀 (𝑧)) , (𝑧 ∈ π‘ˆβˆ—) . (4)

    Furthermore, if the function 𝑔 is univalent in π‘ˆ, then

    𝑓 (𝑧) β‰Ί 𝑔 (𝑧) ⇐⇒ 𝑓 (0) = 𝑔 (0) ,

    𝑓 (π‘ˆ) βŠ† 𝑔 (π‘ˆ) , (𝑧 ∈ π‘ˆβˆ—) .

    (5)

    This paper is divided into two sections; the first intro-duces a new class of meromorphically analytic functions,which is defined by means of a Hadamard product (or

    Hindawi Publishing CorporationInternational Journal of Mathematics and Mathematical SciencesVolume 2014, Article ID 374821, 6 pageshttp://dx.doi.org/10.1155/2014/374821

  • 2 International Journal of Mathematics and Mathematical Sciences

    convolution) involving linear operator. The second sectionhighlights some applications of the main results involvinggeneralized hypergeometric functions.

    2. Preliminaries

    Let Ξ£ denote the class of meromorphic functions 𝑓(𝑧) nor-malized by

    𝑓 (𝑧) =1

    𝑧+∞

    βˆ‘π‘›=1

    π‘Žπ‘›π‘§π‘›, (6)

    which are analytic in the punctured unit disk π‘ˆβˆ— = {𝑧 : 0 <|𝑧| < 1}. For 0 ≀ 𝛽, we denote by π‘†βˆ—(𝛽) and π‘˜(𝛽) the sub-classes of Ξ£ consisting of all meromorphic functions whichare, respectively, starlike of order 𝛽 and convex of order 𝛽 inπ‘ˆ.

    For functions 𝑓𝑗(𝑧) (𝑗 = 1; 2) defined by

    𝑓𝑗(𝑧) =

    1

    𝑧+∞

    βˆ‘π‘›=1

    π‘Žπ‘›,𝑗𝑧𝑛, (7)

    we denote the Hadamard product (or convolution) of 𝑓1(𝑧)

    and 𝑓2(𝑧) by

    (𝑓1βˆ— 𝑓2) =

    1

    𝑧+∞

    βˆ‘π‘›=1

    π‘Žπ‘›,1π‘Žπ‘›,2𝑧𝑛. (8)

    Cho et al. [3] andGhanimandDarus [4] studied the followingfunction:

    π‘žπœ†,πœ‡

    (𝑧) =1

    𝑧+∞

    βˆ‘π‘›=1

    (πœ†

    𝑛 + 1 + πœ†)πœ‡

    𝑧𝑛, (πœ† > 0, πœ‡ β‰₯ 0) . (9)

    Corresponding to the function π‘žπœ†,πœ‡(𝑧) and using the

    Hadamard product for 𝑓(𝑧) ∈ Ξ£, we define a new linearoperator 𝐿(πœ†, πœ‡) on Ξ£ by

    πΏπœ†,πœ‡π‘“ (𝑧) = (𝑓 (𝑧) βˆ— π‘ž

    πœ†,πœ‡(𝑧))

    =1

    𝑧+∞

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    π‘Žπ‘› 𝑧𝑛.

    (10)

    TheHadamard product or convolution of the functions𝑓given by (10) with the functions 𝐿

    𝑑,π‘Žπ‘” and 𝐿

    𝑑,π‘Žβ„Ž given, respec-

    tively, by

    πΏπœ†,πœ‡π‘” (𝑧) =

    1

    𝑧+∞

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    𝑏𝑛 𝑧𝑛,

    (𝑧 ∈ π‘ˆβˆ—, 𝑔 (𝑧) ∈ Ξ£) ,

    πΏπœ†,πœ‡β„Ž (𝑧) =

    1

    𝑧+∞

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    𝑐𝑛 𝑧𝑛,

    (𝑧 ∈ π‘ˆβˆ—, β„Ž (𝑧) ∈ Ξ£) ,

    (11)

    can be expressed as follows:

    πΏπœ†,πœ‡

    (𝑓 βˆ— 𝑔) (𝑧) =1

    𝑧+∞

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    π‘Žπ‘›π‘π‘› 𝑧𝑛,

    (𝑧 ∈ π‘ˆβˆ—) ,

    πΏπœ†,πœ‡

    (𝑓 βˆ— β„Ž) (𝑧) =1

    𝑧+∞

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    π‘Žπ‘›π‘π‘› 𝑧𝑛,

    (𝑧 ∈ π‘ˆβˆ—) .

    (12)

    By applying the subordination definition, we introducehere a new classΞ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡) ofmeromorphic functions, which

    is defined as follows.

    Definition 1. A function 𝑓 ∈ Ξ£ of the form (6) is said to be inthe class Ξ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡) if it satisfies the following subordination

    property:

    πœŒπΏπœ†,πœ‡

    (𝑓 βˆ— 𝑔) (𝑧)

    πΏπœ†,πœ‡

    (𝑓 βˆ— β„Ž) (𝑧)β‰Ί 𝜌 βˆ’

    (𝐴 βˆ’ 𝐡) 𝑧

    1 + 𝐡𝑧, (𝑧 ∈ π‘ˆβˆ—) , (13)

    where βˆ’1 ≀ 𝐡 < 𝐴 ≀ 1, 𝜌 > 0, with condition 0 ≀ |𝑐𝑛| ≀ |𝑏𝑛|

    and 𝐿(πœ†, πœ‡)(𝑓 βˆ— β„Ž)(𝑧) ΜΈ= 0.

    As for the second result of this paper on applicationsinvolving generalized hypergeometric functions, we need toutilize the well-known Gaussian hypergeometric function.One denotes πœ™(𝛼, 𝛽; 𝑧) the class of the function given by

    πœ™ (𝛼, 𝛽; 𝑧) =1

    𝑧+∞

    βˆ‘π‘›=0

    (𝛼)𝑛+1

    (𝛽)𝑛+1

    𝑧𝑛, (14)

    for𝛽 ΜΈ= 0, βˆ’1, βˆ’2, . . ., and𝛼 ∈ C\{0}, where (πœ†)𝑛 = πœ†(πœ† + 1)𝑛+1

    is the Pochhammer symbol. We note that

    πœ™ (𝛼, 𝛽; 𝑧) =1

    𝑧 2𝐹1(1, 𝛼, 𝛽; 𝑧) , (15)

    where

    2𝐹1(𝑏, 𝛼, 𝛽; 𝑧) =

    ∞

    βˆ‘π‘›=0

    (𝑏)𝑛(𝛼)𝑛

    (𝛽)𝑛

    𝑧𝑛

    𝑛!(16)

    is the well-known Gaussian hypergeometric function.Corresponding to the functions πœ™(𝛼, 𝛽; 𝑧) and π‘ž

    πœ†,πœ‡(𝑧)

    given in (9) and using the Hadamard product for 𝑓(𝑧) ∈ Ξ£,we define a new linear operator 𝐿(𝛼, 𝛽, πœ†, πœ‡) on Ξ£ by

    𝐿 (𝛼, 𝛽, πœ†, πœ‡) 𝑓 (𝑧) = (𝑓 (𝑧) βˆ— πœ™ (𝛼, 𝛽; 𝑧) βˆ— π‘žπœ†,πœ‡

    (𝑧))

    =1

    𝑧+∞

    βˆ‘π‘›=1

    (𝛼)𝑛+1

    (𝛽)𝑛+1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    π‘Žπ‘› 𝑧𝑛.

    (17)

    The meromorphic functions with the generalized hypergeo-metric functions were considered recently by Cho and Kim[5], Dziok and Srivastava [6, 7], Ghanim [8], Ghanim et al.[9, 10], and Liu and Srivastava [11, 12].

  • International Journal of Mathematics and Mathematical Sciences 3

    Now, it follows from (17) that

    𝑧(𝐿 (𝛼, 𝛽, πœ†, πœ‡) 𝑓 (𝑧))

    = 𝛼𝐿 (𝛼 + 1, 𝛽, πœ†, πœ‡) 𝑓 (𝑧)

    βˆ’ (𝛼 + 1) 𝐿 (𝛼, 𝛽, πœ†, πœ‡) 𝑓 (𝑧) .(18)

    The subordination relation (13) in conjunction with (17)takes the following form:

    𝜌𝐿 (𝛼 + 1, 𝛽, πœ†, πœ‡) 𝑓 (𝑧)

    𝐿 (𝛼, 𝛽, πœ†, πœ‡) 𝑓 (𝑧)β‰Ί 𝜌 βˆ’

    (𝐴 βˆ’ 𝐡) 𝑧

    1 + 𝐡𝑧,

    (0 ≀ 𝐡 < 𝐴 ≀ 1, 𝜌 > 0) .

    (19)

    Definition 2. A function 𝑓 ∈ Ξ£ of the form (6) is said to bein the class Ξ£πœ‡

    πœ†(𝜌, 𝛼, 𝛽, 𝐴, 𝐡) if it satisfies the subordination

    relation (19) above.

    3. Characterization and OtherRelated Properties

    In this section, we begin by proving a characterizationproperty which provides a necessary and sufficient conditionfor a function 𝑓 ∈ Ξ£ of the form (6) to belong to the classΞ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡) of meromorphically analytic functions.

    Theorem 3. The function 𝑓 ∈ Ξ£ is said to be a member of theclass Ξ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡) if and only if it satisfies

    ∞

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    (πœŒπ‘π‘› (1 + 𝐡)

    βˆ’π‘π‘› (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    π‘Žπ‘› ≀ 𝐴 βˆ’ 𝐡.

    (20)

    The equality is attained for the function 𝑓𝑛(𝑧) given by

    𝑓𝑛(𝑧) =

    1

    𝑧

    +∞

    βˆ‘π‘›=1

    (𝐴 βˆ’ 𝐡) (𝑛 + πœ† + 1)πœ‡

    πœ†πœ‡ (πœŒπ‘π‘› (1 + 𝐡) βˆ’

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    𝑧𝑛.

    (21)

    Proof. Let 𝑓 of the form (6) belong to the class Ξ£πœ‡πœ†(𝜌, 𝐴, 𝐡).

    Then, in view of (12), we find that

    𝜌∞

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    π‘Žπ‘›(π‘π‘›βˆ’ 𝑐𝑛) 𝑧𝑛+1

    Γ— ((𝐴 βˆ’ 𝐡)

    βˆ’βˆž

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    Γ— (πœŒπ΅π‘π‘›+ 𝑐𝑛{(𝐴 βˆ’ 𝐡) βˆ’ 𝜌𝐡}) π‘Ž

    𝑛𝑧𝑛+1)

    βˆ’1

    ≀ 𝜌∞

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    π‘Žπ‘›(π‘π‘›βˆ’ 𝑐𝑛)𝑧𝑛+1

    Γ— ((𝐴 βˆ’ 𝐡)

    βˆ’βˆž

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    Γ— (πœŒπ΅π‘π‘›+ 𝑐𝑛{(𝐴 βˆ’ 𝐡) βˆ’ 𝜌𝐡}) π‘Ž

    𝑛

    𝑧𝑛+1

    )

    βˆ’1

    ≀ 1.

    (22)

    Putting |𝑧| = π‘Ÿ (0 ≀ π‘Ÿ < 1) and noting the fact thatthe denominator in the above inequality remains positive byvirtue of the constraints stated in (13) for all π‘Ÿ ∈ [0, 1), weeasily arrive at the desired inequality (20) by letting 𝑧 β†’ 1.

    Conversely, if we assume that the inequality (20) holdstrue in the simplified form (22), it can readily be shown that

    𝜌 {((𝑓 βˆ— 𝑔) (𝑧)) βˆ’ ((𝑓 βˆ— β„Ž) (𝑧))}

    𝜌𝐡 ((𝑓 βˆ— 𝑔) (𝑧)) + {𝜌 (𝐴 βˆ’ 𝐡) βˆ’ 𝜌𝐡} ((𝑓 βˆ— β„Ž) (𝑧))

    < 1,

    (𝑧 ∈ π‘ˆβˆ—) ,

    (23)

    which is equivalent to our condition of theorem, so that 𝑓 βˆˆΞ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡), hence the theorem.

    Theorem 3 immediately yields the following result.

    Corollary 4. If the function 𝑓 ∈ Ξ£ belongs to the classΞ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡), then

    π‘Žπ‘› ≀

    (𝐴 βˆ’ 𝐡) (𝑛 + πœ† + 1)πœ‡

    πœ†πœ‡ (πœŒπ‘π‘› (1 + 𝐡) βˆ’

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    , 𝑛 β‰₯ 1,

    (24)

    where the equality holds true for the functions 𝑓𝑛(𝑧) given by

    (21).

    We now state the following growth and distortion prop-erties for the class Ξ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡).

    Theorem 5. If the function 𝑓 defined by (6) is in the classΞ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡), then, for 0 < |𝑧| = π‘Ÿ < 1, one has

    1

    π‘Ÿβˆ’

    (𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    π‘Ÿ

    ≀𝑓 (𝑧)

    ≀1

    π‘Ÿ+

    (𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    π‘Ÿ,

  • 4 International Journal of Mathematics and Mathematical Sciences

    1

    π‘Ÿ2βˆ’

    (𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    ≀𝑓

    (𝑧)

    ≀1

    π‘Ÿ2+

    (𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    .

    (25)

    Proof. Since 𝑓 ∈ Ξ£πœ‡πœ†(𝜌, 𝐴, 𝐡), Theorem 3 readily yields the

    inequality∞

    βˆ‘π‘›=1

    π‘Žπ‘› ≀

    (𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    .

    (26)

    Thus, for 0 < |𝑧| = π‘Ÿ < 1 and utilizing (26), we have

    𝑓 (𝑧) =

    1

    |𝑧|+∞

    βˆ‘π‘›=1

    π‘Žπ‘› |𝑧|𝑛 ≀

    1

    π‘Ÿ+ π‘Ÿβˆž

    βˆ‘π‘›=1

    π‘Žπ‘›

    ≀1

    π‘Ÿ+ π‘Ÿ

    (𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    ,

    𝑓 (𝑧) =

    1

    |𝑧|βˆ’βˆž

    βˆ‘π‘›=1

    π‘Žπ‘› |𝑧|𝑛 β‰₯

    1

    π‘Ÿβˆ’ π‘Ÿβˆž

    βˆ‘π‘›=1

    π‘Žπ‘›

    β‰₯1

    π‘Ÿβˆ’ π‘Ÿ

    (𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    .

    (27)

    Also fromTheorem 3, we get∞

    βˆ‘π‘›=1

    π‘›π‘Žπ‘›

    ≀(𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    .

    (28)

    Hence

    𝑓

    (𝑧) =

    1

    |𝑧|2+∞

    βˆ‘π‘›=1

    π‘›π‘Žπ‘›

    |𝑧|π‘›βˆ’1

    ≀1

    π‘Ÿ2+∞

    βˆ‘π‘›=1

    π‘Žπ‘›

    ≀1

    π‘Ÿ2+

    (𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    ,

    𝑓

    (𝑧) =

    1

    |𝑧|2βˆ’βˆž

    βˆ‘π‘›=1

    π‘›π‘Žπ‘›

    |𝑧|π‘›βˆ’1

    β‰₯1

    π‘Ÿ2βˆ’βˆž

    βˆ‘π‘›=1

    π‘›π‘Žπ‘›

    β‰₯1

    π‘Ÿ2βˆ’

    (𝐴 βˆ’ 𝐡) (2 + πœ†)πœ‡

    πœ†πœ‡ (πœŒπ‘1 (1 + 𝐡) βˆ’

    𝑐1 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    .

    (29)

    This completes the proof of Theorem 5.

    We next determine the radii of meromorphic starlikenessand meromorphic convexity of the class Ξ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡), which

    are given byTheorems 6 and 7 below.

    Theorem 6. If the function 𝑓 defined by (6) is in the classΞ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡), then 𝑓 is meromorphic starlike of order 𝛿 in the

    disk |𝑧| < π‘Ÿ1, where

    π‘Ÿ1= inf𝑛β‰₯1

    {(1 βˆ’ 𝛿)

    Γ— (πœŒπ‘π‘› (1 + 𝐡) βˆ’

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    Γ— ((𝐴 βˆ’ 𝐡) (𝑛 + 2 βˆ’ 𝛿))βˆ’1}1/(𝑛+1)

    .

    (30)

    The equality is attained for the function 𝑓𝑛(𝑧) given by (21).

    Proof. It suffices to prove that

    𝑧(𝑓(𝑧))

    𝑓 (𝑧)+ 1

    ≀ 1 βˆ’ 𝛿. (31)

    For |𝑧| < π‘Ÿ1, we have

    𝑧(𝑓(𝑧))

    𝑓 (𝑧)+ 1

    =

    βˆ‘βˆž

    𝑛=1(𝑛 + 1) (πœ†/(𝑛 + 1 + πœ†))πœ‡π‘Ž

    𝑛𝑧𝑛

    1/𝑧 + βˆ‘βˆž

    𝑛=1(πœ†/(𝑛 + 1 + πœ†))πœ‡π‘Ž

    𝑛𝑧𝑛

    =

    βˆ‘βˆž

    𝑛=1(𝑛 + 1) (πœ†/(𝑛 + πœ† + 1))πœ‡π‘Ž

    𝑛𝑧𝑛+1

    1 + βˆ‘βˆž

    𝑛=1(πœ†/(𝑛 + πœ† + 1))πœ‡π‘Ž

    𝑛𝑧𝑛+1

    β‰€βˆ‘βˆž

    𝑛=1(𝑛 + 1) (πœ†/(𝑛 + πœ† + 1))πœ‡

    π‘Žπ‘› |𝑧|𝑛+1

    1 + βˆ‘βˆž

    𝑛=1(πœ†/(𝑛 + πœ† + 1))πœ‡

    π‘Žπ‘› |𝑧|𝑛+1

    .

    (32)

    Hence (32) holds true for∞

    βˆ‘π‘›=1

    (𝑛 + 1) (πœ†

    𝑛 + πœ† + 1)πœ‡

    π‘Žπ‘› |𝑧|𝑛+1

    ≀ (1 βˆ’ 𝛿) (1 βˆ’βˆž

    βˆ‘π‘›=1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    π‘Žπ‘› |𝑧|𝑛+1)

    (33)

    or

    βˆ‘βˆž

    𝑛=1(𝑛 + 2 βˆ’ 𝛿) (πœ†/(𝑛 + πœ† + 1))πœ‡

    π‘Žπ‘› |𝑧|𝑛+1

    (1 βˆ’ 𝛿)≀ 1. (34)

    With the aid of (20) and (34), it is true to say that for fixed 𝑛

    (𝑛 + 2 βˆ’ 𝛿) (πœ†/(𝑛 + 1 + πœ†))πœ‡|𝑧|𝑛+1

    (1 βˆ’ 𝛿)

    ≀ (πœ†

    𝑛 + πœ† + 1)πœ‡

    Γ— (πœŒπ‘π‘› (1 + 𝐡) +

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    Γ— (𝐴 βˆ’ 𝐡)βˆ’1, 𝑛 β‰₯ 1.

    (35)

  • International Journal of Mathematics and Mathematical Sciences 5

    Solving (35) for |𝑧|, we obtain

    |𝑧| ≀ {(1 βˆ’ 𝛿)

    Γ— (πœŒπ‘π‘› (1 + 𝐡) +

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    Γ— ((𝑛 + 2 βˆ’ 𝛿) (𝐴 βˆ’ 𝐡))βˆ’1}𝑛+1

    .

    (36)

    This completes the proof of Theorem 6.

    Theorem 7. If the function 𝑓 defined by (6) is in the classΞ£πœ‡

    πœ†(𝜌, 𝐴, 𝐡), then 𝑓 is meromorphic convex of order 𝛿 in the

    disk |𝑧| < π‘Ÿ2, where

    π‘Ÿ2= inf𝑛β‰₯1

    {(1 βˆ’ 𝛿)

    Γ— (πœŒπ‘π‘› (1 + 𝐡) βˆ’

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    Γ— (𝑛 (𝑛 + 2 βˆ’ 𝛿) (𝐴 βˆ’ 𝐡))βˆ’1}1/(𝑛+1)

    .

    (37)

    The equality is attained for the function 𝑓𝑛(𝑧) given by (21).

    Proof. By using the same technique employed in the proof ofTheorem 6, we can show that

    𝑧(𝑓 (𝑧))

    (𝑓 (𝑧))+ 2

    ≀ 1 βˆ’ 𝛿. (38)

    For |𝑧| < π‘Ÿ1and with the aid of Theorem 3, we have the

    assertion of Theorem 7.

    4. Applications Involving GeneralizedHypergeometric Functions

    Theorem 8. The function 𝑓 ∈ Ξ£ is said to be a member of theclass Ξ£πœ‡

    πœ†(𝜌, 𝛼, 𝛽, 𝐴, 𝐡) if and only if it satisfies

    ∞

    βˆ‘π‘›=1

    (πœŒπ‘π‘› (1 + 𝐡) βˆ’

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    Γ—(𝛼)𝑛+1

    (𝛽)𝑛+1

    (πœ†

    𝑛 + πœ† + 1)πœ‡

    π‘Žπ‘› ≀ 𝐴 βˆ’ 𝐡.

    (39)

    The equality is attained for the function 𝑓𝑛(𝑧) given by

    𝑓𝑛(𝑧)

    =1

    𝑧

    +∞

    βˆ‘π‘›=1

    (𝐴 βˆ’ 𝐡) (𝑛 + πœ† + 1)πœ‡

    πœ†πœ‡ (πœŒπ‘π‘› (1 + 𝐡) βˆ’

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    𝑧𝑛,

    𝑛 β‰₯ 1.

    (40)

    Proof. By using the same technique employed in the proof ofTheorem 3 along with Definition 2, we can proveTheorem 8.

    The following consequences of Theorem 8 can bededuced by applying (39) and (40) along with Definition 2.

    Corollary 9. If the function 𝑓 ∈ Ξ£ belongs to the classΞ£πœ‡

    πœ†(𝜌, 𝛼, 𝛽, 𝐴, 𝐡), thenπ‘Žπ‘›

    ≀(𝐴 βˆ’ 𝐡) (𝑛 + πœ† + 1)πœ‡(𝛽)

    𝑛+1

    πœ†πœ‡ (πœŒπ‘π‘› (1 + 𝐡) βˆ’

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡)) (𝛼)𝑛+1

    ,

    𝑛 β‰₯ 1,

    (41)

    where the equality holds true for the functions 𝑓𝑛(𝑧) given by

    (40).

    Corollary 10. If the function 𝑓 defined by (6) is in the classΞ£πœ‡

    πœ†(𝜌, 𝛼, 𝛽, 𝐴, 𝐡), then 𝑓 is meromorphic starlike of order 𝛿 in

    the disk |𝑧| < π‘Ÿ3, where

    π‘Ÿ3= inf𝑛β‰₯1

    {(1 βˆ’ 𝛿)

    Γ— (πœŒπ‘π‘› (1 + 𝐡) βˆ’

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    Γ— ((𝐴 βˆ’ 𝐡) (𝑛 + 2 βˆ’ 𝛿))βˆ’1}1/(𝑛+1)

    .

    (42)

    The equality is attained for the function 𝑓𝑛(𝑧) given by (40).

    Corollary 11. If the function 𝑓 defined by (6) is in the classΞ£πœ‡

    πœ†(𝜌, 𝛼, 𝛽, 𝐴, 𝐡), then 𝑓 is meromorphic convex of order 𝛿 in

    the disk |𝑧| < π‘Ÿ4, where

    π‘Ÿ4= inf𝑛β‰₯1

    {(1 βˆ’ 𝛿)

    Γ— (πœŒπ‘π‘› (1 + 𝐡) βˆ’

    𝑐𝑛 (𝜌 (1 + 𝐡) + 𝐴 βˆ’ 𝐡))

    Γ— (𝑛 (𝑛 + 2 βˆ’ 𝛿) (𝐴 βˆ’ 𝐡))βˆ’1}1/(𝑛+1)

    .

    (43)

    The equality is attained for the function 𝑓𝑛(𝑧) given by (40).

    Conflict of Interests

    The authors declare that there is no conflict of interestsregarding the publication of this paper.

    Authors’ Contribution

    All authors read and approved the final paper.

    Acknowledgment

    The work here was fully supported by FRGSTOPDOWN/2013/ST06/UKM/01/1.

    References

    [1] S. G. Krantz, β€œMeromorphic functions and singularities at infin-ity,” inHandbook of Complex Variables, pp. 63–68, Birkhäauser,Boston, Mass, USA, 1999.

  • 6 International Journal of Mathematics and Mathematical Sciences

    [2] A. W. Goodman, β€œFunctions typically-real and meromorphicin the unit circle,” Transactions of the American MathematicalSociety, vol. 81, pp. 92–105, 1956.

    [3] N. E. Cho, O. S. Kwon, and H. M. Srivastava, β€œInclusion andargument properties for certain subclasses of meromorphicfunctions associated with a family of multiplier transforma-tions,” Journal of Mathematical Analysis and Applications, vol.300, no. 2, pp. 505–520, 2004.

    [4] F. Ghanim and M. Darus, β€œSome properties on a certain classof meromorphic functions related to Cho-Kwon-Srivastavaoperator,” Asian-European Journal of Mathematics, vol. 5, no. 4,Article ID 1250052, pp. 1–9, 2012.

    [5] N. E. Cho and I. H. Kim, β€œInclusion properties of certainclasses of meromorphic functions associated with the gen-eralized hypergeometric function,” Applied Mathematics andComputation, vol. 187, no. 1, pp. 115–121, 2007.

    [6] J. Dziok and H. M. Srivastava, β€œSome subclasses of analyticfunctions with fixed argument of coefficients associated withthe generalized hypergeometric function,” Advanced Studies inContemporary Mathematics (Kyungshang), vol. 5, no. 2, pp. 115–125, 2002.

    [7] J. Dziok and H. M. Srivastava, β€œCertain subclasses of analyticfunctions associated with the generalized hypergeometric func-tion,” Integral Transforms and Special Functions, vol. 14, no. 1, pp.7–18, 2003.

    [8] F. Ghanim, β€œ A study of a certain subclass of Hurwitz-Lerch-Zeta function related to a linear operator,” Abstract and AppliedAnalysis, vol. 2013, Article ID 763756, 7 pages, 2013.

    [9] F. Ghanim and M. Darus, β€œA new class of meromorphicallyanalytic functions with applications to the generalized hyper-geometric functions,” Abstract and Applied Analysis, vol. 2011,Article ID 159405, 10 pages, 2011.

    [10] F. Ghanim, M. Darus, and Z.-G. Wang, β€œSome properties ofcertain subclasses of meromorphically functions related to cho-kwon-srivastava operator,” Information Journal, vol. 16, no. 9,pp. 6855–6866, 2013.

    [11] J. Liu and H. M. Srivastava, β€œA linear operator and associatedfamilies of meromorphically multivalent functions,” Journal ofMathematical Analysis and Applications, vol. 259, no. 2, pp. 566–581, 2001.

    [12] J. Liu and H. M. Srivastava, β€œClasses of meromorphically multi-valent functions associated with the generalized hypergeomet-ric function,”Mathematical andComputerModelling, vol. 39, no.1, pp. 21–34, 2004.

  • Submit your manuscripts athttp://www.hindawi.com

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    MathematicsJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Mathematical Problems in Engineering

    Hindawi Publishing Corporationhttp://www.hindawi.com

    Differential EquationsInternational Journal of

    Volume 2014

    Applied MathematicsJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Journal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Mathematical PhysicsAdvances in

    Complex AnalysisJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    OptimizationJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    International Journal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Operations ResearchAdvances in

    Journal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Function Spaces

    Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    International Journal of Mathematics and Mathematical Sciences

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Algebra

    Discrete Dynamics in Nature and Society

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Decision SciencesAdvances in

    Discrete MathematicsJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com

    Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Stochastic AnalysisInternational Journal of