See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/239734063

Fekete-Szegö problem for a class of analytic functions

Article · January 2013

CITATIONS READS

5 215

2 authors:

Sivaprasad Kumar Virendra Kumar

Delhi Technological University Ramanujan College (University of Delhi), Delhi
35 PUBLICATIONS   288 CITATIONS    30 PUBLICATIONS   131 CITATIONS   

SEE PROFILE SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Geometric Function Theory and its Applications View project

All content following this page was uploaded by Virendra Kumar on 06 February 2014.

The user has requested enhancement of the downloaded file.

Stud. Univ. Babeş-Bolyai Math. 58(2013), No. 2, 181–188

Fekete-Szegö problem for a class of analytic

functions
Sivaprasad S. Kumar and Virendra Kumar

Abstract. In the present investigation, by taking φ(z) as an analytic function,

sharp upper bounds of the Fekete-Szegö functional |a3 − µa22 | for functions be-
longing to the class Mα
g,h (φ) are obtained. A few applications of our main result
are also discussed.
Mathematics Subject Classification (2010): 30C45, 30C80.
Keywords: Analytic functions, convex functions, Fekete-Szegö inequality, starlike
functions, subordination.

1. Introduction
Let A be the class of analytic functions f defined on the unit disk
∆ := {z ∈ C : |z| < 1}
of the form
∞
X
f (z) = z + an z n . (1.1)
n=2
Let S be the subclass of A consisting of univalent functions. For two functions f
and g analytic in ∆ we say that f is subordinate to g or g is superordinate to f , denoted
by f ≺ g, if there is an analytic function w with |w(z)| ≤ |z| such that f (z) = g(w(z)).
If g is univalent, then f ≺ g if and only if f (0) = g(0) and f (∆) ⊆ g(∆).
A function p(z) = 1+p1 z+p2 z 2 +. . . is said to be in the class P if Re p(z) > 0. Let
φ be an analytic univalent function in ∆ with positive real part and φ(∆) be symmetric
with respect to the real axis, starlike with respect to φ(0) = 1 and φ0 (0) > 0. Ma and
Minda [6] gave a unified presentation of various subclasses of starlike and convex
functions by introducing the classes S ∗ (φ) and C(φ) satisfying zf 0 (z)/f (z) ≺ φ(z)
and 1 + zf 00 (z)/f 0 (z) ≺ φ(z) respectively, which includes several well-known classes
as special case. For example, when φ(z) = (1 + Az)/(1 + Bz) (−1 ≤ B < A ≤ 1) the
class S ∗ (φ) reduces to the class S ∗ [A, B] introduced by Janowski [3].
182 Sivaprasad S. Kumar and Virendra Kumar

Ali et al.[1] introduced the class M(α, φ) of α-convex functions with respect to
φ consisting of functions f in A, satisfying
zf 0 (z) zf 00 (z)
 
(1 − α) +α 1+ 0 ≺ φ(z).
f (z) f (z)
The class M(α, φ) includes several known classes namely S ∗ (φ), C(φ) and
M(α, (1 + (1 − 2α)z)/(1 − z)) =: M(α). The class M(α) is the class of α-convex
functions, introduced and studied by Miller and Mocanu [7]. Several coefficient prob-
lems for p- valent analytic functions were considered by Ali et al. [2].
In 1933, Fekete and Szegö proved that

 4µ − 3 (µ ≥ 1),
2µ
|a22 − µa3 | ≤ 1 + exp (− 1−µ ) (0 ≤ µ ≤ 1),
3 − 4µ, (µ ≤ 0)


holds for the functions f ∈ S and the result is sharp. The problem of finding the sharp
bounds for the non-linear functional |a3 − µa22 | of any compact family of functions
is popularly known as the Fekete-Szegö problem. Keogh and Merkes [4], in 1969,
obtained the sharp upper bound of the Fekete-Szegö functional |a22 −µa3 | for functions
in some subclasses of S. For many results on Fekete-Szegö problems see [1, 2, 9, 10,
12, 13, 14].
The Hadamard product (or convolution) of f (z), given by (1.1) and g(z) =
∞
z + n=2 gn z n is defined by
P
∞
X
(f ∗ g)(z) := z + an gn z n =: (g ∗ f )(z).
n=2
Recently, using the Hadamard product Murugusundaramoorthy et al. [8] intro-
duced a new class Mg,h (φ) of functions f ∈ A satisfying
(f ∗ g)(z)
≺ φ(z) (gn > 0, hn > 0, gn − hn > 0),
(f ∗ h)(z)
where g, h ∈ A and are given by
∞
X ∞
X
n
g(z) = z + gn z and h(z) = z + hn z n . (1.2)
n=2 n=2
Motivated by the work of Ma and Minda [6] and others [1, 2, 4, 8], in the present
α
paper, we introduce a more general class Mg,h (φ) defined using convolution and sub-
ordination and deduce Fekete-Szegö problem for this class. Certain applications of
our results are also discussed. In fact our results extend several earlier known works
in [4, 6, 8].
Definition 1.1. Let g and h are given by (1.2) with gn > 0, hn > 0 and gn − hn > 0.
α
A function f ∈ A given by (1.1) is said to be in the class Mg,h (φ), if it satisfies
(f ∗ g)(z) (f ∗ g)0 (z)
(1 − α) +α ≺ φ(z) (α ≥ 0), (1.3)
(f ∗ h)(z) (f ∗ h)0 (z)
where φ is an analytic function with φ(0) = 1 and φ0 (0) > 0.
 Fekete-Szegö problem for a class of analytic functions 183

Note that in Definition 1.1, we are not assuming φ(∆) to be symmetric with
respect to the real axis and starlike with respect to φ(0) = 1. In order to prove the
α
class Mg,h (φ) is non empty, consider the function f (z) = z/(1 − z). Assuming
(f ∗ g)(z) (f ∗ g)0 (z)
Φ(z) = (1 − α) +α ,
(f ∗ h)(z) (f ∗ h)0 (z)
we have Φ(z) = 1 + (1 + α)(g2 − h2 )z + · · · . Clearly Φ(0) = 1 and Φ0 (0) = (1 + α)(g2 −
α
h2 ) > 0, thus f (z) = z/(1 − z) ∈ Mg,h (φ).
Remark 1.2. For various choices of the functions g, h, φ and the real number α, the
α
class Mg,h (φ) reduces to several known classes, we enlist a few of them below:
0
1. The class Mg,h (φ) =: Mg,h (φ), introduced and studied by Murugusundaramoor-
thy et al. [8].
2. If we set
z z
g(z) = 2
, h(z) = (1.4)
(1 − z) (1 − z)
α
and φ(z) = (1+z)/(1−z), then the class Mg,h (φ) reduces to the class of α-convex
functions.
3. M α z 2 , z (φ) =: M(α, φ).
(1−z) (1−z)
α
4. For the functions g and h given by (1.4), Mg,h ((1 + z)/(1 − z)) =: M(α) is the
class of α-convex functions.
5. M 0 z 2 , z (φ) =: S ∗ (φ) and M 1 z 2 , z (φ) =: C(φ) are the well known
(1−z) (1−z) (1−z) (1−z)

classes of φ-starlike and φ-convex functions respectively.

The following lemmas are required in order to prove our main results. Lemma 1.3
of Ali et al. [2], is a reformulation of the corresponding result for functions with positive
real part due to Ma and Minda [6].
Let Ω be the class of analytic functions w, normalized by the condition w(0) = 0,
satisfying |w(z)| < 1.
Lemma 1.3. [2] If w ∈ Ω and w(z) := w1 z + w2 z 2 + · · · (z ∈ ∆), then

 −t (t ≤ −1),
|w2 − tw12 | ≤ 1 (−1 ≤ t ≤ 1),
t (t ≥ 1).


For t < −1 or t > 1, equality holds if and only if w(z) = z or one of its rotations. For
−1 < t < 1, equality holds if and only if w(z) = z 2 or one of its rotations. Equality
holds for t = −1 if and only if w(z) = z(λ + z)/(1 + λz) (0 ≤ λ ≤ 1) or one of its
rotations, while for t = 1, equality holds if and only if w(z) = −z(λ+z)/(1+λz) (0 ≤
λ ≤ 1) or one of its rotations.
Lemma 1.4. [4] (see also [11]) If w ∈ Ω, then, for any complex number t,
|w2 − tw12 | ≤ max{1; |t|}
and the result is sharp for the functions given by w(z) = z 2 or w(z) = z.
184 Sivaprasad S. Kumar and Virendra Kumar

2. Fekete-Szegö problem
We begin with the following result:
Theorem 2.1. Let φ(z) = 1 + B1 z + B2 z 2 + · · · . If f (z) given by (1.1) belongs to the
α
class Mg,h (φ), then, for any real number µ,
 B1 A
 (1+2α)(g3 −h3 )
 (µ ≤ σ1 ),
B1
|a3 − µa22 | ≤ (1+2α)(g3 −h3 ) (σ1 ≤ µ ≤ σ2 ), (2.1)
B1 A
(µ ≥ σ2 ),


(1+2α)(h3 −g3 )

where
B2 [(1 + 3α)(h22 − h2 g2 ) + µ(1 + 2α)(g3 − h3 )]B1
A= − ,
B1 (1 + α)2 (g2 − h2 )2
(B2 − B1 )(1 + α)2 (g2 − h2 )2 − (1 + 3α)(h22 − h2 g2 )B12
σ1 :=
(1 + 2α)(g3 − h3 )B12
and
(B2 + B1 )(1 + α)2 (g2 − h2 )2 − (1 + 3α)(h22 − h2 g2 )B12
σ2 := ,
(1 + 2α)(g3 − h3 )B12
and for any complex number µ
B1
|a3 − µa22 | ≤ max {1; |t|} , (2.2)
2(1 + 2α)(g3 − h3 )
where
[(1 + 3α)(h22 − h2 g2 ) + µ(1 + 2α)(g3 − h3 )]B12 − B2 (1 + α)2 (g2 − h2 )2
t := .
(1 + α)2 (g2 − h2 )2 B1
Proof. If f ∈ Mαg,h (φ), then there exits an analytic function w(z) = w1 z+w2 z +· · · ∈
2

Ω such that
(f ∗ g)(z) (f ∗ g)0 (z)
(1 − α) +α = φ(w(z)). (2.3)
(f ∗ h)(z) (f ∗ h)0 (z)
A computation shows that
(f ∗ g)(z)
= 1 + a2 (g2 − h2 )z + [a3 (g3 − h3 ) + a22 (h22 − h2 g2 )]z 2 + · · · , (2.4)
(f ∗ h)(z)
(f ∗ g)0 (z)
= 1 + 2a2 (g2 − h2 )z + [3a3 (g3 − h3 ) + 4a22 (h22 − h2 g2 )]z 2 + · · · (2.5)
(f ∗ h)0 (z)
and
φ(w(z)) = 1 + B1 w1 z + (B1 w2 + B2 w12 )z 2 . (2.6)
From (2.3), (2.4), (2.5) and (2.6), we have
(1 + α)(g2 − h2 )a2 = B1 w1 (2.7)
and
(1 + 2α)(g3 − h3 )a3 + (1 + 3α)(h22 − h2 g2 )a22 = B1 w2 + B2 w12 . (2.8)
A computation using (2.7) and (2.8) give
B1
|a3 − µa22 | = [w2 − tw12 ], (2.9)
(1 + 2α)(g2 − h2 )
 Fekete-Szegö problem for a class of analytic functions 185

where
B2 [(1 + 3α)(h22 − h2 g2 ) + µ(1 + 2α)(g3 − h3 )]B1
t := − + . (2.10)
B1 (1 + α)2 (g2 − h2 )2
Now the first inequality (1.3) is established as follows by an application of Lemma 1.3.
If
B2 [(1 + 3α)(h22 − h2 g2 ) + µ(1 + 2α)(g3 − h3 )]B1
− + ≤ −1,
B1 (1 + α)2 (g2 − h2 )2
then
(B2 − B1 )(1 + α)2 (g2 − h2 )2 − (1 + 3α)(h22 − h2 g2 )B12
µ≤ := σ1
(1 + 2α)(g3 − h3 )B12
and Lemma 1.3, gives
B1 A
|a3 − µa22 | ≤ .
(1 + 2α)(g3 − h3 )
For
B2 [(1 + 3α)(h22 − h2 g2 ) + µ(1 + 2α)(g3 − h3 )]B1
−1 ≤ − + ≤ 1,
B1 (1 + α)2 (g2 − h2 )2
we have σ1 ≤ µ ≤ σ2 , where σ1 and σ2 are as given in the statement of theorem. Now
an application of Lemma 1.3 yields
B1
|a3 − µa22 | ≤ .
(1 + 2α)(g3 − h3 )
For
B2 [(1 + 3α)(h22 − h2 g2 ) + µ(1 + 2α)(g3 − h3 )]B1
− + ≥ 1,
B1 (1 + α)2 (g2 − h2 )2
we have µ ≥ σ2 and it follows from Lemma 1.3 that
B1 A
|a3 − µa22 | ≤ .
(1 + 2α)(h3 − g3 )
Now the second inequality (2.2) fallows by an application of Lemma 1.4 as follows:
B1
|a3 − µa22 | = [w2 − tw12 ]
(1 + 2α)(g2 − h2 )
B1
≤ max {1; |t|} ,
(1 + 2α)(g3 − h3 )
where t is given by (2.10). 

Remark 2.2. If we set α = 1, g and h are as given by (1.4), then Theorem 2.1 reduces
to the result [6, Theorem 3] of Ma and Minda. When α = 0, Theorem 2.1 reduces to
the result [8, Theorem 2.1], proved by Murugusundaramoorthy et al. Note that there
were few typographical errors in the assertion of the result [8, Theorem 2.1] and it is
rectified in the following corollary:
186 Sivaprasad S. Kumar and Virendra Kumar

Corollary 2.3. [8, Theorem 2.1] Let φ(z) = 1 + B1 z + B2 z 2 + · · · . If f (z) given by

(1.1) belongs to the class Mg,h (φ), then for any real number µ,
[(h22 −h2 g2 )+µ(g3 −h3 )]B1
  
B1 B2

 g
 3 3 −h B 1
− (g 2 −h2 ) 2 (µ ≤ σ1 ),
B1
|a3 − µa22 | ≤ g3 −h3 (σ1 ≤ µ ≤ σ2 ),
[(h22 −h2 g2 )+µ(g3 −h3 )]B1
  
B1 B2
− (µ ≥ σ2 ),


g3 −h3 (g2 −h2 )2 B1

where
(B2 − B1 )(g2 − h2 )2 − (h22 − h2 g2 )B12
σ1 :=
(g3 − h3 )B12
and
(B2 + B1 )(g2 − h2 )2 − (h22 − h2 g2 )B12
σ2 := .
(g3 − h3 )B12
Here below, we discuss some applications of Theorem 2.1:
Corollary 2.4. Let φ(z) = 1 + B1 z + B2 z 2 + · · · . Assume that
∞ ∞
X nΓ(n + 1)Γ(2 − δ) n X Γ(n + 1)Γ(2 − δ) n
g(z) = z + z and h(z) = z + z .
n=2
Γ(n − δ + 1) n=2
Γ(n − δ + 1)
α
If f (z) given by (1.1) belongs to the class Mg,h (φ), then for any real number µ,
  
(2−δ)(3−δ)B1 B2 [12µ(1+2α)(2−δ)−4(3−δ)(1+3α)]B1


 12(1+2α) B1
− 4(3−δ)(1+α)2
(µ ≤ σ1 ),
(2−δ)(3−δ)B1
|a3 − µa22 | ≤ 12(1+2α)
(σ1 ≤ µ ≤ σ2 ),
  
(2−δ)(3−δ)B1 [12µ(1+2α)(2−δ)−4(3−δ)(1+3α)]B1 B2
− (µ ≥ σ2 ),


12(1+2α) 4(3−δ)(1+α)2 B1

where
(3 − δ)[(B1 − B2 )(1 + α)2 + (1 + 3α)B12 ]
σ1 :=
3(2 − δ)(1 + 2α)B12
and
(3 − δ)[(B1 + B2 )(1 + α)2 + (1 + 3α)B12 ]
σ2 := .
3(2 − δ)(1 + 2α)B12
Remark 2.5. Taking α = 8/π 2 , B2 = 16/3π 2 and δ = 1 in Corollary 2.4, we have
the result of Ma and Minda [5, Theorem 2]. When α = 0, the above Corollary 2.4
reduces to [8, Corollary 3.2] of Murugusundaramoorthy et al. Note that there were
few typographical errors in the assertion of [8, Corollary 3.2] and the following result
is the corrected one:
Corollary 2.6. [8, Corollary 3.2] Let φ(z) = 1 + B1 z + B2 z 2 + · · · . If f (z) given by
(1.1) belongs to the class Mg,h (φ), then, for any real number µ,
  
(2−δ)(3−δ)B1 B2 [12µ(2−δ)−4(3−δ)]B1


 12 B1 − 4(3−δ) (µ ≤ σ1 ),
2 (2−δ)(3−δ)B1
|a3 − µa2 | ≤ 12   (σ1 ≤ µ ≤ σ2 ),

 (2−δ)(3−δ)B1 [12µ(2−δ)−4(3−δ)]B1 − B2

(µ ≥ σ2 ),
12 4(3−δ) B1
 Fekete-Szegö problem for a class of analytic functions 187

where
(3 − δ)[B1 − B2 + B12 ]
σ1 :=
3(2 − δ)B12
and
(3 − δ)[B1 + B2 + B12 ]
σ2 := .
3(2 − δ)B12
Putting φ(z) = (1 + z)/(1 − z), g and h are as given by (1.4) in Theorem 2.1,
we deduce the following result:
Corollary 2.7. Let f (z) is given by (1.1) belongs to the class M(α), then, for any real
number µ,
 (α2 +8α+3)−4µ(1+2α)

 (1+α)2 (1+2α) (µ ≤ σ1 ),
1
|a3 − µa22 | ≤ (1+2α) (σ 1 ≤ µ ≤ σ2 ),
 4µ(1+2α)−(α2 +8α+3)

(1+α)2 (1+2α) (µ ≥ σ2 ),
1+3α α2 +5α+2
where σ1 := 2(1+2α) and σ2 := 2(1+2α) .

Note that for α = 0, Corollary 2.7 reduces to a result in [4] (see also [14]). By
taking φ(z) = (1 + z)/(1 − z), g and h, given by (1.4) in second result of Theorem 1.3,
we have the following result:
Corollary 2.8. Let f (z) is given by (1.1) belongs to the class M(α), then for any
complex number µ
 4µ(1 + 2α) − (α2 + 8α + 3) 
  
1
|a3 − µa22 | ≤ max 1;   .
1 + 2α (1 + α)2 

Remark 2.9. For α = 1, the above Corollary 2.8 reduces to the result [4, Corollary 1]
of Keogh and Merkes.

References
[1] Ali, R. M., Lee, S. K., Ravichandran, V. and Subramaniam, S., The Fekete-Szego coeffi-
cient functional for transforms of analytic functions, Bull. Iranian Math. Soc., 35(2009),
no. 2, 119-142.
[2] Ali, R.M., Ravichandran, V. and Seenivasagan, V., Coefficient bounds for p-valent func-
tions, Appl. Math. Comput., 187(2007), no. 1, 35-46.
[3] Janowski, W., Extremal problems for a family of functions with positive real part and
for some related families, Ann. Polon. Math., 23(1970/1971), 159-177.
[4] Keogh, F.R. and Merkes, E.P., A coefficient inequality for certain classes of analytic
functions, Proc. Amer. Math. Soc., 20(1969), 8-12.
[5] Ma, W.C. and Minda, D., Uniformly convex functions. II, Ann. Polon. Math., 58(1993),
no. 3, 275-285.
[6] Ma, W.C. and Minda, D., A unified treatment of some special classes of univalent func-
tions, in: Proceedings of the Conference on Complex Analysis (Tianjin, 1992), 157-169,
Conf. Proc. Lecture Notes Anal., I Int. Press, Cambridge, MA.
 188 Sivaprasad S. Kumar and Virendra Kumar

[7] Miller, S.S. and Mocanu, P.T., Differential subordinations, Monographs and Text Books
in Pure and Applied Mathematics, 225, Dekker, New York, 2000.
[8] Murugusundaramoorthy, G., Kavitha, S. and Rosy T., On the Fekete-Szegö problem for
some subclasses of analytic functions defined by convolution, Proc. Pakistan Acad. Sci.,
44(2007), no. 4, 249-254.
[9] Ravichandran, V., Gangadharan, A. and Darus, M., Fekete-Szegö inequality for certain
class of Bazilevic functions, Far East J. Math. Sci. (FJMS), 15(2004), no. 2, 171-180.
[10] Ravichandran, V., Darus, M., Khan, M.H. and Subramanian, K.G., Fekete-Szego in-
equality for certain class of analytic functions, Aust. J. Math. Anal. Appl., 1(2004), no.
2, Art. 4, 7 pp.
[11] Ravichandran, V., Polatoglu, Y., Bolcal, M. and Sen, A., Certain subclasses of starlike
and convex functions of complex order, Hacet. J. Math. Stat. Hacet. J. Math. Stat.,
34(2005), 9-15.
[12] Sivaprasad Kumar, S. and Virendra Kumar, Fekete-Szegö problem for a class of analytic
functions defined by convolution, Tamkang Journal of Mathematics, 2012, Accepted.
[13] Sivaprasad Kumar, S. and Virendra Kumar, On the Fekete-Szegö inequality for certain
class of analytic functions, submitted.
[14] Srivastava, H.M., Mishra, A.K. and Das, M.K., The Fekete-Szegő problem for a subclass
of close-to-convex functions, Complex Variables Theory Appl., 44(2001), no. 2, 145-163.

Sivaprasad S. Kumar
“Delhi Technological” University
Department of Applied Mathematics
Delhi-110042, India
e-mail: spkumar@dce.ac.in
Virendra Kumar
“Delhi Technological” University
Department of Applied Mathematics
Delhi-110042, India
e-mail: vktmaths@yahoo.in

View publication stats