2
$\begingroup$

Assume that $f$ is an analytic function on the unit disc $\mathbb{D}$ and continuous up to the closure. Therefore $f(z)=\sum\limits_{n=0}^\infty c_nz^n$ for all $z \in \mathbb{D}$. If $f$ have $m$ zeros in $\mathbb{D}$ how can you prove that $$ \min\{|f(z)| : |z|=1\}\leq |c_0|+\ldots+|c_m| $$

To begin with, the minimum of the funcion in $|z|=1$ shold be equal to the minimun on the whole $\overline{\mathbb{D}}$. Then I tried using the mean value principle around the zeros, or the expansion near a zero, but I couldn't do it.

$\endgroup$
3
  • $\begingroup$ The minimum principle holds only if $f\ne 0$ in the domain. So, if $m=0$, you can use $\min_{\partial D} |f| = \min_{D} |f|\le |f(0)|=|c_0|$. When $m\ge 1$, the minimum on the boundary is not in general the same as the minimum in $D$, the latter being 0. $\endgroup$
    – user31373
    Commented May 15, 2012 at 22:52
  • $\begingroup$ @balestrav: I'm deleting my answer since there was a mistake in the application of Rouche (the hypothesis were not quite satisfied), and I don't see a clear way to patch it up without appealing to the same argument given by Leonid, so you should probably accept his answer. $\endgroup$
    – Jose27
    Commented May 17, 2012 at 3:03
  • $\begingroup$ @balestrav: Hm, apparently I can't delete an accepted answer. Please un-accept it. $\endgroup$
    – Jose27
    Commented May 17, 2012 at 3:04

1 Answer 1

Reset to default
2
$\begingroup$

Let $P(z)=c_0+\dots +c_m z^m$ and $g(z)=f(z)-P(z)$. Suppose that $|P(z)|<|f(z)|$ for all $z\in\partial D$. Then the Rouche theorem says that $g$ has $m$ zeros in $D$. This is absurd; $g$ has a zero of order $m+1$ at the origin. Therefore, $|P(z)|\ge |f(z)|$ for some $z\in\partial D$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .