TEOREMA DEL RESIDUO

Introducción: En el cálculo de integrales complejas se tiene una gran variedad de

teoremas, uno de estos es el teorema del residuo, el cual es importante para su
estudio debido a que el mismo no solo resuelve integrales sino también efectúa un
análisis de las singularidades que presenta la función es decir los puntos en los cuales
la función presenta una discontinuidad o no existe.

Singularidad: Un punto 𝒛0 es un punto singular o una singularidad de una función F,

si F es analítica en algún punto de toda variedad de 𝒛0 , excepto en 𝒛0 mismo.

Existe varios tipos de singularidades entre estos tenemos: aisladas, removibles,

esenciales, en el infinito, puntos de ramificación y polos.

Singularidad Aislada: El punto 𝒛 = 𝒛0 es una singularidad aislada o un punto singular

aislado de la función, si para la función ∃𝜹 > 𝟎, tal que el círculo ‖𝒛 − 𝒛0 ‖ = 𝜹 no
encierra puntos singulares distintos de 𝒛0 . Si tal 𝛿 ∄, decimos que 𝒛0 es una
singularidad no aislada.

Singularidades Removibles: El punto singular 𝒛0 es llamado una singularidad

removible de la función 𝒇(𝒛) si existe:

𝐥𝐢𝐦 𝒇(𝒛)
𝒛→𝒛𝟎

Singularidades Esenciales: Es llamada así aquella singularidad que no es polo, ni

punto de ramificación, ni singularidad removible. Equivalentemente podemos decir
que si 𝒛 = 𝒛0 es una singularidad esencial si no podemos encontrar algún número
positivo n tal que verifique:

𝐥𝐢𝐦 (𝒛 − 𝒛𝟎 )𝒏 𝒇(𝒛) = 𝑨 ≠ 𝟎
𝒛→𝒛𝟎

Singularidad en el Infinito: Cuando al reemplazar 𝒛 = ∞ la función se hace cero.

𝟏
El ejemplo típico es:
𝒛

Puntos de Ramificación: Se da en funciones múltiplemente conexas es decir que

presentan varias soluciones es el caso de las funciones con radicales y las funciones
logarítmicas.

Polos: Si podemos encontrar un entero positivo n tal que:

𝐥𝐢𝐦 (𝒛 − 𝒛𝟎 )𝒏 𝒇(𝒛) = 𝑨 ≠ 𝟎
𝒛→𝒛𝟎

Entonces 𝒛 − 𝒛𝟎 es llamado polo de orden n, si n=1, 𝒛𝟎 es llamado un polo simple.

Residuos: Sea 𝒇(𝒛) univoca y analítica dentro y sobre el círculo C excepto en su
centro, el punto 𝒛 = 𝒛𝟎 entonces por el desarrollo de la serie de Laurent en torno a:
𝒛 − 𝒛𝟎 esta dada por:
∞ ∞

𝒇(𝒛) = ∑ 𝒂𝒏 (𝒛 − 𝒛𝟎 )𝒏 + ∑ 𝒃𝒏 (𝒛 − 𝒛𝟎 )−𝒏
𝒏=𝟎 𝒏=𝟏

Si la parte principal consiste en un número finito de términos es decir 𝒃𝒏 = 𝟎, para

𝒏 > 𝒎 y 𝒃𝒎 ≠ 𝟎 entonces la serie toma la forma:
∞
𝒃𝟏 𝒃𝟐 𝒃𝒎
𝒇(𝒛) = ∑ 𝒂𝒏 (𝒛 − 𝒛𝟎 )𝒏 + + 𝟐 + ⋯+ +𝟎+𝟎+⋯
𝒛 − 𝒛𝟎 (𝒛 − 𝒛𝟎 ) (𝒛 − 𝒛𝟎 )𝒎
𝒏=𝟎

En este caso 𝒇(𝒛) tiene un polo de orden m en 𝒛 − 𝒛𝟎 y el coeficiente 𝒃𝟏 denotado

por 𝒂−𝟏 = 𝒃𝟏 recibe el nombre de residuo de la función en: 𝒛𝟎

Si 𝒇(𝒛) tiene un polo simple en 𝒛 = 𝒛𝟎 entonces la serie es:

∞
𝒃𝟏
𝒇(𝒛) = ∑ 𝒂𝒏 (𝒛 − 𝒛𝟎 )𝒏 +
𝒛 − 𝒛𝟎
𝒏=𝟎

𝒃𝟏
𝒇(𝒛) = 𝒂𝟎 + 𝒂𝟏 (𝒛 − 𝒛𝟎 ) + 𝒂𝟐 (𝒛 − 𝒛𝟎 )𝟐 + ⋯ + 𝒂𝒏 (𝒛 − 𝒛𝟎 )𝒏 + ⋯ +
𝒛 − 𝒛𝟎

(𝒛 − 𝒛𝟎 )𝒇(𝒛) = 𝒂𝟎 + 𝒂𝟏 (𝒛 − 𝒛𝟎 ) + 𝒂𝟐 (𝒛 − 𝒛𝟎 )𝟐 + ⋯ + 𝒂𝒏 (𝒛 − 𝒛𝟎 )𝒏 + ⋯ + 𝒃𝟏

Si tomamos el límite cuando 𝒛 → 𝒛𝟎 se tiene:

𝐥𝐢𝐦 (𝒛 − 𝒛𝟎 ) 𝒇(𝒛) = 𝒃𝟏 = 𝑹𝒆(𝒇, 𝒛𝟎 )

𝒛→𝒛𝟎

Donde: 𝒃𝟏 se denomina residuo de la función en 𝒛𝟎 .

Luego si la función tiene un polo en 𝒛 = 𝒛𝟎 y 𝒛𝟎 está en el interior de la curva C,

entonces:

∮ 𝒇(𝒛)𝒅𝒛 ≠ 𝟎
𝑪

En este caso la función se puede expresar mediante la serie:

∞ ∞

𝒇(𝒛) = ∑ 𝒂𝒏 (𝒛 − 𝒛𝟎 )𝒏 + ∑ 𝒃𝒏 (𝒛 − 𝒛𝟎 )𝒏
𝒏=𝟎 𝒏=𝟏

Convergente ∀ 𝒛𝝐 𝑪 tal que: 𝟎 < ‖𝒛 − 𝒛𝟎 ‖ < 𝑹 y

𝟏 𝒇(𝒛)𝒅𝒛 𝟏
𝒂𝒏 = ∮ 𝒏+𝟏 𝑦 𝒃𝒏 = ∮ (𝒛 − 𝒛𝟎 )𝒏+𝟏 𝒇(𝒛)𝒅𝒛
𝟐𝝅𝒊 𝑪 (𝒛 − 𝒛𝟎 ) 𝟐𝝅𝒊 𝑪
Donde C es una curva cerrada contenida en el anillo 𝟎 < ‖𝒛 − 𝒛𝟎 ‖ < 𝑹

Si 𝒏 = 𝟏 tendremos:

𝟏
𝒃𝟏 = ∮ 𝒇(𝒛)𝒅𝒛 𝑑𝑒 𝑑𝑜𝑛𝑑𝑒: ∮ 𝒇(𝒛)𝒅𝒛 = 𝟐𝝅𝒊𝒃𝟏
𝟐𝝅𝒊 𝑪
𝑪

𝟏
Siendo 𝒃𝟏 es el residuo de la función y además es el coeficiente de: por lo
𝒛−𝒛𝟎

tanto:

∮ 𝒇(𝒛)𝒅𝒛 = 𝟐𝝅𝒊𝒃𝟏
𝑪

Teorema: Si 𝒛𝟎 es un polo de orden m de la función 𝒇(𝒛) entonces el residuo de

dicho polo se calculará mediante la siguiente fórmula:

𝟏 𝒅𝒎−𝟏
𝒃1 = 𝐥𝐢𝐦 𝒎−𝟏 [(𝒛 − 𝒛𝟎 )𝒎 𝒇(𝒛)]
(𝒎 − 𝟏)! 𝒛→𝒛𝟎 𝒅𝒛

Ejem. 1 Dadas las funciones determinar las singularidades que presenta y calcular
su residuo

Nota: Para calcular el residuo de un polo simple también se puede utilizar la

siguiente fórmula:

𝒈(𝒛) 𝒈(𝒛𝟎 )
𝒇(𝒛) = → 𝒃𝟏 =
𝒉(𝒛) 𝒉′(𝒛𝟎 )

Donde: 𝒛𝟎 es el punto de singularidad (polo simple).

Teorema del Residuo: Si una función es analítica dentro y sobre una curva cerrada
C excepto en un número finito de puntos singulares: 𝒛𝟎 , 𝒛𝟏 , 𝒛𝟐 , … , 𝒛𝒋 , … 𝒛𝒎
pertenecientes al interior de C, entonces se cumple que:

∮ 𝒇(𝒛)𝒅𝒛 = 𝟐𝝅𝒊 ∑ 𝒃𝒊
𝑪 𝒋=𝒊

Ejem. 2 Determinar el valor numérico de las siguientes integrales:

Ejercicios: