5

Let $f:D \to \mathbb{C}$ be a non-constant holomorphic function ($D$ is the closed unit disk) such that $|f(z)|=1$ for all $z$ satisfying $|z|=1$ . Then prove that there exist $z_0 \in D$ such that $f(z_0)=0$


My thought:-
By Maximum Modulus Theorem $|f(z)|$ has Maximum value on the curve which is $1$.

By Minimum Modulus Theorem if $f(z)\ne0$ for all $z\in D$, then it has its minimum value on the boundary which is $1$.

Then $|f(z)|=1$ for all $z\in D$.

Hence $|f(z)|$ is constant which is a contradiction.

Is my thinking correct?

Jesse P Francis
  • 1,469
  • 3
  • 27
  • 71
poton
  • 4,993
  • 1
  • 42
  • 62

2 Answers2

2

Suppose $f(z)\ne 0\in D\forall z$, $g(z)={1\over f(z)}$ is Holomorphic on $D$ and $|g(z)|=1$ on $|z|=1$, and by MMP $|g(z)|$ attains Maxima $1$ on $|z|=1$ so$|g(z)| \le 1\forall z \in D$ but then $|f(z)|>1 \Leftrightarrow$

Myshkin
  • 35,974
  • 27
  • 154
  • 332
2

By Maximum Modulus Theorem $|f(z)|$ has Maximum value on the curve which is $1$ . by Minimum Modulus Theorem if $f(z)\ne0$ for all $z\in D$ Then it has its minimum value on the boundary which is $1$.Then $|f(z)|=1$ for all $z\in D$.Then $|f(z)|$ is constant. Hence $f(z)$ becomes constant which gives a contradiction.

poton
  • 4,993
  • 1
  • 42
  • 62