# Théorème des résidus

En analyse complexe, le théorème des résidus est un outil puissant pour évaluer des intégrales curvilignes de fonctions holomorphes sur des courbes fermées qui repose sur les résidus de la fonction à intégrer.
Il est utilisé pour calculer des intégrales de fonctions réelles ainsi que la somme de certaines séries. Il généralise le théorème intégral de Cauchy et la formule intégrale de Cauchy.

## Énoncé

Soient U un sous-ensemble ouvert et simplement connexe du plan complexe ℂ, {z$_1$, …, z$_n$} un ensemble de n points de U, et f une fonction définie et holomorphe sur U \ {z$_1$, …, z$_n$}.
Si γ est une courbe rectifiable dans U qui ne rencontre aucun des points singuliers z$_k$ et dont le point de départ correspond au point d'arrivée (c'est-à-dire un lacet rectifiable), alors :
    $\int _{\gamma }f(z)~\mathrm {d} z=2\pi \mathrm {i} \sum _{k=1}^{n}\operatorname {Res} (f,z_{k})\,\mathrm {Ind} _{\gamma }(z_{k}).$
Ici, Res(f,z$_k$) désigne le résidu de f en z$_k$, et $\mathrm {Ind} _{\gamma }(z_{k})$ l'indice du lacet γ par rapport à z$_k$. Intuitivement, l'indice du lacet est le nombre de tours autour de z$_k$ effectués par un point parcourant tout le lacet. Ce nombre de tours est un entier ; il est positif si γ est parcouru dans le sens inverse des aiguilles d'une montre (sens direct) autour de z$_k$, nul si γ ne se déplace pas du tout autour de z$_k$, et négatif si γ est parcouru dans le sens des aiguilles d'une montre autour de z$_k$.
L'indice est défini par
    $\operatorname {Ind} _{\gamma }(z_{k})={\frac {1}{2\pi \mathrm {i} }}\int _{\gamma }{\frac {{\text{d}}z}{z-z_{k}}}.$
Soit F l'ensemble des points singuliers de la fonction f, soit $z_{0}\in F$, la fonction admet un développement de Laurent sur un certain disque épointé $D(z_{0},r)\backslash \{z_{0}\}$ avec $r>0$ centré en $z_{0}$ :
    $f(z)=\sum _{n\in \mathbb {Z} }b_{z_{0},n}(z-z_{0})^{n}$
Soit $h_{z_{0}}$ la série normalement convergente sur les compacts de $U-\{z_{0}\}$ définie par la partie singulière du développement de Laurent de f :
    $h_{z_{0}}(z)=\sum _{-\infty }^{-1}b_{z_{0},n}(z-z_{0})^{n}$
Considérons à présent la fonction g holomorphe sur U et définie par :
    $g(z)=f(z)-\sum _{z_{i}\in F}h_{z_{i}}(z)$
c'est-à-dire la fonction f moins ses développements au voisinage de ses singularités. U étant un ouvert simplement connexe, le lacet $\gamma$ est homotope à un point dans U et par conséquent,
    $\int _{\gamma }g(z)~\mathrm {d} z=0$
nous avons donc :
    $\int _{\gamma }f(z)~\mathrm {d} z=\sum _{z_{i}\in F}\int _{\gamma }h_{z_{i}}(z)~\mathrm {d} z$
Étant donné que les séries $h_{z_{i}}$ sont normalement convergentes, on peut écrire :
    $\int _{\gamma }h_{z_{i}}(z)~\mathrm {d} z=\sum _{-\infty }^{-1}b_{z_{i},n}\int _{\gamma }(z-z_{i})^{n}~\mathrm {d} z$
et on a :
    $\int _{\gamma }(z-z_{i})^{n}~\mathrm {d} z=2i\pi \mathrm {Ind} _{\gamma }(z_{i})\delta _{n,-1}$
où $\delta$ est le symbole de Kronecker. On a utilisé le fait que $(z-z_{i})^{n}$ possède une primitive holomorphe pour tout $n\neq -1$ par conséquent l'intégrale ci-dessus est nulle sauf pour $n=-1$. Dans ce cas, on retrouve la définition de l'indice. En insérant ce résultat dans la formule précédente, on obtient :
    $\int _{\gamma }f(z)~\mathrm {d} z=2\mathrm {i} \pi \sum _{z_{i}\in F}b_{z_{i},-1}\mathrm {Ind} _{\gamma }(z_{i})$
soit encore par définition du résidu :
    $\int _{\gamma }f(z)~\mathrm {d} z=2\mathrm {i} \pi \sum _{z_{i}\in F}\mathrm {Res} (f,z_{i})\mathrm {Ind} _{\gamma }(z_{i}).$

### Exemple

Prenons comme ouvert $U=\mathbb {C}$ qui est bien ouvert et simplement connexe et considérons la fonction holomorphe $f:\mathbb {C} \setminus \{0\}\to \mathbb {C}$ définie par $f(z)=1/z$ (nous avons donc ici $n=1$ et $z_{1}=0$).
Calculons alors l'intégrale de cette fonction le long de la courbe $\gamma :[0,2\pi ]\to \mathbb {C}$ définie par $\gamma (t)=\mathrm {e} ^{\mathrm {i} t}$ (son image étant le cercle unité) avec le théorème des résidus : on a ici $\operatorname {Res} (f,0)=1$ et $\operatorname {Ind} _{\gamma }(0)=1$ d'où
    $\int _{\gamma }f(z)\,\mathrm {d} z=2\mathrm {i} \pi$

## Variante

« Soit D un ouvert de la sphère de Riemann S$_2$, et soit f une fonction holomorphe dans D sauf peut-être en des points isolés qui sont singuliers pour f. Soit Γ le bord orienté d'un compact A contenu dans D, et supposons que Γ ne contienne aucun point singulier de f, ni le point à l'infini. Les points singuliers z$_k$ contenus dans A sont alors en nombre fini, et on a la relation :
$\int _{\Gamma }f(z)~\mathrm {d} z=2\mathrm {i} \pi \sum _{k}\operatorname {Res} (f,z_{k}),$
où Res(f, z$_k$) désigne le résidu de la fonction f au point z$_k$ ; la sommation est étendue à tous les points singuliers z$_k$ ∈ A, y compris éventuellement le point à l'infini. »

## Application au calcul d'intégrales réelles

Pour évaluer des intégrales réelles, le théorème des résidus s'utilise souvent de la façon suivante : l'intégrande est prolongé en une fonction holomorphe sur un ouvert du plan complexe ; ses résidus sont calculés, et une partie de l'axe réel est étendue à une courbe fermée en lui attachant un demi-cercle dans le demi-plan supérieur ou inférieur. L'intégrale suivant cette courbe peut alors être calculée en utilisant le théorème des résidus. Souvent, grâce au lemme d'estimation ou au lemme de Jordan, la partie de l'intégrale sur le demi-cercle tend vers zéro, quand le rayon de ce dernier tend vers l'infini, laissant seulement la partie de l'intégrale sur l'axe réel, celle qui initialement nous intéressait.
La liste ci-dessous n'est pas exhaustive mais elle permet d'avoir une idée générale de la technique utilisant le théorème des résidus, on aborde :
* les intégrales du « premier type »: $\int _{0}^{2\pi }R(\cos(t),\sin(t))~\mathrm {d} t$ où $R$ est une fonction rationnelle ;
* les intégrales du « deuxième type » : $\int _{-\infty }^{+\infty }f(x)~\mathrm {d} x$ ;
* les intégrales du « troisième type » : $\int _{-\infty }^{+\infty }f(x)\mathrm {\mathrm {e} } ^{\mathrm {i} ax}~\mathrm {d} x$ ;
* les intégrales du « quatrième type » : combinaison des deux cas précédents en considérant la valeur principale de Cauchy de l'intégrale.

### Premier type

Soit le calcul de l'intégrale réelle suivante :
    $I=\int _{0}^{2\pi }R(\cos(t),\sin(t))~\mathrm {d} t$
avec $R$ une fonction rationnelle ayant un nombre fini de points singuliers $z_{j}$ et dont aucun n'appartient au cercle $C(0,1)$ centré à l'origine et de rayon 1. On obtient par le théorème des résidus :
    $I=2\mathrm {i} \pi \sum _{|z_{j}|<1}\mathrm {Res} (f,z_{j})$
où $f$ est définie comme suit :
    $f(z)={\frac {1}{\mathrm {i} z}}R\left({\frac {z+z^{-1}}{2}},{\frac {z-z^{-1}}{2\mathrm {i} }}\right).$
Prenons pour contour $\gamma$ le cercle $C(0,1)$ paramétré comme suit :
    $\gamma :[0,2\pi ]\to \mathbb {C} ,\gamma (t)=\mathrm {e} ^{\mathrm {i} t}.$
On a alors :
    $\int _{\gamma }f(z)~\mathrm {d} z=\int _{0}^{2\pi }{1 \over \mathrm {i} \mathrm {e} ^{\mathrm {i} t}}R(\cos(t),\sin(t))\cdot \mathrm {i} \mathrm {e} ^{\mathrm {i} t}~\mathrm {d} t=I$
où l'on a utilisé la formule d'Euler pour passer des exponentielles complexes aux fonctions trigonométriques. Par ailleurs, le théorème des résidus nous indique que cette intégrale vaut :
    $\int _{\gamma }f(z)~\mathrm {d} z=2\mathrm {i} \pi \sum _{z_{j}\in F}\mathrm {Res} (f,z_{j})\mathrm {Ind} _{\gamma }(z_{j})=2\mathrm {i} \pi \sum _{|z_{j}|<1}\mathrm {Res} (f,z_{j})$
où $F$ désigne l'ensemble (fini) des points singuliers de $f$ appartenant au disque ouvert $D(0,1)$. En égalant les deux dernières relations obtenues, on retrouve l'identité de départ.
Problème : calculer l'intégrale suivante :
    $I=\int _{0}^{2\pi }{\frac {\mathrm {d} x}{a+\sin(x)}}\,,\,\,(a>1)$
Solution : on est bien dans les conditions mentionnées plus haut, on a donc :
    $I={2\pi \over {\sqrt {a^{2}-1}}}.$
Développement : la fonction rationnelle correspondante est :
    $R(x,y)={1 \over a+y}.$
On construit donc la fonction $f$ correspondante pour le calcul de résidu :
    $f(z)={1 \over \mathrm {i} z}R\left({z+z^{-1} \over 2},{z-z^{-1} \over 2\mathrm {i} }\right)={2 \over z^{2}+2\mathrm {i} az-1}={\frac {1}{\mathrm {i} {\sqrt {a^{2}-1}}}}\left({\frac {1}{z-p_{-}}}-{\frac {1}{z-p_{+}}}\right),$
les deux pôles simples étant :
    $p_{\pm }=-\mathrm {i} (a\pm {\sqrt {a^{2}-1}}).$
Le pôle $p_{+}$ est en dehors du cercle unité ($|p_{+}|>1$) et ne doit donc pas être considéré ; le pôle $p_{-}=-1/p_{+}$ est à l'intérieur ($|p_{-}|<1$).
Le résidu de $f$ en ce pôle est :
    $\mathrm {Res} (f,p_{-})=\lim _{z\to p_{-}}(z-p_{-})f(z)={1 \over \mathrm {i} {\sqrt {a^{2}-1}}}.$
Il nous reste maintenant à appliquer la formule de départ :
    $I=2\mathrm {i} \pi \mathrm {Res} (f,p_{-})={2\pi \over {\sqrt {a^{2}-1}}}.$

### Deuxième type

Soit le calcul de l'intégrale impropre suivante :
    $I=\int _{-\infty }^{+\infty }f(x)~\mathrm {d} x$
avec $f$ ayant un ensemble de points singuliers isolés $z_{j}$ purement complexes. Si $\lim _{|z|\to +\infty }zf(z)=0$ et si $I$ converge, alors
    $I=2\mathrm {i} \pi \sum _{\Im (z_{j})>0}\mathrm {Res} (f,z_{j})=-2\mathrm {i} \pi \sum _{\Im (z_{j})<0}\mathrm {Res} (f,z_{j}).$
Remarque : dans le cas où $f$ est une fonction rationnelle définie par $f(z)={P(z) \over Q(z)}$ avec $P$ et $Q$ des polynômes, $Q$ sans racines réelles, il suffit d'exiger que $\mathrm {deg} (Q)\geq \mathrm {deg} (P)+2$ (où $\mathrm {deg}$ représente le degré du polynôme) pour que les hypothèses soient vérifiées, la convergence de l'intégrale étant même absolue.
Par hypothèse, $I=\lim _{r\to +\infty }\int _{-r}^{r}f(x)~\mathrm {d} x$.
Soit $r>R$, prenons comme contour le demi cercle situé dans le demi-plan supérieur (le cas dans le demi-plan inférieur est identique) ayant pour diamètre l'intervalle $[-r,r]$ et illustré à la figure 1. À la limite quand $r\to \infty$, le contour entoure la totalité des points singuliers de $f$ dans le demi-plan supérieur (leur indice par rapport au contour sera donc +1). Par le théorème des résidus, on a :
    $\lim _{r\to \infty }\int _{\gamma }f(z)~\mathrm {d} z=2\mathrm {i} \pi \sum _{\Im (z_{j})>0}\mathrm {Res} (f,z_{j}).$
En décomposant le contour en ses deux parties principales, on a aussi :
    $\lim _{r\to \infty }=\int _{-\infty }^{+\infty }f(x)~\mathrm {d} x+\lim _{r\to \infty }\int _{0}^{\pi }f\left(r\mathrm {e} ^{\mathrm {i} t}\right)\mathrm {i} r\mathrm {e} ^{\mathrm {i} t}~\mathrm {d} t.$
Or en utilisant le lemme d'estimation, on a :
    $\lim _{r\to \infty }\left|\int _{0}^{\pi }f\left(r\mathrm {e} ^{\mathrm {i} t}\right)\mathrm {i} r\mathrm {e} ^{\mathrm {i} t}~\mathrm {d} t\right|\leq \lim _{r\to \infty }\left(\pi r\cdot \max _{|z|=r}|f\left(r\mathrm {e} ^{\mathrm {i} t}\right)|\right)=\pi \left|\lim _{|z|\to \infty }zf(z)\right|=0$
où dans la dernière limite on a utilisé le fait que $\alpha >1$. En reprenant les relations précédentes, on retrouve l'identité de départ.
Problème : calculer l'intégrale suivante par la méthode des résidus :
    $I=\int _{-\infty }^{+\infty }{\mathrm {d} x \over x^{2}+a^{2}}\,,\,\,(a>0).$
Solution : cette fonction a une primitive réelle (la fonction $x\rightarrow \arctan(x/a))/a$) et la solution immédiate est $I={\pi \over a}$.
Développement : la fonction admet deux pôles simples $p_{1,2}=\pm \mathrm {i} a$. Un seul de ces deux pôles est compris dans le plan supérieur, on a donc :
    $I=2\mathrm {i} \pi \cdot \mathrm {Res} (f,\mathrm {i} a)$
avec
    $\mathrm {Res} (f,\mathrm {i} a)=\lim _{z\to \mathrm {i} a}{z-\mathrm {i} a \over z^{2}+a^{2}}={1 \over 2\mathrm {i} a}.$
On vérifie donc que $I={\pi \over a}$ ainsi que prévu.

### Troisième type

Soit le calcul de l'intégrale impropre suivante :
    $I=\int _{-\infty }^{+\infty }f(x)\mathrm {e} ^{\mathrm {i} ax}~\mathrm {d} x$
avec $f$ comportant un ensemble de point singuliers isolés purement complexes. Si $\lim _{|z|\to +\infty }f(z)=0$ et si $I$ converge, alors :
    $(\mathrm {si} \,\,a>0),\quad I=2i\pi \sum _{\Im (z_{j})>0}\mathrm {Res} \left(f(z)\mathrm {e} ^{\mathrm {i} az},z_{j}\right)$
et
    $(\mathrm {si} \,\,a<0),\quad I=-2\mathrm {i} \pi \sum _{\Im (z_{j})<0}\mathrm {Res} \left(f(z)\mathrm {e} ^{\mathrm {i} az},z_{j}\right).$
Si $a>0$, on prend le même contour $\gamma$ que dans la section précédente. L'autre cas ($a<0$) est identique (on prend le contour dans le demi-plan inférieur). L'intégrale de $f(z)\mathrm {e} ^{\mathrm {i} az}$ sur le demi-cercle tend vers 0 quand le rayon $r$ vers l'infini car celle de $|\mathrm {e} ^{\mathrm {i} az}|$ est majorée uniformément par rapport à $r$ :
    $\int _{0}^{\pi }\mathrm {e} ^{-ar\sin \theta }r\,\mathrm {d} \theta \leq 2\int _{0}^{\frac {\pi }{2}}\mathrm {e} ^{-ar{\frac {2\theta }{\pi }}}r\,\mathrm {d} \theta \leq {\frac {\pi }{a}}$.
Problème : calculer l'intégrale suivante :
    $I=\int _{-\infty }^{+\infty }{\mathrm {e} ^{\mathrm {i} bx}\mathrm {d} x \over a^{2}+x^{2}}\quad (a,b>0).$
Solution : en appliquant le résultat ci-dessus, on obtient que :
    $I={\pi \over a}\exp(-ab).$
Remarque : la partie réelle de l'intégrale est $\int _{-\infty }^{+\infty }{\cos(bx) \over a^{2}+x^{2}}~\mathrm {d} x$ et cette intégrale vaut précisément $I$ puisque la solution par le théorème des résidus est réelle.
Développement : la fonction $f(z)=(a^{2}+z^{2})^{-1}$ a un seul pôle dans le plan supérieur, à savoir $p_{1}=+\mathrm {i} a$. Le résidu en ce point est :
    $\mathrm {Res} \left(f(z)\mathrm {e} ^{\mathrm {i} bz},+\mathrm {i} a\right)=\lim _{z\to \mathrm {i} a}\left((z-\mathrm {i} a){\mathrm {e} ^{\mathrm {i} bz} \over a^{2}+z^{2}}\right)={\mathrm {e} ^{-ab} \over 2\mathrm {i} a}.$
En appliquant la formule, on a donc :
    $I=2\pi \mathrm {i} \cdot {\mathrm {e} ^{-ab} \over 2\mathrm {i} a}={\pi \over a}\exp(-ab).$

### Quatrième type

Les intégrales du deuxième et du troisième type s'étendent aux cas avec un nombre fini n de pôles situés sur l'axe réel. Il s'agit alors d'une intégrale impropre et l'on considère alors la valeur principale de Cauchy de l'intégrale.
Soit $f$ une fonction holomorphe sur ℂ sauf en un ensemble de pôles simples réels, $x_{j}$, et de singularités isolées purement complexes, $z_{j}$. Supposons que l'on se trouve dans un des deux cas suivant :
* il existe $M,R>0$ et $\alpha >1$ tels que $|f(z)|\leq {M \over |z|^{\alpha }}$ pour tout complexe $z$ de module supérieur ou égal à $R$,
ou
* $f(z)=g(z)\mathrm {e} ^{\mathrm {i} az}$ avec $a>0$ et il existe $M,R>0$ tels que $|g(z)|\leq {M \over |z|}$ pour tout complexe $z$ de module supérieur ou égal à $R$.
Alors la valeur principale de Cauchy (notée $\mathrm {v.p.}$) de l'intégrale existe et on a :
    $\mathrm {v.p.} \int _{-\infty }^{+\infty }f(x)~\mathrm {d} x=2\pi \mathrm {i} \sum _{\Im (z_{j})>0}\mathrm {Res} (f,z_{j})+\pi \mathrm {i} \sum _{x_{j}}\mathrm {Res} (f,x_{j}).$
Remarque : on peut aisément étendre la formule au demi-plan inférieur en changeant le signe de la première somme et en considérant uniquement les singularités purement complexe dans ce demi-plan.
Soit $\gamma _{R,\varepsilon }$ le contour illustré à la figure 3, on peut décomposer ce contour en ses parties principales : notons $\Gamma _{R}$ le demi-cercle de rayon $R$, $\gamma _{\varepsilon ,j}$ le $j$e demi-cercle de rayon $\varepsilon$ contournant la singularité réelle $x_{j}$ et enfin $\sigma _{R,\varepsilon }$, l'ensemble des segments situés sur l'axe réel.
À la limite quand $R\to \infty$ et $\varepsilon \to 0$, on a :
    $\int _{\sigma _{R,\varepsilon }}f(z)~\mathrm {d} z\to \mathrm {v.p.} \int _{-\infty }^{+\infty }f(x)~\mathrm {d} x$
D'après le théorème des résidus, on a, pour $R>0$ suffisamment grand et $\varepsilon >0$ suffisamment petit :
    $\int _{\gamma _{R,\varepsilon }}f(z)~\mathrm {d} z=2\mathrm {i} \pi \sum _{\Im (z_{j})>0}\mathrm {Res} (f,z_{j})$
et on a aussi :
    $\int _{\sigma _{R,\varepsilon }}f(z)~\mathrm {d} z=\int _{\gamma _{R,\varepsilon }}f(z)~\mathrm {d} z-\sum _{j=1}^{n}\int _{\gamma _{\varepsilon ,j}}f(z)~\mathrm {d} z-\int _{\Gamma _{R}}f(z)~\mathrm {d} z.$
On montre de manière identique aux deux types d'intégrations précédents que, à la limite, l'intégrale le long de $\Gamma _{R}$ tend vers zéro dans les deux cas considérés.
Il nous reste donc à calculer les intégrales le long des demi-cercles $\gamma _{\varepsilon ,j}$. Au voisinage d'un pôle simple réel $x_{j}$, $f$ admet un développement de Laurent sur un disque épointé centré en $x_{j}$. Comme il s'agit d'un pôle simple, le seul coefficient non nul de la partie singulière du développement est $a_{-1,j}$.
Autrement dit, sur ce voisinage, on peut écrire :
    $f(z)={a_{-1,j} \over z-x_{j}}+h_{j}(z)$
avec $h_{j}$ une série entière (donc une fonction holomorphe).
On a donc :
    $\int _{\gamma _{\varepsilon ,j}}f(z)~\mathrm {d} z=\int _{\gamma _{\varepsilon ,j}}{a_{-1,j} \over z-x_{j}}~\mathrm {d} z+\int _{\gamma _{\varepsilon ,j}}h_{j}(z)~\mathrm {d} z.$
La deuxième intégrale tend vers zéro quand $\varepsilon \to 0$ puisque $h_{j}$ est holomorphe. En explicitant l'intégrale restante, on a en considérant la paramétrisation suivante des demi-cercles :
    $\gamma _{\varepsilon ,j}:[0,\pi ]\to \mathbb {C} ,\gamma _{\varepsilon ,j}(t)=x_{j}+\varepsilon \mathrm {e} ^{i(\pi -t)}$
où le terme $\pi -t$ vient du fait que ces contours sont parcourus dans le sens anti-trigonométrique,
    $\int _{\gamma _{\varepsilon ,j}}f(z)~\mathrm {d} z=a_{-1,j}\int _{0}^{\pi }{-i\varepsilon \mathrm {e} ^{\mathrm {i} (\pi -t)} \over \varepsilon \mathrm {e} ^{\mathrm {i} (\pi -t)}}~\mathrm {d} t=-i\pi a_{-1,j}.$
Le coefficient $a_{-1,j}$ est par définition le résidu de la fonction en $x_{j}$. À la limite quand $R\to \infty$ et $\varepsilon \to 0$, on a donc bien :
    $\mathrm {v.p.} \int _{-\infty }^{+\infty }f(x)~\mathrm {d} x=2\mathrm {i} \pi \sum _{\Im (z_{j})>0}\mathrm {Res} (f,z_{j})+\mathrm {i} \pi \sum _{x_{j}}\mathrm {Res} (f,x_{j}).$
Problème : calculer, pour $a$ et $b$ réels avec $b>0$ :
    $I^{*}=\mathrm {v.p.} \int _{-\infty }^{+\infty }{\mathrm {e} ^{\mathrm {i} bx} \over x-a}~\mathrm {d} x.$
Solution : en appliquant le résultat ci-dessus, on obtient que :
    $I^{*}=\mathrm {i} \pi \cos(ab)-\pi \sin(ab).~$
Remarque : en considérant respectivement la partie réelle et imaginaire de l'intégrale on obtient :
    $\mathrm {v.p.} \int _{-\infty }^{+\infty }{\cos(bx) \over x-a}~\mathrm {d} x=-\pi \sin(ab)$
    $\mathrm {v.p.} \int _{-\infty }^{+\infty }{\sin(bx) \over x-a}~\mathrm {d} x=\pi \cos(ab)$
et dans le cas particulier $a=0$ et $b=1$, la deuxième intégrale est l'intégrale de la fonction sinus cardinal (première définition) et vaut $\pi$. Il ne s'agit par ailleurs pas d'une intégrale impropre puisque la fonction sinc est partout définie.
Développement : la fonction a un pôle simple réel $x_{1}=a$ et le résidu en ce point est :
    $\mathrm {Res} (f,a)=\mathrm {e} ^{\mathrm {i} ab}=\cos(ab)+\mathrm {i} \sin(ab).~$
En appliquant la formule on a donc bien :
    $I^{*}=\mathrm {i} \pi \cos(ab)-\pi \sin(ab).~$

## Application aux calculs de sommes

Le théorème des résidus permet aussi de calculer certaines sommes infinies. Soit une fonction $g$ ayant pour chaque entier $n$ un résidu égal au $n$-ième terme général d'une somme infinie $S$ ainsi qu'un ensemble $E$ de résidus correspondant à d'autres points. Supposons que l'intégrale de cette fonction le long d'un lacet $\gamma$ rectifiable infiniment grand soit nulle. On a alors par le théorème des résidus :
    $\int _{\gamma }g(z)~\mathrm {d} z=2\mathrm {i} \pi \left[S+\sum _{z_{k}\in E}\mathrm {Res} (g;z_{k})\right]=0.$
Par conséquent, on peut exprimer la somme infinie par une autre somme (en général finie) de résidus :
    $S=-\sum _{z_{k}\in E}\mathrm {Res} (g;z_{k}).$
Les énoncés ci-dessous donnent des exemples plus généraux de cas pour lesquels cette méthode est applicable :
* les sommes du "premier type" : $\sum f(n)$ ;
* les sommes du "deuxième type" : $\sum (-1)^{n}f(n)$.

### Premier type

Soit le calcul de la somme suivante :
    $S=\sum _{-\infty ,n\notin E}^{\infty }f(n)$
avec $f$ ayant un ensemble $E$ de singularités isolées. Supposons que la condition suivante soit respectée :
    il existe $M,R>0$ et $\alpha >1$ tels que $|f(z)|\leq {M \over |z|^{\alpha }}$ pour tout complexe $z$ de module supérieur ou égal à $R$.
Alors, nous avons :
    $\sum _{-\infty ,n\notin E}^{\infty }|f(n)|<+\infty$
et
    $\sum _{-\infty ,n\notin E}^{\infty }f(n)=-\sum _{z_{k}\in E}\mathrm {Res} \left(f(z)\pi \cot(\pi z);z_{k}\right).$
* On a
    $\sum _{n\geq R,n\notin E}|f(n)|\leq M\sum _{n\geq R,n\notin E}{1 \over |z|^{\alpha }}.$
En utilisant le test intégral de convergence on observe que cette somme converge. On utilise le même argument pour montrer que la somme $\sum _{n\leq -R,n\notin E}|f(n)|$ converge. Comme on évite l'ensemble $E$ des singularités de $f$ dans la somme, on a que
    $\sum _{n\geq -R,n\notin E}^{n\leq R}|f(n)|<+\infty$ (somme finie de termes bornés) et donc finalement :
    $\sum _{-\infty ,n\notin E}^{\infty }|f(n)|<+\infty .$
* Il faut trouver une fonction $g$ dont les résidus soient $\left\{f(n),n\in \mathbb {Z} \right\}$. Supposons que $g(z)=f(z)\varphi (z)$, il faut alors que la fonction $\varphi$ ait un pôle simple de résidu 1 à chaque entier. Une fonction ayant cette propriété est donnée par :
    $\varphi (z)=\pi {\cos(\pi z) \over \sin(\pi z)}=\pi \cot(\pi z).$
En effet, $\sin(\pi z)$ admet un zéro simple pour chaque $z$ entier et
    $\mathrm {Res} \left(\pi {\cos(\pi z) \over \sin(\pi z)};n\right)={\pi \cos(\pi n) \over \pi \sin '(\pi n)}={\cos(\pi n) \over \cos(\pi n)}=1$
où l'on a utilisé la formule du résidu pour une fraction ayant un zéro simple au dénominateur.
Prenons pour contour le cercle centré à l'origine et de rayon $R=N+0,5$ avec $N\in \mathbb {N}$ et l'incrément d'un demi montrant que l'on évite les pôles situés en $\pm N$.
A la limite, le théorème des résidus donne :
    $\lim _{N\to \infty }\int _{C(0,R)}f(z)\pi \cot(\pi z)~\mathrm {d} z=2\pi \mathrm {i} \lim _{N\to \infty }\left[\sum _{-N,n\notin E}^{N}f(n)+\sum _{z_{k}\in E}\mathrm {Res} \left(f(z)\pi \cot(\pi z);z_{k}\right)\right].$
Il nous reste maintenant à montrer que cette limite est nulle pour obtenir le résultat voulu. En utilisant le lemme d'estimation, on a :
    $L=\lim _{N\to \infty }\left|\int _{C(0,R)}f(z)\pi \cot(\pi z)~\mathrm {d} z\right|\leq \lim _{N\to \infty }\left(2\pi R\cdot \max _{|z|=R}\left|\pi f(R\mathrm {e} ^{\mathrm {i} t})\cot({\pi R\mathrm {e} ^{\mathrm {i} t}})\right|\right).$
Le module de la fonction $\cot$ est bornée par une certaine constante $K>0$ sur le contour puisque l'on évite les entiers de l'axe réel de par le choix du contour, le membre de droite de l'inégalité ci-dessus est donc majoré par
    $L\leq \lim _{N\to \infty }{2\pi RMK \over R^{\alpha }}=0$
où l'on a utilisé le fait que $\alpha >1$. Comme la limite vaut bien zéro, le résultat est démontré.
Problème : calculer la somme suivante :
    $S=\sum _{-\infty }^{\infty }{1 \over n^{2}+a^{2}}$ pour $a$ réel non nul.
Solution : en appliquant le résultat ci-dessus, on obtient que :
    $S={\pi \coth(\pi a) \over a}.$
Développement : la fonction remplit clairement les conditions et a deux pôles simples en $\pm \mathrm {i} a$, on a donc :
    $S=-\left(\mathrm {Res} \left({\pi \cot(\pi z) \over z^{2}+a^{2}};+\mathrm {i} a\right)+\mathrm {Res} \left({\pi \cot(\pi z) \over z^{2}+a^{2}};-\mathrm {i} a\right)\right).$
Les résidus se calculent aisément puisque ce sont des pôles simples et on a :
    $\mathrm {Res} \left({\pi \cot(\pi z) \over z^{2}+a^{2}};\pm \mathrm {i} a\right)=\lim _{z\to \pm \mathrm {i} a}\left((z\mp \mathrm {i} a)\cdot {\pi \cot(\pi z) \over z^{2}+a^{2}}\right)={\pi \cos(a\mathrm {i} \pi ) \over 2\mathrm {i} a\sin(a\mathrm {i} \pi )}.$
On a donc
    $S=-{\pi \cos(a\pi \mathrm {i} ) \over \mathrm {i} a\sin(a\pi \mathrm {i} )}=-{\pi \over a\mathrm {i} }\cdot {\mathrm {e} ^{\mathrm {i} (\mathrm {i} a\pi )}+\mathrm {e} ^{\mathrm {i} (-a\mathrm {i} \pi )} \over 2}\cdot {2i \over \mathrm {e} ^{\mathrm {i} (\mathrm {i} a\pi )}-\mathrm {e} ^{\mathrm {i} (-a\mathrm {i} \pi )}}={\pi \over a}\cdot {\mathrm {e} ^{-a\pi }+\mathrm {e} ^{a\pi } \over \mathrm {e} ^{a\pi }-\mathrm {e} ^{-a\pi }}$
et finalement
    $S={\pi \coth(a\pi ) \over a}$
où l'on a utilisé la formule d'Euler pour passer des fonctions trigonométriques à des exponentielles complexes ainsi que la définition de la fonction cotangente hyperbolique.
Remarque : par symétrie, on a que :
    $\sum _{-\infty }^{-1}{1 \over n^{2}+a^{2}}=\sum _{1}^{\infty }{1 \over n^{2}+a^{2}}={1 \over 2}\left({\pi \coth(a\pi ) \over a}-{1 \over a^{2}}\right)$
c'est-à-dire la moitié de la somme précédemment calculée moins le terme pour $n=0$. Passant à la limite quand a tend vers 0, et utilisant le développement limité $\coth x={\frac {1}{x}}\left(1+{\frac {x^{2}}{3}}\right)+o(x)$, on retrouve le résultat d'Euler : $\zeta (2)=\sum _{n=1}^{+\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}$.
On trouvera à l'article Fonction digamma une autre méthode de calcul de ces sommes.

### Deuxième type

Soit le calcul de la somme suivante :
    $S=\sum _{-\infty ,n\notin E}^{\infty }(-1)^{n}f(n)$
avec $f$ ayant un ensemble $E$ de singularités isolées. Supposons que $f$ satisfasse à la même condition que pour les sommes du premier type à savoir :
    il existe $M,R>0,\alpha >1$ tels que $|f(z)|\leq {M \over |z|^{\alpha }}$ pour tout complexe $z$ de module supérieur ou égal à $R$.
Alors, la somme converge absolument et on a :
    $\sum _{\infty ,n\notin E}^{\infty }(-1)^{n}f(n)=-\sum _{z_{k}\in E}\mathrm {Res} \left(f(z)\pi \csc(\pi z);z_{k}\right).$
La démonstration est identique à celle du premier type, il nous suffit de montrer que la fonction $\pi \csc(\pi z)$ a pour résidus $\left\{(-1)^{n};n\in \mathbb {Z} \right\}$.
On a $\csc(\pi z)={1 \over \sin(\pi z)}$ avec un pôle simple à chaque point entier.
Le résidu d'une fraction ayant un zéro simple au dénominateur est donné par :
    $\mathrm {Res} \left({{\pi \over \sin(\pi z)};n}\right)={\pi \over \sin '(n\pi )}={\pi \over \pi \cos(n\pi )}=(-1)^{n}$
ce qui conclut la démonstration.
Problème : calculer la somme suivante :
    $S=\sum _{n=1}^{\infty }{(-1)^{n}\sin(n\theta ) \over n^{3}},\quad (-\pi \leq \theta \leq \pi ).$
Solution : en utilisant le résultat ci-dessus, on a :
    $S={\theta (\theta ^{2}-\pi ^{2}) \over 12}.$
Développement : la fonction remplit clairement les conditions et a un pôle triple à l'origine. La façon la plus simple d'obtenir le résidu est d'utiliser un développement en série autour de l'origine :
    ${1 \over z^{3}}\cdot \sin(z\theta )\cdot {\pi \over \sin(\pi z)}={1 \over z^{3}}\cdot \left(z\theta -{z^{3}\theta ^{3} \over 6}+\dots \right)\cdot \left({1 \over z}+{\pi ^{2}z \over 6}+\dots \right).$
Le résidu est, par définition, le coefficient du terme en $z^{-1}$ du développement ci-dessus c'est-à-dire :
    $\mathrm {Res} \left({\sin(z\theta )\pi \over z^{3}\sin(\pi z)};0\right)={\pi ^{2}\theta \over 6}-{\theta ^{3} \over 6}={\theta \over 6}(\pi ^{2}-\theta ^{2}).$
Nous avons donc :
    $\sum _{-\infty ,n\neq 0}^{\infty }(-1)^{n}{\sin(n\theta ) \over n^{3}}={\theta \over 6}(\theta ^{2}-\pi ^{2})=2S$
où la dernière égalité s'obtient en considérant la symétrie de la somme.
Nous avons donc bien :
    $S={\theta (\theta ^{2}-\pi ^{2}) \over 12}.$