VARIABLE COMPLEJA

LOS NUMEROS
COMPLEJOS
1

Definici
on, propiedades y reglas de c
alculo

Generalmente se introducen los diferentes conjuntos de n

umeros argumentando
que en cada uno de estos conjuntos se puede resolver determinada ecuaci
on
algebraica. As por ejemplo, la ecuaci
on x 2 = 0 tiene solucion en los n
umeros
naturales N , mientras que la ecuacion x + 2 = 0 ya no tiene soluci
on en este
conjunto N ; para resolverla hay que introducir los n
umeros enteros Z. M
as
a
un, la ecuaci
on 2x 1 = 0 solo puede resolverse introduciendo los n
umeros
racionales Q. Hasta aqu se tiene que N Z Q. Sin embargo, la ecuacion
on en los n
umeros racionales; su soluci
on
no lineal x2 2 = 0 no tiene soluci
pertenece al conjunto de los n
umeros reales #, de hecho, al conjunto de los
n
umeros irracionales I = # \ Q. A
un as, la ecuacion x2 + 2 = 0 no tiene
soluci
on en #. Entonces se introducen los n
umeros imaginarios, definiendo un
nuevo n
umero i como solucion de x2 = 1, y mas generalmente
se define ir como
soluci
on de x2 = r2 . Equivalentemente, para r #, x = i r se considera la
umero complejo es definido como la suma
soluci
on de x2 +r = 0. Finalmente un n
de un n
umero real y un n
umero imaginario. La introducci
on de los n
umeros
complejos es de gran ayuda en el Analisis, como veremos, incluso en el Analisis
de funciones reales.
Definici
on 1 El conjunto de los n
umeros complejos C es definido como
C = {z = a + ib | a, b #, i2 = 1}
Notaci
on 2 Para un n
umero complejo z = a + ib, a se llama la parte real de
z la cual se denota por Re(z), mientras que b se llama la parte imaginaria
de z la cual se denota por Im(z).
La estructura algebraica de los n
umeros complejos esta basada en la definici
on
de una suma y de un producto entre estos. Esta definicion aprovecha operaciones
entre n
umeros reales.
Definici
on 3 Sean z1 = a1 + ib1 , z2 = a2 + ib2 C, entonces se define
la suma: z1 + z2 = (a1 + ib1 ) + (a2 + ib2 ) = (a1 + a2 ) + i(b1 + b2 );
el producto: z2 z1 = (a1 a2 b1 b2 ) + i(a1 b2 + b1 a2 ).
Proposici
on 4 El conjunto de los n
umeros complejos conjuntamente con las
operaciones recien definidas , (C, +, ), forma un campo. En particular:
(C, +) es un grupo (aditivo) abeliano cuyo neutro es el cero z = 0 = 0 + i0.
(C \ {0}, ) es un grupo (multiplicativo) abeliano cuyo neutro es el uno z = 1 =
1 + i0.
1

 Para cada z &= 0 (z = a + ib &= 0 significa: a &= 0 o b &= 0) existe el inverso

multiplicativo z 1 dado por
!
"
a
b
,
z 1 =
.
a2 + b 2 a2 + b 2
Ejercicio 5 Demuestra con todo detalle la u
ltima proposici
on.
Claro que el conjunto de los n
umeros reales # esta contenido en el de los
n
umeros complejos, puesto que para x # vale que x = x + i 0 = (x, 0) C.
Observamos que el producto en C cuando es aplicado a dos n
umeros reales v, w
coincide con el producto estandar en #, puesto que v = v + i0, w = w + i0, y
entonces v w = (vw 0) + i (0 + 0) = vw.
Si interpretamos cada n
umero complejo como un punto en el plano Euclidiano #2 , tomando su parte real y su parte imaginaria como sus dos coordenadas,
se hace evidente que la suma entre n
umeros complejos corresponde a la suma
entre vectores de #2 por coordenadas:
Lema 6 El grupo aditivo de los n
umero complejos (C, +) es isomorfo al grupo
(#2 , +), donde la suma entre vectores de #2 se efectua por coordenadas, es decir,
para z1 = (a1 , b1 ), z2 = (a2 , b2 ) #2 , z1 + z2 = (a1 + b1 , a2 + b2 ).
Dem. 7 Es obvio que el mapeo f : C #2 dado para cualquier z = a + ib C
por f (z) = f (a + ib) = (a, b) es un isomorfismo de (C, +) sobre (#2 , +). !
Como resultado, se justifica interpretar cada n
umero complejo como vector del plano Euclidiano, y la suma entre n
umeros complejos corresponde a la
suma entre vectores del plano y puede ser interpretada geometricamente como
traslacion entre vectores. Tales vectores pueden ser representados tambien por
sus coordenadas polares, lo cual proporciona una representaci
on alternativa de
cada n
umero complejo:
Para (a, b) #2 o equivalentemente z = a + ib C, podemos escribir a =
r cos(), b = r sin() o sea z = r(cos() + i sin()), donde es el angulo entre el
vector z y el eje x, y r es la distancia entre elpunto z y el orgen del sistema de
coordenadas, vea figura 1. Se sigue que r = a2 + b2 y = arctan(b/a).
Notaci
on 8 Al n
umero r se le llama el m
odulo de z y tambien es denotado
por |z|. El
angulo es llamado el argumento de z y es denotado por arg(z).
Un n
umero complejo queda determinado por r = |z| y arg(z), hasta m
ultiplos
de 2, es decir, arg(z) = + 2k, k = 0, 1, .
Ejercicio 9 Encuentre los modulos y argumentos de los siguientes n
umeros
complejos : 1, 1 + i, 5 + 3i, 1 i, 5 + 3i, 5 3i, 5 3i.
En coordenadas polares, la suma y el producto entre n
umeros complejos se
ven como sigue:

Figure 1: Un n
umero complejo en sus representaciones estandar y polar z =
a + ib = r[cos() + i sin()].
Corolario 10 |z1 z2 | = |z1 | |z2 |, arg(z1 z2 ) = arg (z1 ) + arg (z2 ).
Dem. 11 z1 z2 = r1 r2 (cos (1 )+i sin (1 ))(cos (2 )+i sin (2 )) = r1 r2 [cos (1 + 2 )+
i sin (1 + 2 )] !
Ejercicio 12 Usando la representaci
on polar de un n
umero complejo, calcula
una f
ormula para su raiz n-esima, para n natural, n 2.
Cada n
umero complejo tiene un acompa
nante natural a el llamado el complejo conjugado, que se define como sigue:
Definici
on 13 Sea z C. El complejo conjugado de z = a + ib se define por
z = a ib.
2

Corolario 14 Se tiene z z = |z| .

Ejercicio 15 Verifica las siguienes propiedades de los n
umeros complejos. Sean
v, w C.
v w = v w;

1) v + w = v + w,
#v$
v

w = w siempre cuando w &= 0;

2) v w = v w,
3) v
v = |v|2 ;

Norma, m
etrica y abiertos en el plano de los
n
umeros complejos

Cuando interpretamos a un n
umero complejo
z = a + ib como punto o vector

z = (a, b) de #2 , es evidente que |z| = a2 + b2 describe la longitud de este

vector (es decir, su norma Euclideana en #2 ), o equivalentemente su distancia Euclideana al punto cero. M
as generalmente,
para dos n
umeros complejos
%
z1 = a1 + ib1 y z2 = a2 + ib2 , |z1 z2 | = (a1 a2 )2 + (b1 b2 )2 describe la
distancia Euclideana entre los dos vectores z1 = (a1 , b1 ) y z2 = (a2 , b2 ), o equivalentemente la longitud del vector (z1 z2 ), o equivalentemente la longitud del
segmento de lnea recta que une los puntos z1 y z2 . Los conceptos de norma
y metrica son estudiados con detalle en los primeros tres captulos de la parte
An
alisis de este libro.
A continuaci
on definimos algunos conceptos que necesitaremos mas adelante.
Definici
on 16 Sea z C. La bola abierta centrada en z y con radio #
(# #, # > 0) es definida como el conjunto B! (z) = {z " C : |z z " | < #} . Una
bola abierta alrededor de z es una bola abierta centrada en z con alg
un radio
positivo. Un subconjunto A de C se llama abierto si para todo z A existe
una bola abierta alrededor de z la cual est
a contenida en A. Un subconjunto
abierto de C tambien es llamado una regi
on. Un subconjunto abierto de C que
contiene a un punto z es llamado una vecindad abierta de este punto z.
Debido a que se usa la norma y metrica Euclideanas de #2 sobre C, el espacio
normado, metrico y topol
ogico C es completamente equivalente al espacio Euas adelante. Sin
clideano #2 , pero estos espacios lo estudiaremos en captulos m
embargo, cabe notar que el producto definido sobre C causa que las estructuras
algebraicas de C y de #2 son esencialmente diferentes: en C podemos dividir
pero en #2 no.
Ejercicio 17 Verifica las siguienes propiedades de los n
umeros complejos. Sean
v, w C.
1) |v| 0, |v| = 0 v = 0;
|v|
2) |vw| = |v||w|, | wv | = |w|
para w &= 0;
3) |v + w| |v| + |w|.

Sucesiones de n
umeros complejos

Las definiciones de los conceptos de una sucesion de n

umeros complejos y de
su convergencia son analogas a los conceptos correspondientes para n
umeros
reales, y m
as generalmente, reflejan los n
umeros complejos como elementos de un
particular espacio metrico (vea Captulo Convergencia en espacios metricos).
Para m
as claridad, veamos estas definiciones aqu brevemente:
4

Definici
on 18 Una sucesi
on de n
umeros complejos (o sucesi
on en C) es
un mapeo f de los n
umeros naturales en C, f : N C, es decir, f (n) = zn C,
para todo n N . Se usan las notaciones comunmente conocidas (zn )n1 =
(zn )nN = (zn )
en (zn )n0 = (zn )nN {0} .
n=1 = (zn ), o tambi
Definici
on 19 Una sucesi
on de n
umeros complejos (zn )n1 se llama convergente en C si existe z C y para todo # > 0 (# #) existe un n
umero
umero natural n n! . En este caso
natural n! tal que |zn z| < # para todo n
z es llamado el lmite de la sucesi
on, y se escribe
lim zn = z o zn z .

Cuando no existe z X tal que (zn )n1 converge a z, se dice que la sucesi
on
diverge o es una sucesi
on divergente.
La equivalencia topologica entre el plano complejo C y el plano real Euclidiano #2 (en ambos consideramos la norma/metrica Euclidiana) tiene la siguiente
importante consecuencia:
Cualquier sucesion en C puede ser vista como sucesion en #2 . Ademas, una
sucesion en C converge si y solo si las sucesiones correspondientes a la parte real
(primera coordenada) y a la parte imaginaria (segunda coordenada) ambas
convergen. Esta propiedad muestra que la convergencia en C es completamente
determinada por la convergencia de sucesiones de n
umeros reales. Escribamos
eso a continuaci
on formalmente:
Lema 20 Una sucesi
on (zn )nN = (zn )
n=1 con zn = xn + iyn , xn , yn #
para todo n N , converge si y s
olo si las sucesiones (xn )nN y (yn )nN ambas
convergen, cada una en #. Entonces vale que
olo si lim xn = x y lim yn = y .
lim zn = z = x + iy si y s

Ejemplo 21 Consideremos la sucesi

on de n
umeros complejos dada por
!
! "
"n
2
1
(zn ) = 1 +
+i
, nN .
n
n

Aprovechando conocimiento sobre sucesiones de n

umeros reales, tenemos que
!
"n
2
1
= e (n
umero de Euler), lim = 0,
lim 1 +
n
n n
n
lo cual implica

lim zn = e + i 0 = e .

Ejemplo 22 La sucesi
on de n
umeros complejos dada por
! "
1
+ i(1)n , n N
(zn ) =
n2

no converge, es decir, es divergente, aunque la sucesi

on correspondiente a la
parte real converge a 0. Sin embargo, la sucesi
on correspondiente a la parte
imaginaria, yn = (1)n es divergente.
5

Las reglas que ayudan a calcular lmites de sucesiones de n

umeros complejos son analogas a reglas para sucesiones de n
umeros reales. A continuacion
reportamos solo las m
as importantes.
Lema 23 Si (vn )nN y (wn )nN son sucesiones convergentes en C tales que
lim vn = v, lim wn = w ,

entonces tambien son convergentes las sucesiones generadas como suma, diferencia, producto y cociente (con restricciones) de ambas, o mediante la norma
o la operaci
on del complejo conjugado, y las siguientes reglas de c
alculo son
validas:
lim (vn + wn ) = v + w
n

lim (vn wn ) = v w

lim (vn wn ) = v w
'
lim wvnn = wv , si wn &= 0 n, w &= 0

n &
n

lim |vn | = |v|

lim vn = v

n
n

Ademas, se consideran sucesiones en C tendiendo al infinito o propiamente

divergentes, con ayuda de las sucesiones correspondientes de n
umeros reales de
las normas:
Definici
on 24 Una sucesi
on de n
umeros complejos (zn )n1 se llama tendiendo al infinito o propiamente divergente en C, y se escribe
lim zn = ,

siempre cuando

lim |zn | = .

Series de n
umeros complejos

Dada una sucesion de n

umeros complejos (zn )n0 , se forma una serie como
lmite de una suma parcial, an
alogamente como para series de n
umeros reales:

n=0

zn = lim

n
(

zk .

k=0

Debido a que el problema de la convergencia de una serie se reduce al problema de la convergencia de una sucesion, tenemos de nuevo caracterizaciones
de la convergencia basadas en las partes real e imaginaria de la serie:

)
Lema 25 Sea
n=0 zn una serie con zn = xn + iyn , xn , yn # para todo
n 0. Entonces

zn es convergente si y s
olo si

n=0

xn y

n=0

Adem
as vale entonces que

zn =

n=0

n=0

yn ambas son convergentes.

n=0

xn + i

yn

n=0

Un criterio muy importante para poder determinar la convergencia de una

serie, es el siguiente:
)
Lema 26 (Criterio de Cauchy) Una serie de n
umeros complejos
n=0 zn

converge si y s
olo si para cualquier
#

#
con
#
>
0,
existe
n
natural
tal
que
,)m
,
m > n n siempre implica que , k=n+1 zk , < #.
Corolario 27 (Criterio necesario
de convergencia de series) Si una se)
rie de n
umeros complejos n=0 zn converge entonces la sucesi
on (zn )n0 converge a cero.
Ejercicio 28 Demuestra el u
ltimo corolario, aplicando el criterio de Cauchy.
Ejercicio 29 Aplicando
el criterio de Cauchy, demuestren (por contradicci
on)
)
que la serie arm
onica n=0 n1 es divergente. N
otese que este ejemplo tambien
muestra que el criterio necesario de convergencia citado arriba no es suficiente.
An
alogamente como para series de n
umeros reales, se considera la convergencia absoluta:
)
umeros complejos se llama absolutaDefinici
on 30 La serie) n=0 zn de n

mente convergente si n=0 |zn | es convergente en #.

La convergencia absoluta de una serie implica su convergencia, pero la implicaci
on contraria no es verdad. Por ejemplo, la serie
,

(
(
, (1)n , (
(1)n
1
,=
,
converge, pero
es divergente.
,
,
n
n
n
n=0
n=0
n=0
La suma y la multiplicaci
on entre series son definidas como sigue:

vn +

n=0

n=0

vn

n=0
*
(

wn

wn

n=0

=
=

(vn +
n=0
* n

(
(
n=0

k=0

wn )
vk wnk

* n

(
(

n=0

k=0

vnk wk

Ejemplo 31 Recordemos que la funci

on exponencial de variable real x tiene la
siguiente representaci
on mediante una serie:
ex =

(
xn
n!
n=0

Si consideramos la misma serie pero ahora con una variable z compleja, podemos
observar que
, n,

(
,z , (
|z|n
, ,=
= e|z| .
, n! ,
n!
n=0
n=0

La funci
on e|z| tiene una variable real, y sirve como acotaci
on del valor de la
serie para cada z. En consecuencia, la serie es absolutamente convergente y por
lo tanto convergente. Eso significa que la funci
on
f (z) = ez =

(
zn
n!
n=0

es definida para todo z C. Aplicando la definici

on del producto de series
obtenemos
+ *
+
+
*
* n

( xn
( yn
(
( xnk y n

=
n!
n!
(n k)! k!
n=0
n=0
n=0 k=0
* n
+

( 1 (
n!
=
xnk y k
n!
k!(n k)!
n=0
k=0

ex ey

lo cual contiene la f
ormula del Binomio de Newton !

(
1
=
(x + y)n , es decir
n!
n=0

= ex+y .

FUNCIONES DE VARIABLE COMPLEJA

5

Continuidad y lmites de funciones en el plano

complejo

En esta seccion vamos a estudiar el comportamiento de funciones en el plano

complejo, es decir, funciones definidas para n
umeros complejos y con valores
complejos. Aunque hay muchas analogas al caso de las funciones reales, las
diferencias substanciales entre funciones complejas y reales ser
an lo interesante
y lo utilizado m
as tarde para simplificar c
alculos complicados con funciones
reales. Definamos primero una funcion compleja.
8

Definici
on 32 Una funci
on compleja (tambien llamada funci
on en el plano
complejo) es un mapeo f : C C tal que para z = (a + ib) C, el resultado
de la aplicaci
on de f tiene la forma f (a, b) = u(a, b) + iv(a, b), donde u y v son
funciones de #2 en #.
Muchas propiedades fundamentales de funciones reales (funciones de variables reales y con valores reales) se pueden extender al caso de las funciones
complejas. Iniciemos con la definicion de continuidad.
Definici
on 33 Sea f : C C. La funci
on compleja f se llama continua
en z C, si para toda # > 0, con # #, existe > 0, #, tal que
|z z " | < implica que |f (z) f (z " )| < #.
Para A C, f se llama continua en A si f es continua en cada punto de A.
Observemos que cuando interpretamos al n
umero z como punto de #2 , |zz "|
es la distancia Euclideana entre los puntos z y z " . Intuitivamente, f es continua
en z si para cualquier n
umero complejo z " suficientemente cerca de z, f (z " ) esta
arbitrariamente cerca de f (z).

Figure 2: La funci
on f (z) = x + 2iy asocia a cada punto x + iy del plano
complejo, el punto x + 2iy.
Ejemplo 34 La funci
on f : C C dada por f (z) = x+2iy la cual se representa
graficamente en la figura 2, es continua en el punto cero (0, 0). Para ver eso,
supongamos un # > 0 arbitrario. Necesitamos
encontrar un %
tal que |z| <
%
implique |x + 2iy| < #, es decir, tal que x2 + y 2 < implique x2 + 4y 2 < #.
Pero eso es ciertamente verdad si escogemos por ejemplo = 12 #, puesto que
%
%
- 2
2
x2 + 4y 2 = 4 x4 + y 2 = 2 x4 + y 2 < 2 x2 + y 2 < 2 2! , vea figura 3.
9

Figure 3: En el plano complejo de la izquierda se muestra la regi

on determinada
por (x2 + y 2 )1/2 < , mientras que en el plano de la derecha se muestra la
regi
on determinada por (x2 + 4y 2 )1/2 < . Observese que la region dada por
(x2 + y 2 )1/2 < # < 2 contiene a la region dada por (x2 + 4y 2 )1/2 < .
Ejercicio 35 Determinar si las siguientes funciones complejas son continuas
en C, o en su caso, determinar d
onde no son continuas, usando la definici
on de
contuidad:
1) f (z) = z 2
2) f (z) = x + 2i y
z
3) f (z) = x2 +y
2
4) f (z) = z + z
5) f (z) = z
6) f (z) = z z
7) f (z) = z 2z 2
2
8) f (z) = (z + 2)
La definici
on de lmite en un punto para funciones complejas es tambien
an
aloga a la definicion de lmite para funciones reales:
Definici
on 36 Sean f : C C, y z1 , z2 C. El lmite de f cuando z tiende
umero z2 , si para todo # > 0 existe > 0 con #, # tal que
a z1 es el n
|z z1 | < implica |f (z) z2 | < #. Este hecho se denota por
lim f (z) = z2 .

zz1

La relacion entre lmite y continuidad est

a dada por la siguiente proposici
on,
en analoga al caso de funciones reales:

10

Proposici
on 37 La funci
on f : C C es continua en z1 C, con f (z1 ) = z2
C si y s
olo si limzz1 f (z) = z2 .
Dem. 38 Demostramos la suficiencia: Para ver que f es continua en z1 , sea
# > 0, # # arbitrario. La suposi
on del lmite implica entonces inmediatamente
que existe > 0, # tal que |z z1 | < siempre implica |f (z) z2 | < #.
Si tomamos en particular un punto arbitrario z " cerca de z1 , es decir, tal que
|z " z1 | < , entonces obtenemos |f (z " ) z2 | < #. Pero tenemos f (z1 ) = z2 ,
as que, en realidad obtuvimos que |f (z " ) f (z1 )| < #, lo cual completa la
demostraci
on de la continuidad de f en z1 . !
Ejercicio 39 Demostrar la necesidad en la u
ltima proposici
on (es decir, que la
continuidad de f en z1 conjunto con f (z1 ) = z2 implica que f tiene en z1 el
lmite z2 ).
Ejercicio 40 Utilizando la proposici
on anterior, verificar si las funciones del
ejercicio 35 son continuas y determinar los lmites de las funciones en los puntos
donde no son continuas.
Muchas propiedades (y sus demostraciones) de los lmites de funciones complejas son completamente an
alogas a las de funciones reales; por eso no incluiremos todas las demostraciones.
Teorema 41 (Reglas de c
alculo de lmites para funciones complejas)
Sean f (z) y F (z) funciones complejas cuyos lmites para z teniendo al mismo
punto z0 existen y est
an dados por
lim f (z) = w0 ,

zz0

1)

lim F (z) = W0 . Entonces

zz0

lim [f (z) + F (z)] = w0 + W0 ,

zz0

2)

lim [f (z)F (z)] = w0 W0 ,

zz0

3)
lim

zz0

w0
f (z)
=
, si W0 &= 0 .
F (z)
W0

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

lim f (z) =

zz0

lim

xx0 ,yy0

u(x, y) + i (

lim

xx0 ,yy0

11

v(x, y))

Dem. 42 Supongamos que F (z) = U (x, y)+iV (x, y) y f (z) = u(x, y)+iv(x, y).
Demostremos el insiso 3). Se tiene que
lim

zz0

f (z)
F (z)

=
=
=

u + iv
U + iV
(u + iv) (U iV )
lim
zz0
U2 + V 2
!
"
uU
vV
lim
+ 2
xx0 ,yy0
U2 + V 2
U +V2
!
"
vU
uV
+i
lim
2
xx0 ,yy0
U2 + V 2
U +V2
"
!
v0 V0
u 0 U0
+ 2
2
2
U0 + V0
U0 + V02
!
"
v0 U0
u0 V0
+i
2
U02 + V02
U0 + V02
lim

zz0

donde en la u
ltima identidad hemos usados las correspondientes propiedades
para funciones reales. Entonces, reagrupando de nuevo se obtiene que
lim

zz0

u0 + iv0
f (z)
=
F (z)
U0 + iV0

!
Ejercicio 43 Demostrar las otras propiedades del teorema usando propiedades
an
alogos de lmites de funciones reales.
En base de la propiedad 4) podemos utilizar los teoremas y metodos com
unes
para funciones reales para obtener lmites de funciones complejas. Esta estrategia usaremos constantemente en adelante.

La derivada en el plano complejo y funciones

holomorfas

La definici
on de la derivada para una funci
on de una variable compleja es an
aloga
a la de la derivada de una funci
on de una variable real. Ya hemos mencionado
antes que una funci
on compleja f : C C puede ser vista tambien como una
funci
on f : #2 #2 de dos variables reales.
Definici
on 44 Sea f : C C definida en una vecindad abierta de z C. La
derivada de f en z se define como
f " (z) =

f (z + .z) f (z)
df
= lim
.
dz z0
.z

La funci
on f se llama (complejo) derivable en z si este lmite existe.
12

Ejemplo 45 Para la funci

on compleja constante, f : C C, f (z) = c para
todo z C, se obtiene para z C arbitrario que
f " (z) =

f (z + .z) f (z)
cc
df
= lim
= lim
= lim 0 = 0 .
)z0 .z
)z0
dz )z0
.z

En consecuencia, la funci
on constante es complejo derivable en todo C.

Ejemplo 46 Sea n un n
umero natural arbitrario y consideremos la funci
on
compleja f : C C dada por f (z) = z n . Esta funci
on tambien es complejo
derivable en todo C, y su derivada para cualquier z C es

f (z + .z) f (z)
(z + .z)n z n
= lim
)z0
)z0
.z
.z
n1
((z + .z) z) [(z + .z)
+ (z + .z)n2 z + + (z + .z)z n2 + z n1 ]
lim
)z0
.z
n1
n2
lim (z + .z)
+ (z + .z)
z + + (z + .z)z n2 + z n1

f " (z) = lim

=
=
=

)z0

n z n1

Ejemplo 47 Para la funci

on compleja f (z) = 2x + 2iy, la derivada en el punto
cero z = 0 = 0 + 0i est
a dada por
,
df ,,
f (.z) f (0)
2x + 2iy
= lim
=2
= lim
x0,y0 x + iy
dz ,z=0 )z0
.z

donde hemos escrito .z = x + iy, as que el lmite y por tanto la derivada es 2.

Del ejemplo anterior es claro que la funcion compleja f (z) puede ser vista
como funci
on f : #2 #2 de dos variables reales: f (x, y) = (2x, 2y), la cual
tambien es derivable. Para determinar el lmite correspondiente para .z =
x+iy tendiendo a 0 C, o equivalentemente, para (x, y) tendiendo a (0, 0) #2 ,
es importante que el resultado no dependa de la trayectoria en el plano #2 = C
sobre la cual el vector (x, y) se acerca al vector (0, 0). Trayectorias particulares
muy comunmente usadas en el plano se basan en movimientos horizontales y
verticales, vea figura 4. Eso corresponde a considerar primero la tendencia
x 0 y despues la tendencia y 0, o en el orden contrario. El lmite para
(x, y) (0, 0) solo puede existir si el lmite para x 0 y luego y 0 existe
y coincide con el lmite para y 0 y luego x 0; tambien se dice que los
lmites para cada variable conmutan. Veamos otro ejemplo.
Ejemplo 48 La derivada de la funci
on compleja f (z) = x + 2iy en el punto
z = 0 = 0 + 0i est
a dada por
,
f (.z) f (0)
x + 2iy
x2 + 2y 2 + ixy
df ,,
= lim
= lim
= lim
,
x0,y0 x + iy
x0,y0
dz z=0 )z0
.z
x2 + y 2
pero aqu los lmites de las dos variables no conmutan. Si consideramos primero
la tendencia x 0 y luego y 0, vean la figura 4, obtenemos
13

Figure 4: Dos trayectorias de acercamiento de x + iy al punto 0.

,
df ,,
=2
dz ,z=0

Sin embargo, si consideramos primero el lmite para y 0 y luego para x 0,

obtenemos
,
df ,,
=1
dz ,
z=0

Estos dos resultados distintos implican, aprovechando conocimientos de lmites

para funciones de dos variables reales, que f como funci
on de dos variables
reales NO es derivable en el punto z = 0 #2 . Pero el argumento de haber
encontrado dos trayectorias de acercamiento .z 0 que proporcionan distin(0)
implica de igual manera que f NO es
tos resultados para lim)z0 f ()z)f
)z
complejo derivable en el punto z = 0.
Ejercicio 49 Usando la definici
on, encontrar la derivada, cuando existe, de
las funciones complejas del ejercicio 35. En su caso, decir en cu
ales puntos la
funci
on no es complejo derivable.

Para derivadas de funciones complejas valen propiedades y reglas de c

alculo
an
alogas al caso de funciones reales. A continuaci
on se reportan las m
as importantes reglas:

14

Proposici
on 50 Sean f, g : C C funciones ambas derivables en el punto z.
Entonces f + g, f g, f g son derivables en z, y valen las siguientes reglas de
c
alculo:
(f + g)" (z) = f " (z) + g " (z), (f g)" (z) = f " (z) g " (z);
(f g)" (z) = f " (z)g(z) + f (z)g " (z).
& '
!
(z)g! (z)
.
Si adem
as g(z) &= 0, entonces fg es derivable en z y fg (z) = f (z)g(z)f
(g(z))2
Si h : C C es una funci
on derivable en el punto f (z) entonces la concatenaci
on g f es derivable en z y (g f )" (z) = g " (f (z)) (regla de la cadena).

Ejercicio 51 Demostrar la proposici

on anterior.
Como vimos en las reglas de c
alculo arriba, las f
ormulas de derivaci
on para
funciones complejas son las mismas que las usadas para funciones de (dos) variables reales, siempre cuando sabemos que la derivada existe. El problema es
averiguar cu
ando una funci
on compleja es derivable. Una forma sencilla de determinar si una funci
on compleja es derivable o no, se basa en las condiciones de
Cauchy-Riemann las cuales son reportadas a continuaci
on. El siguiente teorema
tambien establece la relacion entre la derivabilidad de una funci
on compleja y
la diferenciabilidad de la correspondiente funci
on de dos variables reales.
Teorema 52 (Condiciones de Cauchy-Riemann) Sea f : C C una funci
on
definida en una regi
on (subconjunto abierto) de C la cual contiene al punto
z = x + iy. Adem
as, supongamos que
f (z) = u(x, y) + iu(x, y) ,
donde u, v son funciones de dos variables reales continuas y con derivadas continuas (se dice que u, v son de clase C 1 ). Entonces f es complejo derivable en
z si y s
olo si
u
v
(x, y) =
(x, y)
x
y

u
v
(x, y) = (x, y) .
y
x

N
otese que las condiciones del teorema sobre la existencia y continuidad de
las derivadas de las funciones u, v significan que la funci
on f considerada como
funci
on de dos variables reales, es diferenciable. La funcion u es llamada la parte
real de la funci
on f , v es la parte imaginaria de f . En lo siguiente vamos a
u
escribir tambien de manera abreviada u
x en lugar de x (x, y), y similarmente
u v v
por ejemplo y , x , y .
Dem. 53 .
) Supongamos que f es derivable en z. Entonces el lmite
f " (z) =

df
f (z + z) f (z)
= lim
dz z0
z

existe y es u
nico. Seg
un teorem
as del lmite para funciones de dos variables
reales, este lmite entonces no depende de la trayectoria por la cual se realiza
15

el acercamiento al punto z (z 0). Tomemos dos trayectorias diferentes: 1)

y 0 y luego x 0, y la trayectoria 2) x 0 y luego y 0.
Para la trayectoria 1)
,
,
, u(x, y + y) u(x, y)
v(x, y + y) v(x, y) ,,
df
u v
= lim ,,
+i
, = i y + y
dz y0
iy
iy

Para la trayectoria 2) se tiene

,
,
, u(x + x, y) u(x, y)
v(x + x, y) v(x, y) ,, u
v
df
,
=
= lim ,
+i
+i
,
x0
dz
x
x
x
x
Eso implica las condiciones de Cauchy-Riemann.
) Supongamos que se cumplen las condiciones de Cauchy-Riemann. Debido a
que u, v son continuas y con derivadas continuas (de clase C 1 ), podemos escribir
por el teorema del valor medio que
u = u(x + x, y + y) u(x, y) =

u
u
x +
y + #1 x + #2 y
x
y

donde #1 y #2 tienden a cero cuando x y y tienden a cero. Lo mismo para

v. Entonces
f

=
=

f (z + z) f (z) = u + iv
u
u
x +
y + #1 x + #2 y
x
y
v
v
y + #3 x + #4 y)
+i( x +
x
y

Debido a que las condiciones de Cauchy-Riemann se cumplen, tenemos

f

v
u
x
y + #1 x + #2 y
x
x
u
v
y + #3 x + #4 y)
+i( x +
x
x
u
v
(x + iy) + i (x + iy) + x1 + y2
x
x

donde 1 y 2 son combinaciones lineales de las #s. Entonces se cumple que

f
u
v
x
y
=
+i
+
1 +
2
z
x
x z
z
Ahora bien, |x| |z| y |y| |z|, por lo tanto |x/z| 1 y |y/z|
1. As que
!
"
u
u
v
v
f
"
f (z) := lim
=
+i
= i
+i
z0 z
x
x
y
y
ya que los u
ltimos terminos tienden a cero, cuando z 0. Por lo tanto la
derivada de f (z) existe. !
16

Funciones complejas que son derivables en toda una regi

on (un conjunto
abierto de C), son de especial interes e importancia.
Definici
on 54 Una funci
on f : C C definida en una regi
on (un subconjunto
abierto de C) se llama holomorfa si es derivable en toda esta regi
on.
Veremos mas tarde que cualquier funcion holomorfa puede ser representada
como una serie de potencias. Funciones con esta u
ltima propiedad se llaman
analticas. Es uno de los hechos importantes que distinguen las funciones complejas de las funciones reales: para funciones complejas la propiedad de ser
holomorfa, coincide con la propiedad de ser analtica.
Ya conocimos varios ejemplos de funciones complejas que son derivables en
todo C, estas son funciones holomorfas. Veamos algunos otros ejemplos.
Ejemplo 55 Para la funci
on compleja f (z) = |z|2 = z z = x2 + y 2 , tenemos
2
2
que u(x, y) = x + y , v(x, y) = 0 las condiciones de Cauchy-Riemann son como
sigue:
v
u
= 2x;
=0
x
y
y
v
u
= 2y;
=0
y
x
Estas condiciones solamente se cumplen para z = 0 = 0 + 0i. Eso implica que
|z|2 no es holomorfa, puesto que s
olo es derivable en z = 0.
Ejemplo 56 Por otro lado, para la funci
on f (z) = z 2 = (x + iy)2 = x2 y 2 +
2
2
2ixy se tiene que u = x y y v = 2xy, as que
u
v
= 2x ,
= 2x ,
x
y
v
u
= 2y ,
= 2y
y
x
Eso significa que las condiciones de Cauchy-Riemann se cumplen siempre para
esta funci
on, por lo que z 2 es una funci
on compleja holomorfa (en todo el plano
C).
A continuaci
on veremos un ejemplo de una funci
on compleja que no es complejo derivable pero es deferenciable cuando es considerada como funci
on de dos
variables reales.
Ejemplo 57 Trataremos de calcular la derivada de la funci
on que asigna a
cada n
umero complejo su complejo conjugado, f (z) = z, en un punto z C
arbitrario.
f " (z) = lim

)z0

f (z + .z) f (z)
z + .z z
.z
= lim
= lim
.
)z0
)z0 .z
.z
.z
17

Ahora, .z es un n
umero complejo. Analicemos dos casos particulares:
Si .z es puramente real, es decir, .z = x + i 0, entonces .z 0 significa
x 0 y tenemos que
lim

)z0

.z
x
= lim = lim 1 = 1 .
.z x0 x x0

En cambio, si .z es puramente imaginario, es decir, .z = 0 + i y, entonces

.z 0 significa y 0 y tenemos que
.z
iy
= lim
= lim (1) = 1 .
y0 iy
y0
)z0 .z
lim

Con eso es claro que el lmite lim)z0

)z
)z

)z
)z

no existe, puesto que el compor-

no es el mismo siempre para la tendencia .z 0.

tamiento de la funci
on
En consecuencia, f no es complejo derivable para cualquier punto z C.
Otro argumento m
as corto para este hecho es que las condiciones de Cauchy
no se cumplen, puesto que tenemos u(x, y) = x, v(x, y) = y, as que
u
(x, y)
x
u
(x, y)
y

= 1,
=

v
(x, y) = 1
y

v
(x, y) = 0
x

Sin embargo, la (misma) funci

on f pero ahora considerada como de dos variables
reales, f : #2 #2 , f (x, y) = (x, y), es diferenciable en todo #2 .
Ejercicio 58 Verificar que la funci
on f : #2 #2 dada por f (x, y) = (x, y),
2
es diferenciable en todo # .
Ejercicio 59 Usando las condiciones de Cauchy-Riemann, verificar cu
ales de
las funciones complejas del ejercicio 35 son holomorfas y en cu
al regi
on, y en
cu
ales puntos no son derivables.
En la siguente proposici
on reportamos algunas propiedades relacionadas a
operaciones entre funciones, las cuales ayudan tanto en la determinaci
on de la
derivabilidad como tambien en el calculo de la derivada.
Recordemos que para funciones reales f, g : # #, se definen nuevas
funciones reales mediante operaciones entre funciones por puntos, por ejemplo
(f + g)(x) = f (x) + g(x), (kf )(x) = k f (x). Es importante notar que del
lado derecho tenemos siempre una operacion entre n
umeros reales. Por eso,
propiedades algebraicas de las operaciones entre (y con) funciones se basan
en propiedades algebraicas de las operaciones correspondientes entre n
umeros
reales. En particular, el conjunto de las funciones reales forman un espacio
vectorial con la suma entre funciones y el producto de una funci
on con un
n
umero escalar k #.
18

Para funciones complejas f, g : C C, las operaciones por puntos se

definen de manera muy similar:
(f + g)(z) = f (z) + g(z) , (f g)(z) = f (z) g(z),

f (z)
f
, definido para z C, tal que g(z) &= 0,
( )(z) =
g
g(z)
(kf )(z) = k f (z) ,

donde del lado derecho tenemos siempre una operaci

on entre n
umeros complejos.
Se obtienen las siguientes propiedades como consecuencia de propiedades de la
derivada para funciones de dos variables reales.
Proposici
on 60 Sean f, g : C C funciones complejas holomorfas en una
regi
on A C. Entonces
1) f g es holomorfa en A.
2) f + g es holomorfa en A.
on A1 A para la cual vale que g(z) &= 0 para
3) fg es holomorfa en toda regi
todo z A1 .
4) Si f es holomorfa en una regi
on A C y g es una funci
on definida en f (A)
y holomorfa en esta regi
on f (A), entonces la concatenaci
on g f es holomorfa
en A.
Demostraremos solamente una parte para dar un ejemplo de la argumentacion:
Dem. 61 Vamos a demostrar 3). Sean f y g holomorfas y g(z) &= 0 para todo
z que pertenece a una regi
on A1 A. Entonces
"
!
d f
1
d
f d
=
g+ f

dz g
g
g dz
dz

Puesto que f y g son holomorfas y g &= 0 sobre la regi

on A1 , tanto las derivadas
de f y g existen en A1 como tambien las funciones f y g est
an definidas y
as la funci
on 1/g es continua en A1 . Por lo tanto la
continuas en A1 , y adem
derivada de f /g existe y es continua en A1 , implicando que f /g es holomorfa
en A1 . !

Ejercicio 62 Demostrar el resto de la u

ltima proposici
on.
Ejercicio 63 Utilizando la u
ltima proposici
on, confirme cu
ales de las siguiente
funciones complejas son holomorfas y en cu
al regi
on.
1) f (z) = z 2
2) f (z) = x + 2i y
z
3) f (z) = x2 +y
2
1
4) f (z) = z+2z
5) f (z) = z1
6) f (z) = z1z
1
7) f (z) = z2z
2
1
8) f (z) = z+2

19

Funciones arm
onicas

Una conclusi
on inmediata de las condiciones de Cauchy-Riemann es el hecho que
las dos funciones reales que forman la funci
on compleja, cumplen la ecuaci
on
de Laplace en el plano, en la regi
on donde la funci
on compleja es holomorfa. A
funciones que cumplen la ecuaci
on de Laplace se les llama funciones armonicas.
A continuaci
on vamos a deducir eso.
Sea f (z) = u+iv una funci
on compleja holomorfa en alguna vecindad abierta
de z C. Entonces la derivada f " (z) existe y las funciones u, v cumplen las
condiciones de Cauchy:
u
v
=
,
x
y

u
v
=
.
y
x

Si las funciones (reales) u y v tienen derivadas continuas y a su vez diferenciables,

se debe cumplir que
2v
2v
=
.
(1)
xy
yx
Usando las condiciones de Cauchy-Riemann en la identidad (1), se obtiene
2u
2u
2v
2v
=
= 2 .
,
2
xy
x
xy
y
Si sumamos la primera identidad con la negativa de la segunda, obtenemos
2u 2u
+ 2 =0 ,
x2
y
la cual precisamente es la ecuacion de Laplace para la funci
on u. A una funci
on
u con esta propiedad se le llama funci
on arm
onica.
Formalmente tenemos lo siguiente:
on de
Definici
on 64 Toda funci
on u(x, y) : #2 # que cumple la ecuaci
Laplace dada por
2u 2u
+ 2 =0 ,
x2
y
se llama funci
on arm
onica.
Notaci
on 65 La ecuaci
on de Laplace tambien se denota por 2 u = 0, es decir,
2 u =

2u 2 u
+ 2 =0.
x2
y

En consecuencia, para toda funci

on compleja f = u + iv, la funci
on u resulta
ser arm
onica. An
alogamente se sigue que la funcion v resulta ser armonica,
puesto que es facil deducir que tambien
2v
2v
+
=0.
x2
y 2
En resumen, se tiene el siguiente lema.
20

Lema 66 Para toda funci

on compleja f : C C, f (z) = f (x + iy) = u(x, y) +
iv(x, y), u, v : #2 #, si f es holomorfa en una regi
on A C entonces las
funciones reales u y v son funciones arm
onicas para (x, y) A #2 .
Ejercicio 67 Determinar cu
ales de las funciones de los ejercicios 35 y 63 son
arm
onicas.

DE FUNCIONES
INTEGRACION
DE VARIABLE COMPLEJA
8

La integral de lnea en el plano complejo

La integracion para una funci

on compleja se efectua a traves de una curva,
tambien llamada trayectoria o camino. Una curva simplemente es un mapeo
continuo definido en un intervalo cerrado y con valores en el plano complejo:
Definici
on 68 Cualquier mapeo continuo : [a, b] C, con [a, b] un intervalo
cerrado en #, es llamado una curva en el plano complejo C. Tal mapeo continuo
tambien es llamado un mapeo de clase C 0 . Entonces el conjunto ([a, b]) =
{(z) : z [a, b]} C se llama la gr
afica de la curva .
Notese que el mapeo equivalentemente es un mapeo continuo de [a, b] en #2 ;
la grafica de la curva es tambien un subconjunto de #2 . La figura 5 muestra la
grafica de una curva.
En cualquier punto t0 (a, b) (intervalo abierto), se puede considerar la
derivada de (como funci
on de [a, b] en #2 ):
" (t0 ) = lim

tt0

(t) (t0 )
.
t t0

Cuando la funci
on : [a, b] C se escribe por sus partes real a imaginaria,
(t) = (t) + i(t), entonces " (t0 ) = " (t0 ) + i " (t0 ) .
Definici
on 69 Una curva : [a, b] C se llama cerrada si (a) = (b).
La longitud de una curva : [a, b] C se define por la siguiente integral,
siempre cuando esta integral existe:
L() =

| " (t)|dt .

La idea intuitiva de la integral de lnea de una funci

on compleja f a lo largo
de una curva de longitud finita es parecida a la idea de la integral de Riemann
de una funci
on real sobre un intervalo [a, b]. Recordemos que para calcular
21

Figure 5: Una curva en el plano complejo es un mapeo continuo que va de los

n
umeros reales al plano complejo.
una aproximacion de la integral de Riemann, el intervalo [a, b] es partido en
subintervalos. Para cada subintervalo, se calcula el producto de su longitud
con el valor de la funci
on en alg
un punto seleccionado dentro del subintervalo,
dando como resultado el area de un rectangulo. Luego se suman todas las areas
de rectangulos.
De manera similar, una aproximaci
on de la integral de lnea de una funci
on
compleja f a lo largo de una curva : [a, b] C de longitud finita se determina
como sigue:
1. Se seleccionan finitamente muchos puntos z0 (punto inicial), z1 , , zk , zk+1
(punto final) sobre la (gr
afica de la) curva, y se considera la concatenaci
on de los
segmentos de lnea recta z0 z1 , z1 z2 , zk zk+1 . Es decir, la curva es aproximada
por un arco poligonal o en caso de una curva cerrada, por un polgono.
2. Para cada segmento zi1 zi , su longitud es multiplicada con el valor de f en
alg
un punto intermedio que se encuentra sobre la (gr
afica de la) curva entre los
puntos zi1 y zi .
3. Se suman todos los productos calculados en el paso anterior.
La integral se define como el lmite de una sucesion de aproximaciones calculadas, la cual se obtiene cuando la partici
on de la curva en segmentos es cada
vez mas fina, es decir, cuando las longitudes de los segmentos tienden a cero.
Informalmente, cuando la curva inicia en el punto z0 y termina en zk+1 y w1 ,
z1 , w2 , z2 , , wk , zk , wk+1 son puntos sobre la curva donde z1 , , zk definen
una partici
on de la curva y w1 , , wk , wk+1 son puntos intermedios, entonces

22

la integral de f a lo largo de la curva es dada como

.

f (z)dz =

lim

max |zi zi1 |0

k+1
(
i=1

f (wi )(zi zi1 ) .

La siguiente definici
on formaliza estas ideas (vea figura 6):
Definici
on 70 Sea : [a, b] C una curva en C que tiene longitud finita.
Una aproximaci
on de la integral de lnea de f sobre la curva , calculada en
base de una partici
on particular P del intervalo [a, b],
P = {t1 , t2 , , tk } con n
umeros reales a < t1 < t2 < < tk < b ,
se calcula como

k+1
(
i=1

f (wi )(zi zi1 ) ,

as z0 = (a), zk+1 = (b), y para

donde para cada ti P, zi = (ti ), adem
cada i = 1, 2, , k + 1, wi ([a, b]) es un punto (intermedio) arbitrariamente
seleccionado tal que ti1 < 1 (wi ) < ti .
La integral de lnea de la funci
on compleja f (z) a lo largo de la curva se define
en base de cualquier sucesi
on (Pn )nN de particiones del intervalo [a, b] (cada
Pn tiene k n puntos):
Pn = {tn1 , tn2 , , tnkn } , a < tn1 < tn2 < < tnkn < b ,
n
zin = (tni ), para i = 1, , k n , z0n = (a), z(k
n +1) = (b) ,

win ([a, b]) (i = 1, , k n + 1) tal que tni1 < 1 (win ) < tni .

Bajo la (importante) suposici

on que la sucesi
on (Pn )nN (a
un siendo arbitraria)
satisface que
#
$
n
lim max{|zin zi1
| : i = 1, 2, , k n + 1} = 0 ,
n

se define la integral de lnea de la funci

on compleja f (z) a lo largo de
la curva como
.

f (z)dz = lim

n
+1
k(

i=1

n
f (win )(zin zi1
),

siempre cuando este lmite existe y no depende de la selecci

on ni de los puntos
tn1 , , tnkn ni de los puntos intermedios w1n , , wknn +1 .

23

Figure 6: Una partici

on del intervalo [a, b] genera una partici
on de la curva en
secciones.

Propiedades de la integral de lnea para funciones complejas

Para evaluar integrales de funciones de variable compleja, generalmente no es

necesario usar la definici
on. Primero, la integraci
on puede ser reducida a la
integracion de funciones reales, separando la funci
on compleja en su parte real
y su parte imaginaria, como establece el siguiente teorema.
Teorema 71 Si f : C C, f (z) = f (x+iy) = u(x, y)+iv(x, y), con funciones
a
reales u, v : #2 #2 , entonces la integral de f a lo largo de una curva est
dada por
.
.
f (z)dz =
(u(x, y) iv(x, y)) d(x + iy)

.
.
u(x, y)dx v(x, y)dy + i v(x, y)dx + u(x, y)dy
=

donde las integrales del lado derecho son integrales de lnea de funciones reales.
Dem. 72 Sean f (z) = f (x + iy) = u(x, y) + iv(x, y), con u, v : #2 #2 , y
: [a, b] C una curva en C que tiene longitud finita. Tomamos una sucesi
on
on de arriba.
(Pn )nN de particiones del intervalo [a, b] como la pide la definici
Para simplificar la notaci
on, no escribiremos el ndice superior n. Entonces
Pn = {t1 , , tk } con a < t1 < < tk < b, zi = zin = (ti ) (i = 1, , k),
z0 = (a), z(k+1) = (b), wi ([a, b]) tal que ti1 < 1 (wi ) < ti (i =
1, , k + 1).
#
$
n
| : i = 1, , k n + 1} =
Supongamos que (Pn )n1 satisface que lim max |zin zi1
n
0.
24

Tomando en cuenta que para cada j = 1, , k + 1, se tiene zj = xj + iyj ,

por lo tanto
zj zj1 = xj xj1 + i(yj yj1 ) ,

y tambien wj = x"j + iyj" para j = 1, , k + 1. Entonces, de la definici

on
obtenemos lo siguiente:
.

f (z)dz

=
=

lim

lim

lim

n
+1
k(

j=1

n
f (wjn )(zjn zj1
)

n
+1
k(

[u(x"j , yj" ) + iv(x"j , yj" )](xj xj1 ) + i(yj yj1 )

j=1

n
+1
k(

[u(x"j , yj" )(xj xj1 ) v(x"j , yj" )(yj yj1 )] +

j=1

+ i lim

n
+1
k(

j=1

[v(x"j , yj" )(xj xj1 ) + u(x"j , yj" )(yj yj1 )]

Estos u
ltimos lmites son las integrales de lnea de las funciones correspondientes, as el teorema se comprueba. !
En el caso que la curva : [a, b] C (es decir, la funci
on) es por lo menos
una vez diferenciable y la derivada es continua, la integral de f a lo largo de
la curva se calcula como lo indica la siguiente proposicion que reportamos sin
demostracion.
Proposici
on 73 Si la funci
on : [a, b] C es de clase C 1 (diferenciable y
con derivada continua) y puede ser representada en una forma parametrica tal
que para todo t [t1 , t2 ], (t) = (t) + i(t) = x + iy, entonces se tiene que
dx = " dt, dy = " dt y se obtiene para la integral la siguiente f
ormula:
.
. b
f (z)dz =
f ((t)) " (t)dt
a

t2

t1

(u" v " )dt + i

t2

(v" + u " )dt .

t1

Esta integral existe si f (z) es continua.

Corolario 74 Si la funci
on : [a, b] C es de clase C 1 y f : C C es
acotada sobre la curva, es decir, existe una constante M # tal que para todo
punto z ([a, b]) vale que |f (z)| M , entonces se sigue que
,
,.
,
,
, f (z) dz , M L ,
,
,

recordando que la longitud de la curva es dada por L =

25

/b
a

|(t)|dt.

Dem. 75
,.
,
,
,
, f (z) dz , =
,
,

,.
,
,
,
, f ((t)) " (t) dz ,
,
,

.
|f ((t))| | " (t)| dz

.
M | " (t)| dz

M L ,

!
La condici
on a la curva de tener una representacion parametrica de clase C 1 ,
para poder aplicar la u
ltima f
ormula de calculo la cual es muy u
til, no es muy
restrictiva, puesto que muchas curvas la cumplen por lo menos por pedazos.
La siguiente proposici
on es una consecuencia inmediata de la definici
on de la
integral, y establece que la integral puede ser calculada por cada de los pedazos
de la curva, y al final simplemente se suman los resultados.
Proposici
on 76 Si una curva : [a, b] C es la concatenaci
on (en el sentido
literal) de un n
umero finito de curvas 1 , , n , entonces
.
.
.
.
f (z)dz =
f (z)dz +
f (z)dz + +
f (z)dz

Veamos algunos ejemplos para familiarizarnos con las propiedades recien

reportadas de la integral de lnea de funciones complejas.
Ejemplo 77 Vamos a calcular la integral
I1 =

2+i

z 2 dz

por la trayectoria 0A de la figura 7, que es la linea recta entre los puntos (0, 0)
y A = (2 + i, 0) dada por la funci
on y = 1/2x. Se tiene que z 2 = x2 y 2 + 2xyi
y dz = dx + idy. Entonces
.
.
I1 = [(x2 y 2 )dx xy dy] + i [2xy dx + (x2 y 2 )dy]

Sobre OA, x = 2y y dx = 2dy, en consecuencia

. 1
. 1
0 2
0 2
1
1 2 11
(4y y 2 )2dy 2y 2 dy + i
8y dy + (4y 2 y 2 )dy = + i
I1 =
3
3
0
0

26

Figure 7: Las trayectorias que unen el punto orgen con el punto A.

Ejemplo 78 Ahora calculamos la integral de la misma funci
on como en el ejemplo anterior, pero usamos otra trayectoria. Vayamos por la trayectoria dada
por los puntos (en este orden) 0, B, A, es decir, por el eje x hasta el punto
B = (2, 0) y luego subiendo por la recta perpendicular hasta A = (2, 1). A lo
largo del segmento 0B, vale que z = x, dz = dx. A lo largo de BA, tenemos
z = 2 + iy, dz = idy. Se obtiene
. 2
. 1
#
$
2 11
8 11
2
i(4 y 2 ) 4y dy = + i 2 = + i
x dx +
I2 =
3
3
3
3
0
0
es decir

,2+i
1 3 ,,
1
2 11
I2 = I1 = z ,
= (2 + i)3 = + i .
3 0
3
3
3
/ 2
Ejemplo 79 Evaluemos la integral I = z dz a lo largo del crculo de radio 1,
vea figura 9, es decir a lo largo de la trayectoria r2 = x2 +y 2 = 1. Para calcular
esta integral, conviene hacer un cambio de variable (hacia coordenadas polares):
sean x = r cos (), y = r sin (), tal que x + iy = cos () + i sin () = ei .
Entonces z = ei y por lo tanto dz = iei d sobre el crculo. Se tiene que
. 2
,2
1
e2i ei d = e3i ,0 = 0 .
I2 = i
3
0
27

Figure 8: La trayectoria dada por el crculo de radio 1, x2 + y 2 = cos() +

i sin() = ei .
Ejemplo 80 Evaluemos ahora la integral
.
1
I=
dz
z

a lo largo del crculo de radio 1, vea figura 9. Tambien hacemos el cambio de

variable x = cos (), y = sin (), para obtener
I2 = i

ei ei d = 2i .

/
Ejercicio 81 Evaluar la integral f (z)dz, donde f (z) son las funciones del
ejercicio 63 y es la trayectoria dada por |z| = 1.
Las propiedades de las integrales de lnea para funciones de variable compleja son semejantes a las propiedades de las integrales de lnea de funciones de
variable real, como vemos a continuaci
on.
Proposici
on 82 (Propiedades de integrales de lnea.) Sea f : C ) C una
funci
on y , curvas (trayectorias) tales que las siguientes integrales existen.
Entonces, se cumple lo siguiente:
28

a)

f (z)dz =

f (z)dz ,

donde del lado derecho, la curva es recorrida en su sentido contrario.

b)

kf (z)dz = k

c)

f (z)dz

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

para toda k C
f (z)dz +

(z)dz

Dem. 83 La demostraci
on se basa en las propiedades de integrales de lnea de
funciones reales. !

10

Curvas de Jordan y regiones simplemente

conexas

Como preparacion al teorema de Cauchy sobre integrales en el plano complejo, el

cual ser
a discutido en la siguiente secci
on, conocemos en esta seccion brevemente
el concepto de una region simplemente conexa.
Intuitivamente, una regi
on simplemente conexa es un subconjunto abierto
del plano que no tiene agujeros. Para definir eso, necesitamos saber del concepto
de una curva de Jordan y del teorema de Jordan en el plano. Recordemos que
una curva es una funci
on (tiene una representaci
on parametrica) : [a, b] C
continua. La curva se llama cerrada si (a) = (b). Es com
un identificar la
palabra curva con la grafica ([a, b]) de la curva. En particular, se dice un
punto de la curva cuando se refiere a un punto que pertenece a ([a, b]).
Definici
on 84 Una curva (parametrizada) : [a, b] C cerrada se llama
curva de Jordan o curva cerrada simple si
(s) &= (t) para todo s, t [a, b] tales que s &= t .
Intuitivamente, una curva de Jordan no se toca a s misma. Mencionamos
que en la Topologa se usan definiciones m
as generales de curva (por ejemplo
seg
un Jordan, Urysohn, Menger), las cuales son aplicables tambien a curvas
para las cuales no se tienen representaciones parametricas. Estas definiciones
reflejan mejor la idea de que una curva es un objeto largo pero sin anchura.
Definici
on 85 Sea G una regi
on en el plano, es decir, un subconjunto abierto
del plano complejo y equivalentemente de #2 .
G se llama conexa si para cada dos puntos a, b G existe una curva :
[a, b] C que inicia en a y termina en b y cuya grafica pertenece a G.
29

G se llama simplemente conexa si para toda curva de Jordan [a, b] G,

su interior I() pertenece a G, vea figura 9.
Una regi
on conexa que no es simplemente conexa, es llamada de conexi
on
m
ultiple, vea figura 10.
Cuando dibujamos una curva de Jordan en el Plano Euclidiano, observamos
de manera inmediata y obvia lo siguiente:
Teorema 86 (Teorema de Jordan) .
(1) Cada curva de Jordan separa al plano en dos regiones: una acotada llamada el interior de la curva I(), y otra no acotada llamada el exterior de la
curva E().
(2) Ambas regiones son subconjuntos abiertos y conexos del plano.
(3) La uni
on de ambas regiones es disconexa.
(4) Para cada punto p de la curva, la uni
on I() I() {p} es conexa.
Para las partes (2)-(4) del teorema, n
otese que cada region no contiene a
la curva. Entonces para cada dos puntos a I(), b E() tenemos a, b
I() E() pero cada camino para conectar los dos puntos tiene que cruzar
a la curva. En cambio, considerando a, b I() E() {p}, seguramente se
puede encontrar un camino desde a hacia b, cruzando la curva exactamente en
el punto p.
La demostracion correcta del teorema de Jordan y posteriormente la definicion
general y topol
ogica de una curva (tambien en espacios de mayores dimensiones)
han sido de los retos difciles en la historia de las matematicas.

11

Independencia de la trayectoria - el teorema

de Cauchy

Una de las propiedades mas importantes de las funciones de variable compleja

es que bajo ciertas condiciones, la integral de lnea de una funci
on entre los
puntos a y b no depende de la trayectoria (de la curva, del camino) entre a y b.
Ya sabemos que el valor de la integral sobre una trayectoria desde a hacia b es
el negativo del valor de la integral sobre la trayectoria inversa (desde b hacia a).
En consecuencia, si la integral no depende de la trayectoria, cuando integramos
sobre una curva desde a hasta b y luego seguimos integrando sobre cualquier
(tal vez otra) curva desde b hasta a, la integral total al regresar al punto a debe
dar el valor cero. En otras palabras, el valor de la integral sobre cualquier curva
cerrada debe dar valor cero.
Las condiciones para que esta independencia se cumpla, se refieren
a la funcion compleja f - debe ser holomorfa;
a la curva , mejor dicho, a las curvas a lo largo de las cuales se quiere
integrar - deben ser diferenciables con derivadas continuas;
30

Figure 9: En la regi
on C2 toda curva de Jordan contiene solo puntos de C2 .
Igualmente, C3 es simplemente conexa. Sin embargo, en la region C1 podemos
encontrar curvas de Jordan cuyo interior contienen partes del complemento de
C1 (por ejemplo C3 ). Por eso C1 no es simplemente conexa.
y a la regi
on G C en la cual la integraci
on se lleva acabo - debe ser
simplemente conexa.
Teorema 87 (Teorema de Cauchy sobre la integral en el plano complejo)
Si una funci
on f : C C es holomorfa en una regi
on simplemente conexa
G C, entonces vale lo siguiente:
Para cualquier curva : [a, b] C de clase C 1 /(diferenciable y con derivada
continua) cuya gr
afica pertenece a G, la integral f (z)dz solo depende de los
puntos finales (a), (b), pero no depende de la trayectoria misma.
Eso significa: si 1 , 2 : [a, b] C son cualesquiera dos curvas de clase C 1
cuyas gr
aficas pertenecen a G y tales que 1 (a) = 2 (a), 1 (b) = 2 (b), entonces
.
.
f (z) dz =
f (z) dz .
1

Equivalentemente:
Para cualquier curva : [a, b] C de clase C 1 (diferenciable y con derivada
continua) cuya gr
afica pertenece a G y que es cerrada ((a) = (b)), se sigue

31

Figure 10: C1 es una regi

on de conexion m
ultiple. Los puntos dentro de C2 y
C3 no estan en C1 , C2 y C3 son agujeros de esta region.
que

f (z)dz = 0 .

Dem. 88 Es claro que ambas afirmaciones son equivalentes; demostramos la

segunda. Aplicando el teorema de Green en el plano
.
. .
Q P
(P dx + Qdy) =

)dx dy
(
y
R x

y usando f (z) = u + iv obtenemos

.
. .
u
v
(udx vdy) =
+
)dx dy
(
x
y
R
y

(vdx + udy) =

. .

u v

)dx dy
x y

Debido a que f es holomorfa, ambas integrales tienen el valor cero, por las
condiciones de Cauchy-Riemann. !
La independencia de la integral de la trayectoria no solo es consecuencia de
las condiciones del teorema de Cauchy, sino tambien es necesaria, como establece
el siguiente teorema que reportamos sin demostracion.
32

Teorema 89 (Teorema de Morera) Sea f : C C una funci

on continua
en una regi
on G C.
1
Si
/ para cualquier curva de clase C cuya grafica pertenece a G, la integral
f (z)dz no depende de la trayectoria, entonces f es holomorfa en G.

Equivalentemente:

Si para cualquier curva

cerrada de clase C 1 cuya grafica pertenece a G, la
/
integral cumple que f (z)dz = 0, entonces f es holomorfa en G.
El teorema de Cauchy puede ser aplicado tambien para calcular una integral
sobre una regi
on de conexion m
ultiple. Entonces se tiene que construir una
trayectoria que une todas las curvas de la frontera de dicha region, tomando en
cuenta la frontera exterior de la regi
on y todas las fronteras de los agujeros, vea
figura 11.

Figure 11: La regi

on B es de conexion m
ultiple y tiene C2 y C3 como agujeros.
Sin embargo, se puede construir una trayectoria cerrada la cual recorre toda
la frontera de B, uniendo la frontera exterior con todas las fronteras de los
agujeros.
Teorema 90 Sea f una funci
on compleja holomorfa en una regi
on G de conexi
on
m
ultiple. Si la frontera de G es formada por un n
umero finito de curvas cerradas de clase C 1 , todas independientes entre s (no se tocan) y compuestas de

33

tal manera que realicen un recorrido de la frontera de G, entonces

.
f (z) dz = 0 .

Dem. 91 Se construye una trayectoria cerrada de la frontera de la regi

on G de
conexi
on m
ultiple, recorriendo toda esta frontera, uniendo la frontera exterior
con todas las fronteras de los agujeros, vea figura 11. N
otese que eso corresponde
a construir una nueva regi
on G" , restando de G los interiores de todas las curvas
de Jordan dadas como las fronteras de los agujeros. La nueva regi
on G" resulta
ser simplemente conexa. !
Veamos un ejemplo para clarificar estos u
ltimos resultados.
#
$
Ejemplo 92 Integremos la funci
on 1/ z 2 + 16 en una regi
on entre dos crculos
concentricos alrededor de 0, como se muestra en la figura 12. Esta funci
on es
singular en z = 4i. Sobre el crculo exterior, z = 2ei y sobre el interior se
tiene que z = ei . Entonces separemos la integraci
on en los dos crculos, se
tiene:
. 2
. 2
.
dz
2ei d
ei d
=
i
+
i
2
2i
2i
4e + 16
e + 16
0
0
B z + 16
!
!
",2
",2
1 2i ,,
1 2i ,,
1
1
arctan
e
=
, + 4 arctan 4 e
,
4
2
=

ya que e0 = e4i = 1. Es m
as, podemos ver que
.

2ei d
=
4e2i + 16

ei d
+ 16

e2i

que corresponde a la integral a lo largo de cada crculo por separado, pero en

sentido contrario.
Ejercicio 93 Usando los teorem
as anteriores, determina en cu
ales regiones las
funciones de los ejercicios 35 y 63 tienen integrales diferentes de cero para
trayectorias cerradas.

12

El teorema fundamental del c

alculo de funciones complejas

Otra muy importante propiedad de la integral es la siguiente:

34

Figure 12: Trayectoria de integraci

on dada por dos crculos centrados en el
orgen.
Teorema 94 (Regla de Barrow) Sea G un subconjunto abierto de C sobre el
cual est
an definidas una funci
on compleja f que es holomorfa sobre G y una
primitiva F de f , es decir, para todo z G vale que
F " (z) = f (z) .
Entonces, para la integral de lnea de f a lo largo de una curva : [a, b] C
de clase C 1 se sigue que
.
f (z) dz = F ((b)) F ((a)) .

Dem. 95 Usando que F (z) = X(z) + iY (z), z = x + iy, derivamos la funci

on

35

primitiva en cualquier t (a, b):

d
F ((t))
dt

!
"
X
Y
Y
X
((t))x" (t) +
((t))y " (t) + i
((t))x" (t) +
((t))y " (t)
x
y
x
y
!
"
X
Y
=
((t)) + i
((t)) (x" (t) + iy " (t))
x
x
= F " ((t)) " (t) = f ((t)) " (t) .
=

Aplicando la integral a ambos lados se obtiene

.

f (z( dz

f ((t)) " (t) dt

d
F ((t))dt = F ((b)) F ((a)) .
dt

!
Recordemos que el teorema analogo al u
ltimo para funciones reales es consecuencia del Teorema fundamental del c
alculo integral y diferencial el cual
establece la manera de como encontrar la funci
on primitiva F de una funci
on
dada f . Para funciones complejas se tiene el siguiente an
alogo a dicho teorema
fundamental:
Teorema 96 (Teorema fundamental del c
alculo para funciones complejas)
Sean f, F : C C funciones holomorfas en un subconjunto abierto G de C y
z0 G.
. z
Si F (z) =
f (t) dt , entonces F " (z) = f (z) para todo z A ,
z0

donde la integral se efectua sobre una curva : [a, b] C de clase C 1 desde

z0 hacia z cuya grafica se encuentra dentro de G.
La integral de una funci
on holomorfa genera entonces una funcion holomorfa.
/z
Notese que la integral z0 f (t) define a la funci
on primitiva F (z). El hecho que
esta integral no depende de la trayectoria concreta usada para su determinaci
on,
es de suma importancia para que la definicion de F (z) este correcta. Como consecuencia, la independencia de la integral de la trayectoria es tambien esencial
para la validez de la regla de Barrow, la cual finalmente expresa la integral en
terminos de solo los valores de la funci
on primitiva en dos puntos (el inicial y el
final).
Ejercicio 97 Demostrar el teorema fundamental.

36

13

Las f
ormulas integrales de Cauchy

Uno de las herramientas m

as importantes y u
tiles para la integraci
on de funciones complejas son las f
ormulas integrales de Cauchy.
Cuando una funci
on compleja es holomorfa en una regi
on simplemente conexa
G, entonces en cualquier punto z G, los valores tanto de f como tambien de
sus derivadas (de todos los ordenes) pueden ser calculados en base de los valores
de f solamente en puntos sobre una curva cerrada que tenga en su interior al
punto z.
Vamos a ver mas tarde que para una funcion compleja, la propiedad de
ser holomorfa coincide con la propiedad de ser regular o analtica. Puntos en
los cuales estas propiedades no se cumplen, son singularidades. Las formulas
integrales de Cauchy serviran en particular para efectuar la integraci
on en una
regi
on que contiene a una singularidad. Vimos antes que la integral de una
funci
on holomorfa en una regi
on, a lo largo de una curva cerrada tiene valor
cero. La singularidad contenida en la regi
on de integracion cambia este hecho,
entonces la integral tiene un valor distinto a cero.
Teorema 98 (F
ormula integral de Cauchy) Sea f : C C una funci
on
holomorfa en una regi
on simplemente conexa G que contiene una curva cerrada
. Si z0 es cualquier punto interior a la curva , se tiene que
.
f (z)
1
f (z0 ) =
dz
2i z z0
Dem. 99 Sea : [a, b] C una curva cerrada que contenga z0 en su interior,
vea figura 13. Sea r0 = |z z0 |, tal que 0 = {z C : |z z0 | r} ([a, b]).
Puesto que f es holomorfa, f (z)/(z z0 ) es holomorfa tambien, salvo en z = z0 .
Por el teorema de la integral en regiones de conexi
on m
ultiple, se tiene
.
.
f (z)
f (z)

=0 ,
z

z
z
z0
0

0
es decir:

f (z)dz
= f (z0 )
z z0

dz
+
z z0

f (z) f (z0 )
dz .
z z0

Sobre la (sub)curva 0 , vale que (z z0 ) = r0 ei , por lo que dz = ir0 ei d, es

decir
. 2 i
.
dz
e
=
ir0 ei d = 2i .
r0
0
0 z z 0

Puesto que f es continua, para toda # #, existe > 0 tal que |z z0 | <
implica que |f (z) f (z0 )| < #. Tomemos = r0 , entonces
,.
,
.
.
,
#
f (z) f (z0 ) ,,
|f (z) f (z0 )|
,

|dz|
<
dz
|dz|
,
,
z z0
|z z0 |
r0 0
0
0
. 2
#
#
=
|ir0 ei d| = 2 r0 = #2
r0 0
r0
37

Figure 13: Trayectoria de integraci

on utilizada en el teorema de la f
ormula
integral de Cauchy.
Por lo que esta integral ser
a m
as peque
na que 2#, que tiene el valor tan peque
no
como se quiera. En consecuencia, la integral tiene valor cero. !
Una implicaci
on inmediata es la siguiente formula para la derivada.
Corolario 100

1
f (z0 ) =
2i
"

f (z)
dz
(z z0 )2

Claramente este proceso de derivacion se puede continuar para obtener las

derivadas de orden mayor. Para aprender a usar la f
ormula, proponemos los
siguientes ejercicios.
Ejercicio
/ 101 Realice las siguientes integrales
1) z 2 dz, donde es cualquier trayectoria cerrada.
/
2) cos(z)/(z + 1)2 dz, donde es un crculo de radio 1/2 y centro en cero.
/
3) cos(z)/(z + 1)2 dz, donde es un crculo de radio 2 y centro en cero.
/ 2z+1
4) z+z
dz, donde es un crculo de radio 2 y centro en cero.
/ 2z+12
5) z+z2 dz, donde es un crculo de radio 1/2 y centro en cero.
/
3
2
1
6) 4zz(z+z
rculo de radio 2 y centro en cero.
2 1) dz, donde es un c
38

7)
8)

4z 3 +z 2 1
rculo de radio 1/2 y centro en cero.
z(z 2 1) dz, donde es un c
z 2 2z1
rculo de radio 1/2 y centro en 1.
z+z 2 dz, donde es un c

El teorema y el corolario anteriores son de suma importancia para evaluar

integrales, tanto para funciones de variable compleja como para funciones de
variable real; m
as adelante dedicaremos una secci
on a estas aplicaciones. Otra
consecuencia directa de la f
ormula integral de Cauchy es la siguiente.
Teorema 102 Si f : C C es una funci
on holomorfa en una regi
on G,
entonces sus derivadas de todos los o
rdenes, f " (z), f "" (z), , son tambien funciones holomorfas en una regi
on G" G.
Dem. 103 Usando el corolario anterior, encontramos que
.
2!
f " (z)
""
f (z0 ) =
dz ,
2i (z z0 )3
es decir, la segunda derivada existe en una regi
on dentro de G. Debido a que
se puede continuar el proceso de derivaci
on, se obtiene el resultado del teorema.
Eso implica que, si f = u + iv, entonces u y v son funciones de clase C . !
Este teorema nos conduce a la f
ormula general
.
f (z)dz
n!
f (n) (z0 ) =
2i (z z0 )n+1

n = 1, 2,

(2)

Todas las f
ormulas de Cauchy son igualmente validas para una region de conexion
m
ultiple la cual contiene al punto z0 .
Ejercicio 104 Calcular las siguientes integrales
#
$5
/
1) ez / z 2 + 1 dz, donde es cualquier trayectoria cerrada.
/
2) cos(z)/(z 1)5 dz, donde es un crculo de radio 1/2 y centro en cero.
/
3) cos(z)/(z 1)5 dz, donde es un crculo de radio 1/2 y centro en 1.
/
3
z 2 +5z+1
dz, donde es un crculo de radio 2 y centro en cero.
4) 3z (z
2
2
/ 3z3 z1)
2
+5z+1
5) (z2 1)2 dz, donde es un crculo de radio 1 y centro en 1.

DE FUNREPRESENTACION
CIONES
MEDIANTE SERIES
Una de las aplicaciones de la teora de variable compleja es el hecho de que

esta teora proporciona metodos poderosos para evaluar integrales. Algunos de

estos metodos se basan en la representacion de funciones complejas mediante
series lo cual por eso es el tema del presente captulo.

39

14

Series de potencias

Recordemos de la seccion Series de )

n
umeros complejos que la convergencia

de una serie de n
umeros complejos
n=0 zn puede ser caracterizada por la
convergencia de las partes real e imaginaria: Tomando
) en cuenta que zn =
xn + iy)

#
para
todo
n

0,
la
serie
n con xn , yn
n=0 zn es convergente si y
)
solo si
n=0 xn y
n=0 yn ambas son convergentes en #, y
*
+

(
(
(
zn =
xn + i
yn .
n=0

n=0

n=0

Como consecuencia, todos los criterios de convergencia y reglas para el

calculo de lmites de series para series de n
umeros reales son de suma importancia y utilidad para las series de n
umeros complejos. Ya vimos algunos de
estos criterios. A continuacion reportaremos otros criterios (sin demostracion)
que ayudan a determinar si una serie es convergente:
Proposici
on 105 Sean (an )nN y (bn )nN sucesiones de n
umeros reales.
1) Criterio
on. Si 0 an )
bn , para toda n N , entonces, si
) de comparaci

la serie n=1 bn converge, tambien converge n=1 an .

2) Criterio de la raz. Sea an 0 para todo n N y denotemos

n
an , donde r # o r = .

r = lim

Entonces
)
)
n=1 an converge si r < 1;
n=1 an es divergente si r > 1;
)
Cuando r = 1 no hay conclusi
on, es decir,
n=1 an puede ser convergente o
divergente.
3) Criterio del cociente (Criterio de DAlambert). Sea an > 0 para todo
n N y denotemos
r = lim

an+1
, donde r #, r 0 o r = .
an

Entonces
)
)
n=1 an converge si r < 1;
n=1 an es divergente si r > 1;
)
Cuando r = 1 no hay conclusi
on, es decir,
n=1 an puede ser convergente o
divergente.
4) Criterio de Leibniz . Si a1 a2 0 y
lim an = 0 entonces

(1)n+1 an = a1 a2 + a3 a4

n=1

40

converge.

Para aplicar estos criterios de convergencia a una serie de n

umeros complejos,
se analizan la parte real y la parte imaginaria
por
separado.
)
Recordemos tambi
)en que una serie n=1 zn se llama absolutamente convergente (en C) si n=1 |zn | es convergente (en #). La convergencia absoluta
implica la convergencia, pero no al reves.
Ejemplo 106 Apliquemos el criterio del cociente a la serie

(
zn
,
n!
n=0

es decir

an =

zn
.
n!

Queremos aplicar el criterio del cociente a una serie de n

umeros reales (!), as
que consideremos la serie de los valores absolutos
, n,

(
(
,z ,
|z n |
, ,=
.
, n! ,
n!
n=0
n=0
Ciertamente tenemos que
,
,
, an+1 , |an+1 |
|z|
,
,
, an , = |an | = (n + 1) ,

lo cual)converge claramente a cero, para cualquier z C. En consecuencia, la

zn
serie
n=0 n! es absolutamente convergente y por lo tanto convergente para
todo z C. Por eso se puede definir sobre todo el plano complejo la funci
on
exponencial por

(
zn
f (z) =
, zC .
n!
n=0
Este mismo resultado obtuvimos en la secci
on Series de n
umeros complejos
mediante otro argumento.
Vamos a ver un ejemplo de otro tipo en forma del siguiente lema.
Lema 107 (de Abel) Si la serie de n
umeros complejos

n=0

cn z n = c0 + c1 z + + cn z n + (cn C n)

converge para alg

un z0 C, entonces la serie converge absolutamente para todos
los z C tales que |z| < |z0 |.
)
Dem. 108 Por la hip
otesis se tiene que n=0 cn z0n converge, por lo que |cn z0n | <
M es acotado para toda n 0 y para alg
un M #. Denotando r = |z/z0 | se
obtiene
, ,n
,z,
|cn z n | = |cn z0n | ,, ,, < M rn .
zo
)
El criterio de comparaci
on de series implica entonces que la serie n=0 cn z0n
converge absolutamente siempre cuando r < 1. !
41

)
El u
ltimo lema dice que la convergencia de la serie n=0 cn z n para alg
un
complejo particular z = z0 implica que la serie converge en todo el disco abierto
alrededor del orgen 0 y con radio |z0 | (en particular, en el punto 0 !). Podemos
interpretar esta serie como funci
on
f (z) =

n=0

cn z n , cn C n,

zC ,

la cual esta bien definida solamente en puntos z para los cuales la serie converge.
Se habla entonces de un desarrollo de f (z) como serie de potencias zn con
coeficientes cn en el punto 0 = z z0 . Si queremos permitir que el centro
del disco en el cual la serie converge, sea cualquier punto del plano complejo,
tenemos que definir la serie como sigue:
on de la forma
Definici
on 109 Sea z0 C. Una expresi

n=0

cn (z z0 )n , con cn C n

se llama serie de potencias con centro z0 . Esta serie se llama convergente en

un n
umero complejo particular v cuando la serie de n
umeros complejos

n=0

cn (v z0 )n

converge.

Obviamente toda serie de potencias es convergente en su centro z0 . El lema

de Abel sugiere que la serie converge dentro de un disco abierto alrededor de z0 ,
pero con cu
al radio r ?
Supongamos que r #, r > 0 tal que un n
umero complejo z cumple que
|z z0 | < r. Entonces

n=0

|cn (z z0 )n | =

n=0

|cn | |(z z0 )|n <

n=0

|cn | rn .

Cuando esta u
ltima expresion es un n
umero real, la serie de potencias converge
absolutamente y por o tanto converge dentro de un disco abierto con centro z0
y radio r. A la serie de los valores absolutos podemos aplicar el criterio de la
raz o el criterio del cociente para estudiar su convergencia.
Aplicando el criterio de la raz, obtenemos que la serie

n=0

|cn (z z0 )n |

es convergente si
lim

%
n
|cn (z z0 )n | < 1 (en caso que el lmite existe.)
42

Pero eso es equivalente a limn

%
n
|cn | <

&

|z z0 | <

lim

1
|zz0 |

y entonces a

'1
%
n
|cn |
.

Aplicando el criterio del cociente, obtenemos que la serie

n=0

es convergente si

|cn (z z0 )n |

|cn+1 (z z0 )n+1 |
< 1 (en caso que el lmite existe.)
n
|cn (z z0 )n |
lim

Pero eso es equivalente a limn

|cn+1 |
|cn |

<

1
|zz0 |

|cn+1 |
lim
n |cn |

|z z0 | <

y entonces a

"1

Como resultado, tanto el recproco de (limn

n+1

.
%
n
|cn |) como tambien el

(zz0 )
|
recproco de (limn |cn+1
|cn (zz0 )n | ) sirven como radio r del disco abierto
alrededor de z0 en el cual la serie de potencias converge. Por eso, r es llamado
radio de convergencia de la serie de potencias. Ahora, aunque estos lmites existan, el recproco no est
a definido para el cero, y queda la pregunta sobre el
caso cuando estos lmites no existen. Las respuestas se obtienen como consecuencias de los criterios de la raz y del cociente y son resumidas en la siguiente
proposici
on (sin demostracion):

Proposici
on 110 Considerando una serie de potencias

n=0

sea

cn (z z0 )n ,

R = lim

%
n
|cn | .

(i) Si R es un n
umero real estrictamente positivo entonces la serie converge
(absolutamente) en el disco abierto centrado en z0 y con radio r = R1 , pero
diverge para todo z C tal que |z z0 | > R1 . Para el caso de z C tal que
|z z0 | = R1 no se puede hacer afirmaci
on alguna.

(ii) Si R = 0 entonces la serie converge (absolutamente) para todo z C.

(iii) Si R = entonces la serie converge solamente en su punto centro z = z0 .

Estos hechos son igualmente validos si en lugar del lmite R definido arriba se
usa
|cn+1 |
lim
.
n |cn |
43

Eso justifica la siguiente definicion del radio de convergencia.

Mencionamos que a continuacion usaremos una definici
on simplificada; en la
literatura especializada, en lugar del lmite se usa el lmite superior (siendo el
punto de acumulaci
on mayor de una sucesion acotada de n
umeros reales) de la
%
sucesion ( n |cn |)n1 .
Definici
on 111 Sea

R = lim

%
n
|cn | .

El radio de convergencia r de la serie de potencias

n=0

es definido como sigue:

Si

cn (z z0 )n

0<R#

Si
Si

entonces

r=

R = 0 entonces r = ,
R = entonces r = 0 .

1
,
R

El radio de convergencia de la serie de potencias puede ser definido equivalentemente usando en lugar del lmite R definido arriba el lmite
!
"1
|cn+1 |
lim
.
n |cn |
Ejemplo 112 Ya conocemos la serie de potencias (con centro z0 = 0) que
define la funci
on exponencial:
f (z) = exp(z) =
El radio de convergencia es infinito:

(
1 n
z .
n!
n=0

((n + 1)!)1
1
=0 ,
= lim
n
n n
(n!)1
lim

lo cual implica que esta serie es convergente en todo el plano complejo.

Ejemplo 113 La serie de potencias

nn z n

n=0

solamente converge en su punto centro z0 = 0, puesto que

%

lim n |cn | = lim n nn = lim n = .

n

44

15

Funciones analticas y series de Taylor

Funciones analticas son funciones representables como series de potencias en

alguna regi
on del plano complejo. Recordemos que una regi
on es un subconjunto
abierto.
Definici
on 114 Una funci
on f : C C definida en una regi
on G C se
llama analtica en G si para cada z0 G existe r #, r > 0, tal que una
representaci
on de f (z) como serie de potencias
f (z) =

n=0

cn (z z0 )n , cn C n

es correcta para todo z tal que |z z0 | < r (es decir, el radio de convergencia
es igual o mayor a r).
Una de los resultados m
as importantes de la teora de funciones de variable
compleja es que para cualquier regi
on G C, toda funci
on holomorfa sobre G
es analtica sobre G. Este resultado es proporcionado por la serie de Taylor.
Pero tambien la implicaci
on contraria es verdad: toda funci
on analtica sobre
G es (complejo) derivable infinitamente. En consecuencia, para toda funci
on
compleja, los conceptos de analtica y de holomorfa son equivalentes. Veremos
estos hechos a continuacion; algunos reportamos sin demostracion.
)
Teorema 115 (Derivadas de una serie de potencias) Sea n=0 cn (zz0 )n
(cn C, n N ) una serie de potencias con radio de convergencia r > 0. Denotando el disco abierto con centro z0 y radio r por Br (z0 ), sea f la funci
on
compleja f : Br (z0 ) C dada por
f (z) =

n=0

cn (z z0 )n .

Entonces f es holomorfa sobre Br (z0 ), y sus derivadas tienen las siguientes

representaciones por series de potencias, las cuales todas tienen el radio de
convergencia igual a r.
f " (z) =
f (k) (z) =
=

n=1

n=k

ncn (z z0 )n1 =

(n + 1)cn+1 (z z0 )n

n=0

n (n 1) (n k + 1) cn (z z0 )nk

(n + k) (n + k 1) (n + 1) cn+k (z z0 )n

n=0

Corolario 116 Toda funci

on compleja f : C C la cual es analtica en una
regi
on G de C, es tambien holomorfa en G.
45

Teorema 117 (Serie de Taylor para funci

on analtica) Para toda funci
on
compleja f : C C la cual es representable en z0 G por una serie de potencias

(
cn (z z0 )n ,
f (z) =
n=0

los coeficientes de esta serie son determinados por las derivadas de f como
sigue:
f (n) (z0 )
para todo n N .
cn =
n!

Definici
on 118 (Corolario y Definici
on) Toda funci
on compleja f : C
C analtica en una regi
on G de C permite en cada punto z0 G una representaci
on mediante una serie de Taylor, dada por
f (z) =
=

(
f (n) (z0 )
(z z0 )n
n!
n=0

f (z0 ) + f " (z0 )(z z0 ) +

f "" (z0 )
f (n) (z0 )
(z z0 )2 + +
(z z0 )n +
2!
n!

Teorema 119 (Serie de Taylor para funci

on holomorfa) Sea f (z) una funci
on
holomorfa en un crculo con centro z0 C y radio r0 . Entonces existe una serie
de potencias

(
cn (z z0 )n
n=0

la cual converge en un crculo con centro z0 C y radio r1 < r0 y representa

entonces la funci
on f (z) localmente. Denotemos la circunferencia del u
ltimo
umeros complejos dados por
crculo por 1 . Los coeficientes de esta serie son n
la f
ormula
f (n) (z0 )
cn =
.
n!
Es decir, en el interior de la curva (de Jordan) 1 vale la representaci
on
f (z) =
=

(
f (n) (z0 )
(z z0 )n
n!
n=0

f (z0 ) + f " (z0 )(z z0 ) +

f "" (z0 )
f (n) (z0 )
(z z0 )2 + +
(z z0 )n +
2!
n!

Dem. 120 Sea z un punto del interior de la curva dada como la circunferencia
as
con centro z0 y radio r0 , es decir, r = |z z0 | cumple que r < r0 . Adem
sea 1 una circunferencia con centro z0 y radio r1 tal que r < r1 < r0 . f (z) es
holomorfa en el interior de la curva 1 y sobre ella. De la integral de Cauchy,
tenemos
.
f (z " )dz "
1
f (z) =
2i 1 z " z
46

Pero

1
1
1
1
= "
= "

0
z" z
(z z0 ) (z z0 )
z z0 1 zzz
! z
0

Ahora usamos la f
ormula

1 + + + n1 =

n 1
1

de la cual se obtiene
1
n
= 1 + + 2 + + n1 +
.
1
1
Denotando =

zz0
z ! z0 ,

1
1
= "
"
z z
z z0

obtenemos una f
ormula equivalente:

z z0
1+ "
+ +
z z0

z z0
"z
0

"n1

1
1

zz0
z ! z0

z z0
z " z0

"n +

As que
f (z " )
z" z

=
+

f (z " )
f (z " )
+
(z z0 ) +
z " z0
(z " z0 )2
f (z " )
f (z " )
n1
(z

z
)
+
(z z0 )n .
0
(z " z0 )n
(z " z)(z " z0 )n

Ahora dividimos esta identidad entre 2i e integramos todos los terminos usando
el teorema de Cauchy, para obtener
f (z) = f (z0 ) + f " (z0 )(z z0 ) + +

f (n1) (z0 )
(z z0 )n1 + Rn ,
n!

donde el residuo Rn esta dado por

.
f (z " )
(z z0 )n
Rn =
dz " .
"
"
n
2i
1 (z z)(z z0 )

Recordemos que |z z0 | = r y |z " z0 | = r1 . Debido a que |z " z0 | |z " z| +

|z z0 |, tenemos que |z " z| |z " z0 | |z z0 | = r1 r. En consecuencia,
si M denota el valor m
aximo de |f (z " )| en el interior de la curva 1 , el residuo
es acotado como sigue:
,
, n
! "n
,r
2iM r1 ,,
r
r1 M

0
|Rn | ,,
=
n
2i (r1 r)r1 n , r1 r r1

debido a que r < r1 . Esto implica que considerando la serie como lmite para
n tendiendo al infinito obtenemos el valor de la funci
on en cualquier punto. Es
decir,

(
f (n)
(z z0 )n .
f (z) = f (z0 ) +
n!
n=1
La convergencia de esta serie est
a asegurada debido a que la funci
on f (z) fue
supuesta como holomorfa dentro de la curva 0 . !
47

Corolario 121 Toda funci

on compleja f : C C la cual es holomorfa en una
regi
on G de C, es tambien (localmente) analtica en cada punto de G.
Notaci
on 122 Una serie de Taylor desarrollada para el punto z0 = 0 se llama
una serie de Maclaurin. y tiene la siguiente forma simplificada:
f (z) = f (0) +

(
f (n) n
z .
n!
n=1

Veamos un ejemplo.
Ejemplo 123 Vamos a desarrollar la funci
on
f (z) =

1
32z

como serie de Taylor en potencias de z 3. Para eso, transformemos la funci

on
f primero como sigue:
1
1
1
1
=
=
.
32z
3 + 2(z 3)
3 1 + 23 (z 3)
Ahora usamos la f
ormula para el desarrollo de Taylor de 1/(1 + z) con |z| < 1,
substituyendo z 2/3(z 3). Se obtiene:
3
2
1
1
22
23
2
2
3
=
1 (z 3) + 2 (z 3) 3 (z 3) +
32z
3
3
3
3
la cual es convergente para |z 3| < 32 .

48