Analisis Complejo Imca Uni

ANALISIS
COMPLEJO
Y APLICACIONES
EMALCA Trujillo, 2011
Oswaldo Velasquez Castano n1
1Instituto de Matematica y Ciencias Afines y Facultad de Ciecias, Universidad Nacional de Ingeniera, Lima.

Indice
general
Indice de figuras
Parte 1. Preliminares
Captulo 1. Numeros complejos

1. Definicion y propiedades
2. Modulo y conjugado, partes real e imaginaria
3
3
4
Captulo 2. Espacios metricos y normados

1. Espacios metricos
2. Espacios normados
5
5
6
Captulo 3. Sucesiones y series

1. Sucesiones y series numericas
2. Sucesiones de Cauchy y completitud
3. Series y convergencia
7
7
7
8
Captulo 4. Nociones basicas de topologa

1. Conjuntos abiertos
2. Conjuntos cerrados
3. Puntos de acumulacion
4. Conjuntos compactos
11
11
12
13
13
Captulo 5. Funciones en espacios metricos y normados

1. Lmites
2. Continuidad
3. Curvas
4. Conjuntos conexos
5. Sucesiones de funciones
6. Familias de funciones
15
15
15
16
17
18
19
Parte 2. Analisis complejo
21
Captulo 6. Funciones holomorfas o analticas

1. La derivada y sus propiedades basicas
2. Ecuaciones de Cauchy-Riemann
3. Funciones holomorfas
23
23
23
25
Captulo 7. Series de potencias

1. Convergencia de las series de potencias
2. Holomorfa y continuidad
27
27
27
Captulo 8. La funcion exponencial

1. Definicion y propiedades
2. Sobre las funciones trigonometricas
3. Representacion polar
4. Logaritmo complejo
31
31
33
34
34
I
II
Indice
general
Captulo 9. Integracion sobre arcos

1. Arcos
2. Integral a lo largo de un arco
3. Indice de un arco cerrado
35
35
35
37
Captulo 10. Teora local de Cauchy

1. Teorema de Cauchy, caso convexo
2. Formula de Cauchy, caso convexo
3. Representacion local de una funcion holomorfa
4. Derivando la formula de Cauchy
39
39
43
43
44
Captulo 11. Estructura de ceros de una funcion holomorfa

1. Estructura de ceros
47
47
Captulo 12. Consecuencias del teorema de Cauchy

1. El teorema de Liouville para funciones enteras
2. El teorema fundamental del a lgebra
3. El principio del modulo maximo
4. Logaritmo y races holomorfas en un dominio convexo
49
49
49
50
51
Captulo 13. El teorema de la aplicacion abierta

1. Preliminares
2. El caso inyectivo
3. Caso general
53
53
54
54
Captulo 14. Convergencia de una sucesion de funciones holomorfas

1. Convergencia uniforme en compactos
2. Holomorfa de una funcion lmite
57
57
57
Captulo 15. Singularidades

1. Singularidades removibles o evitables
2. Clasificacion de las singularidades
59
59
60
Captulo 16. Teorema homologico de Cauchy

1. Cadenas, ciclos y sus integrales
2. Teorema de Cauchy homologico
63
63
64
Captulo 17. El teorema homotopico de Cauchy

1. Homotopas
2. Conjuntos simplemente conexos
3. Conservacion del ndice y sus consecuencias
4. Logaritmos, races y demas, caso simplemente conexo
67
67
67
68
71
Captulo 18. Serie de Laurent

1. El resultado
73
73
Captulo 19. Variacion de argumento

1. Determinacion y variacion continua del logaritmo y del argumento
2. Calculo de la variacion
75
75
76
Captulo 20. Calculo practico del ndice

1. Posicionamiento de una curva respecto de una semirecta
2. Calculo del ndice
79
79
80
Captulo 21. Funciones meromorfas y calculo de residuos

1. Funciones meromorfas
2. Calculo de residuos
83
83
83
III
Captulo 22. Contando ceros y polos al interior de un contorno

1. El teorema base
2. El principio del argumento
3. El teorema de Rouche
4. El teorema de Hurwitz
87
87
87
89
89
Captulo 23. Productos infinitos

1. Definicion y convergencia
2. Producto de funciones holomorfas
3. El teorema de Weierstrass
91
91
93
93
Captulo 24. El teorema del mapeo conforme de Riemann

1. Transformaciones de Schwarz
2. Conservacion de a ngulos
3. Familias normales
4. Equivalencia conforme
97
97
98
99
100
Captulo 25. Funciones de orden finito

1. Orden de una funcion entera
2. Formulas de Schwarz y Nevanlinna
3. La formula de Jensen
4. Calculo del orden de una funcion entera
5. El exponente de convergencia de una sucesion
6. El teorema de Hadamard
103
103
104
106
108
110
111
Captulo 26. Las funciones gamma y zeta

1. La funcion gamma de Euler
2. La funcion zeta de Riemann
3. Localizacion de los ceros de (s)
115
115
116
119
Captulo 27. Estabilidad de funciones enteras

1. Funciones estables
2. Un criterio de estabilidad
121
121
122
Bibliografa
125

Indice
de figuras
7.1
Ilustracion de la prueba del teorema 7.2 . . . . . . . . . . . . . . . . . . . . . . . . . . 28
10.1 Subdivisiones en el caso (a) del teorema 10.3. Hemos separado los triangulos que en
realidad estan juntos, para hacer visiblemente notorios los lados adyacentes de los
triangulos de la descomposicion, que se compensan al integrar . . . . . . . . . . . . . . 40
10.2 Situaciones del punto p en el teorema 10.3 . . . . . . . . . . . . . . . . . . . . . . . . 42
13.1 Ilustracion de los conjuntos en el teorema 13.4 . . . . . . . . . . . . . . . . . . . . . . 55
16.1 Ejemplos de ciclo y cadena. Tambien se puede ver el conjunto como una sola cadena . . 64
16.2 Ilustrando graficamente la condicion (16.16) del teorema de Cauchy . . . . . . . . . . . 65
17.1 Deformaciones progresivas en la homotopa entre 0 y 1 . Los puntos indicados en el
grafico no pertenecen al dominio donde vive la homotopa . . . . . . . . . . . . . . . . 67
17.2 Contornos del ejemplo 17.9. Observe que puede deformarse el contorno del cuadrado
R al crculo |z| = 2 sin tocar los puntos 1 . . . . . . . . . . . . . . . . . . . . . . . . 70
18.1 Anillo r < |z z0 | < R y ciclo en la prueba del teorema 18.1 . . . . . . . . . . . . . 73
20.1 Posicion relativa de un punto z C \ L a la semirecta L que parte del punto p . . . .
20.2 Una curva atravesando primero positivamente (+), luego negativamente () una
semirecta L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20.3 Ilustracion de la prueba de la proposicion 20.3. . . . . . . . . . . . . . . . . . . . . .
20.4 Ilustracion del resultado de la proposicion 20.3. Indicamos con + las veces que
atraviesa la semirrecta elegida positivamente, con las veces que atraviesa negativamente. Colocamos el balance, el ndice calculado, al interior . . . . . . . . . . . . . .
20.5 Grafica correspondiente al ejercicio 20.1. . . . . . . . . . . . . . . . . . . . . . . . .
. 79
. 79
. 80
. 81
. 81
21.1 Contorno del ejemplo 21.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

22.1 Contorno del ejemplo 22.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
22.2 Ilustracion del movimiento de los ceros del ejemplo 22.8 en el caso m = 6 . . . . . . . 90
24.1 Angulos
formados por las curvas , : [0, 1] C, (t) = t, (t) = t + it, en
t = 0 (punto P = 0) y sus imagenes mediante f (z) = (z + 1)2 , (t) = f (t) y
(t) = f (t) en Q = f (0) = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99

Indice
de figuras
VI
oswaldo@imca.edu.pe
Parte 1
Preliminares
Captulo 1
Numeros
complejos
1.
Definicion y propiedades
En adelante, asumiremos conocidas por el lector todas las propiedades del conjunto de numeros
reales R, en particular la existencia y propiedades de las operaciones aritmeticas.
El conjunto de los numeros complejos
1.1. Definimos el conjunto de los numeros complejos, como el conjunto
D EFINICI ON
C = {(a, b) : a, b R}
provisto de las operaciones binarias de suma y producto
+ : C C C
(a, b), (c, d) 7 (a, b) + (c, d) = (a + c, b + d)
: C C C
(a, b), (c, d) 7 (a, b) (c, d) = (ac bd, ad + bc)
La siguiente proposicion muestra qye
1.2. El conjunto de los numeros complejos satisface las siguientes propiedades

P ROPOSICI ON
(propiedades de cuerpo conmutativo):
S1)
S2)
S3)
S4)
M1)
M2)
M3)
M4)
D)
Asociatividad de la suma: para todo z1 , z2 , z3 C, (z1 + z2 ) + z3 = z1 + (z2 + z3 )

Conmutatividad de la suma: para todo z1 , z2 C, z1 + z2 = z2 + z1 .
Existencia del cero: si 0 = (0, 0), entonces para todo z C, 0 + z = z + 0 = z.
Neutro aditivo: para todo z C, z = (a, b), el elemento w = (a, b) C satisface z + w =
w + z = 0. Se denota w = z.
Asociatividad del producto: para todo z1 , z2 , z3 C, (z1 z2 ) z3 = (z1 z2 ) z3 .
Conmutatividad del producto: para todo z1 , z2 C, z1 z2 = z2 z1 .
Existencia de la unidad o neutro multiplicativo: si 1 = (1, 0), entonces para todo z C,
1 z = z 1 = z.

b
a
Inverso multiplicativo: para todo z C = C\{0}, z = (a, b), el elemento w = a2 +b

2 , a2 +b2
1
C es tal que z w = w z = 1. Denotamos w = z .
Distributividad del producto en la suma: para todo z1 , z2 , z3 C, z1 (z2 +z3 ) = z1 z2 +z1 z3 .
E JERCICIO 1.1. Demuestre la proposicion 1.2.

El conjunto {(a, 0) : a R} es un subcuerpo de C isomorfo a R, mediante el homomorfismo
R C, a 7 (a, 0). Escribimos (a, 0) a y
(a, b) = (a, 0) + (0, 1) (b, 0) = a + i b
con i = (0, 1). Es por esto que nos permitimos escribir
C = {a + bi : a, b R},
donde se siguen las reglas algebraicas en R, y el numero i satisface i2 = 1.
3
Numeros complejos
2.
Modulo y conjugado, partes real e imaginaria
1.3 (Conjugado). Definimos el conjugado de z = (a, b) = a + ib como

D EFINICI ON
z = (a, b) = a ib
1.4. Para z1 , z2 C:
P ROPOSICI ON
a) z1 + z2 = z1 + z2
b) z1 z2 = z1 z2
1.5 (Modulo). Se define el modulo de un complejo | | : C R por
D EFINICI ON
p
|z| = |(a, b)| = |a + ib| = a2 + b2
a)
b)
c)
d)
e)
1.6. Se cumplen, para z1 , z2 C:

P ROPOSICI ON
|z1 | > 0;
|z1 | = 0 si y solo si z1 = 0;
|z1 + z2 | 6 |z1 | + |z2 |;
z1 z1 = |z1 |2 ;
|z1 z2 | = |z1 ||z2 |.
En particular, si z 6= 0,
z 1 =
z
.
|z|2
1.7. Dado un numero complejo z = a + ib, con a, b R, definimos sus partes real e
D EFINICI ON
imaginaria, respectivamente, como los numeros
a = z,
Observe que ambos son numeros reales, y
b = z.
z = z + i z.
1.8. Se cumplen, para z C
P ROPOSICI ON
z+z
zz
z =
, z =
.
2
2i
E JERCICIO 1.2. Demuestre las proposiciones 1.4, 1.6 y 1.8.
Captulo 2
Espacios metricos y normados

1.
Espacios metricos
2.1 (Metrica, espacio metrico). Sea X un conjunto. Una metrica sobre X es una
D EFINICI ON
aplicacion d : X X R que satisface las siguientes propiedades:
I)
II )
III )
d(x, y) > 0 para todo x, y X; d(x, y) = 0 si y solo si x = y;

d(x, y) = d(y, x) para todo x, y X;
d(x, y) 6 d(x, z) + d(z, y) para todo x, y, z X.
El par (X, d) es llamado espacio metrico.
E JEMPLO 2.2. Fijado n N, consideramos el espacio n-dimensional

Rn = (x1 , x2 , . . . , xn ) : xi R, i = 1, 2, . . . , n .
Sobre Rn , podemos definir las metricas d1 , d2 , d : Rn Rn R para x = (x1 , x2 , . . . , xn ), y =

(y1 , y2 , . . . , yn ) mediante
v
u n
n
X
uX
|xi yi |2 ,
|xi yi |, d2 (x, y) = t
d1 (x, y) =
i=1
i=1
d (x, y) = m
ax |xi yi |,
i=1,...,n
(Rn , d1 ),
(Rn , d2 ),
(Rn , d )
Los espacios
son metricos. Las metricas mencionadas son, respectivamente, la metrica de la suma, la euclidiana y la del maximo. Observamos que
d (x, y) 6 d2 (x, y) 6 n d (x, y),

para cualesquiera x, y Rn .
d (x, y) 6 d1 (x, y) 6 n d (x, y)
E JEMPLO 2.3. Especificando el ejemplo anterior, (R, d) y (C, d) son espacios metricos con d(x, y) =
|x y|, considerando en el primer caso la funcion | | como el valor absoluto, y en el segundo como el
modulo complejo.
E JEMPLO 2.4. Sea [a, b] R un intervalo cerrado. el conjunto

C [a, b] = {f : [a, b] Rn ; f es continua}
es un espacio metrico, provisto de la metrica

d(f, g) = sup f (x) g(x).
x[a,b]
E JEMPLO 2.5. Cualquier conjunto X se convierte en un espacio metrico con la metrica discreta
d : X X R definida por

0, si x = y,
d(x, y) =
1, si x 6= y.
5
Espacios metricos y normados
2.
Espacios normados
2.6. Sea E un K-espacio vectorial, donde K = R o C. Una norma sobre E es una

D EFINICI ON
aplicacion k k : E R que satisface las siguientes propiedades:
I ) kxk > 0 para todo x E; kxk = 0 si y s
olo si x = 0;
II ) kxk = || kxk para x E y K;
III ) kx + yk 6 kxk + kyk para x, y E.
El par (E, k k) se denomina espacio normado.
E JERCICIO 2.1. Toda norma k k : E R induce una metrica de la siguiente manera: la funcion
d : E E R definida por
d(x, y) = kx yk, x, y E
es una metrica, y se denomina metrica inducida por la norma.
E JERCICIO 2.2. Pruebe que la funcion d definida a partir de la norma k k en el ejemplo 2.1, es
efectivamente una metrica sobre el espacio vectorial E.
E JEMPLO 2.7. Las metricas del ejemplo 2.2 son inducidas por las siguientes: para x = (x1 , x2 , . . . , xn )
en Rn , se definen
v
u n
n
X
uX
|xi |, kxk2 = t
kxk1 =
|xi |2 ,
i=1
i=1
kxk = m
ax |xi |,
i=1,...,n
(Rn , k
(Rn , k
(Rn , k
Los espacios
k1 ),
k2 ),
k ) son entonces espacios normado. Las normas se
denominan, respectivamente, la norma de la suma, la euclidiana y la del maximo.
Rn .
E JERCICIO 2.3. Verifique que las funciones k k1 , k k2 y k k del ejemplo 2.7 son normas sobre
En particular, los conjuntos R y C, con sus respectivo valor absoluto y modulo, son espacios norma-
dos.
Captulo 3
Sucesiones y series
1.
Sucesiones y series numericas
3.1 (Sucesion). Una sucesion en un conjunto A es una funcion x : N A La imagen

D EFINICI ON
de un elemento n N se denota por x(n) = xn , y denotamos {xn }n>1 en lugar de x.
En ocasiones exhibiremos sucesiones del tipo {xn }n>0 o con otros conjuntos numerables, extendiendo as la definicion anterior. Tambien, en un abuso de notacion, escribiremos {xn } A para indicar
una sucesion en A, cuando es simplemente la imagen de la funcion que define x la que esta contenida
en A.
3.2 (Lmite de una sucesion). Sea (X, d) un espacio metrico, {xn }n>1 una sucesion
D EFINICI ON
en X. Decimos que la sucesion {xn }n>1 es convergente si existe un elemento x X, denominado
lmite de la sucesion, tal que, para cada > 0, existe n0 N tal que si n > n0 , entonces d(xn , x) < .
Escribimos entonces
x = lm xn .
n
Si la sucesion no es convergente, decimos que es divergente.

3.3. El lmite de una sucesion convergente en un espacio metrico es u nico.
P ROPOSICI ON
3.4 (Subsucesion). Sea (X, d) un espacio metrico. Una subsucesion de una sucesion
D EFINICI ON
x = {xn }n>1 en X, es la composicion de y = xk de la sucesion con una funcion creciente k : N N.
Denotamos la subsucesion y por {xkn }n>1 .
3.5. En un espacio metrico, si una sucesion es convergente, entonces toda subsuceP ROPOSICI ON
sion de ella es convergente, y converge al mismo lmite.
3.6. Sean {xn }n>1 y {yn }n>1 sucesiones de numeros complejos (con la metrica
P ROPOSICI ON
usual, inducida por el modulo), tales que
lm xn = a,
lm yn = b.
Entonces
1) la sucesion {xn + yn }n>1 es convergente y lm (xn + yn ) = a + b;
n
2) si C, la sucesion {xn }n>1 es convergente y lm (xn ) = a;

n
3) la sucesion {xn yn }n>1 es convergente y lm xn yn = a b;

n
nx o
a
xn
n
= .
es convergente y lm
4) si b 6= 0, la sucesion
n yn
yn n>1
b
2.
Sucesiones de Cauchy y completitud
3.7 (Sucesion de Cauchy). Sea (X, d) un espacio metrico, {xn }n>1 una sucesion en
D EFINICI ON
X. Decimos que la sucesion {xn }n>1 es de Cauchy si, para cada > 0, existe n0 N tal que si
m, n > n0 , entonces d(xm , xn ) < .
3.8. En un espacio metrico (X, d), toda sucesion convergente es una sucesion de
P ROPOSICI ON
Cauchy.
La afirmacion recproca no es necesariamente cierta, lo que lleva a la siguiente definicion.
7
Sucesiones y series
3.9 (Espacio metrico completo). Se dice que un espacio metrico (X, d) es completo si
D EFINICI ON
toda sucesion de Cauchy es convergente.
3.10 (Espacio de Banach). Un espacio normado (E, k k) es un espacio de Banach si
D EFINICI ON
es completo con la metrica inducida por su norma.
3.11 (Conjunto acotado). Sea (X, d) un espacio metrico, A X. Decimos que el
D EFINICI ON
conjunto A es acotado si existen M > 0 y x X tales que d(y, x) 6 M para todo y A.
Con el mismo espritu, decimos que una sucesion {xn }n>1 X es acotada si lo es el conjunto de
imagenes {xn : n N}.
Observamos que en la definicion de conjunto acotado, podemos reemplazar x por cualquier otro
punto de X. En particular, en el caso de un espacio normado (E, k k), un subconjunto A E es
acotado si y solo si existe M > 0 tal que kxk 6 M para todo x A.
3.12. En un espacio metrico (X, d), si una sucesion de Cauchy posee una subsuceP ROPOSICI ON
sion convergente, entonces la sucesion es convergente.
3.13. Toda sucesion de Cauchy es acotada.
P ROPOSICI ON
3.14 (Bolzano-Weierstrass). Toda sucesion acotada en (Rn , k k2 ) posee una subP ROPOSICI ON
sucesion convergente.
Como consecuencia de este resultado, (Rn , k k2 ) es un espacio metrico completo. En efecto, si
{xn }n>1 es una sucesion de Cauchy, es acotada por la proposicion 3.13, de donde por el teorema anterior,
posee una subsucesion convergente {xkn }n>1 . Esto junto con la proposicion 3.12 implica que {xn }n>1
es convergente. Por lo tanto, Rn es completo.
3.
Series y convergencia
3.15. Sea (E, k k) un espacio normado y {xn }n>1 una sucesion en E. Definimos la
DP
EFINICI ON
serie xn como la sucesion {sn }n>1 de sumas parciales de {xn }n>1 , definida por
P
s n = x1 + x2 + + xn ,
n > 1.
Decimos que la serie

xn es convergente si lo es la sucesion de sumas parciales sn . El lmite de esta
sucesion se denota por
X
xn = lm sn ,
n
n=1
y se denomina la suma de la serie xn .

Si la sucesion de sumas parciales no es convergente, decimos que la serie es divergente.
P
En un abuso de notacion, tambien denotaremos en ocasiones por
n=1 xn a la serie y no necesariamente la suma de la misma.
P
3.16. Sea (E, k k) un espacio normado. Si la serie
P ROPOSICI ON
xn en E es convergente,
entonces lm xn = 0.
n
P
3.17. Sea (E, k k) un espacio normado. Decimos que la serie xn es absolutamente
D EFINICI ON
P
convergente si la serie de numeros reales kxn k es convergente.
P
T EOREMA 3.18. Sea
P(E, k k) un espacio de Banach. Si una serie xn es absolutamente convergente, entonces la serie xn es convergente.
X
T EOREMA 3.19. Sea (E, k k) un espacio de Banach. La serie
xn converge absolutamente si
n>1
1/n
lm sup kxn k
n
1/n
< 1 y diverge si lm sup kxn k

n
> 1.
Series y convergencia
p
. Sea 0 < r < 1 tal que lm sup n kxn k < r < 1. Como lm sup es el mayor
D EMOSTRACI ON
n
p
n
p
valor de adherencia de la sucesion n kxn k n>1 , entonces existe n0 N tal que n kxn k < r para
n > n0 . Luego,
kxn k < r n para n >0 , con r < 1.
P
El criterio de comparacion [14,PCorolario del Teorema 16, Captulo IV] implica que
kxn k converge,
de donde por el teorema 3.18,p xn converge.
p
Por otro lado, si lm sup n kxn k > 1, existe una subsucesion {xkn } {xn } tal que lm sup n kxn k >
n
1 para n > n1 . Luego kxkn k > 1 para n > n1 , y en particular lm xn 6= 0 (en concordancia con la
n
P
proposicion 3.5), de donde xn diverge (proposicion 3.16).
El siguiente lema nos proporciona una manera sencilla de calcular el lmite en el teorema anterior
(cf. [14, Teorema 20, Captulo IV]).
an+1
=
L EMA 3.20 (Criterio de la razon). Sea {an }n>1 una sucesion de numeros reales > 0. Si lm
n an
L, entonces lm n an = L.
n
E JEMPLO 3.21. El criterio anterior nos permite probar que

p
lm n n = 1, lm n n(n 1) = 1,
n
n
p
y en general, lmn n p(n) = 1, si p(x) = an xn + an1 xn1 + + a1 x + a0 es un polinomio,
ai R, an > 0, 0 6 i 6 n, n N.
n
n!
E JERCICIO 3.1. Halle el lm
.
n 2n + 1
3.22. Sean
P ROPOSICI ON
A,
n=1
an y
bn series convergentes de numeros complejos, con
an =
n=1
n=1
bn = B. Entonces
n=1
1) la serie
(an + bn ) es convergente y
n=1
2) si C, la serie
(an + bn ) = A + B;
n=1
(an ) es convergente y
(an ) = A.
n=1
n=1
T EOREMA 3.23 (Producto de Cauchy de series). Sean

numeros complejos,
By
an y
n=1
an absolutamente convergente con
an = A,
n=0
n=0
cn =
n
X
ak bnk ,
bn series convergentes de
n=1
n=0
bn convergente con
bn =
n=0
n>0
k=0
entonces la serie
cn , denominada producto de Cauchy de las anteriores, converge, y su suma es
n=0
n=0
cn = AB.
10
Sucesiones y series
. Sean, para n > 0

D EMOSTRACI ON
An =
n
X
ak ,
Bn =
k=0
n
X
bk ,
k=0
y
Dn =
n
X
n X
i
X
ci =
i=0 k=0
i=0

ak bik .
entonces
Dn =
n
n X
X
ak bik =
ak Bnk =
n
X
ank Bk ,
k=0
k=0
k=0 i=k
y luego
n
X
(Bi B)ani + B(An A).
Dn AB =
i=0
Dado > 0, escogemos N N tal que

n
X
sup |Bi B| < ,
i>N
n
X
i=nN +1
|ai | <
|An A| <
para n > N.
Luego, para n > N

|Dn AB| 6
6
N
1
X
i=0
|Bi B||ani | +
m
ax |Bi B|
06i6N 1
n
X
i=N
N
1
X
i=0
|ani | + sup |Bi B|
6 sup |Bi | + |B|) +

i>0
|Bi B||ani | + |B||An A|
n=0
i>N
n
X
i=N
|ani | + |B| |An A|
|an | + |B| = K ,
donde K > 0 no depende de n. Esto finaliza la prueba.
Captulo 4
Nociones basicas de topologa

1.
Conjuntos abiertos
En adelante, en un espacio metrico (X, d), denotamos por

D(a, r) = x X : d(x, a) < r
el disco abierto de centro en a X y radio r > 0.
4.1 (Punto interior. Interior). Sea (X, d) un espacio metrico. Decimos que a X es
D EFINICI ON
punto interior de A X, si existe > 0 tal que D(a, ) A.
El conjunto de puntos interiores de A se denomina interior de A, y se denota int(A).
Evidentemente int(A) A.
4.2 (Conjunto abierto). Un subconjunto A X de un espacio metrico (X, d) es
D EFINICI ON
abierto si todo punto de A es punto interior de A.
Equivalentemente, int(A) = A.
La familia de subconjuntos abiertos de un espacio metrico X se denomina topologa inducida por d.
Las siguientes son propiedades de la topologa de un espacio: contiene los subconjuntos triviales de X,
es cerrada bajo interseccion finita y union arbitraria de sus elementos. Una familia de subconjuntos de
X con estas propiedades se denomina en general una topologa en X, y permite estudiar los conceptos
futuros de convergencia, continuidad y demas en el espacio, aun en ausencia de una metrica.
4.3. Sea (X, d) un espacio metrico.
P ROPOSICI ON
Los discos D(a, r) son abiertos.
Los conjuntos X y son abiertos.
Si A y B son subconjuntos abiertos de X, entonces A B es abierto.
[
IV ) Si {Ai }iI es una familia de subconjuntos abiertos de X, entonces
Ai es abierto.
I)
II )
III )
iI
. Ver [16, Proposicion 1, Proposicion 2, Cap. 3, & 3].

D EMOSTRACI ON
. Si en el item IV de la proposicion anterior consideramos intersecciones de abiertos

O BSERVACI ON
en lugar de uniones, el resultado es falso en general. Por ejemplo,
considere X = R con la metrica usual
\
1 1
An = {0}, que no es un conjunto abierto.
y An =] n , n [, para cada n N. En este caso tenemos
nN
Dado un subconjunto de un espacio metrico, podemos restringir la metrica al subconjunto, convirtiendo a este en un espacio metrico en s mismo, con la metrica heredada. Esto genera la nocion de
abierto relativo.
4.4 (Abierto relativo). Sea (X, d) un espacio metrico y A X. Decimos que U A
D EFINICI ON
es un abierto relativo en A si existe un subconjunto abierto U X tal que U = A U .
E JEMPLO 4.5. Sean X = R y A = [0, 1]. Se tiene que el conjunto U = [O, 1[ es un abierto relativo
a A pero no es abierto en R.
11
12
2.
Conjuntos cerrados
4.6 (Punto de adherencia. Clausura). Sea (X, d) un espacio metrico y A X. El

D EFINICI ON
punto x X es un punto de adherencia de A si, para cada > 0
D(x, ) A 6= .
El conjunto de puntos de adherencia de A se denomina clausura de A y se denota por A (1).

Es facil probar el siguiente hecho, que es muy utilizado.
4.7. El punto x X es punto de adherencia de A, si y solo si existe una sucesion
P ROPOSICI ON
{xn }n>1 de elementos de A, tal que x = lm xn .
n
Se verifica directamente que para cualquier conjunto A, A A. Nos interesa saber cuando la
inclusion se vuelve una igualdad.
4.8 (Conjunto cerrado). Un subconjunto F X de un espacio metrico (X, d) es
D EFINICI ON
cerrado si todo punto de adherencia de F pertenece a F .
Escrito de otro modo, F es cerrado si F = F .
E JEMPLO 4.9. En un espacio metrico (X, d), fijado a X y r > 0, la clausura del disco abierto
D(a, r) es el disco cerrado

D(a, r) = x X : d(x, a) 6 r .
4.10. Un subconjunto F X de un espacio metrico (X, d) es cerrado si y solo si

P ROPOSICI ON
X \ F es abierto.
. Ver [16, Proposicion 7, Cap. 3, & 3].
D EMOSTRACI ON
La proposicion 4.3, via la proposicion 4.10, implica el siguiente resultado.

4.11. Sea (X, d) un espacio metrico.
P ROPOSICI ON
I ) Los conjuntos X y son cerrados.
II ) Si A y B son subconjuntos cerrados de X, entonces A B es cerrado.
\
III ) Si {Ai }iI es una familia de subconjuntos cerrados de X, entonces
Ai es cerrado.
iI
E JEMPLO 4.12. Dado A X de un espacio metrico (X, d), su clausura A es un conjunto cerrado,
esto es A = A.
4.13. Sea (X, d) un espacio metrico. La distancia entre un punto x X y A X es
D EFINICI ON
el numero
d(x, A) = nf{d(x, y) : y A}.
4.14. Sea (X, d) un espacio metrico. La distancia satisface las siguientes propiedades:
P ROPOSICI ON
I)
II )
d(x,
A) = 0 si y solo si x A.

d(x, A) d(y, A) 6 d(x, y) para todo x, y X.
. I) Supongamos que d(x, A) = 0. De la definicion de infimo podemos construir

D EMOSTRACI ON
una sucesion {xn } A tal que d(x, xn ) 0, lo que es equivalente a decir que lm xn = x. Por lo tanto
n
x A. Supongamos ahora que x A. Entonces, existe una sucesion {xn }n>1 tal que lm xn = x.
n
Luego, d(x, A) 6 d(x, xn ), para todo n N . Tomando lmite cuando n tiende a obtenemos que
d(x, A) = 0.
II) Es una aplicacion directa de la desigualdad triangular.

1el smbolo de clausura no debe ser confundido con el de conjugacion, que utilizamos sobre numeros complejos
Conjuntos compactos
13
4.15 (Frontera). Sea (X, d) un espacio metrico. Definimos la frontera del conjunto
D EFINICI ON
A X mediante
A = A X \ A.
Equivalentemente podemos decir A esta formado por los puntos x X, tal que cada disco abierto
centrado en x contiene al menos un punto de A y un punto de X \ A.
. Para todo conjunto A X se cumple que
O BSERVACI ON
A = int(A) A int(X \ A).
4.16. Sea (X, d) un espacio metrico y A X un conjunto acotado. El diametro de A

D EFINICI ON
es el numero
diam(A) = sup{d(x, y) : x, y A}.
T EOREMA 4.17. Sea (X, d) un espacio metrico completo. Si {Fn }n>1 es una sucesion de subconjuntos cerrados, no vacos de X con Fn+1 Fn para cada n > 1, y lm diam(Fn ) = 0, entonces
n
existe x X tal que
\
Fn = {x}.
n=1
3.
Puntos de acumulacion
En lo que sigue, en un espacio metrico (X, d) denotaremos por

D (a, r) = x X : 0 < d(x, a) < r}
el disco de centro en a X y radio r > 0, desprovisto de a, esto es D (a, r) = D(a, r) \ {a}.

4.18 (Punto de acumulacion). Sea (X, d) un espacio metrico. Se dice que el punto
D EFINICI ON
a X es punto de acumulacion del conjunto A X si, para cada > 0
D (a, ) A 6= .
El conjunto de puntos de acumulacion de A se denota A .
A diferencia de en el caso de la clausura, no necesariamente A A. Pero en todo caso, A A

para todo A X.
4.
Conjuntos compactos
4.19 (Cubrimiento). Un cubrimiento de un subconjunto C X de un espacio metrico

D EFINICI ON
(X, d) es una familia {Ai }iI de subconjuntos de X, tales que
[
C
Ai .
iI
Decimos que el cubrimiento {Ai }iI es abierto si Ai es abierto para todo i I. Asmismo, decimos que
el cubrimiento {Ai }iI es finito si I es finito. Por u ltimo, un subcubrimiento del cubrimiento {Ai }iI
es una subfamilia de conjuntos {Ai }iJ con J I.
4.20 (Conjunto compacto). Un subconjunto K X de un espacio metrico (X, d) es
D EFINICI ON
compacto si todo cubrimiento por abiertos de K admite un subcubrimiento finito. Mas precisamente, si
{Ai }iI es un cubrimiento abierto de K, esto es
[
K
Ai ,
iI
entonces existen i1 , i2 , . . . , in I (n N) tales que

n
[
Aij .
K
j=1
14
E JERCICIO 4.1. Dado x X, donde (X, d) es un espacio metrico, el conjunto unitario {x} es
compacto.
4.21. Si un subconjunto K X de un espacio metrico (X, d) es compacto, entonces
P ROPOSICI ON
K es cerrado.
T EOREMA 4.22. Un subconjunto K X de un espacio metrico (X, d) es compacto, si y solo si,
toda sucesion {xn }n>1 en K admite una subsucesion {xkn }n>1 convergente a un elemento en K.
4.23. Un subconjunto de Rn es compacto si y solo si es cerrado y acotado.
P ROPOSICI ON
L EMA 4.24 (Descomposicion de un abierto en compactos). Si es abierto en Rn , entonces existe

una familia de compactos {Kn }n>1 en Rn tal que
I ) Kn int(Kn+1 )
II ) Si K es compacto y K entonces existe N = N (K) tal que K KN .
[
III ) =
Kn .
n>1
. Probaremos el resultado en el caso 6= Rn ; el caso = Rn , que es mas

D EMOSTRACI ON
sencillo, se deja como ejercicio al lector. Para esto fijamos primero una norma k k cualquiera en Rn .
Para cada n > 1, definimos

n
1o
.
Kn = x Rn : kxk 6 n x Rn : d(x, Rn \ ) >
n
Si x Kn , entonces d(x, Rn \ ) > n1 ; en particular x
/ Rn \ , o x . Esto prueba que Kn .
n
Observamos que R \ es cerrado, de donde por la proposicion4.14, cada Kn es cerrado
(por la

n
n
continuidad de x 7 d(x, R \ )) y acotado (al estar contenido en x R : kxk 6 n ). Ademas,
d(x, Rn \ ) = 0 si y solo si x Rn \ .

1
Kn+1 . Dado w
Evidentemente Kn Kn+1 . Dado z Kn , veamos que D z, n(n+1)

1
D x, n(n+1) tendremos que como z Kn , kxk 6 n, de donde kwk 6 kxk + 1 6 n + 1; como ademas
d(x, Rn \ ) > n1 , nuevamente por la proposicion 4.14
1
1
1
=
.
d(w, Rn \ ) > d(x, Rn \ ) kw xk >
n n(n + 1)
n+1
Por lo tanto w Kn+1 . Esto prueba la afirmacion y (I ).
Dado x , tendremos que d(x, Rn \ ) > 0. Tomamos n > 1 tal que d(x, Rn ) > n1 y kxk 6 n,
entonces x Kn . Esto prueba (III ).
Finalmente, si K , entonces
[
K
int Kn+1 ,
n>1
lo que nos da un cubrimiento por abiertos del compacto K. Luego, K posee un subcubrimiento finito, y
K
N
[
i=1
int(Kj0 ) Kj0
donde j0 = m
ax16i6N ji . Esto prueba (II ) y finaliza la prueba.
E JERCICIO 4.2. Demuestre el resultado anterior en el caso = Rn .

E JERCICIO 4.3. La descomposicion establecida en el lema 4.24 no es u nica. Por ejemplo, para
a R el semiplano
= {z C : z > a}
se descompone con
o
n
1
Kn = z C : a + 6 z 6 a + n, |z| 6 n , n > 1.
n
Captulo 5
Funciones en espacios metricos y normados

1.
Lmites
5.1 (Lmites). Sean (X, dX ), (Y, dY ) espacios metricos, A X, f : A Y , a A

D EFINICI ON
y l Y . Decimos que la funcion f tiene lmite l cuando x tiende a a, y escribimos
lm f (x) = l

f (x), l < si x A, 0 < dX (x, a) < .
xa
si, para cada > 0, existe > 0 tal que dY
5.2. El lmite de una funcion definida sobre un espacio metrico en un punto, si existe,
P ROPOSICI ON
es u nico.
5.3. Sean (X, dX ), (Y, dY ) espacios metricos, A X, f : A Y , a A A y
P ROPOSICI ON
l Y . Se cumple que
lm f (x) = l
xa
si y solo si lm f (xn ) = l para toda sucesion {xn }n>1 A \ {a} con lm xn = a.

n
5.4. Sean f, g : X C funciones entre un espacio metrico (X, d) y el plano

P ROPOSICI ON
complejo C, provisto de la metrica inducida por el modulo, y sea a A tal que ambas funciones tienen
lmite en a y lm f (x) = r, lm g(x) = s. Entonces
xa
xa
1) f + g tiene lmite en a y lm (f + g)(x) = r + s;

xa
2) si C, f tiene lmite en a y lm (f )(x) = r;

xa
3) f g tiene lmite en a y lm (f g)(x) = rs;

xa
f
f
r
4) si s 6= 0, tiene lmite en a y lm
(x) = .
xa g
g
s
Tambien hay propiedades de lmites en cuanto a la composicion, pero no las mencionaremos aqu.
Referimos al lector interesado a [15, Captulo VI].
2.
Continuidad
5.5 (Continuidad). Sean (X, dX ), (Y, dY ) espacios metricos, A X, f : A

D EFINICI ON
Y , a A. Decimos
que la funcion f es continua en a si, para cada > 0, existe > 0 tal que

dY f (x), f (a) < si x A, dX (x, a) < . Decimos que f es continua en A (o simplemente continua)
si es continua en todo punto de A.
Denotamos el conjunto de las funciones continuas en A por
C(A) = {f : A Y ; f es continua en A}.
5.6. Sean (X, dX ), (Y, dY ) espacios metricos, A X, f : A Y , a A.

P ROPOSICI ON
La funcion f es continua en a si y solo si lm f (xn ) = a para toda sucesion {xn }n>1 A con
n
lm xn = a.
5.7. Sean f, g : X C funciones entre un espacio metrico (X, d) y el plano
P ROPOSICI ON
complejo C, provisto de la metrica inducida por el modulo, y sea a A tal que ambas funciones son
continuas en a. Entonces
15
16
Topologa y funciones
1) f + g es continua en a;
2) si C, f es continua en a;
3) f g es continua en a;
f
4) si g(a) 6= 0, es continua en a.
g
E JERCICIO 5.2. Sea (X, d) un espacio metrico, f : X C continua y
Z(f ) = {a X; f (a) = 0}.
Entonces, Z(f ) es un subconjunto cerrado de X.
5.8. Sean (X, dX ), (Y, dY ) espacios metricos, A X, f : A Y . La funcion f es

P ROPOSICI ON
continua si y solo si, la imagen inversa de un abierto U en Y , f 1 (U ), es un abierto en A.
5.9 (Funcion abierta). Sean (X, dX ), (Y, dY ) espacios metricos, A X, f : A Y .
D EFINICI ON
La funcion f es abierta si f (U ) es abierto (en Y ) para todo U A abierto en A.
Con esta definicion y la u ltima proposicion, tenemos el siguiente hecho: si f : X Y es abierta y
biyectiva, entonces f 1 : Y X es una funcion continua.
5.10. Sean (X, dX ), (Y, dY ) espacios metricos, A X, f : A Y . Si f es
P ROPOSICI ON
continua y K A es compacto, entonces f (A) es compacto.
C OROLARIO 5.11. Sea (X, d) un espacio metrico, K X compacto y f : K R continua.
Entonces, f alcanza un maximo y un mnimo en K.
5.12 (Continuidad uniforme). Sean (X, dX ), (Y, dY ) espacios metricos, A X, f :
D EFINICI ON
A Y . Decimos que la funcion f es uniformemente continua en A (o simplemente uniformemente
continua) si, para cada > 0, existe > 0 tal que dY f (x), f (y) < si x, y A, dX (x, y) < .
E JEMPLO 5.13. Fijado un subconjunto A de un espacio metrico (X, d), la funcion distancia x 7
d(x, A) en la proposicion 4.14 es uniformemente continua.
5.14. Sean (X, dX ), (Y, dY ) espacios metricos, K X y f : K Y . Si K es
P ROPOSICI ON
compacto y f es continua, entonces f es uniformemente continua.
E JERCICIO 5.3. Pruebe que las funciones C C, z 7 z, z 7 z z 7 |z|, z 7 z son

uniformemente continuas.
3.
Curvas
En la siguiente definicion, [a, b] es un intervalo compacto de la recta, con la metrica usual.

5.15 (Curva). Una curva en un espacio metrico (X, d) es una aplicacion : [a, b]
D EFINICI ON
X continua. La imagen de la curva es el conjunto = [a, b] .
Si (a) = (b), decimos que la curva es cerrada.

E JEMPLO 5.16. Dados dos puntos x, y en un espacio normado E, k k , definimos : [0, 1] E
mediante (t) = (1 t)x + ty. Esta funcion es una curva, y su imagen es el segmento que une x
ey

[x, y] = = (1 )x + y; [0, 1] .
Cuando no hay lugar a confusion, podemos denotar la curva y el segmento ambos por [x, y].
5.17 (Reparametrizacion). Dada una curva : [a, b] X en un espacio metrico
D EFINICI ON
(X, d), una reparametrizacion de es una curva : [c, d] X de la forma = s, donde
s : [c, d] [a, b] es una funcion continua y biyectiva.
La reparametrizacion es positiva si s es una funcion creciente, y negativa si s es decreciente.
Asmismo, la reparametrizacion es regular si s es una funcion derivable y s (x) 6= 0 para todo
x [c, d]; en este caso las reparametrizaciones positivas cumplen s (x) > 0 para x [c, d], mientras
que las negativas s (x) < 0 para x [c, d].
Conjuntos conexos
17
Observamos que si es una reparametrizacion de , entonces = .

E JERCICIO 5.4. Toda curva puede ser reparametrizada positivamente en una curva definida sobre
[0, 1], y en general en cualquier intervalo compacto, por medio de un cambio de variable lineal.
5.18 (Curva opuesta). Si : [0, 1] X es una curva, la curva : [0, 1] X,
D EFINICI ON
definida por
()(t) = (1 t)
es una reparametrizacion negativa de , llamada la opuesta de .
5.19 (Yuxtaposicion de curvas). Sean : [0, 1] X, : [0, 1] X dos curvas sobre
D EFINICI ON
el espacio metrico (X, d), parametrizadas en el intervalo [0, 1], tales que (1) = (0). La yuxtaposicion
de y es la curva : [0, 1] X definida por

(2t),
0 6 t 6 21 ,
( )(t) =
(2t 1), 12 6 t 6 1.
E JERCICIO 5.5. Pruebe que, efectivamente, la funcion de la definicion anterior es una curva,
probando su continuidad. Ademas, ( ) = .

5.20 (Curva poligonal). Una curva poligonal en un espacio normado E, k k es una
D EFINICI ON
curva de la forma
[x1 , x2 ] [x2 , x3 ] [x3 , x4 ] [xn1 , xn ],
donde x1 , x2 , x3 , x4 , . . . , xn1 , xn son n puntos de E, la yuxtaposicion tomada en cualquier orden.
E JERCICIO
5.6. En efecto, si x1 , x2 , x3 , x4 E,

E espacio normado, entonces las curvas [x1 , x2 ]
[x2 , x3 ] [x3 , x4 ] y [x1 , x2 ] [x2 , x3 ] [x3 , x4 ] son reparametrizaciones positivas la una de la otra,
lo que prueba una especie de asociatividad de la yuxtaposicion que sera usada mas adelante.
4.
Conjuntos conexos
5.21. Sea (X, d) un espacio metrico. Decimos que Y X es conexo si, dados dos
D EFINICI ON
conjuntos abiertos relativos a Y , A Y y B Y tales que Y = A B y A B = , se tiene
forzosamente que A = o B = .
E JEMPLO 5.22. En R, los u nicos subconjuntos conexos son los intervalos.
5.23. Sean (X, dX ), (Y, dY ) espacios metricos, A X, f : A Y . Si f es
P ROPOSICI ON
continua y C A es conexo, entonces f (C) es conexo.
E JEMPLO 5.24. Los subconjuntos conexos de la recta R son los intervalos.
5.25. Un subconjunto C de un espacio metrico (X, d) es conexo por caminos si, dados
D EFINICI ON
x, y C cualesquiera, existe una curva : [a, b] C tal que (a) = x, (b) = y.
5.26. Si un subconjunto A de un espacio metrico (X, d) es conexo por caminos,
P ROPOSICI ON
entonces A es conexo.
. Supongamos primero que A es conexo por caminos, y por reduccion al absurdo,
D EMOSTRACI ON
que A no es conexo. Entonces A = U V con U y V abiertos, U V = y U 6= , V 6= .Escogemos
x U , y V y una curva : [a, b] A con (a) = x, (b) = y. Como = [a, b] U V ,
entonces
[a, b] = 1 (U ) 1 (V ).
Observamos entonces que 1 (U ) 1 (V ) = , 1 (U ) 6= pues a 1 (U ), 1 (V ) 6= pues
b 1 (U ), pero ademas 1 (U ) y 1 (V ) son abiertos relativos en [a, b]. Siendo el intervalo [a, b]
conexo, esto es una contradiccion. Por lo tanto A es conexo.

5.27 (Conjunto convexo). Un subconjunto C de un espacio vectorial E es convexo si,
D EFINICI ON
dados x, y C y [0, 1], se tiene que [x, y] C.
18
E JEMPLO 5.28. Si C es un subconjunto convexo de un espacio normado (E, k k), entonces C es

conexo por caminos. La curva definida en el ejemplo 5.16 cumple (0) = x, (1) = y.
En consecuencia, todo subconjunto convexo de un espacio normado E, en particular el espacio E
mismo, es un conjunto conexo.
5.29. Un subconjunto abierto C de Rn es conexo si y solo si es conexo por caminos
P ROPOSICI ON
poligonales, esto es, dos puntos cualesquiera de C estan unidos por un camino poligonal.
. Una de las afirmaciones acaba de ser probada, de modo que probaremos la
D EMOSTRACI ON
recproca. Sea A Rn . La relacion en A, denotada por x y y definida por x e y estan unidos por un
camino poligonal en A es una relacion de equivalencia. La reflexividad se sigue de que el camino constante x une el punto x consigo mismo, la simetra del hecho que si es un camino poligonal uniendo x
con y, entonces el camino opuesto une y con x. La transitividad se prueba observando que, si es
un camino poligonal uniendo x e y, y un camino poligonal uniendo y y z, entonces la yuxtaposicion
es un camino poligonal uniendo x y z.
Fijado x0 A, A abierto conexo, consideramos el conjunto
A0 = {y A : y x0 }.
Veamos que A0 es abierto: en efecto, dado y A0 , siendo y A, A abierto, existe r > 0 tal que
D(y, r) A. Dado z D(y, r), siendo D(y, r) un conjunto convexo, z y (esto mediante el segmento
[z, y]). Pero ademas y x0 por definicion, de modo que z x0 . Esto prueba que D(y, r) A0 .
De manera completamente analoga se prueba que el complemento de A0 , el conjunto A \ A0 =
{y A : y 6 x0 } es abierto. Siendo A = A0 (A \ A0 ), union de dos abiertos disjuntos, y conexo,
forzosamente A \ A0 y A0 = A.

E JERCICIO 5.7. Dado un conjunto A X, donde (X, d) es un espacio metrico, y x A, pruebe
que existe un subconjunto Cx A conexo tal que
1. x Cx ;
2. si D A es conexo y x D, entonces D Cx .
Tal conjunto Cx es llamado componente conexa del conjunto A.

E JERCICIO 5.8. Todo subconjunto abierto de Rn es escribe como union numerable de abiertos
conexos, disjuntos dos a dos (las componentes conexas del abierto).
5.
Sucesiones de funciones
5.30 (Convergencia puntual). Sea {fn }n>1 una sucesion de funciones de X en Y ,

D EFINICI ON
donde (Y, d) es un espacio metrico. Decimos que la sucesion {fn }n>1 converge puntualmente a la
funcion f : X Y si, para cada x X
f (x) = lm fn (x).
n
5.31 (Convergencia uniforme). Con las notaciones de la definicion 5.30, decimos que
D EFINICI ON
la sucesion {fn }n>1 converge uniformemente a la funcion f : X Y si, para cada > 0, existe n0 N
tal que, para todo n > n0 y x X

d fn (x), f (x) < .
5.32 (Convergencia uniforme en compactos). Con las notaciones de la definicion 5.30,

D EFINICI ON
decimos que la sucesion {fn }n>1 converge uniformemente
en compactos
a la funcion f : X Y si,
para cada K X compacto, la sucesion de funciones fn |K : K Y n>1 converge uniformemente
a la funcion f |K : K Y .
5.33. Sean (X, dX ) e (Y, dY ) espacios metricos, y {fn }n>1 C(X) que converge
P ROPOSICI ON
uniformemente a una funcion f : X Y . Entonces, f C(X).
Familias de funciones
19
E JERCICIO 5.9. Sea {fn }n>1 una sucesion de funciones continuas fn : [a, b] R, n > 1, donde
[a, b] es un intervalo compacto de R, que convergen uniformemente a una funcion f : [a, b] R.
Entonces, f es continua (por lo anterior) y
Z b

Z b

fn (x)dx 6 sup f (x) fn (x) (b a).
f (x)dx

a
x[a,b]
Como el u ltimo termino converge a 0 cuando n , concluimos que

Z b
Z b
fn (x)dx.
f (x)dx = lm
n a
Usaremos un hecho similar mas adelante.

T EOREMA 5.34 (Criterio M de Weierstrass). Sea {fn }n>1 una sucesion de funciones de un conjunto
A en un espacio de Banach (Y, k k). Si {an }n>1 R es una sucesion tal que para un cierto n0 N,
se cumple que

fn (z) 6 an para n > n0 ,
P
P
y la serie
|an | es convergente, entonces la serie
fn (z) converge absoluta y uniformemente a una
funcion f : A Y .
6.
Familias de funciones
5.35. Sea F {f : X C}, donde (X, d) es un espacio metrico.

D EFINICI ON
I ) Decimos que F es equicontinua si para cada > 0, existe > 0 tal que

para cada f F y x, y X, d(x, y) < implica f (x) f (y) < .
II )
III )
En particular, cada f F es uniformemente continua.

Decimos que F esta acotada puntualmente si para x X, existe M = M (x) R tal que

para cada f F, f (x) 6 M (x).
Decimos que F esta acotada uniformemente en X si existe M R tal que

para cada x X y f F, f (x) 6 M.
T EOREMA 5.36 (Arzela-Ascoli). Supongamos que F es una familia equicontinua, puntualmente

acotada de funciones complejas en un espacio metrico X que contiene en un subconjunto denso numerable. Entonces, toda sucesion {fn }n>1 F posee una subsucesion uniformemente convergente en
subconjuntos compactos de X.
. Escribimos E = {xn }n>1 para indicar el subconjunto denso, numerable de X.
D EMOSTRACI ON
Sea S0 = N. Supongamos k > 1 y que un subconjunto infinito Sk1 S0 ha sido previamente elegido,
tal que n
lm fn (xj ) converge para todo 1 6 j 6 k 1 (en el caso k = 1 no exigimos esto). Como
nSk1

fn (xk ) : n Sk1 es acotada, esto es, para cada n > 1, fn (xk ) 6 M (xk ) (observe que cada
M = M (xk ) depende de k), entonces posee una subsucesion convergente. Extraemos
entonces esta

sucesion Sk Sk1 , de modo que n
lm fn (xk ) existe. Siendo cada sucesion fn (xj ) : n Sk
nSk

lm fn (xj ) converge para cada 1 6 j 6 k.
fn (xj ) : n Sk1 , 1 6 j 6 k 1, tendremos que n
nSk
El procedimiento inductivo anterior genera una sucesion de conjuntos
N = S0 S1 S2 Sn1 Sn . . .
tal que n
lm fn (xj ) existe para todo 1 6 j 6 k.
nSk
Escogemos ahora r1 S1 , r2 S2 con r2 > r1 , y prosiguiendo, rk Sk con rk > rk1 , y

escribimos S = {r1 , r2 , . . . , rk , . . . }. Para cada k > 1, hay a lo mas k 1 terminos de S que no estan
20
en Sk (pues rk Sk para j > k), a saber rj , 1 6 j 6 k 1. Por lo tanto, para cada k > 1 lm frj (xk )
j
converge. Esto prueba que para cada x E, n

lm fn (x) existe.
nS
Sea K compacto y > 0, por equicontinuidad

de {fn } F, existe > 0 tal que, para cada n > 1
y p, q X, d(p, q) < implica fn (p) fn (q) < . Siendo K compacto y teniendo un cubrimiento
[
por abiertos K
D(x, ), existe un subcubrimiento finito
xX
(5.1)
m
[
D(xi , /2).
i=1
Como E es denso en X, para cada 1 6 i 6 m, existe pi E D(xi , /2) 6= . Como pi E, existe

lm fn (pi ), y por lo tanto es una sucesion de Cauchy, existiendo Ni N tal que si l, n S, l, n > Ni ,
n
nS

fl (pi )fn (pi ) < . Tomando N = m
ax Ni , tenemos que para todo 1 6 i 6 m y l, n S, l, m > N ,
16i6m

fl (pi ) fn (pi ) < .
Finalmente, dado x K, por (5.1) existe 1 6 i 6 n tal que x D(xi , /2), esto es d(x, xi ) < 2 .
Luego, si m, n > N , m, n S, entonces

fl (x) fn (x) 6 fl (x) fl (pi ) + fl (pi ) fn (pi ) + fn (pi ) fn (x) < 3.
(5.2)

Por lo tanto fn (x) nS es una sucesion de Cauchy en C, y converge a un valor
f (x) = n
lm fn (x).
nS
Haciendo l en (5.2), obtenemos que para todo x K, existe N N tal que, para n > N

f (x) fn (x) 6 3,
lo que prueba la convergencia uniforme de la sucesion {fn } en K.

Como punto final, observamos que la construccion de f (x) con x K no depende de K, y que
reuniendo los compactos {x} con x X, definimos una funcion f : X C con la propiedad de que
{fn }n>1 F converge uniformemente a f en compactos de X.
Parte 2
Analisis complejo
Captulo 6
Funciones holomorfas o analticas

1.
La derivada y sus propiedades basicas
6.1. Sea un subconjunto de C, f : C y z0 . La derivada de f en z0

D EFINICI ON
se define, si existe, por el lmite
f (z0 + h) f (z0 )
.
h0
h
f (z0 ) = lm
En este caso, se dice que f es derivable en z0 .
6.2. Sea C, f, g : C y z0 . Si f y g son derivables en z0 , entonces

P ROPOSICI ON
1. f + g es derivable en z0 y (f + g) (z0 ) = f (z0 ) + g (z0 );
2. f g es derivable en z0 y (f g) (z0 ) = f (z0 )g(z0 ) + f (z0 )g (z0 );
3. f + g es derivable en z0 y (f + g) (z0 )=f (z0 ) + g (z0 );
4. si g(z0 ) 6= 0, f /g es derivable en z0 y
f
g
(z0 ) =
f (z0 )g(z0 )f (z0 )g (z0 )

;
g(z0 )2
6.3. Sean , C, f : C, g : , z0 con g(z0 ) . Si g

P ROPOSICI ON
es derivable en z0 y f es derivable en g(z0 ), entonces f g : C es derivable en z0 y

(f g) (z0 ) = f g(z0 ) g (z0 ).
6.4. Si z0 , C y f : C es derivable en z0 , entonces f es continua

P ROPOSICI ON
en z0 .
E JERCICIO 6.1. Demuestre la proposiciones 6.2, 6.3 y 6.4.
E JEMPLO 6.5. Sea f : C C definida por f (z) = an z n + + a1 z + a0 , donde an , an1 ,
. . . , a1 , a0 son numeros complejos, n > 1 entero. Entonces f es derivable en todo punto z C, con
f (z) = nan z n1 + + a1 .
2.
Ecuaciones de Cauchy-Riemann
6.6. Dado C y una funcion f : C, definimos las partes real e imaginaria,

D EFINICI ON
respectivamente, como las funciones u, v : R (visto como subconjunto de R2 ) definidas por
u(x, y) = f (x + iy),
v(x, y) = f (x + iy),
para x + iy , x, y R. Escribimos, para estos valores de x e y

f (x + iy) = u(x, y) + i v(x, y).
E JERCICIO 6.2. Con las notaciones anteriores, dado z0 = x0 + iy0 (x0 , y0 R) y l C,
tenemos que
lm f (z) = l
zz0
si y solo si
lm
(x,y)(x0 ,y0 )
u(x, y) = l
y
23
lm
(x,y)(x0 ,y0 )
v(x, y) = l.
24
Funciones holomorfas o analticas
6.7. Sea un subconjunto abierto de C, f : C y z0 = x0 + iy0 ,

P ROPOSICI ON
donde x0 , y0 R. Sean u y v las partes real e imaginaria de la funcion f , respectivamente, funciones
continuamente diferenciables en (x0 , y0 ). Entonces, f es derivable en z0 si y solamente si se satisfacen
las ecuaciones de Cauchy-Riemann en z0 :
v
u
(x0 , y0 ) =
(x0 , y0 ) ;
x
y
v
u
(x0 , y0 ) = (x0 , y0 ).
x
y
. Supongamos que f es derivable en z0 . Entonces, existe el lmite

D EMOSTRACI ON

u(x, y) + iv(x, y) u(x0 , y0 ) + iv(x0 , y0 )
f (z0 ) =
lm
x + iy (x0 + iy0 )
(x,y)(x0 ,y0 )

u(x, y) u(x0 , y0 ) + i v(x, y) v(x0 , y0 )
=
lm
x x0 + i(y y0 )
(x,y)(x0 ,y0 )
Este lmite de dos variables puede desarrollarse de dos maneras:
I)
Si x x0 , y = y0 , entonces

u(x, y0 ) u(x0 , y0 ) + i v(x, y0 ) v(x0 , y0 )
f (z0 ) = lm
xx0
x x0
u
v
=
(x0 , y0 ) + i (x0 , y0 ).
x
x
II )
Considerando ahora x = x0 , y t0 , obtenemos

u(x0 , y) u(x0 , y0 ) + i v(x0 , y) v(x0 , y0 )
f (z0 ) = lm
yy0
i(y y0 )

v
1 u
(x0 , y0 ) + i (x0 , y0 )
=
i y
y
v
u
=
(x0 , y0 ) i (x0 , y0 ).
y
y
Igualando las expresiones obtenidas (el lmite es u nico), obtenemos las ecuaciones de CauchyRiemann.
Dejamos la prueba de la afirmacion recproca para el lector.

E JERCICIO 6.3. Complete la prueba de la proposicion 6.7 segun la siguiente pauta: las funciones
u y v son derivables, de lo que podemos desarrollar u(x, y) alrededor de (x0 , y0 ) en primer orden por
definicion, y luego v(x, y) del mismo modo. Las ecuaciones de Cauchy-Riemann permiten ensamblar
f (x + iy) = u(x, y) + iv(x, y) obteniendo

u
v
(x0 , y0 ) + i (x0 , y0 ) (z z0 ) + (x, y),
f (x + iy) = f (x0 + iy0 ) +
x
x
donde
lm
(x,y)(x0 ,y0 )
(x, y)
p
(x x0 )2 + (y y0 )2
= 0.
E JEMPLO 6.8. La funcion f : C C, definida por f (z) = |z|2 , es derivable solo en el punto z = 0.
En efecto, para esta funcion, las partes real e imaginaria u, v : R2 R son
u(x, y) = x2 + y 2 ,
v(x, y) = 0.
Luego, las ecuaciones de Cauchy-Riemann (verificar) dan 2x = 0, 2y = 0, lo que nos deja el punto
z = 0.
Funciones holomorfas
25
3.
Funciones holomorfas
6.9 (Funcion holomorfa). Sea un abierto no vaco de C. Decimos que una funcion
D EFINICI ON
es holomorfa en si f es derivable en todo punto de . El conjunto de funciones holomorfas se denota
por
H() = {f : C : f es holomorfa en }.
Si f H(C), decimos que f es una funcion entera.
. Para todo C, H() C().
O BSERVACI ON
6.10. El conjunto de funciones holomorfas en , H() es un anillo con respecto a
P ROPOSICI ON
las operaciones de suma y producto de funciones. En particular, si f, g H(), entonces f +g H(),
f g H().
Captulo 7
Series de potencias
En adelante, dado z0 C y r > 0, escribimos, como antes,

D(z0 , r) = z C; |z z0 | < r
el disco de centro en z0 y radio r > 0.

Las series de potencias nos proporcionan ejemplos no triviales de funciones holomorfas, despues de
los polinomios.
1.
Convergencia de las series de potencias
T EOREMA 7.1. Sea {an }n>0 C, y R definida por la formula de Hadamard 1

R1 = lm sup |an |1/n .
(7.3)
La serie de potencias
X
n>0
an (z z0 )n
converge absolutamente si |z z0 | < R, y diverge si |z z0 | > R. Ademas, la serie converge uniformemente para todo disco cerrado |z z0 | 6 r con r < R.
. Apelamos al criterio de la raz enesima (teorema 3.19). Calculamos
D EMOSTRACI ON
p
p
lm sup n |an (z z0 )n | = |z z0 | lm sup n |an | = |z z0 |R1 .
n
n
P
Luego, si |z z0 | < R, el anterior lmite es < 1, y la serie n>0 an (z z0 )n converge absolutamente.
Si en cambio |z z0 | > R, el mencionado lmite es > 1, y la serie diverge.
Si r < R y |z z0 | 6 r
p
lm sup n |an (z z0 )n | = |z z0 |R1 6 rR1 < 1.
n
Tomando q con
rR1
< q < 1 tenemos como en la prueba del teorema 3.19, que para n > n0

an (z z0 )n 6 q n .
P
Por el criterio M de Weierstrass (teorema 5.34), la serie n>0 an (z z0 )n converge absoluta y uniformemente en D(z0 , r).

2.
Holomorfa y continuidad
T EOREMA 7.2. Con las notaciones del teorema 7.1, la serie de potencias
X
an (z z0 )n
f (z) =
n=0
es continua para |z z0 | < R; ademas es diferenciable y
f (z) =
n=1
nan (z z0 )n1 ,
|z z0 | < R
1Si obtenemos R1 = 0, escribimos R = y interpretamos que a < para todo a R; si R1 = , escribimos
R=0
27
28
Series de potencias
z0
R
0
R
F IGURA 7.1. Ilustracion de la prueba del teorema 7.2
. La continuidad de f en cualquier disco D(z0 , r) con r < R esta asegurada por

D EMOSTRACI ON
la proposicion 5.33: se trata de la convergencia uniforme de polinomios (las sumas parciales de la serie)
en el compacto D(z0 , r). Como todo elemento de D(z0 , R) esta en algun D(z0 , r) para algun r < R,
obtenemos la continuidad de f en D(z0 , R).
Ahora vamos a probar la diferenciabilidad. Suponemos, sin perdida de generalidad, que z0 = 0. La
funcion f toma la forma
f (z) =
an z n .
n=0
Definimos la serie
g(z) =
nan z n1 ;
n=1
el radio de convergencia de esta serie es

p
p
lm sup n |nan | = lm sup n n n |an | = R1 .
n
Sea z0 D(0, R), y > 0 tal que D(z0 , ) D(0, R ) con R < R. Dado z D(z0 , ), calculemos,
para z 6= z0
(7.4)

X zn zn
f (z) f (z0 )
0
an
g(z0 ) =
nz0n1 ;
z z0
z z0
n=2
observe la desaparicion del termino para n = 1. Recordamos ahora que

n
z0n
= (z z0 )
n1
X
z0k z n1k ,
k=0
expresion que al ser derivada respecto de z0 (con z fijo), nos da

nz0n1
n1
X
k=0
z0k z n1k
+ (z z0 )
n1
X
kz0k1 z n1k .
k=1
Luego
n1
X
z n z0n
kz0k1 z n1k .
nz0n1 = (z z0 )
z z0
k=1
Holomorfa y continuidad
29
Introduciendo esta expresion en (7.4) obtendremos

n1
f (z) f (z )

X
X

0
|an |
k(R )k1 (R )n1k
g(z0 ) 6 |z z0 |

z z0
n=2
6 |z z0 |
n=2
|an |
k=1
n1
X
k=1
k(R )n2 6
|z z0 | X
|an |n(n 1)(R )n2 .
2
n=2
La serie al lado derecho converge pues

p
lm sup n |an n(n 1)(R )n2 | = R R1 < 1.
n
Haciendo z z0 , obtenemos
f (z0 ) = lm
zz0
como se buscaba.
E JEMPLO 7.3. La serie f (z) =
f (z) f (z0 )
= g(z0 ),
z z0
z n es convergente y tiene suma f (z) =
n=0
(R = 1 es su radio de convergencia).
E JEMPLO 7.4. La serie (z) =
X
zn
n=0
n!

1
para |z| < 1
1z
tiene radio de convergencia R = . Aplicando el lema
1
3.20, calculamos, para an = , n > 1
n!
1
an+1
= 0,
= lm
n n + 1
n an
lm
de donde en la formula de Hadamard R1 = 0. Esto muestra que R = .
E JERCICIO 7.1. Desarrolle z 7 (1 z)m , m > 1 en serie de potencias alrededor de z = 0.
E JERCICIO 7.2. Desarrolle z 7

la serie?
2z+3
z+1
en potencias de z 1. Cual es el radio de convergencia de
E JERCICIO 7.3. Encuentre el radio de convergencia de las series de potencias

X
X 2
X
X zn
X n!
,
n!z n ,
q n z n |q| < 1 ,
z .
np z n ,
n!
X
X
E JERCICIO 7.4. Si
an z n y
bn z n poseen radios de convergencia R1 y R2 , entonces el radio
X
de convergencia de
an bn z n es por lo menos R1 R2 .
P
E JERCICIO 7.5. SeaPS =
cn z n una serie de potencias de radio de convergencia igual a 1.
n
Suponemos que f (x) = 0 cn x admite un lmite l cuando x tiende hacia 1.
P
1. Podemos afirmar que la serie cn es convergente?
2. Que podemos decir si los cn son > 0?
3. a) Muestre que para todo x < 1 y todo entero n, se tiene que
n
n
X

X
1

sup |ck |.
ck f (x) 6 (1 x)
|kck | +

1 x k>n
k=0
k=0
P
b) Deducir que si lm ncn = 0, entonces la serie
cn es convergente y tiene por suma l
n
(teorema de Tauber).
E JERCICIO 7.6.
Sea (an ) una sucesion de numeros complejos que admiten un lmite l C.
30
Series de potencias
1. Cual es el radio de convergencia de la serie de potencias

2. Determine lm ex
x+
X
an
n=0
n!
X
an
n=0
n!
zn?
xn .
1. Muestre que funcion f definida por

1
f (z) =
1 z z2
es holomorfa en una vecindad del 0.
2. Descomponiendo f en elementos simples (fracciones parciales), determine sus coeficientes de
Taylor an en 0.
3. Utilizando la identidad (1 z z 2 )f (z) = 1, muestre que la sucesion (an ) verifica la relacion
de recurrencia lineal
an+2 = an+1 + an .
Deducir que los an son enteros positivos. Los an son llamados numeros de Fibonacci.
X
an n
x .
4. Determine lm
x+
n!
E JERCICIO 7.7.
n=0
Captulo 8
La funcion exponencial
1.
Definicion y propiedades
Se define exp : C C dada por la serie

exp(z) :=
X
zn
n=0
7.3.
n!
Se cumple: R = , de donde exp H(C) (la exponencial es una funcion entera), ver el ejemplo
Gran parte de las propiedades de la funcion exponencial provienen de la siguiente.
8.1 (Formula de adicion). Dados a, b C, se cumple
P ROPOSICI ON
exp(a) exp(b) = exp(a + b).
. Calculamos
D EMOSTRACI ON
exp(a + b) =
k=0
k
X
1 X i ki i
=
a b
k!
k
X
(a + b)k
k!
X
k
X
k=0 i=0
k=0
i=0
bi
aki
,
(k i)! i!
pues, para 0 6 i 6 k,

k
k!
.
=
(k i)!i!
i
Puesto que se cumplen las condiciones del teorema 3.23,
X
ak X bk
exp(a + b) =
= exp(a) exp(b).
k!
k!
k=0
k=0

Como consecuencia de la u ltima proposicion, y dado que exp(0) = 1, podemos probar que exp(mz) =
exp(z)m para todo m Z y z C. Esto nos sugiere usar una notacion de potencia para la funcion:
e exp(1),
a)
b)
c)
d)
e)
f)
ez = exp(z).
T EOREMA 8.2. Para la funcion exponencial se cumplen:

Para todo z C, ez 6= 0.
d z
e = ez , para todo z C.
La funcion exp es holomorfa en C y
dz
La restriccion de exp a la recta real x 7 ex , para x R es monotona creciente, ex cuando
x , ex 0 cuando x .
x ex es una suryeccion de R sobre el conjunto de numeros reales positivos (0, +).
Existe una constante tal que ei/2 = i y
z
Z
ez = 1 si y solo si
2i
En particular, la funcion exp es periodica de perodo 2i.

t 7 eit es una suryeccion de R sobre la circunferencia unitaria z C : |z| = 1}.
31
32
g) El rango de la funcion exponencial es C \ {0}.

. a) Para todo z C
D EMOSTRACI ON

exp(z) exp(z) = exp z + (z) = exp(0) = 1,
de donde exp(z) 6= 0.
b) En el crculo de convergencia C, por el teorema 7.2
X
k k1
exp (z) =
z
= exp(z).
k!
k=1
c) Como exp(0) = 1 y exp(x) 6= 0, para todo x R, entonces exp(x) > 0 para todo x R por
continuidad. Del tem anterior
exp (x) = exp(x) > 0,
de donde x 7 ex es monotona creciente en R.
Ademas, para x > 0, exp(x) > 1 + x, de donde lm exp(x) = +; y como exp(x) =
x
1
exp(x) , entonces lm exp(x) = 0.
x
d) Basta con utilizar el teorema del valor intermedio y el tem anterior.

e) Observamos que para todo z C, por continuidad de la conjugacion
exp(z) =
X
zn
k=0
n!
X
zn
k=0
n!
= exp(z).
Tomando z = it, t R, tenemos exp(it) = exp(it) y

exp(it)2 = exp(it) exp(it) = 1,

o simplemente exp(it) = 1 para todo t R.
Definimos las funciones sen, cos : R R mediante
sen(t) = eit ,
cos(t) = eit ,
de modo que eit = cos(t) + i sen(t) 1. Derivando respecto de t (tomando lmite en cada componente,
proposicion 6.2), tenemos
sen(t) + i cos(t) = ieit = cos (t) + i sen (t),
de donde
Por otro lado
cos (t) = sen(t),

exp(it) = 1 + it
de donde
y
cos(t) = 1
sen (t) = cos(t).

t3 t4
t2
i
2!
3! 4!
t2 t4 t6
+ +
2! 4! 6!
sen(t) = t
t3 t5
+
3! 5!
Siendo cos(2) una serie alternada

1
22 24
+
= ,
2!
4!
3
y como cos(0) = 1 y cos es una funcion continua, existe un primer numero t0 > 0 tal que cos(t0 ) =
0. Definimos = 2t0 , de donde cos(/2) = 0. Ademas
cos(2) < 1
sen2 (/2) = cos2 (/2) + sen2 (/2) = 1,

1esta formula es conocida como la formula de Euler
Sobre las funciones trigonometricas
33
de donde sen(/2) = 1. Como sen(0) = 0, sen (t) = cos(t) > 0 para t ]0, t0 [; concluimos que
sen(/2) = 1 y por lo tanto
ei 2 = i.
Se sigue que ei = i2 = 1, ei2 = (1)2 = 1 y para cada n Z, e2in = 1. En particular
exp(z + 2i) = exp(z) exp(2i) = exp(z)
Sea ahora z = x + iy, donde x, y R. Si ez = 1, entonces

ex = ex eiy = |ez | = 1,
de donde x = 0, puesto que e0 = 1 y x 7 ex , x R es inyectiva. Nos queda entonces resolver

eiy = 1.
y
y
Sea m = 2
; m Z y m 6 2
< m + 1. Definiendo y = y 2m, tendremos 0 6 y < 2.
Luego eiy = 1. Supongamos ahora que 0 < y < 2, y sea

y
Como 0 <
y
4
ei 4 = u + iv, donde u, v R.
< 2 , entonces u > 0, v > 0, de donde
eiy = (u + iv)4 = u4 6u2 v 2 + v 4 + 4iuv(u2 v 2 ).
De eiy = 1, obtenemos uv(u2 v 2 ) = 0 y luego u2 = v 2 . Pero u2 + v 2 = |ei 4 | = 1, lo que con lo
anterior, nos da u2 = v 2 = 21 . Por lo tanto eiy = 1, una evidente contradiccion. Esto prueba que
y = 0, y por lo tanto y = 2m, con m Z.
f) Sea w C con |w| = 1. Escribimos w = u + iv con u, v R.
Suponemos que u > 0, v > 0. Como u 6 1, por definicion de existe 0 6 t 6 2 tal que
cos(t) = u. Luego
sen2 (t) = 1 u2 = v 2
y como sen(t) > 0 para 0 6 t 6 2 , concluimos que sen(t) = v. Esto muestra que w = eit .
Si ahora suponemos que u > 0, v < 0, entonces u + iv = i(v + iu) y, por lo anterior,
v + iu = eit para algun t R. De ah u + iv = ei(t 2 ) . Los casos u < 0, v < 0 y u < 0, v > 0
se dejan como ejercicio al lector.
g) Dado z 6= 0, escribimos z = |z|w, donde |w| = 1. De los tems anteriores |w| = ex para algun
x R, y w = eiy para algun y R. Defininiendo q = x + iy, tendremos z = eq .

2.
Sobre las funciones trigonometricas
La prueba del teorema 8.2 nos lleva la siguiente definicion.

8.3 (Seno, coseno). Definimos las funciones complejas seno y coseno sen, cos : C
D EFINICI ON
C por
eiz + eiz
eiz eiz
, cos(z) =
sen(z) =
2i
2
Las funciones seno y coseno son funciones enteras con
sen (z) = cos(z),
cos (z) = sen(z)
para todo z C. Son funciones periodicas de periodo 2, y satisfacen la relacion

cos2 (z) + sen2 (z) = 1
para todo z C. Ademas, sen(z) = 0 si y solo si z = k, con k Z. Otras propiedades de estas

funciones complejas son similares a las de sus contrapartes reales.

E JERCICIO 8.1. Muestre que la funcion f :]0, +[ R, definida por f (x) = cos x , se extiende
a una funcion entera. Determine su expansion en serie de potencias en el origen.
34
3.
Representacion polar
8.4. Dado un numero z C , el numero A[z] =

D EFINICI ON
direccion unitaria de z.

z
, que cumple A[z] = 1, es la
|z|
Dado z C , escribimos por lo anterior z = |z|w, donde |w| = 1. Por el teorema 8.2 (f), w = ei
para algun R. Por la propiedad (e) del mismo teorema, podemos reemplazar por + 2k para
cualquier k Z.
8.5 (Representacion polar). La representacion de un numero complejo como
D EFINICI ON
z = rei ,
donde r > 0 es el modulo de z, y es el argumento de z, es llamada representacion polar del numero z.
Por la observacion anterior, siempre podemos elegir [0, 2[ en la representacion de un numero
complejo,
4.
Logaritmo complejo
Si restringimos el valor del argumento, podemos definir una funcion logaritmo sin ambiguedad.
Consideramos z = |z|ei la representacion polar de z 6= 0, con 0 6 < 2. Entonces z = eln |z|+i .
Restringimos la funcion hallada a un conjunto abierta, con el objeto de estudiar su holomorfia mas
adelante.
8.6 (Rama principal del logaritmo). Definimos la rama principal del logaritmo como
D EFINICI ON
la funcion log : C\] , 0] C que asigna, a cada numero complejo z C\] , 0], el numero
log z = ln |z| + i,
donde ln es la funcion logaritmo real, y es el u nico numero en ] , [ tal que z = |z|ei . Denotamos
arg z = el argumento principal de z.
De la definicion, se deducen rapidamente las siguientes propiedades:
I) para todo z C \ {0}, log(ez ) = z;
II ) para todo z C\] , 0], elog z = z;
III ) para todo z C\] , 0], arg z = log z;
IV ) la imagen de log es el abierto R] , [.
Captulo 9
Integracion sobre arcos

1.
Arcos
9.1 (Curva, arco). Una curva en C es una aplicacion continua : [, ] C, donde

D EFINICI ON
[, ] es un intervalo compacto de R. El rango de la curva se denota por

= [, ] .
Si () = () decimos que la curva es cerrada.

La curva : [, ] C se dice que es un arco si es continuamente diferenciable excepto quizas
en un numero finito de puntos ti [, ], donde existen las derivadas por la izquierda y la derecha.
E JEMPLO 9.2. Fijados z0 C, R > 0, el arco cerrado
: [0, 1] C
t 7 (t) = z0 + Re2it

tiene como imagen = D(z0 , R) = z C : |z z0 | = R . En ocasiones, confundiremos al
conjunto con la curva, siendo la anterior su parametrizacion natural (en sentido antihorario, alrededor de
z0 ).
E JEMPLO 9.3. Sean z1 = x1 + iy1 , z2 = x2 + iy2 numeros complejos, con xi , yi R, i = 1, 2,
x1 < y1 , x2 < y2 . El arco : [0, 1] C,
x1 + 4t(x2 x1 ) + y1 i,
0 6 t 6 14
x2 + y1 + (4t 1)(y2 y1 ) i, 14 6 t 6 12
(t) =
x1 + (4t 2)(x1 x2 ) + y1 i, 12 6 t 6 34
x1 + y2 + (4t 3)(y1 y2 ) i, 34 6 t 6 1
representa el borde del rectangulo [x1 , y1 ] [x2 , y2 ], recorrido en sentido antihorario con respecto a su
centro. Esta es una curva poligonal.
2.
D EFINICI ON
Integral a lo largo de un arco

9.4. Para una funcion g : [, ] C, g C [, ] , definimos la integral
Z
Z
Z

g(t) dt,
g(t) dt + i
g(t)dt =
a
donde las integrales del lado derecho son integrales de Riemann de funciones reales de variable real.
Si g es continua sobre [, ], salvo en un numero finito de puntos = t0 < t1 < t2 < . . . < tn =
que pueden o no incluir y , donde g posee lmites a izquierda y derecha, definimos
Z
n Z tk
X
g(t)dt.
g(t)dt =
k=1
tk1
9.5 (Integral a lo largo de un arco). Para un arco : [, ] C y f C( ),

D EFINICI ON
definimos la integral de f a lo largo de mediante
Z
Z

f (t) (t)dt
f (z)dz =
35
36
Definimos asmismo
f (z)|dz| =

f (t) | (t)|dt.
La definicion de integral a partir de la integral de Riemann en el caso real hace que se hereden
propiedades tales como la linealidad de la misma con respecto a la funcion f , fijada la curva ; es un
simple ejercicio para el lector probar esta linealidad. Estamos ahora interesados en otras propiedades.
Primero llevamos al caso diferenciable la definicion 5.17.
9.6 (Reparametrizacion regular). Una reparametrizacion regular (o simplemente reparametrizacion)
D EFINICI ON
de un arco : [a, b] C es un arco : [c, d] C de la forma = s, donde s : [c, d] [a, b] es
una funcion continuamente derivable, tal que s (x) 6= 0 para todo x [c, d].
La reparametrizacion es positiva si s (x) > 0 para todo x [c, d], negativa si s (x) < 0 para todo
x [c, d].
9.7. Se cumplen:
P ROPOSICI ON
I ) Si es un arco, f C( ) y es una reparametrizaci
on positiva de , entonces f C( ) y
Z
Z
f (z)dz.
f (z)dz =
II )

Si es un arco y f C( ), entonces f C () y
Z
Z
f (z)dz = f (z)dz.
III )
Si y son arcos,
f
f C ( ) y
C( )
Z
C( )
f (z)dz =
y los arcos admiten una yuxtaposicion , entonces

Z
f (z)dz +
f (z)dz.
9.8 (Longitud de arco). Para un arco : [, ] C, la longitud de arco de es

D EFINICI ON
Z
Z

(t)dt.
() = |dz| =
La siguiente proposicion, con toda su simplicidad, es la clave para muchas pruebas, y se utiliza con
tanta frecuencia que omitiremos referenciarla en lo que sigue.
9.9. Dados un arco : [, ] C y f C( ),
P ROPOSICI ON
Z
Z

f
(z)dz
6 |f (z)||dz|.

En particular

Z

ax f (z) ().
f (z)dz 6 m
z
. Sea I =
D EMOSTRACI ON
f (z)dz. Escribimos I = |I|ei para algun R. Entonces, por
propiedades de la integral de Riemann

Z

ei f (t) (t) dt
|I| = |I| = ei I =
Z
Z
Z

i

(t)dt = M (),
6
e f (t) (t)dt =
f (t) (t)dt 6 M

donde M = m
ax f (z).
z

Indice
de un arco cerrado
37
Indice
de un arco cerrado
3.
Un primer ejemplo no trivial de una integral que nos acompanara a lo largo del texto es el ndice
de un arco cerrado. El ndice tambien se conoce como la funcion numero de vueltas, aunque esto no
quedara completamente bien comprendido sino hasta haber probado el teorema 17.6.
9.10 (Indice). Dado un arco cerrado y z
D EFINICI ON
/ , definimos el ndice del arco con
respecto a z mediante
Z
d
1
.
(9.5)
ind (z) =
2i z
Definimos el ndice del arco como la funcion
ind : C \ C
dada por (9.5).
Si : [, ] C, (9.5) se escribe explcitamente como

Z
(t)
dt.
ind (z) =
(t) z
E JERCICIO 9.1. Muestre que para toda curva en C, el conjunto abierto C \ posee una u nica
componente conexa no acotada. Puede estar C \ conformado por un numero infinito de componentes
conexas?
a)
b)
c)
d)
T EOREMA 9.11. Para un arco en C, se cumplen las siguientes propiedades:

ind H(C \ ).
ind (C \ ) Z.
En cada componente conexa de C \ , ind toma un valor constante.
En la componente no acotada de C \ toma el valor 0.
. a) Efectuamos
D EMOSTRACI ON

Z
ind (z) ind (z0 )
1
d
1
1
1
1 1
=
d
z z0
2i ( z0 )2
2i z z0 z z0
( z0 )2
Z
d
z z0
.
=
2i ( z0 )2 ( z)
Sea d = d(z0 , ) > 0. Tomando z C \ tal que |z z0 | < d/2, y , tenemos

y luego
| z0 | > d
| z| > | z0 | |z0 z| > d/2,

|z z0 | 2
ind (z) ind (z0 )
d
1
6

3 ().

2
z z0
2i ( z0 )
2
d
Haciendo z z0 , tenemos
Z
1
d
ind (z0 ) =
.
2i ( z0 )2
Sea : [, ] C definida por

Z t
(t)
dt .
(t) exp
(t) z0
Entonces

() = exp 2i ind (z0 ) .
Luego, ind (z0 ) Z, si y solo si () = 1.
Derivando logartmicamente (justifique cuidadosamente)
(t)
(t)
=
(t)
(t) z0
38
para t [, ], salvo en un numero finito de puntos. Ademas, fuera de esos puntos

(t) (t) z0 (t)(t)
d
(t)
= 0.
=
2
dt (t) z0
(t) z0
Por lo tanto, t 7
(t)
es constante, de donde
(t) z0
()
()
=
.
() z0
() z0
Siendo cerrada, tenemos () = () y por lo tanto () = () = 1.

Sea n = ind (z0 ). Como ind H(C \ ) C(C \ ), podemos tomar r > 0 tal que
ind D(z0 , r) D(n, 1/2). Pero por el tem anterior ind D(z0 , r) Z, entonces f D(z0 , r)
D(n, 1/2) Z = {n}. Por lo tanto, ind (z) = n para todo z D(z0 , r). Esto muestra que ind es
localmente constante.
Un argumento mas directo nos da lo siguiente. Si C es la componente conexa de z0 en C \ , siendo
ind continua, ind (C) es un conjunto conexo. Pero como ind (C) Z, forzosamente ind (C) = {n}
para algun n Z.
Como es acotado (al ser compacto), podemos tomar R > 0 tal que D(0, R). Luego, para
|z| > R + () y ,
| z| > |z| || > |z| R > (),
de donde
Z
Z
Z d

|d|
|d|
1
1
1

ind (z) = 1
6
=
< 1.
6
2 z
2 | z|
2 ()
2
Como ind (z) Z, tenemos que ind (z) = 0 para |z| > R + (). Por el tem anterior, esto vale para
todo z en la componente conexa no acotada de C \ .

E JEMPLO 9.12. Fijados k Z, z0 C y R > 0, consideramos el arco cerrado : [0, 1] C
definido por
(t) = z0 + Re2ikt , t [0, 1].
Entonces

k, |z z0 | < R,
ind (z) =
0, |z z0 | > R.
De hecho, C \ esta conformado de las componentes conexas indicadas arriba
{z C : |z z0 | < R}
{z C : |z z0 | > R}.
Para z con |z z0 | > R, la componente conexa no acotada de C \ , tendremos ind (z) = 0 por el
teorema anterior. Ahora bien,
Z 1
Z 1
Z 1
(t)
Re2ikt 2ik
1
1
1
dt =
dt =
2ik dt = k,
ind (z0 ) =
2i 0 (t) z0
2i 0 (z0 + Re2it ) z0
2i 0
por lo que ind (z) = k en toda la componente conexa {z C : |z z0 | < R} que contiene z0 .
Captulo 10
Teora local de Cauchy

Consideramos el siguiente analogo del teorema fundamental del calculo en el plano.
T EOREMA 10.1 (Teorema local de Cauchy). Supongamos que F H() y F C(). Entonces
Z
F (z)dz = 0
para todo arco cerrado en .

. En efecto, si C [, ] , entonces podemos aplicar el teorema fundamental
D EMOSTRACI ON

del calculo a las componentes real e imaginaria de G (t), donde G : [, ] C, G(t) = F (t) ,
obteniendo
Z
Z
Z

G (t)dt
F (t) (t)dt =
F (z)dz =

= G() G() = F () F () = 0.
Si posee discontinuidades (que seran a lo mas finitas), procedemos a dividir [, ] y considerar el

procedimiento en cada subintervalo.

E JEMPLO 10.2. Para toda curva cerrada en C y n entero > 0,
Z
z n dz = 0.
zn
F (z)
En efecto,
=
n 6= 1, si 0
/ .
para F (z) =
1.
1
n+1 ,
n+1 z
F H(C). Lo mismo ocurre para n Z en general,
Teorema de Cauchy, caso convexo
T EOREMA 10.3 (Teorema de Cauchy para

un triangulo). Sea un triangulo contenido en , abierto
en C y p . Si f C() H \ {p} , entonces
Z
f (z)dz = 0
. Podramos haber reemplazado la condicion en el teorema por la condicion mas

O BSERVACI ON
simple que f H(). Sin embargo, necesitaremos de esta condicion tecnica en la prueba de la formula
de Cauchy, teorema 10.5.
. Sean a, b y c los vertices del triangulo ; de ser necesario escribiremos a,b,c
D EMOSTRACI ON
para explicitar la dependencia de los vertices.
a) Primer caso: p no pertenece a . Este es el caso mas representativo a desarrollar.
Sea (0) = , y supongamos que para algun k > 1, (k1) esta definido. Dividimos este
triangulo por los puntos medios de sus lados, construyendo, como en la figura 10.1, cuatro triangulos
i , i = 1, 2, 3, 4 identicos (salvo
traslaciones), semejantes al primero que cumplen
S4 rotaciones y(k1)
(k1)
;
a) j
, 1 6 j 6 4, j=1 j =
(k1)
b) (
) = 2 (j ), 1 6 j 6 4;
c) diam((k1) ) = 2 diam(j ), 1 6 j 6 4.
39
40
F IGURA 10.1. Subdivisiones en el caso (a) del teorema 10.3. Hemos separado los
triangulos que en realidad estan juntos, para hacer visiblemente notorios los lados adyacentes de los triangulos de la descomposicion, que se compensan al integrar
Ademas
Z
f (z)dz =
(k1)
4 Z
X
j=1
f (z)dz,
j
bien entendido que las integrales en los lados que aparecen dos veces en la figura, en sentidos opuestos, se anulan. Luego, existe 1 6 j0 6 4 tal que
Z

Z

;
f
(z)dz
6
4
f
(z)dz

(k1)
j0
definimos entonces (k) = j .

El procedimiento anterior nos lleva a construir una sucesion {(k) }k>0 de triangulos cerrados,
tales que
= (0) (1) . . . (k1) (k) . . .
(10.6)
y para k > 1
a) ((k1) ) = 2 ((k) );
(k1) ) = 2 diam((k) );
b) diam(
Z

Z

c)
f (z)dz 6 4
f (z)dz .
(k1)
(k)
Por (10.6) y el hecho que diam((k) ) = 2k diam() 0 cuando k , tenemos por el teorema
4.17, que existe z0 tal que
\
(k) = {z0 }.
k=0
Sea > 0 cualquiera, y tomemos, por diferenciabilidad de f en z0 , > 0 tal que

f (z) f (z0 ) f (z0 )(z z0 ) < |z z0 |
si |z z0 | < . Tomamos ademas n > 0 tal que diam((n) ) < /2; de este modo (n) D(z0 , ).
Entonces, agregando terminos nulos provenientes del teorema local de Cauchy (ejemplo 10.2, casos
n = 0, 1)
Z
Z

n

f (z)dz 6 4
f (z)dz

(n)
Z

n
64
f (z) f (z0 ) f (z0 )(z z0 ) dz
(n)
Z
n
|z z0 ||dz| 6 4n diam((n) )((n) )
64
n
(n)
n
=4 2
diam() 2n () 6 ()2 .
Teorema de Cauchy, caso convexo
41
Haciendo 0, obtenemos
f (z)dz = 0.
Observe que no necesitamos realmente que p

/ . Lo que ocurre es que no sabemos a que punto correspondera z0 , y lo que interesa es que z0 6= p, siendo p el u nico punto donde f no es necesariamente
derivable.
b) Segundo caso: p es uno de los vertices del triangulo. Suponemos p = a sin perdida de generalidad.
Escogemos a [b, c], b [a, c] y escribimos
Z
Z
Z
Z
= 0.
f (z)dz =
+
+
c,b,a
c,a ,b
b ,a ,p
Las integrales sobre los triangulos que no contienen p son iguales a cero, por el caso (a). En el
triangulo restante, usamos

Z

ax f () (b ,a ,p ).
f (z)dz 6 m
ax f () (b ,a ,p ) 6 m

b ,a ,p
b ,a ,p
Haciendo a p y b p, tendremos que (b ,a ,p ) 0 y por lo tanto

Z
f (z)dz 0.
b ,a ,p
c) Tercer caso: p no es uno de los vertices del triangulo, pero se encuentra sobre su frontera. Suponemos
en efecto que p [a, b].
Z
Z
Z
= 0,
+
f (z)dz =
c,b,p
siendo cada integral nula por el caso (b).

d) Cuarto caso: p es un punto interior del triangulo.
Z
Z
Z
+
f (z)dz =
c,b,p
p,a,c
b,a,p
= 0,
a,c,p
siendo nuevamente cada integral nula por el caso (b).

T EOREMA 10.4 (Teorema de Cauchy para un abierto convexo ). Sea un abierto convexo de
C
Z y f C() H \ {p} , p . Entonces existe F H() tal que f = F . En particular,
f (z)dz = 0 para todo arco cerrado en .
. Fijamos un elemento a y definimos F : C mediante

D EMOSTRACI ON
Z
f ()d.
F (z) =
[a,z]
Siendo convexo, [a, z] , de modo que F esta bien definida. Dados z0 , z con z 6= z0 , nuevamente por convexidad, el triangulo de vertices a, z0 , z esta contenido en , de donde, por el teorema de
Cauchy para un triangulo (teorema 10.3)
Z
f ()d = 0.
Pero ahora escribimos el borde del triangulo como yuxtaposicion = [a, z0 ] [z0 , z] ([a, z]), de
donde la u ltima ecuacion se escribe como
Z
f ()d F (z) = 0,
F (z0 ) +
[z0 ,z]
42
b
p
a
c
p = a b
(a)
(b)
p
c
(c)
(d)
F IGURA 10.2. Situaciones del punto p en el teorema 10.3

de donde
Z
F (z) F (z0 )
1
f ()d f (z0 )
f (z0 ) =
z z0
z z0 [z0 ,z]
Z

1
f () f (z0 ) d
=
z z0 [z0 ,z]
Por lo tanto

F (z) F (z0 )

1

m
ax f () f (z0 ) [z, z0 ]
f
(z
)
0 6

z z0
|z z0 | [z0,z]

= m
ax f () f (z0 )
[z0 ,z]
Haciendo z z0 , tenemos que [z0 , z] z0 , y usando la continuidad de f en z0 , concluimos que

F (z0 ) = f (z0 ). La u ltima afirmacion viene del teorema 10.1.

2
E JERCICIO 10.1. Muestre que para todo a C, la funcion t 7 e(t+a) es integrable sobre R, y
Z
Z
2
(t+a)2
et dt.
e
dt =
z 2
sobre la frontera de los sectores {Rei ; 0 6 6

E JERCICIO 10.2. Integrando z 7 e
R > 0, calcule las integrales de Fresnel
Z
Z
2
sin(x2 )dx.
cos(x )dx,
0
4 },
E JERCICIO 10.3. Sea f H(), y R un rectangulo contenido en , salvo por un numero finito de
puntos z1 , . . . zn interiores de R, en los cuales
lm (z zk )f (z) = 0,
zzk
1 6 k 6 n.
Representacion local de una funcion holomorfa
Entonces
43
f (z)dz = 0.
2.
Formula de Cauchy, caso convexo
T EOREMA 10.5 (Formula de Cauchy para un abierto convexo). Sea convexo abierto en C, un
arco cerrado en y f H(). Si z \ , entonces
Z
1
f ()
f (z) ind (z) =
d
2i z
. Consideramos la funcion g : C definida por
D EMOSTRACI ON
f (w) f (z)
, w 6= z,
g(w) =
wz
f (z),
w = z.

Aplicamos el teorema 10.4 a la funcion g, pues g H \ {z} C().
3.
Representacion local de una funcion holomorfa
T EOREMA 10.6. Sea abierto en C, y f H(). Entonces f se puede representar localmente por
una serie de potencias, de la siguiente manera: si z0 y para algun r > 0, D(z0 , r) ,
f (z) =
(10.7)
n=0
cn (z z0 )n ,
para todo z D(a; r),
donde los coeficientes cn estan dados por

Z
1
f ()
cn =
d,
2i D(z0 ,r) ( z0 )n+1
n > 0.
. Parametrizamos D(z0 , r) en sentido antihorario. Por la formula de Cauchy

D EMOSTRACI ON
(teorema 10.5), para z D(z0 , r)
Z
f ()
1
d.
f (z) =
2i D(z0 ,r) z
Para z D(z0 , r) y
y como
|zz0 |
|z0 |
|zz0 |
r
1
1
1
1
;
=
=
0
z
z0 (z z0 )
z0 1 zz
z0
< 1, la serie

X
1
z z0 k X (z z0 )k
1
=
=
z
z0
z0
( z0 )k+1
k=0
k=0
converge uniformemente para | z0 | = r, de donde

Z

X
1
f ()
f (z) =
(z z0 )k
2i D(z0 ,r) ( z0 )k+1
k=0
, r ).
para z D(z0
Por el teorema 7.1, la serie de f (z) converge absoluta y uniformemente para |z z0 | 6 r < r.
O BSERVACIONES . Si R el radio de convergencia de la serie dada por (10.7) y D(z0 , r) ,
entonces R > r. En particular,
1. Si = C (la funcion es entera), R = . Este es el caso de la funcion exp;
44
2. Si 6= C, entonces R = d(z0 , C \ ) es la distancia de z0 al complemento de . Por ejemplo,

1
en el caso de la funcion z 7 1z
, que tiene expansion en el origen
X
1
=
zn ,
1z
k=0
esto nos dice que el radio de convergencia de la serie a la derecha es igual a R = 1.

E JERCICIO 10.4. Una funcion u : A R, A R2 es armonica si u = 0, donde
u =
2u 2u
+ 2
x2
y
esta bien definido. Verifique que si f : C es holomorfa sobre , entonces sus partes real e
imaginaria u y v son funciones armonicas sobre .
4.
Derivando la formula de Cauchy
L EMA 10.7. Sea un arco en el abierto , f C( ) y k un entero > 1. Si definimos Hk :

C \ C mediante
Z
f ()
d,
(10.8)
Hk (z) =
(
z)k
entonces, para k > 1 y z C \
Hk (z) = k Hk+1 (z).
(10.9)
En pocas palabras, la derivacion con respecto a z puede realizarse bajo el smbolo integral.
. La prueba de este teorema guarda gran similitud con la de la parte (a) del teorema
D EMOSTRACI ON
9.11. Realizaremos esta prueba por induccion sobre k, con la siguiente hipotesis inductiva: para un cierto
k > 1, la formula (10.9) vale para una funcion Hk definida por (10.8) a partir de cualquier f C( ),
siendo fijo.
Sea k = 1. Escribimos, para z0 , z
/ , z 6= z0

Z
H1 (z) H1 (z0 )
1 1
1
1
H2 (z0 ) =
f ()d
z z0
z0
( z0 )2
z z0 z
Z
f ()d
.
= (z z0 )
2
( z0 ) ( z)
Sea d = d(z0 , ) > 0. Tomando z C \ tal que |z z0 | < d/2, y , tendremos
| z0 | > d
| z| > | z0 | |z0 z| > d/2,
y luego

H1 (z) H1 (z0 )
2

H2 (z0 ) 6 |z z0 | 3 m
ax f ()().

z z0
d
Haciendo z z0 , obtenemos H1 (z0 ) = H2 (z0 ).

Supongamos el resultado valido para un cierto k 1. Esto vale entonces tanto para Hk1 como para
la funcion Gk1 , donde Gk : C \ C se define por
Z
f ()
Gk (z) =
d,
k
( z) ( z0 )
y es una funcion del mismo tipo que Hk , obtenida cambiando f por 7 f ()/( z0 ), funcion tambien
continua en . Notamos que Gk (z0 ) = Hk+1 (z0 ).
Derivando la formula de Cauchy
45
Calculamos

1
1
1
Hk (z) Gk1 (z) =
f ()d
k1 z
z0
( z)
Z
f ()
= (z z0 )
d = (z z0 )Gk (z).
k
( z) ( z0 )
Z
Tomando como antes z C \ tal que |z z0 | < d/2, tendremos

k

Gk (z) 6 2 m
ax f ()().
k+1
d
Siendo Gk (z) acotada en una vecindad de z0 , haciendo z z0 en la identidad arriba,
lm Hk (z) = lm Gk1 (z) = Gk1 (z0 ) = Hk (z0 ),
zz0
zz0
dado que por hipotesis inductiva, Gk1 es continua en z0 . Esto muestra que Hk es continua en z0 ; lo
mismo valdra entonces para Gk en z0 .
Por u ltimo, escribimos
Hk (z) Hk (z0 ) = (z z0 )Gk (z) + Gk1 (z) Gk1 (z0 )
Hk (z) Hk (z0 )
Gk1 (z) Gk1 (z0 )
= Gk (z) +
;
z z0
z z0
haciendo z z0 , por la continuidad de Gk y hipotesis inductiva (10.9) aplicada a Gk1 en z0 , tenemos
Hk (z0 ) = Gk (z0 ) + (k 1) Gk1 (z0 ) = Gk (z0 ) + (k 1) Gk (z0 )
= k Gk (z0 ) = k Hk+1 (z0 ).
Esto prueba la hipotesis inductiva para k y nos permite concluir.
T EOREMA 10.8. Con las condiciones de la formula integral de Cauchy (teorema 10.5)
Z
k!
f ()
(k)
f (p) ind (p) =
d
2i ( p)k+1
para todo k > 0.
. Derivamos sucesivamente la formula de Cauchy a ambos lados usando el lema

D EMOSTRACI ON
anteriores y el hecho que ind (z) = 0 para todo z \ .

C OROLARIO 10.9. Si C es abierto y conexo, f H(), z0 y f (k)(z0 ) = 0, para todo
k > 0, entonces f (z) = 0, para todo z .
. Sea
D EMOSTRACI ON

A = z : f (k) (z) = 0 para todo k > 0 .
El conjunto A es cerrado en , al ser interseccion de los conjuntos Ak = {z : f (k) (z) = 0}, k > 0,
los que son a su vez cerrados en por la continuidad de cada funcion f (k) , k > 0.
Veamos que A es abierto. Dado z0 A, escogemos r > 0 tal que D(z0 , r) y
X
cn (z z0 )n
f (z) =
n=0
para todo z D(z0 , r), del teorema 10.6. Vemos entonces (procediendo a evaluar en z0 , luego derivando
f (n)
para todo n > 0, de donde, siendo z0 A,
y evaluando las derivadas sucesivamente) que cn =
n!
obtenemos cn = 0 para todo n > 0. Por lo tanto f (z) = 0 para todo z D(z0 , r). Pero esto basta para
probar que cada z D(z0 , r) esta en A, haciendo el desarrollo local de f en cada uno de estos puntos.
Por lo tanto D(z0 , r) A.
Ahora es union de sus abiertos relativos disjuntos A y \ A. Como es conexo y A 6= por
hipotesis del corolario, entonces = A; en particular f (z) = 0 para todo z .
46
C OROLARIO 10.10. Si C es abierto y conexo, f, g H(), z0 y f (k) (z0 ) = g(k) (z0 ),

para todo k > 0, entonces f (z) = g(z), para todo en z .
E JERCICIO 10.5. Pruebe el corolario 10.10.
E JERCICIO 10.6. Sea (z, t) una funcion continua de dos variables cuando z , C abierto
y conexo, y 6 t 6 . Supongamos ademas que (z, t) es analtica como funcion de z para cada
t fijo. Entonces
Z
(z, t)dt
F (z) =
es analtica en z y
(z, t)
dt.
z
Para esto, represente (z, t) como integral de Cauchy

Z
1
(, t)
(z, t) =
d
2i C z
y complete los detalles necesarios para obtener
Z
Z
d
1
F (z) =
.
(, t)dt
z
C 2i
Luego apele al lema 10.7.
F (z) =
E JERCICIO 10.7. Sea u una funcion holomorfa en C = C \ {0}. Demuestre que existe una funcion
entera f tal que para todo r > 0, se tiene que
Z
u()
f (z) =
d
D(0,r) z
en el disco D(0, r).
Captulo 11
Estructura de ceros de una funcion holomorfa

1.
Estructura de ceros
Ahora queremos estudiar el comportamiento de una funcion analtica en la vecindad de un cero.

T EOREMA 11.1. Sea una region (abierto y conexo), f H() y
Z(f ) = {a : f (a) = 0}
Entonces Z(f ) = o Z(f ) no tiene punto de acumulacion en .
En este u ltimo caso, para cada z0 Z(f ), existe un entero m = m(z0 ) > 1 tal que
f (z) = (z z0 )m g(z), para todo z
(11.10)
donde g H() y g(a) 6= 0. Ademas Z(f ) es a lo mas contable.

11.2. Dada f H() no identicamente nula y z0 Z(f ), el u nico entero m =
D EFINICI ON
m(z0 ) > 1 tal que se cumple (11.10) con las condiciones dadas sobre g en el teorema, es llamado
multiplicidad de z0 como cero de f .
DEL TEOREMA . Por el corolario 10.9, si existe z0 tal que, siendo r > 0 tal
D EMOSTRACI ON
que D(z0 , r) y la expansion en serie de potencias de f en z0
(11.11)
f (z) =
n=0
cn (z z0 )n ,
con cn =
f (n) (z0 )
para n > 0,
n!
se cumple que cn = 0 para todo n > 0, entonces f es identicamente nula. En este caso Z(f ) = .
Supongamos entonces, por el contrario, que para todo a , en la expansion (11.11), no todos los
cn , n > 0 son 0. Sea z0 Z(f ); tenemos f (z0 ) = c0 = 0. Entonces, existe un menor ndice m > 1 tal
que cm 6= 0. Esto implica la factorizacion
(11.12)
f (z) = (z z0 )
n=m
cn+m (z z0 )n ,
z D(z0 , r).
Por lo tanto, f (z) = (z z0 )m g(z), donde g : C

(z z0 )m , z 6= z0 ,
g(z) =
cma ,
z = z0 .
X

cn+m (z z0 )n para z
Evidentemente g H \ {z0 } , pero ademas, por (11.12) g(z) =
n=m
D(z0 , r). Por lo tanto g es derivable en z0 , g H(), y g(a) = cm 6= 0.

Siendo ademas g continua en z0 con g(z0 ) 6= 0, podemos escoger r > 0 tal que g(z) 6= 0 para
z D(z0 , r). Esto implica que Z(f ) D(z0 , r ) = {z0 }, y por lo tanto todo z0 Z(f ) es un punto
aislado de Z(f ).
Finalmente, para probar que Z(f ) es a lo mas numerable, consideremos una familia de subconjuntos
compactos {Kn }n>1 de con las propiedades del lema 4.24. Para cada n > 1, Z(f ) Kn es tambi
[ en
compacto, y no teniendo punto de acumulacion en , finito; la union de estos conjuntos es =
(
n>1
Kn ), una union numerable de conjuntos finitos.

47
48
Estructura de ceros de una funcion holomorfa
E JERCICIO 11.1. Pruebe que si f H(), a , entonces f posee un cero de multiplicidad m en

z0 si y solo si
f (z0 ) = f (z0 ) = f (z0 ) = = f (m1) (z0 ) = 0 y f (m) (z0 ) 6= 0.
C OROLARIO 11.3. Sean f, g H(), region y f (z) = g(z) para todo z D, donde D
posee un punto de acumulacion . Entonces f = g.
E JERCICIO 11.2. Demuestre el corolario 11.3.
E JEMPLO 11.4. La condicion de que en el teorema anterior, el punto de acumulacion de Z(f )
este en no puede confundirse. Consideramos f : U C, donde U = {z C : z > 0}, dada por

f (z) = sin
.
z
Entonces es facil verificar que Z(f ) = {1/k, k entero > 1}. Este conjunto tiene punto de acumulacion
0
/ U, lo que no se contradice con el hecho que f no es identicamente nula.
E JERCICIO 11.3. Sea f H(), abierto y conexo tal que R 6= . Si f es real sobre la recta
real (esto es f (x) R para x R), entonces, para todo z tal que z , se tiene que
f (z) = f (z).
Para esto
1. Sea 0 = {z | z }. Verifique que f H(0 ), donde f (z) = f (z).
2. Verifique ahora que f |A = fA donde A = R 0 es un conjunto con punto de
acumulacion. Concluya.
Captulo 12
Consecuencias del teorema de Cauchy

1.
El teorema de Liouville para funciones enteras
T EOREMA 12.1 (Liouville). Si f H(C) (entera) y f es acotada, entonces f es constante.

. Supongamos que existe M > 0 tal que f () 6 M para todo C. Escribimos
D EMOSTRACI ON
por el teorema 10.6 (aqu z0 = 0)
X
cn z n ,
f (z) =
n=0
para todo z C (el radio de convergencia de la serie es ), donde

Z
1
f ()
cn =
d,
2i D(0,r) n+1
para todo n > 0, y cn independiente de r > 0. Entonces, para n > 1
Z

M
1
M
1
M
M
1
|d| =
n+1 D(0, r) =
n+1 2r = n ,
|cn | 6
n+1
2 D(0,r) ||
2 r
2 r
r
independientemente de r > 0. Haciendo r , obtenemos cn = 0 para todo n > 1. Por lo tanto,

f (z) = c0 para todo z C, por lo que f es constante.

E JERCICIO 12.1. Sea f H(C) tal que lm f (z) = 0. Entonces, f (z) = 0 para todo z C.
|z|
E JERCICIO 12.2. Sea f una funcion entera. Supongamos que existen A, B R, k N tales que
|f (z)| < A + B|z|k
para todo z C. Pruebe que f es un polinomio.
E JERCICIO 12.3. Sea f una funcion entera tal que f (z) es acotada en C. Demuestre que f es
constante.
2.
El teorema fundamental del a lgebra
T EOREMA 12.2 (Teorema fundamental del a lgebra). Si P (z) =

existe z0 C tal que P (z0 ) = 0.
. Como lm
D EMOSTRACI ON
|z|
n
X
r=0

P (z)
|z|n
ar z r , n > 1, an 6= 0, entonces
= |an | =
6 0, entonces existe R > 0 tal que |P (z)| >
> |a2n | Rn para |z| > R.

Supongamos, por reduccion al absurdo, que Z(P ) = . Siendo
as, la funcion f = P1 cumple que

f H(C). Como f es continua, existe N > 0 tal que f (z) 6 N para |z| 6 R. Luego, para todo
zC
n

2 o
f (z) 6 m
.
ax N,
|an |Rn
Por el teorema de Liouville, f debe ser constante, de donde P tambien lo debe ser. Esta clara contradiccion implica que Z(P ) 6= .

|an |
n
2 |z|
49
50
Consecuencias del teorema de Cauchy
3.
El principio del modulo maximo
T EOREMA 12.3 (Principio del modulo maximo). Sea un abierto convexo, f H(), un arco
cerrado en y p \ . Si ind (p) 6= 0, entonces se cumple que

|f (p)| 6 m
axf (z)
z

y si se cumple f (p) = m
ax f (z), entonces f es constante sobre .
z
. Solo probaremos la desigualdad. Dado n > 1 entero, fijo pero arbitrario, la

D EMOSTRACI ON
formula de Cauchy (teorema 10.5) aplicada a f n nos da
n
Z
n
f ()
1
d.
f (p) ind (p) =
2i ( p)

Escribiendo d = d(p, ) > 0 y M = m
ax f (z),
z
n

f (p)n ind (p) 6 1 M ();
2 d
tomando raz n-esima en la u ltima desigualdad y haciendo n , obtenemos la desigualdad esperada.
E JERCICIO 12.4. Complete la prueba del principio del modulo maximo.

E JERCICIO 12.5.
Suponemos que es una region no acotada. Sea f : C continua sobre , holomorfa en , y tal
que
lm f (z) = 0.
|z|
Muestre que f es acotada y que

sup |f | = sup |f |.
E JERCICIO 12.6. Determine todas las funciones enteras f verificando

lm f (z) = +.
|z|
E JERCICIO 12.7. Denotamos por U el semiplano > 0. Sea f : U C continua sobre U

y holomorfa en U . Suponemos que f es acotada sobre U , y ademas, que existen [0, 1[ y una
constante C tales que

f (z) 6 Ce|z|
para todo z .
1. Sea tal que < < 1. Para > 0, definimos f : U C por f (z) = e(z+1) f (z).
Justificando la definicion de f , y muestre que lm|z| f (z) = 0.
2. Utilizando el tem y el ejercicio anterior, mueste que f es acotada sobre , y que
sup |f | = sup |f |
(principio de Phragmen-Lindelof).
E JERCICIO 12.8. Sea D = D(0, 1). Existe una funcion f H(), sin ceros en D, tal que

f (z) > 1 si |z| = 1
y f (0) = 12 ? Justifique.

E JERCICIO 12.9. Supongamos que h(z) es entera, h(0) = 3 + 4i, y h(z) 6 5 si |z| < 1. Cuanto
vale h (0)? Justifique.
Logaritmo y races holomorfas en un dominio convexo
4.
51
Logaritmo y races holomorfas en un dominio convexo
T EOREMA 12.4 (Logaritmo holomorfo). Sea abierto convexo, f H(), Z(f ) = . Entonces
existe g H() tal que
f = exp(g).
. En efecto, por las condiciones del teorema, tenemos que ff H(). Luego, por
D EMOSTRACI ON
f
en . Pero entonces
el teorema 10.4, existe F H() tal que F =
f

f exp(F ) = f exp(F ) f exp(F )F = exp(F )(f f F ) = 0,
de donde f exp(F ) es una funcion constante, digamos f exp(F ) = c, y claramente c 6= 0.

Escribiendo c = exp() para algun C, tendremos que f = exp(F + ) en .

T EOREMA 12.5 (Raz p-esima). Sea abierto convexo, f H(), Z(f ) = . Entonces, para todo
n N, existe gn H() tal que
(gn )n = f.
. Sea g H() la funcion del teorema anterior, exp(g) = f . Para n N, la

D EMOSTRACI ON
funcion gn : C C definida por gn (z) = exp(g(z)/n), satisface (gn )n = f en .
Captulo 13
El teorema de la aplicacion abierta

Vamos a mostrar que en el caso complejo
1.
Preliminares
E JEMPLO 13.1. Si f : R R, f (x) = x2 , entonces f (R) = [0, +[. Esto muestra que una
funcion derivable f , definida sobre R, no necesariamente lleva abiertos en abiertos.
L EMA 13.2. Sea f H(), abierto en C y sea g : C definida por
f (z) f (w)
, z 6= w,
(13.13)
g(z, w) =
zw
f (z),
z = w.
Entonces, g C( ).
. Evidentemente, g es continua en cualquier punto (z, w) con z 6= w.

D EMOSTRACI ON
Veamos la continuidad de g en un punto (z0 , z0 ) .
Como f H(), entonces

C(). Fijado > 0, tomamos r > 0 tal que D(z0 , r)
f H()

y para cada D(z0 , r), f () f (z0 ) < . Sea (z, w) D(a, r) D(a, r) . Como
D(a, r) es convexo, para cada t [0, 1], (t) = (1 t)z + tw D(a, r). Entonces
Z 1
Z 1

1
1
f (t) (t)dt =
f (w) f (z) .
f (t) dt =
wz 0
wz
0
Luego, si w 6= z
Z 1

f (w) f (z)
g(w, z) g(z0 , z0 ) =
f (t) f (z0 ) dt
f (z0 ) =
wz
0
de donde
Z 1

g(w, z) g(z0 , z0 ) 6
f (t) f (z0 )dt < .
0
Si en cambio w = z,
y tambien

f (t) dt = f (z) = g(z, z)

g(z, z) g(z0 , z0 ) 6
Esto prueba el resultado deseado.
Z 1

f (t) f (z0 )dt < .
0
L EMA 13.3. Sea f H(), a , r > 0, tal que D(a, r) . Si f no tiene ceros en el disco
D(a, r), entonces, para cada z D(a, r)

f (z) > mn f ().
D(a,r)
. Basta aplicar el principio del modulo maximo, teorema 12.3 a la funcion 1/f
D EMOSTRACI
ON

H D(a, r) , y observar que
1
1
=

.
m
ax

D(a,r) f ()
mn f ()
D(a,r)
53
54
El teorema de la aplicacion abierta
2.
El caso inyectivo
T EOREMA 13.4. Sea f H(), z0 y f (z0 ) 6= 0. Entonces contiene un entorno V de z0 tal

que:
1) f es inyectiva en V ;
2) W = f (V ) es abierto; y

3) si : W V con f (z) = z, entonces H(W ). Luego, f |V : V W tiene inversa
holomorfa.
. La funcion g : C definida por (13.13) es continua por el lema 13.2.
D EMOSTRACI ON
por continuidad de g en (z0 , z0 ), que para cada > 0, existe > 0 tal que, si
Fijando z0 , tenemos

(z1 , z2 ) (z0 , z0 ) < , entonces
f (z ) f (z )

1
2
f (z0 ) < .

z1 z2

f (z0 )
, existe un entorno abierto V de z0 tal que si z1 , z2 V con z1 6= z2 ,
En particular, para =
2
entonces

f (z0 ) f (z1 ) f (z2 )
6
,
2
z1 z2
o

f (z1 ) f (z2 ) > 1 f (z0 )|z1 z2 |.
2
Esto en particular implica (1)
Sea a V y r > 0 tal que D(a, r) V ; por lo anterior, para todo [, ]

f (a + rei ) f (a) > 1 f (z0 )r = 2c > 0.
2

Sea D f (a), c), esto es f (a) < c, entonces para todo [, ]

(a + rei ) > f (a) f (a + rei ) f (a) | > 2c c = c
Luego

mn (a + rei ) > c > (a) .
[,]
Por el lema 13.3, f debe poseer un cero en D(a, r), luego existe z D(a, r) tal que = f (z)
f D(a, r) f (V ). Luego D f (a), c f (V ), lo que muestra (2).
Fijemos ahora w0 W , y probemos que existe (w0 ). Como w0 W = f (V ), existe un u nico
z0 V tal que w0 = f (z0 ). Si w W y (w) = z V , tenemos que
z z0
(w) (w0 )
=
=
w w0
f (z) f (z0 )
f (z)f (z0 )
zz0
Haciendo z z0 , obtenemos por continuidad w w0 ; ademas z 6= z0 implica w 6= w0 . Esto nos da

1
,
(w0 ) =
f (z0 )
lo que muestra que H(W ), esto es (3).
3.

Caso general
13.5. Para un entero m > 1, definimos la potencia m-esima m : C C mediante

D EFINICI ON
m
m (z) = z .
Sabemos que si w 6= 0, entonces w = m (z) para m valores distintos de z. Explcitamente, si
2k
w = rei en forma polar (r > 0, R), entonces z = r 1/m ei(+ m ) , para k = 0, 1, . . . , m 1.
L EMA 13.6. Para todo m > 1, la aplicacion m es abierta.
Caso general
55
V
z0
f (z0 )
F IGURA 13.1. Ilustracion de los conjuntos en el teorema 13.4

. Si V es abierto y 0
D EMOSTRACI ON
/ V , entonces m (V ) es abierto por el teorema 13.4.
Si 0 V , escogemos r > 0 tal que D(0, r) V ; luego

m D(0, r) = D(0, r m ) m (V )
por la observacion anterior. Esto prueba la afirmacion.
. Claramente la composicion de dos aplicaciones abiertas es una aplicacion abierta,

O BSERVACI ON
por lo que, en particular m H() es abierta si H() con Z( ) = .
T EOREMA 13.7. Sea un abierto conexo y f H() no constante, z0 y w0 = f (z0 ) (f w0
tiene un cero en z0 ). Sea m el orden del cero de f w0 . Entonces, existe una vecindad V de z0 y
H(V ), tal que:
m
1. f (z) = w0 + (z) para todo z V ;
2. Z( ) V = y es invertible de V sobre el disco D(0, r).
Equivalentemene, f w0 = m (luego f sera abierta).
C OROLARIO 13.8. Si es un abierto conexo f H() no constante, entonces f es abierta.
DEL TEOREMA . Sea z0 , w0 = f (z0 ) y r > 0 tal que D(z0 , r ) ;

D EMOSTRACI ON
escribimos f (z) w0 = (z z0 )m g(z), donde m > 1 es entero, g H() y g(z0 ) 6= 0. Reduciendo
r de ser necesario, por continuidad,
aseguramos que g(z) 6= 0 para todo z D(z0 , r ). Por el teorema
12.5, existe h H D(z0 , r ) tal que g = hm ; ademas h(z0 ) 6= 0. Definiendo : D(z0 , r ) C,

(z) = (z z0 )h(z), tenemos que f (z) w0 = (z)m para todo z D(z0 , r ), donde (z0 ) y
(z0 ) 6= 0. Por el teorema 13.4 existe una vecindad V D(z0 , r ) de z0 que cumple las condiciones
buscadas, reduciendo (V ) = W de ser necesario.

C OROLARIO 13.9. Sea un abierto conexo no trivial. Si f H() es inyectiva, entonces Z(f ) =
y f 1 H(U ) con U = f ().
E JERCICIO 13.1. Demuestre el corolario 13.9.
E JEMPLO 13.10. La funcion exponencial
exp restringida a = R] , [, es una funcion

inyectiva, con exp = R] , [ = C\] , 0]. Concluimos del corolario anterior que su inversa,
la rama principal del logaritmo log de la definicion 8.6 es una funcion holomorfa en C\] , 0].
Captulo 14
Convergencia de una sucesion de funciones holomorfas

1.
Convergencia uniforme en compactos
La convergencia uniforme en compactos, dada en la definicion 5.32, es en el caso de las funciones holomorfas mas importante y esperable que la convergencia uniforme de funciones. La condicion
aparece de manera natural en el teorema de Arzela-Ascoli (teorema 5.36). Observamos el siguiente
ejemplo.
E JEMPLO 14.1. Sea fn : C C, fn (z) = nz , n > 1. Entonces fn H(C), y la sucesion {fn }n>1
converge puntualmente a la funcion identicamente nula, pero no uniformemente.
Un ejemplo tan simple como el anterior no sera simple de analizar de exigir convergencia uniforme.
Felizmente, podemos dividir un abierto cualquiera en compactos, gracias al lema 4.24; esto simplifica
el estudio y lo reduce a compactos.
Sea una curva en . Siendo un compacto, si {fn }n>1 converge a f uniformemente en compactos,
Z

Z

f
(z)dz
f
(z)dz
6 sup f () fn ()( ),

n

donde lm sup f () fn () = 0, de donde
n
f (z)dz = lm
fn (z)dz.
T EOREMA 14.2 (Morera). Sea f C(), abierto, tal que

Z
f (z)dz = 0, para todo triangulo .
Entonces f H().
. La prueba es esencialmente la misma que la del teorema 10.4, con la diferencia

D EMOSTRACI ON
de que la condicion que damos en este teorema es la que antes probabamos mediante el teorema 10.3.

2.
Holomorfa de una funcion lmite
T EOREMA 14.3. Sea {fn }n>1 H() una sucesion de funciones holomorfas en el abierto . Si
existe f : C tal que la sucesion {fn }n>1 converge uniformemente en compactos de , entonces
f H(), y {fn }n>1 converge a f uniformemente en compactos.
. Primero veamos que f C(). Sea z0 fijo pero arbitrario; tomamos r > 0
D EMOSTRACI ON
tal que el compacto K = D(z0 , r) . Como fn C K) para todo n > 1, y fn converge a f
uniformemente en K, entonces f C(K). En particular, f es continua en z0 .
Probemos ahora que f H(). Fijado un triangulo , tenemos, por el teorema de Cauchy
10.3 que
Z
fn (z)dz = 0
para n > 1. La convergencia uniforme de fn a f en implica entonces que

Z
f (z)dz = 0.
57
58
Convergencia de una sucesion de funciones holomorfas
Siendo un triangulo arbitrario en , el teorema de Morera 14.2 implica que f H().

Sea z0 y r > 0 tal que D(a, 2r) . Para z D(a, r) tenemos, por la formula de Cauchy
(teorema 10.8)
Z
f ()
1
d,
f (z) =
2i D(a,2r) ( z)2
y la misma formula reemplazando f por fn , n > 1. Observamos
que |z z0 | < r y | z0 | = 2r

implican | z| > r; luego esto junto con D(z0 , 2r) = 4r da

Z
f () fn ()

f
()
f
()
1
1

n
f (z) fn (z) =
m
ax
4r.
6

2 D(z0 ,2r) ( z)2
2 D(z0 ,2r)
r2
Haciendo n , obtenemos que fn converge a f uniformemente en D(z0 , r). Finalmente, dado

un compacto cualquiera K , podemos cubrir K con un numero finito de discos D(zi , r) con las
condiciones anteriores, de modo que fn converge uniformemente a f en cada disco D(zi , r), luego en
K (al estar contenido en una union finita de dichos conjuntos).
Captulo 15
Singularidades
1.
Singularidades removibles o evitables
15.1. Si z0 y f H( \ {z0 }), decimos que f tiene una singularidad aislada en

D EFINICI ON
z0 . Decimos que la singularidad es removible o evitable si existe g H() tal que g|\{z0 } = f .
E JEMPLO 15.2. La funcion f : C C definida por f (z) = sinz z , tiene una singularidad removible
en z = 0: puede ser redefinida poniendo f (0) = 1. En efecto, la funcion g : C C definida por la serie
(de radio de convergencia )
X
z 2n
g(z) =
(2n + 1)!
n=0
para z C, cumple g|C = f . La verificacion de estas afirmaciones se deja al lector.
E JEMPLO 15.3. La funci

on f : C C definida por f (z) = z1 no posee una singularidad removible

en z = 0, pues lm|z|0 f (z) = , de donde f no puede coincidir con una funcion continua (y tanto
menos holomorfa) en z = 0.

T EOREMA 15.4. Si f H \ {z0 } y f esta acotada en
D (z0 ; r) = {z C; 0 < |z z0 | < r}
para algun r > 0, entonces f tiene una singularidad removible en z0 .

. Definamos h : C mediante
D EMOSTRACI ON

(z z0 )2 f (z), z 6= z0
h(z) =
0,
z = z0 .

Entonces h H \ {z0 } , pero ademas es facil ver que
h(z0 ) = 0 = lm h(z)
zz0
y
h (z0 ) = lm
zz0
h(z)
= lm (z z0 )f (z) = 0,
z z0 zz0
de lo que concluimos que h H().

Luego h puede desarrollarse (teorema 10.6) en una serie de potencias en una vecindad de z0 , esto
es, dado r > 0 con D(z0 , r) , para z D(z0 , r)
h(z) =
X
k=0
Pero c0 = h(a) = 0, c1 =
h (a)
ck (z z0 )k .
= 0, de donde
h(z) = (z z0 )2
para todo z D(z0 , r).

Definiendo g : C mediante
g(z) =
X
k=0
ck+2 (z z0 )k
f (z), z 6= z0
c2 , z = z0 ,
59
60
Singularidades
tenemos que g H( \ {z0 }) tal como f , pero para z D(z0 , r)

g(z) =
X
k=0
ck+2 (z z0 )k ,
de modo que g es derivable en z0 . Concluimos que g H() y la singularidad de f en z0 es removible.

. El teorema anterior implica el siguiente hecho: si para algun p , abierto,
O BSERVACION
f H \ {p} C(), entonces f H(). Compare esto con la condicion tpica que hallamos en
el captulo 10.
E JEMPLO 15.5. Comparamos esto con el caso real. Sea f : R \ {0} R, f (x) = sin(1/x) para
x 6= 0; la funcion f es acotada, pero no se puede extender de manera continua a R. Pero observamos
tambien que al extender esta funcion al plano, F : C C, F (z) = sin(1/z), obtenemos una funcion
que no es acotada en ninguna vecindad del cero. En efecto,
x
x

x
sin(ix) = e e = e (1 e2x )
2i
2

cuando x +, de donde sin(i/x) cuando x 0.
2.
Clasificacion de las singularidades
T EOREMA 15.6. Si z0 y f H( \ {z0 }), entonces una y solo uno de los siguientes casos
debe ocurrir:
I ) f tiene una singularidad removible en z0 .
II ) Existe {c1 , , cm } C, n > 1, con cm 6= 0, tal que
f (z)
m
X
k=1
ck
(z z0 )k
tiene una singularidad removible en z0 .

III ) Si r > 0 y D(z0 ; r) , entonces
f (D (z0 ; r)) = C.
15.7 (Polo y singularidad esencial). Sea z0 y f H( \ {z0 }). Siguiendo las

D EFINICI ON
notaciones y casos del teorema 15.6:
a) en el caso (II ), se dice que f tiene un polo de orden m en z0 y c1 se denomina el residuo de f en z0
y se le denota por res(f ; z0 ), y
m
X
ck
(z z0 )k
k=1
es la parte principal de f en z0 .
En el caso particular m = 1, decimos que el polo es simple.
b) En el caso (III ), se dice que f tiene una singularidad esencial en z0 .
DEL TEOREMA . La condicion (III ) se escribe como sigue: para cada r > 0 y cada
D EMOSTRACI ON
w C, existe una sucesion {zn }n>1 D (z0 , r) tal que zn z0 y f (zn ) w.
Supongamos que no se cumple (III ), entonces existen > 0, r > 0 y w C tales que

(15.14)
0 < |z z0 | < r implica f (z) w > .
Sea h : \ {z0 } C definida por
1
.
f (z) w
Por (15.14), h esta acotada por 1/ en D (z0 , r). Por lo tanto, h posee una singularidad removible en z0
(teorema 15.4), de donde puede extenderse a h H().
h(z) =
Clasificacion de las singularidades
61
De ah en adelante se dan dos posibilidades. En el primer caso, h(z0 ) 6= 0. Esto implica que
1
es acotada en la vecindad D (z0 , r). Concluimos que f
(1/h)(z0 ) 6= 0, y luego f (z) = w +
h(z)
posee una singularidad evitable en z0 (nuevamente por el teorema 15.4), esto es, el caso (I ).
Puede ocurrir en otro caso que h(z0 ) = 0. Escribimos h(z) = (z z0 )m g(z), donde m > 1 es un
entero y g H() con g(z0 ) 6= 0 (teorema 11.1). Por (15.14) h no tiene ceros en D (z0 , r). Escribimos
nuevamente
1
f (z) = w +
,
(z z0 )m g(z)
para z D (z0 , r), donde 1/g no tiene ceros en D(z0 , r) (observando por separado z 6= z0 y z = z0 ),
y por lo tanto 1/g es holomorfa en D (z0 , r). Expandiendo 1/g en serie de potencias alrededor de z0
(teorema 10.6)
X
1
=
bk (z z0 )k
g(z)
k=0
para z D(a, r), con b0 = (1/g)(z0 ) 6= 0. De ah

f (z) = w +
X
1
bk (z z0 )k
(z z0 )m
k=0
m1
X
|k=0
X
bk
+
w
+
bk+m (z z0 )k .
(z z0 )mk
k=0
{z
} |
{z
}
(zz0 )k ,k<0
(zz0 )k ,k>0
En esta u ltima igualdad, obtenemos la parte principal de f en z0 tomando bk = cmk , k = 0, . . . , m 1;

aqu b0 = cm 6= 0 y vemos que la serie de potencias a la derecha tiene apenas una singularidad removible
en z0 . Esto nos da el caso (II ).

E JEMPLO 15.8. La funcion F del ejemplo 15.5 posee una singularidad esencial en z = 0. Desarrollando la serie de sen z e introduciendo en la serie 1/z en lugar de z, vemos que la expansion en 01 no
corresponde ni a la singularidad removible, ni al polo en la definicion 15.7, de modo que corresponde a
una singularidad esencial.
. Es curioso como podemos clasificar el tipo de singularidad en funcion solo del
O BSERVACI ON
comportamiento del modulo de la funcion alrededor de la singularidad:

a) si f (z) esta acotada cuando z a, la funcion posee una singularidad removible en a;
b) si f (z) cuando z a, la funcion posee un polo en a;
c) si f (z) aproxima cualquier valor real > 0 cuando z a (o simplemente no se da uno de los casos
anteriores), la funcion posee una singularidad esencial en a.
. En el caso de un polo de orden m en z = a
O BSERVACI ON
f (z) = g(z) +
m
X
k=0

donde g H D(a, r) , de donde
ck
,
(z a)m
lm (z a)m f (z) = cm 6= 0.
za
Luego z 7 (z a)m f (z) posee una singularidad removible en a, de donde podemos escribir
(15.15)
1a ver mas adelante, expansion de Laurent
f (z) =
g(z)
,
(z a)m
62
Singularidades

donde g H D(a, r) , y g(a) 6= 0. La afirmacion recproca tambien es cierta: una funcion que se
escribe como (15.15) posee un polo de orden m en a. Comparar esta expresion con (11.10) nos dice que
podemos ver un polo de una funcion como un cero de multiplicidad negativa.
E JEMPLO 15.9. Consideramos f : C \ {3} C definida por f (z) =
z2
. Escribiendo
z+3
9
z+3
para z =
6 3, vemos que f posee un polo simple en z = 3 con res(f ; 3) = 9.
f (z) = z 3 +
E JEMPLO 15.10. La funcion f : C \ {k : k Z} C, definida por

1
f (z) =
sin z
posee polos simples en cada punto z = k, k Z (verifique esta afirmacion).
E JEMPLO 15.11. Sean f, g H(), a Z(g). Escribimos
f (z) = (z a)m f1 (z),
g(z) = (z a)n g1 (z),
donde f1 , g1 H(), f1 (a) 6= 0, g1 (a) 6= 0. Sea f = hg . Entonces h H( \ {a}) y para z \ {a},

h(z) = h1 (z)(z a)mn , con h1 =
f1
H(), h1 (a) 6= 0.
g1
Entonces:
1. si m > n, h posee una singularidad removible en a.
a) si m = n, h se extiende a h H() (usamos la misma notacion para la extension) con
h(a) 6= 0;
b) si m > n, h se extiende a h H() con un cero de multiplicidad m n en a;
2. si m < n, h tiene un polo de orden n m en a.
E JERCICIO 15.1. Deduzca lo que ocurre en el ejemplo anterior
con el producto de dos funciones
con un polo comun. En particular, deduzca que si f H \ {a} con a , posee un polo de orden
m en a, y k > 1 entero, entonces f k posee un polo de orden mk en a.
E JERCICIO 15.2. Determinar las singularidades aisladas de las funciones siguientes y precisar su
naturaleza:
1. f (z) = sinz z ;

z
;
2. g(z) = z 211 cos z+1

1/z
3. h(z) = z e 1 .
E JERCICIO 15.3. Sea f una funcion entera no constante. Muestre que f (C) es denso en C.
Captulo 16
Teorema homologico de Cauchy

1.
n )
Cadenas, ciclos y sus integrales
16.1 (Cadena, ciclo). Sean 1 , , n arcos en el plano C; para toda f C(1

D EFINICI ON
definimos funcionales lineales
Z
i (f ) =
f (z)dz.
i
La suma
n Z
X
i=1
f (z)dz se define como
f (z)dz, donde es la suma formal de los arcos i
2+
+
n.
= 1 +
Estas sumas formales se denominan cadenas y si los i s son cerrados se denominan ciclos.
2+
+
n un ciclo.
16.2 (Suma de cadenas, ciclo opuesto). Sea = 1 +
D EFINICI ON
La cadena opuesta de la cadena es la cadena definida por
+(
= (1 )+(
2 )+
n ),
donde los i son los opuestos de los arcos i , i = 1, . . . , n. Observamos que () = .
+
m es otra cadena, definimos la suma de las cadenas +
2+
Por otro lado, si = 1 +
como la cadena
+
m.
2+
1 +
+
n +
2+
+ = 1 +
Observamos que ( + ) = . Denotamos ademas = + ().
Es trivial ver que la cadena opuesta de un ciclo es un ciclo, y la suma de dos ciclos es tambien un
ciclo.
16.3. Se cumplen:
P ROPOSICI ON
I)
Si es una cadena y f C( ), entonces

Z
Z
f (z)dz = f (z)dz.
II )
Si y son cadenas y f C( ), entonces

Z
Z
Z
f (z)dz.
f (z)dz +
f (z)dz =
+
2+
+
n es un ciclo, entonces
16.4 (Indice de un ciclo). Si = 1 +
D EFINICI ON
ind () =
n
X
indi ().
i=1
Con esta preparacion, ahora podemos generalizar el teorema de Cauchy para ciclos.
63
64
Teorema homologico de Cauchy
F IGURA 16.1. Ejemplos de ciclo y cadena. Tambien se puede ver el conjunto como
una sola cadena
2.
Teorema de Cauchy homologico
T EOREMA 16.5 (Teorema de Cauchy). Sea f H(), abierto en C y un ciclo en que

satisface
(16.16)
ind () = 0, para todo

/
entonces
1
2i
f (z) ind (z) =

y
f (w)
dw, para todo w \
wz
f (z)dz = 0. Ademas si 0 y 1 son ciclos en tales que
ind0 () = ind1 (), para todo

/
entonces
f (z)dz =
f (z)dz.
1
. Por el lema 13.2, la funcion g : C, definida por

D EMOSTRACI ON
f (w) f (z)
, w 6= z
g(z, w) =
w
f (z),
w=z
es continua en . Definimos h : C mediante

Z
1
h(z) =
g(z, w)dw.
2i
Como z \ , la formula de Cauchy equivale a probar que h(z) = 0.

Verifiquemos que h H(). Como g es continua, entonces es uniformemente en todo compacto
contenido en . Si z y zn , lm zn = z, entonces lm g(zn , w) = g(z, w) uniformemente
n
n
para w , de donde
Z
Z
1
1
g(zn , w)dw =
g(z, w)dw = h(z).
lm h(zn ) = lm
n
n 2i
2i
Esto muestra que h C().
Sea un triangulo, entonces
Z Z
Z

1
g(z, w)dz dw,
h(z)dz =
2i
intercambiando el orden de las integrales que aparecen. Ademas, g(, w) H() para cada w
fijo, pues la singularidad en z = w es removible, ver la observacion al teorema 15.4. Luego, para cada
Teorema de Cauchy homologico
65
1111111111
0000000000
0000000000
1111111111
0000000000
1111111111
0000000000
1111111111
0000000000
1111111111
0000000000
1111111111
0000000000
1111111111
0000000000
1111111111
0000000000
1111111111
11111111
00000000
00000000
11111111
00000000
11111111
00000000
11111111
00000000
11111111
00000000
11111111
00000000
11111111
cumple
no cumple
F IGURA 16.2. Ilustrando graficamente la condicion (16.16) del teorema de Cauchy

w
de donde
g(z, w)dw = 0,
h(z)dz = 0.
Por lo tanto, por

el teorema de Morera,
teorema 14.2 se sigue que h H().
Sea 1 = z C : ind (z) = 0 y h : 1 C definida por
Z
1
f (w)
h1 (z) =
dw.
2i w z
Si z 1 , entonces por definicion de 1 y la hipotesis del teorema sobre , h(z) = h1 (z). Por lo
tanto, existe una funcion H( 1 ) tal que | = h1 y |1 = h1 . Como para todo
/ , se
tiene que ind () = 0, entonces C \ 1 ; luego 1 = C y H(C).
Ademas, 1 contiene la componente no acotada de C \ , donde el ndice es cero; por lo tanto
lm (z) = lm h1 (z) = 0,
|z|
|z|
la u ltima igualdad como en la prueba del teorema 9.11 (d).

Por lo tanto, por el teorema de Liouville (teorema 12.1) concluimos que (z) = 0 para todo z C,
lo que prueba que h(z) = 0, para todo z C \ . Esto prueba la formula de Cauchy.
Sea a \ fijo pero arbitrario. Si ahora consideramos F (z) = (z a)f (z), entonces por lo
demostrado
Z
Z
F (w)
1
f (w)dw.
dw =
0 = F (a) ind (a) =
2i w a
Por u ltimo, si para todo

/ , se cumple que ind0 () = ind1 (), entonces, definiendo =
1 0 , tendremos que ind () = 0 para todo
/ y
Z
Z
Z
f (z)dz.
f (z)dz
f (z)dz =
Captulo 17
El teorema homotopico de Cauchy

1.
Homotopas
17.1. Sean 0 , 1 curvas cerradas en un espacio metrico (X, d), ambas parametrizadas
D EFINICI ON
por el intervalo I = [0, 1]. Diremos que 0 y 1 son X-homotopicas (o simplemente homotopicas) si
existe una aplicacion continua, llamada homotopa H : [0, 1] [0, 1] X tal que
I ) H(s, 0) = 0 (s), para todo s I;
II ) H(s, 1) = 1 (s), para todo s I;
III ) H(0, t) = H(1, t), para todo t I.
. Dada una homotopa H como dada arriba, para cada s [0, 1].
O BSERVACI ON
t (s) = H(s, t)
define una curva en X. Esta familia infinita de curvas representa las deformaciones sucesivas que sufre
la curva 0 para convertirse en 1 . Esto se ilustra en la figura 17.1.
E JERCICIO 17.1. La relacion de homotopa es una relacion de equivalencia en el conjunto de curvas
en X. Denotamos 0 1 para indicar que las curvas cerradas 0 y 1 son X-homotopicas.
17.2. Si 0 es X-homotopica a una aplicacion constante 1 , se dice que 0 es hoD EFINICI ON
motopicamente nula.
2.
Conjuntos simplemente conexos
17.3. Si X es conexo y toda curva cerrada en X es homotopicamente nula, entonces

D EFINICI ON
se dice que X es simplemente conexo.
T EOREMA 17.4. Si es un abierto convexo, entonces es simplemente conexo.
. Si 0 , 1 : [0, 1] son curvas cerradas, definimos H : [0, 1] [0, 1] por
D EMOSTRACI ON
H(s, t) = (1 t)0 (s) + t1 (s).
0
1/3
2/3
1
F IGURA 17.1. Deformaciones progresivas en la homotopa entre 0 y 1 . Los puntos

indicados en el grafico no pertenecen al dominio donde vive la homotopa
67
68
Evidentemente H es una aplicacion continua y, para todo s, t [0, 1], H(s, t) por convexidad. Las
condiciones (I )-(III ) de la definicion 17.1 son claramente satisfechas. Por lo tanto, dos curvas cerradas
cualesquiera en son homotopicas. En particular, toda curva cerrada 1 en un convexo es homotopa a
una curva constante 0 (s) = x, x .
E JERCICIO 17.2. En = C , si : [0, 1] C es una curva cerrada y n = ind (0) Z, entonces

es homotopica a n : [0, 1] C , definida por n (s) = e2ins , s [0, 1]. Grafique la situacion
y observe que se puede obtener el resultado llevando primero la curva al crculo unitario, haciendola
(s)
, s [0, 1], luego reparametrizando la curva .
homotopica a (s) = |(s)|
3.
Conservacion del ndice y sus consecuencias
L EMA 17.5. Si 0 y 1 son arcos cerrados parametrizados por I = [0, 1] y si C es tal que

1 (s) 0 (s) < 0 (s), para todo s [0, 1]
entonces
ind1 () = ind0 ().

. Vemos primero que
D EMOSTRACI ON
/ 0 1 , lo que es necesario para definir el ndice. Sea
1
=
.
0
Entonces, para todo t [0, 1]

0 (t) 1 (t)
1 (t) =

0 (t) < 1,

y en particular (t) > 1 1 (t) > 0. Luego,
0 {z C : z 6 0} C \ ,
es decir 0 pertenece a la componente conexa no acotada de C \ . Esto implica que ind (0) = 0.
Derivando logartmicamente , obtenemos
1
0
=
1 0
de donde, integrando sobre [0, 1], obtenemos

esto es ind1 () = ind0 ().
0 = ind (0) = ind1 () ind0 (),

T EOREMA 17.6. Si 0 y 1 son arcos cerrados -homotopicos en una region y si

/ , entonces
ind1 () = ind0 ().
C OROLARIO 17.7. Si es una region simplemente conexa y un ciclo en , entonces

/ .
DEL TEOREMA . Sabemos que existe una funcion H : [0, 1] [0, 1] con las
D EMOSTRACI ON
condiciones de la definicion 17.1.

En primer lugar, como H es continua y [0, 1] [0, 1] es compacto, entonces K = H [0, 1] [0, 1]
es compacto. Como ahora
/ K, d(, K) > 0, o mejor dicho d(, K) > 2 para algun > 0. Esto lo
podemos reescribir de la siguiente manera: existe > 0 tal que, si (s, t) [0, 1] [0, 1], entonces

H(s, t) > 4.
Por las mismas hipotesis anteriores, H es uniformemente continua en [0, 1] [0, 1], de donde pode1
mos hallar n N tal que, si |s s | + |t t | 6 (esta es la distancia de la suma en C), entonces
n

H(s, t) H(s , t ) < .
Conservacion del ndice y sus consecuencias
69
Definimos, para k = 0, . . . , n, las curvas

i k
i 1 k
k (s) = H ,
(ns + 1 i) + H
(i ns)
,
n n
n n
i1
i
para
6 s 6 , i = 1, . . . , n.
n
n
i
Cada k es un arco poligonal cerrado. En efecto, en cada punto s = , i = 1, . . . , n 1, k (s) se
n
evalua de dos maneras coincidentes como
i k
i
=H
,
k
,
n
n n
i h i h i i+1 i
segun s = i1
k (s) en ese
n n , n , que a su vez resultan los lmites a izquierda y derecha de
n
punto. Ademas
i 1 k
i k
nH
,
,
k (s) = n H
n n
n n
i1
i
para
< s < , i = 1, . . . , n. Por lo tanto es un arco, diferenciable en [0, 1], salvo posiblemente
n
n
i
en los puntos , i = 1, . . . , n 1, puntos donde es continuo y las derivadas laterales por la izquierda y
n
derecha existen.
i1
6 s 6 ni , i = 1, . . . , n
Ahora escribimos, para
n
k
k (s) H s,

n
k
k
i 1 k
i k
H s,
H s,
(ns + 1 i) + H
,
(i ns)
= H ,
n n
n
n n
n
de donde

k (s) H s, k

n

k
k

i 1 i 1 k
i k

ns i

H s,
H
s,
n
6 H
,
,
+
H
s

n n
n
n
n n
n
n

i
k
k
k
k
i
1
+ H
< 2,
6 H
H s,
H s,
,
,
n n
n
n n
n
debido a la continuidad uniforme de H. Por lo tanto, para todo s [0, 1],

k

(17.17)
k (s) H s, n < 2.
Tomando en particular k = 0 y k = n obtenemos respectivamente, para s [0, 1]

0 (s) 0 (s) < 2,
n (s) 1 (s) < 2.
(17.18)
De manera completamente analoga a la prueba de (17.17) probamos que para k = 1, . . . , n y s [0, 1]

k (s) k1 (s) < 2.
(17.19)
Pero al mismo tiempo, para s [0, 1] y k = 0, . . . , n

k k

k (s) > H s,
H s,
k (s) > 4 2 = 2.

n
n
Utilizamos estos hechos de manera ordenada para aplicar el lema 17.5, como sigue: para s [0, 1]

0 (s) > 2 > 0 (s) 0 (s),
de donde ind0 () = ind0 (),

k (s) > 2 > k (s) k1 (s),
70
2i
2i
H
2i
2i
F IGURA 17.2. Contornos del ejemplo 17.9. Observe que puede deformarse el contorno
del cuadrado R al crculo |z| = 2 sin tocar los puntos 1
de donde indk () = indk1 (), para k = 1, . . . , n, y

n (s) > 2 > n (s) 1 (s),
de donde finalmente indn () = ind1 (). Esta cadena de igualdades prueba el teorema.
El poder de este resultado se nota cuando se combina junto con el teorema de Cauchy, teorema 16.5.
Obtenemos directamente el siguiente corolario.
C OROLARIO 17.8. Sea C abierto y f H(). Si 0 y 1 son dos arcos cerrados, homotopicos
en , entonces
Z
Z
f (z)dz.
f (z)dz =
1
E JEMPLO 17.9. Queremos integrar la funcion f : C \ {1} C, definida por

f (z) =
z2
1
1
a lo largo del contorno del rectangulo R de vertices 2 2i, recorrido en sentido antihorario. De la
descomposicion en fracciones parciales de f , se calcula que
Z
f (z)dz = i indR (1) i indR (1).
R
Gracias al corolario 17.8, estas integrales se calculan facilmente, ya que el contorno es homotopico en
C \ {} al contorno |z| = 2, como se observa en la figura 17.2; esto requiere una verificacion rigurosa
que realizara el lector. De ah
Z
f (z)dz = i 1 i 1 = 0.
R
Este ejemplo ilustra en general como calcular el ndice de curva deformandola convenientemente.

iz
E JERCICIO 17.3. Integrando ez sobre la frontera de las semicoronas z > 0, 6 |z| 6 R ,
0 < < R, calcular la integral
Z
sin x
dx,
I=
x
0
luego de haber justificado su existencia.
Logaritmos, races y demas, caso simplemente conexo
4.
71
Logaritmos, races y demas, caso simplemente conexo
17.10. Si C abierto y simplemente conexo, entonces:

P ROPOSICI ON
I ) Para toda f H() y todo arco cerrado en ,
Z
f (z)dz = 0.
Toda f H() admite una primitiva holomorfa, esto es admite F H() tal que F = f .
Toda f : C holomorfa admite un logaritmo holomorfo, esto es h H() tal que exp(h) =
f.
IV ) Si f : C es holomorfa y k entero, k > 1, entonces existe g H() tal que g k = f .
II )
III )
. I ) Es una simple consecuencia del corolario 17.8, considerando que todo arco
D EMOSTRACI ON
cerrado es homotopico a un arco constante.
II ) Tomamos un punto z0 fijo pero arbitratio. Por la proposici
on 5.29, dado z cualquiera,
existe un camino poligonal z uniendo z0 y z. Definimos entonces
Z
f ()d.
F (z) =
z
Veamos que F esta bien definida. Si z es otro camino poligonal partiendo de z0 y finalizando en
z, entonces z + (z ) es un camino poligonal cerrado en , de donde por (I )
Z
Z
Z
f ()d = 0.
f ()d =
f ()d
Esto implica que
f ()d =
z +(z )
f ()d. Por lo tanto, F esta bien definida, al no depender del

z
camino poligonal que une z0 y z.

Sea z , y sea r > 0 tal que D(z, r) . Dado w , [z, w] D(z, r) por convexidad,
y luego, si z es un camino poligonal uniendo z0 y z, entonces z + [z, w] es un camino poligonal
uniendo z0 y w. Esto implica que
Z
Z
Z
f ()d.
f ()d +
f ()d =
F (w) =
[z,w]
z
z +[z,w]
Z
f ()d.
= F (z) +
[z,w]
Esta igualdad, como en la prueba del teorema 10.4, nos lleva a probar que F (z) = f (z).
Las pruebas de los tems (III ) y (IV ) son identicas a aquellas de sus contrapartes en el caso convexo,
los teoremas 12.4 y 12.5, ahora que se ha demostrado el tem (II ), necesario para sus pruebas.

E JEMPLO 17.11. Sea = C\] , 0]. Entonces es simplemente conexo y f (z) = z no posee
ceros en . Por la proposicion anterior, f posee un logaritmo holomorfo h; si ademas fijamos h(1) = 0,
obtenemos nada menos que h(z) = log z, la rama principal del logaritmo, definicion 8.6. Observe
el rol fundamental de la conexidad simple para definir este logaritmo: en general, podra definida un
logaritmo conveniente en cualquier subconjunto simplemente conexo de C , como por ejemplo, el plano
C desprovisto de cualquier semirecta que parte del origen. Intentar aumentar cualquier punto extra al
conjunto destruye la conexidad simple e imposibilita definir el logaritmo.
E JERCICIO 17.4. Sean a0 , . . . , aN C no todos nulos. Mostrar que si es simplemente conexo,
entonces, para toda funcion holomorfa f H(), la ecuacion diferencial
N
X
k=0
admite una solucion g H().
ak g(k) = f
Captulo 18
Serie de Laurent
1.
El resultado
T EOREMA 18.1 (Serie de Laurent). Consideremos f holomorfa en el anillo

= {z C : r < |z z0 | < R},
donde 0 6 r < R < , entonces existe una sucesion {an }nZ C tal que, para z
f (z) =
n=
donde
1
an =
2i
D(z0 ,)
an (z z0 )n ,
f ()
d
( z0 )n+1
para n Z, r < < R.
. Fijamos r1 , r2 con r < r1 < < r2 < R, y formamos el ciclo

D EMOSTRACI ON
= D(z0 , r2 ) D(z0 , r1 ).
Podemos verificar que satisface las condiciones del teorema 16.5: si |z z0 | < r, entonces ind (z) =
indD(z0 ,r2 ) indD(z0 ,r1 ) = 1 1 = 0, y si |z z0 | > R ind (z) = indD(z0 ,r2 ) indD(z0 ,r1 ) =
0 0 = 0. Para z con r1 < |z z0 | < r2
ind (z) = indD(z0 ,r2 ) indD(z0 ,r1 ) = 1 0 = 1,
y la formula de Cauchy nos da
Z
Z
Z
1
f ()
f ()
f ()
1
1
f (z) =
d =
d
d
2i z
2i D(z0 ,r2 ) z
2i D(z0 ,r2 ) z
A partir de ah, el procedimiento de prueba del teorema 10.6 nos da
Z
X
f ()
1
d =
an (z z0 )n
2i D(z0 ,r2 ) z
k=0
z0
R
F IGURA 18.1. Anillo r < |z z0 | < R y ciclo en la prueba del teorema 18.1
73
74
Serie de Laurent
donde
1
an =
2i
D(z0 ,r2 )
y
1
2i
D(z0 ,r1 )
f ()
d, para n > 0,
( z0 )n+1
1
X
f ()
an (z z0 )n
d =
z
k=
donde
Z
1
f ()
d, para n 6 1.
2i D(z0 ,r1 ) ( z0 )n+1
Finamente, el teorema de Cauchy homotopico (corolario 17.8) nos permite desplazar las integrales que
dan an , n Z de r1 y r2 a , por homotopas.

an =
C OROLARIO 18.2. Si r < R1 < R2 < R la serie de Laurent converge uniformemente en el disco
cerrado
{z/R2 6 |z z0 | 6 R1 }.
As, la serie de Laurent converge uniformemente en compactos de .
E JERCICIO 18.1. Complete las pruebas del teorema y corolario anteriores.
. Como en el caso de los polos, sea = {z C/0 < |z z0 | < R}. Si an 6= 0
O BSERVACI ON
para infinitos ns, entonces f tiene una singularidad esencial en z0 y a1 se denomina el residuo de f
en z0 y se escribe
res(f ; z0 ) = a1 .
La serie
X
an
(z z0 )n
n=1
se denomina la parte principal de f en z0 . Esto completa la clasificacion de singularidades en funcion

de la serie de Laurent de f :
a) Si an = 0 para todo n < 0, f posee una singularidad removible en z0 ;
b) si an = 0 para todo n < m para algun m < 0, pero am 6= 0, f posee un polo de orden N en z0 ;
c) si an 6= 0 para infinitos valores de n < 0, f posee una singularidad esencial en z0 .
Captulo 19
Variacion de argumento
1.
Determinacion y variacion continua del logaritmo y del argumento
19.1 (Determinacion continua). Si : [a, b] C es un arco, denominamos determiD EFINICI ON

nacion continua del logaritmo a lo largo de a una aplicacion continua l : [a, b] C tal que
el(t) = (t), para todo t [a, b].
Definimos asmismo la determinacion continua del argumento a lo largo de como una aplicacion
continua : [a, b] C tal que
(t)
, para todo t [a, b].
ei(t) =
(t)
E JEMPLO 19.2. Sea : [0, 2] C \ {0}, dada por (t) = e2it , t [0, 2]. Vemos que l(t) = 2it
es una determinacion continua del logaritmo a lo largo de (t), y (t) = 2t es una variacion continua
del argumento a lo largo de .
19.3. Con las notaciones de la definicion 19.1, la variacion de argumento a lo largo
D EFINICI ON
de es el numero
arg = (b) (a).
E JEMPLO 19.4. Si : [a, b] C\] , 0], podemos dar una variacion continua del logaritmo a lo
largo de mediante
l(t) = log (t), t [a, b].
Ademas, tenemos una variacion continua del argumento a lo largo de , dada por
(t) = arg (t) = log (t),
t [a, b].
En este caso, la variacion de argumento a lo largo de , un arco cerrado, es igual a 0.

En general, esto ocurre para cualquier arco cerrado contenido en un subconjunto abierto simplemente conexo de C \ {0} (caractersticas que aseguran que en un tal subconjunto se admita un logaritmo
holomorfo).
Si buscamos una variacion de argumento no trivial, debemos buscar una curva no homotopicamente
nula en C , tal como : [0, 1] C, (t) = e2it , para la cual arg = 2.
19.5. Sea : [a, b] C un arco.

P ROPOSICI ON
1. Si l : [a, b] C es una determinacion continua del logaritmo a lo largo de : [a, b] C,
entonces
(t) = l(t), t [a, b]
es una variacion continua del argumento a lo largo de .
2. Recprocamente, si : [a, b] R es una determinacion continua del argumento a lo largo de
, entonces

l(t) = ln(t) + i(t)
es una determinacion continua del logaritmo a lo largo de .
. Por la conexidad de I = [a, b], dos determinaciones continuas del logaritmo a lo

O BSERVACI ON
largo de difieren en un multiplo entero de 2i.
Del mismo modo, dos variaciones continuas del argumento a lo largo de una curva difieren en un
multiplo de 2.
75
76
Variacion de argumento
2.
Calculo de la variacion
Fijado z0 C ,r > 0 tal que D(z0 , r) C , podemos hallar un logaritmo holomorfo local, esto
es, F H D(z0 , r) tal que
eF (z) = z, para todo z D(z0 , r).
En particular, si : [a, b] C , t0 [a, b] fijo, podemos hallar > 0 tal que si t0 ]t0 , t0 +[[a, b]
(z0 = (t0 )),
eF ((t)) = (t).

Luego l(t) = F (t) es una determinacion del logaritmo a lo largo de |]t0 ,t0 +[ . Observe luego
que basta con pegar un numero finito de estas funciones (siendo [a, b] compacto, podemos obtener un
cubrimiento finito de intervalos ]t0 , t0 + [ con t0 [0, 1] y > 0 como se busca) para obtener una
determinacion del logaritmo a lo largo de .
Si es un arco, siendo F holomorfa, l sera tambien un arco, derivable en los puntos donde es
derivable pues

l (t) = F (t) (t).
Si l1 es cualquier determinacion continua del logaritmo a lo largo de ,
el1 (t) = (t) = eF ((t)) ,
t ]t0 , t0 + [
de donde el1 (t)F ((t)) = 1 y por continuidad

l1 (t) = F (t) = 2ki,
k Z.
Por lo tanto, l1 es derivable, salvo en un numero finito de puntos, tal como .

Como el(t) = (t), entonces fuera de los puntos antes mencionados
el(t) l (t) = (t),
o (t)l (t) = (t), de donde
l (t) =
(t)
.
(t)
Esto nos da el siguiente resultado.

19.6. Si : [a, b] C es un arco y l : [a, b] C una determinacion continua del
P ROPOSICI ON
logaritmo a lo largo de , entonces
Z
dz
.
l(b) l(a) =
z
En particular, si : [a, b] C es una determinacion continua del argumento a lo largo de , entonces
Z dz
(b) (a) =
,
z
donde es una determinacion continua del argumento a lo largo de . Si ademas es un arco cerrado,
entonces
Z

dz
1
1
=
(b) (a) .
ind (0) =
2i z
2
19.7. Sea : [a, b] C un arco. Si V es la variacion de argumento a lo largo de
P ROPOSICI ON
, entonces
Z
(b)
dz

= ln
+ iV.
(a)
z
Por u ltimo, notamos que siempre podemos hallar una determinacion continua del logaritmo en
formula cerrada.
Calculo de la variacion
77
19.8. Si : [a, b] C es un arco y w es un logaritmo de (a) (esto es, un numero

P ROPOSICI ON
complejo tal que ew = (a)), entonces l : [a, b] C, definida por
Z t
(s)
l(t) = w +
ds,
a (s)
es una determinacion continua del logaritmo a lo largo de .
19.9. Si es un arco cerrado y p C \ , entonces
P ROPOSICI ON
p arg = 2 ind (p).
Captulo 20
Calculo practico del ndice

1.
Posicionamiento de una curva respecto de una semirecta
20.1. Si L C es una semirecta de origen p C, decimos que el punto z C \ L

D EFINICI ON
esta situado a la izquierda de L, si el a ngulo orientado formado entre L y el segmento [p, z[ es menor
que /2 y mayor que 0.
Analogamente, diremos que p esta situado a la derecha de L, si el a ngulo orientado entre L y el
segmento [p, z[ es mayor que /2 y menor que 0.
20.2. Una curva : [a, b] C atraviesa la semirecta L en c ]a, b[ si (c) 6= p y si
D EFINICI ON
existe > 0 tal que (t) este a la derecha de L para t ]c , c[ y a la izquierda de L para t ]c, c + [
o viceversa.
En el primer caso, diremos que atraviesa L positivamente, y en el otro caso diremos que
atraviesa L negativamente.
z
z
p
p a la izquierda de L
p a la derecha de L
F IGURA 20.1. Posicion relativa de un punto z C \ L a la semirecta L que parte del

punto p
+
p
F IGURA 20.2. Una curva atravesando primero positivamente (+), luego negativamente () una semirecta L.
79
80
Calculo practico del ndice
(c3 )
(c4 )
(c5 )
(c2 )
(c1 ) 0
F IGURA 20.3. Ilustracion de la prueba de la proposicion 20.3.

2.
Calculo del ndice
20.3. Sea p C y un arco en C \ {p}. Supongamos que existe una semirecta

P ROPOSICI ON
L de origen p, tal que E = 1 (L) es un conjunto finito, y que atraviese L en todo punto de E.
Sean n+ el numero de veces que atraviesa positivamente L, y n el numero de veces que atraviesa
negativamente L. Entonces
ind (p) = n+ n .
. Por una rotacion y traslacion convenientes, podemos suponer que p = 0, L =
D EMOSTRACI ON
] , 0]. Sea : [a, b] C y c1 , c2 , . . . , cm con a < c1 < c2 < . . . < cm los puntos de E.
Definimos i = +1 si atraviesa L positivamente en ci , y i = 1 si atraviesa L negativamente en
ci . Consideramos la rama principal del logaritmo, la funcion log : C\] , 0] C, con log(1) = 0.
Con ella, definimos la determinacion continua del argumento arg : C\] , 0] R con arg(1) = 0,
dada por arg(z) = log(z). Entonces, t 7 arg (t) es continua sobre [a, b] \ E, y por definicion de i ,
para i = 1, . . . , m
lm arg (t) = i .
lm arg (t) = i ,
tc+
i
tc
i
Por otro lado, la variacion de argumento a lo largo de [a,c1 ] y [cm,b] es 1 arg (a) y arg (b) + n
respectivamente. Para i = 1, . . . , m 1, la variacion de argumento a lo largo de [ci ,ci+1] es (i+1 + i ).
Finalmente, como (b) = (a), la variacion total de argumento de es igual a
V = 1 + n +
n1
X
i=1
(i+1 + i ) = 2(n+ n ).
E JERCICIO 20.1. El arco de la figura 20.5 es simple y su sentido de recorrido es antihorario,

respecto del punto resaltado en la figura. Determine los valores de ind en las componentes conexas de
C \ .
Calculo del ndice
81
+
2
+
+
1
2
1
1
F IGURA 20.4. Ilustracion del resultado de la proposicion 20.3. Indicamos con + las
veces que atraviesa la semirrecta elegida positivamente, con las veces que atraviesa
negativamente. Colocamos el balance, el ndice calculado, al interior
F IGURA 20.5. Grafica correspondiente al ejercicio 20.1
Captulo 21
Funciones meromorfas y calculo de residuos

1.
Funciones meromorfas
21.1 (Funcion meromorfa). Si es abierto decimos que f es una funcion meromorfa

D EFINICI ON
en si existe A tal que
a) A no tiene punto lmite en .
b) f H( \ A).
c) f tiene un polo en cada punto de A.
El conjunto A se denomina conjunto de polos de f y se denota A = P (f ). El conjunto de funciones
meromorfas sobre se denota por
M () = {f : f es meromorfa en }.
Si f M (C), decimos simplemente que f es meromorfa.
Observamos que \ A es abierto y ademas A es cerrado.

O BSERVACIONES . Se cumplen, para un abierto C:
1. H() M ();
2. El conjunto P (f ) es cerrado y no tiene punto lmite, tal como el conjunto de ceros de una
funcion holomorfa en . En particular, P (f ) es a lo mas numerable.
3. El conjunto M () es un anillo. En particular, f, g M () implican que f + g M () y
f g M (). En general P (f + g) P (f ) P (g) y P (f g) P (f ) P (g), pero no
se da la igualdad en general. Esto se prueba siguiendo los argumentos del ejemplo 15.11 pero
con m, n Z y recordando el desarrollo local de una funcion meromorfa en un poco, ecuacion
(15.15).
4. Los argumentos anteriores tambien muestran que si f M (), entonces 1/f M (), pero
mas aun, Z(f ) = P (1/f ) y P (f ) = Z(1/f ). Si f tiene un cero (respectivamente polo) de
multiplicidad m > 0 (respectivamente, de orden m < 0), entonces 1/f tendra un polo (respectivamente cero) de orden m < 0 (respectivamente, de multiplicidad m > 0).
2.
T EOREMA 21.2. Si Q(z) =
singularidad removible en a y
m
X
i=1
Calculo de residuos
ck
es la parte principal de f en a, entonces f Q tiene una
(z a)k

dm1
1
(z a)m f (z) .
m1
za (m 1)! dz
c1 = res(f ; a) = lm
E JERCICIO 21.1. Demuestre el teorema 21.2.

C OROLARIO 21.3. Si f posee un polo simple en a, entonces
res(f ; a) = lm (z a)f (z).
za
T EOREMA 21.4 (Teorema del residuo). Sea f una funcion meromorfa en y A en conjunto de los
polos de f . Si es un ciclo en \ A tal que
/
83
84
entonces
1
2i
f (z)dz =
res(f ; a) ind (a).
aA
Laa suma que aparece en el enunciado del teorema es finita. Sea

B = a P (f ) : ind () 6= ;
la suma mencionada se reduce a este conjunto. Sea W = C \ . Sabemos que el ndice es constante en
cada componente conexa de W .
Ademas, existe R > 0 tal que ind( )() = 0 para |z| > R. Esto implica que

B z C : |z| 6 R .
Por lo tanto, B es un conjunto acotado, y por ser B P (f ), no contiene punto de acumulacion.

Concluimos que B es finito.
. Primero observamos que si Q(z) es la parte principal de f en a, como en el

D EMOSTRACI ON
teorema 21.2, entonces
Z
Z
n
1
1 X
Q(z)dz =
ck (z a)k dz
2i
2i
k=1
Z
dz
1
=
c1
= c1 ind (a) = res(f ; a) ind (a).
2i
za
Sea B = {a1 , . . . , am } y sea Qi (z) la parte principal de f en ai , para cada i = 1, . . . , m. Entonces,

g = f (Q1 + + Qm ) posee singularidades removibles en a1 , a2 , . . . , am . Sea 0 = \ P (f ) \ B .
Entonces 0 es abierto, y para cada
/ , o bien
/ , y de la hipotesis del teorema tenemos
ind () = 0, o bien P (f ) \ B, en cuyo caso ind () = 0 por definicion de B. Por el teorema de
Cauchy (teorema 16.5)
Z
g(z)dz = 0,
lo que equivale a
1
2i
Z
n
n
X
X
1
f (z)dz =
Qk (z)dz =
res(f ; ak ) ind (ak ).
2i
k=1
k=1

E JEMPLO 21.5. Vamos a determinar
I=
(x2
dx
+ 1)3
en valor principal, es decir,

I = lm
R+
Sea
R
R
(x2
dx
.
+ 1)3
1
;
(z 2 + 1)3
una funcion meromorfa con dos u nicos polos, z = i, ambos de orden 3, lo que es claro de la factor1
. Para R > 1, consideramos el contorno formado por el segmento
izacion f (z) =
3
(z + i) (z i)3
[R, R] y el arco de circunferencia t 7 Reit , t [0, ], recorrido en sentido antihorario. Este contorno
encierra el polo z = i, pero deja fuera el polo z = i, obteniendo ind (i) = 1, ind (i) = 0. Ademas,
e por el teorema 21.2

3
1 d2
(z i)3 f (z) = lm 6(z + i)5 = i.
res(f ; i) = lm
2
zi
zi 2! dz
16
f (z) =
Calculo de residuos
85
F IGURA 21.1. Contorno del ejemplo 21.5

Luego, el teorema del residuo 21.4 nos da
Z
1
3
f (z)dz = res(f ; i) ind (i) + res(f ; i) ind (i) = i.
2i
16
Dividiendo la integral a la izquierda, obtenemos
Z
Z

dx
Reit i
3
1 R
+
dt
= i.
2 e2it + 1)3
2i R (x2 + 1)3
(R
16
0
Ahora bien, |R2 e2it + 1|3 > (R2 1)3 , de donde
Z
Z

Reit i
Reit i
R

6
dt

dt 6
2
2it
3
2
2it
3
2
+ 1)
+ 1)
(R 1)3
0 (R e
0 (R e
Por lo tanto, obtenemos
lm
de donde
Reit i
dt = 0,
(R2 e2it + 1)3
Z

dx
3
1 R
= i.
2
3
R 2i
16
R (x + 1)
lm
Por lo tanto
(x2
E JEMPLO 21.6. Para a > 0, determinamos

Z
I(a) =
dx
3
=
.
3
+ 1)
8
cos x
dx.
x2 + a2
Usaremos el mismo contorno dependiendo de R del ejemplo anterior, esta vez con R > a. La
funcion a considerar es ahora
eiz
f (z) = 2
;
z + a2
funcion meromorfa con polos en z = ia. Observamos, por simples argumentos de paridad, que
Z
Z
Z
1 cos x
i sen x
1
I(a) = I(a) + i0 =
dx
+
dx
=
f (x)dx,
2 x2 + a2
2 x2 + a2
2
integral calculada en valor principal.
Observamos que el polo en z = ia queda dentro del contorno, mientras que aquel en z = ia
queda fuera, obteniendo como antes ind (ia) = 1, ind (ia) = 0. Por otro lado, el residuo en z = ia
es (siendo este polo simple, corolario 21.3)
ea
eiz
=
.
zia z + ia
2ia
res(f ; ia) = lm
86
Luego, el teorema del residuo nos da

Z iReit it
Z
Re i ea
e
1 R
f (x)dx +
.
dt =
it 2
2
2i R
2ia
0 (Re ) + a
Al mismo tiempo
Z eiReit Reit i Z eR sen t R
R

dt 6
dt 6 2
.

it )2 + a2
2 a2
(Re
R
R
a2
0
0
Por lo tanto, haciendo R , obtenemos
Z
1
1
ea
I(a) =
,
f (x)dx =
i
2i
2ia
ea
.
2a
E JERCICIO 21.2. Sea f = P/Q una funcion racional sin polos reales, con deg(Q) > 2 + deg(P ).
1. La integral
Z
de donde I(a) =
f (t)dt
I=
es absolutamente
convergente.

+
2. Si P = P (f ) z C : (z) > 0 , entonces
X
I = 2i
res(f, a).
aP +
3. Aplique este resultado al calculo de

Z
Z +
1 + dt
dt
=
.
I=
1 + t6
2 1 + t6
0
Captulo 22
Contando ceros y polos al interior de un contorno

1.
El teorema base
T EOREMA 22.1. Sea f una funcion meromorfa en , abierto en C, y un arco cerrado en tal
que
i) ind () = 0, para todo
/ .
ii) [Z(f ) P (f )] = .
Donde Z(f ) es el conjunto de ceros de f y P (f ) es el conjunto de polos de f . Entonces
Z
X
X
1
f (z)
dz =
ma ind (a)
mb ind (b),
2i f (z)
aZ(f )
bP (f )
donde ma es la multiplicidad del cero a y mb es el orden del polo b.

. Evidentemente f /f M (). Ahora observamos que, si a Z(f ), por el
D EMOSTRACI ON
ma
teorema 11.1, escribimos
f (z) = (z a) g(z) con ma > 1 entero, la multiplicidad de a como cero
de f , g H D(a, r) para algun r > 0, y g(a) 6= 0. De ah
f (z)
ma
g (z)
=
+
,
f (z)
za
g(z)

siendo g /g H D(a, r) ; concluimos que
res
f
f

; a = ma .
Si en cambio b P (f ), por (15.15) escribiremos f (z) = (z b)mb g(z), donde mb > 1 es un entero,
el orden de b como polo de f , obteniendo analogamente
f
; b = mb .
res
f
Aplicando el teorema del residuo, teorema 21.4 a f /f , obtenemos el resultado.
2.
El principio del argumento
Finalmente, gracias al teorema 19.9, podremos ver que la integral anterior es simplemente un ndice,
el de la curva f aldededor del 0.
T EOREMA 22.2 (Principio del argumento).
Si f es meromorfa en , y un arco cerrado en tal

que ind () = 0, para todo
/ y Z(f ) P (f ) = , entonces
Z
f arg
f (z)
1
=
dz.
2
2i f (z)
Esto, junto con el teorema 22.1, nos da un metodo de conteo de ceros y polos de una funcion, y que
no requiere determinarlos explcitamente, como mostraremos enseguida.
. Antes de presentar el proximo ejemplo presentamos la siguiente notacion: esO BSERVACI ON
cribiremos f (r) = o(1) para indicar que lm f (r) = 0.
r
E JEMPLO 22.3. Calculamos el numero de ceros de f (z) = 1 + z + z 3 en el semiplano z > 0.

87
88
Contando ceros y polos
R
F IGURA 22.1. Contorno del ejemplo 22.3
Consideramos, para r > 0, el contorno consistente del segmento dirigido [ir, ir], yendo en el
sentido de ir a ir, y el semicrculo t 7 reit , 2 6 t 6 2 . Para r > 0 lo suficientemente grande, este
contorno encierra todos los ceros de f en el semiplano z > 0.
De hecho, f no posee ceros sobre la recta imaginaria iR. Para z = iy, y R
f (iy) = 1 i(y y 3 ),
de donde f (iy) 6= 0 para y R; ademas

arg f (iy) = arctan (y y 3 ) ,
de donde lm f (iy) = . Por lo tanto, la variacion de f en [ir, ir] cuando r es

y
2
f [ir,ir] arg = + o(1).
En el arco de circunferencia
f (reit ) = 1 + reit + r 3 e3it = r 3 e3it (1 + r 2 e2it + r 3 e3it ),
pero
|r 2 e2it + r 3 e3it | 6 r 2 + r 3 ,
por lo que escribimos r 2 e2it + r 3 e3it = o(1) y

f (reit ) = r 3 e3it 1 + o(1) .
Por lo tanto, la variacion de argumento de f en el arco, variando t en [ 2 , 2 ] es

f rei() arg = 3 + o(1).
Esto implica que la variacion total de argumento de f a lo largo de es
f arg = 2 + o(1).
Siendo una curva cerrada, la variacion de argumento de f a lo largo de es un multiplo entero de 2,
de donde para r suficientemente grande
f arg = 2.
Por los teoremas 22.1 y 22.2, el numero de ceros de f al interior de es igual a 1, coincidiendo este con
el numero de ceros en el semiplano z > 0.
El teorema de Hurwitz
89
3.
El teorema de Rouche
T EOREMA 22.4 (Rouche). Sean f, g funciones meromorfas en , abierto en C y un arco cerrado

en tal que
I ) ind () = 0, para
/ .
todo
II ) f (z) g(z) < f (z), para todo z .

III ) Z(f ) P (f ) = .
Entonces
Z
Z
g (z)
f (z)
1
1
dz =
dz
2i g(z)
2i f (z)
. Observe que por (II ), g no puede tener ceros ni polos sobre , de modo que (III )
D EMOSTRACI ON
se cumple para g al igual que para f . El resultado es una simple reformulacion del lema 17.5 para = 0,
0 = f , 1 = g ; esto nos da
Z
Z
1
g (t)
f (t)
1
= indg (0) = indf (0) =
,
2i g(t)
2i f (t)
las integrales siendo validas a la condicion
III
y la observacion anterior.
E JERCICIO 22.1. Halle el numero de races de la ecuacion

z 2 4 2z 2 1
+ 2
=0
z2 + 4
z +6
que se encuentran en el disco |z| 6 1.
4.
El teorema de Hurwitz
T EOREMA 22.5 (Hurwitz). Sea {fn }n>1 H() que converge uniformemente en compactos a
f H(), y z0 . Si f posee un cero de multiplicidad m > 0 en z0 entonces, para cada > 0 tal
que
D(z0 , ) y D(z0 , ) Z(f ) = {z0 },
existe n0 N tal que, para n > n0 , fn posee exactamente m ceros en D(z0 , ), contando multiplicidades.
. Sean = D(z0 , ) y
D EMOSTRACI ON
m=
1
2i
f (z)
dz
f (z)
el numero de ceros de f al interior de , contando multiplicidades (cf. teorema 22.1). Sea

= mn f (z) > 0.
z
Por el teorema 14.3, fn converge uniformemente a f en , de donde existe n0 N tal que, para n > n0
y z

f (z) fn (z) < 6 f (z).
Luego, por el teorema de Rouche, para n > n0
Z
1
fn (z)
dz = m,
2i fn (z)
de donde la conclusion del teorema.
C OROLARIO 22.6. Sea {fn }n>1 H() que converge uniformemente en compactos a una funcion
f H() no identicamente nula. Si existe n0 N tal que Z(fn ) = para n > n0 , entonces Z(f ) = .
E JEMPLO 22.7. Las conclusiones del teorema anterior no se dan sin la condicion de que f no sea
identicamente nula, como lo muestra el ejemplo de la sucesion fn : C C, fn (z) = nz , n > 1.
90
Contando ceros y polos
n=1
n=2
n=3
F IGURA 22.2. Ilustracion del movimiento de los ceros del ejemplo 22.8 en el caso m = 6
E JEMPLO 22.8. Para m > 1, sea fn : C C definida por fn (z) = z m 1/n, para n > 1. La
funcion lmite f (z) = z m posee un u nico cero en z = 0, de multiplicidad m, mientras que cada funcion
fn posee m ceros simples, dados por
1 2ik
e m , k = 0, 1, . . . , m 1.
zk = m
n
Variando n, los ceros de fn se desplazan hacia el cero multiple en 0, lo que se ilustra en la figura 22.2.
E JERCICIO 22.2. Pruebe que si un polinomio no constante p(z) con coeficientes complejos posee
todas sus races en el semiplano z > 0, entonces todas las races de su derivada se encuentran en el
mismo semiplano.
Captulo 23
Productos infinitos
1.
Definicion y convergencia
23.1. Dada una sucesion {sn }n>1 de numeros complejos, la productoria

D EFINICI ON
sucesion de productos parciales {pn }n>1 , definidos por
pn =
n
Y
k=1
sk = s1 s2 sn ,
23.2. Diremos que la productoria

D EFINICI ON
n > 1.
sn converge si existe el lmite
L EMA 23.3. Si {ui }ni=1 C, definiendo

pn =
sn es la
pn = lm pn .
n=1
n
Y
pn
(1 + ui ),
n
Y
i=1
i=1

1 + |ui |
tenemos
(23.20)
pn
6 exp
n
X
i=1

|ui | ,
|pn 1| 6 pn 1.
. Observamos que para x > 0, 1 + x 6 ex . Tomando x = |uk |, k = 1, . . . , n,

D EMOSTRACI ON
1 + |uk | 6 e|uk | ,
y multiplicando estas desigualdades, obtenemos la primera desigualdad de (23.20). Tambien es obvio

que |pn | 6 pn para todo n > 1.
Probemos la segunda desigualdad de (23.20) por induccion sobre n. Para n = 1, esto es trivial.
Suponiendo esta desigualdad valida para un cierto n, entonces

|pn+1 1| = pn (1 + un+1 ) 1 6 |pn 1| + |pn ||un+1 |
6 pn 1 + |pn ||un+1 | 6 pn 1 + pn |un+1 |
= pn+1 1.
Esto prueba la desigualdad para n + 1, luego para todo n > 1 por el principio de induccion.

P
. Una consecuencia del lema es la siguiente: si |an | converge, entonces la sucesion
O BSERVACI ON
{pn } asociada converge, siendo monotona no decreciente y acotada superiormente.
T EOREMA 23.4. Sea {un }n>1 una sucesion de funciones
P un : S C, donde S C. Supongamos
que las funciones un , n > 1, son acotadas en S, y que n=1 un (s) es convergente en S. Entonces:
I ) el producto
Y

f (s) =
1 + un (s)
n=1
es uniformemente convergente en S;
II ) f (s0 ) = 0 para alg
un s0 S, si y solo si un (s0 ) = 1 para algun n > 1;
91
92
III )
Productos infinitos
si : N N es una biyeccion (recordenamiento de ndices), entonces para cada s S

f (s) =

1 + u(k) (s) .
k=1

. Para cada n > 1, existe cn > 0 tal que, para cada s S, un (s) 6 cn .
D EMOSTRACI ON
X

un (s) es acotada en S. Como esta serie es uniformemente convergente en S, existe
Afirmamos que
n=1
X

un (s) < 1. Luego
n0 N tal que
n>n0
n0
n0
X
X
X

X

un (s) 6
un (s) +
un (s) 6 1 +
cn ,
n>n0
n=1
lo que prueba la acotacion.
Tomando c = exp(1 +
n0
X
k=1
donde
pn (s) =
n=1
n=1
ck ), tenemos que para todo s S y n > 1

P

pn (s) 6 pn (s) 6 e nk=1 |uk (s)| 6 c,
n
Y
k=1

1 + uk (s) ,
pn (s)
n
Y

=
1 + uk (s) .
k=1
X

un (s) < . Como : N N es sobreyectiva, dado N > N0 ,
Sea > 0 fijo. Tomamos N0 tal que
hallamos M > N tal que
n=N0

{1, 2, . . . , N } (1), (2), . . . , (M ) .
Sea
qM (s) =
M
Y
k=1
Entonces

1 + u(k) (s) .

Y

1 + uj (s) 1 ,
qM (s) pN (s) = pN (s)
jA

donde A = (1), (2), . . . , (M ) \ {1, 2, . . . , N }; en particular todo j A cumple j > N > N0 .
Por el lema

Y

qM (s) pN (s) 6 pN (s)
1 + |uj (s)| 1
jA
6 c exp

6 c exp
jA

|uj (s)| 1
j>N0

|uj (s)| 1 6 c (e 1).
Observemos que en lo anterior, por continuidad de exp en 0, para todo > 0, podemos elegir > 0 tal
que c (e 1) < . En conclusion, dado > 0, existe N0 N tal que para M > N > N0 y todo s S

qM (s) pN (s) < .
(23.21)
Si es la funcion identidad de N en N, obtenemos qM (s) = pM (s). Si > 0 es arbitrario, obtenemos

N0 N tal que para N > N > N0 y s S

pM (s) pN (s) < .
(23.22)
El teorema de Weierstrass
93
Esto prueba que la sucesion {pN (s)}N >1 es de Cauchy para cada s S, de donde existe f (s) =
lmN pN (s). Esto define una funcion f : S C; si en (23.22) hacemos M , obtendremos

f (s) pN (s) 6 ;
(23.23)
probando la convergencia uniforme de {pN }N >1 a f en S.
Si ahora es arbitraria, combinando (23.21) y (23.23) obtenemos, para s S

qM (s) f (s) 6 2.
Por lo tanto, qM converge a f uniformemente en S.

Regresando sobre los calculos obtenemos, que para cada > 0, existe N0 N tal que si M > N >
N0 , se tiene la desigualdad

pM (s) pN 6 pN (s)(e 1)
para s S. Fijado 0 < <

para > 0 tal que e 1 < 2 < 1, y
1/2, esto nos interesa
en particular

N = N0 + 1. Esto nos da pM (s) pN0 +1 6 pN0 +1 (s)2, de donde

pM (s) > pN +1 (s)(1 2).
0
Tomando M , obtenemos

f (s) > pN +1 (s)(1 2).
0
En consecuencia, si f (s0 ) = 0, y como 1 2 > 0, forzosamente pN0 (s) = 0, de donde existe n N,

con 1 6 n 6 n0 , tal que un (s0 ) = 1.

2.
Producto de funciones holomorfas
T EOREMA 23.5. Sea C abierto y {fn }n>1 H(), tales que ninguna funcion fn es identicamente en ninguna componente de , y
X

1 fn (z)
n=1
es uniformemente convergente en compactos de . Entonces, el producto

f (z) =
fn (z)
n=1
es uniformemente convergente en compactos de y define una funcion f H(). Ademas, si mz (f )

denota la multiplicidad del complejo z como cero de f , entonces
mz (f ) =
mz (fk ),
k=1
siendo esta u ltima suma siempre finita.

3.
23.6. Definimos los factores elementales E0 (z) = 1 z,

D EFINICI ON

zn
z2
, para n > 1.
+ +
En (z) = (1 z) exp z +
2
n
Esta claro que cada factor elemental posee un u nico cero simple en z = 1.
L EMA 23.7. Para |z| 6 1 y n > 0

1 En (z) 6 |z|n+1 .
94
Productos infinitos
. Para n = 0 esto es evidente.

D EMOSTRACI ON
Sea n > 1. Calculamos

zn
z2
,
+ +
En (z) = z n exp z +
2
n
de donde se ve de inmediato que En (z) posee un cero de multiplicidad n en z = 0. Luego, observando
que
Z
1 En (z) =
[0,z]
En ()d
y 1 En (0) = 0, tenemos que (1 En )(z) posee un cero de multiplicidad n + 1 en z = 0.

k
Por otro lado, teniendo cada factor exp zk con k > 0 una representacion serie de potencias
alrededor de z = 0 de coeficientes > 0, lo mismo vale para el producto En (z); en particular, si
X
an z n con an > 0 para todo n > 0, entonces, para |z| 6 c
f (z) =
k=0
X

X
f (z) 6
an |z|n 6
an cn = f (c).
k=0
k=0
1 En (z)
, por lo anterior se extiende a una funcion entera y sus coeficientes son
z n+1
> 0, concluimos que para |z| 6 1

(z) 6 (1),
lo que se reescribe como
1 E (z) 1 E (1)

n
n
= 1.
6

z n+1
1n+1
Esto nos da la conclusion del lema.

Sea (z) =
T EOREMA 23.8. Sea {zn }n>1 C tal que zn 6= 0 para todo n > 1, y |zn | cuando n
(es decir, la sucesion no tiene punto de acumulacion). Si {en }n>1 es una sucesion de enteros > 0 tal
que

X
r 1+en
converge para todo r > 0,
(23.24)
|zn |
n=1
entonces
P (z) =
n=1
Een
z
zn
define una funcion entera con un cero en cada z = zn y sin otros ceros.
Si aparece m veces en {zn }, entonces P (z) posee un cero de multiplicidad m en z = .
La condicion (23.24) siempre es siempre satisfecha eligiendo en = n 1.
. Supongamos que pn = n 1, n > 1. Dado r > 0, tomamos n0 N tal que, si
D EMOSTRACI ON
n > n0 entonces |zn | > 2r, y
r n 1 n
<
|zn |
2
y se cumple la convergencia en (23.24).
Sea z en un compacto de C; podemos elegir r > 0 tal que |z| 6 r. Entonces

1+pn r 1+pn

1 Epn z 6 z
.
6

zn
zn
|zn |
Luego por (23.24), la serie

X

1 Epn z

zn
n=1
95

es uniformemente convergente en z C : |z| 6 r (luego en cualquier compacto de C). Por lo tanto,
z
Y
es uniformemente convergente en compactos de C, y es igual a 0 si y solo si
Epn
el producto
z
n
n=1
z
z
Epn
= 0 para algun n, esto es
= 1 o z = zn .

zn
zn
E JEMPLO 23.9. Si
X
1
es convergente, entonces podemos tomar pn = 0 para n > 1, y el
|zn |
n=1
producto canonico

z Y
z
E0
f (z) =
1
=
z0
zn
n=1
n=1
define una funcion entera.

E JEMPLO 23.10. Si
X
X
1
1
diverge pero
converge, podemos tomar pn = 1, y el producto
|zn |
|zn |2
n=1
n=1
infinito
z

z Y
z z
E1
g(z) =
1
=
e n
z0
zn
n=1
n=1
define ahora la funcion entera con los ceros prescritos buscada.

El siguiente teorema vale reemplazando A C por A , donde es un abierto cualquiera, siendo
A un conjunto sin punto de acumulacion en , y obteniendo f H() como resultado. Sin embargo,
para mantener la simplicidad, nos remitiremos a este caso especial; detalles sobre el caso general pueden
hallarse en [19, Chapter 15].
T EOREMA 23.11. Sea A C un conjunto sin punto de acumulacion, tal que a cada elemento
a A, se le asigna un numero entero ma > 1. Entonces, existe f H(C) tal que Z(f ) = A, y la
multiplicidad de cada a A como cero de f es exactamente ma .
. El caso mas simple ocurre cuando A es finito. En este caso A = {ak }16k6n y
D EMOSTRACI ON
cada ak tiene asociado el entero mk > 1. El polinomio
P (z) =
n
Y
(z ak )mk
k=1
cumple las condiciones deseadas.

Supongamos ahora que A es infinito numerable y 0
/ A. Podemos escribir A como una sucesion
{an }n>1 de valores distintos, y ordenarla en valor absoluto creciente
|a1 | 6 |a2 | 6 . . . |an | . . .
de modo que lmn |an | = + (de otro modo hallaramos un punto de acumulacion en el plano).
Definimos una sucesion {zn }n>1 repitiendo mk veces cada elemento ak :
z1 , z2 , . . . , = a1 , . . . , a1 , a2 , . . . , a2 , . . ., . . .
{z
}
| {z } |
m1
m2
La sucesion {zn }n>1 genera una funcion entera P (z) con las condiciones deseadas, mediante el teorema
23.8.
Finalmente, si 0 A, consideramos A1 = A \ {0}, y aplicamos el caso anterior a A1 , obteniendo
P1 H(C) con Z(P1 ) = A1 y las multiplicidades deseadas para los ceros no nulos. Luego
P (z) = z m0 P1 (z)
cumple los requisitos del teorema.
96
Productos infinitos
. Con las notaciones del teorema anterior, una de las funciones P (z) que satisfacen
O BSERVACI ON
las condiciones toma, en el u ltimo caso, la forma

z
z
z k1
Y
z bk + 2b2k ++ (k1)bk1
m0
k
e
P (z) = z
.
1
bk
k=1
C OROLARIO 23.12. Si f M (C), entonces existen g, h H(C) tales que

g
f= .
h
. Sea A = P (f ). Por el teorema anterior, existe una funcion h H(C) con
D EMOSTRACI ON
Z(h) = P (f ), y para la que hacemos coincidir las multiplicidades ma de los ceros a Z(h) con los
o rdenes oa de los polos de g, ma = oa . Por lo tanto, la funcion g = hf , g M (C), posee singularidades
removibles en los puntos de P (f ), y por lo tanto se extiende a una funcion entera (que denotamos de la
misma manera), g H(C). Esto prueba el resultado.
Captulo 24
El teorema del mapeo conforme de Riemann

1.
Transformaciones de Schwarz
En lo que sigue, denotaremos por

D = z C : |z| < 1
el disco unitario centrado en el origen, y

T = z C : |z| = 1
el crculo unitario centrado en el origen.

L EMA 24.1 (Schwarz). Sea f H(D) tal que f (z) 6 1 para todo z D, y f (0) = 0. Entonces

(24.25)
para todo z D, f (z) 6 |z|,
(24.26)

f (0) 6 1.
Si se da la igualdad en (24.25) para algun z D \ {0} o en (24.26), entonces existe C con || = 1

tal que
para todo z D, f (z) = z.
f (z)
posee una
z
f (z)
singularidad removible en z = 0. Luego, existe h H(D) tal que, para todo z 6= 0, h(z) =
.
z
Observe ademas que h(0) = f (0). Si z D, z 6= 0, |z| < r < 1, entonces, por el principio del modulo
maximo aplicado (teorema 12.3) a h

f (z)
f ()
1

6 .
ax

6 m
z
r
||=r ||
f (z)

Haciendo r 1 , obtenemos
6 1, esto es f (z) 6 |z|, para todo z D. Si z 0, obtenemos
z

f (0) 6 1,

Si f (z) = |z| para algun z D, z 6= 0, o f (0) = 1, entonces h(z) = 1 para algn z D.
Nuevamente, el principio del modulo maximo implica h es constante, esto es, existe C tal que
h(z) =
todo z D. Volviendo a f , esto nos dice que f (z) = z para todo z D; ademas
, para

|| = h(z) = 1.

. Como f (0) = 0 y f es derivable en 0, entonces la funcion z 7
D EMOSTRACI ON
L EMA 24.2. Dado D, sea
(24.27)
(z) =
z
.
1 z
Entonces:
I ) es un mapeo inyectivo tal que (T) = T, (D) = D, y () = 0.
II ) La inversa de es .
III ) (0) = 1 ||2 .
1
.
IV ) () =
1 ||2
97
98

. Vemos directamente que H C \ {1/} , con 1/
D EMOSTRACI ON
/ D pues |1/| > 1.
Ahora
z
z

1z +
=z

=
(z) =
z
1 z
1 + 1z

e, intercambiando por , (z) = z, de donde es una biyeccion de C \ {1/} en C \
{1/}. Esto prueba (II ) y parte de (I ).
Para t R
it

it

it
(eit ) = e 1 = e = |e | = 1,
1 eit |eit |
eit
|eit |
de modo que (T) T. Del mismo modo (T) T, de donde
(24.28)
T = (T) (T) T
y por lo tanto (T) = T.

Por el principio del modulo maximo (teorema 12.3), para cada z D

(z) 6 m
ax () = 1.
||=1
del modulo maximo, unido al hecho que no es constante, implica que para cada z D,
El principio

(z) < 1, y (z) D; en este caso (D) D. Por lo tanto, analogamente a (24.28), tendremos
que (D) = D.
E JERCICIO 24.1 (Principio de subordinacion). Sean f y F dos funciones holomorfas en D. Supongamos que f (0) = F (0), f (D) F (D), y que F es inyectiva. Muestre que para todo r < 1, se tiene
que

f D F D(0, r) ,
y por lo tanto

sup f (z) 6 sup F (z).
|z|=r
2.
|z|=r
Conservacion de a ngulos
Recordemos la definicion de direccion unitaria A[z] de un numero z C (definicion 8.4).

24.3 (Conservacion de a ngulos). Sea un abierto de C, f : C, z0 tal que
D EFINICI ON
existe r > 0 con la propiedad de D(z0 , r) y para todo z D (z0 , r), f (z) 6= f (z0 ). Diremos que
f preserva a ngulos en z0 si

lm ei A f (z0 + rei ) f (z0 )
r0+
existe y no depende de R.
T EOREMA 24.4. Sea C abierto y f : C. Si f (z0 ) existe para algun z0 y f (z0 ) 6= 0,

entonces f preserva a ngulos en z0 .
. Sin perdida de generalidad, suponemos z0 = 0 y f (z0 ) = 0. Si f (0) = a 6= 0,
D EMOSTRACI ON
entonces

f (rei )/(rei )
a
f (rei )
=

ei A f (rei ) = ei
i
i
i

|a|
f (re )
f (re )/(re )
cuando r 0+ .
. Observamos que si rei1 , rei2 para r > 0, son dos rayos partiendo de z = 0 en la
O BSERVACI ON
prueba anterior, entonces
h f (rei2 ) i
ei(2 1 ) ,
A
f (rei1 )
mostrando que las imagenes de los rayos forman el mismo a ngulo en el punto imagen. Dado que estas
imagenes son curvas en la imagen, lo que de hecho calculamos es el a ngulo formado por sus tangentes.
Esto es ilustrado en la figura 24.1.
Familias normales
99
F IGURA 24.1. Angulos

formados por las curvas , : [0, 1] C, (t) = t, (t) =
t + it, en t = 0 (punto P = 0) y sus imagenes mediante f (z) = (z + 1)2 , (t) =
f (t) y (t) = f (t) en Q = f (0) = 1
3.
Familias normales
24.5 (Familia normal). Sea C un abierto conexo, F H(). Se dice que F es una
D EFINICI ON
familia normal si toda sucesion de elementos de F posee una subsucesion que converge uniformemente
en compactos de .
Mas precisamente, dada {fn }n>1 F, existe {fkn }n>1 {fn }n>1 y f : C tal que fkn f
uniformemente en compactos de (no necesariamente f F, pero en todo caso f H() por el
teorema 14.3).
T EOREMA 24.6. Supongamos que F H() es una familia uniformemente acotada en compactos
de . Entonces F es normal.
. Sea {Kn }n>1 una sucesion de compactos, asociada a , con las propiedades del
D EMOSTRACI ON
lema 4.24; en este lema, asociado a cada n > 1, tomamos n > 0 tal que para todo z Kn y
1
). Todo compacto K
con |z | < n , se tiene que Kn+1 (en la prueba del lema n = n(n+1)
esta contenido en algun KN para algun N > 1, por lo que las propiedades probadas para elementos de
las familia {Kn }n>1 .
Sean z , z Kn con |z z | < n y = D(z , 2n ); entonces para cada f F, por la formula
de Cauchy (teorema 10.5)

Z
1

1
f (z ) f (z ) = 1
2i f () z z d

1
f () |z z | |d|,
6
2
| z || z |
de donde
| z | = 2n , | z | > | z | |z z | > 2n n = n ,

f (z ) f (z ) 6 1 Mn |z z | (2 2n ) = 1 Mn |z z |,
2
2n2
n
donde Mn es una constante tal que

para todo f F y Kn+1 , f (),
n
o
n
constante existente gracias a la hipotesis del teorema. Por lo tanto, dado > 0, tomando = mn M
,
n >
n

0, tendremos que si z , z Kn , y |z z | < , entonces f (z ) f (z ) < . Esto prueba que F es
equicontinua.
Ademas F es puntualmente acotada en Kn , pues para cada x , F es uniformemente acotada en
el compacto {x}. Por el teorema de Arzela-Ascoli (teorema 5.36), F es una familia normal.
100
E JERCICIO 24.2. Sea {fn }n>1 una sucesion de funciones holomorfas en un abierto conexo C.
Supongamos que {fn } esta acotada en H(), las fn no se anulan nunca, y lm fn (z0 ) = 0 para un
n
cierto punto z0 . Muestre que la sucesion {fn } converge a 0 uniformemente sobre todo compacto
de .
4.
Equivalencia conforme
24.7 (Equivalencia conforme). Sean 1 , 2 subconjuntos abiertos, conexos de C. DiD EFINICI ON

remos que 1 y 2 son conformemente equivalentes si existe H(1 ) inyectiva con (1 ) = 2 .
. Por consecuencia del corolario 13.9, si : 1 2 es una biyeccion holomorfa,
O BSERVACI ON
1
entonces : 2 1 tambien lo es. Luego, la relacion de equivalencia conforme es una relacion de
equivalencia en los abiertos conexos de C.
T EOREMA 24.8. Todo abierto simplemente conexo de C, distinto de C, es conformemente equivalente al disco unitario D.
El teorema nos dice que los abiertos conexos del plano estan clasificados en dos clases de equivalencia conforme, la del plano y la del disco unitario.
. Sea C un abierto simplemente conexo y w0
D EMOSTRACI ON
/ . Sea

= : D; H() es inyectiva .
Vamos a probar que un elemento de es una funcion sobreyectiva, probando el teorema.

Primera etapa: verificamos que 6= . Como es simplemente conexo, si f : C f (z) = z
w0 , entonces Z(f ) = , de donde, por proposicion 17.10 (IV ) existe H() tal que (z)2 = z w0
para todo z . Esta propiedad prueba por definicion la inyectividad de , pero ademas prueba que, si
(z1 ) = (z2 ), entonces z1 = z2 , de donde a su vez (z1 ) = 0 = (z2 ), lo que es absurdo.
Ademas, es abierta, al ser holomorfa y no constante (corolario 13.8). Existe entonces D(a, r)
() con 0 < r < |a|. De ah, si w D(a, r) (), esto es |w + a| < r, entonces | w a| < r y
por lo tanto w = (z1 ) con z1 . Pero w (), de donde w = (z2 ) con z2 . Por lo anterior,
la igualdad (z2 ) = (z1 ) es contradictoria. Concluimos que D(a, r) () = .
Definimos : C mediante
r
.
(z) =
(z) + a
Como D(a, r) () = , esta correctamente definida, y es una funcion inyectiva y holomorfa
sobre , y ademas, para z

r
(z) =

(z) + a 6 1,
esto es () D. Como () es abierto, entonces () D. Por lo tanto y 6= .
Segunda etapa: mostramos que si , () 6= D y z0 entonces existe 1 tal que

1 (z0 ) > (z0 ).
Sea , y D \ (). Entones, , donde esta definida por (24.27). Como no

tiene ceros en , pues
/ (), como antes, existe g H() tal que g 2 = . Iguales argumentos,
junto con la propiedad del lema 24.2 (I ), que (D) = D, muestran que g es inyectiva, y g() D,
esto es, de hecho g .
Si ahora 1 = g, donde = g(z0 ), entonces del mismo modo, se prueba que 1
(1 () D, pero ademas 1 (z0 ) = () = 0. Denotando s(w) = w2 , tenemos
2
= 1
g = s g = s 1 = F ,
donde F = s . Por lo tanto

(z0 ) = F 1 (z0 ) 1 (z0 ) = F (0) 1 (z0 ).
Equivalencia conforme
101
Observe que F (D) D y F no es inyectiva

en

D, de donde por el lema de Schwarz (lema 24.1) F no
puede ser una rotacion, y forzosamente F (0) < 1. Esto nos da

(z0 ) < 1 (z0 ).
Tercera etapa: fijado z0 , sea
n
o

= sup (z0 ) :
(podra darse que = ). Entonces, existe {n }n>1 tal que

lm n (z0 ) = .
n
Siendo una familia uniformemente acotada, al ir las imagenes de sus elementos al disco unitario,
aplicamos el teorema 24.6 para concluir que es normal. Luego, {n }n>1 posee una subsucesion,
la que denotaremos tambien {n }n>1 , uniformemente convergente en compactos de a una funcion
H(D), con

(z0 ) = ;
recuerde que para esto n converge a por el teorema 14.3. Como 6= , entonces > 0, y luego
no es constante. Como n () D para todo n > 1, entonces () D, pero al ser una aplicacion
abierta, () es abierto y () D.
Veamos que es inyectiva. Sean z1 , z2 , z1 6= z2 . Escribimos = (z1 ), n = n (z1 ) para
/ D tal que no tenga ceros en D. Entonces, lm n n =
n > 1. sea D = D(z2 , r) con z1
n
uniformemente en D. Vemos que las funciones n n no tienen ceros en D, al ser funciones

inyectivas, y tienen un cero en z1 . Por el teorema de Hurwitz (teorema 22.5) no tiene ceros en D,
y en particular
(z2 ) 6= (z1 ). Por lo tanto es inyectiva, de donde . Ademas, por construccion
maximiza (z0 ), de donde por lo probado en la segunda etapa de la prueba, () = D.
Captulo 25
Funciones de orden finito

1.
Orden de una funcion entera
Dada una funcion entera f no nula, definimos, para r > 0, el numero

Mf (r) = sup f (z).
|z|=r
Por el principio del modulo maximo (teorema 12.3), la funcion r 7 Mf (r) para r > 0 es creciente y
lm Mf (r) = .
r
25.1 (Funcion de orden finito). Una funcion entera f es de orden finito si, para algun
D EFINICI ON
k > 0 y r0 > 0, se tiene que
Mf (r) < er
para r > r0 . En este caso, el orden de la funcion entera f es el nfimo de los valores de k > 0 para los
cuales se cumple esta desigualdad asintotica.
Si f no es una funcion de orden finito, decimos que es de orden infinito.
(Desigualdades asintoticas). Dadas funciones reales f (r) y g(r) definidas para r > 0,
N OTACI ON
denotamos
f (r) <c g(r)
para indicar que existe r0 > 0 tal que f (r) < g(r) para r > r0 , mientras que usamos
f (r) <
n g(r)
para indicar que f (r) < g(r) para una sucesion r = rn de valores con lm rn = .
n
E JERCICIO 25.1. Sean f (r), g(r) funciones de la variable r > 0, y g(r) > 0 para r > 0. Con las
notaciones anteriores,
f (r)
= lm sup
r g(r)
si y solo si, para cada > 0
<
( )g(r) <
n f (r) c ( + )g(r).
L EMA 25.2. Si f es una funcion entera de orden finito y su orden, entonces

= lm sup
r
ln lMf (r)
.
ln r
. Para cada > 0, por definicion de orden

D EMOSTRACI ON
er
<
n
Mf (r) <c er
de donde, tomando logaritmos dos veces

( ) ln r
<
n
ln ln Mf (r) <c ( + ) ln r.
Concluimos usando el ejercicio anterior.

103
104
E JEMPLO
25.3.
Sea P un polinomio no constante y k > 1 su grado. Entonces, para > 0, si |z| = r
y r grande, P (z) < r k+ , o Mf (r) < r k+ . Luego
06
ln ln Mf (r)
ln(k + ) + ln ln r
<
,
ln r
ln r
de donde = 0.
E JEMPLO 25.4. Si f es una funcion entera, representable para z C bajo la forma
X
an z n ,
f (z) =
n=0
donde an > 0 para todo n > 0, entonces

Mf (r) = f (r).
Concluya que la funcion f (z) =
ez
cumple Mf (r) = er , de donde = 1.
E JEMPLO 25.5. Sean f y g dos funciones enteras de orden finito f y g , respectivamente. Entonces,
si f 6= g , las funciones suma f + g y producto f g son de orden finito y
f +g = m
ax{f , g },
f g = m
ax{f , g }.
En general, solo tenemos que f +g 6 m

ax{f , g } y f g 6 m
ax{f , g }; de ejemplos de casos donde
no se da la igualdad.
2.
Formulas de Schwarz y Nevanlinna
L EMA 25.6 (Poisson). Sea f H(), donde D(0, R) para algun R > 0. Entonces, para
z D(0, R), escrito como z = rei , r > 0, R
Z 2
1
R2 r 2
f (z) =
(25.29)
d.
f (Rei ) 2
2 0
R 2Rr cos( ) + r 2
2
. De la formula de Cauchy, teorema 10.5, para z = Rr ei , siendo |z| < R y

D EMOSTRACI ON
|z | > R
Z
Z
1
f ()
f ()
1
f (z) = f (z) 0 =
d
d
2i D(0,R) z
2i D(0,R) z
Z
h 1
1 i
1
f ()
d.
=
2i D(0,R)
z z
Escribiendo = Rei , con 0 6 6 2
R2 i
R
R
e = ei(+) (Rei rei ) = ei(+) z,
r
r
r
2
2 R2
2 r2
R
r
R
z z = rei
ei =
ei =
ei ,
r
r
r
z = Rei
de donde
2
2
h 1
R r
ei
1 i
z z
r
d
=
Rei i d
d
=
z z
( z)( z )
Rr ei(+) | z|2
=
Finalmente, vemos que
R2 r 2
i d.
| z|2

| z|2 = ||2 2 z + |z|2 = ||2 2 Rrei() + |z|2
lo que completa el calculo.
= R2 2Rr cos( ) + r 2 ,
Formulas de Schwarz y Nevanlinna
105
. Rapidamente se observa que la formula anterior se escribe como

O BSERVACI ON
Z 2
1
||2 |z|2
f (z) =
d
f (Rei )
2 0
| z|2
y, observando que
tenemos tambien la formula

(25.30)
+ z
z
1
f (z) =
2
||2 |z|2
,
| z|2
f (Rei )
De ah se sigue ademas que

(25.31)
1
f (0) =
2
+ z
d.
z
f (Rei )d.
T EOREMA 25.7 (Schwarz). Sea f , donde D(0, R). Escribimos f (z) = u(z) + iv(z),
donde u, v : R. Entonces
Z 2
+z
1
d + iv(0),
u()
f (z) =
2 0
z
donde = Rei , 0 6 6 2.
. Consideremos a : \ D(0, R) C definida por

D EMOSTRACI ON
Z 2
+z
1
d;
u()
a(z) =
2 0
z
esta funcion es holomorfa y su integral puede calcularse derivando bajo el signo integral, como en el
lema 10.7 (esto se ve separando el numerador y calculando dos integrales). Definiendo ahora F (z) =
ef (z)a(z) , se cumple que

F (z) = ef (z)a(z) = e0 = 1,
por la ecuacion (25.30). Por el principio del modulo maximo, teorema 12.3, concluimos que F (z) es
constante, de donde f (z) a(z) es una funcion constante K, esto es
Z 2
1
+z
f (z) =
d + K,
u()
2 0
z
y evaluando para z = 0, tomando parte real en (25.31)
u(0) + iv(0) = u(0) + K,

de donde K = iv(0).
T EOREMA 25.8 (Nevanlinna). Sea f una funcion entera y a1 , . . . , an los ceros de f en el disco
D(0, R), repetidos segun multiplicidad, y f (z) 6= 0 para z D(0, R). Sea D el subconjunto abierto
obtenido de D(0, R) retirando los rayos {am : > 1} y {R2 /am : > 1}, de modo que D es
un subconjunto abierto, simplemente conexo y denso de D(0, R). Definimos un logaritmo holomorfo
log : D C.
Sea z D(0, R). Escribiendo z = rei con r > 0 (r < R), R
Z 2
X

Rei + z
R(z am )
1
d +
log 2
(25.32)
lnf (Rei ) i
+ iC,
log f (z) =
2 0
Re z
R zam
|am |<R
donde C R, y
Z 2
R(z a )
X

1
R2 r 2

m

d
+
ln
(25.33) ln f (z) =
lnf (Rei ) 2
2
.
2
2 0
R 2Rr cos( ) + r
R zam
|am |<R
106
. Partimos del caso mas simple, esto es, supongamos que f (z) 6= 0 para z
D EMOSTRACI ON
D(0, R). Entonces, la funcion log f (z) es holomorfa y, por el teorema de Schwarz 25.7, para z
D(0, R)
log f (z) =
1
2
2
0

Rei + z
d + iC,
lnf (Rei ) i
Re z
donde C R. Esto corresponde a la formula (25.32).

Consideramos ahora el caso general, en el que f tiene ceros en D(0, R) y no tiene ceros en D(0, R).
Definimos
(z) = f (z)
R2 am z
.
R(z am )
|am |<R
Observe que de hecho, estamos retirando los ceros de f con los denominadores de las fracciones, mientras que los numeradores no agregan nuevos ceros en el disco D(0, R), pues R2 am z = 0 implica que
|z| = R2 /|am | > R.
Escribiendo z = Rei con R, tenemos que para cada m > 1

2
i
R am z R am ei
1 = |R am e |
=

R(z am ) Rei am |ei |
|R am ei |

R am ei
=
= 1.
|R am ei |

Por lo tanto, (Rei ) = f (Rei ) para z D(0, R), mientras que (z) 6= 0 para |z| 6 R. El caso
anterior se aplica, y podemos calcular log (z) reemplazando f por al interior de la formula:
1
log (z) =
2
2
0

Rei + z
d + iC,
lnf (Rei ) i
Re z
Solo queda combinar esta formula con

log (z) = log f (z)
|am |<R
log
R(z am )
R 2 am z
para obtener (25.32). Tomando la parte real de esta ecuacion, obtenemos (25.33).
3.
La formula de Jensen
25.9 (Funcion de conteo de ceros). Sea f una funcion entera. La funcion de conteo de
D EFINICI ON
ceros de f es la funcion, que a cada t > 0, le asigna el numero de ceros de f (z) con |z| 6 t, contando
sus multiplicidades.
L EMA 25.10. Sea f una funcion entera tal que f (0) 6= 0, y R > 0 tal que f no posee ceros en
D(0, R). Entonces
X
|am |<R
R
=
ln
|am |
n(t)
dt.
t
La formula de Jensen
107
. Sean 0 = t0 < t1 < t2 < . . . < tk = R tales que n(t) es constante en cada
D EMOSTRACI ON
intervalo [t0 , t1 , ]tj1 , tj ], j = 2, . . . , k. Entonces n(0) = n(t0 ) = 0, n(R) = n(tk ) y
Z
X
n(t)
dt =
t
j=1
k
X
j=2
tj
n(tj1 )
tj1
tj1
dt X
n(tj1 ) ln
=
t
tj
j=1
n(tj1 ) ln tj
k
X
j=2
= n(tk ) ln tk
k
X
= n(R) ln R
k
X
X
|am |<R
j=1
n(tj1 ) ln tj1 + n(t0 ) ln t1

n(tj1 ) n(tj ) ln tj
ln tj .
j=1 |am |=tj
ln R
|am |<R
ln |am | =
|am |<R
ln
R
.
|am |
T EOREMA 25.11 (Formula de Jensen). Sea f una funcion entera con f (0) 6= 0; entonces para
R>0
Z 2
Z R

1
n(t)
dt =
lnf (Rei )d lnf (0).
t
2 0
0
. Consideramos el caso f (0) = 1. La formula de Nevanlinna 25.33 en z = 0 nos
D EMOSTRACI ON
da

1
lnf (0) =
2
2
0
X

R
.
lnf (Rei )d
ln
|am |
|am |<R
Aplicando el lema anterior, concluimos.
. Si f (0) = 0, siendo f no identicamente nula, siendo k = n(0) > 1 la multipliO BSERVACI ON

cidad de z = 0 como raz de f , aplicando el teorema anterior a z 7 f (z)/z k , obtenemos en toda su
generalidad la formula:
(k)
Z 2
Z R

f (0)
1
n(t) k
i
.

dt + k ln R =
ln f (Re ) d ln
t
2 0
k!
0
25.12. Sea f una funcion entera y n(r) su funcion de conteo de ceros. Entonces,
P ROPOSICI ON
para r > 0
(k)
f (0)
,
n(r) < k + ln Mf (er) ln
k!
donde k = n(0) es la multiplicidad de z = 0 como cero de f .

. Si f (0) = 1, entonces para todo r > 0
D EMOSTRACI ON
Z er
Z er
Z er
n(t)
dt
n(t)
dt >
dt > n(r)
= n(r).
ln Mf (er) >
t
t
t
r
r
0
Por lo tanto n(r) < ln Mf (er).

Si f (0) 6= 0 en general, entonces aplicamos lo recien probado a z 7 f (z)/f (0) en lugar de f .
Finalmente, en el caso general agregamos n(0), la multiplicidad de z = 0 como cero de f .
108
4.
Calculo del orden de una funcion entera
L EMA 25.13 (Desigualdad de Cauchy). Sea f una funcion entera, que se escribe bajo la forma
f (z) =
(25.34)
cn z n
n=0
para z C. Entonces, para todo n > 0 y r > 0

|cn | 6
Mf (r)
.
rn
. El argumento de prueba ya fue utilizado en la demostracion del teorema 12.1.

D EMOSTRACI ON

L EMA 25.14. Sea f entera tal que, para algunas constantes A > 0 y k > 0
Mf (r) <c eAr
entonces
|cn | <c
eAk n/k
n
n 1/k
tenemos, aplicando el lema 25.13 que para n > 0
Ak
eAk n/k
n
n
n
eAK
n
k
.
= eAr n ln r = eA Ak k ln( Ak ) = e k ln( n ) =
n
. Definiendo r =
D EMOSTRACI ON
|cn | <c
eAr
rn

L EMA 25.15. Si f entera se escribe como en (25.34), y
eAk n/k
(25.35)
|cn | <c
n
entonces, para todo > 0
k
Mf (r) <c e(A+)r .
. Observamos que si la condicion (25.35) ocurre para una funcion f , entonces
D EMOSTRACI ON
tambien ocurre para f + P , donde P es un polinomio cualquiera. Ademas, el ejemplo 25.3 muestra que
esto no afecta el resultado final. Siendo as, podemos cambiar un numero finito de coeficientes cn , de
modo que podemos suponer que en lugar de (25.35), se tiene c0 = 0 y
eAk n/k
|cn | <
n
para todo n > 1.
Observamos entonces que para |z| = r

X

X
eAk n/k n
n
f (z) 6
|cn |r 6
r .
n
n=1
k
n
n=1
1
m
Siendo m = n/k, tenemos que 6 y

eAk n/k
k n/k
r k = (eAr k )n/k
n
n
1 m+1 eAr k m+1
=
.
6 (eAr k )m+1
m
m
Hacemos un parentesis ahora. Escribiendo am =
(m1)m
(m1)!
para m > 2, vemos que
m m
am+1
1 m
mm+1 (m 1)!
=
1
+
=
=
am
m!
(m 1)m
m1
m1
Calculo del orden de una funcion entera
109
y luego
am+1
= e,
m am
de donde por el criterio de la razon, lema 3.20
mm+1 1
m+1
= lm m+1 am+1 = e.
lm
m
m
m!
Por lo tanto, dado > 0, existe m0 > 0 tal que, para m > m0
mm+1 1
eA
m+1
<
A + 2
m!
o
eA m+1 (A + )m+1
2
<
.
m
m!
Esto nos permite escribir, para una constante C0 > 0 conveniente y m > 1
eA m+1
(A + 2 )m+1
< C0
.
m
m!

Reintroduciendo este estimado en el de f (z) tenemos finalmente
lm

X

(A + 2 )m+1 k m+1
k (A+ )r
f (z) 6 C0
2
r e
(r )
6 C0 A +
m!
2
m=1
<
c
e(A+)r ,
como se esperaba.
T EOREMA 25.16. Si f es una funcion entera de orden , con una representacion (25.34), entonces
= lm sup
n
n ln n
.
ln 1/|cn |
Observe que esto incluye el caso en que el orden de f es infinito, obteniendo como convenimos
previamente = .
. La combinacion de los lemas 25.14 y 25.15 nos da, para > 0, que
D EMOSTRACI ON
er
<
n
Mf (r) <c er
implica
e( )
n
Tomando entonces logaritmos y manipulando
ln e()
ln n
<
n
<
n
|cn | <c
n ln n
ln |c1n |
e( + )
n
+
<
c
1+
,
ln e()
ln n
de donde se sigue el resultado.
E JEMPLO 25.17. La formula anterior implica que si una funcion entera f es de orden , entonces
su derivada f es tambien de orden .
E JEMPLO 25.18. Fijado un numero real > 0, la funcion
f (z) =
X
1 n
z
n/
n
n=1
tiene orden .
E JERCICIO 25.2. Encuentre dos funciones enteras, una de orden 0, otra de orden infinito.
110
5.
El exponente de convergencia de una sucesion
25.19 (Exponente de convergencia). Dada una sucesion de numeros complejos {an }n>1 ,
D EFINICI ON
con an para todo n > 1 y lm |an | = , definimos el exponente de convergencia de la sucesion
n
{an }n>1 como el nfimo de los numeros reales para los cuales, la serie
(25.36)
n=1
1
|an |
converge.
25.20 (Funcion de conteo y orden). Sea {an }n>1 una sucesion de numeros complejos,
D EFINICI ON
y sea n la funcion de conteo de la sucesion, esto es, para r > 0, n(r) denota el numero de elementos am
con |am | < r. El orden de la funcion de conteo n(r), si existe, es el nfimo de los numeros reales para
los cuales
n(r) <c r .
El procedimiento de prueba del teorema 25.16 implica inmediatamente el siguiente resultado.
25.21. Con las notaciones de la definicion 25.20, el orden de la funcion de conteo
P ROPOSICI ON
n(r) puede calcularse por
ln n(r)
.
= lm sup
ln r
r
L EMA 25.22. Para r > 0 y 6= 0
X
|am |<r
n(r)
= +
|am |
r
1
n(t)
dt.
t+1
. La prueba de este resultado de sigue de manera completamente analoga a la del

D EMOSTRACI ON
lema 25.10.

L EMA 25.23. Si la serie
n=1
converge para algun > 0, entonces la integral

Z
0
1
|an |
n(t)
dt
t+1
converge, y
n(t)
= 0.
t t
lm
. Del lema anterior, obtenemos la cota, para todo r > 0

D EMOSTRACI ON
Z r
X
1
n(t)
dt 6
,
+1
|an |
0 t
n=1
siendo la integral que depende de R creciente. De esto se sigue la convergencia de la integral impropia.
Pero ademas, trivialmente
Z
n(r)
n(r)
6
dt,
+1
r
t
r
de donde se sigue el lmite.

25.24. El exponente de convergencia de la sucesion {an }n>1 es igual al orden de su
P ROPOSICI ON
funcion de conteo.
El teorema de Hadamard
111
. Sea 0 el exponente de convergencia de la sucesion y 0 el orden de su funcion

D EMOSTRACI ON
de conteo. Sea > 0 . Entonces, la serie en (25.36) converge, y por el lema 25.23
lm
n(r)
= 0.
r
Lueg 0 6 , y siendo arbitrario, tenemos que 0 6 0 .

Por otro lado, para cada > 0
n(t) <c t0 +/2 ,
de donde la integral
Z
n(t)
t0 +1+
dt
n(r)
converge y lm 0 + = 0. Se sigue del lema 25.22 que la serie en (25.36) converge para = 0 + ,
r r
de donde 0 6 0 + . Haciendo 0, obtenemos 0 6 0 .

T EOREMA 25.25 (Hadamard). El exponente de convergencia de la sucesion de ceros de una funcion
entera no excede el orden de crecimiento de la funcion.
. De la proposicion 25.12,
D EMOSTRACI ON
n(r) < ln Mf (er) + C,
donde C es una constante independiente de r > 0. De ah
lm sup
r
ln ln Mf (er)
ln ln Mf (r)
ln n(r)
6 lm sup
6 lm sup
.
ln r
ln r
ln r
r
r
El exponente de convergencia de la sucesion resulta ser el termino al lado izquierda de la anterior desigualdad, por medio de las proposiciones 25.21 y 25.24, mientras que el orden de convergencia resulta
ser el termino a la derecha, por la proposicion 25.16.

6.
T EOREMA 25.26 (Hadamard). Una funcion entera f de orden finito puede ser desarrollada en la
forma
f (z) = z m eP (z)
(25.37)
n=1
Ep
z
,
an
donde a1 , a2 , . . . , son todas las races no nulas de la funcion f , repetidas segun su multiplicidad, m es
la multiplicidad de z = 0 como raz de f , p 6 , y P (z) es un polinomio de grado q 6 .
. Por el teorema 25.25, en el teorema 23.8 podemos tomar en = p = para
D EMOSTRACI ON
n > 1, de modo que el producto infinito en (25.37) converge. Esto a su vez garantiza la buena definicion
de la funcion definida por

X
z
zp i
z
P (z) = log f (z)
log 1
+ + p .
+
an
an
pan
n=1
Esta funcion esta definida en el plano complejo C desprovisto de la coleccion de rayos {an : > 1},
generando un conjunto D , abierto, simplemente conexo y denso en C.
Derivando p + 1 veces la funcion P , obtenemos
(25.38)
(p+1)
(p+1) X
(z) = log f (z)
n=1
1
.
(an z)p+1
112
Por otro lado, derivando p + 1 veces la formula (25.32) del teorema 25.8 tenemos, para R > 0
Z
X

(p+1)
(p + 1)! 2
2Rei
p!
i
=
d
ln
f
(Re
)
+
log f (z)
(an z)p+1
2
(Rei z)p+2
0
|am |<R
(25.39)
X
p!am p+1
+
(R2 am z)p+1
|am |<R
Vamos a estimar los terminos al lado derecho de esta u ltima ecuacion. Sea 0 < < 1, recordemos que
ln Mf (R) <c R+ ,
n(R) <c R+ ,
la u ltima desigualdad asintotica dado que el orden de la funcio de conteo de ceros iguala al exponente
de convergencia de la sucesion de ceros, y e ste no excede el orden de crecimiento de la funcion.
Siendo |z| = r, el primer termino al lado derecho de (25.39) se estima como
|| 6
2r
(p + 1)!
ln Mf (R)
2
2
(R r)p+1
<
c
2R+1+
(p + 1)!,
(R r)p+1
mientras que el segundo se estima como

X
p!
n(R)p!
|| 6
(R2 Rr)p+1 =
Rp+1
(R r)p+1
<
c
|am |<R
R+ p!
.
(R r)p+1
Por lo tanto, tomando R en (25.39), tenemos en (25.38), que

P (p+1) (z) = 0.
Esto implica que P (z) es un polinomio en z de grado 6 p 6 .

Por lo tanto, hemos probado (25.37) en D , que siendo denso en C, implica el resultado para todo
z C.

25.27. En el teorema de Hadamard, teorema 25.26, sea p el menor entero para el cual
D EFINICI ON
1
|a
|p+1
n=1 n
converge. Entonces, el entero q correspondiente es u nico, y el numero
g = m
ax{p, q}
es llamado el genero de la funcion entera f .
Se sigue inmediatamente del teorema de Hadamard que g 6 , el orden de f ; incluso g 6 .
E JEMPLO 25.28. Con las notaciones del teorema, toda funcion entera f de genero 0 se factoriza en
la forma

Y
z
1
f (z) = Cz m
,
am
n=1
donde C es constante. Vemos que si f (0) 6= 0, entonces C = f (0).

E JEMPLO 25.29. Consideremos la funcion entera f dada por
f (z) =
X
(1)k 2k
k=0
para z C. Como para z 6= 0

f (z 2 ) =
(2k + 1)!
sen(z)
,
z
zk
113
la funcion f es una funcion entera de orden 1/2 (y por lo tanto genero 0), con ceros simples en los
puntos z = n2 , n entero > 1, y f (0) = 1. Luego, f se factoriza como

Y
z
1 2 .
f (z) =
n
n=1
Desarrollando
f (z 2 ),
obtenemos la factorizacion canonica de la funcion seno:

Y
z2
1 2
sen(z) = z
n
n=1
para z C.
E JEMPLO 25.30. Con las notaciones del teorema, toda funcion entera f de genero 1 se factoriza en
la forma

Y
z az
1
f (z) = z m eaz+b
e m,
am
n=1
donde a y b son constantes.
Captulo 26
Las funciones gamma y zeta

1.
La funcion gamma de Euler
26.1. Definimos la funcion gamma de Euler para s = > 0 mediante la formula

D EFINICI ON
Z
et ts1 dt.
(s) =
0
Para verificar la buena definicion de (s), verificamos la convergencia de la integral que define (s).
En efecto, para t > 1, si k > + 1, tenemos
|ts1 et | = |t|1 et 6 k!|t|2 ,
entonces la integral
Z
ts1 et dt
converge absolutamente para todo s C (no es necesario asumir > 0). Para > 0, 0 6 t 6 1,
tenemos
|ts1 et | 6 |t|1 ,
entonces la integral
Z
ts1 et dt
es absolutamente convergente. Por tanto tenemos la convergencia de la integral sobre compactos del
semiplano > 0.
Para > 1,
Z +
+ Z +
s t
s t
ts1 et dt,
t e dt = [t e ] +s
(s + 1) =
0
de donde
(s + 1) = s(s).
(26.40)
Ademas
(1) =
+
0
+

e dt = [e ] = 1,
t
de donde (n) = (n 1)! para n entero > 1.

Estando definida (s) para > 0, rescribiendo (26.40) como
(s) =
(s + 1)
,
s
lo que nos permite definir (s) para > 1 gracias a que la expresion a la derecha tiene sentido, salvo
por s = 0, que corresponde a un polo simple. Si repetimos este razonamiento, podremos mostrar el
siguiente resultado de inmediato.
T EOREMA 26.2. La funcion se extiende a una funcion meromorfa (en C), con polos simples en
0, 1, 2, 3, . . . y sin ceros.
115
116
2.
2.1.
La funcion zeta de Riemann
Definicion y primeras propiedades.
26.3. La funcion zeta de Riemann es definida para s = > 1 por

D EFINICI ON
+
X
1
.
(s) =
ns
n=1
L EMA 26.4. Sea s C con > 1. Denotamos por p1 = 2, p2 = 3, . . . , pn , . . . la sucesion de

numeros primos ordenados de manera creciente. Para m Z, m > 1 definimos
Sm = {n N : pi n pour 1 6 i 6 m}.
Entonces
(s)
(26.41)
n
Y
i=1
1
1 s
pi
X 1
.
ns
nSm
. Haremos la prueba por induccion. Para n = 1, tenemos

D EMOSTRACI ON

X

X
X
1
1
1
1
1
=
1
=
(s) 1 s
s
s
s
2
n
2
n
(2n)s
n=1
n=1
n=1
X 1
=
.
ns
nP1
Si (26.41) es valida para m, entonces

n+1
Y
1
=
(s)
1 s
pi

X 1
1
1 s
ns
pm+1
nSm
X
X 1
1
=
ns
(pm+1 n)s
nSm
nSm
X 1
=
,
ns
i=1
nSm+1
desde que Sm+1 = Sm \ pm+1 Sm para m > 1.
Ahora probaremos la llamada formula del producto de Euler para la funcion zeta.
T EOREMA 26.5. Para > 1, tenemos
(s) =
Y
p
1 1
,
ps
donde el producto a la derecha se extiende sobre el conjunto de los numeros primos, y la convergencia
del producto es uniforme para > a > 1. En particular, (s) no posee ceros en el semiplano > 1.
. Tenemos
D EMOSTRACI ON
Y
X 1
1 1 Y X 1 k
,
1 s
=
=
p
ps
ns
p6q
p6q
k=0
nSq
donde Sq es el conjunto de todos los enteros que son producto de numeros primos 6 q (incluyendo
n = 1). Tenemos N \ Sq {n Z, n > q + 1} por el teorema fundamental de la aritmetica, y

X
Y

1
1 1
(s)
.
6
1

s
p
n
p6q
n=q+1
La cota de la derecha es convergente a 0 cuando q , lo que nos da la formula deseada.
La funcion zeta de Riemann
117
2.2. La funcion theta. Ahora introducimos una funcion auxiliar que nos permitira estudiar las
simetras de la funcion zeta de Riemann.
26.6. Para (z) > 0, escribimos
D EFINICI ON
X
2
(z) =
en z .
nZ
L EMA 26.7 (Formula de Poisson). Sea f una funcion C tal que (1 + x2 )n f (x) es acotada para
todo n Z. Entonces
X
X
f(n).
f (n) =
nZ
nZ
. Introducimos la funcion
D EMOSTRACI ON
F (x) =
f (x + n).
nZ
Esta serie es absolutamente y uniformemente convergente, ademas F (x) tiene periodo 1. De donde F (x)
posee una expansion de Fourier
X
F (x) =
am e2imx
mZ
con coeficientes
am =
2imx
F (x)e
dx =
XZ
XZ
n+1
dx =
nZ 0
f (x + n)e2imx dx
0 nZ
2imx
f (x + n)e
f (x)e2imx dx =
XZ
f (x + n)e2im(x+n) dx
nZ 0
Z
f (x)e2imx dx = f(m).
nZ n
Entonces
F (x) =
f(m)e2imx
mZ
Evaluando en x = 0 obtenemos el resultado.
T EOREMA 26.8 (Ecuacion funcional de (t)). Para t > 0

1 1
.
(t) =
t
t
2
. Consideramos ft (x) = etx y calculamos

D EMOSTRACI ON
Z
Z
2
2ixy
etx e2ixy dx
ft (x)e
dx =
ft (y) =
2
2
=
et(xiy/t) /ty dx
Z
2
/ty 2
et(xiy/t) dx
=e
Un desplazamiento en la variable del integrando no altera su valor. Tenemos asi

Z
Z
Z
1
1
2
tx2
t(xiy/t)2
dx =
ex dx = .
e
dx =
e
t
t
En consecuencia
1
ft = f1/t .
t
118
Desde que
(t) =
ft (n),
nZ
obtenemos el resultado usando la formula de Poisson.

2.3.
La ecuacion funcional de la funcion (s).
26.9. Definimos
D EFINICI ON
(s) = s/2 (s/2)(s),
y
(x) =
(x) 1 X n2 x
=
e
.
2
n>1
T EOREMA 26.10 (Ecuacion funcional de la funcion zeta de Riemann). La funcion (s) admite una
prolongacion analtica a todo el plano complejo, salvo los puntos s = 0, s = 1, donde posee polos
simples con residuos
res( ; 0) = 1, res( ; 1) = 1.
Ademas satisface la ecuacion funcional
(s) = (1 s),
(26.42)
i.e.
(26.43)
2s
1s
s
1s
2 (
)(1 s).
( )(s) =
2
2
. En efecto
D EMOSTRACI ON
Z
Z
Z
1 1
1 1 s/2 dt
s/2 dt
s/2 dt
(t)t
(s) =
+
(t)t
t
t
2 0
t
2 0
t
1
Z 1
Z
dt 1
dt 1
(t)ts/2 .
(t)ts/2 +
=
t
2
t
s
0
1
Para calcular la segunda integral de la derecha, hacemos el cambio de variable t 1/t y usamos la
ecuacion funcional de (s). Entonces,
Z 1
Z 1
1 s/2 dt
s/2 dt
(t)t
t
=
t
t
t2
0
+
Z
Z +
1s dt
1 s/2 dt
t
(t)t 2
=
=
2
t
t
t
1
1
Z
Z
1s dt
1s dt
t 2
+
(t)t 2
=2
t
t
1
1
Z
1s dt
2
(t)t 2
=2
t
1s
1
De donde
1
1
s
1
s
1
para (s) > 1. Mas la integral anterior esta definida para todo valor de s (pues (t) decrece rapidamente), esto nos da la continuacion analtica de (s) para todo s. Ademas (26.42) es evidente de u ltima
expresion.

(s) =
(t)[ts/2 + ts/2 ]dt
Localizacion de los ceros de (s)
119
C OROLARIO 26.11. La funcion (s) admite una prolongacion analtica a todo el plano complejo,
salvo el punto s = 1, donde tiene un polo simple. Ella satisface la ecuacion funcional
(s) = (1 s)
para todo s C, donde
1
(s) = s(s 1) (s)
2
es una funcion entera.

Un estudio mas fino de la funcion gamma permite mostrar que la funcion es de hecho una funcion
entera de orden 1, lo que implica que posee una factorizacion de la forma
Y
s s/
e
1
(s) =
para s C.
3.
Localizacion de los ceros de (s)
Concluimos del teorema 26.5 que la funcion (s) no posee ceros en la region > 1. Ademas, de
la ecuacion funcional obtenemos que (s) = 0 para s = 2k con k Z, k < 0 (s entero par negativo).
Llamamos a estos ceros los ceros triviales de la funcion zeta.
Los ceros no triviales de la funcion zeta, se encuentran en la banda 0 6 6 1, estando distribuidos
de manera simetrica respecto a la recta = 1/2. Mostraremos que la funcion (s) no posee ceros en la
recta = 1 (y por tanto tampoco en la recta = 0).
L EMA 26.12. Para > 1, tenemos

4

(26.44)
()3 ( + i ) ( + 2i ) > 1.
. Por el teorema 26.5 tenemos para > 1,

D EMOSTRACI ON
X
XX
m1 pms
log (s) =
log(1 ps ) =
p
p m=1
XX
m1 pm emi log p
p m=1
y
log (s) =
XX
m1 pm cos(m log p).
p m=1
A partir de la desigualdad
2
3 + 4 cos() + cos(2) = 2 1 + cos() > 0
y la u ltima ecuacion, obtenemos
log () + 4 log ( + i ) + log ( + 2i ) > 0,
de donde obtenemos (26.44).
1
y
1
m
( + it) ( 1) para algun m > 1 (por hipotesis de anulacion de (s)), y ( + 2it) es acotada
cuando 1 (pues (s) es holomorfa en s = + 2it). Cuando reemplazamos las estimaciones en la
ecuacion (26.44), obtenemos que el lado izquierdo es el producto de una funcion acotada por el factor
( 1)4m3 , esto es una funcion que converge hacia 0 cuando 1, un absurdo.
Supongamos que (1 + i ) = 0 con 6= 0. Cuando 1, tenemos que ()
T EOREMA 26.13. Los enteros pares negativos s = 2, 4, 6, . . . son ceros simples de la funcion
zeta de Riemann, llamamos a e stos ceros triviales. Los ceros no triviales de (s) se encuentran en la
banda crtica 0 < < 1, distribuidos de manera simetrica a la recta crtica = 1/2.
120
Finalmente, mencionamos la siguiente conjetura con respecto a la localizacion de los ceros: Hipotesis
1
de Riemann. Los ceros no triviales de la funcion zeta de Riemann se encuentran en la recta = , esto
2
1
es, si s C, 0 < < 1 y (s) = 0, entonces = .
2
La distribucion de los numeros primos y la de los ceros de la funcion zeta de Riemann se encuentran
estrechamente relacionadas, por lo que toda informacion relevante sobre la distribucion de los ceros de
la funcion zeta de Riemann tiene implicaciones aritmeticas; el lector interesado en la funcion zeta puede
revisar el texto clasico de Titchmarsh [21].
Captulo 27
Estabilidad de funciones enteras

Este captulo tiene como objetivo dar una pequena muestra de mi propio trabajo sobre el estudio de
estabilidad de funciones enteras y su relacion con problemas de la teora de numeros.
1.
Funciones estables
27.1. Sea h(s) una funcion entera y a R; diremos que h(s) es estable con respecto
D EFINICI ON
a la recta = a, si todos sus zeros estan en el semiplano < a (y le diremos simplemente estable en
el caso a = 0).
Reenunciamos un resultado originalmente debido a de Branges [6, Lemma 5], y redescubierto por
Lagarias en [10, Lemma 2.2].
27.2. Sea h(s) una funcion entera estable con respecto a la recta = a, y tal que
P ROPOSICI ON
la funcion
h(2a s)
F (s) =
h(s)
satisface
|F (s)| < 1 para > a.
Entonces
I ) las funciones f (s) = f (s) = h(s) h(2a s) poseen todos sus ceros sobre la recta = a;
II ) toda funci
on de fase ( ) = arg h(a + i ), es una funcion estrictamente creciente. Por lo tanto,
todos los ceros de las funciones f (s) son simples y se encuentran intercalados sobre la recta
= a.
. Para > a, |f (s)| > |h(s)| 1 |F (s)|) > 0, luego por la ecuacion funcional,
D EMOSTRACI ON
para < a, se tiene que 2a > a y |f (s)| = |f (2a s)| = |f (2a s)| > 0. Eso muestra
(I ). Reenviamos al lector a la demostracion de [10, Lemma 2.2] para la prueba de que la funcion es
creciente. Siendo

h(a + i ) = h(a + i )ei( ) ,
tenemos que
f + (a + i ) = h(a + i ) + h(a i ) = h(a + i ) + h(a + i )

= 2h(a + i ) = 2h(a + i )| cos (t)
f (a + i ) = h(a + i ) h(a i ) = h(a + i ) h(a + i )

= 2ih(a + i ) = 2ih(a + i )| sen (t),
lo que muestra que los ceros de f + y f son intercalados.
Un argumento simple muestra

Yque un polinomio estable no constante satisface las condiciones de la
proposicion 27.2. Sea p(s) = a0 (s ) la factorizacion de p(s), y F (s) = p(s)/p(s). Se tiene que

p(s) Y s Y s +

F (s) =

s =
s .
p(s) =
121
122
Sea = + i un cero de p(s); se tiene que < 0. Para s = + i , la desigualdad |s + | < |s |,

donde
( + )2 + ( )2 < ( )2 + ( )2
es
a 4 < 0. Dado que < 0, debemos tener que > 0. Esto muestra que la desigualdad
equivalente

F (s) < 1 es satisfecha, al serlo para cada termino del producto que la determina.
Volemos extender la condicion de la proposicion 27.2 a funciones enteras. El procedimiento dado
por los polinomios es tambien valido para las funciones de genero 0 [12, Part I, 4.2], que se factorizan
del mismo modo que los polinomios. Sin embargo, las funciones en las que se esperan las aplicaciones,
tales como la funcion (s) de Riemann o las funciones L, son de genero 1, y poseen una factorizacion
menos sencilla que la de las de genero 0.
El siguiente resultado es establecido por Suzuki y Lagarias en [11, Theorem 4, 2] para funciones
reales sobre la recta real. Puede ser comparado al resultado clasico de Polya [17, Hilfssatz II].
2.
Un criterio de estabilidad
T EOREMA 27.3. Sea h(s) una funcion entera de genero 0 o 1, que satisface una ecuacion funcional
de la forma
h(2a s) = ei h(s)
(27.45)
para algun 0 6 < 2, y tal que sus ceros se encuentran incluidos en una banda vertical
| a| < b,
donde b > 0, y > b. Entonces

h(s )

h(s + ) < 1 para > a.
. Sn perdida de generalidad, podemos considerar el caso a = 0. Supondremos

D EMOSTRACI ON
inicialmente ademas que h(0) 6= 0. Consideramos la factorizacion de Weierstrass de h(s)
Y
s s/
e ,
1
(27.46)
h(s) = eA+Bs
donde
X 1
< +, || < b para todo . La ecuacion funcional h(s) = ei h(s) implica que si
2
||
h() = 0, entonces h() = ei h() = 0. Luego, podemos reagrupar los ceros = + i en bloques
de la forma B() = {, } para 6= 0, y B() = {} para = 0. Esto nos da
Y
s s(1/1/) Y
s s(1/)
s
1+
e
e
1
1
h(s) = eA+Bs
B()
6=0
=0
y 1/ 1/ = 2i/||2 . Por lo tanto, podemos redistribuir las constantes y escribir

Y
s c()s
A+Bs
e
,
1
h(s) = e

donde c() = i/||2 (lo que aqu es importante es el hecho que c() = 0), y el producto (as como
todos los productos en adelante) es condicionalmente convergente,
Y
Y
s c()s
s c()s
e
= lm
1
e
.
1
T
||<T
La derivada logartmica de h(s) (de (27.46)) evaluada en s = 0 es h (0)/h(0) = B, y por la

ecuacion funcional
h (0)
h (0)
=
= B,
B=
h(0)
h(0)
de donde (B) = 0.
Un criterio de estabilidad
123
Luego, para > b, s = + i

h(s ) Y 1

h(s + ) =
1
s

s+
Y s +

=
s
y nuevamente por la simetra de los ceros

h(s ) Y s +

=

h(s + )
s .
Mostraremos que cada termino de este producto satisface la desigualdad esperada. La desigualdad
(27.47)
| s | < | s + |
es equivalente a
( )2 + ( )2 < ( + )2 + ( )2
o ( ) < 0. Como < b 6 0, entonces se tiene que (27.47) si y solo si > 0. Esto nos
da la conclusion del teorema en este caso.
Volviendo al caso general, si s = 0 es un cero de multiplicidad m de h(s), podemos escribir h(s) =
sm h1 (s), donde h1 (0) 6= 0, h1 (s) = ei1 h(s) (1 = si m est par, 1 = si m est impar) y
podemos obtener las desigualdades esperadas para h1 (s). Ademas

s

s + < 1 pour > 0,
lo que junto con la desigualdad para h1 (s) nos da el resultado.
Debido a la ecuacion funcional, el teorema 27.3 establece que la funcion h(s + ) verifica las
condiciones de la proposicion 27.2. Ahora describimos rapidamente ciertas aplicaciones obtenidas al
combinar estos resultados. Conservamos la notacion del teorema 27.3 para a = 12 , y b.

E JEMPLO 27.4. Sean h(s) = (2s 21 ), a = 21 , b = = 41 . La funcion (2s) = h s + 14 satisface
las condiciones de la proposicion 27.2, de donde la funcion
(2s) (2 2s)
1
posee todos sus ceros simples, alineados sobre la recta = . Fue para probar esto que el teorema
2
27.3, aplicado a una funcion real sobre la recta real, fue introducido por Lagarias y Suzuki en [11].
Esta funcion haba sido anteriormente introducida en el estudio de argumentos heursticos a favor de la
hipotesis de Riemann.
E JEMPLO 27.5. La funcion (s + ) satisface las condiciones de la proposicion 27.2 incondicionalmente para > 21 (a = 21 , b = 12 ), y bajo la hipotesis de Riemann para > 0 (en este caso b es
cualquiera). Esto nos lleva a resultados sobre la ubicacion de los ceros para las funciones
(s + ) (s );
Lagarias estudio estas funciones como perturbaciones de las funciones (s), mostrando su relacion con
la conjetura GUE para la hipotesis de Riemann (cf. [10])
E JEMPLO 27.6. Las funciones (s + , ), asociadas a los caracteres primitivos de conductor N >
1, satisfacen las condiciones de la proposicion 27.2 incondicionalmente para > 21 , y bajo la hipotesis
de Riemann para L(s, ) para > 0. Estas funciones han sido tambien consideradas por Lagarias en
[10].
E JEMPLO 27.7. La funcion de Bessel K() (2A) dependiendo del parametro A > 0, definida por
Z
e2A cosh es d
2Ks (2A) =
124
es una funcion entera, estudiada por Polya en [17]. En este trabajo, Polya ubica los ceros de la funcion
en la banda || < 1 = b, para despues mostrar que son simples y estan alineadas sobre la recta = 0,
gracias a la identidad

sKs (2A) = A K1+s (2A) K1s (2A) .
La u ltima parte del trabajo correspondiente puede ser reemplazada con nuestro tratamiento, en el caso
a = 0. El trabajo de Polya es claramente un precursos de nuestro trabajo; es sorprendente la relacion
que tiene con los problemas de estabilidad de funciones que estudiamos.
Bibliografa
[1] L. V. Ahlfors. Complex analysis. McGraw-Hill Book Co., New York, third edition, 1978. An introduction to the theory
of analytic functions of one complex variable, International Series in Pure and Applied Mathematics.
[2] E. Amar and E. Matheron. Analyse complexe. Cassini, Paris, 2004.
[3] T. M. Apostol. Modular functions and Dirichlet series in number theory, volume 41 of Graduate Texts in Mathematics.
Springer-Verlag, New York, second edition, 1990.
[4] R. Bellman and K. L. Cooke. Differential-difference equations. Academic Press, New York, 1963.
[5] N. G. Cebotarev
and N. N. Meman. Problema Rausa-Gurvica dl polinomov i celyh funkci
i (el
problema de Routh-Hurwitz para polinomios y funciones enteras). Trudy Mat. Inst. Steklov., 26:331, 1949. Appendix by
G. S. Barhin and A. N. Hovanski.
[6] L. De Branges. Some Hilbert spaces of entire functions. Proc. Amer. Math. Soc., 10(5):840846, 1959.
[7] N. G. de Bruijn. The roots of trigonometric integrals. Duke Math. J., 17:197226, 1950.
[8] O. Holtz. Hermite-Biehler, Routh-Hurwitz, and total positivity. Linear Algebra Appl., 372:105110, 2003.
[9] K. Kodaira. Complex analysis, volume 107 of Cambridge Studies in Advanced Mathematics. Cambridge University Press,
Cambridge, volume edition, 2007. Translated from the 1977 Japanese original by A. Sevenster, Edited by A. F. Beardon
and T. K. Carne.
[10] J. C. Lagarias. Zero spacing distributions for differenced L-functions. Acta Arith., 120(2):159184, 2005.
[11] J. C. Lagarias and M. Suzuki. The Riemann hypothesis for certain integrals of Eisenstein series. J. Number Theory,
118(1):98122, 2006.
[12] B. Y. Levin. Lectures on entire functions, volume 150 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1996. In collaboration with and with a preface by Yu. Lyubarskii, M. Sodin and V.
Tkachenko, Translated from the Russian manuscript by Tkachenko.
[13] B. Y. Levin. Lectures on entire functions, volume 150 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1996. In collaboration with and with a preface by Yu. Lyubarskii, M. Sodin and V.
Tkachenko, Translated from the Russian manuscript by Tkachenko.
[14] E. Lima. Analisis real, vol. 1. Textos del IMCA, Lima, 1997.
[15] E. L. Lima. Curso de analise. Vol. 1, volume 1 of Projeto Euclides [Euclid Project]. Instituto de Matematica Pura e
Aplicada, Rio de Janeiro, 1976.
[16] E. L. Lima. Espacos metricos, volume 4 of Projeto Euclides [Euclid Project]. Instituto de Matematica Pura e Aplicada,
Rio de Janeiro, 1977.
[17] G. Polya. Bemerkung Uber

die Integraldarstellung der Riemannschen -Funktion. Acta Math., 48(3-4):305317, 1926.
[18] M. M. Postnikov. Usto
iqivye mnogoqleny. Nauka, Moscu, 1981.
[19] W. Rudin. Real and complex analysis. McGraw-Hill Book Co., New York, third edition, 1987.
[20] E. C. Titchmarsh. The theory of Functions. The Clarendon Press Oxford University Press, New York, second edition,
1939.
[21] E. C. Titchmarsh. The theory of the Riemann zeta-function. The Clarendon Press Oxford University Press, New York,
second edition, 1986. Edited and with a preface by D. R. Heath-Brown.
[22] O. Velasquez Castano n. Sur la repartition des zeros de certaines fonctions meromorphes liees a` la fonction zeta de
Riemann. PhD thesis, Universite Bordeaux 1, Francia, Setiembre 2008.
[23] O. Velasquez Castano n. Majoration du nombre de zeros dune fonction meromorphe en dehors dune droite verticale et
applications. J. Anal. Math., 110:67127, 2010.
125

Analisis Complejo Imca Uni

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Analisis Complejo Imca Uni

Cargado por

Copyright:

Formatos disponibles

ANALISIS

Captulo 1. Numeros complejos

Captulo 2. Espacios metricos y normados

Captulo 3. Sucesiones y series

Captulo 4. Nociones basicas de topologa

Captulo 5. Funciones en espacios metricos y normados

Parte 2. Analisis complejo

Captulo 6. Funciones holomorfas o analticas

Captulo 7. Series de potencias

Captulo 8. La funcion exponencial

Captulo 9. Integracion sobre arcos

Captulo 10. Teora local de Cauchy

Captulo 11. Estructura de ceros de una funcion holomorfa

Captulo 12. Consecuencias del teorema de Cauchy

Captulo 13. El teorema de la aplicacion abierta

Captulo 14. Convergencia de una sucesion de funciones holomorfas

Captulo 15. Singularidades

Captulo 16. Teorema homologico de Cauchy

Captulo 17. El teorema homotopico de Cauchy

Captulo 18. Serie de Laurent

Captulo 19. Variacion de argumento

Captulo 20. Calculo practico del ndice

Captulo 21. Funciones meromorfas y calculo de residuos

Captulo 22. Contando ceros y polos al interior de un contorno

Captulo 23. Productos infinitos

Captulo 24. El teorema del mapeo conforme de Riemann

Captulo 25. Funciones de orden finito

Captulo 26. Las funciones gamma y zeta

Captulo 27. Estabilidad de funciones enteras

Ilustracion de la prueba del teorema 7.2 . . . . . . . . . . . . . . . . . . . . . . . . . . 28

21.1 Contorno del ejemplo 21.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

La siguiente proposicion muestra qye

1.2. El conjunto de los numeros complejos satisface las siguientes propiedades

Asociatividad de la suma: para todo z1 , z2 , z3 C, (z1 + z2 ) + z3 = z1 + (z2 + z3 )

Inverso multiplicativo: para todo z C = C\{0}, z = (a, b), el elemento w = a2 +b

E JERCICIO 1.1. Demuestre la proposicion 1.2.

Modulo y conjugado, partes real e imaginaria

1.3 (Conjugado). Definimos el conjugado de z = (a, b) = a + ib como

1.6. Se cumplen, para z1 , z2 C:

Observe que ambos son numeros reales, y

Espacios metricos y normados

d(x, y) > 0 para todo x, y X; d(x, y) = 0 si y solo si x = y;

El par (X, d) es llamado espacio metrico.

E JEMPLO 2.2. Fijado n N, consideramos el espacio n-dimensional

Sobre Rn , podemos definir las metricas d1 , d2 , d : Rn Rn R para x = (x1 , x2 , . . . , xn ), y =

d (x, y) 6 d2 (x, y) 6 n d (x, y),

d (x, y) 6 d1 (x, y) 6 n d (x, y)

es un espacio metrico, provisto de la metrica

Espacios metricos y normados

2.6. Sea E un K-espacio vectorial, donde K = R o C. Una norma sobre E es una

Sucesiones y series numericas

3.1 (Sucesion). Una sucesion en un conjunto A es una funcion x : N A La imagen

Si la sucesion no es convergente, decimos que es divergente.

2) si C, la sucesion {xn }n>1 es convergente y lm (xn ) = a;

3) la sucesion {xn yn }n>1 es convergente y lm xn yn = a b;

Sucesiones de Cauchy y completitud

Decimos que la serie

y se denomina la suma de la serie xn .

< 1 y diverge si lm sup kxn k

E JEMPLO 3.21. El criterio anterior nos permite probar que

bn series convergentes de numeros complejos, con

T EOREMA 3.23 (Producto de Cauchy de series). Sean

an absolutamente convergente con