course |
course_year |
question_number |
tags |
title |
year |
Further Analysis |
IB |
73 |
|
4.II.13G |
2002 |
A function $f$ is said to be analytic at $\infty$ if there exists a real number $r>0$ such that $f$ is analytic for $|z|>r$ and $\lim {z \rightarrow 0} f(1 / z)$ is finite (i.e. $f(1 / z)$ has a removable singularity at $z=0)$. $f$ is said to have a pole at $\infty$ if $f(1 / z)$ has a pole at $z=0$. Suppose that $f$ is a meromorphic function on the extended plane $\mathbb{C}{\infty}$, that is, $f$ is analytic at each point of $\mathbb{C}_{\infty}$ except for poles.
(a) Show that if $f$ has a pole at $z=\infty$, then there exists $r>0$ such that $f(z)$ has no poles for $r<|z|<\infty$.
(b) Show that the number of poles of $f$ is finite.
(c) By considering the Laurent expansions around the poles show that $f$ is in fact a rational function, i.e. of the form $p / q$, where $p$ and $q$ are polynomials.
(d) Deduce that the only bijective meromorphic maps of $\mathbb{C}_{\infty}$ onto itself are the Möbius maps.