http://jipam.vu.edu.au/
Volume 7, Issue 4, Article 134, 2006
SUBORDINATION RESULTS FOR A CLASS OF ANALYTIC FUNCTIONS DEFINED BY A LINEAR OPERATOR
B.A. FRASIN
DEPARTMENT OFMATHEMATICS
AL AL-BAYTUNIVERSITY
P.O. BOX: 130095 MAFRAQ, JORDAN
bafrasin@yahoo.com
Received 21 June, 2005; accepted 01 June, 2006 Communicated by A. Sofo
ABSTRACT. In this paper, we derive several interesting subordination results for certain class of analytic functions defined by the linear operatorL(a, c)f(z)which introduced and studied by Carlson and Shaffer [2].
Key words and phrases: Analytic functions, Hadamard product, Subordinating factor sequence.
2000 Mathematics Subject Classification. Primary 30C45; Secondary 30A10, 30C80.
1. INTRODUCTION ANDDEFINITIONS
LetAdenote the class of functions of the form:
(1.1) f(z) =z+
∞
X
n=2
anzn
which are analytic in the open unit disc ∆ = {z :|z|<1}. For two functionsf(z)and g(z) given by
(1.2) f(z) =z+
∞
X
n=2
anzn and g(z) = z+
∞
X
n=2
cnzn
their Hadamard product (or convolution) is defined by
(1.3) (f∗g)(z) :=z+
∞
X
n=2
ancnzn.
ISSN (electronic): 1443-5756
c 2006 Victoria University. All rights reserved.
189-05
Define the functionφ(a, c;z)by (1.4) φ(a, c;z) :=
∞
X
n=0
(a)n
(c)nzn+1 (c /∈Z−0 :={0,−1,−2, . . .}, z∈∆), where(λ)nis the Pochhammer symbol given, in terms of Gamma functions,
(λ)n:= Γ(λ+n) (1.5) Γ(λ)
=
( 1, n= 0,
λ(λ+ 1)(λ+ 2). . .(λ+n−1), n∈N:{1,2, . . .}.
Corresponding to the functionφ(a, c;z),Carlson and Shaffer [2] introduced a linear operator L(a, c) :A → Aby
(1.6) L(a, c)f(z) :=φ(a, c;z)∗f(z),
or, equivalently, by
L(a, c)f(z) :=z+
∞
X
n=1
(a)n
(c)nan+1zn+1 (z ∈∆).
Note thatL(1,1)f(z) =f(z),L(2,1)f(z) = zf0(z)andL(3,1)f(z) =zf0(z) + 12z2f00(z).
For −1 ≤ α < 1, β ≥ 0, we let L(a, c;α, β) consist of functions f in A satisfying the condition
(1.7) Re
aL(a+ 1, c)f(z)
L(a, c)f(z) −(a−1)
> β
aL(a+ 1, c)f(z) L(a, c)f(z) −a
+α, (z ∈∆) The family L(a, c;α, β) is of special interest for it contains many well-known as well as many new classes of analytic univalent functions. For L(1,1;α,0), we obtain the family of starlike functions of order α(0 ≤ α < 1)and L(2,1;α,0) is the family of convex functions of order α (0 ≤ α < 1). ForL(1,1; 0, β) andL(2,1; 0, β), we obtain the class of uniformly β- starlike functions and uniformly β- convex functions, respectively, introduced by Kanas and Winsiowska ([3],[4]) (see also the work of Kanas and Srivastava [5], Goodman ([7],[8]), Rønning ([10],[11]), Ma and Minda [9] and Gangadharan et al. [6]).
Before we state and prove our main result we need the following definitions and lemmas.
Definition 1.1 (Subordination Principle). Let g(z)be analytic and univalent in ∆. If f(z) is analytic in∆, f(0) =g(0),andf(∆)⊂g(∆),then we see that the functionf(z)is subordinate tog(z)in∆,and we writef(z)≺g(z).
Definition 1.2 (Subordinating Factor Sequence). A sequence {bn}∞n=1 of complex numbers is called a subordinating factor sequence if, wheneverf(z)is analytic , univalent and convex in
∆, we have the subordination given by (1.8)
∞
X
n=2
bnanzn≺f(z) (z ∈∆, a1 = 1).
Lemma 1.1 ([14]). The sequence{bn}∞n=1 is a subordinating factor sequence if and only if
(1.9) Re
( 1 + 2
∞
X
n=1
bnzn )
>0 (z ∈∆).
Lemma 1.2. If (1.10)
∞
X
n=2
σn(a, c;α, β)|an| ≤1−α where, for convenience,
σn(a, c;α, β) := (1 +β)(a)n+ [1−α−a(1 +β)](a)n−1 (c)n−1
(1.11)
(−1≤α <1; β ≥0, n≥2), thenf(z)∈ L(a, c;α, β).
Proof. It suffices to show that
β
aL(a+ 1, c)f(z) L(a, c)f(z) −a
−Re
aL(a+ 1, c)f(z) L(a, c)f(z) −a
≤1−α.
We have β
aL(a+ 1, c)f(z) L(a, c)f(z) −a
−Re
aL(a+ 1, c)f(z) L(a, c)f(z) −a
≤(1 +β)
aL(a+ 1, c)f(z) L(a, c)f(z) −a
≤
(1 +β)P∞ n=2
a(a+1)n−1−a(a)n−1
(c)n−1
|an| |z|n−1
1−P∞ n=2
(a)n−1
(c)n−1 |an| |z|n−1
≤
(1 +β)P∞ n=2
(a)n−a(a)n−1
(c)n−1
|an| 1−P∞
n=2 (a)n−1
(c)n−1 |an| . The last expression is bounded above by1−αif
∞
X
n=2
(1 +β)(a)n+ [1−α−a(1 +β)](a)n−1 (c)n−1
|an| ≤1−α
and the proof is complete.
LetL?(a, c;α, β)denote the class of functionsf(z)∈ Awhose coefficients satisfy the con- dition (1.10). We note thatL?(a, c;α, β)⊆ L(a, c;α, β).
2. MAIN THEOREM
Employing the techniques used earlier by Srivastava and Attiya [13], Attiya [1] and Singh [12], we state and prove the following theorem.
Theorem 2.1. Let the functionf(z)defined by (1.1) be in the classL?(a, c;α, β)where−1≤ α <1 ; β ≥0;a > 0;c >0.Also letKdenote the familiar class of functionsf(z)∈ Awhich are also univalent and convex in∆. Then
(2.1) σ2(a, c;α, β)
2[1−α+σ2(a, c;α, β)](f ∗g)(z)≺g(z) (z ∈∆; g ∈ K), and
(2.2) Re(f(z))>−1−α+σ2(a, c;α, β)
σ2(a, c;α, β) , (z ∈∆).
The constant 2[1−α+σσ2(a,c;α,β)
2(a,c;α,β)] is the best estimate.
Proof. Letf(z)∈ L?(a, c;α, β)and letg(z) =z+P∞
n=2cnzn∈ K. Then (2.3) σ2(a, c;α, β)
2[1−α+σ2(a, c;α, β)](f ∗g)(z) = σ2(a, c;α, β)
2[1−α+σ2(a, c;α, β)] z+
∞
X
n=2
ancnzn
! .
Thus, by Definition 1.2, the assertion of our theorem will hold if the sequence (2.4)
σ2(a, c;α, β)
2[1−α+σ2(a, c;α, β)]an ∞
n=1
is a subordinating factor sequence, witha1 = 1.In view of Lemma 1.1, this will be the case if and only if
(2.5) Re
( 1 + 2
∞
X
n=1
σ2(a, c;α, β)
2[1−α+σ2(a, c;α, β)]anzn )
>0 (z ∈∆).
Now
Re (
1 + σ2(a, c;α, β) 1−α+σ2(a, c;α, β)
∞
X
n=1
anzn )
= Re
1 + σ2(a, c;α, β) 1−α+σ2(a, c;α, β)z
+ 1
1−α+σ2(a, c;α, β)
∞
X
n=1
σ2(a, c;α, β)anzn )
≥1−
σ2(a, c;α, β) 1−α+σ2(a, c;α, β)r
− 1
1−α+σ2(a, c;α, β)
∞
X
n=1
σn(a, c;α, β)anrn )
.
Sinceσn(a, c;α, β)is an increasing function ofn(n≥2) 1−
σ2(a, c;α, β) 1−α+σ2(a, c;α, β)r
− 1
1−α+σ2(a, c;α, β)
∞
X
n=1
σn(a, c;α, β)anrn )
>1− σ2(a, c;α, β)
1−α+σ2(a, c;α, β)r− 1−α
1−α+σ2(a, c;α, β)r (|z|=r)
>0.
Thus (2.5) holds true in ∆. This proves the inequality (2.1). The inequality (2.2) follows by taking the convex functiong(z) = 1−zz =z+P∞
n=2zn in (2.1). To prove the sharpness of the constant 2[1−α+σσ2(a,c;α,β)
2(a,c;α,β)],we consider the functionf0(z)∈ L?(a, c;α, β)given by
(2.6) f0(z) = z− 1−α
σ2(a, c;α, β)z2 (−1≤α <1; β ≥0).
Thus from (2.1), we have
(2.7) σ2(a, c;α, β)
2[1−α+σ2(a, c;α, β)]f0(z)≺ z 1−z.
It can easily verified that
(2.8) min
Re
σ2(a, c;α, β)
2[1−α+σ2(a, c;α, β)]f0(z)
=−1
2 (z ∈∆), This shows that the constant 2[1−α+σσ2(a,c;α,β)
2(a,c;α,β)] is best possible.
Corollary 2.2. Let the functionf(z)defined by (1.1) be in the class L?(1,1;α, β)and satisfy the condition
(2.9)
∞
X
n=2
[n(1 +β)−(α+β)]|an| ≤1−α then
β+ 2−α
2(β+ 3−2α)(f ∗g)(z)≺g(z) (2.10)
(−1≤α <1; β ≥0; z ∈∆; g ∈ K) and
(2.11) Re(f(z))>−β+ 3−2α
β+ 2−α , (z ∈∆).
The constant 2(β+3−2α)β+2−α is the best estimate.
Corollary 2.3. Let the functionf(z)defined by (1.1) be in the classL?(1,1;α,0)and satisfy the condition
(2.12)
∞
X
n=2
(n−α)|an| ≤1−α, then
(2.13) 2−α
6−4α(f∗g)(z)≺g(z) (z ∈∆; g ∈ K) and
(2.14) Re(f(z))>−3−2α
2−α , (z ∈∆).
The constant 6−4α2−α is the best estimate.
Puttingα = 0in Corollary 2.3, we obtain
Corollary 2.4 ([12]). Let the function f(z) defined by (1.1) be in the class L?(1,1; 0,0)and satisfy the condition
(2.15)
∞
X
n=2
n|an| ≤1 then
(2.16) 1
3(f∗g)(z)≺g(z) (z ∈∆; g ∈ K) and
(2.17) Re(f(z))>−3
2, (z ∈∆).
The constant1/3 is the best estimate.
Corollary 2.5. Let the functionf(z)defined by (1.1) be in the class L?(2,1;α, β)and satisfy the condition
(2.18)
∞
X
n=2
n[n(1 +β)−(α+β)]|an| ≤1−α,
then
β+ 2−α
2β+ 5−3α(f∗g)(z)≺g(z) (2.19)
(−1≤α <1; β ≥0; z ∈∆; g ∈ K) and
(2.20) Re(f(z))>−2β+ 5−3α
2(β+ 2−α), (z ∈∆).
The constant 2β+5−3αβ+2−α is the best estimate.
Corollary 2.6. Let the functionf(z)defined by (1.1) be in the classL?(2,1;α,0)and satisfy the condition
(2.21)
∞
X
n=2
n(n−α)|an| ≤1−α,
then
(2.22) 2−α
5−3α(f∗g)(z)≺g(z) (z ∈∆; g ∈ K) and
(2.23) Re(f(z))>− 5−3α
2(2−α), (z ∈∆).
The constant 5−3α2−α is the best estimate.
Puttingα = 0in Corollary 2.6, we obtain
Corollary 2.7. Let the functionf(z)defined by (1.1) be in the class L?(2,1; 0,0)and satisfy the condition
(2.24)
∞
X
n=2
n2|an| ≤1
then
(2.25) 2
5(f∗g)(z)≺g(z) (z ∈∆; g ∈ K) and
(2.26) Re(f(z))> −5
4 , (z ∈∆).
The constant2/5is the best estimate.
REFERENCES
[1] A.A. ATTIYA, On some application of a subordination theorems, J. Math. Anal. Appl., 311 (2005), 489–494.
[2] B.C. CARLSONANDD.B. SHAFFER, Starlike and prestarlike hypergeometric functions, SIAM J.
Math. Anal., 15(4) (1984), 737–745.
[3] S. KANAS ANDA. WISNIOWSKA, Conic regions and k- uniform convexity, J. Comput. Appl.
Math., 105 (1999), 327–336.
[4] S. KANASANDA. WISNIOWSKA, Conic regions andk- starlike functions, Rev. Roumaine Math.
Pures Appl., 45(4) (2000), 647–657.
[5] S. KANASANDH.M. SRIVASTAVA, Linear operators associated withk-uniformly convex func- tions, Integral Transform. Spec. Funct., 9 (2000), 121–132.
[6] A. GANGADHARAN, T.N. SHANMUGAN AND H.M. SRIVASTAVA, Generalized Hypergeo- metric functions associated withk−uniformly convex functions, Comput. Math. App., 44 (2002), 1515–1526.
[7] A.W. GOODMAN, On uniformly convex functions, Ann. Polon. Math., 56 (1991), 87–92.
[8] A.W. GOODMAN, On uniformly starlike functions, J. Math. Anal. Appl., 155 (1991), 364–370.
[9] W.C. MAAND D. MINDA, Uniformly convex functions, Ann. Polon. Math., 57(2) (1992), 165–
175.
[10] F. RØNNING, Uniformly convex functions and a corresponding class of starlike functions, Proc.
Amer. Math. Soc., 118(1) (1993), 189–196.
[11] F. RØNNING, On starlike functions associated with parabolic regions, Ann Univ. Mariae Curie- Sklodowska Sect. A, 45 (1991), 117–122.
[12] S. SINGH, A subordination theorems for spirallike functions, IJMMS, 24(7) (2000), 433–435.
[13] H.M. SRIVASTAVAANDA.A. ATTIYA, Some subordination results associated with certain sub- classes of analytic functions, J. Inequal. Pure Appl. Math., 5(4) (2004), Art. 82. [ONLINE:
http://jipam.vu.edu.au/article.php?sid=434].
[14] H.S. WILF, Subordinating factor sequence for convex maps of the unit circle, Proc. Amer. Math.
Soc., 12 (1961), 689–693, MR0125214 (23 #A2519).