60 (2008), 87–94 ON A CLASS OF MULTIVALENT FUNCTIONS

advertisement
MATEMATIQKI VESNIK
UDK 517.546
originalni nauqni rad
research paper
60 (2008), 87–94
ON A CLASS OF MULTIVALENT FUNCTIONS
DEFINED BY A MULTIPLIER TRANSFORMATION
Sukhwinder Singh, Sushma Gupta and Sukhjit Singh
Abstract. In the present paper, the authors investigate starlikeness and convexity of a
class of multivalent functions defined by multiplier transfomation. As a consequence, a number
of sufficient conditions for starlikeness and convexity of analytic functions are also obtained.
1. Introduction
P∞
Let Ap denote the class of functions of the form f (z) = z p + k=p+1 ak z k ,
p ∈ N = {1, 2, . . . }, which are analytic in the open unit disc E = {z : |z| < 1}.
We write A1 = A. A function f ∈ Ap is said to be p-valent starlike of order α
(0 ≤ α < p) in E if
µ 0 ¶
zf (z)
Re
> α, z ∈ E.
f (z)
We denote by Sp∗ (α), the class of all such functions. A function f ∈ Ap is said to
be p-valent convex of order α (0 ≤ α < p) in E if
µ
¶
zf 00 (z)
Re 1 + 0
> α, z ∈ E.
f (z)
Let Kp (α) denote the class of all those functions f ∈ Ap which are multivalently
convex of order α in E. Note that S1∗ (α) and K1 (α) are, respectively, the usual
classes of univalent starlike functions of order α and univalent convex functions of
order α, 0 ≤ α < 1, and will be denoted here by S ∗ (α) and K(α), respectively. We
shall use S ∗ and K to denote S ∗ (0) and K(0), respectively which are the classes of
univalent starlike (w.r.t. the origin) and univalent convex functions.
For f ∈ Ap , we define the multiplier transformation Ip (n, λ) as
µ
¶n
∞
P
k+λ
Ip (n, λ)f (z) = z p +
ak z k , (λ ≥ 0, n ∈ Z).
(1)
p
+
λ
k=p+1
AMS Subject Classification: 30C45
Keywords and phrases: Multivalent function; starlike function; convex function; multiplier
transformation.
87
88
S. Singh, S. Gupta and S. Singh
The operator Ip (n, λ) has been recently studied by Aghalary et. al. [1]. Earlier,
the operator I1 (n, λ) was investigated by Cho and Srivastava [2] and Cho and Kim
[3], whereas the operator I1 (n, 1) was studied by Uralegaddi and Somanatha [9].
I1 (n,P0) is the well-known Sălăgean [7] derivative operator Dn , defined as: Dn f (z) =
∞
z + k=2 k n an z n , n ∈ N0 = N ∪ {0} and f ∈ A.
A function f ∈ Ap is said to be in the class Sn (p, λ, α) for all z in E if it
satisfies
·
¸
Ip (n + 1, λ)f (z)
α
> ,
Re
(2)
Ip (n, λ)f (z)
p
for some α (0 ≤ α < p, p ∈ N). We note that S0 (1, 0, α) and S1 (1, 0, α) are the
usual classes S ∗ (α) and K(α) of starlike functions of order α and convex functions
of order α, respectively.
In 1989, Owa, Shen and Obradović [6] obtained a sufficient condition for a
function f ∈ A to belong to the class Sn (1, 0, α) = Sn (α), say. In fact, they proved
the following result:
Theorem A. For n ∈ N0 , if f ∈ A satisfies
¯ n+1
¯1−β ¯ n+2
¯β
¯D
¯
¯D
¯
f (z)
3
f (z)
1−2β
¯
¯
¯
¯
(1 − α + α2 )β , z ∈ E,
¯ Dn f (z) − 1¯
¯ Dn+1 f (z) − 1¯ < (1 − α)
2
for some real numbers α(0 ≤ α ≤
· n+1
¸
D
f (z)
Re
> α in E.
Dn f (z)
1
2)
and β(0 ≤ β ≤ 1), then f ∈ Sn (α), i.e.
This result was, later on, extended by Li and Owa [5] for all α, 0 ≤ α < 1 and
β ≥ 0. They proved
Theorem B. If f ∈ A satisfies
¢β
¯ n+1
¯γ ¯ n+2
¯β (
γ¡
¯D
¯ ¯D
¯
(1 − α) 32 − α ,
f (z)
f (z)
¯
¯
¯
¯
¯ Dn f (z) − 1¯ ¯ Dn+1 f (z) − 1¯ <
β+γ
2β (1 − α)
,
0 ≤ α ≤ 1/2,
1/2 ≤ α < 1.
for some reals α (0 ≤ α < 1), β ≥ 0 and γ ≥ 0 with β + γ > 0, then f ∈ Sn (α),
n ∈ N0 .
In the present paper, our aim is to determine sufficient conditions for a function
f ∈ Ap to be a member of the class Sn (p, λ, α). As a consequence of our main result,
we get a number of sufficient conditions for starlikeness and convexity of analytic
functions.
2. Main result
To prove our result, we shall make use of the famous Jack’s lemma which we
state below.
89
On a class of multivalent functions
Lemma 2.1. (Jack [4]) Suppose w(z) be a nonconstant analytic function in E
with w(0) = 0. If |w(z)| attains its maximum value at a point z0 ∈ E on the circle
|z| = r < 1, then z0 w0 (z0 ) = mw(z0 ), where m, m ≥ 1, is some real number.
We, now, state and prove our main result.
Theorem 2.1. If f ∈ Ap satisfies
¯
¯γ ¯
¯β
¯ Ip (n + 1, λ)f (z)
¯ ¯ Ip (n + 2, λ)f (z)
¯
¯
¯
¯
¯
¯ Ip (n, λ)f (z) − 1¯ ¯ Ip (n + 1, λ)f (z) − 1¯ < M (p, λ, α, β, γ), z ∈ E,
(3)
for some real numbers α, β and γ such that 0 ≤ α < p, β ≥ 0, γ ≥ 0, β + γ > 0,
then f ∈ Sn (p, λ, α), where n ∈ N0 and
³
´γ ³
´β
1

 1 − αp
1 − αp + 2(p+λ)
, 0 ≤ α ≤ p/2,
M (p, λ, α, β, γ) =
´
³
´
³
γ+β
β

1
 1− α
1 + p+λ
,
p/2 ≤ α < p.
p
Proof. Case (i). Let 0 ≤ α ≤
Define a function w(z) as
p
2.
Writing
α
p
1
2.
= µ, we see that 0 ≤ µ ≤
Ip (n + 1, λ)f (z)
1 + (1 − 2µ)w(z)
=
,
Ip (n, λ)f (z)
1 − w(z)
z ∈ E.
(4)
Then w is analytic in E, w(0) = 0 and w(z) 6= 1 in E. By a simple computation,
we obtain from (4),
0
z(Ip (n + 1, λ)f (z))0
z(Ip (n, λ)f (z))0
2(1 − µ)zw (z)
−
=
Ip (n + 1, λ)f (z)
Ip (n, λ)f (z)
(1 − w(z))(1 + (1 − 2µ)w(z))
(5)
By making use of the identity
(p + λ)Ip (n + 1, λ)f (z) = z(Ip (n, λ)f (z))0 + λIp (n, λ)f (z)
(6)
we obtain from (5)
0
1 + (1 − 2µ)w(z)
2(1 − µ)zw (z)
Ip (n + 2, λ)f (z)
=
+
Ip (n + 1, λ)f (z)
1 − w(z)
(p + λ)(1 − w(z))(1 + (1 − 2µ)w(z))
Thus, we have
¯
¯γ ¯
¯β
¯ Ip (n + 1, λ)f (z)
¯ ¯ Ip (n + 2, λ)f (z)
¯
¯
¯
¯
¯
¯ Ip (n, λ)f (z) − 1¯ ¯ Ip (n + 1, λ)f (z) − 1¯
¯β
¯ ¯
¯
0
¯
¯ 2(1 − µ)w(z) ¯γ ¯¯ 2(1 − µ)w(z)
2(1
−
µ)zw
(z)
¯
¯ ¯
= ¯¯
+
¯
¯
¯ 1 − w(z)
1 − w(z)
(p + λ)(1 − w(z))(1 + (1 − 2µ)w(z)) ¯
¯
¯β
¯
¯
0
¯
¯ 2(1 − µ)w(z) ¯γ+β ¯¯
zw
(z)
¯
¯
= ¯¯
¯1 +
¯ .
¯
¯
1 − w(z)
(p + λ)w(z)(1 + (1 − 2µ)w(z)) ¯
90
S. Singh, S. Gupta and S. Singh
Suppose that there exists a point z0 ∈ E such that max|z|≤|z0 | |w(z)| = |w(z0 )| = 1.
Then by Lemma 2.1, we have w(z0 ) = eiθ , 0 < θ ≤ 2π and z0 w0 (z0 ) = mw(z0 ),
m ≥ 1. Therefore
¯
¯γ ¯
¯β
¯ Ip (n + 1, λ)f (z0 )
¯ ¯ Ip (n + 2, λ)f (z0 )
¯
¯
¯
¯
¯
¯ Ip (n, λ)f (z0 ) − 1¯ ¯ Ip (n + 1, λ)f (z0 ) − 1¯
¯
¯β
¯
¯
¯
¯ 2(1 − µ)w(z0 ) ¯γ+β ¯
m
¯
¯
¯
¯
=¯
¯1 + (p + λ)(1 + (1 − 2µ)w(z0 )) ¯
1 − w(z0 ) ¯
¯β
¯
¯
m
2γ+β (1 − µ)γ+β ¯¯
¯
1
+
=
¯
β+γ
iθ
(p + λ)(1 + (1 − 2µ)e ¯
|1 − eiθ |
µ
µ
¶β
¶β
m
1
≥ (1 − µ)β+γ 1 +
≥ (1 − µ)β+γ 1 +
2(p + λ)(1 − µ)
2(p + λ)(1 − µ)
µ
¶β
1
γ
= (1 − µ) 1 − µ +
2(p + λ)
which contradicts (3) for 0 ≤ α ≤ p2 . Therefore, we must have |w(z)| < 1 for all
z ∈ E, and hence f ∈ Sn (p, λ, α).
Case (ii). When p2 ≤ α < p. In this case, we must have 21 ≤ µ < 1, where
µ = αp . Let w be defined by
Ip (n + 1, λ)f (z)
µ
=
,
Ip (n, λ)f (z)
µ − (1 − µ)w(z)
z ∈ E,
µ
where w(z) 6= 1−µ
in E. Then w is analytic in E and w(0) = 0. Proceeding as in
Case (i) and using identity (6), we obtain
¯
¯γ ¯
¯β
¯ Ip (n + 1, λ)f (z)
¯ ¯ Ip (n + 2, λ)f (z)
¯
¯
¯
¯
¯
¯ Ip (n, λ)f (z) − 1¯ ¯ Ip (n + 1, λ)f (z) − 1¯
¯β
¯ ¯
¯
0
¯
¯ (1 − µ)w(z) ¯γ ¯¯ (1 − µ)w(z)
(1
−
µ)zw
(z)
¯
¯ ¯
+
= ¯¯
¯
¯
µ − (1 − µ)w(z) ¯ µ − (1 − µ)w(z) (p + λ)(µ − (1 − µ)w(z)) ¯
¯γ+β
¯β
¯
¯
¯
¯
1−µ
zw0 (z) ¯¯
γ ¯¯
¯
¯
=¯
|w(z)| ¯w(z) +
.
µ − (1 − µ)w(z) ¯
p+λ ¯
Suppose that there exists a point z0 ∈ E such that max|z|≤|z0 | |w(z)| = |w(z0 )| =
1, then by Lemma 2.1, we obtain w(z0 ) = eiθ and z0 w0 (z0 ) = mw(z0 ), m ≥ 1.
Therefore
¯γ ¯
¯β
¯
¯ ¯ Ip (n + 2, λ)f (z0 )
¯
¯ Ip (n + 1, λ)f (z0 )
¯
¯
¯
¯
¯ Ip (n, λ)f (z0 ) − 1¯ ¯ Ip (n + 1, λ)f (z0 ) − 1¯
µ
¶γ+β µ
¶β
m γ+β
(1 − µ)γ+β (1 + p+λ
)
α
1
≥
1
−
=
1
+
γ+β
p
p+λ
|µ − (1 − µ)eiθ |
which contradicts (3) for p2 ≤ α ≤ p. Therefore we must have |w(z)| < 1 for all
z ∈ E, and hence f ∈ Sn (p, λ, α). This completes the proof of our theorem.
91
On a class of multivalent functions
3. Deductions
For p = 1, Theorem 2.1 reduces to the following result:
Corollary 3.1. If, for all z ∈ E, a function f ∈ A satisfies
¯
¯γ ¯
¯β
¯ I1 (n + 1, λ)f (z)
¯ ¯ I1 (n + 2, λ)f (z)
¯
¯
¯
¯
¯
¯ I1 (n, λ)f (z) − 1¯ ¯ I1 (n + 1, λ)f (z) − 1¯

³
´β
1

 (1 − α)γ 1 − α + 2(1+λ)
, 0 ≤ α ≤ 1/2,
<
³
´β

 (1 − α)γ+β 1 + 1
,
1/2 ≤ α < 1,
1+λ
for some reals α (0 ≤ α < 1), β ≥ 0 and γ ≥ 0 with β + γ > 0, then f ∈ Sn (1, λ, α),
where n ∈ N0 .
Remark 3.1. Setting λ = 0 in Corollary 3.1, we obtain Theorem B.
Recently, Sivaprasad Kumar et. al. [8] proved the following result:
Theorem C. Let ψ be univalent in E, ψ(0) = 1, Re ψ(z) > 0 and
starlike in E. Suppose f ∈ Ap satisfies
zψ 0 (z)
ψ(z)
be
0
Ip (n + 2, λ)f (z)
zψ (z)
≺ ψ(z) +
.
Ip (n + 1, λ)f (z)
(p + λ)ψ(z)
Ip (n + 1, λ)f (z)
Then,
≺ ψ(z).
Ip (n, λ)f (z)
1+(1− 2α )z
p
Set ψ(z) =
, 0 ≤ α < p, p ∈ N, in Theorem C. Clearly ψ satisfies all
1−z
the conditions of above theorem. Thus, we obtain the following result:
If f ∈ Ap satisfies
1 + (1 − 2α
(1 − 2α
Ip (n + 2, λ)f (z)
p )z
p )z
≺
+
Ip (n + 1, λ)f (z)
1−z
(p + λ)(1 + (1 −
then
i.e.
,
2α
p )z)
1 + (1 − 2α
Ip (n + 1, λ)f (z)
p )z
≺
,
Ip (n, λ)f (z)
1−z
µ
¶
Ip (n + 1, λ)f (z)
α
Re
> .
Ip (n, λ)f (z)
p
Compare this result with the result below, which we get by writing γ = 0 and
β = 1 in Theorem 2.1:
Corollary 3.2. If, for all z ∈ E, a function f ∈ Ap satisfies
¯
¯ (
1
,
0 ≤ α ≤ p/2,
1 − αp + 2(p+λ)
¯ Ip (n + 2, λ)f (z)
¯
¯
¯<
−
1
¯ Ip (n + 1, λ)f (z)
¯
α
1
(1 − p )(1 + p+λ ), p/2 ≤ α < p,
µ
¶
Ip (n + 1, λ)f (z)
α
then Re
> , z ∈ E.
Ip (n, λ)f (z)
p
92
S. Singh, S. Gupta and S. Singh
Setting p = 1, λ = 1 and n = 0 in Theorem 2.1, we obtain the following result:
Corollary 3.3. If f ∈ A satisfies
¯ 0
¯γ ¯
¯β µ ¶
β
¯ zf (z)
¯ ¯ 2zf 0 (z) + z 2 f 00 (z)
¯
3
¯
¯ ¯
¯
− 1¯ ¯
− 1¯ <
(1 − α)γ+β ,
¯
0
¯ f (z)
¯ ¯ f (z) + zf (z)
¯
2
0 ≤ α < 1, z ∈ E,
for some β ≥ 0 and γ ≥ 0 with β + γ > 0, then f ∈ S ∗ (α).
Setting α = 0 in Corollary 3.3, we obtain the following criterion for starlikeness:
Corollary 3.4. For some non-negative real numbers β and γ with β + γ > 0,
if f ∈ A satisfies
¯ 0
¯γ ¯
¯β µ ¶
β
¯ zf (z)
¯ ¯ 2zf 0 (z) + z 2 f 00 (z)
¯
3
¯
¯ ¯
¯
<
− 1¯ ¯
−
1
, z ∈ E,
¯
¯
¯ f (z)
¯ ¯ f (z) + zf 0 (z)
¯
2
then f ∈ S ∗ .
In particular, for β = 1 and γ = 1, we obtain the following interesting criterion
for starlikeness:
Corollary 3.5. If f ∈ A satisfies
¯ 0
¯¯
¯
¯ zf (z)
¯ ¯ 2zf 0 (z) + z 2 f 00 (z)
¯ 3
¯
¯¯
¯
− 1¯ ¯
− 1¯ < ,
¯
0
¯ f (z)
¯ ¯ f (z) + zf (z)
¯ 2
z ∈ E,
then f ∈ S ∗ .
Setting λ = 0 and n = 0 in Theorem 2.1, we obtain the following sufficient
condition for a function f ∈ Ap to be a p-valent starlike function of order α.
Corollary 3.6. For all z ∈ E, if f ∈ Ap satisfies the condition

´γ ³
´β
¯β  ³
¯ 0
¯γ ¯ Ã
!
α
1
α
00
¯
¯ zf (z)
¯ ¯1

1
−
+
, 0 ≤ α ≤ p/2,
1
−
p
p
2p
zf (z)
¯
¯
¯ ¯
1+ 0
− 1¯ <
− 1¯ ¯
¯
³
´
³
´
γ+β
β
¯

¯ pf (z)
¯ ¯p
f (z)
 1− α
1 + p1 ,
p/2 ≤ α < p,
p
for some real numbers α, β and γ with 0 ≤ α < p, β ≥ 0, γ ≥ 0, β + γ > 0, then
f ∈ Sp∗ (α).
The substitution p = 1 in Corollary 3.6, yields the following result:
Corollary 3.7. If f ∈ A satisfies
¯ 0
¯γ ¯ 00
¯
(
¢β
γ¡
¯ zf (z)
¯ ¯ zf (z) ¯β
(1 − α) 32 − α
¯
¯ ¯
¯
−
1
<
¯
¯ ¯ 0
¯
γ+β β
¯ f (z)
¯ ¯ f (z) ¯
(1 − α)
2
, 0 ≤ α ≤ 1/2,
, 1/2 ≤ α < 1,
where z ∈ E and α, β, γ are real numbers with 0 ≤ α < 1, β ≥ 0, γ ≥ 0, β + γ > 0,
then f ∈ S ∗ (α).
93
On a class of multivalent functions
In particular, writing β = 1,γ = 1 and α = 0 in Corollary 3.7, we obtain the
following result of Li and Owa [5]:
Corollary 3.8. If f ∈ A satisfies
¯ 00
Ã
!¯
¯ zf (z) zf 0 (z)
¯ 3
¯
¯
−1 ¯< ,
¯ 0
¯ f (z)
¯ 2
f (z)
z ∈ E,
then f ∈ S ∗ .
Taking λ = 0 and n = 1 in Theorem 2.1, we get the following interesting
criterion for convexity of multivalent functions:
Corollary 3.9. If, for all z ∈ E, a function f ∈ Ap satisfies
¯γ ¯ Ã
¯β
¯ Ã
!
!
00
00
000
¯ ¯1
¯
¯1
zf (z)
2zf (z) + z 2 f (z)
¯ ¯
¯
¯
1+ 0
− 1¯ ¯
1+
− 1¯
¯
0
00
¯ ¯p
¯
¯p
f (z)
f (z) + f (z)
³
´γ ³
´β
1

 1 − αp
1 − αp + 2p
, 0 ≤ α ≤ p/2,
< ³
´γ+β ³
´β

 1− α
1 + p1 ,
p/2 ≤ α < p,
p
for some real numbers α, β and γ with 0 ≤ α < p, β ≥ 0, γ ≥ 0, β + γ > 0, then
f ∈ Kp (α).
Taking p = 1 in Corollary 3.9, we obtain the following sufficient condition for
convexity of univalent functions.
Corollary 3.10. For some non-negative real numbers α, β and γ, with
β + γ > 0 and α < 1, if f ∈ A satisfies
¯ 00
¯ ¯
¯
(
¢β
¡
¯ zf (z) ¯γ ¯ 2zf 00 (z) + z 2 f 000 (z) ¯β
(1 − α)γ 1 − α + 12 , 0 ≤ α ≤ 1/2,
¯
¯ ¯
¯
<
¯ 0
¯ ¯
¯
¯ f (z) ¯ ¯ f 0 (z) + f 00 (z) ¯
(1 − α)γ+β 2β ,
1/2 ≤ α < 1,
for all z ∈ E, then f ∈ K(α).
In particular, writing β = 1, γ = 1 and α = 0 in Corollary 3.10, we obtain the
following sufficient conditon for convexity of analytic functions:
Corollary 3.11. If f ∈ A satisfies
¯ 00
Ã
!¯
¯ zf (z) 2zf 00 (z) + z 2 f 000 (z) ¯ 3
¯
¯
¯ 0
¯< ,
¯ f (z)
¯ 2
f 0 (z) + f 00 (z)
z ∈ E,
then f ∈ K.
REFERENCES
[1] R. Aghalary, Rosihan M. Ali, S. B. Joshi and V. Ravichandran, Inequalities for analytic
functions defined by certain linear operators, International J. Math. Sci., 42 (2005), 267–274.
94
S. Singh, S. Gupta and S. Singh
[2] N. E. Cho and H. M. Srivastava, Argument estimates of certain analytic functions defined by
a class of multiplier transformations, Math. Comput. Modelling, 37 (2003), 39–49.
[3] N. E. Cho and T. H. Kim, Multiplier transformations and strongly close-to-convex functions,
Bull. Korean Math. Soc., 40 (2003), 399–410.
[4] I. S. Jack, Functions starlike and convex of order α, J. London Math. Soc., 3 (1971), 469–474.
[5] Li Jian and S. Owa, Properties of the Sălăgean operator, Georgian Math. J., 5,4 (1998),
361–366.
[6] S. Owa, C. Y. Shen, and M.Obradović, Certain subclasses of analytic functions, Tamkang J.
Math., 20 (1989), 105–115.
[7] G. S. Sălăgean, Subclasses of univalent functions, Lecture Notes in Math., 1013, 362–372,
Springer-Verlag, Heideberg, 1983.
[8] S. Sivaprasad Kumar, V. Ravichandran and H. C. Taneja, Classes of multivalent functions
defined by Dziok-Srivastava linear operators, Kyungpook Math. J., 46 (2006), 97–109.
[9] B. A. Uralegaddi and C. Somanatha, Certain classes of univalent functions, in Current Topics
in Analytic Function Theory, H. M. Srivastava and S. Owa (ed.), World Scientific, Singapore,
(1992), 371–374.
(received 15.01.2007, in revised form 19.03.2008)
Sukhwinder Singh, Department of Applied Sciences, B.B.S.B.Engineering College, Fatehgarh
Sahib-144 407 (Punjab), INDIA.
Sushma Gupta, Department of Mathematics, Sant Longowal Institute of Engineering & Technology, Longowal-148 106 (Punjab), INDIA, E-mail: sushmagupta1@yahoo.com
Sukhjit Singh, Department of Mathematics, Sant Longowal Institute of Engineering & Technology,
Longowal – 148 106 (Punjab), INDIA
Download