IOSR Journal of Mathematics (IOSR-JM)

e-ISSN: 2278-5728, p-ISSN: 2319-765X. Volume 11, Issue 3 Ver. II (May - Jun. 2015), PP 33-41
www.iosrjournals.org

Fekete-Szeg Inequality For A Certain Class Of Analytic

Function Associated With Convolution
Prachi Srivastava
Faculty of Mathematical & Statistical Sciences, Shri Ramswaroop Memorial University,
Barabanki, 225003, U. P., INDIA

Abstract: In this paper, a class of analytic functions associated with convolution is defined, and for this class
we obtain Fekete-Szeg inequality, integral representation and structural formula for that class.
2000 Mathematics Subject Classification: 30A10, 30C45.
Keywords and phrases: Analytic function; Convolution; Starlike functions; subordination; Fekete-Szeg
inequality

I.

Introduction and Preliminaries

Let Ap denotes the class of functions of the form:

f z = z p a p k z p k p N = 1,2,3,
k 1

(1.1)

which are analytic and p -valent in the unit disk = z C; z < 1 .

Let g z Ap be of the form:

g z = z p b p k z p k .

(1.2)

k =1

A convolution (Hadamard product) of f z Ap of the form (1.1) with g z Ap of the form (1.2) is
defined by

f g z = z p a pk bpk z pk = g f z .

(1.3)

k =1

This convolution generalizes several convolution operators such as:

Dziok Srivastava operator [5], involving a generalized hypergeometric function
p
q Hs

1 f z := z p q FS 1, 2 ,q ; 1, 2 ,s ; z f z ,

If

bpk

1 k 2 k q k
1 k 2 k s k

q Fs :

1
, q = s 1, i 0,1,2,i = 1,2, s ,
k!

which again generalizes Hohlov operator [7], involving Gaussian hypergeometric function
p
2 H1

1 f z := z

2 F1

1, 2 ; 1; z f z ,

(1.4)

2 F1 :

as well as Carlson and Shaffer operator [4], involving incomplete beta function:

L p 1, 1 f z := z p 2 F1 1,1; 1; z f z ,

which further reduces to Ruschweyh derivative operator [12]:

D n p 1 f z =

zp

1 z n p

f z ,

if 1 = n p > 0 , 1 = 1 and D f z f z .
0

DOI: 10.9790/5728-11323341

www.iosrjournals.org

33 | Page

Fekete-Szeg inequality for a certain class of analytic function associated with convolution
In addition, the convolution (1.3) reduces to the Salagean operator [13], if
n

b pk

pk
, n = 0,1,2
=
p

and to a generalized Salagean operator [2], if

n

b pk

p k
, > 0, n = 0,1,2 .
=
p

Further if
n

bpk

pk
, C \ p, n Z
=
p

the convolution (1.3) reduces to the multiplier transformation, which is denoted as

n

pk
a p k z p k .
l p n, f z = z
p
k =1

The multiplier transformation has been studied by Aghalary et al. [1].

Further, the convolution (1.3) reduces to an integral operator involving fractional integral
operator Dz f z , if

bpk =
and hence

p 1k

p 1k

f g z = z p 1 Dz f
p 1

where

Dz z =

1
z ,
1

> 0 .

Again, this convolution (1.3) reduces to the derivative operator involving fractional derivative

operator Dz if

bpk =
and hence,

where

p 1k

p 1k

f g z = z p 1 Dz f ,
p 1
1
Dz z =
z .
1

The fractional integral and fractional derivative operators of order is defined by Owa [9] and
Srivastava and [14].
Recently, Patel and Mishra [10] defined a calculus operator
a real number < < p 1 by

z, p f z =

DOI: 10.9790/5728-11323341

z, p : Ap Ap for a function f Ap and for

p 1
z Dz f z
p 1
www.iosrjournals.org

34 | Page

Fekete-Szeg inequality for a certain class of analytic function associated with convolution

p 1 p k 1
a p k z p k , z .
k =1 p 1 p k 1

z, p f z = z p

A function f z Ap is said to be p -valently starlike of order in , if it satisfies the inequality

'
zf z
Re
> z ; 0 < p; p N .
f z

The class of all p -valent starlike functions of order is denoted by

S p and write S1 S .

On the other hand, a function f z Ap is said to be p -valently convex of order in , if it satisfies the
inequality
''

zf z
Re1 '
> z ;0 < p; p N .

f z

The class of all p -valent convex functions of order is denoted by K p and write K1 K .

Furthermore, a function f z Ap is said to be p -valently close-to-convex of order in , if it satisfies

the inequality
'

Re z1 p f z > z ; 0 < p; p N .

The class of all p -valent close-to-convex functions of order is denoted by CK p . CK p 0 CK p

and denote CK1 0 CK .

A function f Ap is said to be in the class P if and only if

'
Re f z > z ; 0 < p; p N .

For two functions

write

f and g analytic in , we say that the function f is subordinate to g in , and we

f z g z ,

if there exists a Schwarz function w , which is analytic in , with w0 = 0 and wz < 1 for all z ,
such that

f z = g wz , z .

Let P be the class of the functions with normalization 0 = 1 , which are convex and univalent in and

satisfy the condition Re z > 0 for z .

Definition 1.1 A function f Ap is said to be in the class S p g , b, m; , if and only if

m 1

1
z f g z

m
z ,
m

g
z

with p > m , m N 0 = 0,1,2 , b C \ 0,

DOI: 10.9790/5728-11323341

www.iosrjournals.org

(1.5)

35 | Page

Fekete-Szeg inequality for a certain class of analytic function associated with convolution
where f g z denotes the r
r

th

derivative of f g and is given by

p k ! a b z pk r , r N .
p!
(1.6)
z p r
pk pk
0
p r !
k =1 p k r !
1 Az

It is observe that for 1 B < A 1 , S p g , b, m; A, B := S p g , b, m;

1 Bz

zp

zp

is the class studied by

We note that S p
. Sp

,1

,0;1,

1
=
S

1,0;2

1,

1
p
1 z

1 z

f g r z =

Patil and Thakare [11].

zp

S p
, b, m;1, 1 is introduced by Altinta and Srivastava [3]. Also the class
1 z

p
z

Sp
,1, p 2; 2 A 1 B , B is studied by Gney and Eker [6] for negative
1 z
p
p

The class

coefficients.
In this paper, we obtain Fekete-Szeg inequality, Integral representation and structural formula are also obtained
for the classes S p g , b, m; and S p g , b, m; A, B .

Fekete-Szeg inequality for the class S p g , b, m; A, B

II.

Theorem 2.1 Let g Ap be of the form (1.2) with p > m , 1 B < A 1 , m N 0 = 0,1,2 ,

b C \ 0, if f z S p g , b, m; A, B , then

A B b p m 2 p m 1
2 p 1 p 2! b p 2
A B b B p m 2 p 1b p2 1
max 1,

p 1bp21 p m 2

a p 2 a 2p 1

(2.1)

2b A B p m 1 p 2b p 2
.
p 1bp21 p m 2

The estimate (21) is sharp.

Proof. Since f z S p g , b, m; A, B , we have
m1

1
z f g z
1 Awz

m
=
m

f g z
1 Bwz

where w z = wk z is a bounded analytic function satisfying the condition w0 = 0

k

k =1

and z < 1 for z , or

Bz f g

z A Bb B p m f g m z wz
= p m f g m z z f g m1 z .
m1

(2.2)

Writing corresponding series expansions in (2.2), we get

DOI: 10.9790/5728-11323341

www.iosrjournals.org

36 | Page

Fekete-Szeg inequality for a certain class of analytic function associated with convolution
p k !a

p! z p m
pk b pk
B

B
z p k m A B b B p m

k =1 p k m 1!
p m 1!
p k ! a
p!

pk b pk
p m
z

z p k m w1 z w2 z 2

p k m!
k =1
p m!

p! z p m
p m p k ! a b z pk m
=

pk pk
p m 1! k =1 p k m!

p m
p k ! a
p! z

pk b pk

z p k m
p m 1! k =1 p k m 1!

or,

A B bp! p m p k !a p k b p k

Bk A B bz pk m w1 z w2 z 2
z

p k m!
k =1
p m!

p k !a pk b pk pk m
= k
z
.
p k m!
k =1

Equating the coefficient of z

p m1

and z

p m 2

on both sides, we obtain

p 1!
A B bp!
w1 = a p 1b p 1
p m!
p 1 m!

or,

a p 1 =
and

A B b p 1 m w
1
p 1bp1

(2.3)

p 1!a p1bp1
2 p 2!a p 2b p 2
A B bp!
B A B bw1 =
w2
p m!
p 1 m!
p 2 m!
a p2 =

A B p 2 m p 1 m B A B bw12 w2
.
2 p 2 p 1b p 2

Now, for any complex number

(2.4)

, we write

a p 2 a 2p 1 =

(2.5)

A B p 2 m p 1 m B A B bw12 w2
A B b p 1 m

w1
2 p 2 p 1b p 2
p 1b p1

=
where

A B b p 2 m p 1 m
w2 w12
2 p 2 p 1 b p 2

(2.6)

A B b B p m 2 p 1bp21 2b A B p m 1 p 2bp2
=
.
p 1bp21 p m 2

From the result of Keogh and Merker [8], it is known that for any complex number

w2 w12

max 1, ,

DOI: 10.9790/5728-11323341

www.iosrjournals.org

(2.7)

37 | Page

Fekete-Szeg inequality for a certain class of analytic function associated with convolution
and the estimate is sharp for the functions f 0 z = z
From (2.5), it follows that

a p 2 a 2p 1
where

and f1 z = z

p 1

for 1 and < 1 respectively.

A B b p 2 m p 1 m
max 1, ,
2 p 2 p 1 b p 2

is given by (2.6).

III.

Integral Representation For The Classes S p g , b, m; And S p g , b, m; A, B

Theorem 3.1 Let g z Ap of the form (1.2) then a function f S p be in the class

S p g , b, m; if and only if there exist a Schwarz function wz such that

b wz 1
dt.
t
0

(3.1)

A B b Qz

p m

m
f g z = exp p m
dt

t
1

BQ
t

(3.2)

f g z = z
m

p m

exp

In particular, if f S p g , b, m; A, B then

where Qz < 1 and f g

z = z pm exp log1 Bxz

A B b
B

d x ,

(3.3)

where x is the probability measure on X = x : x = 1 .

Proof. Since f Ap is said to be in the class S p g , b, m; , if and only if

m 1

1
z f g z

m
z ,
m

f g z

or,

On integrating with respect to

f g m1 z p m = b wz 1.
z
z
f g m z
z , we get

f g m z = z pm exp b wz 1 dt.
z

Again, from the definition of the class S p g , b, m; A, B

w 1
<1

A B b
Bw B
p m

where

w=

m 1
1
z f g z

m
p m f g z

Let
DOI: 10.9790/5728-11323341

www.iosrjournals.org

38 | Page

Fekete-Szeg inequality for a certain class of analytic function associated with convolution

w 1
= Qz , then Qz < 1.

A B b
Bw B
p m

Finally we can write

A B b Qz
1 B
p m
1
z f g z

=
p m f g m z
1 BQ z
m 1

or,

p m1 B A B b Qz
p m
f g z =

.
z 1 BQ z
f g m z

m 1

Integrating with respect to

z , we get

A B b Qt
1 B
p m

log f g z = p m
dt
t 1 BQ t
0

therefore, we get (3.2).

For obtaining the third representation let X = x : x = 1 then, we have

w 1
= xz , x X , z

A B b
Bw B
p m

and then we conclude that

A B b x

f g z = p m 1 p m .

1 Bxz
f g m z
z

Again integrating with respect to z , we get

f g m z = A B b log1 Bxz
log
B
z p m
m 1

or,

f g m z = z pm exp log1 Bxz

x

A B b
B

d x

where x is the probability measure on X = x : x = 1 .

IV.

Structural Formula For The Classes S p g , b, m; And S p g , b, m; A, B

Theorem 4.1 Let g z Ap of the form (1.2) then a function f S p g , b, m; if and only if
there exist a Schwarz function wz such that

z
p 1 mk p k p m! p
b wz 1
f z g z =
z
z exp
dt .
t
k =0 p 1k
p!
0

DOI: 10.9790/5728-11323341

www.iosrjournals.org

(4.1)

39 | Page

Fekete-Szeg inequality for a certain class of analytic function associated with convolution
Also let f S p g , b, m; A, B then

A B b Qz
1 B

z
p m

p k p m ! m
z
z exp p m
dt
t 1 BQ t
p!
0

p 1 m k
f z g z =
k =0 p 1k

(4.2)

where p > m,1 B < A 1, m N0 = 0,1,2, b C \ 0, Qz < 1 . Also

A B b

p 1 mk p k p m! p
f z g z =
z
z exp log 1 Bxz B d x ,
k =0 p 1k
p!
x

(4.3)

where x is the probability measure on X = x : x = 1 .

Proof. Let f S p g , b, m; . Then from the definition of the class S p g , b, m; we have
m1

1
z f g z

m
= wz
m

g
z

where P and wz < 1 in with w0 = 0 = 0 1 . Therefore

f g m1 z p m = bwz 1.
z
z
f g m z
f g m z = z b wz 1 dt
log

Thus

z p m

f g z = exp
m

or,

Therefore from (1.6) we obtain

f z g z
k =0

p 1k

p 1 mk

p m

z pk =

b wz 1
dt .
t
0
z

p m! z p exp z b wz 1 dt

p!

and our assertion (4.1) follows immediately.

Again, from (3.2) and (1.6) we obtain

f z g z
k =0

p 1k

p 1 mk

A B b Qz
1 B
p m

p m ! m

=
z exp p m
dt
p!
t 1 BQ t
0
z

z pk

which gives assertion (4.2). Similarly

f z g z

p 1k

p m! z p exp

A B b

log1 Bxz
p 1 m
p!
which gives assertion (4.3),where x is the probability measure on X = x : x = 1.
k =0

DOI: 10.9790/5728-11323341

z pk =

d x

www.iosrjournals.org

40 | Page

Fekete-Szeg inequality for a certain class of analytic function associated with convolution
References
[1].
[2].
[3].
[4].
[5].
[6].
[7].
[8].
[9].
[10].
[11].
[12].
[13].
[14].

R. Aghalary, R.M. Ali, S.B. Joshi and V. Ravichandran, Inequalities for analytic functions defined by certain linear operators, Int.
J. Math. Sci. 4 (2) (2005), 267-274.
Al-Oboudi, On univalent functions defined by a generalized Salagean operator. Internat. J. Math. Sci. 27 (2004), 1429--1436.
O. Altinta s , H.M. Srivastava, Some majorization problems associated with p-valently starlike and convex functions of complex
order, East Asian Math J. 17 (2) (2001), 207-218.
B.C. Carlson and D.B. Shaffer, Starlike and prestarlike hypergeometric functions. SIAM J. Math. Anal. 15 4 (1984), 737--745.
J. Dziok and H. M. Srivastava, Classes of analytic functions associated with the generalized hypergeometric functions. Appl.
Math. Comput. 103 (1999), 1--13.
H.. Gney and S.S. Eker, On a new class of p -valent functions with negative coefficients, Int. J. Contemp. Math. Sci., 1
(2006), no.2, 67-79.
YU. E. Hohlov, Operators and operations on the class of univalent functions, Izv. Vyssh. Uchebn. Zaved. Mat. 10 (1978), 83--89.
F.R. Keogh, and E.P. Mcrker, A coefficient inequality for certain classes of analytic functions, Proc. Amer. Math. Soc.20 (1969),
8--12.
S. Owa, On the distortion theorems, I, Kyungpook Math. J. 18 (1) (1978), 53-59.
J. Patel, A.K. Mishra, On certain subclasses of multivalent functions associated with an extended fractional differintegral
operator, J. Math. Anal. Appl. 332 (2007), 109-122.
D.A. Patil and N.K. Thakare, On convex hulls and extreme points of p-valent starlike and convex classes with applications, Bull.
Math. Soc. Sci. Math. R.S.Roumanie (N.S) 27 (75) (1983), 145-160.
S. Ruscheweyh, New criteria for univalent functions, Proc. Amer. Math. Soc. 49 (1975), 109--115.
G. Salagean, Subclasses of univalent functions, Lect. Notes in Math. (Springer verlag), 10 (13) (1983), 362--372.
H.M. Srivastava and S. Owa (Eds.), Univalent Functions, Fractional Calculus, and Their Applications, Halsted Press, (1989),
(Ellis Horwood Limited, Chichester), John Wiley and Sons, New York.

DOI: 10.9790/5728-11323341

www.iosrjournals.org

41 | Page