Show that $\min \{ |f(z)| : |z|=1 \} \leq |c_0| + |c_1|+ \dots + |c_m|$

156 Views Asked by At

Suppose that $f$ is holomorphic inside and on $\gamma(0;1)$, the circle centered at $0$ of radius $1$, with Taylor expansion $\sum_{n=0}^{\infty} c_nz^n$. Given that $f$ has $m$ zeros inside $\gamma(0;1)$, prove that $$\min \{ |f(z)| : |z|=1 \} \leq |c_0| + |c_1|+ \dots + |c_m|$$

I really don't know how to start. From the hypothesis we know that

$$\frac{1}{2\pi i}\int_{\gamma(0;1)}\frac{f'(z)}{f(z)} dz =m$$ but I'm not sure if that fact is useful at all. Maybe I should exploit the series expansion of $f(z)$, but I haven't come up with anything. Any help will be highly appreciated, and thanks in advance!

1

There are 1 best solutions below

7
On BEST ANSWER

I thank very much @See-Woo Lee who has indicated the right way to prove the issue, i.e., by contradiction.

Let $f(z)=p(z)+q(z)$ with $\begin{cases}p(z)&=&\sum_{n=0}^{m}c_nz^n\\q(z)&=&\sum_{n=m+1}^{\infty} c_nz^n \end{cases}$.

Let $U$ be the unit disk and $\partial U$ be the unit circle.

Let us prove the result by contradiction.

Let us assume the contrary of what has to be proven, i.e., that

$$\forall z \in \partial U, \ |f(z)| > |c_0| + |c_1|+ \dots + |c_m|$$

thus, a fortiori

$$\forall z \in \partial U, \ |f(z)| > |c_0 + c_1 z+ \dots + c_m z^m|=|p(z)|=|f(z)-q(z)|$$

Using Rouché's theorem, $f(z)$ and $f(z)-q(z)=p(z)$ have the same number of zeros inside the unit disk $U$, i.e., $m$ zeros.

But $q(z)=z^{m+1}r(z)$ where $r(z)$ is a holomorphic function; therefore $q(z)$ would have at least $m+1$ zeros in $U$, a contradiction with the previous sentence.