Anlisis Matemtico III - Variable Compleja

Mg. Ana Barrenechea

Cursada 2010
Captulo 1 Los nmeros complejos.
As como los nmeros Enteros, Racionales han dado respuesta a la bsqueda
de soluciones de ciertas ecuaciones polinmicas, los nmeros complejos responden
completamente, desde un punto de vista terico a este problema.
Es as que, ampliando el conjunto de los nmeros Reales, llegamos al conjunto
de los nmeros Complejos, de la siguiente maneras:
En el espacio R2 = f(x; y) =x; y 2 Rg se denen las siguientes operaciones:
Suma: (a; b) + (c; d) = (a + c; b + d) con a; b; c; d 2 R
Producto por escalar: (a; b) = ( a; b) ; con ; a; b 2 R
ya conocidas que le dan a R2 la estructura de R espacio vectorial.
Producto o multiplicacin (a; b) : (c; d) = (ac bd; ad + bc) con a; b; c; d 2 R
Se puede comprobar que esta operacin verica las propiedades de asociativa,
conmutativa, distributiva con respecto a la suma , existencia de elemento neutro
(1; 0) e inverso de los nmeros no nulos. En efecto,

(a; b) : (1; 0) = (a 1 b 0; a 0 + b 1) = (a; b)

(1; 0) :(a; b) = (1:a 0:b; 1:b + 0:a) = (a; b)

Ms aun,

(0; 1)2 = (0; 1) : (0; 1) = (0 1 1 1; 0 1 + 1 0) (1.1)

= ( 1; 0)

Dado (a; b) 2 R2 distinto del vector (0; 0) planteando la ecuacin

(a; b) : (x; y) = (1; 0)

se obtiene que,
1 a b
(a; b) = (x; y) = ; 2
a2 + b a + b2
2

R2 munido de estas operaciones son el campo de los nmeros complejos C:

Todo nmero real se lo puede ver dentro de este conjunto como el par (x; 0);en
particular 1 2 R lo identicamos con el par(1; 0); de esta manera, decimos que
R C:
Pero esta no es la notacin a la que estamos acostumbrados a ver a los nmeros
complejos, si llamamos i = (0; 1) (unidad imaginaria), todo nmero complejo
z = (x; y); x; y 2 R puede escribirse como:

z = (x; y) = x(1; 0) + y(0; 1) (1.2)

= x 1 + yi
z = x + iy

donde x recibe el nombre de parte real (Re z) e y parte imaginaria (Im z)

del nmero complejo z:
Llamaremos complejo conjugado de z al nmero z = x iy si z = x + iy:
Con las notaciones precedentes, llamaremos mdulo del complejo z a
p
jzj = jx + iyj = k(x; y)k = x2 + y 2
1
 As, si z 2 C con z 6= 0, tenemos que

1 Re z Im z z
z = ; =
jzj2 jzj2 jzj2

De 1.1 y 1.2 tenemos que i2 = 1: En otras palabras, i es solucin de la

ecuacin x2 + 1 = 0: Ecuacin sta que no tiene solucin dentro del campo de los
nmeros reales. Obsevemos adems qu pasa con las distintas potencias de i; a
saber:
i0 = 1 i1 = i i2 = 1 i3 = i
i4 = i2 :i2 = ( 1):( 1) = 1 i5 = i4 :i = i i6 = 1 i7 = i
1
i = i:
Resumiendo, el conjunto de los nmeros complejos son un cuerpo con las
operaciones de suma y multiplicacin denidas anteriormente como lo es el cuerpo
de los nmeros reales, a diferencia de ste, los nmeros complejos no son un cuerpo
ordenado, es decir, no existe ninguna relacin de orden denida sobre este conjunto
que sea compatible con las operaciones, es decir, si cualquiera sean z1 ; z2 ; c 2 C
que verican para algn orden que z1 z2 entonces sea cierto que tambien sea
z1 + c z2 + c:

Como elementos del plano R2 , a los nmeros complejos tambin los podemos
representar en coordenadas polares, es decir, a cada nmero complejo z le podemos
asignar su mdulo y el ngulo que el vector (x; y) correspondiente describe con
respecto al eje de abscisas, a este ngulo se lo denomina un argumento, entonces
si z = x + iy; y = arg z tenemos la siguiente relacin:

x = jzj cos
y = jzj sen

si adems notamos con

ei = cos + i sen
entonces z = jzj ei
n
Ms an, usando la representacin polar vemos se tiene que z n = jzj ei =
n
jzjn ei = jzjn ein = jzjn (cos n + i sen n ) ; es decir,

z n = jzjn (cos n + i sen n )

Esta ltima frmula se conoce como frmula de "de Moivre". La cual se demuestra
por induccin.
Como las funciones seno y coseno son peridicas de perodo 2 resulta que el
argumento no est unvocamente determinado, es decir ei = ei( +2k ) cualquiera
sea k 2 Z distinguiremos un argumento en particular con el nombre de argumen-
to principal y ser aqul que verique < :

2
Captulo 2 Cuestiones topolgicas
Denicin 2.0.1 Dado z0 2 C; r > 0 llamaremos disco abierto (o entorno
circular) de centro z0 y radio r al conjunto

D (z0 ; r) = fz 2 C : jz z0 j < rg

Cuando se consideran los z 2 C tales que jz z0 j r , se habla del disco cerrado

(o entorno circular cerrado) y se indica D [z0 ; r] :

Denicin 2.0.2 Un disco se denomina reducido cuando se le quita su centro

es decir, correspode al conjunto z 2 C tales que 0 < jz z0 j < r

Denicin 2.0.3 Un conjunto A C es abierto si para cada z 2 A, existe

r > 0 tal que D (z; r) A: En particular,son conjuntos abiertos ?, C y los discos
abiertos.

Denicin 2.0.4 Un conjunto B C es cerrado si existe A C abierto tal que

B = C A: En otras palabras, los conjuntos cerrados son los complementarios de
los conjuntos abiertos. En particular, En particular,son conjuntos abiertos ?, C
y los discos cerrados.

Denicin 2.0.5 Un conjunto A C se dice acotado si existe M > 0 tal que

jzj M para todo z 2 A: Por ejemplo, los discos abiertos y cerrados son conjuntos
acotados.

Denicin 2.0.6 Dado A C se dice que z0 2 C est en la clausura de A o

que es un punto de clausura para A y se lo indica z0 2 A si para cada r > 0;
6 ?: Ms an, z0 se dir punto de acumulacin D (z0 ; r) \ A
D (z0 ; r) \ A =
consta de un nmero innito de puntos diferentes de z0 :
La diferencia entre punto de clausura y punto de acumulacin est en que si
el punto es de clausura, D (z0 ; r) \ A podra tener un slo punto mientras que si
es de acumulacin no. Pero entonces todo punto de acumulacin es de clausura.
Por qu?

Denicin 2.0.7 Dados B A C; B se llama abierto (cerrado) relativo

en A si existe un conjunto abierto (cerrado) C C tal que B = A \ C:

Ejemplo 2.0.8 En la recta, [0; 1) es abierto relativo a [0; 2), pues [0; 1) = [0; 2) \
( 1; 1)

Denicin 2.0.9 Dado A C se dice conexo si A no se puede escribir como

A = A1 [ A2 con A1 y A2 subconjuntos de A no vacos y ambos abiertos relativos
de A:

Ejemplo 2.0.10 A = (0; 1) [ (2; 3) no es un conjunto conexo. Por qu?. Pero

la recta, todo el plano complejo, el disco cerrado si son conjuntos conexos.

Denicin 2.0.11 Un conjunto D C se dice que es un dominio si D es abierto

y conexo.

Los dominios del plano complejo son conjuntos centrales en el desarrollo de

la teora y adems verican que a cualquier par de puntos de estos conjuntos se
los puede unir por medio de una poligonal los cual los convierte en conjuntos
arcoconexos.
3
Captulo 3 Funciones de variable com-
pleja
Dar una funcin compleja de una variable compleja denida sobre un conjunto
A C es asignar a cada z 2 A;un nico valor w 2 C y se indicar w = f (z):
Entonces, para cada z 2 A el valor de la funcin f (z) es un nmero complejo el
cual podemos escribir en su forma binomial haciendo referencia a su dependencia
de z de la siguiente forma:

w = f (z) = u(z) + iv(z)

Si escribimos z = x + iy; tambien se usa la notacin

w = f (z) = u(z) + iv(z) = u(x; y) + iv(x; y)

donde las funciones u yv llamadas parte real e imaginarias de la funcin f (z) son,
en realidad funciones a valores reales, es decir u; v : R2 ! R:

Denicin 3.0.12 (Existencia de lmite). Sea f : A C ! C y z0 2 C punto

de acumulacin de A, diremos que existe

l m f (z) = w
z!z0

si

dado " > 09 > 0 tal que si 0 < jz z0 j < entonces jf (z) f (z0 )j < "

Denicin 3.0.13 Sea f : A C ! C y z0 2 C punto de acumulacin de A,

diremos que f es continua en z0 si.

1. Existe l m f (z) = w
z!z0

2. Existe f (z0 )

3. w = f (z0 )

Proposicin 3.0.14 Dada f = u + iv denida en A C y dado z0 2 C punto

de acumulacin de A, son equivalentes:

1. Existe l m f (z0 ) = w0 = u0 + iv0

z!z0
(
l m u(z) = u0
z!z0
2. Existen
l m v(z) = v0
z!z0

Proposicin 3.0.15 Dada f = u + iv denida en A C y dado z0 2 C punto

de acumulacin de A, son equivalentes:

1. f es continua en z0

2. u; v son continuas en z0 (en (x0 ; y0 ))

Proposicin 3.0.16 Dadas f; g denidas en A C y dado z0 2 C punto de

acumulacin de A:Supongamos que adems f y g son continuas en z0 . Entonces,
tambin son continuas en z0 : f + g; f:g; y, si g(z0 ) 6= 0; f =g:
4
Proposicin 3.0.17 ;
1. Sea f denida y continua en A C conexo. Entonces f (A) es conexo.
2. Sea f denida y continua en A C cerrado y acotado (compacto). En-
tonces f (A) es cerrado y acotado (compacto). En este caso f se dice funcin
acotada en A C: O sea f es acotada en A C si existe M > 0 tal que
jzj M 8z 2 A: }
Denicin 3.0.18 Dada f : A ! C; z0 2 A de manera que D (z0 ; r) A para
cierto r > 0: Diremos que f es derivable en z0 si existe
f (z0 + h) f (z0 )
lm
h!0 h
df
Notacin: Denotaremos con f 0 ( z0 ) (z0 ) al lmite de la denicin 3.0.18
dz
si existe.
Proposicin 3.0.19 Dada f : A ! C; z0 2 A de manera que D (z0 ; r) A para
cierto r > 0, son eauivalentes:
1. f es derivable en z0 2 A
2. Existen w0 2 C; una funcin : D (z0 ; r) ! C, continua y nula en z0 tal
que:
f (z) = f (z0 ) + w0 (z z0 ) + (z) (z z0 )
8z 2 D (z0 ; r) :
Demostracin. 1. ) 2.: Denir
8
>
> f (z) f (z0 )
< f 0 (z0 ) si z 2 D (z0 ; r) ; con z 6= z0
(z) = z z0
>
>
: 0 si z = z0
2. ) 1. : Inmediato.
Corolario 3.0.20 Si f es derivable en z0 entonces es continua en z0
Observacin 3.0.21 La recproca no es cierta basta analizar la funcin f (z) =
Re z:
Proposicin 3.0.22 Sean f , g : A ! C derivables en z0 entonces, son deriv-
ables: f + g; f:g y f =g si g(z0 ) 6= 0. Ms an, se verican las reglas clsicas de
derivacin:
(f + g)0 (z0 ) = f 0 (z0 + g 0 (z0 )
(f:g)0 (z0 ) = f 0 (z0 ):g(z0 ) + f (z0 ):g 0 (z0 )
f 0 (z0 ):g(z0 ) f (z0 ):g 0 (z0 )
(f =g)0 (z0 ) =
g(z0 )2
Denicin 3.0.23 Una funcin u: D (z0 ; r) ! R se dice diferenciable en un
punto z0 = (x0 ; y0 ), si existen nmeros reales A y B, tales que:
u(z) u(z0 ) A(x x0 ) B (y y0 )
lm =0
z!z0 jz z0 j
Adems, en este caso, se tiene que
@u @u
(z0 ) = A (z0 ) = B
@x @y
5
Proposicin 3.0.24 Dada f : A ! C; z0 2 A tal que D (z0 ; r) A. Si
f (z) = u(z) + iv(z) son equivalentes:

1. f es derivable en z0

2. u y v son diferenciables en z0 y sus derivadas parciales verican las condi-

ciones de Cauchy-Riemann:
@u @v @u @v
(z0 ) = (z0 ) (z0 ) = (z0 )
@x @y @y @x

Corolario 3.0.25 en las condiciones de la def. 3.0.23 y la prop. 3.0.24, se tiene

que

f 0 (z0 ) = A iB
@u @u
= (z0 ) i (z0 )
@x @y
@v @v
= (z0 ) + i (z0 )
@x @y

Denicin 3.0.26 Dada f : A ! C; z0 2 A:La funcin f (z) se dice holomorfa

en el punto z0 ; si es derivable en cada punto de cierto D (z0 ; r) A: si f(z) no es
holomorfa en z0 ste se denomina una singularidad.

Denicin 3.0.27 Sea : ! R; R2 un dominio diremos que es armni-

ca en si verica la ecuacin de Laplace, es decir,

@2 @2
+ =0
@x2 @y 2

De las condiciones de Cauchy- Riemann, se deduce que la parte real e imag-

inarias de las funciones holomorfas son armnicas en el dominio de holomorfa.
Dada ahora una funcin armnica en un dominio, se puede ver que es la parte real
o imaginaria de una funcin holomorfa, en este caso, se denominan conjugada
armnica una de la otra.

6
Captulo 4 Funciones Especiales.
4.1. Funcin exponencial
Al momento de denir la exponencial compleja, tenemos en cuenta que sta es
una prolongacin de la conocida ex ; x 2 R; es decir que sobre la recta real ambas
funciones coinciden.

Denicin 4.1.1 Denimos para cada z 2 C; la funcin exponencial

ez = ex+iy = ex (cos y + i sen y) (4.1)

si z = x + iy; x; y 2 R

Proposicin 4.1.2 La funcin ez es holomorfa en todo el plano complejo. Ms

d z
an, e = ez :
dz
Proposicin 4.1.3 La funcin exponencial es peridica de perodo complejo 2 i:

Observacin 4.1.4 Una diferencia importante entre la exponencial compleja y la

real es que la primera no es inyectiva. Razn por la cual se diculta la denicin
de una funcin inversa, es decir el logaritmo complejo no ser una funcin como
las hemos conocido hasta el momento.

Proposicin 4.1.5 La funcin exponencial verica las propiedades clsicas, a

saber:
a) ez+w = ez ew 8z; w 2 C
b) (ez )n = enz 8n 2 N; 8z 2 C
z w z w
c) e = e =e 8z; w 2 C
iy
d) je j = 1 8y 2 R

4.2. Funciones Trigonomtricas

Si hacemos x = 0 en 4.1 y despejamos cos y y sen y obtenemos las siguientes
relaciones

eiy + e iy
cos y =
2
eiy e iy
sen y =
2i
resulta natural entonces denir, para todo z 2 C

eiz + e iz
cos z =
2
eiz e iz
sen z =
2i
Proposicin 4.2.1 Las funciones trigonomtricas verican:

1. La funcin sen z es impar mientras que cos z es par 8z 2 C.

2. sen2 z + cos2 = 18z 2 C

7
 sen (z1 z2 ) = sen z1 cos z2 cos z1 sen z2
3. 8z ; z 2 C
cos (z1 z2 ) = cos z1 cos z2 sen z1 sen z2 1 2
d
4. Son holomorfas en todo el plano complejo y verican (cos z) = sen z y
dz
d
(sen z) = cos z
dz
5. Las funciones sen z, cos z no son acotadas en todo el plano complejo
Las dems funciones trigonomtricas se denen por analoga con las conocidas
de variable real.

4.3. Funciones Hiperblicas

Denicin 4.3.1 Para todo z 2 C denimos
ez e z
senh z =
2
ez + e z
cosh z =
2
Proposicin 4.3.2 Las funciones hiperblicas verican:
1. cosh2 z senh2 z = 18z 2 C
d
2. Son holomorfas en todo el plano complejo y verican (cosh z) = senh z y
dz
d
(senh z) = cosh z; 8z 2 C
dz
senh (z1 z2 ) = senh z1 cosh z2 cosh z1 senh z2
3. 8z ; z 2 C
cosh (z1 z2 ) = cosh z1 cosh z2 senh z1 senh z2 1 2
Por analoga denimos las restantes funciones hiperblicas.

4.4. La Funcin Logaritmo.

La funcin ex con x 2 R es inyectiva y, por lo tanto podemos denir sin
problemas la funcin logaritmo con dominio los nmeros reales positivos. Como
observamos en 4.1.3 la funcin exponencial compleja es peridica y por lo tanto
no es inyectiva, es decir, en principio no estamos en condiciones de denir una
funcin inversa, pero si nos restringimos a trabajar con argumento entre ciertos
intervalos nos ponemos en condicones de hacerlo.
Se trata ahora de denir la funcin f (z) (logaritmo) sabiendo que debe veri-
car que ef (z) = z para todo z 2 C con C un conjunto conveniente, lo primero que
observamos es que como la exponencial nunca se anula, z = 0 no pertenecer C:
Hagamos f (z) = u(z) + iv(z) y z = jzj ei arg(z) con < arg(z) : Despeje-
f (z) u(z)+iv(z) i arg(z)
mos ahora de e =e = jzj e y obtenemos las siguientes expresiones
para u y v:
eu(z) = jzj ) u(z) = ln jzj
eiv(z) = ei arg(z) ) v(z) = arg(z) + 2k ; k 2 Z
8
 En el caso de la u(z) queda bien determinada pero v(z) claramente puede
tomar varios valores, dependiendo del valor que se asigne a k:Vale decir entonces
que la funcin logaritmo no es una funcin en el sentido clsico sino una familia
de funciones logartmicas.
Si jamos el argumento de los nmeros complejos en el intervalo ( ; ] al cual
designaremos como argumento principal y lo denotaremos por Arg(z); entonces

ln(z) = ln jzj + i Arg(z) + 2k i; k 2 Z

La funcin que corresponde al caso k = 0 es decir ln jzj + i Arg(z) la llamaremos

logaritmo principal y la denotaremos por Log z Ln z. Cabe sealar que, cuando
x es un nmero real positivo la deniciones de ln x coinciden.
En general, puede pensarse que para cada k 2 Z, Arg(z) + 2k , es una se-
leccin del argumento o como normalmente se lo llama una determinacin del
argumento de z y a la correspondiente expresin ln jzj + i Arg(z) + 2k i una de-
terminacin o rama del logaritmo.
Volviendo al hecho de que el logaritmo complejo es una familia de funciones
observemos que entonces las propiedades del logaritmo de tienen que reinterpretar,
es decir la igualdad conocida para los nmeros reales ln(x1 :x2 ) = ln x1 + ln x2 : Es
decir, para z1 ; z2 2 C, las expresiones ln(z1 :z2 ) y (ln z1 + ln z2 ) son en realidad
conjuntos de nmeros complejos. Luego, decir que vale la igualdad ln(z1 :z2 ) =
ln z1 + ln z2 signicar que cada elemento de ln(z1 :z2 ), puede expresarse como
suma de un elemento de ln z1 y de ln z2 :

Proposicin 4.4.1 Sea D = fz 2C: < arg(z) < g enonces Ln z es holo-

d 1
morfa en D: Ms an Ln z = ; 8z 2 D:
dz z

4.5. Funcin Potencial

Dado que el logaritmo complejo es una familia de funciones y la funcin po-
tencial se denir a partir de l, z w con z; w 2 C tambien sern una familia que
depender de la eleccin del argumento. Observemos que si x; y 2 R; conx > 0,xy
se dene como:
xy = ey ln x
anlogamente dados z 2 C f0g , w 2 C entonces la potencia z w ser la familia
de funciones
z w = ew ln z = elnjzj+i Arg(z)+2k i ; k 2 Z

Proposicin 4.5.1 Sean z; w; w1 ; w2 2 C

1. Si w = n = 1; 2; 3; ::: la familia z w se reduce al nico elemento z n = z:z:::z

n-veces.
1
2. Si w = ; n = 2; 3; :::; la familia se reduce a las races n-simas de z
n
3. Se verican las igualdades
1 w
=z z w1 :z w2 = z w1 +w2
zw

9
4. Para cada z 2 C f0g, jo, cada funcin z w es holomorfa en C como funcin
de w; jada una determinacin de ln z y la correspondiente funcin z w ; se
verica
d w
z = (ln z) ; z w
dw
5. Fijado w 2 C; cada funcin z w es holomorfa en C fx + i0; x 0g : Adems
para los valores principales vale:
d w
z = w:z w 1
dw

10
Captulo 5 Integracin en el plano com-
plejo.
5.1. Integrales de lnea
Denicin 5.1.1 Sea f : [a; b] ! C continua, f (t) = u(t) + iv(t), se dene

Zb Zb Zb
f (t) dt = u(t) dt + i v(t) dt
a a a

Proposicin 5.1.2 Sea f : [a; b] ! C continua

1. Si g : [a; b] ! C es continua, ; 2 C se verica:

Zb Zb Zb
( f (t) + g(t)) dt = f (t) dt + g(t) dt
a a a

2. Si a < c < b entonces,

Zb Zc Zb
f (t) dt = f (t) dt + f (t) dt
a a c

3. Si a > b
Zb Za
f (t) dt = f (t) dt
a b

Zb Zb
4. f (t) dt jf (t)j dt
a a

5. Si M > 0 es tal que jf (t)j M 8t 2 [a; b] entonces

Zb
f (t) dt M jb aj
a

Denicin 5.1.3 Un subconjunto C se dice que es una curva , si es la

imagen de una funcin continua z(t) : [a; b] ! C . Si adems verica:

1. z(t) es una funcin de clase C 1 en [a; b] salvo quizs en un nmero nito de

puntos

2. z 0 (t) tiena lmites laterales nitos en todos los puntos del intervalo [a; b] :

La curva se denomina diferenciable o diferenciable a trozos en caso de

existir puntos de la forma que aparece en 1.

11
 Dada una curva en C, a la funcin z(t) se la denomina parametrizacin
de : Se dice que ha sido reparametrizada si en lugar de z(t) se considera la
composicin z(t( )) donde t( ) : [c; d] ! [a; b] es biyectiva, creciente y de clase
C 1:

Denicin 5.1.4 Dada una curva parametrizada por z(t) : [a; b] ! C, sean
a = c1 < c2 < ::::cn = b, tales que z(t) es de clase C 1 en cada subintervalo
[cj ; cj+1 ] ; j = 1; ::; n 1: Sea f una funcin compleja tal que f (z(t)) es continua
en [a; b]. Bajo estas condiciones, denimos

Z c
n Zj+1
X
f (z) dz = f (z(t)) z 0 (t) dt (5.1)
j=1 c
j

Proposicin 5.1.5 La denicin 5.1.4 es independiente por reparametrizaciones.

Denicin 5.1.6 Dada una curva , descripta por la parametrizacin z(t) :

[a; b] ! C, se llama curva opuesta , a la descripta por z( t) : [a; b] ! C

Denicin 5.1.7 Una curva se llama cerrada cuando z(a) = z(b):

Denicin 5.1.8 Una curva se llama simple cuando z(t) es inyectiva en (a; b).

Denicin 5.1.9 A toda cueva cerrada simple tambin la llamaremos curva de

Jordan:

Proposicin 5.1.10 Con las notaciones anteriores.

Z Z Z
1. ( f (z) + g(z)) dz = f (z) dz + g(z) dz; con ; 2C
Z Z
2. f (z) dz = f (z) dz

Z n Z
X
3. f (z) dz = f (z) dz
1 +:::+ n j=1 j

4. Si M > 0 es tal que sup jf (z)j M , entonces

z2
Z
f (z) dz M:L

donde L se dene como la longitud de la curva.

c
n Zj+1
X
L= jz 0 (t)j dt
j=1 c
j

Hemos denido entonces la integral de una funcin a valores complejos con-

tinua, jados ahora dos puntos z0 y z1 ; uniendo a estos puntos por curvas queda
denida la integral en cada una de ellas, la pregunta que se impone es bajo qu
condiciones esta integral no depende de la curva?

12
Observacin 5.1.11 Sea D un dominio, una 1-forma diferencial es una ex-
presin de la forma
! = f1 (z) dx + f2 (z)dy
donde fi : D ! C son funciones continuas. Diremos que la 1-forma ! admite una
primitiva en D si existe F : D ! C de clase C 1 tal que
@F @F
= f1 ; = f2
@x @y
por lo tanto,
dF = ! = f1 (z) dx + f2 (z)dy
En particular, si
! = f (z)dx + if (z)dy
con f : D ! C holomorfa con derivadas parciales continuas, si existe primitiva,
es decir para cierta F : D ! C tal que

dF (z) = f (z)dx + if (z)dy

@F @F
sta debe ser holomorfa en D, pues =f y = if son las condiciones de
@x @y
Cauchy-Riemann para F:
Dicho de otro modo, la funcin continua f : D ! C admite primitiva, si existe
F : D ! C holomorfa tal que F 0 (z) = f (z) en D:

Proposicin 5.1.12 (Frmula de Barrow). Si f es una funcin continua en un

dominio y admite all una primitiva F , entonces dados z1 ; z2 2 D, se verica:
Zz2
f (z) dz = F (z2 ) F (z1 )
z1

Corolario 5.1.13 Sea f : D ! C;en las condiciones de la prop. 5.1.12 entonces,

para cualquier curva cerrada simple D; se tiene que
Z
f (z) dz = 0:

5.2. Teorema de Cauchy-Goursat y aplicaciones

Theorem 1 (Teorema de Green). Sea G la regin interior de una curva de Jordan
diferenciable a trozos y supongamos que las funciones reales p y q continuas en
G [ y de clase C 1 en G:Entonces
Z Z Z
(px + qy ) dx dy = pdy qdx
G

Supongamos ahora que la funcin f : D ! C es holomorfa con G [ D,

entonces
Z Z
f (z) dz = (u + iv) (dx + idy)
Z Z
= (udx vdy) + i (vdx + udy)

13
Como f es holomorfa en D, si las derivadas parciales de las funciones componentes
son continuas, estamos en condiciones de aplicar el teorema de Green obtenindose:
Z Z Z Z Z
f (z) dz = (vx + uy ) dx dy + i (ux vy ) dx dy (5.2)
G G

Adems se verican las condiciones de Cuachy-Riemann y as se anulan ambas

integrales en 5.2. Hemos probado entonces el siguiente

Teorema 5.2.1 (Teorema de Cauchy). Sea f : D ! C holomorfa, con derivadas

parciales continuas, una curva de Jordan diferenciable a trozos, entonces
Z
f (z) dz = 0

Este teorema presenta una restriccin, la continuidad de las derivadas parciales de

la funcin holomorfa; restriccin que desaparece en el teorema de Cauchy-Goursat.

Teorema 5.2.2 (Teorema de Cauchy - Goursat). Sea f (z) holomorfa en un do-

minio D simplemente conexo, si es una curva cerrada simple diferenciable a
trozos contenida en D entonces
Z
f (z) dz = 0:

Proposicin 5.2.3 Sea 0 una curva de Jordan diferenciable a trozos que en su

interior contiene las curvas de Jordan diferenciables a trozos disjuntas 1 ; :::; n ;
ninguna de las cuales est contenida en el interior de la otra. Supongamos que
f (z) es holomorfa en el dominio D que contiene al conjunto S, el cual consta de
todos los puntos sobre y en el interior de 0 pero no en los interiores de 1 ; :::; n :
Entonces Z n Z
X
f (z) dz = f (z) dz:
0 k=1 k

Proposicin 5.2.4 (Frmula integral de Cauchy). Sea f (z) holomorfa en un do-

minio D simplemente conexo, una curva cerrada simple diferenciable a trozos.
Entonces Z
1 f (w)
f (z) = dw (5.3)
2 i w z
para todos los puntos z en el interior de la regin limitada por :

Observacin 5.2.5 Derivando formalmente la frmula integral de Cauchy, se

tiene la siguiente expresin para las derivadas:
Z
(n) n! f (w)
f (z) = dw; n = 1; 2:::
2 i (w z)n+1

Teorema 5.2.6 (Teorema de Morera). Sea f (z) continua en un dominio simple-

mente conexo D que sasface
Z
f (z) dz = 0

para todas las curvas cerradas simples diferenciables a trozos contenidas de D;

entonces f es holomorfa.
14
Teorema 5.2.7 Si f (z) es holomorfa en un dominio simplemente conexo D, en-
tonces hay una funcin holomorfa F (z) denida en D que satisface F 0 = f :

Teorema 5.2.8 (Teorema de Riemann). Sea g( ) continua sobre la curva difer-

enciable a trozos. Entonces la funcin
Z
g( )
Fn (z) = d ; n = 1; 2; 3; :::
( z)n

es holomorfa en todo z en el complemento de y su derivada verica Fn0 (z) =

nFn+1 (z):

Teorema 5.2.9 (Teorema de Cauchy para las derivadas). Sea f (z) es holomorfa
en un dominio simplemente conexo D que contiene a la curva de Jordan difer-
enciable a trozos : Entonces, para todos los puntos w en el interior de la regin
limitada por ,
Z
(n) n! f (w)
f (z) = dw; n = 1; 2:::
2 i (w z)n+1

Teorema 5.2.10 (Teorema del valor medio de Gauss). Si f (z) es holomorfa en

un dominio simplemente conexo D, dado 2 D y R > 0 tal que fjz j < Rg
D. Entonces
Z2
1
f( ) = f ( + rei ) d ; 0 < r < R:
2
0

Proposicin 5.2.11 (La estimacin de Cauchy). Sea f (z) es holomorfa en un

dominio simplemente conexo D. dado 2 D y R > 0 tal que S = fjz j Rg
D, si jf (z)j M en S, entonces

M n!
f (n) ( )
Rn
Teorema 5.2.12 (Teorema de Liouiville). Una funcin entera no puede acotarse
en todo C a menos que sea constante.

Teorema 5.2.13 (Teorema Fundamental del lgebra). Todo polinomio de grado

mayor que cero tiene una raz en C:

15
Captulo 6 Sucesiones y Series
6.1. Sucesiones
Denicin 6.1.1 Una sucesin de nmeros complejos es una aplicacin f :
N ! C: Al valor f (n) lo denotaremos zn :

Denicin 6.1.2 Una sucesin (zn )n2N se dice acotada, si existe M > 0 tal que
jzn j M ; 8n 2 N.

Denicin 6.1.3 Una sucesin (zn )n2N se dice convergente si existe z 2 C tal
que l m zn = z, es decir, dado > 0 existe n0 2 N tal que 8n n0 jzn zj <
n!1

Proposicin 6.1.4 Sea (zn )n2N una sucesin de nmeros complejos que tiene
lmite, entonces.

1. El lmite es nico.

2. La sucesin es acotada.

Proposicin 6.1.5 Sea (zn )n2N una sucesin de nmeros complejos, con zn =
xn + iyn ; 8n 2 N. Entonces, son equivalentes:

1. l m zn = z, con z = x + iy
n!1

2. l m xn = x, l m yn = y.
n!1 n!1

Proposicin 6.1.6 Sean (zn )n2N y (wn )n2N sucesiones de nmeros complejos
tales que l m zn = z y l m wn = w entonces
n!1 n!1

1. l m (zn + wn ) = l m zn + l m wn
n!1 n!1 n!1

2. Si 2 C, l m zn = l m zn
n!1 n!1

3. l m (zn :wn ) = l m zn : l m wn
n!1 n!1 n!1

4. Si w 6= 0 l m (zn =wn ) = l m zn = l m wn
n!1 n!1 n!1

Denicin 6.1.7 Una sucesin (zn )n2N se dice que es de Cauchy, si dado > 0
existe n0 2 N tal que 8n; m n0 jzn zm j <

Proposicin 6.1.8 Una sucesin (zn )n2N es de Cauchy s y slo si es convergente.

Proposicin 6.1.9 Sean f : A ! C, z0 2 A punto de acumulacin, son equiva-

lentes:

1. f es continua en z0

2. Para cada sucesin (zn )n 1 A con zn ! z0 ; existe l m f (zn ) y es igual a

n!1
f (z0 ):

16
Denicin 6.1.10 Dado A C, a cada n 2 N se le asigna una funcin fn (z);
denida en A; de esta manera se dene una sucesin numrica (fn (z))n 1 Diremos
adems que la sucesin (fn (z))n 1 converge puntulamente en A a f (z) si, para
cada z 2 A si existe l m fn (z); es decir,
n!1

dado > 0, existe n0 = n0 (z; ) tal que 8n n0 es jfn (z) f (z)j <
Ms an, diremos que la convergencia es uniforme si en la denicn anterior
n0 = n0 ( ) es decir n0 depende exclusivamente de y no de la eleccin de z 2 A:

Observacin 6.1.11 Toda sucesin uniformemente convergente de funciones es

puntualmente convergente. No vale la recproca.

Proposicin 6.1.12 Sea (fn (z))n 1 una sucesin de funciones continuas denidas
en A que convergen uniformemente en A a una cierta funcin f: Entonces f es
continua.

Proposicin 6.1.13 Sea (fn (z))n 1 una sucesin de funciones derivables A; A

C abierto, que convergen uniformemente en A a una cierta funcin f: que tambin
es derivable en A Entonces l m fn (z)0 = f 0 (z):
n!1

Proposicin 6.1.14 Sea (fn (z))n 1 una sucesin de funciones continuas denidas
en A que convergen uniformemente en A a unaZ cierta funcin f . Entonces,
Z para
toda curva diferenciable a trozos, existe l m fn (z) dz y es igual a f (z) dz:
n!1

6.2. Series.
6.2.1. Series numricas

Denicin 6.2.1 Dada una sucesin (zn )n2N C llamaremos serie de trmino
general zn al lmite (si existe) de la sucesin de sumas parciales, es decir al lmite
de
Xn
l m Sn con Sn = zj
n!1
j=1

X
1
y se denota con zj :
j=1

X
1 X
1
Proposicin 6.2.2 zj jzj j
j=1 j=1

X
1
Denicin 6.2.3 Una serie zj se dice absolutamente convergente si es con-
j=1
X
1
vergente la serie jzj j
j=1

X
1
Proposicin 6.2.4 Si la serie zj es absolutamente convergente, entonces es
j=1
convergente.
17
Observacin 6.2.5 Como consecuencia de la prop.3.0.16 1. y 2.; son vlidas:
X
1 X
1 X
1
1. Si zj y wj son ambas convergentes, entonces es convergente (zj + wj )
j=1 j=1 j=1
X
1 X
1 X
1
adems vale que (zj + wj ) = zj + wj
j=1 j=1 j=1

X
1 X
1
2. Producto de Cauchy de series: dadas zj y wj ; se dene el pro-
j=1 j=1
! !
X
1 X
1 X
1 X
k 1
ducto de Cauchy zj : wj = ck , donde ck = zj wk j+1 :
j=1 j=1 k=1 j=1

X
1 X
1
a) Si zj y wj si una es convergente y la otra es absolutamente
j=1 j=1
convergente, entonces la serie producto de cauchy es convergente.
b) Si ambas convergen absolutamente, su producto de Cauchy es absoluta-
mente convergente.

X
1
3. Si zj es convergente y es un nmero complejo cualquiera, entonces
j=1
X
1 X
1 X
1
zj es convergente y vale que zj = zj :
j=1 j=1 j=1

6.2.2. Series de potencias.

X
1
Denicin 6.2.6 Dado A C y funciones fn : A ! C, se llama fn (z) a la
n=1
serie de trmino general fn (z): Si, para cada z 2 A, existe f (z)tal que la suma de
la serie verica que

X
n
dado > 0; 9n0 = n0 (z; ) tal que 8n n0 es fj (z) f (z) <
j=1

se dice que la serie converge puntualmente a f (z): Si, la dependencia del n0 es

slamente del valor de la convergencia se dice uniforme.

Proposicin 6.2.7 (Criterio de Weierstrass para la convergencia absoluta y uni-

X
1
forme). Sean fn (z) una serie funcional denida en A C,(an )n2N R>0 que
n=1
verican

1. 9M > 0= jfn (z)j M:an ; 8z 2 A; 8n 2 N

X
1
2. an es convergente
n=1

X
1
Entonces las serie fn (z) es absoluta y uniformemente convergente.
n=1

18
Denicin 6.2.8 Si la sucesin de funciones fn (z) = an (z z0 )n con an ; z0 2
X
1 X
1
C; z0 jo entonces la serie fn (z) = an (z z0 )n se denomina serie de
n=1 n=1
potencias
X
1
Proposicin 6.2.9 Dada una serie de potencias an (z z0 )n , existe R 2 R;
n=1
0 R 1 de manera que si:

1. R = 0 la serie slo converge para z = z0

2. 0 < R < 1 la serie converge absolutamente y uniformemente para jz z0 j

r con 0 < r < R y diverge para jz z0 j > R

3. R = 1 8r > 0 la serie converge absolutamente y uniformemente para

jz z0 j r:

R se denomina radio de convergencia de la serie.

X
1 X
1
Proposicin 6.2.10 Dadas aj (z z0 )j y bj (z z0 )j con radios de conver-
j=1 j=1
gencia R1 y R2 respectivamente, entonces las series suma y producto de Cauchy
tienen radio menor o igual a R1 y R2 :
X
1
Observacin 6.2.11 Dada una serie de potencias aj (z z0 )j con radio de
j=1
convergencia R > 0; su suma determina una funcin f : D (z0 ; r) ! C:
Por la proposicin 6.2.9 y la 6.1.12 esta funcin f resulta continua en el disco
cerrado D [z0 ; r] para cualquier 0 < r < R, en consecuencia, f es continua en todo
D (z0 ; R) :

X
1
Proposicin 6.2.12 Dada una serie de potencias aj (z z0 )j con radio de
j=1
convergencia R > 0; su suma (ver obs. 6.2.11) f (z) es una funcin holomorfa en
X1
D (z0 ; R) : Adems, la serie derivada trmino a trmino aj j(z z0 )j 1 tiene
j=1
el mismo radio de convergencia R y vale que, para todo z 2 D (z0 ; R)
!0
X1 X
1
j
aj (z z0 ) = aj j(z z0 )j 1
j=1 j=1

Denicin 6.2.13 Dada f : D ! C con D C abierto, diremos que f es

analtca en z0 2 D, si para cierto r > 0 puede escribirse
X
1
f (z) = aj (z z0 )j ; z 2 D (z0 ; r) D
j=1

donde la serie de potencias tiene radio de convergencia mayor o igual a r:

Denicin 6.2.14 Una funcin f se dice analtica en el abierto A C si es

analtica en cada punto de A:
19
 X
1
Proposicin 6.2.15 Dada f (z) = aj (z z0 )j es analtica en z0 2 D entonces
j=0
f es holomorfa en D y adems sus derivadas verican:

f (n) (z0 ) = 2 in!an

Teorema 6.2.16 (Teorema de Taylor)Sea f holomorfa en un punto z0 2 D con

D C un dominio, entonces f es analtica en z0 : Adems el desarrollo de f en
potencias de z z0 , es vlido en un disco de radio igual a la distancia del punto
z0 al punto singular ms prximo.
Demostracin. Por hiptesis, f es holomorfa en z0 2 D, con D abier-
to y conexo entonces existe R > 0 tal D(z0 ; R) D. Fijado z 2 D(z0 ; R)
sea = jz z0 j < R:Sea r > 0 tal que < r < R. Si llamamos Cr+ =
fz 2 D : jz z0 j = rg, por la frmula integral de Cauchy (??), es:
Z
1 f (w)
f (z) = dw
2 i Cr+ w z

Podemos escribir
1 1 1 1
= = z z0 (6.1)
w z w z0 + z0 z w z0 1
w z0
z z0
Si w 2 Cr+ resulta que = < 1 y, por lo tanto,
w z0 r

1 X1
(z z0 )n
=
w z n=0
(w z0 )n+1

con convergencia uniforme para w 2 Cr+ . Podemos entonces aplicar la prop. 6.1.14
y as obtenemos que
X
1 Z
1 f (w)
f (z) = dw (z z0 )n
n=0
2 i Cr+ (w z0 )n+1

Vale decir que f (z) es desarrollable en serie de potencias alrededor del punto donde
es holomorfa y esto para cada punto en estas condiciones sucintemente alejado
de los puntos singulares.
Ms an, si observamoes este desarrollo los coecientes son:
Z
1 f (w)
an = dw n = 0; 1; 2; :::
2 i Cr+ (w z0 )n+1

Observacin 6.2.17 En la demostracin del teorema anterior se podra haber

usado cualquier curva cerrada, diferenciable a trozos de manera tal que z0 se en-
cuentre en el interior de la regin limitada por dicha curva.
Adems, por la unicidad del desarrollo en series de potencias y la prop. 6.2.15
resulta que
Z
f (n) (z0 ) 1 f (w)
an = = dw n = 0; 1; 2; :::
n! 2 i Cr+ (w z0 )n+1

20
Proposicin 6.2.18 (Principio de identidad) Sea f analtica en un dominio D
C. Son equivalentes:

1. f es idnticamente cero en D

2. Existe una sucesin (zn )n 1 D, convergente a un punto z0 2 D con zn 6=

z0 8n 1 y tal que f (zn ) = 0 8n 1:

3. Existe w0 2 D tal que f (n) (w0 ) = 0 8n:

Corolario 6.2.19 Sean f; g funciones analticas en un dominio. Sea E D tal

que admite puntos de acumulacin en D. Si f y g coinciden en E, entonces deben
coincidir en D:

6.2.3. Series de Laurent

Teorema 6.2.20 (Teorema de Laurent)Sea f holomorfa en una corona fz 2 C : R1 < jz z0 j < R2 g

entonces, para ciertos 0 < r1 < r2 < 1 se verica la siguiente representacin para
f: X X
f (z) = an (z z0 )n + a n (z z0 ) n
n 0 n 1

donde
Z
1 f (z)
an = dz n = 0; 1; 2; :::
2 i C + (z z0 )n+1
Z
1 f (z)
a n = dz n = 1; 2; :::
2 i C + (z z0 ) n 1

siendo C + una circunferencia centrada en z0 con radio r; r1 < r < r2 : Ms an,

este desarrollo es nico.
Demostracin. Dado z en la corona fz 2 C : R1 < jz z0 j < R2 g sean R1 <
r1 < r2 < R2 ; si es una curva cerrada simple que tiene a z en el interior de la
regin limitada por y totalmente contenida en la corona, se construye una curva
cerrada simple considerando a y las dos circunferencias C1 y C2 de centro z0
y radios r1 y r2 respectivamente. A saber

= C2 + S2 + + S1 + C1 S1 S2

Siendo S1 y S2 curvas que ligan C1 con y C2 con respectivamente. Como la

f (w)
funcin resulta holomorfa dentro de la regin limitada por esta curva ,
w z
resulta que por 5.2.1,
Z Z Z Z
f (w) f (w) f (w) f (w)
0= dw = dw + dw dw
w z w z C1 w z C2 w z

Las integrales sobre S1 y S2 se cancelan.

Por la prop. 5.2.4, Z
f (w)
dw = 2 if (z)
w z
Por lo tanto, Z Z
1 f (w) 1 f (w)
f (z) = dw dw
2 i C2 w z 2 i C1 w z

21
 z z0 jz z0 j
Observemos que, si w 2 C2 ; = < 1 entonces
w z0 r2

1 X1
(z z0 )n
=
w z n=0
(w z0 )n+1

(ver 6.1), ms an esta serie converge uniformemente en todo C2 :

w z0 jz z0 j
Anlogamente, si w 2 C1 ; = < 1 entonces
z z0 r1

1 X1
(w z0 )n
=
w z n=0
(z z0 )n+1

, y la serie converge uniformemente en todo C1 :

Por prop. 6.1.14, vale:
X
1 Z X1 Z
1 f (w) n 1 f (w) n
f (z) = dw (z z0 ) + n+1 dw (z z0 )
n=0
2 i C2 (w z0 )n+1 n=1
2 i C1 (w z0 )

Por otra parte, dada una circunferencia de radio r con r1 < r < r2 , por el teorema
de Cauchy, podemos reemplazar las dos circunferencia por aqulla Cr de tiene
radio r. Es decir,
X
1 Z X1 Z
1 f (w) n 1 f (w) n
f (z) = dw (z z0 ) + n+1 dw (z z0 )
n=0
2 i Cr (w z0 )n+1 n=1
2 i Cr (w z0 )

Podemos observar tambin que la convergencia de estas series es uniforme en

cualquier corona del tipo fz 2 C : r1 < jz z0 j < r2 g con R1 < r1 < r2 < R2 :

Denicin 6.2.21 Un desarrollo del tipo

X
1
n
X
1
n
f (z) = an (z z0 ) + a n (z z0 ) (6.2)
n=0 n=1

vlido en alguna corona alrededor de z0 se denomina desarrollo en serie de

Laurent, la parte de las potencia negativas se denomina parte principal.

Denicin 6.2.22 Diremos que z0 2 C es una singularidad para f (z) si f (z)

no es holomorfa en z0 .

Las singularidades de una funcin compleja pueden ser aisladas o no aisladas.

Una singularidad es aislada si existe un disco centrado en ella de manera que
la funcin no tiene otra singularidad en l, ser no aislada si no existe tal disco.
1
Por ejemplo, z0 = 0 es una singularidad aislada para la funcin f (z) = y no
z
1
aislada para g(z) = :
1
sen
z
Nos concentraremos slamente en el estudio de las singularidades aisladas.

22
6.2.4. Singularidades aisladas.

Las singularidades aisladas se clasican en evitables, polos y singularidades

esenciales.
Diremos que z0 es una singularidad evitable si existe l m f (z), en este caso
z!z0
es posible redenir la funcin de manera que valga ese valor en z0 :Por ejemplo
sen z
f (z) = presenta una singularidad evitable en z0 = 0
z
1
Diremos que la singularidad es un polo si l m f (z) = 1: Por ejemplo f (z) =
z!z0 z
tiene un polo en z0 = 0:
Diremos que la singularidad es esencial si no existe l m f (z). Por ejemplo
z!z0
1
f (z) = sen tiene una singularidad esencial en z0 = 0:
z
Toda funcin que tiene una singularidad aislada en z0 es posible desarrollarla
en serie de Laurent en una corona del tipo
fz 2 C : R1 < jz z0 j < R2 g en la cual z0 es la nica singularidad pero ese
desarrollo diferir si sta es evitable, polo o esencial. Tenemos tres posiblelidades
en un desarrollo de este tipo :

1. Si la singularidad es evitable, entonces a n = 0 8n 2 N

2. Si z0 es un polo entonces existe p 1 de manera que a n = 0 8n p, al

mnimo de estos p se lo denomina orden del polo y z0 ser de ese polo de
orden.

3. Si z0 es una singularidad esencial, entonces a n 6= 0 para innitos valores de

n 2 N:

Ejemplos 6.2.23 1. z0 = 0 es una singularidad evitable para

sen z X ( 1)n 2n
1
= z
z n=0
(2n + 1)!

Ejemplo 6.2.24 1. z0 = 0 es un polo de orden 1 o polo simple para

sen z X ( 1)n 2n 1 X ( 1)n 2n

1 1
1 1
= z = + z
z2 n=0
(2n + 1)! z n=1 (2n + 1)!

2. z0 = 0 es una singularidad esencial para

1 X ( 1)n
1
1
sen = 2n+1
z n=0
(2n + 1)! z

Denicin 6.2.25 Al coeciente a 1 del desarrollo en serie de Laurent para f (z)

en una singularidad z0 se lo denomina residuo de f en z0 y lo notaremos con
Res (f; z0 ) : Por lo tanto,
Z
1
Res (f; z0 ) = f (z)dz
2 i C
donde C es una circunferencia alrededor de z0 totalmente contenida en el dominio
de f:

23
 sen z
Ejemplos 6.2.26 1. Si f (z) = entonces Res (f; 0) = 1
z
1
2. Si f (z) = sen entonces Res (f; 0) = 1
z
1
3. Para f (z) = sen ; Res (f; 0) = 0:
z2
Proposicin 6.2.27 1. Sean f y g dos funciones holomorfas en z0 y tales que
f (z0 ) 6= 0, g tiene un cero simple en z0 entonces

f (z) f (z0 )
Res ; =
g(z) g 0 (z0 )

2. si f tiene un polo de orden n + 1 en z0 ; entonces

n
1 d
Res (f; z0 ) = lm (z z0 )n+1 f (z) :
n! z!z0 dz

Teorema 6.2.28 (Teorema de los residuos). Sea f (z) holomorfa en un dominio

D C excepto en un nmero nito de singularidades aisladas, z1 ; z2 ; :::; zk . Sea
una curva cerrada simple diferenciable a trozos contenida en D de manera que
ninguna de las singularidades est sobre ella. Supongamos adems que z1 ; z2 ; :::; zk
se encuentran en la regin limitada por entonces
Z X
k
(f (z) dz = 2 i Res (f; zj )
j=1

Este teorema hace sencillo el clculo de integrales.

Ejemplos 6.2.29 Calcular las integrales:

Z
1
1. sen dz = 2 i porque como vimos en el ejemplo 2, el 0 es una singu-
jzj=1 z
laridad esencial para f (z) y el residuo es 1.
Z
cos z
2. 2 dz = 2 i sen 21 ;, porque la funcin presenta un polo
jz 1j=1 (z 1=2)
de orden 2 en z0 = 12 dentro de jz 1j < 1: y por prop. 1 2. tenemos que

d cos z 1
Res (f; 1=2) = l m (z 1=2)2 = sen
z!1=2 dz (z 1=2)2 2

6.2.5. El punto del innito.

Llamaremos plano complejo extendido (C1 ) al conjunto formado por el

plano complejo al cual se le ha agregado un punto llamado 1, es decir, C1 =
C [ f1g : En este nuevo conjunto denimos los entornos de este nuevo pun-
to como los exteriores de cualquier disco cerrado centrado en el origen, es decir
fz 2 C : jzj > R; R > 0g :
Entonces si 2 C; diremos que l m f (z) = ;
z!1

si dado > 0 existe R > 0 tal que si jzj > R entonces jf (z) j< : (6.3)

24
 1 1
Haciendo el cambio de variable w = y haciendo F (w) = f ( ) la condicin
z w
6.3 la podemos escribir:
1
dado > 0 existe =R tal que si jwj < entonces jF (w) j<

Es decir, el lmite de f (z) para z ! 1 es el lmite de F (w) para w ! 0 y

recprocamente.

Denicin 6.2.30 Una funcin f se dice holomorfa en el innito si la fun-

1
cin F (w) = f ( ) es holomorfa en cero.
w
1
Ejemplos 6.2.31 Las funciones f (z) = y g(z) = e1=z son ambas holomor-
z 1
fas en z0 = 1:

Denicin 6.2.32 Diremos que

1. f tiene una singularidad evitable en z0 = 1 si F tiene una singularidad

evitable en cero.

2. f tiene un polo de orden n en z0 = 1 si F tiene un polo de orden n en cero.

3. f tiene una singularidad esencial en z0 = 1 si F tiene una singularidad

esencial en cero.

Con las notaciones anteriores, sea

X
1 X
1
n
F (z) = a n z + an z n
n=1 n=0

1
el desarrollo en serie de Laurent de F (z) en 0 < jzj < para cierto R > 0.
R
Entonces, por denicin, el desarrollo de f (z) en serie de Laurent en 1 es

1 X
1 X
1
n n
f (z) = F ( ) = a n z + an z ; jzj > R
z n=1 n=0

Como la convergencia es uniforme, tenemos que

Z Z "1 #
1 1 X X1
n n
f (z) dz = a nz + an z dz
2 i C(0; ) 2 i C(0; ) n=1 n=0
Z
1 a1
= dz = a1
2 i C(0; ) z

Denicin 6.2.33 Se dene el residuo de f en 1 como

Z
1
Res(f; 1) = a1 = f (w) dw; donde >R
2 i C(0; )

1
obsrvese que a1 es el coeciente de en el desarrollo de Laurent para f en 1. La
z
razn del signo en la decin se debe a que "desde el innito"las circunferencias
se recorren con orientacin opuesta.

25
 1 1
Proposicin 6.2.34 Res(f; 1) = Res(
f ( ); 0)
z2 z
Demostracin. Sea r = 1= ; entonces
Z Z it
1 1 1 1 e e it it
2 i Res( 2 f ( ); 0) = 2
f ( ) dz = f( ) ire dt
z z C(0;r) z z r r2
Z Z
it it
= f( e )i e dt = f ( eis )i eis ds

Z Z
is is
= f ( e )i e ds = f (z) dz
C(0; )

Proposicin 6.2.35 Una funcin entera es una funcin polinmica no constante

s y slo si tiene un polo en 1: Una funcin es constante s y slo si es tiene en
1 una singularidad evitable:

Proposicin 6.2.36 Si una funcin tiene un nmero nito de singularidades en

el plano complejo extendido, entonces la suma de los respectivos residuos es nula.
Z
z2 + 1
Ejemplo 6.2.37 Sea f (z) = ; calcular f (z) dz.
(z + 1)7 (z 4 + 1)(z 1) jzj=3
Todas las singularidades de esta funcn estn dentro del crculo jzj < 3 por
lo tanto tenemos que calcular todos los residuos, lo cual es un tanto engorroso,
usando la prop. 6.2.36 slamente tendremos que calcular Res(f; 1): Pero el 1 es
un cero de orden 8 de la funcin y por lo tanto se residuo es 0.
Podemos tambien calcular el Res(f; 1), usando el mismo teorema, como Res(f; 1) =
0; tenemos que

Res(f; 1) = [Res(f; 1) + Res(f; 2i) + Res(f; 2i)]

Al ser 1; 2i y 2i polos simples son muy sencillos de calcular usando Prop 1, 2..

26