Variable Compleja

ecto
ibris
textos universitarios
matemticas
e-
Gabriel Vera Bot
ariable Compleja
compleja
Variable
lemas y complementos
problemas
Gabriel Vera Bot

ha sido catedrtico
de anlisis matemtico
en la Universidad
de Murcia. En 1972
se doctor en Ciencias
(Seccin de Matemticas)
por la Universidad
Complutense, donde
permaneci desde 1968 hasta 1976. Su labor
docente se inici en este periodo del que
proceden los tres volmenes de la obra
Problemas de anlisis matemtico que public
en colaboracin con F. Bombal y
L. Rodriguez.
En Septiembre de 1976 se incorpor a la
Universidad de Murcia y comenz a dirigir
proyectos de investigacin financiados por el
Estado Espaol. Sus principales
investigaciones se han centrado en la
integracin vectorial y su relacin con los
espacios de Banach. En este campo ha
publicado trabajos originales y dirigido varias
tesis doctorales. Durante su larga trayectoria
docente se ha ocupado, entre otras, de las
enseanzas de anlisis complejo y anlisis
matemtico II.
En Open Course Ware,
(ocw.um.es/ciencias/analisis-matematico-ii)
ha publicado Lecciones de anlisis matemtico
II y en su pgina personal (webs.um.es/gvb/)
ha difundido diverso material docente sobre
anlisis complejo y topologa.
Su direccin electrnica es gvb@um.es .
ltimos ttulos publicados en esta serie

1.
B. Cascales, J.M. Mira, J. Orihuela,

M. Raja
Anlisis funcional
2.
V. Calvo, A. Peris, F. Rodenas

Diagonalizacin y clculo
multivariable con Mathematica
gr
at
ui
ta
Enlace AQU para adquirir el libro
mu
es
tra
Primera edicin
e-
ecto
ibris
Comit editorial de la Real Sociedad Matemtica Espaola

Guillermo Curbera, Miguel ngel Revilla (directores),
Manuel Abellanas, Sergio Amat, David Arcoya, Jos Bonet, Rafael Crespo,
Guadalupe Gmez, Clara Grima, Elvira Mayordomo, Vicente Muoz,
Rafael Sendra y Elena Vzquez
Editor por Ediciones e-LectoLibris
Bernardo Cascales
A.M.S. Mathematics Subject Classification (2010): 30-01, 30Axx, 30Bxx, 30Cxx,
30Dxx, 30Exx
Cdigo IBIC: PBKD
Cdigo CDU: 517, 515.1
Diseo de cubierta: Juan Pedro Cascales Sandoval, Ana Martnez Martnez
y Ediciones Electolibris S.L.
Diseo y composicin: Ediciones Electolibris S.L.
Compuesto con LATEX con tipos Computer Modern Fonts, Lucida Handwriting,
y Helvetica
c Gabriel Vera Bot

c Ediciones Electolibris, S. L. (2013)

C.I.F. B-73749186
Pablo Neruda, 7
30820 Murcia (Espaa)
www.electolibris.es
c Real Sociedad Matemtica Espaola (R.S.M.E.)

C.I.F. G-28833523
Todos los derechos reservados.
Queda prohibida, salvo excepcin prevista en la Ley, sin la autorizacin por escrito
de los titulares de los correspondientes derechos de la propiedad intelectual o de sus
cesionarios, cualquier forma de reproduccin, distribucin, comunicacin pblica y
modificacin, parcial o total, en cualquier tipo de soporte o medio de esta obra.
No obstante, los propietarios del Copyright de este libro digital autorizan a los
compradores individuales del mismo a realizar copias impresas de l para su uso
personal.
e-ISBN: 978-84-940688-4-3
Depsito legal: MU 965-2013
Los dos productos identificados por sus respectivos ISBN ms abajo, publicados
por Ediciones Electolibris S. L., tienen por ttulo
Variable compleja: problemas y complementos
y autor Gabriel Vera Bot.
ISBN: 978-84-940688-3-6 Versin en papel: libro de problemas, con introducciones tericas y problemas resueltos.
eISBN: 978-84-940688-4-3 Versin en formato digital PDF con una pequea
parte de los problemas de 978-84-940688-3-6 resueltos y:
sistema de navegacin interno e hipervnculos internos para referencias cruzadas, ndices y lista bibliogrfica;
hiperenlaces de acceso para lectura complementaria en internet (requiere acceso a internet);
hiperenlaces de acceso para las soluciones de todos los problemas resueltos en
978-84-940688-3-6 a travs de aplicacin web (requiere acceso a internet).
tres captulos no incluidos en 978-84-940688-3-6, con sus respectivos resmenes tericos y problemas resueltos a travs de aplicacin web (requiere acceso
a internet).
Ediciones Electolibris S. L. no posee el Copyright de algunas de las imgenes

que aparecen en esta obra. Hemos utilizado todos nuestros medios para asegurarnos
ms all de la duda razonable que estas imgenes son de dominio pblico. Si cree
que usted tiene derechos sobre alguna de dichas imgenes, por favor, contacte con
ediciones@electolibris.es y trataremos de eliminarla o de referir la fuente adecuadamente.
Imgenes incluidas:
Cubierta: http://groups.csail.mit.edu/medg/people/doyle/gallery/cauchy/
Icono solucin: Jana Jakeschov, http://openclipart.org/detail/2263/write-by-machovka
Icono altavoz: Lemmling, openclipart.org/detail/17685/cartoon-speaker-by-lemmlin
Puede obtener informacin adicional sobre esta obra y otras publicadas por
Ediciones Electolibris S.L. en
Acceso a la
pgina web de la
r.s.m.e.
La solucin
incluye una
grabacin de voz
Acceso a la
solucin de un
ejercicio
Informacin
sobre nuevas
versiones
de la obra
e-LectoLibris
en facebook
Acceso al correo
electrnico
e-LectoLibris en
twitter
Acceso a la
pgina web de
e-LectoLibris
En un verso de ocho slabas

qu no cabr,
si en una y tan slo en ella
cabe el mar?
Ocho slabas son muchas
para cantar.
Me basta una que tenga
por dentro el mar.
Rafael Alberti.
Dedicado a Marisa, Marcos y Mara,

que tambin llevan dentro el mar.
ui
ta
gr
at
Prlogo
Cmo hacerlo
1
5
13
14
2. Topologa y geometra en el plano complejo

2.1. Preliminares tericos . . . . . . . . . . . . . . . . . . . . . . .
Compacidad y conexin, 31. Transformaciones de Mbius, 34.
Representaciones grficas, 36.
2.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . .
Geometra analtica con coordenadas complejas conjugadas, 37.
Transformaciones de Mbius y geometra, 42. Otras transformaciones. La transformacin de Joukowski, 45. Complementos
sobre la esfera de Riemann, 48. Complementos sobre compacidad
30
31
mu
es
tra
1. Los nmeros complejos

Mdulo, argumento y conjugado, 14. Exponenciales, logaritmos
y races, 15. Sumacin de familias numerables y series dobles, 16.
Complementos sobre familias sumables, 18.
Sobre mdulo, argumento y conjugado, 22. Ejercicios con polinomios complejos, 23. Sobre familias sumables, 24.
1.3. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . .
22
28
37
y conexin, 50.
52
ndice general
viii
3. Funciones de variable compleja

Las funciones elementales, 56. Multifunciones y la determinacin
de sus ramas, 58. Funciones holomorfas, 60. Transformaciones
55
56
conformes, 64.
ui
ta
gr
at
4. Series de potencias
Convergencia uniforme, 84. Series de potencias, 85. Funciones
68
81
83
84
tra
analticas. Ceros y principio de identidad, 91.

Convergencia uniforme de sucesiones de funciones, 93. Convergencia uniforme de series de potencias, 94. Desarrollos de funciones concretas, 98. Funciones definidas por series de potencias, 105. Ceros y principio de identidad, 107. Complementos
sobre funciones analticas, 108. Complementos sobre puntos sin-
93
mu
es

Sobre la determinacin de ramas, 68. Propiedades de las funciones elementales, 73. Funciones holomorfas y transformaciones
conformes, 76. Complementos, 80.
gulares, 111.
4.3. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . 112

5. Versin elemental de los teoremas de Cauchy
115
5.1. Preliminares tericos . . . . . . . . . . . . . . . . . . . . . . . 116
Integral de camino, 116. Los teoremas de Cauchy en versin elemental, 119. Las primeras consecuencias. Teoremas de Morera,
Liouville y Weierstrass, 121.
5.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . 124

Ejercicios con la integral de camino, 124. Clculo de integrales con desarrollos de Laurent, 125. Aplicaciones de los teoremas de Cauchy, 128. Ejercicios que usan la frmula integral de
Cauchy, 132. Desigualdades de Cauchy y teorema de Liouville, 137. Complementos sobre funciones definidas por integrales, 140.
ix
ndice general
ui
ta
6. Singularidades aisladas
145
Comportamiento local, 146. Singularidades aisladas, 147.
Residuo en una singularidad aislada, 150. Funciones meromorfas, 151.
gr
at
tra
7. Teorema de los residuos

167
ndice de un ciclo respecto a un punto, 168. Versin general de
los teoremas de Cauchy, 171. Teorema de los residuos y principio
del argumento, 173.
mu
es

Sobre singularidades evitables y polos, 155. Sobre singularidades
esenciales, 157. Clculo de residuos de funciones concretas, 159.
Complementos sobre funciones meromorfas, 162.

ndice de un camino cerrado, 176. Existencia de primitivas, logaritmos y races, 178. Sobre la versin general de los teoremas de Cauchy, 181. Algunas aplicaciones del teorema de los
residuos, 183. Utilizacin del principio del argumento, 190.
Ejercicios con el teorema de Rouch, 193. Complementos sobre
homotopa, 196.

8. Aplicaciones clsicas del teorema de los residuos
199
Mtodos para el clculo de integrales, 200. Mtodos para la
sumacin de series, 202.

Clculo de integrales con los mtodos habituales, 203. Clculo
de otras integrales, 206. Sumacin de series, 211.
ndice general
9. Transformaciones conformes
218
Teorema del mdulo mximo, 219. Isomorfismos conformes, 220.
Aplicaciones del teorema del mdulo mximo, 221. El lema de
ui
ta
Schwarz y los isomorfismos conformes, 223.
gr
at
de Poisson, 235.
tra

Propiedades de las funciones armnicas, 237. Sobre las funciones
armnicas en una corona, 239. Sobre el principio del mximo y
el problema de Dirichlet, 240.
mu
es
10. Funciones armnicas

232
Funciones armnicas. Funcin armnica conjugada, 233. Principio del mximo, 234. El problema de Dirichlet. Frmula integral
11. Representacin de funciones

244
Productos infinitos, 245. La funcin de Euler, 248. La
funcin de Riemann, 250.

Factorizacin de funciones, 251. Sobre la funcin , 252.
Sobre la funcin , 253.

12. Familias y sucesiones de funciones holomorfas
Topologa en C(), 258. Familias normales de funciones holomorfas, 259. Sucesiones de funciones armnicas, 261.
257
258
Bibliografa
268
261
266
mu
es
tra
gr
at
ui
ta
3.1. Preliminares tericos

3.2. Ejercicios resueltos
3.3. Ejercicios propuestos
56
3.1.
Preliminares tericos
3.1.1.
Las funciones elementales
La funcin exponencial
ez =
ui
ta
La funcin exponencial exp(z) = ez es la denida en C mediante la serie
X
zn
n=0
n!
gr
at
(3.1)
tra
ez+w = ez ew .
(Otra forma de obtenerla se puede ver en el ejercicio 4.43). En particular,

cuando x, y R y z = x + iy se verica
ez = ex eiy = ex (cos y + i sen y)
luego
mu
es
que converge absolutamente para todo z C. Usando el producto de convolucin de series (corolario 1.1.4) se establece que para cada z, w C se
cumple la ecuacin funcional
|ez | = ex ,
eiy = (cos y + i sen y),
lo que justica la expresin mdulo argumental de un nmero complejo:

z = rei , donde r = |z| y arg z.
La funcin exponencial es peridica de periodo 2i, exp(C) = C \ {0}, es
inyectiva sobre cada banda abierta de la forma
{x + iy : < y < } con 0 < < 2
y establece una biyeccin entre la banda Bj y el abierto j (j = 1, 1)
B1 = {x + iy : |y| < },
B1 = {x + iy : 0 < y < 2},
1 = C \ {x R : x 0},
1 = C \ {x R : x 0}.
La inversa de la primera biyeccin viene dada por el logaritmo principal

Log : 1 B1 ;
Log z = log |z| + i Arg z.
En lo sucesivo, para tener garantizada la continuidad, cuando se considere la

funcin logaritmo principal, Log, siempre se supondr que su dominio es 1 .
57
Funciones trigonomtricas e hiperblicas

Se denen en trminos de la funcin exponencial
z3 z5 z7
eiz eiz
=z
+
+
2i
3!
5!
7!
ui
ta
sen z =
eiz + eiz
z2 z4 z6
=1
+
+
2
2!
4!
6!
Las funciones sen z y cos z son peridicas con periodos {2m : m Z} y
con los mismos ceros que las correspondientes funciones reales.
Las relaciones trigonomtricas usuales
sen2 z + cos2 z = 1;
tra
sen z = cos(/2 z);

cos z = cos(z);
sen(z) = sen z;
sen(z + w) = sen z cos w + cos z sen w;
mu
es
gr
at
cos z =
cos(z + w) = cos z cos w sen z sen w,
se pueden obtener a partir de la ecuacin funcional (3.1) (en el ejercicio 4.43

se muestra una va alternativa para obtenerlas).
Las funciones hiperblicas, que tambin se denen en trminos de la exponencial:
ez + ez
ez ez
,
ch z =
sh z =
2
2
estn directamente relacionadas con funciones trigonomtricas, ya que
ch(iz) = cos z,
cos(iz) = ch z,
sh(iz) = i sen z,
sen(iz) = i sh z.
Estas funciones siguen cumpliendo las relaciones usuales: ch2 z sh2 z = 1,

teoremas de adicin, etc.
58
3.1.2.
Multifunciones y la determinacin de sus ramas
ui
ta
Al considerar argumentos, logaritmos, la exponenciacin compleja y, ms

en general, inversas de funciones elementales, como arc sen z, arc tg z, aparecen funciones multiformes o multifunciones (es decir, funciones cuyos valores
son subconjuntos del plano complejo) para las que se adopta la siguiente
terminologa:
Definicin 3.1.1.
gr
at
G : T P(C)
tra
Se dice que g es una rama o determinacin continua de G si g : T C

es continua y g(t) G(t) para cada t T .
Ejemplos notables de multifunciones son arg z, log z y n z. El argumento

principal y el logaritmo principal son funciones continuas sobre el abierto
mu
es
Sea T un subconjunto del plano complejo y P(C) el conjunto de las

partes de C. Una multifuncin (o funcin multiforme) con dominio T y
valores en C es una aplicacin
1 = C \ {x R : x 0}
luego son ramas de las multifunciones arg z y log z.

Dado un nmero complejo a 6= 0, si c log a, la funcin fc (z) = ecz es
continua y fc (z) az para todo z C, es decir, fc es una rama de la funcin
multiforme az . Segn el ejercicio 3.38 toda rama de az es de esta forma.
Con c = Log a se obtiene la rama o determinacin principal de az . Para esta
rama (funcin valor principal de la exponencial de base a) se suele utilizar el
mismo smbolo az y, as, en lo que sigue se adopta el convenio de notacin
az = ea Log z .
El nico problema que ocasiona este convenio es que cuando se desee considerar la funcin multiforme az habr que manifestarlo explcitamente.
Cuando a = 1/n, con n N, tambin reservaremos la notacin n z para

la rama principal de la raz n-sima de z denida en 1 por
1
1
n
z = z n = e n Log z .
59
La mayor parte de las multifunciones de inters aparecen cuando

G(t) = f 1 (t) donde f : T est denida en un abierto C.
Las ramas continuas de multifunciones de la forma log f (t), arg f (t) reciben
nombres especiales:
Definicin 3.1.3.
tra
gr
at
Sea f : T C \ {0} continua en un subconjunto T de R o C.

Si g : T C es continua y g(t) log f (t) para todo t T , se dice
que g es un logaritmo continuo de f en T y tambin que es una rama de
la funcin multiforme log f (t).
Si : T R es continua y (t) arg f (t) para todo t T , se dice
que es un argumento continuo de f en T , y tambin que es una rama
de la multifuncin arg f (t).
Sea f : T C una funcin continua y n N. Si h : T C es

una funcin continua tal que h(t)n = f (t) para todo t T , se dice que
h es una raz n-sima continua de f en T .
mu
es
ui
ta
Definicin 3.1.2.
El problema natural que concierne a las multifunciones es el de la determinacin y gestin de sus ramas y, en particular, el de determinar o caracterizar
los abiertos C donde existen ramas de una multifuncin dada. En los
ejercicios de esta captulo se exponen las tcnicas, basadas en argumentos de
conexin, para determinar y manejar de manera precisa ramas de algunos
tipos de multifunciones. Tambin se consideran algunos casos particulares
sencillos, donde se determinan ramas mediante frmulas concretas.
Si g es un logaritmo continuo de f entonces = Im f es un argumento
continuo de f y, recprocamente, si es un argumento continuo de f entonces g = log |f | + i es un logaritmo continuo de f . En el ejercicio 7.11 se
demostrar que una condicin necesaria y suciente para que en un abierto
C exista un logaritmo continuo de la identidad z es que los dos puntos
y 0 estn en la misma componente conexa de C \ .
Si T es conexo y L1 , L2 : T C (resp. A1 , A2 : T R) son logaritmos
(resp. argumentos) continuos de f , segn el ejercicio 3.1, existe m Z tal que
L1 (t) = L2 (t) + 2mi;
(resp. A1 (t) = A2 (t) + 2m)
para todo t T.
60
ui
ta
gr
at
tra
gk (t) = k g(t) donde k = e2ik/n , k = 0, 1, 2, . . . , n 1.
En este caso, para determinar una rama continua g de n fpbasta elegir un

punto a T con f (a) 6= 0, indicando cul de los n valores n f (a) es el que
toma g en a. Cada b n a determina la rama gk que cumple gk (a) = b.

Se ver ms adelante que la hiptesis sobre la conexin del conjunto T0
que interviene en el resultado anterior se cumple cuando T C es abierto
conexo y f una funcin holomorfa no constante (vase el ejercicio 2.39).
En la proposicin 5.1.5 y en el ejercicio 7.36 se vern criterios tiles, en
trminos de integrales curvilneas, para discutir la existencia de ramas de
logaritmos y de races n-simas de funciones complejas. Sin embargo, para
el caso de las funciones polinmicas sencillas merece la pena ejercitarse en la
bsqueda de frmulas y de los dominios donde estas frmulas denen ramas
concretas de logaritmos y races del la funcin considerada.
mu
es
En las condiciones anteriores, si en f (T ) hay denido un logaritmo continuo

L de la identidad z, entonces g(t) = L(f (t)) es un logaritmo continuo de f en
T , pero en general no es cierto que todo logaritmo continuo de f en T admita
una descomposicin de este tipo (la funcin it es un logaritmo continuo de
f (t) = eit , denido en T = [0, 2], pero, segn el ejercicio 3.4, en f (T ) no se
puede denir un logaritmo continuo de z). En el ejercicio 3.5 se puede ver que,
en las condiciones habituales, existe una descomposicin local de este tipo.
Si 0 6 f (T ) y en T se puede denir un logaritmo continuo g de f entonces
1
para cada n N existe en T una raz n-sima continua dada por h(t) = e n g(t) .
Con los ejercicios 3.4 y 3.10 se pone de maniesto que, aunque no exista un
logaritmo continuo de f en T , puede ocurrir que para ciertos valores de n N
existan races n-simas continuas de f en T .
En el ejercicio 3.2 se establece que si T0 = {t T : f (t) 6= 0} es conexo no
vaco y f posee en T una raz n-sima continua g, entonces posee exactamente
n races n-simas continuas, que vienen dadas por
3.1.3.
Funciones holomorfas
Una funcin f : C, denida en un abierto C, se dice que es

derivable (en sentido complejo) en a cuando existe el lmite
f (z) f (a)
= f (a).
za
za
lm
61
ui
ta
gr
at
tra
p (z) = a1 + 2a2 z + + nan z n1 .

La funcin exponencial ez , las funciones trigonomtricas sen z, cos z y las
funciones hiperblicas de variable compleja son enteras y para todas ellas
siguen valiendo las mismas reglas de derivacin que en el caso real.
mu
es
En este caso se dice que f (a) es la derivada de f en a. Para la derivacin

compleja se verican los resultados usuales del clculo diferencial: la derivabilidad en un punto implica la continuidad en el punto; valen las reglas
usuales para el clculo de derivadas de sumas y productos, as como la regla
de la cadena para la derivada de la composicin de funciones derivables, f g,
donde g es de variable real o compleja. Si es conexo y f (z) = 0 para cada
z entonces f es constante.
Si f : C es derivable en todo z se dice que f es holomorfa
en . El conjunto de las funciones holomorfas en se denota H (). A las
funciones denidas y holomorfas en todo el plano complejo C se les llama
funciones enteras.
Cada polinomio complejo p(z) = a0 + a1 z + a2 z 2 + + an z n es una
funcin entera y vale la frmula usual para la derivada,
Proposicin 3.1.4.
Sean , V C abiertos, H (V ) y g : V una funcin continua
tal que g(z) = z para todo z . Si no se anula sobre g() entonces
g es holomorfa y g = 1/( g).
En particular, el logaritmo principal Log z es holomorfo en su dominio,
con derivada 1/z. Ms an, si f H () con 0 6 f () y g es un logaritmo continuo (resp. una raz m-sima continua) de f entonces g es holomorfo
con derivada g = f /f (resp. mg f = gf ). Cuando f se anula en algn
punto de , si g es una raz m-sima continua de f en , tambin se cumple que g es holomorfa en . En este caso, si a es un cero aislado de f , la
igualdad mg f = gf no proporciona el valor g (a), y se puede usar (vase el
ejercicio 5.24) la frmula
f (z)g(z)
za mf (z)
g (a) = lm
62
ui
ta
Proposicin 3.1.5.
Una condicin necesaria y suficiente para que f H () posea logaritmo
holomorfo en es que 0 6 f () y que la funcin f /f tenga primitiva en .
En este caso, si es conexo y g es una primitiva de f /f , existe c C tal
que g c es un logaritmo holomorfo de f en .
Condiciones de Cauchy-Riemann
Cuando f : C viene dada mediante sus componentes

v(x, y) = Im f (x + iy),
tra
u(x, y) = Re f (x + iy),
el siguiente teorema sirve para reconocer, entre las aplicaciones diferenciables

f : R2 , las que son holomorfas.
mu
es
gr
at
Es fcil ver que en una corona circular = {z : r < |z| < R} no existe
un logaritmo continuo de z (vase el ejercicio 3.4) luego, en virtud de los
resultados anteriores, 1/z no tiene primitiva en .
Teorema 3.1.6.
Sea f : C definida en el abierto C. Dado un punto

z0 = x0 + iy0 , son equivalentes:
a) f es derivable en z0 .
b) f es diferenciable en z0 y sus componentes u = Re f , v = Im f ,

cumplen en z0 = x0 + iy0 las condiciones de Cauchy-Riemann:
D1 u(x0 , y0 ) = D2 v(x0 , y0 ),
D2 u(x0 , y0 ) = D1 v(x0 , y0 ).
En este caso: f (z0 ) = D1 u(x0 , y0 ) + iD1 v(x0 , y0 ).

El conjunto de las aplicaciones lineales L : R2 R2 , denotado L (R2 )
en lo que sigue, se puede considerar como espacio vectorial de dimensin dos
sobre el cuerpo C, mediante la ley externa C L (R2 ) L (R2 ), dada por
(L)(h) = L(h). Una base de este espacio vectorial es la formada por las
proyecciones
dx : z x = Re z; dy : z y = Im z.
63

Respecto a esta base una aplicacin lineal L L (R2 ) de matriz se
expresa en la forma L = pdx + qdy, donde p = + i, q = + i. Otra base
de este espacio vectorial complejo la forman las aplicaciones lineales
dz : z z.
ui
ta
dz : z z;
df (z0 ) = D1 f (z0 )dx + D2 f (z0 )dy = f (z0 )dz + f (z0 )dz

donde

D1 f (z0 ) iD2 f (z0 )
1
= D1 u(z0 )+D2 v(z0 )+iD1 v(z0 )iD2 u(z0 )
2
2
f (z0 ) =

D1 f (z0 ) + iD2 f (z0 )
1
= D1 u(z0 )D2 v(z0 )+iD1 v(z0 )+iD2 u(z0 )
2
2
tra
f (z0 ) =
mu
es
gr
at
En trminos de esta base, L = rdz + sdz donde r = (p iq)/2, s = (p + iq)/2,

y la condicin de que L sea C-lineal equivale a que s = 0.
En trminos de estas bases la diferencial df (z0 ) se expresa as:
Segn el teorema 3.1.6, f es derivable en z0 si y slo si f (z0 ) = 0, y en este

caso f (z0 ) = f (z0 ). Tambin se suele emplear la notacin
f
(z0 ) = f (z0 );
z
f
(z0 ) = f (z0 );
z
con la que las condiciones de Cauchy-Riemann en z0 se resumen as:

f
(z0 ) = 0
z
y la condicin para que una funcin diferenciable f : C sea holomorfa
se expresa en la forma (f /z) 0, que se suele interpretar diciendo que

z+z zz
z+z zz
f (z, z) = u
,
,
+ iv
2
2i
2
2i
no depende de z. Las funciones diferenciables en que cumplen (f /z) 0
slo dependen de z y se les llama antiholomorfas (vase el ejercicio 3.26).
64
3.1.4.
Transformaciones conformes
Dado un par ordenado de vectores no nulos (w1 , w2 ) del espacio eucldeo

R2 (que se supone identicado con C) se llama ngulo orientado del par
(w1 , w2 ) al nmero real Arg(w2 /w1 ) (, ].
tra
existe y no depende de w.
gr
at
Se dice que f : C, definida en un abierto C, conserva

ngulos orientados en a cuando para cada w, con |w| = 1, existe
w > 0 tal que D(a, w ) , f (a + tw) f (a) 6= 0 si 0 < t < w y el
lmite
f (a + tw) f (a)
=c
lm
t0+ w|f (a + tw) f (a)|
La interpretacin geomtrica de esta denicin es sencilla. El vector unitario
cw seala la direccin lmite de las direcciones de las cuerdas f (a+tw)f (a),
de modo que cw es un vector unitario tangente a la curva t f (a + tw) en
el punto f (a) (este vector tangente unitario puede existir cuando f (a) = 0,
por lo que esta nocin de vector tangente es ms general que la usual).
Dadas dos semirrectas que surgen de a, de ecuaciones paramtricas
mu
es
ui
ta
Definicin 3.1.7.
z1 (t) = a + tw1 ,
z2 (t) = a + tw2 ,
t0
con |w1 | = |w2 | = 1, sus imgenes mediante f son dos curvas que surgen de
f (a) con la propiedad de que sus vectores unitarios tangentes forman un par
ordenado (cw1 , cw2 ), cuyo ngulo orientado coincide con el del par (w1 , w2 ).
1 (t)
2 (t)
y
w2
a
z2 (t)
cw2
w1
z1 (t)
x
f (a)
b
cw1
u
65
ui
ta
Una aplicacin lineal L : R2 R2 conserva ngulos orientados en 0 si

y slo si los conserva en todos los puntos y esto ocurre si y slo si es C-lineal
no nula (vase el ejercicio 2.9).
Si f es derivable en a y f (a) 6= 0 es fcil comprobar que f conserva
ngulos orientados en a. Recprocamente, se tiene
Teorema 3.1.8.
gr
at
tra
As pues, una funcin f H () conserva ngulos orientados en a si

y slo si f (a) 6= 0. Cuando f es holomorfa el comportamiento del camino
w(t) = f (z(t)) cuando el camino z(t) pasa por un punto (o cerca de un
punto) a con f (a) = 0, permite localizar los puntos con derivada nula (vase
el ejercicio 4.52).
Las funciones holomorfas con derivada no nula en todos los puntos de su
dominio conservan ngulos orientados en todo punto y por ello reciben un
nombre especial:
mu
es
Si f : C es diferenciable en a con df (a) 6= 0 y conserva

ngulos orientados en a entonces f es derivable en a y f (a) 6= 0.
Definicin 3.1.9.
Una funcin f : C se dice que es conforme en el abierto C

si es derivable en cada z con f (z) 6= 0.
Un isomorfismo conforme del abierto 1 C sobre el abierto 2 C
es una aplicacin biyectiva f : 1 2 tal que f y f 1 son conformes.
Obsrvese que, en virtud del teorema 3.1.8, toda funcin biyectiva y diferenciable con inversa diferenciable f : 1 2 que sea conforme debe ser
holomorfa.
Si 1 , 2 C son abiertos, (1 , 2 ) designar el conjunto de los isomorsmos conformes de 1 sobre 2 . Cuando (1 , 2 ) 6= se dice que
los abiertos 1 , 2 son conformemente equivalentes. Por denicin, (1 ) =
(1 , 1 ).
El problema central de la representacin conforme es el de determinar
cundo dos abiertos dados 1 , 2 son conformemente equivalentes y en su
caso describir el conjunto (1 , 2 ). Cuando se conoce uno de los dos grupos de transformaciones (1 ), (2 ) basta conocer un elemento particular
66
f (1 , 2 ) para describir el conjunto

(1 , 2 ) = f : (1 ) = f : (2 ) .
ui
ta
gr
at
tra
La transformacin z z 2
La derivada de z 2 slo se anula en z = 0 donde se aprecia claramente que

no se conservan ngulos orientados. En este caso se duplican. Este fenmeno,
que se analiza con detalle en el ejercicio 4.52, lo presenta en z = a cualquier
funcin holomorfa con f (a) = 0 y f (a) 6= 0.
Para cada w 6= 0 la ecuacin z 2 = w tiene exactamente dos soluciones,
una opuesta de la otra. Por lo tanto z 2 es inyectiva y conforme sobre cada
abierto C \ {0} que verique z z 6 . Los abiertos
mu
es
Segn la proposicin 3.1.4, una biyeccin f : 1 2 es un isomorsmo

conforme cuando es holomorfa con inversa continua. De esta armacin se
puede eliminar el requerimiento de que la inversa sea continua porque los
recursos ms avanzados de la teora (corolario 6.1.3) permiten armar que
si f H () es inyectiva entonces f (z) 6= 0 para todo z , la imagen
V = f () es abierta y la inversa f 1 : V es holomorfa. Es decir, toda
funcin holomorfa e inyectiva es un isomorsmo conforme entre su dominio
y su imagen, que necesariamente es abierta. En la prctica, como sucede en
los ejercicios de este captulo, se puede prescindir de este resultado ya que,
en las transformaciones concretas que se consideran suele ser fcil comprobar
que su imagen es abierta y que la inversa es derivable.
A = {x + iy : x > 0, y > 0}; P = {x + iy : y > 0}; H = {x + iy : x > 0}

tienen esta propiedad, luego z 2 establece isomorsmos conformes entre cada uno de ellos y su imagen. Las imgenes de estos abiertos se obtienen
fcilmente usando coordenadas polares z = rei , y son, respectivamente,
P,
C \ {x R; x 0},
C \ {x R : x 0}.
Conviene observar quela inversa de f |H es la raz cuadrada principal z, pero

la inversa de f |P es i z. El siguiente cuadro resume algunos isomorsmos
conformes que se establecen mediante la funcin z 2 (vanse los ejercicios 2.22
y 2.23). En cada caso la inversa es la restriccin, al abierto 2 , de la raz
cuadrada principal z.
67

z2
1 2
{x + iy : x > 0, y > 0}
{u + iv : v > 0}
{x + iy : x > t}
{u + iv : v 2 > 4t2 (t2 u)}
tra
La derivada de la funcin exponencial no se anula nunca, luego la transformacin z ez es conforme e inyectiva sobre cualquier abierto que no
contenga parejas de puntos z1 , z2 vericando z1 z2 2iZ.
Usando coordenadas polares para w = ex+iy = ex (cos y + i sen y) se
observa que la funcin exponencial establece isomorsmos conformes entre
las siguientes parejas de abiertos 1 , 2 (donde t s < 2):
mu
es
La transformacin z ez
{u + iv : u > t}
gr
at
{x + iy : x2 y 2 > t}
C \ {u R : u 0}
ui
ta
{x + iy : x > 0}
{x + iy : s < y < t}
exp
1 2
{x + iy : x < 0, s < y < t}
{rei : r > 0, s < < t}
{rei : 0 < r < 1, s < < t}
En particular, cuando t s = , la funcin exponencial proporciona un isomorsmo conforme entre una banda y un semiplano y entre una semibanda y
un disco. Para ts = /2 se consigue un isomorsmo conforme de una banda
sobre un cuadrante y de una semibanda sobre un cuadrante de un disco.
Transformaciones conformes en C
Una funcin f : C denida en un abierto C se dice que es
derivable en cuando la funcin F (z) = f (1/z), denida en un entorno
de 0, es derivable en z = 0 (se usa el convenio usual 1/0 = , 1/ = 0). En
ese caso se dene f () = F (0).
La nocin de derivada en el punto permite introducir la nocin de
funcin f : C holomorfa en un abierto C : si f : C es
derivable en todos los puntos de C se dice que f es holomorfa en y
se escribe f H ().
68
Con una una idea parecida se extiende la nocin de derivada al caso de

funciones con valores en C .
Definicin 3.1.10.
ui
ta
gr
at
tra
Obsrvese que en la denicin anterior est considerada la posibilidad de que

sea a = . En este caso la denicin remite a la denicin de derivada
en dada anteriormente. En particular, cuando f () = , la derivabilidad
de f en signica que h(z) = 1/f (1/z) es derivable en 0, con f () = h (0).
Si f es derivable en a entonces es continua en a, pero en el caso
a = la derivada f puede ser discontinua en (obsrvese que cuando
f (z) = 1/z, se tiene f () 6= lmz f (z)). A pesar de este hecho, la
denicin de derivada f (a) cuando a = o f (a) = tiene inters porque
con ella, en todos los casos, la condicin f (a) 6= 0 tiene una interpretacin
geomtrica interesante sobre la esfera de Riemann (vase el ejercicio 3.42).
Ahora, las nociones de transformacin conforme e isomorsmo conforme,
formuladas en la denicin 3.1.9, se pueden extender al caso de abiertos
1 , 2 en C . Es fcil comprobar que las transformaciones de Mbius son
automorsmos conformes de C por lo que las transformaciones inducidas en
la esfera de Riemann tienen la propiedad de conservar ngulos orientados
en todos los puntos.
mu
es
Sea f : C , definida en un abierto C , y a .

Si f (a) 6= , se dice
que f es derivable en a cuando existe
r > 0 tal que f D(a, r) C y f |D(a,r) es derivable en a.
Si f (a) = , se
dice que f es derivable en a cuando existe r > 0 tal
que (1/f ) D(a, r) C y (1/f )|D(a,r) es derivable en a. En este caso se
adopta el valor f (a) = (1/f ) (a).
3.2.
3.2.1.
Ejercicios resueltos
Sobre la determinacin de ramas
Los requisitos tericos para abordar los primeros ejercicios de este

bloque son los bsicos referentes a conexin y continuidad en el mbito
del plano complejo con la distancia usual. En ellos se establecen los re-
69
gr
at
Ejercicio 3.1.
Sea f : X C \ {0} una funcin continua definida en un conjunto
conexo X C.
tra
a) Si L1 , L2 : X C son logaritmos continuos de f en X (funciones

continuas que verifican eL1 (x) = eL2 (x) = f (x) para todo x X) demuestre que existe m Z tal que L1 (x) = L2 (x) + 2mi para todo
x X.
mu
es
ui
ta
sultados bsicos que se suelen usar para determinar ramas continuas de

algunas funciones multiformes (races y logaritmos de funciones). Estos
resultados se usan sistemticamente en los siguientes ejercicios referentes
a la determinacin de ramas de logaritmos y races de algunos polinomios. A su vez estos ejercicios intervienen ms adelante a la hora de
denir ramas concretas de la inversa de la transformacin de Joukowski
y de la multifuncin arc cos z (vanse los ejercicios 3.9, 3.21, 2.27, 2.28
y 2.29).
b) Si A1 , A2 : X R son argumentos continuos de f en X (funciones continuas que verifican eiA1 (x) = eiA2 (x) = f (x)/|f (x)| para todo
x X) demuestre que existe m Z tal que A1 (x) = A2 (x) + 2m para
todo x X.
Ejercicio 3.2.
Sea f : X C una funcin continua definida en X C y g : X C
una raz n-sima continua de f en X (una funcin continua que verifica
f (x) = g(x)n para todo x X). Si X0 = {x X : f (x) 6= 0} es conexo no
vaco demuestre que f tiene en X exactamente n races n-simas continuas,
dadas por
gk (x) = k g(x)
donde
k = e2ik/n , k = 0, 1, 2, . . . , n 1.
Muestre con un ejemplo que el resultado es falso cuando X0 no es conexo.
70
Ejercicio 3.3.
Dado b C \ {0}, obtenga frmulas con las que queden definidos un
logaritmo continuo y un argumento continuo de z en el abierto
tra
gr
at
Ejercicio 3.4.
Si {z : |z| = r} V C y 1 < m N, demuestre que una condicin
necesaria y suficiente para que exista en V una raz m-sima continua de z n ,
(n N), es que n sea un mltiplo de m. Obtenga como consecuencia que,
para cualquier n N, no existe un logaritmo continuo de z n en V .
Ejercicio 3.5.
Sea f : X C \ {0} una funcin continua que posee un logaritmo
continuo g (resp. una raz m-sima continua h) en X C.
mu
es
ui
ta
b = C \ {tb : t R, t 0}.
a) Muestre que, en general, no se puede asegurar la existencia de un logaritmo continuo de z, definido en f (X), tal que

g(x) = L f (x)
(resp. h(x) = e m L(f (x)) ) para todo x X.
b) Si X es localmente conexo (cada punto posee una base de entornos

conexos) demuestre que cada a X posee un entorno Va tal que en
f (Va ) hay definido un logaritmo continuo L de z verificando

g(x) = L f (x)
(resp. h(x) = e m L(f (x)) )
para todo x Va .
Ejercicio 3.6.
Obtenga los abiertos en los que las siguientes frmulas definen races
cuadradas continuas de z 2 1 e indique las relaciones entre las mismas.
a) f1 (z) = z 2 1
71
gr
at
(z) = (z + 1)
z1
z+1
definen, respectivamente, races cuadradas continuas de z 2 1 en los abiertos
tra
U = C \ {x R : |x| 1}
V = C \ {x R : |x| 1}.
Obtenga su relacin con las obtenidas en el ejercicio 3.6.

solucin.
El dominio de es C\E donde E es el conjunto de los nmeros complejos
z tales que el cociente T (z) = (1 z)/(1 + z) es real 0. El cociente es real
negativo si y slo si los vectores z 1 y z + 1 tienen la misma direccin,
lo que ocurre si y slo si z {x R : |x| > 1}. Adems T (1) = 0 y
T (1) = , luego E = {x R : |x| 1} (tambin se puede calcular
E = T 1 ({} {x R : x 0}) usando la teora de transformaciones
de Mbius). Se obtiene as que el dominio de es U . Con un razonamiento
similar se obtiene que el dominio de es V .
La funcin f3 considerada en el ejercicio 3.6 tambin tiene como dominio
el abierto U . Puesto que y f3 son races cuadradas continuas de z 2 1
en el abierto conexo U , y ambas toman el mismo valor en z = 0, en virtud
del ejercicio 3.2, se concluye que = f3 . Con un razonamiento similar,
considerando el punto z = 2 del abierto conexo V , se obtiene que = f2 .
mu
es
Ejercicio 3.7.
Compruebe que las frmulas
r
1z
(z) = i(z + 1)
1+z
ui
ta
1
b) f2 (z) = z 1 2
z
c) f3 (z) = i 1 z 2
designa la raz cuadrada principal, definida en el complemento del

Aqu
eje real negativo.
Nota. Disponemos de dos frmulas distintas para la funcin = f2 (resp.

= f3 ) y segn los propsitos convendr elegir la ms apropiada. Veremos
ms adelante, en el ejercicio 4.22, que, para escribir el desarrollopde Laurent
de en |z| > 1, la ms adecuada es la frmula (z) = f2 (z) = 1 1/z 2 .
72
Ejercicio 3.8.
Utilice la teora de las transformaciones de Mbius para obtener una raz
cuadrada continua de z 2 1, definida en el complemento de un arco de circunferencia de extremos +1, 1.
U = C \ {x R : |x| 1},
V = C \ [1, 1]
gr
at
se pueden definir exactamente dos ramas continuas de la inversa de la transformacin de Joukowski J(z) = (z + 1/z)/2. Para cada una de ellas obtenga
una frmula explcita y la imagen.
tra
Ejercicio 3.10.
Demuestre que z 2 1 tiene logaritmo continuo en U = C\{x R : |x| 1},
no tiene logaritmo continuo en V = C \ {x R : |x| 1}, pero posee raz
cuadrada continua en V .
mu
es
ui
ta
Ejercicio 3.9.
Demuestre que en cada uno de los abiertos
Ejercicio 3.11.
Se considera el polinomio p(z) = z 2 2z +2, con ceros a = 1+i, a = 1i.
Compruebe que las siguientes frmulas definen ramas continuas de la raz
cuadrada del polinomio p(z).
r
r
za
1
b) f2 (z) = (z a)
a) f1 (z) = (z 1) 1 +
2
(z 1)
za
c) f3 (z) =
p
p
2 1 z/a 1 z/a
d) f4 (z) = z
1 a/z
1 a/z
Determine el dominio de cada una y estudie la relacin entre cada dos ramas
en la interseccin de sus dominios.
Ejercicio 3.12.
Sea 0 = {z : Im z > 0}p
\ J donde J = {1 + it : 0 < t 1}. Compruebe
que con la frmula g(z) = i p(z) queda definida en 0 una raz cuadrada
continua del polinomio p(z) = z 2 2z +2. Demuestre que g es inyectiva sobre
0 , Calcule la imagen G = g(0 ) y una frmula explcita para la inversa
g1 : G 0 .
73
gr
at
Propiedades de las funciones elementales
tra
En los siguientes ejercicios se consideran propiedades sencillas y bsicas de las funciones elementales que son consecuencia directa de su
denicin (ceros, inyectividad, clculo de imgenes).
Ejercicio 3.14.
Obtenga los ceros de las funciones cos z, sen z, ch z y sh z.
mu
es
3.2.2.
ui
ta
Ejercicio 3.13.
Justifique que en U = C \ {x R : 1 |x|} y V = C \ [1, 1] existen races cuadradas continuas f : U C, g : V C de la fun2
cin (z) = z 2 /(1
z ) y obtenga frmulas para las determinadas por
f (i) = g(i) = i/ 2. Compruebe que f y g coinciden y son inyectivas en
el semiplano P = {z : Im z > 0}, calcule la imagen A = f (P ) = g(P ) y una
frmula para la inversa de f |P .
Ejercicio 3.15.
Determine los periodos de la funcin cos z.
Ejercicio 3.16.
Dado 0 < < 1 sea A el complementario en C de la unin de los discos
D(n, ), n Z. Demuestre que existe C > 0 tal que
|sen z| C ,
|tg z| C para todo z A .
Ejercicio 3.17.
Compruebe que la funcin tg z es inyectiva sobre = {x+ iy : |x| < /4}
y obtenga la imagen tg().
Ejercicio 3.18.
Compruebe que en = C \ {iy : y R, |y| 1} se pueden definir ramas
continuas de arc tg z. Si f es la rama determinada por f (0) = 0, obtenga
f () y f D(0, 1) .
74
solucin.
tg w =
1 eiw eiw
sen w
=
= T (e2iw ) donde
cos w
i eiw + eiw
T (z) = i
1z
1+z
ui
ta
luego tg w = z si y slo si e2iw = S(z), donde

S(z) = T 1 (z) =
1 + iz
iz
=
1 iz
i+z
gr
at
tra
f (z) =
1
Log S(z)
2i
que verica tg f (z) = z para todo z . Teniendo en cuenta que f (0) = 0

podemos armar que 2if (z) es el nico logaritmo continuo de S(z), denido
en , que se anula en z = 0. Como S() = 1 y Log(1 ) = {x+iy : |y| < },
resulta
f () = {x + iy : |x| < /2}.

Anlogamente, S D(0, 1) = {x + iy : x > 0} cuya imagen mediante el
logaritmo principal es {x + iy : |y| < /2}, luego

f D(0, 1) = {x + iy : |x| < /4}.
mu
es
Entonces, para denir en una rama continua de arc tg z, basta denir un

logaritmo continuo de S(z) y dividirlo luego por 2i.
Utilizando la teora de las transformaciones de Mbius, se obtiene que
S() = 1 , donde 1 = C \ {x R : x 0} es el dominio del logaritmo
principal. Por lo tanto, en el abierto est denida la funcin
Nota. Obsrvese que, de acuerdo con lo obtenido en el ejercicio 3.17, la

rama f es la inversa de tg |D (0, 1). Por otra parte, si E es un arco de circunferencia de extremos i, i, en el ejercicio 3.19 se muestra que en C \ E tambin
se puede denir un logaritmo continuo de S(z), y por lo tanto una rama
continua de arc tg z. Un resultado ms general se ver en el ejercicio 7.15.
Ejercicio 3.19.
Utilice la teora de las transformaciones de Mbius para obtener una frmula explcita para una rama continua de arc tg z definida en el complemento
de un arco de circunferencia de extremos +i, i.
75
Ejercicio 3.20.
Compruebe que cos(C) = C. Estudie la clase de los abiertos sobre los que
la funcin cos z es inyectiva y obtenga que es inyectiva sobre los abiertos
y
B = {z : 0 < Re z < 2, Im z > 0}.
ui
ta
A = {z : 0 < Re z < }
Ejercicio 3.21.
Obtenga las imgenes, mediante la funcin cos z, de los abiertos
B = {z : 0 < Re z < 2, Im z > 0};
gr
at
A+
= {z A : Im z > 0}; A = {z A : Im z < 0}.
tra
solucin.
Utilizando que cos z = J(eiz ), con J(z) = (z + 1/z)/2, las imgenes
se pueden obtener usando los resultados obtenidos en el ejercicio 2.27. La
funcin eiz transforma A en P = {z : Im z > 0}, luego
cos(A) = J(P ) = C \ {x R : |x| 1}.
mu
es
A = {z : 0 < Re z < };
Las imgenes de A+ y A , mediante eiz , son {z P : |z| < 1} y

{z P : |z| > 1}, respectivamente, que se transforman mediante J en
cos(A+ ) = {z : Im z < 0};
cos(A ) = {z : Im z > 0}.
Por otra parte, eiz transforma B en G = D(0, 1) \ [0, 1), luego

cos(B) = J(G) = C \ {x R : x 1}.
Ejercicio 3.22.
Obtenga frmulas explcitas para las inversas de cos z|A y cos |B donde
A = {z : 0 < Re z < }
B = {z : 0 < Re z < 2, , Im z > 0}.
Muestre que en los abiertos

U = C \ {x R : |x| 1},
G1 = C \ {x R : x 1}, G2 = C \ {x R : x 1}
se pueden definir ramas continuas de arc cos z (vase el ejercicio 3.21, donde
se obtuvieron las imgenes cos(A), cos(B)).
76
3.2.3.
Funciones holomorfas y transformaciones conformes
gr
at
tra
Ejercicio 3.23.
Si p es un polinomio complejo, demuestre que los ceros de su derivada
p pertenecen a la envoltura convexa de los ceros de p. Si cada cero se dota
de un peso igual a su multiplicidad, compruebe que los ceros de p tienen el
mismo baricentro que los de p (teorema de Gauss-Lucas).
Ejercicio 3.24.
Obtenga todas las funciones holomorfas f : C C que verifican
mu
es
ui
ta
En las soluciones de los ejercicios de este tramo, donde interviene la

nocin de derivada compleja y las condiciones de Cauchy-Riemann, se
utilizan pocos recursos tericos; no requieren los potentes recursos de la
teora de funciones holomorfas y la derivacin compleja an no desempea un papel espectacular. Los ltimos ejercicios, sobre representacin
conforme, se resuelven componiendo transformaciones denidas mediante funciones elementales.
[E ] : f (z + w) = f (z)f (w) para cada z, w C.
Obtenga una funcin continua f : C C que verifique [E ] y no sea holomorfa.

Ejercicio 3.25.
Se supone que f = u + iv es una funcin holomorfa en un abierto conexo
y , R con 2 + 2 6= 0. Demuestre que cada una de las siguientes
condiciones implica que f es constante:
a) u + v es constante, b) u es constante,
c) v es constante,
d) f es holomorfa,
e) |f | es holomorfa,
f ) |f | es constante.
Ejercicio 3.26.
Si f H () no es constante en el abierto conexo , compruebe que
g(z) = f (z) no es holomorfa en pero G(z) = f (z) s es holomorfa en
= {z : z }.
77
gr
at
Ejercicio 3.28.
A una funcin holomorfa f = u + iv H () se le asocia el campo de
vectores

A(x, y) = A1 (x, y), A2 (x, y) = u(x, y), v(x, y) .
tra
Si F = U + iV es una primitiva de f compruebe que las curvas de nivel

U (x, y) = c son ortogonales al campo A (e.d. son lneas equipotenciales del
campo) y las curvas de nivel V (x, y) = c son tangentes al campo (e.d. son
lneas de corriente del campo).
Ejercicio 3.29.
Sea f H () con f (z) 6= 0 para cada z . Si M es compacto
medible Jordan demuestre que f (M ) es medible Jordan y
Z

|f (x + iy)|2 dx dy
rea f (M ) =
mu
es
ui
ta
Ejercicio 3.27.
Sea f = u+iv H (), z0 y f (z0 ) = +i. Si f (z0 ) 6= 0 compruebe
que las curvas de nivel u(x, y) = , v(x, y) = se cortan ortogonalmente
en z0 .
Ejercicio 3.30.
Se supone que f : C es diferenciable, en sentido real, en el abierto
C, y que a es un punto donde existe el lmite

f (z) f (a)

L(a) = lm
za
za
Demuestre que una de las dos funciones f , f , es derivable en a y deduzca de

ello el siguiente resultado: sea f una funcin de clase C 1 () con diferencial
no nula en el abierto conexo , si existe el lmite L(a) en cada a entonces
una de las dos funciones f , f es holomorfa.
78
Ejercicio 3.31.
Obtenga un isomorfismo conforme entre cada uno de los abiertos

1 = z : |z| < 1, Re z > 0 ,
2 = z : |z| < 1, Re z > 0, Im z > 0
gr
at
Ejercicio 3.32.
Obtenga isomorfismos conformes entre cada uno de los abiertos

1 = z : |z| < 1, |2z 1| > 1 , 2 = z : |z 1| > 1, |z 2| < 2, Im z > 0
tra
y el disco D(0, 1).
Ejercicio 3.33.
En cada caso obtenga un isomorfismo de sobre G:
a) = {z : | Im z| < /2}, G = D(0, 1).
mu
es
ui
ta
y el disco D(0, 1).
b) = {z : | Im z| < /4}, G = {z : |z| < 1, Im z > 0}.
Ejercicio 3.34.
Sea G = {z : Re z > 0, Im z > 0, |z 5| > 3}. Obtenga un isomorfismo
conforme que transforme G en un rectngulo abierto.
Ejercicio 3.35.
Sea = {z : |z 1| < 2, |z + 1| < 2}. Obtenga un isomorfismo

conforme g : D(0, 1) tal que g(x) R si x R.
solucin.
Las circunferencias C1 = {z : |z 1| = 2}, C2 = {z : |z + 1| = 2}

se cortan ortogonalmente en los puntos +i, i (pues el tringulo de vrtices
1, i, 1 es rectngulo). Con una transformacin de Mbius adecuada el
abierto se puede llevar a uno de los cuadrantes determinados por dos
rectas perpendiculares. Esto se consigue con la transformacin de Mbius
T (z) = (z i)/(z + i), ya que T (i) = 0 y T (i) = . La imagen T (C1 ) es
79
tra
gr
at
Con la transformacin z 2 el cuadrante T () se convierte en el semiplano

H = {x + iy : x > 0} que, a su vez, se transforma en D(0, 1) mediante
S(z) = (z 1)/(z + 1) (obsrvese que 1, 1 son simtricos respecto al eje
imaginario y S(1) = 0, S(1) = , por lo que la imagen de este eje es una
circunferencia centrada en 0, que pasa por S(0) = 1). Componiendo las
transformaciones consideradas se obtiene que

2iz
w = S T (z)2 = 2
z 1
establece un isomorsmo
conforme
de sobre D(0, 1) que lleva el segmento
del eje real (1 2, 1 + 2) al segmento del eje imaginario {iy : |y| 1}.
Entonces, para conseguir
un isomorsmo conforme g : D(0, 1) que lleve
el segmento (1 2, 1+ 2) al segmento (1, 1) = D(0, 1)R, basta tomar
mu
es
ui
ta
una recta (porque i C1 y T (i) = ) respecto a la que son simtricos

T (1) = i y T () = 1, es decir, es la recta R1 = {z = x + iy : y =
x};
adems, como T (1) = i, la imagen del disco D1 = {z : |z 1| < 2} es
el semiplano H1 = {z = x + iy : y < x}. Con un razonamiento
similar se
obtiene que la imagen del disco D2 = {z : |z + 1| < 2} es el semiplano

H2 = {z = x + iy : y > x}. Entonces, como T es una biyeccin,

T () = T (D1 D2 ) = H1 H2 = x + iy : x < 0, |y| < x .
g(z) =
2z
z2 1
Ejercicio 3.36.
Sea = C \ E donde E = {z : |z| = 1, Im z 0}. Obtenga un isomorfismo conforme de sobre {z : |z| > 1}.
Ejercicio 3.37.
El perfil de Joukowsky es la imagen, mediante la transformacin de Joukowski J(z) = 12 (z + 1/z), de una circunferencia que pasa por uno de los dos
puntos +1, 1 y rodea al otro. Indique un procedimiento para conseguir un
isomorfismo conforme entre C \ [1, 1] y el exterior del perfil de Joukowsky.
80
3.2.4.
Complementos
gr
at
Ejercicio 3.38.
Si a C \ {0}, determine las ramas continuas de la multifuncin

az = ecz : c log a
(funciones continuas f : C C que verifican f (z) az para cada z C).
tra
Ejercicio 3.39.
Dado C determine, en = C\{x R : x 1}, las ramas continuas
de la multifuncin

(1 + z) = ec : c log(1 + z) .
mu
es
ui
ta
En los ejercicios de carcter complementario reunidos en este bloque

se ofrecen algunos resultados, naturales y poco sorprendentes, cuyas
soluciones usan tcnicas avanzadas de topologa o geometra.
Ejercicio 3.40.
a) Determine todas las funciones continuas f : C C que cumplen
[E ] :
f (z + w) = f (z)f (w) para cada z, w C.
b) Determine todas las funciones continuas : R {z : |z| = 1} que

verifican
(s + t) = (s)(t) para cada s, t R.
Ejercicio 3.41.
Sea f = P/Q una funcin racional. Definiendo f (a) = lmza f (z) cuando Q(a) = 0 o a = se obtiene una funcin f : C C . Compruebe que
f es derivable en todo a C .
81
gr
at
3.3.
Ejercicios propuestos
tra
3.1 Determine todos los periodos de las funciones complejas ez , tg z, sh z,

ch z y th z. Compruebe que
sh(z + i) = sh z
y que
mu
es
ui
ta
Ejercicio 3.42.
Se supone que C es abierto y que f : C es derivable en
a con f (a) 6= 0. Demuestre que la transformacin inducida por f en la
esfera de Riemann conserva ngulos orientados en p = (a). (Esto significa
que dos curvas diferenciables sobre la esfera, que surgen de p con vectores
tangentes u, v son transformadas en dos curvas, que surgen de q = (f (a)),
cuyas tangentes forman el mismo ngulo orientado. En el ejercicio 2.37 se
puede ver la nocin de ngulo orientado de un par de vectores tangentes a
la esfera).
ch(z + i) = ch z.
3.2 Si z = x + iy, compruebe las desigualdades

|sen z| |sen x|; |cos z| |cos x|; ch x |ch z| |sh x|.
3.3 Estudie la derivabilidad en sentido complejo de la funcin

f (x + iy) =
x3 + y 3
x3 y 3
+
i
si (x, y) 6= (0, 0),
x2 + y 2
x2 + y 2
f (0, 0) = 0.
3.4 Compruebe que la funcin f (x+ iy) = y 2 , aunque es derivable en todos

los puntos del eje real, no es holomorfa en ningn punto.
3.5 Sea C un abierto conexo, no vaco y simtrico respecto al eje real
y g H (). Demuestre que R 6= y que si M es una componente
conexa de R, son equivalentes
a) g(z) = g(z) para todo z ;
b) g(x) R para todo x M .
82
Demuestre que cada f H () se puede representar de modo nico

en la forma f = g + ih, donde g, h son funciones holomorfas tales que
g(x) R, h(x) R para cada x R.
gr
at
3.7 Obtenga la imagen del abierto = {z : |Im z| < /2} mediante la

transformacin
ez 1
f (z) = z
e +1
y compruebe que f establece un isomorsmo conforme entre y su
imagen.
tra
3.8 Obtenga un isomorsmo conforme entre los abiertos

z : |z| > 1, Im z > 0 ,
z : Im z > 0 .
3.9 Obtenga isomorsmos conformes entre los abiertos

x+iy : 0 < x < /4, 0 < y , z : |z| < 2, |z+1| > 1 , z : |z| < 1 .
mu
es
ui
ta
3.6 Si es conexo y f H () verica Im(f ) = Re(f )2 , demuestre que f

es constante.
3.10 Obtenga isomorsmos conformes entre los abiertos

x+iy : |x| < /4 , reit : 0 < r < 1, |t| < , x+iy : x > 0, y > 0 .
ui
ta
[1] Lars V. Ahlfors, Complex analysis, Third ed., McGraw-Hill Book Co.,
New York, 1978. MR 510197 (80c:30001) 3
gr
at
[2] Tom M. Apostol, Anlisis matemtico, Segunda ed., Editorial Revert

S.A., 1976. MR 0344384 (49 #9123) 18, 19, 85
tra
[3] Henri Cartan, Thorie lmentaire des fonctions analytiques dune ou

plusieurs variables complexes, Avec le concours de Reiji Takahashi,
Enseignement des Sciences, Hermann, Paris, 1961. MR 0147623 (26
#5138) 3
mu
es
[4] John B. Conway, Functions of one complex variable, Second ed., Graduate Texts in Mathematics, vol. 11, Springer-Verlag, New York, 1978.
MR 503901 (80c:30003) 3
[5] Philip J. Davis, The Schwarz function and its applications, The Mathematical Association of America, Bualo, N. Y., 1974, The Carus Mathematical Monographs, No. 17. MR 0407252 (53 #11031) 3
[6] Denis Feyel y Arnaud de la Pradelle, Ejercicios sobre las funciones analticas, Paraninfo, Madrid, 1980. MR 636507 (82m:30001) 1
[7] Maurice Heins, Complex function theory, Pure and Applied Mathematics, Vol. 28, Academic Press, New York, 1968. MR 0239054 (39 #413)
3, 29
[8] Einar Hille, Analytic function theory. Vol. I, Introduction to Higher
Mathematics, Ginn and Company, Boston, 1959. MR 0107692 (21
#6415) 3
269
Bibliografa
[9]
, Analytic function theory. Vol. II, Introductions to Higher Mathematics, Ginn and Co., Boston, Mass.-New York-Toronto, Ont., 1962.
MR 0201608 (34 #1490) 3
gr
at
[11] A. I. Markushevich, Theory of functions of a complex variable. Vol. I,

II, III, english ed., Chelsea Publishing Co., New York, 1977, Translated
and edited by Richard A. Silverman. MR 0444912 (56 #3258) 3
tra
[12] Rolf Nevanlinna and V. Paatero, Introduction to complex analysis,

Translated from the German by T. Kvari and G. S. Goodman, AddisonWesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969.
MR 0239056 (39 #415) 3
[13] Walter Rudin, Anlisis real y complejo, Tercera ed., McGraw-Hill / Interamericana de Espaa, Madrid, 1988. MR 924157 (88k:00002) 3
[14] Stanisaw Saks and Antoni Zygmund, Analytic functions, Second ed.,
Pastwowe Wydawnietwo Naukowe, Warsaw, 1965, Translated by E. J.
Scott. MR 0180658 (31 #4889) 3
mu
es
ui
ta
[10] Jan G. Krzy, Problems in complex variable theory, American Elsevier

Publishing Co., Inc., New York, 1971, Translation of the 1962 Polish
original. MR 0447533 (56 #5844) 1
[15] Hans Schwerdtfeger, Geometry of complex numbers. Circle geometry,

Moebius transformation, non-Euclidean geometry, Dover Publications
Inc., New York, 1979, A corrected reprinting of the 1962 edition. MR
620163 (82g:51032) 3, 54
[16] Gabriel Vera, Lecciones de anlisis complejo,
http://webs.um.es/ gvb/AC, 2011. 17, 84
[17] L. Volkovysky, G. Lunts y I. Aramonovich, Problemas sobre la teora
de funciones de variable compleja, Second ed., Mir Publishers, Moscow,
1977. MR 0444913 (56 #3259) 1
Este libro electrnico va dirigido a profesores y alumnos involucrados

en la enseanza y aprendizaje del anlisis complejo. Contiene
ejercicios resueltos (en su ma
mayor parte el acceso a la solucin requiere
conexin a Internet) referentes a los temas habituales que culminan
en el teorema de los residuos
residuos. La novedad que ofrece un libro como
ste se aprecia en el enfoque y la organizacin de los temas
considerados, entre los que se pueden sealar: el uso de la variable
compleja para hacer geometra en el plano, la atencin a los aspectos
geomtricos de las funciones de variable compleja consideradas como
transformaciones del plano o de la esfera, las tcnicas para la
manipulacin y el clculo de desarrollos (en serie de potencias o de
Laurent) de funciones concretas
concretas, la atencin especial al problema
general de la existencia de ramas de funciones multivaluadas, a la
gestin rigurosa de las mismas
mismas, y a los procedimientos para encontrar
frmulas adecuadas para trabajar con ramas concretas.
Cada captulo comienza con una exposicin de los conceptos y
resultados tericos que se utilizan en las soluciones de los ejercicios
que contiene. La organizacin de los ejercicios, en bloques, se
complementa con una gua gener
general, denominada Cmo hacerlo,
donde, de modo transversal, se sealan ejercicios que ilustran cmo
abordar tareas tpicas de la materia.
mater
En cada captulo se ofrece material
mater complementario con el que se
profundiza en algunos aspectos muy concretos de los temas
considerados en el mismo.
ISBN 978-84-940688-4-3
9 788494 068843

Variable Compleja

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Variable Compleja

Uploaded by

Copyright:

Available Formats

ecto

Gabriel Vera Bot

Gabriel Vera Bot

ltimos ttulos publicados en esta serie

B. Cascales, J.M. Mira, J. Orihuela,

V. Calvo, A. Peris, F. Rodenas

Enlace AQU para adquirir el libro

Comit editorial de la Real Sociedad Matemtica Espaola

c Ediciones Electolibris, S. L. (2013)

Ediciones Electolibris S. L. no posee el Copyright de algunas de las imgenes

En un verso de ocho slabas

Dedicado a Marisa, Marcos y Mara,

Enlace AQU para adquirir el libro

2. Topologa y geometra en el plano complejo

1. Los nmeros complejos

2.3. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . .

3. Funciones de variable compleja

analticas. Ceros y principio de identidad, 91.

4.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . .

Enlace AQU para adquirir el libro

3.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . .

4.3. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . 112

5.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . 124

5.3. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . 142

7. Teorema de los residuos

Enlace AQU para adquirir el libro

6.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . 155

7.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . 176

7.3. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . 197

8.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . 203

Schwarz y los isomorfismos conformes, 223.

9.3. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . 229

10.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . 237

10.3. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . 242

Enlace AQU para adquirir el libro

10. Funciones armnicas

11. Representacin de funciones

11.2. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . 251

11.3. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . 254

Enlace AQU para adquirir el libro

3.1. Preliminares tericos

3.1. Preliminares tericos

Las funciones elementales

La funcin exponencial exp(z) = ez es la denida en C mediante la serie

(Otra forma de obtenerla se puede ver en el ejercicio 4.43). En particular,

Enlace AQU para adquirir el libro

eiy = (cos y + i sen y),

lo que justica la expresin mdulo argumental de un nmero complejo:

B1 = {x + iy : 0 < y < 2},

La inversa de la primera biyeccin viene dada por el logaritmo principal

Log z = log |z| + i Arg z.

En lo sucesivo, para tener garantizada la continuidad, cuando se considere la

3.1. Preliminares tericos

Funciones trigonomtricas e hiperblicas

sen z = cos(/2 z);

sen(z + w) = sen z cos w + cos z sen w;

Enlace AQU para adquirir el libro

cos(z + w) = cos z cos w sen z sen w,

se pueden obtener a partir de la ecuacin funcional (3.1) (en el ejercicio 4.43

Estas funciones siguen cumpliendo las relaciones usuales: ch2 z sh2 z = 1,

3.1. Preliminares tericos

Multifunciones y la determinacin de sus ramas

Al considerar argumentos, logaritmos, la exponenciacin compleja y, ms

Se dice que g es una rama o determinacin continua de G si g : T C