TOPICOS DE ANALISIS DE UNA VARIABLE COMPLEJA

Oswaldo Vel squez Casta on a n

 Indice general
Indice de guras Pr logo o Introducci n o Notaciones Parte 1. Preliminares Captulo 1. N meros complejos u 1. Denici n y propiedades o 2. M dulo y conjugado, partes real e imaginaria o Captulo 2. Espacios m tricos y normados e 1. Espacios m tricos e 2. Espacios normados Captulo 3. Sucesiones y series 1. Sucesiones y series num ricas e 2. Sucesiones de Cauchy y completitud 3. Series y convergencia Captulo 4. Nociones b sicas de topologa a 1. Conjuntos abiertos 2. Conjuntos cerrados 3. Puntos de acumulaci n o 4. Conjuntos compactos Captulo 5. Funciones en espacios m tricos y normados e 1. Lmites 2. Continuidad 3. Curvas 4. Conjuntos conexos 5. Sucesiones de funciones 6. Familias de funciones Parte 2. An lisis complejo a Captulo 6. Funciones holomorfas o analticas 1. La derivada y sus propiedades b sicas a 2. Ecuaciones de Cauchy-Riemann 3. Funciones holomorfas Captulo 7. Series de potencias 1. Convergencia de las series de potencias 2. Holomorfa y continuidad
I

V VII IX XI

1 3 3 3 5 5 6 7 7 7 8 11 11 12 13 13 15 15 15 16 17 18 19 21 23 23 23 25 27 27 27

II

Indice general
31 31 33 34 34 35 35 35 37 39 39 43 43 44 47 47 49 49 49 50 51 53 53 54 54 57 57 57 59 59 60 63 63 64 67 67 67 68 71 73 73 75 75 76 79

Captulo 8. La funci n exponencial o 1. Denici n y propiedades o 2. Sobre las funciones trigonom tricas e 3. Representaci n polar o 4. Logaritmo complejo Captulo 9. Integraci n sobre arcos o 1. Arcos 2. Integral a lo largo de un arco 3. Indice de un arco cerrado Captulo 10. Teora local de Cauchy 1. Teorema de Cauchy, caso convexo 2. F rmula de Cauchy, caso convexo o 3. Representaci n local de una funci n holomorfa o o 4. Derivando la f rmula de Cauchy o Captulo 11. Estructura de ceros de una funci n holomorfa o 1. Estructura de ceros Captulo 12. Consecuencias del teorema de Cauchy 1. El teorema de Liouville para funciones enteras 2. El teorema fundamental del algebra 3. El principio del m dulo m ximo o a 4. Logaritmo y races holomorfas en un dominio convexo Captulo 13. El teorema de la aplicaci n abierta o 1. Preliminares 2. El caso inyectivo 3. Caso general Captulo 14. Convergencia de una sucesi n de funciones holomorfas o 1. Convergencia uniforme en compactos 2. Holomorfa de una funci n lmite o Captulo 15. Singularidades 1. Singularidades removibles o evitables 2. Clasicaci n de las singularidades o Captulo 16. Teorema homol gico de Cauchy o 1. Cadenas, ciclos y sus integrales 2. Teorema de Cauchy homol gico o Captulo 17. El teorema homot pico de Cauchy o 1. Homotopas 2. Conjuntos simplemente conexos 3. Conservaci n del ndice y sus consecuencias o 4. Logaritmos, races y dem s, caso simplemente conexo a Captulo 18. Serie de Laurent 1. El resultado Captulo 19. Variaci n de argumento o 1. Determinaci n y variaci n continua del logaritmo y del argumento o o 2. C lculo de la variaci n a o Captulo 20. C lculo pr ctico del ndice a a

III

1. 2.

Posicionamiento de una curva respecto de una semirecta C lculo del ndice a

79 80 83 83 83 87 87 87 89 89 91 91 93 93 97 97 98 99 99 103 103 104 106 108 110 111 115 119

Captulo 21. Funciones meromorfas y c lculo de residuos a 1. Funciones meromorfas 2. C lculo de residuos a Captulo 22. Contando ceros y polos al interior de un contorno 1. El teorema base 2. El principio del argumento 3. El teorema de Rouch e 4. El teorema de Hurwitz Captulo 23. Productos innitos 1. Denici n y convergencia o 2. Producto de funciones holomorfas 3. El teorema de Weierstrass Captulo 24. El teorema del mapeo conforme de Riemann 1. Transformaciones de Schwarz 2. Conservaci n de angulos o 3. Familias conformes 4. Equivalencia conforme Captulo 25. Funciones de orden nito 1. Orden de una funci n entera o 2. F rmulas de Schwarz y Nevanlinna o 3. La f rmula de Jensen o 4. C lculo del orden de una funci n entera a o 5. El exponente de convergencia de una sucesi n o 6. El teorema de Hadamard Captulo 26. Bibliografa Estabilidad de funciones enteras

 Indice de guras
7.1 Ilustraci n de la prueba del teorema 7.2 . . . . . . . . . . . . . . . . . . . . . . . . . . 28 o

10.1 Subdivisiones en el caso (a) del teorema 10.3. Hemos separado los tri ngulos que en a realidad est n juntos, para hacer visiblemente notorios los lados adyacentes de los a tri ngulos de la descomposici n, que se compensan al integrar . . . . . . . . . . . . . . 40 a o 10.2 Situaciones del punto p en el teorema 10.3 . . . . . . . . . . . . . . . . . . . . . . . . 42 13.1 Ilustraci n de los conjuntos en el teorema 13.4 . . . . . . . . . . . . . . . . . . . . . . 55 o 16.1 Ejemplos de ciclo y cadena. Tambi n se puede ver el conjunto como una sola cadena . . 64 e 16.2 Ilustrando gr camente la condici n (16.16) del teorema de Cauchy . . . . . . . . . . . 65 a o 17.1 Deformaciones progresivas en la homotopa entre 0 y 1 . Los puntos indicados en el gr co no pertenecen al dominio donde vive la homotopa . . . . . . . . . . . . . . . . 67 a 17.2 Contornos del ejemplo 17.9. Observe que puede deformarse el contorno del cuadrado R al crculo |z| = 2 sin tocar los puntos 1 . . . . . . . . . . . . . . . . . . . . . . . . 70 18.1 Anillo r < |z z0 | < R y ciclo en la prueba del teorema 18.1 . . . . . . . . . . . . . 73 20.1 Posici n relativa de un punto z C \ L a la semirecta L que parte del punto p . . . . o 20.2 Una curva atravesando primero positivamente (+), luego negativamente () una semirecta L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20.3 Ilustraci n de la prueba de la proposici n 20.3. . . . . . . . . . . . . . . . . . . . . . o o 20.4 Ilustraci n del resultado de la proposici n 20.3. Indicamos con + las veces que atrao o viesa la semirrecta elegida positivamente, con las veces que atraviesa negativamente. Colocamos el balance, el ndice calculado, al interior . . . . . . . . . . . . . . . . . . 20.5 Gr ca correspondiente al ejercicio 20.1. . . . . . . . . . . . . . . . . . . . . . . . . a . 79 . 79 . 80

. 81 . 81

21.1 Contorno del ejemplo 21.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 22.1 Contorno del ejemplo 22.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 22.2 Ilustraci n del movimiento de los ceros del ejemplo 22.8 en el caso m = 6 . . . . . . . 90 o 24.1 Angulos formados por las curvas , : [0, 1] C, (t) = t, (t) = t + it, en t = 0 (punto P = 0) y sus im genes mediante f (z) = (z + 1)2 , (t) = f (t) y a (t) = f (t) en Q = f (0) = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99

Pr logo o

VII

Introducci n o

IX

Notaciones
N, Z, R, Q, C f , f (z) C(X) H()
n=0

, , () ciclo, funci n gamma o D(a, r), D(a, r) D = D(0, 1) z, z, z A clausura int(A) A puntos acumulaci n o f , f , . . . , f (k) derivadas integral de Riemann, integral a lo largo de una curvas l supn an , l supr f (r) m m sup, mx, m a nf, n

XI

Parte 1

Preliminares

Captulo 1

Numeros complejos
1. Denici n y propiedades o

En adelante, asumiremos conocidas por el lector todas las propiedades del conjunto de n meros u reales R. D EFINICI ON 1.1. Denimos el conjunto de los n meros complejos, como el conjunto u provisto de las operaciones binarias de suma y producto C = {(a, b) : a, b R}

:CC C (a, b), (c, d) (a, b) (c, d) = (ac bd, ad + bc) P ROPOSICI ON 1.2. El conjunto de los n meros complejos satisface las siguientes propiedades (prou piedades de cuerpo conmutativo): S1) Asociatividad de la suma: para todo z1 , z2 , z3 C, (z1 + z2 ) + z3 = z1 + (z2 + z3 ) S2) Conmutatividad de la suma: para todo z1 , z2 C, z1 + z2 = z2 + z1 . S3) Existencia del cero: si 0 = (0, 0), entonces para todo z C, 0 + z = z + 0 = z. S4) Neutro aditivo: para todo z C, z = (a, b), el elemento w = (a, b) C satisface z + w = w + z = 0. Se denota w = z. M1) Asociatividad del producto: para todo z1 , z2 , z3 ce, (z1 z2 ) z3 = (z1 z2 ) z3 . M2) Conmutatividad del producto: para todo z1 , z2 C, z1 z2 = z2 z1 . M3) Existencia de la unidad: si 1 = (1, 0), entonces para todo z C, 1 z = z 1 = z. a M4) Neutro multiplicativo: para todo z C = C\{0}, z = (a, b), el elemento w = a2 +b2 , a2b 2 +b C es tal que z w = w z = 1. Denotamos w = z 1 . D) Distributividad del producto en la suma: para todo z1 , z2 , z3 C, z1 (z2 +z3 ) = z1 z2 +z1 z3 . E JERCICIO 1.1. Demuestre la proposici n 1.2. o El conjunto {(a, 0) : a R} es un subcuerpo de C isomorfo a R, mediante el homomorsmo R C, a (a, 0). Escribimos (a, 0) a y con i = (0, 1). Es por esto que nos permitimos escribir (a, b) = (a, 0) + (0, 1) (b, 0) = a + i b C = {a + bi : a, b R},

+ : CC C (a, b), (c, d) (a, b) + (c, d) = (a + c, b + d)

donde se siguen las reglas algebraicas en R, y el n mero i satisface i2 = 1. u 2. M dulo y conjugado, partes real e imaginaria o z = (a, b) = a ib P ROPOSICI ON 1.4. Para z1 , z2 C: a) z1 + z2 = z1 + z2 b) z1 z2 = z1 z2
3

D EFINICI ON 1.3 (Conjugado). Denimos el conjugado de z = (a, b) = a + ib como

N meros complejos u

D EFINICI ON 1.5 (M dulo). Se dene el m dulo de un complejo | | : C R por o o |z| = |(a, b)| = |a + ib| = a) b) c) d) e) P ROPOSICI ON 1.6. Se cumplen, para z1 , z2 C: |z1 | 0; |z1 | = 0 si y s lo si z1 = 0; o |z1 + z2 | |z1 | + |z2 |; z1 z1 = |z1 |2 ; |z1 z2 | = |z1 ||z2 |. En particular, si z = 0, z 1 = z . |z|2 a 2 + b2

D EFINICI ON 1.7. Dado un n mero complejo z = a + ib, con a, b R, denimos sus partes real e u imaginaria, respectivamente, como los n meros u Observe que ambos son n meros reales, y u a = z, b = z.

z = z + i z. P ROPOSICI ON 1.8. Se cumplen, para z C z+z zz z = , z = . 2 2i E JERCICIO 1.2. Demuestre las proposiciones 1.4, 1.6 y 1.8.

Captulo 2

Espacios m tricos y normados e

1. Espacios m tricos e

D EFINICI ON 2.1 (M trica, espacio m trico). Sea X un conjunto. Una m trica sobre X es una e e e aplicaci n d : X X R que satisface las siguientes propiedades: o
I) II ) III )

El par (X, d) es llamado espacio m trico. e

d(x, y) 0 para todo x, y X; d(x, y) = 0 si y s lo si x = y; o d(x, y) = d(y, x) para todo x, y X; d(x, y) d(x, z) + d(z, y) para todo x, y, z X.

E JEMPLO 2.2. Fijado n N, consideramos el espacio n-dimensional Rn = (x1 , x2 , . . . , xn ) : xi R, i = 1, 2, . . . , n . Sobre Rn , podemos denir las m tricas d1 , d2 , d : Rn Rn R para x = (x1 , x2 , . . . , xn ), y = e (y1 , y2 , . . . , yn ) mediante
n n

d1 (x, y) =
i=1

|xi yi |,

d2 (x, y) =
i=1

|xi yi |2 ,

d (x, y) = mx |xi yi |, a
i=1,...,n

Los espacios son m tricos. Las m tricas mencionadas son, respectivamene e te, la m trica de la suma, la euclidiana y la del m ximo. Observamos que e a d (x, y) d2 (x, y) n d (x, y), d (x, y) para cualesquiera x, y Rn . d1 (x, y) n d (x, y)

(Rn , d1 ),

(Rn , d2 ),

(Rn , d )

E JEMPLO 2.3. Especicando el ejemplo anterior, (R, d) y (C, d) son espacios m tricos con d(x, y) = e |x y|, considerando en el primer caso la funci n | | como el valor absoluto, y en el segundo como el o m dulo complejo. o E JEMPLO 2.4. Sea [a, b] R un intervalo cerrado. el conjunto C [a, b] = {f : [a, b] Rn ; f es continua} es un espacio m trico, provisto de la m trica e e d(f, g) = sup f (x) g(x) .
x[a,b]

E JEMPLO 2.5. Cualquier conjunto X se convierte en un espacio m trico con la m trica discreta e e d : X X R denida por d(x, y) = 1, 0,
5

si x = y, si x = y.

Espacios m tricos y normados e

2.

Espacios normados

D EFINICI ON 2.6. Sea E un K-espacio vectorial, donde K = R o C. Una norma sobre E es una aplicaci n : E R que satisface las siguientes propiedades: o I) x 0 para todo x E; x = 0 si y s lo si x = 0; o II ) x = || x para x E y K; III ) x + y x + y para x, y E. El par (E, ) se denomina espacio normado. E JERCICIO 2.1. Toda norma d : E E R denida por : E R induce una m trica de la siguiente manera: la funci n e o d(x, y) = x y , x, y E es una m trica, y se denomina m trica inducida por la norma. e e E JERCICIO 2.2. Pruebe que la funci n d denida a partir de la norma o efectivamente una m trica sobre el espacio vectorial E. e en el ejemplo 2.1, es

E JEMPLO 2.7. Las m tricas del ejemplo 2.2 son inducidas por las siguientes: para x = (x1 , x2 , . . . , xn ) e en Rn , se denen
n n

=
i=1

|xi |,

=
i=1

|xi |2 ,

x (Rn , (Rn ,

= mx |xi |, a
i=1,...,n

Los espacios 1 ), 2 ), ) son entonces espacios normado. Las normas se denominan, respectivamente, la norma de la suma, la euclidiana y la del m ximo. a Rn . dos. E JERCICIO 2.3. Verique que las funciones
1,

(Rn ,

del ejemplo 2.7 son normas sobre

En particular, los conjuntos R y C, con sus respectivo valor absoluto y m dulo, son espacios normao

Captulo 3

Sucesiones y series
1. Sucesiones y series num ricas e

D EFINICI ON 3.1 (Sucesi n). Una sucesi n en un conjunto A es una funci n x : N A La imagen o o o de un elemento n N se denota por x(n) = xn , y denotamos {xn }n 1 en lugar de x. En ocasiones exhibiremos sucesiones del tipo {xn }n 0 o con otros conjuntos numerables, extendiendo as la denici n anterior. Tambi n, en un abuso de notaci n, escribiremos {xn } A para indicar o e o una sucesi n en A, cuando es simplemente la imagen de la funci n que dene x la que est contenida o o a en A. D EFINICI ON 3.2 (Lmite de una sucesi n). Sea (X, d) un espacio m trico, {xn }n 1 una sucesi n o e o en X. Decimos que la sucesi n {xn }n 1 es convergente si existe un elemento x X, denominado o lmite de la sucesi n, tal que, para cada > 0, existe n0 N tal que si n > n0 , entonces d(xn , x) < . o Escribimos entonces x = l xn . m
n

Si la sucesi n no es convergente, decimos que es divergente. o P ROPOSICI ON 3.3. El lmite de una sucesi n convergente en un espacio m trico es unico. o e D EFINICI ON 3.4 (Subsucesi n). Sea (X, d) un espacio m trico. Una subsucesi n de una sucesi n o e o o x = {xn }n 1 en X, es la composici n de y = xk de la sucesi n con una funci n creciente k : N N. o o o Denotamos la subsucesi n y por {xkn }n 1 . o P ROPOSICI ON 3.5. En un espacio m trico, si una sucesi n es convergente, entonces toda subsucee o si n de ella es convergente, y converge al mismo lmite. o P ROPOSICI ON 3.6. Sean {xn }n 1 y {yn }n usual, inducida por el m dulo), tales que o
n 1

sucesiones de n meros complejos (con la m trica u e l yn = b. m

l xn = a, m

3) la sucesi n {xn yn }n o 4) si b = 0, la sucesi n o

2) si C, la sucesi n {xn }n o
1

Entonces 1) la sucesi n {xn + yn }n o

es convergente y l (xn + yn ) = a + b; m
n 1

es convergente y l (xn ) = a; m
n

es convergente y l xn yn = a b; m n a xn xn = . es convergente y l m n yn yn n 1 b 2. Sucesiones de Cauchy y completitud

D EFINICI ON 3.7 (Sucesi n de Cauchy). Sea (X, d) un espacio m trico, {xn }n 1 una sucesi n en o e o X. Decimos que la sucesi n {xn }n 1 es de Cauchy si, para cada > 0, existe n0 N tal que si o m, n > n0 , entonces d(xm , xn ) < . P ROPOSICI ON 3.8. En un espacio m trico (X, d), toda sucesi n convergente es una sucesi n de e o o Cauchy. La armaci n recproca no es necesariamente cierta, lo que lleva a la siguiente denici n. o o
7

Sucesiones y series

D EFINICI ON 3.9 (Espacio m trico completo). Se dice que un espacio m trico (X, d) es completo si e e toda sucesi n de Cauchy es convergente. o D EFINICI ON 3.10 (Espacio de Banach). Un espacio normado (E, ) es un espacio de Banach si es completo con la m trica inducida por su norma. e D EFINICI ON 3.11 (Conjunto acotado). Sea (X, d) un espacio m trico, A X. Decimos que el e conjunto A es acotado si existen M > 0 y x X tales que d(y, x) M para todo y A.

Con el mismo espritu, decimos que una sucesi n {xn }n 1 X es acotada si lo es el conjunto de o im genes {xn : n N}. a Observamos que en la denici n de conjunto acotado, podemos reemplazar x por cualquier otro o punto de X. En particular, en el caso de un espacio normado (E, ), un subconjunto A E es acotado si y s lo si existe M > 0 tal que x o M para todo x A. P ROPOSICI ON 3.12 (Bolzano-Weierstrass). Toda sucesi n acotada en (Rn , o sucesi n convergente. o 3. Series y convergencia
1 2)

posee una sub-

D EFINICI ON 3.13. Sea (E, ) un espacio normado y {xn }n serie xn como la sucesi n {sn }n 1 de sumas parciales de {xn }n o s n = x1 + x2 + + xn ,

una sucesi n en E. Denimos la o 1 , denida por

1.

Decimos que la serie xn es convergente si lo es la sucesi n de sumas parciales sn . El lmite de esta o sucesi n se denota por o xn = l sn , m
n=1 n

y se denomina la suma de la serie xn . Si la sucesi n de sumas parciales no es convergente, decimos que la serie es divergente. o En un abuso de notaci n, tambi n denotaremos en ocasiones por o e mente la suma de la misma.
n=1 xn

a la serie y no necesaria-

P ROPOSICI ON 3.14. Sea (E, ) un espacio normado. Si la serie entonces l xn = 0. m

n

xn en E es convergente, xn es absolutamente

D EFINICI ON 3.15. Sea (E, ) un espacio normado. Decimos que la serie convergente si la serie de n meros reales u xn es convergente. T EOREMA 3.16. Sea (E, ) un espacio de Banach. Si una serie gente, entonces la serie xn es convergente. T EOREMA 3.17. Sea (E, ) un espacio de Banach. La serie l sup xn m
n 1/n n 1

xn es absolutamente converxn converge absolutamente si

< 1 y diverge si l sup xn m

n

1/n

> 1.
n

D EMOSTRACI ON . Sea 0 < r < 1 tal que l sup m

n

xn < r < 1. Como l sup es el mayor m

n
n

valor de adherencia de la sucesi n o n > n0 . Luego,

xn

, entonces existe n0 N tal que 1

xn < r para

xn < r n para n >0 , con r < 1. El criterio de comparaci n [14, Corolario del Teorema 16, Captulo IV] implica que o xn converge, de donde por el teorema 3.16, xn converge. Por otro lado, si l sup n xn > 1, existe una subsucesi n {xkn } {xn } tal que l sup n xn > m m o
n n n

m 1 para n > n1 . Luego xkn > 1 para n > n1 , y en particular l xn = 0 (en concordancia con la proposici n 3.5), de donde o xn diverge (proposici n 3.14). o

Series y convergencia

El siguiente lema nos proporciona una manera sencilla de calcular el lmite en el teorema anterior (cf. [14, Teorema 20, Captulo IV]). an+1 = L EMA 3.18 (Criterio de la raz n). Sea {an }n 1 una sucesi n de n meros reales 0. Si l o o u m n an n L, entonces l m an = L.
n

E JEMPLO 3.19. El criterio anterior nos permite probar que l n n = 1, l n n(n 1) = 1, m m

n n

y en general, l n m ai R, an > 0, 0 i E JERCICIO

p(n) = 1, si p(x) = an xn + an1 xn1 + + a1 x + a0 es un polinomio, n, n N. n n! . 3.1. Halle el l m n 2n + 1

n

P ROPOSICI ON 3.20. Sean

n=1

an y
n=1

bn series convergentes de n meros complejos, con u

n=1

an =

A,
n=1

bn = B. Entonces

1) la serie

(an + bn ) es convergente y
n=1 n=1

(an + bn ) = A + B;
n=1

2) si C, la serie

(an ) es convergente y

(an ) = A.
n=1

T EOREMA 3.21 (Producto de Cauchy de series). Sean

n=1

an y
n=1

bn series convergentes de n meu

ros complejos, y
n=0

an absolutamente convergente con

n=0 n

an = A,
n=0

bn convergente con
n=0

bn = B

cn =
k=0

ak bnk ,

entonces la serie
n=0

cn , denominada producto de Cauchy de las anteriores, converge, y su suma es

cn = AB.
n=0

D EMOSTRACI ON . Sean, para n

0
n n

An =
k=0

ak ,

Bn =
k=0 n i

bk ,

y
n

Dn =
i=0

ci =
i=0 k=0 n

ak bik .

entonces
n n n

Dn =
k=0 i=k

ak bik =
k=0

ak Bnk =
k=0

ank Bk ,

10

Sucesiones y series

y luego D AB = Dado > 0, escogemos N N tal que

i N n

n i=0

(Bi B)ani + B(An A).

|Bi B| < , N
N 1

i=nN +1

|ai | <
n

|An A| <

para n

N.

Luego, para n |Dn AB|

i=0

|Bi B||ani | +

i=N N 1 i=0

|Bi B||ani | + |B||An A|

n i N i=N

0 i N 1

mx |Bi B| a

|ani | + sup |Bi B|

|ani | + |B| |An A|

sup |Bi | + |B|) +

i 0

n=0

|an | + |B| = K ,

donde K > 0 no depende de n. Esto naliza la prueba.

Captulo 4

Nociones b sicas de topologa a

1. Conjuntos abiertos

En adelante, en un espacio m trico (X, d), denotamos por e D(a, r) = x X : d(x, a) < r el disco abierto de centro en a X y radio r > 0. D EFINICI ON 4.1 (Punto interior. Interior). Sea (X, d) un espacio m trico. Decimos que a X es e punto interior de A X, si existe > 0 tal que D(a, ) A. El conjunto de puntos interiores de A se denomina interior de A, y se denota int(A). Evidentemente int(A) A. D EFINICI ON 4.2 (Conjunto abierto). Un subconjunto A X de un espacio m trico (X, d) es e abierto si todo punto de A es punto interior de A. Equivalentemente, int(A) = A. La familia de subconjuntos abiertos de un espacio m trico X se denomina topologa inducida por d. e Las siguientes son propiedades de la topologa de un espacio: contiene los subconjuntos triviales de X, es cerrada bajo intersecci n nita y uni n arbitraria de sus elementos. Una familia de subconjuntos de o o X con estas propiedades se denomina en general una topologa en X, y permite estudiar los conceptos futuros de convergencia, continuidad y dem s en el espacio, a n en ausencia de una m trica. a u e P ROPOSICI ON 4.3. Sea (X, d) un espacio m trico. e
I) II ) III )

Los discos D(a, r) son abiertos. Los conjuntos X y son abiertos. Si A y B son subconjuntos abiertos de X, entonces A B es abierto. IV ) Si {Ai }iI es una familia de subconjuntos abiertos de X, entonces Ai es abierto.
iI

D EMOSTRACI ON . Ver [16, Proposici n 1, Proposici n 2, Cap. 3, & 3]. o o O BSERVACI ON . Si en el item IV de la proposici n anterior consideramos intersecciones de abiertos o en lugar de uniones, el resultado es falso en general. Por ejemplo, considere X = R con la m trica usual e 1 1 An = {0}, que no es un conjunto abierto. y An =] n , n [, para cada n N. En este caso tenemos
nN

Dado un subconjunto de un espacio m trico, podemos restringir la m trica al subconjunto, convire e tiendo a este en un espacio m trico en s mismo, con la m trica heredada. Esto genera la noci n de e e o abierto relativo. D EFINICI ON 4.4 (Abierto relativo). Sea (X, d) un espacio m trico y A X. Decimos que U A e es un abierto relativo en A si existe un subconjunto abierto U X tal que U = A U . E JEMPLO 4.5. Sean X = R y A = [0, 1]. Se tiene que el conjunto U = [O, 1[ es un abierto relativo a A pero no es abierto en R.
11

12

Nociones b sicas de topologa a

2.

Conjuntos cerrados

D EFINICI ON 4.6 (Punto de adherencia. Clausura). Sea (X, d) un espacio m trico y A X. El e punto x X es un punto de adherencia de A si, para cada > 0 El conjunto de puntos de adherencia de A se denomina clausura de A y se denota por A (1). Es f cil probar el siguiente hecho, que es muy utilizado. a P ROPOSICI ON 4.7. El punto x X es punto de adherencia de A, si y s lo si existe una sucesi n o o {xn }n 1 de elementos de A, tal que x = l xn . m
n

D(x, ) A = .

Se verica directamente que para cualquier conjunto A, A A. Nos interesa saber cu ndo la a inclusi n se vuelve una igualdad. o D EFINICI ON 4.8 (Conjunto cerrado). Un subconjunto F X de un espacio m trico (X, d) es e cerrado si todo punto de adherencia de F pertenece a F . Escrito de otro modo, F es cerrado si F = F . E JEMPLO 4.9. En un espacio m trico (X, d), jado a X y r > 0, la clausura del disco abierto e D(a, r) es el disco cerrado D(a, r) = x X : d(x, a) r . P ROPOSICI ON 4.10. Un subconjunto F X de un espacio m trico (X, d) es cerrado si y s lo si e o X \ F es abierto. D EMOSTRACI ON . Ver [16, Proposici n 7, Cap. 3, & 3]. o La proposici n 4.3, via la proposici n 4.10, implica el siguiente resultado. o o P ROPOSICI ON 4.11. Sea (X, d) un espacio m trico. e I ) Los conjuntos X y son cerrados. II ) Si A y B son subconjuntos cerrados de X, entonces A B es cerrado. III ) Si {Ai }iI es una familia de subconjuntos cerrados de X, entonces Ai es cerrado.
iI

E JEMPLO 4.12. Dado A X de un espacio m trico (X, d), su clausura A es un conjunto cerrado, e esto es A = A. D EFINICI ON 4.13. Sea (X, d) un espacio m trico. La distancia entre un punto x X y A X es e el n mero u d(x, A) = nf{d(x, y) : y A}. P ROPOSICI ON 4.14. Sea (X, d) un espacio m trico. La distancia satisface las siguientes propiedae des: I ) d(x, A) = 0 si y s lo si x A. o II ) d(x, A) d(y, A) d(x, y) para todo x, y X. D EMOSTRACI ON . I) Supongamos que d(x, A) = 0. De la denici n de inmo podemos construir o una sucesi n {xn } A tal que d(x, xn ) 0, lo que es equivalente a decir que l xn = x. Por lo tanto o m
n 1

x A. Supongamos ahora que x A. Entonces, existe una sucesi n {xn }n o

tal que l xn = x. m
n

Luego, d(x, A) d(x, xn ), para todo n N . Tomando lmite cuando n tiende a obtenemos que d(x, A) = 0. II) Es una aplicaci n directa de la desigualdad triangular. o
1el smbolo de clausura no debe ser confundido con el de conjugaci n, que utilizamos sobre n meros complejos o u

Conjuntos compactos

13

D EFINICI ON 4.15 (Frontera). Sea (X, d) un espacio m trico. Denimos la frontera del conjunto e A X mediante A = A X \ A. Equivalentemente podemos decir A esta formado por los puntos x X, tal que cada disco abierto centrado en x contiene al menos un punto de A y un punto de X \ A. O BSERVACI ON . Para todo conjunto A X se cumple que A = int(A) A int(X \ A).

D EFINICI ON 4.16. Sea (X, d) un espacio m trico y A X un conjunto acotado. El di metro de A e a es el n mero u diam(A) = sup{d(x, y) : x, y A}. T EOREMA 4.17. Sea (X, d) un espacio m trico completo. Si {Fn }n 1 es una sucesi n de subcone o juntos cerrados, no vacos de X con Fn+1 Fn para cada n 1, y l diam(Fn ) = 0, entonces m n existe x X tal que
n=1

Fn = {x}.

3.

Puntos de acumulaci n o

En lo que sigue, en un espacio m trico (X, d) denotaremos por e el disco de centro en a X y radio r > 0, desprovisto de a, esto es D (a, r) = D(a, r) \ {a}. D EFINICI ON 4.18 (Punto de acumulaci n). Sea (X, d) un espacio m trico. Se dice que el punto o e a X es punto de acumulaci n del conjunto A X si, para cada > 0 o El conjunto de puntos de acumulaci n de A se denota A . o D (a, r) A = . D (a, r) = x X : 0 < d(x, a) < r}

A diferencia de en el caso de la clausura, no necesariamente A A. Pero en todo caso, A A para todo A X. 4. Conjuntos compactos D EFINICI ON 4.19 (Cubrimiento). Un cubrimiento de un subconjunto C X de un espacio m trico e (X, d) es una familia {Ai }iI de subconjuntos de X, tales que C Ai .
iI

Decimos que el cubrimiento {Ai }iI es abierto si Ai es abierto para todo i I. D EFINICI ON 4.20 (Conjunto compacto). Un subconjunto K X de un espacio m trico (X, d) es e compacto si todo cubrimiento por abiertos de K admite un subcubrimiento nito. M s precisamente, si a {Ai }iI es un cubrimiento abierto de K, esto es K Ai ,
iI n

entonces existen i1 , i2 , . . . , in I (n N) tales que K

Aij .
j=1

E JERCICIO 4.1. Dado x X, donde (X, d) es un espacio m trico, el conjunto unitario {x} es e compacto.

14

Nociones b sicas de topologa a

P ROPOSICI ON 4.21. Si un subconjunto K X de un espacio m trico (X, d) es compacto, entonces e K es cerrado. T EOREMA 4.22. Un subconjunto K X de un espacio m trico (X, d) es compacto, si y s lo si, e o toda sucesi n {xn }n 1 en K admite una subsucesi n {xkn }n 1 convergente a un elemento en K. o o P ROPOSICI ON 4.23. Un subconjunto de Rn es compacto si y s lo si es cerrado y acotado. o L EMA 4.24 (Descomposici n de un abierto en compactos). Si es abierto en Rn , entonces existe o una familia de compactos {Kn }n 1 en Rn tal que I ) Kn int(Kn+1 ) II ) Si K es compacto y K entonces existe N = N (K) tal que K KN . III ) = Kn .
n 1

D EMOSTRACI ON . Probaremos el resultado en el caso = Rn ; el caso = Rn , que es m s a sencillo, se deja como ejercicio al lector. Para esto jamos primero una norma cualquiera en Rn . Para cada n 1, denimos 1 . Kn = x Rn : x n x Rn : d(x, Rn \ ) n 1 Si x Kn , entonces d(x, Rn \ ) n ; en particular x Rn \ , o x . Esto prueba que Kn . / n \ es cerrado, de donde por la proposici n 4.14, cada K es cerrado (por la Observamos que R o n continuidad de x d(x, Rn \ )) y acotado (al estar contenido en x Rn : x n ). Adem s, a n \ ) = 0 si y s lo si x Rn \ . d(x, R o 1 Evidentemente Kn Kn+1 . Dado z Kn , veamos que D z, n(n+1) Kn+1 . Dado w 1 n, de donde w x + 1 n + 1; como adem s a D x, n(n+1) tendremos que como z Kn , x 1 n \ ) d(x, R o n , nuevamente por la proposici n 4.14 1 1 1 d(w, Rn \ ) d(x, Rn \ ) w x = . n n(n + 1) n+1 Por lo tanto w Kn+1 . Esto prueba la armaci n y (I ). o 1 Dado x , tendremos que d(x, Rn \ ) > 0. Tomamos n 1 tal que d(x, Rn ) n y x n, entonces x Kn . Esto prueba (III ). Finalmente, si K , entonces K int Kn+1 ,
n 1

lo que nos da un cubrimiento por abiertos del compacto K. Luego, K posee un subcubrimiento nito, y
N

K donde j0 = mx1 a
i N ji .

i=1

int(Kj0 ) Kj0

Esto prueba (II ) y naliza la prueba.

E JERCICIO 4.2. Demuestre el resultado anterior en el caso = Rn . E JERCICIO 4.3. La descomposici n establecida en el lema 4.24 no es unica. Por ejemplo, para o a R el semiplano = {z C : z > a} se descompone con 1 z a + n, |z| n , n 1. Kn = z C : a + n

Captulo 5

Funciones en espacios m tricos y normados e

1. Lmites

D EFINICI ON 5.1 (Lmites). Sean (X, dX ), (Y, dY ) espacios m tricos, A X, f : A Y , a e A A y l Y . Decimos que la funci n f tiene lmite l cuando x tiende a a, y escribimos o
xa

l f (x) = l m

si, para cada > 0, existe > 0 tal que dY f (x), l < si x A, 0 < dX (x, a) < .

P ROPOSICI ON 5.2. El lmite de una funci n denida sobre un espacio m trico en un punto, si existe, o e es unico.

P ROPOSICI ON 5.3. Sean (X, dX ), (Y, dY ) espacios m tricos, A X, f : A Y , a A A y e l Y . Se cumple que l f (x) = l m
xa

si y s lo si l f (xn ) = l para toda sucesi n {xn }n o m o

n

A \ {a} con l xn = a. m
n

P ROPOSICI ON 5.4. Sean f, g : X C funciones entre un espacio m trico (X, d) y el plano e complejo C, provisto de la m trica inducida por el m dulo, y sea a A tal que ambas funciones tienen e o lmite en a y l f (x) = r, l g(x) = s. Entonces m m
xa xa

1) f + g tiene lmite en a y l (f + g)(x) = r + s; m 3) f g tiene lmite en a y l (f g)(x) = rs; m xa r f f (x) = . m 4) si s = 0, tiene lmite en a y l xa g g s Tambi n hay propiedades de lmites en cuanto a la composici n, pero no las mencionaremos aqu. e o Referimos al lector interesado a [15, Captulo VI]. E JERCICIO 5.1. Demuestre la proposici n 5.4. o 2. Continuidad 2) si C, f tiene lmite en a y l (f )(x) = r; m
xa xa

D EFINICI ON 5.5 (Continuidad). Sean (X, dX ), (Y, dY ) espacios m tricos, A X, f : A e Y , a A. Decimos que la funci n f es continua en a si, para cada > 0, existe > 0 tal que o dY f (x), f (a) < si x A, dX (x, a) < . Decimos que f es continua en A (o simplemente continua) si es continua en todo punto de A. Denotamos el conjunto de las funciones continuas en A por P ROPOSICI ON 5.6. Sean (X, dX ), (Y, dY ) espacios m tricos, A X, f : A Y , a A. e La funci n f es continua en a si y s lo si l f (xn ) = a para toda sucesi n {xn }n 1 A con o o m o n l xn = a. m P ROPOSICI ON 5.7. Sean f, g : X C funciones entre un espacio m trico (X, d) y el plano e complejo C, provisto de la m trica inducida por el m dulo, y sea a A tal que ambas funciones son e o continuas en a. Entonces
15

C(A) = {f : A Y ; f es continua en A}.

16

Topologa y funciones

1) f + g es continua en a; 2) si C, f es continua en a; 3) f g es continua en a; f 4) si g(a) = 0, es continua en a. g E JERCICIO 5.2. Sea (X, d) un espacio m trico, f : X C continua y e Entonces, Z(f ) es un subconjunto cerrado de X. Z(f ) = {a X; f (a) = 0}.

P ROPOSICI ON 5.8. Sean (X, dX ), (Y, dY ) espacios m tricos, A X, f : A Y . La funci n f es e o 1 (U ), es un abierto en A. continua si y s lo si, la imagen inversa de un abierto U en Y , f o D EFINICI ON 5.9 (Funci n abierta). Sean (X, dX ), (Y, dY ) espacios m tricos, A X, f : A Y . o e La funci n f es abierta si f (U ) es abierto para todo U A abierto. o Con esta denici n y la ultima proposici n, tenemos el siguiente hecho: si f : X Y es abierta y o o biyectiva, entonces f 1 : Y X es una funci n continua. o P ROPOSICI ON 5.10. Sean (X, dX ), (Y, dY ) espacios m tricos, A X, f : A Y . Si f es e continua y K A es compacto, entonces f (A) es compacto.

C OROLARIO 5.11. Sea (X, d) un espacio m trico, K X compacto y f : K R continua. e Entonces, f alcanza un m ximo y un mnimo en K. a

D EFINICI ON 5.12 (Continuidad uniforme). Sean (X, dX ), (Y, dY ) espacios m tricos, A X, f : e A Y . Decimos que la funci n f es uniformemente continua en A (o simplemente uniformemente o continua) si, para cada > 0, existe > 0 tal que dY f (x), f (y) < si x, y A, dX (x, y) < .

E JEMPLO 5.13. Fijado un subconjunto A de un espacio m trico (X, d), la funci n distancia x e o d(x, A) en la proposici n 4.14 es uniformemente continua. o P ROPOSICI ON 5.14. Sean (X, dX ), (Y, dY ) espacios m tricos, K X y f : K Y . Si K es e compacto y f es continua, entonces f es uniformemente continua.

E JERCICIO 5.3. Pruebe que las funciones C C, z z, z z z |z|, z z son uniformemente continuas. 3. Curvas

En la siguiente denici n, [a, b] es un intervalo compacto de la recta, con la m trica usual. o e D EFINICI ON 5.15 (Curva). Una curva en un espacio m trico (X, d) es una aplicaci n : [a, b] e o = [a, b] . X continua. La imagen de la curva es el conjunto Si (a) = (b), decimos que la curva es cerrada. E JEMPLO 5.16. Dados dos puntos x, y en un espacio normado E, , denimos : [0, 1] E mediante (t) = (1 t)x + ty. Esta funci n es una curva, y su imagen es el segmento que une x o ey [x, y] = = (1 )x + y; [0, 1] . Cuando no hay lugar a confusi n, podemos denotar la curva y el segmento ambos por [x, y]. o D EFINICI ON 5.17 (Reparametrizaci n). Dada una curva : [a, b] X en un espacio m trico o e (X, d), una reparametrizaci n de es una curva : [c, d] X de la forma = s, donde o s : [c, d] [a, b] es una funci n continua y biyectiva. o La reparametrizaci n es positiva si s es una funci n creciente, y negativa si s es decreciente. o o Observamos que si es una reparametrizaci n de , entonces = . o E JERCICIO 5.4. Toda curva puede ser reparametrizada positivamente en una curva denida sobre [0, 1], y en general en cualquier intervalo compacto, por medio de un cambio de variable lineal.

Conjuntos conexos

17

D EFINICI ON 5.18 (Curva opuesta). Si : [0, 1] X es una curva, la curva : [0, 1] X, denida por ()(t) = (1 t) es una reparametrizaci n negativa de , llamada la opuesta de . o D EFINICI ON 5.19 (Yuxtaposici n de curvas). Sean : [0, 1] X, : [0, 1] X dos curvas sobre o el espacio m trico (X, d), parametrizadas en el intervalo [0, 1], tales que (1) = (0). La yuxtaposici n e o de y es la curva : [0, 1] X denida por ( )(t) = (2t), 0 (2t 1), 1 2 t t 1.
1 2,

E JERCICIO 5.5. Pruebe que, efectivamente, la funci n de la denici n anterior es una curva, o o probando su continuidad. Adem s, ( ) = . a D EFINICI ON 5.20 (Curva poligonal). Una curva poligonal en un espacio normado E, es una curva de la forma [x1 , x2 ] [x2 , x3 ] [x3 , x4 ] [xn1 , xn ], donde x1 , x2 , x3 , x4 , . . . , xn1 , xn son n puntos de E, la yuxtaposici n tomada en cualquier orden. o E JERCICIO 5.6. En efecto, si x1 , x2 , x3 , x4 E, E espacio normado, entonces las curvas [x1 , x2 ] [x2 , x3 ] [x3 , x4 ] y [x1 , x2 ] [x2 , x3 ] [x3 , x4 ] son reparametrizaciones positivas la una de la otra, lo que prueba una especie de asociatividad de la yuxtaposici n que ser usada m s adelante. o a a 4. Conjuntos conexos

D EFINICI ON 5.21. Sea (X, d) un espacio m trico. Decimos que Y X es conexo si, dados dos e conjuntos abiertos relativos a Y , A Y y B Y tales que Y = A B, se tiene forzosamente que A = o B = . E JEMPLO 5.22. En R, los unicos subconjuntos conexos son los intervalos. P ROPOSICI ON 5.23. Sean (X, dX ), (Y, dY ) espacios m tricos, A X, f : A Y . Si f es e continua y C A es conexo, entonces f (C) es conexo. E JEMPLO 5.24. Los subconjuntos conexos de la recta R son los intervalos. D EFINICI ON 5.25. Un subconjunto C de un espacio m trico (X, d) es conexo por caminos si, dados e x, y C cualesquiera, existe una curva : [a, b] C tal que (a) = x, (b) = y. P ROPOSICI ON 5.26. Todo subconjunto de un espacio m trico (X, d), conexo por caminos, es conee xo. D EMOSTRACI ON . Supongamos primero que A es conexo por caminos, y por reducci n al absurdo, o que A no es conexo. Entonces A = U V con U y V abiertos, U V = y U = , V = . Escogemos x U , y V y una curva : [a, b] A con (a) = x, (b) = y. Como = [a, b] U V , entonces [a, b] = 1 (U ) 1 (V ). Observamos entonces que 1 (U ) 1 (V ) = , 1 (U ) = pues a 1 (U ), 1 (V ) = pues b 1 (U ), pero adem s 1 (U ) y 1 (V ) son abiertos relativos en [a, b]. Siendo el intervalo [a, b] a conexo, esto es una contradicci n. Por lo tanto A es conexo. o D EFINICI ON 5.27 (Conjunto convexo). Un subconjunto C de un espacio vectorial E es convexo si, dados x, y C y [0, 1], se tiene que [x, y] C. E JEMPLO 5.28. Si C es un subconjunto convexo de un espacio normado (E, ), entonces C es conexo por caminos. La curva denida en el ejemplo 5.16 cumple (0) = x, (1) = y. En consecuencia, todo subconjunto convexo de un espacio normado E, en particular el espacio E mismo, es un conjunto conexo.

18

Topologa y funciones

P ROPOSICI ON 5.29. Un subconjunto abierto C de Rn es conexo si y s lo si es conexo por caminos o poligonales, esto es, dos puntos cualesquiera de C est n unidos por un camino poligonal. a D EMOSTRACI ON . Una de las armaciones acaba de ser probada, de modo que probaremos la recproca. Sea A Rn . La relaci n en A, denotada por x y y denida por x e y est n unidos o a por un camino poligonal en A es una relaci n de equivalencia. La reexividad se sigue de que el cao mino constante x une el punto x consigo mismo, la simetra del hecho que si es un camino poligonal uniendo x con y, entonces el camino opuesto une y con x. La transitividad se prueba observando que, si es un camino poligonal uniendo x e y, y un camino poligonal uniendo y y z, entonces la yuxtaposici n es un camino poligonal uniendo x y z. o Fijado x0 A, A abierto conexo, consideramos el conjunto Veamos que A0 es abierto: en efecto, dado y A0 , siendo y A, A abierto, existe r > 0 tal que D(y, r) A. Dado z D(y, r), siendo D(y, r) un conjunto convexo, z y (esto mediante el segmento [z, y]). Pero adem s y x0 por denici n, de modo que z x0 . Esto prueba que D(y, r) A0 . a o De manera completamente an loga se prueba que el complemento de A0 , el conjunto A \ A0 = a {y A : y x0 } es abierto. Siendo A = A0 (A \ A0 ), uni n de dos abiertos disjuntos, y conexo, o forzosamente A \ A0 y A0 = A. P ROPOSICI ON 5.30. Todo subconjunto abierto de Rn es escribe como una uni n de abiertos coneo xos, disjuntos dos a dos, llamados componentes conexas del abierto. Adem s, estos son a lo m s una a a cantidad numerable. 5. Sucesiones de funciones A0 = {y A : y x0 }.

D EFINICI ON 5.31 (Convergencia puntual). Sea {fn }n 1 una sucesi n de funciones de X en Y , o donde (Y, d) es un espacio m trico. Decimos que la sucesi n {fn }n 1 converge puntualmente a la e o funci n f : X Y si, para cada x X o f (x) = l fn (x). m
n

D EFINICI ON 5.32 (Convergencia uniforme). Con las notaciones de la denici n 5.31, decimos que o la sucesi n {fn }n 1 converge uniformemente a la funci n f : X Y si, para cada > 0, existe n0 N o o tal que, para todo n > n0 y x X d fn (x), f (x) < . D EFINICI ON 5.33 (Convergencia uniforme en compactos). Con las notaciones de la denici n 5.31, o decimos que la sucesi n {fn }n 1 converge uniformemente en compactos a la funci n f : X Y si, o o para cada K X compacto, la sucesi n de funciones fn |K : K Y n 1 converge uniformemente o a la funci n f |K : K Y . o P ROPOSICI ON 5.34. Sean (X, dX ) e (Y, dY ) espacios m tricos, y {fn }n e uniformemente a una funci n f : X Y . Entonces, f C(X). o
1

C(X) que converge

E JERCICIO 5.7. Sea {fn }n 1 una sucesi n de funciones continuas fn : [a, b] R, n 1, donde o [a, b] es un intervalo compacto de R, que convergen uniformemente a una funci n f : [a, b] R. o Entonces, f es continua (por lo anterior) y
b a b

f (x)dx

fn (x)dx
a

x[a,b]

sup f (x) fn (x) (b a).

b

Como el ultimo t rmino converge a 0 cuando n , concluimos que e

b

f (x)dx = l m
a

n a

fn (x)dx.

Usaremos un hecho similar m s adelante. a

Familias de funciones

19

T EOREMA 5.35 (Criterio M de Weierstrass). Sea {fn }n 1 una sucesi n de funciones de un conjunto o A en un espacio de Banach (Y, ). Si {an }n 1 R es una sucesi n tal que para un cierto n0 N, o se cumple que fn (z) an para n > n0 , entonces la serie fn (z) converge absoluta y uniformemente a una funci n f : A Y . o 6. Familias de funciones D EFINICI ON 5.36. Sea F {f : X C}, donde (X, d) es un espacio m trico. e I ) Decimos que F es equicontinua si para cada > 0, existe > 0 tal que En particular, cada f F es uniformemente continua. Decimos que F est acotada puntualmente si para x X, existe M = M (x) R tal que a Decimos que F est acotada uniformemente en X si existe M R tal que a para cada x X y f F, f (x) M. para cada f F, f (x) M (x). para cada f F y x, y X, d(x, y) < implica f (x) f (y) < .

II )

III )

T EOREMA 5.37 (Arzel -Ascoli). Supongamos que F es una familia equicontinua, puntualmente a acotada de funciones complejas en un espacio m trico X que contiene en un subconjunto denso nue merable. Entonces, toda sucesi n {fn }n 1 F posee una subsucesi n uniformemente convergente en o o subconjuntos compactos de X. D EMOSTRACI ON . Escribimos E = {xn }n 1 para indicar el subconjunto denso, numerable de X. Sea S0 = N. Supongamos k 1 y que un subconjunto innito Sk1 S0 ha sido previamente elegido, tal que n fn (xj ) converge para todo 1 l m j k 1 (en el caso k = 1 no exigimos esto). Como
nSk1

1, fn (xk ) fn (xk ) : n Sk1 es acotada, esto es, para cada n M (xk ) (observe que cada M = M (xk ) depende de k), entonces posee una subsucesi n convergente. Extraemos entonces esta o sucesi n Sk Sk1 , de modo que n fn (xk ) existe. Siendo cada sucesi n fn (xj ) : n Sk o l m o
nSk

fn (xj ) : n Sk1 , 1

k 1, tendremos que n fn (xj ) converge para cada 1 l m

nSk

k.

El procedimiento inductivo anterior genera una sucesi n de conjuntos o tal que n fn (xj ) existe para todo 1 l m
nSk

N = S0 S1 S2 Sn1 Sn . . . j k.

converge. Esto prueba que para cada x E, n fn (x) existe. l m

nS

Escogemos ahora r1 S1 , r2 S2 con r2 > r1 , y prosiguiendo, rk Sk con rk > rk1 , y escribimos S = {r1 , r2 , . . . , rk , . . . }. Para cada k 1, hay a lo m s k 1 t rminos de S que no est n a e a en Sk (pues rk Sk para j k), a saber rj , 1 j k 1. Por lo tanto, para cada k 1 l frj (xk ) m
j

Sea K compacto y > 0, por equicontinuidad de {fn } F, existe > 0 tal que, para cada n 1 y p, q X, d(p, q) < implica fn (p) fn (q) < . Siendo K compacto y teniendo un cubrimiento por abiertos K D(x, ), existe un subcubrimiento nito
xX m

(5.1)

D(xi , /2).
i=1

Como E es denso en X, para cada 1 i m, existe pi E D(xi , /2) = . Como pi E, existe o l fn (pi ), y por lo tanto es una sucesi n de Cauchy, existiendo Ni N tal que si l, n S, l, n > Ni , m n
nS

20

Topologa y funciones

fl (pi )fn (pi ) < . Tomando N = mx Ni , tenemos que para todo 1 a

1 i m

m y l, n S, l, m > N ,

(5.2)

fl (pi ) fn (pi ) < . Finalmente, dado x K, por (5.1) existe 1 Luego, si m, n > N , m, n S, entonces fl (x) fn (x)
nS

n tal que x D(xi , /2), esto es d(x, xi ) < 2 .

fl (x) fl (pi ) + fl (pi ) fn (pi ) + fn (pi ) fn (x) < 3. f (x) = n fn (x). l m

nS

Por lo tanto fn (x)

es una sucesi n de Cauchy en C, y converge a un valor o

Haciendo l en (5.2), obtenemos que para todo x K, existe N N tal que, para n > N lo que prueba la convergencia uniforme de la sucesi n {fn } en K. o Como punto nal, observamos que la construcci n de f (x) con x K no depende de K, y que o reuniendo los compactos {x} con x X, denimos una funci n f : X C con la propiedad de que o {fn }n 1 F converge uniformemente a f en compactos de X. f (x) fn (x) 3,

Parte 2

An lisis complejo a

Captulo 6

Funciones holomorfas o analticas

1. La derivada y sus propiedades b sicas a

D EFINICI ON 6.1. Sea un subconjunto de C, f : C y z0 . La derivada de f en z0 se dene, si existe, por el lmite f (z0 ) = l m En este caso, se dice que f es derivable en z0 . P ROPOSICI ON 6.2. Sea C, f, g : C y z0 . Si f y g son derivables en z0 , entonces 1. f + g es derivable en z0 y (f + g) (z0 ) = f (z0 ) + g (z0 ); 2. f g es derivable en z0 y (f g) (z0 ) = f (z0 )g(z0 ) + f (z0 )g (z0 ); 3. f + g es derivable en z0 y (f + g) (z0 ) = f (z0 ) + g (z0 ); 4. si g(z0 ) = 0, f /g es derivable en z0 y
f g

f (z0 + h) f (z0 ) . h0 h

(z0 ) =

f (z0 )g(z0 )f (z0 )g (z0 ) ; g(z0 )2

P ROPOSICI ON 6.3. Sean , C, f : C, g : , z0 con g(z0 ) . Si g es derivable en z0 y f es derivable en g(z0 ), entonces f g : C es derivable en z0 y (f g) (z0 ) = f g(z0 ) g (z0 ). P ROPOSICI ON 6.4. Si z0 , C y f : C es derivable en z0 , entonces f es continua en z0 . E JERCICIO 6.1. Demuestre la proposiciones 6.2, 6.3 y 6.4. E JEMPLO 6.5. Sea f : C C denida por f (z) = an z n + + a1 z + a0 , donde an , an1 , . . . , a1 , a0 son n meros complejos, n u 1 entero. Entonces f es derivable en todo punto z C, con f (z) = nan z n1 + + a1 . 2. Ecuaciones de Cauchy-Riemann

D EFINICI ON 6.6. Dado C y una funci n f : C, denimos las partes real e imaginaria, o respectivamente, como las funciones u, v : R (visto como subconjunto de R2 ) denidas por u(x, y) = f (x + iy), v(x, y) = f (x + iy), para x + iy , x, y R. Escribimos, para estos valores de x e y f (x + iy) = u(x, y) + i v(x, y). E JERCICIO 6.2. Con las notaciones anteriores, dado z0 = x0 + iy0 (x0 , y0 R) y l C, tenemos que l f (z) = l m
zz0

si y s lo si o
(x,y)(x0 ,y0 )

l m

u(x, y) = l

y
23

(x,y)(x0 ,y0 )

l m

v(x, y) = l.

24

Funciones holomorfas o analticas

P ROPOSICI ON 6.7. Sea un subconjunto abierto de C, f : C y z0 = x0 + iy0 , donde x0 , y0 R. Sean u y v las partes real e imaginaria de la funci n f , respectivamente, funciones o continuamente diferenciables en (x0 , y0 ). Entonces, f es derivable en z0 si y solamente si se satisfacen las ecuaciones de Cauchy-Riemann en z0 : v u (x0 , y0 ) = (x0 , y0 ) ; x y v u (x0 , y0 ) = (x0 , y0 ). x y

D EMOSTRACI ON . Supongamos que f es derivable en z0 . Entonces, existe el lmite f (z0 ) = = u(x, y) + iv(x, y) u(x0 , y0 ) + iv(x0 , y0 ) x + iy (x0 + iy0 ) (x,y)(x0 ,y0 ) l m l m

u(x, y) u(x0 , y0 ) + i v(x, y) v(x0 , y0 ) x x0 + i(y y0 ) (x,y)(x0 ,y0 )

Este lmite de dos variables puede desarrollarse de dos maneras:

I)

Si x x0 , y = y0 , entonces f (z0 ) = l m u(x, y0 ) u(x0 , y0 ) + i v(x, y0 ) v(x0 , y0 ) x x0 u v = (x0 , y0 ) + i (x0 , y0 ). x x

xx0

II )

Considerando ahora x = x0 , y t0 , obtenemos f (z0 ) = l m u(x0 , y) u(x0 , y0 ) + i v(x0 , y) v(x0 , y0 ) yy0 i(y y0 ) v 1 u (x0 , y0 ) + i (x0 , y0 ) = i y y v u = (x0 , y0 ) i (x0 , y0 ). y y

Igualando las expresiones obtenidas (el lmite es unico), obtenemos las ecuaciones de Cauchy Riemann. Dejamos la prueba de la armaci n recproca para el lector. o

E JERCICIO 6.3. Complete la prueba de la proposici n 6.7 seg n la siguiente pauta: las funciones o u u y v son derivables, de lo que podemos desarrollar u(x, y) alrededor de (x0 , y0 ) en primer orden por denici n, y luego v(x, y) del mismo modo. Las ecuaciones de Cauchy-Riemann permiten ensamblar o f (x + iy) = u(x, y) + iv(x, y) obteniendo f (x + iy) = f (x0 + iy0 ) + donde
(x,y)(x0 ,y0 )

v u (x0 , y0 ) + i (x0 , y0 ) (z z0 ) + (x, y), x x (x, y) (x x0 )2 + (y y0 )2 = 0.

l m

E JEMPLO 6.8. La funci n f : C C, denida por f (z) = |z|2 , es derivable s lo en el punto z = 0. o o En efecto, para esta funci n, las partes real e imaginaria u, v : R2 R son o u(x, y) = x2 + y 2 , v(x, y) = 0. Luego, las ecuaciones de Cauchy-Riemann (vericar) dan 2x = 0, 2y = 0, lo que nos deja el punto z = 0.

Funciones holomorfas

25

3.

Funciones holomorfas

D EFINICI ON 6.9 (Funci n holomorfa). Sea un abierto no vaco de C. Decimos que una funci n o o es holomorfa en si f es derivable en todo punto de . El conjunto de funciones holomorfas se denota por H() = {f : C : f es holomorfa en }. Si f H(C), decimos que f es una funci n entera. o O BSERVACI ON . Para todo C, H() C(). P ROPOSICI ON 6.10. El conjunto de funciones holomorfas en , H() es un anillo con respecto a las operaciones de suma y producto de funciones. En particular, si f, g H(), entonces f +g H(), f g H(). E JERCICIO 6.4. Demuestre la proposicion 6.10.

Captulo 7

Series de potencias
En adelante, dado z0 C y r > 0, escribimos, como antes,

el disco de centro en z0 y radio r > 0. Las series de potencias nos proporcionan ejemplos no triviales de funciones holomorfas, despu s de e los polinomios. 1. T EOREMA 7.1. Sea {an }n (7.3) La serie de potencias
n 0

D(z0 , r) = z C; |z z0 | < r

Convergencia de las series de potencias

0

C, y R denida por la f rmula de Hadamard 1 o R1 = l sup |an |1/n . m

n

an (z z0 )n

converge absolutamente si |z z0 | < R, y diverge si |z z0 | > R. Adem s, la serie converge unifora memente para todo disco cerrado |z z0 | r con r < R. D EMOSTRACI ON . Apelamos al criterio de la raz en sima (teorema 3.17). Calculamos e l sup m
n
n

|an (z z0 )n | = |z z0 | l sup m
n

|an | = |z z0 |R1 .

Luego, si |z z0 | < R, el anterior lmite es < 1, y la serie n 0 an (z z0 )n converge absolutamente. Si en cambio |z z0 | > R, el mencionado lmite es > 1, y la serie diverge. Si r < R y |z z0 | r l sup m
n
n

|an (z z0 )n | = |z z0 |R1 an (z z0 )n qn.

rR1 < 1.

Tomando q con rR1 < q < 1 tenemos como en la prueba del teorema 3.17, que para n > n0 Por el criterio M de Weierstrass (teorema 5.35), la serie memente en D(z0 , r). 2.
n 0 an (z

z0 )n converge absoluta y unifor-

Holomorfa y continuidad

T EOREMA 7.2. Con las notaciones del teorema 7.1, la serie de potencias f (z) =
n=0

an (z z0 )n

es continua para |z z0 | < R; adem s es diferenciable y a

f (z) =
n=1

nan (z z0 )n1 ,

|z z0 | < R

1Si obtenemos R1 = 0, escribimos R = y interpretamos que a < para todo a R; si R1 = , escribimos

R=0
27

28

Series de potencias

z0 R R 0

F IGURA 7.1. Ilustraci n de la prueba del teorema 7.2 o

D EMOSTRACI ON . La continuidad de f en cualquier disco D(z0 , r) con r < R est asegurada por a la proposici n 5.34: se trata de la convergencia uniforme de polinomios (las sumas parciales de la serie) o en el compacto D(z0 , r). Como todo elemento de D(z0 , R) est en alg n D(z0 , r) para alg n r < R, a u u obtenemos la continuidad de f en D(z0 , R). Ahora vamos a probar la diferenciabilidad. Suponemos, sin p rdida de generalidad, que z0 = 0. La e funci n f toma la forma o

f (z) =
n=0

an z n .

Denimos la serie

g(z) =
n=1

nan z n1 ;

el radio de convergencia de esta serie es l sup m

n
n

|nan | = l sup m
n

n n |an | = R1 .

Sea z0 D(0, R), y > 0 tal que D(z0 , ) D(0, R ) con R < R. Dado z D(z0 , ), calculemos, para z = z0 (7.4) f (z) f (z0 ) g(z0 ) = z z0

an
n=2

n z n z0 n1 nz0 ; z z0

observe la desaparici n del t rmino para n = 1. Recordamos ahora que o e

n1

n z0

= (z z0 )

k z0 z n1k , k=0

expresi n que al ser derivada respecto de z0 (con z jo), nos da o

n1 n1 nz0 n1 k z0 z n1k k=0

+ (z z0 )

k1 kz0 z n1k . k=1

Luego
n z n z0 n1 nz0 = (z z0 ) z z0 n1 k1 kz0 z n1k . k=1

Holomorfa y continuidad

29

Introduciendo esta expresi n en (7.4) obtendremos o f (z) f (z0 ) g(z0 ) z z0

n1

|z z0 | |z z0 |

n=2 n=2

|an | |an |

k(R )k1 (R )n1k

k=1 n1

k(R )n2
k=1

|z z0 | |an |n(n 1)(R )n2 . 2 n=2

La serie al lado derecho converge pues l sup m

n
n

|an n(n 1)(R )n2 | = R R1 < 1. f (z) f (z0 ) = g(z0 ), z z0 1 para |z| < 1 1z

Haciendo z z0 , obtenemos f (z0 ) = l m como se buscaba.

zz0

E JEMPLO 7.3. La serie f (z) = (R = 1 es su radio de convergencia). E JEMPLO 7.4. La serie (z) = 1 3.18, calculamos, para an = , n n!
n=0 n=0

z n es convergente y tiene suma f (z) =

zn tiene radio de convergencia R = . Aplicando el lema n!

1 l m

1 an+1 = l m = 0, n n + 1 n an de donde en la f rmula de Hadamard R1 = 0. Esto muestra que R = . o E JERCICIO 7.1. Desarrolle z (1 z)m , m
2z+3 z+1

1 en serie de potencias alrededor de z = 0.

E JERCICIO 7.2. Desarrolle z la serie?

en potencias de z 1. Cu l es el radio de convergencia de a

E JERCICIO 7.3. Encuentre el radio de convergencia de las series de potencias 2 zn , n!z n , q n z n |q| < 1 , z n! . np z n , n! E JERCICIO 7.4. Si de convergencia de an z n y bn z n poseen radios de convergencia R1 y R2 , entonces el radio an bn z n es por lo menos R1 R2 .

E JERCICIO 7.5. Sea S = cn z n una serie de potencias de radio de convergencia igual a 1. Supo n admite un lmite l cuando x tiende hacia 1. nemos que f (x) = 0 cn x 1. Podemos armar que la serie cn es convergente? 2. Qu podemos decir si los cn son 0? e 3. a) Muestre que para todo x < 1 y todo entero n, se tiene que
n k=0 n

ck f (x)

(1 x)

k=0

|kck | +

1 sup |ck |. 1 x k>n cn es convergente y tiene por suma l

b) Deducir que si l ncn = 0, entonces la serie m n (teorema de Tauber).

Captulo 8

La funci n exponencial o
1. Denici n y propiedades o zn n! n=0

Se dene exp : C C dada por la serie exp(z) :=

7.3.

Se cumple: R = , de donde exp H(C) (la exponencial es una funci n entera), ver el ejemplo o Gran parte de las propiedades de la funci n exponencial provienen de la siguiente. o P ROPOSICI ON 8.1 (F rmula de adici n). Dados a, b C, se cumple o o exp(a) exp(b) = exp(a + b).

D EMOSTRACI ON . Calculamos exp(a + b) =

k=0

(a + b)k = k!
k

k=0

1 k!

k i=0

i ki i a b k

=
k=0 i=0

bi aki , (k i)! i!

pues, para 0

k,

k k! . = (k i)!i! i Puesto que se cumplen las condiciones del teorema 3.21,

exp(a + b) =
k=0

ak k!

k=0

bk k!

= exp(a) exp(b).

Como consecuencia de la ultima proposici n, y dado que exp(0) = 1, podemos probar que exp(mz) = o exp(z)m para todo m Z y z C. Esto nos sugiere usar una notaci n de potencia para la funci n: o o e exp(1), ez = exp(z). T EOREMA 8.2. Para la funci n exponencial se cumplen: o z = 0. Para todo z C, e d z e = ez , para todo z C. La funci n exp es holomorfa en C y o dz La restricci n de exp a la recta real x ex , para x R es mon tona creciente, ex cuando o o x , ex 0 cuando x . x ex es una suryecci n de R sobre el conjunto de n meros reales positivos (0, +). o u i/2 = i y Existe una constante tal que e z Z ez = 1 si y s lo si o 2i En particular, la funci n exp es peri dica de perodo 2i. o o t eit es una suryecci n de R sobre la circunferencia unitaria z C : |z| = 1}. o
31

a) b) c) d) e)

f)

32

La funci n exponencial o

g) El rango de la funci n exponencial es C \ {0}. o D EMOSTRACI ON . a) Para todo z C exp(z) exp(z) = exp z + (z) = exp(0) = 1,

de donde exp(z) = 0. b) En el crculo de convergencia C, por el teorema 7.2

exp (z) =
k=1

k k1 z = exp(z). k!

c) Como exp(0) = 1 y exp(x) = 0, para todo x R, entonces exp(x) > 0 para todo x R por continuidad. Del tem anterior exp (x) = exp(x) > 0, de donde x ex es mon tona creciente en R. o Adem s, para x a 0, exp(x) 1 + x, de donde l exp(x) = +; y como exp(x) = m exp(x)
1 x

, entonces l exp(x) = 0. m
x

d) Basta con utilizar el teorema del valor intermedio y el tem anterior. e) Observamos que para todo z C, por continuidad de la conjugaci n o

exp(z) =
k=0

zn = n!

k=0

zn = exp(z). n!

Tomando z = it, t R, tenemos exp(it) = exp(it) y exp(it)

2

= exp(it) exp(it) = 1,

o simplemente exp(it) = 1 para todo t R. Denimos las funciones sen, cos : R R mediante sen(t) = eit ,

de modo que eit = cos(t) + i sen(t) 1. Derivando respecto de t (tomando lmite en cada componente, proposici n 6.2), tenemos o sen(t) + i cos(t) = ieit = cos (t) + i sen (t), de donde Por otro lado de donde y cos(t) = 1 cos (t) = sen(t), exp(it) = 1 + it sen (t) = cos(t). t3 t4 t2 i 2! 3! 4!

cos(t) = eit ,

t2 t4 t6 + + 2! 4! 6! t3 t5 + 3! 5!

sen(t) = t Siendo cos(2) una serie alternada cos(2) < 1

1 22 24 + = , 2! 4! 3 y como cos(0) = 1 y cos es una funci n continua, existe un primer n mero t0 > 0 tal que cos(t0 ) = o u 0. Denimos = 2t0 , de donde cos(/2) = 0. Adem s a sen2 (/2) = cos2 (/2) + sen2 (/2) = 1,
1esta f rmula es conocida como la f rmula de Euler o o

Sobre las funciones trigonom tricas e

33

de donde sen(/2) = 1. Como sen(0) = 0, sen (t) = cos(t) > 0 para t ]0, t0 [; concluimos que sen(/2) = 1 y por lo tanto ei 2 = i. Se sigue que ei = i2 = 1, ei2 = (1)2 = 1 y para cada n Z, e2in = 1. En particular Sea ahora z = x + iy, donde x, y R. Si ez = 1, entonces exp(z + 2i) = exp(z) exp(2i) = exp(z) ex = ex eiy = |ez | = 1,

de donde x = 0, puesto que e0 = 1 y x ex , x R es inyectiva. Nos queda entonces resolver eiy = 1. y y Sea m = 2 ; m Z y m 2 < m + 1. Deniendo y = y 2m, tendremos 0 y < 2. Luego eiy = 1. Supongamos ahora que 0 < y < 2, y sea ei 4 = u + iv, donde u, v R.
y

Como 0 <

y 4

< , entonces u > 0, v > 0, de donde 2

eiy = (u + iv)4 = u4 6u2 v 2 + v 4 + 4iuv(u2 v 2 ).

y como sen(t) 0 para 0 t , concluimos que sen(t) = v. Esto muestra que w = eit . 2 Si ahora suponemos que u > 0, v < 0, entonces u + iv = i(v + iu) y, por lo anterior, v + iu = eit para alg n t R. De ah u + iv = ei(t 2 ) . Los casos u < 0, v < 0 y u < 0, v > 0 u se dejan como ejercicio al lector. g) Dado z = 0, escribimos z = |z|w, donde |w| = 1. De los tems anteriores |w| = ex para alg n u iy para alg n y R. Deniniendo q = x + iy, tendremos z = eq . x R, y w = e u 2. Sobre las funciones trigonom tricas e

De eiy = 1, obtenemos uv(u2 v 2 ) = 0 y luego u2 = v 2 . Pero u2 + v 2 = |ei 4 | = 1, lo que con lo 1 o anterior, nos da u2 = v 2 = 2 . Por lo tanto eiy = 1, una evidente contradicci n. Esto prueba que = 0, y por lo tanto y = 2m, con m Z. y f) Sea w C con |w| = 1. Escribimos w = u + iv con u, v R. Suponemos que u > 0, v > 0. Como u 1, por denici n de existe 0 o t 2 tal que cos(t) = u. Luego sen2 (t) = 1 u2 = v 2

La prueba del teorema 8.2 nos lleva la siguiente denici n. o D EFINICI ON 8.3 (Seno, coseno). Denimos las funciones complejas seno y coseno sen, cos : C C por eiz + eiz eiz eiz , cos(z) = sen(z) = 2i 2 Las funciones seno y coseno son funciones enteras con sen (z) = cos(z), para todo z C. Son funciones peri dicas de periodo 2, y satisfacen la relaci n o o cos2 (z) + sen2 (z) = 1 para todo z C. Adem s, sen(z) = 0 si y s lo si z = k, con k Z. Otras propiedades de estas a o funciones complejas son similares a las de sus contrapartes reales. E JERCICIO 8.1. Muestre que la funci n f :]0, +[ R, denida por f (x) = cos x , se extiende o a una funci n entera. Determine su expansi n en serie de potencias en el origen. o o cos (z) = sen(z)

34

La funci n exponencial o

3.

Representaci n polar o z , que cumple A[z] = 1, es la |z|

D EFINICI ON 8.4. Dado un n mero z C , el n mero A[z] = u u direcci n unitaria de z. o

Dado z C , escribimos por lo anterior z = |z|w, donde |w| = 1. Por el teorema 8.2 (f), w = ei para alg n R. Por la propiedad (e) del mismo teorema, podemos reemplazar por + 2k para u cualquier k Z. D EFINICI ON 8.5 (Representaci n polar). La representaci n de un n mero complejo como o o u z = rei , donde r 0 es el m dulo de z, y es el argumento de z, es llamada representaci n polar del n mero z. o o u Por la observaci n anterior, siempre podemos elegir [0, 2[ en la representaci n de un n mero o o u complejo, 4. Logaritmo complejo

Si restringimos el valor del argumento, podemos denir una funci n logaritmo sin ambig edad. o u i la representaci n polar de z = 0, con 0 ln |z|+i . Consideramos z = |z|e o < 2. Entonces z = e Restringimos la funci n hallada a un conjunto abierta, con el objeto de estudiar su holomora m s o a adelante. D EFINICI ON 8.6 (Rama principal del logaritmo). Denimos la rama principal del logaritmo como la funci n log : C\] , 0] C que asigna, a cada n mero complejo z C\] , 0], el n mero o u u donde ln es la funci n logaritmo real, y es el unico n mero en ] , [ tal que z = |z|ei . Denotamos o u arg z = el argumento principal de z. De la denici n, se deducen r pidamente las siguientes propiedades: o a I) para todo z C \ {0}, log(ez ) = z; II ) para todo z C\] , 0], elog z = z; III ) para todo z C\] , 0], arg z = log z; IV ) la imagen de log es el abierto R] , [. log z = ln |z| + i,

Captulo 9

Integraci n sobre arcos o

1. Arcos

D EFINICI ON 9.1 (Curva, arco). Una curva en C es una aplicaci n continua : [, ] C, donde o [, ] es un intervalo compacto de R. El rango de la curva se denota por = [, ] . Si () = () decimos que la curva es cerrada. La curva : [, ] C se dice que es un arco si es continuamente diferenciable excepto quiz s a en un n mero nito de puntos ti [, ], donde existen las derivadas por la izquierda y la derecha. u E JEMPLO 9.2. Fijados z0 C, R > 0, el arco cerrado

tiene como imagen = D(z0 , R) = z C : |z z0 | = R . En ocasiones, confundiremos al conjunto con la curva, siendo la anterior su parametrizaci n natural (en sentido antihorario, alrededor de o z0 ). E JEMPLO 9.3. Sean z1 = x1 + iy1 , z2 = x2 + iy2 n meros complejos, con xi , yi R, i = 1, 2, u x1 < y1 , x2 < y2 . El arco : [0, 1] C, x1 + 4t(x2 x1 ) + y1 i, 0 t 1 4 x + y + (4t 1)(y y ) i, 1 t 1 2 1 2 1 4 2 (t) = x1 + (4t 2)(x1 x2 ) + y1 i, 1 t 3 2 4 x1 + y2 + (4t 3)(y1 y2 ) i, 3 t 1 4

: [0, 1] C t (t) = z0 + Re2it

representa el borde del rect ngulo [x1 , y1 ] [x2 , y2 ], recorrido en sentido antihorario con respecto a su a centro. Esta es una curva poligonal. 2.

Integral a lo largo de un arco

D EFINICI ON 9.4. Para una funci n g : [, ] C, g C [, ] , denimos la integral o g(t)dt =

a

g(t) dt + i

g(t) dt,

donde las integrales del lado derecho son integrales de Riemann de funciones reales de variable real. Si g es continua sobre [, ], salvo en un n mero nito de puntos = t0 < t1 < t2 < . . . < tn = u que pueden o no incluir y , donde g posee lmites a izquierda y derecha, denimos
n tk

g(t)dt =
k=1 tk1

g(t)dt.

D EFINICI ON 9.5 (Integral a lo largo de un arco). Para un arco : [, ] C y f C( ), denimos la integral de f a lo largo de mediante

f (z)dz =
35

f (t) (t)dt

36

Integraci n sobre arcos o

Denimos asmismo

f (z)|dz| =

f (t) | (t)|dt.

La denici n de integral a partir de la integral de Riemann en el caso real hace que se hereden o propiedades tales como la linealidad de la misma con respecto a la funci n f , jada la curva ; es un o simple ejercicio para el lector probar esta linealidad. Estamos ahora interesados en otras propiedades. Primero llevamos al caso diferenciable la denici n 5.17. o D EFINICI ON 9.6 (Reparametrizaci n regular). Una reparametrizaci n regular (o simplemente reo o parametrizaci n) de un arco : [a, b] C es un arco : [c, d] C de la forma = s, donde o s : [c, d] [a, b] es una funci n continuamente derivable, tal que s (x) = 0 para todo x [c, d]. o La reparametrizaci n es positiva si s (x) > 0 para todo x [c, d], negativa si s (x) < 0 para todo o x [c, d]. P ROPOSICI ON 9.7. Se cumplen: I ) Si es un arco, f C( ) y es una reparametrizaci n positiva de , entonces f C( ) y o f (z)dz =

f (z)dz.

II )

Si es un arco y f C( ), entonces f C () y

f (z)dz =

f (z)dz.

III )

Si y son arcos, f C( ) C( ) y los arcos admiten una yuxtaposici n , entonces o f C ( ) y f (z)dz =

f (z)dz +

f (z)dz.

D EFINICI ON 9.8 (Longitud de arco). Para un arco : [, ] C, la longitud de arco de es

() =

|dz| =

(t) dt.

La siguiente proposici n, con toda su simplicidad, es la clave para muchas pruebas, y se utiliza con o tanta frecuencia que omitiremos referenciarla en lo que sigue. P ROPOSICI ON 9.9. Dados un arco : [, ] C y f C( ), f (z)dz

|f (z)||dz|.

En particular f (z)dz

mx f (z) (). a
z

D EMOSTRACI ON . Sea I =

f (z)dz. Escribimos I = |I|ei para alg n R. Entonces, por u

propiedades de la integral de Riemann |I| = |I| = ei I =

ei f (t) (t) dt

ei f (t) (t) dt =

f (t)

(t) dt

(t) dt = M (),

donde M = mx f (z) . a
z

 Indice de un arco cerrado

Indice de un arco cerrado

37

3.

Un primer ejemplo no trivial de una integral que nos acompa ar a lo largo del texto es el ndice n a de un arco cerrado. El ndice tambi n se conoce como la funci n n mero de vueltas, aunque esto no e o u quedar completamente bien comprendido sino hasta haber probado el teorema 17.6. a D EFINICI ON 9.10 ( Indice). Dado un arco cerrado y z , denimos el ndice del arco con / respecto a z mediante d 1 . (9.5) ind (z) = 2i z ind : C \ C

Denimos el ndice del arco como la funci n o dada por (9.5).

Si : [, ] C, (9.5) se escribe explcitamente como

ind (z) =

E JERCICIO 9.1. Muestre que para toda curva en C, el conjunto abierto C \ posee una unica componente conexa no acotada. Puede estar C \ conformado por un n mero innito de componentes u conexas? a) b) c) d) T EOREMA 9.11. Para un arco en C, se cumplen las siguientes propiedades: ind H(C \ ). ind (C \ ) Z. En cada componente conexa de C \ , ind toma un valor constante. En la componente no acotada de C \ toma el valor 0. D EMOSTRACI ON . a) Efectuamos ind (z) ind (z0 ) 1 1 d 1 1 1 1 = d 2 z z0 2i ( z0 ) 2i z z0 z z0 ( z0 )2 d z z0 . = 2i ( z0 )2 ( z) | z0 | d y | z| | z0 | |z0 z| d/2,

(t) dt. (t) z

Sea d = d(z0 , ) > 0. Tomando z C \ tal que |z z0 | < d/2, y , tenemos y luego

ind (z) ind (z0 ) d |z z0 | 2 1 3 (). z z0 2i ( z0 )2 2 d Haciendo z z0 , tenemos 1 d ind (z0 ) = . 2i ( z0 )2 Sea : [, ] C denida por
t

(t) exp

Entonces

(t) dt . (t) z0

() = exp 2i ind (z0 ) . Luego, ind (z0 ) Z, si y s lo si () = 1. o Derivando logartmicamente (justique cuidadosamente) (t) (t) = (t) (t) z0

38

Integraci n sobre arcos o

para t [, ], salvo en un n mero nito de puntos. Adem s, fuera de esos puntos u a d (t) dt (t) z0 = (t) (t) z0 (t)(t) (t) z0
2

= 0.

Por lo tanto, t

(t) es constante, de donde (t) z0

Siendo cerrada, tenemos () = () y por lo tanto () = () = 1. Sea n = ind (z0 ). Como ind H(C \ ) C(C \ ), podemos tomar r > 0 tal que ind D(z0 , r) D(n, 1/2). Pero por el tem anterior ind D(z0 , r) Z, entonces f D(z0 , r) D(n, 1/2) Z = {n}. Por lo tanto, ind (z) = n para todo z D(z0 , r). Esto muestra que ind es localmente constante. Un argumento m s directo nos da lo siguiente. Si C es la componente conexa de z0 en C \ , siendo a ind continua, ind (C) es un conjunto conexo. Pero como ind (C) Z, forzosamente ind (C) = {n} para alg n n Z. u Como es acotado (al ser compacto), podemos tomar R > 0 tal que D(0, R). Luego, para |z| > R + () y , | z| |z| || |z| R > (), de donde d |d| |d| 1 1 1 1 = < 1. ind (z) = 2 z 2 | z| 2 () 2 Como ind (z) Z, tenemos que ind (z) = 0 para |z| > R + (). Por el tem anterior, esto vale para todo z en la componente conexa no acotada de C \ . E JEMPLO 9.12. Fijados k Z, z0 C y R > 0, consideramos el arco cerrado : [0, 1] C denido por (t) = z0 + Re2ikt , t [0, 1]. Entonces k, |z z0 | < R, ind (z) = 0, |z z0 | > R. De hecho, C \ est conformado de las componentes conexas indicadas arriba a {z C : |z z0 | < R}
1 0

() () = . () z0 () z0

Para z con |z z0 | > R, la componente conexa no acotada de C \ , tendremos ind (z) = 0 por el teorema anterior. Ahora bien, ind (z0 ) = 1 2i (t) 1 dt = (t) z0 2i
1 0

{z C : |z z0 | > R}.

por lo que ind (z) = k en toda la componente conexa {z C : |z z0 | < R} que contiene z0 .

Re2ikt 2ik 1 dt = 2it ) z (z0 + Re 2i 0

2ik dt = k,
0

Captulo 10

Teora local de Cauchy

Consideramos el siguiente an logo del teorema fundamental del c lculo en el plano. a a T EOREMA 10.1 (Teorema local de Cauchy). Supongamos que F H() y F C(). Entonces F (z)dz = 0

para todo arco cerrado en . D EMOSTRACI ON . En efecto, si C [, ] , entonces podemos aplicar el teorema fundamental del c lculo a las componentes real e imaginaria de G (t), donde G : [, ] C, G(t) = F (t) , a obteniendo F (z)dz =

F (t) (t)dt =

G (t)dt

Si posee discontinuidades (que ser n a lo m s nitas), procedemos a dividir [, ] y considerar el a a procedimiento en cada subintervalo. E JEMPLO 10.2. Para toda curva cerrada en C y n entero z n dz = 0.

= G() G() = F () F () = 0.

0,

En efecto, = n = 1, si 0 . /

zn

F (z)

para F (z) =

1 n+1 , n+1 z

F H(C). Lo mismo ocurre para n Z en general,

1.

Teorema de Cauchy, caso convexo

T EOREMA 10.3 (Teorema de Cauchy para un tri ngulo). Sea un tri ngulo contenido en , abierto a a en C y p . Si f C() H \ {p} , entonces f (z)dz = 0

O BSERVACI ON . Podramos haber reemplazado la condici n en el teorema por la condici n m s o o a simple que f H(). Sin embargo, necesitaremos de esta condici n t cnica en la prueba de la f rmula o e o de Cauchy, teorema 10.5. D EMOSTRACI ON . Sean a, b y c los v rtices del tri ngulo ; de ser necesario escribiremos a,b,c e a para explicitar la dependencia de los v rtices. e a) Primer caso: p no pertenece a . Este es el caso m s representativo a desarrollar. a Sea (0) = , y supongamos que para alg n k u 1, (k1) est denido. Dividimos este a tri ngulo por los puntos medios de sus lados, construyendo, como en la gura 10.1, cuatro tri ngulos a a i , i = 1, 2, 3, 4 id nticos (salvo rotaciones y traslaciones), semejantes al primero que cumplen e a) j (k1) , 1 j 4, 4 j = (k1) ; j=1 b) ((k1) ) = 2 (j ), 1 j 4; c) diam((k1) ) = 2 diam(j ), 1 j 4.
39

40

Teora local de Cauchy

F IGURA 10.1. Subdivisiones en el caso (a) del teorema 10.3. Hemos separado los tri ngulos que en realidad est n juntos, para hacer visiblemente notorios los lados ada a yacentes de los tri ngulos de la descomposici n, que se compensan al integrar a o Adem s a
4

f (z)dz =
(k1) j=1 j

f (z)dz,

bien entendido que las integrales en los lados que aparecen dos veces en la gura, en sentidos opuestos, se anulan. Luego, existe 1 j0 4 tal que f (z)dz
(k1)

4
j0

f (z)dz ;

denimos entonces (k) = j . El procedimiento anterior nos lleva a construir una sucesi n {(k) }k o tales que (10.6) = (0) (1) . . . (k1) (k) . . .

de tri ngulos cerrados, a

y para k 1 a) ((k1) ) = 2 ((k) ); b) diam((k1) ) = 2 diam((k) ); c)

(k1)

f (z)dz

4
(k)

f (z)dz .

Por (10.6) y el hecho que diam((k) ) = 2k diam() 0 cuando k , tenemos por el teorema 4.17, que existe z0 tal que
k=0

(k) = {z0 }.

Sea > 0 cualquiera, y tomemos, por diferenciabilidad de f en z0 , > 0 tal que f (z) f (z0 ) f (z0 )(z z0 ) < |z z0 | si |z z0 | < . Tomamos adem s n 0 tal que diam((n) ) < /2; de este modo (n) D(z0 , ). a Entonces, agregando t rminos nulos provenientes del teorema local de Cauchy (ejemplo 10.2, casos e n = 0, 1) f (z)dz

4n
(n)

f (z)dz f (z) f (z0 ) f (z0 )(z z0 ) dz |z z0 ||dz| 4n diam((n) )((n) ) ()2 .

4n
(n)

4n

(n)

= 4n 2n diam() 2n ()

Teorema de Cauchy, caso convexo

41

Haciendo 0, obtenemos f (z)dz = 0.

Observe que no necesitamos realmente que p . Lo que ocurre es que no sabemos a qu punto co/ e rresponder z0 , y lo que interesa es que z0 = p, siendo p el unico punto donde f no es necesariamente a derivable. b) Segundo caso: p es uno de los v rtices del tri ngulo. Suponemos p = a sin p rdida de generalidad. e a e Escogemos a [b, c], b [a, c] y escribimos f (z)dz =
c,b,a

+
c,a ,b

+
b ,a ,p

= 0.

Las integrales sobre los tri ngulos que no contienen p son iguales a cero, por el caso (a). En el a tri ngulo restante, usamos a f (z)dz
b ,a ,p b ,a ,p

mx a

f () (b ,a ,p )

mx f () (b ,a ,p ). a

Haciendo a p y b p, tendremos que (b ,a ,p ) 0 y por lo tanto

b ,a ,p

f (z)dz 0.

c) Tercer caso: p no es uno de los v rtices del tri ngulo, pero se encuentra sobre su frontera. Suponemos e a en efecto que p [a, b]. f (z)dz =
c,b,p

+
p,a,c

= 0,

siendo cada integral nula por el caso (b). d) Cuarto caso: p es un punto interior del tri ngulo. a f (z)dz =
c,b,p

+
b,a,p

+
a,c,p

= 0,

siendo nuevamente cada integral nula por el caso (b). T EOREMA 10.4 (Teorema de Cauchy para un abierto convexo ). Sea un abierto convexo de C y f C() H \ {p} , p . Entonces existe F H() tal que f = F . En particular, f (z)dz = 0 para todo arco cerrado en .

D EMOSTRACI ON . Fijamos un elemento a y denimos F : C mediante F (z) =

[a,z]

f ()d.

Siendo convexo, [a, z] , de modo que F est bien denida. Dados z0 , z con z = z0 , nuevaa mente por convexidad, el tri ngulo de v rtices a, z0 , z est contenido en , de donde, por el teorema de a e a Cauchy para un tri ngulo (teorema 10.3) a f ()d = 0.

Pero ahora escribimos el borde del tri ngulo como yuxtaposici n = [a, z0 ] [z0 , z] ([a, z]), de a o donde la ultima ecuaci n se escribe como o F (z0 ) +
[z0 ,z]

f ()d F (z) = 0,

42

Teora local de Cauchy

b p a a (a) b c p = a b

c (b) b

p c (c) c (d)

F IGURA 10.2. Situaciones del punto p en el teorema 10.3 de donde F (z) F (z0 ) 1 f (z0 ) = z z0 z z0 1 = z z0 Por lo tanto F (z) F (z0 ) f (z0 ) z z0 1 mx f () f (z0 ) [z, z0 ] a |z z0 | [z0,z]
[z0 ,z]

f ()d f (z0 ) f () f (z0 ) d

[z0 ,z]

= mx f () f (z0 ) a
[z0 ,z]

Haciendo z z0 , tenemos que [z0 , z] z0 , y usando la continuidad de f en z0 , concluimos que F (z0 ) = f (z0 ). La ultima armaci n viene del teorema 10.1. o E JERCICIO 10.1. Muestre que para todo a C, la funci n t e(t+a) es integrable sobre R, y o

e(t+a) dt =
z 2

et dt.
4 },

E JERCICIO 10.2. Integrando z e R > 0, calcule las integrales de Fresnel

0

sobre la frontera de los sectores {Rei ; 0

0

cos(x2 )dx,

sin(x2 )dx.

E JERCICIO 10.3. Sea f H(), y R un rect ngulo contenido en , salvo por un n mero nito de a u puntos z1 , . . . zn interiores de R, en los cuales
zzk

l (z zk )f (z) = 0, m

n.

Representaci n local de una funci n holomorfa o o

43

Entonces f (z)dz = 0.
R

2.

F rmula de Cauchy, caso convexo o

T EOREMA 10.5 (F rmula de Cauchy para un abierto convexo). Sea convexo abierto en C, un o arco cerrado en y f H(). Si z \ , entonces f (z) ind (z) = 1 2i

f () d z

Aplicamos el teorema 10.4 a la funci n g, pues g H \ {z} C(). o 3. Representaci n local de una funci n holomorfa o o T EOREMA 10.6. Sea abierto en C, y f H(). Entonces f se puede representar localmente por una serie de potencias, de la siguiente manera: si z0 y para alg n r > 0, D(z0 , r) , u

D EMOSTRACI ON . Consideramos la funci n g : C denida por o f (w) f (z) , w = z, g(w) = wz (z), f w = z.

(10.7)

f (z) =
n=0

cn (z z0 )n ,

para todo z D(a; r),

donde los coecientes cn est n dados por a cn = 1 2i

D(z0 ,r)

f () d, ( z0 )n+1

0.

D EMOSTRACI ON . Parametrizamos D(z0 , r) en sentido antihorario. Por la f rmula de Cauchy o (teorema 10.5), para z D(z0 , r) f (z) = Para z D(z0 , r) y 1 2i
D(z0 ,r)

f () d. z

1 1 1 1 ; = = z z0 (z z0 ) z0 1 zz0 z0
k=0

y como

|zz0 | |z0 |

|zz0 | r

< 1, la serie 1 1 = z z0

z z0 z0

=
k=0

(z z0 )k ( z0 )k+1

converge uniformemente para | z0 | = r, de donde f (z) =

k=0

1 2i

D(z0 ,r)

f () (z z0 )k ( z0 )k+1 r < r.

para z D(z0 , r ). Por el teorema 7.1, la serie de f (z) converge absoluta y uniformemente para |z z0 |

O BSERVACIONES . Si R el radio de convergencia de la serie dada por (10.7) y D(z0 , r) , entonces R > r. En particular, 1. Si = C (la funci n es entera), R = . Este es el caso de la funci n exp; o o

44

Teora local de Cauchy

2. Si = C, entonces R = d(z0 , C \ ) es la distancia de z0 al complemento de . Por ejemplo, 1 en el caso de la funci n z 1z , que tiene expansi n en el origen o o 1 = 1z

zn ,
k=0

esto nos dice que el radio de convergencia de la serie a la derecha es igual a R = 1. E JERCICIO 10.4. Una funci n u : A R, A R2 es arm nica si u = 0, donde o o u = 2u 2u + 2 x2 y

est bien denido. Verique que si f : C es holomorfa sobre , entonces sus partes real e a imaginaria u y v son funciones arm nicas sobre . o 4. Derivando la f rmula de Cauchy o 1. Si denimos Hk :

L EMA 10.7. Sea un arco en el abierto , f C( ) y k un entero C \ C mediante (10.8) entonces, para k (10.9) 1 y z C \ Hk (z) =

f () d, ( z)k

Hk (z) = k Hk+1 (z).

En pocas palabras, la derivaci n con respecto a z puede realizarse bajo el smbolo integral. o D EMOSTRACI ON . La prueba de este teorema guarda gran similitud con la de la parte (a) del teorema 9.11. Realizaremos esta prueba por inducci n sobre k, con la siguiente hip tesis inductiva: para un cierto o o k 1, la f rmula (10.9) vale para una funci n Hk denida por (10.8) a partir de cualquier f C( ), o o siendo jo. Sea k = 1. Escribimos, para z0 , z , z = z0 / H1 (z) H1 (z0 ) H2 (z0 ) = z z0

1 1 1 1 f ()d z z0 z z0 ( z0 )2

= (z z0 )

f ()d . ( z0 )2 ( z)

Sea d = d(z0 , ) > 0. Tomando z C \ tal que |z z0 | < d/2, y , tendremos | z0 | y luego H1 (z) H1 (z0 ) H2 (z0 ) z z0 |z z0 | 2 mx f () (). a d3 d y | z| | z0 | |z0 z| d/2,

Haciendo z z0 , obtenemos H1 (z0 ) = H2 (z0 ). Supongamos el resultado v lido para un cierto k 1. Esto vale entonces tanto para Hk1 como para a la funci n Gk1 , donde Gk : C \ C se dene por o

Gk (z) =

f () d, ( z)k ( z0 )

y es una funci n del mismo tipo que Hk , obtenida cambiando f por f ()/( z0 ), funci n tambi n o o e continua en . Notamos que Gk (z0 ) = Hk+1 (z0 ).

Derivando la f rmula de Cauchy o

45

Calculamos Hk (z) Gk1 (z) =

1 1 1 f ()d k1 z ( z) z0

= (z z0 ) Tomando como antes z C \

2k mx f () (). a dk+1 Siendo Gk (z) acotada en una vecindad de z0 , haciendo z z0 en la identidad arriba, Gk (z)
zz0

tal que |z z0 | < d/2, tendremos

f () d = (z z0 )Gk (z). ( z)k ( z0 )

l Hk (z) = l Gk1 (z) = Gk1 (z0 ) = Hk (z0 ), m m

zz0

dado que por hip tesis inductiva, Gk1 es continua en z0 . Esto muestra que Hk es continua en z0 ; lo o mismo valdr entonces para Gk en z0 . a Por ultimo, escribimos o Hk (z) Hk (z0 ) = (z z0 )Gk (z) + Gk1 (z) Gk1 (z0 )

Hk (z) Hk (z0 ) Gk1 (z) Gk1 (z0 ) = Gk (z) + ; z z0 z z0 haciendo z z0 , por la continuidad de Gk y hip tesis inductiva (10.9) aplicada a Gk1 en z0 , tenemos o
Hk (z0 ) = Gk (z0 ) + (k 1) G (z0 ) = Gk (z0 ) + (k 1) Gk (z0 ) k1

Esto prueba la hip tesis inductiva para k y nos permite concluir. o T EOREMA 10.8. Con las condiciones de la f rmula integral de Cauchy (teorema 10.5) o k! f () f (k) (p) ind (p) = d 2i ( p)k+1 0.

= k Gk (z0 ) = k Hk+1 (z0 ).

para todo k

D EMOSTRACI ON . Derivamos sucesivamente la f rmula de Cauchy a ambos lados usando el lema o anteriores y el hecho que ind (z) = 0 para todo z \ . k C OROLARIO 10.9. Si C es abierto y conexo, f H(), z0 y f (k)(z0 ) = 0, para todo 0, entonces f (z) = 0, para todo z . D EMOSTRACI ON . Sea A = z : f (k) (z) = 0 para todo k 0 . 0,

El conjunto A es cerrado en , al ser intersecci n de los conjuntos Ak = {z : f (k) (z) = 0}, k o los que son a su vez cerrados en por la continuidad de cada funci n f (k) , k 0. o Veamos que A es abierto. Dado z0 A, escogemos r > 0 tal que D(z0 , r) y

f (z) =
n=0

cn (z z0 )n

para todo z D(z0 , r), del teorema 10.6. Vemos entonces (procediendo a evaluar en z0 , luego derivando f (n) para todo n 0, de donde, siendo z0 A, y evaluando las derivadas sucesivamente) que cn = n! obtenemos cn = 0 para todo n 0. Por lo tanto f (z) = 0 para todo z D(z0 , r). Pero esto basta para probar que cada z D(z0 , r) est en A, haciendo el desarrollo local de f en cada uno de estos puntos. a Por lo tanto D(z0 , r) A. Ahora es uni n de sus abiertos relativos disjuntos A y \ A. Como es conexo y A = por o hip tesis del corolario, entonces = A; en particular f (z) = 0 para todo z . o

46

Teora local de Cauchy

C OROLARIO 10.10. Si C es abierto y conexo, f, g H(), z0 y f (k) (z0 ) = g(k) (z0 ), para todo k 0, entonces f (z) = g(z), para todo en z . E JERCICIO 10.5. Pruebe el corolario 10.10. E JERCICIO 10.6. Sea (z, t) una funci n continua de dos variables cuando z , C abierto o y conexo, y t . Supongamos adem s que (z, t) es analtica como funci n de z para cada a o t jo. Entonces

F (z) =

(z, t)dt

es analtica en z y (z, t) dt. z Para esto, represente (z, t) como integral de Cauchy F (z) = (z, t) = y complete los detalles necesarios para obtener F (z) =
C

1 2i

(, t) d z d . z

1 2i

(, t)dt

Luego apele al lema 10.7.

en el disco D(0, r).

E JERCICIO 10.7. Sea u una funci n holomorfa en C = C \ {0}. Demuestre que existe una funci n o o entera f tal que para todo r > 0, se tiene que u() f (z) = d z D(0,r)

Captulo 11

Estructura de ceros de una funci n holomorfa o

1. Estructura de ceros

Ahora queremos estudiar el comportamiento de una funci n analtica en la vecindad de un cero. o T EOREMA 11.1. Sea una regi n (abierto y conexo), f H() y o Z(f ) = {a : f (a) = 0} Entonces Z(f ) = o Z(f ) no tiene punto de acumulaci n en . o En este ultimo caso, para cada z0 Z(f ), existe un entero m = m(z0 ) (11.10)
m

1 tal que

donde g H() y g(a) = 0. Adem s Z(f ) es a lo m s contable. a a

f (z) = (z z0 ) g(z), para todo z

D EMOSTRACI ON . Por el corolario 10.9, si existe z0 tal que, siendo r > 0 tal que D(z0 , r) y la expansi n en serie de potencias de f en z0 o

(11.11)

f (z) =
n=0

cn (z z0 )n ,

con cn =

f (n) (z0 ) para n n!

0,

se cumple que cn = 0 para todo n 0, entonces f es id nticamente nula. En este caso Z(f ) = . e Supongamos entonces, por el contrario, que para todo a , en la expansi n (11.11), no todos los o cn , n 0 son 0. Sea z0 Z(f ); tenemos f (z0 ) = c0 = 0. Entonces, existe un menor ndice m 1 tal que cm = 0. Esto implica la factorizaci n o

(11.12)

f (z) = (z z0 )m

n=m

cn+m (z z0 )n ,

z D(z0 , r).

Por lo tanto, f (z) = (z z0 )m g(z), donde g : C g(z) =

(z z0 )m , z = z0 , cma , z = z0 .

Evidentemente g H \ {z0 } , pero adem s, por (11.12) g(z) = a

D(z0 , r). Por lo tanto g es derivable en z0 , g H(), y g(a) = cm = 0. Siendo adem s g continua en z0 con g(z0 ) = 0, podemos escoger r > 0 tal que g(z) = 0 para a z D(z0 , r). Esto implica que Z(f ) D(z0 , r ) = {z0 }, y por lo tanto todo z0 Z(f ) es un punto aislado de Z(f ). Finalmente, para probar que Z(f ) es a lo m s numerable, consideremos una familia de subconjuntos a compactos {Kn }n 1 de con las propiedades del lema 4.24. Para cada n 1, Z(f ) Kn es tambi n e compacto, y no teniendo punto de acumulaci n en , nito; la uni n de estos conjuntos es = o o (
n 1

n=m

cn+m (z z0 )n para z

Kn ), una uni n numerable de conjuntos nitos. o E JERCICIO 11.1. Pruebe que si f H(), a , entonces f posee un cero de multiplicidad m en z0 si y s lo si o f (z0 ) = f (z0 ) = f (z0 ) = = f (m1) (z0 ) = 0 y f (m) (z0 ) = 0.
47

48

Estructura de ceros de una funci n holomorfa o

C OROLARIO 11.2. Sean f, g H(), regi n y f (z) = g(z) para todo z D, donde D o posee un punto de acumulaci n . Entonces f = g. o E JERCICIO 11.2. Demuestre el corolario 11.2. E JEMPLO 11.3. La condici n de que en el teorema anterior, el punto de acumulaci n de Z(f ) o o est en no puede confundirse. Consideramos f : H C, donde H = {z C : z > 0}, dada por e . f (z) = sin z Entonces es f cil vericar que Z(f ) = {1/k, k entero a 1}. Este conjunto tiene punto de acumulaci n o 0 H, lo que no se contradice con el hecho que f no es id nticamente nula. / e E JERCICIO 11.3. Sea f H(), abierto y conexo tal que R = . Si f es real sobre la recta real (esto es f (x) R para x R), entonces, para todo z tal que z , se tiene que f (z) = f (z). Para esto 1. Sea 0 = {z | z }. Verique que f H(0 ), donde f (z) = f (z). 2. Verique ahora que f |A = fA donde A = R 0 es un conjunto con punto de acumulaci n. Concluya. o

Captulo 12

Consecuencias del teorema de Cauchy

1. El teorema de Liouville para funciones enteras

T EOREMA 12.1 (Liouville). Si f H(C) (entera) y f es acotada, entonces f es constante. D EMOSTRACI ON . Supongamos que existe M > 0 tal que f () por el teorema 10.6 (aqu z0 = 0)

M para todo C. Escribimos

f (z) =
n=0

cn z n ,

para todo z C (el radio de convergencia de la serie es ), donde cn = para todo n |cn | 1 2i
D(0,r)

f () d, n+1

0, y cn independiente de r > 0. Entonces, para n 1 2

D(0,r)

independientemente de r > 0. Haciendo r , obtenemos cn = 0 para todo n f (z) = c0 para todo z C, por lo que f es constante.
|z|

M 1 M 1 M M |d| = n+1 D(0, r) = n+1 2r = n , n+1 || 2 r 2 r r

1. Por lo tanto,

E JERCICIO 12.1. Sea f H(C) tal que l f (z) = 0. Entonces, f (z) = 0 para todo z C. m E JERCICIO 12.2. Sea f una funci n entera. Supongamos que existen A, B R, k N tales que o para todo z C. Pruebe que f es un polinomio. |f (z)| < A + B|z|k

E JERCICIO 12.3. Sea f una funci n entera tal que f (z) es acotada en C. Demuestre que f es o constante. 2. El teorema fundamental del algebra
n

T EOREMA 12.2 (Teorema fundamental del algebra). Si P (z) = existe z0 C tal que P (z0 ) = 0. D EMOSTRACI ON . Como l m
|an | n 2 |z| |an | n 2 R |z| r=0

ar z r , n

1, an = 0, entonces

> para |z| > R. 1 Supongamos, por reducci n al absurdo, que Z(P ) = . Siendo as, la funci n f = P cumple que o o f H(C). Como f es continua, existe N > 0 tal que f (z) N para |z| R. Luego, para todo zC 2 . f (z) mx N, a |an |Rn Por el teorema de Liouville, f debe ser constante, de donde P tambi n lo debe ser. Esta clara contradice ci n implica que Z(P ) = . o
49

P (z) = |an | = 0, entonces existe R > 0 tal que |P (z)| > |z|n

50

Consecuencias del teorema de Cauchy

3.

El principio del m dulo m ximo o a

T EOREMA 12.3 (Principio del m dulo m ximo). Sea un abierto convexo, f H(), un arco o a cerrado en y p \ . Si ind (p) = 0, entonces se cumple que |f (p)|
z

mx f (z) a
z

y si se cumple f (p) = mx f (z) , entonces f es constante sobre . a D EMOSTRACI ON . S lo probaremos la desigualdad. Dado n o f rmula de Cauchy (teorema 10.5) aplicada a f n nos da o f (p) Escribiendo d = d(p, )
n

1 entero, jo pero arbitrario, la

n

ind (p) =

1 2i

f () d. ( p)

> 0 y M = mx f (z) , a
z n

1 Mn (); 2 d tomando raz n- sima en la ultima desigualdad y haciendo n , obtenemos la desigualdad esperada. e f (p) ind (p) E JERCICIO 12.4. Complete la prueba del principio del m dulo m ximo. o a E JERCICIO 12.5. Suponemos que es una regi n no acotada. Sea f : C continua sobre , holomorfa en , y tal o que l f (z) = 0. m
|z|

Muestre que f es acotada y que sup |f | = sup |f |.

E JERCICIO 12.6. Determine todas las funciones enteras f vericando

|z|

l m f (z) = +.

E JERCICIO 12.7. Denotamos por U el semiplano > 0. Sea f : U C continua sobre U y holomorfa en U . Suponemos que f es acotada sobre U , y adem s, que existen [0, 1[ y una a constante C tales que f (z) Ce|z| para todo z .

1. Sea tal que < < 1. Para > 0, denimos f : U C por f (z) = e(z+1) f (z). Justicando la denici n de f , y muestre que l |z| f (z) = 0. o m 2. Utilizando el tem y el ejercicio anterior, mueste que f es acotada sobre , y que sup |f | = sup |f |

(principio de Phragm n-Lindel f). e o E JERCICIO 12.8. Sea D = D(0, 1). Existe una funci n f H(), sin ceros en D, tal que o f (z) y f (0) = 1 ? Justique. 2 1 si |z| = 1

E JERCICIO 12.9. Supongamos que h(z) es entera, h(0) = 3 + 4i, y h(z) vale h (0)? Justique.

5 si |z| < 1. Cu nto a

Logaritmo y races holomorfas en un dominio convexo

51

4.

Logaritmo y races holomorfas en un dominio convexo

T EOREMA 12.4 (Logaritmo holomorfo). Sea abierto convexo, f H(), Z(f ) = . Entonces existe g H() tal que f = exp(g) D EMOSTRACI ON . En efecto, por las condiciones del teorema, tenemos que f en . Pero entonces el teorema 10.4, existe F H() tal que F = f
f f

H(). Luego, por

de donde f exp(F ) es una funci n constante, digamos f exp(F ) = c, y claramente c = 0. o Escribiendo c = exp() para alg n C, tendremos que f = exp(F + ) en . u T EOREMA 12.5 (Raz p- sima). Sea abierto convexo, f H(), Z(f ) = . Entonces, para todo e n N, existe gn H() tal que (gn )n = f. D EMOSTRACI ON . Sea g H() la funci n del teorema anterior, exp(g) = f . Para n N, la o funci n gn : C C denida por gn (z) = exp(g(z)/n), satisface (gn )n = f en . o

f exp(F ) = f exp(F ) f exp(F )F = exp(F )(f f F ) = 0,

Captulo 13

El teorema de la aplicaci n abierta o

Vamos a mostrar que en el caso complejo 1. Preliminares

E JEMPLO 13.1. Si f : R R, f (x) = x2 , entonces f (R) = [0, +[. Esto muestra que una funci n derivable f , denida sobre R, no necesariamente lleva abiertos en abiertos. o L EMA 13.2. Sea f H(), abierto en C y sea g : C denida por f (z) f (w) , z = w, (13.13) g(z, w) = zw (z), f z = w. D EMOSTRACI ON . Evidentemente, g es continua en cualquier punto (z, w) con z = w. Veamos la continuidad de g en un punto (z0 , z0 ) . Como f H(), entonces f H() C(). Fijado > 0, tomamos r > 0 tal que D(z0 , r) y para cada D(z0 , r), f () f (z0 ) < . Sea (z, w) D(a, r) D(a, r) . Como D(a, r) es convexo, para cada t [0, 1], (t) = (1 t)z + tw D(a, r). Entonces
1

Entonces, g C( ).

f (t) dt =

Luego, si w = z

1 wz

f (t) (t)dt =

1 f (w) f (z) . wz
1

g(w, z) g(z0 , z0 ) = de donde

f (w) f (z) f (z0 ) = wz

1 0

f (t) f (z0 ) dt

g(w, z) g(z0 , z0 ) Si en cambio w = z,

0 1

f (t) f (z0 ) dt < .

f (t) dt = f (z) = g(z, z)

1

y tambi n e g(z, z) g(z0 , z0 ) Esto prueba el resultado deseado. L EMA 13.3. Sea f H(), a , r > 0, tal que D(a, r) . Si f no tiene ceros en el disco D(a, r), entonces, para cada z D(a, r) f (z)
D(a,r) 0

f (t) f (z0 ) dt < .

m n

f () .

D EMOSTRACI ON . Basta aplicar el principio del m dulo m ximo, teorema 12.3 a la funci n 1/f o a o H D(a, r) , y observar que 1 1 = . mx a D(a,r) f () m n f ()
D(a,r)

53

54

El teorema de la aplicaci n abierta o

2.

El caso inyectivo

T EOREMA 13.4. Sea f H(), z0 y f (z0 ) = 0. Entonces contiene un entorno V de z0 tal que: 1) f es inyectiva en V ; 2) W = f (V ) es abierto; y 3) si : W V con f (z) = z, entonces H(W ). Luego, f |V : V W tiene inversa holomorfa. D EMOSTRACI ON . La funci n g : C denida por (13.13) es continua por el lema 13.2. o Fijando z0 , tenemos por continuidad de g en (z0 , z0 ), que para cada > 0, existe > 0 tal que, si (z1 , z2 ) (z0 , z0 ) < , entonces f (z1 ) f (z2 ) f (z0 ) < . z1 z2

En particular, para = entonces

f (z0 ) , existe un entorno abierto V de z0 tal que si z1 , z2 V con z1 = z2 , 2 f (z0 ) 2 f (z1 ) f (z2 ) f (z1 ) f (z2 ) , z1 z2 1 f (z0 ) |z1 z2 |. 2

Esto en particular implica (1) Sea a V y r > 0 tal que D(a, r) V ; por lo anterior, para todo [, ] 1 f (a + rei ) f (a) f (z0 ) r = 2c > 0. 2 Sea D f (a), c), esto es f (a) < c, entonces para todo [, ] (a + rei ) f (a) f (a + rei ) f (a) | > 2c c = c c > (a) . Luego
[,]

m n

(a + rei )

Por el lema 13.3, f debe poseer un cero en D(a, r), luego existe z D(a, r) tal que = f (z) f D(a, r) f (V ). Luego D f (a), c f (V ), lo que muestra (2). Fijemos ahora w0 W , y probemos que existe (w0 ). Como w0 W = f (V ), existe un unico z0 V tal que w0 = f (z0 ). Si w W y (w) = z V , tenemos que z z0 (w) (w0 ) = = w w0 f (z) f (z0 ) 1
f (z)f (z0 ) zz0

Haciendo z z0 , obtenemos por continuidad w w0 ; adem s z = z0 implica w = w0 . Esto nos da a 1 , (w0 ) = f (z0 ) lo que muestra que H(W ), esto es (3). 3. D EFINICI ON 13.5. Para un entero m m. m (z) = z Caso general 1, denimos la potencia m- sima m : C C mediante e

Sabemos que si w = 0, entonces w = m (z) para m valores distintos de z. Explcitamente, si i en forma polar (r > 0, R), entonces z = r 1/m ei(+ 2k ) , para k = 0, 1, . . . , m 1. m w = re L EMA 13.6. Para todo m 1, la aplicaci n m es abierta. o

Caso general

55

V z0 f

C W

f (z0 )

F IGURA 13.1. Ilustraci n de los conjuntos en el teorema 13.4 o D EMOSTRACI ON . Si V es abierto y 0 V , entonces m (V ) es abierto por el teorema 13.4. / Si 0 V , escogemos r > 0 tal que D(0, r) V ; luego por la observaci n anterior. Esto prueba la armaci n. o o m D(0, r) = D(0, r m ) m (V )

O BSERVACI ON . Claramente la composici n de dos aplicaciones abiertas es una aplicaci n abierta, o o ) = . por lo que, en particular m H() es abierta si H() con Z( T EOREMA 13.7. Sea un abierto conexo y f H() no constante, z0 y w0 = f (z0 ) (f w0 tiene un cero en z0 ). Sea m el orden del cero de f w0 . Entonces, existe una vecindad V de z0 y H(V ), tal que: m 1. f (z) = w0 + (z) para todo z V ; 2. Z( ) V = y es invertible de V sobre el disco D(0, r). Equivalentemene, f w0 = m (luego f ser abierta). a D EMOSTRACI ON DEL TEOREMA . Sea z0 , w0 = f (z0 ) y r > 0 tal que D(z0 , r ) ; escribimos f (z) w0 = (z z0 )m g(z), donde m 1 es entero, g H() y g(z0 ) = 0. Reduciendo r de ser necesario, por continuidad, aseguramos que g(z) = 0 para todo z D(z0 , r ). Por el teorema 12.5, existe h H D(z0 , r ) tal que g = hm ; adem s h(z0 ) = 0. Deniendo : D(z0 , r ) C, a (z) = (z z0 )h(z), tenemos que f (z) w0 = (z)m para todo z D(z0 , r ), donde (z0 ) y (z0 ) = 0. Por el teorema 13.4 existe una vecindad V D(z0 , r ) de z0 que cumple las condiciones buscadas, reduciendo (V ) = W de ser necesario. C OROLARIO 13.9. Sea un abierto conexo no trivial. Si f H() es inyectiva, entonces Z(f ) = y f 1 H(U ) con U = f (). E JERCICIO 13.1. Demuestre el corolario 13.9. E JEMPLO 13.10. La funci n exponencial exp restringida a = R] , [, es una funci n o o inyectiva, con exp = R] , [ = C\] , 0]. Concluimos del corolario anterior que su inversa, la rama principal del logaritmo log de la denici n 8.6 es una funci n holomorfa en C\] , 0]. o o C OROLARIO 13.8. Si es un abierto conexo f H() no constante, entonces f es abierta.

Captulo 14

Convergencia de una sucesi n de funciones holomorfas o

1. Convergencia uniforme en compactos

La convergencia uniforme en compactos, dada en la denici n 5.33, es en el caso de las funcioo nes holomorfas m s importante y esperable que la convergencia uniforme de funciones. La condici n a o aparece de manera natural en el teorema de Arzel a-Ascoli (teorema 5.37). Observamos el siguiente ejemplo.
z E JEMPLO 14.1. Sea fn : C C, fn (z) = n , n 1. Entonces fn H(C), y la sucesi n {fn }n o converge puntualmente a la funci n id nticamente nula, pero no uniformemente. o e 1

Un ejemplo tan simple como el anterior no sera simple de analizar de exigir convergencia uniforme. Felizmente, podemos dividir un abierto cualquiera en compactos, gracias al lema 4.24; esto simplica el estudio y lo reduce a compactos. Sea una curva en . Siendo un compacto, si {fn }n 1 converge a f uniformemente en compactos,
n

f (z)dz

fn (z)dz

sup f () fn () ( ),

donde l sup f () fn () = 0, de donde m f (z)dz = l m

n

fn (z)dz.

T EOREMA 14.2 (Morera). Sea f C(), abierto, tal que

f (z)dz = 0, para todo tri ngulo . a

D EMOSTRACI ON . La prueba es esencialmente la misma que la del teorema 10.4, con la diferencia de que la condici n que damos en este teorema es la que antes prob bamos mediante el teorema 10.3. o a 2. Holomorfa de una funci n lmite o

Entonces f H().

T EOREMA 14.3. Sea {fn }n 1 H() una sucesi n de funciones holomorfas en el abierto . Si o existe f : C tal que la sucesi n {fn }n 1 converge uniformemente en compactos de , entonces o f H(), y {fn }n 1 converge a f uniformemente en compactos.

D EMOSTRACI ON . Primero veamos que f C(). Sea z0 jo pero arbitrario; tomamos r > 0 1, y fn converge a f tal que el compacto K = D(z0 , r) . Como fn C K) para todo n uniformemente en K, entonces f C(K). En particular, f es continua en z0 . Probemos ahora que f H(). Fijado un tri ngulo , tenemos, por el teorema de Cauchy a 10.3 que fn (z)dz = 0

para n

1. La convergencia uniforme de fn a f en implica entonces que f (z)dz = 0.

57

58

Convergencia de una sucesi n de funciones holomorfas o

Siendo un tri ngulo arbitrario en , el teorema de Morera 14.2 implica que f H(). a Sea z0 y r > 0 tal que D(a, 2r) . Para z D(a, r) tenemos, por la f rmula de Cauchy o (teorema 10.8) f () 1 d, f (z) = 2i D(a,2r) ( z)2 y la misma f rmula reemplazando f por fn , n o 1. Observamos que |z z0 | < r y | z0 | = 2r implican | z| r; luego esto junto con D(z0 , 2r) = 4r da
f (z) fn (z) = D(z0 ,2r) obtenemos que fn

1 2

converge a f uniformemente en D(z0 , r). Finalmente, dado Haciendo n , un compacto cualquiera K , podemos cubrir K con un n mero nito de discos D(zi , r) con las u converge uniformemente a f en cada disco D(z , r), luego en condiciones anteriores, de modo que fn i K (al estar contenido en una uni n nita de dichos conjuntos). o

f () fn () ( z)2

1 2

D(z0 ,2r)

mx a

f () fn () 4r. r2

Captulo 15

Singularidades
1. Singularidades removibles o evitables

D EFINICI ON 15.1. Si z0 y f H( \ {z0 }), decimos que f tiene una singularidad aislada en z0 . Decimos que la singularidad es removible o evitable si existe g H() tal que g|\{z0 } = f . E JEMPLO 15.2. La funci n f : C C denida por f (z) = sin z , tiene una singularidad removible o z en z = 0: puede ser redenida poniendo f (0) = 1. En efecto, la funci n g : C C denida por la serie o (de radio de convergencia ) z 2n g(z) = (2n + 1)!
n=0 1 E JEMPLO 15.3. La funci n f : C C denida por f (z) = z no posee una singularidad removible o en z = 0, pues l |z|0 f (z) = , de donde f no puede coincidir con una funci n continua (y tanto m o menos holomorfa) en z = 0.

para z C, cumple g|C = f . La vericaci n de estas armaciones se deja al lector. o

T EOREMA 15.4. Si f H \ {z0 } y f est acotada en a

para alg n r > 0, entonces f tiene una singularidad removible en z0 . u D EMOSTRACI ON . Denamos h : C mediante (z z0 )2 f (z), z = z0 h(z) = 0, z = z0 . Entonces h H \ {z0 } , pero adem s es f cil ver que a a y h (z0 ) = l m
zz0

D (z0 ; r) = {z C; 0 < |z z0 | < r}

h(z0 ) = 0 = l h(z) m
zz0

de lo que concluimos que h H(). Luego h puede desarrollarse (teorema 10.6) en una serie de potencias en una vecindad de z0 , esto es, dado r > 0 con D(z0 , r) , para z D(z0 , r)

h(z) = l (z z0 )f (z) = 0, m z z0 zz0

h(z) =
k=0

ck (z z0 )k .

Pero c0 = h(a) = 0, c1 =

h (a)

= 0, de donde h(z) = (z z0 )2 ck+2 (z z0 )k

k=0

para todo z D(z0 , r). Deniendo g : C mediante g(z) =

f (z), z = z0 c2 , z = z0 ,
59

60

Singularidades

tenemos que g H( \ {z0 }) tal como f , pero para z D(z0 , r)

g(z) =
k=0

ck+2 (z z0 )k ,

de modo que g es derivable en z0 . Concluimos que g H() y la singularidad de f en z0 es removible. O BSERVACI ON . El teorema anterior implica el siguiente hecho: si para alg n p , abierto, u f H \ {p} C(), entonces f H(). Compare esto con la condici n tpica que hallamos en o el captulo 10. E JEMPLO 15.5. Comparamos esto con el caso real. Sea f : R \ {0} R, f (x) = sin(1/x) para x = 0; la funci n f es acotada, pero no se puede extender de manera continua a R. Pero observamos o tambi n que al extender esta funci n al plano, F : C C, F (z) = sin(1/z), obtenemos una funci n e o o que no es acotada en ninguna vecindad del cero. En efecto, ex ex ex = (1 e2x ) 2i 2 cuando x +, de donde sin(i/x) cuando x 0. sin(ix) = 2. Clasicaci n de las singularidades o T EOREMA 15.6. Si z0 y f H( \ {z0 }), entonces una y s lo uno de los siguientes casos o debe ocurrir: I ) f tiene una singularidad removible en z0 . II ) Existe {c1 , , cm } C, n 1, con cm = 0, tal que
m

f (z) tiene una singularidad removible en z0 . III ) Si r > 0 y D(z0 ; r) , entonces

k=1

ck (z z0 )k

f (D (z0 ; r)) = C.

D EFINICI ON 15.7 (Polo y singularidad esencial). Sea z0 y f H( \ {z0 }). Siguiendo las notaciones y casos del teorema 15.6: a) en el caso (II ), se dice que f tiene un polo de orden m en z0 y c1 se denomina el residuo de f en z0 y se le denota por res(f ; z0 ), y m ck (z z0 )k
k=1

es la parte principal de f en z0 . En el caso particular m = 1, decimos que el polo es simple. b) En el caso (III ), se dice que f tiene una singularidad esencial en z0 . D EMOSTRACI ON DEL TEOREMA . La condici n (III ) se escribe como sigue: para cada r > 0 y cada o w C, existe una sucesi n {zn }n 1 D (z0 , r) tal que zn z0 y f (zn ) w. o Supongamos que no se cumple (III ), entonces existen > 0, r > 0 y w C tales que (15.14) 0 < |z z0 | < r implica f (z) w h(z) = . Sea h : \ {z0 } C denida por

1 . f (z) w Por (15.14), h est acotada por 1/ en D (z0 , r). Por lo tanto, h posee una singularidad removible en z0 a (teorema 15.4), de donde puede extenderse a h H().

Clasicaci n de las singularidades o

61

De ah en adelante se dan dos posibilidades. En el primer caso, h(z0 ) = 0. Esto implica que 1 es acotada en la vecindad D (z0 , r). Concluimos que f (1/h)(z0 ) = 0, y luego f (z) = w + h(z) posee una singularidad evitable en z0 (nuevamente por el teorema 15.4), esto es, el caso (I ). Puede ocurrir en otro caso que h(z0 ) = 0. Escribimos h(z) = (z z0 )m g(z), donde m 1 es un entero y g H() con g(z0 ) = 0 (teorema 11.1). Por (15.14) h no tiene ceros en D (z0 , r). Escribimos nuevamente 1 f (z) = w + , (z z0 )m g(z) para z D (z0 , r), donde 1/g no tiene ceros en D(z0 , r) (observando por separado z = z0 y z = z0 ), y por lo tanto 1/g es holomorfa en D (z0 , r). Expandiendo 1/g en serie de potencias alrededor de z0 (teorema 10.6) 1 = bk (z z0 )k g(z)
k=0

para z D(a, r), con b0 = (1/g)(z0 ) = 0. De ah f (z) = w +

m1

1 (z z0 )m

k=0

bk (z z0 )k
k=0

=
k=0

bk +w + (z z0 )mk

bk+m (z z0 )k .

(zz0 )k ,k<0

(zz0 )k ,k 0

En esta ultima igualdad, obtenemos la parte principal de f en z0 tomando bk = cmk , k = 0, . . . , m 1; aqu b0 = cm = 0 y vemos que la serie de potencias a la derecha tiene apenas una singularidad removible en z0 . Esto nos da el caso (II ). E JEMPLO 15.8. La funci n F del ejemplo 15.5 posee una singularidad esencial en z = 0. Desarroo llando la serie de sen z e introduciendo en la serie 1/z en lugar de z, vemos que la expansi n en 01 no o corresponde ni a la singularidad removible, ni al polo en la denici n 15.7, de modo que corresponde a o una singularidad esencial. O BSERVACI ON . Es curioso c mo podemos clasicar el tipo de singularidad en funci n s lo del o o o comportamiento del m dulo de la funci n alrededor de la singularidad: o o a) si f (z) est acotada cuando z a, la funci n posee una singularidad removible en a; a o b) si f (z) cuando z a, la funci n posee un polo en a; o c) si f (z) aproxima cualquier valor real 0 cuando z a (o simplemente no se da uno de los casos anteriores), la funci n posee una singularidad esencial en a. o O BSERVACI ON . En el caso de un polo de orden m en z = a
m

f (z) = g(z) +
k=0

ck , (z a)m

donde g H D(a, r) , de donde

za

l (z a)m f (z) = cm = 0. m g(z) , (z a)m

Luego z (z a)m f (z) posee una singularidad removible en a, de donde podemos escribir (15.15)
1a ver m s adelante, expansi n de Laurent a o

f (z) =

62

Singularidades

donde g H D(a, r) , y g(a) = 0. La armaci n recproca tambi n es cierta: una funci n que se o e o escribe como (15.15) posee un polo de orden m en a. Comparar esta expresi n con (11.10) nos dice que o podemos ver un polo de una funci n como un cero de multiplicidad negativa. o E JEMPLO 15.9. Consideramos f : C \ {3} C denida por f (z) = f (z) = z 3 + z2 . Escribiendo z+3

9 z+3 para z = 3, vemos que f posee un polo simple en z = 3 con res(f ; 3) = 9. E JEMPLO 15.10. La funci n f : C \ {k : k Z} C, denida por o 1 f (z) = sin z posee polos simples en cada punto z = k, k Z (verique esta armaci n). o E JEMPLO 15.11. Sean f, g H(), a Z(g). Escribimos f (z) = (z a)m f1 (z), g(z) = (z a)n g1 (z),

g donde f1 , g1 H(), f1 (a) = 0, g1 (a) = 0. Sea f = h . Entonces h H( \ {a}) y para z \ {a},

h(z) = h1 (z)(z a)mn , con h1 =

f1 H(), h1 (a) = 0. g1

Entonces: 1. si m n, h posee una singularidad removible en a. a) si m = n, h se extiende a h H() (usamos la misma notaci n para la extensi n) con o o h(a) = 0; b) si m > n, h se extiende a h H() con un cero de multiplicidad m n en a; 2. si m < n, h tiene un polo de orden n m en a. E JERCICIO 15.1. Deduzca lo que ocurre en el ejemplo anterior con el producto de dos funciones con un polo com n. En particular, deduzca que si f H \ {a} con a , posee un polo de orden u m en a, y k 1 entero, entonces f k posee un polo de orden mk en a. E JERCICIO 15.2. Determinar las singularidades aisladas de las funciones siguientes y precisar su naturaleza: z 1. f (z) = sin z ; z 2. g(z) = z 21 cos z+1 ; 1 3. h(z) = z e1/z 1 . E JERCICIO 15.3. Sea f una funci n entera no constante. Muestre que f (C) es denso en C. o

Captulo 16

Teorema homol gico de Cauchy o

1.
n )

Cadenas, ciclos y sus integrales

D EFINICI ON 16.1 (Cadena, ciclo). Sean 1 , , n arcos en el plano C; para toda f C(1 denimos funcionales lineales

i (f ) =
i n

f (z)dz.

La suma
i=1 i

f (z)dz se dene como

f (z)dz, donde es la suma formal de los arcos i = 1 +2 + +n .

Estas sumas formales se denominan cadenas y si los i s son cerrados se denominan ciclos. D EFINICI ON 16.2 (Suma de cadenas, ciclo opuesto). Sea = 1 +2 + +n un ciclo. La cadena opuesta de la cadena es la cadena denida por = (1 )+(2 )+ +(n ), donde los i son los opuestos de los arcos i , i = 1, . . . , n. Observamos que () = . Por otro lado, si = 1 +2 + +m es otra cadena, denimos la suma de las cadenas + como la cadena + = 1 +2 + +n +1 +2 + +m . Es trivial ver que la cadena opuesta de un ciclo es un ciclo, y la suma de dos ciclos es tambi n un e ciclo. P ROPOSICI ON 16.3. Se cumplen:
I)

Observamos que ( + ) = . Denotamos adem s = + (). a

Si es una cadena y f C( ), entonces

f (z)dz =

f (z)dz.

II )

Si y son cadenas y f C( ), entonces f (z)dz =

+

f (z)dz +

f (z)dz.

D EFINICI ON 16.4 ( Indice de un ciclo). Si = 1 +2 + +n es un ciclo, entonces

n

ind () =
i=1

indi ().

Con esta preparaci n, ahora podemos generalizar el teorema de Cauchy para ciclos. o
63

64

Teorema homol gico de Cauchy o

F IGURA 16.1. Ejemplos de ciclo y cadena. Tambi n se puede ver el conjunto como e una sola cadena 2. Teorema de Cauchy homol gico o

T EOREMA 16.5 (Teorema de Cauchy). Sea f H(), abierto en C y un ciclo en que satisface (16.16) entonces f (z) ind (z) = y

ind () = 0, para todo / 1 2i f (w) dw, para todo w \ wz

f (z)dz = 0. Adem s si 0 y 1 son ciclos en tales que a ind0 () = ind1 (), para todo /

entonces f (z)dz =
0 1

f (z)dz.

es continua en . Denimos h : C mediante 1 h(z) = g(z, w)dw. 2i

D EMOSTRACI ON . Por el lema 13.2, la funci n g : C, denida por o f (w) f (z) , w=z g(z, w) = wz f (z), w=z

Como z \ , la f rmula de Cauchy equivale a probar que h(z) = 0. o Veriquemos que h H(). Como g es continua, entonces es uniformemente en todo compacto contenido en . Si z y zn , l zn = z, entonces l g(zn , w) = g(z, w) uniformemente m m n n , de donde para w
n

l h(zn ) = l m m

1 n 2i

g(zn , w)dw =

1 2i

g(z, w)dw = h(z).

Esto muestra que h C(). Sea un tri ngulo, entonces a h(z)dz =

1 2i

g(z, w)dz dw,

intercambiando el orden de las integrales que aparecen. Adem s, g(, w) H() para cada w a jo, pues la singularidad en z = w es removible, ver la observaci n al teorema 15.4. Luego, para cada o

Teorema de Cauchy homol gico o

65

11111111 00000000 11111111 00000000 11111111 00000000 11111111 00000000 11111111 00000000 11111111 00000000 11111111 00000000
cumple
w

1111111111 0000000000 1111111111 0000000000 1111111111 0000000000 1111111111 0000000000 1111111111 0000000000 1111111111 0000000000 1111111111 0000000000 1111111111 0000000000 1111111111 0000000000
no cumple
g(z, w)dw = 0,

F IGURA 16.2. Ilustrando gr camente la condici n (16.16) del teorema de Cauchy a o

de donde h(z)dz = 0.

Por lo tanto, por el teorema de Morera, teorema 14.2 se sigue que h H(). Sea 1 = z C : ind (z) = 0 y h : 1 C denida por h1 (z) =

1 f (w) dw. 2i w z Si z 1 , entonces por denici n de 1 y la hip tesis del teorema sobre , h(z) = h1 (z). Por lo o o tanto, existe una funci n H( 1 ) tal que | = h1 y |1 = h1 . Como para todo , se o / tiene que ind () = 0, entonces C \ 1 ; luego 1 = C y H(C). Adem s, 1 contiene la componente no acotada de C \ , donde el ndice es cero; por lo tanto a
|z|

l (z) = l h1 (z) = 0, m m
|z|

la ultima igualdad como en la prueba del teorema 9.11 (d). Por lo tanto, por el teorema de Liouville (teorema 12.1) concluimos que (z) = 0 para todo z C, lo que prueba que h(z) = 0, para todo z C \ . Esto prueba la f rmula de Cauchy. o Sea a \ jo pero arbitrario. Si ahora consideramos F (z) = (z a)f (z), entonces por lo demostrado F (w) 1 f (w)dw. dw = 0 = F (a) ind (a) = 2i w a Por ultimo, si para todo , se cumple que ind0 () = ind1 (), entonces, deniendo = / 1 0 , tendremos que ind () = 0 para todo y / f (z)dz =
0

f (z)dz

f (z)dz.
1

Captulo 17

El teorema homot pico de Cauchy o

1. Homotopas

D EFINICI ON 17.1. Sean 0 , 1 curvas cerradas en un espacio m trico (X, d), ambas parametrizadas e por el intervalo I = [0, 1]. Diremos que 0 y 1 son X-homot picas (o simplemente homot picas) si o o existe una aplicaci n continua, llamada homotopa H : [0, 1] [0, 1] X tal que o I ) H(s, 0) = 0 (s), para todo s I; II ) H(s, 1) = 1 (s), para todo s I; III ) H(0, t) = H(1, t), para todo t I. O BSERVACI ON . Dada una homotopa H como dada arriba, para cada s [0, 1]. t (s) = H(s, t) dene una curva en X. Esta familia innita de curvas representa las deformaciones sucesivas que sufre la curva 0 para convertirse en 1 . Esto se ilustra en la gura 17.1. E JERCICIO 17.1. La relaci n de homotopa es una relaci n de equivalencia en el conjunto de curvas o o en X. Denotamos 0 1 para indicar que las curvas cerradas 0 y 1 son X-homot picas. o D EFINICI ON 17.2. Si 0 es X-homot pica a una aplicaci n constante 1 , se dice que 0 es hoo o mot picamente nula. o 2. Conjuntos simplemente conexos

D EFINICI ON 17.3. Si X es conexo y toda curva cerrada en X es homot picamente nula, entonces o se dice que X es simplemente conexo. T EOREMA 17.4. Si es un abierto convexo, entonces es simplemente conexo. D EMOSTRACI ON . Si 0 , 1 : [0, 1] son curvas cerradas, denimos H : [0, 1] [0, 1] por H(s, t) = (1 t)0 (s) + t1 (s).

0 1/3 2/3 1

F IGURA 17.1. Deformaciones progresivas en la homotopa entre 0 y 1 . Los puntos indicados en el gr co no pertenecen al dominio donde vive la homotopa a
67

68

El teorema homot pico de Cauchy o

E JERCICIO 17.2. En = C , si : [0, 1] C es una curva cerrada y n = ind (0) Z, entonces es homot pica a n : [0, 1] C , denida por n (s) = e2ins , s [0, 1]. Graque la situaci n o o y observe que se puede obtener el resultado llevando primero la curva al crculo unitario, haci ndola e (s) homot pica a (s) = |(s)| , s [0, 1], luego reparametrizando la curva . o 3. Conservaci n del ndice y sus consecuencias o L EMA 17.5. Si 0 y 1 son arcos cerrados parametrizados por I = [0, 1] y si C es tal que 1 (s) 0 (s) < 0 (s) , para todo s [0, 1] ind1 () = ind0 ().
D EMOSTRACI ON . Vemos primero que 0 1 , lo que es necesario para denir el ndice. Sea / 1 = . 0 Entonces, para todo t [0, 1] 0 (t) 1 (t) 1 (t) = < 1, 0 (t)

Evidentemente H es una aplicaci n continua y, para todo s, t [0, 1], H(s, t) por convexidad. Las o condiciones (I )-(III ) de la denici n 17.1 son claramente satisfechas. Por lo tanto, dos curvas cerradas o cualesquiera en son homot picas. En particular, toda curva cerrada 1 en un convexo es hom topa a o o una curva constante 0 (s) = x, x .

entonces

y en particular (t)

1 1 (t) > 0. Luego, 0 {z C : z

es decir 0 pertenece a la componente conexa no acotada de C \ . Esto implica que ind (0) = 0. Derivando logartmicamente , obtenemos
1 0 = , 1 0

0} C \ ,

de donde, integrando sobre [0, 1], obtenemos esto es ind1 () = ind0 ().

0 = ind (0) = ind1 () ind0 (),

T EOREMA 17.6. Si 0 y 1 son arcos cerrados -homot picos en una regi n y si , entonces o o / ind1 () = ind0 (). C OROLARIO 17.7. Si es una regi n simplemente conexa y un ciclo en , entonces o ind () = 0, para todo . / D EMOSTRACI ON DEL TEOREMA . Sabemos que existe una funci n H : [0, 1] [0, 1] con las o condiciones de la denici n 17.1. o En primer lugar, como H es continua y [0, 1] [0, 1] es compacto, entonces K = H [0, 1] [0, 1] es compacto. Como ahora K, d(, K) > 0, o mejor dicho d(, K) > 2 para alg n > 0. Esto lo / u podemos reescribir de la siguiente manera: existe > 0 tal que, si (s, t) [0, 1] [0, 1], entonces Por las mismas hip tesis anteriores, H es uniformemente continua en [0, 1] [0, 1], de donde podeo 1 mos hallar n N tal que, si |s s | + |t t | (esta es la distancia de la suma en C), entonces n H(s, t) H(s , t ) < . H(s, t) > 4.

Conservaci n del ndice y sus consecuencias o

69

Denimos, para k = 0, . . . , n, las curvas i k i1 k k (s) = H , (ns + 1 i) + H (i ns) , n n n n i1 i para s , i = 1, . . . , n. n n i Cada k es un arco poligonal cerrado. En efecto, en cada punto s = , i = 1, . . . , n 1, k (s) se n eval a de dos maneras coincidentes como u i k i =H , k , n n n i i seg n s = i1 n , i+1 , que a su vez resultan los lmites a izquierda y derecha de k (s) en ese u n n n punto. Adem s a i1 k i k nH , , k (s) = n H n n n n i1 i para < s < , i = 1, . . . , n. Por lo tanto es un arco, diferenciable en [0, 1], salvo posiblemente n n i en los puntos , i = 1, . . . , n 1, puntos donde es continuo y las derivadas laterales por la izquierda y n derecha existen. i1 i s n , i = 1, . . . , n Ahora escribimos, para n k k (s) H s, n k k i1 k i k H s, H s, (ns + 1 i) + H , (i ns) = H , n n n n n n de donde k (s) H s, k n k i k H s, , H n n n i k k H H s, , n n n

n s

k i1 i1 k H s, , + H n n n n k i1 k H s, + H < 2, , n n n k n

n s

i n

debido a la continuidad uniforme de H. Por lo tanto, para todo s [0, 1], (17.17) k (s) H s, 0 (s) 0 (s) < 2, < 2.

Tomando en particular k = 0 y k = 1 obtenemos, respectivamente, para s [0, 1] (17.18) (17.19) De manera completamente an loga a la prueba de (17.17) probamos que para k = 1, . . . , n y s [0, 1] a Pero al mismo tiempo, para s [0, 1] y k = 0, . . . , n k (s) H s, k n k (s) k1 (s) < 2. H s, n (s) 1 (s) < 2.

k k (s) > 4 2 = 2. n

Utilizamos estos hechos de manera ordenada para aplicar el lema 17.5, como sigue: para s [0, 1] de donde ind0 () = ind0 (), 0 (s) 2 > 0 (s) 0 (s) ,

k (s)

2 > k (s) k1 (s) ,

70

El teorema homot pico de Cauchy o

2i H

2i

2i

2i

F IGURA 17.2. Contornos del ejemplo 17.9. Observe que puede deformarse el contorno del cuadrado R al crculo |z| = 2 sin tocar los puntos 1 de donde indk () = indk1 (), para k = 1, . . . , n 1, y n (s) 2 > n (s) 1 (s) , de donde nalmente indn () = ind1 (). Esta cadena de igualdades prueba el teorema. El poder de este resultado se nota cuando se combina junto con el teorema de Cauchy, teorema 16.5. Obtenemos directamente el siguiente corolario. C OROLARIO 17.8. Sea C abierto y f H(). Si 0 y 1 son dos arcos cerrados, homot picos o en , entonces f (z)dz =
0 1

f (z)dz.

E JEMPLO 17.9. Queremos integrar la funci n f : C \ {1} C, denida por o f (z) = z2 1 1

a lo largo del contorno del rect ngulo R de v rtices 2 2i, recorrido en sentido antihorario. De la a e descomposici n en fracciones parciales de f , se calcula que o f (z)dz = i indR (1) i indR (1).

Gracias al corolario 17.8, estas integrales se calculan f cilmente, ya que el contorno es homot pico en a o C \ {} al contorno |z| = 2, como se observa en la gura 17.2; esto requiere una vericaci n rigurosa o que realizar el lector. De ah a
R

f (z)dz = i 1 i 1 = 0.

Este ejemplo ilustra en general como calcular el ndice de curva deform ndola convenientemente. a E JERCICIO 17.3. Integrando 0 < < R, calcular la integral
eiz z

sobre la frontera de las semicoronas z

0,

|z|

R ,

I=
0

sin x dx, x

luego de haber justicado su existencia.

Logaritmos, races y dem s, caso simplemente conexo a

71

4.

Logaritmos, races y dem s, caso simplemente conexo a

P ROPOSICI ON 17.10. Si C abierto y simplemente conexo, entonces: I ) Para toda f H() y todo arco cerrado en , f (z)dz = 0.

II ) III )

Toda f H() admite una primitiva holomorfa, esto es admite F H() tal que F = f . Toda f : C holomorfa admite un logaritmo holomorfo, esto es h H() tal que exp(h) = f. IV ) Si f : C es holomorfa y k entero, k 1, entonces existe g H() tal que gk = f . D EMOSTRACI ON . I ) Es una simple consecuencia del corolario 17.8, considerando que todo arco cerrado es homot pico a un arco constante. o II ) Tomamos un punto z0 jo pero arbitratio. Por la proposici n 5.29, dado z cualquiera, o existe un camino poligonal z uniendo z0 y z. Denimos entonces F (z) =
z

f ()d.

Veamos que F est bien denida. Si z es otro camino poligonal partiendo de z0 y nalizando en a z, entonces z + (z ) es un camino poligonal cerrado en , de donde por (I )
z

f ()d
z

f ()d =
z z +(z )

f ()d = 0.

Esto implica que

z

f ()d =

f ()d. Por lo tanto, F est bien denida, al no depender del a

camino poligonal que une z0 y z. Sea z , y sea r > 0 tal que D(z, r) . Dado w , [z, w] D(z, r) por convexidad, y luego, si z es un camino poligonal uniendo z0 y z, entonces z + [z, w] es un camino poligonal uniendo z0 y w. Esto implica que F (w) =
z +[z,w]

f ()d =
z

f ()d +
[z,w]

f ()d.

= F (z) +
[z,w]

f ()d.

Esta igualdad, como en la prueba del teorema 10.4, nos lleva a probar que F (z) = f (z). Las pruebas de los tems (III ) y (IV ) son id nticas a aquellas de sus contrapartes en el caso convexo, e los teoremas 12.4 y 12.5, ahora que se ha demostrado el tem (II ), necesario para sus pruebas. E JEMPLO 17.11. Sea = C\] , 0]. Entonces es simplemente conexo y f (z) = z no posee ceros en . Por la proposici n anterior, f posee un logaritmo holomorfo h; si adem s jamos h(1) = 0, o a obtenemos nada menos que h(z) = log z, la rama principal del logaritmo, denici n 8.6. Observe o el rol fundamental de la conexidad simple para denir este logaritmo: en general, podr denida un a logaritmo conveniente en cualquier subconjunto simplemente conexo de C , como por ejemplo, el plano C desprovisto de cualquier semirecta que parte del origen. Intentar aumentar cualquier punto extra al conjunto destruye la conexidad simple e imposibilita denir el logaritmo. E JERCICIO 17.4. Sean a0 , . . . , aN C no todos nulos. Mostrar que si es simplemente conexo, entonces, para toda funci n holomorfa f H(), la ecuaci n diferencial o o
N

ak g(k) = f
k=0

admite una soluci n g H(). o

Captulo 18

Serie de Laurent
1. El resultado

T EOREMA 18.1 (Serie de Laurent). Consideremos f holomorfa en el anillo = {z C : r < |z z0 | < R}, donde 0 r < R < , entonces existe una sucesi n {an }nZ C tal que, para z o

f (z) =
n=

an (z z0 )n ,

donde an = 1 2i
D(z0 ,)

f () d ( z0 )n+1

para n Z, r < < R.

D EMOSTRACI ON . Fijamos r1 , r2 con r < r1 < < r2 < R, y formamos el ciclo = D(z0 , r2 ) D(z0 , r1 ). Podemos vericar que satisface las condiciones del teorema 16.5: si |z z0 | < r, entonces ind (z) = indD(z0 ,r2 ) indD(z0 ,r1 ) = 1 1 = 0, y si |z z0 | > R ind (z) = indD(z0 ,r2 ) indD(z0 ,r1 ) = 0 0 = 0. Para z con r1 < |z z0 | < r2 ind (z) = indD(z0 ,r2 ) indD(z0 ,r1 ) = 1 0 = 1, y la f rmula de Cauchy nos da o f (z) = 1 2i

f () 1 d = z 2i 1 2i

D(z0 ,r2 )

f () 1 d z 2i
k=0

D(z0 ,r2 )

f () d z

A partir de ah, el procedimiento de prueba del teorema 10.6 nos da f () d = z an (z z0 )n

D(z0 ,r2 )

r z0 R

F IGURA 18.1. Anillo r < |z z0 | < R y ciclo en la prueba del teorema 18.1
73

74

Serie de Laurent

donde an = y 1 2i donde an =

1 2i

D(z0 ,r2 )

f () d, para n ( z0 )n+1
1 k=

0,

D(z0 ,r1 )

f () d = z

an (z z0 )n

1 f () d, para n 1. 2i D(z0 ,r1 ) ( z0 )n+1 Finamente, el teorema de Cauchy homot pico (corolario 17.8) nos permite desplazar las integrales que o dan an , n Z de r1 y r2 a , por homotopas. C OROLARIO 18.2. Si r < R1 < R2 < R la serie de Laurent converge uniformemente en el disco cerrado {z/R2 |z z0 | R1 }. As, la serie de Laurent converge uniformemente en compactos de . E JERCICIO 18.1. Complete las pruebas del teorema y corolario anteriores. O BSERVACI ON . Como en el caso de los polos, sea = {z C/0 < |z z0 | < R}. Si an = 0 para innitos ns, entonces f tiene una singularidad esencial en z0 y a1 se denomina el residuo de f en z0 y se escribe res(f ; z0 ) = a1 . La serie an (z z0 )n
n=1

se denomina la parte principal de f en z0 . Esto completa la clasicaci n de singularidades en funci n o o de la serie de Laurent de f : a) Si an = 0 para todo n < 0, f posee una singularidad removible en z0 ; b) si an = 0 para todo n < m para alg n m < 0, pero am = 0, f posee un polo de orden N en z0 ; u c) si an = 0 para innitos valores de n < 0, f posee una singularidad esencial en z0 .

Captulo 19

Variaci n de argumento o
1. Determinaci n y variaci n continua del logaritmo y del argumento o o

D EFINICI ON 19.1 (Determinaci n continua). Si : [a, b] C es un arco, denominamos determio naci n continua del logaritmo a lo largo de a una aplicaci n continua l : [a, b] C tal que o o Denimos asmismo la determinaci n continua del argumento a lo largo de como una aplicaci n o o continua : [a, b] C tal que ei(t) = (t) , para todo t [a, b]. (t) el(t) = (t), para todo t [a, b].

E JEMPLO 19.2. Sea : [0, 2] C \ {0}, dada por (t) = e2it , t [0, 2]. Vemos que l(t) = 2it es una determinaci n continua del logaritmo a lo largo de (t), y (t) = 2t es una variaci n continua o o del argumento a lo largo de . D EFINICI ON 19.3. Con las notaciones de la denici n 19.1, la variaci n de argumento a lo largo o o de es el n mero u arg = (b) (a). E JEMPLO 19.4. Si : [a, b] C\] , 0], podemos dar una variaci n continua del logaritmo a lo o largo de mediante l(t) = log (t), t [a, b]. Adem s, tenemos una variaci n continua del argumento a lo largo de , dada por a o En este caso, la variaci n de argumento a lo largo de , un arco cerrado, es igual a 0. o En general, esto ocurre para cualquier arco cerrado contenido en un subconjunto abierto simplemente conexo de C \ {0} (que es donde se admite un logaritmo holomorfo). Si buscamos una variaci n de argumento no trivial, debemos buscar una curva no homot picamente o o nula en C , tal como : [0, 1] C, (t) = e2it , para la cual arg = 2. (t) = arg (t) = log (t), t [a, b].

P ROPOSICI ON 19.5. Sea : [a, b] C . 1. Si l : [a, b] C es una determinaci n continua del logaritmo a lo largo de : [a, b] C, o entonces (t) = l(t), t [a, b] es una variaci n continua del argumento a lo largo de . o 2. Recprocamente, si : [a, b] R es una variaci n continua del argumento a lo largo de , o entonces l(t) = ln (t) + i(t) es una determinaci n continua del logaritmo a lo largo de . o

O BSERVACI ON . Por la conexidad de I = [a, b], dos determinaciones continuas del logaritmo a lo largo de dieren en un m ltiplo entero de 2i. u Del mismo modo, dos variaciones continuas del argumento a lo largo de una curva dieren en un m ltiplo de 2. u
75

76

Variaci n de argumento o

2.

C lculo de la variaci n a o

Fijado z0 C , r > 0 tal que D(z0 , r) C , podemos hallar un logaritmo holomorfo local, esto es, F H D(z0 , r) tal que eF (z) = z, para todo z D(z0 , r). En particular, si : [a, b] C , t0 [a, b] jo, podemos hallar > 0 tal que si t0 ]t0 , t0 +[[a, b] (z0 = (t0 )), eF ((t)) = (t). Luego l(t) = F (t) es una determinaci n del logaritmo a lo largo de |]t0 ,t0 +[ . Observe luego o que basta con pegar un n mero nito de estas funciones (siendo [a, b] compacto, podemos obtener un u cubrimiento nito de intervalos ]t0 , t0 + [ con t0 [0, 1] y > 0 como se busca) para obtener una determinaci n del logaritmo a lo largo de . o Si es un arco, siendo F holomorfa, l ser tambi n un arco, derivable en los puntos donde es a e derivable pues l (t) = F (t) (t). Si l1 es cualquier determinaci n continua del logaritmo a lo largo de , o el1 (t) = (t) = eF ((t)) , de donde el1 (t)F ((t)) = 1 y por continuidad t ]t0 , t0 + [ k Z.

l1 (t) = F (t) = 2ki,

Por lo tanto, l1 es derivable, salvo en un n mero nito de puntos, tal como . u l(t) = (t), entonces fuera de los puntos antes mencionados Como e el(t) l (t) = (t), o (t)l (t) = (t), de donde l (t) = Esto nos da el siguiente resultado. P ROPOSICI ON 19.6. Si : [a, b] C es un arco, entonces dz l(b) l(a) = . z En particular, dz , z donde es una variaci n continua del argumento a lo largo de . Si adem s es un arco cerrado, o a entonces dz 1 1 = (b) (a) . ind (0) = 2i z 2 (b) (a) = P ROPOSICI ON 19.7. Sea : [a, b] C un arco. Si V es la variaci n de argumento a lo largo de o , entonces (b) dz = ln + iV. (a) z Por ultimo, notamos que siempre podemos hallar una determinaci n continua del logaritmo en o f rmula cerrada. o ew P ROPOSICI ON 19.8. Si : [a, b] C es un arco y w es un logaritmo de (a) (simplemente = (a)), entonces l : [a, b] C, denida por
t

(t) . (t)

(s) ds, a (s) es una determinaci n continua del logaritmo a lo largo de . o l(t) = w +

C lculo de la variaci n a o
P ROPOSICI ON 19.9. Si es un arco cerrado y p C \ , entonces p arg = 2 ind (p).

77

Captulo 20

C lculo pr ctico del ndice a a

1. Posicionamiento de una curva respecto de una semirecta

D EFINICI ON 20.1. Si L C es una semirecta de origen p C, decimos que el punto z C \ L est situado a la izquierda de L, si el angulo orientado formado entre L y el segmento [p, z[ es menor a que /2 y mayor que 0. An logamente, diremos que p est situado a la derecha de L, si el angulo orientado entre L y el a a segmento [p, z[ es mayor que /2 y menor que 0. D EFINICI ON 20.2. Una curva : [a, b] C atraviesa la semirecta L en c ]a, b[ si (c) = p y si existe > 0 tal que (t) est a la derecha de L para t ]c , c[ y a la izquierda de L para t ]c, c + [ e o viceversa. En el primer caso, diremos que atraviesa L positivamente, y en el otro caso diremos que atraviesa L negativamente.

L z

L z

p p a la izquierda de L

p p a la derecha de L

F IGURA 20.1. Posici n relativa de un punto z C \ L a la semirecta L que parte del o punto p

+ p

F IGURA 20.2. Una curva atravesando primero positivamente (+), luego negativamente () una semirecta L.
79

80

C lculo pr ctico del ndice a a

(c3 ) (c4 ) (c2 )

(c5 ) (c1 ) 0

F IGURA 20.3. Ilustraci n de la prueba de la proposici n 20.3. o o 2. C lculo del ndice a

P ROPOSICI ON 20.3. Sea p C y un arco en C \ {p}. Supongamos que existe una semirecta L de origen p, tal que E = 1 (L) es un conjunto nito, y que atraviese L en todo punto de E. Sean n+ el n mero de veces que atraviesa positivamente L, y n el n mero de veces que atraviesa u u negativamente L. Entonces ind (p) = n+ n . D EMOSTRACI ON . Por una rotaci n y traslaci n convenientes, podemos suponer que p = 0, L = o o ] , 0]. Sea : [a, b] C y c1 , c2 , . . . , cm con a < c1 < c2 < . . . < cm los puntos de E. Denimos i = +1 si atraviesa L positivamente en ci , y i = 1 si atraviesa L negativamente en ci . Consideramos la rama principal del logaritmo, la funci n log : C\] , 0] C, con log(1) = 0. o Con ella, denimos la determinaci n continua del argumento arg : C\] , 0] R con arg(1) = 0, o dada por arg(z) = log(z). Entonces, t arg (t) es continua sobre [a, b] \ E, y por denici n de i , o para i = 1, . . . , m l arg (t) = i . m l arg (t) = i , m
tc i tc+ i

Por otro lado, la variaci n de argumento a lo largo de [a,c1 ] y [cm,b] es 1 arg (a) y arg (b) + n o respectivamente. Para i = 1, . . . , m 1, la variaci n de argumento a lo largo de [ci ,ci+1] es (i+1 + i ). o Finalmente, como (b) = (a), la variaci n total de argumento de es igual a o
n1

V = 1 + n +
i=1

(i+1 + i ) = 2(n+ n ).

E JERCICIO 20.1. El arco de la gura 20.5 es simple y su sentido de recorrido es antihorario, respecto del punto resaltado en la gura. Determine los valores de ind en las componentes conexas de C \ .

C lculo del ndice a

81

+ + + 2 1 1

+ 2 1 +

F IGURA 20.4. Ilustraci n del resultado de la proposici n 20.3. Indicamos con + las o o veces que atraviesa la semirrecta elegida positivamente, con las veces que atraviesa negativamente. Colocamos el balance, el ndice calculado, al interior

F IGURA 20.5. Gr ca correspondiente al ejercicio 20.1 a

Captulo 21

Funciones meromorfas y c lculo de residuos a

1. Funciones meromorfas

D EFINICI ON 21.1 (Funci n meromorfa). Si es abierto decimos que f es una funci n meromorfa o o en si existe A tal que a) A no tiene punto lmite en . b) f H( \ A). c) f tiene un polo en cada punto de A. El conjunto A se denomina conjunto de polos de f y se denota A = P (f ). El conjunto de funciones meromorfas sobre se denota por Si f M (C), decimos simplemente que f es meromorfa. M () = {f : f es meromorfa en }.

Observamos que \ A es abierto y adem s A es cerrado. a O BSERVACIONES . Se cumplen, para un abierto C: 1. H() M (); 2. El conjunto P (f ) es cerrado y no tiene punto lmite, tal como el conjunto de ceros de una funci n holomorfa en . En particular, P (f ) es a lo m s numerable. o a 3. El conjunto M () es un anillo. En particular, f, g M () implican que f + g M () y f g M (). En general P (f + g) P (f ) P (g) y P (f g) P (f ) P (g), pero no se da la igualdad en general. Esto se prueba siguiendo los argumentos del ejemplo 15.11 pero con m, n Z y recordando el desarrollo local de una funci n meromorfa en un poco, ecuaci n o o (15.15). 4. Los argumentos anteriores tambi n muestran que si f M (), entonces 1/f M (), pero e m s a n, Z(f ) = P (1/f ) y P (f ) = Z(1/f ). Si f tiene un cero (respectivamente polo) de a u multiplicidad m > 0 (respectivamente, de orden m < 0), entonces 1/f tendr un polo (respeca tivamente cero) de orden m < 0 (respectivamente, de multiplicidad m > 0). 2.
m

C lculo de residuos a

T EOREMA 21.2. Si Q(z) = singularidad removible en a y

i=1

ck es la parte principal de f en a, entonces f Q tiene una (z a)k dm1 1 (z a)m f (z) . za (m 1)! dz m1

c1 = res(f ; a) = l m

E JERCICIO 21.1. Demuestre el teorema 21.2. C OROLARIO 21.3. Si f posee un polo simple en a, entonces res(f ; a) = l (z a)f (z). m
za

T EOREMA 21.4 (Teorema del residuo). Sea f una funci n meromorfa en y A en conjunto de los o polos de f . Si es un ciclo en \ A tal que ind () = 0, para todo /
83

84

Funciones meromorfas y c lculo de residuos a

entonces

1 2i

f (z)dz =
aA

res(f ; a) ind (a).

Laa suma que aparece en el enunciado del teorema es nita. Sea la suma mencionada se reduce a este conjunto. Sea W = C \ . Sabemos que el ndice es constante en cada componente conexa de W . Adem s, existe R > 0 tal que ind( )() = 0 para |z| > R. Esto implica que a Por lo tanto, B es un conjunto acotado, y por ser B P (f ), no contiene punto de acumulaci n. o Concluimos que B es nito. D EMOSTRACI ON . Primero observamos que si Q(z) es la parte principal de f en a, como en el teorema 21.2, entonces 1 2i 1 Q(z)dz = 2i =
n

B = a P (f ) : ind () = ;

B z C : |z|

R .

ck
k=1

(z a)k dz

1 c1 2i

Sea B = {a1 , . . . , am } y sea Qi (z) la parte principal de f en ai , para cada i = 1, . . . , m. Entonces, g = f (Q1 + + Qm ) posee singularidades removibles en a1 , a2 , . . . , am . Sea 0 = \ P (f ) \ B . Entonces 0 es abierto, y para cada , o bien , y de la hip tesis del teorema tenemos / / o ind () = 0, o bien P (f ) \ B, en cuyo caso ind () = 0 por denici n de B. Por el teorema de o Cauchy (teorema 16.5) g(z)dz = 0,

dz = c1 ind (a) = res(f ; a) ind (a). za

lo que equivale a 1 2i
n

f (z)dz =
k=1

1 2i

Qk (z)dz =
k=1

res(f ; ak ) ind (ak ).

E JEMPLO 21.5. Vamos a determinar

I=

(x2
R

dx + 1)3 dx . + 1)3

en valor principal, es decir, I = l m Sea

R+ R

(x2

1 ; (z 2 + 1)3 una funci n meromorfa con dos unicos polos, z = i, ambos de orden 3, lo que es claro de la factoo 1 . Para R > 1, consideramos el contorno formado por el segmento rizaci n f (z) = o (z + i)3 (z i)3 [R, R] y el arco de circunferencia t Reit , t [0, ], recorrido en sentido antihorario. Este contorno encierra el polo z = i, pero deja fuera el polo z = i, obteniendo ind (i) = 1, ind (i) = 0. Adem s, a e por el teorema 21.2 f (z) = res(f ; i) = l m 3 1 d2 (z i)3 f (z) = l 6(z + i)5 = i. m 2 zi zi 2! dz 16

C lculo de residuos a

85

F IGURA 21.1. Contorno del ejemplo 21.5 Luego, el teorema del residuo 21.4 nos da 1 2i

f (z)dz = res(f ; i) ind (i) + res(f ; i) ind (i) = 1 2i

R R

3 i. 16

Dividiendo la integral a la izquierda, obtenemos dx + (x2 + 1)3 1)3 ,

0

Reit i 3 dt = i. (R2 e2it + 1)3 16 Reit i dt (R2 e2it + 1)3

Ahora bien,

|R2 e2it

1|3
0

(R2

de donde
0

Reit i dt (R2 e2it + 1)3

(R2

Por lo tanto, obtenemos

R

R 1)3

l m

Reit i dt = 0, (R2 e2it + 1)3

R R

de donde 1 R 2i l m Por lo tanto

(x2

dx + 1)3

3 i. 16

(x2

dx 3 = . 3 + 1) 8

E JEMPLO 21.6. Para a > 0, determinamos I(a) =

0

cos x dx. x2 + a2

Usaremos el mismo contorno dependiendo de R del ejemplo anterior, esta vez con R > a. La funci n a considerar es ahora o eiz f (z) = 2 ; z + a2 funci n meromorfa con polos en z = ia. Observamos, por simples argumentos de paridad, que o I(a) = I(a) + i0 = 1 2

cos x i dx + x 2 + a2 2

sen x 1 dx = x 2 + a2 2

f (x)dx,

integral calculada en valor principal. Observamos que el polo en z = ia queda dentro del contorno, mientras que aqu l en z = ia e queda fuera, obteniendo como antes ind (ia) = 1, ind (ia) = 0. Por otro lado, el residuo en z = ia es (siendo este polo simple, corolario 21.3) res(f ; ia) = l m ea eiz = . zia z + ia 2ia

86

Funciones meromorfas y c lculo de residuos a

Luego, el teorema del residuo nos da 1 2i Al mismo tiempo eiRe Reit i dt it 2 2 0 (Re ) + a Por lo tanto, haciendo R , obtenemos 1 1 I(a) = i 2i de donde I(a) = ea

it

f (x)dx +
R 0

eiRe Reit i ea . dt = (Reit )2 + a2 2ia

it

eR sen t R dt R 2 a2 f (x)dx =

R . R 2 a2

ea , 2ia

. 2a E JERCICIO 21.2. Sea f = P/Q una funci n racional sin polos reales, con deg(Q) o 1. La integral
+

2 + deg(P ).

I=

f (t)dt

es absolutamente convergente. 2. Si P + = P (f ) z C : (z) > 0 , entonces I = 2i

aP +

res(f, a).

3. Aplique este resultado al c lculo de a

+

I=
0

1 dt = 6 1+t 2

dt . 1 + t6

Captulo 22

Contando ceros y polos al interior de un contorno

1. que i) ind () = 0, para todo . / ii) [Z(f ) P (f )] = . Donde Z(f ) es el conjunto de ceros de f y P (f ) es el conjunto de polos de f . Entonces 1 2i

El teorema base

T EOREMA 22.1. Sea f una funci n meromorfa en , abierto en C, y un arco cerrado en tal o

f (z) dz = f (z)

aZ(f )

ma ind (a)

mb ind (b),
bP (f )

donde ma es la multiplicidad del cero a y mb es el orden del polo b. D EMOSTRACI ON . Evidentemente f /f M (). Ahora observamos que, si a Z(f ), por el 1 entero, la multiplicidad de a como cero teorema 11.1, escribimos f (z) = (z a)ma g(z) con ma de f , g H D(a, r) para alg n r > 0, y g(a) = 0. De ah u f (z) ma g (z) = + , f (z) za g(z) res f ; a = ma . f 1 es un entero,

siendo g /g H D(a, r) ; concluimos que

Si en cambio b P (f ), por (15.15) escribiremos f (z) = (z b)mb g(z), donde mb el orden de b como polo de f , obteniendo an logamente a res f ; b = mb . f

Aplicando el teorema del residuo, teorema 21.4 a f /f , obtenemos el resultado. 2. El principio del argumento

Finalmente, gracias al teorema 19.9, podremos ver que la integral anterior es simplemente un ndice, el de la curva f aldededor del 0. T EOREMA 22.2 (Principio del argumento). Si f es meromorfa en , y un arco cerrado en tal que ind () = 0, para todo y Z(f ) P (f ) = , entonces / f arg 1 = 2 2i

f (z) dz. f (z)

Esto, junto con el teorema 22.1, nos da un m todo de conteo de ceros y polos de una funci n, y que e o no requiere determinarlos explcitamente, como mostraremos enseguida. O BSERVACI ON . Antes de presentar el pr ximo ejemplo presentamos la siguiente notaci n: escribio o remos f (r) = o(1) para indicar que l f (r) = 0. m
r

E JEMPLO 22.3. Calculamos el n mero de ceros de f (z) = 1 + z + z 3 en el semiplano z u

87

0.

88

Contando ceros y polos

R
F IGURA 22.1. Contorno del ejemplo 22.3 Consideramos, para r > 0, el contorno consistente del segmento [ir, ir], yendo en el sentido de ir a ir, y el semicrculo t reit , t 2 2 . Para r > 0 lo sucientemente grande, este contorno encierra todos los ceros de f en el semiplano z 0. De hecho, f no posee ceros sobre la recta imaginaria iR. Para z = iy, y R f (iy) = 1 i(y y 3 ), de donde f (iy) = 0 para y R; adem s a

o de donde l f (iy) = . Por lo tanto, la variaci n de f en [ir, ir] cuando r es m y 2 f [ir,ir] arg = + o(1). En el arco de circunferencia f (reit ) = 1 + reit + r 3 e3it = r 3 e3it (1 + r 2 e2it + r 3 e3it ), pero por lo que escribimos r 2 e2it + r 3 e3it = o(1) y |r 2 e2it + r 3 e3it | r 2 + r 3 ,

arg f (iy) = arctan (y y 3 ) ,

f (reit ) = r 3 e3it 1 + o(1) . Por lo tanto, la variaci n de argumento de f en el arco, variando t en [ , ] es o 2 2 f ei arg = 3 + o(1). Esto implica que la variaci n total de argumento de f a lo largo de es o f arg = 4 + o(1). Siendo una curva cerrada, la variaci n de argumento de f a lo largo de es un m ltiplo entero de 2, o u de donde para r sucientemente grande f arg = 4. Por los teoremas 22.1 y 22.2, el n mero de ceros de f al interior de es igual a 2, coincidiendo este con u el n mero de ceros en el semiplano z 0. u

El teorema de Hurwitz

89

3.

El teorema de Rouch e

T EOREMA 22.4 (Rouch ). Sean f, g funciones meromorfas en , abierto en C y un arco cerrado e en tal que I ) ind () = 0, para todo . / II ) f (z) g(z) < f (z) , para todo z . III ) Z(f ) P (f ) = . Entonces 1 g (z) f (z) 1 dz = dz 2i g(z) 2i f (z) D EMOSTRACI ON . Es una simple reformulaci n del lema 17.5 para = 0, 0 = f , 1 = g ; o esto nos da 1 g (t) f (t) 1 = indg (0) = indf (0) = . 2i g(t) 2i f (t) E JERCICIO 22.1. Halle el n mero de races de la ecuaci n u o z 2 4 2z 2 1 + 2 =0 z2 + 4 z +6 que se encuentran en el disco |z| 1. 4. El teorema de Hurwitz

T EOREMA 22.5 (Hurwitz). Sea {fn }n 1 H() que converge uniformemente en compactos a f H(), y z0 . Si f posee un cero de multiplicidad m > 0 en z0 entonces, para cada > 0 tal que D(z0 , ) y D(z0 , ) Z(f ) = {z0 }, existe n0 N tal que, para n > n0 , fn posee exactamente m ceros en D(z0 , ), contando multiplicidades. D EMOSTRACI ON . Sean = D(z0 , ) y m= 1 2i

f (z) dz f (z)

el n mero de ceros de f al interior de , contando multiplicidades (cf. teorema 22.1). Sea u = m f (z) > 0. n
z

Luego, por el teorema de Rouch , para n > n0 e 1 2i de donde la conclusi n del teorema. o

Por el teorema 14.3, fn converge uniformemente a f en , de donde existe n0 N tal que, para n > n0 y z f (z) fn (z) < f (z) .
fn (z) dz = m, fn (z)

C OROLARIO 22.6. Sea {fn }n 1 H() que converge uniformemente en compactos a una funci n o f H() no id nticamente nula. Si existe n0 N tal que Z(fn ) = para n > n0 , entonces Z(f ) = . e E JEMPLO 22.7. Las conclusiones del teorema anterior no se dan sin la condici n de que f no sea o z id nticamente nula, como lo muestra el ejemplo de la sucesi n fn : C C, fn (z) = n , n 1. e o

90

Contando ceros y polos

n=1

n=2

n=3

F IGURA 22.2. Ilustraci n del movimiento de los ceros del ejemplo 22.8 en el caso m = 6 o E JEMPLO 22.8. Para m 1, sea fn : C C denida por fn (z) = z m 1/n, para n 1. La m posee un unico cero en z = 0, de multiplicidad m, mientras que cada funci n funci n lmite f (z) = z o o fn posee m ceros simples, dados por 1 2ik zk = m e m , k = 0, 1, . . . , m 1. n Variando n, los ceros de fn se desplazan hacia el cero m ltiple en 0, lo que se ilustra en la gura 22.2. u E JERCICIO 22.2. Sea {fn }n 1 una sucesi n de funciones holomorfas en un abierto conexo C. o Supongamos que {fn } est acotada en H(), las fn no se anulan nunca, y l fn (z0 ) = 0 para un a m
n

cierto punto z0 . Muestre que la sucesi n {fn } converge a 0 uniformemente sobre todo compacto o de .

E JERCICIO 22.3. Pruebe que si un polinomio no constante p(z) con coecientes complejos posee todas sus races en el semiplano z > 0, entonces todas las races de su derivada se encuentran en el mismo semiplano.

Captulo 23

Productos innitos
1. Denici n y convergencia o sn es la

D EFINICI ON 23.1. Dada una sucesi n {sn }n 1 de n meros complejos, la productoria o u sucesi n de productos parciales {pn }n 1 , denidos por o
n

pn =
k=1

sk = s1 s2 sn ,

1.

D EFINICI ON 23.2. Diremos que la productoria

sn converge si existe el lmite

n

pn = l pn . m
n=1

L EMA 23.3. Si {ui }n C, deniendo i=1

n

pn =
i=1

(1 + ui ),

p n

=
i=1

1 + |ui |

tenemos
n

(23.20)

p n

exp
i=1

|ui | ,

|pn 1|

p 1. n ex . Tomando x = |uk |, k = 1, . . . , n,

D EMOSTRACI ON . Observamos que para x

0, 1 + x e|uk | ,

1 + |uk |

y multiplicando estas desigualdades, obtenemos la primera desigualdad de (23.20). Tambi n es obvio e para todo n 1. que |pn | pn Probemos la segunda desigualdad de (23.20) por inducci n sobre n. Para n = 1, esto es trivial. o Suponiendo esta desigualdad v lida para un cierto n, entonces a |pn+1 1| = pn (1 + un+1 ) 1 = p 1 + |pn ||un+1 | n p 1. n+1 |pn 1| + |pn ||un+1 | p 1 + p |un+1 | n n

Esto prueba la desigualdad para n + 1, luego para todo n

1 por el principio de inducci n. o

O BSERVACI ON . Una consecuencia del lema es la siguiente: si |an | converge, entonces la sucesi n o {p } asociada converge, siendo mon tona no decreciente y acotada superiormente. o n T EOREMA 23.4. Sea {un }n 1 una sucesi n de funciones un : S C, donde S C. Supongamos o que las funciones un , n 1, son acotadas en S, y que un (s) es convergente en S. Entonces: n=1 I ) el producto

f (s) =
n=1

1 + un (s)

es uniformemente convergente en S; II ) f (s0 ) = 0 para alg n s0 S, si y s lo si un (s0 ) = 1 para alg n n u o u

91

1;

92

Productos innitos

III )

si : N N es una biyecci n (recordenamiento de ndices), entonces para cada s S o

f (s) =
k=1

1 + u(k) (s) . cn .

D EMOSTRACI ON . Para cada n

1, existe cn > 0 tal que, para cada s S, un (s)

Armamos que
n=1

un (s) es acotada en S. Como esta serie es uniformemente convergente en S, existe un (s) < 1. Luego
n>n0 n0 n0

n0 N tal que

un (s)
n=1 n>n0 n0 k=1

un (s) +
n=1

un (s)

1+
n=1

cn ,

lo que prueba la acotaci n. o Tomando c = exp(1 +

ck ), tenemos que para todo s S y n pn (s) p (s) n e

n k=1

|uk (s)|

c,

donde pn (s) =

1 + uk (s) ,
k=1

p (s) n

=
k=1

1 + uk (s) . N0 ,

Sea > 0 jo. Tomamos N0 tal que hallamos M Sea N tal que
n=N0

un (s) < . Como : N N es sobreyectiva, dado N

{1, 2, . . . , N } (1), (2), . . . , (M ) .

M

qM (s) =
k=1

1 + u(k) (s) .

Entonces qM (s) pN (s) = pN (s)

jA

1 + uj (s) 1 ,

donde A = (1), (2), . . . , (M ) \ {1, 2, . . . , N }; en particular todo j A cumple j > N > N0 . Por el lema qM (s) pN (s) pN (s) c exp c exp
jA

1 + |uj (s)| 1

jA

|uj (s)| 1 |uj (s)| 1 c (e 1).

j>N0

Observemos que en lo anterior, por continuidad de exp en 0, para todo > 0, podemos elegir > 0 tal que c (e 1) < . En conclusi n, dado > 0, existe N0 N tal que para M N > N0 y todo s S o (23.21) qM (s) pN (s) < . Si es la funci n identidad de N en N, obtenemos qM (s) = pM (s). Si > 0 es arbitrario, obtenemos o N0 N tal que para N N > N0 y s S (23.22) pM (s) pN (s) < .

El teorema de Weierstrass

93

Esto prueba que la sucesi n {pN (s)}N 1 es de Cauchy para cada s S, de donde existe f (s) = o l N pN (s). Esto dene una funci n f : S C; si en (23.22) hacemos M , obtendremos m o (23.23) f (s) pN (s) ; probando la convergencia uniforme de {pN }N 1 a f en S. Si ahora es arbitraria, combinando (23.21) y (23.23) obtenemos, para s S qM (s) f (s) 2. N> Por lo tanto, qM converge a f uniformemente en S. Regresando sobre los c lculos obtenemos, que para cada > 0, existe N0 N tal que si M a N0 , se tiene la desigualdad pM (s) pN pN (s) (e 1)

para s S. Fijado 0 < < 1/2, esto nos interesa en particular para > 0 tal que e 1 < 2 < 1, y N = N0 + 1. Esto nos da pM (s) pN0 +1 pN0 +1 (s) 2, de donde pM (s) Tomando M , obtenemos f (s) pN0 +1 (s) (1 2). pN0 +1 (s) (1 2).

En consecuencia, si f (s0 ) = 0, y como 1 2 > 0, forzosamente pN0 (s) = 0, de donde existe n N, con 1 n n0 , tal que un (s0 ) = 1. 2. Producto de funciones holomorfas
1

T EOREMA 23.5. Sea C abierto y {fn }n mente en ninguna componente de , y

n=1

H(), tales que ninguna funci n fn es id nticao e

1 fn (z)

es uniformemente convergente en compactos de . Entonces, el producto f (z) =

n=1

fn (z)

es uniformemente convergente en compactos de y dene una funci n f H(). Adem s, si mz (f ) o a denota la multiplicidad del complejo z como cero de f , entonces

mz (f ) =
k=1

mz (fk ),

siendo esta ultima suma siempre nita. 3. El teorema de Weierstrass

D EFINICI ON 23.6. Denimos los factores elementales E0 (z) = 1 z, En (z) = (1 z) exp z + L EMA 23.7. Para |z| 1yn 0 1 En (z) |z|n+1 . zn z2 , para n + + 2 n 1.

Est claro que cada factor elemental posee un unico cero simple en z = 1. a

94

Productos innitos

D EMOSTRACI ON . Para n = 0 esto es evidente. Sea n 1. Calculamos zn z2 , + + 2 n de donde se ve de inmediato que En (z) posee un cero de multiplicidad n en z = 0. Luego, observando que
En (z) = z n exp z +

1 En (z) =

[0,z]

En ()d

y 1 En (0) = 0, tenemos que (1 En )(z) posee un cero de multiplicidad n + 1 en z = 0. k Por otro lado, teniendo cada factor exp zk con k 0 una representaci n serie de potencias alo rededor de z = 0 de coecientes 0, lo mismo vale para el producto En (z); en particular, si

f (z) =
k=0

an z n con an

0 para todo n

0, entonces, para |z|

f (z)
k=0

an |z|n

an cn = f (c).
k=0

1 En (z) , por lo anterior se extiende a una funci n entera y sus coecientes son o z n+1 0, concluimos que para |z| 1 (z) (1), lo que se reescribe como 1 En (1) 1 En (z) = 1. n+1 z 1n+1 Esto nos da la conclusi n del lema. o Sea (z) = T EOREMA 23.8. Sea {zn }n 1 C tal que zn = 0 para todo n 1, y |zn | cuando n (es decir, la sucesi n no tiene punto de acumulaci n). Si {en }n 1 es una sucesi n de enteros o o o 0 tal que

(23.24)
n=1

r |zn |

1+en

converge para todo r > 0,

entonces P (z) =

Een
n=1

z zn

dene una funci n entera con un cero en cada z = zn y sin otros ceros. o Si aparece m veces en {zn }, entonces P (z) posee un cero de multiplicidad m en z = . La condici n (23.24) siempre es siempre satisfecha eligiendo en = n 1. o n D EMOSTRACI ON . Supongamos que pn = n 1, n 1. Dado r > 0, tomamos n0 N tal que, si n0 entonces |zn | > 2r, y 1 n r n < |zn | 2 y se cumple la convergencia en (23.24). Sea z en un compacto de C; podemos elegir r > 0 tal que |z| r. Entonces 1 Epn Luego por (23.24), la serie
n=1

z zn

z zn

1+pn

r |zn |

1+pn

1 Epn

z zn

El teorema de Weierstrass

95

es uniformemente convergente en z C : |z| r (luego en cualquier compacto de C). Por lo tanto, z es uniformemente convergente en compactos de C, y es igual a 0 si y s lo si o Epn el producto zn n=1 z z Epn = 0 para alg n n, esto es u = 1 o z = zn . zn zn E JEMPLO 23.9. Si producto can nico o 1 es convergente, entonces podemos tomar pn = 0 para n |z | n=1 n

1, y el

f (z) =
n=1

E0

z z0

=
n=1

z zn

dene una funci n entera. o

E JEMPLO 23.10. Si
n=1

innito

1 diverge pero |zn |

n=1

1 converge, podemos tomar pn = 1, y el producto |zn |2

g(z) =
n=1

E1

z z0

=
n=1

z z zn 1 e zn

dene ahora la funci n entera con los ceros prescritos buscada. o El siguiente teorema vale reemplazando A C por A , donde es un abierto cualquiera, siendo A un conjunto sin punto de acumulaci n en , y obteniendo f H() como resultado. Sin embargo, o para mantener la simplicidad, nos remitiremos a este caso especial; detalles sobre el caso general pueden hallarse en [19, CAPITULO ??] T EOREMA 23.11. Sea A C un conjunto sin punto de acumulaci n, tal que a cada elemento o a A, se le asigna un n mero entero ma u 1. Entonces, existe f H(C) tal que Z(f ) = A, y la multiplicidad de cada a A como cero de f es exactamente ma . D EMOSTRACI ON . El caso m s simple ocurre cuando A es nito. En este caso A = {ak }1 a cada ak tiene asociado el entero mk 1. El polinomio
n k n

P (z) =

k=1

(z ak )mk

cumple las condiciones deseadas. Supongamos ahora que A es innito numerable y 0 A. Podemos escribir A como una sucesi n / o {an }n 1 de valores distintos, y ordenarla en valor absoluto creciente |a1 | |a2 | . . . |an | . . . de modo que l n |an | = + (de otro modo hallaramos un punto de acumulaci n en el plano). m o Denimos una sucesi n {zn }n 1 repitiendo mk veces cada elemento ak : o z1 , z2 , . . . , = a1 , . . . , a1 , a2 , . . . , a2 , . . ., . . .
m1 m2

La sucesi n {zn }n 1 genera una funci n entera P (z) con las condiciones deseadas, mediante el teorema o o 23.8. Finalmente, si 0 A, consideramos A1 = A \ {0}, y aplicamos el caso anterior a A1 , obteniendo P1 H(C) con Z(P1 ) = A1 y las multiplicidades deseadas para los ceros no nulos. Luego P (z) = z m0 P1 (z) cumple los requisitos del teorema.

96

Productos innitos

O BSERVACI ON . Con las notaciones del teorema anterior, una de las funciones P (z) que satisfacen las condiciones toma, en el ultimo caso, la forma

P (z) = z

m0 k=1

+ 2 ++ z b 2b (k1)bk1 k k e k . 1 bk

z k1

C OROLARIO 23.12. Si f M (C), entonces existen g, h H(C) tales que g f= . h D EMOSTRACI ON . Sea A = P (f ). Por el teorema anterior, existe una funci n h H(C) con o Z(h) = P (f ), y para la que hacemos coincidir las multiplicidades ma de los ceros a Z(h) con los ordenes oa de los polos de g, ma = oa . Por lo tanto, la funci n g = hf , g M (C), posee singularidades o removibles en los puntos de P (f ), y por lo tanto se extiende a una funci n entera (que denotamos de la o misma manera), g H(C). Esto prueba el resultado.

Captulo 24

El teorema del mapeo conforme de Riemann

1. En lo que sigue, denotaremos por D = z C : |z| < 1 el disco unitario centrado en el origen, y el crculo unitario centrado en el origen. T = z C : |z| = 1 1 para todo z D, y f (0) = 0. Entonces |z|, Transformaciones de Schwarz

L EMA 24.1 (Schwarz). Sea f H(D) tal que f (z) (24.25) y (24.26) para todo z D, f (0)

f (z) 1.

Si se da la igualdad en (24.25) para alg n z D \ {0} o en (24.26), entonces existe C con || = 1 u tal que para todo z D, f (z) = z. D EMOSTRACI ON . Como f (0) = 0 y f es derivable en 0, entonces la funci n z o

f (z) posee una z f (z) singularidad removible en z = 0. Luego, existe h H(D) tal que, para todo z = 0, h(z) = . z (0). Si z D, z = 0, |z| < r < 1, entonces, por el principio del m dulo Observe adem s que h(0) = f a o m ximo aplicado (teorema 12.3) a h a f (z) z Haciendo r 1 , obtenemos f (z) z mx a
||=r

f () ||

1 . r |z|, para todo z D. Si z 0, obtenemos

1, esto es f (z)

f (0) 1, Si f (z) = |z| para alg n z D, z = 0, o f (0) = 1, entonces h(z) = 1 para algn z D. u Nuevamente, el principio del m dulo m ximo implica h es constante, esto es, existe C tal que o a h(z) = , para todo z D. Volviendo a f , esto nos dice que f (z) = z para todo z D; adem s a || = h(z) = 1. L EMA 24.2. Dado D, sea (24.27) (z) = z . 1 z

Entonces: I ) es un mapeo inyectivo tal que (T) = T, (D) = D, y () = 0. II ) La inversa de es . III ) (0) = 1 ||2 . 1 . IV ) () = 1 ||2
97

98

El teorema del mapeo conforme de Riemann

D EMOSTRACI ON . Vemos directamente que H C \ {1/} , con 1/ D pues |1/| > 1. / Ahora z z 1z + =z = (z) = z 1 z 1 + 1z o e, intercambiando por , (z) = z, de donde es una biyecci n de C \ {1/} en C \ {1/}. Esto prueba (II ) y parte de (I ). Para t R eit eit 1 |eit | (eit ) = it = it = 1, = it 1 eit |e | e |e | (24.28) de modo que (T) T. Del mismo modo (T) T, de donde T = (T) (T) T

y por lo tanto (T) = T. Por el principio del m dulo m ximo (teorema 12.3), para cada z D o a (z) mx () = 1. a
||=1

El principio del m dulo m ximo, unido al hecho que no es constante, implica que para cada z D, o a (z) < 1, y (z) D; en este caso (D) D. Por lo tanto, an logamente a (24.28), tendremos a que (D) = D. E JERCICIO 24.1 (Principio de subordinaci n). Sean f y F dos funciones holomorfas en D. Supono gamos que f (0) = F (0), f (D) F (D), y que F es inyectiva. Muestre que para todo r < 1, se tiene que f D F D(0, r) , y por lo tanto sup f (z) sup F (z) .
|z|=r |z|=r

2.

Conservaci n de angulos o

Recordemos la denici n de direcci n unitaria A[z] de un n mero z C (denici n 8.4). o o u o D EFINICI ON 24.3 (Conservaci n de angulos). Sea un abierto de C, f : C, z0 tal que o existe r > 0 con la propiedad de D(z0 , r) y para todo z D (z0 , r), f (z) = f (z0 ). Diremos que f preserva angulos en z0 si l ei A f (z0 + rei ) f (z0 ) m
r0+

T EOREMA 24.4. Sea C abierto y f : C. Si f (z0 ) existe para alg n z0 y f (z0 ) = 0, u entonces f preserva angulos en z0 . D EMOSTRACI ON . Sin p rdida de generalidad, suponemos z0 = 0 y f (z0 ) = 0. Si f (0) = a = 0, e entonces f (rei )/(rei ) a f (rei ) = ei A f (rei ) = ei i ) i )/(rei ) |a| f (re f (re cuando r 0+ . O BSERVACI ON . Observamos que si rei1 , rei2 para r > 0, son dos rayos partiendo de z = 0 en la prueba anterior, entonces f (rei2 ) ei(2 1 ) , A f (rei1 ) mostrando que las im genes de los rayos forman el mismo angulo en el punto imagen. Dado que estas a im genes son curvas en la imagen, lo que de hecho calculamos es el angulo formado por sus tangentes. a Esto es ilustrado en la gura 24.1.

existe y no depende de R.

Equivalencia conforme

99

f
4

F IGURA 24.1. Angulos formados por las curvas , : [0, 1] C, (t) = t, (t) = t + it, en t = 0 (punto P = 0) y sus im genes mediante f (z) = (z + 1)2 , (t) = a f (t) y (t) = f (t) en Q = f (0) = 1 3. Familias conformes

D EFINICI ON 24.5 (Familia conforme). Sea C un abierto conexo, F H(). Se dice que F es una familia normal si toda sucesi n de elementos de F posee una subsucesi n que converge uniformeo o mente en compactos de . M s precisamente, dada {fn }n 1 F, existe {fkn }n 1 {fn }n 1 y f : C tal que fkn f a uniformemente en compactos de (no necesariamente f F, pero en todo caso f H() por el teorema 14.3). T EOREMA 24.6. Supongamos que F H() es una familia uniformemente acotada en compactos de . Entonces F es normal. D EMOSTRACI ON . Sea {Kn }n 1 una sucesi n de compactos, asociada a , con las propiedades del o lema 4.24; en este lema, asociado a cada n 1, tomamos n > 0 tal que para todo z Kn y con 1 |z | < n , se tiene que Kn+1 (en la prueba del lema n = n(n+1) ). Sean z , z Kn con |z z | < n y = D(z , 2n ); entonces para cada f F, por la f rmula o de Cauchy (teorema 10.5) f (z ) f (z ) = 1 2i 1 2 y | z | = 2n , | z | de donde f (z ) f (z ) donde Mn = sup
Kn+1 <

f ()

f ()

|z z | |d|, | z || z |

1 1 d z z

| z | |z z |

2n n = n ,

1 |z z | 1 Mn (2 2n ) = Mn |z z |, 2 2 2n n
n Mn , n

f () . Por lo tanto, dado > 0, tomando = m n

> 0, tendremos

que si z , z Kn , y |z z | < , entonces f (z ) f (z ) < . Esto prueba que F es equicontinua. Adem s F es puntualmente acotada en Kn , pues para cada x , F es uniformemente acotada en a el compacto {x}. Por el teorema de Arzel -Ascoli (teorema 5.37), F es una familia normal. a 4. Equivalencia conforme

D EFINICI ON 24.7 (Equivalencia conforme). Sean 1 , 2 subconjuntos abiertos, conexos de C. Diremos que 1 y 2 son conformemente equivalentes si existe H(1 ) inyectiva con (1 ) = 2 .

100

El teorema del mapeo conforme de Riemann

O BSERVACI ON . Por consecuencia del corolario 13.9, si : 1 2 es una biyecci n holomorfa, o 1 : tambi n lo es. Luego, la relaci n de equivalencia conforme es una relaci n de entonces e o o 2 1 equivalencia en los abiertos conexos de C. T EOREMA 24.8. Todo abierto simplemente conexo de C, distinto de C, es conformemente equivalente al disco unitario D. El teorema nos dice que los abiertos conexos del plano est n clasicados en dos clases de equivaa lencia conforme, la del plano y la del disco unitario. D EMOSTRACI ON . Sea C un abierto simplemente conexo y w0 . Sea / Vamos a probar que un elemento de es una funci n sobreyectiva, probando el teorema. o Primera etapa: vericamos que = . Como es simplemente conexo, si f : C f (z) = z w0 , entonces Z(f ) = , de donde, por proposici n 17.10 (IV ) existe H() tal que (z)2 = z w0 o para todo z . Esta propiedad prueba por denici n la inyectividad de , pero adem s prueba que, si o a (z1 ) = (z2 ), entonces z1 = z2 , de donde a su vez (z1 ) = 0 = (z2 ), lo que es absurdo. Adem s, es abierta, al ser holomorfa y no constante (corolario 13.8). Existe entonces D(a, r) a () con 0 < r < |a|. De ah, si w D(a, r) (), esto es |w + a| < r, entonces | w a| < r y por lo tanto w = (z1 ) con z1 . Pero w (), de donde w = (z2 ) con z2 . Por lo anterior, la igualdad (z2 ) = (z1 ) es contradictoria. Concluimos que D(a, r) () = . Denimos : C mediante r . (z) = (z) + a Como D(a, r) () = , est correctamente denida, y es una funci n inyectiva y holomorfa a o sobre , y adem s, para z a r 1, (z) = (z) + a esto es () D. Como () es abierto, entonces () D. Por lo tanto y = . Segunda etapa: mostramos que si , () = D y z0 entonces existe 1 tal que 1 (z0 ) > (z0 ) . Sea , y D \ (). Entones, , donde est denida por (24.27). Como no a tiene ceros en , pues (), como antes, existe g H() tal que g 2 = . Iguales argumentos, / junto con la propiedad del lema 24.2 (I ), que (D) = D, muestran que g es inyectiva, y g() D, esto es, de hecho g . Si ahora 1 = g, donde = g(z0 ), entonces del mismo modo, se prueba que 1 (1 () D, pero adem s 1 (z0 ) = () = 0. Denotando s(w) = w2 , tenemos a donde F = s . Por lo tanto = 1 g2 = s g = s 1 = F ,
(z0 ) = F 1 (z0 ) 1 (z0 ) = F (0) 1 (z0 ).

= : D; H() es inyectiva .

Observe que F (D) D y F no es inyectiva en D, de donde por el lema de Schwarz (lema 24.1) F no puede ser una rotaci n, y forzosamente F (0) < 1. Esto nos da o
(z0 ) < 1 (z0 ) .

Tercera etapa: jado z0 , sea = sup (z0 ) : (podra darse que = ). Entonces, existe {n }n
1

l (z0 ) m n n

tal que = .

Equivalencia conforme

101

Siendo una familia uniformemente acotada, al ir las im genes de sus elementos al disco unitario, a aplicamos el teorema 24.6 para concluir que es normal. Luego, {n }n 1 posee una subsucesi n, o la que denotaremos tambi n {n }n 1 , uniformemente convergente en compactos de a una funci n e o H(D), con (z0 ) = ; recuerde que para esto n converge a por el teorema 14.3. Como = , entonces > 0, y luego no es constante. Como n () D para todo n 1, entonces () D, pero al ser una aplicaci n o abierta, () es abierto y () D. Veamos que es inyectiva. Sean z1 , z2 , z1 = z2 . Escribimos = (z1 ), n = n (z1 ) para m n 1. sea D = D(z2 , r) con z1 D tal que no tenga ceros en D. Entonces, l n n = /
n

uniformemente en D. Vemos que las funciones n n no tienen ceros en D, al ser funciones inyectivas, y tienen un cero en z1 . Por el teorema de Hurwitz (teorema 22.5) no tiene ceros en D, y en particular (z2 ) = (z1 ). Por lo tanto es inyectiva, de donde . Adem s, por construcci n a o maximiza (z0 ) , de donde por lo probado en la segunda etapa de la prueba, () = D.

Captulo 25

Funciones de orden nito

1. Orden de una funci n entera o

Dada una funci n entera f no nula, denimos, para r > 0, el n mero o u Mf (r) = sup f (z) .
|z|=r

Por el principio del m dulo m ximo (teorema 12.3), la funci n r Mf (r) para r > 0 es creciente y o a o l Mf (r) = . m
r

D EFINICI ON 25.1 (Funci n de orden nito). Una funci n entera f es de orden nito si, para alg n o o u k > 0 y r0 > 0, se tiene que Mf (r) < er
k

para r > r0 . En este caso, el orden de la funci n entera f es el nmo de los valores de k o cuales se cumple esta desigualdad asint tica. o Si f no es una funci n de orden nito, decimos que es de orden innito. o

0 para los

N OTACI ON (Desigualdades asint ticas). Dadas funciones reales f (r) y g(r) denidas para r > 0, o denotamos f (r) < g(r) c para indicar que existe r0 > 0 tal que f (r) < g(r) para r > r0 , mientras que usamos f (r) < g(r) n para indicar que f (r) < g(r) para una sucesi n r = rn de valores con l rn = . o m
n

E JERCICIO 25.1. Sean f (r), g(r) funciones de la variable r > 0, y g(r) > 0 para r > 0. Con las notaciones anteriores, f (r) = l sup m r g(r) si y s lo si, para cada > 0 o ( )g(r) < f (r) < ( + )g(r). n c L EMA 25.2. Si f es una funci n entera de orden nito y su orden, entonces o = l sup m
r

ln lMf (r) . ln r

D EMOSTRACI ON . Para cada > 0, por denici n de orden o er de donde, tomando logaritmos dos veces ( ) ln r Concluimos usando el ejercicio anterior.
103 < n

< n

Mf (r) < er c

ln ln Mf (r) < ( + ) ln r. c

104

Funciones de orden nito

E JEMPLO 25.3. Sea P un polinomio no constante y k y r grande, P (z) < r k+ , o Mf (r) < r k+ . Luego 0 de donde = 0.

1 su grado. Entonces, para > 0, si |z| = r

ln ln Mf (r) ln(k + ) + ln ln r < , ln r ln r

E JEMPLO 25.4. Si f es una funci n entera, representable para z C bajo la forma o

f (z) =
n=0

an z n ,

donde an

0 para todo n

0, entonces Mf (r) = f (r). ez cumple Mf (r) = er , de donde = 1.

Concluya que la funci n f (z) = o

E JEMPLO 25.5. Sean f y g dos funciones enteras de orden nito f y g , respectivamente. Entonces, si f = g , las funciones suma f + g y producto f g son de orden nito y En general, s lo tenemos que f +g o no se da la igualdad. 2. f +g = mx{f , g }, a mx{f , g } y f g a f g = mx{f , g }. a mx{f , g }; d ejemplos de casos donde a e

F rmulas de Schwarz y Nevanlinna o

L EMA 25.6 (Poisson). Sea f H(), donde D(0, R) para alg n R > 0. Entonces, para u i , r z D(0, R), escrito como z = re 0, R (25.29) f (z) = 1 2
2

f (Rei )

R2 r 2 d. R2 2Rr cos( ) + r 2

D EMOSTRACI ON . De la f rmula de Cauchy, teorema 10.5, para z = o | > R |z f (z) = f (z) 0 = f () 1 d z 2i D(0,R) 1 1 1 f () d. = 2i D(0,R) z z R2 2 1 2i
D(0,R)

R2 i r e ,

siendo |z| < R y

f () d z

Escribiendo = Rei , con 0

z = Rei

R R ei = ei(+) (Rei rei ) = ei(+) z, r r r R2 i r 2 R2 i R2 r 2 i z z = rei e = e = e , r r r R r ei 1 z z 1 r d = R i(+) Rei i d d = z z ( z)( z ) re | z|2 = R2 r 2 i d. | z|2
2 2

de donde

Finalmente, vemos que

| z|2 = ||2 2 z + |z|2 = ||2 2 Rrei() + |z|2 lo que completa el c lculo. a = R2 2Rr cos( ) + r 2 ,

F rmulas de Schwarz y Nevanlinna o

105

O BSERVACI ON . R pidamente se observa que la f rmula anterior se escribe como a o f (z) = y, observando que tenemos tambi n la f rmula e o (25.30) De ah se sigue adem s que a (25.31) f (0) = 1 2
2 0

1 2

2 0

f (Rei )

||2 |z|2 d | z|2

+z z
2 0

||2 |z|2 , | z|2 +z d. z

f (z) =

1 2

f (Rei )

f (Rei )d.

T EOREMA 25.7 (Schwarz). Sea f , donde D(0, R). Escribimos f (z) = u(z) + iv(z), donde u, v : R. Entonces f (z) = donde = Rei , 0 2.
2

1 2

u()
0

+z d + iv(0), z

D EMOSTRACI ON . Consideremos a : \ D(0, R) C denida por a(z) = 1 2 u()

0

esta funci n es holomorfa y su integral puede calcularse derivando bajo el signo integral, como en el o lema 10.7 (esto se ve separando el numerador y calculando dos integrales). Deniendo ahora F (z) = ef (z)a(z) , se cumple que F (z) = ef (z)a(z) = e0 = 1, por la ecuaci n (25.30). Por el principio del m dulo m ximo, teorema 12.3, concluimos que F (z) es o o a constante, de donde f (z) a(z) es una funci n constante K, esto es o f (z) = 1 2
2

+z d; z

u()
0

y evaluando para z = 0, tomando parte real en (25.31) de donde K = iv(0).

+z d + K, z

u(0) + iv(0) = u(0) + K,

T EOREMA 25.8 (Nevanlinna). Sea f una funci n entera y a1 , . . . , an los ceros de f en el disco o D(0, R), repetidos seg n multiplicidad, y f (z) = 0 para z D(0, R). Sea D el subconjunto abierto u 1}, de modo que D es obtenido de D(0, R) retirando los rayos {am : 1} y {R2 /am : un subconjunto abierto, simplemente conexo y denso de D(0, R). Denimos un logaritmo holomorfo log : D C. Sea z D(0, R). Escribiendo z = rei con r 0 (r < R), R (25.32) donde C R, y (25.33) ln f (z) = log f (z) = 1 2
2

ln f (Rei )

Rei + z d + Rei z

log
|am |<R

R(z am ) + iC, R2 zam

1 2

2 0

ln f (Rei )

R2 r 2 d + R2 2Rr cos( ) + r 2

ln
|am |<R

R(z am ) . R2 zam

106

Funciones de orden nito

D EMOSTRACI ON . Partimos del caso m s simple, esto es, supongamos que f (z) = 0 para z a D(0, R). Entonces, la funci n log f (z) es holomorfa y, por el teorema de Schwarz 25.7, para z o D(0, R) log f (z) = 1 2
2 0

ln f (Rei )

Rei + z d + iC, Rei z

donde C R. Esto corresponde a la f rmula (25.32). o Consideramos ahora el caso general, en el que f tiene ceros en D(0, R) y no tiene ceros en D(0, R). Denimos (z) = f (z) R2 am z . R(z am )

|am |<R

Observe que de hecho, estamos retirando los ceros de f con los denominadores de las fracciones, mientras que los numeradores no agregan nuevos ceros en el disco D(0, R), pues R2 am z = 0 implica que |z| = R2 /|am | > R. Escribiendo z = Rei con R, tenemos que para cada m 1 1 R am ei |R am ei | R 2 am z i = = R(z am ) Rei am |e | |R am ei | = R am ei = 1. |R am ei |

Por lo tanto, (Rei ) = f (Rei ) para z D(0, R), mientras que (z) = 0 para |z| R. El caso anterior se aplica, y podemos calcular log (z) reemplazando f por al interior de la f rmula: o log (z) = 1 2
2 0

ln f (Rei )

Rei + z d + iC, Rei z

S lo queda combinar esta f rmula con o o log (z) = log f (z) log
|am |<R

R(z am ) R 2 am z

para obtener (25.32). Tomando la parte real de esta ecuaci n, obtenemos (25.33). o

3.

La f rmula de Jensen o

D EFINICI ON 25.9 (Funci n de conteo de ceros). Sea f una funci n entera. La funci n de conteo de o o o ceros de f es la funci n, que a cada t 0, le asigna el n mero de ceros de f (z) con |z| t, contando o u sus multiplicidades. L EMA 25.10. Sea f una funci n entera tal que f (0) = 0, y R > 0 tal que f no posee ceros en o D(0, R). Entonces ln
|am |<R

R = |am |

R 0

n(t) dt. t

La f rmula de Jensen o

107

D EMOSTRACI ON . Sean 0 = t0 < t1 < t2 < . . . < tk = R tales que n(t) es constante en cada intervalo [t0 , t1 , ]tj1 , tj ], j = 2, . . . , k. Entonces n(0) = n(t0 ) = 0, n(R) = n(tk ) y
R 0

n(t) dt = t =

k j=1 k j=2

tj

n(tj1 )
tj1

dt = t
k

n(tj1 ) ln
j=1

tj1 tj

n(tj1 ) ln tj
k

n(tj1 ) ln tj1 + n(t0 ) ln t1

j=2

= n(tk ) ln tk = n(R) ln R =
|am |<R

j=1 k

n(tj1 ) n(tj ) ln tj ln tj .

j=1 |am |=tj

ln R

|am |<R

ln |am | =

ln
|am |<R

R . |am |

T EOREMA 25.11 (F rmula de Jensen). Sea f una funci n entera con f (0) = 0; entonces para o o R>0 2 R 1 n(t) dt = ln f (Rei ) d ln f (0) . t 2 0 0 D EMOSTRACI ON . Consideramos el caso f (0) = 1. La f rmula de Nevanlinna 25.33 en z = 0 nos o da ln f (0) = 1 2
2 0

ln f (Rei ) d

ln
|am |<R

R . |am |

Aplicando el lema anterior, concluimos. O BSERVACI ON . Si f (0) = 0, siendo f no id nticamente nula, siendo k = n(0) e 1 la multiplicidad de z = 0 como raz de f , aplicando el teorema anterior a z f (z)/z k , obtenemos en toda su generalidad la f rmula: o
R 0

1 n(t) k dt + k ln R = t 2

2 0

ln f (Rei ) d ln

f (k) (0) . k!

P ROPOSICI ON 25.12. Sea f una funci n entera y n(r) su funci n de conteo de ceros. Entonces, o o para r > 0 n(r) < k + ln Mf (er) ln donde k = n(0) es la multiplicidad de z = 0 como cero de f . D EMOSTRACI ON . Si f (0) = 1, entonces para todo r > 0
er

f (k) (0) , k!

ln Mf (er)
0

n(t) dt t

er r

n(t) dt t

er

n(r)
r

dt = n(r). t

Por lo tanto n(r) < ln Mf (er). Si f (0) = 0 en general, entonces aplicamos lo reci n probado a z f (z)/f (0) en lugar de f . e Finalmente, en el caso general agregamos n(0), la multiplicidad de z = 0 como cero de f .

108

Funciones de orden nito

4.

C lculo del orden de una funci n entera a o

L EMA 25.13 (Desigualdad de Cauchy). Sea f una funci n entera, que se escribe bajo la forma o (25.34) para z C. Entonces, para todo n f (z) =
n=0

cn z n

0yr>0 |cn | Mf (r) . rn

D EMOSTRACI ON . El argumento de prueba ya fue utilizado en la demostraci n del teorema 12.1. o L EMA 25.14. Sea f entera tal que, para algunas constantes A > 0 y k > 0 Mf (r) < eAr c entonces |cn | < c D EMOSTRACI ON . Deniendo r =
k k

eAk n

n/k

. 0

n Ak

1/k

tenemos, aplicando el lema 25.13 que para n

n/k

|cn | < c

n n n eAK n eAk eAr k = eAr n ln r = eA Ak k ln( Ak ) = e k ln( n ) = n r n

L EMA 25.15. Si f entera se escribe como en (25.34), y (25.35) entonces, para todo > 0 Mf (r) < e(A+)r . c D EMOSTRACI ON . Observamos que si la condici n (25.35) ocurre para una funci n f , entonces o o tambi n ocurre para f + P , donde P es un polinomio cualquiera. Adem s, el ejemplo 25.3 muestra que e a esto no afecta el resultado nal. Siendo as, podemos cambiar un n mero nito de coecientes cn , de u modo que podemos suponer que en lugar de (25.35), se tiene c0 = 0 y |cn | < para todo n 1. Observamos entonces que para |z| = r f (z)
n=1
k

|cn | < c

eAk n

n/k

eAk n

n/k

|cn |r

n n=1

eAk n

n/k

rn.

Siendo m = n/k, tenemos que eAk n

k n

1 m

y k n/k n eAr k 1 m+1 = m m para m

m

n/k

r k = (eAr k )n/k (eAr k )m+1

m+1

Hacemos un par ntesis ahora. Escribiendo am = e

(m1)m (m1)!

2, vemos que 1 m1
m

am+1 mm+1 (m 1)! m = = am m! (m 1)m m1

= 1+

C lculo del orden de una funci n entera a o

109

am+1 = e, m am de donde por el criterio de la raz n, lema 3.18 o l m

1 mm+1 m+1 = l m m+1 am+1 = e. m m m! Por lo tanto, dado > 0, existe m0 > 0 tal que, para m > m0

y luego

l m

mm+1 eA < A+ 2 m! o

1 m+1

eA m+1 (A + 2 )m+1 < . m m! Esto nos permite escribir, para una constante C0 > 0 conveniente y m

eA m

m+1

< C0

(A + 2 )m+1 . m!

Reintroduciendo este estimado en el de f (z) tenemos nalmente f (z) como se esperaba. T EOREMA 25.16. Si f es una funci n entera de orden , con una representaci n (25.34), entonces o o = l sup m
n (A + 2 )m+1 k m+1 (r ) C0 m! m=1

C0 A +

k (A+ )r 2 r e 2

< c

e(A+)r ,

n ln n . ln 1/|cn |

Observe que esto incluye el caso en que el orden de f es innito, obteniendo como convenimos previamente = . D EMOSTRACI ON . La combinaci n de los lemas 25.14 y 25.15 nos da, para > 0, que o er implica
n e( ) n Tomando entonces logaritmos y manipulando

< n

Mf (r) < er c |cn | < c

< c

< n

e( + ) n + 1+

n +

1 de donde se sigue el resultado.

ln e() ln n

< n

n ln n ln |c1 | n

ln e() ln n

E JEMPLO 25.17. La f rmula anterior implica que si una funci n entera f es de orden , entonces o o su derivada f es tambi n de orden . e E JEMPLO 25.18. Fijado un n mero real > 0, la funci n u o f (z) = tiene orden . E JERCICIO 25.2. Encuentre dos funciones enteras, una de orden 0, otra de orden innito. 1 n z nn/ n=1

110

Funciones de orden nito

5.

El exponente de convergencia de una sucesi n o

{an }n

D EFINICI ON 25.19 (Exponente de convergencia). Dada una sucesi n de n meros complejos {an }n 1 , o u con an para todo n 1 y l |an | = , denimos el exponente de convergencia de la sucesi n m o
n 1

como el nmo de los n meros reales para los cuales, la serie u

n=1

(25.36) converge.

1 |an |

D EFINICI ON 25.20 (Funci n de conteo y orden). Sea {an }n 1 una sucesi n de n meros complejos, o o u y sea n la funci n de conteo de la sucesi n, esto es, para r > 0, n(r) denota el n mero de elementos am o o u con |am | < r. El orden de la funci n de conteo n(r), si existe, es el nmo de los n meros reales para o u los cuales n(r) < r . c El procedimiento de prueba del teorema 25.16 implica inmediatamente el siguiente resultado. P ROPOSICI ON 25.21. Con las notaciones de la denici n 25.20, el orden de la funci n de conteo o o n(r) puede calcularse por ln n(r) . = l sup m ln r r L EMA 25.22. Para r > 0 y = 0 1
|am |<r

|am

n(r) + r

r 0

n(t) dt. t+1

D EMOSTRACI ON . La prueba de este resultado de sigue de manera completamente an loga a la del a lema 25.10. L EMA 25.23. Si la serie
n=1

1 |an | n(t) dt t+1

converge para alg n > 0, entonces la integral u

0

converge, y n(t) = 0. t t l m D EMOSTRACI ON . Del lema anterior, obtenemos la cota, para todo r > 0
r 0 n=1

n(t) dt t+1

1 , |an |

siendo la integral que depende de R creciente. De esto se sigue la convergencia de la integral impropia. Pero adem s, trivialmente a n(r) n(r) dt, r t+1 r de donde se sigue el lmite. P ROPOSICI ON 25.24. El exponente de convergencia de la sucesi n {an }n o funci n de conteo. o
1

es igual al orden de su

El teorema de Hadamard

111

D EMOSTRACI ON . Sea 0 el exponente de convergencia de la sucesi n y 0 el orden de su funci n o o de conteo. Sea > 0 . Entonces, la serie en (25.36) converge, y por el lema 25.23
r

l m

n(r) = 0. r 0 .

Lueg 0 , y siendo arbitrario, tenemos que 0 Por otro lado, para cada > 0 de donde la integral
0

n(t) < t0 +/2 , c n(t) t0 +1+

dt

n(r) converge y l m 0 + = 0. Se sigue del lema 25.22 que la serie en (25.36) converge para = 0 + , r r de donde 0 0 + . Haciendo 0, obtenemos 0 0 . T EOREMA 25.25 (Hadamard). El exponente de convergencia de la sucesi n de ceros de una funci n o o entera no excede el orden de crecimiento de la funci n. o D EMOSTRACI ON . De la proposici n 25.12, o n(r) < ln Mf (er) + C, donde C es una constante independiente de r > 0. De ah l sup m
r

ln n(r) ln r

l sup m
r

ln ln Mf (er) ln r

l sup m
r

ln ln Mf (r) . ln r

El exponente de convergencia de la sucesi n resulta ser el t rmino al lado izquierda de la anterior deo e sigualdad, por medio de las proposiciones 25.21 y 25.24, mientras que el orden de convergencia resulta ser el t rmino a la derecha, por la proposici n 25.16. e o 6. El teorema de Hadamard

T EOREMA 25.26 (Hadamard). Una funci n entera f de orden nito puede ser desarrollada en la o forma

(25.37)

f (z) = z m eP (z)
n=1

Ep

z , an

donde a1 , a2 , . . . , son todas las races no nulas de la funci n f , repetidas seg n su multiplicidad, m es o u la multiplicidad de z = 0 como raz de f , p , y P (z) es un polinomio de grado q . D EMOSTRACI ON . Por el teorema 25.25, en el teorema 23.8 podemos tomar en = p = para n 1, de modo que el producto innito en (25.37) converge. Esto a su vez garantiza la buena denici n o de la funci n denida por o

P (z) = log f (z)

n=1

log 1

z zp z + + p . + an an pan 1},

Esta funci n est denida en el plano complejo C desprovisto de la colecci n de rayos {an : o a o generando un conjunto D , abierto, simplemente conexo y denso en C. Derivando p + 1 veces la funci n P , obtenemos o (25.38) P
(p+1)

(z) = log f (z)

(p+1)

n=1

1 . (an z)p+1

112

Funciones de orden nito

Por otro lado, derivando p + 1 veces la f rmula (25.32) del teorema 25.8 tenemos, para R > 0 o log f (z) (25.39)
(p+1)

+
|am |<R

(p + 1)! p! = (an z)p+1 2 +

|am |<R

2 0

ln f (Rei )

2Rei d (Rei z)p+2

p!am p+1 (R2 am z)p+1

Vamos a estimar los t rminos al lado derecho de esta ultima ecuaci n. Sea 0 < < 1, recordemos que e o ln Mf (R) < R+ , c n(R) < R+ , c

la ultima desigualdad asint tica dado que el orden de la funci de conteo de ceros iguala al exponente o o de convergencia de la sucesi n de ceros, y este no excede el orden de crecimiento de la funci n. o o Siendo |z| = r, el primer t rmino al lado derecho de (25.39) se estima como e || 2r (p + 1)! ln Mf (R) 2 2 (R r)p+1
< c

2R+1+ (p + 1)!, (R r)p+1

< c

mientras que el segundo se estima como [|

|am |<R

p! n(R)p! (R2 Rr)p+1 = Rp+1 (R r)p+1 P (p+1) (z) = 0.

R+ p! . (R r)p+1

Por lo tanto, tomando R en (25.39), tenemos en (25.38), que Esto implica que P (z) es un polinomio en z de grado p . Por lo tanto, hemos probado (25.37) en D , que siendo denso en C, implica el resultado para todo z C. D EFINICI ON 25.27. En el teorema de Hadamard, teorema 25.26, sea p el menor entero para el cual 1 |an |p+1 n=1 converge. Entonces, el entero q correspondiente es unico, y el n mero u g = mx{p, q} a es llamado el g nero de la funci n entera f . e o Se sigue inmediatamente del teorema de Hadamard que g , el orden de f ; incluso g .

E JEMPLO 25.28. Con las notaciones del teorema, toda funci n entera f de g nero 0 se factoriza en o e la forma z 1 f (z) = Cz m , am
n=1

donde C es constante. Vemos que si f (0) = 0, entonces C = f (0). E JEMPLO 25.29. Consideremos la funci n entera f dada por o

f (z) =
k=0

(1)k 2k k z (2k + 1)! sen(z) , z

para z C. Como para z = 0 f (z 2 ) =

El teorema de Hadamard

113

la funci n f es una funci n entera de orden 1/2 (y por lo tanto g nero 0), con ceros simples en los o o e puntos z = n2 , n entero 1, y f (0) = 1. Luego, f se factoriza como

f (z) =
n=1

z . n2

Desarrollando

f (z 2 ),

obtenemos la factorizaci n can nica de la funci n seno: o o o sen(z) = z

n=1

z2 n2

para z C. E JEMPLO 25.30. Con las notaciones del teorema, toda funci n entera f de g nero 1 se factoriza en o e la forma z z 1 f (z) = z m eaz+b e am , am
n=1

donde a y b son constantes.

Captulo 26

Estabilidad de funciones enteras

Par souci de compl tude, on va mentionner des r sultats concernant le probl` me de la stabilit dun e e e e point de vue plus classique. Soit h(s) une fonction enti` re et a R; on dira que h(s) est stable par e rapport a la droite = a, si tous ses z ros sont dans le demi-plan < a (et tout simplement stable si e ` a = 0). On r enonce un r sultat originalement d a de Branges [6, Lemma 5], puis retrouv par Lagarias e e u` e dans [10, Lemma 2.2]. P ROPOSICI ON 26.1. Soit h(s) une fonction enti` re stable par rapport a la droite = a, et telle que e ` la fonction h(2a s) F (s) = h(s) satisfait |F (s)| < 1 pour > a. Alors I ) les fonctions f (s) = f (s) = h(s) h(2a s) ont tous leurs z ros sur la droite = a; e II ) toute fonction de phase ( ) = arg h(a + i ), est une fonction strictement croissante. Donc, les z ros des fonctions f (s) sont simples et entrelac s. e e D EMOSTRACI ON . En fait, > a, |f (s)| |h(s)| 1 |F (s)|) > 0, puis par l quation fonctionnee lle, pour < a, on a 2a > a et |f (s)| = |f (2a s)| = |f (2a s)| > 0. Cela montre (I ). On renvoit le lecteur a la d monstration [10, Lemma 2.2] pour la partie (II ). On avait dej` remarqu lentrelacement ` e a e des z ros dans ce cas, e Un argument simple montre quun polyn me stable non constant satisfait les conditions de la proo position 26.1. Soit p(s) = a0 (s ) la factorisation de p(s), et F (s) = p(s)/p(s). On a

F (s) =

p(s) = p(s)

s = s

s+ . s

Soit = + i un z ro de p(s); on a < 0. Pour s = + i , lin galit |s + | < |s |, ou e e e est equivalente a 4 < 0. Puisque < 0, on doit avoir > 0. Cela montre que lin galit F (s) < 1 ` e e est satisfaite pour chaque terme du produit. On veut etendre la condition de la proposition 26.1 a des fonctions enti` res. La proc dure men e ` e e e pour les polyn mes est aussi valable pour les fonctions de genre 0 [12, Part I, 4.2], qui se factorisent de o la m me facon que les polyn mes. Mais les fonctions quon rencontre dans les applications, telles que e o la fonction (s) de Riemann ou les fonctions L, sont de genre 1, et poss` dent une factorisation moins e simple. Le r sultat suivant, est etabli par Suzuki et Lagarias dans [11, Theorem 4, 2] pour des fonctions e r elles sur la droite r elle. Il peut etre compar au r sultat classique de P lya [17, Hilfssatz II]. e e e e o T EOREMA 26.2. Soit h(s) une fonction enti` re de genre 0 ou 1, qui satisfait une equation fonctione nelle de la forme (26.40) h(2a s) = ei h(s)
115

( + )2 + ( )2 < ( )2 + ( )2

116

Estabilidad de funciones enteras

pour 0

< 2, et telle que ses z ros sont inclus dans une bande de la forme e | a| < b,

o` b > 0, et u

b. Alors h(s ) < 1 pour > a. h(s + )

D EMOSTRACI ON . Sans perte de g n ralit , on peut traiter le cas a = 0. On supposera initialement e e e que h(0) = 0. On consid` re la factorisation de Weierstrass de h(s) [12, Part I, 4.2](le choix a = 0 e simplie le calcul; en g n ral on prendrait la factorisation de h(a + s) au lieu de celle de h(s)) e e s s/ e , 1 (26.41) h(s) = eA+Bs o` u

e e h() = 0, alors h() = ei h() = 0. Puis, on peut r grouper les z ros = + i par des blocs B() = {, } pour = 0, B() = {} pour = 0. Cela nous donne s s(1/) s s(1/1/) s 1 1+ e e 1 h(s) = eA+Bs
B() =0 =0

1 < +, || < b pour tout . L quation fonctionnelle h(s) = ei h(s) entrane que si e ||2

et 1/ 1/ = 2i/||2 . Donc, on peut redistribuer les constantes et ecrire s c()s e , 1 h(s) = eA+Bs o` c() = i/||2 (ce qui est important ici est le fait que c() = 0), et le produit (ainsi que tous u les produits dor navant) est conditionnellement convergent, e s c()s s c()s 1 e = l m e 1 T
||<T

La deriv e logarithmique de h(s) (de (26.41)) evalu e en s = 0 est h (0)/h(0) = B, et par l quae e e tion fonctionnelle h (0) h (0) B= = = B, h(0) h(0) do` (B) = 0. u Puis, pour b, s = + i h(s ) = h(s + ) et encore par la sym trie des z ros e e h(s ) = h(s + ) s+ . s 1 1
s s+

s+ s

On montrera que chacun des termes du produit satisfait lin galit attendue. Lin galit e e e e (26.42) et equivalente a ` ou ( ) < 0. Comme < b 0, alors on a (26.42) si et seulement si > 0. Ceci nous donne la conclusion du th or` me dans ce cas. e e ( )2 + ( )2 < ( + )2 + ( )2 | s | < | s + |

117
Si s = 0 est un z ro dordre m de h(s), on peut ecrire h(s) = sm h1 (s), o` h1 (0) = 0, h1 (s) = e u (1 = si m est pair, 1 = si m est impaire) et on peut obtenir les in galit s attendues e e pour h1 (s). De plus s < 1 pour > 0, s+ ce qui avec lin galit pour h1 (s) nous donne le r sultat. e e e

ei1 h(s)

En vue de l quation fonctionnelle, le th or` me 26.2 etablit que la fonction h(s + ) v rie les e e e e conditions de la proposition 26.1. Maintenant on d crit rapidement certaines applications de combiner e ces r sultats. On garde la notation du th or` me 26.2 pour a = 1 , et b. e e e 2
1 1 1 1. On pose F (s) = (2s 2 ), ici a = 1 , b = = 4 . La fonction (2s) = F s + 4 satisfait les 2 conditions de la proposition 26.1, Il est pour cet objectif que le th or` me 26.2, appliqu a une e e e` fonction r elle sur la droite r elle, a et introduit par Lagarias et Suzuki en [11]. e e e 2. La fonction (s + ) satisfait les conditions de la proposition 26.1 inconditionellement pour 1 1 1 e 2 (a = 2 , b = 2 ), et sous lhypoth` se de Riemann pour > 0 (dans ce cas b est quelconque). On obtient les r sultats sur les fonctions (s + ) (s ) e 3. Les fonctions (s + , ), associ es aux charact` res primitifs de conducteur N > 1, satisfont e e 1 les conditions de la proposition 26.1 inconditionellement pour e 2 , et sous lhypoth` se de Riemann pour L(s, ) pour > 0. Ces fonctions ont et aussi consider es par Lagarias dans e e [10]. La combinaison de ces fonctions avec des polyn mes dont les racines sont dans le demio plan < 1/2 nous donne le cas particulier dans la premi` re partie du e 4. La fonction de Bessel Ks (A) (a = 0). Dans larticle [17], P lya localise dabord les z ros de o e cette fonction

Bibliografa
[1] L. V. Ahlfors. Complex analysis. McGraw-Hill Book Co., New York, third edition, 1978. An introduction to the theory of analytic functions of one complex variable, International Series in Pure and Applied Mathematics. [2] E. Amar and E. Matheron. Analyse complexe. Cassini, Paris, 2004. [3] T. M. Apostol. Modular functions and Dirichlet series in number theory, volume 41 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1990. [4] R. Bellman and K. L. Cooke. Differential-difference equations. Academic Press, New York, 1963. [5] N. G. Cebotarev and N. N. Meman. Problema Rausa-Gurvica dl polinomov i celyh funkci (el i problema de Routh-Hurwitz para polinomios y funciones enteras). Trudy Mat. Inst. Steklov., 26:331, 1949. Appendix by G. S. Barhin and A. N. Hovanski. [6] L. De Branges. Some Hilbert spaces of entire functions. Proc. Amer. Math. Soc., 10(5):840846, 1959. [7] N. G. de Bruijn. The roots of trigonometric integrals. Duke Math. J., 17:197226, 1950. [8] O. Holtz. Hermite-Biehler, Routh-Hurwitz, and total positivity. Linear Algebra Appl., 372:105110, 2003. [9] K. Kodaira. Complex analysis, volume 107 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, volume edition, 2007. Translated from the 1977 Japanese original by A. Sevenster, Edited by A. F. Beardon and T. K. Carne. [10] J. C. Lagarias. Zero spacing distributions for differenced L-functions. Acta Arith., 120(2):159184, 2005. [11] J. C. Lagarias and M. Suzuki. The Riemann hypothesis for certain integrals of Eisenstein series. J. Number Theory, 118(1):98122, 2006. [12] B. Y. Levin. Lectures on entire functions, volume 150 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1996. In collaboration with and with a preface by Yu. Lyubarskii, M. Sodin and V. Tkachenko, Translated from the Russian manuscript by Tkachenko. [13] B. Y. Levin. Lectures on entire functions, volume 150 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1996. In collaboration with and with a preface by Yu. Lyubarskii, M. Sodin and V. Tkachenko, Translated from the Russian manuscript by Tkachenko. [14] E. Lima. An lisis real, vol. 1. Textos del IMCA, Lima, 1997. a [15] E. L. Lima. Curso de an lise. Vol. 1, volume 1 of Projeto Euclides [Euclid Project]. Instituto de Matem tica Pura e a a Aplicada, Rio de Janeiro, 1976. [16] E. L. Lima. Espacos m tricos, volume 4 of Projeto Euclides [Euclid Project]. Instituto de Matem tica Pura e Aplicada, e a Rio de Janeiro, 1977. [17] G. P lya. Bemerkung Uber die Integraldarstellung der Riemannschen -Funktion. Acta Math., 48(3-4):305317, 1926. o [18] M. M. Postnikov. Usto qivye mnogoqleny. Nauka, Mosc , 1981. i u [19] W. Rudin. Real and complex analysis. McGraw-Hill Book Co., New York, third edition, 1987. [20] E. C. Titchmarsh. The theory of Functions. The Clarendon Press Oxford University Press, New York, second edition, 1939. [21] E. C. Titchmarsh. The theory of the Riemann zeta-function. The Clarendon Press Oxford University Press, New York, second edition, 1986. Edited and with a preface by D. R. Heath-Brown. [22] O. Vel squez Casta on. Sur la r partition des z ros de certaines fonctions m romorphes li es a la fonction z ta de a n e e e e ` e Riemann. PhD thesis, Universit Bordeaux 1, Francia, Setiembre 2008. e [23] O. Vel squez Casta on. Majoration du nombre de z ros dune fonction m romorphe en dehors dune droite verticale et a n e e applications. J. Anal. Math., 110:67127, 2010.

119