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 Hamilton by showing that, with respect to the Carathéodory metric on D, f becomes a contraction mapping to which the contraction mapping theorem can be applied.

Statement

Let D be a connected open subset of a complex Banach space X and let f be a homolomorphic mapping of D into itself such that:

• the image f(D) is bounded in norm;
• the distance between points f(D) 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

Proof

For z in D and v in X, set

$\displaystyle {\alpha (z,v)=\sup _{g}|g^{\prime }(z)v|,}$

where the supremum is taken over all holomorphic functions g on D with |g(z)| < 1.

Define the α-length of a piecewise differentiable curve γ:[0,1] $\rightarrow$ D by

$\displaystyle {\ell (\gamma )=\int _{0}^{1}\alpha (\gamma (t),{\dot {\gamma }}(t))\,dt.}$

The Carathéodory metric is defined by

$\displaystyle {d(x,y)=\inf _{\gamma (0)=x,\gamma (1)=y}\ell (\gamma )}$

for x and y in D.

References

• Earle, Clifford J.; Hamilton, Richard S. (1970), A fixed point theorem for holomorphic mappings, Proc. Sympos. Pure Math., vol. XVI, American Mathemetical Society, pp. 61–65
• Harris, Lawrence A. (2003), "Fixed points of holomorphic mappings for domains in Banach spaces", Abstr. Appl. Anal., 5: 261–274