Denjoy-Wolff theorem
Wolff–Denjoy theorem
For a domain in a complex Banach space
one denotes by
the set of all holomorphic self-mappings of
(cf. also Analytic function).
The classical Denjoy–Wolff theorem is the following one-dimensional result: Let be the open unit disc in the complex plane
. If
is not the identity and is not an automorphism of
with exactly one fixed point in
, then there is a unique point
in the closed unit disc
such that the iterates
of
converge to
, uniformly on compact subsets of
.
This result is, in fact, a summary of the following three assertions A)–C) due to A. Denjoy and J. Wolff [a9], [a33], [a34], [a35], [a36].
For and
, the set
![]() | (a1) |
is called a horocycle at with radius
. This set is a disc in
which is internally tangent to
at
(cf. also Horocycle).
A) The Wolff–Schwarz lemma: If has no fixed point in
, then there is a unique unimodular point
such that every horocycle
in
, internally tangent to
at
, is
-invariant, i.e.,
![]() | (a2) |
This assertion is a natural complement of the Julia–Wolff–Carathéodory theorem [a6].
B) If has no fixed point in
, then there is a unique unimodular point
such that the sequence
converges to
, uniformly on compact subsets of
.
C) If is not an automorphism of
but has a fixed point
in
, then this point is unique in
, and the sequence
converges to
uniformly on compact subsets of
. The limit point in B) is sometimes called the Denjoy–Wolff point of
.
The point in A) and the point
in B) are one and the same. However, this is not always the case in higher-dimensional situations.
Therefore, in the general case, the point in A) is usually called the sink point of
. So, the sink point is the Denjoy–Wolff point if it is also attractive.
By using the Schwarz lemma, assertion C) can be rephrased as follows:
D) Let have a fixed point
. If
is not the identity, then
is power convergent if and only if
.
Since 1926, these results have been developed in several directions. For a nice exposition of the one-dimensional case see [a5].
When is a complex Hilbert space with the inner product
, and
is its open unit ball, the following generalization of the Wolff–Schwarz lemma is due to K. Goebel [a13]: If
has no fixed point, then there exists a unique point
such that for each
the set
![]() | (a3) |
is -invariant.
Geometrically, the set is an ellipsoid the closure of which intersects the unit sphere
at the point
. It is a natural analogue of the horocycle
.
In the finite-dimensional case, , the sink point
is also the Denjoy–Wolff point of
; see [a14], [a24], [a20], [a7].
For infinite-dimensional Hilbert balls, A. Stachura [a30] has given a counterexample to show that the convergence result fails even for biholomorphic self-mappings.
Nevertheless, some restrictions on a mapping from lead to a generalization of assertion B). In particular, C.-H. Chu and P. Mellon [a8] showed that if
is a compact mapping with no fixed point in
, then the sink point
in (a3) is attractive in the topology of locally uniform convergence. For weak convergence results see, for example, [a12].
In 1941, M.H. Heins [a15] extended the Denjoy–Wolff theorem to a finitely connected domain bounded by Jordan curves in (cf. also Jordan curve). His approach is specific to the one-dimensional case.
Another look at the Denjoy–Wolff theorem is provided by a useful result of P. Yang [a38] concerning a characterization of the horocycle in terms of the Poincaré hyperbolic metric in (cf. also Poincaré model). More precisely, he established the following formula:
![]() | (a4) |
So, in these terms the horocycle in
can be described by the formula
![]() | (a5) |
![]() |
Since a hyperbolic metric can be defined in each bounded domain in , one can try to extend this formula and use it as a definition of the horosphere in a domain in
. Unfortunately, in general the limit in (a4) does not exist.
To overcome this difficulty, M. Abate [a1] introduced two kinds of horospheres. More precisely, he defined the small horosphere of centre
, pole
and radius
by the formula
![]() |
![]() |
and the big horosphere of centre
, pole
and radius
by the formula
![]() |
![]() |
where is a bounded domain in
and
is its Kobayashi metric (cf. Hyperbolic metric). For the Euclidean ball in
,
.
Thus, each assertion which states for a domain in
the existence of a point
such that
![]() | (a6) |
for all ,
,
and
is a generalization of the Wolff–Schwarz lemma. This is true, for example, for a bounded convex domain in
[a1]. However, in this case B) does not hold in general. Nevertheless, the convergence result does hold for bounded strongly convex
domains, and for strongly pseudo-convex hyperbolic domains with a
boundary [a1], [a2].
Assertion A) can be generalized to the operator ball over a Hilbert space and, more generally, to the open unit ball
of a so-called
-algebra (see [a37], [a25] and the references there), while B) fails in general even if the compactness of
is assumed [a8].
For the particular case when is defined by the Riesz–Dunford integral in the sense of the functional calculus (cf. also Dunford integral), a full analogue of the Denjoy–Wolff theorem is due to K. Fan [a10], [a11].
For general Banach spaces there are examples showing that there are situations where even a sink point does not exist [a22].
However, the question is still open (as of 2000) for reflexive Banach spaces. Moreover, when is the open unit ball of a strictly convex Banach space
and
is compact or, more generally, condensing (cf. also Contraction operator), then the analogue of B) is valid [a16], [a17], [a18].
The situation is more fully understood when has a fixed point
inside a bounded domain
.
Simple examples show that one cannot always expect to be an attractive fixed point, even if
is not an automorphism. Nevertheless, rephrasing C) in the form D), one can show (see, for example, [a22]) that
is an attractive fixed point of
if and only if the spectral radius of the Fréchet derivative
is strictly less than
.
In the one-dimensional case, if is not the identity, has an interior fixed point and is power convergent, then
is unique. However, this is no longer true in higher dimensions.
A full description of such a situation was obtained by E. Vesentini [a32]: Suppose that has a fixed point
, and denote the spectrum of the linear operator
by
(cf. also Spectrum of an operator). Then
is power convergent if and only if the following two conditions hold:
i) ; and
ii) is a pole of the resolvent of
of order at most one.
Condition ii) is actually equivalent to the condition
![]() |
(see, for example, [a23]). It is also known that conditions i) and ii) are equivalent to being power-convergent to a projection
onto
. So, if the retraction
is the limit point of
under these conditions, then
is constant if and only if
.
The family of iterates of
can be considered a one-parameter discrete sub-semi-group of
(cf. also Semi-group of holomorphic mappings). Therefore, another direction is concerned with analogues of the Denjoy–Wolff theorem for continuous semi-groups of holomorphic self-mappings of
. This approach has been used to study the asymptotic behaviour of solutions to Cauchy problems (see, for example, [a4], [a2], [a3], [a21], [a26], [a27], and [a18]). E. Berkson and H. Porta [a4] have applied their continuous analogue of the Denjoy–Wolff theorem to the study of the eigenvalue problem for composition operators on Hardy spaces.
For results on the asymptotic behaviour (in the spirit of the Denjoy–Wolff theorem) of (not necessarily holomorphic) mappings and semi-groups that are non-expansive with respect to hyperbolic metrics, see, for example, [a19], [a28], [a29], [a31].
References
[a1] | M. Abate, "Horospheres and iterates of holomorphic maps" Math. Z. , 198 (1988) pp. 225–238 |
[a2] | M. Abate, "Converging semigroups of holomorphic maps" Atti Accad. Naz. Lincei , 82 (1988) pp. 223–227 |
[a3] | M. Abate, "The infinitesimal generators of semigroups of holomorphic maps" Ann. Mat. Pura Appl. , 161 (1992) pp. 167–180 |
[a4] | E. Berkson, H. Porta, "Semigroups of analytic functions and composition operators" Michigan Math. J. , 25 (1978) pp. 101–115 |
[a5] | R.B. Burckel, "Iterating analytic self-maps of discs" Amer. Math. Monthly , 88 (1981) pp. 396–407 |
[a6] | C.C. Cowen, B.D. MacCluer, "Composition operators on spaces of analytic functions" , CRC (1995) |
[a7] | G.N. Chen, "Iteration for holomorphic maps of the open unit ball and the generalized upper half-plane of ![]() |
[a8] | C.-H. Chu, P. Mellon, "Iteration of compact holomorphic maps on a Hilbert ball" Proc. Amer. Math. Soc. , 125 (1997) pp. 1771–1777 |
[a9] | A. Denjoy, "Sur l'itération des fonctions analytiques" C.R. Acad. Sci. Paris , 182 (1926) pp. 255–257 |
[a10] | K. Fan, "Iteration of analytic functions of operators I" Math. Z. , 179 (1982) pp. 293–298 |
[a11] | K. Fan, "Iteration of analytic functions of operators II" Linear and Multilinear Algebra , 12 (1983) pp. 295–304 |
[a12] | K. Goebel, S. Reich, "Uniform convexity, hyperbolic geometry and nonexpansive mappings" , M. Dekker (1984) |
[a13] | K. Goebel, "Fixed points and invariant domains of holomorphic mappings of the Hilbert ball" Nonlin. Anal. , 6 (1982) pp. 1327–1334 |
[a14] | M. Hervé, "Quelques propriétés des applications analytiques d'une boule à ![]() |
[a15] | M.H. Heins, "On the iteration of functions which are analytic and single-valued in a given multiply-connected region" Amer. J. Math. , 63 (1941) pp. 461–480 |
[a16] | J. Kapeluszny, T. Kuczumow, S. Reich, "The Denjoy–Wolff theorem in the open unit ball of a strictly convex Banach space" Adv. Math. , 143 (1999) pp. 111–123 |
[a17] | J. Kapeluszny, T. Kuczumow, S. Reich, "The Denjoy–Wolff theorem for condensing holomorphic mappings" J. Funct. Anal. , 167 (1999) pp. 79–93 |
[a18] | T. Kuczumow, S. Reich, D. Shoikhet, "The existence and non-existence of common fixed points for commuting families of holomorphic mappings" Nonlin. Anal. (in press) |
[a19] | T. Kuczumow, A. Stachura, "Iterates of holomorphic and ![]() ![]() |
[a20] | Y. Kubota, "Iteration of holomorphic maps of the unit ball into itself" Proc. Amer. Math. Soc. , 88 (1983) pp. 476–480 |
[a21] | V. Khatskevich, S. Reich, D. Shoikhet, "Asymptotic behavior of solutions of evolution equations and the construction of holomorphic retractions" Math. Nachr. , 189 (1998) pp. 171–178 |
[a22] | V. Khatskevich, D. Shoikhet, "Differentiable operators and nonlinear equations" , Birkhäuser (1994) |
[a23] | Yu. Lyubich, J. Zemanek, "Precompactness in the uniform ergodic theory" Studia Math. , 112 (1994) pp. 89–97 |
[a24] | B.D. MacCluer, "Iterates of holomorphic self-maps of the unit ball in ![]() |
[a25] | P. Mellon, "Another look at results of Wolff and Julia type for ![]() |
[a26] | S. Reich, D. Shoikhet, "Semigroups and generators on convex domains with the hyperbolic metric" Atti Accad. Naz. Lincei , 8 (1997) pp. 231–250 |
[a27] | S. Reich, D. Shoikhet, "The Denjoy–Wolff theorem" Ann. Univ. Mariae Curie–Skłodowska , 51 (1997) pp. 219–240 |
[a28] | S. Reich, "Averaged mappings in the Hilbert ball" J. Math. Anal. Appl. , 109 (1985) pp. 199–206 |
[a29] | S. Reich, "The asymptotic behavior of a class of nonlinear semigroups in the Hilbert ball" J. Math. Anal. Appl. , 157 (1991) pp. 237–242 |
[a30] | A. Stachura, "Iterates of holomorphic self-maps of the unit ball in Hilbert space" Proc. Amer. Math. Soc. , 93 (1985) pp. 88–90 |
[a31] | R. Sine, "Behavior of iterates in the Poincaré metric" Houston J. Math. , 15 (1989) pp. 273–289 |
[a32] | E. Vesentini, "Su un teorema di Wolff e Denjoy" Rend. Sem. Mat. Fis. Milano , 53 (1983) pp. 17–26 |
[a33] | J. Wolff, "Sur l'itération des fonctions holomorphes dans une région, et dont les valeurs appartiennent à cette région" C.R. Acad. Sci. Paris , 182 (1926) pp. 42–43 |
[a34] | J. Wolff, "Sur l'itération des fonctions bornées" C.R. Acad. Sci. Paris , 182 (1926) pp. 200–201 |
[a35] | J. Wolff, "Sur une généralisation d'un théorème de Schwarz" C.R. Acad. Sci. Paris , 182 (1926) pp. 918–920 |
[a36] | J. Wolff, "Sur une généralisation d'un théorème de Schwarz" C.R. Acad. Sci. Paris , 183 (1926) pp. 500–502 |
[a37] | K. Wlodarczyk, "Julia's lemma and Wolff's theorem for ![]() |
[a38] | P. Yang, "Holomorphic curves and boundary regularity of biholomorphic maps of pseudoconvex domains" preprint (1978) |
Denjoy-Wolff theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Denjoy-Wolff_theorem&oldid=49926