# How to practically classify singularities in complex analysis?

I am having trouble developing an intuition around the different types of singularity in complex analysis.

The types of singularity that I am aware of are:

1. Poles - These arise at $a_{0}$ when $\lim_{a\to a_{0}}f(a)$ does not exist, but $\lim_{a\to a_{0}}\frac{1}{f(a)}$ does.
2. Removable singularities - These arise when both limits exist and are well-defined.
3. Essential Singularities - Neither limit exists

However, I am having real trouble understanding this in practice. For instance, Wikipedia states that $e^{1/z}$ has an essential singularity at $z=0$. But, surely:

$$\lim_{z\to0} \frac{1}{e^{1/z}}=\lim_{z\to 0}e^{-\frac{1}{z}}=0$$

So I don't understand why it doesn't have a pole at $e^{1/z}$?

Moreover, how do we determine the Laurent Series of a function at an essential singularity? Ordinarily, if we have a pole of order $N$ at $z_{0}$, we have that:

$$(z-z_{0})^{N}f(z)=\sum_{n=0}^{\infty}a_{n}(z-z_{0})^{n}$$

As $(z-z_{0})^{N}f(z)$ would now be holomorphic at $z=z_{0}$, but with an essential singularity, I'm not sure how this works?

• Your limit is clearly wrong. You are working in $\mathbb{C}$, thus you have to deal with more than just one direction when taking limits, and clearly going to $0^{-}$ or to $0^+$ gives you quite a different result. For the Laurent series you can easily check that: essential singularity at $z_0$ $\leftrightarrow$ you have infinitely many negative terms in the Laurent expansion at $z_0$ – b00n heT Jun 9 '15 at 15:30
• That limit for $e^{-1/z}$ as $z\to 0$ is not even $0$ along the real line, and certainly not in the complex plane. (Don't assume that $z$ is real and positive...) – Lukas Geyer Jun 9 '15 at 15:31
• Also, $e^{1/z}$ will oscillate rapidly as $z$ approaches $0$ on the imaginary line, further consolidating the fact that limit does not exist – john doe Oct 30 '17 at 17:43

1. Removable: $\lim_{z\to a}f(z)$ exists; $\lim_{z\to a}\dfrac{1}{f(z)}$ may $\infty$ (example: $f(z)=\sin^2z/z$.) Defining $f(a)=\lim_{z\to a}f(z)$ makes $f$ analytic at $a$.
2. Pole: $\lim_{z\to a}f(z)=\infty$ (and $\lim_{z\to a}\dfrac{1}{f(z)}=0$.)
3. Essential: none of the above, which is in fact equivalent to $\lim_{z\to a}f(z)$ does not exist, either as a finite complex number or $\infty$.
As explained in the comments, $\lim_{z\to0}e^{1/z}$ dos not exist.
An example of the Laurent series at an essential singularity: $$e^{1/z}=\sum_{n=0}^\infty\frac{1}{n!}\,\frac{1}{z^n}!+\frac1z+\frac1{2\,z^2}+\dots$$