We derive some results for a new class of analytic functions defined by using Salagean operator. We give some properties of functions in this class and obtain numerous sharp results including for example, coefficient estimates, distortion theorem, radii of star-likeness, convexity, close-to-convexity, extreme points, integral means inequalities, and partial sums of functions belonging to this class. Finally, we give an application involving certain fractional calculus operators that are also considered.
1. Introduction
Let 𝒜 denote the class of functions of the form
(1)f(z)=z+∑k=2∞akzk
that are analytic and univalent in the open unit disc U={z∈ℂ:|z|<1}.
For f(z)∈𝒜, Salagean [1] introduced the following differential operator: D0f(z)=f(z), D1f(z)=zf′(z),…, Dnf(z)=D(Dn-1f(z))(n∈N={1,2,…}).
We note that
(2)Dnf(z)=z+∑k=2∞knakzk(n∈ℕ0=ℕ∪{0}).
Definition 1 (subordination principle).
For two functions f and g, analytic in U, we say that the function f(z) is subordinate to g(z) in U and write f(z)≺g(z), if there exists a Schwarz function w(z), which (by definition) is analytic in U with w(0)=0 and |w(z)|<1, such that f(z)=g(w(z))(z∈U). Indeed it is known that
(3)f(z)≺g(z)⇒f(0)=g(0),f(U)⊂g(U).
Furthermore, if the function g is univalent in U, then we have the following equivalence [2, page 4]:
(4)f(z)≺g(z)⟺f(0)=g(0),f(U)⊂g(U).
Definition 2 (see [3]).
Let Um,n(β,A,B) denote the subclass of 𝒜 consisting of functions f(z) of the form (1) and satisfy the following subordination:
(5)Dmf(z)Dnf(z)-β|Dmf(z)Dnf(z)-1|≺1+Az1+Bz,(-1≤B<A≤1;-1≤B<0;β≥0;m∈ℕ;n∈ℕ0,m>n;z∈U).
Specializing the parameters A,B,β,m, and n, we obtain the following subclasses studied by various authors:
(i)
(6)Um,n(β,1-2α,-1)=Nm,n(α,β)={f∈𝒜:Re{Dmf(z)Dnf(z)-α}>β|Dmf(z)Dnf(z)-1|{{Dmf(z)Dnf(z)-α}>β|Dmf(z)Dnf(z)-1|}(0≤α<1;β≥0;m∈ℕ;n∈ℕ0;m>n;z∈U)},
(see Eker and Owa [4]);
(ii)
(7)U1,0(β,1-2α,-1)=US(α,β)={f∈𝒜:Re{zf′(z)f(z)-α}>β|zf′(z)f(z)-1|(0≤α<1;β≥0;z∈U)|zf′(z)f(z)-1|},U2,1(β,1-2α,-1)=UK(α,β)={f∈𝒜:Re{1+zf′′(z)f′(z)-α}>β|zf′′(z)f′(z)|(0≤α<1;β≥0;z∈U)|zf′(z)f(z)-1|},
(see Shams et al. [5, 6]);
(iii)
(8)U1,0(0,A,B)=S*(A,B)={f∈𝒜:zf′(z)f(z)≺1+Az1+Bz(-1≤B<A≤1;z∈U)zf′(z)f(z)},U2,1(0,A,B)=K(A,B)={f∈𝒜:1+zf′′(z)f′(z)≺1+Az1+Bz(-1≤B<A≤1;z∈U)zf′′(z)f′(z)},
(see Janowski [7] and Padmanabhan and Ganesan [8]).
Also we note that
(9)Um,n(0,A,B)=U(m,n;A,B)={f(z)∈𝒜:Dmf(z)Dnf(z)≺1+Az1+Bz(-1≤B<A≤1;m∈ℕ;n∈ℕ0;m>n;z∈U)Dmf(z)Dnf(z)}.
Let T denote the subclass of functions of 𝒜 of the form
(10)f(z)=z-∑k=2∞akzk,ak≥0.
Further, we define the class TSγ(f,g;α,β) by
(11)TUm,n(β,A,B)=Um,n(β,A,B)∩T.
For suitable choices of the parameters A,B,β,m, and n, we can get various known or new subclasses of T. For example, we have the following:
TUn+1,n(β,1-2α,-1)=TS(n,α,β)(0≤α<1,β≥0,n∈ℕ0) (see Rosy and Murugusundaramoorthy [9] and Aouf [10]);
TU1,0(1,1-2α,-1)=SpT(α) and TU2,1(1,1-2α,-1)=UCT(α)(0≤α<1) (see Bharati et al. [11]);
TU1,0(0,1-2α,-1)=T*(α) and TU2,1(0,1-2α,-1)=C(α)(0≤α<1) (see Silverman [12]).
2. Coefficient Estimates
Unless otherwise mentioned, we assume in the reminder of this paper that -1≤B<A≤1,-1≤B<0,β≥0,m∈ℕ,n∈ℕ0,m>n and z∈U.
Now, we will need the following lemma which gives a sufficient condition for functions belonging to the class Um,n(β,A,B).
Lemma 3 (see [13]).
A function f(z) of the form (1) is in the class Um,n(β,A,B) if
(12)∑k=2∞[(1+β(1+|B|))(km-kn)+|Bkm-Akn|]|ak|≤A-B.
In Theorem 4, it is shown that the condition (12) is also necessary for functions f(z) of the form (10) to be in the class TUm,n(β,A,B).
Theorem 4.
Let f(z)∈T. Then f(z)∈TUm,n(β,A,B) if and only if
(13)∑k=2∞[(1+β(1+|B|))(km-kn)+|Bkm-Akn|]ak≤A-B.
Proof.
In view of Lemma 3, we only need to prove the only if part of Theorem 4. Since TUm,n(β,A,B)⊂Um,n(β,A,B), for functions f(z)∈TUm,n(β,A,B), we can write
(14)|p(z)-1A-Bp(z)|<1,wherep(z)=Dmf(z)Dnf(z)-β|Dmf(z)Dnf(z)-1|.
then
(15)|(∑k=2∞(km-kn)akzk+βeiθ|∑k=2∞(km-kn)akzk|){+Bβeiθ|∑k=2∞(km-kn)akzk|)-1}×((A-B)z+∑k=2∞(Bkm-Akn)akzk+Bβeiθ|∑k=2∞(km-kn)akzk|)-1|<1.
Since Re(z)≤|z|(z∈U), then we obtain
(16)Re{+Bβeiθ|∑k=2∞(km-kn)akzk|)-1(∑k=2∞(km-kn)akzk+βeiθ|∑k=2∞(km-kn)akzk|)×((A-B)z+∑k=2∞(Bkm-Akn)akzk+Bβeiθ|∑k=2∞(km-kn)akzk|)-1}<1.
Now choosing z to be real and letting z→1-, we obtain
(17)∑k=2∞[(1+β(1-B))(km-kn)-(Bkm-Akn)]ak≤A-B.
Or, equivalently
(18)∑k=2∞[(1+β(1+|B|))(km-kn)+|Bkm-Akn|]ak≤A-B.
This completes the proof of Theorem 4.
Remark 5.
(i) The result obtained by Theorem 4 corrects the result obtained by Li and Tang [3, Theorem 1].
(ii) Putting A=1-2α(0≤α<1) and B=-1 in Theorem 4, we correct the result obtained by Eker and Owa [4, Theorem 2.1].
(iii) Putting A=1-2α(0≤α<1),B=-1, and m=n+1(n∈ℕ0) in Theorem 4, we obtain the result obtained by Rosy and Murugusudaramoorthy [9, Theorem 2].
Corollary 6.
Let the function f(z) be defined by (10) and let it be in the class TUm,n(β,A,B). Then
(19)ak≤A-B(1+β(1+|B|))(km-kn)+|Bkm-Akn|,(k≥2).
The result is sharp for the function
(20)f(z)=z-A-B(1+β(1+|B|))(km-kn)+|Bkm-Akn|zk,(k≥2).
3. Distortion TheoremsTheorem 7.
Let the function f(z) defined by (10) be in the class TUm,n(β,A,B). Then
(21)|f(z)|≥|z|-A-B(1+β(1+|B|))(2m-2n)+|B2m-A2n||z|2≤|z|+A-B(1+β(1+|B|))(2m-2n)+|B2m-A2n||z|2.
The result is sharp.
Proof.
In view of Theorem 4, since
(22)Φ(k)=(1+β(1+|B|))(km-kn)+|Bkm-Akn|
is an increasing function of k(k≥2), we have
(23)Φ(2)∑k=2∞|ak|≤∑k=2∞Φ(k)|ak|≤A-B,
that is
(24)∑k=2∞|ak|≤A-BΦ(2).
Thus we have
(25)|f(z)|≤|z|+|z|2∑k=2∞|ak|,|f(z)|≤|z|+A-B(1+β(1+|B|))(2m-2n)+|B2m-A2n||z|2.
Similarly, we get
(26)|f(z)|≥|z|-∑k=2∞|ak||z|k≥|z|-|z|2∑k=2∞|ak|≥|z|-A-B(1+β(1+|B|))(2m-2n)+|B2m-A2n||z|2.
Finally the result is sharp for the function
(27)f(z)=z-A-B(1+β(1+|B|))(2m-2n)+|B2m-A2n|z2,
at z=r and z=rei(2k+1)π(k∈ℤ={…,-2,-1,0,1,2,…}). This completes the proof of Theorem 7.
Theorem 8.
Let the function f(z) defined by (10) be in the class TUm,n(β,A,B). Then
(28)|f′(z)|≥1-2(A-B)(1+β(1+|B|))(2m-2n)+|B2m-A2n||z|≤1+2(A-B)(1+β(1+|B|))(2m-2n)+|B2m-A2n||z|.
The result is sharp.
Proof.
Similarly Φ(k)/k is an increasing function of k(k≥2), in view of Theorem 4, we have
(29)Φ(2)2∑k=2∞k|ak|≤∑k=2∞Φ(k)kk|ak|=∑k=2∞Φ(k)|ak|≤A-B,
that is
(30)∑k=2∞k|ak|≤2(A-B)Φ(2).
Thus we have
(31)|f′(z)|≤1+|z|∑k=2∞k|ak|≤1+2(A-B)(1+β(1+|B|))(2m-2n)+|B2m-A2n||z|.
Similarly
(32)|f′(z)|≥1-|z|∑k=2∞k|ak|≥1-2(A-B)(1+β(1+|B|))(2m-2n)+|B2m-A2n||z|.
Finally, we can see that the assertions of Theorem 8 are sharp for the function f(z) defined by (27). This completes the proof of Theorem 8.
4. Radii of Starlikeness, Convexity, and Close-to-Convexity
In this section radii of close-to-convexity, starlikeness, and convexity for functions belonging to the class TUm,n(β,A,B) are obtained.
Theorem 9.
Let the function f(z) defined by (10) be in the class TUm,n(β,A,B); then
f(z) is starlike of order φ(0≤φ<1) in |z|<r1, where
(33)r1=infk≥2{(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B×(1-φk-φ)(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B}1/(k-1),
f(z) is convex of order φ(0≤φ<1) in |z|<r2, where
(34)r2=infk≥2{(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B×(1-φ)k(k-φ)(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B}1/(k-1),
f(z)is close-to-convex of order φ(0≤φ<1) in |z|<r3, where
(35)r3=infk≥2{(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B×(1-φk)(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B}1/(k-1).
Each of these results is sharp for the function f(z) given by (20).
Proof.
It is sufficient to show that
(36)|zf′(z)f(z)-1|≤1-φ,for|z|<r1,
where r1 is given by (33). Indeed we find from (10) that
(37)|zf′(z)f(z)-1|≤∑k=2∞(k-1)ak|z|k-11-∑k=2∞ak|z|k-1.
Thus we have
(38)|zf′(z)f(z)-1|≤1-φ,
if and only if
(39)∑k=2∞(k-φ)ak|z|k-1(1-φ)≤1.
But, by Theorem 4, (39) will be true if
(40)(k-φ)|z|k-1(1-φ)≤(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B,
that is, if
(41)|z|≤{(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B×(1-φk-φ)}1k-1(k≥2).
Or
(42)r1=infk≥2{(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B×(1-φk-φ)}1/(k-1).
This completes the proof of (33).
To prove (34) and (35) it is sufficient to show that
(43)|1+zf′′(z)f′(z)-1|≤1-φ(|z|<r2;0≤φ<1),(44)|f′(z)-1|≤1-φ(|z|<r3;0≤φ<1),
respectively.
5. Extreme PointsTheorem 10.
Let
(45)f1(z)=z,fk(z)=z-A-B(1+β(1+|B|))(km-kn)+|Bkm-Akn|zk,(k=2,3,…).
Then f(z)∈TUm,n(β,A,B) if and only if it can be expressed in the following form:
(46)f(z)=∑k=1∞ηkfk(z),
where
(47)ηk≥0,∑k=1∞ηk=1.
Proof.
Suppose that
(48)f(z)=∑k=1∞ηkfk(z)=z-∑k=2∞ηkA-B(1+β(1+|B|))(km-kn)+|Bkm-Akn|zk.
Then, from Theorem 4, we have
(49)∑k=2∞[A-B(1+β(1+|B|))(km-kn)+|Bkm-Akn|{(1+β(1+|B|))(km-kn)+|Bkm-Akn|}·A-B(1+β(1+|B|))(km-kn)+|Bkm-Akn|ηk]=(A-B)∑k=2∞ηk=(A-B)(1-η1)≤A-B.
Thus, in view of Theorem 4, we find that f(z)∈TUm,n(β,A,B).
Conversely, let us suppose that f(z)∈TUm,n(β,A,B), then, since
(50)ak≤A-B(1+β(1+|B|))(km-kn)+|Bkm-Akn|,(k=2,3,…).
Set
(51)ηk=(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-Bak,(k=2,3,…),η1=1-∑k=2∞ηk.
Thus clearly, we have
(52)f(z)=∑k=1∞ηkfk(z).
This completes the proof of Theorem 10.
Corollary 11.
The extreme points of the class TUm,n(β,A,B) are given by
(53)f1(z)=z,fk(z)=z-A-B(1+β(1+|B|))(km-kn)+|Bkm-Akn|zk,(k=2,3,…).
6. Integral Means Inequalities
In 1925, Littlewood [14] proved the following subordination lemma.
Lemma 12.
If the functions f and g are analytic in U with
(54)f(z)≺g(z)(z∈U),
then for p>0and z=reiθ(0<r<1),
(55)∫02π|f(z)|pdθ≤∫02π|g(z)|pdθ.
We now make use of Lemma 12 to prove Theorem 13.
Theorem 13.
Suppose that f(z)∈TUm,n(β,A,B),p>0,-1≤B<A≤1,β>0,m∈ℕ,n∈ℕ0,m>n, and f2(z) is defined by
(56)f2(z)=z-A-B(1+β(1+|B|))(2m-2n)+|B2m-A2n|z2.
Then for z=reiθ(0<r<1), we have
(57)∫02π|f(z)|pdθ≤∫02π|f2(z)|pdθ.
Proof.
For f(z)=z-∑k=2∞akzk(ak≥0), (55) is equivalent to prove that
(58)∫02π|1-∑k=2∞akzk-1|pdθ≤∫02π|1-A-B(1+β(1+|B|))(2m-2n)+|B2m-A2n|z|pdθ.
By applying Littlewood’s subordination lemma (Lemma 12), it would suffice to show that
(59)1-∑k=2∞akzk-1≺1-A-B(1+β(1+|B|))(2m-2n)+|B2m-A2n|z.
By setting
(60)1-∑k=2∞akzk-1=1-A-B(1+β(1+|B|))(2m-2n)+|B2m-A2n|w(z)
and using (13), we obtain
(61)|w(z)|=|∑k=2∞(1+β(1+|B|))(2m-2n)+|B2m-A2n|A-Bakzk-1|≤|z|∑k=2∞(1+β(1+|B|))(2m-2n)+|B2m-A2n|A-Bak≤|z|∑k=2∞(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-Bak≤|z|<1.
This completes the proof of Theorem 13.
7. Partial Sums
In this section partial sums of functions in the class Um,n(β,A,B) are obtained, also we will obtain sharp lower bounds for the ratios of real part of f(z) to fn(z).
Theorem 14.
Define the partial sums f1(z) and fn(z) by
(62)f1(z)=z,fn(z)=z+∑k=2nakzk(n∈ℕ∖{1}).
Let the function f(z)∈Um,n(β,A,B) be given by (1) and let it satisfy the condition (12) and
(63)ck≥{1,k=2,3,…,n,cn+1,k=n+1,n+2,…,
where, for convenience,
(64)ck=(1+β(1+|B|))(km-kn)+|Bkm-Akn|A-B,
Then
(65)Re{f(z)fn(z)}>1-1cn+1(z∈U;n∈ℕ),(66)Re{fn(z)f(z)}>cn+11+cn+1.
Proof.
For the coefficients ck given by (64) it is not difficult to verify that
(67)ck+1>ck>1.
Therefore we have
(68)∑k=2n|ak|+cn+1∑k=n+1∞|ak|≤∑k=2∞ck|ak|≤1.
By setting
(69)g1(z)=cn+1{f(z)fn(z)-(1-1cn+1)}=1+cn+1∑k=n+1∞akzk-11+∑k=2nakzk-1
and applying (68), we find that
(70)|g1(z)-1g1(z)+1|<cn+1∑k=n+1∞|ak|2-2∑k=2n|ak|-cn+1∑k=n+1∞|ak|.
Now
(71)|g1(z)-1g1(z)+1|<1,
if
(72)∑k=2n|ak|+cn+1∑k=n+1∞|ak|≤1.
From the condition (12), it is sufficient to show that
(73)∑k=2n|ak|+cn+1∑k=n+1∞|ak|≤∑k=2∞ck|ak|,
which is equivalent to
(74)∑k=2n(ck-1)|ak|+∑k=n+1∞(ck-cn+1)|ak|≥0,
which readily yields the assertion (65) of Theorem 14. In order to see that
(75)f(z)=z+zn+1cn+1
gives sharp result, we observe that for z=reiπ/n that f(z)/fn(z)=1+zn/cn+1→1-1/cn+1 as z→1-. Similarly, if we take
(76)g2(z)=(1+cn+1){fn(z)f(z)-cn+11+cn+1}=1-(1+cn+1)∑k=n+1∞akzk-11+∑k=2∞akzk-1
and making use of (68), we can deduce that
(77)|g2(z)-1g2(z)+1|<(1+cn+1)∑k=n+1∞|ak|2-2∑k=2n|ak|-(1-cn+1)∑k=n+1∞|ak|,
which leads us immediately to the assertion (66) of Theorem 14.
The bound in (66) is sharp for each n∈ℕ with the extremal function f(z) given by (75). Then the proof of Theorem 14 is completed.
In this section, we will prove several distortion theorems for functions belonging to the class TUm,n(β,A,B). Each of these theorems would involve certain operators of fractional calculus (i.e., fractional integrals and fractional derivatives), which are defined as follows (see, for details, [15–18]). For our present investigation, we recall the following definitions.
Definition 15.
The fractional integral of order δ is defined, for a function f(z), by
(78)Dz-δf(z)=1Γ(δ)∫0zf(ζ)(z-ζ)1-δdζ(δ>0),
where the functionf(z) is analytic in a simply connected domain of the complex z-plane containing the origin, and the multiplicity of (z-ζ)δ-1 is removed by requiring log(z-ζ) to be real when z-ζ>0.
Definition 16.
The fractional derivative of order δ is defined, for a function f(z), by
(79)Dzδf(z)=1Γ(1-δ)ddz∫0zf(ζ)(z-ζ)δdζ(0≤δ<1),
where the function f(z) is constrained, and the multiplicity of(z-ζ)-δ is removed as in Definition 15.
Definition 17.
Under the hypotheses of Definition 16, the fractional derivative of order δ is defined, for a function f(z), by
(80)Dzn+δf(z)=dndzn{Dzδf(z)}(0≤δ<1;n∈ℕ0).
Using Definitions 15, 16, and 17, we obtain
(81)Dzδ{zk}=Γ(k+1)Γ(k+1-δ)zk-δ(k∈ℕ;0≤δ<1),Dz-δ{zk}=Γ(k+1)Γ(k+1+δ)zk+δ(k∈ℕ;δ>0),
in terms of Gamma functions.
Theorem 18.
Let the function f(z) defined by (10) be in the class TUm,n(β,A,B). Then
(82)|Dz-δf(z)|≥|z|1+δΓ(2+δ)×(1-(A-B)(2+δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]|z|),(δ>0;z∈U),|Dz-δf(z)|≤|z|1+δΓ(2+δ)×(1+(A-B)(2+δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]|z|),(δ>0;z∈U).
The results are sharp.
Proof.
Let
(83)F(z)=Γ(2+δ)z-δDz-δf(z)=z-∑k=2∞Γ(k+1)Γ(2+δ)Γ(k+1+δ)akzk=z-∑k=2∞Λ(k)akzk,
where
(84)Λ(k)=Γ(k+1)Γ(2+δ)Γ(k+1+δ),(k=2,3,…).
Since Λ(k) is a decreasing function of k, we can write
(85)0<Λ(k)≤Λ(2)=22+δ.
Furthermore, in view of Theorem 4, we have
(86)[(1+β(1+|B|))(2m-2n)+|B2m-A2n|]∑k=2∞ak≤∑k=2∞[(1+β(1+|B|))(km-kn)+|Bkm-Akn|]ak≤A-B.
Then
(87)∑k=2∞ak≤A-B[(1+β(1+|B|))(2m-2n)+|B2m-A2n|].
Therefore, by using (85) and (87), we can see that
(88)|F(z)|≥|z|-Λ(2)|z|2∑k=2∞ak≥|z|-(A-B)(2+δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]|z|2
and similarly
(89)|F(z)|≤|z|+Λ(2)|z|2∑k=2∞ak≤|z|+(A-B)(2+δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]|z|2,
which prove Theorem 18.
Finally, the equalities are attained for the function f(z) defined by
(90)Dz-δf(z)=z1+δΓ(2+δ)×(1-(A-B)(2+δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]z)
or, equivalently, by f(z) given by (27).
Then the results are sharp, and the proof of Theorem 18 is completed.
Corollary 19.
Under the hypothesis of Theorem 20, Dz-δf(z) is included in a disk with its center at the origin and radius R1 given by
(91)R1=1Γ(2+δ)×(1-(A-B)(2+δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]).
Theorem 20.
Let the function f(z) defined by (10) be in the class TUm,n(β,A,B). Then
(92)|Dzδf(z)|≥|z|1-δΓ(2-δ)×(1-(A-B)(2-δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]|z|),(0≤δ<1;z∈U),|Dzδf(z)|≤|z|1-δΓ(2-δ)×(1+(A-B)(2-δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]|z|),(0≤δ<1;z∈U).
Each of these results is sharp.
Proof.
Let
(93)G(z)=Γ(2-δ)zδDzδf(z)=z-∑k=2∞Γ(k)Γ(2-δ)Γ(k+1-δ)kakzk=z-∑k=2∞Ω(k)kakzk,
where
(94)Ω(k)=Γ(k)Γ(2-δ)Γ(k+1-δ)(k=2,3,…).
Since Ω(k) is a decreasing function of k, we can write
(95)0<Ω(k)≤Ω(2)=12-δ.
Furthermore, in view of Theorem 4, we have
(96)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]∑k=2∞kak≤∑k=2∞[(1+β(1+|B|))(km-kn)+|Bkm-Akn|]ak≤A-B.
Then
(97)∑k=2∞kak≤A-B[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|].
Therefore, by using (95) and (97), we can see that
(98)|G(z)|≥|z|-Ω(2)|z|2∑k=2∞kak≥|z|-(A-B)(2-δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]|z|2
and similarly
(99)|G(z)|≤|z|+Ω(2)|z|2∑k=2∞kak≤|z|+(A-B)(2-δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]|z|2,
which together prove the two assertions of Theorem 20.
Finally, the equalities are attained for the function f(z) defined by
(100)Dzδf(z)=z1-δΓ(2-δ)×(1-(A-B)(2-δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]z)
or, equivalently, by f(z) given by (27).
Then the result is sharp, and the proof of Theorem 20 is completed.
Corollary 21.
Under the hypothesis of Theorem 20, Dzδf(z) is included in a disk with its center at the origin and radius R2 given by
(101)R2=1Γ(2-δ)×(1-(A-B)(2-δ)[(1+β(1+|B|))(2m-1-2n-1)+|B2m-1-A2n-1|]).
Acknowledgment
The authors thank the referee for his valuable suggestions which led to improvement of this study.
SalageanG. S.Subclasses of univalent functions19831013Berlin, UKSpringer362372Lecture Notes in Mathematics10.1007/BFb0066543MR738107MillerS. S.MocanuP. T.2000225New York, NY, USAMarcel DekkerMonographs and Textbooks in Pure and Applied MathematicsMR1760285LiS.-H.TangH.Certain new classes of analytic functions defined by using the Salagean operator2010246275MR2747888EkerS. S.OwaS.Certain classes of analytic functions involving Salagean operator20091011222MR2491932ShamsS.KulkarniS. R.JahangiriJ. M.On a class of univalent functions defined by Ruschweyh derivatives2003434579585MR2026116ShamsS.KulkarniS. R.JahangiriJ. M.Classes of uniformly starlike and convex functions2004532959296110.1155/S0161171204402014MR2145534JanowskiW.Some extremal problems for certain families of analytic functions197328648658MR0328059PadmanabhanK. S.GanesanM. S.Convolutions of certain classes of univalent functions with negative coefficients1988199880889MR962139RosyT.MurugusundaramoorthyG.Fractional calculus and their applications to certain subclass of uniformly convex functions2004152231242MR2133425AoufM. K.A subclass of uniformly convex functions with negative coefficients201052299111MR2760625BharatiR.ParvathamR.SwaminathanA.On subclasses of uniformly convex functions and corresponding class of starlike functions19972811732MR1457247SilvermanH.Univalent functions with negative coefficients197551109116MR0369678AoufM. K.El-AshwahR. M.HassanA. A. M.HassanA. H.On subordination results for certain new classes of analytic functions defined by using Salagean operator201241239246MR2955894LittlewoodJ. E.On inequalities in the theory of functions23148151910.1112/plms/s2-23.1.481MR1575208SrivastavaH. M.AoufM. K.A certain fractional derivative operator and its applications to a new class of analytic and multivalent functions with negative coefficients I1992171111310.1016/0022-247X(92)90373-LSrivastavaH. M.AoufM. K.A certain fractional derivative operator and its applications to a new class of analytic and multivalent functions with negative coefficients, II1995192367368810.1006/jmaa.1995.1197SrivastavaH. M.OwaS.Some characterization and distortion theorems involving fractional calculus, generalized hypergeometric functions, Hadamard products, linear operators, and certain subclasses of analytic functions1987106128MR894409SrivastavaH. M.OwaS.1989New York, NY, USAHalsted Press, Horwood Limited, Chichester, UK; John Wiley and SonsMR1199135