0
$\begingroup$

I'm learning complex analysis and encountered this question:

Let $f$ be an entire function such that $|f(z)| \geq 11|z|$ on $\mathbb {C}-closure({\mathbb {D}(0, 10))}$. Prove that there exists $z_{0}\in \Bbb{C}$ such that $f(z_{0})=z_{0}$.

I think I would know what to do if the inequality was on all of $\Bbb{C}$, but as it isn't, I have know idea. I'm still thinking in the direction on Casorati-Weierstrass somehow.

Thank you

  • 0
    Can you show that $f$ must be a polynomial? – 2017-02-14
  • 0
    I would love to, but I don't know how. – 2017-02-14
  • 1
    Casorati-Weierstraß tells you the singularity at $\infty$ is not essential. Thus the Laurent expansion of $f$ about $\infty$ has a finite principal part. But the principal part of the Laurent expansion about $\infty$ is just the Taylor series of $f$ about $0$ minus the constant term. – 2017-02-14

1 Answers 1

0

You can do it by absurd. If $f$ has no fix points, then the function $$z \mapsto f(z)-z$$ is never $0$ and you can consider the entire function $g$ defined by $$g(z) = \frac{1}{f(z)-z}.$$ Now you have $$|g(z)|=\frac{1}{|z|}\frac{1}{\left|\frac{f(z)}{z}-1\right|} \leq \frac{1}{10} \frac{1}{\left|\frac{f(z)}{z}-1\right|} \leq \frac{1}{10} \frac{1}{\left|\left|\frac{f(z)}{z}\right|-1\right|}\leq\frac{1}{100},$$ if $z\in \mathbb{C}\backslash D(0,10)$. For the last inequality, I have used your hypothesis. Now by Liouville's theorem, you know that $g$ must be a constant $c\neq 0$. Hence $$f(z) = z+\frac{1}{c}, \quad \forall z\in \mathbb{C}.$$ This leads to a contradiction in view of your hypothesis.

  • 0
    Thank you. Can I get more information about the function from my hypothesis? Like, as commented above, is $f$ a polynomial? – 2017-02-14