1

5. Integracin
2
3
0
2
Falacias, falacias, ...
t
t
t
t
t
t
t
t
= =
= =
= =
= =

2
) 2 / 1 ( 2
2
2
) 4 / 1 ( 2
4
2
) 2 / 1 ( 2
2
2
1 2
1
1
1
3
2
1
n
n
n
L
L
L
L
.
0
1
! ! 2 1=
! ! lim 2 t = =

n
n
L
4
Integrales de lnea, de camino o de contorno reales
. cuando 0 donde
) , ( lim ) , (
1
A
A =

}
=

n s
s y x F ds y x F
k
k k
n
k
k
n
B
A
| |

A = A
k k
s s
1
x A

A
1
s

A
2
s

A
n
s
A
B
) , (
1 1
y x
) , (
2 2
y x
) , (
n n
y x
x
y
5
y
x
2
1 x y =
0
) 0 , 1 ( = B
) 1 , 0 ( = A
xy y x F = ) , (
...
4
5
) 1 ( 4
4 5
1
... 4 1 ) 1 (
) , (
0
1
0
1
1
0
2 2
) 0 , 1 (
) 1 , 0 (
}
}
}
} }
=
=

= +
= =
dy y y
dy
y
y
y y
dx x x x
xyds ds y x F
B
A
dy
y
y
dy
dy
dx
ds
dx x dx
dx
dy
ds
) 1 ( 4
4 5
1
4 1 1
2
2
2

=
|
|
.
|

\
|
+ =
+ =
|
.
|

\
|
+ =
El signo debe tomarse de modo que ds>0 para los valores x e y en juego.
En este caso +.
Otra manera:
2
1 x y =
Camino
6
k k
n
k
k
n
B
A
s y x F ds y x F A =

}
=

) , ( lim ) , (
1
dx
dy
k
x A
k
y A
=
=
) ( F
1 ) ( F
x,y
x,y
Interpretacin fsica de las integrales de lnea:
Podemos definir las integrales con dx y dy:
}
B
A
ds
}
B
A
ds
Donde los incrementos de x e y son las proyecciones de los
incrementos de s en el eje x e y respectivamente (observa que
los incrementos de x e y pueden ser positivos o negativos).
7
y
x
2
1 x y =
0
) 0 , 1 ( = B
) 1 , 0 ( = A
xy y x F = ) , (
4
1
4 2
) 1 (
) , (
1
0
4 2
1
0
2
) 0 , 1 (
) 1 , 0 (
=
(

=
= =
}
} }
x x
dx x x
xydx dx y x F
B
A
15
4
1 ) , (
0
1
) 0 , 1 (
) 1 , 0 (
= = =
} } }
dy y y xydy dy y x F
B
A
y x = 1
Ejercicio: recalcular las
tres integrales recorriendo el
camino en sentido inverso.
Negativo?
Ejemplo:
Camino:
2
1 x y =
Camino
8
y
x
2
1 x y =
0
) 0 , 1 ( = B
) 1 , 0 ( = A
xy y x F = ) , (
dx
dx
dy
y x F dy y x F
B
A
B
A
} }
= ) , ( ) , (
15
4
) 2 )( 1 (
1
0
2
) 0 , 1 (
) 1 , 0 (
) 0 , 1 (
) 1 , 0 (
=
= =
}
} }
dx x x x
dx
dx
dy
xy xydy
Calculemos de nuevo
de otra forma:
Repetir para
dx y dx/dy.
9
La integral depende del sentido en los que recorramos el camino C
en los casos de dx y dy:
dy y x F dy y x F
dx y x F dx y x F
A
B
B
A
A
B
B
A
} }
} }
=
=
) , ( ) , (
) , ( ) , (
Los incrementos de x e y cambian de signo cuando cambia el
sentido de los vectores incremento de s. Pero el diferencial
de s mantiene su signo independientemente del sentido, pues
tomamos el mdulo del vector:
| | | |

A = A = A
k k k
s s s
ds y x F ds y x F
A
B
B
A
} }
= ) , ( ) , (
10
Integrales de lnea, de camino o de contorno en el plano complejo
. 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
z A
A
B
1
z
2
z
n
z
x
y
2
z A
n
z A
1
x A
n
y A
11
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.
12
| |
}
} }
+
= =
) (
) (
) (
) (
)] ( ' ) ( ' )[ (
) ( ) (
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 ) ( ) ( ) (
+ =
13
. 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:
14
Evala
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
+ = + + = +
+ = + = + = +
}
} } } }
15
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
Examen
SEPTIEMBRE 02/03: P-1
16
17
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
18
Decimos 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
Decimos que 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:
19
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
20
Integrar la funcin
a lo largo de la circunferencia: |z| = r.
z z f / 1 ) ( =
Ejemplo
Introducimos un parmetro t
variando entre
t 2 0 s st
y
x
r
C
| |
( )
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 ) ( : + =
Ejercicio: repetir con esta forma.
i
z
dz
C
t 2 =
}
21
22
Integrar la funcin
a lo largo del cuadrado
z z f / 1 ) ( =
Ejemplo
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
23
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)
24
z z f / 1 ) ( =
Ejemplo: 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
25
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.
26
27
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:
28
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
29
}
=
C
dz z f 0 ) (
C
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:
30
Para demostrar el teorema de Cauchy nos ser necesario el
Teorema de Green (1828)
George Green (1793-1841).
Resultado de sus trabajos
en electromagnetismo.
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
= + ) , ( ) , (
31
{ }
. ) , ( ) , (
) , ( ) , (
) , ( ) , (
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
0
x
1
x
1
y
0
y
1
C
2
C
3
C
4
C
Supongamos que la regin R es un
rectngulo como muestra la figura.
= =
} }
0 ) , ( ; 0 ) , (
4 2
C C
dx y x P dx y x P
Puesto que sobre los caminos C
2
y C
4
no hay variacin en x:
32
} } }
} } }}
= +
+ + =
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.
33
... ) ( ) ( ) (
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...
34
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:
35
36
37
}
=
C
dz z f 0 ) (
Teorema integral de Cauchy-Goursat
Si f (z) es analtica en todos los puntos dentro y
sobre un contorno cerrado 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).
Edouard Jean-Baptiste Goursat
(1838 1936)
38
?
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
2
C
1
C
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
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
39
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.
40
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 ) ( ) (
41
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
42
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
43
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
44
45
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:
dz z f dz z f dz z f dz z f
dz z f
ABCA
} } } }
}
A A A A
+ + +
=
4 3 2 1
) ( ) ( ) ( ) (
) (
E = (A+B)/2; F = (B+C)/2; D=(C+A)/2
46
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
47
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.
Y puesto 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
48

} } }
}
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
_
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
49
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
50
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:
51
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.

52
_
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
53
}

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
54
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
55

_

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
56
}
} }

+ + + =
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:
57
}


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
58
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
59
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
60
61
Ejercicio
62
63
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
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) ...
Sentido negativo
64
0 ) (
2 1
}
+ + +
=
BA C AB C
dz z f
1
C
2
C
A
B
} }
} }
+
+ + =
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
Sentido positivo
Nota: Observa que los sentidos en que se
recorren los circuitos en este dibujo y el
anterior, no son los mismos...

65
} }
=
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)
66
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.
1
L
2
L
* *
C
*
C
1
2
3
4
5
6
7
8
Inicio
y
x
Ahora f (z) es analtica sobre y dentro
de C
*
y C
**
. Por el teorema Integral de Cauchy:
67
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
68
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:
69
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.
1
C
2
C
r
i dz
z
C
t 2
1
1
=
}
z
1
es analtica
aqu
Ejemplo
70
}
+
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
71
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:


72
2
C
1
C
D
3
C
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:


} }
} }
=
=
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
73
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
74
y
x
C
i + 1
0
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
Independencia del camino de integracin
75
z z f = ) (
y
x
i + 1
0
2
C
1
C
( ) 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
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
:
1
76
1 =
}
C
dz z
y
x
i + 1
0
i i dz z
C
+ =
|
.
|

\
|
+ + =
}
1
2
1
2
1
El valor de la
integral entre dos
puntos depende
siempre del camino?

77
y
x
C
i + 1
0
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:
78
z z f = ) (
y
x
i + 1
0
2
C
1
C
( ) 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
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
:
1
79
i zdz
C
=
}
y
x
i + 1
0
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)= ?
z
80
Integrar la funcin a lo largo del camino C
uniendo 2 y 1+2i tal como muestra la figura
2
) ( z z f =
Otro ejemplo
( ) 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
81
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 =
Otro ejemplo
( ) 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
= =
+ + =
}
} }
82
3 / ) 2 19 (
2
i dz z
C
+ =
}
y
x
i 2 1+
0
3 / ) 2 19 (
2
i dz z
C
+ =
}
El valor de la integral
a lo largo de los dos
caminos es el mismo.
2
Coincidencia?
83
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
} }
} }
} }
=
=
= +
84
Recuerda el potencial gravitatorio:
La energa potencial gravitatoria = m g h
es independiente del camino...
masa m
altura h
85
Ejemplo: f(z)=|z|
2
2
| | ) ( z z f =
x
1
i
1+i
L
0
L
1
L
2
y
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
= + = + = + =
= = =
+
= + + = + + =
} }
} }
} }
Observa que L
0
= L
1
+L
2
86
Ejemplo: f(z)=z
2
2
) ( z z f =
x
1
i
1+i
L
0
L
1
L
2
y
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
Observa que L
0
=L
1
+L
2
87
y
x
1
4 4
= + y x
0
1
i
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
= =
= =
}
} } }
2
C
1
C
88
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.
89
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
90
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:
91
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)
92
. 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
+ = =
=
93
94
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?
95
y
x
0
1
i
1
C
1
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:
Corte
Punto de
ramificacin
2 / 3 arg 2 / - con
arg | | log log
t t < <
+ =
z
z i z z
96
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.
97
98
99
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
C
f (z) es analtica en todo punto
excepto en z = 0
Pero, qu sucede si el contorno encierra un punto singular?
C
? =
}
C
z
dz
100
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
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
101
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
102
Ejemplo
}

C
dz
z
z
2
2
Evaluar la integral donde C es
2
0
= z
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
= =

}
f (z) es analtica en todo punto de
modo que C puede ser cualquier
contorno en el plano complejo
conteniendo el punto z = 2.
103
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:
104
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?
105
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
} }
} }

+
=

106
} } }
= = =

=
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
.
107
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
=

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

}
Ejemplos
Evaluar las siguientes integrales:
}

C
i z
dz
(1)
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 =

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

}
}
+
C
z
dz
1
2
(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
C
i
i +
D
dz
i z
i z
i z i z
dz
z
dz
C C C
} } }
+

=
+
=
+
1
) )( ( 1
2
110
t =
+

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

}
i z =
0
C
i
i +
D
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
111
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
112
Otro ejemplo
) ( 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
113
}

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
114
}

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
115
} } }
+

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
116
117
118
119
120
121
( )
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 =

}
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.

122
( )
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:
Partamos de la frmula integral de Cauchy:
}

=
C
dz
z z
z f
i
z f
0
0
) (
2
1
) (
t
Demostracin de la generalizacin de
la frmula integral de Cauchy
( )
}
}
}

=
|
|
.
|

\
|

=
(

=
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
Usar el mismo
procedimiento para
demostrar por induccin:
123
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.

124
) ( 2
) (
) (
0
2
0
z f i dz
z z
z f
C
'
=

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

t t
t
t
= =
'
=
'
0
0
) (
) (
e z f
e z f
z
D
i
z
dz e
C
z
2
2
2t
t
=
}
125
) (
2
2
) (
) (
0
3
0
z f
i
dz
z z
z f
C
' '
=

}
t
Ejemplo
Evaluar la integral
( )
}

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

}
126
Calcular

donde C es la circunferencia con sentido positivo.
( )
}
+
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
Examen
JUNIO 02/03: P-1
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
Resumen:
0 ) ( =
}
C
dz z f con f (z) analtica dentro y sobre C.
(1)
) ( 2
) (
0
z if dz
z z
z f
C
o
t =

}
con f (z) analtica dentro y sobre C
(3)
( Teorema integral de Cauchy-Goursat )
(Frmula integral de Cauchy )
con f (z) analtica
dentro y sobre C

(4)
( Frmula para derivadas )
(2)
) ( ) ( ) (
0 1
1
0
z F z F dz z f
z
z
=
}
donde ) (z f
dz
dF
=
F (z) analtica en un dominio simplemente conexo D,
con derivada dF/dz = f(z) y z
0
y z
1
en D.
( )
0
!
2 ) (
1
0
z
n
n
C
n
dz
f d
n
i
dz
z z
z f t
=

} +
143
Ejercicios: Demostrar

(1) El teorema de Morera:
(2) La desigualdad de Cauchy:
Si f (z) es continua en un dominio simplemente conexo D y si 0 ) ( =
}
C
dz z f
para cualquier camino cerrado en D, entonces f (z) es analtica en D
n
n
r
M n
z f
!
) (
0
) (
s
0
z
r
C M z f en ) ( s
C
(Probarlo usando la frmula para las derivadas de una funcin analtica
y la desigualdad ML)
(3) El teorema de Liouville
Si una funcin entera f (z) est acotada en valor absoluto para todo z, entonces
f (z) debe ser constante probarlo usando la desigualdad de Cauchy.
144
145
Desigualdad de Cauchy
Si tomamos el contorno circular C: |z z
0
| = r,
utilizando la generalizacin de la frmula integral
de Cauchy y la desigualdad ML:






donde |f(z)| s M para todos los puntos de C.
n n
C
n
n
r
M n
r
r
M
n
z d
z z
z f n
z f
!
2
1
2
!
) (
) (
2
!
| ) ( |
1
1
0
0
) (
= s

=
+
+
}
t
t
t
146
147
Haciendo n = 1 en la desigualdad de Cauchy, tenemos que
|f (z
0
)| s M/r. Tomando r arbitrariamente largo, podemos hacer
que |f (z
0
)| sea tan pequeo como queramos: |f (z
0
)| = 0. De
modo que f es una funcin constante.
Teorema de Liouville
148
149
150
151
Ejercicio. Sea la funcin entera tal que:
Con la ayuda del teorema de Liouville obtener la expresin general de f(z).
C z e z f
z
e < , ) (
Respuesta.
C z
e
z f
C z e z f
z
z
e < e < , 1
) (
, ) (
Por el teorema de Liouville:
1 con , .
) (
< = = cte
e
z f
z
Por tanto
z
e z f = ) (
153
154
155
156