Variablecompleja (No)

VARIABLE COMPLEJA
Oscar Blasco
Contenido
1 El cuerpo de los n umeros complejos 5
1.1 Consideraciones algebr aicas de C . . . . . . . . . . . . . . . . 5
1.2 Consideraciones topol ogicas: Conexion. . . . . . . . . . . . . . 7
1.3 Consideraciones topol ogicas: Compacidad . . . . . . . . . . . 9
1.4 Problemas propuestos . . . . . . . . . . . . . . . . . . . . . . . 13
2 Holomorfa y nociones asociadas 17
2.1 Funciones holomorfas . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Ecuaciones de Cauchy-Riemann . . . . . . . . . . . . . . . . . 19
2.3 Funciones armonicas . . . . . . . . . . . . . . . . . . . . . . . 22
3 Series de potencias y nociones asociadas 25
3.1 Series de funciones y de potencias . . . . . . . . . . . . . . . . 25
3.2 Funciones analticas . . . . . . . . . . . . . . . . . . . . . . . . 32
4 Funciones elementales 37
4.1 Funcion exponencial . . . . . . . . . . . . . . . . . . . . . . . 37
4.2 Argumentos y logaritmos . . . . . . . . . . . . . . . . . . . . . 42
5 Integraci on sobre caminos 53
5.1 Integraci on sobre caminos. . . . . . . . . . . . . . . . . . . . . 53
5.2 Construcci on de funciones holomorfas . . . . . . . . . . . . . . 57
3
4 CONTENIDO
6 Teorema de Cauchy para circunferencias y aplicaciones 63
6.1 Teorema de Cauchy en abiertos estrellados . . . . . . . . . . . 63
6.2 F ormulas de Cauchy y aplicaciones . . . . . . . . . . . . . . . 65
6.3 Problemas propuestos. . . . . . . . . . . . . . . . . . . . . . . 70
7 Teorema homologico de Cauchy. 73
7.1 Indice de un punto respecto de un camino . . . . . . . . . . . 73
7.2 El teorema homologico de Cauchy . . . . . . . . . . . . . . . . 77
7.3 Conjuntos simplemente conexos. . . . . . . . . . . . . . . . . . 80
8 Singularidades y desarrollos de Laurent 85
8.1 Ceros y singularidades. . . . . . . . . . . . . . . . . . . . . . 85
8.2 Desarrollos de Laurent. . . . . . . . . . . . . . . . . . . . . . 91
8.3 Problemas propuestos. . . . . . . . . . . . . . . . . . . . . . . 99
9 Teorema de los residuos y aplicaciones 101
9.1 Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . 101
9.2 Aplicaciones a integrales y series . . . . . . . . . . . . . . . . . 105
9.3 Consecuencias del Teorema de los residuos. . . . . . . . . . . . 123
Captulo 1
El cuerpo de los n umeros
complejos
1.1 Consideraciones algebraicas de C
Existen varias maneras de llegar a la denici on del mismo. Una forma
elegante de hacerlo viene de la mano de la teora de cuerpos cocientes, puesto
es el mnimo cuerpo algebraicamente cerrado que contiene a R. Denotemos
P[x] el anillo de los polinomios en una variable con coecientes reales y
(x
2
+ 1) el ideal maximal generado por el polinomio x
2
+ 1.
Proposicion 1.1.1 (i) P[x]/(x
2
+ 1) es un cuerpo conmutativo.
(ii) La ecuacion x
2
+ 1 = 0 tiene solucion en P[x]/(x
2
+ 1).
(iii) Contiene un subcuerpo isomorfo a R.
(iv) P[x]/(x
2
+ 1) es el mnimo cuerpo que cumple (ii) y (iii).
Nota 1.1.1 Dado q(x) P[x]/(x
2
+ 1) podemos escribir
q(x) = p(x)(x
2
+ 1) +bx +a,
y por tanto q(x) bx +a. Esto permite identicar P[x]/(x
2
+ 1) = R
2
.
Observar que si q
1
(x) = p
1
(x)(x
2
+1) +bx +a, y q
2
(x) = p
2
(x)(x
2
+1) +
b
x +a
entonces
q
1
(x) +q
2
(x) = (p
1
(x) +p
2
(x))(x
2
+ 1) + (b +b
)x + (a +a
),
q
1
(x)q
2
(x) = q(x)(x
2
+ 1) + (ab
+b
a)x + (aa
bb
)
5
6 Captulo 1. El cuerpo de los n umeros complejos
Proposicion 1.1.2 En R
2
denimos las operaciones
(a, b) + (a
, b
) = (a +a
, b +b
),
(a, b)(a
, b
) = (aa
bb
, a
b +ab
).
Entonces P[x]/(x
2
+ 1) = R
2
es un isomorsmo de cuerpos.
Proposicion 1.1.3 Sea M
2
(R) = A = (a
i,j
) : a
i,j
R, j 1, 2.
Considerar C = A = (a
i,j
) M
2
(R) : a
1,1
= a
2,2
, a
1,2
= a
2,1
.
_
a b
b a
__
a
_
=
_
aa
bb
ab
+a
b
ab
b aa
bb
_
Entonces P[x]/(x
2
+ 1) = C isomorsmo de cuerpos.
Nota 1.1.2 El elemento (0, 1) = [x] = D donde D = (a
i,j
) con a
1,1
= a
2,2
=
0, a
1,2
= 1 y a
2,1
= 1 se denota por i.
Todos estos cuerpos se denotan por
C = z = x +iy : x, y R.
Denici on 1.1.4 Dado z = x +iy C se denen:
Re(z) = x, Im(z) = y,
z = x iy el conjugado de z,
[z[ =
x
2
+y
2
el modulo de z.
Proposicion 1.1.5 (i) C es un espacio vectorial de dimension 2 sobre R.
(ii) C no tiene una estructura de orden compatible con la estructura de
cuerpo, ya que i
2
= 1.
(iii) La aplicacion z z es un automorsmo de C con las siguientes
propiedades:
z = z, z z = [z[
2
y z = z z R.
Ademas Re(z) =
z+ z
2
, Im(z) =
z z
2i
.
(iv) La aplicacion z [z[ es una norma sobre C vericando:
[ z[ = [z[, max[Re(z)[, [Im(z)[ [z[.
1.2. Consideraciones topol ogicas: Conexi on. 7
1.2 Consideraciones topologicas: Conexi on.
Observese que la propiedad (iv) de la ultima proposicion permite dar a C
una estructura de espacio de Banach (normado y completo), en particular de
espacio metrico, y que la distancia que se genera corresponde con la euclidea.
En este sentido (C, [.[) es homeomorfo a (R
2
, d
2
), siendo d
2
((x, y), (x
, y
)) =
[z z
[ para z = x +iy y z
= a
+ib
.
Denotaremos por G(C) y K(C) el conjunto de abiertos y de compactos de
C.
Dados z
0
C y r > 0, escribiremos D(z
0
, r) = z C : [z z
0
[ < r y
D(z
0
, r) = z C : [z z
0
[ r. D corresponde a D(0, 1).
Denici on 1.2.1 Una aplicacion contnua de un intervalo en C, : [a, b]
C se denomina curva.
(a), (b) son los puntos inicial y nal de la misma.
Denotamos
= (t) : t [a, b] el rango de la curva.

Una curva se dice cerrada si (a) = (b),
simple (o arco) si es inyectiva y
cerrada simple cuando es inyectiva sobre [a, b) y (a) = (b).
(Notar que estas deniciones tienen sentido en un espacio topologico gen-
eral).
Una curva se dice diferenciable en [a, b] si es derivable en (a, b) y existen
(a
+
),
(b
) y ademas
es contnua.
Una curva se dice camino cuando es existe una particion t
0
= a < t
1
<
...t
n
= b tal que [
[t
i
,t
i+1
]
es diferenciable.
(Nota: En un camino las derivadas laterales en los puntos t
i
existen pero
no tienen porque coincidir.)
Nota 1.2.1 Un segmento [z, w] es el conjunto de puntos resultante de unir
ambos con una recta, es decir [z, w] = (1 t)z +tw : 0 t 1.
Una poligonal es un camino formado por segmentos.
Una circunferencia (t) = cost+isent : t [0, 2] es un camino cerrado
simple.
Denici on 1.2.2 Sea un subconjunto de C.
Se dice conexo si no existen dos abiertos (relativos) no vacos disjuntos
cuya union da , es decir no existen A, B G(C) tales que A
1
= A y
B
1
= B cumplen que A
1
B
1
= y A
1
B
1
= .
Se dice conexo por arcos si cada par de puntos puede unirse por un arco.
Se dice convexo si para todo par de puntos z, z
el segmento [z, z
]
.
Se dice estrellado si existe z
0
tal que para todo z el segmento
[z
0
, z] .
Se dice regi on si es un abierto no vaco y conexo.
Denici on 1.2.3 Sea ,= C
1
se dice componente conexa de
si es un subconjunto conexo maximal.
Proposicion 1.2.4 Sea ,= C.
(i) Toda componente conexa de es relativamente cerrado.
(ii) Componentes conexas distintas son disjuntas.
(iii) Todo conexo de esta en una y solo una componente conexa.
(iv) es union (disjunta) de sus componentes conexas.
(v) Si es acotado entonces existe una unica componente no acotada en
C .
(vi) Si G(C) entonces sus componentes conexas son abiertas y ademas
tiene un n umero contable (nito o numerable) de ellas.
Proposicion 1.2.5 Sea ,= C y z
0
.
(i) es conexo por arcos todo z puede unirse a z
0
por un arco
contenido en .
(ii) Si es conexo por arcos entonces tambien es conexo.
Demostracion (i) Obvio.
Sean z, z
y
1
,
2
arcos parametrizados en [0, 1] tales que
1
(0) =
z,
1
(1) = z
0
,
2
(0) = z
0
y
2
(1) = z
. Es claro que si denimos

(t) =
1
(2t), t [0, 1/2],
(t) =
2
(2t 1), t [1/2, 1],
entonces tenemos una curva que une los puntos z y z
. Consideremos
A = t [0, 1/2] : existe s [1/2, 1],
1
(2t) =
2
(2s 1).
Si A = entonces es un arco.
Caso contrario sea t
0
= infA. Es f acil ver que t
0
= minA. Entonces
existe un unico s
0
[1/2, 1] tal que
1
(2t
0
) =
2
(2s
0
1). Por tanto
(t) =
1
(2t), t [0, t
0
],
1.3. Consideraciones topol ogicas: Compacidad 9
(t) =
2
(2s 1), s [s
0
, 1],
es un arco que une z y z
.
(ii) Sea z X. Escribimos
z
un arco contenido en que une z
0
y z. Al
ser =
z
es conexo, por ser uni on de conexos con un punto en com un.
Teorema 1.2.6 Sea ,= G(C). es conexo si y solo si es conexo por

poligonales (que pueden ser elegidas, en particular, con segmentos paralelos
a los ejes coordenados).
Demostracion. Si es conexo por poligonales, lo es por arcos, y por tanto
conexo seg un (ii) de Proposici on 1.2.5.
Sea z
0
. Denimos A el conjunto de los z tales que pueden
unirse por poligonales (de segmentos paralelos a los ejes) con z
0
. Es claro
que A ,= . Si comprobamos que A es abierto y cerrado, como es conexo,
entonces A = .
Si z A existe D(z, r) , y por tanto D(z, r) A. Luego A es abierto.
Si z A entonces existe D(z, r) (por ser un abierto) y ha de
cumplirse que D(z, r/2) A, pues en otro caso existira z
D(z, r/2)A,
es decir que puede unirse con poligonales paralelas a los ejes con z
0
, lo que
implica que z A. Por tanto A es cerrado y se concluye la demostracion.
1.3 Consideraciones topologicas: Compacidad

Denici on 1.3.1 Un espacio topologico se dice compacto si de todo cubrim-
iento abierto se puede extraer un subrecubrimiento nito.
Nota 1.3.1 Es claro que C no es compacto. (Usar G
n
= D(0, n) como
cubrimiento de abiertos sin subrecubrimientos nitos). Vamos a considerar
la compacticacion de Aleksandrov (o de un punto ).
Consideremos un punto / C, y denamos C
= C .
Sea G
= G(C
) = G O
donde
O
= C
K : K K(C)
es la familia de entornos de .
Teorema 1.3.2 (i) G
es una topologa en C
.
(ii) (C, G(C)) es un subespacio denso de (C
, G
).
(iii)(C
, G
) es un espacio topologico compacto.

(iv) La topologa anterior es la unica que cumple (ii) y (iii) salvo home-
omorsmos.
Demostracion
(i) Es claro que , C
.
Sean G
i
iI
G
. Pongamos I
1
= i I : G
i
G e I
2
= i I : G
i

O
. Se tiene que
iI
G
i
= (
iI
1
G
i
) (
iI
2
G
i
) = G (C
K
i
).
Dados G
1
, G
2
G
. Entonces G
1
G
2
G si G
1
, G
2
G, G
1
G
2
= G
1
K
2
si G
1
G y G
2
= C
K
2
, y nalmente G
1
G
2
= C
(K
1
K
2
) cuando
G
i
= C
K
i
para i = 1, 2.
(ii) Es obvio
(iii) Sea C
= G
i
. Tomar G
i
0
= C
K
0
tal que G
i
0
y observemos
que C
=
i=i
0
G
i
G
i
0
.
Como K
0

i=i
0
(G
i
C) usamos la compacidad en C para extraer un
subrecubrimiento nito y se combina con lo anterior.
(iv) Supongamos que tenemos (C
, ) espacio topol ogico con las dos

propiedades anteriores. Basta ver que si / G entonces existe K
K(C) con G = C
K. Sea K = C G. Es claramente compacto en C
(cerrado en compacto) pero no es difcil ver que de hecho es compacto en C.
Nota 1.3.2 C
es metrizable, pues es T
2
, regular y tiene base contable,
pero no existe ninguna metrica sobre C
extension de la euclidea sobre C.

En otras palabras el plano complejo no es una representacion el del trozo C
en C
.
En efecto: Supongamos : C
R
+
con (z, z
) = [z z
[ si
z, z
C.
Entonces n = (n, 0) (n, ) + (, 0). Como limn = entonces
(n, ) 0, lo que lleva a contradiccion.
Un posible modelo de C
viene dado por la Esfera de Riemann

S
2
= (x
1
, x
2
, x
3
) : x
i
R, x
2
1
+x
2
2
+x
2
3
= 1.
1.3. Consideraciones topol ogicas: Compacidad 11
El homeomorsmo viene dado por la llamada Proyeccion estereograca
que consiste en asignar a cada punto de la esfera el n umero complejo resul-
tante z = x +iy donde (x, y, 0) es el punto de corte de la recta en el espacio
que pasa por el polo norte N = (0, 0, 1) y el punto dado P = (x
1
, x
2
, x
3
).
Es claro que el polo sur S = (0, 0, 1) corresponde al origen z = 0 y que
el polo norte no tiene ning un correspondiente en C sino que se le asigna .
Teorema 1.3.3 La aplicacion : S
2
C
es un homeomorsmo que viene

dado por la siguiente formula:
((x
1
, x
2
, x
3
)) =
1
1 x
3
(x
1
+ix
2
) (x
3
,= 1),
((0, 0, 1)) = .
Ademas la aplicacion inversa
1
: C
S
2
viene dada por:
1
(z) = (
2Rez
1 +[z[
2
,
2Imz
1 +[z[
2
,
[z[
2
1
1 +[z[
2
) (z = x +iy),
1
() = (0, 0, 1).
Demostracion Sea P = (x
1
, x
2
, x
3
) S
2
con x
3
,= 0, N = (0, 0, 1), z =
x +iy y Z = (x, y, 0).
La ecuacion de la recta que pasa por N y P viene dada por:
((1 t)x
1
, (1 t)x
2
, t + (1 t)x
3
) : t R.
Con esto le punto (P) es el punto de corte de dicha recta con el plano
z = 0. La solucion es t
=
x
3
1x
3
, lo que determina
((x
1
, x
2
, x
3
)) =
1
1 x
3
(x
1
+ix
2
) (x
3
,= 1).
Asignando (N) = tenemos la denicion de la proyeccion estereogr aca.
Para el c alculo de la inversa. La ecuaci on de la recta que pasa por N y
Z viene dada por:
((1 t)x, (1 t)y, t) : t R.
Con esto le punto
1
(z) es el punto de corte de dicha recta con la esfera
S
2
. La solucion valida es t
=
1|z|
2
1+|z|
2
, lo que determina
1
(x +iy) = (
2x
1 +[z[
2
,
2y
1 +[z[
2
,
[z[
2
1
1 +[z[
2
) (z = x +iy).
Deniendo
1
() = N tenemos la inversa. Es una comprobaci on que
(
1
(z)) = z y
1
((P)) = P.
La continuidad de puede probarse por sucesiones (por ser metrizable).
Sea P
n
= (x
n
i
, x
n
2
, x
n
3
) S
2
P = (x
1
, x
2
, x
3
) S
2
. Veamos que (P
n
) =
z
n
(P) = z.
Si P ,= N, es decir x
3
< 1, podemos suponer x
n
3
< 1 para todo n n
0
.
Entonces z
n
z equivale a
2x
n
i
1x
n
3
2x
i
1x
3
para i = 1, 2.
Si P = N, es decir x
3
= 1, podemos suponer tambien x
n
3
< 1 para todo
n n
0
. Entonces z
n
equivale a [z
n
[ y se tiene que [z
n
[
2
=
1+x
n
3
1x
n
3
.
Queda como ejercicio al lector la demostraci on de la continuidad de
1
.
El homeomorsmo anterior permite de nuevo ver que C
es metrizable,
pero a un mas se puede ver una metrica que consiste en trasplantar la metrica
euclidea de S
2
a C
por la aplicaci on .
Denici on 1.3.4 Dados z, z
, y denotando por P =
1
(z) = (x
1
, x
2
, x
3
)
y Q =
1
(z
) = (x
1
, x
2
, x
3
) denimos la distancia cordal entre ellos al
valor
d
c
(z, z
) =
_
(x
1
x
1
)
2
+ (x
2
x
2
)
2
+ (x
3
x
3
)
2
.
Proposicion 1.3.5 Sean z, z
. Entonces
d
c
(z, z
) =
2[z z
[
_
1 +[z[
2
_
1 +[z
[
2
(z, z
C)
d
c
(, z) =
2
_
1 +[z[
2
z C.
Demostracion Es claro que si z, z
C
d
c
(z, z
) =
_
2 2(x
1
x
1
+x
2
x
2
+x
3
x
3
).
Por tanto
d
2
c
(z, z
) = 2
2
(1 +[z[
2
)(1 +[z
[
2
)
((z + z)(z
+

z
)
(z z)(z
) + ([z[
2
1)([z
[
2
1))
1.4. Problemas propuestos 13
= 2
2
(1 +[z[
2
)(1 +[z
[
2
)
(2 zz
+ 2z
+ ([z[
2
1)([z
[
2
1))
=
4
(1 +[z[
2
)(1 +[z
[
2
)
([z[
2
+[z
[
2
+ zz
+z
)
=
4[z z
[
2
(1 +[z[
2
)(1 +[z
[
2
)
.
El caso z = queda como ejercicio.
Proposicion 1.3.6 (i)
1
transforma rectas del plano en circunferencias
en S
2
que pasan por el polo norte.
(ii)
1
transforma circunferencias del plano en circunferencias en S
2
que no pasan por el polo norte.
1.4 Problemas propuestos
1.- Demostrar las siguientes propiedades:
a) [Rez[ [z[; [Imz[ [z[
b) [z
1
z
2
[ = [z
1
[[z
2
[
c) [z
1
+z
2
[
2
= [z
1
[
2
+[z
2
[
2
+ 2Re(z
1
z
2
)
d)[z
1
+z
2
[
2
+[z
1
z
2
[
2
= 2[z
1
[
2
+2[z
2
[
2
. Interpretar geometricamente este
resultado
2.- Dado un n umero complejo a ,= 0 , hallar todos los n umeros complejos
z ,= a para los cuales w =
z+a
za
es:
a) real
b) imaginario puro
3.- Sean z
1
y z
2
n umeros complejos tales que
z
1
+z
2
z
1
z
2
es imaginario puro.
Probar que [z
1
[ = [z
2
[.
4.- a) Hallar la ecuaci on compleja de la circunferencia cuyo centro es el
ajo del n umero complejo w y cuyo radio es r .
Probar que la ecuaci on puede expresarse en la forma z z + az +a z +b = 0,
determinando a y b .
b) Comprobar que [z +a[
2
+[z a[
2
= 4[a[
2
, donde a C es un n umero
dado, es la ecuaci on de una circunferencia. Hallar el centro y el radio.
5.- Demostrar que si [z
1
[ = [z
2
[ = [z
3
[ y z
1
+z
2
+z
3
= 0 entonces los ajos
de los n umeros complejos z
1
, z
2
, z
3
son los vertices de un tri angulo equil atero.
6.- a) Demostrar que si a
0
, a
1
, a
2
, ..., a
n1
son n umeros reales y a + bi (a
y b reales) satisface la ecuaci on z
n
+a
n1
z
n1
+... +a
1
z +a
0
= 0 , entonces
a bi satisface tambien esta ecuacion. Por tanto las races no reales de una
ecuaci on de este tipo se presentan siempre por pares.
b) Concluir que z
n
+ a
n1
z
n1
+ ... + a
1
z + a
0
= 0 es divisible por z
2
2az + (a
2
+b
2
), cuyos coecientes son reales.
7.- Demostrar que los ajos de las races de la ecuaci on (z +1)
n
+z
n
= 0
est an situados sobre la recta x =
1
2
.
8.- Sea a C tal que [a[ < 1 . Demostrar:
[z[ 1 si y solo si [
za
1 az
[ 1
9.- Determinar en que conjunto se transforma cada una de las regiones
siguientes al aplicarles la transformaci on w = z
2
:
a) Primer cuadrante del plano z.
b) Region limitada por Rez +Imz = 1, Rez = 1, Imz = 1.
10.- Demostrar que f(z) =
zi
z+i
realiza una biyeccion del conjunto
M = z[Imz > 0
sobre el conjunto
D = w[[w[ < 1
y de R sobre el conjunto U = w[[w[ = 1, w ,= 1.
11.- Se considera la ecuaci on a
0
z
n
+a
1
z
n1
+a
2
z
n2
+.... +a
n1
z +a
n
= 0,
con a
i
C y a
0
,= 0. Sean z
1
, z
2
, ..., z
n
las n races de esta ecuaci on.
Establecer las f ormulas de Cardano: z
1
+z
2
+..... +z
n
=
a
1
a
0
z
1
z
2
+z
2
z
3
+..... +z
n1
z
n
=
a
2
a
0
z
1
z
2
z
3
+z
2
z
3
z
4
+..... +z
n2
z
n1
z
n
=
a
3
a
0
..............
z
1
z
2
.....z
n
= (1)
n a
n
a
0
12.- a) Probar que
lim
z
1
z
d
c
(z
1
, z)
d(z
1
, z)
=
2
1 +[z[
2
.
b) Sea : [a, b] C una curva de clase C
(1
. Sea su imagen en la esfera
de Riemann. Probar que se cumple
() =
_
b
a
2[
(s)[
1 +[(s)[
2
ds
c) Hallar la longitud de la anteimagen de una recta por la proyecci on
estereogr aca.
13.- a) Probar que
d
c
(z
1
, z
2
) = d
c
(z
1
, z
2
) = d
c
(z
1
, z
2
) = d
c
(
1
z
1
,
1
z
2
) y d
c
(z,
1
z
) = 2.
b) Demostrar que d
c
(z
1
, z
2
) = 2 s y s olo si z
1
z
2
= 1.
14.- Probar que
1
transforma rectas en circunferencias que pasan por
el norte.
15.- Probar que
1
transforma circunferencias en circunferencias que no
pasan por el norte.
16.- Sean a y b n umeros complejos. Hallar el supremo y el nmo de
d
c
(a +z, b +z); z C.
Captulo 2
Holomorfa y nociones
asociadas
2.1 Funciones holomorfas
Denici on 2.1.1 Sean C, z
0

y f : C. f se dice contnua
en z
0
si > 0 existe > 0 tal que si [z z
0
[ < entonces [f(z)f(z
0
)[ < .
Denotamos por C() el espacio vectorial de las funciones contnuas en
todo punto de .
Denici on 2.1.2 Sean C
y f : C
. f se dice
contnua en si
Caso f() C:
Si > 0 existe K > 0 tal que si [z z
0
[ > K entonces [f(z)f(z
0
)[ < .
Caso f() = :
Si R > 0 existe K > 0 tal que si [z z
0
[ > K entonces [f(z)[ > R.
Nota 2.1.1 La aplicacion j : C
dada por j(z) = 1/z (z C 0),

j(0) = y j() = 0, es una isometra.
Seg un esto f(z) es contnua en z = si y solo si f(1/z) es continua en
z = 0.
Ejemplos:
Polinomios P(z) son continuas en C
asignando P() = .
Funciones racionales R(z) =
P(z)
Q(z)
con P(z), Q(z) polinomios, son con-
tinuas en C
asignando R(z
k
) = para z
k
: Q(z
k
) = 0 y R() =
lim
n
R(z).
17
18 Captulo 2. Holomorfa y nociones asociadas
Denici on 2.1.3 Sean C, f
n
, f : C.
Se dice que f
n
converge puntualmente a f en si z ,
lim
n
[f
n
(z) f(z)[ = 0.
Se dice que f
n
converge uniformemente en a f si
lim
n
sup
z
[f
n
(z) f(z)[ = 0.
Se dice que f
n
converge uniformemente sobre compactos de a f si para
todo compacto K K(),
lim
n
sup
zK
[f
n
(z) f(z)[ = 0.
Lema 2.1.4 Sean C, z
0
f
n
, f : C. Si existe R > 0 tal que
f
n
converge uniformemente en D(z
0
, R) y f
n
son continuas en z
0
, entonces
f es continua en z
0
.
Demostracion Dado > 0 existe n
0
N tal que si n n
0
sup
|zz
0
|<R
[f
n
(z) f(z)[ < /3.
Existe > 0 tal que si [z z
0
[ <
[f
n
0
(z) f
n
0
(z
0
)[ < /3.
Por tanto si [z z
0
[ < min(, R)
[f(z) f(z
0
)[ [f(z) f
n
0
(z)[ +[f
n
0
(z) f
n
0
(z
0
)[ +[f
n
0
(z
0
) f(z
0
)[.
De aqu
[f(z) f(z
0
)[ 2sup
|zz
0
|<R
[f(z) f
n
0
(z)[ +[f
n
0
(z) f
n
0
(z
0
)[ < .
Proposicion 2.1.5 Sea un abierto y f

n
C() una sucesion que converge
uniformenente en compactos de a f. Entonces f C().
2.2. Ecuaciones de Cauchy-Riemann 19
Denici on 2.1.6 Sea un abierto en C, z
0
y f : C. f se dice
derivable en z
0
si existe
lim
h0
f(z
0
+h) f(z
0
)
h
C.
A dicho valor se le llama derivada de f en z
0
y se denota f
(z
0
) .
Proposicion 2.1.7 Sea un abierto en C, z
0
, , C y f, g : C.
(i) Si f es derivable en z
0
entonces f es continua en z
0
.
(ii) Si f, g son derivables en z
0
entonces f +g, fg y f/g (si g(z
0
) ,= 0)
son derivables en z
0
.
Ademas
(f +g)
(z
0
) = f
(z
0
) +g
(z
0
),
(fg)
(z
0
) = g(z
0
)f
(z
0
) +f(z
0
)g
(z
0
) y
(f/g)
(z
0
) =
f
(z
0
)g(z
0
)g
(z
0
)f(z
0
)
g(z
0
)
2
.
(iii) Sea
1
,
2
abiertos en C, z
0

1
, f :
1

2
, g :
2
C. Si f
es derivable en z
0
y g es derivable en w
0
= f(z
0
) entonces g(f)(z) = g(f(z))
es derivable en z
0
. Ademas
(g(f))
(z
0
) = g
(f(z
0
))f
(z
0
).
2.2 Ecuaciones de Cauchy-Riemann
Denici on 2.2.1 Sea un abierto en C, z
0
y f : C. f se dice
diferenciable compleja en z
0
si existe L L(C, C) tal que
lim
z0
f(z
0
+z) f(z
0
) L(z)
z
= 0.
Observar que L(z) = zL(1) para todo z C.
Denici on 2.2.2 Sea un abierto en R
2
, z
0
= (x
0
, y
0
) y f : R
2
.
f se dice diferenciable real en z
0
si existe Df
z
0
L(R
2
, R
2
) tal que
lim
(h,k)(0,0)
f(x
0
+h, y
0
+k) f(x
0
, y
0
) Df
z
0
(h, k)
h
2
+k
2
= 0.
Nota 2.2.1 Si f : R
2
y escribimos f(x
1
, x
2
) = (f
1
(x
1
, x
2
), f
2
(x
1
, x
2
))
entonces Df
z
0
= (a
i,j
)
2
i,j=1
con a
i,j
=
f
i
x
j
(x
0
, y
0
).
Teorema 2.2.3 (Ecuaciones de Cauchy-Riemann) Sea un abierto en C,
z
0
y f : C, donde f = u +iv. Son equivalentes
(i) f es derivable en z
0
.
(ii) f es diferenciable compleja en z
0
.
(iii) f es diferenciable real en z
0
con Df
z
0
= (a
i,j
) tal que a
1,1
= u
x
(z
0
) =
v
y
(z
0
) = a
2,2
y a
1,2
= u
y
(z
0
) = v
x
(z
0
) = a
2,1
.
Ademas f
(z
0
) = L(1) = u
x
(z
0
) +iu
y
(z
0
) = u
x
(z
0
) iv
x
(z
0
).
Demostracion
(i) (ii). Sea L(z) = zf
(z
0
). Claramente
lim
z0
f(z
0
+z) f(z
0
) zf
(z
0
)
z
= 0.
(ii) (iii). Si z = h+ik, h, k R y L(z) = (a+ib)(h+ik) y escribimos
Df
z
0
(h, k) = (ah bk, ak + bh) entonces se tiene (iii) con a
1,1
= a
2,2
= a =
u
x
(z
0
) y u
y
(z
0
) = a
1,2
= a
2,1
= v
x
(z
0
) = b.
(iii) (i). Se dene f
(z
0
) = a
1,1
+ia
1,2
. Entonces
f(z
0
+z) f(z
0
) = f
(z
0
)z +z(z) ((z) 0, z 0).
Denici on 2.2.4 Sea un abierto en C y f = u + iv : C. f se dice

holomorfa en si es derivable en todos los puntos de . Se denota por H()
el conjunto de funciones holomorfas en .
Dado A C f se dice holomorfa en A si para cada punto a A existe
una bola D(a, R) de manera que f H(D(a, R)).
f se dice entera si f H(C).
Proposicion 2.2.5 Sea un abierto convexo, f H() con f
(z) = 0
z entonces f es constante.
Demostracion Sean z
0
, z
1
. Si f = u + iv denimos g : [0, 1] R por
g(t) = u((1 t)z
0
+tz
1
). Es continua en [0, 1] y derivable en (0, 1). Adem as
g
(t) = Re(z
1
z
0
)
u
x
(z
0
+t(z
1
z
0
)) +Im(z z
0
)
u
y
(z
0
+t(z z
0
)) = 0.
Por tanto, utizando el teorema de variable real, existe K R tal que
g(t) = K, t [0, 1]. Por tanto u(z
1
) = u(z
0
).
Similarmente v(z
1
) = v(z
0
). Lo que da f es constante.
2.2. Ecuaciones de Cauchy-Riemann 21
Corolario 2.2.6 Sea una region, f H() con f
(z) = 0 z en-
tonces f es constante.
Demostracion Sea z
0
y
A = z : f(z) = f(z
0
).
Es un cerrado no vaco. Sea z A y D(z, r) . Usando el teorema anterior
f es constante en D(z, r) y por tanto D(z, r) A. Luego A es abierto. Por
conexi on A = , de lo que se deduce que f es constante.
Proposicion 2.2.7 Sea una region, f H().
(i) Si [f[ es constante f es constante.
(ii) Si Re(f) o Im(f) es constante f es constante.
Demostracion
(i) Si suponemos u
2
+v
2
= K con K > 0 (pues K = 0 es trivial) entonces
podemos derivar y obtendremos
uu
x
+vv
x
= 0 = uu
y
+vv
y
.
Es decir, uu
x
= vv
x
y uu
y
= vv
y
. Ahora usando las ecuaciones de Cauchy-
Riemann
u
2
u
x
= uvv
y
= v
2
u
x
.
De donde u
x
= 0. An alogamente v
x
= 0. Por tanto f
= 0 y as f es
constante.
(ii) Si u
x
= u
y
= 0 entonces tambien v
x
= v
y
= 0.
Proposicion 2.2.8 Sea una region, f H().
Si f H() y

f H() entonces f es constante.
Demostracion Si f = u +iv entonces

f = u iv. Por (CR) u
x
= v
y
= v
y
y
u
y
= v
x
= v
x
. As v es constante y por consiguiente tambien f.
2.3 Funciones armonicas
Denici on 2.3.1 Sea un abierto de C, u : R se dice armonica en
si u C
2
() y verica la ecuacion de Laplace
u(x, y) =

2
u
x
2
(x, y) +

2
u
y
2
(x, y) = u
xx
(z) +v
yy
(z) = 0
para todo z = x +iy .
Denotamos Har() el espacio vectorial de funciones armonicas en .
Nota 2.3.1 Sea f = u + iv H() donde u, v C
2
(), entonces u =
Re(f) Har().
En efecto, usando el Teorema de Schwarz sobre las derivadas cruzadas, u
xy
=
u
yx
y v
xy
= v
yx
. Por tanto
u
xx
+u
yy
= (v
y
)
x
+ (v
x
)
y
= v
yx
v
xy
= 0.
Nota 2.3.2 Sea f = u+iv H() con u, v C

2
() y f(z) ,= 0 para z .
Entonces U(z) = log([f(z)[) Har().
En efecto, U(z) =
1
2
log(u
2
(z) +v
2
(z)). Luego
U
x
=
uu
x
+vv
x
u
2
+v
2
, U
y
=
uu
y
+vv
y
u
2
+v
2
U
xx
=
((u
x
)
2
+uu
xx
+ (v
x
)
2
+vv
xx
)(u
2
+v
2
) 2(uu
x
+vv
x
)
2
(u
2
+v
2
)
2
=
(u
x
)
2
u
2
(v
x
)
2
v
2
4uvu
x
v
x
+ (uu
xx
+vv
xx
)(u
2
+v
2
) +v
2
(u
x
)
2
+u
2
(v
x
)
2
(u
2
+v
2
)
2
,
An alogamente
U
yy
=
(u
y
)
2
u
2
(v
y
)
2
v
2
4uvu
y
v
y
+ (uu
yy
+vv
yy
)(u
2
+v
2
) +v
2
(u
y
)
2
+u
2
(v
y
)
2
(u
2
+v
2
)
2
.
Por tanto, usando que u, v Har() y las ecuaciones de Cauchy-Riemann
es facil comprobar que U
xx
+U
yy
= 0.
2.3. Funciones arm onicas 23
Proposicion 2.3.2 Sean un abierto de C, u, v : R funciones en
C
2
().
f = u +iv H() u, v Har() y satisfacen u
x
= v
y
, u
y
= v
x
.
Demostracion Inmediata.
Denici on 2.3.3 Dada u Har() se llama armonica conjugada de u a
una funcion u Har() tal que f = u +i u H().
Proposicion 2.3.4 Sea = D o = C. Si u Har() entonces existe u
armonica conjugada de u en .
Demostracion Sea z = x +iy consideramos
v(x, y) =
_
y
0
u
x
(x, t)dt +(x).
Usando la armonicidad se tiene
v
x
(x, y) =
_
y
0
u
xx
(x, t)dt +
(x) =
_
y
0
u
yy
(x, t)dt +
(x) = u
y
(x, y) +u
y
(x, 0) +
(x).
Como pretendemos que se cumpla (CR) ponemos
(x) = u
y
(x, 0), es decir
(x) =
_
x
0
u
y
(s, 0)ds +C y denimos
u(x, y) =
_
y
0
u
x
(x, t)dt
_
x
0
u
y
(s, 0)ds.
Es una comprobacion que u +i u verica (CR)
Denici on 2.3.5 Dada f : C se llama primitiva de f a una funcion
g H() tal que g
(z) = f(z) para todo z .

Proposicion 2.3.6 Sea u una funcion armonica en una region . u admite
armonica conjugada en s y solo si f = u
x
iu
y
admite primitiva en .
Demostracion Tomar g = u + iv, donde v es una arm onica conjugada de
u. Es claro que es la primitiva de u
x
iu
y
= u
x
+iv
x
= f.
Sea g H() tal que g
(z) = f(z). Poniendo g = U + iV tenemos

U
x
= u
x
, U
y
= u
y
. Por tanto, de la primera condicion U = u + (y) y, de
la segunda,
(y) = 0. De aqu U = u + C con C R y por tanto u admite

como armonica conjugada la funcion V .
1(*) Probar con un ejemplo que, en general, las funciones holomorfas no
satisfacen la propiedad del valor medio. Sin embargo, se tiene el siguiente
sustituto : Sea f una funci on holomorfa en una region convexa D. Dados
, D con ,= , probar que existen , [, ] tales que
f() f() = ( )[Ref
() +iImf
()]
2.- Sean u
1
, u
2
, ..., u
n
, u
2
1
+... +u
2
n
funciones armonicas sobre una regi on
D. Probar que cada u
k
es constante sobre D.
3.- Hallar todas las funciones de la forma u(x) +iv(y) que sean enteras.
4.- Hallar el polinomio armonico m as general de la forma ax
3
+ bx
2
y +
cxy
2
+dy
3
. Determinar la arm onica conjugada.
5.- Sea un dominio simetrico respecto del eje real. Probar que las
funciones f(z) y f(z) son simultaneamente holomorfas en .
6.- Determinar en que puntos satisfacen las condiciones de Cauchy-Riemann
las funciones: f(z) = z , g(z) = [z[
2
, h(z) = zrmRe z.
7.- Demostrar que f(z) = [RezImz[
1/2
satisface en z = 0 las condiciones
de Cauchy- Riemann, pero no es derivable en dicho punto.
8.- Encontrar funciones armonicas, no constantes, de la forma: i) g(xy); ii)
g(x
2
+y
2
); iii) g(
y
x
) donde g es una funci on real de variable real sucientemente
derivable.
9.- Vericar que f(z) = f(x + iy) = x(x
2
+ y
2
)
1
iy(x
2
+ y
2
)
1
es
holomorfa en C0.
Captulo 3
Series de potencias y nociones
asociadas
3.1 Series de funciones y de potencias
Comenzaremos este captulo con varios resultados previos ya conocidos
sobre series:
Denici on 3.1.1 Dada una serie (formal) de n umeros complejos, denotada
n=0
z
n
, viene dada por un par de sucesiones (z
n
, s
n
) de manera que s
n
=
n
k=0
z
k
.
Se dice convergente si existe lim
n
s
n
. Al valor de dicho lmite se le
llama suma de la serie.
Se dice absolutamente convergente si

n=0
[z
n
[ es convergente.
Nota 3.1.1 Sea z
n
= x
n
+iy
n
.
(a)

n=0
z
n
es convergente si y solo si

n=0
x
n
y

n=0
y
n
son conver-
gentes.
Ademas

n=0
z
n
=

n=0
x
n
+i
n=0
y
n
.
(b)

n=0
z
n
es absolutamente convergente si y solo si

n=0
x
n
y

n=0
y
n
son absolutamente convergentes.
(c) Si

n=0
z
n
converge si y solo si > 0 existe n
0
N tal que
[
m
k=n
z
k
[ < m n n
0
.
(d) Si

n=0
z
n
converge entonces lim
n
k=n
z
k
= 0 y lim
n
z
n
= 0 .
(e) Sean

n=0
z
n
y

n=0
w
n
dos series de n umeros complejos. Denotamos
c
n
=

n
k=0
z
k
w
nk
.
25
26 Captulo 3. Series de potencias y nociones asociadas
Si

n=0
z
n
y

n=0
w
n
son absolutamente convergentes entonces

n=0
c
n
es absolutamente convergente.
Ademas

n=0
c
n
= (
n=0
z
n
)(
n=0
w
n
).
Cuando la serie

n=0
c
n
converge se llama el Producto de Cauchy de las
dos series

n=0
z
n
y

n=0
w
n
.
Denici on 3.1.2 Una serie (formal) de funciones, denotada

n=0
f
n
, viene
dada por un par de sucesiones (f
n
, s
n
) de manera que s
n
=

n
k=0
z
k
.
Se dice convergente en A si existe
lim
n
s
n
(z)
para todo z A. Al valor de dicho lmite se le llama suma de la serie.
Se dice uniformemente convergente en A si lim
n
s
n
(z) = s(z) es
uniforme en A.
Se dice que converge uniformemente en compactos de si existe lim
n
s
n
(z) =
s(z) uniformemente en compactos de .
Se dice absolutamente convergente si

n=0
[f
n
(z)[ es convergente.
Teorema 3.1.3 (Criterio M-de Weierstrass) Sea A C y sean f
n
: A C.
Supongamos que existe x
n
0 tal que sup
zA
[f
n
(z)[ x
n
con

n=0
x
n
< .
Entonces

n=0
f
n
(z) converge absolutamente y uniformente en A.
Demostracion Veamos que la sucesi on de sumas parciales es de Cauchy
(tanto en valor absoluto como uniforme en A).
M
n=N
[f
n
(z)[
M
n=N
x
n
.
sup
zA
[
M
n=N
f
n
(z)[
M
n=N
x
n
.
Aplicando el criterio de Cauchy a la serie

n=0
x
n
se tiene el resultado.
Denici on 3.1.4 Una serie de potencias es una serie de funciones donde

f
n
(z) = a
n
(z z
0
)
n
para cierta sucesion (a
n
) C y z
0
C, es decir es de la
siguiente forma

n=0
a
n
(z z
0
)
n
.
3.1. Series de funciones y de potencias 27
Analicemos para que valores de z C converge dicha serie. El conjunto de
tales valores se llama dominio de convergencia de la serie. Notese que es no
vaco pues z
0
est a en dicho conjunto.
Es util recordar el concepto de lmite superior de una sucesi on de n umeros
reales.
Denici on 3.1.5 Dada una sucesion de n umeros reales (x
n
)
n=0
se denen
los lmites superior e inferior respectivamente como
lim(x
n
) = inf
n0
supx
k
: k n,
lim(x
n
) = sup
n0
infx
k
: k n.
Algunas formulaciones equivalentes son las siguientes:
Nota 3.1.2 Dada (x
n
)
n=0
.
(a) lim(x
n
) es el mayor de los lmites de todas las subsucesiones de
(x
n
)
n=0
. (Deben considerarse los valores + y como posibles lmites).
(b) lim(x
n
) = l R si y solo si para todo > 0 existe una subsucesion
x
n
k
tal que l < x
n
k
y existe n
0
tal que x
n
< l + para todo n n
0
.
La propiedades b asicas de dicha noci on vienen reejadas en la siguiente
observacion.
Nota 3.1.3 Dadas (x
n
)
n=0
y (y
n
)
n=0
.
(a) Si (x
n
)
n=0
es convergente entonces lim(x
n
y
n
) = lim(x
n
)lim(y
n
).
(b) lim
|x
n+1
|
|x
n
|
lim[x
n
[
1/n
lim[x
n
[
1/n
lim
|x
n+1
|
|x
n
|
.
Teorema 3.1.6 (Abel) Dada una serie de potencias

n=0
a
n
(z z
0
)
n
, con-
sideremos R [0, ] dado por
R
1
= lim[a
n
[
1/n
.
(a) Si R > 0,

n=0
a
n
(z z
0
)
n
converge absolutamente y uniformemente
sobre compactos de D(z
0
, R) = z C : [z z
0
[ < R.
(b) Si R < ,

n=0
a
n
(z z
0
)
n
no converge en (

D(z
0
, R))
c
= z C :
[z z
0
[ > R.
(c) Existe un unico R vericando las propiedades (a) y (b).
El este unico valor R se le llama el radio de convergencia de la serie y la
formula del mismo se conoce por formula de Cauchy-Hadamard.
Demostracion
(a) Es suciente probar que la serie

n=0
a
n
(z z
0
)
n
converge uniforme-
mente en todo compacto K D(z
0
, R) .
Dado un compacto K existe 0 < < R con K

D(z
0
, ). Es claro que
existe n
0
tal que [a
n
[
1/n
1
2R
+
1
2
para todo n n
0
.
Entonces existe C > 0 tal que
sup
zK
[a
n
[[z z
0
[
n
[a
n
[
n
C(
1
2
(1 +

R
))
n
.
Aplicando el criterio M-de Weierstrass tenemos la convergencia uniforme
en K.
(b) Sea z C tal que = [z z
0
[ > R. Si la serie

n=0
a
n
(z z
0
)
n
converge entonces el termino general tiende a cero. Por tanto existe n
0
N
tal que [a
n
[
n
< 1/2 para todo n > n
0
. Esto implica que
1
R
= lim[a
n
[
1/n
que es una contradicci on.

(c) Sea R
cumpliendo (a) y (b). Veamos que R = R
. Si consideramos
cualquier r < R
y cualquier z tal que [z z

0
[ = r, como

n=0
[a
n
[r
n
es
convergente y en particular acotada, se concluye que
r
R
= lim([a
n
[r
n
)
1/n
1.
Esto implica que r R. Es decir R
R.
Por otro lado dado > 0 la serie

n=0
[a
n
[(R
+ )
n
no es convergente.
El criterio de la raiz implica que
R
+
R
= lim([a
n
[(R
+)
n
)
1/n
1.
De donde se concluye que R (R
+). Y por tanto R R
.
Nota 3.1.4 Sobre el comportamiento en la frontera del disco de convegencia
no puede decirse nada.
Caso 1.-

n=0
z
n
converge [z[ < 1 .
Caso 2.-

n=0
z
n
n
2
converge [z[ 1 .
Caso 3.-

n=0
z
n
n
converge [z[ 1, z ,= 1.
Proposicion 3.1.7 Sean f(z) =

n=0
a
n
z
n
, g(z) =

n=0
b
n
z
n
con radios
de convergencia R
1
, R
2
respectivamente. Entonces
(i) (f +g)(z) =

n=0
(a
n
+b
n
)z
n
con radio R min(R
1
, R
2
).
(ii) (g)(z) =

n=0
a
n
z
n
con radio R = R
1
.
(i) (fg)(z) =

n=0
c
n
z
n
donde c
n
=

n
k=0
a
k
b
nk
y con radio R
min(R
1
, R
2
).
Proposicion 3.1.8 Sea

n=0
a
n
z
n
una serie de potencias con radio de con-
vergencia R 1 tal que
n=0
[a
n
a
n1
[ < +.
Entonces D(0, 1) 1 z C :

n=0
a
n
z
n
converge si y solo si
lim
n
a
n
= 0.
Demostracion
=) Es inmediata, pues tomando z

D1 con [z[ = 1 la convergencia
implica que el termino general converge a cero.
=) Sea s
n
(z) =

n
k=0
a
k
z
k
. Entonces, si m > n,
(1 z)(s
m
(z) s
n
(z)) = (1 z)
m
k=n+1
a
k
z
k
=
=
m
k=n+2
(a
k
a
k1
)z
k
+a
n+1
z
n
a
m
z
m+1
.
Entonces
[1 z[[s
n
(z) s
m
(z)[
m
k=n+2
[a
k
a
k1
[ +[a
n+1
[ +[a
m
[.
Usando la convergencia de la serie y el hecho de que a
n
converge a cero se
prueba que s
n
(z) es de Cauchy si z ,= 1.
Corolario 3.1.9 Sea a
n
n=0
R con a
n
0.
Entonces D(0, 1) 1 z :

n=0
a
n
z
n
converge.
Demostracion Si a
n
decrece a cero (siendo n umeros reales) entonces
n=0
[a
n
a
n1
[ = lim
n
(a
0
a
n
) = a
0
.
Por otro lado como a
n
a
0
se tiene (a
n
)
1/n
(a
0
)
1/n
lo que permite con-
cluir que el radio de convergencia de la serie R 1 y aplicar el resultado
precedente.
Proposicion 3.1.10 Sea
n=0
a
n
z
n
una serie de potencias con radio de con-
vergencia 1. Si

n=0
a
n
converge, entonces
lim
r1
n=0
a
n
r
n
=
n=0
a
n
.
Demostracion Fijemos N < M.
M
n=N
a
n
n=N
a
n
r
n
=
M
n=N
a
n
(1 r
n
) = (1 r)
M
n=N
a
n
(
n1
k=0
r
k
).
Por tanto, si s
n
=

n
k=0
a
k
y b
n
=
1r
n
1r
=

n1
k=0
r
k
el criterio de sumacion de
Abel implica que
M
n=N
a
n
n=N
a
n
r
n
= (1 r)
M
n=N
(s
n
s
n1
)b
n
= (1 r)s
M
b
M
(1 r)s
N1
b
N
+ (1 r)
M1
n=N
s
n
(b
n
b
n+1
)
= (1 r)s
M
b
M
s
N1
b
N
+ (1 r)
M1
n=N
s
n
(b
n
b
n+1
)
= (1 r
M
)s
M
(1 r
N
)s
N1
(1 r)(
M1
n=N
s
n
r
n
)
= (s
M
s
N1
)(1 r
N
) + (1 r)
M1
k=N
(s
M
s
k
)r
k
.
Tomando lmites cuando M
[
n=N
a
n
r
n
n=N
a
n
[ [R
N
[(1 r
N
) + (1 r)
k=N
[R
k+1
[r
k
.
Dado > 0 existe N
0
tal que [R
n
[ = [
k=n
a
k
[ < /2 para todo n N
0
.
Luego, si N N
0
,
[
n=N
a
n
r
n
n=N
a
n
[ (/2)(1 r
N
) + (1 r)(/2)
k=N
r
k
= /2.
Por tanto
[
n=0
a
n
r
n
n=0
a
n
[
N
0
1
n=0
a
n
r
n
N
0
1
n=0
a
n
n=N
0
a
n
r
n
n=N
0
a
n
(N
0
1)( max
nN
0
1
[a
n
[)(1 r
N
0
1
) +/2.
Ahora elegimos 0 < < 1 de modo que si < r < 1 entonces 1 r
N
0
1
<
(2(N
0
1) max
nN
0
1
[a
n
[)
1
. Esto permite concluir con la demostraci on.
Es claro que toda serie de potencias, gracias a la convergencia uniforme
sobre compactos, dene una funci on contnua en el disco de convergencia.
Teorema 3.1.11 Dada f(z) =

n=0
a
n
(z z
0
)
n
con radio R > 0.
(i)

n=0
(n + 1)a
n+1
(z z
0
)
n
tiene el mismo radio de convergencia R.
(ii) f(z) es derivable en D(z
0
, R) con f
(z) =

n=0
(n + 1)a
n+1
(z z
0
)
n
Demostracion Podemos suponer (por simplicidad) que z
0
= 0.
(i) Es consecuencia del hecho siguiente
lim((n + 1)[a
n
[)
1/n
= lim(n + 1)
1/n
lim([a
n
[)
1/n
.
(ii) Escribimos g(z) =

n=0
(n + 1)a
n+1
z
n
.
f(w) f(z)
w z
g(z) =
n=1
a
n
(
w
n
z
n
w z
nz
n1
).
Usando ahora la f ormula ciclotomica se tiene
w
n
z
n
w z
nz
n1
= (w
n1
+w
n2
z +... +wz
n2
+z
n1
) nz
n1
= (w z)(w
n2
+ 2zw
n3
+ 3z
2
w
n4
+... + (n 1)z
n2
).
Fijado z D(0, R) elegimos S tal que [z[ < S < R y > 0 tal que < S[z[.
Ahora para todo w D(z, ) se tiene que [w[ < S y por tanto
[
f(w) f(z)
w z
g(z)[ [w z[
n=2
n(n 1)
2
S
n2
[a
n
[ C
S
[w z[.
N otese que la serie anterior es convergente por el criterio de la raiz. Podemos
pasar al lmite y probamos que f
(z) = g(z).
Corolario 3.1.12 Dada f(z) =

n=0
a
n
(z z
0
)
n
con radio R > 0.
(i) g(z) =

n=0
a
n
n+1
(z z
0
)
n+1
tiene el mismo radio de convergencia R.
(ii) g(z) es una primitiva de f en D(z
0
, R), es decir g
(z) = f(z).
Demostracion La parte (i) sigue un razonamiento an alogo al anterior y se
omite.
La parte (ii) es consecuencia inmediata del teorema anterior.

n=0
a
n
(zz
0
)
n
con radio R > 0. Entonces
f es innitamente derivable en D(z
0
, R) siendo
f
(k)
(z) =
n=k
n(n 1)(n 2)...(n k + 1)a
n
(z z
0
)
nk
.
Ademas a
n
=
f
(n)
(z
0
)
n!
.

n=0
a
n
(z z
0
)
n
con radio R
1
> 0, g(z) =
n=0
b
n
(z z
0
)
n
con radio R
2
> 0. Entonces son equivalentes:
(i) f(z) = g(z) en [z z
0
[ < min(R
1
, R
2
).
(ii) a
n
= b
n
para todo n N.
3.2 Funciones analticas
Denici on 3.2.1 Dado C, a y f : C. f se dice analtica en
a si existe una serie de potencias

n=0
a
n
(z a)
n
con radio de convergencia
R > 0 de modo que para alg un > 0 se tiene f(z) =

n=0
a
n
(z a)
n
en
[z a[ < .
Se dice analtica en , y se denota f A(), si lo es en cada punto
a .
Nuestro objetivo sera ver que H() = A(). De los resultados anteriores
hemos probado ya el siguiente contenido: A() H().
Veamos en primer lugar que las series de potencias son un ejemplo de
funciones analticas en su disco de convergencia. Para ello necesitamos un
lema previo.
Lema 3.2.2 Dada f(z) =

n=0
a
n
(z z
0
)
n
con radio R > 0.
(i) Dado k N, f(z) =

n=0
a
n+k
(z z
0
)
n
tiene el mismo radio de
convergencia R.
(ii) Sea P(n) un polinomio. Entonces f(z) =

n=0
P(n)a
n
(z z
0
)
n
tiene
el mismo radio de convergencia R.
Demostracion (i) Observar que si z ,= z
0
entonces
m
n=0
a
n+k
(z z
0
)
n
= (z z
0
)
k
m+k
n=k
a
n
(z z
0
)
n
.
3.2. Funciones analticas 33
Por tanto la convergencia o no de ambas series coincide.
(ii) Se sigue de que lim
n
|P(n+1)|
|P(n)|
= 1. Lo que permite aplicar las
f ormulas del para c alculo del lmite superior.
Teorema 3.2.3 Dada f(z) =

n=0
a
n
(z z
0
)
n
con radio R > 0. Entonces
f A(D(z
0
, R)).
Demostracion Dado w D(z
0
, R) tomamos = R [w z
0
[.
Veamos que f(z) =

n=0
b
n
(z w)
n
en D(w, ).
f(z) =
n=0
a
n
(z z
0
)
n
=
n=0
a
n
(z w +w z
0
)
n
=
n=0
a
n
(
n
k=0
n!
(n k)!k!
(z w)
k
(w z
0
)
nk
)
=
k=0
(
n=k+1
n!
(n k)!k!
a
n
(w z
0
)
nk
)(z w)
k
=
n=0
b
k
(z w)
k
Siendo b
k
=

n=k+1
n!
(nk)!k!
a
n
(w z
0
)
nk
, que est a bien denido para
w D(z
0
, R) gracias al lema previo.
La justicacion del intercambio de sumaci on es consecuencia de la con-
vergencia absoluta de las series
n=0
[a
n
[
k=0
c
n
(k)[z w[
k
=
=
k=0
n=0
c
n
(k)[a
n
[[z w[
k
=
n=0
[a
n
[([w z
0
[ +[z z
0
[)
n
<
donde c
n
(k) = 0 si n > k y c
n
(k) =
n!
(nk)!k!
[w z
0
[
nk
para n k.
Las funciones analticas denidas sobre regiones vienen determinadas por
el valor de todas la derivadas en un punto cualquiera de la regi on.
Teorema 3.2.4 Sea una region y f : C una funcion analtica en .
Entonces son equivalentes:
(i) f(z) = 0 para todo z .
(ii) Existe a tal que f
(n)
(a) = 0 para todo n N.
Demostracion
(i) (ii). Obvio.
(ii) (i). Sea A = z : f
(n)
(z) = 0 para todo n N.
Es suciente ver que es abierto y cerrado, pues es no vaco (ya que a A).
A es cerrado por ser interseccion numerable de cerrados.
A es abierto. Sea b A y > 0 con f(z) =

n=0
b
n
(z b)
n
en [z b[ < .
Por unicidad de coecientes en las series de potencias se tiene b
n
= 0 para
todo n N y de ah se sigue que f(z) = 0 en D(b, ) y por tanto D(b, ) A.
Veamos ahora un principio b asico de las funciones analticas: Los ceros

son aislados.
Denotemos Z
f
() = z : f(z) = 0 y recordemos que A
denota el
conjunto de puntos de acumulacion de A.
Teorema 3.2.5 Sea una region y f : C una funcion analtica en .
Entonces son equivalentes:
(i) f(z) = 0 para todo z .
(ii) Z
f
()
,= .
Demostracion
(i) (ii). Obvio.
(ii) (i). Sea a Z
f
()
y > 0 con f(z) =

n=0
b
n
(z a)
n
en
[z a[ < . Veamos que b
n
n! = f
(n)
(a) = 0 para todo n N.
Si existe b
k
,= 0 (supongamos que es el primero de ellos) entonces
f(z) = (z a)
k
n=k
b
n
(z a)
nk
.
Poniendo g(z) =

n=k
b
n
(z a)
nk
. Se tiene g(a) ,= 0. Entonces g(z) ,= 0
en un entorno de a y de aqu f(z) no se anula en un entorno reducido de a
y por tanto a no puede ser punto de acumulaci on de ceros.
Corolario 3.2.6 (Principio de prolongacion analtica) Sea una region y
f, g : C funciones analticas en . Entonces son equivalentes:
(i) f(z) = g(z) para todo z .
(ii) Existe a tal que f
(n)
(a) = g
(n)
(a) para todo n N.
(iii) f(z) = g(z) en un conjunto con puntos de acumulacion en .
1.- Calcular los radios de convergencia de:
a)
n=0
(2n)!
(n!)
2
z
n
; b)
n=1
n!
n
n
z
n
; c)
n=0
2
n
z
n
; d)
n=0
2
n
z
n!
;
e)
n=0
(n +a
n
)z
n
; f)
n=1
n
n
z
n
; g)
n=0
a
n
2
z
n
; h)
n=0
z
n!
;
i)
n=1
a
n
2
z
1+2++n
; j)
n=1
exp(
n
n
2n
e
n
)z
n!
.
2.- Si

n=0
c
n
z
n
tiene radio de convergencia R, determinar los radios de
convergencia de
n=0
a
n
z
n
, donde a
n
es:
a) P(n)c
n
(P polinomio no nulo) ; b) (2
n
1)c
n
; c)
c
n
n!
; d) n
n
c
n
.
3.- Discutir el comportamiento de las siguientes series de potencias en la
frontera de su disco de convergencia:
a)
n=0
z
n
; b)
n=1
z
n
n
; c)
n=1
z
n
n
2
; d)
n=1
(1)
n
n
z
n
;
e)
n=2
(1)
n
log n
z
3n1
; f)
n=1
z
n!
n
2
; g)
n=1
z
pn
n
(p N);
h)
n=0
a
n
z
n
(a
n
n=0
sucesi on acotada entre 1 y K.)
4.- Sumar en el crculo de convergencia las siguientes series:
a)
n=1
nz
n
; b)
n=1
z
n
n
; c)
n=1
z
2n+1
2n + 1
;
d)
n=1
(1)
n+1
n
z
n
; e)
n=2
(
n
2
)z
n
; f)
n=0
(2
n
1)z
n
.
5.- Calcular
n=0
n
sin nx;
n=1
cos n
n
;
n=1
senn
n
(0 < [[ .)
6.- Calcular el desarrollo en serie de potencias en torno a z = 0, z = 1 y
z = i de las funciones
1
2 z
,
z + 1
z
2
4
,
1
z
2
4z + 4
.
7.- Sea f A(D(0, 1)) tal que f(
1
n
2
) =
n
4
(n
2
1)
2
para todo n N. Calcular
f(i/2).
Captulo 4
Funciones elementales
4.1 Funcion exponencial
Denici on 4.1.1 (Funcion Exponencial) La siguiente serie de potencias se
conoce con el nombre de funcion exponencial:
e
z
=
n=0
z
n
n!
.
Proposicion 4.1.2
(i) Es una funcion entera (radio de convergencia R = ).
(ii) Es la unica funcion analtica que extiende la exponencial real e
x
.
(iii) (e
z
)
= e
z
.
(iv) e
z+z
= e
z
e
z
.
(v) [e
z
[ = e
Re(z)
para todo z C.
(vi) e
z
,= 0 y 1/e
z
= e
z
para todo z C.
Demostracion (i) es consecuencia de la f ormula de Cauchy-Hadamard.
(ii) es consecuencia del Principio de prolongaci on analtica.
(iii) Como e
z
=

n=0
z
n
n!
entonces
(e
z
)
n=0
(n + 1)
z
n
(n + 1)!
=
n=0
z
n
n!
= e
z
(iv) Usando el producto de Cauchy de series
e
z
e
z
= (
n=0
z
n
n!
)(
n=0
(z
)
n
n!
) =
n=0
n
k=0
1
k!
1
(n k)!
z
k
(z
)
nk
37
38 Captulo 4. Funciones elementales
=
n=0
1
n!
n
k=0
n!
k!(n k)!
z
k
(z
)
nk
=
n=0
(z +z
)
n
n!
.
(v) [e
z
[
2
= e
z
e
z
= e
z+ z
= e
2Re(z)
.
(vi) [e
z
[ > 0 y e
z
e
z
= e
0
= 1.
Denici on 4.1.3 (Funciones trigonometricas e hiperbolicas)
Las funciones seno (coseno) trigonometricos se denen por:
sen(z) =
e
iz
e
iz
2i
, cos(z) =
e
iz
+e
iz
2
.
Las funciones seno (coseno) hiperbolicos se denen por:
sh(z) =
e
z
e
z
2
, ch(z) =
e
z
+e
z
2
.
Nota 4.1.1 Observese que
sh(z) = isen(iz), ch(z) = cos(iz), sen(z) = ish(iz), cos(z) = ch(iz).
Proposicion 4.1.4
(i) sen(z) =

n=0
(1)
n
z
2n+1
(2n+1)!
.
(ii) cos(z) =

n=0
(1)
n
z
2n
(2n)!
.
(iii) sh(z) =

n=0
z
2n+1
(2n+1)!
.
(iv) ch(z) =

n=0
z
2n
(2n)!
.
Demostracion Hacemos unicamente (i), las demas son similares.
sen(z) =
1
2i
n=0
(
(iz)
n
n!

(iz)
n
n!
)
=
1
2i
n=0
(i)
n
(i)
n
n!
z
n
=
n=0
(1)
n
z
2n+1
(2n + 1)!
.
Proposicion 4.1.5
(i) Las funciones sen(z) y cos(z) son enteras. Ademas (sen(z))
= cos(z)
y (cos(z))
= sen(z).
(ii) Las funciones sh(z) y ch(z) son enteras. Ademas (sh(z))
= ch(z) y
(ch(z))
= sh(z).
(iii) Las funciones sen(z) y cos(z) no son acotadas en C pero s lo son
en R.
4.1. Funci on exponencial 39
Demostracion (i) y (ii) Usar que son combinaciones lineales de funciones
enteras, o bien el radio de convergencia de las series.
(iii) Observar que 2cos(ix) = e
x
+ e
x
y por tanto no est a acotada.
An aloga para sen(ix). Por otro lado [e
ix
[ = 1 luego [sen(x)[
1
2
([e
ix
[ +
[e
ix
[) = 1.
Proposicion 4.1.6
(i) cos(z +z
) = cos(z)cos(z
) sen(z)sen(z
).
(ii) sen(z +z
) = sen(z)cos(z
) +cos(z)sen(z
).
(iii) cos
2
(z) +sen
2
(z) = 1.
(iv) ch
2
(z) sh
2
(z) = 1.
(v) ch(z +z
) = ch(z)ch(z
) +sh(z)sh(z
).
(vi) sh(z +z
) = ch(z)sh(z
) +sh(z)ch(z
).
Demostracion Probemos unicamente la parte (i). La (ii) es an aloga.
1
4
[(e
iz
+e
iz
)(e
iz
+e
iz
) + (e
iz
e
iz
)(e
iz
e
iz
)] =
1
2
(e
i(z+z
)
+e
i(z+z
)
).
(iii) y (iv) son inmediatas de la denici on.
(v) y (vi) Se siguen de (i) y (ii) usando la relaci on entre trigonometricos
e hiperbolicos.
Proposicion 4.1.7
(i) Re(cos(z)) = cos(Re(z))ch(Im(z)), Im(cos(z)) = sen(Re(z))sh(Im(z).
(ii) Re(sen(z)) = sen(Re(z))ch(Im(z)), Im(sen(z)) = cos(Re(z))sh(Im(z)).
(iii) [cos(z)[ = [ch(z)[ =
_
cos
2
(Re(z)) +sh
2
(Im(z)).
(iv) [sen(z)[ = [sh(z)[ =
_
sen
2
(Re(z)) +sh
2
(Im(z)).
Demostracion (i) Notese que
cos(Re(z) +iIm(z)) = cos(Re(z))cos(iIm(z)) sen(Re(z)sen(iIm(z)) =
= cos(Re(z))ch(Im(z)) isen(Re(z)sh(Im(z))
El resto se deja al lector interesado.
Proposicion 4.1.8 (El n umero ) Existe un n umero real (llamado ) tal
que

2
(0,
3) vericando que cos(
2
) = 0 y cos(x) > 0 si x [0,

2
).
Demostracion De las f ormulas anteriores se tiene que sen
2
(x) + cos
2
(x) = 1
y por tanto 1 cos(x) 1 para todo x R. Veamos primero que
cos(x) 1
x
2
2
+
x
4
24
para todo x 0.
En efecto, sea h(x) = cos(x) 1 +
x
2
2

x
4
24
: Veamos que h(x) 0 para
x 0. Es suciente comprobar que h es decreciente. Como h es derivable
con h
(x) = x sen(x)
x
3
6
, h
(x) = 1 cos(x)
x
2
2
, h
(x) = senx x y
h
(iv
(x) = cosx 1 0. Se concluye que h
es decreciente y h
(0) = 0. Por
tanto se tiene que h
(x) 0. Reiterando el argumento se llega a que h es

decreciete y como h(0) = 0 se obtiene el resultado.
Usando ahora que cos(0) = 1 y cos(
3) 1
3
2
+
9
24
=
3
24
entonces el
teorema de Bolzano asegura que existe x
0
(0,
3) tal que cos(x

0
) = 0.
Sea

2
= infx (0,
3) : cos(x) = 0. Dicho valor tiene las propiedades

pretendidas.
Proposicion 4.1.9 Las funciones seno y coseno funciones son periodicas de
periodo 2.
Demostracion Teniendo en cuenta que sen(
2
) = 1 se obtiene que cos() =
cos
2
(
2
) sen
2
(
2
) = 1. Por consiguiente sen() = 0. Adem as cos(2) =
cos
2
() sen
2
() = 1. Ahora se tiene
cos(z + 2) = cos(z)cos(2) sen(z)sen(2) = cos(z).
Similar con la funci on sen(z).
Teorema 4.1.10
(i) e
z
= e
Re(z)
(cos(Im(z) +isen(Im(z))).
En particular e
i
+ 1 = 0 (Formula de Euler).
(ii) e
z
= 1 z = 2ki (k Z).
Por tanto e
z
es una funcion periodica de periodo 2i.
(iii) e
z
es una aplicacion suprayectiva de C en C 0.
(iv) e
z
es una biyeccion de BH
,
= z C : < Im(z) < sobre
C R
.
Demostracion
(i) Es claro que cos(y) + isen(y) = e
iy
para todo y R. De aqu se
obtiene facilmente.
(ii) Es elemental del caso (i) y la periodicidad de las funciones seno y
coseno. Adem as e
z
= e
w
equivale a e
zw
= 1 y por tanto z = w + 2ki.
4.1. Funci on exponencial 41
(iii) Sea w ,= 0. Tomar [w[ > 0 y denir x = log [w[. Escribimos
w
|w|
=
a +ib donde a
2
+b
2
= 1.
Si a = 0 y b = 1, entonces w = i[w[ y tomamos y = /2 y el punto
z = x +i/2 verica e
z
= e
log |w|
e
iy
= w.
Si a = 0 y b = 1, entonces w = i[w[ y tomamos y = 3/2 y el punto
z = x + 3i/2 verica e
z
= e
log |w|
e
iy
= w.
Si a = 1 y b = 0, entonces w = [w[ y tomamos y = 0 y el punto z = x
verica e
z
= e
log |w|
= w.
Si a = 1 y b = 0, entonces w = [w[ y tomamos y = y el punto
z = x +i verica e
z
= [w[ = w.
Supongamos entonces que 0 < [a[ < 1. Usando la continuidad existe
t [0,

2
] tal que cos(t) = [a[. Y consecuentemente [sen(t)[ = [b[. Ahora
si a > 0, b 0 tomamos y = t, si a > 0, b < 0 tomamos y = 2 t, si
a < 0, b 0 tomamos y = t y si a < 0, b < 0 tomamos y = + t. En
todos los casos z = x +iy verica que e
z
= w.
(iv) Si w = x con x < 0 y e
z
= x = e
Re(z)
cos(Im(z)) +ie
Re(z)
sen(Im(z)))
para z C se tiene que sen(Im(z)) = 0 y cos(Im(z)) < 0. Por tanto
Im(z) = k, k Z y as z = a + ik con k impar. Dado w C R
existe
un unico z C tal que Im(z) (, ) con e
z
= w.
Proposicion 4.1.11 (i) Z

sen
(C) = k : k Z y Z
cos
(C) = (2k + 1)
2
:
k Z.
(ii) Z
sh
(C) = ik : k Z y Z
ch
(C) = i(2k + 1)
2
: k Z.
Demostracion (i) sen(z) = 0 equivale a e
iz
= e
iz
. Es decir e
2iz
= 1. Es decir
2iz = 2ki (k Z) o equivalentemente z = k para alg un k Z.
cos(z) = 0 equivale a e
iz
= e
iz
. Es decir e
2iz
= 1 = e
i
. Es decir
2iz = i + 2ki (k Z) o equivalentemente z = (2k + 1)
2
para alg un
k Z.
(ii) Usar que sh(z) = isen(iz) y ch(z) = cos(iz).
Denici on 4.1.12 Denimos para z / Z

cos
las funciones
tag(z) =
sen(z)
cos(z)
, sec(z) =
1
cos(z)
.
Analogamente para z / Z
sen
las funciones
cotag(z) =
cos(z)
sen(z)
cosec(z) =
1
sen(z)
.
Proposicion 4.1.13
(i) Las funciones tag(z) y sec(z) son periodicas de periodo y holomorfas
en BV
/2,/2
= z : /2 < Re(z) < /2..
(ii) Las funciones cotag(z) y cosec(z) son periodicas de periodo y holo-
morfas en BV
0,
= z : 0 < Re(z) < .
(iii) tag(z)
= 1 + tag(z)
2
= sec
2
(z), cotag(z)
= 1 cotag(z)
2
=
cosec
2
(z)
4.2 Argumentos y logaritmos
Sea T = z C : [z[ = 1 que es un grupo con la estructura multiplica-
tiva.
Proposicion 4.2.1 La aplicacion : R T dada por (y) = e
iy
es un
homomormo de grupos contnuo, suprayectivo y con n ucleo 2Z.
En particular

: R/2Z T es un isomorsmo.
Demostracion El hecho de que es continua y homomorsmo de grupos son
propiedades conocidas de la exponencias.
Dado w T, existe ,usando el Teorema 4.1.10, z C tal que e
z
= w.
Como [w[ = 1 = e
Re(z)
se tiene que z = iy para y R.
Por otro lado (y) = 1 equivale a iy = 2ki para alg un k Z. Entonces
Ker() = 2Z.
Denici on 4.2.2 Dado z ,= 0 entonces
z
|z|
T. El conjunto de los argu-
mentos de z viene dado por
1
(
z
[z[
) = arg(z) = R : z = [z[e
i
.
Proposicion 4.2.3 Dados z ,= 0 y a R existe un unico
a
[a, a + 2)
arg(z).
4.2. Argumentos y logaritmos 43
Demostracion Tomar arg(z) cualquiera.
Caso a = 0. Es claro que
0
= 2[

2
] [0, 2) arg(z).
Caso a ,= 0. Denir
a
=
0
+ 2[
a
2

0
2
]. Es claro que
a
arg(z) pues
a
2Z.
La unicidad se sigue del hecho de que dos argumentos distintos dieren
en un m ultiplo de 2.
Nota 4.2.1 Se pone Arg
[a,a+2)
al valor anterior. El caso a = se conoce
con el nombre de argumento principal y se escribe Arg(z).
Denici on 4.2.4 Dado z
0
C y dos caminos que pasan por el
1
,
2
con
1
(t
1
) =
2
(t
2
) = z
0
y
1
(t
1
)
2
(t
2
) ,= 0 se dene al angulo de los caminos en
el punto z
0
por
Ang
z
0
(
1
,
2
) = Arg(
2
(t
2
)
1
(t
1
)
).
Geometricamente es claro que el angulo coincide con el angulo formado por
las rectas tangentes en el punto.
Denici on 4.2.5 Sea una region, z
0
y f : C tal que existe > 0
con f(z) ,= f(z
0
) para todo z D(z
0
, ). Se dice que f preserva angulos en
z
0
si existe a T tal que para todo [, ) existe el lmite
lim
r0
e
i
f(z
0
+re
i
) f(z
0
)
[f(z
0
+re
i
) f(z
0
)[
= a.
Teorema 4.2.6 Sea region, z
0
y f : C.
(i) Si f es holomorfa en z
0
con f
(z
0
) ,= 0,
1
,
2
son caminos con
1
(t
1
) =
2
(t
2
) = z
0
y
1
(t
1
)
2
(t
2
) ,= 0 y si
1
(t) = f(
1
(t)),
2
(t) = f(
2
(t)) entonces
se tiene
Ang
f(z
0
)
(
1
,
2
) = Ang
z
0
(
1
,
2
).
(ii) Si f es holomorfa en z
0
con f
(z
0
) ,= 0 entonces f preserva angulos
en z
0
.
(iii) Si f es diferenciable en z
0
con Df
z
0
,= 0 y preserva angulos en z
0
entonces f es derivable en z
0
y f
(z
0
) ,= 0.
Demostracion
(i) Es inmediato pues
i
(t
i
) = f
(z
0
)
i
(t
i
) para i = 1, 2.
(ii) Tomar a =
f
(z
0
)
|f
(z
0
)|
.
lim
r0
e
i
f(z
0
+re
i
) f(z
0
)
[f(z
0
+re
i
) f(z
0
)[
= lim
r0
f(z
0
+re
i
) f(z
0
)/re
i
[f(z
0
+re
i
) f(z
0
)/re
i
[
=
f
(z
0
)
[f
(z
0
)[
.
(iii) Suponer (por simplicidad) z
0
= f(z
0
) = 0 y Df
0
(0) ,= 0. Entonces
f(x, y) = L(x, y) +
_
x
2
+y
2
(x, y)
donde (x, y) 0 si (x, y) 0. En otras palabras para (, ) ,= (0, 0)
f(z) = z + z +[z[(z).
Tenemos para todo [, )
lim
r0
e
i
f(re
i
)
[f(re
i
)[
= lim
r0
r +re
2i
+r(re
i
)
[r +re
2i
+r(re
i
)[
=
+e
2i
[ +e
2i
[
.
Suponemos
+e
2i
|+e
2i
|
= a para todo .
Entonces +e
2i
= [ +e
2i
[e
i
0
En particular
+ = [ +[e
i
0
, = [ [e
i
0
.
Se obtiene = 0 y ,= 0.
De donde f es derivable en 0 y su derivada es .
Fijemos algunas notaciones de interes:
Dado a R sea H
a
= z = re
ia
: r 0.
Dados a, b [, ) con a < b, sea S
a,b
= z C : a < Arg(z) < b.
Dados a, b R con a < b, sea BH
a,b
= z C : a < Re(z) < b.
Dados a, b R con a < b, sea BV
a,b
= z C : a < Im(z) < b.
Dados a, b R con 0 < a < b, sea D(z
0
, a, b) = z C : a < [z z
0
[ < b.
Proposicion 4.2.7 Sea w = exp(z). Es decir (x, y) (e
x
cos(y), e
x
sen(y)).
(i) exp transforma las rectas paralelas al eje OY, x = c en circunferencias
centradas en el origen y radio e
c
.
(ii) exp transforma las rectas paralelas al eje OX, y = c, en semirectas
que parten del origen y pendiente m = tag(c), es decir H
c
.
(iii) exp transforma rectas y = mx en la espiral de Arqumedes r = e
m
.
(iv) Sea 0 < b a < 2 entonces exp es biyeccion de BH
a,b
en un sector
S
a
,b
con a
= +a 2[
a
2
] y b
= +b 2[
b
2
].
(v) Sean a < b entonces exp es biyeccion de BV
a,b
en una corona D(0, e
a
, e
b
).
Denici on 4.2.8 Dado S C y f : S C 0, una determinacion
continua (o rama uniforme) del argumento de f sobre S es una aplicacion
continua A : S R tal que A(z) arg(f(z)), i.e. e
iA(z)
=
f(z)
|f(z)|
.
Proposicion 4.2.9 Para todo a R la funcion Arg
[a,a+2)
es una determi-
nacion continua del argumento (de la identidad) sobre C H
a
.
Demostracion Suponer a = . Veamos la continuidad en z
0
= 1. Dado
> 0 tomamos =

1+
. Si z D(1, ) entonces [Arg(z) Arg(1)[ = [[,
donde sen() =
Im(z)
|z|
, cos() =
Re(z)
|z|
.
Observese que z D(1, ) implica Re(z) > 1 , [Im(z)[ < , lo que nos
dice que [[ < /2. Ahora usando que [[ < [
sen()
cos()
[ tenemos
[Arg(z) Arg(1)[ <
[Im(z)[
Re(z)
<

1
= .
El caso z
0
C R
se reduce al anterior ya que si z

n
z
0
entonces
z
n
z
0
1. Por tanto Arg(
z
n
z
0
) 0.
Ahora bien Arg(
z
n
z
0
) +Arg(z
0
) arg(z
n
). En efecto
e
i(Arg(
z
n
z
0
)+Arg(z
0
))
=
z
n
/z
0
[z
n
[/[z
0
[
z
0
[z
0
[
=
z
n
[z
n
[
.
Luego Arg(
z
n
z
0
) +Arg(z
0
) = Arg(z
n
) + 2K
n
.
Por tanto Arg(z
0
) = lim
n
(Arg(z
n
) + 2K
n
).
Al ser Arg(z
0
) (, ) se tiene K
n
= 0 para n n
0
y Arg(z
0
) =
lim
n
Arg(z
n
).
Para ver que Arg(z) no es continua en R
basta tomar sucesiones que

converjan al punto en distinto semiplano.
El caso a ,= se reduce al anterior pues Arg
[a,a+2)
(z) = a + +
Arg(e
ia
z). (La comprobaci on de este hecho consiste en ver que ambos
valores pertenecen a arg(z) [a, a + 2))
Proposicion 4.2.10 (i) No existe ninguna determinacion continua del ar-

gumento en un conjunto que contenga una circunferencia que rodee al origen.
(ii) Dos determinaciones continuas del argumento de una funcion que no
se anula en un conjunto conexo dieren en un m ultiplo de 2.
Demostracion
(i) Sea C una circunferencia que rodea al origen. Supongamos que existe
una funcion continua A : C R tal que
z
|z|
= e
iA(z)
para z C.
Veamos que A es inyectiva. Si z
1
, z
2
C y A(z
1
) = A(z
2
) entonces
z
1
|z
1
|
=
z
2
|z
2
|
. Por tanto z
1
, z
2
est an en la misma semirecta que pasa por el 0. Si
z
1
,= z
2
se contradice el hecho de que 0 este en el interior de la circunferencia.
Como A : C A(C) es una biyecci on continua entonces A(C) = [a, b] pues
tiene que ser conexo y compacto. Pero si z
1
C cumple A(z
1
) = a y z
2
C
cumple A(z
2
) = b con z
1
,= z
2
se llega a contradiccion ya que solo un arco
que une z
1
y z
2
se podr a poner en biyecci on con [a, b].
(ii) Sea C un conexo y A
1
, A
2
dos determinaciones continuas del
argumento de una funci on f sobre . Entonces f(z) = [f(z)[e
iA
1
(z)
=
[f(z)[e
iA
2
(z)
. Luego A
1
(z) = A
2
(z) + 2K(z). Por continuidad K(z) Z
implica que K(z) = k para todo z .
Denici on 4.2.11 Sea z ,= 0, w es un logartmo de z si se verica e

w
= z.
Se escribe log(z) el conjunto de todos los logartmos de z.
Nota 4.2.2
log(z) = w = log([z[) +i : arg(z).
Se escribe log
[a,a+2)
= log([z[) + iArg
[a,a+2)
y Log(z) es el logartmo
principal que corresponde al argumento principal.
Denici on 4.2.12 Dados C y f : C 0 una determinacion
continua (o rama uniforme) del logartmo de f sobre es una aplicacion
continua L : C tal que L(z) log(f(z)) para todo z .
Teorema 4.2.13 Sea una region y f : C 0 holomorfa . Sea
L : C una determinacion continua del logartmo de f en . Entonces
L H() y ademas L
(z) =
f
(z)
f(z)
para todo z .
Demostracion Usando lim
w0
e
w
1
w
= 0, la continuidad de L y la derivabilidad
de f tenemos que dado z , > 0 existen , > 0 tales que
si [w[ < entonces [
w
e
w
1
1[ < [f(z)[ y
si [h[ < entonces [L(z +h) L(z)[ < y [
f(z+h)f(z)
h
f
(z)[ <
|f(z)|
2
.
Por tanto si [h[ < se tiene
[
L(z +h) L(z)
h

f
(z)
f(z)
[ = [
L(z +h) L(z)
f(z +h) f(z)
f(z +h) f(z)
h

f
(z)
f(z)
[
= [
L(z +h) L(z)
e
L(z+h)
e
L(z)
f(z +h) f(z)
h

f
(z)
e
L(z)
[
= [
1
e
L(z)
[[
f(z +h) f(z)
h
L(z +h) L(z)
e
L(z+h)L(z)
1
f
(z)[
[
1
e
L(z)
[[
f(z +h) f(z)
h
[[(
L(z +h) L(z)
e
L(z+h)L(z)
1
1)[
+ [
1
e
L(z)
[[
f(z +h) f(z)
h
f
(z)[
< [
1
f(z)
[(
[f(z)[
2
+
[f(z)[
2
) = .
Corolario 4.2.14 Sea una region en C tal que 0 / y .

Teorema 4.2.15 Sea una region en C tal que 0 / .
(i) A es una determinacion continua del argumento en si y solo si
L(z) = log([z[) +iA(z) es una determinacion del logartmo.
(ii) Si L es una determinacion continua del logartmo en entonces
L H() y L
(z) =
1
z
para todo z
(iii) Sean L
1
, L
2
: C determinaciones continuas del logartmo. En-
tonces existe k Z tal que L
1
(z) = L
2
(z) + 2ki para todo z .
Demostracion
(i) Es inmediato que si A es continua entonces L tambien. Claramente
e
L
(z) = [z[e
iA(z)
= z.
Reciprocamente L continua implica Acontinua. Ademas e
iA(z)
= e
L(z)log(|z|)
=
z
|z|
.
(ii) Aplicar el resultado anterior a f(z) = z.
(iii) Si z = e
L
1
(z)
= e
L
2
(z)
para todo z entonces L
1
(z) L
2
(z) =
2k(z)i, pero como k(z) Z y continua se tiene que es constante.
Teorema 4.2.16
(i) Log H(C R
) y (Log(z))
=
1
z
.
(ii) Para todo z
0
,= 0 existe una determinacion continua del logartmo en
D(z
0
, [z
0
[).
(iii) Log(1 +z) H(D). Ademas Log(1 +z) =

n=0
(1)
n z
n+1
n+1
, z D.
Demostracion (i) Inmediato del teorema anterior.
(ii) Tomar L(z) = w
0
+ Log(
z
z
0
) con w
0
log(z
0
). Es claro que si z
D(z
0
, [z
0
[) entonces
z
z
0
= 1 +
zz
0
z
0
C R
.
(iii) Inmediato usando la derivaci on termino a termino.
Teorema 4.2.17 Sea a R. Sea BH
a,a+2
= z C : a < Im(z) < a+2.
Entonces
exp
a
: BH
a,a+2
C H
a
, exp
a
(z) = e
z
es una biyeccion.
Ademas log
[a,a+2)
corresponde a la inversa de dicha aplicacion.
Demostracion
Inyectividad: Sean z, z
: BH
a,a+2
con e
z
= e
z
. Como z z
= 2ki
entonces Im(z) Im(z
) = 2k, luego z = z
.
Suprayectividad: Si w H
a
entonces si e
z
= w = re
ia
se tiene z =
logr +i(a + 2k) / : BH
a,a+2
.
Dado w C H
a
tomar z = log
[
a, a + 2)(w). Es inmediato comprobar
que e
z
= w.
Como log
[
a, a + 2) es una determinacion continua en C H
a
tenemos
que es la inversa de exp
a
.
Denici on 4.2.18 Dado z C y n N se dice raiz n-esima de z a todo
numero complejo w tal que w
n
= z.
Proposicion 4.2.19 (i) Dado z ,= 0 existen n raices n-esimas de z.
(ii) El conjunto de las raices n-esimas de la unidad forman un subgrupo
cclico de T con generador e
2i
n
.
Demostracion (i) Sea w
k
= [z[
1/n
e
Arg(z)+2ik
n
para k = 0, 1, 2, ..., n 1. Es
inmediato que w
n
k
= z.
Por otro lado si w
n
= z entonces [w[
n
= [z[. Como nArg(w) arg(w
n
) =
arg(z) entonces nArg(w) = Arg(z) + 2ik para alg un k Z. Es claro que
k 0, 1, ..., n 1.
(ii) Inmediata.
Denici on 4.2.20 Dado z C con z ,= 0 denimos por z
w
el conjunto de
valores e
ww
: w
log(z).
En particular la rama principal de z
w
es el valor e
wLogz
.
Caso w =
1
n
las distintas determinaciones corresponden a las diferentes
raices de z.
Teorema 4.2.21 Escribiremos

z la rama o determinacion principal de la
raiz cuadrada de z.
(i) La funcion

z H(C R
) y ademas (
z)
=
1
2
z
.
(ii) z z
2
es una biyeccion holomorfa de z : Re(z) > 0 en C R
con
inversa

z.
(iii) En particular
1 +z H(D).
Ademas
1 +z = 1 +
n=1
(1)
n1
(2n)!
4
n
(2n1)n!
z
n
para z D.
Demostracion (i) Obvio de

z = e
1
2
Logz
.
(ii) Inyectividad: z
2
= z
2
implica z = z
o z = z
, pero si z, z
z :
Re(z) > 0 entonces z = z
.
Suprayectividad: Si z
2
R
entonces Re(z)
2
Im(z)
2
y Re(z)Im(z) =
0. Entonces Re(z) = 0.
Dado w C R
tomar z =
_
[w[e
iArg(w)
2
. Es claro que Re(z) > 0 y
z
2
= w.
(iii) Notese que f(z) = e
1
2
Log(1+z)
y
f
(z) =
1
2
e
1
2
Log(1+z)
1
1 +z
=
1
2
e
1
2
Log(1+z)
.
Recurrentemente puede obtenerse que para n 2
f
(n)
(z) = (1)
n1
1
2
3
2
...
2n 3
2
e
12n
2
Log(1+z)
=
=
(1)
n1
1.2.3.4.5...(2n 3)(2n 2).(2n 1).2n
4
n
n!(2n 1)
e
1
2
Log(1+z)
1
(1 +z)
n
.
De aqu con la f ormula de Taylor se obtiene el resultado.
Proposicion 4.2.22 Sea w = z

2
es decir (x, y) (x
2
y
2
, 2xy) (o bien
Re
i
R
2
e
2i
).
(i) z
2
transforma las rectas paralelas a los ejes OY en parabolas (salvo
x = 0, y = 0 que degeneran en semirectas.)
(ii) z
2
transforma las hiperbolas x
2
y
2
= c, xy = d en rectas paralelas a
los ejes u = c, v = d/2 respectivamente.
(iii) z
2
transforma rectas y = mx en semirectas que pasan por el origen,
siendo m = 0, las correspondientes a R
+
, R
respectivamente.
(iv) Sea 0 < b a < entonces z
2
es biyeccion de un sector S
a,b
en otro
S
2a,2b
.
(v) z
2
es biyeccion de BH
0,1
en z C : 1 Re(z) >
Im
2
(z)
4
R
.
1.- Calcular las partes real, partes imaginaria y el m odulo de las funciones
senz, cosz, tgz, Shz, Chz, Thz.
2.- Estudiar lim
z
e
z
a lo largo de cada semirecta con origen en z = 0.
3.- Probar que si a [1, 1] todas las races de la ecuaci on sen z = a son
reales.
4.-Demostrar que senz y cosz son suprayectivas.
5.- Sea a ,= 0, a C, k N. Denimos (a
z
)
k
= e
z log
[k,k+2)
a
. Probar que
(a
z
)
k
es analtica en C y hallar su desarrollo en serie de potencias de z.
6.- Dar la denici on de determinaci on de

z. Probar que toda deter-
minaci on de

z es holomorfa y que su derivada es
1
2
z
.Probar que tambien
es analtica. Ademas, si f y g son dos determinaciones, entonces f = g o
f = g.
7.- Desarrollar en serie de potencias de z y decir cu al es el crculo m aximo
en que es v alido el desarrollo de las siguientes funciones:
i) sen
2
z , ii) Ch
2
z
8.- Desarrollar en serie de potencias de z:
i)
z +i , ii) Log
1 +z
1 z
.
i)
z
z
2
4z + 13
, ii)
z
2
(z + 1)
2
.
i)Arctgz , ii) Arcsenz.
11.- Desarrollar en serie de potencias de (z 1) y determinar el crculo
m aximo en que es v alido el desarrollo de las siguientes funciones:
i)
z
2
(z + 1)
2
; ii)
z
z
2
2z + 5
;
12.- Desarrollar en serie de potencias de (z 1):
i)
3
z ; ii) sen(2z z
2
).
13.- Probar que si
z
e
z
1
=
n=0
B
n
z
n
n!
( los coecientes B
n
se llaman
n umeros de Bernouilli ), entonces:
i) B
0
= 1
ii)
_
n+1
0
_
B
0
+
_
n+1
1
_
B
1
+ +
_
n+1
n
_
B
n
= 0
iii) B
2n+1
= 0, n 1.
14.-Utilizando los n umeros de Bernouilli, desarrollar en serie de potencias
de z: i)
z
e
z
+ 1
, ii) tgz , iii) zcotgz;
iv) zcosecz ; v ) Log(
tgz
z
) ; vi) Log(
z
senz
).
15.- Estudiar los dominios de denicion y decir d onde son derivables las
ramas principales de las funciones: a)
z
2
1, b) log
z 1
z
, c)
z 1
z + 1
.
16.- Sea un abierto conexo del plano complejo. Sea g H() con g(z) ,=
0, z . Sea f C
(o
() tal que f
2
= g (esto es, f es una determinacion
de la raiz cuadrada de g). Probar que f H(). Lo mismo si e
f(z)
= g(z).
17.- Demostrar que no existe una determinaci on continua del argumento
en la regi on = z C; 1 < [z[ < 2.
18.- Desarrollar la rama principal de

z en potencias de z a, donde
a / (, 0].
19.- Sea = z : Imz > 0.
i) Existe f H() tal que f
2
(z) = z(z 1) z ?
ii) Dar el desarrollo en serie de potencias de (z i) de alguna de esas
funciones (caso de existir).
20.- Probar que existe un abierto que contiene al origen y una funci on
f H() tal que f
2
(z) = 1 + senz, z . Probar que f admite un
desarrollo en serie de potencias.
21.- Dados u, v C(u ,= 0) denimos u
v
= e
v log u
. Probar los siguientes
contenidos y demostrar que pueden ser estrictos: u
v+w
u
v
.u
w
; log u
v
v log u ; u
v.w
(u
v
)
w
. Probar que si n Z, u
n
consta de un solo elemento y
que u
1
n
consta de n elementos.
Captulo 5
Integraci on sobre caminos
5.1 Integraci on sobre caminos.
Aunque la teora de integraci on puede hacerse sobre curvas recticables
(es decir derivables a trozos y con derivada integrable Lebesgue) la haremos
unicamente sobre caminos.
Denici on 5.1.1 Un camino es una curva diferenciable a trozos con derivada
contnua en cada subintervalo de la particion, i.e. existe t
0
= a < t
1
< ... <
t
n1
< t
n
= b tal que [
[t
i1
,t
i
]
es continua, derivable en el abierto, con
derivada continua y existen
(t
+
i1
) y
(t
i
).
Se dice longitud del camino al valor long() =
_
b
a
[
(t)[dt. Denotado
tambien
_
[dz[ = long().
Denici on 5.1.2 Dada una curva : [a, b] C se dice curva opuesta de
a la curva (), denida por : [b, a] C siendo ()(t) = (t)
para t [b, a].
Dadas dos curvas
1
: [a
1
, b
1
] C,
2
: [a
2
, b
2
] C con
1
(b
1
) =
2
(a
2
),
se dice curva union de
1
y
2
a la curva
1

2
, denida por
1

2
:
[a
1
, b
1
+b
2
a
2
] C siendo
(
1

2
)(t) =
1
(t) t [a
1
, b
1
]
(
1

2
)(t) =
2
(t +a
2
b
1
) t [b
1
, b
1
+b
2
a
2
].
Denici on 5.1.3 Dadas dos curvas
1
: [a
1
, b
1
] C,
2
: [a
2
, b
2
] C.
Diremos que
1

2
existe : [a
2
, b
2
] [a
1
, b
1
] continua estrictamente
creciente con (a
2
) = a
1
, (b
2
) = b
1
y
2
(t) =
1
((t)).
53
54 Captulo 5. Integraci on sobre caminos
Nota 5.1.1 Las deniciones anteriores (para biyeccion derivable con derivada
(t) > 0) se aplican a caminos, siendo el opuesto y la union de caminos

tambien un camino.
Denici on 5.1.4 Una funcion acotada : [a, b] C se dice integrable
Riemann si Re() : [a, b] R y Im() : [a, b] R son integrables Riemann.
Ademas se dene
_
b
a
(t)dt =
_
b
a
Re((t))dt +i
_
b
a
Im((t))dt.
Nota 5.1.2 El desarrollo de integracion Riemann de funciones complejas es
pararelo al de funciones reales y puede deducirse del anterior, combinando
partes reales e imaginarias.
Denici on 5.1.5 Sea : [a, b] C un camino y f :
C una funcion
continua, denimos
_
f(z)dz =
_
b
a
f((t))
(t)dt =
n
i=1
_
t
i
t
i1
f((t))
(t)dt.
Nota 5.1.3 Las integrales de la denicion anterior son integrales Riemann,
pero si se hace el desarrollo sobre curvas recticables se considera integracion
Lebesgue (que en este caso coinciden).
Proposicion 5.1.6 Sean
1
,
2
, caminos y f, g funciones continuas denidas
sobre los soportes correspondientes.
(i) Si
1

2
entonces
_
1
f(z)dz =
_
2
f(z)dz.
(ii)
_
f(z)dz =
_
f(z)dz.
(iii)
_
2
f(z)dz =
_
1
f(z)dz +
_
2
f(z)dz.
(iv)
_
(f +g)(z)dz =
_
f(z)dz +
_
g(z)dz.
(v) [
_
f(z)dz[ long()sup
z
[f(z)[.
(vi) Sea un abierto de C,
, f :
C continua y F : C
holomorfa tal que F
(z) = f(z) z
. Entonces
_
f(z)dz = F((b)) F((a)).

Demostracion:
(i) Suponer que
2
(t) =
1
((t)) para t [c, d] and : [c, d] [a, b] es
biyecci on creciente. Entonces
5.1. Integracion sobre caminos. 55
_
2
f(z)dz =
_
d
c
f(
1
((t)))
1
((t))
(t)dt
=
_
b
a
f(
1
(s))
1
(s)ds =
_
1
f(z)dz.
(ii)
_
f(z)dz =
_
a
b
f((t))()
(t)dt =
_
b
a
f((s))
(s)ds =
_
f(z)dz
(iii)
_
2
f(z)dz =
_
b
1
+b
2
a
2
a
1
f((t))(t)dt
=
_
b
1
a
1
f(
1
(s))
1
(s)ds +
_
b
1
+b
2
a
2
b
1
f(
2
(s +a
2
b
1
))
2
(s +a
2
b
1
)ds
=
_
b
1
a
1
f(
1
(s))
1
(s)ds +
_
b
2
a
2
f(
2
(s))
2
(s)ds
=
_
1
f(z)dz +
_
2
f(z)dz.
(iv) Inmediata.
(v)
[
_
b
a
f((t))
(t)dt[ sup
t[a,b]
[f((t)[
_
b
a
[
(t)[dt.
(vi)
_
f(z)dz =
_
b
a
f((t))
(t)dt =
_
b
a
(F )
(t)dt = F((b)) F((a)).
Proposicion 5.1.7 Sea un camino, f

n
:
C funciones continuas
(i) Si f = lim
n
f
n
uniformemente en
entonces
_
f(z)dz = lim
n
_
f
n
(z)dz.
(ii) Si f =

n=0
f
n
uniformemente en
entonces
_
f(z)dz =
n=0
_
f
n
(z)dz.
Demostracion: (i) se sigue de (v) en Proposicion 5.1.6
[
_
(f
n
(t) f(z))dz[ sup
z
[f
n
(z) f(z)[long().
(ii) se sigue de (i) junto con la linealidad de (iv) en Proposici on 5.1.6.
Nota 5.1.4
_
|z|=1
dz
z
=
_
2
0
ie
it
dt
e
it
dt = 2i.
Sea el cuadrado de vertices 0, 2, 2 + 2i, 2i recorrido en la direccion de
los puntos dados
_
dz
z (1 +i)
= 2i.
Observamos en primer lugar que parametrizando ambos caminos se ob-
tiene que
_
dz
z (1 +i)
=
_
0
dz
z
donde
0
el cuadrado de vertices (1 +i), 1 i, 1 +i, 1 +i recorrido en la
direccion de los puntos.
En efecto escribimos
0
=
1
[1 + i, 1 i] donde
1
= [1 i, 1
i] [1 i, 1 +i] [1 +i, 1 +i].
Tomando F(z) = Logz se tiene que F H(C R
) y F
(z) =
1
z
para
z
1
. Por tanto
_
0
dz
z
=
_
1
dz
z
+
_
[1+i,1i]
dz
z
,
_
1
dz
z
= Log(1 +i) Log(1 i) = i
3
4
+i
4
= i.
Aunque podemos argumentar del mismo modo con otra rama del logar-
itmo, haremos ahora el calculo parametrizando el otro camino.
_
[1+i,1i]
dz
z
=
_
[1i,1+i]
dz
z
=
_
1
1
idt
1 +it
= i
_
1
1
1
1 +t
2
dt
_
1
1
t
1 +t
2
dt
5.2. Construccion de funciones holomorfas 57
Finalmente
_
1
1
1
1 +t
2
dt = 2
_
1
0
1
1 +t
2
dt =
y
_
1
1
t
1 +t
2
dt = 0.
Lo que permite concluir que
_
dz
z (1 +i)
= 2i.
5.2 Construcci on de funciones holomorfas
Proposicion 5.2.1 Sea un camino , C un abierto y :
C
una funcion continua.
(i) Entonces la funcion g : C dada por g(z) =
_
(w, z)dw es
continua.
(ii) Si ademas para todo (w, z)
existe
w
(z) siendo
w
(z) =
(w, z) y la aplicacion (w, z)

z
(w, z) =
w
(z) es continua en

entonces g H() y g
(z) =
_
z
(w, z)dw.
Demostracion:
(i) Sea z
0
. Consideremos un disco D(z
0
, r) . Como es uni-
formemente continua en
D(z
0
, r) dado > 0 existe > 0 de modo que
[z z
0
[ < entonces [(w, z) (w, z
0
)[ <

long()
, w
.
Entonces
[g(z) g(z
0
)[ = [
_
((w, z) (w, z
0
))dw[
long()sup
w
[(w, z) (w, z
0
)[ <
(ii) Sea z
0
. Probemos que g es derivable en z
0
.
g(z) g(z
0
)
z z
0
z
(w, z
0
)dw
_
(w, z) (w, z
0
)
z z
0

z
(w, z
0
)
_
dw
(w, z) (w, z
0
) (z z
0
)
z
(w, z
0
)
z z
0
dw

=
(w, z) (w, z
0
)
z z
0
dw
donde w (w, z) = (w, z) z
z
(w, z
0
) H(). Ahora bien, denotando
(z) = (w, z),

[
w
(z)
w
(z
0
)[ = [
_
[z
0
,z]
w
(z)dz[ [z z
0
[sup
[z
0
,z]
[
()[.
Por tanto
g(z) g(z
0
)
z z
0
z
(w, z
0
)dw
sup
[z
0
,z]
[
()[[dz[
(long()sup
[z
0
,z],w
[
()[.
Como
w
(z) =

z
(w, z)

z
(w, z
0
) es uniformemente continua en
D(z
0
, r), razonando como en el apartado (i) se concluye que
lim
zz
0
g(z) g(z
0
)
z z
0
=
_
z
(w, z
0
)dw
Teorema 5.2.2 Sea un camino, f :
C continua. Denimos la
siguiente funcion F con dominio C
,
F(z) =
1
2i
_
f(w)
w z
dw.
Entonces F A(C
).
Ademas F
(n)
(z) =
n!
2i
_
f(w)
(wz)
n+1
dw, z C
.
Demostracion: Sea (w, z) =
f(w)
wz
:
(C
) C. Es claro que y
z
(w, z) =
f(w)
(wz)
2
son continuas en
(C
).
Por el teorema anterior F H(C
) y adem as
F
(z) =
1
2i
_
f(w)
(w z)
2
dw.
Reiterando el argumento obtenemos al derivada n-esima.
5.2. Construccion de funciones holomorfas 59
Probemos que F es analtica en C
y demos otro modo de calcular la

derivada n-esima.
Dado a C
y w
tenemos que si [z a[ < [w a[ entonces

1
w z
=
1
w a
1
1
za
wa
=
n=0
(z a)
n
(w a)
n+1
.
Sea r < d(a,
). Entonces si w
y [z a[ < r se puede aplicar la

convergencia uniforme en w
de la serie anterior y por tanto

F(z) =
1
2i
_
f(w)
n=0
(z a)
n
(w a)
n+1
dw =
n=0
(
1
2i
_
f(w)
(w a)
n+1
dw)(z a)
n
(El intercambio de sumaci on e integral se garantiza por ser lmite uni-
forme sobre
de una sucesi on de funciones, o bien pues

n=0
[
f(w)(za)
n
(wa)
n+1
[
M
d(a,
n=0
(
r
d(a,
)
)
n
< .)
Adem as el radio de convergencia de la serie anterior es d(a,
) y los
coecientes de Taylor son
F
(n)
n!
(a) =
1
2i
_
f(w)
(w a)
n+1
dw.
Observar que en general no es cierto que toda funci on continua tenga

primitiva (por ejemplo f(z) = [z[
2
). Este hecho se sigue de que si existe
F = U + iV tal que F
= f entonces, debido a las ecuaciones de Cauchy-

Riemann, se sigue que f holomorfa.
La existencia de primitiva depende de la integracion sobre caminos, como
pone de maniesto el siguiente resultado.
Proposicion 5.2.3 Sea una region y f : C continua. Son equiva-
lentes
(i) Existe F H() tal que F
(z) = f(z).
(ii)
_
f(z)dz = 0 para todo camino cerrado .

(iii)
_
1
f(z)dz =
_
2
f(z)dz para todo par de caminos
1
,
2
con los
mismos puntos inicial y nal.
Demostracion:
(i) =(ii).
_
f(z)dz = F((b)) F((a)) = 0.

(ii) = (iii). Poner
1
(
2
) = . Es un camino cerrado, por tanto
_
1
f(z)dz
_
2
f(z)dz =
_
f(z)dz = 0.
(iii) = (i). Fijamos z
0
. Para z denimos F(z) =
_
z
f(w)dw
donde
z
es un camino con
z
(0) = z
0
y
z
(1) = z (por ejemplo una poligonal
de lados paralelos a los ejes). Veamos que F es derivable en y F
= f.
Sea z
, D(z
, ) . Si z D(z
, )
F(z) F(z
)
z z
f(z
) =
1
z z
(
_
z
f(w)dw
_
f(w)dw) f(z
)
=
1
z z
_
_
z
[z
,z]
f(w)dw
_
f(w)dw f(z
)(z z
)
_
=
1
z z
(
_
[z
,z]
f(w)dw
_
[z
,z]
f(z
)dw)
=
1
z z
_
[z
,z]
(f(w) f(z
))dw.
Usando ahora la continuidad de f se obtiene el resultado.
Nota 5.2.1 El mismo resultado puede enunciarse en abiertos generales, pues

los caminos estan contenidos en cada componente conexa.
Denici on 5.2.4 Si es un camino cerrado y z / , se dice ndice del
camino respecto del punto z al valor
Ind
(z) =
1
2i
_
dw
w z
.
Proposicion 5.2.5 Si = D(z
0
, R), i.e. (t) = z
0
+ Re
it
, 0 t 2
y [z z
0
[ ,= R entonces Ind
(z) = 1 si [z z
0
[ < R y Ind
(z) = 0 si
[z z
0
[ > R.
Demostracion: Suponer primero que [z z
0
[ > R. Entonces f(w) =
1
wz

H(C z) y tiene primitiva F(w) =
1
(wz)
2
. Como
C z entonces la
Proposici on 5.2.3 permite concluir que Ind
(z) = 0.
Sea ahora [z z
0
[ < R. El caso z = z
0
es inmediato
Ind
(z
0
) =
1
2i
_
dw
w z
0
=
1
2i
_
2
0
iRe
it
dt
Re
it
= 1.
Observar que para n 2 se tiene que
_
dw
(w z
0
)
n
=
_
2
0
iR
n+1
e
i(n1)t
dt = 0.
Si [z z
0
[ < R y z ,= z
0
entonces
1
2i
_
dw
w z
=
1
2i
_
dw
(w z
0
)(1
zz
0
wz
0
)
=
1
2i
_
n=0
(z z
0
)
n
(w z
0
)
n+1
dw
=
1
2i
n=0
(
_
dw
(w z
0
)
n+1
)(z z
0
)
n
= Ind
(z
0
) +
1
2i
n=1
(
_
1dw
(w z
0
)
n+1
)(z z
0
)
n
= Ind
(z
0
) = 1.

1.- Calcular
_
(x
2
iy
2
)dz, siendo :
a) El arco de parabola y = 2x
2
entre los puntos 1 + 2i, 2 + 8i.
b) [1 + 2i, 1 + 8i] [1 + 8i, 2 + 8i].
c) [1 + 2i, 2 + 8i].
2.- Calcular
_
z
2
dz, siendo
a) La circunferencia [z[ = 1.
b) La circunferencia [z 1[ = 1.
3.- Calcular
_
Log
3
z
z
dz,
donde es el arco de circunferencia
z C; [z[ = 1, 0 Argz

2
.
4.- Hallar
_
|z|=2
z
2
Log
z + 1
z 1
dz.
5.- Demostrar que
_
2
0
e
cos t
sen(sent)dt = 0
_
2
0
e
cos t
cos(sent)dt = 2.
6.- Sea (t) = 2[ cos 2t[e
it
, 0 t 2. Calcular
_
dz
z
2
+ 1
.
Captulo 6
Teorema de Cauchy para
circunferencias y aplicaciones
6.1 Teorema de Cauchy en abiertos estrella-
dos
Denici on 6.1.1 Un triangulo es la envoltura convexa de tres puntos
distintos z
1
, z
2
, z
3
, llamados vertices, es decir el mnimo convexo que contiene
los puntos.
Es sencillo ver que es un compacto y que es una poligonal cerrada
formada tres segmentos, que denotaremos [z
1
, z
2
, z
3
] = [z
1
, z
2
] [z
2
, z
3
]
[z
3
, z
1
].
Teorema 6.1.2 (Teorema de Cauchy-Goursat) Sea abierto no vaco, p
, un triangulo y f : C continua en y holomorfa en p.
Entonces
_
f(z)dz = 0.
Demostracion: Caso p / . Sea I =
_
f(z)dz.
Tomando los puntos medios de cada lado podemos subdividir el tri angulo
en cuatro subtri angulos
j
, j = 1, ..., 4 de tal modo que =
4
j=1
j
.
Como I =

4
j=1
_
j
f(z)dz, existir a al menos un subtriangulo de manera
que [
_
j
f(z)dz[
|I|
4
. Llamemos
1
a dicho triangulo.
63
64 Captulo 6. Teorema de Cauchy y aplicaciones
De manera recurrente construimos una sucesion de tri angulos
n
tales
que
n
...
1
,
long(
n
) =
long()
2
n
,
[
_
n
f(z)dz[
[I[
4
n
.
Por el teorema de encaje de Cantor existir a un unico punto z
0

n
n
y por
ser f(z
0
) + f
(z
0
)(z z
0
) una funci on con primitiva en C podemos armar
que
_
n
f(z)dz =
_
n
[f(z) f(z
0
) f
(z
0
)(z z
0
)]dz.
Por otro lado al ser f derivable en z
0
se tiene que si > 0 existe > 0 tal
que si [z z
0
[ < entonces [f(z) f(z
0
) f
(z
0
)(z z
0
)[ < [z z
0
[.
Combinando los hechos anteriores se tiene que para n n
0
se tiene
n
D(z
0
, ) y
[
_
n
f(z)dz[ sup
z
n[z z
0
[
long()
2
n
.
Podemos elegir n
1
tal que si n n
1
sup
z
n[z z
0
[
long()
2
n
.
Y con esto para n max(n
0
, n
1
)
[I[
4
n
[
_
n
f(z)dz[
long()
2
4
n
.
Lo que implica I = 0.
Caso p . Hay tres posibilidades: que sea un vertice o un punto de
uno de los lados o un punto del interior. En los dos ultimos casos se puede
reducir a ser vertice de otro triangulo.
Finalmente supuesto p es un vertice de . Se construye un tr angulo
sobre los lados de dicho vertice de manera que =

1

2
y
[
_
f(z)dz[ < . (Esto puede hacerse usando la contnuidad uniforme de f

sobre un disco que tenga centro en p).
6.2. Formulas de Cauchy y aplicaciones 65
Teorema 6.1.3 (Teorema de Cauchy para un abierto estrellado) Sea abierto
estrellado no vaco, p , y f : C continua en y holomorfa en p.
Entonces _
f(z)dz = 0 para todo camino cerrado .

Demostracion: Es suciente ver que f tiene primitiva en . Sea a un centro
de . Denimos
F(z) =
_
[a,z]
f(w)dw, z a y F(a) = 0.
Dado z
0
, D(z
0
, R) y z D(z
0
, R).
F(z) F(z
0
)
z z
0
f(z
0
) =
1
z z
0
(
_
[a,z]
f(w)dw
_
[a,z
0
]
f(w)dw(z z
0
)f(z
0
)).
N otese que el tri angulo con vertices [a, z
0
, z] esta en . Entonces apli-
cando el Teorema de Cauchy-Goursat se tiene:
F(z) F(z
0
)
z z
0
f(z
0
) =
1
z z
0
_
[z
0
,z]
(f(w) f(z
0
))dw.
Usando la contnuidad de f se obtiene
lim
zz
0
[
F(z) F(z
0
)
z z
0
f(z
0
)[ lim
zz
0
max
w[zz
0
]
[f(w) f(z
0
)[ = 0.
6.2 F ormulas de Cauchy y aplicaciones

Proposicion 6.2.1 (Formula integral de Cauchy para abiertos estrellados)
Sea un abierto estrellado y un camino cerrado. Si f H()
entonces
f(z)Ind
(z) =
1
2i
_
f(w)
w z
dw (z
).
Demostracion: Sea z
.
g(w) =
f(w) f(z)
w z
w z,
g(z) = f
(z)
Es claro que g H(z) y g C(). Aplicando, entonces, el teorema
de Cauchy se tiene
_
g(w)dw = 0. Es decir
0 =
1
2i
_
f(w) f(z)
w z
dw =
1
2i
_
f(w)
w z
dw f(z)Ind
(z).
Corolario 6.2.2 (Formula de Cauchy local) Sea abierto, f H() y

D(a, R) . Si = D(a, R) orientada positivamente entonces
f(z) =
1
2i
_
f(w)
w z
dw, (z D(a, R)).
Demostracion: Es consecuencia inmediata de la formula integral de Cauchy.
Observar que aunque no sea un abierto estrellado podemos considerar
1
= D(a, R
1
) de manera que D(a, R)
1
y trabajar en
1
.
Corolario 6.2.3 Sea f H(D(a, R)) y f C(D(a, R)). Si = D(a, R)

orientada positivamente entonces
f(z) =
1
2i
_
f(w)
w z
dw, (z D(a, R)).
Demostracion: Fijado z D(a, R) existe n
0
N tal que z D(a, R(1
1
n
)) si n n
0
.
Es suciente considerar
n
: [0, 2] C dado por
n
(t) = a +R(1
1
n
)e
it
.
Podemos aplicar el Corolario anterior en
n
y obtendremos
f(z) =
1
2i
_
n
f(w)
w z
dw, z D(a, R(1
1
n
)).
Veamos que
1
2i
_
f(w)
w z
dw = lim
n
1
2i
_
n
f(w)
w z
dw = f(z).
Parametrizando hemos de comprobar
lim
n
1
2i
_
2
0
f(a +R(1 1/n)e
it
)iR(1 1/n)e
it
a +R(1 1/n)e
it
z
dw =
1
2i
_
2
0
f(a +Re
it
)iRe
it
a +Re
it
z
dw.
Para ello observar que existe n
0
tal que si n n
0
[a + R(1 1/n)e
it
z[
R|za|
2
. Entonces si
g
n
(t) =
f(a +R(1 1/n)e
it
)iR(1 1/n)e
it
a +R(1 1/n)e
it
z
se tiene
sup
t[0,2)
[g
n
(t)[
2R
R [z a[
max
zD(a,R)
[f(z)[.
Esto permite aplicar el Teorema de la convergencia dominada de Lebesgue y
obtener el resultado.
Corolario 6.2.4 Sea f, g H(D(a, R)) y f, g C(D(a, R)) y = D(a, R)
orientada positivamente.
Si f = g in entonces f = g en D(a, R).
Teorema 6.2.5 (Formula de Cauchy para derivadas) Sea f H() y D(a, R)
. Si = D(a, R) orientada positivamente entonces
f
(n)
(z) =
n!
2i
_
f(w)
(w z)
n+1
dw, (z D(a, R)).
En particular si f H() entonces f C
().
Demostracion: Es consecuencia inmediata de la f ormula de Cauchy junto con
el teorema de derivacion bajo el signo integral.
Teorema 6.2.6 (Desigualdades de Cauchy) Sea f H(D(a, R)), r < R y
n N. Entonces
[f
(n)
(a)[
n!
r
n
max
|za|=r
[f(z)[.
Demostracion: Aplicando la f ormula de Cauchy para
= z : [z a[ = r
y para derivadas tenemos
[f
(n)
(a)[
n!
2
long()sup
w
[f(w)[
[w a[
n+1
=
n!
r
n
max
|za|=r
[f(z)[.
Proposicion 6.2.7 (Analiticidad) Sea abierto y f H(). Entonces

f A().
De hecho, para todo a existe (a
n
) tal que f(z) =

n=0
a
n
(z a)
n
para todo z D(a, d(a, C )).
Demostracion: Sea a y tomar R = d(a, C). Es claro que D(a, R) .
Consideremos r < d(a, C ) y
r
= z : [z a[ = r.
Entonces combinando el Teorema de Cauchy y el Teorema 5.2.2 se tiene
que f(z) =
1
2i
_
r
f(w)
wz
dw =

n=0
a
n
(z a)
n
, donde la convergencia es en el
disco D(a, R
1
) para alg un R
1
r. Como vale para cualquier r < R entonces
el radio de convergencia es d(a, C ).
Teorema 6.2.8 (Teorema de Morera) Sea abierto, f : C continua
tal que
_
f(z)dz = 0 para todo triangulo . Entonces f H().

Demostracion: Podemos suponer que es un disco abierto de centro a (por
el caracter local de la derivabilidad).
Deniendo
F(z) =
_
[a,z]
f(w)dw, z a y F(a) = 0.
Dado z
0
, D(z
0
, R) y z D(z
0
, R).
F(z) F(z
0
)
z z
0
f(z
0
) =
1
z z
0
(
_
[a,z]
f(w)dw
_
[a,z
0
]
f(w)dw(z z
0
)f(z
0
)).
N otese que el triangulo con vertices [a, z
0
, z] esta en . Entonces la
hip otesis permite decir que
_
[a,z]
f(w)dw
_
[a,z
0
]
f(w)dw =
_
[z
0
,z]
f(w)dw.
F(z) F(z
0
)
z z
0
f(z
0
) =
1
z z
0
_
[z
0
,z]
(f(w) f(z
0
))dw.
Usando la contnuidad de f se obtiene
lim
zz
0
[
F(z) F(z
0
)
z z
0
f(z
0
)[ lim
zz
0
max
w[zz
0
]
[f(w) f(z
0
)[ = 0.
Visto que F es derivable en z
0
y F
(z
0
) = f(z
0
), podemos usar que F
C
() y por tanto f H().
Corolario 6.2.9 Sea un abierto, p , f : C continua y f

H( p). Entonces f H().
Demostracion: Aplicar Cauchy-Goursat y Morera.
Teorema 6.2.10 (Teorema de Liouville) Si f es una funcion entera y aco-
tada entonces f es constante.
Demostracion: Usemos que f
(z) =
1
2i
_
D(z,R)
f(w)
(wz)
2
dw para todo R > 0.
Por tanto [f
(z)[
2RC
2(R|z|)
2
para todo R > 0.
Pasando al lmite se tiene f
(z) = 0 y por tanto f es constante.

Teorema 6.2.11 (Teorema fundamental del algebra) Todo polinomio com-
plejo no constante P(z) tiene al menos una raiz compleja.
Demostracion: Suponer que P(z) = a
k
z
k
+ ... + a
1
z + a
0
no constante, es
decir k 1, a
k
,= 0 y que no se anula y considerar f(z) =
a
0
P(z)
.
Como f es entera y lim
z
f(z) = 0 entonces es acotada y por el Teorema
de Liouville debe ser constante (contradicci on)
Teorema 6.2.12 (Principio del modulo maximo) Sea una region y f
H(). Si existe un punto a que es maximo local de [f[ entonces f es
constante.
Demostracion: Supongamos [f(a)[ [f(z)[, z D(a, R) con D(a, R)
.
Como f(a) =
1
2i
_
D(z,r)
f(w)
wa
dw =
1
2
_
2
0
f(a + re
it
)dt para todo r R
se concluye que [f(a)[
1
2
_
2
0
[f(a + re
it
)[dt. Por otro lado la hipotesis de
m aximo local implica que
[f(a)[ =
1
2
_
2
0
[f(a +re
it
)[dt.
Por tanto
_
2
0
[f(a)[ [f(a + re
it
)[dt = 0 y como la funcion del integrando
continua y no negativa implica [f(a)[ = [f(a + re
it
)[ para todo t [0, 2).
Por esto [f[ es constante, pero como es holomorfa se tiene f es constante.
6.3 Problemas propuestos.

Cuestiones.
C1.- Probar que si f(z) es continua en un entorno del punto a
lim
r0
_
|za|=r
f(z)dz
z a
= 2if(a).
C2.- Demostrar que
_
|z|=r
P
n
(z)dz
z
n+1
(z a)
= 0,
si P
n
(z) es un polinomio de grado n y a D(0, r).
C3.- Sea f(z) =
z
[1 z[
2
y 0 < r < 1, demostrar que
1
2
_
2
0
[f(re
it
)[dt =
r
1 r
2
.
C4.- Sea = re
i
,= 0 y un camino en C0 que une 1 y . Demostrar
que k Z tal que
_
dz
z
= log r +i + 2ki.
C5.- Sea f(z) =

n=0
a
n
(z a)
n
en D(a, R). Demostrar:
a) Identidad de Parseval. Si 0 < r < R,
1
2
_
2
0
[f(a +re
it
)[
2
dt =
0
[a
n
[
2
r
2n
.
b) Si M(r) = sup[f(z)[; [z a[ = r,
n=0
[a
n
[
2
r
2n
M(r)
2
.
6.3. Problemas propuestos. 71
C6.- Sea f es una funci on entera. Probar que:
a) Si [f[ 1, f es constante.
b) Si Ref 0 o Imf 0, f es constante.
c) Si Ref o Imf no tienen ceros, f es constante.
C7.- Sean f una funci on entera y A una constante tales que [f(z)[ A(1 +
[z[)
m
. Probar que f es un polinomio de grado m.
C8.- Sea f H(C) tal que existen A, M > 0 tales que [f(z)[ Me
A|z|
.Probar
que
[f
(z)[ MAe
A|z|+1
.
C9.- Sean abierto estrellado y f H() tal que f(z) ,= 0 z . Probar
que g H() tal que e
g(z)
= f(z) z .
C10.- Sean f H() y K compacto . Probar que
lim
zz
0
f(z) f(z
o
)
z z
0
= f
(z
0
)
uniformemente en K.
C11.- Sea f : C holomorfa y a . Probar que nunca se pueden
satisfacer las desigualdades
[f
(n
(a)[ > n!n
n
n N.
C12.- Si f es analtica en D(0, R) 0, demostrar que el valor de la integral
_
2
0
f(re
i
)d
es el mismo r, 0 < r < R.
Ejercicios.
1.- Hallar seg un los valores de r
_
|z|=r
senz
2
+ cos z
2
(z 1)(z 2)
dz.
2.- Hallar
_
e
zt
z
2
+ 1
dz,
siendo t > 0 y = z C; [z[ = 3.
3.- Calcular
_
|z|=2
sen z sen(z 1)
z
2
2
dz.
4.- Sea una circunferencia que rodea a 1. Calcular
_
ze
z
(z + 1)
3
dz.
5.- Sea R > 1 y f H(z C; [z[ < R). Hallar
_
|z|=1
(2 +z +
1
z
)
f(z)
z
dz.
Deducir de aqu que
2
_
2
0
f(e
i
)cos
2
2
d = 2f(0) +f
(0).
6.- Dado n N, hallar
_
|z1|=1
(
z
z 1
)
n
dz.
Captulo 7
Teorema homologico de
Cauchy.
7.1 Indice de un punto respecto de un camino
Denici on 7.1.1 Dado un camino cerrado y z /
se llama ndice del

camino respecto del punto z al siguiente valor
Ind
(z) =
1
2i
_
dw
w z
.
Nota 7.1.1 Es inmediato comprobar que
Ind
(z) = Ind
(z) y Ind
2
(z) = Ind
1
(z) +Ind
2
(z)
Teorema 7.1.2 Sea un camino cerrado y z /
.
(i) Ind
(z) Z.
(ii) Ind
H(C
).
(iii) Ind
es constante en cada componente conexa de C
.
(iv) Ind
es cero en la componente conexa no acotada de C
.
Demostracion:
(i) Supongamos : [0, 1] C con t
0
= 0 < t
1
< t
2
< ... < t
n
= 1 y
escribimos
j
: [t
j1
, t
j
] C. As =
1

2
...
n
.
Denamos g
j
: [t
j1
, t
j
] C por g
j
(s) =
_
s
t
j1
j
(t)
j
(t)z
dt.
Por denici on Ind
(z) =
1
2i
n
j=1
g
j
(t
j
).
Para evitar el uso del logartmo (por las justicaciones que esto requiere)
haremos el siguiente argumento: Como g
j
(s) =

j
(s)
j
(s)z
se tiene
73
74 Captulo 7. Teorema homol ogico de Cauchy
d
ds
(
e
g
j
(s)
j
(s) z
) =
e
g
j
(s)
g
j
(s)(
j
(s) z)
j
(s)e
g
j
(s)
(
j
(s) z)
2
= 0 s (t
j1
, t
j
).
Por tanto
e
g
j
(s)
= C
j
(
j
(s) z)s (t
j1
, t
j
).
Usando la continuidad de las funciones
j
, g
j
en los extremos se tiene
e
g
j
(t
j
)
j
(t
j
) z
=
e
g
j
(t
j1
)
j
(t
j1
) z
=
1
j
(t
j1
) z
.
De esto e
g
j
(t
j
)
=

j
(t
j
)z
j
(t
j1
)z
. Lo que permite concluir por ser un camino cerrado
que
e
n
j=1
g
j
(t
j
)
=

1
(t
1
) z
1
(t
0
) z
...

n
(t
n
) z
n
(t
n1
) z
=

n
(t
n
) z
1
(t
0
) z
=
(1) z
(0) z
= 1.
Ahora se tiene que 2iInd
(z) =

n
j=1
g
j
(t
j
) = 2ki para un cierto k Z.
(ii) Aplicaci on directa del teorema de construcci on de funciones analticas
para la funci on f(z) = 1.
(iii) Se sigue de (i) y (ii).
(iv) [Ind
(z)[
1
2
long()sup
w
1
|wz|
=
1
2
long()
1
d(z,
)
Dado K <
2
long()
existe z en la componente conexa no acotada tal que
d(z,
) > 2K. Entonces [Ind
(z)[ <
1
2
y por ser un entero (y el mismo en la
componente conexa) es [Ind
(w)[ = 0 para todo w en la componente conexa

no acotada.
Corolario 7.1.3 Sea : [a, b] C un camino,
y f : C es
holomorfa vericando
i) f(z) ,= 0 z
ii) f((a)) = f((b)).

Entonces
1
2i
_
(z)
f(z)
dz Z.
Demostracion: Considerar el camino cerrado (t) = f((t)) y observar que
1
2i
_
(z)
f(z)
dz = 2iInd
(0).
7.1. Indice de un punto respecto de un camino 75
Nota 7.1.2 APLICACIONES:
(a) Sea : [0, 1] C dada por (t) = e
2it
. Calcular Ind
(0), Ind
(1/3)
y Ind
(3).
(b) Sea : [0, 1] C dada por (t) = e
2it
. Calcular Ind
(1/2).
(c) Sea : [0, 1] C dada por (t) = e
4it
. Calcular Ind
(0).
(c) Sea : [0, 1] C la poligonal que forma el triangulo de vertices las
races c ubicas de la unidad. Calcular Ind
(0).
Ayuda: (a) (b) y (c) usar la parametrizaci on para el centro y la denici on,
mientras que en otros puntos reducir al centro usando las componentes
conexas.
(d) Se considera una circunferencia orientada positivamente y la curva
D se descompone en cuatro curvas cerradas distintas donde el punto
z = 0 esta en las componentes conexas no acotadas. Usando las propiedades
del ndice se obtiene de manera m as rapida que con la parametrizaci on y el
uso de logartmos.
Proposicion 7.1.4 (Interpretacion geometrica del ndice)
(i) Sea un camino : [a, b] C y z /
. Existe una funcion : [a, b]

C continua y derivable en los mismos puntos que tal que e
(t)
= (t) z
para t [a, b] (es decir es un logartmo continuo de wz a lo largo de ).
(ii) Si : [a, b] C es un camino cerrado y a /
, llamando A(t) =
Im((t)) (es decir, al argumento contnuo de wz a lo largo de que existe
por (i)), se tiene
Ind
(z) =
A(b) A(a)
2
.
Demostracion:
(i) Supongamos : [a, b] C con t
0
= a < t
1
< t
2
< ... < t
n
= b y
escribimos
j
= : [t
j1
, t
j
] C. As =
1

2
...
n
.
Denamos como anteriormente g
j
: [t
j1
, t
j
] C por g
j
(s) =
_
s
t
j1
j
(t)
j
(t)z
dt.
El razonamiento de la parte (i) del teorema sobre el ndice permite decir
e
g
j
(s)
= C
j
(
j
(s) z)s (t
j1
, t
j
).
Usando la continuidad de las funciones
j
, g
j
en los extremos se tiene
e
g
j
(t
j
)
j
(t
j
) z
=
1
(t
j1
) z
= C
j
.
Es decir
(t) z = ((t
j1
) z)e
g
j
(t)
, t
j1
t t
j
.
Sea a R tal que (t
j
) z / H
a
para todo j = 1, 2, ..., n.
Con esto
(t) z = e
Log
[a,a+2)
((t
j1
)z)+g
j
(t)
, t
j1
t t
j
.
Entonces, la continuidad de implica
e
Log
[a,a+2)
((t
j1
)z)+g
j
(t
j
)
= e
Log
[a,a+2)
((t
j
)z)+g
j+1
(t
j
)
,
y por tanto existe K
j
Z (K
0
= 0) tal que
Log
[a,a+2)
((t
j1
) z) +g
j
(t
j
) = Log
[a,a+2)
((t
j
) z) +g
j+1
(t
j
) + 2K
j
i.
Denimos (t) =

n
j=1
j
(t) donde
j
(t) = g
j
(t) +Log
[a,a+2)
((t
j1
) z) + 2m
j1
i)
[t
j1
,t
j
]
,
donde m
j
=

j
l=0
K
l
.
Es inmediato comprobar que (usando que lim
tt
j
(t) = lim
tt
+
j
(t))
es continua y e
(t)
= (t) z, t [a, b].
(ii) Sea A(t) = Im((t)). Es claro que es un argumento de w z sobre
.
Adem as como
j
(t) = g
j
(t) + C
j
y el camino es cerrado, usando que
g
j
(t
j1
) = 0 y que
j1
(t
j1
) =
j
(t
j1
),
2iInd
(z) =
_
b
a
(t)
(t) z
dt =
n
j=1
g
j
(t
j
)
=
n
j=1
(g
j
(t
j
) g
j
(t
j1
)) =
n
j=1
(
j
(t
j
)
j
(t
j1
))
=
n
j=1
(
j
(t
j
)
j1
(t
j1
)) = (b) (a) = (A(b) A(a))i.
Nota 7.1.3 As pues el ndice corresponde a la variacion de cualquier ar-

gumento continuo sobre la curva y geometricamente es el n umero de vueltas
que da la curva alrededor del punto z.
7.2. El teorema homol ogico de Cauchy 77
7.2 El teorema homol ogico de Cauchy
Denici on 7.2.1 Un ciclo es una union nita de caminos cerrados =
1
,
2
, ...,
n
donde
i
(a
i
) =
i
(b
i
) siendo
i
: [a
i
, b
i
] C un camino para
i = 1, ..., n.
Denotamos
=
n
i=1
i
.
Dos ciclos son iguales si tienen los mismos caminos y repetidos el mismo
n umero de veces.
Dados =
1
,
2
, ...,
n
un ciclo y f :
C una funcion continua.

Se dene
_
f(z)dz =
n
i=1
_
i
f(z)dz.
Si z /
se dene
Ind
(z) =
n
i=1
Ind
i
(z) =
1
2i
_
dw
w z
.
Nota 7.2.1 Las mismas propiedades del ndice sobre caminos se tienen para
ciclos generales.
Denici on 7.2.2 Sea un abierto no vaco, y un ciclo con
. Se
dice que es homologo a cero respecto del abierto y se denota 0(resp.)
si Ind
(z) = 0 para todo z / .

Dos ciclos , se dicen homologos respecto del abierto y se denota
(resp.) si Ind
(z) = Ind
(z) para todo z / . Es decir ()

0(resp.).
Nota 7.2.2 (Ejemplo 1).- Sea = D = z : [z[ < 1.
a) = z = 1/2e
it
: t [0, 2). Entonces 0(resp.).
b) = z = 1/4 +1/4e
it
: t [0, 2) z = 1/4 +1/4e
it
: t [0, 2).
Entonces 0(resp.).
c) = z = 1/2e
it
: t [0, 2) z = 1/4e
it
: t [0, 2). Entonces
0(resp.).
(Ejemplo 2).- Sea = D(0; 1/4, 1) = z : 1/4 < [z[ < 1.
a) = z = 1/2e
it
b) = z = 1/2 + 1/10e
it
c) = z = 1/2e
it
: t [0, 2) z = 1/3e
it
0(resp.).
d) = z = 1/2e
it
: t [0, 2) z = 1/3e
it
0(resp.).
Teorema 7.2.3 (Teorema Homologico de Cauchy. Prueba de Dixon) Sea
un abierto no vaco, un ciclo con
, 0(resp.) y f H().
Entonces
(i) f(z)Ind
(z) =
1
2i
_
f(w)
w z
dw.
(ii)
_
f(w)dw = 0.
Demostracion:
Sea E = w C
: Ind
(w) = 0. Al ser 0(resp.) se tiene

C E. Adem as E es un abierto (pues es uni on de componentes conexas)
y se tiene C = E. Notese tambien que la componente conexa no acotada
est a contenida en E.
Denimos g : C dada por
g(w, z) =
1
2i
f(w) f(z)
w z
(w ,= z),
g(z, z) =
1
2i
f
(z).
Denotemos g
w
(z) = g(w, z). Es inmediato ver que g
w
C() y g
w
H(
w). Usando los teoremas de Morera y Cauchy-Goursat se concluye que
g
w
H().
Es facil ver que g C( ). En efecto: Sea (w
0
, z
0
) .
Si z
0
,= w
0
usando que (w, z) : w ,= z es abierto en existe R > 0
tal que (w, z) : [w w
0
[ < R, [z z
0
[ < R (w, z) : w ,= z es entorno
de (z
0
, w
0
).
La continuidad de f en z
0
y w
0
implica la de g en (z
0
, w
0
) en este caso.
Si z
0
= w
0
. Escribimos
[g(w, z) g(z
0
, z
0
)[
1
2
max[
f(w) f(z)
w z
f
(z
0
)[, [f
(z) f
(z
0
)[.
Como
f(w)f(z)
wz
f
(z
0
) =
1
wz
_
[z,w]
(f
() f
(z
0
))d entonces
[g(w, z) g(z
0
, z
0
)[
1
2
sup
[w,z]
[f
() f
(z
0
)[.
7.2. El teorema homol ogico de Cauchy 79
Por tanto la continuidad de g en (z
0
, w
0
) se sigue de la continuidad de f
.
Denimos
h(z) =
_
g(w, z)dw (z ),
h(z) =
1
2i
_
f(w)
w z
dw (z E).
Veremos que h es entera y lim
z
h(z) = 0. Supuesto probadas ambas
armaciones, veamos como se concluye la demostraci on.
Entonces usando el teorema de Liouville h(z) = 0z C.
Consecuentemente
_
g(w, z)dw = 0z de donde se deduce (i).

Por otro lado jado u
consideramos f
u
(z) = f(z)(z u). Clara-
mente f
u
H() y aplicando (i) a esta funci on se tiene
1
2i
_
f(w)dw =
1
2i
_
f
u
(w)
w u
dw = Ind
(u)f
u
(u) = 0.
Demostremos ahora que h es entera. En primer lugar hay que probar que
est a bien denida. Sea z E, entonces z /
y por tanto
_
g(w, z)dw =
1
2i
_
f(w)
w z
dw f(z)Ind
(z) =
1
2i
_
f(w)
w z
dw.
El hecho de que h H(E) es consecuencia del teorema de construccion
de funciones analticas.
Veamos que h H(). Es continua en usando que g C(
). Para
probar que es derivable puede demostrarse que (w, z)
g
z
(w, z) es continua
en
o bien usar el Teorema de Morera. Usaremos el segundo metodo:

Sea un tri angulo contenido en . Usando Fubini (por ser la integral
de funci on continua en dos variables sobre un producto de compactos) y
g
w
H() se tiene
_
h(z)dz =
_
g(w, z)dwdz =
_
g(w, z)dzdw =
_
(
_
g
w
(z)dz)dw = 0.
Finalmente veamos que lim
z
h(z) = 0.
Como la componente no acotada de C
est a contenida en E entonces

existe R > 0 con
D(0, R), C D(0, R) E. As podemos decir

lim
z
h(z) = lim
z
1
2i
_
f(w)
w z
dw.
Entonces
[lim
z
h(z)[ lim
z
max
w
[f(w)[long()
2([z[ R)
= 0
donde long() =

n
j=1
long(
j
).
Corolario 7.2.4 Sea un abierto no vaco, un ciclo con
,
0(resp.) y f H() y. Entonces
Ind
(z)f
(n
(z) =
n!
2i
_
f(w)
(w z)
n+1
dw.
Demostracion:
Sea z
. Tomar R > 0, D(z, R)
. Como Ind
(w) =
Ind
(z)w D(z, R) entonces

Ind
(z)f(w) =
1
2i
_
f()
w
d w D(z, R).
Aplicando la derivaci on bajo el signo integral se tiene el resultado.
Corolario 7.2.5 Sea un abierto no vaco,
1
,
2
ciclos con
1
,
2
.
Entonces
1

2
(resp.) si y solo si
_
1
f(w)dw =
_
2
f(w)dw, f H().
Demostracion: El directo es inmediato del teorema. Para el recproco tomar
z / y considerar f
z
(w) =
1
wz

7.3 Conjuntos simplemente conexos.
El teorema de Cauchy en sus dos versiones puede leerse de distintas man-
eras:
1.- Dado abierto razonable y f C().
_
f(z)dz = 0 camino cerrado f H().

7.3. Conjuntos simplemente conexos. 81
2.- Dados abierto y ciclo.
_
f(z)dz = 0 f H() 0(resp.).

Una tercera posibilidad en la que nos concentraremos es:
3.- Caracterizar para que
_
f(z)dz = 0 f H(), ciclo .

Teorema 7.3.1 Sea un abierto no vaco. Son equivalentes:
(i)
_
f(z)dz = 0 f H(), ciclo .

(ii) Todo ciclo es homologo a cero respecto de .
(iii) Toda f H() tiene primitiva en .
(iv) Toda u Har() tiene armonica conjugada en .
(v)Toda f H() que no se anula tiene logartmo holomorfo en .
(vi) Toda f H() que no se anula tiene raiz cuadrada holomorfa en .
Demostracion:
(i) =(ii) Sea un ciclo en , a / y f(z) =
1
za
. Entonces Ind
(a) =
0.
(ii) =(i) Teorema homol ogico de Cauchy.
(i) =(iii) Visto con anterioridad.
(iii) = (iv). Sea u Har(). Se probo con anterioridad que la ex-
istencia de arm onica conjugada en cada componente conexa equivale a la
existencia de primitiva de u
x
iu
y
. Como la funci on h = u
x
iu
y
H()
ya que cumple las condiciones de Cauchy-Riemman se obtiene (iv).
(iv) =(v). Sea f H() que no se anula. Entonces U(z) = log [f(z)[
es armonica en . Entonces existe V (z) Har() tal que g(z) = log [f(z)[ +
iV (z) H(). Como [e
g(z)
[ = e
log |f(z)|
= [f(z)[ se concluye que h(z) =
e
g(z)
f(z) H() y cumple que [h(z)[ = 1 para z . Luego h(z) es
constante en cada componente conexa de . Sea E una componente conexa.
Entonces existe A R tal que h(z) = e
iA
para todo z de la componente
conexa. Se deduce que f(z) = e
g(z)+iA
y se obtiene un logaritmo holomorfo
en la componente E.
(v) =(vi) Sea f H() que no se anula y g
1
H() tal que e
g
1
= f.
Considerar g = e
1/2g
1
H() y claramente g
2
= f.
(vi) = (i) Sea un ciclo en y a / . Como f(z) = z a H() y
no se anula en existe f
1
H() tal que f
2
1
(z) = f(z)z .
Al ser f
1
(z) ,= 0 en repetimos el proceso y hallamos f
2
H() con
f
2
2
= f
1
y por tanto f
4
2
= f.
Inductivamente tenemos f
n
H() que no se anula y con f
2
n
n
= f.
Derivando se obtiene
f
f
= 2
n
f
n
f
n
. Entonces
1
2
n
2i
_
dz
z a
=
1
2i
_
n
(z)
f
n
(z)
dz.
Como
1
2i
_
dz
za
,
1
2i
_
n
(z)
f
n
(z)
dz Z y
1
2
n
2
[
_
dz
za
[ < 1 para n grande entonces
1
2i
_
dz
z a
= 0.
Denici on 7.3.2 Un abierto vericando cualquiera de dichas propiedades

se dice simplemente conexo
La razon para dicha denominaci on est a en el siguiente resultado para el
que se necesita un lema previo interesante en s mismo.
Lema 7.3.3 (Ciclo que rodea a un compacto) Sea un abierto no vaco y
K un compacto no vaco.
Existe un ciclo K (union de poligonales orientadas) de manera
que
0(resp. ), Ind
(z) = 1z K.
Demostracion: Si = C tomar = D(0, R) con K D(0, R).
Caso de ,= C sea = d(K, ). Ahora construimos una red de cuadra-
dos con lados de longitud
2 y paralelos a los ejes.

Llamemos Q la familia de dichos cuadrados que cortan al compacto K.
Habr a s olo un n umero nito de ellos.
Ponemos M= Q : Q Q, (supuestos recorridos positivamente).
Finalmente denotemos por el conjunto de los caminos que son lados de
uno solo de los cuadrados de Q. Se comprueba que es el ciclo que buscamos.
Los detalles de comprobaci on se dejan al lector ( puede verse en el libro de
W. Rudin, An alisis Real y Complejo, pp 250-251.)
Teorema 7.3.4 Sea un abierto no vaco.
es simplemente conexo si y solo si C
es conexo.
Demostracion:
=) Sea un ciclo en . Si C
es conexo entonces C
es
la componente conexa no acotada de C
. De donde se deduce que

0(resp. ).
=) Usando el lema previo y suponiendo que no es conexo existiran A, B
cerrados en C
no vacos, disjuntos tales que C
= A B.
Supongamos B entonces K = A cerrado y acotado en C y
1
=
C
B es abierto. Luego existe

1
K con Ind
(z) = 1 para
z A C y as no es hom ologo a cero respecto de .

1.- Hallar
_
e
3z
z i
dz,
siendo la elipse z C; [z 2[ +[z + 2[ = 6.
2.- Sea a C, [a[ > 1, r > [a[, = z C; [z[ >
1
2
, g H() acotada en
, f(z) =
ag(z)
az z
2
z a, y el ciclo [z[ = 1 [[z[ = r].
i) Calcular
_
f.
ii)Hallar lim
r
_
|z|=r
f(z)dz. Deducir de aqu el valor de
_
|z|=1
f(z)dz.
3.- Calcular
_
|z|=1
(z + 1) e
1
z
z
2
dz.
4.- Sean a, b C, a ,= b, [a[ = [b[ = 2. Sean f H(z C; [z[ > 1)
y P(z) = (z a)(z b). Consideremos la funci on
(R) =
1
2i
_
|z|=r
f(z)
P(z)
dz, R (1, ) 2.
i) Probar que (R) es constante A si R > 2.
ii) Probar que si 1 < R < 2
(R) = A +
f(a) f(b)
a b
.
5.- Decir si son simplemente conexos o no los siguientes conjuntos:
a) una regi on convexa
b) Ca, a C
c) D(0; 1, 2) (1, 2)
d) Cre
ir
; 0 r <
e) C iR
+

1
n
+iy; y 0, n N .
6.- Sea una regi on no vaca y p > 2, p N Es cierto que es simplemente
conexo f H() con f(z) ,= 0 z , g H() tal que
g
p
(z) = f(z) z . ?
Captulo 8
Singularidades y desarrollos de
Laurent
8.1 Ceros y singularidades.
En este captulo denota una regi on. Recordemos que si f H(), el
conjunto de sus ceros en se denota por
Z
f
() = z : f(z) = 0.
Recordemos que usando el desarrollo en serie de potencias entorno a los
puntos de de las funciones holomorfas se prueba que son equivalentes
(i) Existe a tal que f
(n)
(a) = 0, n N.
(ii) (Z
f
())
,= .
(iii) f(z) = 0 z .
Denici on 8.1.1 Dado a Z
f
() se dice que tiene multiplicidad k si
k = m(f, a) = minn : f
(n)
(a) ,= 0.
Proposicion 8.1.2 Si f H() no es identicamente nula entonces el con-
junto Z
f
() es un cerrado contable sin puntos de acumulacion en .
Demostracion: Es claro que es cerrado (antimagen de cerrado por una
funci on continua). Al no acumularse en se tiene que en cada compacto de
puede solamente haber un n umero nito de ceros. Y entonces en a lo
mas sera numerable.
85
86 Captulo 8. Singularidades y desarrollos de Laurent
Ejemplo 8.1.1 (1) Si f(z) = sen
1
z
Z
f
(C 0) = 1/2k : k Z
(2) Si f(z) = sen(z)
Z
f
(C) = 2k : k Z
(3) Si f(z) = e
z
se cumple que Z
f
(C) = .
(4) Si f(z) = P(z) es un polinomio de grado n.
Z
f
(C) = z
i
1ij
con j n, m(f, z
i
) = m
i
y m
1
+... +m
j
= n.
Proposicion 8.1.3 Dada f H() no nula. Son equivalentes
(i) a Z
f
() y m(f, a) = k.
(ii) f(z) =

n=k
a
n
(z a)
n
en un entorno de a y a
k
,= 0.
(iii) Existe g holomorfa en un entorno de a con f(z) = (za)
k
g(z) donde
g(a) ,= 0.
Demostracion: (i) =(ii) Sea f(z) =

n=0
a
n
(z a)
n
en cierto entorno de
a. Como sabemos que a
j
=
f
(j)
(a)
j!
se tiene que a
j
= 0 para 1 j k 1 y
a
k
,= 0.
(ii) =(iii) Tomar g(z) =

m=0
a
k+m
(z a)
m
.
(iii) = (ii) Si g(z) =

m=0
b
m
(z a)
m
en un entorno de a donde
b
0
= g(a) ,= 0 se obtiene (ii) con a
n
= b
nk
.
(ii) = (i) Inmediato de la unicidad de los coecientes de Taylor que
implica que f
(j)
(a) = 0 para 0 j k 1 y f
(k)
(a) ,= 0.
Denici on 8.1.4 Sea f : dom(f) C. Un n umero complejo a C se dice
que es una singularidad aislada de f si existe R > 0 tal que f H(D(a, R)
a) y f no es contnua en z = a.
Denici on 8.1.5 Sea f : dom(f) C y a C una singularidad aislada de
f. Se dice
(i) evitable si existe lim
za
f(z).
(ii) esencial si no existe lim
za
f(z).
(iii) polo si lim
za
f(z) = .
8.1. Ceros y singularidades. 87
Ejemplo 8.1.2 Analizamos el caso z = 0:
(i) f(z) = 1/sen(1/z). No es una singularidad aislada.
(ii) f(z) =
sen(z)
z
. Es una singularidad aislada pero existe lim
z0
f(z) =
1. Es por tanto singularidad evitable.
(iii) f(z) =
1
z
. Es una singularidad aislada tal que lim
z0
f(z) = y
lim
z0
zf(z) = 1. Es un polo.
(iv) f(z) =
1
z
2
. Es una singularidad aislada tal que lim
z0
f(z) = y
lim
z0
zf(z) = . Es un polo.
(v) f(z) = e
1
z
. Es una singularidad aislada pero no existe lim
z0
f(z).
Es una singularidad esencial
Proposicion 8.1.6 Sea f : D(a, R) a C holomorfa.
(i) a es una singularidad evitable existe una extension de f, f

H(D(a, R)).
(ii) a es un polo de f existe R
1
< R tal que Z
1/f
(D(a, R
1
)a) =
y lim
za
1/f(z) = 0.
Demostracion: (i) se sigue del Teorema de Morera.
(ii) Supongamos que a P
f
(). Entonces [f(z)[ > 1 si 0 < [z a[ < R
para cierto R
< R. Por tanto que f(z) ,= 0 para 0 < [z a[ < R
. Usando
que 1/f H(D(a, R
)a) y que lim

za
1/f(z) = 0 se concluye el resultado.
El recproco es inmediato.
Denici on 8.1.7 Dado una region cualquiera y f : C. Se dice
meromorfa en si todas sus singularidades en son polos y evitables. Se
denotara P
f
() el conjunto de polos de f en y M() el conjunto de todas
las funciones meromorfas en .
Nota 8.1.1 Los polinomios son holomorfas, y los cocientes de polinomios
son meromorfas en C.
Proposicion 8.1.8 Si f M() entonces el conjunto P
f
() es un cerrado
contable sin puntos de acumulacion en .
Demostracion: Basta usar que los polos de f corresponden con los ceros de
la extension holomorfa 1/f junto con la Proposici on 8.1.3.
Denici on 8.1.9 Sea f M(), a P
f
() se dice que es un polo de orden
k de f, denotado o(f, a) = k, si z = a es un cero de multiplicidad k de la
funcion extendida
1
f
.
Proposicion 8.1.10 Sea f M() y a P
f
(). Son equivalentes
(i) o(f, a) = k.
(ii) Existe R > 0 y g holomorfa en el disco D(a, R) con g(a) ,= 0 y
f(z) =
g(z)
(za)
k
z D(a, R) a.
(iii) lim
za
(z a)
n
f(z) = si 0 n < k y lim
za
(z a)
k
f(z) = con
0 ,= C.
Demostracion: (i) = (ii) Es suciente observar que para cierto R
1
> 0 y
a
k
,= 0
1
f(z)
=
n=k
a
n
(z a)
n
= (z a)
k
h(z), z D(a, R
1
) a,
con h(a) ,= 0 y h holomorfa en D(a, R
1
). Sea 0 < R < R
1
tal que h(z) ,= 0
para z D(a, R). Denir g(z) = 1/h(z) y se obtiene f(z) =
g(z)
(za)
k
z
D(a, R) a.
(ii) =(iii) Es inmediato al tomar lmites.
(iii) = (ii). Denir g(z) = (z a)
k
f(z) si z D(a, R) a para R
tal que f H(D(a, R) a).Usar el teorema de Morera para ver que tiene
extensi on holomorfa a D(a, R).
(ii) = (i) Usar la caracterizaci on de la multiplicidad de los ceros de la
funci on 1/f.
Ejemplo 8.1.3 (i) f(z) =
e
z
1
z
3
. z = 0 es un polo de orden 2.
(ii) f(z) =
1
sen z
. z = 0 es un polo de orden 1.
Teorema 8.1.11 (Cassorati-Weierstrass) Sea f : dom(f) C y a C una
singularidad aislada de f. Entonces a es una singularidad esencial de f si y
solo si la imagen por f de cualquier entorno reducido U de a es densa en C.
Demostracion: Supongamos que f H(D(a, R) a) y U es un entorno
reducido de a de manera que f(U) ,= C.
Sea / f(U). Es claro que si z U entonces [f(z)[ d(, f(U)) > 0.
Por tanto
lim
za
f(z)
z a
= .
Si llamamos g(z) =
f(z)
za
y ponemos k = o(g, a) existira una funci on g
1
holomorfa en un entorno de a con g
1
(a) ,= 0 de modo que g(z) =
g
1
(z)
(za)
k
.
8.1. Ceros y singularidades. 89
De esto se deduce que f(z) =
g
1
(z)
(za)
k1
+. Consecuentemente a es evitable
(si k = 1) o polo (si k > 1).
Reciprocamente si existe lim
za
f(z) = (respect. lim
za
f(z) = )
entonces existe > 0 tal que f(D(a, ) a) D(, 1) (respect. f(D(a, )
a) C D(0, 1)) lo que contradice la densidad de la imagen del entorno.
Ejemplo 8.1.4 Sea f(z) = e

1/z
. Notese que la periodicidad de la funcion
exponencial permite probar que f(U) = C0 para todo U entorno reducido
del origen.
Denici on 8.1.12 Se dice que es una singularidad aislada de f si existe
R > 0 tal que f H(C D(0, R)). De este modo se puede armar que
es evitable si lim
z
f(z) C,
es polo si lim
z
f(z) = .
es esencial si no existe lim
z
f(z).
Nota 8.1.2 Si consideramos g(z) = f(
1
z
) es claro que
z = es una singularidad de cierto tipo de f si y solo si z = 0 lo es del
mismo tipo para g.
Denici on 8.1.13 es un polo de orden k de f(z) si z = 0 es un polo de
orden k de f(
1
z
)
Nota 8.1.3 Sea P(z) un polinomio de grado k, entonces z = es un polo
de orden k de P.
Proposicion 8.1.14 Sea f H(C D(0, R)). Son equivalentes:
(i) es un polo de orden k.
(ii) lim
z
f(z)
z
n
= n < k y lim
z
f(z)
z
k
= ,= 0.
(iii) Existe r > 0 y f
1
H(C D(0, r)) tal que lim
z
f
1
(z) = ,= 0 y
f(z) = z
k
f
1
(z).
Demostracion: Inmediata
Proposicion 8.1.15 (Regla de LHopital) Sean f, g H(D(a, R)a),
no identicamente nulas.
Si suponemos que
i) lim
za
f(z) = lim
za
g(z) = 0, o
(ii) lim
za
f(z) = lim
za
g(z) = entonces
lim
za
f(z)
g(z)
= lim
za
f
(z)
g
(z)
( C ).
Demostracion: (i) Existe R > 0 tal que f(z) = (z a)f
1
(z) y g(z) =
(za)g
1
(z) en [za[ < R donde f
1
, g
1
son holomorfas en el entorno. Entonces
f
(z) = f
1
(z) + (z a)f
1
(z) y g
(z) = g
1
(z) + (z a)g
1
(z). Por tanto
lim
za
f(z)
g(z)
= lim
za
f
1
(z)
g
1
(z)
= lim
za
f
(z)
g
(z)
.
N otese que lim
za
f
1
(z)
g
1
(z)
puede ser innito si m(a, g) > m(a, f).
(ii) Supongamos que o(f, a) = k y o(g, a) = k
. Existe R > 0 tal que

f(z) =
f
1
(z)
(za)
k
y g(z) =
g
1
(z)
(za)
k
en 0 < [z a[ < R donde f
1
, g
1
son holomorfas
en el entorno con f
1
(a) ,= 0, g
1
(a) ,= 0. Entonces
f
(z) = k
f
1
(z)
(z a)
k+1
+
f
1
(z)
(z a)
k
= k
f(z)
z a
+
f
1
(z)
(z a)
k
,
g
(z) = k
g
1
(z)
(z a)
k
+1
+
g
1
(z)
(z a)
k
= k
g(z)
z a
+
g
1
(z)
(z a)
k
.
En el caso de que k = k
se obtiene
f
(z)(za)
k
= kf(z)(za)
k1
+f
1
(z), g
(z)(za)
k
= kg(z)(za)
k1
+g
1
(z).
Por tanto
lim
za
f
(z)
g
(z)
= lim
za
kf(z)(z a)
k1
+f
1
(z)
kg(z)(z a)
k1
+g
1
(z)
= lim
za
f(z)
g(z)
.
En el caso de que k > k
, es decir, lim
za
f(z)
g(z)
= se obtiene
Por tanto
lim
za
f
(z)
g
(z)
= lim
za
kf
1
(z)+(za)f
1
(z)
(za)
k+1
k
g
1
(z)+(za)g
1
(z)
(za)
k
+1
= lim
za
kf
1
(z) + (z a)f
1
(z)
k
g
1
(z) + (z a)g
1
(z)
(za)
k
k
= .
Similarmente se obtiene el caso k
> k, es decir, lim

za
f(z)
g(z)
= 0.
De manera an aloga se prueba (la demostracion se deja al lector interesado)

8.2. Desarrollos de Laurent. 91
Proposicion 8.1.16 Sean f, g H(D(0, R, )), no identicamente nulas.
Si lim
z
f(z) = lim
z
g(z) 0, entonces
lim
z
f(z)
g(z)
= lim
z
f
(z)
g
(z)
( C ).
Probaremos ahora un resultado que caracteriza cuando las funciones en-
teras tienen singularidades en z = .
Proposicion 8.1.17 Sea f H(C).
(i) es evitable si y solo si f es constante.
(ii) es un polo de orden k si y solo si f es un polinomio de orden k.
(iii) es esencial si y solo si C existe z
n
C tales que z
n
y
f(z
n
) .
Demostracion: (i) se sigue del Teorema de Liouville.
(ii) Usando que existe lim
z
f(z)
z
k
junto con la regla de LHopital se tiene
que
lim
z
f(z)
z
k
= lim
z
f
(z)
kz
k1
= ... = lim
z
f
(k)
(z)
k!
.
Por tanto f
(k)
es entera y acotada, y por Liouville, f
(k)
(z) = a
0
. De donde
se tiene que f es un polinomio de grado k.
(iii) es aplicaci on directa de Cassorati-Weierstrass y el hecho de ser z = 0
esencial para f(
1
z
).
8.2 Desarrollos de Laurent.
Es sencillo comprobar que si una funci on tiene una singularidad aislada
tipo polo de orden k en un punto a entonces admite un desarrollo en un
entorno reducido del siguiente tipo:
f(z) =
a
k
(z a)
k
+
a
(k1)
(z a)
k1
+... +
a
1
(z a)
+
n=0
a
n
(z a)
n
.
La cuestion que se resolver a en este p arrafo es el hecho de que toda
funci on holomorfa en una corona y en particular un disco punteado en torno
a una singularidad esencial admite un desarrollo en serie doble de potencias
positivas y negativas.
Recordemos la notacion siguente, para 0 R
1
< R
2
,
D(a, R
1
, R
2
) = z C : R
1
< [z a[ < R
2
.
Proposicion 8.2.1 Sea (a
n
) una sucesion de n umeros complejos, a C y
S = lim([a
n
[)
1/n
. Entonces
(i)
n=1
a
n
(za)
n
converge absolutamente y unifor. en compactos de D(a, S, ).
(ii) Si z D(a, S) entonces

n=1
a
n
(za)
n
no converge.
(iii) f(z) =

n=1
a
n
(za)
n
H(D(a, S, ))
(iv) S es el unico valor que cumple (i) y (ii).
Demostracion:
(i) Sea K un compacto en D(a, S, ) entonces existe S
1
> S tal que
K D(a, S
1
, ). Dado S < S
2
< S
1
existe n
0
tal que [a
n
[ < S
n
2
, n n
0
.
Como [
a
n
(za)
n
[ < (
S
2
S
1
)
n
, n n
0
, z K entonces hay convergencia uniforme
y absoluta en el compacto K.
(ii) Usando el Teorema de Wieierstrass
n=0
a
n
w
n
no converge en D(0, 1/S, )
y de ah si z D(a, S),

n=1
a
n
(za)
n
no converge.
(iii) Como z
1
za
es una biyecci on holomorfa de D(a, S, ) en D(0, 1/S)
entonces f(z) = g(
1
za
) H(D(a, s, )) donde g(w) =

n=0
a
n
w
n
.
(iv) Inmediato.
Denici on 8.2.2 Sea (z
n
)
nZ
una sucesion doble de n umeros complejos.
Una serie doble
n=
z
n
se dice convergente a z si existe lim
N,M
N
n=M
z
n
=
z, i.e para todo > 0 existen N
0
, M
0
N tales que [
N
n=M
z
n
z[ < para
todo N N
0
y M M
0
. A dicho valor z se dice suma de la serie.
Nota 8.2.1 Es equivalente a la convergencia de

n=0
z
n
y de

n=1
z
n
simultaneamente.
Proposicion 8.2.3 Sea (a
n
)
nZ
una sucesion de n umeros complejos y a C.
Denimos R
1
= lim([a
n
[)
1/n
y R
1
2
= lim([a
n
[)
1/n
. Entonces
(i)

n=
a
n
(za)
n
converge absolutamente y uniformemente en compactos
de D(a, R
1
, R
2
).
(ii) Si z / D(a, R
1
, R
2
) entonces

n=
a
n
(za)
n
no converge.
(iii) f(z) =

n=
a
n
(za)
n
H(D(a, R
1
, R
2
))
(iv) R
1
, R
2
son los unicos valores que cumplen (i) y (ii).
Demostracion: Aplicaci on del Teorema de Weierstrass y la proposici on ante-
rior simultaneamente.

Nota 8.2.2 Caso de a
n
= 0, n N 0 conduce a que R
1
= 0 y usando
el teorema de Morera se concluye que f es holomorfa en el disco.
Caso de a
n
= 0, n M. Se tiene que R
1
= 0 y por tanto z = a es
una singularidad aislada de f. Es inmediato comprobar que es un polo de
orden M.
Teorema 8.2.4 (Teorema de Laurent) Sea f H(D(a, R
1
, R
2
)) para ciertos
0 R
1
< R
2
. Entonces
f(z) =
n=
a
n
(z a)
n
donde a
n
=
1
2i
_
r
f(w)
(wa)
n+1
dw,
r
= z = a + re
i
: [0, 2) y R
1
< r <
R
2
.
Demostracion: Supongamos que a = 0. Fijamos R
1
< r < R
2
y denimos
g
r
: D(0, r) C dado por
g
r
(z) =
1
2i
_
r
f(w)
(w z)
dw.
Del mismo modo denimos h
r
: D(0, r, ) C dado por
h
r
(z) =
1
2i
_
r
f(w)
(z w)
dw.
Es claro que g
r
H(D(0, r)) y h
r
H(D(0, r, )).
Fijado z D(0, R
1
, R
2
) denotemos
z
= D(0, R
1
, R
2
) z. Sean r, s
tales que [z[ < r < s < R
2
.
Como
f(w)
wz
H(
z
) y
r

s
(resp.
z
) entonces el teorema homologico
de Cauchy permite concluir que g
r
(z) = g
s
(z).
Podemos denir g : D(0, R
2
) C por g(z) = g
r
(z) para cualquier [z[ <
r < R
2
y ademas g H(D(0, R
2
)).
N otese que g
(n)
(0) = g
(n)
r
(0) =
n!
2i
_
r
f(w)
w
n+1
dw y
g(z) =
n=0
(
1
2i
_
r
f(w)
w
n+1
dw)z
n
.
Por otro lado, para z D(0, R
1
, R
2
) tomando ahora r, s tales que R
1
<
r < s < [z[ y usando de nuevo
z
= D(0, R
1
, R
2
) z
Como
f(w)
zw
H(
z
) y
r

s
(resp.
z
) entonces el teorema homol ogico
de Cauchy permite concluir que h
r
(z) = h
s
(z).
Podemos denir h : D(0, R
1
, ) C por h(z) = h
s
(z) para cualquier
R
1
< s < [z[ y ademas h H(D(0, R
1
, )).
Por otro lado como
1
zw
=
1
z(1w/z)
=

n=1
w
n1
z
n
siempre que [w[ < [z[
y siendo la convergencia es uniforme en compactos de D(0, [z[), podemos
escribir
h(z) = h
s
(z) =
1
2i
_
s
f(w)
(z w)
dw =
n=1
(
1
2i
_
s
f(w)w
n1
dw)z
n
.
Veamos ahora que f(z) = g(z) +h(z) para acabar el resultado.
Fijado z D(0, R
1
, R
2
) tomemos R
1
< r < [z[ < s < R
2
y denamos
F(w) =
1
2i
f(w) f(z)
w z
, w ,= z,
F(z) =
1
2i
f
(z).
Como F H(D(0, R
1
, R
2
)) y
r

s
(resp.D(0, R
1
, R
2
)) aplicando otra vez
el teorema homologico de Cauchy se concluye que
_
r
F(w)dw =
_
s
F(w)dw
y de ah
1
2i
_
r
f(w) f(z)
w z
dw =
1
2i
_
s
f(w) f(z)
w z
dw.
1
2i
_
r
f(w)
w z
dw f(z)Ind
r
(z) =
1
2i
_
s
f(w)
w z
dw f(z)Ind
s
(z).
Es decir f(z) = g(z) +h(z)
Corolario 8.2.5 Sea = D(a, R

1
, R
2
) con 0 R
1
< R
2
.
f H() si y solo si existe un unica sucesion (a
n
)
nZ
tal que
f(z) =
n=
a
n
(z a)
n
, z .
Demostracion: S olo hay que probar la unicidad.
Supongamos f(z) =

n=
b
n
(z a)
n
, z . Como hay convergencia
uniforme en compactos de , si tomamos
r
la circunferencia de centro a y
radio r con R
1
< r < R
2
entonces
1
2i
_
r
f(w)
(w a)
n+1
dw =
1
2i
_
k=
b
k
(w a)
k
(w a)
n+1
dw
k=
b
k
1
2i
_
r
(w a)
kn1
dw = b
n
,
donde aplicamos que
1
2i
_
r
(w a)
m1
dw =
1
2
_
2
0
r
m
e
imt
dt = 0, m ,= 0.
Proposicion 8.2.6 Sea a una singularidad aislada de f. Por tanto existe

R > 0 tal que f H(D(a, 0, R)) y as f(z) =

n=
a
n
(z a)
n
.
Denimos (f, a) = infn Z : a
n
,= 0. Entonces
(i) a es evitable si y solo si (f, a) = 0.
(ii) a es polo de orden k si y solo si (f, a) = k.
(iii) a es esencial si y solo si (f, a) = .
Demostracion: Inmediata.
Proposicion 8.2.7 Sea una singularidad aislada de f. Por tanto existe
R > 0 tal que f H(D(0, R, )) y as f(z) =

n=
a
n
z
n
.
Denimos (f) = supn Z : a
n
,= 0. Entonces
(i) es evitable si y solo si (f) = 0.
(ii) es polo de orden k si y solo si (f) = k.
(iii) es esencial si y solo si (f) = .
Demostracion: Usando g(z) = f(1/z) se tiene que g(z) =

n=
a
n
z
n
. Por
tanto
(g, 0) = infn Z : a
n
,= 0 = supn Z : a
n
,= 0 = (f).
Usar ahora el resultado para singularidades en z = 0 de la funcion g.
Ejemplo 8.2.1 Sean 0 < [a[ < [b[. Calcular el desarrollo de Laurent de
f(z) =
1
(za)(zb)
en coronas centradas en los siguientes puntos: z = 0, z =
a, z = b.
Demostracion: En todo los casos usaremos que
(
n=0
n
)
n=0
n
=
n=0
(
k+l=n
l
)
bajo condiciones de convergencia absoluta de las series involucradas.
(i) Caso z = 0: Como f H(Ca, b) tenemos los siguientes desarrollos:
En D(0, [a[) que corresponde a un desarrollo en torno de z = 0.
f(z) =
1
b(1 (z/b))
1
a(1 (z/a))
=
_

n=0
z
n
b
n+1
__

n=0
z
n
a
n+1
_
.
Por tanto
f(z) =
n=0
(
n
k=0
1
b
k+1
1
a
nk+1
)z
n
.
En D(0, [b[, ) que corresponde a un desarrollo en torno de z = .
f(z) =
1
z(1 (b/z))
1
z(1 (a/z))
=
_

n=0
b
n
z
n+1
__

n=0
a
n
z
n+1
_
.
Por tanto
f(z) =
n=0
(
n
k=0
b
k
a
nk
)z
(n+2)
.
En D(0, [a[, [b[):
f(z) =
1
b(1 (z/b))
1
z(1 (a/z))
=
_

n=0
z
n
b
n+1
__

n=0
a
n
z
n+1
_
=
=
m=0
_

k+l=m
z
k
b
k+1
a
l
z
l+1
_
.
Por tanto, usando n = k l 1 se tiene
f(z) =
n=
(
kl=n+1
a
l
b
k+1
)z
n
.
(ii) Caso z = a: Como f H(D(a, 0, [b[ [a[)) tenemos
1
(b a)(1
za
ba
)
1
z a
=
n=0
(z a)
n
(b a)
n+1
1
z a
=
n=0
(z a)
n1
(b a)
n+1
.
(iii) Caso z = b: Como f H(D(b, 0, [b[ [a[) tenemos
f(z) =
1
(a b)(1
zb
ab
)
1
z b
=
n=0
(z b)
n
(a b)
n+1
1
z b
=
n=0
(z b)
n1
(a b)
n+1
.
Ejemplo 8.2.2 Calcular el desarrollo de Laurent de f(z) = cotag(z) en la

corona D(0, , 2).
Demostracion: Observar primero que
lim
z
(z )cotag z = lim
z
(z )cos z
sen z sen
= 1.
lim
z
(z +)cotag z = lim
z
(z +)cosz
sen z sen
= 1.
lim
z0
zcotag z = 1.
Luego f tiene polos simples en k : k Z.
Consideremos
g(z) = cotag z (
1
z
+
1
z
+
1
z +
)
Es facil ver que esta funci on es holomorfa en el D(0, 2).
En efecto
g(z) =
cos z
sen z

3z
2
2
(z
2
2
)z
=
i(e
2iz
+ 1)(z
3
2
z) (3z
2
2
)(e
2iz
1)
(e
2iz
1)(z
2
2
)z
.
Comprobando que existen lim
z
g(z), lim
z
g(z) y lim
z0
g(z) se ob-
tiene la derivabilidad por el teorema de Morera y por tanto
g(z) =
n=0
a
n
z
n
, [z[ < 2.
Ahora despejamos
f(z) =
n=0
a
n
z
n
+
1
z
+
1
z
+
1
z +
Ponemos
2z
z
2
2
=

n=0
b
n
z
n
con [z[ > y obtiene
f(z) =
n=0
a
n
z
n
+
n=0
b
n
z
n
+
1
z
, < [z[ < 2.
Ejemplo 8.2.3 Desarrollar f(z) =

1
(z
2
1)
2
en la corona 0 < [z 1[ < 2.
Demostracion:
Metodo 1: Escribimos
a
n
=
1
2i
_
|z1|=1
1
(z
2
1)
2
(z 1)
n+1
dz =
1
2i
_
|z1|=1
1
(z + 1)
2
(z 1)
n+3
dz.
Llamando g(z) =
1
(z+1)
2
se tiene a
n
= 0 si n 3 y
a
n
=
1
(n + 2)!
g
(n+2)
(1) =
(1)
n
(n + 3)
2
n+4
, n > 3.
Metodo 2: Ponemos
1
(z
2
1)
2
=
1
(z 1)
2
1
(z + 1)
2
1
4(z 1)
2
1
(1 +
z1
2
)
2
.
Se termina usando
1
(w + 1)
2
=
n=0
(n + 1)(1)
n
w
n
.
Metodo 3: Ponemos
1
(z
2
1)
2
=
1
4
(
1
(z 1)

1
(z + 1)
)
2
8.3. Problemas propuestos. 99
=
1
4
(
1
(z 1)
2

1
(z 1)
+
1
(z + 1)
+
1
(z + 1)
2
).
Se termina usando
1
z + 1
=
1
2
1
1 +
z1
2
=
n=0
(z 1)
n
2
n+1
.
1
(z + 1)
2
=
n=0
(n + 1)(z 1)
n
2
n+2
.
8.3 Problemas propuestos.

1.- Puntos singulares, su naturaleza, y comportamiento en de:
z
4
(1 +z)
4
;
z
2
+z + 1
z
2
(z 1)
;
e
z
z(1 e
z
)
;
z senz
z
3
;
z
2
e
z
4
;
sen2z
(z + 1)
3
; z
4
sen
1
z
; cosec(z
1
); cos(z
2
+
1
z
2
); e
z
(z2)
;
1 e
z
1 +e
z
;
cotg(z) coth(z)
z
3
; sen(
1
sen(
1
z
)
);
cos(
1
cos(
1
z
)
); ze
z
1z
1
(1 z)
2
sen
1
z
.
2.- Desarrollar las siguientes funciones en serie de Laurent en los entornos de
los puntos que se indica, determinando el dominio en el que vale el desarrollo.
a)
1
z2
en z = 0, z = . b)
1
(z
2
+1)
2
en z = i, z = .
c)
1
(za)
k
(a ,= 0, k N) en z = 0, z = . d) e
1
1z
en z = 1.
e) z
2
e
1
z
en z = 0, z = . f)
1
e
z
1
en z = 0.
g) Log
za
zb
en z = . h)
arctgz
z
4
en z = 0.
i) cos
z
2
4z
(z2)
2
en z = 2. j) z
2
sen
1
z1
en z = 1. k) sen
z
1z
en z = 1.
3.- Desarrollar las funciones en las regiones que se citan en cada caso.
a)
1
(z1)(z2)
en z = 0, z = 1, z = y en la corona 1 < [z[ < 2.
b)
z
2
2z+5
(z2)(z
2
+1)
en z = 2 , en la corona 1 < [z[ < 2.
c)
1
(z2)
2
en [z[ < 2, [z[ > 2.
d) e
z+
1
z
en 0 < [z[ < .
e) senzsen
1
z
en 0 < [z[ < .
f)
1
z2
Log
zi
z+i
en z = y en 1 < [z[ < 2.
4.- Dada la funci on g, encontrar f H() tal que f
2
= g y desarrollarla en
serie de Laurent en , siendo
a) g(z) = (z a)(z b) con = z; [z[ > max[a[, [b[.
b)g(z) =
(za)(zb)
z
con = B(0; [a[, [b[), [a[ < [b[.
c) g(z) =
z
(z1)(z2)
con Imf(3/2) > 0, = B(0; 1, 2).
5.- Sea f(z) =
1
z2i
Log
z1
z+i
. Hallar el m aximo abierto en que f es holomorfa.
Probar que f(z) =

+
c
k
z
k
en 1 < [z[ < 2 donde c
k
=
A
(2i)
k
si k 0, A =
cte. En que otros dominios es f(z) =

+
c
k
z
k
?
Captulo 9
Teorema de los residuos y
aplicaciones
9.1 Teorema de los residuos
El objetivo de esta seccion es calcular
_
f(z)dz para ciclos 0(resp.)

cuando f no es una funci on holomorfa en , sino para funciones con singu-
laridades dentro de .
Observemos varias situaciones que tenemos resueltas en la teora prece-
dente.
*) Si f H() y

D(a, R) entonces
_
|za|=R
f(z)dz = 0.
**) Si f H(a) y

D(a, R) , supuesto f(z) =

n=
a
n
(z a)
n
entonces
_
|za|=R
f(z)dz = 2ia
1
.
***) Si f H( a, b) y a, b

D(z
0
, R) , entonces
_
|zz
0
|=R
f(z)dz =
_
|za|=r
1
f(z)dz +
_
|zb|=r
2
f(z)dz,
para r
1
, r
2
tales que a / D(b, r
2
) D(z
0
, R) y b / D(a, r
1
) D(z
0
, R),
quedando este caso reducido al caso anterior.
Este ultimo resultado es consecuencia inmediata del Teorema homol ogico
de Cauchy, considerando
1
= a, b y el ciclo
[z z
0
[ = R [z a[ = r
1
[z b[ = r
2
(resp.
1
).
101
102 Captulo 9. Teorema de los residuos y aplicaciones
Denici on 9.1.1 Sea f H(D(a, R)a). Se dice residuo de f en el punto
a, denotado Res(f, a), al coeciente de
1
za
en el desarrollo de Laurent en la
corona D(a, 0, R), es decir
Res(f, a) = a
1
=
1
2i
_
|za|=r
f(z)dz, 0 < r < R.
Proposicion 9.1.2 Sea a un polo de orden k para f. Entonces
Res(f, a) = lim
za
1
(k 1)!
((z a)
k
f(z))
(k1
.
Demostracion: Usando la caracterizaci on de polo de orden k podemos decir
que existe g H(D(a, R)) con g(a) ,= 0 y f(z) =
g(z)
(za)
k
en D(a, R) a.
Denotando g(z) =

n=0
b
n
(z a)
n
se tiene f(z) =

n=0
b
n
(z a)
nk
.
Por tanto
Res(f, a) = b
k1
=
g
k1
(a)
(k 1)!
.
Corolario 9.1.3 Si a es un polo simple para f. Entonces

Res(f, a) = lim
za
(z a)f(z).
Ejemplo 9.1.1 1.- Si f(z) =
1
sen(z)
entonces z = 0 es un polo simple y
Res(f, 0) = 1.
2.- Si f(z) =
1
sen
2
(z)
entonces z = 0 es un polo doble y Res(f, 0) = 0.
3.- Si f(z) = z
2
e
2
z
entonces z = 0 es esencial y Res(f, 0) =
1
6
.
Demostracion:
1.- Res(f, 0) = lim
z0
z
sen(z)
= 1.
2.- Res(f, 0) = lim
z0
(
z
2
sen
2
(z)
)
= lim
z0
2z
sen(z)
sen(z) zcos(z)
sen
2
(z)
= 0.
Otro procedimiento plausible de c alculo de (
z
2
sen
2
(z)
)
z=0
consiste es con-
siderar la serie de potencias de la funcion
z
2
sen
2
(z)
=

n=0
a
n
z
n
y entonces
calcular a
1
del siguiente modo:
(
n=0
a
n
z
n
)sen
2
(z) = z
2
.
9.1. Teorema de los residuos 103
Igualando coeciente a coeciente se tiene
(1 +a
1
z +a
2
z
2
+...)(z
2
1
3
z
4
+
1
36
z
6
+...) = z
2
.
De donde a
1
= 0.
3.- f(z) =

n=0
1
n!z
n2
, luego coeciente de
1
z
es para n = 3
Proposicion 9.1.4 Sea f H(D(a, R) a) y supongamos
f(z) =
n=
a
n
(z a)
n
.
Si S
r
= a +re
it
: t [0, ] y 0 < r < R entonces
1
2i
_
S
r
f(z)dz =
1
2
Res(f, a) +
i
n=
a
2n
r
2n+1
2n + 1
.
Demostracion:
1
2i
_
S
r
f(z)dz =
n=
a
n
_
S
r
(z a)
n
dz
=
1
2
n=
a
n
_

0
r
n+1
e
i(n+1)t
dt
=
1
2i
n=1
a
n
r
n+1
e
i(n+1)
1
n + 1
dt +
a
1
2
=
1
2i
n=1
a
n
r
n+1
cos(n + 1) 1
n + 1
dt +
a
1
2
=
i
n=
a
2n
r
2n+1
2n + 1
dt +
a
1
2
.
Corolario 9.1.5 Sea f H(D(a, R) a) y supongamos que a es un polo

simple de f. Si S
r
= a +re
it
: t [0, ] y 0 < r < R entonces
Res(f, a) = 2 lim
r0
1
2i
_
S
r
f(z)dz.
Demostracion: Notar que a
2n
= 0 para n N y
r(
n=0
a
2n
r
2n
2n + 1
) 0, r 0.
Utilizar la Prop. 9.1.4 para terminar la demostraci on.
Teorema 9.1.6 (Teorema de los residuos.) Sea un abierto de C y una
funcion f H( A) donde A es un conjunto numerable de singular-
idades aisladas (polos y esenciales) de f. Sea un ciclo contenido en tal
que 0(resp.) y A
= . Entonces
1
2i
_
f(z)dz =
aA
Res(f, a)Ind
(a).
Demostracion: Supongamos primero que ,= C. Consideremos
A
0
= a A : Ind
(a) ,= 0.
Veamos, en primer lugar que A
0
es nito.
En efecto, A
0
es acotado, pues Ind
(z) = 0 para todo z en la componente

conexa no acotada de C
que necesariamente contiene el CD(0, R) para

alg un R > 0.
Supongamos que A
0
es innito entonces existe una sucesi on de puntos
distintos a
n
A
0
convergente en

. Es claro que z = lim
n
a
n
(pues
otro caso tendra singularidades no aisladas).
Ahora bien si r > 0 es tal que D(z, r)
= (lo cual se consigue con

0 < r < d(,
)) entonces w D(z, r) se tiene Ind
(w) = 0 (ya que si

w / entonces Ind
(w) = 0 y el indice es constante en toda la bola). Por

tanto se obtiene un absurdo, ya que a
n
D(z, r) A
0
.
Por consiguiente jando 0 < < mind(a, b) : a ,= b, a, b A
0
con
0 < < d(A
0
, ) se tiene una colecci on nita de bolas D(a, ) tales
que D(a, ) A = a para todo a A
0
.
Consideramos entonces el ciclo
0
=
aA
0
a
siendo
a
= Ind
(a)D(a,

2
).
Veamos que
0
(resp. A). (Observar que A es cerrado)
En efecto si w / entonces Ind
(w) = 0 = Ind
a
(w) a A
0
.
Si w A
0
entonces
Ind
0
(w) =
aA
0
Ind
(a)Ind
D(a,
2
)
(w) = Ind
(w).
9.2. Aplicaciones a integrales y series 105
Si w A A
0
entonces Ind
(w) = 0 = Ind
0
(w) pues Ind
D(a,
2
)
(w) = 0
si w / D(a,

2
) si a A
0
.
Apliquemos ahora el teorema homol ogico de Cauchy, obteniendo
1
2i
_
f(z)dz =
1
2i
_
0
f(z)dz
=
1
2i
aA
0
Ind
(a)
_
|za|=
2
f(z)dz
=
aA
0
Ind
(a)Res(f, a) =
aA
Ind
(a)Res(f, a).
Si consideramos el caso = C nos podemos reducir al caso anterior pues
A
0
D(0, R) para alg un R > 0 y se considera
1
= D(0, R).
9.2 Aplicaciones a integrales y series
Ejemplo 9.2.1 (Calculo de integrales sobre caminos)
Calcular para n N
_
|z|=(n+
1
2
)
(coth z)(cotag z)dz.
Resolucion: Consideremos las funcion
f(z) = (coth z)(cotag z) = i
e
2z
+ 1
e
2z
1
e
2iz
+ 1
e
2iz
1
.
Como e
2z
= 1 z = ki, k Z y e
2zi
= 1 z = k, k Z ,
tenemos
P
f
= k, ki : k Z.
Consideremos
n
= z C : [z[ = (n +
1
2
). Por el teorema de los
residuos
_
|z|=(n+
1
2
)
f(z)dz = 2i
_
n
k=n,k=0
Res(f, ki)+
n
k=n,k=0
Res(f, k)+Res(f, 0)
_
.
Para k ,= 0 entonces
Res(f, ki) = lim
zki
(z ki)
sh z
(cotag z)(ch z) = cotag(ki) = i
e
2k
+ 1
e
2k
1
.
Res(f, k) = lim
zk
(z k)
sen z
(cothz)(cos z) = coth(k) =
e
2k
+ 1
e
2k
1
.
Por ultimo
Res(f, 0) = (
z
2
(e
2z
+ 1)(e
2zi
+ 1)
(e
2z
1)(e
2zi
1)
)
z=0
.
Poniendo
z
2
(e
2z
+e
2iz
+e
2z(1+i)
+ 1)
(e
2z(1+i)
e
2z
e
2zi
+ 1)
=
n=0
b
n
z
n
.
Buscamos b
1
. Por otro lado tenemos que
4z
2
+ 4(1 +i)z
3
+... = (
n=0
b
n
z
n
)(2(1 +i)
2
z
2
+
4
3
((1 +i)
3
1 i
3
)z
3
+...).
De aqui que 4 = 2(1 +i)
2
b
0
y
4(1 +i) = b
0
(
4
3
((1 +i)
3
1 i
3
)) +b
1
(2(1 +i)
2
).
Lo que permite despejar b
1
=
1
2(1+i)
2
(4(1 +i) 8
(i1)
(1+i)
2
).
Ejemplo 9.2.2 (Calculo de integrales sobre caminos)

Sea P(z) un polinomio de grado k y consideremos r > k. Calcular
_
|z|=r
P(z)(e
1
z
+e
1
z1
+... +e
1
zk
)dz.
Resolucion: Consideremos
f(z) = P(z)(e
1
z
+e
1
z1
+... +e
1
zk
) =
k
n=0
P(z)e
1
zn
=
k
n=0
f
n
(z).
Observar que z = n es una singularidad esencial de f
n
(z) = P(z)e
1
zn
.
Sea
r
= z C : [z[ = r. Entonces, por el teorema homol ogico de
Cauchy,
_
|z|=r
P(z)(e
1
z
+e
1
z1
+... +e
1
zk
)dz =
k
n=0
_
|z|=r
P(z)e
1
zn
dz
= 2i
k
n=0
Res(f
n
, n)
Por otro lado
Res(f
n
, n) =
1
2i
_
|zn|=
1
2
f
n
(z)dz
=
1
2i
_
|zn|=
1
2
j=0
P(z)
j!(z n)
j
dz
=
j=0
1
j!
1
2i
_
|zn|=
1
2
P(z)
(z n)
j
dz
=
j=1
P
(j1)
(n)
(j 1)!j!
.
Por tanto
_
|z|=r
P(z)(e
1
z
+e
1
z1
+... +e
1
zk
)dz =
k
n=0
j=1
P
(j1)
(n)
(j 1)!j!
=
j=0
1
(j + 1)(j!)
2
(
k
n=0
P
(j)
(n)).
Ejemplo 9.2.3 (Calculo de integrales trigonometricas)

Calcular
_
2
0
1 cos2t
2 +cost
dt.
Resolucion: Transformamos en una integral compleja sobre la circunferencia
unidad mediante el cambio z = e
it
.
_
2
0
1 cos2t
2 +cost
dt =
_
2
0
2 e
2it
e
2it
4 +e
it
+e
it
dt = i
_
|z|=1
2z
2
z
4
1
z
2
+ 4z + 1
dz
z
2
.
Consideremos ahora
f(z) = i
(z
2
1)
2
(z z
1
)(z z
2
)z
2
,
con z
1
= 2 +
3, z
2
= 2
3.
Utilizando el teorema de los residuos
_
2
0
1 cos2t
2 +cost
dt = 2iRes(f, 2 +
3) + 2iRes(f, 0).
Donde
Res(f, 2
3) = i
((
3 2)
2
1)
2
2
3(
3 2)
2
.
Res(f, 0) = (i
(z
2
1)
2
(z
2
+ 4z + 1)
)
z=0
= 4i.
Ejemplo 9.2.4 (Calculo de integrales impropias: Tipo I)

Calcular
_

dx
x
2
+x + 1
.
Resolucion: Como la integral impropia es convergente se tiene
_

dx
x
2
+x + 1
= lim
n
_
n
n
dx
x
2
+x + 1
.
Consideremos la funcion
f(z) =
1
z
2
+z + 1
y la semicircunferencia
S
n
= ne
it
: t [0, ],
n
= S
n
[n, n].
Entonces como P
f
=
1
2
+
3
2
i,
1
2

3
2
i,
_
n
f(z)dz =
_
S
n
dz
z
2
+z + 1
+
_
n
n
dx
x
2
+x + 1
= 2iRes(f,
1
2
+
3
2
i).
Ahora bien Res(f,
1
2
+
3
2
i) =
1
3i
y
[f(z)[
1
[z[
2
[z[ 1
=
1
n
2
n 1
, z S
n
Por tanto
[
_
S
n
dz
z
2
+z + 1
[
n
n
2
n 1
0, (n ).
Tomando lmites se concluye que
_

dx
x
2
+x + 1
=
2
3
.
Nota 9.2.1 El camino anterior se toma para modelos

_

P(x)
Q(x)
dx
donde P(x) y Q(x) son polinomios con grado(Q)grado(P) 2 y Z
Q
R =
.
Ejemplo 9.2.5 (Calculo de integrales impropias: Tipo II)
Calcular
_

xsen(x)
x
2
+ 4x + 20
dx.
Resolucion: Como la integral impropia es convergente se tiene
_

xsen(x)
x
2
+ 4x + 20
dx = lim
n
(
_
n
n
xe
ix
x
2
+ 4x + 20
dx).
f(z) =
ze
iz
z
2
+ 4z + 20
y sea
n
= [n, n] [n, n +in] [n +in, n +in] [n +in, n].
_
n
f(z)dz =
_
[n,n+in]
ze
iz
dz
z
2
+ 4z + 20
+
_
[n+in,n+in]
ze
iz
dz
z
2
+ 4z + 20
+
_
[n+in,n]
ze
iz
dz
z
2
+ 4z + 20
+
_
n
n
xe
ix
dx
x
2
+ 4x + 20
.
Notar que P
f
= 2 + 4i, 2 4i y usando el Teorema de los residuos,
_
n
f(z)dz = 2iRes(f, 2 + 4i).
Ahora bien Res(f, 2 + 4i) =
2+4i
8i
e
2i4
.
Por otro lado
Im(
_
n
n
xe
ix
dx
x
2
+ 4x + 20
) =
_
n
n
xsen(x)dx
x
2
+ 4x + 20
.
Despejando, entonces
_
n
n
xsen(x)dx
x
2
+ 4x + 20
= Im(
1 + 2i
2
e
42i
)
Im(
_
[n,n+in]
ze
iz
dz
z
2
+ 4z + 20
)
Im(
_
[n+in,n+in]
ze
iz
dz
z
2
+ 4z + 20
)
Im(
_
[n+in,n]
ze
iz
dz
z
2
+ 4z + 20
.)
Ahora bien
_
[n,n+in]
ze
iz
dz
z
2
+ 4z + 20
=
_
n
0
(n +it)e
t+in
(n +it)
2
+ 4(n +it) + 20
idt.
Llamando
n
(t) =
(n+it)e
t+in
(n+it)
2
+4(n+it)+20
[0,n]
se tiene, para n grande,
[
n
(t)[
2ne
t
n
2
n 20
[0,n]
Ce
t
[0,)
.
Por tanto por el teorema de la convergencia dominada de Lebesgue se
tiene
lim
n
_
[n,n+in]
ze
iz
dz
z
2
+ 4z + 20
= 0.
Por otro lado
_
[n+in,n+in]
ze
iz
dz
z
2
+ 4z + 20
=
_
n
n
(t +in)e
itn
(in +t)
2
+ 4(in +t) + 20
dt.
Es claro que, para n grande, es decir (n
2
4n 20 0),
[
_
[n+in,n+in]
ze
iz
dz
z
2
+ 4z + 20
[
2n.
2ne
n
n
2
4n 20
0(n ).
Por ultimo
_
[n+in,n]
ze
iz
dz
z
2
+ 4z + 20
=
_
n
0
(n +it)e
tin
(n +it)
2
+ 4(n +it) + 20
idt.
El mismo argumento que en la parte primera permite concluir
lim
n
_
[n+in,n]
ze
iz
dz
z
2
+ 4z + 20
= 0.
Combinando todos los hechos anteriores se tiene
_

xsen(x)
x
2
+ 4x + 20
dx = Im(
1 + 2i
2
e
42i
) = e
4
(cos2 +
sen2
2
).

_

P(x)
Q(x)
sen(x)dx,
_

P(x)
Q(x)
cos(x)dx
Q
R =
.
Ejemplo 9.2.6 (Calculo de integrales impropias: Tipo III)
Calcular
_

0
sen(x)
x(
2
x
2
)
dx.
Resolucion: Como en el ejemplo anterior
_

0
sen(x)
x(
2
x
2
)
dx =
1
2
Im(
_

e
ix
x(
2
x
2
)
dx).
Consideremos
f(z) =
e
iz
z(
2
z
2
)
que tiene los siguientes polos simples P
f
= 0, , .
Consideremos el camino
n
= [n,
1
n
] S(,
1
n
) [ +
1
n
,
1
n
]
S(0,
1
n
) [
1
n
,
1
n
]
S(,
1
n
) [ +
1
n
, n] [n, n +in]
[n +in, n +in] [n +in, n],
donde S(a, r) = a +re
it
: t [0, 2].
Observar que con esta elecci on del camino
_
n
f(z)dz = 0.
Utilizando el Corolario 9.1.5 tenemos
lim
n
_
S(,
1
n
)
f(z)dz = iRes(f, ) = i
e
i
2
2
=
i
2
.
lim
n
_
S(,
1
n
)
f(z)dz = iRes(f, ) = i
e
i
2
2
=
i
2
.
lim
n
_
S(0,
1
n
)
f(z)dz = iRes(f, 0) =
i
.
Por otro lado
lim
n
_
n
f(z)dz
_
[n,n+in][n+in,n+in][n+in,n]
f(z)dz =
_

e
ix
x(
2
x
2
)
dx
2i
.
Calculemos adem as
_
[n,n+in][n+in,n+in][n+in,n]
f(z)dz =
_
n
0
e
t+in
(n +it)(
2
(n +it)
2
)
idt
_
n
n
e
itn
(in +t)(
2
(t +in)
2
)
dt
_
n
0
e
tin
(n +it)(
2
(n +it)
2
)
idt.
De nuevo, argumentando como en el ejemplo 2, puede verse que en el
lmite son todos cero, por medio de estimaciones directas, ya que
[
_
n
0
e
t+in
(n +it)(
2
(n +it)
2
)
idt[
n
n(n
2
2
)
.
[
_
n
n
e
itn
(in +t)(
2
(t +in)
2
)
dt[
2ne
n
n(n
2
2
)
.
[
_
n
0
e
tin
(n +it)(
2
(n +it)
2
)
idt[
n
n(n
2
2
)
.
Finalmente, combinando lo anterior, se tiene
_

0
sen(x)
x(
2
x
2
)
dx =
1

_

P(x)
Q(x)
R(senx, cosx)dx
Q
R ,=
pero la integral impropia es convergente!.
Ejemplo 9.2.7 (Calculo de integrales impropias usando ramas del Logartmo)
Sea 1 < < 1, ,= 0. Calcular
_

0
x
x
2
+x + 1
dx.
Resolucion: Observemos que es una integral impropia convergente pues
x
x
2
+x + 1

1
x
2
, x ,
x
x
2
+x + 1
x
, x 0.
Por tanto
_

0
x
x
2
+x + 1
dx = lim
n
_
n
1
n
x
x
2
+x + 1
dx.
Estudiamos primero los ceros del denominador:
x
2
+x + 1 = 0 x
0
= 1/2 +
3/2i, x
1
= 1/2
3/2i.
Sea S
1
n
= ne
it
: t [0,
3
2
] y S
2
n
=
1
n
e
it
: t [0,
3
2
], pongamos
n
= S
1
n
[in,
1
n
i] S
2
n
[
1
n
, n].
(El camino elegido no debe de contener singularidades e incluir el intervalo
de integraci on).
Consideremos
f(z) =
e
Log
4
(z)
z
2
+z + 1
.
(La funcion ha de ser holomorfa en un abierto que contenga el camino
elegido.)
Observar que los polos de f est an el interior del dominio limitado por la
curva y son z
0
=
1
2
+
3
2
i, z
1
=
1
2

3
2
i, siendo
Res(f,
1
2
+
3
2
i) =
e
Log
4
(
1
2
+
3
2
i)
3i
.
Res(f,
1
2

3
2
i) =
e
Log
4
(
1
2

3
2
i)
3i
.
Usando el teorema de los residuos
_
n
f(z)dz = 2i
_
e
Log
4
(
1
2
+
3
2
i)
3i
e
Log
4
(
1
2

3
2
i)
3i
_
.
Observar que
Log
4
(
1
2
+
3
2
i) = (2/3)i, Log
4
(
1
2

3
2
i) = (2/3)i
y por tanto
_
n
f(z)dz =
2
3
(e
2
3
i
e
4
3
i
) =
2
3
e
i
(e
3
i
e
3
i
) =
4
3
ie
i
sin(
3
).
Por otro lado,
_
n
f(z)dz =
_
S
1
n
[in,
1
n
i]S
2
n
[
1
n
,n]
f(z)dz.
Ahora bien, usando 1 < < 1,
[
_
S
1
n
f(z)dz[
_ 3
2
0
n
ndt
n
2
n 1
Cn
1
0(n ).
[
_
S
2
n
f(z)dz[
_ 3
2
0
1
n
1
n
dt
1
1
n

1
n
2
Cn
(+1)
0(n ).
Para el c alculo de
_
[in,
1
n
i]
f(z)dz consideraremos otra funci on g que
coincida con f en el eje real y de manera que el valor de
_
[in,
1
n
i]
f(z)dz =
C
_
[in,
1
n
i]
g(z)dz.
Esto se consigue tomando otra determinaci on del logaritmo, por ejemplo
la rama principal y el recinto complementario. Es decir,
g(z) =
e
Logz
z
2
+z + 1
.
Sea S
3
n
= (ne
it
: t [
2
, 0]), S
4
n
=
1
n
e
it
: t [
2
, 0]), pongamos
n
= S
3
n
[in,
1
n
i] S
4
n
[
1
n
, n].
Por tanto, como la singularidades quedan fuera del recinto, usando el
teorema de los residuos se tiene
0 =
_
n
g(z)dz = (
_
S
3
n
+
_
[in,
1
n
i]
+
_
S
4
n
+
_
[
1
n
,n]
)g(z)dz.
Observese que g(z) = f(z) para z R.
Por otro lado para z [in,
1
n
i] se tiene Log
4
z = log[z[ + i
3
2
y
Logz = log[z[ i
2
, luego
g(z) =
[z[
e
i
2
z
2
+z + 1
= e
2i
[z[
e
i
3
2
z
2
+z + 1
= e
2i
f(z)
De aqui que
_
[in,i
1
n
]
f(z)dz = e
2i
_
[in,i
1
n
]
g(z)dz.
Como
_
[in,i
1
n
]
g(z)dz =
_
S
3
n
S
4
n
g(z)dz
_
[
1
n
,n]
f(z)dz,
se concluye que
_
[in,i
1
n
]
f(z)dz = e
2i
_
S
3
n
S
4
n
g(z)dz e
2i
_
[
1
n
,n]
f(z)dz.
Como en el argumento anterior se tiene que
lim
ninfty
_
S
3
n
S
4
n
g(z)dz = 0.
Ahora despejando del paso previo, pasando la lmite, tenemos
(1 e
2i
)
_

0
f(x)dx =
4
3
ie
i
sin(
3
).
De donde, como ,= 0 se tiene
_

0
x
x
2
+x + 1
dx =
4i
3
e
i
1 e
2i
sin(
3
) =
4i
3
sin(
3
)
e
i
e
i
=
2
3
sin(
3
)
sin()
.
Ejemplo 9.2.8 (Aplicacion de cambio de variable, evitando las ramas del

logartmo.)
Calcular
_

0
logx
(1 +x
2
)
2
dx.
Resolucion: El primer paso es hacer un cambio de variable que evita el uso
del logaritmo.
_

0
logx
(1 +x
2
)
2
dx =
_

te
t
(1 +e
2t
)
2
dt.
Como la integral impropia es convergente se tiene
_

te
t
(1 +e
2t
)
2
dt = lim
n
_
n
n
te
t
(1 +e
2t
)
2
dt.
f(z) =
ze
z
(1 +e
2z
)
2
.
Debido a la periodicidad de la exponencial un posible camino de integraci on
es el siguiente
n
= [n, n] [n, n +i] [n +i, n +i] [n +i, n].
_
n
f(z)dz =
_
[n,n+i]
ze
z
(1 +e
2z
)
2
dz
+
_
[n+i,n+i]
ze
z
(1 +e
2z
)
2
dz
+
_
[n+i,n]
ze
z
(1 +e
2z
)
2
dz
+
_
n
n
te
t
(1 +e
2t
)
2
dt.
Observemos que
_
[n+i,n+i]
ze
z
(1 +e
2z
)
2
dz =
_
n
n
(t +i)e
t+i
(e
i2+2t
+ 1)
2
dt
= +
_
n
n
te
t
(e
2t
+ 1)
2
dt +i
_
n
n
e
t
(e
2t
+ 1)
2
dt.
Notar que P
f
=
(2k+1)i
2
: k Z y usando el Teorema de los residuos,
_
n
f(z)dz = 2iRes(f,

2
i).
Luego concluimos que
2iRes(f,

2
i) =
_
[n,n+i]
ze
z
(1 +e
2z
)
2
dz
+
_
[n+i,n]
ze
z
(1 +e
2z
)
2
dz
+ 2
_
n
n
te
t
(1 +e
2t
)
2
dt
+ i
_
n
n
e
t
(e
2t
+ 1)
2
dt.
Ahora bien, por un lado,
_
[n,n+i]
ze
z
(1 +e
2z
)
2
dz =
_

0
(n +it)e
n+it
(e
2n+2it
+ 1)
2
idt.
Es decir,
[
_
[n,n+i]
ze
z
(1 +e
2z
)
2
dz[
(n +)e
n
(e
2n
1)
2
0(n ).
Por otro lado
_
[n+i,n]
ze
z
(1 +e
2z
)
2
dz =
_

0
(n +it)e
n+it
(e
2n+2it
+ 1)
2
idt.
Es decir,
[
_
[n+i,n]
ze
z
(1 +e
2z
)
2
dz[
(n +)e
n
(1 e
2n
)
2
0(n ).
Combinando lo anterior
2
_

te
t
(1 +e
2t
)
2
dt = 2iRes(f,

2
i)
i
_

e
t
(e
2t
+ 1)
2
dt
Combinando todos los hechos anteriores se tiene
_

te
t
(1 +e
2t
)
2
dt = Im(Res(f,

2
i)).
Adem as se concluye tambien que
_

e
t
(e
2t
+ 1)
2
dt =
_

0
dx
(1 +x
2
)
2
= 2Re(Res(f,

2
i)).
El resultado nal se consigue calculando el Res(f,

2
i) siendo

2
i un polo
doble.
Para el calculo de sumas de series necesitamos los siguientes lemas.
Lema 9.2.1 Sea
n
= Q
n
donde Q
n
= co(z
i
: i = 1, ..., 4) con z
1
=
(1+i)(n+
1
2
), z
2
= (1i)(n+
1
2
), z
3
= (1+i)(n+
1
2
) y z
4
= (1i)(n+
1
2
).
Existe n
0
tal que
[cotagz[ 2 z
n
, n n
0
.
Demostracion Observar que
[cos(z)[
2
= cos
2
(x) +sh
2
(y),
[sen(z)[
2
= sen
2
(x) +sh
2
(y).
Considerando los lados horizontales
z [n+
1
2
+i(n+
1
2
), n
1
2
+i(n+
1
2
)] [n
1
2
i(n+
1
2
), n+
1
2
i(n+
1
2
)],
entonces z = t (n +
1
2
)i, t [(n +
1
2
), (n +
1
2
)]. Entonces
[cotag(z)[
2
1 +sh
2
((n +
1
2
))
sh
2
((n +
1
2
))
1 +
1
sh
2
((n +
1
2
))
.
Por tanto existe n
0
tal que
1
sh
2
((n+
1
2
))
1, n n
0
.
Considerando, ahora los lados verticales
z [n
1
2
+i(n+
1
2
), n
1
2
i(n+
1
2
)] [n+
1
2
i(n+
1
2
), n+
1
2
+i(n+
1
2
)]
entonces z = it (n +
1
2
), t [(n +
1
2
), (n +
1
2
)]. Entonces
[cotag(z)[
2
cos
2
((n +
1
2
)) +sh
2
(t)
sen
2
((n +
1
2
)) +sh
2
(t)
=
sh
2
(t)
1 +sh
2
(t)
1.
Ejemplo 9.2.9 (Suma de series)

Calcular
n=1
1
n
2
.
Resolucion: La idea basica consiste en encontrar una funci on con polos en N
y de modo que los residuos en los mismos sean
1
n
2
.
Esto se consigue con
f(z) =
cotag(z)
z
2
.
Observemos que P
f
= Z, y tenemos o(f, k) = 1, k ,= 0 y o(f, 0) = 3.
Adem as si k ,= 0
Res(f, k) = lim
zk
(z k)cosz
z
2
senz
=
1
k
2
.
Res(f, 0) = lim
z0
1
2
(zcotag(z))
= A.
n
= [n +
1
2
+i(n +
1
2
), n
1
2
+i(n +
1
2
)]
[n
1
2
+i(n +
1
2
), n
1
2
i(n +
1
2
)]
[n
1
2
i(n +
1
2
), n +
1
2
i(n +
1
2
)]
[n +
1
2
i(n +
1
2
), n +
1
2
+i(n +
1
2
)].
Por tanto
_
n
f(z)dz = 2i(
1
k=n
+
n
k=1
)Res(f, k) + 2iRes(f, 0).
De donde
4i
n
k=1
1
k
2
=
_
n
f(z) 2iRes(f, 0).
k=1
1
k
2
=
1
4i
lim
n
_
n
f(z)

2
Res(f, 0).
Utilizando el Lema 9.2.1 se tiene
lim
n
_
n
f(z) = 0,
pues
[
_
n
f(z)dz[ 2
long(
n
)
n
2
.
Para el calculo de Res(f, 0) denotemos zcotag(z) =

n=0
b
n
z
2n
y cal-
culemos b
1
.
n=0
(1)
n
2n
(2n)!
z
2n+1
= (
n=0
(1)
n
2n+1
(2n + 1)!
z
2n+1
)(
n=0
b
n
z
2n
)
Identicando coecientes se obtiene b
1
=

3
. De aqui se concluye que
n=1
1
n
2
=

2
6
.
Para el estudio de series alternadas es de utilidad el situiente resultado:

Lema 9.2.2 Sea
n
= Q
n
donde Q
n
= co(z
i
: i = 1, ..., 4) con z
1
=
(1+i)(n+
1
2
), z
2
= (1i)(n+
1
2
), z
3
= (1+i)(n+
1
2
) y z
4
= (1i)(n+
1
2
).
Existe n
0
tal que
[cosecz[ 1 z
n
, n n
0
.
Demostracion Observar que
[sen(z)[
2
= sen
2
(x) +sh
2
(y).
Considerando el caso
z [n+
1
2
+i(n+
1
2
), n
1
2
+i(n+
1
2
)] [n
1
2
i(n+
1
2
), n+
1
2
i(n+
1
2
)],
entonces z = t (n +
1
2
)i, t [(n +
1
2
), (n +
1
2
)]. Entonces existe n
0
tal que
si n n
0
se tiene que
[cosec(z)[
2
1
sh
2
((n +
1
2
))
1.
Considerando, ahora el caso
z [n
1
2
+i(n+
1
2
), n
1
2
i(n+
1
2
)] [n+
1
2
i(n+
1
2
), n+
1
2
+i(n+
1
2
)]
entonces z = it (n +
1
2
), t [(n +
1
2
), (n +
1
2
)]. Entonces
[cosec(z)[
2
=
1
1 +sh
2
(t)
1.
Ejemplo 9.2.10 (Series alternadas)

Calcular
n=1
(1)
n
n
2
.
Resolucion: La idea b asica, de nuevo, consiste en encontrar una funci on con
polos en N y de modo que los residuos en los mismos sean
(1)
n
n
2
.
Esto se consigue con
f(z) =
cosec(z)
z
2
.
Observemos que P
f
= Z, y tenemos o(f, k) = 1, k ,= 0 y o(f, 0) = 3.
Adem as si k ,= 0
Res(f, k) = lim
zk
(z k)
z
2
senz
=
1
k
2
cos(k)
=
(1)
k
k
2
.
Res(f, 0) = lim
z0
1
2
(zcosec(z))
= A.
n
= [n +
1
2
+i(n +
1
2
), n
1
2
+i(n +
1
2
)]
[n
1
2
+i(n +
1
2
), n
1
2
i(n +
1
2
)]
[n
1
2
i(n +
1
2
), n +
1
2
i(n +
1
2
)]
[n +
1
2
i(n +
1
2
), n +
1
2
+i(n +
1
2
)].
Por tanto
_
n
f(z)dz = 2i(
1
k=n
+
n
k=1
)Res(f, k) + 2iRes(f, 0).
9.3. Consecuencias del Teorema de los residuos. 123
De donde
4i
n
k=1
(1)
k
k
2
=
_
n
f(z) 2iRes(f, 0).
k=1
(1)
k
k
2
=
1
4i
lim
n
_
n
f(z)

2
Res(f, 0).
Utilizando ahora el Lema 9.2.2 se tiene
lim
n
_
n
f(z) = 0,
pues
[
_
n
f(z)dz[
long(
n
)
n
2
.
Para el c alculo de Res(f, 0) denotemos zcosec(z) =

n=0
b
n
z
2n
y cal-
culemos b
1
.
z = (
n=0
(1)
n
2n+1
(2n + 1)!
z
2n+1
)(
n=0
b
n
z
2n
).
Identicando coecientes se obtiene b
1
=

6
. De aqui se concluye que
n=1
(1)
n
n
2
=

2
12
.
9.3 Consecuencias del Teorema de los resid-

uos.
La primera de las aplicaciones es el conocido como Principio del Argu-
mento, que entre otras cosas permite calcular el n umero de ceros y el de polos
dentro de recintos.
Teorema 9.3.1 (Principio del argumento) Sea f M() y supongamos
que P
f
() = p
1
, p
2
, ..., p
m
y Z
f
() = z
1
, z
2
, ..., z
m
siendo m
k
= o(f, p
k
)
y n
k
= m(f, z
k
).
Sea un ciclo tal que 0(resp.) y
(Z
f
() P
f
()) = .
Entonces
1
2i
_
(z)
f(z)
dz =
n
k=1
n
k
Ind
(z
k
)
m
k=1
m
k
Ind
(p
k
).
Demostracion:
Sea a Z
f
() con m(f, a) = k.
Si f(z) = (z a)
k
g(z), para g H(D(a, r)) y g(z) ,= 0 entonces
f
(z)
f(z)
=
k
z a
+
g
(z)
g(z)
,
Por tanto
g
g
H(D(a, r)) y a Pf
f
, o(
f
f
, a) = 1 y Res(
f
f
, a) = k.
Sea b P
f
() con o(f, b) = k.
Si f(z) =
g(z)
(zb)
k
, para g H(D(b, r)) y g(z) ,= 0 entonces
f
(z)
f(z)
=
k
z b
+
g
(z)
g(z)
,
Por tanto
g
g
H(D(b, r) y b Pf
f
, o(
f
f
, b) = 1 y Res(
f
f
, b) = k.
La consecuencia de este argumento es que si f M() entonces
f
f

M() y Pf
f
= Z
f
P
f
y son todos simples.
Usando el teorema de los residuos
1
2i
_
(z)
f(z)
dz =
aZ
f
()P
f
()
Ind
(a)Res(
f
f
, a)
=
aZ
f
()
Ind
(a)m(f, a)
bP
f
()
Ind
(b)o(f, b).
Siguiendo las mismas ideas puede obtenerse la siguiente generalizaci on

inmediata.
Teorema 9.3.2 (Principio del argumento generalizado) Sean g H() y
f M() y supongamos que P
f
() = p
1
, p
2
, ..., p
m
y Z
f
() = z
1
, z
2
, ..., z
m
siendo m
k
= o(f, p
k
) y n
k
= m(f, z
k
).
Sea un ciclo tal que 0(resp.) y
Z
f
() P
f
() = .
Entonces
1
2i
_
g(z)
f
(z)
f(z)
dz =
n
k=1
n
k
g(z
k
)Ind
(z
k
)
m
k=1
m
k
g(p
k
)Ind
(p
k
).
Nota 9.3.1 Supongamos que f H() con simplemente conexo y es
una curva cerrada simple orientada positivamente que no contiene ceros de
la funcion. Denotemos N
0
(f, A) el n umero de ceros de f en A (contados con
sus multiplicidades). Entonces
1
2i
_
(z)
f(z)
dz = N
0
(f, Int()).
Recordemos del Captulo VII que
_
(z)
f(z)
dz tiene una interpretacion en
terminos del argumento continuo sobre la curva. Concretamente tenemos el
siguiente resultado:
Proposicion 9.3.3 Sea : [a, b] C un camino,
y f : C es
holomorfa vericando
i) f(z) ,= 0 z
ii) f((a)) = f((b)). Entonces

1
2i
_
(z)
f(z)
dz =
(b) (a)
2
donde (t) es un argumento contnuo sobre f().
Demostracion: Notar que (t) = f((t)) es una curva cerrada y si (t)
es un argumento contnuo sobre f() entonces, usando (ii) en la Proposici on
7.1.4, se tiene que
1
2i
_
(z)
f(z)
dz = Ind
(0) =
(1) (0)
2
.
Nota 9.3.2 Supongamos que f M() con simplemente conexo y es

una curva cerrada simple orientada positivamente que no contiene ni polos
ni ceros. Denotemos N
0
(f, A) el n umero de ceros de f en A (contados con
sus multiplicidades) y N
p
(f, A) el n umero de polos de f en A (contados con
sus ordenes). Entonces
1
2i
_
(z)
f(z)
dz = N
0
(f, Int()) N
p
(f, Int()) =
(1) (0)
2
donde (t) es una determinacion contnua del argumento sobre la curva f().
Ejemplo 9.3.1 Calculo del n umero de ceros del polinomio
p(z) = z
8
+ 3z
3
+ 7z + 5
en el primer cuadrante.
Demostracion: Dado R > 0, consideremos la curva cerrada
R
= [0, R] Re
it
: t [0,

2
] [iR, 0].
Si N
R
= N
0
(p, Int(
R
)) tenemos que
2iN
R
=
_
[0,R]
p
(z)
p(z)
dz +
_
R
p
(z)
p(z)
dz +
_
[iR,0]
p
(z)
p(z)
dz.
Observar que
P(t) = t
8
+ 3t
3
+ 7t + 5 > 0 si t > 0,
P(it) = t
8
3it
3
+ 7ti + 5 = (t
8
+ 5) +i(3t
3
+ 7t) si t > 0.
As que Re(P(z)) > 0 si [iR, 0] [0, R], y por tanto Arg(P(z)) es continua
en dicho conjunto.
De aqu que
_
[iR,0][0,R]
p
(z)
p(z)
dz = log
[P(R)[
[P(iR)[
+i(Arg(P(R)) arctag
R
3
+ 7R
R
8
+ 5
).
Para tratar z = Re
it
, t [0,

2
] tenemos
P(z) = z
8
(1 +
3
z
5
+
7
z
7
+
1
z
8
) = z
8
q(z).
P(Re
it
) = R
8
e
8it
(1 + 3R
5
e
5it
+ 7R
7
e
7it
+ 5R
8
e
8it
),
ahora bien si R es suentemente grande
q(Re
it
) = Q
R
(t) = 1 + 3R
5
e
5it
+ 7R
7
e
7it
+ 5R
8
e
8it
est a pr oximo a 1 y por tanto ArgQ
R
(t) esta proximo a 0.
Por tanto si z
R
, 8Arg(z) + Arg(q(z)) es un argumento continuo de
P(z) sobre
R
para R grande y 8Log(z)+Log(q(z)) es un logaritmo continuo
de P(z) sobre
R
.
Por eso,
1
2i
_
R
p
(z)
p(z)
dz =
1
2
(8Arg(Re
is
) +Arg(q(iR)) 8Arg(R) Arg(q(R)))
+
1
2i
log
[q(iR)[
[q(R)[
.
Por consiguiente, usando que log
|P(R)|
|P(iR)|
+log
|q(iR)|
|q(R)|
= 0, se tiene
N
R
= 2 +
1
2
(Arg(q(iR)) Arg(q(R)))
1
2
arctag
R
3
+ 7R
R
8
+ 5
.
Ahora pasando al lmite cuando R se obtiene N
0
(f, ) = 2.
Ejemplo 9.3.2 Calculo del n umero de ceros del polinomio
p(z) = z
5
+z
4
+ 2z
3
8z 1
en el semiplano Re(z) > 0.
Demostracion: Dado R > 0, consideremos la curva cerrada
R
= [iR, iR] Re
it
: t [
2
,

2
].
Si N
R
= N
0
(p, Int(
R
)) tenemos que
N
R
=
_
[iR,iR]
p
(z)
p(z)
dz +
_
R
p
(z)
p(z)
dz.
Para tratar z = Re
it
, t [
2
,

2
] tenemos
P(Re
it
) = R
5
e
5it
(1 +R
1
e
it
+ 2R
2
e
2it
8R
4
e
4it
R
5
e
5it
),
ahora bien si R es suentemente grande
q(Re
it
) = Q
R
(t) = 1 +R
1
e
it
+ 2R
2
e
2it
8R
4
e
4it
R
5
e
5it
est a pr oximo a 1 y por tanto ArgQ
R
(t) est a pr oximo a 0. Por tanto si
z = Re
it
: t [
2
,

2
], 5Arg(z) + Arg(q(z)) arg(P(z)) es un argumento
continuo de P(z) sobre la semicircunferencia para R grande. Usando el
logaritmo correspondiente se tiene
1
2i
_
R
p
(z)
p(z)
dz =
=
1
2
(5Arg(iR)+Arg(q(iR))5Arg(iR)Arg(q(iR)))+
1
2i
log
[q(iR)[
[q(iR)[
=
5
2
+(R) +
1
2i
log
[q(iR)[
[q(iR)[
.
Por otro lado en el segmento se observa que
p(it) = t
4
1 +i(t
5
2t
3
8t) = u(t) +iv(t) si R t R.
u(t) = (t 1)(t + 1)(t
2
+ 1),
v(t) = t(t 2)(t + 2)(t
2
+ 2).
Analizando el comportamiento de la curva cuando variamos de t [R, R]
se tiene
u(t) > 0, v(t) < 0, t < 2
u(t) > 0, v(t) > 0, 2 < t < 1
u(t) < 0, v(t) > 0, 1 < t < 0
u(t) < 0, v(t) < 0, 0 < t < 1
u(t) > 0, v(t) < 0, 1 < t < 2
u(t) > 0, v(t) > 0, t > 2
Por esto la curva da una vuelta al origen y esta orientada en sentido
negativo. De aqu que
1
2i
_
[iR,iR]
p
(z)
p(z)
dz
= 1 +
1
2
(arctag
v(R)
u(R)
arctag
v(R)
u(R)
) +
1
2i
log
[p(iR)[
[p(iR)[
.
Por consiguiente
N
R
=
5
2
+(R) 1
1
2
arctag
R
5
2R
3
8R
R
4
1
+
1
2
arctag
R
5
+ 2R
3
+ 8R
R
4
1
.
Ahora pasando al lmite cuando R se obtiene N
0
(f, ) = 1.
Teorema 9.3.4 (Teorema de Rouche) Sean g, f M() y supongamos que
P
f
() = p
1
, p
2
, ..., p
m
, Z
f
() = z
1
, z
2
, ..., z
n
, P
g
() = p
1
, p
2
, ..., p
m
y
Z
g
() = z
1
, z
2
, ..., z
n
siendo m
k
= o(f, p
k
), n
k
= m(f, z
k
) m
k
= o(g, p
k
) y
n
k
= m(g, z
k
).
Sea un ciclo tal que 0(resp.).
Supongamos que
[f(z) +g(z)[ < [f(z)[ +[g(z)[ z
,
entonces
n
k=1
n
k
Ind
(z
k
)
m
k=1
m
k
Ind
(p
k
) =
n
k=1
n
k
Ind
(z
k
)
m
k=1
m
k
Ind
(p
k
).
Demostracion: La condicion impuesta implica
(Z
f
() P
f
() Z
g
()
P
g
()) = .
Es claro que no hay polos pues la funcion est a determinada en la curva y
es inmediato que no hay ceros ni de f ni de g en
, pues caso de un cero de

g estar en la curva se tendra [f(z)[ < [f(z)[.
Tomar entonces
1
un abierto que contiene a
de manera que f, g ni se
anula ni tiene polos en el.
Denamos
2
= z
1
: [f(z) +g(z)[ < [f(z)[ +[g(z)[.
Es un abierto que

2
. En dicho abierto se tiene que
[1 +
f(z)
g(z)
[ < [
f(z)
g(z)
[ + 1.
Por tanto si z
2
entonces
f(z)
g(z)
/ R
+
. Esto permite denir la funcion
Log
[0,2)
f(z)
g(z)
H(
2
). As pues
0 =
_
(
f(z)
g(z)
)
f(z)
g(z)
dz =
_
(z)
f(z)

g
(z)
g(z)
dz.
El resultado se sigue ahora del principio del argumento.
Corolario 9.3.5 Sean g, f M() y

D(a, R) . Supongamos que
[f(z) +g(z)[ < [f(z)[ +[g(z)[ [z a[ = R.
Entonces
N
0
(f, D(a, R)) N
0
(g, D(a, R)) = N
p
(f, D(a, R)) N
p
(g, D(a, R)).
Demostracion: Inmediata.
Corolario 9.3.6 Sean g, f H() y

D(a, R) . Supongamos que
[f(z) g(z)[ < [g(z)[ [z a[ = R.
Entonces
N
0
(f, D(a, R)) = N
0
(g, D(a, R)).
Demostracion: Basta observar que si g(z) = g
1
(z) se tiene
[f(z) +g
1
(z)[ < [g
1
(z)[ [f(z)[ +[g
1
(z)[ [z a[ = R.
Aplicar ahora el corolario anterior.
Ejemplo 9.3.3 Probar que z
8
4z
5
+z
2
1 = 0 tiene cinco ceros en [z[ < 1.
Demostracion: Sea g(z) = 4z
5
.
Es claro que
[P(z) g(z)[ = [z
8
+z
2
1[ 3 < [g(z)[, [z[ = 1.
Ahora con Teorema de Rouche se tiene N
0
(P, D) = N
0
(g, D) = 5.
Teorema 9.3.7 (Teorema fundamental del algebra) Si P(z) es un polinomio
no constante de grado n. Entonces N
0
(P, C) = n.
Demostracion: Tomemos g(z) = a
n
z
n
siendo P(z) = a
0
+a
1
z +... +a
n
z
n
.
Como lim
z
P(z)g(z)
g(z)
= 0 entonces existe R > 0 tal que
[P(z) g(z)[ < [g(z)[ [z[ = R.
Aplicando ahora el teorema de Rouche se tiene que
N
0
(P, D(0, R)) = N
0
(g, D(0, R)) = n.

Teorema 9.3.8 (Teorema de Hurwitz) Sea una region, f
n
, f H()
tales que f
n
f uniformemente en compactos de .
Si

D(a, R) y f(z) ,= 0 para z D(a, R) entonces existe N
0
N tal
que N
0
(f
n
, D(a, R)) = N
0
(f, D(a, R)) para n N
0
.
Demostracion: Tomar = min
|za|=R
[f(z)[ > 0 entonces existe N
0
N tal
que para n N
0
[f
n
(z) f(z)[ < [f(z)[, [z a[ = R.
Por tanto el resultado se sigue, ahora del teorema de Rouche.
Corolario 9.3.9 Sea una region, f
n
, f H() tales que f
n
f uni-
formemente en compactos de donde f
n
(z) ,= 0 z . Entonces o bien
f(z) ,= 0 z o bien f(z) = 0 z .
Demostracion: Si f no es identicamente nula entonces para cada a
existe

D(a, R) donde f no se anula en D(a, R). Aplicando el teorema
de Hurwitz se tiene que f(a) ,= 0.
Ejemplo 9.3.4 Si r < 1 entonces P
n
(z) = 1 + 2z + 3z
2
+ ... + nz
n
no se
anula en D(0, r) para n sucientemente grande.
Demostracion: Observar que
P
n
(z)
1
(1 z)
2
uniformemente en compactos (por el teorema de Weierstrass), y como
1
(1z)
2
,=
0 si [z[ = r entonces por el Teorema de Hurwitz se obtiene el resultado.
Teorema 9.3.10 (Teorema m-1) Sea un abierto, f H() no constante
y z
0
con f(z
0
) = w
0
y m(f w
0
, z
0
) = m. Entonces existen dos abiertos
no vacos V, W en C con z
0
V , W = f(V ) tales que card(f
1
(w)) = m
para todo w W w
0
, es decir si w W w
0
existen m puntos distintos
en V tales que f(z) = w.
Demostracion: Sea r > 0 tal que

D(z
0
, r) con f w
0
y f
funciones que
no se anulan en

D(z
0
, r)z
0
. Tomemos = min[f(z)w
0
[ : [z z
0
[ = r.
Denimos V = z D(z
0
, r) : [f(z) w
0
[ < y W = D(w
0
, ).
Es claro que V es abierto y no vaco (z
0
V ) y que f(V ) W.
Dado w W w
0
consideremos f
1
(z) = f(z) w y g
1
(z) = f(z) w
0
.
Se tiene que
[f
1
(z) g
1
(z)[ = [w w
0
[ < [g
1
(z)[, z D(z
0
, r).
Por tanto, por Rouche, se tiene
N
0
(f
1
, D(z
0
, r)) = N
0
(g
1
, D(z
0
, r) = m.
Adem as son todos ceros simples por la hip otesis f
(z) ,= 0 en D(z
0
, r) z
0
,
lo que demuestra que card(f
1
(w)) = m y que W f(V ).
Corolario 9.3.11 (Teorema de la aplicacion abierta) Sea un abierto no
vaco y f H() no constante. Entonces f es abierta.
Demostracion: Sea U un abierto de . Si w = f(z) f(U) entonces (apli-
cando en teorema m-1 a f : U C existen V, W donde V U, f(V ) = W
luego w W f(U).
Corolario 9.3.12 Sea una curva. Si f H() y f(z) para todo
z entonces f es constante
Demostracion: Caso de no ser constante, teniendo en cuenta que f()
y f() tiene que ser un abierto en C se llega a una contradicci on.

Corolario 9.3.13 (Principio del modulo maximo) Sea Sea un abierto no
vaco, f H() no constante y z . Entonces [f(z)[ no es un maximo
local de [f[.
Demostracion: Como f() es un abierto entonces existe D(f(z), r) f()
lo que implica que hay valores z
con [f(z
)[ > [f(z)[.
Corolario 9.3.14 Sea abierto acotado no vaco y f H() C(
). En-
tonces
max
z
[f(z)[ = max
z
[f(z)[
Demostracion: Usando el Teorema de Weierstrass se tiene que el m aximo se
alcanza en el compacto

, y como no puede estar en el interior ha de estar
en la frontera.
Teorema 9.3.15 (Teorema de la funcion inversa global) Sea Sea un abierto
no vaco y f H() e inyectiva. Entonces f
(z) ,= 0 para todo z y

f
1
: f() es holomorfa.
Ademas (f
1
)
(w) =
1
f
(f
1
(w))
para todo w f().
Demostracion: En primer lugar observar que f
1
es continua, por ser f
abierta. Si existe z con f
(z) = 0 entonces por el teorema m-1, no

sera inyectiva. Finalmente es inmediato comprobar que f
1
es derivable en
w = f(z) y el valor de la derivada es el inverso de f
(z).
En efecto, usando u = f(v),
lim
uw
f
1
(u) z
u f(z)
=
1
lim
vz
f(v)f(z)
vz
=
1
f
(z)
.
Teorema 9.3.16 (Teorema de la funcion inversa local) Sea Sea un abierto

no vaco, f H(), z
0
, f(z
0
) = w
0
y f
(z
0
) ,= 0. Entonces existen dos
abiertos no vacos V, W en C con z
0
V , w
0
W tales que f : V W
es una biyeccion. Ademas f
1
: W V es holomorfa y si

D(z
0
, R) V y
R
= D(z
0
, R) entonces para todo w f(D(z
0
, R)) se tiene
(i) f
1
(w) =
1
2i
_
R
zf
(z)
f(z) w
dz.
Ademas si [w w
0
[ < donde = d(w
0
, f(D(z
0
, R))) se tiene
(ii) f
1
(w) =
n=0
_
1
2i
_
R
zf
(z)
(f(z) w
0
)
n+1
dz
_
(w w
0
)
n
,
o equivalentemente podemos expresar, para [w w
0
[ < ,
(iii) f
1
(w) = z
0
+
n=1
_
1
n!
d
n1
dz
n1
((z)
n
)
_
z=z
0
(w w
0
)
n
,
donde (z) =
zz
0
f(z)w
0
.
Demostracion: Es consecuencia inmediata del teorema m-1 que se tiene una
biyecci on local.
Para el c alculo de la formula de (i), observar que si w f(D(z
0
, r))
como f
1
(z) = f(z) w no tiene polos y solamente tiene un cero (digamos en
f
1
(w) = a) entonces usando el principio del argumento generalizado con f
1
y g(z) = z se concluye que
1
2i
_
R
zf
(z)
f(z) w
dz = aInd
R
(a) = f
1
(w).
Para comprobar la expresion (ii) tenemos que si una bola D(w
0
, s)
f(D(z
0
, r)) y [w w
0
[ < se tiene que
f
1
(w) =
n=0
(f
1
)
(n
(w
0
)
n!
(w w
0
)
n
,
donde, derivando bajo el signo integral en (i), se obtiene
(f
1
)
(n
(w
0
)
n!
=
1
2i
_
R
zf
(z)
(f(z) w
0
)
n+1
dz.
Para saber el maximo valor s donde vale el desarrollo es suciente recordar
que (por prolongacion analtica) como f
1
es holomorfa en f(D(z
0
, r)) se
tendr a s d(w
0
, C f(D(z
0
, r)). N otese que f :

D(z
0
, R) f(

D(z
0
, R)) es
un homeomeorsmo y usando el teorema de la aplicacion abierta se puede
ver que necesariamente f(D(z
0
, R)) = f(D(z
0
, R)), de donde se concluye
que s = = d(w
0
, f(D(z
0
, R)).
Para obtener la expresi on (iii) observemos que para n = 0 se tiene z
0
=
f
1
(w
0
) y para n 1 podemos integrar por partes del siguiente modo
1
2i
_
R
zf
(z)
(f(z) w
0
)
n+1
dz =
1
2i
_
2
0
R
(t)
R
(t)f
(
R
(t))
(f(
R
(t)) w
0
)
n+1
dt
=
1
2i
R
(2)
n(f(
R
(2)) w
0
)
n

1
2i
R
(0)
n(f(
R
(0)) w
0
)
n
+
1
2ni
_
2
0
R
(t)
(f(
R
(t)) w
0
)
n
dt
=
1
2ni
_
R
1
(f(z) w
0
)
n
dz
=
1
n
Res(
1
(f(z) w
0
)
n
, z
0
)
=
1
n(n 1)!
d
n1
dz
n1
(
(z z
0
)
n
(f(z) w
0
)
n
)
z=z
0
.
Ejemplo 9.3.5 Probar que si [w[ < 1 entonces z

2
+ 2z w = 0 tiene una
unica raiz en D(0, 1). Desarrollar la solucion en serie de potencias.
Demostracion: En primer lugar aplicamos el teorema de Rouche con las
funciones g(z) = z
2
+ 2z w y h(z) = 2z.
Es claro que
[g(z) h(z)[ = [z
2
w[ [z[
2
+[w[ < 2 [h(z)[, [z[ = 1.
De ah que N
0
(g, D) = 1.
Llamemos f(z) = z
2
+ 2z. Entonces f
1
: D D tal que f
1
(w) = z de
modo que g(z) = 0. Para desarrollarla en potencias de w en el disco unidad
aplicamos (iii).
f
1
(w) =
n=1
1
n!
d
(n1
dz
n1
(
z
n
f(z)
n
)
z=0
w
n
.
Notar que
z
n
f(z)
n
=
1
(z+2)
n
, y por tanto
d
(k
dz
k
(
1
(z + 2)
n
) = (1)
k
n(n + 1)...(n +k 1)(z + 2)
(n+k)
.
Por consiguiente
f
1
(w) =
n=1
(2n 1)!
((n 1)!)
2
(1)
n1
2
(2n1)
w
n
.

Calculo de integrales y series
1.- Calcular las siguientes integrales:
a)
_
|z|=r
z
2
+z
2
(za)(bz)
dz , 0 < [a[ < r < [b[.
b)
_
|z|=r
2z
zsenz
dz con r / N.
c)
_
|z|=r
z
2
e
2iz
3
1
dz con n < r
3
< n + 1 para un n N.
d)
_
|z|=1
e
sen1/z
dz.
2.- Calcular:
a)
_
2
0
e
2cost
dt.
b)
_
0
dx
5+4cosx
.
c)
_
/2
0
dx
1+sen2x
.
3.- Probar que si a, b (0, )
_

0
dx
(x
2
+a
2
)
2
(x
2
+b
2
)
=
(2a +b)
4a
3
b(a +b)
2
.
Utilizar este resultado para calcular
_
0
dx
(x
2
+1)
2
.
4.- Probar que si (1, 1) y a > 0 entonces
_

0
x
x
2
+a
dx =
a
(1)/2
2cos
2
.
5.- Probar que si (0, 1) y b > 0 entonces
_

0
senbx
x
dx =
(1 )
b
1
sen
2
(1 ).
Indicaciones: i) Si [0,

2
] , sen

2
sen.
ii) Puede considerarse el recinto: (x, y) : x > 0, y > 0, r < x
2
+y
2
< R.
6.- Sea s C tal que 1 < Re(s) < 1. Calcular
_
0
x
s
(x+1)(x+2)
dx.
7.- Calcular la suma de las series:
a)

1
1
n
6
b)

0
(1)
n
(2n+1)
3
8.- Dado a C iZ, probar que:
1
1
n
2
+a
2
=

2a
cotha
1
2a
2
.
Cuestiones
1.- Si f es holomorfa en = z C : r < [z[ < R y a C es tal que
f(z) ,= a para todo z , probar que Ind
t
(a) tiene el mismo valor para
todo t (r, R), siendo
t
= f(z : [z[ = t)
2.- Sea f H(D(0, 2)) con f(z) > 0 en [z[ = 1. Puede ser f(0) = 0?.
3.- Sea f H() con

D(0, 1) tal que Ref(z).Imf(z) > 0 para z
D(0, 1). Probar que f no tiene ceros en D(0, 1). Es cierto este resultado
si f H(D(0, 1)) y es contnua en D(0, 1)?.
4.- Sea f H() con

D(0, 1) y [f(z)[ < 1 si [z[ = 1. Cuantos puntos
jos tiene f en D(0, 1)?.
5.- Sea f H() con

D(0, 1) tal que [f(z)[ > 2 si [z[ = 1 y f(0) = 1.
Debe tener f un cero en D(0, 1)?.
6.- C omo debe ser una funcion entera para que sea constante en cada cir-
cunferencia de centro el origen?.
7.- Sea f H() y z
0
un cero de f de orden p.
Probar que si [z z
0
[ R < d(z
0
, )
[f(z)[ (
[z z
0
[
R
)
p
sup
|zz
0
|=R
[f(z)[.
8.- Sean f, g H(), una region con

D(0, R) tal que [f(z)[ = [g(z)[
si [z[ = R. Probar que si Z(f) = = Z(g) en D(0, R), existe constante
tal que [[ = 1 y f = g.
9.- Sea 0 < r < R y A = z : r < [z[ < R. Probar que existe > 0 tal que
para todo polinomio P, sup[P(z) z
1
[ : z A (En particular,
1
z
no
es lmite uniforme de polinomios en A).
10.- Sea frontera de una region no acotada , f H() y contnua en
tal que [f[ M sobre , [f[ B en ( M y B constantes ). Probar que
[f[ M en .
11.- Sea una regi on y D un disco tal que

D . Si f H() es no
constante con [f[ constante en D, probar que f tiene al menos un cero en
D.
12.- Sea una region acotada, (f
n
) una sucesion de funciones contnuas sobre
, holomorfas en tal que f

n
f uniformemente sobre . Probar que
f
n
f uniformemente sobre

.
13.- Sea f holomorfa en un abierto que contiene a

D(0, R), vericando
[f(z)[ M si [z[ R y [f(0)[ = a > 0. Demostrar que el n umero de
ceros de f en D(0, R/3) es menor o igual que
1
log2
log(M/a).
14.- Sea f H(D(0, R)) no constante. Probar que M(r) = sup
|z|=r
[f(z)[ es una
funci on estrictamente creciente en [0, R).
15.- Sea f holomorfa, en [z[ > 1 y contnua en [z[ 1 tal que existe
lim
z
f(z) C. Demostrar que [f[ alcanza su m aximo absoluto en [z[ = 1
y que M(r) = sup
|z|=r
[f(z)[ es una funci on decreciente en [1, ).
16.- Si P es un polinomio de grado n y [P(z)[ M en [z[ > 1, probar que
[P(z)[ M[z[
n
en [z[ > 1.
17.- Sea f H() no constante. Si z
0
y f(z
0
) = 0, probar que existe
V entorno abierto de z
0
en y H(V ) inyectiva sobre V tal que f(z) =
[(z)]
m
para todo z V , siendo m el orden de z
0
como cero de f.
18.- Sea f : C C holomorfa y biyectiva. Probar que f(z) =
az+b
cz+d
,
con ad = bc ,= 0 y d + ac = 0. En particular, si f es entera y biyectiva,
f(z) = Az +B para todo z C.
19.- Sean P
n
(z) = 1+z +
z
2
2!
+ +
z
n
n!
y Q
n
(z) = P
n
(z) 1. Que puede decirse
sobre la localizacion de los ceros de P
n
y Q
n
para n sucientemente grande?.
20.- Probar que para r > 0 sucientemente peque no todos los ceros de f
n
(z) =
1+
1
z
+ +
1
n!z
n
pertenecen, para n sucientemente grande al crculo [z[ < r.
21.- Probar el siguiente principio del mnimo: Si f es no constante, holomorfa
en y contnua en

con acotado, entonces f tiene un cero en o [f[
alcanza su valor mnimo en la frontera de .
Problemas del Teorema de Rouche y aplicacion abierta
1.- Si > 1, demostrar que z e
z
= 0 tiene una solucion con parte real
positiva. Probar que esta debe ser real. Que le sucede a la solucion cuando
decrece hacia 1?.
2.- Hallar el n umero de ceros de
z
4
5z + 1 en 1 < [z[ < 2;
z
4
+z
3
+ 1 en el 1er cuadrante.
3.- Probar que el polinomio z
4
+2z
3
2z+10 posee una raz en cada cuadrante.
4.- Sea P(z) = z
4
+iz
3
+ 1.
a) Probar que todas las races de P est an en D(0,
3
2
).
b) Estudiar cu antas races de P hay en el primer cuadrante.
5.- Demostrar que todos los ceros de P(z) = z
5
z+16 est an en 1 < [z[ < 2
y dos de ellos tienen parte real positiva.
6.- Probar que w =
z
(z+1)
2
posee una unica soluci on en un cierto entorno del
origen. Desarrollar esta soluci on en serie de potencias de w.
7.- Resolver la ecuacion w
3
+3wz = 0, encontrando w = w(z) como funcion
analtica en un entorno de cero.
8.- Sea g(w) =
_
|z2|=1
z
2
z
2
w
dz.D onde dene esta f ormula una funci on holo-
morfa?. Probar que en un entorno de w = 4 se tiene g
2
(w) =
2
w.
9.- Sea g(w) =
_
|z1|=1
ze
z
e
z
w
dz. D onde dene dicha f ormula una funci on
holomorfa?.
10.- Sea 0 < [a[ < 1 y p N. Probar que la ecuaci on (z 1)
p
= ae
z
tiene
exactamente p races con parte real positiva, simples y que todas ellas estan
en D(1, 1).

Variablecompleja (No)

Cargado por

Información del documento

Título 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

Variablecompleja (No)

Cargado por

Copyright:

Formatos disponibles

VARIABLE COMPLEJA

= (t) : t [a, b] el rango de la curva.

. Es claro que si denimos

Teorema 1.2.6 Sea ,= G(C). es conexo si y solo si es conexo por

1.3 Consideraciones topologicas: Compacidad

) es un espacio topologico compacto.

, ) espacio topol ogico con las dos

K. Sea K = C G. Es claramente compacto en C

(cerrado en compacto) pero no es difcil ver que de hecho es compacto en C.

extension de la euclidea sobre C.

viene dado por la Esfera de Riemann

es un homeomorsmo que viene

El homeomorsmo anterior permite de nuevo ver que C

dada por j(z) = 1/z (z C 0),

Proposicion 2.1.5 Sea un abierto y f

Denici on 2.2.4 Sea un abierto en C y f = u + iv : C. f se dice

Nota 2.3.2 Sea f = u+iv H() con u, v C

(z) = f(z) para todo z .

(z) = f(z). Poniendo g = U + iV tenemos

(y) = 0. De aqu U = u + C con C R y por tanto u admite

Denici on 3.1.4 Una serie de potencias es una serie de funciones donde

que es una contradicci on.

cumpliendo (a) y (b). Veamos que R = R

y cualquier z tal que [z z

+). Y por tanto R R

Veamos ahora un principio b asico de las funciones analticas: Los ceros

y > 0 con f(z) =

3) vericando que cos(

(x) 0. Reiterando el argumento se llega a que h es

3) tal que cos(x

3) : cos(x) = 0. Dicho valor tiene las propiedades

Proposicion 4.1.11 (i) Z

Denici on 4.1.12 Denimos para z / Z

se reduce al anterior ya que si z

basta tomar sucesiones que

Proposicion 4.2.10 (i) No existe ninguna determinacion continua del ar-

Denici on 4.2.11 Sea z ,= 0, w es un logartmo de z si se verica e

Corolario 4.2.14 Sea una region en C tal que 0 / y .

Proposicion 4.2.22 Sea w = z

(t) > 0) se aplican a caminos, siendo el opuesto y la union de caminos

f(z)dz = F((b)) F((a)).

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

Proposicion 5.1.7 Sea un camino, f

58 Captulo 5. Integraci on sobre caminos

donde w (w, z) = (w, z) z

(z) = (w, z),

Teorema 5.2.2 Sea un camino, f :

y demos otro modo de calcular la

tenemos que si [z a[ < [w a[ entonces

y [z a[ < r se puede aplicar la

de la serie anterior y por tanto

de una sucesi on de funciones, o bien pues

Observar que en general no es cierto que toda funci on continua tenga

= f entonces, debido a las ecuaciones de Cauchy-

f(z)dz = 0 para todo camino cerrado .

f(z)dz = F((b)) F((a)) = 0.

Nota 5.2.1 El mismo resultado puede enunciarse en abiertos generales, pues

5.3 Problemas propuestos

sobre los lados de dicho vertice de manera que =

f(z)dz[ < . (Esto puede hacerse usando la contnuidad uniforme de f

f(z)dz = 0 para todo camino cerrado .

6.2 F ormulas de Cauchy y aplicaciones

Corolario 6.2.2 (Formula de Cauchy local) Sea abierto, f H() y