Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoría de Funciones de Una Variable Compleja - Felipe Zaldivar PDF
Teoría de Funciones de Una Variable Compleja - Felipe Zaldivar PDF
Prefacio
Felipe Zaldvar.
Indice
general
Prefacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.
1
10
22
28
33
2.
Derivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1. Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Las ecuaciones de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3. La funcion exponencial y el logaritmo complejo . . . . . . . . . . . . . . . . .
37
37
43
52
3.
Integral de lnea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1. Trayectorias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Integral de Riemann-Stieljes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3. Integral de lnea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
63
69
74
4.
5.
6.
Singularidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.1. Singularidades aisladas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.2. Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
VII
VIII
Indice general
Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
Indice
alfabetico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
Captulo 1
*
(a, 0)
(0, b)
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
i2 = (0, 1)(0, 1) = (1, 0) = 1,
es decir, i2 = 1 por lo que i C es una raz cuadrada de 1, algo que ciertamente
no sucede en R porque el cuadrado de cualquier real es 0. Notemos ahora que
para todo complejo (0, b) en el eje imaginario se tiene que
(0, b) = (b, 0)(0, 1) = bi
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
con a, b R y donde el complejo i satisface que i2 = 1. El numero real a se llama
la parte real del complejo z = a + bi y el numero real b se llama la parte imaginaria
del complejo z = a + bi. Se suele usar la notacion
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:
z + w = (a + bi) + (c + di) = (a + b) + (b + d)i,
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:
zw = (a + bi)(c + di) = ac + adi + bci + bdi2
= ac + adi + bci bd
porque
i2
usando la distributividad
= 1
z = z.
z + w = z + w.
zw = z w.
(4)
(5)
(6)
Modulo. Dado un numero complejo z = a + bi pensandolo como un segmento dirigido en el plano podemos considerar su longitud:
6
|z|
*
b
|z| = + z z.
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:
Ejemplo 1.1. Si z = 2 + 3i y w = 4 i calculemos el cociente w/z y al final escribamoslo en la forma a + bi. Esto se hace como se indico arriba:
4i
(4 i)(2 3i)
(4 i)(2 + 3i)
8 12i 2i + 3i2
=
=
=
2 + 3i (2 + 3i)(2 + 3i) (2 + 3i)(2 3i)
4+9
5
14
5 14i
=
i.
=
13
13 13
Observacion 1.1. Es importante notar que en el campo C no puede existir una relacion de orden compatible con las operaciones de C, ya que cualquier clase positiva
P (en el caso que existiera) debe contener al 1 de C y al cuadrado de cualquier complejo 6= 0. Sin embargo, para el complejo z = i se tiene que i2 = 1 que no puede
estar en la (supuesta) clase positiva P de C, por tricotoma, ya que 1 P.
b = |z| cos()
y por lo tanto
z = a + bi = |z| cos + i |z| sen = |z|(cos + i sen ),
es decir, z = |z|(cos + i sen ), y a esta representacion de z la llamamos la forma
polar del complejo z 6= 0.
Observacion 1.2. Para transformar z = a +
bi 6= 0 a la forma polar se necesitan: el
modulo de z, el cual se obtiene con |z| = a2 + b2 , y el argumento de z. Para
calcularlo observamos que como z = a + bi 6= 0, entonces a 6= 0 o b 6= 0. Si a 6= 0,
entonces = arctan (b/a), y si b 6= 0, entonces = arccot (a/b). Con estos datos
se tiene que z = |z|(cos + i sen ). Por otra parte, para cambiar de la forma polar
z = |z|(cos +i sen ) a la forma a+bi se calculan cos() y sen() y se multiplican
por |z|.
Ejemplo
1.2. Encuentre
la representacion polar de z = 2 + 2i. En este ejemplo |z| =
sigue que
z = |z|(cos + i sen ),
calculemos su producto:
wz = |w|[cos + i sen ]|z|[cos + i sen ]
= |w||z|[cos + i sen ][cos + i sen ]
= |w||z|[cos cos + i cos sen + i sen cos + i2 sen sen ]
= |w||z|[(cos cos sen sen ) + i (sen cos + cos sen )]
= |w||z|[cos( + ) + i sen( + )],
(la u ltima igualdad se obtiene usando identidades trigonometricas para el seno y
coseno de la suma de dos a ngulos). Resumiendo, se tiene que
()
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 u til para calcular potencias zn con n 0
entero, de un numero complejo z 6= 0. En efecto, si z = |z|(cos + i sen ), entonces
zn = (|z|(cos + i sen ))n = |z|n [cos(n) + i sen(n)]
donde la u ltima igualdad se demuestra facilmente por induccion sobre n usando
la formula para el producto () de arriba. La formula anterior para zn con n 0
tambien es valida para n < 0. Para probar esto observe que si z 6= 0 y n < 0, entonces
zn = (z1 )n con n > 0 y si z = |z|(cos + i sen ) entonces
z1 = |z|1 (cos() + i sen())
ya que, como el inverso multiplicativo de z es u nico, es suficiente observar que para
z1 como arriba,
donde n > 0
n
= |z| (cos() + i sen())
n
= |z|1
[cos(n()) + i sen(n ))]
1
encontrar otro numero complejo w tal que wn = z, i.e., w = n z. Una primera pregunta que se ocurre es: cuantos complejos w existen que sean races n-esimas de z?
Aqu observamos que si z = 0 claramente la u nica raz n-esima es w = 0. Supongamos entonces que z 6= 0 y escribamoslo en forma polar z = |z|(cos + i sen ). Como 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 e stos 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:
(2)
+ 2k
n
con k Z.
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 u nico. 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
+ 2k
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 u nica 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:
|wk | =
p
n
|z|
k =
+ 2k
n
con 0 k n 1.
Ejemplo 1.4. Calcule las races cubicas de z = 1. En este ejemplo |z| = 1, su argumento es = 0 y n = 3. Si w = |w|[cos + i sen ] es una de las 3 races cubicas de
z, entonces:
p
3
|w| = 3 |z| = 1 = 1
y sus argumentos son
k =
0 + 2k
2k
=
3
3
para k = 0, 1, 2,
es decir, w1 = 1, w2 = 21 + 23 i, w3 = 21
el plano complejo obtenemos:
3
2
w1
S
o
S
S
- w0 = 1
w2
/
Ejercicios
1.1. Demuestre las propiedades de campo de C.
1.2. Demuestre que : R C es inyectiva y preserva las operaciones de R y C. De
esta forma identifica al numero real a R con el numero complejo (a, 0). Algunas
veces omitimos a la de esta notacion y escribimos a = (a, 0).
1.3. Demuestre que (0) = 0 y (1) = 1, donde en los lados izquierdos tenemos al
0 y 1 de R y en los lados derechos son los de C. Gracias a esta propiedad no existe
confusion al denotar con los mismos smbolos a los ceros y unos de R y C.
1.4. Si a R demuestre que (a) = (a). Y si a 6= 0, demuestre que (a1 ) =
(a)1 .
1.5. Sean w, z C. Demuestre que:
z = z.
z + w = z + w.
zw = z w.
Si z 6= 0, entonces (z1 ) = (z)1 .
w w
(5) Si z 6= 0, entonces
= .
z
z
(6) z R z = z (es decir, un numero complejo es un numero real si y solo si es
igual a su conjugado).
(1)
(2)
(3)
(4)
Im(z) =
1
(z z).
2i
(a)
(b)
(c)
(d)
(e)
(g)
(h)
(i)
(j)
(k)
4
.
2 3i
(2 + i)(3 + 2i)
.
1i
5
(2 + i) .
1
3 4
i .
+
2
2
n
i para n = 1, 2, 3, . . .
(c) w = (1 + i)6 .
(d) w = i203 .
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.
1.12. Calcule las races indicadas:
1. Races cuadradas de w = i.
2. Races cuartas de w = 1 + 3 i.
3. Races sextas de w = 1.
4. Races cubicas de w = 1 i.
5. Races cuartas de w = 16.
6. Races quintas de w = 32i.
10
1.1.
Usando el modulo o valor absoluto de un numero complejo, se define una distancia en C mediante
d(z, w) := dist(z, w) = |z w|,
para z, w C.
z
w
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:
12
t
u
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
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.
13
6
v
zu
zu
= t R Im
= 0,
v
v
14
por lo que
z H0 Im(z/v) > 0 sen( ) > 0 < < + ,
y por lo tanto H0 es el semiplano a la izquierda de la recta L que pasa por u = 0
paralela a v, si recorremos L en la direccion de v:
6
Lu
H0
v
-
zu
v
> 0}
Lu
Hu
Lu
u
Ku
15
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
0}
Hu := {z C : Im
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):
6
Hu
Lu
Lu
u
Ku
16
Interior y cerradura de un conjunto. Se tiene un enfoque alterno para la topologa del plano complejo. Una forma de hacerlo es definir, usando las nociones de
conjunto abierto y conjunto cerrado, dos operaciones en la familia de subconjuntos
de C como sigue: sea C cualquier subconjunto. La cerradura de , denotado
o tambien , es el conjunto
:=
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
0
y dejamos como el ejercicio 1.19 probar que:
Proposicion 1.5. Sea C. Entonces,
(1) es abierto si y solo si 0 = .
(2) es cerrado si y solo si = .
t
u
Otras propiedades del interior y la cerradura de un conjunto estan en los ejercicios.
Conexidad. Intuitivamente, un conjunto C es conexo si es de una sola pieza.
Sin embargo, la definicion mas razonable es negativa: se dice que es disconexo si
existen abiertos A, B C tales que A 6= 0,
/ B 6= 0/ y se tiene que
= (A ) (B ).
Decimos entonces que los conjuntos A y B desconectan a o que lo separan en dos
piezas, como en la figura siguiente donde es el conjunto sombreado:
17
B
A
18
zk
z2
zn
z1
Teorema 1.7. Un conjunto abierto C es conexo si y solo si para cualesquiera
dos puntos z, w existe un polgono P que une z con w.
Demostracion. Supongamos que es conexo y sea w un punto arbitrario y
sea z cualquier otro punto. Mostraremos que existe un polgono P que une
w con z. Mas bien, probaremos que el subconjunto G de siguiente es todo :
G = {z : existe un polgono P que une w con z} .
Para comenzar, note que w G ya que w se une con w mediante el polgono P =
[w, w] = {w} . Se sigue que G 6= 0.
/ Para mostrar que G = , a la luz de la
proposicion anterior, basta probar que G es abierto y cerrado relativo a . Primero,
G es abierto relativo ya que si z G existe un polgono P = [w = z1 , . . . , zn = z] .
Como z G y es abierto existe un disco B(z; ) . Como un disco es convexo
(vea el ejercicio 1.25), para cualquier u B(z; ) se tiene que [z, u] B(z; ) y
por lo tanto el polgono P [z, u] y une w con u. Se sigue que u G, para todo
u B(z; ), es decir, B(z; ) G y as G es abierto. Queremos mostrar ahora que G es
cerrado relativo, es decir, que G es abierto relativo. Si G = 0,
/ ya acabamos.
Si existe z G, como es abierto, existe un B(z; ) . Supongamos que
G B(z; ) 6= 0/ y sea u G B(z; ). Como u G existe un polgono P que une
w con u. Pero como u B(z; ), entonces (por el ejercicio 1.25) [u, z] B(z; )
y por lo tanto el polgono P [u, z] y une w con z. Se sigue que z G, una
contradiccion. Por lo tanto G B(z; ) = 0,
/ es decir, B(z; ) G y as G es
abierto como se quera.
Supongamos ahora que para todo par de puntos z, w existe un polgono
P que une z con w. Si no fuera conexo, digamos = (A ) (B )
donde A, B C son abiertos no vacos y disjuntos, entonces escojamos z A y
w B . Por hipotesis existe un polgono P que une z con w. Observe ahora
que no puede suceder que todos los segmentos de P esten contenidos en uno solo de
los conjuntos A o B ya que entonces se tendra que P A o P B, lo cual contradice
el hecho de que los extremos z A y w B. Se sigue que existe un segmento [z0 , w0 ]
de P tal que z0 A y w0 B. Usando este segmento [z0 , w0 ] defina
S = {s [0, 1] : sw0 + (1 s)z0 A} R,
T = {t [0, 1] : tw0 + (1 t)z0 A} R.
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 segmento [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
19
20
\
n1
B(z0 ; 1/n) =
(C B(z0 ; 1/n)) =
n1
Un
n1
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
K
n
[
Uk = Un = C B(z0 ; 1/n)
k=1
Ejercicios
1.16. Demuestre que un semiplano abierto es un conjunto abierto.
1.17. Demuestre que un semiplano cerrado es un conjunto cerrado.
1.18. Describa los siguientes subconjuntos de C:
(a) {z C : Im(z) > 0}.
(b)
(c)
(d)
(e)
(f)
{z C
{z C
{z C
{z C
{z C
:
:
:
:
:
21
0 = C (C ) .
= C (C )0 .
= 0.
= (C ) .
22
1.2.
si y solo si
lm{an } = a
lm{bn } = b.
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:
23
Lema 1.11. C es cerrado si y solo si para toda sucesion {an } , si la sucesion converge, su lmite esta en .
Demostracion. Si es cerrado y {zn } es tal que lm{zn } = z C, entonces
para todo > 0 existe N N tal que si n > N se tiene que zn B(z; ). Pero como
zn , entonces zn B(z; ) , i.e., para todo > 0, B(z; ) 6= 0/ y as, por el
ejericico 1.21, se sigue que z = porque es cerrado. Supongamos ahora
que z . Por el ejercicio 1.21, para todo > 0 existe un z B(z; ) . En
particular, para = 1/n con n N existen zn B(z; 1/n) y se tiene as una
sucesion {zn } tal que para cada n se tiene que zn B(z; 1/n) y por lo tanto
{zn } z, donde por hipotesis z . Se sigue que = .
t
u
Si C, un punto z C es un punto de acumulacion o punto lmite de si
para todo disco B(z; ) centrado en z se tiene que B(z; ) {z} 6= 0.
/ Por el
ejercicio 1.21 (b) lo anterior es equivalente a que z ( {z}) .
Lema 1.12. Si C, un punto z C es un punto de acumulacion de si y solo si
existe una sucesion {zn } {z} tal que z = lm{zn }.
Demostracion. Si z es punto de acumulacion de
, por definicion, para = 1/n
con n N, existe un zn B(z; 1/n) {z} . Para la sucesion {zn } {z}
anterior observe que para todo > 0 escogiendo N N tal que 1/N < se tiene que
si n N, entonces |zn z| < 1/n 1/N < , es decir, lm{zn } = z. Recprocamente,
si existe una tal sucesion, entonces para todo > 0 existe un N tal que para n N se
tiene que |zn z| < , es decir, zn B(z; ) y cada zn 6= z porque {zn } {z}.
t
u
Proposicion 1.13. Un conjunto C es cerrado si y solo si contiene todos sus
puntos de acumulacion.
Demostracion. Supongamos que es cerrado. Si z es un punto de acumulacion de
y si sucediera que z 6 , entonces z C , que es abierto porque es cerrado.
Entonces, z es punto interior de C y as existe un disco B(z; ) C . Por
lo tanto B(z; ) = 0/ lo cual contradice el que z sea punto de acumulacion. Se
sigue que z . Recprocamente, si contiene a todos sus puntos de acumulacion,
mostraremos que C es abierto. En efecto, sea z C . Entonces z no es punto
de acumulaci
on de y por lo tanto existe un disco B(z; ) tal que 0/ = B(z; )
{z} = B(z; ) (porque z 6 implica que {z} = ) y por lo tanto
B(z; ) C . Se sigue que C es abierto.
t
u
Sucesiones de Cauchy. Si {sn } es una sucesion de complejos tal que lm{sn } =
L C, observe que para todo > 0 existe un N N tal que si m, n N se tiene
que |sm sn | < . En efecto, como lm{sn } = L, para > 0 existe un N N tal que
|sm L| < /2 siempre que m N. Se sigue que si m, n N entonces
|sm sn | = |sm L + L sn | |sm L| + |sn L| < /2 + /2 = ,
24
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
diam A := sup{|z w| : z, w A}.
n=1
25
M-
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]:
6
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)
C1
(1)
C1
(1)
(3)
C1
(2)
C1
26
Series de numeros
complejos. Si {an } es una sucesion de complejos, considere las
sumas parciales:
sn = a1 + a2 + + an
y note que estas definen una nueva sucesion {sn }, llamada la sucesion de sumas
parciales de {an }. A esta sucesion de sumas parciales se le llama la serie o serie
infinita asociada a la sucesion {an } y se denota por
{sn } =
an .
n=0
lm inf{an } =
27
Ejercicios
1.29. Si {zn } es una sucesion convergente en C, demuestre que su lmite es u nico. Si
{zn } y {wn } son dos sucesiones convergentes, con lmites L1 y L2 , respectivamente,
demuestre que
(1) La suma de las sucesiones {zn + wn } converge a L1 + L2 .
(2) El productto de las sucesiones {zn wn } converge a L1 L2 .
(3) El cociente (cuando esta definido) de las sucesiones {zn /wn } converge a L1 /L2
si L2 6= 0.
1.30. Demuestre que si {zn } es convergente, entonces es acotada. De un contraejemplo para mostrar que el recproco es falso.
1.31. Demuestre que toda sucesion acotada tiene una subsucesion convergente.
1.32. Si C demuestre que = {z C : z es punto de acumulacion de }.
1.33. Demuestre que K C es compacto si y solo si todo subconjunto infinito de K
tiene un punto de acumulacion en K.
1.34. Demuestre que diam A = diam A, para todo A C.
1.35. Demuestre que si
on {zn } converge
n=0 zn es convergente, entonces la sucesi
a 0. La afirmacion recproca es falsa: considere la serie armonica
n=0 1/n.
1.36. Demuestre que toda serie
n=0 zn absolutamente convergente, es convergente.
De un contraejemplo de una serie convergente que no es absolutamente convergente.
1.37. Demuestre que lm sup{an } = si y solo si lm{an } = .
1.38. Demuestre que lm sup{an } = si y solo si existe una subsucesion de {an }
cuyo lmite es .
1.39. Demuestre que lm sup{an } = R si y solo si para todo > 0 el conjunto
{n : an } es acotado y el conjunto {n : an > } es no acotado.
1.40. Si R y {an } R, demuestre que lm{an } = si y solo si lm sup{an } =
= lm inf{an }.
1.41. Si lm sup{an } = R, demuestre que para toda subsucesion convergente
{bn } de {an } se tiene que lm{bn } . Mas aun, demuestre que existe una subsucesion {bn } tal que lm{bn } = .
28
1/n
1
n!
an = L1 y
n=0
absolutamente. Defina cn =
= 0.
n=0
k=0
1.3.
Si C, estaremos interesados en funciones f : C y en esta seccion estudiaremos sus propiedades generales basicas: su comportamiento bajo lmites y
su continuidad. Para comenzar, observe que como el codominio de estas funciones es el campo de numeros complejos, las funciones anteriores se pueden sumar,
restar y multiplicar (y dividir, siempre y cuando el denominador no sea cero). Las
definiciones son las usuales: si f , g : C son dos funciones, su suma es la funcion f + g : C definida por ( f + g)(z) = f (z) = g(z), su producto es la funcion f g : C dada por ( f g)(z) = f (z)g(z). La resta f g : C esta dada
por ( f g)(z) = f (z) g(z) y el cociente f /g tiene como dominio al conjunto
0 := {z : g(z) 6= 0} y se define, para z 0 mediante ( f /g)(z) = f (z)/g(z).
Si f : C y g : C son dos funciones tales que para todo z se tiene que
f (z) , es decir, la imagen del conjunto bajo f
f ( ) := { f (z) : z }
esta contenida en , entonces se define la composicion
g f : C
29
zz0
zz0
(2) lm ( f g)(z) = lm f (z) lm g(z) .
zz0
zz0
zz0
(3) Si lm g(z) 6= 0, entonces lm f (z)/g(z) = lm f (z)
lm g(z) .
zz0
zz0
zz0
zz0
t
u
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 ); ):
f 1 (B( f (z0 ); )) := {z : f (z) 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 . Entonces,
30
(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
V 6= 0.
/ Entonces, f 1V 6= 0/ y f 1V es abierto y cerrado en el conexo porque f es
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
S
6= 0/ y sea {Vi } una cubierta abierta de f ( ), es decir, f ( ) i Vi . Entonces,
{ f 1Vi } es una cubierta abierta de , y como es compacto, entonces existe una
subcubierta finita, digamos f 1V1 f 1Vn . Se sigue que
f ( ) f f 1V1 f 1Vn f ( f 1V1 f f 1Vn V1 Vn
y por lo tanto V1 , . . . ,Vn es una subcubierta finita de f ( ).
t
u
31
(1)
t
u
32
Ejercicios
1.49. Sea f : C una funcion y z0 un punto de acumulacion de . Si el lmite
lmzz0 f (z) existe, demuestre que es u nico.
1.50. Demuestre la proposicion 1.16.
1.51. Demuestre la proposicion 1.18.
1.52. Sean f : C y g : C funciones. Sea z0 un punto de acumulacion
de tal que lmzz0 f (z) = w0 y suponga que g es continua en w0 . Demuestre
que
lm (g f )(z) = g( lm f (z)) = g(w0 ).
zz0
zz0
si y solo si para toda sucesion {zn } {z0 } que converge a z0 se tiene que
lm{ f (zn )} = L.
1.54. Si K C es compacto y f : K C es continua, demuestre que existe un punto
z0 K tal que
| f (z0 )| = sup{| f (z)| : z K}.
As, en un compacto el modulo de una funcion continua alcanza su maximo.
1.55. Si K C es compacto y f : K C es continua, demuestre que existe un punto
z0 K tal que
| f (z0 )| = nf{| f (z)| : z K}.
(En un compacto el modulo de una funcion continua alcanza su mnimo).
1.56. De un ejemplo de una funcion continua que no es uniformemente continua.
1.57. Si f , g : C son uniformemente continuas, demuestre que f + g tambien
lo es.
1.58. Si f : C es uniformemente continua y {zn } es una sucesion de Cauchy
en , demuestre que { f (zn )} es una sucesion de Cauchy en C.
1.59. Demuestre que d(z, ) = d(z, ).
1.60. Si C, un subconjunto A es denso en si A = . Por ejemplo, el
conjunto A = {a + bi : a, b Q} C es denso en C. Suponga que f , g : C son
dos funciones continuas tales que f (z) = g(z) para todo z A, donde A es denso en
. Demuestre que f = g.
33
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.62. Si z0 es un punto aislado, demuestre que cualquier funcion f : C es
continua en z0 .
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.
1.64. Si 0/ 6= A C, demuestre que la funcion f : C dada por f (z) =
d(z, A) es de Lipschitz.
1.65. Demuestre que la funcion f : C C dada por f (z) = |z| es de Lipschitz.
1.66. Demuestre que la funcion f : R R dada por f (x) = x2 no es de Lipschitz.
1.4.
34
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}
definida, para un complejo w = (x, y, 0) C, considerando la recta Lw que pasa por
w y N:
Lw := {(x1 , y1 , z1 ) = (0, 0, 1) + t(x, y, 1) = (tx,ty, 1 t) : t R},
y que corta a S en el punto
(2)
(w) =
2y
|w|2 1
2x
,
,
.
1 + |w|2 1 + |w|2 1 + |w|2
(N) =
() = N.
35
Ejercicios
1.67. Por definicion, un crculo en S es la interseccion de un plano en R3 con S.
Recuerde que un plano en R3 tiene una ecuacion cartesiana de la forma Ax + by +
Cz+D = 0. Usando la proyeccion estereografica (1), demuestre que la proyeccion de
un crculo S en S corresponde a un crculo T en el plano C si el crculo S no contiene
al polo norte. Demuestre que si S contiene al polo norte, entonces su proyeccion T
en C es una recta.
1.68. Demuestre el recproco del ejercicio anterior. Es decir, si T es un crculo en C,
bajo la inversa (2) de la proyeccion estereografica su imagen S en S es un crculo. Si
T es una recta en C, demuestre que su imagen bajo (2) es un crculo en S menos el
polo norte.
1.69. Sea dc : C C C la distancia cordal. Demuestre que, en efecto, es una
distancia, es decir, satisface las condiciones:
dc (z, w) 0, y dc (z, w) = 0 si y solo si z = w.
dc (z, e) = dc (w, z).
dc (z, w) dc (z, u) + dc (u, w), para cualquier u C .
1.70. Si z, w C , demuestre que
dc (1/z, 1/w) = dc (z, w).
1.71. Si z, w C, demuestre que
dc (z, w) = p
2|w z|
p
.
1 + |z|2 1 + |w|2
Captulo 2
Derivacion
En este captulo comenzamos introduciendo el concepto de derivada de una funcion f : C en un punto z para despues considerar funciones derivables
en todos los puntos de su dominio (un abierto de C), probamos sus principales propiedades e ilustramos la teora con varios ejemplos de funciones derivables
(polinomios, funciones racionales, la exponencial compleja, logaritmos, potencias
y funciones trigonometricas).
2.1.
Derivadas
wz
f (w) f (z)
.
wz
h0
f (z + h) f (z)
h
37
38
2 Derivacion
f (z + h) f (z)
=
h
(
1
si h R,
1 si h Ri
t
u
zz0
t
u
2.1 Derivadas
39
zz0
f (z) f (z0 )
z z0
f (z) f (z0 ) si z 6= z ,
0
(z) =
z z0
0
f (z0 )
si z = z0 .
Entonces claramente es continua en z0 y si z 6= z0 se tiene que
f (z) f (z0 ) = (z)(z z0 )
y para z = z0 obviamente tambien se cumple la igualdad anterior.
t
u
40
2 Derivacion
(1)
(2)
2.1 Derivadas
41
t
u
Diferenciabilidad como aproximacion lineal. La proposicion siguiente esencialmente dice que la diferenciabilidad de una funcion f en z0 es equivalente a que f es
aproximada en z0 por la funcion lineal f (z0 ) + c(z z0 ), donde c C es constante,
en el sentido que cuando z esta cerca de z0 la diferencia entre f (z) y f (z0 )+c(zz0 )
es pequena comparada con |z z0 |:
Proposicion 2.6 (Diferenciabilidad como aproximacion lineal). Sean C un
abierto y f : C una funcion. Entonces, f es diferenciable en z0 si y solo
si f se puede escribir de la forma
f (z) = f (z0 ) + c(z z0 ) + (z)(z z0 )
()
zz0
f (z) f (z0 )
f 0 (z0 ) si z 6= z0
zz
0
(z) =
0
si z = z0 .
satisface que lm (z) = 0 y ademas es continua en z0 . Recprocamente, si f (z) es
zz0
42
2 Derivacion
f (z) f (z0 )
= c + (z)
z z0
por lo que
lm
zz0
f (z) f (z0 )
z z0
= lm c + (z) = c
zz0
t
u
Ejercicios
2.1. En la formulacion de Caratheodory, demuestre que a lo mas hay una u nica
funcion que satisface las condiciones impuestas.
2.2. Usando la caracterizacion de la derivada por Caratheodory, demuestre la proposicion 2.1 y convenzase de la bondad de la formulacion de Caratheodory.
2.3. Si f : R C la escribimos como f (t) = u(t) + iv(t), con u, v : R
y si f 0 (t0 ) existe para t0 , demuestre que
f 0 (t0 ) = u0 (t0 ) + iv0 (t0 ).
2.4 (Teorema de Rolle). Si a, b R con a < b y f : [a, b] R es continua, y ademas
es derivable en (a, b), demuestre que si f (a) = f (b), existe un (a, b) donde f
alcanza su maximo o mnimo.
2.5 (Teorema del valor medio). Si a, b R con a < b y f : [a, b] R es continua
y ademas es derivable en (a, b), demuestre que existe un (a, b) tal que
f 0 ( ) =
f (b) f (a)
.
ba
43
g0 ( f ( )) =
f 0 ( )
2.2.
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+h
z+h
6
z+h
?
-
z 6
z+h
z+h
44
2 Derivacion
f 0 (z) = lm
h0
45
e igualando partes reales con partes reales y partes imaginarias con partes imaginarias se obtiene que
u v
=
x y
u
v
= .
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 porque 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)
x2 + y2
f (z) = f (x + iy) =
si z 6= 0,
si z = 0.
f (0 + h) f (0)
f (h) 0
xy
x2 +y2
lm
= lm
= lm
= lm
2
h0
h0
h0 x + iy
h
h
x
+ y2
(x,y)(0,0)
es un lmite que no existe (por ejemplo a lo largo de las rectas y = mx su valor
m
depende de m, a saber 1+m
2 ).
Comparacion con la nocion de diferenciabilidad para funciones reales. Pensando a una region C como un abierto conexo de R2 , considere ahora funciones
reales u : R2 R y recuerde que u es diferenciable (como funcion real) en el
punto z0 = (x0 , y0 ) si y solo si existen numeros reales a, b R y una funcion
: R continua en z0 tal que (x0 , y0 ) = 0 que satisfacen que para z = (x, y)
en una vecindad de z0 se tiene que
q
u(x, y) = u(x0 , y0 ) + a(x x0 ) + b(y y0 ) + (x, y) (x x0 )2 + (y y0 )2 .
Se sigue que u tiene primeras derivadas parciales en z0 dadas por ux (z0 ) = a y
uy (z0 ) = b, y por lo tanto la expresion anterior para u(z) es u nica. Mas aun, u es
continua en z0 . Note tambien que podemos reescribir la igualdad anterior como
46
2 Derivacion
zz0
zz0
(z) =
lm (z) = 0 lm 1 (x, y) = 0
zz0
zz0
lm 2 (x, y) = 0.
zz0
47
48
2 Derivacion
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 derivadas de todos los o rdenes 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 teorema 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 importancia 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 funciones 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
tiene primera derivada en todo su dominio pero no tiene segunda derivada en 0.
Lo anterior se debe a que, como observamos al principio de esta seccion, cuando se tiene una funcion compleja holomorfa f , el lmite que define a las derivadas
f 0 (z) es el mismo no importando en la direccion en la cual h 0 en C, lo cual
condiciona mucho a la funcion f en una vecindad de z. La riqueza de la teora de
funciones de una variable compleja deriva, en mucho, de lo enunciado en la observacion anterior y que sera demostrado hasta el teorema 4.5. Antes de proseguir, en la
1 Tambi
en se dice que f es diferenciable en o que f es analtica en . De hecho este u ltimo
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.
49
f 0 (z) =
v v
u
u
+i
=
i
x
x y
y
f
u
v
:=
+i
x
x
x
f
u
v
:=
+i
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
(3)
f
1f
=
x
i y
f
f
=
.
x
y
Usando los operadores diferenciales anteriores es conveniente entonces definir, como lo hace Wirtinger, los operadores diferenciales parciales complejos siguientes:
(4)
f
1 f
f
:=
i
z
2 x
y
f
1 f
f
:=
+i
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 diferenciales reales originales como
(5)
f
f f
=
+
x
z z
f f
f
=i
.
y
z z
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
(6)
f
=0
z
50
2 Derivacion
f 0 (z) =
f
z
ya que, por la proposicion 2.8 y por (5) se tienen las dos primeras igualdades siguientes
f
f f
f
f 0 (z) =
=
+
=
x
z z
z
y la u ltima igualdad es porque f esta en el nucleo de / z.
Funciones armonicas. Si f = u + iv : C es holomorfa, como hemos mencionado 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
=
x y
u
v
=
y
x
2u
2v
=
2
x
x y
2u
2v
=
,
2
y
y x
(1)
se obtiene que
donde
que
(2)
2v
x y
2v
y x
51
Ejercicios
2.9. Si C es una region, defina := {z C : z }. Si f : C es holomorfa, defina f : C mediante f (z) := f (z). Demuestre que f es holomorfa.
2.10. Si = , observe que es simetrica con respecto al eje real y por el ejercicio anterior se sigue que la funcion g : C dada por
g(z) := f (z) f (z)
es holomorfa.
2.11. Todo complejo z = x + iy 6= 0 se puede escribir en coordenadas polares como
z = r(cos + i sen ) donde r = |z| y = arg(z) = arctan(y/x). Demuestre que en
coordenadas polares, las ecuaciones de Cauchy-Riemann tienen la forma
u 1 v
=
r
r
v
1 u
=
.
r
r
52
2 Derivacion
2.21. Si f : C es holomorfa, una region y los valores de f son reales, demuestre que f es constante.
2.22. Pensando a una region C como R2 y a una funcion compleja f :
2
2
C como una funci
on vectorial de dos variables f : R R dada por
f (x, y) = u(x, y), v(x, y) , la matriz Jacobiana de f en z0 es de la forma
u (z ) u (z )
J f (z0 ) = x 0 y 0 .
vx (z0 ) vy (z0 )
Que forma tiene la matriz Jacobiana de f si f es holomorfa? Demuestre que para
z0 ,
| f 0 (z0 )|2 = det J f (z0 ).
p
2.23. Muestre que la funcion f (z) = f (x, y) = |xy| no es diferenciable en el origen
aunque satisface las ecuaciones de Cauchy-Riemann en 0.
2.3.
E(z + w) = E(z)E(w).
E(x) = ex , si z = x R.
E debe ser holomorfa en todo C, en particular satisface las ecuaciones de
Cauchy-Riemann.
Escribiendo z = x + iy, de (1) y (2) se sigue que
E(z) = E(x + iy) = E(x)E(iy) = ex E(iy)
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)
53
es decir, A00 = A. Similarmente, B00 = B. Nos preguntamos entonces: que funciones reales A, B : R R que conozcamos satisfacen las igualdades A00 = A y
B00 = B? Claramente, las funciones seno y coseno satisfacen las identidades anteriores y por lo tanto podemos proponer
A(y) := a cos y + b sen y
de donde se obtiene que
B(y) = A0 (y) = b cos y + a sen y
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
por lo que, para z = 0 se sigue que
1 = e0 = E(0) = a cos 0 + b sen 0 + i b cos 0 + a sen 0 = a ib
lo cual sucede si y solo si a = 1 y b = 0. Hemos as mostrado que
A(y) = cos y
B(y) = sen y
54
2 Derivacion
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
y por la parte (5) de la proposicion anterior se sigue que e = 1. Escribiendo =
a + bi, se sigue que
1 = |e | = |ea (cos b + i sen b)| = ea
y por lo tanto a = 0. Es decir, = bi es puramente imaginario. Se sigue que
1 = e = ebi = cos b + i sen b,
por lo que sen b = 0 y cos b = 1. Es decir, b = 2n con n Z y por lo tanto
= bi = 2ni,
con
n Z.
55
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
z = log |w| + i( + 2n)
con
n Z.
t
u
con
n Z.
para todo w
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 e sto se elige = C (, 0]:
6
(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 Caratheodory de la derivada si w0 y z0 = log(w0 ), se tiene que
ez ez0 = (z)(z z0 )
donde : C C es holomorfa y (z0 ) = exp0 (z0 ) = ez0 6= 0. De la igualdad
w w0 = exp(log w) exp(log w0 ) = (log w)(log w log w0 )
se sigue que
log(w) log(w0 ) =
1
(w w0 )
(log w)
y as
log0 (w) =
1
1
1
=
= .
(log w) exp(log w) w
t
u
Potencias complejas. Queremos definir ahora las potencias az para a, z C y queremos que estas potencias generalizen las potencias usuales, digamos an con n Z.
Como n puede ser negativo, debemos eliminar el caso cuando a = 0 para evitar divisiones por cero. As, supongamos de inicio que a C {0} y que z C es arbitrario
y queremos definir az con las propiedades usuales:
(1) a0 = 1.
(2) a1 = a.
0
0
(3) az+z = az az .
57
Es decir, queremos una funcion f : C C que satisfaga las tres condiciones anteriores 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
1 = f (0) = f (z z) = f (z) f (z) = 0
una contradiccion. As la funcion buscada tiene codominio C {0}. Ahora, de (1)
y (3) se tiene que
f (z + w) f (z) = f (z) f (w) f (z) f (0) = f (z) f (w) f (0)
y as, por la definicion de derivada en el sentido de Caratheodory (ya que estamos
pidiendo que f sea holomorfa, en particular es continua) se debe tener
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
f (z) c exp(cz) + f 0 (z) exp(cz) = c f (z) exp(cz) + c f (z) exp(cz) = 0
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
az = exp(z log a) = exp(z(log |a| + i )) exp(2inz)
con n Z.
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).
Funciones trigonometricas complejas. Observe que si z = iy con y R, entonces
(1)
y como ez = ez , entonces
58
(2)
2 Derivacion
sen y =
1 iy
e eiy .
2i
Por otra parte, sumando (1) y (2) queda eiy + eiy = 2 cos y, por lo que
(4)
cos y =
1 iy
e + eiy .
2
Las identidades (3) y (4) motivan definir las funciones seno y coseno complejos,
sen, cos : C C, mediante
sen(z) =
1 iz
e eiz
2i
y
1 iz
e + eiz .
2
Como la exponencial es holomorfa, se sigue que las funciones seno y coseno
complejos son holomorfas tambien. Es inmediato de su definicion que
cos z =
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.
59
Z b
(s,t)ds.
lm g(t) = lm
tt0
tt0 a
Z b
Z b
(s,t)ds =
lm (s,t)ds =
a tt0
Por otra parte, para un s [a, b] fijo, la funcion : [c, d] C dada por
() := (s, ) 2 (s,t0 )
es primitiva de 2 (s, ) 2 (s,t0 ). As, por el teorema fundamental del calculo
Z t
t0
t
[2 (s, ) 2 (s,t0 )]d = (s, ) 2 (s,t0 )
t0
(s,t) (s,t )
0
2 (s,t0 .
t t0
60
2 Derivacion
g(t) g(t0 )
=
t t0
Rb
a
Rb
a
se sigue que
Z b
g(t) g(t ) Z b
Z b [(s,t) (s,t )]
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
t t0
a
(b a),
Por lo tanto,
g0 (t0 ) =
Z b
a
2 (s,t0 )ds,
t
u
como se quera.
Proposicion 2.16. Si es una region convexa, por ejemplo un disco abierto, entonces 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
()
v(x, y) :=
b
ux (x,t)dt
Z x
a
uy (s, b)ds
vx (x, y) =
uxx (x,t)dt
Z y
b
d
dx
Z x
a
uy (s, b)ds
porque u es armonica
por el teorema fundamental del calculo
= uy (x, y),
por lo que uy = vx . Ahora, derivando con respeto a y ambos lados de () queda
vy (x, y) = ux (x, y)
Z x
a
61
Ejercicios
2.24. Para la recta horizontal L = {z C : Im(z) = b}, demuestre que su imagen
bajo la exponencial compleja exp : C C {0} es un rayo basado en el origen y
quitando el {0}.
2.25. Para la recta vertical L = {z C : Re(z) = a}, demuestre que su imagen bajo
la exponencial compleja exp : C C {0} es un crculo con centro en el origen y
radio ea .
2.26. Demuestre las identidades siguientes:
1. sen(z) = sen z.
2. cos(z) = cos z.
3. sen2 z + cos2 z = 1.
4. sen(w + z) = sen w cos z + sen z cos w.
5. cos(w + z) = cos w cos z sen w sen z.
6. sen(2z) = 2 sen z cos z.
2.27. Demuestre que los ceros de las funciones seno y coseno complejas son los
mismos que los de las funciones reales correspondientes.
2.28. Concluya del ejercicio anterior que las funciones complejas sen z y cos z son
periodicas con perodos reales de la forma = 2k con k Z. Es decir, sus dominios
de periodicidad son bandas verticales de ancho 2.
2.29. Se definen las otras funciones trigonometricas complejas, en terminos del seno
y coseno complejos, como es usual:
tan z =
sen z
,
cos z
cot z =
cos z
,
sen z
sec z =
1
,
cos z
csc z =
1
.
sen z
Encuentre sus dominios y muestre que son holomorfas en su dominio y sus derivadas son las esperadas.
2.30. Demuestre las identidades usuales para las funciones trigonometricas del ejercicio anterior. Muestre que son periodicas y determine sus perodos.
2.31. Las funciones trigonometricas hiperbolicas se definen como sigue
1
senh z = (ez ez )
2
1
cosh z = (ez + ez )
2
senh z
tanh z =
cosh z
cosh z
senh z
1
sech z =
cosh z
1
csch z =
.
senh z
coth z =
1. Observe que senh z y cosh z son holomorfas en todo C. Encuentre los mayores
dominios donde las otras funciones hiperbolicas anteriores son holomorfas
2. Obtenga expresiones para las derivadas de las funciones hiperbolicas.
3. Demuestre las identidades siguientes:
62
2 Derivacion
cosh2 z senh z2 = 1
cos z = cosh iz
u
z
es holomorfa.
u 2u
2u
+r
+
= 0.
2
r
r 2
Captulo 3
Integral de lnea
En este captulo desarrollamos la teora basica de la integral (de lnea) para funciones complejas. Comenzamos con las nociones de trayectoria parametrizada y de
curva en el plano complejo. Despues, se define la nocion de integral de RiemannStieljes 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
(a)
Si el extremo inicial de : [a, b] es igual a su extremo final, (a) = (b),
se dice que es una trayectoria cerrada. Si 0 (t) existe para todo t [a, b] y la
funcion 0 : [a, b] C es continua, diremos que es una trayectoria lisa. Si existe
una particion P = {a = t0 < t1 < < tn = b} del intervalo [a, b] tal que en cada
subintervalo la restriccion |[tk1 ,tk ] es lisa, diremos que es lisa por tramos.
En general, si : [a, b] C es una funcion y P = {a = t0 < t1 < < tn = b}
es una particion del intervalo [a, b], consideremos el polgono asociado a P y , a
saber:
[(a) = (t0 ), (t1 ), . . . , (tn ) = b]
63
64
3 Integral de lnea
v(; P) :=
(tk1 )
y por la desigualdad del triangulo se tiene que
v(; P) =
j6=k
j6=k
= v(; Q).
3.1 Trayectorias
65
`ba () =
`a jj1 ().
j=1
v( + ) =
|( + )(tk ) ( + )(tk1 )|
k=1
n
k=1
Z b
f (t)dt :=
a
Z b
u(t)dt + i
a
v(t)dt,
a
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
a
Z t
u(s)ds + i
f (s)ds =
F(t) :=
v(s)ds,
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
Zb
| f (t)|dt,
f (t)dt
a
ya que
Z
Z b
Z b
Z b
Z b
v(t)dt
u(t)dt +
u(t)dt + i
v(t)dt
f (t)dt :=
a
Z b
|u(t)|dt +
Z b
|v(t)|dt,
`() =
| 0 (t)|dt.
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
v(; P) = |((tk )(tk1 )| =
k=1
k=1
tk
tk1
n Z
0 (t)dt
tk
| 0 (t)|dt =
k=1 tk1
Z b
| 0 (t)|dt
donde en la segunda igualdad usamos el teorema fundamental del calculo. La desigualdad anterior implica que
`()
(1)
Z b
| 0 (t)|dt,
k=1
3.1 Trayectorias
Z b
a
67
n
n Z
| 0 (t)|dt + | 0 (k )|(tk tk1 ) = +
k=1
k=1
tk
tk1
0 (k )dt
(porque (k ) es constante)
n Z tk
n Z
+
[ 0 (k ) 0 (t)]dt +
k=1
tk1
k=1
tk
tk1
0 (t)dt
n
n
| 0 (t)|dt + (tk tk1 ) + (tk ) (tk1 )
k=1
k=1
= + (b a) + v(; P) (1 + b a) + `(),
por lo que, para 0+ se sigue que
Z b
(2)
| 0 (t)|dt `().
t
u
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
r
0-
`() =
0
|(reit )0 |dt =
Z 2
0
|rieit |dt = r
Z 2
0
2
dt = rt = 2.
0
68
3 Integral de lnea
1 + i
1+i
6
1 i
1i
(1 4t)(1 i) + 4t(1 + i)
(2 4t)(1 + i) + (1 + 4t)(1 + i)
(t) =
(3 4t)(1 + i) + (2 + 4t)(1 i))
(4 4t)(1 i) + (3 + 4t)(1 i)
si t [0, 1/4],
si t [1/4, 1/2],
si t [1/2, 3/4],
si t [3/4, 1].
Z
(1 4t)(1 i) + 4t(1 + i) 0 dt =
1/4
1/4
|8i|dt = 8t = 2.
0
Ejercicios
3.1. Sea : [0, 1] C dada por
0
si t = 0,
1 i
(t) =
exp
+
si 0 < t 1.
t
t
Demuestre que es rectificable y continua. Bosqueje su imagen y encuentre su
longitud.
3.2. Sea : [0, 1] C dada por
(
0
si t = 0,
(t) =
t + it sen(1/t) si 0 < t 1.
Muestre que es continua pero no es rectificable. Bosqueje su imagen.
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?
69
si 1 t 0,
si 0 t 1.
3.2.
Integral de Riemann-Stieljes
S( f , ; P) :=
f (k )[(tk ) (tk1 )]
k=1
I=
Z b
f d =
a
f (t)d(t).
a
70
3 Integral de lnea
Fm = cerrradura de
o
con k [tk1 ,tk ] ,
entonces,
(1) F1 F2 F3 .
2
`().
m
Notese que una vez que se hayan probado
(1) y (2), por el teorema de Cantor
T
1.14 existe un u nico numero complejo I Fm y este complejo I satisface que si
> 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
(2) diam Fm
diam Fm = diam
o
k [tk1 ,tk ] ,
k=1
(3)
1
`()
m
y como en las observaciones antes del lema 3.1 basta considerar el caso cuando Q
tiene un u nico punto t 0 mas que P, digamos P = {a = t0 < < tn = b} y Q = {a =
t0 < < t j1 < t 0 < t j < < tn = b}. Entonces,
S(Q) =
k6= j
k6= j
71
S(P) S(Q) = f (k ) f (bk ) (tk ) (tk1 ) + f ( j ) (t j ) (t j1 )
k6= j
f ( 0 ) (t 0 ) (t j1 ) f ( 00 ) (t j ) (t 0 )
(y como P Pm , entonces |k bk | < m y as | f (k ) f (bk )| < i/m)
1
(tk ) (tk1 ) + f ( j ) f ( 0 ) (t 0 ) (t j1 )
m k6= j
+ f ( j ) f ( 00 ) (t j ) (t 0 )
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
Z b
( f + g)d =
(1)
a
(2)
Z b
f d +
Z
f d( + ) =
gd.
a
f d +
f d .
Z b
f d =
a
Z ck
k=1 ck1
f dk ,
72
3 Integral de lnea
( f + g)d = lm
kPk0
= lm
o
(
f
+
g)(
)[(t
)
(t
)]
k
k
k1
k=1
n n
kPk0
f (k )[(tk ) (tk1 )]
k=1
+ lm
kPk0
Z b
o
g(
)[(t
)
(t
)]
k1
k k
k=1
Z b
f d +
gd.
La parte (2) es similar a la anterior y (3) se demuestra como la parte (1) del lema
3.1.
t
u
En el caso cuando es lisa por tramos, la integral de Riemann-Stieljes se puede
calcular como una integral compleja de variable real:
Teorema 3.5. Si : [a, b] C es lisa por tramos y f : [a, b] C es continua, entonces
Z b
Z b
f d =
f (t) 0 (t)dt.
a
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
f d =
a
Z b
f d(u + iv) =
a
Z b
f du + i
a
f dv
a
f (t) 0 (t)dt =
Z b
f (t)u0 (t)dt + i
Z b
f (t)v0 (t)dt
Z b
f du =
a
f (t)u0 (t)dt
Z b
Z b
f dv =
y
a
f (t)v0 (t)dt.
n
f du f (k )[u(tk ) u(tk1 )] < /2
k=1
73
(2)
n
f (t)u0 (t)dt f (k )u0 (k )(tk tk1 ) < /2.
k=1
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
u0 (k ) =
(3)
u(tk ) u(tk1 )
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
f du
Z b
a
Z
f (t)u0 (t)dt =
Z
a
b
Z
f du S(P)
Z
f du S(P) +
f (t)u0 (t)dt S(P)
a
f (t)u0 (t)dt S(P)
< /2 + /2 = .
t
u
Ejercicios
3.7. Si f : [a, b] C es continua y : [a, b] C es la trayectoria (t) = t, muestre
que
Z b
Z b
f d =
a
Z b
f (t)dt =
a
Z b
u(t)dt + i
a
v(t)dt
a
donde en el lado derecho se tienen las integrales de Riemann usuales. As, la integral
de Riemann-Stieljes generaliza a integral de Riemann.
3.8. Si : [a, b] C es una trayectoria rectificable, defina la funcion || : [a, b]
R C mediante
||(t) = ` [a,t]
(la longitud de la trayectoria restringida al intervalo [a,t]). Demuestre que || es
continua, creciente y rectificable.
3.9. Con la notacion e hipotesis del ejercicio anterior, si f : [a, b] C es continua,
demuestre que
Z b
Zb
f d
| f |d||.
a
3.10. Con la notacion e hipotesis del ejercicio anterior, si ademas (t) = t para todo
t [a, b], demuestre que
74
3 Integral de lnea
Z b
| f |d|| =
Z b
| f |dt.
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
3.3.
Integral de lnea
( f )d =
Z b
( f )(t) (t)dt =
Z b
f ((t))(t)dt
a
f.
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 b
f=
f ((t)) 0 (t)dt.
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
zn dz =
Z 2
[eit ]n [eit ]0 dt =
Z 2
eint ieit dt = i
Z 2
ei(n+1)t dt
Z 2
=i
Z 2
=i
Z 2
cos(n + 1)tdt + i
sen(n + 1)tdt
0
2
1
1
2
=
sen(n + 1)t +
cos(n + 1)t
n+1
n+1
0
0
= 0.
0
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
1
dz =
z
Z 2
1
0
eit
Z
0
eit dt =
eit ieit dt = i
Z 2
0
2
dt = it = 2i.
0
1
dz =
z
Z 1
e2it
Z 1
Z 1
1
0
e2it dt =
e2it 2ie2it dt = 2i
dt = 2it = 2i.
0
1
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 estrictamente 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 rectificable. 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
k=1
76
3 Integral de lnea
f=
f.
(1)
n
f f ( (k ))[ (tk ) (tk1 )] < /2
k=1
Z
n
f f ( ((k0 )))[ ((tk )) ((tk1 ))] < /2
k=1
Z
Z
f S(P) + f S(P)
=
< /2 + /2 = .
t
u
Ejemplo 3.6. Si : [0, 2] C es el crculo (t) = eit , se puede reparametrizar como
: [0, 1] C dada por (t) = e2it , que recorre el mismo crculo a mayor velocidad.
La trayectoria opuesta. Si : [a, b] R es una trayectoria rectificable, se define
1 : [b, a] C mediante
1 (t) = (t).
As, 1 recorre la misma curva que , pero en sentido opuesto:
77
(1)
1 (0)
1 (1)
(0)
(1)
f =
f.
Z
(2) f `() sup{| f (z)| : z {} = imagen de }.
(3) Si c C,
f (z c)dz.
f (z)dz =
+c
f = lm
k=1
n
= lm
kPk0 k=1
n
= lm
k=1
Z
1
f.
(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 )] <
y por lo tanto
k=1
78
3 Integral de lnea
n
Z
f + f ((k ))[(tk1 (tk )]
k=1
n
+ f ((k ))(tk1 (tk )
k=1
n
+ M (tk1 (tk )
k=1
+ M`(),
t
u
El lema siguiente nos sera muy u til 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 continua, entonces para todo > 0 existe una trayectoria poligonal : [a, b] tal
que
(1) (a) = (a) y (b) = (b).
Z
Z
f < .
(2) f
(1)
Z
n
f f (k )[(tk ) (tk1 )] < .
k=1
1
(tk t)(tk1 ) + (t tk1 )(tk )
tk tk1
79
(3)
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)).
f=
a
f ( (t))0 (t)dt
0 (t) =
tk tk1
(tk1 ) + (tk )
k=1
se sigue que
Z
(4)
(tk ) (tk1 )
f=
tk tk1
k=1
Z tk
tk1
f ( (t))dt.
80
3 Integral de lnea
Z
Z
f
Z
n
n
f = f f ((k ))[(tk ) (tk1 )] + f ((k ))[(tk ) (tk1 )]
k=1
k=1
(tk ) (tk1 )
tk tk1
k=1
Z tk
tk1
f ( (t))dt
n
+ f ((k ))[(tk ) (tk1 )]
k=1
(tk ) (tk1 )
tk tk1
k=1
Z tk
tk1
f ( (t))dt
n (t ) (t ) Z tk
k
k1
= +
f ((k )) f ( (t)) dt
tk tk1
tk1
k=1
y como |(k ) (t)| < por (3), entonces | f (k ) f (t)| < , y as, por la
proposicion 3.8 (2) se sigue que
Z
(5)
tk
tk1
f ((k )) f ( (t)) dt (tk tk1 )
f +
{k } B((tk1 ); r)
para
k = 1, . . . , n.
k=1
k,
k=1
t
u
Una primera consecuencia importante de este lema es un analogo del teorema
fundamental del calculo:
81
f = F((b)) F((a)),
Demostracion. Supongamos primero que : [a, b] es lisa por tramos. Entonces, por el teorema 3.5,
Z b
f=
f ((t)) 0 (t)dt =
Z b
Z b
F 0 ((t)) 0 (t)dt =
(F )0 (t)dt
b
= F (t) = F((b)) F((a)) = F( ) F().
a
t
u
Ejercicios
3.12. Sea f : C {0} C dada por f (z) = 1/z. Calcule
f:
82
3 Integral de lnea
0
Z
por (t) = t + it 2 .
3.14. Sea f : C C dada por f (z) = |z|2 y considere losR polgonos
= [1, i] y
R
= [1, 1 + i, i]. Exprese y como trayectorias y calcule f y f .
3.15. Sea : [a, b] una trayectoria rectificable cerrada con abierto y suponga
que z0 6 . Demuestre que para n 2,
Z
1
dz = 0.
(z z0 )n
f |dz| :=
Z b
f ((t))d||(t).
a
Demuestre que
Z Z
f | f ||dz| `() sup{| f (z)| : z {} = imagen de }.
Captulo 4
4.1.
83
84
4
2
(1)
f=
T
f.
j=1 T j
Por otra parte, observe que, como los triangulos j se obtuvieron uniendo los puntos
medios de los lados del triangulo , entonces
1
`(T j ) = `(T )
2
(3)
diam j =
1
diam .
2
Aplicando ahora el procedimiento anterior al triangulo T (1) , se obtiene un triangulo T (2) con propiedades analogas a (1), (2) y (3). Procediendo recursivamente se
obtiene una sucesion de triangulos { (n) } con fronteras {T (n) } tales que
Z
Z
f 4
f ,
T (n)
1
`(T (n+1) ) = `(T (n) )
2
T (n+1)
diam (n+1) =
1
diam (n) ,
2
y
(1) (2) (3) .
Por lo tanto
(4)
Z
Z
f 4
T
y similarmente
T (1)
Z
f 42
T (2)
Z
f 4n
T (n)
`(T (n) ) =
(5)
1 n
2
`(T )
85
diam (n) =
1 n
2
diam .
(6)
T (n)
f (z) =
T (n)
f (z) f (z0 ) f 0 (z0 )(z z0 ) .
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
n
f 4n `(T (n) ) sup{| f (z) f (z0 ) f 0 (z0 )(z z0 )|}
f 4
T
T (n)
(n)
4 `(T
(n)
) sup{|z z0 |}
por (6)
4 `(T ) diam
porque z, z0 (n)
1 n
1 n
4n
`(T )
diam por (5)
2
2
= `(T ) diam T
n
(n)
t
u
86
[a,z0 ]
[a,z]
[a,z]
[z,z0 ]
[z0 ,z]
XXX
z0 y
AKA z
A
a
Por lo tanto
F(z) F(z0 )
1
=
z z0
z z0
f
[z0 ,z]
y consecuentemente
F(z) F(z0 )
1
f f (z0 )
f (z0 ) =
z z0
z z0 [z0 ,z]
Z
Z
1
1
=
f
f (z0 )
z z0 [z0 ,z]
z z0 [z0 ,z]
Z
1
=
f f (z0 )
z z0 [z0 ,z]
Z
zz0
F(z) F(z0 )
= f (z0 ).
z z0
t
u
87
Teorema 4.3 (Formula integral de Cauchy en un disco). Si f : C es holomorfa y B(a; r) , con r > 0 y si : [0, 2] es el crculo frontera del disco
anterior, es decir, (s) = a + reis , entonces para todo z B(a; r) se tiene que
f (z) =
1
2i
f (w)
dw.
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
Z
(1)
f (w)
dw =
wz
f (w)
dw.
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 segmentos 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
Z
j
f (w)
dw = 0.
wz
88
0=
j=1 j
f (w)
dw =
wz
f (w)
dw
wz
f (w)
dw,
wz
(2)
1
dw = 2i
wz
1 Z f (w) f (z)
1
1
dw
M `( ) =
M (2) = M ,
2i
wz
2
2
por lo que cuando 0 la integral correspondiente tiende a 0 tambien, de donde
se sigue la afirmacion del teorema.
t
u
Derivadas de orden superior. Para mostrar que una funcion holomorfa f tiene
derivadas de todos los o rdenes, 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 definida y es continua en {}. Para cada entero m 1 defina para z 6 {}
Z
Fm (z) :=
(w)
dw.
(w z)m
89
se tiene que
1
1
1
1
1
1 ih
=
+
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
m1
(w z) (w z0 ) (w z)
(w z0 )2
1
.
+
(w z)(w z0 )m
Multiplicando ambos lados de la igualdad anterior por (w) e integrando a lo largo
de queda:
()
Fm (z) Fm (z0 ) = (z z0 )
Z h
i
(w)
(w)
+
+
(w z)m (w z0 )
(w z)(w z0 )m
(w)
(w z)mk (w z0 )k+1
<
2 m+1
r
M.
Entonces, para todo > 0, escogiendo < r/2 se tiene que si |zz0 | < , () queda:
2 m+1
m+1
Fm (z) Fm (z0 ) |z z0 |`() 2
M < `()
M
r
r
m+1
y as, como queremos que `() 2r
M < , escogiendo
= mn
nr
2
rm+1 o
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 z0
(w)
dw + +
(w z)m (w z0 )
(w)(w z0 )1
dw + +
(w z)m
(w)
(w z0 )k
(w)
dw
(w z)(w z0 )m
(w)(w z0 )m
dw
(w z)
90
es continua en {} para cada k. Por el argumento de la primera parte de la demostracion se sigue que cada una de las integrales del lado derecho es una funcion continua
de z. Por lo tanto, si z z0 se sigue que
Fm (z) Fm (z0 )
z z0
Z
Z
(w)(w z0 )m
(w)(w z0 )1
dw
+
+
l
m
= lm
dw
zz0
zz0
(w z)m
(w z)
Z
Z
(w)
(w)
dw
+
+
dw = mFm+1 (z0 ).
=
m+1
(w
z
)
(w
z0 )m+1
Fm0 (z0 ) = lm
zz0
t
u
Supongamos ahora que f : C es holomorfa y B(a; r) , con r > 0 y que
: [0, 2] es el crculo frontera del disco anterior, es decir, (s) = a + reis ,
entonces por el teorema 4.3 para z B(a; r) se tiene que
f (z) =
1
2i
f (w)
dw
wz
f 0 (z) =
1
2i
f (w)
dw
(w z)2
f (w)
dw
(w z)3
f (w)
dw
(w z)n+1
2
2i
n!
2i
y, recursivamente,
f (n) (z) =
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 o rdenes:
Teorema 4.5 (Formula integral de Cauchy en un disco). Si f : C es holomorfa 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
f (n) (z) =
n!
2i
f (w)
dw.
(w z)n+1
t
u
91
(n) n!M
f (a)
.
Rn
Demostracion. Apliquemos el teorema 4.5 con r < R. Entonces,
(n) n! Z
f (w)
f (a) =
dw
con la frontera de B(a; r)
n+1
2i (w a)
o
n!
n f (w)
:
w
{}
por la proposicion 3.8
`() sup
2
(w a)n+1
n! 2r
porque |w a| = r y `() = 2r
sup f (w) : w {}
n+1
2 r
n!
n M porque | f (w)| M.
r
El resultado se sigue haciendo que r R .
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
F(z) =
f
[a,z]
AKA
z
A
a
92
La existencia de F tal que F 0 = f dice que F es holomorfa, por lo que tiene derivadas
de todos los o rdenes 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.
(w, z)dw.
z
g(z) :=
(w)
dw
wz
es holomorfa y ademas
(n)
g (z) = n!
(w)
dw.
(w z)n+1
93
Defina
f.
I(t) :=
t
4.2.
Series de potencias
94
t
u
Series de funciones. Si { fn : C} es una sucesion de funciones, considerando
las sumas parciales
n
Sn =
fk = f1 + f2 + + fn : C
k=0
lm Sn .
fn := n
k=0
todo z y si ademas
n=1 Mn converge, entonces la serie de funciones n=1 f n
converge uniformemente a una funcion f : C (que es continua si las fn lo son).
Demostracion. Dado z , considere las sumas parciales Sn (z) = f1 (z) + +
fn (z) y observe que si m > n,
()
y como
on de sumas parciales sk = M1 + +
n=1 Mn converge, entonces la sucesi
Mk es de Cauchy y as, para todo > 0 existe un N N tal que si m > n N se
tiene que |sm sn | = |Mn+1 + + Mm | < . De () se sigue que la sucesion {Sk (z)}
tambien es de Cauchy en C y por lo tanto converge a un complejo, que depende de
z, al que podemos denotar por f (z). Hemos mostrado que la serie
n=1 f n converge
puntualmente a una funcion f : C. Observe ahora que
| f (z) Sn (z)| = fn (z) f1 (z) + + fn (z) =
n=1
k=n+1
fk (z)
k=n+1
Mk
y como
k=1 Mk es convergente, para todo > 0 existe un N tal que
k=n+1
Mk = Mk (M1 + + Mn ) <
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
95
an (z z0 )n
n=0
1 zn+1
.
1z
k
Se sigue que, si |z| < 1 entonces lm{|z|n } = 0 por lo que la serie geometrica
k=0 z
converge puntualmente a
1
zk = 1 z .
k=0
k
Note que si |z| 1, la serie
k=0 z diverge a +.
96
N N tal que |an |1/n <1/r para todo n N. Se sigue que |an | < 1/rn y por lo tanto
|an (z z0 )n | <
|zz0 | n
r
|z z | n
0
r
n=N
|an (z z0 )|n
n=N
0|
< 1, la serie que domina converge absolutamente para cada |zz0 | < R
y como |zz
r
n
y por lo tanto la serie de potencias
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
1
r
1
rn
n=0 an (z z0 )
|zz0 | n
r
y como
|zz0 |
r
> 1,
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 |
n
r n
donde r < 1. Poniendo Mn = r , el criterio M de Weierstrass implica que
para todo n N.
|z z0 |n
|z z0 |n
A
.
rn
rn
n
Como estamos suponiendo que |z z0 | < r, se sigue que la serie
n=0 |an (z z0 ) |
n
|zz
|
0
esta dominada por la serie convergente
y por lo tanto la serie de pon=0 A rn
tencias converge absolutamente para |z z0 | < r, y como r < es arbitrario se sigue
que R.
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,
|an (z z0 )n | A
|z z0 |n
rn
cuando n .
n
Se sigue que la serie
n=0 an (z z0 ) diverge y por lo tanto R .
t
u
A continuacion mostraremos que las series de potencias son funciones holomorfas en su disco de convergencia:
n
Teorema 4.12. Si una serie de potencias f (z) =
n=0 an (z z0 ) tiene radio de
convergencia R > 0, entonces:
(1) La serie
nan (z z0 )n1
n=1
nan (z z0 )n1 .
n=1
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
0 = lm
log n
= lm log n1/(n1) .
n 1 n
n
a0 = n=0 an (z z0 ) y lo mismo es cierto si se ponen valores absolutos a todos los
entonces
sumandos y factores. Se sigue que si |z z0 | < R,
n=0
n=1
|an+1 (z z0 )n | =
n=0
1
1
|an (z z0 )n | +
|a0 | < ,
|z z0 | n=0
|z z0 |
deseado, R = R.
98
f (z) =
an zn
entonces
f 0 (z) =
n=0
nan zn1
n=1
donde en la parte (1) ya vimos que ambas series tienen el mismo radio de convergencia R. Para |z| < R pongamos
n
g(z) :=
nan zn1 ;
Sn (z) :=
n=1
ak zk ;
Rn (z) :=
k=0
ak zk
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)
g(z) =
Sn0 (z) + Sn0 (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
Sn0 (z) < .
wz
3
(1)
ak zk
k=0
0
= lm
k=0
k=n+1
ak (wk zk ) =
k=n+1
ak
wk zk
wz
wk zk
k1
= w + wk2 z + + wzk2 + zk1 krk1
wz
n
n
|ak |krk1
wz
k=n+1
99
R (w) R (z)
n
n
< .
wz
3
(3)
t
u
C
en
Mas aun,
an =
f (n) (z0 )
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!
tiene radio de convergencia
1/n!
a
n
R = lm
= lm
= lm |n + 1| = .
an+1
1/(n + 1)!
Note que por el teorema 4.12 la funcion anterior es holomorfa en todo C y su derivada es
n
1
1
f 0 (z) = zn1 =
zn1 = zn = f (z).
n!
(n
1)!
n!
n=1
n=1
n=0
La proposicion siguiente tiene como consecuencia que si una serie de funciones
converge uniformemente, la integral de lnea conmuta con la serie:
100
f = lm
fn .
`() = .
f fn = ( f fn )
`()
t
u
El resultado principal es que toda funcion holomorfa en un disco, es analtica y a
la serie asociada se le conoce como la serie de Taylor de la funcion dada:
Teorema 4.15. Si f es holomorfa en B(z0 ; R), entonces para todo z B(z0 ; R),
f (z) =
n=0
f (n) (z0 )
(z z0 )n
n!
Fn =
1
2i
f (w)
1
(z z0 )n dw = f (n) (z0 )(z z0 )n
(w z0 )n+1
n!
101
y para la funcion del lado izquierdo de (2), al integral a lo largo de resulta, por la
formula de Cauchy 4.3,
Z
f (w)
1
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
Z
f (z) =
F=
Fn =
n=0
Fn =
n=0
n=0
=
2i |w z0 |n+1
2 rn+1
2 r
r
0|
donde como |z z0 | < r entonces |zz
< 1 y consecuentemente la serie de numeros
r
n
1 M |zz0 |
Mn = 2 r
converge y as, por el criterio M de Weierstrass 4.9, se sigue
r
1 f (w)
que la serie
n=1 Fn converge uniformemente a F(z) = 2i wz en {}. Como lo
anterior es cierto para todo r < R, se sigue que el radio de convergencia es R. t
u
n! zn
n=0
102
f = 0.
(1)
f (z) =
an (z a)n .
n=0
(2)
F(z) =
a
an
n
n+1
(z
a)
=
(z
a)
n+1
n + 1 (z a)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
4.5. Si nn=0 an (z z0 )n y nn=0 bn (z z0 )n tienen radios de convergencia R1 y R2 ,
respectivamente, cual es el radio de convergencia de la serie nn=0 (an + bn )(z
z0 )n ?
4.6. Determine el radio de convergencia de las series:
n
n!
nn zn .
n=0
n
2n
n! zn .
n=0
cn =
ak bnk ,
k=0
103
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
en tal que la capsula convexa de T esta totalmente
R
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
f.
I(t) :=
t
Demuestre que I(t) es constante probando que I 0 (t) = 0 para todo t (0, 1].
4.3.
con g(z0 ) 6= 0.
104
1
=0
f (z)
y as, para = 1 (por ejemplo), existe R > 0 tal que si |z| > R, entonces |g(z)| < 1.
Finalmente, observe que como g(z) es continua en B(0; R), entonces g(B(0; R)) es
compacto; en particular es acotado y as, existe M 0 > 0 tal que |g(z)| M 0 para todo
z B(0; R). Si ponemos entonces M = max{M 0 , 1} se tiene que |g(z)| M para todo
z C y como g es entera, por el teorema de Liouville se sigue que g(z) es constante
y por lo tanto f (z) tambien es constante, una contradiccion.
t
u
Del a lgebra sabemos que el numero de ceros de un polinomio f (z), con coeficientes 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 polinomios, 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 ) = =
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 (z) =
k=n
f (k) (z0 )
(z z0 )k
k!
g(z) =
k=n
f (k) (z0 )
(z z0 )kn
k!
f (z) =
k=0
f (k) (z0 )
(z z0 )k = 0
k!
106
Corolario 4.21 (Multiplicidad finita). Si es una region y f : C es holomorfa no identicamente cero, entonces todos los ceros de f son de multiplicidad
finita, es decir, para cada cero z0 de f , existe un entero m 1 y una funcion
holomorfa g : C tal que g(z0 ) 6= 0 y f (z) = (z z0 )m g(z).
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
g(z) :=
f (z)
(z z0 )m
para z 6= z0 ,
1 f (m) (z ) para z = z .
0
0
m!
Observe, para comenzar, que g(z) es holomorfa en {z0 }. Para ver que es holomorfa 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
y g(z
0 ) = am =
f (m) (z0 )/m! 6= 0. Es claro que g = g en B(z0 ; r) {z0 } y as, por el teorema de
la identidad g = g en todo el disco B(z0 ; r) y por lo tanto g es holomorfa en ese
disco.
t
u
Corolario 4.22 (Ceros son aislados). Si es una region y f : C es holomorfa
no identicamente cero, entonces los ceros de f son aislados.
Demostracion. El teorema de la identidad 4.20 dice que el conjunto de ceros Z( f )
de f es discreto, i.e., para todo z0 Z( f ) existe un disco B(z0 ; r) tal que B(z0 ; r)
Z( f ) = {z0 }.
t
u
Corolario 4.23 (Teorema del modulo maximo). Si es una region, f : C
es holomorfa y existe un punto z0 tal que | f (z0 )| | f (z)| para todo z ,
entonces f es constante.
Demostracion. Como es abierto, existe un disco B(z0 ; R0 ) . Sea R < R0 y
consideremos el disco cerrado B(z0 ; R) . Entonces, para cualquier r < R para el
disco B(z0 ; r) su frontera : [0, 2] , donde (t) = z0 + reit . Por la formula
de Cauchy en un disco 4.3
f (z0 ) =
1
2i
f (w)
1
dw =
w z0
2i
Z 2
f (z0 + reit )rieit
0
reit
dt =
1
2
Z 2
0
107
donde, por hipotesis, | f (z0 + reit )| | f (z0 )| y `() = 2. Usando la proposicion 3.8
(2) se sigue que
| f (z0 )|
1
2
Z 2
0
f (z0 + reit )dt 1 (2)| f (z0 )| = | f (z0 )|
2
1 R 2
it
es decir, | f (z0 )| = 2
0 | f (z0 + re )|dt y por lo tanto
0=
1
2
Z 2
0
| f (z0 )| | f (z0 + reit )| dt
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
El teorema anterior se puede reformular como la afirmacion de que una funcion
holomorfa no constante en una region (acotada), no alcanza su modulo maximo en
esa region sino en la frontera. Mas precisamente:
Teorema 4.24 (Teorema del modulo maximo en una region acotada). Si es
una region acotada, f : C es continua en y holomorfa en , entonces
max | f (z)| : z = max | f (z)| : z .
Demostracion. Como es acotada, entonces es cerrado y acotado, y como | f |
es continua en , entonces | f | alcanza su maximo en por el ejercicio 1.54. Es
decir, existe un z0 tal que | f (z0 )| | f (z)| para todo z . Si f es constante,
no hay nada que probar. Si f no es constante, por el corolario 4.23 anterior el punto
z0 no puede estar en . Se sigue que z0 .
t
u
Ejemplo 4.5. Notese que la hipotesis de que es acotado no se puede eliminar ya
que se tiene el ejemplo siguiente: considere la franja abierta horizontal de ancho
con x libre:
n
o
= z = x + iy C : < y <
2
2
/2
/2
108
109
1
.
f 0 (z0 )
Demostracion. Por el teorema anterior f ( ) es abierto. Sea g : f ( ) la inversa de f . Como f es una funcion abierta, entonces g es continua. Ahora, si z0
y f 0 (z0 ) 6= 0, sea w0 = f (z0 ). Por la formulacion de Caratheodory de la derivada,
f (z) f (z0 ) = (z)(z z0 )
(1)
1
( 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
g0 (w0 ) =
1
1
1
=
= 0
.
(g(w0 )) (z0 )
f (z0 )
t
u
110
(1)
fn ( )
d
z
Z
r
lm
n r
Z
r
f ( )
d
z
1
2i
f ( )
d
z
Z
r
para z B(z0 ; r)
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
f (k) (z) =
(2)
k!
2i
Z
r
f ( )
d
( z)k+1
para z B(z0 ; r)
(3)
fn (z) =
k!
2i
Z
r
fn ( )
d
( z)k+1
para z B(z0 ; r)
(k)
(z) f
(k)
k!
(z) =
2i
Z
r
f ( ) fn ( )
d
( z)k+1
111
f ( ) f ( ) 2k+1 M
n
n
k+1
( z)k+1
r
y as, por la acotacion usual de la proposicion 3.8, de (4) se sigue que
Z
(k)
k! 2k+1 Mn
f ( ) fn ( )
2k+1 k!Mn
f (z) f (k) (z) = k!
d
`(r ) =
k+1
k+1
2i r ( z)
2 r
rk
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 .
Demuestre que f es un polinomio de grado 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
| f (z)| A|z|n
para
|z| > B.
112
Captulo 5
f = 0.
En el captulo 4 anterior se demostro que el teorema de Cauchy es valido en cualquier region convexa, y el ejemplo 3.4 del captulo 3 muestra que, para : [0, 1]
C {0} el crculo (t) = e2it ,
Z
1
= 2i,
z
5.1.
1
dz =
za
Z 1
0
1
(2in)re2int dt = 2in
re2int
por lo que
1
2i
1
dz = n = numero de vueltas que da alrededor de a :
za
113
114
1
dz = n
zb
g(t) =
0
0 (s)
ds
(s) a
y observe que:
(1) g(0) = 0 y g(1) =
Z 1
0 (s)
0
(2) g0 (t) =
(s) a
1
dz,
za
0 (t)
, para 0 t 1.
(t) a
Por lo tanto,
h
i
d g
0
e ( a) = eg 0 g0 eg ( a) = eg 0
( a) por (2)
dt
a
g 0
0
= e [ ] = 0,
y as eg ( a) es una constante por lo que
eg(0) ((0) a) = eg(1) ((1) a)
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
Si es una curva cerrada rectificable en C y a 6 {}, el entero anterior
n(; a) :=
1
2i
1
dz
za
115
dz
1
=
z a 2i
1
2i
1
2i
Z 1/2 d
dt ((2t))
1
2i
Z 1 0
(s)ds
(2t) a
(s) a
Z 1
( )0 dt
( )(t) a
1
2i
1
2i
Z 1 d
dt ( (2t 1))
1/2
(2t 1) a
Z 1 0
(s)ds
0
(s) a
= n() + n( ),
1
No confundir con la suma de funciones usual + : [0, 1] C dada por ( + )(t) = (t) +
(t).
116
dz
=
dz
2 z a z b
2 (z a)(z b)
Z
|a b|
1
=
dz
2
(z a)(z b)
n
o
|a b|
1
`() sup
: z {}
2
|z a||z b|
(r/2) 2
`()
<
`()
2 r2
r2
| f (a) f (b)| =
donde la primera desigualdad del u ltimo 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.
Finalmente, para la componente no acotada de = C{}, sea R > 0 tal que
{} B(0; R) de tal manera que {z C : |z| > R} y as {z C : |z| > R}.
Si > 0, escojamos a tal que |a| > R y que ademas |za| > `()/2 (note que
podemos escoger
a que satisfaga la u ltima desigualdad porque la funci
on f (a) =
1 R 1
1 R 1
es
constante
en
).
Entonces,
para
n(;
a)
=
n(; a) = 2i
za
2i za dz se
tiene que
Z
1
1
1 2
|n(; a)|
dz <
`() =
2 z a
2 `()
117
Ejercicios
5.1. Si b B(a; r) es cualquier punto y : [0, 1] C es (t) = a + re2int con n Z,
demuestre que
Z
1
1
dz = n,
2i z b
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
Z
f 0 (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
f=
f+
5.2.
118
1
2i
f (z)
dz.
za
f (z) f (w)
si z 6= w,
zw
(z, w) :=
0
f (z)
si z = w.
Entonces,
(i)
(ii)
(iii)
es continua.
La funcion (, w) : C, es decir, fijando w, z 7 (z, w), es holomorfa.
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 .
Defina ahora g : C C mediante
Z
(z, w)dw si z ,
g(z) :=
Z
f (w)
dw
si z H.
wz
(iv)
f (w) f (z)
dw ya que z y por definicion de
wz
Z
Z
Z
Z
f (w)
f (z)
f (w)
1
=
dw
dw =
dw f (z)
dw
wz
wz
wz
wz
Z
f (w)
=
dw f (z)2i n(; z) por definicion de ndice
wz
Z
f (w)
=
dw ya que n(; z) = 0 porque z H.
wz
Z
(z, w)dw =
119
Por el lema 4.4, g es holomorfa en H y por la regla de Leibniz 2.15, g es holomorfa en . Se sigue que g es entera porque H = C. Ahora, como n(; w) = 0
para todo w en la componente no acotada de C , entonces H contiene a esta
componente no acotada (es decir, H contiene una vecindad del ) y por lo tanto
Z
()
lm g(z) = lm
f (w)
dw = 0
wz
(z, a)dz =
0 = g(a) =
f (z) f (a)
dz =
za
f (z)
dz f (a)
za
1
dz
za
f (z)
dz f (a)2i n(; a)
za
t
u
120
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
n(; z0 ) = n(1 ; z0 ) + + n(n ; z0 ).
Un ciclo = (1 , . . . , n ) es homologo a cero o nulhomologo (con respecto
a ) si n(; z) = 0 para todo z C . Usaremos la notacion 0 rel( ) para
indicar que es nulhomologo con respecto a y note que esta definicion depende
de . Si = (1 , . . . , m ) y = (1 , . . . , n ) son dos ciclos en tales que el ciclo
(1 , . . . , m , 11 , . . . , n1 ) 0, diremos que es homologo a (con respecto a )
y lo denotaremos por rel( ).
Si f : C es una funcion y = (1 , . . . , n ) es un ciclo en , se define
Z
f ++
f :=
f.
n
f (a) n(k ; a) =
k=1
2i
k=1
Z
k
f (z)
dz.
za
t
u
k=1 k
Ejercicios
5.4. Si f : C es holomorfa y
f = 0.
t
u
f (z) f (w)
(z, w) :=
zw
f 0 (z)
121
si z 6= w,
si z = w,
5.3.
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)
(2)
(3)
(4)
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
z1
ht
h -
z0
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 rectificable basado en z0 y nulhomotopo ' z0 rel( ), entonces para toda funcion
holomorfa f : C se tiene que
Z
(1)
f = 0.
0 j, k n 1
(2)
f = 0.
Pjk
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
(3)
f=
f=
Z
Q0
Q1
f = =
f=
Qn
f =0
z0
124
lo cual prueba (1) como se quera. Resta demostrar (3) y e sto lo haremos probando
una igualdad a la vez. Para la primera igualdad en (3)
Z
f=
f
Q0
f =
f=
f.
[z j+1,0 ,z j0 ]
[z j0 ,z j+1,0 ]
f=
j=
n1 Z
f=
f=
j=0 [z j0 ,z j+1,0 ]
f
Q0
f=
Qn
z0
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
(4)
f=
Qk
f
Qk+1
z j+2,k+1
z j+1,k
z jk
z j+2,k
(5)
j=0 Pjk
f =0
125
y como dos subpolgonos Pjk y Pj+1,k consecutivos comparten un lado con orientaciones opuestas, la suma anterior es la integral de f sobre la curva
Qk [znk , zn,k+1 ] Q1
k+1 [z0,k+1 , z0k ]
(6)
dada por el polgono Qk seguida del lado extremo derecho [znk , zn,k+1 ], seguida del
polgono Q1
on opuesta) y finalmente seguida del lado extremo izk+1 (con orientaci
quierdo [z0,k+1 , z0k ]. Ahora, como
z0 = z0k = h(0, k/n) = h(1, k/n) = znk = z0
z0 = z0,k+1 = h(0, (k + 1)/n) = h(1, (k + 1)/n) = zn,k+1 = z0
entonces [z0,k+1 , z0k ] = z0 = [zn,k+1 , znk ] y por lo tanto la integral de f en (6) a lo
largo de estos dos lados es cero y as la integral de f sobre la curva (6) es lo mismo
que la integral de f a lo largo de la curva Qk Q1
k+1 , es decir,
Z
0=
Qk Q1
k+1
de donde se sigue la igualdad (4), que finalmente prueba (3), como se quera.
t
u
(1)
f=
f.
z1
6
z0
z1
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
f=
f+
f=
t
u
1
2i
1
dz = 0
zw
f = 0.
t
u
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 ).
127
(2)
dz
1 + z2
128
variando entre las curvas cerradas rectificables que no pasan por las races del
denominador, es decir, por i.
5.4.
g(z0 ) 6= 0.
Supongamos ahora que z1 , . . . , zn son todos los ceros de f (z), con multiplicidades m1 , . . . , mn , respectivamente. Entonces,
(1) f (z) = (z z1 )m1 (z zn )mn g(z) con g holomorfa y que no se anula en .
Considere entonces la derivada logartmica de f , es decir, la funcion
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)
=
+
++
+
f (z)
z z1 z z2
z zn g(z)
(2)
f 0 (z)
dz =
f (z)
m1
dz +
z z1
m2
dz + +
z z2
mn
dz +
z zn
g0 (z)
dz
g(z)
= 2i n(; zk )mk .
k=1
Hemos as probado:
Teorema 5.15. Sea f : C holomorfa con ceros z1 , . . . , zn de multiplicidades 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
2i
n
f 0 (z)
dz = n(; zk )mk .
f (z)
k=1
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
2i
n
f 0 (z)
dz = n(; zk )mk .
f (z) w
k=1
t
u
n( f ; w) =
n(; zk )mk .
k=1
n( f ; w) =
Z 1 0
f ((t)) 0 (t)dt
0
f ((t)) w
donde la u ltima igualdad es por el corolario anterior. Si es arbitraria, la aproximamos por una poligonal como en el lema 3.9 y en la demostracion de la proposicion
5.1.
t
u
El comportamiento local de una funcion holomorfa. Si f : C es holomorfa
no constante y w C puede existir un numero infinito de puntos z C tales que
f (z) = w. Sin embargo, por el teorema de la identidad todos los puntos de acumulacion de estas z deben estar en la frontera de , por lo que si se consideran solo soluciones en , hay u nicamente un numero finito de e stas, digamos z1 , . . . , zn con multiplicidades m1 , . . . , mn , respectivamente. Para esta misma f : C, supongamos
que z0 y escojamos un radio r > 0 tal que B(z0 ; r) y sea (t) = z0 + re2it ,
t [0, 1], su frontera. Queremos investigar el ndice n( f ; w) para w 6 f {}. Para comenzar, note que si w tambien satisface que w 6 f (B(z0 ; r)), entonces, por el
corolario 5.17
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 componente no acotada de C {} por lo que, del teorema 5.4, se tiene que n(; zk ) = 0
para todas las zk y as
130
n( f ; w) = 0.
Supongamos ahora que w f (B(z0 ; r)) f {}, y sean z1 , . . . , zn B(z0 ; r) las soluciones distintas de la ecuacion f (z) w = 0, con multiplicidades m1 , . . . , mn , respectivamente. Del corolario 5.17 se sigue que
n
n( f ; w) =
n(; zk )mk = mk ,
k=1
k=1
ya que rodea cada zk B(z0 ; r) una u nica 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
m = n( f ; w0 ) = n( f ; w) =
mk
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
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 teorema de la funcion abierta 4.25:
Corolario 5.20 (Teorema de la funcion abierta). Toda funcion f : C holomorfa y no constante es abierta.
Demostracion. Para cualquier abierto U queremos mostrar que f ( ) C es
abierto; es decir, queremos mostrar que para todo z0 U su imagen w0 = f (z0 )
f (U) es un punto interior. Por el teorema 5.19 anterior (vea tambien la observacion
5.1) existen > 0 y > 0 tales que B(z0 ; ) U y B(w0 ; ) f (B(z0 ; )) f (U),
como se quera.
t
u
Para la demostracion de la existencia y formula de la derivada de la funcion
inversa 4.26 de una funcion holomorfa e inyectiva f : C, ademas del teorema
de la funcion abierta 4.25 y 5.20 se necesito el hecho de que la derivada f 0 no se
anula en . A continuacion probamos esto:
Corolario 5.21. Si f : C es holomorfa e inyectiva, entonces f 0 (z0 ) 6= 0 para
todo z0 .
Demostracion. Escojamos un r > 0 suficientemente pequeno para que B(z0 ; r)
y ademas que el u nico cero de f (z) f (z0 ) en B(z0 ; r) sea z0 (los ceros son
aislados, por el corolario 4.22) y que tambien satisfaga que la funcion f 0 (z) (que no
es identicamente cero, porque f no es constante) no tenga ceros en B(z0 ; r) {z0 }
(de nuevo, usamos que los ceros de f 0 son aislados, por el corolario 4.22). Por el
teorema 5.19 anterior, si m es la multiplicidad de z0 , cada punto (salvo a lo mas
f (z0 )) de la componente conexa de C f {} que contiene a f (z0 ) se alcanza en m
puntos distintos de B(z0 ; r), y como f es inyectiva se debe tener que m = 1, y por lo
tanto f 0 (z0 ) 6= 0.
t
u
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
5.18. Use el corolario 5.16 para calcular la integral
y es el crculo (t) = 2e2it para t [0, 1].
f 0 / f , donde f (z) = z2 + z + 1
132
Captulo 6
Singularidades
Hasta ahora hemos estudiado funciones holomorfas en una region C. El paso siguiente es considerar funciones definidas y holomorfas en una region a la que
se le ha quitado un punto, digamos {z0 }, pero que no estan definidas o no son
holomorfas en todo . En este captulo estudiaremos esta situacion viendo que tanto de la teora de Cauchy para funciones holomorfas se puede extender a este nuevo
contexto. Despues de introducir los conceptos necesarios y clasificar las singularidades aisladas de una funcion: removibles, polos y esenciales, y estudiamos algunas
propiedades de cada una de e stas, en particular probaremos que, en una vecindad
de una singularidad esencial la funcion toma valores que aproximan a todos los
numeros complejos, el teorema de Casorati-Weierstrass, es decir probaremos que el
conjunto de valores de f alrededor de una singularidad esencial es denso en C. En
la segunda seccion introducimos las series de Laurent y clasificaremos las singularidades aisladas de una funcion mediante la serie de Laurent asociada a la funcion
en una vecindad de la singularidad considerada. En la tercera seccion probaremos
el teorema del residuo aplicandolo despues al calculo de algunas integrales reales
impropias. Se obtienen ademas algunas consecuencias importantes del teorema del
residuo, tales como el principio del argumento, una formula para contar el numero
de ceros y polos dentro de un disco de una funcion que es holomorfa salvo por polos, y como una consecuencia inmediata el teorema de Rouche que, incidentalmente
se usa para dar otra demostracion del teorema fundamental del a lgebra.
6.1.
Singularidades aisladas
133
134
6 Singularidades
z
ez 1
()
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 .
Por la hipotesis () se sigue que h es continua en z0 y por lo tanto es continua en todo
el disco B(z0 ; r). Note que si mostramos que h0 (z0 ) existe, entonces h sera holomorfa
en B(z0 ; r) y como h(z0 ) = 0, por definicion de h, entonces h tiene un cero en z0 y por
el corolario 4.21 se sigue que, para z 6= z0 , (z z0 ) f (z) = h(z) = (z z0 )g(z) con g
holomorfa en B(z0 ; r), y cancelando zz0 se sigue que f (z) = g(z) en B(z0 ; r){z0 }
y as z0 es removible. Resta entonces
probar que h es holomorfa. Por el teorema de
R
Morera 4.7 debemos mostrar que T h = 0 para toda trayectoria triangular T en
B(z0 ; r). Sea la capsula convexa de T (es decir, es T junto con su interior). Se
tienen tres casos, ilustrados en la figura siguiente:
z1
z0
z0
y
z0
x
z1
Caso 1
z3
z2
z2
Caso 2
Caso 3
135
h=
T
h+
T1
h=
T1
R
T
h = 0.
h=
T
h = 0.
j=1 T j
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
t
u
Observacion 6.1. El teorema anterior muestra, una vez mas, la diferencia entre las
funciones reales de variable real y las funciones de variable compleja ya que, por
ejemplo, la funcion real de variable real f (x) = |x| (valor absoluto de x) tiene una
singularidad aislada en x0 = 0 ya que la funcion
(
x
xi x > 0,
g(x) =
x si x < 0,
es diferenciable en R {0} y tambien se tiene que
lm (x 0) f (x) = lm x|x| = lm x2 = 0,
x0
x0
x0
136
6 Singularidades
El teorema de Riemann 6.1 sugiere que, para que una funcion de variable compleja 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 equivalentes:
(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
f (z) =
g(z)
,
(z z0 )m
1
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.
Demostracion. (1) (2): Por hipotesis existe un menor entero positivo m 1
tal que (z z0 )m f (z) es acotada cerca de z0 , y por el teorema 6.1 de singularidades removibles de Riemann se sigue que esta funcion (z z0 )m f (z) tiene
una singularidad removible en z0 , es decir, existe g : C holomorfa tal que
g(z) = (z z0 )m f (z) para todo z 6= z0 . Si sucediera que g(z0 ) = 0, entonces por el
corolario 4.21 se tiene que g(z) = (z z0 )g(z)
con g holomora en . Por lo tanto,
g(z)
= (z z0 )m1 f (z) para z 6= z0 y como g lo anterior implica que (z z0 )m1 f (z)
es acotada cerca de z0 , lo cual contradice la minimalidad de m. Finalmente, la igualdad g(z) = (z z0 )m f (z), con g(z0 ) 6= 0, es (2).
(2) (3): Como los ceros de una funcion holomorfa no constante son aislados (por
el corolario 4.22) y como g(z0 ) 6= 0, entonces g(z) no tiene ceros en alguna vecindad
g(z)
abierta de z0 , digamos U . Usando la hipotesis f (z) = (zz
)m , se sigue que la
0
137
zz0
zz0
1
1
1
1
=
lm
= .
= lm
zz
|h(z)| zz0 |z z0 |m |h(z)|
|z
z0 |m
0
|h(z0 )|
(4) (1): Observe primero que la hipotesis (4) implica que 1/ f (z) tiene
una singularidad removible en z0 . En efecto, como lm | f (z)| = , entonces lm 1/ f (z) = 0
zz0
zz0
zz0
1
=0
f (z)
g(z) = (z z0 )m h(z)
0 ) 6= 0. Se sigue que
con h holomorfa tal que h(z
1
= g(z) = (z z0 )m h(z)
f (z)
y por lo tanto
(z z0 )m f (z) =
1
=: 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
Si z0 es una singularidad aislada de f , diremos que z0 es un polo de f si satisface
cualquiera de las afirmaciones equivalentes del teorema anterior.
Ejemplo 6.2. (1) La funcion f (z) = 1/(z z0 )m , con m 1 entero, tiene un polo
en z = z0 . En efecto, z0 es una singularidad aislada ya que f (z) es holomorfa en
B(z0 ; r) {z0 } para todo r > 0 y f no esta definida en z0 . Por el teorema de singularidades removibles 6.1 la singularidad z0 no es removible y el lmite
lm
zz0
1
=
|z z0 |m
138
6 Singularidades
g(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
y por lo tanto
f (z) =
g(z)
Am
Am1
A1
=
+
+
+
+
ak (z z0 )k
(z z0 )m
(z z0 )m (z z0 )m1
(z z0 ) k=0
k
donde h(z) :=
k=0 ak (z z0 ) es holomorfa en B(z0 ; r) y Am 6= 0. La suma
S(z) :=
Am
Am1
Am2
A1
+
+
++
(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
es la parte
funcion racional cuyos polos tambien son polos de f (z). Mas aun, si S(z)
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
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).
Singularidades esenciales. Si z0 es una singularidad aislada de f que no es removible ni un polo, se dice que z0 es una singularidad esencial de f .
Ejemplo 6.4. La funcion f (z) = e1/z claramente tiene una singularidad aislada en
z0 = 0 y esta singularidad no es removible por el teorema 6.1 ya que lmz0 ze1/z 6=
0. De hecho, el lmite
lm e1/z
z0
zz0
| f (z) c|
=
|z z0 |
zz0
i.e.,
(1)
lm (z z0 )m ( f (z) c) = 0.
zz0
140
6 Singularidades
zz0
y as, por el teorema 6.1 de nuevo, se sigue que (z z0 )m1 f (z) tiene una singularidad removible en z0 , es decir, f (z) tiene un polo en z0 , lo cual es una contradiccion.
t
u
Observacion 6.3. Como toda funcion holomorfa no constante es abierta (corolario
5.20), el teorema anterior dice que para toda vecindad abierta U de z0 , la imagen
f (U {z0 }) es abierto y denso en C. De hecho, mucho mas es cierto, el gran teorema de Picard dice que la imagen f (U {z0 }) es todo C, con excepcion de a lo mas
un punto, que es el caso del ejemplo 6.4 para la funcion f (z) = e1/z .
Singularidades aisladas en . Una funcion f : C tiene una singularidad aislada en si contiene un disco perforado con centro en , es decir, si contiene
el complemento de un disco cerrado B(0; R). Se dice que es una singularidad
removible si la funcion f (1/z) tiene a z0 = 0 como singularidad removible. Se dice
que es un polo de orden m si la funcion f (1/z) tiene a z0 = 0 como polo de orden
m. Se dice que es una singularidad esencial si la funcion f (1/z) tiene a z0 = 0
como singularidad esencial.
Ejemplo 6.5. La funcion f (z) = 1/z tiene una singularidad removible en . La funcion f (z) = zn tiene un polo de orden n en . La funcion f (z) = ez tiene una singularidad esencial en .
Ejercicios
6.1. Determine las singularidades aisladas y la naturaleza de la singularidad (aislada,
polo o esencial) de las funciones siguientes:
1. f (z) = 1/ sen2 z
2. f (z) = (z2 + 1)/z(z 1).
3. f (z) = z sen(1/z).
4. f (z) = tan z.
5. f (z) = exp(1/z2 ).
6. f (z) = sec z.
141
6.5. Sean f y g funciones holomorfas con un polo z0 de orden m en comun. Demuestre que
f 0 (z)
f (z)
= lm 0
lm
zz0 g (z)
zz0 g(z)
(regla de LHopital).
6.6. Si f tiene un polo de orden m 1 en z0 , demuestre que su derivada f 0 tiene
un polo en z0 de orden m + 1.
6.7. Si f es holomorfa en {z0 } y la derivada f 0 tiene un polo de orden m 1 en
z0 , demuestre que m 2 y que f tiene un polo en z0 de orden m 1.
6.8. Demuestre el recproco del teorema de Casorati-Weierstrass 6.3: si f es holomorfa en {z0 } y para toda vecindad U de z0 la imagen f (U {z0 }) es
densa en C, entonces z0 es una singularidad esencial de f .
6.9. Verifique que la funcion f (z) = e1/z del ejemplo 6.4 tiene, en efecto, una singularidad esencial en z0 = 0.
6.10. Clasifique las singularidades de las funciones siguientes:
1 cos z
.
sen z
1
(b) f (z) = z
.
e 1
1
.
cos(1/z)
z4
(d) f (z) = 4
.
(z + 16)2
(c) f (z) =
(a) f (z) =
6.2.
Series de Laurent
1
1
1
1
1
=
=
+
(z 2)(z 1) z 2 z 1 z 2 1 z
2n+1 zn .
z2
2 n=0
n=0
142
6 Singularidades
(2)
f2 (z) =
zn
n=0
1
1
1 1
=
=
1z
z 1 1/z
1
f2 (z) =
1
1
= n = n = n = zn
1
n=0
n=1
n=1 z
n=1
1
1
1
n
n
n
=
z
z
=
z
f (z) =
zn
n+1
(z 2)(z 1) n=0 2n+1
n=1
n=0 2
n=1
an zn ,
n=
b1 z1 + b2 z2 + + bn zn + =
bn zn
n=1
como una serie de potencias usual en la variable = 1/z. Considerada de esta manera, podemos entonces pensar en su radio de convergencia R01 , por lo que
la serie para la variable converge en el disco | | < R01 y por lo tanto para la
variable z = 1/ la region donde converge la serie correspondiente es la region
|z| = 1/| | > 1/R01 := R1 , es decir el exterior de un disco |z| > R1 (que puede constar solo del punto en el plano extendido C , si R1 = ).
Por otra parte, si ahora consideramos una serie de potencias usual
(6)
143
a0 + a1 z + + an zn + =
an zn
n=0
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 + =
n=1
n=0
bn zn + an zn
(7)
n=1
n=0
n=
an zn + an zn =:
an zn .
n
n
Diremos que la serie (7) es convergente si sus dos partes
n=1 an z y n=0 an z
son convergentes, independientemente. A la serie (7) se le conoce como una serie
n
de Laurent, centrada en el origen. Observe ahora que como
n=1 an z converge en
n
la region |z| > R1 y como n=0 an z converge en el disco |z| < R2 , entonces la region
comun de convergencia de ambas series es la dada por R1 < |z| < R2 , la cual no es
vaca si y solo si R1 < R2 y as (7) representara una funcion holomorfa en la region
anular
An(0; R1 , R2 ) := {z C : R1 < |z| < R2 }.
an zn
n=
z0
z0
R1
R2
144
6 Singularidades
(8)
an (z z0 )n
n=
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
n
n
por el teorema 4.10 la serie
n=0 an (z z0 ) converge en el disco |z z0 | < R2 , y
1
con el cambio de variable := (z z0 ) observe que la serie
an (z z0 )n =
n=1
an n =
n=1
an n
n=1
(9)
f (z)dz =
r
(z z0 )n dz = 2ia1
an
r
n=
ak =
1
2i
Z
r
f (z)
dz
(z z0 )k+1
n
Por lo tanto, los coeficientes an de la serie de Laurent
an unvon= an (zz0 ) est
camente determinados por la funcion f (z) definida por la serie.
145
an (z z0 )n
n=
f (z)dz
r
es independiente de r.
Demostracion. Consideremos la parametrizacion r (t) = z0 + reit , para t [0, 2].
Entonces,
Z
Z
2
f (z)dz =
I(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
dI(r)
=
dr
Z 2
f (z0 + reit )ireit dt,
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
dI(r)
=
dr
como se quera.
Z 2
t=2
f (z0 + reit )eit dt = f (z0 + reit )eit
= 0,
t=0
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,
Z
Z
1
f (w)
1
f (w)
f (z) =
dw
dw.
2i r2 w z
2i r1 w z
Demostracion. Fijemos z como en el enunciado y defina g : An(z0 ; R1 , R2 ) C
mediante
146
6 Singularidades
f (w) f (z)
g(w) :=
wz
f 0 (z)
si w 6= z,
si w = z.
g(w)dw =
r2
g(w)dw,
r1
f (w) f (z)
dw =
wz
g(w)dw =
r2
g(w)dw =
r1
r2
f (w) f (z)
dw
wz
f (w)
dw f (z)
wz
1
dw =
wz
f (w)
dw = f (z)
wz
Z
r2
r1
f (w)
dw f (z)
wz
1
dw f (z)
wz
r1
1
dw
wz
f (w)
dw
wz
Z
r1
r2
r1
1
dw
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
Existencia de la expansion de Laurent. Comenzando con una funcion holomorfa
f (z) cuyo dominio contiene una region anular An(z0 ; R1 , R2 ), mostraremos que una
tal funcion tiene un desarrollo en serie de Laurent:
an (z z0 )n .
n=
En efecto, escojamos r1 y r2 reales tales que R1 < r1 < r2 < R2 . Por el teorema 6.5
anterior, para r1 < |z z0 | < r2 ,
f (z) =
y poniendo
1
2i
Z
r2
f ( )
1
d
z
2i
Z
r1
f ( )
d
z
f1 (z) :=
f2 (z) :=
147
1
2i
1
2i
r2
r1
f ( )
d
z
para |z z0 | < r2
f ( )
d
z
para |z z0 | > r1
f1 (z) =
an (z z0 )n ,
n=0
donde
an =
1
2i
Z
r
f (z)
dz
(z z0 )n+1
148
6 Singularidades
()
g( ) =
bn n =
n=0
bn n
n=1
n=1
n=1
bn (z z0 )n =
bn (z z0 )n =
an (z z0 )n
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
2i
Z
r2
f (z)
dz
(z z0 )n+1
f (z) =
an (z z0 )n
n=
1
2i
Z
r
f (z)
dz
(z z0 )n+1
donde r es el crculo de centro z0 y radio r, para cualquier R1 < r < R2 , y esta serie
es u nica con esas propiedades.
t
u
149
(z z0 )m f (z) = (z z0 )m
an (z z0 )n =
n=m
an (z z0 )n+m
n+m=0
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) e sto 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
f (z) = e1/z =
1 n
z .
(n)!
n=1
n! zn =
n=1
Observacion 6.4. En general, determinar los coeficientes an de la expansion de Laurent por medio de las formulas del teorema 6.6 puede ser complicado. Lo que se hace
frecuentemente es usar series de Taylor y modificarlas adecuadamente para obtener
series de Laurent, como hicimos en los ejemplos 6.6 y 6.7. Si f (z) tiene un polo de
orden m en z0 , el ejemplo siguiente determina su expansion de Laurent alrededor de
ese polo, que esencialmente ya se tiene desde la observacion 6.2:
Ejemplo 6.8. Supongamos que f tiene un polo de orden m 1 en z0 . Entonces,
g(z) = (z z0 )m f (z) con g(z0 ) 6= 0 y g con una singularidad removible en z0 . Consideremos la serie de Taylor de g en un disco alrededor de z0 :
150
6 Singularidades
g(z) =
an (z z0 )n
n=0
a0
a1
am1
g(z)
=
+
+
+
+
am+n (z z0 )m+n
(z z0 )m
(z z0 )m (z z0 )m1
(z z0 ) n=0
Ejercicios
6.11. Obtenga la serie de Laurent alrededor del 0 de la funcion f (z) = 1/(z 2) en
la region |z| > 2, es decir, en la region anular An(0; 2, ).
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
f (z) =
1
.
(z a)(z b)
an zn
n=
p(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.18. Demuestre que una funcion racional no tiene singularidades esenciales.
151
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:
f (z) =
z5
1 + z + z2 + z3 + z4
g(z) =
1
sen2 z
h(z) = sen(1/z).
z
ez 1
tiene una singularidad removible en z0 = 0 y por lo tanto su serie de Laurent, alrededor 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:
f (z) =
z
ez 1
Bn n
z
n=0 n!
n+1
k
152
6.3.
6 Singularidades
f (z) =
an (z z0 )n
n=
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
1
2i
f.
(2) En general, si f (z) es holomorfa en {z1 , . . . , zm }, con singularidades aisladas en z1 , . . . , zm , y si es una curva cerrada, rectificable y nulhomologa en ,
que no pasa por ninguno de los zk , entonces
m
n(; zk ) Reszk ( f ) =
k=1
1
2i
f.
:= (n1 1 + + nm m ).
153
la version homologica para ciclos del teorema de Cauchy, 5.9, se tiene que
que por la definicion () de se puede reescribir como
m
f=
k=1
f = 0,
f
k
f=
nk
R
k
k=1
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 alrede1
n
1/z
dor de z0 = 0 es
n=1 (n)! z , por lo que su residuo en z0 = 0 es Resz=0 (e ) = 1.
Ejemplo 6.10. Supongamos que f tiene un polo de orden m 1 en z0 . Por el ejemplo
6.8 su serie de Laurent alrededor de z0 es de la forma
f (z) =
a0
a1
am1
g(z)
=
+
++
+ am+n (z z0 )m+n
m
m
m1
(z z0 )
(z z0 )
(z z0 )
(z z0 ) n=0
y por lo tanto,
Res( f ; z0 ) = am1 =
1
g(m1) (z0 ).
(m 1)!
z3
1
=
+ 3 + 3(z 1) + (z 1)2
z1 z1
154
6 Singularidades
f (z) =
z3
1
3
=
+
+ 3 + (z 1)
(z 1)2
(z 1)2 z 1
zi
1 1
1
= lm
= .
(z i)(z + i) zi z + i
2i
()
zz0
155
f 0 (z)
g0 (z)
m
+
=
f (z)
z z0 g(z)
(1)
(2)
+
f (z) k=1 z zk k=1 z wk g(z)
(3)
con g0 /g holomorfa.
m
n
f 0 (z)
dz = n(; zk ) n(; wk ).
f (z)
k=1
k=1
0
(z)
dz = 0, por el teoreDemostracion. Integrando ambos lados de (3) note que gg(z)
0
ma de Cauchy, version homologica 5.6, porque g /g es holomorfa y es nulhomologa.
t
u
156
6 Singularidades
1
2i
f0
= N0 ( f ) N ( f ).
f
Demostracion. Claramente es nulhomologa en B(z0 ; r) y el ndice de con respecto a cualquier cero o polo de f en este disco es 1. El resultado se sigue del
teorema 6.9 anterior.
t
u
Teorema 6.11 (Rouche). Supongamos que f (z) y g(z) son funciones meromorfas
en una vecindad de B(z0 ; r) con solo un numero finito de ceros y polos en su interior
y que no tiene ni ceros ni polos en su frontera = B(z0 ; r), orientada positivamente. Si | f (z) g(z)| < | f (z)| + |g(z)|, entonces,
N0 ( f ) N ( f ) = N0 (g) N (g).
Demostracion. Usaremos la misma integral que en el corolario 6.10 anterior y as,
como para z {} se tiene que g(z) 6= 0, podemos dividir entre g(z) los terminos de
la desigualdad de la hipotesis para obtener que
f (z)
f (z)
<
para z {}.
1
()
g(z) + 1
g(z)
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, entonces () 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
0=
1
2i
h0
1
=
h
2i
f0
1
f
2i
g0
= N0 ( f ) N ( f ) N0 (g) + N (g),
g
t
u
f (z)
= 1.
g(z)
157
y escogemos r tal que f (z) no tenga ceros en = B(0; r) y notamos que la desigualdad () 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 u nico
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.
Demostracion. (1): Como f (z) 6= 0 para todo z B(z0 ; r),
:= nf{| f (z)| : z B(z0 : r)} > 0,
y como { fn } f uniformemente en B(z0 ; r), existe un entero N tal que si n N
y z B(z0 ; r) se tiene que fn (z) 6= 0 y ademas
| f (z) fn (z)| < /2 < | f (z)| | f (z)| + | fn (z)|.
Se cumplen as las condiciones del teorema de Rouche 6.11 para f y fn y por lo
tanto f y fn tienen el mismo numero de ceros en B(z0 ; r).
(2): Por el teorema de la identidad 4.20 f tiene solo un numero finito de ceros en el compacto U y por lo tanto existen discos abiertos disjuntos por pares B(z1 ; r1 ), . . . , Bn (zn ; rn ) tales que f no tiene ceros en el compacto K := U
S
B(zk ; rk ). Se sigue que casi todas2 las fn no tienen ceros en K (porque de otra
manera, un numero infinito de fn tendran ceros en K, digamos cn K, y as una
subsucesion de estos ceros convergera a un c K, que por la convergencia uniforme de { fn } a f en el compacto K implicara que c K sera un cero de f , una contradiccion). Por lo tanto, existe un natural N tal que todas las fn con n N no tienen
ceros en K y por lo tanto todos sus ceros estan en los discos B(z1 ; r1 ), . . . , Bn (zn ; rn )
y as el resultado se sigue de la parte (1).
t
u
1 Vea la nota al pie de la p
agina 110: una sucesion de funciones { fn : C} se dice que converge
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 n
umero finito.
158
6 Singularidades
Ejercicios
6.24. Generalizando el ejemplo 6.13, demuestre que si la funcion f tiene un polo
simple en z0 y g es holomorfa en una region que contiene a z0 , entonces
Res( f g; z0 ) = g(z0 ) Res( f ; z0 ).
6.25. Sean g, h funciones holomorfas en y z0 . Si h tiene un polo simple en
z0 , demuestre que
g g(z )
0
.
Res ; z0 = 0
h
h (z0 )
6.26. Calcule los residuos de la funcion f (z) = z5 /(z2 1)2 en sus singularidades.
6.27. Calcule los residuos de la funcion f (z) = 1/ sen z 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 u nico punto fijo3 en
B(0; 1). Sugerencia: en el teorema de Rouche use las funciones f (z) := h(z) z y
g(z) := z.
6.30. Demuestre que el campo de funciones meromorfas M( ) es el campo de
fracciones del anillo de funciones holomorfas O( ) (vea la pagina 48 y el ejercicio
4.19, donde se prueba que este anillo es un dominio entero).
6.4.
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
Z
1
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,
3
159
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,
es decir, es el semicrculo superior de radio r, de r a r, seguido del segmento de
recta [r, r], y note que solo rodea al polo z = i, es decir, n(; i) = 0 y ademas
n(; i) = 1:
i
1
1
dz
=
2i
= .
1 + z2
2i
f (z)dz =
1
dz =
1 + z2
Z
r
1
dz +
1 + z2
Z
[r,r]
1
dz
1 + z2
(2)
Z r
1
dx
2
r 1 + x
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 u ltima desigualdad en (3):
(3)
r
1
dz
.
`(r ) sup{| f (z)| z {r }} 2
1 + z2
r 1
Z
sen x
0
dx.
160
6 Singularidades
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
eiz
dz = 0,
z
Z
r
eiz
dz +
z
eiz
dz +
[r,R] z
Z
R
eiz
dz = 0
z
donde observamos que la primera y tercera integrales del lado izquierdo son integrales reales
Z r ix
e
(1)
dx +
r
eiz
dz +
z
Z R ix
e
r
dx +
R
eiz
dz = 0.
z
Ahora, como
sen x =
1 ix
e eix
2i
entonces
Z R
sen x
r
1 R eix eix
1 R eix
1
dx =
dx
2i r
x
2i r x
2i
Z
Z
1 R eix
1 r eix
=
dx +
dx
2i r x
2i R x
Z
dx =
Z R ix
e
r
dx
(2)
2i
Z R
sen x
r
dx +
r
161
eiz
dz +
z
eiz
dz = 0.
z
Z
R
Para calcular la integral impropia (), debemos calcular lmr0 y lmR en (2). CoR 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
R
eiz
dz =
z
Z iReit
e Rieit
Reit
dt = i
it
eiRe dt
por lo que
Z
Z
Z /2
Z
Z
eiz iReit
eiReit dt =
eR sent dt = 2
eR sent dt
e dt
dz = i
z
0
0
0
0
y usando la desigualdad 2t/ sent, para t [0, /2] por lo que eR sent e2Rt/ ,
se obtiene que
Z
Z /2
Z /2
eiz
2Rt/ /2
dz 2
eR sent dt 2
e2Rt/ dt =
e
1 eR
=
z
2R
R
0
0
0
(3)
lm
R R
R eiz
r z dz cuando r 0. Observe que
eiz
eiz 1 1
=
+
z
z
z
eiz
dz = 0.
z
R 1
dz = i (por la orientacion negativa de
r z
eiz 1
z
lm
r0 r
eiz 1
dz = 0.
z
162
6 Singularidades
(5)
lm
r0 r
eiz
dz = lm
r0
z
Z
r
eiz 1
dz + lm
r0
z
Z
r
1
dz = 0 i = i.
z
Z R
sen x
r
dx + lm
R R
eiz
dz + lm
r0
z
Z
r
eiz
dz = 2i
z
Z
sen x
0
dx + 0 i
dx =
i
= /2.
2i
1
dx,
1 + xa
donde xa = exp(a log x) para 0 < x < . Aqu, la funcion compleja a considerar es
1/(1 + za ) donde aparece la potencia compleja za por lo que tenemos que elegir una
rama holomorfa de esta funcion. Observe, para comenzar, que z0 = 0 es un punto de
ramificacion de za , y la rama que elegiremos de za = exp(a log z) es aquella para la
cual za = 1 cuando z = 1 y por lo tanto el dominio que se considerara es la region
:= {z = rei : R > 0 y | /a| < }
que es el plano complejo al que se le ha quitado la semirecta (rayo) {z = rei : =
(/a) }, como en la figura siguiente:
/a
163
Re2i/a
re2i/a
2/a
donde el a ngulo entre los dos segmentos de recta que definen los dos arcos circulares
es 2/a. Por el teorema del residuo 6.8,
Z
1
1
i/a
dz
=
2i
Res
;
e
,
1 + za
1 + za
donde z0 = ei/a es el u nico punto singular de la funcion 1/(1+za ) (un polo simple).
Usando el ejercicio 6.25 se tiene que
Res
1
ei/a
1
1
i/a
;
e
=
=
=
a1
1 + za
a
aei ei/a
a ei/a
y por lo tanto
Z
(2)
1
ei/a 2iei/a
1
dz = 2i Res
; ei/a = 2i
=
.
a
a
1+z
1+z
a
a
Ahora, separando la integral del lado izquierdo en (2) en sus piezas (1), la primera
integral es
1
dz =
a
[r,R] 1 + z
(3)
Z R
r
1
dx
1 + xa
y para la tercera integral usamos la parametrizacion t 7 te2i/a , para t [r, R], por
lo que
1
dz =
a
[Re2i/a ,re2i/a ] 1 + z
(4)
Z R
r
1
e2i/a dt = e2i/a
1 + t a (e2i/a )a
Z R
r
1
dt
1 + ta
Z R
1
dx e2i/a
1 + xa
Z R
r
1
dx +
1 + xa
Z
R
1
dz
1 + za
Z
r
1
dz
1 + za
y as
1 e2i/a
Z
r
1
2iei/a
dx
=
1 + xa
a
Z
R
1
dz +
1 + za
Z
r
1
dz
1 + za
164
6 Singularidades
1
y debemos ahora calcular el lmite cuando r 0 y R . Para la integral r 1+z
a 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
1
dz
M`(r ) = M(2r/a) 0
1 + za
cuando r 0.
1
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
`(R ) =
0
a
1 + za
|R 1|
a(Ra 1)
donde usamos que la longitud del arco R es `(R ) = 2R/a. Se sigue que
1 e2i/a
Z
0
2iei/a
1
dx
=
1 + xa
a
y por lo tanto
Z
0
1
2iei/a
2i
2i
=
=
dx
=
1 + xa
a 1 e2i/a
aei/a 1 e2i/a
a ei/a ei/a
=
.
a sen /a
Ejercicios
6.31. Usando la curva del ejemplo 6.15, evalue la integral
Z
sen2 x
x2
dx.
cos x
dx.
a cos x
1
dx.
4
1 + x
165
(b)
x2
dx.
1 + x2 + x4
Z0
eax
dx, para 0 < a < 1.
(e)
x
1 + e
Z
1
(f)
dx.
(1
+
x2 )2
0
(a)
dx = .
2
2
0 x +a
2a
x
(b)
dx = .
2
2
32
0 (x + 4)
(c)
(a)
1
dx.
3
Z0 1 + xa
x
(c)
dx, para 1 < a < 3.
(1
+
x)3
0
Z
(d)
Z 2
0
(d)
2
dx
dx =
, si a > 1.
a + sen x
a2 1
Z
2x2 + x + 1
x4 + 5x2 + 4
dx =
5
.
6
Captulo 7
Aplicaciones conformes
7.1.
Funciones conformes
167
168
7 Aplicaciones conformes
hw, zi
|w||z|
porque h1, zi = x.
169
hTw, T zi = h w, zi = | |2 hw, zi
y note que el a ngulo de inclinacion de esta recta tangente es arg( 0 (t0 )). Supongamos 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 a ngulo entre 1 y 2
en z0 es por definicion el a ngulo arg( 01 (t1 )) arg( 02 (t2 )). As, geometricamente
el a ngulo entre las curvas 1 y 2 en el punto de interseccion es el a ngulo entre sus
vectores tangente en ese punto:
170
7 Aplicaciones conformes
0 (t1 )
1
z0
0 (t2 )
2
t
u
171
Demostracion. Por la proposicion 2.9 debemos probar que u y v satisfacen las ecuaciones de Cauchy-Riemann. Ahora, como las parciales de u y v existen y son continuas, como funcion f : R2 R2 e sta 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 )
es decir, d f |z0 = T : R2 R2 es la funcion R-lineal dada para z = x+iy = (x, y) R2
por
f
f
ux (z0 ) uy (z0 )
ux (z0 ) uy (z0 )
x
T (z) =
z=
=
x+
y
vx (z0 ) vy (z0 )
vx (z0 ) vy (z0 )
y
x z0
y z0
f
f
=
z+
z
z z0
z z0
y as, por el lema 7.1 anterior se debe tener que
ecuaciones de Cauchy-Riemann, como se quera.
f
z
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
u = Re( f (z) = (r + r1 )
2
1
v = Im( f (z)) = (r r1 )
2
u2
v2
2 +
2 = 1
1/2(r + r1 )
1/2(r r1 )
173
u2
v2
2 = 1.
2
(3)
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
-
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
cos a(ey + ey ) = cos a cosh y
2
1
v = sen a(ey ey ) = sen a senh y,
2
u=
174
7 Aplicaciones conformes
que son las ecuaciones parametricas, usando las funciones trigonometricas hiperbolicas (vea el ejercicio 2.31), de hiperbolas confocales, como se ilustra en la
figura siguiente:
z 7 cos z
-
i
+ iy = ey ey .
2
2
Ejercicios
7.1. Si T : R2 R2 es R-lineal, demuestre que T preserva a ngulos con signo si y
solo si existe un real positivo r > 0 tal que para todo w, z R2 se tiene que hTw, T zi =
rhw, zi.
7.2. Si f = u + iv : C es (real) diferenciable, demuestre que f preserva orientaciones en z0 si y solo si el determinante de la Jacobiana en z0 es positivo.
Usando el ejercicio 2.22 concluya que si f es holomorfa, entonces f preserva orientaciones.
ab
7.3. Sea A =
una matriz con entradas reales. Considere la funcion TA : C
cd
C inducida por A, es decir,
ab
x
ax + by
TA (z) := Az =
=
.
cd
y
cx + dy
a b
Demuestre que TA es C-lineal si y solo si A =
y por lo tanto TA (z) =
c a
(a + ib)z.
7.4. Demuestre que una funcion R-lineal T : C C es C-lineal si y solo si T (i) =
iT (1).
175
7.2.
Transformadas de Mobius
Una familia importante de transformaciones conformes es la dada por la transformaciones lineales fraccionarias que son funciones racionales no constantes de la
forma
az + b
T (z) :=
cz + d
con a, b, c, d complejos dados. Conviene
considerar
a la funcion anterior como una
ab
accion de la matriz compleja A :=
en el plano complejo y dada para z C
cd
por la igualdad
az + b
ab
TA (z) = A z =
z :=
.
cd
cz + d
Observe ahora que si C es un complejo no nulo, la matriz
ab
a b
A =
=
cd
c d
determina la misma transformacion lineal fraccional ya que
az + b az + b
a b
( A) z =
z =
=
= A z.
c d
cz + d
cz + d
Claramente una transformacion de Mobius es holomorfa en la region = C
{cz + d = 0} y su derivada es
TA0 (z) =
ad bc
(cz + d)2
ab
. Se sigue que si det A = 0, entonces TA es conscd
tante. Por otra parte, si det A 6= 0, la matriz A es invertible y se dice
que TA es una
d b
1
, entontransformacion de Mobius. Como la inversa de la matriz A es det A
c a
donde ad bc = det A = det
176
7 Aplicaciones conformes
ces la matriz B :=
d b
determina la inversa de la transformacion de Mobius
c a
ya que
dz b (ad bc)z
ab
d b
ab
=
= z,
TA TB z =
z =
cd
c a
cd
cz + a
ad bc
por lo que TA TB = id, y similarmente, TB TA = id, y por lo tanto TA es biyectiva.
Entonces, por la proposicion 7.2, las transformadas de Mobius son conformes y
hemos as probado la parte (3) del lema siguiente, que por otra parte se sigue de las
partes (1) y (2) del mismo lema y cuya demostracion dejamos como el ejercicio 7.7:
Lema 7.4. Sean A, B matrices complejas 2 2 invertibles. Entonces,
(1) TA TB = TAB .
(2) TA = id si y solo si A = aI2 , donde a
10
e I2 =
es la matriz identidad.
01
t
u
T
T
T
T
az+b
cz+d ,
diremos que
bc ad
a c(az + b) az + b
+ =
=
= T (z)
c(cz + d) c c(cz + d) cz + d
por lo que T (z) es la composicion
bc ad 1
bc ad 1
a
1
z 7 cz + d 7
7
7
+
cz + d
c
cz + d
c
cz + d
c
donde la primera funcion es la composicion de una dilatacion con una rotacion y
una traslacion, la segunda es una inversion, la tercera es una dilatacion seguida de
una rotacion y la cuarta es una traslacion.
t
u
177
()
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
x + iy =
1
= 2
= 2
i 2
+ i
+2
+2
+2
por lo que
x=
2 + 2
y=
2 + 2
que al substituir en () da
A
2
B
2
C
+
+ 2
+D = 0
( 2 + 2 )2 ( 2 + 2 )2
( + 2 ) ( 2 + 2 )
A + B C + D( 2 + 2 ) = 0
178
7 Aplicaciones conformes
z0
z0
f (z)
f (z + 0) f (0)
= lm
= f 0 (0) = g(0),
z0
z
z0
donde la segunda igualdad es porque f (0) = 0 por (2). Por el argumento en la demostracion 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
Lb (z) :=
zb
1 bz
z+b
.
1 + bz
179
i
e b ei b
=
= 1
|Lb (z)| =
1 bei ei ei b
y as Lb (z) B(0; 1). Finalmente, note que Lb (b) = 0 y
Lb0 (z) =
1 |b|2
(1 |b|2 )2
1 |z0 |2 0
1
0
2
f
(z
)
1
|z
|
=
f (z0 )
0
0
1 |w0 |2
1 |w0 |2
f (z) = Lw0 cLz0 (z) para todo z B(0; 1).
180
7 Aplicaciones conformes
| f 0 (b)|
1
1 |0|2
=
2
1 |b|
1 |b|2
|g0 (0)|
1 |b|2
= 1 |b|2
1 |0|2
1
(1 |b|2 ) = 1
1 |b|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)
ya que L0 (w) =
w0
10w
f g1 : B(0; 1) B(0; 1)
es biholomorfa y satisface que ( f g1 )(0) = f (z0 ) = 0 y as, por el teorema 7.8
anterior (aplicado a la funcion f g1 y al punto b = 0), existe una constante c tal
que |c| = 1 y ademas f g1 (z) = cL0 (z) = cz para todo z B(0; 1). Se sigue que
(1/c) f (z) = g(z), es decir, f (z) = cg(z) y por lo tanto 0 < f 0 (z0 ) = cg0 (z), donde
g0 (z0 ) > 0. Por lo tanto c > 0 es real positivo y como |c| = 1 se debe entonces tener
que c = 1, es decir, f = g, como se quera.
t
u
Transformaciones de Mobius en C . Para comprender mejor el comportamiento
de las transformaciones de Mobius, conviene pensarlas como funciones con dominio el plano complejo extendido C (vease la seccion 1.4 del captulo 1), donde
as pensadas juegan un papel importante al iniciar el estudio de las funciones modulares, de importancia capital en la teora de numeros y geometra diofantina. Al
181
considerar las transformaciones de Mobius como funciones con dominio C , la forma natural de ver lo anterior es desde el punto de vista proyectivo y aprovechamos
la ocasion para reinterpretar al plano complejo extendido como sigue:
La recta proyectiva compleja. En el espacio vectorial complejo C2 := {(w, z) :
w, z C} consideramos las rectas complejas que pasan por el origen, es decir, los
subespacios vectoriales complejos de dimension uno. Note que cada una de estas
rectas ` esta determinada por un punto (w, z) distinto del origen (0, 0) y todos los
puntos (0, 0) 6= (w0 , z0 ) ` satisfacen que (w0 , z0 ) = (w, z) para algun C . Es
un ejercicio sencillo 7.12, el probar que la anterior es una relacion de equivalencia en el conjunto C2 {(0, 0)}. A la clase de equivalencia de (w, z) 6= (0, 0) se le
denotara por [w, z] (donde notamos que, geometricamente la clase [z, w] consiste de
todos los puntos de la recta que pasa por el origen (0, 0) de C2 y el punto (z, w)). Al
conjunto de clases de equivalencia se le denota por
P1C = [w, z] : (w, z) C2 {(0, 0)}
y se le llama la recta proyectiva compleja.
Observacion 7.1. Se tiene una biyeccion natural
: P1C C
dada por
(
w/z si z 6= 0,
[w, z] =
si z = 0
dada por
(
[z, 1] si z C,
(z) =
[1, 0] si z = .
P1C
182
7 Aplicaciones conformes
TA (z) = A (z) =
az + b
ab
z
az + b
,
=
= (az + b, cz + d) =
cd
1
cz + d
cz + d
si c = 0,
ab
1
a
TA () = A () = A[1, 0] =
=
=
cd
0
c
a/c si c 6= 0.
Tambien, para el punto donde se anula el denominador de una transformacion de
Mobius usual, es decir, si z = d/c C C , observe que
ab
ab
d/c
ad/c + b
TA (d/c) =
(d/c) =
=
cd
cd
1
dc/c + d
=
ad/c + b
= ,
0
183
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 suprayectividad 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,
olo si cz2 + (d a)z b = 0. Si c 6= 0
TA (z) = z, si y solo si az+b
cz+d = z, es decir, si y s
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 puntos 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) = az
d = (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 u nica transformacion de Mobius T : C C tal que
T (z j ) = w j ,
para 1 j 3.
Demostracion. (Unicidad): Supongamos que T, L : C C son dos transformaciones de Mobius que satisfacen la conclusion de la proposicion. Entonces,
L1 T : C C es una transformacion de Mobius con tres puntos fijos y as,
por el lema 7.11 anterior se debe tener que L1 T = id, es decir, L = T .
(Existencia): Observe primero que la transformacion de Mobius T dada por
T (z) :=
(z z2 )(z1 z3 )
(z
z1 )(z2 z3 )
z z2
z3 z2
z3 z1
z z1
z z2
z z1
si z1 , z2 , z3 C C ,
si z1 = ,
si z2 = ,
si z3 = ,
184
7 Aplicaciones conformes
satisface que T : z1 , z2 , z3 7 , 0, 1. En forma totalmente analoga se tiene una transformacion de Mobius L tal que L : w1 , w2 , w3 7 , 0, 1. Por lo tanto, la composicion
L1 T : z1 , z2 , z3 7 , 0, 1 7 w1 , w2 , w3
t
u
hace lo requerido.
Proposicion 7.13 (2-transitividad). Si z1 , z2 C y w1 , w2 C son dos conjuntos, cada uno con dos puntos distintos, entonces existe una transformacion de
Mobius T : C C tal que
T (z j ) = w j ,
para 1 j 2.
sirve cuando z1 , z2 C,
z z2
1
S(z) =
sirve cuando z2 C y z1 = ,
z z2
z z1 sirve cuando z1 C y z2 = .
Observe ahora que si L es otra transformacion de Mobius que satisface lo mismo
que la S anterior, entonces S L1 satisface que
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 . Finalmente, 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 observado 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
Clases de conjugacion. En el grupo Mob de transformaciones de Mobius de C
consideremos la relacion de equivalencia dada por la conjugacion1 , es decir, L, T
Mob son conjugadas si existe una S Mob tal que T = S L S1 . Esta es una
1
185
b/a)z+c
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
{M(0), M()} = {0, }
y se tienen las posibilidades siguientes: M(0) = 0 y M() = o M(0) = y
M() = 0. En el primer caso, por el ejemplo 7.7 se tiene que M = D , con 6= 0, 1.
En el segundo caso, si M(z) = az+b
cz+d , como M(0) = se debe tener que b 6= 0
y d = 0, y como M() = 0 entonces a = 0; se sigue que M(z) = czb = (b/c) 1z ,
es decir, M(z) = (1/z) con 6= 0. Substituyendo en (1), en el primer caso:
M(z) = D (z) = z, por lo que M 1 (z) = D 1 (z) y as
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
z = D (z) = M D M 1 (z) = M D ( /z) = M /z = (z/ ) = 1 z
y por lo tanto = 1 . Juntando los dos casos hemos probado que:
186
7 Aplicaciones conformes
D es conjugado de D { , 1 } = {, 1 } + 1 = + 1 .
El numero complejo + 1 depende entonces solo de la clase de conjugacion
de la transformacion de Mobius D . Note que como 6= 1, no puede suceder que
+ 1 = 2 ya que esto dara lugar a la ecuacion cuadratica 2 2 + 1 = 0 cuya
u nica solucion es = 1. Se sigue que + 1 C {2}. Se usara la notacion
(D ) := + 1 C {2}.
Clasificacion de las clases de conjugacion. En el lema 7.11 vimos que una transformacion de Mobius, distinta de la identidad, tiene uno o dos puntos fijos y a continuacion consideramos esos dos casos:
nico punto fijo. Observe primero
Caso 1. Supongamos que T (z) = az+b
cz+d tiene un u
que si el u nico 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 u nico punto fijo de T . Sea S una transformacion de Mobius tal que S(a) = (para a 6= , S(z) = 1/(z a) sirve). Entonces,
S T S1 tiene como u nico 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+b
cz+d tiene dos puntos fijos (distintos), digamos 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 transformaciones 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 u nico 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
187
Ejercicios
7.7. Demuestre las partes (1) y (2) del lema 7.4.
7.8. Encuentre los puntos fijos de una traslacion, una dilatacion y la inversion.
7.9. Si T es una transformacion de Mobius, encuentre condiciones necesarias y suficientes sobre T para que T (S1 ) = S1 , donde S1 es el crculo unitario |z| = 1.
7.10. Si T es una transformacion de Mobius, encuentre condiciones necesarias y
suficientes sobre T para que T (B(0; 1)) = B(0; 1), donde B(0; 1) es el disco unitario
|z| < 1.
7.11. Sea f : B(0; 1) C holomorfa no constante tal que Re( f (z)) 0 para todo
z B(0; 1).
(1)
(2)
(3)
1 + |z|
1 |z|
| f (z)|
1 |z|
1 + |z|
(z z0 )
,
z0 z 1
7.15. Usando el lema de Schwarz 7.7, demuestre que la identidad es la u nica aplicacion conforme biyectiva del disco unitario en s mismo, que fija el origen y tiene
derivada positiva.
188
7 Aplicaciones conformes
7.16. Usando el ejercicio anterior, demuestre que las u nicas 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.
on de Mobius y sea H = {z C : Im(z) > 0}
7.20. Sea T (z) = az+b
cz+d una transformaci
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|
7.3.
189
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.
Ejemplo 7.11. El teorema de Liouville 4.18 implica que el plano C no es conformemente equivalente al disco unitario.
Ejemplo 7.12. Sea H := {z C : Im(z) > 0} el semiplano (abierto) superior. Claramente H es una region no acotada de C. Mostraremos que H es conformemente
equivalente al disco unitario B(0; 1). En efecto, las matrices
1 i
i i
A :=
y
B :=
1 i
1 1
son invertibles y satisfacen que AB = 2iI2 = BA. Para las transformaciones de
Mobius asociadas
TA (z) =
zi
z+i
TB (z) =
iz + i
z+1
=i
z + 1
z + 1
|z|2 2y + 1
4y
4 Im(z)
=
=
|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
(1)
TA : H B(0; 1).
190
7 Aplicaciones conformes
TB : B(0; 1) H.
(2)
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
TB
B(0; 1)
|g0 (z0 )|
= (g f 1 )0 (0) 1
0
| f (z0 )|
de donde se sigue que
(1)
191
La discusion anterior sugiere entonces la estrategia para la demostracion del teorema de Riemann 7.15: se debe maximizar | f 0 (z0 )| entre la familia F de funciones
holomorfas inyectivas f : B(0; 1) que se anulan en el punto z0 . Lo primero
que haremos es mostrar que el problema de maximizacion anterior tiene solucion, y
despues, siguiendo una idea de Caratheodory, simplificada por Fejer y Riesz, probaremos el teorema de Riemann 7.15. Comenzamos con el problema de maximizacion
planteado observando que, como es usual en este tipo de problemas, la existencia
de la solucion o ptima depende sutilmente de propiedades de compacidad y de sucesiones de funciones uniformemente localmente acotadas. Comenzamos con la parte
topologica:
Lema 7.16. Todo abierto C es la union de una sucesion {Kn } de subconjuntos
compactos tales que
(i)
(ii)
{z C : |z a| 1/n}
a6
son cerrados y acotados (por n, por ejemplo) y as, son compactos. Note que
\
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,
para que se cumpla que |z| n, se tiene que z Kn . Hemos
S
as probado que = n Kn . Note ahora que
Kn {z C : |z| < n + 1} {z C : d(z, C ) > 1/(n + 1)} Kn+1
donde el conjunto de enmedio es abierto, lo cual demuestra la parte (i) y al mismo
tiempo se sigue que
[
[
= Kn = int Kn+1
n
por lo que {int Kn } es una cubierta abierta de , en particular lo es de cada subconjunto compacto K y consecuentemente K esta cubierto por una familia finita de
conjuntos int Kn , y como estos estan encadenados por el lema 7.16 (ii), K esta contenido en el mayor de ellos, lo cual prueba (ii).
t
u
192
7 Aplicaciones conformes
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
(2)
y para cada k la subsucesion { fnk } converge puntualmente en cada z1 , . . . , zk . Considere ahora la subsucesion diagonal { frk } cuyo rk -esimo termino frk es el k-esimo
termino de la subsucesion { fnk }. Dicho de otra manera, rk es el k-esimo termino
en Sk (en el orden usual) y poniendo S := {r1 , r2 , . . .} se tiene que la subsucesion
diagonal anterior es { frk : rk S}. Note que, por las inclusiones de (1), para cada
k hay a lo mas k 1 terminos en S Sk . Se sigue que { frk (z j )} converge para todos
193
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
(1)
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 imaginaria 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
(3)
194
7 Aplicaciones conformes
(1)
=
z1 z2
( z1 )( z2 )
por la formula de Cauchy 4.3 se tiene que
f (z1 ) f (z2 ) =
1
2i
f ( )
1
d
z1
2i
(z1 z2 )
2i
f ( )
1
d =
z2
2i
(z1 z2 ) f ( )
d
( z1 )( z2 )
f ( )
d
( z1 )( z2 )
| f (z1 ) f (z2 )|
| f (z1 ) f (z2 )| < , para toda f F. Hemos probado as que, para cada Kn , las
restricciones de elementos de F a Kn forman una familia equicontinua. Entonces,
para cualquier sucesion { fn } F, al restringirla a K1 es equicontinunua y as, por
el teorema de Arzel`a-Ascoli 7.17, tiene una subsucesion { fn1 } que converge en K1 .
Restringiendo ahora esta subsucesion a K2 , de nuevo es equicontinua y por lo tanto
tiene una subsucesion que converge en K2 . Procediendo recursivamente, se tienen
conjuntos infinitos de enteros Sk :
Sk Sk1 S1 S0 = N
195
196
7 Aplicaciones conformes
dada por
(L f (z0 ) f )(z) =
f (z) f (z0 )
1 f (z0 ) f (z)
Lw f : B(0; 1)
dada por
f (z) w
1 w f (z)
197
(2)
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,
(3)
h(z) =
g(z) g(z0 )
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
(4)
0
h0 (z0 ) = (Lg(z0 ) g)0 (z0 ) = Lg(z
(g(z0 )) g0 (z0 ) =
0)
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
2g(z0 )g0 (z0 ) =
y as
f 0 (z0 ) 1 |w|2
g (z0 ) =
2g(z0 )
0
> | f 0 (z0 )|
y como f F satisface tambien que h(z0 ) = 0, la desigualdad anterior contradice la
eleccion de f que maximiza el valor absoluto de la derivada de funciones en F que
se anulan en z0 . Se sigue que la existencia de w B(0; 1) f ( ) es falsa y por lo
tanto f ( ) = B(0; 1), como se quera.
t
u
Corolario 7.20. Solo hay dos clases de equivalencia conforme de regiones simplemente 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.28. Considere la funcion f : C C dada por f (z) = 12 (z + z1 ) del ejemplo 7.4.
Demuestre que:
(7)
(8)
7.29. Si C es una region que es conformemente equivalente a una region simplemente conexa, demuestre que es simplemente conexa.
7.30. Demuestre que la funcion de Koebe f : B(0; 1) C dada por f (z) =
inyectiva. Determine su imagen.
z
(1z)2
es
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).
7.32. En la demostracion 7.3 del teorema de la aplicacion de Riemann 7.15 se maximizo el modulo | f 0 (z0 )| para todas las funciones f holomorfas e inyectivas en .
Demuestre que la funcion f con modulo | f 0 (z0 )| maximo anterior tambien maximiza el modulo de las derivadas en z0 entre todas las funciones : B(0; 1) no
necesariamente inyectivas.
7.33. Sean 1 , 2 dos subconjuntos abiertos propios de C que son simplemente
conexos. Sea f : 1 2 una equivalencia conforme y sea z0 1 y su imagen
w0 = f (z0 ) 2 . Demuestre que para cualquier funcion holomorfa inyectiva g :
1 2 tal que g(z0 ) = w0 se tiene que |g0 (z0 )| | f 0 (z0 )|.
7.34. Encuentre una funcion holomorfa f que transforma biyectivamente la region
{z C : |z| < 1, Re(z) > 0} en el disco unitario B(0; 1).
Referencias
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. AddisonWesley, Reading, 1965.
11. Arzel`a, C., Sulle funzioni di linee. Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat. 5 (5)
(1895), 55-74.
12. Arzel`a, 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 variet`a 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 u ber 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 Theor`eme de Cauchy. Acta Math. 4 (3) (1884), 197-200.
17. Goursat, E., Sur la Definition Generale des Fonctions Analytiques dapr`es Cauchy. Trans.
Am. Math. Soc. 1 (1900), 14-16.
199
Indice
alfabetico
abierto, 11
relativo, 17
absolutamente, 26
accion, 175
acumulacion, 23
aislado, 33
analtica, 48
a ngulo
entre dos curvas, 169
anillo
de funciones holomorfas, 48
aplicacion conforme, 170
aplicacion de Riemann, 190
aproximacion lineal, 41
argumento de un complejo, 4
biholomorfa, 109, 188
bola, 11
abierta, 11
cerrada, 12
cambio de parametro, 75
campo
de fracciones, 154
de funciones meromorfas, 154
de numeros complejos, 1
de numeros reales, 1
Cantor, 24
capsula convexa, 22
Caratheodory, 39
cero, 103
simple, 111, 132
cerrado, 12
relativo, 17
cerradura, 16
ciclo, 120
ciclos homologos, 120
201
Indice alfabetico
202
cerrada, 63, 75
lisa, 75
lisa por tramos, 75
nulhomologa, 117
regular, 169
curvas
homologas, 121
homotopas, 121
denso, 32
derivada, 37
a` la Caratheodory, 39
como aproximacion lineal, 41
de la funcion inversa, 108
diametro, 24
diferenciable, 37, 48
dilatacion, 176
disco, 11
abierto, 11
cerrado, 12
de convergencia, 95
disconexo, 16
distancia, 10
cordal, 33, 34
entre conjuntos, 31
2-transitividad, 184
ecuacion
de Laplace, 50
ecuaciones de Cauchy-Riemann, 45
eje
imaginario, 1
real, 1
elptica, 187
equicontinua, 192
equivalentemente conformes, 188
esfera de Riemann, 35
estimacion de Cauchy, 90
expansion de Laurent, 148
exponencial, 53
extremo final, 17, 63
extremo inicial, 17, 63
familia
equicontinua, 192
localmente acotada, 193
normal, 192
puntualmente acotada, 192, 198
fibra, 154
de una funcion, 154
forma a + bi, 2
forma polar de un complejo, 4
formula integral de Cauchy
en un disco, 87, 90
Indice alfabetico
independencia de la trayectoria, 125
ndice, 115
ndice de un ciclo, 120
ndice de una curva cerrada, 115
integral
de lnea, 74
de Riemann, 65
de Riemann-Stieljes, 69
interior, 16
inversion, 176
isometra, 175
Laplace, 50
lazo, 122
constante, 122
nulhomotopo, 122
Leibniz, 58
lema
de Schwarz, 177
lmite
de sucesiones complejas, 22
de una funcion, 29
inferior, 26
superior, 26
Lipschitz, 33
lisa por tramos, 63
localmente acotada, 193
logaritmo, 55
longitud de un polgono, 64
loxodromica, 187
metrica
cordal, 33
modulo, 3
modulo de un complejo, 3
meromorfa, 154
Morera, 91
multiplicidad, 103
numeros de Bernoulli, 151
norma de una particion, 66
normal, 192
nulhomologa, 117
nulhomologo, 120
nulhomotopo, 122
numero de vueltas, 115
operadores de Wirtinger, 49
orden
de un cero, 103
de un polo, 138
parabolica, 186
parte imaginaria de un complejo, 2
203
parte real de un complejo, 2
parte singular, 138
periodica, 53
perodo, 53
plano complejo extendido, 33
polgono, 17
polo, 137
en , 140
preservar a ngulos, 168
primitiva, 43
principio del argumento, 155
producto
de funciones, 28
proyeccion estereografica, 34
punto
aislado, 33
de acumulacion, 23
frontera, 15
interior, 11
lmite, 23
punto al infinito, 33
punto de ramificacion, 162
puntos fijos
de una transformacion de Mobius, 183
radio de convergencia, 95
races de complejos, 6
rama
del logaritmo, 55
principal del logaritmo, 56
recta proyectiva compleja, 181
rectificable, 64
refina, 64
region, 48
anular, 143
anular de convergencia, 144
simplemente conexa, 126
reparametrizacion, 75
residuo, 152
resta
de funciones, 28
Riemann-Stieljes integrable a lo largo de , 69
rotacion, 176
segmento, 17
semiplano
cerrado, 15
serie, 26
armonica, 27
convergente, 26
convergente absolutamente, 26
de funciones, 94
de la funcion exponencial, 99
de Laurent, 143, 148
Indice alfabetico
204
de potencias, 95
de Taylor, 100
divergente, 26
geometrica, 95
infinita, 26
simple, 111, 132
simplemente conexa, 126
singularidad, 133
aislada, 133
aislada en , 140
esencial, 139
esencial en , 140
removible, 134
removible en , 140
subcubierta finita, 19
sucesion, 22
convergente, 22
de Cauchy, 24
de funciones, 93
de sumas parciales, 26
suma
de funciones, 28
suma de curvas, 115
sumas de Riemann-Stieljes, 69
sumas parciales, 26
teorema
de Arzel`a-Ascoli, 192
de Cantor, 24
de Casorati-Weierstrass, 139
de Cauchy en un disco, 101
de Cauchy en una region convexa, 85
de Cauchy para dos crculos concentricos,
145
de Cauchy, version homologica, 119
de Cauchy, version homologica para ciclos,
120
de Cauchy, version homotopica, 123
de Cauchy-Goursat, 83
de Cauchy-Hadamard, 95
de Hurwitz, 157