VARIABLE COMPLEJA

LOS N

UMEROS COMPLEJOS
1 Denicion, propiedades y reglas de calculo
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 x2 = 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
no lineal x
2
2 = 0 no tiene soluci on en los n umeros racionales; su soluci on
pertenece al conjunto de los n umeros reales , de hecho, al conjunto de los
n umeros irracionales I = \ Q. A un as, la ecuacion x
2
+ 2 = 0 no tiene
soluci on en . Entonces se introducen los n umeros imaginarios, deniendo un
nuevo n umero i como solucion de x
2
= 1, y mas generalmente se dene ir como
soluci on de x
2
= r
2
. Equivalentemente, para r , x = i

r se considera la
soluci on de x
2
+r = 0. Finalmente un n umero complejo es denido como la suma
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.
Denicion 1 El conjunto de los n umeros complejos C es denido como
C = {z = a +ib | a, b , i
2
= 1}
Notacion 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 denici on
de una suma y de un producto entre estos. Esta denicion aprovecha operaciones
entre n umeros reales.
Denicion 3 Sean z
1
= a
1
+ib
1
, z
2
= a
2
+ib
2
C, entonces se dene
la suma: z
1
+z
2
= (a
1
+ib
1
) + (a
2
+ib
2
) = (a
1
+a
2
) +i(b
1
+b
2
);
el producto: z
2
z
1
= (a
1
a
2
b
1
b
2
) +i(a
1
b
2
+b
1
a
2
).
Proposici on 4 El conjunto de los n umeros complejos conjuntamente con las
operaciones recien denidas , (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 signica: a = 0 o b = 0) existe el inverso
multiplicativo z
1
dado por
z
1
=
_
a
a
2
+b
2
,
b
a
2
+b
2
_
.
Ejercicio 5 Demuestra con todo detalle la ultima 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 Euclidi-
ano
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 z
1
= (a
1
, b
1
), z
2
= (a
2
, b
2
)
2
, z
1
+z
2
= (a
1
+b
1
, a
2
+b
2
).
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 isomorsmo de (C, +) sobre (
2
, +).
Como resultado, se justica interpretar cada n umero complejo como vec-
tor 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 el punto z y el orgen del sistema de
coordenadas, vea gura 1. Se sigue que r =

a
2
+b
2
y = arctan(b/a).
Notacion 8 Al n umero r se le llama el modulo 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:
2
Figure 1: Un n umero complejo en sus representaciones estandar y polar z =
a +ib = r[cos() +i sin()].
Corolario 10 |z
1
z
2
| = |z
1
| |z
2
|, arg(z
1
z
2
) = arg (z
1
) + arg (z
2
).
Dem. 11 z
1
z
2
= r
1
r
2
(cos (
1
)+i sin (
1
))(cos (
2
)+i sin(
2
)) = r
1
r
2
[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 com-
plejo conjugado, que se dene como sigue:
Denicion 13 Sea z C. El complejo conjugado de z = a+ib se dene por
z = a ib.
Corolario 14 Se tiene z z = |z|
2
.
Ejercicio 15 Verica las siguienes propiedades de los n umeros complejos. Sean
v, w C.
1) v +w = v + w, v w = v w;
2) v w = v w,
_
v
w
_
=
v
w
siempre cuando w = 0;
3) v v = |v|
2
;
3
2 Norma, metrica 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| =

a
2
+b
2
describe la longitud de este
vector (es decir, su norma Euclideana en
2
), o equivalentemente su distan-
cia Euclideana al punto cero. M as generalmente, para dos n umeros complejos
z
1
= a
1
+ ib
1
y z
2
= a
2
+ ib
2
, |z
1
z
2
| =
_
(a
1
a
2
)
2
+ (b
1
b
2
)
2
describe la
distancia Euclideana entre los dos vectores z
1
= (a
1
, b
1
) y z
2
= (a
2
, b
2
), o equiv-
alentemente la longitud del vector (z
1
z
2
), o equivalentemente la longitud del
segmento de lnea recta que une los puntos z
1
y z
2
. 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 denimos algunos conceptos que necesitaremos mas adelante.
Denicion 16 Sea z C. La bola abierta centrada en z y con radio
( , > 0) es denida 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 esta 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 Eu-
clideano
2
, pero estos espacios lo estudiaremos en captulos m as adelante. Sin
embargo, cabe notar que el producto denido 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 Verica las siguienes propiedades de los n umeros complejos. Sean
v, w C.
1) |v| 0, |v| = 0 v = 0;
2) |vw| = |v||w|, |
v
w
| =
|v|
|w|
para w = 0;
3) |v +w| |v| + |w|.
3 Sucesiones de n umeros complejos
Las deniciones 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, reejan los n umeros complejos como elementos de un
particular espacio metrico (vea Captulo Convergencia en espacios metricos).
Para m as claridad, veamos estas deniciones aqu brevemente:
4
Denicion 18 Una sucesi on de n umeros complejos (o sucesion en C) es
un mapeo f de los n umeros naturales en C, f : N C, es decir, f(n) = z
n
C,
para todo n N. Se usan las notaciones comunmente conocidas (z
n
)
n1
=
(z
n
)
nN
= (z
n
)

n=1
= (z
n
), o tambien (z
n
)
n0
= (z
n
)
nN{0}
.
Denicion 19 Una sucesi on de n umeros complejos (z
n
)
n1
se llama con-
vergente en C si existe z C y para todo > 0 ( ) existe un n umero
natural n

tal que |z
n
z| < para todo n umero natural n n

. En este caso
z es llamado el lmite de la sucesi on, y se escribe
lim
n
z
n
= z o z
n
z .
Cuando no existe z X tal que (z
n
)
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 Euclidi-
ano
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 (z
n
)
nN
= (z
n
)

n=1
con z
n
= x
n
+ iy
n
, x
n
, y
n

para todo n N, converge si y s olo si las sucesiones (x
n
)
nN
y (y
n
)
nN
ambas
convergen, cada una en . Entonces vale que
lim
n
z
n
= z = x +iy si y s olo si lim
n
x
n
= x y lim
n
y
n
= y .
Ejemplo 21 Consideremos la sucesi on de n umeros complejos dada por
(z
n
) =
_
1 +
1
n
_
n
+i
_
2
n
_
, n N .
Aprovechando conocimiento sobre sucesiones de n umeros reales, tenemos que
lim
n
_
1 +
1
n
_
n
= e (n umero de Euler), lim
n
2
n
= 0,
lo cual implica
lim
n
z
n
= e +i 0 = e .
Ejemplo 22 La sucesi on de n umeros complejos dada por
(z
n
) =
_
1
n
2
_
+i(1)
n
, n N
no converge, es decir, es divergente, aunque la sucesion correspondiente a la
parte real converge a 0. Sin embargo, la sucesion correspondiente a la parte
imaginaria, y
n
= (1)
n
es divergente.
5
Las reglas que ayudan a calcular lmites de sucesiones de n umeros comple-
jos son analogas a reglas para sucesiones de n umeros reales. A continuacion
reportamos solo las m as importantes.
Lema 23 Si (v
n
)
nN
y (w
n
)
nN
son sucesiones convergentes en C tales que
lim
n
v
n
= v, lim
n
w
n
= w ,
entonces tambien son convergentes las sucesiones generadas como suma, difer-
encia, producto y cociente (con restricciones) de ambas, o mediante la norma
o la operacion del complejo conjugado, y las siguientes reglas de c alculo son
validas:
lim
n
(v
n
+w
n
) = v +w
lim
n
(v
n
w
n
) = v w
lim
n
(v
n
w
n
) = v w
lim
n
_
vn
wn
_
=
v
w
, si w
n
= 0 n, w = 0
lim
n
|v
n
| = |v|
lim
n
v
n
= v
Ademas, se consideran sucesiones en C tendiendo al innito o propiamente
divergentes, con ayuda de las sucesiones correspondientes de n umeros reales de
las normas:
Denicion 24 Una sucesi on de n umeros complejos (z
n
)
n1
se llama ten-
diendo al innito o propiamente divergente en C, y se escribe
lim
n
z
n
= , siempre cuando lim
n
|z
n
| = .
4 Series de n umeros complejos
Dada una sucesion de n umeros complejos (z
n
)
n0
, se forma una serie como
lmite de una suma parcial, an alogamente como para series de n umeros reales:

n=0
z
n
= lim
n
n

k=0
z
k
.
Debido a que el problema de la convergencia de una serie se reduce al pro-
blema de la convergencia de una sucesion, tenemos de nuevo caracterizaciones
de la convergencia basadas en las partes real e imaginaria de la serie:
6
Lema 25 Sea

n=0
z
n
una serie con z
n
= x
n
+ iy
n
, x
n
, y
n
para todo
n 0. Entonces

n=0
z
n
es convergente si y s olo si

n=0
x
n
y

n=0
y
n
ambas son convergentes.
Ademas vale entonces que

n=0
z
n
=

n=0
x
n
+i
_

n=0
y
n
_
.
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
z
n
converge si y s olo si para cualquier con > 0, existe n

natural tal que

m > n n

siempre implica que

m
k=n+1
z
k

< .
Corolario 27 (Criterio necesario de convergencia de series) Si una se-
rie de n umeros complejos

n=0
z
n
converge entonces la sucesi on (z
n
)
n0
con-
verge a cero.
Ejercicio 28 Demuestra el ultimo corolario, aplicando el criterio de Cauchy.
Ejercicio 29 Aplicando el criterio de Cauchy, demuestren (por contradiccion)
que la serie arm onica

n=0
1
n
es divergente. N otese que este ejemplo tambien
muestra que el criterio necesario de convergencia citado arriba no es suciente.
An alogamente como para series de n umeros reales, se considera la conver-
gencia absoluta:
Denicion 30 La serie

n=0
z
n
de n umeros complejos se llama absoluta-
mente convergente si

n=0
|z
n
| es convergente en .
La convergencia absoluta de una serie implica su convergencia, pero la im-
plicaci on contraria no es verdad. Por ejemplo, la serie

n=0
(1)
n
n
converge, pero

n=0

(1)
n
n

n=0
1
n
es divergente.
La suma y la multiplicaci on entre series son denidas como sigue:

n=0
v
n
+

n=0
w
n
=

n=0
(v
n
+w
n
)
_

n=0
v
n
_

n=0
w
n
_
=

n=0
_
n

k=0
v
k
w
nk
_
=

n=0
_
n

k=0
v
nk
w
k
_
7
Ejemplo 31 Recordemos que la funcion exponencial de variable real x tiene la
siguiente representacion mediante una serie:
e
x
=

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

n=0

z
n
n!

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

n=0
z
n
n!
es denida para todo z C. Aplicando la denicion del producto de series
obtenemos
_

n=0
x
n
n!
_

n=0
y
n
n!
_
=

n=0
_
n

k=0
x
nk
(n k)!
y
n
k!
_
=

n=0
1
n!
_
n

k=0
n!
k!(n k)!
x
nk
y
k
_
lo cual contiene la f ormula del Binomio de Newton !
=

n=0
1
n!
(x +y)
n
, es decir
e
x
e
y
= e
x+y
.
FUNCIONES DE VARIABLE COM-
PLEJA
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 denidas 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 simplicar c alculos complicados con funciones
reales. Denamos primero una funcion compleja.
8
Denicion 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 vari-
ables reales y con valores reales) se pueden extender al caso de las funciones
complejas. Iniciemos con la denicion de continuidad.
Denicion 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

sucientemente 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
gracamente en la gura 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
_
x
2
+y
2
< implique
_
x
2
+ 4y
2
< .
Pero eso es ciertamente verdad si escogemos por ejemplo =
1
2
, puesto que
_
x
2
+ 4y
2
=

4
_
x
2
4
+y
2
= 2
_
x
2
4
+y
2
< 2
_
x
2
+y
2
< 2

2
, vea gura 3.
9
Figure 3: En el plano complejo de la izquierda se muestra la regi on determinada
por (x
2
+ y
2
)
1/2
< , mientras que en el plano de la derecha se muestra la
regi on determinada por (x
2
+ 4y
2
)
1/2
< . Observese que la region dada por
(x
2
+y
2
)
1/2
< < 2 contiene a la region dada por (x
2
+ 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 denicion de
contuidad:
1) f(z) = z
2
2) f(z) = x +
i
2
y
3) f(z) =
z
x
2
+y
2
4) f(z) = z + z
5) f(z) = z
6) f(z) = z z
7) f(z) = z 2z
2
8) f(z) = (z + 2)
2
La denici on de lmite en un punto para funciones complejas es tambien
an aloga a la denicion de lmite para funciones reales:
Denicion 36 Sean f : C C, y z
1
, z
2
C. El lmite de f cuando z tiende
a z
1
es el n umero z
2
, si para todo > 0 existe > 0 con , tal que
|z z
1
| < implica |f(z) z
2
| < . Este hecho se denota por
lim
zz1
f(z) = z
2
.
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 z
1
C, con f(z
1
) = z
2

C si y s olo si lim
zz1
f(z) = z
2
.
Dem. 38 Demostramos la suciencia: Para ver que f es continua en z
1
, sea
> 0, arbitrario. La suposi on del lmite implica entonces inmediatamente
que existe > 0, tal que |z z
1
| < siempre implica |f(z) z
2
| < .
Si tomamos en particular un punto arbitrario z

cerca de z
1
, es decir, tal que
|z

z
1
| < , entonces obtenemos |f(z

) z
2
| < . Pero tenemos f(z
1
) = z
2
,
as que, en realidad obtuvimos que |f(z

) f(z
1
)| < , lo cual completa la
demostraci on de la continuidad de f en z
1
.
Ejercicio 39 Demostrar la necesidad en la ultima proposici on (es decir, que la
continuidad de f en z
1
conjunto con f(z
1
) = z
2
implica que f tiene en z
1
el
lmite z
2
).
Ejercicio 40 Utilizando la proposici on anterior, vericar 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 com-
plejas son completamente an alogas a las de funciones reales; por eso no incluire-
mos todas las demostraciones.
Teorema 41 (Reglas de calculo de lmites para funciones complejas)
Sean f(z) y F(z) funciones complejas cuyos lmites para z teniendo al mismo
punto z
0
existen y estan dados por
lim
zz0
f(z) = w
0
, lim
zz0
F(z) = W
0
. Entonces
1)
lim
zz0
[f(z) + F(z)] = w
0
+W
0
,
2)
lim
zz0
[f(z)F(z)] = w
0
W
0
,
3)
lim
zz0
f(z)
F(z)
=
w
0
W
0
, si W
0
= 0 .
4) Si f(z) = u(x, y) +iv(x, y) entonces
lim
zz0
f(z) = lim
xx0,yy0
u(x, y) +i ( lim
xx0,yy0
v(x, y))
11
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)
= lim
zz0
u +iv
U +iV
= lim
zz0
(u +iv) (U iV )
U
2
+V
2
= lim
xx0,yy0
_
uU
U
2
+V
2
+
vV
U
2
+V
2
_
+i lim
xx0,yy0
_
vU
U
2
+V
2

uV
U
2
+V
2
_
=
_
u
0
U
0
U
2
0
+V
2
0
+
v
0
V
0
U
2
0
+V
2
0
_
+i
_
v
0
U
0
U
2
0
+V
2
0

u
0
V
0
U
2
0
+V
2
0
_
donde en la ultima identidad hemos usados las correspondientes propiedades
para funciones reales. Entonces, reagrupando de nuevo se obtiene que
lim
zz0
f(z)
F(z)
=
u
0
+iv
0
U
0
+iV
0

Ejercicio 43 Demostrar las otras propiedades del teorema usando propiedades

analogos 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 es-
trategia usaremos constantemente en adelante.
6 La derivada en el plano complejo y funciones
holomorfas
La denici 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.
Denicion 44 Sea f : C C denida en una vecindad abierta de z C. La
derivada de f en z se dene como
f

(z) =
df
dz
= lim
z0
f(z +z) f(z)
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) =
df
dz
= lim
z0
f(z +z) f(z)
z
= lim
z0
c c
z
= lim
z0
0 = 0 .
En consecuencia, la funci on constante es complejo derivable en todo C.
Ejemplo 46 Sea n un n umero natural arbitrario y consideremos la funcion
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) = lim
z0
f(z +z) f(z)
z
= lim
z0
(z +z)
n
z
n
z
= lim
z0
((z +z) z) [(z +z)
n1
+ (z +z)
n2
z + + (z +z)z
n2
+z
n1
]
z
= lim
z0
(z +z)
n1
+ (z +z)
n2
z + + (z +z)z
n2
+z
n1
= 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
dz

z=0
= lim
z0
f(z) f(0)
z
= lim
x0,y0
2x + 2iy
x +iy
= 2
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 gura 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
df
dz

z=0
= lim
z0
f(z) f(0)
z
= lim
x0,y0
x + 2iy
x +iy
= lim
x0,y0
x
2
+ 2y
2
+ixy
x
2
+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 gura 4, obtenemos
13
Figure 4: Dos trayectorias de acercamiento de x +iy al punto 0.
df
dz

z=0
= 2
Sin embargo, si consideramos primero el lmite para y 0 y luego para x 0,
obtenemos
df
dz

z=0
= 1
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-
tos resultados para lim
z0
f(z)f(0)
z
implica de igual manera que f NO es
complejo derivable en el punto z = 0.
Ejercicio 49 Usando la denicion, 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 impor-
tantes 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
calculo:
(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).
Si ademas g(z) = 0, entonces
f
g
es derivable en z y
_
f
g
_
(z) =
f

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

(z)
(g(z))
2
.
Si h : C C es una funci on derivable en el punto f(z) entonces la concate-
naci 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) vari-
ables reales, siempre cuando sabemos que la derivada existe. El problema es
averiguar cu ando una funci on compleja es derivable. Una forma sencilla de de-
terminar 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
denida en una regi on (subconjunto abierto) de C la cual contiene al punto
z = x +iy. Ademas, supongamos que
f(z) = u(x, y) +iu(x, y) ,
donde u, v son funciones de dos variables reales continuas y con derivadas con-
tinuas (se dice que u, v son de clase C
1
). Entonces f es complejo derivable en
z si y s olo si
u
x
(x, y) =
v
y
(x, y) y
u
y
(x, y) =
v
x
(x, y) .
N otese que las condiciones del teorema sobre la existencia y continuidad de
las derivadas de las funciones u, v signican 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
escribir tambien de manera abreviada
u
x
en lugar de
u
x
(x, y), y similarmente
por ejemplo
u
y
,
v
x
,
v
y
.
Dem. 53 .
) Supongamos que f es derivable en z. Entonces el lmite
f

(z) =
df
dz
= lim
z0
f(z +z) f(z)
z
existe y es unico. 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)
df
dz
= lim
y0

u(x, y +y) u(x, y)

iy
+i
v(x, y +y) v(x, y)
iy

= i
u
y
+
v
y
Para la trayectoria 2) se tiene
df
dz
= lim
x0

u(x +x, y) u(x, y)

x
+i
v(x +x, y) v(x, y)
x

=
u
x
+i
v
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
x
x +
u
y
y +
1
x +
2
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
x
x +
u
y
y +
1
x +
2
y
+i(
v
x
x +
v
y
y +
3
x +
4
y)
Debido a que las condiciones de Cauchy-Riemann se cumplen, tenemos
f =
u
x
x
v
x
y +
1
x +
2
y
+i(
v
x
x +
u
x
y +
3
x +
4
y)
=
u
x
(x +iy) +i
v
x
(x +iy) +x
1
+y
2
donde
1
y
2
son combinaciones lineales de las s. Entonces se cumple que
f
z
=
u
x
+i
v
x
+
x
z

1
+
y
z

2
Ahora bien, |x| |z| y |y| |z|, por lo tanto |x/z| 1 y |y/z|
1. As que
f

(z) := lim
z0
f
z
=
u
x
+i
v
x
= i
_
u
y
+ i
v
y
_
ya que los ultimos 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.
Denicion 54 Una funci on f : C C denida 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 ultima propiedad se llaman
analticas. Es uno de los hechos importantes que distinguen las funciones com-
plejas 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 = x
2
+ y
2
, tenemos
que u(x, y) = x
2
+y
2
, v(x, y) = 0 las condiciones de Cauchy-Riemann son como
sigue:
u
x
= 2x;
v
y
= 0
y
u
y
= 2y;
v
x
= 0
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
= x
2
y
2
+
2ixy se tiene que u = x
2
y
2
y v = 2xy, as que
u
x
= 2x ,
v
y
= 2x ,
u
y
= 2y ,
v
x
= 2y
Eso signica que las condiciones de Cauchy-Riemann se cumplen siempre para
esta funcion, 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 com-
plejo 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
= lim
z0
z +z z
z
= lim
z0
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 signica
x 0 y tenemos que
lim
z0
z
z
= lim
x0
x
x
= lim
x0
1 = 1 .
En cambio, si z es puramente imaginario, es decir, z = 0 + i y, entonces
z 0 signica y 0 y tenemos que
lim
z0
z
z
= lim
y0
iy
iy
= lim
y0
(1) = 1 .
Con eso es claro que el lmite lim
z0
z
z
no existe, puesto que el compor-
tamiento de la funci on
z
z
no es el mismo siempre para la tendencia z 0.
En consecuencia, f no es complejo derivable para cualquier punto z C.
Otro argumento mas 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
(x, y) = 1 ,
v
y
(x, y) = 1
u
y
(x, y) =
v
x
(x, y) = 0
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 Vericar que la funci on f :
2

2
dada por f(x, y) = (x, y),
es diferenciable en todo
2
.
Ejercicio 59 Usando las condiciones de Cauchy-Riemann, vericar cuales de
las funciones complejas del ejercicio 35 son holomorfas y en cu al region, 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 denen 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
denen de manera muy similar:
(f +g)(z) = f(z) +g(z) , (f g)(z) = f(z) g(z),
(
f
g
)(z) =
f(z)
g(z)
, denido para z C, tal que g(z) = 0,
(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.
3)
f
g
es holomorfa en toda regi on A
1
A para la cual vale que g(z) = 0 para
todo z A
1
.
4) Si f es holomorfa en una regi on A C y g es una funci on denida en f(A)
y holomorfa en esta region f(A), entonces la concatenacion 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 A
1
A. Entonces
d
dz
f
g
=
1
g
_

f
g
d
dz
g +
d
dz
f
_
Puesto que f y g son holomorfas y g = 0 sobre la regi on A
1
, tanto las derivadas
de f y g existen en A
1
como tambien las funciones f y g estan denidas y
continuas en A
1
, y adem as la funci on 1/g es continua en A
1
. Por lo tanto la
derivada de f/g existe y es continua en A
1
, implicando que f/g es holomorfa
en A
1
.
Ejercicio 62 Demostrar el resto de la ultima proposici on.
Ejercicio 63 Utilizando la ultima proposici on, conrme cu ales de las siguiente
funciones complejas son holomorfas y en cu al region.
1) f(z) = z
2
2) f(z) = x +
i
2
y
3) f(z) =
z
x
2
+y
2
4) f(z) =
1
z+2 z
5) f(z) =
1
z
6) f(z) =
1
z z
7) f(z) =
1
z2z
2
8) f(z) =
1
z+2
19
7 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
x
=
v
y
,
u
y
=
v
x
.
Si las funciones (reales) u y v tienen derivadas continuas y a su vez diferenciables,
se debe cumplir que

2
v
xy
=

2
v
yx
. (1)
Usando las condiciones de Cauchy-Riemann en la identidad (1), se obtiene

2
v
xy
=

2
u
x
2
,

2
v
xy
=

2
u
y
2
.
Si sumamos la primera identidad con la negativa de la segunda, obtenemos

2
u
x
2
+

2
u
y
2
= 0 ,
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:
Denicion 64 Toda funci on u(x, y) :
2
que cumple la ecuaci on de
Laplace dada por

2
u
x
2
+

2
u
y
2
= 0 ,
se llama funci on armonica.
Notacion 65 La ecuacion de Laplace tambien se denota por
2
u = 0, es decir,

2
u =

2
u
x
2
+

2
u
y
2
= 0 .
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

2
v
x
2
+

2
v
y
2
= 0 .
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
armonicas.
INTEGRACI

ONDE FUNCIONES
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 denido en un intervalo cerrado y con valores en el plano complejo:
Denicion 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 graca de la curva .
Notese que el mapeo equivalentemente es un mapeo continuo de [a, b] en
2
;
la graca de la curva es tambien un subconjunto de
2
. La gura 5 muestra la
graca de una curva.
En cualquier punto t
0
(a, b) (intervalo abierto), se puede considerar la
derivada de (como funci on de [a, b] en
2
):

(t
0
) = lim
tt0
(t) (t
0
)
t t
0
.
Cuando la funci on : [a, b] C se escribe por sus partes real a imaginaria,
(t) = (t) +i(t), entonces

(t
0
) =

(t
0
) +i

(t
0
) .
Denicion 69 Una curva : [a, b] C se llama cerrada si (a) = (b).
La longitud de una curva : [a, b] C se dene por la siguiente integral,
siempre cuando esta integral existe:
L() =
_
b
a
|

(t)|dt .
La idea intuitiva de la integral de lnea de una funci on compleja f a lo largo
de una curva de longitud nita 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 nita se determina
como sigue:
1. Se seleccionan nitamente muchos puntos z
0
(punto inicial), z
1
, , z
k
, z
k+1
(punto nal) sobre la (gr aca de la) curva, y se considera la concatenaci on de los
segmentos de lnea recta z
0
z
1
, z
1
z
2
, z
k
z
k+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 z
i1
z
i
, su longitud es multiplicada con el valor de f en
alg un punto intermedio que se encuentra sobre la (gr aca de la) curva entre los
puntos z
i1
y z
i
.
3. Se suman todos los productos calculados en el paso anterior.
La integral se dene como el lmite de una sucesion de aproximaciones calcu-
ladas, la cual se obtiene cuando la partici on de la curva en segmentos es cada
vez mas na, es decir, cuando las longitudes de los segmentos tienden a cero.
Informalmente, cuando la curva inicia en el punto z
0
y termina en z
k+1
y w
1
,
z
1
, w
2
, z
2
, , w
k
, z
k
, w
k+1
son puntos sobre la curva donde z
1
, , z
k
denen
una partici on de la curva y w
1
, , w
k
, w
k+1
son puntos intermedios, entonces
22
la integral de f a lo largo de la curva es dada como
_

f(z)dz = lim
max|zizi1|0
k+1

i=1
f(w
i
)(z
i
z
i1
) .
La siguiente denici on formaliza estas ideas (vea gura 6):
Denicion 70 Sea : [a, b] C una curva en C que tiene longitud nita.
Una aproximacion de la integral de lnea de f sobre la curva , calculada en
base de una partici on particular P del intervalo [a, b],
P = {t
1
, t
2
, , t
k
} con n umeros reales a < t
1
< t
2
< < t
k
< b ,
se calcula como
k+1

i=1
f(w
i
)(z
i
z
i1
) ,
donde para cada t
i
P, z
i
= (t
i
), adem as z
0
= (a), z
k+1
= (b), y para
cada i = 1, 2, , k +1, w
i
([a, b]) es un punto (intermedio) arbitrariamente
seleccionado tal que t
i1
<
1
(w
i
) < t
i
.
La integral de lnea de la funci on compleja f(z) a lo largo de la curva se dene
en base de cualquier sucesi on (P
n
)
nN
de particiones del intervalo [a, b] (cada
P
n
tiene k
n
puntos):
P
n
= {t
n
1
, t
n
2
, , t
n
k
n} , a < t
n
1
< t
n
2
< < t
n
k
n < b ,
z
n
i
= (t
n
i
), para i = 1, , k
n
, z
n
0
= (a), z
n
(k
n
+1)
= (b) ,
w
n
i
([a, b]) (i = 1, , k
n
+ 1) tal que t
n
i1
<
1
(w
n
i
) < t
n
i
.
Bajo la (importante) suposicion que la sucesion (P
n
)
nN
(a un siendo arbitraria)
satisface que
lim
n
_
max{|z
n
i
z
n
i1
| : i = 1, 2, , k
n
+ 1}
_
= 0 ,
se dene la integral de lnea de la funcion compleja f(z) a lo largo de
la curva como
_

f(z)dz = lim
n
k
n
+1

i=1
f(w
n
i
)(z
n
i
z
n
i1
) ,
siempre cuando este lmite existe y no depende de la selecci on ni de los puntos
t
n
1
, , t
n
k
n ni de los puntos intermedios w
n
1
, , w
n
k
n
+1
.
23
Figure 6: Una partici on del intervalo [a, b] genera una partici on de la curva en
secciones.
9 Propiedades de la integral de lnea para fun-
ciones complejas
Para evaluar integrales de funciones de variable compleja, generalmente no es
necesario usar la denici 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
reales u, v :
2

2
, entonces la integral de f a lo largo de una curva est a
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 nita. Tomamos una sucesi on
(P
n
)
nN
de particiones del intervalo [a, b] como la pide la denici on de arriba.
Para simplicar la notacion, no escribiremos el ndice superior n. Entonces
P
n
= {t
1
, , t
k
} con a < t
1
< < t
k
< b, z
i
= z
n
i
= (t
i
) (i = 1, , k),
z
0
= (a), z
(k+1)
= (b), w
i
([a, b]) tal que t
i1
<
1
(w
i
) < t
i
(i =
1, , k + 1).
Supongamos que (P
n
)
n1
satisface que lim
n
_
max |z
n
i
z
n
i1
| : i = 1, , k
n
+ 1}
_
=
0.
24
Tomando en cuenta que para cada j = 1, , k + 1, se tiene z
j
= x
j
+ iy
j
,
por lo tanto
z
j
z
j1
= x
j
x
j1
+i(y
j
y
j1
) ,
y tambien w
j
= x

j
+ iy

j
para j = 1, , k + 1. Entonces, de la denicion
obtenemos lo siguiente:
_

f(z)dz = lim
n
k
n
+1

j=1
f(w
n
j
)(z
n
j
z
n
j1
)
= lim
n
k
n
+1

j=1
[u(x

j
, y

j
) +iv(x

j
, y

j
)](x
j
x
j1
) +i(y
j
y
j1
)
= lim
n
k
n
+1

j=1
[u(x

j
, y

j
)(x
j
x
j1
) v(x

j
, y

j
)(y
j
y
j1
)] +
+ i lim
n
k
n
+1

j=1
[v(x

j
, y

j
)(x
j
x
j1
) + u(x

j
, y

j
)(y
j
y
j1
)]
Estos ultimos lmites son las integrales de lnea de las funciones correspondi-
entes, 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 [t
1
, t
2
], (t) = (t) + i(t) = x + iy, entonces se tiene que
dx =

dt, dy =

dt y se obtiene para la integral la siguiente f ormula:

_

f(z)dz =
_
b
a
f((t))

(t)dt
=
_
t2
t1
(u

)dt +i
_
t2
t1
(v

+u

)dt .
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 =
_
b
a
|(t)|dt.
25
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 ultima f ormula de calculo la cual es muy util, 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 denici on de la
integral, y establece que la integral puede ser calculada por cada de los pedazos
de la curva, y al nal simplemente se suman los resultados.
Proposici on 76 Si una curva : [a, b] C es la concatenacion (en el sentido
literal) de un n umero nito de curvas
1
, ,
n
, entonces
_

f(z)dz =
_

1
f(z)dz +
_

2
f(z)dz + +
_
n
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
I
1
=
_
2+i
0
z
2
dz
por la trayectoria 0A de la gura 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
= x
2
y
2
+2xyi
y dz = dx +idy. Entonces
I
1
=
_

[(x
2
y
2
)dx xy dy] +i
_

[2xy dx + (x
2
y
2
)dy]
Sobre OA, x = 2y y dx = 2dy, en consecuencia
I
1
=
_
1
0
_
(4y
2
y
2
)2dy 2y
2
dy

+i
_
1
0
_
8y
2
dy + (4y
2
y
2
)dy

=
2
3
+
11
3
i
26
Figure 7: Las trayectorias que unen el punto orgen con el punto A.
Ejemplo 78 Ahora calculamos la integral de la misma funcion como en el ejem-
plo 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
I
2
=
_
2
0
x
2
dx +
_
1
0
_
i(4 y
2
) 4y
_
dy =
8
3
+
11
3
i 2 =
2
3
+
11
3
i
es decir
I
2
= I
1
=
1
3
z
3

2+i
0
=
1
3
(2 +i)
3
=
2
3
+
11
3
i .
Ejemplo 79 Evaluemos la integral I =
_

z
2
dz a lo largo del crculo de radio 1,
vea gura 9, es decir a lo largo de la trayectoria r
2
= x
2
+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 () = e
i
.
Entonces z = e
i
y por lo tanto dz = ie
i
d sobre el crculo. Se tiene que
I
2
= i
_
2
0
e
2i
e
i
d =
1
3
e
3i

2
0
= 0 .
27
Figure 8: La trayectoria dada por el crculo de radio 1, x
2
+ y
2
= cos() +
i sin() = e
i
.
Ejemplo 80 Evaluemos ahora la integral
I =
_

1
z
dz
a lo largo del crculo de radio 1, vea gura 9. Tambien hacemos el cambio de
variable x = cos (), y = sin (), para obtener
I
2
= i
_
2
0
e
i
e
i
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 com-
pleja 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
_
f(z)dz para toda k C
c)
_

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

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 denir 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 identicar la
palabra curva con la graca ([a, b]) de la curva. En particular, se dice un
punto de la curva cuando se reere a un punto que pertenece a ([a, b]).
Denicion 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 deniciones 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 deniciones
reejan mejor la idea de que una curva es un objeto largo pero sin anchura.
Denicion 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 graca 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 gura 9.
Una regi on conexa que no es simplemente conexa, es llamada de conexion
m ultiple, vea gura 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 lla-
mada 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 denicion
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 reeren
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 C
2
toda curva de Jordan contiene solo puntos de C
2
.
Igualmente, C
3
es simplemente conexa. Sin embargo, en la region C
1
podemos
encontrar curvas de Jordan cuyo interior contienen partes del complemento de
C
1
(por ejemplo C
3
). Por eso C
1
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 aca pertenece a G, la integral
_

f(z)dz solo depende de los

puntos nales (a), (b), pero no depende de la trayectoria misma.
Eso signica: si
1
,
2
: [a, b] C son cualesquiera dos curvas de clase C
1
cuyas gr acas pertenecen a G y tales que
1
(a) =
2
(a),
1
(b) =
2
(b), entonces
_
1
f(z) dz =
_
2
f(z) dz .
Equivalentemente:
Para cualquier curva : [a, b] C de clase C
1
(diferenciable y con derivada
continua) cuya gr aca pertenece a G y que es cerrada ((a) = (b)), se sigue
31
Figure 10: C
1
es una regi on de conexion m ultiple. Los puntos dentro de C
2
y
C
3
no estan en C
1
, C
2
y C
3
son agujeros de esta region.
que
_

f(z)dz = 0 .
Dem. 88 Es claro que ambas armaciones son equivalentes; demostramos la
segunda. Aplicando el teorema de Green en el plano
_
(Pdx +Qdy) =
_ _
R
(
Q
x

P
y
)dx dy
y usando f(z) = u +iv obtenemos
_
(udx vdy) =
_ _
R
(
v
x
+
u
y
)dx dy
y
_
(vdx +udy) =
_ _
R
(
u
x

v
y
)dx dy
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.
Si para cualquier curva de clase C
1
cuya graca 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 graca 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
gura 11.
Figure 11: La regi on B es de conexion m ultiple y tiene C
2
y C
3
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 region G de conexi on
m ultiple. Si la frontera de G es formada por un n umero nito de curvas cer-
radas 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
conexion m ultiple, recorriendo toda esta frontera, uniendo la frontera exterior
con todas las fronteras de los agujeros, vea gura 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 claricar estos ultimos 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 gura 12. Esta funci on es
singular en z = 4i. Sobre el crculo exterior, z = 2e
i
y sobre el interior se
tiene que z = e
i
. Entonces separemos la integracion en los dos crculos, se
tiene:
_
B
dz
z
2
+ 16
= i
_
2
0
2e
i
d
4e
2i
+ 16
+i
_
2
0
e
i
d
e
2i
+ 16
=
1
4
arctan
_
1
2
e
2i
_

2
0
+
1
4
arctan
_
1
4
e
2i
_

2
0
= 0
ya que e
0
= e
4i
= 1. Es m as, podemos ver que
_
2
0
2e
i
d
4e
2i
+ 16
=
_
0
2
e
i
d
e
2i
+ 16
que corresponde a la integral a lo largo de cada crculo por separado, pero en
sentido contrario.
Ejercicio 93 Usando los teoremas anteriores, determina en cuales regiones las
funciones de los ejercicios 35 y 63 tienen integrales diferentes de cero para
trayectorias cerradas.
12 El teorema fundamental del calculo de fun-
ciones 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 estan denidas 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
dt
F((t)) =
X
x
((t))x

(t) +
X
y
((t))y

(t) +i
_
Y
x
((t))x

(t) +
Y
y
((t))y

(t)
_
=
_
X
x
((t)) +i
Y
x
((t))
_
(x

(t) +iy

(t))
= F

((t))

(t) = f((t))

(t) .
Aplicando la integral a ambos lados se obtiene
_

f(z( dz =
_
b
a
f((t))

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

Recordemos que el teorema analogo al ultimo para funciones reales es con-

secuencia 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 calculo para funciones complejas)
Sean f, F : C C funciones holomorfas en un subconjunto abierto G de C y
z
0
G.
Si F(z) =
_
z
z0
f(t) dt , entonces F

(z) = f(z) para todo z A ,

donde la integral se efectua sobre una curva : [a, b] C de clase C
1
desde
z
0
hacia z cuya graca se encuentra dentro de G.
La integral de una funci on holomorfa genera entonces una funcion holomorfa.
Notese que la integral
_
z
z0
f(t) dene 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 denicion de F(z) este correcta. Como con-
secuencia, la independencia de la integral de la trayectoria es tambien esencial
para la validez de la regla de Barrow, la cual nalmente expresa la integral en
terminos de solo los valores de la funci on primitiva en dos puntos (el inicial y el
nal).
Ejercicio 97 Demostrar el teorema fundamental.
36
13 Las f ormulas integrales de Cauchy
Uno de las herramientas m as importantes y utiles para la integraci on de fun-
ciones 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 z
0
es cualquier punto interior a la curva , se tiene que
f(z
0
) =
1
2i
_

f(z)
z z
0
dz
Dem. 99 Sea : [a, b] C una curva cerrada que contenga z
0
en su interior,
vea gura 13. Sea r
0
= |z z
0
|, tal que
0
= {z C : |z z
0
| r} ([a, b]).
Puesto que f es holomorfa, f(z)/(zz
0
) es holomorfa tambien, salvo en z = z
0
.
Por el teorema de la integral en regiones de conexi on m ultiple, se tiene
_

f(z)
z z
0

_
0
f(z)
z z
0
= 0 ,
es decir:
_

f(z)dz
z z
0
= f(z
0
)
_
0
dz
z z
0
+
_
0
f(z) f(z
0
)
z z
0
dz .
Sobre la (sub)curva
0
, vale que (z z
0
) = r
0
e
i
, por lo que dz = ir
0
e
i
d, es
decir
_
0
dz
z z
0
=
_
2
0
e
i
r
0
ir
0
e
i
d = 2i .
Puesto que f es continua, para toda , existe > 0 tal que |z z
0
| <
implica que |f(z) f(z
0
)| < . Tomemos = r
0
, entonces

_
0
f(z) f(z
0
)
z z
0
dz

_
0
|f(z) f(z
0
)|
|z z
0
|
|dz| <

r
0
_
0
|dz|
=

r
0
_
2
0
|ir
0
e
i
d| = 2

r
0
r
0
= 2
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 mas 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
f

(z
0
) =
1
2i
_

f(z)
(z z
0
)
2
dz
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.
4)
_

2z+1
z+z
2
dz, donde es un crculo de radio 2 y centro en cero.
5)
_

2z+1
z+z
2
dz, donde es un crculo de radio 1/2 y centro en cero.
6)
_

4z
3
+z
2
1
z(z
2
1)
dz, donde es un crculo de radio 2 y centro en cero.
38
7)
_

4z
3
+z
2
1
z(z
2
1)
dz, donde es un crculo de radio 1/2 y centro en cero.
8)
_

z
2
2z1
z+z
2
dz, donde es un crculo de radio 1/2 y centro en 1.
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 region G,
entonces sus derivadas de todos los ordenes, f

(z), f

(z), , son tambien fun-

ciones holomorfas en una regi on G

G.
Dem. 103 Usando el corolario anterior, encontramos que
f

(z
0
) =
2!
2i
_

(z)
(z z
0
)
3
dz ,
es decir, la segunda derivada existe en una regi on dentro de G. Debido a que
se puede continuar el proceso de derivacion, 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
(n)
(z
0
) =
n!
2i
_

f(z)dz
(z z
0
)
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 z
0
.
Ejercicio 104 Calcular las siguientes integrales
1)
_

e
z
/
_
z
2
+ 1
_
5
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.
4)
_

3z
3
z
2
+5z+1
(z
2
1)
2
dz, donde es un crculo de radio 2 y centro en cero.
5)
_

3z
3
z
2
+5z+1
(z
2
1)
2
dz, donde es un crculo de radio 1 y centro en 1.
REPRESENTACI

ON DE FUN-
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
z
n
puede ser caracterizada por la
convergencia de las partes real e imaginaria: Tomando en cuenta que z
n
=
x
n
+ iy
n
con x
n
, y
n
para todo n 0, la serie

n=0
z
n
es convergente si y
solo si

n=0
x
n
y

n=0
y
n
ambas son convergentes en , y

n=0
z
n
=

n=0
x
n
+i
_

n=0
y
n
_
.
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 impor-
tancia 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 (a
n
)
nN
y (b
n
)
nN
sucesiones de n umeros reales.
1) Criterio de comparacion. Si 0 a
n
b
n
, para toda n N, entonces, si
la serie

n=1
b
n
converge, tambien converge

n=1
a
n
.
2) Criterio de la raz. Sea a
n
0 para todo n N y denotemos
r = lim
n
n

a
n
, donde r o r = .
Entonces

n=1
a
n
converge si r < 1;

n=1
a
n
es divergente si r > 1;
Cuando r = 1 no hay conclusi on, es decir,

n=1
a
n
puede ser convergente o
divergente.
3) Criterio del cociente (Criterio de DAlambert). Sea a
n
> 0 para todo
n N y denotemos
r = lim
n
a
n+1
a
n
, donde r , r 0 o r = .
Entonces

n=1
a
n
converge si r < 1;

n=1
a
n
es divergente si r > 1;
Cuando r = 1 no hay conclusi on, es decir,

n=1
a
n
puede ser convergente o
divergente.
4) Criterio de Leibniz . Si a
1
a
2
0 y
lim
n
a
n
= 0 entonces

n=1
(1)
n+1
a
n
= a
1
a
2
+a
3
a
4
converge.
40
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 tambien que una serie

n=1
z
n
se llama absolutamente con-
vergente (en C) si

n=1
|z
n
| es convergente (en ). La convergencia absoluta
implica la convergencia, pero no al reves.
Ejemplo 106 Apliquemos el criterio del cociente a la serie

n=0
z
n
n!
, es decir a
n
=
z
n
n!
.
Queremos aplicar el criterio del cociente a una serie de n umeros reales (!), as
que consideremos la serie de los valores absolutos

n=0

z
n
n!

n=0
|z
n
|
n!
.
Ciertamente tenemos que

a
n+1
a
n

=
|a
n+1
|
|a
n
|
=
|z|
(n + 1)
,
lo cual converge claramente a cero, para cualquier z C. En consecuencia, la
serie

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

n=0
z
n
n!
, z C .
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
c
n
z
n
= c
0
+c
1
z + +c
n
z
n
+ (c
n
C n)
converge para alg un z
0
C, entonces la serie converge absolutamente para todos
los z C tales que |z| < |z
0
|.
Dem. 108 Por la hip otesis se tiene que

n=0
c
n
z
n
0
converge, por lo que |c
n
z
n
0
| <
M es acotado para toda n 0 y para alg un M . Denotando r = |z/z
0
| se
obtiene
|c
n
z
n
| = |c
n
z
n
0
|

z
z
o

n
< M r
n
.
El criterio de comparaci on de series implica entonces que la serie

n=0
c
n
z
n
0
converge absolutamente siempre cuando r < 1.
41
El ultimo lema dice que la convergencia de la serie

n=0
c
n
z
n
para alg un
complejo particular z = z
0
implica que la serie converge en todo el disco abierto
alrededor del orgen 0 y con radio |z
0
| (en particular, en el punto 0 !). Podemos
interpretar esta serie como funci on
f(z) =

n=0
c
n
z
n
, c
n
C n, z C ,
la cual esta bien denida solamente en puntos z para los cuales la serie converge.
Se habla entonces de un desarrollo de f(z) como serie de potencias z
n
con
coecientes c
n
en el punto 0 = z z
0
. Si queremos permitir que el centro
del disco en el cual la serie converge, sea cualquier punto del plano complejo,
tenemos que denir la serie como sigue:
Denicion 109 Sea z
0
C. Una expresion de la forma

n=0
c
n
(z z
0
)
n
, con c
n
C n
se llama serie de potencias con centro z
0
. Esta serie se llama convergente en
un n umero complejo particular v cuando la serie de n umeros complejos

n=0
c
n
(v z
0
)
n
converge.
Obviamente toda serie de potencias es convergente en su centro z
0
. El lema
de Abel sugiere que la serie converge dentro de un disco abierto alrededor de z
0
,
pero con cu al radio r ?
Supongamos que r , r > 0 tal que un n umero complejo z cumple que
|z z
0
| < r. Entonces

n=0
|c
n
(z z
0
)
n
| =

n=0
|c
n
| |(z z
0
)|
n
<

n=0
|c
n
| r
n
.
Cuando esta ultima expresion es un n umero real, la serie de potencias converge
absolutamente y por o tanto converge dentro de un disco abierto con centro z
0
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
|c
n
(z z
0
)
n
|
es convergente si
lim
n
n
_
|c
n
(z z
0
)
n
| < 1 (en caso que el lmite existe.)
42
Pero eso es equivalente a lim
n
n
_
|c
n
| <
1
|zz0|
y entonces a
|z z
0
| <
_
lim
n
n
_
|c
n
|
_
1
.
Aplicando el criterio del cociente, obtenemos que la serie

n=0
|c
n
(z z
0
)
n
|
es convergente si
lim
n
|c
n+1
(z z
0
)
n+1
|
|c
n
(z z
0
)
n
|
< 1 (en caso que el lmite existe.)
Pero eso es equivalente a lim
n
|cn+1|
|cn|
<
1
|zz0|
y entonces a
|z z
0
| <
_
lim
n
|c
n+1
|
|c
n
|
_
1
.
Como resultado, tanto el recproco de (lim
n
n
_
|c
n
|) como tambien el
recproco de (lim
n
|cn+1(zz0)
n+1
|
|cn(zz0)
n
|
) sirven como radio r del disco abierto
alrededor de z
0
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 ex-
istan, el recproco no est a denido para el cero, y queda la pregunta sobre el
caso cuando estos lmites no existen. Las respuestas se obtienen como conse-
cuencias 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
c
n
(z z
0
)
n
,
sea
R = lim
n
n
_
|c
n
| .
(i) Si R es un n umero real estrictamente positivo entonces la serie converge
(absolutamente) en el disco abierto centrado en z
0
y con radio r =
1
R
, pero
diverge para todo z C tal que |z z
0
| >
1
R
. Para el caso de z C tal que
|z z
0
| =
1
R
no se puede hacer armacion 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 = z
0
.
Estos hechos son igualmente validos si en lugar del lmite R denido arriba se
usa
lim
n
|c
n+1
|
|c
n
|
.
43
Eso justica la siguiente denicion del radio de convergencia.
Mencionamos que a continuacion usaremos una denici on simplicada; 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
_
|c
n
|)
n1
.
Denicion 111 Sea
R = lim
n
n
_
|c
n
| .
El radio de convergencia r de la serie de potencias

n=0
c
n
(z z
0
)
n
es denido como sigue:
Si 0 < R entonces r =
1
R
,
Si R = 0 entonces r = ,
Si R = entonces r = 0 .
El radio de convergencia de la serie de potencias puede ser denido equivalen-
temente usando en lugar del lmite R denido arriba el lmite
_
lim
n
|c
n+1
|
|c
n
|
_
1
.
Ejemplo 112 Ya conocemos la serie de potencias (con centro z
0
= 0) que
dene la funci on exponencial:
f(z) = exp(z) =

n=0
1
n!
z
n
.
El radio de convergencia es innito:
lim
n
((n + 1)!)
1
(n!)
1
= lim
n
1
n
= 0 ,
lo cual implica que esta serie es convergente en todo el plano complejo.
Ejemplo 113 La serie de potencias

n=0
n
n
z
n
solamente converge en su punto centro z
0
= 0, puesto que
lim
n
n
_
|c
n
| = lim
n
n

n
n
= 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.
Denicion 114 Una funci on f : C C denida en una regi on G C se
llama analtica en G si para cada z
0
G existe r , r > 0, tal que una
representacion de f(z) como serie de potencias
f(z) =

n=0
c
n
(z z
0
)
n
, c
n
C n
es correcta para todo z tal que |z z
0
| < 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 innitamente. 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
c
n
(zz
0
)
n
(c
n
C, n N) una serie de potencias con radio de convergencia r > 0. De-
notando el disco abierto con centro z
0
y radio r por B
r
(z
0
), sea f la funci on
compleja f : B
r
(z
0
) C dada por
f(z) =

n=0
c
n
(z z
0
)
n
.
Entonces f es holomorfa sobre B
r
(z
0
), y sus derivadas tienen las siguientes
representaciones por series de potencias, las cuales todas tienen el radio de
convergencia igual a r.
f

(z) =

n=1
nc
n
(z z
0
)
n1
=

n=0
(n + 1)c
n+1
(z z
0
)
n
f
(k)
(z) =

n=k
n (n 1) (n k + 1) c
n
(z z
0
)
nk
=

n=0
(n +k) (n +k 1) (n + 1) c
n+k
(z z
0
)
n
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 funcion
compleja f : C C la cual es representable en z
0
G por una serie de poten-
cias
f(z) =

n=0
c
n
(z z
0
)
n
,
los coecientes de esta serie son determinados por las derivadas de f como
sigue:
c
n
=
f
(n)
(z
0
)
n!
para todo n N .
Denicion 118 (Corolario y Denici on) Toda funci on compleja f : C
C analtica en una regi on G de C permite en cada punto z
0
G una repre-
sentaci on mediante una serie de Taylor, dada por
f(z) =

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

(z
0
)(z z
0
) +
f

(z
0
)
2!
(z z
0
)
2
+ +
f
(n)
(z
0
)
n!
(z z
0
)
n
+ .
Teorema 119 (Serie de Taylor para funci on holomorfa) Sea f(z) una funci on
holomorfa en un crculo con centro z
0
C y radio r
0
. Entonces existe una serie
de potencias

n=0
c
n
(z z
0
)
n
la cual converge en un crculo con centro z
0
C y radio r
1
< r
0
y representa
entonces la funci on f(z) localmente. Denotemos la circunferencia del ultimo
crculo por
1
. Los coecientes de esta serie son n umeros complejos dados por
la f ormula
c
n
=
f
(n)
(z
0
)
n!
.
Es decir, en el interior de la curva (de Jordan)
1
vale la representaci on
f(z) =

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

(z
0
)(z z
0
) +
f

(z
0
)
2!
(z z
0
)
2
+ +
f
(n)
(z
0
)
n!
(z z
0
)
n
+ .
Dem. 120 Sea z un punto del interior de la curva dada como la circunferencia
con centro z
0
y radio r
0
, es decir, r = |z z
0
| cumple que r < r
0
. Ademas
sea
1
una circunferencia con centro z
0
y radio r
1
tal que r < r
1
< r
0
. f(z) es
holomorfa en el interior de la curva
1
y sobre ella. De la integral de Cauchy,
tenemos
f(z) =
1
2i
_
1
f(z

)dz

z
46
Pero
1
z

z
=
1
(z

z
0
) (z z
0
)
=
1
z

z
0

1
1
zz0
z

z0
Ahora usamos la formula
1 + + +
n1
=

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

n
1
.
Denotando =
zz0
z

z0
, obtenemos una formula equivalente:
1
z

z
=
1
z

z
0
_
1 +
z z
0
z

z
0
+ +
_
z z
0

z
0
_
n1
+
1
1
zz0
z

z0
_
z z
0
z

z
0
_
n
_
.
As que
f(z

)
z

z
=
f(z

)
z

z
0
+
f(z

)
(z

z
0
)
2
(z z
0
) +
+
f(z

)
(z

z
0
)
n
(z z
0
)
n1
+
f(z

)
(z

z)(z

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

(z
0
)(z z
0
) + +
f
(n1)
(z
0
)
n!
(z z
0
)
n1
+R
n
,
donde el residuo R
n
esta dado por
R
n
=
(z z
0
)
n
2i
_
1
f(z

)
(z

z)(z

z
0
)
n
dz

.
Recordemos que |z z
0
| = r y |z

z
0
| = r
1
. Debido a que |z

z
0
| |z

z| +
|z z
0
|, tenemos que |z

z| |z

z
0
| |z z
0
| = r
1
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:
|R
n
|

r
n
2i

2iM r
1
(r
1
r)r
1
n

=
r
1
M
r
1
r
_
r
r
1
_
n

n
0
debido a que r < r
1
. Esto implica que considerando la serie como lmite para
n tendiendo al innito obtenemos el valor de la funci on en cualquier punto. Es
decir,
f(z) = f(z
0
) +

n=1
f
(n)
n!
(z z
0
)
n
.
La convergencia de esta serie est a asegurada debido a que la funcion 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.
Notacion 122 Una serie de Taylor desarrollada para el punto z
0
= 0 se llama
una serie de Maclaurin. y tiene la siguiente forma simplicada:
f(z) = f(0) +

n=1
f
(n)
n!
z
n
.
Veamos un ejemplo.
Ejemplo 123 Vamos a desarrollar la funci on
f(z) =
1
3 2 z
como serie de Taylor en potencias de z 3. Para eso, transformemos la funci on
f primero como sigue:
1
3 2 z
=
1
3 + 2(z 3)
=
1
3
1
1 +
2
3
(z 3)
.
Ahora usamos la formula para el desarrollo de Taylor de 1/(1 +z) con |z| < 1,
substituyendo z 2/3(z 3). Se obtiene:
1
3 2 z
=
1
3
_
1
2
3
(z 3) +
2
2
3
2
(z 3)
2

2
3
3
3
(z 3)
3
+
_
la cual es convergente para |z 3| <
3
2
.
48