Le processus consistant à localiser les singularités isolées (pôles) d'une fonction méromorphe et à calculer les coefficients (résidus) du terme (z − z0)−1 dans le développement de Laurent, puis à utiliser ces résidus pour évaluer des intégrales ou des sommes via le théorème des résidus ou des déformations de contour.

Principe

Convertir le comportement local singulier en un invariant numérique unique (le résidu) qui résume la contribution d'un pôle aux intégrales sur contour ; les résidus se sommant lorsque plusieurs singularités sont enfermées et s'annulant aux points analytiques.

Démonstration

Pour f(z)=e^z/(z^2+π^2), calculer les résidus en z = iπ et z = −iπ en développant ou en utilisant Res(f,z0)=lim_{z→z0} (z−z0)f(z) ; sommer les résidus à l'intérieur d'un contour pour obtenir ∮ f(z) dz = 2πi Σ Résidus.

Mauvaise application

Appliquer des formules de pôle simple à des points de branchement ou à des singularités essentielles, omettre les termes de pôles d'ordre supérieur, ou sommer des résidus sans vérifier l'orientation et l'enclos du contour, entraînant des erreurs de signe ou des contributions manquantes.

Conséquence

Un calcul de résidu exact donne des valeurs exactes d'intégrales de contour, simplifie l'évaluation d'intégrales réelles définies, permet des formules d'inversion et des techniques de sommation (par exemple l'évaluation de séries via intégrales complexes) et fournit des coefficients asymptotiques locaux.

Inversion

Plutôt que d'extraire des coefficients locaux de Laurent, on pourrait tenter une approximation globale de l'intégrande ; cette inversion masque la contribution locale concise de chaque singularité et complique l'évaluation des intégrales.

Limite

Valable pour des fonctions méromorphes avec pôles isolés ou lorsque les contributions de coupures de branche peuvent être isolées ; ne s'applique pas directement aux singularités essentielles sans analyse plus approfondie ni aux fonctions sans développement à singularités isolées.

Tension sémantique

Proche du développement en séries de Laurent et de l'extraction de la partie principale, mais distinct des techniques sans résidus comme la déformation vers les directions de plus grande pente : le calcul des résidus met l'accent sur des invariants locaux algébriques tandis que les méthodes asymptotiques insistent sur la géométrie globale des selles.

Synthèse

Le calcul des résidus réduit la structure singulière locale d'un intégrande méromorphe à des résidus numériques dont la somme algébrique (selon l'orientation) détermine les intégrales sur contour et les résultats de sommation ou d'inversion associés.