Variable Compleja PDF

TEORIA DE
FUNCIONES
DE VARIABLE
COMPLEJA
A. L. Cauchy (17891857)
Editado por
Bienvenido Cuartero y Francisco J. Ruiz
sobre apuntes del Area

de Analisis matematico
B. Riemann (18261866)
K. Weierstrass (18151897)
La teora moderna de las funciones analticas ha tenido cuatro fundadores: Gauss,

Cauchy, Riemann y Weierstrass.
Gauss no publico nada en vida; por as decir, no haba comunicado nada a nadie y sus
manuscritos no se han reencontrado hasta mucho despues de su muerte. No ha ejercido
por ello ninguna influencia.
Los otros tres geometras que han contribuido a crear la nocion nueva de funcion han
seguido caminos bien diferentes.
Cauchy ha precedido a los otros y les ha mostrado el camino; pero no obstante las tres
concepciones se mantienen distintas y esto es una gran suerte, pues tenemos as tres
instrumentos entre los que podemos elegir y cuya accion podemos combinar a menudo.
...
La teora de Cauchy contena en germen a la vez la concepcion geometrica de Riemann y la
comprender como poda, al desarrollarse
concepcion aritmetica de Weierstrass, y es facil
en dos sentidos diferentes, dar nacimiento a una y a otra.
que
Para Riemann, la imagen geometrica juega el papel dominante; una funcion no es mas
las cuales pueden transformarse las superficies; uno busca repreuna de las leyes segun
sentarse estas transformaciones y no analizarlas; su posibilidad misma no es establecida
que por un razonamiento sumario al que no se ha podido, mucho mas
tarde, dar rigor
mas
que al precio de modificaciones profundas y rodeos complicados.
mas
en el extremo opuesto; el punto de partida es la serie de potencias, el
Weierstrass se situa
elemento de la funcion que esta confinado en un crculo de convergencia; para proseguir la
funcion fuera de este crculo, tenemos el procedimiento de la continuacion analtica; todo
deviene as una consecuencia de la teoria de series y esta teora esta establecida sobre
bases aritmeticas y solidas. Nos desembarazamos de las dudas que, en el siglo pasado
y en la primera mitad de e ste, asaltaban a menudo a los pensadores a proposito de los
principios del calculo

infinitesimal, y tambien de las que poda provocar por sus lagunas
la teora de funciones analticas de Lagrange . . .
(Henri Poincare, La obra matematica

de Weierstrass, en Acta mathematica 22 (1899),
pp. 118.)
INDICE
0
NMEROS COMPLEJOS: CONOCIMIENTOS PREVIOS

1. Introduccin
2. Propiedades algebraicas de los nmeros complejos
3. El plano complejo
4. Raices n-simas de un nmero complejo
5. La topologa de C
6. Compactificacin de C
7. Continuidad de las funciones de variable compleja
FUNCIONES HOLOMORFAS
1. Introduccin
2. Derivabilidad de las funciones de variable compleja
3. Condiciones de Cauchy-Riemann
4. Funciones holomorfas. Funciones armnicas
5. Apndice: clculo de armnicas conjugadas y mtodo de MilneThomson
FUNCIONES ANALTICAS
1. Introduccin
2. Series en C: generalidades
3. Series de potencias
4. Funciones analticas
5. Principio de prolongacin analtica
FUNCIONES ELEMENTALES BSICAS
1. Introduccin
2. Funcin exponencial
3. Funciones seno y coseno
4. Determinaciones del argumento y del logaritmo
5. Exponenciales y potencias arbitrarias
6. Otras funciones elementales
INTEGRACIN DE CAMINOS
1. Introduccin
2. Integracin de funciones complejas en intervalos reales
3. Curvas y caminos en C
4. Integracin de funciones complejas sobre caminos
5. Integrales dependientes de un parmetro complejo
INDICE DE UN PUNTO RESPECTO DE UN CAMINO CERRADO
1. Introduccin
2. Definicin y primeras propiedades
3. Interpretacin geomtrica del ndice
4. Ejemplos y ejercicios
5. Apndice: superficies de Riemann
TEORA LOCAL DE CAUCHY
1. Introduccin
2. Teorema y frmula de Cauchy
3. Consecuencias de la frmula de Cauchy
4. Avance: el teorema de Cauchy y el clculo de integrales reales
5. Apndice: sumacin de series.
TEORA GLOBAL DE CAUCHY
1. Introduccin
2. Ciclos. Homologa
3. Teorema nomolgico de Cauchy
4. Conexin simple
CEROS Y SINGULARIDADES. SERIES DE LAURENT
1. Introduccin
2. Ceros de una funcin holomorfa
3. Singularidades aisladas
4. Funciones meromorfas
5. Singularidades en el infinito
6. Series de Laurent
7. Ejercicios resueltos
TEOREMA DE LOS RESIDUOS. APLICACIONES
1. Introduccin
2. Prlogo: residuos
3. El teorema de los residuos
4. Aplicacin al clculo de integrales y a la sumacin de series
5. Aplicaciones a la localizacin de ceros
6. Valores locales de una funcin holomorfa
7. Teorema de la aplicacin abierta
8. Teoremas de la funcin inversa
9. Ejercicios resueltos
CAPITULO 0
Numeros complejos:
conocimientos previos.
0.1
INTRODUCCION
Recopilamos en este captulo las propiedades basicas de los numeros complejos,

ya vistas a lo largo de cursos anteriores. Como libros de consulta pueden usarse, por ejemplo, Apostol, T.M.: Analisis Matematico (segunda edicion). Reverte,
Barcelona (1991) (algunas explicaciones estan mas detalladas en Apostol, T.M.:
Calculus, vol. I (segunda edicion). Reverte, Barcelona (1989)); para practicar con
operaciones y representaciones graficas, Spiegel, M.R.: Variable compleja. McGraw Hill (coleccion Schaum) (1971).
Comencemos recordando que se defina
C = {(a, b) : a, b R}
con las operaciones
SUMA:
PRODUCTO:
(a, b) + (c, d) = (a + c, b + d)
(a, b).(c, d) = (ac bd, bc + ad)
Observese que, como conjunto, C es en realidad R2 . La novedad (y lo interesante como veremos) esta en introducir el producto, pues se comprueba facilmente
que C con las dos operaciones anteriores se obtiene un cuerpo conmutativo, con
(0, 0) y (1, 0) como elementos neutros respectivos.
Ademas, el cuerpo C contiene al cuerpo R. Precisemos esta afirmacion:
- La aplicacion a R (a, 0) C es un homomorfismo inyectivo de
cuerpos.
Esta identificacion de R como subcuerpo de C nos permite usar la notacion
simplificada a = (a, 0), y observando que todo elemento (a, b) C se puede
escribir como
(a, b) = (a, 0).(1, 0) + (b, 0)(0, 1),
si denotamos i = (0, 1), con esta nueva nomenclatura, tenemos
(a, b) = a + ib.
1
Numeros
complejos: conocimientos previos.
Esta forma de escribir un numero complejo (forma binomica) hace mas facil
la multiplicacion. En efecto, teniendo en cuenta que
i 2 = (0, 1).(0, 1) = (1, 0) = 1
comprobamos que
(a, b).(c, d) = (ac bd, bc + ad)
se traduce en
(a + ib).(c + id) = ac bd + i(bc + ad),
donde para hacer esta operacion solo hace falta recordar las reglas habituales de la
multiplicacion y las identificaciones anteriores.
Cuando se utiliza una sola letra para denotar un numero complejo, se suele
elegir la z, y si z = a + ib con a, b R, los numeros a, b se llaman partes real e
imaginaria de z, respectivamente. Escribiremos entonces a = e z, b = m z.
Desde el punto de vista algebraico, la principal ventaja de C es que soluciona
el defecto algebraico de R de no ser algebraicamente cerrado, es decir, de que
existan ecuaciones polinomicas con coeficientes reales que no tienen soluciones
reales. El ejemplo mas aparente es x 2 + 1 = 0. Esto ya no va a ocurrir en C.
0.2
PROPIEDADES ALGEBRAICAS DE LOS NUMEROS

COMPLEJOS
Recogiendo de manera abreviada lo que acabamos de exponer, resulta:

1. C es un espacio vectorial sobre R de dimension 2 ({1, i} es la base canonica).
2. C es un cuerpo conmutativo que contiene un subcuerpo isomorfo a R.
3. Existe un elemento de C solucion de z 2 + 1 (precisamente i es solucion).
Pero, mucho mas general, C es algebraicamente cerrado, i.e., todo polinomio
con coeficientes complejos tiene una solucion en C.
Este hecho no es facil de demostrar con argumentos elementales pero, mas
adelante, sera una consecuencia sencilla del analisis que desarrollaremos sobre C.
Ademas, C es el menor cuerpo algebraicamente cerrado que contiene a R.
Con mayor precision, si un cuerpo algebraicamente cerrado contiene un subcuerpo
isomorfo a R, debe contener un subcuerpo isomorfo a C.
4. Aplicacion conjugacion. La aplicacion de C en C definida por
z = a + ib z = a ib
Numeros
tiene las siguientes propiedades:

4.1. Es un isomorfismo de cuerpo (z + w = z + w, zw = zw).
4.2. Es una proyeccion (z = z).
4.3. Deja fijo el cuerpo R (z = z si y solo si z R).
5. Aplicacion modulo. La aplicacion de C en R+ definida por
z = a + ib |z| = + zz = + a 2 + b2
tiene las siguientes propiedades:
5.1. |z| 0, |z| = 0 z = 0.
5.2. |z + w| |z| + |w| (desigualdad triangular).
5.3. |zw| = |z||w|.
Una consecuencia de estas propiedades es la que suele llamarse desigualdad
triangular inversa,
5.4. |z w| ||z| |w||.
6. En C no existe un orden total compatible con la estructura algebraica que
extienda el orden de R.
En efecto, si e ste fuera el caso los elementos i y 0 deberan ser comparables.
Entonces, o i > 0, en cuyo caso por la compatibilidad con el producto tendramos
i 2 = 1 > 0, o i < 0, en cuyo caso y por la misma razon, tambien se tendra
i 2 = 1 > 0, con lo cual, obviamente, no se extiende el orden de R.
Observaciones.
1. En la construccion de los numeros se busca siempre solucionar un defecto,
pero con una propiedad de minimalidad. As, en los contenidos
N Z Q R C,
Z es el menor grupo que contiene a N, Q es el menor cuerpo que contiene a
Z, R es el menor cuerpo completo que contiene a Q y C es el menor cuerpo
algebraicamente cerrado que contiene a R.
2. Hay otros contextos matematicos que llevan a construcciones de C, es decir
a la construccion de cuerpos isomorfos a nuestro C. Dos ejemplos son los
siguientes:
Numeros

i) Sea R[x] el anillo de polinomios en una variable con coeficientes reales
(con las operaciones habituales). Sea I el ideal maximal generado por el
polinomio x 2 +1. Entonces, el espacio cociente R/I, con las operaciones
inducidas, resulta ser un cuerpo conmutativo isomorfo a C.
ii) Sea M(2 2; R) el anillo de las matrices 2 2 con coeficientes reales,
con las operaciones habituales. El subanillo

a b
M={
: a, b R}
b a
es un cuerpo conmutativo isomorfo a C.
0.3
EL PLANO COMPLEJO
Debido a la identificacion entre C y R2 , todo numero complejo z = a + ib lo podemos representar en el plano como el punto de coordenadas (a, b). Pero ademas,
es de gran interes la llamada representacion polar de un numero complejo. Observemos que todo punto del plano z
= 0 queda unvocamente determinado por
su distancia al origen y por el a ngulo que forma el segmento [0, z] con el eje real.
Dicha distancia ya sabemos que es el modulo, y el a ngulo va a dar lugar al concepto
de argumento de un numero complejo.
Mirando la figura, tenemos las igualdades
e z = |z| cos , m z = |z| sen ,
de donde
z = |z|(cos + i sen ) = |z|ei .
Aqu hemos utilizado la notacion
z=(a,b )
ei = cos + i sen .
|z |
De momento, la igualdad anterior se
b= Im z
debe interpretar como una definicion,
aunque mas adelante se correspondera

con el valor en i de la funcion expoO
a = Re z
nencial compleja.
Notemos que en este punto damos por bueno que las funciones seno y coseno
del Analisis matematico se corresponden con las funciones definidas graficamente
en Trigonometra, sin que para ello tengamos ninguna justificacion rigurosa. Para
ser totalmente honestos, ni siquiera tenemos hasta ahora una definicion rigurosa
de las funciones seno y coseno: nos hemos conformado con admitir su existencia y propiedades. Volveremos sobre este punto cuando estudiemos las funciones
elementales basicas.
Numeros
Observacion importante.
La definicion de modulo no plantea ninguna ambiguedad, pero no as la del
a ngulo (o argumento) puesto que y + 2k con k Z hacen el mismo papel.
Esto nos hace abordar las siguientes precisiones sobre la definicion de argumento.
Definicion. Dado z C \ {0},
arg z = { R : cos = e z/|z|, sen = m z/|z|}.
Por tanto, arg z es un conjunto! Pero es obvio que es de la forma
{0 + 2k : 0 arg z, k Z}.
Es decir, conocido un argumento de z, cualquier otro se diferencia de e ste
en un multiplo entero de 2 . De esta forma, en cualquier intervalo semiabierto
de longitud 2, [, + 2) o (, + 2 ], R, existe un u nico elemento
perteneciente al conjunto arg z. A este elemento se le denota por
Arg[,+2) z
(respectivamente, por Arg(,+2 ] z).
Normalmente, se toma el intervalo (, ] y se escribe simplemente

Arg(, ] z = Arg z.
A este argumento se le llama argumento principal (precaucion: en algunos
textos se llama argumento principal al que esta en el intervalo [0, 2 )).
La expresion ei , R (recuerdese que, de momento, es cos + i sen por
definicion) tiene las mismas propiedades algebraicas que la exponencial real.
ei ei = ei(+) , , R,
(ei )n = ein , R, n N,
(ei )1 = ei() , R.
0.4
RAICES
n-ESIMAS
DE UN NUMERO
COMPLEJO
La representacion polar tiene especial importancia en este estudio, pues usandola,

es facil ver que, dado z
= 0 y n N, la ecuacion w n = z tiene exactamente n
soluciones, que son:
w = |z|1/n ei
Arg z+2k
n
, k = 0, 1, 2, . . . , n 1.
Si queremos alguna notacion, n z debera denotar el conjunto de estos n
Arg z
elementos, aunque en algunos textos, n z indica solamente el valor |z|1/n ei n (que
nosotros llamaremos raz n-esima principal).
Numeros
0.5
DE C
LA TOPOLOGIA
La topologa (estandar) en C viene dada por la aplicacion modulo, que al cumplir

las propiedades 5.1, 5.2 y 5.3, tiene las propiedades de una norma y como tal da
lugar a una distancia
d(z, w) = |z w|
Mirado en R2 , e sta es la distancia eucldea. Por tanto, la topologa de C es,
exactamente, la topologa eucldea de R2 . Nos limitaremos a recordar los aspectos
de esta topologa que seran de interes en el desarrollo de la asignatura.
1. Dado un punto z 0 C y un > 0,
D(z 0 ; ) = {z C : |z z 0 | < }
se llama disco (abierto) de centro z 0 y radio . Es lo que en espacios metricos
abstractos se denomina bola. La familia de todas las bolas centradas en un
punto z 0 , (D(z 0 ; ))>0 es una base de entornos del punto z 0 .
2. Un subconjunto de C es abierto si es entorno de todos sus puntos. Es decir,
si
z , > 0 tal que D(z; ) .
3. Una sucesion z n z 0 si (por definicion)
> 0, n 0 N n n 0 , |z n z 0 | < .
Es muy facil comprobar que
z n z 0 e z n e z 0 m z n m z 0 .
Por tanto, la convergencia de una sucesion de numeros complejos se remite
al estudio de la convergencia de dos sucesiones de numeros reales. A partir
de aqu es sencillo ver que (C, d) es un espacio metrico completo. Es decir,
toda sucesion de Cauchy es una sucesion convergente.
4. Un subconjunto A C es cerrado si su complementario es abierto, o equivalentemente, coincide con su clausura A. Recordemos que z A si
> 0, D(z; ) A
= .
Como estamos en un espacio metrico, es interesante observar que esta propiedad se puede caracterizar por sucesiones:
z A (z n ) A z n z.
5. Un subconjunto A C es compacto si y solo si es cerrado y acotado. Como
consecuencia se cumple el teorema de Bolzano-Weierstrass:
Toda sucesion acotada posee una subsucesion convergente.

6. Conexion. Recordemos la definicion, en general.
Numeros
Definicion. Un espacio topologico X se dice conexo si no es union de dos conjuntos

abiertos no vacos disjuntos (o, equivalentemente, si los u nicos subconjuntos de X
cerrados y abiertos a la vez son y X ).
Un subconjunto X C se considera espacio topologico con la topologa
inducida (o relativa) de C. Los abiertos en X son la interseccion de los abiertos de
C con X .
Para el concepto de conexion por arcos, hace falta recordar algun concepto
previo.
i) Una curva en C es una aplicacion : [a, b] C continua. (a) y (b)
son los puntos inicial y final de la curva (se dice tambien que la curva une los
puntos (a) y (b)). El subconjunto de C, ([a, b]) se llama soporte de la
curva. Se dice que la curva esta contenida en un subconjunto A de C, si lo
esta el soporte.
ii) Un arco es una curva inyectiva.
iii) Dados z, w C, z
= w, el arco : [0, 1] C tal que t (1 t)z + tw,
se llama segmento de extremos z y w. Efectivamente, el soporte de este arco
es el segmento con dichos extremos.
Esta notacion que usamos confunde la curva con su soporte, lo cual no es muy
conveniente como se vera en captulos posteriores. Pero, para los aspectos que
estamos aqu tratando no importa esta confusion.
iv) Dados z 1 , z 2 , . . . z n C, llamaremos poligonal de vertices z 1 , z 2 , . . . z n a la
union de los n 1 segmentos consecutivos que unen z i y z i+1 . Es facil ver
que esta union corresponde a una curva y si los segmentos no se cruzan es un
arco.
v) Un conjunto A C se dice conexo por arcos si dos cualesquiera de sus
puntos pueden unirse por un arco contenido en A. Analogamente se puede dar
la definicion mas especfica de conexo por poligonales.
(b)
w
z2
zn
(a)
z
O
En C y para abiertos, tenemos el siguiente:
z1
O
Numeros
Teorema. Sea abierto de C. Son equivalentes:

i) es conexo.
ii) es conexo por arcos.
iii) es conexo por poligonales.
Tambien podramos haber anadido es conexo por poligonales de lados
paralelos a los ejes.
Es importante la hipotesis de que sea abierto. Si la quitamos, la implicacion
ii) i) sigue siendo cierta, pero el subconjunto de C,
A = [i, i] {x + i y : y = sen(1/x), x (0, 1)}
es un conjunto conexo que no es conexo por arcos.
7. Componentes conexas. Sea
= X C. Una componente conexa (o,
simplemente, componente) de X es un subconjunto conexo de X y maximal.
Es decir, X 1 es componente conexa de X si X 1 X , X 1 es conexo y no existe
A conexo tal que X 1 A X .
Sobre componentes conexas recordaremos lo siguiente:
7.1. Si X es conexo, su u nica componente conexa es X .
7.2 Las componentes son disjuntas.
7.3 Cada subconjunto conexo de X esta contenido en una (y solo una) componente.
7.4 Si C es abierto, cada componente conexa de es un abierto de C
y existen, a lo mas, un numero contable de componentes conexas.
7.5 Si X C es un conjunto acotado, C\X = X c posee una sola componente
no acotada.
0.6
DE C
COMPACTIFICACION
En este apartado, vamos a introducir el punto del infinito complejo, , con el

objetivo de manejar conceptos como
lim z n = , lim f (z) = , lim f (z) = .
z
zz 0
En C solo aparecera un punto del . Los conceptos + y estan asociados

a R debido a que es un cuerpo totalmente ordenado.
La forma rigurosa de proceder es utilizando el teorema de compactificacion
de Alexandrov de topologa general, aunque posteriormente el concepto se maneja
con facilidad. El resultado general dice lo siguiente:
Numeros
Teorema. Cualquier espacio topologico localmente compacto puede ser sumergido

en un espacio compacto X , de forma que X \ X consta de un solo punto.
Dicho de otra forma, al espacio X le podemos anadir un punto que no esta en
X , al que se suele denotar , y al espacio X {} se le dota de una topologa
que restringida a X es la de X , y ademas con esta topologa X {} es un espacio
compacto.
Examinemos los detalles de este procedimiento para nuestro caso particular
de C.
- C es un espacio localmente compacto (es Hausdorff y cada punto tiene un
entorno relativamente compacto).
- Anadimos un punto y denotaremos C = C {}.
- Si G es la topologa de C, es decir, G es el conjunto de los abiertos de C,
definimos la topologa en C como
G = G {C \ K : K compacto de C}.
Notese que estos conjuntos que anadimos son los entornos abiertos del punto
del .
Se comprueban, sin mucha dificultad, los siguientes hechos:
a. G es una topologa en C .
b. G |C = G.
c. (C ,G ) es compacto.
La descripcion de esta topologa por base de entornos es muy sencilla:
- Si el punto es un z 0 C, una base de entornos son los discos D(z 0 , ).
- Si el punto es , una base de entornos es {C \ D(0, R)} R>0 .
Teniendo en cuenta como es esta base de entornos del punto del , veamos
que significa z n , cuando {z n } C.
z n R > 0, n 0 N n n 0 , z n C \ D(0, R).
Como z n C \ D(0, R) significa |z n | > R, la definicion anterior es equivalente
a que la sucesion de numeros reales |z n | tienda a +.
10
Numeros
Observacion.
Es un hecho teorico importante que esta topologa de C es metrizable. Es
decir, se puede definir una metrica en C que da lugar a dicha topologa. No es
facil describir una tal metrica, de hecho, no tiene mucho que ver con la metrica
de C. Se puede demostrar que no existe ninguna metrica en C que de lugar a la
topologa de C y que extienda la metrica de C. No obstante, y por completar este
estudio, en el siguiente apartado obtendremos una de estas metricas.
9. Representacion geometrica de C . La esfera de Riemann.
El plano no puede ser una representacion geometrica de C , pues no queda
sitio para dibujar el punto del . No obstante, en la practica, conviene imaginarse
al punto del como algo que esta mas alla en todas las direcciones, es decir, como
la circunferencia de un crculo imaginario de centro el origen y radio +.
Una buena representacion geometrica la dio Riemann utilizando la esfera
unidad de R3 . Denotamos por
S = {(x1 , x2 , x3 ) R3 : x12 + x22 + x32 = 1}
a dicha esfera y la dotamos de la topologa relativa que le da la eucldea de R3 .
Vamos a identificar C con S algebraicamente (obteniendo una biyeccion entre
ambos) y topologicamente (dicha biyeccion sera homeomorfismo).
La biyeccion es muy intuitiva si nos fijamos en la figura
(0,0,1)
adjunta. Se proyectan los puntos
s = ( x1 , x 2 , x 3)
(x1 , x2 , x3 ) de S desde el polo
norte (0, 0, 1) sobre el plano
del ecuador x3 = 0 y a (0, 0, 1)
x2
x1
(s) = (
,
,
0 ) [unico punto que queda sin ima1 x3
1 x3
gen] se le asocia el punto del infinito C .
Denotando por : S C a esta biyeccion, es un sencillo problema de
geometra elemental obtener expresiones explcitas de y 1 :
(x1 , x2 , x3 ) =
x1 + i x2
, si (x1 , x2 , x3 ) S \ {(0, 0, 1)},
1 x3
y (0, 0, 1) = .
y 1 () = (0, 0, 1).
Se prueba que:
2m z |z|2 1
2e z
,
,
)
(z) = ( 2
|z| + 1 |z|2 + 1 |z|2 + 1
Numeros
11
Teorema. La aplicacion , llamada proyeccion estereografica, es un isomorfismo

entre los espacios topologicos S (con la topologa eucldea relativa de R3 ) y C
(con la topologa G ).
Una vez tenemos este resultado, como S es metrico (con la metrica eucldea
d3 ), podemos tener una metrica sobre C como imagen de la eucldea por la
aplicacion ,
d (z 1 , z 2 ) = d3 ( 1 (z 1 ), 1 (z 2 )).
Esta metrica se denomina distancia cordal (es la longitud de la cuerda que une los
puntos 1 (z 1 ), 1 (z 2 )).
Haciendo las operaciones tenemos:
Proposicion. C es metrizable y una de las metricas que origina su topologa es
d (z 1 , z 2 ) =
2|z 1 z 2 |
, z 1 , z 2 C,
((1 + |z 1 |2 )(1 + |z 2 |2 ))1/2
d (z, ) =
2
, z C,
(1 + |z|2 )1/2
d (, ) = 0.
0.7
CONTINUIDAD DE LAS FUNCIONES DE VARIABLE COMPLEJA
Por funcion compleja de variable compleja, entendemos una funcion cuyo dominio es un subconjunto de C y los valores que toma estan en C. Es decir,
f : A C C.
Asociadas a f aparecen las funciones reales de variable compleja,
u(z) = e f (z), v(z) = m f (z).
Identificando C con R2 , las funciones u y v pueden ser vistas como funciones
de dos variables reales que toman valores en R y, as, es muy frecuente escribir
f (z) = u(x, y) + iv(x, y), z = x + i y A.
Es decir, tener una funcion compleja de variable compleja es tener dos funciones
reales de dos variables reales.
Los conceptos de lmite y continuidad de funciones son totalmente analogos
a los ya conocidos para R, as como sus propiedades, ya que en la definicion de
12
Numeros
e stos solo interviene el modulo, que tiene las mismas propiedades tanto en R como
en C.
Sea f : A C C y sea z 0 C un punto de acumulacion de A. Es decir,
D(z 0 ; ) (A \ {z 0 })
= , > 0
(notese que el punto z 0 puede pertenecer al dominio A o no).
Diremos que
lim
Azz 0
f (z) = C
si (por definicion)
> 0, > 0 (0 < |z z 0 | < z A) | f (z) | < .
Como C es un espacio metrico, esta definicion (, ) es equivalente a la definicion
por sucesiones. Es decir, a que ocurra
(z n ) A \ {z 0 } z n z 0 f (z n ) .
Con las notaciones anteriores, diremos que f es continua en z 0 A si
lim
Azz 0
f (z) = f (z 0 ).
Notese que en este caso z 0 debe estar en el dominio de la funcion.

Observacion.
Principalmente, trataremos con funciones f : C C, definidas en
abierto de C. Entonces, todo punto z 0 es de acumulacion de y considerando
s suficientemente pequenos, no nos tenemos que preocupar de que los zs esten
el dominio. En este caso, acudiendo a la definicion, tendremos:
f es continua en z 0 si y solo si
> 0 > 0 tal que D(z 0 ; ) y |z z 0 | < | f (z) f (z 0 )| < .
Diremos que f es continua en si lo es en z 0 , z 0 .
A partir de ahora, supondremos que el dominio de las funciones es siempre
un abierto de C.
Numeros
13
Las propiedades de los lmites y funciones continuas (con demostraciones

analogas a la de R) se pueden resumir en los siguientes apartados.
Sean f, g : C C y z 0 tal que
lim f (z) = , lim g(z) = .
zz 0
zz 0
Entonces:
1. Si f (z) = u(z) + iv(z) = u(x, y) + iv(x, y), z = x + i y , z 0 = x0 + i y0 ,
lim f (z) =
zz 0
2.
lim
(x,y)(x0 ,y0 )
u(x, y) = e
lim
(x,y)(x0 ,y0 )
v(x, y) = m .

lim f (z) + g(z) = + .
zz 0
3.

lim f (z) g(z) = .
zz 0
4. Si
= 0,
lim
zz 0
f (z)
= .
g(z)
5. Si f y g son continuas en z 0 , tambien lo son las funciones f + g y f g.

Asimismo, lo es f /g siempre que g(z 0 )
= 0.
Observacion.
Cualquier otra propiedad conocida en R que solo tenga que ver con el uso
del modulo y la estructura de cuerpo, tambien sera cierta en C. Por ejemplo, el
lmite del producto de una funcion que tienda a 0 por otra funcion acotada en un
entorno del punto, es 0. No son ciertas, porque ni siquiera tienen sentido en general,
propiedades que tienen que ver con el orden, como la regla del sandwich.
Lmites infinitos y en el infinito.
Sea f : A C C, tal que es punto de acumulacion del dominio A.
Por la definicion de los entornos del vista anteriormente, esto querra decir que:
R > 0, A (C \ D(0; R))
=
14
Numeros
En estas condiciones, podemos hablar de lmites en el , considerando la topologa

de C .
6. Diremos que
lim
Az
f (z) = C
si (por definicion)
> 0, R > 0 (|z| > R z A) | f (z) | <
o, equivalentemente, por ser C espacio metrico, la definicion por sucesiones,
(z n ) A z n f (z n ) .
7. Diremos que
lim
Az
f (z) =
si (por definicion)
S > 0, R > 0 (|z| > R z A) | f (z)| > S.
o, equivalentemente,
(z n ) A z n f (z n ) .
8. Si f : A C C y z 0 es un punto de acumulacion de A, diremos que
lim
Azz 0
f (z) =
si (por definicion)
R > 0, > 0 (0 < |z z 0 | < z A) | f (z)| > R.
o, equivalentemente,
(z n ) A \ {z 0 } z n z 0 f (z n ) .
Tambien se cumplen las propiedades habituales, de las que senalamos como
muestra las dos siguientes:
Numeros
15
i) Si
lim f (z) = C \ {0} y lim g(z) = 0
zz 0
zz 0
entonces
lim
zz 0
f (z)
= .
g(z)
ii) Si
lim f (z) = C \ {0} y lim g(z) =
zz 0
entonces
zz 0

lim f (z)g(z) = .
zz 0
Y tambien se producen los casos de indeterminacion habituales.

Es un buen ejercicio listar todas estas propiedades y demostrar, siguiendo las
definiciones, algunas de ellas.
Ejemplos.
1. Las funciones constantes ( f (z) = C, z C) y la funcion identidad
( f (z) = z, z C) son funciones continuas en todo punto de C.
2. Por operaciones con funciones continuas (suma y multiplicacion), todo polinomio
Pn (z) = an z n + an1 z n1 + . . . a1 z + a0 , ai C
es una funcion contnua en todo C.
3. Toda funcion racional, puesta como cociente de dos polinomios, R(z) =
P(z)/Q(z), en forma irreducible, es continua en C salvo en los ceros del
polinomio Q.
4. En el mismo ejemplo anterior, si es un cero de Q, entonces P()
= 0 y
lim
5.
P(z)
= .
Q(z)
3z + 5
6z 3 + 5
lim
= 0, lim
= 3.
z z 2 + 1
z 2z 3 + 4z + 1
6. La funcion argumento principal

Arg : z C \ {0} Arg z (, ]( C)
16
Numeros

es continua en C \ (, 0].
En cualquier punto z 0 (, 0) no es continua, pues si

z n z 0 m z n > 0, entonces Arg z n
y si
z n z 0 m z n < 0, entonces Arg z n .
De forma analoga, la funcion Arg[,+2 ) es continua en C \ {r ei : r 0}.
Imagenes continuas de conexos y compactos
Finalmente, recordemos un par de resultados topologicos que usaremos con
frecuencia.
Sea f : A C C continua y X A. Si X es conexo, f (X ) es conexo. Si
X es compacto, f (X ) es compacto.
CAPITULO 1
Funciones holomorfas
1.1
INTRODUCCION
La definicion y primeras propiedades de la derivacion de funciones complejas son

muy similares a las correspondientes para las funciones reales (exceptuando, como
siempre, las ligadas directamente a la relacion de orden en R, como por ejemplo
el teorema del valor medio). Sin embargo, iremos comprobando poco a poco que
la derivabilidad compleja es una condicion mucho mas fuerte que la derivabilidad
real, o incluso que la diferenciabilidad de las funciones de dos variables reales. La
explicacion final la encontraremos en resultados posteriores.
Para las primeras secciones de este captulo puede usarse como libro de consulta el texto de Open University: Complex Numbers / Continuous Functions /
Differentiation. The Open University Press, Milton Keynes (1974); para las finales,
ver Duncan, J.: The elements of complex analysis. Wiley, London (1968).
1.2
DERIVABILIDAD DE LAS FUNCIONES DE VARIABLE COMPLEJA
1. Definicion y primeras propiedades.

Como C es un cuerpo y tiene sentido la division, podemos imitar literalmente
la definicion de derivabilidad de funciones reales.
Definicion. Sea abierto de C. Sea f : C y sea z 0 . Diremos que f
es derivable en z 0 si existe
lim
zz 0
f (z) f (z 0 )
= f (z 0 ) C.
z z0
Al valor de dicho lmite f (z 0 ) lo llamaremos derivada de f en z 0 .

Observacion. Aunque, formalmente, la definicion es como en R, la existencia
de lmite es aqu mas exigente, al tener que existir de cualquier modo que nos
acerquemos a z 0 por el plano. Esto hara que las funciones derivables en C sean
mejores que las derivables en R, y que podamos desarrollar una teora mucho mas
redonda para e stas.
Para empezar, listamos las propiedades de derivabilidad que se demuestran
imitando punto por punto lo que se hace en R.
17
18
1. f derivable en z 0 f continua en z 0 .
2. Si f y g son derivables en z 0 ,
i) f + g es derivable en z 0 y ( f + g) (z 0 ) = f (z 0 ) + g (z 0 ).
ii) f g es derivable en z 0 y ( f g) (z 0 ) = f (z 0 )g(z 0 ) + g (z 0 ) f (z 0 ).
iii) (Si f (z 0 ) = 0), 1/ f es derivable en z 0 y (1/ f ) (z 0 ) = f (z 0 )/ f (z 0 )2 .
3. Regla de la cadena. Sean f : 1 C, g : 2 C con f (1 ) 2 .
Si f derivable en z 0 y g es derivable en f (z 0 ), entonces g f es derivable en
z0, y
(g f ) (z 0 ) = g ( f (z 0 )) f (z 0 ).
4. Derivacion de la funcion inversa en un punto. Sea f : C inyectiva,
derivable en z 0 con f (z 0 ) = 0. Supongamos ademas que f () es abierto y
que f 1 es continua en f (z 0 ). Entonces, f 1 es derivable en f (z 0 ) y

( f 1 ) f (z 0 ) =
1
.
f (z 0 )
Veamos, a modo de ejemplo, como este u ltimo resultado se prueba igual que
para funciones reales:
La derivabilidad de f en z 0 es equivalente a la continuidad en z 0 de la funcion
g : C dada por
f (z) f (z )
0
g(z) =
z z0
f (z 0 )
si z \ {z 0 };
si z = z 0 .
Esta funcion permite escribir para todo z

f (z) f (z 0 ) = g(z)(z z 0 ),
y como ahora g es continua en z 0 con g(z 0 ) = f (z 0 ) = 0, se verificara g(z) = 0
en un entorno de z 0 . Poniendo w0 = f (z 0 ), si tomamos w f () y z = f 1 (w),

w w0 = g f 1 (w) f 1 (w) f 1 (w0 ) ,
y, teniendo en cuenta que f 1 es continua en w0 , para w en un entorno reducido
de w0 ,
f 1 (w) f 1 (w0 )
1

=
;
w w0
g f 1 (w)
19
usando nuevamente la continuidad de f 1 en w0 y la de g en z 0 = f 1 (w0 ), vemos

que existe
1
f 1 (w) f 1 (w0 )
lim
.
=
ww0
w w0
f (z 0 )
Ejemplos de funciones derivables.
1. Las funciones constantes son derivables en todo punto de C con derivada 0.
La funcion identidad es derivable en todo C y su derivada es constantemente
1.
2. Por operaciones algebraicas con funciones derivables, todo polinomio es derivable en C y su derivada tiene la misma expresion que en R. Del mismo modo,
toda funcion racional, puesta en forma irreducible, es derivable en todo C
salvo los ceros del denominador.
1.3
CONDICIONES DE CAUCHY-RIEMANN
El problema que ahora vamos a tratar es exclusivo del contexto de C. Ya sabemos

que dar una funcion de variable compleja es dar dos funciones reales de dos variables
reales. Nos vamos a preguntar por la relacion que existe entre la derivabilidad de
la funcion compleja y la diferenciabilidad de estas dos funciones.
En este apartado emplearemos sin mas comentarios la notacion:
f : C, f (z) = u(z) + iv(z) = u(x, y) + iv(x, y),
z = x + i y , z 0 = x0 + i y0 .
Tenemos:
Teorema. f es derivable en z 0 si y solo si
i) u , v son diferenciables en (x0 , y0 ).

ii) Se cumplen las llamadas condiciones de Cauchy-Riemann:
u
v
=
,

x (x0 ,y0 )
y (x0 ,y0 )
u
v
=
.

y (x0 ,y0 )
x (x0 ,y0 )
Demostracion. Antes de entrar en ella, modifiquemos un poco las notaciones.

Primero, es claro que f derivable en z 0 se puede escribir de la forma
lim
h0
f (z 0 + h) f (z 0 ) h. f (z 0 )
= 0.
h
(1)
20
Por otra parte, recordemos la nocion de diferenciabilidad. u diferenciable en

(x0 , y0 ) significa que existe una forma lineal
L : R2 R (k, l) L(k, l) = ak + bl
tal que
u(x0 + k, y0 + l) u(x0 , y0 ) L(k, l)

= 0.
(k,l)(0,0)
k2 + l2
lim
Recuerdese ademas que

u
u
a=
, b=
.

x (x0 ,y0 )
y (x0 ,y0 )
) Supongamos que f es derivable en z 0 y sea su derivada f (z 0 ) = + i.
Escribimos h = k + il para el parametro complejo h.
(1) implica que
f (z 0 + h) f (z 0 ) h. f (z 0 )
= 0.
lim
h0
|h|
(2)
porque (2) se obtiene de (1) multiplicando por h/|h| que es una funcion acotada.
Ahora,
u(x0 + k, y0 + l) u(x0 , y0 ) (k l)
f (z 0 + h) f (z 0 ) h. f (z 0 )
=
|h|
k2 + l2
v(x0 + k, y0 + l) v(x0 , y0 ) (k + l)
+i
k2 + l2
(3)
luego, las partes real e imaginaria de esta expresion tienen que tender a 0 cuando
h 0 (o, lo que es lo mismo (k, l) (0, 0)).
Pero esto quiere decir exactamente que u y v son diferenciables en (x0 , y0 )
con
v
u
v
u
==
y
= =
.

x (x0 ,y0 )
y (x0 ,y0 )
y (x0 ,y0 )
x (x0 ,y0 )
) Si u y v son diferenciables en (x0 , y0 ) y se cumplen las condiciones de CauchyRiemann, llamamos

v
u
v
u
==
y
= =

x (x0 ,y0 )
y (x0 ,y0 )
y (x0 ,y0 )
x (x0 ,y0 )
21
y se tiene que cumplir que la expresion en (3) tiende a 0.

Por tanto, se cumple (2) y de aqu (1) (otra vez porque (1) se obtiene de (2)
multiplicando por |h|/ h). As, f es derivable en z 0 con derivada f (z 0 ) = + i.
Observacion.
De paso, hemos visto en la demostracion que la derivada de f se puede obtener
a partir de las derivadas parciales de u y de v,
u
u
v
u
f (z 0 ) =
i
=
i

x (x0 ,y0 )
y (x0 ,y0 )
y (x0 ,y0 )
y (x0 ,y0 )

u
v
v
v
=
+i
=
+i
.

x (x0 ,y0 )
x (x0 ,y0 )
y (x0 ,y0 )
x (x0 ,y0 )
Observacion.
En el teorema anterior vemos que el concepto de derivabilidad compleja es
mas exigente que el de diferenciabilidad real. Si miramos a f como funcion de R2
en R2 , ser diferenciable significa sin mas que lo sean sus dos componentes u y v,
mientras que ser derivable exige, ademas de esto, que se cumplan las condiciones
sobre las derivadas parciales de u y v que establecen las ecuaciones de CauchyRiemann. Algunas de las consecuencias de este hecho se veran al final del captulo.
NOTA.
En Levinson, N.; Redheffer, R.M.: Curso de variable compleja. Reverte,

Barcelona (1990), pags. 77 y ss. se da una interpretacion fsica de las condiciones
de Cauchy-Riemann, en terminos del estudio del flujo bidimensional de un fluido
ideal.
Para una interpretacion geometrica de las condiciones de Cauchy-Riemann y
otras muchas consideraciones interesantes sobre la derivada y demas conceptos,
con un enfoque muy original, v. Needham, T.: Visual Complex Analysis. Clarendon
Press, Oxford (1997).
1.4
FUNCIONES HOLOMORFAS. FUNCIONES ARMONICAS.
Definicion. Sea abierto de C. Sea f : C. Diremos que f es holomorfa

en un punto z 0 (o tambien, que z 0 es un punto regular para f ) si f es derivable
en todos los puntos de un entorno de z 0 . Diremos que f es holomorfa en si f es
holomorfa en z 0 , z 0 .
Claramente, f es holomorfa en f es derivable en todos los puntos de
(pues al ser abierto, es entorno de todos sus puntos).
22
Denotaremos
H() = { f : C : f es holomorfa en }.
Por otra parte, recordemos el concepto de funcion armonica.
Definicion. Sea abierto de R2 . Sea u : R. Diremos que u es armonica

en si u es de clase C 2 (i.e., u tiene derivadas parciales hasta el orden 2 y son
continuas) y cumple
2u
2u
u = 2 + 2 = 0
x
y
en todo punto del abierto .

Gracias a las condiciones de Cauchy-Riemann tenemos:
Corolario. Si f H(), f = u + iv , y u , v son de clase C 2 , entonces u , v son
armonicas en .
Demostracion. Por las condiciones de Cauchy-Riemann, se tiene

2u
v
2u
v
u
u
=
,
=
=
=
x2
x x
x y
y2
y y
y x
y, como u es de clase C 2 , las derivadas cruzadas coinciden y tenemos que u es
armonica. Analogamente se razona con v.
Observacion.
Veremos mas adelante que si f H() entonces f es indefinidamente derivable, lo cual implicara que la hipotesis C 2 del corolario es innecesaria.
Las condiciones de Cauchy-Riemann nos van a permitir obtener funciones
holomorfas a partir de funciones armonicas en abiertos de R2 . Empecemos con la
siguiente definicion:
Definicion. Dada u armonica en un abierto de R2 , diremos que v es armonica
conjugada de u en si f = u + iv es holomorfa en . O, equivalentemente, por
las condiciones de Cauchy-Riemann, v satisface las condiciones
vx = u y , v y = u x
en todo punto de .
Es inmediato demostrar que una funcion armonica conjugada de otra es,
asimismo, armonica.
23
Ejemplo 1.
Tomemos la funcion
u(x, y) = e x cos y.
Es una comprobacion inmediata que dicha funcion es armonica en todo R2 . Para
tratar de encontrar una armonica conjugada, planteamos las ecuaciones:
vx (x, y) = u y (x, y) = e x sen y
v y (x, y) = u x (x, y) = e x cos y
Es facil resolver este sistema, obteniendo que la funcion
v(x, y) = e x sen y
es solucion en todo R2 . Por tanto, hemos obtenido que la funcion
f (z) = e x cos y + ie x sen y, z = x + i y
es una funcion holomorfa en todo C. Si utilizamos la notacion polar, podemos
poner
f (z) = e x ei y
Con lo que esta funcion compleja parece tener derecho a llamarse la funcion
exponencial compleja. En efecto lo sera, aunque la introduciremos de forma oficial
con las series de potencias.
Que hayamos podido resolver el sistema en el ejemplo anterior no ha sido
casual. En efecto, vamos a ver en el siguiente resultado que para ciertos abiertos
de C, una funcion armonica siempre tiene armonica conjugada.
Teorema. Sea abierto estrellado de R2 . Sea u armonica en . Entonces, existe
v armonica conjugada de u en .
Demostracion. El resultado es una simple aplicacion del lema de Poincare para

abiertos estrellados. Recordemos que este resultado dice que toda forma diferencial
cerrada es exacta. Entonces, dada nuestra funcion u, consideramos la forma
(x, y) = u y (x, y)d x + u x (x, y)dy
El ser u armonica implica que es una forma cerrada. Entonces, es exacta, lo
cual quiere decir (por definicion) que existe una funcion v diferenciable tal que
vx = u y y v y = u x . Luego v es armonica conjugada de u.
24
Observacion.
Mas adelante veremos que el teorema anterior es cierto en abiertos mas generales (los simplemente conexos). Pero, con el siguiente ejemplo, vamos a demostrar
que no es ampliable a abiertos cualesquiera.
Ejemplo 2.
Sea el abierto = C \ {0} y sea la funcion
u(x, y) =
1
log(x 2 + y 2 )
2
que se comprueba sin dificultad que es armonica en .

Esta funcion u no tiene armonica conjugada en .
En efecto, si existiera v armonica conjugada de u en , consideramos la
funcion de variable real
g(t) = v(cos t, sen t), t [0, 2 ].
g es una funcion continua en [0, 2 ] (por composicion de funciones continuas). La
derivamos por la regla de la cadena para funciones de varias variables y utilizamos
las ecuaciones de Cauchy-Riemann, obteniendo
g (t) = vx (cos t, sen t) sen t + v y (cos t, sen t) cos t
= u y (cos t, sen t) sen t + u x (cos t, sen t) cos t = 1.
Esto implica que g(t) = t + C, lo cual no puede ser porque g(0) = g(2 ).
Sin embargo, en un abierto estrellado como C \ (, 0], por el teorema ya
probado, la funcion anterior debe tener armonica conjugada o, lo que es lo mismo,
ser la parte real de una funcion holomorfa. Esta funcion holomorfa cuya parte real
es u veremos mas adelante que es la funcion logaritmo principal.
4. Consecuencias de las condiciones de Cauchy-Riemann.
Las condiciones de Cauchy-Riemann nos permiten obtener con facilidad varios resultados para funciones holomorfas, apoyandonos en el conocimiento de
funciones reales de dos variables.
1. Sea una region (i.e., abierto y conexo) de C. Si f es holomorfa en y
f (z) = 0 para todo z , entonces f es constante.
25
En efecto, si f = u + iv, f = u x iu y = v y + ivx = 0 en implica que

u x = u y = v y = vx = 0 y esto, ya sabemos que implica u, v constantes y,
por tanto f constante.
2. Sea region. Si f es holomorfa en y e f (z) = C (o m f (z) = C ) para
todo z , entonces f es constante.
En efecto, si u = cte, entonces u x = u y = 0. Luego, por Cauchy-Riemann,
tambien sera vx = v y = 0, lo que implica v =cte. Por tanto, f es constante.
Analogamente se razonara si fuera constante la parte imaginaria.
3. Sea region. Si f es holomorfa en y | f (z)| = C para todo z , entonces
f es constante.
En efecto, la hipotesis es u 2 + v 2 = cte. Derivando en esta expresion con
respecto a x e y, tenemos
2uu x + 2vvx = 0, 2uu y + 2vv y = 0.
Si utilizamos las ecuaciones de Cauchy-Riemann tendremos
2uu x 2vu y = 0, 2uu y + 2vu x = 0
Multiplicando la primera u y la segunda v, nos da
(u 2 + v 2 )u x = 0,
de donde u x = 0. De forma parecida se obtiene u y = vx = v y = 0. Por tanto,
u y v son constantes y en consecuencia lo es f .
Observacion.
Notese como las condiciones de Cauchy-Riemann impiden que una funcion
holomorfa pueda tomar valores de forma caprichosa. A poco que exista una ligazon
entre las partes real e imaginaria, e sta fuerza a que la funcion holomorfa sea constante.
Por ejemplo, resultados de esta naturaleza seran:
i) Si f = u + iv es holomorfa en region y u 3 = v entonces f C .
ii) Si f = u + iv es holomorfa en region y 5u + 2v = cte entonces f C .
Comprobamos as que la derivabilidad en C es muy exigente, y no solo a nivel
local.
26
1.5
APENDICE:
CALCULO
DE ARMONICAS
CONJUGADAS
Y METODO
DE MILNE-THOMSON
La Teora de funciones analticas constituye un autentico filon
de metodos de gran eficacia para resolver importantes problemas
de Electroestatica, Conduccion del calor, Difusion, Gravitacion,
Elasticidad y Flujo de corrientes electricas. La gran potencia del
Analisis de variable compleja en tales campos se debe, principalmente, al hecho de que las partes real e imaginaria de una funcion
analtica satisfacen la ecuacion de Laplace.
Este parrafo, tomado de LevinsonRedheffer, loc. cit., pag. 77, da idea de que la
busqueda de funciones holomorfas con parte real (o parte imaginaria) conocidas
es una cuestion importante en muchas aplicaciones de la teora de funciones de
variable compleja.
Hemos visto una solucion de este problema mediante el calculo de funciones
armonicas conjugadas siguiendo lo que, a falta de otro nombre mejor, podemos
denominar el metodo real: dada una funcion u armonica en un abierto conexo
de R2 , nos son conocidas las derivadas parciales de su armonica conjugada v (si
existe!) a traves de las condiciones de Cauchy-Riemann, de manera que el calculo de
primitivas de funciones reales de una variable real [o, equivalentemente, el calculo
de las funciones potenciales de la forma diferencial u y (x, y) d x + u x (x, y) dy]
nos lleva, en casos sencillos al menos, a expresiones explcitas para la(s) funcion(es)
v. Este procedimiento es facilmente automatizable, y resulta comodo llevarlo a
cabo mediante programas de calculo simbolico como Mathematica.
Esquematicamente, podramos proceder as: dada u(x, y),
1.- calcular la derivada parcial de u respecto de x, u x (x, y);
2.- calcular la derivada parcial de u respecto de y, u y (x, y);
3.- integrar u y (x, y) respecto de x, es decir, obtener una primitiva W (x, y)
de u y (x, y) como funcion solo de x;
4.- calcular su derivada parcial respecto de y, W y (x, y);
5.- calcular (y) = u x (x, y) W y (x, y)
6.- integrar (y) respecto de y, es decir, obtener una primitiva (y) de (y);
7.- calcular W (x, y) (y): esta sera una funcion v(x, y) armonica conjugada
de u (y las demas diferiran de ella en la adicion de una constante real).
Tengase en cuenta que Mathematica no proporciona constantes de integracion.
Ademas, el numero de funciones cuyas primitivas puede calcular explcitamente
es limitado.
27
Hay tambien un metodo complejo para tratar el problema, el denominado

metodo de MILNE-THOMSON (ver Phillips, E.G.: Funciones de variable compleja. Dossat, Madrid (1963), p. 1718, y Needham, T.: Visual Complex Analysis.
Clarendon Press, Oxford (1997), pp. 512513), que, aunque precise ciertas condiciones restrictivas, proporciona directamente las funciones holomorfas f con parte
real prefijada u. Su justificacion se basa en resultados importantes que probaremos
posteriormente: toda funcion holomorfa es analtica (y su derivada tambien), y dos
funciones analticas en un abierto conexo son iguales si y solo si coinciden en
un conjunto de puntos de que tenga al menos un punto de acumulacion dentro
de ; por ejemplo, en un segmento abierto (principio de prolongacion analtica).
Sea, pues, un abierto conexo de R2 que corte al eje real, con lo cual la
interseccion de con R contendra al menos un segmento abierto (por que?)
Dada entonces una funcion u armonica en , notemos que la funcion g dada
en por f 1 (x + i y) = u x (x, y) i u y (x, y) es holomorfa en (por que?).
Supongamos que sabemos encontrar una funcion g holomorfa en tal que g (x) =
f 1 (x) = u x (x, 0)i u y (x, 0) para todo x (x, 0) R: entonces g (z) = f 1 (z)
por el principio de prolongacion analtica, y la parte real de g difiere de u en una
constante real (por que?). La funcion f = g + C, para una constante real C
adecuada, tiene como parte real u.
El metodo de Milne-Thompson es tambien facilmente traducible a Mathematica. Pero tanto si se usa este metodo como el anterior, sigue siendo necesario
verificar los resultados obtenidos y valorar el alcance de los procedimientos empleados, muy especialmente debido a que los programas de calculo simbolico, en
general, no tienen en cuenta el dominio de las funciones que intervienen, manipulando tan solo nombres de funciones o funciones dadas por formulas, por
decirlo de alguna manera. Como ejemplo recomendamos vivamente al lector que
pruebe a aplicar los metodos descritos a la malvada funcion u(x, y) = ln(x 2 + y 2 ),
definida y armonica en R2 \ {(0, 0)}. Cuales son sus armonicas conjugadas, segun
Mathematica?
NOTA.
1.2.3.4.5.6.7.8.-
El metodo de Milne-Thompson puede esquematizarse as: dada u(x, y),

calcular la derivada parcial de u respecto de x, u x (x, y);
calcular la derivada parcial de u respecto de y, u y (x, y);
calcular u x (x, 0), es decir, sustituir y por 0 en u x (x, y);
calcular u y (x, 0), es decir, sustituir y por 0 en u y (x, y);
sustituir x por z en u x (x, 0) i u y (x, 0) para obtener f 1 (z);
integrar f 1 (z) respecto de z, es decir, obtener una primitiva g(z) de f 1 (z);
calcular f (z) = g(z) e g(x0 ) + u(x0 , 0) para cualquier x0 R.
Entonces f (z) + ic, c R, son las funciones holomorfas con parte real u;
si se busca una funcion armonica conjugada de u, hallar la parte imaginaria
de f (z).
CAPITULO 2
Funciones analticas
2.1
INTRODUCCION
Para definir las series de potencias y la nocion de analiticidad a que conducen, solo
se necesitan las operaciones de suma y multiplicacion y el concepto de lmite. Esto
nos dice que las series de potencias en C son otro concepto que podemos definir
exactamente igual que en R y gozara de las mismas propiedades y con identicas
demostraciones que en R (si no dependen de la ordenacion de R!).
Por tanto, este captulo (al menos, los dos primeros apartados) va a ser un simple repaso de lo que conocemos en R, pero puesto en el contexto de C. Los detalles
pueden consultarse en Apostol, T.M.: Analisis Matematico (segunda edicion). Reverte, Barcelona (1991).
2.2
SERIES EN C: GENERALIDADES.
1. Dada una sucesion
(z n )
n=0
C, la serie infinita
z n se dice convergente
n=0
si
lim
N
z n C.
n=0
Al valor de dicho lmite se le denota tambien por
z n y se le llama suma
n=0
de la serie.
2. Criterio de convergencia de Cauchy.

n

z n converge > 0, n 0 N si n > m > n 0 ,
z k < .
k=m
n=0
3. Decimos que la serie

numeros reales
z n converge absolutamente si converge la serie de
n=0
|z n | (recordemos que podemos poner mas abreviadamente
n=0
|z n | < +).
n=0
28
Funciones analticas
29
Toda serie absolutamente convergente es convergente, pero el recproco no es

cierto.

4. La serie
z n converge si y solo si convergen las dos series de numeros reales
n=0
e z n y
n=0
m z n . Ademas
n=0
zn =
n=0
e z n + i
n=0
m z n .
n=0
5. Producto de Cauchy de series.

Consideremos dos series de numeros complejos,
ck =
n+m=k
La serie
an ,
n=0
k N {0}, definimos
an bm =
k
bn . Para cada
n=0
an bnk = a0 bk + a1 bk1 + . . . + ak b0 .
n=0
ck se llama producto de Cauchy de las series
k=0
an y
n=0
bn .
n=0
En principio, e sta es una definicion formal, que no atiende a la convergencia

de las series que intervienen. Si efectuaramos la multiplicacion de las sumas
infinitas de an y bm , colocando todos los sumandos del producto an bm en una
tabla (infinita) de doble entrada, asociandolos segun las diagonales secundarias, el
resultado es la serie producto de Cauchy de las iniciales; cada sumando producto
an bm interviene una y una sola vez, sin ausencias ni repeticiones. Cabe esperar, por
tanto, que cuando sea lcito reagrupar terminos (si disponemos de las propiedades
conmutativa y asociativa), partiendo de series convergentes lleguemos a una serie
convergente con suma el producto de las sumas. Un resultado bastante satisfactorio,
que sera todo lo que necesitemos, es el siguiente.

Teorema (Mertens). Si las series
an y
bn son absolutamente convergentes,
entonces la serie

k=0
n=0
n=0
ck es absolutamente convergente y ademas,

n=0

an

n=0

bn

k=0
ck .
30
Funciones analticas
6. Convergencia uniforme. Criterio M de Weierstrass.

Recordemos la siguiente:
Definicion. Sean f n , f : A C C. Diremos que f n f uniformemente
en A si
> 0, n 0 N si n n 0 , | f n (z) f (z)| < , z A,
Equivalentemente
sup | f n (z) f (z)| 0.
zA
Es claro que la convergencia uniforme implica la convergencia puntual en

cada punto de A.
Definicion. Dado abierto de C, y f n , f : C, diremos que f n f
casi uniformemente en si f n f uniformemente sobre cada subconjunto
compacto de .
Como el lmite uniforme de funciones continuas es una funcion continua y la
continuidad es una propiedad local, tenemos:
Proposicion. Sea abierto de C, y f n , f : C. Si para cada n N, las
funciones f n son continuas en y f n f casi uniformemente en , entonces
f es continua en .
Para series de funciones, se tienen las definiciones analogas (como limite de
las funciones sumas parciales).
El siguiente resultado sera de uso frecuente.
Criterio M de Weierstrass. Dadas f n : A C C. Si podemos encontrar
una sucesion (Mn ) de numeros positivos tal que
| f n (z)| Mn , z A
Mn < +
n=0
entonces,

n=0
f n (z) converge uniformemente y absolutamente en A.
Funciones analticas
2.3
31
SERIES DE POTENCIAS
Definicion. Dado a C, llamaremos serie de potencias centrada en a a toda

serie de la forma
an (z a)n = a0 + a1 (z a) + a2 (z a)2 + . . . ,
n=0
donde los coeficientes (an ) C.

El primer problema es saber para que puntos de C converge. Es claro que,
sean cuales sean los coeficientes, una serie de potencias siempre converge en a.
El siguiente resultado (con demostracion totalmente analoga a la de R) deja
claro este problema de convergencia de una serie de potencias.
En el enunciado utilizamos la notacion D(a; +) = C.

n
Teorema 1 (Abel). Sea
n=0 an (z a) una serie de potencias centrada en a .
Entonces, existe un numero R [0, +] tal que

n
1.
n=0 an (za) converge absolutamente y casi uniformemente en D(a; R).

n
2.
n=0 an (z a) no converge en C \ D(a; R).
1

3. Formula de Cauchy-Hadamard: R = lim sup |an |1/n .
Observaciones.
i) R se llama radio de convergencia de la serie de potencias y D(a; R) disco
de convergencia. Si R = 0, la serie solo converge en z = a, y si R = +,
la serie converge en todo punto de C.
En los casos intermedios 0 < R < +, el teorema asegura que la serie
converge en el disco abierto, y no converge en el exterior del disco. No se
afirma nada en relacion a lo que ocurre en la frontera {z : |z a| = R}. Este
problema del comportamiento en la frontera de una serie de potencias, debe
ser analizado en cada caso particular.
ii) Notese que R no depende de a. A efectos de convergencia, lo que le ocurre a
la serie viene determinado por los coeficientes
(an ). Por ello, es suficiente que

n
estudiemos series centradas
en 0, ann z , pues los resultados se trasladaran
de forma obvia a la serie an (z a) .
32
Funciones analticas
iii) Toda serie de potencias con radio R > 0, define una funcion

an (z a)n , z D(a; R),
f (z) =
n=0
que, al ser lmite casi uniforme de funciones continuas, es una funcion continua
en D(a; R).
iv) En muchos casos, la formula de Cauchy-Hadamard se simplifica, si recordamos el siguiente resultado sobre lmites.
Dada una sucesion (an ), con an = 0, n, si
|an+1 |
[0, +],
lim
n |an |
el valor de dicho lmite coincide con lim sup |an |1/n . Por tanto, en los casos en
que esto ocurra (en la practica sera frecuente), tendremos la siguiente formula
para el radio de convergencia,
|an |
.
R = lim
n |an+1 |
v) Aun en casos en que no sepamos calcular el radio por la formula de CauchyHadamard, las dos primeras partes del teorema de Abel dan muy buena informacion.
Por ejemplo, si sabemos que la serie converge en un punto concreto z 0 C,
forzosamente debe ocurrir que R |a z 0 |.
Del mismo modo, si la serie no converge en un punto z 1 C, forzosamente
R |a z 1 |.
Para estudiar el comportamiento de una serie de potencias en los puntos de la
frontera de su crculo de convergencia es suficiente en los casos mas sencillos el
siguiente criterio.
Criterio de Dirichlet.
Sea (an ) una sucesion de numeros reales, no creciente y
complejos cuyas sumas parciales
convergente a 0. Sea bn una serie de numeros
forman una sucesion acotada. Entonces la serie an bn es convergente.
En lo que sigue, por abreviar notacion y teniendo en cuenta la observacion ii),
bastara que consideremos series de potencias centradas en 0. El numero R colocado
sin mas al lado de la serie, sera su radio de convergencia.
El primer resultado que vemos a continuacion nos indica que las series de
potencias, definen funciones muy buenas desde un punto de vista analtico (son
indefinidamente derivables) y desde un punto de vista algebraico (se puede derivar
termino a termino).
Funciones analticas
Teorema 2. Sea
Entonces,
33
n
n=0 an z , R (0, +]. Sea f (z) =

n=0
an z n , |z| < R .
i) f es derivable en D(0; R), y ademas

f (z) =
nan z n1 , |z| < R.
n=1
ii) f es indefinidamente derivable en D(0; R), y para cada k N,

f
(k)
(z) =
n(n 1) . . . (n k + 1)an z nk , |z| < R.
n=k
iii) Para cada k N {0},
f (k) (0)
.
ak =
k!
iv) La serie antiderivada o primitiva termino a termino

an n+1
z
n
+
1
n=0
converge en D(0; R) a una funcion cuya derivada es f .

Observacion.
Notese que las distintas series que aparecen en el enunciado tienen el mismo
radio de convergencia que la de partida, pues es muy sencillo probar que:

n
Si
n=0 an z tiene radio R y P es cualquier polinomio y k N, las series

n=0
an+k z ,
n
P(n)an z n
n=0
tienen radio R.
El apartado iii) del teorema nos dice que los coeficientes vienen determinados
por el valor de las derivadas sucesivas de f en 0. Como para conocer e stas, solo
hace falta conocer f en un entorno de 0, es inmediato el siguiente
34
Funciones analticas

n
n
Corolario. Si dos series de potencias
a
z
y
n=0 n
n=0 bn z con radios R1 , R2 >
0 son tales que coinciden en un entorno de 0, entonces
an = bn , n N {0}.
Hemos ignorado en lo anterior el comportamiento en la frontera del crculo
de convergencia. Si la serie converge en un punto z tal que |z| = R hay alguna
relacion entre la suma de la serie en tal punto y la suma en los puntos interiores?
He aqu una respuesta parcial.

n
Teorema del lmite de Abel. Sea f (z) =
n=0 an z , |z| < R , R (0, +).
Supongamos que la serie converge tambien para z = R . Entonces existe el lmite
radial (a traves del segmento (0, R)) de la funcion f y vale
lim f (x) =
xR
0<x<R
an R n .
n=0
Operaciones con series de potencias.

Sean f (z) =
n
n=0 an z , R1 ; g(z) =

n=0
bn z n , R2 .
1. Suma.

f (z) + g(z) =
(an + bn )z n , R min{R1 , R2 }.
n=0
2. Producto.
f (z) g(z) =

n=0
cn z , c n =
n
n
ak bnk , R min{R1 , R2 }.
k=0
3. Division. Si f (0) = 0 entonces > 0 tal que

1
=
n z n , |z| < .
f (z)
n=0
Este resultado afirma que la funcion 1/ f es una serie de potencias en un

entorno del origen. Pero no es facil dar una expresion explcita de los
coeficientes n en terminos de los an .
Funciones analticas
35
4. Composicion. Si para un z D(0; R2 ),
|bn z n | < R1 , entonces tiene
n=0
sentido la funcion composicion f g, y ademas

f g(z) =
k z k
n=0
en un entorno del origen.

La demostracion de estos dos u ltimos resultados es bastante farragosa.
Teoricamente nos dicen que la division y composicion de series de potencias son series de potencias, pero en la practica son de difcil aplicacion.

n
4. Cambio de centro. Sea f (z) =
n=0 an z , R > 0 y sea b D(0; R).
Entonces, > 0 tal que
f (z) =
bn (z b)n , |z b| < .
n=0
Es decir, dada una serie de potencias, en cualquier punto de su disco de

convergencia, se puede poner como otra serie de potencias centrada en
ese punto.
Principio de identidad de series de potencias.
Teorema 3. Sea f (z) =
Son equivalentes:

n=0
an z n , R > 0. Sea E = {z D(0; R) : f (z) = 0}.
i) E = D(0; R) (es decir, f es identicamente nula).

ii) an = 0, n
iii) E D(0; R) = (i.e., E tiene puntos de acumulacion en D(0; R)).
Demostracion. i) ii) es consecuencia inmediata del corolario del teorema
2 y la implicacion i) iii) es obvia.
Veamos que iii) i). Llamemos A = E D(0; R) = . A es cerrado en
la topologa relativa de D(0; R) porque E siempre es un cerrado de C. Si vemos
que tambien A es abierto en D(0; R) (o, lo que es lo mismo, en C, pues D(0; R)
es abierto), por conexion tendremos que A = D(0; R) y de aqu es muy facil ver
que E = D(0; R), lo que concluira la demostracion.
Sea pues a A (notemos que, por continuidad, f (a) = 0) y veamos que a
es un punto interior, es decir, existe un disco D(a; ) A.
36
Funciones analticas
Por el cambio de centro, f sera una serie de potencias en un entorno de a,
f (z) =
bn (z a)n , en D(a; ) D(0; R)
n=1
(la serie empieza en 1, pues f (a) = 0).

Si bn = 0, n tendremos claramente que D(a; ) A.
En otro caso, sea bk el primer coeficiente que no se anula. Entonces,
f (z) = (z a)
bn (z a)nk = (z a)k g(z)
n=k
donde g es una funcion continua (pues es una serie de potencias) con g(a) = 0, lo
que implica que g(z) = 0 en un entorno U de a. Por tanto, f (z) = 0 en U \ {a},
lo que contradice que a E . Luego, forzosamente, tiene que ocurrir bn = 0, n,
y esto demuestra el resultado.
El teorema anterior afirma que si una serie de potencias se anula en un subconjunto del disco abierto de convergencia que tenga algun punto de acumulacion
en dicho abierto, entonces la serie es identicamente nula.
2.4
FUNCIONES ANALITICAS
Definicion. Sea = un abierto de C. Una funcion f : C se dice

analtica en a , si existe una serie de potencias centrada en a con radio R > 0
tal que

f (z) =
an (z a)n , |z a| < .
n=0
Es decir, f coincide con una serie de potencias en un entorno de a .

f se dice analtica en si lo es en cada punto a .
Ejemplos.
1. Todo polinomio es una funcion analtica en C. En efecto, siempre podemos
cambiar de base y expresar, para cualquier a C,
P(z) = a0 + a1 z + . . . + an z n = b0 + b1 (z a) + . . . + bn (z a)n .
Funciones analticas
37
2. Gracias al resultado de cambio de centro, toda serie de potencias f (z) =

an z n con radio R > 0 es analtica en D(0; R). Analogamente, f (z) =
n=0
an (z a)n es analtica en D(a; R).
n=0
3. La funcion racional f (z) =

que es analtica en 0, pues
1
es analtica en C \ {1}. En efecto, es claro
1z

1
z n , |z| < 1.
=
1z
n=0
Pero, utilizando esta misma suma, si a C \ {1},

1
1
1
1
=
=
za
1z
1 a (z a)
1 a 1 ( 1a
)

(z a)n
za n
1
=
1 a n=0 1 a
(1 a)n+1
n=0

z a
< 1. Es decir, en el entorno de a, |z a| < |1 a|.
siempre que
1 a
De forma parecida, descomponiendo en fracciones simples, no es difcil probar
que toda funcion racional es analtica en su dominio de definicion, esto es, en
todo C menos los ceros del denominador.
Proposicion. Si f es analtica en entonces f es holomorfa. Es mas, f es
indefinidamente derivable en .
Demostracion. Es claro, pues la derivabilidad es una propiedad local y ya sabemos

que una serie de potencias es indefinidamente derivable.
Operaciones con funciones analticas.
1. La suma y el producto de funciones analticas son analticas.
2. Si f es analtica en a y f (a) = 0 entonces 1/ f es analtica en a.
3. Sean f : C, g : 1 C con f () 1 . Si f es analtica en a y g
es analtica en f (a), entonces g f es analtica en a.
Observacion.
Estos resultados son consecuencia de las correspondientes operaciones para
serie de potencias. No merece la pena insistir en la demostracion porque, mas
adelante, veremos que, en C, una funcion es analtica si y solo si es holomorfa, y
para funciones holomorfas ya conocemos las propiedades 1, 2 y 3.
38
2.5
Funciones analticas
ANALITICA
PRINCIPIO DE PROLONGACION
El siguiente resultado va a ser consecuencia del principio de identidad de series de

potencias.
Teorema (P.P.A.). Sea una region de C. Sea f : C analtica en . Son
equivalentes:
i) f 0 en .
ii) a con f (n) (a) = 0, n N {0}.
iii) f = 0 en un subconjunto de con punto de acumulacion en .
Demostracion.
i) ii) Inmediato.
ii) iii) En un entorno de a, D(a; ),
f (n) (a)
f (z) =
.
an (z a) y an =
n!
n=0
n
As, f = 0 en todo D(a; ) al menos, y obviamente D(a; ) tiene punto de

acumulacion en .
iii) i) Por hipotesis, un subconjunto de E = f 1 (0) tiene puntos de
acumulacion en , luego tambien los tiene el propio E, de modo que E = .
Usemos el clasico argumento de conexion.
E es cerrado en .
E es abierto en . En efecto, sea a E . En un entorno de a,
D(a; ) ,

an (z a)n .
f (z) =
n=0
Esta serie se anula en un conjunto con punto de acumulacion en D(a; ) (precisamente el punto a E D(a; )). Por tanto, por el principio de identidad para
series de potencias la serie es nula. As, f = 0 en D(a; ), es decir, D(a; ) E,
de donde se deduce facilmente que D(a; ) E .
Entonces, como es conexo, E = . Luego todo z esta en E y de
aqu, como f es continua, f (z) = 0.
Funciones analticas
39
Corolario. Sea una region de C. Sean f y g funciones analticas en . Son

equivalentes:
i) f g en .
ii) a con f (n) (a) = g (n) (a), n N {0}.
iii) f = g en un subconjunto de con punto de acumulacion en .
Demostracion. Basta tomar la funcion f g.

Si denotamos, para abierto
A() = { f : C : f es analitica en },
tenemos esta otra consecuencia:
Corolario. Sea region. Sean f, g A() tales que la funcion f g 0 en .
Entonces, o f 0 en , o g 0 en . Dicho de otra manera, A() es un dominio
de integridad.
Demostracion. Si para un z 0 , f (z 0 ) = 0, entonces, por continuidad, f = 0 en

un entorno de z 0 . Luego debe ser g = 0 en dicho entorno, y como e ste tiene puntos
de acumulacion en , por el teorema, g 0 en .
Observacion.
Segun la definicion, si f A(), en un punto a , coincide en un entorno
de a con una serie de potencias centrada en a con R > 0. A su vez, esta serie
tambien es analtica y, por tanto, por el P.P.A., tendremos que la igualdad
f (z) =
an (z a)n
n=0
es valida en la componente conexa de D(a; R) que contiene al punto a.
(Cuidado: aunque y D(a; R) son

conexos, su interseccion D(a; R) no
tiene por que serlo, como se ve en la figura,
de manera que hay que evitar la tentacion
natural de escribir la igualdad para todo
z de la interseccion; puede haber desigualdad en los puntos de las componentes conexas de la interseccion que no contengan
al punto a.)
CAPITULO 3
Funciones elementales basicas

3.1
INTRODUCCION
La familiaridad que hemos llegado a tener con funciones como la exponencial,

el logaritmo, las funciones trigonometricas, pueden habernos hecho olvidar que
en realidad nunca hemos establecido una definicion analtica rigurosa de ellas.
Mediante consideraciones graficas, en algunos casos, o confiando en la autoridad
de turno en otros, hemos aceptado ciertas propiedades (entre ellas, nada menos que
su existencia), de las que hemos ido deduciendo las demas.
Con nuestros conocimientos actuales, este es un buen momento y un buen
lugar para ofrecer esa definicion rigurosa mediante series de potencias en el campo
complejo y mostrar como de la definicion van saliendo las propiedades que nos
son tan conocidas. No es e sta, desde luego, la u nica via de construccion posible
(pueden introducirse tambien mediante integrales indefinidas, o como soluciones
de ciertas ecuaciones o sistemas de ecuaciones diferenciales), pero indudablemente es la mas adecuada al presente curso.
3.2
EXPONENCIAL
FUNCION
exponencial
Funcion
+ n

z
tiene radio de convergencia +, por lo que podemos
La serie de potencias
n!
n=0
definir en todo C una funcion como suma de tal serie.
Definicion 3.1. Se llama funcion exponencial a la definida por

+ n

z
C.
exp : z C exp(z) =
n!
n=0
El numero exp(1) se denota por e, y suele escribirse e z en lugar de exp(z)

[notacion justificada por la propiedad que probaremos a continuacion en (1.4)].
40
41
Propiedades de la exponencial compleja.

(1.1) La funcion exponencial es derivable (indefinidamente) y su derivada es ella
misma: para cada z C,
exp (z) = exp(z).
(1.2) exp(0) = 1.
(1.3) Para cada z C,
1
exp(z)
con lo que, en particular, exp(z) = 0. Ademas, para cualesquiera z , w C,
exp(z) =
exp(z + w) = exp(z) exp(w).

(1.4) Dados n N y z C, exp(nz) es el producto de n factores iguales a exp(z),
n
exp(nz) = exp(z) exp(z);

n
en particular, exp(n) = e e.
(1.5) Para cada x R, tambien exp(x) R.
Demostracion. (1.1) Basta aplicar la regla de derivacion de una funcion definida
mediante una serie de potencias.
(1.2) Obvio.
(1.3) Puede verse directamente a partir de la definicion y de la multiplicacion de
series de potencias. Otra demostracion que usa solo las propiedades diferenciales
de la exponencial es la siguiente:
Para un w cualquiera en C previamente fijado, definamos
f : z C f (z) = exp(z) exp(z + w) C.
Derivando de acuerdo con (1.1),
f (z) = exp(z) exp(z + w) + exp(z) exp(z + w) = 0,
luego como C es conexo, f toma constantemente el valor f (0) = exp(w).
Si el w elegido es 0, esto significa que exp(z) exp(z) = 1 cualquiera que
sea z C. Por consiguiente, volviendo al caso general, de exp(z) exp(z + w) =
f (0) = exp(w) podemos despejar
exp(z + w) = exp(z) exp(w).
(1.4) Se prueba por induccion sobre n utilizando (1.3).
(1.5) Si x R, los terminos de la serie que define exp(x) son todos reales.
La restriccion de exp a R puede verse entonces como una aplicacion de R en R.
Denotaremos provisionalmente por Exp esta funcion, de modo que Exp : R R,
y la llamaremos exponencial real. Recogemos sus propiedades mas importantes.
42
Propiedades de la exponencial real.

(1.6) Para cada x R,
Exp(x) > 0.
(1.7) La funcion exponencial real es estrictamente creciente y convexa. En particular, es inyectiva.
(1.8) Se tiene
lim Exp(x) = + ,
lim Exp(x) = 0.
x+
En consecuencia, el conjunto imagen de la funcion exponencial real es (0, +).

Demostracion. (1.6) Exp(x) = (Exp(x/2))2 0 y Exp(x) = 0.
(1.7) La derivada primera y la derivada segunda de la funcion exponencial
real (que son iguales a ella misma) son estrictamente positivas.
(1.8) Puesto que la funcion exponencial real es estrictamente creciente,
e = Exp(1) > Exp(0) = 1,
luego lim Exp(n) = +. Nuevamente por la monotona de la funcion exponencial,
n
esto basta para probar que
lim Exp(x) = +.
x+
Finalmente,
1
= 0.
y+ Exp(y)
lim Exp(x) = lim Exp(y) = lim
y+
Aplicando el teorema de los valores intermedios (Darboux) se sigue que la

funcion exponencial aplica R sobre (0, +).
Observese que, segun la exposicion anterior, todas las propiedades basicas de
la funcion exponencial se deducen realmente de (1.1) y (1.2), que en este sentido
pueden ser consideradas sus propiedades fundamentales. Esto no es tan sorprendente sin pensamos en la unicidad de solucion de la ecuacion diferencial y = y
con la condicion inicial y(0) = 1.
En lo que sigue volveremos ya a la notacion tradicional, e z , para la exponencial
de z.
logartmica real
Funcion
Una vez conocidas las propiedades basicas de la funcion exponencial real, podemos definir la funcion logartmica real como su funcion inversa, y deducir de ah
sus propiedades. No puede procederse de la misma manera con la exponencial
compleja, como se vera mas adelante.
43
Definicion 3.2. La funcion logartmica real

ln : x (0, +) ln x R
es la inversa de la funcion exponencial, de modo que ln x = y si y solo si e y = x.
Por tanto, esta caracterizada por cumplir
ln(e x ) = x
cualquiera que sea x R
y
eln x = x
cualquiera que sea x (0, +) .
Sus propiedades son consecuencia de las de la funcion exponencial.

Propiedades del logaritmo real.
(2.1) La funcion logartmica real es derivable indefinidamente, y su derivada es la
funcion 1/x .
(2.2) ln 1 = 0, ln e = 1.
(2.3) Para cada x (0, +),
1
ln = ln x .
x
(2.4) Dados x, y (0, +),
ln(x y) = ln x + ln y .
(2.5) Dados n N y x (0, +),
ln(x n ) = n ln x .
(2.6) El conjunto imagen de la funcion logartmica real es R.
(2.7) La funcion logartmica real es estrictamente creciente y concava. En particular,
es inyectiva.
(2.8) Se tiene
lim ln x = +,
lim ln x = .
x+
x0+
Demostracion. Recordar las propiedades de la funcion inversa estudiadas para

funciones reales de variable real.
44
3.3
FUNCIONES SENO Y COSENO
Funciones complejas seno y coseno

Definicion 3.3. La funcion seno esta definida por
sen : z C sen z =

(1)n z 2n+1
(2n + 1)!
n=0
C,
y la funcion coseno por

cos : z C cos z =

(1)n z 2n
n=0
(2n)!
C.
Estas funciones estan bien definidas, pues las series de potencias que figuran
en las formulas tienen radio de convergencia +. Recordando la definicion de la
funcion exponencial, las relaciones siguientes son inmediatas:
ei z ei z
sen z =
,
2i
ei z + ei z
cos z =
2
para cada z C, con lo que la funcion exponencial aparece como mas elemental
que el seno y el coseno, en el sentido de que e stas son combinaciones lineales de
exponenciales.
Propiedades del seno y coseno complejos.
(3.1) El seno y el coseno son funciones derivables indefinidamente y se cumple
para todo z C
sen (z) = cos z,
cos (z) = sen z.
(3.2) El seno es una funcion impar, mientras que el coseno es una funcion par: es
decir, cualquiera que sea z C se tiene
sen(z) = sen z,
cos(z) = cos z .
(3.3) Para todos z , w C,

sen(z + w) = sen z cos w + cos z sen w,
cos(z + w) = cos z cos w sen z sen w.
(3.4) Para cada z C es
45
sen2 z + cos2 z = 1 .
Demostracion. (3.1), (3.2), (3.3)

Se siguen directamente de la definicion mediante series de potencias o a partir
de la expresion en terminos de exponenciales.
(3.4)
Se deduce de (3.2) y (3.3), tomando w = z.
Es instructivo ver como tambien puede probarse esta identidad usando derivacion:
definiendo f : z C f (z) = sen2 z + cos2 z C, a partir de (3.1) obtenemos
f (z) = 2 sen z cos z 2 cos z sen z = 0
para todo z de C, luego f toma constantemente el valor f (0) = 1.
De las formulas anteriores se deducen mediante los calculos de costumbre
otras muchas frecuentemente utilizadas; por ejemplo, las que se recogen en el
siguiente ejercicio.
Ejercicio. Dados z, w C, comprobar que
sen(z w) = sen z cos w cos z sen w;
cos(z w) = cos z cos w + sen z sen w;
1
sen z cos w = [sen(z + w) + sen(z w)];
2
1
sen z sen w = [cos(z + w) cos(z w)];
2
1
cos z cos w = [cos(z + w) + cos(z w)];
2
sen 2z = 2 sen z cos z;
cos 2z = cos2 z sen2 z = 2 cos2 z 1;
sen 3z = 3 sen z 4 sen3 z;
cos 3z = 4 cos3 z 3 cos z
y cualquier otra de las relaciones conocidas sobre las funciones seno y coseno.
Funciones seno y coseno reales
Las funciones seno y coseno toman valores reales sobre R, luego podemos ver
las restricciones de estas funciones a R como funciones reales de variable real.
Estudiemos sus propiedades, para comprobar que coinciden con las que se les
atribuyen habitualmente. Ya hemos encontrado algunas de ellas. Para continuar, lo
primero que necesitamos es definir el numero real .
46
Propiedades del seno y coseno reales.

(4.1) La funcion seno tiene ceros reales positivos, es decir,
{x > 0 : sen x = 0} = .
Este conjunto posee un elemento mnimo, que denotaremos por :

def
= min{x > 0 : sen x = 0} .
En el intervalo (0, ), el seno toma valores estrictamente positivos.
(4.2) cos = 1; cos = 0; sen = 1.

2
2
(4.3) Para
conocer
la
funci
o
n
seno
en R es suficiente conocerla en el intervalo

. En concreto,
0,
2
(4.3.1) para cada x R es
sen ( x) = sen x = sen(x + );
(4.3.2) para cualesquiera x R y k Z,
sen(x + 2k ) = sen x,
es decir, el seno real es una funcion periodica de periodo 2 .

(4.4) Para
la funcion coseno en R es suficiente conocerla en el intervalo
conocer

0,
. En concreto,
2
(4.4.1) para cada x R es
cos ( x) = cos x = cos(x + );
(4.4.2) para cualesquiera x R y k Z,
cos(x + 2k ) = cos x,
es decir, el coseno real es una funcion periodica de periodo

2 .

(4.5) La restriccion de la funcion seno al intervalo ,
es una aplicacion
2 2
estrictamente creciente (en particular, inyectiva) sobre el intervalo [1, 1].
(4.6) La restriccion de la funcion coseno al intervalo [0, ] es una aplicacion estrictamente decreciente (en particular, inyectiva) sobre el intervalo [1, 1].
(4.7) Dado x R, se verifica sen x = 0 si y solo si para algun k Z es x = k .
47
+k .
2
Demostracion. (4.1) Agrupando sumandos convenientemente, es claro que
(4.8) Dado x R, se verifica cos x = 0 si y solo si para algun k Z es x =
sen x > x
x3
>0
3!
siempre que 0 < x 1
y que
43
45
47
49
+
+
< 0,
3!
5!
7!
9!
de donde se deduce que el seno no se anula en (0, 1] pero que, segun el teorema de
Bolzano, debe anularse al menos en un punto comprendido entre 1 y 4. Por tanto,
esta perfectamente determinado el numero real
sen 4 < 4
= inf{x > 0 : sen x = 0}

y es mayor o igual que 1 (luego > 0). Para asegurar que es el mnimo del conjunto,
o sea, que pertenece a e l, basta tener en cuenta que es punto adherente del conjunto
y emplear la continuidad del seno.
As sen x = 0 para todo x (0, ) y por continuidad el seno debe mantener
el signo en todo este intervalo. De acuerdo con la primera desigualdad que hemos
escrito, debe ser estrictamente positivo en e l.
(4.2) Como sen2 + cos2 = 1, se deduce que cos2 = 1 y por tanto
cos = 1 o cos = 1. Pero si cos = 1, como cos 0 = 1, el teorema de Rolle
dara la existencia de algun punto t (0, ) en el que se anulara la derivada del
coseno, con lo cual sera sen t = 0 contra lo que acabamos de probar.
Puesto que cos = 2 cos2 1, debe ser cos = 0, lo que obliga a que
2
2
2
sen
= 1. Como 0 < < , sen debe ser positivo y por tanto igual a 1.
2
2
2
(4.3) Las igualdades de (4.3.1) son consecuencia de las formulas de adicion y
de los valores previamente calculados. La de (4.3.2) se comprueba
induccion.
por

Con esto, conociendo los valores del seno en el intervalo 0,
, podemos
2

obtener los valores en el intervalo
, usando que sen x = sen ( x); por ser
2
el seno impar, pasamos entonces a todo el intervalo [, ] y ya por periodicidad
a todo R.
(4.4) Similar al apartado anterior.
2
(4.5) Para cada x R la igualdad sen2 x +cos
x = 1 asegura que | sen x| 1,

| cos x| 1. Como sen = 1 y por tanto sen
= 1, la continuidad del seno
2
2

y la propiedad de Darboux dan como conjunto imagen de ,
exactamente
2 2
el intervalo [1, 1].
48
demostrar que el seno (que es continua) es estrictamente creciente en

Para

,
, usamos que es estrictamente positiva en (0, ). En consecuencia, el
2 2
coseno (que en cada punto x tiene por derivada sen x) sera estrictamente decreciente
en [0, ], lo que permite afirmar quelos valores que alcanza en el intervalo
0,
son estrictamente mayores que cos = 0; como el coseno es par, lo mismo
2
2

vale en ,
; y finalmente, como el coseno es la derivada del seno, vemos
2 2

.
que e ste u ltimo es estrictamente creciente en ,
2 2
(4.6) Repasar la demostracion anterior.
(4.7) Es inmediato que si para algun k Z es x = k , se verifica que
sen x = 0.
Rec
procamente,
sea x R tal que sen x = 0. Para un k Z sera
1
1

x
k
, k +
. Entonces t = x k ,
y sen t =
2
2
2 2
sen x cos k cos x sen k = 0, luego forzosamente t = 0 y x = k .
(4.8) Similar a la anterior.
Funciones trigonometricas y Trigonometra
Tenemos ahora dos versiones de las funciones seno y coseno: la version analtica
que venimos explorando y la version geometrica de la Trigonometra (=medida de
a ngulos). La coherencia entre ambas versiones la prueba la siguiente proposicion,
que a su vez justifica las afirmaciones que hicimos al definir los argumentos de un
numero complejo no nulo.
Proposicion. Dados x , y R tales que x 2 + y 2 = 1, existe un R de modo
que
cos = x,
sen = y .
Ademas, para que un R cumpla igualmente que

cos = x,
sen = y,
es necesario y suficiente que exista un k Z tal que = + 2k .

Demostracion. Como x [1, 1], existe al menos un t R tal que cos t = x.
Entonces sen2 t = y 2 , de donde o bien sen t = y, y tomaramos = t, o bien
sen t = y, y bastara tomar = t.
Por periodicidad, igualmente cos( + 2k ) = x, sen( + 2k ) = y para todo
k Z.
Supongamos ahora que encontramos R para el que cos = x, sen = y.
Entonces
sen( ) = y x x y = 0,
49
luego por (4.7) existira un m Z tal que = m . Si m fuese de la forma

2k + 1, k Z, resultara cos( ) = 1, mientras que
cos( ) = x x + y y = x 2 + y 2 = 1,
por lo que debe ser m = 2k para algun k Z y finalmente = + 2k .
Graficamente, esta proposicion significa que para cada punto sobre la circunferencia T de centro el origen y radio unidad, hay un numero real que mide el
a ngulo que forma el radio correspondiente al punto con el eje de abscisas, y que
dicho numero esta unvocamente determinado salvo multiplos enteros de 2 . Una
interpretacion algebraica nos dira que la aplicacion t R eit T (que es un
homomorfismo entre el grupo aditivo R y el grupo multiplicativo T) es suprayectiva
y tiene por nucleo el semigrupo 2 Z, de modo que T es isomorfo al grupo cociente
R/2Z (para este enfoque, ver Cartan, H.: Theorie e lementaire des fonctions
analytiques dune ou plusieurs variables complexes. Hermann, Paris (1961).)
3.4
DETERMINACIONES DEL ARGUMENTO Y DEL LOGARITMO.
Querramos definir la funcion logaritmo como la inversa de la funcion exponencial.

Pero nos encontramos con el problema, a diferencia de R, de que la funcion exponencial no es inyectiva en C. Puesto que el logaritmo es una potente herramienta
en la teora de funciones de variable compleja, vamos a estudiarlo en todo detalle.
Valores de la exponencial compleja
Proposicion.
(5.1) Dado z C, sea x = e z , y =
m z . Entonces
e z = e x+i y = e x (cos y + i sen y)
(5.2) Para cada z C

e e z = e e z cos(
m z),
z
e = e e z ,
m e z = e e z sen(
m z),

m z arg e z .
(5.3) La exponencial compleja no es inyectiva: es periodica de periodo 2i . Con

mayor precision, dados z , w C, se tiene e z = ew si y solo si z = w + 2ki
para algun k Z.
(5.4) El conjunto imagen de C mediante la exponencial es C \ {0}. Ademas, para
cada w C \ {0}, e z = w si y solo si
z = ln |w| + i( + 2k ),
k Z,
arg w.
50
Demostracion. (5.1) Segun la formula de adicion

e z = e x ei y ,
y las formulas que ligan seno y coseno con exponenciales dan
cos y + i sen y = ei y .
(5.2) Aplicar lo anterior.
(5.3) Si z = w + 2ki para algun k Z, e z = ew e2ki = ew .
Recprocamente, sea e z = ew . Tomando modulos,
z
e z
= e = |ew | = e e w ,
e
luego por la inyectividad de la exponencial real
e z = e w.
Pero entonces
cos(
m z) + i sen(
m z) = cos(
m w) + i sen(
m w),
o sea
cos(
m z) = cos(
m w),
sen(
m z) = sen(
m w),
lo que, segun hemos visto en la proposicion anterior, solo es posible si

m z =
m w + 2k para algun k Z.
(5.4) Dado w C \ {0}, sea arg w y
z = ln |w| + i.
Obviamente e z = w, y cualquier otro complejo cuya exponencial coincida con w
sera de la forma z + 2ki para algun k Z por lo que acabamos de probar en
(5.3).
Esta informacion engloba asimismo informacion sobre el comportamiento de
otras funciones. Por ejemplo:
Corolario. Los u nicos ceros del seno y el coseno son sus ceros reales. Expresado
de otro modo, si z C,
sen z = 0 z = k, k Z,
cos z = 0 z = + k, k Z.
2
Demostracion. Notese que
sen z = 0 ei z = ei z e2i z = 1 = e0 ,
cos z = 0 ei z = ei z e2i z = 1 = ei .
Determinaciones del argumento y del logaritmo.
La no inyectividad de la funcion exponencial C obliga a ser muy cuidadosos a la
hora de abordar una definicion de logaritmo.
51
Definicion. Dado 0 = z C, diremos que w es un logaritmo de z si exp w = z .

Por tanto, un numero complejo tiene infinitos logaritmos, pero sabemos a
que formula responden: misma parte real (el logaritmo real de |z|) y como parte
imaginaria un argumento de z,
exp w = z w = ln |z| + i( + 2k ), k Z, arg z.
Podramos definir el conjunto
log z = {w : exp w = z}
y se tendra la igualdad entre conjuntos,
log z = ln |z| + i arg z
Cuando queramos tener una funcion logaritmo, bastara fijar una funcion argumento. Por ejemplo, si tomamos el argumento principal, tendramos la funcion
logaritmo principal. Sin embargo, necesitamos conceptos mas flexibles.
/ .
Definicion. Sea = region, tal que 0
1. Diremos que : R es una determinacion del argumento en si:
i) es continua en .
ii) (z) arg z, z , (i.e., ei(z) =
z
).
|z|
2. Diremos que f : C es una determinacion del logaritmo en si:

i) f es continua en .
ii) f (z) log z, z , (i.e., e f (z) = z ).
Estos dos conceptos estan muy relacionados. En efecto,
/ . Entonces,
Proposicion 1. Sea = region, tal que 0
es una determinacion del argumento f (z) = ln |z| + i(z) es una determinacion del logaritmo.
Demostracion.
) Si es continua, es claro que f (z) = ln |z| + i(z) es continua, y
e f (z) = |z|ei(z) = |z|(z/|z|) = z.
52
) Si f es una determinacion del logaritmo, en cada z , su parte real debe

f (z) ln |z|
ser ln |z| y su parte imaginaria (z) =
es una determinacion del
i
argumento, pues es continua y
ei(z) = e f (z) e ln |z| = z/|z|.
Proposicion 2. Sea = region, tal que 0
/ .
i) Si 1 , 2 son dos determinaciones del argumento, entonces
k Z, 1 (z) = 2 (z) + 2k, z .
ii) Si f 1 , f 2 son dos determinaciones del logaritmo, entonces
k Z, f 1 (z) = f 2 (z) + 2ki, z .
Demostracion. i) Si 1 (z), 2 (z) arg z entonces, para cada z , 1 (z)

2 (z) = 2k(z), con k(z) entero. La funcion k : Z es continua, y como
es region, su rango debe ser conexo y subconjunto de Z, luego solo puede ser un
punto. Es decir, k(z) k es constante.
ii) Consecuencia de i), o directamente de forma similar.
Ejemplos.
1. El ejemplo mas aparente es Arg z, que es una determinacion del argumento
en la region C \ (, 0].
La correspondiente determinacion del logaritmo en C \ (, 0]
Log z = ln |z| + i Arg z
se llama funcion logaritmo principal.
Notese que el dominio de definicion de esta funcion es C \ {0}, pero solo es
continua en C \ (, 0]. Su restriccion a (0, +) es el logaritmo real.
2. Analogamente, fijado R, la funcion Arg[,+2 ) es una determinacion del
argumento en C \ {r ei : r 0}. Y, la correspondiente determinacion del
logaritmo es Log[,+2) z = ln |z| + i Arg[,+2 ) .
3. Las anteriores no son, obviamente, las u nicas determinaciones del argumento
y del logaritmo. Veamos algun ejemplo mas:
53
La funcion : R, definida por
(z) = Arg z, si z A,
(z) = Arg z + 2, si z B,
4.
(el segmento de R lo debemos incluir

en A), es continua en y, en cada punto,
(z) arg z. Por tanto, es una determinacion del argumento en .
Sea = C \ , ( une continuamente
0 e ).
La funcion : R, definida por
(z) = Arg z, si z A,
(z) = Arg z + 2 , si z B,
es una determinacion del argumento en
.
5.
Sea = D(0; 2) \ D(0; 1). En no

existe determinacion continua del argumento. Supongamos que : R
lo es. En la region = \ R , y
Arg z son dos determinaciones del argumento y, por tanto, para algun k Z
(z) = Arg z + 2k, z .
Pero entonces, no puede ser continua en porque si z 0 (2, 1), los lmites de
(z) para z z 0 a traves de {z :
m z > 0} o a traves de {z :
m z < 0}
difieren en 2 .
Proposicion. Si f es una determinacion del logaritmo en entonces f es holomorfa en . Ademas,
1
f (z) = , z .
z
Demostracion. Fijemos un punto z 0 . Como la derivada de la funcion exponencial es 1 en el punto 0, se tiene
ew 1
= 1.
lim
w0
w
54
A partir de aqu, deducimos,

w
1 < |z 0 |.
> 0, > 0 |w| < w
e 1
Por otro lado, como f es continua en z 0 , se tiene,
1 > 0 |h| < 1 | f (z 0 + h) f (z 0 )| < .
Juntando estos dos hechos, y usando que e f (z) = z, si |h| < 1 ,

f (z 0 + h) f (z 0 )

f (z 0 + h) f (z 0 )
1
1
=

h
z 0 e f (z0 +h) e f (z0 )
e f (z0 )

1 f (z 0 + h) f (z 0 )
< .
1
=

f
(z
+h)
f
(z
)
0
0
|z 0 | e
1
Luego, f es derivable en z 0 con derivada 1/z 0 .
Todava tenemos mucho mas.
Proposicion. Si f es una determinacion del logaritmo en entonces f es analtica
en .
Demostracion. Sea z 0 . Se verifica
n

1
1
1
n (z z 0 )
=
(1)
, |z z 0 | < |z 0 |.
=
n+1
z
z0 1 + z z0
z
0
n=0
z0
Por tanto, la serie de potencias primitiva termino a termino de la anterior

n=0
(1)
(z z 0 )n+1
(n + 1)z 0n+1
es derivable en D(z 0 ; |z 0 |) y su derivada es 1/z. Como e ste tambien es el caso de

f en un entorno (conexo) de z 0 , tendremos
n+1

n (z z 0 )
(1)
f (z) = C +
(n + 1)z 0n+1
n=0
en un entorno de z 0 . Por tanto, f es analtica en z 0 .
55
Observacion.
La funcion Log(1 + z) es holomorfa (y analtica) en C \ (, 1], por
composicion. Por cambios de variable, o bien, repitiendo la demostracion anterior,
obtenemos que el desarrollo en un entorno de 0 es:
Log(1 + z) = C +
(1)n
n=0
z n+1
, |z| < 1
n+1
Evaluando la igualdad en z = 0, vemos que el valor de la constante es C = Log 1 =

0.
Finalmente, cambiando el parametro de sumacion,
Log(1 + z) =

n=1
(1)n+1
zn
, |z| < 1.
n
El criterio de Dirichlet garantiza la convergencia de la serie tambien para

|z| = 1, z = 1. La suma en tales puntos sigue siendo Log(1 + z) (por que?).
Observacion.
En la practica, convendra tener cuidado con el siguiente aspecto. Es claro
que si arg z, arg w, entonces + arg(zw), pero al particularizar
a determinaciones concretas del argumento no siempre se traduce e sto en una
igualdad. As, en general,
Arg z + Arg w = Arg(zw).
De forma analoga, en general,
Log z + Log w = Log(zw),

por ejemplo Log(1) + Log(1) = 2i = 0 = Log (1)(1) , aunque siempre

ocurre que
Log z + Log w log(zw).
3.5
EXPONENCIALES Y POTENCIAS ARBITRARIAS
Al tener concepto de logaritmo, podemos definir la potenciacion.
56
Definicion. Dados u, v C, con u = 0, se define el conjunto

u v = {exp(v) : log u}
Podramos poner brevemente (igualdad entre conjuntos),
u v = exp(v log u)
Los elementos del conjunto u v son, por tanto,
exp{v(ln |u| + i Arg u + 2ki)}, k Z.
Este conjunto consta, en general, de infinitos elementos. Pero, debido a la periodicidad de la funcion exponencial, estos elementos podran repetirse y dar un conjunto
finito. De hecho, es muy facil probar que:
i) Si n N, u n consta de un solo elemento. Precisamente, u.u. . . .n) u.
ii) u 0 = 1.
iii) Si n Z , u n =
1
u n
iv) Si n N, u 1/n consta de n elementos, justamente las n races n-esimas de u.

Ahora, bastara precisar la eleccion de logaritmos para tener funciones exponenciales y potenciales
1. Dado a = 0, la funcion
f (z) = a z = exp(z Log a)
es la funcion exponencial de base a. Es decir, a no ser que se indique lo
contrario, la expresion a z indicara que estamos tomando el logaritmo principal.
Es claro que es una funcion entera (de hecho, analtica en C), pues solo se
diferencia de la exponencial por el factor constante Log a.
2. Dado C, tambien usaremos la notacion z para indicar la eleccion del
logaritmo principal.
f (z) = z = exp( Log z), z C \ {0}.
Su dominio de definicion es C\{0}, pero solamente es holomorfa (y analtica),
por composicion de ellas, en C \ (, 0].
57
Cuando el parametro es entero, es claro que, de hecho z es holomorfa en

C \ {0}. Y si es natural, es holomorfa en C (definiendola como 0 en 0). En
cualquier otro caso, no puede ser holomorfa mas alla de C \ R , pues es facil
ver que en los puntos de R no es contnua.
Desarrollo de (1 + z) en serie de potencias centrada en 0.
Por razones obvias, se considera (1+z) (y no z ) para desarrollar en potencias
de z. En todo caso, es claro que simples cambios de variable llevan la informacion
de una funcion a otra.
Denotemos
f (z) = (1 + z) = exp( Log(1 + z)), z = 1.
Esta funcion es analtica en C \ (, 1] (por composicion de analticas) y, por
tanto, es analtica en 0. Esto, teoricamente, nos dice que existe una serie de potencias
centrada en 0 con radio R > 0, tal que
f (z) =
an z n
n=0
en un entorno de 0. Si derivamos por la regla de la cadena,

f (z) =
f (z)
1+z
y, as, se debe cumplir la ecuacion

(1 + z) f (z) f (z) = 0.
Por otra parte, la derivada de f es
f (z) =
an nz n1
n=1
Entonces, la ecuacion (1) queda

n=1
an nz
n1
an nz
n
n=1
= (a1 a0 ) +
n=0
an z n
((n + 1)an+1 + (n )an )z n = 0
n=1
(1)
58
en un entorno del origen. Luego todos los coeficientes deben ser 0, o sea,
(n + 1)an+1 = ( n)an , n = 0, 1, 2, . . .
Empezando con a0 = f (0) = 1, es facil comprobar por induccion que
an =
( 1) . . . ( n + 1)
n!
Llamaremos a esta u ltima cantidad numero
combinatorio generalizado y denotaremos (para C)

( 1) . . . ( n + 1)
, n N;
=
n!
n

= 1.
0
Por tanto, hemos obtenido
(1 + z) =

n=0
zn ,
(2)
en un entorno del origen.

Por u ltimo, observemos que si es un numero natural, n = 0 si n > y la

ecuacion (2) no es otra cosa que la formula del binomio de Newton.
En otro caso, es facil ver que la serie en (2) tiene radio R = 1. Tanto f como
la serie son analticas en D(0; 1) y coinciden en un entorno del origen. Entonces,
por el P.P.A. tendremos
(1 + z) =

n=0
z n , |z| < 1.
Raz cuadrada principal.

Cuando se particulariza lo anterior para el exponente = 1/2, obtenemos
el conjunto de las races cuadradas y la raz cuadrada principal. Nos encontramos
ahora con un buen lo de notacion: que significa z 1/2 ? que significa z? Los
convenios utilizados varan de unos textos a otros, por lo cual, ante la menor
ambiguedad, merece la pena explicitar el significado atribuido a los signos que se
esten empleando.
59
Entodo lo que sigue, salvo que se diga expresamente otra cosa, pondremos:
(i) z para el conjunto de las races cuadradas de z, es decir,
def
z = {w C : w2 = z}.
(Ojo: no es una notacion estandar). Tiene sentido para todo z C, incluido
z = 0.
1
(ii) z o z 2 para la raz cuadrada principal de z, es decir,
z = z 2 = e(1/2) Log z .
def
def
Tiene sentido para todo z C \

{0}, aunque por comodidad puede ser conve1
niente a veces escribir tambien 0 = 0 2 = 0.
(ii.1) Segun este convenio, para todo z C es
1
1
z = { z, z} = {z 2 , z 2 }.
(ii.2) Cuando z sea un numero real no negativo, z [0, +), como z = 0 o
Arg z = 0 se obtiene como raz cuadrada principal de z justamente su
raz cuadrada real no negativa, con lo cual las notaciones introducidas
son consistentes con las que empleamos para numeros reales.
Por lo que a desarrollos en serie de potencias respecta, bien repitiendo el
proceso visto anteriormente o bien calculando

1 3 5 (2n 3)
1/2
,
= (1)n1
2 4 6 (2n)
n
n 2,
que suele abreviarse mediante factoriales dobles en

1/2
(2n 3)!!
= (1)n1
,
n
(2n)!!
queda, incluso si |z| = 1 (los coeficientes son del tamano de n 3/2 ),
1
(2n 3)!! n
z
1+z =1+ z+
(1)n1
2
(2n)!!
n=2
1
1
1
5 4
z + ...,
= 1 + z z2 + z3
2
8
16
128
|z| 1.
60
1
Otro desarrollo importante, correspondiente a = , es
2
1
1+z
=1+
(1)n
n=1
(2n 1)!! n
z
(2n)!!
3
1
5
= 1 z + z2 z3 + . . . ,
2
8
16
|z| < 1.
Del criterio de Dirichlet y el teorema del lmite de Abel se sigue que el

desarrollo es valido siempre que |z| 1, z = 1.
3.6
OTRAS FUNCIONES ELEMENTALES
Funciones trigonometricas e hiperbolicas

complejas.
Funciones trigonometricas como la tangente, cotangente, secante y cosecante, as
como las funciones hiperbolicas, se pueden definir en C usando las formulas que
las definen en R. Las funciones obtenidas son las u nicas extensiones analticas al
dominio correspondiente de las funciones reales del mismo nombre. De entre las
muchas relaciones y propiedades que podemos deducir facilmente, nos limitamos
a senalar un par de ellas que ligan funciones de distinto grupo.
Proposicion. Dado z C,
Sh z = i sen(i z),
Ch z = cos(i z).
Otras funciones inversas

La funcion arco tangente compleja.
Para su definicion, de nuevo tendremos que tomar precauciones, porque la
funcion tangente en C no es inyectiva. Tendremos que empezar por resolver la
ecuacion
tan w = z
para z C fijado. Aplicando la definicion
eiw + eiw = 0
e2iw = 1
eiw eiw
e2iw 1
tan w = z
iw
=
i
z
= iz
e + eiw
e2iw + 1

z = i, i
2iw
1 + iz
(1 i z) e = 1 + i z
e2iw =
[= 1]
1 iz
61
Observamos en que si z = i o z = i no puede haber solucion. Si z no es uno

de estos valores, las soluciones w son tales que

1
1 + iz
1 + iz
w
log
2iw log
1 iz
2i
1 iz
Hemos demostrado con e sto que la funcion tangente
tan : C \ {
+ k : k Z} C \ {i, i}
2
es suprayectiva, y dado z C \ {i, i},

1 + iz
1
log
tan w = z w
2i
1 iz
As, podramos escribir, para z C \ {i, i}, el conjunto

1
1 + iz
log
arctan z =
2i
1 iz
y, para tener una funcion, elegimos algun logaritmo. Por supuesto, lo mas logico es
trabajar (casi siempre) con el principal. As, la funcion arco tangente principal,
que escribiremos Arctan z, sera

1 + iz
1
Log
, z = i, i.
Arctan z =
2i
1 iz
El dominio de definicion es C\{i, i}. Veamos donde es analtica. Por composicion
de analticas lo sera en todos los puntos, salvo a lo mas en aquellos en que
1 + iz
R .
1 iz
Hallemos estos zs:
1
1 + iz
= z = i
.
1 iz
1+
Cuando recorre los numeros reales negativos, z recorre el conjunto

I = {i x : x (, 1) [1, +)}.
Por tanto, la funcion Arctan z es analtica en el abierto = C \ I . (Que no lo es
en los puntos de I se prueba como siempre.)
62
Notemos que, en particular, es analtica

en el disco unidad. Vamos a hallar su
i
desarrollo en serie de potencias de z.
Por la regla de la cadena, es facil llegar
a que
O
1
, z .
Arctan (z) =
1 + z2
Si tenemos en cuenta que
-i

1
=
(1)n z 2n , |z| < 1,
2
1+z
n=0
por igualdad de derivadas en D(0; 1) (conexo),
2n+1

n z
Arctan z =
, |z| < 1,
(1)
2n
+
1
n=0
I
salvo la adicion de una constante C, de valor C = Arctan 0 = 0.

La funcion Arctan es una extension analtica (la u nica posible en ) de la
funcion arco tangente real arc tg, inversa de la restriccion de la tangente al intervalo
(/2, /2). (Por que?)
Argumento principal y arco tangente real.
Para ciertos calculos que efectuaremos posteriormente conviene disponer de
expresiones del argumento principal mas manejables que su definicion. Para cada
z = 0 se tiene
x = e z = |z| cos(Arg z), y =
m z = |z| sen(Arg z),
luego tg (Arg z) = y/x si x = 0. Examinando los rangos de Arg y Arctan, se sigue
si x > 0;
Arctan
y
+ si x < 0, y 0;
Arctan
Arg(x + i y) =
x
Arctan si x < 0, y < 0;

x
en esquema, repartido por cuadrantes,
Arg(x + i y) =
y
Arctan +
x
Arg(x + i y) =
y
Arctan
x
Arg(x + i y) =
y
Arctan
x
Arg(x + i y) =
y
Arctan
x
63
La funcion arco seno compleja.

Fijado z C, tenemos que resolver la ecuacion sen w = z. Con nuestra
notacion
sen w = z eiw eiw = 2i z (eiw )2 2i zeiw 1 = 0

eiw i z 1 z 2 .
(1)
Notese que 1 z 2 representa dos valores (los dos que elevados al cuadrado
nos dan 1 z 2 ).
Sea cual sea z C, ninguno de los dos valores de i z 1 z 2 es 0, ya que

i z 1 z 2 z 2 = 1 z 2 .
Por tanto, la ecuacion (1) siempre tiene solucion, a saber, aquellos w tales que

1
w log(i z 1 z 2 ).
i
Hemos demostrado entonces que
sen : C C
es suprayectiva, y ademas, para cada z C, podemos definir el conjunto
arcsen z =

1
log(i z 1 z 2 )
i
donde, insistimos, por cada uno de los valores de z hay dos de
1 z2.
Si queremos una funcion Arcsen z, elegiremos las ramas principales, tanto en

el logaritmo, como en la raiz interior.

1
Arcsen z = Log(i z + 1 z 2 ), z C.
i
El dominio de esta funcion es todo C (si z = 1, entendemos
0 = 0).
Veamos donde es analtica. Empezamos por la raz interior. Sera analtica,

excepto a lo mas en los zs tales que
1 z 2 (, 0] z 2 [1, +) z [1, +) (, 1].
64
Por tanto, la determinacion principal de

(, 1]).
1 z 2 es analtica en C \ ([1, +)
Ahora,
respecta al logaritmo exterior, debemos quitar los zs tales
en lo que
que i z + 1 z 2 R . Pero,

2
i z + 1 z = R 1 z2 = i z
(2)
De aqu, tiene que ser
1 z 2 = ( i z)2 z = i
1 2
2

.
(3)
Al elevar al cuadrado, se pueden anadir soluciones. Entonces, tenemos que llevar

la expresion (3) a (2) y tenemos

(1 2 )2
1 2
1 + 2
(1 + 2 )2
.
1+
=+
=
42
2
42
2
Pero, comprobamos que la raiz principal de este numero es el numero positivo
(1 + 2 )/2||, de donde
(1 + 2 )
1 + 2
=
= || = .
2||
2
Este argumento ha demostrado que nunca sucede i z + 1 z 2 R . Por tanto,

la u nica limitacion es la del principio, y concluimos que:
La funcion Arcsen es analtica en C \ ([1, +) (, 1]).
En particular, lo es en D(0; 1). Para hallar el correspondiente desarrollo en
serie, primero, comprobamos por la regla de la cadena que
1
, z C \ ([1, +) (, 1]).
Arcsen (z) =
1 z2
Por otro lado,
1
1
z2
= (1 z 2 )1/2

1/2
(1)n z 2n , |z| < 1.
=
n
n=0
Integrando, (de nuevo la constante es C = Arcsen 0 = 0),

2n+1

1/2
n z
Arcsen z =
, |z| < 1.
(1)
2n
+
1
n
n=0
La funcion Arcsen es una extension analtica (la u nica posible en
C \ ([1, +) (, 1])) de la funcion arco seno real. (Por que?)
CAPITULO 4
Integracion sobre caminos

4.1
INTRODUCCION
La integracion sobre caminos fue el instrumento principal del que se sirvio Cauchy
para crear la teora de funciones analticas de variable compleja, estableciendo lo
que actualmente suele denominarse teora de Cauchy, para distinguirlo de los enfoques posteriores de Riemann (con una vision mas geometrica) y de Weierstrass
(basado en los desarrollos locales en serie de potencias). Gracias a la representacion
(bajo ciertas condiciones) de una funcion holomorfa mediante una integral dependiente de un parametro, Cauchy logro probar que, en C, las nociones de holomorfa
y analiticidad son las mismas, culminando su obra con lo que e l donomino calculo
de residuos. De todo esto nos ocuparemos mas adelante.
El concepto de integral sobre un camino esta muy relacionado con el de
integracion sobre caminos de formas diferenciales reales de dos variables. Esto
hace que los resultados iniciales (y sus demostraciones) sean bastante parecidos a
lo ya estudiado en la teora de funciones de varias variables reales.
4.2
DE FUNCIONES COMPLEJAS
INTEGRACION
EN INTERVALOS REALES
Empecemos recordando algun concepto previo de derivabilidad e integrabilidad

para funciones de variable real, pero con valores complejos. Lo mas destacable
en este punto es que la variable toma solamente valores reales.
Sea g : [a, b] R C.
1. g es derivable en t0 [a, b] si
lim
tt0
g(t) g(t0 )
= g (t0 ) C
t t0
(cuando t0 = a o t0 = b, los lmites son laterales).

No estamos introduciendo ninguna definicion nueva de derivabilidad: la novedad estriba en la naturaleza del dominio de la funcion, que excepcionalmente
no es un abierto del plano complejo sino un intervalo compacto real, lo que
nos situa mas cercanos a la derivacion en R. De hecho, la definicion anterior
65
66
Integracion
sobre caminos
es equivalente a que las dos funciones reales e g, m g : [a, b] R R
sean derivables en t0 , siendo en tal caso
g (t0 ) = (e g) (t0 ) + i(m g) (t0 ).
2. Sea g : [a, b] R C y f : C con abierto de C y g([a, b]) .

Si g es derivable en t0 (definicion actual) y f es derivable en g(t0 ) (definicion
anterior), entonces f g es derivable en t0 y
( f g) (t0 ) = f (g(t0 ))g (t0 ).
Esto es un sencillo ejercicio, que puede abordarse directamente o usando la
regla de la cadena para funciones de varias variables y las ecuaciones de
Cauchy-Riemann.
3. g es integrable (Lebesgue) en [a, b] si, por definicion, lo son e g e m g, y
el valor de la integral es

g(t) dt =
e g(t) dt + i
m g(t) dt.
Para estas funciones con valores complejos, siguen siendo ciertos los resultados importantes de integracion. Resaltamos los que mas utilizaremos:
Acotacion.

g(t) dt
|g(t)| dt.
(No es tan obvio como puede parecer: intentelo el lector por su cuenta antes
de ver la demostracion que sigue.)
b
Para probarlo, sea z = a g(t) dt. Entonces existe c C con |c| = 1 tal que
|z| = c z. Pongamos u = e (c g), con lo cual u |c g| = |g|. As

g(t) dt = |z| = c

g(t) dt =
a
c g(t) dt =
a

u(t) dt
|g(t)| dt,
b
verificandose = porqueteniendo en cuenta que a c g(t) dt = |z| R, se deduce

b
b
b

que a c g(t) dt = e a c g(t) dt = a e c g(t) dt.
Integracion
sobre caminos
67
Regla de Barrow ampliada. Si g : [a, b] C es continua y existe una

particion t0 = a < t1 < t2 < < tn = b de [a, b] de manera que g es
derivable en cada (tk1 , tk ), 1 k n y g (extendida arbitrariamente a los
puntos tk ) es integrable-Riemann en [a, b], entonces
g (t) dt = g(b) g(a).
La regla de Barrow que conocemos solo es aplicable en cada uno de los

intervalos [tk1 , tk ] de la particion. Pero entonces,
g (t) dt =
n

k=1
tk
g (t) dt =
tk1
n

(g(tk ) g(tk1 )) = g(b) g(a).
k=1
Teorema de la convergencia dominada. Sean gn , g : [a, b] C tales que

gn (t) g(t) para casi todo t [a, b] y, supongamos que h : [a, b]
b
R+ tal que n N, |gn (t)| h(t), t [a, b] y a h(t) dt < +. Entonces,

lim
n a
gn (t) dt =
g(t) dt.
a
O la version continua de este teorema

T.C.D. Version continua. Si tenemos una funcion g de dos variables,
z D(z 0 ; ), t [a, b], con valores complejos, tal que
lim g(z, t) = g0 (t), para casi todo t [a, b],
zz 0

|g(z, t)| h(t), z D(z 0 ; ),
h(t) dt < +
Entonces,

lim
zz 0

g(z, t) dt =
g0 (t) dt.
Cambio del orden de integracion. Sea g : [a, b] [c, d] C continua.

Entonces
d b
b d
g(s, t) ds dt =
g(s, t) dt ds.
a
(Es un caso particular del teorema de Fubini.)
68
4.3
Integracion
sobre caminos
CURVAS Y CAMINOS EN C
Definicion. Una curva en C es una funcion : [a, b] C continua (a, b R,

a < b).
Observacion. Una curva no debe identificarse con la imagen de la funcion ([a, b])
(denominada el soporte de la curva). Por ejemplo,
1 : [0, 2 ] C,
1 (t) = eit
2 : [0, 2 ] C,
2 (t) = e2it
son dos curvas distintas que tienen el mismo soporte.

Notese que el soporte de una curva siempre es un subconjunto conexo y
compacto de C.
Definicion. Un camino (o curva C (1 a trozos) es una funcion continua : [a,
b] C
tal que existe una particion a = t0 < t1 < . . . < tk = b de forma que [t ,t ] es
(1
una curva de clase C ( j = 1, . . . , k ).
j1 j
Observacion.
Lo anterior significa que : [t j1 , t j ] C es derivable en sentido real (las
partes real e imaginaria son derivables). Es decir,
t [t j1 , t j ], lim
st
(s) (t)
= (t) = (e ) (t) + i(m ) (t) C
st
(en t j y t j1 los lmites son laterales) y ademas, : [t j1 , t j ] C es continua.

En los puntos de la particion t j , existe derivada (t j ) por la derecha y por la
izquierda, pero estas derivadas pueden coincidir o ser distintas.
Sea : [a, b] C un camino. Se llama origen de al punto (a); se
llama extremo de al punto (b).
Se dice que es un camino cerrado si (a) = (b).
Se llama longitud de a

long =
| (t)| dt ( < +)
Si A C, se dice que esta contenido en A si ([a, b]) A.
Integracion
sobre caminos
69
Opuesto de un camino. Se llama camino opuesto a al camino : [b, a]

C dado por ( )(t) = (t). El camino opuesto tiene el mismo soporte, pero
cambia el origen por el extremo y viceversa. Se dice que recorre el soporte del
camino en sentido contrario al de .
Union de caminos. Sean 1 : [a, b] C y 2 : [c, d] C dos caminos tales
que 1 (b) = 2 (c). Se llama 1 2 (union o suma de 1 y 2 ) al camino dado por
1 2 : [a, b + d c] C,
(1 2 )(t) = 1 (t) si t [a, b]; (1 2 )(t) = 2 (t b + c) si t [b, b + d c].
Es claro que la union de dos caminos es un camino que cumple
i) sop(1 2 )=sop(1 )sop(2 )
ii) origen (1 2 )=origen(1 )
ii) extremo (1 2 )=extremo(2 ).
Definicion. Sean 1 : [a, b] C y 2 : [c, d] C. Diremos que son
equivalentes y escribiremos 1 2 , si tienen el mismo numero de puntos no
regulares (donde no son C 1) ) y si a = t0 < t1 < . . . < tn = b y c = s0 < s1 <
. . . < sn = d son las particiones asociadas, existe una aplicacion
: [a, b] [c, d]
que es biyeccion con

[tj ,tj+1 ] : [t j , t j+1 ] [s j , s j+1 ], j = 0, 1, . . . , n 1
derivable con (t) > 0 y de forma que

1 = 2 .
1. Se prueba facilmente que es una relacion de equivalencia compatible con
la operacion de camino opuesto y la union de caminos. Sera mas ajustado a
la practica habitual definir camino como una clase de equivalencia por esta
relacion y si 1 2 , decir que 1 y 2 son parametrizaciones del mismo
camino. La aplicacion que liga 1 y 2 se llama cambio de parametro.
2. Los caminos equivalentes solo se diferencian en que se recorre el mismo
soporte y en el mismo sentido, pero a diferente velocidad. A efectos de la
70
Integracion
sobre caminos
utilizacion de los caminos en nuestra teora, dos caminos equivalentes es
como si fueran iguales.
3. Por ejemplo, son equivalentes los caminos

1 : [0, 2 ] C,
1 (t) = eit
2 : [0, ] C,
2 (t) = e2it
(donde la aplicacion cambio de parametro es clara).

4. Podremos suponer, cuando as nos convenga, que un camino esta parametrizado
en el intervalo [0, 1].
Ejemplos.
1. Dados z 0 = z 1 C, el segmento orientado [z 0 , z 1 ] es el camino
: t [0, 1] (t) = z 0 + t (z 1 z 0 ) = (1 t) z 0 + t z 1 C.
La notacion que se emplea es la misma que para su soporte, pero el contexto
dejara claro en cada ocasion a cual de las dos nociones nos estamos refiriendo.
Por comodidad, diremos segmento [z 0 , z 1 ], sobreentendiendose segmento
orientado.
Su longitud es igual a |z 1 z 0 | (comprobar!).
2. Dados z 0 , z 1 , . . . , z n C, la poligonal de vertices z 0 , z 1 , . . . , z n , es el camino
[z 0 , z 1 ] [z 1 , z 2 ] [z n1 , z n ].
Su longitud es igual a |z 1 z 0 | + |z 2 z 1 | + + |z n z n1 | (comprobar!).
3. Dados z 0 C, r > 0, la circunferencia de centro z 0 y radio r orientada
positivamente es el camino
: t [0, 2 ] (t) = z 0 + r eit C.
Lo representaremos por D(z 0 ; r ). La circunferencia de centro z 0 y radio
r orientada negativamente es el camino opuesto D(z 0 ; r ). Cuando no se
especifique orientacion, se sobreentiende la positiva.
La longitud de ambos es 2r (comprobar!).
3. Dados z 0 C, r > 0, k Z, el camino
: t [0, 2] (t) = z 0 + r eikt C.
es la circunferencia de centro z 0 y radio r recorrida k veces en sentido positivo
si k 0 o recorrida k veces en sentido negativo si k < 0. La representaremos
por k D(z 0 ; r ). En particular, 1 D(z 0 ; r ) = D(z 0 ; r ), 0 D(z 0 ; r ) es el
camino constante con soporte {z 0 } y (1) D(z 0 ; r ) = D(z 0 ; r ) (salvo
ajustes en la parametrizacion). Su longitud es igual a 2|k|r (comprobar!).
Integracion
sobre caminos
4.4
71
DE FUNCIONES COMPLEJAS SOBRE CAMINOS

INTEGRACION
Definicion. Sea : [a, b] C un camino y sea f : sop C una funcion

continua. Se llama integral de f sobre a
f =

f (z)dz =
f ( (t)) (t) dt.
Notese que la funcion que integramos, ( f ) : [a, b] C, es continua,

salvo en un numero finito de puntos (donde las discontinuidades son de salto). Por
tanto, es integrable-Lebesgue (incluso integrable-Riemann) en [a, b].
La definicion podra haberse dado para funciones mas generales que las continuas, con tal de que ( f ) fuera integrable en [a, b]. Pero, para nuestros
propositos, basta con esto.
Propiedades.
1. Si 1 2 , entonces
f =
f.
2
Basta acudir a la definicion y hacer en la integral el cambio de variable (t) =

s, donde es el cambio de parametro.

f =
f.
2.

3.
1 2

4.
f =
( f + g) =

f +
f.
2
f +

g,

f =
f.
5. Regla de Barrow. Sea f : sop C. Supongamos que F H()

tal que F (z) = f (z), z . Entonces,

f (z)dz = F( (b)) F( (a)).
En efecto, podemos subdividir el intervalo [a, b] en intervalos parciales [t j1 , t j ]

en los que la restriccion de F es derivable, con derivada (lateral en los
extremos) dada por la regla de la cadena
(F ) (t) = F ( (t)) (t) = f ( (t)) (t),
72
Integracion
sobre caminos
continua a trozos (luego finalmente integrable en [a, b]). Entonces, aplicando
la regla de Barrow ampliada,

f (z)dz =
f ( (t)) (t) dt =
(F ) (t) dt = F( (b))F( (a)).
Observacion.En las hipotesis anteriores, si es cerrado (es decir, si (a) =

(b)) resulta

6.
f (z) dz = 0.

f (z)dz long sup | f (z)|.
zsop
En efecto,

f (z)dz =

f ( (t)) (t) dt
| f ( (t)) (t)| dt
| (t)| dt sup | f ( (t))|.
t[a,b]
Observacion. Notese que sop es un compacto, y como | f | es continua, el

supremo es un maximo (Weierstrass).
7. Sean f n , f : sop C continuas, y tales que f n f uniformemente
en sop . Entonces,

lim
f n (z)dz =
f (z)dz
n
Es decir, bajo la hipotesis de convergencia uniforme en el soporte, el lmite

conmuta con la integral.
Para demostrar el resultado, basta observar que

f n (z)dz
f (z)dz long sup | f n (z) f (z)| 0, (n ).
zsop
8. Cambio del orden de integracion. Sea 1 un camino en un abierto 1 , 2 un

camino en un abierto 2 , : 1 2 C continua. Entonces

(z, w) dw dz =
(z, w) dz dw.
1
Integracion
sobre caminos
73
Pues sea t0 < t1 < . . . < tn una particion del dominio de 1 tal que cada
restriccion 1 |[tk1 ,tk ] tiene derivada continua, y analogamente sea s0 < s1 <
. . . < sm una particion del dominio de 2 para la que cada restriccion 2 |[sj1 ,sj ]
tiene derivada continua. Aplicando el resultado de intercambio ya visto,

(z, w) dw dz
1
2

tk sj
=
(1 (t), 2 (s)) 2 (s) ds 1 (t) dt
k, j

tk1
sj
j,k
s j1

=
4.5
s j1
tk
tk1
(1 (t), 2 (s)) 1 (s) dt
2 (s) ds
(z, w) dz
dw.
INTEGRALES DEPENDIENTES DE UN PARAMETRO

COMPLEJO
Derivacion bajo el signo integral.

Vamos a obtener un resultado similar a los de la integral de Lebesgue en R,
pero con derivada compleja, en vez de derivada real.
Proposicion. Sea un camino, un abierto no vaco de C. Sea
: (w, z) sop (w, z) C
una funcion de dos variables complejas continua. Entonces, la funcion de una

variable

g(z) = (w, z)dw, z
es continua en .
Demostracion. Fijemos z 0 . Acudiendo a la definicion de integral, se trata de
demostrar que

lim
zz 0
( (t), z) (t) dt =
( (t), z 0 ) (t) dt.
Pero esto es cierto por la version continua del T.C.D., pues tenemos el limite puntual
lim ( (t), z) (t) = ( (t), z 0 ) (t), t [a, b]
zz 0
74
Integracion
sobre caminos
y la dominacion trivial, (en un entorno de z 0 tal que D(z 0 ; ) )

b

C dt < +
|( (t), z) (t)| C, t [a, b], z D(z 0 ; ) con
a
(ya que sop D(z 0 ; ) es un compacto, y es continua).

Teorema. Con las hipotesis y notacion de la proposicion precedente, supongamos
ademas que:
(i) Para cada w sop fijado, la funcion de z , (w, z) es derivable en y
a esta derivada.
denotamos
z
(ii) La funcion derivada

: sop C es continua.
z
Entonces, la funcion g es holomorfa en , y ademas

(w, z)dw
g (z) =
z
Es decir, con estas hipotesis, se puede derivar bajo el signo integral.
Demostracion. Fijemos z 0 . Tenemos que demostrar que

g(z) g(z 0 )
lim
(w, z 0 )dw = 0.
zz 0
z z0
z
Escribimos
g(z) g(z 0 )
z z0
(w, z) (w, z 0 )
(w, z 0 )dw =
(w, z 0 ) dw
z z0
z
z
b

( (t), z) (t) dt
= (w, z)dw =
y se trata de ver que esta integral tiende a 0 cuando z z 0 .

De nuevo, podemos aplicar la version continua del T.C.D., ya que, por un
lado, tenemos la convergencia puntual
lim ( (t), z) = 0, t [a, b]
zz 0
pues la derivada
existe por hipotesis, y por otro lado tenemos la dominacion

z
|( (t), z) (t)| C, t [a, b], z D(z 0 ; ).
Integracion
sobre caminos
75
Para demostrar esto u ltimo, acotamos cada uno de los dos sumandos que forman
. Por continuidad en un compacto,

(w, z 0 ) C, w sop
z

Y, para el segundo, usamos el truco

(w, z) (w, z 0 ) 1

=

(w,
)d

z z

z z0
z
0 [z 0 ,z]

sup (w, ) C, w sop , z D(z 0 ; )
[z 0 ,z] z
donde [z 0 , z] es el segmento que une z 0 y z, y hemos usado la regla de Barrow y
es continua en el compacto sop D(z 0 ; ).
que
z
Construccion de funciones analticas mediante integrales.
Aqu se desvela el principal papel de la integral sobre caminos en C. Permite
construir funciones analticas en abiertos muy amplios a partir de una pequena
premisa: tener una funcion continua en el soporte de un camino. Aunque podramos
dar un resultado mas general, nos limitaremos al caso particular que se usa, tal cual,
en el desarrollo posterior de la teora.
Teorema. Sea un camino y f : sop C continua. Entonces, la funcion

f (w)
1
dw, z C \ sop
g(z) =
2i w z
es analtica en C \ sop .
Demostracion. Observemos primero, que si z C \ sop , g(z) esta bien definida
puesto que la funcion de variable w que integramos, f (w)/(w z), es continua
en sop (si z sop , el denominador se anulara en un punto del soporte).
Si solo pretendieramos ver que g es holomorfa en C \ sop , el resultado es
una simple aplicacion del teorema anterior, pues
(w, z) =
y
f (w)
es continua en sop C \ sop ,
wz
f (w)
(w, z) =
y es continua en sop C \ sop .
z
(w z)2
76
Integracion
sobre caminos
Para demostrar la analiticidad, recurrimos a la definicion. Sea a C \ sop .
r
a
Tenemos que demostrar que g se puede

escribir como una serie de potencias
centrada en a. Lo que va a ser facil es
desarrollar la funcion interior. A partir
de aqu, nuestro problema sera sacar un
sumatorio fuera de la integral.
Denotemos R = d(a, sop ) > 0. Si
w sop ,

1
1
1
(z a)n
=
za =
wz
w a 1 wa
(w a)n+1
n=0
siendo el desarrollo valido para aquellos zs tales que |z a| < |w a|.

Tomemos un 0 < r < R. Si z cumple |z a| < r entonces, |z a| < |w a|,
w sop . Por tanto, si |z a| < r podemos escribir

n
(z a)
1
dw
f (w)
g(z) =
2i n=0
(w a)n+1
Para sacar fuera el sumatorio, bastara demostrar que la serie converge uniformemente en sop . Y, esto es cierto por el criterio M de Weierstrass. En efecto:
n
n

(z
a)
r
rn

w sop , f (w)
C n , con
C n < +.
(w a)n+1
R
R
n=0
Hemos usado que f al ser continua en sop esta acotada. Por tanto,

f (w)
1
g(z) =
dw (z a)n , |z a| < r
n+1
2i (w a)
n=0
Luego, hemos probado que g es analtica en a.
Observacion
El razonamiento anterior se puede hacer para cualquier r < R = d(a, sop ),
luego, en definitiva, podemos asegurar

f (w)
1
g(z) =
dw (z a)n , |z a| < d(a, sop ).
n+1
2i (w a)
n=0
CAPITULO 5
Indice de un punto
respecto de un
camino cerrado
5.1
INTRODUCCION
El numero de vueltas que da un camino cerrado alrededor de ciertos puntos (el

ndice, the winding number de los textos en ingles) juega un papel insospechado
en la teora de funciones de variable compleja, como se ira desvelando a lo largo
del desarrollo de la misma; ello es debido a que tal numero puede expresarse como
una integral, ligada con la variacion del logaritmo y, por ende, del argumento.
Tenemos aqu un punto mas en el que el analisis complejo presenta una fuerte
componente geometrica, que va a hacer de los esquemas graficos un elemento
auxiliar muy u til.
En la primera parte del captulo definimos analticamente el concepto de ndice
y probamos sus propiedades basicas. En la segunda parte, vemos que el ndice se
corresponde efectivamente con el numero de vueltas, estudiando variaciones del
argumento tras introducir los importantes conceptos de argumentos continuos y
logaritmos continuos a lo largo de un camino, emparentados (pero no equiparables)
con las determinaciones del argumento y del logaritmo.
Un excelente libro de referencia, con abundantes comentarios y figuras, es
Palka, B. P.: An Introduction to Complex Function Theory. Springer, New York
(1991); un enfoque muy geometrico se encuentra en Needham, T.: Visual Complex
Analysis. Clarendon Press, Oxford (1997). A un nivel mas elevado, Burckel, R. B.:
An Introduction to Classical Complex Analysis,Vol. 1. Birkhauser, Basel (1979).
5.2
Y PRIMERAS PROPIEDADES
DEFINICION
Definicion. Sea un camino cerrado. Para z

/ sop ,
1
Ind (z) =
2i
se llama ndice de z respecto de .

77
dw
wz
78
Indice de un punto respecto de un camino cerrado
Propiedades.
1. La funcion Ind : C \ sop C es analtica.
Es un caso particular del teorema de analiticidad de funciones definidas mediante integrales.
2. Ind (z) Z, z C \ sop .
En efecto, sea : [a, b] C, a = t0 < t1 < . . . < tn = b tal que la
restriccion de a cada [t j1 , t j ] tenga derivada continua. Entonces,
1
Ind (z) =
2i

a
n tj
1
(t)
(t)
dt =
dt.
(t) z
2i j=1 tj1 (t) z
(1)
Para cada j = 1, 2, . . . , n, definimos las funciones

g j : s [t j1 , t j ] g j (s) =
t j1
(t)
dt C.
(t) z
Por el teorema fundamental del calculo, las g j son derivables, siendo

g j (s)
(s)
.
=
(s) z
De aqu,
d
ds
por tanto,
e gj (s)
(s) z
= e gj (s)
g j (s)
(s)
(s) z
( (s) z)2

= 0,
e gj (tj1 )
e0
e gj (s)
= Cte =
=
(s) z
(t j1 ) z
(t j1 ) z
(la constante es, por ejemplo, el valor en s = t j1 ). As,

e gj (tj ) =
(t j ) z
.
(t j1 ) z
De la ecuacion (1), con las notaciones que hemos introducido, tenemos:

n
1
g j (t j ).
Ind (z) =
2i j=1
(2)
79
Entonces, por (2),

n
e
j=1
g j (t j )
n

(t j ) z
(b) z
=
=
= 1,
(t
)
(a)
z
j1
j=1
pues el camino es cerrado. Por u ltimo, esto implica que existe k Z tal que
n
g j (t j ) = 2ki Ind (z) = k Z.
j=1
3. La funcion Ind es constante en cada componente conexa de C \ sop .

Esto es claro, por ser continua y tomar valores enteros.
4. Ind = 0 en la componente no acotada de C \ sop .
En efecto, basta observar que
| Ind (z)|
1
1
long sup
.
2
wsop |w z|
Como sop es acotado, podemos tomar z en la componente no acotada con

modulo suficientemente grande para que | Ind (z)| < 1. Como debe ser un
entero, no queda otra posibilidad que Ind (z) = 0.
Ejemplos. 1. Sea = D(a; r ) la circunferencia de centro a y radio r (orientada
positivamente). Entonces Ind (z) = 1 si |z a| < r , Ind (z) = 0 si |z a| > r .
En efecto: puesto que D(a; r ) es conexo, para todo z D(a; r ) sera
1
Ind (z) = Ind (a) =
2i

0
r i eit
dt = 1.
r eit
Por otra parte, {z C : |z a| > r } es la componente no acotada de C \ sop ,

luego para estos z el ndice es 0.
2. De manera analoga, si es la circunferencia de centro a y radio r recorrida
k veces en sentido positivo (k N), es decir,
: t [0, 2 ] (t) = a + r eikt C,
se obtendra Ind (z) = k si |z a| < r , Ind (z) = 0 si |z a| > r . Y si es la
circunferencia de centro a y radio r recorrida k veces en sentido negativo (k N),
es decir,
: t [0, 2 ] (t) = a + r eikt C,
80
se obtendra Ind (z) = k cuando |z a| < r , Ind (z) = 0 cuando |z a| > r .

3. El calculo directo del ndice se complica incluso en situaciones aparentemente muy sencillas. Por ejemplo, sea el cuadrado de vertices 1 i, es decir,
la poligonal [1 + i, 1 + i] [1 + i, 1 i] [1 i, 1 i] [1 i, 1 + i].
Entonces

1
dz
Ind (0) =
2i z

1
dz
dz
dz
dz
=
+
+
+
2i
[1+i,1+i] z
[1+i,1i] z
[1i,1i] z
[1i,1+i] z

1
1
dz
dz
=
+
2i [1i,1i][1i,1+i][1+i,1+i] z
2i [1+i,1i] z

1
Log(1 + i) Log(1 i)
=
2i

1
Log[0,2) (1 i) Log[0,2 ) (1 + i)
+
2i

1
3i
1
3i
3i
5i
=

+
=1
2i
4
4
2i
4
4
puesto que Log z es una primitiva de 1/z en C\(, 0] (que contiene al soporte de
[1 i, 1 i] [1 i, 1 + i] [1 + i, 1 + i]) y Log[0,2 ) (z) lo es en C \ [0, +),
que contiene al soporte de [1 + i, 1 i].
En este ejemplo concreto, es posible sustituir en el calculo el camino por otro
mas comodo, concretamente por la circunferencia unidad D(0; 1). En efecto:
1
Sean 1 = [1, 1 + i], 2 = [1 + i, i] y 3 el primer
cuadrante de la circunferencia orientado negativa3
2 mente, como se indica en la figura. Puesto que 0
queda (a ojo) en la componente conexa no acotada del complementario del soporte del camino
cerrado 1 2 3 , tendra ndice 0 respecto del
0
mismo. Por tanto
dz
1
= 0,
2i 1 2 3 z
con lo cual

dz
dz
dz
=
=
.
1 2 z
3 z
3 z
Repitiendo el proceso en los demas cuadrantes y sumando convenientemente, sin
perder de vista las orientaciones, llegamos a

1
dz
dz
1
=
= 1.
2i z
2i D(0;1) z
81
Con ayudas visuales como e sta podremos ir ampliando la complejidad de las

situaciones con las que nos enfrentemos. No obstante, nos serviremos mejor todava
de la intuicion geometrica viendo que el ndice corresponde, como senalabamos en
la introduccion, al numero de vueltas (suma de vueltas positivas y negativas) que da
el camino alrededor del punto. La manera mas obvia de medir estas vueltas es seguir
la variacion del a ngulo que va formando el segmento [z 0 , (t)] con el segmento
[z 0 , (a)] cuando t va recorriendo el intervalo [a, b] en el que esta definida .
En C, hablar de a ngulos es hablar de argumentos, y los argumentos son la parte
imaginaria de los logaritmos. Si repasamos los calculos efectuados anteriormente,
se comienza a vislumbrar un enfoque del problema: la conveniencia de empalmar
adecuadamente logaritmos sobre trozos del camino para poder calcular el ndice,
que relacionaremos con los argumentos correspondientes. La formalizacion de
estos procedimientos es el objeto de la seccion siguiente.
5.3
GEOMETRICA
INTERPRETACION
DEL INDICE
Comenzamos con las definiciones de los conceptos que recogen las ideas que
acabamos de apuntar.
Definicion. Sea : [a, b] C un camino tal que (t)
= 0, t [a, b].
Diremos que:
1. f : [a, b] C es un logaritmo continuo a lo largo de , si f es continua
en [a, b], y f (t) log (t), t [a, b].
2. h : [a, b] R es un argumento continuo a lo largo de , si h es continua
en [a, b], y h(t) arg (t), t [a, b].
Estos conceptos son, a primera vista, muy parecidos a los ya tratados (determinaciones en regiones), pero existe una gran diferencia: aqu, la variable es real,
no atendemos prioritariamente al punto (t) del soporte camino sino que ponemos
e nfasis en el instante t en el que el punto se alcanza. As, puede suceder que
sea (t1 ) = (t2 ) sin que f (t1 ) = f (t2 ) o h(t1 ) = h(t2 ), con las notaciones de la
definicion.
Sin dificultad se prueba:
i) Si f 1 , f 2 son dos logaritmos continuos a lo largo de , entonces
k Z f 1 (t) = f 2 (t) + 2ki, t [a, b].
ii) Si h 1 , h 2 son dos argumentos continuos a lo largo de , entonces
k Z h 1 (t) = h 2 (t) + 2k, t [a, b].
82
iii) Si f es un logaritmo continuo a lo largo de , entonces h(t) = m f (t) es

un argumento continuo a lo largo de .
iv) Si h es un argumento continuo a lo largo de , entonces f (t) = ln | (t)| + i h(t)
es un logaritmo continuo a lo largo de .
Ejemplos.
1. Para cualquier camino tal que sop (, 0] = , Arg (t) es un argumento continuo a lo largo de . (Por que?)
2. Para cualquier camino tal que sop [0, +) = , Arg[0,2 ) (t) es un
argumento continuo a lo largo de . (Por que?)
3. Sean k Z, r > 0 y
: t [0, 2] (t) = r eikt C.
Entonces
h : t [0, 2 ] h(t) = k t C
es un argumento continuo a lo largo de . (Por que?)
4. Si se conocen argumentos continuos h 1 y h 2 de dos caminos 1 : [a, b] C,
2 : [a, b] C, y se define mediante su producto un nuevo camino
: t [a, b] (t) = 1 (t)2 (t) C,
entonces h 1 + h 2 es un argumento continuo a lo largo de . (Por que?)
Esta observacion es mas u til de lo que pudiera pensarse. Por ejemplo, sea
: t [0, 2] (t) = e3it + 3 e2it C.
4
(en la figura se tiene su representacion

grafica).
2
0
-2 x
2
-2
y
-4
Como e3it + 3 e2it = e2it (3 + eit ),

h(t) = 2t + Arg(3 + eit ) sera un argumento continuo a lo largo de (notese
que e (3 + eit ) > 0 para todo t
[0, 2]).
A diferencia de las determinaciones del logaritmo en regiones (que pueden

no existir), sobre caminos siempre hay logaritmos continuos.
83
Teorema. Sea : [a, b] C un camino tal que 0

/ sop . Entonces, existe
f : [a, b] C logaritmo continuo a lo largo de . Ademas, f es derivable donde
lo sea .
Demostracion. Con las mismas notaciones que en la demostracion de la propiedad

2 del ndice, consideremos como entonces la particion a = t0 < t1 < . . . < tn = b
y, para cada j = 1, 2, . . . , n,
s
(t)
dt C.
g j : s [t j1 , t j ] g j (s) =
t j1 (t)
Nuevamente, cada g j es derivable en [t j1 , t j ] y e gj (s) =
cada trozo,
(s)
. Por tanto, en
(t j1 )
e gj (s)+Log (tj1 ) = (s), s [t j1 , t j ]
Llamemos f j (s) = g j (s) + Log (t j1 ) y tendremos que e f j (s) = (s). Esto quiere
decir que hemos demostrado el teorema por trozos. Ahora, tendremos que ajustar
bien los empalmes, pero esto no es ninguna dificultad, pues, por ejemplo, en t1 ,
f 1 (t1 ) y f 2 (t1 ) son logaritmos de (t1 ), luego se diferencian en un 2ki, con
k Z. Digamos que los saltos en los extremos de los intervalos son del tamano
2ki, con determinados k Z. Entonces, al modificar las funciones sumando
el correspondiente 2ki, arreglamos la continuidad sin perder el hecho de ser
logaritmos. En otras palabras, la solucion a nuestro problema sera la funcion
f 1 (t)
f 2 (t) + 2k1 i
f (t) = f 3 (t) + 2k2 i
...
f n (t) + 2kn1 i
(t0 t t1 )
(t1 t t2 )
(t2 t t3 )
.........
(tn1 t tn )
donde los k1 , k2 , . . . , kn1 son los enteros adecuados para que f sea continua sin
excepcion en [a, b]. Es claro que
e f (t) = (t), t [a, b]
y f es derivable salvo en los puntos ti , es decir, donde lo es .
/ sop . Sea h un
Corolario. Sea : [a, b] C un camino cerrado tal que 0
argumento continuo cualquiera a lo largo de . Entonces
Ind (0) =
h(b) h(a)
.
2
84

La cantidad h(b) h(a) se suele representar por ARG (t), arg o alguna no-
atb
(t)
tacion similar, y se lee variacion de un argumento continuo a lo largo del camino.

Ind (0) es as la suma algebraica del numero de veces que el argumento vara en 2.
Graficamente, pues, Ind (0) corresponde
al numero
de vueltas que da la curva

alrededor del 0.
arg (t)
1 vuelta
Demostracion. Usamos las mismas notaciones que en la demostracion del teorema,

y sea h(t) = m f (t) (que es un argumento continuo). Tenemos

2i Ind (0) =
=
n
dw
=
w
j=1
n
tj
t j1
n

(s)
(g j (t j ) g j (t j1 ))
ds =
(s)
j=1
( f j (t j ) f j (t j1 )) = f (b) f (a) = i(h(b) h(a)).
j=1
Notemos para la u ltima igualdad que f (b), f (a) son logaritmos del mismo numero
(a) = (b), y por tanto, tienen la misma parte real. Por u ltimo, esta variacion no
depende del argumento continuo que tomemos, porque todos ellos se diferencian
en una constante 2k.
Observaciones.
1. Quede claro una vez mas que no se debe confundir argumento continuo a lo
largo de una curva (que siempre existe) con argumento continuo sobre el
soporte de la curva (que puede no existir). Por ejemplo, para la curva
: [0, 2 ] C (t) = eit
no existe H : sop C continua tal que H (z) arg z, z sop .
Sin embargo, insistimos en que si para una curva existe H : sop C
continua, tal que H (z) arg z, z sop , entonces H es un argumento
continuo a lo largo de la curva.
2. Para otro punto, distinto de 0, que no este en sop tenemos lo siguiente:
/ sop , trasladamos el camino mediante
Si : [a, b] C, y z 0
z 0 : t [a, b] (t) z 0 C.
85
Entonces es claro que

Ind (z 0 ) = Ind z0 (0)
1
=
arg( z 0 ),
2
(t)
es decir, el ndice respecto de del

punto z 0 es la variacion de un argumento continuo a lo largo de la curva
z 0 y esto, geometricamente, significa el numero
de vueltas que da la
curva alrededor del punto z 0 .
arg( (t)-z0)
z0
Por ejemplo, sobre esta idea, es facil para la curva dibujada a continuacion ver cual
es el ndice de cualquier
Indice 0 punto del plano que no
este sobre su soporte. FiIndice 1 jado un punto z
0 / sop ,
Indice 2 seguimos graficamente la
variacion del a ngulo que
Indice 3 forma el radio vector que
une z 0 con un punto que
E
0
vaya recorriendo la curva,
medida esta variacion respecto de la semirrecta de
origen z 0 que pasa por el
punto inicial (y final) E.
Por supuesto, el ndice se mantiene constante en cada componente conexa.
3. El ndice de caminos va a aparecer constantemente en el manejo de integrales.
La razon de fondo es la siguiente: dado un camino cerrado y a
/ sop ,
(z a)n dz = 0, n
= 1, n Z,
ya que las funciones (z a)n tienen primitiva (z a)n+1 /(n + 1) en C \ {a},

abierto que contiene a sop . Solo queda saber que ocurre con n = 1, y de
aqu la nocion de ndice.
As por ejemplo, para integrar una funcion racional sobre un camino cerrado,
P(z)
dz
Q(z)
86

(P/Q irreducible), descomponiendo en fracciones simples solo hara falta
conocer los ndices respecto de de los ceros del denominador. En efecto:
supongamos, para fijar ideas, que Q tiene una raz doble z 1 , una raz simple
z 2 y una raz triple z 3 , y que el grado de P es dos unidades mayor que el de
Q. Entonces
A
A
B
P(z)
2
= az + bz + c +
+
+
Q(z)
(z z 1 ) (z z 1 )2
(z z 2 )

C
C
C
+
+
+
,
(z z 3 ) (z z 3 )2
(z z 3 )3
de donde
P(z)
dz = A
Q(z)
dz
+B
z z1
dz
+C
z z2
dz
z z3
(los terminos que no hemos escrito son todos nulos por el comentario previo),
y as

P(z)
dz = 2i A Ind (z 1 ) + B Ind (z 2 ) + C Ind (z 3 ) .
Q(z)
Mas adelante veremos una importantsima generalizacion de este resultado,
el teorema de los residuos.
4. La existencia de logaritmo y argumento continuo es cierta, mas en general,
para curvas, como se prueba sustituyendo en la demostracion anterior la
construccion del logaritmo mediante integrales por una construccion directa
(mas delicada). Esto hace que se pueda extender la nocion de ndice para curvas
cerradas mediante la variacion de un argumento continuo. Las propiedades
basicas que acabamos de obtener siguen siendo validas en esta situacion mas
general. (Ver Burckel, loc. cit., Chap. IV.)
5. Curvas de Jordan e ndice. Recordemos que un espacio topologico se denomina curva de Jordan si es homeomorfo a la circunferencia unidad T. El
celebre teorema de la curva de Jordan establece:
Una curva de Jordan J en el plano C ( R2 ) separa a C en dos regiones
con frontera comun J , una acotada (el interior de J ) y otra no acotada (el
exterior de J ); en otras palabras, C \ J tiene una sola componente acotada
G, el interior de J (se dice entonces que G es una region de Jordan); la
componente no acotada es el exterior de J , y ambas tienen J como frontera.
Si J es una curva de Jordan y cualquier homeomorfismo de T sobre J ,
poniendo : [0, 2] (t) = (eit ) C puede definirse una curva en el
87
sentido usual. Se demuestra (cf. Burckel, loc. cit., Th. 4.42, pag. 103) que para
todos los puntos del interior de J el valor constante del ndice respecto de es
1 o 1. En el primer caso, se dice positivamente orientado, y negativamente
orientado en el segundo.
Dada una curva cerrada simple, i.e., una aplicacion continua : [a, b] C
tal que (a) = (b) y |[a,b) inyectiva, su soporte sop es una curva de
Jordan. Para todos los puntos del interior de sop , el ndice respecto de
es, pues, constantemente 1 o 1. En el primer caso, se dice positivamente
orientada, y negativamente orientada en el segundo. Si G es el interior de
sop , se pone a veces = G cuando esta positivamente orientada para
indicar esta relacion.
5.4
EJEMPLOS Y EJERCICIOS
Ejemplos.
1. En los caso mas sencillos examinados antes (circunferencias, cuadrado) queda
a la vista que Analisis y Geometra encajan perfectamente.
2. Es interesante observar que si el soporte de un camino cerrado : [a, b] C
no corta al semieje real negativo (, 0], entonces Ind (0) = 0, pues 0 esta en
la componente no acotada de C \ sop . Por la misma razon, Ind (0) = 0 para
todo camino que no corte a una curva cualquiera que una 0 con en la esfera de
Riemann.
3. Para el camino
: t [0, 2] (t) = e3it + 3 e2it C,
el argumento continuo anteriormente obtenido muestra que Ind (0) = 2, y el
mismo valor tendra Ind (a) para todos los a en la componente conexa de C \ sop
que contiene al origen. En la componente conexa no acotada sabemos que el ndice
vale 0.
En la otra componente conexa acotada de C\sop , observamos graficamente
que el ndice vale 1. Puede justificarse analticamente, por ejemplo, hallando su
valor en z = 3; para ello escribimos
(t) 3 = eit (e2it + 6i sen t)
y comprobamos que m (e2it + 6i sen t) = 2 sen t (cos t + 3) solo se anula si
sen t = 0, en cuyo caso e (e2it + 6i sen t) = cos(2t) = 1. En consecuencia
/ (, 0] para ningun t [0, 2], y por tanto,
e2it + 6i sen t
t + Arg(e2it + 6i sen t),
t [0, 2],
es un argumento continuo de 3, de donde Ind (3) = 1.
88
Ejercicio. Para valores muy grandes de R > 0 (luego precisaremos mas), sea
: t [R, R] t 3 (1 + 2i) t 2 (3 7i) t + 8 4i C.
Hallar la variacion de un argumento continuo a lo largo de .

Respuesta.
Para situar (t) segun los valores de t, estudiemos la variacion de signos de
x(t) := e (t) = t 3 t 2 3t + 8,
y(t) := m (t) = 2t 2 + 7t 4,
extendidas a todo t R.
1
+
10
10
Como x (t) = 3t 2 2t 3 se anula para t =
< 0 y t =
> 0,
3
3
mantendra su signo en los intervalos (, t ), (t , t ), (t , +). Y puesto que
limt x (t) = limt+ x (t) = +; x(t ) > 1 (6/3)2 (1 + 4) + 8 = 0
y x (0) = 3 < 0, siendo 0 (t , t ), podemos resumir esta informacion en el
cuadro siguiente:
t
(, t ) = t (t , 0) = 0 (0, t ) = t (t , +) +
x (t) +
>0
x(t)
=0
<0
= 3
<0
=0
>0
=8
>0
del que se deduce que x(t ) > 0, y por tanto existe un t0 (, t ) y uno solo
con x(t0 ) = 0, mientras que x(t) x(t ) > 0 para todo t [0, +).
17
,
Por otra parte y(t) = 2t 2 + 7t 4 = 2(t t1 )(t t2 ) con t1 =
4
7 + 17
t2 =
, de modo que t0 < t < 0 < t1 < t2 y, en consecuencia, obtenemos
4
la siguiente evolucion de signos para x(t), y(t), con la ubicacion de
(t) = x(t) + i y(t):
(, t0 ) = t0 (t0 , t1 ) = t1 (t1 , t2 ) = t2 (t2 , +) +
x(t)
<0
=0
>0
>0
>0
>0
>0
y(t)
<0
<0
<0
=0
>0
=0
<0
(t)
C3
iP
C4
C1
C4
donde hemos puesto P = (0, +), C1 = {z C : e z > 0, m z > 0},

C3 = {z C : e z < 0, m z < 0}, C4 = {z C : e z > 0, m z < 0}.
Elegimos R de modo que R < t0 < t2 < R.
89
Vemos as que el soporte de no corta al semieje real negativo (, 0] (en

particular, que 0
/ sop ), por lo que Arg (t) es un argumento continuo a lo largo
de , y, puesto que R < t0 < t2 < R, podemos concluir que
ARG (t)
RtR
= Arg (R) Arg (R)

y(R)
y(R)
= arc tg
arc tg
= + (R),
x(R)
x(R)
donde
(R) = arc tg
y(R)
y(R)
arc tg
,
x(R)
x(R)
que tiene lmite 0 cuando R + (este tipo de informacion nos sera u til posteriormente).
10
20
0
-20
-10
10
20
30
0
-4
-2
-20
-5
-40
-10
Grafica de (t)
Graficas de x(t) e y(t)
Ejercicio. Sea P(z) = z k + a1 z k1 + + ak un polinomio de grado k 1, y

para cada R > 0, sea
R : t [0, ] R (t) = P(R eit ) C.
Probar que lim ARG R (t) = k .

R+ 0t
(Nos encontraremos mas adelante en la necesidad de estudiar lmites de este

tipo.)
Respuesta.
Notemos que
P(z) = z k g(z),
donde
a1
ak
+ + k = 1.
lim g(z) = lim 1 +
z
z
z
z
90

Existira por tanto un R0 > 0 tal
que si |z| > R0
|g(z) 1| < 1,
y, en particular, g(z)
/ (, 0]. Tomando, pues, R > R0 ,
R (t) = R k eikt g(R eit ),
/ (, 0] para todo t
con g(R eit )
[0, ], por lo cual
t [0, ] kt + Arg g(R eit ) R
es un argumento continuo a lo largo de R . En consecuencia
ARG R (t) = k + Arg g(R) Arg g(R)
0t
si R > R0 . Pero entonces

lim ARG R (t) = k + lim
R+ 0t
R+
Arg g(R) Arg g(R)
= k + Arg 1 Arg 1 = k.
5.5
APENDICE:
SUPERFICIES DE RIEMANN
NOTA. Lo que a continuacion se expone es solo una descripcion intuitiva, sin ninguna pretension de
rigor. Nos permitimos, por ello, algunas expresiones mas desenfadadas que las habituales en un texto
de Matematicas, que esperamos sirvan para un mejor entendimiento de las (profundas) ideas que se
quieren reflejar.
Una y otra vez venimos chocando con los problemas que nos crea el hecho de que
el logaritmo complejo es una funcion multivaluada, que para cada complejo z no
nulo nos obsequia con infinitos valores. Evidentemente, demasiados para poder
actuar sobre ellos con las tecnicas habituales del Analisis matematico.
Para salir del paso hemos recurrido primeramente, de la manera mas drastica,
a podar las ramas, seleccionando en ciertas regiones del plano un valor entre los
infinitos posibles, con habilidad suficiente para enlazar los valores seleccionados
de forma que se consiga una funcion holomorfa (una determinacion del logaritmo,
tambien denominada una rama del logaritmo). Pero en otras regiones del plano
esto no soluciona las dificultades: cuando hemos necesitado movernos a lo largo de
curvas que rodeen al origen, hemos tenido que fabricar un nuevo apano, los logaritmos continuos a lo largo de curvas. Esto da una pista para intentar uniformizar el
91
logaritmo, de modo que podamos enfrentarnos a e l tratandolo como a una funcion

verdadera: cuando volvemos a un mismo punto con un valor distinto del logaritmo tras una variacion continua del mismo, podemos interpretar que este punto
esta situado en una copia del plano de partida, superpuesta al plano original pero
distinta (por eso aparece un valor distinto del logaritmo). La cuestion entonces es
como pegar las infinitas copias necesarias, de manera que mantengan una estructura
razonable.
Para lograrlo, Riemann imagino infinitas copias de C, llamemosles [C, n] por
ejemplo (n Z), cortadas a lo largo del semieje real [0, +); partiendo de [C, 0],
le unimos [C, 1] enganchando el borde inferior del corte de [C, 0] con el borde
superior del corte de [C, 1]; luego seguimos el proceso uniendo [C, 1] con [C, 2]
enganchando el borde inferior del corte de [C, 1] con el borde superior del corte
de [C, 2], y as sucesivamente. De forma similar se va uniendo [C, 0] con [C, 1]
(recordemos que [C, 0] aun tiene libre el borde superior), [C, 1] con [C, 2],
etc.
Se obtiene as un objeto imposible, una especie de helice infinita completamente aplastada, que se denomina la superficie de Riemann del logaritmo. Cada
una de las copias de C es una hoja de la superficie, y es posible considerar el
logaritmo como una funcion genuina con dominio en su superficie de Riemann,
que va adjudicando valores segun la hoja en la que este situado el punto (tal como
el logaritmo continuo a lo largo de una curva va dando valores segun el parametro).
La misma idea puede emplearse para adecentar otras funciones. El ejemplo
mas sencillo es la raz cuadrada: una raz cuadrada continua a lo largo de la circunferencia unidad (definicion obvia) que parta, por ejemplo, del valor 1 en 1, nos
devolvera a este punto tras completar la vuelta con el valor 1 (si continuasemos
girando, tras la siguiente vuelta recuperaramos el valor 1). Ahora sera suficiente
contar con dos copias [C, 1], [C, 2] de C, cortadas otra vez a lo largo del semieje
real no negativo, pegadas uniendo el borde inferior del corte de [C, 1] con el borde
superior del corte de [C, 2], y despues el borde inferior del corte de [C, 2] con el
borde superior del corte de [C, 1], dejandolo todo de una sola pieza.
La descripcion del propio Riemann en su obra sobre funciones abelianas dice
as:
Para muchas investigaciones, tales como la investigacion de funciones algebraicas y abelianas, es conveniente representar el modo en que se ramifica una
funcion multivaluada en la siguiente manera geometrica. Pensemos que el plano
(x, y) esta cubierto por otra superficie coincidente con e l (o apoyado sobre e l a una
distancia infinitesimal) en tanto en cuanto la funcion este definida. Al continuar la
funcion la superficie se extiende correspondientemente. En una parte del plano en
la que la funcion tenga dos o mas continuaciones la superficie es doble o multiple;
consta all de dos o mas hojas, cada una de las cuales representa una rama de la
92
funcion. Alrededor de un punto de ramificacion de la funcion una hoja de la superficie continua en otra, de manera que en el entorno de tal punto la superficie puede
mirarse como una superficie helicoidal con eje a traves del punto y perpendicular al
plano (x, y), y pendiente infinitesimal. Cuando la funcion retorna a su valor previo
tras un numero de vueltas de z alrededor del punto de ramificacion (como, por
ejemplo, con (z a)m/n , cuando m, n son primos relativos, despues de n vueltas
de z alrededor de a), entonces naturalmente hay que suponer que la hoja de mas
arriba baja a traves de las otras a unirse con la inferior.
La funcion multivaluada tiene solo un valor para cada punto de esta superficie
que representa su ramificacion, y por tanto puede ser vista como una funcion
completamente determinada sobre la superficie.
Puede darse una definicion satisfactoria de las superficies de Riemann de
las inversas multiformes que nos han ido apareciendo, incluidas en la definicion
general de superficie de Riemann abstracta que introdujeron basicamente Weyl y
Rado. Tecnicamente, una superficie de Riemann es una variedad compleja conexa
de dimension 1 (por tanto, de dimension real 2) dotada de una estructura analtica.
Esto u ltimo significa que si dos cartas (U, ), (V, ) se cortan, los cambios de
coordenadas 1 y 1 son funciones (complejas de variable compleja)
analticas.
Continuar por este terreno nos acercara mas a la Topologa diferencial o a la
Geometra diferencial que a los intereses centrales de este curso, por lo que dejamos
aqu este asunto, remitiendonos para una introduccion al tema a Narasimhan, R.:
Complex Analysis in one variable. Birkhauser, Boston (1985). Dedicada exclusivamente a las superficies de Riemann es la monografa clasica Springer, G.:
Introduction to Riemann Surfaces. Addison-Wesley, Reading, Mass. (1957); mas
actuales, Farkas, H. M.; Kra, I.: Riemann Surfaces. (2nd. ed.) Springer, New York
(1992), Forster, O.: Lectures on Riemann Surfaces. Springer, New York (1981).
CAPITULO 6
Teora local de Cauchy

6.1
INTRODUCCION
Atravesaremos ahora la puerta de entrada a un mundo sin parangon en la teora de

funciones de una o varias variables reales. La llave: la formula de Cauchy, que al
expresar el valor en un punto de una funcion holomorfa en abiertos estrellados, de
momento como una especie de promedio integral de sus valores sobre un camino
cerrado que rodee al punto, permite representar (localmente, al menos) la funcion
como una integral dependiente de un parametro, con consecuencias adivinables en
algunos casos (analiticidad de las funciones holomorfas) o un tanto imprevisibles
en otros (teorema de Liouville, teorema fundamental del a lgebra, . . . )
La formula de Cauchy descansa, a su vez, en el teorema de Cauchy. Reflexionando a posteriori, parece absolutamente imposible que tal cantidad de resultados
se sustenten, finalmente, en algo que podra parecer una simple curiosidad: la integral de una funcion holomorfa en un disco (o, con la misma demostracion, en
un abierto estrellado) sobre un camino cerrado es nula (tambien si la funcion deja
de ser derivable en un punto, mientras mantenga la continuidad). Esta sera nuestra
primera version del teorema de Cauchy: mas adelante nos ocuparemos de extender
su alcance (comenzando por ampliar el a mbito de validez de la formula de Cauchy
en la denominada teora global de Cauchy).
Sin embargo, el examen de la demostracion del teorema de Cauchy revela la
causa de esta pequena maravilla, situandonos en terreno mas conocido. Basta encontrar una primitiva de la funcion dada para saber que la integral es nula, y esto reduce
el problema a probar la anulacion de la integral sobre el contorno de un triangulo
(teorema de Cauchy-Goursat). Una exposicion inmejorable de este planteamiento
puede verse en Open University: Integration/Cauchys Theorem I/Taylor Series.
The Open University Press, Milton Keynes (1974), p. 63; a partir de esa pagina se
encuentra perfectamente desglosada y explicada la demostracion, si bien bajo la
hipotesis de derivabilidad en todos los puntos.
Los enunciados y demostraciones que nosotros utilizaremos se encuentran
basicamente en
Rudin, W.: Analisis real y complejo. (3a. ed.) McGraw-Hill/Interamericana,
Madrid (1987).
Como complemento en algunos detalles,
Conway, J. B.: Functions of One Complex Variable. (2nd ed.) Springer, New
York (1978).
93
94
6.2
TEOREMA Y FORMULA
DE CAUCHY
1 Teorema. Sea un abierto no vaco de C, f : C continua. Son equivalentes:

(1.1) existe una primitiva de f en , es decir, una funcion F H() tal que
F = f ;
(1.2) para todo camino cerrado contenido en ,

f (z) dz = 0;
(1.3) para dos caminos cualesquiera 1 , 2 contenidos en que tengan los

mismos orgenes e iguales extremos,

f (z) dz =
f (z) dz.
1
Demostracion. (Recuerdese el teorema de los campos conservativos para formas

diferenciales reales).
(1.1) (1.2) Visto.
(1.2) (1.3) 1 (2 ) es un camino cerrado contenido en .
(1.3) (1.1) Si no es conexo, las componentes conexas de son abiertos
disjuntos dos a dos cuya union es . Por tanto, para construir una primitiva de f
en es suficiente construir una primitiva de f en cada una de las componentes de
.
Sea, pues, G una componente conexa de . Fijado a G, definimos F :
G C haciendo

F(z) =
f (w) dw,
z
donde z es cualquier camino contenido en G con origen a y extremo z (la funcion

F esta entonces bien definida por ser la integral independiente del camino). Esta
funcion F es derivable, y para cada z 0 G es F (z 0 ) = f (z 0 ). En efecto: dado
z 0 G, tomemos de modo que D(z 0 ; ) G; si 0 es un determinado camino
contenido en G con origen a y extremo z 0 , para cada z D(z 0 ; ) sea z la union
de 0 con el segmento [z 0 , z], que por ser un camino contenido en G con origen a
y extremo z nos permite escribir

F(z) F(z 0 )
1
=
f (w) dw
f (w) dw
z z0
z z0
z
0

1
f (w) dw
=
z z 0 [z0 ,z]
95
y por tanto

1
F(z) F(z 0 )

f (z 0 ) =

zz
zz
0
sup
wsop[z 0 ,z]
[z 0 ,z]
1
f (w) dw
z z0

[z 0 ,z]

f (z 0 ) dw
| f (w) f (z 0 )| ,
que tiende a 0 cuando z tiende a z 0 por la continuidad de f en z 0 .

2 Teorema de Cauchy para un triangulo (Cauchy-Goursat). Sea un abierto
no vaco de C, p un punto de , f : C continua tal que f H( \ { p}).
Para cualquier triangulo cerrado contenido en ,

f (z) dz = 0.
Demostracion. Rudin, loc. cit., Teor. 10.13, pp. 232234.

3 Teorema de Cauchy para abiertos estrellados. Sea un abierto estrellado de
C, p un punto de , f : C continua tal que f H( \ { p}). Para cualquier
camino cerrado contenido en ,

f (z) dz = 0.
Demostracion. Adaptar la de Rudin, loc. cit., Teor. 10.14, p. 234.

4 Formula de Cauchy en abiertos estrellados. Sea un abierto estrellado de C
y f H(). Si es un camino cerrado contenido en , para cualquier z de
que no este en el soporte de es

f (w)
1
dw.
f (z) Ind (z) =
2i w z
Demostracion. Adaptar la de Rudin, loc. cit., Teor. 10.15, pp. 234235.
5 Corolario (Formula de Cauchy en un disco). Sea un abierto no vaco de C,
D(a; r ) un disco cerrado contenido en , f una funcion holomorfa en . Entonces,
para cada z D(a; r ),

1
f (w)
dw.
f (z) =
2i D(a;r ) w z
Demostracion. Puesto que D(a; r ) , la distancia d(a, c ) de a al complementario de es estrictamente mayor que r . Si r < R < d(a, c ), el disco D(a; R)
es un abierto estrellado contenido en , en el que f sera holomorfa.
Llamando a la circunferencia D(a; r ), es un camino cerrado contenido
en D(a; R) y para cada z D(a; r ) es Ind (z) = 1, luego basta aplicar el resultado
anterior para obtener la formula del enunciado.
96
6.3
CONSECUENCIAS DE LA FORMULA
DE CAUCHY
1 Teorema (analiticidad de las funciones holomorfas). Toda funcion holomorfa

abierto no vaco de C y f H(), para
es analtica. Precisando mas: Si es un
n
c
cada a existe una serie de potencias
n=0 an (z a) con radio R d(a, )
(donde d(a, c ) es la distancia de a al complementario de , considerada + si
c = , o sea, si = C) tal que
f (z) =
an (z a)n
n=0
siempre que |z a| < d(a, c ).

Informalmente, la misma serie representa a f hasta la frontera.
Demostracion. Elegido a, sea z tal que |z a| < d(a, c ). Tomando r de modo
que |z a| < r < d(a, c ), el disco cerrado D(a; r ) esta contenido en , y puesto
que |z a| < r , la formula de Cauchy nos da
1
f (z) =
2i

D(a;r )
f (w)
dw.
wz
Pero el teorema de construccion de funciones analticas nos dice que

1
2i

D(a;r )

f (w)
f (w)
1
dw =
dw (z a)n
n+1
wz
2i n=0 D(a;r ) (w a)
con tal que z no este en la circunferencia |w a| = r , y as

f (z) =
an (z a)n
n=0
donde
1
an =
2i

D(a;r )
f (w)
dw.
(w a)n+1
En principio los an parecen depender de r ; sin embargo no es e ste el caso, ya que

f (n) (a)
.
an =
n!
97
Ejemplos.
1. La funcion f definida en = (C \ 2iZ) {0} por

z
f (z) = e z 1 si z y z = 0
1
si z = 0
es holomorfa en , luego sera analtica en y en particular existiran coeficientes
Bn (los llamados numeros de Bernoulli) de modo que
f (z) =

Bn
n=0
n!
zn
al menos siempre que |z| < 2. De hecho, el radio de convergencia de la serie es

exactamente 2, ya que si fuese mayor f admitira una extension continua en 2i,
lo que es falso.
2. En el ejemplo anterior, la serie de potencias que representa a f en el entorno del
punto a = 0 resulta tener por radio exactamente la distancia d(a, c ). Siempre
vamos a encontrar esta situacion? La respuesta, en general, es NO: basta tomar
= C \ (, 0] y f : z f (z) = Log z C; para cualquier a
el desarrollo de f en serie de potencias de z a tiene radio |a|, mientras que si
e a < 0 es d(a, c ) = | m a| < |a|.
La formula de Cauchy permite obtener una representacion de las derivadas
de una funcion holomorfa en terminos de la propia funcion, de la que podremos
extraer consecuencias importantes, que no tienen su correspondiente en la teora
de funciones en R.
2 Formula de Cauchy para las derivadas. Sea un abierto no vaco de C y
f H(). Dado a , sea r > 0 tal que D(a; r ) . Entonces, si |z a| < r ,
para cada n N,

n!
f (w)
f (n) (z) =
dw.
2i D(a;r ) (w z)n+1
Demostracion. Para cada z D(a; r ) es

f (w)
1
dw.
f (z) =
2i D(a;r ) w z
Aplicando reiteradamente el teorema de derivacion bajo el signo integral se obtiene
la formula deseada.
Un corolario es que el tamano de las derivadas sucesivas en un punto no puede
crecer descontroladamente.
98
3 Desigualdades de Cauchy. Sea un abierto no vaco de C y f H().

Dado a , sea r > 0 tal que D(a; r ) . Entonces, poniendo M(r ) =
sup|wa|=r | f (w)|, para cada n N se tiene la acotacion
| f (n) (a)|
n! M(r )
.
rn
Demostracion. Obviamente

n!
n! M(r )
f
(w)
(n)

dw
| f (a)| =
2 r n+1 2r.
2i D(a;r ) (w a)n+1
4 Teorema de Liouville. Sea f una funcion entera, es decir, f H(C). Si f esta
acotada, necesariamente es constante.
Demostracion. Supongamos que para algun K > 0 es | f (z)| K cualquiera que
sea z C. Entonces, dado a C, para todo R > 0 se tendra

1
f
(w)
1 K 2 R = K ,
dw
| f (a)| =
2 R 2
2i D(a;R) (w a)2
R
expresion que tiende a 0 cuando R +. Por tanto f (a) = 0 en todo a C,
para lo que f debe ser constante.
5 Teorema fundamental del a lgebra. Todo polinomio no constante tiene al menos
una raz en C.
Demostracion. En caso contrario, si P(z) = a0 z n + . . . + an fuese un polinomio
no constante (a0 = 0, n 1) que no se anulase nunca, la funcion definida por
f (z) =
1
P(z)
sera una funcion entera no nula. Pero como

lim f (z) = lim
1
= 0,
z n (a0 + . . .)
se deduce que f debe estar acotada. (En efecto: tomando = 1 en la definicion

de lmite, existira un R > 0 tal que si |z| > R se tiene | f (z)| < 1; y para
|z| R, f se mantiene acotada por el teorema de Weierstrass.) Segun el teorema
de Liouville, f tiene que ser constante (no nula), e igualmente sera constante
1/ f = P, contradiciendo la hipotesis de partida.
99
6 Principio del modulo maximo. Sea f una funcion holomorfa en una region
de C. Si su modulo | f | tiene algun maximo local, entonces f es constante.
Demostracion. Supongamos que para algun a sea posible encontrar un R > 0
tal que D(a; R) y | f (a)| | f (z)| para todo z D(a; R). Esto obliga a que
| f (a)| = | f (z)| para todo z D(a; R), puesto que si 0 < |z a| = r < R, como
1
f (a) =
2i

D(a;r )
1
f (w)
dw =
wa
2
f (a + r eit ) dt
se deduce que
1
| f (a)|
2
1
| f (a + r eit )| dt
2
con lo cual
1
2
| f (a)| dt = | f (a)|,
(| f (a)| | f (a + r eit )|) dt = 0.
El integrando es una funcion continua no negativa, luego | f (a)| = | f (a + r eit )|

para todo t [0, 2] y en particular | f (a)| = | f (z)|.
Pero si | f | es constante en D(a; R), f tiene que ser constante en D(a; R)
(consecuencia de las ecuaciones de Cauchy-Riemann) y finalmente f es constante
en (por el principio de prolongacion analtica).
Hay otras lecturas equivalentes de este enunciado:
o bien f es constante o, en caso contrario, su modulo | f | no tiene maximos
locales;
si f no es constante, su modulo | f | no tiene maximos locales.
7 Teorema de Morera. Sea f una funcion continua en un abierto no vaco de
C tal que para todo triangulo cerrado se tenga

Entonces f H().
f = 0.
100
Demostracion. Hemos de probar que cada a posee un entorno en el que f es

derivable. Para verlo, consideremos cualquier disco D(a; r ) ; en e l, f admite
una primitiva F que podemos construir poniendo

F(z) =
f (w) dw,
z D(a; r ).
[a,z]
(La comprobacion de que F es una primitiva de f es estandar: usando la hipotesis

del enunciado, para cada z 0 D(a; r ) tenemos

1
F(z) F(z 0 )
=
f (w) dw,
0 < |z z 0 | < r |z 0 a|,
z z0
z z 0 [z0 ,z]
lo que implica que por ser f continua

1

F(z) F(z 0 )

f
(w)
f
(z
f
(z
)
=
)
dw
0
0

z z0
z z 0 [z0 ,z]
max | f (w) f (z 0 )|
w[z 0 ,z]
tiende a 0 cuando z z 0 .)
Pero si F H(D(a; r )), es analtica y en particular su derivada f es a su vez
derivable en D(a; r ).
El teorema de Morera da una especie de recproco del teorema de CauchyGoursat.
8 Corolario. Sea un abierto no vaco de C, p , f : C continua en
y holomorfa en \ { p}. Entonces f es holomorfa en .
Demostracion. Del teorema de Cauchy-Goursat se deduce que

f =0
para todo triangulo , y el teorema de Morera asegura entonces que f es

holomorfa.
Podemos incluso rebajar exigencias:
9 Corolario. Sea un abierto no vaco de C, p , f una funcion holomorfa
en \ { p} y acotada para algun r > 0 en el disco reducido D ( p; r ) = {z C :
0 < |z p| < r }. Entonces f admite una extension holomorfa en .
Demostracion. La funcion h definida en por
(z p)2 f (z) si z \ { p}
h(z) =
0
si z = p
101
es holomorfa en y h ( p) = 0 por la hipotesis de acotacion de f , con lo cual

podremos escribir

cn (z p)n ,
h(z) =
z D( p; r ),
n=2
y as
f (z) =
cn+2 (z p)n ,
z D ( p; r ),
n=0
de manera que basta extender f a p definiendo f ( p) = c2 .

6.4
AVANCE: El teorema de Cauchy y el calculo de integrales reales.
Como aperitivo de procedimientos que posteriormente desarrollaremos de manera

mas completa y sistematica, veamos como el uso de la integracion compleja permite
el calculo de ciertas integrales reales que, de otro modo, resulta difcil de calcular.
Nos proponemos demostrar la tan repetida igualdad
+
sen x
dx = ,
x
2
0
teniendo en cuenta que la integral debe ser entendida como integral impropia, es
decir,
R
+
sen x
sen x
dx =
lim
d x.
r 0+ , R+ r
x
x
0
iR
-R
-r
Comencemos por considerar la funcion f H(), donde

= C \ {i y : y (, 0]}
ei z
f (z) =
,
z
z .
102
Sea (r, R) el camino cerrado de la figura, obtenido uniendo el segmento

[r, R], la semicircunferencia R : t [0, ] R (t) = R eit C, el segmento
[R, r ] y la semicircunferencia opuesta de r : t [0, ] r (t) = r eit C.
Puesto que es un abierto estrellado y sop (r, R) , teniendo en cuenta el
teorema de Cauchy podemos escribir

f (z) dz
0=
(r,R)

f (z) dz +
f (z) dz +
f (z) dz
f (z) dz
=

=
[r,R]
R ix
e
dx +
x

=

R

R
e
dx
f (z) dz
R x
r

f (z) dz
f (z) dz;
f (z) dz +
ei x ei x
dx +
x
[R,r ]
r i x
equivalentemente,

r
ei x ei x
dx =
x
f (z) dz
f (z) dz.
( )
Ahora bien:

r

f (z) dz =
0
it
ei r e
r i eit dt = i
it
re
ei r (cos t+i sen t) dt,
y para cada t [0, ] la funcion del integrando tiene lmite (cuando r 0+ ) igual
a e0 = 1. Ademas, la acotacion
i r (cos t+i sen t
e
= er sen t e0 = 1,
t [0, ],
muestra que el integrando esta dominado por una funcion (constante) integrable
en [0, ] que no depende de r , luego aplicando el teorema de la convergencia
dominada se obtiene

lim+
f (z) dz = i
dt = i .
r 0
Analogamente

R
f (z) dz = i
0
ei R (cos t+i sen t) dt,
103
pero ahora, para t (0, ), es

lim ei R (cos t+i sen t = lim eR sen t = 0,
R+
R+
R sen t
= eR sen t < e0 = 1,
e
y por la misma razon de antes

lim
R+ 0
eR sen t dt = 0.
(En la mayor parte de los textos, este resultado, conocido como lema de Jordan,
se
prueba sin hacer referencia a la integral de Lebesgue mediante la acotacion
2t
(1 e R ), deducida de la desigualdad sen t
para
eR sen t dt
R
0 t .)
2
Como consecuencia,

lim
f (z) dz = 0,
R+
R
y llevando los resultados obtenidos a la igualdad ( ) y pasando al lmite para

r 0+ , R +, queda
2i
0
luego

0
sen x
d x = i + 0,
x
sen x
dx = .
x
2
CAPITULO 7
Teora global de Cauchy

7.1
INTRODUCCION
Los e xitos logrados con la teora local de Cauchy invitan a refinar las herramientas basicas teorema de Cauchy, formula de Cauchy para ampliar su alcance.
Como, por ahora, estas herramientas funcionan en discos o, a lo sumo, en abiertos
estrellados, solo hemos averiguado propiedades de las funciones holomorfas que
dependen en u ltima instancia del comportamiento de la funcion en un entorno de
cada punto de su dominio (propiedades de caracter local). Si queremos estudiar
propiedades de caracter global, hemos de profundizar en la validez del teorema y
de la formula de Cauchy en abiertos cualesquiera.
Con este proposito extenderemos la integracion a colecciones de caminos
cerrados (ciclos), e introduciremos el concepto de ciclos homologos respecto de un
abierto. As podremos obtener una version muy general de la formula y del teorema
de Cauchy en el teorema homologico de Cauchy, viendo ademas que son justamente
los ciclos homologos a 0 respecto de un abierto los que hacen nula la integral de
toda funcion holomorfa en el abierto: en otras palabras, los ciclos mas generales
para los que va a ser valido el teorema de Cauchy si no imponemos restricciones
al abierto. En el plano practico, esto nos libera de la busqueda (engorrosa a veces)
de abiertos estrellados en los que plantear las integrales que debemos manejar,
mirando tan solo de conseguir abiertos respecto de los cuales el ciclo sobre el que
se integra sea homologo a 0.
Cerrando este captulo aparece el concepto de conexion simple y diferentes caracterizaciones del mismo, que aclaran algunos de los comportamientos
anomalos con los que nos hemos ido tropezando y ponen de manifiesto el interes
de saber en que abiertos se anulan las integrales de todas las funciones holomorfas sobre todos los caminos cerrados. Son, pues, estos abiertos (los simplemente
conexos) los mas generales en los que el teorema de Cauchy es cierto si no
queremos tener que restringir los ciclos sobre los que se integra.
Referencias basicas:
Madrid (1987).
York (1978).
104

7.2
105
CICLOS. HOMOLOGIA.
Damos una definicion ingenua de ciclo. Para una definicion mas rigurosa, aunque
menos intuitiva, ver Rudin, loc. cit., Def. 10.34, pp. 246247.
Definicion 7.1. Un ciclo es una sucesion finita de caminos cerrados, distintos o repetidos, que denotaremos por = [1 , 2 , . . . , n ], en la que no tenemos en cuenta el orden, de modo que dos ciclos y son iguales cuando
consten de los mismos caminos, aunque aparezcan reordenados (es decir, =
[ (1) , (2) , . . . , (n) ] para alguna permutacion ).
Denominaremos a 1 , 2 , . . . , n los caminos que componen , y usaremos
la notacion para indicar que es uno de los caminos que componen .
El soporte de un ciclo = [1 , 2 , . . . , n ] es la union de los soportes de 1 ,
2 , . . . , n :
sop = sop 1 sop 2 sop n .
El soporte de un ciclo es evidentemente un conjunto compacto; por contra, no
es en general conexo (ejemplo: = [1 , 2 ] donde 1 , 2 son dos circunferencias
concentricas distintas).
Por comodidad de lenguaje, diremos que un ciclo esta contenido en un conjunto para indicar que el soporte del ciclo esta contenido en el conjunto.
Definicion 7.2. Dado un ciclo = [1 , 2 , . . . , n ], el ciclo opuesto es el ciclo
obtenido tomando los opuestos de los caminos que componen :
= [1 , 2 , . . . , n ].
La union o suma de dos ciclos = [1 , 2 , . . . , m ], = [1 , 2 , . . . , n ], es
el ciclo
= [1 , 2 , . . . , m , 1 , 2 , . . . , n ].
Definicion 7.3. Integracion sobre ciclos. Dada una funcion f continua sobre el
soporte de un ciclo = [1 , 2 , . . . , n ], se define

f =
n

k
k=1
f =

f.
Consecuentemente, el ndice de un punto a

/ sop respecto de es
1
Ind (a) =
2i

dz
=
Ind (a).
za

106
Definicion 7.4. Sea un abierto no vaco de C y un ciclo contenido en .

Diremos que es homologo a 0 respecto de , y pondremos
0
si para todo a C \ es
()
Ind (a) = 0.
Cuando consta de un solo camino , suele ponerse directamente 0 ().

Dos ciclos 1 y 2 contenidos en se dicen homologos respecto de ,
1 2
(),
si para todo a C \ es
Ind1 (a) = Ind2 (a)
o, equivalentemente, si 1 (2 ) 0
().
Ejemplos. Consideremos 0 r < r1 < r2 < R y sea = {z C : r < |z| < R}

el anillo de centro el origen con radio interior r y radio exterior R. Sea ahora
1 : t [0, 2 ] 1 (t) = r1 eit C la circunferencia de centro el origen
y radio r1 orientada negativamente, 2 : t [0, 2] 2 (t) = r2 eit C la
circunferencia de centro el origen y radio r2 orientada positivamente. Entonces
= [1 , 2 ] es un ciclo homologo a 0 respecto de , mientras que no lo son los
ciclos 1 = [1 ] ni 2 = [2 ]. Obviamente, el ciclo 1 es homologo del ciclo 2
respecto de (y 1 de 2 ).
7.3
TEOREMA HOMOLOGICO
DE CAUCHY
Lema 7.5. Si f H() y g esta definida en por

f (z) f (w)
si w = z,
g(z, w) =
zw
si w = z
f (z)
entonces g es continua en .
Demostracion. Rudin, loc. cit., Lema 10.29, p. 243.
Teorema 7.6. Sea un abierto no vaco del plano complejo y f H(). Sea
un ciclo homologo a 0 respecto de . Entonces:
para cada z \ sop

f (w)
1
dw
Ind (z) f (z) =
2i w z
(formula de Cauchy) y

(teorema homologico de Cauchy).
f (w) dw = 0.
107
Demostracion. Rudin, loc. cit., Teor. 10.35, pp. 248249.

NOTA. Las demostraciones clasicas de este resultado eran bastante menos directas.
En su momento fue una sorpresa que J. D. Dixon publicara en 1971 la demostracion

mas simple y elemental que ahora se ha hecho estandar (Dixon, J. D.: A brief proof
of Cauchys integral theorem, Proc. Amer. Math. Soc. 29 (1971), 625626).
Corolario 7.7. (Derivadas sucesivas). Sea un abierto no vaco del plano complejo y f H(). Sea un ciclo homologo a 0 respecto de . Entonces:
para cada z \ sop y n N es

f (w)
n!
dw.
Ind (z) f (n) (z) =
2i (w z)n+1
Corolario 7.8. (Homologa e integracion). Sea un abierto no vaco del plano
complejo y , 1 , 2 sendos ciclos contenidos en . Entonces:
(i) es homologo a 0 respecto de si y solo si

f (w) dw = 0
para toda funcion f H().

(ii) 1 y 2 son homologos respecto de si y solo si

f (w) dw =
f (w) dw
1
2
para toda funcion f H().

Demostracion. Las implicaciones directas son obvias a la vista del teorema homologico de Cauchy. Para obtener los recpocos, basta considerar para cada a
/
la funcion f H() definida por
f (z) =
1
.
za
Vemos as que lo que realmente importa a la hora de integrar una funcion

holomorfa sobre un ciclo no es tanto el ciclo en cuestion como la clase de homologa
asociada a e l (esta idea es la que se toma como gua en la definicion de ciclo que
se da, por ejemplo, en Rudin, loc. cit.). En la practica, este hecho permite muchas
veces simplificar calculos, sustituyendo un ciclo complicado o poco adaptado a la
funcion por otro homologo mas conveniente (o un camino cualquiera 1 por otro
2 con los mismos extremos siempre que 1 (2 ) sea homologo a 0).
108
7.4

SIMPLE
CONEXION
Definicion 7.9. Diremos que un subconjunto no vaco de C es simplemente

conexo si es una region tal que para todo ciclo y para toda f H() se
verifica

f (z) dz = 0.
Evidentemente, esta u ltima condicion equivale a que la integral de toda f

H() se anule sobre cualquier camino cerrado contenido en .
Teorema 7.10. (Caracterizaciones de la conexion simple). Sea una region de
C. Las siguientes propiedades son equivalentes entre s:
(1) es simplemente conexo.
(2) Todo camino cerrado contenido en es homologo a 0 respecto de .
(3) todo ciclo contenido en es homologo a 0 respecto de .
(4) (Existencia de primitivas) Toda funcion f H() admite una primitiva en
, es decir, f = F para alguna F H().
(5) (Existencia de armonica conjugada) Para toda funcion u armonica en existe
f H() tal que u = e f en .
(6) (Existencia de logaritmos holomorfos) Para toda funcion f H() tal que
f (z) = 0 en todo z existe g H() tal que exp(g(z)) = f (z) para todo
z .
(7) (Existencia de races cuadradas holomorfas) Para toda funcion f H()
tal que f (z) = 0 en todo z existe g H() tal que g 2 (z) = f (z) para
todo z .
Demostracion. Las implicaciones (2) (3) (1) (4) son obvias o consecuencia inmediata de resultados anteriores.
(4) (5). Dada una funcion u armonica en construimos la funcion h =
u x i u y , que, por ser u armonica, cumple las condiciones de Cauchy-Riemann
y de diferenciabilidad y por tanto es holomorfa en . Si H es una primitiva de h
y U = e H , puesto que h = H = Ux i U y y es conexo debe existir una
constante C R tal que u = U + C. La funcion f = H + C es entonces una
funcion holomorfa en tal que e f = u.
(5) (6). Dada f H() tal que f (z) = 0 en todo z , pongamos u = e f ,

1
v = m f . Es facil comprobar que = ln | f | = ln u 2 + v 2 es una funcion
2
arm
o
nica
en
,
luego
existir
a
h
H()
tal
que
e
h
= = ln | f |. Pero entonces
h
e
h
e = e
= | f |, con lo cual
h
e
=1
f
109
y por tanto la funcion eh / f , holomorfa y no nula en la region , debe mantenerse

constante. Si c es el valor de esa constante, g = h Log c es una funcion holomorfa
en para la que
eh
= f.
e g = ehLog c =
c
(6) (7). Dada f H() tal que f (z) = 0 en todo z , si para alguna
g H() es e g = f , para la funcion holomorfa
1
h = e2g
es h 2 = e g = f .
(7) (2). Sea a
/ y un camino cerrado contenido en . La funcion f H()
definida por f (z) = za no se anula en , luego existe f 1 H() tal que f 12 = f .
Reiterando, se encuentra para cada n N una f n H() tal que f n2 = f n1 y as
n
( f n )2 = f,
Derivando
2n ( f n )2
n N.
f n = 1,
n N,
con lo cual
1
1
f n (z)
=
=
, n N, z .
f n (z)
f (z)
za
Se sigue que para todo n N ha de ser

1
1
1 1
1
dz
f n (z)
dw
=
dz
=
Ind
(a)
=
2n
2n 2i z a
2i f n (z)
2i fn w
2n
= Ind fn (0) Z,
lo que solo es posible si Ind (a) = 0.
Observaciones.
(1) Notese que para que no sea simplemente conexo es, pues, necesario y suficiente que haya al menos una funcion holomorfa en que no tenga primitiva.
(2) Se pueden anadir equivalencias a la lista anterior (cf. Rudin, loc. cit., Teor.
13.11, pp. 311 y ss.). De momento, daremos una descripcion geometricotopologica de los conjuntos simplemente conexos de C.
Esta nueva caracterizacion necesita un lema previo, facil de visualizar pero
de demostracion un tanto enrevesada. Se trata de construir un ciclo que rodee a
un compacto K contenido en un abierto . La idea basica consiste en tomar una
coleccion finita de segmentos que constituye la frontera de una imagen digitalizada de K ligeramente ampliada. El punto delicado de la demostracion esta en
comprobar que estos segmentos se pueden organizar para formar un ciclo respecto
del cual los puntos de K resulten tener ndice 1 y los puntos fuera de tengan
ndice 0.
110
Lema 7.11. Sea un abierto no vaco de C y sea K un conjunto compacto contenido

en . Existe entonces un ciclo en \ K tal que
(1) para a
/ se tiene Ind (a) = 0, es decir,
0
(),
(2) para cada z K

Ind (z) = 1.
Demostracion. Ver Rudin, loc. cit., Seccion 13.4 y Teor. 13.5., pp. 304306.
Dado que Ind (z) = 1 para z K , esta justificada la expresion rodea a
K en ; en cierto modo, podramos decir que K queda en el interior de y el
complementario de en el exterior de . El ciclo sirve como contorno de K
en diferentes contextos, no solo en la teora de funciones holomorfas.
Teorema 7.12. Sea una region de C. Entonces es simplemente conexo si y solo
si C \ es conexo en la esfera de Riemann C .
Demostracion. Si C \ es conexo, es simplemente conexo. En efecto: tomemos un ciclo cualquiera contenido en . El conjunto C \ sop tendra una
coleccion finita o numerable de componentes conexas, todas ellas acotadas excepto
una que denotaremos por B. Entonces, las componentes conexas de C \ sop
seran las componentes acotadas de C \ sop mas B {}. Dado que C \
es conexo y esta contenido en C \ sop , necesariamente C \ B {},
o lo que es lo mismo C \ B. Puesto que el ndice respecto de es 0 en B,
componente no acotada de C \ sop , en particular para cualquier a C \ B
se tiene Ind (a) = 0.
Para demostrar el recproco, probaremos que si C \ no es conexo, no
puede ser simplemente conexo.
Supongamos, pues, que C \ no sea conexo, con lo que existiran conjuntos
A y B no vacos disjuntos cerrados en C tales que C \ = A B. Sea B:
entonces A C es acotado (en caso contrario, A = A), luego compacto,
contenido en C \ B que es un abierto de C. Segun el lema anterior en estas
condiciones existe un ciclo contenido en (C \ B) \ A = tal que Ind (a) = 1
para todo a A. Pero A C \ , con lo que no es homologo a 0 respecto de
y no es simplemente conexo.
Este resultado se traduce en lenguaje coloquial en que los conjuntos simplemente conexos de C son los que no tienen agujeros, mirando como agujeros de
las componentes acotadas de C \ .
111
Ejemplos.
(1) Son conjuntos simplemente conexos todos los abiertos estrellados (en particular, C, C \ (, 0], los discos, todos los abiertos convexos, . . . )
(2) Puede dar el lector un ejemplo de abierto simplemente conexo no estrellado?
(Hay muchos ejemplos sencillos)
(3) Aunque son abiertos conexos, no son simplemente conexos los anillos
D(a; r, R) = {z C : r < |z a| < R},
a C, 0 r < R +. En particular, C \ {0} no es simplemente conexo.
(4) En relacion con lo anterior, que puede decirse del abierto
D(0; r, R) \ [r, R]
si 0 < r < R < +?
Comentario final: homotopa. No podemos tratar la conexion simple sin nombrar al menos su caracterizacion mas importante quiza desde el punto de vista
estrictamente topologico, que se expresa en terminos de homotopa. El concepto
de homotopa se define mediante conceptos puramente topologicos, lo que permite
hablar de conjuntos simplemente conexos en espacios topologicos arbitrarios.
Dado un espacio topologico X , una curva en X es, como sabemos, una aplicacion continua de un intervalo compacto de R en X . Supongamos que tenemos dos
curvas 0 y 1 , parameterizadas en el intervalo I = [0, 1], cerradas (0 (0) = 0 (1),
1 (0) = 1 (1)). Se dice que 0 y 1 son homotopas si existe una aplicacion continua
H : I I X tal que para s, t I cualesquiera se verifica
H (s, 0) = 0 (s),
H (s, 1) = 1 (s),
H (0, t) = H (1, t).
Intuitivamente, que 0 y 1 sean homotopas corresponde a que podamos deformar

0 con continuidad dentro de X para transformarla en 1 , siendo t = H (, t) las
curvas intermedias en la deformacion.
Si toda curva cerrada es homotopa en X a una curva constante, se dice que
X es simplemente conexo.
En esta definicion, entonces, los conjuntos simplemente conexos son aquellos
en los que toda curva cerrada se puede deformar con continuidad dentro del conjunto
hasta reducirla a un punto. No es evidente que para subconjuntos del plano esto
sea exactamente lo mismo que todo camino cerrado no de ninguna vuelta alrededor de los puntos que no pertenecen al conjunto (caracterizacion homologica), o
que el conjunto no tenga agujeros. Un estudio de la relacion entre homotopa
y homologa en C, entre homotopa e integracion, y la prueba de la equivalencia
entre la definicion homotopica de la conexion simple y las anteriores puede verse
en Rudin, loc. cit., Seccion 10.38, pp. 251253, y en Conway, loc. cit., Cap. IV,
Sec. 6, pp. 8795.
CAPITULO 8
Ceros y singularidades.
Series de Laurent.
8.1
INTRODUCCION
Los polinomios son el ejemplo extremo de la importancia que puede llegar a tener
el conocimiento de los ceros de una funcion en la determinacion y el manejo
de la misma. Sin llegar a tanto, para las funciones holomorfas el estudio de sus
ceros es tambien un aspecto importante de su tratamiento, y en la primera seccion
de este captulo recogeremos informacion ya conocida (para funciones analticas,
que como sabemos coinciden con las holomorfas), anadiendo algunas propiedades
sencillas que no agotan el tema: especialmente para funciones enteras, quedan pendientes resultados importantes, algunos de los cuales se trataran el curso proximo.
Estamos constatando a lo largo de todo el curso que las funciones holomorfas
se comportan maravillosamente si las comparamos con las funciones a las que nos
hemos enfrentado en cursos anteriores. Podemos seguir sacando partido de nuestros metodos actuales si permitimos que las funciones presenten alguna anomala
en algunos puntos? Que se mantiene y cuanto se pierde? Contestar a esta pregunta
es el proposito del estudio de los puntos singulares aislados de las funciones holomorfas. Nos limitaremos primero a establecer una clasificacion de los mismos en
tres tipos, viendo de que manera tan distinta afecta al comportamiento local de la
funcion la presencia de una singularidad aislada de cada uno de estos tipos.
Un ejemplo de funciones que tienen solamente singularidades aisladas en un
abierto son los cocientes de funciones holomorfas (supuesto que el denominador
no se anule en ninguna componente conexa). Este es un caso particular importante de funcion meromorfa, concepto que introducimos en la siguiente seccion,
examinando de momento u nicamente sus propiedades algebraicas.
Estudio aparte merece el punto del infinito. Para las funciones holomorfas que
tienen una singularidad aislada en , averiguaremos como su comportamiento en
este punto puede en algunos casos suministrar una informacion adicional interesante sobre la funcion.
Por u ltimo, en la parte final de este captulo, veremos un importante teorema
de Laurent que generaliza el desarrollo en serie de Taylor de una funcion holomorfa
en un disco, probando que si una funcion es holomorfa en una corona circular (en
112
Ceros y singularidades. Series de Laurent.
113
particular, en un disco privado de su centro), la funcion se puede representar como

suma de una serie de Laurent, que es una serie de potencias con exponentes enteros
cualesquiera y no solo con exponentes enteros no negativos, como son las series de
Taylor. Comprobaremos que las series de Laurent permiten as mismo caracterizar
los diferentes tipos de singularidades aisladas, y concluiremos con unos ejercicios
que muestran como hallar desarrollos de Laurent de algunas funciones concretas,
un buen banco de pruebas para los recursos adquiridos hasta el momento.
York (1978).
Duncan, J.: The elements of complex analysis. Wiley, London (1968).
Madrid (1987).
8.2
HOLOMORFA
CEROS DE UNA FUNCION
Un polinomio no puede tener infinitos ceros sin ser identicamente nulo. La situacion
es algo menos drastica cuando pasamos a funciones holomorfas: conocemos funciones no nulas, como el seno y el coseno, que tienen infinitos ceros. Esto no
significa que no haya restricciones severas sobre los posibles ceros de una funcion
holomorfa no nula. Una vez que hemos probado la identidad entre las funciones
holomorfas y las funciones analticas, el principio de prolongacion analtica nos
informa de que el conjunto de ceros de una funcion holomorfa no nula, si su dominio es conexo, no puede poseer puntos de acumulacion dentro del dominio. Esto
no significa que no pueda haber puntos de acumulacion de ceros: por ejemplo, la
funcion sen(/z) es holomorfa en C \ {0} y se anula en los puntos 1/k, k Z
(en este caso 0 es un punto de acumulacion de ceros); lo que sucede es que, si el
conjunto de ceros tiene puntos de acumulacion, e stos deberan estar en la frontera
del dominio. Podemos sacar algunas consecuencias inmediatas de este hecho.
Proposicion 8.1. Sea una region de C y f H() no identicamente nula.
Denotemos por Z f el conjunto de ceros de f , es decir, Z f = f 1 (0). Entonces
(1) Z f es un conjunto discreto.
(2) Para cualquier conjunto compacto K , Z f K es finito o vaco.
(3) Z f es un conjunto contable (finito o numerable).
Demostracion.
(1) Que Z f es un conjunto discreto significa que para cada punto a de Z f se puede
encontrar un r > 0 tal que z
/ Z f si 0 < |z a| < r , o lo que es igual, que
ningun punto de Z f es punto de acumulacion de Z f .
114
(2) Si Z f K tuviese infinitos puntos, por la compacidad de K tendra al menos

un punto de acumulacion en K y por tanto Z f tendra al menos un punto
de acumulacion en .
(3) puede ponerse como union numerable de compactos, = n K n para
alguna sucesion (K n ) de compactos. Entonces Z f = n (Z f K n ) y cada
Z f K n es finito o vaco.
Definicion 8.2. Sea un abierto de C y f H(). Dado a , diremos que a
es un cero de orden k de f si k N es tal que
f (a) = f (a) = . . . = f (k1) (a) = 0,
f (k) (a) = 0.
Notese que para que exista tal k, es necesario y suficiente que a sea un cero
de f y que f no se anule en la componente conexa de que contiene a a; dicho
de otra forma, que a sea un cero aislado de f .
Proposicion 8.3. Sea un abierto de C, a , k N y f H(). Las siguientes
propiedades son equivalentes entre s:
(1) a es un cero de f de orden k.
(2) En un disco D(a; r ) es

an (z a)n ,
z D(a; r ),
f (z) =
n=k
con ak = 0.
(3) Existe una funcion g H() tal que g(a) = 0 y
f (z) = (z a)k g(z)
para todo z .
Demostracion.
(1) (2) Expresar los coeficientes del desarrollo de Taylor de f en a mediante
las derivadas de f en a.
(2) (3) La funcion g definida en por

f (z)
g(z) = (z a)k si z = a
ak
si z = a
es claramente holomorfa en \ {a} y en a es analtica (luego holomorfa), puesto
que para todo z D(a; r ) es

an (z a)n ,
g(z) =
n=k
y por tanto cumple las condiciones de (3).

(3) (1) Basta calcular las derivadas sucesivas de f y aplicar la definicion de
orden de un cero.

8.3
115
SINGULARIDADES AISLADAS
En algunos textos (p. ej. Duncan, ob. cit., p. 63), dado un abierto y una funcion
f : C se dice que un punto a es un punto regular para f o que f tiene
en a un punto regular si existe un r > 0 tal que D(a; r ) y f es derivable
en cada punto de D(a; r ). Los puntos que no son regulares se denominan puntos
singulares. En esta seccion estudiaremos un tipo especial de puntos singulares, que
denominaremos singularidades aisladas.
Definicion 8.4. Sea a C. Decimos que una funcion f tiene una singularidad
aislada en a si f no es derivable en a pero existe un r > 0 tal que f es holomorfa
en
D (a; r ) = {z C : 0 < |z a| < r }.
Clasificacion de las singularidades aisladas. Podemos distinguir entre las siguientes situaciones:
(1) existe limza f (z) C. Se dice entonces que f tiene en a una singularidad
evitable o que a es una singularidad evitable de f .
(2) existe limza f (z) = . Se dice entonces que f tiene en a un polo o que a
es un polo de f .
(3) no existe limza f (z) en C . Se dice entonces que f tiene en a una singularidad esencial o que a es una singularidad esencial de f .
Ejemplos.
(1) Hay muchas funciones holomorfas (no enteras) sin singularidades aisladas.
Ejemplo sencillo: el logaritmo principal Log z, para el que son puntos regulares
todos los de C \ (, 0] y singulares todos los de (, 0].
(2) Todos los puntos en los que no esta definida la funcion f dada por
f (z) =
z
ez 1
son singularidades aisladas. En z = 0 tiene una singularidad evitable. Los

puntos de la forma z = 2ki, k Z \ {0}, son polos de f .
(3) La funcion f dada por
f (z) = e1/z
tiene una singularidad esencial en z = 0.
Observacion. El conjunto S f de singularidades aisladas de una funcion f es
discreto y contable (includa la posibilidad de que sea vaco).
116
Proposicion 8.5. Sea un abierto no vaco de C, a y f H( \ {a}).

Entonces
(1) Si a es una singularidad evitable de f , la funcion f definida por

f (z)
si z \ {a}
f(z) =
limza f (z) si z = a
es holomorfa en .
Recprocamente, si f admite una extension holomorfa en , tiene en a una
singularidad evitable.
(2) Si para algun r > 0 la funcion f se mantiene acotada en D (a; r ) =
{z C : 0 < |z a| < r }, entonces f tiene una singularidad evitable en f .
Demostracion. (1) f es holomorfa en \ {a} y continua en , luego holomorfa
en . El recproco es obvio.
(2) Ya se probo que, en estas condiciones, f admite una extension holomorfa en
D(a; r ).
La primera parte de la proposicion anterior justifica el nombre de singularidad
evitable. Notese que si f tiene en a una singularidad evitable, o bien f no esta
definida en a o bien f no es continua en a.
Definicion 8.6. (Orden de un polo). Sea a un polo de una funcion f . Entonces la
1
funcion tiene en a una singularidad evitable y lmite nulo, de manera que para
f
algun > 0 la funcion
h(z) =
1/ f (z) si 0 < |z a| <

0
si z = a
es holomorfa en D(a; ).
Si h tiene en a un cero de orden k, diremos que f tiene en a un polo de orden
k o que a es un un polo de orden k de f .
Los polos de orden 1 se llaman polos simples; los de orden mayor que 1, polos
multiples (dobles, triples, . . . )
Proposicion 8.7. Sea un abierto no vaco de C, a y f H( \ {a}). Las
siguientes propiedades son equivalentes:
(1) f tiene en a un polo de orden k;
(2) existe limza (z a)k f (z) C \ {0}, y en consecuencia

limza (z a)n f (z) = si 0 n < k,
limza (z a)n f (z) = 0
si n > k;
117
(3) existe una funcion g H() tal que g(a) = 0 y

f (z) =
g(z)
(z a)k
para cada z \ {a};

(4) existen coeficientes A j (1 j k), an (n N {0}), unvocamente determinados, con Ak = 0, y un r > 0, tales que

A2
A1
Ak
+ +
+
an (z a)n
+
f (z) =
k
2
(z a)
(z a)
z a n=0
siempre que 0 < |z a| < r .

Ak
A2
A1
se denomina
+
+
+
(z a)k
(z a)2 z a
parte singular o parte principal de f en a.)
Demostracion. (1) (2) Yendo a la definicion, h(z) = (z a)k g(z) para alguna
funcion g holomorfa en D(a; ) con g(a) = 0, y limza (z a)k f (z) = 1/g(a).
(2) (1) Si h es como en la definicion, resulta h(z) = (z a)k g(z) para g dada
por
1
h(z) =
si 0 < |z a| <
g(z) = (z a)k
(z a)k f (z)

1/ limza (z a)k f (z)

si z = a,
(La funcion racional S( f ; a)(z) =
que es holomorfa en D(a; ) y no nula en a.

(2) (3) La funcion dada por (z a)k f (z) tiene una singularidad evitable en a.
(3) (4) Para algun r > 0 puede ponerse
g(z) =
cn (z a)n ,
|z a| < r,
n=0
luego

c0
ck2
ck1
f (z) =
+
+ +
+
ck+n (z a)n
k
2
(z a)
(z a)
z a n=0
siempre que 0 < |z a| < r .

Puesto que g esta unvocamente determinada por f , hay unicidad para los
coeficientes.
(4) (2) Evidente.
Observacion. Segun el resultado anterior, la funcion f S( f ; a) tiene en a una
singularidad evitable. Ademas, el orden de a como polo de f es el menor valor de
n tal que (z a)n f (z) tiene una singularidad evitable en a.
118
NOTA.
Cuando f es una funcion racional, solo tiene en C un numero finito de

singularidades que son polos. Separando repetidamente la parte singular en cada
uno de ellos, encontramos la descomposicion de f en fracciones simples (v. detalles
en Conway, ob. cit., pp. 105106.)
Finalmente, para singularidades esenciales, tenemos la siguiente caracterizacion en terminos de los valores de la funcion:
Teorema 8.8. (Teorema de Casorati-Weierstrass). Sea un abierto no vaco de

C, a y f H( \ {a}). Las siguientes propiedades son equivalentes:
(1) a es una singularidad esencial de f .
(2) f (U ) = C para todo entorno reducido U \ {a} de a.
(3) Para todo w C se puede encontrar (z n ) en \ {a} tal que z n a y
f (z n ) w.
Demostracion.
(1) (2) En caso contrario existiran r > 0, > 0 y w C tales que | f (z)w| >
para todo z D (a; r ). Entonces, la funcion g dada por
1
,
z D (a; r ),
g(z) =
f (z) w
es holomofa y acotada en D (a; r ), con lo cual puede extenderse a una funcion g
holomorfa en D(a; r ).
Si fuese g(a)
= 0, se deduce que f estara acotada en un entorno de a, y en

consecuencia a sera una singularidad evitable de f .
Pero si g tiene en a un cero de orden k 1, podramos escribir
g(z)
= (z a)k g1 (z),
z D(a; r ),
para una funcion g1 holomorfa en D(a; r ) con g1 (a) = 0; por tanto

1
1
=
C \ {0},
lim (z a)k f (z) = lim (z a)k w +
za
za
g1 (z)
g1 (a)
con lo cual a sera un polo de orden k de f .
(2) (3) Evidente.
(3) (1) Es claro que en esta hipotesis no existe limza f (z), ni finito ni infinito.
Se sabe mucho mas: si a es una singularidad esencial de f , en cualquier
entorno reducido de a la funcion f alcanza todos los valores complejos, excepto
uno a lo mas. Este es el llamado teorema grande de Picard, ver Rudin, ob. cit., pp.
376377. (Mas facil de probar es el teorema pequeno de Picard, que establece que
cada funcion entera no constante alcanza cualquier valor complejo, excepto uno a
lo mas. La funcion exponencial ilustra que este es el mejor resultado esperable.)
Las demostraciones de estos teoremas requieren herramientas mas poderosas que
las que disponemos por ahora.

8.4
119
FUNCIONES MEROMORFAS
Las funciones cuyas u nicas singularidades son polos aparecen con frecuencia suficiente como para merecer un nombre especial.
Definicion 8.9. Diremos que una funcion f es meromorfa en un abierto si en
cada punto de o bien f es holomorfa o bien tiene un polo; dicho de otra forma,
si existe un conjunto Pf tal que
(1) Pf no tiene puntos de acumulacion en ;
(2) f H( \ Pf );
(3) f tiene un polo en cada punto de Pf .
Como Pf es un subconjunto discreto de , para cada compacto K
el conjunto K Pf es finito, lo que implica que Pf es finito o numerable. Esta
incluida la posibilidad Pf = , con lo cual las funciones holomorfas son ejemplos
de funciones meromorfas. Tambien lo son las funciones racionales.
El conjunto de las funciones meromorfas en lo denotaremos por M().
Notese que una funcion es meromorfa en un abierto si lo es en cada componente
conexa del abierto. Supuesto conexo, son ejemplos de funciones meromorfas en
los cocientes de funciones analticas (con denominador no nulo, por descontado):
de hecho, esta es la u nica forma de obtener funciones meromorfas en abiertos
conexos, si bien la demostracion de esta afirmacion requiere conocer primero la
posibilidad de construir funciones holomorfas con ceros prefijados y orden de los
ceros igualmente prefijado (teorema de factorizacion de Weierstrass, que se probara
el proximo curso).
Por el momento, nos limitaremos a comprobar el siguiente resultado.
Proposicion 8.10. Dado un abierto no vaco en C, el conjunto M() de las
funciones meromorfas en es un a lgebra sobre C respecto de las operaciones
usuales con funciones. Si ademas es conexo, M() es un cuerpo conmutativo.
Demostracion. Es una verificacion rutinaria, basada en las factorizaciones asociadas a polos y ceros que caracterizan el orden de los mismos.
Observaciones.
(1) El comentario hecho anteriormente indica que si es una region, M() es
el cuerpo de cocientes del dominio H().
(2) Cuando no es conexo, M() no es un cuerpo: por ejemplo, si = A B
con A, B abiertos no vacos disjuntos, la funcion f que vale 1 en A y 0 en
B esta en M() [de hecho, en H()] y no tiene inverso en M() [es un
divisor de cero en H()].
120
8.5

SINGULARIDADES EN EL INFINITO
Definicion 8.11. Diremos que es una singularidad aislada de una funcion f si

existe R > 0 tal que f H(A R ), donde A R = {z C : |z| > R}.
Podemos establecer una clasificacion similar a la considerada para singularidades finitas.
Definicion 8.12. Supongamos que es una singularidad aislada de una funcion
f . Entonces:
(1) Se dice que f tiene en una singularidad evitable o que es una singularidad evitable de f si existe
lim f (z) C.
(2) Se dice que f tiene en un polo o que es un polo de f si

lim f (z) = .
(3) Se dice que f tiene en una singularidad esencial o que es una singularidad esencial de f si no existe limz f (z) en C .
Ejemplos.
(1) f (z) = 1/z tiene una singularidad evitable en .
(2) todo polinomio no constante tiene un polo en .
(3) f (z) = e z tiene una singularidad esencial en .
(4) f (z) = 1/ sen z no tiene una singularidad aislada en .
8.13. Estudio de singularidades en el infinito. Si para algun R > 0 es f H(A R ),
donde como antes A R = {z C : |z| > R}, la funcion f definida por
f (z) = f
1
z
es holomorfa en D (0; 1/R), con lo que 0 es una singularidad aislada para f . Esto
permite reducir el estudio de las singularidades en al estudio de singularidades
aisladas en 0. Por ejemplo, es inmediato que f tiene una singularidad evitable en
(o un polo, o una singularidad esencial) si y solo si f tiene en 0 una singularidad
evitable (o un polo, o una singularidad esencial).
Sobre esta base podemos estudiar con mayor detalle las singularidades en .
Definicion 8.14. Diremos que f tiene en un polo de orden k o que es un
polo de orden k de f si 0 es un polo de orden k de la funcion f definida por
f (z) = f (1/z).
121
Como consecuencia de las definiciones y de los resultados previos sobre polos,

podemos enunciar:
Proposicion 8.15. Supongamos que es una singularidad aislada para una
funcion f . Las siguientes propiedades son equivalentes:
(1) f tiene en un polo de orden k;
f (z)
(2) existe limz k C \ {0};
z
(3) existen un R > 0 y una funcion g holomorfa en A R = {z C : |z| > R} con
limz g(z) C \ {0} y que verifica
f (z) = z k g(z)
para cada z A R .
(4) existen coeficientes A j (1 j k), an (n N {0}), con Ak = 0,
unvocamente determinados, y un R > 0, tales que
f (z) = Ak z + + A1 z +
k

an
n=0
zn
siempre que |z| > R.

(El polinomio Ak z k + + A1 z se denomina parte singular o parte principal de
f en .)
Teorema 8.16. (de Casorati-Weierstrass para singularidad infinita). Supongamos
que es una singularidad aislada para una funcion f . Las siguientes propiedades
son equivalentes:
(1) es una singularidad esencial de f .
(2) f (U ) = C para todo entorno reducido U de .
(3) Para todo w C se puede encontrar (z n ) en el dominio de f tal que z n
y f (z n ) w.
Es conveniente extender el concepto de funcion meromorfa a funciones definidas en abiertos del plano complejo ampliado C que contengan al punto del infinito.
Definicion 8.17. Sea un abierto de C tal que C\ D(0; R) para algun R > 0,
es decir, tal que = {} sea un abierto en C . Diremos que f : C
es meromorfa en , en smbolos f M( ), si f es meromorfa en y tiene
en una singularidad evitable o un polo.
Proposicion 8.18.
(1) Si f es una funcion entera y meromorfa en C , entonces f es un polinomio.
(2) f M(C ) si y solo si f es una funcion racional.
122
Demostracion.
(1) Si es una singularidad evitable, f sera constante por el teorema de Liouville.
Supongamos, pues, que es un polo de orden k. Entonces
lim
f (z)
C \ {0}
zk
y por tanto existen R, M > 0 tales que

| f (z)| M |z|k ,
|z| > R;
en consecuencia (generalizacion del teorema de Liouville) f es un polinomio de

grado k.
(2) Observemos primero que si f M(C ), solo puede tener un numero finito
de polos en C para que sea una singularidad aislada.
Sean, pues, a1 , . . . , an los polos finitos de f y k1 , . . . , kn sus respectivos
o rdenes y sea un polo de orden k0 para f . Se sigue que la funcion
(z a1 )k1 (z an )kn f (z)
se puede extender a una funcion g holomorfa en C (es decir, entera) que tendra en
un polo de orden k = k0 + k1 + + kn , con lo cual g es un polinomio de grado
k segun acabamos de probar, luego
f (z) =
g(z)
(z a1 )k1 (z an )kn
es una funcion racional.

Corolario 8.19. Si f es una funcion entera, o es constante o f (C) = C.
Demostracion. Si f es entera, es evidentemente una singularidad aislada para
f.
Si es evitable, de modo que existe limz f (z) C, f es constante por el
teorema de Liouville.
Si es un polo, f es un polinomio (resultado anterior) y f (C) = C.
Si es una singularidad esencial, f (C) = C por el teorema de CasoratiWeierstrass.
NOTA. De hecho, como ya hemos comentado, si
f es una funcion entera no constante

es cierto que su imagen f (C) es todo C salvo un punto a lo mas.

8.6
123
SERIES DE LAURENT
Fijemos la notacion D(a; r, R) para la corona {z : r < |z a| < R}, donde

0 r < R +.
Lema 8.20. Sea (an ) una sucesion de numeros complejos y r = lim sup n |an |.
Entonces

an (z a)n es absolutamente convergente en cada punto de la
(1) la serie
n=1
corona D(a; r, +) y converge uniformemente en los subconjuntos compactos de D(a; r, +);

(2) en el disco D(a; r ) la serie no converge (en a ni siquiera esta definida);
(3) la funcion f definida en D(a; r, +) por

f (z) =
an (z a)n
n=1
es holomorfa.

an wn converge absolutamente en cada
Demostracion. Sabemos que la serie
n=1
w D(0; 1/r ), no converge si |w| > 1/r , y que define en D(0; 1/r ) una funcion
holomorfa g(w). Tomando w = 1/(z a), se deducen las tesis del enunciado salvo
la convergencia uniforme sobre compactos de D(a; r, +). Pero si K es un subconjunto compacto de D(a; r, +), existira un R > r tal que K D(a; R, +)
(por que?), de manera que para todo z K sera

an (z a)n
|an | R n < +,
n=1
n=1
luego la serie converge uniformemente en K por el criterio M de Weierstrass.

Si r = +, la serie no converge en ningun punto. Si r = 0, converge en
C \ {a}.
NOTA.
Definicion 8.21. (Series doblemente infinitas). Dada una sucesion (z n )nZ de

numeros complejos, si las series
zn y
z n convergen, diremos que la serie
n=0
n=1
z n converge, en cuyo caso su suma es el numero complejo
n=

n=
zn =

n=0
zn +

n=1
z n .
124

N

Observese que si
z n converge, la sucesion de sumas simetricas
zn
n=
n=N
es convergente con lmite igual a la suma de la serie, pero que este lmite puede
existir sin que la serie sea convergente; por ejemplo, si z 0 = 0 y z n = 1/n para
n = 0.

Diremos que la serie
z n converge absolutamente si las dos series
zn
y
n=
n=0
z n convergen absolutamente.
n=1
De manera analoga, dada ( f n )nZ , donde las f n son funciones complejas

definidas en un conjunto S C, diremos que la serie
f n converge (puntualn=
mente, uniformemente, uniformemente sobre compactos de S) si y solo si las dos

fn y
f n convergen (puntualmente, uniformemente, uniformemente
series
n=0
n=1
sobre compactos de S)
Aunque hemos dividido la serie en dos trozos separando los n 0 y los
n < 0, es evidente que la separacion puede llevarse a cabo en cualquier otro
ndice, pues se trata de anadir o quitar un numero finito de sumandos al trozo
correspondiente.
NOTA.
Definicion 8.22. (Series de Laurent). Llamaremos serie de Laurent centrada en

a a toda serie de la forma

an (z a)n .
n=
Proposicion 8.23. Dada una serie de Laurent centrada en a
an (z a)n ,
n=
sean

R1 = lim sup n |an |,
1

n
R2 = lim sup |an |
.
Entonces:
(1) la serie converge absolutamente en cada punto de la corona D(a; R1 , R2 ), a
la que denominaremos corona de convergencia, y converge uniformemente
en los subconjuntos compactos de D(a; R1 , R2 );
(2) la serie no converge en ningun punto z
/ D(a; R1 , R2 ) exterior a la corona;
125
(3) R1 y R2 son los u nicos valores en [0, +] para los que se cumplen las
propiedades (1) y (2);
(4) la funcion f definida en D(a; R1 , R2 ) como suma de la serie
f (z) =
an (z a)n
n=
es holomorfa en D(a; R1 , R2 ), y su derivada esta dada en cada punto por

f (z) =
n an (z a)n1 .
n=
El enunciado anterior tiene pleno sentido si R1 < R2 . En caso contrario,

D(a; R1 , R2 ) es vaco. Si R1 > R2 , no hay convergencia para la serie en ningun
punto. Si R1 = R2 , cual es la situacion?
NOTA.
Teorema 8.24. (Teorema de Laurent). Sea f una funcion holomorfa en una corona
D(a; R1 , R2 ) [a C, 0 R1 < R2 +]. Entonces:
(1) f puede representarse en D(a; R1 , R2 ) como suma de una serie de Laurent
f (z) =
an (z a)n
n=
que converge absolutamente en cada z D(a; R1 , R2 ) y converge uniformemente en cada compacto contenido en D(a; R1 , R2 ) o, equivalentemente, en
cada corona D(a; r1 , r2 ) para la que R1 < r1 < r2 < R2 .
(2) Los coeficientes de la serie estan dados por la formula
1
an =
2i
f (z)
dz,
(z a)n+1
donde es cualquier circunferencia (orientada positivamente) de centro a y

radio r , con R1 < r < R2 .
(3) La serie esta unvocamente determinada por f .
Nos referiremos a la serie como al desarollo en serie de Laurent de f . La tesis (1)
afirma la existencia de desarrollo en la corona, y la (3) su unicidad, mientras que
(2) proporciona (teoricamente, al menos) una manera de calcular los coeficientes
del desarrollo.
126
Demostracion. (Cf. Conway, ob. cit., pp. 107108.)

Unicidad. Si existe la representacion de (1), D(a; R1 , R2 ) estara contenida
en la corona de convergencia de la serie, y e sta convergera uniformemente en cada
compacto contenido en D(a; R1 , R2 ). Si = D(a; r ) con R1 < r < R2 , sop
es uno de tales compactos, luego podremos integrar la serie termino a termino para
obtener

f (z) dz =
an (z a)n dz = 2i a1 ,
n=
y, en general, para cada n Z, de modo similar,

f (z)
dz =
ak (z a)kn1 dz = 2i an ,
n+1
(z a)
k=
luego los coeficientes del desarrollo estan unvocamente determinados por la suma
de la serie.
Existencia. Comencemos por senalar que si R1 < r1 < r2 < R2 y 1 , 2 son,
respectivamente, las circunferencias de centro a y radios r1 , r2 (orientadas positivamente), entonces 1 y 2 son homologas respecto de D(a; R1 , R2 ) (comprobarlo).
Por el teorema homologico de Cauchy se tiene, pues, que para toda funcion g
holomorfa en D(a; R1 , R2 ) es

g(w) dw =
g(w) dw.
1
En particular, tomando
g(w) =
1
f (w)
,
2i (w a)n+1
n Z,
se deduce que
1
2i

1
1
f (w)
dw
=
(w a)n+1
2i

2
f (w)
dw
(w a)n+1
da el mismo valor para cualquier circunferencia de centro a interior a la corona, es

un complejo independiente de cual sea el radio que se considere.
Definamos, pues, para cada n Z,
1
an =
2i
f (w)
dw,
(w a)n+1
127
donde es cualquier circunferencia (orientada positivamente) de centro a y radio

estrictamente mayor que R1 y estrictamente menor que R2 . Comprobaremos a
continuacion que para todo z D(a; R1 , R2 ) la serie
an (z a)n
n=
(i) es convergente y (ii) tiene por suma f (z). Esto basta para demostrar el teorema
(POR QUE?)
Sea, pues, z D(a; R1 , R2 ). Elegimos r , s de manera que
R1 < r < |z a| < s < R2
y denotamos con r , s las circunferencias de centro a y radios r , s orientadas
positivamente. Poniendo Ms = max{| f (w)| : |w a| = s}, como para todo w tal
que |w a| = s (> |z a|) y para todo entero n 0 es

n
f (w) (z a)n Ms |z a|n
|z
a|
M
s

=
,
(w a)n+1
s n+1
s
s
aplicando el criterio M de Weierstrass y la posibilidad de integrar termino a termino
las series uniformemente convergentes resulta

n
1
1
f (w)
f (w) (z a)
dw
dw =
2i s w z
2i s n=0 (w a)n+1

f (w)
1
n
=
dw (z a) =
an (z a)n .
n+1
2i s (w a)
n=0
n=0
De manera similar, si Mr = max{| f (w)| : |w a| = r } y w es tal que |w a| = r
(< |z a|), de

n1
f (w) (w a)n1 Mr r n1
r
M
r

,

|z a|n = |z a| |z a|
(z a)n
n N, se sigue analogamente

n1
1
f (w)
f (w) (w a)
1
dw
dw =
2i r z w
2i r n=1
(z a)n

1
n1
n
=
f (w) (w a) dw (z a) =
an (z a)n .
2i r
n=1
n=1

128
Hemos probado, por tanto, que la serie converge con suma

f (w)
f (w)
1
1
n
dw +
dw,
an (z a) =
2i s w z
2i r z w
n=
y as tenemos (i). Pero ademas = [s , r ] es un ciclo homologo a 0 respecto
de D(a; R1 , R2 ) para el que Ind (z) = 1 (comprobarlo), y aplicando la formula
de Cauchy,

1
1
1
f (w)
f (w)
f (w)
f (z) =
dw =
dw
dw
2i w z
2i s w z
2i r w z

=
an (z a)n ,
n=
lo que demuestra (ii).

Disponemos ahora de otro u til para analizar las singularidades aisladas. Si
a es una singularidad aislada de una funcion f , e sta sera holomorfa en alguna
corona D (a; R) = D(a; 0, R), y sera por tanto desarrollable en serie de Laurent
en dicho conjunto. El examen de los coeficientes nulos permite decidir el tipo de
singularidad que presenta f en a.
Corolario 8.25. Sea a C una singularidad aislada de una funcion f , holomorfa
en D (a; R) = D(a; 0, R) para algun R > 0, y sea
f (z) =
an (z a)n
n=
su desarrollo en serie de Laurent en D(a; 0, R). Entonces:

(1) a es una singularidad evitable si y solo si an = 0 para todo n < 0;
(2) a es un polo de orden k si y solo si ak = 0 y an = 0 para todo n < k;
(3) a es una singularidad esencial si y solo si an = 0 para infinitos valores
negativos de n.
Demostracion. Conway, ob. cit., Cor. 1.18, p. 109.
En el punto del infinito se invierten los terminos, como caba esperar. Si una
funcion f tiene una singularidad aislada en , sera holomorfa en D(0; R, +)
para algun R > 0, y segun el teorema de Laurent
f (z) =
an z n ,
z D(0; R, +).
n=
Denominaremos a esta serie el desarrollo en serie de Laurent de f en el infinito.
129
Corolario 8.26. Sea f una funcion con una singularidad aislada en , holomorfa
en D(0; R, +) para algun R > 0, y sea
f (z) =
an z n
n=
su desarrollo en serie de Laurent en D(0; R, +). Entonces:

(1) es una singularidad evitable si y solo si an = 0 para todo n 1;
(2) es un polo de orden k si y solo si ak = 0 y an = 0 para todo n > k;
(3) es una singularidad esencial si y solo si an = 0 para infinitos valores
positivos de n.
Demostracion. Aplicar el corolario anterior al punto singular 0 de la funcion f
definida en D(0; 0, 1/R) por
f (z) = f
,
z
que tendra como desarrollo de Laurent
f (z) =
an z n .
n=
8.7
EJERCICIOS RESUELTOS
Ejercicio. Dados a , b C con a = b, sea

f (z) = Log
za
.
zb
Cual es el maximo abierto en el que f es holomorfa? Hallar, si existe, el

desarrollo en serie de Laurent de f en el infinito, determinando en que dominio es
valido el desarrollo.
Respuesta. La funcion f esta definida en C \ {a, b}. Puesto que la composicion
de funciones holomorfas es una funcion holomorfa, f sera holomorfa al menos en

za
C \ {z : z = b o
(, 0]} = C \ [a, b] notese que
zb
za
1
= , ( 0) z =
a+
b
zb
1+
1+

z = t a + (1 t) b, (0 < t 1) z [a, b)
130
En los puntos de (a, b) no hay continuidad (menos aun holomorfa) para f , pues
si z 0 = t a + (1 t) b, 0 < t < 1, tomando para n N
zn = z0 +
i
(b a) z 0 ,
n
wn = z 0
i
(b a) z 0 ,
n
(n +),
resulta
(1 t)(b a) + (i/n)(b a)
t (1 t) + (1/n 2 ) (i/n)
zn a
,
=
=
zn b
t (a b) + (i/n)(b a)
t 2 + (1/n)2
t (1 t) + (1/n 2 ) + (i/n)
wn a
=
,
wn b
t 2 + (1/n)2

1
1
1 i , limn f (wn ) = ln
1 +i .
con lo cual limn f (z n ) = ln
t
2
t
2
En consecuencia, = C\[a, b] es el maximo abierto en el que f es holomorfa.
Vemos as que f tiene en una singularidad aislada, y que la maxima corona
D(0; R, +) en la que f es holomorfa corresponde a R = max{|a|, |b|}. Por el
teorema de Laurent, dicha corona es el dominio de validez del desarrollo. Para
calcular e ste, es preferible aprovechar que la derivada f es igualmente holomorfa
en dicha corona, verificandose

a n bn
a n bn
1
1
f (z) =
=
=
,
n+1
n+1
za
zb
z
z
n=0
n=1

|z| > max{|a|, |b|}.
Como D(0; R, +) es conexo, existe c C tal que

bn a n 1
f (z) = c +
,
n
zn
n=1
|z| > max{|a|, |b|}.
Pero lim f (z) = Log 1 = 0, luego c = 0 y finalmente

z

za
bn a n 1
Log
=
,
n
zb
n
z
n=1
|z| > max{|a|, |b|}.
Ejercicio. Calcular los desarrollos en serie de Laurent de la funcion

f (z) =
en D(0; 1, 2) y en D(0; 2, +).
zi
1
Log
z2
z+i
131
Respuesta. A la vista del ejercicio anterior, es facil probar que f sera holomorfa
justamente en = C \ ([i, i] {2}). Ademas, sabemos que

zi
(i)n i n 1
(a) Log
=
si |z| > 1;
n
z+i
n
z
n=0

1
zn
(b)
=
si |z| < 2;
n+1
z2
2
n=0

2n
1
(c)
=
si |z| > 2.
n+1
z2
z
n=0
Multiplicando (a) por (b) se obtiene, siempre que 1 < |z| < 2:

1
zi
Log
=
z2
z+i
k=
n+m=k
(i)n i n 1
zk .
m+1
n
2
n1,m0
Cuando k 1, el coeficiente de z k resulta ser

1
1
(i)n i n
(i)n i n 1
ak =
= k+1
k+n+1
n
2
2
n
2n
n=1
n=1
i
2i
1
=
,
Arc
tg
2k+1
2+i
2k
2
1
mientras que el coeficiente de k si k 2 es
z
(i)n i n 1
1
ak = k+1
,
n
2
n
2
n=k
1
Log
con lo cual, siempre que n 1,

a2n = 22k i
Arc tg

k1
(1)
1
2 m=0 (2m + 1)22m+1

k1

,

1
(1)
.
2 m=0 (2m + 1)22m+1

n
Para |z| > 2, multiplicando (a) por (c) llegamos a f (z) =
n=2 bn z , donde
a(2n+1) = 22k+1 i
Arc tg
n1
n1

(i)k i k nk1
(i)k i k k
n1
bn =
2
2
=2
k
k
k=1
k=1
=2
n1
n1

(i/2)k (i/2)k
.
k
k=1
132
Otra respuesta (mediante integracion). Sea, como antes, = C \ ([i, i] {2}),

y sean
an z n , 1 < |z| < 2;
f (z) =
f (z) =
n=
cn z n ,
|z| > 2,
n=
los correspondientes desarrollos de Laurent de f en las coronas indicadas.

Poniendo r = D(0; r ) para 1 < r < 2; = D(2; ) para 0 < < 2;
R = D(0; R) para R > 2, es [r ] [ R , ] (), luego aplicando sucesivamente el teorema de Laurent y el teorema homologico de Cauchy podemos
deducir

1
f (w)
dw
=
n+1
2i
r w

1
f (w)
dw.
= cn
2i wn+1
1
an =
2i
1
f (w)
dw
w n+1
2i
f (w)
dw
w n+1
Pero la funcion
g(w) =
Log
wn+1
wi
w+i
es holomorfa en D(2; 2), luego aplicando la formula de Cauchy en discos resulta
1
2i
wi

n+1
1
1
f (w)
g(w)
w
w
+
i
dw
=
dw
dw
=
wn+1
2i
w2
2i w 2
i
2i
1
1
= n Arc tg .
= g(2) = n+1 Log
2
2+i
2
2

Log
Por otra parte, como lim z f (z) = 0, siempre que n 1 se sigue

z
1
cn = lim
R+ 2i

R
f (w)
dw = 0
wn+1
(sin mas que usar la acotacion habitual de la integral). Para n 2, sea k = n
133
(con lo cual k 2) y bk = ck = cn . Entonces

1
bk =
2i

R
k1
1
f (w) dw =
2i

R
wi
wk1
Log
dw
w2
w+i
1
2k1
wi
w k1 2k1
=
+
Log
dw
2i R
w2
w2
w+i

k2

1
wi
=
w
dw
+ 2w k3 + + 2k3 w + 2k2 Log
2i R
w+i

wi
1
1
k1
Log
dw
+2
2i R w 2
w+i

k2

1
wi
dw
+ 2w k3 + + 2k3 w + 2k2 Log
=
w
2i R
w+i
+ 2k1 c1

k2

1
wi
dw.
=
+ 2w k3 + + 2k3 w + 2k2 Log
w
2i R
w+i
El polinomio del integrando es la derivada del polinomio
1
2
2k3 2
k1
k2
P(w) =
w
w
w + 2k2 w,
+
+ +
k1
k2
2
que es obviamente holomorfo en todo C, luego integrando por partes y aplicando
la formula de Cauchy llegamos a
1
bk =
2i

P(w)
R
1
1
wi
w+i

dw = P(i) P(i)
k1

2m1 km
i
(i)km ,
=
km
m=1
que puede reescribirse en la forma vista anteriormente.
CAPITULO 9
Teorema de los residuos.

Aplicaciones.
9.1
INTRODUCCION
Del teorema de los residuos puede decirse que es la culminacion de lo que hemos
encuadrado bajo el nombre generico de teora global de Cauchy. Incorpora y
extiende al teorema de Cauchy y a la formula de Cauchy, y tiene innumerables
consecuencias teoricas y practicas. De e stas apuntamos su uso para calcular integrales reales y sumas de series, limitandonos a senalar referencias donde encontrar
el tema desarrollado en detalle.
La primera aplicacion teorica que presentamos se refiere a la localizacion
de ceros, en la que tratamos de averiguar el numero de ceros de una funcion en
un subconjunto de su dominio. Los resultados basicos en esta direccion son el
denominado principio del argumento y el teorema de Rouche.
De aqu pasamos al estudio del comportamiento local de una funcion analtica,
viendo su analoga con el de la funcion z m en torno al 0, en el sentido que se
precisa en el texto. Deducimos el teorema de la aplicacion abierta y alguna de
sus aplicaciones, y finalizamos el captulo con una version global y otra local del
teorema de la funcion inversa, llegando a una representacion integral de esta inversa
que nos permite obtener expresiones interesantes de su desarrollo en serie de Taylor.
York (1978).
Mitrinovic, D. S.: Calculus of Residues. Noordhoff, Groningen (1966).
Palka, B. P.: An Introduction to Complex Function Theory. Springer, New
York (1991).
Madrid (1987).
134
Teorema de los residuos. Aplicaciones.

9.2
135
PROLOGO:
RESIDUOS
Agazapada en el teorema de Laurent hay una informacion importante. Por lo que

vimos en su demostracion, se deduce que si f tiene una singularidad aislada en a,

f (z) dz = 2i a1 ,
donde a1 es el coeficiente de (z a)1 en el desarrollo en serie de Laurent de

f y = D(a; r ), r adecuado. Este coeficiente (salvo el factor habitual 2i)
es, pues, el u nico vestigio, el residuo que deja la funcion al ser integrada sobre
una pequena circunferencia centrada en a. Vamos a asignarle oficialmente este
nombre.
Definicion 9.1. Sea a C una singularidad aislada de una funcion f . Recibe el
nombre de residuo de f en a el coeficiente de 1/(z a) en el desarrollo en serie
de Laurent de f en el punto a, de manera que si
f (z) =
an (z a)n ,
z D(a; 0, R),
n=
y denotamos con Res( f ; a) el residuo de f en a, es

Res( f ; a) = a1 .
En el punto del infinito la definicion es ligeramente distinta:
Sea f una funcion con una singularidad aislada en , y sea
f (z) =
an z n
n=
su desarrollo en serie de Laurent en una corona D(0; R, +). Llamaremos

residuo de f en el infinito al numero
Res( f ; ) = a1
(coeficiente de 1/z en el desarrollo, cambiado de signo).
Que hace merecedor de un nombre especial a este coeficiente? De momento,
sabemos que su valor es lo u nico que necesitamos conocer a la hora de calcular la
integral de f sobre la circunferencia . Pero con este punto de partida y un poco de
136
ingenio podemos servirnos de los residuos para calcular integrales en situaciones

mas complicadas.
Supongamos, por ejemplo, que nos proponemos calcular una integral como

Log(z + 2) z 3 ctg z
dz,
(1 cos 2 z) (z 2 + 1)
donde es el ciclo contenido en = D(0; 2) formado por los caminos que se

indican en la figura.
Horrible, no es cierto? Que

es lo mejor que podemos hacer para
resolver este problema? Dejarlo e
inventar otro, como recomienda el
profesor tradicional de matematicas
en el retrato que de e l hace Polya.
Vamos a ello.
Segun hemos senalado antes, tras
calcular los residuos en los puntos
z 1 = 1, z 2 = i, z 3 = 1, z 4 = i
de la funcion f (z) a integrar, tarea
no extremadamente difcil, seramos
capaces de hallar la integral en el caso mas sencillo de que constase de una

circunferencia jo = D(z j ; r j ) alrededor de uno de los puntos z j , suficientemente
pequena para que el disco cerrado D(z j ; r j ) quede dentro de y no incluya a
ninguno de los restantes puntos z k , k = j, obteniendo entonces

jo
f (z) dz = 2i Res( f ; z j ).
Pero e sto de que sirve? De mucho . . . cuando caemos en la cuenta de que el

teorema homologico de Cauchy permite sustituir oportunamente el ciclo original
por otro ciclo formado por circunferencias, con tal de que ambos sean homologos
respecto de un abierto en el que f sea holomorfa. Notando que
Ind (z 1 ) = 1,
Ind (z 2 ) = 2,
Ind (z 3 ) = 1,
Ind (z 4 ) = 0,
137
podemos fabricar un ciclo homologo a respecto de \ {z 1 , z 2 , z 3 , z 4 } tomando
2o
i
3 o
2
3 o
1o
1
2o
1o
1
0 = 1 2 3 , donde
1 = [1o ],
2 = [2o , 2o ],
3 = [3o ],
y jo (1 j 3) son circunferencias elegidas como antes. Con e sto

f =
0

f =

1o
f +2

2o
f
3o
= 2i (Res( f ; z 1 ) + 2 Res( f ; z 2 ) Res( f ; z 3 ) + 0 Res( f ; z 4 ))

= 2i
4
Ind (z j ) Res( f ; z j ).
j=1
Estos son los ingredientes esenciales de la demostracion general del teorema de los
residuos, que se expone en el siguiente apartado.
9.3
EL TEOREMA DE LOS RESIDUOS
Teorema 9.2. (Teorema de los residuos). Sea un abierto no vaco de C y sea f

una funcion holomorfa en \ A, donde A consta de singularidades aisladas
de f . Para todo ciclo homologo a 0 respecto de tal que A sop = se
verifica

1
f (z) dz =
Res( f ; a) Ind (a).
2i
aA
138
Demostracion. Observemos, ante todo, que los sumandos que cuentan realmente
en el segundo miembro de la igualdad anterior son los no nulos. Por tanto, examinemos el conjunto
A0 = {a A : Ind (a) = 0}.
Si fuese A0 = , se tendra Ind (a) = 0 para todo a A, con lo cual la suma
resultara nula; pero se sigue tambien que es homologo a 0 respecto de \ A,
abierto en el que f es holomorfa, luego la integral es asimismo nula, en virtud del
teorema homologico de Cauchy.
En caso contrario, A0 es un conjunto finito. En efecto:
A0 no tiene puntos de acumulacion en , porque entonces tambien A tendra
puntos de acumulacion en , lo que es falso;
A0 no tiene puntos de acumulacion fuera de , ya que si z 0 C \ ,
Ind (z 0 ) = 0 por ser 0 (); tomando r > 0 tal que D(z 0 ; r ) C\sop ,
para todo z del conexo D(z 0 ; r ) se tendra Ind (z) = Ind (z 0 ) = 0, con lo
cual D(z 0 ; r ) A0 = ;
A0 es un conjunto acotado, pues tomando R > 0 de manera que sop
D(0; R), sabemos que es Ind (z 0 ) = 0 para todo z 0
/ D(0; R) (C \ D(0; R)
esta contenido en la componente no acotada de C\sop ), y as A0 D(0; R).
En resumen, A0 es un conjunto acotado que no tiene puntos de acumulacion
en C, luego forzosamente ha de tener un numero finito de puntos. Sean e stos a1 ,
a2 ,. . . , an , distintos entre s.
Ahora, asociamos a los a j A0 (1 j n) sendos discos D(a j ; R j )
contenidos en , elegidos de tal manera que D(a j ; R j ) A = {a j }. Para 1 j n,
tomemos 0 < r j < R j , y sean j = D(a j ; r j ) la circunferencia de centro a j y
radio r j orientada positivamente, N j = Ind (a j ) y

j =
)
[ j , (N
. .j.,
j ]
[ j , (N
. . .j ), j ]
si N j > 0,
si N j < 0,
el ciclo formado por |N j | caminos iguales a j o a j , para el que en cualquier

caso Indj (z) = N j Indj (z). Veamos que el ciclo
0 = 1 2 n
es homologo a respecto de \ A. En efecto: para cada z C \ sop 0 ,
Ind0 (z) =
n

j=1
y por tanto
Indj (z) =
n

j=1
N j Indj (z)
139
si z C \ , Ind (z) = 0 por hipotesis, Ind0 (z) = 0 porque cuando

z
/ D(a j ; R j ) es Indj (z) = 0 (1 j n), y tenemos D(a j ; R j ) ;
si z A \ A0 , Ind (z) = 0 por la definicion de A0 ; y como para 1 j n
es D(a j ; R j ) A = {a j }, igual que antes z
/ D(a j ; R j ), Indj (z) = 0 ,
Ind0 (z) = 0;
si z = am A0 , Indm (am ) = 1, Indj (am ) = 0 si j = m (am
/ D(a j ; R j )),
luego Ind0 (am ) = Nm = Ind (am ).
Como f H( \ A), se sigue del teorema homologico de Cauchy que
1
2i

1
f (z) dz =
2i

0

n
1
f (z) dz =
Nj
f (z) dz.
2i j=1
j

Usando ahora que f H D(a j ; 0, R j ) , 1 j n, del teorema de Laurent

1
f (z) dz = Res( f ; a j )
2i j
con lo cual, finalmente,

n
n

1
f (z) dz =
N j Res( f ; a j ) =
Indj (a j ) Res( f ; a j )
2i
j=1
j=1

=
Ind (a) Res( f ; a) =
Ind (a) Res( f ; a).
aA0
aA
Corolario 9.3. Sea un abierto no vaco de C y f una funcion meromorfa en ,

y sea A el conjunto de los puntos de en los que f tiene polos. Para todo ciclo
homologo a 0 respecto de tal que A sop = se verifica

1
f (z) dz =
Res( f ; a) Ind (a).
2i
aA
Esta es la version que da Rudin, ob. cit., Teor. 10.24, pp. 254255, con una
lnea de demostracion ligeramente distinta que se apoya en las partes singulares de
f en los puntos de A0 .
Inciso. Como se dice en Conway, ob. cit., p. 113, el teorema de los residuos es
una espada de dos filos; si se pueden calcular los residuos de una funcion, se pueden
calcular ciertas integrales y viceversa. La mayor parte de las veces, sin embargo,
se usa como un medio de calcular integrales. Para utilizarlo en esta direccion se
necesita un metodo para calcular el residuo de una funcion.
140
A veces, partiendo de desarrollos en serie conocidos, es posible determinar el

desarrollo de Laurent o, al menos, suficientes terminos del mismo, para averiguar
el valor del residuo. No siempre esto es factible o, aunque lo sea, puede haber algun
procedimiento mas comodo para hallar el residuo. Comencemos por examinar el
caso a C.
Por supuesto, si a es una singularidad evitable de f , no hay necesidad de
ningun calculo: obviamente, Res( f ; a) = 0 en este caso.
Si a es un polo simple de f , habitualmente lo mas facil es usar que
Res( f ; a) = lim [(z a) f (z)] .
za
Sobre esta base, en cada caso particular se pueden aprovechar las caractersticas propias de las funciones que se manejen; por ejemplo, si 1/ f es una
funcion facil de derivar en a (se sobreentiende, completada por continuidad
en a con el valor 0), el lmite anterior es justamente el inverso de la derivada
de 1/ f en a.
Si a es un polo de orden k de f , podemos tener en cuenta que, escribiendo el
desarrollo de Laurent de f en a, se tiene evidentemente

1
d k1
Res( f ; a) = lim
(z a)k f (z) ,
za (k 1)! dz k1
que para k = 1 se reduce a la formula anterior. A veces se encuentra esta
expresion en forma simplificada

1
d k1
k
(z
a)
Res( f ; a) =
f
(z)
,
z=a
(k 1)! dz k1
sobreentendiendo que (z a)k f (z) se completa en a por continuidad.
En el punto del infinito:
Si para un R > 0 es f H(D(0; R, +)) y definimos g H(D(0; 0, 1/R))
por

1
,
g(z) = f
z
resulta

g(z)
Res( f ; ) = Res
;0 ,
z2

porque si f (z) =
an z n en D(0; R, +), hemos definido
n=
Res( f ; ) = a1 ; pero g(z) =
n=
2
de 1/z en el desarrollo de g(z)/z .
an z n , con lo que a1 es el coeficiente
141
En situaciones especiales es mas facil recurrir a otro tipo de argumentos. Por

ejemplo, si f H(C \ {a1 , . . . , an })
Res( f ; a1 ) + . . . + Res( f ; an ) + Res( f ; ) = 0.
(Probarlo como ejercicio a partir del teorema de los residuos.)
9.4
AL CALCULO
APLICACION
DE INTEGRALES
DE SERIES
Y A LA SUMACION
Ver Conway, ob. cit., pp. 113 y ss.; Palka, ob. cit., pp. 326 y ss. Para un tratamiento
mas amplio y sistematico, la referencia obligada en este tema es el librito de Mitrinovic, ob. cit. De caracter enciclopedico es Mitrinovic, D. S.; Keckic, J. D.: The
Cauchy Method of Residues. (Theory and Applications). Reidel, Dordrecht (1984),
que incluye ademas una breve nota historica sobre Cauchy y el desarrollo del
calculo de residuos.
9.5
DE CEROS
APLICACIONES A LA LOCALIZACION
Teorema 9.4. (Principio del argumento: forma analtica). Sea f una funcion
meromorfa en un abierto con ceros aislados solamente. Denotemos con Z f el
conjunto de ceros y con Pf el conjunto de polos de f . Para a Z f sea z f (a) el
orden de a como cero de f , y para a Pf sea p f (a) el orden de a como polo de
f . Si es un ciclo homologo a 0 respecto de cuyo soporte no corta a Z f Pf ,
se verifica

f (z)
1
dz =
Ind (a) z f (a)
Ind (a) p f (a).
2i f (z)
aZ f
aPf
Notese que la integral esta bien definida, ya que f y f son continuas en sop
y f no se anula en sop ; ademas, solo hay un numero finito de ceros y polos que
dan ndice no nulo, de modo que en realidad las sumas que aparecen se reducen a
un numero finito de sumandos.
Demostracion. Si f tiene en a un cero de orden k,
f (z) = (z a)k g(z)
para alguna funcion g, holomorfa donde lo sea f , tal que g(a) = 0; por tanto, en
un entorno de a sera g(z) = 0 y as
f (z) = k (z a)k1 g(z) + (z a)k g (z),
k
g (z)
f (z)
=
+
f (z)
za
g(z)
142
en un entorno reducido de a en el que g /g es holomorfa. Por consiguiente, f / f

tiene en a un polo simple con residuo igual a k.
Analogamente, si f tiene en a un polo de orden p, en un entorno reducido de
a es
f (z) = (z a) p g(z)
para alguna funcion g holomorfa sin ceros, de manera que
p
g (z)
f (z)
=
+
f (z)
za
g(z)
y f / f tiene en a un polo simple con residuo igual a p.
Puesto que f / f solo puede tener singularidades en Z f Pf , aplicando el
teorema de los residuos se obtiene la conclusion del enunciado.
Corolario 9.5. (Principio del argumento: interpretacion geometrica). Sea f una
funcion meromorfa en un abierto con ceros aislados solamente. Sea = [ ] un
ciclo homologo a 0 respecto de , formado por un solo camino cuyo soporte no
contiene ceros ni polos de f , y sea h un argumento continuo a lo largo del camino
transformado f , con valor inicial h 0 y valor final h 1 . Con la notacion del
teorema anterior, se verifica
Ind (a) z f (a)
aZ f
Ind (a) p f (a) = Ind f (0) =
aPf
h1 h0
.
2
Demostracion. Basta tener en cuenta que

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

f
h1 h0
dw
= Ind f (0) =
.
w
2
NOTA.
El nombre de principio del argumento proviene de este resultado; informalmente, cuando z = (t) recorre , se produce una variacion continua del
argumento de f (z) igual a 2 N , donde N es el entero del enunciado.
El principio del argumento puede utilizarse para averiguar el numero de ceros
de una funcion analtica en un subconjunto del plano complejo. Veamos un ejemplo
sencillo.
Ejercicio. Sea f H(D(0; R)), con R > 1, tal que e f (z) > 0 si |z| = 1.
Entonces f no tiene ceros en D(0; 1).
[En efecto: si es la circunferencia unidad, sop( f ) no corta al semieje
real negativo, por lo cual Ind f (0) = 0 en estas condiciones.]
143
En la practica, al aplicar el principio del argumento nos encontraremos frecuentemente con la siguiente situacion: el ciclo considerado tiene la propiedad
de que para ciertos conjuntos disjuntos G y E se verifica C \ sop = G E y
1 si z G
Ind (z) =
0 si z E.
(Necesariamente G y E son abiertos, G acotado y E no acotado.) Como senalamos
al comentar el teorema de la curva de Jordan, esto es lo que sucede cuando es
un ciclo formado por un solo camino cerrado simple orientado positivamente, pero
inmediatamente mostraremos ejemplos de otro tipo.
Para describir esta situacion no hay en la literatura una denominacion estandar.
Nosotros nos referiremos a ella diciendo que limita o encierra a G y que G es el
recinto limitado o encerrado por . Conforme a la nomenclatura empleada en el
teorema de la curva de Jordan, se llama a G el interior de y a sus puntos puntos
interiores a , mientras que E es el exterior de y los puntos de E, los puntos
exteriores a .
Se emplea a veces la notacion = G para indicar que limita o encierra
a G.
Ejemplos. En las siguientes figuras, los ciclos de la primera fila encierran el recinto
sombreado, mientras que los de la segunda no encierran ningun recinto.
(Graficamente, se observa que el interior queda siempre a la izquierda del recorrido. Cf. Palka, ob. cit., p. 160.)
144

Con esta nomenclatura, podemos enunciar:
Corolario 9.6. Sea f H(), un ciclo en que limita un recinto G de

manera que sop no contenga ceros de f . Entonces la integral

1
f (z)
dz
2i f (z)
es igual al numero de ceros de f interiores a , contados segun su multiplicidad.
Demostracion. Aplicamos el principio del argumento, teniendo en cuenta que
es homologo a 0 respecto de puesto que los z C \ son puntos exteriores a
, que f no tiene polos en , que los ceros interiores a tienen ndice 1 respecto
de , y los exteriores tienen ndice 0 respecto de .
El principio del argumento admite una version mas general:
Teorema 9.7. Sea f meromorfa en una region con ceros z 1 , z 2 , . . . , z n y polos
p1 , p2 , . . . , pm contados segun su multiplicidad. Si g es analtica en y es un
ciclo homologo a 0 respecto de que no pasa por los ceros ni los polos de f ,
entonces

n
m

f
1
g
g(z j ) Ind (z j )
g( pk ) Ind ( pk ).
=
2i f
j=1
k=1
Demostracion. Conway, ob. cit., Teor. 3.6, p. 124.
Una consecuencia importante del principio del argumento es el teorema de
Rouche, que permite la localizacion de ceros de funciones desconocidas a partir
del numero de ceros de funciones conocidas.
Teorema 9.8. (Teorema de Rouche). Sean f , g M(), un ciclo en que
limita un recinto G de manera que sop no contenga ceros ni polos de f o
de g. Si para todo z sop es
| f (z) + g(z)| < | f (z)| + |g(z)|,
entonces:
el numero de ceros de f interiores a contados segun su multiplicidad
menos
el numero de polos de f interiores a contados segun su multiplicidad
es igual
al numero de ceros de g interiores a contados segun su multiplicidad
menos
el numero de polos de g interiores a contados segun su multiplicidad.
145
Observese que la desigualdad del enunciado implica que f y g no pueden

anularse sobre sop .
Demostracion. El conjunto 1 de los puntos de que no son ceros ni polos de f
ni de g es un abierto que contiene a sop . Definiendo
2 = {z 1 : | f (z) + g(z)| < | f (z)| + |g(z)|},
tambien 2 es un abierto que contiene a sop . Ademas, para cada z 2 ,

f (z)
f (z)

g(z) + 1 < g(z) + 1,
f (z)
con lo cual
no podra ser un numero real no negativo. Si L es un logaritmo
g(z)
holomorfo en C \ [0, +), F = L ( f /g) es una funcion holomorfa en 2 , por
lo que

1
1
( f /g) (z)

0=
dz
F (z) dz =
2i
2i ( f /g)(z)

1
1
f (z)
g (z)
dz
dz
=
2i f (z)
2i g(z)
y basta aplicar el principio del argumento.
NOTA. La demostraci
on anterior aparece en Glicksberg, I.: A remark on Rouches
theorem, Amer. Math. Monthly 83 (1976), 186187.

En los textos tradicionales suele imponerse la hipotesis mas fuerte
| f (z) + g(z)| < |g(z)|
para z sop , o, cambiando g por g,
| f (z) g(z)| < |g(z)|,
quiza la mas frecuentemente manejada en la practica.
Como muestra de cual es la forma en que puede sacarse partido al teorema de
Rouche en el estudio de los ceros de una funcion, veamos una nueva demostracion
del teorema fundamental del a lgebra. Otros ejemplos, con interesantes comentarios,
pueden verse en Palka, ob. cit., pp. 342 y ss.
Corolario 9.9. Si p(z) = z n +a1 z n1 + +an , entonces p tiene n races (contadas
segun su multiplicidad).
Demostracion. Puesto que p(z)/z n tiende a 1 cuando z tiende a , para algun R
sera

p(z)

z n 1 < 1
siempre que |z| = R, es decir, | p(z) z n | < |z n |. Por el teorema de Rouche, p(z)
ha de tener n ceros interiores a D(0; R).
146
9.6

VALORES LOCALES DE UNA
HOLOMORFA
FUNCION
Definicion 9.10. Sea f una funcion holomorfa en un abierto , z 0 ,

w0 = f (z 0 ), m N. Diremos que f aplica z 0 en w0 m veces [abreviado
f (z 0 ) = w0 m veces] o con multiplicidad m si z 0 es un cero de orden m de
la funcion f (z) w0 .
Equivalentemente, si f (z 0 ) = w0 , f (z 0 ) = = f (m1) (z 0 ) = 0, f (m) (z 0 ) = 0.
Evidentemente, si w0 = f (z 0 ), f (z) w0 siempre tiene un cero en z 0 . Podra
afirmarse siempre, pues, que f (z 0 ) = w0 m veces para algun m N? Un momento de reflexion permite concluir que no: nada impide, por ejemplo, que f sea
constante en algun disco D(z 0 ; r ) (equivalentemente, que f sea constante
en la componente conexa de que contiene a z 0 ), de manera que z 0 no sea un
cero aislado de la funcion f (z) w0 . Pero es claro que e sta es la u nica situacion
excepcional en la que la respuesta es negativa:
Para que f (z 0 ) = w0 m veces para algun m N, es necesario y suficiente
que z 0 sea un cero aislado de f (z) w0 (equivalentemente, que f no sea
constante en la componente conexa de que contiene a z 0 .)
El siguiente resultado muestra que en el entorno de un punto en el que una
funcion analtica f tome un valor w0 m veces, la funcion f alcanza los valores
proximos a w0 justamente en m puntos distintos, grosso modo como lo hace la
funcion g(z) = w0 + (z z 0 )m (ver Palka, ob. cit., pp. 344 y ss., donde se da a
este teorema el nombre de branched covering principle, el principio del espacio
recubridor ramificado o cubierta ramificada).
Teorema 9.11. Sea f una funcion holomorfa en un abierto no vaco arbitrario .
Sean z 0 , m N, f (z 0 ) = w0 m veces. Entonces existen entornos abiertos V ,
W de z 0 y w0 respectivamente, tales que f (V ) = W y cada punto w W \ {w0 }
es imagen por f exactamente de m puntos distintos z 1 , . . . , z m de V \ {z 0 }.
Precisando mas:
Tomemos cualquier disco D = D(z 0 ; r ) tal que
() D ,
() f (z) w0 no se anula en D \ {z 0 }.
( ) f (z) = 0 para todo z D \ {z 0 }
Poniendo entonces
= min{| f (z) w0 | : |z z 0 | = r } = d(w0 , f ( D)),
W = D(w0 ; ),
V = D f 1 (W ) = {z D : | f (z) w0 | < },
147
se verifica:
(1) W = f (V );
(2) para todo w W \ {w0 } existen exactamente m puntos distintos z 1 , . . . , z m
en V \ {z 0 } tales que f (z j ) = w con multiplicidad 1, 1 j m.
Demostracion. Puesto que f (z 0 ) = w0 m veces para algun m N, z 0 sera un cero
aislado de f (z) w0 . Si f (z 0 ) = 0, para algun disco D(z 0 ; ) tiene que
ser f (z) = 0 para todo z D \ {z 0 }, ya que en caso contrario z 0 sera un punto
de acumulacion de ceros de f y f se anulara en toda la componente conexa de
que contiene a z 0 ; en consecuencia f (n) (z 0 ) = 0 para todo n N, contra la
hipotesis de que f (z 0 ) = w0 m veces para algun m N. Tanto en este supuesto
como si f (z 0 ) = 0 (por continuidad de f en tal caso), es posible entonces elegir
un r > 0 de manera que si D = D(z 0 ; r ),
D = D(z 0 ; r ) ;
f (z) w0 no se anula en D \ {z 0 };
f (z) = 0 para todo z D \ {z 0 }.
Tomemos cualquier r en las condiciones anteriores. Poniendo como en el
enunciado = min{| f (z) w0 | : |z z 0 | = r }, obviamente > 0 y para
W = D(w0 ; ), V = D f 1 (W ) = {z D : | f (z) w0 | < }, es claro que W
y V son abiertos, w0 W , z 0 V , V y f (V ) W .
Para completar la demostracion basta, pues, probar que para todo w W \{w0 }
existen m ceros simples distintos de f (z) w en V \ {z 0 }.
Pero f (z) w0 tiene exactamente m ceros en D (z 0 contado m veces), y para
todo z D
|( f (z) w) ( f (z) w0 )| = |w w0 | < | f (z) w0 |,
luego por el teorema de Rouche f (z)w tiene m ceros (no necesariamente distintos
en principio) z 1 , . . . , z m en D. Estos puntos estan en V , pues
| f (z j ) w0 | = |w w0 | < ,
1 j m,
y son ceros simples, ya que

( f (z) w) (z j ) = f (z j ) = 0
por ser z j D \ {z 0 }.
NOTA.
Tambien puede afirmarse que el abierto V del enunciado es conexo. Como

no necesitaremos esta propiedad de V , no la probamos; hay una demostracion en
Palka, ob. cit., pp. 345346, seguida de unos comentarios muy ilustrativos que
desentranan la estructura geometrica local de f en el entorno de z 0 .
Las aplicaciones tales que cada elemento de la imagen tiene exactamente
m antiimagenes suelen denominarse aplicaciones m 1. Por esta razon en
algunos textos el teorema anterior recibe el nombre de teorema m 1. Con esta
nomenclatura, podemos reescribirlo en la siguiente forma:
148
Corolario 9.12. Sea un abierto de C, f una funcion holomorfa en , z 0 ,

m N, f (z 0 ) = w0 m veces. Entonces existen abiertos V , W , tales que
z 0 V ;
f (V ) = W (y, en particular, w0 W );
f : V \ {z 0 } W \ {w0 } es suprayectiva y m 1.
Si convenimos en que w0 tiene z 0 como antiimagen m veces, tambien podemos
poner
f : V W es suprayectiva y m 1.
Hay variantes de este teorema que reflejan de forma analtico-algebraica la
semejanza local de f (z) con w0 + (z z 0 )m . Por ejemplo:
Proposicion 9.13. Sea un abierto de C, f una funcion holomorfa en , z 0 ,
m N, f (z 0 ) = w0 m veces. Entonces existen un abierto V y una funcion
H(V ) tales que
z 0 V ;
f (z) = w0 + [(z)]m (para todo z V );
la derivada no tiene ceros en V y es una aplicacion invertible de V sobre
un disco D(0; r ).
Demostracion. Ver Rudin, ob. cit. (Teor. 10.32, p. 245).
El ejemplo siguiente ilustra en una situacion concreta los conjuntos que intervienen en la demostracion del teorema m 1.
Ejemplo. Sea = C \ {0}, f H() definida por
1
f (z) = z + ,
z
z 0 = 1, w0 = f (z 0 ) = 2. Comprobar que f toma el valor 2 en 1 dos veces, y ver
para que valores de r > 0 se consigue, si D = D(z 0 ; r ), que
D ;
f (z) w0 no se anule en D \ {z 0 };
f (z) = 0 para todo z D \ {z 0 }.
Para tales r , hallar = min{| f (z) w0 | : |z z 0 | = r }.
Dibujar, para algun valor de r , los conjuntos
Jr = { f (z) : |z z 0 | = r },
K = {z : | f (z) w0 | = }.
149
Respuesta.
f (z) = 1
1
= 0 z = 1 o z = 1,
z2
y f (1) = 2 = 0. Ademas
(z 1)2
,
f (z) w0 =
z
luego las condiciones se verifican exactamente para los r tales que 0 < r < 1.
Para estos r ,

r2
|z 1|2
= min{| f (z) w0 | : |z z 0 | = r } = min
: |z 1| = r =
,
|z|
1+r
1
que es una funcion de r creciente en (0, 1), de modo que 0 < < .
2
Para dibujar Jr , tengamos en cuenta que
|z z 0 | = r z = z 0 + r eit = 1 + r eit ,
t [0, 2 ],
y as
f (z) = z +
e2it + r eit
(z 1)2
1
,
=2+
= 2 + r2
z
z
1 + 2r cos t + r 2
t [0, 2],
expresion que permite describir parametricamente con comodidad e f (z), m f (z).

Para dibujar K , comencemos por observar que

1
1
1
2
2
w + w 4 o z =
w w 4 ,
f (z) = z + = w z =
z
2
2
que para w = 2 + eit , t [0, 2], supone, abreviando la notacion,

it 1
z =1+ e
4 eit + e2it .
2
2
Recordando que
a
+
a 2 + b2
x =
,
a + bi = x + i y
a
+
a 2 + b2
y
=
sig x y = sig b,
150
vamos a parar a

1
2
e z = 1 + cos t
4 cos t + cos 2t + 16 + 8 cos t +
2
2 2

1

2
4 cos t cos 2t + 16 + 8 cos t +
m z = sen t
2
2 2
con los signos combinados para que el signo del producto coincida con el de
4 sen t + sen 2t = (4 + 2 cos t) sen t, t [0, 2], que es igual al signo de sen t.
As quedan las graficas de K y Jr para r = 2/3:
f
0.5
0.5
0.5 x
-0.5
1.5
1.5 x
2.5
3.5
-0.5
-1
-1
K
Jr
NOTA.
Algunos programas de ordenador permiten obtener graficos animados que

muestran, de manera espectacular, la evolucion de los conjuntos K y Jr segun
vara r .
9.7
ABIERTA
TEOREMA DE LA APLICACION
Corolario 9.14. (Teorema de la aplicacion abierta). Sea un abierto de C, f

una funcion holomorfa en no constante en ninguna componente conexa de .
Entonces f es abierta.
En particular, f () es un abierto de C; y si es una region, f () tambien
es una region.
151
Demostracion. Recordemos que f es abierta cuando la imagen f (U ) de cada

abierto U es un abierto en C.
Sea, pues, w0 f (U ) y tomemos z 0 U de modo que f (z 0 ) = w0 . Aplicando el teorema m 1 en z 0 a la restriccion de f a U , encontramos abiertos V ,
W tales que z 0 V U , w0 W = f (V ) f (U ), y as w0 es interior a f (U ).
El teorema de la aplicacion abierta permite dar nuevas demostraciones de
resultados conocidos.
Corolario 9.15. (Principio del modulo maximo). Sea f una funcion holomorfa
no constante en ninguna componente conexa de un abierto de C. Entonces | f |
no puede tener un maximo local en ningun punto de .
Demostracion. Por ser f abierta, dado z 0 y D(z 0 ; R) , si w0 = f (z 0 )
existe un disco D(w0 ; r ) f (D(z 0 ; R)) con infinitos puntos w para los que resulta
| f (z 0 )| = |w0 | < |w| = | f (z)|, z D(z 0 ; R).
Ejercicio. Sea f una funcion holomorfa en una region y supongamos, por
ejemplo, que (e f )3 = m f . Entonces f es constante.
[Indicacion: f () no puede ser abierto en C al estar contenido en el conjunto
{x + i y : x, y R; x 3 = y}.]
(Tenemos as otra explicacion de resultados obtenidos como consecuencia
de las condiciones de Cauchy-Riemann.)
9.8
INVERSA
TEOREMAS DE LA FUNCION
Teorema 9.16. (Teorema global de la funcion inversa). Sea f una funcion holomorfa e inyectiva en un abierto no vaco . Entonces
f () es abierto;
f 1 : f () es continua;
f (z) = 0 para todo z ;
f 1 es holomorfa en f (), y para cada w0 f () es

f 1 (w0 ) =
1
,
f (z 0 )
donde z 0 = f 1 (w0 ).
Demostracion. Como f es inyectiva, no es constante en ninguna componente
conexa de , con lo que f sera abierta y por ello f () es abierto y f 1 es
continua.
152
Si en algun punto z fuese f (z) = 0, tendramos f (z) = w m veces, con

m 2; en consecuencia, la restriccion de f a algun entorno V de z sera m 1,
contra la inyectividad de f .
Por u ltimo, el teorema de derivabilidad de la funcion inversa en un punto es
as aplicable en cada punto de f (), de manera que f 1 H() ya que f 1 es
derivable en cada punto de f (), y su derivada viene dada, como ya sabamos, por
la formula del enunciado.
Observacion. Para que una funcion holomorfa sea inyectiva es condicion necesaria
pero no suficiente que la derivada no se anule en ningun punto. Por ejemplo, la
funcion exponencial tiene derivada no nula en todos los puntos sin ser inyectiva.
Tal como sucede en el caso de funciones de varias variables reales, en el recproco
solo se llega a un resultado local, que es una ligera mejora del teorema 1 1.
Teorema 9.17. (Teorema local de la funcion inversa). Sea f una funcion holomorfa
en un abierto no vaco arbitrario . Sean z 0 , w0 = f (z 0 ), f (z 0 ) = 0.
Entonces existen entornos abiertos V , W de z 0 y w0 respectivamente, tales que
f aplica biyectivamente V sobre W y ( f |V )1 : W V es holomorfa en W .
Precisando mas:
Tomemos cualquier disco D = D(z 0 ; r ) tal que
() D ,
Poniendo entonces
= min{| f (z) w0 | : |z z 0 | = r } = d(w0 , f ( D)),
W = D(w0 ; ),
V = D f 1 (W ) = {z D : | f (z) w0 | < },
se verifica:
(1) f : V W biyectivamente;
(2) f (z) = 0 para cada z V ;
(3) ( f |V )1 : W V es holomorfa.
Demostracion. Notese que siempre existen discos D = D(z 0 ; r ) para los que
se cumplen las hipotesis () y (), pues en caso contrario encontraramos una
sucesion de puntos z n \ {z 0 } con lmite z 0 de manera que f (z n ) = w0 = f (z 0 )
para todo n, y resultara f (z 0 ) = 0.
(1) Evidentemente f (V ) W , luego para probar que f aplica biyectivamente
V sobre W basta ver que para cada w W existe un z V y solo uno tal que
f (z) = w, o equivalentemente, que para cada w W el numero de ceros de la
funcion f (z) w en V sea 1.
153
Tomemos, pues, w W = D(w0 ; ). Por hipotesis, el numero de ceros de

f (z) w0 en D es exactamente 1, y si es la circunferencia de centro z 0 y radio
r orientada positivamente, para cada z sop = D,
|( f (z) w) ( f (z) w0 )| = |w w0 | < | f (z) w0 |,
luego por el teorema de Rouche f (z) w tiene un cero simple en D, que estara
en V porque si f (z) = w, | f (z) w0 | = |w w0 | < .
(2) Como la restriccion de f a V es inyectiva, f no es constante en ninguna
componente conexa de V , con lo cual f es abierta. Denotando por comodidad con
f 1 la inversa de la restriccion de f a V , esto significa que f 1 : W V es
continua y, de paso, implica que V es conexo por serlo W . Si aplicamos el teorema
global de la funcion inversa, necesariamente f (z) = 0 para todo z V .
(3) Basta tener en cuenta que, segun acabamos de ver, f 1 : W V es
continua y f (z) = 0 para los z V .
Teorema 9.18. (Representaciones de la funcion inversa). Sea f una funcion holomorfa en un abierto no vaco arbitrario . Sean z 0 , w0 = f (z 0 ), f (z 0 ) = 0.
Consideremos un disco D = D(z 0 ; r ) tal que
() D ,
Sea, como antes,
= min{| f (z) w0 | : |z z 0 | = r } = d(w0 , f ( D)),
W = D(w0 ; ),
V = D f 1 (W ) = {z D : | f (z) w0 | < }.
Llamando a la circunferencia de centro z 0 y radio r orientada positivamente,
siempre que |w w0 | < se verifica

1
z f (z)
1
(1)
dz;
f (w) =
2i f (z) w

z
f
(z)
1
(2)
dz (w w0 )n ;
f 1 (w) =
n+1
2i ( f (z) w0 )
n=0

n1

1
d
(z)n
f 1 (w) = z 0 +
(3)
(w w0 )n ,
n1
n! dz
z=z 0
n=1
donde (z) =
serie) .
z z0
(formula de Lagrange para la inversion de una
f (z) w0
154
Demostracion. El ciclo formado por es homologo a 0 respecto de : los puntos

de D son los u nicos con ndice no nulo respecto de .
(1) Dado w W = D(w0 ; r ), hemos probado anteriormente que hay un
u nico punto a D = D(z 0 ; r ) tal que f (a) = w. Ademas, para cada z D es
| f (z) w0 | > |w w0 |,
luego a es el u nico punto en D para el que f (a) = w.
Por consiguiente, la funcion
z f (z)
g(z) =
f (z) w
es meromorfa en , no tiene singularidades sobre sop y a es la u nica singularidad
con ndice no nulo (= 1) respecto de . Aplicando el teorema de los residuos,

1
z f (z)
dz = Res(g; a).
2i f (z) w
Puesto que
lim [(z a) g(z)] = lim
za
za

1
za

z f (z) =
a f (a) = a,
f (z) f (a)
f (a)
g tiene en a un polo simple (o una singularidad evitable si a = 0); en cualquier

caso, Res(g; a) = a y as

z f (z)
1
dz = a = f 1 (w).
2i f (z) w
(2) Teniendo en cuenta que si z sop , entonces | f (z)w0 | > |ww0 |,
desarrollando en potencias de w w0 el integrando de (1) e integrando termino a
termino como de costumbre obtenemos la igualdad deseada.
(3) Integrando por partes, para n 1 resulta

1
z f (z)
dz
1
dz
=
2i ( f (z) w0 )n+1
2in ( f (z) w0 )n
y esta u ltima integral podemos calcularla a traves del teorema de los residuos, pues
el integrando presenta una u nica singularidad en z 0 , que es exactamente un polo
de orden n, y as

1
dz
1
1
= Res
; z0
2in ( f (z) w0 )n
n
( f (z) w0 )n

n1
(z z 0 )n
1
d
1
.
=
n (n 1)! dz n1 ( f (z) w0 )n z=z0
155
Ejemplo. Sea = C, f (z) = z e z , z 0 = 0, w0 = f (z 0 ) = 0. En este caso

f (z) = w0 = 0 solo para z = 0, luego para cualquier r > 0 el disco D(z 0 ; r )
cumple () y (). Como
= min{| f (z) w0 | : |z z 0 | = r } = min{|z e z | : |z| = r }
= min{r ee z : |z| = r } = r er ,
el valor maximo para se obtiene si r = 1, en cuyo caso = e1 .
El desarrollo en serie de f 1 : D(0; 1/e) D(0; 1) se halla muy facilmente
por el metodo de Lagrange, pues ahora (z) = ez y

con lo cual
f

d n1
n
(z)
dz n1
(w) =
= (1)n1 n n1 ,
z=z 0

(1)n1 n n1
n!
n=1
wn ,
|w| <
1
.
e
(La serie tiene radio de convergencia 1/e).

NOTA. En Markushevich, A. I.: Theory of Functions of a Complex Variable (Vol. II).
Prentice-Hall, Englewood Cliffs, N.J. (1965), p. 94 y ss., pueden verse ejemplos
muy interesantes de aplicaciones de la formula de Lagrange al estudio de los
polinomios de Legendre y de la ecuacion de Kepler para la anomala excentrica.
9.9
EJERCICIOS RESUELTOS
Comenzaremos por aplicar el teorema de los residuos al calculo de una integral

real.
Ejercicio. Estudiar la existencia y, en su caso, calcular el valor de
x sen x
d x.
x 2 + 4x + 20
Respuesta. El integrando es una funcion (llamemosle g) definida y continua en

todo R. Sin embargo no es una funcion integrable-Lebesgue en R, pues si lo fuese
sen x
, que ya sabemos que
lo sera tambien (comparando por cociente) la funcion
x
no es integrable-Lebesgue en R.
La integral tiene sentido como integral impropia, convergente por el criterio
de Abel: si es una funcion impropiamente integrable en un intervalo (a, b) y
156
b
es una funcion monotona y acotada en dicho intervalo, a es convergente.
x2
sen x
, (x) = 2
; puesto
En nuestro caso: g = para (x) =
x
x + 4x + 20
4x (x + 10)
y limx (x) = 1, esta acotada en R y es
que (x) = 2
(x + 4x + 20)2
monotona en (0, +), (, 10); por la convergencia de la integral de en
ambos intervalos, g es impropiamente integrable en los mismos, y es integrable
(es continua) en [10, 0]. Ensamblando estos resultados, obtenemos que g es
impropiamente integrable en R.
De todas formas, los calculos que haremos a continuacion probaran que la in R
g.
tegral tiene sentido al menos como valor principal, es decir, que existe lim
R+ R
La funcion f definida por

z ei z
f (z) = 2
z + 4z + 20
es meromorfa en C, y sus u nicas singularidades son los polos simples p1 = 2+4i,
p2 = 2 4i.
iR
Si R es el ciclo formado por el
R
camino R R , donde (ver figura)
R : t [0, ] R (t) = R eit C,
R : t [R, R] R (t)
p1
= t C,
siempre que R > | p1 | = 20 sera R
un ciclo homologo a 0 en C para el que
Ind R ( p1 ) = 1, Ind R ( p2 ) = 0. Pode-R R
O
R
mos as aplicar el teorema de los resip2
duos para obtener

R
Pero
z ei z
f = 2i Res( f ; p1 ) = 2i lim (z p1 )
z p1
(z p1 )(z p2 )

i
1
1
+
e42i = + i e42i .
= 2i
2 4
2

R
f =

f +

R
f =

f +
R
R
f (x) d x,
157
y puesto que lim R+ (R 2 4R 20) = +, existira un R0 > 20 tal que, para

todo R > R0 , R 2 4R 20 > 0; siempre que R > R0 podremos poner, pues,

it
it
=

f (R eit ) R dt

f
f
(R
e
)
Ri
e
dt

R
RR
2
R 4R 20

R2
eR sen t dt.
2
R 4R 20 0

= 0 y eR sen t = eR sen t < e0 =

i R eit
e
dt =
Dado que para t (0, ) es lim eR sen t

R+
1 L ([0, ]), por el teorema de la convergencia dominada

lim
eR sen t dt = 0.
1
R+ 0
(En la mayor parte de los textos, este resultado, conocido como lema de Jordan,
se
prueba sin hacer referencia a la integral de Lebesgue mediante la acotacion
2t
(1 e R ), deducida de la desigualdad sen t
para
eR sen t dt
R
0 t .)
2
Como consecuencia,

lim
R+
R
f = 0,
lo que permite deducir la existencia y valor del lmite

+
R
1
V.P.
f (x) d x = lim
f (x) d x = + i e42i
R+
2
R
y de aqu
+
x sen x
d x = m
x 2 + 4x + 20
V.P.

f (x) d x
= (cos 2+
1
sen 2) e4 .
2
En el proximo ejercicio aplicaremos el teorema de Rouche y el principio del

argumento para localizar ceros de un polinomio en conjuntos de distinto tipo.
Ejercicio. Hallar el numero de ceros que tiene el polinomio
P(z) = z 3 (1 + 2i) z 2 (3 7i) z + 8 4i
1
< |z| < 5}.
2
Cuantos de ellos estan en el semiplano superior H = {z C : m z > 0}?
Cuantos de ellos estan en el semiplano inferior H = {z C : m z < 0}? Por
que?
en la corona D(0; 1/2, 5) = {z C :
158
Respuesta. Sea g(z) = z 3 , z C. Si |z| = 5,

|P(z) g(z)| = | (1 + 2i) z 2 (3 7i) z + 8 4i|
|1 + 2i| 52 + |3 7i| 5 + |8 4i| = 3 25 + 58 5 + 80

< 3 25 + 8 5 + 9 = 113 < 125 = |z|3 = |g(z)|,
con lo cual:
P(z) y g(z) son funciones holomorfas en todo C que no se anulan sobre la
circunferencia {z C : |z| = 5};
podemos aplicar el teorema de Rouche para concluir que P y g tienen el
mismo numero de ceros (contados segun su multiplicidad) en el interior de
dicha circunferencia, es decir, 3.
1
Sea ahora h(z) = 8 4i, z C. Si |z| = , analogamente
2
3

1 2 1
1
1 1
1
|P(z)h(z)|
+ 5
+ 58 < + 3+ 8 < 5 < |84i| = |h(z)|,
2
2
2
8 4
2
con lo cual:
P(z) y h(z) son funciones holomorfas en todo C que no se anulan sobre la
1
circunferencia {z C : |z| = };
2
podemos aplicar el teorema de Rouche para concluir que P y h tienen el
mismo numero de ceros (contados segun su multiplicidad) en el interior de
dicha circunferencia, es decir, 0.
En consecuencia, P(z) tiene 3 ceros en la corona D(0; 1/2, 5). (Puesto que a
lo mas puede tener 3 ceros en C, se sigue que todos los ceros de P quedan dentro
de la corona).
Para ver cuantos de ellos estan en H bastara, pues, averiguar simplemente
cual es el numero N de ceros que tiene P en H . Como el polinomio P tiene un
numero finito de ceros, si M es el maximo de los modulos de todos ellos, los N que
esten en H quedaran en el interior del ciclo R formado por el camino R R ,
donde (ver figura)
-R
iR
R : t [0, ] R eit C;
R : t [R, R] t C,
y R es cualquier valor mayor que M.
Por consiguiente, dado que P es holomorfa en = C y trivialmente R 0 (C),
si P no se anula en el soporte de R , podemos
hallar N aplicando la version geometrica del
principio del argumento.
159
Comprobemos que P no se anula en sop R . Por la eleccion de R, es obvio

que P no se anula en el soporte de R ; tampoco se anula en el soporte de R , como
se vio en el Captulo 5, Seccion 5.4.
As pues, siempre que R > M se tendra
N = Ind P( R R ) (0),
y en consecuencia tambien
N = lim Ind P( R R ) (0),
R+
que nos llevara mas facilmente al calculo de N .

Es inmediato comprobar (comprobar!) que P( R R ) = (P R )(P R )
y que
arg(P ( R R )) =
arg(P R ) +
arg(P R ). Aplicando el
razonamiento del final de la Seccion 5.4 a nuestro polinomio P,
lim
ARG P(R eit ) = 3.
R+ 0t
Tambien se probo entonces que si

x(t) := e (P R )(t) = e P(t) = t 3 t 2 3t + 8,
y(t) := m (P R )(t) = m P(t) = 2t 2 + 7t 4,
se obtena, para valores suficientemente grandes de R,
ARG (P R )(t) = + arc tg
RtR
y(R)
y(R)
arc tg
,
x(R)
x(R)
de donde se sigue que

lim
ARG (P
R+ RtR
R )(t) = ,
lo que unido a lo anterior permite concluir que

2 N = 2 lim Ind P( R R ) (0) = 3 + = 4,
R+
es decir, que N = 2.
Como P tiene 3 ceros, ninguno de ellos real, esto implica que el numero de
ceros de P en H es necesariamente 1.
-oOo-

Variable Compleja PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Variable Compleja PDF

Cargado por

Copyright:

Formatos disponibles

TEORIA DE

Bienvenido Cuartero y Francisco J. Ruiz

sobre apuntes del Area

La teora moderna de las funciones analticas ha tenido cuatro fundadores: Gauss,

principios del calculo

(Henri Poincare, La obra matematica

NMEROS COMPLEJOS: CONOCIMIENTOS PREVIOS

Recopilamos en este captulo las propiedades basicas de los numeros complejos,

complejos: conocimientos previos.

PROPIEDADES ALGEBRAICAS DE LOS NUMEROS

Recogiendo de manera abreviada lo que acabamos de exponer, resulta:

complejos: conocimientos previos.

tiene las siguientes propiedades:

complejos: conocimientos previos.

aunque mas adelante se correspondera

complejos: conocimientos previos.

(respectivamente, por Arg(,+2 ] z).

Normalmente, se toma el intervalo (, ] y se escribe simplemente

La representacion polar tiene especial importancia en este estudio, pues usandola,

Si queremos alguna notacion, n z debera denotar el conjunto de estos n

complejos: conocimientos previos.

La topologa (estandar) en C viene dada por la aplicacion modulo, que al cumplir

Toda sucesion acotada posee una subsucesion convergente.

complejos: conocimientos previos.

Definicion. Un espacio topologico X se dice conexo si no es union de dos conjuntos

En C y para abiertos, tenemos el siguiente:

complejos: conocimientos previos.

Teorema. Sea  abierto de C. Son equivalentes:

En este apartado, vamos a introducir el punto del infinito complejo, , con el

En C solo aparecera un punto del . Los conceptos + y estan asociados

complejos: conocimientos previos.

Teorema. Cualquier espacio topologico localmente compacto puede ser sumergido

complejos: conocimientos previos.

complejos: conocimientos previos.

Teorema. La aplicacion , llamada proyeccion estereografica, es un isomorfismo

CONTINUIDAD DE LAS FUNCIONES DE VARIABLE COMPLEJA

complejos: conocimientos previos.

Notese que en este caso z 0 debe estar en el dominio de la funcion.

complejos: conocimientos previos.

Las propiedades de los lmites y funciones continuas (con demostraciones

5. Si f y g son continuas en z 0 , tambien lo son las funciones f + g y f g.

complejos: conocimientos previos.

En estas condiciones, podemos hablar de lmites en el , considerando la topologa

complejos: conocimientos previos.

Y tambien se producen los casos de indeterminacion habituales.

6. La funcion argumento principal

complejos: conocimientos previos.

En cualquier punto z 0 (, 0) no es continua, pues si

La definicion y primeras propiedades de la derivacion de funciones complejas son

DERIVABILIDAD DE LAS FUNCIONES DE VARIABLE COMPLEJA

1. Definicion y primeras propiedades.

Al valor de dicho lmite f (z 0 ) lo llamaremos derivada de f en z 0 .

Esta funcion permite escribir para todo z

usando nuevamente la continuidad de f 1 en w0 y la de g en z 0 = f 1 (w0 ), vemos

El problema que ahora vamos a tratar es exclusivo del contexto de C. Ya sabemos

i) u , v son diferenciables en (x0 , y0 ).

Demostracion. Antes de entrar en ella, modifiquemos un poco las notaciones.

Por otra parte, recordemos la nocion de diferenciabilidad. u diferenciable en

u(x0 + k, y0 + l) u(x0 , y0 ) L(k, l)

Recuerdese ademas que

) Si u y v son diferenciables en (x0 , y0 ) y se cumplen las condiciones de CauchyRiemann, llamamos

y se tiene que cumplir que la expresion en (3) tiende a 0.

En Levinson, N.; Redheffer, R.M.: Curso de variable compleja. Reverte,

Teorema. Sea abierto de C. Son equivalentes:

3. Division. Si f (0) = 0 entonces > 0 tal que

Definicion. Sea = un abierto de C. Una funcion f : C se dice

Demostracion. Si para un z 0 , f (z 0 ) = 0, entonces, por continuidad, f = 0 en