2
$\begingroup$

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.

  • 3
    The second part does not look right: take $p(z)=(z+1)/2$.2012-12-22

1 Answers 1

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?