• Nem Talált Eredményt

JJ II

N/A
N/A
Protected

Academic year: 2022

Ossza meg "JJ II"

Copied!
9
0
0

Teljes szövegt

(1)

volume 5, issue 4, article 95, 2004.

Received 17 September, 2004;

accepted 15 October, 2004.

Communicated by:H.M. Srivastava

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

A GENERALIZATION OF OZAKI-NUNOKAWA’S UNIVALENCE CRITERION

DORINA RADUCANU, IRINEL RADOMIR, MARIA E. GAGEONEA AND NICOLAE R. PASCU

Faculty of Mathematics and Computer Science

”Transilvania” University of Brasov Str. Iuliu Maniu 50, 2200 Brasov, Romania.

EMail:dorinaraducanu@yahoo.com EMail:cash_rado@yahoo.com Department Of Mathematics University Of Connecticut

196 Auditorium Rd., Storrs, CT 06269, USA EMail:gageonea@yahoo.com

Department of Mathematics and Sciences Green Mountain College

One College Circle, Poultney, VT 05764, USA EMail:pascun@greenmtn.edu

URL:http://www.greenmtn.edu

c

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

(2)

A Generalization Of Ozaki-Nunokawa’s Univalence

Criterion

Dorina Raducanu, Irinel Radomir, Maria E. Gageonea and

Nicolae R. Pascu

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of9

J. Ineq. Pure and Appl. Math. 5(4) Art. 95, 2004

Abstract

In this paper we obtain a generalization of Ozaki-Nunokawa’s univalence crite- rion using the method of Loewner chains.

2000 Mathematics Subject Classification:30C55.

Key words: Univalent function, univalence criteria, Loewner chains.

Contents

1 Introduction. . . 3 2 Loewner Chains and Univalence Criteria. . . 4

References

(3)

A Generalization Of Ozaki-Nunokawa’s Univalence

Criterion

Dorina Raducanu, Irinel Radomir, Maria E. Gageonea and

Nicolae R. Pascu

Title Page Contents

JJ II

J I

Go Back Close

Quit Page3of9

1. Introduction

LetAbe the class of analytic functionsf defined in the unit diskU ={z ∈C:

|z|<1}, of the form

(1.1) f(z) =z+a2z2+· · · , z ∈U.

In [1] Ozaki and Nunokawa showed that iff ∈Aand (1.2)

z2f0(z) f2(z) −1

≤ |z|2, for allz ∈U,

then the function f is univalent in U. In this paper we use the method of Loewner chains to establish a generalization of Ozaki-Nunokawa’s univalence criterion.

(4)

A Generalization Of Ozaki-Nunokawa’s Univalence

Criterion

Dorina Raducanu, Irinel Radomir, Maria E. Gageonea and

Nicolae R. Pascu

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of9

J. Ineq. Pure and Appl. Math. 5(4) Art. 95, 2004

2. Loewner Chains and Univalence Criteria

In order to prove our main result we need a brief summary of Ch. Pommerenke’s method of constructing univalence criteria. A family of univalent functions

L(·, t) :U −→C, t≥0

is a Loewner chain, ifL(·, s)is subordinate toL(·, t)for all0 ≤s ≤ t. Recall that a functionf :U −→Cis said to be subordinate to a functiong :U −→C (in symbols f ≺ g) if there exists a function ω : U −→ U such that f(z) = g(ω(z))for all z ∈ U. We also recall the following known result (see [4, pp.

159–173]):

Theorem 2.1. LetL(z, t) = a1(t)z +. . .be an analytic function ofz ∈ Ur = {z ∈C:|z|< r}for allt ≥0.Suppose that:

i) L(z, t) is a locally absolutely continuous function of t, locally uniform with respect toz ∈Ur;

ii) a1(t)is a complex-valued continuous function on[0,∞)such that a1(t)6= 0, lim

t→∞|a1(t)|=∞

and

L(·, t) a1(t)

t≥0

is a normal family of functions inUr;

(5)

A Generalization Of Ozaki-Nunokawa’s Univalence

Criterion

Dorina Raducanu, Irinel Radomir, Maria E. Gageonea and

Nicolae R. Pascu

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of9

iii) there exists an analytic functionp:U ×[0,∞)→Csatisfying Rep(z, t)>0, for all (z, t)∈U ×[0,∞) and

z∂L(z, t)

∂z =p(z, t)∂L(z, t)

∂t , for anyz ∈Ur, a.e.t≥0.

Then for allt ≥ 0, the functionL(·, t)has an analytic and univalent exten- sion to the whole unit diskU.

We can now prove the main result, as follows:

Theorem 2.2. Let f ∈ A and let m be a positive real number such that the inequalities

(2.1)

z2f0(z) f2(z) −1

− m−1 2

< m+ 1 2 and

(2.2)

z2f0(z) f2(z) −1

− m−1

2 |z|m+1

≤ m+ 1

2 |z|m+1 are satisfied for allz ∈U. Then the functionf is univalent inU.

Proof. Leta andb be any positive real numbers chosen such thatm = ab. We define:

L(z, t) =f(e−atz) +

ebt−e−at

zf(e(e−at−atz)z)2

1−(ebt−e−at)zf(e−atz)−e−atz

(e−atz)2

,

(6)

A Generalization Of Ozaki-Nunokawa’s Univalence

Criterion

Dorina Raducanu, Irinel Radomir, Maria E. Gageonea and

Nicolae R. Pascu

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of9

J. Ineq. Pure and Appl. Math. 5(4) Art. 95, 2004

for t ≥ 0. Since the function f(e−atz) is analytic inU, it is easy to see that for eacht ≥0there exists anr ∈(0,1]arbitrarily fixed, the functionL(z, t)is analytic in a neighborhood Urofz = 0. IfL(z, t) = a1(t)z+· · · is the power series expansion of L(z, t) in the neighborhoodUr, it can be checked that we havea1(t) =ebt and thereforea1(t)6= 0for allt≥0andlimt→∞|a1(t)|=∞.

Since L(z,t)a

1(t) is the summation betweenzand a holomorphic function, it follows that

nL(·,t)

a1(t)

o

t≥0 is a normal family of functions inUr. By elementary compu- tations it can be shown easily that ∂L(z,t)∂z can be expressed as the summation between bebtz and a holomorphic function. From this representation of ∂L(z,t)∂z we obtain the absolute continuity requirement i) of Theorem2.1. Letp(z, t)be the function defined by

p(z, t) = z∂L(z, t)

∂z

∂L(z, t)

∂t .

In order to prove that the functionp(z, t)is analytic and has a positive real part inU, we will show that the function

(2.3) m(z, t) = p(z, t)−1

p(z, t) + 1 is analytic inU and

(2.4) |m(z, t)|<1

for allz ∈U andt≥0. We have

m(z, t) = (1 +a)F(z, t) + 1−b (1−a)F(z, t) + 1 +b,

(7)

A Generalization Of Ozaki-Nunokawa’s Univalence

Criterion

Dorina Raducanu, Irinel Radomir, Maria E. Gageonea and

Nicolae R. Pascu

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of9

where

F(z, t) =e(a+b)t

(e−atz)2f0(e−atz) f2(e−atz) −1

. The condition (2.4) is therefore equivalent to

(2.5)

F(z, t)−b−a 2a

< a+b

2a , for allz ∈U andt≥0.

Fort= 0, the inequality (2.5) becomes

z2f0(z) f2(z) −1

− m−1 2

< m+ 1 2 , wherem= b

a. Defining:

G(z, t) =e(a+b)t

(e−atz)2f0(e−atz) f2(e−atz) −1

− m−1 2

and observing that|e−atz| ≤ e−at < 1for all z ∈ U¯ = {z ∈C:|z| ≤1} and t > 0, we obtain thatG(z, t)is an analytic function inU¯. Using the Maximum Modulus Principle it follows that for each t > 0 arbitrarily fixed there exists θ ∈Rsuch that:

|G(z, t)|<max

|z|=1|G(z, t)|=

G(e, t) ,

for all z ∈ U. Let u = e−ate. We have|u| = e−at, e−(a+b)t = (e−at)m+1 =

|u|m+1, and therefore G(e, t)

=

1

|u|m+1

u2f0(u) f2(u) −1

− m−1 2

.

(8)

A Generalization Of Ozaki-Nunokawa’s Univalence

Criterion

Dorina Raducanu, Irinel Radomir, Maria E. Gageonea and

Nicolae R. Pascu

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of9

J. Ineq. Pure and Appl. Math. 5(4) Art. 95, 2004

From the hypothesis (2.2) we obtain therefore:

(2.6)

G(e, t)

≤ m+ 1 2 .

From (2.1) and (2.6) it follows that the inequality (2.5) holds true for allz ∈ U and all t ≥ 0. Since all the conditions of Theorem2.1 are satisfied, we obtain that the function L(·, t) has an analytic and univalent extension to the whole unit disk U, for all t ≥ 0. For t = 0 we have L(z,0) = f(z), for all z ∈ U, and therefore the function f is univalent in U, concluding the proof of the theorem.

It is easy to check that inequality (2.2) implies the inequality (2.1) and thus we obtain the following corollary :

Corollary 2.3. Letf ∈Aand letmbe a positive real number such that (2.7)

z2f0(z) f2(z) −1

− m−1

2 |z|m+1

≤ m+ 1

2 |z|m+1 for allz ∈U. Then the functionf is univalent inU.

Remark 2.1. We conclude with the following remarks:

i) In the particular case m = 1, condition (2.7) of the above corollary be- comes condition (1.2). Therefore, we obtain Ozaki-Nunokawa’s univa- lence criterion as a particular case (m= 1) of the above corollary, which generalizes it to all positive real numbersm >0.

ii) The function f(z) = z

1 +z satisfies the condition (2.7) of the above corol- lary for every positive real numberm >0.

(9)

A Generalization Of Ozaki-Nunokawa’s Univalence

Criterion

Dorina Raducanu, Irinel Radomir, Maria E. Gageonea and

Nicolae R. Pascu

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of9

References

[1] S. OZAKIANDM. NUNOKAWA, The Schwarzian derivative and uni- valent functions, Proc. Amer. Math. Soc., 33(2) (1972.)

[2] N.N. PASCUANDV. PESCAR, A generalization of Pfaltzgraff’s theo- rem, Seminar of Geometric Function Theory (Preprint), 2 (1991), 91–

98.

[3] J. PFALTZGRAFF, K−Quasiconformal extension criteria in the disk, Complex Variables, 21 (1993), 293–301.

[4] Ch. POMMERENKE, Uber die Subordination analytischer Funktio- nen, J. Reine Angew. Math., 218 (1965).

Hivatkozások

KAPCSOLÓDÓ DOKUMENTUMOK

To prove our main theorems we make use of the following q-analogue of Stirling’s formula established by D.S... M AIN

Using the inclusions between the unit balls for the p-norms, we obtain a new inequality for the gamma function.. 2000 Mathematics Subject Classification: 33B15,

In this paper, we discuss the case of equality of this Young’s inequality, and obtain a characterization for compact normal operators.. 2000 Mathematics Subject Classification:

In the present paper, by introducing some parameters, new forms of Hardy- Hilbert’s inequalities are given.. 2000 Mathematics Subject

The main result of this paper shows that λ-convex functions can be character- ized in terms of a lower second-order generalized derivative.. 2000 Mathematics Subject

A generalization of an inequality involving the generalized elementary symmet- ric mean and its elementary proof are given.. 2000 Mathematics Subject Classification: Primary 26D15

In this paper, using Grüss’ and Chebyshev’s inequalities we prove several in- equalities involving Taylor’s remainder.. 2000 Mathematics Subject

In this paper, some new inequalities similar to Hilbert-Pachpatte type inequali- ties are given.. 2000 Mathematics Subject