Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Universidad de Granada
junio 2004
ndice general
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
I
ndice general II
1.6.1.1. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.2.1. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.4.1. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.3. Forma general del teorema de Cauchy y de la frmula integral de Cauchy . . 148
4.7. Aplicaciones del teorema de los residuos para calcular integrales reales . . . 186
r
4.7.1. Integrales del tipo R(cost, sent) dt . . . . . . . . . . . . . . . . . . . 186
4.8. Aplicacin del teorema de los residuos para sumar series . . . . . . . . . . . 223
P P(n)
4.8.1. Series del tipo +
Q(n) . . . . . . . . . . . . . . . . . . . . . . . . . . 227
P+ n P(n)
4.8.2. Series del tipo (1) Q(n) . . . . . . . . . . . . . . . . . . . . . . . 228
1.1. Introduccin
Los nmeros que hoy llamamos complejos fueron durante muchos aos motivo de
polmicas y controversias entre la comunidad cientfica. Poco a poco, por la creciente
evidencia de su utilidad, acabaron por ser comnmente aceptados, aunque no fueron
bien comprendidos hasta pocas recientes. Nada hay de extrao en ello si pensamos que
los nmeros negativos no fueron plenamente aceptados hasta finales del siglo XVII.
Los nmeros complejos hacen sus primeras tmidas apariciones en los trabajos de
Cardano (1501-1576) y Bombelli (1526-1672) relacionados con el clculo de las races de
la cbica o ecuacin de tercer grado. Fue Ren Descartes (1596-1650) quien afirm que
ciertas ecuaciones algebraicas slo tienen solucin en nuestra imaginacin y acu el
calificativo imaginarias para referirse a ellas. Desde el siglo XVI hasta finales del siglo
XVIII los nmeros complejos o imaginarios son usados con recelo, con desconfianza. Con
frecuencia, cuando la solucin de un problema resulta ser un nmero complejo se inter-
preta esto como que el problema no tiene solucin. Para Leibnitz el nmero imaginario
es un recurso sutil y maravilloso del espritu divino, casi un anfibio entre el ser y el no ser.
Las razones de todo esto son claras. As como los nmeros reales responden al proble-
ma bien cotidiano de la medida de magnitudes, no ocurre nada similar con los nmeros
complejos. Mientras los matemticos necesitaron interpretar en trminos fsicos sus ob-
jetos de estudio, no se avanz mucho en la comprensin de los nmeros complejos.
El xito de Euler y Gauss al trabajar con nmeros complejos se debi a que ellos no
se preocuparon de la naturaleza de los mismos; no se preguntaron qu es un nme-
ro complejo?, sino que se dijeron a ver, para qu sirven, qu puede hacerse con ellos.
Es Gauss quien definitivamente concede a los nmeros complejos un lugar privilegiado
1
1.2 El cuerpo C de los nmeros complejos 2
dentro de las matemticas al probar en 1799 el resultado conocido como Teorema Funda-
mental del lgebra que afirma que toda ecuacin polinmica de grado n con coeficientes
complejos tiene, si cada raz se cuenta tantas veces como su orden, n races que tambin
son nmeros complejos. En este curso veremos varias demostraciones de este teorema
pero ya puedes entender lo que significa. Fjate en cada una de las ecuaciones:
x + 3 = 0, 2x + 3 = 0, x 2 2 = 0, x 2 + 2x + 2 = 0
Cuyas soluciones
x = 3, x = 3/2, x = 2, x = 1 i
tienen sentido cuando x es, respectivamente, un nmero entero, racional, real o comple-
jo. Podra ocurrir que este proceso de ampliacin del campo numrico continuara. Qu
ocurrir si ahora consideramos ecuaciones polinmicas con coeficientes complejos? Por
ejemplo:
x5 + (1 i)x4 + (1/5 i 2)x2 8x + 3 i/ 3 = 0
Cmo sern sus soluciones? Aparecern tambin nuevos tipos de nmeros? El Teorema
Fundamental del lgebra nos dice que esa ecuacin tiene soluciones que tambin son
nmeros complejos y, por tanto, que no aparecern ya por este procedimiento nuevos
tipos de nmeros.
El trmino, hoy usado de nmeros complejos se debe a Gauss, quien tambin hizo
popular la letra i que Euler (1707-1783) haba usado espordicamente. En 1806 Argand
interpreta los nmeros complejos como vectores en el plano. La fecha de 1825 es conside-
rada como el nacimiento de la teora de funciones de variable compleja, pues se publica
en dicho ao la Memoria sobre la Integracin Compleja que Cauchy haba escrito ya en
1814.
(x, y) + (u, v) = (x + u, y + v)
(x, y)(u, v) = (xu yv, xv + yu)
Todas estas propiedades se resumen diciendo que (R2 , +, ) (lase el conjunto R2 con las
operaciones de adicin y producto) es un cuerpo. Dicho cuerpo se representa simbli-
camente por C y sus elementos se llaman nmeros complejos.
Observaciones
A los elementos de R2 se les llama unas veces pares ordenados de nmeros reales, otras
vectores o puntos y tambin nmeros complejos. La razn de esto es que en R2 conviven
varias estructuras cada una con su terminologa propia. Por eso a los elementos de R2
se les llama vectores si se est considerando la estructura de espacio vectorial, puntos si
fijamos la atencin en la estructura topolgica o afn, pares ordenados cuando estamos
pensando en R2 como conjunto sin ninguna estructura particular y nmeros complejos
cuando se considera la estructura de cuerpo antes definida. Ocurre que estos trminos
se usan a veces en un mismo prrafo lo que puede resultar confuso. La regla que debes
tener siempre presente es que todo concepto matemtico tiene sentido propio dentro
de una determinada estructura matemtica. Por ello, a un elemento de R2 se le llama
nmero complejo cuando se va a usar el producto antes definido que es lo que en realidad
distingue a los nmeros complejos de los vectores de R2 .
El smbolo usual (x, y) para representar pares ordenados no es conveniente para re-
presentar el nmero complejo (x, y). Para convencerte calcula (1, 1)4 . Representaremos
los nmeros complejos con un simbolismo ms apropiado en el que va a intervenir el
producto complejo. Para ello, observa que:
(x, 0) + (y, 0) = (x + y, 0)
(x, 0)(y, 0) = (xy, 0)
esto indica que los nmeros complejos de la forma (x, 0) se comportan respecto a la suma
y la multiplicacin de nmeros complejos exactamente de la misma forma que lo hacen
los nmeros reales respecto a la suma y multiplicacin propias. En trminos ms preci-
sos, R {0} es un subcuerpo de C isomorfo a R. Por esta razn, en las operaciones con
nmeros complejos podemos sustituir los complejos del tipo (x, 0) por el nmero real x.
Es decir, hacemos la identificacin (x, 0) = x.
Fjate que con dicha identificacin el producto x(u, v) tiene dos posibles interpretacio-
nes: producto del escalar real x por el vector (u, v) (estructura vectorial de R2 ) y producto
del complejo (x, 0) por el complejo (u, v). Pero ambos coinciden y son iguales a (xu, xv).
Se dice que x + iy es la expresin binmica del nmero complejo (x, y). Se dice que x es
la parte real e y es la parte imaginaria del nmero complejo x + iy. El producto ahora es
muy fcil de recordar pues
Es costumbre representar los nmeros complejos con las letras z y w y reservar las
letras x, y, u, v para representar nmeros reales. Una expresin de la forma z = x + iy se
interpreta como que z es el nmero complejo cuya parte real es x y cuya parte imaginaria
es y. Se escribe Re(z) e Im(z) para representar las partes real e imaginaria de z. Natural-
mente, dos nmeros complejos son iguales cuando tienen igual parte real e igual parte
imaginaria.
Observaciones
Acabamos de ver que i 2 = 1 pero eso no nos permite escribir as, sin ms ni ms, que
i = 1. Fjate lo que ocurre si ponemos i = 1 y manejamos ese smbolo con las reglas
a las que estamos acostumbrados:
p
1 = i 2 = i i = 1 1 = (1)(1) = 1 = 1
Luego 1 = 1. Por tanto, las matemticas son contradictorias y aqu hemos acabado.
Al ampliar R a C ganamos mucho (te convencers de eso en este curso) pero tam-
bin perdemos algo. Te recuerdo que R tiene dos estructuras: la algebraica y la de orden.
Ambas estructuras estn armoniosamente relacionadas. Pues bien, en C no hay nada pa-
recido. Podemos definir relaciones de orden en C, pero no hay ninguna de ellas que sea
compatible con la estructura algebraica. En efecto, si suponemos que 6 es una relacin de
orden en C compatible con su estructura algebraica, como i 6= 0 habra de ser 0 < i 2 = 1
(esto todava no es contradictorio porque pudiera ocurrir que la relacin 6 no respetara el
orden de R). Pero tambin 0 < 12 = 1, luego 0 < 1 + (1) = 0 y eso s que es contradictorio.
Es usual interpretar el nmero complejo x + iy como el vector del plano (x, y) y, en ese
sentido, se habla del plano complejo. El eje horizontal recibe el nombre de eje real, y el eje
vertical recibe el nombre de eje imaginario.
y z = x + iy
|z|
z = x i y
q
Observa que x2 + y2 est definido sin ambigedad; es la raz cuadrada del nmero real
no negativo x2 + y2 .
La representacin grfica de la suma puede verse en la figura 1.2. Dos nmeros com-
plejos z = x + iy y w = u + iv determinan un paralelogramo cuya diagonal es z + w.
z+w
u x x+u
|z| = Re z z R+o .
a) Basta observar que |z w| y |z | |w| son nmeros no negativos cuyos cuadrados coinciden,
pues
|z w|2 = z wz w = z wz w = z z w w = |z |2 |w|2 = (|z | |w|)2
La desigualdad
|z + w| 6 |z | + |w| (z, w C) (1.2)
se llama desigualdad triangular y se generaliza fcilmente por induccin a n sumandos.
X
n X n
z 6 z j
j
j=1 j=1
El uso de coordenadas polares en el plano facilita mucho los clculos con productos
de nmeros complejos. Para cualquier nmero complejo z = x + iy 6= 0 podemos escribir
x y
z = |z | +i
|z | |z |
x y
Como , es un punto de la circunferencia unidad, puede escribirse en la forma
|z | |z |
x y
, = (cos , sen )
|z | |z |
para algn nmero R. Resulta as que
z = |z | (cos + i sen )
Esta forma de expresar un nmero complejo recibe el nombre de forma polar o forma
mdulo-argumento cuya interpretacin grfica vemos en la figura 1.3.
|z|
Observa que
( )
cos(t) = cos(s)
s, t Arg(z) s = t + 2k para algn k Z
sin(t) = sin(s)
Es claro que dos nmeros complejos no nulos, z, w, son iguales si, y slo si, tienen el
mismo mdulo y Arg z = Arg w.
De entre todos los argumentos de un nmero complejo z 6= 0 hay uno nico que se
encuentra en el intervalo ] , ], se representa por arg(z) y viene dado por
Im z
arg(z) = 2 arc tg / R
si z
Re z + |z |
arg(z) = si z R
La comprobacin de las anteriores afirmaciones es fcil. Como /2 < arc tgt < /2, se
sigue que < arg(z) 6 . Si z = t R es evidente que z = |t| (cos + i sen). Y para z
/ R
se tiene:
1 tg2 (arg(z)/2) (|z | + Rez)2 (Im z)2 2 Re z(|z | + Re z) Re z
cos(arg(z)) = = = =
1 + tg2 (arg(z)/2) (|z | + Rez)2 + (Im z)2 2 |z | (|z | + Rez) |z |
Esta ltima forma es la que se usa con ms frecuencia para los clculos.
Fjate que si tomas un nmero complejo z = x + iy que est situado en el tercer cua-
drante (x < 0, y < 0) y supones que y es prximo a 0, su argumento principal est prximo
a , y si tomas un nmero complejo que est situado en el segundo cuadrante, w = x + iv
con x < 0, v > 0, y supones que v es prximo a 0, su argumento principal est prximo a
. Adems, la distancia |w z| = |v y| = v y es tan pequea como quieras. Esto nos dice
que el argumento principal tiene una discontinuidad en el eje real negativo: salta de a
cuando atravesamos dicho eje desde el tercer al segundo cuadrante.
Peor todava dirs. Hasta cierto punto. Primero, la discontinuidad es inevitable. Si que-
remos elegir argumentos en un intervalo de longitud 2, digamos [, + 2[, entonces
dichos argumentos saltan de a + 2 cuando atravesamos la semirrecta de ecuacin
(x, y) = (cos , sen ), ( > 0). En particular, si tomamos argumentos en el intervalo [0, 2[
(cosa que, a primera vista, parece lo razonable) nos encontramos con que entonces se
produce una discontinuidad de dichos argumentos en el eje real positivo. Bien, sucede
que la extensin a C de algunas funciones definidas en R+ (el logaritmo, las races) hace
intervenir el argumento principal. Naturalmente, queremos que dichas extensiones sigan
siendo continuas en R+ y ello justifica que tengamos que tomar argumentos principales
de la forma en que lo hemos hecho: porque preferimos introducir una discontinuidad en
R a perder la continuidad en R+ .
Veamos cmo la forma polar permite hacer fcilmente productos de nmeros com-
plejos. Consideremos dos nmeros complejos no nulos
z = |z | (cos + i sen )
w = |w| (cos + i sen )
Entonces
zw = |z | |w| (cos + i sen )(cos + i sen ) =
= |zw| [(cos cos sen sen ) + i(sen cos + cos sen )] =
= |zw| (cos ( + ) + i sen ( + ))
Es decir: para multiplicar dos nmeros complejos se multiplican sus mdulos y se su-
man sus argumentos. Por ejemplo, para calcular (1 + i)4 como |1 + i| = 2 y arg(1 + i) = /4,
se sigue que (1 + i)4 = 4.
Acabamos de ver que si Arg(z) y Arg(w), entonces + Arg(z w). Es ahora fcil
demostrar mediante induccin la siguiente frmula, muy til, conocida como frmula de
De Moivre. Observa tambin que si Arg(z) entonces Arg(1/z).
es decir, arg(z) + arg(w) = arg(zw) + 2kn. Como n > 2 y 2 < arg(z) + arg(w) 6 2, deduci-
mos que ha de ser k = 0 (pues, en otro caso, |2kn| > 4 y no puede darse la igualdad). Lue-
go, debe ocurrir que arg(z)+ arg(w) = arg(z w) lo que equivale a que < arg(z)+ arg(w) 6 .
Hemos probado que
n
z n w = n zw < arg(z) + arg(w) 6
z
Ejercicio resuelto 1 Calcula la parte real e imaginaria de donde z C \ {i, i}.
1 + z2
Solucin.
Todo lo que hay que hacer es realizar las operaciones indicadas. Pongamos para ello
z = x + iy con x, y R. Tenemos que
z x iy x iy (x iy)(1 + x 2 y 2 2xyi)
= = = =
1 + z 2 1 + (x + iy)2 1 + x 2 y 2 + 2xyi (1 + x 2 y 2)2 + 4x 2y 2
x + x3 3xy 2 + i(y 3x 2y + y3) x + x3 3xy 2 y 3x 2y + y3
= 2 2 2 2
= 2 2 2 2
+i
2
(1 + x y ) + 4x y 2
(1 + x y ) + 4x y (1 + x 2 y 2)2 + 4x 2y 2
Luego
z x + x3 3xy 2 z y 3x 2y + y3
Re = , Im =
1 + z2 (1 + x 2 y 2 )2 + 4x 2 y 2 1 + z2 (1 + x 2 y 2 )2 + 4x 2 y 2
,
(2 + i5)(1 + i3)3
Ejercicio resuelto 2 Calcula .
5+i 3
Solucin.
Como lo que nos piden es el mdulo no es preciso realizar las operaciones indi-
cadas. Basta tener en cuenta que el mdulo de un producto es el producto de los
,
2z i
Ejercicio resuelto 3 Calcula los nmeros complejos z tales que w = es
2 + iz
a) Un nmero real;
b) Un nmero imaginario puro.
Solucin.
Pongamos z = x + iy con x, y R. Tenemos que
2z i 2x + i(2y 1) (2x + i(2y 1))(2 y ix) 3x + i(2x 2 2y 2 + 5y 2)
w= = = =
2 + iz 2 y + ix (2 y)2 + x 2 (2 y)2 + x 2
Por tanto, w es real si, y slo si
2x 2 2y 2 + 5y 2 = 0 x 2 + (y 5/4)2 = 9/16
Es decir, z est en la circunferencia de centro (0, 5/4) y radio 3/4.
Anlogamente, w es imaginario puro si, y slo si, x = 0, es decir, z est en el eje ima-
ginario. ,
z1i
Ejercicio resuelto 4 Calcula los nmeros complejos z tales que w =
z+1+i
a) Es un nmero real;
b) Tiene mdulo 1.
Solucin.
Pongamos z = x + iy con x, y R. Tenemos que
z 1 i x 1 + i(y 1) x 1 + i(y 1) x + 1 i(y + 1) x 2 + y 2 2 + i(2y 2x)
w= = = 2 2
=
z + 1 + i x + 1 + i(y + 1) (x + 1) + (y + 1) (x + 1)2 + (y + 1)2
Por tanto, w es real si, y slo si, y = x 6= 1, es decir, z est en la bisectriz de los
cuadrantes primero y tercero y z 6= (1 + i).
Es claro que |w| = 1 si, y slo si
|z 1 i| = |z + 1 + i| (x 1)2 + (y 1)2 = (x + 1)2 + (y + 1)2 x + y = 0
Es decir, z est en la bisectriz de los cuadrantes segundo y cuarto. ,
Ejercicio resuelto 5 Comprueba que el argumento principal de z = x + iy 6= 0 viene dado
por
arc tg(y/x) si y < 0, x < 0
/2 si y < 0, x = 0
= arc tg(y/x) si x > 0
/2 si y > 0, x = 0
arc tg(y/x) + si y > 0, x < 0
Solucin.
Teniendo en cuenta que para t < 0 es /2 < arc tgt < 0 y para 0 6 t es 0 6 arc tgt < /2,
se sigue que el nmero definido por las igualdades anteriores verifica que
< 6 . Por tanto, para probar que = arg(z) bastar que comprobemos la igual-
dad z = |z | (cos + i sen ), es decir, las igualdades x = |z | cos , y = |z | sen .
Para = , = /2 y = /2 dichas igualdades son evidentes.
Consideremos x > 0 en cuyo caso = arc tg(y/x). En este caso, como /2 < < /2,
tenemos que tg = y/x y deducimos
1 y2 x2 + y2
= 1 + tg2 = 1 + 2 = = x 2 = (x 2 + y 2) cos2 = x = |z | cos
cos
2 x x2
donde, en la ltima implicacin, hemos tenido en cuenta que x > 0 y cos > 0. De-
ducimos tambin que
x
y = x tg = sen = |z | sen
cos
Consideremos x < 0 e y > 0. Tenemos que /2 < = arc tg(y/x) + < , por lo que
/2 < < 0, y deducimos tg = tg( ) = y/x. Razonando como antes obte-
nemos que x 2 = (x 2 + y 2 ) cos2 . Como x < 0 y cos < 0, se sigue que x = |z | cos . De
esta igualdad deducimos, al igual que antes, que y = |z | sen .
Consideremos x < 0 e y < 0. Tenemos que < = arc tg(y/x) < /2, por lo
que 0 < + < /2, y deducimos tg = tg( + ) = y/x. Razonando como en el caso
anterior volvemos a obtener las igualdades x = |z | cos , y = |z | sen . ,
Ejercicio resuelto 6 Expresa en forma polar los siguientes nmeros complejos.
3+i 1
a) 1 + i b) c)
1+i 1 + i 3
Solucin.
a) Tenemos que arg(1 + i) = arc tg(1) + = 3/4, por lo que
1 + i = 2 cos(3/4) + i sen(3/4)
b) Tenemos que
arg( 3 + i) = arc tg(1/ 3) + = arc tg(1/ 3) + = /6 + = 5/6
1
arg(1 + i) = arc tg(1) = /4 = arg = /4
1+i
!
5 7 3+i
deducimos que = Arg . Por tanto
6 4 12 1+i
3+i
= 2 cos(7/12) + i sen(7/12)
1+i
c) Tenemos que i 3) = arc tg( 3) + = arc tg( 3) + = /3 + = 2/3,
arg(1 +
1
por lo que arg = 2/3. Por tanto
1 + i 3
1 1
= cos(2/3) + i sen(2/3)
1 + i 3 2
,
z
Ejercicio resuelto 7 Calcula arg(z w) y arg supuestos conocidos arg z y arg w.
w
Solucin.
Sabemos que arg z + arg w Arg(z w); adems 2 < arg z + arg w 6 2. Tenemos las
siguientes posibilidades:
2x 2 + 2y 2 5x + 2 = 0 (x 5/4)2 + y 2 = 9/16
Tenemos que
b c b 2 c b2
az2 + bz + c = 0 z 2 + z + = 0 z + + 2 =0
a a 2a a 4a
2 2
b b 4ac
z + =0
2a 4a 2
" p 2 # " p 2 #
b b 4ac b b 4ac
z+ z+ + =0
2a 2a 2a 2a
p
b + b2 4ac
z =
2a
p
2
z = b b 4ac
2a
a) ||z| |w|| 6 |z w|
1 z w
b) |z + w| > (|z| + |w|) +
2 |z| |w|
donde z, w son nmeros complejos no nulos. Estudia tambin cundo se da la igual-
dad en cada una de dichas desigualdades.
Solucin. Una estrategia bsica para probar desigualdades entre mdulos de nme-
ros complejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
2 2
Ejercicio resuelto 13 Sean n N, n > 2, y w = cos + i sen . Dado un nmero entero,
n n
m Z, calcula el valor de las expresiones:
a) 1 + wm + w2m + + w(n1)m ;
b) 1 wm + w2m + (1)n1w(n1)m .
Ejercicio resuelto 14 Sea x un nmero real que no es mltiplo entero de 2. Prueba las
igualdades
n+1
n sen x
2
a) 1 + cosx + cos2x + + cosnx = cos x x
2 sen
2
n+1
n sen x
2
b) sen x + sen 2x + + sen nx = sen x x
2 sen
2
Solucin. Si llamamos A a la primera suma y B a la segunda, podemos calcular
A + iB haciendo uso de la frmula de De Moivre.
Ejercicio resuelto 15 Dados dos nmeros complejos distintos a, b C, justifica que pa-
za
ra z 6= b el nmero es real si, y slo si, z est en la recta que pasa por a y por b;
zb
y es real negativo si, y slo si, z est en el segmento que une a con b.
Ejercicio resuelto 18 Indica condiciones que deben cumplir los nmeros complejos a,
b y c para que las races de la ecuacin az 2 + bz + c = 0 formen con el origen un
tringulo equiltero.
1+z
4. Calcula los nmeros complejos z 6= 1 tales que es:
1z
a) Un nmero real; b) Un nmero imaginario puro.
12. Dados dos nmeros complejos a y b, calcula el mnimo valor para z C de la canti-
dad |z a|2 + |z b|2.
Sugerencia: La igualdad del paralelogramo puede ser til.
za
13. Prueba que < 1 si, y slo si, |z | < 1 y |a| < 1 o bien |z | > 1 y |a| > 1.
1 az
14. Justifica que si z1 , z2 , . . . , zn son nmeros complejos de mdulo 1 y tales que
|z1 + z2 + + zn | = n
15. Estudia para cada una de las igualdades siguientes si hay algn nmero complejo
z C con |z| = 1 que la verifica:
22. Prueba que tres nmeros complejos a, b, c son los vrtices de un tringulo equiltero
si, y slo si, verifican la igualdad a 2 + b 2 + c 2 = a b + b c + c a.
23. Indica condiciones que deben cumplir los nmeros complejos a y b para que las
races de la ecuacin z3 + az 2 + bz + c = 0 formen un tringulo equiltero.
24. Sean A, B,C, D nmeros reales tales que A2 + B2 + C2 > D2 . Prueba que la ecuacin:
Como conjunto, C, no es otra cosa que R2 , por tanto, dar una topologa en C es lo
mismo que dar una topologa en R2 . Pues bien, consideraremos en C la topologa usual
en R2 , es decir, la asociada a la norma eucldea. Escribiendo la norma en trminos de C,
sta viene dada por
|z| = z z
D(a, r) = {z C : |z a| < r}
se llama disco abierto de centro a y radio r. Observa que un disco abierto no puede ser
vaco. Por convenio pondremos D(a, +) = C.
D(a, r) = {z C : |z a| 6 r}
Se dice que un conjunto A C est acotado si est contenido en algn disco centrado
en el origen, es decir, si existe M R+ tal que |z | 6 M para todo z A.
Un conjunto abierto no vaco con la propiedad de que dos puntos cualesquiera del
mismo pueden unirse por una curva sin salirse del conjunto se llama un dominio. Una
definicin equivalente aunque menos intuitiva de dominio es la siguiente. Un dominio
es un conjunto abierto no vaco, , cuya nica descomposicin en la forma = A B,
donde A y B son conjuntos abiertos disjuntos, es la trivial, es decir, {A, B} = {, }. Como
ya debes saber, en C todo conjunto abierto no vaco es unin numerable de dominios
disjuntos (sus componentes conexas).
(c) Toda sucesin de puntos de K tiene alguna sucesin parcial que converge a un
punto de K.
Una sucesin de nmeros complejos es una aplicacin del conjunto de los nme-
ros naturales en C. Como de costumbre, representaremos por {z n } la sucesin dada por
n 7 z n donde z n C. La definicin de sucesin convergente es exactamente la misma que
para sucesiones reales.
Observa que {zn } z si, y slo si, |z n z| 0. Teniendo en cuenta la desigualdad (1.1)
tenemos que )
|Re z n Re z|
6 |z n z| 6 |Re z n Rez| + |Im z n Imz|
|Im z n Im z|
Deducimos que |z n z| 0 si, y slo si, |Re z n Re z| 0 y |Im z n Im z| 0. Hemos pro-
bado as el siguiente resultado.
1.4 Proposicin. Una sucesin de nmeros complejos {z n } es convergente si, y slo si,
las sucesiones de nmeros reales {Re z n } y {Im z n } son convergentes. Adems en dicho
caso
lm{z n } = z Re z = lm{Re z n } y Im z = lm{Im z n }
Supongamos que {z n } es una sucesin tal que para todo K > 0 existe un nmero natu-
ral n0 N de forma que si n > n0 entonces |z n | > K. En dicho caso diremos que la sucesin
{z n } es divergente o que diverge y escribiremos {z n } . Observa que {z n } es lo
mismo que {|z n |} +.
Los resultados que conoces para sucesiones de nmeros reales en los que no inter-
viene el orden son tambin vlidos para sucesiones de nmeros complejos. Destacamos
entre ellos los ms importantes.
1.6 Definicin. Una sucesin de nmeros complejos {z n } se dice que es de Cauchy si para
cada nmero > 0 existe un nmero natural n0 N de forma que si p, q > n0 entonces
z p zq <
Recuerda que una sucesin parcial de una sucesin {zn } es cualquier sucesin de la
forma {z(n) } donde : N N es una aplicacin estrictamente creciente. Si {zn } z, en-
tonces cualquier sucesin parcial de {zn } tambin converge a z.
Teniendo en cuenta que {z n } es una sucesin acotada si, y slo si, {Re z n } y {Im z n }
son acotadas y que toda sucesin acotada de nmeros reales tiene una sucesin parcial
convergente, se deduce fcilmente el siguiente resultado.
Dada una sucesin, {zn }, podemos formar a partir de ella otra sucesin, {Sn }, cuyos
trminos se obtienen sumando consecutivamente los trminos de {zn }, es decir:
S1 = z1 , S2 = z1 + z 2 , S3 = z1 + z 2 + z3 , . . . , Sn = z1 + z 2 + + z n , . . .
La sucesin {S
Xn } as obtenida se llama serie de trmino general z n y es costumbre repre-
P
sentarla por z n o, ms sencillamente, z n .
n >1
Ni que decir tiene que, siendo las series sucesiones, todos los conceptos y resultados
estudiados ya para sucesiones conservan su misma significacin cuando se aplican a series.
En particular, es innecesario volver a definir qu se entiende cuando se dice que una
X X
serie es convergente. Si una serie z n es convergente se usa el smbolo z n para
n >1 n=1
X
representar el lmite de la serie que suele llamarse suma de la serie. Naturalmente zn
n=1
es el nmero complejo definido por
X n
X
z n = lm{Sn } = lm zk
n
n=1 k=1
X
Como caso particular de la proposicin 1.4, la serie zn converge si, y slo si, las series
n >1
X X X X
Re zn = Re z n y Im zn = Im z n
n >1 n >1 n >1 n >1
son convergentes.
P
1.9 Proposicin. Condicin necesaria para que la serie z n converja es que {zn } 0.
Para las series es posible definir otro tipo de convergencia, la convergencia absoluta.
P
1.10 Definicin. Se dice que una serie de nmeros complejos n>1 z n converge absoluta-
P
mente si la serie de trminos positivos n>1 |z n | es convergente.
P
1.11 Proposicin. Si una serie de nmeros complejos z n es absolutamente conver-
gente entonces dicha serie tambin es convergente.
n
X n
X
Demostracin. Pongamos Sn = z j , An = |z j | y supongamos que la sucesin {An } es
P j=1 j=1
convergente, es decir, z n es absolutamente convergente. Dado > 0, la condicin de
Cauchy para {An } nos dice que existe n0 N tal que
q
X
|zk | = Aq A p < para cualesquiera p, q N tales que q > p > n0
k=p+1
Deducimos que para cualesquiera p, q N tales que q > p > no se verifica que
q
X
Sq S p = z p+1 + z p+2 + + zq | 6 |zk | <
k=p+1
P
Lo que prueba que la sucesin {Sn }, es decir, la serie z n cumple la condicin de Cauchy
y, por tanto, es convergente. X
X
1.12 Teorema de Riemann. La serie z n converge absolutamente si, y slo si, para
n >1
X
toda biyeccin : N N la serie z(n) es convergente. Adems, en tal caso se verifica
n >1
que
X
X
zn = z(n)
n=1 n=1
Naturalmente, puedes usar los criterios de convergencia para series de nmeros reales
positivos, que ya debes conocer, para estudiar la convergencia absoluta de una serie de
nmeros complejos. Pero, qu hacer cuando una serie no es absolutamente convergen-
te? Naturalmente, podemos intentar comprobar si la serie verifica la condicin de Cau-
chy, pero este procedimiento con frecuencia es difcil. Pues bien, los criterios que vamos
a estudiar a continuacin proporcionan informacin sobre la convergencia no absolu-
ta. Probaremos, en primer lugar, una igualdad de la que se deducen con facilidad dichos
criterios.
1.13 Proposicin. (Suma por partes) Dadas dos sucesiones de nmeros complejos {an }
k
X
y {bn }, pongamos Ak = a j . Para todo n N se verifica entonces que:
j=1
n
X n
X
ak bk = Ak (bk bk+1 ) + Anbn+1 (1.5)
k=1 k=1
1.14 Criterio general de Dirichlet. Sean {an } y {bn } sucesiones de nmeros complejos
y supongamos que:
X
i) La serie an tiene sumas parciales acotadas, es decir, existe un nmero M > 0 tal
n >1
que para todo n N es a1 + a2 + + an 6 M.
X
ii) La serie |bn bn+1| es convergente.
n >1
iii) {bn } 0 .
X
Se verifica entonces que la serie an bn es convergente.
n >1
1.15 Criterio general de Abel. Sean {an } y {bn } sucesiones de nmeros complejos y su-
pongamos que:
X
i) La serie an es convergente.
n >1
X
ii) La serie |bn bn+1| es convergente.
n >1
X
Se verifica entonces que la serie an bn es convergente.
n >1
X
Demostracin. La hiptesis i) nos dice que la sucesin {An }= an es convergente; en
n >1
n
X
particular est acotada, por lo que, al igual que antes, deducimos que Ak (bk bk+1 ) es
X k=1
una sucesin convergente. Adems, ii) implica que la serie (bn bn+1 ) es convergente
n >1
n
X
y, como dicha serie es la sucesin (b j b j+1 ) = {b1 bn+1} , obtenemos que {bn } es
j=1
convergente. Resulta as que la sucesin An bn+1 converge por ser producto de suce-
X
siones convergentes y, en virtud de la igualdad (1.5), deducimos que la serie an bn es
n >1
convergente. X
1.17 Criterio particular de Dirichlet. Sea {an } una sucesin de nmeros complejos,
{bn } una sucesin de nmeros reales y supongamos que:
X
i) La serie an tiene sumas parciales acotadas, es decir, existe un nmero M > 0 tal
n >1
que para todo n N es a1 + a2 + + an 6 M.
1.18 Criterio particular de Abel. Sean {an } una sucesin de nmeros complejos, {bn }
una sucesin de nmeros reales y supongamos que:
X
i) La serie an es convergente.
n >1
Ejercicio resuelto 19 Sea {zn } una sucesin de complejos no nulos y para n N sea n
Arg(zn ). Supongamos que {n } y {|zn |} . Justifica que {zn } (cos + i sen ).
!n
2 + i 3
Ejercicio resuelto 20 Calcula el lmite de la sucesin zn = 1 + .
n
Sugerencia: Expresa zn = |zn | (cos n + i sen n ) y usa el ejercicio anterior.
Ejercicio resuelto 21 Prueba que la sucesin {zn } dada, para todo n N, por:
n
Y
i
zn = 1+ ,
k
k=1
tiene como valores de adherencia todos los puntos de una cierta circunferencia.
Recuerda que, dada una sucesin de nmeros complejos, {zn }, se dice que un n-
mero complejo, w, es un valor de adherencia de dicha sucesin, si hay alguna suce-
sin parcial, {z (n) }, que converge a w.
X
Ejercicio resuelto 22 La serie zn tiene la propiedad de que las cuatro partes suyas
n >1
formadas por los trminos pertenecientes a un mismo cuadrante cerrado del plano
convergen. Demustrese que dicha serie es absolutamente convergente.
X (2 + i)n 1
(b) .
(1 + 2i)n n
n >1
26. Sea {zn } una sucesin de nmeros complejos no nulos que converge a un nmero
complejo no nulo z, y sea Arg(z). Prueba que hay una sucesin {n } tal que para
todo n N es n Arg(zn ) y {n } .
Sugerencia: Considera en primer lugar el caso en que z = 1.
n
27. Calcula el lmite de la sucesin zn = n 2 cos + i sen 1 .
2n 2n
Sugerencia: Recuerda que el lmite de la sucesin n 2 1 es bien conocido.
n
28. Sea z C, con |z| = 1, z 6= 1. Prueba que la sucesin {z n } no converge (qu pasa si
supones que converge?). Deduce que si es un nmero real que no es un mltiplo
entero de , las sucesiones {cos(n)} y {sen(n)} no convergen.
29. Prueba que {zn } si, y slo si, {zn } no tiene ningn valor de adherencia en C.
X
X
31. Sea R con || < 1 y R. Calcula los lmites cos(n ) y
n
n sen(n ).
n=0 n=0
X
32. Prueba que si la serie zn converge y hay un nmero 0 < < tal que para todo
2
n >1
n N se verifica que |arg(zn )| < , entonces dicha serie converge absolutamente.
X X
33. Supn que las series zn y zn2 son convergentes y que Re(zn ) > 0 para todo n N.
n >1 n >1
X
Prueba que |zn es convergente.
|2
n >1
se prueba fcilmente que una funcin compleja f es continua en a si, y slo si, las funcio-
nes Re f y Im f son continuas en a.
Si A no est acotado, se dice que f : A C tiene lmite infinito en infinito si para todo
M > 0 existe K > 0 tal que si zA y |z | > K entonces | f (z)| > M. Simblicamente escribimos
lm f (z) = .
z
Observa que hay una completa analoga formal entre las definiciones anteriores y las
correspondientes para funciones reales de una variable real. Por ello, las reglas de clculo
de lmites conocidas para funciones de una variable real son tambin vlidas, con las
mismas demostraciones, para funciones de variable compleja.
Observa que hay una completa analoga formal entre el concepto de funcin deriva-
ble para funciones de variable compleja y para funciones reales de una variable real. Por
ello, las reglas de derivacin conocidas para funciones de una variable real son tambin
vlidas, con las mismas demostraciones, para funciones de variable compleja.
g(w) g(b)
(w) = w B \ {b}
wb
(b) = g (b)
Puesto que g es derivable en b, es continua en b. Ahora bien, ntese que para todo
z A \ {a} se tiene que
h(z) h(a) g f (z) g f (a) f (z) f (a)
= = f (z)
za za za
de donde se deduce el resultado sin ms que tomar lmite para z a.
u v
(, ) = (, )
x y
u v
(, ) = (, )
y x
u v
f (a) = (, ) + i (, )
x x
y el hecho de que el mdulo de un complejo coincide con la norma eucldea (visto como
vector en R2 ), el lmite anterior se escribe como sigue:
" ! !#t
u(x, y), v(x, y) u(, ), v(, ) x
y
lm = 0.
(x,y)(,) k(x, y) (, )k
La condicin anterior quiere decir que la aplicacin (x, y) 7 (u(x, y), v(x, y)) de R2 en
R2 es diferenciable en el punto (, ) y su diferencial es la aplicacin lineal dada por
" ! !#t
x
(x, y) 7
y
!
Por tanto es la matriz jacobiana de la aplicacin (x, y) 7 (u(x, y), v(x, y)) en
(, ), esto es
u u v v
(, ) = , (, ) = , (, ) = , (, ) =
x y x y
Finalmente
u v
f (a) = f ( + i ) = + i = (, ) + i (, )
x x
X
Observaciones
Este resultado explica por qu si eliges dos funciones u, v y defines una funcin com-
pleja por la igualdad f (x + iy) = u(x, y) + iv(x, y), lo ms probable es que, a pesar de lo bue-
nas que puedan ser las funciones u y v, la funcin f as definida no sea derivable pues las
funciones u y v no tienen por qu verificar las ecuaciones de Cauchy-Riemann. Esto in-
dica (aunque esta es una idea difcil de precisar) que las funciones complejas derivables
son autnticas funciones complejas en el sentido de que si la funcin u(x, y) + iv(x, y) es
derivable entonces la expresin que se obtiene al sustituir en u(x, y) + iv(x, y) la variable x
por (z + z)/2 e y por (z z)/2i debe depender nicamente de la variable z. Para formalizar
esta idea pongamos
z+z zz z+z zz
f (z) = u , + iv ,
2 2i 2 2i
Para que la funcin f (z) definida por esta igualdad dependa solamente de z y no dependa
de z es necesario que se verifique que
u v
x = y
f 1 u 1 u 1 v 1 v
= +i i = 0
z 2 x 2i y 2 x 2i y
u v
=
y x
1.25 Ejemplos.
Era costumbre hace aos llamar funciones enteras a las funciones polinmicas. Pre-
cisamente, la palabra holomorfa significa de forma entera, y veremos que efectiva-
mente las funciones holomorfas se comportan en algunos aspectos de forma parecida a
las funciones polinmicas.
1.27 Ejemplos.
p(z) = c0 + c1 z + c2z2 + + cn zn
p(z)
Las funciones racionales, es decir, las funciones de la forma R(z) = donde p(z)
q(z)
y q(z) son funciones polinmicas, son holomorfas en su dominio natural de defini-
cin = {z C : q(z) 6= 0}. La funcin derivada de R viene dada por
1.29 Proposicin. Una funcin holomorfa en un dominio cuya derivada es nula en to-
do punto es constante.
1.30 Corolario. Si dos funciones holomorfas tienen la misma derivada sobre un domi-
nio y coinciden en un punto son iguales.
(a) Re f es constante en
(b) Im f es constante en
(d) f es constante en
(e) | f | es constante en
u u
f (z) = f (x + iy) = (x, y) i (x, y) (z = x + iy )
x y
u u
Puesto que Re f es constante tenemos (x, y) = (x, y) = 0 lo que implica que f (z) = 0
x y
para todo z de donde deducimos (d) gracias a la proposicin anterior.
(b)(d) Puesto que Im f = Re(i f ) la implicacin (a)(d) ya probada nos dice que la
funcin i f es constante y, por lo tanto, f tambin lo es.
Observemos que estas propiedades de las funciones holomorfas estn muy lejos de
ser ciertas para funciones reales diferenciables. Por ejemplo, dada una funcin de R2 en
R2 diferenciable que no se anule nunca, dividindola por su norma obtenemos una fun-
cin diferenciable cuyo mdulo es constante.
Hasta ahora slo conocemos como ejemplos de funciones holomorfas los polinomios
y las funciones racionales. Si queremos construir ms ejemplos ya no encontraremos ms
por mtodos elementales. Veamos ahora cmo construir funciones holomorfas como l-
mite uniforme de funciones polinmicas.
x3 (1 + i) y3(1 i)
f (z) = si z = x + i y 6= 0, f (0) = 0
x2 + y2
entonces f o f es derivable en z0 .
z2
36. Consideremos la funcin dada para z 6= 0 por f (z) = , y f (0) = 0. En qu puntos
z
verifica f las ecuaciones de Cauchy-Riemann? Es f derivable en z = 0?.
38. Sea un dominio y f una funcin holomorfa en . Supongamos que hay nmeros
a, b, c R con a2 + b2 > 0, tales que a Re f (z) + b Im f (z) = c para todo z . Prueba
que f es constante en .
39. Encuentra una condicin necesaria y suficiente que deben cumplir los nmeros
reales a, b, c para que exista una funcin f H (C), verificando que
40. Sea f (x + iy) = u(x, y) + i v(x, y) una funcin holomorfa con derivada no nula. Prueba
que las curvas de nivel u(x, y) = c, v(x, y) = k son dos familias de trayectorias ortogo-
nales.
Una sucesin de funciones, como su nombre indica, es una sucesin cuyos elementos
son funciones. Formalmente, es una aplicacin que a cada nmero natural le asigna una
funcin, en nuestro caso una funcin compleja.
C = {z A : { fn (z)} converge}
es decir, para todo > 0 existe un nmero n0 N tal que para todo n > n0 se verifica
que | fn (z) f (z)| 6 para todo z B.
Dada una sucesin de funciones, { fn }, podemos formar a partir de ella otra sucesin,
{Fn }, cuyos trminos se obtienen sumando consecutivamente los de la primera, esto es:
F1 = f1 , F2 = f1 + f2 , F3 = f1 + f2 + f3 , . . . , Fn = f1 + f2 + + fn ,
Puesto que las series de funciones son sucesiones de funciones, los conceptos de con-
vergencia puntual, campo de convergencia puntual y convergencia uniforme para series
de funciones no precisan de nueva definicin. El siguiente resultado es de comprobacin
inmediata.
X
1.33 Proposicin. Condicin necesaria para que la serie fn converja puntualmente
n >1
(resp. uniformemente) en un conjunto A es que la sucesin { fn } converja puntualmente
(resp. uniformemente) a cero en A.
X
La serie fn se dice que converge absolutamente en un punto a A cuando la serie
n >1
X
de los mdulos, | fn (a)|, converge. Se define el campo de convergencia absoluta como
n >1
el conjunto X
zA: | fn (z)| converge
n >1
Al igual que para series de nmeros complejos la convergencia absoluta de una serie
de funciones implica convergencia pero no al contrario.
X
1.34 Criterio de Weierstrass. Sea fn una serie de funciones definidas en un conjunto
n >1
A C. Supongamos que hay una sucesin {n } de nmeros reales positivos tal que:
Demostracin. Por elX criterio de comparacin para series de trminos positivos (a) y (b)
implican que la serie | fn (z)| converge para z A.
n >1
p + p1 + + q+1 6
X
1.35 Proposicin. Sea {an } una sucesin numrica y fn una serie de funciones defi-
n >1
nidas en un conjunto A.
Criterio de Dirichlet. Supongamos que:
a) {an } es una
X sucesin de nmeros reales montona y convergente a cero.
b) La serie fn tiene sumas parciales uniformemente acotadas en A.
n >1
X
Entonces la serie de funciones an fn converge uniformemente en A.
n >1
Criterio deXAbel. Supongamos que:
a) La serie an es convergente.
n >1
b) Para cada z A { fn (z)} es una sucesin de nmeros reales montona y la sucesin de
funciones { fn } est uniformemente
X acotada en A.
Entonces la serie de funciones an fn converge uniformemente en A.
n >1
f0 (z) = c0
fn (z) = cn (z a)n n>1
1.36 Lema de Abel. Sea > 0 un nmero X positivo tal que la sucesin {cn } est aco-
n
n
tada. Entonces se verifica que la serie cn (z a) converge absolutamente en el disco
n >0
D(a, ) y converge uniformemente en compactos K D(a, ).
El lema anterior conduce de manera natural a considerar el ms grande > 0 tal que
la sucesin {cn n } est acotada. Introducimos para ello el conjunto
y definimos R = sup(A) R+
0 {+}. Pueden presentarse los casos:
1.37 Criterio del cociente o de DAlembert. Dada una sucesin de nmeros complejos
{cn } supuesto que
Demostracin. Para obtener este resultado basta aplicar el criterio del cociente a la serie
X
|cn (z a)n |. Tenemos
n >0
cn+1 (z a)n+1 cn+1
= |z a| L |z a|
|cn (z a)n| cn
Deducimos que:
p
1.38 Criterio de la raz o de Cauchy. Si { n |cn |} L R+
0 {+} entonces R = 1/L
con los mismos convenios anteriores.
Los criterios anteriores son en realidad bastante restrictivos. Por ejemplo ninguno de
ellos puede aplicarse para estudiar la convergencia de una serie de potencias cuyos coe-
ficientes vienen dados por c2n1 = 1/2n, c2n = 1/3n. El siguiente resultado proporciona
un mtodo general para calcular el radio de convergencia. Recuerda que si {xn } es una
1.39 Frmula
X de CauchyHadamard. El radio de convergencia R de una serie de po-
tencias cn (z a)n viene dado por
n >0
1
R= p
lm sup n |cn |
p
Demostracin. Llamemos L = lm sup{ n |cn |} R+ 0 {+}.
p
Supongamos que L = + lo que equivale a que n |cn | no est acotada. En tal caso
veamos que {cn n } no est acotada para ningn > 0. En caso contrario existiran M > 1
y > 0 tales que |cn | n 6 M para todo natural n. Luego
p n
M M
n
|cn | 6 6 para todo n N
p
y { n |cn |} estara acotada en contra de la hiptesis. Deducimos que R = 0.
Supongamos que L R+
0 . Vamos a probar las implicaciones
L < 1 A L 6 1
El siguiente lema nos dice que derivando trmino a trmino una serie de potencias
obtenemos otra serie de potencias con el mismo radio de convergencia que la serie de
partida.
X
Demostracin. La serie ncn (z a)n1 y
n >1
X X
(z a) ncn (z a)n1 = ncn (z a)n
n >1 n >1
convergen para los mismos valores de z y, por tanto, tienen igual radio de convergencia.
La frmula de CauchyHadamard nos dice que el radio de convergencia de dicha serie
viene dado por p
lm sup{ n n |cn |}
Para probar el resultado basta justificar la igualdad
p p
lm sup{ n n |cn |} = lm sup{ n |cn |}
Llamemos p p
bn = sup{ k |ck | : k > n} n = sup{ k k |ck | : k > n}
Teniendo en cuenta que la sucesin { n n} es decreciente, resulta que
bn 6 n 6 n
n bn
y como lm { n n} = 1, concluimos que lm n = lm bn . X
X
1.41 Teorema de derivacin de una serie de potencias. Sea a C, cn (z a)n una
n >0
serie de potencias no trivial y su dominio de convergencia. Sea f : C la funcin
suma de la serie, esto es,
X
f (z) = cn (z a)n z
n=0
f (k) (a)
ck = para todo k N {0}
k!
con lo que f (z) = g(z a). Luego si g es derivable tambin f es derivable y las derivadas de
f en a son las derivadas de g en 0.
X
Sea, pues, f (z) = cn z n para z . Tomemos un punto b y para z , z 6= b sea
n=0
f (z) f (b) X z n bn X
(z) = = cn = pn (z)
zb zb
n=1 n=1
n
X
donde pn (z) = cn zn j b j1. Lo que queremos probar es que dicho cociente tiene lmite
j=1
en b, esto es, que f es derivable en b.
Puesto que es un abierto podemos tomar D(b, ) para algn > 0. Para z D(b, )
se cumple que |z | 6 |b| + y, evidentemente, |b| 6 |b| + , con lo cual
X
Pero esto ltimo es claro ya que sabemos, por el lema anterior, que ncn wn1 tie-
n >1
X
ne el mismo radio de convergencia que cn w , y esta ltima converge en . Como el
n
n >0
disco D(b, ) est contenido en y en dicho disco hay puntos de mdulo igual a |b| +
b
(por ejemplo w0 = b + si b 6= 0, y w0 = si b = 0) y las series de potencias convergen
|b|
absolutamente en su dominio de convergencia, concluimos que la serie
X
n |cn | (|b| + )n1
n >1
es convergente.
X Ahora, por la desigualdad 1.6, el criterio de Weierstrass nos dice que la
serie pn converge uniformemente en el disco D(b, ) y, por tanto, la funcin suma de
n >1
dicha serie es continua en dicho disco. En particular tenemos que
X X X
f (z) f (b)
lm = lm (z) = lm pn (z) = pn (b) = ncn bn1
zb zb zb zb
n=1 n=1 n=1
Una sencilla induccin prueba que f tiene derivadas de todos los rdenes en y
X
f (k) (z) = n(n 1) (n k + 1)cnznk para todo z
n=k
f (k) (0)
ck = para todo k N {0}
k!
1.43 Corolario. Las nicas series de potencias no triviales son series de Taylor (de su
funcin suma).
En virtud del teorema anterior, deducimos que una funcin analtica f en es indefi-
nidamente derivable en y todas sus derivadas son tambin analticas. Adems se tiene
que
(b) f (n (b)
cn =
n!
Equivalentemente, una funcin f es analtica en un abierto si es indefinidamente deri-
vable en dicho abierto y para cada punto b la serie de Taylor de f en b converge y su
suma es igual a f en algn disco abierto centrado en b y contenido en .
El siguiente resultado es muy til para calcular la suma de una serie de potencias en
puntos de la frontera de su disco de convergencia.
P
1.45 Continuidad radial. Sea cn z n una serie de potencias con radio de convergencia
0 < R < +. Sea f : D(0, R) C la funcin suma de la serie y supongamos que la serie
es convergente en un punto z 0 de la frontera del disco D(0, R). Entonces se verifica que
X
lm f (rz 0 ) = cn zn0
r1
0<r<1 n=0
converge uniformemente para r [0, 1] y por tanto su suma es una funcin continua en
dicho intervalo y, en particular, es continua en r = 1, es decir
X
X
lm cn (r z0 )n = cn zn0
r1
0<r<1 n=0 n=0
X 1 2z i n
(z 6= 2i)
n 2 + iz
n >1
X X
Ejercicio resuelto 35 Los radios de convergencia de las series an z n , bn z n son res-
n >0 n >0
pectivamente R1 , R2 conX0 < R1 , R2 < +. XQu se puede decir de los radios de con-
vergencia de las series (an + bn )z n y an bn z n ?
n >0 n >0
X
Ejercicio resuelto 36 Sabiendo que el radio de convergencia de la serie cn z n es R,
n >0
0 < R < +, calcular el radio de convergencia de las series:
X X cn X X
a) nk cn z n (k N) b) z n c) ckn z n (k N) d) (1 + an)cn z n (a C)
n!
n >0 n >0 n >0 n >0
X 1 1
Ejercicio resuelto 38 Justifica que la serie an zn donde a3n =
, a23n = , y an = 0
n n
n >0
2ki
en otro caso, converge en todo punto del conjunto A = exp : m N, k Z
3m
(2k + 1)i
y no converge en ningn punto de B = exp : m N, k Z . Justifica
3m
que A y B son densos en la circunferencia unidad.
23n
X
Sugerencia: Calcula en cada caso ak zk .
k=1
1
Ejercicio resuelto 39 Expresa como suma de una serie de potencias.
(1 z)3
X
Ejercicio resuelto 40 Sea f (z) = cn zn una funcin inyectiva en D(0, 1). Prueba que,
n=0
X
para 0 < r < 1, el rea del conjunto A(r) = f (D(0, r)) es igual a n |cn |2 r2n .
n=1
z n
41. Calcula la funcin lmite puntual de la sucesin de funciones fn (z) = 1 + .
n
Sugerencia: escribe fn (z) = n cos n + i sen n .
1 zn
a) fn (z) = b) fn (z) =
1 + zn 1 + zn
X zn
46. Justifica que la serie converge uniformemente y absolutamente en todo
1 + z 2n
n >0
compacto contenido en D(0, 1) y en todo compacto contenido en {z C : |z | > 1}.
Casos particulares. a) Si para cada x {gn (x)} es una sucesin de nmeros reales
montona entonces la condicin ii) es consecuencia de iii).
b) Si {gn } es una sucesin de funciones constantes, es decir, {gn} = {an } donde {an }
es una sucesin montona convergente a cero de nmeros reales, entonces las con-
diciones ii) y iii) se verifican trivialmente en todo subconjunto de C.
X
ii) La sucesin de sumas parciales de la serie |g1 |+ |gn gn+1| est uniformemente
n >1
acotada en A.
P
Probar que la serie fn gn converge uniformemente en A.
P P
Indicacin: sea F = n=1 fn y Fn = nj=1 f j , entonces
p p
X X
fn+k gn+k = (Fn+k F)(gn+k gn+k+1) + (Fn+p F)gn+p+1 (Fn F)gn+1
k=1 k=1
Casos particulares. a) Si para cada x {gn (x)} es una sucesin de nmeros reales
montona y la sucesin {gn } est uniformemente acotada en A entonces se verifica
la condicin ii).
P P P P
b) Si fn es una serie de funciones constantes, es decir, fn = an donde an
es una serie convergente de nmeros complejos, entonces la condicin i) se verifica
trivialmente en todo subconjunto de C.
49. Teorema de Picard. Sea {an } una sucesin de nmeros reales decreciente a cero.
Para cada nmero ]0, 1[, sea A = {z C : |z| 6 1, |z 1| > }. Justifica que la serie
P n
an z converge uniformemente en A . Deduce que dicha serie converge en todo
punto de la circunferencia unidad salvo, eventualmente, en el punto 1.
X
52. Sea f (z) = zn! (|z| < 1). Dado z0 = exp( qp 2i) (pZ, qN), prueba que lm | f (z0 )| = +.
1
n=0 <1
1
54. Expresa como suma de una serie de potencias centrada en un punto a 6= 0 e indica
z
en dnde es vlida dicha igualdad.
X 1 n
exp(z) = z (z C)
n!
n=0
1.6.1.1. Propiedades
(2) exp(0) = 1
(3) exp(x) para x R coincide con la exponencial real, esto es, la exponencial compleja
extiende a la exponencial real. Esto justifica el uso de la notacin exp(z) = ez .
(4) Las propiedades (1) y (2) caracterizan a la funcin exponencial, esto es, si H (C) es
tal que (z) = (z) para cada z C y (0) = 1 entonces (z) = exp(z).
(6) Frmula de Euler: Dado t R se cumple exp(it) = cost + i sent. En particular tenemos
la igualdad
ei +1 = 0
Demostracin.
(1) Puesto que la exponencial est definida en trminos de una serie de potencias con-
vergente basta derivar trmino a trmino la serie para obtener la derivada de la expo-
nencial. As
X
n n1 X 1 X 1 n
exp (z) = z = zn1 = z = exp(z)
n! (n 1)! n!
n=1 n=1 n=0
luego h es constante, en particular, h(0) = h(a), es decir, (a) = exp(a). Puesto que a es
un nmero complejo arbitrario la igualdad es vlida para todo a C
X Xn 2n+1
X 1
1 1
exp(it) = (it)n = lm (it)k = lm (it)k =
n! n k! n k!
n=0 k=0 k=0
n n
!
X k
(1) 2k X k
(1) 2k+1
= lm t +i t =
n (2k)! (2k + 1)!
k=0 k=0
= cost + i sent
(10) Tomemos a C, por el teorema de adicin exp(z) = exp(a) exp(z a), esto es,
X
X
(z a)n ea
exp(z) = exp(a) = (z a)n
n! n!
n=0 n=0
para todo z C X
1. |ew | = |z |, esto es, eRe w = |z |, es decir, Re w = log |z | (logaritmo natural del nmero real
positivo |z |).
2. Arg(ew ) = Arg (z), esto es, Im wArg z y esto se cumple si, y slo si Im w = arg(z) + 2k,
con k Z.
Por tanto, existen infinitos nmeros complejos w que satisfacen la ecuacin ew = z. Cual-
quiera de ellos se llama un logaritmo de z. El conjunto de todos ellos lo representaremos
por Log z.
De entre todos ellos elegimos uno, llamado logaritmo principal, definido por
Observa que cualquier otro logaritmo de z es de la forma log z + i 2k para algn entero k.
Adems, para z R+ el logaritmo principal, log z, coincide con el logaritmo natural de z.
que es vlida para los logaritmos de los nmeros reales positivos, no es siempre cierta
para nmeros complejos. Por ejemplo:
2 5
log(1 + i 3) = log 2 + i , log( 3 + i) = log 2 + i
3 6
log((1 + i 3)( 3 + i)) = log(4i) = log 4 i
2
2 5 3
log 4 i 6= log 2 + i + log 2 + i = log 4 + i
2 3 6 2
Lo que est claro es que log z + logw Log(z w) , es decir, log z + log w es un logaritmo
de z w pero no tiene por qu ser el logaritmo principal de z w.
Cualquier funcin g : A C tal que g(z)Log f (z) para todo zA se llama un logarit-
mo de f en A. Cuando f es la identidad se dice simplemente que g es un logaritmo
en A.
Cualquier funcin : A R tal que (z) Arg f (z) para todo z A se llama un argu-
mento de f en A. Cuando f es la identidad se dice simplemente que es un argu-
mento en A.
En este curso estaremos interesados en el siguiente problema: Dada una funcin ho-
lomorfa que no se anula en un abierto , existen logaritmos holomorfos de f en ? Res-
puestas cada vez ms precisas de este problema se irn obteniendo a lo largo del curso.
El siguiente resultado nos dice que un logaritmo continuo de una funcin holomorfa
es automticamente un logaritmo holomorfo.
ez eb
(z) = z 6= b
zb
(b) = eb
Demostracin. Basta aplicar el resultado anterior para las funciones f (z) = z, g(z) = log z.
Puesto que el logaritmo principal es continuo en C \ Ro y f H (C) obtenemos que el
logaritmo principal es holomorfo en C \ Ro y su derivada viene dada para todo z C \ Ro
f (z) 1
por log (z) = = . X
f (z) z
Demostracin.
(a) (b) Si es un argumento continuo entonces la aplicacin g(z) = log | f (z)| + i (z) es
un logaritmo continuo de f .
e(z)+(z) = f (z) (z )
1.50 Proposicin. En cualquier disco que no contenga al origen hay logaritmos holo-
morfos. Concretamente, si a C , entonces en el disco D(a, |a|) hay logaritmos holomor-
fos.
Demostracin. El apartado (d) de la proposicin anterior (con f (z) = z) nos dice que de-
1 1
bemos buscar una primitiva de en D(a, |a|). Para ello vamos a expresar la funcin
z z
como suma de una serie de potencias centrada en a.
1 1 1 1 |z a|
= = = cuando < 1
z a+za a 1+ za |a|
a
n X
1X n za (1)n
= (1) = (z a)n
a a an+1
n=0 n=0
|z a|
La anterior igualdad es vlida cuando < 1, esto es, z D(a, |a|). Definimos la funcin
|a|
X (1)n
(z) = (z a)n+1 z D(a, |a|)
(n + 1)an+1
n=0
a |a|
|Im a|
D(a, |a|)
(z) (z)
Demostracin. Sea : A R otro argumento continuo en A. La funcin z 7
2
es continua en A y toma valores enteros. Como A es conexo concluimos que dicha funcin
es constante. X
lo que es contradictorio. X
Recuerda que dados dos nmeros reales a > 0 y b R, la potencia de base a y expo-
nente b se define como ab = eb log a . Ahora, dados a, b C, con a 6= 0, sabemos que hay
infinitos logaritmos de a, todos ellos son de la forma log a + i 2k, con k Z. Por ello, cual-
quier nmero complejo de la forma eb(log a+i 2k) donde k Z, es una potencia de base a y
exponente b. Representaremos por [ab ] el conjunto de todas ellas.
ab = eb log a
equivalentemente, puesto que la funcin exp es peridica de periodo 2i, cuando verifi-
que que
b log(zw) = b log z + b logw + 2ki, para algn k Z
Como caso particular, cuando z y w pertenecen al primer cuadrante sabemos que la igual-
dad log(zw) = log z + log w es cierta con lo cual lo anterior se cumple para k = 0. Por los
mismos motivos la igualdad (z b )c = zbc no es cierta en general.
Estas igualdades, vlidas para todo t R, tambin tienen sentido para nmeros comple-
jos. Por ello, para todo z C definimos el coseno y el seno complejos por:
Es inmediato que el seno y coseno complejos extienden a las funciones seno y coseno
reales.
Puesto que el coseno y el seno complejos estn definidos como combinacin de ex-
ponenciales, sus propiedades se deducen fcilmente a partir de las propiedades de la
exponencial.
para todo z C.
(7) Las funciones seno y coseno complejos no estn acotadas en C aunque s lo estn en
bandas horizontales de anchura acotada.
(8) Las funciones seno y coseno complejas no tienen ms ceros que los reales, esto es,
sen z = 0 si, y slo si, z es real de la forma k (k Z), y cos z = 0 si, y slo si, z es real de la
forma + k (k Z).
2
(5) Recordemos que el seno y coseno hiperblico estn definidos para todo x R por:
ex + ex ex ex
cosh x = senh x =
2 2
luego
ei(ix) + ei(ix) ex + ex
cos(ix) = = = cosh x
2 2
ei(ix) ei(ix) ex ex
sen(ix) = =i = i senh x
2i 2
(6) Sea z = x + iy un nmero complejo cualquiera. Usando la frmula de adicin (3)
tenemos
sen z = sen(x + iy) = sen x cos(iy) + cosx sen(iy) = (usando las igualdades (5))
= sen x cosh y + i cosx senh y
cos z = cos(x + iy) = cos x cos(iy) + sen x sen(iy) = (de nuevo usando (5))
= cos x cosh y i senx senh y
se deduce que |cos z| = 0 (equivalentemente cos z = 0) si, y slo si, cos x = 0 y senh y = 0.
Pero senh y = 0 slo en el caso en que y = 0. Con lo cual el coseno complejo se anula
en los puntos z = x + iy con y = 0, x = /2 + k con k Z. El razonamiento para el
seno es anlogo.
Por analoga con la tangente real definimos la funcin tangente compleja como
sen z
tg z = z C \ {/2 + k : k Z}
cos z
Puesto que el seno y el coseno son funciones enteras la tangente compleja es una funcin
holomorfa en su dominio de definicin C \ {z : cos z = 0} = C \ {/2 + k : k Z}.
Las propiedades de la tangente se deducen con facilidad de las propiedades del seno
y el coseno. Por ejemplo, puedes comprobar que
tg z + tg w
tg(z + w) =
1 tgz tg w
Dado un nmero complejo z C se trata de calcular los complejos w tales que cos w = z.
eiw + eiw
= z eiw + eiw 2z = 0
2
puesto que exp(w) 6= 0 para cualquier w, podemos multiplicar por eiw la expresin anterior
e2iw 2z eiw +1 = 0
1 p
Arccosz = Log(z i 1 z 2 )
i
1 p
arc cosz = log(z + i 1 z 2 )
i
Veamos que el arc cos z extiende al arcocoseno real. En efecto, para z = x [1, 1] tenemos
que:
1 p 1 p p
log(x + i 1 x 2) = log x + i 1 x 2 + i arg(x + i 1 x 2 ) =
i i
1 p p
= log 1 + i arg(x + i 1 x 2 ) = arg(x + i 1 x 2 )
i
p
Observemos que (x, 1 x 2 ) es un punto de la mitad superior dep la circunferencia uni-
dad y una medida del ngulo que forma el nmero complejo x + i 1 x 2 con el eje real
positivo es precisamente el arco cuyo cosenop es x. Adems, para x [1, 1] se tiene que
0 6 arc cos x 6 . Deducimos que arg(x + i 1 x 2 ) = arc cosx.
p
Teniendo en cuenta que 1 z 2 = exp( 12 log(1 z2 )), y que el logaritmo principal es
holomorfo en C \ Ro , deducimos, por la regla de la cadena, que la funcin z 7 1 z2 es
holomorfa en el conjunto
= z C : 1 z2 / Ro = C \ (] , 1] [1, +[)
Anlogamente log(z + i 1 z2 ) es derivable en el conjunto
n p o
1 = z C : z + i 1 z2
/ Ro
Como z + i 1 z2 y z i 1 z2 son inversos, tenemos que
( )
p p z R
z + i 1 z2 Ro z i 1 z2 Ro z ] , 1]
1 z2 i R
Dado un nmero complejo z queremos calcular los complejos w tales que sen w = z. El
conjunto de tales nmeros lo representaremos por Arcsen z. Aunque podemos repetir el
mismo proceso anterior, podemos aprovechar lo ya hecho y observar que
w
sen w = cos
2
1 p
luego sen w = z si, y slo si, w Log z i 1 z 2 . Es decir
2 i
p
Arcsen z = + i Log z i 1 z 2
2
El valor principal del arcoseno, que notaremos por arc sen z, se define eligiendo el loga-
ritmo principal:
p
arc sen z = + i log z + i 1 z 2 zC
2
y es una funcin holomorfa en C \ (] , 1] [1, +[).
sen w
Dado z C queremos calcular los complejos w tales que z = tg w, esto es, z = o, lo
cos w
que es lo mismo , z cos w = sen w. El conjunto de todos ellos lo representaremos por Arctg z.
Escribiendo la definicin de seno y coseno
u2 1 = iz(u2 + 1) u2 (1 iz) = 1 + iz
1 + iz
puesto que z 6= i podemos escribir u2 = , esto es,
1 iz
1 + iz 1 1 + iz
e2iw = w Log (z 6= i)
1 iz 2i 1 iz
Por tanto
1 1 + iz
Arctg z = Log (z 6= i)
2i 1 iz
Es fcil probar que la funcin arcotangente compleja, al igual que ocurre con las de-
ms funciones trigonomtricas complejas, extiende a la funcin arcotangente real.
1 + ei , 1 ei , a ei
donde || 6 y a > 0.
Ejercicio resuelto 42 Calcula log z y Log z cuando z es uno de los nmeros siguientes
ii , ei , e1+i , 1 + i
1 i
Ejercicio resuelto 43 Calcula log(1 i) logi y log .
i
log(z)
d) log( n z) = ; e) log(z n ) = n log(z).
n
b) Prueba que el logaritmo principal establece una biyeccin entre los conjuntos
C\Ro y = {z C : < Im(z) < }.
A = {z C : 1+ z / Ro , 1 z / Ro }
Como, evidentemente, 1+ z Ro si, y slo si, z R y z 6 1, es decir, z ] , 1]; y
1 z Ro si, y slo si, z R y z > 1, es decir, z [1, +[; resulta que A = .
Como
X
1
= (1)n z n (|z | < 1)
1+z
n=0
Deducimos que la funcin
X z n+1
(z) = (1)n (|z | < 1)
n+1
n=0
1
es holomorfa en D(0, 1) y (z) = . Como la funcin z 7 log(1 + z) tambin es
1+z
holomorfa en D(0, 1), tiene la misma derivada que y (0) = log(1 + 0) = 0, se sigue
que (z) = log(1 + z) para todo z D(0, 1). Hemos probado que
X
z n+1 X (1)n+1 n
log(1 + z) = (1)n = z (|z | < 1)
n+1 n
n=0 n=1
X z2n+1
funcin h : D(0, 1) C definida por h(z) = , es continua en D(0, 1). Como
n(2n + 1)
n=1
para todo z D(0, 1) es h(z) = f (z), si justificamos que f es continua en D(0, 1), se
deducir que h(z) = f (z) para todo zD(0, 1). Ahora bien, puesto que D(0, 1)\{1}
, bastar probar que f es continua en 1 y en 1. Teniendo en cuenta que
59. Expresa los ocho nmeros 1 i, 3 i en la forma r ei .
i, i, e3 , e5i , 4, 5 e, 1 + i
61. Calcula log(3i) + log(1 + i 3) y log 3i(1 + i 3) .
62. Calcula
[(i)i ], i3i , [i2/ ], [i i ], 12i , (3i )1/3 , ((i)1/2 )i , (1 i)1+i
63. Indica el error en los razonamientos siguientes: (z)2 = z 2 ; por tanto 2 Log(z) =
2 Log(z) y, por consiguiente, Log(z) = Log(z).
64. Explica con detalle dnde est el error en las igualdades siguientes:
1/2
i = (1)1/2 = (1)3 = (1)3/2 = i3 = i
65. Sea a C y = arg a. Prueba que Re(z ei ) > 0 para todo z D(a, |a|). Deduce que en
todo disco que no contiene el origen hay argumentos continuos y por tanto logarit-
mos holomorfos.
67. Tiene la funcin exponencial lmite en infinito? Dado w C con |w| = 1, estudia la
existencia del lmite lm exp(r w).
r+
f (z + w) = f (z) f (w), z, w C.
69. Sea f una funcin holomorfa en un abierto y supongamos que f tiene argumentos
continuos en . Justifica que f tiene races holomorfas en de cualquier orden.
70. Justifica que en ningn conjunto A que contenga a una circunferencia centrada en
cero puede haber (funciones) races cuadradas continuas.
71. Da condiciones necesarias y suficientes para que el conjunto [ab ] de las potencias
de base a y exponente b sea finito.
72. Estudia qu relacin hay entre los conjuntos [am/n ] y [(am )1/n ], donde a C , m, n
N, n > 2. Qu puede afirmarse, en particular, cuando m y n son primos entre s?.
73. Sean > 0, < tales que , , , [, ]. Prueba que z 7 z es una biyeccin
de 1 = {z C : < arg z < } sobre 2 = {z C : < arg z < }.
75. Indica los conjuntos de puntos z C donde las funciones ez , sen z, cos z, tg z, arc sen z,
arc tg z toman:
a) Valores reales.
b) Valores imaginarios puros.
76. Calcula Arcsen(1 + i), Arctg(1 i), arc sen i, arc tg 2i.
2.1. Introduccin
El Teorema Fundamental del Clculo nos dice que toda funcin real de variable real
continua en un intervalo tiene primitivas en dicho intervalo. La situacin es muy distinta
para funciones complejas de variable compleja. Ni siquiera el hecho de que una funcin
sea holomorfa en un dominio garantiza que tenga primitivas en dicho dominio.
1
2.1 Ejemplo. La funcin f (z) = es holomorfa en el dominio C y no tiene primitivas en
z
dicho dominio.
A pesar de este resultado, en este captulo probaremos que toda funcin holomorfa en
un disco tiene primitivas en dicho disco. Es decir, toda funcin holomorfa en un abierto
tienen localmente primitivas en dicho abierto.
75
2.2 Integral de Riemann para funciones reales con valores complejos 76
Lo ms llamativo de todo es que estos resultados los vamos a obtener con facilidad y
con una herramienta muy elemental: la integral de Riemann de funciones continuas.
Diremos que una funcin : [a, b] C es integrable Riemann en el intervalo [a, b], y
escribiremos R ([a, b]), si las funciones Re() y Im() son integrables Riemann en [a, b]
(en el sentido que conocemos, ya que son funciones reales de variable real definidas en
un intervalo) en cuyo caso definimos la integral de en [a, b] como el nmero complejo
wb wb wb
(t) dt = Re (t) dt + i Im (t) dt
a a a
2.2.1. Propiedades
wb
1. El conjunto R ([a, b]) es un espacio vectorial complejo y la aplicacin 7 es una
a
forma lineal. Adems, el producto de funciones integrables Riemann en [a, b] es in-
tegrable Riemann en [a, b].
wb wb
(t) dt 6 |(t)| dt 6 sup{|(t)| : a 6 t 6 b}(b a) (2.1)
a a
Esta igualdad nos dice que la ltima integral es un nmero real positivo pues es
igual a ||, luego
wb wb wb wb wb
(t) dt = Re (t) dt 6 Re (t) dt 6 | (t)| dt = |(t)| dt
a a a a a
! wb
wb X X
fn (t) dt = fn (t) dt
a n=1 n=1 a
4. Aditividad respecto al intervalo. Si a < c < b y R ([a, b]) entonces R ([a, c]) y
R ([c, b]) y
wb wc wb
= +
a a c
5. Teorema fundamental del clculo. Si R ([a, b]), entonces la funcin dada por
wt
G(t) = (s) ds (t [a, b])
a
7. Frmula del cambio de variable Sea : [c, d] R una funcin estrictamente cre-
ciente con derivada continua. Supongamos que es integrable en [(c), (d)]. En-
tonces
(d)
w wd
(s) ds = (t) (t) dt
(c) c
Una curva en C es una aplicacin continua : [a, b] C. Hay que distinguir entre la
curva y su imagen (tambin llamada traza o soporte), que notaremos por = ([a, b]). Es
claro que es un conjunto compacto y conexo. Al punto (a) se le llama punto inicial de
la curva y a (b) punto final. Ambos reciben el nombre de extremos de la curva.
Se dice que es una curva cerrada cuando sus extremos coinciden, esto es, (a) = (b).
(b)
[ ]
a b
(a)
Diremos que una curva es regular 1 si la aplicacin que la define es derivable con de-
rivada continua, esto es, es de clase C 1 .
1 En Geometra por curva regular se entiende una curva con derivada continua cuyo vector derivada no se
anula en ningn punto.
2.3 Curvas regulares a trozos o caminos. Una curva : [a, b] C es regular a trozos, y la
llamaremos un camino, si hay una particin a = t0 < t1 < < tn1 < tn = b de [a, b] de
manera que |[tk1 ,tk ] es regular para 1 6 k 6 n.
Llamaremos curva opuesta de una dada : [a, b] C, y la notaremos por : [a, b] C,
a la curva definida por
()(t) = (b + a t)
Se trata de una curva que tiene la misma traza que pero la recorre en sentido contrario,
esto es, el punto inicial de es el punto final de y viceversa. Observa que la curva
opuesta de un camino es un camino.
Dadas dos curvas : [a, b] C y : [c, d] C con (b) = (c), definimos una nueva
curva que llamaremos yuxtaposicin de y o tambin suma de y , y la notaremos
por + , como
(
(t) a6t 6b
( + )(t) =
(c b + t) b 6 t 6 b + d c
Geomtricamente se trata de pegar las trazas de y , de ah que se exija que (b) = (c),
esto es, que podamos pegarlas de forma continua. Evidentemente en los puntos de unin
entre una curva y otra puede que no haya derivabilidad. Es fcil probar que ( + ) =
.
(t) = (1 t)z + tw
Notaremos a esta curva como = [z, w]. Resaltemos que no se trata de un intervalo
en C ya que en C no hemos definido ningn orden.
Es fcil comprobar que [z, w] = [w, z]
(t) = a + r eit
La vamos a representar por el smbolo C(a, r). No hay que confundir a la curva con
su imagen, que en este caso es una circunferencia y que notamos como C(a, r) C.
wb
() = | (t)| dt
a
2.5 Curvas equivalentes. Dos curvas : [a, b] C y : [c, d] C se dice que son equiva-
lentes cuando existe una aplicacin : [c, d] R cumpliendo
C 1 ([c, d])
(c) = a, (d) = b
Dos curvas equivalentes tienen la misma traza, mismo punto inicial y mismo punto
final.
w wb
f (z) dz = f (t) (t) dt
a
Observemos que t 7 f ( (t)) (t) es una funcin de variable real con valores complejos
que est acotada y solamente puede tener un nmero finito de discontinuidades, luego
la integral de la derecha es la integral que ya hemos definido antes.
2.4.1. Propiedades
w wb
t = (s)
f (z) dz = f (t) (t) dt = =
a
dt = (s) ds
1
w (b)
= f (s) (s) (s) ds =
1 (a)
wd w
= f (s) (s) ds = f (z) dz
c
w b+dc
w
f (z) dz = f ( + )(t) ( + ) (t) dt =
a
+
wb b+dc
w
= f (t) (t) dt + f (t b + c) (t b + c) dt =
a b
wb wd
s = t b+c
= = f (t) (t) dt + f (s) (s) ds =
ds = dt a c
w w
= f (z) dz + f (z) dz
w w
3. f (z) dz = f (z) dz . Es de comprobacin inmediata.
4. Acotacin bsica
w
f (z) dz 6 max{| f (z)| : z } ()
En efecto
w wb wb
f (z) dz = f (t) (t) dt 6 f (t) | (t)| dt 6
a a
wb
6 max{| f (z)| : z } | (t)| dt = max{| f (z)| : z } ()
a
r
5. Linealidad. Se verifica que la aplicacin f 7 f del espacio vectorial C ( ) en C es
una forma lineal.
En particular
! w
w X X
fn (z) dz = fn (z) dz
n=1 n=1
2.6 Regla de Barrow para integrales curvilneas. Sea C un abierto, f una funcin
continua en y supongamos que hay una funcin F H () tal que F (z) = f (z) para
todo z . Sea : [a, b] C un camino cualquiera en (esto es, ), entonces
w
f (z) dz = F (b) F (a)
Por lo que
w wb
f (z) dz = f (t) (t) dt = h(b) h(a) = F (b) F (a)
a
Supongamos ahora que es regular a trozos. Entonces existe una particin del intervalo
[a, b], a = t0 < t1 < < tn1 < tn = b de forma que k = |[tk1 ,tk ] es una aplicacin de clase
C 1 . Teniendo en cuenta lo antes visto resulta que
w n w
X n
X
f (z) dz = f (z) dz = F k (tk ) F k (tk1 ) =
k=1 k k=1
n
X
= F (tk ) F (tk1 ) = F (b) F (a)
k=1
2.8 Proposicin. La funcin suma de una serie de potencias no trivial tiene primitivas
en el dominio de convergencia de la serie. En consecuencia, una funcin analtica en un
abierto tiene localmente primitivas.
P
Demostracin. Supongamos que es una serie de potencias no trivial. Sea
n>0 cn (z a)
n
X
su dominio de convergencia y para z sea (z) = cn (z a)n la funcin suma.
n=0
X cn
Se deduce del lema 1.40 que la serie (z a)n+1 tiene tambin como dominio de
n+1
n >0
convergencia . El teorema de derivacin de series de potencias nos dice que la funcin
P cn
F(z) = n=0 (z a)n+1 es una primitiva de en . X
n+1
1
Volviendo al ejemplo del principio del captulo, sea f (z) = para z C . Tenemos que
z
w w 1
f (z) dz = it
i eit dt = 2i 6= 0
e
C(0,1)
luego f no tiene primitiva en C (cosa que ya sabamos). Pero vimos en el Captulo I que f
es analtica en C con lo cual f tiene primitivas localmente. Esto pone de manifiesto que
el problema de existencia de primitivas es un problema global no local.
El anterior corolario nos dio una condicin necesaria para la existencia de primitiva
de una funcin. Esta condicin es tambin suficiente. El siguiente lema es de inters.
2.9 Lema. Dos puntos cualesquiera de un dominio se pueden unir mediante una poli-
gonal contenida en el dominio.
Sea a . Dado > 0, por continuidad de f existe > 0 de forma que D(a, ) y para
w D(a, ) se cumple que | f (w) f (a)| < .
Para z D(a, ) \ {a}
w tenemos que [a, z] D(a, ) y = z + [z, a] a es un camino ce-
De lo anterior se sigue que F es derivable en a y F (a) = f (a), esto es, F es una primitiva
de f en . X
w
Ejercicio resuelto 52 Calcula P(z) dz donde P(z) es una funcin polinmica no
C(a,R)
constante.
Ejercicio resuelto 53 Sea Ar = {z C : 0 < |z a| 6 r, 6 arg(z a) 6 } ( 6 < 6 ).
Supongamos que f es continua en Ar y que za lm (z a) f (z) = L C. Pongamos para
zAr
6t 6 , r (t) = a + r eit . Prueba que
w
lm f (z) dz = i( )L
r0
r
w
79. Calcula z dz siendo : [0, 2] C el camino dado por:
(
2it 06t 61
a) (t) = t 2 + it ; b) (t) = 2t + it ; c) (t) =
2i + 4(t 1) 1 6 t 6 2
w
80. Calcula Re(z) dz siendo : [0, 1] C el camino dado por:
w
84. Sean C abierto, f H () y un camino cerrado en . Prueba que f (z) f (z) dz
es un nmero imaginario puro.
w log(1 + z)
85. Prueba que para 0 < r < 1, se tiene que dz = 0. Deduce que
z
C(0,r)
w2
log(1 + r2 + 2r cos) d = 0
0
1
87. Sean = C \ {i, i} y f (z) = , z . Justifica que f no admite una primitiva
1 + z2
en .
(a, b, c) = { a + b + c : + + = 1 : , , > 0}
Entonces w
f (z) dz = 0
[a,b,c,a]
Esta igualdad es cierta ya que hay caminos (los interiores al tringulo) que estn recorri-
dos en direcciones opuestas luego las respectivas integrales se anulan (ver figura 2.1).
|I| 6 4 |I1 |
b
a
a
c
b
que n n1 y
1 1
dimetro(n ) = dimetro(n1 ) = n dimetro()
2 2
1 1
(n ) = (n1 ) = n ()
2 2
|In1 | 6 4 |In |
T
Sea n=1 n (existe puesto que estamos considerando la interseccin de una su-
cesin decreciente de cerrados no vacos con sucesin de dimetros convergente a cero
en un espacio mtrico completo). Claramente, (a, b, c) . Pongamos p(z)
w = f () +
f ()(z ) que es una funcin polinmica y por tanto tiene primitiva; luego p(z) dz = 0.
n
Podemos escribir por tanto
w w
In = f (z) dz = f (z) f () f ()(z ) dz
n n
Dado > 0, por la derivabilidad de f en existe > 0 de forma que D(, ) y para
z D(, ) se cumple que
| f (z) f () f ()(z )| 6 |z |
Si dimetro(n ) < entonces n D(, ). Tenemos por tanto
|I| 6 4n |In | 6 4n (n ) max{| f (z) f () + f ()(z )| : z n } 6
6 4n (n ) max{|z | : z n } 6
6 4n (n ) dimetro(n ) =
1 1
= 4n n () n dimetro() =
2 2
= () dimetro()
de donde se deduce que |I| = 0 sin ms que hacer tender a cero. Por tanto I = 0 como
queramos probar. X
z
a
z0
esto es w w w
F(z) F(a) = f (w) dw f (w) dw = f (w) dw
[z 0 ,z] [z 0 ,a] [a,z]
Demostracin.
ya que las dos ltimas integrales son nulas por el caso 1. Tomando mdulos y acotando
tenemos
w w
f (w) dw = f (w) dw 6 K |a b| + |b c| + |c a|
[a, b, c, a] [a, c , b , a]
donde K = max{| f (z)| : z (a, b, c)}. Esta acotacin es vlida para todo luego haciendo
0 obtenemos el resultado.
Caso 3. est en un lado del tringulo. Por comodidad supongamos que se encuentra
en el lado de extremos a y b. Consideramos los tringulos (, b, c) y (, c, a), ambos se
encuentran en el caso 2 luego la integral sobre su frontera es nula y, por tanto, la integral
en la frontera del tringulo (a, b, c) es tambin nula.
Caso 4. est en el interior del tringulo. Unimos con alguno de los vrtices y obtene-
mos dos tringulos que estn en el caso 3. X
c c c
b
a= c b a b a b
(b) Escribimos
1 1 1 1 |z a|
= = = si <1 =
w z w a (z a) wa 1 za |w a|
wa
X
1 z a n X (z a)n
= = (2.2)
wa wa (w a)n+1
n=0 n=0
|z a| |z a|
= <1
|w a|
Puesto que n
|z a|n 1 |z a|
= = n
|w a|n+1
X
y n converge por ser una serie geomtrica de razn |z a| / < 1, deducimos, por el
n >0
criterio de Weierstrass, que la serie 2.2 converge uniformemente en C(a, ) . Podemos
permutar por tanto la integral y la suma de la serie con lo que obtenemos
w
X w
1 1
dw = (z a)n dw
wz (w a)n+1
C(a,) n=0 C(a,)
1 1
La funcin w 7 k
es holomorfa en C \ {a} y tiene primitiva (w a)k+1 para
(w a) k + 1
w 1
cualquier k Z con k 6= 1. Luego la integral dw = 0 para k > 1. Con lo cual
(w a)k
C(a,)
w
X w w
1 1 1
dw = (z a)n dw = dw =
wz (w a)n+1 wa
C(a,) n=0 C(a,) C(a,)
w 1
= i eit dt = 2i
a + eit a
El siguiente resultado es la clave para probar que toda funcin holomorfa es analtica.
2.16 Frmula de Cauchy para una circunferencia. Sea f una funcin holomorfa en
un abierto y supongamos que el disco cerrado D(a, R) est contenido en . Entonces
se verifica que
1 w f (w)
f (z) = dw (z D(a, R))
2i wz
C(a,R)
Demostracin. Como D(a, R) , podemos tomar > R tal que D(a, ) . Sea z D(a, R)
fijo en lo que sigue. Definimos la funcin g : D(a, ) C por
f (w) f (z)
g(w) = w 6= z
wz
g(z) = f (z)
Observacin
1 w f (w)
cn = dw (n N {0}) (2.3)
2i (w a)n+1
C(a,R)
n! w f (w)
f (n) (a) = dw (n N {0}) (2.5)
2i (w a)n+1
C(a,R)
Demostracin. Es suficiente probar que se verifica la igualdad (2.4) con los coeficientes
cn dados por (2.3) en cualquier disco D(a, R) con 0 < R < a . Sea, pues, 0 < R < a con
lo que D(a, R) . En virtud de la frmula de Cauchy para una circunferencia tenemos
que
1 w f (w)
f (z) = dw z D(a, R)
2i wz
C(a,R)
lo que concluye la demostracin ya que z era un punto fijo pero arbitrario en D(a, R). X
Observa que el teorema anterior nos dice que la serie de Taylor de f converge por lo
menos en el disco ms grande centrado en a y contenido en y que su suma en dicho
disco es f . Por tanto, el radio de convergencia, R, de la serie de Taylor de f en a es mayor
o igual que a (R = + si a = +), pero puede ocurrir que R > a .
2.18 Corolario. Sea f una funcin entera. Entonces la serie de Taylor de f centrada en
cualquier punto converge en todo C y su suma es igual a f .
El teorema de Taylor pone de manifiesto la gran diferencia que hay entre la deriva-
bilidad en el campo real y en el campo complejo. En el campo real podemos tener una
funcin que sea continua pero no derivable; derivable pero sin derivada continua; de
clase C 1 pero no dos veces derivable, etc. Esto es, con notacin que se explica por s sola
En particular, este resultado nos dice que si una funcin f tiene primitiva entonces
dicha funcin f es holomorfa puesto que es la derivada de una funcin holomorfa. Por
tanto, para que una funcin compleja tenga primitiva debemos exigir que sea holomorfa,
no slo continua como ocurra en el caso real, aunque por supuesto esta condicin no
garantiza que la funcin tenga primitiva.
(a) f es holomorfa en .
w
(b) f (w) dw = 0 siempre que el tringulo (a, b, c) est contenido en .
[a, b, c, a]
F es una primitiva de f en D(z 0 , R), es decir, F (z) = f (z) para todo z D(z 0 , R) (la prueba de
esto es idntica a la demostracin de la existencia de primitivas en dominios estrellados,
ver teorema 2.12). Luego f es en el disco D(z 0 , R) la derivada de una funcin holomorfa y,
por tanto, es ella misma holomorfa en dicho disco; en particular, f es derivable en z 0 . De
la arbitrariedad de z 0 obtenemos que f es holomorfa en . X
w z+1
Ejercicio resuelto 57 Calcula la integral dz donde r > 0, r 6= 2.
z(z 2 + 4)
C(0,r)
w ez cos z
Ejercicio resuelto 58 Calcula dz .
(1 + z 2 ) sen z
C(2+i, 2)
w cos z
Ejercicio resuelto 59 Dado a C, |a| =
6 1, calcula la integral dz .
(a 2 + 1)z a(z 2 + 1)
C(0,1)
w2
b) log |a + r eit |dt 0 < r < |a|
0
Ejercicio resuelto 61 Sea f una funcin holomorfa en un disco de centro cero y radio
R > 1. Calcula
1 w f (w)
dw (z C, |z| =
6 1)
2i wz
C(0,1)
w dz
89. Calcula , donde (t) = cost + 2i sent, t [, ].
1 + z2
w dz
90. Sea = C(a, r) y b, c C \ . Calcula todos los posibles valores de
(z b)(z c)
dependiendo de la posicin relativa de los puntos b y c respecto de .
w cos z
91. Calcula la integral dz , para = C(0, 2), = C(0, 1/2), = C(i/2, 1).
z3 + z
92. Sean f una funcin entera, a, b C con a 6= b y R > max{|a|, |b|}. Prueba que
w f (z) f (b) f (a)
dz = 2i .
(z a)(z b) ba
C(0,R)
95. Sea C . Justifica que hay una nica funcin f holomorfa en D(0, 1) tal que
1
z f (z) + f (z) = , (z D(0, 1))
1+z
96. Justifica que hay una nica funcin f H (D(0, 1)) tal que exp(z f (z)) = 1 z para
todo z D(0, 1), y f (0) = 0. Calcula la serie de Taylor de f centrada en 0.
1
97. Prueba que los coeficientes cn de la serie de Taylor de f (z) = centrada en
1 z z2
z = 0 satisfacen las igualdades: c0 = c1 = 1, cn+2 = cn+1 + cn para todo n > 0. Calcula
dichos coeficientes de forma explcita descomponiendo X la fraccin dada en fraccio-
nes simples. Calcula el radio de convergencia de la serie cn z n . La sucesin {cn } se
n >0
llama sucesin de Fibonacci.
98. En cada uno de los siguientes casos, determinar si hay una funcin f H () tal
que para todo n N se tenga que f (n) (0) = an . En caso afirmativo, encontrar todas
las funciones f que verifiquen las condiciones pedidas.
a) = C an = n
b) = C an = (n + 1)!
c) = D(0, 1) an = 2n n!
d) = D(0, 12 ) an = nn
99. Considera las funciones complejas dadas para todo z C \ {i, i} por:
zi
f (z) = log ; g(z) = log(z i) log(z + i)
z+i
a) Estudia dnde son holomorfas las funciones f y g.
b) Dnde coinciden f y g?
c) Calcula el desarrollo de Taylor de g centrado en z = 1.
X
(1 + i)n (1 i)n
d) Justifica que la serie (1)n+1 converge (absolutamente) y
n 2n
n=1
calcula su suma.
2 w w 2
100. Definimos F(z) = ez e dw para todo zC. Prueba que F es una funcin entera
[0,z]
y que F (z) = 1 + 2zF(z) para todo z C.
1 z 1
101. Para z 6= 1 sea f (z) = e y f (0) = 0.
z 1+z
a) Justifica que f es holomorfa en el abierto C \ {1}.
b) Integra dicha funcin a lo largo de la frontera de la parte del disco D(0, R) que
queda en el primer cuadrante para calcular el valor de la integral
+
w sen x
dx
x
0
102. Sea f una funcin holomorfa en un abierto , y supongamos que D(a, R) . Prue-
ba que
1 x
f (a) = f (x, y) d(x, y)
R2
D(a,R)
para a siempre que D(a, R) . Pues bien, tomando mdulos y usando la acotacin
bsica para integrales obtenemos
(k)
f (a) 1 f (w)
6 max : w C(a, R) 2R = 1 max{| f (w)| : w C(a, R) } = M(R)
k! 2 (w a)k+1 Rk Rk
Es interesante comparar este resultado con el teorema del valor medio para funciones
reales. El teorema del valor medio nos dice que conociendo una cota, M, de la derivada
de una funcin h podemos acotar el incremento de la funcin, esto es,
|h(x) h(y)| 6 M |x y|
En el caso complejo, las desigualdades de Cauchy nos dicen que conociendo una cota de
la funcin podemos acotar a sus derivadas. Veremos pronto que estas desigualdades son
las principales responsables de que la convergencia uniforme de sucesiones de funciones
holomorfas implique que la sucesin de sus derivadas tambin converja uniformemente.
Demostracin. Sea f una funcin entera acotada. Entonces existe una constante positiva
M de forma que | f (z)| < M para todo nmero complejo z C. El teorema de Taylor afirma
que la serie de Taylor de f converge a f en todo C.
X f (n) (0) n
f (z) = z para todo z C
n!
n=0
Puesto que para todo R > 0 el disco D(0, R) est contenido en C, las desigualdades de
Cauchy para a = 0 con R > 0 arbitrario nos dicen que
(n)
f (0) M(R) M
6 n
6 n
n! R R
Tomando lmite ahora cuando R + obtenemos f (n) (0) = 0 para cualquier n > 1. Con
lo cual la serie de Taylor de f centrada en 0 se reduce al trmino f (0). Luego f (z) = f (0)
para todo z C, esto es, f es constante. X
Este resultado permite demostrar de forma sencilla el que se conoce como Teorema
Fundamental del lgebra cuya primera demostracin diera Gauss en 1799.
Dicha funcin es evidentemente entera y acotada puesto que lmz f (z) = 0. En estas
condiciones el teorema de Liouville afirma que f es constante, es decir, p es constante.
Esta contradiccin nos dice que p(z) tiene que anularse para algn z C. X
2.23 Teorema. La imagen de una funcin entera no constante es densa en el plano. Sim-
blicamente, si f H (C) es no constante entonces f (C) = C.
Demostracin. Supongamos que existe un punto C de forma que 6 f (C). Por defi-
nicin existe > 0 de manera que D(, ) f (C) = , o dicho de otra forma, | f (z) | >
1
para cualquier z C. Construimos la aplicacin g(z) = para z C. Es claro que g
f (z)
es una funcin entera y adems est acotada puesto que
1 1
|g(z)| = <
| f (z) |
2.24 Corolario. Si f es una funcin entera no constante y u, v son sus funciones parte
real e imaginaria, entonces
u(C) = R y v(C) = R
Demostracin. Por el teorema anterior, los conjuntos u(C) y v(C) no pueden estar ma-
yorados ni minorados. Puesto que ambos son conexos de R, es decir, intervalos, se sigue
que deben ser iguales a R. X
(a) f tiene una extensin holomorfa a , es decir, existe una funcin g H () tal que
g(z) = f (z) para cualquier punto de z , z 6= .
(b) f tiene una extensin continua en , esto es, existe h C () tal que h(z) = f (z) para
cada z \ {}. Equivalentemente existe el lmite lm f (z).
z
(d) lm (z ) f (z) = 0.
z
Demostracin. Es claro que (a) (b) (c) (d). Probemos, por tanto, que (d) (a). Sea
F(z) = (z )2 f (z) para z 6= , F() = 0. La hiptesis nos dice que F H ( \ {}). Como
F(z) F()
lm = lm (z ) f (z) = 0
z z z
F (n ()
igualdad vlida para z D(, ) donde hemos notado cn = . De lo anterior se
n!
deduce que para z D(, ), z 6=
X
f (z) = cn+2 (z )n
n=0
Por supuesto, este resultado puede enunciarse para una funcin derivable en ex-
cepto en un nmero finito de puntos de .
Observa que este resultado implica que si una funcin es derivable en un abierto ex-
cepto en un conjunto finito de puntos del mismo, dicha funcin no puede ser continua
en dichos puntos, ni siquiera puede estar acotada en un entorno de cualquiera de ellos.
2.27 Frmula de Cauchy para las derivadas. Sean C un abierto, f una funcin
holomorfa en y D(a, R) . Entonces para cada n N {0} se verifica que
f (n (z) 1 w f (w)
= dw para todo z D(a, R)
n! 2i (w z)n+1
C(a,R)
Por un razonamiento ya varias veces repetido, para cada z D(a, R) fijo, la serie anterior
es uniformemente convergente para wC(a, R) por lo que podemos permutar la integral
con la suma obteniendo
1 w f (w) 1 X n! 1 w f (w)
dw = dw (z a)nk
2 i (w z)k+1 k! (n k)! 2 i (w a)n+1
C(a,R) n=k C(a,R)
Por otra parte, derivando k veces la serie de Taylor de f centrada en a tenemos que para
todo z D(a, R) es
X w
n! 1 f (w)
f (k) (z) = dw (z a)nk
(n k)! 2 i (w a)n+1
n=k C(a,R)
f (z) = lm { fn (z)} (z )
n
Entonces
(i) f es holomorfa en .
(k)
(ii) Para cada natural k la sucesin de las derivadas k-simas { fn } converge uniforme-
mente en subconjuntos compactos de a la derivada k-sima f (k) de la funcin lmite.
Demostracin.
(i) Las hiptesis implican que f es continua en . Sea (a, b, c) , puesto que la
integral respeta la convergencia uniforme y [a, b, c, a] es un compacto
w w
fn (z) dz f (z) dz
[a, b, c, a] [a, b, c, a]
w
Ahora bien fn (z) dz = 0 ya que, por hiptesis, fn H () para cualquier natural n.
[a, b, c, a]
Luego w
f (z) dz = 0
[a, b, c, a]
para cualquier tringulo (a, b, c) contenido en . El teorema de Morera nos asegura que
f es holomorfa en .
H = {z C : dist(z, K) 6 }
Sea kN. Aplicando las desigualdades de Cauchy a la funcin fn (z) f (z) en el disco D(a, )
tenemos
k!
(k)
fn (a) f (k) (a) 6 k max{| fn (w) f (w)| : w C(a, ) } 6
k!
6 k max{| fn (w) f (w)| : w H}
y, tomando lmites para r +, se sigue que f (n (0) = 0 para todo n > y, por tanto,
f es una funcin polinmica.
103. Prueba que toda funcin entera que no tome valores reales es constante.
f (z) = f (z + 1) = f (z + i), z C.
107. Sea f una funcin entera tal que f (z) = f ( f (z)) para todo zC. Qu puede afirmarse
de f ?
w ez dz
108. Calcula la integral para = C(1/4, 1/2), = C(1, 1/2), = C(2, 3).
z(1 z)3
w cos z dz
109. Calcula la integral para = C(0, 1/3), = C(1, 1/3), = C(0, 2).
z 2 (z 1)
1
111. Se considera la sucesin de funciones dada por fn (z) = sen(nz). Justifica que { fn }
n
converge uniformemente en R pero no converge uniformemente en ningn sub-
conjunto abierto de C.
X zn
112. Probar que la serie converge en D(0, 1) y que su suma es una funcin ho-
1 zn
n >1
lomorfa.
X
113. Sea fn una serie de funciones holomorfas en el disco D(0, 1) que converge uni-
n >1
formemente en conjuntos compactos. Sea
X
fn (z) = cn,k zk (|z| < 1)
k=0
Justifica que ! !
X
X
X
X
k
cn,k z = cn,k zk (|z| < 1)
n=1 k=0 k=0 n=1
X k
114. Prueba que para cada nmero natural k la serie de potencias z n tie-
kn(n + 1) + 1
n >0
ne radio de convergencia 1. Sea fk la funcin suma de dicha serie. Prueba que la
sucesin { fk } converge uniformemente en D(0, 1) y calcula la serie de Taylor centra-
da en 0 de la funcin lmite.
3.1. Introduccin
En este captulo vamos a ver que en algunos aspectos las funciones holomorfas se
comportan localmente de forma parecida a las funciones polinmicas. Ello se debe, na-
turalmente, a que las funciones holomorfas son analticas y, por tanto, localmente, son l-
mites uniformes de sucesiones de funciones polinmicas (sus polinomios de Taylor). Los
resultados principales de este captulo son generalizaciones para funciones holomorfas
de resultados conocidos para funciones polinmicas. Por ejemplo, es sabido que si dos
funciones polinmicas de grado n coinciden en un punto junto con sus derivadas hasta
la de orden n inclusive, entonces dichas funciones son idnticas. La generalizacin para
funciones holomorfas de este resultado afirma que si dos funciones holomorfas en un
dominio coinciden ellas y todas sus derivadas en un punto entonces ambas funciones
son idnticas (teorema 3.1).
El estudio del mdulo de una funcin holomorfa lleva de forma natural a introducir
las funciones subarmnicas. Los resultados hasta aqu obtenidos para las funciones ho-
lomorfas se aplican para probar con comodidad importantes resultados para funciones
armnicas y, en particular, para resolver el problema de Dirichlet para discos.
111
3.2 Ceros de funciones holomorfas. Principio de identidad 112
Es sabido que una funcin polinmica p(z) tiene un cero de orden k en un punto
a C, si dicha funcin y todas sus derivadas, hasta la de orden k 1 inclusive, se anulan
en a y la derivada de orden k no se anula en a. Adems, si una funcin polinmica p(z)
tiene un cero de orden k en un punto a entonces dicha funcin factoriza en la forma
p(z) = (z a)k q(z) donde q(z) es una funcin polinmica que no se anula en a. No es
posible extender este concepto de orden de un cero a funciones reales no polinmicas.
Los ceros de una funcin polinmica son, evidentemente, un conjunto de puntos ais-
lados en C. Consideremos la funcin
1
g(x) = x3 sen si x 6= 0
x
g(0) = 0
En contraste con esta situacin, vamos a ver que los ceros de las funciones holomor-
fas pueden caracterizarse de forma parecida a los ceros de las funciones polinmicas. El
resultado principal es el siguiente.
Z( f ) = {z : f (z) = 0}
(b) Existe un punto a tal que f (k) (a) = 0 para todo k N {0}.
Demostracin.
(a)(b) Por hiptesis hay algn punto a Z( f ) . Sea > 0 tal que D(a, ) . Existe
una sucesin de puntos an D(a, ) con an 6= a para todo n N y {an } a. El teorema de
Taylor afirma que
X
f (z) = f (a) + cn (z a)n para todo z D(a, )
n=1
f (n (a)
siendo cn = .
n!
En primer lugar, por la continuidad de f , tenemos que f (a) = lm { f (an )} = 0.
Volvemos a escribir la serie teniendo en cuenta que f (a) = 0 y dividimos por z a con
lo que
X
f (z)
= c1 + cn (z a)n1 para todo z D(a, ) \ {a}
za
n=2
X
Pongamos g1 (z) = cn (z a)n1, funcin que es holomorfa en D(a, ) y g1 (a) = 0. Con
n=2
ello
f (z)
= c1 + g1(z)
za
Evaluando en an obtenemos 0 = c1 + g1 (an ) y, tomando lmites deducimos que
0 = c1 + lm g1 (an ) = c1 + g1(a) = c1
luego ck+1 = 0 y, por induccin, concluimos que ck = 0 para todo k N {0} como quera-
mos probar.
Sea a A y tomemos > 0 tal que D(a, ) . El teorema de Taylor afirma que
X f (k) (a)
f (z) = (z a)n para todo z D(a, )
n!
n=0
luego f (z) = 0 para todo z D(a, ) con lo cual f (k) (z) = 0 para todo z D(a, ) y para
cualquier k N {0}. Esto ltimo implica que D(a, ) A, luego A es abierto. Por conexin
A=
(c)(a) Es evidente. X
Demostracin.
(i) Las hiptesis implican por el resultado anterior que Z( f ) no tiene ningn punto de
acumulacin en ,lo que implica la afirmacin (i) del enunciado.
(ii) Basta tener en cuenta que todo abierto en C es unin numerable de compactos y que
si K es un compacto contenido en entonces el conjunto Z( f ) K es finito. X
3.4 Orden de un cero. Sea f una funcin holomorfa y no idnticamente nula en un domi-
nio y supongamos que f tiene un cero en un punto a. Como consecuencia del teore-
ma 3.1, sabemos que alguna derivada de f no se anula en a. Sea k = mn{n N : f (n) (a) 6= 0}.
Decimos entonces que f tiene en a un cero de orden k.
El siguiente resultado pone de manifiesto que los ceros de una funcin holomorfa
permiten factorizar dicha funcin de forma anloga a como factorizan las funciones po-
linmicas.
3.5 Caracterizacin del orden de un cero. Sea f una funcin holomorfa no idnti-
camente nula en un dominio . Dado a se verifica que f tiene en a un cero de
orden k si, y slo si, existe una funcin holomorfa en , g, de forma que g(a) 6= 0 y
f (z) = (z a)k g(z) para todo z .
Demostracin. Supongamos que existe g holomorfa en con g(a) 6= 0 y f (z) = (z a)k g(z).
Tomamos > 0 de tal forma que D(a, ) . El teorema de Taylor nos permite escribir g
como suma de su serie de Taylor
X
g(z) = n (z a)n z D(a, )
n=0
Ya que el desarrollo de Taylor de una funcin holomorfa es nico tenemos que f (q) (a) = 0
f (k) (a)
para todo 0 6 q 6 k 1 y 0 = 6= 0, esto es, f (k) (a) 6= 0. Hemos obtenido que f tiene
k!
en a un cero de orden k.
f (z) f (z)
lm = lm
za g(z) za g (z)
Ejercicio resuelto 76 Sea f una funcin entera verificando que lm f (z) = . Prueba
z
que f es una funcin polinmica.
Ejercicio resuelto 78 Sea f una funcin entera no constante verificando que | f (z)| = 1
para todo z C con |z| = 1. Prueba que f es de la forma f (z) = z n donde n es un
nmero natural y || = 1.
118. En cada uno de los siguientes casos, decidir si existe una funcin f holomorfa en
un entorno del origen, verificando que f (1/n) = an para todo nmero natural n su-
ficientemente grande:
a) a2n = 0, a2n1 = 1
1
b) a2n = a2n1 = .
2n
n
c) an = .
n+1
119. Sea f una funcin entera tal que f (R) R. Prueba que f (z) = f (z) para todo z C.
120. Sea un dominio en C. Justifica que el anillo H () de las funciones holomorfas en
es un dominio de integridad, es decir, no tiene divisores de cero.
121. Sean f y g funciones holomorfas en un dominio . Supongamos que hay una suce-
sin {an } de puntos de que converge a un punto a con an 6= a y f (an )g(an ) =
g (an ) f (an ) para todo n N. Prueba que las funciones f y g son linealmente depen-
dientes.
esto es, el valor que toma f en el centro de una circunferencia es la media de los valores
que toma en la circunferencia. Adems
1 w
| f (a)| 6 f (a + Reit ) dt (desigualdad de la media)
2
3.9 Principio del mximo para funciones subarmnicas. Una funcin subarmnica
en un dominio que alcanza un mximo absoluto es constante.
A = {z : (z) = (a)}
Es claro que a A y que A es cerrado relativo a . Sea b A y R > 0 tal que D(b, R) .
Podemos escribir [
D(b, R) = C(b, r)
06r<R
Para probar que D(b, R) A y, por tanto, que A es abierto veamos que cada circunferencia
C(b, r) se queda dentro de A.
luego
1 w
(a) (b + r eit ) dt 6 0
2
Pero la funcin (real) que estamos integrando verifica que (a) (b + r eit ) > 0 para todo
t [, ] puesto que alcanza en a un mximo absoluto. Como la integral de una funcin
positiva no puede ser un nmero negativo, deducimos que
w w
0= (a) (b + r eit ) dt = (a) (b + r eit ) dt
Obtenemos as que b + r eit A para todo t [, ], escrito de otra forma C(b, r) A. Con-
cluimos que A es abierto y, por conexin, que A = X
Teniendo en cuenta que una funcin real continua en un compacto alcanza un mxi-
mo absoluto, del resultado anterior se deduce fcilmente el siguiente corolario.
3.11 Principio del mdulo mximo. Una funcin holomorfa en un dominio cuyo m-
dulo alcanza un mximo relativo es constante.
Demostracin. Sea un dominio, f H (). La hiptesis nos dice que existe a , > 0
tal que D(a, ) y | f (a)| > | f (z)| para z D(a, ).
Sabemos que | f (z)| es una funcin subarmnica en . Aplicando el teorema 3.9 a (z) =
| f (z)| en el dominio D(a, ) obtenemos que | f (z)| es constante en D(a, ). Por la proposi-
cin 1.31, sabemos que si el mdulo de una funcin holomorfa en un dominio es cons-
tante entonces la funcin es constante. Deducimos as que f es constante en D(a, ). Apli-
cando el principio de identidad, teorema 3.2, concluimos que f es constante en todo .
3.12 Principio del mdulo mnimo. Una funcin holomorfa en un dominio cuyo m-
dulo alcanza un mnimo relativo distinto de cero es constante.
1 1
|g(z 0 )| = > = |g(z)| z D(z 0 , )
| f (z 0 )| | f (z)|
Por el principio del mdulo mximo g es constante en D(a, ), luego tambin lo es f . Por
el principio de identidad se sigue que f es constante en . X
(a) Si | f | alcanza el mximo en un punto interior, el principio del mdulo mximo nos
asegura que f es constante en y, por continuidad, f es constante en , en cuyo
caso se verifica la igualdad del enunciado.
2 2
(x, y) + 2 (x, y) = 0
x 2 y
Observa que aunque los nombres subarmnica y armnica suenan parecidos, los
conceptos que definen son totalmente distintos, puesto que ser subarmnica se define
por una propiedad global que involucra un promedio integral, mientras que ser arm-
nica es una propiedad local pues viene expresada por medio de derivadas parciales.
Demostracin. Razonemos por induccin. Sea Pn la afirmacin siguiente: las partes real
e imaginaria de toda funcin holomorfa en son funciones de clase C n en .
u v v u
f= +i = i
x x y y
Pero, en virtud del teorema de Taylor, sabemos que f vuelve a ser holomorfa en , luego
su parte real e imaginaria son continuas.
u u
f (x + iy) = (x, y) i (x, y) x + iy
x y
Demostracin. Como u tiene derivadas parciales de segundo orden continuas, sus deri-
vadas parciales de primer orden son diferenciables. Adems se cumplen las ecuaciones
de CauchyRiemann para f :
u u
= por ser u armnica
x x y y
u u
= por ser u de clase C 2
y x x y
Acabamos de probar que la parte real de cualquier funcin holomorfa es una funcin
armnica. Es cierto el recproco? Es decir, si tenemos una funcin armnica en un
abierto existe una funcin f holomorfa en tal que sea la parte real de f ? En general
esto no va a ser cierto y el que lo sea va a depender de las propiedades topolgicas del
abierto . El siguiente resultado es una primera aproximacin a este problema.
Llamemos u = Re F, v = Im F. Resulta
u u u u
F (z) = (x, y) i (x, y) = f (x + iy) = (x, y) i (x, y)
x y x y
deducimos que u u tiene derivadas parciales nulas en el dominio y por tanto es cons-
tante, es decir, u = u + para algn R. Concluimos que u = Re(F + ). X
3.18 Corolario. Toda funcin armnica en un dominio estrellado es la parte real de una
funcin holomorfa en dicho dominio.
3.19 Corolario. Una funcin u es armnica en un abierto si, y slo si, para todo disco
D(a, R) contenido en existe una funcin holomorfa en dicho disco, fa H (D(a, R)), tal
que u(x, y) = Re fa (x + i y) para todo x + i y D(a, R).
Este resultado implica que localmente las funciones armnicas son partes reales de
funciones holomorfas. Esto nos proporciona una herramienta muy til para obtener pro-
piedades locales de las funciones armnicas. El siguiente resultado es un ejemplo de esto.
3.20 Igualdad de la media para funciones armnicas. Las funciones armnicas veri-
fican la igualdad de la media. Esto es, dados u A (), a y R > 0 tal que D(a, R)
entonces
1 w
u(a) = u(a + Reit ) dt
2
Hasta ahora hemos respondido afirmativamente, sin mucho esfuerzo, a dos de las
preguntas que nos planteamos al definir el concepto de funcin armnica, esto es, he-
mos visto que toda funcin armnica es de clase C y verifica la igualdad de la media.
Responder a la ltima pregunta requerir un poco ms de trabajo.
3.21 Principio de extremo para funciones armnicas. Sea u una funcin armnica en
un dominio y supongamos que u alcanza en algn punto de un extremo relativo.
Entonces u es constante en .
Sea, pues, a un mximo relativo de u. Sea > 0 tal que D(a, ) y u(z) 6 u(a) para
todo z D(a, ). Acabamos de ver que las funciones armnicas verifican la igualdad de la
media luego, en particular, toda funcin armnica es subarmnica. Podemos aplicar, por
tanto, el principio del mximo para funciones subarmnicas a la funcin u en el disco
u u
D(a, ) y deducimos que u es constante en dicho disco. Sea f (x + iy) = (x, y) i (x, y)
x y
para (x, y) . Puesto que u es armnica, sabemos que la funcin f as definida es holo-
morfa en . Lo anterior implica que f (z) = 0 para todo z D(a, ) luego, por el principio
u u
de identidad, f (z) = 0 para todo z . Por tanto (x, y) = (x, y) = 0 para todo (x, y) ,
x y
lo que implica que u es una funcin constante en como queramos probar. X
3.22 Principio de identidad para funciones armnicas. Sean u y v dos funciones ar-
mnicas definidas sobre un dominio tales que el conjunto donde coinciden tiene in-
terior no vaco. Entonces ambas funciones coinciden sobre todo .
A = {z : u(z) = v(z)}
Tomamos > 0 de forma que D(a, ) A con lo cual se cumple que u(z) v(z) = 0 para
todo z D(a, ), luego u v es constante (igual a cero) en D(a, ), en particular, todo punto
de D(a, ) es un extremo relativo de u v. El resultado anterior afirma entonces que u v
es constante (igual a cero) en , es decir, u y v coinciden en . X
max{u(z) : z } = max{u(z) : z Fr }
mn{u(z) : z } = mn{u(z) : z Fr }
max{v(z) u(z) : z } = 0
mn{v(z) u(z) : z } = 0
El corolario anterior afirma que una funcin armnica est determinada de manera
nica por los valores que toma en la frontera de un dominio acotado. Surge as el llamado
problema de Dirichlet:
Para dominios acotados, por lo que acabamos de ver, la solucin de este problema, si
existe, es nica. Por supuesto la existencia de solucin depende de cmo sea . Vamos a
resolver el problema de Dirichlet para el caso de que sea un disco.
3.24 Lema. Sea f una funcin continua en D(a, R) y holomorfa en D(a, R). Entonces
w
(a) f (z) dz = 0
C(a,R)
1 w f (w)
(b) Para todo z D(a, R) se verifica que f (z) = dw .
2i wz
C(a,R)
es holomorfa en C \ .
(w)
converge uniformemente a cuando w . Permutando la integral con la suma de
wz
la serie se tiene
X w (w)
h(z) = dw (z a)n z D(a, )
(w a)n+1
n=0
3.26 Frmula de Poisson. Sea f : D(0, 1) C una funcin continua en D(0, 1) y holo-
morfa en D(0, 1). Entonces para todo z D(0, 1) se verifica que
it
1 w e +z
f (z) = Re it f (eit ) dt
2 e z
f (w)
La aplicacin w 7 es holomorfa en D(0, 1) porque al ser |1/z| = 1/ |z| > 1 el de-
w 1/z
nominador no se anula en D(0, 1). Adems dicha funcin es continua en D(0, 1). Por el
lema 3.24(a) tenemos que
1 w f (w)
0= dw
2i w 1/z
C(0,1)
Por tanto podemos escribir:
1 w f (w) f (w) 1 w f (eit ) f (eit )
f (z) = dw = eit dt =
2i w z w 1/z 2 eit z eit 1/z
C(0,1)
1 w z z it 1 w z
= 1 + it + f (e ) dt = 1 + 2 Re it f (eit ) dt =
2 e z eit z 2 e z
it
1 w z it 1 w e +z
= Re 1 + 2 it f (e ) dt = Re it f (eit ) dt
2 e z 2 e z
Finalmente, basta tomar partes reales en la igualdad anterior para obtener la segunda
igualdad del enunciado. X
La igualdad 3.1 nos da la clave para resolver el problema de Dirichlet para discos pues
permite calcular los valores de una funcin armnica en el interior del disco unidad co-
nociendo sus valores en la frontera.
b(z) = (z) para z C(0, 1)
es armnica en D(0, 1), continua en D(0, 1), coincide con en C(0, 1) y es la nica fun-
cin que cumple estas condiciones.
Demostracin. Para probar que b es armnica observamos que por ser una funcin
que toma valores reales podemos escribir para |z| < 1
!
w it w
1 e +z 1 w + z (w)
b(z) = Re (eit ) dt = Re dw
2 eit z 2 i wz w
C(0,1)
1 w w + z (w)
F(z) = dw
2i wz w
C(0,1)
1 w (w) z w (w)/w
F(z) = dw + dw (|z| < 1)
2 i w i wz
C(0,1) C(0,1)
La primera de las integrales es un nmero complejo, la segunda es holomorfa por ser del
tipo Cauchy.
Sea M > 0 tal que |(z)| 6 M para todo z C(0, 1) . Dado > 0, sea > 0 tal que
(e ) (1) 6 siempre que |t| 6
it
(3.4)
2
En lo que sigue consideraremos z D(0, 1) tal que
n o
|z 1| < mn sen /2, sen2 /2 (3.5)
8M
Ahora, para 6 |t| 6 tenemos que
it
e z > 1 eit |1 z| = 2 |sent/2| |1 z| > 2 sen /2 |1 z| (3.5)
> sen /2 (3.6)
Teniendo en cuenta la igualdad 3.3, tenemos que
d 1 w 1 |z|2
(z) (1) 6 |(e it) (1)| dt =
2 |eit z |2
1 w 1 |z|2 1 w 1 |z|2 (3.4)
= 2
|(e it) (1)| dt + 2
|(e it) (1)| dt 6
2 |eit z | 2 |eit z |
6|t|6
(3.4) 1 w 1 |z|2 1 w 1 |z|2 (3.2)
6 2
dt + 2
2M dt 6
2 |eit z | 2 2 |eit z |
6|t|6
Consideremos la funcin h : C(0, 1) R dada por h(z) = (z 0 z) para todo zC(0, 1) . Y sea
b
h : D(0, 1) R definida por
it
b 1 w e +z
h(z) = Re it h(eit ) dt , |z| < 1
2 e z
b
h(z) = h(z) para z C(0, 1)
b(z) = lm
lm b(z 0 z) = lm b
h(z) = h(1) = (z 0 )
zz 0 z1 z1
|z| < 1 |z|< 1 |z| < 1
3.28 Teorema. Sea aC y R > 0. Dada una funcin continua : C(a, R) R, la funcin
b : D(a, R) R definida por
it
1 w R e +(z a)
b (z) = Re (a + R eit ) dt , z D(a, R)
2 R eit (z a)
b (z) = (z) para z C(a, R)
es armnica en D(a, R), continua en D(a, R), coincide con en C(a, R) y es la nica
funcin que cumple estas condiciones.
Demostracin. Sea D(a, r) . Por el teorema anterior existe una funcin ub armnica en
D(a, R) y continua en D(a, R) que coincide con u en la frontera del disco, es decir, ub(z) = u(z)
para z C(a, R) . Veamos que u y ub deben ser la misma funcin.
Consideremos las funciones ubu y u ub. Dichas funciones son subarmnicas en D(a, R)
(puesto que tanto ub como u verifican la igualdad de la media) y continuas en D(a, R). El
principio del mximo para funciones subarmnicas afirma que el mximo lo deben al-
canzar en la frontera. Pero
Llamemos = mn{| f (z) w0 | : z C(z 0 , ) } y veamos que D(w0 , /2) f (U). Razona-
mos por reduccin al absurdo. Supongamos que existe w D(w0 , /2) tal que w 6 f (U).
Sea
1
g(z) = , zU
f (z) w
La funcin g as definida es holomorfa en U, adems
1 1 2
|g(z 0 )| = > =
|w0 w| /2
z0
w0
C(z0 , )
f (C(z0 , ) )
Hemos probado que en el centro del disco D(z 0 , ) U el mdulo de g toma un valor
|g(z 0 )| > 2/ mientras que en la frontera de dicho disco toma valores menores que 2/.
Esto contradice el principio del mdulo mximo que afirma que |g| debe alcanzar su m-
ximo en D(z 0 , ) siempre en la frontera. X
3.31 Lema. Dada una funcin f H (), se verifica que la funcin g : C dada
por
f (z) f (w)
g(z, w) = z 6= w
zw
g(z, z) = f (z) z=w
es continua en .
Dado > 0 por la continuidad de f existe > 0 tal que D(a, ) y para z D(a, )
se tiene que | f (z) f (a)| < . Veamos que dicho cumple la condicin de continuidad
w w1
f (z) f (w) = f () d = f (1 t)w + tz (z w) dt
[w,z] 0
1
f (z) f (w) w
con lo cual g(z, w) = = f (1 t)w + tz dt . Ahora bien
zw
0
w1
g(z, w) f (a) = f (1 t)w + tz f (a) dt
0
tomando mdulos
w1
|g(z, w) f (a)| 6 f (1 t)w + tz f (a) dt <
0
puesto que el segmento [z, w] D(a, ) y por tanto f (1 t)w + tz f (a) < para todo
t [0, 1]. X
Demostracin. Sea g la funcin del lema anterior. Por hiptesis g(a, a) = f (a) 6= 0. Sea
= | f (a)|. Puesto que g es continua tambin lo es |g|, luego existe > 0 tal que D(a, ) ,
y para z, w D(a, ) se cumple |g(z, w)| > /2 > 0. Esta condicin implica que para z 6= w en
D(a, ) es
| f (z) f (w)| > |z w| (3.7)
2
lo que prueba la inyectividad de f en D(a, ). Adems g(z, z) = f (z) 6= 0 para todo zD(a, ).
(wn ) (w) zn z 1 1
= =
wn w f (zn ) f (z) f (zn ) f (z) f (z)
zn z
1
lo que prueba que (w) = (z) donde w = f (z). X
f
3.33 Lema. Toda funcin holomorfa que no se anula en un dominio estrellado tiene lo-
garitmos holomorfos en dicho dominio. En particular, tiene races holomorfas de cual-
quier orden.
Demostracin. Sea un dominio estrellado y sea f H () tal que 0 6 f (). En tal caso
f (z)
la funcin es holomorfa en y, en virtud del teorema de Cauchy para dominios
f (z)
estrellados, se sigue que dicha funcin tiene primitivas en . En virtud del teorema 1.49,
sabemos que esto equivale a que f tiene un logaritmo holomorfo en . Es decir, existe
g H () tal que exp g(z) = f (z) para todo z . Dado mN la funcin h(z) = exp g(z)/m
es holomorfa en y verifica que
m m
h(z) = exp g(z)/m = exp g(z) = f (z) para todo z
El lema anterior nos asegura que tiene una raz m-sima holomorfa en el disco
D(a, ), esto es, existe g H (D(a, )) de forma que g(z)m = (z) para z D(a, ). Llame-
mos h(z) = (z a)g(z). Evidentemente h H (D(a, )) y verifica f (z) f (a) = h(z)m .
Tomemos ahora w D( f (a), ) \ { f (a)} con lo cual 0 < |w f (a)| < . Sean {w1 , . . . , wn }
las races de orden m del nmero complejo w f (a). Todas ellas se encuentran en el disco
D(0, m ). Puesto que D(0, m ) h D(a, ) y h es inyectiva en el disco D(a, ), existen exac-
tamente m puntos z1 , . . . , zk D(a, ) tales que h(zk ) = wk para 1 6 k 6 m. De todo lo anterior
obtenemos
m
f (zk ) f (a) = h(zk ) = w f (a)
con lo cual f (zk ) = w para k = 1, . . . , m. Finalmente, es inmediato comprobar que
Observa que el caso particular de este teorema para el caso de un cero de orden 1
contiene parte del teorema de inversin local.
(a) f (a) 6= 0
Demostracin.
(b) (a) Si fuese f (a) = 0 entonces la aplicacin z f (z) f (a) tendra un cero en a
de orden al menos 2. El teorema anterior afirma que en estas condiciones f toma
cualquier valor en un entorno de a al menos dos veces, luego no sera inyectiva en
contra de lo supuesto. X
En variable real una funcin derivable en un intervalo I con f (x) 6= 0 para todo x I
es inyectiva en I. El recproco no es cierto como lo prueba la funcin x 7 x3 . En variable
compleja acabamos de probar que esto ocurre al contrario, una funcin holomorfa in-
yectiva en tiene derivada no nula en todo punto de , mientras que el recproco no es
cierto como le ocurre a la funcin z 7 ez .
3.36 Teorema de inversin global. Sea f una funcin holomorfa en e inyectiva. En-
tonces f es una biyeccin biholomorfa de sobre f ().
Ejercicio resuelto 79 Sea f H (C) y supongamos que para cada z C hay alguna deri-
vada de f que se anula en z. Prueba que f es una funcin polinmica.
Ejercicio resuelto 82 Sea u una funcin armnica en todo el plano y supongamos que
existen nmeros reales positivos, a, b, tales que u(z) 6 a| log |z|| + b para todo z C .
Qu puede afirmarse de u?
Ejercicio resuelto 83 Sea f una funcin continua en el disco unidad cerrado y holo-
morfa en su interior, tal que f (z) = 0 para todo z = exp(it) con 0 6 t 6 /2. Prueba
que f (z) = 0 para todo z D(0, 1).
Solucin.
La simetra del problema lleva a considerar la funcin g(z) = f (z) f (iz) f (iz) f (z).
Veamos que g se anula en la circunferencia unidad.
Sea z = eit , entonces:
Deducimos que g(z) = 0 para todo z C(0, 1) . Como g es holomorfa en D(0, 1), que
es un dominio acotado, y es continua en D(0, 1); en virtud del principio del mdulo
mximo, sabemos que:
Sea 0 < < 1, y z 6= 0 tal que |z| < . Puesto que g(z) = 0, se sigue que alguno de los
nmeros f (z), f (iz), f (iz), f (z) es igual a cero y, como | iz | = | z | = |z | < , con-
cluimos que f se anula en algn punto de D(0, )\{0}, es decir, si Z( f ) es el conjunto
de los ceros de f en D(0, 1), hemos probado que 0 Z( f ) D(0, 1). El principio de
identidad implica que f (z) = 0 para todo z D(0, 1) y, por continuidad, concluimos
que f (z) = 0 para todo z D(0, 1).
y, segn hemos probado, {z D(0, 1) : g(z) = 0} = D(0, 1). Lo cual lleva a contradic-
cin porque D(0, 1), que es un conjunto no numerable, no puede ser igual al con-
junto A (iA ) (A ) (iA ) el cual es numerable por ser unin finita de conjuntos
numerables. ,
Ejercicio resuelto 84 Sea f una funcin no constante, continua en el disco unidad ce-
rrado y holomorfa en su interior, tal que | f (z)| = 1 siempre que |z| = 1. Prueba que
f (D(0, 1)) = D(0, 1) .
Sugerencia: Sea U = f (D(0, 1)). Justifica que U = U D(0, 1).
Solucin.
Como f es holomorfa en D(0, 1), que es un dominio acotado, y es continua en D(0, 1);
en virtud del principio del mdulo mximo, sabemos que:
y concluimos que | f (z)| 6 1 para todo z D(0, 1), es decir1 , f (D(0, 1)) D(0, 1). Ade-
ms, como f no es constante, el mismo principio nos dice que ha de ser | f (z)| < 1
siempre que |z| < 1; es decir U = f (D(0, 1)) D(0, 1) (alternativamente: sabemos, en
virtud del teorema de la aplicacin abierta, que U es abierto y, al estar contenido
en el disco unidad cerrado, debe de estar contenido en su interior D(0, 1)). Hemos
probado que U U D(0, 1).
Para probar la inclusin contraria, sea w U D(0, 1). Por definicin de adherencia:
w = lm{wn } donde wn U , es decir, wn = f (zn ) para zn D(0, 1). Como la sucesin
{zn } es acotada, en virtud del teorema de Bolzano-Weierstrass, podemos suponer
sin prdida de generalidad que es convergente (en otro caso bastara sustituirla por
una parcial suya convergente). Sea, pues, lm{zn } = z. Naturalmente, zD(0, 1) y, por
continuidad de f , es f (z)=w. Adems, como |w|<1, se sigue de las hiptesis hechas,
que ha de ser |z| < 1. Concluimos as que w = f (z) f (D(0, 1)) = U .
Hemos probado que U = U D(0, 1). Se sigue que U es abierto (teorema de la apli-
cacin abierta) y cerrado relativo a D(0, 1) y, por conexin, ha de verificarse que
U = D(0, 1). Como f (D(0, 1)) es cerrado por ser la imagen continua de un compacto,
y f (D(0, 1)) U = D(0, 1), deducimos que f (D(0, 1)) D(0, 1) y, finalmente, conclui-
mos que f (D(0, 1)) = D(0, 1). ,
Ejercicio resuelto 85 Sea f una funcin entera no constante y supongamos que hay un
nmero complejo 6= 1 tal que f (z) = f (z) para todo z C.
a) Prueba que, f (z) = f (nz) para todo n Z y todo z C, y deduce que, necesaria-
mente, || = 1.
124. Sea f una funcin holomorfa no constante en el disco D(a, R). Para 0 < r < R defi-
namos
Prueba que las funciones r 7 M(r) y r 7 A(r) son estrictamente crecientes. Si se su-
pone que f es una funcin entera no constante entonces lm M(r) = lm A(r) = +.
r+ r+
125. Sea un dominio acotado del plano y { fn } una sucesin de funciones continuas en
y holomorfas en . Prueba que si { fn } converge uniformemente en la frontera de
tambin converge uniformemente en .
126. Sean 1 y 2 abiertos del plano, g : 1 C continua con g(1 ) 2 y f H(2 ) tal
que f (z) 6= 0 z 2 . Prueba que si f g es holomorfa en 1 tambin lo es g.
127. Sea f una funcin entera tal que f (z) R para |z| = 1. Prueba que f es constante.
129. Sea f H(C ) tal que lm f (z) = lm f (z) = . Prueba que f tiene un cero en C .
z0 z
130. Justifica que no puede existir una funcin f H (D(0, 1)) tal que para todo w con
|w| = 1 se tenga lm f (z) = .
zw
131. Sea f H (D(0, 1)) y verificando que | f (z 2 )| > | f (z)| para todo z D(0, 1). Prueba que
f es constante.
135. Sea f una funcin polinmica de grado n > 1. Supongamos que | f (z)| 6 1 siempre
que |z| = 1. Prubese que | f (z)| 6 |z|n siempre que |z| > 1.
136. Sea f una funcin entera acotada en el conjunto de puntos (R + i Z) (Z + i R). Jus-
tifica que f es constante.
137. Sea f una funcin entera no constante. Dado un nmero > 0, definamos:
es estrictamente decreciente.
4.1. Introduccin
141
4.1 Introduccin 142
Supuesto que z 6
tenemos que
w f (w) f (z) w f (w) w 1
0= dw = dw f (z) dw
wz
wz
wz
de donde w w f (w)
1
f (z) dw = dw
wz
wz
Queda claro, por estas consideraciones, que para responder a los problemas plantea-
w 1
dos debemos empezar estudiando la integral dw donde z 6 .
w z
Sea : [a, b] C una curva regular cerrada y z 6 . Pongamos (t) = (t) z. Tenemos
w w (t) b w (t) b
1
dw = dt = dt
wz a
(t) z a
(t)
Esta igualdad nos indica que debemos buscar un logaritmo derivable de . Para ello es
suficiente, por ser derivable (ver proposicin 1.47), que encontremos un argumento
continuo de , es decir, una funcin : [a, b] R continua en [a, b] y (t) Arg (t) para
todo t [a, b]. Supuesto encontrado tal argumento continuo, definimos (t) = log |(t)| +
i(t). La funcin as definida es un logaritmo derivable de y
(t)
(t) = , para todo t [a, b]
(t)
lo que nos permite calcular la integral anterior sin ms que aplicar la regla de Barrow
w 1
dw = (b) (a) = log |(b)| + i(b) log|(a)| i(a) = i((b) (a)) = i2k
wz
La ltima igualdad es consecuencia de que (a) y (b) son argumentos del mismo nme-
ro complejo (a) = (b) luego su diferencia es un mltiplo entero de 2.
4.1 Teorema. Toda curva : [a, b] C tiene argumentos continuos. Es decir, exis-
te una funcin : [a, b] R continua y que verifica que (t) Arg( (t)) para todo
t [a, b]. Adems si 1 , 2 son dos argumentos continuos de entonces se verifica que
1 (b) 1 (a) = 2 (b) 2 (a).
(t2 )
(tn )
(t0 ) (t4 )
Consideramos ahora para cada k, k : [tk1 ,tk ] R dada por k (t) = Ak ( (t)) Arg( (t)).
Definida 1 debemos ajustar 2 para que no perdamos la continuidad en el punto t1 . De
la misma forma debemos ajustar 3 para no perder la continuidad en t2 , etc.
Para hacer esto llamemos 2 mk = k (tk ) k+1 (tk ) y definimos : [a, b] R como sigue:
(t) = 1 (t) t0 = a 6 t 6 t1
(t) = 2 (t) + 2m1 t1 6 t 6 t2
(t) = 3 (t) + 2(m1 + m2 ) t2 6 t 6 t3
.. ..
. .
(t) = n (t) + 2(m1 + m2 + + mn1 ) tn1 6 t 6 tn = b
En general
k1
X
(t) = k (t) + 2 mj tk1 6 t 6 tk k = 1, . . . , n
j=1
Observacin
No hay que confundir un argumento continuo de una curva con un argumento con-
tinuo en el soporte de . As, si (t) = eit , la funcin (t) = t para 6 t 6 es un argumen-
to continuo de pero en la imagen = C(0, 1) sabemos que no hay ningn argumento
continuo.
4.2 Definicin. Sea una curva definida en un intervalo [a, b]. Supongamos que z 6 y
sea un argumento continuo de la curva z. Se define la variacin del argumento de z
a lo largo de como el nmero
(z) = (b) (a)
Cuando la curva es cerrada, se define el ndice de z respecto de como el nmero entero
Geomtricamente, (t) es una medida del ngulo que forma con el eje de abscisas el
segmento que une z con (t). Cada vez que da una vuelta completa alrededor de z en
sentido contrario al de las agujas del reloj (t) aumenta en 2 y si la vuelta es en el sentido
de las agujas del reloj (t) disminuye en 2. Por ello, como ya observamos antes, Ind (z)
representa el nmero de veces que la curva rodea al punto z teniendo en cuenta que
vueltas alrededor de z en sentido opuesto se cancelan.
El teorema anterior nos asegura que el ndice est bien definido y no depende del
argumento continuo que escojamos.
4.3 Propiedades del ndice. Dada una curva cerrada : [a, b] C, la funcin definida
para z C \ por z 7 Ind (z) tiene las propiedades:
Demostracin.
2. Sea R > 0 tal que | (t)| < R para todo t [a, b] y elijamos z 0 de modo que Re z 0 < R.
Evidentemente z 0 6 y luego Re( (t) z 0 ) > 0. Hemos trasladado la curva al semiplano
de la derecha. En dicha regin tenemos un argumento continuo, el argumento principal.
Definimos
(t) = arg( (t) z 0 )
que es un argumento continuo de z 0 y adems (a) = (b), por tanto, Ind (z 0 ) = 0.
Al comienzo del captulo obtuvimos una expresin integral del ndice de una curva
respecto de un punto, que vamos a recoger en el siguiente resultado.
es un logaritmo continuo de (t) z. Sea a = t0 < t1 < < tn = b , una particin del inter-
valo [a, b] de forma que |[tk1 ,tk ] es derivable. Entonces k = |[tk1 ,tk ] es derivable y
(t)
k (t) = , tk1 < t < tk
(t) z
Integrando
b n tk n
1 w 1 1 w (t) 1 X w (t) 1 X
dw = dt = dt = k (tk ) k (tk1 ) =
2i w z 2i (t) z 2i (t) z 2i
a k=1 tk1 k=1
n
1 X 1
= (tk ) (tk1 ) = (b) (a) =
2i 2i
k=1
1
= log | (b) z| + i(b) log| (a) z| i(a) = (ya que (a) = (b)) =
2i
1
= i((b) (a)) = Ind (z) X
2i
4.2.1. Cadenas
En lo que sigue nos va a interesar integrar en varios caminos al mismo tiempo por lo
que es conveniente introducir la terminologa de cadenas. Una cadena es una combi-
nacin lineal formal con coeficientes enteros de caminos, es decir, una expresin de la
forma
= m1 1 + m2 2 + + mq q
donde cada i es un camino y cada mi es un entero. El smbolo + que hemos escrito
en la expresin anterior no representa a la suma de funciones ni a la yuxtaposicin de
caminos, es una manera de decir que la cadena est formada por varios caminos. Por
ejemplo, podemos considerar la cadena
que est formada por tres circunferencias, la ltima de ellas considerada dos veces y re-
corrida en sentido contrario.
= 1 2 q
y la longitud de por
q
X
() = m j ( j )
j=1
Por definicin, para integrar una funcin sobre una cadena se integra la funcin sobre
cada uno de los caminos que forman la cadena y se suman dichas integrales.
w q w
X
f (z) dz = mj f (z) dz
j=1 j
+ = m1 1 + + mq q + k1 1 + + k p p
Evidentemente se cumple
w w w
f (z) dz = f (z) dz + f (z) dz
+
Como caso particular de cadenas tenemos los ciclos. Un ciclo es una cadena formada
por caminos cerrados. En el ejemplo anterior era un ciclo pues estaba formado por
circunferencias.
q
X
Ind (z) = m j Ind j (z)
j=1
4.5 Proposicin. Dado un ciclo , la funcin z 7 Ind (z) es continua, luego constante
en componentes conexas de C \ y vale 0 en la componente conexa no acotada.
Entonces h es continua en .
Si adems para cada w la funcin Fw : C dada por Fw (z) = F(z, w) es holomorfa
en , entonces h H ().
|h(z n ) h(z 0 )| 6 ()
para todo n > n0 . Luego {h(z n )} h(z 0 ) lo que prueba la continuidad de h en z 0 y por ser
este punto arbitrario obtenemos la continuidad en .
c a
"d # " #
wb w w w
= F((s), (t)) (s) ds (t) dt = F(z, w) dz dw
a c
4.9 Forma general del Teorema de Cauchy y de la Frmula Integral de Cauchy. Sea
un abierto en C, un ciclo en nulhomlogo respecto de . Entonces para toda funcin
holomorfa f en se verifica:
w
(I) f (z) dz = 0
1 w f (w)
(II ) f (z) Ind (z) = dw , para todo z \
2i w z
F0 : 0 C
f (w)
(z, w) 7 F0 (z, w) =
wz
F0 est bien definida ya que w z 6= 0 por ser 0 = y adems es continua. Fijado
w , F0w H (0 ) ya que se trata de una funcin racional.
Sea w w f (w)
h0 (z) = F0 (z, w) dw = dw
wz
Veamos que est bien definida, es decir, si z 0 entonces h(z) = h(z 0 ). Pero esto es
cierto ya que si z 0 entonces z 6 y
w f (w) f (z) w f (w) w 1 w f (w)
h(z) = dw = dw f (z) dw = dw f (z) Ind (z)2i = h0 (z)
wz wz wz wz
ya que z 0 y por tanto Ind (z) = 0. Concluimos que es entera ya que es holomorfa en
0 = C.
Sea R > 0 tal que |w| < R para cualquier w . Si z C es tal que |z | > R, entonces z
est en la componente conexa no acotada de C \ y, por tanto, est en 0 . Luego
w f (w)
(z) = h0 (z) = dw
wz
1 w f (w)
f (z) Ind (z) = dw para todo z \
2 i w z
1 w (w a) f (w) 1 w
0 = g(a) Ind (a) = dw = f (w) dw
2 i wa 2 i
4.11 Ejemplo. Sea el abierto el plano complejo C al que le hemos quitado tres puntos
a, b y c. Pretendemos calcular la integral de una funcin holomorfa en a lo largo del
camino que se presenta en la figura 4.2
Demostracin.
(d) (e) Sea f H () con f (z) 6= 0 para z. Consideremos un disco D(a, r) . Como
consecuencia del lema 3.33 existe g H () tal que exp g(z) = f (z) para todo z D(a, r).
Por tanto log | f (z)| = Re exp g(z) para todo z D(a, r) y, por tanto, log | f (z)| es armni-
ca en D(a, r). Como esto es cierto para cualquier disco abierto contenido en conclui-
mos que log | f (z)| es armnica en . Por hiptesis existe una funcin h H () tal que
exp h(z)
log | f (z)| = Re h(z) para todo z . Definamos : C por (z) = . Tenemos
f (z)
que
exp h(z) exp Re h(z) exp log | f (z)|
|(z)| = = = =1
| f (z)| | f (z)| | f (z)|
lo que, en virtud de la proposicin 1.31, implica que es constante en cada componen-
te conexa de y por tanto (z) = 0 para todo z . Calculando (z) obtenemos que
f (z)
h (z) = lo que, en virtud del teorema 1.49, implica que f tiene logaritmos holomor-
f (z)
fos en .
aprecia la gran ventaja de haber definido el ndice para curvas cerradas cualesquiera y no
solamente para caminos cerrados.
Demostracin.
(t) z (t) (t)
(t) z = ( (t) z) = ( (t) z) 1 +
(t) z (t) z
Sea un argumento continuo de z en [a, b]. Teniendo en cuenta que el nmero
(t) (t)
w(t) = 1 +
(t) z
est en el disco D(1, 1) y, por tanto, est en el semiplano de la derecha, se sigue que la
funcin : [a, b] R dada por (t) = (t) + arg(w(t)) es un argumento continuo de z
en [a, b]. Como w(a) = w(b) se sigue que
4.15 Definicin. Se dice que dos curvas cerradas , : [a, b] C en un abierto son ho-
motpicas (como curvas cerradas) en si existe una funcin continua H : [0, 1] [a, b]
tal que se verifica:
La idea que subyace en esta definicin es sencilla. Para cada s [0, 1] notemos por
Hs : [a, b] C la funcin dada por Hs (t) = H(s,t) para todo t [a, b]. Lo que tenemos en-
tonces es una familia {Hs : s [0, 1]} de curvas en . Dichas curvas son cerradas porque
H(s, a) = H(s, b) y, a medida que el parmetro s recorre el intervalo [0, 1], las curvas de esta
familia se van desplazando de forma continua sin salirse de desde la curva inicial H0 =
hasta la curva final H1 = . Intuitivamente, lo que hace la funcin H es una deformacin
continua sin salirse de de la curva cerrada en la curva cerrada a travs de las curvas
cerradas Hs .
4.16 Lema. Sean , : [a, b] C dos caminos cerrados en un abierto que son homot-
picos en . Entonces y son homolgicamente equivalentes respecto de .
Demostracin. Por hiptesis existe una funcin continua H : [0, 1] [a, b] tal que,
con las notaciones de la definicin anterior, H0 = , H1 = y Hs (a) = Hs (b) para todo s
[0, 1]. Sea z 6 y definamos = mn {|z H(s,t)| , (s,t) [0, 1] [a, b]}. Por la continuidad
uniforme de H en el compacto [0, 1] [a, b] existe > 0 tal que
)
s, s [0, 1] y |s s | <
H(s,t) H(s ,t ) <
t, t [a, b] y |t t | <
En estas condiciones el lema anterior nos dice que IndHs (z) = IndHs (z). Deducimos que
la funcin s 7 IndHs (z) es localmente constante y por tanto continua en el intervalo [0, 1]
y, como los intervalos son conjuntos conexos, deducimos que dicha funcin ha de ser
constante y, en particular, Ind (z) = IndH0 (z) = IndH1 (z) = Ind (z). X
R > 0 tal que D(0, R). Sea U la componente conexa no acotada de C \ . Claramente U
contiene a C \ D(0, R) y como, por hiptesis, C no est acotada deducimos que C U 6= .
Como C C \ C \ , se sigue que C U y, por tanto, z U lo que, segn sabemos,
implica que Ind (z) = 0. X
4.19 Definicin. Una abierto se llama simplemente conexo cuando toda curva cerrada
en es homotpica en a una curva constante.
que es una unin de conjuntos conexos con interseccin no vaca lo que prueba
que B es conexo. Resulta as que B es la componente conexa no acotada de C \ ,
luego Ind (z) = 0 para todo z B. ,
Ejercicio resuelto 87 Justifica que el ndice de un punto respecto de una curva cerrada
es invariante por giros, homotecias y traslaciones.
Solucin.
Sea g(z) = z + donde C . Se trata de probar que si : [a, b] C es una curva
cerrada y z / , entonces se verifica que Ind (z) = Indg (g(z)). Esto justifica que el
ndice es invariante por traslaciones ( = 1), por homotecias ( > 0, = 0) y por giros
(| | = 1, = 0).
Sea : [a, b] R un argumento continuo de z. Como
g (t) g(z) = (t) z
se sigue que (t) = (t) + arg() es un argumento continuo de g g(z). Por tanto
= [a i b, a + i b, a + i b, a i b, a i b] (a > 0, b > 0)
(4) (0)
Ind (0) = =
2
(4) (3) + (3) (2) + (2) (1) + (1) (0)
= =
2
3 (0) + 2(0) + 1(0) + 0(0)
=
2
donde hemos puesto k = [zk , zk+1 ], (k = 0, 1, 2, 3). Calcularemos ahora la variacin
del argumento a largo de cada uno de dichos segmentos. Como los segmentos k
Por lo que
Como esto se cumple cualquiera sea el camino cerrado en , deducimos que f tie-
ne primitiva en . Observa que no tiene por qu ser homolgicamente conexo. ,
Ejercicio resuelto 91 Sea un camino cerrado en C tal que Ind (z) {0, 1} para todo
z C \ . Supongamos que Ind (0) = 1. Sea f una funcin entera. Calcula el valor de
la integral
1 w z f (w)
dw
2 i (z w)w
z w f (w)/w
dw .
2 i wz
Esto lleva a considerar la funcin f (z)/z. Esta funcin no est definida en 0 pero es
fcil modificarla para obtener una funcin entera. Para ello definimos la funcin
f (z) f (0)
g(z) = para z 6= 0 y g(0) = f (0). Es claro que g es una funcin entera. En
z
virtud de la frmula de Cauchy se verifica que
1 w g(w)
g(z)Ind (z) = dw .
2 i w z
Como
1 1 1 1
=
w(w z) z wz w
deducimos que
1 w g(w)
g(z) = dw .
2 i w z
de donde
1 w z f (w)
f (0) f (z) = dw
2 i (z w)w
Para z = 0 resulta
1 w f (w) 1 w f (0) 1 w f (w)
f (0) = dw dw = dw
2 i
w2 2 i
w2 2 i
w2
Otra forma de hacer este ejercicio es considerar el ciclo = C(0, R) el cual es nul-
homlogo respecto de C y aplicar el teorema de Cauchy directamente a la funcin
f . Razonando de esta manera no se precisa suponer que f es entera sino solamente
que es holomorfa en C . ,
145. Prueba que si dos abiertos son homeomorfos y uno de ellos es simplemente conexo
el otro tambin lo es.
146. Sea :[0, +[ C una funcin continua tal que (0)=0 y lm (t)=. Justifica que
t+
el conjunto = C\{(t) :t > 0} es abierto y que existe f H () tal que exp( f (z)) = z
para todo z .
147. Sea un abierto simplemente conexo del plano que no contiene al cero y contiene a
R+ . Justifica que existe f H () tal que f (x) = xx para todo xR+ . Puede suprimirse
la hiptesis de que sea simplemente conexo?
148. Sea la elipse de centro (0, 0) y semiejes a y b. Calcula de dos formas distintas la
w dz w2 dt
integral y deduce el valor de .
z a cos t + b 2 sen2 t
2 2
0
Claramente D(a, r) \ {a} = A(a; 0, ). Sabemos que una funcin holomorfa en un disco
D(a, r) es igual a la suma de su serie de Taylor centrada en a y que dicha serie converge
por lo menos en dicho disco. Queremos ahora obtener una representacin de una fun-
cin holomorfa en un anillo por medio de una serie convergente en dicho anillo. La con-
sideracin de algunos casos sencillos nos puede dar la pista del tipo de series apropiadas
para tal fin.
X (1)n 1
sen(1/z) = 2n+1
para todo z A(0; 0, +)
(2n + 1)! z
n=0
q1
X X
ez 1 1 1
= + (z a)nq para todo z A(a; 0, +)
(z a)q n! (z a)qn
n=q
n!
n=0
X
1 1 X (1)n+1 n+1
exp(1/z) + log(1 + z) = + z para todo z A(0; 0, 1)
n! z n n+1
n=0 n=0
an X X
Las series anteriores son todas ellas de la forma n
+ bn (z a)n , es decir, son
(z a)
suma de dos series (alguna de ellas puede reducirse a una suma finita o incluso no tener
ningn trmino); una es una serie de potencias centrada en a y la otra es una serie en
potencias negativas de z a. Tales series se llaman series de Laurent. Vamos a definirlas
de manera formal y a introducir la notacin especial que suele usarse para este tipo de
series que consiste en que, por comodidad de notacin, los coeficientes de las potencias
negativas de z a se notan con subndices negativos de la forma cn .
f0 (z) = c0
cn
fn (z) = + cn (z a)n = cn (z a)n + cn(z a)n z C \ {a}
(z a)n
X n
X +
X
lm fn (z) = lm cn (z a)n = cn (z a)n
n n
n >0 k=n n=
Supongamos que 1/R < R + y consideremos el anillo A(0; , ) donde 1/R < < < R + .
P P
Como < R + la serie |cn | n converge; y como 1/ < R la serie |cn | n tambin
converge. Para todo z A(0; , ) tenemos que < |z a| < , y por tanto
X
la serie cn (z a)n . Hemos probado as que la serie converge absolutamente en el anillo
nZ
A(0; 1/R , R + ) y converge uniformemente en compactos contenidos en dicho anillo. Este
anillo se llama anillo de convergencia de la serie de Laurent. Es fcil probar que en el exte-
rior de dicho anillo no hay convergencia porque el trmino general de la serie no tiende a
cero mientras que en su frontera nada puede decirse del comportamiento de la serie. En
el caso de que 1/R > R + el anillo de convergencia es vaco y se dice que se trata de una
serie de Laurent trivial.
Hemos probado que las series de Laurent no triviales definen funciones holomorfas en
anillos. El siguiente resultado nos dice que, recprocamente, cualquier funcin holomorfa
en un anillo es la funcin suma de una cierta serie de Laurent (nica) y proporciona una
expresin para sus coeficientes.
1 w f (w)
cn = dw (n Z)
2i (w a)n+1
C(a,)
Para z 6 A(a; r, R) o bien es |z a| > R, en cuyo caso Ind (z) = IndC2 (z) IndC1 (z) = 0; o bien
es |z a| 6 r, en cuyo caso Ind (z) = IndC2 (z) IndC1 (z) = 1 1 = 0. Luego el ciclo es nul-
C2
C1
R
r
a
f (w)
homlogo respecto del anillo. Como la funcin w 7 es holomorfa en A(a; r, R),
(w a)n+1
el teorema general de Cauchy nos dice que
w f (w) w f (w) w f (w)
0= n+1
dw = n+1
dw dw
(w a) (w a) (w a)n+1
C2 C1
Sea z A(a; r, R), fijo en lo que sigue. Elijamos 0 6 r < r1 < |z a| < r2 < R y consideremos
el ciclo = C(a, r2 ) C(a, r1 ). Observemos que Ind (z) = 1 puesto que z es interior a D(a, r2 )
y exterior a D(a, r1 ). Por la frmula integral de Cauchy
1
Desarrollamos ahora en serie geomtrica la funcin w 7 de dos formas distintas
wz
|z a|
segn que wC(a, r1 ) o wC(a, r2 ) . Supongamos que wC(a, r2 ) . Entonces <1y
|w a|
X
f (w) 1 1 1 f (w)
= f (w) = f (w) z a = (z a)n
wz w a (z a) wa 1 (w a)n+1
n=0
wa
serie que converge uniformemente para w C(a, r2 ) ya que est mayorada por
|z a|n |z a| n
=
|w a|n r2
|z a|
serie numrica convergente por ser una serie geomtrica de razn < 1.
r2
|w a|
Supongamos ahora que w C(a, r1 ) . Entonces <1y
|z a|
X
f (w) 1 f (w) 1 f (w) (w a)n
= f (w) = =
wz (w a) (z a) za 1 wa (z a)n+1
n=0
za
serie que converge uniformemente para w C(a, r1 ) ya que est mayorada por
n
|w a|n r1
=
|z a|n |z a|
r1
serie numrica convergente por ser una serie geomtrica de razn < 1.
|z a|
hemos probado que la serie de Laurent cuyos coeficientes son los del enunciado converge
en el anillo dado y su suma en dicho anillo es igual a la funcin f .
La unicidad de este desarrollo es fcil. Supongamos que tenemos otra serie de Laurent
que representa a f en el anillo A(a; r, R), es decir,
+
X
f (z) = dn (z a)n z A(a; r, R)
n=
entonces para r < < R los coeficientes de la serie vienen dados por
+
X
dn (w a)n
w w +
1 f (w) 1 n= 1 X w dn
ck = = dw = dw
2 i (w a)k+1 2 i (w a)k+1 2 i n= (w a)k+1n
C(a,) C(a,) C(a,)
1 w f (w)
cn = dw 0<<r
2i (w a)n+1
C(a,)
f (w)
son nulas para todo n > 1, pues la funcin w 7 es holomorfa en para todo
(w a)n+1
n > 1 y el camino C(a, ) es nulhomlogo respecto de (porque D(a, ) ) luego la parte
se tiene que g es holomorfa en \ {a} y, como g coincide con gb en el disco D(a, r), con-
cluimos que g es holomorfa en . Adems, la descomposicin anterior es nica, como
consecuencia de la unicidad del desarrollo de Laurent . Hemos probado el siguiente re-
sultado.
Demostracin. En efecto, sea > 0 tal que D(a, ) S = {a} y D(a, ) . Podemos apli-
car lo antes visto a la funcin f en el abierto D(a, ) para obtener que hay una funcin
ga H (D(a, )) tal que
1
f (z) = ga (z) + ha para todo z D(a, ) \ {a}
za
1
deducimos de esta igualdad que la funcin f (z) ha tiene lmite finito en a, es
za
decir, es regular en a. X
Dependiendo de que la funcin h sea una funcin polinmica o sea una funcin en-
tera no polinmica se distinguen dos tipos de singularidades.
4.25 Definicin. Supongamos que f tiene una singularidad (aislada) en el punto a y sea
X
X
cn
f (z) = n
+ cn (z a)n
(z a)
n=1 n=0
X
el desarrollo de Laurent de f en a. Pongamos h(z) = cn z n .
n=1
(z)
(c) Existe H () con (a) 6= 0 tal que f (z) = para todo z \ {a}.
(z a)k
Por tanto
X
X
(z a)k f (z) = cn (z a)n+k + cn (z a)n+k z D(a, r) \ {a}
n=0 n=1
Como la hiptesis afirma que la funcin (z a)k f (z) es regular en a, deducimos que la par-
te principal de este desarrollo debe ser nula, luego cn = 0 para n > k. En tal caso tenemos,
adems, que (a) = lmza (z a)k f (z) = ck . Esto nos proporciona el siguiente desarrollo
de Laurent para f :
X
c1 ck
f (z) = cn (z a)n + + +
za (z a)k
n=0
Esta caracterizacin nos hace ver que existe cierta similitud entre los polos de una fun-
cin holomorfa y las singularidades de una funcin racional (los puntos donde se anula
el denominador). De hecho, dada una funcin racional f (z) = P(z)/Q(z), donde P y Q son
funciones polinmicas sin factores comunes, es fcil probar, que las nicas singularida-
des de f son los ceros de Q los cuales son polos de f y el orden de cada polo de f coincide
con el orden de cada cero de Q. De hecho, esto es consecuencia del siguiente sencillo
resultado,
Demostracin.
[(a) (b)] La hiptesis implica que hay una funcin g H () tal que g(a) 6= 0 y f (z) =
(z a)k g(z) para todo z . De aqu se sigue que
1 1 1 1
lm (z a)k = lm (z a)k = lm =
za f (z) za (z a)k g(z) za g(z) g(a)
luego 1/ f tiene en a un polo de orden k en virtud del punto (b) de la caracterizacin ante-
rior.
[(b) (a)] La hiptesis implica, en virtud del punto (c) de la caracterizacin anterior,
1 (z)
que hay una funcin H () tal que (a) 6= 0 y = para todo z \ {a}. De
f (z) (z a)k
1
aqu se sigue que (z) 6= 0 para todo z , por lo que la funcin g(z) = es holomorfa
(z)
en . Como, evidentemente, es f (z) = (z a)k g(z) se sigue, en virtud de la conocida carac-
terizacin del orden de un cero, que f tiene en a un cero de orden k. X
(b) lm f (z) = .
za
Demostracin.
[(a) (b)] Es consecuencia inmediata del punto (c) de la caracterizacin de los polos
(4.26).
[(b) (a)] Por hiptesis existe > 0 tal que si z D(a, ) \ {a} entonces | f (z)| > 1, en par-
ticular, f (z) 6= 0 para z D(a, ). Definimos
1
h(z) = z D(a, ) \ {a}
f (z)
h(a) = 0
h est bien definida y adems es holomorfa en D(a, ) (holomorfa en D(a, ) \ {a} y conti-
nua en a). Ahora bien h(a) = 0, luego, por la proposicin anterior, concluimos que f tiene
un polo en a. X
Demostracin.
(a)(b) Razonamos por reduccin al absurdo. Supongamos que hay algn entorno de a,
D(a, r) tal que f D(a, r)\{a} no es denso en C. Entonces existen wC y > 0 tales que
D(w, ) f D(a, r) \ {a} = . Es decir | f (z) w| > para todo z D(a, r) \ {a}. Definimos
1
g(z) = para todo z D(a, r) \ {a}. Evidentemente, g es holomorfa en D(a, r) \ {a} y
f (z) w
est acotada, pues |g(z)| 6 1/, lo que, en virtud del teorema de extensin de Riemann,
implica que existe lm g(z) = . Si fuera = 0 entonces deducimos que lmza f (z) = lo,
za
que segn sabemos, implica que f tienen un polo en a lo que contradice la hiptesis. Por
tanto debe ser 6= 0. Pero en tal caso deducimos que lm f (z) = w + 1/, y, en consecuen-
za
cia, f sera regular en a lo que tambin contradice la hiptesis.
(b)(a) Esta implicacin es clara pues la hiptesis implica que f no tiene lmite finito ni
infinito en a. X
1 w
c1 = f (z) dz
2 i
C(a,)
Puesto que el teorema de Cauchy permite reducir el clculo de la integral de una fun-
cin en un camino cerrado al clculo de varias integrales en circunferencias, es impor-
tante disponer de algn mtodo que permita calcular el residuo de una funcin en un
punto sin necesidad de calcular la integral correspondiente.
Al igual que ocurre con los desarrollos en serie de Taylor, que pueden calcularse mu-
chas veces sin necesidad de calcular las integrales que nos dan los coeficientes del desa-
rrollo, con los desarrollos de Laurent sucede lo mismo: con frecuencia podemos calcular-
los de forma indirecta sin necesidad de calcular las integrales que nos dan los coeficientes
del desarrollo. Siempre que podamos hacer esto podremos calcular el residuo c1 y con
ello la integral correspondiente. De hecho, este es el nico procedimiento general para
calcular el residuo en una singularidad esencial. Afortunadamente, para los polos hay un
mtodo sistemtico de calcular no slo el residuo sino todos los coeficientes de la parte
principal del desarrollo de Laurent.
En la prctica suele aparecer una indeterminacin al evaluar esta derivada en a por lo que
escribimos
1 dkq
cq = lm kq (z a)k f (z) (4.4)
(k q)! za d z
1 dk1
c1 = lm k1 (z a)k f (z)
(k 1)! za d z
En muchas ocasiones la funcin que integramos viene dada como cociente de dos
g(z)
funciones holomorfas f (z) = donde suponemos que g, h son funciones holomorfas
h(z)
en un abierto . En tal caso las nicas posibles singularidades de f son los ceros de h. Es
de comprobacin inmediata que si h tiene un cero de orden k en un punto a y g(a) 6= 0,
entonces f tiene un polo de orden k en a. En el caso de que sea un polo simple, es decir,
de orden 1, tenemos
g(z) za g(a)
Res( f (z), a) = lm(z a) = g(a) lm =
za h(z) za h(z) h (a)
4.32 Definicin. Sea f una funcin holomorfa en un abierto y supongamos que para
algn R > 0 se tiene que A(0; R, +). Definamos la funcin F : D(0, 1/R) \ {0} C por
F(z) = f (1/z). Se dice que
X
X
Sea F(z) = cn zn + cn zn el desarrollo de Laurent de F en el anillo A(0; 0, 1/R).
n=1 n=0
Teniendo en cuenta, una vez ms, que la serie converge uniformemente en cualquier
circunferencia de centro 0 y radio > R, por lo que podemos permutar su suma con la
integral, tenemos que
!
1 w 1 w X X 1 w c1
f (z) dz = cn z n + cn zn dz = dz = c1
2i 2i 2i z
C(0,) C(0,) n=1 n=0 C(0,)
con orientacin opuesta a como se ven desde el origen. Para calcular el residuo en la
siguiente igualdad es til.
1
Res( f (z); ) = Res f (1/z), 0 (4.6)
z2
el desarrollo de Laurent de f en .
2.a) f es regular en .
2.b) lm f (z) = C.
z
2.c) cn = 0 para todo n N.
4.34 Proposicin. Una funcin entera es una funcin polinmica no constante si, y slo
si, tiene un polo en . Una funcin entera es constante si, y slo si, es regular en .
Demostracin. Sea f una funcin entera. Representemos f por medio de su serie de Tay-
lor en 0.
X
f (z) = cn z n para todo z C
n=0
Tenemos que
X
F(z) = f (1/z) = cn zn para todo z C
n=0
La unicidad del desarrollo en serie de Laurent implica que este es el desarrollo de Laurent
de F en 0. Por tanto, la serie de Laurent de f en coincide con la serie de Taylor de f en
0. En consecuencia, f tiene un polo en si, y slo si, f es una funcin polinmica no
constante.
Ejercicio resuelto 92 Sean a, b C tales que |a| < |b|. Calcula el desarrollo en serie de
Laurent de la funcin
1
f (z) = z C\{a, b}
(z a)(z b)
en cada uno de los anillos: A(0; |a|, |b|), A(0; |b|, +), A(a; 0, |b a|) y A(a; |b a|, +).
Solucin.
Basta tener en cuenta que
1 1 1 1
=
(z a)(z b) a b za zb
y expresar de forma conveniente en cada caso las fracciones anteriores como suma
de una serie geomtrica.
Para z A(0; |a|, |b|) tenemos que:
1 1 1 1 1 1 1 1 1
= = + =
(z a)(z b) a b z a z b a b z 1 a/z b 1 z/b
!
1 1 X n 1 X n X an1 n X 1
= a/z + z/b = z + zn
ab z b ab (a b)bn+1
n=0 n=0 n=1 n=0
,
Ejercicio resuelto 93 Clasifica las singularidades y calcula los residuos en todos los po-
los de la funcin
sen(z) ez 1
f (z) = 3 2
z (z + 1)(z 2 + 3z + 2)
Solucin.
Se trata de un cociente de dos funciones enteras por lo que las nicas posibles sin-
gularidades hay que buscarlas entre los ceros del denominador {0, 1, 2, i, i} que
pueden ser polos de la funcin.
En z = 0 el denominador tiene un cero de orden 3 y el numerador un cero de orden
2, por lo que f tiene en z = 0 un polo de orden 1. Esta afirmacin se deduce tambin
de que
sen(z) ez 1 1 2
lm z f (z) = lm 2 2
=
z0 z0 z z (z + 1)(z + 3z + 2) 2
y, por tanto, Res( f (z), 0) = 2 /2.
sen(i)
y, por tanto, Res( f (z), i) = .
1 + 3i
Observa que tiene sentido considerar el comportamiento de la funcin en . Co-
mo la sucesin { f (i n)} no es convergente, se sigue que en hay una singularidad
esencial. ,
Ejercicio resuelto 94 Clasifica las singularidades de las siguientes funciones y calcula
los residuos correspondientes (incluyendo el punto cuando tenga sentido).
tg z ez sen(1/z)
a) b) c)
z2 + z + 1 z 2 (z 2 + 1) (z + 1/z)3
Solucin.
a) Pongamos
tg z sen z
f (z) = =
z 2 + z + 1 (z 2 + z + 1) cosz
z zn sen z 1 sen(zn )
Res( f (z), zn ) = lm (z zn ) f (z) = lm lm = =
zzn zzn cos z zzn z 2 + z + 1 sen(zn ) zn2 + zn + 1
1
=
zn2 + zn + 1
donde hemos aplicado LHpital para calcular el primer lmite. Anlogamente, po-
niendo a = 1/2 i 3/2. Tenemos
za sen z 1 sen a tg a
Res( f (z), a) = lm(z a) f (z) = lm lm = =
za za z 2 + z + 1 za cosz 2a + 1 cos a 2a + 1
donde hemos aplicado LHpital para calcular el primer lmite.
No tiene sentido considerar el residuo en .
ez
b) f (z) = 2 2 . Se trata de un cociente de dos funciones enteras. El denomina-
z (z + 1)
dor tiene un cero doble en z = 0 que es un polo doble de f y ceros simples en los
puntos {i} que son polos simples. Los residuos en los polos simples se calculan
muy fcilmente. Tenemos que
zi ez ei
Res( f (z), i) = lm(z i) f (z) = lm lm =
zi zi z 2 + 1 zi z 2 2i
El residuo en el polo doble z = 0 viene dado por
d 2 d ez (z 2 + 1) ez 2z ez
Res( f (z), 0) = lm z f (z) = lm = lm =1
z0 d z z0 d z z 2 + 1 z0 (z 2 + 1)2
z 2 exp(1/z)
La funcin g(z) = tiene una singularidad esencial en z = 0 por lo que para
z2 + 1
obtener el residuo hay que calcular el coeficiente c1 de su desarrollo de Laurent en
z = 0. Para z D(0, 1) \ {0} tenemos que
X
1
= (1)n z 2n
1 + z 2 n=0
X
1 2q
z 2 exp(1/z) = z
q!
q=0
X X
X X
1 2q n 2n (1)n m
g(z) = z (1) z = z
q! m=
q!
q=0 n=0 2q+2n=m
n>0,q>0
X X (1)n X
(1)n (1)n
c1 = = =
q! q! (2n + 3)!
2q+2n=1 q=2n+3 n=0
n>0,q>0 n >0
y por tanto
X
X
(1)n+1 (1)n
Res( f (z), ) = = = 1 + sen1.
(2n + 3)! (2n + 1)!
n=0 n=1
c) Pongamos
sen(1/z) z3 sen(1/z)
f (z) = =
(z + 1/z)3 (z 2 + 1)3
En z = 0 hay una singularidad esencial pues es fcil comprobar que f no tiene lmite
finito ni finito en z = 0. Basta para ello notar que f (1/n) 0 y f (i/n) . Para
obtener el residuo hay que calcular el coeficiente c1 de su desarrollo de Laurent en
Deducimos que
X X X
8z3 n 2n1 n 2n1
= (1) 2n(2n 1)z (1) 2nz = (1)n 2n(2n 2)z 2n1 =
(z 2 + 1)3 n=1 n=1 n=1
X
=4 (1)n n(n 1)z 2n1
n=2
Comprobamos que en esta serie de Laurent los coeficientes cn con n Z impar son
nulos, en particular c1 = 0.
Podramos haber obtenido este resultado sin necesidad de hacer los clculos ante-
z3
riores pues es fcil justificar que el desarrollo de Taylor de 2 tiene que ser de
X (z + 1)3
la forma a2n1 z 2n1 y con esto es suficiente para obtener que c1 = 0.
n >2
Los puntos z = i son ceros triples del denominador que no anulan al numerador y
por tanto son polos triples. En z = i el residuo viene dado por
1 d2 3
3 z sen(1/z) 1 d2 z3 sen(1/z)
Res( f (z), i) = lm 2 (z i) = lm 2 =
2 zi d z (z 2 + 1)3 2 zi d z (z + i)3
1 2z(2 iz + z 2) cos(1/z) + (1 2iz 7z 2 6iz3) sen(1/z) i
= lm 5
=
2 zi z(z + i) 16 e
Anlogamente se calcula el residuo en z = i.
Tiene sentido considerar el residuo en que viene dado por
1 z sen z
Res( f (z), ) = Res 2 f (1/z), 0 = Res ,0 = 0
z (1 + z 2)3
z sen z
ya que la funcin es holomorfa en el disco unidad. ,
(1 + z 2 )3
es decir Re h(w) 6 M K para todo w C con |w| > 1/. De aqu se sigue enseguida
que la funcin Re h est mayorada en C como queramos probar.
Supongamos ahora que f tiene una singularidad aislada en a. Acabamos de pro-
bar que Re f no puede estar mayorada ni minorada en ningn entorno reducido
de a, lo que implica que hay sucesiones {zn } y {wn } de puntos de \ {a} tales que
{zn } a, {wn } a y Re f (zn ) +, Re f (wn ) . Por tanto |exp( f (zn ))| + y
|exp( f (wn ))| 0 lo que implica que la funcin exp( f ) no tiene lmite finito ni infinito
en a y, en consecuencia, tiene una singularidad esencial en a. ,
Ejercicio resuelto 96 Sea abierto en C, {an } una sucesin de puntos distintos de
que converge a un punto a . Sea f una funcin holomorfa en el abierto
U = \({an : n N} {a}) y que tiene un polo en cada punto an . Prueba que, para
cada > 0, el conjunto f (D(a, ) U) es denso en C.
Solucin.
Razonaremos por reduccin al absurdo. Supongamos que existe > 0 tal que el
conjunto f (D(a, ) U) no es denso en C, es decir, existen r > 0 y C tales que
| f (z) | > r para todo z D(a, ) U. Definamos
1
g(z) = z D(a, ) U
f (z)
ceros de g por lo que, en virtud del principio de identidad, g debe ser idnticamente
nula en D(a, ) lo cual es contradictorio pues, por su definicin, g(z) 6= 0 para todo
z D(a, ) U. ,
Ejercicio resuelto 97 Sea R > 0, aD(0, R)\{0}, y f una funcin holomorfa en D(0, R)\{a}
f (n) (0) cn
que tiene un polo simple en a. Sea cn = . Prueba que lm = a.
n! cn+1
Solucin.
Sea = Res( f (z), a). La funcin f (z) /(z a) es holomorfa en D(0, R) por lo que
X
f (z) = n z n z D(0, R)
za
n=0
Deducimos que
n an+1
cn = n =
an+1 an+1
P
Como la serie n=0 n a es convergente tenemos que n a n 0. Deducimos as que
n
cn n an+1
= a a.
cn+1 n+1 an+2
,
Ejercicio resuelto 98 Sea f una funcin holomorfa en C excepto en un nmero finito
de puntos que son polos de f . Supongamos, adems, que f o bien es regular o tiene
un polo en infinito. Prueba que f es una funcin racional.
Solucin.
1
la parte
Sea S = {a1 , a2 , a3 , . . . , an } el conjunto de los polos de f en C. Sea h j
z aj
principaldel desarrollo
de Laurent de f en a j . Sabemos, por el corolario 4.24, que
1
f (z) h j es regular en a j . Deducimos que la funcin
z aj
n
X
1
g(z) = f (z) hj zC \ S ()
z aj
j=1
infinito implica, en virtud de la igualdad (), que a g le ocurre igual y, como g es una
funcin entera, concluimos, en virtud de la proposicin 4.34, que g es una funcin
polinmica. Adems, como todas las singularidades a j son polos, las funciones h j
son tambin polinmicas. La igualdad () nos dice ahora que f es una funcin ra-
cional.
Observa que la igualdad
n
X
1
f (z) = g(z) + hj
z aj
j=1
+
X
2 1
f (z) = , h(z) = (z )
sen z
2
n=
(z n)2
Ejercicio resuelto 100 Sea f una funcin holomorfa que no se anula en el anillo A(0; 1, 2).
Prubese que hay un entero nZ, y una funcin g holomorfa en dicho anillo, tal que
f (z) = z n exp(g(z)) para todo z A(0; 1, 2).
150. Clasifica las singularidades de las siguientes funciones y calcula los residuos corres-
pondientes (incluyendo el punto cuando tenga sentido).
1 cosz 1 z e1/z
a) b) z n sen(1/z) c) d) e)
zn z(1 e2 iz ) tg z z1
151. Prueba que una funcin entera e inyectiva es una funcin polinmica de grado uno.
En primer lugar veamos que la suma anterior es finita, es decir, Ind (a) = 0 salvo para
un nmero finito de puntos a S. Consideremos el abierto (unin de componentes co-
nexas de C \ ) 0 = {z C \ : Ind (z) = 0}. Por la hiptesis de que es nulhomlogo
respecto de tenemos que 0 C \ . Sea
K = C \ 0 = {z C \ : Ind (z) 6= 0}
despejando resulta
w w q w
X q
X w q
X
f (z) dz = f (z) dz = f (z) dz = mj f (z) dz = 2i Ind (a j ) Res( f (z), a j )
j=1 j j=1 C(a j ,) j=1
w
4.7.1. Integrales del tipo R(cost, sent) dt
z2 + 1 z2 1 1
En consecuencia, si notamos f (z) = R , . Tenemos que f (z) es una fun-
2z 2 iz iz
cin racional por lo que sus nicas posibles singularidades son polos. Para calcular la
integral slo nos interesan los polos que estn dentro del disco unidad. Supongamos que
estos son z1 , z 2 , . . . , zq . El teorema de los residuos nos dice que
w q
X 2
z + 1 z2 1 1
R(cost, sint) dt = 2i Res R , ,zj
2z 2 iz iz
j=1
w 1
Ejercicio resuelto 101 Calcular la integral I = dt .
5 + 4 cost
Solucin.
w 1 1 1 w 1 1 w 1
I= 2
dz = 2
dz = dz
z + 1 iz i 2z + 5z + 2 i (2z + 1)(z + 2)
C(0,1) 5+2 C(0,1) C(0,1)
z
Por tanto
1 1 1 1 2
I = 2i Res , = 2 lm (z + 1/2) =
i (2z + 1)(z + 2) 2 z1/2 (2z + 1)(z + 2) 3
,
w2 1
Ejercicio resuelto 102 Calcular la integral I = dx donde a > 0 y b >
a2 sen2 x + b2 cos2 x
0
0.
Solucin.
w 1 1 1 w 4z
I= 2 2 2 dz = dz
z2 1 z + 1 iz i b2 (z 2 + 1)2 a2 (z 2 1)2
C(0,1) a2 + b2 C(0,1)
2 iz 2z
Como
b2 (z 2 + 1)2 a2(z 2 1)2 = b(z 2 + 1) + a(z 2 1) b(z 2 + 1) a(z 2 1)
4z 4z
f (z) = = =
b2 (z 2 + 1)2 a2 (z 2 1)2 b(z 2 + 1) + a(z 2 1) b(z 2 + 1) a(z 2 1)
4z
=
(a + b)(z z1)(z z 2 ) b(z 2 + 1) a(z 2 1)
2a
b(z2j + 1) a(z2j 1) = 2b(z2j + 1) = 2b ( j = 1, 2)
a+b
Obtenemos ahora fcilmente los residuos.
4z1 2 1
Res( f (z), z1 ) = lm (z z1 ) f (z) = 2
= 2
=
zz1 (a + b)(z1 z 2 )2b(z1 + 1) (a + b)2b(z1 + 1) 2ab
1
Y tambin Res( f (z), z 2 ) = . Por tanto
2ab
w2
1 1 1 1 2
dx = 2i + =
a2 sen2 x + b2 cos2 x i 2ab 2ab ab
0
w cos 2
161. d
5 4 cos
w2 cos2 3x
162. dx
5 3 cos2 x
0
w 1
163. dt
5 cos2 t + 4
w2 1
164. dt
15 sen2 t + 1
0
w2 1
165. dx (a, b, c R, a2 + b2 < c2 )
a sen x + b cosx + c
0
w 3 cos2 t + 2 sen2 t
166. dt
9 cos2 t + 4 sen2 t
w2
167. cos2n x dx
0
w sen2t 2
169. dt = 2 a a2 b2 (0 < b < a)
a + b cost b
0
w2 d 2
170. = |a| =
6 1
1 2a cos + a2 |a2 1|
0
w2 d 2
171. = |a| < 1
(1 + a cos)2 (1 a2)3/2
0
1 w cos2 1 + a2 cos 2
172. d = (a R, |a| < 1)
2 1 + a2 2a cos( ) 2(1 a2)
w2 cos(nt) 2rn
173. dt = |r| < 1
1 + r2 2r cost 1 r2
0
w2 cos2 3t a2 a + 1
174. dt = (0 < a < 1)
1 + a2 2a cos2t 1a
0
w2 cos(n x)
175. dx = (1)n n (n N)
5 + 3 cosx 23
0
w2 2
177. cos(nt sent) exp(cost) dt =
n!
0
+
w P(x)
4.7.4. Integrales del tipo dx
Q(x)
Suponemos que
+
w q
X
P(x) P(z)
dx = 2i Res ,zj
Q(x) Q(z)
j=1
P(z)
Para ello vamos a aplicar el teorema de los residuos a la funcin f (z) = en el abierto
Q(z)
= C. Sea la poligonal (, , ) = [, , + i , + i , ] donde , y son nmeros
positivos que tomamos suficientemente grandes para que todos los ceros del polinomio
Q que estn en el semiplano superior queden en el interior del rectngulo de modo que
Ind(,,) (z j ) = 1 para 1 6 j 6 q.
+ i 2 i + i
3 1
Figura 4.3: (, , )
Por la hiptesis sobre los grados de los polinomios P y Q se tiene que existen nmeros
K > 0 y M > 0 tales que
P(z)
|z | > K | f (z)| = 6 M (4.7)
Q(z) |z |2
En lo que sigue, suponemos que , y son mayores que K.
Pongamos ahora
w 1 = [, + i ], 2 = [ + i , + i ] y 3 = [ + i , ] (ver figura 4.3)
y notamos Ik = f (z) dz . Tenemos
k
q
X w w P(x)
P(z) P(z)
2i Res ,zj = dz = dx + I1 + I2 + I3
Q(z) Q(z) Q(x)
j=1 (,,)
As,
q w
X P(z) P(x)
2i Res , z dx 6 |I1 | + |I2| + |I3| (4.8)
Q(z)
j
Q(x)
j=1
M
La integral I3 se acota de la misma forma, resultando |I3 | 6 .
2
Por ltimo, para acotar I 2 se usa que para z [ + i , + i ] tenemos, por ser > K,
M
que |z | > K por lo que, en virtud de la desigualdad 4.7, se tiene que | f (z)| 6 2 . Por tanto
|z |
w w w M
M
|I2 | =
f (z) dz 6 | f (t + i )| dt 6 dt 6 ( + ) 2
t 2 + 2
[+i ,+i ]
Observa que la acotacin 4.9 proporciona una cota del error que se comete al aproximar
+
w P(x) w P(x)
la integral dx por una integral parcial dx .
Q(x) Q(x)
donde suponemos que a > 0 y b > 0 son distintos. La funcin que integramos tiene dos
polos simples en el semiplano superior en los puntos i a, i b. Segn acabamos de ver
1 1
I = 2i Res , i a + 2i Res , i b
(z 2 + a2)(z 2 + b2 ) (z 2 + a2)(z 2 + b2)
Tenemos que
1 1
Res 2 2 2 2
, i a = lm (z i a)
(z + a )(z + b ) zi a (z i a)(z + i a)(z 2 + b2)
1 1
= lm =
zi a (z + i a)(z 2 + b2 ) 2 i a(b2 a2 )
Anlogamente
1 1
Res 2 2 2 2
,ib =
(z + a )(z + b ) 2 i b(a2 b2)
Luego
1 1
I = 2i + =
2 i a(b a ) 2 i b(a2 b2)
2 2 a b(a + b)
+
w dx
179. (a, b, c R, b2 < 4ac)
ax2 + bx + c
+
w x2 + x + 1
180. dx
x4 + x 2 + 1
+
w 1
181. dx
(x 2 x + 1)(x 2 + x + 1)
+
w x2
182. dx
(x 2 + 1)(x 2 + 2 x + 2)
+
w x2
183. dx (a > 0)
(x 2 + a2)3
+
w 1
184. dx
x6 + 1
0
+
w
1 1 1 1 1
185. dx = + (a > 0, b > 0, c 6= 0)
x 2 + a2 (x c)2 + b2 a b (a + b)2 + c2
+
w 1 1 3 (2n 3)
186. dx = (a > 0, n > 2)
(x 2 + a2)n 2n a2n1 (n 1)!
0
+
w dx (a + 2b)
187. = (a > 0, b > 0)
(x 2 + a2)(x 2 + b2)2 2ab3(a + b)2
+
w
x6 3 2
188. dx = (a > 0)
(x 4 + a 4)2 8a
+
w P(x) i x
4.7.6. Integrales del tipo e dx
Q(x)
Suponemos que
+
w q
X
P(x) i x P(z) i z
e dx = 2i Res e ,zj
Q(x) Q(z)
j=1
P(z) i z
Para ello vamos a aplicar el teorema de los residuos a la funcin f (z) = e en el
Q(z)
abierto = C. Consideremos la poligonal (, , ) = [, , + i , + i , ] donde
, y son nmeros positivos que tomamos suficientemente grandes para que todos
+ i 2 i + i
3 1
Figura 4.4: (, , )
los ceros del polinomio Q que estn en el semiplano superior queden en el interior del
rectngulo de modo que Ind(,,) (z j ) = 1 para 1 6 j 6 q.
Por la hiptesis sobre los grados de los polinomios P y Q se tiene que existen nmeros
K > 0 y M > 0 tales que
P(z) M
|z | > K 6 (4.10)
Q(z) |z |
En lo que sigue, suponemos que , y son mayores que K.
Pongamos ahora
w 1 = [, + i ], 2 = [ + i , + i ] y 3 = [ + i , ] (ver figura 4.4)
y notamos Ik = f (z) dz . Tenemos
k
q w ei x P(x)
X P(z) i z w ei z P(z)
2i Res e ,zj = dz = dx + I1 + I2 + I3
Q(z) Q(z) Q(x)
j=1 (,,)
As,
q w i x
X P(z) i z e P(x)
2i (4.11)
Res
Q(z)
e , z j
Q(x)
dx 6 |I1 | + |I2| + |I3|
j=1
Adems ei (+it) = et . Por tanto,
" #t=
w w w M et M et M 1 e M
|I1 | = f ( + it)i dt 6 | f ( + it)| dt 6 dt = = 6
0 0 0 t=0
M
La integral I3 se acota de la misma forma, resultando |I3 | 6 .
Por ltimo, para acotar I 2 se usa que para z [ + i , + i ] tenemos, por ser > K,
M M
que |z | > K por lo que, en virtud de la desigualdad 4.10, se tiene que | f (z)| 6 6 .
|z |
Adems, para z [ + i , + i ] es Im z = . Por tanto ei z = e . Deducimos que
w w w M e
M
|I2 | =
f (z) dz 6 | f (t + i )| dt 6 dt = ( + ) e
[+i ,+i ]
Observa que la acotacin 4.12 proporciona una cota del error que se comete al aproximar
+
w ei x P(x) w ei x P(x)
la integral dx por una integral parcial dx .
Q(x)
Q(x)
+
w cos(x)
4.37 Ejemplo. Queremos calcular la integral I = dx . Suponemos que a > 0 y
a2 + x 2
> 0. Como !
+
w ei x
I = Re dx
a + x2
2
+
w ei x
Calcularemos J = dx . Segn acabamos de ver, teniendo en cuenta que la fun-
a2 + x 2
1
cin solamente tiene un polo simple en el semiplano superior en el punto ai, se
a2 + z 2
sigue que
!
ei z ei z ei z e a
J = 2i Res 2 2
, a i = 2i lm (z ai) 2 2
= 2i lm (z ai) =
a +z zai a +z zai (z a i)(z + a i) a
e a
Luego I = .
a
+
w cos 2 x
190. dx
x2 2 x + 2
0
+
w cos4x
191. dx
x4 + 5x 2 + 4
0
+
w x sen x
192. dx
(x 2 + 4)2
0
+
w x sen x
193. dx
x4 + 1
0
+
w cos x
194. dx
(x 2 + x + 1)2
+
w costx
195. dx = (1 + at) eat (a > 0,t > 0)
(x 2 + a2)2 2a3
+
w
cos x ea eb
196. dx = 2 (a 6= b, a > 0, b > 0)
(x 2 + a2)(x 2 + b2 ) b a2 a b
0
+
w P(x)
4.7.8. Integrales del tipo sen(x) dx
Q(x)
Suponemos que
3. Q(x) tiene ceros simples en puntos del eje real que coinciden con ceros de la fun-
cin sen(x).
En estas condiciones si z1 , z 2 , . . . , zq es el conjunto de los ceros del polinomio Q que
estn en el semiplano superior y {x1 , x2 , . . . , x p } es el conjunto de los ceros del polino-
mio Q que estn en el eje real, se verifica que
+
w q
X p
X
P(x) P(z) P(z)
sen(x) dx = Im 2i Res ei z , z j + i Res ei z , x j
Q(x) Q(z) Q(z)
j=1 j=1
Para aprender el procedimiento que se sigue con este tipo de integrales es suficiente con-
siderar el caso en que x = 0 es el nico cero que Q tiene en el eje real. Supondremos, pues,
en lo que sigue que Q tiene un cero simple en x = 0 y Q(x) 6= 0 para x 6= 0. La forma de pro-
ceder es muy parecida a la anterior con una pequea diferencia y es que ahora conside-
raremos el camino de integracin (, , , ) que puedes ver en la figura 4.5 (si Q tuviera
ms ceros en el eje real habra que rodear cada uno de ellos con una semicircunferencia
al igual que se ha hecho con x = 0).
+ i i 2 + i
3 1
Figura 4.5: (, , , )
P(z) i z
Procediendo como en el caso anterior, considerando la funcin f (z) = e , y te-
Q(z)
niendo en cuenta que Ind(,,,) (0) = 0, el teorema de los residuos nos dice que
q
w ei z P(z) X P(z) i z
dz = 2i Res e ,zj
Q(z) Q(z)
(,,,) j=1
Las acotaciones que hemos obtenido antes en los segmentos 1 , 2 y 3 siguen siendo v-
lidas por lo que obtenemos fcilmente la siguiente acotacin anloga a la acotacin 4.12
del caso anterior:
q
w w w
X 1 M M
2i
Res ( f (z), z j ) f (x) dx f (z) dz f (x) dx 6 +
j=1
Sea w = Res( f (z), 0) = lmz0 z f (z). Teniendo en cuenta el sentido de recorrido de tene-
mos que
w w w
f (z) dz + iw = f ( eit ) it i eit dt
e
0
Como
w 1
f ( eit ) it = eit f ( eit ) w
e
deducimos que
w w
f (z) dz + iw 6 eit f ( eit ) w dt 6 max {|z f (z) w| : |z | = }
0
sen(x)P(x)
y teniendo en cuenta tambin que la funcin x 7 es continua en x = 0 sin ms
Q(x)
que definirla en 0 igual a Res( f (z), 0) por lo que
!
w P(x) +
w P(x)
+
w P(x)
lm sen(x) dx + sen(x) dx = sen(x) dx
0 Q(x) Q(x) Q(x)
concluimos que
+
w q
X
P(x)
sen(x) dx = Im 2i Res ( f (z), z j ) + i Res( f (z), 0)
Q(x)
j=1
4.38 Ejemplo.
+
w i z
sen x e ei z
dx = Im i Res ,0 = Im i lm z =
x z z0 z
+
w P(x)
4.7.9. Integrales del tipo cos(x) dx
Q(x)
Suponemos que
3. Q(x) tiene ceros simples en puntos del eje real que coinciden con ceros de la fun-
cin cos(x).
En estas condiciones si z1 , z 2 , . . . , zq es el conjunto de los ceros del polinomio Q que
estn en el semiplano superior y {x1 , x2 , . . . , x p } es el conjunto de los ceros del polino-
mio Q que estn en el eje real, se verifica que
+
w q
X p
X
P(x) P(z) i z P(z) i z
cos(x) dx = Re 2i Res e , z j + i Res e ,xj
Q(x) Q(z) Q(z)
j=1 j=1
+
w sen x
198. dx
(x /2)(x )
+
w cos x
199. dx
(x /2)(x 2 + 1)
+
w x sen x
200. dx
x 2 5x + 6
+
w sen x 1
201. 2 + bx + c
dx (a > 0, b2 4ac < 0)
x ax
+
w sen x
202. 2 2 )
dx
x(x
Suponemos que
+
w q
X p
X
P(x) i x P(z) i z P(z) i z
V.P. e dx = 2i Res e , z j + i Res e ,xj (4.15)
Q(x) Q(z) Q(z)
j=1 j=1
Las letras V.P. se leen valor principal de Cauchy. Expliquemos lo que esto significa. Su-
pongamos, por comodidad, que Q tiene un cero simple en x = 0 y Q(x) 6= 0 para x 6= 0.
El mtodo que hemos usado anteriormente se aplica exactamente igual hasta llegar a la
P(z) i z
igualdad 4.14. La dificultad ahora es que la funcin f (z) = e no es continua en los
Q(z)
+
w P(x)
ceros reales de Q y la integral impropia ei x dx no existe. Todo lo que podemos
Q(x)
obtener en este caso es lo que afirma la igualdad 4.14:
+
! q
w w X
lm f (x) dx + f (x) dx = 2i Res ( f (z), z j ) + i Res( f (z), 0)
0
j=1
Naturalmente, si Q tuviera dos ceros simples reales a < b el valor principal de la integral
vendra dado por el lmite siguiente
a
w b
w +
w q
X
lm f (x) dx+ f (x) dx+ f (x) dx= 2i Res ( f (z), z j ) + i Res( f (z), a) + Res( f (z), b)
0
a+ b+ j=1
Observa que tomando parte real o imaginaria en la igualdad 4.15 obtenemos respec-
tivamente, en la hiptesis de que los polinomios P(z) y Q(z) tengan coeficientes reales,
+
w P(x) +
w P(x)
las integrales cos(x) dx y sen(x) dx . Ten en cuenta que alguna de estas in-
Q(x)
Q(x)
tegrales puede ser convergente si los ceros de Q(z) en el eje real coinciden con ceros de
cos(x) o con ceros de sen(x).
+
w
P(x) i x
No olvides que en las hiptesis hechas la integral e dx no existe como in-
Q(x)
+
w P(x)
tegral de Lebesgue. Pero puede ocurrir que alguna de las integrales cos(x) dx y
Q(x)
+
w P(x)
sen(x) dx exista como integral impropia de Riemann.
Q(x)
+
w P(x)
4.7.11.2. Integrales del tipo V.P. dx
Q(x)
Suponemos que
+
w q
X p
X
P(x) P(z) P(z)
V.P. dx = 2i Res , z j + i Res ,xj
Q(x) Q(z) Q(z)
j=1 j=1
+
w P(x)
No olvides que en las hiptesis hechas la integral dx no existe como integral de
Q(x)
Lebesgue ni como integral impropia de Riemann.
+
w x cos x
206. V.P. dx
x 2 + 3x + 2
+
w cos x
207. V.P. dx (a > 0)
a2 x 2
+
w cos x
208. V.P. dx
x2 x
+
w 1
209. V.P. dx
x3 + 1
wb P(x)
4.7.13. Integrales del tipo dx
a
Q(x)
Suponemos que
zb
Para ello, teniendo en cuenta que la funcin log es holomorfa en C \ [a, b] (ver ejerci-
za
cios 1, ejercicio 15 y ejercicio 2, ejercicio 65), vamos a aplicar el teorema de los residuos a
la funcin
P(z) zb
f (z) = log
Q(z) za
en el abierto = C \ [a, b]. Consideramos un ciclo formado por dos poligonales (rectn-
gulos) recorridos en sentidos opuestos (ver figura 4.6).
(R, ) =[b + R + iR, a R + iR, a R iR, b + R iR, b + R + iR]
[b + + i, a + i, a i, b + i, b + + i]
donde R, son nmeros positivos que tomamos de forma que todos los ceros del poli-
nomio Q queden en el interior del rectngulo grande y fuera del pequeo de modo que
Ind(R,) (z j ) = 1 para 1 6 j 6 q.
iR
aR a a b+ b+R
b
i
iR
Por la hiptesis sobre los grados de los polinomios P y Q se tiene que existen nmeros
K > 0 y M > 0 tales que
P(z) M
|z | > K 6 (4.16)
Q(z) |z |
En lo que sigue suponemos que R > K.
Como la funcin Q(z) no se anula en [a, b] podemos fijar un nmero 0 < < 1 tal que
en el rectngulo cerrado
R = {x + i y C : a 6 x 6 b + , 6 y 6 }
|P(z)|
la funcin Q(z) no se anule. Por continuidad y compacidad, la funcin alcanzar
|Q(z)|
un valor mximo en R . Sea
|P(z)|
L = max :zR (4.17)
|Q(z)|
En lo que sigue suponemos que < /2.
Probaremos en primer lugar que las integrales sobre los lados verticales de los rectn-
gulos tienden a 0. Consideremos para ello un segmento de la forma
J() = [b + i, b + + i] ( > 0)
Naturalmente
zb z b zb
log
= log + i arg
za z a za
por lo que
log z b 6 log z b + arg z b
za za za
z b
Vamos a calcular el mximo de la funcin log cuando zJ(). Es evidente que para
z a
z b z b z b
z J() se tiene que
< 1, por lo que log
= log . En consecuencia
z a z a z a
z b z b
max log : z J() = mn log : z J()
z a z a
Teniendo en cuenta
que el logaritmo es estrictamente creciente, ser suficiente calcular
z b
el mnimo de en J(). Los puntos de J() son de la forma b + + it donde |t| 6 .
z a
Tenemos que s
b + + it b | + it| 2 + t 2
= =
b + + it a |b a + + it| (b a + )2 + t 2
Para calcular el mnimo podemos prescindir de la raz. Hemos reducido nuestro proble-
2 + t 2
ma a calcular el mnimo de en [, ]. Derivando se comprueba ensegui-
(b a + )2 + t 2
da que el mnimo valor se alcanza para t = 0. Por tanto
z b
1 2
max log : z J() = log (4.19)
za 2 (b a + )2
z b
Acotamos ahora arg en J(). Interesa acotar de forma diferente segn que sea
za
= o = R.
b + + it b + it (b a) + 2 + t 2 + it(b a)
= =
b + + it a b + + it a (b a + )2 + t 2
Como la ltima
w expresin en esta desigualdad tiende a 0 para R +, hemos probado
que lm f (z) dz = 0.
R+
[b+Ri R, b+R+i R]
Anlogamente se prueba que las integrales sobre los otros dos segmentos verticales
tambin tienden a 0.
Consideremos ahora los segmentos horizontales. Es muy fcil probar que las integra-
les sobre los segmentos horizontales del rectngulo grande tienden a cero para R +.
Nos queda considerar las integrales sobre los segmentos horizontales del rectngulo
pequeo.
w b+
w P(t + i)
t + i b
f (z) dz = log dt
Q(t + i) t + i a
[a+i,b++i] a
Tenemos que
t + i b (t b)(t a) + 2 + i(b a)
=
t + i a (t a)2 + 2
Para a + < t < b se tiene que (t b)(t a) + 2 < 0 por lo que
t + i b (b a)
arg = arc tg + (a + < t < b )
t + i a (t b)(t a) + 2
A partir de aqu se prueba con facilidad que
w wb P(x) bx
lm f (z) dz = log + i dx
0 Q(x) xa
[a+i,b++i] a
Anlogamente
w b+
w
P(t i) t i b
f (z) dz = log dt
a
Q(t i) t i a
[ai,b+i]
Tenemos que
t i b (t b)(t a) + 2 i(b a)
=
t i a (t a)2 + 2
por lo que
t + i b (b a)
arg = arc tg (a + < t < b )
t + i a (t b)(t a) + 2
w wb P(x) bx
lm f (z) dz = log i dx
0 Q(x) xa
[ai,b+i] a
w wb P(x) bx
wb P(x) bx
wb P(x)
lm f (z) dz = log + i dx log i dx = 2i dx
R+ Q(x) xa Q(x) xa Q(x)
0 (R,) a a a
La figura siguiente muestra claramente que cuando z se acerca desde el semiplano supe-
rior a un punto x del segmento ]a, b[ entonces se tiene que y 0 por lo que
zb bx
log log + i
za xa
a|
|z
|z
b|
a b
zb |z b|
Figura 4.7: log = log + i( )
za |z a|
Y cuando z se acerca desde el semiplano inferior a un punto x del segmento ]a, b[ en-
tonces se tiene y 0 por lo que
zb bx
log log i
za xa
Observa que es precisamente la discontinuidad del argumento principal lo que permite
calcular la integral.
w1 dx
4.39 Ejemplo. Calculemos I = donde 0 < < .
x 2 2 x cos + 1
0
1
Tenemos que z 2 2z cos + 1 = (z cos )2 + sen2 por lo que la funcin
z 2 2z cos + 1
tiene polos simples en los puntos z1 = ei y z 2 = ei . Por tanto
1 z1 1 z1
I = Res log , z1 + Res log , z2
(z z1 )(z z 2 ) z (z z1 )(z z 2 ) z
+
w P(x)
4.7.14. Integrales del tipo dx
Q(x)
a
Suponemos que
Para ello, teniendo en cuenta que la funcin log0 (z a) es holomorfa en C \ [a, +[, se
P(z)
aplica el teorema de los residuos a la funcin f (z) = log(z a) en el abierto sim-
Q(z)
plemente conexo = C \ [a, +[. Consideramos un ciclo formado por la poligonal (ver
figura 4.8).
(R, ) = [a+R+i, a+R+iR, aR+iR, aRiR, a+RiR, a+Ri, ai, a+i, a+R+i]
donde R, son nmeros positivos que tomamos de forma que todos los ceros del polino-
mio Q queden en el interior de la poligonal de modo que Ind(R,) (z j ) = 1 para 1 6 j 6 q.
El teorema de los residuos nos dice que
a R + iR a + R + iR
a + i
a + R + i
a a + R i
a i
a R iR a + R iR
w q
X
P(z) P(z)
log(z a) dz = 2i Res log0 (z a), z j
Q(z) Q(z)
(R,) j=1
w w P(x) +
P(z)
lm log(z a) dz = 2i dx (4.20)
R+ Q(z) Q(x)
0 (R,) a
lo que se hace de forma anloga al caso antes estudiado teniendo en cuenta que ahora
las integrales sobre todos los segmentos tienden a cero cuando 0 y R + con
la excepcin de las integrales sobre los segmentos [a i, a + R i] en los cuales se
verifica que
w a+R
w P(x + i)
P(z)
lm log(z a) dz = lm log(x a + i) dx =
R+ Q(z) R+ Q(x + i)
0 [a+i, a+R+i] a 0
+
w P(x)
= log(x a) dx
a
Q(x)
w a+R
w P(x i)
P(z)
lm log(z a) dz = lm log(x a i) dx =
R+ Q(z) R+ Q(x i)
0 [ai, a+Ri] 0 a
+
w P(x)
= log(x a) + 2i dx
Q(x)
a
+
w dx
211.
(2 x + 1)(x + 1)
0
+
w dx
212.
(8x 2 + 3)(3x 2 + 2)
0
+
w 1 dx
213. (a > 0, b > 0)
x + b x + a2
2
0
+
w 1 x dx
214. (a > 0, b > 0)
x + b x + a2
2
0
+
w dx
215. (0 < < )
(x 2 2 x cos + 1)2
0
+
w P(x)
4.7.16. Integrales del tipo x dx
Q(x)
0
Suponemos que
+
w q
P(x) 2i X P(z)
x dx = Res exp( log z), z j (4.21)
Q(x) 1 e2 i j=1 Q(z) 0
0
Observa que exp( log0 z) [z ]. Para ello, teniendo en cuenta que la funcin log0 z es holo-
morfa en C \ [0, +[, se aplica el teorema de los residuos a la funcin
P(z)
f (z) = exp( log0 z)
Q(z)
en el abierto simplemente conexo = C \ [0, +[. Consideramos un ciclo formado por
la poligonal (ver figura 4.9).
donde R, son nmeros positivos que tomamos de forma que todos los ceros del polino-
mio Q queden en el interior de la poligonal de modo que Ind(R,) (z j ) = 1 para 1 6 j 6 q.
El teorema de los residuos nos dice que
w P(z) q
X
P(z)
exp( log0 z) dz = 2i Res exp( log0 z), z j
Q(z) Q(z)
(R,) j=1
R + iR R + iR
+ i
R + i
0 R i
i
R iR R iR
lo que se hace de forma anloga al caso antes estudiado teniendo en cuenta que ahora
las integrales sobre todos los segmentos tienden a cero cuando 0 y R + con la
excepcin de las integrales sobre los segmentos [ i, R i] en los cuales se verifica
que
w wR P(x + i) +
w
P(z) P(x)
lm exp( log0 z) dz = lm exp log0 (x + i) dx = x dx
R+ Q(z) R+ Q(x + i) Q(x)
0 [+i, R+i] 0
0
w P(z) wR P(x i)
lm exp log0 z dz = lm exp log0 (x i) dx =
R+ Q(z) R+ Q(x i)
0 [i, Ri] 0
+
w +
w
P(x) P(x)
= exp (log x + 2i) dx = e2 i x dx
Q(x) Q(x)
0 0
+
w x 2i exp( log0 z) 2i ei
dx = Res , 1 = =
x+1 1e2 i z + 1 1e 2 i sen( )
0
+
w P(x)
4.7.17. Integrales del tipo x (log x)m dx
Q(x)
0
Se suponen las mismas hiptesis del caso precedente. Estas integrales se obtienen de
las anteriores derivando respecto al parmetro .
4.41 Ejemplo.
+ +
!
w x d w x d 2 cos( )
log x dx = dx = =
x+1 d x+1 d sen( ) sen2 ( )
0 0
+
w x log x
217. dx (0 < < 1, a > 0, b > 0)
ax + b
0
+
w x
218. dx (1 < < 1, a > 0)
(x + a)2
0
+
w log x
219. dx (a > 0)
x(x + a)2
0
+
w x
220. dx (1 < < 1, a > 0)
x 2 + 2ax cos + a2
0
+
w x
221. dx (1 < < 1, a > 0)
x2 + a
0
+
w x
222. dx (1 < < 1)
x2 + x + 1
0
wb P(x)
4.7.19. Integrales del tipo (x a) (b x) dx
Q(x)
a
Suponemos que
2. , ] 1, 1[ y + = 1 o + = 1.
!
zb
wb q
P(x) X P(z)
(x a)(b x) dx = Res (z a)+ , z j
a
Q(x) sen() za
Q(z)
j=1
1 w P(z) z b
lm (z a)+ dz (4.23)
2 i sen() R+ Q(z) z a
C(0,R)
a + i b + + i
a b
a i b + i
Se comprueba que las integrales sobre los segmentos verticales tienden a cero. Sobre los
segmentos horizontales [a i, b + i] se verifica que
w b+
w wb P(x)
bx
lm f (z) dz = lm f (x + i) dx = exp log + i (x a)+ dx =
0 0 Q(x) xa
[a+i, b++i] a a
wb P(x)
= ei (x a)(b x) dx
a
Q(x)
w b+
w wb P(x)
bx
lm f (z) dz = lm f (x i) dx = exp log i (x a)+ dx =
0 0 Q(x) x a
[ai, b+i] a a
wb P(x)
= ei (x a) (b x) dx
a
Q(x)
4.42 Proposicin.
w
(a) Supongamos que lm z h(z) = 1. Entonces lm h(z) dz = 2i.
z R+
C(0,R)
w
(b) Supongamos que lm z h(z) = 0. Entonces lm h(z) dz = 0.
z R+
C(0,R)
P(z) +
(c) Si lm z z = L C entonces
z Q(z)
w
P(z) zb
lm (z a)+ dz = 2L i
R+ Q(z) za
C(0,R)
Demostracin.
(a). Puesto que lm z h(z) = 1, podemos escribir z h(z) = 1 + g(z) con lm g(z) = 0. Tenemos
z z
w w 1 w g(z) w g(z)
h(z) dz = dz + dz = 2i + dz
z z z
C(0,R) C(0,R) C(0,R) C(0,R)
Y como
w
g(z) |g(z)|
dz 6 2 R max : |z | = R = 2 max {|g(z)| : |z | = R}
|z |
C(0,R) z
w g(z)
deducimos que lm dz = 0. Lo que prueba (a).
R+ z
C(0,R)
El punto (b) se prueba de forma anloga y (c) es consecuencia inmediata de (a) y (b). X
4.43 Ejemplo.
wb dx 1 w z b 1/2 1
p = lm dz =
a (x a)(b x) 2 i sen(/2) R+ za za
C(0,R)
Donde hemos aplicado la proposicin anterior para calcular el lmite pues poniendo
z b 1/2 1
h(z) = es claro que lm z h(z) = 1.
za za z
Observacin
P(z) +
Si lm z z = , el clculo del lmite en la frmula 4.23 puede ser complicado.
z Q(z)
Una forma de proceder
en estos casos consiste en elegir un entero k > 1 de manera que
k+1 P(z) +
lm z z = L C, y tener en cuenta que
z Q(z)
wb P(x) wb (x a) (b x) P(x)
(x a) (b x) dx = lm dx
a
Q(x) 0
a
(1 x)k Q(x)
w1 dx
224. p
3
1
(x + 1)2 (1 x)
wa x 2 dx
225. p (a > 0)
a a2 x 2
wa dx
226. p (a > 0, b > 0)
a (x 2 + b2) a2 x 2
wb 1 dx
227. p (a < b < c)
x c (x a)(b x)
a
wb dx
228. p (ac + d > 0, bc + d > 0)
a (cx + d) (x a)(b x)
wb p
229. (x a)(b x)dx
a
wb p(x a)(b x)
230. (a < b < c)
xc
a
231.
Integrando una conveniente funcin
compleja a lo largo del camino (, R)
formado por la frontera del sector cir- 3 2
n 2
n
con 0 < < 1 < R, calcula la integral R
+
w x Figura 4.11: Camino (, R)
dx
1 + xn
0
X 1
donde (z) = (z i)n .
(n + 1)!
n=0
donde es un parmetro real y 1 < < 1. Puedes deducir este resultado del ejer-
cicio anterior?.
1 e2 iz
236. Integrando la funcin z a lo largo de la frontera de la mitad superior del
z2
anillo A(0; , R), Prueba que:
+
w sen2 x
dx = .
x2 2
0
e3iz 3 eiz +2
237. Integrando la funcin f (z) = a lo largo de la mitad superior del anillo
z3
A(0; , R) deducir que
w
+
sen x 3 3
dx =
x 8
0
2 sen 3 (1 )
+ +
w t 1 w ex
dt = dx = .
0
1 + t + t2
1 + e x + e2 x 3 sen
log(i + z)
246. Integrando la funcin f (z) = a lo largo de la frontera de la mitad superior
1 + z2
del anillo A(0; , R), 0 < < 1 < R, prueba que
+
w log(1 + x 2)
dx = log 2.
1 + x2
0
247. Definamos, para cada zC , h(z) = log(iz) + i . Dado ] 1, 1[, integra la funcin
2
exp(h(z))h(z)
f (z) =
1 + z2
a lo largo de la frontera de la mitad del anillo A(0; , R), 0 < < 1 < R, que est conte-
nida en el semiplano superior para obtener el valor de las integrales
+
w x log(x) +
w x
dx y dx
1 + x2 1 + x2
0 0
log z
248. Sea n un nmero natural mayor o igual que 3. Integrando la funcin z 7 a
1 + zn
lo largo de la frontera del conjunto
{z C : < |z| < R, 0 < arg(z) < 2/n}, (0 < < 1 < R)
z 2 log(z)
249. Integrando la funcin z 7 a lo largo de la frontera del conjunto
1 + z4
{z C : < |z| < R, 0 < arg(z) < /2}, (0 < < 1 < R)
250. Sea = e i/4 y R > 0. Integra la funcin f (z) = cosec(z) exp(iz 2 ) a lo largo de la
poligonal cerrada (R) = [1/2 R, 1/2 R, 1/2 + R, 1/2 + R, 1/2 R] para
calcular el valor de la integral
+
w 2
ex dx
0
2
251. Integrando z 7 eax a lo largo de la poligonal (R) = [R, R, R + i 2b 2b
a , R + i a , R]
(R > 0), calcula las integrales
+
w +
w
a x 2 2
e sen(bx) dx , ea x cos(bx) dx (a > 0, b > 0)
252.
Integrando una conveniente funcin compleja R+i
a lo largo del camino (, R) que se indica en la i
253.
Integrando una conveniente funcin com- R + i i R+i
pleja a lo largo del camino (, R) que se in-
dica en la figura 4.13, calcula la integral
+
w senh(ax)
dx (a > 0, a 6= ) R R
senh(x)
257. Naturalmente, el teorema de los residuos sirve para calcular integrales complejas.
w ez
a) Calcula el lmite lm dz .
R+ (z + 2)3
[1i R,1+i R]
w dz
b) Calcula la integral .
2
6z 5z + 1
C(0,1)
259. Sea
X
cotg(z) = an z n
n=
Xn
1
q = 0 (2 6 q 6 n)
z
j=1 j
w zk
Sugerencia: considera la integral dz (0 6 k 6 n 2).
f (z)
C(0,R)
261. a) Prueba que hay una nica funcin f H (C \ D(0, 1)) tal que f (z)2 = z 2 + z + 1
para |z| > 1 y f (x) > 0 para x > 1.
b) Calcula la integral
w 1
dz (R > 1)
f (z)
C(0,R)
262. Sea f una funcin holomorfa e inyectiva en C = C \ {0} verificando que f (z) 6= 0
para todo z C . Prubese que hay un nmero complejo 6= 0 tal que o bien f (z) =
z z C , o bien f (z) = z C .
z
Las aplicaciones del teorema de los residuos para sumar series se basan en la siguien-
te idea. Supongamos que f es una funcin holomorfa en C \ P( f ) donde P( f ) es un con-
junto finito de puntos que son polos de f . Admitiremos la posibilidad de que algn po-
lo de f sea un nmero entero. Sea g una funcin holomorfa en C \ Z que en cada n-
mero entero tiene un polo simple. Sea n un camino cerrado que rodee a los enteros
{n, n + 1, . . ., 1, 0, 1, . . ., n 1, n} y a los polos de f una sola vez dejando fuera a los de-
ms enteros. Teniendo en cuenta que si k es un entero que no es un polo de f se verifica
que Res( f (z)g(z), k) = f (k) Res(g(z), k), el teorema de los residuos nos dice que
w X X
f (z)g(z) dz = 2i Res( f (z)g(z), k) Indn (k) + 2i Res( f (z)g(z), w) =
n kZ wP( f )
kP(
/ f)
Xn X
= 2i f (k) Res(g(z), k) + 2i Res( f (z)g(z), w)
k=n wP( f )
kP(
/ f)
Supongamos que w
lm f (z)g(z) dz = 0 (4.25)
n
n
entonces obtenemos
n
X X
lm f (k) Res(g(z), k) = Res( f (z)g(z), w) (4.26)
n
k=n wP( f )
kP(
/ f)
Particularizando para estos casos la igualdad 4.26, supuesto que se cumpla la condi-
cin 4.25, obtenemos
n
X X
lm f (k) = Res f (z) cotg z, w (4.27)
n
k=n wP( f )
kP(
/ f)
n
X X
lm (1)k f (k) = Res f (z) cosec z, w (4.28)
n
k=n wP( f )
kP(
/ f)
4.44 Proposicin. Para todo z n se verifica que |cotg z| < 2 y |cosecz| < 2.
(n + 12 )(1 + i) (n + 12 )(1 + i)
n 1 n n n+1
(n + 12 )(1 i) (n + 21 )(1 i)
e2iz +1 ei2 y +1
cotg(z) = i = i
e2iz 1 ei2 y 1
2i 2 i eiz 2 i ei n (+1/2) y
cosec(z) = iz iz = 2 iz =
e e e 1 ei2 y 1
por lo que
1 e2 y
|cotg(z)| = <1
1 + e2 y
2 e y
|cosec(z)| = <2
1 + e y
Anlogamente, si z = x + i(n + 12 ) se obtiene que
1 + e(2n+1) 1 + e
|cotg(z)| 6 < <2
1 e(2n+1) 1 e
2 e(n+1/2) 2 e/2
|cosec(z)| 6 < <1
1e (2n+1) 1 e
Teniendo en cuenta que cotg z y cosecz son funciones impares, estas cotas tambin son
vlidas para los otros dos lados de n . X
cotg(z) cosec(z)
Demostracin. En efecto, como las funciones y son pares y tienen un
z z
polo de orden dos en cero, deducimos que su residuo en cero es igual a 0. Los residuos en
los dems polos se anulan dos a dos porque
cotg(z) 1 cosec(z) (1)k
Res , k = , Res ,k =
z k z k
y en consecuencia sus integrales en n son nulas en virtud del teorema de los residuos. X
4.46 Proposicin. Supongamos que hay nmeros M > 0 y R > 0 tales que para |z | > R se
verifica que |z f (z)| 6 M. Entonces se verifica que
w w
lm f (z) cotg(z) dz = lm f (z) cosec(z) dz = 0
n n
n n
f (1/z)
Demostracin. Pongamos h(z) = . La hiptesis hecha implica que h est acotada
z
en el disco D(0, 1/R) y, por tanto, h es regular en 0. Definiendo h(0) = lm h(z), se tiene que
z0
h es holomorfa en el disco D(0, 1/R) por lo que podemos escribir
X
h(z) = cn z n z D(0, 1/R)
n=0
Deducimos que
X
f (1/z) c 0 z = z 2 cn z n1 z D(0, 1/R) \ {0}
n=1
X
Como la funcin cn z n1 es continua en D(0, 1/R) deducimos que est acotada en com-
n=1
X
n1
pactos. Por tanto existe K > 0 tal que cn z 6 K para todo z D(0, 1/2R). Deducimos
n=1
que
f (z) c 0 6 K |z | > 2R (4.29)
z |z |2
Tenemos, en virtud de la proposicin 4.45, que
w w w cotg(z) w
c0 c0
cotg(z) f (z)d f z = cotg(z) f (z) dz + c 0 dz = cotg(z) f (z) dz
z z z
n n n n
Por la proposicin 4.44 y la desigualdad 4.29, deducimos que para n > 2R se verifica que
w w
cotg(z) f (z)d f z = cotg(z) f (z) c 0 dz 6 2K
z (n + 1/2)2 8(n + 1/2)
n n
+
X P(n)
4.8.1. Series del tipo
Q(n)
Suponemos que
Esto es consecuencia directa de los resultados anteriores pues en las hiptesis he-
P(z)
chas se verifica que lm z = L C y, por tanto, se satisface la hiptesis de la proposi-
z Q(z)
cin 4.46.
Es interesante observar que la existencia del lmite en 4.30 no implica que la serie
X P(k)
sea convergente. Naturalmente, que la serie sea convergente quiere decir que
Q(k)
kZ
Q(k)6=0
existe el lmite
q
X P(k)
lm
q
p k=p
Q(k)
Q(k)6=0
Por otra parte, la condicin grado(Q) > grado(P) + 2 garantiza la convergencia absoluta
de la serie.
X 1
Como la serie es convergente tenemos que
k2 + 2
n >1
n
X X 1 n X 1
1 1 1
lm = 2 lm + 2 =2 + 2
n k +
2 2 n k +
2 2 k +
2 2
k=n k=1 n=1
+
X P(n)
4.8.2. Series del tipo (1)n
Q(n)
Suponemos que
n
X q
X
P(k) P(z)
lm (1) k
= Res cosec(z) ,zj (4.31)
n Q(k) Q(z)
k=n j=1
Q(k)6=0
Es interesante observar que en este caso las hiptesis hechas garantizan, por el crite-
rio de Dirichlet, la convergencia de la serie aunque no necesariamente la convergencia
absoluta.
4.48 Ejemplo.
n
X
(1)k 1 1 d2 3 1 2
lm = Res cosec(z) , 0 = lm z cosec(z) =
n k2 z2 2 z0 d z 2 z2 6
k=n
k6=0
263. Justifica que, excepto para ciertos valores de a (que se precisarn en cada caso), se
verifican las siguientes igualdades.
X
1 1 1
a) = coth a 2 ;
n2 + a2 2 a a
n=1
X 1 1
b) = 3 (cotg a + cotha);
n4 a4 2a 4 4a
n=1
X
1 2
c) = ;
n=
(n a)2 sen2 a
X
(1)n 1
d) = 2+ ;
2
n +a 2 2a 2a senh a
n=0
X
(1)n 1 1 1
e) = + .
n4 a4 2a4 4a3 sen a senh a
n=1
sen az
264. Integrando la funcin z a lo largo de la frontera del cuadrado cuyos vr-
z3 sen z
tices son (1 i)(n + 21 ), donde n N, calcula la suma de las series
X sen an
a) (1)n+1 3
n
n >1
X (1)n
b)
(2n + 1)3
n >0
En esta seccin vamos a obtener dos importantes consecuencias del teorema de los
residuos que proporcionan herramientas tiles para el estudio de los ceros de una fun-
cin holomorfa. En lo que sigue vamos a considerar funciones cuyas nicas singularida-
des son polos.
Este resultado permite extender para funciones meromorfas las propiedades de los
ceros de las funciones holomorfas. En particular, los ceros de una funcin meromorfa y
4.52 Principio del argumento generalizado. Sea un dominio, f una funcin mero-
morfa no idnticamente nula en y g una funcin holomorfa en . Sea P( f ) el conjunto
de los polos y Z( f ) el conjunto de los ceros de f en .
Para b P( f ) notaremos n(b) el orden del polo de f en b, y para a Z( f ) notaremos m(a)
el orden del cero de f en a. Si es un ciclo en \ (P( f ) Z( f )) que es nulhomlogo con
respecto a se verifica que:
1 w f (z) X X
g(z) dz = Ind (a)m(a)g(a) Ind (b)n(b)g(b) (4.32)
2i f (z)
aZ( f ) bP( f )
Calculemos los residuos. Si a Z( f ) hay un disco D(a, r) tal que D(a, r) S = {a}. Por
tanto, existe una funcin H (D(a, r)) tal que (a) 6= 0 y f (z) = (z a)m(a) (z) para todo
z D(a, r). Por tanto
y en consecuencia
m(a) (z)
h(z) = g(z) + g(z) z D(a, r) \ {a}
(z a) (z)
Si b P, entonces existe un disco D(b, r) tal que D(b, r) S = {b}. Por la caracte-
rizacin de los polos sabemos que hay una funcin holomorfa en D(b, r) con (b) 6= 0
(z)
tal que f (z) = para todo z D(b, r) \ {b}. Tomando r suficientemente pequeo
(z b)n(b)
podemos suponer que (z) 6= 0 para todo z D(b, r). Tenemos que
(z) (z)
f (z) = n(b) +
(z b)n(b)+1 (z b)n(b)
por tanto,
f (z) (z) n(b)
h(z) = g(z) = g(z) + g(z)
f (z) (z) zb
y deducimos que lm (z b)h(z) = n(b)g(b), lo que implica que Res(h(z), b) = n(b)g(b). X
zb
Si ahora suponemos que para todo z es Ind (z) = 0 o Ind = 1 y definimos el conjunto
U = {z \ : Ind (z) = 1}, podemos escribir la igualdad anterior en la forma
1 w f (z) X X
dz = m(a) n(b) =
2i f (z)
aZ( f )U bP( f )U
donde cada cero y cada polo se cuenta tantas veces como indica su orden.
Veamos que
1 w f (z)
dz = Ind f (0)
2i f (z)
Es suficiente probar esta igualdad para un camino cerrado : [a, b] C. Por la defini-
cin de integral a lo largo de un camino tenemos
b
1 w f (z) 1 w f ((t)) 1 w dz
dz = (t) dt = = Ind f (0)
2i f (z) 2i f ((t)) 2i z
a f
1 w f (z)
Ind f (0) = dz = N0 N p (4.33)
2i f (z)
1 w f (z)
Ind f (0) = dz = N0 (4.34)
2i f (z)
Es decir, el nmero de ceros (contando cada cero tantas veces como su orden) de f en U
(el interior de ) es igual al nmero de veces que el camino f rodea al origen.
4.54 Proposicin. Sea P una funcin polinmica con coeficientes complejos de grado
n > 2, y sea U la regin angular
(
P t ei para t 6 0
(t) =
P te i
para t > 0
Demostracin. Sea K > 0 tal que P(z) 6= 0 para |z | > K. Consideremos, para R > K, el camino
cerrado (ver figura 4.15) R = R + R donde
R : [, ] C, R (t) = R eit ,
(
t ei para R 6 t 6 0
R : [R, R] C, R (t) =
t ei para 0 6 t 6 R
Observa que, por ser R > K, los ceros de P en U estn todos en UR = U D(0, R). Por el
Reit
UR
Reit
Calcularemos el lmite para R + de las dos ltimas integrales en esta igualdad. Te-
niendo en cuenta que P es un polinomio de grado n, podemos escribir
P (z) n P0 (z)
= +
P(z) z Q0 (z)
Deducimos que
1 w P (z) n( )
lm dz =
R+ 2i P(z) 2
R
Deducimos que
1 w P (z) 1
lm dz = lm ((R) (R))
R+ 2i P(z) 2 R+
R
Por tanto, tomando lmites en la igualdad 4.36, deducimos que el nmero de ceros de P
en U viene dado por
n( ) 1
N0 = + lm ((R) (R))
2 2 R+
X
interseccin de dichas familias de rectas (ver la figura 4.16). Notaremos Q(m,n) al cuadrado
(cerrado) cuyo vrtice inferior izquierdo es m + i n.
Q(m,n) = {z C : m 6 Re z 6 (m + 1), n 6 Im z 6 (n + 1)}
Si Q(m,n) K 6= entonces, como el dimetro de Q(m,n) es igual a 2 se tiene, por la
eleccin hecha de , que Q(m,n) . Como K es compacto slo hay un nmero finito
de cuadrados Q(m,n) cuya interseccin con K no es vaca. Sean stos Q1 , Q2 , . . . , Q p don-
de Q j = Q(m j ,n j ) . Es claro que dos cuadrados o bien son disjuntos o bien se cortan en la
frontera porque tienen un lado comn o un vrtice comn. Pongamos
j,1 = [m j + i n j , (m j + 1) + i n j ]
j,2 = [(m j + 1) + i n j , (m j + 1) + i(n j + 1)]
j,3 = [(m j + 1) + i(n j + 1), m j + i(n j + 1)]
j,4 = [m j + i(n j + 1), m j + i n j ]
j = j,1 + j,2 + j,3 + j,4
p
X
Observa que j es la poligonal formada por la frontera de Q j . Pongamos 0 = j.
j=1
Usaremos en lo que sigue que Ind j (z) = 1 si z est en el interior de Q j y Ind j (z) = 0 si z
no pertenece a Q j (ver ejercicio 88). El ciclo 0 tiene las propiedades siguientes.
(a) 0 .
Sp
(b) 0 es nulhomlogo respecto de . Pues si z / se tiene que z / j=1 Q j . Por lo que
Ind j (z) = 0 para todo j = 1, 2 . . . , p lo que implica que Ind0 (z) = 0.
Sp Sp
(c) Si z \ 0 entonces si z / j=1 Q j se tiene que Ind0 (z) = 0; y si z j=1 Q j se tiene
que z est en el interior de un nico Q j en cuyo caso es Ind0 (z) = 1. Por tanto se verifica
que Ind0 (z) {0, 1} para todo z \ 0 .
Observa que si dos cuadrados tienen un lado comn, el segmento formado por dicho
lado est recorrido en un sentido en un cuadrado y en sentido opuesto en el otro.
p
X p X
X 4
Podemos escribir 0 = j = j,k . Eliminemos de 0 aquellos intervalos j,k
j=1 j=1 k=1
cuyos opuestos tambin pertenecen a 0 y sea el ciclo as obtenido. Observa que los
ciclos 0 y son equivalentes en el sentido de la definicin 4.6. Comprobemos que
verifica las cuatro propiedades del enunciado.
(c) Sea z \ . Probaremos que Ind (z) {0, 1}. Consideremos varios casos.
Sp
/ j=1 Q j . Entonces z \ 0 y Ind (z) = Ind0 (z) = 0.
I) z
para todo z en la frontera de . Entonces, contando cada cero tantas veces como su
orden, se verifica que f y g tienen el mismo nmero de ceros en .
Sea K el conjunto
Sea U = {z \ : Ind (z) = 1}. Sabemos que K U por lo que los ceros de f y de g
en estn todos en U. Por el principio del argumento deducimos que
1 w f (z)
N0 ( f ) = dz (nmero de ceros de f en contando multiplicidades)
2i f (z)
1 w g (z)
N0 (g) = dz (nmero de ceros de g en contando multiplicidades)
2i g(z)
f (z)
lo que, segn sabemos, en virtud de la desigualdad 1.4, equivale a que / Ro . En con-
g(z)
secuencia la funcin : \ K C definida por
f (z)
(z) = log z \ K.
g(z)
f (z) g (z)
resulta que es una primitiva en \ K de la funcin y, por tanto, la integral
f (z) g(z)
de dicha funcin en cualquier ciclo en \ K es cero. En particular
w f (z) g (z)
dz = 0
f (z) g(z)
es decir, N0 ( f ) = N0 (g). X
Observacin
El teorema de Rouch permite dar otra demostracin sencilla del Teorema Funda-
mental del lgebra.
4.57 Teorema Fundamental del lgebra. Todo polinomio, P, de grado n con coeficien-
tes complejos tiene n ceros en C.
P(z) = z n + cn1zn1 + + c1 z + c0
Aplicaremos el Teorema de Rouch con f (z) = P(z) y g(z) = z n . Debemos elegir un dominio
apropiado para comprobar la desigualdad 4.38. Observa que para R > 1 y |z| = R se
verifica que
|P(z) g(z)| 6 MRn1
donde M = |cn1 | + + |c1 | + |c0 |. Sea = D(0, R) donde R > M. Entonces
El teorema de Rouch nos dice que, contando cada cero tantas veces como su orden, P
tiene en el disco D(0, R) tantos ceros como la funcin g(z) = z n , esto es, n ceros. X
entonces existe un natural m tal que para n > m se verifica que fn y f tienen el mismo
nmero finito de ceros en (o en ).
por tanto, en vista del Teorema de Rouch, las funciones fn y f tienen el mismo nmero
finito de ceros en . Adems la desigualdad anterior implica que fn y f no se anulan en la
frontera de , por tanto, tambin tienen el mismo nmero de ceros en . X
265. Calcula el nmero de ceros en el semiplano de la derecha de cada uno de los si-
guientes polinomios:
a) P(z) = z4 + 2z3 2z + 10;
b) P(z) = z4 + 2z3 2z 10;
c) P(z) = z6 z3 4z + 6;
d) P(z) = z5 + 5z3 + 11z2 + 4z + 1;
266. Sea f una funcin continua en D(0, 1) y holomorfa en D(0, 1) tal que | f (z)| < 1 siem-
pre que |z | = 1. Prueba que f tiene exactamente un punto fijo en D(0, 1).
268. Dados un nmero natural n y dos nmeros reales distintos de cero a y b, determne-
se el nmero de ceros del polinomio z2n + a z2n1 + b2 situados en el semiplano de la
derecha.
269. Calcula el nmero de ceros del polinomio P(z) = z6 + z3 + 4z2 + 2 en cada uno de los
discos D(0, 21 ), D(0, 1) y D(0, 2).
270. Justifica que para a R, a > e, la ecuacin ez = azn , tiene n soluciones distintas en
D(0, 1).
272. Sea 0 < |a| < 1 y p N. Prueba que la ecuacin (z 1) p = a ez tiene exactamente p
ceros simples en D(1, 1) y si |a| 6 1/2 p dichos ceros estn en D(1, 1/2).
273. Prueba que los ceros del polinomio z4 + iz3 + 1 pertenecen al disco D(0, 23 ) y deter-
mina cuntos de ellos se hallan en el primer cuadrante.
274. Prueba que todos los ceros del polinomio z8 + 3z3 + 7z + 5 se hallan situados en el
anillo A(0, 21 , 32 ) y que exactamente dos de ellos estn en el primer cuadrante.
275. Prueba que todos los ceros del polinomio P(z) = z6 3z5 + 2z2 + 6 pertenecen al ani-
llo A(0; 1, 72 ) y determinar cuntos de ellos se hallan en el semiplano de la derecha.
281. Prueba que todos los ceros del polinomio P(z) = z6 z3 4z + 6 pertenecen al anillo
A(0; 1, 2) y determnese cuntos de ellos se hallan en el semiplano de la derecha.
282. Dado 0 < < 1, prueba que, para n N suficientemente grande, el polinomio
283. Dado > 0, prueba que, para n N suficientemente grande, todos los ceros de la
funcin
1 1 1
fn (z) = 1 + + 2 + + n
z 2!z n!z
se hallan en el disco D(0, ).
284. Sea un dominio y f una funcin holomorfa e inyectiva en . Sea D(a, r) . Jus-
tifica que para todo w f (D(a, r)) se verifica que
1 w f (z)
z dz = f 1 (w)
2i f (z) w
C(a,r)
287. Demuestra el teorema de la aplicacin abierta a partir del principio del argumento.
288. Demuestra el teorema del comportamiento local de una funcin holomorfa (teore-
ma 3.34) a partir del principio del argumento.
290. Sea f una funcin meromorfa en C y regular en tal que lm f (z) = 1 y las nicas
z
singularidades de f son los puntos z = 1 donde f tiene un polo de orden uno y
Res( f (z), 1) = 1, y z = 2 donde f tiene un polo de orden 2 y Res( f (z), 2) = 2. Calcula
f.
291. Sea f una funcin meromorfa en C cuyas nicas singularidades son z = 1 donde
f tiene un polo de orden uno y Res( f (z), 1) = 1, y z = 2 donde f tiene un polo de
orden 2 y Res( f (z), 2) = 2. Adems f (0) = 7/4 y f (1) = 5/2. Calcula f y su desarrollo
de Laurent en A(0; 1, 2).
Representacin conforme
5.1. Introduccin
Aunque no es posible visualizar la grfica de una funcin compleja, ya que tal grfica
es un subconjunto de R4 , podemos conseguir informacin sobre la funcin considern-
dola como una transformacin de un plano en otro plano. Estudiando la forma en que
una funcin compleja transforma algunas regiones o curvas podemos obtener cierta in-
tuicin geomtrica sobre el comportamiento de dicha funcin. Este punto de vista geo-
mtrico ser importante en este captulo. Veremos que las funciones holomorfas cuya
derivada no se anula pueden caracterizarse como las aplicaciones diferenciables de R2
en R2 que conservan ngulos orientados entre curvas. Por esta razn a tales funciones
se les llama conformes. Las funciones holomorfas e inyectivas son, en este sentido, apli-
caciones conformes; pues sabemos que si f es una funcin holomorfa e inyectiva en un
abierto , entonces su derivada f no se anula en ningn punto de . Adems, la funcin
inversa f 1 es holomorfa en el abierto f (). Dos abiertos del plano entre los que existe
una biyeccin holomorfa diremos que son isomorfos. Tales abiertos son esencialmente
indistinguibles en la teora de funciones holomorfas. Un resultado principal de este cap-
tulo ser la caracterizacin de los abiertos del plano que son isomorfos al disco unidad.
De ello se ocupa el llamado Teorema Fundamental de la representacin conforme. La
demostracin de este resultado nos llevar a introducir una topologa en el espacio de
las funciones holomorfas H () y a caracterizar los subconjuntos compactos en dicha
topologa. Previamente a ello estudiaremos la clase ms elemental de transformaciones
conformes en el plano: las transformaciones de Mbius.
Podrs apreciar en este captulo que aunque los resultados puedan interpretarse geo-
mtricamente las tcnicas de demostracin son puramente analticas. Este es, a mi pare-
cer, uno de los aspectos ms hermosos de la teora de funciones holomorfas.
245
5.2 Aplicaciones conformes 246
5.1 Definicin. Sea : [a, b] C una curva. Diremos que tiene tangente en un punto
z = (t) (en rigor habra que hacer referencia al valor t del parmetro) cuando es derivable
en t y (t) 6= 0. El vector (o el nmero complejo) (t) se llama vector tangente a en
z = (t).
Dadas dos curvas , : [a, b] C que se cortan en un punto z = (t) = (s) y que tienen
tangente en dicho punto, se define el ngulo de la curva con la curva en el punto z
como
(t)
, (z) = Arg
d
(s)
, (z) 6= d
Observa que d , (z).
, (z0 ) = ed
lo que implica que d ,
e ( f (z0 )), es decir, f es conforme en z0 .
Demostracin. Sea (t) = 1 (t) + i 2 (t) una curva en con tangente en z0 = (t0 ). La curva
e = f es, en virtud de la regla de la cadena, derivable en t0 y su derivada viene dada por
u u
(z0 ) (z0 )
e (t0 ) = D f (z0 ) (t0 ) = x y 1 (t0 )
v v (5.1)
(z0 ) (z0 ) 2 (t0 )
x y
u u v v
En lo que sigue notaremos a = (z0 ), b = (z0 ), c = (z0 ) y d = (z0 ). Para probar que
x y x y
f es derivable en z0 probaremos que a = d y b = c. Tenemos que
! !
a b (t )
1 0
e (t0 ) = D f (z0 ) (t0 ) = = a 1 (t0 ) + b 2 (t0 ) + i c 1 (t0 ) + d 2 (t0 ) =
c d 2 (t0 )
Dado un vector w R2 con kwk = 1, la curva dada por (t) = z0 + tw, donde t [r, r], est
en sin ms que tomar r suficientemente pequeo. Puesto que (t) = w y, por hiptesis,
f es conforme en z0 , debe verificarse que D f (z0 )(w) 6= 0. Deducimos que el determinante
jacobiano de f en z0 , ad bc 6= 0. Adems la aplicacin lineal T : R2 R2 dada por
! !
a b x
T (x, y) =
c d y
debe conservar ngulos. Deducimos que los vectores T (1, 0) = (a, c) y T (0, 1) = (b, d) han
de ser ortogonales. Tambin han de ser ortogonales los vectores T (1, 1) = (a + b, c + d) y
T (1, 1) = (a b, c d). Resulta as que
ab + c d = 0, a 2 b 2 = c2 d 2
Deducimos por tanto que debe verificarse que a + i b = d ic igualdad que equivale
a las condiciones de CauchyRiemann para f en el punto z0 . Lo que implica que f es
derivable en z0 y f (z0 ) = a + ic 6= 0. X
5.2.1. Automorfismos de C
5.7 Teorema. Las funciones enteras e inyectivas son las funciones polinmicas de grado
uno.
Demostracin. Sea f una funcin entera e inyectiva. Si f tuviera una singularidad esen-
cial en , sabemos, por la proposicin 4.33, que el conjunto { f (z) : |z | > 1} sera denso
en C. Y como, en virtud del teorema de la aplicacin abierta, el conjunto { f (z) : |z| < 1} es
abierto, se tendra que
{ f (z) : |z | > 1} { f (z) : |z| < 1} 6=
lo cual contradice que f es inyectiva. La proposicin 4.34 nos dice ahora que f es una
funcin polinmica. Pero como f es inyectiva debe ser necesariamente una funcin po-
linmica de grado 1. X
El siguiente resultado es la versin para funciones meromorfas del teorema 3.34 sobre
el comportamiento local de una funcin holomorfa.
5.10 Teorema. Las funciones meromorfas e inyectivas en C son las funciones de la forma
az + b
(z) = a, b, c, d C y ad bc 6= 0 (5.3)
cz + d
se sigue que ad bc 6= 0. X
D(, R) = {z C : |z | > R} {}
C {(x, y, 0) : x, y R}
Sea S = (x, y, z) R3 : x 2 + y 2 + z 2 = 1 la esfera unidad en R3 . Notaremos N = (0, 0, 1) y
llamaremos a dicho punto el polo norte de la esfera. Dado un punto z = x + i y C, calcu-
lemos la interseccin con la esfera S de la recta que pasa por dicho punto y por el polo
norte de la esfera.
z
(z)
(w) y
w
x Distancia Cordal (z, w)
b S dada por
La aplicacin : C
!
z+z i(z z) |z |2 1
(z) = , ,
|z |2 + 1 |z |2 + 1 |z |2 + 1
() = (0, 0, 1)
2 |z w| 2
(z, w) = q q , (, z) = q
1 + |z |2 1 + |w |2 1 + |z |2
Si c = 0, definimos () = ;
a d
Si c 6= 0, definimos () = y = ;
c c
b sobre C.
(M 1) Las transformaciones de Mbius son biyecciones de C b
Se comprueba fcilmente que la transformacin de Mbius de parmetros d, b, c,
b C
a, es decir, la aplicacin : C b definida por
dz b
(z) =
cz + a
con los correspondientes convenios, es la inversa de .
b
(M 2) Las transformaciones de Mbius son homeomorfismos de C.
Los giros que son las transformaciones de Mbius de la forma (z) = z donde
C con || = 1.
Las homotecias que son las transformaciones de Mbius de la forma (z) = z
donde R+ .
Las traslaciones que son las transformaciones de Mbius de la forma (z) =
z + b donde b C.
El subgrupo formado por la identidad y la inversin que es la transformacin
de Mbius dada por J(z) = 1/z, J(0) = , J() = 0. Observa que J 1 = J.
Vamos a probar que las transformaciones de Mbius conservan el conjunto de las rectas
y circunferencias del plano. En lo que sigue representaremos por C la familia de sub-
conjuntos de C b cuyos elementos son las circunferencias en C y los conjuntos de la for-
ma L {} donde L es una recta en C. Queremos probar que si C y M entonces
() C . Teniendo en cuenta la propiedad 6 y que, como se comprueba fcilmente, los
giros, homotecias y traslaciones conservan rectas y circunferencias, ser suficiente pro-
bar que si C entonces J() C . Para ello es cmodo representar el conjunto de todos
los elementos de C mediante una sola ecuacin. La forma de hacerlo consiste en consi-
derar los elementos de la familia C como proyecciones estereogrficas de circunferencias
sobre la esfera S.
con S. Para que dicha interseccin no sea vaca debe verificarse que la distancia de al
origen sea menor que 1, esto es
|D|
p < 1 A 2 + B 2 + C 2 > D 2
A + B2 +C2
2
Tenemos que
P( S) = P {(u, v, w) S : Au + bv + Cw + D = 0}
Distinguiremos dos casos
(0, 0, 1) S lo que ocurre si, y slo si, C + D = 0. En tal caso P( S), y para
z C se tiene que z P( S) si, y slo si, (z) , es decir:
Por tanto
P( S) = {z = x + i y C : 2Ax + 2By + D C = 0} {}
Observa que se trata de una recta en el plano a la que se ha agregado el punto del
infinito.
Hemos probado en 5.5 y en 5.6 que si C + D = 0 entonces 5.7 representa una recta a la
que se ha agregado el punto ; y si C + D 6= 0 entonces 5.7 representa una circunferencia.
Recprocamente, es muy fcil comprobar que la ecuacin de cualquier recta o circunfe-
rencia en el plano puede escribirse como (A, B,C, D) para una conveniente eleccin de
los parmetros A, B,C, D.
Probaremos ahora que J((A, B,C, D)) = (A, B, C, D). En efecto, para zC tenemos
que:
Adems
Es claro que si es una transformacin de Mbius, las imgenes por de las rectas y
circunferencias que pasan por 1 () han de contener a , luego deben ser rectas,
y las imgenes por de las rectas y circunferencias que no pasan por 1 () no
contienen a y, por tanto, son circunferencias.
z z0
= zC : = R {}, es decir, es la recta que pasa por z0 y z1 . Defini-
z1 z0
mos entonces
z z0
+ = z C : Im >0 (el semiplano de la izquierda al avanzar
z1 z0
sobre la recta desde z0 a z1 )
z z0
= z C : Im <0 (el semiplano de la derecha al avanzar
z1 z0
sobre la recta desde z0 a z1 )
(+ ) = + y ( ) =
o bien
(+ ) = y ( ) = +
Por ejemplo, consideremos la transformacin de Mbius dada por
z1
(z) = .
z+1
Como |(it)| = 1 para todo t R, resulta que aplica el eje imaginario = i R {} en
la circunferencia unidad C(0, 1) . Como (1) = 0 deducimos que lleva el semiplano de
la derecha, H = {z C : Re z > 0}, al disco unidad D(0, 1). Como todo disco es isomorfo,
mediante una homotecia y una traslacin, al disco D(0, 1) y todo semiplano es isomorfo,
mediante una traslacin y un giro, al semiplano H, deducimos que todo semiplano y todo
disco son isomorfos. Veremos ms adelante que los nicos isomorfismos entre este tipo
de dominios vienen dados por medio de transformaciones de Mbius.
Deducimos que (z) = (z, (z2 ), (z3 ), (z4 )), y por tanto
( ) = R {} = ()
(M 13) Cuatro puntos distintos del plano ampliado son concclicos (estn sobre una misma
recta o circunferencia) si, y slo si, su razn doble es un nmero real.
b puntos distintos tales que (z1 , z2 , z3 , z4 )R. Sea (z) =
En efecto, sean z1 , z2 , z3 , z4 C
(z, z2 , z3 , z4 ) y = (R {}). Como, por hiptesis, (z1 ) R {}, deducimos
1
Puesto que un nmero complejo es real cuando coincide con su conjugado, deduci-
mos que la ecuacin de la recta que pasa por dos puntos z2 , z3 viene dada por
(z, z2 , z3 , ) = (z, z2 , z3 , )
es decir
z z2 z z2
= (5.9)
z3 z2 z3 z2
z z2
o, lo que es igual, = R.
z3 z2
Anlogamente, la ecuacin de la circunferencia que pasa por tres puntos z2 , z3 , z4 viene
dada por
(z, z2 , z3 , z4 ) = (z, z2 , z3 , z4 )
(z, z2 , z3 , ) = ((z), w2 , w3 , w4 )
5.12 Proposicin. Sea una transformacin de Mbius que deja invariante el eje real.
Entonces conserva la simetra respecto del eje real, esto es, (z) = (z).
Demostracin. Sea M con () = R {}. Definimos z = 1 (z) . Es claro que z
es simtrico de z respecto de puesto que por la forma de definirlo (z ) = (z).
(z , z2 , z3 , z4 ) = (z, z2 , z3 , z4 ) (5.10)
Veamos a continuacin que el concepto de simetra respecto de una recta que acaba-
mos de definir no es otro que el concepto de simetra de la geometra elemental. Sea
una recta. Pongamos z4 = y sean z2 , z3 \ {} dos puntos cualesquiera distintos. La
caracterizacin anterior nos dice que un punto z y su simtrico z respecto de deben
cumplir:
z z2 z z2
= (5.11)
z3 z2 z3 z2
Deducimos que |z z2 | = |z z2 |, donde z2 es un punto cualquiera de . Esto nos dice
que dos puntos simtricos respecto una recta equidistan de cualquiera de sus puntos.
Adems, de la igualdad 5.11 obtenemos que
z z2 z z2
Im = Im
z3 z2 z3 z2
es decir, si un punto est en uno de los dos semiplanos definidos por la recta el simtrico
se encuentra en el otro semiplano. Concluimos que la recta es la mediatriz del segmento
que une los puntos z, z .
Comparando la ecuacin 5.11 con la 5.9, resulta que la ecuacin de la simetra respec-
to de una recta se obtiene sin ms que sustituir z por z en la ecuacin de la recta.
= {z C : |z a| = R}
R2
z = +a
za
Observa que si z = a entonces se obtiene que a = . De forma equivalente
(z a)(z a) = R2 , a =
El punto z est dentro del disco D(O, R) En este caso dibujamos la recta que contiene al
centro de la circunferencia y al punto z pues sabemos que el simtrico de z, z , se
encuentra en dicha recta. A continuacin trazamos la perpendicular a la recta Oz
por el punto z. Esta recta nos da el punto A al cortar a la circunferencia. Por ltimo
trazamos la perpendicular a la recta OA por el punto A y calculamos el punto de
corte con la recta Oz, este ser z (ver figura 5.2).
Esto es cierto puesto que el teorema del cateto nos asegura que los dos puntos as
construidos cumplen
R |Oz|
=
|Oz | R
de donde R2 = |Oz | |Oz|. Puesto que el simtrico es nico debe ser z
A A
R
O z z O z B z
Figura 5.2: z es interior al disco D(0, R) Figura 5.3: z es exterior al disco D(0, R)
El punto z est fuera del disco D(O, R) De nuevo dibujamos la recta que une el centro
con el punto z. Encontramos el punto medio de Oz, B, y trazamos un arco de centro
B y radio |OB| que corta a la circunferencia en A. Dibujamos la perpendicular a Oz
de forma que corte a A. El pie de la perpendicular es el simtrico de z, z .
semiplano superior tal que () = 0. El simtrico de respecto el eje real, es decir, , de-
be transformarse en el simtrico de () = 0 respecto la circunferencia unidad, es decir,
() = .
az + b
Si escribimos (z) = las condiciones anteriores implican que
cz + d
() = 0 a + b = 0 b = a
() = c + d = 0 d = c
a z a a
con lo cual (z) = . Adems debe ser |(0)| = = 1, es decir, = ei con lo cual
c z c c
deducimos que debe ser de la forma
z
(z) = ei , ( C, Im > 0, R)
z
Recprocamente, es fcil ver que cualquier transformacin de la forma indicada aplica el
semiplano superior en el disco unidad.
El siguiente resultado, a pesar de que sus hiptesis parecen muy restrictivas, es extra-
ordinariamente til como tendremos ocasin de ver en lo que sigue.
5.17 Lema de Schwarz. Sea f una funcin holomorfa en el disco unidad D(0, 1) verifi-
cando que | f (z)| 6 1 para todo z D(0, 1), y f (0) = 0. Entonces:
(b) | f (0)| 6 1
Adems, si existe un punto del disco unidad no nulo para el cual se da la igualdad en
(a) o bien si | f (0)| = 1, entonces f es un giro, es decir, existe C con || = 1 tal que
f (z) = z para todo z D(0, 1).
f (z)
g(z) = z 6= 0
z
g(0) = f (0)
f (z)
Puesto que lm g(z) = lm = f (0) = g(0), tenemos que g es continua en 0. El teorema
z0 z
z0
de extensin de Riemann nos dice que g es holomorfa en el disco unidad.
Sea z D(0, 1) un punto cualquiera fijo. Tomemos r > 0 de forma que |z| < r < 1. Tene-
mos
Haciendo r 1, obtenemos |g(z)| 6 1 y esta desigualdad es vlida para todo z D(0, 1).
Hemos probado as las condiciones (a) y (b) del enunciado.
Si se da la igualdad en (a) para algn z0 D(0, 1) \ {0} tenemos que | f (z0 )| = |z0 |, es
decir, |g(z0 )| = 1 y |g| alcanza el mximo en un punto interior luego, por el principio del
mdulo mximo, g es constante en D(0, 1) y deber ser g(z) = con || = 1 y, por tanto,
f (z) = z para todo z D(0, 1) y f es un giro.
En el caso de que | f (0)| = 1 tenemos |g(0)| = 1 y razonando igual que antes volvemos
a obtener que f es un giro. X
|a (z)| < 1 |z a|2 < |1 z a|2 |z|2 + |a|2 2 Re(z a) < 1 + |z a|2 2 Re(z a)
|z|2 + |a|2 1 |z a|2 < 0 (|a|2 1)(1 |z|2 ) < 0 1 |z|2 > 0 |z| < 1
5.18 Proposicin. Los automorfismos conformes del disco unidad son las transforma-
ciones de Mbius de la forma
za
a (z) = , (, a C, || = 1, |a| < 1) (5.12)
1 az
Demostracin. Sea M un automorfismo del disco unidad. Esto implica que conser-
va la circunferencia unidad, C(0, 1) = C(0, 1) .
Sea aD(0, 1) tal que (a) = 0. Como el simtrico de a respecto a la circunferencia uni-
z +
dad es 1/a deber ser (1/a) = . Puesto que es de la forma (z) = , deducimos
z +
que
(a) = 0 a + = 0 = a
1
(1/a) = + = 0 = a
a
za
de donde (z) = . Adems debe ocurrir que 1 = |(1)| = . Hemos obtenido que
1 az
es de la forma indicada en 5.12. Veamos que son los nicos.
Sea f Aut D(0, 1) . Llamemos a = f 1 (0) D(0, 1) y consideremos el automorfismo
del disco unidad = f 1
a . Como (0) = 0, estamos en condiciones de aplicar el lema
de Schwarz a . Deducimos que
es decir |(z)| = |z| para todo z D(0, 1). El lema de Schwarz implica que es un giro, esto
es, existe C con || = 1 de forma que (z) = z. Luego f (z) = a (z). X
5.19 Corolario. Sean 1 y 2 dominios en C que son semiplanos o discos. Entonces di-
chos dominios son isomorfos y los isomorfismos de 1 sobre 2 son las transformaciones
de Mbius que aplican 1 sobre 2 .
Iso(1 , 2 ) = |1 : M , (1 ) = 2
f
a 1 2 f (a)
0 D(0, 1)
La aplicacin g = f verifica las hiptesis del lema de Schwarz y, por tanto |g(z)| 6 |z |
y |g (0)| 6 1 desigualdades que deben ser estrictas en todo punto del disco unidad z 6= 0
y, en caso contrario g es un giro. Si se da esta ltima condicin tenemos prcticamente
determinada a f . Un ejemplo de esta forma de proceder es el siguiente resultado.
5.20 Lema de Schwarz-Pick. Sea f H (D(0, 1)) con | f (z)| 6 1 para todo z D(0, 1). En-
tonces, para todo z D(0, 1) se verifica que
|z | + | f (0)| 1 | f (z)|2
| f (z)| 6 , | f (z)| 6
1 |z | | f (0)| 1 |z |2
Demostracin. Sea a D(0, 1), a 6= 0, fijo en lo que sigue. Componiendo f con conve-
nientes automorfismos del disco podemos obtener una funcin que fije el cero. Para ello
consideramos los automorfismos del disco unidad dados por
z+a z f (a)
(z) = , (z) =
1 + az 1 f (a)z
Podemos ahora aplicar el lema de Schwarz a la funcin g = f para obtener que
|g (0)| 6 1. Por la regla de la cadena g (0) = (0) f (a) ( f (a)). Es inmediato que
1
(0) = 1 |a|2 ( f (a)) =
1 | f (a)|2
Por tanto
1 | f (a)|2
| f (a)| 6
1 |a|2
de donde
| f (z)| | f (0)| 6 | f (z) f (0)| 6 |z||1 f (0) f (z)| 6 |z |(1 + | f (0)| | f (z)|)
1 = {z C : < Im z < }
Toda banda es isomorfa a D(0, 1). En efecto, mediante un giro, una traslacin y una
homotecia se puede transformar cualquier banda en la banda horizontal
sobre
2 = {z C : < arg(z) < }
Por ejemplo, la aplicacin z 7 z3 es un isomorfismo del sector {z C : 0 < argz < /3}
sobre el semiplano superior.
292. Las circunferencias mximas de la esfera son los cortes de S con los planos que pa-
san por el origen. Prueba que la proyeccin estereogrfica de una circunferencia
C(a, R) C es una circunferencia mxima de S si, y slo si, R 2 = 1 + |a|2 .
294. Encuentra la relacin entre las proyecciones en la esfera de los siguientes pares de
puntos:
a) z, z b) z, z c) z, 1/z d) z, 1/z
296. Dados dos puntos z1 y z2 , halla el lugar geomtrico de los puntos del plano cuya
proyeccin estereogrfica es el conjunto de puntos de la esfera que equidistan de
las proyecciones de z1 y z2 . Interpreta el resultado obtenido.
Iso(1 , 3 ) = { f : f Iso(2 , 3 )}
298. Prueba que toda transformacin de Mbius, distinta de la identidad, tiene uno o dos
puntos fijos en C. Determina todas las las transformaciones de Mbius que tienen:
a) como nico punto fijo,
b) 0 e como puntos fijos.
299. Dados dos nmeros complejos distintos a y b, halla la ecuacin general de todas
las circunferencias respecto de las cuales a y b son simtricos. Prueba que cualquier
circunferencia que pase por a y b es ortogonal a cualquier circunferencia respecto
de la cual a y b son simtricos.
300. Determina todos los isomorfismos conformes del primer cuadrante sobre el disco
unidad.
301. Determina un isomorfismo conforme del primer cuadrante sobre la mitad superior
del disco unidad.
302. Determina, en cada uno de los siguientes casos, la imagen del dominio por la
transformacin .
zi
a) = {z C : Re z > 0, Im z > 0}, (z) =
z+i
2z i
b) = {z C : |z| < 1, Im z > 0}, (z) =
2 + iz
z
c) = {z C : 0 < arg z < }, (z) =
4 z1
z1
d) = {z C : 0 < Re z < 1}, (z) =
z2
z
e) = {z C : 1 < |z| < 2}, (z) =
z1
308. Encuntrese una transformacin de Mbius que aplique la circunferencia unidad
en una recta vertical, el punto 4 en 0 y la circunferencia de centro 0 y radio 2 en s
misma.
310. Prueba que el dominio = {zC : Re z > 0, |z 2| > 1} es isomorfo al anillo A(0; , 1)
para conveniente valor de con 0 < < 1.
311. Prueba que el dominio = {z C : |z| < 5, |z 2| > 2} es isomorfo al anillo A(0; , 1)
para conveniente valor de con 0 < < 1.
312. Sea una transformacin de Mbius con dos puntos fijos a, b C. Prueba que
puede expresarse de la forma:
(z) a za
=
(z) b zb
313. Halla una transformacin de Mbius que deje invariante la circunferencia de centro
0 y radio 5 y tenga 5 como nico punto fijo.
324. Sea f una funcin holomorfa en el disco unidad, verificando que f (0) = 1, f (0) = 2i
1 + iz
y Re f (z) > 0 para todo z en D(0, 1). Prueba que f (z) = para todo z D(0, 1).
1 iz
325. Sean 0 < r < R, 0 < s < S y a, b dos nmeros complejos. Prueba que para que exista
una transformacin de Mbius que aplique el anillo A(a; r, R) sobre el anillo A(b; s, S)
es condicin necesaria y suficiente que R/r = S/s.
326. Puede existir un isomorfismo conforme entre los anillos A(0; 0, 1) y A(0; 1, 2)? Justi-
fica la respuesta.
328. Prueba que una funcin holomorfa del disco unidad en s mismo que tiene dos pun-
tos fijos es igual a la identidad.
= {z C : |z 1| < 1, |z i| < 1}
330. Prueba que, para conveniente valor de con 0 < < 1, el dominio
= {z C : Re z > 0, |z 1| > }
sobre la mitad del disco unidad abierto que est contenida en el semiplano superior.
sobre la mitad del disco unidad abierto que est contenida en el semiplano superior.
335. Sea f H (D(0, 1)) tal que | f (z)| 6 1 para todo z D(0, 1). Sean a1 , a2 , . . . , an ceros de f
en D(0, 1). Prueba que:
n
Y
z ak
| f (z)| 6
1 ak z (z D(0, 1))
k=1
336. Sea f : D(0, 1) C una funcin meromorfa no constante en el disco D(0, 1), conti-
nua en D(0, 1) \ P , donde P es el conjunto de los polos de f , y tal que | f (z)| = 1 si
|z| = 1. Describe cmo es f .
337. Sean a1 , a2 , . . . , an y b puntos del disco D(0, 1). Prueba que la ecuacin
n
Y z aj
=b
1 ajz
j=1
5.21 Proposicin. Existe una nica topologa T en C () tal que para toda f H (),
la familia de conjuntos
5.22 Definicin. Diremos que {Kn } es una sucesin exhaustiva de compactos de [ si para
cada n N, Kn es un compacto, Kn est contenido en el interior de Kn+1 y = Kn .
nN
En todo abierto hay sucesiones exhaustivas de compactos. Por ejemplo, supuesto que
6= C, la definida por Kn = {z C : |z| 6 n, dist(z, C \ ) > 1/n}. Si = C basta considerar
Kn = D(0, n). Es claro que si {Kn } es una sucesin exhaustiva de compactos de , entonces
para cada compacto K se tiene que K Kn para algn n N.
n ( f ) = max{| f (z)| : z Kn }
n ( f g) 6 n ( f h) + n( f g)
de donde
n ( f g) n ( f h) + n(h g) n ( f h) n (h g)
6 6 +
1 + n ( f g) 1 + n( f h) + n(h g) 1 + n( f h) 1 + n(h g)
1
Multiplicando por y sumando la serie resulta que d( f , g) 6 d( f , h) + d(h, g). X
2n
5.24 Lema.
f , g C (), d( f , g) < g U( f , K, )
f , g C (), g U( f , K, ) d( f , g) <
Demostracin.
sabemos, implica convergencia en C (), T , deducimos, por lo antes dicho, que la dis-
tancia d es completa.
5.25 Teorema.
d) Se dice que F es puntualmente equicontinuo si para cada a y para cada > 0 existe
un > 0 tal que D(a, ) y para todo z D(a, ) y para toda f F se verifica que
| f (z) f (a)| < .
Demostracin. Dado un compacto K la familia de abiertos U( f , K, 1) : f F es un
recubrimiento por abiertos del compacto F , luego tiene que haber un nmero finito de
p
[
funciones f j F , 1 6 j 6 p de manera que F U( f j , K, 1). Sea M j = max f j (z) : z K
j=1
y M = max M j : 1 6 j 6 p . Entonces, dada f F hay algn j tal que f U( f j , K, 1) y, por
tanto, para todo z K tenemos que
| f (z)| 6 f (z) f j (z) + f j (z) 6 1 + M j 6 1 + M
Fijemos ahora a y r > 0 tal que D(a, r) . Pongamos K = D(a, r). Dado > 0, la
familia {U( f , K, ) : f F } es un recubrimiento por abiertos de F . Por la compacidad de
[n
F , existe un nmero finito de elementos g1 , , gn de F tal que F U(g j , K, ). Por la
j=1
continuidad de cada una de las funciones g j podemos encontrar un nmero 0 < < r tal
que
|z a| < |g j (z) g j (a)| < j = 1, 2, , n.
Dada f F , entonces para algn j se tiene que f U(g j , K, ). Por tanto si |z a| <
obtenemos
{ fn (a1 )}nN . Como la sucesin { f1 (n) (a2 )}nN est acotada tiene una parcial { f1 2 (n) (a2 )}
convergente. Naturalmente, la sucesin { f1 2 (n) (a1 )} tambin converge por ser parcial
de una sucesin convergente. De esta forma, por induccin, obtenemos que hay una su-
cesin, {n }, de aplicaciones de N en N estrictamente crecientes de manera que, defi-
niendo k = 1 2 k se verifica que { fk (n) (a j )}nN converge para 1 6 j 6 k.
La aplicacin dada por (n) = n (n) es estrictamente creciente. Veamos que la sucesin
{ f(n) } converge puntualmente en E. Pongamos, por comodidad de notacin gn = f(n) .
Para k fijo, tenemos que
gn+k (ak ) = f(n+k) (ak ) = fn+k (n+k) (ak ) = f1 2 n+k (n+k) (ak ) = fk (k+1 n+k )(n+k) (ak ),
lo que nos dice que {gn+k (ak )}nN es una parcial de { fk (n) (ak )}n , y por tanto converge, lo
que, evidentemente, implica que {gn (ak )}nN converge.
Hemos probado la condicin de Cauchy uniforme sobre compactos para la sucesin {gn }
lo que, segn sabemos, equivale a que dicha sucesin es convergente en C (). X
Veamos que para funciones holomorfas los compactos de H () tienen una caracte-
rizacin ms sencilla que la que proporciona el Teorema de Ascol-Arzel. Observa que,
por ser H () un subespacio cerrado de C (), un conjunto F H () es relativamente
compacto en H () si, y slo si, F es relativamente compacto en C ().
|(w z)(w a)| > (|w a| |a z|)2R > (2R R)2R = 2R2
Por tanto,
M|z a|
| f (z) f (a)| 6
2R
La condicin anterior, vlida para todo f F y para todo z D(a, R) claramente implica la
equicontinuidad de F . X
para probar que { fn } converge, basta ver que todas las parciales convergentes tienen el
mismo lmite.
340. Sea F = { f H (D(0, 1)) : f (0) = 0, | f (n) (0)| 6 (n + 1)! n N}. Prueba que F es com-
pacto en H (D(0, 1)).
342. Sea un dominio y { fn } una sucesin de elementos de H (). Supongamos que hay
un nmero M > 0 tal que
x
| fn (x, y)|2 d(x, y) 6 M para todo n N
Una vez probada la unicidad queda el trabajo ms difcil que es probar la existencia
de un isomorfismo conforme en las condiciones del enunciado. La estrategia para la de-
mostracin es la siguiente. Consideraremos la familia
En primer lugar probaremos que dicha familia no es vaca. Hecho esto, el teorema de
Montel permitir probar que existe una funcin F en la familia F tal que F (a) > f (a)
para toda f F . Finalmente, probaremos que dicha funcin F es sobreyectiva y, por tanto,
es la solucin buscada.
Sea
z
(z) = u ( D(0, 1), |u| = 1) (5.14)
1 z
Derivando tenemos que
1
() = u (5.15)
1 ||2
Haciendo en 5.14 = h(a), u = |h (a)|/h (a) y notando al correspondiente automorfis-
mo, tenemos que la aplicacin f = h, es decir, la aplicacin dada por
|h (a)| 1 |h (a)|
f (a) = (h(a))h (a) = h (a) =
h (a) 1 |h(a)|2 1 |h(a)|2
Una vez probado que la familia F definida en 5.13 no es vaca, probaremos que hay
una funcin F F tal que F (a) > f (a) para toda f F .
Puesto que toda funcin f F verifica que | f (z)| < 1 para todo z , se sigue, por el
Teorema de Montel, que F es un conjunto compacto en H (). Como la aplicacin de
H () en C dada por f 7 f (a) es continua y toma valores positivos en F , se tiene que
f (a) > 0 para toda f F . En consecuencia la aplicacin
F R+o
f 7 f (a)
es continua, toma valores reales y est definida en un compacto por lo que tiene que al-
canzar un mximo absoluto, es decir, existe F F tal que F (a) > f (a) para toda f F .
Observa que debe ser F (a) > 0 porque sabemos que F 6= . Todava queda probar que
F F . Lo que es seguro es que hay una sucesin, { fn }, de funciones de F que converge
puntualmente a F y la convergencia es uniforme en compactos de . Como las funciones
fn toman valores en D(0, 1) se sigue que para todo z es F(z) = lm { fn (z)} D(0, 1), es
decir, |F(z)| 6 1. Como F no es constante (pues F (a) > 0), el principio del mdulo m-
ximo implica que |F(z)| < 1 para todo z . Finalmente, el teorema de Hurwitz nos dice
que F es inyectiva. Por supuesto F(a) = 0. En resumen F F .
Slo resta probar que la aplicacin F es sobreyectiva. Para ello probaremos que si
una funcin de la familia F no es sobreyectiva, entonces hay otra funcin en F cuya
derivada en a es mayor que la derivada en a de dicha funcin. Probado esto, se tendr
que necesariamente F() = D(0, 1) y la demostracin habr concluido.
Sea, pues, f F tal que f () 6= D(0, 1). Sea w D(0, 1) un punto que no est en f () y
definimos la aplicacin por
f (z) w
(z) = (z )
1 w f (z)
Observa que se obtiene componiendo con f el automorfismo del disco unidad que se
obtiene haciendo en 5.14 u = 1 y = w. Se sigue que es holomorfa e inyectiva en y
con imagen contenida en el disco unidad. Observa que, adems, no se anula en . Por
hiptesis, existe una funcin H () tal que (z)2 = (z) para todo z . La funcin
es inyectiva por serlo (y, por tanto, su derivada no se anula), toma valores en el disco
unidad y no se anula en ningn punto. Definimos ahora
| (a)|
fb (a) = >0
1 |(a)|2
Como f (a) = 0, se obtiene que 2(a) (a) = f (a)(1 |w|2 ); y como (a)2 = (a) = w,
resulta que
f (a)(1 |w|2)
| (a)| = p
2 |w|
p p
Finalmente, usando que 0 < (1 |w|)2 = 1 + |w| 2 |w|, obtenemos que
ix) Toda funcin holomorfa que no se anula en tiene una raz cuadrada holomorfa
en .
b \ es conexo en C.
x) C b
Si solamente suponemos que es un abierto entonces las afirmaciones iii) a xi) son
equivalentes.
Demostracin.
z
i) ii) Si = C, basta tener en cuenta que la aplicacin z 7 es un homeomorfismo
1 + |z |
de C sobre D(0, 1). Si es isomorfo al disco unidad entonces tambin es homeomorfo al
disco unidad.
ii) iii) Sea un homeomorfismo de sobre D(0, 1). Si : [0, 1] C es una curva cerrada
en definamos
H : [0, 1] [0, 1]
H(s,t) = 1 s ( (t))
Entonces H es continua; H(0,t) = 1 (0) es una curva constante; H(1,t) = (t) y H(s, 0) =
H(s, 1) porque (0) = (1). Por tanto, es homotpica en a una curva constante. Por
tanto es simplemente conexo.
x) xi) Esta implicacin es un caso particular del segundo lema que probamos a conti-
nuacin.
5.33 Lema. Sea C una componente conexa de un espacio topolgico de Hausdorff com-
pacto Y ; entonces C es igual a la interseccin de los subconjuntos abiertos y cerrados
de Y que lo contienen. Equivalentemente, dado x Y \ C hay un subconjunto abierto y
cerrado de Y que contiene a C y no contiene a x.
K2 = K K2 A1 A2 =
esto es, K2 = . X
X \ = (Y V )\ = (Y \) V
Para probar que x) xi) aplicamos el lema 5.34 con X = C\ , x=, para obtener que
si C es una componente conexa de C\ entonces C y, por tanto, C no est acotada. X