TEMA III: FUNCIONES DE VARIABLE COMPLEJA

N
umeros complejos

Se define el conjunto de los n

umeros complejos C como
n
o
C = z = (a, b) = a + ib : a, b R , i = 1 .

Al n
umero real a se le denomina parte real de z y se simboliza por a = Re(z). Al n
umero real b se le
llama parte imaginaria de z y se representa por b = Im(z).
Igual que representamos a todo n
umero real en la recta por medio de un punto, de la misma
forma podemos pensar que un n
umero complejo es un punto del plano. Los puntos del eje OX se
identifican con los n
umeros reales z = a = a + i0 = (a, 0), y los del eje OY z = ib = 0 + ib = (0, b) se
denominan imaginarios puros.

Dos n
umeros complejos seran iguales cuando lo sean sus partes reales e imaginarias, respectivamente. Es decir
z1 = a + ib = z2 = c + id a = c , b = d.
Suma: z1 = a + bi y z2 = c + di:
z1 + z2 = (a + ib) + (c + id) = (a + c) + i(b + d).
1

Producto: z1 = a + bi y z2 = c + di. En base a que i2 = 1, se define

(a + ib)(c + id) = ac + iad + ibc + i2 bd = (ac bd) + i(ad + bc),
que respeta el producto de n
umeros reales y sigue teniendo como elemento neutro al 1 = 1 + i0
(a + i0)(c + i0) = (ac) + i0 ;

(a + ib)(1 + i0) = a + ib.

Este producto permite definir el cociente a partir del inverso. Sea z = a + ib 6= 0. Entonces
b
1
a
i 2
.
= 2
2
z
a +b
a + b2
Es facil comprobar que z

1
= 1. Luego, si z2 6= 0:
z
1
z1
= z1 .
z2
z2

Conjugado: Dado z = a + ib, se define su conjugado z = a ib, que determina el punto del plano
simetrico a z respecto al eje OX. Se verifica:
z z = a2 + b2 , z1 z2 = z1 z2 , z1 z2 = z1 z2 ,

z1
z2

z1
,
z2

Re(z) =

z+z
,
2

Im(z) =

zz
.
2i

Forma Polar: Todo punto del plano tiene asociadas unas coordenadas polares (r, ) que lo determinan. Dado z = a + ib, se tiene
(

a = r cos
b = r sen

r = a2 + b2 = |z|

= arctg

b
a

= arg(z)

z = a + ib = r cos + i r sen = r(cos + i sen ) = r .

Naturalmente, arg(z) queda definido salvo m

ultiplos enteros de 2. Conviene entonces fijar un intervalo de definicion de dicho argumento: lo tomaremos en (, ].
i = 1 2 , 1 = 1 , 1 + i =

2 4 .

Producto en forma polar:

z1
=
z2

z1 z2 = (|z1 | |z2 |)arg(z1 )+arg(z2 ) ;

|z1 |
|z2 |

(z2 6= 0);
arg(z1 )arg(z2 )

1
=
z

1
|z|

.
arg(z)

Potencias de un complejo: z = r(cos + i sen ) = |z|arg(z) ;

z n = |z|nn arg(z) = rn [cos(n) + i sen(n)] ;
(cos + i sen )n = cos(n) + i sen(n)

(Formula de De Moivre).

Races de un complejo:

n
z=

q
n

|z|

(k = 0, 1, 2, ..., n 1).

arg(z)+2k
n

Funciones analticas

Una aplicacion entre dos subconjuntos de n

umeros complejos, define una funcion de variable compleja.
Por ejemplo:
1
.
z
Como f (z) C, podemos descomponer toda funcion en la forma f (z) = f (x + iy) = u(x, y) + iv(x, y),
f (z) = z + 5, f (z) = z 2 , f (z) =

donde
u(x, y) = Re f (z), v(x, y) = Im f (z).
Ejemplo: f (z) = z 2 = (x + iy)2 = x2 y 2 + i2xy, luego Re f (z) = u(x, y) = x2 y 2 e Im f (z) =
v(x, y) = 2xy.
Podemos entender una funcion de variable compleja como una aplicacion de R2 en R2 , por lo
que el concepto de lmite funcional queda recogido del caso real:
lim f (z) = w0 > 0, > 0 : |z z0 | < |f (z) w0 | < .

zz0

Si f (z) = u(x, y) + iv(x, y), z0 = x0 + iy0 , w0 = a + ib, entonces

lim f (z) = w0

zz0

lim

u(x, y) = a

lim

v(x, y) = b.

(x,y)(x0 ,y0 )
(x,y)(x0 ,y0 )

Propiedades:
Si existe lim f (z), entonces es u
nico.
zz0

lim [f (z) g(z)] = lim f (z) lim g(z).

zz0

zz0

zz0

lim [f (z) g(z)] = lim f (z) lim g(z).

zz0

zz0

lim

zz0

zz0

lim f (z)
f (z)
zz0
=
, siempre que lim g(z) 6= 0.
zz0
g(z)
lim g(z)
zz0

Ejemplos:
1. lim (z 2 + c) =
zz0

2. lim z =
zz0

lim

(x2 y 2 + i2xy + c) = x20 y02 + i2x0 y0 + c = z02 + c.

(x,y)(x0 ,y0 )

lim

(x,y)(x0 ,y0 )

x + iy = x0 iy0 = z0 .

z2
x2 y 2 2ixy
(x2 y 2 2ixy)(x iy)
=
lim
=
lim
. El calculo se comzz0 z
x + iy
x2 + y 2
(x,y)(x0 ,y0 )
(x,y)(x
0 ,y0 )
z2
|z|2

= |z| y que el u
nico n
umero complejo
plica. Sin embargo si tenemos en cuenta que =
z
|z|
z2
que tiene modulo cero es z = 0, podemos concluir que lim
= 0.
zz0 z

3. lim

De igual forma podemos introducir los lmites en el infinito:

lim f (z) = w0 > 0, M > 0 : |z| > M |f (z) w0 | <

lim f (z) = M > 0, > 0 : |z z0 | < |f (z)| > M.

zz0

on de variable compleja f (z) es continua en z0 si

Definici
on 2.1 Una funci
1. existe lim f (z);
zz0

2. existe f (z0 );
3. lim f (z) = f (z0 ).
zz0

2.1

Derivaci
on

Se define la derivada de f (z) en z0 por el lmite

f (z) f (z0 )
df
(z0 ) = f 0 (z0 ) = lim
,
zz
0
dz
z z0
siempre que dicho lmite exista. En tal caso, tambien se puede escribir
f 0 (z0 ) = lim

z0

f (z0 + z) f (z0 )
z

(z = z z0 ).

Ejemplos:
f (z) = z 2 ;

(z + z)2 z 2
= lim (2z + z) = 2z.
z0
z0
z

f 0 (z) = lim
f (z) = |z|2 ;

(z + z)(z + z) zz
|z + z|2 |z|2
= lim
=
z0
z0
z
z

f 0 (z) = lim

"

zz + zz + zz + zz zz
z
=
= lim z + z
+ z ,
z0
z
z
por lo que si z = 0 es claro que f 0 (0) = 0. Sin embargo, si z 6= 0 podemos comprobar la no
z
derivabilidad de f , dado que el lmite del cociente
no existe:
z

z = x :

z
= 1,
z

z
=
z

z = iy :

z
= 1.
z

Proposici
on 1 Si f (z) es derivable en z0 , entonces es continua en z0 .
Demostracion:

lim [f (z) f (z0 )] = lim

zz0

zz0

f (z) f (z0 )
f (z) f (z0 )
(z z0 ) = lim
zz0
z z0
z z0

lim (z z0 ) = f 0 (z0 ) 0 = 0.

zz0

Reglas de derivaci
on
d
C = 0, (C C);
dz
d
df
dg
3)
[f (z) g(z)] =
(z) (z);
dz
dz
dz
1)

5)

dz n
= nz n1 (z 6= 0 si n < 0);
dz
d
4)
[f (z) g(z)] = f 0 (z) g(z) + f (z) g 0 (z);
dz
2)

f 0 (z) g(z) f (z) g 0 (z)

d
d f (z)
=
; 6)
[f (g(z))] = f 0 (g(z)) g 0 (z).
2
dz g(z)
g (z)
dz
5

Ejemplos: f (z) = 3z 2 2z + 4, f (z) = (1 4z 2 )3 , f (z) =

(1 + z 2 )4
.
z2

Ecuaciones de Cauchy-Riemann
Anteriormente se comprobo que la funcion f (z) = |z|2 solo admite derivada en z = 0. Por otro
lado f (z) = |z|2 = x2 + y 2 , luego u(x, y) = Re f = x2 + y 2 y v(x, y) = Im f = 0 son funciones
infinitamente diferenciables. Una primera conclusion es que el buen comportamiento de la parte real
e imaginaria de una funcion compleja no basta para su derivabilidad.
Obtendremos una pareja de ecuaciones que han de satisfacer en un punto las derivadas parciales
de primer orden de las partes real e imaginaria de una funcion f (z) que admita derivada en dicho
punto. Supongamos que existe f 0 (z0 ):
f (z0 + z) f (z0 )
.
z0
z

f 0 (z0 ) = lim

Si z0 = x0 + iy0 , z = x + iy y Re f = u(x, y) e Im f = v(x, y):

f (z0 + z) f (z0 )
Re[f (z0 )] =
lim
Re
,
z
(x,y)(0,0)
0

Im[f 0 (z0 )] =

lim

(x,y)(0,0)

Im

f (z0 + z) f (z0 )
.
z

Ademas,
u(x0 + x, y0 + y) u(x0 , y0 ) + i [v(x0 + x, y0 + y) v(x, y0 )]
f (z0 + z) f (z0 )
=
.
z
x + iy
Que f 0 (z0 ) exista implica que para cualquier eleccion de z 0 el lmite existe, y es el mismo.
Entonces, si tomamos z = x
u(x0 + x, y0 ) u(x0 , y0 )
= ux (x0 , y0 ),
x0
x

Re[f 0 (z0 )] = lim

v(x0 + x, y0 ) v(x0 , y0 )
= vx (x0 , y0 ),
y0
x

Im[f 0 (z0 )] = lim

de donde

f 0 (z0 ) = ux (x0 , y0 ) + iv(x0 , y0 ).

Si tomamos z = iy, nos queda
1
f 0 (z0 ) = uy (x0 , y0 ) + vy (x0 , y0 ) = iuy (x0 , y0 ) + vy (x0 , y0 ).
i
Tenemos entonces que si f 0 (z0 ) existe, necesariamente las anteriores expresiones deben coincidir, y
llegamos a
ux (x0 , y0 ) = vy (x0 , y0 )
uy (x0 , y0 ) = vx (x0 , y0 )

(Ecuaciones de Cauchy-Riemann).
6

Deducimos por tanto que, si en alg

un punto z0 no se verifican las ecuaciones de Cauchy-Riemann,
entonces no puede existir f 0 (z0 ). Este papel de las mencionadas ecuaciones es mas relevante a
un y
queda reflejado en el siguiente teorema.
Teorema 2.1 Si f (z) = u(x, y) + iv(x, y) es tal que las derivadas parciales ux , uy , vx y vy son
funciones continuas en z0 = x0 + iy0 , entonces f 0 (z0 ) existe si y s
olo si u(x, y) y v(x, y) satisfacen las
ecuaciones de Cauchy-Riemann en z0 .
Esto nos permite estudiar la derivabilidad de cualquier funcion analizando su parte real y su
parte imaginaria.
Ejemplos:
f (z) = z 2 = x2 y 2 + i2xy.
u(x, y) = x2 y 2 , ux (x, y) = 2x, uy (x, y) = 2y,
v(x, y) = 2xy,

vx (x, y) = 2y,

vy (x, y) = 2x.

Las funciones ux , uy , vx , vy son continuas en todo R2 . Ademas, para todo punto (x, y) se
verifica que ux (x, y) = vy (x, y) y que uy (x, y) = vx (x, y). Por tanto existe f 0 (z) para todo
z C y su valor es
f 0 (z) = ux (x, y) + ivx (x, y) = 2x + i2y = 2(x + iy) = 2z.
f (z) = z z = |z|2 = x2 + y 2 .
u(x, y) = x2 + y 2 , ux (x, y) = 2x, uy (x, y) = 2y,
v(x, y) = 0,

vx (x, y) = 0,

vy (x, y) = 0.

Las funciones ux , uy , vx , vy son continuas en todo R2 , sin embargo solo se verifican las ecuaciones
de Cauchy-Riemann para (x, y) = (0, 0). Por tanto no existe f 0 (z) para z 6= 0, mientras que
f 0 (0) = 0.
1
f (z) = x2 + ixy.
2

1
u(x, y) = x2 , ux (x, y) = x, uy (x, y) = 0,
2
v(x, y) = xy,

vx (x, y) = y,
7

vy (x, y) = x.

Las funciones ux , uy , vx , vy son continuas en todo R2 , sin embargo para que se verifiquen las
ecuaciones de Cauchy-Riemann, hemos de exigir que y = 0. Por tanto solo existe f 0 (z) para
z = x + i0 y f 0 (x + i0) = x + i0.
1
f (z) = xy + i y 2 .
2

u(x, y) = xy,

ux (x, y) = y, uy (x, y) = x,

v(x, y) = 21 y 2 , vx (x, y) = 0,

vy (x, y) = y.

Las funciones ux , uy , vx , vy son continuas en todo R2 , sin embargo en este caso para que se
verifiquen las ecuaciones de Cauchy-Riemann, hemos de exigir que x = 0. Por tanto solo existe
f 0 (z) para z = iy, y f 0 (iy) = y.

2.2

Funciones Analticas

on f (z) de variable compleja se dice analtica u holomorfa en z0 , si existe

Definici
on 2.2 Una funci
f 0 (z) en todo punto z perteneciente a una bola B(z0 , r) centrada en z0 .
En los ejemplos anteriores podemos comprobar que f (z) = z 2 es holomorfa en todo C, mientras
que las otras tres funciones no son holomorfas en ning
un punto.
Una funcion se dice que es entera si es holomorfa en todo C. Por ejemplo, los polinomios.
Propiedades: Dadas f (z) y g(z) holomorfas en z0 , entonces:
f (z) g(z) es holomorfa en z0 .
f (z) g(z) es holomorfa en z0 .

f (z)
es holomorfa en z0 siempre que g(z0 ) 6= 0.
g(z)

Definici
on 2.3 Si f (z) es analtica en una bola B(z0 , r) centrada en z0 salvo en el propio z0 , diremos
que z0 es una singularidad (aislada) de f (z).
Ejemplo: f (z) =

1
z

(z 6= 0), f (z) es derivable en todo C {0} y f 0 (z) =

1
.
z2

Algunas funciones elementales

3.1

Exponencial

Buscamos definir la extension compleja ez de ex , que conserve todas sus propiedades. Esencialmente
nos interesan dos:
1. ez debe coincidir con ex si z = x + i0 R.
2. ez deber ser entera y f 0 (z) = ez al igual que ex en R.
Para lograr nuestro objetivo, definimos:
f (z) = ez = ex+iy = ex eiy = ex (cos y + i sen y) = ex cos y + i ex sen y.
Claramente se verifica 1. La analiticidad es facil de comprobar con las ecuaciones de Cauchy-Riemann:
u(x, y) = ex cos y, ux (x, y) = ex cos y, uy (x, y) = ex sen y,
v(x, y) = ex sen y, vx (x, y) = ex sen y, vy (x, y) = ex cos y,
de donde ux = vy y uy = vx para todo (x, y). Ademas f 0 (z) = ux (x, y) + ivx (x, y) = ex cos y +
i ex sen y = ez .
Propiedades:
ez1 ez2 = ez1 +z2 ;
(ez )m = emz ;

ez1
= ez1 z2 ;
ez2

ez = (ex )y , es decir |ez | = ex , arg(ez ) = y.

Las dos siguientes propiedades son exclusivas de ez , es decir, no se verifican para ex , x R.
ez es periodica de periodo 2i;
ez puede tomar valores negativos, por ejemplo ei = 1, pero nunca se anula.

3.2

Funciones trigonom
etricas

En base a la formula de Euler sabemos que ei = cos + i sen y ei = cos i sen . Por lo que
podemos escribir
cos =

ei + ei
,
2

sen =

ei ei
.
2i

Definimos de esta forma el seno y el coseno, en el campo real, a partir de la exponencial compleja.
Podemos por tanto extender de esta forma la definicion de seno y coseno de un n
umero complejo por
cos z =

eiz + eiz
,
2

sen z =

eiz eiz
.
2i

A partir de estas definiciones se introducen el resto de las funciones trigonometricas de la forma usual:
tg z =

sen z
1
1
1
, sec z =
, cosec z =
, cotg z =
.
cos z
cos z
sen z
tg z

Propiedades:
sen z y cos z coinciden con sen x y cos x para z = x + i0 R.
sen z y cos z son holomorfas en todo C, o lo que es lo mismo, son funciones enteras.

d
d
(sen z) = cos z y
(cos z) = sen z.
dz
dz

sen2 z + cos2 z = 1.
sen(z1 z2 ) = sen z1 cos z2 cos z1 sen z2 .
cos(z1 z2 ) = cos z1 cos z2 sen z1 sen z2 .
sen z = sen x cosh y + i cos x senh y.
cos z = cos x cosh y i sen x senh y.

d
(tg z) = sec2 z.
dz

Por u
ltimo comentaremos que, a diferencia de lo que ocurre en R, las funciones seno y coseno no estan
acotadas (piensese en el valor de cos(ib), b R).

10

3.3

Logaritmo

La idea es definir la funcion inversa de ez , esto es, debe verificarse que elog z = z. Si log z = u(x, y) +
iv(x, y), entonces
z = elog z = eu(x,y) eiv(x,y) = |z|eiarg(z) ,
luego u(x, y) = log |z| y v(x, y) = arg(z) + 2k, con k Z. Por lo tanto, definimos el logaritmo de un
n
umero complejo como
log z = log |z| + i[arg(z) + 2k]

(k Z).

El problema de esta definicion es que arg(z) no esta u

nicamente definido, ya que si = arg(z) entonces
arg(z) = + 2k tambien verifica que elog z = z.
Definimos el logaritmo principal de z como Log z = log |z|+i Arg(z), donde Arg(z) (, ].
Nota: seguimos sin poder evaluar log(0 + i0), y la funcion log z es discontinua en (, 0) pues arg(z)
lo es. Sin embargo, ahora podemos calcular logaritmos de n
umeros reales negativos.
Ejemplos:

3
3
; b) log(1 i) = log 2 + i
+ 2k ;
2+i
4
4
c) Log(10) = log 10 + i.

a) Log(1 i) = log

Propiedades:
log(z1 z2 ) = log z1 log z2 ;
log z n = n log z;

z1
log
z2

3.4

= log z1 log z2 ;

d
1
(log z) = en C (, 0].
dz
z

Potencias complejas

Si z, w C se define z w de la siguiente forma:

z w = ew(log z) = ew[log |z|+i(arg(z)+2k)] .
Denominamos valor principal de z w al que se obtiene al tomar el logaritmo principal en la definicion.
11

Ejemplo:
(1 + i)2i = e2i[log(1+i)] = e2i[log

2+i( 4 +2k)]

. El valor principal sera e 2 [cos(log 2) + i sen(log 2)].

Integraci
on

Definici
on 4.1 Una curva C del plano complejo es un conjunto de puntos z = x + iy determinados
por una ecuaci
on
z(t) = x(t) + iy(t),

atb

donde x(t) e y(t) son funciones continuas del par

ametro real t.
Ejemplos:
a) z(t) = r cos t + ir sen t = reit ,
c) z(t) = t + i sen t,

t [0, 2]; b) z(t) = t + it,

t [0, 2];

t [0, ].

La curva C : u(t) = z(t), t [b, a] denota la misma curva que C : z(t), t [a, b], pero
recorrida en sentido inverso.
Si z(a) = z(b) se dice que C es una curva cerrada. Si z(t) no se corta a s misma, se dice que
C es una curva de Jordan.
La derivada z 0 (t) se define por z 0 (t) = x0 (t) + iy 0 (t) con t [a, b], donde z 0 (a) y z 0 (b) denotan las
derivadas laterales por la izquierda y por la derecha en a y b respectivamente. As dz = dx + idy =
x0 (t)dt + iy 0 (t)dt.
Las integrales de las funciones de una variable compleja se definen sobre curvas en el plano
complejo.
12

Definici
on 4.2 Sea C : z(t) = x(t) + iy(t),

t [a, b] una curva en el plano complejo y f (z) una

funci
on continua a trozos en C. Se define la integral de f (z) a lo largo de C como
Z
C

f (z)dz =

Z b
a

f [z(t)] z 0 (t)dt

Si f (z) = u(x, y) + iv(x, y),

Z

Z
C

f (z)dz =

Z b
a

(u + iv)(dx + idy) =

(udx vdy) + i(udy + vdx) =

Z b

[u(x(t), y(t))x (t) v(x(t), y(t))y (t)]dt + i

[u(x(t), y(t))y 0 (t) + v(x(t), y(t))x0 (t)]dt.

Ejemplos:
Z

I=

zdz, C : z(t) = t + i sen t,

I=

zdz =

z(t)z 0 (t)dt =

t [0, ].

(t + i sen t)(1 + i cos t)dt =

"

t2 1
sen2 t
[(t sen t cos t) + i(t cos t + sen t)] dt =
2
2

+ i [t sen t]0 =
0

2
2
+ i0 =
.
2
2

I=

z 2 dz, C : z(t) = t + i(t2 + 1),

Z
2

I=
+i

Z 1h
0

z dz =

Z 1h

Z 1

(t2 (t2 + 1)2 )2t 2t(t2 + 1) dt =

3 5
t + t3 t
5

t (t + 1) i2t(t + 1) (1 + i2t)dt =

"

i2
0

I=

t [0, 1]. z 2 = (x iy)2 = x2 y 2 i2xy.

z 2 dz, C : z(t) =

t6 t4
+ + t2
6
4

t + i,

#1

=
0

1 + it,

C1

z 2 dz =

C2

Luego

z 2 dz =

Z 2
1

(3t4 + 3t2 1)dt i2

Z 1
0

(t5 + 2t3 + 2t)dt =

3
10
i .
5
3

1 t 2 : C2 .
Z

Z 1

t2 (t2 + 1)2 + 2t(t2 + 1)2t dt

0 t < 1 : C1

I=
Z

Z 1h

z 2 dz =

(t2 1 i2t)dt =

C1

Z 1

(1 t2 i2t)idt =

C2

z 2 dz.

(t2 1)dt 2i

Z 2

z 2 dz +

2tdt + i

Z 2
1

Z 1
0

tdt =

4
(1 t2 )dt = 3 i .
3

4
7
7
2
+i +3i = i .
I=
z dz =
3
3
3
3
C
2

13

2
+i ,
3

Propiedades:
Z

1.

C=C1 +C2

f (z)dz =

2.

3.

4.1

f (z)dz.

C2

f (z)dz.

kf (z)dz = k

4.

C1

f (z)dz =

f (z)dz +

f (z)dz

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

(k C).
Z

Z
C

f (z)dz

g(z)dz.

Teorema de Cauchy

El siguiente teorema se conoce como teorema de Cauchy

Teorema 4.1 Sea f (z) una funci
on analtica en todos los puntos de una curva de Jordan cerrada C
y en todos los puntos que encierra. Entonces
Z
C

f (z)dz = 0.

Demostracion:
La demostracion de este resultado se basa en la definicion de integral a lo largo de una curva utilizando
la aproximacion por integrales sobre polinomios. No obstante la idea primera que llevo a deducir este
teorema es mas sencilla aunque sobre funciones analticas con derivada continua. Posteriormente se
demostro que esta condicion no era necesaria.
Si f (z) = u(x, y) + iv(x, y) es continua en la region R encerrada por la curva C, as como su
derivada f 0 (z), tenemos entonces que u(x, y) y v(x, y) son funciones continuas en R con derivadas
parciales continuas. Entonces en base al teorema de Green:
Z
C

f (z)dz =

(udx vdy) + i

Z Z

(vdx + udy) =

Z Z

(vx uy )dxdy + i

(ux vy )dxdy.

Pero por las ecuaciones de Cauchy-Riemann, ux = vy y uy = vx , con lo que las dos integrales dobles
son cero.
Este teorema reduce ampliamente la resolucion de integrales sobre contornos cerrados, ya que
nos lleva a considerar solo aquellas funciones que no son analticas.
Ejemplos:
Comprobar el teorema de Cauchy para f (z) = z n , con C : z() = rei ,
14

[0, 2].

 Comprobar que para f (z) =

1
y la misma curva del ejemplo anterior, no es aplicable el teorema
z

de Cauchy.

4.2

La f
ormula integral de Cauchy y su generalizaci
on

Teorema 4.2 Sea f (z) una funci

on analtica en una curva de Jordan cerrada C y en todos los puntos
de su interior. Si z0 es un punto del recinto cerrado por C, entonces
Z

1
f (z0 ) =
2i

f (z)
dz,
z z0

igualdad conocida como la f

ormula integral de Cauchy.
Aplicaciones: Esta formula nos permite calcular algunas integrales mediante una simple evaluaci
on de
funciones en alg
un punto.
Z

cos z
dz, siendo C el borde del triangulo de vertices 0 + 0i, 2 + 2i y 2 2i. Como
z
1
C
f (z) = cos z verifica las condiciones del teorema, tenemos I = 2if (1) = 2i cos 1. Por otro
Z
cos z
dz, pues el punto
lado, no podemos aplicar la formula de Cauchy a la integral I =
C z+1
z = 1 no esta en el recinto encerrado por C. Sin embargo, por el teorema de Cauchy sabemos

I =

que esta u
ltima integral es cero.
Z

I=

cos z
dz, siendo C : |z 2i| = 2.
z2 + 1
Z

I=
Z

I=

z
C

(9

z 2 )(z

+ i)

Z
C

cos z
z+i

zi

dz = 2i

cos i
= cosh 1.
i+i

dz, siendo C : |z| = 2.

Z

I=

cos z
dz =
z2 + 1

z
dz =
2
(9 z )(z + i)

Z
C

z
9z 2

z+i

dz = 2i

= .
2
9 (i)
5

La formula integral de Cauchy permite obtener propiedades de las derivadas de f (z), basandonos
en las reglas de derivacion bajo el signo integral.
Teorema 4.3 Si una funci
on es analtica en una regi
on R, entonces admite derivadas de todos los

ordenes en R. Dichas derivadas son adem

as funciones analticas en R y pueden ser calculadas en
cada punto z0 R por
f (n) (z0 ) =

n!
2i

Z
C

f (z)
dz
(z z0 )n+1

n = 0, 1, 2, ...

donde C representa cualquier curva cerrada de Jordan contenida en R y que rodee a z0 .

15

De nuevo tenemos una forma de evaluar integrales.

Ejemplos:
Z

dz
, siendo C una curva cerrada de Jordan que rodea a z0 . Si tomamos f (z) = 1,
C z z0
Z
dz
concluimos que I = 2i 1 = 2i. Por otro lado
= 0, ya que f (n) (z) = 0 para
n+1
C (z z0 )
n = 1, 2, 3, ....

I =

I=

z 3 + 2z + 1
dz, siendo C : |z| = 2.
(z 1)3
Z

I=
Z

I=

cos z
dz, siendo C : |z 4| = 2.
(z 1)3 (z 5)2

cos z
dz =
(z 1)3 (z 5)2

I=

i
z 3 + 2z + 1
d2 h 3
2i
dz
=
z
+
2z
+
1
(1)
= 6i.
3
2
(z 1)
dz
2!

cos z
(z1)3

2i d
64 sen 5 48 cos 5
cos z
(5) = 2i
.
dz =
2
3
(z 5)
1! dz (z 1)
46

El recproco del teorema de Cauchy tambien es cierto, y se conoce como teorema de Morera.
Teorema 4.4 Si f (z) es continua en una regi
on R y para toda curva de Jordan cerrada C contenida
en R se tiene que

Z
C

f (z)dz = 0,

entonces f (z) es analtica en R.

Este resultado nos aproxima a la idea de campos conservativos en el plano y la mayora de las
aplicaciones que se apoyan en la variable compleja se basan en representar los campos vectoriales
por medio de funciones analticas, ya que aunque la definicion de integral es distinta al caso real, las
operaciones finales s son integrales de lnea de funciones vectoriales.

Desarrollos en serie de potencias

Teorema 5.1 Sea f (z) analtica en el disco D : |z z0 | < R. Si z D, f (z) puede representarse
por un desarrollo en serie de potencias
f (z) =

cn (z z0 )n = c0 + c1 (z z0 ) + c2 (z z0 )2 ....

n=0

16

donde los coeficientes cn vienen dados por

f (n) (z0 )
.
n!

cn =

Por tanto, la serie de potencias converge a f (z) cuando |z z0 | < R.

Ejemplos:
La funcion f (z) = ez tiene el desarrollo en serie
ez =

X
zn
n=0

n!

z C.

La funcion f (z) = sen z tiene el desarrollo en serie de potencias

sen z =

(1)n

n=0

Analogamente,
cos z =

(1)n

n=0

La funcion f (z) =

1
1z

z 2n+1
,
(2n + 1)!
z 2n
,
(2n)!

z C.

z C.

es analtica en |z| < 1. Tiene el desarrollo en serie de potencias

X
1
=
zn = 1 + z + z2 + z3 + . . . ,
1 z n=0

|z| < 1.

A partir de estos, se pueden obtener desarrollos para funciones mas generales.

Ejemplos:
f (z) = z 2 e3z .
f (z) =

1 + 2z 2
.
1 + z2

Desarrollos de Laurent

Definici
on 6.1 El desarrollo en serie de Laurent de una funci
on f (z) viene dado por
f (z) =

cn (z z0 )n = .... + c2 (z z0 )2 + c1 (z z0 )1 + c0 + c1 (z z0 ) + ....

n=

donde la serie converge a f (z) en un cierto dominio del plano complejo.

17

Se pueden obtener ejemplos de desarrollos de Laurent haciendo simples manipulaciones de desarrollos conocidos de Taylor. Por ejemplo:
eu = 1 + u +

u2 u3
+
+ ....
2!
3!

Tomando u = (z 1)1 , obtenemos

1

e z1 = 1 + (z 1)1 +

(z 1)2 (z 1)3
+
+ ....
2!
3!

z 6= 1.

Este ejemplo representa un desarrollo de Laurent sin potencias positivas de (z 1). Si multiplicamos
el desarrollo anterior por (z 1)2 , nos queda
1

(z 1)2 e z1 = .... +

(z 1)1
1
+ + (z 1) + (z 1)2
3!
2!

z 6= 1,

que representa un desarrolo de Laurent con potencias positivas y negativas de (z 1).

Teorema 6.1 Sea f (z) analtica en el anillo D :

r1 < |z z0 | < r2 . Si z D, f (z) puede

representarse por un desarrollo de Laurent

f (z) =

cn (z z0 )n = .... + c2 (z z0 )2 + c1 (z z0 )1 + c0 + c1 (z z0 ) + c2 (z z0 )2 + ....

n=

donde los coeficientes cn vienen dados por

1
cn =
2i

Z
C

f (z)
dz,
(z z0 )n+1

siendo C cualquier curva cerrada contenida en D y que rodee a la circunferencia interior |z z0 | < r1 .
La serie es uniformemente convergente en cualquier regi
on anular centrada en z0 y contenida en D.
Ejemplo:
Hallar el desarrollo de Laurent de f (z) =

1
en potencias de z 1. Establecer el dominio de
z3

convergencia. Tenemos
1
= 1 + w + w2 + w3 + ....,
1w
Por otro lado, si

|w| < 1.
1

1
1
=
= z12 ,
z3
(z 1) 2
1 z1
2
, se llega a
z1

1
2
4
1
=
1+
+
+ .... = (z 1)1 + 2(z 1)2 + 4(z 1)3 + ....
z3
z1
z 1 (z 1)2

y si tomamos w =

La condicion |w| < 1, se transforma en |z 1| > 2.

18

Residuos y su aplicaci
on en integraci
on

Definici
on 7.1 Sea f (z) analtica sobre una curva cerrada de Jordan C y sobre los puntos interiores
a esta salvo en z = z0 . Entonces el residuo de f (z) en z0 , escrito como Res[f (z), z0 ], se define como
el n
umero complejo
1
Res[f (z), z0 ] =
2i

Z
C

f (z)dz.

Teorema 7.1 El residuo de la funci

on f (z) en una singularidad aislada z0 , es el coeficiente c1 de
(z z0 )1 en el desarrollo de Laurent de f (z) en un anillo 0 < |z z0 | < R.
El siguiente teorema se conoce como el teorema de los residuos
Teorema 7.2 Sea C una curva cerrada de Jordan y f (z) analtica sobre C y todos los puntos interiores
salvo en las singularidades aisladas z1 , z2 , ..., zn . Entonces:
1
2i

7.1

Z
C

f (z)dz = Res[f (z), z1 ] + Res[f (z), z2 ] + ... + Res[f (z), zn ].

Singularidades aisladas

Clasificamos las singularidades aisladas (de ahora en adelante denominadas simplemente singularidades) de una funcion f (z) en tres tipos: polo, singularidad esencial y singularidad evitable.
Definici
on 7.2 Si f (z) posee una singularidad en z0 , decimos que z0 es un polo de orden N si
lim (z z0 )N f (z) = c

zz0

Ejemplo: la funcion f (z) =

(c 6= 0, c 6= ).

1
tiene en z = 0 un polo de orden 1 y en z = 1 un polo de orden
z(z 1)2

2.
Definici
on 7.3 Si f (z) posee una singularidad en z0 , decimos que z0 es una singularidad evitable si
lim f (z) = c

zz0

Ejemplo: la funcion f (z) =

(c 6= ).

sen z
sen z
posee una singularidad evitable en z = 0, pues lim
= 1.
z0 z
z

Definici
on 7.4 Si f (z) posee una singularidad en z0 , decimos que z0 es una singularidad esencial si
no es un polo o evitable.

19

Ejemplo: la funcion f (z) = sen

1
posee una singularidad esencial en z = 0.
z

Definici
on 7.5 Sea z0 punto singular de f (z) y

cn (z z0 )n el desarrollo de Laurent de f (z) en

z0 . Llamamos parte principal del desarrollo a la constituida por los sumandos con potencias negativas
de z z0 , es decir .... + ck (z z0 )k + ck+1 (z z0 )k+1 + .... + c2 (z z0 )2 + c1 (z z0 )1 .
Esta definicion nos permite dar una caracterizacion de los distintos tipos de puntos singulares:
Si el desarrollo de Laurent de f (z) en la singularidad z0 posee una parte principal cuya mayor
potencia negativa de z z0 es N , z0 es un polo de orden N .
Ejemplo: f (z) =

1
z(z 1)2

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

0 < z < 1.

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

0 < |z 1| < 1.

Si el desarrollo de Laurent de f (z) en la singularidad z0 no posee parte principal, z0 es una

singularidad evitable
Ejemplo: f (z) =

sen z
z
f (z) = 1

z2 z4
+
+ ....
3!
5!

Si el desarrollo de Laurent de f (z) en la singularidad z0 posee una parte principal con infinitas
potencias negativas de z z0 , z0 es una singularidad esencial.
Ejemplo: f (z) = sen

1
z
f (z) = z 1

z 3 z 5
+
+ ....
3!
5!

z 6= 0.

C
alculo de residuos en polos
Si f (z) tiene un polo de orden N en z0 , entonces
Res[f (z), z0 ] = lim

zz0

El residuo de f (z) =

i
1
dN 1 h
N
(z

z
)
f
(z)
.
0
(N 1)! dz N 1

g(z)
en un polo simple z0 , donde g(z0 ) 6= 0 y h(z0 ) = 0, viene dado por
h(z)
Res[f (z), z0 ] =

20

g(z0 )
.
h0 (z0 )

Ejemplo: Encontrar el residuo de f (z) =

ez
en todos sus polos. En primer lugar, reescribimos
z 2 (z 2 + 1)

la funcion como
f (z) =

ez
,
z 2 (z + i)(z i)

lo que nos muestra que posee polos simples en z = i y un polo de orden dos en z = 0.
Res[f (z), i] = lim(z i)
zi

ez
ei
=

.
z 2 (z + i)(z i)
2i

Para calcular el residuo en z = i podramos usar la misma regla, pero para ilustrar otra lo aborez
daremos como sigue: tomemos g(z) = 2 , la cual verifica que g(i) 6= 0, y h(z) = z 2 + 1, con lo que
z
h0 (z) = 2z. Entonces:
" ez #
ei
2
Res[f (z), i] = z
=
.
2z z=i
2i
Por u
ltimo:

ez
ez (z 2 + 1) 2zez
d
z2 2 2
= lim
= 1.
z0
z0 dz
z (z + 1)
(z 2 + 1)2

Res[f (z), 0] = lim

7.2

Aplicaciones al c
alculo integral

Evaluaci
on de integrales complejas
Z

cos z
cos z
dz siendo C : |z 4| = 4. La funcion f (z) =
es
3 (z 5)2
3 (z 5)2
(z

1)
(z

1)
C
holomorfa en C, excepto en z = 1 (polo triple) y z = 5 (polo doble). Calculemos sus residuos:

I =

i
1 d2 h
1 21 cos 1 + 8 sen 1
3
,
(z

1)
f
(z)
=
2
z1 2 dz
2
256
i
d h
3 cos 5 + 4 sen 5
Res[f (z), 5] = lim
.
(z 5)2 f (z) =
z5 dz
256

Res[f (z), 1] = lim

Por lo tanto
I = 2i {Res[f (z), 1] + Res[f (z), 5]} .
Evaluaci
on de integrales reales
Las integrales definidas reales de la forma

Z 2
0

R(sen , cos )d, donde R representa una funcion

racional, pueden resolverse efectuando el cambio de variable z = ei , dz = iei d; as que

d =

dz
z z 1
z + z 1
, sen =
, cos =
.
iz
2i
2

La variacion de entre 0 y 2, hace que la nueva variable z se mueva a lo largo de la circunferencia

unidad |z| = 1.
21

Ejemplo:

Z 2

dz
iz
zz 1
2i

2dz
.
+ 4iz 1
0
|z|=1
|z|=1 2 +

Los polos del integrando son los ceros de z 2 + 4iz 1, que son z1 = i(2 + 3) y z2 = i(2 + 3).
I=

1
d =
2 + sen

z2

El punto z2 esta fuera del crculo unidad, luego la funcion integrando posee un u
nico polo simple, z1 ,
dentro de la region encerrada por |z| = 1. Entonces:

2
2
I = 2iRes 2
, i(2 + 3) = .
z + 4iz 1
3
Nota: este mismo cambio de variable puede aplicarse cuando aparezcan cos(n) y sen(m), sin mas
que tener en cuenta que
d =

dz
z m z m
z n + z n
, sen(m) =
, cos(n) =
.
iz
2i
2

Ejemplo:
I=

Z 2
0

cos(2)

d = .
5 4 sen
6

Integrales impropias
Sea f (z) una funcion analtica, con un n
umero finito de polos {zk }nk=1 en el semiplano superior,
y ninguno en el eje real. Entonces
Z
C

f (z)dz = 2i

n
X

Res[f (z), zk ],

k=1

donde C : {z = Rei : [0, ]} [R, R], siendo R suficientemente grande, de forma que la curva
C deje en su interior a todos los polos.

-R

22

Pero

Z
C

y por eso

Z R
R

f (z)dz =

Z R
R

n
X

f (t)dt = 2i

f (t)dt +

Z
0

f (Reit )Rieit dt,

Res[f (z), zk ]

Z
0

k=1

f (Reit )Rieit dt.

Si existe el lmite de la u
ltima integral cuando R , podemos calcular una integral impropia.
Normalmente, el lmite es cero y entonces
Z

f (t)dt = 2i

n
X

Res[f (z), zk ].

k=1

Ejemplos:

dt

=
arctg
t
= .

1
+
t

1
Sea f (z) =
, que tiene polos simples en z = i.
1 + z2

Res[f (z), i] = lim(z i)

zi

y de aqu

Z
C

donde C : {z =

Rei

f (z)dz = 2i

y se tiene

f (z)dz =

Z R
R

dt
+
1 + t2

1 + x2

Z
0

1
Rieit dt,
1 + R2 e2it

1
R
it

1 + R2 e2it Rie R2 1 0

Por eso

1
= ,
2i

: [0, ]} [R, R]. Pero

Z

Z
cos x

1
1
1
= ,
= lim
2
zi
1+z
z+i
2i

(R +).

dt
= .
1 + t2

dx.

Consideremos f (z) =

eiz
y la misma curva C del ejemplo anterior. Entonces
z2 + 1
Z
C

eiz

= .
zi z + i
e

f (z)dz = 2iRes[f (z), i] = 2i lim

Pero
Z
C

f (z)dz =

Z R
R

f (t)dt +

Z
0

f (Reit )Rieit dt =
23

Z R
R

eit
dt +
t2 + 1

Z
0

it

eiRe
iReit dt,
R2 e2it + 1

y ademas

eiReit iReit
R iR cos tR sen t
R
R

eR sen t 2
0 (R ).
2 2it
2
e
= 2
R e + 1
R 1
R 1
R 1

Por tanto,

eit

dt = ,
2
t +1
e

y de esto se concluye que

Z
cos t

t2 + 1

dt =

Z
sen t

,
e

t2 + 1

dt = 0.

Demostrar que
Z

x3 sen x
dx = 2
(x2 + a2 )(x2 + b2 )

a2 ea
b2 eb
+
a2 2b2 b2 2a2

teniendo en cuenta el lema de Jordan, que nos garantiza que

Z
0

eR sen t dt <

24

,
R

(R > 0).

a, b > 0,