SERIES DE TAYLOR Y SERIES DE LAURENT

TEOREMA DE TAYLOR
Sea C una curva simple cerrada que contiene a los puntos 𝑎 y 𝑎 + ℎ. Si 𝑓(𝑧) es
analítica dentro y sobre C, entonces la función se puede representar mediante
una serie o desarrollo de Taylor dada por
1 1
𝑓 (𝑎 + ℎ) = 𝑓 (𝑎) + 𝑓´(𝑎)ℎ + 𝑓´´(𝑎)ℎ2 + . . . + 𝑓 (𝑛) (𝑎)ℎ𝑛 + . . .
2! 𝑛!
O haciendo el siguiente cambio 𝑧 = 𝑎 + ℎ ⟹ ℎ = 𝑧 − 𝑎, la serie toma la
forma
1 1
𝑓 (𝑧) = 𝑓 (𝑎) + 𝑓´(𝑎)(𝑧 − 𝑎) + 𝑓´´(𝑎)(𝑧 − 𝑎)2 + . . . + 𝑓 (𝑛)(𝑎)(𝑧 − 𝑎)𝑛 + . . .
2! 𝑛!
La región de convergencia para la serie anterior es dada por |𝑧 − 𝑎| < 𝑅, donde R es el radio de convergencia y es la
distancia desde el punto hasta la singularidad más próxima a la función 𝑓 (𝑧). Sobre la circunferencia |𝑧 − 𝑎| = 𝑅 la
serie puede converger o no, pero para |𝑧 − 𝑎| > 𝑅 la serie diverge. Si la singularidad más cercana a la función 𝑓 (𝑧) está
en el infinito, entonces su radio de convergencia es 𝑅 = +∞ y la serie converge ∀ 𝑧.
Si 𝑎 = 0 la serie de Taylor se llama serie de Maclaurin y es de la forma
1 1
𝑓(𝑧) = 𝑓 (0) + 𝑓´(0)𝑧 + 𝑓´´(0)𝑧 2 + . . . + 𝑓 (𝑛) (0)𝑧 𝑛 + . . .
2! 𝑛!
Algunas series de Maclaurin
1 1 1
1. 𝑒 𝑧 = 1 + 𝑧 + 𝑧 2 + 𝑧 3 + . . . + 𝑧 𝑛 + . . . |𝑧| < +∞ (∀𝑧)
2! 3! 𝑛!
1 1 1 1
2. sin 𝑧 = 𝑧 − 𝑧 3 + 𝑧 5 − 𝑧 7 + . . . + (−1)𝑛−1 𝑧 2𝑛−1 + . . . |𝑧| < +∞ (∀𝑧)
3! 5! 7! (2𝑛 − 1)!
1 1 1 1
3. cos 𝑧 = 1 − 𝑧 2 + 𝑧 4 − 𝑧 6 + . . . + (−1)𝑛−1 𝑧 2𝑛−2 + . . . |𝑧| < +∞ (∀𝑧)
2! 4! 6! (2𝑛 − 2)!
1 1 1 1
4. ln(1 + 𝑧) = 𝑧 − 𝑧 2 + 𝑧 3 − 𝑧 4 + . . . + (−1)𝑛−1 𝑧 𝑛 + . . . |𝑧| < 1
2 3 4 𝑛
1 1 1 1
5. tan−1 𝑧 = 𝑧 − 𝑧 3 + 𝑧 5 − 𝑧 7 + . . . + (−1)𝑛−1 𝑧 2𝑛−1 + . . . |𝑧| < 1
3 5 7 2𝑛 − 1
𝑝(𝑝 − 1) 2 𝑝(𝑝 − 1)(𝑝 − 2) 3 𝑝(𝑝 − 1) . . . (𝑝 − 𝑛 + 1) 𝑛
6. (1 + 𝑧)𝑝 = 1 + 𝑝𝑧 + 𝑧 + 𝑧 + . . .+ 𝑧 + . .. |𝑧| < 1, 𝑝∈ℤ
2! 3! 𝑛!
La serie (6) es conocida como la serie binomial y converge ∀𝑧 tal que |𝑧| < 1.

TEOREMA DE LAURENT

Sean 𝐶1 y 𝐶2 dos círculos concéntricos de centro en 𝑎 (a es un punto singular de 𝑓 (𝑧) ) y

de orientaciones positivas, de radios 𝑅1 y 𝑅2 respectivamente. Suponga que 𝑓(𝑧) es
unívoca y analítica sobre la región anular R: 𝑅2 < |𝑧 − 𝑎| < 𝑅1 . Si 𝑎 + ℎ es un punto sobre
la región R anular, entonces la función se puede representar mediante una serie o desarrollo
de Laurent en la región dada por
𝑎−1 𝑎−2 𝑎−3
𝑓 (𝑎 + ℎ) = 𝑎0 + 𝑎1 ℎ + 𝑎2 ℎ2 + 𝑎3 ℎ3 + . . . + + 2 + 3 + . . .
ℎ ℎ ℎ
donde los coeficientes se pueden determinar por
1 𝑓 (𝑧 )
𝑎𝑛 = ∮ 𝑑𝑧 𝑛 = 0, 1, 2, 3, . . .
2𝜋𝑖 𝐶 (𝑧 − 𝑎)𝑛+1
1
𝑎− 𝑛 = ∮ (𝑧 − 𝑎)𝑛−1 𝑓 (𝑧) 𝑑𝑧 𝑛 = 1, 2, 3, . . .
2𝜋𝑖 𝐶
Pero estos coeficientes 𝑎𝑛 y 𝑎− 𝑛 se pueden escribir en una sola fórmula
1 𝑓 (𝑧 )
𝑎𝑛 = ∮ 𝑑𝑧 𝑛 = 0, ±1, ±2, ±3, . . .
2𝜋𝑖 𝐶 𝑧 − 𝑎)𝑛+1
(
Y haciendo el siguiente cambio 𝑧 = 𝑎 + ℎ ⟹ ℎ = 𝑧 − 𝑎, la serie de Laurent toma la forma
𝑎−1 𝑎−2 𝑎−3
𝑓(𝑧) = 𝑎0 + 𝑎1 (𝑧 − 𝑎) + 𝑎2 (𝑧 − 𝑎)2 + 𝑎3 (𝑧 − 𝑎)3 + . . . + + + + . . .
𝑧 − 𝑎 (𝑧 − 𝑎 )2 (𝑧 − 𝑎 )3
 +∞

𝑓 (𝑧 ) = ∑ 𝑎𝑛 (𝑧 − 𝑎 )𝑛
𝑛=−∞
donde
𝑎−1 𝑎−2 𝑎−3
⏟0 + 𝑎1 (𝑧 − 𝑎) + 𝑎2 (𝑧 − 𝑎)2 + 𝑎3 (𝑧 − 𝑎)3 + . . . +
𝑓 (𝑧 ) = 𝑎 + 2
+
(𝑧 − 𝑎 )3
+ . . .
𝑧 − 𝑎 (𝑧 − 𝑎 )
⏟
parte analítica
parte principal
donde los coeficientes se pueden determinar por
1 𝑓 (𝜉 )
𝑎𝑛 = ∮ 𝑑𝜉 𝑛 = 0, ±1, ±2, ±3, . . .
2𝜋𝑖 𝐶 (𝜉 − 𝑎)𝑛+1
La parte analítica de la serie de Laurent es: 𝑎0 + 𝑎1 (𝑧 − 𝑎) + 𝑎2 (𝑧 − 𝑎)2 + 𝑎3 (𝑧 − 𝑎)3 + . . .
𝑎−1 𝑎−2 𝑎−3
Y la parte principal de la serie de Laurent es: + 2
+ + . . .
𝑧 − 𝑎 (𝑧 − 𝑎 ) (𝑧 − 𝑎 )3
Si la parte principal de la serie de Laurent es cero, esta se reduce a una serie de Taylor.

SERIES DE TAYLOR, SERIES DE MACLAURIN

EJEMPLO: Representar la función 𝑓 (𝑧) = ln(1 + 𝑧) mediante una serie de Taylor alrededor de 𝑧 = 0 (serie de
Maclaurin) y determine su región de convergencia.

Solución:
La función 𝑓 (𝑧) = ln(1 + 𝑧) es analítica en el punto 𝑧 = 0, por consiguiente, podemos representarla mediante una
serie de Maclaurin en el punto dado
1 1
𝑓(𝑧) = 𝑓(0) + 𝑓´(0)𝑧 + 𝑓´´(0)𝑧 2 + . . . + 𝑓 (𝑛)(0)𝑧 𝑛 + . . .
2! 𝑛!

𝑓(𝑧) = ln(1 + 𝑧) 𝑓(0) = ln(1) = 0

1
𝑓´(𝑧) = 𝑓´(0) = 1
1+𝑧
1
𝑓´´(𝑧) = − 𝑓´´(0) = −1
(1 + 𝑧 )2
(−1)(−2)
𝑓´´´(𝑧) = 𝑓´´´(0) = 2!
(1 + 𝑧 )3
(−1)(−2)(−3)
𝑓 (4) (𝑧) = 𝑓 (4) (0) = −3! . . .
( 1 + 𝑧 )4
(−1)𝑛 𝑛!
𝑓 (𝑛+1) (𝑧) = 𝑓 (𝑛+1) (0) = (−1)𝑛 𝑛! . . . ∀ 𝑛 = 0, 1, 2, 3, . . .
(1 + 𝑧)𝑛+1
Entonces la representación de la función mediante la serie de Maclaurin es
1 1
𝑓(𝑧) = 𝑓(0) + 𝑓´(0)𝑧 + 𝑓´´(0)𝑧 2 + . . . + 𝑓 (𝑛)(0)𝑧 𝑛 + . . .
2! 𝑛!
1 2 2! 3 3! 4 (−1)𝑛−1 (𝑛 − 1)! 𝑛
𝑓 (𝑧 ) = 𝑧 − 𝑧 + 𝑧 − 𝑧 + . . . + 𝑧
2! 3! 4! 𝑛!
1 1 1 (−1)𝑛−1 (𝑛 − 1)! 𝑛
𝑓 (𝑧 ) = 𝑧 − 𝑧 2 + 𝑧 3 − 𝑧 4 + . . . + 𝑧 + . . .
2 3 4 𝑛 (𝑛 − 1)!
1 1 1 (−1)𝑛−1 𝑛
ln(1 + 𝑧) = 𝑧 − 𝑧 2 + 𝑧 3 − 𝑧 4 + . . . + 𝑧 + . . . ∎
2 3 4 𝑛
Para la convergencia de la serie de Maclaurin, usamos el criterio de D´Alambert, para esto tomamos el n-ésimo término
general de la serie
(−1)𝑛−1 𝑛
𝑢𝑛 = 𝑧
𝑛

(−1)𝑛+1−1 𝑛+1 (−1)𝑛 1

𝑢𝑛+1 𝑧 𝑧
lim | | = lim | 𝑛 + 1 | = lim | 𝑛 + 1 | = |𝑧| lim | 𝑛 + 1 | = |𝑧| lim |− 𝑛 |
𝑛⟶+∞ 𝑢𝑛 𝑛⟶+∞ (−1) 𝑛−1 𝑛⟶+∞ (−1) 𝑛−1 𝑛⟶+∞ −1 𝑛⟶+∞ 𝑛+1
𝑧𝑛 𝑛
𝑛 𝑛
 𝑢𝑛+1 𝑛 𝑛 1
lim | | = |𝑧| lim | | = |𝑧| lim = |𝑧| lim = |𝑧|
𝑛⟶+∞ 𝑢𝑛 𝑛⟶+∞ 𝑛 + 1 𝑛⟶+∞ 𝑛 + 1 𝑛⟶+∞ 1
1+ ⏟
𝑛
=0
𝑢𝑛+1
lim | | = |𝑧|
𝑛⟶+∞ 𝑢𝑛

Para la convergencia |𝑧| < 1, la región de convergencia es un círculo.

EJEMPLO: Representar la función 𝑓 (𝑧) = ln(1 + 𝑧⁄1 − 𝑧) mediante una serie de Taylor alrededor de 𝑧 = 0 (serie de
Maclaurin) y determine su región de convergencia.

Solución:
La función
1+𝑧
𝑓(𝑧) = ln ( ) = ln(1 + 𝑧) − ln(1 − 𝑧)
1−𝑧
es analítica en el punto 𝑧 = 0, por consiguiente, podemos representarla mediante una serie de Maclaurin en el punto
dado
Pero por el ejercicio anterior ln(1 + 𝑧) lo hemos representado mediante una serie de Maclaurin en el punto 𝑧 = 0 por
1 1 1
ln(1 + 𝑧) = 𝑧 − 𝑧 2 + 𝑧 3 − 𝑧 4 + . . .
2 3 4
Haciendo en la serie anterior 𝑧 = −𝑧
1 1 1
ln(1 − 𝑧) = −𝑧 − 𝑧 2 − 𝑧 3 − 𝑧 4 − . . .
2 3 4
Restando las series
1 1 1 1 1 1
ln(1 + 𝑧) − ln(1 − 𝑧) = 𝑧 − 𝑧 2 + 𝑧 3 − 𝑧 4 + . . . − (−𝑧 − 𝑧 2 − 𝑧 3 − 𝑧 4 − . . . )
2 3 4 2 3 4
1 2 1 3 1 4 1 2 1 3 1 4
ln(1 + 𝑧) − ln(1 − 𝑧) = 𝑧 − 𝑧 + 𝑧 − 𝑧 + . . . + (𝑧 + 𝑧 + 𝑧 + 𝑧 + . . . )
2 3 4 2 3 4
+∞
2𝑛+1
1 1 𝑧
ln(1 + 𝑧) − ln(1 − 𝑧) = 2 (𝑧 + 𝑧 3 + 𝑧 5 + . . . ) = 2 ∑
3 5 2𝑛 + 1
𝑛=0
+∞
2𝑛+1
1+𝑧 1 1 2𝑧
ln ( ) = 2 (𝑧 + 𝑧 3 + 𝑧 5 + . . . ) = ∑ serie de Maclaurin ∎
1−𝑧 3 5 2𝑛 + 1
𝑛=0
Para la convergencia de la serie de Maclaurin, usamos el criterio de D´Alambert, para esto tomamos el n-ésimo término
general de la serie
2 𝑧 2𝑛+1
𝑢𝑛 =
2𝑛 + 1
2 𝑧 2𝑛+2+1 2 𝑧 2𝑛 𝑧 3
𝑢𝑛+1 |𝑢𝑛+1 | |2𝑛 + 2 + 1| | 2𝑛 + 3 | |2 𝑧 2𝑛 𝑧 3 (2𝑛 + 1)|
lim | | = lim = lim = lim = lim
𝑛⟶+∞ 𝑢𝑛 𝑛⟶+∞ |𝑢𝑛 | 𝑛⟶+∞ 2 𝑧 2𝑛+2+1 𝑛⟶+∞ 2 𝑧 2𝑛 𝑧 𝑛⟶+∞ |2 𝑧 2𝑛 𝑧(2𝑛 + 3|
|2𝑛 + 2 + 1| |2𝑛 + 1|
𝑢𝑛+1 2𝑛 + 1
lim | | = |𝑧|2 lim = |𝑧|2 < 1
𝑛⟶+∞ 𝑢𝑛 𝑛⟶+∞ 2𝑛 + 3

Para la convergencia de la serie de Taylor se tiene que |𝑧|2 < 1 ⟹ |𝑧| < 1 , la región de convergencia es un
círculo.

EJEMPLO: Representar la función 𝑓 (𝑧) = sin z mediante una serie de Taylor alrededor de 𝑧 = 𝜋⁄4 y determine su
región de convergencia.

Solución:
La función 𝑓(𝑧) = sin z es analítica en el punto 𝑧 = 𝜋⁄4, por consiguiente, podemos representarla mediante una serie de
Taylor en el punto dado
𝜋 𝜋 𝜋 1 𝜋 𝜋 2 1 𝜋 𝜋 𝑛
𝑓(𝑧) = 𝑓 ( ) + 𝑓´ ( ) (𝑧 − ) + 𝑓´´ ( ) (𝑧 − ) + . . . + 𝑓 (𝑛) ( ) (𝑧 − ) + . . .
4 4 4 2! 4 4 𝑛! 4 4
𝑓(𝑧) = sin 𝑧 𝑓´(𝑧) = cos 𝑧 𝑓´´(𝑧) = − sin 𝑧 𝑓´´´(𝑧) = − cos 𝑧 𝑓 (4) (𝑧) = sin 𝑧 . . .
𝜋 √2 𝜋 √2 𝜋 √2 𝜋 √2 𝜋 √2
𝑓( ) = 𝑓´ ( ) = 𝑓´´ ( ) = − 𝑓´´´ ( ) = − 𝑓 (4) ( ) = . . .
4 2 4 2 4 2 4 2 4 2
La representación de la función mediante una serie de Taylor en el punto 𝑧 = 𝜋⁄4 es
𝜋 𝜋 𝜋 1 𝜋 𝜋 2 1 𝜋 𝜋 𝑛
sin 𝑧 = 𝑓 ( ) + 𝑓´ ( ) (𝑧 − ) + 𝑓´´ ( ) (𝑧 − ) + . . . + 𝑓 (𝑛) ( ) (𝑧 − ) + . . .
4 4 4 2! 4 4 𝑛! 4 4
√2 √2 𝜋 √2 1 𝜋 2 √2 1 𝜋 3 √2 1 𝜋 4
sin 𝑧 = + (𝑧 − ) − (𝑧 − ) − (𝑧 − ) + (𝑧 − ) + . . .
2 2 4 2 2! 4 2 3! 4 2 4! 4
√2 𝜋 1 𝜋 2 1 𝜋 3 1 𝜋 4 1 𝜋 𝑛
sin 𝑧 = (1 + (𝑧 − ) − (𝑧 − ) − (𝑧 − ) + (𝑧 − ) + . . . + (𝑧 − ) + . . . )
2 4 2! 4 3! 4 4! 4 𝑛! 4

Para la convergencia de la serie de Taylor, usamos el criterio de D´Alambert, para esto tomamos el n-ésimo término
general de la serie
1 𝜋 𝑛
𝑢𝑛 = (𝑧 − )
𝑛! 4
1 𝜋 𝑛+1 𝜋 𝑛+1
𝑢𝑛+1 |𝑢𝑛+1 | |(𝑛 + 1)! (𝑧 − 4 ) | |𝑛! (𝑧 − 4 ) |
lim | | = lim = lim = lim
𝑛⟶+∞ 𝑢𝑛 𝑛⟶+∞ |𝑢𝑛 | 𝑛⟶+∞ 1 𝜋 𝑛 𝑛⟶+∞ 𝜋 𝑛
| (𝑧 − ) | |(𝑛 + 1)! (𝑧 − ) |
𝑛! 4 4
𝜋 𝑛 𝜋
𝑢𝑛+1 |𝑛! (𝑧 − ) (𝑧 − )|
lim | | = lim 4 4 = |𝑧 − 𝜋| lim 1 𝜋
= |𝑧 − | 0 = 0 < 1, ∀ |𝑧| < ∞
𝑛⟶+∞ 𝑢𝑛 𝑛⟶+∞ 𝜋 𝑛 4 ⏟
𝑛⟶+∞ 𝑛 + 1 4
|(𝑛 + 1)𝑛! (𝑧 − ) |
4 =0
La serie converge en la región |𝑧| < ∞

SERIES DE LAURENT

2𝑧
EJEMPLO: Representar la función 𝑓 (𝑧) = 𝑒 ⁄(𝑧 − 1)3 mediante una serie de Laurent alrededor de su punto singular
𝑧 = 1 y clasifique su singularidad determine su región de convergencia de la serie.
Solución:
La función
𝑒 2𝑧
𝑓 (𝑧 ) =
(𝑧 − 1) 3
no es analítica en el punto 𝑧 = 1, por consiguiente, podemos representarla mediante una serie de Laurent en el punto
dado.
Para obtener la serie de Laurent, usaremos la serie de Maclaurin, hagamos el siguiente cambio
𝑧−1=𝑢 ⟹ 𝑧=𝑢+1
𝑒 2𝑧 𝑒 2(𝑢+1) 𝑒 2 𝑒 2𝑢 𝑒 2 2𝑢
= = = 3 𝑒
(𝑧 − 1)3 𝑢3 𝑢3 𝑢
Tenemos la serie conocida
1 1 1
𝑒 𝑧 = 1 + 𝑧 + 𝑧 2 + 𝑧 3 + . . . + 𝑧 𝑛 + . . . serie de Maclaurin |𝑧| < +∞ (∀ 𝑧)
2! 3! 𝑛!
Haciendo 𝑧 = 2𝑢
1 1 1
𝑒 2𝑢 = 1 + 2𝑢 + (2𝑢)2 + (2𝑢)3 + . . . + (2𝑢)𝑛 + . . . |2𝑢| < +∞ ⟹ |𝑢| < +∞
2! 3! 𝑛!
𝑒 2 2𝑢 𝑒 2 1 1 1
𝑒 = 3 (1 + 2𝑢 + (2𝑢)2 + (2𝑢)3 + . . . + (2𝑢)𝑛 + . . . )
𝑢3 𝑢 2! 3! 𝑛!
𝑒 2 2𝑢 𝑒2 1 2 1 3 1 𝑛
3
𝑒 = 3
(1 + 2(𝑧 − 1) + (2(𝑧 − 1)) + (2(𝑧 − 1)) + . . . + (2(𝑧 − 1)) + . . . )
𝑢 (𝑧 − 1) 2! 3! 𝑛!
𝑒 2𝑧 𝑒2 2𝑒 2 2𝑒 2 4𝑒 2 2𝑒 2
𝑓 (𝑧 ) = = + + + + (𝑧 − 1)+ . . . serie de Laurent ∀ 𝑧 ≠ 1 ∎
(𝑧 − 1)3 (⏟𝑧 − 1)3 (𝑧 − 1)2 𝑧 − 1 ⏟3 3
parte principal parte analítica
2𝑧
La serie converge ∀ 𝑧 ≠ 1, 𝑧 = 1 es un polo de orden 𝑘 = 3, para la función 𝑓(𝑧) = 𝑒 ⁄(𝑧 − 1)3.
EJEMPLO: Representar la función 𝑓 (𝑧) = (𝑧 − 3) sin 1⁄𝑧 + 2 mediante una serie de Laurent alrededor de su punto
singular 𝑧 = −2 y clasifique su singularidad determine su región de convergencia de la serie.

Solución:
La función
1
𝑓(𝑧) = (𝑧 − 3) sin
𝑧+2
no es analítica en el punto 𝑧 = −2, por consiguiente, podemos representarla mediante una serie de Laurent en el punto
dado.
Para obtener la serie de Laurent, usaremos la serie de Maclaurin, hagamos el siguiente cambio
𝑧+2=𝑢 ⟹ 𝑧=𝑢−2
1 1
(𝑧 − 3) sin = (𝑢 − 5) sin
𝑧+2 𝑢
Usando la serie de Maclaurin
1 1 1 1
sin 𝑧 = 𝑧 − 𝑧 3 + 𝑧 5 − 𝑧 7 + . . . + (−1)𝑛−1 𝑧 2𝑛−1 + . . . |𝑧| < +∞
3! 5! 7! (2𝑛 − 1)!
1
Haciendo 𝑧 = 𝑢
1 1 1 1 1 1 1 1
sin = − + − + . . .
𝑢 𝑢 3! 𝑢3 5! 𝑢5 7! 𝑢7
1 1
(𝑧 − 3) sin = (𝑢 − 5) sin
𝑧+2 𝑢
1 1 1 1 1 1 1 1
(𝑧 − 3) sin = (𝑢 − 5) ( − + − + . . . )
𝑧+2 𝑢 3! 𝑢3 5! 𝑢5 7! 𝑢7
1 𝑢−5 1 𝑢−5 1 𝑢−5 1 𝑢−5
(𝑧 − 3) sin = − + − + . . .
𝑧+2 𝑢 3! 𝑢3 5! 𝑢5 7! 𝑢7
1 5 1 1 5 1 1 5 1 1 5
(𝑧 − 3) sin =1− − 2
+ 3
+ 4
− 5
− 6
+ + . . .
𝑧+2 𝑢 3! 𝑢 3! 𝑢 5! 𝑢 5! 𝑢 7! 𝑢 7! 𝑢7
1 5 1 1 5 1 1 5
(𝑧 − 3) sin = ⏟1 − − 2
+ 3
+ 4
− − ⋯ serie de L ∀ 𝑧 ≠ −2 ∎
𝑧 +2 𝑝𝑎 ⏟ 𝑧 + 2 3! (𝑧 + 2) 3! (𝑧 + 2) 5! (𝑧 + 2) 5! (𝑧 + 2)5
parte principal

La serie converge ∀ 𝑧 ≠ −2, 𝑧 = −2 es un punto singular esencial para la función 𝑓 (𝑧) = (𝑧 − 3) sin 1⁄𝑧 + 2 .

( )
EJEMPLO: Representar la función 𝑓(𝑧) = 𝑧 − sin 𝑧 ⁄𝑧 3 mediante una serie de Laurent alrededor de su punto singular
𝑧 = 0 y clasifique su singularidad determine su región de convergencia de la serie.

Solución:
La función
𝑧 − sin 𝑧
𝑓 (𝑧 ) =
𝑧3
no es analítica en el punto 𝑧 = 0, por consiguiente, podemos representarla mediante una serie de Laurent en el punto
dado.

𝑧 − sin 𝑧 1 1 1
= 3 (𝑧 − sin 𝑧) = 2 − 3 sin 𝑧
𝑧3 𝑧 𝑧 𝑧
Usando la serie de Maclaurin para la función 𝑠𝑖𝑛 𝑧
1 1 1 1
sin 𝑧 = 𝑧 − 𝑧 3 + 𝑧 5 − 𝑧 7 + . . . + (−1)𝑛−1 𝑧 2𝑛−1 + . . . |𝑧| < +∞
3! 5! 7! (2𝑛 − 1)!
𝑧 − sin 𝑧 1 1
= 2 − 3 sin 𝑧
𝑧3 𝑧 𝑧
𝑧 − sin 𝑧 1 1 1 1 1 1
= 2 − 3 (𝑧 − 𝑧 3 + 𝑧 5 − 𝑧 7 + . . . + (−1)𝑛−1 𝑧 2𝑛−1 + . . . )
𝑧3 𝑧 𝑧 3! 5! 7! (2𝑛 − 1)!
𝑧 − sin 𝑧 1 1 1 1 1 1 1
3
= 2 − 2 + + − 𝑧 2 + 𝑧 4 − 𝑧 6 + . . . serie de Laurent ∀ 𝑧 ∎
𝑧 𝑧 𝑧 3! 3! 5! 7! 9!
𝑧 − sin 𝑧 1 1 2 1 4 1 6
= − 𝑧 + 𝑧 − 𝑧 + . . . serie de Laurent ∀ 𝑧 ∎
𝑧3 ⏟
3! 5! 7! 9!
parte analítica
La serie converge para todo valor de z.
( )
𝑧 = 0 es una singularidad evitable para la función 𝑓(𝑧) = 𝑧 − sin 𝑧 ⁄𝑧 3 , porque el límite existe, es decir
𝑧 − sin 𝑧 1 − cos 𝑧 sin 𝑧 1 sin 𝑧 1
lim = lim = lim = lim =
𝑧⟶0 𝑧 3 𝑧⟶0 3𝑧 2 𝑧⟶0 6 𝑧 ⏟
6 𝑧⟶0 𝑧 6
=1

EJEMPLO: Representar la función 𝑓 (𝑧) = 𝑧⁄(𝑧 + 1)(𝑧 + 2) mediante una serie de Laurent alrededor de su punto
singular 𝑧 = −2 y clasifique su singularidad determine su región de convergencia de la serie.

Solución:
La función
𝑧
𝑓 (𝑧 ) =
(𝑧 + 1)(𝑧 + 2)
no es analítica en el punto 𝑧 = −2, por consiguiente, podemos representarla mediante una serie de Laurent en el punto
dado.
Sea 𝑧 + 2 = 𝑢 ⟹ 𝑧 = 𝑢 − 2
𝑧 𝑢−2 𝑢−2 1 2−𝑢 1
= =( )( )=( )( )
(𝑧 + 1)(𝑧 + 2) (𝑢 − 1)𝑢 𝑢 𝑢−1 𝑢 1−𝑢
𝑧 2−𝑢 1
=( )( )
(𝑧 + 1)(𝑧 + 2) 𝑢 1−𝑢
Usando la serie geométrica convergente
1
= 1 + 𝑢 + 𝑢2 + 𝑢3 + 𝑢4 + . . . serie geométrica convergente |𝑢| < 1
1−𝑢
𝑧 2−𝑢
= (1 + 𝑢 + 𝑢 2 + 𝑢 3 + 𝑢 4 + . . . )
(𝑧 + 1)(𝑧 + 2) 𝑢
𝑧 1
= (2 − 𝑢 ) ( + 1 + 𝑢 + 𝑢 2 + 𝑢 3 + . . . )
(𝑧 + 1)(𝑧 + 2) 𝑢
𝑧 1 1
= 2 ( + 1 + 𝑢 + 𝑢2 + 𝑢3 + . . . ) − 𝑢 ( + 1 + 𝑢 + 𝑢2 + 𝑢3 + . . . )
(𝑧 + 1)(𝑧 + 2) 𝑢 𝑢
𝑧 1
= 2 ( + 1 + 𝑢 + 𝑢2 + 𝑢3 + . . . ) + (−1 − 𝑢 − 𝑢2 − 𝑢3 − 𝑢4 . . . )
(𝑧 + 1)(𝑧 + 2) 𝑢
𝑧 2
= + 1 + 𝑢 + 𝑢2 + 𝑢3 + . . .
(𝑧 + 1)(𝑧 + 2) 𝑢
𝑧 2
= +⏟1 + 𝑧 + 2 + (𝑧 + 2)2 + (𝑧 + 2)3 + . . . serie de Laurent ∎
(𝑧 + 1)(𝑧 + 2) ⏟
𝑧+2 parte analítica
pp
Como la serie geométrica converge en 0 < |𝑢| < 1, entonces la serie de Laurent converge para todos los valores de z
tales que 0 < |𝑧 + 2| < 1, 𝑧 ≠ −2.
𝑧 = −2 es un polo de orden 𝑘 = 1 para la función 𝑓(𝑧) = 𝑧⁄(𝑧 + 1)(𝑧 + 2) por que
𝑧 𝑧
lim (𝑧 + 2) = lim =2
𝑧⟶−2 (𝑧 + 1)(𝑧 + 2) 𝑧⟶−2 𝑧 + 1

EJEMPLO: Representar la función 𝑓(𝑧) = 1⁄𝑧 2 (𝑧 − 3)2 mediante una serie de Laurent alrededor de su punto singular
𝑧 = 3 y clasifique su singularidad determine su región de convergencia de la serie.

Solución:
La función
1
𝑓 (𝑧 ) =
𝑧 2 (𝑧
− 3)2
no es analítica en el punto 𝑧 = 3, por consiguiente, podemos representarla mediante una serie de Laurent en el punto
dado.
Sea 𝑧 − 3 = 𝑢 ⟹ 𝑧 = 𝑢 + 3
 1 1 1 1 1 1 1 𝑢 −2
= = = 2 = (1 + )
𝑧 2 (𝑧 − 3)2 (𝑢 + 3)2 𝑢2 𝑢2 (𝑢 + 3)2 9𝑢2 𝑢 9𝑢2 3
(1 + 3)
Aplicando la fórmula binomial
𝑝(𝑝 − 1) 2 𝑝(𝑝 − 1)(𝑝 − 2) 3 𝑝( 𝑝 − 1 ) . . . ( 𝑝 − 𝑛 + 1 ) 𝑛
(1 + 𝑧)𝑝 = 1 + 𝑝𝑧 + 𝑧 + 𝑧 + . . .+ 𝑧 + . .. |𝑧| < 1,
2! 3! 𝑛!
𝑝∈ℤ
𝑢 −2 𝑢 (−2)(−2 − 1) 𝑢 2 (−2)(−2 − 1)(−2 − 2) 𝑢 3
(1 + ) = 1 + (−2) + ( ) + ( ) + . . .
3 3 2! 3 3! 3
Para la convergencia
𝑢
| | < 1 ⟹ |𝑢| < 3
3
𝑢 −2 2 𝑢2 4𝑢3
(1 + ) = 1 − 𝑢 + − + . . . |𝑢| < 3
3 3 3 27
1 1 𝑢 −2 1 2 𝑢2 4𝑢3 1 2 1 4𝑢
2 2
= 2
(1 + ) = 2
(1 − 𝑢 + − + . . .) = 2 − + − + . . .
𝑧 (𝑧 − 3) 9𝑢 3 9𝑢 3 3 27 9𝑢 27𝑢 27 243
1 1 2 1 4 (𝑧 − 3)
𝑓 (𝑧 ) = 2 = − + − + . . . serie de Laurent
𝑧 (𝑧 − 3) 2 9(𝑧 − 3)
⏟ 2 27(𝑧 − 3) ⏟ 27 243
parte principal parte analítica

∀ z ≠ 3 tal que 0 < |𝑢| = |𝑧 − 3| < 3 ∎

1 2 1 4 (𝑧 − 3)
𝑓 (𝑧 ) = − + − + . . . serie de Laurent ∀ z ≠ 3 tal que 0 < |𝑧 − 3| < 3 ∎
9(𝑧 − 3 )
⏟ 2 27(𝑧 − 3) ⏟27 243
parte principal parte analítica

La serie de Laurent para la función 𝑓 (𝑧) converge en la región 𝑅: 0 < |𝑧 − 3| < 3, 𝑧 ≠ 3 ,

1
𝑧 = 3 es un polo de segundo orden para la función 𝑓(𝑧) = 2 .
𝑧 (𝑧 − 3)2

EJEMPLO: Representar la función 𝑓 (𝑧) = 1⁄(𝑧 + 1)(𝑧 + 3) en las siguientes regiones:

𝑎) 1 < |𝑧| < 3 𝑏) |𝑧| > 3 𝑐) 0 < |𝑧 + 1| < 2

Solución:
𝑎) 1 < |𝑧| < 3
1
𝑓 (𝑧 ) =
(𝑧 + 1)(𝑧 + 3)
Usando fracciones parciales
1 1 1 1
𝑓 (𝑧 ) = ( )− ( )
2 𝑧+1 2 𝑧+3
Desarrollando la serie de Laurent para la región |𝑧| > 1
1 1 1 1
( )= ( )
2 𝑧+1 2𝑧 1 + 1
𝑧

1
para la convergencia se tiene | | < 1 ⟹ |𝑧| > 1
𝑧
1
Dividiendo 1 ÷ 1 + tenemos
𝑧
1 1 1 1 1 1 1 1 1 1
= 1− + 2 − 3+ . . . ⟹ ( ) = (1 − + 2 − 3 + . . .)
1 𝑧 𝑧 𝑧 2𝑧 1 + 1 2𝑧 𝑧 𝑧 𝑧
1+𝑧 𝑧
1 1 1 1 1 1
( )= − + − + . . . ∀ |𝑧| > 1
2𝑧 1 + 1 2𝑧 2𝑧 2 2𝑧 3 2𝑧 4
𝑧
Desarrollando la serie de Laurent para la región |𝑧| < 3
1 1 1 1 𝑧
( )= ( ) (para la convergencia se tiene | | < 1 ⟹ |𝑧| < 3)
2 𝑧+3 6 1+𝑧 3
3
𝑧
Dividiendo 1 ÷ 1 + tenemos
3
1 𝑧 𝑧2 𝑧3
𝑧 = 1 − 3 + 9 − 27 + . . .
1+3

1 1 1 𝑧 𝑧2 𝑧3 1 𝑧 𝑧2 𝑧3
( 𝑧 ) = (1 − + − + . . . ) = − + − + . . . ∀ |𝑧| < 3
6 1+ 6 3 9 27 6 18 54 162
3
La serie de Laurent en la región 𝑅: 1 < |𝑧| < 3 es
1 1 1 1 1 1 1 1 1
𝑓 (𝑧 ) = = ( )− ( )= ( )− ( )
(𝑧 + 1)(𝑧 + 3) 2 𝑧 + 1 2 𝑧+3 2𝑧 1 + 1 6 1+𝑧
𝑧 3
1 1 1 1 1 1 𝑧 𝑧2 𝑧3
= − + − +
. . .−( − + − + . . .)
(𝑧 + 1)(𝑧 + 3) 2𝑧 2𝑧 2 2𝑧 3 2𝑧 4 6 18 54 162
1 1 1 1 1 1 𝑧 𝑧2 𝑧3
= − 2 + 3 − 4+ . . .− + − + − . . . serie de Laurent 1 < |𝑧| < 3 ∎
(𝑧 + 1)(𝑧 + 3) 2𝑧 2𝑧 2𝑧 2𝑧 6 18 54 162

𝑏) |𝑧| > 3
1 1 1 1 1
𝑓 (𝑧 ) = = ( )− ( )
(𝑧 + 1)(𝑧 + 3) 2 𝑧 + 1 2 𝑧+3
La serie de Laurent para la región |𝑧| > 3 se tiene que obtener la serie para las
regiones |𝑧| > 1 y |𝑧| > 3, y la serie buscada se toma la diferencia
Reg(|𝑧| > 1) − Reg(|𝑧| > 3)
La serie de Laurent para la región |𝑧| > 1 se obtuvo en la parte a
1 1 1 1 1 1 1 1
( )= ( )= − 2 + 3 − 4 + . . . , |𝑧| > 1
2 𝑧+1 2𝑧 1 + 1 2𝑧 2𝑧 2𝑧 2𝑧
𝑧
1
Para la convergencia de la serie de Laurent |𝑧 | < 1 ⟹ |𝑧| > 1
La serie de Laurent para la región |𝑧| > 3
1 1 1 1 1 3 9 27 1 3 9 27
( )= ( ) = (1 − + 2 − 3 + . . . ) = − + − + . . .
2 𝑧+3 2𝑧 1 + 3 2𝑧 𝑧 𝑧 𝑧 2𝑧 2𝑧 2 2𝑧 3 2𝑧 4
𝑧
1 1 1 3 9 27
( )= − 2 + 3 − 4 + . . . , |𝑧| > 3
2 𝑧+3 2𝑧 2𝑧 2𝑧 2𝑧
1
Para la convergencia de la serie de Laurent | | < 3 ⟹ |𝑧| > 3
𝑧
1
𝑓 (𝑧 ) = = Reg(|𝑧| > 1) − Reg(|𝑧| > 3)
(𝑧 + 1)(𝑧 + 3)

1 1 1 1 1 1 1 3 9 27 81
= − + − + . . . −( − 2+ 3− 4+ . . . )
(𝑧 + 1)(𝑧 + 3) 2𝑧 2𝑧 2 2𝑧 3 2𝑧 4 2𝑧 5 2𝑧 2𝑧 2𝑧 2𝑧 2𝑧 5
1 1 4 13 40
= − + − 5 + . . . serie de Laurent para la región |𝑧| > 3 ∎
(𝑧 + 1)(𝑧 + 3) 𝑧 2 𝑧 3 𝑧 4 𝑧

1
𝑐) 0 < |𝑧 + 1| < 2, 𝑧 ≠ −1 𝑓 (𝑧 ) =
(𝑧 + 1)(𝑧 + 3)
Sea 𝑧 + 1 = 𝑢 ⟹ 𝑧 = 𝑢 − 1, 0 < |𝑢| < 2
1 1 1 𝑢
= = 𝑢 , 𝑃𝑎𝑟𝑎 𝑙𝑎 𝑐𝑜𝑛𝑣𝑒𝑟𝑔𝑒𝑛𝑐𝑖𝑎 0 < | | < 1 ⟹ 0 < |𝑢| < 2
(𝑧 + 1)(𝑧 + 3) 𝑢(𝑢 + 2) 2𝑢 (1 + ) 2
2
𝑢
Dividiendo 1 ÷ 1 + tenemos
2
 1 𝑢 𝑢2 𝑢3 1 1 𝑢 𝑢2 𝑢3
𝑢 = 1 − + − + . . . ⟹ 𝑢 = (1 − + − + . . . )
1+2 2 4 8 2𝑢 (1 + 2) 2𝑢 2 4 8

1 1 1 𝑢 𝑢2
𝑢 = − + − + . . . , ∀ 0 < |𝑢| < 2
2𝑢 (1 + 2) 2𝑢 4 8 16
1 1 1 1 𝑧 + 1 (𝑧 + 1)2
= = − + − + . . .
(𝑧 + 1)(𝑧 + 3) 2𝑢 (1 + 𝑢) 2(𝑧 + 1) 4 8 16
2
1 1 1 𝑧 + 1 ( 𝑧 + 1 )2
= − + − + . . . serie de Laurent para la región 0 < |𝑧 + 1| < 2 ∎
(𝑧 + 1)(𝑧 + 3) 2(𝑧 + 1) 4 8 16

EL TEOREMA DEL RESIDUO

Sea 𝐶: |𝑧 − 𝑎| = 𝑅 una circunferencia de centro en 𝑧 = 𝑎 ∈ ℂ y radio R. Si 𝑓(𝑧) es analítica

dentro y sobre el círculo C excepto en el punto singular 𝑧 = 𝑎. Entonces 𝑓 (𝑧) tiene una
serie de Laurent en 𝑧 = 𝑎 y es dada por
𝑎−1 𝑎−2
𝑓(𝑧) = 𝑎0 + 𝑎1 (𝑧 − 𝑎) + 𝑎2 (𝑧 − 𝑎)2 + 𝑎3 (𝑧 − 𝑎)3 + . . . + + +
𝑧 − 𝑎 (𝑧 − 𝑎 )2
𝑎−3
+ . . .
(𝑧 − 𝑎 )3
+∞

𝑓 ( 𝑧 ) = ∑ 𝑎𝑛 ( 𝑧 − 𝑎 ) 𝑛
𝑛=−∞
Donde los coeficientes están dados por la fórmula
1 𝑓 (𝑧 )
𝑎𝑛 = ∮ 𝑑𝑧, 𝑛 = 0, ±1, ±2, ±3, . . .
2𝜋𝑖 𝐶 (𝑧 − 𝑎)𝑛+1
Para 𝑛 = −1 tenemos
1
𝑎−1 = ∮ 𝑓 (𝑧) 𝑑𝑧 ⟹ ∮ 𝑓 (𝑧) 𝑑𝑧 = 2𝜋𝑖 𝑎−1
2𝜋𝑖 𝐶 𝐶
El valor de esta integral se puede obtener integrando término a término en la serie de Laurent en el punto singular 𝑧 = 𝑎
y usando los resultados obtenidos, si 𝑧 = 𝑎 está dentro de C, tenemos:
𝑎−1 𝑎−2 𝑎−3
∮ 𝑓(𝑧) 𝑑𝑧 = ∮ (𝑎0 + 𝑎1 (𝑧 − 𝑎) + 𝑎2 (𝑧 − 𝑎)2 + 𝑎3 (𝑧 − 𝑎)3 + . . . + + 2
+ + . . . ) 𝑑𝑧
𝑐 𝐶 𝑧 − 𝑎 (𝑧 − 𝑎 ) (𝑧 − 𝑎 )3
𝑎−1 𝑎−2 𝑎−3
∮ 𝑓(𝑧) 𝑑𝑧 = ∮ 𝑎0 𝑑𝑧 + ∮ 𝑎1 (𝑧 − 𝑎)𝑑𝑧 + . . . + ∮ 𝑑𝑧 + ∮ 2
𝑑𝑧 + ∮ 𝑑𝑧 + . . .
𝑐 ⏟𝐶 ⏟𝐶 𝐶 𝑧 − 𝑎 ⏟𝐶 ( 𝑧 − 𝑎 ) ⏟𝐶 ( 𝑧 − 𝑎 )3
=0 =0 =0 =0
𝑎−1 1
∮ 𝑓(𝑧) 𝑑𝑧 = ∮ 𝑑𝑧 = 𝑎−1 ∮ 𝑑𝑧 = 2𝜋𝑎−1 𝑖
𝑐 𝐶 𝑧−𝑎 𝐶 𝑧 − 𝑎

∮ 𝑓(𝑧) 𝑑𝑧 = 2𝜋𝑎−1 𝑖 donde

𝑐
1
∮ 𝑑𝑧 = 2𝜋𝑖, donde 𝑧 = 𝑎 dentro de 𝐶
𝐶 𝑧−𝑎
y si el punto singular 𝑧 = 𝑎 está fuera de C, entonces
1
∮ 𝑑𝑧 = 0 (Teorema de Cauchy)
𝐶 𝑧−𝑎
Si 𝑧 = 𝑎 está dentro de C (curva simple cerrada), entonces
1
∮ 𝑑𝑧 = 0, 𝑛 = 2, 3, 4, . . .
𝐶 ( 𝑧 − 𝑎 )𝑛
Resumiendo
1 2𝜋𝑖, 𝑠𝑖 𝑛 = 1
∮ 𝑑𝑧 = {
𝐶 ( 𝑧 − 𝑎 ) 𝑛 0, 𝑠𝑖 𝑛 = 2, 3, ...
𝑎
−1
Por consiguiente, en la serie de Laurent nos queda el único término 𝑧−𝑎 los demás se anulan, es decir
 𝑎−1 1
∮ 𝑓(𝑧) 𝑑𝑧 = ∮ 𝑑𝑧 = 𝑎−1 ∮ 𝑑𝑧 = 2𝜋𝑖 𝑎−1
𝐶 𝐶 𝑧−𝑎 𝐶 𝑧−𝑎
1
∮ 𝑓(𝑧) 𝑑𝑧 = 2𝜋𝑖 𝑎−1 ⟹ 𝑎−1 = 𝑅𝑒𝑠(𝑧 = 𝑎) = ∮ 𝑓 (𝑧) 𝑑𝑧
𝐶 2𝜋𝑖 𝐶
El coeficiente 𝑎−1 de la serie de Laurent se llama el residuo de 𝑓 (𝑧) en el punto singular 𝑧 = 𝑎 .

CÁLCULO DE RESIDUOS

Si 𝑧 = 𝑎 es un polo de orden k, entonces el residuo de 𝑓 (𝑧) en 𝑧 = 𝑎, lo podemos calcular por

1 𝑑 𝑘−1
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 𝑎) = lim {(𝑧 − 𝑎)𝑘 𝑓 (𝑧)}
𝑧⟶𝑎 (𝑘 − 1)! 𝑑𝑧 𝑘−1
Si 𝑧 = 𝑎 es un polo simple es decir de orden 𝑘 = 1, entonces el residuo de 𝑓(𝑧) en el punto singular 𝑧 = 𝑎, lo
podemos calcular por
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 𝑎) = lim (𝑧 − 𝑎)𝑓(𝑧)
𝑧⟶𝑎

EJEMPLO: Calcular el residuo de las siguientes funciones

𝑧
𝑆𝑖 𝑓(𝑧) =
(𝑧 − 1)(𝑧 − 2)

Solución:
𝑧 = 1 𝑦 𝑧 = 2 son polos simples
𝑧 𝑧
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 1) = lim (𝑧 − 1)𝑓 (𝑧) = lim (𝑧 − 1) = lim = −1
𝑧⟶1 𝑧⟶1 (𝑧 − 1)(𝑧 − 2) 𝑧⟶1 𝑧 − 2
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 1) = −1 ∎
𝑧 𝑧
𝑏−1 = 𝑅𝑒𝑠(𝑧 = 2) = lim (𝑧 − 2)𝑓(𝑧) = lim (𝑧 − 2) = lim =2
𝑧⟶2 𝑧⟶2 (𝑧 − 1)(𝑧 − 2) 𝑧⟶2 𝑧 − 1
𝑏−1 = 𝑅𝑒𝑠(𝑧 = 2) = 2 ∎

EJEMPLO:
𝑧
𝑆𝑖 𝑓(𝑧) =
(𝑧 + 1)(𝑧 − 2)2

Solución:
𝑧 = −1 es un polo simple (𝑘 = 1) y 𝑧 = 2 es un polo de orden 𝑘 = 2
𝑧 𝑧 1
𝑎−1 = 𝑅𝑒𝑠(𝑧 = −1) = lim (𝑧 + 1)𝑓(𝑧) = lim (𝑧 + 1) 2
= lim 2
=−
𝑧⟶−1 𝑧⟶−1 (𝑧 + 1)(𝑧 − 2) 𝑧⟶1 (𝑧 − 2) 9
1
𝑎−1 = 𝑅𝑒𝑠(𝑧 = −1) = − ∎
9
𝑑 𝑑 𝑧 𝑑 𝑧
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 2) = lim {(𝑧 − 2)2 𝑓 (𝑧)} = lim {(𝑧 − 2)2 } = lim ( )
𝑧⟶2 𝑑𝑧 𝑑𝑧 (𝑧 + 1)(𝑧 − 2)2 𝑧⟶2 𝑑𝑧 𝑧 + 1
𝑧⟶2
𝑧+1−𝑧 1 1
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 2) = lim ( 2
) = lim 2
=
𝑧⟶2 (𝑧 + 1) 𝑧⟶2 (𝑧 + 1) 9
1
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 2) = ∎
9

1
EJEMPLO: Si 𝑓(𝑧) = 𝑒 − 𝑧 , hallar el residuo en 𝑧 = 0

Solución:
La serie de Maclaurin para la función 𝑒 𝑧 es
𝑧2 𝑧3 𝑧𝑛
𝑒𝑧 = 1 + 𝑧 + + + . . . + + . . .
2! 3! 𝑛!
1
Haciendo 𝑧 = − 𝑧 tenemos
 1 1 1 1 1
𝑒− 𝑧 = 1 − + − + . . . +(−1)𝑧 + . . .
𝑧 2! 𝑧 2 3! 𝑧 3 𝑛! 𝑧 𝑛
El punto 𝑧 = 0 es un punto singular esencial
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 0) = −1

TEOREMA DEL RESIDUO

Sea C una curva simple cerrada y que el número finito de puntos singulares 𝑎, 𝑏, 𝑐 , . . . que están dentro de C y sea
𝑓(𝑧) una función unívoca y analítica dentro y sobre C excepto en estos singulares 𝑎, 𝑏, 𝑐 , . . . con residuos dados
respectivamente por 𝑎−1 , 𝑏−1 , 𝑐−1 , . . .

Entonces el teorema del residuo indica que el valor de la integral de 𝑓 (𝑧) sobre C es
dada por

∮ 𝑓 (𝑧) 𝑑𝑧 = 2𝜋𝑖(𝑎−1 + 𝑏−1 + 𝑐−1 + . . . )

𝐶

∮ 𝑓 (𝑧) 𝑑𝑧 = 2𝜋𝑖(𝑅𝑒𝑠(𝑧 = 𝑎) + 𝑅𝑒𝑠(𝑧 = 𝑏) + 𝑅𝑒𝑠(𝑧 = 𝑐 )+ . . . )

𝐶

EJEMPLO:
𝑧
∮ 𝑑𝑧, 𝐶: |𝑧| = 3
𝐶 ( 𝑧 + 1 )( 𝑧 − 2)2

Solución:

𝑧
𝑓 (𝑧 ) =
(𝑧 + 1)(𝑧 − 2)2
𝑧 = −1 es un polo simple (𝑘 = 1) y 𝑧 = 2 es un polo de orden 𝑘 = 2, polos
dentro de C.
Calculando los residuos en los polos 𝑧 = −1, 𝑧 = 2
𝑧
𝑎−1 = 𝑅𝑒𝑠(𝑧 = −1) = lim (𝑧 + 1)𝑓(𝑧) = lim (𝑧 + 1)
𝑧⟶−1 𝑧⟶−1 (𝑧 + 1)(𝑧 − 2)2
𝑧 1
= lim =−
𝑧⟶−1 (𝑧 − 2)2 9
1 𝑑 𝑘−1
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 𝑎) = lim {(𝑧 − 𝑎)𝑘 𝑓(𝑧)}
𝑧⟶𝑎 (𝑘 − 1)! 𝑑𝑧 𝑘−1

𝑑 𝑑 𝑧 𝑑 𝑧
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 2) = lim {(𝑧 − 2)2 𝑓 (𝑧)} = lim {(𝑧 − 2)2 2
} = lim { }
𝑧⟶2 𝑑𝑧 𝑧⟶2 𝑑𝑧 (𝑧 + 1)(𝑧 − 2) 𝑧⟶2 𝑑𝑧 (𝑧 + 1)
𝑧+1−𝑧 1 1
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 2) = lim ( ) = lim =
𝑧⟶2 (𝑧 + 1)2 𝑧⟶2 (𝑧 + 1)2 9
Por el teorema del residuo
𝑧 1 1
∮ 2
𝑑𝑧 = 2𝜋𝑖(𝑅𝑒𝑠(−1) + 𝑅𝑒𝑠(𝑧 = 2)) = 2𝜋𝑖 (− + ) = 0
𝐶 (𝑧 + 1)(𝑧 − 2) 9 9
𝑧
∮ 𝑑𝑧 = 0 ∎
𝐶 (𝑧 + 1)(𝑧 − 2)2

EJEMPLO:
1 1
∮ 𝑒 − 𝑧 sin 𝑑𝑧, 𝐶: |𝑧| = 1
𝐶 𝑧
Solución:

1
1
𝑓 (𝑧) = 𝑒 − 𝑧 sin 𝑧
𝑧 = 0 punto singular esencial dentro de C.
Usemos la serie de Laurent para determinar la singularidad de la función, de la serie de
Maclaurin
𝑧2 𝑧 𝑛−1
𝑒𝑧 = 1 + 𝑧 + + . . . + + . . . , 𝑛 = 1, 2, 3, . . .
2! (𝑛 − 1)!
𝑧3 𝑧5 𝑧 2𝑛−1
sin 𝑧 = 𝑧 − + − . . . +(−1)𝑛+1 + . . . , 𝑛 = 1, 2, 3, . . .
3! 5! (2𝑛 − 1)!
1
Haciendo z = −
𝑧
−
1 1 1 1 1
𝑒 𝑧 =1− + 2
− 3
+ . . . + (−1)𝑛+1 + . . . , 𝑛 = 1, 2, 3, . . .
𝑧 2! 𝑧 3! 𝑧 (𝑛 − 1)! 𝑧 𝑛−1
1 1 1 1 1
𝑠𝑖𝑛 = − + − + . . .
𝑧 𝑧 3! 𝑧 3 5! 𝑧 5 7! 𝑧 7
Multipliquemos estas series
1 1 1 1 1 1 1 1 1 1
𝑒 − 𝑧 𝑠𝑖𝑛 = (1 − + 2
− 3
+ . . . +(−1)𝑧 𝑛
+ . . .)( − 3
+ 5
− + . . .)
𝑧 𝑧 2! 𝑧 3! 𝑧 𝑛! 𝑧 𝑧 3! 𝑧 5! 𝑧 7! 𝑧 7
1 1 1 1 1
𝑒 − 𝑧 𝑠𝑖𝑛 = − 2 − 3 + . . .
𝑧 𝑧 𝑧 3𝑧
𝑧 = 0 es un punto singular esencial dentro de C y el residuo en 𝑧 = 0 es el coeficiente de 𝑧 = 0, igual a 1 es decir
𝑎−1 = 𝑅𝑒𝑠(𝑧 = 0) = 1
Por el teorema del residuo
1 1
∮ 𝑒 − 𝑧 sin 𝑑𝑧 = 2𝜋𝑖(𝑅𝑒𝑠(0)) = 2𝜋𝑖(1)
𝐶 𝑧
1 1
∮ 𝑒 − 𝑧 sin 𝑑𝑧 = 2𝜋𝑖 ∎
𝐶 𝑧

APLICACIONES DE LAS INTEGRALES COMPLEJAS A LAS INTEGRALES DE FUNCIONES REALES

INTEGRALES IMPROPIAS
+∞
𝑃(𝑥)
1. ∫ 𝑓(𝑥 ) 𝑑𝑥 , donde 𝑓(𝑥 ) es una función racional de la forma 𝑓(𝑥 ) =
−∞ 𝑄(𝑥)
Para este caso pasamos la función de variable real a variable compleja, es decir 𝑓(𝑥 ) ⟶ 𝑓 (𝑧) y la integral de
variable real pasa a una integral de variable compleja definida sobre una curva 𝐶 simple cerrada, es decir
+∞
∫ 𝑓(𝑥 ) 𝑑𝑥 ⟶ ∮ 𝑓(𝑧) 𝑑𝑧
−∞ 𝐶
Donde 𝐶 es el semicírculo ubicado sobre el eje X, definido por
𝐶 = Γ ∪ [−𝑅, 𝑅], Γ: |𝑧| = 𝑅, 0 ≤ 𝜃 ≤ 𝜋.
Si 𝑓 (𝑥 ) es una función par en < −∞, +∞ >, entonces
+∞ +∞ +∞
1 +∞
∫ 𝑓 (𝑥 ) 𝑑𝑥 = 2 ∫ 𝑓 (𝑥 ) 𝑑𝑥 o ∫ 𝑓(𝑥 ) 𝑑𝑥 = ∫ 𝑓 (𝑥 ) 𝑑𝑥
−∞ 0 0 2 −∞

Para este caso se trabaja con la integral transformada a variable compleja, es decir
𝑅
∮ 𝑓(𝑧) 𝑑𝑧 = ∮ 𝑓 (𝑧) 𝑑𝑧 + ∫ 𝑓 (𝑥 )𝑑𝑥
𝐶 Γ −𝑅

Aplicando el límite tenemos, cuando 𝑅 tiende al infinito

+𝑅
lim ∮ 𝑓(𝑧) 𝑑𝑧 = lim ∫ 𝑓(𝑧)𝑑𝑧 + lim ∫ 𝑓(𝑥 )𝑑𝑥
𝑅⟶+∞ 𝐶 𝑅⟶+∞
⏟ Γ 𝑅⟶+∞ −𝑅
=0
 +∞
∮ 𝑓(𝑧) 𝑑𝑧 = ∫ 𝑓(𝑥)𝑑𝑥
𝐶 −∞
+∞
∫ 𝑓(𝑥 )𝑑𝑥 = ∮ 𝑓(𝑧) 𝑑𝑧 = 2𝜋𝑖 ∑ residuos (Teorema del Residuo).
−∞ 𝐶
Ahora, demostremos que

lim ∫ 𝑓(𝑧)𝑑𝑧 = 0
𝑅⟶+∞ Γ

Para esto supongamos que 𝑓(𝑧) es una función acotada, es decir que existe una constante M, tal que |𝑓(𝑧)| ≤ 𝑀⁄𝑅𝑘 ,
donde 𝑘 > 1 y Γ: |𝑧| = 𝑅, 0 ≤ 𝜃 ≤ 𝜋, 𝑧 = 𝑅𝑒 𝑖𝜃 .
Acotando la integral
𝑀 𝑀 𝑀 𝑀
|∫ 𝑓(𝑧)𝑑𝑧| ≤ ∫ |𝑓(𝑧)|𝑑𝑧 ≤ ∫ 𝑘 𝑑𝑧 = 𝑘 ∫ 𝑑𝑧 = 𝑘 𝜋𝑅 = 𝜋 𝑘−1
Γ Γ Γ 𝑅 𝑅 Γ 𝑅 𝑅

donde ∫ 𝑑𝑧 = 𝜋𝑅 es la longitud de la semicircunferencia.

Γ
𝑀 𝑀
0 ≤ |∫ 𝑓(𝑧)𝑑𝑧| ≤ 𝜋 ⟹ lim 0 ≤ lim |∫ 𝑓 (𝑧)𝑑𝑧| ≤ lim 𝜋 =0
Γ 𝑅𝑘−1 𝑅⟶+∞ 𝑅⟶+∞ Γ 𝑅⟶+∞ 𝑅𝑘−1

lim |∫ 𝑓(𝑧)𝑑𝑧| = 0
𝑅⟶+∞ Γ
Por la continuidad del valor absoluto, intercambiamos límite y valor absoluto

| lim ∫ 𝑓 (𝑧)𝑑𝑧| = 0 ⟹ lim ∫ 𝑓(𝑧)𝑑𝑧 = 0

𝑅⟶+∞ Γ 𝑅⟶+∞ Γ

lim ∫ 𝑓(𝑧)𝑑𝑧 = 0 ∎
𝑅⟶+∞ Γ

EJEMPLO
1. Demuestre que 𝑓(𝑧) = 1⁄𝑧 6 + 1 es acotada

Solución:
Sea 𝐶: |𝑧| = 𝑅 ⟹ 𝑧 = 𝑅𝑒 𝑖𝜃
1 1
|𝑓(𝑧) = 6 |= 6
𝑧 +1 |𝑧 + 1|
1 1
Pero |𝑧 6 | − 1 ≤ |𝑧 6 + 1| ⟹ ≤ , entonces retomando lo anterior
|𝑧 6 + 1| |𝑧 6 | − 1
1 1 1 1 1 1 1
|𝑓(𝑧) = 6 |= 6 ≤ 6 = 6 𝑖 6𝜃 = 6 𝑖 6𝜃 = 6 = 6
𝑧 +1 |𝑧 + 1| |𝑧 | − 1 |𝑅 𝑒 | − 1 |𝑅 | |𝑒 ⏟ | − 1 |𝑅 | − 1 𝑅 − 1
=1

6
1 6
2
Pero 𝑅 − 1 ≤ 𝑅 ⟹ 6
≤ 6 ∀ 𝑅 ≥ 2, entonces
𝑅 −1 𝑅
1 1 2
|𝑓(𝑧) = 6 |= 6 ≤ 6 , donde 𝑀 = 2, 𝑘 = 6, es decir que 𝑓(𝑧) es acotada.
𝑧 +1 𝑅 −1 𝑅
1 2
|𝑓(𝑧) = 6 |≤ 6 ∎
𝑧 +1 𝑅

INTEGRALES DEFINIDAS

2𝜋
1. ∫ 𝑓(𝑠𝑖𝑛 𝜃, 𝑐𝑜𝑠 𝜃) 𝑑𝜃, donde 𝑓 (𝑠𝑖𝑛 𝜃, 𝑐𝑜𝑠 𝜃) es una función racional de sin 𝜃 𝑦 cos 𝜃 , de la forma
0
𝑃(𝑠𝑖𝑛 𝜃, 𝑐𝑜𝑠 𝜃)
𝑓(𝑠𝑖𝑛 𝜃, 𝑐𝑜𝑠 𝜃) =
𝑄(𝑠𝑖𝑛 𝜃, 𝑐𝑜𝑠 𝜃)
Para este caso pasamos la función de variable real a variable compleja, es decir
 𝑧 − 𝑧 −1 𝑧 + 𝑧 −1
𝑓 (𝑠𝑖𝑛 𝜃, 𝑐𝑜𝑠 𝜃) ⟶ 𝑓 ( , )
2𝑖 2
y la integral de variable real pasa a una integral de variable compleja definida sobre una circunferencia de radio1 y
centro en el origen, es decir C simple cerrada, es decir

𝑑𝑧
𝐶: |𝑧| = 1 circunferencia unitaria, 𝑧 = 𝑒 𝑖𝜃 , 𝑑𝜃 = , 0 ≤ 𝜃 < 2𝜋
𝑖𝑧
2𝜋
𝑧 − 𝑧 −1 𝑧 + 𝑧 −1 𝑑𝑧
∫ 𝑓(𝑠𝑖𝑛 𝜃, 𝑐𝑜𝑠 𝜃) 𝑑𝜃 = ∮ 𝑓 ( , )
0 𝐶 2𝑖 2 𝑖𝑧
2𝜋
∫ 𝑓(𝑠𝑖𝑛 𝜃, 𝑐𝑜𝑠 𝜃) 𝑑𝜃 = 2𝜋𝑖 ∑ Residuos (Teorema del Residuo)
0

EJEMPLO: Usando la integración compleja calcular la siguiente integral real

+∞
1
∫ 𝑑𝑥
−∞ 𝑥2 +1

Solución:
Pasando la función de variable real a variable compleja
1 1
𝑓 (𝑥 ) = 2 ⟶ 𝑓 (𝑧 ) =
𝑥 +1 𝑧2 +1
Pasando la integral de variable real a variable compleja
𝑅
1 1 1
∮ 𝑑𝑧 = ∮ 2 𝑑𝑧 + ∫ 2 𝑑𝑥
𝐶 𝑧2 + 1 Γ 𝑧 + 1 −𝑅 𝑥 +1
Aplicando el límite, cuando R tiende al infinito se tiene

+∞
1 1
∫ 𝑑𝑥 = ∮ 2 𝑑𝑧 = 2𝜋𝑖 ∑ residuos (Teorema del Residuo).
−∞ 𝑥2
+1 𝐶 𝑧 +1
Donde 𝐶 = Γ ∪ [−𝑅, 𝑅] es el semicírculo ubicado sobre el eje X,
Γ: |𝑧| = 𝑅, 𝑧 = 𝑅𝑒 𝑖𝜃 , 𝜃 ∈ [0, 𝜋]
1
Hallando los puntos singulares de la función 𝑓(𝑧) = 2
𝑧 +1
𝑧 2 + 1 = 0 ⟹ (𝑧 + 𝑖 )(𝑧 − 𝑖 ) = 0
𝑧 = 𝑖 dentro de 𝐶, 𝑧 = −𝑖 fuera de 𝐶
Se evaluará en el punto singular dentro de 𝐶
𝑧 = 𝑖 polo de orden 1, polo simple
Calculando el residuo en 𝑧 = 𝑖
1 1 1 1
𝑅𝑒𝑠(𝑧 = 𝑖 ) = lim (𝑧 − 𝑖 ) 2 = lim (𝑧 − 𝑖 ) = lim =
𝑧⟶𝑖 𝑧 + 1 𝑧⟶𝑖 (𝑧 + 𝑖 )(𝑧 − 𝑖 ) 𝑧⟶𝑖 (𝑧 + 𝑖 ) 2𝑖
1
𝑅𝑒𝑠(𝑧 = 𝑖 ) =
2𝑖

1 1
∮ 𝑑𝑧 = 2𝜋𝑖 (𝑅𝑒𝑠(𝑧 = 𝑖 )) = 2𝜋𝑖 ( ) = 𝜋
𝐶 𝑧2 + 1 2𝑖
1
∮ 𝑑𝑧 = 𝜋
𝐶 𝑧2 +1
+∞
1 1
∫ 2+1
𝑑𝑥 = ∮ 2 𝑑𝑧 = 𝜋
−∞ 𝑥 𝐶 𝑧 +1
+∞
1
∫ 2+1
𝑑𝑥 = 𝜋 ∎
−∞ 𝑥
EJEMPLO: Usando la integración compleja calcular la siguiente integral real

+∞
1
∫ 𝑑𝑥
0 𝑥6 +1

Solución:
Pasando la función de variable real a variable compleja
1 1
𝑓 (𝑥 ) = 6 ⟶ 𝑓 (𝑧 ) =
𝑥 +1 𝑧6 +1

Pasando la integral de variable real a variable compleja

+∞
1 1
∫ 𝑑𝑥 = ∮ 6 𝑑𝑧 = 2𝜋𝑖 ∑ residuos (Teorema del Residuo).
−∞ 𝑥6 + 1 𝐶 𝑧 +1

Donde 𝐶 = Γ ∪ [−𝑅, 𝑅] es el semicírculo ubicado sobre el eje X, Γ: |𝑧| = 𝑅, 𝑧 =

𝑅 𝑒 𝑖𝜃 , 𝜃 ∈ [0, 𝜋]
1
Hallando los puntos singulares de la función 𝑓(𝑧) = 6
𝑧 +1
𝑧 6 + 1 = 0 ⟹ 𝑧 6 = −1 = cos(𝜋 + 2𝑘𝜋) + 𝑖 sin(𝜋 + 2𝑘𝜋) = 𝑒 (𝜋+2𝑘𝜋)𝑖
𝜋+2𝑘𝜋
( )𝑖
𝑧 6 = 𝑒 (𝜋+2𝑘𝜋)𝑖 ⟹ 𝑧𝑘 = 𝑒 6 𝑘 = ̅̅̅̅̅
0, 5
𝜋 3𝜋 5𝜋 7𝜋 9𝜋 11𝜋
𝑧0 =
⏟ 𝑒 6𝑖 , 𝑧1 = 𝑒 6 𝑖, 𝑧2 = 𝑒 6𝑖 , 𝑧3 = 𝑒
⏟
𝑖
6 , 𝑧4 = 𝑒 6 𝑖 , 𝑧5 = 𝑒 6
𝑖

puntos singulares dentro de C puntos singulares fuera de C

𝜋 3𝜋 5𝜋
𝑧0 = 𝑒 6𝑖 , 𝑧1 = 𝑒 6 𝑖,
𝑧2 = 𝑒6𝑖
↝ son polos simples.
Para calcular los residuos en estos puntos aplicaremos la regla de L´Hopital.
Calculando los residuos
𝜋 𝜋 1 1 1 − 5𝜋𝑖
𝑅𝑒𝑠 (𝑧0 = 𝑒 6 𝑖 ) = lim𝜋 (𝑧 − 𝑒 6 𝑖 ) 6 = lim𝜋 = 𝑒 6
𝑧⟶𝑒 6
𝑖 𝑧 + 1 𝑧⟶𝑒 6 𝑖 6𝑧 5 6
3𝜋 3𝜋 1 1 1 5𝜋
𝑅𝑒𝑠 (𝑧1 = 𝑒 6 𝑖 ) = lim3𝜋 (𝑧 − 𝑒 6 𝑖 ) 6 = lim3𝜋 5
= 𝑒− 2 𝑖
𝑖 𝑧 + 1 𝑖 6𝑧 6
𝑧⟶𝑒 6 𝑧⟶𝑒 6
5𝜋
𝑖
5𝜋
𝑖 1 1 1 25𝜋
𝑅𝑒𝑠 (𝑧2 = 𝑒 6 ) = lim5𝜋 (𝑧 − 𝑒 6 ) = lim5𝜋 = 𝑒− 6 𝑖
𝑖 𝑧6 +1 6𝑖
6𝑧 5 6
𝑧⟶𝑒 6 𝑧⟶𝑒
1 𝜋 3𝜋 5𝜋
∮ 6 𝑑𝑧 = 2𝜋𝑖 (𝑅𝑒𝑠 (𝑧0 = 𝑒 6 𝑖 ) + 𝑅𝑒𝑠 (𝑧1 = 𝑒 6 𝑖 ) + 𝑅𝑒𝑠 (𝑧2 = 𝑒 6 𝑖 ))
𝐶 𝑧 +1
1 1 5𝜋 1 5𝜋 1 25𝜋 𝜋𝑖 5𝜋 5𝜋 25𝜋
∮ 𝑑𝑧 = 2𝜋𝑖 ( 𝑒 − 6 𝑖 + 𝑒 − 2 𝑖 + 𝑒 − 6 𝑖 ) = (𝑒 − 6 𝑖 + 𝑒 − 2 𝑖 + 𝑒 − 6 𝑖 )
𝐶 𝑧6 +1 6 6 6 3
1 𝜋𝑖 5𝜋 5𝜋 25𝜋
∮ 𝑑𝑧 = (𝑒 − 6 𝑖 + 𝑒 − 2 𝑖 + 𝑒 − 6 𝑖 )
𝐶 𝑧6 +1 3
1 𝜋𝑖 5𝜋 5𝜋 5𝜋 5𝜋 25𝜋 25𝜋
∮ 𝑑𝑧 = (cos − 𝑖 sin + cos − 𝑖 sin + cos − 𝑖 sin )
𝐶 𝑧6 +1 3 6 6 2 2 6 6
1 𝜋𝑖 𝜋 𝜋 𝜋 𝜋 5𝜋 5𝜋
∮ 𝑑𝑧 = (−cos − 𝑖 sin + cos − 𝑖 sin + cos − 𝑖 sin )
𝐶 𝑧6 + 1 3 6 6 2 2 6 6

1 𝜋𝑖 √3 1 𝜋 √3 1 𝜋𝑖 √3 1 𝜋 √3 1 𝜋𝑖
∮ 𝑑𝑧 = (− −𝑖 + cos − 𝑖 + −𝑖 ) = (− −𝑖 + cos − 𝑖 + −𝑖 ) = (−2𝑖 )
𝐶 𝑧6 +1 3 2 2 ⏟ 2 2 2 3 2 2 ⏟ 2 2 2 3
=0 =0
1 2𝜋 2𝜋
∮ 𝑑𝑧 = −𝑖 2 =
𝐶 𝑧6 + 1 3 3
+∞ +∞
1 1 2𝜋 1 2𝜋
∫ 6+1
𝑑𝑥 = ∮ 6+1
𝑑𝑧 = ⟹ ∫ 6+1
𝑑𝑥 =
−∞ 𝑥 𝐶 𝑧 3 −∞ 𝑥 3
Como la función 𝑓 (𝑥 ) = 1⁄𝑥 6 + 1 es par en el dominio de integración, entonces
 +∞ +∞ +∞
1 1 1 2𝜋
∫ 6
𝑑𝑥 = 2 ∫ 6
𝑑𝑥 ⟹ 2 ∫ 6
𝑑𝑥 =
−∞ 𝑥 + 1 0 𝑥 +1 0 𝑥 +1 3
+∞
1 𝜋
∫ 𝑑𝑥 = ∎
0 𝑥6 + 1 3

EJEMPLO: Usando la integración compleja calcular la siguiente integral real

2𝜋
∫ cos 𝜃 𝑑𝜃
0

Solución:
Pasando la función de variable real a variable compleja
1
𝑧 + 𝑧 −1 𝑧 + 𝑧 𝑧 2 + 1
𝑓(𝜃) = cos 𝜃 ⟶ 𝑓(𝑧) = = =
2 2 2𝑧
1
El intervalo [0, 2𝜋] a la curva 𝐶: |𝑧| = 1, 𝑧 = 𝑒 𝑖𝜃 , 𝑑𝜃 = 𝑑𝑧
𝑖𝑧

2𝜋
𝑧2 + 1 1 1 𝑧2 + 1
∫ cos 𝜃 𝑑𝜃 = ∮ 𝑑𝑧 = ∮ 𝑑𝑧
0 𝐶 2𝑧 𝑖𝑧 2𝑖 𝐶 𝑧2
𝑧 = 0 punto singular, polo de orden 𝑘 = 2 dentro de C.
Por el teorema del residuo
2𝜋
1 𝑧2 + 1 2𝜋
∫ cos 𝜃 𝑑𝜃 = ∮ 2
𝑑𝑧 = ∑ residuos = 𝜋𝑅𝑒𝑠(0)
0 2𝑖 𝐶 𝑧 2𝑖
𝑑 𝑧2 + 1 𝑑 2
𝑅𝑒𝑠(0) = lim (𝑧 2 2
) = lim (𝑧 + 1) = lim 2𝑧 = 0, 𝑅𝑒𝑠(0) = 0
𝑧⟶0 𝑑𝑧 𝑧 𝑧⟶0 𝑑𝑧 𝑧⟶0

𝑅𝑒𝑠(0) = 0
2𝜋
∫ cos 𝜃 𝑑𝜃 = 0 ∎
0
Que coincide con el valor de la integral definida aplicando el Teorema Fundamental del Cálculo
2𝜋
∫ cos 𝜃 𝑑𝜃 = sin 𝜃 |2𝜋
0 =0
0
EJEMPLO: Usando la integración compleja calcular la siguiente integral real

2𝜋
cos 3𝜃
∫ 𝑑𝜃
0 5 − 4 cos 𝜃
Solución:
Pasando la integral de variable real a variable compleja
2𝜋
cos 3𝜃
∫ 𝑑𝜃 = ∮ 𝑓 (𝑧) 𝑑𝑧 = 2𝜋𝑖 ∑ Residuos (Teorema del Residuo)
0 5 − 4 cos 𝜃 𝐶
1
𝐶: |𝑧| = 1, 𝑧 = 𝑒 𝑖 𝜃 , 𝑑𝑧 = 𝑖 𝑒 𝑖 𝜃 𝑑𝜃 = 𝑖𝑧 𝑑𝜃, 𝑑𝜃 = 𝑖𝑧 𝑑𝑧, 0 ≤ 𝜃 < 2𝜋
𝑒 𝑖𝜃 + 𝑒 − 𝑖𝜃 𝑧 + 𝑧 − 1 𝑧3 + 𝑧− 3 1
cos 𝜃 = = , cos 3𝜃 = , 𝑑𝜃 = 𝑑𝑧
2 2 2 𝑖𝑧
2𝜋
𝑧3 + 𝑧− 3 𝑧3 + 𝑧− 3
cos 3𝜃 2 1 2 1
∫ 𝑑𝜃 = ∮ − 1 𝑑𝑧 = ∮ − 1
𝑑𝑧
0 5 − 4 cos 𝜃 𝐶 5−4 𝑧+𝑧 𝑖𝑧 𝐶 5 − 2(𝑧 + 𝑧 ) 𝑖𝑧
2
1
2𝜋
cos 3𝜃 1 𝑧3 + 3 1
∫ 𝑑𝜃 = ∮ 𝑧 𝑑𝑧
0 5 − 4 cos 𝜃 1
2 𝐶 5 − 2 (𝑧 + ) 𝑖𝑧
𝑧
 2𝜋
𝑧6 + 1
cos 3𝜃 1 𝑧3 1 1 𝑧6 + 1 1 𝑧6 + 1
∫ 𝑑𝜃 = ∮ 𝑑𝑧 = ∮ 𝑑𝑧 = − ∮ 𝑑𝑧
0 5 − 4 cos 𝜃 2 𝐶 5𝑧 − 2𝑧 2 − 2 𝑖𝑧 2𝑖 𝐶 𝑧 3 (5𝑧 − 2𝑧 2 − 2) 2𝑖 𝐶 𝑧 3 (2𝑧 2 − 5𝑧 + 2)
𝑧
2𝜋
cos 3𝜃 1 𝑧6 + 1
∫ 𝑑𝜃 = − ∮ 3 𝑑𝑧 = 2𝜋𝑖 ∑ Residuos
0 5 − 4 cos 𝜃 2𝑖 𝐶 𝑧 (𝑧 − 2)(2𝑧 − 1)
𝑧6 + 1
Hallando los puntos singulares de la función 𝑓(𝑧) = 3
𝑧 (𝑧 − 2)(2𝑧 − 1)
1
𝑧 3 (𝑧 − 2)(2𝑧 − 1) = 0 ⟹ 𝑧 = 0 polo de orden 𝑘 = 3, 𝑧 = polo simple, 𝑧 = 2 fuera de 𝐶.
2
1
𝑧 = 0 polo de orden 𝑘 = 3 dentro de C, 𝑧 = 2 polo simple dentro de C
1
Calculando los residuos en los polos dentro de C: 𝑧 = 0 polo de orden 3, 𝑧 = 2 polo simple dentro de C
1 𝑑2 𝑧6 + 1 1 𝑑2 𝑧6 + 1 21
𝑅𝑒𝑠(𝑧 = 0) = lim 2 (𝑧 3 3 ) = lim 2 ( )=
2 𝑧⟶0 𝑑𝑧 𝑧 (𝑧 − 2)(2𝑧 − 1) 2 𝑧⟶0 𝑑𝑧 (𝑧 − 2)(2𝑧 − 1) 8
21
𝑅𝑒𝑠(𝑧 = 0) =
8

1 1 𝑧6 + 1 1 1 𝑧6 + 1
𝑅𝑒𝑠 (𝑧 = ) = lim (𝑧 − ) 3 = lim1 (𝑧 − )
2 𝑧⟶0 2 𝑧 (𝑧 − 2)(2𝑧 − 1) 2 𝑧⟶ 2 𝑧 3 (𝑧 − 2) (𝑧 − 1)
2 2
1 65
1 1 𝑧6 + 1 1 (8) 64 + 1 65𝑥 2 65 65
𝑅𝑒𝑠 (𝑧 = ) = lim1 3 = = 4 64 = −4 = −8 =−
2 (
2 𝑧⟶ 𝑧 𝑧 − 2 ) 2 1 3 64𝑥3 64𝑥3 24
2 −2 −
2 2
1 65
𝑅𝑒𝑠 (𝑧 = ) = −
2 24
2𝜋
cos 3𝜃 1 𝑧6 + 1 1
∫ 𝑑𝜃 = − ∮ 3 𝑑𝑧 = − 2𝜋𝑖 ∑ Residuos
0 5 − 4 cos 𝜃 2𝑖 𝐶 𝑧 (𝑧 − 2)(2𝑧 − 1) 2𝑖
2𝜋
cos 3𝜃 21 65 63 65 2 1
∫ 𝑑𝜃 = − 𝜋 ∑ Residuos = −𝜋 ( − ) = −𝜋 ( − ) = −𝜋 (− ) = −𝜋 (− )
0 5 − 4 cos 𝜃 8 24 24 24 24 12
2𝜋
cos 3𝜃 𝜋
∫ 𝑑𝜃 = ∎
0 5 − 4 cos 𝜃 12

EJEMPLO: Calcular la integral de Fresnel

+∞
sin 𝑥
∫ 𝑑𝑥
0 𝑥

Solución:
+∞
sin 𝑥
∫ 𝑑𝑥 integral impropia real tenemos que llevarla a una integral de línea compleja sobre una curva 𝐶
0 𝑥

sin 𝑥 𝑒 𝑖𝑧
sin 𝑥 ⟶ 𝑒 𝑖𝑧 ⟹ ⟶
𝑥 𝑧
Pasando la función de variable real a la función de variable compleja
sin 𝑥 𝑒 𝑖𝑧
𝑓 (𝑥 ) = ⟶ 𝑓 (𝑧 ) =
𝑥 𝑧
En este problema no podemos aplicar el teorema del residuo porque el
punto singular 𝑧 = 0 esta sobre la frontera de C, pero si se puede aplicar
el teorema de Cauchy.
𝐶 es un semianillo de orientación positiva, comprendido entre las dos semicircunferencias Γ y Γ1 , y 𝐶 está ubicado sobre
el eje X.
Ahora pasamos la integral de variable real a variable compleja
 +∞
sin 𝑥 𝑒 𝑖𝑧
∫ 𝑑𝑥 ⟶ ∮ 𝑑𝑧, donde 𝐶 = Γ ∪ [−𝑅, −𝜀 ] ∪ Γ1 ∪ [𝜀, 𝑅]
0 𝑥 𝐶 𝑧
Γ: |𝑧| = 𝑅, Γ1 : |𝑧| = 𝜀 , 𝑧 = 𝜀𝑒 𝑖𝜃 , ⃖[0, 𝜋]
A esta integral
𝑒 𝑖𝑧
𝑑𝑧 ∮
𝐶 𝑧
no podemos aplicar el teorema del residuo, porque el punto singular 𝑧 = 0 está sobre la frontera de 𝐶
−𝜀 𝑖𝑥 𝑅 𝑖𝑥
𝑒 𝑖𝑧 𝑒 𝑖𝑧 𝑒 𝑒 𝑖𝑧 𝑒
∮ 𝑑𝑧 = ∫ 𝑑𝑧 + ∫ 𝑑𝑥 + ∫ 𝑑𝑧 + ∫ 𝑑𝑥
𝐶 𝑧 Γ 𝑧 −𝑅 𝑥 𝐶1 𝑧 𝜀 𝑥
𝑒 𝑖𝑧 𝑒 𝑖𝑧
𝑓 (𝑧 ) = ↝ es analítica dentro y sobre C, entonces por el Teorema de Cauchy ∮ 𝑑𝑧 = 0
𝑧 𝐶 𝑧
−𝜀 𝑖𝑥 𝑅 𝑖𝑥
𝑒 𝑖𝑧 𝑒 𝑖𝑧 𝑒 𝑒 𝑖𝑧 𝑒
∮ 𝑑𝑧 = ∮ 𝑑𝑧 + ∫ 𝑑𝑥 + ∮ 𝑑𝑧 + ∫ 𝑑𝑥
⏟𝐶 𝑧 ⏟Γ 𝑧 −𝑅 𝑥 Γ1 𝑧 𝜀 𝑥
=0 =0,𝑅⟶+∞
−𝜀 𝑅 𝑖𝑥
𝑒 𝑖𝑥 𝑒 𝑖𝑧 𝑒
0=∫ 𝑑𝑥 + ∮ 𝑑𝑧 + ∫ 𝑑𝑥 (∗)
−𝑅 𝑥 Γ1 𝑧 𝜀 𝑥
Calculando

𝑒 𝑖𝑧
∮ 𝑑𝑧 ¿ ?
Γ1 𝑧
Γ1 : |𝑧| = 𝜀 ⟹ 𝑧 = 𝜀𝑒 𝑖𝜃 𝑑𝑧 = 𝜀𝑖𝑒 𝑖𝜃 𝑑𝜃, 𝜃 ∈ ⃖[0, 𝜋]
𝑖𝜃
0 𝑖𝜀𝑒 0 0
𝑒 𝑖𝑧 𝑒 𝑖𝜃 𝑖𝜀𝑒 𝑖𝜃
∫ 𝑑𝑧 = ∫ 𝑖𝜃
𝜀𝑖𝑒 𝑑𝜃 = 𝑖 ∫ 𝑒
⏟ 𝑑𝜃 = 𝑖 ∫ 𝑑𝜃 = −𝜋𝑖 𝑒𝑛 (∗)
Γ1 𝑧 𝜋 𝜀𝑒 𝜋 =1,𝜀⟶0 𝜋
−𝜀 𝑖𝑥 𝑅 𝑖𝑥
𝑒 𝑒
0=∫ 𝑑𝑥 − 𝜋𝑖 + ∫ 𝑑𝑥
−𝑅 𝑥 𝜀 𝑥
−𝜀 𝑖𝑥 𝑅 𝑖𝑥
𝑒 𝑒
∫ 𝑑𝑥 + ∫ 𝑑𝑥 = 𝜋𝑖 (∗∗)
−𝑅 𝑥 𝜀 𝑥
Haciendo el cambio de variable en la integral
−𝜀 𝑖𝑥
𝑒
∫ 𝑑𝑥 Sea 𝑥 = −𝑥, 𝑑𝑥 = 𝑑(−𝑥 )
−𝑅 𝑥
−𝜀 𝑖𝑥 𝜀 −𝑖𝑥 𝜀 −𝑖𝑥 𝑅 −𝑖𝑥
𝑒 𝑒 𝑒 𝑒
∫ 𝑑𝑥 = ∫ 𝑑(−𝑥 ) = ∫ 𝑑𝑥 = − ∫ 𝑑𝑥
−𝑅 𝑥 𝑅 −𝑥 𝑅 𝑥 𝜀 𝑥
−𝜀 𝑖𝑥 𝑅 −𝑖𝑥
𝑒 𝑒
∫ 𝑑𝑥 = − ∫ 𝑑𝑥 Reemplazando en (∗∗)
−𝑅 𝑥 𝜀 𝑥
𝑅 −𝑖𝑥 𝑅 𝑖𝑥
𝑒 𝑒
−∫ 𝑑𝑥 + ∫ 𝑑𝑥 = 𝜋𝑖
𝜀 𝑥 𝜀 𝑥
𝑅 𝑖𝑥
𝑒 − 𝑒 −𝑖𝑥
∫ 𝑑𝑥 = 𝜋𝑖
𝜀 𝑥
𝑅 𝑖𝑥
𝑒 − 𝑒 −𝑖𝑥 1
2𝑖 ∫ 𝑑𝑥 = 𝜋𝑖
𝜀 2𝑖 𝑥
𝑅
1
2𝑖 ∫ sin 𝑥 𝑑𝑥 = 𝜋𝑖
𝜀 𝑥
𝑅
sin 𝑥 𝜋
∫ 𝑑𝑥 =
𝜀 𝑥 2
Cuando 𝑅 ⟶ +∞, 𝜀 ⟶ 0
+∞
sin 𝑥 𝜋
∫ 𝑑𝑥 = ∎
0 𝑥 2