Tema 4.

Integracion de Funciones de Variable Compleja

Prof. William La Cruz Bastidas
7 de octubre de 2002

Tema 4

Integraci
on de Funciones de Variable
Compleja
4.1

Integral definida

Sea F (t) una funcion de variable real con valores complejos definida como
F (t) = U (t) + iV (t),
donde U (t) y V (t) son funciones reales de t continuas a trazos definidas en el intervalo acotado y
cerrado a t b. Bajo estas condiciones, la funcion F es continua a trozos y la integral definida
de F (t) en el intervalo a t b se define como:
Z b
Z b
Z b
F (t)dt =
U (t)dt + i
V (t)dt,
(4.1)
a

y se dice que F (t) es integrable en [a, b].

Propiedades de la integral definida
Sean F (t) = U (t) + iV (t), F1 (t) = U1 (t) + iV1 (t) y F2 (t) = U2 (t) + iV2 (t), integrables en [a, b]. A
partir de la ecuaci
on (4.1) se deducen facilmente las siguientes propiedades de la integral definida.
nR
o R
b
b
i) Re a F (t)dt = a Re {F (t)} dt.
ii) Im
Rb

nR
b
a

o R
b
F (t)dt = a Im {F (t)} dt.

cF (t)dt = c

Rb

F (t)dt, para toda constante compleja c.

Rb
Rb
Rb
iv) a [F1 (t) + F2 (t)] dt = a F1 (t)dt + a F2 (t)dt.
R
 R
 b

b
v)  a F (t)dt a |F (t)| dt.

iii)

Ejemplo 4.1 Calcular la integral

/4

eit dt.

 DE FUNCIONES DE VARIABLE COMPLEJA

TEMA 4. INTEGRACION

on (4.1)
Soluci
on. Se tiene que eit = cos t + isen t, ahora, utilizando la ecuaci
Z

/4
0

it

e dt =

/4

Z
cos t dt + i
/4

/4
0

sen t dt

/4

= [sen t]0 + i [ cos t]0

2
2 2
=
+i
.
2
2

4.2
4.2.1

Integraci
on de lnea
Contornos

Se presentan ahora varias clases de curvas adecuadas para el estudio de las integrales de una
funcion de variable compleja.
Definici
on 4.1 (Curva) Una curva C es un conjunto de puntos z = x + iy en el plano complejo
tales que
(a t b),
x = x(t),
y = y(t),
donde x(t) y y(t) son funciones continuas en el intervalo [a, b]. Los puntos de C se pueden
describir mediante la ecuaci
on
z(t) = x(t) + iy(t)

(a t b)

y se dice que z(t) es continua, ya que x(t) y y(t) son continuas.

Definici
on 4.2 (Curva suave) Una curva C se llama curva suave, si z 0 (t) = x0 (t) + iy 0 (t)
existe y es continua en el intervalo a t b y si z 0 (t) nunca se hace cero en el intervalo.
Definici
on 4.3 (Contorno) Un contorno o curva suave a tramos, es una curva que consta de
un n
umero finito de curvas suaves unidas por sus extremos.
Definici
on 4.4 (Contorno cerrado simple) Sea C un contorno. Se dice que C es un contorno cerrado simple si solamente los valores inicial y final de z(t) son iguales (z(b) = z(a)).

4.2.2

Integrales de lnea

Sea f (z) una funcion de variable compleja. Sea C un contorno representado por la ecuaci
on
z(t) = x(t) + iy(t)

(a t b)

que se extiende del punto = z(a) al punto = z(b). Supongamos que f (z) = u(x, y) + iv(x, y)
es continua a trozos en C, es decir, las partes real e imaginaria,
u(x(t), y(t))

v(x(t), y(t)),

 DE FUNCIONES DE VARIABLE COMPLEJA

TEMA 4. INTEGRACION

de f (z(t)) son funciones de t continuas por tramos. Bajo estas condiciones, se define la integral
de lnea de f a lo largo de C como:
Z b
Z
f (z) dz =
f (z(t))z 0 (t) dt,
(4.2)
a

z 0 (t)

x0 (t)

+ iy 0 (t).

donde
=
Asociado al contorno C de la ecuaci
on (4.2), est
a el contorno C, el cual se describe por la
ecuaci
on z = z(t) donde b t a. Por tanto,
Z b
Z
f (z) dz =
f (z(t))z 0 (t) dt,
(4.3)
C

donde z 0 (t) denota la derivada de z(t) con respecto a t evaluada en t.

Propiedades de las integrales de lnea
Sean f (z) y g(z) funciones de variable compleja continuas a trozos sobre un contorno C descrito
on z = z(t) (a t b). A partir de la ecuaci
on (4.2) se deducen facilmente las
por la ecuaci
siguientes propiedades de las integrales de lnea.
R
R
i) C af (z) dz = a C f (z) dz, para toda constante compleja a.
R
R
R
ii) C [f (z) + g(z)] dz = C f (z) dz + C g(z) dz.
iii) Si C consta de una curva C1 desde 1 hasta 1 y de la curva C2 desde 2 hasta 2 , donde
1 = 2 , se cumple:
Z
Z
Z
f (z) dz =
f (z) dz +
f (z) dz.
C

C1

C2

R
 Rb
iv)  C f (z) dz  a |f (z(t))z 0 (t)| dt.
Ejemplo 4.2 Calcular

Z
|z|=1

1
dz,
z

donde |z| = 1 es la circunferencia de centro en 0 y radio 1, recorrida en sentido positivo.

Soluci
on. Una parametrizaci
on de la circunferencia |z| = 1 es:
z(t) = eit , (0 t 2).
As,
Z
|z|=1

1
dz = i
z
= i

Z
Z

 
eit ieit dt

0
2

dt

= 2i.

 DE FUNCIONES DE VARIABLE COMPLEJA

TEMA 4. INTEGRACION

4.3

Teorema de Cauchy-Goursat

El siguiente resultado se conoce como Teorema de Cauchy-Goursat.

Teorema 4.1 (Teorema de Cauchy-Goursat) Sea C un contorno cerrado simple. Sea f una
funci
on analtica sobre y en el interior de C. Entonces
Z
f (z) dz = 0.
(4.4)
C

El Teorema de Cauchy-Goursat es uno de los mas importantes en la teora de variable compleja. Una de las razones es que puede ahorrarnos una
de trabajo
realizar cierto
R gran contidad
R
R al
z
tipo de integraciones. Por ejemplo, integrales como C sen dz, C cosh dz y C e dz deben anularse si C es un contorno cerrado simple cualquiera. En todos estos casos, el integrando es una
funcion entera.
on de integraci
on en la ecuaci
on (4.4) no afecta el resultado pues
R Observese que
R la direcci
f
(z)
dz
=

f
(z)
dz.
C
C
El siguiente ejemplo verifica la validez del Teorema de Cauchy-Goursat.
Ejemplo 4.3 Verifique que

Z
C

z n dz = 0

donde n es un entero positivo y C es la circunferencia |z| = r, con r > 0.

Soluci
on. Se observa que f (z) = z n es entera, luego por el Teorema de Cauchy-Goursat
Z
z n dz = 0.
C

Veamos que esto es efectivamente cierto. Una parametrizaci

on de |z| = r es:
z(t) = reit , (0 t 2),
luego
Z

n


eit
ireit dt
0
Z 2
n+1
= ir
ei(n+1)t dt
0
Z 2
= irn+1
[cos ((n + 1)t) + isen ((n + 1)t)] dt

z dz = i

2

[sen ((n + 1)t) i cos ((n + 1)t)]
=
n+1
0
= 0.
irn+1

De esta forma se ha verificado el Teorema de Cauchy-Goursat para un caso particular.

Definici
on 4.5 (Dominio simplemente conexo) Un dominio D se dice simplemente conexo
si todo contorno cerrado simple dentro del mismo encierra s
olo puntos de D.

 DE FUNCIONES DE VARIABLE COMPLEJA

TEMA 4. INTEGRACION

Definici
on 4.6 (Dominio multiplemente conexo) Un dominio D se dice multiplemente conexo si no es simplemente conexo.
El Teorema de Cauchy-Goursat se puede extender para dominios simplemente conexos.
Teorema 4.2 Si una funci
on f es analtica en un dominio simplemente conexo D, entonces para
todo contorno cerrado simple C, dentro de D, se sumple
Z
f (z) dz = 0.
C

De igual forma, el Teorema de Cauchy-Goursat se puede extender para dominios multiplemente conexos.
Teorema 4.3 Se denota a C como un contorno cerrado simple y a Cj (j = 1, 2, . . . , n) como un
n
umero finito de contornos cerrados simples interiores a C tales que los conjuntos interiores a
un. R es la regi
on cerrada que consta de todos los puntos dentro
cada Cj no tienen puntos en com
y sobre C excepto los puntos interiores a cada Cj (R es un dominio multiplemente conexo). Se
denota por B la frontera completa orientada de R que consta de C y todos los Cj , descrita en
una direcci
on tal que los puntos de R se encuentran a la izquierda de B. En este caso, si una
funci
on f es analtica en R, entonces
Z
= f (z) dz = 0.
B

El siguiente ejemplo aclara el significado de este teorema.

Ejemplo 4.4 Demostrar que

Z
B

dz
= 0,
1)

z 2 (z 2

donde B consta de la circunferencia |z| = 2 descrita en la direcci

on positiva, y de las circunferencias |z + 1| = 1/2, |z| = 1/2 y |z 1| = 1/2, descritas en la direcci
on negativa.
Soluci
on. Sea R la regi
on cerrada que consta de todos los puntos dentro y sobre |z| = 2 excepto
los puntos interiores a |z + 1| = 1/2, |z| = 1/2 y |z 1| = 1/2. El integrando es analtico excepto
en los puntos z = 0 y z = 1, y estos tres puntos no pertenecen a R. Por lo tanto, aplicando el
Teorema 5.3 concluimos que
Z
dz
= 0.
2
2
B z (z 1)

4.4

Integral indefinida

El Teorema de Cauchy-Goursat es una herramienta valiosa cuando se trata de integrar una funcion
analtica alrededor de un contorno cerrado. En caso de que el contorno no sea cerrado, existen
metodos que se pueden deducir a partir de dicho teorema y que faclitan el c
alculo de la integral
considerada.
El siguiente teorema se conoce como principio de independencia de la trayectoria.

 DE FUNCIONES DE VARIABLE COMPLEJA

TEMA 4. INTEGRACION

on analTeorema 4.4 (Principio de independencia de la trayectoria) Sea f (z) una funci

y
z
dos
puntos
de
D.
Entonces,
tica en todo punto de un dominio simplemente conexo
D
y
sean
z
1
2
Rz
a del contorno utilizado
si usamos contornos contenidos en D, el valor de z12 f (z) dz no depender
para ir de z1 a z2 .
Demostraci
on.
Sea D un dominio simplemente conexo y C1 y C2 dos contornos en D sin
intersecci
on que van de z1 a z2 . Se tiene que los contornos C1 y C2 forman un contorno cerrado
simple, que denominaremos C. Luego, por el Teorema de Cauchy-Goursat
Z
f (z) dz = 0,
C

pero

Z
C

f (z) dz =
Z
=

por lo tanto,

Z
C1
C1

f (z) dz +

f (z) dz

Z
f (z) dz

C2

f (z) dz,

Z
C1

C2

f (z) dz =

C2

f (z) dz

lo cual indica que la integral desde z1 hasta z2 es as independiente del contorno seguido, en tanto
ese contorno se encuentre dentro de D.
2
Del principio de la independencia de la trayectoria podemos definir la primitiva de una funcion
de variable compleja. Sea f (z) una funcion analtica en un dominio simplemente conexo D. Sea
z0 un punto de D. La funcion F (z) definida en D por
Z z
f (s) ds + c,
(4.5)
F (z) =
z0

donde c es una constante compleja, se denomina integral indefinida o primitiva de f . En realidad

umero infinito de primitivas. Dichas primitivas difieren en valores constantes y
f (z) posee un n
son analticas en D, y satisfacen
F 0 (z) = f (z).
R
Usamos la integral indefinida f (z) dz para indicar todas lasR posibles primitivas de f (z). El valor
z
de la constante correspondiente a una primitiva especfica z0 f (s) ds queda determinado por el
lmite de integraci
on inferior como se muestra en el siguiente ejemplo.
Ejemplo 4.5

a) Encuentre las primitivas de f (z) = z sen z.

Rz
b) Emplee el resultado del apartado (a) para calcular s sen s ds.

Soluci
on.

R
a) A fin de calcular z sen z dz usaremos el metodo de integraci
on por partes. As, con u = z,
dv = sen z dz, v = cos z, tenemos
Z
Z
z sen z dz = z cos z + cos dz = z cos z + sen z + c = F (z).

 DE FUNCIONES DE VARIABLE COMPLEJA

TEMA 4. INTEGRACION

Rz
b) Usando el resultado de (a) tenemos w sen w dw = z cos z + sen z + c. Para determinar
on es cero cuando z = . El
el valor de c observemos que el lado izquierdo de esta ecuaci
lado derecho coincide con el lado izquierdo en z = si tomamos c = . Por lo tanto,
Z z
w sen w dw = z cos z + sen z .

Seg
un la ecuaci
on (4.5), una integral definida se puede evaluar como el cambio en el valor de
la integral indefinida, como en el c
alculo elemental

Z

f (z) dz = F () F () = F (z) .
(4.6)

Ejemplo 4.6 Calcular la integral definida

Z

z sen z dz.

Soluci
on. Tomando F (z) = z cos z + sen z del ejemplo 5.6 tenemos:
1
Z 1

z sen z dz = [z cos z + sen z ] = cos 1 + sen 1 .

4.5

F
ormula integral de Cauchy

En esta secci
on veremos que si una funcion es analtica en un punto, sus derivadas de todos
los ordenes existen en ese punto y son tambien analticas ah. Previo a este resultado veremos
un resultado curioso que se obtiene a traves del Teorema de Cauchy-Goursat. Si consideramos
una funcion analtica sobre y en el interior de un contorno cerrado simple, basta con conocer los
valores que ella toma sobre ese contorno, para determinar los valores que toma en el interior del
mismo. Este resultado se conoce como f
ormula integral de Cauchy.
Teorema 4.5 (F
ormula integral de Cauchy) Sea f (z) una funci
on analtica en un dominio
simplemente conexo D. Sea C un contorno cerrado simple perteneciente a D. Sea z0 un punto
interior de C. Entonces
Z
1
f (z)
f (z0 ) =
dz.
(4.7)
2i C (z z0 )
La formula (4.7) se denomina f
ormula integral de Cauchy. El siguiente ejemplo aclara el uso
on de integrales.
de esta formula en la evaluaci
Ejemplo 4.7 Hallar el valor de la integral
Z
C

donde C es la circunferencia |z i| = 2.

dz
.
+4

z2

 DE FUNCIONES DE VARIABLE COMPLEJA

TEMA 4. INTEGRACION

Soluci
on. No podemos decidir de inmediato si debemos aplicar la formula integral de Cauchy o
el teorema de Cauchy-Goursat. Factorizando el denominador tenemos.
Z
dz
.
C (z 2i)(z + 2i)
Observamos que el factor z 2i se anula dentro del contorno de integraci
on y que z + 2i no se
anula ni sobre el contorno ni en su interior. Escribiendo la integral considerada en la forma


1
Z
z + 2i
dz,
C z 2i
vemos que, como 1/(z + 2i) es analtica tanto en la circunferencia |z i| = 2 como en su interior,
podemos usar la formula integral de Cauchy. En la ecuaci
on (4.7) tomamos f (z) = 1/(z + 2i) y
z0 = 2i, obteniendo luego


1
Z
Z
1
1
1
dz
z + 2i
=
dz =
.
4i
2i C z 2i
2i C z 2 + 4
As, el valor de la integral considerada es
Z
C

dz

= .
+4
2

z2

Veamos que si una funcion es analtica en un punto, sus derivadas de todos los ordenes existen
en ese punto y son tambien analticas.
on analTeorema 4.6 (Extensi
on de la f
ormula integral de Cauchy) Sea f (z) una funci
tica en un dominio simplemente conexo D. Sea C un contorno cerrado simple perteneciente a D.
Sea z0 un punto interior de C. Entonces f es infinitamente diferenciable en cada punto de D y
la derivada n-esima de f en z0 es:
Z
n!
f (z)
(n)
f (z0 ) =
dz.
(4.8)
2i C (z z0 )n+1
Adem
as, f (n) (z) es analtica en D para cada n.
on de integrales.
El siguiente ejemplo aclara el uso de la ecuaci
on (4.8) en la evaluaci
Ejemplo 4.8 Hallar el valor de la integral
Z
C

donde C es la circunferencia |z i| = 2.

(z 2

dz
,
+ 4)2

 DE FUNCIONES DE VARIABLE COMPLEJA

TEMA 4. INTEGRACION

Soluci
on. No podemos decidir de inmediato si debemos aplicar la formula integral de Cauchy o
el teorema de Cauchy-Goursat. Factorizando el denominador tenemos.
Z
dz
.
2
2
C (z 2i) (z + 2i)
Tomando f (z) = 1/(z + 2i)2 y z0 = 2i obtenemos, seg
un la ecuaci
on (4.8),
Z
1
dz
,
f 0 (2i) =
2
2i C (z + 4)2
dado que f (z) es analtica sobre y en el interior de C. Como f 0 (z) =
integral es:

Z
C

4.5.1

(z 2

2
, el valor de la
(z + 2i)3

dz

= .
2
+ 4)
16

Algunas aplicaciones de la f
ormula integral de Cauchy

En esta secci
on estudiaremos algunas de las consecuencias de la formula integral de Cauchy y de
su extensi
on.
on f (z) es continua en todo un dominio
Teorema 4.7 (Teorema de Morera) Si una funci
simplemente conexo D y si para cada contorno cerrado simple C que se encuentra en D,
Z
f (z) dz = 0,
C

entonces f es analtica en todo D.

El Teorema de Morera sirve como recproco del Teorema de Cauchy-Goursat.
Teorema 4.8 (Teorema del valor medio de Gauss) Sea f (z) una funci
on analtica en un
dominio simplemente conexo D. Sea z = z0 + rei , donde 0 r r0 y 0 2, un crculo de
centro en z0 y radio r0 > 0 perteneciente a D. Entonces,
Z 2
1
f (z0 ) =
f (z0 + rei ) d.
(4.9)
2 0
La expresi
on de la derecha de la ecuaci
on (4.9) es la media aritmetica o valor medio de f (z) a
lo largo de la circunferencia del crculo. El teorema del valor medio de Gauss puede usarse para
demostrar importantes propiedades de las funciones analticas:
Teorema 4.9 (Principio del m
odulo m
aximo) Si f (z) es analtica y no constante en el interior de una regi
on, entonces |f (z)| no tiene m
aximo en esa regi
on.
Teorema 4.10 (Principio del m
odulo mnimo) Si f (z) es analtica no nula y no constante
en el interior de una regi
on, entonces |f (z)| no tiene mnimo en esa regi
on.
Ahora, la extensi
on de la formula integral de Cauchy nos permite obtener un sorprendente
resultado:
Teorema 4.11 (Teorema de Liouville) Si f (z) es entera y acotada para todos los valores de
z en el plano complejo, entonces f (z) es constante.