Definición
El coeficiente de (z − z0)^{-1} en la expansión de Laurent de una función compleja alrededor de una singularidad aislada z0; captura el comportamiento singular principal de la función relevante para integrales de contorno.

Principio

Principio
El comportamiento local cerca de una singularidad aislada está codificado por la serie de Laurent; el residuo es el coeficiente cuya integral alrededor de un pequeño lazo equivale a 2πi veces dicho coeficiente.

Demostración

Demostración
Para un polo simple en z0, Res_{z0} f = lim_{z→z0} (z−z0) f(z). Para f(z)=1/(z−z0), el residuo es 1 y ∮_C f(z) dz = 2πi.

Aplicación incorrecta

Aplicación incorrecta
Intentar calcular residuos en puntos de rama o singularidades no aisladas usando la fórmula de polo simple conduce a resultados incorrectos; los residuos requieren singularidades aisladas o un manejo adecuado de cortes de rama.

Consecuencia

Consecuencia
Los residuos permiten evaluar exactamente integrales de contorno y sumas mediante el teorema del residuo, reducen integrales complejas a cálculos algebraicos de residuos y clasifican singularidades por residuo nulo o no nulo.

Inversión

Inversión
Un residuo cero en una singularidad aislada no significa necesariamente que la singularidad sea removible; puede ser un polo de orden superior cuyos coeficientes cancelan el término (z−z0)^{-1}.

Límite

Límite
Definido sólo para singularidades aisladas (poles, singularidades removibles, singularidades esenciales) en regiones donde exista una serie de Laurent; no está definido para singularidades no aisladas o a través de cortes de rama sin especificación.

Tensión semántica

Tensión semántica
Se confunde con la extracción de coeficientes en una serie de Taylor o con la parte principal: el residuo es específicamente el coeficiente de (z−z0)^{-1} en la serie de Laurent, mientras que otros coeficientes describen comportamiento regular o singularidades de orden superior.

Síntesis

Síntesis
Un residuo complejo es el coeficiente de Laurent de orden −1 en una singularidad aislada que encapsula la contribución singular local y determina el valor de las integrales de contorno circundantes.