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 denida
Sea F(t) una funcion de variable real con valores complejos denida como
F(t) = U(t) + iV (t),
donde U(t) y V (t) son funciones reales de t continuas a trazos denidas en el intervalo acotado y
cerrado a t b. Bajo estas condiciones, la funcion F es continua a trozos y la integral denida
de F(t) en el intervalo a t b se dene como:
_
b
a
F(t)dt =
_
b
a
U(t)dt + i
_
b
a
V (t)dt, (4.1)
y se dice que F(t) es integrable en [a, b].
Propiedades de la integral denida
Sean F(t) = U(t) +iV (t), F
1
(t) = U
1
(t) +iV
1
(t) y F
2
(t) = U
2
(t) + iV
2
(t), integrables en [a, b]. A
partir de la ecuaci on (4.1) se deducen facilmente las siguientes propiedades de la integral denida.
i) Re
_
_
b
a
F(t)dt
_
=
_
b
a
Re {F(t)} dt.
ii) Im
_
_
b
a
F(t)dt
_
=
_
b
a
Im {F(t)} dt.
iii)
_
b
a
cF(t)dt = c
_
b
a
F(t)dt, para toda constante compleja c.
iv)
_
b
a
[F
1
(t) + F
2
(t)] dt =
_
b
a
F
1
(t)dt +
_
b
a
F
2
(t)dt.
v)

_
b
a
F(t)dt

_
b
a
|F(t)| dt.
Ejemplo 4.1 Calcular la integral
_
/4
0
e
it
dt.
1
TEMA 4. INTEGRACI

ON DE FUNCIONES DE VARIABLE COMPLEJA 2

Soluci on. Se tiene que e
it
= cos t + isen t, ahora, utilizando la ecuaci on (4.1)
_
/4
0
e
it
dt =
_
/4
0
cos t dt + i
_
/4
0
sen t dt
= [sent]
/4
0
+ i [cos t]
/4
0
=

2
2
+ i
2

2
2
.

4.2 Integraci on de lnea

4.2.1 Contornos
Se presentan ahora varias clases de curvas adecuadas para el estudio de las integrales de una
funcion de variable compleja.
Denici on 4.1 (Curva) Una curva C es un conjunto de puntos z = x+iy en el plano complejo
tales que
x = x(t), y = y(t), (a t b),
donde x(t) y y(t) son funciones continuas en el intervalo [a, b]. Los puntos de C se pueden
describir mediante la ecuacion
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.
Denici on 4.2 (Curva suave) Una curva C se llama curva suave, si z

(t) = x

(t) + iy

(t)
existe y es continua en el intervalo a t b y si z

(t) nunca se hace cero en el intervalo.

Denici on 4.3 (Contorno) Un contorno o curva suave a tramos, es una curva que consta de
un n umero nito de curvas suaves unidas por sus extremos.
Denici on 4.4 (Contorno cerrado simple) Sea C un contorno. Se dice que C es un con-
torno cerrado simple si solamente los valores inicial y nal 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)) y v(x(t), y(t)),
TEMA 4. INTEGRACI

ON DE FUNCIONES DE VARIABLE COMPLEJA 3

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

(t) dt, (4.2)

donde z

(t) = x

(t) + iy

(t).
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,
_
C
f(z) dz =
_
b
a
f(z(t))z

(t) dt, (4.3)

donde z

(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
por la ecuaci on z = z(t) (a t b). A partir de la ecuaci on (4.2) se deducen facilmente las
siguientes propiedades de las integrales de lnea.
i)
_
C
af(z) dz = a
_
C
f(z) dz, para toda constante compleja a.
ii)
_
C
[f(z) + g(z)] dz =
_
C
f(z) dz +
_
C
g(z) dz.
iii) Si C consta de una curva C
1
desde
1
hasta
1
y de la curva C
2
desde
2
hasta
2
, donde

1
=
2
, se cumple:
_
C
f(z) dz =
_
C
1
f(z) dz +
_
C
2
f(z) dz.
iv)

_
C
f(z) dz

_
b
a
|f(z(t))z

(t)| dt.
Ejemplo 4.2 Calcular
_
|z|=1
1
z
dz,
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) = e
it
, (0 t 2).
As,
_
|z|=1
1
z
dz = i
_
2
0
e
it
_
ie
it

dt
= i
_
2
0
dt
= 2i.

TEMA 4. INTEGRACI

ON DE FUNCIONES DE VARIABLE COMPLEJA 4

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
funcion analtica sobre y en el interior de C. Entonces
_
C
f(z) dz = 0. (4.4)
El Teorema de Cauchy-Goursat es uno de los mas importantes en la teora de variable com-
pleja. Una de las razones es que puede ahorrarnos una gran contidad de trabajo al realizar cierto
tipo de integraciones. Por ejemplo, integrales como
_
C
sen dz,
_
C
cosh dz y
_
C
e
z
dz deben anu-
larse si C es un contorno cerrado simple cualquiera. En todos estos casos, el integrando es una
funcion entera.
Observese que la direcci on de integraci on en la ecuaci on (4.4) no afecta el resultado pues
_
C
f(z) dz =
_
C
f(z) dz.
El siguiente ejemplo verica la validez del Teorema de Cauchy-Goursat.
Ejemplo 4.3 Verique que
_
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
_
C
z
n
dz = 0.
Veamos que esto es efectivamente cierto. Una parametrizaci on de |z| = r es:
z(t) = re
it
, (0 t 2),
luego
_
C
z
n
dz = i
_
2
0
_
e
it
_
n
_
ire
it
_
dt
= ir
n+1
_
2
0
e
i(n+1)t
dt
= ir
n+1
_
2
0
[cos ((n + 1)t) + isen ((n + 1)t)] dt
=
ir
n+1
n + 1
[sen ((n + 1)t) i cos ((n + 1)t)]

2
0
= 0.
De esta forma se ha vericado el Teorema de Cauchy-Goursat para un caso particular.
Denici 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.
TEMA 4. INTEGRACI

ON DE FUNCIONES DE VARIABLE COMPLEJA 5

Denici on 4.6 (Dominio multiplemente conexo) Un dominio D se dice multiplemente co-
nexo si no es simplemente conexo.
El Teorema de Cauchy-Goursat se puede extender para dominios simplemente conexos.
Teorema 4.2 Si una funcion f es analtica en un dominio simplemente conexo D, entonces para
todo contorno cerrado simple C, dentro de D, se sumple
_
C
f(z) dz = 0.
De igual forma, el Teorema de Cauchy-Goursat se puede extender para dominios multiple-
mente conexos.
Teorema 4.3 Se denota a C como un contorno cerrado simple y a C
j
(j = 1, 2, . . . , n) como un
n umero nito de contornos cerrados simples interiores a C tales que los conjuntos interiores a
cada C
j
no tienen puntos en com un. R es la region cerrada que consta de todos los puntos dentro
y sobre C excepto los puntos interiores a cada C
j
(R es un dominio multiplemente conexo). Se
denota por B la frontera completa orientada de R que consta de C y todos los C
j
, descrita en
una direccion tal que los puntos de R se encuentran a la izquierda de B. En este caso, si una
funcion f es analtica en R, entonces
_
B
= f(z) dz = 0.
El siguiente ejemplo aclara el signicado de este teorema.
Ejemplo 4.4 Demostrar que
_
B
dz
z
2
(z
2
1)
= 0,
donde B consta de la circunferencia |z| = 2 descrita en la direccion positiva, y de las circunfe-
rencias |z + 1| = 1/2, |z| = 1/2 y |z 1| = 1/2, descritas en la direccion 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
_
B
dz
z
2
(z
2
1)
= 0.

4.4 Integral indenida

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.
TEMA 4. INTEGRACI

ON DE FUNCIONES DE VARIABLE COMPLEJA 6

Teorema 4.4 (Principio de independencia de la trayectoria) Sea f(z) una funcion anal-
tica en todo punto de un dominio simplemente conexo D y sean z
1
y z
2
dos puntos de D. Entonces,
si usamos contornos contenidos en D, el valor de
_
z
2
z
1
f(z) dz no depender a del contorno utilizado
para ir de z
1
a z
2
.
Demostraci on. Sea D un dominio simplemente conexo y C
1
y C
2
dos contornos en D sin
intersecci on que van de z
1
a z
2
. Se tiene que los contornos C
1
y C
2
forman un contorno cerrado
simple, que denominaremos C. Luego, por el Teorema de Cauchy-Goursat
_
C
f(z) dz = 0,
pero
_
C
f(z) dz =
_
C
1
f(z) dz +
_
C
2
f(z) dz
=
_
C
1
f(z) dz
_
C
2
f(z) dz,
por lo tanto,
_
C
1
f(z) dz =
_
C
2
f(z) dz
lo cual indica que la integral desde z
1
hasta z
2
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 denir la primitiva de una funcion
de variable compleja. Sea f(z) una funcion analtica en un dominio simplemente conexo D. Sea
z
0
un punto de D. La funcion F(z) denida en D por
F(z) =
_
z
z
0
f(s) ds + c, (4.5)
donde c es una constante compleja, se denomina integral indenida o primitiva de f. En realidad
f(z) posee un n umero innito de primitivas. Dichas primitivas dieren en valores constantes y
son analticas en D, y satisfacen
F

(z) = f(z).
Usamos la integral indenida
_
f(z) dz para indicar todas las posibles primitivas de f(z). El valor
de la constante correspondiente a una primitiva especca
_
z
z
0
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.
b) Emplee el resultado del apartado (a) para calcular
_
z

s sens ds.
Soluci on.
a) A n 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 sen z dz = z cos z +
_
cos dz = z cos z + sen z + c = F(z).
TEMA 4. INTEGRACI

ON DE FUNCIONES DE VARIABLE COMPLEJA 7

b) Usando el resultado de (a) tenemos
_
z

wsen wdw = z cos z + sen z + c. Para determinar

el valor de c observemos que el lado izquierdo de esta ecuaci on es cero cuando z = . El
lado derecho coincide con el lado izquierdo en z = si tomamos c = . Por lo tanto,
_
z

wsenwdw = z cos z + sen z .

Seg un la ecuaci on (4.5), una integral denida se puede evaluar como el cambio en el valor de
la integral indenida, como en el c alculo elemental
_

f(z) dz = F() F() = F(z)

. (4.6)
Ejemplo 4.6 Calcular la integral denida
_
1

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

z sen z dz = [z cos z + sen z ]

= cos 1 + sen 1 .

4.5 Formula 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 (Formula integral de Cauchy) Sea f(z) una funcion analtica en un dominio
simplemente conexo D. Sea C un contorno cerrado simple perteneciente a D. Sea z
0
un punto
interior de C. Entonces
f(z
0
) =
1
2i
_
C
f(z)
(z z
0
)
dz. (4.7)
La formula (4.7) se denomina formula integral de Cauchy. El siguiente ejemplo aclara el uso
de esta formula en la evaluaci on de integrales.
Ejemplo 4.7 Hallar el valor de la integral
_
C
dz
z
2
+ 4
.
donde C es la circunferencia |z i| = 2.
TEMA 4. INTEGRACI

ON DE FUNCIONES DE VARIABLE COMPLEJA 8

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.
_
C
dz
(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
_
C
_
1
z + 2i
_
z 2i
dz,
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
z
0
= 2i, obteniendo luego
1
4i
=
1
2i
_
C
_
1
z + 2i
_
z 2i
dz =
1
2i
_
C
dz
z
2
+ 4
.
As, el valor de la integral considerada es
_
C
dz
z
2
+ 4
=

2
.

Veamos que si una funcion es analtica en un punto, sus derivadas de todos los ordenes existen
en ese punto y son tambien analticas.
Teorema 4.6 (Extension de la formula integral de Cauchy) Sea f(z) una funcion anal-
tica en un dominio simplemente conexo D. Sea C un contorno cerrado simple perteneciente a D.
Sea z
0
un punto interior de C. Entonces f es innitamente diferenciable en cada punto de D y
la derivada n-esima de f en z
0
es:
f
(n)
(z
0
) =
n!
2i
_
C
f(z)
(z z
0
)
n+1
dz. (4.8)
Adem as, f
(n)
(z) es analtica en D para cada n.
El siguiente ejemplo aclara el uso de la ecuaci on (4.8) en la evaluaci on de integrales.
Ejemplo 4.8 Hallar el valor de la integral
_
C
dz
(z
2
+ 4)
2
,
donde C es la circunferencia |z i| = 2.
TEMA 4. INTEGRACI

ON DE FUNCIONES DE VARIABLE COMPLEJA 9

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.
_
C
dz
(z 2i)
2
(z + 2i)
2
.
Tomando f(z) = 1/(z + 2i)
2
y z
0
= 2i obtenemos, seg un la ecuaci on (4.8),
f

(2i) =
1
2i
_
C
dz
(z
2
+ 4)
2
,
dado que f(z) es analtica sobre y en el interior de C. Como f

(z) =
2
(z + 2i)
3
, el valor de la
integral es:
_
C
dz
(z
2
+ 4)
2
=

16
.

4.5.1 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.
Teorema 4.7 (Teorema de Morera) Si una funcion f(z) es continua en todo un dominio
simplemente conexo D y si para cada contorno cerrado simple C que se encuentra en D,
_
C
f(z) dz = 0,
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 funcion analtica en un
dominio simplemente conexo D. Sea z = z
0
+re
i
, donde 0 r r
0
y 0 2, un crculo de
centro en z
0
y radio r
0
> 0 perteneciente a D. Entonces,
f(z
0
) =
1
2
_
2
0
f(z
0
+ re
i
) d. (4.9)
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 maximo) Si f(z) es analtica y no constante en el in-
terior de una region, entonces |f(z)| no tiene m aximo en esa region.
Teorema 4.10 (Principio del m odulo mnimo) Si f(z) es analtica no nula y no constante
en el interior de una region, entonces |f(z)| no tiene mnimo en esa region.
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.