Holomorphic function with a unique fixed point

626 Views Asked by At

Let $\omega \subset \mathbb C$ be a simple connected set and $\,f:\omega \to A$ is an analytic function where $A \subset \omega$ is compact. Show that $f$ has an unique fixed point.

I think we can reduce the problem by helping from Riemann open mapping theorem to unit disk but I can't prove the existence of fixed point.

1

There are 1 best solutions below

5
On BEST ANSWER

I imagine that the domain $\omega$ of $f$ is open.

If $f$ is constant, then it has a unique fixed point and we are done. Assume that $f$ is not constant, and hence an open map (cf. Open Mapping Theorem).

Let $K=\overline{f(\omega)}$. Then $K\subset A\subset \omega$, and as $A$ is compact, so is $K$. Thus $$ \omega\supset K\supset f(\omega)\supset f(K)\supset \cdots\supset f^{n}(\omega)\supset f^{n}(K)\supset\cdots, $$
and hence $$\bigcap_{n\in\mathbb N}f^{n}(\omega)=\bigcap_{n\in\mathbb N}f^{n}(K)=L.$$ Clearly, $L$ is compact and non-empty, as the intersection of a decreasing sequence of non-empty compact sets.

Next, define the sequence $f_1=f$, $\,f_2=f\circ f$, and $f_{n+1}=f\circ f_n$.
Clearly, $\{\,f_n\}_{n\in\mathbb N}$ is a sequence of bounded holomorphic functions, and by virtue of Montel's Theorem, there is a subsequence $\{\,f_{k_n}\}$ converging uniformly in the compact subsets of $\omega$ to say $g\in\mathcal H(\omega)$. Also, as the image of $f^n$ is $f^n(\omega)$, then the image of $g$ is a subset of $L$. We shall show that $g(\omega)=L$, which implies that $g$ is constant (otherwise $g(\omega)$ would be an open set). If $z_0\in L$, then, $$ z_0\in f^{n+1}(\omega)=f^n\big(\,f(\omega)\big)\subset f^n(K), $$ for every $n\in\mathbb N$, and hence there exists a $w_n\in K$, such that $z_0=f^n(w_n).$ But $\{w_{k_n}\}_{n\in\mathbb N}\subset K$ has a convergent subsequence $\{w_{\ell_n}\}_{n\in\mathbb N}$, with $w_{\ell_n}\to w_0$. Now we have that $$ z_0=f^{\ell_n}(w_{\ell_n})\to g(w_0). $$ Indeed, $g$ is constant. Let $g(z)=z_0$, for all $z\in\omega$. Then $$ f(z_0)=f\big(g(z_0)\big)=\lim_{n\to\infty} f\big(\,f^{k_n}(z_0)\big) =\lim_{n\to\infty} f^{k_n}\big(\,f(z_0)\big)=g\big(f(z)\big)=z_0. $$ Thus $z_0$ is a fixed point for $f$. If $f$ had a second fixed point, say $z_1$, then $$ z_1=f(z_1)=f^2(z_1)=\cdots=f^{k_n}(z_1)\to g(z_1)=z_0. $$ Indeed, $f$ has a unique fixed point.

Note. The domain $\omega$ does not have to be simply connected.