Earle–Hamilton fixed-point theorem


In mathematics, the Earle–Hamilton fixed point theorem is a result in geometric function theory giving sufficient conditions for a holomorphic mapping of an open domain in a complex Banach space into itself to have a fixed point. The result was proved in 1968 by Clifford Earle and Richard S. Hamilton by showing that, with respect to the Carathéodory metric on the domain, the holomorphic mapping becomes a contraction mapping to which the Banach fixed-point theorem can be applied.

Statement

Let D be a connected open subset of a complex Banach space X and let f be a holomorphic mapping of D into itself such that:
  • the image f is bounded in norm;
  • the distance between points f and points in the exterior of D is bounded below by a positive constant.
Then the mapping f has a unique fixed point x in D and if y is any point in D, the iterates fn converge to x.

Proof

Replacing D by an ε-neighbourhood of f, it can be assumed that D is itself bounded in norm.
For z in D and v in X, set
where the supremum is taken over all holomorphic functions g on D with |g| < 1.
Define the α-length of a piecewise differentiable curve γ: D by
The Carathéodory metric is defined by
for x and y in D. It is a continuous function on D x D for the norm topology.
If the diameter of D is less than R then, by taking suitable holomorphic functions g of the form
with a in X* and b in C, it follows that
and hence that
In particular d defines a metric on D.
The chain rule
implies that
and hence f satisfies the following generalization of the Schwarz-Pick inequality:
For δ sufficiently small and y fixed in D, the same inequality can be applied to the holomorphic mapping
and yields the improved estimate:
The Banach fixed-point theorem can be applied to the restriction of f to the closure of f on which d defines a complete metric, defining the same
topology as the norm.

Other holomorphic fixed point theorems

In finite dimensions the existence of a fixed point can often be deduced from the Brouwer fixed point theorem without any appeal to holomorphicity of the mapping. In the case of bounded symmetric domains with the Bergman metric, and showed that the same scheme of proof as that used in the Earle-Hamilton theorem applies. The bounded symmetric domain D = G / K is a complete metric space for the Bergman metric. The open semigroup of the complexification Gc taking the closure of D into D acts by contraction mappings, so again the Banach fixed-point theorem can be applied. Neretin extended this argument by continuity to some infinite-dimensional bounded symmetric domains, in particular the Siegel generalized disk of symmetric Hilbert-Schmidt operators with operator norm less than 1. The Earle-Hamilton theorem applies equally well in this case.