Théorème des résidus

Le théorème des résidus en analyse complexe est un puissant outil pour évaluer des intégrales curvilignes de fonctions holomorphes sur des courbes fermées ; il peut aussi bien être utilisé pour calculer des intégrales de fonctions réelles 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.

La proposition est la suivante. Supposons que U soit un sous-ensemble ouvert et simplement connexe du plan complexe $\mathbb {C}$, z₁,...,z_n un nombre fini de points distincts de U et f est une fonction qui est définie et holomorphe sur U - {z₁,...,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 est égal au point d'arrivée (c'est-à-dire un lacet rectifiable), alors :

$\oint _{\gamma }f(z)dz=2\pi i\sum _{k=1}^{n}\operatorname {I} (\gamma ,z_{k})\,\operatorname {Res} (f,z_{k})$

Ici, Res(f,z_k) désigne le résidu de f en z_k, et I(γ,z_k) l'indice du lacet γ de $[0,1]$ dans $\mathbb {C}$ par rapport à z_k. Intuitivement, c'est le nombre de tours autour de z_k effectués par un point décrivant 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 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 {I} (\gamma ,z_{k})={\frac {1}{2\pi i}}\int _{\gamma }{\frac {dz}{z-z_{k}}}$

Si $\gamma$ est une courbe de Jordan, alors I(γ,z_k)=$\pm$1 : le signe plus (+) si la courbe est parcourue dans le sens direct (sens trigonométrique), le signe moins (-) si la courbe est parcourue dans le sens indirect (sens des aiguilles d'une montre). Dans ce cas, on a :

$\oint _{\gamma }f(z)dz=\pm 2\pi i\sum _{k=1}^{n}\operatorname {Res} (f,z_{k})$

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 (ce qui est d'habitude facile), 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, la partie de l'intégrale sur le demi-cercle tend vers zéro (lemme de Jordan), 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.

Ce théorème permet de calculer simplement de nombreuses intégrales de fonctions réelles de variables réelles, par exemple :

• $\int _{0}^{+\infty }{\frac {\sin \,x^{2}}{x}}dx$

• $\int _{0}^{+\infty }{\frac {\ln \,x}{x^{2}-1}}dx$

Ce théorème est utilisé de façon cruciale dans les démonstrations analytiques du théorème des nombres premiers.