SUFFICIENT CONDITIONS FOR STARLIKENESS AND CONVEXITY IN |z| < 1 2

(1)

Conditions for Starlikeness and Convexity

Mamoru Nunokawa, Shigeyoshi Owa, Yayoi Nakamura and Toshio Hayami

vol. 9, iss. 2, art. 32, 2008

Title Page

Contents

JJ II

J I

Page1of 12 Go Back Full Screen

Close

SUFFICIENT CONDITIONS FOR STARLIKENESS AND CONVEXITY IN |z| <

¹₂

MAMORU NUNOKAWA

University of Gunma

798-8 Hoshikuki-machi, Chuo-ku, Chiba-shi Chiba 260-0808, Japan

EMail:mamoru_nuno@doctor.nifty.jp

SHIGEYOSHI OWA, YAYOI NAKAMURA AND TOSHIO HAYAMI

Department of Mathematics, Kinki University Higashi-Osaka, Osaka 577-8502, Japan

EMail:owa@math.kindai.ac.jp yayoi@math.kindai.ac.jp ha_ya_to112@hotmail.com Received: 18 February, 2008

Accepted: 04 June, 2008

Communicated by: A. Sofo 2000 AMS Sub. Class.: Primary 30C45.

Key words: Analytic, Starlike, Convex.

Abstract: For analytic functionsf(z)withf(0) =f⁰(0)−1 = 0in the open unit discE, T. H. MacGregor has considered some conditions forf(z)to be starlike or convex. The object of the present paper is to discuss some interesting problems forf(z)to be starlike or convex for|z|< ¹₂. Acknowledgements: We would like to thank the referee for his very useful suggestions

which essentially improved this paper.

(2)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Close

1. Introduction

LetAdenote the class of functionsf(z)of the form f(z) =z+

∞

X

n=2

a_nzⁿ

which are analytic in the open unit discE ={z ∈C : |z|< 1}. A functionf ∈ A is said to be starlike with respect to the origin inEif it satisfies

Re

zf⁰(z) f(z)

>0 (z∈E).

Also, a functionf ∈ Ais called as convex inEif it satisfies Re

1 + zf⁰⁰(z) f⁰(z)

>0 (z ∈E).

MacGregor [2] has shown the following.

Theorem A. Iff ∈ Asatisfies

f(z)

z −1

<1 (z∈E),

then

zf⁰(z) f(z) −1

<1

|z|< 1 2

so that

Re

zf⁰(z) f(z)

>0

|z|< 1 2

. Therefore,f(z)is univalent and starlike for|z|< ¹₂.

(4)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Close

Also, MacGregor [3] had given the following results.

Theorem B. Iff ∈ Asatisfies

|f⁰(z)−1|<1 (z ∈E), then

Re

1 + zf⁰⁰(z) f⁰(z)

> 0 for|z|< 1 2. Therefore,f(z)is convex for|z|< ¹₂.

Theorem C. Iff ∈ Asatisfies

|f⁰(z)−1|<1 (z ∈E), thenf(z)maps|z|< ²

√ 5

5 = 0.8944. . . onto a domain which is starlike with respect to the origin,

argzf⁰(z) f(z)

< π

2 for|z|< 2√ 5 5 or

Re zf⁰(z)

f(z) >0 for|z|< 2√ 5 5 .

The condition domains of Theorem A, Theorem B and Theorem C are some circular domains whose center is the pointz = 1.

It is the purpose of the present paper to obtain some sufficient conditions for starlikeness or convexity under the hypotheses whose condition domains are annular domains centered at the origin.

(5)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Close

2. Starlikeness and Convexity

We start with the following result for starlikeness of functionsf(z).

Theorem 2.1. Letf ∈ Aand suppose that 0.10583· · ·= exp

− π² 4 log 3

(2.1)

<

zf⁰(z) f(z)

<exp π²

4 log 3

= 9.44915. . . (z ∈E).

Thenf(z)is starlike for|z|< ¹₂.

Proof. From the assumption (2.1), we get

f(z)6= 0 (0<|z|<1).

From the harmonic function theory (cf. Duren [1]), we have log

zf⁰(z) f(z)

= 1 2π

Z

|ζ|=R

log

ζf⁰(ζ) f(ζ)

ζ+z

ζ−zdϕ+iarg

zf⁰(z) f(z)

z=0

= 1 2π

Z

|ζ|=R

log

zf⁰(ζ) f(ζ)

ζ+z ζ−zdϕ where|z|=r <|ζ|=R <1,z =re^iθ andζ =Re^iϕ.

(6)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Page6of 12 Go Back Full Screen

Close

It follows that

arg

zf⁰(z) f(z)

=

1 2π

Z

|ζ|=R

log

ζf⁰(ζ) f(ζ)

Imζ+z ζ−z

dϕ

≤ 1 2π

Z 2π

0

log

ζf⁰(ζ) f(ζ)

2Rrsin(ϕ−θ) R²−2Rrcos(ϕ−θ) +r²

dϕ

< π² 4 log 3

1 2π

Z 2π

0

2Rr|sin(ϕ−θ)|

R²−2Rrcos(ϕ−θ) +r²dϕ

= π² 4 log 3

2

πlog R+r R−r. LettingR →1, we have

argzf⁰(z) f(z)

< π

2 log 3log 1 +r 1−r

< π

2 log 3log 3

= π 2

|z|=r < 1 2

. This completes the proof of the theorem.

Next we derive the following

(7)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Close

Theorem 2.2. Letf ∈ Aand suppose that 0.472367. . .= exp

−3 4

(2.2)

<

f(z) z

<exp 3

4

= 2.177. . . (z ∈E).

Then we have

zf⁰(z) f(z) −1

<1

|z|< 1 2

, orf(z)is starlike for|z|< ¹₂.

Proof. From the assumption (2.2), we have

f(z)6= 0 (0<|z|<1).

Applying the harmonic function theory (cf. Duren [1]), we have log

f(z) z

= 1 2π

Z

|ζ|=R

log

f(ζ) ζ

ζ+z ζ−zdϕ, where|z|=r <|ζ|=R <1,z =re^iθ andζ =Re^iϕ.

Then, it follows that zf⁰(z)

f(z) −1 = 1 2π

Z

|ζ|=R

log

f(ζ) ζ

2ζz (ζ−z)²dϕ.

(8)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Close

This gives us

zf⁰(z) f(z) −1

≤ 1 2π

Z

|ζ|=R

log

f(ζ) ζ

2Rr

R² −2Rrcos(ϕ−θ) +r²dϕ

< 3 4

1 2π

Z

|ζ|=R

2Rr

R²−2Rrcos(ϕ−θ) +r²dϕ

= 3 4

2Rr R²−r². MakingR →1, we have

zf⁰(z) f(z) −1

< 3 4

2r 1−r² <1

|z|=r < 1 2

, which completes the proof of the theorem.

For convexity of functions f(z), we show the following corollary without the proof.

Corollary 2.3. Letf ∈ Aand suppose that (2.3) 0.472367· · ·= exp

−3 4

<|f⁰(z)|<exp 3

4

= 2.117. . . (z ∈E).

Thenf(z)is convex for|z|< ¹₂.

Next our result for the convexity of functionsf(z)is contained in Theorem 2.4. Letf ∈ Aand suppose that

(2.4)

0.778801· · ·= exp

−1 4

<

zf⁰(z) f(z)

<exp 1

4

= 1.28403. . . (z ∈E).

(9)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Close

Thenf(z)is convex for|z|< ¹₂.

Proof. From the condition (2.4) of the theorem, we have zf⁰(z)

f(z) 6= 0 inE. Then, it follows that

(2.5) log zf⁰(z) f(z) = 1

2π Z

|ζ|=R

log ζf⁰(ζ) f(ζ)

ζ+z ζ−zdϕ, where|z|=r <|ζ|=R <1,z =re^iθ andζ =Re^iϕ.

Differentiating (2.5) and multiplying byz, we obtain that 1 + zf⁰⁰(z)

f⁰(z) = zf⁰(z) f(z) + 1

2π Z

|ζ|=R

log

ζf⁰(ζ) f(ζ)

2ζz (ζ−z)²dϕ.

In view of Theorem2.1,f(z)is starlike for|z|< ¹₂ and therefore, we have Rezf⁰(z)

f(z) ≥ 1−r 1 +r

|z|=r < 1 2

. Then, we have

1 + Rezf⁰⁰(z)

f⁰(z) = Rezf⁰(z) f(z) + 1

2π Z

|ζ|=R

log

ζf⁰(ζ) f(ζ)

Re 2ζz (ζ−z)²

dϕ

> 1−r 1 +r − 1

2π Z

|ζ|=R

1 4

2Rr

|ζ−z|²dϕ

= 1−r 1 +r − 1

4

2Rr R²−r².

(10)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Close

LettingR →1, we see that

1 + Rezf⁰⁰(z)

f⁰(z) > 1−r 1 +r − 1

4 2r 1−r²

= 1 3 −1

4 · 4 3

= 0

|z|=r < 1 2

, which completes the proof of our theorem.

Finally, we prove

Theorem 2.5. Letf ∈ Aand suppose that 0.10583. . .= exp

− π² 4 log 3

<

zf⁰(z) f(z)

<exp π²

4 log 3

= 9.44915. . . (z ∈E).

Thenf(z)is convex in|z|< r₀ wherer₀ is the root of the equation (4 log 3)r²−2(4 log 3 +π²)r+ 4 log 3 = 0, r0 = π²−4 log 3−πp

π²+ 8 log 3

4 log 3 = 0.15787. . . . Proof. Applying the same method as the proof of Theorem2.5, we have

1 + Rezf⁰⁰(z)

f⁰(z) = Rezf⁰(z) f(z) + 1

2π Z

|ζ|=R

log

ζf⁰(ζ) f(ζ)

Re 2ζz (ζ−z)²

dϕ

> 1−r

1 +r − π² 4 log 3

2Rr R²−r²

(11)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Close

where|z|=r <|ζ|=R <1,z =re^iθ andζ =Re^iϕ. PuttingR →1, we have

1 + Rezf⁰⁰(z)

f⁰(z) > 1−r

1 +r − π² 4 log 3

2r 1−r²

= 1

(1−r²)4 log 3 n

(4 log 3)r²−2(4 log 3 +π²)r+ 4 log 3o

>0 (|z|< r₀).

Remark 1. The condition in TheoremAby MacGregor [2] implies that 0<Re

f(z) z

<2 (z ∈E).

However, the condition in Theorem2.2implies that

−2.117· · ·<Re

f(z) z

<2.117. . . (z ∈E).

Furthermore, the condition in TheoremBby MacGregor [3] implies that 0<Ref⁰(z)<2 (z ∈E).

However, the condition in Corollary2.3implies that

−2.117· · ·<Ref⁰(z)<2.117. . . (z ∈E).

(12)

vol. 9, iss. 2, art. 32, 2008

Title Page Contents

JJ II

J I

Close

References

[1] P. DUREN, Harmonic mappings in the plane, Cambridge Tracts in Mathematics 156, Cambridge Univ. Press, 2004.

[2] T.H. MacGREGOR, The radius of univalence of certain analytic functions. II, Proc. Amer. Math. Soc., 14(3) (1963), 521–524.

[3] T.H. MacGREGOR, A class of univalent functions, Proc. Amer. Math. Soc., 15 (1964), 311–317.