A First Course in Complex Analysis by Matthias Beck, Gerald Marchesi, Dennis Pixton, and Lucas Sabalka Exer 9.3, 9.4
These seem to be the Big and Little Picard Theorems or at least related to them.
(Exer 9.3) Prove $f$ has an essential singularity at $z_0 \implies \frac 1 f$ has an essential singularity at $z_0$.
(Exer 9.4) Prove that any complex number is arbitrarily close to the image of a nonconstant entire function $f$. Hint: if $f$ is not a polynomial, use Casorati-Weierstrass Theorem (Thm 9.7) on $f(\frac 1 z)$.
Question 1. What exactly are the connections between Exer 9.3 and 9.4 and Big and Little Picard Theorems?
- In the textbook, 'Picard's Theorem' is only briefly mentioned on p.131. It seems Exer 9.4 is for Little Picard while Exer 9.3 is for Big Picard.
Question 2. Is the following right?
By the contrapositive of Exer 9.4, if $f$ is bounded and entire, then $f$ is either not entire or not nonconstant and thus constant. Thus, both Exer 9.4 and Little Picard are indeed strengthenings of Liouville's Theorem (Thm 5.13).
Possibly related questions: $f$ has an essential singularity in $z_0$. What about $1/f$?, Essential singularlites of the function $f(z)$ and $1/f(z)$?, Proving image of nonconstant, entire function is dense in $\mathbb{C}$
Best Answer
For your first question:
Exer 9.3 has a direct corollary that the image of an analytic function $f$ on any punctured neighborhood of its essential singularity $z_0$ is dense in $\mathbb C$. In fact, assume on the contrary that on some punctured neighborhood of $z_0$, $f(z)$ takes value outside the disk $B_r(w)$. Note that $z_0$ is an essential singularity of $f(z)-w$, thus by Exer 9.3 it is a essential singularity of $1/(f(z)-w)$. From our assumption, $|1/(f(z)-w)|\le1/r$, contradicting the fact that an analytic function is unbounded in any punctured neighborhood of its essential singularity. Furthermore, it's immediate from density that $f(z)$ takes value in any disk $B_r(w)$ infinitely often.
The above statement is a weaker version of
Exer 9.4 is obviously a weaker version of
For your second question: