Obradovic
Obradovic
Let S denote the class of normalized univalent functions f in the unit disk ∆.
One of the problems addressed in this paper is that of the F -radius in G when
F , G ⊂ S, namely the maximum value of r0 such that r−1 f (rz) ∈ G for all f ∈ F
and 0 < r ≤ r0 . The investigations are concerned primarily with the classes U
and P(2) consisting of univalent functions satisfying
2 00
z z
f 0 (z) − 1 ≤ 1 and ≤ 2,
f (z) f (z)
respectively, for all |z| < 1. Similar radius properties are also obtained for a
geometrically motivated subclass Sp ⊂ S. Several new sufficient conditions for f
to be in the class U are also presented.
AMS 2000 Subject Classification: 30C45.
We have the strict inclusion P(2) ( U ( S (see [1, 6, 10] for a proof). An
interesting fact is that each function in
z z z z
SZ = z, , , ,
(1 ± z)2 1 ± z 1 ± z 2 1 ± z + z 2
belongs to U. Also, it is well-known that these are the only functions in S
having integral coefficients in the power series expansions of f ∈ S (see [2]).
From the analytic characterization of starlike functions, it is a simple exercise
to see that SZ ⊂ S ∗ .
Further work on the classes U and P(2), including some interesting gen-
eralizations of these classes, may be found in [7, 9, 11]. A function f ∈ S ∗ is
said to be in T ∗ if it can be expressed as
∞
X
f (z) = z − ak z k ,
k=2
where ak ≥ 0 for k = 2, 3, . . .. Functions of this form are discussed in de-
tail by Silverman [13, 14]. The work of Silverman led to a large number of
investigations for univalent functions of the above form.
In this paper we shall be mainly concerned with functions f ∈ A of
the form
z
(1) f (z) = ∞ , z ∈ ∆.
n
P
1+ bn z
n=1
The class of functions f of this form for which bn ≥ 0 is especially interesting
and deserves a separate discussion. We remark that if f ∈ S then z/f (z) is
nonvanishing in the unit disk ∆. Hence it can be represented as Taylor series
of the form
∞
z X
=1+ bn z n , z ∈ ∆.
f (z)
n=1
The above representation is convenient for our investigation.
Now, we introduce a subclass Sp of starlike functions, namely,
zf 0 (z) zf 0 (z)
∗
Sp = f ∈ S : − 1 ≤ Re , z∈∆ .
f (z) f (z)
Geometrically, f ∈ Sp if and only if the domain values of zf 0 (z)/f (z), z ∈ ∆,
is the parabolic region (Im w)2 ≤ 2 Re w − 1. It is well-known [12, Theorem 2]
that f (z) = z + an z n is in Sp if and only if (2n − 1)|an | ≤ 1.
Let F and G be two subclasses of A. If for every f ∈ F, r−1 f (rz) ∈ G
for r ≤ r0 , and r0 is the maximum value for which this holds, then we say that
3 Univalent functions and radius properties 319
r0 is the G-radius in F. There are many results of this type in the theory of
univalent functions. For example, the Sp -radius in S ∗ was found by Rønning
in [12] to be 1/3. Moreover, the class Sp and its associated class of uniformly
convex functions, introduced by Goodman [4, 5], have been investigated in
[12]. We recall here the following result.
1
Theorem A [12, Theorem 4]. If f ∈ S then r f (rz) ∈ Sp for 0 < r ≤
0.33217 . . ..
The paper is organized as follows. We investigate the P(2)-radius in F,
where F is the subclasses of U consisting of functions f ∈ U of the form (1)
∞
P
that satisfies either the condition (n − 1)|bn | ≤ 1 (see Theorem 1) or bn ≥ 0
n=2
(see Corollary 1). In Theorem 2 we obtain a necessary coefficient condition
for a function f of the form (1) with bn ≥ 0 to be in Sp , while in Theorem 3
we obtain a sufficient coefficient condition for a nonvanishing analytic function
z/f (z) of the form (1) (where bn ∈ C) to be in Sp . In Theorem 4 we derive the
value of the S-radius in Sp . In Theorems 5 and 6 we establish new necessary
and sufficient conditions for a function to belong to the class U. Finally, in
Corollary 2 we show that T ∗ ⊂ U, which is somewhat surprising.
2. LEMMAS
For the proof of our results we need the following result (see [3, Theo-
rem 11 on p. 193 of Vol. 2]) which reveals the importance of the area theorem
in the theory of univalent functions.
∞
Lemma 1. Let µ > 0 and f ∈ S be of the form (z/f (z))µ = 1 + bn z n .
P
n=1
∞
(n − µ)|bn |2 ≤ µ.
P
Then we have
n=1
We also have
∞
bn z n be a non-vanishing analytic
P
Lemma 2 ([9]). Let φ(z) = 1 +
n=1
function in ∆ and f (z) = z/φ(z). Then
∞
P
(a) f ∈ U if (n − 1)|bn | ≤ 1;
n=2
∞
P
(b) f ∈ P(2) if n(n − 1)|bn | ≤ 2.
n=2
320 M. Obradović and S. Ponnusamy 4
3. MAIN RESULTS
for 0 < r ≤ 2/3. It is easy to see by induction that nrn ≤ 3r for all 0 <
r ≤ 2/3 and for n ≥ 2. In view of this observation, and the assumption that
∞
P
(n − 1)|bn | ≤ 1, we obtain
n=2
∞
X
n(n − 1)|bn |rn ≤ 3r ≤ 2 for r ≤ 2/3.
n=2
If z ∈ ∆ is real and tends to 1− through reals, then from the last inequality
we have
∞
P P∞
nbn nbn
n=1 1 − n=1
∞ ≤ Re ∞
,
P P
1+ bn 1+ bn
n=1 n=1
∞
P
from which we obtain the desired inequality (2n − 1)bn ≤ 1.
n=1
Remark 1. Condition (2) for functions of the form (1) with nonnegative
coefficients bn is not sufficient for the corresponding f to be in the class Sp .
As an example, consider the function f (z) = z/(1 + z). It is easy to see that
the condition for the class Sp , namely,
zf 0 (z) zf 0 (z)
− 1 ≤ Re ,
f (z) f (z)
√
does not hold for all z ∈ ∆, for example at the boundary point z = (−1+i)/ 2,
hence at some points in ∆.
which is nonvanishing in the unit disk. It follows from the previous theorem
that if f ∈ Sp , the coefficient must satisfy the condition
∞
X
[2k(m − 1) − 1]λk ≤ 1,
k=1
which simplifies to λ(2m − 1) ≤ 1. Thus, a necessary condition for f to belong
to Sp is 0 ≤ λ ≤ 1/(2m − 1). It is a simple exercise to see that this condition
also is a sufficient condition for f ∈ Sp (see also [12, Theorem 2]). Thus,
the upper bound for λ cannot be improved. This observation shows that the
constant 1 on the right hand side of inequality (2) cannot be replaced by a
larger constant. In this sense, condition (2) is sharp.
Theorem 3. Let f (z) be a nonvanishing analytic function in 0 < |z| < 1
of the form (1). Then the condition
X∞
(4) (2n + 1)|bn | ≤ 1
n=1
is sufficient for f to belong to the class Sp .
Proof. As in the proof of Theorem 2, we notice that
∞ ∞
n n
P P
nb n z nb n z
zf 0 (z) zf 0 (z)
⇔ − n=1 ∞ n=1
− 1 ≤ Re ≤ Re 1 − ∞
.
f (z) f (z) P n
P n
1+ bn z 1+ bn z
n=1 n=1
Thus, to show that f is in Sp , it suffices to show that the quotient
∞
nbn z n
P
n=1
− ∞
bn z n
P
1+
n=1
lies in the parabolic region (Im w)2 ≤ 1 + 2 Re w. Geometric considerations
show that this condition holds if
∞
nbn z n
P
n=1 1
(5) ∞ ≤ , z ∈ ∆.
2
bn z n
P
1+
n=1
∞
(2n + 1)|bn | |z|n ≤ 1 and so
P
From condition (4) we obtain that
n=1
∞ ∞
!
X 1 X
n|bn | |z|n ≤ 1− |bn | |z|n .
2
n=1 n=1
7 Univalent functions and radius properties 323
Remark 3. One can easily show that equation (6) has a unique solution
for 0 < r ≤ 1 and |b1 | ≤ 1/3. Indeed, let
4 4
G(r) = + − (8 + 12r2 ) − 9r2 ln(1 − r2 ) − (1 − 3|b1 |r)2
(1 − r2 )2 1 − r2
and 1 − r2 = x. Now, for 0 ≤ x < 1 we consider the new function
4 4 √
H(x) = 2 + + 12x − 20 − 9(1 − x) ln x − (1 − 3|b1 | 1 − x)2 .
x x
For this function, we see that H(x) → +∞ when x → 0+, H(1) = −1, and
√
0 8 4 1−x 6|b1 |
H (x) = − 3 − 2 + 12 − 9 − ln x + − 1 − 3|b1 | 1 − x √
x x x 1−x
3 2 √
1−x 1−x 1−x 6|b1 |
= −8 3
−4 2
+ 9 ln x − 9 − (1 − 3|b1 | 1 − x) √ ,
x x x 1−x
which is negative for 0 < x < 1 while |b1 | ≤ 1/3, showing that equation (6)
has a unique solution in the interval (0, 1).
Also, in Theorem 4, we have actually obtained F-radius in S, where F
is the subclass of Sp consisting of functions f given by (1) with coefficients
∞
P
satisfying the condition (2n + 1)|bn | ≤ 1.
n=1
where
2n + 1 2n
bn = r
n−1 0
and
∞ ∞
X X (2n + 1)2
(2n + 1)|bn | = r02n = 1,
n−1
n=1 n=2
by the definition of r0 from (6). This means that 1r f (rz) belongs to Sp for
∞
P
0 < r ≤ r0 . Moreover, for |z| = r > r0 we have (2n + 1)|bn | > 1. Therefore,
n=1
9 Univalent functions and radius properties 325
Theorem 5. If f is given by (1) with bn ≥ 0 and such that Re(f 0 (z)) > 0
for z ∈ ∆, then f ∈ U.
For z → 1− along the positive real axis, the last inequality above becomes
P∞
1− (n − 1)bn
n=2
Re
∞
2 ≥ 0,
P
1+ bn
n=1
∞
P
which gives (n − 1)bn ≤ 1 and so f ∈ U, by Lemma 2(a).
n=2
Choosing values of z on the real axis and then letting z → 1− through real
values, we obtain the coefficient condition (9).
For example, by (9), the functions
z z z z
, , and
(1 + z)2 1 + z 1 + z 2 1 + z + z2
are in U.
As an immediate consequence of Theorems 1 and 6, we have the following
result.
For z → 1− through real values, from the last inequality we obtain that
P∞
nbn
n=1
∞ ≤ 1,
P
2 + b1 − (n − 2)bn
n=3
which is equivalent to (9). Therefore, f ∈ U.
∞
X
(n − 1)bn ≤ 1
n=2
Acknowledgements. The authors thank the referee for their suggestions for the
improvement of the presentation. The work was initiated during the visit of the
second author to the University of Turku, Finland. The visit was supported by the
Commission on Development and Exchanges (CDE) of the International Mathematical
Union and this author thanks CDE for its support.
REFERENCES
[1] L.A. Aksentév, Sufficient conditions for univalence of regular functions. Izv. Vysš.
Učebn. Zaved. Matematika 1958, 3 (4), (1958), 3–7. (Russian)
[2] B. Friedman, Two theorems on schlicht functions. Duke Math. J. 13 (1946), 171–177.
[3] A.W. Goodman, Univalent functions, Vols. 1–2. Mariner, Tampa, Florida, 1983.
[4] A.W. Goodman, On uniformly convex functions. Ann. Polon. Math. 56 (1991), 87–92.
[5] A.W. Goodman, On uniformly starlike functions. J. Math. Anal. Appl. 155 (1991),
364–370.
[6] M. Nunokawa, M. Obradović and S. Owa, One criterion for univalency. Proc. Amer.
Math. Soc. 106 (1989), 1035–1037.
[7] M. Obradović and S. Ponnusamy, New criteria and distortion theorems for univalent
functions. Complex Variables Theory Appl. 44 (2001), 173–191.
[8] M. Obradović and S. Ponnusamy, Radius properties for subclasses of univalent functions.
Analysis (Munich) 25 (2006), 183–188.
[9] M. Obradović, S. Ponnusamy, V. Singh and P. Vasundhra, Univalency, starlikeness and
convexity applied to certain classes of rational functions. Analysis (Munich) 22 (2002),
225–242.
[10] S. Ozaki and M. Nunokawa, The Schwarzian derivative and univalent functions. Proc.
Amer. Math. Soc. 33 (1972), 392–394.
[11] S. Ponnusamy and P. Vasundhra, Criteria for univalence, starlikeness and convexity.
Ann. Polon. Math. 85 (2005), 121–133.
[12] F. Rønning, Uuniformly convex functions and a corresponding class of starlike functions.
Proc. Amer. Math. Soc. 118 (1993), 189–196.
13 Univalent functions and radius properties 329
[13] H. Silverman, Univalent functions with negative coefficicnts. Proc. Amer. Math. Soc. 51
(1975), 109–116.
[14] H. Silverman, E.M. Silvia and D.N. Telage, Locally univalent functions and coefficient
distortions. Pacific J. Math. 77 (1978), 533–539.