Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and
Applied Mathematics
http://jipam.vu.edu.au/
Volume 3, Issue 5, Article 81, 2002
SUFFICIENT CONDITIONS FOR STARLIKE FUNCTIONS OF ORDER α
V. RAVICHANDRAN, C. SELVARAJ, AND R. RAJALAKSMI
D EPARTMENT OF M ATHEMATICS AND C OMPUTER A PPLICATIONS
S RI V ENKATESWARA C OLLEGE OF E NGINEERING
P ENNALUR 602 105, I NDIA .
vravi@svce.ac.in
D EPARTMENT OF M ATHEMATICS
L N G OVERNMENT C OLLEGE
P ONNERI , 601 204, I NDIA .
D EPARTMENT OF M ATHEMATICS
L OYOLA C OLLEGE
C HENNAI 600 034, I NDIA .
Received 5 June, 2002; accepted 4 November, 2002
Communicated by H.M. Srivastava
Dedicated to the memory of Prof. K.S. Padmanabhan
A BSTRACT. In this paper, we obtain some sufficient conditions for an analytic function f (z),
defined on the unit disk 4, to be starlike of order α.
Key words and phrases: Starlike function of order α, Univalent function.
2000 Mathematics Subject Classification. 30C45.
1. I NTRODUCTION
Let An be the class of all functions f (z) = z + an+1 z n+1 + · · · which are analytic in 4 =
{z; |z| < 1} and let A1 = A. A function f (z) ∈ A is starlike of order α, if
0 zf (z)
Re
> α, 0 ≤ α < 1,
f (z)
for all z ∈ 4. The class of all starlike functions of order α is denoted by S ∗ (α). We write S ∗ (0)
simply as S ∗ . Recently, Li and Owa [3] proved the following:
ISSN (electronic): 1443-5756
c 2002 Victoria University. All rights reserved.
The authors are thankful to the referee for his comments and suggestions.
067-02
2
V. R AVICHANDRAN , C. S ELVARAJ , AND R. R AJALAKSMI
Theorem 1.1. If f (z) ∈ A satisfies
0
zf (z)
zf 00 (z)
α
Re
α 0
+1
>− ,
f (z)
f (z)
2
z ∈ 4,
for some α (α ≥ 0), then f (z) ∈ S ∗ .
In fact, Lewandowski, Miller and Zlotkiewicz [1] and Ramesha, Kumar, and Padmanabhan
[7] have proved a weaker form of the above theorem. If the number −α/2 is replaced by
−α2 (1 − α)/4, (0 ≤ α < 2) in the above condition, Li and Owa [3] have proved that f (z) is in
S ∗ (α/2).
Li and Owa [3] have also proved the following:
Theorem 1.2. If f (z) ∈ A satisfies
00
zf (z) zf 0 (z)
< ρ,
−
1
f 0 (z)
f (z)
z ∈ 4,
where ρ = 2.2443697, then f (z) ∈ S ∗ .
The above theorem with ρ = 3/2 and ρ = 1/6 were earlier proved by Li and Owa [2] and
Obradovic [6] respectively.
In this paper, we obtain some sufficient conditions for functions to be starlike of order β. To
prove our result, we need the following:
Lemma 1.3. [4] Let Ω be a set in the complex plane C and suppose that Φ is a mapping from
C 2 × 4 to C which satisfies Φ(ix, y; z) 6∈ Ω for z ∈ 4, and for all real x, y such that y ≤
−n(1 + x2 )/2. If the function p(z) = 1 + cn z n + · · · is analytic in 4 and Φ(p(z), zp0 (z); z) ∈ Ω
for all z ∈ 4, then Re p(z) > 0.
2. S UFFICIENT C ONDITIONS FOR S TARLIKENESS
In this section, we prove some sufficient conditions for function to be starlike of order β.
Theorem 2.1. If f (z) ∈ An satisfies
0
h
i h
zf (z)
zf 00 (z)
n
αn i
Re
α 0
+1
> αβ β + − 1 + β −
, z ∈ 4, 0 ≤ α, β ≤ 1,
f (z)
f (z)
2
2
then f (z) ∈ S ∗ (β).
Proof. Define p(z) by
(1 − β)p(z) + β =
zf 0 (z)
.
f (z)
Then p(z) = 1 + cn z n + · · · and is analytic in 4. A computation shows that
zf 00 (z)
(1 − β)zp0 (z) + [(1 − β)p(z) + β]2 − [(1 − β)p(z) + β]
=
f 0 (z)
(1 − β)p(z) + β
J. Inequal. Pure and Appl. Math., 3(5) Art. 81, 2002
http://jipam.vu.edu.au/
S TARLIKE F UNCTIONS
3
and hence
zf 0 (z)
zf 00 (z)
α 0
+ 1 = α(1 − β)zp0 (z) + α(1 − β)2 p2 (z)
f (z)
f (z)
+ (1 − β)(1 + 2αβ − α)p(z) + β[αβ + 1 − α]
= Φ(p(z), zp0 (z); z),
where
Φ(r, s; t) = α(1 − β)s + α(1 − β)2 r2 + (1 − β)(1 + 2αβ − α)r + β[αβ + 1 − α].
For all real x and y satisfying y ≤ −n(1 + x2 )/2, we have
Re Φ(ix, y; z) = α(1 − β)y − α(1 − β)2 x2 + β[αβ + 1 − α]
h nα
i
α
≤ − (1 − β)n −
(1 − β) + α(1 − β)2 x2 + β[αβ + 1 − α]
2
2
α
α(1 − β)
= − (1 − β)n −
(n + 2 − 2β)x2 + β(αβ + 1 − α)
2
2
α
≤ β(αβ + 1 − α) − (1 − β)n
2
n
nα = αβ β + − 1 + β −
.
2
2
Let Ω = w; Re w > αβ β + n2 − 1 + β − nα
. Then Φ(p(z), zp0 (z); z) ∈ Ω and
2
Φ(ix, y; z) 6∈ Ω for all real x and y ≤ −n(1 + x2 )/2, z ∈ 4. By an application of Lemma 1.3,
the result follows.
By taking β = 0 and n = 1 in the above theorem, we have the following:
Corollary 2.2. [3] If f (z) ∈ A satisfies
0
zf 00 (z)
α
zf (z)
+1
>− ,
Re
α 0
f (z)
f (z)
2
z ∈ 4,
for some α (α ≥ 0), then f (z) ∈ S ∗ .
If we take β = α/2 and n = 1, we get the following:
Corollary 2.3. [3] If f (z) ∈ A satisfies
0
zf (z)
zf 00 (z)
α2
Re
α 0
+1
> − (1 − α),
f (z)
f (z)
4
z ∈ 4,
for some α (0 < α ≤ 2), then f (z) ∈ S ∗ (α/2).
In fact, in the proof of the above theorem, we have proved the following: If p(z) = 1+cn z n +
· · · is analytic in 4 and satisfies
Re(α(1 − β)zp0 (z) + α(1 − β)2 p2 (z) + (1 − β)(1 + 2αβ − α)p(z) + β[αβ + 1 − α])
h
i n
αn > αβ β + − 1 + β −
,
2
2
then Re p(z) > 0. Using a method similar to the one used in the above theorem, we have the
following:
J. Inequal. Pure and Appl. Math., 3(5) Art. 81, 2002
http://jipam.vu.edu.au/
4
V. R AVICHANDRAN , C. S ELVARAJ , AND R. R AJALAKSMI
Theorem 2.4. Let α ≥ 0, 0 ≤ β < 1. If f (z) ∈ An satisfies
f (z)
zf 0 (z)
n
Re
α
+1−α
> − α(1 − β) + β,
z
f (z)
2
z ∈ 4,
then
Re
f (z)
> β.
z
As a special case, we get the following: If f (z) ∈ A satisfies
α
Re {f 0 (z) + αzf 00 (z)} > − ,
2
z ∈ 4,
α ≥ 0, then
Re f 0 (z) > 0.
However, a sharp form of this result was proved by Nunokawa and Hoshino [5].
Theorem 2.5. Let 0 ≤ β < 1, a = (n/2 + 1 − β)2 and b = (n/2 + β)2 satisfy (a + b)β 2
< b(1 − 2β). Let t0 be the positive real root of the equation
2a(1 − β)2 t2 + [3aβ 2 + b(1 − β)2 ]t + [(a + 2b)β 2 − (1 − β)2 b] = 0
and
ρ2 =
(1 − β)3 (1 + t0 )2 (at0 + b)
.
β 2 + (1 − β)2 t0
If f (z) ∈ An satisfies
00
zf (z) zf 0 (z)
≤ ρ,
−
1
f 0 (z)
f (z)
z ∈ 4,
then f (z) ∈ S ∗ (β).
Proof. Define p(z) by
(1 − β)p(z) + β =
zf 0 (z)
.
f (z)
Then p(z) = 1 + cn z n + · · · and is analytic in 4. A computation shows that
zf 00 (z)
(1 − β)zp0 (z) + [(1 − β)p(z) + β]2 − [(1 − β)p(z) + β]
=
f 0 (z)
(1 − β)p(z) + β
and hence
zf 00 (z)
f 0 (z)
zf 0 (z)
−1
f (z)
(1 − β)(p(z) − 1)
=
[(1 − β)zp0 (z) + [(1 − β)p(z) + β]2 − [(1 − β)p(z) + β)]]
(1 − β)p(z) + β
≡ Φ(p(z), zp0 (z); z).
J. Inequal. Pure and Appl. Math., 3(5) Art. 81, 2002
http://jipam.vu.edu.au/
S TARLIKE F UNCTIONS
5
Then, for all real x and y satisfying y ≤ −n(1 + x2 )/2, we have
|Φ(ix, y; z)|2
(1 − β)2 (1 + x2 ) = 2
[(1 − β)y − β + β 2 − (1 − β)2 x2 ]2
2
2
β + (1 − β) x
+[2β(1 − β) − (1 − β)]2 x2
=
(1 − β)2 (1 + t)
{[(1 − β)y − β + β 2 − (1 − β)2 t]2
2
2
β + (1 − β) t
+ [2β(1 − β) − (1 − β)]2 t}
≡ g(t, y),
where t = x2 > 0 and y ≤ −n(1 + t)/2. Since
∂g
(1 − β)3 (1 + t)
= 2
[(1 − β)y − β + β 2 − (1 − β)2 t]2 < 0,
∂y
β + (1 − β)2 t
we have
n
g(t, y) ≥ g t, − (1 + t) ≡ h(t).
2
Note that
2 n
2 (1 − β)3 (1 + t)2 n
h(t) = 2
t
+1−β +
+β
.
β + (1 − β)2 t
2
2
Also it is clear that h0 (−1) = 0 and the other two roots of h0 (t) = 0 are given by
2a(1 − β)2 t2 + [3aβ 2 + b(1 − β)2 ]t + [(a + 2b)β 2 − (1 − β)2 b] = 0,
where a = (n/2 + 1 − β)2 and b = (n/2 + β)2 . Since t0 is the positive root of this equation we
have h(t) ≥ h(t0 ) and hence
|Φ(ix, y; z)|2 ≥ h(t0 ).
Define Ω = {w; |w| < ρ}. Then Φ(p(z), zp0 (z); z) ∈ Ω and Φ(ix, y; z) 6∈ Ω for all real x and
y ≤ −n(1 + x2 )/2, z ∈ 4. Therefore by an application of Lemma 1.3, the result follows.
√
If we take n = 1, β = 0, we have t0 =
73−1
36
and therefore we have the following:
Corollary 2.6. [3] If f (z) ∈ A satisfies
00
zf (z) zf 0 (z)
− 1 < ρ,
f 0 (z)
f (z)
where ρ2 =
√
827+73 73
,
288
z ∈ 4,
then f (z) ∈ S ∗ .
R EFERENCES
[1] Z. LEWANDOWSKI, S.S. MILLER AND E. ZŁOTKIEWICZ, Generating functions for some
classes of univalent functions, Proc. Amer. Math. Soc., 56 (1976), 111–117.
[2] J.-L. LI AND S. OWA, Properties of the Salagean operator, Georgian Math. J., 5(4) (1998), 361–366.
[3] J.-L. LI AND S. OWA, Sufficient conditions for starlikeness, Indian J. Pure Appl. Math., 33 (2002),
313–318.
[4] S.S. MILLER AND P.T. MOCANU, Differential subordinations and inequalities in the complex
plane, J. Differ. Equations, 67 (1987), 199–211.
J. Inequal. Pure and Appl. Math., 3(5) Art. 81, 2002
http://jipam.vu.edu.au/
6
V. R AVICHANDRAN , C. S ELVARAJ , AND R. R AJALAKSMI
[5] M. NUNOKAWA AND S. HOSHINO, One criterion for multivalent functions, Proc. Japan Acad.,
Ser. A, 67 (1991), 35–37.
[6] M. OBRADOVIĆ, Ruscheweyh derivatives and some classes of univalent functions, in: Current
Topics in Analytic Function Theory, (H.M. Srivastava and S. Owa, Editors), World Sci. Publishing,
River Edge, NJ, 1992, pp. 220–233.
[7] C. RAMESHA, S. KUMAR AND K.S. PADMANABHAN, A sufficient condition for starlikeness,
Chinese J. Math., 23 (1995), 167–171.
J. Inequal. Pure and Appl. Math., 3(5) Art. 81, 2002
http://jipam.vu.edu.au/