Professional Documents
Culture Documents
Some Results Involving Functions With Negative Coe Cients and Al-Oboudi Operator
Some Results Involving Functions With Negative Coe Cients and Al-Oboudi Operator
RESEARCH ARTICLE
Al-Oboudi operator is used here to define a new class of analytic functions whose non-negative coefficients from the
second onwards are negative. We prove some interesting properties like coefficient inequalities, distortion bounds and
convolution properties for the above class. Also a result which unifies radii of close-to-convexity, starlikeness and
convexity is obtained.
Keywords: Univalent function; Convex function; Starlike function; Hadamard product; Al-Oboudi operator;
distortion bounds.
1. Introduction
∞
∑
f (z) = z + ak z k , (1)
k=2
∑
For ∑f and g ∈ A, where f is of the form (1) and g(z) = z + ∞ k=2 bk z , bk ≥ 0, (f ∗ g)(z) =
k
∞
z + k=2 ak bk z k , is called the convolution or Hadamard product of f and g.
∑ ∑∞
For f and h ∈ T , where f is of the form (2) and h(z) = z − ∞ k=2 ck z , (f • h)(z) = z −
k k
k=2 ak ck z ,
is called the modified Hadamard product of f and h.
∗ Corresponding author
Email: shilpa2254@gmail.com
90 N. Shilpa and S. Latha
∞
∑
Dλm f (z) =z− [1 + (k − 1)λ]m ak z k , (3)
k=2
1 + Aω(z)
, −1 ≤ A < B ≤ 1,
1 + Bω(z)
The class Tλm (A, B, γ) generalizes a number of classes, S∗1 (A, B), K1 (A, B), T (m, α), Tλm (α, γ),
studied in literature by Ganesan [3], Hur and Oh [4], Adrina Catas [5], respectively.
It is our goal in the following sections to prove coefficient inequalities, distortion bounds, radii of
close-to-convexity, starlikeness, convexity and convolution properties for the above class.
2. Main Results
Theorem 2.1 A function f defined by (2) is in the class Tλm (A, B, γ) if and only if
∞
∑
ck (m, λ)[k(1 + B) − (1 + A)][1 + γλ(k − 1)]ak ≤ B − A (6)
k=2
where
(B − A)
fk (z) = z − zk , k ≥ 2. (8)
ck (m, λ)[k(1 + B) − (1 + A)][1 + γλ(k − 1)]
Some Results Involving Functions with Negative Coefficients and Al-Oboudi Operator 91
Proof First let us assume that the inequality (6) holds and let |z| = 1.
(1 − γ)z(Dm f (z))′ + γz(Dm+1 f (z))′
λ λ
− 1≤
(1 − γ)(Dλm f (z)) + γ(Dλm+1 f (z))
[ ∑∞ ]
[1 + λ(k − 1)]m [1 + γλ(k − 1)]kak − 1 B−A
1+ ∑∞
k=2
≤ .
1 − k=2 [1 + λ(k − 1)]m [1 + γλ(k − 1)]ak 1+B
Appealing, to the maximum modulus theorem, we get f (z) ∈ Tλm (A, B, γ). For the converse, we assume
that f (z) ∈ Tλm (A, B, γ). Then (5) gives
{ ∑ }
z− ∞ [1 + λ(k − 1)]m [1 + γλ(k − 1)]kak z k 1+A
ℜ ∑k=2 > .
z− ∞k=2 [1 + λ(k − 1)]m [1 + γλ(k − 1)]a z k
k 1 +B
or equivalently, we have
∞
∑
1− [1 + λ(k − 1)]m [1 + γλ(k − 1)]kak
k=2
[ ∞
]
1+A ∑
≥ 1− [1 + λ(k − 1)]m [1 + γλ(k − 1)]ak
1+B
k=2
Theorem 2.2 Let the function f defined by (2) be in the class Tλm (A, B, γ) then
∞
∑ B−A
ak ≤ . (9)
c2 (m, λ)(1 + γλ)(2B − A + 1)
k=2
and
∞
∑ 2(B − A)
kak ≤ . (10)
c2 (m, λ)(1 + γλ)(2B − A + 1)
k=2
The equality in (9) and (10) is attained for the function f given by (8).
92 N. Shilpa and S. Latha
∞
∑
(1 + γλ)c2 (m, λ) [k(1 + B) − (1 + A)]ak ≤ (B − A),
k=2
that is,
∞
∑ ∞
∑
(1 + γλ)c2 (m, λ) kak (1 + B) ≤ (B − A) + (1 + A)(1 + γλ)c2 (m, λ) ak .
k=2 k=2
Now, in view of the coefficient inequality (9) the above equation takes up the form
∞
∑
(1 + γλ)c2 (m, λ) kak (1 + B) ≤
k=2
B−A
(B − A) + (1 + A)(1 + γλ)c2 (m, λ) .
(1 + γλ)c2 (m, λ)(2B − A + 1)
Theorem 2.3 Let the function f defined by (2) be in the class Tλm (A, B, γ). Then we have
(B − A)
|Dλi f (z)| ≥ |z| − |z|2 . (11)
ck (m − i, λ)(2B − A + 1)(1 + γλ)
and
(B − A)
|Dλi f (z)| ≤ |z| + |z|2 , (12)
ck (m − i, λ)(2B − A + 1)(1 + γλ)
for z ∈ U, where 0 ≤ i ≤ m and ck (m − i, λ) is given by (7). The equalities in (11) and (12) are
attained for the function f given by
(B − A)
f2 (z) = z − z2. (13)
(1 + λ)m (2B − A + 1)(1 + γλ)
Proof We know that f ∈ Tλm (A, B, γ) if and only if Dλi f (z) ∈ Tλm−i (A, B, γ) where
∞
∑
Dλi f (z) =z− ck (i, λ)ak z k . (14)
k=2
Some Results Involving Functions with Negative Coefficients and Al-Oboudi Operator 93
∞
∑
ck (m, λ)[k(1 + B) − (1 + A)][1 + γλ(k − 1)]ak ≤ B − A
k=2
that is,
∞
∑ (B − A)
ck (i, λ)ak ≤ . (15)
ck (m − i, λ)(2B − A + 1)(1 + γλ)
k=2
which implies the assertions of (11) and (12) of Theorem 2.3, and also we note that the equalities
(11) and (12) are attained for the function f defined by
(B − A)
Dλi f (z) = z − z2. (16)
ck (m − i, λ)(2B − A + 1)(1 + γλ)
(B − A)
|f (z)| ≥ |z| − |z|2 . (17)
ck (m, λ)(2B − A + 1)(1 + γλ)
and
(B − A)
|f (z)| ≤ |z| + |z|2 . (18)
ck (m, λ)(2B − A + 1)(1 + γλ)
for z ∈ U. The equalities in (17) and (18) are attained for the function f2 given in (13).
Corollary 2.2 Let the function f defined by (2) be in the class Tλm (A, B, γ). Then we have,
2(B − A)
|f ′ (z)| ≥ 1 − |z|. (19)
ck (m, λ)(2B − A + 1)(1 + γλ)
and
2(B − A)
|f ′ (z)| ≤ 1 + |z|. (20)
ck (m, λ)(2B − A + 1)(1 + γλ)
for z ∈ U. The equalities in (19) and (20) are attained for the function f2 given in (13).
Corollary 2.3 Let the function f defined by (2) be in the class Tλm (A, B, γ). Then the unit disc is
mapped onto a domain that contains the disc
Proof Consider,
∑
f • Φ z − ∞ λ a z k
k k
f • Ψ − 1 = z − ∑∞ µk ak z k − 1 ≤
k=2
k=2
∑ ∑∞ ∑∞
z − ∞ λ a z k−z+ µ a z k ak [λk − µk ]|z|k−1
k=2 k k
∑ k=2 k k ≤ k=2∑
<1−δ
z− ∞ 1− ∞ k=2 µk ak |z|
k k−1
k=2 µk ak z
∞
∑
ak [(λk − µk ) + (1 − δ)µk ]|z|k−1 ≤ 1 − δ (23)
k=2
where r is given by (22). From Theorem 2.1, (23) will be true if,
[ ] 1
ck (m, λ)[k(1 + B) − (1 + A)][1 + γλ(k − 1)](1 − δ) k−1
|z| =
(B − A)[(λk − µk ) + µk (1 − δ)]
z
As corollaries to the above theorem we get the following results. By choosing Φ(z) = (1−z)2 and
Ψ(z) = z, we have:
Corollary 2.4 Let the function f defined by (2) be in the class Tλm (A, B, γ). Then f is close-to-convex
of order δ(0 ≤ δ < 1), hence univalent, in the disc |z| < r1 , where
[ ] 1
(1 − δ)ck (m, λ)[k(1 + B) − (1 + A)][1 + γλ(k − 1)] k−1
r1 = inf , k ≥ 2. (24)
k (B − A)k
Corollary 2.6 Let the function f be defined by (2) be in the class Tλm (A, B, γ). Then f is convex of
order δ(0 ≤ δ < 1), hence univalent, in the disc |z| < r3 , where
[ ] 1
(1 − δ)ck (m, λ)[k(1 + B) − (1 + A)][1 + γλ(k − 1)] k−1
r3 ≤ inf , k ≥ 2. (26)
k k(B − A)(k − δ)
3. Convolution Properties
∑
Theorem 3.1 If f is of the
∑form (2) and g(z) = z − ∞k=2 bk z belongs to the class Tλ (A, B, γ), then
k m
∞
h(z) = (f • g)(z) = z − k=2 ak bk z will be an element of Tλ (A, B, γ) with −1 ≤ A1 < B1 ≤ 1,
k m
where B1 ≥ A1−α
1 +α
, A1 ≤ 1 − 2α, where
(B − A)2
α= , 0≤γ≤1
[2B − A + 1]2 (1 + λ)m (1 + γλ) − (B − A)2
∞
∑
ck (m, λ)[k(1 + B) − (1 + A)][1 + γλ(k − 1)]ak ≤ B − A.
k=2
∞
∑ ck (m, λ)[k(1 + B) − (1 + A)][1 + γλ(k − 1)]ak
≤ 1. (27)
B−A
k=2
and
∞
∑ ck (m, λ)[k(1 + B) − (1 + A)][1 + γλ(k − 1)]bk
≤ 1. (28)
B−A
k=2
∞
∑ √ [k(1 + B) − (1 + A)]
uck (m, λ)[1 + γλ(k − 1)] ak bk ≤ 1 where u= (29)
B−A
k=2
∞
∑ [k(1 + B1 ) − (1 + A1 )]
u1 ck (m, λ)[1 + γλ(k − 1)]ak bk ≤ 1 where u1 = (30)
B1 − A1
k=2
96 N. Shilpa and S. Latha
or
√ u
ak bk ≤ . (31)
u1
√ 1
ak bk ≤ .
uck (m, λ)[1 + γλ(k − 1)]
1 u
≤ ,
uck (m, λ)[1 + γλ(k − 1)] u1
or
that is,
[k(1 + B1 ) − (1 + A1 )]
≤ u2 ck (m, λ)[1 + γλ(k − 1)]. (32)
(B1 − A1 )
(B1 − A1 ) k−1
≥ 2 = ϕ(k).
1 + B1 u ck (m, λ)[1 + γλ(k − 1)] − 1
Since ϕ(k) is a decreasing function of k, for k ≥ 2, ϕ(2) is the maximum value of ϕ(k) and therefore
B1 − A 1 (B − A)2
≥ = α. (33)
1 + B1 [2B − A + 1]2 (1 + λ)m (1 + γλ) − (B − A)2
A1 + α
B1 ≥ . (34)
1−α
c2 (m, λ) = (1 + λ)m
REFERENCES 97
(B − A)(1 + λ)m
f (z) = g(z) = z − z 2 ∈ Tλm (A, B, γ)
(2B − A + 1)(1 + γλ)
we get
(B − A)2 (1 + λ)m
h(z) = (f • g)(z) = z − z 2 ∈ Tλm (A, B, γ).
(2B − A + 1)2 (1 + γλ)2
B1 −A1
If we use this function h in (30), the inequality (33) transforms to equality, that is, 1+B1 = α. Now
if B1 = 1, then A1 = 1 − α, which shows in this case h ∈ Tλm (A, B, γ).
References
[1] Al-Oboudi. On univalent functions defined by a generalized salagean operator. Int. J. Math. Sci., page 1429:1436, 2004.
[2] G. S. Salagean. Subclasses of univalent functions. Lecture Notes in Mathe. Springer-Verlag, page 362:372, 1983.
[3] M. S. Ganeshan. On certain classes of analytic functions. Indian J. Pure appl. Math., 13(1):47:57, 1982.
[4] M. D. Hur and G. H. Oh. On certain class of analytic functions with negative coefficients. Pusan Kyongnam Math. J., 5:69:80,
1989.
[5] Adrina Catas. The radius of univalence of a certain class of analytic functions defined by a generalized slgean operator. Fasc.
Matematica, Tom XVII(22):23:29, 2010.
Copyright of Journal of Advanced Studies in Topology is the property of Modern Science Publishers and its
content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's
express written permission. However, users may print, download, or email articles for individual use.