Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\Omega$ be a bounded open subset of $\mathbb{C}$ and $f:\Omega\rightarrow\Omega$ be holomorphic in $\Omega$. Prove that if there exists a point $z_0$ in $\Omega$ such that $$f(z_0)=z_0~~~~\text{and}~~~~f'(z_0)=1$$ then $f$ is linear.

Please give some hints. Thanks in advance!

share|cite|improve this question
If $\Omega$ is the unit disc and $f(z) = z+z^2$, then $f(0) = 0$ and $f^\prime(0) = 1$. However, $f$ is not linear. Are you sure there aren't any additional conditions? – jwsiegel Apr 20 '14 at 2:47
There is. It must be from $\Omega$ to $\Omega$, I guess. – Aloizio Macedo Apr 20 '14 at 3:20
Sorry for the mistake. It is from $\Omega\rightarrow\Omega$. I have made the corrections. – Abishanka Saha Apr 20 '14 at 3:23
I'm guessing $\Omega$ should be connected too. Maybe use something along the lines of Schwarz lemma? – Seth Apr 20 '14 at 3:39
OP, do you know the Schwarz lemma? And do you know you can map a simply connected set $\Omega$ to the unit disc conformally (i.e. preserving $f'$ at each point)? – Eric Auld Apr 20 '14 at 3:41

Consider the family $\mathscr{F} = \{ f^n : n \in \mathbb{Z}^+\}$, where $f^n$ denotes the $n$-fold iterate of $f$, $f\circ f \circ \dotsc \circ f$.

Listen to what Montel has to say about that family. And assume, for the sake of contradiction, that $f$ were not linear.

Since $\Omega$ is bounded, $\mathscr{F}$ is a normal family. To simplify notation, let us assume that $z_0 = 0$. Then in a neighbourhood of $0$, we have the Taylor expansion

$$f(z) = z + \sum_{k=2}^\infty a_k z^k.$$

If we already know that all $a_k$ for $2 \leqslant k < m$ are zero, iterating the expansion $f(z) = z + a_m z^m + O(z^{m+1})$ leads to

$$f^n(z) = z + n\cdot a_m z^m + O(z^{m+1}),$$

which is proved by induction,

$$\begin{align} f^{n+1}(z) &= f(f^n(z))\\ &= f^n(z) + a_m(f^n(z))^m + O(f^n(z)^{m+1})\\ &= z + n\cdot a_m z^m + O(z^{m+1} + a_m(z + O(z^m))^m + O(z^{m+1})\\ &= z + (n+1)a_m z^m + O(z^{m+1}). \end{align}$$

In other words, we have

$$\left(\frac{d}{dz}\right)^m \left(f^n\right)\bigl\lvert_{z = 0} = n\cdot f^{(m)}(0)$$

for $m \geqslant 2$ if we already know that $f^{(k)}(0) = 0$ for $2\leqslant k < m$. But the family of $m^{\text{th}}$ derivatives of a normal family is again normal, so $\left(\left(\frac{d}{dz}\right)^m \left(f^n\right)\bigl\lvert_{z = 0}\right)_{n\in \mathbb{N}}$ must have a convergent subsequence. By the above, that is only possible if $f^{(m)}(0) = 0$.

Thus all derivatives of order $> 1$ of $f$ vanish in $0$, and $f(z) = z$ follows.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.