112 Funciones de variable compleja. Eleonora Catsigeras. 15 Mayo 2006.

TERCERA PARTE.
SINGULARIDADES Y TEOR

IA DE LOS RESIDUOS.
Resumen
Se estudian las singularidades aisladas: evitables, polos y esenciales y se obtiene el desarrollo
en serie de Laurent.
Se dene la topologa de convergencia uniforme en compactos de las funciones analticas.
Se expone un teorema de aproximacion de funciones meromorfas por funciones racionales. Se
denen las familias normales y se prueba la compacidad secuencial de estas familias.
Se expone la teora de los residuos para funciones meromorfas, el principio del argumento
y el teorema de Rouche. Se dan aplicaciones matematicas del calculo de residuos.
11. Sntesis de la segunda parte.
Se suponen conocidos los siguientes conceptos previos desarrollados en las secciones 1, 2, 3.1
y 3.2:
El plano complejo compacticado C = C {}, donde un entorno de se dene como
D
1/R
= {} {z C : |z| < R}, con R > 0.
En un abierto , una funci on f es holomorfa si existe en todo punto z
0
el siguiente
lmite, llamado derivada de f en z
0
:
f

(z
0
) = lm
zz
0
f(z) f(z
0
)
z z
0
La integral
_

f(z) dz de una funci on continua f en a lo largo de una curva , C

1
a trozos
en , y sus propiedades.
Si m un n umero entero m = 1, entonces, para toda curva cerrada que vaya del punto z
1
al punto z
2
se tiene:
_

(z a)
m
dz =
z
m+1
2
z
m+1
1
m + 1
Si la curva es cerrada entonces la integral anterior es nula.
Los conceptos de convergencia puntual, convergencia absoluta y convergencia uniforme de
series de funciones de variable compleja.
La serie geometrica de razon z denida como

n=0
z
n
converge puntualmente a 1/(1 z)
para todo z tal que |z| < 1.
Criterio de la mayorante de Weierstrass: Si |f
n
(z)| A
n
, independiente de z, para todo
z K y si

n=0
A
n
converge, entonces

n=0
f
n
(z) converge uniformemente y absolutamente en K
Funciones de variable compleja. Eleonora Catsigeras. 15 Mayo 2006. 113
La serie geometrica

n=0
z
n
converge uniformemente en cualquier conjunto compacto K
contenido en D
1
(0).
Convergencia uniforme e integraci on: Si para todo n 0 la funci on f
n
es continua en K,
y si

n=0
f
n
converge uniformemente en K, entonces la suma de la serie

n=0
f
n
(z) es
continua en K y
_

n=0
f
n
(z)
_
dz =

n=0
__

f
n
(z) dz
_
para cualquier curva C
1
a trozos contenida en K.
11.1. Funciones analticas.
Los detalles y demostraciones de los resultados incluidos en este resumen se encuentran en las
secciones 5 y 6.
Denici on 11.1.1. f : C se dice analtica en el punto z
0
si existe un disco D
R
(z
0
), con
R > 0 tal que:
Para todo z D
R
(z
0
) : f(z) =

n=0
a
n
(z z
0
)
n
6
donde la serie de la derecha es convergente puntualmente para todo z jo en D
R
(z
0
).
La serie

n=0
a
n
(z z
0
)
n
z D
R
(z
0
) se llama desarrollo en serie de potencias centrado
en z
0
de la funci on f(z).
f : C se dice analtica en si es analtica en z
0
para todo z
0
.
Nota 11.1.2. Radio de convergencia y f ormula de la raz n-esima.
El maximo R tal que la serie de potencias

n=0
a
n
(z z
0
)
n
converge z D
R
(z
0
)
es
R = 1/(lmsup
n
n
_
|a
n
|)
La serie de potencias converge absolutamente para todo z tal que |z z
0
| < R, y converge
uniformemente en todo compacto K D
R
(z
0
).
(Por convenci on, si lmsup
n
n
_
|a
n
| = 0 se dice que R = + y D
R
(z
0
) = C).
Nota 11.1.3. Si f es analtica en z
0
entonces tambien es analtica en todo los puntos del
disco D
R
(z
0
).
Nota 11.1.4. Si f es analtica en y si R es el radio de convergencia de la serie de potencias
centrada en z
0
, entonces:
a) Si D
R
(z
0
) no est a contenido en , , y f(z) =

n=0
a
n
(z z
0
)
n
z D
R
(z
0
) , entonces
se puede extender f analticamente a
1
= D
R
(z
0
) como la suma de la serie

n=0
a
n
(z
z
0
)
n
z D
R
(z
0
).
b) Si D
R
(z
0
) est a contenido en el radio R es igual a la distancia de z
0
al complemento de .
6
Por convencion z
0
= 1 para todo z, a un abusando de la notacion, cuando z = 0.
114 Funciones de variable compleja. Eleonora Catsigeras. 15 Mayo 2006.
Teorema 11.1.5. Analiticidad de las funciones holomorfas.
Una funci on f es holomorfa en el abierto si y solo si es analtica en .
Se denota con H() al conjunto de todas las funciones holomorfas o lo que es lo mismo
analticas en .
Teorema 11.1.6. Derivabilidad innita de las funciones analticas.
Relaci on entre coecientes del desarrollo y derivadas de la funci on.
Si

n=0
a
n
(z z
0
)
n
= f(z) z D
R
(z
0
) donde R > 0 Se cumple:
a) f

(z) =

n=1
na
n
(z z
0
)
n1
z D
R
(z
0
).
b) Existen en D
R
(z
0
) derivadas f
(k)
(z) (respecto de z) de orden k, para todo natural k 1.
c) Se verica la siguiente relaci on entre los coecientes del desarrollo en serie de f centrado en
z
0
y la derivada n- esima de f en z
0
:
a
0
= f(z
0
), a
1
= f

(z
0
), a
n
=
f
(n)
(z)
n!
n 0
Teorema 11.1.7. Principio de prolongaci on analtica. Sea f analtica en , donde es
abierto conexo. Son equivalentes las siguientes armaciones:
a) f(z) = 0 z .
b) Para alg un z
0
, se cumple f
(k)
(z
0
) = 0 k 0.
c) Existe una sucesi on de puntos z
n
que converge z
n
z
0
, tal que para todo
n 1, z
n
= z
0
y f(z
n
) = 0.
Nota: La armaci on c) se expresa tambien diciendo que: Existe un punto de acumulacion
z
0
del conjunto donde se anula f.
Corolario 11.1.8. Si una funci on f analtica no es identicamente nula en una regi on entonces
sus ceros (i.e. puntos donde se anula f) son aislados.
Dicho de otra manera, cada punto z
0
tal que f(z
0
) = 0 est a contenido en alg un entorno D
R
(z
0
)
que no contiene otros ceros de f mas que z
0
.
Corolario 11.1.9. Si dos funciones analticas en la regi on coinciden en un conjunto con un
punto de acumulaci on en entonces ambas coinciden en todo punto de .
Teorema 11.1.10. Funciones analticas construidas mediante integrales.
Hip otesis) Sea f : C una funci on continua. Sea una curva. Se dene para cada
z
0
C \

jo, el valor complejo g(z

0
) dado por la integral siguiente:
g(z
0
) =
_

f(z)
z z
0
dz
Tesis) g(z
0
) como funci on de z
0
es analtica en C \

.
Adem as la derivada n- esima de g est a dada para todo z
0
C \

por la siguiente f ormula

integral:
g
(n)
(z
0
) = n!
_

f(z)
(z z
0
)
n+1
dz
Funciones de variable compleja. Eleonora Catsigeras. 15 Mayo 2006. 115
11.2. Teora del ndice.
Los detalles y las demostraciones de este par agrafo se encuentran en la subsecci on 5.4.
Denici on 11.2.1.

Indice de una curva cerrada.
Dada una curva orientada y cerrada cualquiera , y dado un punto z
0
, se llama ndice de
en el punto z
0
, y se denota Ind

(z
0
), a la cantidad entera k neta de vueltas que da alrededor
de z
0
.
La cantidad de vueltas que da alrededor de z
0
est a denida con precisi on en la secci on 5.4,
Denici on 5.4.1.)
Teorema 11.2.2. Teorema del ndice.
Sea una curva cerrada cualquiera C
1
a trozos. Para todo z
0
se cumple:
Ind

(z
0
) =
1
2i
_

dz
z z
0
11.3. Teora de Cauchy.
Los detalles as como las demostraciones de este par agrafo se encuentran en las secciones 6 y
7.
Sea un abierto no vaco C.
Teorema 11.3.1. Teorema de Cauchy global.
Sea f H(). Sea una curva cerrada homot opica a un punto en . Entonces
_

f(z) dz = 0
Corolario 11.3.2. Otra versi on del teorema de Cauchy global. Sea f H(). Sean
1
y

2
dos curvas en , ambas con el mismo extremo inicial y con el mismo extremo nal. Si
1
es
homot opica a
2
en , entonces
_

1
f(z) dz =
_

2
f(z) dz
Teorema 11.3.3. Teorema de Cauchy-Goursat extendido.
Si f H( \ {z
0
} cumple
lm
zz
0
(z z
0
)f(z) = 0
entonces f puede extenderse holom orcamente a .
Teorema 11.3.4. F ormula integral de Cauchy global.
Sea f H(). Sea una curva cerrada homot opica a un punto en . Sea z
0
un punto
que no pertenece a

. Entonces
1
2i
_

f(z)
z z
0
dz = f(z
0
) Ind

(z
0
)
116 Funciones de variable compleja. Eleonora Catsigeras. 15 Mayo 2006.
Teorema 11.3.5. F ormula integral de Cauchy global para las derivadas.
Sea f H(). Sea una curva cerrada homot opica a un punto en . Sea z
0
un punto
que no pertenece a

. Entonces
n!
2i
_

f(z)
(z z
0
)
n+1
dz = f
(n)
(z
0
) Ind

(z
0
)
El siguiente teorema dice que vale tambien un recproco del Teorema de Cauchy, si se supone
que la funci on es continua:
Teorema 11.3.6. Teorema de Morera.
Sea f una funci on continua en el abierto . Se cumple:
a) f H() si y solo si
_

f(z) dz = 0
para toda curva cerrada que sea homot opica a un punto en .
b)f H() si y solo si
_
R
f(z) dz = 0
para todo rect angulo R que tenga lados paralelos a los ejes real e imaginario.
11.4. Consecuencias de la teora de Cauchy.
Los detalles y demostraciones de este par agrafo se encuentran en la secci on 8.
Denici on 11.4.1. Sea f una funci on continua en . Se dice que |f| tiene un m aximo local en
z
0
si existe un disco abierto D
R
(z
0
) tal que
|f(z)| |f(z
0
)| z D
R
(z
0
)
Teorema 11.4.2. Principio del m odulo maximo. Sea un abierto conexo y sea f H().
Si |f| tiene alg un m aximo local en entonces f es constante en .
Corolario 11.4.3. Otro enunciado del Principio del m odulo maximo.
Sea un abierto conexo. Sea f H(). Sea un disco cerrado D , y sea M = m ax
zD
|f(z)|.
Si f no es constante en entonces el m aximo M en D se alcanza solamente en la frontera
D (es estrictamente mayor que |f(z)| para todo z en el interior D).
Teorema 11.4.4. Desigualdades de Cauchy.
Sea f H(). Para todo z
0
, para todo R > 0 tal que D
R
(z
0
) , se cumple
|f
(n)
(z
0
)|
n! M(R)
R
n
donde M(R) = max
zD
R
(z
0
)
|f(z)|
Denici on 11.4.5. Un funci on f : C C se llama entera si f H(C).
Por ejemplo la funci on f(z) = e
z
es entera. Los polinomios en z son funciones enteras.
Funciones de variable compleja. Eleonora Catsigeras. 15 Mayo 2006. 117
Teorema 11.4.6. Teorema de Liouville Si una funci on entera est a acotada entonces es cons-
tante.
Teorema 11.4.7. Teorema fundamental del

Algebra.
a) Todo polinomio con coecientes complejos de grado mayor o igual que 1 tiene alguna una
raz compleja.
b) Todo polinomio con coecientes complejos de grado k 1 tiene exactamente k races com-
plejas, contada cada una tantas veces como sea su multiplicidad.
11.5. Lema de Jordan y de deformacion de curvas.
Los detalles y demostraciones de esta parte se encuentran en la secci on 9.
Para aplicar la teora de Cauchy y la teora de Residuos (que se ver a en la seccion 15), al
c alculo de integrales impropias, se utilizan los siguientes lemas, llamados Lema de Jordan y Lemas
de Deformaci on de Curvas.
Lema 11.5.1. Lema de deformaci on de curvas I.
Sea f : C continua. Sea para todo R > 0 sucientemente grande S
R
el arco de
circunferencia z = z(t) = Re
it
,
1
t
2
.
a) Si lm
z
zf(z) = L entonces
lm
R+
_
S
R
f(z) dz = iL(
2

1
)
b) Si lm
z
zf(z) = 0 entonces
lm
R+
_
S
R
f(z) dz = 0
Lema 11.5.2. Lema de deformaci on de curvas II.
Sea f : C continua. Sea para todo R > 0 sucientemente peque no S
R
el arco de
circunferencia z = z(t) = Re
it
,
1
t
2
.
Si lm
z0
zf(z) = L entonces
lm
R0
_
S
R
f(z) dz = iL(
2

1
)
Lema 11.5.3. Lema de Jordan.
Si f(z) es una funci on compleja continua para todo z tal que |z| R
0
, que cumple
|f(z)| K |z| R
0
Entonces:
|
_

R
e
isz
f(z) dz|
K
s
R R
0
donde s > 0 es constante y
R
es un arco contenido en la semicircunferencia: z = Re
it
, t [0, ].
Adem as si lm
z
f(z) = 0 entonces:
lm
R+
_

R
e
isz
f(z) dz = 0