검색
Article Search

JMB Journal of Microbiolog and Biotechnology

OPEN ACCESS eISSN 0454-8124
pISSN 1225-6951
QR Code

Article

Kyungpook Mathematical Journal 2020; 60(3): 507-518

Published online September 30, 2020

Copyright © Kyungpook Mathematical Journal.

Applications of the Schwarz Lemma and Jack's Lemma for the Holomorphic Functions

Bülent Nafi Örnek*, Batuhan Çatal

Department of Computer Engineering, Amasya University, Merkez-Amasya 05100, Turkey
e-mail : nafi.ornek@amasya.edu.tr
Department of Mathematics, Amasya University, Merkez-Amasya 05100, Turkey
e-mail : batuhancatal0591@gmail.com

Received: July 26, 2018; Revised: March 25, 2019; Accepted: April 23, 2019

We consider a boundary version of the Schwarz Lemma on a certain class of functions which is denoted by . For the function f(z) = z + a2z2 + a3z3 + … which is defined in the unit disc D such that the function f(z) belongs to the class , we estimate from below the modulus of the angular derivative of the function f(z)f(z) at the boundary point c with f′(c) = 0. The sharpness of these inequalities is also proved.

Keywords: holomorphic function, the Schwarz lemma on the boundary, Jack's lemma, angular derivative.

One of the main tool of complex functions theory is the Schwarz Lemma. This lemma is an important result which gives estimates about the values of holomorphic functions defined from the unit disc into itself. It plays an effective role in many fields of analysis, especially in the theory of geometric function hyperbolic geometry. The standard Schwarz Lemma, which is a direct application of the maximum modulus principle, is commonly stated as follows:

Let f : DD be a holomorphic function with f(0) = 0. Then |f(z)| ≤ |z| for all zD, and |f′(0)| ≤ 1. In addition, if the equality |f(z)| = |z| holds for any z ≠ 0, or |f′(0)| = 1 then f is a rotation, that is, f(z) = ze for real σ ([6], p.329).

We use the following lemma from [7] which is related to the function f(z)f(z) we will investigate.

Lemma 1.1.(Jack’s Lemma)

Let f(z) be a non-constant and holomorphic function in the unit disc D with f(0) = 0. If

f(z0)=max {f(z):zz0},

then there exists a real number k ≥ 1 such thatz0f(z0)f(z0)=k.

For historical background about the Schwarz Lemma and its applications on the boundary of the unit disc, we refer to [2, 6]. Also, a different application of Jack’s Lemma is shown in [7, 14, 18].

Let denote the class of functions f(z) = z + a2z2 + a3z3 + … which are holomorphic in D = {z : |z| < 1}. Also, let be the subclass of consisting of all functions f(z) which satisfy

(1+zf(z)f(z))<32,         zD.

Let be a holomorphic function in the unit disc D. Consider the function

ϕ(z)=21-m(z)2-m(z),

where m(z)=zf(z)f(z). The function ϕ(z) is holomorphic in the unit disc and ϕ(0) = 0. We show that |ϕ(z)| < 1 for |z| < 1. We suppose that there exists a point z0D such that

maxzz0ϕ(z)=ϕ(z0)=1.

From Jack’s Lemma, we have

ϕ(z0)=eiθ,         z0ϕ(z0)ϕ(z0)=k.

Therefore, from (1.2) we obtain

(1+z0f(z0)f(z0))=(21-ϕ(z0)2-ϕ(z0)+z0ϕ(z0)2-ϕ(z0)-z0ϕ(z0)1-ϕ(z0))=(21-eiθ2-eiθ+keiθ2-eiθ-keiθ1-eiθ).

Since

21-eiθ2-eiθ=61-cos θ-isin θ5-4cos θ,   keiθ2-eiθ=k2cos θ-1+2isin θ5-4cos θ

and

keiθ1-eiθ=kcos θ-1+isin θ2(1-cos θ),

we take

(1+z0f(z0)f(z0))=61-cos θ5-4cos θ+k2cos θ-15-4cos θ+k261-cos θ5-4cos θ+2cos θ-15-4cos θ+12=6-6cos θ+2cos θ-15-4cos θ+12=32

and

(1+z0f(z0)f(z0))32.

This contradicts the assumed inequality (1.1). This means that there is no point z0D such that |ϕ(z0)| = 1 for all zD. Thus, we obtain |ϕ(z)| < 1 for zD. By the Schwarz Lemma, we obtain

a212.

The result is sharp and the extremal function is

f(z)=z+z22.

Since the area of applicability of the Schwarz Lemma is quite wide, there exist many studies about it. Among these are the boundary version of the Schwarz Lemma, which is about estimating from below the modulus of the derivative of the function at some boundary point of the unit disc. The boundary version of the Schwarz Lemma is given as follows:

If f extends continuously to some boundary point c with |c| = 1, and if |f(b)| = 1 and f′(c) exists, then by the classical Schwarz Lemma, it follows that

f(c)1.

In addition to conditions of the boundary Schwarz Lemma, if f fixes the point zero, that is, f(0) = 0, then the inequality

f(c)21+f(0)

is obtained [19].

Inequality (1.5) is sharp, with equality possible for each value of |f′(0)|. In addition, for c = 1 in the inequality (1.5), equality occurs for the function f(z)=zz+γ1+γz, γ ∈ [0, 1]. Also, |f′(c)| > 1 unless f(z) = ze, θ real. Inequality (1.4), (1.5) and their generalizations have important applications in the geometric theory of functions and they are still hot topics in the mathematics literature [1, 2, 5, 8, 11, 13, 15, 16, 17, 18, 19].

For our results, we need the following lemma called the Julia-Wolff Lemma (see [20]).

Lemma 1.2.(Julia-Wolff Lemma)

Let f be a holomorphic function in D, f(0) = 0 and f(D) ⊂ D. If, in addition, the function f has an angular limit f(c) at c∂D, |f(c)| = 1, then the angular derivative f′(c) exists and 1 ≤ |f′ (c)| ≤ ∞.

Corollary 1.3

The holomorphic function f has a finite angular derivative f′(c) if and only if fhas the finite angular limit f′(c) at c∂D.

In [5], all zeros of the holomorphic function in the unit disc different from z = 0 and the holomorphic function which has no zero in the unit disc except z = 0 have been considered, respectively. Thus, the stronger inequalities have been obtained. M. Jeong found a necessary and sufficient condition for a holomorphic function with fixed points only at the boundary of the unit disc and had some relations with derivatives of the function at these fixed points [8].

D. M. Burns and S. G. Krantz [3] and D. Chelst [4] studied the uniqueness part of the Schwarz Lemma. According to M. Mateljevic’s studies, some other types of results which are related to the subject can be found in [9, 10]. In addition, [11] was posed on ResearchGate where is discussed concerning results in more general aspects.

Mercer [12] prove a version of the Schwarz Lemma where the images of two points are known. Also, he considers some Schwarz and Carathéodory inequalities at the boundary, as consequences of a lemma due to Rogosinski [13].

In this work, we show an application of Jack’s Lemma for certain subclasses of holomorphic functions on the unit disc that provide (1.1) inequality. Also, we will give the Schwarz Lemma for this class. Moreover, we will give at the boundary Schwarz Lemma for this class.

In this section, a boundary version of the Schwarz Lemma for holomorphic functions is investigated. The modulus of the angular derivative of the holomorphic function f(z)f(z) that belongs to the class of related to the class of holomorphic function, on the boundary point of the unit disc has been estimated from below.

Theorem 2.1

Let. Suppose that, for some c∂D, f has an angular limit f(c) at c, f′(c) = 0. Then we have the inequality

|f(c)f(c)|2.

The inequality (2.1) is sharp with extremal function

f(z)=z+z22.
Proof

Let us consider the following function

ϕ(z)=21-m(z)2-m(z),

where m(z)=zf(z)f(z). Thenϕ(z) is holomorphic function in the unit disc D, ϕ(0) = 0 and |ϕ(z)| < 1 for |z| < 1. Also, we have |ϕ(c)| = 1 for f′(c) = 0. It is obviously that

ϕ(z)=-2m(z)(2-m(z))2.

Therefore, from (1.4), we take

1ϕ(c)=2m(c)2-m(c)2

and

m(c)2.

Since

m(z)=(f(z)+f(z)z)f(z)-f(z)f(z)z(f(z))2,

for f′ (c) = 0 we have

m(c)=|f(c)f(c)|.

Therefore, we obtain

|f(c)f(c)|2.

Now, we shall show that the inequality (2.1) is sharp. Let

f(z)=z+z22.

Then, we obtain

f(z)=1,f(z)f(z)=1z+z22

and

|f(-1)f(-1)|=2.

The inequality (2.1) can be strengthened as below by taking into account a2 which is second coefficient in the expansion of the function f(z) = z+a2z2+a3z3+….

Theorem 2.2

Let. Suppose that, for some c∂D, f has an angular limit f(c) at c, f′ (c) = 0. Then we have the inequality

|f(c)f(c)|41+2a2.

The inequality (2.2) is sharp with extremal function

f(z)=z+z22.
Proof

Let ϕ(z) be the same as in the proof of Theorem 2.1. Therefore, we take from (1.5), we obtain

21+ϕ(0)ϕ(c)=2m(c)2-m(c)2.

Since

ϕ(z)=21-m(z)2-m(z)=21-zf(z)f(z)2-zf(z)f(z)=-2a2z+(2a3-a22)z2+1-a2z-(2a3-a22)z2-

and

|ϕ(0)|=2a2,

we take

21+2a2m(c)2,m(c)41+2a2

and

|f(c)f(c)|41+2a2.

Now, we shall show that the inequality (2.2) is sharp. Let

f(z)=z+z22.

Then

|f(-1)f(-1)|=2.

On the other hand, from the Taylor expansion of f(z), we take

z+a2z2+a3z3+=z+z22,1+a2z+a3z2+=1+z2,a2z+a3z2+=z2

and

a2=12.

Therefore, we obtain

41+2a2=2.

The inequality (2.2) can be strengthened as below by taking into account a3 which is third coefficient in the expansion of the function f(z) = z+a2z2+a3z3+….

Theorem 2.3

Let. Suppose that, for some c∂D, f has an angular limit f(c) at c, f′ (c) = 0. Then we have the inequality

|f(c)f(c)|2(1+2(1-2a2)21-4a22+4a3).

The equality in (2.3) occurs for the function

f(z)=z(1+z22)12.
Proof

Let ϕ(z) be the same as in the proof of Theorem 2.1. Let us consider the function

t(z)=ϕ(z)B(z),

where B(z) = z. The function t(z) is holomorphic in D. According to the maximum princible, we have |ϕ(z)| ≤ |B(z)| for each zD. In particular, we have

t(z)=-2a2z+(2a3-a22)z2+(1-a2z-(2a3-a22)z2-)z=-2a2+(2a3-a22)z+1-a2z-(2a3-a22)z2-t(0)=2a21

and

t(0)=4a3.

Furthermore, it can be seen that

cϕ(c)ϕ(c)=ϕ(c)B(c)=cB(c)B(c).

Consider the function

n(z)=t(z)-t(0)1-t(0)¯t(z).

This function is holomorphic in D, |n(z)| ≤ 1 for |z| < 1, n(0) = 0, and |n(c)| = 1 for c∂D. From (1.5), we obtain

21+n(0)n(b)=1-t(0)2|1-t(0)¯t(c)|2t(c)1+t(0)1-t(0){ϕ(c)-B(c)}.

Since

n(z)=1-t(0)2(1-t(0)¯t(z))2t(z)

and

n(0)=t(0)1-t(0)2=4a31-4a22,

we take

21+4a31-4a221+2a21-2a2{m(c)2-1},2(1-4a22)1-4a22+4a31+2a21-2a2{m(c)2-1},2(1-2a2)21-4a22+4a3m(c)2-1,m(c)2(1+2(1-2a2)21-4a22+4a3)

and

|f(c)f(c)|2(1+2(1-2a2)21-4a22+4a3).

Now, we shall show that the inequality (2.3) is sharp. Let

f(z)=z(1+z22)12.

Then

f(z)=2z2+1z2+2,f(z)=2z(z2+3)(z2+2)32

and

|f(i)f(i)|=4.

On the other hand, from the Taylor expansion of f(z), we get

z+a2z2+a3z3+=z(1+z22)12,1+a2z+a3z2+=(1+z22)12,a2z+a3z2+=(1+z22)12-1

and

a2+a3z+=(1+z22)12-1z.

Passing to limit in the last equality yields a2 = 0. Similarly, using straightforward calculations, we take a3=14. Therefore, we obtain

2(1+2(1-2a2)21-4a22+4a3)=4.

Theorem 2.4

Let , 1-zf(z)f(z)has no zeros in D except z = 0 and a2 > 0. Suppose that, for some c∂D, f has an angular limit f(c) at c, f′ (c) = 0. Then we have the inequality

f(c)f(c)2(1-a2ln2(2a2)a2ln (2a2)-a3).
Proof

Let a2 > 0 and let us consider the function t(z) as in Theorem 2.3. Taking account of the equality |t(0)| = 2|a2|, we denote by ln t(z) the holomorphic branch of the logarithm normed by condition

ln t(0)=ln (2a2)=ln2a2+iarg (2a2)<0,         a2>0

and

ln (2a2)<0.

Take the following auxiliary function

Φ(z)=ln t(z)-ln t(0)ln t(z)+ln t(0).

It is obvious that Φ(z) is a holomorphic function in D, Φ(0) = 0, |Φ(z)| < 1 for zD. Therefore, the function Φ(z) satisfies the assumptions of the Schwarz Lemma on the boundary.

Since

Φ(z)=2ln t(0)(ln t(z)+ln t(0))2t(z)t(z)

and

Φ(c)=2ln t(0)(ln t(0)+ln t(c))2t(c)t(c),

we obtain

21+Φ(0)2ln t(0)ln t(0)+ln t(c)2|t(c)t(c)|=-2ln t(0)ln2t(0)+arg2t(c){ϕ(c)-B(c)}.

Also, since

Φ(0)=2ln t(0)(ln t(0)+ln t(0))2t(0)t(0)=12ln t(0)t(0)t(0)=12ln (2a2)4a32a2=a3a2ln (2a2)

and

Φ(0)=-a3a2ln (2a2),

we obtain

21-a3a2ln (2a2)-2ln (2a2)(m(c)2-1),1-a2ln2(2a2)a2ln (2a2)-a3m(c)2

and

m(c)2(1-a2ln2(2a2)a2ln (2a2)-a3).
  1. TA. Azeroğlu, and BN. Örnek. A refined Schwarz inequality on the boundary. Complex Var Elliptic Equ., 58(2013), 571-577.
    CrossRef
  2. HP. Boas. Julius and Julia: mastering the art of the Schwarz lemma. Amer Math Monthly., 117(2010), 770-785.
    CrossRef
  3. DM. Burns, and SG. Krantz. Rigidity of holomorphic mappings and a new Schwarz Lemma at the boundary. J Amer Math Soc., 7(1994), 661-676.
    CrossRef
  4. D. Chelst. A generalized Schwarz lemma at the boundary. Proc Amer Math Soc., 129(2001), 3275-3278.
    CrossRef
  5. VN. Dubinin. On the Schwarz inequality on the boundary for functions regular in the disc. J Math Sci., 122(2004), 3623-3629.
    CrossRef
  6. GM. Golusin. Geometric theory of functions of complex variable. Translations of Mathematical Monographs, 26, American Mathematical Society, Providence, R.I, 1969.
  7. IS. Jack. Functions starlike and convex of order α. J London Math Soc., 3(1971), 469-474.
    CrossRef
  8. M. Jeong. The Schwarz lemma and its application at a boundary point. J Korean Soc Math Educ Ser B: Pure Appl Math., 21(2014), 219-227.
  9. M. Mateljević. Hyperbolic geometry and Schwarz lemma, Symposium MATHEMATICS AND APPLICATIONS, Faculty of Mathematics, University of Belgrade, VI2015.
  10. M. Mateljević. Schwarz lemma, the Carathéodory and Kobayashi metrics and applications in cmplex analysis, XIX GEOMETRICAL SEMINAR, 2016, At Zlatibor, (), 1-12.
  11. M. Mateljević. . Rigidity of holomorphic mappings, Schwarz and Jack lemma., .
    CrossRef
  12. PR. Mercer. Sharpened versions of the Schwarz lemma. J Math Anal Appl., 205(1997), 508-511.
    CrossRef
  13. PR. Mercer. Boundary Schwarz inequalities arising from Rogosinski’s lemma. J Class Anal., 12(2018), 93-97.
    CrossRef
  14. R. Singh, and S. Singh. Some sufficient conditions for univalence and starlikeness. Colloq Math., 47(1982), 309-314.
    CrossRef
  15. BN. Örnek. Sharpened forms of the Schwarz lemma on the boundary. Bull Korean Math Soc., 50(2013), 2053-2059.
    CrossRef
  16. BN. Örnek. Inequalities for the non-tangential derivative at the boundary for holomorphic function. Commun Korean Math Soc., 29(2014), 439-449.
    CrossRef
  17. BN. Örnek. Inequalities for the angular derivatives of certain classes of holomorphic functions in the unit disc. Bull Korean Math Soc., 53(2016), 325-334.
    CrossRef
  18. BN. Örnek. Estimates for holomorphic functions concerned with Jack’s lemma. Publ Inst Math., 104(118)(2018), 231-240.
    CrossRef
  19. R. Osserman. A sharp Schwarz inequality on the boundary. Proc Amer Math Soc., 128(2000), 3513-3517.
    CrossRef
  20. Ch. Pommerenke. Boundary Behaviour of Conformal Maps, , Springer-Verlag, Berlin, 1992.
    CrossRef