+ All Categories
Home > Documents > On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of...

On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of...

Date post: 18-Feb-2018
Category:
Upload: doankhuong
View: 223 times
Download: 0 times
Share this document with a friend
12
On The Fekete-Szeg ¨ o Problem for Certain Subclasses of Bi-Univalent Functions Involving Fractional q - Calculus Operators G. Murugusundaramoorthy VIT University, School of Advanced Sciences Vellore - 632 014 INDIA [email protected] T. Janani VIT University, School of Advanced Sciences Vellore - 632 014 INDIA [email protected] Abstract: In this paper, we introduce and investigate new subclasses of the function class Σ of bi-univalent func- tions defined in the open unit disk, which are associated with fractional q- calculus operators satisfying subor- dinate conditions. Estimates on the coefficients |a 2 | and |a 3 | are obtained and Fekete-Szeg ¨ o inequalities for the function class are determined. Key–Words: Analytic functions, Univalent functions, Bi-univalent functions, Bi-starlike functions, Bi-convex func- tions, Bi-Mocanu-convex functions, Subordination, q-calculus operator. 1 Introduction The theory of a special function does not have a spe- cific definition but it is of incredibly important to sci- entist and engineers who are concerned with Math- ematical calculations and have a wide application in physics, Computer, engineering etc .Recently, the the- ory of special function has been outshining by other fields like real analysis, functional analysis, algebra, topology, differential equations.The generalized hy- pergeometric functions plays a major role in geo- metric function theory after the proof of Bieberbach conjecture by de-Branges .Usually, the special func- tions of mathematical physics are defined by means of power series representations. However, some alter- native representations can be used as their definitions. Let us mention the well known Poisson integrals for the Bessel functions and the analytical continuation of the Gauss hypergeometric function via the Euler inte- gral formula. The Rodrigues differential formulae, in- volving repeated or fractional differentiation are also used as definitions of the classical orthogonal polyno- mials and their generalizations. Let A be the class of analytic functions f of the form f (z )= z + X n=2 a n z n (1.1) normalized by the conditions f (0) = 0 = f 0 (0) - 1 defined in the open unit disk 4 = {z C : |z | < 1}. An analytic function f is subordinate to an ana- lytic function g, written f (z ) g(z ), provided there is an analytic function w defined on 4 with w(0) = 0 and |w(z )| < 1 satisfying f (z )= g(w(z )). Ma and Minda [16] unified various subclasses of starlike and convex functions for which either of the quantity zf 0 (z ) f (z ) or 1+ zf 00 (z ) f 0 (z ) is subordinate to a more general superordinate func- tion. For this purpose, they considered an analytic function ϕ with positive real part in the unit disk 4(0) = 10 (0) > 0 and ϕ maps 4 onto a re- gion starlike with respect to 1 and symmetric with re- spect to the real axis. The class of Ma-Minda starlike functions consists of functions f ∈A satisfying the subordination zf 0 (z ) f (z ) ϕ(z ). Similarly, the class of Ma-Minda convex functions consists of functions f ∈A satisfying the subordi- nation 1+ zf 00 (z ) f 0 (z ) ϕ(z ). Denote by M(λ, φ) Ma-Minda Mocanu-convex func- tions consists of functions f ∈A satisfying the sub- ordination (1 - λ) zf 0 (z ) f (z ) + λ 1+ zf 00 (z ) f 0 (z ) ϕ(z )(λ 0). WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani E-ISSN: 2224-2880 345 Volume 15, 2016
Transcript
Page 1: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

On The Fekete-Szego Problem for CertainSubclasses of Bi-Univalent Functions Involving

Fractional q− Calculus Operators

G. MurugusundaramoorthyVIT University,

School of Advanced SciencesVellore - 632 014

[email protected]

T. JananiVIT University,

School of Advanced SciencesVellore - 632 014

[email protected]

Abstract: In this paper, we introduce and investigate new subclasses of the function class Σ of bi-univalent func-tions defined in the open unit disk, which are associated with fractional q− calculus operators satisfying subor-dinate conditions. Estimates on the coefficients |a2| and |a3| are obtained and Fekete-Szego inequalities for thefunction class are determined.

Key–Words: Analytic functions, Univalent functions, Bi-univalent functions, Bi-starlike functions, Bi-convex func-tions, Bi-Mocanu-convex functions, Subordination, q-calculus operator.

1 IntroductionThe theory of a special function does not have a spe-cific definition but it is of incredibly important to sci-entist and engineers who are concerned with Math-ematical calculations and have a wide application inphysics, Computer, engineering etc .Recently, the the-ory of special function has been outshining by otherfields like real analysis, functional analysis, algebra,topology, differential equations.The generalized hy-pergeometric functions plays a major role in geo-metric function theory after the proof of Bieberbachconjecture by de-Branges .Usually, the special func-tions of mathematical physics are defined by meansof power series representations. However, some alter-native representations can be used as their definitions.Let us mention the well known Poisson integrals forthe Bessel functions and the analytical continuation ofthe Gauss hypergeometric function via the Euler inte-gral formula. The Rodrigues differential formulae, in-volving repeated or fractional differentiation are alsoused as definitions of the classical orthogonal polyno-mials and their generalizations.

Let A be the class of analytic functions f of theform

f(z) = z +∞∑n=2

anzn (1.1)

normalized by the conditions f(0) = 0 = f ′(0) − 1defined in the open unit disk

4 = z ∈ C : |z| < 1.

An analytic function f is subordinate to an ana-lytic function g, written f(z) ≺ g(z), provided thereis an analytic function w defined on4 with w(0) = 0and |w(z)| < 1 satisfying f(z) = g(w(z)). Ma andMinda [16] unified various subclasses of starlike andconvex functions for which either of the quantity

z f ′(z)

f(z)or 1 +

z f ′′(z)

f ′(z)

is subordinate to a more general superordinate func-tion. For this purpose, they considered an analyticfunction ϕ with positive real part in the unit disk4, ϕ(0) = 1, ϕ′(0) > 0 and ϕ maps 4 onto a re-gion starlike with respect to 1 and symmetric with re-spect to the real axis. The class of Ma-Minda starlikefunctions consists of functions f ∈ A satisfying thesubordination

z f ′(z)

f(z)≺ ϕ(z).

Similarly, the class of Ma-Minda convex functionsconsists of functions f ∈ A satisfying the subordi-nation

1 +z f ′′(z)

f ′(z)≺ ϕ(z).

Denote byM(λ, φ) Ma-Minda Mocanu-convex func-tions consists of functions f ∈ A satisfying the sub-ordination

(1− λ)zf ′(z)

f(z)+ λ

(1 +

zf ′′(z)

f ′(z)

)≺ ϕ(z) (λ ≥ 0).

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 345 Volume 15, 2016

Page 2: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

In the sequel, it is assumed that ϕ is an analytic func-tion with positive real part in the unit disk4, satisfy-ing ϕ(0) = 1, ϕ′(0) > 0 and ϕ(4) is symmetric withrespect to the real axis. Such a function has a seriesexpansion of the form

ϕ(z) = 1 +B1z +B2z2 +B3z

3 + · · · , (B1 > 0).(1.2)

For functions f ∈ A the Koebe one quarter theo-rem [7] ensures that the image of 4 under every uni-valent function f ∈ A contains a disk of radius 1

4 .

Thus every univalent function f has an inverse f−1

satisfying

f−1(f(z)) = z, (z ∈ 4)

and

f(f−1(w)) = w (|w| < r0(f), r0(f) ≥ 1

4).

A function f ∈ A is said to be bi-univalent in 4 ifboth f and f−1 are univalent in 4. Let Σ denote theclass of bi-univalent functions (for more details see [2,3, 4, 5]) defined in the unit disk 4. Since f ∈ Σ hasthe Maclaurian series given by (1.1), a computationshows that its inverse g = f−1 has the expansion

g(w) = f−1(w) = w− a2w2 + (2a2

2− a3)w3 + · · · .(1.3)

A function f is bi-starlike of Ma-Minda typeor bi-convex of Ma-Minda type if both f andf−1 are respectively Ma-Minda starlike or convex.These classes are denoted respectively by S∗Σ(ϕ) andKΣ(ϕ). Recently there has been triggering interest tostudy bi-univalent functions ( see [26, 30, 31]).

The study of operators plays an important role inthe geometric function theory and its related fields.Many differential operators, integral operators andHurwitz-Lerch zeta functions[10](also see referencescited therein) and generalized hypergeometic func-tions [9]can be written in terms of convolution andlarge number of generalizations of the class of univa-lent function and meromorphic functions have beenexplored in the literature. The fractional calculusoperator has gained importance and popularity dueto numerous applications, in particular in engineer-ing and geometric function theory. The fractional q-calculus operator is an extension of the ordinary frac-tional calculus in the q−theory (see[9, 13]. RecentlyPurohit and Raina [19] (also see [15, 20, 24]) investi-gated applications of fractional q-calculus operator todefine new classes of functions which are analytic inthe open unit disc. To make this paper self contained,we present below the basic definitions and related de-tails of the q−calculus,of complex valued function fwhich are used in the sequel.

The q− shifted factorial is defined for α, q ∈ Cas a product of n factors by

(α; q)n =

1 n = 0(1− α)(1− αq) . . . (1− αqn−1) n ∈ N

in terms of the basic analogue of the gamma function

(qα; q)n =Γq(α+ n)(1− q)n

Γq(α), n > 0. (1.4)

Due to Gasper and Rahman [9] ,the recurrence rela-tion for q − gamma function is given by

Γq(1 + α) =(1− qα)Γq(α)

1− q(1.5)

and the q-binomial expansion is given by

(x− y)v = xv(−y/x; q)v = xv∞∏n=0

1− (y/x)qn

1− (y/x)qv+n

= xv1Φ0[q−v;−; q, yqv/x].(1.6)

Also, the Jackson’s q-derivative and q-integral offunctions f, defined on the subset of C are respec-tively given by

Dq,zf(z) =f(z)− f(zq)

z(1− q), (z 6= 0, q 6= 0)

andz∫

0

f(t)d(t; q) = z(1− q)∞∑k=0

qkf(zqk).

Recall that

limq→1−

(qα; q)n(1− q)n

= (α)n = α(α+ 1)...(α+ n− 1)

the familiar Pochhammer symbol. Due to Purohitand Raina, [19], we recall the following definitionsof fractional q-integral and fractional q-derivative op-erators.

Definition 1.1 Let the function f ∈ A be analytic ina simply-connected region of the z−plane containingthe origin. The fractional q−integral of f of order µis defined by

Iµq,zf(z) = D−µq,z f(z)

=1

Γq(µ)

z∫0

(z − qt)µ−1f(t)d(t; q), µ > 0,

(1.7)

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 346 Volume 15, 2016

Page 3: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

where (z−tq)µ−1 can be expressed as the q−binomialgiven by (1.6). The series 1Φ0[µ;−; q, z] is a singlevalued when |arg(z)| < π and |z| < 1, therefore thefunction (z − tq)µ−1 in (1.7) is single valued when|arg(−tqµ/z)| < π, |tqµ/z| < 1 and |arg(z)| < π.

Definition 1.2 For f(z) as in Definition 1.1 the frac-tional q−derivative operator of order µ, is defined by

Dµq,zf(z) = Dq,zI1−µq,z f(z)

=1

Γq(1− µ)Dq,z

z∫0

(z − qt)−µf(t)d(t; q)

(1.8)

(0 ≤ µ < 1), where the function f(z) is constrained,and the multiplicity of the function (z − tq)−µ is re-moved as in Definition 1.1.

Definition 1.3 Under the hypothesis of Definition 1.2,the extended fractional q−derivative of order µ is de-fined by

Dµq,zf(z) = Dm

q,zIm−µq,z f(z), (1.9)

(m− 1 ≤ µ < m, m ∈ N0).

With the aid of the above definitions, and their knownextensions we define the Ωµ

q operator involving q-differintegral operator.

Let Ωµq f(z) : A → A defined by

Ωµq f(z) =

Γq(2− µ)

Γq(2)zµ−1Dµ

q,zf(z)

= z +

∞∑n=2

Γqn(µ)anzn, z ∈ ∆ (1.10)

where

Γqn(µ) =Γq(2− µ)Γq(n+ 1)

Γq(2)Γq(n+ 1− µ),

(−∞ < µ < 2, 0 < q < 1). (1.11)

HereDµq,zf(z) in (1.9) represents, respectively, a frac-

tional q− integral of f(z) of order µ when −∞ <µ < 0 and fractional q-derivative of f(z) of order µwhen 0 ≤ µ < 2. The function Γqn(µ) is a decreasingfunction of n if Γq

3(µ)

Γq2(µ)≤ 1.

Throughout the paper for the sake of brevity welet

Γn = Γqn(µ) =Γq(2− µ)Γq(n+ 1)

Γq(2)Γq(n+ 1− µ);

(µ < 2, 0 < q < 1, ) (1.12)

unless otherwise stated.The object of the paper is to estimate the Taylor-

Maclaurians coefficients coefficients |a2| and |a3| forthe functions f ∈ Σ. Further, using the techniques ofZaprawa [32, 33] (also see[1, 17, 12]) we obtain theFekete-Szego result for the function class f ∈ Σ.

2 Coefficients estimates for the func-tion classMq

Σ(γ, λ, h)

Motivated by the works of Srivastava et al. [27] andGoyal and Goswami [11], now we define a new sub-classMq

Σ(γ, λ, h) of bi-univalent functions involvingq− calculus operator to estimate the coefficients |a2|and |a3| for the functions in the classMq

Σ(γ, λ, h).

Definition 2.1 Let h : 4 → C be a convex univalentfunction such that

h(0) = 1 and <(h(z)

)> 0 (z ∈ ∆).

Suppose also that the function h(z) is given by

h(z) = 1 +

∞∑n=1

Bnzn (z ∈ ∆). (2.1)

A function f ∈ Σ is said to be in the classMq

Σ(γ, λ, h) if the following conditions are satisfied:

eiγ[(1− λ)

z(Ωµq f(z))′

Ωµq f(z)

+ λ

(1 +

z(Ωµq f(z))′′

(Ωµq f(z))′

)]≺ h(z) cos γ + i sin γ,

(2.2)

and

eiγ[(1− λ)

w(Ωµq g(w))′

Ωµq g(w)

+ λ

(1 +

w(Ωµq g(w))′′

(Ωµq g(w))′

)]≺ h(w) cos γ + i sin γ

(2.3)

where g = f−1, γ ∈ (−π2 ,

π2 ), 0 ≤ λ ≤ 1 and z, w ∈

4.

Remark 2.2 Taking λ = 0 we get MqΣ(γ, λ, h) ≡

SqΣ(γ, h) and if f ∈ SqΣ(γ, h), then

eiγz(Ωµ

q f(z))′

Ωµq f(z)

≺ h(z) cos γ + i sin γ

and

eiγw(Ωµ

q g(w))′

Ωµq g(w)

≺ h(w) cos γ + i sin γ

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 347 Volume 15, 2016

Page 4: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

Further by taking λ = 1 we get MqΣ(γ, λ, h),≡

KqΣ(γ, h) and if f ∈ KqΣ(γ, h), then

eiγ(

1 +z(Ωµ

q f(z))′′

(Ωµq f(z))′

)≺ h(z) cos γ + i sin γ

and

eiγ(

1 +w(Ωµ

q g(w))′′

(Ωµq g(w))′

)≺ h(w) cos γ + i sin γ,

where g = f−1, γ ∈ (−π2 ,

π2 ) and z, w ∈ 4.

Remark 2.3 If we set h(z) = 1+Az1+Bz , −1 ≤ B <

A ≤ 1, then the class

MqΣ(γ, λ, h) ≡Mq

Σ(γ, λ,A,B)

which is defined as

eiγ[(1− λ)

z(Ωµq f(z))′

Ωµq f(z)

+ λ

(1 +

z(Ωµq f(z))′′

(Ωµq f(z))′

)]≺ 1 +Az

1 +Bzcos γ + i sin γ,

(2.4)

and

eiγ[(1− λ)

w(Ωµq g(w))′

Ωµq g(w)

+ λ

(1 +

w(Ωµq g(w))′′

(Ωµq g(w))′

)]≺ 1 +Aw

1 +Bwcos γ + i sin γ

(2.5)

where g = f−1, γ ∈ (−π2 ,

π2 ), 0 ≤ λ ≤ 1 and z, w ∈

4.

Remark 2.4 If in Remark 2.3, we set ,

A = 1− 2β, B = −1, (0 ≤ β < 1),

that is if we put

h(z) = hβ(z) =1 + (1− 2β)z

1− z, 0 ≤ β < 1,

then we get

MqΣ(γ, λ,

1 + (1− 2β)z

1− z) ≡Mq

Σ(γ, λ, hβ(z))

in whichMqΣ(γ, λ, hβ(z)) denotes the class of func-

tions f ∈ Σ such that

<(eiγ[(1− λ)

z(Ωµq f(z))′

Ωµq f(z)+λ

(1 +

z(Ωµq f(z))′′

(Ωµq f(z))′

)])> β cos γ

and

<(eiγ[(1− λ)

w(Ωµq g(w))′

Ωµq g(w)+ λ

(1 +

w(Ωµq g(w))′′

(Ωµq g(w))′

)])> β cos γ

where g = f−1, γ ∈ (−π2 ,π2 ), 0 ≤ λ ≤ 1 and z, w ∈ 4.

Remark 2.5 Taking λ = 0 we getMqΣ(γ, λ,A,B) ≡

SqΣ(γ,A,B) and if f ∈ SqΣ(γ,A,B), then

eiγz(Ωµ

q f(z))′

Ωµq f(z)

≺ 1 +Az

1 +Bzcos γ + i sin γ (2.6)

and

eiγw(Ωµ

q g(w))′

Ωµq g(w)

≺ 1 +Aw

1 +Bwcos γ + i sin γ (2.7)

where g = f−1, γ ∈ (−π2 ,

π2 ) and z, w ∈ 4.

Remark 2.6 Taking λ = 1 we getMq

Σ(γ, λ,A,B),≡ KqΣ(γ,A,B) and iff ∈ KqΣ(γ,A,B), then

eiγ(

1 +z(Ωµ

q f(z))′′

(Ωµq f(z))′

)≺ 1 +Az

1 +Bzcos γ + i sin γ,

(2.8)and

eiγ(

1 +w(Ωµ

q g(w))′′

(Ωµq g(w))′

)≺ 1 +Aw

1 +Bwcos γ + i sin γ,

(2.9)where g = f−1, γ ∈ (−π

2 ,π2 ) and z, w ∈ 4.

Remark 2.7 By taking λ = 0 as in Remark 2.4,westate analogous subclasses as in Remarks 2.5 denotedby

MqΣ(γ, λ, hβ(z)) ≡ SqΣ(γ, β)

which satisfies the following criteria

<(eiγ

z(Ωµq f(z))′

Ωµq f(z)

)> β cos γ

and

<(eiγ

w(Ωµq g(w))′

Ωµq g(w)

)> β cos γ

where g = f−1, γ ∈ (−π2 ,

π2 and z, w ∈ 4.

Remark 2.8 By taking λ = 1 in Remark 2.4,we stateanalogous subclasses as in Remarks 2.6 denoted by

MqΣ(γ, λ, hβ(z)),≡ KqΣ(γ, β)

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 348 Volume 15, 2016

Page 5: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

<(eiγ[1 +

z(Ωµq f(z))′′

(Ωµq f(z))′

])> β cos γ

and

<(eiγ[1 +

w(Ωµq g(w))′′

(Ωµq g(w))′

])> β cos γ

where g = f−1, γ ∈ (−π2 ,

π2 ) and z, w ∈ 4.

In order to prove our main result for the functionsclassMq

Σ(γ, λ, h) we recall the following lemmas.

Lemma 2.9 (see [18]). If a function p ∈ P is givenby

p(z) = 1 + p1z + p2z2 + · · · (z ∈ ∆),

then|pk| 5 2 (k ∈ N),

where P is the family of all functions p, analytic in ∆,for which

p(0) = 1 and <(p(z)

)> 0 (z ∈ ∆).

Lemma 2.10 (see [21]; see also [7]). Let the func-tion ψ(z) given by

ψ(z) =∞∑n=1

Cnzn (z ∈ ∆)

be convex in ∆. Suppose also that the function h(z)given by

h(z) =∞∑n=1

hnzn

is holomorphic in ∆. If

h(z) ≺ ψ(z) (z ∈ ∆),

then|hn| ≤ |C1| (n ∈ N).

Theorem 2.11 Let f given by (1.1) be in the classMq

Σ(γ, λ, h). Then

|a2| ≤

√|B1| cos γ

2(1 + 2λ)Γ3 − (1 + 3λ)Γ22

(2.10)

and

|a3| ≤ |B1| cos γ

(1

2(1 + 2λ)Γ3+|B1| cos γ

(1 + λ)2Γ22

),

(2.11)where 0 ≤ λ ≤ 1, γ ∈ (−π

2 ,π2 ).

proof. Let f ∈MqΣ(γ, λ, h) and g = f−1. Then from

(2.2) and (2.3) we have

eiγ[(1− λ)

z(Ωµq f(z))′

Ωµq f(z)

+ λ

(1 +

z(Ωµq f(z))′′

(Ωµq f(z))′

)]= p(z) cos γ + i sin γ, (z ∈ 4)

(2.12)

and

eiγ[(1− λ)

w(Ωµq g(w))′

Ωµq g(w)

+ λ

(1 +

w(Ωµq g(w))′′

(Ωµq g(w))′

)]= q(w) cos γ + i sin γ, (w ∈ 4)

(2.13)

where p(z) ≺ h(z) and q(w) ≺ h(w) and have thefollowing forms:

p(z) = 1 + p1z+ p2z2 + p3z

3 + · · · , z ∈ 4 (2.14)

and

q(w) = 1+q1w+q2w2+q3w

3+· · · , w ∈ 4. (2.15)

Now, equating the coefficients in (2.12) and(2.13) we get

eiγ(1 + λ)Γ2a2 = p1 cos γ(2.16)

eiγ [−(1 + 3λ)Γ22a

22 + 2(1 + 2λ)Γ3a3] = p2 cos γ

(2.17)

−eiγ(1 + λ)Γ2a2 = q1 cos γ(2.18)

and

eiγ [4(1 + 2λ)Γ3 − (1 + 3λ)Γ22a2

2 − 2(1 + 2λ)Γ3a3]

= q2 cos γ.(2.19)

From (2.16) and (2.18) it follows that

p1 = −q1 (2.20)

and

2e2iγ(1 + λ)2Γ22 a

22 = (p2

1 + q21) cos2 γ

a22 =

(p21 + q2

1) cos2 γ

2(1 + λ)2Γ22

e−2iγ . (2.21)

Adding (2.17) and (2.19) it follows that

a22 =

(p2 + q2)

4(1 + 2λ)Γ3 − 2(1 + 3λ)Γ22

e−iγ cos γ.

(2.22)

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 349 Volume 15, 2016

Page 6: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

Since by definition, p(z), q(w) ∈ h(4), by ap-plying Lemma 2.10 in conjunction with the Taylor-Maclaurin expansions (2.1), (2.14) and (2.15), we findthat

|pn| :=

∣∣∣∣∣p(n)(0)

n!

∣∣∣∣∣ 5 |B1| (n ∈ N) (2.23)

and

|qn| :=

∣∣∣∣∣q(n)(0)

n!

∣∣∣∣∣ 5 |B1| (n ∈ N). (2.24)

we get

|a2|2 =|B1| cos γ

2(1 + 2λ)Γ3 − (1 + 3λ)Γ22

(2.25)

which gives the estimate on |a2| as asserted in (2.10).Subtracting (2.19) from (2.17), we get

a3 − a22 =

(p2 − q2)e−iγ cos γ

4(1 + 2λ)Γ3(2.26)

Substituting the value of a22 from (2.21) in (2.26), we

get

a3 =(p2 − q2)e−iγ cos γ

4(1 + 2λ)Γ3+

(p21 + q2

1)e−2iγ cos2 γ

2(1 + λ)2Γ22

.

Applying Lemma 2.10 once again for the coefficientsp1, p2, q1 and q2, we get

|a3| ≤|B1| cos γ

2(1 + 2λ)Γ3+|B1|2 cos2 γ

(1 + λ)2Γ22

which gives the estimate on |a3| as asserted in (2.11).By setting h(z) = 1+Az

1+Bz ,−1 ≤ B < A ≤ 1 fromTheorem 2.11, we get the following corollary:

Corollary 2.12 Let f given by (1.1) be in the classMγ

Σ(λ,A,B). Then

|a2| ≤

√(A−B) cos γ

2(1 + 2λ)Γ3 − (1 + 3λ)Γ22

(2.27)

and

|a3| ≤(

1

2(1 + 2λ)Γ3+

(A−B) cos γ

(1 + λ)2Γ22

)(A−B) cos γ,

(2.28)where γ ∈ (−π

2 ,π2 ) and 0 ≤ λ ≤ 1.

Further, by setting h(z) = 1+(1−2β)z1−z , 0 ≤ β < 1

from Theorem 2.11 we get the following corollary:

Corollary 2.13 Let f be given by (1.1) be in the classMγ

Σ(λ, hβ). Then

|a2| ≤

√2(1− β) cos γ

2(1 + 2λ)Γ3 − (1 + 3λ)Γ22

and

|a3| ≤(

1

(1 + 2λ)Γ3+

4(1− β) cos γ

(1 + λ)2Γ2

)(1−β) cos γ,

where γ ∈ (−π2 ,

π2 ) and 0 ≤ λ ≤ 1.

By taking λ = 0 and λ = 1 we state following Corol-laries:

Corollary 2.14 Let f given by (1.1) be in the classMq

Σ(γ, 0, h) ≡ SqΣ(γ, h). Then

|a2| ≤

√|B1| cos γ

2Γ3 − Γ22

(2.29)

and

|a3| ≤ |B1| cos γ

(1

2Γ3+|B1| cos γ

Γ22

), (2.30)

where γ ∈ (−π2 ,

π2 ).

Corollary 2.15 Let f given by (1.1) be in the classMq

Σ(γ, 1, h) ≡ KqΣ(γ, h). Then

|a2| ≤

√|B1| cos γ

6Γ3 − 4Γ22

(2.31)

and

|a3| ≤ |B1| cos γ

(1

6Γ3+|B1| cos γ

4Γ22

), (2.32)

where γ ∈ (−π2 ,

π2 ).

Remark 2.16 By setting h(z) = 1+Az1+Bz ,−1 ≤ B <

A ≤ 1 or by setting h(z) = 1+(1−2β)z1−z , 0 ≤

β < 1 from Corollaries 2.12, 2.13 and fromabove Corollary we can state the estimates forf ∈ SqΣ(γ,A,B)(or f ∈ SqΣ(γ, β)) and f ∈KqΣ(γ,A,B)(or f ∈ KqΣ(γ, β)) respectively.

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 350 Volume 15, 2016

Page 7: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

3 The Function Class GqΣ(γ, α, h)

Definition 3.1 Let h : 4 → C be a convex univalentfunction such that

h(0) = 1 and <(h(z)

)> 0 (z ∈ ∆).

Suppose also that the function h(z) is given by (2.1).For α ≥ 0, a function f ∈ Σ is said to be in the classGqΣ(γ, α, h) if the following conditions are satisfied:

eiγ

[(z(Ωµ

q f(z))′

Ωµq f(z)

)α(1 +

z(Ωµq f(z))′′

(Ωµq f(z))′

)1−α]

≺ h(z) cos γ + i sin γ(3.1)

and

eiγ

[(w(Ωµ

q g(w))′

Ωµq g(w)

)α(1 +

w(Ωµq g(w))′′

(Ωµq g(w))′

)1−α]

≺ h(w) cos γ + i sin γ(3.2)

where g = f−1, γ ∈ (−π2 ,

π2 ) and z, w ∈ 4.

By setting h(z) = 1+Az1+Bz ,−1 ≤ B < A ≤ 1 or by

setting h(z) = 1+(1−2β)z1−z , 0 ≤ β < 1 we define new

subclasses GqΣ(γ, α,A,B) and GqΣ(γ, α, β) from theabove definition as defined in Remarks 2.3 and 2.4 ofprevious section.

Remark 3.2 By taking α = 0 and α = 1, the classGqΣ(γ, α, h) leads to the classes defined in Remark 2.2and for various choices of h(z) we can state the sub-classes mentioned in Remarks 2.5, 2.6 , 2.7 and 4.9.

In the following theorem we obtain initial Taylorcoefficients for f ∈ GqΣ(γ, α, h).

Theorem 3.3 Let f given by (1.1) be in the classGqΣ(γ, α, h). Then

|a2| ≤

√2|B1| cos γ

4(3− 2α)Γ3 + [(α− 2)2 − 3(4− 3α)]Γ22

(3.3)and

|a3| ≤ |B1| cos γ

(1

2(3− 2α)Γ3+|B1| cos γ

(2− α)2Γ22

),

(3.4)where α ≥ 0, γ ∈ (−π

2 ,π2 ).

proof. Let f ∈ GqΣ(γ, α, h) and g = f−1. Then from(3.1) and (3.2), we have

eiγ

[(z(Ωµ

q f(z))′

Ωµq f(z)

)α(1 +

z(Ωµq f(z))′′

(Ωµq f(z))′

)1−α]

= p(z) cos γ + i sin γ, (z ∈ 4)(3.5)

and

eiγ

[(w(Ωµ

q g(w))′

Ωµq g(w)

)α(1 +

w(Ωµq g(w))′′

(Ωµq g(w))′

)1−α]

= q(w) cos γ + i sin γ, (w ∈ 4)(3.6)

where p(z) ≺ h(z) and q(w) ≺ h(w) and of theforms as given in (2.14) and (2.15) respectively. Now,equating the coefficients in (3.5) and (3.6), we get

eiγ(2− α)Γ2a2 = p1 cos γ (3.7)

eiγ [(α− 2)2 − 3(4− 3α)Γ22a

22

2+ 2(3− 2α)Γ3a3]

= p2 cos γ(3.8)

− eiγ(2− α)Γ2a2 = q1 cos γ (3.9)

and

eiγ [4(3− 2α)Γ3 +1

2[(α− 2)2 − 3(4− 3α)]Γ2

2a22

−2(3− 2α)Γ3a3] = q2 cos γ.(3.10)

From (3.7) and (3.9) it follows that

p1 = −q1 (3.11)

and

2e2iγ(2− α)2Γ22 a

22 = (p2

1 + q21) cos2 γ

a22 =

(p21 + q2

1) cos2 γ

2(2− α)2Γ22

e−2iγ . (3.12)

Adding (3.8) and (3.10) it follows that

a22

=(p2 + q2)e−iγ cos γ

4(3− 2α)Γ3 + (α− 2)2 − 3(4− 3α)Γ22

.

(3.13)

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 351 Volume 15, 2016

Page 8: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

Since by definition, p(z), q(w) ∈ h(4), by applyingLemma 2.10 in conjunction with the Taylor-Maclaurin ex-pansions (2.1), (2.14) and (2.15), we find from (2.23) and(2.24) we get

|a2|2 =2|B1| cos γ

4(3− 2α)Γ3 + (α− 2)2 − 3(4− 3α)Γ22

(3.14)which gives the estimate on |a2| as asserted in (3.3).Subtracting (3.10) from (3.8), we get

a3 − a22 =

(p2 − q2)e−iγ cos γ

4(3− 2α)Γ3(3.15)

Substituting the value of a22 from (3.12) in (3.15) we get

a3 =(p2 − q2)e−iγ cos γ

4(3− 2α)Γ3+

(p21 + q2

1)e−2iγ cos2 γ

2(2− α)2Γ22

.

Applying Lemma 2.10 once again for the coefficientsp1, p2, q1 and q2, we get

|a3| ≤|B1| cos γ

2(3− 2α)Γ3+|B1|2 cos2 γ

(2− α)2Γ22

which gives the estimate on |a3| as asserted in (3.4).By setting h(z) = 1+Az

1+Bz ,−1 ≤ B < A ≤ 1 fromTheorem 3.3, we get the following corollary:

Corollary 3.4 Let f given by (1.1) be in the classGqΣ(γ, αA,B). Then

|a2| ≤

√2(A−B) cos γ

4(3− 2α)Γ3 + (α− 2)2 − 3(4− 3α)Γ22

and

|a3| ≤(

1

2(3− 2α)Γ3+

(A−B) cos γ

(2− α)2Γ22

)(A−B) cos γ,

where γ ∈ (−π2 ,π2 ) and α ≥ 0.

Further, by setting hβ(z) = h(z) = 1+(1−2β)z1−z , 0 ≤ β < 1

from Theorem 3.3 we get the following corollary:

Corollary 3.5 Let f be given by (1.1) be in the classGqΣ(γ, α, β). Then

|a2| ≤

√4(1− β) cos γ

4(3− 2α)Γ3 + (α− 2)2 − 3(4− 3α)Γ22

and

|a3| ≤(

1

(3− 2α)Γ3+

4(1− β) cos γ

(2− α)2Γ2

)(1− β) cos γ,

where γ ∈ (−π2 ,π2 ) and α ≥ 0.

Remark 3.6 Taking α = 0 (or α = 1) we state theinitial coefficient estimates for f ∈ SqΣ(γ, h)(or f ∈KqΣ(γ, h))respectively. Further by setting h(z) =1+Az1+Bz ,−1 ≤ B < A ≤ 1 or by setting h(z) =1+(1−2β)z

1−z , 0 ≤ β < 1 we can state the estimatesfor f ∈ SqΣ(γ,A,B)(or f ∈ SqΣ(γ, β)) and f ∈KqΣ(γ,A,B)(or f ∈ KqΣ(γ, β)) respectively.

Motivated by the earlier work on bi-univalent doublezeta functions[12] and also by work of Srivastava et al[26],we define the following new subclass.

4 Coefficient Estimates for f ∈T qΣ (γ, λ, h)

Definition 4.1 Let h : ∆→ C be a convex univalent func-tion in ∆ such that h(0) = 1 and <

(h(z)

)> 0, (z ∈ ∆)

and h(z) is of the form(2.1). A function f ∈ Σ given by(1.1) is said to be in the class T qΣ (γ, λ, h), if it satisfies thefollowing conditions:

eiγ(

z(Ωµq f(z))′

(1− λ)z + λΩµq f(z)

)≺ h(z)cosγ + isinγ (4.1)

and

eiγ(

w(Ωµq g(w))′

(1− λ)w + λΩµq g(w)

)≺ h(w)cosγ+isinγ (4.2)

where γ ∈ (−π2 ,π2 ), 0 ≤ λ ≤ 1, the function g = f−1 and

z, w ∈ ∆.

Definition 4.2 Let h : ∆→ C be a convex univalent func-tion in U such that h(0) = 1 and <

(h(z)

)> 0, (z ∈

∆). A function f ∈ Σ given by (1.1) is said to be in theclass PqΣ(γ, λ, h), if it satisfies the following conditions:

eiγ

(z(Ωµq f(z))′ + z2(Ωµq f(z))′′

(1− λ)z + λz(Ωµq f(z))′

)≺ h(z)cosγ + isinγ

(4.3)and

eiγ

(w(Ωµq g(w))′ + w2(Ωµq g(w))′′

(1− λ)w + λw(Ωµq g(w))′

)≺ h(w)cosγ+isinγ

(4.4)where γ ∈ (−π2 ,

π2 ), 0 ≤ λ ≤ 1, the function g = f−1 and

z, w ∈ ∆.

Definition 4.3 Let h : ∆→ C be a convex univalent func-tion in U such that h(0) = 1 and <

(h(z)

)> 0, (z ∈

∆). A function f ∈ Σ given by (1.1) is said to be in theclass T qΣ (γ, 0, h) ≡ HqΣ(γ, h), if it satisfies the followingconditions:

eiγ((Ωµq f(z))′

)≺ h(z)cosγ + isinγ (4.5)

andeiγ((Ωµq g(w))′

)≺ h(w)cosγ + isinγ (4.6)

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 352 Volume 15, 2016

Page 9: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

A function f ∈ Σ given by (1.1) is said to be in the classPqΣ(γ, 0, h) ≡ QqΣ(γ, h), if it satisfies the following condi-tions:

eiγ((Ωµq f(z))′ + z(Ωµq f(z))′′

)≺ h(z)cosγ + isinγ

(4.7)and

eiγ((Ωµq g(w))′ + w2(Ωµq g(w))′′

)≺ h(w)cosγ + isinγ

(4.8)where γ ∈ (−π2 ,

π2 ), 0 ≤ λ ≤ 1, the function g = f−1 and

z, w ∈ ∆.

Remark 4.4 If we set h(z) = 1+Az1+Bz , −1 ≤ B < A ≤ 1,

then the classMqΣ(γ, λ, h) ≡Mq

Σ(γ, λ,A,B) denotes theclass of functions f ∈ Σ, satisfying the following condi-tions:

eiγ(

z(Ωµq f(z))′

(1− λ)z + λΩµq f(z)

)≺(

1 +Az

1 +Bz

)cosγ + isinγ

and

eiγ(

w(Ωµq g(w))′

(1− λ)w + λΩµq g(w)

)≺(

1 +Aw

1 +Bw

)cosγ+isinγ

where γ ∈ (−π2 ,π2 ), 0 ≤ λ ≤ 1, the function g = f−1 and

z, w ∈ ∆.

Remark 4.5 If we set h(z) = 1+(1−2β)z1−z , 0 ≤ β < 1 then

the class T qΣ (γ, λ, h) ≡ T qΣ (γ, λ, β) denotes the class offunctions f ∈ Σ, such that

<(eiγ

z(Ωµq f(z))′

(1− λ)z + λΩµq f(z)

)> β cosγ

and

<(eiγ

w(Ωµq g(w))′

(1− λ)w + λΩµq g(w)

)> β cosγ

where γ ∈ (−π2 ,π2 ), 0 ≤ λ ≤ 1, the function g = f−1 and

z, w ∈ ∆.

By taking h(z) = 1+Az1+Bz , (−1 ≤ B < A ≤

1)or h(z) = 1+(1−2β)z1−z , ( 0 ≤ β < 1) we state analo-

gous subclasses of PqΣ(γ, λ, h) as in above remarks 4.4 and4.5 respectively.

Theorem 4.6 Let the function f given by (1.1) be in theclass T qΣ (γ, λ, h). Suppose also that B1 is given as inthe Taylor-Maclaurin expansion (5.9) of the function h(z).Then

|a2| ≤

√|B1|cosγ

(λ2 − 2λ)Γ22 + (3− λ)Γ3

(4.9)

and

|a3| ≤|B1|cosγ(3− λ)Γ3

+

(|B1|cosγ(2− λ)Γ2

)2

(4.10)

where γ ∈ (−π2 ,π2 ) ,0 ≤ λ ≤ 1

proof. From (4.1) and (4.2), we have

eiγ(

z(Ωµq f(z))′

(1− λ)z + λΩµq f(z)

)= p(z)cosγ+isinγ, (z ∈ U)

(4.11)and

eiγ(

w(Ωµq g(w))′

(1− λ)w + λΩµq g(w)

)= q(w)cosγ+isinγ, (w ∈ U)

(4.12)where p(z) ≺ h(z), (z ∈ U) and q(w) ≺ h(w) (w ∈ U)are in the above-defined class P given in (2.14) and (2.15)respectively.

Now, equating the coefficients in (4.11) and (4.12), weget

eiγ(2− λ)Γ2a2 = p1cosγ (4.13)

eiγ(λ2 − 2λ)Γ22a

22 + (3− λ)Γ3a3 = p2cosγ (4.14)

− eiγ(2− λ)Γ2a2 = q1cosγ (4.15)

and

eiγ(λ2 − 2λ)Γ22a

22 + (3− λ)(2a2

2 − a3)Γ3 = q2cosγ.(4.16)

Proceeding on lines similar to Theorem 2.11 and applyingthe Lemma2.10 we get the desired estimates

|a2|2 ≤|B1|cosγ

(λ2 − 2λ)Γ22 + (3− λ)Γ3

which gives the estimate on |a2| as asserted in (4.9). Fur-ther

|a3| ≤|B1|cosγ(3− λ)Γ3

+

(|B1|cosγ(2− λ)Γ2

)2

which gives the estimate on |a3| as asserted in (4.10).By taking h(z) = 1+Az

1+Bz , (−1 ≤ B < A ≤ 1) and

h(z) = 1+(1−2β)z1−z , ( 0 ≤ β < 1) we state the following

corollaries for the function classes defined in Remark 4.4and Remark 4.5 without proof.

Corollary 4.7 Let the function f given by (1.1) be in theclass T qΣ (γ, λ,A,B). Then

|a2| ≤

√(A−B)cosγ

(λ2 − 2λ)Γ22 + (3− λ)Γ3

and

|a3| ≤(A−B)cosγ

(3− λ)Γ3+

((A−B)cosγ

(2− λ)Γ2

)2

where γ ∈ (−π2 ,π2 ), 0 ≤ λ ≤ 1.

Corollary 4.8 Let the function f given by (1.1) be in theclass T qΣ (γ, λ, β). Then

|a2| ≤

√2(1− β)cosγ

(λ2 − 2λ)Γ22 + (3− λ)Γ3

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 353 Volume 15, 2016

Page 10: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

and

|a3| ≤2(1− β)cosγ

(3− λ)Γ3+

(2(1− β)cosγ

(2− λ)Γ2

)2

where γ ∈ (−π2 ,π2 ), 0 ≤ λ ≤ 1.

Theorem 4.9 Let the function f given by (1.1) be in theclass PqΣ(γ, λ, h). Suppose also that B1 is given as in theTaylor-Maclaurin expansion (5.9) of the function h. Then

|a2| ≤

√|B1|cosγ

4(λ2 − 2λ)Γ2 + 3(3− λ)Γ3

and

|a3| ≤|B1|cosγ

3(3− λ)Γ3+

(|B1|cosγ

2(2− λ)Γ22

)2

where γ ∈ (−π2 ,π2 ), 0 ≤ λ ≤ 1.

proof. From (4.3) and (4.4), and proceeding as in Theorem4.6,we get

2eiγ(2− λ)Γ2a2 = p1cosγ

eiγ4(λ2 − 2λ)Γ22a

22 + 3(3− λ)Γ3a3 = p2cosγ

−2eiγ(2− λ)Γ2a2 = q1cosγ

and

eiγ4(λ2 − 2λ)Γ22a

22 + 3(3− λ)(2a2

2 − a3)Γ3 = q2cosγ

Proceeding on lines similar to Theorem 2.11 and applyingthe Lemma2.10 we get the desired estimates.

By taking h(z) = 1+Az1+Bz ,(−1 ≤ B < A ≤ 1) or

h(z) = 1+(1−2β)z1−z , ( 0 ≤ β < 1) we state corollaries anal-

ogous to the Corollaries 4.7 and 4.8 for f ∈ PqΣ(γ, λ, h)respectively.

On specializing the parameters λ, we define variousinteresting new subclasses , analogous to the the functionclasses studied in [6, 8, 25] associated with q-calculusoperator and estimates |a2| and |a3| (which are assertedin Theorem 4.6) can be derived easily and so we omit thedetails. Further by choosing γ = 0 we state the resultsanalogous to the results studied in [2, 8, 6, 25].

5 Fekete-Szego inequalityMaking use of the values of a2

2 and a3, and motivated bythe recent work of Zaprawa [32] we prove the followingFekete-Szego result for the function classMq

Σ(γ, λ, h).Westate the following lemmas given by Zaprawa [33] (also see[17, 12]).

Lemma 5.1 Let k ∈ R and z1, z2 ∈ C. If |z1| < R and|z2| < R then

|(k+ 1)z1 + (k−1)z2| ≤

2|k|R, |k| ≥ 1

2R |k| ≤ 1.(5.1)

Lemma 5.2 Let k, l ∈ R and z1, z2 ∈ C. If |z1| < R and|z2| < R then

|(k+ l)z1 + (k− l)z2| ≤

2|k|R, |k| ≥ |l|

2|l|R |k| ≤ |l|.(5.2)

Theorem 5.3 Let the function f given by (1.1) be in theclassMq

Σ(γ, λ, h) and η ∈ R. Then

|a3−ηa22| ≤

2B1 cosγ|τ(η)|,|τ(η)| > 1

4(1+2λ)Γ3,

B1cosγ2(1+2λ)Γ3

,

|τ(η)| ≤ 14(1+2λ)Γ3

.

(5.3)

proof. From (2.26), we get

a3 = a22 +

(p2 − q2)e−iγ cos γ

4(1 + 2λ)Γ3(5.4)

Substituting for a22 given by (2.22) and by simple calcula-

tion we get

a3 − ηa22 = e−iγ cos γ

[(τ(η) +

1

4(1 + 2λ)Γ3

)p2

+

(τ(η)− 1

4(1 + 2λ)Γ3

)q2

],

where

τ(η) =1− η

4(1 + 2λ)Γ3 − 2(1 + 3λ)Γ22

.

Since all Bj are real and B1 > 0, we have

|a3−ηa22| ≤

2B1 cosγ|τ(η)|,|τ(η)| > 1

4(1+2λ)Γ3,

B1cosγ2(1+2λ)Γ3

,

|τ(η)| ≤ 14(1+2λ)Γ3

.

which completes the proof. By taking λ = 0 we deduce thefollowing:

Theorem 5.4 Let the function f given by (1.1) be in theclass SqΣ(γ, h) and η ∈ R. Then

|a3−ηa22| ≤

2B1 cosγ|τ(η)|, |τ(η)| > 1

4Γ3,

B1cosγ2Γ3

, |τ(η)| ≤ 14Γ3

.(5.5)

whereτ(η) =

1− η4Γ3 − 2Γ2

2

.

By taking λ = 1 in Theorem 5.7we deduce the following:

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 354 Volume 15, 2016

Page 11: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

Theorem 5.5 Let the function f given by (1.1) be in theclass KqΣ(γ, h) and η ∈ R. Then

|a3−ηa22| ≤

2B1 cosγ|τ(η)|, |τ(η)| > 1

12Γ3,

B1cosγ6Γ3

, |τ(η)| ≤ 112Γ3

.(5.6)

where

τ(η) =1− η

12Γ3 − 8Γ22

.

Proceeding on lines similar to the proof of Theorem5.7we state the following Fekete-Szego inequality theo-rems without proof.

Theorem 5.6 Let the function f given by (1.1) be in theclass GqΣ(γ, α, h) and η ∈ R. Then

|a3−ηa22| ≤

2B1 cosγ|τ(η)|,|τ(η)| > 1

4(3−2α)Γ3,

B1cosγ2(3−2α)Γ3

,

|τ(η)| ≤ 14(3−2α)Γ3

.

(5.7)where

τ(η) =1− η

4(3− 2α)Γ3 + (α− 2)2 − 3(4− 3α)Γ22

.

Theorem 5.7 Let the function f given by (1.1) be in theclass T qΣ (β, λ, h) and η ∈ R, then

|a3−ηa22| ≤

2B1 cosγ|τ(η)|,|τ(η)| > 1

2(3−λ)Γ3,

B1cosγ(3−λ)Γ3

,

|τ(η)| ≤ 12(3−λ)Γ3

.

(5.8)where

τ(η) =1− η

2(λ2 − 2λ)Γ22 + 2(3− λ)Γ3

. (5.9)

Theorem 5.8 Let the function f given by (1.1) be in theclass PqΣ(β, λ, h) and η ∈ R, then

|a3−ηa22| ≤

2B1 cosγ|τ(η)|,|τ(η)| > 1

6(3−λ)Γ3,

B1cosγ3(3−λ)Γ3

,

|τ(η)| ≤ 16(3−λ)Γ3

.

(5.10)where

τ(η) =1− η

8(λ2 − 2λ)Γ22 + 6(3− λ)Γ3

. (5.11)

Theorem 5.9 Let the function f given by (1.1) be in theclassHqΣ(β, h) and η ∈ R. Then

|a3 − ηa22| ≤

2B1 cosγ|τ(η)|,|τ(η)| > 1

6Γ3,

B1cosγ3Γ3

,

|τ(η)| ≤ 16Γ3

.(5.12)

whereτ(η) =

1− η6Γ3

.

6 ConclusionOn specializing the parameter λ, as mentioned in Remark2.5 and Remark 2.6 we can deduce other interesting corol-laries and consequences of our main results (which are as-serted by Theorems 2.11 and 5.7).From Corollary 2.13,wecan state the results for the functions f in the subclasses(SγΣ(λ, β) and KγΣ(λ, β) ) defined in Remark 2.7. The de-tails involved may be left as an exercise for the interestedreader.Further q → 1− and taking γ = 0 our result givenin Theorem 2.11improved the results obtained in [29] andalso for the classes discussed in this study.

Acknowledgements: We thank the referees for their valu-able suggestion to improve the paper in present form .

References:

[1] O.Al-Refai and M. Darus,The Fekete-Szego Problemfor Certain Classes of Parabolic Starlike and Uni-formly Convex Functions, Proceedings of the 13thWSEAS International Conference on Applied Math-ematics, (MATH’08)(2008),153–160.

[2] D. A. Brannan and J. G. Clunie (Editors), Aspectsof Contemporary Complex Analysis, Proceedings ofthe NATO Advanced Study Institute (University ofDurham, Durham; July 1–20, 1979), Academic Press,New York and London, 1980.

[3] D. A. Brannan, J. Clunie and W. E. Kirwan, Co-efficient estimates for a class of star-like functions,Canad. J. Math. 22 (1970), 476–485.

[4] D. A. Brannan and T. S. Taha, On some classes of bi-unvalent functions,Studia Univ. Babes-Bolyai Math.31 (2) (1986), 70–77.

[5] M. Caglar, H. Orhan and N. Yagmur, Coefficientbounds for new subclasses of bi-univalent functions,Filomat 27 (2013), 1165–1171.

[6] E. Deniz, Certain subclasses of bi-univalent functionssatisfying subordinate conditions, J. Classical Anal. 2(1) (2013), 49–60.

[7] P.L. Duren, Univalent Functions, in: Grundlehren derMathematischen Wissenchaften, Vol. 259, Springer,New York 1983.

[8] B.A.Frasin and M.K.Aouf,New subclasses of bi-univalent functions, Appl. Math. Lett. 24 (2011),1569-1573.

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 355 Volume 15, 2016

Page 12: On The Fekete-SzegoProblem for Certain Subclasses of Bi ... · PDF fileSubclasses of Bi-Univalent Functions Involving Fractional q Calculus Operators ... of the function class of bi-univalent

[9] G. Gasper and M. Rahman,Basic Hypergeometric Se-ries, Cambridge University Press, Cambridge, 1990.

[10] F. Ghanim, New study of classes of Hurwitz-Zetafunction related to integral operator,WSEAS Transac-tions on Mathematics,Volume 13, (2014),477–483.

[11] S.P. Goyal and P. Goswami, Estimate for initialMaclaurian coefficients of bi-univalent functions fora class defined by fractional derivative, Journal ofEgyptian Mathematical Society,20 (2012) 179 – 182.

[12] T.Janani and G. Murugusundaramoorthy ,Coeffi-cient estimates of bi-univalent functions associatedwith Double zeta functions, Inter.J.Pure and Appl.Math.(to appearin 2015).

[13] V. G. Kac and P. Cheung, Quantum Calculus, Univer-sitext, Springer-Verlag, New York, 2002.

[14] Y. C. Kim and H. M. Srivastava, The Hardy space ofa certain subclass of Bazilevic functions, Appl. Math.Comput. 183 (2006), 1201–1207.

[15] Z. S. I. Mansour, Linear sequential q-difference equa-tions of fractional order,Fract. Calc. Appl. Anal., 12(2) (2009), 159–178.

[16] W.C. Ma and D. Minda, A unified treatment of somespecial classes of functions ,Proceedings of the Con-ference on Complex Analysis, Tianjin, 1992, 157–169, Conf. Proc. Lecture Notes Anal. 1. Int. Press,Cambridge, MA, 1994.

[17] G. Murugusundaramoorthy and T.Janani ,Coefficientestimates of bi-univalent functions of complex orderassociated with Rafid-operator, Proc. Jangjeon Math.Soc.,(to appear ).

[18] C. Pommerenke, Univalent Functions, Vandenhoeckand Ruprecht, Gottingen, 1975.

[19] S.D. Purohit and R.K. Raina, Certain subclass of an-alytic functions associated with fractional q-calculusoperators, Math. Scand., 109 (2011)55–70.

[20] P. M. Rajkovic, S. D. Marinkovic and M. S.Stankovic, Fractional integrals and derivatives in q-calculus, Appl. Anal. Discrete Math., 1 (2007), 311–323.

[21] W. Rogosinski, On the coefficients of subordinatefunctions, Proc. London Math. Soc. (Ser. 2) 48(1943), 48–82.

[22] C. Selvaraj and C. S. Moni, Subordination results fora class of Bazilevic functions with respect to sym-metric points, Stud. Univ. Babes-Bolyai Math. 58 (1)(2013), 23–30.

[23] R. Singh, On Bazilevic functions, Proc. Amer. Math.Soc. 28 (1973), 261–271.

[24] D.F.Sofonea, Some properties from q-Calculus,10thWSEAS Int. Conf. on Mathematical Methods AndComputational Techniques In Electrical Engineer-ing (MMACTEE’08),Sofia, Bulgaria, May 2-4,(2008)91–95.

[25] H.M. Srivastava, A.K. Mishra and P. Gochhayat,Certain subclasses of analytic and bi-univalent func-tions,Appl. Math. Lett., 23(10) (2010) 1188– 1192.

[26] H. M. Srivastava, G. Murugusundaramoorthy and N.Magesh, Certain subclasses of bi-univalent functionsassociated with the Hohlov operator, Global J. Math.Anal. 1 (2) (2013), 67–73.

[27] H. M. Srivastava, G. Murugusundaramoorthy andK.Vijaya, Coefficient estimates for some families ofbi-Bazilevic functions of the Ma-Minda type involv-ing the Hohlov operator, J. Classical Anal. Volume2, Number 2 (2013), 167–181.

[28] H. M. Srivastava and S. Owa (Editors), Current Top-ics in Analytic Function Theory, World ScientificPublishing Company, Singapore,New Jersey, Londonand Hong Kong, 1992.

[29] Xiao-Fei Li and An-Ping Wang, Two new subclassesof bi-univalent functions,International MathematicalForum, Vol. 7, 2012, no. 30, 1495 – 1504.

[30] Q.-H. Xu, Y.-C. Gui and H. M. Srivastava, Coeffi-cient estimates for a certain subclass of analytic andbi-univalent functions, Appl. Math. Lett. 25 (2012),990–994.

[31] Q.-H. Xu, H.-G. Xiao and H. M. Srivastava, A certaingeneral subclass of analytic and bi-univalent func-tions and associated coefficient estimate problems,Appl. Math. Comput. 218 (2012), 11461–11465.

[32] P. Zaprawa, On the Fekete-Szego problem for classesof bi-univalent functions,Bull. Belg. Math. Soc. SimonStevin Volume 21, Number 1 (2014), 1–192.

[33] P.Zaprawa, Estimates of initial coefficients for Bi-univalent functions, Abstract and Applied Analysis,Volume 2014, Article ID 357480, 6 pages

WSEAS TRANSACTIONS on MATHEMATICS G. Murugusundaramoorthy, T. Janani

E-ISSN: 2224-2880 356 Volume 15, 2016


Recommended