Apuntes del Tema 6: Integral compleja (versin 1.

2)

C. Ortiz y A. Mndez

ndice

1. Integral de una funcin compleja de variable real 1

2. Integral de contorno o curvilnea 1

3. Teorema de Cauchy-Goursat 2

4. Primitivas e integrales definidas 4

5. Frmula integral de Cauchy. Derivadas de una funcin analtica 5

6. Serie de potencias 6

7. Serie de Laurent 9

8. Ceros y singularidades 9

9. Residuos 13

9.1. Clculo de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

9.2. Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

1
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

1. Integral de una funcin compleja de variable real

b b
Definicin 1.1 Sea f (t) = u(t) + jv(t), con a t b una funcin. Si existen u(t)dt y v(t)dt,
a a
diremos que f es integrable en [a, b] y que su integral es
b b b
f (t)dt = u(t)dt + j v(t)dt
a a a

Propiedades
b b b b
1. Re f (t)dt = u(t)dt; Im f (t)dt = v(t)dt
a a a a
b b b
2. (f (t) + g(t)dt = f (t)dt + g(t)dt, donde y son constantes complejas.
a a a
b a
3. f (t) dt = f (t) dt
a b
c b b
4. Si a < c < b, f (t) dt + f (t) dt = f (t) dt
a c a
 b  b
 

5.  f (t)dt |f (t)|dt
a a

2. Integral de contorno o curvilnea

Definicin 2.1 Una curva C en el plano complejo es el conjunto de puntos (t) = x(t) + jy(t), con
t [a, b], donde x(t) e y(t) son continuas en [a, b]. Es decir, C = Imagen() = ([a, b]).

Definicin 2.2 Una curva C es es regular, o suave, si (t), con t [a, b], es continua, con derivada
continua y (t) = 0 en (a, b). Una curva es regular a trozos si [a, b] puede dividirse en un nmero
finito de subintervalos donde la curva es regular, es decir existe una particin finita del intervalo,

[a, b] = [a = t0 , t1 ] [t1 , t2 ] . . . [tn1 , tn = b]

y tal que ([ti , ti+1 ]) es curva regular, i = 0, . . . , n 1. Una curva regular a trozos tambin se llama
contorno.

Definicin 2.3 Un contorno, C, se dice que es simple en [a, b] si (t1 ) = (t2 ) siempre que t1 = t2 ,
donde t1 , t2 (a, b), es decir si (t) es inyectiva en (a, b).
Diremos que un contorno simple es cerrado si (a) = (b).

Definicin 2.4 Un contorno C simple y cerrado esta orientado positivamente si se recorre en sentido
contrario a las agujas del reloj.

1
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

Definicin 2.5 ( Integral de contorno) Supongamos que la ecuacin

(t) = x(t) + jy(t) t [a, b]

representa una curva regular C que se extiende de z1 = (a) hasta z2 = (b). Sea f (z) una funcin
continua a trozos sobre C. La integral de contorno o curvilnea de f a lo largo de C se define como
b
f (z) dz = f ((t)) (t) dt
C a

Definicin 2.6 Sea C una curva regular a trozos, con C = C1 . . . Cn , siendo Ci curva regular,
entonces
n

f (z) dz = f (z) dz
C i=1 Ci

Propiedades

1. La integral compleja es un operador lineal:

(f (z) + g(z)dz = f (z)dz + g(z)dz
C C C

donde y son constantes complejas.

2. f (z)dz es independiente de la parametrizacin de C
C

3. f (z)dz = f (z)dz
C C

4. f (z)dz = f (z)dz + f (z)dz siendo C = C1 C2
C C1 C2

5. Si f (z) = u(x, y) + jv(x, y)

f (z)dz = u(x, y)dx v(x, y)dy + j v(x, y)dx + u(x, y)dy
C C C
  b
 
6.  f (z)dz 
 |f (z(t)) z (t)| dt
C a

7. Sea f una funcin continua en un contorno C de longitud L y sea M tal que |f (z)| M para
todo z C. Entonces,  
 
 f (z)dz  M L
 
C

3. Teorema de Cauchy-Goursat

Sea C un contorno cerrado y simple descrito en sentido positivo y supongamos f analtica en

todo punto interior a C y en todos los puntos de C. Entonces
b b b

f (z)dz = f (z(t)) z (t)dt = (ux vy )dt + j (vx + uy )dt =
C a a a

2
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

u(x, y)dx v(x, y)dy + j v(x, y)dx + u(x, y)dy
C C

Si adems de ser f analtica , exigimos que la derivada de f sea continua, los campos vectoriales (u, v)
y (v, u) sern de clase C (1 , es decir, tienen derivadas parciales continuas y por lo tanto podemos aplicar
el teorema de Green (llamando R a la regin encerrada por la curva)

f (z)dz = (vx uy )dxdy + j (ux vy )dxdy
C R R

y usando las condiciones de Cauchy Riemann, se tiene que los integrndos de las dos integrales son
cero en R por lo que

f (z)dz = 0
C

Este resultado fue establecido por Cauchy en el siglo XIX. Posteriormente Goursat demostr que es
posible quitar la condicin sobre la continuidad de la derivada.

Teorema 3.1 Si f es una funcin analtica en todo los puntos de un contorno cerrado y simple C y
su interior, entonces

f (z)dz = 0
C

Este teorema puede extenderse a dominios D simplemente conexos ( si todo contorno simple y
cerrado de l encierra slo puntos de D)

Teorema 3.2 Si f es una funcin analtica en un dominio simplemente conexo D, entonces

f (z)dz = 0
C

para todo contorno cerrado contenido en D.

El teorema de Cauhy se puede extender tambin a conjuntos mltiplemente conexos obtenin-

dose as los siguientes teoremas.

Teorema 3.3 Supongamos que C es un contorno simple cerrado y C1 , C2 , . . . , Cn son contornos sim-
ples cerrados contenidos en el interior de C y tales que ni Ci ni su interior tienen puntos comunes con
Cj y su interior, para i, j = 1, 2, . . . , n con i = j
Si f es analtica en C, C1 , . . . , Cn y en el dominio mltiplemente conexo D formado por los puntos
interiores a C y exteriores a todos los Ci con i = 1, . . . , n se verifica que
n

f (z)dz = f (z)dz
C i=1 Ci

Recorrindose C y Ci en sentido contrario a las agujas del reloj.

3
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

Teorema 3.4 (Principio de deformacin de caminos) Sean C1 y C2 contornos cerrados, simples

y con la misma orientacin, con C1 interior a C2 . Si f (z) es analtica en los contornos y en los puntos
exteriores a C1 e interiores a C2 entonces

f (z)dz = f (z)dz
C1 C2

4. Primitivas e integrales definidas

En general, la integral de contorno de una funcin f (z) desde un punto z1 a otro z2 depende del
camino. Sin embarco, existen ciertas funciones para las que esto no es as como vemos en el siguiente
teorema.

Definicin 4.1 Sea f (z) continua en D C, llamaremos a F (z) primitiva de f (z) en D si z D

se cumple F (z) = f (z).

4
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

Teorema 4.1 Sea f : D C, con D C abierto y conexo, es continua en D. Entonces son equiva-
lentes las siguientes afirmaciones:

1. Existe F (z) primitiva de f (z) en D.

2. Las integrales de f (z) a lo largo de contornos contenidos en D que unen dos puntos, z1 y z2 , fijos
tienen el mismo valor.

3. Las integrales de f (z) a lo largo de contornos cerrados, simples y contenidos en D valen cero.

Si se cumplen alguna de las hiptesis anteriores, se verifica

z2
f (z)dz = F (z2 ) F (z1 ), con z1 , z2 D.
z1

5. Frmula integral de Cauchy. Derivadas de una funcin analtica

Teorema 5.1 Sea f una funcin analtica en el interior y en los puntos de un contorno cerrado y
simple C, orientado positivamente. Si z0 es un punto interior a C, se tiene

1 f (z)
f (z0 ) = dz.
2j C z z0

Esta ltima frmula se conoce como frmula integral de Cauchy y es clave en la prueba de
que toda funcin analtica en un punto admite derivadas de todos los rdenes en ese punto y, todas
ellas son analticas en l.

Teorema 5.2 Sea f una funcin analtica en el interior y en los puntos de un contorno cerrado y
simple C, orientado positivamente. Si z0 es un punto interior a C, se tiene

(n) n! f (z)
f (z0 ) = dz.
2j C (z z0 )n+1

donde 0! = 1 y f (0) (z) = f (z).

Esta frmula puede verse como una generalizacin de la frmula integral de Cauchy y adems
podemos concluir los dos siguientes resultados.

Teorema 5.3 Si una funcin es analtica en un punto, sus derivadas de todos los rdenes son analticas
en dicho punto.

Corolario 5.1 Si una funcin f (z) = u(x, y) + jv(x, y) es analtica en un punto z = x + jy, sus
funciones componentes u y v tienen derivadas parciales de todo orden y son continuas en (x, y).

5
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

6. Serie de potencias

Definicin 6.1 Se llama serie de potencias a una serie del tipo

c0 + c1 (z z0 ) + c2 (z z0 ) + + cn (z z0 ) + =
2 n
cn (z z0 )n
n=0

donde z es una variable compleja independiente, los coeficientes cn son nmeros complejos dados y z0
es un nmero complejo fijo.

Observacin Toda serie de potencias converge en el punto z = z0 .

Teorema 6.1 Dada la serie cn (z z0 )n , existe un nmero R, con 0 R , llamado radio de
n=0
convergencia, verificndose que:

1. La serie converge absolutamente en el crculo abierto |z z0 | < R.

2. La serie diverge para todo z tal que |z z0 | > R.

   
 cn+1   cn 

3. Si existe lm  , entonces R = l
m  , o bien si existe lm n |cn |, entonces el radio
n cn  n  cn+1  n
1
de convergencia es R = lm .
n n |c |
n

Adems, f (z) = cn (z z0 )n es analtica para todo z tal que |z z0 | < R y su derivada admite una
n=0


representacin en serie de potencias de la forma f (z) = n cn (z z0 )n1 , y tiene el mismo radio
n=1
de convergencia que f (z).

Teorema 6.2 Sea f (z) una funcin analtica en un crculo abierto |z z0 | < R con centro en z0 y
radio R. Entonces, en todo z del crculo, f (z) admite la representacin en serie de potencias


f (z) = cn (z z0 )n ( con |z z0 | < R)
n=0

f (n) (z0 )
siendo cn = , con n = 0, 1, 2, . . ..
n!
Es decir la serie de potencias converge a f (z) si |z z0 | < R. Este es el desarrollo de f (z) en serie de
Taylor en torno al punto z0 dado que los coeficientes de la serie recuerdan a los de la serie de Taylor
en variable real.

Observaciones

1. Si adoptamos el convenio f (0) (z0 ) = f (z0 ) y 0! = 1 se puede escribir

f (n) (z0 )
f (z0 ) f (z0 ) f (n)(z0 )
f (z) = f (z0 )+ (z z0 )+ (z z0 )2 + + (z z0 )n + = (z z0 )n
1! 2! n! n!
n=0

6
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

2. Si f es entera, R puede ser arbitrariamente grande y por tanto la serie converge a f (z) para todo
z C.

3. En el caso particular z0 = 0 se llama serie de MacLaurin.

Ejemplo 6.1 1. La funcin f (z) = ez es entera, por lo que tiene representacin en serie de Ma-
cLaurin para todo z. Como f (n) (z) = ez , para todo z, se tiene f (n) (0) = 1 para todo n. Por
tanto

zn
e = z
(con |z| < )
n!
n=0

Observamos que si z es real (z = x + j0) tenemos

xn
x
e = (con < x < )
n!
n=0

2. La funcin f (z) = z 2 e3z tambin tiene una representacin en serie de MacLaurin para todo z.

(3z)n
e 3z
= (con |z| < )
n!
n=0

Por tanto



(3z)n 3n z n+2
z 2 e3z = z 2 =
n! n!
n=0 n=0

O bien

3n2 n
z 2 e3z = z (con |z| < )
(n 2)!
n=2

3. f (z) = sen z tambin es entera, f (2n) (0) = 0 y f (2n+1) (0) = (1)n con n = 1, 2, . . .. Entonces

z 2n+1
sen z = (1)n (con |z| < )
(2n + 1)!
n=0

4. Sea f (z) = senh z. Como senh z = j sen(jz), entonces:

(jz)2n+1 (1)n j z 2n+1 z 2n+1
senh z = j sen(jz) = j (1) n
= j (1)n =
(2n + 1)! (2n + 1)! (2n + 1)!
n=0 n=0 n=0

5. f (z) = cos z es entera, f (2n) (0) = (1)n y f (2n+1) (0) = 0, con n = 1, 2, . . .

z 2n
cos z = (1)n (con |z| < )
(2n)!
n=0

6. f (z) = cosh z. Como cosh z = cos(jz), tenemos:

z 2n
cosh z = (con |z| < )
(2n)!
n=0

7
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

1
7. El desarrollo de Maclaurin de f (z) = es
1z

1
f (z) = = zn (con |z| < 1)
1z
n=0

n!
Esta funcin no es analtica en z = 1, sus derivadas son f (n) (z) = , luego f (n) (0) = n!
(1 z)n+1
Tambin se puede considerar como la suma de los infinitos trminos de una serie geomtrica de
razn z, as que para que sea convergente |z| < 1.
A partir de este desarrollo obtenemos otros como:

1
= (z)n = (1)n z n (con |z| < 1)
1+z
n=0 n=0

1 1
= = (1 z)n = (1)n (z 1)n (con |z 1| < 1)
z 1 (1 z)
n=0 n=0
( )
1 + 2z 2 1 2(z 2 + 1) 1 1 1
8. Consideremos ahora la funcin f (z) = 3 = 3 = 3 2
z + z5 z 1 + z2 z 1 + z2
no desarrollable en serie de Taylor porque no es analtica en z = 0, pero por el apartado anterior
sabemos:
1
= 1 z2 + z4 z6 + z8 + (con |z| < 1)
1 + z2
Por tanto si 0 < |z| < 1 tenemos:

1 + 2z 2 1 1 1
3 5
= 3 (21+z 2 z 4 +z 6 z 8 + ) = 3 + z+z 3 z 5 + = z 3 +z 1 z+z 3 z 5 +
z +z z z z

Observamos que este es un desarrollo en serie que tiene potencias tanto positivas como negativas
de z.

Observacin. El teorema de Taylor establece una intima conexin entre funciones analticas y series
de Taylor. Resumiendo lo estudiado hasta ahora sobre funciones analticas podemos establecer las
siguientes definiciones de una funcin analtica en un dominio D:

1. f (z) existe en todo D.

2. f (z) tiene derivadas de todo orden en D.

3. f (z) posee desarrollo en serie de Taylor vlido en un entorno de cada punto de D.

4. f (z) es la suma de una serie de potencias convergente en un entorno de cada punto de D.

8
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

7. Serie de Laurent

Si una funcin no es analtica en z0 no es desarrollable en serie de Taylor en ese punto. Sin

embargo, a veces es posible representar en serie la funcin usando tanto potencias positivas como
negativas de z z0 .

Teorema 7.1 Sea f una funcin analtica en un dominio anular R1 < |z z0 | < R2 , 0 < R1 < R2 ,
y C un contorno simple, cerrado, orientado positivamente, con z0 en su interior y contenido en el
dominio anular. Entonces, en todo punto z de ese dominio, f (z) admite la representacin en serie


bn
f (z) = an (z z0 )n +
(z z0 )n
n=0 n=0

1 f (z) 1 f (z)
donde an = dz y bn = dz.
2j C (z z0 )n+1 2j C (z z0 )n+1

Observacin

1. Una serie de Laurent tambin se puede representar como

f (z) = cn (z z0 )n
n=

1 f (z)
Con R1 < |z z0 | < R2 y cn = dz, donde n Z.
2j C (z z0 )n+1
f (z)
2. Si f es analtica en |z z0 | < R2 = f (z)(z z0 )n1 es analtica en BR2 (z0 ),
(z z0 )n+1

1 f (z) f (n (z0 )
luego bn = 0, n = 1, 2, . . .. Adems, an = dz = .
2j C (z z0 )n+1 n!

8. Ceros y singularidades

Definicin 8.1 Se dice que z0 es un cero de orden n, con n N, de la funcin f (z) si se verifica que:

f (z0 ) = f (z0 ) = f (z0 ) = = f (n1) (z0 ) = 0 y f (n) (z0 ) = 0

Ejemplo 8.1

1. f (z) = z 2 tiene un cero simple en z = 2.

2. f (z) = (z 2)n tiene un cero de orden n en z = 2.

3. f (z) = cos z 1 tiene un cero de orden 2 en z = 0.

9
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

Teorema 8.1 Sea f (z) una funcin analtica en un dominio D. Si z0 D es un cero de orden n de
f si y solo si
f (z) = (z z0 )n g(z), siendo g(z) analtica en z0 y g(z0 ) = 0

Demostracin. Veamos que la condicin es necesaria. Como f es analtica en z0 , existe R > 0 tal que
en |z z0 | < R

f (n) (z0 )
f (z) = (z z0 )n
n!
n=0

Como f (z0 ) = f (z0 ) = f (z0 ) = = f (n1) (z0 ) = 0 y f (n) (z0 ) = 0, se tiene que:
[ ]
f (n) (z0 ) f (n+1) (z )
0 f (n) (z )
0 f (n+1) (z )
0
f (z) = (zz0 )n + (zz0 )n+1 + = (zz0 )n + (z z0 ) +
n! (n + 1)! n! (n + 1)!
[ ]
f (n) (z ) f (n+1) (z )
0 0
Por tanto f (z) = (z z0 )n g(z), con g(z) = + (z z0 ) + analtica pues es la
n! (n + 1)!
suma de una serie de potencias y con el mismo crculo de convergencia que f y, adems, en el punto
f (n) (z0 )
z0 no es cero, g(z0 ) = = 0.
n!
Para demostrar la condicin suficiente, si f (z) = (z z0 )n g(z), siendo g(z) analtica en z0 ,
entonces g es desarrollable en serie de potencias y

[ ]
g (k) (z0 ) g (k) (z0 )

f (z) = (zz0 )n
(zz0 ) = (zz0 ) g(z0 ) + g (z0 )(z z0 ) + . . . +
k n
(z z0 ) +
k
k! k!
k=0

Por ser, la expresin anterior, una representacin en serie de Taylor de f (z) se concluye que f (z0 ) =
f (n) (z0 )
f (z0 ) = f (z0 ) = = f (n1) (z0 ) = 0 y = g(z0 ) = 0, por lo que f (n) (z0 ) = 0 y z0 es cero de
n!
orden n de f .

Proposicin 8.1 Los ceros de una funcin analtica no idnticamente nula son aislados, es decir,
existe un entorno del punto donde la funcin slo se anula en dicho punto.

Ejercicio 1 El punto z0 es un cero de orden k para la funcin f (z) y es un cero de orden l para la
funcin g(z). Qu es el punto z0 para las siguientes funciones?

a) f (z) g(z)

b) f (z) + g(z)
f (z)
c)
g(z)

Solucin. Al ser el punto z0 un cero para f (z) y g(z) consideramos en este apartado y posteriores:
f (z) = (z z0 )k p(z), con p(z0 ) = 0
g(z) = (z z0 )l q(z), con q(z0 ) = 0

10
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

a) Entonces: f (z) g(z) = (z z0 )k+l [p(z) q(z)], con p(z0 ) q(z0 ) = 0

Y por tanto:
z0 es un cero de orden k + l para la funcin f (z) g(z)

b) i) Si k l :
f (z) + g(z) = (z z0 )k [p(z) + (z z0 )lk q(z)]

siendo, por tanto, z0 un cero de orden k, ya que:

p(z0 ) + (z0 z0 )lk q(z0 ) = p(z0 ) = 0.

ii) Si k > l :
f (z) + g(z) = (z z0 )l [(z z0 )kl p(z) + q(z)]

siendo z0 un cero de orden l, porque (z z0 )kl p(z0 ) + q(z0 ) = q(z0 ) = 0.

Conclusin:

z0 es un cero de orden m, siendo m = mn(k, l), para la funcin f (z) + g(z).

f (z) f (z) p(z)

c) se puede expresar como = (z z0 )kl = (z z0 )kl (z), siendo (z0 ) = 0.
g(z) g(z) q(z)

Consideramos las siguientes posibilidades:

i) Si k > l :
f (z)
z0 es un cero de orden k l para la funcin .
g(z)
ii) Si k = l :
f (z) g(z)
z0 no es ni cero para la funcin , ni cero para la funcin . As, se dice que z0
g(z) f (z)
f (z)
es un punto singular evitable de .
g(z)
iii) Si k < l :
g(z)
z0 es un cero de orden (l k) para la funcin .
f (z)

Regla de LHpital. Si f y g son analticas en z0 y tales que f (z0 ) = g(z0 ) = 0, se verifica que

f (z) f (z)
lm = lm
zz0 g(z) zz0 g (z)

Definicin 8.2 Se dice que z0 es una singularidad aislada de la funcin f (z) si f (z) no es analtica
en z = z0 pero existe un entorno reducido, o perforado, de z0 donde f es analtica. Es decir, existe
R > 0 tal que f es analtica en 0 < |z z0 | < R.

11
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

Clases de singularidades

1. Se dice que z0 es una singularidad evitable de f , si f no est definida en z0 pero existe

lm f (z) = c C.
zz0

1
2. Se dice que z0 es una polo de orden n de f , con n N, si tiene un cero de orden n en z0 .
f (z)
1
3. Se dice que z0 es una singularidad esencial de f , si f y no son analticas en z0 .
f

Ejemplo 8.2

ez 1 ez 1 ez
1. f (z) = tiene una singularidad evitable en z = 0, pues, lm = lm =1
z zz0 z zz0 1
El desarrollo en serie de f sera
( )
ez 1 1 zn z n1 z n
= 1 = =
z z n! n! (n + 1)!
n=0 n=1 n=0

Nos damos cuenta que este desarrollo no tiene ninguna potencia de z con exponente negativo.
1
2. f (z) = tiene un polo de orden 2 en z = 2 Esta funcin ya est desarrollada en potencias
(z 2)2
de (z 2), es decir, su serie de Laurent es ella misma. Tiene por tanto un nmero finito de
potencias negativas.
1
3. f (z) = e z tiene una singularidad esencial en z = 0. Puesto que



1 ( 1 )n
z 1
ez = = n
n! z n!
n=0 n=0

Este desarrollo tiene infinitas potencias negativas de z.

Clasificacin de las singularidades segn su serie de Laurent

Si z0 es una singularidad aislada de f (z) existe un anillo R1 < |z z0 | < R2 en el que f (z) es analtica.
Luego z/ R1 < |z z0 | < R2


bn
f (z) = an (z z0 ) + n
(z z0 )n
n=0 n=0

segn la forma del 2o sumando la singularidad aislada se clasifica en uno de los siguientes tipos

a) Si bn = 0 para todo n, con n N, el punto z = 0 es una singularidad evitable.

En este caso a0 = lm f (z). La singularidad se evitar definiendo f (z0 ) = a0 con lo que
zz0

f (z) = an (z z0 )n
n=0

12
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

b) Si slo aparece un nmero finito de potencias negativas, esto es, si bk = 0 para algn k, pero bm = 0
para m > k, con k, n N, el punto z0 ser un polo de orden k. Entonces

bk bk1 b1
f (z) = + + + + an (z z0 )n
(z z0 ) k (z z0 ) k1 (z z0 )
n=0

En este caso lm f (z) = .

zz0

c) Si bn = 0 para infinitos valores de n, el punto z0 ser una singularidad esencial de f (z)

bn
f (z) = an (z z0 ) +
n
(z z0 )n
n=0 n=0

En este caso no existe lm f (z).

zz0

Proposicin 8.2 Sea f (z) analtica en 0 < |z z0 | < R y n 1. Entonces,

(z)
f (z) tiene un polo de orden n en z0 si y slo si f (z) = , con (z) analtica en z0 y (z0 ) = 0.
(z z0 )n

1
Demostracin. Como f tiene un polo de orden n en z0 , tendr un cero de orden n en z0 , por
f (z)
tanto
1
= (z z0 )n g(z)
f (z)
Con g(z) analtica en z0 y g(z0 ) = 0. As,

1 (z) 1 1
f (z) = = , con (z) = analtica en z0 y (z0 ) = = 0
g(z)(z z0 )n (z z0 )n g(z) g(z0 )

Proposicin 8.3 Sea z0 un punto singular aislado de f (z). Si el lmite

lm f (z)(z z0 )n
zz0

existe y es distinto de cero o infinito, entonces f (z) tiene un polo de orden n en z0 .

g(z)
Si consideramos la funcin f (z) = y el Ejercicio 1 se puede concluir el siguiente resultado.
h(z)

g(z)
Proposicin 8.4 El orden del polo de f (z) = en z0 es igual al orden de z0 como cero de h menos
h(z)
el orden de z0 como cero de g(z)

9. Residuos

Supongamos que z0 es un punto singular aislado para la funcin f y consideremos cualquier

contorno cerrado simple que contenga a z0 pero a ninguna otra singularidad. El valor de la integral

1
f (z)dz
2j c+

13
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

que, en general ser distinto de cero, es, segn vimos, independiente de la forma del contorno, es
decir, todos los contornos cerrados simples que contienen a z0 como punto interior y a ninguna otra
singularidad dan lugar a un mismo valor.

Definicin 9.1 Sea f (z) una funcin analtica en un contorno cerrado, simple y orientado positiva-
mente, y en todos los puntos del interior a C salvo en z0 . Entonces, el residuo de f (z) en z0 , escrito
Resz0 f = Res(f, z0 ), se define por

1
f (z)dz.
2j C

9.1. Clculo de los residuos

Sea f (z) una funcin analtica en un contorno cerrado, simple y orientado positivamente, y en
todos los puntos del interior a C salvo en z0 . Tratamos de calcular el residuo en z0 , es decir,

1
f (z)dz.
2j C

(z)
1. Supongamos que f (z) tiene un polo simple en z = z0 , luego f (z) = , con (z) analtica en
z z0
z = z0 y (z0 ) = 0, por tanto

(z) = c0 + c1 (z z0 ) + c2 (z z0 )2 + + cn (z z0 )n +

1 ( )
f (z) = c0 + c1 (z z0 ) + c2 (z z0 )2 + + cn (z z0 )n + =
z z0
c0
= + c1 + c2 (z z0 ) + + cn (z z0 )n1 +
z z0
Luego

1
Resz0 f = f (z)dz =
2j C
( )
1 c0
= dz + c1 dz + c2 (z z0 )dz + + cn (z z0 )n1
dz + = c0
2j C z z0 C C C

Ya que
2j
dz si n = 1
=
C+ (z z0 )n 0 si n Z {1}

Por tanto c0 es el residuo del polo z = z0 y es el trmino independiente del desarrollo en serie de
Taylor de la funcin (z) = f (z)(z z0 ) es decir el valor de (z) en z = z0 , por tanto:

Resz0 f = lm (f (z)(z z0 ))
zz0

1
Tambin nos damos cuenta que Resz0 f = c0 es el coeficiente de en el desarrollo en serie
z z0
de Laurent de f (z).

14
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

(z)
2. Supongamos que f (z) tiene un polo doble en z = z0 , luego f (z) = , con (z) analtica
(z z0 )2
en z = z0 y (z0 ) = 0, por tanto

(z) = c0 + c1 (z z0 ) + c2 (z z0 )2 + + cn (z z0 )n +
1 ( )
f (z) = c0 + c1 (z z0 ) + c2 (z z0 )2 + + cn (z z0 )n + =
(z z0 )2

c0 c1
= + + c2 + + cn (z z0 )n2 +
(z z0 )2 z z0
Luego

1
Resz0 f = f (z)dz =
2j C
( )
1 c0 c1
= dz + dz + c2 dz + + cn (z z0 ) n2
dz + = c1
C (z z0 ) C z z0
2j 2
C C
Ya que
2j
dz si n = 1
=
C (z z0 )n 0 si n Z {1}

Por tanto c1 es el residuo del polo doble z = z0 y es el primer coeficiente del desarrollo en serie
de Taylor de la funcin (z) = f (z)(z z0 )2 , es decir el valor de la derivada de (z) en z = z0 ,
por tanto:
d
(f (z)(z z0 )2 )
Resz0 f = lm
zz0 dz
1
Se podra haber obtenido como el coeficiente de en el desarrollo en serie de Laurent de
z z0
f (z)

3. Se puede demostrar por induccin que si f (z) tiene un polo de orden n en z = z0 , entonces

1 1 dn1
Resz0 f = f (z)dz = cn1 = lm (f (z)(z z0 )n )
2j C (n 1)! zz0 dz n1

Resumen El residuo del polo z0 de orden n se puede calcular como:

1 1 dn1
Resz0 f = f (z)dz = cn1 = lm (f (z)(z z0 )n ).
2j C+ (n 1)! zz0 dz n1
1
El coeficiente de en el desarrollo en serie de Laurent de f (z).
z z0

Caso particular
P (z)
Si z0 es un polo de orden uno y f (z) = , donde P (z) y Q(z) son funciones enteras y tales que
Q(z)
P (z0 ) = 0, Q(z0 ) = 0 y Q (z0 ) = 0. Entonces
P (z0 )
Resz0 f =
Q (z0 )
Puesto que aplicando la regla de lHopital
P (z0 )(z z0 ) P (z)(z z0 ) + P (z) P (z0 )
Resz0 f = lm (f (z)(z z0 )) = lm = lm
=
zz0 zz0 Q(z0 ) zz0 Q (z) Q (z0 )

15
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

9.2. Teorema de los residuos

Teorema 9.1 (Teorema de los residuos) Sea C un contorno cerrado, simple y orientado positiva-
mente y sea f (z) una funcin analtica en los puntos de C y en los puntos del interior de C, a excepcin
de un nmero finito de puntos singulares aislados zk (k = 1, 2, . . . , n) interiores a C. Entonces:

n
f (z)dz = 2j Reszk f.
C k=1

ez
Ejemplo 9.1 Halla .I(a) = con a R a = kj, k entero y Ca la frontera de
Ca z2 + 2

Da = {(x, y) R2 / 1 < x < 1, a < y < a + }

orientada en sentido positivo.

Solucin. Considerando la funcin: ez

f (z) =
z2 + 2
Podemos expresarla de la forma :
ez
f (z) =
(z + j)(z j)

z0 = j
Por tanto, f (z) tiene dos polos simples
z = j
0

Calculemos el residuo de f (z) que llamamos b en cada polo:

1. z0 = j
ej 1
Resz0 f = b = =
j + j 2j
2. z0 = j
ej 1 1
Resz0 f = b = = =
j j 2j 2j

ez
En el clculo de 2 2
dz con Ca definida como la frontera de Da , depender del valor
Ca z +
de a la influencia o no influencia de los residuos calculados.
Incluimos a continuacin todas las situaciones posibles:

a < 2 I(a) = 0
1
2 < a < I(a) = 2j = 1
2j
< a < 0 I(a) = 0
1
0<a< I(a) = 2j = 1
2j
<a I(a) = 0

16
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

Ejemplo 9.2 Sea la circunferencia centrada en el origen y de radio 7. Calcula

1+z
dz.
1 cos z

Solucin.

1 cos z = 0 z = 2n, n Z.
1+z
La funcin f (z) = tiene en la regin interior de , tres polos, z1 = 0, z2 = 2 y z3 = 2.
1 cos z
Analicemos cada uno de estos polos y calculemos su correspondiente residuo:

1. z1 = 0. Como
( )
z2 z4 z6 1 z2 z4
1 cos z = + = z2 +
2! 4! 6! 2! 4! 6!
Podemos expresar:

(z) 1+z
f (z) = , con (z) =
z2 1 z2 z4
+
2! 4! 6!
Como (z) es analtica en z = (0 y (0) ) = 2 = 0, el punto z0 = 0, es un polo de segundo
d z 2 (z)
orden y su residuo es b = lm = (0).
z0 dz z2
Como: ( ) ( )
1 z2 z4 2z 4z 3
1 + + + (1 + z)
2! 4! 6! 4! 6!
(z) = ( )2
1 z2 z4
+
2! 4! 6!

1/2
(0) = =2 b=2
(1/2)2

El proceso para el clculo de los residuos de f (z) en cada uno de los otros dos polos es similar.

2. z2 = 2. En este caso expresamos la serie de Taylor de cos z centrada en el punto z0 = 2 y

obtenemos:
(z) 1+z
f (z) = , con (z) =
(z 2)2 1 (z 2) 2 (z 2)4
+
2! 4! 6!
Volvindose a obtener que el punto z0 = 2 es un polo de segundo orden cuyo residuo es
b = (2).
( ) ( )
1 (z 2)2 2(z 2)
1 + + (1 + z)
2! 4! 4!
(z) = ( )2
1 (z 2)2
+
2! 4!
1/2
(2) = =2 b=2
1/4

17
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

3. z3 = 2. Con el mismo proceso comprobamos que el punto zo = 2 es un polo de segundo

orden y su residuo es b = 2.
Por tanto:
3
1+z
dz = 2j Resz=zk f (z) = 2j 6 = 12j.
1 cos z
k=1

Una aplicacin del teorema de los residuos es el clculo de ciertas integrales definidas e impropias
de funciones reales de variable real. Por ejemplo integrales de funciones racionales de senos y cosenos,
2
I= F (sen , cos ) d, con F una funcin racional.
0

El hecho de que vara entre 0 y 2 sugiere considerar como el argumento de un punto z sobre
el crculo unidad centrado en 0, por eso utilizaremos el cambio de variable z = ej , con 0 2.
Por tanto, si z = ej se verifica dz = jej d. Adems, podemos expresar d, sen z y cos z como:

dz ej ej z z 1 ej + ej z + z 1
d = , sen z = = y cos z = =
jz 2j 2j 2 2

Si vara de 0 a 2, z recorre la circunferencia unidad (|z| = 1) en sentido positivo, quedando:

( )
z z 1 z + z 1 dz
I= F , .
|z|=1+ 2j j jz

Donde la funcin integrando no tiene que tener singularidades en |z| = 1 y es analtica en |z| < 1, salvo
quizs en un nmero finito de singularidades.

2
d
Ejemplo 9.3 Calcula la integral I = , siendo a una constante real positiva y
0 1+ a2 2a cos
distinta de 1.

Solucin.

Haciendo z = ej , con 0 2, obtenemos:

2
d 1 dz
I= =
0 1 + a 2a cos
2
|z|=1+ 1 + a2 2a
2 (z + 1
z)
jz

1 dz j dz
= =
|z|=1+ j z + a z az 2 a
2
|z|=1+ (z a)(az 1)
El integrando tiene un polo simple z = a y otro polo simple en z = 1/a.
Los residuos en estos puntos son:
( ) ( )
j j j j
Resz=a = 2 , Resz=1/a =
(z a)(az 1) a 1 (z a)(az 1) 1 a2

Si 0 < a < 1, entonces a es interior a la circunferencia unidad y 1/a est fuera. Luego,
( )
j 2
I = 2j = .
a 1
2 1 a2

18
Clculo II. Curso 2015/16. 2o semestre Ortiz, C.; Mndez, A.

Si a > 1, entonces a est fuera de la circunferencia unidad y 1/a est dentro. Por tanto,
( )
j 2
I = 2j = 2 .
1 a2 a 1

Otro tipo de integrales que se pueden resolver son integrales impropias de funciones racionales

p(x)
cuyo denominador no tiene races reales, dx, con p(x) y q(x) polinomios. Veamos con un
q(x)
ejemplo, cmo usar el teorema de los residuos para calcular valores principales de integrales reales.

x2
Ejemplo 9.4 Calcula el valor de la integral impropia I = dx.
0 x4 + 1

Solucin. Es fcil ver que la integral es convergente, y por ser el integrando una funcin par tenemos

x2 1 x2
4
dx = dx
0 x +1 2 x4 + 1

z2
Para evaluar la integral consideramos la funcin compleja f (z) = , que no tiene ningn polo
z4 + 1
en R. Consideramos el contorno formado por la unin del intervalo [R, R] y la semicircunferencia
R de centro 0 y radio R contenida en el semiplano superior y recorrida en sentido positivo. Como los
polos de f (z) tienen todos mdulo 1, para R > 1, se tiene:

f (z)dz = 2j Resf (zi )
+ Im(zi )>0

Por otro lado,

R
x2
f (z)dz = dx + f (z)dz
+ R x4 + 1 R

Como  
  R2 R2
 f (z)dz  M L = 4 L= 4 R
 R 1 R 1
R

Siendo M una cota superior de |f (z)| y L la longitud de la semicircunferencia.

R3
Dado que tiende a cero cuando R , se tiene
R4 1
( )
I = 2j Resz=e 4 j f (z) + Res 3 j f (z) = .
z=e 4 2 2

19