JJ II

(1)

volume 5, issue 3, article 57, 2004.

Received 18 April, 2004;

accepted 25 May, 2004.

Communicated by:Th.M. Rassias

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

A SUFFICIENT CONDITION FOR STARLIKENESS OF ANALYTIC FUNCTIONS OF KOEBE TYPE

MUHAMMET KAMALI AND H.M. SRIVASTAVA

Matematik Bölümü Fen-Edebiyat Fakültesi

Atatürk Üniversitesi, TR-25240 Erzurum Turkey.

EMail:mkamali@atauni.edu.tr

Department of Mathematics and Statistics University of Victoria

Victoria, British Columbia V8W 3P4 Canada

EMail:harimsri@math.uvic.ca

c

2000Victoria University ISSN (electronic): 1443-5756 102-04

(2)

A Sufficient Condition for Starlikeness of Analytic Functions of Koebe Type

Muhammet Kamali and H.M. Srivastava

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of17

J. Ineq. Pure and Appl. Math. 5(3) Art. 57, 2004

http://jipam.vu.edu.au

Abstract

By making use of Jack’s Lemma as well as several differential and other inequalities (and parametric constraints), the authors derive sufficient conditions for starlikeness of a certain class ofn-fold symmetric analytic functions of Koebe type. Relevant connections of the results presented here with those given in earlier works are also indicated.

2000 Mathematics Subject Classification: Primary 30C45; Secondary 30A10, 30C80.

Key words: Differential inequalities,n-fold symmetric functions, analytic functions of Koebe type, starlike functions, strongly starlike functions, Jack’s Lemma.

The present investigation was supported, in part, by the Natural Sciences and Engi- neering Research Council of Canada under Grant OGP0007353.

1. Introduction, Definitions and Preliminaries

LetAdenote the class of functionsf which are analytic in the open unit disk U={z :z ∈C and |z|<1}

and normalized by

f(0) =f⁰(0)−1 = 0.

Also, as usual, let (1.1) S^∗ =

f :f ∈ A and R

zf⁰(z) f(z)

>0 (z ∈U)

and

(1.2) S˜^∗(α)

=

f :f ∈ A and

arg

zf⁰(z) f(z)

< απ

2 (z ∈U; 0 < α51)

be the familiar classes of starlike functions inUand strongly starlike functions of orderαinU(0< α51),respectively. We note that

S˜^∗(α)⊂ S^∗ (0< α <1) and S˜^∗(1) ≡ S^∗. We denote byH(α)the class of functionsf ∈ Adefined by (1.3) H(α) :=

f :f ∈ A and R

αz² f⁰⁰(z)

f(z) +z f⁰(z) f(z)

>0 f(z)

z 6= 0; z ∈U; α=0

,

(4)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of17

so that, as already observed by Ramesha et al. [6], we have the following inclu- sion relationships (cf. [6]):

(1.4) H(α)⊂ S^∗ and H(1)⊂S˜^∗ 1

2

.

In fact, a sharper inclusion relationship than the second one in (1.4) was given subsequently by Nunokawa et al. [4] as follows:

(1.5) H(1) ⊂S˜^∗(β)

β < 1

2

.

Obradovi´c and Joshi [5], on the other hand, made use of the method of differential inequalities in order to derive several other related results for classes of strongly starlike functions inU.

Motivated essentially by the aforementioned earlier works, we aim here at deriving sufficient conditions for starlikeness of an n-fold symmetric function f_b(z)of Koebe type, defined by

(1.6) f_b(z) := z

(1−zⁿ)^b (b =0; n∈N:={1,2,3, . . .}), which obviously corresponds to the familiar Koebe function when

n= 1 and b = 2.

The following result (popularly known as Jack’s Lemma) will also be re- quired in the derivation of our main result (Theorem1below).

(5)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of17

Lemma 1 (Jack [2]). Let the(nonconstant)functionw(z)be analytic in|z|<

ρwithw(0) = 0. If|w(z)|attains its maximum value on the circle|z|=r < ρ at a pointz₀,then

z₀w⁰(z₀) = kw(z₀), wherekis a real number andk=1.

(6)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of17

2. The Main Result and Its Consequences

We begin by proving a stronger result than what we indicated in the preceding section.

Theorem 1. Let then-fold symmetric functionf_b(z), defined by(1.6), be ana- lytic inUwith

f_b(z)

z 6= 0 (z ∈U). (i) Iff_b(z)satisfies the inequality:

(2.1) R

αz²f_b⁰⁰(z)

f_b(z) + zf_b⁰(z) f_b(z)

>− αnb 4 +

1− nb

2 1−αnb 2

(z ∈U), thenfb(z)is starlike inUfor

α >0 and 3α+ 2−√

∆

2α 5nb5 3α+ 2 +√

∆ 2α

∆ := 9α²−4α+ 4 .

(ii) Iff_b(z)satisfies the inequality(2.1)withα = 0, that is, if

(2.2) R

zf_b⁰(z) f_b(z)

>1− nb

2 (z ∈U), thenfb(z)is starlike inUfor05nb52.

(7)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of17

Proof. (i) Letα >0andf_b(z)satisfy the hypotheses of Theorem1. We put zf_b⁰(z)

f_b(z) = 1 + (nb−1)w(z) 1−w(z) , wherew(z)is analytic inUwith

w(0) = 0 and w(z)6= 1 (z ∈U). Then we have

{f_b⁰(z) +zf_b⁰⁰(z)}f_b(z)−z{f_b⁰(z)}² {f_b(z)}²

= (nb−1)w⁰(z){1−w(z)}+w⁰(z){1 + (nb−1)w(z)}

{1−w(z)}² ,

which implies that (2.3) z f_b⁰⁰(z)

fb(z) +f_b⁰(z) fb(z)−z

f_b⁰(z) fb(z)

2

= nbw⁰(z) {1−w(z)}². On the other hand, we can write

z² f_b⁰⁰(z)

fb(z) = nbzw⁰(z)

{1−w(z)}² − 1 + (nb−1)w(z) 1−w(z) +

1 + (nb−1)w(z) 1−w(z)

2

,

that is, αz² f_b⁰⁰(z)

f_b(z) =α

"

nbzw⁰(z) {1−w(z)}² +

1 + (nb−1)w(z) 1−w(z)

2#

−α·1 + (nb−1)w(z) 1−w(z) ,

(8)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of17

which, in turn, implies that (2.4) αz² f_b⁰⁰(z)

f_b(z) +z f_b⁰(z) f_b(z) = α

"

nbzw⁰(z) {1−w(z)}² +

1 + (nb−1)w(z) 1−w(z)

2#

+ (1−α)1 + (nb−1)w(z) 1−w(z) . Now we claim that|w(z)| < 1 (z ∈U). If there exists az₀ inU such that

|w(z₀)|= 1,then (by Jack’s Lemma) we have

z₀w⁰(z₀) = kw(z₀) (k =1). By setting

w(z₀) =e^iθ (05θ <2π), we thus find that

R

αz₀²f_b⁰⁰(z0)

f_b(z₀) +z₀f_b⁰(z0) f_b(z₀)

=R α

"

nbz₀w⁰(z₀) (1−w(z₀))² +

1 + (nb−1)w(z₀) 1−w(z₀)

2#

+(1−α)1 + (nb−1)w(z₀) 1−w(z₀)

=R α

"

nbke^iθ (1−e^iθ)² +

1 + (nb−1)e^iθ 1−e^iθ

2#

+ (1−α)1 + (nb−1)e^iθ 1−e^iθ

!

(9)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of17

=α







−nbk 4 sin²

θ 2

+

1− nb 2

2

− n²b² 4

1 + cosθ 1−cosθ







+ (1−α)

1− nb 2

=−αnb 4







k+nbcos² θ

2

sin² θ

2





 +

1− nb

2 1− αnb 2

5−αnb 4 +

1−nb

2 1− αnb 2

(z ∈U), sincek=1.

If we let R

αz₀² f_b⁰⁰(z₀)

fb(z0) +z₀ f_b⁰(z₀) fb(z0)

5−αnb 4 +

1− nb

2 1− αnb 2

(2.5)

= 1 4

α(nb)²−(3α+ 2)(nb) + 4

=:ϑ(nb) (z∈U), then

ϑ(nb)50 3α+ 2−√

∆

2α 5nb5 3α+ 2 +√

∆

2α ; ∆ := 9α²−4α+ 4

! .

Thus we have

(2.6) R

αz₀² f_b⁰⁰(z₀)

f_b(z₀) +z₀ f_b⁰(z₀) f_b(z₀)

50 (z ∈U)

(10)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page10of17

3α+ 2−√

∆

2α 5nb5 3α+ 2 +√

∆

2α ; ∆ := 9α²−4α+ 4

! , which is a contradiction to the hypotheses of Theorem2.

Therefore, |w(z)| < 1for all z in U. Hencef_b(z)is starlike inU, thereby proving the assertion (i) of Theorem1.

(ii) The proof of the assertion (ii) of Theorem1was given by Fukui et al. [1], and so we omit the details here.

Corollary 1. The following inclusion relationship holds true:

H_b(α) :=

(

f_b :f_b ∈ A and R

αz² f_b⁰⁰(z)

fb(z) +z f_b⁰(z) fb(z)

>0

f_b(z)

z 6= 0; z∈U; α=0 )

⊂ S^∗

for then-fold symmetric functionf_b(z)defined by(1.6).

(11)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page11of17

3. Applications of Differential Inequalities

In this section, we apply the following known result involving differential inequalities with a view to deriving several further sufficient conditions for starlikeness of then-fold symmetric functionf_b(z)defined by (1.6).

Lemma 2 (Miller and Mocanu [3]). LetΘ (u, v)be a complex-valued function such that

Θ :D→C (D⊂C×C), Cbeing(as usual)the complex plane,and let

u=u₁+iu₂ and v =v₁ +iv₂.

Suppose that the functionΘ (u, v)satisfies each of the following conditions:

(i) Θ (u, v)is continuous inD; (ii) (1,0)∈DandR(Θ (1,0)) >0;

(iii) R(Θ (iu2, v1))50for all(iu2, v1)∈Dsuch that v₁ 5− 1

2 1 +u²₂ .

Let

p(z) = 1 +p₁z+p₂z²+· · · be analytic(regular)inUsuch that

p(z), zp⁰(z)

∈D (z ∈U).

(12)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page12of17

If

R Θ (p(z), zp⁰(z))

>0 (z ∈U), then

R p(z)

>0 (z ∈U). Let us now consider the following implication:

R

αz² f_b⁰⁰(z)

f_b(z) +z f_b⁰(z) f_b(z)

>− αnb 4 +

1−nb

2 1− αnb 2

⇒R

z f_b⁰(z) f_b(z)

µ!

>0 (3.1)

z ∈U; − αnb 4 +

1−nb

2 1− αnb 2

<1; α=0; µ=1

! . If we put

p(z) =

z f_b⁰(z) f_b(z)

µ

,

then (3.1) is equivalent to (3.2) R α

µ{p(z)}^(1−µ)/µ zp⁰(z) +α{p(z)}^2/µ

+ (1−α){p(z)}^1/µ+ αnb 4 −

1−nb

2 1− αnb 2

!

>0

⇒R p(z)

>0 (z ∈U).

(13)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page13of17

By setting

p(z) =u and zp⁰(z) = v, and letting

Θ(u, v) = α

µu^(1−µ)/µv+αu^2/µ+(1−α)u^1/µ+αnb 4 −

1− nb

2 1−αnb 2

,

it is easy to show that, for

α=0 and µ=1, we have

(i) Θ(u, v)is continuous inD= (C\ {0})×C; (ii) (1,0)∈Dand

R Θ(1,0)

= 3αnb 4 +nb

2 − αn²b² 4 >0, since

− αnb 4 +

1− nb

2 1−αnb 2

<1.

Thus the conditions (i) and (ii) of Lemma2are satisfied. Moreover, for (iu₂, v₁)∈D such that v₁ 5− 1

2 1 +u²₂ ,

(14)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page14of17

we obtain R θ(iu₂, v₁)

= α

µ|u2|^(1−µ)/µ v1cos

(1−µ)π 2µ

+α|u2|^2/µcos π

µ

+ (1−α)|u2|^1/µ cos π

2µ

+ αnb 4 −

1−nb

2 1− αnb 2

5− α

2µ(1 +u²₂)|u2|^(1−µ)/µ sin π

2µ

+α|u2|^2/µ cos π

µ

+ (1−α)|u2|^1/µ cos π

2µ

+ αnb 4 −

1−nb

2 1− αnb 2

,

which, upon putting|u₂|=s(s >0), yields

(3.3) R Θ (iu₂, v₁)

5Φ(s), where

(3.4) Φ(s) := − α

2µ(1 +s²)s^(1−µ)/µ sin π

2µ

+αs^2/µ cos π

µ

+ (1−α)s^1/µ cos π

2µ

+αnb 4 −

1− nb

2 1−αnb 2

.

Remark. If, for some choices of the parametersα, µ,andnb,we find that Φ (s)50 (s >0),

(15)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page15of17

then we can conclude from(3.3)and Lemma2that the corresponding implica- tion(3.1)holds true.

First of all, for the choice:

µ= 1 and nb= 2, we obtain

Theorem 2. If the n-fold symmetric functionf_b(z),defined by(1.6)and ana- lytic inUwith

f_b(z)

z 6= 0 (z ∈U), satisfies the following inequality:

(3.5) R

αz² f_b⁰⁰(z)

>− α

2 (z ∈U), thenfb ∈ S^∗for any realα=0.

Proof. Forµ= 1andnb= 2,we find from (3.4) that Φ(s) = − 3

2αs² 50 (s ∈R), which implies Theorem2in view of the above remark.

Next, for

α= 2

3, nb= 3±√

3, and µ= 2, we get

(16)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page16of17

Theorem 3. If the n-fold symmetric functionf_b(z),defined by(1.6)and ana- lytic inUwith

f_b(z)

z 6= 0 (z ∈U), satisfies the following inequality:

(3.6) R

2

3 z² f_b⁰⁰(z)

>0 (z ∈U),

then

arg

zf_b⁰(z) f_b(z)

< π

4 (z ∈U) or,equivalently,

H_b 2

3

⊂S˜^∗ 1

2

. Proof. By setting

α = 2

3, nb= 3±√

3, and µ= 2 in (3.4), we have

Φ(s) =− (1−s)² 6√

2s 50 (s >0), which leads us to Theorem3just as in the proof of Theorem2.

(17)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page17of17

References

[1] S. FUKUI, S. OWA AND K. SAKAGUCHI, Some properties of analytic functions of Koebe type, in Current Topics in Analytic Function Theory (H.M. Srivastava and S. Owa, Editors), World Scientific Publishing Com- pany, Singapore, New Jersey, London and Hong Kong, 1992, pp. 106–117.

[2] I.S. JACK, Functions starlike and convex of order α, J. London Math. Soc.

(Ser. 2), 3 (1971), 469–474.

[3] S.S. MILLER AND P.T. MOCANU, Second order differential inequalities in the complex plane, J. Math. Anal. Appl., 65 (1978), 289–305.

[4] M. NUNOKAWA, S. OWA, S.K. LEE, M. OBRADOVI ´C, M.K. AOUF, H.

SAITOH, A. IKEDAANDN. KOIKE, Sufficient conditions for starlikeness, Chinese J. Math., 24 (1996), 265–271.

[5] M. OBRADOVI ´CANDS.B. JOSHI, On certain classes of strongly starlike functions, Taiwanese J. Math., 2 (1998), 297–302.

[6] C. RAMESHA, S. KUMAR AND K.S. PADMANABHAN, A sufficient condition for starlikeness, Chinese J. Math., 23 (1995), 167–171.