1

3
Integracin en el Campo
Complejo
2
3.1 Integral compleja de lnea
. cuando 0 donde
) ( lim : ) (
1
A
A =

}
=

n z
z z f dz z f
k
n
k
k
n
B
A
) , ( ) , ( ) ( y x iv y x u z f
y i x z
k k k
+ =
A + A = A
Observa que la integral NO es el rea bajo la curva.
El valor depende del sentido: es una suma de vectores.
Los z actan como vectores, no como longitudes.
Si f(z) = 1, qu significa la integral?
1
x A
1
z A
A
B
1
z
2
z
n
z
x
y
2
z A
n
z A
n
y A
3
Conexin entre integrales de lnea reales
y complejas
(

+
+
(

= + + =
} }
} }
} }
C C
C C
C C
dx y x v dy y x u i
dy y x v dx y x u
idy dx y x iv y x u dz z f
) , ( ) , (
) , ( ) , (
] )][ , ( ) , ( [ ) (
Con C indicamos el camino de la integral de lnea.
4
| |
}
} }
+
= =
) (
) (
) (
) (
)] ( ' ) ( ' )[ (
) ( ) (
B t
A t
B t
A t
C
dt t iy t x t f
dt
dt
dz
t z f dz z f
Integracin de funciones complejas
parametrizadas
Arco suave C de A a B:
) ( ) ( ) ( t iy t x t z + =
Parametrizacin continua con t(A) s t s t(B) y con derivadas
x(t) e y(t) continuas.
dt
t dy
i
dt
t dx
dt
t dz ) ( ) ( ) (
+ =
5
. 4 1 , , 3 por dado est donde
: Evala
2
s s = =
}
t t y t x C
dz z
C
i dt t i dt t t
dt it it t dz z
it t it t t z f
it t z it t t z
C
65 195 3 ) 9 2 (
) 2 3 )( 3 ( que, modo De
3 3 )) ( (
2 3 ) ( ' , 3 ) (
4
1
2
4
1
3
4
1
2
2 2
2
+ = + + =
+ =
= + =
+ = + =
} }
} }

Ejemplo 1
Solucin
6
Evaluar , donde C es el contorno de la figura
}
+
C
dz iy x ) (
2 2
C
1
est definida por y = x = t, entonces z(t) = t + it, con 0 s t s 1,
z(t) = 1 + i, f(z(t)) = t
2
+ it
2
:
} } }
+ + + = +
2 1
) ( ) ( ) (
2 2 2 2 2 2
C C C
dz iy x dz iy x dz iy x
i dt t i dt i it t dz iy x
C
3
2
) 1 ( ) 1 )( ( ) (
1
0
2 2
1
0
2 2 2 2
1
= + = + + = +
} } }
La curva C
2
est definida por x = 1, y = t con 1 s y s 2. Entonces:
z(t) = 1 + it, z(t) = i, f(z(t)) = 1 + it
2
:
i i i dz iy x
i dt i dt t idt it dz iy x
C
C
3
5
3
7
)
3
7
(
3
2
) (
3
7
) 1 ( ) (
2 2
2
1
2
1
2
2
1
2 2 2
2
+ = + + = +
+ = + = + = +
}
} } } }
Ejemplo 2
Solucin
7
Calcular la integral Donde C es el arco de
circunferencia , orientado positivamente.
( )
}
+
C
dz z z z
2
) ) arg( 0 ( , 1 t < < = z z
( ) ( ) ( )
3
8
3
1
1
1
0
3
0 0
3 2 2
=
|
.
|

\
|
+ =
= + = + = +
= =
} } }
t
u u
t t
u u u u
u
u u
i i
i i i i
C
i
e e
d e e i d e ie dz z z z
e z z
Ejemplo 3
Solucin
8
Camino o contorno simple cerrado
Es un contorno que
genera dos
dominios:
uno acotado
(interior)
y otro no acotado
(exterior). Ambos
dominios tienen al
contorno como
frontera.
Camino o contorno
no simple cerrado
9
Se dice que la integracin se lleva a cabo en sentido
positivo alrededor del contorno C cuando el interior
queda a la izquierda del sentido de circulacin.
} }

C C
dz z f dz z f ) ( ) (
Para no recargar con smbolos
La integracin se lleva a cabo en
sentido negativo si ocurre lo contrario.
} }

C C
dz z f dz z f ) ( ) (
} }

=
C C
dz z f dz z f ) ( ) ( Se cumple que:
10
Propiedades de las integrales de contorno
constante , ) ( ) ( =
} }
k z d z f k z d z f k
C C
} } }
+ = +
C C C
z d z g z d z f z d z g z f ) ( ) ( )] ( ) ( [
, ) ( ) ( ) (
2 1
} } }
+ =
C C C
z d z f z d z f z d z f
, ) ( ) (
} }

=
C C
dz z f dz z f
11
Integrar la funcin
a lo largo de la circunferencia: |z| = r
z z f / 1 ) ( =
Ejemplo 4
Introducimos un parmetro t
variando entre t 2 0 s st
| |
( )
i dt i
dt e ri
re
dt
dt
dz
t z f dz z f
t i
t i
C
t
t
t
t
2
1
) ( ) (
2
0
2
0
2
0
= =
=
=
}
}
} }
t i
re t z C = ) ( :
Nota: podramos haber usado
( ) t i t r t z C sin cos ) ( : + =
y
x
r
C
Ejercicio: repetir con esta forma.
i
z
dz
C
t 2 =
}
Solucin
12
Integrar la funcin
a lo largo del cuadrado
z z f / 1 ) ( =
Ejemplo 5
Introducir un parmetro t
variando entre
1 1 + s s t
y
x
i + 1
i 1
i + 1
i 1
1
C
3
C
2
C
4
C
| |
| |
| |
| |
}
}
}
}
+

+
+
=
+
+
=

= + = =
+
+
=
+
+
=

= = =
+
+
=
+

=
+
= = + =
+
+
=
+

=
+
= + = + =
1
1
2 4 2 4
1
1
2 3 2 3
1
1
2 2 2 2
1
1
2 1 2 1
1
,
1
1
) ( , 1 , ) ( :
1
,
1
1
1
1
) ( , , 1 ) ( :
1
,
1
1
) ( , 1 , ) ( :
1
,
1
1
1
1
) ( , , 1 ) ( :
dt
t
i t
I
t
i t
i t
t z f
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f i
dt
dz
ti t z C
dt
t
i t
I
t
i t
i t
t z f
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f i
dt
dz
ti t z C
| |
} }

=
1
1
) ( ) ( dt
dt
dz
t z f dz z f
C
Solucin
13
y
x
i + 1
i 1
i + 1
i 1
1
C
3
C
2
C
4
C
| |
( ) ( ) | |
i
i
t i
dt
t
i dt
t
t
dt
t
i t
dz z f
C
t
t t
2
4 / 4 / 4
arctan 4
1
1
1
4
1
4 ) (
1
1
1
1
2
1
1
2
1
1
2
=
=
=
)
`

+
+
+
=
+
+
=
+

} }
} }
i
z
dz
C
t 2 =
}
0 (integrando impar en
intervalo de integracin par)
14
z z f / 1 ) ( =
Ejemplo 6: Repitamos trasladando el circuito de integracin.
1 1 + s s t
| |
| |
| |
| |
}
}
}
}
+

+ +
+ +
=
+ +
+ +
=
+
= + = + =
+
+
=
+
+
=

= = =
+ +
+ +
=
+ +

=
+
= = + =
+

=
+

=
+
= + = + =
1
1
2
4
2
4
1
1
2
3
2
3
1
1
2
2
2
2
1
1
2
1
2
1
) 2 ( 1
) 2 (
,
) 2 ( 1
2
2
1
) ( , 1 , 2 ) ( :
9
3
,
9
3
3
1
) ( , , 3 ) ( :
) 2 ( 1
) 2 (
,
) 2 ( 1
2
2
1
) ( , 1 , 2 ) ( :
1
,
1
1
1
1
) ( , , 1 ) ( :
dt
t
i t
I
t
i t
i t
t z f
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f i
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f
dt
dz
i t t z C
dt
t
i t
I
t
i t
i t
t z f i
dt
dz
i t t z C
| |
} }

=
1
1
) ( ) ( dt
dt
dz
t z f dz z f
C
x
i + 1
i 1
i + 3
i 3
1
C
3
C
2
C
4
C
y
Integrar la funcin
a lo largo del cuadrado
Introducir un parmetro t
variando entre
Solucin
15
Usando las relaciones
2 2
2 2
2 2
) ( ln
) (
) (
arctan
1
) (
t b a
t b a
dt t b
a
b t
a t b a
dt
+ + =
+ +
+
|
.
|

\
|
+
=
+ +
}
}
obtenemos
0 =
}
C
z
dz
x
i + 1
i 1
i + 3
i 3
1
C
3
C
2
C
4
C
y
Donde C ahora es el cuadrado
unitario anterior desplazado
a la izquierda 2 unidades.
16
0 =
}
C
z
dz C
i
z
dz
C
t 2 =
}
C
0 =
}
C
z
dz
C
0 =
}
C
z
dz
C
0 =
}
C
z
dz
C
0 =
}
C
z
dz
C
Observa que:
17
0 =
}
C
z
dz
C
0 =
}
C
z
dz
C
i
z
dz
C
t 2 =
}
0 =
}
C
z
dz C
0 =
}
C
z
dz
0 =
}
C
z
dz
C
C
C
18
}
=
C
dz z f 0 ) (
C
3.2 Teorema integral de Cauchy
Si f (z) es analtica con derivada
continua en todos los puntos dentro y
sobre un contorno cerrado C, entonces:
0 =
}
C
z
dz
C
f (z) es analtica en todo punto
excepto en z = 0
0 =
}
C
z
dz e
f (z) es analtica en todo punto
C
Ejemplos:
19
Para demostrar el teorema de Cauchy nos ser necesario el
Teorema de Green
1
(1828)
y
Q
x
Q
y
P
x
P
y x Q y x P
c
c
c
c
c
c
c
c
y , , ), , ( ), , (
Sean
continuas en en todos los puntos dentro y sobre un contorno C, entonces:
dxdy
y
P
x
Q
dy y x Q dx y x P
C D C
} }} } |
|
.
|

\
|
c
c

c
c
= + ) , ( ) , (
1
George Green (1793-1841) Resultado de sus trabajos en electromagnetismo.
Supongamos que la regin R es un rectngulo como muestra la
figura.
0
x
1
x
1
y
0
y
1
C
2
C
3
C
4
C
{ }
. ) , ( ) , (
) , ( ) , (
) , ( ) , (
3 1
1
0
0
1
1
0
1
0
1
0
1 0
0 1
} }
} }
}
}} } }
+
= +
= =
)
`

c
c
=
c
c

C C
x
x
x
x
x
x
R
x
x
y
y
dx y x P dx y x P
dx y x P dx y x P
dx y x P y x P
dx dy
y
P
dxdy
y
P
20
} } }
} } }}
= +
+ + =
c
c

c C C
C C
R
dx y x P dx y x P dx y x P
dx y x P dx y x P dxdy
y
P
) , ( ) , ( ) , (
) , ( ) , (
4 2
3 1
Repitiendo anlogamente para Q(x,y), y teniendo en cuenta que C
3
y C
1
no tienen variacin en y, obtendremos:
} }}
=
c
c
c
R
dy y x Q dxdy
y
Q
) , (
Y eso completa la demostracin para un contorno rectangular
recorrido en sentido positivo.
Puesto que sobre los caminos C
2
y C
4
no hay variacin en x:
= =
} }
0 ) , ( ; 0 ) , (
4 2
C C
dx y x P dx y x P
21
... ) ( ) ( ) (
2 1
+ + + + = +
} } }
C C C
Qdy Pdx Qdy Pdx Qdy Pdx
Podemos usar infinitos rectngulos
para recubrir exctamente el rea de R.
1
C
2
C
Recorrindolos como indica la
figura superior, se compensan
las integrales en los caminos
horizontales...
22
Demostracin del teorema integral de Cauchy:
_ _
} } } }
}
+ +
=
C C C C
C
dy y x u i dx y x v i dy y x v dx y x u
dz z f
) , ( ) , ( ) , ( ) , (
) (
) , ( : ) , (
) , ( : ) , (
y x v y x Q
y x u y x P
=
=
) , ( : ) , (
) , ( : ) , (
y x u y x Q
y x v y x P
=
=
0 =
|
|
.
|

\
|
c
c

c
c
+
|
|
.
|

\
|
c
c

c
c
=
}} }}
dxdy
y
v
x
u
i dxdy
y
u
x
v
D D
0
(Como f(z) es analtica cumple las ECR)
Como suponemos u(x,y), v(x,y) y sus derivadas parciales
continuas en todos los puntos dentro y sobre C:
23
3.3 Primitivas (integrales indefinidas)
Sea f(z) una funcin continua en un dominio D. Una primitiva de
f(z) es una funcin F(z) tal que F(z) = f(z) en todo z de D.
Ntese que la primitiva es necesariamente una funcin analtica.
Adems la primitiva de una funcin f dada es nica salvo por una
constante aditiva compleja.
Teorema. Sea f(z) una funcin cotinua en un dominio D. Las
siguientes propiedades son equivalentes entre s:
i. f(z) tiene una primitiva F(z) en D.
ii. Las integrales de f(z) sobre caminos contenidos en D, con punto
inicial z1 y punto final z2 tienen todas el mismo valor.
iii. Las integrales de f(z) sobre caminos cerrados contenidos en D
tienen todas valor cero.
24
Ejemplo 1.
Calcular
Solucin
La funcin es continua en todo el plano complejo y admite
la primitiva en todo el plano. Por lo tanto:
3 / ) (
3
z z F =
2
) ( z z f =
) 1 (
3
2
0
1
3
|
1
0
3
2
i
i
z
dz z
i
+ =
+
=
}
+
}
+i
dz z
1
0
2
25
Ejemplo 2.
Calcular , con c:
Solucin
La funcin es continua en todo el plano complejo excepto
en el origen, tiene primitiva a en el dominio |x| > 0 (todo el
plano salvo el origen). En consecuencia
0
2
=
}
c
z
dz
t u t
u
s s = , 2
i
e z
2
/ 1 ) ( z z f =
z z F / 1 ) ( =
0
2
=
}
c
z
dz
26
}
=
C
dz z f 0 ) (
3.4 Teorema integral de Cauchy-Goursat
Si f (z) es analtica en todos los puntos dentro y sobre un
camino cerrado simple C, entonces:
Es menos restrictivo que el teorema integral de Cauchy.
Goursat demostr el teorema integral de Cauchy sin imponer la
restriccin alguna sobre la derivada de f(z).
27
?
cos
1
2
=
}
C
dz
z
f (z) es no analtica en z = t/2, 3t/2, ...
0
3
sin 3
1
=

}
C
z
dz
z
z e
0
cos
1
1
=
}
C
dz
z
f (z) es no analtica
en z = 3
?
3
sin 3
2
=

}
C
z
dz
z
z e
Ejemplos
2
C
1
C
1
C
2
C
0
) sin(
1
=
}
dz
z
C
t
No es analtica en los
puntos
z = 0, 1, 2,...
0 1 2 -1 -2
C
2i
28
Para demostrar el teorema de Cauchy-Goursat emplearemos la
desigualdad ML:
ML dz z f
C
s
}
) (
longitud
de C
cualquier nmero tal que
sobre C
M z f s ) ( Demostracin:
A
A

}
=

n z
z z f dz z f
k
n
k
k
n
C
cuando 0 donde
) ( lim ) (
1
Cotas para integrales
de lnea.
29
C. de longitud la es L donde ; lim
1
L z dz
n
k
k
n
C
= A

}
=

Observemos que si |f(z)|=1, entonces:
Por la desigualdad triangular, tenemos:
}

}
= A s A =
=

=

C
k
n
k
k
n
k
n
k
k
n
C
dz z f z z f z z f dz z f ) ( ) ( lim ) ( lim ) (
1 1
} }
s
C C
dz z f dz z f ) ( ) (
30
Supongamos que: si z es un punto de C.
Entonces:
ML z M z z f
z z f dz z f
n
k
k
n
k
n
k
k
n
k
n
k
k
n
C
= A s A
s A =

}
=

=

=

1 1
1
lim ) ( lim
) ( lim ) (
ML dz z f
C
s
}
) (
M z f s ) (
Desigualdad ML
31
Ejemplo:
Encuentra una cota superior para el valor absoluto de:
donde C es el crculo |z| = 4.
z d
z
e
C
z
}
+1
Puesto que |z +1| > |z| 1 = 3, entonces:
Adems, |e
z
| = e
x
, con |z| = 4, y tenemos
que el mximo valor de x es 4. As:
3 1
4
e
z
e
z
s
+
3
8
1
4
e
z d
z
e
C
z
t
s
+
}
3
| |
1 | |
| |
1
z z z
e
z
e
z
e
=

s
+
R L
M z f
t 2
) (
=
s
32
Demostrar la siguiente desigualdad:
4
Log
2
t
s
}
I
zdz
Im
(z)
I
1
Re
(z)
Respuesta.
L: longitud del arco:
M: max |Log z|

ML zdz s
}
I
Log
2
t
= L
2
2
0 , Log
arg ln Log
t
t
u u
=
s s =
+ =
I
M
i z
z i z z
4
Log
2
t
s
}
I
zdz
33
A
4
A
3
A
2
A
1
A
B
C
D
E
F
Demostracin del teorema de
Cauchy-Goursat para camino
triangular cualquiera:
Sea el camino triangular ABCA.
Trazamos un tringulo auxiliar
EFD a partir de los puntos medios
de los lados del tringulo ABC.
Entonces:
E = (A+B)/2; F = (B+C)/2; D=(C+A)/2
dz z f dz z f dz z f dz z f dz z f
ABCA
} } } } }
A A A A
+ + + =
4 3 2 1
) ( ) ( ) ( ) ( ) (
34
dz z f dz z f dz z f dz z f dz z f
ABCA
} } } } }
A A A A
+ + + s
4 3 2 1
) ( ) ( ) ( ) ( ) (
Aplicando la desigualdad triangular:
dz z f dz z f
ABCA
} }
A
s
1
) ( 4 ) (
Sea
} , , , max{ :
4 3 2 1
1
A A A A = A
Entonces:
Repitiendo el proceso con el tringulo
1
A
dz z f dz z f
ABCA
} }
A
s
2
) ( 4 ) (
2
35
Despus de n pasos, tendremos:
dz z f dz z f
n
n
ABCA
} }
A
s ) ( 4 ) (
Hemos construido una sucesin de tringulos encajados:
n
ABC
A A A A A ,..., , , ,
3 2 1
gracias al principio de Cantor de compactos encajados:
existe un punto z
0
que pertenece a todos ellos.
Ypuesto que z
0
est dentro o sobre A
ABC
, y como por el enunciado
f(z) es analtica en z
0
. Entonces:
) )( ( ) )( ( ) ( ) (
0 0 0 0
z z z z z z f z f z f +
'
+ = q
recordemos que q(z) depende de z y que q(z)0 cuando z z
0
; es
decir, que para todo c>0 podemos encontrar un o tal que |q(z)|<c
siempre que|z - z
0
|<o.

=
= A
1
0
} {
n
n
z
36
1 ) ( = z g
0
) ( z z z g =
Integrandos g(z) analticos con primeras derivadas
continuas. Podemos aplicar teorema integral de Cauchy.
} }
A A
=
n n
dz z z z dz z f ) )( ( ) (
0
q

} } } }
A A A A
= +
'
+ =
n n n n
dz z z z dz z z z f dz z f dz z f ) )( ( ) ( ) ( ) ( ) (
0
0
0 0
0
0
q
_
37
Si P es el permetro de A
ABC
, entonces el permetro A
n
ser:
n
n
P
P
2
=
n
A
z
0
z
o < = s
n
n
P
P z z
2
| |
0

L
n
M
n
P P
dz z z dz z f
n n
2 2
) ( ) (
0
s =
} }
A A
_
c q
Usando la desigualdad ML:
n
P
dz z f
n
4
) (
2
c
=
}
A
38
Tenamos:
dz z f dz z f
n
n
ABCA
} }
A
s ) ( 4 ) (
2
2
4
4 ) ( P
P
dz z f
n
n
ABCA
c
c
= s
}
0 ) ( =
}
ABCA
dz z f
Y como c se puede tomar arbitrariamente pequeo, entonces:
39
Puesto que todo polgono cerrado se
puede triangular, aplicando el
teorema de Couchy-Goursat a cada
tringulo podemos demostrar el
teorema para un polgono cerrado
arbitrario.
A
B
C
D
E
n
z z =
0
1
z
2
z
1 n
z
Intentaremos aproximar una curva
arbitraria a travs de un polgono
cerrado P de vrtices z
0
, z
1
, z
2
, ...
z
n-1
, z
n
= z
0
, tal y como hicimos
para definir la integral de lnea
compleja.
40
_
n
S
k
n
k
k
n C
z z f dz z f A =

}
=

) ( lim ) (
1
Recordemos que:
Para n finito, estamos
aproximando la curva cerrada
con un polgono P cerrado de n
lados y de permetro S
n
.
n
C
n
C
S S dz z f dz z f + =
} }
) ( ) (
Obviamente:

n
C
n
C
S S dz z f dz z f + s
} }
_
) ( ) (
Usando la desigualdad triangular:
1
2
Acotaremos y 1 2
41
}

C
n
S dz z f ) (
Comencemos con
1
}
=
C
n
n
dz z f S ) ( : lim
Entonces, dado cualquier c > 0 existe un nmero N(c) tal que
para n > N(c):
2
) (
c
<
}
C
n
S dz z f
42
0 )} ( ) ( ) ( {
... )} ( ) ( ) ( {
)} ( ) ( ) ( {
) ( ... ) ( ) (
0 ) (
1
2
1
1
0
1
2
1
1
0
2 2
1 1
= +
+ + +
+ +
= + + + =
=
}
}
}
} } }
}

n
n
n
n
z
z
n n
z
z
z
z
z
z
z
z
z
z
P
dz z f z f z f
dz z f z f z f
dz z f z f z f
dz z f dz z f dz z f
dz z f
n
S Sigamos con acotemos: 2
43

_

n
n
n
n
n
z
z
z
n
z
z
n
z
z
z
z
z
z
z
z
z
z
dz z f dz z f z f
dz z f dz z f z f
dz z f dz z f z f
A
A
A
} }
} }
} }

+
+ + +
+ + =
1 1
2
1
2
2
1
1
1
0
1
0
) ( )} ( ) ( {
... ) ( )} ( ) ( {
) ( )} ( ) ( { 0
2 2
1 1
0 )} ( ) ( {
... )} ( ) ( { )} ( ) ( {
1
2
1
1
0
2 1
= +
+ + +
}
} }

n
z
z
n
z
z
z
z
S dz z f z f
dz z f z f dz z f z f
n
n
44
}
} }

+ + + =
n
n
z
z
n
z
z
z
z
n
dz z f z f
dz z f z f dz z f z f S
1
2
1
1
0
)} ( ) ( {
... )} ( ) ( { )} ( ) ( {
2 1
}
} }

+ + + s
n
n
z
z
n
z
z
z
z
n
dz z f z f
dz z f z f dz z f z f S
1
2
1
1
0
)} ( ) ( {
... )} ( ) ( { )} ( ) ( {
2 1
Utilizando la desigualdad triangular:
Multiplicando por 1 y cambiando el signo de los integrandos:
45
}


k
k
z
z
k
dz z f z f
1
)} ( ) ( {
Para cada una de las k integrales
(k=1,2, ..., n) usaremos la
desigualdad ML.
Observemos que la longitud de cada integral es:
1
1

=
}

k k
z
z
z z dz
k
k
Puesto que la curva cerrada que integramos es suave, podemos
tomar el N(c) de lo suficientemente grande como para que con
n > N(c) la distancia entre f(z
k
) y f(z) est por debajo de c/2P, para
todo k, donde P es el permetro de la curva cerrada. As podemos
acotar todos los integrandos:
P
z f z f
k
2
) ( ) (
c
<
1
46
De modo que:
}
} }

+ + + s
n
n
z
z
n
z
z
z
z
n
dz z f z f
dz z f z f dz z f z f S
1
2
1
1
0
)} ( ) ( {
... )} ( ) ( { )} ( ) ( {
2 1
Tenamos:
{ }
2
...
2
1 1 2 0 1
c c
= + + + s


P
n n n
z z z z z z
P
S
47
c
c c
= + < + s
} }
2 2
) ( ) (
n
C
n
C
S S dz z f dz z f
Recopilando:
Puesto que c es arbitrario, entonces:
0 ) ( =
}
C
dz z f
48
Ejercicio
49
3.5 Dominios simplemente y multiplemente conexos
Un dominio D se dice que es simplemente conexo si todo camino
cerrado simple contenido en l encierra slo puntos de D. Cuando
un dominio no es simplemente conexo, se dice que es
multiplemente conexo.
El disco: |z-1| < 2, es simplemene conexo, mientras el anillo:
1<|z-2|<4, es multiplemente conexo.
Recordatorio: Un dominio es un conjunto abierto
conexo (no incluye los puntos frontera).
Nota: Simplemente conexo significa 1 contorno (y 0 agujeros)
Doblemente conexo significa 2 contornos (y 1 agujeros)
Triplemente conexo significa 3 contornos (y 2 agujeros) ...
50
Principio de deformacin de contornos
(Teorema integral de Cauchy para un dominio doblemente conexo).
} }
=
2 1
) ( ) (
C C
dz z f dz z f
Supongamos que f (z) es analtica en un dominio doblemente
conexo D as como en las curvas que lo limitan.
Entonces:
D
1
C
2
C
Sentido negativo
Si f es una funcin anlitica en un dominio D simplemente conexo,
entonces para todo camino C contenido en D, se cumple
0 ) ( =
}
C
dz z f
51
0 ) (
2 1
}
+ + +
=
BA C AB C
dz z f
} }
} }
+
+ + =
BA C
AB C
dz z f dz z f
dz z f dz z f
) ( ) (
) ( ) (
2
1
} }
=
BA AB
dz z f dz z f ) ( ) (
Como:
0 ) ( ) (
2 1
= +
} }
C C
dz z f dz z f
0 ) (
2 1
}
+ =
=
C C C
dz z f
1
C
2
C
A
B
Sentido positivo
Nota: Observa que los sentidos en que se
recorren los circuitos en este dibujo y el
anterior, no son los mismos...
52
} }
=
2 1
C
z
C
z
dz e dz e
Ejemplo 1:
1
C
2
C
D
(obvio!)
} }
=
2 1
1 1
C C
dz
z
dz
z
Ejemplo 2:
(no tan obvio)
53
0 ) ( , 0 ) (
* * *
= =
} }
c c
dz z f dz z f
Otra demostracin
Introduzcamos dos cortes, L
1
y L
2
,que unen
los dos contornos.
Sean C
*
y C
**
los dos nuevos contornos
cerrados indicados por las flechas (1-2-3-4)
y (5-6-7-8), respectivamente.
Ahora f (z) es analtica sobre y dentro
de C
*
y C
**
. Por el teorema Integral de Cauchy:
1
L
2
L
* *
C
*
C
1
2
3
4
5
6
7
8
Inicio
y
x
54
Integramos alrededor del dominio D,
a lo largo de 1-2-3-4-5-6-7-8. As:
} }
} }
} } }
=
+ =
+ =


2 1
* * *
) ( ) (
) ( ) (
) ( ) ( ) (
8 , 6 3 , 1
8 7 6 5
4 3 2 1
C C
C C
dz z f dz z f
dz z f dz z f
dz z f dz z f dz z f
Las integrales a lo largo de
L
1
y L
2
se anulan
Pero como las integrales a lo largo de C
*
y C
**
son cero,
entonces:
0 ) ( ) (
2 1
=
} }
C C
dz z f dz z f
con lo que se demuestra el enunciado.
1
L
2
L
* *
C
*
C
1
2
3
4
5
6
7
8
Inicio
y
x
55
Por qu se denomina principio de deformacin de contornos?
Si uno de los contornos puede
transformarse en el otro mediante
una deformacin continua y sin
cruzar ninguna singularidad de
f(z), entonces:
} }
=
2 1
) ( ) (
C C
dz z f dz z f
y
x
i + 1
i 1
i + 1
i 1
1
C
3
C
2
C
4
C
i
z
dz
C
t 2 =
}
Recordemos:
56
As que como la integral de f(z) = 1/z a lo
largo de un crculo de radio r es 2ti:
A partir del teorema integral de Cauchy para dominios
doblemente conexos vemos que la integral de f(z) = 1/z
a lo largo de cualquier camino que contenga este crculo
es tambin 2ti.
i dz
z
C
t 2
1
1
=
}
z
1
es analtica
aqu
1
C
2
C
r
Ejemplo
57
}
+
C
dz
z z
dz
) 9 (
2 2
Evaluar la integral
f (z) presenta singularidades en z = 0 y z = 3i. Esos puntos estn fuera
de la regin sombreada como muestra la figura. As:
donde C es un crculo de radio 2, centrado en
0, descrito en sentido positivo y un crculo de
radio 1, centrado en 0, descrito en sentido
negativo.
0
) 9 (
2 2
=
+
}
C
dz
z z
dz
Ejemplo
C
0
3i
-3i
1 2
58
Teorema de Cauchy-Goursat para dominios
mltiplemente conexos
}

}
=
=
C
n
k
C
k
z d z f dz z f
1
) ( ) (
Supongamos que C, C
1
, , C
n
son curvas
cerradas simples con orientacin positiva,
tales que C
1
, C
2
, , C
n
son interiores a C
pero las regiones interiores a cada C
k
, k = 1,
2, , n, no tienen puntos en comn. Si f es
analtica dentro y sobre el contorno C, sin el
interior de todos los C
k
, k = 1, 2, , n,
entonces:
59
No es necesario que los caminos cerrados no se corten, es decir
que formen anillos. Por ejemplo:
Imaginemos que f(z) es analtica
en todos los puntos del dominio
D de la figura. Tanto C
2
como
C
3
forman anillos con C
1
.
Por deformacin de
contornos:
2
C
1
C
D
3
C
} }
} }
=
=
3 1
2 1
) ( ) (
) ( ) (
C C
C C
dz z f dz z f
dz z f dz z f
} }
=
3 2
) ( ) (
C C
dz z f dz z f
60
Ejercicio: Se sabe que una cierta funcin es f(z) es analtica en todo
el plano complejo salvo en los puntos z = 1, z = 2 y z = 3, y que
3 , 2 , 1 , ) ( = =
}
k a dz z f
k
C
k
siendo C
k
: |z k| = , orientado en sentido positivo.
Calcular, siendo
i
cada uno de los siguientes contornos
orientados positivamente:
(1)
1
: |z| = 4, (2)
2
: |z| = 5/2 y (3)
3
: |z 5/2| = 1
}
I
i
dz z f ) (
Respuesta:
Por el teorema de Cauchy-
Goursat en dominios
mltiplemente conexos:
3 2
2 1
3 2 1
3
2
1
) (
) (
) (
a a dz z f
a a dz z f
a a a dz z f
+ =
+ =
+ + =
}
}
}
I
I
I
61
Integremos la funcin a lo largo de
la recta C, que une los puntos 0 y 1+ i.
z z f = ) (
(1) Representar C en la forma z(t):
( ) 1 0 ) ( s s + = t t i t t z
| |
| | 1 2 ) (
) 1 )( ( ) ( ) (
1
0
2
1
0
1
0
1
0
1
0
= = = + +
+ = =
} }
} } }
t tdt dt t it t i t
dt i t i t dt
dt
dz
t z f dz z f
C
(2) Integramos:
i
dt
dz
+ =1
y
x
C
i + 1
0
Independencia del camino de integracin
62
z z f = ) (
( ) 1 0 ) ( s s = t t t z
| |
| |
2
1
1
0
2
2
1
1
0
1
0
) 1 )( (
) ( ) (
= = =
=
}
} }
t dt t
dt
dt
dz
t z f dz z f
C
A lo largo de C
2
:
( ) 1 0 1 ) ( s s + = t t i t z
| |
| | i t i t dt i t dt i t i
dt
dt
dz
t z f dz z f
C
+ = + = + = =
=
} }
} }
2
1
1
0
2
2
1
1
0
1
0
1
0
) ( ) )( 1 (
) ( ) (
Ejemplo 1
Integrar la funcin a largo del camino C = C
1
+ C
2
que une los puntos 0 y 1+ i, como muestra la figura:
A lo largo de C
1
:
y
x
i + 1
0
2
C
1
C
1
63
1 =
}
C
dz z
i i dz z
C
+ =
|
.
|

\
|
+ + =
}
1
2
1
2
1
El valor de la integral entre
dos puntos depende siempre
del camino?
y
x
i + 1
0
64
Repitamos pero con a lo largo de
la recta C, que una los puntos 0 y 1+ i.
z z f = ) (
(1) Representar C en la forma z(t):
( ) 1 0 ) ( s s + = t t i t t z
| |
| | i it tdt i
dt i t i t dt
dt
dz
t z f dz z f
C
= = =
+ + = =
}
} } }
1
0
2
1
0
1
0
1
0
2
) 1 )( ( ) ( ) (
(2) Integramos:
y
x
C
i + 1
0
65
z z f = ) (
( ) 1 0 ) ( s s = t t t z
| |
| |
2
1
1
0
2
2
1
1
0
1
0
) 1 )( (
) ( ) (
= = =
=
}
} }
t dt t
dt
dt
dz
t z f dz z f
C
A lo largo de C
2
: ( ) 1 0 1 ) ( s s + = t t i t z
| |
| | i t i t dt i t dt i t i
dt
dt
dz
t z f dz z f
C
+ = + = + = + =
=
} }
} }
2
1
1
0
2
2
1
1
0
1
0
1
0
) ( ) )( 1 (
) ( ) (
Ejemplo 2
Repitamos de nuevo con la funcin , pero ahora a largo
del camino C = C
1
+ C
2
que une los puntos 0 y 1+ i:
A lo largo de C
1
:
y
x
i + 1
0
2
C
1
C
1
66
i zdz
C
=
}
i i zdz
C
=
|
.
|

\
|
+ + =
}
2
1
2
1
Ahora el valor de la integral no
depende del camino.
Qu diferencias hay
entre f(z) = z y f(z)= ?
y
x
i + 1
0
z
67
Integrar la funcin a lo largo del camino C
uniendo 2 y 1+2i tal como muestra la figura
2
) ( z z f =
Ejemplo 3
( ) 1 0 2 2 ) ( s s + = t i t t t z
| |
| |
| |
) 2 19 (
3
1
) 3 / 8 ( 1 ) 2 1 (
) 8 4 ( ) 4 4 3 ( ) 2 1 (
) 2 1 ( ) 2 2 (
) ( ) (
1
0
2 2
1
0
2
1
0
i
i i
dt t t i t t i
dt i ti t
dt
dt
dz
t z f dz z f
C
+ =
+ + =
+ + + + =
+ + =
=
}
}
} }
y
x
i 2 1+
0
C
2
68
Integrar la funcin a lo largo del camino C = C
1
+ C
2
uniendo 2 y 1+2i tal como muestra la figura
2
) ( z z f =
Ejemplo 4
( ) 2 0 2 ) ( s s = t t t z
3
8
) 4 4 (
) 1 ( ) 2 ( ) (
2
0
2
2
0
2
= + =
=
}
} }
dt t t
dt t dz z f
C
y
x
i 2 1+
0
2
1
C
2
C
A lo largo de C
1
:
( ) 1 0 2 ) ( s s + = t ti t t z A lo largo de C
2
:
i dt t i
dt i ti t dz z f
C
3
2
3
11
) 2 11 (
) 2 1 ( ) 2 ( ) (
1
0
2
1
0
2
= =
+ + =
}
} }
69
3 / ) 2 19 (
2
i dz z
C
+ =
}
3 / ) 2 19 (
2
i dz z
C
+ =
}
El valor de la integral
a lo largo de los dos
caminos es el mismo.
y
x
i 2 1+
0
2
Coincidencia?
70
Independencia del camino
1
z
2
z
1
C
2
C
0 ) ( ) (
2 1
= +
} }
C C
dz z f dz z f
Supongamos que f (z) es analtica en
un dominio simplemente conexo D
D
(por el teorema integral de Cauchy)
2
2
1
1
2
1
2
1
2
1
2
1
2
1
2
1
2
1
de largo lo a de largo lo a
de largo lo a de largo lo a
de largo lo a de largo lo a
) ( ) (
) ( ) (
0 ) ( ) (
C
z
z
C
z
z
C
z
z
C
z
z
C
z
z
C
z
z
dz z f dz z f
dz z f dz z f
dz z f dz z f
} }
} }
} }
=
=
= +
71
Recuerda el potencial gravitatorio:
La energa potencial gravitatoria = m g h
es independiente del camino...
masa m
altura h
72
Ejemplo: f(z)=|z|
2
1 0 1 :
1 0 0 :
1 0 :
2
1
0
s s = =
s s = =
s s = =
t t y x L
t y t x L
t t y t x L
3
4
3
) 1 ( | 1 | :
3
1
| | :
3
) 1 ( 2
) 1 ( | 1 | ) 1 ( | | :
1
0
2
1
0
2
2 2
1
0
2
1
0
2
1 1
1
0
2 2
1
0
2
0 0
i i
i idt t idt it I L
dt t dt t I L
i
dt t i i dt i it t I L
= + = + = + =
= = =
+
= + + = + + =
} }
} }
} }
2
| | ) ( z z f =
x
1
i
1+i
L
0
L
1
L
2
y
Observa que L
0
= L
1
+L
2
73
Ejemplo: f(z)=z
2
1 0 1 :
1 0 0 :
1 0 :
2
1
0
s s = =
s s = =
s s = =
t t y x L
t y t x L
t t y t x L
3
3 2
) 2 1 ( ) 1 ( :
3
1
:
3
2 2
) 1 ( ) 1 ( ) ( :
1
0
2
1
0
2
2 2
1
0
2
1 1
1
0
2 3
1
0
2
0 0

= + = + =
= =

= + = + + =
} }
}
} }
i
idt t i t idt it I L
dt t I L
i
dt t i dt i it t I L
2
) ( z z f =
x
1
i
1+i
L
0
L
1
L
2
y
Observa que L
0
=L
1
+L
2
74
1
4 4
= + y x
Ejemplo: calcular
dz
z
i
}
1
1
A lo largo del camino C
1
:
Como f(z) = 1/z es analtica en
todo el plano complejo excepto
en z = 0. Podemos utilizar un
camino ms sencillo C
2
(|z| = 1).
| |
( )
2
1
) ( ) ( ) (
2 /
0
2 /
0
2 1
t
u
u
u
u
t
u
u
t
i
d e i
e
d
d
dz
z f dz z f dz z f
i
i
C C
= =
= =
}
} } }
y
x
0
1
i
2
C
1
C
75
1
z
2
z
1
C
2
C
Si los caminos se cruzan, podemos hacer lo mismo
para cada bucle, utilizando como puntos intermedios
los puntos de interseccin.
76
Si f es analtica en D entonces:
0 ) ( ) (
1
= +
} }
C C
z d z f z d z f
} }
=
1
) ( ) (
C C
z d z f z d z f
77
Independencia del camino
Consideremos la integral dz z f
z
z
}
1
0
) (
Si F (z) es analtica en un dominio simplemente conexo D, con
derivada dF/dz = f(z) y, z
0
y z
1
estn en D, entonces la integral
de f(z) entre z
0
y z
1
es independiente del camino en D.
) ( ) ( ) (
0 1
1
0
z F z F dz z f
z
z
=
}
donde
) (z f
dz
dF
=
0
z
1
z
) 2 19 (
3
1
3 3
2
3
2 1
3
2 1
2
2
i
z z
dz z
z i z
i
+ = =
= + =
+
}
p.ej.
De modo que podemos hablar de primitivas o antiderivadas como en
variable real:
78
Ejemplos
(1)
i
i i
z dz z
i
i
i
i
097 . 23
sinh 2 ) sin( 2
sin cos
=
= =
=
+

}
t t
t
t
t
t
todo el plano
complejo
C
(2)
?
1
0
=
}
+
dz z
i
( f (z) es no analtica en todo punto -
depende del camino)
(3)
i
z
dz
z
i
i
i
i
2
1 1
2
= =
+

}
f (z) analtica en
este dominio
(ambas 1/z
2
y 1/z son no analticas en z = 0
- el camino de integracin C debe eludir el punto)
79
. sobre constante ser ) ( entonces analtica) es ) ( (y
, dominio un en 0 ) ( ' Si
D z f z f
D z f =
D iy x b a y x f
D iy x b y x v a y x u
v u v u
v u v u
v u iv u z f
y y x x
x y y x
x x x x
e + + =
e + = =
= = = =
= =
= = = + =
) ( i ) , (
) ( ) , ( y ) , (
0
y
0 y 0 0 0 ) ( '
: Prueba
constante. una salvo nica es ) ( de da antideriva o primitiva La z f
( )
. ) ( ) ( . ) ( ) ( que modo De
). ( - ) ( diferencia su es lo tambin , definicin por
analticas son ) ( y ) ( que Puesto 0. G(z) - F(z)
). ( de diferentes primitivas dos ) ( y ) ( Sean
: Prueba
Cte z G z F Cte z G z F
z G z F
z G z F
dz
d
z f z G z F
+ = =
=
80
81
y
x
0
1
i
1
C
1
x
0
1
2
C
1
y
( )
t u
u
t
t
u
u
i d i
d e i
e
dz
z
i
i
C
}
} }
=
= =
0
0
1 1
1
( )
t u
u
t
t
u
u
i d i
d e i
e
dz
z
i
i
C
}
} }

=
= =
0
0
1 1
2
Por qu en este caso la integral depende del camino?
82
t t i i
i i
z dz
z
dz
z
C
=
= +
= = =

} }
) 0 (
) 1 arg( | 1 | log ) 1 arg( | 1 | log
log
1 1 1
1
1
1
1
Intentemos definir F(z) = Ln z
como primitiva. En este caso
una posible primitiva es:
y
x
0
1
i
1
C
1
Corte
Punto de
ramificacin
2 / 3 arg 2 / - con
arg | | log log
t t < <
+ =
z
z i z z
83
x
0
1
2
C
1
y
Corte Punto de
ramificacin
t t t i i
i i
z dz
z
dz
z
C
=
= +
= = =

} }
) 2 (
) 1 arg( | 1 | log ) 1 arg( | 1 | log
log
1 1 1
1
1
1
2
2 / 5 arg 2 / con
arg | | log log
t t < <
+ =
z
z i z z
Intentemos definir una
primitiva para este caso.
Observe que NO puede ser
la misma que en el caso anterior:
Y tomemos los
cortes como los
tomemos, siempre
obtendremos este
resultado.
84
85
86
Ms sobre integracin en contornos cerrados...
Podemos usar el teorema Integral de Cauchy para integrar
funciones en contornos cerrados siempre que stas sean:
(a) analticas, o
(b) analticas en ciertas regiones
Por ejemplo,
0 =
}
C
z
dz
f (z) es analtica en todo punto
excepto en z = 0
C
Pero, qu sucede si el contorno encierra un punto singular?
? =
}
C
z
dz
C
La respuesta en el
siguiente resultado
87
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
3.6 Frmula Integral de Cauchy
Sea f (z) analtica en un dominio simplemente conexo D. Para
cualquier punto z
0
en D y cualquier contorno cerrado C en D que
incluya z
0
:
D
0
z
C
88
Ejemplo
Ilustremos la frmula integral de Cauchy para el caso de
f (z) = 1 y z
0
= 0
0
0
= z
C
D
La frmula integral de Cauchy
i i dz
z
C
t t 2 1 2
1
= =
}
f (z) es una funcin constante,
es entera, as que C puede ser cualquier
contorno cerrado en el plano complejo
conteniendo z = 0.
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
se convierte en
89
Ejemplo 1
}

C
dz
z
z
2
2
Evaluar la integral donde C es
z = 2 es un punto singular en el interior a C.
se convierte en:
2 1 = z
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
La frmula integral de Cauchy
t t 8 4 2
2
2
i i dz
z
z
C
= =

}
2
0
= z
f (z) es analtica en todo punto de
modo que C puede ser cualquier
contorno en el plano complejo
conteniendo el punto z = 2.
90
0
C
C
0
z
z
u i
e r
0
Demostracin no rigurosa de
la frmula integral de Cauchy:
Por el principio de deformacin
de contornos:
} }

=

0
0 0
) ( ) (
C C
dz
z z
z f
dz
z z
z f
u u
t
u u
t
u
u
d e r z f i d e ir
e r
e r z f
dz
z z
z f
i i
C
i
i
} } }
+ =
+
=

2
0
0 0 0
2
0
0
0 0
0
) (
) ( ) (
0
u u
u
i i
e ir
d
dz
e r z z
0 0 0
; = + =
Cambio de
variable:
91
Hemos tomado un r
0
arbitrario. Hagmoslo infinitamente
pequeo:
) ( 2 ) (
) ( ) ( lim
0
2
0
0
2
0
0
2
0
0 0
0
0
z if d z if
d z f i d e r z f i
i
r
t u
u u
t
t t
u
=
= =
(

+
}
} }

) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Qu no es riguroso aqu?
92
0
C
C
0
z
z
u i
e r
0
Demostracin de la frmula
integral de Cauchy. Por el
principio de deformacin de
contornos:
} }

=

0
0 0
) ( ) (
C C
dz
z z
z f
dz
z z
z f
_ _
2
0
1
0
0
0
0
0
0
0
0 0
0
) ( ) ( 1
) (
) ( ) ( ) ( ) (
I
C
I
C
C
C
dz
z z
z f z f
dz
z z
z f
dz
z z
z f z f z f
dz
z z
z f
} }
} }

+
=

93
} } }
= = =

=
t
u
t
u
t u u
2
0
0
2
0
0 0
1
2
1 1
0
i d i d e ir
e r
dz
z z
I
i
C
i
}

=
0
0
0
2
) ( ) (
C
dz
z z
z f z f
I Vamos a encontrar una cota ML para
0
2 r L t =
M
z z
z f z f
z z
z f z f
s

0
0
0
0
) ( ) (
) ( ) (
Tenemos:
Y necesitamos M tal que:
Para todo z en C
0
:
0 0
r z z =
Como f(z) es continua en z
0
:
o c < <
0 0
) ( ) ( z z si z f z f
Si tomamos
c o < s ) ( ) (
0 0
z f z f r
para todo z sobre C
0
.
94
c t t
c
2 2
) ( ) (
0
0 0
0
2
0
= = s

=
}
r
r
ML dz
z z
z f z f
I
C
Ya podemos aplicar la desigualdad ML: para
0
2 r L t =
M
r r
z f z f
z z
z f z f
s

0 0
0
0
0
) ( ) ( ) ( ) ( c
Epsilon puede ser tan pequeo como queramos (de hecho
reducirlo es reducir el radio r
0
. As que: 0 0
2 2
= = I I
) ( 2
) ( ) ( 1
) (
) (
0
0
0
0
2
0
0
0
2
0
1
0
z if dz
z z
z f z f
dz
z z
z f dz
z z
z f
I
C
i I
C
C
t
t
=

= =
} } }
_ _
95
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Ejemplo 2
Evaluar la integral:
}

C
i z
dz
donde C es el crculo |z |=2
i z =
0
1 ) ( = z f
f (z) es analtica en D y C incluye z
0
1 ) (
0
= z f
C
i
D
i
i z
dz
C
t 2 =

}
96
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
}
+
C
z
dz
1
2
donde C es el crculo |z+i |=1
Necesitamos un trmino en la forma 1/(z- z
0
) as que rescribimos la
integral como:
En primer lugar, notemos que 1/(z
2
+1) presenta
puntos singulares en z = i.
El contorno C incluye uno de esos puntos, z = -i.
Ese es nuestro punto z
0
en la frmula
dz
i z
i z
i z i z
dz
z
dz
C C C
} } }
+

=
+
=
+
1
) )( ( 1
2
C
i
i +
D
Ejemplo 3
Evaluar
97
t =
+

}
C
z
dz
1
2
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
i z =
0
i z
z f

=
1
) (
2 / ) (
0
i z f =
dz
i z
i z
i z i z
dz
z
dz
C C C
} } }
+

=
+
=
+
1
) )( ( 1
2
C
i
i +
D
98
Evaluar
donde C es el crculo |z 2i | = 4.
Solucin
Solo z = 3i est dentro de C, y
i z
i z
z
z
z
3
3
9
2

+
=
+
z d
z
z
C
}
+ 9
2
: entonces ,
3
) ( Sea
i z
z
z f
+
=
i
i
i
i i f i z d
i z
i z
z
z d
z
z
C C
t t t = = =

+
=
+
} }
6
3
2 ) 3 ( 2
3
3
9
2
Ejemplo 4
99
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Frmula integral de Cauchy:
se convierte en
i
C
z
ie dz
i z
e

=
+
}
t 2
i z =
0
C
D
}
+
C
z
dz
i z
e
Evaluar
donde C es cualquier contorno cerrado
conteniendo z = -i
f (z) es analtica en todo punto
Ejemplo 5
100
}

C
z
dz
1
4
C
i
i +
1 1 +
Tenemos que
} }
+ +
=

C C
i z i z z z
dz
z
dz
) )( )( 1 )( 1 ( 1
4
El contorno C incluye uno de esos puntos, z = +i.
Ese es nuestro punto z
0
en la frmula
} }

=

C C
dz
i z
z f
z
dz ) (
1
4
) )( 1 )( 1 (
1
) (
i z z z
z f
+ +
=
donde
4 ) 2 )( 1 )( 1 (
1
) ( ) (
0
i
i i i
i f z f =
+
= = Ahora
2
) ( 2
) (
1
0
0
4
t
t = =

} }
z f i dz
z z
z f
z
dz
C C
donde C es el crculo |z+i |=1 Evaluar
Ejemplo 6
101
}

C
z
dz z
1
tan
2
donde C es el crculo |z |=3/2
tan z es no analtica en t/2, 3t/2, ., pero esos
puntos estn fuera de nuestro contorno de
integracin
C incluye dos puntos singulares, z = 1.
Para poder usar la frmula integral de Cauchy,
debemos tener slo un punto singular z
0
dentro de C.
C
1
1 +
2 / 3t
2 / t
Usaremos fracciones parciales:
) 1 )( 1 (
) 1 ( ) 1 (
1 1 1
1
2
+
+ +
=
+
+

=
z z
z B z A
z
B
z
A
z
2 / 1 , 2 / 1
1
0 ) (
= =
=
= +
B A
B A
z B A
Ejemplo 7
Evaluar
102
} } }
+

C C C
dz
z
z
dz
z
z
dz
z
z
1
tan
2
1
1
tan
2
1
1
tan
2
C
1
1 +
2 / t
1 tan ) (
tan ) (
1
0
0
=
=
+ =
z f
z z f
z
) 1 tan( ) (
tan ) (
1
0
0
=
=
=
z f
z z f
z
| | i i dz
z
z
C
785 . 9 ) 1 tan( ) 1 tan(
2
1
2
1
tan
2
~ =

}
t
103
( )
0
!
2 ) (
1
0
z
n
n
C
n
dz
f d
n
i
dz
z z
z f t
=

} +
Por ejemplo,
Se pueden tratar funciones ms complicadas con potencias de z-z
0
,
con la frmula:
Nota: cuando n=0 tenemos la
Frmula Integral de Cauchy:
0
) ( 2
) (
0
z
C
z f i dz
z z
z f
t =

}
Esto es una generalizacin de la frmula integral de Cauchy
( )
| |
( )
| |
} }
= =
=

=
+

C
z z
C
dz
z d
i dz
z
z
dz
z z d
i dz
z
z z
2
2
2
3
1
2
2
2
0 0
cos
2
cos
,
3
2
1
3
t t
f analtica en y dentro
de C, z
0
dentro de C
Esta frmula tambin es conocida como la formula para las
derivadas de una funcin analtica.
3.7 Derivadas de funciones analticas
104
( )
0
!
2 ) (
1
0
z
n
n
C
n
dz
f d
n
i
dz
z z
z f t
=

} +
Tomando f(z
0
) como una funcin de variable z
0
. Derivando
con respecto a z
0
y aplicando la regla de Leibnitz:
Partiendo de la frmula integral de Cauchy:
}

=
C
dz
z z
z f
i
z f
0
0
) (
2
1
) (
t
Demostracin
( )
}
}
}

=
|
|
.
|

\
|

=
(

=
C
C
C
dz
z z
z f
i
dz
z z dz
d
z f
i
dz
z z
z f
i dz
d
z f
dz
d
2
0
0 0
0 0
0
0
) (
2
1
1
) (
2
1
) (
2
1
) (
t
t
t
por induccin:
105
La generalizacin de la frmula integral de Cauchy nos muestra algo
excepcional:
Si una funcin f(z) es analtica en cierto dominio, entonces posee
derivadas de todos los rdenes en dicho dominio. Y estas
derivadas son a su vez tambin analticas en el dominio.
Sea f(z) una funcin definida en todo punto de un entorno de z
0
. Si
f(z)
no es analtica en z
0
es imposible encontrar una funcin F(z) tal que
dF/dz = f(z) en todo punto del entorno. De existir F(z) sera analtica
y
por la frmula generalizada de Cauchy, su segunda derivada df/dz
existira en todo punto del entorno considerado. Y entonces f(z) sera
analtica en z
0
: una contradiccin.
106
) ( 2
) (
) (
0
2
0
z f i dz
z z
z f
C
'
=

}
t
Ejemplo 1
Evaluar la integral
}
C
z
dz
z
e
2
t
donde C es el crculo |z |=2
0
0
= z
z
e z f
t
= ) (
f (z) es analtica en D, y C incluye z
0
t t
t
t
= =
'
=
'
0
0
) (
) (
e z f
e z f
z
C
D
i
z
dz e
C
z
2
2
2t
t
=
}
107
) (
2
2
) (
) (
0
3
0
z f
i
dz
z z
z f
C
' '
=

}
t
Ejemplo 2
Evaluar la integral
( )
}

C
dz
i z
z
3
2
donde C es el crculo |z |=2
i z =
0
2
) ( z z f =
f (z) es analtica in D, y C incluye z
0
2 ) (
2 ) (
0
=
' '
=
' '
z f
z f
C
D
i
i z
dz z
C
t 2
) (
3
2
=

}
108
Calcular donde C es la circunferencia
( )
}
+
C
z
dz
i z
e
3
2
3 = z
( )
( )
( )
( )
i
C
z
i
i z
C
n
n
C
z
ie I
i
I
dz
i z
e
i
e
e z f e z f i z
siendo
dz
z z
z f
i
n
z f
dz
i z
e
I
2
3
2
2
0 0
1
0
0
) (
3
2
2
! 2
) ( ) ( ; 2
:
,
) (
2
!
2

+
= =
+
=
=
' '
= =

=
+
=
}
}
}
t
t t
t
Ejemplo 3
109
110
111
112
Dada una sucesin {z
n
}, una serie infinita o serie se puede formar a
partir de una suma infinita:
La sucesin de sumas:
s
1
= z
1
s
2
= z
1
+ z
2
s
3
= z
1
+ z
2
+ z
3
........
s
n
= z
1
+ z
2
+....z
n
es la sucesin de sumas parciales de la serie infinita.
Los z
1
, z
2
, ..... son denominados trminos de la serie.
...
3 2 1
1
+ + + =

=
z z z z
n
n
3.8 Series en el Campo Complejo
113
Series convergentes
Una serie convergente es aquella tal que la sucesin de sumas parciales
converge, donde s es la suma o valor de la serie y se
expresa:
Una serie divergente es aquella que no converge.
Llamaremos resto R
n
de la serie a:
Si la serie converge y suma s, entonces
s s
n
n
=

lim
...
2 1
1
+ + = =

=
z z z s
n
n
. + + + =
+ + + 3 2 1 n n n n
z z z R
0 lim y = + =

n
n
n n n n
R s s R R s s
114
Serie geomtrica
Para la serie geomtrica:
el trmino ensimo de la sucesin de sumas parciales es:
+ + + + + =

1 2
1
1 n
k
k
az az az a az
z
z a
az az az a S
n
n
n

= + + + + =

1
) 1 (
...
1 2
Observa que z
n
0 cuando n para |z| < 1, en cuyo
casi S
n
converge a a/(1 z). La serie diverge para |z| > 1.
115
Ejemplo:
es una serie geomtrica con a = (1 + 2i)/5 y
z = (1 + 2i)/5. Puesto que |z| < 1, tenemos que:
...
5
) 2 1 (
5
) 2 1 (
5
) 2 1 (
5
) 2 1 (
3
3
2
2
1
+
+
+
+
+
+
=
+

=
i i i i
k
k
k
2
5
2 1
1
5
2 1
5
) 2 1 (
1
i
i
i
i
k
k
k
=
+

+
=
+

=
116
Teorema de Cauchy para series
Una serie z
1
+ z
2
+.... es convergente sii dado cualquier c>0
podemos hallar un N tal que |z
n+1
+z
n+2
+...+z
n+p
| < c para todo
n > N y p =1, 2...
Convergencia absoluta.
Una serie z
1
+ z
2
+... es absolutamente convergente si la serie de
los valores absolutos de sus trminos

E |z
m
| = |z
1
| + |z
2
| + ......
m=1
es convergente. Si z
1
+ z
2
+... converge pero |z
1
|+ |z
2
| +.... diverge,
la serie z
1
+z
2
.... es condicionalmente convergente.
Ejemplo: La serie 1- 1/2+ 1/3- +... converge condicionalmente.
Si una serie es absolutamente convergente es convergente
117
Es la serie convergente?
Es absolutamente convergente, puesto que
|i
k
/k
2
| = 1/k
2
y la serie real
es convergente.
De modo que la serie original es convergente.

=1
2
k
k
k
i

=1
2
1
k
k
Ejemplo
118
Comparacin de series:
Si dada una serie dada z
1
+ z
2
+ ... , podemos hallar una serie
convergente b
1
+ b
2
+ ... con trminos reales no negativos tal que
|z
n
| s b
n
para todo n = 1, 2, ...entonces la serie dada converge,
incluso absolutamente.
Criterio del cociente:
Si una serie z
1
+ z
2
+ .... con z
n
=0 (n = 1, 2, ...) cumple que
|z
n+1
/z
n
| s q < 1 ( n > N, con un q dado para cualquier N)
la serie converge absolutamente. En cambio si
|z
n+1
/z
n
| > 1 ( n > N) la serie diverge.
119
Si tenemos una serie z
1
+ z
2
+.... con z
n
= 0 (n = 1, 2, ..) tal que
Entonces se cumple que:
a) Si L < 1 la serie converge absolutamente.
b) Si L > 1 diverge.
c) Si L = 1 no sabe, no contesta.
L lim
1
=
+

n
n
n
z
z

+
+
+ + + =
+
=
0
2
! 2
) 75 100 (
) 75 100 ( 1
!
) 75 100 (
.
i
i
n
i
S
n
Dado
Es S convergente o divergente?
( )
0
1
125
lim
1
75 100
lim
! 75 100
! 1 75 100
lim lim
1
1
=
+
=
+
+
=
+
+ +
=

+

+

n n
i
n i
n i
z
z
n n
n
n
n
n
n
n
Converge.
120
Criterio de la raz:
Si una serie z
1
+ z
2
+ ... cumple que para todo n > N
(n < N)
donde q<1 est fijado, la serie converge absolutamente. Si para infinitos n
se cumple que:
, la serie diverge.
Entonces, si una serie z
1
+z
2
+... cumple que para todo n > N
entonces:
a) Si L < 1 la serie converge absolutamente
b) Si L > 1 diverge
c) Si L = 1 no podemos extraer conclusiones
1 | | < s q z
n
n
1 | | < s q z
n
n
L z
n
n
n
=

| |
lim
121
Dado
Es S convergente?
Como el lmite es mayor que 1, la serie diverge.
( ) . + + =
|
|
.
|

\
|
+

2
0
2
) 4 (
19
1
) 4 (
7
1
4
1
4
3 2
) 1 (
i i i S
n
n
n
4
17
3 4
17
lim
3 4
) 4 (
lim
3 2
) 4 (
lim
2
=
+
=
+

=
|
|
.
|

\
|
+

n n n n n n
n
n
n
n
i
i
La serie geomtrica
converge con suma 1/(1-q) si |q| < 1 y diverge para otros valores.

=
+ + + =
0
2
1
m
m
q q q .
Ejercicio: demostrar que
Ejemplo
122
Serie de potencias

=
+ + + =
0
2
2 1
) ( ) ( ) (
n
o o o
n
o n
z z a z z a a z z a
coeficientes complejos
centro de
desarrollo
) (
o
z z

=
+ + + =
0
2
) (
2
1
) ( 1 ) (
!
1
n
n
i z i z i z
n

P.ej.
Una serie de potencias en es:
123
Convergencia de series de potencias
Las series de potencias en general convergen para algunos
valores de z, y para otros.
Por ejemplo la serie

=
+ + + + =
0
3 2
1
n
n
z z z z
converge para |z |<1, pero diverge para |z |1.
Fuera del crculo de
convergencia la serie
de potencias diverge.
Crculo de convergencia:
mayor crculo centrado en z
0
en el
que la serie de potencias
converge.
(Serie
geomtrica)
Radio de
convergencia
R =1
124

=
+ + + + =
0
3 2
! 3 ! 2 1 !
n
n
z z z z n
La serie diverge para todo z (excepto z = 0)

=
+ + + + =
0
3 2
! 3 ! 2
1
!
1
n
n
z z
z z
n

Ejemplos:
La serie converge para todo z
Radio de convergencia
infinito; R =
Radio de convergencia cero;
R = 0
125
: converge

=
+ + + =
0
2
2 1
) ( ) ( ) (
n
o o o
n
o n
z z a z z a a z z a
(1) La serie de potencias siempre converge para z = z
o
o
z
(2) Hay un radio de convergencia R para el cual:
R z z
o
<
: diverge
R z z
o
>
R z z
o
= Los valores z tq. pueden converger o no
126
El radio de convergencia R puede ser:
(i) cero (converge solo en z = z
0
).
(ii) un nmero finito R (converge en todos los puntos del crculo
|z z
0
| < R).
(iii) (converge para todo z).
La serie de potencias puede converger en algunos, todos o ninguno
de los puntos de la circunferencia de convergencia. Hay que
determinarlo por separado.
En resumen:
127
Hay una forma rpida para hallar el radio de convergencia?
R a
a
n
n
n
1
lim
1
=
+

La frmula de Cauchy-Hadamard :
(i) R = 1/L.
(ii) R es .
(iii) R = 0.
, 0 lim
1
= =
+

L
a
a
n
n
n
0 lim
1
=
+

n
n
a
a
n
=
+

n
n
a
a
n
1
lim
128
Ejemplo:

=
+ + + =
0
2
2
) 3 ( 6 ) 3 ( 2 1 ) 3 (
) ! (
)! 2 (
n
n
i z i z i z
n
n

| |
| |
R n
n n
n
n
n
n
a
a
n n
n
n
n
1
4
) 1 (
) 1 2 )( 2 2 (
lim
)! 2 (
) ! (
)! 1 (
! ) 1 ( 2
lim lim
2
2
2
1
= =
+
+ +
=
+
+
=

+

4
1
= R
129
: converge
i z
o
3 =
4 / 1 3 < i z
: diverge
4 / 1 3 > i z

=
+ + + =
0
2
2
) 3 ( 6 ) 3 ( 2 1 ) 3 (
) ! (
)! 2 (
n
n
i z i z i z
n
n

130
Ejemplo:

=
+ + + + + = +
0
2
) 4 ( ) 4 ( 1 ) 4 (
n
n
i z i z i z
R a
a
n
n
n
n
1
1
1
1
lim lim
1
= = =

+

1 = R
: converge
i z
o
4 =
1 4 < + i z
: diverge 1 4 > + i z
131
Ejemplo:

=
+ + =
0
2 2
) 1 ( 2 ) 1 ( ) 1 (
n
n n
z e z e z ne
R
e
n
n
e
ne
e n
a
a
n
n
n
n
n
n
n
1 1
lim
) 1 (
lim lim
1
1
= =
+
=
+
=

+

+

e R / 1 =
: converge
e z / 1 1 <
: diverge
e z / 1 1 >
1 =
o
z
132

=

1
!
) 1 ( ) 1 (
k
k k
k
i z
0
1
1
lim
!
) 1 (
)! 1 (
) 1 (
lim ,
!
) 1 (
1
2
1
=
+
=

=

+
+

+
n
n
n
n
a
n
n
n
n
n
n
El radio de convergencia es .
Otro ejemplo:
133
Recuerda adems que todo lo dicho para series, evidentemente funciona
para series de potencias.
Por ejemplo:
(1) Si la serie diverge.
(2) Si la serie diverge.
(3) Comparar:
(4) Si la serie diverge.
1 lim >

n
n
n
z

=

=
0
0 lim
n
n n
n
z z
converge y si converge
0 0


=

=
s
n
n n n
n
n
b b z z
1 lim
1
>
+

n
n
n
z
z
134
Resumen y varios comentarios interesantes:
(Observa que para nosotros era:
En el punto iv se resuelve el enigma)
1
1
lim

+

|
|
.
|

\
|
=
n
n
n
a
a
R
135
136
137
138
Series de potencias y funciones analticas
Cualquier funcin analtica f (z) puede ser representada por una serie
de potencias con radio de convergencia R > 0. La funcin
representada por la serie es analtica en todo punto dentro del radio de
convergencia.
Ejemplo:

=
+ + + + = =
0
3 2
1
n
n
z z z z
la serie converge para |z|1
Radio de convergencia R = 1
z
z f

=
1
1
) (
3.8 Series de Taylor
139
A las series de potencias que representan funciones
analticas f (z) se les llama series de Taylor.

=
= =
0
) (
) (
!
1
, ) ( ) (
n
o
n
n
n
o n
z f
n
a z z a z f
(Cauchy, 1831)
Cmo encontrar la serie de potencias de una funcin
analtica determinada?
Vienen dadas por la frmula:
140
Desarrollar f(z)=sin z alrededor de z
0
=0 (serie de Mclaurin):
z z f
z z f
z z f z z f
z z f z z f
cos ) (
sin ) (
cos ) ( cos ) (
sin ) ( sin ) (
) 3 (
) 2 (
) 5 ( ) 1 (
) 4 ( ) 0 (
=
=
= =
= =
.
1 ) 0 (
0 ) 0 (
1 ) 0 ( 1 ) 0 (
0 ) 0 ( 0 ) 0 (
) 3 (
) 2 (
) 5 ( ) 1 (
) 4 ( ) 0 (
=
=
= =
= =
f
f
f f
f f
.
k k
k
f
f
) 1 ( ) 0 (
0 ) 0 (
) 1 2 (
) 2 (
=
=
+

=
+

=
+
+

=
+

=
+
+ = =
0
1 2
0
1 2
) 1 2 (
0
2
) 2 (
0
) (
)! 1 2 (
) 1 (
sin
)! 1 2 (
) 0 (
)! 2 (
) 0 (
!
) 0 (
sin
k
k
k
k
k
k
k
k
k
n
k
n
z
k
z
z
k
f
z
k
f
z
n
f
z
141
Demostracin del teorema de Taylor:
0
z

z
x
y
0
C
1
C
0
r
1
r
Por la frmula integral de Cauchy:
}

=
1
) (
2
1
) (
C
d
z
f
i
z f

t
Vamos a desarrollar el integrando:
(
(
(
(
(

|
|
.
|

\
|

+
|
|
.
|

\
|

+ +

=

=

0
0
0
0
1
0
0
0
0
0
0
0
0 0 0
1
... 1
1
1
1 1
) ( ) (
1 1
z
z z
z
z z
z
z z
z
z z
z
z
z z
z z z z z
N
N

142
N
N
N
N
z z
z z f
z z
z
f
z z
z
f
z
f
z
f
) )( (
) )( (
) (
) (
) (
... ) (
) (
) ( ) ( ) (
0
0
1
0
0
0
2
0 0


+

+ +

Utilizando la frmula generalizada de Cauchy:
( )
} +

=
C
n
n
d
z
f
i
n
z f

t
1
0
0
) (
) (
2
!
) (
}
}
(

+ +

1
1
) )( (
) )( (
) (
) (
) (
... ) (
) (
) ( ) (
2
1
) (
2
1
) (
0
0
1
0
0
0
2
0 0 C
N
N
N
N
C
d
z z
z z f
z z
z
f
z z
z
f
z
f
i
d
z
f
i
z f

t
) ( ) (
)! 1 (
) (
... ) )( ( ' ) ( ) (
1
0
0
) 1 (
0 0 0
z R z z
N
z f
z z z f z f z f
N
N
N
+

+ + + =

143
Donde hemos definido el residuo R
n
:
}

1
) )( (
) )( (
2
1
) (
0
0
C
N
N
N
d
z z
z z f
i
z R


t
Observemos que:
r r z z z z r r z r z z = > > = =
1 0 0 1 0 0
| | | | | | ; | | ; | |
Si M es el valor mximo que puede alcanzar
sobre C
1
:
) ( f
N
N
N
N
r
r
r r
Mr
r r r
r M r
z R
|
|
.
|

\
|

s
1 1
1
1 1
1
) (
) (
2
2
) (
t
t
Y puesto que r/r
1
< 1, el lmite cuando N tiende a infinito
del residuo es cero. De modo que para cada z interior a C
0
,
la serie de Taylor converge a f(z).
144
Ejemplo1
+ + + + =
=
=
=

=
3 2
0
0
) (
0
1
!
) 0 (
1
1
z z z
z
z
n
f
z a
z
n
n
n
n
n
n
n
n
z
z f

=
1
1
) (
(1) Tomemos centro z = 0 :
! 3 ) 0 (
2 ) 0 (
1 ) 0 (
1 ) 0 (
=
' ' '
=
' '
=
'
=
f
f
f
f
( ) ( ) ( )
4 3 2
1
! 3
) ( ,
1
2
) ( ,
1
1
) ( ,
1
1
) (
z
z f
z
z f
z
z f
z
z f

= ' ' '

= ' '

= '

=
punto singular
1 = z 0 =
o
z
centro
1 = R
Encontrar la serie de Taylor para
145
( )
( )
( )
( ) ( ) ( ) + + + + =
=
=
=

=
+

=
3
2
1
2
2
1
2
1
0
2
1
1
0
2
1 2
1
) (
0
2
1
16 8 4 2
2
!
) (
1
1
z z z
z
z
n
f
z a
z
n
n
n
n
n
n
n
n
n
(2) Tomemos centro z =1/2 :
4
2
1
3
2
1
2
2
1
2
1
2 ! 3 ) (
2 . 2 ) (
2 ) (
2 ) (
=
' ' '
= ' '
=
'
=
f
f
f
f
( ) ( ) ( )
4 3 2
1
! 3
) ( ,
1
2
) ( ,
1
1
) ( ,
1
1
) (
z
z f
z
z f
z
z f
z
z f

= ' ' '

= ' '

= '

=
1 = z
2
1
=
o
z
centro
2
1
= R
punto singular
146
Una funcin analtica f (z) puede ser representada mediante series de
potencias con distintos centros z
o
(aunque hay nicamente una serie para cada centro).
Hay por lo menos un punto singular en la circunferencia de
convergencia
1 = z
2
1
=
o
z
1 = z 0 =
o
z
+ + + + =

3 2
1
1
1
z z z
z
( ) ( ) ( ) + + + + =

3
2
1
2
2
1
2
1
16 8 4 2
1
1
z z z
z
147
Ejemplo 2
+ + + + =
=
=
=

=
! 3 2
1
!
!
) 0 (
3 2
0
0
) (
0
z z
z
n
z
z
n
f
z a e
n
n
n
n
n
n
n
n
z
z
e z f = ) (
con centro z = 0
1 ) 0 (
1 ) 0 (
1 ) 0 (
1 ) 0 (
= ' ' '
= ' '
= '
=
f
f
f
f
z z z z
e z f e z f e z f e z f =
' ' '
=
' '
=
'
= ) ( , ) ( , ) ( , ) (
centro
0 =
o
z
= R
no hay puntos singulares!
148
Unicidad del desarrollo de Taylor
Supongamos que f(z) es analtica y desarrollable alrededor
de z
0
, tq:

=
= =
0
) (
) (
!
1
, ) ( ) (
n
o
n
n
n
o n
z f
n
a z z a z f
Existir otra serie
de potencias:
? con , ) ( ) (
0

=
= =
n
n n
n
o n
a b z z b z f
.
... ) ( 2 3 2 ) ( ' '
... ) ( 3 ) ( 2 ) ( '
3 2
2
3 2 1
+ + =
+ + + =
o
o o
z z b b z f
z z b z z b b z f
Tomando z = z
0
en las
expresiones anteriores:
.
2
0
2 0
1 0
0 0
2
) ( ' '
; 2 ) ( ' '
) ( '
) (
b
z f
b z f
b z f
b z f
= =
=
=
... , 2 , 1 , 0
!
) (
; ! ) (
0
) (
2 0
) (
=
= =
n
b
n
z f
b n z f
n
n
n
Son los mismos coeficientes del
desarrollo de Taylor
149
Derivar la serie de Taylor directamente a partir
de la frmula
puede ser complicado.

=
= =
0
) (
) (
!
1
, ) ( ) (
n
o
n
n
n
o n
z f
n
a z z a z f
Normalmente se usan otros mtodos:
(1) La serie geomtrica
(2) La serie binomial
+ + + + = =

=
3 2
0
1
1
1
z z z z
z
n
n
( ) +
+ +

+
+ =
|
|
.
|

\
|
+
=
+

=
3 2
0
! 3
) 2 )( 1 (
! 2
) 1 (
1
1
1
) 1 (
1
z
m m m
z
m m
mz z
n
n m
z
n
n
n
m
+ =
+
=

=
+
! 5 ! 3 )! 1 2 (
) 1 ( sin
5 3
0
1 2
z z
z
n
z
z
n
n
n
(3) Otras series conocidas como la exponencial, el coseno, etc.
150
Ejemplo 3
2
1
1
) (
z
z f
+
=
Expandir
para z = 0
(usar la serie geomtrica)
Primero dibujamos el centro y los puntos singulares de f(z) para
hacernos una idea:
puntos singulares:
Parece que el radio de convergencia es R=1.
centro
i i z + = ,
151
+ + + + =

3 2
1
1
1
z z z
z
Sabemos que
+ + =

=
+
6 4 2
2 2
1
) ( 1
1
1
1
z z z
z z
Por tanto
La serie geomtrica converge para |z|<1
por tanto nuestra serie converge para |z|
2
<1
O lo que es lo mismo: para |z|<1. Y efectivamente el radio
de convergencia es R = 1 como habamos predicho.
152
Ejemplo 4
z
z f
2 3
1
) (

=
centro z = 1
Expandir
2 / 3 = z
para z = 1
(usar la serie geomtrica)
De nuevo dibujamos el centro y los puntos singulares de f(z):
puntos singulares:
Parece que el radio de convergencia es R = 1/2
153
+ + + + =

3 2
1
1
1
z z z
z
+ + + =

=

2
) 1 ( 4 ) 1 ( 2 1
) 1 ( 2 1
1
2 3
1
z z
z z
por tanto
Sabemos que
La serie geomtrica converge para |z |<1,
por tanto nuestra serie converge para |2(z-1)|<1
es decir, para |z -1| < 1/2.
154
Encuentra la serie de Maclaurin de la funcin:
) 9 / ( 1
1
9 9
) (
4 4
z
z
z
z
z f
+
=
+
=

=
=
+
=
0
) (
4
!
) 0 (
) 9 / ( 1
1
9
) (
n
n
n
z
n
f
z
z
z f

=
= + + =
+
0
3 2
) 1 ( ... 1
1
1
n
n n
w w w w
w

=
|
|
.
|

\
|
= +
|
|
.
|

\
|

|
|
.
|

\
|
+ =
+
0
4
3
4
2
4 4
4
9
) 1 ( ...
9 9 9
1
) 9 / ( 1
1
n
n
n
z z z z
z


=
+
+

=
|
|
.
|

\
|
|
.
|

\
|
=
+
0
1 4
1
0
4
4
9
) 1 (
9 9
) 1 (
) 9 / ( 1
9 /
n
n
n
n
n
n
n
z
z z
z
z
Ejemplo 5
155
Ejemplo 6
2
) 1 (
1
) (
z
z f

=
Centro z = 0
Expandir
para z = 0
Punto singular:
1 = z
(Usar la serie binomial)
Centro y puntos singulares R = 1:
156
La serie binomial es:
+ + + + =
+
=

3 2
2 2
4 3 2 1
)] ( 1 [
1
) 1 (
1
z z z
z z
Por tanto:
La serie binomial converge para |z |< 1
Por tanto nuestra serie converge para |-z |<1
Es decir |z |< 1.
es singular en z = -1 m
z

+ ) 1 (
( )
+
+ +

+
+
=
|
|
.
|

\
|
+
=
+

=
3 2
0
! 3
) 2 )( 1 (
! 2
) 1 (
1
1
1
) 1 (
1
z
m m m
z
m m
mz
z
n
n m
z
n
n
n
m
157
Ejemplo 7
) 2 ( ) 4 (
34 15 2
) (
2
2
+
+ +
=
z z
z z
z f
Expandir
en z = 0
Centro z = 0
Puntos singulares:
2 , 4 + = z
el radio de convergencia
debera ser R = 2.
158
Notemos que (a) siempre tenemos potencias positivas de (z-z
0
).
(b) la serie converge dentro de un disco.
+ + + + =

3 2
1
1
1
z z z
z
Como hemos visto podemos expandir una funcin analtica
en serie de Taylor alrededor de un centro. Por ejemplo,
( ) ( ) + + + =

2
2
1
2
1
8 4 2
1
1
z z
z
Podemos expandir la misma funcin
respecto a distintos centros. Por ejemplo:
2
1
=
o
z
0 =
o
z
3.9 Serie de Laurent
159
Pero hay otro tipo de series que:
(a) Incluyen potencias negativas de (z-z
0
)
(b) Convergen dentro de un anillo
Tales series se llaman series de Laurent.
+ + + + =
+
+
8 4 2
1 1 1
2 3
3 2
2
2 2
z z
z z z z
z
Puntos singulares en z = 1, 2
Centro
Ejemplo
Converge para 1<|z|<2
Si z = z
0
es una singularidad de una funcin
compleja f. El punto z
0
se llama singularidad
aislada si existe un disco abierto 0 < |z z
0
| < R
en el que la funcin es analtica.
160
Si tomamos una funcin y dibujamos sus puntos singulares,
podremos separar el plano complejo en distintas regiones de
convergencia.
La serie de Laurent siempre converge dentro de un anillo.
Ejemplo
z
z f

=
1
1
) (
centro
Dentro del disco |z|<1 tenemos la
serie de Taylor:
centro
En el anillo 1< |z| <
tenemos la serie de Laurent:
+ + + + =

3 2
1
1
1
z z z
z
=

3 2
1 1 1
1
1
z z z z
161
Por supuesto, podemos tener
distintos centros ...
z
z f

=
1
1
) (
Dentro de un disco |z+1| < 2
tenemos la serie de Taylor.
En el anillo 2< |z+1|<
tenemos la serie de Laurent.
+
+
+
+
+ =
8
) 1 (
4
1
2
1
1
1
2
z z
z

+

+
=

3 2
) 1 (
4
) 1 (
2
1
1
1
1
z z z z
centro
1 1
centro
1
1
162
El centro podra ser, incluso, el punto singular ...
z
z f

=
1
1
) (
centro z
0
=1
En este caso, la serie es vlida
para 0< |z-1|< , un disco con
el punto singular z
0
=1 situado en
el centro.
En este caso, la serie est formada por un nico trmino
z 1
1
163
La funcin f(z) = (sin z)/z
3
es no analtica en z = 0 y no podemos
expandirla como serie de Maclaurin. Sabemos que:
converge para todo z. As que:
converger para todo z excepto z = 0, 0 < |z|.
...
! 7 ! 5 ! 3
sin
7 5 3
+ + =
z z z
z z
+ + = =
! 7 ! 5 ! 3
1 1 sin
) (
4 2
2 3
z z
z z
z
z f
164
Ejemplo
Cuntas series con centro z
0
= 1/4 puede tener la funcin ?
2
sin
2
z z
z
| z-1/4 | < 5/4
5/4 < | z-1/4 | < 7/4
7/4 < | z-1/4 | <
El anillo siempre est entre los puntos singulares.
La funcin presenta dos singularidades
(polos simples), en z = -1, 2.
165
Ejemplo
Cuntas series con centro z
0
= 0 tiene la funcin ?
2
) 2 ( z
e
z
t
La funcin presenta una singularidad
(polo de segundo orden) en z = 2.
|z| < 2
2 < |z| <
166
Si f(z) es analtica en el anillo de centro z
0
, r
0
< |z - z
0
| < r
1
y C es
cualquier camino cerrado que rodea a z
0
y est contenido por
completo en ese dominio anular (ver figura). Entonces, en todo
punto de ese dominio, f(z) admite la representacin:
Teorema de Laurent:

+
+ + + + =
4
0
4
3
0
3
2
0
2
0
1
3
0 3
2
0 2 0 1 0
) ( ) ( ) (
) ( ) ( ) ( ) (
z z
b
z z
b
z z
b
z z
b
z z a z z a z z a a z f
donde
... , 2 , 1 , 0 , ) )( (
2
1
... , 2 , 1 , 0 ,
) (
) (
2
1
1
0
1
0
= =
=

=
}
}

+
n dz z z z f
i
b
n dz
z z
z f
i
a
C
n
n
C
n
n
t
t
Pierre Alphonse Laurent (1843)
Cunto valen los b
n
s cuando
f(z) es analtica en |z-z
0
| < r
1
?
C
r
0
r
1
167
0
z

z
x
y
0
C
1
C
0
r
1
r
} }

=
0 1
) (
2
1 ) (
2
1
) (
C C
d
z
f
i
d
z
f
i
z f

t
Demostracin del teorema de Laurent:
Por la frmula integral de Cauchy para un
dominio doblemente conexo:
N
N
N
N
z z
z z f
z z
z
f
z z
z
f
z
f
z
f
) )( (
) )( (
) (
) (
) (
... ) (
) (
) ( ) ( ) (
0
0 1
0
0
0
2
0 0


+

+ +

+

+ +

+

=
(
(
(
(
(

|
|
.
|

\
|

+
|
|
.
|

\
|

+ +

=

=

z z z
z
z z z z z z z z
z z
z
z z
z
z z
z
z z
z
z z
z z
z
z z z z z z
N
N
N N
N
N
1
) (
) (
) (
1
) (
1
...
) (
1
) (
1 1
1
... 1
1
1
1 1
) ( ) (
1 1
0
0
0
1
0
2
0
1
0 0
0
0
0
0
1
0
0
0
0
0
0
0
0 0 0
168

+

+ +

+

z
f
z z
z
z z z
f
z z z
f
z z
f
z
f
N
N
N N
) (
) (
) (
) (
1
) (
) (
...
) (
1
) (
) ( ) ( ) (
0
0
0
1
0
2
0
1
0 0
}
}
} }
(

+

+ +

+

+
(

+ +

0
1
0 1
) (
) (
) (
) (
1
) (
) (
...
) (
1
) (
) ( ) (
2
1
) )( (
) )( (
) (
) (
) (
... ) (
) (
) ( ) (
2
1
) (
2
1 ) (
2
1
) (
0
0
0
1
0
2
0
1
0 0
0
0 1
0
0
0
2
0 0
C
N
N
N N
C
N
N
N
N
C C
d
z
f
z z
z
z z z
f
z z z
f
z z
f
i
d
z z
z z f
z z
z
f
z z
z
f
z
f
i
d
z
f
i
d
z
f
i
z f

t

=

=
+

+ + =
N
n
N
n
n
N
n
N
n
n
z Q
z z
b
z R z z a z f
1
0
1
0
0
) (
) (
) ( ) ( ) (
169
}

0
) (
) )( (
) (
1
2
1
) (
0
0
C
N
N
N
d
z
z f
z z i
z Q

t
Observemos que:
r r z z z z r r z r z z = > > = =
1 0 0 1 0 0
| | | | | | ; | | ; | |
Si Mes el valor mximo que puede alcanzar
sobre C
1
:
) ( f
N
N
N
N
r
r
r r
Mr
r r
r M r
r
z Q
|
.
|

\
|

s
0
0
0
0
0 0
) (
2
2
1
) (
t
t
Y puesto que r/r
1
< 1, el lmite cuando N tiende a infinito
del residuo es cero. De modo que para cada z interior a C
0
,
la serie de Taylor converge a f(z).
170
Igual que para el caso de la serie de Taylor, hay distintas formas de
hallar la serie de Laurent de una funcin. En la prctica, no usaremos
la frmula anterior. Un mtodo ms simple consiste en usar la serie
geomtrica, tal como hicimos con la serie de Taylor.
Hallando la serie de Laurent
Ejemplo (1)
Expandir la funcin 1/(1-z) en potencias negativas de z
+ =
)
`

+ + + + =

4 3 2 3 2
1
1 1 1 1 1 1 1
1
1
) 1 (
1
1
1
z z z z z z z z z z
z
Dado que converge para |z |<1, la serie
converge para |1/z| < 1, o |z|>1
+ + + =

2
1
1
1
z z
z
171
Ejemplo 2
Expandir la funcin 1/(i-z) en potencias de z-2
(Serie de Taylor)
| |

=
)
`

=

=

=

3
2
2
2
2
2
2
) 2 (
) 2 (
) 2 (
2
2
1
) 2 (
) 2 (
2
2
1
2
1
1 ) 2 (
1
) 2 ( 2
1 1
i
z
i
z
i
i
z
i
z
i
i z i z i
i
z
Dado que converge para |z|<1, la serie
converge para
+ + + =

2
1
1
1
z z
z
( ) ( ) ( ) 5 2 1 2 / 2 < < z i z
172
Otra posibilidad consiste en expandir la funcin 1/(i-z) en potencias
negativas de z-2 (serie de Laurent):
( )

=
)
`

=

=

=

3
2
2
2
2
2
2
) 2 (
) 2 (
) 2 (
2
2
1
) 2 (
) 2 (
2
2
1
2
1
1 ) 2 (
1
) 2 ( 2
1 1
z
i
z
i
z
z
i
z
i
z z z i z i
z
i
Dado que converge
para |z|<1, la serie converge para
+ + + =

2
1
1
1
z z
z
( ) ( )
( ) ( ) ( ) 5 2 1 2 / 2
1 2 / 2
> >
<
z i z
z i
173
Ejemplo 3
Expandir la funcin con centro z = 1
converge para 0 < |z -1|<
3
2
) 1 ( z
e
z

| |
)
`

+ +

=
)
`

+ +

) 1 (
! 4
2
! 3
2
) 1 ( ! 2
2
) 1 (
2
) 1 (
1
! 2
) 1 ( 2
) 1 ( 2 1
) 1 ( ) 1 ( ) 1 (
4 3 2
2 3
2
2
3
2
3
) 1 ( 2 2
3
2
z
z z z
e
z
z
z
e
z
e e
z
e
z z
El centro es el punto singular !
174
Cada serie de Laurent tiene dos partes:
+ + + + =
3
0 3
2
0 2 0 1 0
) ( ) ( ) ( ) ( z z a z z a z z a a z f
+

+
4
0
4
3
0
3
2
0
2
0
1
) ( ) ( ) (
...
z z
b
z z
b
z z
b
z z
b
Potencias positivas (serie de Taylor) parte analtica
Potencias negativas (Parte Principal)
DENTRO
FUERA
175
Ejemplo 1
Expandir la funcin con centro z = 0
) 3 )( 1 (
1
+ + z z
De cuntas formas podemos hacerlo?
(a) |z| < 1
(b) 1 < |z| < 3
(c) 3 < |z| <
|
.
|

\
|
+

|
.
|

\
|
+
=
+ + 3
1
2
1
1
1
2
1
) 3 )( 1 (
1
z z z z
centro
176
(a) |z| < 1
( )

+ =
)
`

|
|
.
|

\
|
+ + =
)
`

|
|
.
|

\
|

|
|
.
|

\
|

=
)
`

|
.
|

\
|
+

|
.
|

\
|
+
=
+ +
2
2
2
2
27
13
9
4
3
1
3 3
1
3
1
1
2
1
) 3 / ( 1
1
3
1
) ( 1
1
2
1
3
1
1
1
2
1
) 3 )( 1 (
1
z z
z z
z z
z z
z z z z
Dentro del disco, trminos positivos:
serie de Taylor.
177
(b) 1 < |z| < 3


+ + + + =
)
`

|
|
.
|

\
|
+
|
.
|

\
|
+ =
)
`

|
|
.
|

\
|

|
|
.
|

\
|

=
)
`

|
.
|

\
|
+

|
.
|

\
|
+
=
+ +
54 18 6
1
2
1
2
1
2
1
3 3
1
3
1 1 1
1
1
2
1
) 3 / ( 1
1
3
1
) / 1 ( 1
1 1
2
1
3
1
1
1
2
1
) 3 )( 1 (
1
2
2 3
2
2
2
z z
z z z
z z
z z z
z z z
z z z z
potencias negativas
1 < |z| <
potencias positivas
|z| < 3
Serie de Laurent
178
En la pgina anterior, cmo sabamos qu trmino expandir en potencias
negativas y cul, si lo haba, expandir en potencias positivas?
El trmino est fuera
- trminos negativos
El trmino est dentro
- trminos positivos
3
1
+ z
1
1
+ z
El anillo final resulta de
la superposicin
179
(c) 3 < |z| <

4 3 2
2
2
2
13 4 1
3 3
1
1 1 1
1
1
2
1
) / 3 ( 1
1 1
) / 1 ( 1
1 1
2
1
3
1
1
1
2
1
) 3 )( 1 (
1
z z z
z z z z z z
z z z z
z z z z
+ =
)
`

|
|
.
|

\
|
+
|
.
|

\
|
+ =
)
`

|
|
.
|

\
|

|
|
.
|

\
|

=
)
`

|
.
|

\
|
+

|
.
|

\
|
+
=
+ +
potencias negativas
3 < |z| <
potencias positivas
|z |<
180
(a) 0 < |z 1| < 2
) 3 ( ) 1 (
1
) (
2

=
z z
z f
2
) 1 (
1
1
) 1 ( 2
1
) 1 ( 2
1
) 1 (
1
) 3 ( ) 1 (
1
) (
2 2 2

=
+
=

=
z
z z z z z
z f
...
16
) 1 (
8
1
) 1 ( 4
1
) 1 ( 2
1
...
2
) 1 (
2
) 1 (
2
) 1 (
1
) 1 ( 2
1
) (
2
3
3
2
2
2

=
(

=
z
z z
z z z
z
z f
181
(b) 0 < |z 3| < 2.
) 3 ( ) 1 (
1
) (
2

=
z z
z f
2
2
2
2
3
1
) 3 ( 4
1
)] 3 ( 2 [
) 3 (
1
) 3 ( ) 1 (
1
) (

=
+

=

=
z
z
z
z z z
z f
(

+
|
.
|

\
|

+
|
.
|

\
|

+

= ...
2
3
! 2
) 3 )( 2 (
2
3
! 1
) 2 (
1
) 3 ( 4
1
) (
2
z z
z
z f
(binomial vlida para
|(z 3)/2| < 1 o |z 3| < 2)
... ) 3 (
8
1
) 3 (
16
3
4
1
) 3 ( 4
1
) (
2
+ +

= z z
z
z f
182
0 < |z| < 1.
) 1 (
1 8
) (
z z
z
z f

+
=
| |
... 9 9 9
1
... 1 )
1
8 (
1
1 1 8
) 1 (
1 8
) (
2
2
+ + + + =
+ + + + =

+
=

+
=
z z
z
z z
z z z
z
z z
z
z f
183
1 < |z 2| < 2.
) 1 (
1
) (

=
z z
z f
En el centro z = 2 f es analtica.
Queremos encontrar dos series de
potencias enteras de z 2; una
convergiendo para 1 < |z 2| y la otra
para |z 2| < 2.
2
2
1
1
2
1
2 2
1 1
) (
) ( ) (
1
1 1
) (
1
2 1

+
=
+
= =
+ =

+ =
z
z z
z f
z f z f
z z
z f
...
2
) 2 (
2
) 2 (
2
2
2
1
...
2
2
2
2
2
2
1
2
1
4
3
3
2
2
3 2

+ =
(

+
|
.
|

\
|

|
.
|

\
|

+

=
z z z
z z z
|(z 2)/2| < 1 o |z 2| < 2.
184
|1/(z 2)| < 1 o 1 < |z 2|.
...
) 2 (
1
) 2 (
1
2
1
...
2
1
2
1
2
1
1
2
1
2
1
1
1
2
1
2 1
1
1
1
) (
3 2
3 2
2

=
(

+
|
.
|

\
|

|
.
|

\
|

=
+
=

=
z z z
z z z z
z
z z z
z f
185
f(z) = e
3/z
, 0 < |z|.
...
! 3
3
! 2
3 3
1
...
! 3 ! 2
1
3
3
2
2
3
3 2
+ + + + =
+ + + + =
z z z
e
z z
z e
z
z
186
(a) 0 < |z| < 1,
(b) 1 < |z|,
(c) 0 < |z 1| < 1
(d) 1 < |z 1|.
) 1 (
1
) (

=
z z
z f
187
Ejercicios resueltos
1
188
2
189
3
190
4
191
5
192
6
193
194
195
196
197
Puntos singulares
Un punto singular z
0
de una funcin f (z) es un punto donde
f (z) no es analtica.
Singularidad aislada
Singularidad no aislada
2
) 2 (
1
) (

=
z z
z f
2 , 0
0
= z
) / sin( / 1 ) ( z z f t =
0
, , , 1
0
4
1
3
1
2
1
0
=
=
z
z
aisladas
no aislada
3.10 Residuos
198
Supongamos que z = z
0
es una singularidad aislada de f(z) y que su
serie de Laurent vlida para 0 < |z z
0
| < R es:


=

=

+ =
1
0
0
0
) (
) ( ) (
k
k
k
k
k
k
z z
b
z z a z f
Parte principal
Parte principal (Recordatorio)
Nota: Observa que el desarrollo tiene como centro
al punto singular (por eso es vlido en 0 < |z z
0
| < R).
199
Singularidades aisladas
Hay dos tipos de singularidades aisladas: polos de orden m y
esenciales. En ambos casos podemos desarrollar la funcin f(z) en serie
de Laurent con centro en la singularidad z
0
y la serie converger para
0 < |z-z
0
| < R.
Si z
0
es un polo de orden m:
Si z
0
es un singularidad esencial:
m
m
z z
b
z z
b
z z
b
z f
) ( ) (
) (
0
2
0
2
0
1

+ +

+ =
+

+ =
2
0
2
0
1
) (
) (
z z
b
z z
b
z f
La serie de Laurent se para en la m-sima potencia negativa
La serie de Laurent es infinita en potencias negativas
El centro z
0
es un
punto singular.
200
Clasificacin de las singularidades aisladas
(i) Si la parte principal es cero, z = z
0
se denomina singularidad evitable.
(ii) Si la parte principal contiene un nmero finito de trminos, entonces
z = z
0
se denomina polo. Si el ltimo coeficiente es b
m
, m > 1,
entonces decimos que es un polo de orden m. Un polo de orden 1 se
llama polo simple.
(iii) Si la parte principal contiene infinitos trminos, z = z
0
se denomina
singularidad esencial.
201
Ejemplos
Clasificar la singularidad de la funcin
z
z f
1
) ( =
La serie de Laurent con centro z
0
= 0 es
simplemente el trmino 1/z , vlida para
0 < |z|< . z
0
= 0 es un polo simple.
1
1
) 1 (
1
) (
3

=
z z
z f
La serie de Laurent con centro z
0
=1 est formada
simplemente por los dos trminos ,
vlidos para 0 < |z-1| < . z
0
=1 Es un polo de orden 3.
3
) 1 (
1
1
1

+
z z
Clasificar la singularidad de la funcin
202
Ejemplos
Clasificar la singularidad de la funcin
4
sinh
) (
z
z
z f =
z
0
= 0 es un polo de orden 3.
0<|z|<

! 7 ! 5 ! 3
1 1 sinh
) (
3
3 4
z z
z z z
z
z f + + + = =
Clasificar la singularidad de la funcin
) /( 1
) (
i z
e z f
+
=
+
+
+
+
+
+
+ =
3 2
) (
1
! 3
1
) (
1
! 2
1 1
1 ) (
i z i z i z
z f

! 7 ! 5 ! 3
sinh
7 5 3
z z z
z z + + + =
z
0
= -i es una singularidad esencial.
+ + + + =
! 3 ! 2
1
3 2
z z
z e
z
0<|z+i|<
203
Residuos
El residuo de una funcin f(z) en z = z
0
es el coeficiente del trmino
1/(z-z
0
) en la expansin en serie de Laurent de f(z): el coeficiente b
1
.

+
+ + + + =
4
0
4
3
0
3
2
0
2
0
1
3
0 3
2
0 2 0 1 0
) ( ) ( ) (
) ( ) ( ) ( ) (
z z
b
z z
b
z z
b
z z
b
z z a z z a z z a a z f
1 0
) ), ( ( Res ) ( Res
0
b z z f z f
z z
=
=
El residuo de f(z) en z = z
0
se denota como:
+ + + +
=
+
+
8 4 2
1 1 1
2 3
3 2
2
2
2
z z
z z
z z
z
1
1
= b
Ejemplo:
204
Porqu es importante el residuo?
Para f (z) analtica dentro de un anillo, tenemos:

+
+ + + + =
4
0
4
3
0
3
2
0
2
0
1
3
0 3
2
0 2 0 1 0
) ( ) ( ) (
) ( ) ( ) ( ) (
z z
b
z z
b
z z
b
z z
b
z z a z z a z z a a z f
} }

+
=

=
C
n
n
C
n
n
dz z z z f
i
b dz
z z
z f
i
a
1
0
1
0
) )( (
2
1
,
) (
) (
2
1
t t
As:
1
2 ) ( ib dz z f
C
t =
}
C
0
z
Nos permite calcular integrales ...
n = 1
205
Ejemplo 1
i ib dz
z
C
t t 2 2
1
1
1
= =

}
Integrar la funcin en sentido positivo para |z |=2.
z 1
1

>
< + + + +
=
1
1 1 1
1 1
1
1
3 2
3 2
z
z z z
z z z z
z

Observemos que por la frmula integral de Cauchy:

i ig dz
z
z g i dz
z z
z g
C C
t t t 2 ) 1 ( 2
1
1
) ( 2
) (
0
0
= =

} }
punto
singular
z = 1
2 = z
centro
206
i ib dz
z
C
t t 2 2
1
1
1
= =

}
Tomemos como centro z
0
=1
< <

=
1 0
,
1
1
1
1
) (
z
z z
z f
centro z
0
=1
punto
singular
2 = z
La serie de Laurent posee un slo trmino.
como antes.
Why did the mathematician name his dog "Cauchy?"
Because he left a residue at every pole.
207
i ib dz
z z
z
C
t t 2 2
2 3
3 2
1
2
= =
+
+
}
Ejemplo 2: Integrar la funcin en sentido positivo
para |z|=3/2.
Por la Frmula Integral de Cauchy:
i ig dz
z
dz
z
z g i dz
z z
z g
C C C
t t t 2 ) 1 ( 2
1
1
2
1
) ( 2
) (
0
0
= =

} } }
2 3
3 2
2
+
+
z z
z

< <
< < + + + +
< + + +
=
+
+
z
z z z z
z
z z
z z
z z z
z z
z
2
9 5 3 2
2 1
8 4 2
1 1 1
1
8
9
4
5
2
3
2 3
3 2
4 3 2
2
2
2
2

0
2 / 3 = z
208
De dnde viene el nombre de residuo?
_ _
0
0 1
0
0 1
) (
1
2
1
) (
2
1
) (
) (
2
1
) (
2
1
) ( Res
0
}

}
}

}

+
=
)
`

+
=

=
=
C
n
o
n n
n
C
n
o n
C
n n
n
o
n
n
o n
C
z z
dz
z z
b
i
dz z z a
i
dz
z z
b
z z a
i
dz z f
i
z f
t t
t
t
para todo n, excepto
para n = 1, que vale:
De aqu el nombre de residuo.
C
0
z
i t 2
1 1
2
2
1
) ( Res
0
b i b
i
z f
z z
= =
=
t
t
209
Es preciso hallar la serie de Laurent de f(z) para calcular la integral?
No, si los puntos singulares z
0
son polos.
En esos casos hay formas rpidas y simples de hallar el residuo.
Veremos:
1. Cmo hallar el residuo para un polo simple, z
0
=1, como
en el caso
2. Cmo hallar el residuo para un polo de orden 2, z
0
=1,
como en el caso
3. Cmo hallar el residuo para un polo de cualquier orden ...
1
sin 4
z
z
7
) 3 (
2
i z
e
z
+
2
) 1 (
3 3

z
z
210
Frmula para hallar el residuo para un polo simple
Si f (z) tiene un polo simple en z
0
, la serie de Laurent es:
( ) R z z
z z
b
z z a a z f < <

+ + + =
0
0
1
0 1 0
0 ) ( ) (
1
2
0 1 0 0 0
) ( ) ( ) ( ) ( b z z a z z a z f z z + + + =
1 0
) ( ) ( lim
0
b z f z z
z z
=

) ( ) ( lim ) ( Res
0
0 0
z f z z z f
z z z z
=
=
Situamos el centro en
el punto singular
211
Ejemplo
Hallar el residuo de en z=i
4 ) (
) 2 (
lim
) 1 )( (
) 2 )( (
lim
) ( ) ( lim ) ( Res
2 2
0
0 0
i
i z
i z
z i z
i z i z
z f z z z f
i z i z
z z z z
=
+

=
+ +

=
=

=
) 1 )( (
2
) (
2
+ +

=
z i z
i z
z f
Comprobmoslo mediante la serie de Laurent:
( )
( )

2
3
3
2
2
2 2 2
2 2 2
) (
2
1
) (
16
5
4
1 1
4
) 2 (
) (
4
) 2 (
) (
3
2
) (
2 1
) 2 )( (
) ( 2
) 2 /( ) ( 1
1
) 2 )( (
) ( 2
) ( 2
1 ) ( 2
) (
1 ) ( 2
) 1 )( (
2
) (
i z i z
i z
i
i
i z
i
i z
i
i z
i i z
i i z
i i z i i z
i i z
i z i i z
i i z
i z i z
i i z
z i z
i z
z f
+

=
)
`

+
=
)
`

+
+
=
)
`

+
+
=
)
`

+
+
=
+ +

=
( ) 2 0 < < i z
i
i
212
Frmula para hallar el residuo para un polo de orden 2
Si f (z) tiene un polo de orden 2 en z
0
, la serie de Laurent es:
2
0
2
0
1
0 1 0
) (
) ( ) (
z z
b
z z
b
z z a a z f

+ + + =
| | ) ( ) ( lim ) ( Res
2
0
0 0
z f z z
dz
d
z f
z z z z
=
=
2 0 1
3
0 1
2
0 0
2
0
) ( ) ( ) ( ) ( ) ( b z z b z z a z z a z f z z + + + + =
derivando obtenemos:
| |
1
2
0 1 0 0
2
0
) ( 3 ) ( 2 ) ( ) ( b z z a z z a z f z z
dz
d
+ + + =
| |
1
2
0
) ( ) ( lim
0
b z f z z
dz
d
z z
=

213
Ejemplo
Hallar el residuo de en z=1
| |
9
2
) 2 (
2
lim
2
lim
) ( ) ( lim ) ( Res
2
1 1
2
0
0 0
=
(

+
=
(

+
=
=

=
z z
z
dz
d
z f z z
dz
d
z f
z z
z z z z
2
) 1 )( 2 (
) (
+
=
z z
z
z f

=
)
`

+
=
)
`

+
=
)
`

+
=
)
`

+
+
=
+
=
81
) 1 ( 2
27
2
) 1 ( 9
2
) 1 ( 3
1
3
) 1 (
3
1
) 1 ( 3
1
) 1 (
1
3
1 ) 1 (
3
) 1 (
3
1
1
) 1 ( 3
1 ) 1 (
) 3 / ) 1 ( ( 1
1
) 1 ( 3
1 ) 1 (
) 1 ( 3
1
) 1 (
1 ) 1 (
) 1 )( 2 (
) (
2
3 2 2 2
2
2
2 2 2
z
z z
z
z z
z z z
z
z
z z
z
z z
z
z z
z
z f
( ) 3 1 0 < < z
Comprobarlo a travs de la serie de Laurent:
2 1
214
Ejemplo: f(z) = 1/(z 1)
2
(z 3) tiene un polo simple en z = 3
y un polo de orden 2 en z = 1. Encontrar los residuos:
4
1
) 3 (
1
lim
3
1
lim ) ( ) 1 ( lim ) 1 ), ( ( s Re
4
1
) 1 (
1
lim ) ( ) 3 ( lim ) 3 ), ( ( s Re
2
1
1
2
1
2
3 3
=

=

= =
=

= =

z
z dz
d
z f z
dz
d
z f
z
z f z z f
z
z z
z z
215
Frmula para el residuo para un polo de cualquier orden
Si f (z) tiene un polo de orden m en z
0
, la serie de Laurent es:
m
m
z z
b
z z
b
z z
b
z z a a z f
) ( ) (
) ( ) (
0
2
0
2
0
1
0 1 0

+ +

+ + + =
| | ) ( ) ( lim
)! 1 (
1
) ( Res
0
) 1 (
) 1 (
0 0
z f z z
dz
d
m
z f
m
m
m
z z z z

=
m
m
m m m m
b z z b
z z b z z a z z a z f z z
+ + +
+ + + =

2
0 2
1
0 1
1
0 1 0 0 0
) (
) ( ) ( ) ( ) ( ) (
Derivamos m-1 veces.
Cuando zz
0
obtenemos: | |
1 0
) 1 (
) 1 (
)! 1 ( ) ( ) ( lim
0
b m z f z z
dz
d
m
m
m
z z
=

216
Un punto singular aislado z
0
de una funcin f es
un polo de orden m si y solo si f(z) puede ser escrito
en la forma:
donde |(z) es analtica y no cero en z
0
. Entonces:
m
z z
z
z f
) (
) (
) (
0

=
|
1 si ) ( ) ( Res
0
0
= =
=
m z z f
z z
|
2 si
)! 1 (
) (
) ( Res
0
) 1 (
0
>

=

=
m
m
z
z f
m
z z
|
De otra manera...
y
217
Demostracin:

+
+ + + =
m n
n
n
m
m
z z
n
z
z z
m
z
z z
z
z z
z
z z
) (
!
) (
) (
)! 1 (
) (
...
) (
! 2
) ( ' '
) (
! 1
) ( '
) ( ) (
0
0
) (
1
0
0
) 1 (
2
0
0
0
0
0
| |
| |
| |
)! 1 (
) (
) ( Res
0
) 1 (
1
z z
0
= =

=
m
z
b z f
m
|

+
+

=
m n
m n
n m
m m m
z z
n
z
z z
m z
z z
z
z z
z
z z
z
z f
) (
!
) ( )! 1 /( ) (
...
) (
! 2 / ) ( ' '
) (
! 1 / ) ( '
) (
) (
) (
0
0
) (
0
0
) 1 (
2
0
0
1
0
0
0
0
| |
| | |

m
z z
z
z f
) (
) (
) (
0

=
|
) (
f(z) tiene un polo de orden m en z=z
0
218
) (:
Si f(z) tiene un polo de orden m en z=z
0
entonces tiene una
representacin en serie de Laurent en la regin| z-z
0
|<R:
m
m
n
n
n
z z
b
z z
b
z z
b
z z
b
z z a z f
) ( ) ( ) (
) ( ) (
0
3
0
3
2
0
2
0
1
0
0

+ +

+ =

=
=
=
0
0 0
cuando
cuando ) ( ) (
) (
z z b
z z z f z z
z
m
m
|

=
+

+ + + + =
0
0
1
0 1 0 1
) ( ) ( ) ( ) (
n
n m
n
m m
m m
z z a z z b z z b b z |
219
Demostracin del teorema del residuo
Rodeemos todos los puntos singulares
con los crculos C
1
, C
2
, . C
k
.
f (z) es analtica en C y aqu dentro
excepto en los k puntos singulares.
Por el teorema integral de Cauchy para regiones mltiplemente
conexas:
} } } }
+ + + =
k
C C C C
dz z f dz z f dz z f dz z f ) ( ) ( ) ( ) (
2 1

Las integrales a lo largo de cada uno de esos pequeos crculos son el

residuo en cada punto singular dentro del crculo, por tanto:

}
=
=
=
k
i
z z
C
z f i dz z f
i
1
) ( Res 2 ) ( t
C
C
1
C
2
C
k
220
Ejemplo
Integrar la funcin sobre
C
z z
z

+
2
2
)
`

+
+

+
=

+
= =
}
z z
z
z z
z
i dz
z z
z
z z
C
2
1
2
0
2
2
Res
2
Res 2
2
t
2 = z
3
2
lim
2
Res
2
1
2
lim
2
Res
1
2
1
0
2
0
=
+
=

+
=

+
=

+
=
=
z
z
z z
z
z
z
z z
z
z z
z z
i i dz
z z
z
C
t t 2 ) 3 2 ( 2
2
2
= + =

}
1
0
221
( )
}

dz
z z
2 2
z
1
e
Calcular ,donde es el contorno
indicado en la figura.
-1
0 1
( )
( ) ( ) ( ) | |
( )
( ) e z z
e
f
f f f i dz
z z
z
z
z
doble polo z
simples polos z
z
z
2
1
1
1 , Res
1 , Res 0 , Res 2 1 , Res 2
1
e
1 1
2 0
1 1
: simples cerrados contornos de Nmero
0
1
: aislados singulares Puntos
1
2
2 2
z
=
|
|
.
|

\
|

=
+ =

=
=
=
=
=
=
}

t
Ejercicio
Solucin