Certain Subclasses of Bistarlike and Biconvex Functions Based on

0 downloads 0 Views 2MB Size Report
Apr 10, 2016 - Nanjundan Magesh,1 Vitalrao Kupparao Balaji,2 and Jagadesan Yamini3. 1Post-Graduate and Research Department of Mathematics, Government Arts ... estimates for Taylor-Maclaurin coefficients | 2| and | 3|. ...... [17] H. Tang, G.-T. Deng, and S.-H. Li, “Coefficient estimates for ... in Engineering.
Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2016, Article ID 3102960, 6 pages http://dx.doi.org/10.1155/2016/3102960

Research Article Certain Subclasses of Bistarlike and Biconvex Functions Based on Quasi-Subordination Nanjundan Magesh,1 Vitalrao Kupparao Balaji,2 and Jagadesan Yamini3 1

Post-Graduate and Research Department of Mathematics, Government Arts College for Men, Krishnagiri, Tamil Nadu 635001, India Department of Mathematics, L. N. Government College, Ponneri, Tiruvalur, Tamil Nadu 601204, India 3 Department of Mathematics, Government First Grade College, Vijayanagar, Bangalore, Karnataka 560104, India 2

Correspondence should be addressed to Nanjundan Magesh; nmagi [email protected] Received 26 February 2016; Accepted 10 April 2016 Academic Editor: Teodor Bulboaca Copyright © 2016 Nanjundan Magesh et al. This 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 the unified biunivalent function class M𝛿,𝜆 𝑞,𝜎 (𝛾, 𝜑) defined based on quasi-subordination and obtained the coefficient estimates for Taylor-Maclaurin coefficients |𝑎2 | and |𝑎3 |. Several related classes of functions are also considered and connections to earlier known and new results are established.

For two functions 𝑓 and 𝑔 are analytic in U, we say that the function 𝑓(𝑧) is subordinate to 𝑔(𝑧) in U and write

1. Introduction Let A denote the class of functions of the form ∞

𝑛

𝑓 (𝑧) = 𝑧 + ∑ 𝑎𝑛 𝑧

𝑓 (𝑧) ≺ 𝑔 (𝑧) (1)

2

3

ℎ (𝑧) = ℎ0 + ℎ1 𝑧 + ℎ2 𝑧 + ℎ3 𝑧 + ⋅ ⋅ ⋅ ,

(2)

where all coefficients are real. Also, let 𝜑 be an analytic and univalent function with positive real part in U with 𝜑(0) = 1, 𝜑󸀠 (0) > 0 and 𝜑 maps the unit disk U onto a region starlike with respect to 1 and symmetric with respect to the real axis. Taylor’s series expansion of such function is of the form 𝜑 (𝑧) = 1 + 𝐵1 𝑧 + 𝐵2 𝑧2 + 𝐵3 𝑧3 + ⋅ ⋅ ⋅ ,

(3)

where all coefficients are real and 𝐵1 > 0. Throughout this paper we assume that the functions ℎ and 𝜑 satisfy the above conditions one or otherwise stated.

(4)

if there exists a Schwarz function 𝑤(𝑧), analytic in U, with

𝑛=2

which are analytic in the open unit disc U = {𝑧 : 𝑧 ∈ C and |𝑧| < 1}. Further, by S we denote the family of all functions in A which are univalent in U. Let ℎ(𝑧) be an analytic function in U and |ℎ(𝑧)| ≤ 1, such that

(𝑧 ∈ U)

𝑤 (0) = 0, |𝑤 (𝑧)| < 1

(𝑧 ∈ U) ,

(5)

such that 𝑓 (𝑧) = 𝑔 (𝑤 (𝑧))

(𝑧 ∈ U) .

(6)

In particular, if the function 𝑔 is univalent in U, the above subordination is equivalent to 𝑓 (0) = 𝑔 (0) , 𝑓 (U) ⊂ 𝑔 (U) .

(7)

For two analytic functions 𝑓 and 𝑔, the function 𝑓 is quasi-subordinate to 𝑔 in the open unit disc U if there exist analytic functions ℎ and 𝑤, with |ℎ(𝑧)| ≤ 1, 𝑤(0) = 0, and |𝑤(𝑧)| < 1, such that 𝑓(𝑧)/ℎ(𝑧) is analytic in U and written as 𝑓 (𝑧) ≺ 𝑔 (𝑧) ℎ (𝑧)

(𝑧 ∈ U) .

(8)

2

Abstract and Applied Analysis

We also denote the above expression by 𝑓 (𝑧) ≺𝑞 𝑔 (𝑧)

(𝑧 ∈ U)

(9)

and this is equivalent to 𝑓 (𝑧) = ℎ (𝑧) 𝑔 (𝑤 (𝑧))

(𝑧 ∈ U) .

(10)

Observe that if ℎ(𝑧) ≡ 1, then 𝑓(𝑧) = 𝑔(𝑤(𝑧)), so that 𝑓(𝑧) ≺ 𝑔(𝑧) in U. Also notice that if 𝑤(𝑧) = 𝑧, then 𝑓(𝑧) = ℎ(𝑧)𝑔(𝑧) and it is said that 𝑓 is majorized by 𝑔 and written by 𝑓(𝑧) ≪ 𝑔(𝑧) in U. Hence it is obvious that quasisubordination is a generalization of subordination as well as majorization (see [1]). In [2] Ma and Minda introduced the unified classes S∗ (𝜑) and K(𝜑) given below:

(11)

𝑓 (𝑓−1 (𝑤)) = 𝑤

(𝑧 ∈ U) , 1 (|𝑤| < 𝑟0 (𝑓) ; 𝑟0 (𝑓) ≥ ) , 4

(15)

where ∞

𝑓−1 (𝑤) = 𝑤 + ∑ 𝑏𝑛 𝑤𝑛 𝑛=2

(|𝑤| < 𝑟0 (𝑓)) ,

(16)

where 𝑏𝑛 =

(−1)𝑛+1 𝑛!

󵄨󵄨 󵄨󵄨 󵄨󵄨𝐴 𝑖𝑗 󵄨󵄨 󵄨 󵄨

(17)

󵄨󵄨 󵄨󵄨 {[(𝑖 − 𝑗 + 1) 𝑛 + 𝑗 − 1] 𝑎𝑖−𝑗+2 , 󵄨󵄨𝐴 𝑖𝑗 󵄨󵄨 = { 󵄨 󵄨 0, {

𝑖 + 1 ≥ 𝑗; 𝑖 + 1 < 𝑗.

(18)

For initial values of 𝑛, we have

For the choice 𝜑 (𝑧) =

𝑓−1 (𝑓 (𝑧)) = 𝑧

and |𝐴 𝑖𝑗 | is the (𝑛 − 1)th order determinant whose entries are defined in terms of the coefficients of 𝑓(𝑧) by the following:

𝑧𝑓󸀠 (𝑧) ≺ 𝜑 (𝑧) ; 𝑧 ∈ U} , S (𝜑) fl {𝑓 : 𝑓 ∈ A, 𝑓 (𝑧) ∗

𝑧𝑓󸀠󸀠 (𝑧) K (𝜑) fl {𝑓 : 𝑓 ∈ A, 1 + 󸀠 ≺ 𝜑 (𝑧) ; 𝑧 ∈ U} . 𝑓 (𝑧)

It is well known that every function 𝑓 ∈ S has an inverse 𝑓−1 , defined by

1 + (1 − 2𝛼) 𝑧 1−𝑧

(0 ≤ 𝛼 < 1)

𝑏2 = −𝑎2 ,

(12)

𝑏3 = 2𝑎22 − 𝑎3 ,

or 𝜑 (𝑧) = (

1+𝑧 ) 1−𝑧

𝛽

𝑏4 = 5𝑎2 𝑎3 − 5𝑎23 − 𝑎4 , (0 < 𝛽 ≤ 1)

(13)

the classes S∗ (𝜑) and K(𝜑) consist of functions known as the starlike (resp., convex) functions of order 𝛼 or strongly starlike (resp., convex) functions of order 𝛽, respectively. Recently, El-Ashwah and Kanas [3] introduced and studied the following two subclasses: S∗𝑞 (𝛾, 𝜑) fl {𝑓 : 𝑓 ∈ A,

(19)

1 𝑧𝑓󸀠 (𝑧) ( − 1) ≺𝑞 𝜑 (𝑧) 𝛾 𝑓 (𝑧)

− 1; 𝑧 ∈ U, 0 ≠ 𝛾 ∈ C} , 1 𝑧𝑓󸀠󸀠 (𝑧) ≺ 𝜑 (𝑧) − 1; 𝑧 K𝑞 (𝛾, 𝜑) fl {𝑓 : 𝑓 ∈ A, 𝛾 𝑓󸀠 (𝑧) 𝑞

(14)

∈ U, 0 ≠ 𝛾 ∈ C} . We note that when ℎ(𝑧) ≡ 1, the classes S∗𝑞 (𝛾, 𝜑) and K𝑞 (𝛾, 𝜑) reduce, respectively, to the familiar classes S∗ (𝛾, 𝜑) and K(𝛾, 𝜑) of Ma-Minda starlike and convex functions of complex order 𝛾 (𝛾 ∈ C \ {0}) in U (see [4]). For 𝛾 = 1, the classes S∗𝑞 (𝛾, 𝜑) and K𝑞 (𝛾, 𝜑) reduce to the classes S∗𝑞 (𝜑) and K𝑞 (𝜑), respectively, that are analogous to Ma-Minda starlike and convex functions, introduced by Mohd and Darus [5].

and so on. A function 𝑓 ∈ A is said to be biunivalent in U if both 𝑓 and 𝑓−1 are univalent in U. Let 𝜎 denote the class of biunivalent functions in U given by (1). For a brief history and interesting examples of functions which are in (or which are not in) the class 𝜎, together with various other properties of the biunivalent function class 𝜎, one can refer to the work of Srivastava et al. [6] and references therein. Recently, various subclasses of the biunivalent function class 𝜎 were introduced and nonsharp estimates on the first two coefficients |𝑎2 | and |𝑎3 | in the Taylor–Maclaurin series expansion (1) were found in several recent investigations (see, e.g., [7–17]). But the problem of finding the coefficient bounds on |𝑎𝑛 | (𝑛 = 3, 4, . . .) for functions 𝑓 ∈ 𝜎 is still an open problem. Motivated by the above mentioned works, we define the following subclass of function class 𝜎. A function 𝑓 ∈ 𝜎 given by (1) is said to be in the class 𝛿,𝜆 M𝑞,𝜎 (𝛾, 𝜑), 0 ≠ 𝛾 ∈ C, 𝛿 ≥ 0, if the following quasi-subordination conditions are satisfied: 𝑧F󸀠󸀠𝜆 (𝑧) 𝑧F󸀠𝜆 (𝑧) 1 + 𝛿 (1 + ) − 1) ((1 − 𝛿) 𝛾 F𝜆 (𝑧) F󸀠𝜆 (𝑧) ≺𝑞 𝜑 (𝑧) − 1

(𝑧 ∈ U) ,

𝑤G󸀠𝜆 (𝑤) 𝑤G󸀠󸀠𝜆 (𝑤) 1 + 𝛿 (1 + ) − 1) ((1 − 𝛿) 𝛾 G𝜆 (𝑤) G󸀠𝜆 (𝑤) ≺𝑞 𝜑 (𝑤) − 1

(𝑤 ∈ U) ,

(20)

Abstract and Applied Analysis

3

where F𝜆 (𝑧) = (1 − 𝜆) 𝑓 (𝑧) + 𝜆𝑧𝑓󸀠 (𝑧) , G𝜆 (𝑤) = (1 − 𝜆) 𝑔 (𝑤) + 𝜆𝑤𝑔󸀠 (𝑤)

(21) (0 ≤ 𝜆 ≤ 1) ,

and the function 𝑔 is the extension of 𝑓−1 to U. It is interesting to note that the special values of 𝛿, 𝛾, 𝜆, and 𝜑 and the class M𝛿,𝜆 𝑞,𝜎 (𝛾, 𝜑) unify the following known and new classes. Remark 1. Setting 𝜆 = 0 in the above class, we have 𝛿 M𝛿,0 𝑞,𝜎 (𝛾, 𝜑) fl M𝑞,𝜎 (𝛾, 𝜑) .

(22)

In particular, for 𝛾 = 1, we have M𝛿𝑞,𝜎 (1, 𝜑) fl M𝛿𝑞,𝜎 (𝜑)

(23)

which was introduced and studied by Goyal and Kumar [18, Definition 2.3, p. 541]. Also, we note that for ℎ(𝑧) ≡ 1 the class M𝛿𝑞,𝜎 (𝜑) fl M𝛿𝜎 (𝜑) was introduced and studied by Ali et al.

[7] (see also [19]). If we take 𝜑(𝑧) by (12) in the class M𝛿𝜎 (𝜑), we are led to the class which we denote, for convenience, by M𝛿𝜎 (𝛼), introduced and studied by Li and Wang [12, Definition 3.1., p. 1500], and upon replacing 𝜑 by (13) in the class M𝛿𝜎 (𝜑), we have M𝛿𝜎 (𝛽); this class was introduced and studied by Li and Wang [12, Definition 2.1., p. 1497]. Remark 2. Taking 𝜆 = 0 and 𝛿 = 0 in the class M𝛿,𝜆 𝑞,𝜎 (𝛾, 𝜑), we have ∗ M0,0 𝑞,𝜎 (𝛾, 𝜑) fl S𝑞,𝜎 (𝛾, 𝜑) .

(24)

In particular, for 𝛾 = 1, we have S∗𝑞,𝜎 (1, 𝜑) fl S∗𝑞,𝜎 (𝜑) .

(25)

The class S∗𝑞,𝜎 (𝜑) is particular case of the class M𝛿𝑞,𝜎 (𝜑), when 𝛿 = 0 and it was introduced and studied by Goyal and Kumar [18, Definition 2.3, p. 541]. We note that, for ℎ(𝑧) ≡ 1, the class S∗𝑞,𝜎 (𝛾, 𝜑) fl S∗𝜎 (𝛾, 𝜑) was introduced and studied by Deniz [10]. Further, for ℎ(𝑧) ≡ 1, the class S∗𝑞,𝜎 (𝜑) fl S∗𝜎 (𝜑) was introduced by Ali et al. [7] and Srivastava et al. [16]. For 𝜑(𝑧) given by (12), the class S∗𝜎 (𝛼) was introduced by Brannan and Taha [20] and studied by Bulut [8], C ¸ aglar et al. [9], Li and Wang [12], and others. Remark 3. Setting 𝜆 = 0 and 𝛿 = 1 in the class M𝛿,𝜆 𝑞,𝜎 (𝛾, 𝜑), we have M1,0 𝑞,𝜎

(𝛾, 𝜑) fl K𝑞,𝜎 (𝛾, 𝜑) .

(26)

In particular, for 𝛾 = 1, we get K𝑞,𝜎 (1, 𝜑) fl K𝑞,𝜎 (𝜑) .

(27)

The class K𝑞,𝜎 (𝜑) is particular case of the class M𝛿𝑞,𝜎 (𝜑), when 𝛿 = 1 and it was introduced and studied by Goyal and Kumar [18, Definition 2.3, p. 541]. We note that, for ℎ(𝑧) ≡ 1, the class K𝑞,𝜎 (𝛾, 𝜑) fl K𝜎 (𝛾, 𝜑) was introduced and studied by Deniz [10]. Further, for ℎ(𝑧) ≡ 1, the class K𝑞,𝜎 (𝜑) fl K𝜎 (𝜑) was considered by Ali et al. [7]. For 𝜑(𝑧) given by (12), we get the class K𝜎 (𝛼), introduced by Brannan and Taha [20] and studied by Li and Wang [12] and others. Remark 4. Taking 𝛿 = 0, we have the class M0,𝜆 𝑞,𝜎 (𝛾, 𝜑) ≡ P𝑞,𝜎 (𝛾, 𝜆, 𝜑) as defined below. A function 𝑓 ∈ 𝜎 is said to be in the class P𝑞,𝜎 (𝛾, 𝜆, 𝜑), 0 ≠ 𝛾 ∈ C, 0 ≤ 𝜆 ≤ 1, if the following quasi-subordinations hold: 𝑧𝑓󸀠 (𝑧) + 𝜆𝑧2 𝑓󸀠󸀠 (𝑧) 1 − 1) ≺𝑞 𝜑 (𝑧) − 1, ( 𝛾 (1 − 𝜆) 𝑓 (𝑧) + 𝜆𝑧𝑓󸀠 (𝑧) 𝑤𝑔󸀠 (𝑤) + 𝜆𝑤2 𝑔󸀠󸀠 (𝑤) 1 − 1) ≺𝑞 𝜑 (𝑤) − 1, ( 𝛾 (1 − 𝜆) 𝑔 (𝑤) + 𝜆𝑤𝑔󸀠 (𝑤)

(28)

where 𝑔(𝑤) = 𝑓−1 (𝑤). A function in the class P𝑞,𝜎 (𝛾, 𝜆, 𝜑) is called both bi-𝜆-convex functions and bi-𝜆-starlike functions of complex order 𝛾 of Ma-Minda type. For ℎ(𝑧) ≡ 1, the class P𝑞,𝜎 (𝛾, 𝜆, 𝜑) fl P𝜎 (𝛾, 𝜆, 𝜑) was introduced and studied by Deniz [10]. Remark 5. Putting 𝛿 = 1, we have the class M1,𝜆 𝑞,𝜎 (𝛾, 𝜑) ≡ K𝑞,𝜎 (𝛾, 𝜆, 𝜑) as defined below. A function 𝑓 ∈ 𝜎 is said to be in the class K𝑞,𝜎 (𝛾, 𝜆, 𝜑), 0 ≠ 𝛾 ∈ C, 0 ≤ 𝜆 ≤ 1, if the following quasi-subordinations hold: 1 𝑧𝑓󸀠 (𝑧) + (1 + 2𝜆) 𝑧2 𝑓󸀠󸀠 (𝑧) + 𝜆𝑧3 𝑓󸀠󸀠󸀠 (𝑧) − 1) ( 𝛾 𝑧𝑓󸀠 (𝑧) + 𝜆𝑧2 𝑓󸀠󸀠 (𝑧) ≺𝑞 𝜑 (𝑧) − 1, 1 𝑤𝑔󸀠 (𝑤) + (1 + 2𝜆) 𝑤2 𝑔󸀠󸀠 (𝑤) + 𝜆𝑤3 𝑔󸀠󸀠󸀠 (𝑤) − 1) ( 𝛾 𝑤𝑔󸀠 (𝑤) + 𝜆𝑤2 𝑔󸀠󸀠 (𝑤)

(29)

≺𝑞 𝜑 (𝑤) − 1, where 𝑔(𝑤) = 𝑓−1 (𝑤). Remark 6. For ℎ(𝑧) ≡ 1, the class M𝛿,𝜆 𝑞,𝜎 (𝛾, 𝜑) fl M𝜎 (𝛿, 𝜆, 𝛾, 𝜑) was introduced in [21]. In this paper we introduce the unified biunivalent function class M𝛿,𝜆 𝑞,𝜎 (𝛾, 𝜑) as defined above and obtain the coefficient estimates for Taylor-Maclaurin coefficients |𝑎2 | and |𝑎3 | for functions belonging to M𝛿,𝜆 𝑞,𝜎 (𝛾, 𝜑). Some interesting applications of the results presented here are also discussed.

4

Abstract and Applied Analysis

In order to derive our results, we need the following lemma. Lemma 7 (see [22]). If 𝑝 ∈ P, then |𝑝𝑖 | ≤ 2 for each 𝑖, where P is the family of all functions 𝑝, analytic in U, for which R {𝑝 (𝑧)} > 0

(𝑧 ∈ U) ,

󵄨󵄨 󵄨󵄨 󵄨󵄨𝑎2 󵄨󵄨 ≤

(30)

where

𝑝 (𝑧) = 1 + 𝑝1 𝑧 + 𝑝2 𝑧2 + ⋅ ⋅ ⋅

(𝑧 ∈ U) .

2. Coefficient Estimates for the Class M𝛿,𝜆 𝑞,𝜎 (𝛾,𝜑) Theorem 8. Let 𝑓(𝑧) given by (1) be in the class M𝛿,𝜆 𝑞,𝜎 (𝛾, 𝜑), 0 ≤ 𝜆 < 1, 0 ≠ 𝛾 ∈ C, and 𝛿 ≥ 0. Then

󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨𝛾󵄨󵄨 󵄨󵄨ℎ0 󵄨󵄨 𝐵1 √𝐵1

󵄨 󵄨, √󵄨󵄨󵄨𝛾 [2 (1 + 2𝛿) (1 + 2𝜆) − (1 + 3𝛿) (1 + 𝜆)2 ] ℎ0 𝐵12 − (1 + 𝛿)2 (1 + 𝜆)2 (𝐵2 − 𝐵1 )󵄨󵄨󵄨 󵄨 󵄨 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ1 󵄨󵄨󵄨 𝐵1 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ0 󵄨󵄨󵄨 󵄨󵄨󵄨𝐵2 − 𝐵1 󵄨󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨 󵄨󵄨 󵄨 󵄨 󵄨󵄨 󵄨󵄨 󵄨 + 󵄨󵄨 󵄨󵄨𝑎3 󵄨󵄨 ≤ 2 (1 + 2𝛿) (1 + 2𝜆) 󵄨󵄨(1 + 𝛿) (1 + 2𝜆) − 𝜆2 (1 + 3𝛿)󵄨󵄨󵄨󵄨 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ0 󵄨󵄨󵄨 𝐵1 [(1 + 3𝛿) (1 + 𝜆)2 + 󵄨󵄨󵄨󵄨(3 + 5𝛿) (1 + 2𝜆) − 𝜆2 (1 + 3𝛿)󵄨󵄨󵄨󵄨] 󵄨 󵄨󵄨 󵄨 󵄨 . 󵄨 + 󵄨 󵄨 4 (1 + 2𝛿) (1 + 2𝜆) 󵄨󵄨󵄨(1 + 𝛿) (1 + 2𝜆) − 𝜆2 (1 + 3𝛿)󵄨󵄨󵄨

Proof. Since 𝑓 ∈ M𝛿,𝜆 𝑞,𝜎 (𝛾, 𝜑), there exist two analytic functions 𝑟, 𝑠 : U → U, with 𝑟(0) = 0 = 𝑠(0), such that

𝑤G󸀠󸀠𝜆 (𝑤) 𝑤G󸀠𝜆 (𝑤) 1 + 𝛿 (1 + ) − 1) ((1 − 𝛿) 𝛾 G𝜆 (𝑤) G󸀠𝜆 (𝑤)

(34)

V (𝑧) =

1 + 𝑠 (𝑧) = 1 + V1 𝑧 + V2 𝑧2 + V3 𝑧3 + ⋅ ⋅ ⋅ 1 − 𝑠 (𝑧)

= ℎ (𝑧) [𝜑 (

(35)

or equivalently

+ (V3 +

V1 V12 VV ( − V2 ) − 1 2 ) 𝑧3 + ⋅ ⋅ ⋅) . 2 2 2

𝑞 (𝑤) − 1 ) − 1] . 𝑞 (𝑤) + 1

1 𝑢 (𝑧) − 1 ) − 1] = ℎ0 𝐵1 𝑢1 𝑧 𝑢 (𝑧) + 1 2

1 1 1 1 + ( ℎ1 𝐵1 𝑢1 + ℎ0 𝐵1 (𝑢2 − 𝑢12 ) + ℎ0 𝐵2 𝑢12 ) 𝑧2 2 2 2 4

𝑢2 𝑢 (𝑧) − 1 1 𝑟 (𝑧) = = (𝑢1 𝑧 + (𝑢2 − 1 ) 𝑧2 𝑢 (𝑧) + 1 2 2

V2 V (𝑧) − 1 1 𝑠 (𝑧) = = (V1 𝑧 + (V2 − 1 ) 𝑧2 V (𝑧) + 1 2 2

(37)

Again using (36) along with (3), it is evident that

ℎ (𝑧) [𝜑 (

𝑢 𝑢2 𝑢𝑢 + (𝑢3 + 1 ( 1 − 𝑢2 ) − 1 2 ) 𝑧3 + ⋅ ⋅ ⋅) , 2 2 2

𝑢 (𝑧) − 1 ) − 1] , 𝑢 (𝑧) + 1

= ℎ (𝑤) [𝜑 (

Define the functions 𝑢 and V by 1 + 𝑟 (𝑧) = 1 + 𝑢1 𝑧 + 𝑢2 𝑧2 + 𝑢3 𝑧3 + ⋅ ⋅ ⋅ , 1 − 𝑟 (𝑧)

(33)

Using (36) in (34), we have

𝑤G󸀠𝜆 (𝑤) 𝑤G󸀠󸀠𝜆 (𝑤) 1 + 𝛿 (1 + ) − 1) ((1 − 𝛿) 𝛾 G𝜆 (𝑤) G󸀠𝜆 (𝑤)

= ℎ (𝑤) (𝜑 (𝑠 (𝑤)) − 1) .

𝑢 (𝑧) =

(32)

𝑧F󸀠𝜆 (𝑧) 𝑧F󸀠󸀠𝜆 (𝑧) 1 + 𝛿 (1 + ) − 1) ((1 − 𝛿) 𝛾 F𝜆 (𝑧) F󸀠𝜆 (𝑧)

𝑧F󸀠𝜆 (𝑧) 𝑧F󸀠󸀠𝜆 (𝑧) 1 + 𝛿 (1 + ) − 1) ((1 − 𝛿) 𝛾 F𝜆 (𝑧) F󸀠𝜆 (𝑧) = ℎ (𝑧) (𝜑 (𝑟 (𝑧)) − 1) ,

(31)

+ ⋅⋅⋅ ,

(36)

𝑞 (𝑤) − 1 1 ℎ (𝑤) [𝜑 ( ) − 1] = ℎ0 𝐵1 V1 𝑤 𝑞 (𝑤) + 1 2 1 1 1 1 + ( ℎ1 𝐵1 V1 + ℎ0 𝐵1 (V2 − V12 ) + ℎ0 𝐵2 V12 ) 𝑤2 2 2 2 4 + ⋅⋅⋅ .

(38)

Abstract and Applied Analysis

5

It follows from (37) and (38) that

From (39) and (41), we find that

1 1 (1 + 𝛿) (1 + 𝜆) 𝑎2 = ℎ0 𝐵1 𝑢1 , 𝛾 2 1 1 [2 (1 + 2𝛿) (1 + 2𝜆) 𝑎3 − (1 + 3𝛿) (1 + 𝜆)2 𝑎22 ] = 𝛾 2 1 1 1 ⋅ ℎ1 𝐵1 𝑢1 + ℎ0 𝐵1 (𝑢2 − 𝑢12 ) + ℎ0 𝐵2 𝑢12 , 2 2 4 1 1 − (1 + 𝛿) (1 + 𝜆) 𝑎2 = ℎ0 𝐵1 V1 , 𝛾 2

(40)

(45)

ℎ (𝐵 − 𝐵1 ) 2 ℎ𝐵 = 0 1 (𝑢2 + V2 ) + 0 2 (𝑢1 + V12 ) . 2 4

(46)

Substituting (43) and (44) into (46), we get 𝛾2 ℎ02 𝐵13 (𝑢2 + V2 )

4𝛾 [2 (1 + 2𝛿) (1 + 2𝜆) − (1 + 3𝛿) (1 + 𝜆)2 ] ℎ0 𝐵12 − 4 (1 + 𝛿)2 (1 + 𝜆)2 (𝐵2 − 𝐵1 )

𝛾ℎ0 𝐵1 (𝑢2 − V2 ) 𝛾ℎ1 𝐵1 𝑢1 + . 4 (1 + 2𝛿) (1 + 2𝜆) 8 (1 + 2𝛿) (1 + 2𝜆)

󵄨󵄨 󵄨󵄨 󵄨󵄨𝑎2 󵄨󵄨 ≤

Corollary 9. If 𝑓 ∈ S∗𝑞,𝜎 (𝛾, 𝜑), 0 ≠ 𝛾 ∈ C, then 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨𝛾󵄨󵄨 󵄨󵄨ℎ0 󵄨󵄨 𝐵1 √𝐵1

√󵄨󵄨󵄨󵄨𝛾ℎ0 𝐵12 − 𝐵2 + 𝐵1 󵄨󵄨󵄨󵄨

󵄨 󵄨󵄨 󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ1 󵄨󵄨󵄨 𝐵1 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨 󵄨 + 󵄨󵄨𝛾󵄨󵄨 󵄨󵄨ℎ0 󵄨󵄨 [𝐵1 + 󵄨󵄨󵄨𝐵2 − 𝐵1 󵄨󵄨󵄨] . 󵄨󵄨𝑎3 󵄨󵄨 ≤ 2

(49)

Remark 10. Corollary 9 reduces to [23, Corollary 2.3, p. 82].

√󵄨󵄨󵄨󵄨2𝛾ℎ0 𝐵12 − 4 (𝐵2 − 𝐵1 )󵄨󵄨󵄨󵄨

󵄨 󵄨, √󵄨󵄨󵄨𝛾 (1 + 2𝜆 − 𝜆2 ) ℎ0 𝐵12 − (1 + 𝜆)2 (𝐵2 − 𝐵1 )󵄨󵄨󵄨 󵄨 󵄨 󵄨 󵄨󵄨 󵄨 󵄨 󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ1 󵄨󵄨󵄨 𝐵1 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ0 󵄨󵄨󵄨 󵄨󵄨󵄨𝐵2 − 𝐵1 󵄨󵄨󵄨 + 󵄨󵄨 󵄨󵄨𝑎3 󵄨󵄨 ≤ 󵄨 2 + 4𝜆 󵄨󵄨1 + 2𝜆 − 𝜆2 󵄨󵄨󵄨 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ0 󵄨󵄨󵄨 𝐵1 [(1 + 𝜆)2 + 󵄨󵄨󵄨󵄨3 + 6𝜆 − 𝜆2 󵄨󵄨󵄨󵄨] 󵄨 󵄨󵄨 󵄨 󵄨 . 󵄨 + 󵄨 󵄨 4 (1 + 2𝜆) 󵄨󵄨󵄨1 + 2𝜆 − 𝜆2 󵄨󵄨󵄨

󵄨󵄨 󵄨󵄨 󵄨󵄨𝑎2 󵄨󵄨

,

󵄨 󵄨 󵄨 󵄨󵄨 󵄨 󵄨 󵄨󵄨 󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ1 󵄨󵄨󵄨 𝐵1 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ0 󵄨󵄨󵄨 [𝐵1 + 󵄨󵄨󵄨𝐵2 − 𝐵1 󵄨󵄨󵄨] + . 󵄨󵄨𝑎3 󵄨󵄨 ≤ 6 2

󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨𝛾󵄨󵄨 󵄨󵄨ℎ0 󵄨󵄨 𝐵1 √𝐵1

(52)

Corollary 14. If 𝑓 ∈ K𝑞,𝜎 (𝛾, 𝜆, 𝜑), 0 ≠ 𝛾 ∈ C, and 0 ≤ 𝜆 ≤ 1, then

Corollary 11. If 𝑓 ∈ K𝑞,𝜎 (𝛾, 𝜑), 0 ≠ 𝛾 ∈ C, then 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨𝛾󵄨󵄨 󵄨󵄨ℎ0 󵄨󵄨 𝐵1 √𝐵1

(51)

Corollary 13. If 𝑓 ∈ P𝑞,𝜎 (𝛾, 𝜆, 𝜑), 0 ≠ 𝛾 ∈ C, and 0 ≤ 𝜆 ≤ 1, then 󵄨󵄨 󵄨󵄨 󵄨󵄨𝑎2 󵄨󵄨 ≤

,

(47)

󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨𝛾󵄨󵄨 󵄨󵄨ℎ0 󵄨󵄨 𝐵1 √𝐵1

󵄨 󵄨, √󵄨󵄨󵄨𝛾ℎ0 𝐵12 (1 + 𝛿) − (𝐵2 − 𝐵1 ) (1 + 𝛿)2 󵄨󵄨󵄨 󵄨 󵄨 󵄨 󵄨 󵄨 󵄨󵄨 󵄨 󵄨 󵄨󵄨 󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ1 󵄨󵄨󵄨 𝐵1 󵄨󵄨󵄨𝛾󵄨󵄨󵄨 󵄨󵄨󵄨ℎ0 󵄨󵄨󵄨 [𝐵1 + 󵄨󵄨󵄨𝐵2 − 𝐵1 󵄨󵄨󵄨] + . 󵄨󵄨𝑎3 󵄨󵄨 ≤ 2 + 4𝛿 1+𝛿

(48)

In light of Remarks 1–5, we have following corollaries.

.

Corollary 12. If 𝑓 ∈ M𝛿𝑞,𝜎 (𝛾, 𝜑), 0 ≠ 𝛾 ∈ C, and 𝛿 ≥ 0, then

Again applying Lemma 7, (48) yields desired inequality (33). This completes the proof of Theorem 8.

󵄨󵄨 󵄨󵄨 󵄨󵄨𝑎2 󵄨󵄨 ≤

(44)

Adding (40) and (42), we have

(42)

Applying Lemma 7 in (47), we get desired inequality (32). Subtracting (40) from (42) and a computation using (44) finally lead to

󵄨󵄨 󵄨󵄨 󵄨󵄨𝑎2 󵄨󵄨 ≤

𝑢1 = −V1 ,

1 𝑎22 [4 (1 + 2𝛿) (1 + 2𝜆) − 2 (1 + 3𝛿) (1 + 𝜆)2 ] 𝛾

1 1 − V12 ) + ℎ0 𝐵2 V12 . 2 4

𝑎3 = 𝑎22 +

(43)

8 (1 + 𝛿)2 (1 + 𝜆)2 𝑎22 = ℎ02 𝐵12 𝛾2 (𝑢12 + V12 ) . (41)

1 1 − 2 (1 + 2𝛿) (1 + 2𝜆) 𝑎3 ] = ℎ1 𝐵1 V1 + ℎ0 𝐵1 (V2 2 2

𝛾ℎ0 𝐵1 𝑢1 −𝛾ℎ0 𝐵1 V1 = ; 2 (1 + 𝛿) (1 + 𝜆) 2 (1 + 𝛿) (1 + 𝜆)

it follows that

1 [4 ((1 + 2𝛿) (1 + 2𝜆) − (1 + 3𝛿) (1 + 𝜆)2 ) 𝑎22 𝛾

𝑎22 =

𝑎2 =

(39)

(50) ≤

󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨𝛾󵄨󵄨 󵄨󵄨ℎ0 󵄨󵄨 𝐵1 √𝐵1

󵄨 󵄨, √󵄨󵄨󵄨𝛾 (2 + 4𝜆 − 4𝜆2 ) ℎ0 𝐵12 − 4 (1 + 𝜆)2 (𝐵2 − 𝐵1 )󵄨󵄨󵄨 󵄨 󵄨

(53)

6

Abstract and Applied Analysis 󵄨󵄨 󵄨󵄨 󵄨󵄨𝑎3 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨𝛾󵄨 󵄨ℎ 󵄨 𝐵 󵄨𝛾󵄨 󵄨ℎ 󵄨 󵄨𝐵 − 𝐵 󵄨󵄨 ≤ 󵄨 󵄨 󵄨 1 󵄨 1 + 󵄨 󵄨󵄨 󵄨 󵄨 0 󵄨 󵄨 2 2 󵄨󵄨1 󵄨 6 + 12𝜆 󵄨󵄨2 + 4𝜆 − 4𝜆 󵄨󵄨

(54)

󵄨 󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 󵄨󵄨 2 󵄨󵄨𝛾󵄨󵄨 󵄨󵄨ℎ0 󵄨󵄨 𝐵1 [(1 + 𝜆) + 󵄨󵄨󵄨󵄨2 + 4𝜆 − 𝜆2 󵄨󵄨󵄨󵄨] . + 󵄨 󵄨 3 (1 + 2𝜆) 󵄨󵄨󵄨2 + 4𝜆 − 4𝜆2 󵄨󵄨󵄨 Remark 15. Taking ℎ(𝑧) ≡ 1 in Corollary 9, we get estimates in [10, Corollary 2.3, p. 54] and setting ℎ(𝑧) ≡ 1 in Corollary 11 we have bounds in [10, Corollary 2.2, p. 53]. For ℎ(𝑧) ≡ 1 and 𝛾 = 1, the inequalities obtained in Corollary 11 coincide with [7, Corollary 2.2, p. 349]. For ℎ(𝑧) ≡ 1 and 𝛾 = 1, the estimates in Corollary 12 reduce to a known result in [7, Theorem 2.3, p. 348]. Further, for ℎ(𝑧) ≡ 1, 𝛾 = 1, and 𝜑 given by (12) the inequalities in Corollary 12 reduce to a result proven earlier by [12, Theorem 3.2, p. 1500] and for ℎ(𝑧) ≡ 1, 𝛾 = 1, and 𝜑 given by (13) the inequalities in Corollary 12 would reduce to known result in [12, Theorem 2.2, p. 1498]. Also, for ℎ(𝑧) ≡ 1, the estimates in Corollary 13 provide improvement over the estimates derived by Deniz [10, Theorem 2.1, p. 32]. For ℎ(𝑧) ≡ 1, the results obtained in this paper coincide with results in [21]. Furthermore, various other interesting corollaries and consequences of our results could be derived similarly by specializing 𝜑.

Competing Interests The authors declare that there are no competing interests regarding the publication of this paper.

References [1] M. S. Robertson, “Quasi-subordination and coefficient conjectures,” Bulletin of the American Mathematical Society, vol. 76, pp. 1–9, 1970. [2] W. C. Ma and D. Minda, “A unified treatment of some special classes of univalent functions,” in Proceedings of the Conference on Complex Analysis, Tianjin, 1992, vol. I of Lecture Notes for Analysis, pp. 157–169, International Press, Cambridge, Mass, USA, 1994. [3] R. El-Ashwah and S. Kanas, “Fekete-Szeg¨o inequalities for quasi-subordination functions classes of complex order,” Kyungpook Mathematical Journal, vol. 55, no. 3, pp. 679–688, 2015. [4] V. Ravichandran, Y. Polatoglu, M. Bolcal, and A. Sen, “Certain subclasses of starlike and convex functions of complex order,” Hacettepe Journal of Mathematics and Statistics, vol. 34, pp. 9– 15, 2005. [5] M. H. Mohd and M. Darus, “Fekete-Szeg¨o problems for quasisubordination classes,” Abstract and Applied Analysis, vol. 2012, Article ID 192956, 14 pages, 2012. [6] H. M. Srivastava, A. K. Mishra, and P. Gochhayat, “Certain subclasses of analytic and bi-univalent functions,” Applied Mathematics Letters, vol. 23, no. 10, pp. 1188–1192, 2010. [7] R. M. Ali, S. K. Lee, V. Ravichandran, and S. Supramaniam, “Coefficient estimates for bi-univalent Ma-MINda starlike and convex functions,” Applied Mathematics Letters, vol. 25, no. 3, pp. 344–351, 2012.

[8] S. Bulut, “Coefficient estimates for a class of analytic and biunivalent functions,” Novi Sad Journal of Mathematics, vol. 43, no. 2, pp. 59–65, 2013. [9] M. C ¸ aglar, H. Orhan, and N. Ya˘gmur, “Coefficient bounds for new subclasses of bi-univalent functions,” Filomat, vol. 27, no. 7, pp. 1165–1171, 2013. [10] E. Deniz, “Certain subclasses of bi-univalent functions satisfying subordinate conditions,” Journal of Classical Analysis, vol. 2, no. 1, pp. 49–60, 2013. [11] B. A. Frasin and M. K. Aouf, “New subclasses of bi-univalent functions,” Applied Mathematics Letters, vol. 24, no. 9, pp. 1569– 1573, 2011. [12] X.-F. Li and A.-P. Wang, “Two new subclasses of bi-univalent functions,” International Mathematical Forum, vol. 7, no. 29–32, pp. 1495–1504, 2012. [13] N. Magesh and J. Yamini, “Coefficient bounds for certain subclasses of bi-univalent functions,” International Mathematical Forum, vol. 8, no. 27, pp. 1337–1344, 2013. [14] H. Orhan, N. Magesh, and V. K. Balaji, “Initial coefficient bounds for a general class of bi-univalent functions,” Filomat, vol. 29, no. 6, pp. 1259–1267, 2015. [15] J. Sokol, N. Magesh, and J. Yamini, “Coefficient estimates for bi-mocanu-convex functions of complex order,” General Mathematics Notes, vol. 25, no. 2, pp. 31–40, 2014. [16] H. M. Srivastava, S. Bulut, M. C ¸ aglar, N. Yagmur, and N. Ya˘gmur, “Coefficient estimates for a general subclass of analytic and bi-univalent functions,” Filomat, vol. 27, no. 5, pp. 831–842, 2013. [17] H. Tang, G.-T. Deng, and S.-H. Li, “Coefficient estimates for new subclasses of Ma-MINda bi-univalent functions,” Journal of Inequalities and Applications, vol. 2013, article 317, 10 pages, 2013. [18] S. P. Goyal and R. Kumar, “Coefficient estimates and quasisubordination properties associated with certain subclasses of analytic and bi-univalent functions,” Mathematica Slovaca, vol. 65, no. 3, pp. 533–544, 2015. [19] Z. Peng and Q. Han, “On the coefficients of several classes of biunivalent functions,” Acta Mathematica Scientia Series B, vol. 34, no. 1, pp. 228–240, 2014. [20] D. A. Brannan and T. S. Taha, “On some classes of bi-univalent functions,” Studia Universitatis Babes, -Bolyai Mathematica, vol. 31, no. 2, pp. 70–77, 1986. [21] N. Magesh and V. K. Balaji, “Certain subclasses of bi-starlike and bi-convex functions of complex order,” Kyungpook Mathematical Journal, vol. 55, no. 3, pp. 705–714, 2015. [22] C. Pommerenke, Univalent Functions, Vandenhoeck & Ruprecht, G¨ottingen, Germany, 1975. [23] S. P. Goyal, O. Singh, and R. Mukherjee, “Certain results on a subclass of analytic and bi-univalent functions associated with coefficient estimates and quasi-subordination,” Palestine Journal of Mathematics, vol. 5, no. 1, pp. 79–85, 2016.

Advances in

Operations Research Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Advances in

Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Applied Mathematics

Algebra

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Probability and Statistics Volume 2014

The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Differential Equations Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Submit your manuscripts at http://www.hindawi.com International Journal of

Advances in

Combinatorics Hindawi Publishing Corporation http://www.hindawi.com

Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of Mathematics and Mathematical Sciences

Mathematical Problems in Engineering

Journal of

Mathematics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Discrete Mathematics

Journal of

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Discrete Dynamics in Nature and Society

Journal of

Function Spaces Hindawi Publishing Corporation http://www.hindawi.com

Abstract and Applied Analysis

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Journal of

Stochastic Analysis

Optimization

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Suggest Documents