# 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:

- Teaching Math with Technology: 8 Virtual Resources – The Tech Edvocate
- R20 000 boost for each of Steenberg school’s math champions | Cape Times – Independent Online
- UI releases 2019/2020 admission cut-off marks – P.M. News
- SIU Carbondale awards 25 Chancellor’s Scholarships for 2019-2020 – SIU News
- NVS Exam Analysis 2019- PGT/TGT/AC/MISC (17th-20th Sept): Questions Asked & Difficulty Level – Jagran Josh
- Sensory activities at Sumiton Christian – Daily Mountain Eagle
- Dutch writers at Gothenburg Bookfair (26 – 29/09) | News item – The Netherlands and You
- Poor KZN school honoured for excellence in maths | Daily News – Independent Online
- First Ever Picture of a Black Hole Scoops $3-Million Prize – Scientific American
- Maine semifinalists named in the 2020 National Merit® Scholarship Program – Bangor Daily News