1. Introduction and Preliminaries
Let be the set of holomorphic functions from the unit disk into itself. Investigations of the properties of a map are closely connected with the analysis of its fixed points.
An interior point , , is a fixed point of f if . A boundary point , , is a fixed point of f if .
Note that, if
and
, then
f can have at most one fixed point in the interior of
. In the general case,
need not have fixed points in
. However, a classical result known as the Denjoy–Wolff theorem (see [
1]) states that if
is not Möbius transformation, then there exists a unique point
d,
, such that the sequence of iterates
of
,
, converges to
d locally uniformly in
. Moreover, if
, then
. If
d is a boundary point, then the angular limits
exist at
d; in addition,
and the
angular derivative . In the literature,
d is called the Denjoy–Wolff point of
f.
Let us define the subclasses of functions considered in our research.
In
, we single out the subclass
of functions that map a point
a,
, to a point
b,
:
For brevity, the standard class of functions with fixed point we denote by .
Let
denote the set of functions
f in
that fix the boundary point
:
The fundamental role of the Schwarz lemma and the Julia–Carathéodory theorem in complex analysis is well known (see [
2,
3]). These classical results characterize the behavior of the derivative on classes
and
, respectively. The interest in developing these results stems from their applications in many directions, e.g., geometric function theory, hyperbolic geometry, complex dynamics, infinite-dimensional analysis, and the theory of composition operators (see [
4,
5,
6,
7,
8]).
The purpose of this paper is to solve the following extremal problem in the spirit of the Julia–Carathéodory theorem: in the class of functions with a given value of find the infinum of the angular derivative . The solution of this problem allows us to find the extremal functions in the boundary Dieudonné–Pick lemma and obtain an unimprovable strengthening of the Osserman general boundary lemma.
We also consider the class of functions with interior and boundary fixed points,
Note that classes of functions with several fixed points are studied in connection with various problems, e.g., the problem of fractional iteration of holomorphic function [
9], the problem of finding domains of univalence [
10,
11,
12], the problem of describing the Taylor coefficients [
13,
14], as well as estimating the angular derivatives [
15] and the Schwarzian derivatives [
16].
The paper is organized as follows. In
Section 2 and
Section 3, we consider the extremal problems that correspond to various versions of the Schwarz lemma and Julia–Carathéodory theorem. In
Section 4, we give a solution of the above-mentioned extremal problem. As a consequence, we identify the class of the extremal functions in the boundary Dieudonné–Pick lemma and formulate an unimprovable strengthening of the Osserman general boundary lemma. In
Section 5, we give proofs of the main results.
2. Schwarz–Pick and Dieudonné –Pick Lemmas
In the class , the Schwarz lemma is a result with deep sense and important consequences. In particular, it describes the character of the fixed point of the function : namely, excluding the case of the rotations of the unit disk, in the class , the point is attractive.
Theorem 1 (Schwarz Lemma)
. Let . ThenIf the equality in (2)
is attained or the equality in (
1)
is attained for at least one , , then , . In this case, the equality in (
1)
is attained for all . Inequality (2) can be interpreted as a solution of the following extremal problem: in the class
, find the supremum of
. The solution of this problem, as follows from Theorem 1, has the form
Moreover, the extremal functions are the rotations of the unit disk.
The Schwarz lemma has an invariant form established by Pick. Let us give the necessary part of the formulation of the Pick lemma.
Theorem 2 (Pick Lemma)
. Let . Then for all If the equality in (
3)
is attained for at least one , then , , . In this case, the equality in (
3)
is attained for all . The Pick lemma allows one to solve the following extremal problem: in the class
, find the supremum of
. As can be seen from Theorem 2, the solution of this problem is as follows:
Moreover, the extremal functions are Möbius transformations with .
A further restriction of the class
leads to a refinement of the estimate of the derivative at the interior point. The following result is called the Dieudonné lemma (see [
17]).
Theorem 3 (Dieudonné Lemma)
. Let . Then for all , , Note that Theorem 3 is a simple corollary of the sharpened version of the Schwarz lemma established by Mercer [
18].
Let the mapping
be defined by
It takes the unit disk
onto itself with
and
. An application of Pick’s ideas to Theorem 3 allows one to describe for the class
the set of the values of the derivative in terms of two points and their images under the mapping
(see also [
19]).
Theorem 4 (Dieudonné–Pick Lemma)
. Let with and . Then where 3. Julia–Carathéodory Theorem and Boundary Schwarz Lemma
To formulate the Julia–Carathéodory theorem, consider the linear fractional transformation
It takes the unit disk
onto itself and satisfies the conditions
and
.
Theorem 5 (Julia–Carathéodory Theorem)
. Let . Then for all If the equality in (
4)
is attained for at least one , then , . In this case, the equality in (
4)
is attained for all . For proof, see [
3]. The Julia–Carathéodory theorem can be interpreted as a solution of the following extremal problem: in the class
, find the infinum of the angular derivative
. The solution of this problem follows from Theorem 5:
Moreover, the extremal function is Möbius transformation with and .
In the class
the ratio (
5) takes the form
Moreover, the equality in (
6) is attained only if
. The estimate (
6) means that on the class
the point
is repulsive or neutral.
It is known that the estimate (
6) can be strengthened if there is an additional information about
. Unkelbach [
20] obtained the following boundary Schwarz lemma.
Theorem 6 (Boundary Schwarz Lemma)
. Let . ThenMoreover, the equality in (
7)
holds if and only if for some . The boundary Schwarz lemma is related to the following extremal problem: in the class
of functions with a given value of
, find the infinum of the angular derivative
. The solution of this problem follows from Theorem 6:
Moreover, the extremal function has the form .
In [
21], Cowen and Pommerenke proved the following result, which is an improvement of Theorem 6. Using another method, this result was also obtained by Goryainov [
13]. We identify the specific form of the corresponding extremal functions.
Theorem 7. Let , . Then Moreover, the equality in (
8)
holds if and only if for some . Theorem 7 allows one to solve the following extremal problem: in the class
of functions with a given value of
, find the infinum of the angular derivative
. The solution of this problem has the form
Moreover, the extremal function has the form , .
A horocycle at the point 1 with parameter
is called a disk
In view of this definition, Theorem 7 can be rewritten as follows.
Theorem 8. Let . Then Moreover, the equality in (
9)
holds if and only if or for some . Theorem 8 allows one to solve another extremal problem: in the class
of functions with a given value of the angular derivative
, find the exact set of the values of
. In view of (
9), the solution of this problem is as follows: in the class
of functions with
, the set of the values of
belongs to the disk
Furthermore,
lies on the boundary of this disk if and only if
,
.
Theorem 6 was improved by Osserman [
22] by removing the assumption that the origin is fixed.
Theorem 9 (General Boundary Lemma)
. Let . Then Note that in the general case estimate (
10) is unattainable and sharp only if
. In
Section 5 we get the sharp estimate for
and find the class of the extremal functions.
4. Boundary Dieudonné–Pick Lemma and Its Consequences
The following result is the boundary Dieudonné–Pick lemma in which we identify the extremal functions.
Theorem 10. Let . Then for all If the equality in (
11)
is attained for at least one , then , , or , . In this case, the equality in (
11)
is attained for all . The first part of Theorem 10 is essentially due to Yanagihara [
23]. It was also obtained by Mercer [
24] as a limit form of Theorem 4 in cases when
as
. However, the sharpness of inequality (
11) was not discussed. In
Section 5, we give another proof of inequality (
11) based on the Julia–Carathéodory theorem and Pick’s ideas. We also establish its nonimprovability and describe the class of the extremal functions.
Theorem 10 allows one to solve the following extremal problem: in the class
of functions with a given value of the angular derivative
, find the exact set of the values of
. In view of (
11) the solution of this problem is as follows: in the class
of functions with
, the set of the values of
belongs to the disk
Furthermore, lies on the boundary of this disk if and only if , where , such that , , or , where such that , .
Theorem 10 admits a reformulation, which can be considered as a strengthening of the Julia–Carathéodory theorem (Theorem 5) in the case when for in addition to the value of , , the value of the derivative is known.
Theorem 11. Let be not Möbius transformation. Then for all If the equality in (
12)
is attained for at least one , then , . In this case, the equality in (
12)
is attained for all . Theorem 11 can be interpreted as a solution of the following extremal problem: in the class
of functions with a given value of
, find the infinum of the angular derivative
. Since
, for given
and
c such that
the solution of this problem has the form
Moreover, the extremal function is the Blaschke product , where such that , .
A simple corollary of Theorem 10 is a strengthening of Theorem 9.
Although inequality (
13) is less sharp than inequality (
12), it has a more compact form and is a refinement of inequality (
4), except for the case
,
.
Corollary 2 (strengthening of Theorem 9)
. Let . ThenMoreover, the equality in (
14)
holds if and only if for some , is a non-positive real number. 5. Proof of the Main Results
For completeness, we present a simple proof of Theorem 7 based on Pick’s ideas.
Proof of Theorem 7. Let
. By Theorem 1 the function
takes the unit disk
into itself. Since
is a fixed point of
f, the function
g belongs to
. Applying Theorem 5 to the function
g, for all
we get
which is equivalent to the inequality
Setting
in (
15), we arrive at estimate (
8), and the first part of the theorem is proved.
We turn to the proof of the second part of the theorem. Let for some function
,
, in (
8) the equality is attained. Let us rewrite it in terms of the function
from the class
:
By Theorem 5, the last equality is possible only for Möbius transformation , . Thus, , .
Conversely, let
for some
. Obviously,
and since
it is easy to see that the function
f turns inequality (
8) into an equality. This completes the proof of the theorem. □
Now we can proceed to the proof of the main results of this paper.
Proof of Theorem 11. Fix the point
. If the function
f belongs to
, then the composition
belongs to
. Moreover, its derivatives at the fixed points have the form
The function
h satisfies the conditions of Theorem 7, and hence
Plugging (
17) and (18) into (
19), and taking into account the arbitrary choice of the point
, we get estimate (
12). The first part of the theorem is proved.
We turn to the proof of the second part of the theorem. Let, for a function
in (
12), the equality be attained at some point
. In terms of the function
defined by (
16), in view of (
17) and (18), this equality can be written as
But then, by Theorem 7, there is a point such that . It follows that is a Blaschke product of degree 2.
Conversely, let
for some
. Obviously,
. Plugging the derivatives
into inequality (
12), we obtain the equality for all
. The theorem is proved. □
Proof of Corollary 1. By the triangle inequality we have the lower estimate
Complementing it with the upper estimate (
11), we obtain inequality (
13). □
Proof of Corollary 2. The first part of the result is Corollary 1 when .
Now we prove the second part. Let for some function
in (
14), the equality is attained. By Theorem 11, the function
f has the form
for some
. Plugging
into equality (
14), we find a condition satisfied by
q and
p. In view of the relations
we have
Its right-hand side vanishes if and only if .
Conversely, let
for some
, that satisfy the condition
. Then
and relations (
20)–(22) are correct. Substituting (
20)–(22) in (
14) and taking into account the condition connecting
q and
p, we obtain the equality. □