Matemtica D

MATEMTICA D
Mdulo I: Anlisis de Variable Compleja

Unidad 3 Integracin Compleja

Mag. Mara Ins Baragatti

Integral de una funcin de variable real a valores complejos

Sea z(t) = u(t) + i v(t) una funcin de variable real t a valores complejos, con u(t) y v(t)
integrables en [a,b] , se define la integral de z(t) en [a,b] como:

b b b
a
z(t ) dt = u(t ) dt + i v(t ) dt
a a

Ejemplos
(4t + i3t )dt =
2 2 2 2 2
1- 2
4t dt + i 3t 2 dt = 2t 2 + it 3 = 6 + i9
1 1 1 1 1

( 1) n 1
0 (cost + isen t ) dt = 0 [cos (nt) + i sen (nt)] dt =
sen(nt ) cos(nt )
i =0i
n
2-
n 0 n 0 n

Actividad 1:

a) Si z1(t) = u1(t) + i v1(t) y z2(t) = u2(t) + i v2(t) son integrables en [a,b] y y son
constantes complejas demostrar que :

[ z (t ) + z 2 (t)] dt =
b b b

a
1 a
z 1 (t ) dt + z 2 (t) dt (propiedad de linealidad)
a

b) Si z(t) = u(t) + i v(t) es integrable en [a,b] , demostrar las siguientes propiedades:

b1) Re z(t ) dt = Re[z(t )] dt b2) Im z(t ) dt = Im[z(t )] dt

b b b b

a a a a
b b
b3)
a
z(t ) dt = z(t) dt
a

1
Mdulo I - Unidad 3
 Matemtica D

Actividad 2:
b b
Si z(t) es integrable en [a,b] entonces vale la siguiente desigualdad
a
z(t ) dt z(t ) dt
a

A continuacin se bosqueja la demostracin de esta propiedad y se deja a cargo del alumno justificar
algunos de los pasos.
b
Supongamos que el resultado de la integral a
z(t ) dt es un complejo de mdulo r0 y argumento
b b b
0, , es decir z(t ) dt = r0 e i0 z(t ) dt = r0 (#) y e i 0 z(t ) dt = r0 (##)
a a a

Teniendo en cuenta (#) y (##) y otras propiedades ya mencionadas, justificar todas las igualdades
y desigualdades que se indican a continuacin:

a
b
z( t ) dt =
(1)
a
b
e i 0 z(t ) dt = Re e i0 z( t ) dt =
( 2) a
b

( 3 )
a
b
[ ]
Re e i0 z(t ) dt
(4)
b

a
e i0 z(t ) dt =
(5) a
b

z(t) dt
(1):por (#) y (##)
(2):
(3):
(4):
(5):

Actividad 3:
Si z(t) es continua en [a,b] y si Z(t) es una primitiva de z(t), es decir Z(t) = z(t) , entonces
b
a
z(t ) dt = Z(b ) Z(a )

Usar en todos los casos la definicin de integral dada ms arriba.

Esta propiedad , como en el caso de funciones reales, se denomina Regla de Barrow.

Ejemplo

Conociendo la regla de Barrow para funciones de variable real a valores complejos, podemos
hallar la integral propuesta en el ejemplo 2 del siguiente modo:

( 1)n 1 = 0

e int si n es par
0 (cost + isen t )

dt = (e ) = e dt = =
n it n int

0 0 in 0
in 2i/n si n es impar

2
Mdulo I - Unidad 3
 Matemtica D

Actividad 4:

a) Si es un arco de curva suave de ecuacin z(t) = x(t) + i y(t) con a t b, calcular |z' (t)| y
b
demostrar que | dz |=
a
z' (t ) dt = longitud del arco
b) Si M es una constante positiva y |z(t)| M para a t b, demostrar que
b
a
z(t ) dt M (b a)

Integral de una funcin de variable compleja sobre una curva

Sea un arco de curva suave de ecuacin paramtrica z(t) = x(t) + i y(t) con a t b y
f(z) una funcin continua sobre , se define la integral de f sobre el arco como:
b b

f(z) dz = f ( z(t )) d[z(t)] = f ( z(t )) z' (t) dt
a a

Ejemplo
Para calcular la integral [z - Re(z) - i ] dz ,

siendo el segmento de ecuacin paramtrica
z(t) = 2t + i (4t 1) con -1 t 2 usamos la definicin de integral para transformarla en una
integral de una funcin de variable real a valores complejos como se muestra a continuacin:

[z - Re(z) - i ] dz = [z(t) - Re(z(t)) - i] z' (t) dt = [2t i(4t 1) 2t i ] (2 + i 4) dt =

2 2

1 -1
2 2
2 2 2 2
= - i4t ( 2 + 4i ) dt = (16t 8it ) dt = = 8t i 4t = 24 -12 i
-1 1 1 1

Propiedades

1- Propiedad de linealidad: Si f(z) y g(z) son dos funciones integrables sobre la curva y
y son dos constantes complejas entonces

[ f(z) + g(z)] dz =
f(z) dz +
g(z) dz

2- Mdulo de una integral : el mdulo de una integral satisface la siguiente desigualdad:

f(z) dz f(z) dz

3
Mdulo I - Unidad 3
 Matemtica D

Actividad 5:
Justificar las propiedades 1- y 2- anteriores usando la definicin y las propiedades de las
integrales de funciones de variable real a valores complejos.

Ejemplos

e 2iz dz
C z 2 2z + 2 dz = 0 siendo C la semicircunferencia z = R e , 0 t
it
Demostrar que lm
R

Para poder demostrar lo solicitado tratamos de acotar el mdulo de la integral usando la

propiedad 2 y recordando que el mdulo de un cociente es igual al cociente de los mdulos:

e 2iz dz e 2 iz e 2iz
C z 2 2z + 2 dz
C
dz = dz = (#)
C z 2 2z + 2 C
z 2z + 2
2

R
A continuacin acotamos el numerador y el denominador

|e2iz| = |e2ix e-2y| = |e2ix| |e-2y| = 1 . e-2y = e-2y 1 pues y 0

Recordar que:
2
z 2z + 2 z 2z 2 = z 2 z 2 = R 2R 2 ,
2 2 2
|a b | | |a | - | b| |

e 2iz 1
por lo tanto y usando esta acotacin del integrando podemos
z 2z + 2
2
R 2R 2
2

continuar con la integral como se muestra a continuacin:

1 1 R
(#) = dz = 12dz =
C
R 2R 2
2
R 2R 2
2 C
3 R 2R 2
2
longitud de C

e 2iz dz R
Hemos podido demostrar que 0 dz 2
C z 2z + 2
R 2R 2
2

Como en esta ltima fraccin el grado del denominador es mayor que el grado del numerador ,
tomando lmite para R en esta ltima desigualdad y usando el teorema del sandwich ,
podemos afirmar que se cumple lo pedido.

4
Mdulo I - Unidad 3
 Matemtica D

Relacin entre la integral de una funcin de variable compleja y la integral

de lnea de funciones reales
Considerando z = x + i y , f(z) = u(x,y) + i v(x,y) y dz = dx + i dy , la integral de f(z) sobre
la curva puede expresarse como un complejo cuya parte real e imaginaria son integrales de lnea
de funciones de dos variables reales como se muestra a continuacin:

f(z) dz = [u(x, y) + i v(x, y)] (dx + i dy) = [u(x, y) dx - v(x, y) dy ] + i [v( x, y ) dx + u(x, y) dy ] =

= [u(x, y) dx - v(x, y) dy ] + i [v(x, y )dx + u(x, y) dy ]

Propiedades (continuacin)

3- Cambio de orientacin de la curva: Si y - representan la misma curva pero recorrida

en sentidos contrarios entonces

f(z) dz =

f(z) dz

4- Propiedad aditiva de las curvas: Si 1 y 2 representan dos

curvas orientadas que tienen a lo sumo un nmero finito de puntos 1
2
en comn entonces:

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

Actividad 6:
Justificar las propiedades 3- y 4- anteriores teniendo en cuenta que las mismas propiedades son
vlidas en el campo real.

Ejemplos y
i

1- Calcular
Im(z) dz , siendo : x = y2 -1 desde i hasta -i -i
x

Si parametrizamos la curva tomando y = t , entonces el trozo de parbola que nos interesa tiene
ecuacin paramtrica z(t) = (t2 -1) + i t con -1 t 1 pero ha quedado mal orientada, por ello
la denominamos - y operamos como se muestra a continuacin :
5
Mdulo I - Unidad 3
 Matemtica D

t (2t + i ) dt = 4 / 3
1 1

Im(z) dz =

Im(z) dz = Im( z(t ))z' (t ) dt =
1 1

1
2- Calcular z
dz , siendo : | z | = 2 recorrida en sentido antihorario

Parametrizamos la curva, en este caso es una circunferencia de radio 2 : z(t) = 2 eit , 0 t 2

2
1 2 1 2 1 2 1 2 e 2it
dz = z' (t ) dt = 2ie it dt = = 0 = =0
it 2it
2ie dt ie dt i
z 0 0 0 2e it 2i 0
z(t ) 2e it

5- Independencia del camino

El concepto de independencia del camino ya fue estudiado con las integrales de lnea de variable
real, no obstante recordemos que:

Se dice que un conjunto abierto D es un dominio si para todo par de puntos de D existe una
curva contenida en D que los une.

Un dominio D es simplemente conexo si toda curva cerrada contenida en D encierra slo

puntos de D.

Por ejemplo observando los siguientes grficos, se puede decir que:

D1 es un dominio simplemente conexo,
D2 es un dominio pero no es simplemente conexo y
D = D3 D4 no es un dominio.

D3 D4
D2
D1

D = D3 D4

La integral f (z )dz es independiente del camino en un dominio D si para todo par de

puntos z1 y z2 del dominio D la integral toma siempre el mismo valor sobre cualquier curva
contenida en D que une z1 y z2

Luego de esta ltima definicin, la pregunta natural es: cmo saber si la integral de una
funcin de variable compleja es independiente del camino en un dominio D?
Para poder responder esta pregunta tenemos varias posibilidades que describimos a continuacin.

6
Mdulo I - Unidad 3
 Matemtica D

Teorema 1 : Condicin necesaria y suficiente para que la integral sea

independiente del camino
Sea f(z) continua en un dominio D. Una integral de lnea de f(z) es independiente del camino en
D la integral de f(z) sobre cualquier curva cerrada contenida en D vale cero.

Actividad 7:
Demostrar el teorema 1. (la demostracin es idntica al teorema similar visto en variable real).

Teorema 2 : Condicin suficiente para que la integral sea independiente del

camino - Regla de Barrow.

Si f(z) es continua en un dominio D y existe F(z) en D tal que F(z) = f(z) (como en la variable
real, decimos que F(z) es una primitiva de f(z)) y es una curva contenida en D que une z0 con
z1
z1 entonces


f ( z )dz = z0
f ( z ) dz = F(z 1 ) F( z 0 ) .

Como el resultado de la integral depende slo del punto inicial y del punto final de la curva,
podemos asegurar que: si f(z) es continua en D y existe una primitiva en D entonces la integral
es independiente del camino en D.

Actividad 8:
Demostrar el teorema anterior teniendo en cuenta :

Si la curva tiene ecuacin : z(t) = x(t) + i y(t) , con a t b , tal que z(a) = z0 , z(b) = z1
entonces proponemos justificar todas las igualdades que se indican a continuacin :
b b b
f (z)dz = f (z(t)) z'(t) dt = F'(z(t)) z'(t) dt = [F(z(t))]' dt =F(z(b)) F(z(a)) = F(z1 ) F(z 0 )
( 1) a ( 2) a ( 3) a ( 4) ( 5)

(1): .

(2):
(3): por regla de la cadena se sabe que [F(z(t))]= F(z(t)) z(t)
(4): como F(z(t)) es una funcin de variable real a valores complejos y F(z(t)) es una primitiva, puede
aplicarse la regla de Barrow
(5):

7
Mdulo I - Unidad 3
 Matemtica D

Ejemplos

1- Calcular
3z 2 dz , siendo el trozo de parbola y = 1 - x2 desde (-1,0) a (0,1)

Como f(z) = 3 z2 es continua en C y tiene primitiva F(z) = z3 , podemos aplicar el T. de

Barrow siendo z0 = (-1, 0) = -1 y z1 = (0,1) = i , por lo tanto:

3z 2 dz = F(i) F(-1) = i3 (-1)3 = -i + 1

1
2- Calcular
z
2
dz , siendo : | z | = 1

La funcin f(z) = 1/z2 es continua sobre la curva , pues es continua en C {0} , y F(z) = -
1/z es una primitiva, por lo tanto puede aplicarse el T. de Barrow y como la curva es cerrada
la integral vale 0 (cero), pues el punto inicial coincide con el punto final.

1
3- Calcular
z dz , siendo : | z | = 1

La funcin f(z) = 1/z es continua sobre la curva , pues es continua en el dominio D = C

{0}, pero en este dominio no es posible encontrar una funcin F(z) tal que F(z) = 1/z
(recordar que (Ln z)= 1/z salvo en los puntos del eje real negativo), por lo tanto no puede
aplicarse el T. de Barrow. Esta integral debe calcularse parametrizando la curva : z() = ei
con 0 2 , calculando z() = i ei y usando la definicin:

2 2
1 1
z
dz = 0 e i
i e i d = i
0
d = i2

Teorema 3 : Existencia de primitiva

Si f(z) = u(x,y) + i v(x,y) es continua en un dominio D y la integral de f(z) es independiente del

camino en D entonces existe F(z) en D tal que F(z) = f(z) (como en la integral real, se dice que
F(z) es una primitiva de f(z)) . Adems si z0 es un punto cualquiera de D se verifica que
d z
f (z *) dz * = f ( z )
dz z 0

Demostracin

8
Mdulo I - Unidad 3
 Matemtica D

Como la integral f ( z )dz es independiente del camino en D y sabemos que

f (z)dz = [u(x, y) dx - v(x, y) dy ] + i [v(x, y )dx + u(x, y) dy ]

entonces las integrales reales

[u(x, y) dx - v(x, y) dy ] y
[v(x, y) dx + u(x, y) dy ] son independientes del camino en D

(cuestionar esta afirmacin, es posible que estas integrales reales no sean independientes del
camino?)
Como las integrales reales son independientes del camino, se sabe que las expresiones
u(x,y) dx - v(x,y) dy y v(x,y) dx + u(x,y) dy son diferenciales exactas, es decir existen en
D dos funciones U(x,y) y V(x,y) , denominadas funciones potenciales, tal que:

U U
dU( x, y ) = dx + dy = u( x, y ) dx v( x, y ) dy ,
x y
V V
dV ( x, y ) = dx + dy = v( x, y ) dx + u( x, y ) dy
x y

de donde se desprenden las siguientes igualdades de (CR):

U V U V
= = u( x , y ) , = = v( x , y )
x y y x

Si consideramos F(z) = U(x,y) + i V(x,y) , vemos que:

 F(z) es derivable en D, pues U(x,y) y V(x,y) , como ya vimos, cumplen las condiciones de
(CR) y tienen derivadas parciales continuas por coincidir dichas derivadas con la parte real
u(x,y) o imaginaria v(x,y) de la funcin continua f(z)

U V
 Por ser F(z) derivable, +i = u( x, y ) + iv( x, y ) = f ( z ) ,
sabemos que : F(z) =
x x
por lo tanto podemos afirmar que existe en D una funcin derivable F(z) tal que F(z) = f(z)

[u(x*, y*) dx * -v(x*, y*) dy *] + i[v(x*, y*) dx * +u(x*, y*) dy *]=

z ( x ,y )
Adems z0
f (z *) dz * =
( x0 ,y 0 )
( x ,y )
=
( x0 ,y 0 )
dU( x*, y*) + i dV ( x*, y*) =U(x,y) - U(x0 , y0) + i [V(x,y) - V(x0 , y0)] =
= U(x , y) + iV(x, y) - [U(x0 , y0) + i V(x0 , y0)] = F(z) - F(z0)

d z
f (z *) dz * = F' ( z ) = f ( z )
z
Por lo tanto
z0
f (z *) dz * = F(z) - F(z0) , de donde
dz z 0

9
Mdulo I - Unidad 3
 Matemtica D

Ejercicios

1- Calcular las siguientes integrales:

Re(z) dz ;

Im(z) dz ;

z dz en los siguientes
casos:

a) : z(t) = 1 + it , 0 t 1
b) : | z | = 1 , recorrida en sentido antihorario
c) : | z a | = R , recorrida en sentido antihorario

Convencin: Cuando una curva es cerrada y no se indica la orientacin, debe recorrerse en

sentido antihorario.

2- Calcular k
Im(z) dz para k = 1, 2 y 3 donde
a) 1 es el segmento orientado que une 1 con i
b) 2 : | z | = 1 , desde 1 hasta i , en sentido antihorario
c) 3 es la poligonal que une 1 con 0 y 0 con i
d) Teniendo en cuenta que 1 , 2 y 3 son tres curvas distintas que tienen el mismo punto inicial
y final, puede afirmar que la integral es independiente del camino?, contradice el teorema
fundamental?

3- a) Calcular
C
| z | 2 e i | z | dz siendo C: |z| = 2 desde 2 a 2 en sentido antihorario
b) Deducir a partir de a) el resultado de la siguiente integral de lnea real
(x + y ) sen x + y dx + ( x + y ) cos x + y
2 2 2 2 2 2 2 2
dy
C

(z a) (z a) dz = 0
1 n
4- Si : | z - a| = R , con R 0, demostrar que dz = 2i , para n -1

5- Calcular Ln z dz para k = 1 , 2 , 3
k
siendo
1: | z | = R desde R hasta Ri en sentido antihorario,
2: | z | = R desde R hasta Ri en sentido horario,
3: | z | = R ,

6- Calcular:

a) (z - 2i) dz siendo el segmento que une 2 + i con 3 2i

2z
e dz siendo C : y = 2x desde (-1, 2) a (2, 8)
2
b)
C

sen(2z )dz
2i 2i 1
c) 1 i
d) 3i z
dz sobre una curva contenida en y > -x

10
Mdulo I - Unidad 3
 Matemtica D

7- Justificar que:

dz 4
a)
| z| = 2 z + 1
3
dz
7

b)
CR z 2
Ln z
dz (2Ln R + ) , CR : z(t) = R eit , | t | /2 y demostrar que
2R
Ln z
R C R z 2
lm dz = 0

Teorema de Cauchy

Sea una curva cerrada, simple y suave por tramos y sea f(z) una funcin analtica sobre y su
interior cuya derivada f (z) es continua sobre y su interior entonces
f(z) dz = 0

Demostracin

Para demostrar este teorema usamos el teorema de Green que relaciona una integral de lnea con
una integral doble:

Teorema de Green: Sea C una curva cerrada, simple y regular a trozos (suave) contenida en un dominio
D del plano y sea R la regin limitada por C , sean M(x,y) y N(x,y) dos funciones con derivadas
parciales continuas en D entonces

N M y C
C Mdx + Ndy = R x y dx dy R
D

donde C debe recorrerse de modo de dejar a R a su izquierda

x

Si f(z) = u(x,y) + i v(x,y) entonces sabemos que:

f(z) dz = [u(x, y) dx - v(x, y) dy ] + i [v(x, y )dx + u(x, y) dy ] =

v u u v
=
(1 )
R x
dx dy + i
y x y dx dy = 0 + i0 = 0
R ( 2)

(1) Aplicando el teorema de Green a cada integral real

(2) Como f(z) es analtica, sus partes real e imaginaria verifican las condiciones de (C-R) y por lo
tanto cada integrando vale cero.

11
Mdulo I - Unidad 3
 Matemtica D

Observacin

Goursat fue el primero que pudo demostrar que la hiptesis " f (z) continua sobre y su
interior " poda omitirse , nosotros aceptamos sin demostracin las siguientes variantes del
teorema de Cauchy

Teorema de Cauchy Goursat (versin 1)

Si es una curva cerrada, simple y suave por tramos y f(z) es analtica sobre y su interior
entonces
f(z) dz = 0

Teorema de Cauchy Goursat (versin 2)

Si es una curva cerrada, simple y suave por tramos y f(z) es analtica sobre y su interior ,
salvo a lo sumo en un nmero finito de puntos excepcionales donde es continua entonces

f(z) dz = 0

Ejemplos

e 3z
a) La integral

|z| =1 z - 2i
dz es igual a 0 pues verifica las hiptesis del T. de Cauchy Goursat :

e 3z
la curva es cerrada y suave y f(z) = es analtica sobre la curva |z| = 1 y su interior
z 2i
pues no es analtica en 2i , pero este complejo es exterior a la curva cerrada sobre la que se
integra.

b) La aplicacin del teorema de Cauchy Goursat no es tan inmediata para el clculo de la

sen z sen z
integral

| z| = a z
dz , pues la funcin f(z) =
z
es analtica sobre la curva cerrada y su
interior salvo en z0 = 0 , que es interior a cualquier circunferencia de radio a > 0.

Sin embargo si calculamos el limite de la funcin en dicha singularidad obtenemos

sen z
sen z si z 0
lm = 1 y si consideramos la funcin g( z ) = z podemos afirmar que:
z 0 z 1 si z = 0
g(z) es continua en z = 0 y si z 0 sabemos que g(z) es analtica por ser cociente de

12
Mdulo I - Unidad 3
 Matemtica D

analticas y el denominador no se anula, por lo tanto por el T. de Cauchy Goursat podemos

afirmar que g(z) dz = 0 .
| z| = a

Observemos que sobre los puntos de la curva |z| = a , la funcin g(z) coincide la funcin cuya
sen z
integral queremos calcular, es decir g(z) = para los z que verifican |z| = a , entonces la
z
sen z
integral de g(z) sobre dicha curva debe coincidir con la integral de . por lo tanto
z
sen z

| z| = a z
dz = g(z) dz = 0
|z | = a

Consecuencias del Teorema de Cauchy

R 1
1- Sean 1 y 2 dos curvas cerradas suaves por tramos y todos los
2
puntos de 1 son interiores a 2 y sea f(z) una funcin analtica
sobre las curvas y en el dominio R limitado por ellas entonces:

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

Las curvas se recorren en el mismo sentido (ambas en sentido antihorario o ambas en sentido
horario)

Demostracin

Supongamos que 1 y 2 las recorremos en sentido antihorario.

Si efectuamos dos cortes rectos uniendo puntos de 1 y 2 , el dominio R queda dividido en dos
regiones, que denominamos R1 y R2

R1

D C B A

R2

Las fronteras de R1 y R2 son curvas cerradas y las indicamos R 1 y R 2 respectivamente.

Como f(z) es analtica sobre dichas curvas y su interior, podemos aplicar el T. de Cauchy
Goursat a ambas y obtener que :

13
Mdulo I - Unidad 3
 Matemtica D

R 1
f(z) dz = 0 y R 2
f(z) dz = 0

donde las curvas R 1 y R 2 las orientamos de modo de dejar las regiones R1 y R2 a la

izquierda.

Sumando estos resultados obtenemos:

R 1
f(z) dz +
R 2
f(z) dz = 0 , y guindonos por el grfico
podemos escribir la ltima igualdad del siguiente modo:

A D C B B C D A
4
1B
f ( z )dz + f ( z )dz + f ( z )dz + f ( z )dz + f ( z )dz + f ( z )dz + f ( z )dz + f ( z )dz = 0
444444 A
4244444444 D C
3 14444444244444443 A B C D
(*)
sobre la frontera de R 1 sobre la frontera de R 2

Como las integrales de lnea sobre los segmentos se cancelan pues se recorren en sentidos
contrarios cuando se consideran en la frontera de R1 o en la frontera de R2 y teniendo en cuenta
que (mirar el grfico):
B C
14
C
f ( z ) dz
24 3
+ 14f (2z )43
B
dz = f ( z ) dz
1
sobre la frontera de R 1 sobre la frontera de R 2

D A
1A4f 2
( z ) dz
4 3
+ D4f (2z )4dz
1 3
= f ( z ) dz
2
sobre la frontera de R 1 sobre la frontera de R 2

donde en la primera integral se ha colocado un signo menos pues se observa que 1 debe
recorrerse en sentido contrario al que anunciamos al comenzar, vemos que la expresin (*) toma
la forma: f(z) dz + f(z) dz = 0 , y por lo tanto:
1 2

2
f(z) dz = f(z) dz
2

2- Sean 1 , 2 y 3 tres curvas cerradas suaves por tramos como

se muestran en el grfico y sea f(z) una funcin analtica sobre
R 3
las curvas y en la regin R limitada por ellas entonces:
2

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

1
donde las curvas se recorren de modo de dejar la regin R a la izquierda.

Actividad 8:
Justificar la igualdad presentada en la consecuencia 2-

14
Mdulo I - Unidad 3
 Matemtica D

3- Si f(z) es analtica en un dominio simplemente conexo D entonces la integral de f(z) es

independiente del camino en D.

Actividad 9:
Justificar la afirmacin presentada en la consecuencia 3.
Ayuda: tomar una curva cerrada cualquiera contenida en D y justificar que f(z) dz = 0 , con

este resultado puede afirmar que hay independencia del camino?

Ejemplos
f(z)
1- Si f(z) una funcin analtica en todo el plano y se sabe que |z | = 1 z
dz = , puede
f(z)
conocerse el valor de la integral z
dz , siendo una curva suave por tramos, cerrada, que
encierra a z=0 ?

Es importante observar que el integrando es analtico en todo el plano complejo salvo en z = 0

Si no corta a | z | = 1 ( es exterior o interior) , como el integrando es
analtico en la regin comprendida entre la circunferencia | z | = 1 y la
1
f(z)
curva , aplicando la consecuencia 1 podemos afirmar que dz =
z

Si corta a la circunferencia | z | = 1, se considera otra curva cerrada, a la

que llamamos * , como el integrando es analtico en la regin limitada
por | z | = 1 y * , por la consecuencia 1 , podemos afirmar que la integral 1
sobre * vale , como adems el integrando es analtico en la regin limitada
por y * , por la consecuencia 1 , la integral sobre vale lo mismo que la *
integral sobre *, es decir la integral sobre vale
f(z)
Por lo tanto dz = , siendo cualquier curva suave por tramos, cerrada, que encierra a 0
z

2- Justificar , usando la consecuencia 2 y teniendo en cuenta 1

f(z) 3
el grfico de la derecha, que si dz = 3 y
1 (z - 2)(z - i) i
f(z) f(z)
2 (z - 2)(z - i) dz = 7 entonces 3 (z - 2)(z - i) dz = - 4 , 2 2

Suponer que f(z) es analtica z y que las curvas se recorren en sentido positivo.

15
Mdulo I - Unidad 3
 Matemtica D

Frmula de la integral de Cauchy

Si es una curva cerrada, simple y suave por tramos y f(z) es z0
analtica sobre y su interior , y z0 es interior a entonces

f(z)
z-z

0
dz = 2i f(z 0 )

Demostracin

Consideremos una circunferencia C centrada en z0 interior a z0

C: |z z0 | = R y calculamos la integral propuesta como se C
muestra a continuacin donde cada paso est justificado ms abajo

f(z) f(z) f(z) - f(z 0 ) + f ( z 0 ) f(z) - f(z 0 ) 1

z-z

0
dz =
(1) C z - z0
dz =
( 2) C z - z0
dz =
(3) 1444
C z-z
dz + f(z )
2444
3 0
0
z-z
14243
dz
C
0
A B

(1): son iguales por la primera consecuencia del teorema de Cauchy pues el cociente
f(z) / (z z0) es analtico sobre las curvas y C y en la regin limitada por ambas
(2): sumando y restando f(z0) en el numerador
(3): la integral de una suma es suma de integrales y f(z0) es constante

i y entonces el
Demostraremos a continuacin que la integral A vale cero y la integral B vale 2
teorema estar demostrado.

a) Para justificar que la integral A vale cero, consideramos la funcin

f (z ) f (z 0 )
si z z 0
g( z ) = z z 0
f ' ( z 0 ) si z = z 0

Analicemos esta funcin g(z):

 si z z0 , g(z) es analtica por ser cociente de analticas y el denominador no se anula

f (z ) f (z 0 )
 g(z) es continua en z0 pues lm g( z ) = lm = f ' ( z 0 ) = g( z 0 )
z z 0 z z 0 z z0

Por lo tanto g(z) es analtica sobre la curva cerrada C y su interior , salvo a lo sumo en el punto z0
donde sabemos que es continua , por ello podemos aplicar el teorema de Cauchy Goursat (versin
2) y afirmar que
g(z) dz = 0 .
C

16
Mdulo I - Unidad 3
 Matemtica D

Observemos que sobre los puntos de la curva C, la funcin g(z) es igual al cociente incremental,
f (z) f (z 0 )
por lo tanto C z z 0 dz = C g(z) dz = 0 , y queda demostrado que la integral A vale
cero.

b) Para calcular la integral B, parametrizamos la circunferencia C : z(t) = R eit , con 0 t 2 ,

1 2 1 2
calculamos z'(t) = Ri eit y obtenemos : dz = Rie it
dt = 0 i dt = 2i
C z-z 0 Re it
0

Ejemplos
cos z
a) Calcular z
dz , siendo la frontera del tringulo de vrtices 0 , 4 2i
4

f(z)
Como el integrando tiene la forma , con f(z) = cos z , analtica en todo el plano, y
z - z0
z0 = est en el interior de la curva cerrada , podemos aplicar el T. de la frmula de Cauchy
pues se verifican todas las hiptesis , as tenemos:
cos z
z dz = 2i f( ) = 2i cos() = 2i
z3 + 3
b) Calcular
|z 2 i | = 2 z2 + 1
dz
f(z)
En este ejercicio el integrando no tiene la forma , pero si factoreamos el denominador
z - z0
vemos que:
z3 + 3 z3 + 3
=
z 2 + 1 ( z + i )( z i )

Como el factor (z - i ) se anula en i, que es interior a la curva cerrada dada, y el factor (z + i)

no se anula sobre la curva ni en su interior, podemos escribir la integral de la siguiente
manera:

z3 + 3

z3 + 3 z + i dz
1 z 2 i| = 2 z2 + 1
dz =
1 z 2 i| = 2 zi
Como (z3 +3) / (z + i) es analtica sobre la curva cerrada y su interior , podemos usar la
frmula de Cauchy. Tomando f(z) = (z3 +3) / (z + i) el valor de la integral resulta:

z3 + 3 z3 + 3 -i+3
1 z 2 i| = 2 z +1
2
dz = 2 i f(i) = 2 i = 2i
z + i z =i 2i
= 3 i

17
Mdulo I - Unidad 3
 Matemtica D

c) Calcular la integral dada en b) sobre la curva C: | z | = 2

En este caso los complejos i y -i, que anulan el denominador, son interiores a la curva cerrada.
Veamos que a pesar de esto puede calcularse la integral mediante la frmula de Cauchy, para
ello consideremos dos curvas cerradas C1 y C2 interiores a C y disjuntas, C1 que slo
encierre a i y C2 que slo encierre a - i .

Por una de las consecuencias del teorema de Cauchy Goursat, C1

sabemos que i

z4 + 3 z4 + 3 z4 + 3 C2
C1 z 2 + 1 C2 z 2 + 1 dz
dz = dz + -i
C z2 + 1

como en el interior de las curvas cerradas C1 y C2 el integrando puede expresarse como

cociente entre f1(z) / (z - i) y f2(z) / (z + i) respectivamente , estas integrales se calcular en
forma similar al ejemplo anterior.
z4 + 3
Se deja como ejercicio verificar que dz = (3 - i) + (-3 - i) = -2i
C z2 + 1

Actividad 10:
C1
Si f(z) es analtica en el anillo limitado por dos circunferencias concntricas C1 C2
y C2 y z0 es un punto interior a dicho anillo, demostrar que:
1 f (z ) 1 f (z)
f (z 0 ) =
2i 1 z z 0
C
dz -
2 i 2 z z 0
C
dz
z0

donde las curvas se recorren en sentido directo. (Hacer un corte en la regin

sombreada y aplicar algn teorema que facilite el clculo de cada integral)

Generalizacin de la frmula de Cauchy

La frmula de la integral de Cauchy permite determinar el valor de una funcin analtica en un

punto si conocemos los valores que toma dicha funcin sobre un contorno cerrado, simple y
suave por tramos que incluya a dicho punto. La frmula de Cauchy puede generalizarse y obtener
una frmula que permite calcular el valor de todas las derivadas de una funcin analtica en un
punto si conocemos los valores que toma dicha funcin sobre un contorno cerrado, simple y
suave por tramos que incluya a dicho punto.

La frmula generalizada puede obtenerse mediante las siguientes operaciones, que NO

constituyen una demostracin.

Si f(z) es analtica sobre la curva cerrada y suave por tramos y su interior , y z0 es interior a ,
sabemos que
18
Mdulo I - Unidad 3
 Matemtica D

f(z)
2i f ( z 0 ) = dz .
z - z0

Si consideramos a z0 como una variable y derivamos la expresin anterior respecto de z0 y

suponemos que podemos introducir la derivada en el smbolo integral obtenemos:

d f(z) d f(z) f(z)

2i f ' ( z 0 ) =
dz 0
dz =
z - z0

dz 0
dz =
z - z0
(z - z )
2
dz
0

f(z)
2i f ' ( z 0 ) = (z - z )
2
dz
0

Si derivamos nuevamente respecto de z0 , obtenemos:

d f(z) d f(z) f(z)

2i f ' ' ( z 0 ) = dz = 2
dz = 2 dz
dz 0 (z - z 0 ) 2
dz 0 (z - z 0 )
(z - z 0 )3
f(z)
2i f ' ' ( z 0 ) = 2 dz

(z - z 0 )3
Si derivamos otra vez nos queda:

d f(z) d f(z) f(z) f(z)

2i f ' ' ' ( z 0 ) = 2 dz = 2 3
dz = 6 dz = 3! dz
dz 0 (z - z 0 ) 3
dz 0 (z - z 0 )
(z - z 0 ) 4
(z - z 0 )4
f(z)
Derivando n veces se obtiene: 2i f ( n ) ( z 0 ) = n! dz

(z - z 0 )n+1
f(z) 2i f (n) ( z 0 )
De donde puede obtenerse (z - z )
n +1
dz =
n!
0

El siguiente teorema resume estos resultados

Derivada de la frmula de la integral de Cauchy

Si f(z) es analtica sobre la curva cerrada, simple y suave por tramos y su interior , y z0 es
f(z) 2i f (n) (z 0 )
interior a entonces dz =

(z - z 0 )n+1 n!

Observacin:
Si en la ltima expresin se reemplaza n = 0 se obtiene la frmula de la integral de Cauchy pues
interpretamos f(0) (z0) como f(z0) y teniendo en cuenta que 0! = 1.

19
Mdulo I - Unidad 3
 Matemtica D

Ejemplo
e 2 iz
Calcular (z ) ( z + i )
2 3
dz , siendo la frontera del tringulo de vrtices 0 , 4 2i

Si examinamos el denominador vemos que el factor (z + i) no se anula sobre la curva ni en su

interior. Sin embargo (z - )2 se anula en z = , que es interior de , por lo tanto podemos
escribir:
e 2iz

e 2iz ( z + i ) 3
(z )2 (z + i ) 3 dz = (z )2 dz
Dado que el integrando cumple todas las hiptesis del teorema de la derivada de la frmula de
Cauchy , lo aplicamos teniendo en cuenta que n + 1 = 2, de donde n = 1 , y f(z) = e2iz / ( z + i)3.

e 2iz

3
( z + i ) dz = 2i f ' ( ) = 2i 2ie ( z + i ) e 3( z + i ) = 2i 2i( + i) - 3
2iz 3 2 iz 2
As,

(z )2
(z + i)6
z= ( + i) 4

Derivadas de analticas
Si f(z) es analtica en un punto z0 , sabemos que es analtica en todo un entorno
de z0 , y si tomamos una curva cerrada, simple y suave por tramos contenida
z0
en dicho entorno, podemos aplicar el teorema anterior obteniendo:

f(z) 2i f (n) (z 0 )
(z - z )
n +1
dz =
n!
0

f(z) 2i f (n) (z*) z0

Adems tambin vale la igualdad (z - z *)
n +1
dz =
n!

siendo z* cualquier punto del interior de la curva z*
f(z) 2i f (2) (z*)
Si tomamos n = 2 en la ltima expresin obtenemos (z - z *)
3
dz =
n!
y esto nos

indica que existe la derivada segunda de f en todo punto interior a la curva y por lo tanto la
derivada primera f ' es analtica
Aplicando un razonamiento similar a la funcin analtica f' podemos concluir que f'' es analtica,
y repitiendo el argumento anterior llegamos al siguiente resultado fundamental.

Teorema : Derivada de funciones analticas

Si f(z) es analtica en un punto, sus derivadas de todos los rdenes son tambin funciones
analticas en ese punto.
20
Mdulo I - Unidad 3
 Matemtica D

Ejercicios
y C1
8- Si f(z) es analtica en un anillo y C1 y C2 son dos curvas cerradas
contenidas en el anillo como muestra la figura, justificar que C2

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

9- Si f(z) es analtica en C {1, -2, 3i} y

|z -1| =1
f(z) dz = 2 ,
|z + 2| =1
f(z) dz = 2 ,

|z - 3i| =1
f(z) dz = 0

a) Averiguar el valor de la integral f(z) dz en los siguientes casos justificando la

C

respuesta :

a1) C es una curva cerrada cualquiera que encierra a 1 y no encierra ni a -2 ni a

3i

a2) C es una curva cerrada cualquiera que encierra a 3i y no encierra ni a -2 ni a

1

a3) C es una curva cerrada cualquiera que encierra a 1 y -2 y no encierra a 3i

a4) C es una curva cerrada cualquiera que encierra a 1, -2 y 3i

b) Indicar claramente los posibles dominios donde la integral es independiente
del camino.
10- Calcular las siguientes integrales enunciando previamente el teorema o propiedad que utiliza.

( z 2 4)
2
ez
a)
C z
dz , C : z - 2 = 1 b) C sen(z 2 ) dz , C : z - 2 + i = 1
e 2iz z4
c)C z 3 dz , C : z = 4 d) C z 2 + 4 dz , C : z = 3
e z
d) dz , para k = 1 , 2 , C1: |z 2| = 1 ; C2: |z | = 3
C k 2z 2 z 3

11- Si f(z) = (z 2i)4 h(z) donde h(z) es analtica y no se anula sobre la curva C y su interior ,
f ' (z )
justificar que dz = 8i , C : |z 2i| = 1
C f (z)

cos2z
12-Calcular para n = 0, n = 1, n = 2 , la integral (z i )
C
n
dz , C: |z| = 2 enunciar previamente el

teorema o propiedad que utiliza.

21
Mdulo I - Unidad 3
 Matemtica D

13- Si F(z) = i z2 cos z es una primitiva de f(z) , calcular el valor exacto de C1

f(z) dz donde C1
es una curva que une ei con 2
.

(2z - )
14- Dada I = (z
C
2
- 1) (1 sen z )
dz

a) Calcular I usando la frmula de la integral de Cauchy , sabiendo que C es lo frontera del

conjunto A = {z / 1/2 | z | 3/2 , |Arg(z)| /4}
b) Puede aplicarse la frmula de la integral de Cauchy para calcular I si la curva es
C : | z 2| = 4/3 ? Justificar la respuesta.

z 2i f ( z )g' ( z )
15- Si f(z) es analtica y g( z ) =
z
, calcular | z 2 i| = 3 g( z )
dz sabiendo que f(2i) = f(0)

Otras propiedades importantes:

Teorema de Morera

Si f(z) es continua en un dominio simplemente conexo D y para toda curva cerrada contenida
en D se sabe que f ( z ) dz = 0 entonces f(z) es analtica en D.

Demostracin

Como la integral de f(z) vale cero sobre cualquier curva cerrada contenida en D entonces por
Teorema 1 sabemos que la integral de f es independiente del camino en D y si es independiente
del camino en D, por Teorema 3 sabemos que existe una funcin F(z) analtica en D tal que
F'(z) = f(z) .

Como hemos visto que la derivada de una funcin analtica es tambin analtica y sabemos que f
es la derivada de la funcin analtica F, se desprende que f es analtica en D

Aceptamos sin demostracin la siguiente propiedad, conocida como principio del mdulo
mximo
Principio del mdulo mximo
Si una funcin f(z) = u(x,y) + i v(x,y) es analtica y no constante en un dominio abierto A
entonces la funcin |f(z)| = (u( x, y )) + (v( x, y ) no posee mximo en A, es decir , no existe en
2 2

A un punto z0 tal que |f(z)| |f(z0)|

Observaciones

22
Mdulo I - Unidad 3
 Matemtica D

1- Si f(z) = u(x,y) + i v(x,y) entonces |f(z)| = (u( x, y ))2 + (v( x, y )2 es una funcin de dos
variables reales a la que denominamos g(x,y)

Es importante observar que si existen en A puntos de coordenadas (x1, y1) donde las funciones
u(x,y) y v(x,y) se anulan simultneamente, es decir u(x1,y1) = 0 y v(x1,y1) = 0 entonces en
dichos puntos g( x 1 , y 1 ) = (u(x 1 , y 1 ))2 + (v( x 1 , y 1 )2 = 0 .

Como la funcin g(x,y) , por tratarse de un mdulo, verifica g(x,y) 0 para todo par (x,y) de
A , y como g(x1,y1) = 0 entonces podemos afirmar que: g(x,y) g(x1,y1) , para todo par (x,y)
de A y esta ltima desigualdad nos dice que la funcin g(x,y) alcanza un mnimo en los
puntos (x1, y1) en los cuales las funciones u(x,y) y v(x,y) se anulan simultneamente.

2- Si una funcin f es analtica en el interior de un conjunto cerrado y acotado A y es continua

sobre la frontera de A , entonces la funcin |f(z)| = g(x,y) es continua en dicho conjunto
cerrado y acotado y se sabe de la variable real que seguro alcanza un mximo y un mnimo
absoluto en A .

Estas observaciones nos permiten enunciar el siguiente teorema.

Teorema
Si f es una funcin continua en una regin acotada cerrada A, y analtica y no constante en el
interior de A, entonces:
a) la funcin |f(z)| alcanza siempre un mximo y ocurre en algn punto de la frontera de A,
nunca en su interior, es decir existe al menos un punto z0 en la frontera de A tal que
|f(z)| |f(z0)|
b) si adems f(z) 0 en todos los puntos de A , la funcin |f(z)| alcanza siempre un mnimo y
ocurre en algn punto de la frontera de A, nunca en su interior.
Si se elimina la condicin f(z) 0, la funcin |f(z)| puede alcanzar un mnimo en un punto
del interior de A cuando dicho valor mnimo es 0.

Ejemplo
Si queremos saber dnde la funcin f(z) = |z2 - z| alcanza un mximo o un mnimo en el recinto
cerrado y acotado definido por | z | 1 , comenzamos expresndola en funcin de x e y :
f(z) = (x + i y)2 - (x + i y) = (x2 - y2 - x ) + i (2xy -y) y calculando su mdulo

|f(z)| = g(x,y) = ( x 2 y 2 x ) 2 + ( 2xy y ) 2

como se sabe que maximizar una raz es equivalente a maximizar su radicando , tomaremos la
funcin g elevada al cuadrado, y como sabemos que el mximo lo tomar en algn punto de
frontera, podemos parametrizar la circunferencia | z |= 1 poniendo x = cos t , y = sen t , con
0 t 2
, y buscar los mximos de la funcin
Recordar:
23
cos2t - sen2 t Mdulo
= cos (2t)I - Unidad 3
2 sen t cos t = sen (2t)
 Matemtica D

G(t) = [g(cos t , sen t)] 2 =

= (cos 2 t sen 2 t cos t ) 2 + ( 2 cos t sen t sen t ) =
= (cos 2t cos t ) 2 + ( sen 2t sen t ) 2

Se deja como ejercicio verificar que los puntos crticos de esta funcin son t0 = 0 , t1 =
y por lo tanto los posibles puntos donde el mdulo toma el mximo valor son:
z0 = (x0,y0) = (cos 0, sen 0) = (1,0) y z1 = (x1,y1) = (cos , sen
) = ( -1, 0)

Como | f(z0) |= g(1,0) = 0 y | f(z1) | = g(-1,0) = 2 , podemos afirmar que |f(z)| toma el
mximo valor en el punto z1 = -1 + i 0 = -1 , y para todos los complejos de |z| 1, se verifica
| f(z)| 2

Es interesante hacer notar que |f(z)| toma el mnimo valor en el punto z0 = 1 + i 0 = 1 , pues en
dicho punto la funcin vale cero y sabemos que por tratarse de un mdulo se verifica 0 | f(z)|
y por lo tanto | f(z0)| | f(z)| para todo z de |z| 1

Es importante hacer notar que en este ejemplo encontramos un mnimo sobre la frontera, pero
segn hicimos notar en la observacin anterior la funcin toma un mnimo en los puntos del
recinto donde las funciones u y v se anulen simultneamente , es decir puntos donde f(z) = 0, en
este caso se observa que z2 - z = 0 z = 0 z = 1 , por lo tanto la funcin posee un mnimo
tambin en un punto del interior de la regin.

Propiedad : Mximo de funciones armnicas

Si f(z) = u(x,y) + i v(x,y) es una funcin continua en una regin acotada cerrada A y analtica y
no constante en el interior de A, entonces las funciones u(x,y) y v(x,y) alcanzan su mximo en la
frontera de A y nunca en su interior.

Demostracin

Si consideramos la funcin g(z) = ef(z) , composicin de f con la exponencial, podemos afirmar

que g es continua en A y analtica y no constante en el interior de A, por el T. del mdulo
mximo sabemos que |g(z)| = eu(x,y) alcanza su mximo en un punto de la frontera de A. Como la
funcin exponencial es creciente, se sigue que el mximo valor de u(x,y) se alcanza en un punto
de la frontera de A.
Si en cambio consideramos la funcin h(z) = e-if(z) cuyo mdulo es | h(z) | = ev(x,y) puede
demostrarse en forma similar que el mximo valor de v(x,y) se alcanza en un punto de la frontera
de A.

Teorema de Liouville

Si f(z) es analtica y acotada en todo el plano complejo entonces f(z) es una funcin constante.

24
Mdulo I - Unidad 3
 Matemtica D

Demostracin

Sea una circunferencia centrada en un punto cualquiera z0 y de radio arbitrario R, es decir

: | z - z0 | = R .
Como sabemos que f es analtica en todo el plano podemos aplicar la frmula de la derivada de
f(z)
Cauchy para n = 1 : dz = 2 i f ' (z 0 )

(z - z 0 )2
Como sabemos que f est acotada en todo el plano , sabemos que existe una constante positiva M
tal que |f(z)| M , esto nos permite acotar la integral anterior como se muestra a continuacin y
se deja a cargo del alumno la justificacin de cada paso:

1 f(z) 1 f (z) 1 M M M
2i (z - z 0 )2 2 z z 0
f '(z 0 ) = dz dz dz = 2R =
2
2 R
2
2 R 2
R

por lo tanto podemos afirmar que para todo complejo z0 y para todo R vale : 0 |f '(z0)| M/R

Como M es una constante fija y R puede tomarse tan grande como se quiera, el cociente M/R es
tan cercano a cero como se quiera, por lo tanto la nica posibilidad es que f '(z0)= 0 , como z0 es
cualquiera significa que f'(z) = 0 para todo z del plano complejo y por lo tanto la funcin f(z)
debe ser una constante.

Ejercicios
16- La funcin de variable real f(x) = sen x es derivable para todo x y est acotada pues
| sen x | 1, esto contradice el T. de Liouville? Explicar

17- Hallar el mximo y el mnimo de |f(z)| en los recintos indicados

a) f (z) = z2 - 3 z + 2 en | z | 1 y en | z - 1 | 2
b) f(z) = cos z en A = {(x,y) / 0 x 3
/4 , -1 y 2 }

18- Calcular
a) Max | e z | siendo BR = { z / |z| R , 0 Arg(z) /4}
2

BR

1
b) Max siendo D = { z / |z| 1 , 0 Arg(z) /4}
D z2 + 1

1
19 - Justificar que
zn dz = 0 , siendo cualquier curva cerrada que no pasa por el origen y n

es un natural fijo mayor o igual a 2, sin embargo la funcin f(z) = 1 / zn no es analtica en 0,

contradice este hecho el T. de Morera?

25
Mdulo I - Unidad 3