3
$\begingroup$

The residue theorem

Let $\Omega\subseteq \mathbb{C}$ open, $f$ meromorphic on $\Omega$ and $A$ be the set of the poles of $f$. If $\Gamma$ is a cycle in $\Omega\backslash A$ with $\mathrm{ind}_{\Gamma}(\alpha)=0$ for $\alpha\in \mathbb{C}\backslash \Omega$, we have: $$ \frac{1}{2\pi i}\int_{\Gamma}f(z)\mathrm{d}z=\sum_{a\in A}{\rm Res}(f,\ a)\cdot \mathrm{ind}_{\Gamma}(a) $$

Usually, there is a sketch of the proof on wikipedia. But, there isn't one for this theorem. Can someone point me or explain me an outline of the proof to this one? Just the most important steps.

$\endgroup$

1 Answer 1

6
$\begingroup$

Basically, you slice your contour in bits, each containing one pole which is possible, because poles are isolated. Then integral over $\alpha$ is split into the sum of integrals over the parts. Note that integrals along the cuts cancel out . By Cauchy theorem or otherwise show that it is equivalent to integrating around small circles surrounding the poles. Now expand $f$ in Laurent series and note that only the terms of the power -1 survive, since

$$\int_C\frac{dz}{(z-a)^n}=0,\quad n\ne 1$$ $$\int_C\frac{dz}{z-a}=2\pi i\cdot \operatorname{ind}_C(a)$$

That's a very rough indication of the proof.

enter image description here

$\endgroup$
2
  • 1
    $\begingroup$ +1) You might wish to reflect the image though, making the arrows go in the other direction. $\endgroup$ Jun 7, 2012 at 18:55
  • $\begingroup$ yes, sure i can never figure out my lefts and rights $\endgroup$
    – Valentin
    Jun 7, 2012 at 19:10

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .