Está en la página 1de 138

Funciones de una variable compleja

Curso de Introduccin
Jos C. Sabina de Lis

Universidad de La Laguna

29 de octubre de 2013
ii
ndice general

PRLOGO iv

1. El cuerpo de los nmeros complejos 1


1.1. Los nmeros reales. Propiedades . . . . . . . . . . . . . . . . . . 1
1.2. Los nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3. El argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4. Races n-simas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5. Funciones complejas . . . . . . . . . . . . . . . . . . . . . . . . . 14
a
1.6. Transformaciones bilineales. 1 nota . . . . . . . . . . . . . . . . 19
1.7. Apnice: una revisin de trigonometra . . . . . . . . . . . . . . . 20
1.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.9. Soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

2. Continuidad y topologa en C 29
2.1. Convergencia y continuidad en C . . . . . . . . . . . . . . . . . . 29
2.2. Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.3. Conexidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4. Compacticacin de C.
Proyeccin de Steiner . . . . . . . . . . . 33
a
2.5. Transformaciones bilineales. 2 nota . . . . . . . . . . . . . . . . 38
2.6. El teorema fundamental del lgebra . . . . . . . . . . . . . . . . 42
2.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

3. Funciones analticas 47
3.1. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.3. Funciones analticas . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.4. Funciones exponencial y logaritmo . . . . . . . . . . . . . . . . . 59
3.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

4. Derivabilidad en C 71
4.1. Derivabiliad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.2. Funciones armnicas . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.3. Apndice: varias variables . . . . . . . . . . . . . . . . . . . . . . 81
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

iii
iv NDICE GENERAL

5. Integracin compleja 87
5.1. Integral de Riemann compleja . . . . . . . . . . . . . . . . . . . . 87
5.2. Integrales complejas . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.3. El teorema de Cauchy en crculos . . . . . . . . . . . . . . . . . . 92
5.4. Teoremas de Morera y de Goursat . . . . . . . . . . . . . . . . . 96
5.5. Ceros de las funciones holomorfas . . . . . . . . . . . . . . . . . . 96
5.6. Principio del mdulo mximo . . . . . . . . . . . . . . . . . . . . 97
5.7. ndice de una curva . . . . . . . . . . . . . . . . . . . . . . . . . . 98
5.8. Teorema de Cauchy: versin homolgica . . . . . . . . . . . . . . 100
5.9. Teorema de Cauchy: versin homotpica . . . . . . . . . . . . . . 104
5.10. Teorema de la aplicacin abierta . . . . . . . . . . . . . . . . . . 106
5.11. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108

6. Singularidades aisladas 115


6.1. Singularidades aisladas . . . . . . . . . . . . . . . . . . . . . . . . 115
6.2. Desarrollos de Laurent . . . . . . . . . . . . . . . . . . . . . . . . 117
6.3. Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . 121
6.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124

BIBLIOGRAFA 131
Prlogo

Estas notas recogen el curso de introduccin a las funciones de una variable


compleja que he venido impartiendo en la Licenciatura en Matemticas de la
Universidad de La Laguna. Comprenden la materia obligatoria, un tanto exigua
por cierto, identicada en plan de estudios como Anlisis Matemtico VI.
No tienen, de momento, mayor pretensin que brindar al alumno la gua
escrita de un alto porcentaje del contenido de las lecciones de pizarra. Por otra
parte se usan para suprimir del discurso detalles relativamente rutinarios que
puede el estudiante completar por s mismo.

Beteta, diciembre de 2007

v
vi NDICE GENERAL
CAPTULO 1

El cuerpo de los nmeros

complejos

1.1. Los nmeros reales. Propiedades


Mdulo identicaciones, los nmeros reales R constituyen el nico cuerpo
K conmutativo, ordenado y completo (nociones que se denen a continuacin).
Conforman una ampliacin mejorada de conjuntos de nmeros ms elementales.
A saber, los naturales
{Nn = {1, 2, 3, . . .}, los }enteros Z = {. . . , 2, 1, 0, 1, 2, . . .}
y los racionales Q= : n, m Z, m = 0 .
m
Denicin 1.1 (Cuerpos) . Un conjunto K dotado de dos operaciones  + y
  se dice un cuerpo conmutativo si

i) (K, +) es un grupo abeliano (conmutativo).

ii) (K \ {0}, ) es un grupo y   es conmutativa.

iii)   es distributiva con respecto a  +.


Se dice que (K, +) es un grupo abeliano si para x, y, z K arbitrarios

1) x + (y + z) = (x + y) + z
2) 0 K : x + 0 = 0 + x = x
3) x, x : x + x = x + x = 0
4) x + y = y + x.

En 3), x se llama el opuesto de x y se escribe x. Anlogamente, si abreviamos


x y = xy , (K \ {0}, ) cumple (x, y, z K \ {0} cualesquiera):

5) x(yz) = (xy)z
6) 1 K \ {0} : x 1 = 1 x = x
7) x, x : xx = xx = 1
8) xy = yx.

1
2 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

Ntese que est implcito en 6) que 1 = 0. Se llama a x el inverso de x y se


1
escribe x . Finalmente iii) signica que para x, y, z K cualesquiera:

x(y + z) = xy + xz.

La diferencia y el cociente de dos elementos x, y K (y = 0) se denen


x
como x y = x + (y), = xy 1 , respectivamente.
y
Como consecuencia de la Denicin 1.1, en todo cuerpo K se cumplen una
serie de propiedades que son familiares en el contexto de los nmeros. A partir de
ahora sobeentenderemos el apelativo conmutativo al referirnos a los cuerpos.

Proposicin 1.2. Sea (K, +, ) un cuerpo. Se cumplen entonces las siguientes


propiedades:

1) x+y =x+z y =z 5) x = 0, xy = xz y = z
2) x+y =xy =0 6) x = 0, xy = x y = 1
3) x + y = 0 y = x 7) x = 0, xy = 1 y = x1
4) (x) = x. 8) x = 0, ((x1 )1 = x.

Las propiedades 3), 7) arman que el opuesto y el inverso de x son nicos.

Para completar el panorama familiar de las leyes del clculo se tiene la


propiedad siguiente.

Proposicin 1.3. Si (K, +, ) es cuerpo entonces para x, y K arbitrarios:

1) 0x=0
2) x = 0, y = 0 xy = 0
3) (x)y = x(y) = xy
4) (x)(y) = xy.

Demostracin. En el caso de 1):

x 0 = x(0 + 0) = x 0 + x 0 x 0 = 0.

Para 2) si x = 0 y fuese xy = 0 resultara y=0 contra lo supuesto.


Asimismo se tienen las relaciones:

xy + (x)y = 0, xy + x(y) = 0

de donde se deduce 3). Para 4):

(x)(y) = x(y) = (xy)) = xy.

Siguiendo [22] damos la siguiente denicin de orden total.


1.1. LOS NMEROS REALES. PROPIEDADES 3

Denicin 1.4. Un conjunto K (totalmente) ordenado es aqul que posee una


relacin  < que cumple las propiedades:

i) Dados x, y K se satisface slo una de las siguientes propiedades: o bien


x < y, o bien x=y o bien y < x.
ii) (Transitiva) x<y & y<z implican x < z.

Es habitual denotar xy x < y o x = y . Asimismo y > x e y x se usan


si
indistintamente para representar x < y , x y , respectivamente. Es tambin
habitual introducir la relacin de orden en la forma x y .
Otra denicin clave para caracterizar los nmeros reales es la de cuerpo
ordenado.

Denicin 1.5. Un cuerpo (K, +, ) dotado de una relacin de orden total


 < se dice un cuerpo ordenado si se cumplen las siguientes propiedades de
compatibilidad:

1) y <z x+y <x+z


2) x > 0, y > 0 xy > 0.

Si K es un cuerpo ordenado y x K entonces o bien x > 0 o x = 0 o


x < 0. En el primer caso se dice que x es positivo, mientras x negativo signica
+
x < 0. Se denota por K a los elementos positivos de K . La denicin 1.5 dice
+
que el orden es invariante por traslaciones [1)] y que K es invariante frente al
producto [2)].

Proposicin 1.6.
1) K+ es invariante frente a la suma.

2) x < y y x > 0.

Es tambin habitual introducir la nocin de cuerpo ordenado a travs de


los elementos positivos. En este enfoque primero se distinguen en el cuerpo K
+
quines son los elementos positivos K . Una vez conocidos stos se dice que
y > x si y x K (ver [2]). Otras propiedades de los cuerpos ordenados son
+

las siguientes.

Proposicin 1.7.
1. Si x>0 entonces x < 0, mientras x < 0 x > 0.
2. Si x>0 entonces y < z xy < xz .
3. En cambio, x<0 y y<z implican xy > xz .
4. Si x = 0 resulta
2
x > 0. En particular 1 > 0.

Demostracin. Para probar 1) si x>0 resulta x + (x) > x luego x < 0.


Las dems se prueban igual.

Ejercicio 1.1. Para pN primo se designa por Zp el cuerpo Z/pZ. Es Zp un


cuerpo ordenado con su orden natural?
4 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

Observaciones 1.1.

a) Si K es un cuerpo ordenado podemos considerar la inyeccin:

I: N K
n)
n 7 I(n) = n 1 := 1+ +1.

Identicando I(N) N se deduce que todo cuerpo ordenado contiene a los


con
p
racionales Q. En efecto Q se obtiene como Q = { : p, q Z, q = 0}, mientras
q
Z = {p : p N} {0}.
b) En las propiedades listadas hasta ahora de los cuerpos ordenados no se observa
ninguna caracterstica especial que permita distinguir Q de R. Esta es la sea
de identidad de la propiedad de continuidad o completitud que presentamos a
continuacin.

Siguen ahora dos nociones habituales de los conjuntos ordenados. El cali-


cativo ordenado hace referencia a la Denicin 1.4 (cf. [22]).

Denicin 1.8 (Cotas) . Sea K un conjunto ordenado, E K. Se dice que


b K es una cota superior de E si x b para cada x E. De manera
simtrica se dene cota inferior.

Si E admite cota superior se dice acotado superiormente.

Denicin 1.9 (Supremos). Sea E K, K ordenado. Se llama supremo de E


a todo elemento cK que cumpla las propiedades:

1. c es cota superior de E.
2. Si b<c entonces b no es cota superior de E.

Pudiera no haber elementos c con tales propiedades. Si un tal c existe, es


por 2) necesariamente nico. Esto sugiere la notacin sup E . La nocin de
nmo se introduce de manera simtrica.

Denicin 1.10. Un conjunto ordenado K posee la propiedad del supremo


(repectivamente, nmo) si todo conjunto E K acotado superiormente (infe-
riormente) admite supremo (nmo).

Se cumple la siguiente propiedad (cf. [22]).

Teorema 1.11. Si un conjunto ordenado K posee la propiedad del supremo


entonces tambin cumple la del nmo.

El proceso gentico que lleva de N a Q consiste en ir dotando de opuestos e


inversos a los elementos de N. Desde este punto de vista Q est libre de defectos
sin embargo se tiene la siguiente propiedad.

Proposicin 1.12. El conjunto {x Q : x2 < 2} no admite supremo en Q


mientras {y Q : y 2 > 2} tampoco posee nmo en Q.
1.1. LOS NMEROS REALES. PROPIEDADES 5


Est implcito en la proposicin que no es posible hallar 2 en Q (hecho que
por otra parte se demuestra de manera directa).

Ejercicio 1.2. Probar que no existe xQ tal que x 2 = 2. A tal n, supngase
p
que =2 donde p, q no son pares simultneamente.
q
El que un cuerpo ordenado K posea la propiedad del supremo quiere decir
que K es en cierta forma continuo, es decir no presenta suras. Topolgica-
mente hablando esto signica que es cerrado frente a paso al lmite o si quiere,
que es completo. En este sentido Q es defectuoso y la razn de construir R es
la de ampliar Q para incluirlo en una envoltura (topolgicamente) cerrada.

Denicin 1.13. Se dice que un cuerpo ordenado R es un cuerpo de nmeros


reales si R posee la propiedad del supremo.

Un problema natural es el de la existencia de un cuerpo de nmeros reales,


cuestin que a nales del siglo XIX se conoca como el problema del continuo
([1]). G. Cantor y R. Dedekind dieron en 1876, pruebas distintas de la existencia
de un tal cuerpo a partir de los nmeros racionales Q . El primero a travs de las
sucesiones de Cauchy, el segundo por medio de las as denominadas cortadu-
ras de nmeros racionales. Tales construcciones fueron los primeros frutos por
cierto bastante controvertidos en su tiempo, por no decir revolucionarios que
aport a la matemtica del ltimo cuarto del XIX la recin estrenada teora de
conjuntos. David Hilbert, el prestigioso matematico alemn, no dud en calicar
de paraso el nuevo escenario que dicha teora propici en la matemtica (cf.
[1]). No nos ocupamos de tales construcciones de R pero los resultados obtenidos
son equivalentes porque todos los cuerpos de nmeros reales coinciden (mdulo
identicaciones). La base de esta armacin radica en que todo cuerpo ordenado
contiene una copia de los nmeros racionales Q (Observacin 1.1).

Teorema 1.14. Sea R un cuerpo de nmeros reales. Entonces,

i) [Propiedad Arquimediana]. Dado x > 0 para todo y R existe n N tal que


nx > y . En particular, existe un nico m Z tal que (m 1)x y < mx.
ii) [Densidad de Q]. Dados x<y existe qQ tal que x < q < y.
Observacin 1.2. Todo espacio mtrico (X, d) se puede completar a otro (Y, d)
de suerte que X Y (en un sentido a precisar). El proceso el rplica de la
construccin de Cantor de R identica los elementos de Y con las sucesiones de
Cauchy de X. La propiedad precedente establece que todo cuerpo de nmeros
reales se identica con las sucesiones de Cauchy de sus nmeros racionales.
En efecto ii) arma que todo x R es el lmite de una sucesin de nmeros
racionales. Es por ello que todos los cuerpos de nmeros reales son isomorfos.
En consecuencia a partir de ahora hablaremos de un slo cuerpo de nmeros
reales que designaremos por R.
Demostracin del Teorema 1.14. i) Suponiendo y>0 si fuese

nx y
6 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

para todo n, existira un supremo c de {nx}nN con lo que

c x < mx

para algn m N. De ah, c < (m + 1)x que no es posible.

ii) Como yx>0 se tiene de i) que

1
yx> ,
n
para algn nN con lo que

1
x<x+ < y.
n
Asimismo se sigue la existencia de m1 , m 2 N de suerte que:

nx < m1 , nx < m2 ,

es decir:
m2 < nx < m1 .
Por nitud existe un nico mZ tal que:

m 1 nx < m,

con lo que la segunda armacin de i) queda probada mientras:

m1 m
x< .
n n
De ah se concluye:
m 1
x< x + < y.
n n

Observacin 1.3. La idea para probar ii) es primeramente estimar por defecto
1 1
la distancia yx con . Despus se mide x tomando como unidad.
n n
El problema fundamental de la extraccin de races n-simas se puede resol-
ver en cualquier cuerpo R de nmeros reales.

Teorema 1.15. Para todo x R, x > 0, existe un nico y>0 tal que

y n = x.

Demostracin. a) Unicidad. Es consecuencia de que y1 < y2 y1n < y2n .


b) Existencia. Se considera el conjunto:

E = {t R : tn < x}.
1.1. LOS NMEROS REALES. PROPIEDADES 7

Resulta que E = pues:


1
E.
1 + x1
De hecho obsrvese que

(1 + z)n > 1 + nz, z > 0.


Anlogamente, b=1+x es cota superior de E con lo que existe

y = sup E.
Probamos que no puede ser:
yn < x
porque existira h>0 con
(y + h)n < x.
La clave est en medir el incremento en la funcin bn . De hecho:

bn an < nbn1 (b a), 0 < a < b.


Hay que elegir h>0 de forma que (y + h)n y n < x y n . Tomando 0 < h < 1:
(y + h)n y n < nh(y + h)n < nh(y + 1)n < x y n ,
para lo que basta con que:

x yn
h < mn{1, }.
n(y + 1)n
Tampoco puede ser:
y n > x,
porque encontramos h>0 tal que:

(y h)n > x.
En efecto se tiene:

(y h)n x = y n x (y n (y h)n )
y se busca 0<y<h para que:

y n (y h)n < y n x.
Usando la estimacin anterior se tiene:

y n (y h)n < nhy n1


y basta con tener:
yn x
0<h< .
ny n1
En conclusin, resulta yn = x y hemos terminado.
8 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

1.2. Los nmeros complejos


Un problema fundamental desde los tiempos de la matemtica babilnica y
egipcia es el de la resolucin de ecuaciones algebraicas (cf. [15]). Hay ecuaciones
algebraicas en R que carecen de solucin como:

x2 + 1 = 0. (1.1)

En efecto, la Proposicin 1.7 arma que x = 0 x2 > 0 por lo que no hay


elementos en R que satisfagan dicha ecuacin. Este problema se resuelve exten-
diendo R a un cuerpo ms amplio C que introducimos ahora.

Denicin 1.16. El cuerpo C de los nmeros complejos se dene como:

C = {(a, b) : a, b R},

con las operaciones  + y  :

(a, b) + (c, d) = (a + c, b + d), (a, b) (c, d) = (ac bd, ad + bc).

Sus elementos, genricamente designados por z, se llaman nmeros complejos.

Proposicin 1.17. (C, +, ) es un cuerpo en el que:

= {(x, 0) : x R}

es un subcuerpo isomorfo a R. z = (a, b) entonces:


Si
( )
a b
z 1 = , .
a2 + b2 a2 + b2

Proposicin 1.18. El nmero complejo

i := (0, 1),

satisface i2 = (1, 0).


El conjunto C de los nmeros complejos no es sino R2 , en donde se ha denido
un producto. Esta presentacin de los nmeros complejos se debe directamente
a K. F. Gauss y fue, en su momento, el primer tratamiento riguroso de esta clase
de nmeros. Es por tanto un R espacio vectorial donde para R:

z := (, 0) (a, b) = (a, b).

Como los complejos {(a, 0) : a R} constityen una copia de R es costumbre


escribir a en lugar de (a, 0). Bajo esta observacin se tiene.
Proposicin 1.19. Todo complejo z se escribe en la forma:

z = a + bi. (1.2)
1.2. LOS NMEROS COMPLEJOS 9

Se conoce a i como la unidad imaginaria. Siendo 1 = (1, 0) resulta que


i son las soluciones de la ecuacin (1.1).

Denicin 1.20. Para z = (a, b) = a + bi C se conocen a a, b como las partes


real e imaginaria de z, y se denotan:

a = z, b = z.

Anlogamente se designa por:


z = a bi
el complejo conjugado de z.
Sigue ahora una obviedad.

Proposicin 1.21. Dados z1 , z2 C se tiene:

z1 = z2 (z1 = z2 & z1 = z2 ).

A continuacin, un grupo de propiedades bsicas.

Proposicin 1.22. Sean z, w C entonces:

1. z = z .
2. z + w = z + w.
3. zw = z w.
z + z z z
4. z = , z = .
2 2i
5. z z R+ , z z = 0 z = 0.
Ejercicio 1.3. Un polinomio de coecientes complejos se dene como p(z) =
n
k C. Prubese que es raz de p si y slo si es
k
k=0 ank z , donde los a n k
raz del polinomio p(z) = k=0 ank z . Demostrar asimismo lo siguiente:
i) Si p(z) tiene coecientes reales  raz raz.
ii) Si p(z) tiene coecientes reales y grado impar entonces admite al menos una
raz real.

Denicin 1.23. Dados z, w C se dene su producto escalar como:

z, w = (z w),

por lo tanto, el mdulo de un complejo z (su norma eucldea) se dene



|z| = z z.

Proposicin 1.24. Sean z, w C entonces:

1. |z| 0 y |z| = 0 z = 0.
2. |z| = |z|.
10 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

3. |zw| = |z||w|.

4. |z| |z|, |z| |z|.

5. |z + w| |z| + |w|.

6. |z w|2 = |z|2 + |w|2 2z w.

La Proposicin 1.24 introduce la distancia eucldea en C y la principal con-


clusin es que la topologa de C es la de R2 con la norma eucldea. Desde este
punto de vista damos ipso facto sentido a todas las posibles cuestiones de con-
vergencia en C (sucesiones, series, lmites, continuidad, compacidad, conexin,
etc). No obstante, detallaremos algunos aspectos ms adelante.

Denicin 1.25. Dados z, w C la distancia eucldea entre ambos se dene


como:
dist(z, w) = |z w|.
Representaremos la bola (usaremos tambin el trmino disco) abierta como:

D(z0 , r) = {z : |z z0 | < r}.

Abreviaremos D = D(0, 1) el disco unidad. Asimismo

D(z0 , r) = {z : |z z0 | = r}.

designar la frontera de D(z0 , r).

Observacin 1.4. En todo espacio mtrico se pueden elegir una innidad de


mtricas equivalentes. En su momento consideraremos mtricas alternativas a
la eucldea.

1.3. El argumento
Se prueba en el Apndice que la aplicacin:

h: R D
7 cos + i sen

es sobreyectiva. Es ms, su restriccin h0 a [0, 2) es biyectiva y es por ello que


dado z = 0 existe un nico [0, 2) tal que

z = |z| cos + i|z| sen , (1.3)

que es la representacin trigonomtrica de z con [0, 2). Por otra parte, h es


2 -peridica y la restriccin h de h a cualquier intervalo [, 2 + ) tambin es
biyectiva con lo que hay una nica respresentacin en la forma (1.3) siempre que
se restrinja a variar en un intervalo de longitud total 2 de la forma [, 2 + ).
En otras palabras, para z C \ {0} se tiene que:
1.3. EL ARGUMENTO 11

jado R existe un nico [, + 2) tal que (1.3) se cumple.

todos los dems R para los que (1.3) se cumplen son necesariamente
de la forma
= + 2k,
para algn k Z.
Segn se indica en el Apndice y tras la oportuna denicin de la funcin
exponencial compleja (cf. Captulo III) se satisface la frmula de Euler:

ei = cos + i sen .

Quienes preeran esperar hasta el Captulo III pueden usar h() en lugar de ei .
Las propiedades fundamentales que emplearemos:

h(t + s) = h(t)h(s), h(0) = 1, h(/2) = i,

se demuestran en el apndice y son coherentes con la notacin exponencial.


Por tanto
z = |z|ei (1.4)

es lo que se conoce como la representacin exponencial de z.


A los efectos del presente curso nos interesa conocer la dependencia en z de
los diversos valores de sealados en las relaciones (1.3) y (1.4). Se les conoce
como los argumentos de z. Pondremos cuidado en diferenciar los argumentos
como meros valores de que cumplen (1.3) o (1.4) para un z jado, del concep-
to de funcin argumento, adelantando que es posible elegir innitas de tales
funciones.

Denicin 1.26. Un argumento de z C\{0} es todo valor de que da validez


arg z al nico
a cualquiera de las expresiones (1.3) o (1.4). Representaremos por
[0, 2), mientras que llamaremos argumento principal Arg z al nico
de tales
(, ].
Para un complejo dado z (siempre que se hable de argumentos se entender
z = 0) todos sus argumentos se pueden representar en la forma:

{arg z + 2k : k Z}.

Proposicin 1.27. Dados z1 , z2 C, z1 = z2 si y slo si:

|z1 | = |z2 | & arg z1 = arg z2 .

Proposicin 1.28. Sean z, z1 , z2 complejos con argumentos , 1 , 2 y mdulos


, 1 , 2 entonces:

1
1. z = ei , = 1 ei
z
z1 1
2. z1 z2 = 1 2 ei(1 +2 ) , = ei(1 2 ) .
z2 2
12 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

3. Para nN se tiene (frmula de d'Moivre):

z n = n ein = n (cos n + i sen n).

z1
Obsrve que no es cierto que arg z1 z2 = arg z1 + arg z2 o arg = arg z1
z2
arg z2 . Las relaciones correctas son:

z1
arg z1 z2 = arg z1 + arg z2 (mod 2), arg = arg z1 arg z2 (mod 2).
z2
A los efectos de las deniciones que siguen, para R, h designa la res-
triccin de h al intervalo [, + 2), = {th( ) : t 0} la semirrecta cerrada
desde 0 a con direccin h( ) = C \  el plano C cortado a lo largo
de .

Proposicin 1.29. Para R se dene la funcin:

arg : C \ {0} [, (
+ 2) )
1 z
z 7 h .
|z|

Se satisfacen entonces las siguientes propiedades.

1) Para cada z , arg z es un argumento de z:

z = |z|ei arg z . (1.5)

2) arg es continua en mientras es discontinua en cada uno de los puntos de


. Ms an, arg es C en con:
x y
(arg )x = , (arg )y = .
|z|2 |z|2

3) arg +2k = arg +2k .


4) Para [0, 2) se tiene:
{
arg z arg z < 2
arg z =
arg z + 2 0 arg z < .

Observacin 1.5. Las propiedades 3), 4) permiten expresar arg en trminos de


arg. En efecto todo se escribe = + 2k para un nico [0, 2). Por
tanto: {
arg z + 2k arg z < 2
arg z =
arg z + 2(k + 1) 0 arg z < .

Demostracin de la Proposicin 1.29. Que arg es continua en y se cumple


la identidad (1.5) es consecuencia de la denicin de dicha funcin. La discon-

tinuidad en se razona as: existen n h( ), n h( ), |n | = |n | = 1,
1.3. EL ARGUMENTO 13

lm arg (n ) = , lm arg (n ) = + 2 . Si z , z = th( ) = lm tn = lm tn


de donde se concluye la discontinuidad.
La regularidad es ms delicada y requiere un razonamiento ad hoc. Ha-
cemos una construccin explcita de la funcin arg z . Denimos Arctag x la
rama de la funcin arcotangente que toma valores en el intervalo [/2, /2].
Entonces:
z
Arctag
z z 0, z >0



2

z = 0, z >0
z
arg z = Arctag + z <0


z

3
z = 0, z <0

2
Arctag z
+ 2 z > 0, z < 0.
z

Un anlisis cuidadoso revela que arg z tiene esa expresin y que arg z es C en
C \ {0}.
La propiedad 3) sigue del hecho de que arg z + 2k es un argumento de z
en el intervalo [ + 2k, + 2(k + 1)). Anlogamente, el lado derecho de 4) es
un argumento en el intervalo [, + 2).

Ejercicio 1.4. Para 0 1 < 2 < 2 comprense las funciones argj , j = 1, 2.


Solucin. arg2 arg1 = 0 para 2 arg2 z < 1 + 2 , arg2 arg1 = 2 si
1 arg z < 2 .

Ejercicio 1.5. Sean 1 , 2 arbitrarios. Haciendo uso de los valores j comp-


rense las funciones argj , j = 1, 2.

Hemos empleado el trmino argumento de z para designar un valor tal que


ei = z/|z|. Luego hemos denido funciones = (z) que, continuas en dominios
especiales", asignan a cada z en dichos dominios un valor que es un argumento
de z . Esta ltima acepcin puede extenderse a una nocin ligeramente ms
amplia de funcin argumento.

Denicin 1.30. Sean C \ {0} un abierto conexo y g C(, R). Se dice


que (g, ) es una determinacin (o una rama) de la funcin argumento (en
) si
eig(z) = z/|z|
para cada z .

Consecuencia inmediata de la continuidad y la conexidad en la denicin es


la siguiente propiedad.

Proposicin 1.31. Sean (g1 , 1 ), (g2 , 2 ) determinaciones del argumento. En-


tonces:
g2 = g1 + 2k
para cierto entero k, en cada componente conexa de la interseccin 1 2 . En
particular, g1 , g2 dieren en un mltiplo entero de 2 si 1 = 2 .
14 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

1.4. Races n-simas


Para zC la ecuacin
wn = z,
admite exactamente n soluciones distintas:
arg z+2k
wk = n
|z|ei n , 0 k n 1.
Tales expresiones denen las n races nsimas de z . Usando la identicacin de
C con R2 , w0 , . . . , wn1
conforman un polgono regular de n lados inscrito en la
circunferencia de radio
n
|z|. De hecho, y de acuerdo a la denicin que damos
un poco ms abajo:

2
(wk , wk+1 ) = , k = 0, . . . , n 1,
n
donde ponemos wn = w0 .
Proposicin 1.32. Sea fk (z), fk : C C la funcin que asigna a cada z su
k -sima raz. Entonces fk es continua en C\{x > 0} siendo su conjunto imagen
2k 2(k + 1)
el sector { arg z < }.
n n
Observacin 1.6. Las races n-simas pueden indistintamente expresarse me-
diante cualquier determinacin del argumento. Por ejemplo:
arg z+2k
k = n
|z|ei n , 0 k n 1.
En partcular, se conoce como rama principal de la raz n-sima o funcin
parte principal de la raz n-sima a la aplicacin
Arg z
f (z) = n
|z|ei n .

1.5. Funciones complejas


Denicin 1.33. Una funcin compleja f de variable compleja es toda aplica-
cin f : A C C. A es su dominio, f (A) su conjunto imagen.
Con frecuencia representaremos tales funciones en forma abreviada como
w = f (z). Poniendo
f (z) = u + iv
es decir u = f , v = f , toda funcin compleja f equivale a una aplicacin de
R2 es s mismo de la forma:

F : A R2 R2
(x, y) 7 F (x, y) = (u(x, y), v(x, y)).
No obstante y como norma general evitaremos en lo posible apelar a la forma
real F de las funciones que usaremos en el curso. Esta poltica es por otra parte
ventajosa para muchos de los clculos que afrontaremos, en especial, aquellos en
donde, por poner un ejemplo, el producto de complejos juega un papel relevante.
1.5. FUNCIONES COMPLEJAS 15

Ejemplos 1.7.

1) La funcin lineal afn:

f (z) = az + b, a, b C.

2) Polinomios:


n
p(z) = ank z k = a0 z n + + an , aj C.
k=0

3) Funciones (transformaciones) bilineales:

az + b
f (z) = , a, b, c, d C.
cz + d

4) Funciones racionales:

n
p(z) ank z k a0 z n + + an
f (z) = = k=0
m = .
q(z) l=0 bml z
l b0 z m + + bm

5) Ramas de la raz n-sima. Usando el argumento principal:

Arg z+2k
fk (z) = n
|z|ei n , k = 0, . . . , n 1.

En el caso de la raz cuadrada stas son f0 (z) y f1 (z) = f0 (z) donde


f0 (z) = |z|eiArg z/2

= |z| (cos Arg z/2 + i sen Arg z/2)
( )
|z| + x |z| x
= |z| + i signo y
2|z| 2|z|
1 ( )
= |z| + x + i signo y |z| x .
2

Las funciones complejas elementales al denir funciones del plano en s mismo


pueden interpretarse como transformaciones geomtricas. Introducimos primero
una denicin.

Denicin 1.34. Dados z1 , z2 C el ngulo orientado de z1 a z2 se dene


como:
z2
(z1 , z2 ) = arg [0, 2).
z1
Nuestra denicin de ngulo orientado diere de la eucldea convencional.
Por denicin
z2
(z1 , z2 ) = arg = t,
z1
16 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

z2
con = h(t) = h(t), donde para cada t R, t designa al nico nmero real
z1
que satisface las relaciones t = t + 2k y t [0, 2). Como se tiene que

t = 2 t,
z1
mientras = h(t) = h(t) resulta que:
z2

(z2 , z1 ) = 2 (z1 , z2 ).

Como era de esperar (z2 , z1 ) es el opuesto de (z1 , z2 ).

Observaciones 1.8.

1) Se comprueba que:

(z1 , z2 ) = arg z2 arg z1 (mod 2),

pudindose reemplazar en dicha expresin arg z por arg z .


2) (1, z) = arg z , (z, 1) = 2 arg z .

Denicin 1.35. Se dice que la aplicacin f : C C es un giro de centro z0


y ngulo [0, 2) si 1) f (z0 ) = z0 , 2) |f (z) z0 | = |z z0 | y

(z z0 , f (z) z0 ) = ,

para cada z = z0 .

Ejercicio 1.6. Hallar la expresin de f (z) en la denicin precedente.

Sean1 , 2 dos curvas de clase C 1 parametrizadas por sendas parametriza-


ciones j : [a, b] C, t 7 j (t) = xj (t)+iyj (t), j = 1, 2, con vectores tangentes

en t [a, b] dados por j (t) = xj (t) + iyj (t). La propia denicin de curva C
1

requiere que j (t) = 0 para todo t [a, b] (ver tambin el Captulo V).
1
Si dos curvas C inciden en un punto z0 se dene el ngulo orientado de 1
a 2 en z0 como:

(1 (t0,1 ), 2 (t0,2 )),


donde z0 = j (t0,j ), j = 1, 2. La no depende de las parametrizaciones.

Ejercicio 1.7. Sean j : [c, d] C, j = 1, 2, parametrizaciones alternativas de


las curvas 1 , 2 es decir j (s) = j (hj (s)) con hj : [c, d] [a, b] de clase C ,
1

hj (s) = 0 para todo s [c, d], j = 1, 2. Suponiendo que 1 , 2 inciden en z0 y
que t0,j = hj (s0,j ), j = 1, 2, prubese que la denicin precedente de ngulo no
depende de si se usan las parametrizaciones j o j .

La que sigue es una nocin importante para la interpretacin geomtrica de


las funciones complejas que son derivables (segn veremos ms tarde).
1.5. FUNCIONES COMPLEJAS 17

Denicin 1.36. Sean R un abierto y F : R , F (x, y) = (u(x, y), v(x, y))


2 2
1
una funcin de clase C . Se dice que F es conforme si es inyectiva, el jacobiano
(u,v)
(x,y) no se anula en ningn punto y F preserva el ngulo orientado de las
curvas incidentes, es decir:

(F (1 )), F (2 )) = (1 , 2 ).

Ejemplos 1.9. 1. Traslaciones. La funcin f (z) = z + a, a C representa


una traslacin de vector a C.

2. Homotecias. Para a > 0 la funcin f (z) = az representa una homotecia


de razn a (centro z = 0).

3. Giros. La funcin f (z) = ei z constituye un giro de centro z=0 y ngulo


segn comprobamos ahora. En efecto:

|w| = |z|,

para w = ei z luego w dista lo mismo que z del origen. Por otro lado:

(z, w) = (z, ei z) =

que informa que el ngulo de z a w es , lo que signica que hemos dado


un giro de grados alrededor del origen. Debe observarse la diferencia
entre >0 y < 0. Ntese que si > 0:

(z, ei z) = 2

y el resultado es como si hubisemos girado alrededor del origen (ver


el Ejercicio 1.8).

4. Movimientos rgidos. La funcion f (z) = az + b, con a, b C, |a| = 1,


comprende a los movimientos rgidos del plano (traslaciones y giros).

5. Si a = |a|ei la funcin f (z) = az representa un giro seguido de una


homotecia de razn |a|. Por tanto la funcin f (z) = az +b, a, b, comprende
a todas las semejanzas (giros, traslaciones y homotecias).

6. Simetra axial. La funcin conjugado f (z) = z representa una simetra


axial con respecto al eje real. Obsrvese que esta transformacin invierte
la orientacin en el sentido siguiente:

(z1 , z2 ) = 2 (z1 , z2 ) = (z2 , z1 ).

7. Inversin. Una inversin de polo z=0 y potencia k>0 es la transforma-


cin z w en la que w est en la misma semirrecta que 0 y z , cumpliendo
|z||w| = k . Por tanto:
k
w= .
z
18 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

Las inversiones transforman: rectas que pasan por el polo en si mismas,


rectas que no pasan por el polo en circunferencias que pasan por el polo,
circunferencias que pasan por el polo en rectas que no pasan por el polo y
circunferencias que no pasan por el polo en circunferencias que tampoco
pasan por el polo (Ejercicio 1.13). Por otro lado son involutivas en el sen-
tido de aplicadas dos veces dan lugar a la identidad. Obsrvese nalmente
que la funcin
1
f (z) = ,
z
equivale a aplicar una inversn de razn 1 seguida de una simetra axial.

az + b
8. Transformaciones bilineales T (z) = . Comprenden a todas las an-
cz + d
teriores. Se estudian en la siguiente seccin.

1
Proposicin 1.37. Las funciones f (z) = az + b y f (z) = denen transfor-
z
maciones conformes en sus dominios de denicin.

Ejercicio 1.8. Hllense las ecuaciones reales de la transformacin w = ei z


probando que denen una transformacin ortogonal que preserva la orientacin
del espacio eucldeo R . Constituye un giro de grados segn la terminologa
2

eucldea.

Ejercicio 1.9. Hllense las funciones que representan las siguientes transforma-
ciones geomtricas:

a) Homotecia de centro z0 y razn a > 0.


b) Giro de centro z0 y ngulo .
c) Simetra axial con respecto a la recta que pasa por un punto z0 y tiene la
i
direccin del complejo e 0 .

d) Inversin de polo z0 y potencia k > 0.


Ejercicio 1.10. Probar que
( )
za
= 0, a, b C, b = 0,
b
dene la ecuacin general de una recta. Deducir que
( )
za
= 0, a, b C, b = 0,
b
tambin constituye la ecuacin de la recta (ver el Ejercicio 22).

Ejercicio 1.11. Deducir la ecuacin de una circunferencia en versin compleja.


Estdiense las condiciones bajo las que:

|z|2 + 2z + d = 0 (d, C)
o bien
|z|2 + 2z + d = 0 (d, C)
constituyen la ecuacin de una circunferencia (vase el Ejercicio 24).
1.6. TRANSFORMACIONES BILINEALES. 1A NOTA 19

Ejercicio 1.12. Prubese que toda semejanza f (z) = cz + d, c, d C transforma


rectas en rectas y circunferencias en circunferencias.

Ejercicio 1.13. Prubense las propiedades de las inversiones listadas en el apar-


tado 7.

1.6. Transformaciones bilineales. 1a nota


Tambin conocidas como transformaciones de Mbius. Estn denidas por
las funciones:
az + b
f (z) = , a, b, c, d C,
cz + d
donde, para obviar casos triviales, se supone que := ab cd = 0. Si c = 0
tenemos una semejanza luego si c = 0:

f (z) = f3 f2 f1 (z),

donde f1 (z) = cz + d, f2 (z) = 1/z , f3 (z) = a1 z + b1 , a1 = c2 , b1 = ac1 .


Como compendio de todas las transformaciones anteriores f aplica rectas o cir-
cunferencias en rectas o circunferencias. Veremos en el Captulo IV que, como
consecuencia de la derivabilidad, las transformaciones bilineales denen trans-
formaciones conformes preservando el ngulo orientado entre curvas incidentes.
El Ejercicio 32 propone una prueba directa de este hecho (ver tambin la Seccin
2.1 del Captulo II).
Bajo la condicin = 0que siempre supondremos el conjunto M de las
transformaciones bilieales conforma un grupo. Por ejemplo,

dz c
f 1 (z) = .
bz + a
Si denotamos por GL2 el grupo de las matrices complejas e invertibles 22 la
transformacin : GL2 M denida por (A) = f , con
( )
a b
A=
c d

es un homomorsmo de grupos (sobreyectivo). Adems (Ejericicio 28) (A) =


(B) si y slo si A = B para algn C. La restriccin de a las matrices
A con detA = 1 es todava sobreyectiva (Ejercicio 29).
20 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

1.7. Apnice: una revisin de trigonometra


Se sabe que el problema de Cauchy:

2

d u + u = 0 ( )
dt2 d
= (1.6)

u(t ) = u , dt
0 0 u (t0 ) = u0 ,

admite, para t0 , u0 , u0 R arbitrarios una nica solucin u = u(t) que es de
clase C y est denida en R. Ms an, si u = f (t) es la solucin correspondiente
2

a (t0 , u0 , u0 ) = (0, 1, 0), y u = g(t) es la solucin asociada a (t0 , u0 , u0 ) = (0, 0, 1)
entonces tal solucin se puede representar en la forma:

u(t) = u0 f (t t0 ) + u0 g(t t0 ).

Estas armaciones son consecuencia inmediata de la teora general de ecuaciones


diferenciales ordinarias. No obstante, con un poco de paciencia se puede dar una
demostracin directa de las mismas.
La idea clave es que toda solucin cumple:

u + u2 = constante.
2

En efecto, basta multiplicar por u la ecuacin e integrar. De ah se sigue la


unicidad de soluciones de (1.6). La unicidad dice a su vez que la existencia se
reduce a resolver los dos problemas particulares (1.6) que dan lugar a f (t) y
g(t), a saber:

{ {
u + u = 0 u + u = 0
u(0) = 1, u (0) = 0 u(0) = 0, u (0) = 1,

respectivamente.
Para determinar g se observa que:

g + g 2 = 1,
2
(1.7)

mientras g(t) se dene como la inversa de la funcin :


1

u
ds
G(u) = 1 < u < 1,
0 1 s2

en el intervalo /2 t /2 donde, por denicin,

1
ds
:= 2 . (1.8)
0 1 s2
1 Una interesante idea debida al matemtico noruego Neils H. Abel. ste la uso para pre-
sentar las funciones eltpicas como una generalizacin de las funciones circulares.
1.7. APNICE: UNA REVISIN DE TRIGONOMETRA 21

A continuacin, g se extiende al intervalo /2 t 3/2 mediante reexin:

g(t) := g( t) /2 t 3/2.

Finalmente, se extiende a todo R como una funcin 2 -peridica. El resultado


g
es una funcin C 2 que resuelve (1.6) para los datos t0 = 0, u0 = 0, u0 = 1. Usan-

do la ecuacin se ve que g es de clase C y que todas sus derivadas satisfacen
la misma ecuacin diferencial. Esto completa la demostracin anunciada.

Proposicin 1.38. Se satisfacen las siguientes propiedades.

1. g creciente en [/2, /2] y decreciente en [/2, 3/2].

2. f = g , g = f , por tanto f tambin es C y 2 -peridica. En particular:


( ) ()
f = 0, g = 1.
2 2

3. f 2 + g2 = 1

4. f (t) = f (t), g(t) = g(t).

5. f (t s) = f (t)f (s) g(t)g(s).

6. g(t s) = g(t)f (s) f (f )g(s).

Observacin 1.10. Se siguen de la proposicin todas las relaciones trigonom-


tricas clsicas. Por ejemplo:


f( t) = g(t), g( t) = f (t).
2 2
Tambin
f (t + ) = f (t), g(t + ) = g(t).
Por otra parte:

f (2t) = f (t)2 g(t)2 , g(2t) = 2f (t)g(t).

Y as sucesivamente.

Demostracin de la Proposicin 1.38. 1) se sigue de la denicin. Obsrvese que




|g(t)| 1
y que g = 1 g 2 en [/2, /2].
Para 2) usamos u = g como candidato a solucin de (1.6) con (t0 , u0 , u0 ) =
(0, 1, 0). La unicidad de soluciones de (1.6) da u = f. Que g(/2) = 1 se deduce
de (1.8).
La relacin 3) (y en particular f (/2) = 0) se sigue de (1.7).
Para la primera de 5) basta observar que u1 (t) = f (t+s) y u2 (t) = f (t)f (s)
g(t)g(s) son soluciones del mismo problema (1.8).

Refrescando el teorema de Taylor se prueba el siguiente resultado.


22 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

Teorema 1.39. Las funciones f y g son de clase C en R. Ms an:


(1)n 2n (1)n 2n+1
f (t) = t , g(t) = t , (1.9)
n=0
2n! n=0
(2n + 1)!

para cada t R.

En virtud de todo lo expuesto se tiene la siguiente denicin.

Denicin 1.40. La funcin f (t) se deignar con la terminologa clsica f (t) =


cos t, mientras denotaremos g(t) = sen t.

Las funciones coseno y seno se denominan funciones circulares, terminologa


que se explica porque tales funciones parametrizan el crculo D.

Proposicin 1.41. Se dene la aplicacin:

h: R D
t 7 h(t) := cos t + i sen t.

Entonces:

i) h satisface:
h(t + s) = h(t)h(s)
para todo t, s R. Adems
h(t) = h(s)
si y slo si t = s + 2k para algn k Z.
ii) h es sobreyectiva.

iii) La restriccin de h a [0, 2) es biyectiva.

iv) h : (0, 2) D \ {1} es un homeomorsmo.

v) La restriccin de h a cualquier intervalo de la forma [, + 2) es biyectiva.

vi) Para todo R, h : (, + 2) D \ {h( )} es un homeomorsmo.

Demostracin. i) sigue de la Proposicin 1.38. Por otra parte si h(t) = h(s) es


porque h(t s) = 1 t s = 2k , k Z.
de donde
En cuanto a ii), sean 1 , . . . , 4 la interseccin de D con los cuatro cuadran-
tes cerrados. Las aplicaciones gj : 1 j , j = 2, 3, 4, g2 (z) = iz , g3 (z) = z ,
g4 (z) = iz denen homeomorsmos. Asimismo, armamos que h : J1 1 ,
J1 = [0, /2], es un homeomorsmo. Esto implica que las restricciones de h a los
intervalos J1 = [/2, ], J2 = [, 3/2], J3 = [3/2, 2] denen homeomorsmos
sobre 2 , 3 y 4 , respectivamente. En efecto,

h(t) = ih(t /2) t J2


h(t) = h(t ) t J3
h(t) = ih(t 3/2) t J4 ,
1.7. APNICE: UNA REVISIN DE TRIGONOMETRA 23

Lo que prueba la segunda armacin. En particular, las restricciones de h a los


Jj = Jj \ {bj }, j = 1, . . . , 4, bj el extremo superior de Jj , es biyectiva.
intervalos

Como D = j h(Jj ) esto muestra que h es biyectiva de [0, 2) en D . Esto es
la prueba de iii).
Vamos con la primera de las armaciones precedentes. Tenemos que las fun-

ciones f : J1 = [0, /2] [0, 1] y F : [0, 1] 1 denida x 7 (x, 1 x2 )
son homeomorsmos. Como h = F f resulta que h : J1 1 tembin es un
homeomorsmo. Finalmente (iv)) como la restriccin de h a los intervalos Jj es
un homeorsmo sobre su imagen, se desprende fcilmente que la restriccin de
h a (0, 2) lo es. En efecto zn z en D \ {1} signica que zn z en alguno
de los j salvo que z Gj Gl en cuyo caso el razonamiento para probar que
h1 (zn ) h1 (z) es similar.
Para v) y vi) ponemos J = [0, 2], T : J + { } J la funcin s s ,
P : D D la aplicacin z h( )z . La restriccin h de h a J + { } se
escribe h = P h T . Siendo P, T homeomorsmos se concluyen v) y vi) de
forma inmediata.

Ms adelante, en el Captulo III introduciremos la funcin exponencial como:


zn
ez = ,
n=0
n!

y, entre otras cosas, no resulta difcil probar que la serie es convergente para
todo z C. Usando la funcin exponencial se prueba va las series (1.9) la
siguiente propiedad.

Proposicin 1.42 (Frmula de Euler) . Se tiene:

eit = cos t + i sen t,

para cada t R.
Demostracin. Basta sustituir z = it en la expresin en serie para ez .
24 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

1.8. Ejercicios
1. Sea S 1 = {z : |z| = 1}. Probar que S1 es un grupo respecto del producto.

2. Probar que no es posible dotar a C de una relacin de orden ""que haga


de (C, ) un cuerpo ordenado.

3. Hallar las partes reales e imaginarias de:

( )3
1 za 3 + 5i 1 + i 3
, (a R), z3, , ,
z z+a 7i + 1 2
( )6 ( )n
1 i 3 1+i
, i ,n
2 n 8.
2 2

4. Hallar |z|, z en cada uno de los casos siguientes:

3i i
2 + i, 3, (2 + i)(4 + i), , , (1 + i)6 , i17 .
2 + 3i i+3

5. Probar que z es real si y slo si z = z .


6. Hallar x, y en las relaciones:


100
a) z = |z|, b) z = (z)2 , c) z = ik .
k=0

7. Probar (identidad del paralelogramo):

|z + w|2 + |z w|2 = 2(|z|2 + |w|2 ).

8. Sea R(z) una funcin racional de z de coecientes reales. Probar que


R(z) = R(z). Si p(z) es un polinomio de coecientes reales demostrar
que z es raz de p si y slo si z es una raz.

9. (Races cuadradas). Resolver en x, y la ecuacin:

(x + iy)2 = a + bi, a, b R,

probando que siempre admite dos soluciones. Para , , C discutir la


existencia de races de la ecuacin de segundo grado:

z 2 + z + = 0.

Como aplicacin hallar:



8 + 6i,
y las soluciones de la ecuacin:

z2 + 32iz 6i = 0.
1.8. EJERCICIOS 25

10. Probar la validez de la frmula del binomio de Newton:

n ( )
n
(a + b) = n
ak bnk , a, b C.
k
k=0

Hallar z, z para z = (a + bi)6 .

11. Prubense las siguientes frmulas del ngulo mltiple:

( ) ( )
n n
cos n = cos n
cos n2 2
sen + cosn4 sen4 + ,
2 4
( ) ( )
n n
sen n = cosn1
sen cosn3 sen3 + .
1 3

12. Prubese que max{z, z} |z| |z|+|z|. Cundo se da la igualdad?

13. Para z = x + iy explicar la relacin entre Arg z y arctag (y/x).

14. Prubese que 2Arg (z + 1) = Arg z en |z| = 1, z = 1.



15. Hllense las ramas principales de z y de 1 z .

16. Halar un dominio G y funciones continuas f, g tales que f (z)2 = g(z)2 =


1 z 2 . Estudiar si el dominio G obtenido es maximal.

17. Resolver:

z 6 = 1, z 4 = 1, z 4 = 1 + 3i.

18. Probar que las races n-simas z de la unidad, z = 1, cumplen:

z n1 + z n2 + + z + 1 = 0.

19. Probar que en un polgono regular de n lados inscrito en la circunferencia


|z| = 1, el producto de las n1 diagonales que parten de un vrtice dado
(contando los lados adyacentes) es n.
Indicacin. Usar el problema anterior suponiendo que el vrtice es la uni-
dad.

20. Descrbanse los siguientes lugares geomtricos:

a) |z i| 1
1
z 1 e) = z

b) =1 z
z + 1 f ) |z|2 = z
c) |z 2| > |z 3|
g) |z 2 1| < 1.
d) |z| < 1, z > 0,
26 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

21. Prubese que |z a| = |z b| (respectivamente, |z a| > |z b|) es,


para a, b C, la ecuacin general de una recta (respectivamente, de un
semiplano).

22. Para a, b C, b = 0, qu objeto geomtrico es

( )
za
> 0?
b

23. Cundo representa una recta del plano la ecuacin:

az + bz + c = 0, a, b, c C?

24. Supongamos a, c reales, a = 0 y b C. Prubese que

az z + bz + bz + c = 0,

es la ecuacin de una circunferencia del plano.

25. (Cuaterniones de Hamilton). Denimos:

Q = {(a, b, c, d) : a, b, c, d R},

representando los vectores de la base cannica {ei } como {1, i, j, k} de


forma que:
z = (a, b, c, d) = a 1 + b i + c j + d k,
con   el producto de un escalar por un vector, smbolo que omitiremos
en lo que sigue para escribir a+bi+cj +dk . Se consideran la suma habitual
+ de vectores y el producto que se dene a travs de las relaciones:

1x = x, x {1, i, j, k}, i2 = j 2 = k 2 = 1,

ij = k, ki = j, jk = i, ji = k, ik = j, kj = i.
El producto a z1 , z2 se determina entonces usando formalmente las pro-
piedades asociativa y distributiva.

a) Hllese la expresin del producto (a + bi + cj + dk)(a + b i + c j + d k)

b) Prubese que (Q, +, .) es un cuerpo no conmutativo. Se conoce a Q como


los cuaterniones. Para z = a + bi + cj + dk , a se dene como la parte
escalar del cuaternin z , bi + cj + dk la parte vectorial.

c) Dse una interpretacin geomtrica de la parte escalar y la parte vectorial


del producto
(bi + cj + dk)(b i + c j + d k)
de dos cuaterniones sin parte escalar.
1.8. EJERCICIOS 27

26. Prubese que si f :CC es C-lineal entonces existe = + i tal que


f (z) = z . Demustrese que f
induce una aplicacin lineal fR : R2 R2
en la base cannica de R .
2
calculando su matriz A

27. Sea f : R2 R2 una aplicacin lineal de matriz A = (akl ), fC : C


C la correspondiente aplicacin asociada. Dnse condiciones necesarias
y sucientes para que fC sea asimismo C-lineal (ecuaciones de Cauchy-
Riemann).
( ) ( )
a b a1 b1 az + b
28. Sean A = , A1 = M22 (C), T (z) = , T1 (z) =
c d c1 d1 cz + d
a1 z + b1
las correspondientes aplicaciones bilineales asociadas. Prubese
c 1 z + d1
que T = T1 si y slo si A1 = A para algn C.

29. Sean { ( ) }
a b
SL2 = A= M22 (C) : det A = 1 ,
c d
az + b
M = {T (z) = : ad bc = 0},
cz + d
con : SL2 M, la aplicacin natural A 7 T . Prubese que es
sobreyectivo.

30. Una curva C C de clase C 1 se dene como C = {(t) : t [a, b]} donde
: [a, b] C es C 1 y (t) = 0 para todo t. Si z0 = (t0 ), v = (t0 ) = 0
se dice que v C es el vector tangente a C en z0 correspondiente a la
parametrizacin .

Si C1 , C2 inciden en z0 , con vectores tangentes v1 , v2 C asociados a


sendas parametrizaciones 1 , 2 , se dice que C1 , C2 se cortan con ngulo:
v2
= (v1 , v2 ) = arg .
v1

a) Prubese que si f (z) = az +b, y las curvas C1 , C2 inciden en z0 con ngulo


, entonces las curvas Ci = f (Ci ), i = 1, 2, inciden en f (z0 ) con ngulo .

b) Prubese que si f (z) = az + b, C1 , C2 inciden en z0 con ngulo , ahora



las curvas Ci = f (Ci ), i = 1, 2, inciden en f (z0 ) con ngulo 2 .

31. Se considera la funcin f (z) = z 2 = u + iv . Prubese que para cada par


de constantes c1 , c2 , c1 c2 = 0, las curvas:

u(x, y) = c1 , v(x, y) = c2 ,
1
se cortan ortogonalmente. Prubese por otra parte que (t) es C se tiene
(f ) (t) = 2(t) (t). Demutrese que f preserva el ngulo entre curvas
incidentes en C \ {0}. Qu sucede en z = 0?
28 CAPTULO 1. EL CUERPO DE LOS NMEROS COMPLEJOS

az + b
32. () Sean T (z) = y : [a, b] C una parametrizacin C 1 . Prubese
cz + d
que T ((t)) es tambin una parametrizacin C1 tal que:

ad bc
(T ) (t) = (t).
(cz + d)2

Demustrese que si C1 , C2 se cortan en z0 con un ngulo entonces


T (C1 ), T (C2 ) tambin se cortan en T (z0 ) formando ngulo .

1.9. Soluciones a los Ejercicios del Captulo I


CAPTULO 2

Continuidad y topologa en C

2.1. Convergencia y continuidad en C


Se introdujo en el Captulo I la distancia en C dada por:

dist(z1 , z2 ) = |z1 z2 |.

Proposicin 2.1. El espacio mtrico (C, d) es isomtricamente homeomorfo a


(R2 , d2 ) donde d2 es la distancia eucldea.

La proposicin arma que desde el punto de vista topolgico, C es el mismo


objeto que R2 . Algunas de las propiedades que siguen son consecuencia inme-
diata de este hecho.
Recordemos en particular que:

max{|z|, |z|} |z| |z| + |z|.

Proposicin 2.2. Se satisfacen las siguientes propiedades:

1) Si {zn } es una sucesin en C entonces

lm zn = z

si y slo si
lm zn = z lm zn = z.

2){zn } es de Cauchy (vase la Seccin 2.2) si y slo si {zn }, {zn } son de


Cauchy.

3) La sucecin {z1 + + zn } es convergente si y slo si lo son {z1 + + zn }


y {z1 + + zn } con:

lm z1 + + zn = lm z1 + + zn + i(lm z1 + + zn ).

29
30 CAPTULO 2. CONTINUIDAD Y TOPOLOGA EN C

4) Si : [a, b] C, (t) = 1 (t) + i2 (t), entonces continua en t0 si y slo si


1 , 2 son continuas en t0 . Ms an, si se dene

(t0 + h) (t0 )
(t0 ) = lm ,
h0 h
la derivada de en t0 , supuesto que el lmite exista, entonces es derivable en
t0 si y slo si 1 , 2 son derivables en t0 y

(t0 ) = 1 (t0 ) + i2 (t0 ).

Ejemplos 2.1.
in
1. lm n+i = i.
2. lm z n = 0 si |z| < 1 mientras z n no converge si |z| > 1 pues lm |z|n = . Si
|z| = 1 y z = 1 la sucesin z n nunca es convergente. En efecto, en ese caso:

|z n+1 z n | = |z 1|,
n
y z no puede cumplir la condicin de Cauchy. De hecho, se saben ms cosas
de esta aparentemente inofensiva sucesin. O bien el conjunto {z } es nito o
n

con /2 Q.
i
bien es innito. El primer caso queda caracterizado por z = e
n
El segundo caso en el que todos los valores de z son necesariamente distintos
entre s corresponde a /2 irracional y se puede demostrar que {z } es densa
n

en D.

Las deniciones de lmite y continuidad de funciones son consecuencia de la


topologa de C. Las detallamos por completitud.

Denicin 2.3. Sea f : D C C, z0 D (D el conjunto de puntos de


acumulacin de D) se dice que

lm f (z) =
zz0

si > 0, > 0 tal para cada 0 < |z z0 | < se cumple |f (z) | < .

Las propiedades habituales del lgebra de lmites no las enunciamos porme-


norizadamente pero ya estn implcitas en la Proposicin 2.8.
Una propiedad conocida es la siguiente.

Proposicin 2.4. Si f admite lmite cuando z z0 , f est acotada en un


entorno reducido {0 < |z z0 | < } D de z0 . Si = 0 entonces f no se anula
en un cierto entorno reducido de z0 .

Denicin 2.5. Sea f :DCC y supongamos que D D . Se dice que f


es continua en z0 si
lm f (z) = f (z0 ).
zz0

Si f es continua en todos los puntos de D se dir que f es continua en D.


2.1. CONVERGENCIA Y CONTINUIDAD EN C 31

Tpicamente los dominios D de nuestras funciones complejas f sern abiertos


o adherencias de abiertos as que D D .
Si f = u + iv y F = (u, v) es la aplicacin real F : D R2 R2 asociada a
f resulta obvio que:

Proposicin 2.6. f es continua en z0 si y slo si F es continua en z0 . Es decir


si y slo si u y v son continuas en z0 .

Merece la pena destacar que:

Proposicin 2.7. f es continua en z0 si y slo si f (zn ) f (z0 ) cualquiera


que sea la sucesin zn que converja a z0 .

Como ya se dijo, en funciones de variable compleja con frecuencia resulta


desastroso apelar a las partes real e imaginaria de f para probar propiedades.
A efectos de la continuidad y como en el caso real resulta de gran utilidad la
siguiente propiedad.

Proposicin 2.8. Sean f, g funciones complejas continuas en z0 . Entonces:

1) f + g es continua en z0 para , C arbitrarios.

2) f g es continua en z0 .
f
3) es continua en z0 si g(z0 ) = 0.
g
4) Si h es una funcin compleja que es continua en w0 = f (z0 ) entonces h
f (z) = h(f (z)) tambin es continua en z0 .

Ejemplos 2.2. Las funciones

1. f (z) = az + b
az + b
2. f (z) =
cz + d
3. f (z) = a0 z n + + an
a0 z n + + an
4. f (z) =
b0 z m + + bm
5. f (z) = z
6. f (z) = |z|
son continuas en sus dominios de denicin,

7. f (z) = arg z es continua en C \ , = {tei : 0},



8. f (z) = n z donde

n
z= n
|z|eiArg z/n
,
designa la rama principal de la raz n-sima, es continua en C \ {x < 0} y lo
mismo sucede con las restantes n1 arg en la denicin
ramas. Si usamos
entonces las n ramas f1 , . . . , fn son continuas en C\ , (C\{x > 0} si trabajamos
con arg z ).
32 CAPTULO 2. CONTINUIDAD Y TOPOLOGA EN C


Recordemos que con
n
z se designa la rama principal de la raz n-esima de
z.
1
Ejemplo 2.3. Sea : [a, b] C derivable en t0 con (t0 ), entonces es derivable

en t0 con derivada
( )
1 (t0 )
= .
(t0 )2
En efecto

1 1 1
lm { }
h0 h (t0 + h) (t0 )
1 (t0 + h) (t0 ) (t0 )
= lm = .
h0 (t0 + h)(t0 ) h (t0 )2

La siguiente denicin apenas tendr relevancia dentro del presente curso.

Denicin 2.9. Sea G C abierto y f = u + iv una funcin compleja denida


en G. Se dice f es C k en sentido real (1 k ) si u, v C k (G)
Ejemplos 2.4.

1. f (z) = z n = P (x, y) + iQ(x, y) donde P, Q son polinomios homogneos de



grado n. Por tanto f es C en sentido real y tanto polinomios p(z) como

cocientes de polinomios p(z)/q(z) son funciones C en sentido real (en sus
dominios de denicin).

2. La funcin (x, y) = arg (z) es C en sentido real en \ y

y x
x = , y = .
x2 + y 2 x2 + y 2

En particular
n
z es C en C2 \ {z 0}.

2.2. Series
Denicin 2.10. La sucesin zn es de Cauchy si para todo >0 existe n N
tal que |an am | < para n, m n .

Denicin 2.11. Dada la sucesin zn se dice que la serie n=1 zn converge y
tiene suma z si la sucesin Sn = z1 + + zn es convergente y tiene lmite z .
La serie es divergente si Sn no es convergente.

Teorema 2.12. La serie n=1 zn es convergente si y slo si para todo >0
existe n N tal que

m
| zk | <
k=n

para m n n . En particular, si n=1 zn converge entonces lm zn = 0.
2.3. CONEXIDAD 33


Proposicin
2.13. La serie n=1 zn es convergente si y slo si las series

n=1 zn y n=1 zn son convergentes. Adems:





zn = zn + zn .
n=1 n=1 n=1

Proposicin 2.14. Si la serie n=1 |zn | es convergente entonces la serie n=1 zn
tambin converge y



| zn | |zn |.
n=1 n=1

2.3. Conexidad
Los subconjuntos compactos y conexos de C son los de R2 con la topolga
usual. Merece la pena resaltar una propiedad til de conexidad.

Denicin 2.15. Dados z, w C el segmento [z, w] de extremos z, w se dene


como:
[z, w] = {tz + (1 t)w : t [0, 1]}.
Una poligonal de aC a bC es

= nk=1 [zk , wk ],

donde zk = wk1 , 2 k n, a = z1 , b = wn . Se dice en este caso que conecta


a con b.
En el presente curso llamaremos dominio o regin G a todo abierto conexo
de C. Se tiene la siguiente caracterizacin.

Proposicin 2.16. Un abierto GC es conexo si y slo si todo par de puntos


de G se pueden conectar mediante una poligonal .
La misma demostracin permite probar que la poligonal en la proposicin
anterior puede elegirse con todos los segmentos paralelos a uno de los ejes.
Recordemos ahora que siD C es un conjunto cualquiera, una componente
conexa C de D D. Las componentes de D
es toda parte conexa maximal de
siempre son cerradas en D y la familia Ci de las componentes de D conforman
una particin de D . Si D es abierto entonces se puede probar que sus compo-
nentes tambin son abiertas. Todas estas cuestiones forman parte de un curso
de topologa general y se recapitulan en [7] (ver [26]).

2.4. Compacticacin de C. Proyeccin de Stei-


ner
A muchos efectos conviene introducir en C el punto del innito. Esto se
puede hacer por dos vas. Una analtica, topolgica la otra. En ste ltimo caso
34 CAPTULO 2. CONTINUIDAD Y TOPOLOGA EN C

se trata de la compacticacin de Alexandro de C, en el primero de los lmites


innitos o en el innito que ahora introducimos.

Denicin 2.17. Se dice que:

lm zn =
si para todo M existe mN tal que |zn | > M para todo n m. Anlogamente:

lm f (z) = ,
zz0

si para M > 0 arbitrario existe tal que |f (z)| > M para 0 < |z z0 | < .
Finalmente:
lm f (z) = w
z
si para >0 arbitrario existe M con |f (z) w| < para |z| > M . Una mnima
modicacin de este ltimo caso permite extender la denicin al caso w = .
Una primera va para introducir el punto del innito consiste en identicar
cada z C con las sucesiones complejas zn tales quezn z (ver [13]). Esta
identicacin preserva las operaciones algebraicas de C. El punto del innito
es por denicin la clase de las sucesiones zn con lm zn = . El cuerpo
ampliado b
C consiste en C {}. Se tiene la

Proposicin 2.18. Sean zn , wn sucesiones complejas tales que lm zn = y


lm wn = w. Entonces

1. lm zn + wn = , incluso si lm wn = .
2. lm zn wn = si lm wn = 0, lm wn = incluido.
wn
3. lm = 0 si zn = 0.
zn
wn
4. lm = si un = 0, lm un = 0 y w = 0 (incluyendo lm wn = ).
un
Las propiedades precedentes se interpretan en b como +w = , w =
C
(w = 0), w/ = 0 (w = ), w/0 = (w = 0).
Los siguientes ejemplos en nada dieren del caso de una variable real.

Ejemplos 2.5. 1. Sean p(z) = a0 z n + + an , q(z) = b0 z m + + bm poli-


nomios. Entonces
a


0
n=m
p(z) b0
lm = 0 n<m
z q(z)

n > m.

2. Para p(z), q(z) como en el caso anterior, q(z0 ) = 0, p(z0 ) = 0 se tiene:

p(z)
lm = .
zz0 q(z)
2.4. COMPACTIFICACIN DE C. PROYECCIN DE STEINER 35

Hablemos ahora de compacticaciones. El espacio C no es compacto: {D(0, n)}


no admite subrecubrimientos nitos. Una compacticacin de un espacio topo-

lgico (X, T ) es un espacio topolgico compacto (X , T ) que contiene a (X, T )

en el sentido siguiente: existe h : X X continua e inyectiva tal que h(X) es

homeomorfo X y h(X) = X . Si X \ h(X) = {x1 , . . . , xn } se dice que X se ha
compacticado tras la adicin de un nmero nito de puntos. Las compactica-
ciones por adicin de un solo punto revisten particular inters. Se sabe [18] que
todo espacio Hausdor X localmente compacto admite una nica compacti-

cacin X por un solo punto denominada compacticacin de Alexandro . Se

construye as. Primero X = X {P } donde P no es un elemento de X (por
ejemplo P = (0, 0, 1) en el caso de C). Al tal P se le llama , el punto del
innito. La topologa T
en X se obtiene de la de X manteniendo los entornos
de los puntos de X y tomando {(X \ K) {} : K X compacto} como base
de entornos de .
Proposicin 2.19. Sea (X, T ) localmente compacto y T2 . Entonces, el espacio
(X , T ) es compacto, T2 y la inclusin h(x) = x, h : X X cumple las
propiedades de compacticacin sealadas ms arriba.

Demostracin. En efecto X es T2 porque si x = P y K es entorno compacto



de x, X \ K es entono de P .

Asimismo, si G abierto en X , G = G \ P es abierto en X . Si adems
P G tomando G = G \ P resulta que X \ G = X \ G y X \ G K para


algn compacto. En efecto (X \ K) {P } G para algn compacto K X .

Por tanto X \ G es compacto en X si G es abierto y P G .

Probamos que X es compacto. Si {Gi } recubre X , P Gi para algn i0 .
0

As {Gi = Gi \ {P } : i = i0 } recubre X \ Gi0 que es compacto. Tomando el co-

rrespondiente subrecubrimiento {G11 , . . . , GiN } resulta que {Gi , G1 , . . . , Gi }
0 1 N

tambin recubre X .

En el caso de C el espacio compacto resultante se llama la esfera de Riemann


y se denota C . A diferencia de la recta real R que admite compacticaciones
por adicin de un puno y por adicin de dos puntos, es consecuencia de un
teorema de K. D. Magill (1965) que la nica compacticacin (T2 ) de C por
adicin de un nmero nito de puntos es la de Alexandro
1 . La siguiente
propiedad es inmediata.

Proposicin 2.20. Una sucesin zn en C si y slo si zn de


acuerdo a la Denicin 2.17. Anlogamente lmzz0 f (z) = en C si y slo
si lmzz0 f (z) = de acuerdo con la Denicin 2.17. Lo mismo sucede con el
caso lmz f (z) = w.
Observaciones 2.6.

a) Las aplicaciones bilineales

az + b
f (z) = ,
cz + d
1 Con ms precisin, Magill caracteriza las compacticaciones Hausdor por un nmero
nito de puntos de espacios no compactos que tambin son Hausdor.
36 CAPTULO 2. CONTINUIDAD Y TOPOLOGA EN C

c = 0 denen homeomorsmos de C \ {d/c} en C \ {a/c}. Tales aplicaciones


se extienden en forma nica a homeomorsmos f de C . Basta hacer f = f en
C y
c a
f( ) = , f() = .
d c
Cuando una aplicacin bilineal f se observe en C supondremos que se ha
efectuado esta extensin y nos referiremos a ella como f (no usaremos f).
b) En el caso de semejanzas (c = 0)
f (z) = az + b,
la extensin f consiste en hacer f() = .
Que la compacticacin de C se llama la esfera de Riemann se debe a la
siguiente propiedad. All S2 = {x R2 : x21 + x22 + x33 = 1} y N = (0, 0, 1) S2 ,
designa el polo norte de S2 . Arma que S es una compacticacin de C por un
2

slo punto y por tanto ha de ser homeomorfa a C .

Teorema 2.21. La aplicacin

T : S2 \ N C
,
P = (, , ) 7 z = x + iy
denida como: ( )
+ i
T (P ) = , = ,
1 1 1
es un homeomorsmo conforme, con inverso h : C S2 \ N denido por:
( )
2x 2y |z|2 1
h(z) = , , .
|z|2 + 1 |z|2 + 1 |z|2 + 1
Observacin 2.7. La aplicacin T se llama la proyeccin de Steiner.

Teorema 2.22. C es homeomorfo a S2 .


Demostracin. La aplicacin h : C S 2 \ {N } se extiende a H : C S 2
tomando
H() = N.
Que H es un homeomorsmo se sigue de que H es continua en . En efecto,
una base de entornos de N es:

{U = {x3 > r} S 2 : r < 1}.


Como
1+r
H 1 (U) = {z : |z| > } {},
1r
es un entorno de , H .
es continua en
Ahora H H es adems cerrada: C C cerrado
es continua y biyectiva.
2
implica C compacto y H(C) es cerrado en S porque es compacto. Por tanto H
es un homeomorsmo.
2.4. COMPACTIFICACIN DE C. PROYECCIN DE STEINER 37

La siguiente propiedad habla de circunferencias en S2 y de rectas y circunfe-


rencias en C. Una circunferencia C en S2 es la interseccin de un plano con S2 .
Esto coincide con el conjunto de puntos {x S2 : |x x0 | = r}, con x0 S2 .
En efecto
{ {
|x|2 = 1 |x|2 = 1

|x x0 |2 = r2 , 2x, x0 = r2 |x0 |2 1,

y tiene 2x, x0 = r2 |x0 |2 1 por ecuacin.


Si el origen O y N pertenecen a , C se denomina un meridiano, si es
paralelo al plano x, y , C se llama un paralelo.

Observacin 2.8. Las rectas r de C se completan con el punto cuando se las


observa en C . Esto permite dar un tratamiento unicado a las propiedades
del resto del captulo.
1
Por ejemplo la propiedad:  f (z) =
transforma rectas que pasan por z = 0

z
en rectas r que tambin pasan por z = 0 se prueba en C aadiendo a las

rectas. En efecto f (0) es el punto de r mientras la imagen f () del punto

de r es el punto z = 0 de r .
1
Similarmente f (z) = transforma una circunferencia C que pasa por z = 0
z
en una recta pues a 0 C le asigna el punto de r .
az + b
Con ms generalidad f (z) = , c = 0, transforma rectas o circunfe-
cz + d
d
rencias que pasan por z = en rectas que contienen a = f (z ). Aplica
c
a
rectas r que no pasan por z en circunferencias que pasan por w = y
c
circunferencias que no pasan por z en circunferencias.
Bajo este convenio todas las rectas comparten en punto . Este hecho se
hace patente cuando proyectamos las rectas de C en S mediante H : tales
2
2
proyecciones son las circunferencias de S que pasan por el polo norte N .

Teorema 2.23. T transforma circunferencias de S2 que no pasan por N en


circunferencias de C y circunferencias de S2 que pasan por N en rectas de C .
Recprocamente, h transforma circunferencias de C en circunferencias de S2 y
rectas de C en circunferencias de S2 que pasan por N .

Demostracin. Si A + B + C = D es el plano que dene C en S2 , T (C) tiene


ecuacin:
(C D)|z|2 + 2Ax + 2By = D + C.
Ntese que N si y slo si C = D. La armaciones del teorema son ahora
evidentes.
Para demostrar el recproco tomamos C1 C una circunferencia y tres
puntos A, B, C C1 . Si A , B , C S2 son sus imgenes, slo pasa un plano
por tales puntos y C es la circunferencia que determinan en S2 . Ahora T (C) es
una circunferencia que contiene a A, B, C , luego T (C) = C1 . Por tanto h(C1 ) =
C.
38 CAPTULO 2. CONTINUIDAD Y TOPOLOGA EN C

Si r es una recta de C, r y N determinan un plano y h(r) es por denicin


(S2 \ {N }), una circunferencia por N .
Gracias a la proyeccin de Steiner se puede dotar a C de una mtrica que
describe su topologa. A saber:

dc (z1 , z2 ) = |h(z1 ) h(z2 )| z1 , z2 C \ {}, dc (z, ) = |h(z) N |.

Se llama a dc la mtrica cordal (all | | es la distancia eucldea de R3 ). Para


calcularla se tiene que si P, P S2 entonces

|P P |2 = 2{1 }.

De ah:

2|z1 z2 |
dc (z1 , z2 ) = z1 , z2 C \ {},
|z1 |2 + 1 |z2 |2 + 1
2
dc (z, ) = .
|z|2 + 1
1
Ejercicio 2.1. Ya se sabe que g : C C denida como para z = 0, z = ,
z
g(0) = , g() = 0 es un homeomorsmo. La aplicacin g induce en S2 la
1
aplicacin g : S2 S2 denida por g(P ) = (H g H )(P ) = h(g(T (P ))).
Qu aplicacin es g ?

Ejercicio 2.2. Los puntos de S2 pueden expresarse en la forma:

= cos cos , = cos sen , = sen ,

con 0 < 2 (la longitud), /2 /2 (la latitud). Prubese que:


( )
T (, , ) = tag + ei .
4 2
Ejercicio 2.3. Prubese que dc (z, ) = lmz1 dc (z, z1 ).

2.5. Transformaciones bilineales. 2a nota


Designamos por

az + b
M = {f (z) = : a, b, c, d C, ad bc = 0}
cz + d
el conjunto de las transformaciones bilineales.
az + b
Cuando f= y c = 0
cz + d
a
lm f (z) = , lm f (z) = .
z c zd/c
2.5. TRANSFORMACIONES BILINEALES. 2A NOTA 39

y como ya se dijo, f constituye un homeomorsmo de C cuando se denen


f () = a/c, f (d/c) = . En el caso de las semejanzas f = az + b se dene
f () = .
Por tanto, en lo que sigue consideraremos siempre a todas las aplicaciones
bilineales f M extendidas a aplicaciones de C en C .
Hablamos ahora de los puntos jos en C de una f M. Si c = 0, f () =
mientras zC es un punto jo si

az + b = z(cz + d).

Por tanto f posee uno o dos puntos jos en C (de hecho en C). Por otra parte
es punto jo de f si y slo si c = 0. El otro posible punto jo saldra de
resolver:
(d a)z = b.
b
Si d = a el punto jo adicional es z= .
da
Si d=a pero b = 0 no hay ms puntos jos.
Finalmente, si d = a y b = 0 nuestra aplicacin
az
f (z) = =z
d
es la identidad, que tiene a todos los puntos de C como puntos jos.
Hemos demostrado por tanto lo siguiente.

Proposicin 2.24. La nica f M con ms de dos puntos jos en C es la


identidad f (z) = z .
Para construir aplicaciones bilineales es importante la siguiente propiedad.

Proposicin 2.25. Dados z1 , z2 , z3 C distintos y w1 , w2 , w3 C distin-


tos, existe a lo ms una f en M tal que f (zi ) = wi , i = 1, 2, 3.

Demostracin. Si f, g M cumplen f (zi ) = g(zi ) entonces f 1 g tiene tres


puntos jos y ha de ser la identidad.

Una consecuencia importante es que se requieren tres condiciones para de-


terminar un elemento f M.
Para estudiar propiedades adicionales de f M introducimos la razn doble
(z1 , z2 , z3 , z4 ) de cuatro puntos distintos zi deC . sta se dene como:
z1 z3 z2 z4
(z1 , z2 , z3 , z4 ) = .
z1 z4 z2 z3
cuando los zj C mientras que si uno de los zi = se toma como valor de la
razn doble el del lmite de (z1 , z2 , z3 , z4 ) cuando zi . Por ejemplo:
z2 z4
(, z2 , z3 , z4 ) = .
z2 z3
Algunas veces abreviaremos (z1 , z2 , z3 , z4 ) como (zi ).
40 CAPTULO 2. CONTINUIDAD Y TOPOLOGA EN C

La aplicacin
S(z) = (z, z1 , z2 , z3 )
(abreviado S(z) = (z, zi )) es el elemento de M que asigna a z1 , z2 , z3 C la
trada 1, 0, .
Proposicin 2.26. Si f M y z1 , z2 , z3 son puntos distintos de C entonces

(z, zi ) = (f (z), f (zi )) (2.1)

para todo z C .
Demostracin. Llamamos S1 (w) = (w, f (zi )) y S(z) = (z, zi ) y nos llevamos la
sorpresa de que S1 f y S asignan los mismos valores a los puntos zi .
Un problema pendiente es hallar la f M que cumple f (zi ) = wi para dos
tradas zi wi
de puntos distintos. Si S y S1 son las aplicaciones precedentes la
y
1
solucin es evidentemente f (z) = S1 (S(z)).
En la prctica w = f (z) se calcula despejando w en la ecuacin:

(w, wi ) = (z, zi ).

C no son sino la imagen de


Ya hemos visto que rectas y circunferencias de
circunferencias en S2 por la proyeccin de Steiner. De hecho las rectas son las
circunferencias de S2 que pasan por el polo norte N S2 . Por tanto el trmino
circunferencia tambin abarcar en lo que sigue a las rectas de C (rectas de
C a las que se ha aadido el punto ).
Proposicin 2.27. Cuatro puntos distintos zj , 1 j 4, de C yacen en un
circunferencia si y slo si
(zj ) R {}.
Demostracin. En efecto si S(z) = (z, z2 , z3 , z4 ) sabemos que S 1 (R {}) es
una circunferencia C (incluyendo el caso de una recta de C ) pues S 1 M.
As z1 C junto con los otros tres puntos.
Recprocamente, si formamos la circunferencia C que pasa por z2 , z3 , z4 , S
aplica este triplete en 1, 0, y la imagen de C esR {}. Si por hiptesis
z1 C entonces S(z1 ) = (zj ) R.
Observacin 2.9. Sea C la circunferencia de C que pasa por los puntos z1 , z2 , z3
C . Es consecuencia de la propiedad que

(z, z1 , z2 , z3 ) > 0

representa los puntos de una de las componentes conexas de C\C mientras

(z, z1 , z2 , z3 ) < 0

caracteriza los puntos de la otra componente de C \ C.


Si C no es una recta,
/C y pertenece a una de las dos componentes. Se
llama componente exterior aquella a la que pertenece .
2.5. TRANSFORMACIONES BILINEALES. 2A NOTA 41

z3 z3

z2 z2
z1 z1

Figura 2.1: Orientaciones equivalentes a {z1 , z2 , z3 } y orientaciones equivalentes


a {z2 , z1 , z3 }.

Proposicin 2.28. f M, C la circunferencia que pasa por z1 , z2 , z3 , C


Sea
su imagen por f . Entonces f transforma las componentes C1 , C2 de C \ C en

las componentes C1 , C2 de C \ C .

Observacin 2.10. La propiedad es consecuencia inmediata del hecho de que f


es un homeomorsmo en C .

Demostracin. Si C es una circunferencia su ecuacin se escribe:

(z, z1 , z2 , z3 ) = (f (z), w1 , w2 , w3 ) wj = f (zj ).

Si C1 es por ejemplo la componente (z, zj ) > 0 entonces f (C1 ) es la compo-


nente (z, wj ) > 0.

En las construcciones con funciones bilineales es importante la nocin de


orientacin.

Denicin 2.29. Dada una circunferencia C una orientacin consiste en un


triplete ordenado {z1 , z2 , z3 } de puntos de C . El lado derecho C+ (respectiva-
mente, izquierdo C ) de C relativo a {z1 , z2 , z3 } consiste en la componente de
C\C caraterizada por

(z, zj ) > 0 ((z, zj ) < 0).

Se dice que otra orientacin {z1 , z2 , z3 } de C equivale a la anterior si sus lados


derechos coinciden.

Las orientaciones cambian si se intercambian dos zj entre s. En particu-


lar, son invariantes frente a permutaciones circulares y {z1 , z2 , z3 }, {z2 , z3 , z1 },
{z3 , z1 , z2 } representan la misma orientacin. La orientacin {z1 , z2 , z3 } puede
identicarse con el sentido de recorrido de C cuando se va de z1 a z3 pasando
por z2 . En la Figura 5.1 se da una imagen geomtrica.

Proposicin 2.30. Sea {z1 , z2 , z3 } una orientacin de C. Entonces {z2 , z1 , z3 },


{z1 , z3 , z2 } y {z3 , z2 , z1 } constituyen orientaciones de C distintas de {z1 , z2 , z3 }.
42 CAPTULO 2. CONTINUIDAD Y TOPOLOGA EN C

Demostracin. Es consecuencia de las identidades:

(z, z2 , z1 , z3 ) = 1 (z, z1 , z2 , z3 )

y
1
(z, z1 , z3 , z2 ) = .
(z, z1 , z2 , z3 )

Teorema 2.31. Sean C una circunferencia, {z1 , z2 , z3 } C , C los correspon-



dientes lados de C y f una aplicacin bilineal. Si C = f (C), wi = f (zi ) y se

considera en C la orientacin denida por {w1 , w2 , w3 } entonces f (C ) = C

y f (C+ ) = C+ .

Demostracin. Consecuencia directa de la Proposicin 2.26.

Proposicin 2.32. Sea C la recta z = a + bt, a, b C, t R. Para zj = a + tj b


con t1 < t2 < t3 . Entonces el lado izquierdo de C con respecto a {z1 , z2 , z3 } es
za
( ) > 0,
b
es decir, el semiplano que queda a la izquierda de C cuando se recorre en sentido
creciente de acuerdo a b.
Anlogamente si C esz = z0 +reis , zj = z0 +reisj con 0 s1 < s2 < s3 < 2
y se considera en C la orientacin {z1 , z2 , z3 } entonces el lado izquierdo C es
la componente acotada de C \ C (es decir la regin que queda a mano izquierda
cuando se recorre C en sentido positivo).

2.6. El teorema fundamental del lgebra


Vamos a probar con mtodos elementales que todo polinomio complejo

p(z) = a0 z n + + an

admite una raz en C.


La prueba se fracciona en los siguientes lemas.

Lema 2.33. Dados un polinomio complejo p(z) y z0 C existen b1 , . . . , bn


complejos tales que:


n
p(z) = p(z0 ) + b1 (z z0 ) + + bn (z z0 )n = anl z l .
l=0

Ms an:
1
n
l!
bk = anl z0lk .
k! (l k)!
l=k
2.7. EJERCICIOS 43

Lema 2.34. Si p(z) es un polinomio complejo,

lm p(z) = .
z

Lema 2.35. Sea p(z) un polinomio complejo. Entonces existe z C tal que:

|p(z )| = nf |p(z)|.
zC

Finalmente:

Lema 2.36 (Lema de d'Alembert) . Sea p(z) un polinomio complejo y z0 C


tal que p(z0 ) = 0. Existe entonces hC tal que:

|p(z0 + h)| < |p(z0 )|.

Teorema 2.37 (Teorema fundamental del lgebra) . Todo polinomio complejo


admite al menos una raz.

Demostracin. Por el lema 2.35 |p(z)| alcanza el mnimo en un z quien, del


lema de d'Alembert, tiene que ser una raz de p.

2.7. Ejercicios
Transformaciones de Mbius.

1. Hallar las aplicaciones de Mbius que transforman:

a) 1, i, 1 en 1, i, 1.
b) i, 0, i en 0, i, 2i.
1
c) i, i, 2i en , 0, .
3
2. Hallar los puntos jos de las aplicaciones:

z1 z
T (z) = , T (z) = .
z+1 z+1

3. Prubese que si cuatro puntos distintos {z1 , z2 , z3 , z4 } son colineales o


yacen en una circunferencia entonces (z1 , z2 , z3 , z4 ) es real (el recproco es
cierto, segn se vio en teora).

4. Hallar las imgenes de la circunferencia unidad {|z| = 1} bajo las trans-


formaciones:
1 1 1
w= , w= , w= .
z z1 z2
az + b
5. Hallar la imagen de {z > 0} bajo T (z) = , a, b, c, d R, ad bc <
cz + d
0.
44 CAPTULO 2. CONTINUIDAD Y TOPOLOGA EN C

6. Determinar una aplicacin bilineal T que transforme {z > 0} en {|z| < 1}.
Misma cuestin transformando {z < 0} en {|z| > 1}.
7. Calcular una aplicacin bilineal T que transforme:

{|z| < 1, z > 0},

en
{z > 0, z > 0}.

8. () Hllese una transformacin bilineal que aplique: 1) la circunferencia


|z 4i| < 2 en el semiplano w > w, 2) el centro de la circunferencia en
el punto -4, 3) el punto 2i de la circunferencia en el origen.

Proyeccin de Steiner

9. Sea C la esfera de Riemann C = {(, , ) : 2 + 2 + 2 = 1}, T :


C C la proyeccin de Steiner:

T = , T = .
1 1

Demustrese que si C es una circunferencia en C entonces T 1 (C) tambin


es una circunferencia en C .
10. Prubese que la proyeccin de Steiner T : C \ {N } C dene un
homeomorsmo.

11. Qu transformacin de la esfera C asigna T 1 (1/z) a T 1 (z)?


12. Hallar las imgenes inversas T 1 de los conjuntos: 1) z > 0, 2) z < 0,
3) z > 0, 4) z < 0, 5) |z| < 1, 6) |z| > 1.
13. Se dene la distancia cordal dc en C como:

dc (z, z ) = |T 1 (z) T 1 (z )|, dc (z, ) = |T 1 (z) N |,

con N = (0, 0, 1). Probar que:


|z z |

z, z C
(1 + |z|2 )1/2 (1 + |z |2 )1/2
dc (z, z ) =

1
z C, z = .
(1 + |z|2 )1/2

Demostrar que dc (z, ) = lmz dc (z, z ).

Continuidad, sucesiones, series

14. Probar que los nicos automorsmos continuos de C son f (z) = z y f (z) =
z .
2.7. EJERCICIOS 45

15. Se consideran las funciones f, g : G C C, G C abierto. Si f, g


continuas en z0 G f + g , , C, f g y f /g (en
prubese que
ste ltimo caso aadiendo g(z0 ) = 0) tambin son continuas en z0 . Si
h : C C, abierto, w0 = f (z0 ) y h es continua en w0
demustrese que h(f (z)) es continua en z0 .

16. Probar que |z| es Lipschitziana en C de constante 1.


n
17. Sea f (z) = z f (z) = u(x, y)+iv(x, y). Demostrar que u, v son polinomios
,
homogneos de grado n en x, y . Conclyase de ah que si p(z) es un poli-
nomio de grado n, p(z) = u(x, y) + iv(x, y), entonces u, v son polinomios
en x, y de grado n.

18. Sean p(z), q(z) polinomios complejos, grado q grado p. El algoritmo de


la divisin asegura la existencia de polinomios nicos c(z), r(z), grado r <
grado q tales que:
p(z) = c(z)q(z) + r(z).
n
sese el teorema fundamental del lgebra para probar que si p(z) = z +
a1 z n1
+ +an es un polinomio complejo de grado n 1 entonces existen
a1 , . . . , as C y enteros m1 , . . . , ms , m1 + + ms = n tales que:

p(z) = (z a1 )m1 . . . (z as )ms . (1)


Conclyase que la descomposicin (1) es nica.

19. [Polinomio de Taylor de un polinomio] Sea p(z) un polinomio de grado n,


z, h C. Demostrar que:


n
ck
p(z + h) = hk ,
k!
k=0

para coefcientes ck que deben expresarse en funcin de z.


20. Sea p(z) un polinomio. Demustrese que lmz p(z) = .
21. Sea f (z) una funcin racional, z = a un cero del denominador. Prubese
la existencia de C y de n Z = {. . . , 2, 1, 0, 1, 2, . . .} tales que:
f (z) (z a)n z a.

p(z)
22. Demustrese que las funciones racionales f (z) = denen funciones
q(z)
continuas de C en C .
23. Estudiar los lmites:

z4 + 1 z4 1 z 2 iz + 2
a) lm 2z 2 iz 3 +zArg z, b) lm , c) lm , d) lm ,
zi zi z + i zi z + i z2i z2 + 4

z1 ez + z Log z
d) lm e1/z .
2
e) lm , f ) lm ,
z1 z 1 z0 1 z 2 Arg z z0
46 CAPTULO 2. CONTINUIDAD Y TOPOLOGA EN C


24. Hallar el lmite de zn = n( n z 1).

25. Se sabe que la serie zn converge con |Arg zn | < . Demostrar la
2
convergencia de |zn |.

26. [Frmula de sumacin por partes]. Fijando An = a1 + + an , probar


que:

n
n1
ak bk = Ak (bk bk+1 ) + An bn Am1 bm .
k=m k=m

27. Supngase que la sucesin An = a1 + + an est


acotada y que bn es
decreciente con lm bn = 0. Prubese que la serie an bn es convergente.

28. Demostrar que (criterio de Gauss):

an a 1
= 1 + + o( ),
an1 n n

con an > 0, a < 1, implica la convergencia de an . Como aplicacin
establzcase la convergencia de la serie hipergeomtrica:


( + 1) . . . ( + n)( + 1) . . . ( + n)
,
n=0
(n + 1)!( + 1) . . . ( + n)

en el rgimen ( + ) < 0.

29. Estudiar la convergencia de las series:

n n!
a) , b) , c) ein ,
(2i)n (in)n
ein ei/n cos in
d) , e) , f) .
n n 2n
CAPTULO 3

Series de potencias. Funciones

analticas

El estudio de las funciones de una variable compleja se puede abordar desde


dos pticas independientes que a la postre resultan ser equivalentes. Una, la de
Weierstrass, basada en la teora de las series de potencias. Otra, sustentada en la
representacin integral (la integral de Cauchy) de las funciones regulares y que
se debe esencialmente a Riemann y Cauchy. En este captulo nos vamos a ocupar
del tratamiento de Weierstrass relegando el enfoque de Cauchy y Riemann para
los dos siguientes captulos.

3.1. Preliminares
Denicin 3.1. Sea D un abierto de C y fn : D C C una sucesin de
funciones.

a) La sucesin fn converge uniformemente a una funcin f : D C C si


para todo > 0 existe n que slo depende de tal que |fn (z) f (z)| para
n n y todo z D .

b) fn satisface la condicin de Cauchy uniformemente en D si para todo > 0


existe n que slo depende de tal que |fn (z) fm (z)| para n, m n y
todo z D.

Proposicin 3.2. Una sucesin fn : D C C converge uniformemente en


D si y slo si satisface la condicin de Cauchy uniformemente en D .

Proposicin 3.3. Seafn una sucesin de funciones que converge uniformemen-


te a una funcin f enD. Si todas las fn son continuas en z0 D entonces f es
continua en z0 . En particular, si todas las fn C(D, C) entonces f C(D, C).

Ejercicio 3.1. SeanD C un abierto, z0 D, fn : D\{z0 } C una sucesin de


funciones que converge uniformemente en D\{z0 } a una funcin f . Supongamos

47
48 CAPTULO 3. FUNCIONES ANALTICAS

adems que para cada n existe:

lm fn (z) = ln .
zz0

Entonces:

a) Existe l = lm ln .
b) Existe lmzz0 f (z) y adems:

lm f (z) = l.
zz0

En otras palabras, el paso al lmite cuando z z0 permuta con el paso al lmite


en la sucesin de funciones:

lm {lm fn } = lm{ lm fn }.
zz0 zz0

El siguiente resultado es clave para los objetivos del captulo.

Teorema 3.4 (Teorema M de Weierstrass) .fn C(D, C) una


Sea
sucesin
de funciones tales que |fn (z)| Mn para z D
donde la serie n=1 Mn es

convergente. Entonces la serie n=1 fn converge uniformemente en D y, por
consiguiente, la funcin


f (z) = fn (z)
n=1

es continua en D.

Ejercicio 3.2. Probar que:



a) f (z) = nz n es
n=1 continua en |z| < 1.
1
b) f (z) = n=1 2 es continua en {z 0}.
n +z
Recapitulamos las deniciones de lmite superior e inferior.

Denicin 3.5. Si an es una sucesin de nmeros reales los lmites superior e


inferior lim an , lim an se denen como:
a) lim an = nf nN {supkn ak }.
b) lim an = supnN {nf kn ak }.

Siempre existen los lmites superior o inferior de una sucesin, aunque posi-
blemente puedan valer o .

Proposicin 3.6. Sea L = lim an . Entonces:

a) < L < si y slo si para cada > 0 existe n tal que an < L + para
todo n mientras existen innitos n tales que an > L .
b) L= si y slo si para cada M existen innitos n tales que an > M .
3.2. SERIES DE POTENCIAS 49

c) L = si y slo si para cada M existe nM tal que an < M para todo


n nM .
Observacin 3.1. Se dice que l es un valor de aglomeracin de an si es el lmite
de alguna subsucesin suya an . La propiedad que sigue relaciona los lmites
superiores con los valores de aglomeracin. Ntese que lim an y lim an son valores
de aglomeracin de la sucesin.

Proposicin 3.7. Existen subsucesiones an , an de una sucesin an tales que:

lm an = lim an lm an = lim an .

Ms an, si an es cualquier subsucesin convergente de an entonces se tiene:

lim an lm an lim an .

Como es natural, la sucesin an converge a l si y slo si:

lim an = lim an ,

siendo l el valor comn de tales lmites.

3.2. Series de potencias


Denicin 3.8. Una serie (formal) de potencias
1 de za se dene como


n
an (z a) .
n=0

donde an , a C. Por simplicidad tomamos a = 0 en lo que sigue. C[[z]] de-


signa el conjunto de las series (formales) de potencias de z (C[z] designa los
polinomios complejos en z) en el que se denen las operaciones:

a) Suma:




an z n + bn z n := an + bn z n .
n=0 n=0 n=0

b) Producto por un escalar c C:





c an z n := can z n .
n=0 n=0

c) Producto (de Cauchy):


(
)(
)

n
n n
an z bn z := cn z n cn = ak bnk .
n=0 n=0 n=0 k=0
1 La serie de potencias puede tambin denirse como una serie funcional.
50 CAPTULO 3. FUNCIONES ANALTICAS

Es un ejercicio sencillo probar que C[[z]] es una lgebra conmutativa con


elemento unidad y sin divisores de cero.
Nos ocupamos ahora del problema de la convergencia de las series de poten-
cias de z a. Es obvia la convergencia a a0 de la serie en z = a.

Proposicin 3.9. Una serie de potencias
n
n=0 an (z a) o bien converge
solamente en z = a, o bien converge para todo z C, o bien existe > 0 tal
que la serie converge en z si |z a| < y diverge si |z a| > . Ms an,
en los dos ltimos casos la serie converge absolutamente en C (respectivamente
enD(a, )) incluso uniformemente en cada compacto K C (respectivamente,
K D(a, )).
Demostracin. Supongamos que la serie converge en z0 = a y diverge en algn
z1 C resulta entonces que

|an ||z0 a|n M,

para todo n. Se tiene entonces que


( )n
|z a|
|an ||z a| M
n
|z0 a|
y la serie converge absolutamente para todo z tal que |z a| < |z0 a|. Resulta
as que:

n
= sup{|z a| : an (z a) converge},
n=0

cumple |z0 a| |z1 a| y la serie diverge para |z a| > .

La proposicin n
dice que el conjunto de convergencia de una serie de potencias

n=0 na (z a) cuando no es trivial (es decir {a}) o todo el plano complejo C


consiste en un disco abierto D(a, ) junto con algunos puntos (quizs todos o
quizs ninguno) de la circunferencia |z a| = .

Denicin 3.10. El radio de convergencia 0 de una serie de potencias


se dene como el nmero =0 si slo converge en z = a, = si converge
para todo zC o nalmente, el valor de la Proposicin 3.9.

Observacin 3.2. Se desprende de la proposicin precedente que si > 0 la serie


n
n=0 an (z a) dene una funcin continua en el crculo D(a, ).

Ejemplos 3.3.

a) El radio de la serie n=0 zn
es = 1.

z n
b) El radio de convergencia de n=0 es = .
n!
n
c) El radio de convergencia de n=0 n!z es = 0.

La matemtica nos obsequia en algunos ocasiones con resultados redondos


y el que sigue es sin duda uno de ellos. Se recoge originalmente a la tesis de J.
Hadamard (1865-1963).
3.2. SERIES DE POTENCIAS 51

Teorema
3.11 (Hadamard, 1892) . El radio de convergencia 0 de la
n
serie n=0 an (z a) viene dado por la expresin:

1
= . (3.1)
{lim n
|an |}

Observacin 3.4. Como la expresin (3.1) se da en trminos del lmite superior,


no se requiere ninguna condicin extra sobre los coecientes an de la serie.

Demostracin del Teorema


de Hadamard. Asumimos para abreviar que a = 0.
Ponemos L = lim n
|an | y suponemos que 0 L < . Probamos que la serie
1
converge absolutamente si > L. De la denicin de lmite superior existen
|z|
>0 y n0 N tales que:

1 1
n
|an | < < n n0 .
|z|

Por tanto ( )n
|z|
|an ||z|n < n n0 ,

1
y la serie converge absolutamente. Luego si L = 0, = y si L < ,
L
( el radio de convergencia).
1
Suponemos ahora 0 < L y demostramos que la serie diverge si < L.
|z|
En efecto, de la denicin de lmite superior se sigue que

1
< n |an |,
|z|

para innitos n N. Esto dice por ejemplo que lim |an ||z|n 1 y la serie no
puede converger. Por tanto, diverge para todo z = 0 si L = o diverge para
1 1
|z| > si L es nito. En el primer caso = 0, en el segundo . La prueba
L L
ha terminado.

Ejemplo 3.5. Supongamos C. La serie binomial se dene como:

( )
n
f (z) = z
n=0
n

donde ( ) ( )
( 1) . . . ( n + 1)
:= , := 1.
n n! 0
Fue introducida por Newton (coincide de hecho con el valor (1 + z) cuando
N) y estudiada en detalle por Abel. Se demuestra usando el Ejercicio 3 (v.
tambin el Ejercicio 15) que tiene radio de convergencia la unidad.
52 CAPTULO 3. FUNCIONES ANALTICAS

Puede probarse que

f1 +2 (z) = f1 (z)f2 (z).

Vase la solucin al Ejercicio 15.

La siguiente propiedad arma que la serie de potencias obtenida formalmente


tras derivar k veces una serie dada, tiene el mismo radio que la original.

Proposicin 3.12. n
n=0 an (z a) una serie de potencias con radio de
Sea
convergencia . Entonces para cada k N la serie:



n! nk (m + k)! m
an (z a) = am+k (z a)
(n k)! m=0
m!
n=k

tiene radio de convergencia .



Proposicin 3.13. Sean n=0 an , n=0 bn series complejas absolutamente
convergentes y denamos

n
cn = ak bnk .
k=0

Entonces la serie n=0 cn converge absolutamente y


(
)(
)

cn = an bn .
n=0 n=0 n=0
n
Teorema 3.14. n=0 an (z a) ,
Sean
n
a) series de potencias
n=0 bn (z
n
con radios positivos 1 , 2 . Entonces las series suma
n=0 (an + bn )(z a) y
n
producto n=0 cn (z a) tienen radio de convergencia s y p , respectivamen-
te, mayor o igual que mn{1 , 2 } satisfacindose las igualdades:

(
) (
)
n
n
n
an (z a) + bn (z a) = (an + bn )(z a)
n=0 n=0 n=0
|z a| < mn{1 , 2 }

y
(
)(
)
n
n
n
an (z a) bn (z a) = cn (z a) |za| < mn{1 , 2 }.
n=0 n=0 n=0

Observaciones 3.6.

a) Para |z| < se puede calcular la potencia m-sima de la serie n=0 an z n y
el resultado es de nuevo otra serie de potencias. En efecto:
(
)m

n
an z = a(m) n z n (3.2)
n=0 n=0
3.3. FUNCIONES ANALTICAS 53

donde
a(m)
n = aj1 . . . ajn . (3.3)
j1 ++jm =n

b) Un caso de inters se tiene cuando a0 = 0. La serie potencia m-sima co-


mienza a partir del exponente m (los primeros m1 trminos son cero) y adems
en la formula (3.3) slo intervienen coecientes aj con j n 1 cuando m 2.

(m)
Ejercicio 3.3. Prubese que el coeciente an de la potencia m-sima se puede
escribir como:
m!
a(m)
n = a n
0 . . . an ,
0

!
en donde = (0 , . . . , n ) con los j 0 enteros, ! = 1 ! . . . n ! y la suma
est extendida a todos los que cumplen:

|| := 0 + n = m,

y adems:
1 + 22 + + nn = n.
Indicacin: defnase j en la frmula (3.3) como el nmero de veces que aparece
aj en un producto dado aj1 . . . ajn con j1 + + jm = n.

3.3. Funciones analticas


Las funciones analticas constituan la nica clase de funciones de curso legal
durante el siglo XIX. Dominaron el clculo antes de lo que hoy conocemos como
Anlisis Real, cuyo punto de partida fue la introduccin de la integral de Lebes-
gue a comienzos del siglo XX. Una evidencia explcita del elevado estatus del
que gozaban en la matemtica de entonces es el papel preponderante que desem-
pean tales funciones, en la seccin de anlisis de la clebre lista de problemas
propuesta por David Hilbert en el Congreso Internacional de Matemticas de
1900 ([1]).

Denicin 3.15. Sea G C un abierto. Se dice que una funcin f : G C es


analtica si para todo z0 G existen > 0 y una sucesin compleja {an }, que
dependen de z0 , tales que:


n
f (z) = an (z z0 ) |z z0 | < .
n=0

Observacin 3.7. Est implcito en la denicin que f se representa en el entorno


de cada punto por una serie de potencias con radio de convergencia positivo,
por tanto son funciones continuas. Comprobaremos en el siguiente captulo que
de hecho son funciones innitamente derivables.

Ejemplos 3.8.
54 CAPTULO 3. FUNCIONES ANALTICAS

1) Un polinomio p(z) = a0 z n + + an es analtico en C. En efecto, dado a C


se puede escribir segn se vio como p(z) = b0 + b1 (z a) + + bn (z a)n .
1
2) La funcin f (z) = es analtica en C \ {1}. En efecto, para aC dado:
1z

1 1 1 1
= { }= (z a)n .
1z 1a za (1 a)n+1
1 n=0
1a
Ntese que el radio de convergencia de sta ltima serie es |a 1|.
3) Funciones racionales. Si
p(z)
f (z) =
q(z)
es racional y q(z) tiene races a1 , . . . , al la funcin f es analtica en C\{a1 , . . . , al }.
A tal n ntese que

A B C
f (z) = q1 (z) + + + + + ,
(z a1 ) (z a1 ) 1 (z al )l
donde las j son las multiplicidades de las races. Para desarrollar en serie de
potencias de (z a) dondea C \ {a1 , . . . , al } basta usar la idea del apartado
1
2). De hecho las funciones son analticas porque son potencias de
(z a)i
funciones analticas.

La siguiente proposicin establece que las propias series de potencias con


radio de convergencia positivo denen funciones analticas en su disco (crculo)
de convergencia. A la luz de los resultados de los Captulos IV y V demostrare-
mos en su momento que esto tambin es consecuencia de la derivabilidad de las
series de potencias. La que sigue es, no obstante, una prueba directa que evita
dicha derivabilidad.

Teorema 3.16. n
n=0 an (z a) una serie de potencias con radio de con-
Sea
vergencia . Entonces, para cada z0 D(a, ) la funcin:


n
f (z) = an (z a)
n=0

se puede representar en la forma:


n
f (z) = bn (z z0 ) ,
n=0

con

( )
m! m
bn = am (z0 a)mn = am (z0 a)mn
m=n
n!(m n)! m=n
n

siendo la serie convergente en cada z cumpliendo |z z0 | < |z0 a|.


3.3. FUNCIONES ANALTICAS 55

La prueba emplea algunos resultados bsicos de series dobles.


Sea anm una sucesin doble de nmeros complejos. Se dice ([3]) que la serie
doble:


anm
n,m=0

es convergente
2 y tiene suma sC si para todo >0 existe n tal que para
mn{M, N } n :


a s < .
nm
0nN,0mM
Puede probarse que si anm es una sucesin doble de nmeros reales no ne-
gativos bnm , la serie doble:


bnm ,
n,m=0

es convergente y tiene suma s si y slo si



s = sup bnm
(n,m)F

donde F N N denota un conjunto nito y el supremo se extiende a todas


las partes nitasF de N N.
Asimismo, un camino til para establecer la convergencia de series dobles de
trminos no negativos es el de las series iteradas


{
}
{
}

bnm bnm .
n=0 m=0 m=0 n=0

Para series dobles de trminos no negativos la convergencia equivale a la de


las iteradas y de hecho se tiene siempre la igualdad (de valor + en caso de
divergencia de la serie)


{
}
{
}

bnm = bnm = bnm .
n,m=0 n=0 m=0 m=0 n=0

Finalmente, la suma s de una serie doble de trminos no negativos
n,m=0 bnm
se puede obtener como el lmite de sumas nitas de trminos con tal que el n-
mero total de trminos sumados acabe abarcando todo N N. En trminos ms
precisos:

s = lm bnm ,
N
(n,m)FN

dondeFN es cualquier sucesin de partes nitas de N N con la propiedad


FN FN +1 y
N =0 FN = N N. Se omiten los detalles por simplicidad.
2 Poda haberse empleado la nocin ms restrictiva de familia sumable que ofrece la ventaja
de que la convergencia equivale a la convergencia absoluta. Vanse detalles en [6].
56 CAPTULO 3. FUNCIONES ANALTICAS

Como en el caso de series simples una serie doble absolutamente convergente


es tambin convergente y




| anm | |anm |.
n,m=0 n,m=0

La prueba del siguiente resultado se omite por brevedad (cf. [3]).

Teorema 3.17. Sea anm una sucesin doble de nmeros complejos y suponga-
mos que la serie


anm
n,m=0

converge absolutamente.
Entonces:

a) Para n0 , m 0 arbitrarios las series parciales:




anm0 an0 m
n=0 m=0

convergen absolutamente.

b) Las series iteradas


{
}
{
}

anm anm
n=0 m=0 m=0 n=0

convergen absolutamente.

c) Se tienen las igualdades:


{
}
{
}

anm = anm = anm .
n,m=0 n=0 m=0 m=0 n=0

Demostracin del Teorema 3.16. Dado z0 consideramos los z tales que:

|z z0 | < |z0 a|,

el radio de convergencia de la serie. Como |z z0 | + |z0 a| < se tiene que


la serie:


n ( )
n
|an |(|z z0 | + |z0 a|) = n
|an ||z z0 |m |z0 a|nm < .
n=0 n=0 m=0
m

Esto quiere decir que la serie doble:

n ( )
n
an (z z0 ) (z0 a)
m nm
= an (z a)n
n=0 m=0
m n=0
3.3. FUNCIONES ANALTICAS 57

es absolutamente convergente. El Teorema 3.17 autoriza a cambiar el orden de


sumacin para tener:

n ( )
n
an (z z0 )m (z0 a)nm =
n=0 m=0
m

( ( ) )
n
an (z0 a) nm
(z z0 ) =
m
bm (z z0 )m .
m=0 n=m
m m=0

Para estimar el tamao del conjunto de las funciones analticas en un abierto


GC nada mejor que disponer de reglas que nos permitan generar funciones
analticas a partir de funciones analticas conocidas. La siguiente propiedad es
elemental.

Proposicin 3.18. Sean f, g analticas en GC abierto. Entonces f +g y fg


son analticas en G.
Dentro de la losofa de fabricar nuevas funciones analticas a partir de
funciones conocidas el resultado que sigue tambin es natural. Su demostracin
es ms delicada.

Proposicin 3.19. Si f : G C y g : C, G, abiertos son analticas y


f (G) entonces g f es analtica en G.
Demostracin. Suponemos que z0 G, f (z0 ) = a0 . Hemos de probar que
la composicin gf se puede representar en la forma:

m
g f (z) = g(f (z)) = cm (z z0 ) ,
m=0

siendo la serie convergente para |z z0 | < r. Se sabe que


n
f (z) = a0 + an (z z0 )
n=1
m
mientras g(w) = m=0 bm (w w0 ) con w0 = a0 , en los respectivos crculos
de convergencia. Si |f (z) a0 | = |f (z) w0 | < g (g el radio de la serie de g )
podemos escribir:


(
)m
m
n
g(f (z)) = bm (f (z) w0 ) = bm an (z z0 ) .
m=0 m=0 n=1

El importante lema que sigue nos garantiza la posibilidad de reorganizar la


serie para preservando la convergencia sacar factor comn las potencias de
z z0 y escribir, sumando en dichas potencias:

m
g(f (z)) = cm (z z0 ) .
m=0
58 CAPTULO 3. FUNCIONES ANALTICAS

La proposicin se sigue a su vez de la siguiente.



Lema 3.20. n
n=0 an z ,
Sean n=0 bn z
n
series de potencias con radio de
convergencia positivo de forma que

a0 = 0.

Entonces, la serie substitucin:


(
)m

n
bm an z = cn z n
m=0 n=1 n=0

tiene radio de convergencia > 0. Adems:



g(f (z)) = cn z n
n=0

donde f y g son las funciones representadas por las series an z n y bn z n ,
respectivamente.

Demostracin. Si a y b designan los radios de convergencia de las series



an z n y bn z n se tiene que



g(f (z)) = bm (f (z))m = b0 + bm ( an z n ) m
m=0 m=1 n1

est bien denida con tal que |f (z)| < b . Dicha serie es de hecho la serie iterada:

{ }

b0 + bm ( an z n )m = b0 + bm a(m)
n z
n
,
m=1 n1 m=1 n=m

( (m) (m)
donde an 1) = an y los an = an ((ai )1in1 ) son, para m > 2, polinomios
homogneos de grado m y coecientes enteros positivos en los ai con 1 i
n 1. La cuestin fundamental es que podemos cambiar el orden se sumacin
en la ltima serie para tener:


{
}
{ }

n
b0 + bm a(m)
n z
n
= b0 + bm a(m)
n zn = cn z n ,
m=1 n=m n=1 m=1 n=0

donde
c0 = b0 c1 = b1 a1
y

n
cn = bm a(m)
n = b1 an + Pn (b2 , . . . , bn ; a1 , . . . , an1 )
m=1

donde Pn es un polinomio lineal en los bk (2 k n),de grado n en los aj


(1 j n), cuyos coecientes son enteros positivos.
3.4. FUNCIONES EXPONENCIAL Y LOGARITMO 59

Para justicar el cambio de orden nos basta con vericar que la serie doble:


{
}

b0 + bm a(m)
n z
n
(3.4)
m=1 n=m

es absolutamente convergente si


n
|an ||z| < b .
n=1

En efecto, en tal caso, la serie doble de trminos positivos:


(
)m

b0 + |bm | |an ||z| n
= b0 + |bm | n |z|
a(m) n

m=1 n=1 m=1 n=m

(m) (m)
con an = an ((|ai |)1in1 ), converge y mayora a la serie (3.4) pues:

|bm a(m)
n z | |bm |an |z| .
n (m) n

(m)
Ntese que los coecientes an son no negativos. Por tanto, hemos terminado.

3.4. Funciones exponencial y logaritmo


Denicin 3.21. Se dene la funcin exponencial f (z) = ez como la serie:


z zn
e = .
n=0
n!

La funcin exponencial se ha denido mediante una serie de potencias cuyo


radio de convergencia es = . Llamaremos enteras a este tipo de funciones.

Denicin 3.22. Se dice que una funcin compleja f es entera si



f (z) = an z n
0

donde la serie converge en todo z C.

Proposicin 3.23. Se satisfacen las siguientes propiedades:


0
1) e = 1.
2) ez1 +z2 = ez1 ez2 .
3) ez = 0 para todo z. Ms an ez 1 = ez .
4) ez = ex eiy = ex cos y + iex sen y .
60 CAPTULO 3. FUNCIONES ANALTICAS

La frmula de Euler del Captulo I est recogida en 4).

Proposicin 3.24. La funcin eiz es peridica de periodo 2i. Ms an:



ez = ez ,

si y slo si z = z + 2ki para k Z.


Ntese que ez es la extensin compleja de la funcin exponencial real la cual,
segn sabemos, se representa mediante el desarrollo:


xn
ex = , x R.
n=0
n!

En el apndice del Captulo I se introdujeron asimismo las funciones reales


y(x) = sen x y y(x) = cos x como las soluciones de la ecuacin diferencial
y +y = 0 que satisfacen las condiciones y(0) = 0, y (0) = 1 y y(0) = 1, y (0) = 0.
Observamos que tales funciones se representan mediante los desarrollos en serie
de potencias de x:



x2n+1 x2n
sen x = (1)n cos x = (1)n .
n=0
(2n + 1)! n=0
2n!

La denicin que sigue introduce las correspondientes funciones trigonomtricas


elementales, por el simple procedimiento de asignarle a x valores complejos.

Denicin 3.25. Se denen las funciones seno y coseno:




z 2n+1 z 2n
sen z = (1)n cos z = (1)n .
n=0
(2n + 1)! n=0
2n!

Proposicin 3.26. Las funciones sen z y cos z son peridicas de periodo 2 .


Se tienen adems las relaciones:

eiz = cos z + i sen z,

y
eiz + eiz eiz eiz
cos z = sen z = .
2 2i
Se satisfacen la mayora de las propiedades elementales de las funciones tri-
gomtricas que se relegan a los problemas. Se sobrentienden asimismo las de-
niciones habituales de tag z, sec z , etc.
El que la funcin ez sea peridica implica que admite mltiples maneras de
ser invertida. Esto ya se observ en el caso de la inversa de z n . De hecho, se da la
misma situacin en el caso de una variable real con las funciones trigonomtricas
(arcoseno, arcotangente, etc.). Las inversas de la funcin exponencial se deno-
minan funciones logaritmo cuyo estudio idntico al de la funcin argumento
iniciamos ahora.
3.4. FUNCIONES EXPONENCIAL Y LOGARITMO 61

Denicin 3.27. Se dice que w es un logaritmo de z si ew = z .


Para z = 0 dado todos los logaritmos de z son:

w = w0 + 2ki, k Z,

donde w0 es un logaritmo particular. Especcamente, si z = |z|ei los logaritmos


de z son w = log |z| + i + 2ki, k Z.
Ahora bien, nos interesa el logaritmo como funcin de z y no como una mera
reata de valores que dependen de z . Se trata entonces de invertir la funcin
exponencial. Una consecuencia de nuestro estudio de la funcin argumento es la
siguiente propiedad.

Proposicin 3.28. Para cada R la apliciacin f (z) = ez :

f : { z < + 2} C \ {0},

es biyectiva, con inversa:

f 1 (z) = log |z| + i arg z.

Ms an:

f 1 : = C \ {tei : t 0} { < z < + 2},

es continua.

Demostracin. Llamamos G = { z < + 2} y f es inyectiva pues:


ez = ez x = x & y y = 2k,

con lo que y = y. Para probar la sobreyectividad escribimos g(z) = log |z| +


i arg z , cuyo dominio es C \ {0}, g(C \ {0}) G y

f (g(w)) = w.

De ah mismo sale que f 1 (z) = g(z).


La funcin f 1 de la proposicin se denomina:

log z = log |z| + i arg z.

En particular, la eleccin de G0 = {0 z < 2} en la proposicin da lugar a


la funcin:
log z = log |z| + i arg z,
que es continua en = C \ {z 0}.
z
Se llama funcin logaritmo principal a la inversa de e cuando en la propo-

sicin se toma G = { < z }. Se la representa por:

Log z = log |z| + iArg z,


62 CAPTULO 3. FUNCIONES ANALTICAS

y dene una funcin continua en = C \ {z 0}.


El logaritmo principal satisface las propiedades elementales:

Log z1 z2 = Log z1 + Log z2 + 2ki,

Log zn = n Log z + 2ki,


y

n
1
Log z= Log z.
n
Como en el caso real, se usa el logaritmo principal para introducir la funcin
potencial de exponente complejo:

z = eLog z ,

as como la funcin exponencial,

az = ezLog a .

Hemos encontrado inversas g de la funcin exponencial que son continuas en


ciertos dominios C. g = Log z denida en = C \ {z 0}.
Por ejemplo:
Resulta evidente que si el par (g, ) dene una inversa de la exponencial
entonces la familia (g + 2ki, ), k Z, comprende innitas inversas de la
exponencial.
Se suelen usar los trminos hoja, rama o determinacin del logaritmo
para referirse a todas estas funciones. Ms generalmente se tiene la siguiente
denicin.

Denicin 3.29. Sea GC un abierto y f C(G, C). Se dice que (g, ),


C un dominio y g C(, C), es una rama de inversa de f o una determinacin
1
de f si g() G y
f (g(z)) = z. (3.5)

Observacin 3.9. Se desprende de (3.5) que f (G). No es difcil comprobar


que f : g() es biyectiva, por tanto un homeomorsmo, de donde se tiene
que g() tambin es un dominio.
Proposicin 3.30. Si (f, ) es una determinacin del logaritmo entonces todas
las dems determinaciones posibles (h, ) del logaritmo en son de la forma:

h(z) = f (z) + 2ki,

para algn k Z. Por otra parte no existen determinaciones (f, ) del logaritmo
tales que contenga un crculo perforado {z : 0 < |z| < r}.
Una consecuencia inmediata es que todas las determinaciones (ramas) g del
logaritmo en = C \ {z 0} tienen la forma:

gk (z) = log |z| + iArg z + 2ki,


3.4. FUNCIONES EXPONENCIAL Y LOGARITMO 63

para algn k Z. Precisamente, llamamos logaritmo principal a la rama k = 0:

g0 (z) = log |z| + iArg z.

Bajo la ptica de las ramas de inversa no est de ms que caractericemos las


determinaciones de la raz n-sima en un dominio C \ {0}. En la seccin de
Ejercicios se justica el por qu se suprime 0 de .
Proposicin 3.31. Si (f, ), C, es una rama de la raz n-sima entonces
las otras ramas de la raz n-sima en tienen la forma:
2k
fk (z) = e n i f (z) k = 0, 1, . . . , n 1.

Ms an ninguna de tales determinaciones es tal que 0 .


Demostracin. Si (f, ) y (g, ) son determinaciones f (z)/g(z) es continua en
\ {0} que sigue siendo un dominio y (f (z)/g(z))n = 1 en dicho dominio. En
efecto, f (z) = z signica que f (z) = 0 si z = 0.
n

En particular, f /g toma valores en el conjunto discreto {1, , . . . , n1 } de


las races n-simas de la unidad. Por tanto f /g es constante en \ {0}.

La ltima armacin es consecuencia de que, por ejemplo, la funcin
n
z no
es continua en un tal crculo perforado.

Continuamos ahora con un anlisis de la funcin seno. La funcin seno real



sen xes biyectiva de [ , ] sobre su imagen [1, 1]. Inspirndonos en ello
2 2

comprobamos que sen z es biyectiva en la regin B sobre su imagen C donde


B = B {z = + it : t 0} {z = + it : t 0},
2 2
y

B = { < z < }.
2 2
Asimismo, sen z es biyectiva cuando la restringimos a B sobre su imagen :=
C \ {x 1}.
2

Probamos las armaciones. Primero la inyectividad, si z, z B , z = z y


sen z = sen z entonces
iz iz iz
e iz
e =e e ,
iz
Como |z z|
2 resulta e = e iz
por tanto:


ei(z+z ) = 1,

de donde z + z = + 2k . Si las partes reales son x, x resulta que x + x = .


Al ser x = x [ 2 , 2 ] estas identidades no son posibles. Luego z = z .
Para demostrar la sobreyectividad escribimos:

sen z = w,

para llegar a:

z = i Log {iw 1 w2 },
64 CAPTULO 3. FUNCIONES ANALTICAS

donde por razones que vemos ms abajo tomamos el signo + designando la



expresin por g(w). Resulta que g(w) B para todo w C. Justicado esto

se concluye que sen z es biyectiva en B con inversa g(z) denida en C.

En la comprobacin de g(w) B primero suponemos que 1 w 1 con
lo que

g(w) = Arg ( 1 w2 + iw) [ , ].
2 2
Si hubiramos elegido el signo ms arriba no habramos obtenido este resul-
tado. Por otro lado si |w| > 1, w todava real, resulta:

g(w) = signo (w) + i log |w + w2 1|,
2

ylog |w + w2 1| recorre (0, ) (respectivamente, (, 0)) si w > 1 (w <
1).
Finalmente, consideramos w = x + iy con y = 0 y probamos que

1
{iw 1 w2 } = y + |1 w2 | + (1 x2 + y 2 ) > 0.
2
Esto equivale a:
|1 w2 | + (1 x2 + y 2 ) > 2y 2 ,
(1 x2 + y 2 )2 + 4x2 y 2 > (1 x2 y 2 )2 ,
(1 x2 + y 2 )2 (1 x2 y 2 )2 + 4x2 y 2 > 0,
4(1 x2 )y 2 4x2 y 2 > 0 4y 2 > 0,
y la comprobacin g(C) B queda terminada.

Denicin 3.32. La funcin arcoseno principal se dene como:



Arcsen z = i Log {iz + 1 z 2 }.

Es continua en C \ {w2 1}.


Observaciones 3.10.

a) Las funciones
fk (z) = Arcsen z + 2k,
toman valores en B + 2k e invierten al seno (son ramas de inversa del seno
cuando ste se observa con dominio C).
b) Se sabe que
sen( z) = sen z,
por tanto la funcin
g(z) = Arcsen z,

que toma valores en B + tambin invierte a la funcin seno. Lo mismo sucede
con las funciones

gk (z) = Arcsen z + 2k, k Z.


3.5. EJERCICIOS 65

Ejercicio 3.4. Analizar las transformadas de las curvas coordenadas:

1 = {z = x0 } B 2 = {Imz = y0 } B,

por medio de la funcin seno, usando para ello la representacin:

sen z = sen x cosh y + i cos x senh y.

Prubese que f (C) = C.

Ejercicio 3.5. Prubense las siguientes propiedades:

a) sen(z) = sen z , sen z = sen z donde z = 2k z para un k Z.


b) sen( + z) = sen z .
Conclyase que sen z no puede ser inyectiva en ninguna banda B = { < z < }
cuyo ancho > .

Procedemos ahora con la funcin tag z siguiendo mtodos similares a los


del seno, primero observando la funcin real en ( 2 , 2 ). Se concluye que la

funcin tangente tambin es biyectiva de B = B {z = + it : t < 0}
2

{z = + it : t > 0} con valores en \ {i} y su restriccin a B lo es sobre su
2
conjunto imagen C \ {i(, 1) i(1, )}.
En primer lugar
1 e2iz
tag z = i ,
1 + e2iz
en donde como e2iz = 1, vemos que la imagen de tag z excluye los valores i.
Como composicin de aplicaciones inyectivas, tag z es inyectiva en B mientras

1+u
tag z = i z= + ti u = e2t ,
1u 2
con lo que tag z recorre i(1, )
z=
2 + ti con t > 0.
cuando
Para estudiar la sobreyectividad escribimos tag z = w para concluir:

( )
1 1 + iw
z = g(w) = Log .
2i 1 iw

Es muy sencillo ver que g(C \ {i}) B lo que concluye la comprobacin de


biyectividad.

3.5. Ejercicios
1. Estudiar la convergencia de las siguientes funciones en los dominios indi-
cados:


a) f (z) = k=1 kz k en {|z| < 1}.
66 CAPTULO 3. FUNCIONES ANALTICAS

1
b f (z) = en {z > 0}.
k2 + z
2. Sea fn : D C C una sucesin de funciones uniformemente continuas
en D, un abierto de C, f = lm fn uniformemente en D. Probar que f
es tambin uniformemente continua en D . Supngase adems que las fn
son Lischitzianas de constante Ln con sup Ln < . Demostrar que f es
Lipschitz en D. Estudiar qu sucede si se suprime la condicin sobre las
Ln .
a1 + + an
3. Sea an una sucesin con lm an = l. Probar que lm = l.
n
Qu sucede si l = ? Aprovchese el resultado para probar que si an
es una sucesin de trminos positivos con:

an
lm = l,
an1

entonces lm n an = l.

4. Sea n=0 an z n una serie de potencias para la que existe:

|an |
lm = R.
|an+1 |

Calclese su radio de convergencia.

5. Calcular los valores de aglomeracin de las sucesiones: a) zn = n1 +(1)n ,


n
b) zn = 2 +(1)n +in , c) zn = [2+cos(n)]e2ni/5 , d) zn = sen(n/2)+
i cos(n/6), e) zn = n sen(n/2) + i cos(n/6).

6. Probar que lim an , lim an son valores de aglomeracin de an . Comprobar


asimismo que la convergencia de a equivale a la igualdad de tales lmites
(N. B. estamos incluyendo en convergencia los casos an ).

7. Sean an , bn son sucesiones tales que lm an = a > 0. Probar que lim an bn =


a lim bn , lim an bn = a lim bn .


8. Sea z = ei donde es racional. Estdiense los valores de aglomeracin
n

de z .


9. Sea an z n unaserie de potencias de radio r. Demostrar que para
n=0

todo k N la serie n=k an z nk tambin tiene radio de convergencia r.

10. Hallar el radio de convergencia de las series:



(1)n n z 2n+1 n! n 2n n
z , , n
z , z .
n=0
n! n=0
(2n + 1)! n=0
n n=0
n!
3.5. EJERCICIOS 67


11. Se sabe que el radio de convergencia de n=0 an z n es r > 0. Hallar el
radio de convergencia de las series:





np a n z n , |an |z n , a2n z n .
n=0 n=0 n=0

12. Hallar el radio de convergencia de cada una de las siguientes series:




a) an z n , aC c) kn z n , k Z \ {0}
n=0 n=0

2
b) an z n , a C, d) z n! .
n=0 n=0


13. Usar la serie
n=0 zn y el producto de series para calcular la suma de la
n
serie n=0 nz

14. Demostrar que el radio de convergencia de la serie:


(1)n n(n+1)
z ,
n=1
n

es 1, discutiendo la convergencia de la serie en los valores z = 1, 1, i.


15. Para C se introduce la serie binomial:

( 1) . . . ( n + 1) n
1 + z + + z + .
n!
Prubese que tiene radio de convergencia 1. Llamamos f (z) a la funcin
denida por la serie en |z| < 1.
a) Determinar f para N.
b) Calcular f1 (z).
c) Calcular fn (z), n N.
d) Probar que fn (z) = (1 + z)n . A tal n comprebese que:

(1 + z)n fn (z) = 1,

para todo z = 1.
16. Desarrollar senh z , cosh z en serie de potencias de z.
17. Comprubese que:

cos z = cos x cosh y i sen x senh y,

sen z = sen x cosh y + i cos x senh y.


68 CAPTULO 3. FUNCIONES ANALTICAS

18. Usando la denicin de las funciones sen z, cos z prubense las relaciones
clsicas:

cos2 z + sen2 z = 1, cos(z) = cos(z), sen(z) = sen z,



cos( z) = sen z, sen( z) = cos z,
2 2
cos(z+w) = cos z cos wsen z sen w, sen(z+w) = sen z cos w+cos z sen w,
1 + tag 2 z = sec2 z, cos 2z = cos2 z sen2 z.

19. Demostrar que los ceros de las funciones cos z, sen z coinciden con los de
sus restricciones al eje real.

20. Determnese el mayor dominio G donde Log (z 3 + 1) es continua.


21. Probar que la restriccin g(z) de tag z a G = { < z , z = } es
2 2 2
biyectiva sobre su imagen = C \ {i}. Demostrar que:
( )
1 1 1 + iz
f (z) := g (z) = Log .
2i 1 iz

Prubese que dicha funcin es continua en = C \ {ti : t R, |t| 1}.


Se denomina al par (f, ) la rama principal de la funcin arcotangente
f (z) = Arctag z .
22. Demostrar que la funcin:

f (z) = i Log ( 1 z 2 + iz),

es continua en = C \ {z 1, z 1} y cumple sen(f (z)) = z . Se la


conoce como la rama principal de la funcin arcoseno: f (z) = Arcsen z .
23. Determinar una funcin continua gG := C \ {x 1, x 1}
denida en
tal que cos(g(z)) = z en G. z.
Indicacin. sese la funcin Arcsen
( )
1
24. Dada f (z) = sec z , prubese que g(z) = Arcsen es continua en
2 z
G = C \ [1, 1] y que sec(g(z)) = z para todo z G.
25. Prubese que todo polinomio p(z) dene una funcin entera. Hallar su
desarrollo en serie de potencias de z z0 .
26. Demustrese que los polinomios complejos son sobreyectivos. Y las fun-
ciones racionales? y las enteras?

27. Estdiese la sobreyectividad de las funciones seno y coseno (vase el Ejer-


cicio 22).

28. Prubese que si f (z) = n=0 an z n = 0 en |z| < r entonces an = 0 para
cada n N.
3.5. EJERCICIOS 69

n
29. Sea f la suma en D(a, r) de la serie de potencias n=0an (z a) y {zk }
una sucesin en D(a, r) \ {a} tal que f (zk ) = 0 y zk a. Demustrese
que f =0 en D(a, r).
Indicacin. Prubese que an = 0 para todo n.
n
30. Sea n=0 an (z a) una serie de potencias convergente en D(a, r), {zk }
una sucesin en D(a, r) tal que zk b D(a, r), zk = b para todo k y tal
que
f (zk ) = 0,
para todo k donde f es la suma de la serie en D(a, r). Prubese que f = 0
en D(a, r).
Indicacin. Usar el Ejercicio 29 en combinacin con el Teorema 3.16.

31. Calcular el desarrollo en serie de potencias de z z0 de la funcin:

az + b
f (z) = ,
cz + d
con z0 = d/c, c = 0.
32. Usando la descomposicin en fracciones simples demustrese que toda fun-
cin racional f (z) es analtica en su dominio de denicin G. Dado un
z0 G qu mide el radio de convergencia de su desarrollo en serie de
potencias de z z0 ?
Indicacin. Puede ser til el problema 15

33. Desarrollar en serie de potencias las funciones:

1 1 1
f (z) = , g(z) = , h(z) = ,
1 + z2 (z 2 + 1)2 (z 2 + 1)3
en cada uno de los puntos a de sus dominios de denicin (que son el
mismo).

34. Supngase que f (z) es analtica en un dominio G. Deniendo g(z) = f (z)


en el dominio z G := {z : z G} demostrar que g tambin es analtica.
35. Supongamos que f (z) es analtica y no constante en un dominio G. De-
mostrar que f (z) no puede ser analtica en G.
36. Una serie de potencias formal en z= se dene como:


an
,
n=0
zn
an C. Se dene el radio de convergencia r de la serie como

r = nf{|z| : la serie converge en z , z = 0},


poniendo r=0 si la serie diverge en todo z. Obtngase una expresin al
estilo Hadamard del radio de convergencia de la serie, probando que sta
constituye una funcin continua en |z| > r, con lmite nito en el innito.
70 CAPTULO 3. FUNCIONES ANALTICAS

37. Se dice que un dominio G contiene al punto del innito si G C\D para
algn disco de C. Diremos que f :GC es analtica en G {} si es
G (Denicin 3.15) y se representa por una serie de potencias
analtica en
en z = en un entorno C \ D de dicho punto. Prubese que f es analtica
1
en G {} si y slo si g(z) = f (1/z) es analtica en = { : z g} y
z
adems admite una extensin analtica a un cierto disco D(0, R).

Prubese que toda funcin racional f (z) acotada cuando z es anal-


tica en el innito.

az + b
38. Hallar el desarrollo de f (z) = en serie de potencias de 1/z (c = 0).
cz + d
Complementos
1. Demustrese que:

z2
sen z z, cos z 1 , tag z z,
2
ez 1 z, Log (1 + z) z,

cuando z 0. A tal efecto resulta de utilidad el Ejercicio 9.


CAPTULO 4

Derivabilidad en C

4.1. Derivabiliad
Denicin 4.1. Sea f : G C C una funcin compleja, G C abierto. Se
dice que f es derivable en z0 G con derivada f (z0 ) si

f (z) f (z0 ) f (z0 + h) f (z0 )


lm = lm = f (z0 ).
zz0 z z0 h0 h
Proposicin 4.2. Sea f : G C C una funcin compleja denida en G C
abierto de C. Que f sea derivable enz0 equivale a que exista C tal que

f (z) = f (z0 ) + (z z0 ) + g(z), (4.1)

donde g(z) = o(|z z0 |) cuando z z0 .


Observacin 4.1. Otra forma equivalente de escribir la relacin (4.1) es poner:

g(z) = h(z)(z z0 ),

donde h es una funcin que cumple lmzz0 h(z) = 0 (h = o(1) cuando z z0 ).


Por razones que se aclaran en el Capulo V las funciones derivables en un
dominio GC se denominan funciones holomorfas en G.
Las propiedades siguientes se prueban exactamente como en el caso de una
variable real.

Proposicin 4.3. Sean f, g : G C C funciones complejas denidas en un


abierto GC y derivables en z0 G. Entonces:
a) f (y tambin g) es continua en z0 . Ms an

|f (z) f (z0 )| L|z z0 |,

si |z z0 | r para ciertas constantes L, r.

71
72 CAPTULO 4. DERIVABILIDAD EN C

b) Para , C la funcin f + g es derivable en z0 con

(f + g) (z0 ) = f (z0 ) + g (z0 ).

c) [Regla de Leibnitz] fg es derivable en z0 y

(f g) (z0 ) = f (z0 )g(z0 ) + f (z0 )g (z0 ).

f
d) Supuesto g(z0 ) = 0 la funcin es derivable en z0 y
g
( )
f f (z0 )g(z0 ) f (z0 )g (z0 )
(z0 ) = .
g g(z0 )2

Es tambin importante la propiedad siguiente.

Proposicin 4.4 (Regla de la Cadena) . Sean f : G C, g : C, G,


abiertos de C, f (z0 ) = w0 con z0 G, w0 y f y g derivables en z0 y w0 ,
respectivamente. Entonces g f (z) = g(f (z)) es derivable en z0 y

(g f ) (z0 ) = g (w0 )f (z0 ) = g (f (z0 ))f (z0 ).

Demostracin. Se tiene:

g(w) = g(w0 ) + g (w0 )(w w0 ) + g1 (w),

y
f (z) = f (z0 ) + f (z0 )(z z0 ) + f1 (z),
con g1 = o(|ww1 |) y f1 = o(|zz0 |) cuando w w0 y z z0 , respectivamente.
Por substitucin directa se tiene:

g(f (z)) = g(f (z0 )) + g (w0 )f (z0 )(z z0 ) + h(z),

con
h(z) = g (w0 )f1 (z) + g1 (f (z)).
Como h(z) = o(|z z0 |) cuando z z0 hemos terminado.

Ejemplo 4.2. Los polinomios y las funciones racionales son derivables en sus
dominios de denicin. El clculo de sus derivadas es idntico al del caso real
pues:
(z n ) = nz n1 .

Proposicin 4.5. f : G C C una aplicacin derivable en G, f (z0 ) = 0


Sea
1
y 1 , 2 dos curvas C (Cap. I) incidentes en z0 . Entonces el ngulo de 1 a 2

en z0 coincide con el ngulo de 1 = f (1 ) a 2 = f (2 ) en w0 = f (z0 ).
4.1. DERIVABILIAD 73

Demostracin. Si i (t), t [a, b], i = 1, 2, son las parametrizaciones de las


curvas, z0 = i (t0 ) resulta:
( ) ( )
2 (t0 ) f (z0 )2 (t0 )
(1 , 2 ) = arg = arg = (1 , 2 ),
1 (t0 ) f (z0 )1 (t0 )

que es lo que se pretenda demostrar.


Si una funcin es derivable en un abierto G C y su derivada f es
f

derivable en z0 entonces (f ) (z0 ) se llama la derivada segunda de f en z0 y

escribimos f (z0 ) en lugar de (f ) (z0 ). De manera anloga se introducen las
derivadas de orden n. Una verdadera gema del anlisis complejo es la propiedad
que arma que una funcin f que es derivable en un abierto G satisface a)

que su derivada f es una funcin continua en G, b) que admite derivadas de
todos los rdenes en G, c) que es analtica en G (cf. Captulo III). Todava
tardaremos lo suyo en esclarecer todo esto (los impacientes pueden acudir a los
textos clsicos de la materia, [23] por ejemplo). La siguiente propiedad juega un
papel fundamental en la prueba de este hecho.


Proposicin 4.6. Sea
n
0 an (z a) una serie de potencias con radio de con-
vergencia > 0. Si representamos por D = D(z, a) el crculo de convergencia y
f (z) la suma de la serie en D entonces f admite derivadas de todos los rdenes
y


f (k) (z) = n(n 1) . . . (n k + 1)an (z a)nk .
n=k

En particular

1 (n)
f (z) = f (a)(z a)n .
n=0
n!

Demostracin. Todo se reduce a probar que f es derivable en D y que su deri-


vada vale:


f (z) = nan (z a)n1 .
n=1

Como el segundo miembro posee el mismo radio de convergencia que la serie


de partida, se le puede aplicar el resultado de derivabilidad para, tras repetir el
proceso k veces, llegar a la conclusin deseada.
Haciendo z=a en la serie derivada k veces se obtiene:

k!ak = f (k) (a).

Daremos dos demostraciones de la derivabilidad de f . La primera es directa,


mientras la segunda hace uso del hecho de que las series de potencias denen
funciones analticas en su disco de convergencia (ver le Teorema 3.16 del Captulo
III).
74 CAPTULO 4. DERIVABILIDAD EN C

A) Primera demostracin. Probamos que f es derivable en cada disco D(a, r)


con 0 < r < .
n=1 nan (z a)
n1
Poniendo f1 (z) = demostramos que:

f (z) f (z0 ) f1 (z0 )(z z0 ) = o(|z z0 |),

cuando z z0 . A tal n es til recordar que:



n|a|n rn1 < ,

mientras escribimos:


N

f (z) = an (z a) +
n
an (z a)n = SN (z) + fN (z),
n=0 n=N +1


N


f1 (z) = an (z a)n1 + nan (z a)n1 = SN (z) + f1,N (z).
n=1 n=N +1

Entonces:


f (z) f (z0 ) f1 (z0 )(z z0 ) = SN (z) SN (z0 ) SN (z0 )(z z0 )
+ fN (z) fN (z0 ) f1,N (z0 )(z z0 ) = I + II.

Ntese que:


( )
II = an (z a)n (z0 a)n n(z0 a)n1 (z z0 )
N +1

( )
= (zz0 ) an (z a)n1 + (z a)n2 (z0 a) + (z0 a)n1 n(z0 a)n1 ,
N +1

de donde (
)

|II| 2 n|an |r n1
|z z0 | < |z z0 |,
2
N +1

para N N . Por otra parte, tomando N = N en I resulta:


|I| |z z0 |,
2
si |z z0 | < . Por tanto |f f1 (z0 )z| = |I + II| |z| si |z| < , donde
z = z z0 . Esto prueba la derivabilidad de f en z0 .
B) Segunda demostracin. Primero comprobamos que la derivada de f en z=a
es a1 . En efecto,



f (z) = f (a) + a1 (z z0 ) + (z a) 2
an (z a)n2 .
n=2
4.1. DERIVABILIAD 75

Como:


f2 (z) = an (z a)n2
n=2

es continua en D la derivabilidad se sigue de manera inmediata.


Tomamos ahora z0 D y recordamos que f (z) se puede representar en la
forma:


f (z) = bn (z z0 )n ,
n=0

donde la serie converge en |z z0 | < |z0 a|, b0 = f (z0 ) y



b1 = nan (z0 a)n1 ,
n=1

(ver el Captulo III). Por tanto, f es derivable en z0 y su derivada es b1 . Eso es


precisamente lo que tenamos que demostrar.

Observacin 4.3. Acabamos de probar que las series de potencias se pueden


derivar trmino a trmino en su crculo de convergencia tantas veces como se
quiera.

Una consecuencia directa de esta proposicin es la siguiente propiedad.

Proposicin 4.7. Sea f una funcin analtica en un abierto G C. Entonces


f es innitamente derivable en G y para cada z0 G, f se representa en la
forma:

1 (n)
f (z) = f (z0 )(z z0 )n . (4.2)
n=0
n!

La expresin (4.2) se conoce como el desarrollo de Taylor de f en z0 .

Ejemplos 4.4.

a) La funcin f (z) = ez es innitamente derivable en C con derivada f (z) = ez .


b) Las funciones f (z) = cos z y g(z) = sin z son innitamente derivables en C
con derivadas f (z) = sen z y g (z) = cos z .
c) [Races n-simas]. Sea

Arg z+2k
f (z) = n
|z|e n i

0 k n 1 una rama de la raz n-sima y z0 C \ {x 0}. Entonces f es


derivable en z0 y
1
f (z0 ) = .
nf (z0 )n1
76 CAPTULO 4. DERIVABILIDAD EN C

En la siguiente propiedad desenterramos el esqueleto real de una funcin


derivable. Si f : G C, f = u + iv , es una funcin compleja y G un abierto
entonces f dene al mismo tiempo la aplicacin real fR : G R2 R2 denida
como fR (x, y) = (u, v). Se recuerda que una aplicacin F : G R R es
2 2

diferenciable en (x0 , y0 ) G si existe L : R R lineal tal que:


2 2

F (x, y) = F (x0 , y0 ) + L(x x0 , y y0 ) + G(x, y), (4.3)

donde G(x, y) = o(r) cuando r 0 con r = |(x x0 , y y0 )|. Si F =


(u(x, y), v(x, y)) la matriz de L tiene la forma:

u u
x y

v v .
x y
Usando la notacin vectorial x0 = (x0 , y0 ), h = (h1 , h2 ) la relacin (4.3) se
escribe equivalentemente como:

F (x0 + h) = F (x0 ) + Lh + o(|h|),

cuando |h| 0.
Teorema 4.8. Sean f : G C C, z0 = x0 + iy0 G, fR : G R2 R2 ,
fR = (u, v) la apliacin real asociada a f.
Las siguientes armaciones son equivalentes:

1) f es derivable en z0 .
2) fR es diferenciable en (x0 , y0 ) y se satisfacen las siguientes relaciones
(ecuaciones de Cauchy-Riemann):

u v
=
x y
.
u v
=
y x

En particular se tiene que:

u v v u
f (z0 ) = +i = i .
x x y y
Demostracin. a) b). Si f es derivable en z0 :

f (z) = f (z0 ) + f (z0 )(z z0 ) + g(z),

con f (z0 ) = + i , g = g1 + ig2 = o(|z z0 |) cuando z z0 . Llamando


F (x, y) = fR (x, y) = (u, v), G = (g1 , g2 ), se tiene:
( )( )
x x0
F (x, y) = F (x0 , y0 ) + + G(x, y),
y y0
4.1. DERIVABILIAD 77

y F es diferenciable en (x0 , y0 ) con

ux = vy = , uy = vx = .

b) a). Se tiene:
( )( )
a a21 x x0
F (x, y) = F (x0 , y0 ) + 11 + G(x, y),
a21 a11 y y0
donde G(x, y) = (g1 , g2 ) = o(|(x x0 , y y0 )|) cuando (x, y) (x0 , y0 ). Lla-
mando = a11 + ia12 , g(z) = g1 + ig2 tal igualdad implica:
f (z) = f (z0 ) + (z z0 ) + g(z),
y f es derivable en z0 con derivada f (z0 ) = .
Observacin 4.5. Si f es derivable el determinante jacobiano de fR vale:

u u

(u, v) x y
= = |f (z0 )|2 .
(x, y) v v
x y
Ejemplo 4.6. La funcin
Log z = log r + i,
con r = |z|, = Arg z es derivable en C \ {z 0} pues u = log r y v =
cumplen las ecuaciones de Cauchy-Riemann. Adems:

x y 1
f (z) = (log r)x + ix = 2
i 2 = .
r r z
Algunas de las propiedades que siguen hacen uso de la estructura real de
una funcin derivable f.
Proposicin 4.9. Sea f : G C C una funcin derivable en un dominio G
tal que f = 0 en G. Entonces f es constante en G.
Proposicin 4.10. Una funcin derivable en un dominio G, f : G C C,
que slo toma valores reales es necesariamente constante.

Proposicin 4.11. Para una funcin derivable y no constante en un abierto


G, f : G C C, se tiene que f nunca es derivable en G. Por otro lado si se
dene g(z) = f(z) con z G = {z : z G}, g s es derivable en G.

Los siguientes resultados guardan relacin con el teorema de la funcin in-


versa. El primero viene a decir que las ramas de inversa de funciones derivables
son ellas mismas derivables. El segundo arma que las funciones con derivada
no nula son localmente invertibles. Segn se probar en su momento, en el ca-

so de funciones de variable compleja f (z0 ) = 0 no slo es condicin suciente
para la invertibilidad local sino que es tambin condicin necesaria para que
f sea localmente inyectiva. Esto claramente no ocurre en el caso real (ejemplo
f (x) = x3 en un entorno de x = 0).
78 CAPTULO 4. DERIVABILIDAD EN C

Proposicin 4.12. Sean f : G C C una funcin derivable en un abierto


G, (g, ) una rama de inversa de f , z0 G. Si w0 = f (z0 ) y f (z0 ) = 0 entonces
g es derivable en w0 y
1
g (w0 ) = .
f (z0 )
Demostracin. Escribimos (w = w0 ):
g(w) g(w0 ) z z0
= ,
w w0 f (z) f (z0 )
donde z = g(w), z0 = g(w0 ). Basta entonces tomar lmites cuando w w0 y
usar la continuidad de g.
Proposicin 4.13. Sea f una funcin derivable en un abierto G C, z0 G,
w0 = f (z0 ) y f (z0 ) = 0. Existen entonces entornos abiertos U de z0 , V de w0
1
tales que f : U V es un homeomorsmo, f es derivable en V y

1
(f 1 ) (z) = .
f (f (z))
Demostracin. Aplicando el teorema de la funcin inversa a fR obtenemos la
1 1
existencia de U, V y que fR es C en V desde el punto de vista real. Como
1 1
en particular f es un homeomorsmo entonces (f ,V ) dene una rama de
inversa de f y hemos terminado.

Observacin 4.7. Puede darse una prueba usando directamente la versin real
1
del teorema. En efecto si = f (z0 ) la diferencial D(fR ) puede codicarse en
C como la aplicacin lineal asociada a . Esto signica, obviamente, que fR1
1

cumple las ecuaciones de Cauchy-Riemann.

Ejemplos 4.8.

a) Si (f, ) es cualquier rama (determinacin) del logaritmo entonces:

1
f (z) = . (4.4)
z
b) Si (f, ) es una rama de inversa de la tangente (una determinacin de la
arcotangente) entonces
1
f (z) = . (4.5)
1 + z2
c) Si (f, ) es una rama de inversa del seno (una determinacin del arcoseno)
entonces:
1
f (z) = ,
1 z2
donde el signo depende especcamente de cada rama. Si f (z) = Arcsen (z),
z = C \ {z 2 1} el signo es ms. Sin embargo para la rama f (z) =
3
Arcsen z (que toma valores en < z < ) el signo es obviamente
2 2
menos. Como puede observarse por inspeccin directa del caso real este no es
un fenmeno nuevo desde el punto de vista complejo.
4.2. FUNCIONES ARMNICAS 79

d) Si (g, ) es una rama de inversa de f (z) = z n , es decir una determinacin


de la raz n-sima y si z0 :

1
g (z0 ) = .
ng(z0 )n1
Algunos de los clculos precedentes nos permiten hallar los desarrollos en
serie de algunas funciones. Considerando que:

1
( Log (1 + z)) = = 1 z + z 2 + + (1)n z n + ,
1+z
es fcil concluir que:




z n+1 zn
Log (1 + z) = (1)n = (1)n1 .
n=0
n + 1 n=1 n

Anlogamente:

z3 z 2n+1
Arctag z = z + (1)n +
3 2n + 1
Otra cuestin que nos planteamos en el captulo anterior fue el desarrollo en
serie de potencias de la funcin

1
f (z) = .
(z a)n
A estos efectos se observa que:

[ ](n1)
n (1)n1 1 (n1) (1)n 1 k k
(z a) = [(z a) ] = a a z
(n 1)! (n 1)!
k=0

k(k 1) . . . (k n + 2) kn+1
= (1)n a(k+1) z
(n 1)!
k=n1
( )
(1)n n 1 + l l
= z.
an+l n1
l=0

Dejamos al lector la tarea de encontrar los dominios de convergencia de las series


implicadas.

4.2. Funciones armnicas


Supongamos que f (z) = u + iv es derivable en un abierto G C. Entonces
u y v admiten derivadas parciales de primer orden en las cuales satisfacen las
condiciones de Cauchy-Riemann:

ux = vy uy = vx .
80 CAPTULO 4. DERIVABILIDAD EN C

Si se sabe adems
1 que u y v admiten derivadas parciales de segundo orden en
G entonces
uxx + uyy = 0, vxx + vyy = 0.
El grupo uxx + uyy se representa como u y se llama el laplaciano de u. La
relacin u = 0 se conoce como la ecuacin de Laplace.
Denicin 4.14. Se dice que una funcin u C 2 (G) es armnica en G si

u = 0,
en G.
Suponiendo que se es capaz de fabricar funciones armnicas u en un dominio
G la pregunta natural es saber si existe otra funcin armnica v tal que f (z) =
u + iv es derivable en G, es decir, de suerte que u, v satisfacen las ecuaciones
de Cauchy-Riemann.

Denicin 4.15. Si u C 2 (G) es armnica se dice que v C 2 (G) es armnica


conjugada de v si f (z) = u + iv es derivable en G.
Teorema 4.16. Sea G un abierto convexo, en particular C D(a, r) para a C,
r > 0. u C 2 (G) es armnica en G entonces existe una funcin armnica
Si
conjugada v C (G). Adems, todas las posibles funciones armnicas conjuga-
2

das de u en G dieren en una constante.

Demostracin. Consideramos el caso G convexo donde suponemos sin prdida


de generalidad que 0 . Para u dato hemos de resolver en v las ecuaciones:

vx = P, vy = Q,
donde P = uy , Q = ux . Al ser u armnica la forma = P dx + Qdy es cerrada
y el lema de Poincar ([25]) implica que = dv para alguna v que se comprueba
inmediatamente que es armnica. En este caso resulta inmediato reproducir el
argumento del lema de Poincar, cosa que hacemos por completitud. Ntese que
slo usamos el hecho de que G es estrellado con respecto a z = 0. Denimos:
1
v(x, y) = {xP (tx, ty) + yQ(tx, ty)} dt = P dx + Q dy,
0
= [0, z]. Comprobamos que vx = P (x, y), en efecto:
1
vx = {P (tx, ty) + xtPx (tx, ty) + ytQx (tx, ty)}
0
1
d
= {P (tx, ty) + t
(P (tx, ty))} dt
0 dt
1 1
= P (tx, ty) dt + P (x, y) P (tx, ty) dt
0 0
= P (x, y).
Se prueba igualmente que vy = Q(x, y).
1 Es
consecuencia de los resultados del captulo siguiente que la mera deivabilidad de f ya
implica que u, v son de clase C as que esta condicin se cumple siempre.
4.3. APNDICE: VARIAS VARIABLES 81

Observacin 4.9.

a) Una vez asegurado que


= dv , v puede denirse alternativamente como
v(z) = (z0 ,z) P dx + Qdy donde es cualquier curva C 1 a trozos que conecta
z0 con z .
b) La construccin prctica de v procede como sigue. Primero integrar, por ejem-
plo en x para tener:

x
v(x, y) = (y) + P (t, y) ds.
x0
y
Despus derivar en y para, usando Py = Qx , concluir (y) =
y0
Q(x0 , s) ds. Se
puede empezar integrando en y para llegar, gracias a a), al mismo resultado.

Ejemplo 4.10. Hallar las funciones enteras f cuya parte real es u = x3 3xy .
La funcin v = f ha de cumplir:

vx = uy = 6xy
vy = ux = 3x2 3y 2 ,

de donde, integrando la primera ecuacin en x resulta:

v = 3x2 y + (y),

derivando con respecto a y y usando la segunda ecuacin:

(y) + 3x2 = 3x2 3y 2 (y) = y 3 + C v = 3x2 y y 3 + C.

Por tanto las funciones buscadas son:

f (z) = z 3 + C,

con C una constante compleja.

4.3. Apndice: diferenciabilidad de funciones de


varias variables complejas
Supongamos que f : G Cn Cm , G abierto de Cn , es una funcin
compleja, f (z) = (fk (z)) = (f1 (z), . . . , fm (z)), z = (zj ) = (z1 , . . . , zn ). Se dice
que f es derivable en z0 si existe L : C C C-lineal tal que:
n m

f (z0 + h) = f (z0 ) + L(h) + g(h),

donde g(h) = o(|h|) cuando h 0 en Cn .


La funcin f induce una aplicacin real:

n) m)
fR : R2 R2 R2 R2 ,
82 CAPTULO 4. DERIVABILIDAD EN C

donde fR (x1 , y1 , . . . , xn , yn ) = (u1 , v1 , . . . , um , vm ), las uk , vk son funciones reales


de (x1 , y1 , . . . , xn , yn ) y se tiene que fk (z) = uk (z) + ivk (z) con z = (x1 +
iy1 , . . . , xn + iyn ).
Con una demostracin enteramente similar a la del Teorema 4.8 se establece
sin esfuerzo el siguiente resultado.

Teorema 4.17. Sea f : G Cn Cm , G abierto, z0 G. Las siguientes


armaciones son equivalentes.

a) f es diferenciable en z0 .
b) fR es diferenciable en sentido real en z0 y adems (ecuaciones de Cauchy-
Riemann):

uk vk

x = y
j j

u k v k
=
yj xj

para 1 j n, 1 k m .

4.4. Ejercicios
1. En qu puntos es derivable la funcin f (z) = |z|2 ?
2. Estudiar la validez de las ecuaciones de Cauchy-Riemann en
z = 0 para la
funcin f (z) = |xy|. Es derivable en el origen?, es derivable en algn
otro punto?

3. Estudiar la diferenciabilidad de la funcin f (z) = x2 + iy 2 .


4. Calclense las derivadas de las siguientes funciones:

a) tag z, b) cotang z, c) sec z, d) cosec z, e) arctag z,

f) arcsen z, g) arccosen z, h) arcsec z, i) arccosec z,


en donde para las funciones circulares inversas arc se toman las ramas
principales (ver los Ejercicios del Captulo III).

5. Comprubense las siguientes relaciones:


a) Argch z= Log (z + z 2 1), b) Argsh z= Log (z + z 2 + 1),
1 z+1
c) Argth z= Log ,
2 z1
donde se ha usado la rama principal de la raz cuadrada. Calclense las
derivadas de dichas funciones.

6. Estudiar la derivabilidad de la funcin log(log(log z)).


4.4. EJERCICIOS 83

7. Para cada una de las funciones siguientes hllese el dominio de holomorfa


y su derivada:

ez 1 1
f (z) = , f (z) = cosec z, f (z) = sec z, f (z) = etag z ,
ez + 1 z

sen( iz + 1)
f (z) = , f (z) = cos ez 1.
z2 + 1
8. Las mismas cuestiones que en el ejercicio 7 para las funciones:

z 4 1, f (z) = Arcsen z 2 , f (z) = eArctag i z
3
f (z) = ,
f (z) = (z 2 +1)z , f (z) = Log ( Log z), f (z) = (1+ez ) Log (1+ez ).

9. Para a C \ {0} se dene la rama principal de za como:

Log z
z a = ea ,
donde Log z designa la rama principal del logaritmo.

a) Prubese que la denicin dada coincide con z n , z n y la rama principal


para n N.
1/n
de z

b) Prubese que z a z b = z a+b , a, b C.


c) Prubese que za es holomorfa en C \ {z 0} con (z a ) = az a1 .
10. Hallar todas las funciones f (z) holomorfas en C que cumplen:


f (z) = f (z),
para un nmero complejo dado C.
11. Usar el ejercicio 10 para dar una nueva demostracin de que:

ez1 +z2 = ez1 ez2 .


Indicacin. Comprense las funciones e+z y e ez .
12. Hallar todas las funciones enteras f (z) tales que:

f (z) + f (z) = 0
en C.
Indicacin. Imitar argumentos similares al caso real.

13. Se introdujo en el captulo anterior la serie binomial:

( 1) ( n + 1) n
g (z) = 1 + + + z + .
n!
Hllense las derivadas de todos los rdenes de g en z = 0. Recurdese
que g (z) coincide con (1 + z) para valores signicativos de .
84 CAPTULO 4. DERIVABILIDAD EN C

14. Se considera la rama principal de (1 + z) ( C). Tras determinar el


dominio de holomorfa de dicha funcin calclense las derivadas sucesivas

de (1 + z) en dicho dominio. Cunto valen stas derivadas en z = 0?
Comparar con el Ejercicio 13.

15. Existen funciones holomorfas f tales que u = f = x2 + y 2 ?

16. Hallar las funciones holomorfas f tales que f = x2 y 2 .

17. Se sabe que f es entera con:

f (z) = u(x) + iv(y).

Probar que f es lineal.

18. Determinar la funcin entera f (z) que satisfaga f (z) = 3x2 4y 3y 2 ,


f (0) = 6 y f (1 + i) = 0.

19. Demostrar que si f : G C C es holomorfa en un dominio G y f (z) R


para todo zG entonces f es constante.

20. Sea G un dominio y f : G C una funcin holomorfa que toma sus


valores en {|z| = 1}. Demostrar que f es constante.

21. Se expresan las partes real e imaginaria u(x, y), v(x, y) de una funcin
compleja f en coordenadas polares para tener U (r, ) = u(r cos , r sen ),
V (r, ) = v(r cos , r sen ). Admitiendo la existencia de todas las deriva-
das parciales primeras, determnese la forma polar de las ecuaciones de
Cauchy-Riemann. Aplicar el resultado para estudiar la holomorfa de las
funciones,


a) rn cos n+irn sen n, b) r1/n cos +ir1/n sen , c) log r2 +2i,
n n

d) r e cos( + log r) + ir e sen( + log r) , R.

Solucin: rUr = V , U = rVr .

22. Estudiar el dominio de holomorfa de la funcin:


{ [ ( )]1/2 }
1+z
f (z) = exp i Log i ,
1z

calculando su derivada. Cul es la imagen del disco unidad {|z| < 1}


mediante f?
Indicacin. Es un anillo.


23. Sea f una funcin holomorfa en un dominio G C. En G = {z : z G}
se dene f (z) = f (z)). Probar que f es tambin holomorfa.
4.4. EJERCICIOS 85

24. Sea una curva C 1 a trozos parametrizada por : [a, b] C con (a) =
z0 , (b) = z1 . Supongamos que f = u + iv es holomorfa en un dominio
convexo G y que G. Prubese que la integral:

uy dx + ux dy,

slo depende de z0 , z1 .

25. Sean fn : G C C diferenciables en G con derivadas continuas 2 y



tales que fn f , fn g uniformemente en G. Prubese que g = f .

26. Sean fn : G C C diferenciables en G con derivadas continuas de



forma que |fn (z)|, |fn (z)| Mn en G con n=1 Mn < . Si se dene:


f (z) = fn (z),
n=1

prubese que f es derivable con:



f (z) = f n (z).
n=1

27. Se considera la serie de potencias con centro en el innito:


an
f (z) = ,
n=0
zn

y radio de convergencia R > 0 (vase el Captulo III). Estdiese la deri-


vabilidad de f en |z| > R y el comportamiento asinttico de las derivadas
cuando z .

28. Sea = (x, y) = (z) una funcin real y continua denida en un dominio
G C \ {0}. Se dice que es una rama del argumento si:
z
ei(z) = z G.
|z|

a) Si es una rama de arg z en G cmo son las otras posibles ramas de arg z
en G?

b) Puede existir una rama de arg z denida en un entorno perforado de


cero de la forma D(0, r) \ {0} ?

c) Demustrese que si es una rama de arg z en G entonces es armnica


en G.
2 Esta condicin es innecesaria en virtud del teorema de Goursat.
86 CAPTULO 4. DERIVABILIDAD EN C

d) En las condiciones de c), prubese que rn cos n, rn sen n son armnicas


(r = |z|).
N
Nota. Se conoce a las expresiones
n
n=0 r (an cos n + bn sen n), an , bn
R, como polinomios armnicos de grado N .

29. Sea G un dominio y g una rama de la raz n-sima de z. Hllense todas


las otras ramas.

30. Prubese que no puede existir una rama de la raz n-sima de z denida
en un entorno de cero {z : |z| < r}.

31. Se sabe que g es continua en un dominio G C, 0


/G (cf. Ejercicios 28,
30) y que cumple:
g(z)n = z,
es decir que g es una rama de la raz n-sima. Prubese que g es derivable
determinando una expresin de su derivada en trminos de g.
32. Demostrar que no existe una rama del logaritmo denida en G = C \ {0}.

33. Prubese que log |z| es armnica en C \ {0}. Admite all una funcin
armnica conjugada?

Indicacin. Vase el Ejercicio 32

34. Sean G, dominios de C, f, h : G C, g : C, h, g holomorfas, h


inyectiva, f continua, de forma que:

h(z) = g(f (z)) z G,

junto con g (w) = 0 en .


a) Probar que f es inyectiva.

b) Probar que f es holomorfa en G dando una expresin de su derivada.


CAPTULO 5

Integracin compleja

5.1. Integral de Riemann compleja


Para su uso inmediato llamamos particin P = {t0 , . . . , tn } de [a, b] a toda
sucesin de valores reales a = t0 < t1 < < tn = b. Designamos por P al
conjunto de tales particiones. Para una funcin acotada f : [a, b] C y P P
una suma de Riemann asociada consiste en la expresin:


n
s(P ) = f (i )ti ,
i=1

donde i [ti1 , ti ], ti = ti ti1 .


Denicin 5.1. Una funcin acotada f : [a, b] C es Riemann integrable (R-
integrable) si existe C tal que para cada > 0 existe P P cumplindose:

|s(P ) | <

para toda P P , P P . Denotamos R[a, b] el conjunto de las funciones


Riemann-integrables en [a, b]. Es costumbre asimismo escribir

b b
= f (t) dt = f= f,
a a I

donde I = [a, b].


Proposicin 5.2. Una funcin acotada f R[a, b] si slo si f R[a, b],
f R[a, b] y se cumple:

b b b
f= f + i f.
a a a

Observacin 5.1. Una denicin equivalente de funcin compleja f (t) = f1 (t) +


if2 (t) Riemann-integrable consiste en pedir que f1 y f2 sean Riemann-integrables.

87
88 CAPTULO 5. INTEGRACIN COMPLEJA

Se incluye a continuacin una relacin de propiedades bsicas de la integral


de Riemann. Remitimos al lector a la referencia [3].

Proposicin 5.3 (Linealidad) . Sean f, g R[a, b], , C. Entonces f +


g R[a, b] y
b b b
(f + g) = f + g.
a a a

Proposicin 5.4 (Aditividad en el intervalo de integracin). Sea f una funcin


acotada en [a, b] y a < c < b.
a) Si f R[a, b] entonces f R[a, c], f R[c, b] y:

b c b
f= f+ f.
a a c

b) Si f R[a, c] y f R[c, b] entonces f R[a, b] y se tiene la identidad


precedente.

Para uso posterior adoptamos los convenios:

a a b
f = 0, f = f.
a b a

Una denicin relevante para lo que sigue es la siguiente.

Denicin 5.5 (C
1
a trozos) .
: [c, d] C es C 1
Se dice que una funcin
1
a trozos si o bien es C en [c, d] o bien es continua en [c, d] y existe una
1
particin P de [c, d] tal que es C en cada intervalo [tk1 , tk ] entendindose
las derivadas en tk1 y tk por la derecha e izquierda respectivamente aunque

quizs (t) = (t+) en los puntos de P .

Proposicin 5.6 (Cambio de variable). Sea f R[a, b] y : [c, d] [a, b] una


funcin montona, C1 a trozos, ([c, d]) = [a, b]. Entonces f R[c, d] y
(d) d
f (t) dt = f ((s)) (s) ds.
(c) c

El siguiente resultado importante caracteriza la integrabilidad Riemann de


las funciones acotadas.

Teorema 5.7 (Lebesgue) . Sea f acotada en [a, b] y

D = {t [a, b] : f no es continua en t}.

Entonces f es integrable Riemann en [a, b] si y slo si D es un conjunto con


medida de Lebesgue cero.

Observacin 5.2. Ntese que los conjuntos numerables (sucesiones, pongamos


por caso) son ejemplos de conjuntos con medida de Lebesgue cero.
5.1. INTEGRAL DE RIEMANN COMPLEJA 89

Proposicin 5.8 (Valor absoluto) . Si f R[a, b] entonces |f | R[a, b] y se


tiene:

b b

f |f |.
a a

Demostracin. La integrabilidad se sigue de que el conjunto donde |f | es dis-


continua es menor que aqul donde lo es f.
b
Merece la pena probar la estimacin de | a
f| usando el curioso argumento
de [4]. Escribiendo:
b
f = Rei ,
a

i
e f = g = g1 + ig2 resulta:
b b b b
b

f = R = g= g1 |g| = |f |.
a a a a a

El resultado siguiente se conoce como teorema fundamental del clculo.

Teorema 5.9 (Teorema fundamental del clculo) . Sea f : [a, b] C una


funcin continua. Entonces:

1) Si para cada t [a, b] ponemos,

t
F (t) = f (s) ds,
a

entonces F es derivable en [a, b] con F (t) = f (t).


2) Si f es C1 a trozos en [a, b] entonces:

t1
f = f (t1 ) f (t0 ),
t0

para t0 , t1 [a, b] arbitrarios.

Una consecuencia importante es la siguiente propiedad.

Proposicin 5.10. Sea : [a, b] C de clase C 1 a trozos y f : G C


C derivable con derivada continua en un abierto G. Si (t) G para todo t
entonces:
b
f ((b)) f ((a)) = f ((t)) (t) dt.
a
90 CAPTULO 5. INTEGRACIN COMPLEJA

5.2. Integrales complejas


Una aplicacin C1 a trozos : [a, b] C tal que (t) = 0 para todo t se
denomina una parametrizacin C 1 (omitiremos con frecuencia el calicativo a
trozos para abreviar).
Dos parametrizaciones C 1 , i : [ai , bi ] C, i = 1, 2, se dicen equivalentes
y escribiremos 1 2 si existe una transformacin (cambio de parmetro) C 1
: [a1 , b1 ] [a2 , b2 ] tal que (s) > 0 y 1 (s) = 2 ((s)) para todo s [a1 , b1 ].
1
Llamamos curva orientada C a una parametrizacin y todas sus parametri-
zaciones equivalentes. Ms formalmente, la relacin  1 2  es de equivalencia
entre las parametrizaciones y as una curva consiste en una clase de equivalen-
cia. Si z0 = (a), z1 = (b) decimos que es una curva de z0 hasta z1  dando a
entender que estamos recorrindola en un sentido preciso. Con frecuencia iden-
ticaremos la curva con su rbita = {z C : z = (t), t [a, b]}, teniendo
presente que en clculos de integrales hay que asignarle un sentido a su reco-
rrido.
Dada una curva orientada : [a, b] C su opuesta es la denida por la
parametrizacin (t) = (t) con dominio [a1 , b1 ] = [b, a]. Si va de z0 a z1
entonces va de z1 a z0 .
Suma de curvas. Dadas dos curvas orientadas con sendas parametrizacio-
nes i : [ai , bi ] C, i = 1, 2, se dene la curva suma 1 + 2 mediante la
parametrizacin : [a1 , b1 + (b2 a2 )] C,
{
1 (t) a1 t b1
(t) =
2 (a2 + (t b1 )) b1 < t b1 + (b2 a2 ).

Esto signica que primero recorremos 1 y a continuacin recorremos 2 . La


operacin suma de curvas se introduce pensando en la integracin compleja
y por tanto no es necesario que 1 + 2 sea de nuevo una parametrizacin.
No obstante y por claridad de ideas asumiremos por el momento que 1 (b1 ) =
2 (a2 ). En este caso, 1 + 2 s parametriza una curva C 1 .
Curvas cerradas orientadas son aquellas que corresponden a parametrizacio-
nes : [a, b] C tales que (a) = (b). Si es una curva cerrada y n N
escribiremos
n)
n = + + ,
que equivale a recorrer n en el mismo sentido. Si (t) = e2it , t [0, 1],
veces
entonces n se parametriza por (t) = e2it con t ahora recorriendo el intervalo
[0, n]. Anlogamente n = n(). En el ejemplo anterior (t) = e2it ,
t [1, 0], aunque puede darse por una parametrizacin equivalente tomando
t [0, 1]. En este sentido n se parametriza por (t) = e2it , t [0, n].
Curvas de Jordan. Una curva cerrada continua : [a, b] C tal que es
inyectiva en [a, b) se llama una curva (orientada) de Jordan. Si tambin repre-
sentamos por su rbita {z = (t) : t [a, b]} est claro que C \ posee una
componente conexa no acotada. Esto es cierto para todas las curvas cerradas
y la llamaremos la componente exterior Ce de . Adems las restantes posibles
5.2. INTEGRALES COMPLEJAS 91

componentes de C\ han de ser acotadas. En el caso de curvas de Jordan se


demuestra y no es tarea sencilla que C\ posee exactamente dos componentes
cuya frontera comn es , la componente exterior Ce y otra componente que en
este caso se denomina la componente interior Ci de . Tal es el contenido del
clebre teorema de la curva de Jordan (vanse [3], [19], [8]).

Denicin 5.11. Dada una parametrizacin C1 a trozos


1 se dene la variacin
total de :
b
V () = | (t)| dt.
a

Si 1 2 son parametrizaciones equivalentes V (1 ) = V (2 ) (se deja como


ejercicio). Tal cantidad se denomina la longitud de arco () de la curva que
denen.

Denicin 5.12. Si es una curva C1 en un abierto GCyf :GC es


continua se dene la integral (de lnea) compleja de f sobre como:
b
f (z) dz = f ((t)) (t) dt.
a

Denimos asimismo:

b
f (z) |dz| = f ((t))| (t)| dt.
a

Ejemplos 5.3.
dz
1. z
= 2i, z = eit , t [0, 2].
dz
2. zn
= 0, z = eit , t [0, 2], n 2.
n 1
3.
z dz = [bn+1 an+1 ], = [a, b].
n+1
Proposicin 5.13. Consideremos f y g en las condiciones de la Denicin
5.12. Entonces:

1.
f no depende de la parametrizacin.

2.
f =
f.

3. | f dz|
|f | |dz| sup |f |V ().
4. Si 1 , 2 son parametrizaciones C1 en G 1 + 2
y es una parametrizacin
C 1:
f= f+ f.
1 +2 1 2

1 En lo que sigue sobrentendemos el calicativo a trozos.


92 CAPTULO 5. INTEGRACIN COMPLEJA

Denicin 5.14. Una funcin continua f : G C C, denida en un abierto


G C, admite una primitiva si existe una funcin derivable F en G tal que
F (z) = f (z) para todo z G.

Proposicin 5.15. Si f admite una primitiva F en un abierto G y G es


C1 entonces:
f dz = F (z1 ) F (z0 ),

donde z0 = (a), z1 = (b). En particular, la integral es cero si es cerrada.

Observacin 5.4. En R las funciones continuas siempre admiten una primitiva.


1
Esto no es cierto en el caso complejo. f (z) = es continua en C \ {0}, sin
z
embargo no admite primitiva alguna pues:


dz
= 2i,
z

donde (s) = eis , s [0, 2].

5.3. El teorema de Cauchy en crculos: conse-


cuencias
Empezamos con un resultado auxiliar

Teorema 5.16. Sea:

: [a, b] [c, d] R2 C
(s, t) 7 (s, t)


una aplicacin continua tal que tambin es continua en [a, b] [c, d]. En-
t
tonces:
b
g(t) = (s, t) ds,
a

es derivable en [c, d] con derivada,

b

g (t) = (s, t) ds.
a t

Lema 5.17. Sea = D(a, r) parametrizado por (s) = a + reis , s [0, 2].
Entonces:
d
= 2i,
z
para todo z D(a, r).
5.3. EL TEOREMA DE CAUCHY EN CRCULOS 93

Demostracin. Probaremos ms adelante que la integral no depende de z


D(a, r) (Teorema 5.40) y por tanto su valor ha de ser 2i, el que correspon-
de a z = a. No obstante deduciremos el resultado usando el Lema 5.16 y un
argumento de continuidad.
Para t [0, 1] ponemos:

d
g(t) =
a t(z a)

que es continua y derivable en [0, 1] con derivada:



d d
g (t) = (z a) = (z a) ,
( a t(z a))2 2

con la curva cerrada (s) = reis t(z a), s [0, 2]. Por tanto g (t) = 0,
as g(1) = g(0) y g(0) = 2i.
Observacin 5.5. En el Ejercicio 15 se propone otra demostracin directa del
lema.

El que sigue es el resultado crucial del curso.

Teorema 5.18 (Frmula de Cauchy en crculos). Sea f : G C derivable con


derivada continua . Si
2 D(a, r) G, (s) = a + reis , t [0, 2] parametriza
D(a, r) entonces f se puede representar en la forma:

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

para z D(a, r).


Demostracin. En virtud del lema previo, hemos de probar que:

f () f (z)
d = 0.
z

Para t [0, 1] denimos:


f (t( z) + z) f (z)
g(t) = d
z

que es continua y derivable en [0, 1] con:



1
g (t) = f (t( z) + z) d = f (1 ) d1 ,
t

donde (s) = z + t((s) z), (s) = reis + a, dene una curva cerrada. Por
tanto g (t) = 0. Ello signica que g(0) = g(1) = 0.
2 Esta hiptesis es innecesaria en virtud del Teorema de Goursat (Teorema 5.29).
94 CAPTULO 5. INTEGRACIN COMPLEJA

Lema 5.19. Sea G una curva C1 a trozos en un abierto G C y fn


una sucesin de funciones continuas que converge uniformemente a f sobre g .
Entonces:
lm fn = f.

El siguiente teorema establece que las funciones derivables con continuidad


son analticas, en particular C .
Teorema 5.20. Sea f : G C C, G abierto, una funcin derivable con
derivada continua, mientras D(a, r) G. Entonces:

n
f (z) = an (z a) (5.2)
n=0

para z D(a, r) siendo la serie absolutamente convergente. Por tanto, f es


analtica enG y (5.2) es el desarrollo de Taylor de f:

f (n) (a)
an =
n!
para cada n N. En consecuencia los coecientes an no dependen del radio r
del disco D(a, r). Ms an:

(n) n! f (z)
f (a) = dz (5.3)
2i |za|=R (z a)(n+1)

para cualquier 0<R<r donde |z a| = R se recorre en sentido positivo.

Observacin 5.6. Las identidades (5.1) y (5.3) se conocen como las frmulas de
Cauchy. Ms adelante se extienden a curvas cerradas muchos ms generales que
la circunferencia.

Corolario 5.21. Sea f : G C C una funcin derivable con derivada


continua en un abierto G C, a G y 0 = dist(a, G). Entonces la serie de
Taylor (5.2) de f en a tiene radio de convergencia 0 .
Ejemplo 5.7. La funcin f (z) = Log (1 + z) es derivable en G = C \ (, 1]
con derivada continua. La serie de Taylor de f en z = z0 G es:


g(z) = Log (1 + z0 ) + (1)n (1 + z0 )n (z z0 )n ,
n=1

cuyo radio de convergencia es exactamente |z0 +1|. Sin embargo, para z0 < 1
la distancia dez0 a la frontera de G es exactamente |z0 | que es estrictamente
menor que |z0 +1|. As pues f (z) coincide con su serie de Taylor en |zz0 | < |z0 |
aunque sta ltima converja en una regin mayor.

Una cuestin planteada y resuelta ad hoc en el Captulo III se vuelve a


establecer ahora de manera ms directa.
5.3. EL TEOREMA DE CAUCHY EN CRCULOS 95


Corolario 5.22. Si f (z) es la suma de una serie de potencias n=0 bn (z b)
n

en su disco de convergencia D(b, ) entonces f es analtica en D(b, ).

Corolario 5.23. Si f es derivable en C con derivada continua entonces:



f (z) = an z n
n=0

para z C. En particular el radio de convergencia de la serie es r= y f es


una funcin entera (Captulo III).

Teorema 5.24 (Teorema de Cauchy en un crculo) . Sea f derivable en un


crculo D(a, r) con derivada continua en D(a, r). Si es una curva cerrada y
C 1 a trozos en D(a, r) se tiene que

f = 0.

Corolario 5.25 (Estimaciones de Cauchy) . Sea f una funcin derivable con


derivada continua en un abierto G C. Si D(a, R) G y M = supD(a,R) |f |
entonces para cada nN se tiene que:

n!M
|f (n) (a)| .
Rn

Teorema 5.26 (Teorema de Liouville) . Si f : C C es entera y acotada


entonces f es constante.

Demostracin. Sea M = sup |f | y R > 0 arbitrario. En virtud del Corolario


5.25 se tiene para z C jado

M
|f (z)| .
R

Por tanto f (z) = 0 y f es constante.

El teorema de Liouville proporciona una prueba directa del Teorema Fun-


damental del lgebra (vase el Captulo II).

Corolario 5.27. Si p(z) es un polinomio de grado n1 entonces existe aC


tal que p(a) = 0.

1
Demostracin. Si fuese p(z) = 0 para todo z entonces sera entera y aco-
p(z)
tada lo cual no es posible.
96 CAPTULO 5. INTEGRACIN COMPLEJA

5.4. Teoremas de Morera y de Goursat


Dados tres puntos {z0 , z1 , z2 } el tringulo orientado T de vrtices {z0 , z1 , z2 }
(cf. [23]), dados en ese orden, se dene como la envolvente convexa de {z0 , z1 , z2 }:
T = Co({z0 , z1 , z2 }) = {t0 z0 + t1 z1 + t2 z2 : tj [0, 1], t0 + t1 + t2 = 1}
El interior de T es:

T = {t0 z0 + t1 z1 + t2 z2 : tj (0, 1), t0 + t1 + t2 = 1}
mientras su frontera es la traza de la poligonal = [z0 , z1 , z2 , z0 ] que se de-
nomina T . Ntese que se ha tomado una orientacin en la frontera. Si f es
continua en T entonces:

f (z) dz = f (z) dz + f (z) dz + f (z) dz.
T [z0 ,z1 ] [z1 ,z2 ] [z2 ,z0 ]

Teorema 5.28 (Teorema de Morera). Sea f :GC una funcin continua en


un abierto GC con la propiedad de que:

f (z) dz = 0,
T

sobre todo tringulo T G. Entonces f es holomorfa en G y su derivada f es


continua en G.
Demostracin. Es suciente con demostrar el teorema en cada disco D(a, r)
G. En un tal disco denimos

F (z) = f () d.
[a,z]

La funcin F es derivable en D(a, r) y su derivada en D(a, r) es f . Por tanto F


es de clase C y f = F es derivable con continuidad en D(a, r).
Una consecuencia importante es el siguiente resultado.

Teorema 5.29 (Teorema de Goursat) . Sea f :GC una funcin derivable



en G. Entonces la derivada f es una funcin continua en G.
Demostracin. Se reduce a demostrar que se satisfacen las condiciones del Teo-
rema de Morera en cada disco D(a, r) G (cf. [7]).

5.5. Ceros de las funciones holomorfas


Denicin 5.30. Sea f :GC una funcin derivable en una abierto G C.
Se dice que z=a de G es un cero de orden m de f si

f (z) = (z a)m g(z),


donde g es derivable en G y g(a) = 0.
5.6. PRINCIPIO DEL MDULO MXIMO 97

Observacin 5.8. Vase ms abajo el Corolario 5.33 para una caracterizacin


ms razonable de los ceros de una funcin derivable.

Teorema 5.31. Sea f :GC una funcin derivable en un dominio G C.


Las siguientes armaciones son equivalentes:

1. f 0.
2. Existe aG tal que f (n) (a) = 0 para todo n N.
3. El conjunto {z : f (z) = 0} posee un punto de acumulacin en G.

Corolario 5.32 (Principio de Prolongacin Analtica) . Sean f y g son dos


funciones complejas derivables en un dominio G C. Si el conjunto:

{z G : f (z) = g(z)}

admite un punto de acumulacin en C entonces f =g en G.

El resultado precedente asegura que la estructura de una funcin derivable


en un dominio G queda estrictamente controlada por sus valores en un conjunto
muy pequeo. En otras palabras, no hay sino una nica manera de extender una
funcin derivable desde un pequeo conjunto (v.g. una bola) hasta un dominio
G que la contenga. Por esta razn se denomina holomorfas a las funciones
derivables. El trmino procede de los vocablos griegos holos (todo, total) y
morphos (forma) y viene a querer decir de una pieza. Fue introducido por
los matemticos franceses Ch. Briot y J. C. Bouquet.
En lo que sigue usaremos ese apelativo para referirnos a las funciones deri-
vables y por H(G) denotaremos el conjunto de las funciones holomorfas en un
abierto G C.

Corolario 5.33. Sea f H(G). El punto z =a es un cero de orden m si y


slo si
f (k) (a) = 0 k = 0, . . . , m 1, f (m) (a) = 0.

Corolario 5.34. Los ceros de una funcin holomorfa no nula son siempre ceros
de orden m para algn m N. En particular tales ceros son siempre aislados.

5.6. Principio del mdulo mximo


El siguiente resultado es de suma importancia especialmente en el campo de
las ecuaciones en derivadas parciales donde se le conoce como el principio del
mximo ([14]).

Teorema 5.35. Sea f H(G) donde G es un dominio. Si existe a G tal que


|f (z)| |f (a)| para todo z G entonces f es constante en G.

La demostracin se basa en la siguiente propiedad descubierta originalmente


por Gauss en sus trabajos en teora del potencial.
98 CAPTULO 5. INTEGRACIN COMPLEJA

Teorema 5.36 (Propiedad de la Media). Sea f H(G) y D(a, r) G. Enton-


ces:
2
1
f (a) = f (a + reit ) dt.
2 0

Demostracin. Consecuencia inmediata de la frmula de Cauchy.

Demostracin del Teorema 5.35. Se dene:

M = {z G : |f (z)| = M }.

con M = |f (a)|. M es cerrado y no vaco. Como consecuencia de la propiedad


de la media tambin es abierto y as M = G.

Como aplicacin del teorema se obtiene una prueba del teorema fundamental
del lgebra (vanse los ejercicios).

5.7. ndice de una curva


Sea 1 (t) = a + re2ti , t [0, n]. La parametrizacin recorre n veces la
circunferencia en sentido positivo alrededor de a, mientras 2 (t) = a + re2ti ,
t [0, n], efecta la misma operacin pero en sentido negativo.
Ntese que:


1 dz 1 dz
=n = n.
2i 1 za 2i 2 za

A n de generalizar esta observacin se tiene en primer lugar.

Proposicin 5.37. Sea C una curva C1 a trozos y a


/ . Entonces la
integral:

1 dz
(5.4)
2i za
siempre toma valores enteros.

Denicin 5.38. El ndice n(, a) de una curva con respecto a un punto


a
/ se dene como el valor de la integral (5.4). Tambin se conoce como
nmero de vueltas de en torno al punto a.

Observacin 5.9. Puede probarse que como en el caso del ejemplo preliminar
n(, a) describe el nmero neto de circunvoluciones que efecta alrededor de
a (cf. [19]).

Las siguientes propiedades ayudan a digerir el concepo.

Proposicin 5.39. Sean 1 , 2 curvas cerradas de clase C1 a trozos.

1. n(1 , a) = n(1 , a).


5.7. NDICE DE UNA CURVA 99

2. Si 1 y 2 comparten un punto
3 y por tanto 1 + 2 es de nuevo una curva
cerrada, entonces:

n(1 + 2 , a) = n(1 , a) + n(2 , a).

Si es una curva cerrada C\ posee a lo ms una cantidad numerable de


componentes C y slo una de ellas es no acotada, la que designamos como la
componente exterior Ce de .

Teorema 5.40. Si es una curva cerrada C 1 a trozos, n(, z) es constante


sobre las componentes C de C \ . Adems n(, z) se anula sobre la componente
Ce .

Observacin 5.10. Dada una curva cerrada, C 1 y no constante puede asegurarse


que n(, z) es no nulo en alguna componente? Posible respuesta: escribir =
1 + 2 con 2 de Jordan y tomar z en el interior de 2 .

El siguiente resultado no es precisamente de los de demostracin sencilla


([19]) salvo que se empleen herramientas adecuadas como el grado topolgico
(cf. [24]).

Teorema 5.41. Si es una curva de Jordan C1 entonces n(, z) = 1 en la


componente interior de .

Como en el caso de 1 (t) = a + reit , 2 (t) = a + reit , t [0, 2], las curvas
de Jordan se clasican en positivas o negativas de acuerdo con el signo de n(, z)
en la componente interior.
Comprobaremos que n(, z) es invariante frente a homotopas siempre que
el proceso de deformacin no atraviese el punto z (cf. Seccin 5.9. Esto contri-
buir enormemente a conocer el ndice de gran cantidad de curvas sencillas. Por
ejemplo, todas las curvas poligonales convexas que se describen a favor de las
agujas del reloj tienen ndice 1 (medido desde la componente interior).
No obstante la siguiente versin ms dbil es lo suciente verstil como para
abarcar la mayora de los ejemplos que consideramos.

Proposicin 5.42. i : I C, i = 1, 2, curvas cerradas C 1 denidas en


Sean
I = [0, 1], i (0) = i (1), i = 1, 2. Supongamos que existe : I I C continua

con continua tal que:
s
a) (s, 0) = 1 (s), (s, 1) = 2 (s), s I .

b) (0, t) = (1, t), t I .


Si z / (I I) entonces:

n(1 , z) = n(2 , z).


3 Esto no es imprescindible porque la integral de lnea se puede denir de forma tal que sea
aditiva en las curvas aunque no se corten entre s.
100 CAPTULO 5. INTEGRACIN COMPLEJA

0
+1
g g2 g1

-1

Figura 5.1: La curva es suma de 1 y 2 . Obsrvense los distintos ndices de


las componentes.

Tpicamente 1 es una curva de Jordan dentro de otra curva de Jordan 2 y


es posible denir como
(s, t) = 1 (s) + t(2 (s) 1 (s)).
1 y 2 de la gura 5.1 tienen
Por este procedimiento se ve que las curvas
+1 y 1. La curva = 1 +2 . Se calculan as los ndices de las diferentes
ndices
componentes de C \ .

5.8. Teorema de Cauchy: versin homolgica


En sta y la prxima seccin tratamos de la cuestin siguiente. Si f es una
funcin holomorfa f H(G) ser cierto que:

f =0 (5.5)

para una curva cerrada de clase C1 en G? Anlogamente ser cierto que:



1 f ()
n(, z)f (z) = d, (5.6)
2i g z
para todo z G \ ?
Se ha respondido armativamente en el caso de la bola D(a, r). Sin embargo,
la geometra del dominio G (presencia de agujeros) y la posicin relativa de
dentro de
G son importantes. En efecto 1/z es holomorfa en C \ {0} y sin
embargo

1/z = 2i, = eit , t [0, 2].
En esta seccin nos ocupamos del siguiente problema: dada una curva cerrada
en un abierto G qu condiciones debe cumplir para que se satisfagan las
relaciones (5.5), (5.6) cualquiera que sea la funcin holomorfa f H(G)?
Introducimos la siguiente denicin.

Denicin 5.43. Se dice que una curva cerrada y C 1 a trozos G, G C


un abierto, es homloga a cero en G y escribimos 0 si se tiene que:
n(, z) = 0,
5.8. TEOREMA DE CAUCHY: VERSIN HOMOLGICA 101

g g1 g

G G

Figura 5.2: La curvas cumplen 0 en G. En cambio 1 0 en G.

para todo z
/ G.
Observacin 5.11. Si hace vlidas las propiedades (5.5), (5.6) para funciones
1
holomorfas arbitrarias, entonces 0. En efecto, basta tomar f (z) =
za
con a
/G para concluir que tiene que ser homloga a cero.

El mejor ejemplo se da en la siguiente propiedad.

Proposicin 5.44. Sea una curva de Jordan C 1 a trozos contenida en un


abierto G C. Entonces 0 en G si y slo si su componente interior Ci G.
En la gura 5.2 se muestran curvas de Jordan y no de Jordan homlogas a
cero en G.
Para su uso en el resto del captulo introducimos la siguiente nocin. Dada
una familia de curvas cerradas 1 , . . . , m introducimos la suma = 1 + +m
por el mismo procedimiento que en la Seccin 5.2 aunque el resultado sea de
facto una curva slo continua a trozos. Para tales curvas se denen:


m m

n(, z) = n(k , z), f= f,
k=1 k=1 k

donde z / k para todo k y f es continua sobre los k . Es costumbre llamar


cadena a tal suma (cf. [25]). Como en el caso precedente se dice que una cadena
es homloga a cero 0 si


m
n(, z) = n(k , z) = 0,
k=1

para todo z
/ G.
En la gura 5.3 se dan ejemplos de cadenas homlogas a cero en G.
El resultado siguiente se debe a J. D. Dixon (1971) ([9]).

Teorema 5.45 (Frmula de Cauchy) .


G un abierto de C y f H(G). Si
Sea
es una curva cerrada
1
C 0 en G entonces:
a trozos tal que

1 f ()
n(, z)f (z) = d, (5.7)
2i z
para todo z G\
102 CAPTULO 5. INTEGRACIN COMPLEJA

g1 g1 g2

g2 g3
G G

Figura 5.3: Cadenas homlogas a cero en G. A la izquierda 1 + 2 + 3 . A la


derecha 1 + 2 .

Corolario 5.46 (Teorema de Cauchy). Si f H(G) y es una curva cerrada


a trozos que es homloga a 0 en G entonces:

f = 0.

Corolario 5.47. Sean G C un abierto, f H(G) y C una curva de


Jordan C1 a trozos orientada positivamente con interior Ci G. Entonces:

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

para todo z Ci .
La frmula de Cauchy se extiende fcilmente a las derivadas. Slo hace falta
la propiedad siguiente.

Proposicin 5.48. Sea C una curva cerrada C1 a trozos y g una funcin


continua en . Entonces

g()
fm (z) := dz
( z)m

es derivable en C\ con derivada


fm (z) = mfm+1 (z).

En particular, si f (z) = f1 (z) se tiene que:

f (m) (z) = m!fm+1 (z).

Se tiene entonces el siguiente resultado.

Teorema 5.49. En las condiciones del Teorema 5.45 se tiene que:



m! f ()
n(, z)f (m) (z) = d, (5.8)
2i ( z)m+1
5.8. TEOREMA DE CAUCHY: VERSIN HOMOLGICA 103

para todo z G \ , m N. En particular, si cumple las condiciones del


Corolario 5.47 se tiene que:

m! f ()
f (m) (z) = d,
2i ( z)m+1
para todo z Ci .
Demostracin. Basta con derivar m veces la igualdad (5.7) observando los dos
miembros como una funcin de zD(z0 , r) que no corte a . Como
en una bola
n(, z) es constante en dicha bola ese trmino no se deriva y se tiene la identidad
deseada en z0 , donde z0 vara arbitrariamente en G \ {z0 }.

Los Teoremas 5.45 y 5.49 y el Teorema de Cauchy se extienden fcilmente a


cadenas.

Teorema 5.50. Sea f H(G) y = 1 + + m una cadena C1 a trozos que


cumple 0 en G. Entonces:
m
a)
f (z) dz = k=1 k f (z) dz = 0.
b) Se tiene:

m
m
1 f ()
{ n(k , z)}f (z) = d, (5.9)
2i k z
k=1 k=1

para todo z G \ .
b) Se cumple asimismo:


m
m
n! f () n+1
{ n(k , z)}f (n)
(z) = ) d, (5.10)
2i k ( z
k=1 k=1

para todo z G\ y n N.
Una bonita aplicacin del Teorema 5.50 es la frmula de Cauchy para anillos.

Proposicin 5.51. Sea f H(A) donde A = A(a; R1 , R2 ) = {z : R1 < |z a| < R2 },


R1 < R2 . Sean j (s) = a + rj eis , s [0, 2], j = 1, 2, R1 < r1 < r2 < R2 .
Entonces:
1 f () 1 f ()
f (z) = dz dz.
2 2 z 2 1 z
Otra aplicacin interesante.

Proposicin 5.52. Sea f H(G \ {z1 , . . . , zm }) donde G C un abierto


y {z1 , . . . , zm } G. Sea una curva de Jordan C 1 a trozos con Ci G y
{z1 , . . . , zm } Ci . Sean j , j = 1, . . . , m, circunferencias con centro en zj ,
j Ci , de la misma orientacin que y tales que las j son disjuntas dos a
dos. Entonces:
m

f (z) dz = f (z) dz.
j=1 j
104 CAPTULO 5. INTEGRACIN COMPLEJA

5.9. Teorema de Cauchy: versin homotpica


Denicin 5.53. Sean i : I C, I = [0, 1], i = 0, 1, dos curvas cerradas C 1
a trozos en un abierto G C. Se dice que 0 y 1 son homotpias en G y se
0 1 (en
escribe G) si existe una aplicacin : I I C, = (s, t) (una
homotopa) con las siguientes propiedades:

a) es continua.

b) (s, 0) = 0 (s), (s, 1) = 1 (s), s I .


c) (0, t) = (1, t), t I .
d) (I I) G
Observacin 5.12. La denicin de curvas cerradas homotpicas se introduce
sin cambio alguno en el contexto de las curvas cerradas meramente continuas.

Denicin 5.54. Se dice que una curva cerrada C 1 a trozos en un abierto


GC es homotpica a cero en G y se escribe 0 (en G) si 0 donde 0
es una curva cerrada constante 0 (s) = z0 para z0 G y todo s I .
Ejemplo 5.13. Si G es un abierto convexo o un abierto estrellado con respec-
to a un cierto punto a G entonces todas las curvas cerradas de G son
homotpicas a cero en G.
Denicin 5.55. Se dice que un dominio GC (un conjunto abierto y conexo
de C) es simplemente conexo si toda curva cerrada en G es homotpica a cero
en G.

Podemos enunciar ya la versin homotpica del Teorema de Cauchy.

Teorema 5.56. Sea G C un abierto, f H(G) y una curva cerrada C1 a


trozos en G. Si 0 en G entonces:

f (z) dz = 0.

El teorema es consecuencia del resultado ms general siguiente.

Teorema 5.57. Sean G C un abierto, f H(G) y i , i = 0, 1 dos curvas


cerradas C1 a trozos en G. Si 0 y 1 son homotpicas en G entonces:

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

Otro corolario del teorema es el siguiente.

Corolario 5.58. Sea GC un abierto y una curva cerrada C1 a trozos en


G. Si es homotpica a cero en G ( 0 en G) entonces es homloga a cero
en G ( 0 en G).
Anlogamente.
5.9. TEOREMA DE CAUCHY: VERSIN HOMOTPICA 105

Corolario 5.59. Sean i , i = 0, 1 dos curvas cerradas C 1 a trozos en C, 0 y


1 homotpicas en C mediante una homotopa : I I C. Si z C satisface
que:
z
/ (I I)
entonces se tiene que:
n(1 , z) = n(0 , z).
La nocin de homotopa no se limita a curvas cerradas.

Denicin 5.60. Sean i : I C, I = [0, 1], i = 0, 1,


C 1 a trozos
dos curvas
en un abierto G C con los mismos extremos, es decir, tales que 0 (0) = 1 (0)
y 0 (1) = 1 (1). Se dice que 0 y 1 son homotpias en G y se escribe 0 1
(en G) si existe una aplicacin : I I C, = (s, t) (una homotopa) con
las siguientes propiedades:

a) es continua.

b) (s, 0) = 0 (s), (s, 1) = 1 (s), s I .


c) (0, t) = 0 (0) = 1 (0) y (1, t) = 0 (1) = 1 (1) para todo t I.
d) (I I) G

Otro corolario del Teorema 5.61 es el siguiente.

Corolario 5.61. Sean G C un abierto, f H(G) y i , i = 0, 1 dos curvas


C 1 a trozos en G denidas en I = [0, 1] y con los mismos extremos, es decir
0 (0) = 1 (0) y 0 (1) = 1 (1). Si 0 y 1 son homotpicas en G entonces:

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

Para concluir se tienen los siguientes resultados.

Teorema 5.62. Si G C es un dominio (abierto y conexo) simplemente conexo


y f H(G) entonces f admite una primitiva en G.
Teorema 5.63. Sea G C un dominio (abierto y conexo) simplemente conexo
y f H(G) tal que f (z) = 0 para todo z G. Entonces existe una rama g(z)
del log(f (z)) denida en todo G, es decir:

f (z) = eg(z) ,

para todo z G. Ms an, si w0 es tal que f (z0 ) = ew0 es decir w0 es un


logaritmo de f (z0 ), se puede elegir la rama g(z) tal que g(z0 ) = w0 .
106 CAPTULO 5. INTEGRACIN COMPLEJA

5.10. Teorema de la aplicacin abierta


En el siguiente captulo se prueba el Principio del Argumento (cf. Teorema
6.17) y el que sigue es un caso particular de aqul.

Teorema 5.64. Sea f una funcin holomorfa en G, G abierto de C, cuyos


ceros en G son b1 , . . . , bm . Si es una curva cerrada C 1 a trozos de G que es
homloga a cero en G entonces:

m
1 f
= n(, bk )k
2i f
k=1

donde k designa la multiplicidad del cero bk .


Si G es en particular una curva de Jordan orientada positivamente con
interior Ci G se tiene:

1 f
= k = Z,
2i f
bk Ci

donde Z es el nmero de ceros de f en Ci (contados con su orden de multipli-


cidad).

Teorema 5.65 (Teorema de Rouch) . Sean f, g H(G), G una curva de


Jordan C1 a trozos con interior Ci G. Si

|f (z) + g(z)| < |g(z)|

para todo z entonces f y g poseen el mismo nmero de ceros en Ci .

Observacin 5.14. Del resultado precedente se siguen dos consecuencias directas.


La primera el teorema fundamental del lgebra. La segunda, la continuidad de
las races de un polinomio con respecto a sus coecientes.

Supongamos que f H(G), G un dominio de C, que f (z) = para algn


z G y que f no es constante en G. Si la ecuacin f (z) = posee innitas
soluciones en G stas conforman una sucesin {an } con dist (an , ) 0.
Resulta entonces til el siguiente resultado.

Lema 5.66. Sea G una curva cerrada C1 a trozos, homloga a cero en G.


Se tiene entonces que:
n(, z) = 0
r
para todo zG tal que dist (z, ) < donde r = dist (, ).
2
Teorema 5.67. Sea f H(G) y a G tal que f (a) = . Si f (z) posee un
cero de orden m en z = a entonces existen , > 0 tales que para todo tal que:

0 < | | < ,
5.10. TEOREMA DE LA APLICACIN ABIERTA 107

existen m races simples de la ecuacin:

f (z) =

en la regin:
0 < |z a| < .
Una consecuencia inmediata es el siguiente resultado.

Teorema 5.68 (Teorema de la Aplicacin Abierta) . Sean GC un dominio


y f H(G) no constante. Entonces f (G) es abierto en C.

Otra consecuencia sorprendente.

Teorema 5.69. Sean G C un dominio y f H(G) e inyectiva. Entonces


f (z) = 0 para todo z G y por lo tanto f 1 es holomorfa en = f (G).
108 CAPTULO 5. INTEGRACIN COMPLEJA

5.11. Ejercicios
A) Integracin compleja

1. Sea (t) = exp((1 + i)t1 ) para 0 < t 1, (0) = 0. Demostrar que


es recticable calculando la longitud de arco.

2. Probar que (t) = t + it sen 1/t, 0 < t 1, (0) = 0 no es recticable


(ntese que es continuo pero no C 1 a trozos).
3. Para z0 , . . . , zn C, denotamos [zk1 , zk ] el segmento de zk1 a zk , por
[z0 , . . . , zn ] la poligonal constituida por tales segmentos. Sean 1 = [1, i],
2 = [1, 1 + i, i]. Calclense:

z 2 dz, i = 1, 2.
i

4. Defnase (t) = exp(int), t [0, 2], n Z. Calcular:



1
dz.
z

5. Calcular:
1
dz,
z
siendo ahora = [1 i, 1 + i, 1 + i, 1 i, 1 i].
6. Calcular:
1
dz,
z
donde a) es {|z| = 1, z 0} de +1 a 1, b) es {|z| = 1, z 0} de
+1 a 1.
7. Se dene (t) = r exp(it), t [0, ],
iz
e
I(r) = dz.
z

Calcular lmr0+ I(r).



8. Para (t) = 1 + eit , t [0, 2], hallar

(z 2 1)1 dz .

9. Sea una curva cerrada C 1 a trozos


en un abierto G y supngase que
/ G. Prubese que para n 2, (z a)n dz = 0.
a

10. Sean funciones holomorfas en un abierto G C con derivadas f , g
f, g
1
continuas en G. Si es una curva C a trozos de extremos a, b, prubese
que:

f g dz = f (b)g(b) f (a)g(a) f g dz.

5.11. EJERCICIOS 109

11. El teorema de Cauchy en una bola B = B(a, R) establece que si f es


holomorfa con derivada continua en B y es C 1 a trozos entonces:

f = 0.

Extender el teorema de bolas a "semiplanos".

12. Calclense las siguientes integrales (0 t 2 en todos los casos):


eiz dz sen z log z
a) dz, b) , c) dz, d) dz,
z2 za z3 zn

1
donde = eit en a), c), = a + reit en b), = 1 + eit en d).
2
13. Calcular las integrales:


ez ez 1 1
a) dz, b) dz, c) dz,
zn 1 z2 + 1
(z )n
2


sen z z 1/m
d) dz, e) dz,
z (z 1)m
en donde 0 t 2 en todos los casos, = eit en a), b), d), = 2eit en
1
c), = 1 + eit en e).
2
14. Calcular:

z2 + 1
dz,
z(z 2 + 4)
= reit , 0 t 2 , para todos los valores posibles de r (0, 2) (2, ).

15. () Usar la serie geomtrica para probar que:


d
= 2i,
z

para z D(a, r), donde (s) = a + reis , s [0, 2].

B) Desarrollos en serie de potencias

16. Hallar el desarrollo en serie de potencias de Log z en z = i, cul es su


radio de convergencia?

17. Calcular, determinando el radio de convergencia, el desarrollo en serie de



potencias de z en z = 1.
110 CAPTULO 5. INTEGRACIN COMPLEJA

18. Se consideran las funciones

( 1) . . . ( + n 1) n
g (z) = 1 + z + + z +
n!
y (1 + z) (en su denicin estndar, usando la parte principal). Demus-
trese que g (z) = (1 + z) en |z| < 1.
19. Sea z0 un punto del dominio de holomorfa de f (z) = (1 + z) . Hlle-
se el desarrollo en serie de potencias de f en z0 calculando el radio de
convergencia.

20. Prubese que:


( )
1 1 + iz
f (z) = log
2i 1 iz
dene, en un dominio G C por determinar, una rama de la funcin
arcotangente (vase el Captulo III). Es decir:

tag (f (z)) = z, z G.

Tras comprobar que 0G prubese que el desarrollo de f (z) en z=0 es:


z 2k+1
f (z) = (1)k ,
2k + 1
k=0

determinando el radio de convergencia de la serie.

ez 1
21. Hallar el desarrollo en serie de en z=0 determinando el radio de
z
convergencia. Deniendo:

z
f (z) = ,
ez 1
y escribiendo su desarrollo en serie como:


ak
f (z) = zk ,
k!
k=0

determinar el radio de convergencia.

Prubese adems que:


( ) ( ) ( )
n n n
an1 + an2 + + a1 + a0 = 0,
n1 n2 1
para n 2.
1
22. Si f f (z) + z es una funcin par.
es como en el problema 21 probar que
2
n1
Dedzcase de ah que ak = 0 para k = 2 + 1. Los B2n = (1) a2n ,
n 1 se llaman los nmeros de Bernoulli. Calcular B2 , B4 , B6 .
5.11. EJERCICIOS 111

C) Ceros, prolongacin analtica

23. Si f, g son holomorfas con derivada continua en un dominio G, f (z)g(z) =


0 para cada zG demostrar que o bien f 0 o bien g 0.

24. Siendo f y g funciones holomorfas con derivada continua en un dominio


G se supone que fg es tambin holomorfa con derivada continua en G.
Prubese que o bien f es constante o bien g 0.

25. Sea f una funcin entera (es decir holomorfa con derivada continua en C)
que cumple:
f (z)2 + f (z)2 = 0,
para todo z C. Qu se puede decir de una tal f?

26. [Regla de l'Hospital] Supongamos que f (z), g(z) tienen un cero de orden
m en z = a. Probar que existe el lmza f /g y que:

f (z) f (n) (z)


lm = lm (n) .
za g(z) za g (z)

27. Si f, g holomorfas en G con derivada continua, f (a) = g(a) = 0 para algn


a G, g 0 en G, demostrar que siempre existe:

f (z)
lm ,
za g(z)

(aunque sea en algunos casos).

D) Estimaciones de Cauchy. Principio del mdulo mximo.

28. Sea f una funcin entera que satisface la estimacin:

|f (z)| M |z|n ,

para todo z con |z| R y cierto n N. Prubese que f ha de ser un


polinomio de grado no superior a n.
Indicacin. Estmense las derivadas de f en z = 0.

29. Sea f derivable con derivada continua en un dominio G para la que existe
a G cumpliendo:
|f (z)| |f (a)|,
para todo z G. Demostrar que, o bien f (a) = 0 o bien f es constante
en G.

30. Usar 29 para dar una demostracin alternativa del teorema fundamental
del lgebra.
112 CAPTULO 5. INTEGRACIN COMPLEJA

31. Sea u:CR una funcin armnica, u(z) 0 en C. Demostrar que u es


constante.

Indicacin. Constryase en primer lugar una funcin entera.

E) ndice de una curva (nmero de vueltas). Frmulas de Cauchy.

32. () Construir un ejemplo de curva cerrada de suerte que para todo


entero mZ exista un punto a
/ tal que:

n(, a) = m.

33. Dar una prueba directa de que si (t) = a + reis , 0 s 2 (una


parametrizacin de B(a, r)) y si z0
/ B(a, r) entonces:

1 d
n(, z0 ) = = 0.
2i z0

Indicacin. Buscar una primitiva de 1/(z z0 ).

34. () Sea K un compacto convexo cuya frontera = K es una curva


cerrada C 1 a trozos. Usando la idea de 33 prubese asimismo que:

1 d
n(, z0 ) = = 0.
2i z0

Indicacin. Se trata de encontrar toda una semirrecta por z0 en el exterior


de K.

35. Si p(z) es un polinomio de grado n y R > 0 es tal que p(z) = 0 para


|z| R, prubese que:

p (z)
dz = 2in,
p(z)

donde (t) = reit , 0 t 2 y r es cualquier nmero r R.


Indicacin. Puede ser til factorizar el polinomio.

36. Sean B = B(1, 1/2) y G = B(0, 3)\{B B+ }. Sean asimismo 1 , 2 , 3


las curvas cerradas|z 1| = 1, |z + 1| = 1, |z| = 2. Defnanse en las i
orientaciones adecuadas de suerte que:

n(1 , z) + n(2 , z) + n(3 , z) = 0,

para todo z C \ G.

37. Sea f : C C continua que es adems derivable con derivada continua


en C \ [1, 1]. Prubese que f es en realidad una funcin entera.
Indicacin. Puede venir bien acordarse de Morera.
5.11. EJERCICIOS 113

38. [Convergencia uniforme y holomorfa] Sean fn H(G), fn f unifor-


memente en G. Prubese que f H(G).

39. Se sabe que f es holomorfa en B(0, 1) y que |f (z)| 1 para |z| < 1.
Demostrar que |f (0)| 1.

40. Sea (s) = seis , 0 s 2 , (s) = 4 s, 2 s 4 . Calcular:


dz
2 2
.
z +

41. Evaluar:
ez ez
dz,
z4
donde es cada una de las curvas que se indican a continuacin.

42. Sea G = C \ a, b, a = b y sea la curva cerrada que se indica en la gura:

a) Probar que n(, a) = n(, b) = 0. Conclyase que es homloga a cero en


G ( 0).

b) Convnzase el lector (con el argumento intuitivo que me mejor le venga)


de que no es homtopa a 0 en G.
114 CAPTULO 5. INTEGRACIN COMPLEJA

43. Evaluar la integral:


dz
z2 +1
donde (s) = 2| cos 2s|eis , 0 s 2 .

44. Se consideran la poligonal = [0, 2, 2 + 2i, 2i, 0], los puntos:

1 3 i 3
z1 = + i, z2 = 1 + i, z3 = 1 + , z4 = + i,
2 2 2 2
y la funcin:

1
f (z) = .
(z z1 )(z z2 )(z z3 )(z z4 )

Hallar:
f.

45. Sea una curva cerrada C1 a trozos en C \ {i, i}. Se pide calcular todos
los posibles valores de la integral:

dz
.
1 + z2
CAPTULO 6

Singularidades de las

funciones complejas

En el presente captulo usaremos el siguiente resultado (ver Captulo V):


f H(G), no idnticamente nula en un dominio G C, posee un cero en z = a
si y slo si existe m N con f (a) = 0 para 0 k m 1 y f (m) (a) = 0. Esto
(k)

equivale a la existencia de g H(G) tal que g(a) = 0 con f (z) = (z a) g(z).


m

6.1. Singularidades aisladas


Denicin 6.1. Se dice que una funcin compleja f tiene en z = a una sin-
gularidad aislada si f H(D(a, r) \ {a}) y f no es holomorfa en D(a, r). La
singularidad es evitable si existe g H(D(a, r)) con g = f en D(a, r) \ {a}.

Obsrvese que en el ltimo caso slo puede existir una nica funcin g
H(D(a, r)) que satisface f =g en D(a, r) \ {a}.
Ejemplos 6.1.
sen z
a) f (z) = posee una singularidad evitable en z = 0.
z
1 1/z
b) f (z) = y f (z) = e poseen una singularidad en z = 0 que no es evitable.
z
Teorema 6.2. Sea z = a una singularidad aislada de una funcin compleja f.
La singularidad es evitable si y slo si

lm (z a)f (z) = 0.
za

Observacin 6.2. El resultado precedente no es vlido en el caso real como


muestra el ejemplo de la funcin f (x) = sen(1/x) en R \ {0}.
Denicin 6.3. Sea z=a una singularidad aislada de f. Se dice que z=a es
un polo si
lm f (z) = .
za

115
116 CAPTULO 6. SINGULARIDADES AISLADAS

Ejemplos 6.3.
1
a) f (z) = posee un polo en z = 0.
zm
1/z
b) El punto z = 0 no es un polo de f (z) = e pues ni siquiera posee lmite
cuando z 0.

Teorema 6.4. Sea f H(G \ {a}) donde a G. Se tiene que z = a es un polo


de f si y slo si existen m N y g H(G) nicos tales que

g(z)
f (z) = ,
(z a)m

para z G \ {a}, donde g es holomorfa en G con g(a) = 0.

Observacin 6.4. La funcin g del Teorema 6.4 se puede escribir en la forma:

g(z) = am + + a1 (z a)m1 + (z a)m gm (z),

donde gm H(G). Los primeros m sumandos son los del desarrollo de Taylor
cuyos coecientes hemos nombrado de manera distinta a la habitual.
Por tanto:
g(z) = S(z) + gm (z),
donde
am a1
S(z) = + + .
(z a)m (z a)
Denicin 6.5. Se llama orden del polo z =a al entero m del Teorema 6.4,
asimismo se dice que S(z) es la parte singular de f en z = a. El coeciente a1
se denomina por razones que se hacen claras ms tarde el residuo del polo.
Se denota:
a1 = Res (f, a).

Proposicin 6.6. Si z=a es un polo de f entonces:

1 d(m1)
Res (f, a) = lm ((z a)m f (z)) .
za (m 1)! dz (m1)

Si el polo z=a es simple (m = 1) se tiene que:

Res (f, a) = lm (z a)f (z).


za

Proposicin 6.7. Sea f una funcin holomorfa en G \ {a1 , . . . , aN }, G C


un abierto y {a1 , . . . , aN } G. Supongamos que cada uno de los z = aj es un
polo de la funcin f de orden mj . Entonces:

a) f se puede escribir en la forma:

f (z) = S1 (z) + + Sn (z) + g(z),


6.2. DESARROLLOS DE LAURENT 117

z G \ {a1 , . . . , aN } donde para cada 0jN


(j) (j)
amj a1
Sj (z) = + +
(z aj )mj (z aj )
y g es holomorfa en G.
b) f admite asimismo la representacin:

g(z)
f (z) = .
(z a1 ) m1 . . . (z aN )mn
z G \ {a1 , . . . , aN }, donde g (que no es la misma que en a)) es holomorfa en
G.
Demostracin. Probamos b), por ejemplo, usando induccin. Si f tiene N +1
polos {a1 , . . . , aN +1 } en G, f tiene N polos en G1 = G \ {aN +1 } de donde

f (z) = S1 (z) + + Sn (z) + g(z),


con g H(G1 ). Como g tiene un polo en aN +1 entonces

g(z) = SN +1 (z) + g(z),


con g H(G). Basta sustituir y hemos terminado.

Introducimos ahora la nocin de funcin meromorfa (cf. [23]).

Denicin 6.8. Se dice que una funcin compleja es meromorfa en una abier-
to G si es holomorfa en G \ {an } donde todos los elementos de la sucesin
{an } G son polos o singularidades evitables y {an } G carece de puntos de
aglomeracin en G.

Ejemplos 6.5.

a) Toda funcin racional es meromorfa en C.


b) Las funciones tag z , cot z , sec z , csc z , tanh z , coth z son todas meromorfas en
C.
Ejercicio 6.1. Prubese que si f 0 es meromorfa en un dominio G entonces
1/f tambin lo es.

6.2. Desarrollos de Laurent


Comenzamos con una denicin.

Denicin 6.9. n= an converge (respectivamente,
Se dice que la serie
con-
verge absolutamente) si convergen (convergen absolutamente) las series
n=0 an
y a
n=1 n escribindose:





an = an + an .
n= n=1 n=0
118 CAPTULO 6. SINGULARIDADES AISLADAS

La misma convencin se observa para la convergencia puntual y uniforme de


series funcionales de este tipo.

Teorema 6.10. Sea f una funcin holomorfa en el anillo

A = A(a, R1 , R2 ) = {z : R1 < |z a| < R2 } 0 R1 < R2 .

Entonces la funcin se puede representar mediante la serie



f (z) = an (z a)n , (6.1)
n=

para todo z A. Adems:

1) La representacin (6.1) es nica.

2) Los coecientes an de la serie se representan en la forma



1 f (z)
an = dz,
2i r (z a)n+1

donde r (s) = a + reis , s [0, 2] y r es cualquier valor cumpliendo R1 < r <


R2 .
3) La serie converge absoluta y uniformemente sobre compactos de A(a, R1 , R2 )
(es decir, uniformemente en cada subanillo cerrado A(a, r1 , r2 ) de A(a, R1 , R2 ),
R1 < r1 < r2 < R2 ).
Observacin 6.6. Ntese que el enunciado contempla diversas clases de ani-
llos degenerados. Por ejemplo, el disco perforado D(a, R2 ) \ {a} (R1 = 0), el
exterior de un disco C \ D(a, R1 ) (R2 = ) e incluso C \ {0} (R1 = 0, R2 = ).
Denicin 6.11. Siz = a es una singularidad aislada de una funcin compleja
f se dene el desarrollo de Laurent de la funcin en z = a al correspondiente a
cualquier anillo D(a, r) \ {a} donde la funcin est denida y sea holomorfa.
Observacin 6.7. Si z = a es una singularidad
aislada de nf y (6.1) su desarrollo
de Laurent, se suele designar a g+ (z) :=
n=0 an (z a) la parte regular de f
n
y a g (z) := a
n=1 n (z a) la parte singular.

Demostracin del Teorema 6.10. Comenzamos probando 1) y 2). La convergen-


cia de la serie (6.1) en A implica la de las series




n n
an (z a) , an (z a)
n=0 n=1

enA. Por tanto la primera converge absoluta y uniformemente sobre compactos


de|z a| < R2 mientras la segunda converge absoluta y uniformemente sobre
compactos de |z a| > R1 (en ste ltimo caso vanse los desarrollos en serie
de potencias en el innito introducidos en el Captulo III, Ejercicios).
6.2. DESARROLLOS DE LAURENT 119

Como (6.1) converge uniformemente en r (s) = a + reis , s [0, 2], con


miembros por (z a) y m Z e
m
R1 < r < R2 podemos multiplicar ambos
integrar en r para concluir que:

f (z)
dz = 2ian .
r (z a)n+1
De aqu se concluye la unicidad del desarrollo y la forma de los coecientes.
Probamos ahora la validez del desarrollo y de ah 3). De la frmula de Cauchy
se tiene que:

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

para todo zA tal que r1 < |z a| < r2 y r1 , r2 (R1 , R2 ) con r1 < r2 .


Procediendo como en la demostracin de la frmula de Cauchy en discos se
tiene que

1 f () n
d = an (z a)
2i r2 z n=0
con
1 f (z)
an = dz.
2i r2 (z a)n+1
Razonando de la misma manera

1 f () n
d = an (z a)
2i r1 z n=1

con
1
an = (z a)n1 f (z) dz, n 1.
2i r1

Para concluir, ntese que a posteriori puede tomarse r1 = r2 = r (R1 , R2 )


en la expresin integral de los coecientes porque sta no depende del valor de
r.
Proposicin 6.12. Sea f H(G \ {a1 , . . . , aN }) con {a1 , . . . , aN } G. En-
tonces:
f (z) = g1, + + gN, (z) + g(z),
donde g H(G) y gj, es la parte singular de f en z = aj .
Demostracin. Basta probar el caso N =1 y despus proceder por induccin
como en el Corolario 6.7. Usando el desarrollo de Laurent en z = a1 :
f (z) = g (z) + g+ (z) 0 < |z a1 | < r.
Ntese que g H(C \ {a1 }), g+ H(D(a1 , r)). La funcin:
{
f (z) g (z) z = a1
g(z) =
g+ (a1 ) z = a1 ,
120 CAPTULO 6. SINGULARIDADES AISLADAS

es obviamente holomorfa en G\{a1 } mientras coincide con g+ en D(a1 , r), luego


tambin es holomorfa en G. As:

f (z) = g (z) + g(z).

Denicin 6.13. Se dice que una singularidad aislada z =a de una funcin


compleja f es esencial si no es una singularidad evitable ni un polo.

El siguiente teorema clasica las singularidades aisladas en trminos del desa-


rrollo de Laurent en tales singularidades.

Teorema 6.14. Sea z=a una singularidad aislada de una funcin comleja f
y sea


f (z) = an (z a),
n=

el desarrollo de Laurent de f en la bola perforada D(a, r) \ {a}. Entonces,

a) z=a es evitable si y slo si an = 0 para n 1.


b) z=a es un polo de orden m si am = 0 y an = 0 para todo n m 1.
c) z=a es una singularidad esencial si y slo si an = 0 para innitos enteros
negativos n.

Demostracin. Las condiciones de a) y b) son claramente sucientes.


En el caso de la necesidad de a) se tiene



f (z) = an (z a)n ,
n=0

en z D(a, r) \ {a} donde el segundo miembro corresponde al desarrollo de la


extensin g de f en D(a, r). Como el desarrollo (6.1) es nico, hemos terminado.
Para la necesidad de b) ntese que:

(
)
1
f (z) = an (z a)n
(z a)m n=0

donde el desarrollo entre parntesis es el de la funcin holomorfa g de Teorema


6.4. Como el desarrollo de Laurent en z=a es nico hemos terminado.

Teorema 6.15 (Teorema de Casorati-Weierstrass). Sea z = a una singularidad


esencial de una funcin compleja f. Entonces f (D(a, r) \ {a}) es denso en C
para cada 0 < r < r0 y cierto r0 positivo.
6.3. TEOREMA DE LOS RESIDUOS 121

Demostracin. Si f (D(a, r) \ {a}) no es denso en C:

f (D(a, r) \ {a}) D(c, ) = ,

para ciertos c C, > 0. Por tanto:

1
lm (f (z) c) = .
za (z a)

Esto signica que f (z) c tiene un polo en z=a con lo que z=a es tambin
un polo de f contra lo supuesto.

6.3. Teorema de los residuos


Teorema 6.16 (Teorema de los Residuos). Sea f una funcin holomorfa en
G \ {a1 , . . . , am }, donde G es un abierto de C y {a1 , . . . , am } G. Si es una
1
curva cerrada C a trozos de G que es homtopa (respectivamente, homloga)
a cero en G entonces:


m
f = 2i n(, ak )Res (f, ak )
k=1

Si es en particular una curva de Jordan orientada positivamente se tiene:



f = 2i Res (f, ak )
ak Ci

donde Ci es la componente interior de .

Demostracin. Escribiendo

f (z) = g1, (z) + + gm, (z) + g(z),

e integrando sobre :

f (z) = g1, (z) + + gm, (z) + g(z),

resulta:
gj, (z) = 2iRes (f, aj ), g(z) = 0.

El siguiente resultado se conoce con frecuencia como el principio del argu-


mento (ver tambin el Captulo V).
122 CAPTULO 6. SINGULARIDADES AISLADAS

Teorema 6.17. Sea f una funcin holomorfa en G \ {a1 , . . . , ap }, G abierto en


C, {a1 , . . . , ap } G, siendo cada ai un polo de f . Sean b1 , . . . , bq los ceros f en
G. Si es una curva cerrada C 1 a trozos de G que es homtopa (homloga) a
cero en G entonces:
q p
1 f
= n(, bk )k n(, al )l
2i f
k=1 l=1

donde l y k son las multiplicidades de al y bk , respectivamente.


Si es en particular una curva de Jordan orientada positivamente se tiene:

1 f
= k l = Z P,
2i f
bk Ci al Ci

donde Ci es la componente interior de , Z es el nmero de ceros en Ci y


P es el nmero de polos en Ci (contados en ambos casos con sus rdenes de
multiplicidad).

Demostracin. Basta con escribir la funcin f en la forma:

f (z) = (z a1 )1 . . . (z ap )p (z b1 )1 . . . (z bq )q h(z),

donde h H(G).
Observacin 6.8. A diferencia del resultado anterior donde las singularidades
aisladas son arbitrarias en el principio del argumento stas han de ser necesaria-
mente polos (es decir se trata de funciones meromorfas en G).
Para las aplicaciones de la teora de los residuos al clculo de integrales
impropias los siguientes lemas revisten gran inters.

Lema 6.18 (Lema de Jordan) . Sea r = reis , s [0, ]. Entonces:



|eiz ||dz| < ,
r

para todo r > 0.


Demostracin. Se tiene:

2

2
r
er sen d < 2r e d = es ds < .
2r
|eiz ||dz| = 2r
r 0 0 0

Lema 6.19. Sea z=a un polo simple de f y (s) = a + eis , s [s0 , s0 + ],


donde (0, 2). Entonces:

lm f = i Res (f, a).
0+
6.3. TEOREMA DE LOS RESIDUOS 123

Demostracin. Se escribe:

dz
f = a1 + g = ia1 + g,
za

y
g0

cuando 0.
124 CAPTULO 6. SINGULARIDADES AISLADAS

6.4. Ejercicios
A) Singularidades.

1. Estudiar la naturaleza de las singularidades de las funciones siguientes:

sen z cos z cos z 1


a) f (z) = , b) f (z) = , c) f (z) = ,
z z z
1 log(z + 1) cos z 1
d) f (z) = exp , e) f (z) = , f ) f (z) = ,
z z2 z 1
z2 + 1 1 1
g) f (z) = , h) f (z) = (1ez )1 i) f (z) = z sen , j) f (z) = z n sen .
z(z 1) z z
2. Sean G un dominio z =a un polo de f de suerte que f H(G \ {a}).
Prubese que existen a lo sumo una funcin g H(G) y un entero m tales
que:
g(z)
f (z) = , z = a,
(z a)m
con g(a) = 0.
3. Usar el problema 2 para probar en la mismas condiciones la existencia
de una funcin holomorfa g1 H(G) nica tal que:

am a1
f (z) = + + + g1 (z), z = a.
(z a) m (z a)

4. Sean G un dominio, {a1 , . . . , aN } G y f H(G\{a1 , . . . , aN }) de forma


que losai son polos de f de rdenes mi . Probar que existe una funcin
holomorfa g H(G) tal que:


N
mj
aj,l
f (z) = + g(z), z = aj .
j=1 l=1
(z aj )l

5. Prubese que si una funcin racional no tiene polos entonces es un poli-


nomio.

6. Sea f (z) = p(z)/q(z) una funcin racional de forma que la fraccin es


irreducible. Haciendo uso de los resultados del captulo obtngase su des-
composicin en fracciones simples.

7. Sean f, g H(G), a G, f (a) = 0, z = a cero de orden m de g. Probar


f
que entonces z=a es un polo de orden m de .
g
8. Sean f, g H(G), a G, f (a) = 0, z = a cero simple de g. Probar que
entonces ( )
f f (a)
Res ,a = .
g g (a)
6.4. EJERCICIOS 125

9. Dada la funcin:
1
f (z) = ,
z(z 1)(z 2)
obtener su desarrollo de Laurent en los anillos: 0 < |z| < 1, 1 < |z| < 2,
2 < |z| < .

10. Se considera la funcin:

1
f (z) = ,
(z a1 )(z a2 )(z a3 )

ai = aj para i = j . Calcular su desarrollo de Laurent en torno a a1


determinando el valor ptimo de r>0 de suerte que el mismo converja
en 0 < |z a1 | < r.

11. Hllenese los desarrollos de Laurent de las funciones f que siguen en las
regiones D que se indican:

1
a) f (z) = z 4 (ez 1),
2
B(0, 1)\{0}, b) f (z) = , {1 < |z 2i| < 3},
z2 + 1

c) f (z) = z(z2)4 cos z, |z2| > 0, d) f (z) = z 6 cos2 (z 2 ), {|z| > 0}.

12. Demostrar que tag z es analtica en C con excepcin de polos simples en



z = + n , n Z. Calcular la parte singular de la funcin en dichos
2
polos.

13. Sea f H({z : |z| > r}) tal que lmz f (z) = . Prubese que existen
> 0, g H(D(0, )), g(0) = 0 y m N tales que:
( )
1 1
f (z) = z gm
|z| < .
z

14. Dse el desarrollo de Laurent de la funcin


( )
1
f (z) = exp
z

en C \ {0} Se puede generalizar el resultado?

15. () Sea f :CC holomorfa y biyectiva. Demustrese que:

f (z) = az + b

para ciertos a, b C.
Indicacin. Usar el Ejercicio 13 en combinacin con el teorema de Liouville.
126 CAPTULO 6. SINGULARIDADES AISLADAS

16. Se considera la funcin:


{ }
1 1
f (z) = exp (z + ) ,
2 z

C un parmetro. Usar el desarrollo de Laurent para probar que:


1
f (z) = a0 + an (z n + ),
n=1
zn

para todo 0 < |z| < donde los coecientes son:


1
an = e cos t cos nt dt.
0

B) Integracin.

17. Calclense las siguientes integrales o alternativamente prubense las iden-


tidades que se sealan.

a)

d
= , a > 1.
0 a + cos a 1
2

b) Extender la identidad cambiando a>1 por w {w > 0} \ [1, 1] para


obtener:
d
= .
0 w + cos w2 1

c)

cos 2
d, a2 < 1.
0 1 2a cos + a2

d)

d
a > 1.
0 (a + cos )2
Indicacin. Consultar ejercicios previos.

e)

2 d
= , a > 0.
0 a + sen2 2[a(a + 1)]1/2

18. R designa el camino {Reis : 0 s }. Probar la estimacin (lema de


Jordan):

|eiz | |dz| < ,
R

para todo R > 0.


6.4. EJERCICIOS 127

19. Ahora f tiene un polo simple en el punto a con residuo a1 mientras


(, ) representa el camino
is
{a + e : s + }. Demostrar:

lm f (z) dz = ia1 .
0+ (,)

20. Calclense las siguientes integrales o alternativamente prubense las iden-


tidades que se sealan.


x2 sen x x2
a) = , b) = , c) ,
1 + x4 2 0 x 2 0 x4 + x2 + 1

1 cos x 1
e) , f) .
0 1 + x2 0 x2

21. Calcular:
eax
, 0 < a < 1.
1 + ex
Indicacin. Usar el camino [R, R, R + 2i, R + 2i, R], R > 0.

22. Sean a, b complejos distintos con la parte real positiva. Demostrar que:


cos x eb ea
dx = ( ).
(x2 + a2 )(x2 + b2 ) a2 b2 b a

23. Calclense las siguientes integrales o alternativamente prubense las iden-


tidades que se sealan.

a) Calcular:

xa1
dx, 0 < a < 1.
0 1+x
Indicacin. Usar el camino de la izquierda.

R R
0 -1 0
128 CAPTULO 6. SINGULARIDADES AISLADAS

b) Se sabe que:

xa1
dx = , 0 < a < 1.
0 1+x sen a
Extender el resultado cambiando a (0, 1) por a C, a = p + iq , 0 < p <
1.
Indicacin. Usar que la integral del primer miembro es holomorfa en
{0 < a < 1}.

c) Usar el ejercicio previo para calcular las integrales:


tp1 tp1
cos(q log t) dt, sen(q log t) dt.
0 1+t 0 1+t

d) Para 1 < a < 1 probar las igualdades:


xa a
dx = sec ,
0 1 + x2 2 2

xa
dx = a csc a.
0 (1 + x)2

e) Calcular:

xa1
dx, 0 < a < 1,
0 1+x
usando en esta ocasin el camino de la derecha en la gura precedente.

f ) Deducir con un slo clculo las identidades:

( )1/2
1 x1/4 1
=1 ,
0 x2 + x + 1 3
( )1/2
1 x1/4 2
= .
0 x2 x + 1 3

log z
g) Considerando la funcin f (z) = z 1/2 prubese que:
(1 + z)2

x1/2 log x x1/2
= , = .
0 (1 + x)2 0 (1 + x)2 2

h) Prubese que:


log2 x 3 log x
2
= , = 0.
0 1+x 8 0 1 + x2
6.4. EJERCICIOS 129

i) Toda la serie:


log2 x 3 2 2
, Sol. ,
0 1 + x3 64


log x 2 2
, Sol. ,
0 1 + x4 16

log x
, Sol. ,
0 (1 + x2 )2 4

log x 2
, Sol. .
0 x2 1 4

Indicacin. En el ltimo de los casos se sugiere el camino siguiente.

-1 0 1

k)

eax
, 0 < a < 1.
1 + ex
Indicacin. Usar el cambio x = log t.
130 CAPTULO 6. SINGULARIDADES AISLADAS
Bibliografa

[1] Almira J. M., Sabina J. C., David Hilbert. Matemtico Fundamental,


Nivola, Madrid, 2007.

[2] Apostol T. M., Calculus (2 Vols.), Revert, Barcelona, 19**.

[3] Apostol T. M., Anlisis Matemtico, 2a edicin. Revert, Barcelona, 1982.


[4] J. Bak, D. J. Newman, Complex Analysis, 2a edicin. Springer, New York,
1997.

[5] Cartan H. Teora elemental de las funciones analticas de una o varias


variables complejas, Selecciones Cientcas, Madrid.

[6] Choquet G., Topologa, Toray-Masson, Zaragoza, 1971.

[7] Conway J. B., Functions of one complex variable, Springer, New York,
19**.

[8] Dieudonn J., Foundaments de l'Analyse Moderne, Gauthier-Villars, Pars,


1972.

[9] Dixon J. D., A biref proof of Cauchy integral theorem, Proc. Amer. Math.
Soc. 29 (1971), 625-626.

[10] Do Carmo M., Dierential Geometry of Curves and Surfaces, Prentice-


Hall, New Jersey, 1976.

[11] Gilman J. P., Kra I., Rodrguez *., Complex Analysis (in the spirit of
Lipman Bers), Sringer, N. Y., 2007.

[12] Hrmander L., An Introduction to Complex Analysis in Several Variables,


Van Nostrand, Princeton, New Jersey, 1966.

[13] Markusevich A., Teora de las Funciones Analticas (2 volmenes), Mir,


Mosc, 1970.

[14] Mijilov V. P., Ecuaciones en Derivadas Parciales, Mir, Mosc, 1978.

[15] Kline M., Pensamientos matemicos desde la antiguedad hasta nuestros


das (3 Vols.), Alianza Universidad, Madrid, 1990.

131
132 BIBLIOGRAFA

[16] Nachbin L., Introduction to Functional Analysis: Banach Spaces and Dif-
ferential Calculus, Marcel & Dekker, New York, 1981.

[17] Nachbin L., Topology of Holomorphic Mappings, Springer Verlag, Berlin,


New York, 1969.

[18] Margalef J., Outerelo E., Pinilla J., Topologa, Vol. III, Alhambra,
Madrid, 1980.

[19] Palka B., An Introduction to Complex Function Theory, Springer Verlag,


Berlin, New York, 1991.

[20] Remmert R., Theory of Complex Functions, Springer, N. Y., 1991.

[21] Remmert R., Classical Topics in Complex Function Theory, Springer, N.


Y., 1998.

[22] Rudin W., Principles of Mathematical Analysis, McGraw Hill, New York,
1976.

[23] Rudin W., Real and Complex Analysis, McGraw Hill, New York, 1987.

[24] Sabina de Lis, J., Anlisis No Lineal: curso de introduccin y aplicacio-


nes, Universidad de La Laguna, Servicio de Publicaciones, La Laguna, 2005.

[25] Spivak, M., Clculo en Variedades, Revert, Barcelona.

[26] Willard S., General Topology, Addison Wesley Reading, Massacussets,


1970.