Integración en el plano complejo

Integral definida de una función de variable real y valor complejo

Sea f(t)
= u(t) + iv(t) una función de variable real t y de valor complejo, continua en el intervalo

[a ,b] , es decir u y v son funciones reales continuas con t ∈ [a;b] . La integral definida de f sobre

b
el intervalo [a;b] , se denota como ∫a f(t)dt y se define como:

b b b
∫=
a
f(t)dt ∫ u(t)dt + i∫ v(t)dt
a a
Ejemplo
1 3dt =1(t3 + 3t2 (2i) + 3t(2i)2 + (2i)3 )dt = 1(t3 − 2t)dt + i 1(6t2 − 8)dt
∫0 (t + 2i) 0 ∫ 0 0∫ ∫
1
 t4 2  1
= − t  + i 2t3 − 8t =
 4


0 0
( 3
− − 6i
4
)
Evaluación de integrales por integración indefinida
Si f(z) es una función analítica en un dominio simplemente conexo D, entonces existe una integral
indefinida de f(z), es decir, una función analítica F(z) tal que en F ′( z ) =
f ( z ) en D, y para todas las

trayectorias en D que unen dos puntos z0 y z1en D se tiene

z1
∫z0 f (z=
) dz F ( z1) − F ( z0 )

Ejemplo
1+ i
Evaluar
∫0 z 2 dz ,

Solución
1+ i 1+ i
∫0
1 1 2 2
z 2 dz = ( z3 = (1 + i )3 =− + i
3 0 3 3 3
Integral de línea
Una curva en el plano complejo es la imagen bajo una función continua C : [a;b] → 

Página 1
Esto significa que la curva C puede describirse por una función compleja de variable real de la
forma: C : z(t)= x(t) + iy(t) , a ≤ t ≤ b
Z(t) es una parametrización de la curva C, z(a) es su punto inicial z(b) es su punto final.
• Una curva C es suave si la derivada de la parametrización z′(t) = x′(t) + iy′(t) es continua

y diferente de cero en el intervalo [a ; b] .

• Una curva C es suave por partes si C consiste de un numero finito de curvas suaves
unidas por sus extremos.
• Una curva C es simple si la función que la define es inyectiva, es decir, si no se
autointercepta.
• Una curva C es cerrada si su punto inicial y punto final coinciden.
• Una curva C es de Jordán si es cerrada y simple excepto en sus extremos.

Integral de contorno
Una integral de f(z) en C se denota por medio de ∫C f(z)dz o ∫C f(z)dz si el contorno C es
cerrado; se conoce como integral de contorno o integral compleja de línea
Cálculo de una integral de contorno
= x(t) + iy(t) , a ≤ t ≤ b , entonces
Si f es continua en una curva suave C dada por z(t)
b
∫C f(z)dz = ∫a f(z(t)) z′(t)dt
Ejemplo
Calcular ∫C z dz , donde C viene dada por x= 3t , y= t 2 , − 1 ≤ t ≤ 4
Solución
f(z) = z ; z(t) =3t + it 2 → z′(t) =3 + 2it y f(z(t)) =3t + it 2 =3t − it 2 , entonces
4 2 )(3 + 2it)dt = 4 (2t3 + 9t)dt + i 4 3t 2 dt =
∫C z dz =∫−1(3t − it ∫−1 ∫
−1
195 + 65i

Página 2
Ejemplo
1
Calcular ∫C z dz , donde C es el circulo
= x cos=
t , y sent , 0 ≤ t ≤ 2π .

Solución
1
= = = e−it
1 1
f(z) = ; z(t) =cos t + isent =eit → z′(t) =ieit y f(z(t))
z z(t) eit
b 2π −it it 2π
∫C f(z)dz= ∫a f(z(t)) z′(t)dt= ∫0 e (ie )dt= i
0 ∫
dt= 2πi
Nota
Para algunas curvas, la variable real x se usa como parámetro por sí misma. Por ejemplo,

∫C (8x
para calcular 2 − iy)dz en y = 5x , 0 ≤ x ≤ 2 , se escribe z =x + i(5x) → dz =(1 + 5i)dx ,

2
∫C (8x ∫0 (8x
entonces: 2 − iy)dz= 2 − 5ix)(1 + 5i)dx y se integra de la forma acostumbrada

Propiedades de las integrales de contorno

Supóngase que f y g son continuas en un dominio D, y C es una curva suave que está
completamente en D. Entonces:
a) ∫C kf(z)dz = k ∫C f(z)dz , k es una constante
b) ∫C [f(z) + g(z)]dz= ∫C f(z)dz + ∫C g(z)dz
∫ f(z)dz
c) =
C ∫C1 f(z)dz + ∫C2 f(z)dz , donde C es la unión de las curvas suaves C1 y C2

d) ∫−C f(z)dz = − ∫C f(z)dz , donde -C es la curva que tiene la orientación opuesta a C.

Las cuatro propiedades también son válidas cuando C es una curva suave por tramos en D.

Ejemplo

∫C (x
Calcular 2 + iy 2 )dz , donde C es el contorno mostrado en la figura:

Solución
Podemos escribir

∫C (x ∫C1 (x ∫C2 (x
2 + iy 2 )dz = 2 + iy 2 )dz + 2 + iy 2 )dz

Página 3
Como la curva C1 se define mediante y = x tiene sentido utilizar x como parámetro. Por lo tanto,

x + ix , z′(x) =
z(x) = x 2 + ix 2 , entonces:
1 + i , f(z(x)) =

2 + iy 2 )dz =1(x 2 + ix 2 )(1 + i)dx =+ 2 1 x 2dx =(1 + i)2 2i

∫C1 (x ∫0 (1 i) ∫0 3
=
3
La curva C2 se define por x= 1 , 1 ≤ y ≤ 2 , utilizando y como parámetro, se tiene que

1 + iy , z′(y) =
z(y) = 1 + iy 2 , entonces:
i , f(z(y)) =
2 + iy 2 )dz =2 (1 + iy 2 )(i)dy = 2 2 7
∫C2 ( x ∫
1 ∫ ∫
− y 2dy + i dy = − + i , finalmente:
1 1 3
2 + iy 2 )dz =2i + ( − 7 + i) = 7 5i
∫C (x 3 3
− +
3 3
Ejemplo
Calcular
∫C f (z) dz , donde f (z) = Ιm(z2 ) , donde C es la trayectoria mostrada.

Solución
b
∫=
C
f ( z ) dz ∫ f ( z(t )) z′(t ) dt
a
Por propiedad

∫C f(z)dz = ∫C1 f(z)dz + ∫C2 f(z)dz + ∫C3 f(z)dz

a)
∫C1 f(z)dz
C : z(t)= x(t) + iy(t) , a ≤ t ≤ b → x(t)= t , y(t)= 0 , z(t)= t , 0 ≤ t ≤ 1
2 (t)) Im( 1
= =
f(z(t)) Im(z = t 2 ) 0 , z′(t) = 1 , ∫C1=
f(z)dz ∫= 0(1)dt 0
0

b) ∫C2 f(z)dz
π
z(t) =cos t + isent ; 0 ≤ t ≤ ⇒ z′(t) =−sent + icos t
4
Ιm  z2 (t)  =
f(z(t)) = Ιm  cos2 t − sen2 t + 2icos tsent  =
−2cos tsent
   
f(z(t)) =
−2sent cos t ⇒
∫C2 f(z)dz =
( −2sent cos t)( −sent + icos t)dt

Página 4
 π /4 π /4
∫C2 f(z)dz 2
∫0 (sen2 t)(cos t)dt − 2i
∫0 (cos2 t)(sent)dt

π /4 π /4 2 3t 
π /4 2i π /4
2∫
= (sen 2 t )(cos t )dt − 2i ∫ (cos2 t )(sen t )dt = cos3 t 
0 0 3 
sen 0 + 3  0

=
2
sen 3 ( π ) + 2i cos3 ( π ) − 2i = 2 ( 2 )3 + 2i ( 2 )3 − 2i = 2
+
2 2
i− i
3  4  3 4 3 3 2 3 2 3 6 6 3

c)
∫C3 f (z) dz
b b
∫C3 f ( z ) dz =
∫a f ( z(t )) z′(t ) dt , a ≤ t ≤ b ⇒
∫C3*
f ( z ) dz =−
∫a f (z(t )) z′(t ) dt
2
C3* : z(t ) = x (t ) + iy (t ) , y = x = t → z(t ) = t + it , 0 ≤ t ≤ ⇒ z′(t ) = 1 + i
2
2 /2
f ( z(t )) =
−2 x(t )y (t ) = ∫ * f (z) dz =
−2t 2 = −∫
C3 0
( −2t 2 )(1 + i ) dt

2 2 /2 2  2 
(1 + i ) t 3 
2 2
= = (1 + i ) ( )3=
 +i , finalmente
3  0 3  2  6 6

∫C ∫
2 2 2 2 2 2 2 2
f ( z ) dz =o+ +( − )i + +i ⇒ f ( z ) dz = + ( − )i
6 6 3 6 6 C 3 3 3

Teorema de acotación
Si f(z) es continua en una curva suave C, y si f(z) ≤ M para cualquier z de C, entonces

∫C f(z)dz ≤ ML , donde L es la longitud de C.

Ejemplo
ez
Encuentre una cota superior para el valor absoluto de ∫C z + 1 dz , donde C es el circulo z = 4 .
Solución
La longitud del círculo de radio 4 es 8π , entonces L= 8π , debemos hallar M talque f(z) ≤ M ,
Sabemos que z1 + z2 ≥ z1 − z2 → z + 1 ≥ z − 1 =4 −1=3 , entonces:

ez ez
1 1 x +iy
, ez e=
= e x , el máximo valor que puede tomar x en
z +1 ≥ 3 → ≤ → ≤
z +1 3 z +1 3

ez e4 e4
el circulo z = 4 es x = 4 , podemos escribir: ≤ , entonces M = , finalmente
z +1 3 3

ez e4 ez 8πe4
∫C z + 1 dz ≤
3
(8 π ) → ∫C z + 1 dz ≤
3

Página 5
Dominios simplemente conexo y múltiplemente conexo
Se dice que un dominio D es simplemente conexo si cualquier contorno cerrado simple C que se
localice completamente en D puede encogerse hasta un punto sin tener que abandonar D.
En otras palabras, en un dominio simplemente conexo, cualquier contorno cerrado simple C que
se encuentre completamente en aquella encierra únicamente a puntos del dominio D. Expresado
en forma alterna, un dominio simplemente conexo no tiene “agujeros”.

El plano complejo completo es un ejemplo de un dominio simplemente conexo. Un dominio que

no es simplemente conexo se denomina dominio múltiplemente conexo; esto es, un dominio
múltiplemente conexo tiene “agujeros”. Un dominio con un “agujero” se denomina doblemente

conexo, un dominio con dos “agujeros” se denomina triplemente conexo, etcétera.

Dominio simplemente conexo Dominio múltiplemente conexo

Teorema de Cauchy
Supóngase que una función f es analítica en un dominio simplemente conexo D y que f ′ es
continua en D. Entonces, para cualquier contorno cerrado simple C en D, ∫ f(z)dz = 0
C
En 1883, el matemático francés Edouard Goursat demostró el teorema de Cauchy sin la hipótesis
de continuidad de f ′ . La versión modificada resultante del teorema de Cauchy se conoce como
teorema de Cauchy-Goursat:
Teorema de Cauchy-Goursat
Supóngase que una función f es analítica en un dominio simplemente conexo D. Entonces,
para cualquier contorno cerrado simple C en D, se tiene que:

∫C f(z)dz = 0
Ejemplo
4
∫C e
z (sen z + cos z)dz = 0 ,C : z = ρ , ρ > 0
, porque f(z) es una función analítica en todo el
 
f(z)
plano complejo y C es cerrada.

Nota:

∫ f(z)dz =
C ∫
− f(z)dz =
C
0

Página 6
Independencia de la trayectoria
Sean z0 y z1 puntos de un dominio simplemente conexo D de una función analítica f(z) y sea.
Se dice que una integral de contorno ∫C f(c)dz es independiente de la trayectoria si su valor es
el mismo para cualquier contorno C en D con un punto inicial z0 y un punto terminal z1 .

Fig: Si f es analítica en D, las integrales sobre C y C1 son iguales

Fórmula integral de Cauchy

Sea f una función analítica en un dominio simplemente conexo D, y sea C un contorno cerrado
simple que se localiza completamente en D. Si z0 es cualquier punto dentro de C, entonces:
f(z)
∫C z − z0 dz= 2πif(z0 )

Ejemplo
z2 − 4z + 4
Calcular ∫C z + i dz , donde C es el circulo z = 2
Solución
Sea f(z) = z2 − 4z + 4 y z0 = −i como un punto dentro del círculo C

, vemos que f(z) es analítica en todos los puntos del interior y sobre el contorno C, entonces:
z2 − 4z + 4
∫C z + i dz = 2πif( −i) = 2πi(3 + 4i) = 2π(−4 + 3i) = −8π + 6πi
Ejemplo
z z − 2i =
Calcular ∫C z2 + 9 dz , donde C es el circulo 4

Solución

Página 7
Factorizando el denominador z2 + 9 = (z − 3i)(z + 3i) , 3i es el único punto dentro de C para el
cual el integrando deja de ser analítico.

z
= z + 3i , hacemos f(z) =
z z
Reescribimos el integrando , esta función es analítica en
z + 9 z − 3i
2 z + 3i
todos los puntos del interior y sobre el contorno C. Entonces usando la formula integral de Cauchy
z
z + 3i dz = 2πif(3i) = 2πi ⋅ 3i = πi
∫C z2 + 9 dz = ∫C z − 3i
z
6i

Fórmula integral de Cauchy para derivadas (Derivadas de una función analítica)

Sea f una función analítica en un dominio simplemente conexo D, y C un contorno cerrado simple
comprendido enteramente dentro de D. Si z0 es cualquier punto interior a C, entonces:
1 f(z)
Si la formula f(z0 ) = ∫
 dz , se deriva respecto de z0 dentro de la integral, swe
2πi C z − z0
obtiene

∫
1 f (z)
f ′( z0 ) = dz
2π i C ( z − z )2
0

∫C (z − z0 )3 dz
2! f (z)
f ′′( z0 ) =
2π i

∫C (z − z0 )4 dz
3! f (z)
f ′′′( z0 ) =
2π i
En general

∫C (z − z0 )n +1 dz
n! f (z)
f ( n ) ( z0 ) =
2π i

Podemos escribir
2π i ( n )
∫C (z − z0 )n +1
f (z)
dz = f ( z0 )
n!

Página 8
Ejemplo
z +1 z =1
Calcular ∫C z4 + 4z3 dz , donde C es el circulo
Solución
El integrando no es analítico en z = 0 y en z = −4 , solo z = 0 se encuentra dentro de C.

z +1
z +1
Escribimos el integrando como: = z+4 , tendríamos z0 = 0 y
4
z + 4z 3 z3
z +1
z +1 −6 2πi 3πi
f(z) = → f ′′(z) = , entonces ∫ z + 4 dz = ⋅ f ′′(0) =
−
z+4 (z + 4)3 C z 3 2! 32

Ejemplo
z3 + 3
Calcular ∫C z(z − i)2 dz , donde C es el contorno mostrado en la figura

Resolución
Aunque C no es un contorno cerrado simple se puede pensar en el cómo la unión de dos
contornos cerrados simples C1 y C2 , como se indica en la figura. Escribiendo
z3 + 3 z3 + 3
3
z +3 3
z +3 3
z +3 2
(z − i)
∫
C z(z − i)2
dz = ∫
C1 z(z − i)2
dz + ∫
C2 z(z − i)2
dz =−
C1∫ z
dz + ∫ z dz =−I + I
C2 (z − i)2 1 2

Página 9
 z3 + 3
z3 + 3 (z − i)2
Para calcular I1 , z0 = 0 y f(z) = , entonces: I1 =∫ dz =2πif(0) =−6πi
(z − i)2 C1 z

z3 + 3 2z3 − 3
Para calcular I2 , z0 = i , n = 1 , f(z)= → f ′(z)= , entonces
z z2
z3 + 3
I2 = ∫ z dz = 2πi ⋅ f ′(i) = 2π( −2 + 3i) , finalmente
C2 (z − i)2 1!
z3 + 3
∫C z(z − i)2 dz = −l1 + I2 = 6πi + 2π( −2 + 3i) = 4π( −1 + 3i)

Teorema:
Si una función f es analítica en un punto, sus derivadas de todos los órdenes son también
funciones analíticas en ese punto.

Teorema de Morera
Si una función f es continua en un dominio D y si para todo contorno cerrado C contenido en D:

∫ f(z)dz = 0
C
entonces f es analítica.

Desigualdad de Cauchy
Cuando f es analítica dentro de y sobre un círculo z − z0 =
R , denotado por C y recorrido en
sentido positivo, se sabe que:

n! f(z)dz
=f (n) (z0 ) =
∫
2πi C (z − z0 )n+1
; n 1 , 2 ,...

El máximo valor de f(z) sobre C depende, en general, del radio de C, si denotamos por MR ese
valor máximo, obtenemos la desigualdad de Cauchy:
n!M
f (n) (z0 ) ≤ n R , n =
1,2 ,...
R
En particular, si:
M
f ′ (z0 ) ≤ R
R

Teorema de Liouville
Si f es entera y acotada en todo el plano complejo, f(z) es constante en el plano.

Serie de Taylor
Sea f(z) una función analítica en todo punto del disco C0 , con centro en z0 y radio R0 . Entonces,
en cada punto z del disco C0 , f(z) se expresa como:

Página 10
 ∞ f ( n ) ( z0 )
∑ an ( z − z0 ) , an =
n
=
f (z)
n!
n =0
es decir, la serie de potencias converge a f ( z ) cuando z − z0 < R0 .
Si f ( n ) ( z0 ) = f ( z0 ) , la serie se puede escribir como:
f ′( z0 ) f ′′( z0 )
f ( z )= f ( z0 ) + ( z − zo ) + ( z − zo )2 + ... , z − z0 < R0
1! 2!

Serie de Maclaurin
Si z0 = 0 , la serie de Taylor toma la forma:
∞
f ( n ) (0) n
f (z) = ∑ n!
z
n =0
y se denomina serie de Maclaurin de f(z).
Series Usuales
z z2 z3 zn
1) e =+1 z + + + ... + + ... z <∞
2! 3! n!
3 5 2n+1
z z n z
2) senz = z − + − ... + ( −1) + ... z <∞
3! 5! (2n + 1)!
z2 z 4 z2n
3) cosz = 1− + + ... + ( −1)n + ... z <∞
2! 4! (2n)!
z3 z5 z2n+1
4) shz =z + + − ... + + .... z <∞
3! 5! (2n + 1)!
z2 z 4 z2n
5) chz = 1+ + + ... + + ... z <∞
2! 4! (2n)!
1
6) =1+ z + z2 + z3 + ... + zn + ... z <1
1− z
1
7) = 1− z + z2 − z3 + ... + ( −z)n + ... z <1
1+ z
z2 z3 n−1 z
n
8) ln(1+ z) = z − + − ... + ( −1) + ... z <1
2 3 n!
1
9) 2
=1+ z2 + z4 + ... + z2n + ... z <1
1− z
n(n − 1) 2 n(n − 1)(n − 2) 3
10) (1+ z)n =+ 1 nz + z + z + .... z <1
2! 3!

Página 11
 Ejemplo
a bz
Calcular la serie de Taylor de f(z) = z e en=z0 0 , a,b ∈  .
Resolución

zk ∞ ∞
(bz)k ∞ k k
bz ∞ k k +a
bz ∞
bk −azk
∑ k! ez =
⇒ ebz
= ∑ ⇒ z a bz
e = z a
∑ ⇒ f(z)= ∑ k! ⇒ f(z)= ∑
=k 0= k 0 k! = k 0 k!
= k 0 = k a (k − a)!

Ejemplo
z −1
Calcular la serie de Taylor de f(z) = en z0 = 1.
z2
Resolución

Sea u = z − 1⇒ z = u + 1, entonces:

u  ( −2)( −3) 2 
f(u)= 2
⇒ f(u)= u(1+ u)−2= u 1+ ( −2)u + u + ....
(u + 1)  2! 
∞
f(u) =u − 2u + 3u + ... ⇒ f(z) =(z − 1) − 2(z − 1) + 3(z − 1) + ... ⇒ f(z) = ∑ ( −1)n+1n(z − 1)n
2 3 2 3

n=1

1 an ( −1)n+1n n
=R ⇒ R lim = lim
= n + 2
= lim= 1, R = 1⇒ z − 1 < 1
a n→∞ an+1 n→∞ ( −1) (n + 1) n→∞ n + 1
lim n+1
n→∞ an

Serie de Laurent
Sea f(z) una función analítica en el anillo R1 < z − z0 < R2 , centrado en z0 . Sea C cualquier
contorno cerrado simple, orientado positivamente, que rodea a z0 y está contenido por completo
en ese dominio anular.

Entonces, en todo punto de ese dominio anular, f(z) admite la representación

∞ ∞ bn
∑ an ( z − z0 ) ∑
n
f (=
z) +
1 ( z − z0 )
n
=n
0=   n  
parte analitica parte principal

Página 12
 Donde
1 f (z)
an = ∫
2π i C ( z − z )n +1
dz , n 0,1,2,....
0

f ( z )( z − z0 )n −1dz , n = 0,1,2,...
1
bn =
2π i ∫
C

Nota
a) Si la parte principal es cero, la serie de Laurent es simplemente la serie de Taylor.
b) En general, los coeficientes de una serie de Laurent se calculan por métodos más prácticos
que las propias representaciones integrales, siendo el camino más usado, partir de los
desarrollos de Taylor (o de Maclaurin).
Ejemplo
z+7
Desarrollar la función f(z) = en serie de Laurent en las regiones:
2
z + 2z − 3
a) 1 < z < 3 b) 0 < z − 1 < 4 c) z + 3 > 4 d) z < 1
Resolución

z+7 z+7 2 1
f(z) = ⇒ f(z) = ⇒ f(z) = −
2 (z − 1)(z + 3) z −1 z + 3
z + 2z − 3

Parte a: 1 < z < 3

1 z
z > 1⇒ <1 y z <3⇒ <1
z 3
n n
2 1 2 1 2 ∞  1 1 ∞  z 1 z
f(z) = − ⇒ f(z) = − ⇒ f(z) = ∑   − ∑  −  , si <1 y <1
z −1 z + 3 1 3 z  3  3  3  z 3
z(1− ) z(1+ ) =n 0=n 0
z z
∞
1 ( −1)n n
∞
f(z) 2 ∑
n +1 ∑ n +1
= − z , si 1 < z < 3
= n 0=z n 0 3
Parte b: 0 < z − 1 < 4
z −1
z −1 < 4 ⇒ <1
4
2 1 2 1 2 1
f(z) = − ⇒ f(z) = − ⇒ f(z) = −
z −1 z + 3 z − 1 4 + (z − 1) z − 1 4(1+ z − 1)
4

n
2 1 ∞  z − 1 z −1
f(z) = − ∑  −  , si z ≠ 1 y <1
z − 1 4 n =0  4  4

2 1 ∞ ( −1)n
f(z)
= − ∑ (z − 1)n , si 0 < z − 1 < 4
z − 1 4 n=0 4n+1

Página 13
 Parte c: z + 3 > 4
4
z+3 > 4 ⇒ <1
z+3
2 1 2 1 2 1
f(z) = − ⇒ f(z) = − ⇒ f(z) = −
z −1 z + 3 (z + 3) − 4 z + 3 4
(z + 3)(1− ) z+3
z+3
n
2 ∞  4  1 4
f(z) ∑   −
z + 3 n =0  z + 3  z + 3
, si z + 3 ≠ 0 y
z+3
<1

∞
4n 1
=f(z) 2 ∑ − , si z + 3 > 4
n +1 z+3
n=0 (z + 3)

Parte d: z < 1
∞ n
2 1 2 1 1 ∞ z z
f(z) = − ⇒ f(z) =
− − −2 ∑ zn − ∑   , si z < 1 y
⇒ f(z) = <1
z −1 z + 3 z
1− z 3(1+ ) 3  3  3
= n 0= n 0
3
∞
 ( −1)n  n
− ∑ 2 +
f(z) =  ⋅ z , si z < 1
 3n+1 
n =0 

Cero de una función analítica

z0 es un cero de una función f sí f ( z0 ) = 0 . Una función analítica tiene un cero de orden n en

z = z0 si: f ( z0 ) =0, f ′( z0 ) =0, f ′′( z0 ) =0,..., f ( n −1) ( z0 ) =0, pero f ( n ) ( z0 ) ≠ 0

Singularidad
Una función f(z) tiene una singularidad en un punto z = z0 si f(z) no es analítica en z = z0 ,
aunque toda vecindad de z = z0 contiene puntos en los cuales f(z) es analítica.
Ejemplo
2
f ( z ) = e1/ z , tiene una singularidad en z = 0

Singularidad aislada
z = z0 se denomina singularidad aislada de f(z), si z = z0 tiene una vecindad sin ninguna otra
singularidad de f(z).
Ejemplo
z +1
La funcion f ( z ) = , tiene los puntos singulares aislados z = 0 y z = ± i
z3 ( z 2 + 1)
Ejemplo
El origen es un punto singular de Ln z, pero no es punto singular aislado, pues todo entorno
punteado del origen contiene puntos del eje real negativo, en los que Ln z no es analítica
Clasificación de los puntos singulares aislados
Un punto singular aislado z = a de una función compleja se clasifica dependiendo de si la parte
principal de su expansión de Laurent contiene cero, un número finito o un número infinito de
términos.
Página 14
 Si f(z) tiene una singularidad aislada en z = a , entonces puede representarse mediante una serie
de Laurent.
∞ ∞ cn ∞ cn
f=
(z) ∑ bn ( z − a )n + ∑ ... (1) ∑ ... (2)
=n 0= ( z − a )n ( z − a )n
=1

n 1   
n  
Parte principal Parte principal
i) Si la parte principal es cero, esto es, todos los coeficientes cn son cero, entonces z = a se
denomina una singularidad removible.
ii) Si la parte principal contiene un número finito de términos no nulos, entonces z = a se
denomina un polo.
Si, para este caso, el último coeficiente no nulo de (2) es cm , donde m > 1, se dice entonces que
z = a es un polo de orden m.
c1 cm
+ ... + + 0 + 0 + 0 + ....
z−a ( z − a )m

numero finito de teminos
con c m ≠ 0
Si z = a es un polo de orden 1, entonces la parte principal (2) contiene exactamente un término
de coeficiente c1.
A un polo de orden 1 se le conoce comúnmente como polo simple.
iii) Si la parte principal (2) contiene un número infinito de términos no nulos, entonces z = a se
denomina singularidad esencial.
Ejemplo
Determinar el tipo de singularidad de:
f ( z ) = z 2e1/ z
Solución:
 1 1 1 1  1 1 1
f (z ) = z2 1 + + + + + ...  ⇒ f ( z ) = z 2 + z + + + + ...
 z 2 3! z3 4! z 4  2 6 z 2
 2! z  24 z

1   1 1 
f (z ) =  + z + z2  +  + + ...... 
2   6z 24z 2 
f(z) tiene una singularidad esencial en z = 0

Página 15