Let $f$ be analytic on an open set containing unit disc. If $|f(z)|\le 1$ for $z$ in open disc and $f(1)=1$, prove that $f'(1)\ne 0$. On similar lines is a problem I have been trying since several days: suppose you have a polynomial $p(z)= z^n+ q_{n-1}(z)$ such that $|p(z)|\le 1$ for all $|z|\le 1$, then actually $|p(z)|<1$ for all $|z|\le 1$ or $q=0$. Any help will be greatly appreciated.
Analytic function mapping disk into disk, Does $f(1)=1$ implies $f$ is locally one to one at $1$?
2
$\begingroup$
complex-analysis
-
3The second part does not look right: take $p(z)=(z+1)/2$. – 2012-12-22
1 Answers
2
Hint: Suppose that $f'(1) = 0$. Then the power series of $f$ around $1$ is of the form $f(z) = 1 + a_n(z-1)^n + a_{n+1}(z-1)^{n+1} + \cdots,$ where $a_n\neq 0$ and $n\geq 2$. When $z$ is very close to $1$, it follows that $f(z)\approx 1 + a_n(z-1)^n$. Using such an approximation, can you show that $f$ maps some points within the unit disk outside the unit disk?