Some general distortion results for K(α) and S*(α)

Abstract

In this paper we present some general distortion results for the
classes K(α) and S∗(α) of convex, respectively starlike functions of order α
on the unit disc. For this, we start from a classical result for the class S of
univalent and normalized functions on the unit disc. Furthermore, since when
α = 0 these classes reduce to the well-known classes of starlike and convex func-
tions, we obtain also some general distortion results for the classes K and S∗ of
convex, respectively starlike functions on the unit disc.

Authors

Eduard Ștefan Grigoriciuc

Faculty of Mathematics and Computer Science, “Babeș-Bolyai” University, Cluj-Napoca, Romania

Keywords

Univalent functions, starlikeness of order α, convexity of order α, coefficient estimates, distortion results

Paper coordinates

E.S. Grigoriciuc, Some general distortion results for K(α) and S*(α), Mathematica (Cluj), 64 (87) (2022) no. 2, 222-232

DOI: http://dx.doi.org/10.24193/mathcluj.2022.2.07

PDF

About this paper

Journal

Mathematica (Cluj)

Publisher Name

Editura Academiei Române

DOI

10.24193/mathcluj.2022.2.07

Print ISSN

1222-9016

Online ISSN

2601-744X

References

[1]  S. Cobzas, Differential calculus (in Romanian), Cluj University Press, Cluj-Napoca, 1997.
[2] P. L. Duren, Univalent functions, Springer-Verlag Inc., New York, 1973.
[3] N. Ghosh and A. Vasudevarao, Coefficient estimates for certain subclass of analytic functions defined by subordonation, Filomat, 31 (2017), 3307–3318.
[4] A. W. Goodman, Univalent functions, Vols. I and II, Mariner Publ. Co., Tampa, Florida, 1983.
[5] I. Graham and G. Kohr, Geometric function theory in one and higher dimensions, Pure and Applied Mathematics, Marcel Dekker, Vol. 255, Marcel Dekker Inc., New York, 2003.
[6] M. Klein, Functions starlike of order α, Trans. Amer. Math. Soc., 131 (1968), 99–106.
[7] G. Kohr and P. T. Mocanu, Special chapters of complex analysis (in Romanian), Cluj University Press, Cluj-Napoca, 2005.
[8] P. T. Mocanu, T. Bulboaca and G. S, . Salagean, Geometric theory of univalent functions (in Romanian), Casa Cartii de STiinta, Cluj-Napoca, 2006.
[9] B. Pinchuk, On starlike and convex functions of order α, Duke Math. J., 35 (1968), 721–734.
[10] M. S. Robertson, On the theory of univalent functions, Ann. of Math. (2), 37 (1936), 374–408.
[11] A. Schild, On starlike functions of order α, Amer. J. Math., 87 (1965), 65–70.
Some general distortion results for 𝐾⁢(𝛼) and 𝑆^∗⁢(𝛼)

Some general distortion results for K(α) and S(α)

EDUARD ŞTEFAN GRIGORICIUC
Abstract.

In this paper we present some general distortion results for the classes K(α) and S(α) of convex, respectively starlike functions of order α on the unit disc. For this, we start from a classical result for the class S of univalent and normalized functions on the unit disc. This inequality can be found, for example, in [2, p. 70, ex. 6]. Furthermore, since when α=0 these classes reduce to the well-known classes of starlike and convex functions, we obtain also some general distortion results for the classes K and S of convex, respectively starlike functions on the unit disc.

{amssubject}

30C45, 30C50.

{keyword}

Univalent functions, starlikeness of order α, convexity of order α, coefficient estimates, distortion results.

1. Introduction

In this paper we denote U=U(0,1) the open unit disc in the complex plane and S the family of all univalent (holomorphic and injective) normalized (f(0)=f(0)1=0) functions on the unit disc. It is well-known (see [2], [4] or [7]) or that if fS, then

(1) f(z)=z+n=2anzn,zU.

and it is easy to prove that

(2) f(k)(z)=p=0(k+p)!p!ap+kzp,zU.

The basic result from which we start in this paper is the following estimate which can be found, for example, in (see [2], p. 70, ex. 6):

fS:|f(k)(z)|k!(k+|z|)(1|z|)k+2,zU,k.

Taking into account the Bieberbach’s Conjecture (proved in 1984 by L. de Branges), we can prove the previous inequality using the thchnique of dominant power series. Also, there are similar results for the classes K and S of convex, respectively starlike functions on the unit disc (see [4], p. 117, Th. 8 and Th. 9). Recall that fK if f is univalent on U and f(U) is a convex domain, respectively fS if f is univalent on U, f(0)=0 and f(U) is a starlike domain with respect to the origin.

In this paper, we extend the previous inequalities for the classes K(α) and S(α) of convex, respectively starlike functions of order α on the unit disc, with α[0,1). These classes was introduced by M.S. Robertson in [10]. We denote

K(α)={fS:Re[zf′′(z)f(z)+1]>α,zU}

the class of convex (normalized) functions of order α on U and

S(α)={fS:Re[zf(z)f(z)]>α,zU}

the class of starlike (normalized) functions of order α on U.

Remark 1.1.

It is obvious that for α=0 we obtain the well-known classes

K={fS:Re[zf′′(z)f(z)+1]>0,zU}

and

S={fS:Re[zf(z)f(z)]>0,zU}

of convex, respectively starlike functions on the unit disc U in the complex plane .

In the following two sections we present some general distortion results for the classes K(α) and S(α) of convex, respectively starlike functions of order α on the unit disc, where α[0,1). For this, we start from a classical result for the class S of univalent and normalized functions on the unit disc. This inequality can be found, for example, in [2, p. 70, ex. 6]. The classes of starlike, respectively convex functions of order α were first introduced by M.S. Robertson (see [10]). More results about the starlike and convex functions of order α can be found in [4], [5], [6], [8], [9] or [11].

2. Preliminaries

Similar to Bieberbach’s Conjecture, we have estimates of coefficients also for the classes K(α) and S(α) as we can see in the following proposition. For details and proofs, one may consult [10, p. 386], [6, Lemma 2.1] or [11, p. 65, Th. 2].

Proposition 2.1.

Let α[0,1). The following estimates hold:

  1. (1)

    If fK(α), then

    (3) |an|1n!p=2n(p2α),n2.
  2. (2)

    If fS(α), then

    (4) |an|1(n1)!p=2n(p2α),n2.

These estimates for |an| are sharp. Notice also that for α=0, we obtain the well-known result |an|n.

Next, we present two distortion theorems for K(α), respectively S(α). These theorems are essentially due to Robertson (see [10]). For details and proofs, one may consult also [8, p. 86, Th. 4.4.5 and Th. 4.4.6] , [5, p. 56, Th. 2.3.6 and Th. 2.3.7] or [9, p. 727, Th. 3 and Th. 4].

Theorem 2.2.

(Growth and distortion theorem for K(α)):
Let α[0,1) and fK(α). Then

1(1+|z|)2(1α)|f(z)|1(1|z|)2(1α).

If α=12, then

log(1+|z|)|f(z)|log(1|z|).

If α12, then

(1+|z|)2α112α1|f(z)|1(1|z|)2α12α1,

for all zU. These bounds are sharp. Equality holds in each of the above relations for

(5) f(z)={1(1z)2α12α1,α12log(1z),α=12,

where (1z)2α1|z=0=1 and log(1z)|z=0=0.

Theorem 2.3.

(Growth and distortion theorem for S(α)):
Let α[0,1) and fS(α). Then

|z|(1+|z|)2(1α)|f(z)||z|(1|z|)2(1α)

and

1(12α)|z|(1+|z|)32α|f(z)|1+(12α)|z|(1|z|)32α,

for all zU. These bounds are sharp. Equality holds for

(6) f(z)=z(1z)2(1α),zU.
Remark 2.4.

When α=0, we obtatin the growth and distortion results for the classes K and S of convex, respectively starlike functions on the unit disc.

Remark 2.5.

Let r=|z|<1. Then, for every k, the following relation hold

(7) Tk=1(1r)k=p=0(k+p1)!rpp!(k1)!.

This remark will be used in the next section as part of the proofs of the main results.

Proof.

Let us consider the following Taylor series expansion

11r=1+r+r2++rn+,1<r<1.

Then

1(1r)2=r[11r]=1+2r+3r2++nrn1+

It is easy to prove relation (7) using mathematical induction. For this, let us consider

P(k):1(1r)k=p=0(k+p1)!rpp!(k1)!,k1.

Assume that P(k) is true and let us prove that P(k+1) is also true, where

P(k+1):1(1r)k+1=p=0(k+p)!rpp!k!.

Indeed,

k(1r)k+1=r[1(1r)k]=r[p=0(k+p1)!rpp!(k1)!]
=p=1(k+p1)!prp1p!(k1)!=p=0(k+p)!rpp!(k1)!

and then

1(1r)k+1=p=0(k+p)!rpp!k!

Hence, P(k) is true for all k1 and the relation (7) holds. ∎

3. The main results

3.1. Convexity of order α

In this section we present a general distortion result for convex functions of order α.

Theorem 3.1.

Let α[0,1) and fK(α). Then the following estimate hold:

|f(k)(z)|M(k,α)(1|z|)k+12α,zU,k1,

where

M(k,α)={112αp=1k(p2α),α12(k1)!,α=12

These bounds are sharp. Equality holds for the function given by (5).

Proof.

Let fK(α). Then f is of the form (1) and f has the following form of the k-th derivative:

(8) f(k)(z)=p=0(k+p)!p!ap+kzp,zU.

Let |z|r<1. In view of relations (3) and (8) we obtain

|f(k)(z)|=|p=0(k+p)!p!ap+kzp|p=0(k+p)!p!|ap+k||z|p
(9) p=0((k+p)!p!1(p+k)!p=2p+k(p2α)rp)=p=01p!p=2p+k(p2α)rp

Case 1: If α=12, then

|f(k)(z)|p=01p!p=2p+k(p1)rp=p=0(p+k1)!rpp!
=(k1)!p=0(p+k1)!rpp!(k1)!=(k1)!Tk,

where Tk is given by (7). Hence,

|f(k)(z)|(k1)!(1|z|)k,zU.

Case 2: If α12, then

|f(k)(z)|p=01p!p=2p+k(p2α)rp=p=0(p+k2α)!2α(12α)p!rp
=(k2α)!2α(2α1)p=0(p+k2α)!p!(k2α)!rp=(k2α)!2α(2α1)Tk+12α
=(k2α)!2α(2α1)1(1r)k+12α=p=2k(p2α)(1r)k+12α,

where

(k2α)!=p=0k(p2α)

is a factorial notation which depends only on k, and

Tk+12α=1(1r)k+12α=p=0(p+k2α)!p!(k2α)!rp.

This result holds also for k=1, so we obtain that

|f(k)(z)|p=2k(p2α)(1r)k+12α=112αp=1k(p2α)(1r)k+12α=M(k,α)(1r)k+12α,r<1,

where

M(k,α)=112αp=1k(p2α),k1.

This completes the proof. ∎

Remark 3.2.

If α=0, then K(0)=K is the class of convex functions on the unit disc and we obtain the upper bounds for the k-th derivative in K:

|f(k)(z)|k!(1|z|)k+1,zU,k1.

The same result can be found in [4, p. 118, Th. 9].

Remark 3.3.

Let α[0,1) and fK(α). If z=0, then we obtain

|f(k)(0)|{112αp=1k(p2α),α12(k1)!,α=12,

for all k1. In particular,

(10) |f′′(0)|2(1α).

3.2. Starlikeness of order α

In this section we present a general distortion result for starlike functions of order α.

Theorem 3.4.

Let α[0,1) and fS(α). Then the following estimate hold:

(11) |f(k)(z)|M(k,α)[k+|z|(12α)](1|z|)k+22α,zU,k1,

where

M(k,α)={112αp=1k(p2α),α12(k1)!,α=12

These bounds are sharp. Equality holds for the function given by (6).

Proof.

It is clear that S(α) is a subclass of class S. From first section we know that every function f from class S has the following form of k-th derivative

(12) f(k)(z)=p=0(k+p)!p!ap+kzp,zU.

Let |z|r<1. In view of relations (4) and (12) we obtain

|f(k)(z)|=|p=0(k+p)!p!ap+kzp|p=0(k+p)!p!|ap+k||z|p
p=0((p+k)!p!1(p+k1)!p=2p+k(p2α)rp)=p=0p+kp!p=2p+k(p2α)rp

Case 1: If α=12, then

|f(k)(z)|p=0p+kp!p=2p+k(p1)rp=p=0(p+k)(p+k1)!rpp!
=p=0(p+k)!rpp!=k!p=0(p+k)!rpp!k!=k!Tk+1,

where Tk+1 is given by (7). Hence,

|f(k)(z)|k!(1|z|)k+1,zU.

Case 2: If α12, then

|f(k)(z)|p=0p+kp!p=2p+k(p2α)rp=p=0(p+k)(p+k2α)!rp2α(2α1)p!
=12α(2α1)p=0(k+p2α)!(p+k)rpp!,

where

(k+p2α)!=p=0k+p(p2α)

is a factorial notation which depends only on k+p.

Next, we determine the sum of the series p=0(k+p2α)!(p+k)rpp!. In view of the ratio test (for details see [1]) we obtain that series converges when r<1.

As in the case of the class S we consider up=ap+bp, where

up=(k+p2α)!(p+k)rpp!,

is the general term of the above series,

ap=(p+k2α)!(p2nα)rpp!(k+12α)

and

bp=(p+k2α)!(k2+k+pk2αk)rpp!(k+12α).

It is easy to observe that a0=0, so we can consider a new general term hp for the above series, where

hp=bp+ap+1
hp=(p+k+12α)![k+r(12α)]rpp!(k+12α).

Hence,

p=0(k+p2α)!(p+k)rpp!=p=0(p+k+12α)![k+r(12α)]rpp!(k+12α)
=(k2α)![k+r(12α)]p=0(p+k+12α)!rpp!(k+12α)!.

In view of these computations, we obtain

|f(k)(z)|(k2α)!2α(2α1)[k+r(12α)]p=0(p+k+12α)!rpp!(k+12α)!
=(k2α)!2α(2α1)[k+r(12α)]Tk+22α
=(k2α)!2α(2α1)[k+r(12α)](1r)k+22α
=p=2k(p2α)[k+r(12α)](1r)k+22α.

This result holds also for k=1, so we obtain that

|f(k)(z)|112αp=1k(p2α)[k+r(12α)](1r)k+22α
|f(k)(z)|M(k,α)[k+r(12α)](1r)k+22α,r<1,

where

M(k,α)=112αp=1k(p2α),k.

This completes the proof. ∎

Remark 3.5.

If α=0, then S(0)=S is the class of starlike functions on the unit disc and we obtain the upper bounds for the k-th derivative in S:

|f(k)(z)|k!(k+|z|)(1|z|)k+2,zU.

The same result can be found in [4, p. 117, Th. 8].

Remark 3.6.

The above result confirm also the inequality from [3, Th. 3.2]:

|f′′(0)|2/β

for α[0,1) and 1/β=2(1α).

Proof.

It is enough to take k=2 in (11), and we obtain that

|f′′(z)|M(2,α)[2+|z|(12α)](1|z|)2+22α,zU.

Now, for z=0 we obtain

|f′′(0)|(22α)[2+0(12α)](10)2+22α=22(1α)=21β=2β,

and hence

|f′′(0)|2/β.

Remark 3.7.

Let α[0,1) and fS(α). Then

|f(k)(0)|{k12αp=1k(p2α),α12k!,α=12,

for all k1.

Remark 3.8.

If we take α=1/2 in Theorem 3.4, we obtain the general distortion result for the convex functions given also in [4, p. 118, Th. 9] and Remark 3.2.

Remark 3.9.

Another proof of Theorem 3.4 can be given using the duality theorem between K(α) and S(α) (see [4] or [5]).

4. Acknowledgments

The author thank the referee for his/her helpful comments and suggestions.

References

  • [1] Cobzaş, Ş., Differential Calculus, Cluj University Press, 1997 (in romanian).
  • [2] Duren, P.L., Univalent Functions, Springer-Verlag Inc., New York, 1973.
  • [3] Ghosh, N., Vasudevarao, Coefficient estimates for certain subclass of analytic functions defined by subordonation, Filomat, 31 (2017), no. 11, 3307–3318.
  • [4] Goodman, A.W., Univalent Functions, Vols. I and II, Mariner Publ. Co., Tampa, Florida, 1983.
  • [5] Graham, I., Kohr, G., Geometric function theory in one and higher dimensions, Marcel Deker Inc., New York, 2003.
  • [6] Klein, M., Functions Starlike of order α, Trans. Amer. Math. Soc., 131 (1968), no. 1, 99–106.
  • [7] Kohr, G., Mocanu, P.T., Special Chapters of Complex Analysis, Cluj University Press, Cluj-Napoca, 2005 (in romanian).
  • [8] Mocanu, P.T., Bulboacă, T., Sălăgean G.Ş., Geometric Theory of Univalent Functions, House of the Book of Science, Cluj-Napoca, 2006 (in romanian).
  • [9] Pinchuk, B., On starlike and convex functions of order α, Duke Math. J., 35 (1968), 721–734.
  • [10] Robertson, M.S., On the theory of univalent functions, Ann. of Math. (2), 37 (1936), 374–408.
  • [11] Schild, A., On starlike functions of order α, Amer. J. Math., 87 (1965), 65–70.

Received June 11, 2017

Accepted September 5, 2017

“Babeş-Bolyai” University of Cluj-Napoca
Department of Mathematics
Cluj-Napoca, Romania
E-mail: eduard.grigoriciuc@ubbcluj.ro