Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Variable PDF
Variable PDF
V
Indice general
Prefacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . V
2. Derivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1. Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.2. Las ecuaciones de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.3. La funcion exponencial y el logaritmo complejo . . . . . . . . . . . . . . . . . 52
3. Integral de lnea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.1. Trayectorias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.2. Integral de Riemann-Stieljes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.3. Integral de lnea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
6. Singularidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.1. Singularidades aisladas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.2. Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
VII
VIII Indice general
Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
6
(a, b)
(0, b)
*
-
(a, 0)
1
2 1 Topologa del plano complejo
Recordemos ahora que (a, 0) = a por la identificacion que hicimos antes. Para el
otro sumado (0, b), observemos que en el eje real se tiene al neutro multiplicativo
1 = (1, 0) y si escogemos en el eje imaginario al complejo i := (0, 1) C al que
podemos llamar la unidad imaginaria observamos que
de tal forma que todo numero complejo en el eje imaginario es un multiplo real del
complejo i. Substituyendo estas observaciones en la igualdad (1) de arriba vemos
que todo numero complejo z = (a, b) C se puede escribir de la forma:
z = (a, 0) + (0, b) = a + bi
a = Re(z) y b = Im(z).
Con esta nueva notacion las operaciones de suma y producto en C toman la forma
siguiente. Para la suma, dados dos complejos z = a + bi y w = c + di, su suma es:
es decir, se suman las partes reales y aparte se suman las partes imaginarias. Para el
producto, dados dos complejos z = a + bi y w = c + di, su producto es:
Observamos que con esta notacion, la formula para el producto de dos complejos es
entonces natural. Antes de hacer unos ejemplos con las operaciones de C introduci-
remos un par de conceptos asociados a numeros complejos:
Conjugacion. Dado un numero complejo z = a + bi se define su conjugado z :=
abi cambiando el signo de la parte imaginaria de z. Dados w, z C, as propiedades
siguientes de la conjugacion son faciles de demostrar:
(1) z = z.
(2) z + w = z + w.
(3) zw = z w.
1 Topologa del plano complejo 3
6
|z| *
b
a -
|z|2 = a2 + b2
con a2 + b2 0 en R, por lo que |z| = + a2 + b2 y as el modulo |z| es un numero
real positivo. Observemos ahora que si z = a + bi entonces
por lo que
|z| = + z z.
Usando esta expresion para el modulo de un complejo, dados w, z C, se verifican
facilmente las propiedades siguientes:
(1) |z| = |z|.
(2) |zw| = |z||w|.
w |w|
(3) Si z 6= 0, entonces = .
z |z|
(4) |z + w| |z| + |w| (la desigualdad del triangulo).
Los dos conceptos anteriores facilitan ciertas operaciones en C. Por ejemplo su-
pongamos que queremos dividir un complejo w entre un complejo z 6= 0. Entonces
w wz
() = ,
z zz
es decir, multiplicamos la fraccion w/z que queremos calcular por 1 = z/z y notamos
que en el lado derecho de () se tiene en el denominador un numero real: zz = |z|2 y
de esta manera el lado derecho es facil de calcular. Un ejemplo ilustra esto:
6
|z| *
b
-
a
(1) Si z 6= 0, definimos su argumento como el angulo entre el semieje real positivo
y el segmento dirigido determinado por (vease la figura anterior). Como es usual,
el angulo se considera positivo si se mide en sentido contrario al de las manecillas
del reloj y negativo en caso contrario. Observe tambien que el argumento no es
unico, i.e., la asignacion z 7 no es una funcion ya que podemos reemplazar
por + 2 o, en general, por + 2k, para cualquier k Z. Al complejo z = 0 C
no le asignamos un argumento.
(2) Ahora, si z 6= 0 y z = a + bi, consideremos el triangulo formado por a, b y |z|
(vease la figura anterior) donde observamos que |z| 6= 0 y se tiene que:
y por lo tanto
sigue que
z = |z|(cos + i sen ) = 2 2(cos /4 + i sen /4).
calculemos su producto:
La igualdad anterior nos dice que, para multiplicar dos complejos en forma polar:
(1) Se multiplican los modulos correspondientes.
(2) Se suman los argumentos.
Las observaciones anteriores dan una interpretacion geometrica del producto de
numeros complejos y la formula () sera util para calcular potencias zn con n 0
entero, de un numero complejo z 6= 0. En efecto, si z = |z|(cos + i sen ), entonces
Hemos as probado:
Proposicion 1.1 (Formulas de De Moivre). Si z = |z|(cos + i sen ) y n Z,
entonces:
zn = |z|n [cos(n) + i sen(n)].
t
u
La formula anterior nos dice que, en forma polar, es muy facil calcular potencias
de complejos. Veremos a continuacion que calcular races de complejos tambien
es sencillo. As, dado un numero complejo z = a + bi y un entero n > 1 queremos
encontrar otro numero complejo w tal que wn = z, i.e., w = n z. Una primera pre-
gunta que se ocurre es: cuantos complejos w existen que sean races n-esimas de z?
Aqu observamos que si z = 0 claramente la unica raz n-esima es w = 0. Suponga-
mos entonces que z 6= 0 y escribamoslo en forma polar z = |z|(cos + i sen ). Co-
mo el complejo w que buscamos debe satisfacer que wn = z, entonces w debe ser 6= 0
tambien y por lo tanto lo podemos escribir en forma polar: w = |w|(cos + i sen )
de tal forma que para encontrar a w debemos hallar su modulo |w| y su argumento
(y es de esperarse que estos aparezcan en terminos del modulo y argumento de z
y del entero n dado). Los detalles son como sigue: como wn = z, usando la forma
polar de w y z, y las formulas de De Moivre, obtenemos:
y la igualdad de estos dos complejos implica que sus modulos son iguales, i.e.,
|w|n = |z|, por lo que
p
(1) |w| = n |z|,
(un numero real positivo). Tambien, la igualdad () implica que los argumentos
correspondientes deben ser iguales salvo un multiplo entero de 2, i.e., n = +
2k con k Z. Se sigue que:
1 Topologa del plano complejo 7
+ 2k
(2) = con k Z.
n
Las igualdades (1) y (2) definen complejos w cuya potencia n-esima es z, i.e.,
son races n-esimas de z. Hemos visto que se tiene un tal w para cada valor del
argumento ya que el modulo es unico. Para determinar cuantas races diferentes hay
procedemos como sigue:
Primero. Dado un entero k Z, dividiendolo entre n obtenemos k = nq + r con
q, r Z y 0 r < n. Observamos entonces que;
+ 2k + 2(nq + r) + 2r
= = = + 2q,
n n n
i.e., el argumento correspondiente a ( + 2k)/n es el mismo que el de ( + 2r)/n
ya que estos difieren por el multiplo 2q de 2. Por lo tanto podemos restringir a
k Z al rango 0 k < n, i.e., k = 0, 1, 2, . . . , n 1.
Segundo. Dados dos enteros j 6= k entre 0 y n 1, mostraremos que los argumentos
+ 2 j + 2k
y
n n
dan lugar a complejos diferentes (i.e., no son iguales salvo un multiplo entero de
2). En efecto, si sucediera que
+ 2 j + 2k
= + 2t
n n
entonces ( + 2 j)/n = ( + 2k + 2tn)/n por lo que + 2 j = + 2k + 2tn,
de donde cancelando y luego dividiendo entre 2 obtenemos que j = tn + k, i.e.,
j k = tn, i.e., n| j k. Pero como 0 j, k n 1, entonces la unica posibilidad
para que n| j k es que j k = 0 y por lo tanto j = k. Hemos as probado:
Proposicion 1.2. Dado un complejo z 6= 0 en forma polar z = |z|(cos + i sen ),
entonces z tiene exactamente n races complejas wk = |wk |(cos k + i sen k ) cuyos
modulos son todos iguales:
p
n + 2k
|wk | = |z| y cuyos argumentos son: k = con 0 k n 1.
n
Ejemplo 1.4. Calcule las races cubicas de z = 1. En este ejemplo |z| = 1, su argu-
mento es = 0 y n = 3. Si w = |w|[cos + i sen ] es una de las 3 races cubicas de
z, entonces:
3
p
|w| = 3 |z| = 1 = 1
y sus argumentos son
0 + 2k 2k
k = = para k = 0, 1, 2,
3 3
8 1 Topologa del plano complejo
Ejercicios
S := {z C : |z| = 1}.
1.9. Haga las operaciones indicadas y al final exprese el resultado en la forma a +bi:
1.11. Muestre que las n races n-esimas de 1 son los vertices de un n-agono regular
inscrito en el crculo unitario, uno de cuyos vertices es 1.
un1 + un2 + + u + 1 = 0.
n := {u C : un = 1}.
z
w
1.1 La topologa del plano complejo 11
r
z
donde notamos que el disco abierto B(z; r) no incluye al crculo que lo rodea.
Un conjunto C se dice que es un conjunto abierto si para todo z existe
un disco abierto B(z; ) totalmente contenido en , i.e., B(z; ) . En este caso,
tambien se dice que z es un punto interior de . Dicho en otras palabras, es
abierto si y solo si todos sus puntos son interiores:
Antes de dar mas ejemplos de conjuntos abiertos, veamos otra clase de subcon-
juntos de C, que son los complementos de los conjuntos abiertos. Un conjunto A C
es un conjunto cerrado si su complemento C A es abierto. De las leyes de de Mor-
gan y de la proposicion anterior se sigue que:
Proposicion 1.4. (1) C y 0/ son conjuntos cerrados.
(2) Si A1 , . . . , An son conjuntos cerrados de C, entonces A1 An tambien es
cerrado.
Ejemplo 1.6. Si z C y r > 0 es cualquier real positivo, se definen las bolas o discos
cerrados de centro z y radio r > 0 mediante B(z; r) := {w C : d(z, w) r}:
r
z
1 Note que > 0 porque estamos tomando el mnimo de un conjunto finito de reales positivos. Si
el conjunto fuera infinito pudiera suceder que = 0, por ejemplo si k = 1/k para k 1 entero,
entonces = mn{1/k}k1 = 0. Se sigue que la hipotesis de que la familia {Ak } sea una familia
finita es necesaria.
1.1 La topologa del plano complejo 13
6 L
v u
-
) Comencemos con el caso cuando u = 0, de tal forma que el conjunto que tenemos
ahora es
H0 := {z C : Im(z/v) > 0}.
Escribiendo v = cos + i sen (recordando que |v| = 1) y z = r(cos + i sen )
(con r = |z|), tenemos que
z
= r[cos( ) + i sen( )],
v
14 1 Topologa del plano complejo
por lo que
6
Lu
H0
v
-
6
Lu
Hu
u
-
6
Lu
u
-
Ku
Ejemplo 1.8. Una recta Lu es un conjunto cerrado porque su complemento son dos
semiplanos abiertos Hu y Ku .
Semiplanos cerrados. Dados u, v C dados, con |v| = 1, los semiplanos cerrados
son los conjuntos zu
Hu := {z C : Im 0}
v
(a la izquierda de la recta correspondiente), y los conjuntos
zu
Ku := {z C : Im 0}
v
(a la derecha de la recta correspondiente):
Lu
6 6
Hu Lu
u u
- -
Ku
Sin embargo, los conjuntos no son como las puertas, es decir, no sucede que dado
un conjunto si no es abierto tiene que ser cerrado o puede que sea abierto y cerrado,
como es el caso de los conjuntos C y 0. / El ejemplo siguiente muestra un conjunto
que no es abierto ni cerrado:
Ejemplo 1.10. El conjunto siguiente, dado por la interseccion de los tres semipla-
nos indicados (dos cerrados y uno abierto) no es ni abierto ni cerrado:
donde la intersecion corre sobre los conjuntos cerrados F tales que F . Ahora,
por la proposicion 1.4, la interseccion de cualquier familia de cerrados es cerrada,
por lo que la cerradura es un conjunto cerrado; de hecho, es el menor conjunto
cerrado que contiene a . Similarmente, se define el interior de , denotado 0 ,
como [
0 := A
A
donde la union corre sobre los conjuntos abiertos A tales que A . Tambien, por la
proposicion 1.3, la union de cualquier familia de abiertos es abierta, y as el interior
0 es un conjunto abierto y es el mayor abierto contenido en . Claramente
= (A ) (B ).
B
A
son segmentos tales que el extremo final de [zk , zk+1 ] es igual al extremo inicial de
[zk+1 , zk+2 ]. Decimos que P es un polgono que une z1 con zn y tambien usaremos la
notacion P = [z1 , z2 , . . . , zn ]:
18 1 Topologa del plano complejo
zk
z2
zn
z1
Es decir, S lo forman los reales en [0, 1] que corresponden a la parte del segmento
[z0 , w0 ] contenida en A y T los reales en [0, 1] correspondientes a la parte del seg-
mento [z0 , w0 ] contenida en B. Como A B = 0, / entonces S T = 0.
/ Tambien, 0 S
y 1 T y as ambos no son vacos. Observe ahora que S T = [0, 1] ya que, por
1.1 La topologa del plano complejo 19
de K tiene una subcubierta finita, es decir, existe una subfamilia finita Uk1 , . . . ,Ukn
de C tal que K = Uk1 Ukn .
20 1 Topologa del plano complejo
por lo que los Ui forman una cubierta abierta de K. Como K es compacto y los Ui
estan encadenados, existe un entero n tal que
n
[
K Uk = Un = C B(z0 ; 1/n)
k=1
Ejercicios
1.26. En la parte final de la demostracion del teorema 1.7, demuestre que los con-
juntos S y T son abiertos relativos en [0, 1].
Una implicacion se sigue de las desigualdades |an | |sn | y |bn | |sn |, y la otra
implicacion se sigue de la desigualdad del triangulo |sn | |an | + |bn |. Para otras
propiedades usuales de las sucesiones de numeros (complejos) veanse los ejercicios
1.29 al 1.31 al final de esta seccion.
Muchas de las propiedades topologicas de C se pueden expresar en terminos de
sucesiones:
1.2 Sucesiones y series de numeros complejos 23
como se quera. Una sucesion de numeros complejos {sn } que satisface la condicion
anterior, es decir que para todo > 0 existe un N N tal que si m, n N se tiene que
|sm sn | < , se dice que es una sucesion de Cauchy. Hemos as mostrado que en C
toda sucesion convergente es una sucesion de Cauchy. Si escribimos sn = an + ibn
como antes, un argumento similar al del parrafo anterior demuestra que {sn } es de
Cauchy si y solo si {an } y {bn } son de Cauchy, como sucesiones de numeros reales.
Observe ahora que, como en R toda sucesion de Cauchy es convergente, se tiene
que en C toda sucesion de Cauchy converge a un numero complejo. Es decir, C es
completo. La completez de C es equivalente a la propiedad del teorema de Cantor
siguiente, donde recordamos que si A C, se define su diametro como
M6
M M-
C
M
Note que C es cerrado y por la proposicion 1.10 basta mostrar que C es compacto
para que K lo sea. Supongamos, que existe una cubierta abierta U = {U } de C que
no contiene una subcubierta finita. Dividamos C en los cuatro cuadrados cerrados y
con interiores disjuntos siguientes: C1 = [0, M][0, M], C2 = [M, 0][0, M], C3 =
[M, 0] [0, M], C4 = [0, M] [0, M]:
C2 C1
-
C3 C4
Se sigue que alguno de los C j no se puede cubrir con un numero finito de los U .
Sin perder generalidad supongamos que C1 no se puede cubrir con un numero finito
de los U y denotemos este por C(1) . Procedemos entonces dividir este C(1) en cua-
(1) (1)
tro cuadrados cerrados con interiores disjuntos: C1 = [0, M/2] [0, M/2], C2 =
(1) (1)
[M/2, M] [0, M/2], C3 = [M/2, M] [M/2, M], C4 = [0, M/2] [M/2, M]:
6
(4) (3)
C1 C1
(1) (2)
C1 C1
-
(1)
Entonces, alguno de los C j no se puede cubrir con un numero finitos de los U .
(1)
Sin perder generalidad supongamos que C1 no se puede cubrir con un numero
finito de los U y denotemos este por C(2) . Note que el proceso anterior no se puede
(n)
detener porque si as sucediera todos los C j correspondientes se cubriran por un
numero finito de los U y por lo tanto tambien C quedara cubierto por este numero
finito de U . Hemos as construido una familia de subconjuntos cerrados no vacos
encadenados
C C(1) C(2) C(3)
donde claramente lm{diamC(n) } = 0 y as, por el teorema de Cantor 1.14, existe
un unico punto z n1 C(n) C. Ahora, como z C y los U cubren C, entonces
T
26 1 Topologa del plano complejo
Lmite superior y lmite inferior. Supongamos que {an } es una sucesion de nume-
ros reales.
1. Si {an } no esta acotada superiormente, se define el lmite superior como
lm sup{an } = .
2. Si {an } esta acotada por arriba, entonces tambien lo es la sucesion {am+n }nN
para cada m. Si ponemos
m := sup{am+n : n N}
lm sup{an } = .
Ejercicios
1.31. Demuestre que toda sucesion acotada tiene una subsucesion convergente.
1.43. Si {an } y {bn } son sucesiones acotadas de numeros reales, demuestre que
1.45. Si {an } y {bn } son sucesiones de numeros reales positivos tales que a =
lm sup{an } y 0 < b = lm{bn } < , demuestre que
ab = lm sup{an bn }.
1.48. Suponga que an = L1 y bn = L2 y que cada una de estas series converge
n=0 n=0
n
absolutamente. Defina cn = ak bnk . Demuestre que cn = L1 L2 .
k=0 n=0
f ( ) := { f (z) : z }
g f : C
1.3 Funciones de una variable compleja 29
lm f (z) = f (z0 ).
zz0
Por definicion de lmite, lo anterior quiere decir que, para todo > 0 existe un > 0
tal que si |z z0 | < y z , se tiene que | f (z) f (z0 )| < . Interpretando las
desigualdades anteriores en terminos de discos abiertos, se tiene que f es continua
en z0 si y solo si para todo disco abierto B( f (z0 ); ) con centro f (z0 ), existe un
disco abierto B(z0 ; ) con centro z0 tal que para todo z B(z0 ; ) se tiene que
f (z) B( f (z0 ); ); es decir, f (B(z0 ; ) B( f (z0 ); ). Dicho de otra manera,
hemos probado que para cualquier disco abierto B( f (z0 ); ) con centro f (z0 ), existe
un disco abierto B(z0 ; ) tal que su interseccion con esta contenida en la imagen
inversa del disco B( f (z0 ); ):
Hemos as probado:
Proposicion 1.17. Una funcion f : C es continua en el punto z0 si y solo
si para todo disco abierto B( f (z0 ); ) con centro en f (z0 ) existe un disco abierto
B(z0 ; ) tal que B(z0 ; ) f 1 B( f (z0 ); ).
t
u
La demostracion del resultado siguiente la dejamos como el ejercicio 1.51:
Proposicion 1.18. Sean f , g : C funciones continuas en un punto z0 . En-
tonces,
30 1 Topologa del plano complejo
(1) f g : C es continua en z0 .
(2) f g : C es continua en z0 .
(3) Si g(z0 ) 6= 0, entonces f /g : C es continua en z0 .
t
u
Se dice que una funcion f : C es continua si lo es en cada punto de su
dominio.
Teorema 1.19. Una funcion f : C es continua si y solo si para todo abierto
U C se tiene que f 1 (U) es abierto en .
Demostracion. Si U C es abierto y z f 1 (U), entonces f (z) U y como U
es abierto existe un disco B( f (z); ) U. Ahora, como f es continua en z, para
todo > 0 existe un > 0 tal que f B(z; ) B( f (z); ) U y por lo tanto
B(z; ) f 1 (U) y por lo tanto f 1 (U) es abierto en . Recprocamente, si
z , para todo > 0 por hipotesis f 1 B( f (z); ) es abierto en , es decir, existe
un abierto V C tal que f 1 B( f (z); ) = V y as z V , por lo que existe
un disco B(z; ) V y consecuentemente B(z; ) f 1 B( f (z); ) y as por la
proposicion anterior f es continua en z, para todo z . t
u
Corolario 1.20. Sean f : C y g : C funciones tales que f ( ) y
ademas f y g son continuas. Entonces, g f : C es continua.
Demostracion. Si U C es abierto, como g es continua se tiene que g1 (U) es
abierto en , y como f es continua se sigue que (g f )1 (U) = f 1 (g1U) es
abierto en . t
u
Teorema 1.21. Sea f : C una funcion continua.
(1) Si es conexo, entonces f ( ) tambien es conexo.
(1) Si es compacto, entonces f ( ) tambien es compacto.
Demostracion. (1): Supongamos que V f ( ) es abierto y cerrado en f ( ) y que
/ Entonces, f 1V 6= 0/ y f 1V es abierto y cerrado en el conexo porque f es
V 6= 0.
continua. Se sigue que f 1V = y as V = f ( ) y por lo tanto f ( ) es conexo.
(2): Si = 0, / entonces f ( ) = 0/ y no hay nada que probar. Supongamos que
6= 0/ y sea {Vi } una cubierta abierta de f ( ), es decir, f ( ) i Vi . Entonces,
S
y as, por (1), se sigue que | f (uk ) f (z)| < /2. Por otra parte, como |uk w| <
k < 2k , por (1) se sigue que | f (uk ) f (w)| < /2. Las dos ultimas desigualdades
implican que
En el caso cuando A = {a} consta de un solo punto se define d(a, B) := d({a}, B).
Note tambien que si A = {a} y B = {b}, entonces d(A, B) = d(a, b). Tambien, si
A B 6= 0,
/ entonces d(A, B) = 0. Sin embargo se puede tener que d(A, B) = 0 aun
/ Por ejemplo, si A = {z = (a, 0) C} y B = {z = (x, ex ) = x+iex
cuando AB 6= 0.
C}, entonces B es asntota al eje real A por lo que d(A, B) = 0. Note que A B = 0/
y ambos son cerrados, pero ninguno es compacto.
Proposicion 1.23. Si A, B C son no vacos disjuntos, B cerrado y A compacto,
entonces d(A, B) > 0.
Ejercicios
si y solo si para toda sucesion {zn } {z0 } que converge a z0 se tiene que
lm{ f (zn )} = L.
1.61. Un punto z0 se dice que es aislado si existe un disco B(z0 ; ), con > 0,
tal que B(z0 ; ) = {z0 }. Demuestre que si z0 , entonces z0 es un punto
aislado o un punto de acumulacion de .
1.63. Una funcion f C se dice que es Lipschitz si existe una constante L > 0
tal que | f (z) f (w)| L|z w| para todo z, w . Demuestre que toda funcion de
Lipschitz es uniformemente continua.
C := C {},
con el plano C:
6
N
P
- Y
w
X
donde un calculo rutinario da como resultado el punto
x y1
1
(1) (P) = , ,0
1 z1 1 z1
donde notamos que como P 6= N, entonces la coordenada z1 6= 1. A la funcion se
le llama la proyeccion estereografica de S en C. Que es biyectiva es facil de ver
porque su inversa es la funcion
: C S {N}
(3) (N) = y () = N.
Ejercicios
2|w z|
dc (z, w) = p p .
1 + |z|2 1 + |w|2
2.1. Derivadas
f (w) f (z)
f 0 (z) := lm .
wz wz
y a este lmite se le llama la derivada de f en z. Observe que este lmite es igual a
f (z + h) f (z)
f 0 (z) = lm
h0 h
con h C tal que z + h .
Ejemplo 2.1. La funcion f : C C dada por f (z) = z (conjugacion) no es diferen-
ciable en ningun punto de C. En efecto,
f (z + h) f (z) z + h z z + h z h
= = =
h h h h
y escribiendo h = a + bi note que h R si y solo si b = 0 por lo que h/h = a/a = 1,
y por otra parte, h Ri si y solo si a = 0 y as h/h = bi/bi = 1 por lo que
37
38 2 Derivacion
(
f (z + h) f (z) 1 si h R,
=
h 1 si h Ri
Demostracion.
f (z) f (z0 )
lm f (z) f (z0 ) = lm z z0
zz0 zz0 z z0
f (z) f (z0 )
= lm lm (z z0 )
zz0 z z0 zz0
0
= f (z0 ) 0 = 0,
se sigue que
t
u
Observacion 2.2. La regla de la cadena anterior sigue siendo valida para cualquier
combinacion de funciones reales o complejas de variable real o compleja que pue-
dan ser compuestas. Usaremos esto en la demostracion del resultado siguiente:
Proposicion 2.5. Si C es abierto y conexo y f : C es diferenciable (en el
sentido complejo) tal que f 0 (z) = 0 para todo z , entonces f es constante.
Demostracion. Fijemos z0 y sea w0 = f (z0 ). Sea U = {z : f (z) = w0 }.
Mostraremos que U es abierto y cerrado en . Como es conexo se sigue que U
2.1 Derivadas 41
f (z) f (z0 )
zz f 0 (z0 ) si z 6= z0
0
(z) =
si z = z0 .
0
f (z) f (z0 )
= c + (z)
z z0
por lo que
f (z) f (z0 )
lm = lm c + (z) = c
zz0 z z0 zz0
Ejercicios
f (b) f (a)
f 0 ( ) = .
ba
Sugerencia: Aplique el teorema de Rolle a la funcion g : [a, b] R dada por
bt t a
g(t) = f (t) f (a) + f (b) .
ba ba
Note tambien que el teorema de Rolle es un caso especial del teorema del valor
medio.
2.6. Suponga que f : R R es continua e inyectiva con conexo (i.e., un
intervalo de R). Demuestre que f : f ( ) es un homeomorfismo. Claramente
f es biyectiva sobre su imagen y solo debe probar que su inversa g : f ( ) es
continua.
2.7 (Derivada de la funcion inversa para funciones reales). Usando la formula-
cion de Caratheodory, demuestre que si f : (a, b) R es continua e inyectiva y para
(a, b), f 0 ( ) existe y no es nula, para la inversa g de f se tiene que
2.2 Las ecuaciones de Cauchy-Riemann 43
1
g0 ( f ( )) = .
f 0 ( )
z+h
z+h 6
z z+h
z+h
-
z+h
y notamos que esta condicion hace mas rgida la existencia de este lmite. Compare
esto con el caso de funciones reales de variable real f : D R R donde para
x D solo hay dos direcciones para las cuales h se aproxima a 0:
z+h z z+h
-
ya que i = 1/i.
Finalmente, como f 0 (z) existe las dos formas que calculamos el lmite deben
coincidir, es decir
u v u v
+i = i +
x x y y
2.2 Las ecuaciones de Cauchy-Riemann 45
e igualando partes reales con partes reales y partes imaginarias con partes imagina-
rias se obtiene que
u v u v
= y = .
x y y x
A este par de ecuaciones diferenciales parciales se les conoce como las ecuaciones
de Cauchy-Riemann. Hemos as probado el resultado siguiente:
Proposicion 2.7. Si f = u + iv : C tiene derivada f 0 (z) en un punto z ,
entonces las partes real e imaginaria u y v de f deben satisfacer las ecuaciones de
Cauchy-Riemann.
t
u
Sin embargo, la satisfaccion de las ecuaciones de Cauchy-Riemann en un punto
z = (x, y) no es suficiente para garantizar la existencia de f 0 (z), esencialmente por-
que hay muchas otras direcciones para h 0 al calcular el lmite que define f 0 (z).
El ejemplo siguiente ilustra lo anterior:
Ejemplo 2.6. Sea f : C C la funcion dada por
xy(x + iy) si z 6= 0,
f (z) = f (x + iy) = x2 + y2
0 si z = 0.
donde
u(z) u(z0 ) a(x x0 ) b(y y0 )
lm (z) = lm = 0.
zz0 zz0 z z0
Compare lo anterior con la nocion de diferenciabilidad de una funcion compleja,
por ejemplo en la reformulacion en la proposicion 2.6.
Regresando ahora al caso de funciones complejas f = u + iv : C, si f 0 (z0 )
existe, sea c C como en la proposicion 2.6 y escribamos c = a + ib, z = x + iy, con
a, b, x, y R. Entonces, por la proposicion 2.6
donde la ultima igualdad es por el teorema del valor medio del calculo, donde
esta entre y y y0 , para la funcion u(x, ), y donde esta entre x y x0 , para la funcion
u(, y0 ). Se sigue que
y por lo tanto
u(x, y) u(x0 , y0 ) ux (x0 , y0 )(x x0 ) uy (x0 , y0 )(y y0 )
=
|z z0 |
uy (x, ) uy (x0 , y0 )|y y0 | ux ( , y0 ) ux (x0 , y0 )|x x0 |
= +
|z z0 | |z z0 |
uy (x, ) uy (x0 , y0 ) + ux ( , y0 ) ux (x0 , y0 )
como una funcion holomorfa1 en . Con esta terminologa, la proposicion 2.7 dice
las partes real e imaginaria de toda funcion holomorfa f satisfacen las ecuaciones de
Cauchy-Riemann y la proposicion 2.9 dice que el recproco es cierto si ademas las
derivadas parciales de las partes real e imaginaria de f son continuas. La exigencia
de la continuidad de las derivadas parciales de u y v introduce cierta asimetra, pero
como veremos mas adelante en el teorema 4.5, las funciones holomorfas tienen de-
rivadas de todos los ordenes y as, por la proposcion 2.2 la existencia de f 00 (x + iy)
implica la continuidad de f 0 en x + iy, en particular la continuidad de las derivadas
parciales de u y v, eliminando la asimetra entre las proposiciones 2.7 y 2.9. El teore-
ma 4.5 que afirma que toda funcion holomorfa es de clase C muestra la diferencia
profunda entre las funciones complejas y las funciones reales, ya que lo anterior
es falso para el caso de funciones reales como lo muestra el ejemplo 2.8 siguiente.
Antes de formular el ejemplo, observemos que la proposicion 2.5 muestra la im-
portancia de considerar el caso cuando es conexo. A los conjuntos C que
sean abiertos y conexos se les conoce como regiones y en analisis complejo juegan
el papel analogo a los intervalos abiertos reales para el caso de funciones reales de
variable real.
El anillo de funciones holomorfas. Si C es una region, por la proposicion
2.1 la suma y producto de funciones holomorfas en , son holomorfas y las fun-
ciones constantes son holomorfas, en particular la funcion constante 0 y la funcion
constante 1 son holomorfas. Se sigue que el conjunto de funciones holomorfas en
:
O( ) := { f : C : f es holomorfa}
es un anillo conmutativo con uno, al que se conoce como el anillo de funciones
holomorfas. Mas adelante, como una consecuencia del teorema de la identidad 4.20,
se probara en el ejercicio 4.19 que el anillo O( ) es un dominio entero.
Ejemplo 2.8. La funcion f : R R dada por
(
t 2 sen(1/t) si t 6= 0,
f (t) =
0 si t = 0
termino es muy usado, sin embargo nosotros no lo usaremos sino hasta despues del teorema 4.5
cuando ya hayamos probado que toda funcion holomorfa es infinito diferenciable y por lo tanto
tiene una expansion en serie de Taylor (corolario 4.13) alrededor de cada uno de los puntos de su
dominio y as es analtica en el sentido usual.
2.2 Las ecuaciones de Cauchy-Riemann 49
u v v u
(1) f 0 (z) = +i = i
x x y y
y de estas igualdades se obtienen las ecuaciones de Cauchy-Riemann. Con abuso de
notacion se definen entonces los operadores diferenciales parciales
f u v f u v
(2) := +i y := +i
x x x y y y
de tal manera que las ecuaciones de Cauchy-Rieman (1) se pueden ahora reescribir
en terminos de estos dos operadores diferenciales como
f 1f f f
(3) = o mejor aun, como i = .
x i y x y
Usando los operadores diferenciales anteriores es conveniente entonces definir, co-
mo lo hace Wirtinger, los operadores diferenciales parciales complejos siguientes:
f 1 f f f 1 f f
(4) := i y := +i
z 2 x y z 2 x y
pensando a uno como conjugado del otro, lo cual es razonable ya que usando los
operadores diferenciales complejos anteriores se recuperan los operadores diferen-
ciales reales originales como
f f f f f f
(5) = + y =i .
x z z y z z
Observe que de (5), (4) y (2) se sigue que si f = u + iv, entonces
f 1u v i v u
= + +
z 2 x y 2 x y
y
f 1u v i v u
= + +
z 2 x y 2 x y
por lo que las ecuaciones de Cauchy-Riemann (3) se pueden reescribir como
f
(6) =0
z
es decir, f esta en el nucleo del operador / z. Ademas, si este es el caso, por la
proposicion 2.8 se tiene que la derivada de f en z es
50 2 Derivacion
f
f 0 (z) =
z
ya que, por la proposicion 2.8 y por (5) se tienen las dos primeras igualdades si-
guientes
f f f f
f 0 (z) = = + =
x z z z
y la ultima igualdad es porque f esta en el nucleo de / z.
Funciones armonicas. Si f = u + iv : C es holomorfa, como hemos mencio-
nado previamente, vease la pagina 48, f es de clase C lo cual probaremos en el
teorema 4.5. En particular, las derivadas parcialess ux , uy tienen segundas derivadas
continuas por lo que, diferenciando las ecuaciones de Cauchy-Riemann
u v u v
(1) = y =
x y y x
se obtiene que
2u 2v 2u 2v
2
= y 2
= ,
x x y y y x
2v 2v
donde x y = y x por la continuidad de las segundas derivadas parciales. Se sigue
que
2u 2u
(2) + = 0,
x2 y2
es decir, la funcion u satisface la ecuacion de Laplace (2) y se dice entonces que
u es una funcion armonica. Un razonamiento analogo muestra que v tambien es
armonica. En la situacion anterior, cuando se tiene una funcion real u : R
armonica para la cual existe otra funcion armonica v : R tal que f = u + iv :
C es holomorfa, se dice que v es conjugada armonica de u. Note que una
conjugada armonica v de u no es unica ya que para cualquier constante c, v + c
tambien es conjugada armonica de u. En la proposicion siguiente se muestra que la
conjugada armonica de u es unica salvo constantes.
Proposicion 2.10. Si C es una region y u : R es armonica y tiene conjuga-
das armonicas v1 , v2 : R, entonces v1 = v2 + c, donde c C es una constante.
Ejemplo 2.9. La funcion u : C R dada por u(x, y)p = ex sen y es armonica. Tambien
la funcion u : C {0} R dada por u(x, y) = log x2 + y2 es armonica. Reconsi-
deraremos esta ultima funcion en la pagina 58 y en el ejercicio 2.35.
2.2 Las ecuaciones de Cauchy-Riemann 51
Ejercicios
2.10. Si = , observe que es simetrica con respecto al eje real y por el ejer-
cicio anterior se sigue que la funcion g : C dada por
es holomorfa.
u 1 v v 1 u
= y = .
r r r r
y poniendo
E(iy) = A(y) + iB(y)
se sigue que
E(z) = E(x + iy) = ex A(y) + iex B(y).
Ahora, como por (3) E debe ser holomorfa, entonces sus partes real e imaginaria
deben satisfacer las ecuaciones de Cauchy-Riemann, es decir,
A(y) = B0 (y)
A0 (y) = B(y).
Se sigue que
A00 (y) = A(y)
2.3 La funcion exponencial y el logaritmo complejo 53
y as
E(z) = E(x + iy) = ex A(y) + iB(y) = ex a cos y + b sen y + iex b cos y + a sen y
f (z + ) = f (z)
para todo z C. Es claro que una funcion periodica no puede ser inyectiva. Para
mostrar que la funcion exponencial compleja es periodica y encontrar su perodo,
observe que si C es un tal perodo, para todo z C se debe tener que
ez = ez+ = ez e
= bi = 2ni, con n Z.
ez = w
por lo que ex = |w| y cos y + i sen y = cos + i sen . Se sigue que x = log |w| (el
logaritmo natural real, donde notamos que |w| =6 0 por hipotesis) y y = + 2n con
n Z. Por lo tanto, las soluciones de ez = w son de la forma
t
u
para un k Z.
t
u
56 2 Derivacion
Gracias a la proposicion anterior, basta construir una rama del logaritmo para
tenerlas todas. A continuacion veremos que escogiendo adecuadamente el dominio
de una rama del logaritmo se obtiene una funcion holomorfa en cuya derivada
es la esperada. Para esto se elige = C (, 0]:
(al plano complejo se le quita el semieje real negativo). A la rama del logaritmo en
se le llama la rama principal del logaritmo y se denota por log : C. Es claro
que log : C es una funcion continua y de hecho se tiene mas:
Proposicion 2.14. La funcion log : C es holomorfa y para todo w se tiene
que
1
log0 (w) = .
w
Demostracion. Como exp : C C es holomorfa, por la formulacion de Caratheo-
dory de la derivada si w0 y z0 = log(w0 ), se tiene que
ez ez0 = (z)(z z0 )
se sigue que
1
log(w) log(w0 ) = (w w0 )
(log w)
y as
1 1 1
log0 (w) = = = .
(log w) exp(log w) w
t
u
Es decir, queremos una funcion f : C C que satisfaga las tres condiciones ante-
riores y que ademas sea holomorfa. Para comenzar note que si f satisface las tres
condiciones anteriores, entonces f (z) 6= 0 para todo z C ya que si f (z) = 0 para
algun z, por (1) y (3) se tendra que
f 0 (z) = c f (z)
donde c = f 0 (0).
Por otra parte observe que la derivada del producto de funciones f (z) exp(cz)
es
y como C es conexo, por la proposicion 2.5 se sigue que f (z) exp(cz) es constante.
Observe ahora que para z = 0, f (z) exp(cz) = f (0) exp(0) = 1. Se sigue que
f (z) = exp(cz). Poniendo z = 1, de (2) se sigue que a = f (1) = exp(c) y por lo
tanto c es un logaritmo de a. Recprocamente, si c es un logaritmo de a, la funcion
f (z) = exp(cz) es holomorfa en C y satisface las condiciones (1) a (3). Hemos
as demostrado que, para a C {0} y z C la definicion de az es:
az = exp(z log a)
y como
log a = log |a| + i( + 2n) con n Z
entonces
Ejemplo 2.10. Para z = 1/n con n N y a C{0}, las potencias a1/n son las races
n-esimas de a. Para a = e, las potencias ez son los valores de la funcion exp(z).
y como ez = ez , entonces
58 2 Derivacion
El ejercicio 2.26 lista algunas de las identidades usuales, analogas al caso de las
funciones seno y coseno reales, y el ejercicio 2.31 define y lista algunas propiedades
de las funciones trigonometricas hiperbolicas.
Existencia de conjugadas armonicas. p En el ejemplo 2.9 vimos que la funcion
u : C {0} R dada por u(x, y) = log x2 + y2 es armonica. Dejamos como el
ejercicio 2.35 probar que u no tiene una conjugada armonica v en todo C {0}
(esencialmente el problema es que si u = log(|z|) tuviera una conjugada armonica
v, entonces se tendra una rama holomorfa del logaritmo complejo en = C {0},
lo cual no es posible). El ejemplo anterior muestra que no siempre una funcion
armonica real tiene una conjugada armonica y se tiene entonces el problema natural
de decidir para que regiones y cuales funciones armonicas u : R se tiene
una conjugada armonica. A continuacion veremos que, en el caso simple cuando
es convexo, en particular cuando es un disco abierto, toda funcion armonica en
tiene una conjugada armonica. Para probar lo anterior necesitaremos usar la regla
de Leibniz para derivar bajo el signo de integral una funcion continua:
Proposicion 2.15 (Leibniz). Sea : [a, b][c, d] C continua y defina g : [c, d]
C mediante Z b
g(t) := (s,t)ds.
a
Entonces,
(1) g es continua.
2.3 La funcion exponencial y el logaritmo complejo 59
Por otra parte, para un s [a, b] fijo, la funcion : [c, d] C dada por
() := (s, ) 2 (s,t0 )
Finalmente, como
60 2 Derivacion
Rb
(s,t)ds ab (s,t0 )ds
R Rb
g(t) g(t0 ) a a [(s,t) (s,t0 )]ds
= =
t t0 t t0 t t0
se sigue que
g(t) g(t ) Z b Z b [(s,t) (s,t )] Z b
0 0
2 (s,t0 )ds = ds 2 (s,t0 )ds
t t0 t t0
a a a
Z b [(s,t) (s,t )]
0
= 2 (s,t0 ) ds
a t t0
(b a), (por la cota (), para 0 < |t t0 | < ).
Por lo tanto, Z b
g0 (t0 ) = 2 (s,t0 )ds,
a
como se quera. t
u
Proposicion 2.16. Si es una region convexa, por ejemplo un disco abierto, en-
tonces toda funcion armonica u : R tiene una conjugada armonica v.
Demostracion. Para a, b R fijos tales que (a, y), (x, b) , como es convexo
los segmentos de recta que unen (x, b) con (a, y) estan contenidos en . Defina
entonces v : R mediante
Z y Z x
() v(x, y) := ux (x,t)dt uy (s, b)ds
b a
Ejercicios
2.35. Muestre que la funcion u del ejemplo 2.9 no tiene una conjugada armonica.
u
2.36. Demuestre que si u : R es armonica, entonces la funcion z es holomorfa.
2u u 2u
r2 2
+r + = 0.
r r 2
2.38. Demuestre que si v es conjugada armonica de u, entonces las funciones uv y
u2 v2 son armonicas.
Captulo 3
Integral de lnea
En este captulo desarrollamos la teora basica de la integral (de lnea) para fun-
ciones complejas. Comenzamos con las nociones de trayectoria parametrizada y de
curva en el plano complejo. Despues, se define la nocion de integral de Riemann-
Stieljes de una funcion compleja a lo largo de una curva rectificable y se prueban
sus propiedades basicas que seran usadas mas adelante.
3.1. Trayectorias
(b)
(a)
63
64 3 Integral de lnea
En efecto, basta considerar el caso cuando Q contiene un unico punto mas que P,
digamos t 0 [tk1 ,tk ]. Entonces, el polgono asociado a Q es igual al polgono aso-
ciado a P excepto que se tienen dos segmentos adicionales: [(tk1 ), (t 0 ), (tk )]:
(tk )
(t 0 )
(tk1 )
= v(; Q).
`( + ) ||`() + | |`( ).
t
u
donde en el lado derecho se tienen las integrales de Riemann de las funciones reales
de variable real u, v. Para t [a, b] poniendo
Z t Z t Z t
F(t) := f (s)ds = u(s)ds + i v(s)ds,
a a a
se tiene que F(t) es una primitiva de f (t) porque Rpor el teorema fundamental del
calculo (para funciones reales de variable real), dtd at u(s)ds = u(t) y similarmente
para v. Observe tambien que
66 3 Integral de lnea
Z b Zb
f (t)dt | f (t)|dt,
a a
ya que
Z b Z b Z b Z b Z b
f (t)dt := u(t)dt + i v(t)dt u(t)dt + v(t)dt
a a a a a
Z b Z b
|u(t)|dt + |v(t)|dt,
a a
Demostracion. Por el lema anterior podemos suponer que es lisa en [a, b], lo cual
significa que 0 existe y es continua en [a, b]. Si P = {a = t0 < t1 < < tn = b} es
una particion del intervalo [a, b],
n n Z tk n Z tk Z b
v(; P) = |((tk )(tk1 )| = 0 (t)dt | 0 (t)|dt = | 0 (t)|dt
k=1 k=1 tk1 k=1 tk1 a
y si kPk < = mn{1 , 2 }, entonces | 0 (k ) 0 (t)| < para t [tk1 ,tk ], y as,
por el teorema fundamental del calculo,
Z b n n
| 0 (t)|dt + (tk tk1 ) + (tk ) (tk1 )
a k=1 k=1
= + (b a) + v(; P) (1 + b a) + `(),
Ejemplo 3.1. Sea : [0, 2] C la funcion (t) := r(cost + i sent) = reit con r > 0.
Entonces, la imagen de es un crculo con centro en el origen y radio r que se
recorre una vez en sentido contrario a las manecillas de un reloj:
6
0-
= [1 i, 1 + i, 1 + i, 1 i, 1 i]
6
1 + i 1+i
6
? -
1 i 1i
Ejercicios
3.3. Sea : [0, 2] C dada por (t) = sent + i sent. Bosqueje su imagen y muestre
que es una trayectoria cerrada y que, excepto en los extremos, es inyectiva. Puede
calcular su longitud?
3.2 Integral de Riemann-Stieljes 69
1 1
(t) = t cost + i t sent.
2 2
Bosqueje su imagen (sugerencia: cambie a coordenadas polares).
3.6. Bosqueje la imagen de : [2, 2] C dada por (t) = (t 3 1) + i(t 2 + 2). Es
lisa?
As, P1 P2 y si ponemos
70 3 Integral de lnea
n n
Fm = cerrradura de f (k )[(tk ) (tk1 )] : P = {a = t0 < < tn = b} Pm
k=1
o
con k [tk1 ,tk ] ,
entonces,
(1) F1 F2 F3 .
2
(2) diam Fm `().
m
Notese que una vez que se hayan probado (1) y (2), por el teorema de Cantor
1.14 existe un unico numero complejo I Fm y este complejo I satisface que si
T
> 0, escogiendo m tal que > (2/m)`() diam Fm , como I Fm se sigue que
Fm B(I; ). Por lo tanto, escogiendo = m , para toda particion P tal que kPk <
m , la suma de Riemann-Stieljes S( f , ; P) Fm B(I; ) y as |S( f , ; P) I| < ,
como se quera. Basta entonces probar (1) y (2). Comenzamos notando que (1) es
directo del hecho de que P1 P2 . Para (2), como
n n o
diam Fm = diam f (k )[(tk ) (tk1 )] : P = {t0 , . . . ,tn } Pm , k [tk1 ,tk ] ,
k=1
1 1 1
(tk ) (tk1 ) + (t 0 ) (t j1 ) + (t j ) (t 0 )
m k6= j m m
(porque | j 0 | < m y | j 00 | < m )
1
= v(; Q)
m
1
`().
m
Finalmente, observe que si P, R Pm , entonces Q := P R refina a P y R, y
ademas kQk kPk y kQk kRk por lo que kQk < m y consecuentemente Q Pm .
Por (3) se sigue que
S(P) S(R) = S(P) S(Q) + S(Q) S(R) S(P) S(Q) + S(Q) S(R)
1 1 2
`() + `() = `(),
m m m
es decir, en el conjunto cuya cerradura define Fm la distancia entre cualesquiera dos
de sus elementos es (2/m)`(), lo cual prueba (2). t
u
La parte (2) es similar a la anterior y (3) se demuestra como la parte (1) del lema
3.1. t
u
Demostracion. Por la parte (3) de la proposicion 3.4 basta considerar el caso cuando
es lisa. Ahora, escribiendo = u + iv, donde u, v : [a, b] R, por la parte (2) de la
proposicion 3.4 se tiene que
Z b Z b Z b Z b
f d = f d(u + iv) = f du + i f dv
a a a a
Ahora, por el teorema del valor medio del calculo diferencial aplicado a la funcion
diferenciable u : [a, b] R, en el intervalo [tk1 ,tk ] existe un elemento k tal que
u(tk ) u(tk1 )
(3) u0 (k ) =
tk tk1
(y estamos escogiendo los k usados en (1) y (2) como estos k ). Substituyendo (3)
en (2) notamos que la suma en (2) queda igual que la suma en (1). Si denotamos
esta suma por S(P), se sigue que
Z b Z b Z b Z b
f du f (t)u0 (t)dt = f du S(P) f (t)u0 (t)dt S(P)
a a a a
Z b Z b
f du S(P) + f (t)u0 (t)dt S(P)
a a
< /2 + /2 = .
t
u
Ejercicios
3.11. Demuestre la parte (3) de la proposicion 3.4. Basta probar que si c [a, b],
entonces Z b Z c Z b
f d = f d + f d.
a a c
Por el teorema 3.5, en el caso cuando : [a, b] es lisa por tramos, la integral
de lnea se puede calcular como una integral de Riemann de una funcion compleja
de variable real:
Corolario 3.6. Si : [a, b] es lisa por tramos y f : C es continua en la
imagen de , entonces
Z Z b
f= f ((t)) 0 (t)dt.
a
t
u
Ejemplo 3.3. Sea : [0, 2] C la trayectoria circular (t) := cost + i sent = eit , y
sea f : C C dada por f (z) = zn , para n N. Entonces,
Z Z 2 Z 2 Z 2
zn dz = [eit ]n [eit ]0 dt = eint ieit dt = i ei(n+1)t dt
0 0 0
Z 2
=i [cos(n + 1)t + i sen(n + 1)t]dt
0
Z 2 Z 2
2
=i cos(n + 1)tdt + i sen(n + 1)tdt
0 0
2
1 1 2
= sen(n + 1)t + cos(n + 1)t
n+1 0 n+1 0
= 0.
3.3 Integral de lnea 75
Ejemplo 3.4. Para la misma trayectoria del ejemplo anterior, si ahora consideramos
la funcion f : C {0} C dada por f (z) = 1/z,
Z 2 2 Z 2 2
1 1
Z 0 Z
dz = eit dt = eit ieit dt = i dt = it = 2i.
z 0 eit 0 0 0
1
Z
dz = 2i.
z z0
Los ejemplos 3.4 y 3.5 anteriores muestran que dos trayectorias diferentes (una
con dominio [0, 2] y otra con dominio [0, 1]) tienen la misma imagen, el crculo
de radio 1 y centro 0 en C y las integrales de la funcion 1/z a lo largo de esas dos
trayectorias son iguales. Esto es parte de un resultado general:
Cambios de parametro. Si : [a, b] C y : [c, d] C son dos trayectorias,
diremos que es una reparametrizacion de si existe una funcion continua y es-
trictamente creciente : [a, b] [c, d] con (a) = c, (b) = d y tal que = .
A la funcion se le llama un cambio de parametro o reparametrizacion. Es claro
que la imagen de es la misma que la de . Dejamos como el ejercicio 3.15 el
probar que la relacion anterior es de equivalencia. A una clase de equivalencia de
trayectorias se le llama una curva. Usaremos la notacion {} para la imagen o traza
de la curva . Una curva es lisa o lisa por tramos si uno de sus representantes lo es.
Una curva es cerrada si sus representantes son trayectorias cerradas. Observe que
si es rectificable y es una reparametrizacion de , entonces tambien es recti-
ficable. En efecto, si a = t0 < t1 < < tn = b es una particion de [a, b], entonces
c = (a) = (t0 ) < (t1 ) < < (tn ) = (b) = d es una particion de [c, d] y se
tiene que
n n
|(tk ) (tk1 )| = | ((tk )) ((tk1 ))| `( )
k=1 k=1
Z n
(1) f f ( (k ))[ (tk ) (tk1 )] < /2
= k=1
t
u
1 (t) = (t).
(1) 1 (0)
(0) 1 (1)
f = lm
kPk0
f ((k ))[(tk ) (tk1 )]
k=1
n
= lm
kPk0 k=1
f ( 1 (k ))[ 1 (tk ) 1 (tk1 )]
n
= lm
kPk0
f ( 1 (k ))(1)[ 1 (tk1 ) 1 (tk )]
k=1
Z
= f.
1
(2): Sea > 0 arbitrario. Entonces, existe > 0 tal que para toda particion P : a =
t0 < < tn = b con kPk < se tiene que
Z n
f f ((k ))[(tk1 (tk )] <
k=1
y por lo tanto
78 3 Integral de lnea
Z n
f + f ((k ))[(tk1 (tk )]
k=1
n
+ f ((k ))(tk1 (tk )
k=1
n
+ M (tk1 (tk )
k=1
+ M`(),
El lema siguiente nos sera muy util para aproximar una integral de lnea arbitraria
con una usando una poligonal:
Lema 3.9. Si C es abierto, : [a, b] es rectificable y f : : C es con-
tinua, entonces para todo > 0 existe una trayectoria poligonal : [a, b] tal
que
(1) (a) = (a) y (b) = (b).
Z Z
(2) f f < .
d = dist({}, ) > 0.
1
(t) := (tk t)(tk1 ) + (t tk1 )(tk )
tk tk1
3.3 Integral de lnea 79
ya que
1
|(k ) (t)| = (k ) (tk t)(tk1 ) + (t tk1 )(tk )
tk tk1
(k )(tk tk1 ) (tk t)(tk1 ) (t tk1 )(tk )
=
tk tk1
(tk tk1 ) (k ) (tk1 ) + (t tk1 ) (tk1 ) (tk )
=
tk tk1
(k ) (tk1 ) + (tk1 ) (tk ) porque |t tk1 | |tk tk1 |
< (por (1)).
se sigue que
n Z tk
(tk ) (tk1 )
Z
(4) f= f ( (t))dt.
k=1 tk tk1 tk1
y como |(k ) (t)| < por (3), entonces | f (k ) f (t)| < , y as, por la
proposicion 3.8 (2) se sigue que
Z tk
(5) f ((k )) f ( (t)) dt (tk tk1 )
tk1
{k } B((tk1 ); r) para k = 1, . . . , n.
t
u
Ejercicios
Z
3.12. Sea f : C {0} C dada por f (z) = 1/z. Calcule f:
Para el cuadrado del ejemplo 22.
Para la curva cuya imagen es el semicrculo superior con centro en el origen y
de radio 1 recorrido en sentido contrario al de las manecillas de un reloj.
Para la curva cuya imagen es el semicrculo inferior con centro en el origen y
de radio 1 recorrido en el sentido de las manecillas de un reloj.
82 3 Integral de lnea
-
0 1 2
Z
3.13. Calcule la integral (z i), donde : [1, 1] C es el arco de parabola dado
por (t) = t + it 2 .
3.15. Sea : [a, b] una trayectoria rectificable cerrada con abierto y suponga
que z0 6 . Demuestre que para n 2,
1
Z
dz = 0.
(z z0 )n
Demuestre que
Z Z
f | f ||dz| `() sup{| f (z)| : z {} = imagen de }.
Captulo 4
Teora de Cauchy local
83
84 4 Teora de Cauchy local
4
2 3
Por otra parte, observe que, como los triangulos j se obtuvieron uniendo los puntos
medios de los lados del triangulo , entonces
1 1
(3) `(T j ) = `(T ) y diam j = diam .
2 2
1 1
`(T (n+1) ) = `(T (n) ) y diam (n+1) = diam (n) ,
2 2
y
(1) (2) (3) .
Por lo tanto
Z Z Z Z
(4) f 4 f 42 f 4n f
T T (1) T (2) T (n)
y similarmente
4.1 El teorema de Cauchy en una region convexa 85
1 n 1 n
(5) `(T (n) ) = `(T ) y diam (n) = diam .
2 2
existe, para todo > 0 hay un > 0 tal que para 0 < |z z0 | < se tiene que
f (z) f (z )
0
f 0 (z0 ) <
z z0
o equivalentemente
Es claro que f (z0 ) + f 0 (z0 )(z z0 ) tiene una primitiva f (z0 )z + f 0 (z0 )(z2 /2 z0 z) y
as por el teorema 3.10 se tiene que T (n) f (z0 ) + f 0 (z0 )(z z0 ) = 0 y por lo tanto
R
Z Z
f (z) f (z0 ) f 0 (z0 )(z z0 ) .
f (z) =
T (n) T (n)
Esgogiendo ahora n tal que diam (n) < , se sigue que si z (n) , como z0 (n) ,
se tiene que |z z0 | < y as, usando (4) se sigue que
Z Z
f 4 n
f 4n `(T (n) ) sup{| f (z) f (z0 ) f 0 (z0 )(z z0 )|}
T T (n)
n (n)
4 `(T ) sup{|z z0 |} por (6)
(n) (n)
n
4 `(T ) diam porque z, z0 (n)
1 n 1 n
4n `(T ) diam por (5)
2 2
= `(T ) diam T
z0 yXXX
AKA z
A
a
Por lo tanto
F(z) F(z0 ) 1
Z
= f
z z0 z z0 [z0 ,z]
y consecuentemente
F(z) F(z0 ) 1
Z
f (z0 ) = f f (z0 )
z z0 z z0 [z0 ,z]
1 1
Z Z
= f f (z0 )
z z0 [z0 ,z] z z0 [z0 ,z]
1
Z
= f f (z0 )
z z0 [z0 ,z]
F(z) F(z0 )
F 0 (z0 ) = lm = f (z0 ).
zz0 z z0
t
u
4.1 El teorema de Cauchy en una region convexa 87
1 f (w)
Z
f (z) = dw.
2i wz
Demostracion. Fijemos un punto z B(a; r) y para 0 < < dist(z, {}) considere
el disco B(z : ) y sea su frontera orientada en sentido contrario a las manecillas
de un reloj. Mostraremos primero que, para todo como arriba
f (w) f (w)
Z Z
(1) dw = dw.
wz wz
Para establecer esta igualdad, considere la figura siguiente, donde el disco mayor es
B(a; r) y el disco menor es B(z; ):
y subdivida la region comprendida entre los dos crculos por medio de dos seg-
mentos horizontales y dos segmentos verticales que unen ambos crculos como se
muestra en la figura. Note que lo anterior da lugar a cuatro regiones cuyas fronteras
son curvas cerradas consistentes de dos arcos de circunferencia y dos segmentos
de recta. Denotemos estas fronteras por 1 , 2 , 3 y 4 orientadas positivamente (en
sentido contrario a las manecillas de un reloj). Note que cada j esta contenida en
f (w)
una region convexa en la cual la funcion es holomorfa (por ejemplo, en la
wz
interseccion de semiplanos apropiados y de un disco abierto que contenga a ). Por
el teorema de Cauchy 4.2 para una region convexa, para 1 j 4 se tiene que
f (w)
Z
dw = 0.
j wz
4
f (w) f (w) f (w)
Z Z Z
0= dw = dw dw,
j=1 j wz wz wz
1 f (w) 1 f (w) 1 1
Z Z Z
dw f (z) = dw f (z) dw
2i wz 2i w z 2i w z
1 f (w) f (z)
Z
= dw
2i wz
n o
y para la integral del lado derecho, poniendo M := sup f (w) f (z)
: w { }
wz
se tiene que
1 Z f (w) f (z) 1 1
dw M `( ) = M (2) = M ,
2i wz 2 2
Derivadas de orden superior. Para mostrar que una funcion holomorfa f tiene
derivadas de todos los ordenes, necesitaremos el lema siguiente, que aplicaremos
inmediatamente a la formula de Cauchy 4.3 al caso de un disco para obtener la
formula general 4.5 en un disco, y mas adelante en el corolario 5.7 a la formula de
Cauchy en una region mas general.
Lema 4.4. Supongamos que : [a, b] C es rectificable y que : C C esta de-
finida y es continua en {}. Para cada entero m 1 defina para z 6 {}
Z
(w)
Fm (z) := dw.
(w z)m
se tiene que
1 1 1 1 ih 1 1
m
m
= m1
+ m2
(w z) (w z0 ) w z w z0 (w z) (w z) (w z0 )
1 1
++ +
(w z)(w z0 )m2 (w z0 )m1
1 1
= (z z0 ) + +
m
(w z) (w z0 ) (w z) m1 (w z0 )2
1
+ .
(w z)(w z0 )m
Entonces, para todo > 0, escogiendo < r/2 se tiene que si |zz0 | < , () queda:
m+1 2 m+1
Fm (z) Fm (z0 ) |z z0 |`() 2
M < `() M
r r
m+1
y as, como queremos que `() 2r M < , escogiendo
nr rm+1 o
= mn ,
2 M`() 2m+1
se sigue que |z z0 | < implica que |Fm (z) Fm (z0 )| < , i.e., Fm es continua.
Ahora, dividiendo ambos lados de () por (z z0 ) queda
Fm (z) Fm (z0 )
Z Z
(w) (w)
= dw + + dw
z z0 (w z)m (w z0 ) (w z)(w z0 )m
(w)(w z0 )1 (w)(w z0 )m
Z Z
= dw + + dw
(w z)m (w z)
(w)
(w)(w z0 )k =
(w z0 )k
90 4 Teora de Cauchy local
Fm (z) Fm (z0 )
Fm0 (z0 ) = lm
zz0 z z0
(w)(w z0 )1 (w)(w z0 )m
Z Z
= lm dw + + lm dw
zz0 (w z)m zz0 (w z)
Z Z
(w) (w)
= m+1
dw + + dw = mFm+1 (z0 ).
(w z0 ) (w z0 )m+1
t
u
1 f (w)
Z
f (z) = dw
2i wz
1 f (w)
Z
(1) f 0 (z) = dw
2i (w z)2
2 f (w)
Z
f 00 (z) = dw
2i (w z)3
y, recursivamente,
n! f (w)
Z
f (n) (z) = dw
2i (w z)n+1
para todo n 0 y todo z B(a; r). Hemos as probado que toda funcion holomorfa
en un disco tiene derivadas de todos los ordenes:
Teorema 4.5 (Formula integral de Cauchy en un disco). Si f : C es holo-
morfa y B(a; r) , con r > 0 y : [0, 2] es el crculo frontera del disco
anterior, es decir, (s) = a + reis , entonces para todo z B(a; r) y n 0 se tiene que
n! f (w)
Z
f (n) (z) = dw.
2i (w z)n+1
t
u
El recproco del teorema de Cauchy. La conclusion final del teorema 3.10, que
para cualquier curva cerrada rectificable en una region en la cual una funcion
f : C tiene una primitiva, se tiene que
Z
f =0
z0 yXXX
z
AKA
A
a
92 4 Teora de Cauchy local
La existencia de F tal que F 0 = f dice que F es holomorfa, por lo que tiene derivadas
de todos los ordenes por el teorema 4.5, en particular F 00 = f 0 , i.e., f es holomorfa.
t
u
Observacion 4.2. Note que en la demostracion del teorema anterior solo se uso la
hipotesis de que Z
f =0
para un triangulo o trayectoria triangular en B(a; r). Por lo tanto la hipotesis del
teorema de Morera se puede debilitar a este caso.
Ejercicios
4.1. Sea un abierto de C y sea : [a, b] C una curva rectificable. Suponga que
: {} C es una funcion continua y defina g : C mediante
Z
g(z) := (w, z)dw.
es holomorfa y ademas
Z
(n) (w)
g (z) = n! dw.
(w z)n+1
Defina Z
I(t) := f.
t
t
u
y como
k=1 Mk es convergente, para todo > 0 existe un N tal que
Mk = Mk (M1 + + Mn ) <
k=n+1 k=1
siempre que n N, y note que este entero N no depende del punto z. Se sigue
que, para todo z se tiene que | f (z) Sn (z)| < siempre que n N, i.e., la
convergencia es uniforme. Si las fn son continuas, entonces f es continua por la
proposicion 4.8 anterior. t
u
4.2 Series de potencias 95
1 zn+1 = (1 z)(1 + z + z2 + + zn )
y por lo tanto, si z 6= 1:
1 zn+1
1 + z + z2 + + zn = .
1z
Se sigue que, si |z| < 1 entonces lm{|z|n } = 0 por lo que la serie geometrica
k=0 z
k
converge puntualmente a
1
zk = 1 z .
k=0
1
= lm sup |an |1/n ,
R
entonces:
(1) Si |z z0 | < R, la serie n
n=0 an (z z0 ) converge absolutamente.
N N tal que |an |1/n <1/r para todo n N. Se sigue que |an | < 1/rn y por lo tanto
|zz0 | n
|an (z z0 )n | < r para todo n N. Consecuentemente,
|z z | n
0
|an (z z0 )|n r
n=N n=N
y como |zzr
0|
< 1, la serie que domina converge absolutamente para cada |zz0 | < R
y por lo tanto la serie de potencias n
n=0 an (z z0 ) converge absolutamente en ese
disco.
(2): Si |z z0 | > R, existe un r tal que |z z0 | > r > R y por lo tanto 1r < R1 y as por
definicion de R y de lmite superior, existe un numero infinito de
enteros n tales que
|zz0 | n
1 1 |zz0 |
r < |an |1/n , i.e., |an | > rn y por lo tanto |an (z z0 )n | > r y como r > 1,
n
se sigue que la serie de potencias
n=0 an (z z0 ) diverge a .
(3): Supongamos ahora que r < R y sea tal que r < < R. Como en (1) sea N tal
que |an | < 1n para todo n N. Entonces, si |z z0 | r se sigue que |an (z z0 )n |
r n
n
donde r < 1. Poniendo Mn = r , el criterio M de Weierstrass implica que
la serie de potencias considerada converge uniformemente para |z z0 | r. t
u
|z z0 |n |z z0 |n
|an (z z0 )n | = |an rn | A .
rn rn
Como estamos suponiendo que |z z0 | < r, se sigue que la serie n
n=0 |an (z z0 ) |
|zz |n
esta dominada por la serie convergente n=0 A rn
0
y por lo tanto la serie de po-
tencias converge absolutamente para |z z0 | < r, y como r < es arbitrario se sigue
que R.
4.2 Series de potencias 97
Por otra parte, si |z z0 | > r > , entonces |an | < r|an+1 | si n N para algun
N N. Como en el razonamiento anterior se sigue que |an rn | A := |aN rN | para
n N. Por lo tanto,
|z z0 |n
|an (z z0 )n | A cuando n .
rn
Se sigue que la serie n
n=0 an (z z0 ) diverge y por lo tanto R . t
u
Demostracion. (1): Debemos probar que lm sup |nan |1/(n1) = R1 = lm sup |an |1/n .
Para comenzar, note que lm n1/(n1) = 1 porque, por la regla de LHopital
n
log n
0 = lm = lm log n1/(n1) .
n n 1 n
1 1
|an+1 (z z0 )n | =
|z z0 | n=0
|an (z z0 )n | +
|z z0 |
|a0 | < ,
n=0
donde en la parte (1) ya vimos que ambas series tienen el mismo radio de conver-
gencia R. Para |z| < R pongamos
n
g(z) := nan zn1 ; Sn (z) := ak zk ; Rn (z) := ak zk
n=1 k=0 k=n+1
por lo que f (z) = Sn (z) + Rn (z). Para este z B(0; R) fijemos r tal que |z| < r < R y
sea > 0 tal que B(z; ) B(0; r). Sea w B(z; ). Entonces,
f (w) f (z) Sn (w) Sn (z) Rn (w) Rn (z)
Sn0 (z) + Sn0 (z)g(z) +
g(z) =
wz wz wz
donde, para el primer parentesis de la derecha, por definicion de derivada, para todo
> 0 existe un > 0 tal que si |w z| < se tiene que
S (w) S (z)
n n
(1) Sn0 (z) < .
wz 3
wk zk
Rn (w) Rn (z) 1
= ak (wk zk ) = ak
wz wz k=n+1 k=n+1 wz
donde
wk zk
k1
= w + wk2 z + + wzk2 + zk1 krk1
wz
Mas aun,
f (n) (z0 )
an =
n!
para todo n 0.
Demostracion. Por induccion sobre k 1 y usando el teorema 4.12 anterior, se
obtiene la formula para la k-esima derivada de f (z). Una simple evaluacion muestra
que
f 0 (z0 ) = a1 , f 00 (z0 ) = 2a2 , , f (k) (z0 ) = k!ak .
t
u
Ejemplo 4.2 (La serie de la funcion exponencial). Por la proposicion 4.11 anterior
la serie
1
f (z) = zn
n=0 n!
Note que por el teorema 4.12 la funcion anterior es holomorfa en todo C y su deri-
vada es
n 1 1
f 0 (z) = zn1 = zn1 = zn = f (z).
n=1 n! n=1 (n 1)! n=0 n!
zz0
ya que |z z0 | < r = |w z0 | por lo que = wz 0
satisface que | | < 1 y as la
anterior es una serie geometrica. Ahora sea : [0, 2] B(z0 ; R) la frontera de
B(z0 ; r), es decir, (t) = z0 + reit . Multiplicando ambos lados de (1) por f (w) y
1/2i queda
1 f (w) z z0 n
1 f (w)
(2) = w z0
2i w z 2i w z0 n=0
1 f (w) 1
Z Z
Fn = (z z0 )n dw = f (n) (z0 )(z z0 )n
2i (w z0 )n+1 n!
4.2 Series de potencias 101
y para la funcion del lado izquierdo de (2), al integral a lo largo de resulta, por la
formula de Cauchy 4.3,
1 f (w)
Z
dw = f (z).
2i w z
Por lo tanto, una vez que mostremos que la serie n=0 Fn converge uniformemente
1 f (w)
a F(z) = 2i wz , por la proposicion 4.14 anterior se seguira que
1
Z Z Z
f (z) =
F= Fn =
n=0
Fn = n! f (n) (z0 )(z z0 )n
n=0 n=0
y observe que, como lm{(n + 1)1/n } = 0, por una demostracion similar a la del
teorema 4.12 se sigue que la serie (2) tiene el mismo disco de convergencia B(a; R)
que (1). Por el teorema 4.12 se sigue que F 0 (z) = f (z), para todo z B(a; r). t
u
Ejercicios
con los ak C y an 6= 0.
4.11. Sean C un abierto y f : C una funcion continua. Suponga que f
tiene primitivas locales, es decir, para cada z existe un disco B(z; r) tal
que f restringida a este disco tiene una primitiva en ese disco. Demuestre que si
T = [a, b, c, a] es un triangulo
R
en tal que la capsula convexa de T esta totalmente
contenida en , entonces T f = 0.
4.12. Sean C un abierto, z0 y f : C una funcion holomorfa en
{z0 }. Suponga que z0 B(w; r) B(w; r) para 0 < r < . Sea : [0, 2]
(0, 1] C dada por
(s,t) = z0 (1 t) + (w + reis )t.
Para t (0, 1] sea t (s) := (s,t). Defina I : (0, 1] C mediante
Z
I(t) := f.
t
Demuestre que I(t) es constante probando que I 0 (t) = 0 para todo t (0, 1].
observe que
lm | f (z)| = lm f (z) = lm an zn + bn1 zn1 + + b1 z + b0
z z z
n
bn1 bn2 b0
= |an | lm z 1 + + 2 ++ n
z z z z
= ,
Del algebra sabemos que el numero de ceros de un polinomio f (z), con coefi-
cientes en C, es menor o igual que el grado de f (z). De hecho, es igual si contamos
cada cero con sus multiplicidades (vea el ejercicio 4.17). Ademas, z0 es un cero de
multiplicidad m 1 del polinomio f (z) si y solo si f 0 (z0 ) = = f (m1) (z0 ) = 0
y f (m) (z0 ) 6= 0. Como las funciones holomorfas se parecen en mucho a los polino-
mios, uno podra pensar que una funcion holomorfa no constante no puede anularse
en muchos puntos y ademas no se puede tener un cero de multiplicidad infinita. Esto
es el contenido del resultado siguiente, que ademas muestra la equivalencia de las
dos afirmaciones anteriores:
Teorema 4.20 (Teorema de la identidad). Sean C una region y f : C
holomorfa, son equivalentes:
(1) f 0, es decir, f es la funcion cero.
(2) El conjunto Z( f ) := {z : f (z) = 0} tiene un punto de acumulacion en .
(3) Existe un punto z0 tal que f (n) (z0 ) = 0, para todo n 0.
Demostracion. Claramente (1) implica (2). Para la implicacion (2) (3), sea z0
un punto de acumulacion de Z( f ). Como es abierto, existe un disco B(z0 ; R)
, y como z0 es punto de acumulacion de Z( f ) y f es continua, se tiene que f (z0 ) =
0 por lo que z0 Z( f ). Mostraremos que para este z0 se cumple (3). En efecto,
supongamos que (3) es falso, i.e., que existe un n N tal que f (z0 ) = f 0 (z0 ) = =
4.3 Consecuencias de la teora de Cauchy local 105
f (n1) (z0 ) = 0 pero f (n) (z0 ) 6= 0. Entonces, en un disco pequeno B(z0 ; r) la serie de
Taylor de f es de la forma
f (k) (z0 )
f (z) = (z z0 )k
k=n k!
Demostracion. Sea m 1 el mayor entero tal que f k (z0 ) = 0 para 0 k < m. Note
que, como f 6 0, por el teorema de la identidad tal m existe. Defina
f (z)
para z 6= z0 ,
(z z0 )m
g(z) :=
1 f (m) (z ) para z = z .
0 0
m!
Observe, para comenzar, que g(z) es holomorfa en {z0 }. Para ver que es holo-
morfa en todo , escoja un disco B(z0 ; r) y note que para z B(z0 ; r) su serie
de Taylor alrededor de z0 es de la forma
f (z) = ak (z z0 )k .
k=m
Defina entonces
g(z) := ak (z z0 )km
k=m
donde, por hipotesis, | f (z0 + reit )| | f (z0 )| y `() = 2. Usando la proposicion 3.8
(2) se sigue que
Z 2
1 f (z0 + reit )dt 1 (2)| f (z0 )| = | f (z0 )|
| f (z0 )|
2 0 2
1 R 2 it
es decir, | f (z0 )| = 2 0 | f (z0 + re )|dt y por lo tanto
Z 2
1
| f (z0 )| | f (z0 + reit )| dt
0=
2 0
y como el integrando es real 0 se sigue que | f (z0 )| = | f (z0 + reit )| para toda
t [0, 2]. Mas aun, como el radio r lo podemos variar arbitrariamente en 0 r < R,
hemos probado que f manda el disco B(z0 ; R) en el arco circular |z| = | f (z0 )|
y as por el ejercicio 2.20 se sigue que f es constante, es decir, f (z) = f (z0 ) para
todo z B(z0 ; r). Por el teorema de la identidad 4.20 se sigue que f es constante
= f (z0 ). t
u
6
/2
/2
108 4 Teora de Cauchy local
x
y por lo tanto | f (z)| = |e ie | = 1 ya que la parte real de iex es 0. Se sigue que
max{| f (z)| : z } = 1. Sin embargo, si z = x R , se tiene que | f (z)| =
x
| exp(ex )| = ee cuando x y as no se satisface el teorema del modulo
maximo 4.24, lo cual no es una contradiccion porque no es acotado.
(ya que w B(0; ) implica que |w| < y as |w| > ). Por otro lado, si z = z0 ,
y por lo tanto la funcion | f (z) w| asume su mnimo dentro del disco B(0; ) y as,
por el teorema del modulo mnimo (ejercicio 4.25) se debe tener que f (z) w = 0
dentro del disco B(z0 ; r) por lo que f (z) = w para algun z B(z0 ; r) y consecuente-
mente w = f (z) f (B(z0 ; r)), es decir, B(0; ) f (B(z0 ; r)), como se quera. t
u
1
g(w) g(w0 ) = g( f (z)) g( f (z0 )) = z z0 = ( f (z) f (z0 ))
(z)
1
= (w w0 )
(g(w))
donde la tercera igualdad es por (1) y donde notamos que 1/( g) es continua en
w0 y as, aplicando el criterio de Caratheodory de nuevo, se sigue que g es derivable
en w0 y su derivada es
1 1 1
g0 (w0 ) = = = 0 .
(g(w0 )) (z0 ) f (z0 )
t
u
1 fn ( )
Z
(1) fn (z) = d para z B(z0 ; r).
2i r z
fn ( ) f ( )
Z Z
lm d = d
n r z r z
1 f ( )
Z
f (z) = d para z B(z0 ; r)
2i r z
y as, por la formula de Cauchy 4.5 se sigue que f es holomorfa en el disco B(z0 ; r),
y como esta cubierto por estos discos se sigue que f es holomorfa en todo .
Para terminar, dado un entero k 1 fijo, por la formula de Cauchy 4.5 para las
derivadas superiores
k! f ( )
Z
(2) f (k) (z) = d para z B(z0 ; r)
2i r ( z)k+1
k! fn ( )
Z
(k)
(3) fn (z) = d para z B(z0 ; r)
2i r ( z)k+1
k! f ( ) fn ( )
Z
(k) (k)
(4) f (z) f (z) = d para z B(z0 ; r).
2i r ( z)k+1
Vea el ejercicio 4.27 para contrastar la proposicion anterior con el caso de fun-
ciones reales de variable real.
Ejercicios
4.13. Suponga que f es una funcion entera que satisface las identidades
f (z + 1) = f (z),
f (z + i) = f (z),
demuestre que f es constante.
4.14. Suponga que f es una funcion entera y satisface que | f 0 (z)| |z| para todo
z C. Demuestre que f es un polinomio de grado 2.
4.15. Suponga que f es una funcion entera y que existe un entero n 0 y constantes
reales positivas A y B tales que
| f (z)| A + B|z|n .
4.16. Suponga que f es una funcion entera y que existe un entero n 0 y constantes
reales A 0 y B > 0 tales que
4.20. En el teorema de la indentidad 4.20, demuestre que las afirmaciones dadas son
equivalentes a:
(4) Existe una sucesion {zk } de puntos distintos tal que lm{zk } y ademas
f (zk ) = 0, para todo k.
4.21. Para la funcion del ejemplo 4.4 demuestre que x = 0 es un cero de multiplici-
dad infinita.
4.22. Demuestre que una funcion entera f = u + iv con parte real u positiva es cons-
tante.
4.23. Demuestre que no existe una funcion holomorfa f : B(0; 1) C tal que
f (1/n) = 1/2n para todo n = 2, 3, 4, . . ..
4.24. Demuestre que no existe una funcion holomorfa f : B(0; 1) C tal que
f (1/n) = (1)n /n2 para todo n = 2, 3, 4, . . ..
4.26 (Teorema del modulo mnimo en una region acotada). Si es una region
acotada, f : C es continua en y holomorfa en , entonces f tiene ceros en
o el mnimo de | f | en se alcanza en :
mn | f (z)| : z = mn | f (z)| : z .
1
Z
= 2i,
z
por lo que
1 1
Z
dz = n = numero de vueltas que da alrededor de a :
2i za
113
114 5 Teora de Cauchy global
1 1
Z
dz = n
2i zb
0 (s)
Z t
g(t) = ds
0 (s) a
y observe que:
0 (s)
Z 1
1
Z
(1) g(0) = 0 y g(1) = = dz,
0 (s) a za
0 (t)
(2) g0 (t) = , para 0 t 1.
(t) a
Por lo tanto,
d g h 0 i
e ( a) = eg 0 g0 eg ( a) = eg 0 ( a) por (2)
dt a
g 0 0
= e [ ] = 0,
donde (0) = (1) (que es 6= a). Cancelando el factor comun en la igualdad anterior,
queda eg(1) = eg(0) = 1 porque g(0) = 0, y por lo tanto g(1) = 2ik para algun
k Z, como se quera. t
u
1 1
Z
n(; a) := dz
2i za
5.1 El ndice de una curva cerrada 115
donde notamos que esta es una buena definicion porque (2(1/2)) = (1) =
(0) = (2(1/2) 1). Observe que la curva es la curva recorrida al doble
de velocidad seguida de (pegada con) la curva , recorrida al doble de velocidad,
como se ilustra en la figura siguiente:
(1)= (0)
n( 1 ; a) = n(; a).
n( ; a) = n(; a) + n( ; a).
Demostracion. La parte (1) es directa de la proposicion 3.8. Para la parte (2), pode-
mos suponer que y son lisas (por tramos) y por lo tanto
( )0 dt
Z 1
1 dz 1
Z
n( ) = =
2i z a 2i 0 ( )(t) a
Z 1/2 d Z 1 d
1 dt ((2t)) 1 dt ( (2t 1))
= +
2i 0 (2t) a 2i 1/2 (2t 1) a
Z 1 0 Z 1 0
1 (s)ds 1 (s)ds
=
2i 0 (s) a 2i 0 (s) a
= n() + n( ),
1 No confundir con la suma de funciones usual + : [0, 1] C dada por ( + )(t) = (t) +
(t).
116 5 Teora de Cauchy global
|a b| 1
Z
= dz
2 (z a)(z b)
|a b| n 1 o
`() sup : z {}
2 |z a||z b|
(r/2) 2 `()
< `()
2 r2 r2
donde la primera desigualdad del ultimo renglon se debe a que |a b| < r/2 y
como z {}, entonces |z a| = r y |z b| > r/2. La segunda desigualdad se da
si escogemos r/2. Ahora, como queremos que | f (a) f (b)| < , escogiendo
= mn r/2, r2 /`() se sigue que f es continua.
Ejercicios
5.2. Sean f (z) un polinomio de grado n, R > 0 tal que f (z) no tiene ceros en {z
C : |z| R} y : [0, 1] C el crculo (t) = Re2it . Demuestre que
f 0 (z)
Z
dz = 2in.
f (z)
5.3. Si , : [0, 1] son dos curvas rectificables en que van del punto z0 al
punto z1 de , demuestre que
Z Z Z
f= f+ f
118 5 Teora de Cauchy global
1 f (z)
Z
n(; a) f (a) = dz.
2i za
f (z) f (w)
zw si z 6= w,
(z, w) :=
0
f (z) si z = w.
Entonces,
(i) es continua.
(ii) La funcion (, w) : C, es decir, fijando w, z 7 (z, w), es holomorfa.
(iii) Si H := {w C {} : n(; w) = 0}, note que C H ya que n(; z) = 0
para todo w C porque 0(rel( )). Observe tambien que como
n(; ) : C {} C es continua y toma valores en Z, entonces H =
n(; )1 (0) es abierto. Ademas se tiene que H = C por la hipotesis
de que n(; w) = 0 para todo w C .
(iv) Defina ahora g : C C mediante
Z
(z, w)dw si z ,
g(z) :=
f (w)
Z
dw si z H.
wz
f (w) f (z)
Z Z
(z, w)dw = dw ya que z y por definicion de
wz
f (w) f (z) f (w) 1
Z Z Z Z
= dw dw = dw f (z) dw
wz wz wz wz
f (w)
Z
= dw f (z)2i n(; z) por definicion de ndice
wz
f (w)
Z
= dw ya que n(; z) = 0 porque z H.
wz
5.2 El teorema de Cauchy: version homologica 119
f (w)
Z
() lm g(z) = lm dw = 0
z z wz
Otra consecuencia del teorema 5.5 y del lema 4.4 es una formula para las deriva-
das de orden superior analoga a las formulas 4.5:
Corolario 5.7. Si es un abierto y f : C es holomorfa, entonces para cual-
quier curva cerrada, rectificable y nulhomologa en y para todo a {} se
tiene que
n! f (z)
Z
(n)
n(; a) f (a) = dz.
2i (z a)n+1
120 5 Teora de Cauchy global
t
u
Ciclos. Si C, un ciclo en es una sucesion finita de trayectorias cerradas
rectificables j , no necesariamente distintas, cuyas trazas { j } . El ciclo anterior
se denotara mediante
= (1 , . . . , n ).
La traza del ciclo es la union de las trazas de las j . Dado un punto z0 C, se
define el ndice del ciclo con respecto al punto z0 como
Ejercicios
5.4. Si f : C es holomorfa y
5.3 El teorema de Cauchy: version homotopica 121
f (z) f (w)
si z 6= w,
(z, w) := zw
f 0 (z) si z = w,
5.7. Si , : [0, 1] son dos curvas cerradas rectificables con el mismo punto
inicial (y final) z0 , se dice que es homologa a , denotado rel( ), si
1 0 rel( ). Demuestre que la relacion anterior es de equivalencia.
Si , : [0, 1] sos dos curvas con extremos iniciales iguales (0) = (0) =
z0 y extremos finales iguales (1) = (1) = z1 , una homotopa entre y es una
funcion continua h : [0, 1] [0, 1] tal que
(1) h(s, 0) = (s), para todo s [0, 1].
(2) h(s, 1) = (s), para todo s [0, 1].
(3) h(0,t) = z0 , para todo t [0, 1].
(4) h(1,t) = z1 , para todo t [0, 1].
Usaremos la notacion ' rel( ) si hay una homotopa entre y y tambien
diremos que es homotopa a , mediante una homotopa que mantiene fijos los
extremos de las curvas por las condiciones (3) y (4) en la definicion anterior. De he-
cho, observe que pensando a la funcion h como una familia continua de trayectorias
(curvas) en :
las condiciones (3) y (4) dicen que cada una de las curvas ht tiene el mismo extremo
inicial z0 y mismo extremo final z1 ; mas aun, las condiciones (1) y (2) dicen que
h0 = y h1 = . La figura siguiente ilustra lo anterior:
122 5 Teora de Cauchy global
z1
1 -
t ht
- h -
0
-
1 z0
(fijando s, observe que h(s,t) es un punto en el segmento de recta que une (s) con
(s), y este segmento esta contenido en porque este es convexo). Claramente h
es una homotopa h : ' rel( ).
Lazos. La definicion de homotopa no pona ninguna condicion en las curvas, por
ejemplo estas pueden ser curvas cerradas, i.e., z0 = z1 , y la definicion de homotopa
de curvas cerradas es la misma: las condiciones (3) y (4) son: (0) = (0) = z0 =
(1) = (1). En ocasiones se dice que y son lazos basados en el punto z0 . Un
ejemplo de lazo, trivial pero importante, es el lazo constante z0 : [0, 1] dado
por z0 (t) := z0 para todo t [0, 1]. Si un lazo : [0, 1] basado en z0 es
homotopo al lazo constante z0 , se dice que es nulhomotopo. La idea intuitiva es
que un lazo nulhomotopo se puede contraer, mediante una homotopa, al punto z0 :
5.3 El teorema de Cauchy: version homotopica 123
ht
z0
y por lo tanto el lazo no rodea ningun hoyo en . Si todos los lazos basados en
z0 se pueden contraer al punto z0 , entonces no tiene ningun hoyo. En este
sentido, los lazos son importantes porque detectan los hoyos que pueda tener . El
teorema importante es:
Teorema 5.10 (Cauchy, version homotopica). Si : [0, 1] es un lazo rec-
tificable basado en z0 y nulhomotopo ' z0 rel( ), entonces para toda funcion
holomorfa f : C se tiene que
Z
(1) f = 0.
Ahora, para los polgonos Qk := [z0k , z1k , . . . , zn,k ], que son cerrados porque z0k =
h(0, k/n) = z0 = h(1, k/n) = znk , mostraremos que
Z Z Z Z Z
(3) f= f= f = = f= f =0
Q0 Q1 Qn z0
124 5 Teora de Cauchy global
lo cual prueba (1) como se quera. Resta demostrar (3) y esto lo haremos probando
una igualdad a la vez. Para la primera igualdad en (3)
Z Z
f= f
Q0
es trivial ya que Qn = [z0n , z1n , . . . , zn,n ] es el ((polgono)) dado por el punto z0 porque
cada z jn = h( j/n, 1) = z0 . Finalmente, para probar las igualdades intermedias en (3)
Z Z
(4) f= f
Qk Qk+1
Qk : z j+1,k
z jk z j+2,k
y como dos subpolgonos Pjk y Pj+1,k consecutivos comparten un lado con orienta-
ciones opuestas, la suma anterior es la integral de f sobre la curva
dada por el polgono Qk seguida del lado extremo derecho [znk , zn,k+1 ], seguida del
polgono Q1
k+1 (con orientacion opuesta) y finalmente seguida del lado extremo iz-
quierdo [z0,k+1 , z0k ]. Ahora, como
de donde se sigue la igualdad (4), que finalmente prueba (3), como se quera. t
u
1 z1
1 1
6
z0 z1 h -
? -
0 1 z0
donde notamos que, bajo la homotopa h, el lado vertical izquierdo del cuadrado va a
dar al punto z0 , el lado vertical derecho va al punto z1 , el lado horizontal inferior va a
la curva y el lado horizontal superior va a la curva 1 , por la orientacion escogida
del cuadrado. As, la hipotesis de que h : ' equivale a que h : 1 ' z0 donde
1 es un lazo basado en z0 . Ahora, por el ejercicio 5.3,
126 5 Teora de Cauchy global
Z Z Z Z Z
f= f+ f= f f
1 1
Ejercicios
5.8. Si C (z0 , z1 ) es el conjunto de todas las curvas en una region con extremo
inicial z0 y extremo final z1 , demuestre que la relacion de homotopa es una relacion
de equivalencia en C (z0 , z1 ).
5.3 El teorema de Cauchy: version homotopica 127
( ) ' 0 ( 0 0 ).
1 ' z0 .
1 ( , z0 ) = {[ ] : C (z0 , z0 )}.
[][ ] := [ ]
5.15. Use el ejercicio anterior para mostrar que si z0 , z1 , con una region,
entonces se tiene un isomorfismo entre los grupos fundamentales:
1 ( , z0 ) ' 1 ( , z1 ).
dz
Z
1 + z2
128 5 Teora de Cauchy global
variando entre las curvas cerradas rectificables que no pasan por las races del
denominador, es decir, por i.
Supongamos ahora que z1 , . . . , zn son todos los ceros de f (z), con multiplicida-
des m1 , . . . , mn , respectivamente. Entonces,
f0
: {z1 , . . . , zm } C,
f
y, usando la formula para la derivada de un producto, de (1) se obtiene que
f 0 (z) m1 m2 mn g0 (z)
(2) = + ++ +
f (z) z z1 z z2 z zn g(z)
f 0 (z) m1 m2 mn g0 (z)
Z Z Z Z Z
dz = dz + dz + + dz + dz
f (z) z z1 z z2 z zn g(z)
= 2i n(; z1 )m1 + 2i n(; z2 )m2 + + 2i n(; zn )mn + 0
n
= 2i n(; zk )mk .
k=1
Hemos as probado:
Teorema 5.15. Sea f : C holomorfa con ceros z1 , . . . , zn de multiplicida-
des m1 , . . . , mn , respectivamente. Si es una curva en , cerrada, rectificable, que
no pasa por ninguno de los puntos zi y ademas es nulhomologa, entonces
1 f 0 (z) n
Z
dz = n(; zk )mk .
2i f (z) k=1
5.4 La conducta local de una funcion holomorfa 129
t
u
Con la mismas hipotesis del teorema anterior, si w C f {}, como la derivada
logartmica de la funcion f (z) w es f 0 (z)/( f (z) w) se sigue que:
Corolario 5.16. Sean f y como en el teorema 5.15 anterior y w C f {}. Sean
z1 , . . . , zn todas las soluciones en de la ecuacion f (z)w = 0, con multiplicidades
m1 , . . . , mn , respectivamente. Entonces,
1 f 0 (z) n
Z
dz = n(; zk )mk .
2i f (z) w k=1
t
u
Corolario 5.17. Sean f : C holomorfa y : [0, 1] cerrada y rectificable.
Entonces, la curva f : [0, 1] C es cerrada y rectificable (vea el ejercicio 5.19) y
si w C { f } = f {} y z1 , . . . , zn son todas las soluciones en de la ecuacion
f (z) w = 0, con multiplicidades m1 , . . . , mn , respectivamente, entonces
n
n( f ; w) = n(; zk )mk .
k=1
donde como w 6 f (B(z0 ; r)) se tiene que los zk 6 B(z0 ; r) y as los zk estan en la com-
ponente no acotada de C {} por lo que, del teorema 5.4, se tiene que n(; zk ) = 0
para todas las zk y as
130 5 Teora de Cauchy global
n( f ; w) = 0.
Supongamos ahora que w f (B(z0 ; r)) f {}, y sean z1 , . . . , zn B(z0 ; r) las so-
luciones distintas de la ecuacion f (z) w = 0, con multiplicidades m1 , . . . , mn , res-
pectivamente. Del corolario 5.17 se sigue que
n n
n( f ; w) = n(; zk )mk = mk ,
k=1 k=1
ya que rodea cada zk B(z0 ; r) una unica vez. Hemos as probado que:
Proposicion 5.18. Si f : C es holomorfa no constante y supongamos que
B(z0 ; r) y sea (t) = z0 + re2it , t [0, 1], su frontera. Para cada w C f {},
la suma de las multiplicidades mk de las soluciones z j B(z0 ; r) de la ecuacion
f (z) w = 0 es
n
mk = n( f ; w).
k=1
donde la primera y tercera igualdades son por la proposicion 5.18 anterior con m
la multiplicidad de z0 como cero de f (z) w0 y mk , k 1, las multiplicidades de
los ceros zk de f (z) w en B(z0 ; ). Finalmente, como f 0 (z) 6= 0 en B(z0 ; ) {z0 },
cada uno de los ceros zk , k 1, debe ser simple (i.e, de multiplicidad 1, vea el
ejercicio 5.20), es decir, cada mk = 1 y el teorema se sigue. t
u
5.4 La conducta local de una funcion holomorfa 131
Observacion 5.1. (1) El teorema dice que, localmente, cerca de z0 , la funcion f (z)
se comporta como el polinomio (z z0 )m + w0 , donde w0 = f (z0 ).
(2) El teorema tambien implica que B(w0 ; ) f (B(z0 ; )).
Una consecuencia inmediata del teorema anterior es otra demostracion del teo-
rema de la funcion abierta 4.25:
Corolario 5.20 (Teorema de la funcion abierta). Toda funcion f : C holo-
morfa y no constante es abierta.
Observacion 5.2. El recproco del corolario anterior es falso, por ejemplo la funcion
exponencial compleja es tal que su derivada nunca se anula, pero la exponencial no
es inyectiva. Observe tambien que para funciones reales de variable real el corolario
anterior no es cierto, por ejemplo para la funcion real analtica e inyectiva f (x) = x3
su derivada se anula en x = 0.
Ejercicios
f 0 / f , donde f (z) = z2 + z + 1
R
5.18. Use el corolario 5.16 para calcular la integral
y es el crculo (t) = 2e2it para t [0, 1].
132 5 Teora de Cauchy global
5.21. Usando el teorema de la conducta local de una funcion holomorfa 5.19, de-
muestre que si f : C es holomorfa y f 0 (z0 ) 6= 0 para z0 , entonces existe un
disco abierto con centro en z0 tal que f es inyectiva en ese disco. Note que el resul-
tado anterior es estrictamente local, la funcion exponencial satisface que su derivada
no se anula, pero no es inyectiva en todo su dominio.
133
134 6 Singularidades
() lm (z z0 ) f (z) = 0.
zz0
Demostracion. Por hipotesis existe r > 0 tal que f es holomorfa en B(z0 ; r) {z0 }.
Supongamos ahora que se cumple la igualdad () y definamos
(
(z z0 ) f (z) si z 6= z0 ,
h(z) :=
0 si z = z0 .
z0 z1
z0
y
z0
x z3
z2
z1 z2
Caso 1 Caso 2 Caso 3
6.1 Singularidades aisladas 135
Lo anterior agota todos los casos posibles y por el teorema de Morera 4.7 se sigue
que h es holomorfa en B(z0 ; r). La implicacion faltante es obvia ya que
lm (z z0 ) f (z) = lm (z z0 )g(z) = 0,
zz0 zz0
lm (x 0) f (x) = lm x|x| = lm x2 = 0,
x0 x0 x0
El teorema de Riemann 6.1 sugiere que, para que una funcion de variable com-
pleja tenga una singularidad aislada, en z0 , que no sea removible, la funcion debe
tener un lmite muy mal comportado cuando z z0 , es decir, el comportamiento de
f (z) cerca de z0 debe ser muy malo: ya sea que el lmite lmzz0 | f (z)| = , o que
lmzz0 | f (z)| no exista.
Polos. Por el teorema 6.1 de singularidades removibles de Riemann, si z0 es una
singularidad aislada no removible de f (z), entonces f (z) no puede estar acotada en
una vecindad de z0 . Se puede uno preguntar entonces si existira un entero m 1 tal
que la funcion (z z0 )m f (z) sea acotada en una vecindad de z0 . El teorema siguiente
caracteriza cuando esto es posible:
Teorema 6.2. Sea z0 y supongamos que f es holomorfa en {z0 }. Son equi-
valentes:
(1) Existe un entero m 1 tal que (z z0 )m f (z) es acotada en una vecindad de z0 .
(2) Existe una funcion holomorfa g : C con g(z0 ) 6= 0 y tal que
g(z)
f (z) = , para todo z {z0 }.
(z z0 )m
1
f (z) = para todo z U {z0 }.
h(z)
(4) El lmite
lm | f (z)| = ,
zz0
es decir, para todo M > 0 existe > 0 tal que 0 < |z z0 | < implica que | f (z)|
M.
(4) (1): Observe primero que la hipotesis (4) implica que 1/ f (z) tiene una singu-
laridad removible en z0 . En efecto, como lm | f (z)| = , entonces lm 1/ f (z) = 0
zz0 zz0
y por lo tanto 1/ f (z) esta acotada. Se sigue que
1
lm (z z0 ) =0
zz0 f (z)
1
= g(z) = (z z0 )m h(z)
f (z)
y por lo tanto
1
(z z0 )m f (z) = =: h(z)
h(z)
con h(z) holomorfa en una vecindad de z0 y por lo tanto es acotada en una vecindad
de z0 . t
u
g(z)
f (z) =
(z z0 )m
con g(z) holomorfa en un disco B(z0 ; r), entonces g tiene una expansion en serie de
Taylor alrededor de z0 , digamos
g(z) = Am + Am1 (z z0 ) + + A1 (z z0 )m1 + (z z0 )m ak (z z0 )k
k=0
y por lo tanto
g(z) Am Am1 A1
f (z) = = + + + + ak (z z0 )k
(z z0 )m (z z0 )m (z z0 )m1 (z z0 ) k=0
donde h(z) := k
k=0 ak (z z0 ) es holomorfa en B(z0 ; r) y Am 6= 0. La suma
Am Am1 Am2 A1
S(z) := + + ++
(z z0 )m (z z0 )m1 (z z0 )m2 (z z0 )
Entonces, f (z) S(z) = h(z), con h(z) holomorfa en B(z0 ; r) y ademas h(z) es una
funcion racional cuyos polos tambien son polos de f (z). Mas aun, si S(z) es la parte
singular de h(z) en uno de sus polos, entonces S(z) tambien es la parte singular de
f (z) en ese polo. Por induccion, si z1 , . . . , zn son los polos de f (z) y si S j (z) son las
partes singulares de f (z) en los polos z j , entonces
n
() f (z) = S j (z) + R(z)
j=1
6.1 Singularidades aisladas 139
donde R(z) es una funcion racional sin polos y por lo tanto es un polinomio. As,
() es la descomposicion en fracciones parciales de f (z).
| f (z) c|
lm =
zz0 |z z0 |
i.e.,
(1) lm (z z0 )m ( f (z) c) = 0.
zz0
lm |z z0 |m | f (z)| = 0
zz0
y as, por el teorema 6.1 de nuevo, se sigue que (z z0 )m1 f (z) tiene una singulari-
dad removible en z0 , es decir, f (z) tiene un polo en z0 , lo cual es una contradiccion.
t
u
Ejercicios
6.3. Demuestre que una funcion entera f tiene una singularidad removible en si
y solo si f es constante.
6.4. Demuestre que una funcion entera f tiene un polo de orden m en si y solo si
f es un polinomio de grado m.
6.2 Series de Laurent 141
(regla de LHopital).
6.9. Verifique que la funcion f (z) = e1/z del ejemplo 6.4 tiene, en efecto, una sin-
gularidad esencial en z0 = 0.
1 cos z 1
(a) f (z) = . (c) f (z) = .
sen z cos(1/z)
1 z4
(b) f (z) = z . (d) f (z) = 4 .
e 1 (z + 16)2
1 1
=
z 2 2 1 z/2
usando la serie geometrica para 1/(1 z/2) en el disco |z| < 2, la serie de Taylor
4.15 del primer sumando, f1 (z) es:
1 1 n 1
(1) f1 (z) :=
z2
=
2 n=0
(z/2) = 2n+1 zn .
n=0
142 6 Singularidades
1 1 1 1
f2 (z) = = =
1z z 1 1/z 1
con radio de convergencia R2 > 0, es decir, la serie (6) converge en el disco |z| < R2
y sumamos las series (5) y (6), en el dominio comun de convergencia, obtenemos
una serie de potencias, positivas y negativas, de la forma
+ bm zm + + b1 z1 + a0 + a1 z + a2 z2 + + an zm + = bn zn + an zn
n=1 n=0
z0 R1 R2
z0
n
y la serie es convergente, en el punto z, si las series
n=0 an (z z0 ) y n=1 an (z
n
z0 ) convergen. Si este es el caso, el lmite
N
lm an (z z0 )n
N N=n
1 f (z)
Z
(10) ak = dz
2i r (z z0 )k+1
es independiente de r.
y note que el integrando en el lado derecho es una funcion en las dos variables r,t
con derivadas parciales continuas. Por la regla de Leibniz 2.15 se sigue que
Z 2
dI(r)
f (z0 + reit )ireit dt,
=
dr 0 r
donde
f (z0 + reit )ireit = f 0 (z0 + reit )eit ireit + f (z0 + reit )ieit = f (z0 + reit )eit
r t
y por lo tanto
Z 2 t=2
dI(r)
f (z0 + reit )eit dt = f (z0 + reit )eit
= = 0,
dr 0 t t=0
como se quera. t
u
Teorema 6.5 (Formula de Cauchy en una region anular). Sea f una funcion
holomorfa en la region anular R1 < |z z0 | < R2 . Para cada R1 < r < R2 sea r el
crculo de centro z0 y radio r orientado positivamente. Si R1 < r1 < |z z0 | < r2 <
R2 , entonces,
1 f (w) 1 f (w)
Z Z
f (z) = dw dw.
2i r2 w z 2i r1 w z
f (w) 1 f (w) 1
Z Z Z Z
dw f (z) dw = dw f (z) dw
r2 wz r2 wz r1 wz r1 wz
f (w) f (w) 1 1
Z Z Z Z
dw dw = f (z) dw f (z) dw
r2 wz r1 wz r2 wz r1 wz
donde la primera integral del lado derecho es 2i, por la proposicion 5.1 y la segunda
integral del lado derecho es 0, por el teorema 5.4, ya que z esta fuera del disco de
centro z0 y radio r1 . Se sigue que el dado derecho es 2i f (z), lo cual prueba el
teorema. t
u
En efecto, escojamos r1 y r2 reales tales que R1 < r1 < r2 < R2 . Por el teorema 6.5
anterior, para r1 < |z z0 | < r2 ,
1 f ( ) 1 f ( )
Z Z
f (z) = d d
2i r2 z 2i r1 z
y poniendo
6.2 Series de Laurent 147
1 f ( )
Z
f1 (z) := d para |z z0 | < r2
2i r2 z
1 f ( )
Z
f2 (z) := d para |z z0 | > r1
2i r1 z
donde
1 f (z)
Z
an = dz
2i r (z z0 )n+1
con r el crculo de centro z0 y radio r < r2 .
(2) Veremos que la funcion f2 (z) es holomorfa en |z z0 | > r1 , tiene una singu-
laridad removible en y se puede expresar como una serie de Laurent en poten-
cias negativas de z z0 en una vecindad del infinito, es decir, en una region de
la forma |z z0 | > r1 , para un r1 > 0. Para esto, considere el cambio de varia-
ble z = z0 + 1/ y defina la funcion g( ) := f2 (z) = f2 (z0 + 1/ ), para 6= 0; es
claro que g tiene una singularidad aislada en = 0 (tambien decimos que f2 (z) tie-
ne una singularidad aislada en z = ). Para ver que es removible, observe que si
r > r1 , sea (z) := d(z, {r }), donde r es el crculo de centro z0 y radio r y sea
M := max{| f (w)| : w {r }}. Entonces, para |z z0 | > r se tiene que
1 Z f (w) 1 n | f (w)| o M2r Mr
| f2 (z)| dw sup : w {r } `(r ) =
2i r w z 2 |w z| 2(z) (z)
lm g( ) = lm f2 (z) = 0
0 z
es claro que g( ) es holomorfa y por lo tanto tiene una serie de Taylor 4.15 alrededor
de = 0 (es decir, z = ), digamos en el disco | | < 1/R:
148 6 Singularidades
() g( ) = bn n = bn n
n=0 n=1
para an := bn .
Hemos as mostrado que, en la region anular r1 < |z z0 | < r2 , la funcion f (z)
tiene una expansion en serie de Laurent
f (z) = an (z z0 )n
n=
1 f (z)
Z
an = dz
2i r2 (z z0 )n+1
1 f (z)
Z
an = dz
2i r (z z0 )n+1
donde r es el crculo de centro z0 y radio r, para cualquier R1 < r < R2 , y esta serie
es unica con esas propiedades.
t
u
6.2 Series de Laurent 149
Por la parte (1) esto quiere decir que (z z0 )m f (z) tiene una singularidad removible
en z0 y por lo tanto f (z) tiene un polo en z0 de orden m. Para la afirmacion recproca
se invierten los argumentos anteriores.
Para (3), por definicion z0 es una singularidad esencial de f (z) si y solo z0 si no
es removible ni polo y por las partes (1) y (2) esto es equivalente a que an 6= 0 para
un numero infinito de n < 0. t
u
Ejemplo 6.7. La funcion f (z) = e1/z tiene una singularidad esencial en z0 = 0: su
serie de Laurent alrededor de z0 = 0 es de la forma
1 1 n
f (z) = e1/z = n! zn = (n)!
z .
n=1 n=1
Ejercicios
6.12. Obtenga la serie de Taylor alrededor del punto 1 de la funcion f (z) = 1/(z2)
en el disco |z 1| < 1.
6.13. Obtenga la serie de Taylor alrededor del punto 2 de la funcion f (z) = 1/(z1)
en el disco |z 2| < 1.
6.14. Sean a, b C tales que 0 < |a| < |b|. Encuentra una serie de Laurent en la
region anular An(0; |a|, |b|) de la funcion
1
f (z) = .
(z a)(z b)
6.16. Sean p(z), q(z) polinomios tales que gr(q) > gr(p) + 1 y sea un crculo que
contiene todos los ceros de q(z). Demuestre que
p(z)
Z
dz = 0.
q(z)
6.17. Si una funcion holomorfa f (z) tiene una singularidad aislada en z0 , demuestre
que la parte principal de la serie de Laurent de f alrededor de z0 converge en C
{z0 }.
6.19. Suponga que f es una funcion holomorfa definida en C {z1 , . . . , zn } y que las
z j no son singularidades esenciales de f . Demuestre que f es una funcion racional.
6.20. Clasifique las singularidades aisladas de las funciones siguientes:
z5 1
f (z) = g(z) = h(z) = sen(1/z).
1 + z + z2 + z3 + z4 sen2 z
6.21. Suponga que f es holomorfa en la region anular An(z0 ; R1 , R2 ) y que no
se anula en esa region. Considere los crculos r (t) = z0 + re2it con t R, para
R1 < r < R2 . Sea n = n( f r ; z0 ) (que es constante en toda la region anular consi-
derada). Sea g : An(z0 ; R1 , R2 ) C dada por g(z) = f (z)/(z z0 )n . Demuestre que
el coeficiente a1 en la expansion de Laurent de f 0 (z)/ f (z) es n y que g(z) posee
un logaritmo holomorfo. Demuestre que f tiene un logaritmo holomorfo si y solo si
n = 0. Si m > 0 es un entero, demuestre que f tiene una raz m-esima holomorfa si
y solo si m divide a n.
6.22. Usando series de Laurent, demuestre que si f : C C es holomorfa, enton-
ces es constante.
6.23. En el ejemplo 6.1 vimos que la funcion
z
f (z) =
ez 1
tiene una singularidad removible en z0 = 0 y por lo tanto su serie de Laurent, alre-
dedor de z0 = 0, es una serie de potencias usual. El radio de convergencia de esta
serie es 2 porque los ceros de ez 1 mas cercanos a z0 = 0 son 2i. Escriba los
coeficientes an de la serie de potencias anterior como an = Bn /n!, es decir, defina
Bn := n!an , de tal forma que la serie anterior es:
z Bn n
f (z) = = z
ez 1 n=0 n!
n+1
para n 1 y donde k es el coeficiente binomial correspondiente.
Los racionales Bn anteriores se conocen como los numeros de Bernoulli.
152 6 Singularidades
es una funcion dada por su serie de Laurent en An(z0 ; R1 , R2 )Ry r = B(z0 ; R), para
R1 < r < R2 , orientado positivamente, al calcular la integral f se tiene que
Z
() f (z)dz = 2ia1
r
() := (n1 1 + + nm m ).
lo cual prueba la parte (2), y claramente la parte (1) es un caso particular de (2). t
u
Ejemplo 6.9. En el ejemplo 6.7 vimos que la serie de Laurent de f (z) = e1/z alrede-
dor de z0 = 0 es 1 n 1/z
n=1 (n)! z , por lo que su residuo en z0 = 0 es Resz=0 (e ) = 1.
y por lo tanto,
1
Res( f ; z0 ) = am1 = g(m1) (z0 ).
(m 1)!
Note que, en el caso particular cuando z0 es un polo simple, es decir, m = 1, se tiene
que
Res( f ; z0 ) = a0 = g(z0 ) = lm (z z0 ) f (z).
zz0
z3 1
f (z) = = + 3 + 3(z 1) + (z 1)2
z1 z1
de donde se sigue que
Res( f ; 1) = 1.
Ejemplo 6.12. Considere ahora la funcion f (z) = z3 /(z 1)2 que tiene una singu-
laridad en z0 = 1. Usando el calculo del ejemplo anterior vemos que la serie de
Laurent de f (z) alrededor de z0 = 1 es
154 6 Singularidades
z3 1 3
f (z) = = + + 3 + (z 1)
(z 1)2 (z 1)2 z 1
Ejemplo 6.13. Considere ahora la funcion f (z) = 1/(z2 + 1). Es claro que tiene po-
los simples en las races del denominador, es decir, en z1 = i y z2 = i. Para z1 = i,
por el caso particular del ejemplo 6.10, se tiene que
1 1 1
Res( f ; i) = lm(z i) f (z) = lm(z i) = lm = .
zi zi (z i)(z + i) zi z + i 2i
() lm | f (z)| = ,
zz0
M( ) := { f : C : f es meromorfa}
f 0 (z) m g0 (z)
(1) = +
f (z) z z0 g(z)
f 0 (z) m g0 (z)
(2) = +
f (z) z z0 g(z)
f 0 (z) m
1 n
1 g0 (z)
(3) = +
f (z) k=1 z zk k=1 z wk g(z)
con g0 /g holomorfa.
Teorema 6.9 (Principio del argumento). Sea f : C meromorfa con ceros
z1 , . . . , zm y polos w1 , . . . , wn , repetidos de acuerdo a su orden. Sea una curva en
, cerrada, rectificable, nulhomologa y que no pasa por los zk y los wk . Entonces,
1 f 0 (z) m n
Z
dz = n(; zk ) n(; wk ).
2i f (z) k=1 k=1
(z) 0
Demostracion. Integrando ambos lados de (3) note que gg(z)
R
dz = 0, por el teore-
0
ma de Cauchy, version homologica 5.6, porque g /g es holomorfa y es nulhomolo-
ga. t
u
Una formula que cuenta el numero de ceros y polos. Una consecuencia inmediata
es una formula que cuenta el numero de ceros y polos de f en un dominio dado. En
efecto, si f (z) es una funcion meromorfa en , dado w C, sea
Nw ( f ,U)
N ( f ,U)
1 f0
Z
= N0 ( f ) N ( f ).
2i f
N0 ( f ) N ( f ) = N0 (g) N (g).
Note ahora que la funcion meromorfa h(z) := f (z)/g(z) no puede tomar un valor
real no positivo r 0 en {} ya que si existiera z {} tal que h(z) = r 0, enton-
ces () implicara que |r 1| < |r| + 1, una contradiccion. Por lo tanto, la funcion
meromorfa h(z) := f (z)/g(z) manda al crculo {} en := C [0, ) (el plano
complejo quitandole el semieje real no positivo). Sea log : C la rama (principal)
del logaritmo en . Entonces, la funcion log h(z) esta bien definida en una vecindad
de {} y es primitiva de h0 /h = f 0 / f g0 /g por lo que
1 h0 1 f0 1 g0
Z Z Z
0= = = N0 ( f ) N ( f ) N0 (g) + N (g),
2i h 2i f 2i g
y por lo tanto
f (z)
lm = 1.
z g(z)
Consecuentemente, para |z| =: r suficientemente grande se tiene que
f (z)
() g(z) 1 < 1 para z tal que |z| = r
6.3 El teorema del residuo 157
y escogemos r tal que f (z) no tenga ceros en = B(0; r) y notamos que la de-
sigualdad () es
| f (z) g(z)| < |g(z)| | f (z)| + |g(z)|
y as, por el teorema de Rouche 6.11 se sigue que el numero de ceros de f (z) es
igual al numero de ceros de g(z) = an zn en B(0; r), que es obviamente n (el unico
cero de g(z) es 0, con multiplicidad n).
Una consecuencia adicional es el resultado siguiente sobre la preservacion de
ceros bajo condiciones de compacidad:
Teorema 6.12 (Hurwitz). Sea una region y supongamos que { fn : C} es
una sucesion de funciones holomorfas que converge compactamente1 a una funcion
holomorfa f : C.
(1) Si f no es constante, B(z0 ; r) y f no tiene ceros en B(z0 ; r), entonces existe
un entero N tal que para todo n N las funciones f y fn tienen el mismo numero
de ceros en el disco B(z0 ; r).
(2) En general, si U es cualquier subconjunto acotado tal que U y si f
no tiene ceros en U, entonces existe un natural N tal que para todo n N las
funciones f y fn tienen el mismo numero de ceros en U.
1 Vea la nota al pie de la pagina 110: una sucesion de funciones { f : C} se dice que converge
n
compactamente si para todo subconjunto compacto K la sucesion de restricciones { fn : K
C} converge uniformemente a la restriccion f : K C.
2 Es decir, todas excepto un numero finito.
158 6 Singularidades
Ejercicios
6.26. Calcule los residuos de la funcion f (z) = z5 /(z2 1)2 en sus singularidades.
6.28. Demuestre que, para todo numero real r > 1 la funcion f (z) := zerz 1 tiene
exactamente un cero en el disco unitario B(0; 1) y ademas este cero es real positivo.
Sugerencia: use el teorema de Rouche con la funcion de comparacion g(z) := zerz .
6.29. Si h es una funcion holomorfa en una vecindad del disco unitario cerrado
B(0; 1) y si h( B(0; 1) B(0; 1), demuestre que h tiene un unico punto fijo3 en
B(0; 1). Sugerencia: en el teorema de Rouche use las funciones f (z) := h(z) z y
g(z) := z.
En esta seccion mostraremos, con unos ejemplos, como usar metodos complejos
para calcular integrales (de Riemann) reales impropias, en ocasiones en forma muy
eficiente.
Ejemplo 6.14. Comenzamos con un ejemplo simple que, de hecho, se puede calcular
en forma elemental, la integral impropia
1
Z
dx.
1 + x2
Para comenzar, pensamos al integrando como una funcion compleja f (z) = 1/(1 +
z2 ). Como vimos en el ejemplo 6.13, tiene dos polos simples en z1 = i y z2 = i,
con residuos Res( f ; i) = 1/2i y Res( f ; i) = 1/2i. Ahora, para cada real r > 1
considere la curva cerrada dada por
(
re2it para 0 t 1/2i,
(t) =
(2t 1)r 2tr para 1/2 t 1,
r 0 r
Por el teorema del residuo 6.8 se sigue que
1 1
Z Z
f (z)dz = dz = 2i = .
1 + z2 2i
y para la primera integral del lado derecho en (1), observe que para z {r } se tiene
que r2 1 |1 + z2 | 1 + r2 , por lo que 1/(r2 1) 1/|1 + z2 | 1/(r2 + 1), y
as se tiene la ultima desigualdad en (3):
Z 1 r
(3) dz `(r ) sup{| f (z)| z {r }} 2 .
1 + z2 r 1
Del captulo 2, seccion 2.3, si x es real, eix = cos x + i sen x y as, sen x/x es la parte
imaginaria de eix /x y cos x/x es la parte real de eix /x. Debemos entonces pensar en la
funcion compleja eiz /z, que tiene una singularidad aislada en z0 = 0, y consideramos
ahora la curva cerrada dada en la figura siguiente:
R r 0 r R
eiz
Z
dz = 0,
z
donde observamos que la primera y tercera integrales del lado izquierdo son inte-
grales reales
Z r ix
eiz
Z R ix
e e eiz
Z Z
(1) dx + dz + dx + dz = 0.
R x r z r x R z
Ahora, como
1 ix
e eix
sen x =
2i
entonces
1 R eix eix
Z R ix
1 R eix
Z R
sen x 1 e
Z Z
dx = dx = dx dx
r x 2i r x 2i r x 2i r x
1 R eix 1 r eix
Z Z
= dx + dx
2i r x 2i R x
que al substituir en (1) da
6.4 Integrales impropias y el teorema del residuo 161
eiz eiz
Z R
sen x
Z Z
(2) 2i dx + dz + dz = 0.
r x r z R z
Para calcular la integral impropia (), debemos calcular lmr0 y lmR en (2). Co-
R iz
menzando con el segundo lmite, la integral que interesa es R ez dz, y mostraremos
que tiende a 0 cuando R . En efecto, usando la parametrizacion R (t) = Reit ,
t [0, ] del semicrculo R , se tiene que
Z iReit
eiz e Rieit
Z Z
it
dz = dt = i eiRe dt
R z 0 Reit 0
por lo que
eiz iReit
Z Z Z Z Z /2
eiReit dt = eR sent dt = 2 eR sent dt
dz = i e dt
R z 0 0 0 0
y usando la desigualdad 2t/ sent, para t [0, /2] por lo que eR sent e2Rt/ ,
se obtiene que
eiz 2Rt/ /2
Z Z /2 Z /2
eR sent dt 2 e2Rt/ dt = 1 eR
dz 2 e =
2R
R z 0 0 0 R
eiz
Z
(3) lm dz = 0.
R R z
R eiz
Consideremos ahora la integral r z dz cuando r 0. Observe que
eiz eiz 1 1
(4) = +
z z z
R 1
donde un calculo directo muestra que dz = i (por la orientacion negativa de
r z
eiz 1
r ). Por otra parte, la funcion tiene una singularidad removible en el origen y
z iz
por lo tanto existe una constante M > 0 tal que e z1 M, para |z| 1. Se sigue
que, para r < 1,
Z eiz 1
dz M`(r ) = rM
r z
de donde se sigue que
eiz 1
Z
lm dz = 0.
r0 r z
Substituyendo en (4) se obtiene que
162 6 Singularidades
eiz eiz 1 1
Z Z Z
(5) lm dz = lm dz + lm dz = 0 i = i.
r0 r z r0 r z r0 r z
eiz eiz
Z R
sen x sen x
Z Z Z
0 = lm lm 2i dx + lm dz + lm dz = 2i dx + 0 i
r0 R r x R R z r0 r z 0 x
/a
Re2i/a
re2i/a
2/a
0 r R
donde el angulo entre los dos segmentos de recta que definen los dos arcos circulares
es 2/a. Por el teorema del residuo 6.8,
1 1
Z
i/a
dz = 2i Res ; e ,
1 + za 1 + za
donde z0 = ei/a es el unico punto singular de la funcion 1/(1+za ) (un polo simple).
Usando el ejercicio 6.25 se tiene que
1 i/a
1 1 ei/a
Res ; e = = =
1 + za a1 aei ei/a a
a ei/a
y por lo tanto
Z
1 1 ei/a 2iei/a
(2) a
dz = 2i Res a
; ei/a = 2i = .
1+z 1+z a a
Ahora, separando la integral del lado izquierdo en (2) en sus piezas (1), la primera
integral es
Z R
1 1
Z
(3) a
dz = dx
[r,R] 1 + z r 1 + xa
y para la tercera integral usamos la parametrizacion t 7 te2i/a , para t [r, R], por
lo que
Z R Z R
1 1 1
Z
(4) a
dz = e2i/a dt = e2i/a dt
[Re2i/a ,re2i/a ] 1 + z r 1 + t a (e2i/a )a r 1 + ta
y as
Z R 1 2iei/a
Z
1
Z
1
1 e2i/a dx = dz + dz
r 1 + xa a R 1 + za r 1 + za
164 6 Singularidades
1 R
y debemos ahora calcular el lmite cuando r 0 y R . Para la integral r 1+za dz,
a
como a > 1 el integrando 1/(1 + z ) esta acotado, digamos por M, usando que la
longitud del arco r es 2r/a, por la estimacion usual se tiene que
Z 1
dz M`(r ) = M(2r/a) 0 cuando r 0.
1 + za
r
1 R a
Para la integral R 1+z a dz, observe que para z {R } se tiene que |1 + z | |1 +
a a
R | = |R 1| por lo que
1 1
a
1 + za |R 1|
y consecuentemente
Z 1 1 2R
dz a `(R ) = 0 cuando R ya que a > 1,
1 + za |R 1| a(Ra 1)
r
donde usamos que la longitud del arco R es `(R ) = 2R/a. Se sigue que
Z 1 2iei/a
1 e2i/a dx =
0 1 + xa a
y por lo tanto
1 2iei/a 2i 2i
Z
dx = = =
0 1 + xa a 1 e2i/a aei/a 1 e2i/a a ei/a ei/a
= .
a sen /a
Ejercicios
sen2 x
Z
dx.
0 x2
1 x2
Z Z
(a) 4
dx. (d) dx.
1 + x 1 + x2 + x4
Z0
Z
1 eax
(b) dx. (e) x
dx, para 0 < a < 1.
3 1 + e
Z0 1 + xa
x 1
Z
(c) dx, para 1 < a < 3. (f) dx.
0 (1 + x)3 0 (1 + x2 )2
167
168 7 Aplicaciones conformes
hw, zi
cos :=
|w||z|
Mas aun, una funcion R-lineal T que preserva angulos se dice que preserva orien-
tacion si hw, zi y hTw, T zi tienen el mismo signo. Una funcion R-lineal inyectiva T
que preserva angulos con orientacion se dice que es conforme, y se dice que T es
anticonforme si preserva angulos cambiando la orientacion.
Lema 7.1. Sea T : C C una funcion R-lineal inyectiva. Entonces, T es conforme,
i.e., preserva angulos con orientacion si y solo si existe un C := C {0} tal
que T (z) = z, para todo z C.
por lo que
por lo que
() hTw, T zi = h w, zi = | |2 hw, zi
y por lo tanto T preserva angulos. Note que () dice que hw, zi y hTw, T zi tienen el
mismo signo y as T preserva orientaciones. t
u
0 (t0 )
z0
y note que el angulo de inclinacion de esta recta tangente es arg( 0 (t0 )). Supon-
gamos ahora que 1 , 2 : [0, 1] son dos curvas que se intersectan en un punto
z0 = 1 (t1 ) = 2 (t2 ) y ademas son regulares en ese punto. El angulo entre 1 y 2
en z0 es por definicion el angulo arg( 01 (t1 )) arg( 02 (t2 )). As, geometricamente
el angulo entre las curvas 1 y 2 en el punto de interseccion es el angulo entre sus
vectores tangente en ese punto:
170 7 Aplicaciones conformes
0 (t1 )
1
z0 0 (t2 )
arg( f 2 )0 (t1 ) arg( f 1 )0 (t1 ) = arg( f 0 (z0 ) 02 (t2 )) arg( f 0 (z0 ) 02 (t1 ))
= arg f 0 (z0 ) + arg 02 (t2 ) arg f 0 (z0 ) arg 01 (t1 )
= arg 02 (t2 ) arg 01 (t1 ),
Demostracion. Por la proposicion 2.9 debemos probar que u y v satisfacen las ecua-
ciones de Cauchy-Riemann. Ahora, como las parciales de u y v existen y son con-
tinuas, como funcion f : R2 R2 esta es diferenciable y por el ejercicio 2.22 su
diferencial, en z0 , esta dada por la Jacobiana
ux (z0 ) uy (z0 )
T :=
vx (z0 ) vy (z0 )
Ejemplo 7.2. En el ejemplo 7.1 vimos que la funcion f : C C dada por f (z) = z2
es conforme. Escribiendo z = x + iy C vemos que u = Re( f ) = x2 y2 y v =
Im( f ) = 2xy. Observe ahora que las rectas paralelas al eje Y , x = a se transforman,
mediante f , en las curvas con ecuaciones parametricas
u = a2 y2
v = 2ay
que, eliminando y quedan como u = a2 (v/2a)2 , es decir, v2 = 4a2 (ua2 ), que son
parabolas en el plano UV . Similarmente, las rectas horizontales y = b se transforman
en las parabolas
u = x2 b2
v = 2bx
que, eliminando x quedan como v2 = 4b2 (u + b2 ). Ahora note que como las rectas
x = a y y = b son perpendiculares en el plano XY (dominio de f ) y como f es
conforme, las parabolas anteriores son perpendiculares en el plano UV :
172 7 Aplicaciones conformes
z 7 z2-
z 7 ez-
1 1
(1) u = Re( f (z) = (r + r1 ) y v = Im( f (z)) = (r r1 )
2 2
como 2 + 2 = 1, de (1) se sigue que
u2 v2
(2) 2 + 2 = 1
1/2(r + r1 ) 1/2(r r1 )
y
7.1 Funciones conformes 173
u2 v2
(3) 2
2 = 1.
Note que (2) muestra que la imagen de cada crculo |z| = r < 1 en el plano xy es
una elipse en el plano uv con diametro mayor r + r1 y diametro menor r1 r. La
ecuacion (3) muestra que la imagen de cada rayo z = ct, con 0 < t < 1, c fijo tal que
|c| = 1, es una rama de una hiperbola. Es claro que todas las elipses e hiperbolas
anteriores son confocales, con focos comunes 1, y como los crculos |z| = r y los
rayos z = ct con ortogonales en el plano xy, entonces las elipses y las hiperbolas
correspondientes son ortogonales en el plano uv:
z 7 21 (z + z1 )
-
z 7 cos z
-
1 1
y las rectas verticales x = a (0, ) {/2} (es decir, las rectas z = a + iy, con y
libre, x = a fija) en
1 1
cos z = cos(a + iy) = ey (cos a + i sen a) + ey (cos a i sen a)
2 2
cuyas partes real e imaginaria son
1
u= cos a(ey + ey ) = cos a cosh y
2
1
v = sen a(ey ey ) = sen a senh y,
2
174 7 Aplicaciones conformes
que son las ecuaciones parametricas, usando las funciones trigonometricas hi-
perbolicas (vea el ejercicio 2.31), de hiperbolas confocales, como se ilustra en la
figura siguiente:
z 7 cos z
-
Ejercicios
ad bc
TA0 (z) =
(cz + d)2
ab
donde ad bc = det A = det . Se sigue que si det A = 0, entonces TA es cons-
cd
tante. Por otra parte, si det A 6= 0, la matriz A es invertible y se dice
que TA es una
1 d b
transformacion de Mobius. Como la inversa de la matriz A es det A , enton-
c a
176 7 Aplicaciones conformes
d b
ces la matriz B := determina la inversa de la transformacion de Mobius
c a
ya que
ab d b ab dz b (ad bc)z
TA TB z = z = = = z,
cd c a cd cz + a ad bc
bc ad a c(az + b) az + b
+ = = = T (z)
c(cz + d) c c(cz + d) cz + d
() A(x2 + y2 ) + Bx +Cy + D = 0
con A, B,C, D R tales que |A| + |B| + |C| > 0 y |B| + |C| + |D| > 0. Pongamos
z = x + iy y = + i . Substituyendo en z = 1/ se obtiene que
1 i
x + iy = = 2 = 2 i 2
+ i +2 +2 +2
por lo que
x= y y=
2 + 2 2 + 2
que al substituir en () da
2 2 B C
A + + 2 +D = 0
( 2 + 2 )2 ( 2 + 2 )2 ( + 2 ) ( 2 + 2 )
() A + B C + D( 2 + 2 ) = 0
f (z) f (z + 0) f (0)
lm g(z) = lm = lm = f 0 (0) = g(0),
z0 z0 z z0 z0
donde la segunda igualdad es porque f (0) = 0 por (2). Por el argumento en la de-
mostracion de 4.21 la funcion g es holomorfa en B(0; 1). Note que para 0 < r < 1,
en el disco cerrado |z| r, por (1) se tiene que | f (z)/z| |1/z| por lo que
|g(z)| = | f (z)/z| |1/z| y as, para z en el crculo |z| = r se tiene que
f (z) | f (z)| 1
|g(z)| = =
z |z| r
es decir, g(z) esta acotada en ese crculo por 1/r y por lo tanto tiene la misma cota en
todo el disco |z| r por el teorema del modulo maximo 4.24, es decir, |g(z)| 1/r
para todo z tal que |z| r. Como esto es valido para todo 0 < r < 1, haciendo
que r 1 se obtiene que |g(z)| 1 para todo z B(0; 1), es decir, | f (z)| |z|,
como se quera. Note tambien que como f 0 (0) = g(0), entonces | f 0 (0)| = |g(0)| 1.
Finalmente, si | f (z)| = |z| para algun z B(0; 1), z 6= 0, entonces |g(z)| = 1 para ese z
y por lo tanto |g| alcanza su maximo en B(0; 1) y as, el teorema del modulo maximo
implica que g(z) es constante, digamos c C, por lo que f (z) = cz, como se quera,
porque como |g(z)| = 1, se debe tener que |c| = 1. Similarmente, si 1 = | f 0 (0)| =
|g(0)|, entonces |g| alcanzara su maximo en z = 0 B(0; 1). t
u
Ademas del lema de Schwarz 7.7, para caracterizar las aplicaciones conformes
del disco unitario en s mismo el ejemplo siguiente sera clave:
Ejemplo 7.6. Si b C satisface que |b| < 1, considere la transformacion de Mobius
zb
Lb (z) :=
1 bz
z+b
Lb1 = Lb = .
1 + bz
1 |b|2
Lb0 (z) =
(1 |b|2 )2
1 0 2
1 |z0 |2 0
= f (z0 ) 1 |z0 | = f (z0 )
1 |w0 |2 1 |w0 |2
1 |w0 |2 0 2
(1) 0
| f (z0 )| =
| f (0)| 1 |w0 |
1 |z0 |2 1 |z0 |2
1 |0|2 1 1 |b|2
(3) | f 0 (b)| 2
= y |g0 (0)| = 1 |b|2
1 |b| 1 |b|2 1 |0|2
y por lo tanto las desigualdades de (3) deben ser igualdades, en particular | f 0 (b)| =
1/(1 |b|2 ) y as se tiene la igualdad en (1), para w0 = 0 y z0 = b, por lo que se
tiene la igualdad (2):
(4) f (z) = L0 cLb (z) = cLb (z)
w0
ya que L0 (w) = 10w
= w, es decir, L0 = id, y (4) es lo que se quera demostrar. t
u
TA TB = TAB .
: GL(2, C) Mob
ker( ) = {A GL(2, C) : A = I2 , C }.
TA TB = ( A ) ( B ) = ( A) ( ) (B ) = ( A) (B )
= (AB) = TAB .
Las partes (2) y (3) se prueban como las correspondientes en el lema 7.4, la supra-
yectividad de la funcion es de su definicion y la parte algebraica es el ejercicio
7.13. t
u
ab
Lema 7.11 (Puntos fijos). Si TA 6= id : C C con A = , entonces TA tiene
cd
uno o dos puntos fijos.
Demostracion. Para el punto C , por definicion TA () = si y solo si c = 0.
Ahora, para los puntos finitos z C C , observe que z es punto fijo de T , es decir,
TA (z) = z, si y solo si az+b 2
cz+d = z, es decir, si y solo si cz + (d a)z b = 0. Si c 6= 0
la ecuacion anterior tiene dos soluciones (contadas con su multiplicidad) y si c = 0
la ecuacion (d a)z b= 0 tiene una solucion si d 6= a o ninguna si d = a, ya que
ab
b 6= 0 porque A = 6= I2 , a = d y c = 0 implican que b 6= 0. t
u
cd
Ejemplo 7.7. Si 6= 0, 1, la transformacion de Mobius D (z) := z tiene como pun-
tos fijos al 0 y al . Recprocamente, si T es una transformacion de Mobius cuyos
puntos fijos son 0 e , escribiendo T (z) = az+b
cz+d , como 0 es punto fijo se debe tener
que b = 0 y a, d 6= 0. Como es punto fijo se debe tener que c = 0 y por lo tanto
T (z) = azd = (a/d)z, es decir, T (z) = z = D (z) con C {0, 1}.
Proposicion 7.12 (3-transitividad). Si z1 , z2 , z3 C y w1 , w2 , w3 C son dos
conjuntos, cada uno con tres puntos distintos, entonces existe una unica transfor-
macion de Mobius T : C C tal que
T (z j ) = w j , para 1 j 3.
(z z2 )(z1 z3 )
si z1 , z2 , z3 C C ,
(z z1 )(z2 z3 )
z z2
si z1 = ,
z3 z2
T (z) :=
z3 z1
si z2 = ,
z z1
z z2
si z3 = ,
z z1
184 7 Aplicaciones conformes
L1 T : z1 , z2 , z3 7 , 0, 1 7 w1 , w2 , w3
hace lo requerido. t
u
T (z j ) = w j , para 1 j 2.
S L1 : 0, 7 z1 , z2 7 0,
y as, por el ejemplo 7.7 se debe tener que S L1 (z) = z, para 6= 0, 1, y por lo
tanto S = L, y la afirmacion recproca es obvia.
Ahora, si para w1 , w2 la transformacion de Mobius R satisface que R(w1 ) = 0
y R(w2 ) = , entonces la composicion T := R1 S : z1 , z2 7 0, 7 w1 , w2 . Fi-
nalmente, si T : z1 , z2 7 w1 , w2 es otra transformacion de Mobius con la misma
propiedad que la T anterior, entonces R T : z1 , z2 7 w1 , w2 , 0, y por lo obser-
vado en el parrafo anterior se debe tener que S = R T con C . Pero como
T = R1 S, entonces S = R T que al substituir en S = R T da R T = R T ,
de donde se sigue que T = R1 R T = T , como se quera. t
u
(1) D = M D M 1 .
ya que, por el ejemplo 7.7, los puntos fijos de D (z) = z son 0, . Pero, por (1),
M D M 1 = D tiene (por el ejemplo 7.7) los puntos fijos 0, . Se sigue que
z = D (z) = D D D 1 (z) = D D ( 1 z) = D ( 1 z) = 1 z = z
y por lo tanto = . En el segundo caso: M(z) = (1/z) por lo que M 1 (z) = /z,
y se tiene que
D es conjugado de D { , 1 } = {, 1 } + 1 = + 1 .
(D ) := + 1 C {2}.
Clasificacion de las clases de conjugacion. En el lema 7.11 vimos que una trans-
formacion de Mobius, distinta de la identidad, tiene uno o dos puntos fijos y a con-
tinuacion consideramos esos dos casos:
Caso 1. Supongamos que T (z) = az+b cz+d tiene un unico punto fijo. Observe primero
que si el unico punto fijo de T es a = , entonces T (z) = z + b es una traslacion
con b 6= 0. En efecto, por la demostracion del lema 7.11 sabemos que T () = si
y solo si c = 0 y por lo tanto T (z) = az + b. Si a = 1, como T 6= id, se debe tener
que b 6= 0 y as T (z) = z + b. Si a 6= 1, entonces T (z) = az + b tiene otro punto fijo,
a saber, z = b/(1 a), una contradiccion.
Supongamos ahora que a 6= es el unico punto fijo de T . Sea S una transforma-
cion de Mobius tal que S(a) = (para a 6= , S(z) = 1/(z a) sirve). Entonces,
S T S1 tiene como unico punto fijo al y, por lo visto en el parrafo previo, es
una traslacion, digamos S T S1 (z) = z + b con b 6= 0. Por el ejemplo 7.8 todas
las traslaciones no triviales son conjugadas entre s.
Caso 2. Supongamos ahora que T (z) = az+bcz+d tiene dos puntos fijos (distintos), diga-
mos a, b C . Sea S una transformacion de Mobius tal que S(a) = 0 y S(b) = .
Entonces, S T S1 : 0, 7 0, tiene como puntos fijos al 0, . Por el ejemplo
7.7 se debe tener que S T S1 = D , con 6= 0, 1. Por el ejemplo 7.9 dos trans-
formaciones de Mobius de la forma D , con C {0, 1} son conjugadas si y solo
si tienen el mismo invariante (D ) = + 1 . Ahora, usando que para T con dos
puntos fijos se tiene que S T S1 = D , se define
(T ) = (D ) = + 1 .
El ejercicio 7.22 pide probar que si T y R tienen dos puntos fijos, entonces T es
conjugada de R si y solo si (T ) = (R). Hemos as probado:
Teorema 7.14. Las clases de conjugacion de las transformadas de Mobius son:
(1) La clase formada solo por la identidad {id}.
(2) Las que tienen un unico punto fijo, a las que se llama parabolicas.
(3) Las que tienen dos puntos fijos dan lugar a las clases de conjugacion
Ca = {T : C C : (T ) = a C {2}},
donde
7.2 Transformadas de Mobius 187
Ejercicios
1 + |z|
| f (z)|
1 |z|
1 |z|
| f (z)|
1 + |z|
7.16. Usando el ejercicio anterior, demuestre que las unicas aplicaciones conformes
biyectivas del disco unitario en s mismo son las del ejercicio 7.14.
7.17. Para que valores de es D elptica o hiperbolica?
7.18. Suponga que una transformacion de Mobius T 6= id no tiene al como punto
fijo. Demuestre que si T es parabolica y a es su punto fijo, entonces T 0 (a) = 1.
7.19. Suponga que una transformacion de Mobius T 6= id no tiene al como punto
fijo. Si T tiene dos puntos fijos, digamos a, b, demuestre que T 0 (a)T 0 (b) = 1.
7.20. Sea T (z) = az+b
cz+d una transformacion de Mobius y sea H = {z C : Im(z) > 0}
el semiplano complejo abierto superior. Demuestre que T manda H en H si y solo
si a, b, c, d R y ad bc = 1.
7.21. Sea := {T (z) = az+b
cz+d : a, b, c, d Z, ad bc = 1}. Por el ejercicio anterior
los elementos de mandan el semiplano H en s mismo. Demuestre que, con la
composicion de funciones, es un grupo, al que se conoce como el grupo modular.
7.22. Demuestre que si T y R tienen dos puntos fijos, entonces T es conjugada de R
si y solo si (T ) = (R).
7.23. Si T tiene dos puntos fijos finitos, digamos a, b C C , demuestre que
(T ) = T 0 (a) + T 0 (b).
7.24. Muestre que las transformaciones de Mobius T (z) = 1/z y R(z) = z son
conjugadas.
7.25. Demuestre que el grupo de Mobius Mob es simple.
7.26. Demuestre que si f : B(0; 1) B(0; 1) es holomorfa, f 6= id, entonces f tiene
a lo mas un punto fijo en B(0; 1), es decir, un punto z B(0; 1) tal que f (z) = z.
7.27. Sea f : B(0; 1) B(0; 1) es holomorfa. Demuestre que para todo z B(0; 1)
se tiene que
1
| f 0 (z)| .
1 |z|
Ejemplo 7.10. Cualquier disco abierto B(z0 ; r), para 0 < r < , es conformemente
equivalente al disco unitario B(0; 1). En efecto, la traslacion T : B(z0 ; r) B(0; r)
dada por T (z) = z z0 es biholomorfa. La contraccion S : B(0; r) B(0; 1) dada por
S(z) = z/r tambien es biholomorfa y as, la composicion S T : B(z0 ; r) B(0; 1)
es biholomorfa.
y por lo tanto TA y TB son biholomorfas inversas una de la otra. Veamos ahora cuales
son las imagenes de estas dos funciones:
Para TA observe que, para z = x + iy 6= i,
|z|2 2y + 1 4y 4 Im(z)
1 |TA (z)|2 = 1 = =
|z|2 + 2y + 1 |z + i|2 |z + i|2
y por lo tanto, para z H donde Im(z) > 0 (en particular z 6= i) se tiene que
1 |TA (z)|2 > 0 y as |Ta (z)| < 1, es decir, la restriccion de TA al semiplano superior
satisface que
entonces, para |z| < 1 se tiene que Im(TB (z)) > 0, es decir, la restriccion de TB al
disco unitario satisface que
190 7 Aplicaciones conformes
(2) TB : B(0; 1) H.
Finalmente, como TA y TB son conformes, inversas una de la otra, (1) y (2) implican
que
TA : H B(0; 1)
es una equivalencia conforme, es decir, el semiplano superior es conformemente
equivalente al disco unitario.
TA -
H B(0; 1)
TB
|g0 (z0 )|
= (g f 1 )0 (0) 1
0
| f (z0 )|
son cerrados y acotados (por n, por ejemplo) y as, son compactos. Note que
\
{z C : |z a| 1/n} = {z C : d(z, C ) 1/n}
a6
por lo que este conjunto esta contenido en . Se sigue que cada Kn . Por otro
lado, si z , como C es cerrado, por la proposicion 1.23 se tiene que d(z, C
) > 0 y as existe un entero n 1 tal que d(z, C ) 1/n y escogiendo n
suficientemente grande,S
para que se cumpla que |z| n, se tiene que z Kn . Hemos
as probado que = n Kn . Note ahora que
(1) Sk Sk1 S1 S0 = N
con la propiedad de que existen subsucesiones { fnk : nk Sk } tales que { fnk (zk ) :
nk Sk } converge. Note que se tienen inclusiones
los puntos z j con parte real e imaginaria en Q. As, para cada > 0 y cada
z con partes real e imaginaria en Q, existe un entero N(, z) tal que
Note ahora que los discos B(w; /2), variando z K, forman una cubierta
abierta de K, y como K es compacto admiten una subcubierta finita, digamos
B(w1 ; /2), . . . , B(wM ; /2). Observe ahora que los complejos con partes real e ima-
ginaria en Q son densos en y as, en cada uno de los discos B(wi ; /2) podemos
escoger un complejo zi con partes real e imaginaria racionales, para cada 1 i M.
Entonces, por (1) el entero N = max{N(, zi ) : 1 i M} satisface que
1 f ( ) 1 f ( ) 1 (z1 z2 ) f ( )
Z Z Z
f (z1 ) f (z2 ) = d d = d
2i z1 2i z2 2i ( z1 )( z2 )
(z1 z2 ) f ( )
Z
= d
2i ( z1 )( z2 )
|z1 z2 | n | f ( )| o
| f (z1 ) f (z2 )| sup : {} `()
2 | z1 || z2 |
|z1 z2 | 2 R(Kn+1 )|z1 z2 |
< 2
R(Kn+1 ) 2n =
2 n 2n
Sk Sk1 S1 S0 = N
7.3 El teorema de la aplicacion de Riemann 195
mostraremos que existe una f F que es suprayectiva en B(0; 1). Para comenzar,
observe que como f ( ) B(0; 1), entonces sup{| f (z)| : z } 1, para toda
f F y por lo tanto F es localmente acotada. Por el teorema de Stieljes-Osgood-
Montel 7.19 F es normal si es no vaca. Para probar que no es vaca, observe que
como C, existe un w0 C por lo que la funcion z 7 z w0 no se anula en
, y como es simplemente conexo existe una raz cuadrada de esta funcion, es
decir, existe O( ) tal que ((z))2 = z w0 . Note ahora que si (z1 ) = (z2 )
entonces z1 w0 = ((z1 ))2 = ((z2 ))2 = z2 w0 y por lo tanto z1 = z2 y as es
inyectiva. Tambien, si (z1 ) = (z2 ) el mismo argumento muestra que z1 = z2 .
Ahora, como es inyectiva, el teorema de la funcion abierta 4.25 ( ) es abier-
to. En particular, para z0 , (z0 ) ( ) es un punto interior, es decir, existe
un disco B((z0 ); r) ( ), donde podemos escoger 0 < r < |(z0 )|; note que
(z0 ) 6= 0 porque ((z0 ))2 = (z0 ) w0 y z0 . Entonces, el disco B((z0 ); r)
no interecta a ya que si existiera un z tal que (z) B((z0 ); r), se
tendra que |(z) + (z0 )| < r y por lo tanto | (z) (z0 )| < r. Se sigue que
(z) B((z0 ); r) ( ) y as existe z0 tal que (z0 ) = (z), y como ob-
servamos antes lo anterior implica que z = z0 y consecuentemente (z) = (z)
de donde se sigue que (z) = 0 y por lo tanto z w0 = ((z))2 = 0, es decir,
w0 = z , una contradiccion. Hemos as mostrado que ( ) B((z0 ); r) = 0. /
Si ahora se define
r
= : C
+ (z0 )
observe que, como (z) 6= (z0 ) para toda z , entonces es holomorfa, y es
inyectiva porque lo es. Tambien, para z , como (z) 6 B((z0 ); r), entonces
|(z) + (z0 )| > r y por lo tanto 1/|(z) + (z0 )|, 1/r, de donde se sigue que
r r
|(z)| = = < 1,
(z) + (z0 ) |(z) + (z0 )|
f (z) f (z0 )
L f (z0 ) f : B(0; 1) dada por (L f (z0 ) f )(z) =
1 f (z0 ) f (z)
y observe que g es inyectiva (por una demostracion similar a la que hicimos cuando
probamos que F 6= 0) / y que no se anula en . Definamos ahora h : C mediante
h(z) = Lg(z0 ) g, con Lg(z0 ) la transformacion de Mobius del ejemplo 7.6, es decir,
g(z) g(z0 )
(3) h(z) = ,
1 g(z0 )g(z)
con g(z0 ) jugando el papel de w en (1) y as h( ) B(0; 1). Note tambien que
h(z0 ) = 0 y que h es inyectiva porque g y Lg(z0 ) lo son. Se sigue que h F. Ahora,
por la regla de la cadena la derivada de h en z0 es
g0 (z0 )
(4) h0 (z0 ) = (Lg(z0 ) g)0 (z0 ) = Lg(z
0
0)
(g(z0 )) g0 (z0 ) = ,
1 |g(z0 )|2
donde observamos que, como f (z0 ) = 0, de (2) se sigue que |g(z0 )|2 = |w|. Por otra
parte, derivando en z0 ambos lados de (2) y usando que f (z0 ) = 0 se obtiene que
y as
f 0 (z0 ) 1 |w|2
0
g (z0 ) =
2g(z0 )
por lo que al substituir en (4) queda
g0 (z ) f 0 (z ) 1 |w|2 | f 0 (z )|(1 + |w|) | f 0 (z )|(1 + |w|)
0 0 0 0 0
|h (z0 )| = = = =
p
1 |w| 2g(z0 )(1 |w|) 2|g(z0 )| 2 |w|)
> | f 0 (z0 )|
Corolario 7.20. Solo hay dos clases de equivalencia conforme de regiones simple-
mente conexas: la clase que consta solo de C y la clase que consta de las regiones
simplemente conexas propias.
t
u
198 7 Aplicaciones conformes
Ejercicios
7.31. Si F C( , C), demuestre que para cada z existe un numero real M(z)
tal que | f (z)| M(z) para toda f F si y solo si para cada z el conjunto
{ f (z) : f F} tiene cerradura compacta. En este caso se dice que la familia F es
puntualmente acotada (vea la pagina 192).
En la bibliografa se han listado, de [1] a [8], libros que han sido consultados y
que dan una vision mas amplia de los temas desarrollados en las notas. De [10] a
[21] se han incluido algunos artculos consultados, ya sea por su relevancia historica
o para aclarar algunos puntos.
1. Ahlfors, L., Complex Analysis. McGraw Hill, New York, 1966.
2. Conway, J. B., Functions of One Complex Variable I. 2nd. Edition, Springer-Verlag, New
York, 1978.
3. Heins, M., Complex Function Theory. Academic Press, London, 1969.
4. Lang, S., Complex Analysis. Third Edition, Springer-Verlag, New York, 1993.
5. Remmert, R., Theory of Complex Functions. Springer-Verlag, New York, 1991.
6. Rudin, W., Real and Complex Analysis. Third Edition, McGraw Hill, New York, 1987.
7. Saks, S. and A. Zygmund, Analytic Functions. Third Edition, Elsevier, Amsterdam, 1971.
8. Sarason, D., Complex Function Theory. Second Edition, AMS, Providence, 2007.
9. Zaldvar, F., Introduccion a la teora de grupos. Reverte-SMM, Mexico, 2006.
10. Artin. E., On the Theory of Complex Functions. Collected Papers, 513-522. Addison-
Wesley, Reading, 1965.
11. Arzela, C., Sulle funzioni di linee. Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat. 5 (5)
(1895), 55-74.
12. Arzela, C., Unosservazione intorno alle serie di funzioni. Rend. Dell Accad. R. Delle Sci.
DellIstituto di Bologna (1882-1883), 142-159.
13. Ascoli, G., Le curve limiti di una varieta data di curve. Atti della R. Accad. Dei Lincei
Memorie della Cl. Sci. Fis. Mat. Nat. 18 (3) (1883-1884), 521-586.
14. Caratheodory, C., Untersuchungen uber die konformen Abbildungen von festen und
veranderlichen Gebieten. Math. Annalen 72 (1912), 107-144.
15. Dixon, J. D., A Brief Proof of Cauchys Integral Theorem. Proc. Am. Math. Soc. 29 (3)
(1971), 625-626.
16. Goursat, E., Demostration du Theoreme de Cauchy. Acta Math. 4 (3) (1884), 197-200.
17. Goursat, E., Sur la Definition Generale des Fonctions Analytiques dapres Cauchy. Trans.
Am. Math. Soc. 1 (1900), 14-16.
18. Koebe, P., Uber eine neue Methode der konformen Abbildung und Uniformisierung.
Nachrichten von der Koniglichen der Wissenschaften zu Gottingen. Mathematische-
physikalesche Klasse (1912), 844-848.
19. Montel, P., Sur les suites infinies de fonctions. Ann. de lEcole Norm. 4 (3) (1907) 233-304.
20. Osgood, W. F., On the Existence of the Greens Function for the Most General Simply Con-
nected Plane Region. Trans. Am. Math. Soc. 1 (3) (1900), 310314.
21. Pringsheim, A., Uber den Goursatschen Beweis des Cauchyschen Integralsatzes. Trans.
Am. Math. Soc. 2 (1901), 413-421.
199
Indice alfabetico
201
202 Indice alfabetico