Malaya Journal of Matematik, Vol. ?, No. ?, ???-???, ????

https://doi.org/????

On A Certain Subclass Of Analytic Functions

Defined By A Differential Operator
Santosh M. Popade1 * Rajkumar N. Ingle2 and P. Thirupati Reddy3

Abstract
In this paper, we introduce and study a new subclass of analytic functions which are defined by means of a new
differential operator. Some results connected to coefficient estimates, growth and distortion theorems, radii of
starlikeness, convexity close-to-convexity and integral means inequalities related to the subclass is obtained.
Keywords
Analytic functions, differential operator,coefficient estimates.
AMS Subject Classification
30C45
1 Department of Mathematics, Sant Tukaram College of Arts and Science
Parbhani-431401, India.2 Department of Mathematics, Bahirji Smarak Mahavidyalaya
Basmathnagari-431512, India.3 Department of Mathematics, Kakatiya University,
Warangali-506009, India.
*Corresponding author: 1 smpopade2007@gmail.com; 2 ingleraju11@gmail.com; 3 reddypt2@gmail.com
Article History: Received ?? ????? ????; Accepted ?? ??????? ???? ©2017 MJM.

Contents form
∞
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 u(z) = z − ∑ aη zη , (aη ≥ 0) (1.3)
2 Coefficient bounds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 η=2

3 Radii of Close-to-Convexity, Starlikeness and Convex- This subclass was introduced and extensively studied by Silvermann[4].
ity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Let u be a function in the class A. We define the following
4 Integral Means Inequalities . . . . . . . . . . . . . . . . . . . . . . . . . . 4 differential operator introduced by Deniz and Ozkan [1].
5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 D0λ u(z) = u(z)
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
D1λ u(z) = Dλ u(z) = λ z3 (u(z))m + (2λ + 1)z2 (u(z))η + zu0 (z)
D2λ u(z) = Dλ (D1λ u(z))
1. Introduction
.
Let A denote the class of functions u of the form
.
∞
u(z) = z + ∑ an z η
(1.1) .
η=2 Dm m−1
λ u(z) = Dλ (Dλ u(z))
which are analytic in the open unit disc E = {z ∈ C : |z| < 1} where λ ≥ 0 and m ∈ N0 = N ∪ {0}. If u is given by (1.1),
A function u in the class A is said to be in the class ST (α) then from the definition of the operator Dm
λ u(z), it is to see
of starlike functions of order α in E, if it satisfy the inequality that
∞
zu0 (z)
  Dm
λ u(z) = z + ∑ φ m (λ , η)aη zη (1.4)
ℜ > α, (0 ≤ α < 1), z ∈ E (1.2) η=2
u(z)
where
Note that ST (0) = ST is the class of Starlike functions.
Denote by T the subclass of A consisting of functions u of the φ m (λ , η) = η 2m [λ (η − 1) + 1]m (1.5)
 On A Certain Subclass Of Analytic Functions Defined By A Differential Operator — 2/4

If u ∈ T is given by (1.2) then we have Theorem 2.2. Let 0 ≤ µ ≤ 1, 0 ≤ γ ≤ 1, then a function u of

∞ the form (1.3) to be in the class T Sλm (µ, γ) if and only if
Dm
λ u(z) = z − ∑ φ m (λ , η)aη zη (1.6) ∞
η=2
∑ [2η − µ(γ + 1)]φ m (λ , η)|aη | ≤ 1 − γ (2.2)
where φ m (λ , η) is given by (1.5) η=2

where φ m (λ , η) is given by (1.5)

Now we define the following new subclass motivated by
Murugusunderamoorthy and Magesh [3] Proof. In view of Theorem (2.1) we need only to prove the
necssity. If u ∈ T Sλm (µ, γ) and z is real, then
Definition 1.1. The function u(z) of the form (1.1) is in the
class Sλm (µ, γ), if it satisfies the inequality  ∞
m (λ , η)a zη−1
  ∞
m (λ , η)a zη−1 

1 − (η −


 ∑ ηφ η

  ∑ µ)φ η 
z(Dm 0 z(Dm 0
      
λ u(z)) λ u(z))
η=2
 η=2

ℜ − α >

 − 1

 ℜ ∞ − γ > ∞

m m
 
(1 − µ)z + µDλ u(z)  (1 − µ)z + µDλ u(z)  

 1 − ∑ µφ m (λ , η)a η zη−1 

   1 − ∑ µφ m (λ , η)a η zη−1 

η=2 η=2
for 0 ≤ λ ≤ 1, 0 ≤ γ ≤ 1
Letting z → 1 along the real axis, we obtain the desired in-
Further we define T Sλm (µ, γ) = Sλm (µ, γ) ∩ T equality
∞
The aim of present paper is to study the coefficient bounds,
radii of close-to-convex and starlikeness convex linear combi- ∑ [2η − µ(γ + 1)]φ m (λ , η)|aη | ≤ 1 − γ
η=2
nations and integral means inequalities of the T Sλm (µ, γ)
where 0 ≤ µ ≤ 1, 0 ≤ γ ≤ 1 and φ m (λ , η) is given by (1.5)
2. Coefficient bounds
Theorem 2.1. A function u(z) of the form (1.1) is in Sλm (µ, γ), Corollary 2.3. If u(z) ∈ T Sλm (µ, γ), then
then
1−γ
∞ |aη | ≤ (2.3)
m [2η − µ(γ + 1)]φ m (λ , η)
∑ [2η − µ(γ + 1)]φ (λ , η)|aη | ≤ 1 − γ (2.1)
η=2
where 0 ≤ µ ≤ 1, 0 ≤ γ ≤ 1 and φ m (λ , η) is given by (1.5).
where 0 ≤ µ ≤ 1, 0 ≤ γ ≤ 1 and φ m (λ , η) is given by (1.5) Equality holds for the function
Proof. It suffices to show that 1−γ
u(z) = z − zη (2.4)

z(Dm 0  
z(Dm 0  [2η − µ(γ + 1)]φ m (λ , η)
λ u(z)) λ u(z))
 

 (1 − µ)z + µDm u(z) − 1−ℜ − 1
λ
 (1 − µ)z + µDm λ u(z) Theorem 2.4. Let u1 (z) = z and
≤ 1−γ 1−γ
uη (z) = z − zη , η ≥ 2 (2.5)
We have [2η − µ(γ + 1)]φ m (λ , η)

z(Dm 0  
z(Dm 0 
λ u(z)) λ u(z)) Then u(z) ∈ T Sλm (µ, γ), if and only if, it can be expressed in
 

 (1 − µ)z + µDm u(z) − 1−ℜ − 1
λ
 (1 − µ)z + µDm λ u(z) the form
 m
z(Dλ u(z))0 
  ∞ ∞
≤ 2  − 1 u(z) = wη ≥ 0,
(1 − µ)z + µDm λ u(z)
∑ wη uη (z), ∑ wη = 1 (2.6)
η=1 η=1
∞
2 ∑ (η − µ)φ m (λ , η)|aη ||z|η−1
η=2 Proof. Suppose u(z) can be written as in (2.6), then
≤ ∞ ∞
1 − ∑ µφ m (λ , η)|aη ||z|η−1 1−γ
η=2 u(z) = z − ∑ wη [2η − µ(γ + 1)]φ m (λ , η) zη
∞ η=2
2 ∑ (η − µ)φ m (λ , η)|aη |
η=2 Now,
≤ ∞
1 − ∑ µφ m (λ , η)|aη |
∞
(1 − γ)[2η − µ(γ + 1)]φ m (λ , η) ∞

η=2 ∑ wη (1 − γ)[2η − µ(γ + 1)]φ m (λ , η) = ∑ wη = 1−w1 ≤ 1

η=2 η=2
The last expression is bounded above by (1 − γ), if
Thus u(z) ∈ T Sλm (µ, γ).
∞
Conversely, let u(z) ∈ T Sλm (µ, γ), then by using (2.3), we get
∑ [2η − µ(γ + 1)]φ m (λ , η)|aη | ≤ 1 − γ
η=2
[2η − µ(γ + 1)]φ m (λ , η)
and the proof is complete. wη = aη , η ≥ 2
(1 − γ)

2
 On A Certain Subclass Of Analytic Functions Defined By A Differential Operator — 3/4

∞ ∞
and w1 = 1 − ∑ wη . Then we have u(z) = ∑ wη uη (z) and For the left hand side of (3.2), we have
η=2 η=1
∞
hence this completes the proof of Theorem. |u0 (z) − 1| ≤ ∑ ηaη |z|η−1
Theorem 2.5. The class T Sλm (µ, γ) is a convex set. η=2

Proof. Let the function The last expression is less than 1 − δ

∞
∞ η
η ∑ aη |z|η−1 ≤ 1
u j (z) = z − ∑ aη, j z , aη, j ≥ 0, j = 1, 2 (2.7) 1 − δ
η=2
η=2
Using the fact, that u(z) ∈ T Sλm (µ, γ) if and only if
be in the class T Sλm (µ, γ). It is sufficient to show that the
function h(z) defined by ∞
[2η − µ(γ + 1)]φ m (λ , η)
∑ aη ≤ 1
h(z) = ξ u1 (z) + (1 − ξ )u2 (z), 0 ≤ ξ < 1, η=2 1−γ

in the class T Sλm (µ, γ). Since We can see that (3.2) is true, if

∞ η [2η − µ(γ + 1)]φ m (λ , η)

η |z|η−1 ≤
h(z) = z − ∑ [ξ aη,1 + (1 − ξ )aη,2 ]z , 1−δ 1−γ
η=2
or, equivalently
An easy computation with the aid of Theorem (2.2) gives
(1 − δ )[2η − µ(γ + 1)]φ m (λ , η) 1/η−1
 
∞ |z| ≤
∑ [2η − µ(γ + 1)]ξ φ m (λ , η)aη,1 + η(1 − γ)
η=2
∞
which completes the proof.
m
∑ [2η − µ(γ + 1)](1 − ξ )φ (λ , η)aη,2 Theorem 3.2. Let the function u(z) defined by (1.3) belong
η=2
to the class T Sλm (µ, γ). Then u(z) is starlike of order δ (0 ≤
≤ ξ (1 − γ) + (1 − ξ )(1 − γ) δ < 1) in the disc |z| < r2 , where
≤ (1 − γ)
 ∞ 1/η−1
(1 − δ ) ∑ [2η − µ(γ + 1)]φ m (λ , η)
which implies that h ∈ T Sλm (µ, γ)  η=2 
Hence T Sλm (µ, γ) is convex. r2 = in f  
η≥2
 (η − δ )(1 − γ) 

(3.3)
3. Radii of Close-to-Convexity,
Starlikeness and Convexity The result is sharp, with external function u(z) is given by
(2.5)
In this section, we obtain the radii of close-to-convexity, star-
likeness and convexity for the class T Sλm (µ, γ). Proof. Given u ∈ T and u is starlike of order δ , we have
 0 
 zu (z)
Theorem 3.1. Let the function u(z) defined by (1.3) belong

 u(z) − 1 < 1 − δ (3.4)
 
to the class T Sλm (µ, γ), then u(z) is close-to-convex of order
δ (0 ≤ δ < 1) in the disc |z| < r1 , where
For the left hand side of (3.4), we have
∞ 1/η−1  0 
 ≤ ∑ (η − 1)aη |z|
  zu (z) ∞ η−1
(1 − δ ) ∑ [2η − µ(γ + 1)]φ m (λ , η)


 u(z) − 1 ∞
 η=2  
r1 = in f   ,η ≥ 2 η=2 1 − ∑ aη |z|η−1
η≥2
 η(1 − γ)  η=2

The last expression is less than 1 − δ if

(3.1)
∞
η −δ
The result is sharp, with the external function u(z) is given by ∑ aη |z|η−1 < 1
1 − δ
(2.5) η=2

Proof. Given u ∈ T and u is close-to-convex of order δ , we Using the fact that u(z) ∈ T Sλm (µ, γ) if and only if
have ∞
[2η − µ(γ + 1)]φ m (λ , η)
∑ aη ≤ 1
| f 0 (z) − 1| < 1 − δ (3.2) η=2 1−γ

3
 On A Certain Subclass Of Analytic Functions Defined By A Differential Operator — 4/4

We can say (3.4) is true, if By Lemma (4.1), it is enough to prove that

∞
∞
η −δ [2η − µ(γ + 1)]φ m (λ , η) 1−γ
∑ 1 − δ |z|η−1 ≤ 1− ∑ aη zη−1 ≺ 1 − ϕ2 (λ , γ) z,
η=2 1−γ η=2

Assuming
or equivalently ∞
1−γ
(1 − δ )[2η − µ(γ + 1)]φ m (λ , η) 1− ∑ aη zη−1 ≺ 1 − ϕ2 (λ , γ) w(z),
|z|η−1 ≤ η=2
(η − δ )(1 − γ)
and using (2.2), we obtain
which yields the starlikeness of the family. 
 ∞ ϕ (λ , γ)

∞
2

η−1  ϕ2 (λ , γ)
|w(z)| =  ∑ aη z  ≤ |z| ∑ aη ≤ |z|

η=2 1 − γ η=2 1 − γ
4. Integral Means Inequalities 

2 where
In [4], Silverman found that the function u2 (z) = z − z2 is
often extremal over the family T. He applied this function to ϕη (λ , γ) = [2η − µ(γ + 1)φ m (λ , η)
resolve his integral means inequality conjunctured [5] and This completes the proof
setteled in [6], that
Z2π Z2π 5. Conclusion
iϕ τ iϕ η τ
|u(re )| dϕ ≤ |u2 (re ) | dϕ This research has introduced a new linear differential operator
0 0 related to Ananlytic function and studied some basic proper-
ties of geometric function theory . Accordingly, some results
for all u ∈ T , τ > 0 and 0 < r < 1. In [6], he also proved his related to closure theorems have also been considered, inviting
conjuncture for the subclasses T ∗ (α) and C(α) of T. future research for this field of study.

Now, we prove Silverman’s conjecture for the class of func- Acknowledgment

tions T Sλm (µ, γ)
We need the concept of subordination between analytic func- The authors would like to acknowledge their sincere grat-
tions and a subordination theorem of Littlewood [2]. titude towards the refrees for their studious comments and
suggestions for the improvement of our research paper.
Two functions u and v, which are analytic in E, the function
u is said to be subordinate to v in E, if there exists a function References
w analytic in E with w(0) = 0, |w(z) < 1, (z ∈ E) such that [1] E.Deniz and Y. Ozkan, Subclasses of analytic func-
u(z) = v(w(z)), (z ∈ E). We denote this subordination by
tions defined by new differential operator, Acta.Uni.Apul.
u(z) ≺ v(z). (≺ denote subordination)
(2014), 85–95.
[2] J.E. Littlewood, On inequalities in the theory of func-
Lemma 4.1. If the function u and v are analytic in E with
u(z) ≺ v(z), then for τ > 0 and z = reiϕ , 0 < r < 1 tions,Proc. London Math. Soc., 23(2), (1925), 481-519.
[3] G. Murugusundarmurthy and N. Magesh, Certain sub-
Z2π Z2π classes of starlike functions of complex order involving
|v(reiϕ )|τ dϕ ≤ |u(reiϕ )|τ dϕ generalized hypergeometric functions , Int. J. Math. Math.
0 0 Sci.,(2010), art ID 178605, 12pp.
[4] H. Silverman, Univalent functions with negative coeffi-
Now, we discuss the integral means inequalities for functions
cients, Proc. Amer. Math. Soc., 51(1975), 109-116.
u in T Sλm (µ, γ) [5] H. Silverman, A survey with open problems on univalent
Theorem 4.2. u ∈ T Sλm (µ, γ), 0 ≤ µ < 1, 0 ≤ γ < 1 and u2 (z) functions whose coefficient are negative., Rocky Moun-
be defined by tain J. Math., 21(3) (1991), 1099-1125.
[6] H. Silvermani, Integral means for univalent functions
1−γ 2 with negative coefficient, Houston J. Math., 23(1) (1997),
u2 (z) = z − z (4.1)
φ2 (λ , γ) 169-174.
∞
Proof. For u(z) = z − ∑ aη zη , (4.1) is equivalent to ?????????
η=2 ISSN(P):2319 − 3786
Malaya Journal of Matematik
Z2π Z2π
 τ
1 − γ τ
∞


η−1  ISSN(O):2321 − 5666
1 − ∑ aη z  dϕ ≤ 1 − z dϕ
 
  ϕ2 (λ , γ)  ?????????
η=2
0 0