Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL: http://www.bmathaa.org Volume 1 Issue 3(2009), Pages 71-84. A UNIFIED CLASS OF ANALYTIC FUNCTIONS WITH NEGATIVE COEFFICIENTS INVOLVING THE HURWITZ-LERCH ZETA FUNCTION (DEDICATED IN OCCASION OF THE 65-YEARS OF PROFESSOR R.K. RAINA) GANGADHARAN. MURUGUSUNDARAMOORTHY Abstract. Making use of convolution product, we introduce a uniο¬ed class of analytic functions with negative coeο¬cients. Also, we obtain the coeο¬cient bounds, extreme points and radius of starlikeness for functions belonging to the generalized class π πππ (πΌ, π½). Furthermore, partial sums ππ (π§) of functions π (π§) in the class πππ (πΌ, π½) are considered and sharp lower bounds for the ratios of real part of π (π§) to ππ (π§) and π ′ (π§) to ππ′ (π§) are determined. Relevant connections of the results with various known results are also considered. 1. Introduction Let π΄ denote the class of functions of the form ∞ ∑ ππ π§ π π (π§) = π§ + (1.1) π=2 which are analytic and univalent in the open disc π = {π§ : π§ ∈ π, β£π§β£ < 1}. For ∞ ∑ functions π ∈ π΄ given by (1.1) and π ∈ π΄ given by π(π§) = π§ + ππ π§ π , we deο¬ne π=2 the Hadamard product (or convolution ) of π and π by ∞ ∑ (π ∗ π)(π§) = π§ + ππ ππ π§ π , π§ ∈ π. (1.2) π=2 we recall here a general Hurwitz-Lerch Zeta function Φ(π§, π , π) deο¬ned by (cf., e.g., [29,p. 121]). ∞ ∑ π§π Φ(π§, π , π) := (1.3) (π + π)π π=0 (π ∈ β β {β€− 0 }; π ∈ β, ℜ(π ) > 1 and β£π§β£ = 1) 2000 Mathematics Subject Classiο¬cation. 30C45. Key words and phrases. Analytic, univalent, starlikeness, convexity, Hadamard product (or convolution), uniformly convex, uniformly starlike functions. c β2009 Universiteti i PrishtineΜs, PrishtineΜ, KosoveΜ. Submitted October, 2009. Published November, 2009. 71 72 GANGADHARAN. MURUGUSUNDARAMOORTHY where, as usual, β€− 0 := β€ β {β}, (β€ := {±1, ±2, ±3, ...}); β := {1, 2, 3, ...}. Several interesting properties and characteristics of the Hurwitz-Lerch Zeta function Φ(π§, π , π) can be found in the recent investigations by Choi and Srivastava [5], Ferreira and Lopez [6], Garg et al. [8], Lin and Srivastava [11], Lin et al. [12], and others. Srivastava and Attiya [28] (see also Raducanu and Srivastava [18], and Prajapat and Goyal [15]) introduced and investigated the linear operator: π₯π,π : π → π deο¬ned in terms of the Hadamard product by π₯π,π π (π§) = π’π,π ∗ π (π§) (π§ ∈ π ; π ∈ β β {β€− 0 }; π (1.4) ∈ β; π ∈ π), where, for convenience, πΊπ,π (π§) := (1 + π)π [Φ(π§, π, π) − π−π ] (π§ ∈ π ). (1.5) We recall here the following relationships (given earlier by [15], [18]) which follow easily by using (1.1), (1.4) and (1.5) π₯ππ π (π§) = π§ + ∞ ∑ πΆπ (π, π)ππ π§ π (1.6) π=2 where ( πΆπ (π, π) = 1+π π+π )π (1.7) and (throughout this paper unless otherwise mentioned) the parameters π, π constrained as π ∈ β β {β€− 0 }; π ∈ β. are (1) For π = 0 π₯π0 (π )(π§) := π (π§). (1.8) (2) For π = 1 π₯π1 (π )(π§) := ∫ π§ 0 π (π‘) ππ‘ := βπ π (π§). π‘ (3) For π = 1 and π = π(π > −1) ∫ 1 + π π§ 1−π π₯π1 (π )(π§) := π‘ π (π‘)ππ‘ := β±π (π )(π§). π§π 0 (1.9) (1.10) (4) For π = π(π > 0) and π = 1 π₯1π (π )(π§) := π§ + ∞ ( ∑ π=2 2 π+1 )π ππ π§ π = β π (π )(π§), (1.11) where βπ (π ) and β±π are the integral operators introduced by Alexandor [1] and Bernardi [3], respectively, and β π (π ) is the Jung-Kim-Srivastava integral operator [13] closely related to some multiplier transformation studied by Fleet [7]. Making use of the operator π₯ππ , we introduce a new subclass of analytic functions with negative coeο¬cients and discuss some some usual properties of the geometric function theory of this generalized function class. A UNIFIED CLASS OF ANALYTIC FUNCTIONS WITH NEGATIVE COEFFICIENTS 73 For π ≥ 0, −1 ≤ πΌ < 1 and π½ ≥ 0, we let πππ (πΌ, π½) be the subclass of π΄ consisting of functions of the form (1.1) and satisfying the inequality { } π§(π₯ππ π )′ (π§) + ππ§ 2 (π₯ππ π )′′ (π§) π§(π₯ππ π )′ (π§) + ππ§ 2 (π₯ππ π )′′ (π§) Re −πΌ >π½ − 1 π π ′ π π ′ (1 − π)(π₯π π )(π§) + ππ§(π₯π π ) (π§) (1 − π)(π₯π π )(π§) + ππ§(π₯π π ) (π§) (1.12) where π§ ∈ π, π₯ππ π (π§) is given by (1.6) . We further let π πππ (πΌ, π½) = πππ (πΌ, π½) ∩ π, where { } ∞ ∑ π := π ∈ π΄ : π (π§) = π§ − β£ππ β£π§ π , π§ ∈ π (1.13) π=2 is a subclass of π΄ introduced and studied by Silverman [21]. In particular, for 0 ≤ π ≤ 1, the class π πππ (πΌ, π½) provides a transition from π−uniformly starlike functions to π−uniformly convex functions.By suitably specializing the values of π, πΌ, π½ and π the class π πππ (πΌ, π½) reduces to the various subclasses introduced and studied in [2, 4, 21, 26, 27]. As illustrations, we present few following examples: Example 1: If π = 0 and π = 1, then ′′ } } { { π§π (π§) π§π ′′ (π§) , π§ ∈ π . − πΌ > π½ ′ π π01 (πΌ, π½) ≡ π πΆπ (πΌ, π½) := π ∈ π : Re 1 + ′ π (π§) π (π§) (1.14) A function in π πΆπ (πΌ, π½) is called π½−uniformly convex of order πΌ, 0 ≤ πΌ < 1. This class was introduced in [4]. We also observe that π ππ (πΌ, 0) ≡ π ∗ (πΌ), π πΆπ (πΌ, 0) ≡ πΆ(πΌ) are, respectively, well-known subclasses of starlike functions of order πΌ and convex functions of order πΌ. Indeed it follows from (1.16) and (1.14) that π ∈ π πΆπ (πΌ, π½) ⇔ π§π ′ ∈ π ππ (πΌ, π½). (1.15) For π = 0 and diο¬erent choices of π we can state various subclasses of π. Example 2: If π = 0, then ′ { { ′ } } π§π (π§) π§π (π§) π π00 (πΌ, π½) ≡ π ππ (πΌ, π½) := π ∈ π : Re − πΌ > π½ − 1 , π§ ∈ π π (π§) π (π§) (1.16) A function in π ππ (πΌ, π½) is called π½−uniformly starlike of order πΌ, 0 ≤ πΌ < 1. This class was introduced in [4]. We also note that the classes π ππ (πΌ, 0) and π ππ (0, 0) were ο¬rst introduced in [21]. Example 3: If π = 1 and π (π§) is as deο¬ned in (1.9), then { ( ) } π§(βπ π (π§))′ π§(βπ π (π§))′ 0 π π1 (πΌ, π½) ≡ π βπ (πΌ, π½) := π ∈ π : Re −πΌ >π½ − 1 , π§ ∈ π , βπ π (π§) βπ π (π§) ) ∞ ( ∑ 1+π π where βπ π (π§) is deο¬ned by βπ π (π§) := π§ − π+π ππ π§ . π=2 Example 4: If π = 1, π = π(π > −1) and π (π§)is as deο¬ned in (1.10), then { ( ) } β±π π (π§) β±π π (π§) 0 π π1 (πΌ, π½) ≡ π β±π (πΌ, π½) := π ∈ π : Re −πΌ >π½ − 1 , π§ ∈ π , β±π π (π§) β±π π (π§) 74 GANGADHARAN. MURUGUSUNDARAMOORTHY where β±π π (π§) is given by β±π π (π§) := π§ − ) ∞ ( ∑ 1+π π=2 π+π ππ π§ π . Example 5: If π = π(π > 0), π = 1 and π (π§) is deο¬ned in (1.11), then } { ( ) π§(β π π (π§))′ π§(β π π (π§))′ 1 π π ππ (πΌ, π½) ≡ β (πΌ, π½) := π ∈ π : Re −πΌ >π½ − 1 , π§ ∈ π , β π π (π§) β π π (π§) )π ∞ ( ∑ 2 where β π π (π§) is deο¬ned by β π π (π§) := π§ − ππ π§ π . π+1 π=2 We remark that the classes of uniformly convex and uniformly starlike functions were introduced by Goodman [9, 10], and later generalized by and others [4, 16, 17, 19, 20, 26, 27]. The main object of this paper is to study the coeο¬cient bounds, extreme points and radius of starlikeness for functions belong to the generalized class π πππ (πΌ, π½). Furthermore, partial sums ππ (π§) of functions π (π§) in the class πππ (πΌ, π½) are considered and sharp lower bounds for the ratios of real part of π (π§) to ππ (π§) and π ′ (π§) to ππ′ (π§) are determined. 2. Coefficient Bounds In this section we obtain a necessary and suο¬cient condition for functions π (π§) in the classes πππ (πΌ, π½) and π πππ (πΌ, π½). Theorem 2.1. A function π (π§) of the form (1.1) is in πππ (πΌ, π½) if ∞ ∑ (1 + π(π − 1))[π(1 + π½) − (πΌ + π½)]β£ππ β£β£πΆπ (π, π)β£ ≤ 1 − πΌ, (2.1) π=2 0 ≤ π ≤ 1, −1 ≤ πΌ < 1, π½ ≥ 0. Proof. It suο¬cies to show that { } π§(π₯ππ π )′ (π§) + ππ§ 2 (π₯ππ π )′′ (π§) π§(π₯ππ π )′ (π§) + ππ§ 2 (π₯ππ π )′′ (π§) − Re π½ − 1 − 1 ≤1−πΌ (1 − π)(π₯ππ π )(π§) + ππ§(π₯ππ π )′ (π§) (1 − π)(π₯ππ π )(π§) + ππ§(π₯ππ π )′ (π§) We have { } π§(π₯ππ π )′ (π§) + ππ§ 2 (π₯ππ π )′′ (π§) π§(π₯ππ π )′ (π§) + ππ§ 2 (π₯ππ π )′′ (π§) π½ − 1 − Re − 1 (1 − π)(π₯ππ π )(π§) + ππ§(π₯ππ π )′ (π§) (1 − π)(π₯ππ π )(π§) + ππ§(π₯ππ π )′ (π§) π π π§(π₯π π )′ (π§) + ππ§ 2 (π₯π π )′′ (π§) − 1 ≤ (1 + π½) π π ′ (1 − π)(π₯π π )(π§) + ππ§(π₯π π ) (π§) ∞ ∑ (1 + π½) (π − 1)[1 + π(π − 1)]β£ππ β£β£πΆπ (π, π)β£ π=2 . ≤ ∞ ∑ 1− [1 + π(π − 1)]β£ππ β£β£πΆπ (π, π)β£ π=2 This last expression is bounded above by (1 − πΌ) if ∞ ∑ (1 + π(π − 1))[π(1 + π½) − (πΌ + π½)]β£ππ β£β£πΆπ (π, π)β£ ≤ 1 − πΌ, π=2 and hence the proof is complete. β‘ A UNIFIED CLASS OF ANALYTIC FUNCTIONS WITH NEGATIVE COEFFICIENTS 75 Theorem 2.2. A necessary and suο¬cient condition for π (π§) of the form (1.13) to be in the class π πππ (πΌ, π½), −1 ≤ πΌ < 1, 0 ≤ π ≤ 1, π½ ≥ 0 is that ∞ ∑ (1 + π(π − 1))[π(1 + π½) − (πΌ + π½)] ππ πΆπ (π, π) ≤ 1 − πΌ, (2.2) π=2 Proof. In view of Theorem 2.1, we need only to prove the necessity. If π ∈ πππ (πΌ, π½) and π§ is real then ∞ ∞ ∑ ∑ (π − 1)[1 + π(π − 1)]β£ππ β£β£πΆπ (π, π)β£ 1− π[1 + π(π − 1)]ππ πΆπ (π, π)π§ π−1 π=2 π=2 −πΌ ≥ π½ ∞ ∞ ∑ ∑ π−1 1− [1 + π(π − 1)]ππ πΆπ (π, π)π§ [1 + π(π − 1)]β£ππ β£β£πΆπ (π, π)β£ 1− π=2 π=2 Letting π§ → 1 along the real axis, we obtain the desired inequality ∞ ∑ (1 + π(π − 1))[π(1 + π½) − (πΌ + π½)] ππ πΆπ (π, π) ≤ 1 − πΌ. π=2 β‘ In view of the Examples 1 to 5 in Section 1 and Theorem 2.2, we have following corollaries for the classes deο¬ned in these examples. Corollary 2.3. [4] A necessary and suο¬cient condition for π (π§) of the form (1.13) to be in the class π ππ (πΌ, π½), −1 ≤ πΌ < 1, π½ ≥ 0 is that ∞ ∑ [π(1 + π½) − (πΌ + π½)] ππ ≤ 1 − πΌ, π=2 Corollary 2.4. [4] A necessary and suο¬cient condition for π (π§) of the form (1.13) to be in the class π πΆπ (πΌ, π½), −1 ≤ πΌ < 1, π½ ≥ 0 is that ∞ ∑ π[π(1 + π½) − (πΌ + π½)] ππ ≤ 1 − πΌ, π=2 Corollary 2.5. A necessary and suο¬cient condition for π (π§) of the form (1.13) to be in the class π βπ (πΌ, π½), −1 ≤ πΌ < 1, π½ ≥ 0 is that ( ) ∞ ∑ 1+π [π(1 + π½) − (πΌ + π½)] ππ ≤ 1 − πΌ. π+π π=2 Corollary 2.6. A necessary and suο¬cient condition for π (π§) of the form (1.13) to be in the class π β±π (πΌ, π½), −1 ≤ πΌ ≤ 1 and π½ ≥ 0 is that ( ) ∞ ∑ 1+π [π(π½ + 1) − (πΌ + π½)] ππ ≤ 1 − πΌ. π+π π=2 Corollary 2.7. A necessary and suο¬cient condition for π (π§) of the form (1.13) to be in the class β π (πΌ, π½), −1 ≤ πΌ < 1, π½ ≥ 0 is that ( )π ∞ ∑ 2 [π(1 + π½) − (πΌ + π½)] ππ ≤ 1 − πΌ. π+1 π=2 When π½ = 0 and π = 1 with π = 0, Theorem 2.2 gives the following interesting result. 76 GANGADHARAN. MURUGUSUNDARAMOORTHY Corollary 2.8. [21] If π ∈ π― , then π ∈ π(πΌ) if and only if ∞ ∑ π(π − πΌ)ππ ≤ 1 − πΌ. π=2 Corollary 2.9. If π ∈ π πππ (πΌ, π½), then ππ ≤ 1−πΌ , π ≥ 2, [π(π½ + 1) − (πΌ + π½)](1 + π(π − 1))πΆπ (π, π) (2.3) where 0 ≤ π ≤ 1, −1 ≤ πΌ < 1 and π½ ≥ 0. Equality in (2.3) holds for the function 1−πΌ π (π§) = π§ − π§π. (2.4) [π(π½ + 1) − (πΌ + π½)](1 + π(π − 1))πΆπ (π, π) Similarly many known results can be obtained as particular cases of the following theorems, so we omit stating the particular cases for the following theorems. 3. Closure Properties Theorem 3.1. Let π1 (π§) = π§ and ππ (π§) = π§− 1−πΌ π§π, [π(π½ + 1) − (πΌ + π½)](1 + π(π − 1))πΆπ (π, π) π ≥ 2.(3.1) Then π ∈ π πππ (πΌ, π½), if and only if it can be expressed in the form π (π§) = ∞ ∑ ππ ππ (π§), ∞ ∑ ππ ≥ 0, π=1 ππ = 1. (3.2) π=1 Proof. Suppose π (π§) can be written as in (3.2). Then ∞ ∑ 1−πΌ π§π. π (π§) = π§ − ππ [π(π½ + 1) − (πΌ + π½)](1 + π(π − 1))πΆ (π, π) π π=2 Now, ∞ ∑ [π(π½ + 1) − (πΌ + π½)](1 + π(π − 1))πΆπ (π, π)(1 − πΌ) ππ (1 − πΌ)[π(π½ + 1) − (πΌ + π½)](1 + π(π − 1))πΆπ (π, π) π=2 = ∞ ∑ ππ = 1 − π1 ≤ 1. π=2 Thus π ∈ π πππ (πΌ, π½). Conversely, let us have π ∈ π πππ (πΌ, π½). Then by using (2.3), we set [π(π½ + 1) − (πΌ + π½)](1 + π(π − 1))πΆπ (π, π) ππ = ππ , π ≥ 2 1−πΌ ∑∞ ∑∞ and π1 = 1 − π=2 ππ . Then we have π (π§) = π=1 ππ ππ (π§) and hence this completes the proof of Theorem 3.1. β‘ Theorem 3.2. The class π πππ (πΌ, π½) is a convex set. Proof. Let the function ππ (π§) = π§ − ∞ ∑ ππ, π π§ π , ππ, π ≥ 0, π = 1, 2 (3.3) π=2 be in the class π πππ (πΌ, π½). It suο¬cient to show that the function β(π§) deο¬ned by β(π§) = ππ1 (π§) + (1 − π)π2 (π§), 0 ≤ π ≤ 1, A UNIFIED CLASS OF ANALYTIC FUNCTIONS WITH NEGATIVE COEFFICIENTS 77 is in the class π πππ (πΌ, π½). Since β(π§) = π§ − ∞ ∑ [πππ,1 + (1 − π)ππ,2 ]π§ π , π=2 an easy computation with the aid of Theorem 2.2 gives, ∞ ∑ (1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)]ππΆπ (π, π)ππ,1 π=2 + ∞ ∑ (1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)](1 − π)πΆπ (π, π)ππ,2 π=2 ≤ π(1 − πΌ) + (1 − π)(1 − πΌ) ≤ 1 − πΌ, which implies that β ∈ π πππ (πΌ, π½). Hence π πππ (πΌ, π½) is convex. β‘ Next we obtain the radii of close-to-convexity, starlikeness and convexity for the class π πππ (πΌ, π½). Theorem 3.3. Let the function π (π§) deο¬ned by (1.13)belong to the class π πππ (πΌ, π½). Then π (π§) is close-to-convex of order πΏ (0 ≤ πΏ < 1) in the disc β£π§β£ < π1 , where [ ] 1 (1 − πΏ)[π(π½ + 1) − (πΌ + π½)](1 + π(π − 1))πΆπ (π, π) π−1 π1 := (π ≥ 2). (3.4) π(1 − πΌ) The result is sharp, with extremal function π (π§) given by (3.1). Proof. Given π ∈ π, and π is close-to-convex of order πΏ, we have β£π ′ (π§) − 1β£ < 1 − πΏ. (3.5) For the left hand side of (3.5) we have β£π ′ (π§) − 1β£ ≤ ∞ ∑ πππ β£π§β£π−1 . π=2 The last expression is less than 1 − πΏ if ∞ ∑ π π=2 1−πΏ ππ β£π§β£π−1 < 1. Using the fact, that π ∈ π πππ (πΌ, π½) if and only if ∞ ∑ (1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)]πΆπ (π, π) ππ ≤ 1, (1 − πΌ) π=2 We can say (3.5) is true if π (1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)]πΆπ (π, π) β£π§β£π−1 ≤ ππ 1−πΏ (1 − πΌ) Or, equivalently, π−1 β£π§β£ [ (1 − πΏ)(1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)]πΆπ (π, π) = π(1 − πΌ) which completes the proof. ] β‘ 78 GANGADHARAN. MURUGUSUNDARAMOORTHY Theorem 3.4. If π ∈ π πππ (πΌ, π½), then (i) π is{starlike} of order πΏ(0 ≤ πΏ < 1) in the disc β£π§β£ < π2 ; that is, ′ (π§) > πΏ, (β£π§β£ < π2 ; 0 ≤ πΏ < 1), where Re π§ππ (π§) ) ] 1 1 − πΏ (1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)]πΆπ (π, π) π−1 . π≥2 π−πΏ (1 − πΌ) (ii) π is{ convex of } order πΏ (0 ≤ πΏ < 1) in the unit disc β£π§β£ < π3 , that is [( π2 = inf Re 1+ [( π3 = inf π≥2 π§π ′′ (π§) π ′ (π§) 1−πΏ π(π − πΏ) (3.6) > πΏ, (β£π§β£ < π3 ; 0 ≤ πΏ < 1), where ) (1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)]πΆπ (π, π) (1 − πΌ) 1 ] π−1 . (3.7) Each of these results are sharp for the extremal function π (π§) given by (3.1). Proof. (i) Given π ∈ π, and π is starlike of order πΏ, we have ′ π§π (π§) π (π§) − 1 < 1 − πΏ. (3.8) For the left hand side of (3.8) we have ′ π§π (π§) π (π§) − 1 ≤ ∞ ∑ (π − 1)ππ β£π§β£π−1 π=2 1− ∞ ∑ . ππ β£π§β£π−1 π=2 The last expression is less than 1 − πΏ if ∞ ∑ π−πΏ ππ β£π§β£π−1 < 1. 1 − πΏ π=2 Using the fact, that π ∈ π πππ (πΌ, π½) if and only if ∞ ∑ (1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)] ππ πΆπ (π, π) ≤ 1. (1 − πΌ) π=2 We can say (3.8) is true if π − πΏ π−1 (1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)]πΆπ (π, π) β£π§β£ < 1−πΏ (1 − πΌ) Or, equivalently, π−1 β£π§β£ [( = 1−πΏ π−πΏ ) (1 + π(π − 1))[π(π½ + 1) − (πΌ + π½)]πΆπ (π, π) (1 − πΌ) ] which yields the starlikeness of the family. (ii) Using the fact that π is convex if and only if π§π ′ is starlike, we can prove (ii), on lines similar to the proof of (i). β‘ A UNIFIED CLASS OF ANALYTIC FUNCTIONS WITH NEGATIVE COEFFICIENTS 79 4. Partial Sums Following the earlier works by Silverman [22] and Silvia [23] on partial sums of analytic functions. We consider in this section partial sums of functions in the class πππ (πΌ, π½) and obtain sharp lower bounds for the ratios of real part of π (π§) to ππ (π§) and π ′ (π§) to ππ′ (π§). Theorem 4.1. Let π (π§) ∈ πππ (πΌ, π½). Deο¬ne the partial sums π1 (π§) and ππ (π§), by π ∑ ππ π§ π , (π ∈ π/1) (4.1) (1 + π(π − 1))[π(πΌ + π½) − (πΌ + π½)]πΆπ (π, π) . (1 − πΌ) (4.2) π1 (π§) = π§; and ππ (π§) = π§ + π=2 Suppose also that ∞ ∑ ππ β£ππ β£ ≤ 1, π=2 where ππ := Then π ∈ πππ (πΌ, π½). Furthermore, { } π (π§) 1 π π >1− π§ ∈ π, π ∈ π ππ (π§) ππ+1 (4.3) and { π π ππ (π§) π (π§) } > ππ+1 . 1 + ππ+1 (4.4) Proof. For the coeο¬cients ππ given by (4.2) it is not diο¬cult to verify that ππ+1 > ππ > 1. (4.5) Therefore we have π ∑ β£ππ β£ + ππ+1 π=2 ∞ ∑ β£ππ β£ ≤ ∞ ∑ ππ β£ππ β£ ≤ 1 (4.6) π=2 π=π+1 by using the hypothesis (4.2). By setting ( { )} 1 π (π§) π1 (π§) = ππ+1 − 1− ππ (π§) ππ+1 ∞ ∑ ππ+1 ππ π§ π−1 π=π+1 = 1+ π ∑ 1+ ππ π§ π−1 (4.7) π=2 and applying (4.6), we ο¬nd that π1 (π§) − 1 π1 (π§) + 1 ππ+1 ∞ ∑ β£ππ β£ π=π+1 ≤ 2−2 π ∑ π=2 ≤ 1, π§ ∈ π, β£ππ β£ − ππ+1 ∞ ∑ β£ππ β£ π=π+1 (4.8) 80 GANGADHARAN. MURUGUSUNDARAMOORTHY which readily yields the assertion (4.3) of Theorem 4.1. In order to see that π (π§) = π§ + π§ π+1 ππ+1 (4.9) gives sharp result, we observe that for π§ = ππππ/π that πππ(π§) (π§) = 1 + as π§ → 1− . Similarly, if we take { } ππ (π§) ππ+1 π2 (π§) = (1 + ππ+1 ) − π (π§) 1 + ππ+1 ∞ ∑ ππ π§ π−1 (1 + ππ+1 ) π=π+1 = 1− ∞ ∑ 1+ ππ π§ π−1 π§π ππ+1 → 1− 1 ππ+1 (4.10) π=2 and making use of (4.6), we can deduce that π2 (π§) − 1 π2 (π§) + 1 ≤ ∞ ∑ (1 + ππ+1 ) β£ππ β£ π=π+1 2−2 π ∑ ∞ ∑ β£ππ β£ − (1 − ππ+1 ) π=2 (4.11) β£ππ β£ π=π+1 which leads us immediately to the assertion (4.4) of Theorem 4.1. The bound in (4.4) is sharp for each π ∈ π with the extremal function π (π§) given by (4.9). The proof of the Theorem 4.1, is thus complete. β‘ Theorem 4.2. If π (π§) of the form (1.1) satisο¬es the condition (2.1). Then } { ′ π+1 π (π§) ≥1− . (4.12) π π ππ′ (π§) ππ+1 Proof. By setting ( )} π+1 π ′ (π§) − 1 − ππ′ (π§) ππ+1 ∞ ∞ ∑ ∑ π+1 1 + ππ+1 πππ π§ π−1 + πππ π§ π−1 { π(π§) = ππ+1 π=2 π=π+1 = 1+ π ∑ πππ π§ π−1 π=2 ππ+1 π+1 = 1+ ∞ ∑ πππ π§ π−1 π=π+1 π ∑ . πππ π§ π−1 1+ π=2 π(π§) − 1 π(π§) + 1 ≤ ππ+1 π+1 2−2 π ∑ π=2 ∞ ∑ πβ£ππ β£ π=π+1 πβ£ππ β£ − ππ+1 π+1 Now π(π§) − 1 π(π§) + 1 ≤ 1 ∞ ∑ π=π+1 . πβ£ππ β£ (4.13) A UNIFIED CLASS OF ANALYTIC FUNCTIONS WITH NEGATIVE COEFFICIENTS 81 if π ∑ πβ£ππ β£ + π=2 ∞ ππ+1 ∑ πβ£ππ β£ ≤ 1 π+1 (4.14) π=π+1 since the left hand side of (4.14) is bounded above by π ∑ ππ β£ππ β£ if π=2 π ∑ (ππ − π)β£ππ β£ + π=2 ∞ ∑ ππ − π=π+1 ππ+1 πβ£ππ β£ ≥ 0, π+1 (4.15) and the proof is complete. The result is sharp for the extremal function π (π§) = π+1 β‘ π§ + π§ππ+1 . Theorem 4.3. If π (π§) of the form (1.1) satisο¬es the condition (2.1) then { ′ } ππ (π§) ππ+1 π π ≥ . π ′ (π§) π + 1 + ππ+1 (4.16) Proof. By setting ππ+1 ππ′ (π§) − π ′ (π§) π + 1 + ππ+1 ( ) ∑ ∞ π+1 1 + ππ+1 πππ π§ π−1 { π(π§) = [(π + 1) + ππ+1 ] = 1− } π=π+1 1+ π ∑ πππ π§ π−1 π=2 and making use of (4.15), we deduce that ( ) ∑ ∞ π+1 1 + ππ+1 πβ£ππ β£ π(π§) − 1 π=π+1 ≤ ≤ 1, ) ∑ ( π(π§) + 1 ∞ π ∑ ππ+1 πβ£ππ β£ 2−2 πβ£ππ β£ − 1 + π+1 π=2 π=π+1 which leads us immediately to the assertion of the Theorem 4.3. β‘ 5. Integral Means Inequalities In 1925, Littlewood [14] proved the following subordination theorem. Lemma 5.1. If the functions π and π are analytic in π with π βΊ π, then for π > 0, and 0 < π < 1, ∫2π ∫2π π ππ π(ππ ) ππ ≤ π (ππππ )π ππ. (5.1) 0 0 2 In [21], Silverman found that the function π2 (π§) = π§ − π§2 is often extremal over the family π. He applied this function to resolve his integral means inequality, conjectured in [24] and settled in [25], that ∫2π 0 π (ππππ )π ππ ≤ ∫2π 0 π2 (ππππ )π ππ, 82 GANGADHARAN. MURUGUSUNDARAMOORTHY for all π ∈ π, π > 0 and 0 < π < 1. In [25], he also proved his conjecture for the subclasses π ∗ (πΌ) and πΆ(πΌ) of π. In the following theorem we obtain integral means inequalities for the functions in the family π πππ (πΌ, π½). By taking appropriate choices of the parameters we obtain the integral means inequalities for several known as well as new subclasses. Applying Lemma 5.1, Theorem 2.1 and Theorem 2.9, we prove the following result. Theorem 5.2. Suppose π ∈ π πππ (πΌ, π½), π > 0, 0 ≤ πΌ < 1, π½ ≥ 0 and π2 (π§) is deο¬ned by 1−πΌ π§2. π2 (π§) = π§ − (2 − πΌ)(1 + π)πΆ2 (π, π) where πΆ2 (π, π) is given by (1.7). Then for π§ = ππππ , 0 < π < 1, we have ∫2π ∫2π π β£π (π§)β£ ππ ≤ 0 ∞ ∑ Proof. For π (π§) = π§ − π β£π2 (π§)β£ ππ. (5.2) 0 β£ππ β£π§ π , (5.2) is equivalent to proving that π=2 π π ∫2π ∫2π ∞ ∑ 1−πΌ π−1 ππ. π§ 1 − 1 − β£π β£π§ ππ ≤ π (2 − πΌ)(1 + π)πΆ2 (π, π) π=2 0 0 By Lemma 5.1, it suο¬ces to show that 1− ∞ ∑ β£ππ β£π§ π−1 βΊ 1 − π=2 1−πΌ π§. (2 − πΌ)(1 + π)πΆ2 (π, π) Setting 1− ∞ ∑ π=2 β£ππ β£π§ π−1 = 1 − 1−πΌ π€(π§), (2 − πΌ)(1 + π)πΆ2 (π, π) (5.3) and using (2.2), we obtain ∞ ∑ (1 + π(π − 1))[π(1 + π½) − (πΌ + π½) β£π€(π§)β£ = ππ πΆπ (π, π)π§ π−1 1 − πΌ π=2 ≤ β£π§β£ ∞ ∑ (1 + π(π − 1))[π(1 + π½) − (πΌ + π½) β£ππ β£ 1−πΌ π=2 ≤ β£π§β£, where πΆπ (π, π) is given by (1.7). Which completes the proof by Theorem 5.2. β‘ In view of the Examples 1 to 5 in Section 1 and Theorem 5.2, we can deduce the integral means inequalities for the classes deο¬ned in the above stated examples. Acknowledgments. The author express his sincerest thanks to the referee for useful comments. A UNIFIED CLASS OF ANALYTIC FUNCTIONS WITH NEGATIVE COEFFICIENTS 83 References [1] J. W. Alexander, Functions which map the interior of the unit circle upon simple regions, Ann. of Math., 17(1915), 12-22. [2] O. P. Ahuja, Integral operators of certain univalent functions, Internat. J. Math. Soc., 8 (1985), 653–662. [3] S. D. Bernardi, Convex and starlike univalent functions, Trans. Amer. Math. Soc., 135(1969), 429–446. [4] R.Bharati, R.Parvatham and A.Swaminathan, On subclasses of uniformly convex functions and corresponding class of starlike functions, Tamkang J. Math., 26 1 (1997), 17–32. [5] J. Choi and H. M. Srivastava, Certain families of series associated with the Hurwitz-Lerch Zeta function, Appl. Math. Comput., 170 (2005), 399-409. [6] C. Ferreira and J. L. Lopez, Asymptotic expansions of the Hurwitz-Lerch Zeta function, J. Math. Anal. Appl., 298(2004), 210-224. [7] T. M. Flett, The dual of an inequality of Hardy and Littlewood and some related inequalities, J. Math. Anal. Appl., 38(1972), 746-765 [8] M. Garg, K. Jain and H. M. Srivastava, Some relationships between the generalized Apostol-Bernoulli polynomials and Hurwitz-Lerch Zeta functions, Integral Transform. Spec. Funct., 17(2006), 803-815. [9] A.W. Goodman, On uniformly convex functions, Ann. polon. Math., 56 (1991), 87–92. [10] A.W. Goodman, On uniformly starlike functions, J. Math. Anal. & Appl., 155(1991),364– 370. [11] S.-D. Lin and H. M. Srivastava, Some families of the Hurwitz-Lerch Zeta functions and associated fractional derivative and other integral representations, Appl. Math. Comput., 154(2004), 725-733. [12] S.-D. Lin, H. M. Srivastava and P.-Y. Wang, Some espansion formulas for a class of generalized Hurwitz-Lerch Zeta functions, Integral Transform. Spec. Funct., 17(2006), 817-827. [13] I. B. Jung, Y. C. Kim AND H. M. Srivastava, The Hardy space of analytic functions associated with certain one-parameter families of integral operators, J. Math. Anal. Appl., 176(1993), 138-147. [14] J. E. Littlewood, On inequalities in theory of functions, Proc. London Math. Soc., 23 (1925), 481–519. [15] J. K. Prajapat and S. P. Goyal, Applications of Srivastava-Attiya operator to the classes of strongly starlike and strongly convex functions, J. Math. Inequal., 3(2009), 129-137. [16] F.Rønning, Uniformly convex functions and a corresponding class of starlike functions, Proc. Amer. Math. Soc., 118,(1993),189–196. [17] F.Rønning, Integral representations for bounded starlike functions, Annal. Polon. Math., 60,(1995),289–297. [18] D. Raducanu and H. M. Srivastava, A new class of analytic functions deο¬ned by means of a convolution operator involving the Hurwitz-Lerch Zeta function, Integral Transform. Spec. Funct., 18(2007), 933-943. [19] T.Rosy, K.G.Subramanian and G.Murugusundaramoorthy, Neighbourhoods and partial sums of starlike functions based on Ruscheweyh derivatives , J.Ineq. Pure and Appl. Math., Vol.4, 4 (64) (2003). [20] T.Rosy and G.Murugusundaramoorthy, Fractional calculus and their applications to certain subclass of uniformly convex functions , Far East. J. Math. Sci., 15 (2)(2004), 231–242. [21] H. Silverman, Univalent functions with negative coeο¬cients, Proc. Amer. Math. Soc. , 51 (1975), 109–116. [22] H. Silverman, Partial sums of starlike and convex functions, J. Math.Anal. & Appl., 209 (1997), 221–227. [23] E.M. Silvia., Partial sums of convex functions of order πΌ, Houston.J.Math., Math.Soc., 11(3) (1985), 397–404. [24] H. Silverman, A survey with open problems on univalent functions whose coeο¬cients are negative, Rocky Mt. J. Math., 21 (1991), 1099–1125. [25] H. Silverman, Integral means for univalent functions with negative coeο¬cients, Houston J. Math., 23 (1997), 169–174. 84 GANGADHARAN. MURUGUSUNDARAMOORTHY [26] K.G.Subramanian, G.Murugusundaramoorthy, P.Balasubrahmanyam and H.Silverman, Subclasses of uniformly convex and uniformly starlike functions. Math. Japonica., 42 N0.3,(1995),517–522. [27] K.G.Subramanian, T.V.Sudharsan, P.Balasubrahmanyam and H.Silverman, Classes of uniformly starlike functions. Publ.Math.Debrecen., 53 3-4,(1998),309–315 . [28] H. M. Srivastava and A. A. Attiya, An integral operator associated with the Hurwitz-Lerch Zeta function and diο¬erential subordination, Integral Transform. Spec. Funct., 18(2007), 207–216. [29] H. M. Srivastava and J. Choi, Series associated with the Zeta and related functions, Dordrecht, Boston, London: Kluwer Academic Publishers, 2001. Gangadharan. Murugusundaramoorthy School of Advanced Sciences , VIT University, Vellore - 632014, India., E-mail address: gmsmoorthy@yahoo.com