# The Residue of an Analytic Function at a Point

Consider the annulus $A(z_0, 0, r)$ (where $r > 0$), and suppose that $f$ is analytic on $A$. Then the Laurent series expansion of $f$ on $A(z_0, 0, r)$ is:

(1)

Where for each $n \in \mathbb{Z}$, $\displaystyle{a_n = \frac{1}{2\pi i} \int_{\gamma} \frac{f(w)}{(w – z_0)^{n+1}} \: dw}$ where $\gamma$ is any circle inside $A(z_0, 0, r) = D(z_0, r) \setminus \{ z_0 \}$. By The Deformation Theorem, each $a_n$ can be evaluated by instead considering $\gamma$ to be any positively oriented closed piecewise smooth curve inside $A(z_0, 0, r)$.

Now look specifically at the term $a_{-1}$. We have that:

(2)

For any positively oriented closed piecewise smooth curve $\gamma$ in $A(z_0, 0, r)$. This coefficient is very important and given a name for that reason.

Definition: If $f$ is analytic on $A(z_0, 0, r)$ and if $\displaystyle{\sum_{n=-\infty}^{\infty} a_n(z – z_0)^n}$ is the corresponding Laurent series expansion on $A(z_0, 0, r)$ then the Residue of $f$ at $z_0$ is $\mathrm{Res} (f, z_0) = a_{-1}$. |

For example, suppose that we want to evaluate the following integral:

(3)

Where $\gamma$ is any positively oriented closed piecewise smooth curve in $\mathbb{C} \setminus \{ 0 \}$.

Note that the function $\displaystyle{f(z) = z \sin \left ( \frac{1}{z} \right )}$ is analytic on $\mathbb{C} \setminus \{ 0 \}$. We’ve already found the Laurent series expansion for $\displaystyle{\sin \left ( \frac{1}{z} \right )}$ on the Laurent’s Theorem for Analytic Complex Functions page to be:

(4)

Therefore the Laurent series expansion for $\displaystyle{z \sin \left ( \frac{1}{z} \right )}$ is:

(5)

Note that $\mathrm{Res} (f, 0) = a^{-1}$ is the coefficient attached to $\frac{1}{z}$ in the expansion above. But this means that $\mathrm{Res} (f, 0) = 0$. In other words:

(6)

For any positively-oriented closed piecewise smooth curve in $\mathbb{C} \setminus \{ 0 \}$. Hence $\displaystyle{\int_{\gamma} z \sin \left ( \frac{1}{z} \right ) \: dz = 0}$ for any of such $\gamma$.

We will now state an extremely simple result regarding the residues of an analytic function $f$ at removable singularities $z_0$.

Proposition 1: If $z_0$ is a removable singularity of $f$ then $\mathrm{Res} (f, z_0) = 0$. |

**Proof:**By the Theorem on the Laurent’s Theorem for Analytic Complex Functions page, if $z_0$ is a removable singularity then $a_n = 0$ for all $n in the Laurent series expansion of $f$ on $A(z_0, 0, r)$ ($r > 0$). Therefore $a_{-1} = \mathrm{Res} (f, 0) = 0$. $\blacksquare$

### Related post:

- Jamaican students to participate in OECD survey – Jamaica Observer
- Women who don’t know how to cook don’t know mathematics – MP – GhanaWeb
- UC Irvine algorithm solves Rubik’s Cube in just 1 second – University of California
- Scientists create Ramanujan Machine: what’s it for, why name it after him? – The Indian Express
- Migrant students immersed in engineering – Foothills Sun Gazette
- How bad is the gender diversity crisis in AI research? Study analysing 1.5million arxiv papers says it’s “serious” – Packt Hub
- For the perfect martini, thank fluid mechanics – The Science Show – ABC News
- A mathematics whizz – Midrand Reporter
- Shakuntala Devi: Numero Uno in Math Wizardry – Hindustan Times
- US-settled siblings keen to teach Madurai students math for free – Times of India