The portion
\begin{eqnarray}\label{principal}
\frac{b_1}{z-z_0}+\frac{b_2}{(z-z_0)^2}+\frac{b_3}{(z-z_0)^3}+\cdots
\end{eqnarray}
of the Laurent series,
involving negative powers of $z - z_0$, is called the
*principal part* of $f$
at $z_0$. The coefficient $b_1$ in equation
(\ref{principal}), turns out to play a very
special role in complex analysis.
It is given a special name: the *residue* of the function $f(z)$.
In this section we will focus on the principal part to identify the isolated
singular point $z_0$ as one of three special types.

If the principal part of $f$ at $z_0$ contains at least one nonzero term but the number
of such terms is only finite, then there exists a integer $m \geq 1$ such that
$$b_m\neq 0 \quad\text{and} \quad b_{k}=0\quad \text{for}\quad k\gt m.$$
In this case, the isolated singular point $z_0$ is called a *pole of order*
$m$. A pole of order $m = 1$ is usually referred to as a *simple pole*.

Consider the functions $$f(z)=\dfrac{e^z-1}{z^2},\qquad g(z)=\frac{\cos z}{z^2}\qquad\text{and}\qquad h(z)=\frac{\sinh z}{z^4},$$ with an isolated singularity at $z_0=0$. Figures 1, 2 and 3 show the enhanced phase portraits of these functions defined in the square $|\text{Re }z|\lt 3$ and $|\text{Im }z|\lt 3$.

Now from the enhanced phase portraits we can observe that $z_0=0$ is in fact a pole which order can also be easily seen, it is just the number of isochromatic rays of one (arbitrarily chosen) color which meet at that point. Thus we can claim that $f$, $g$ and $h$ have poles of order 1, 2 and 3; respectively. To confirm this let's calculate the Laurent series representation centred at $0$. First observe that \begin{eqnarray*} f(z)&=&\frac{1}{z^2}\left[ \left( 1 + z + \frac{z^2}{2!}+\cdots \right) - 1 \right]\\ &=&\frac{1}{z} +\frac{1}{2!}+\frac{z}{3!}+\frac{z^2}{4!}+\cdots, \quad (0\lt|z|\lt\infty). \end{eqnarray*} Thus we can see that $f$ has a simple pole. On the other hand \begin{eqnarray*} g(z)&=&\frac{1}{z^2}\left(1-\frac{z^2}{2!}+\frac{z^4}{4!}-\cdots \right)\\ &=&\frac{1}{z^2}-\frac{1}{2!}+\frac{z^2}{4!}-\cdots, \quad (0\lt|z|\lt\infty) \end{eqnarray*} then $g$ has a pole of order 2. Finally, $h$ has a pole of order 3 since \begin{eqnarray*} h(z)&=&\frac{1}{z^4}\left(z+\frac{z^3}{3!}+\frac{z^5}{5!}+\cdots \right)\\ &=&\frac{1}{z^3}+\frac{1}{3!}\cdot \frac{1}{z}+\frac{z}{5!}+\frac{z^3}{7!}+\cdots, \quad(0\lt|z|\lt\infty). \end{eqnarray*}

When every $b_n$ is zero, so that
\begin{eqnarray}\label{residue003}
f(z)=\sum_{n=0}^{\infty} a_n(z-z_0)^n,\quad (0\lt |z-z_0| \lt R_2).
\end{eqnarray}
In this case, $z_0$ is known as a *removable singular point*. Note that the residue at a removable
singular point is always zero. If we define, or possibly redefine, $f$ at $z_0$ so that
$f(z_0) = a_0$, expansion (\ref{residue003}) becomes valid throughout the entire disk $|z - z_0| \lt R_2$.
Since a power series always represents an analytic function interior to its circle of
convergence, it follows that $f$ is analytic at $z_0$ when it is assigned the
value $a_0$ there. The singularity $z_0$ is, therefore, removed.

Consider the functions $$f(z)=\frac{1-\cos z}{z^2},\qquad g(z)=\frac{\sin z}{z}\qquad\text{and}\qquad h(z)=\frac{z}{e^z-1}.$$ Figure shows the enhanced phase portraits of these functions defined in the square $|\text{Re }z|\lt 8$ and $|\text{Im }z|\lt 8$.

We notice that $f$ has a singularity at $z_0=0$ but in this case the plot does not show isochromatic lines meeting at that point. This indicates that the singularity might be removable.

We can confirm this claim easily from the Laurent series representation: \begin{eqnarray*} f(z)&=&\frac{1}{z^2}\left[1-\left(1-\frac{z^2}{2!}+\frac{z^4}{4!}-\frac{z^6}{6!}+\cdots \right)\right]\\ &=&\frac{1}{2!}-\frac{z^2}{4!}+\frac{z^4}{6!}-\cdots, \quad (0\lt |z|\lt \infty). \end{eqnarray*} In this case, when the value $f(0)=1/2$ is assigned, $f$ becomes entire. Furthermore, we can intuitively observe that since $z=0$ is a removable singular point of $f$, then $f$ must be analytic and bounded in some deleted neighbourhood $0\lt |z|\lt \varepsilon$.

**Exercise 1:** Find the Laurent series expansion for $g$ and $h$ to confirm that
they have removable singularities at $z_0=0$.

If an infinite number of the coefficients $b_n$ in the principal part (\ref{principal}) are nonzero, then
$z_0$ is said to be an *essential singular* point of $f$.

The function $$f(z)=\exp\left(\frac{1}{z}\right)$$ has an essential singularity at $z_0=0$ since \begin{eqnarray*} f(z)&=&1+\frac{1}{1!}\cdot\frac{1}{z}+\frac{1}{2!}\cdot \frac{1}{z^2}+\cdots\\ &=&\sum_{n=0}^{\infty}\frac{1}{n!}\cdot \frac{1}{z^n}, \quad (0\lt |z|\lt \infty). \end{eqnarray*}

Figure 7 shows the enhanced portrait of $f$ in the square ${|\text{Re }z|\lt 0.5}$ and ${|\text{Im }z|\lt 0.5}$. The first thing we notice is that the behaviour of $f$ near the essential singular point is quite irregular. Observe how the isochromatic lines, near $z_0=0$, form infinite self-contained figure-eight shapes.

In fact, a neighbourhood of $z_0=0$ intersects infinitely many isochromatic lines of the phase portrait of one and the same colour [Wegert, 2012, p. 181]. This fact can be appreciated intuitively by plotting the simple phase portrait of $\exp(1/z)$ on a smaller region, as shown in Figure 8.

Another example with an essential singularity at the origin is the function $$g(z) = (z − 1) \cos\left(\frac{1}{z}\right)$$ Figure 9 shows the enhanced phase portrait of $g$ in the square $|\text{Re } z| \lt 0.3$ and $|\text{Im } z| \lt 0.3$.

**Exercise 2:** Find the Laurent series expansion for $(z − 1) \cos(1/z)$ to confirm that
it has an essential singularity at $z_0=0$.

Phase portraits are quite useful to understand the behaviour of functions near isolated singularities. Figures 7 and 9 indicate a rather wild behavior of these functions in a neighbourhood of essential singularities, in comparison with poles and removable singular points. In addition, they can be used to explore and comprehend, from a geometric point of view, more abstract mathematical results such as the Great Picard Theorem, which tells us that any analytic function with an essential singularity at $z_0$ takes on all possible complex values (with at most a single exception) infinitely often in any neighbourhood of $z_0$.

NEXT: The Mandelbrot Set