Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Temas de Matemáticas
CURSO BÁSICO
DE VARIABLE COMPLEJA
ISBN: 978-607-02-4555-8
ISBN: 978-607-02-4555-8
v
vi
diantes; este enfoque les permite además tener la certeza de que sus cálculos
son correctos.
Cabe señalar que aunque existen muchos libros muy buenos sobre el tema,
por ejemplo [1], [6], [8] y [12], muy pocos son adecuados para cubrir el temario
de la materia Variable Compleja I. Ciertamente el texto más apegado al
programa vigente es el de Marsden y Hoffman [12], sin embargo, éste tiende
a ser enciclopédico y complicado para un sector importante de alumnos, lo
cual incide en el alto ı́ndice de reprobación en esta materia.
El presente libro, basado en gran parte en el de Marsden y Hoffman [12],
pretende establecer los mı́nimos que el estudiante debe saber para aprobar
con la máxima calificación el curso de Variable Compleja I. El método es
completamente formal y pone énfasis en buscar la simplicidad en las pruebas.
Por ejemplo, el uso del número de Lebesgue permite simplificar la prueba de
la versión general del teorema de Cauchy que aparece en [12]. También, la
prueba del lema de las integrales de tipo Cauchy (que me enseñó Lipman
Bers) es más simple que la que aparece en [12].
En el primer capı́tulo se establecen los fundamentos básicos de la teorı́a,
esto es, el álgebra y la geometrı́a de los números complejos, ası́ como algunas
funciones muy importantes, entre éstas, la exponencial, el logaritmo y las
trigonométricas; se concluye con la teorı́a elemental de la analiticidad, a
saber, las ecuaciones de Cauchy-Riemann y la conformalidad. El segundo
capı́tulo trata de la integral compleja; después de establecer los resultados
y definiciones básicas, se prueba formalmente el teorema de Cauchy en su
forma general para curvas cerradas homotópicas. Este resultado, junto con el
lema de las integrales de tipo Cauchy, permite probar, sin mayor dificultad,
una cascada de importantes consecuencias, como son las fórmulas integrales
de Cauchy, el teorema de Liouville, el teorema fundamental del álgebra, la
fórmula de Poisson y muchas otras más. El tercer capı́tulo se inicia con el
teorema de Weierstrass (también llamado de la convergencia analı́tica), que
es la base para establecer los discos de convergencia de las series de potencias
y el teorema de Taylor. Posteriormente se prueba el teorema de Laurent y
se estudian las singularidades aisladas, lo cual lleva a la prueba del teorema
del residuo. El libro concluye con la aplicación de este teorema al cálculo de
ciertas integrales reales impropias (de funciones racionales y otras definidas
por la transformada de Fourier) y de las integrales llamadas trigonométricas.
El aspecto geométrico de los fundamentos de la variable compleja no se
discute ampliamente en este texto, ya que no corresponde al temario vigente
de la materia Variable Compleja I, sin embargo, algunas de estas importan-
vii
tes ideas pueden consultarse en los primeros dos capı́tulos de [10]. Véanse
también las notas de Santiago López de Medrano [5].
Deseo agradecer a diversas personas que contribuyeron de una u otra
forma a la realización de este trabajo; Héctor Cejudo Camacho, por el es-
merado trabajo y el empeño en la elaboración de las figuras. Luis Rodrigo
Gallardo Cruz, por la captura de la versión en Vı́nculos Matemáticos en el
año 2000, la cual fue muy útil para la realización del presente texto. José Lu-
cio Sánchez Garrido por la elaboración de la Figura 2.25 y la captura de mi
primera versión sobre este tema en el año de 1992. Mi agradecimiento tam-
bién a los estudiantes que se han inscrito como mis alumnos en esta materia,
enriqueciéndome con sus comentarios e intervenciones. Gratitud igualmen-
te a muchos de mis colegas por sus valiosas y pertinentes enseñanzas, en
particular a uno de los dictaminadores del presente libro, por su cuidadosa
revisión. Asimismo a Adda Stella Ordiales de la Garza por la corrección de
estilo y cuidado de la edición, además de su constante apoyo y estı́mulo.
Finalmente, a las autoridades de la Facultad de Ciencias y de la Dirección
General de Asuntos del Personal Académico DGAPA, que me apoyaron para
la publicación de este libro con el proyecto PAPIME EN107-403.
En esta tercera edición agradezco en particular a Fernando Santana Plas-
cencia, cuya revisión minuciosa del texto contribuyó a mejorar la edición, y
a Raybel Garcı́a Ancona, por la reelaboración de algunas figuras.
Contenido
1. Fundamentos y analiticidad 1
1.1. Álgebra de números complejos . . . . . . . . . . . . . . . . . . 1
1.1.1. C es un campo . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. Significado geométrico de la multiplicación . . . . . . . 4
1.1.3. Raı́ces n-ésimas de complejos . . . . . . . . . . . . . . 11
1.1.4. Otras propiedades básicas . . . . . . . . . . . . . . . . 14
1.2. Plano complejo extendido, continuidad . . . . . . . . . . . . . 17
1.2.1. Continuidad . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.2. Proyección estereográfica y métrica cordal . . . . . . . 19
1.3. Algunas funciones importantes . . . . . . . . . . . . . . . . . . 27
1.3.1. La función exponencial . . . . . . . . . . . . . . . . . . 27
1.3.2. La función logaritmo . . . . . . . . . . . . . . . . . . . 31
1.3.3. Potencias complejas . . . . . . . . . . . . . . . . . . . . 36
1.3.4. Las funciones trigonométricas . . . . . . . . . . . . . . 42
1.4. Funciones analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . 47
1.4.1. Diferenciabilidad . . . . . . . . . . . . . . . . . . . . . 47
1.4.2. Ecuaciones de Cauchy-Riemann, analiticidad . . . . . . 49
1.4.3. Conformalidad . . . . . . . . . . . . . . . . . . . . . . 63
2. Integración 71
2.1. Fundamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
2.2. Versión particular del teorema de Cauchy, ideas intuitivas . . . 80
2.3. Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 88
2.4. Fórmula integral de Cauchy . . . . . . . . . . . . . . . . . . . 111
2.5. Principio del máximo, lema de Schwarz y funciones armónicas 124
ix
x Contenido
Bibliografı́a 203
Fundamentos y analiticidad
Por ende, se pueden identificar los números complejos con los puntos del
plano. La parte real del número complejo a + i b es el número real a, y
la parte imaginaria es el número real b. De esta manera, al eje X se le
llamará eje real y al eje Y se le llamará eje imaginario. Si z ∈ C, z = x+i y,
se escribirá
Re z = x e Im z = y.
(x 1 + i y 1 ) + (x 2 + i y 2 ) = (x 1 + x 2 ) + i(y 1 + y 2 ),
a (x + i y) = a x + i a y, a ∈ R.
1
2 1.1. Algebra
´ de números complejos
az
z+w
w z
z
z = a + ib
|z |
b
Nótese que el campo de los números reales está incluido de manera natural
en los complejos, la asociación
x ∈ R −→ x + 0 i ∈ C
es un monomorfismo de campos. Bajo esta identificación, se conviene en que
los reales son un subconjunto de los complejos. Se escribe simplemente x
para denotar x + 0 i.
EJERCICIOS 1.1.1
1. Demuestre que el producto de números complejos cumple la ley asociativa.
4 1.1. Algebra
´ de números complejos
z/|z|
θ
sen θ
cos θ 1
zw
w
α+β
β
z
α
3π
arg(−i) = arg(−i)(−i) = 3π arg(−1) = π
2
se tiene
zw
γ
w
z
α
γ
α
1
|z| |z w|
= .
1 |w|
ψi (z)
ψ w (λ z 1 + μ z 2 ) = λ z 1 w + μ z 2 w = λ ψ w (z 1 ) + μ ψ w (z 2 ).
Nótese que este mismo argumento muestra que esta función ψ w también es
lineal como función de C en C.
z z = |z| 2 (1.1)
z + z = 2 Re z.
z − z = 2 i Im z.
z −1
z3 − z1
∈ R+ .
z2 − z1
Nótese que esta condición no sólo es necesaria sino también suficiente para
que tres puntos sean colineales.
Otra aplicación de la identidad (1.1) es que muestra la manera adecuada
(en la mayorı́a de los casos) de dividir números complejos, esto es,
z zw zw
= = .
w ww |w| 2
Por ejemplo:
2 + 3i (2 + 3 i)(4 + 2 i) 1 7
= = + i.
4 − 2i 20 10 10
EJERCICIOS 1.1.2
1. Demuestre que wz = wz .
i)2
2. Exprese (2+3
4+ i
de la forma x + i y.
3. Demuestre que α es raı́z de un polinomio real si y sólo si α lo es.
4. Sean z 1 , z 2 , z 3 , z 4 complejos en un cuadrilátero que aparecen en orden
cı́clico y positivo, demuestre que estos complejos son concı́clicos (esto es,
existe un cı́rculo que los contiene) si y sólo si zz 13 −z 2 z 3 −z 4
−z 2 z 1 −z 4
< 0.
5. Sean z 1 , z 2 , z 3 ∈ C tales que cumplen zz 23 −z 1
−z 1
= z 1 −z 3
z 2 −z 3
, demuestre que estos
tres puntos determinan un triángulo equilátero.
√
6. Sea z = x + iy, pruebe que |x| + |y| ≤ 2 |z|.
7. Demuestre que en un paralelogramo la suma de los cuadrados de las diago-
nales es la suma de los cuadrados de los lados.
1. Fundamentos y analiticidad 11
y ⎛ ⎞
√ √
a+ a2 + b2 −a + a2 + b2 ⎠
± ⎝− +i si b < 0.
2 2
x2 − y 2 = a (1.2)
2 x y = b. (1.3)
x 4 + y 4 − 2 x 2 y 2 = a 2,
4 x 2 y 2 = b 2,
y por consiguiente √
x2 + y 2 = a 2 + b 2.
Ahora, sumando y restando a esta última ecuación aquella definida por (1.2)
se obtiene
√ √
2 a + a2 + b2 2 −a + a 2 + b 2
x = , y = .
2 2
Finalmente, la proposición se sigue de la ecuación (1.3).
12 1.1. Algebra
´ de números complejos
Esta última fórmula nos permite encontrar las raı́ces n-ésimas de cual-
quier complejo no nulo sin mayor dificultad (conociendo el argumento).
de donde
ρ n = r, y n ϕ = θ + 2 k π, k ∈ Z,
por lo cual
√
n
θ + 2kπ
ρ = r y ϕ = .
n
Finalmente, dos argumentos
θ + 2 k1 π θ + 2 k2 π
,
n n
definen la misma solución si y sólo si
θ + 2 k1 π θ + 2 k2 π
− = 2 m π, m ∈ Z.
n n
1. Fundamentos y analiticidad 13
k 1 − k 2 = m n, m ∈ Z,
w1 w0
−2
w2 w3
EJERCICIOS 1.1.3
1. Calcule las raı́ces cuadradas de 3 + 4 i y de 1 + 2 i.
2. Calcule las raı́ces sextas de −64 y las raı́ces cúbicas de 8 i.
3. Demuestre que 1 + z + z 2 + · · · + z n−1 = 0, donde z es una raı́z n−ésima
de la unidad, z = 1.
n
n−1
4. Demuestre la identidad 2 n−1 = k=1 sen πnk . Sugerencia: factorizar la
expresión 1 + z + z 2 + · · · + z n−1 usando las raı́ces n−ésimas de la unidad,
posteriormente evalúe en z = 1.
θ
sen n θ+
2
5. Demuestre que 1 + cos θ + · · · + cos nθ = 12 + 2 sen(θ/2)
,
donde θ no es
un múltiplo par de π. Esta identidad se atribuye a Lagrange. Sugerencia:
calcular la parte real de 1 + z + z 2 + · · · + z n , donde z = cos θ + i sen θ.
|z + w| 2 = (z + w) (z + w) = (z + w) (z + w) = z z + z w + w z + w w
= |z| 2 + 2 Re (w z) + |w| 2 ≤ |z| 2 + 2 |w z| + |w| 2 = (|z| + |w|) 2 .
De la misma manera que sucede con los números reales, se cumple la
siguiente variante de la desigualdad del triángulo
|z| − |w| ≤ |z − w|.
√ √
y claramente este valor es tomado en ± 2 y en ± 2 i. Más aún, este valor
no es tomado en ningún otro punto, ya que si z = r (cos θ + i sen θ), se tiene
Proposición 1.1.8 Sea K un campo que contiene a los reales y para el cual
toda ecuación cuadrática tiene solución, entonces K contiene a C.
F = {x + j y | x, y ∈ R} ⊂ K
es isomorfo a C.
Sea φ : C → K dada por φ (x + i y) = x + j y. Claramente φ es un
homomorfismo de C en F y φ(C) = F , por lo que basta mostrar que φ es
inyectiva.
Si φ(x1 + i y 1 ) = φ(x 2 + i y 2 ), entonces x 1 + j y 1 = x 2 + j y 2 , y necesa-
riamente (x 1 − x 2 ) + j (y 1 − y 2 ) = 0. Finalmente, si y 1 = y 2 , se tiene
x2 − x1
j=
y1 − y2
Véase la Figura 1.11. Por otra parte, el cı́rculo de radio r con centro en a
está dado por
{z ∈ C |z − a| = r}.
Asimismo, una elipse con focos en w 1 y w 2 , y semiejemayor l, se determina
por la siguiente expresión
{z ∈ C |z − w 1 | + |z − w 2 | = 2 l}.
z2
z1
EJERCICIOS 1.1.4
1. Demuestre la identidad de Lagrange.
2. Sean z 1 , z 2 , . . . , z n números complejos, ¿bajo qué condiciones se tiene que
|z 1 + z 2 + · · · + z n | = |z 1 | + |z 2 | + · · · + |z n |?
3. Encuentre el ı́nfimo de |z 3 + 2 i| en la región {z | |z| ≥ 2}, y describa en
qué puntos se alcanza.
donde u y v son funciones reales. Algunas veces escribiremos también f (x, y),
u(x, y), etcétera.
∀
> 0 ∃ δ > 0, tal que si 0 < |z − a| < δ, se tiene que |f (z) − L| <
.
f (z) L1
lı́m = .
z→a g(z) L2
∀
> 0 ∃ δ > 0, tal que si |z − z 0 | < δ, se tiene que |f (z) − f (z 0 )| <
.
(i) w n + z n → z + w, cuando n → ∞;
(ii) w n z n → w z, cuando n → ∞;
(iii) si w = 0, zn
wn
→ z
w
, cuando n → ∞.
EJERCICIOS 1.2.1
1. Demuestre la última afirmación de esta subsección.
2. Demuestre que una sucesión en R n es de Cauchy si y sólo si es convergente.
Sugerencia: probar primero que un subconjunto infinito de un compacto tiene
un punto de acumulación.
Definición 9 Los puntos del plano complejo junto con ∞ forman el plano
complejo extendido, denotado por C.
20 1.2. Plano complejo extendido, continuidad
(x1 , x2 , x3 ) x21 + x22
e3
1
x3
|z|
z
az + b
z −→ , a d − b c = 0, a, b, c, d ∈ C. (1.4)
cz + d
[e 3 + t (x − e 3 )] · e 3 = 0,
1 + t (x − e 3 ) · e 3 = 0,
1
t = .
1 − x3
1. Fundamentos y analiticidad 21
z+z
esto es, x1 = . (1.6)
|z| 2 + 1
22 1.2. Plano complejo extendido, continuidad
Finalmente, como
2 i x2
z−z = ,
1 − x3
se sigue que
z−z
x2 = . (1.7)
i (|z| 2 + 1)
Por consiguiente, ψ es inyectiva, ya que z determina (x 1 , x 2 , x 3 ).
Obsérvese también que la función
z+z z−z |z| 2 − 1
π(z) = , ,
|z| 2 + 1 i (|z| 2 + 1) |z| 2 + 1
es inversa por la izquierda de ψ.
2. ψ es sobre. Un cálculo sencillo muestra que π es también una inversa
derecha de ψ (ejercicio).
Escribiendo z = x + i y, se obtiene
2 a x + 2 b y + c (x 2 + y 2 − 1) = d (x 2 + y 2 + 1),
a x + b y = c.
| z − a | 2 = r 2,
(z − a) (z − a) = r 2 ,
|z| 2 − a z − a z + |a| 2 = r 2 ,
Si a = a 1 + i a 2 , z = x + i y, entonces Re (a z) = a 1 x + a 2 y y la
imagen del cı́rculo en la esfera está definida por las siguientes ecuaciones
1 + x3
− 2 (a 1 x + a 2 y) = r 2 − |a| 2 ,
1 − x3
1 + x3 x1 x2
− 2 a1 − 2 a2 = r 2 − |a| 2 ,
1 − x3 1 − x3 1 − x3
1 + x 3 − 2 a 1 x 1 − 2 a 2 x 2 = (r 2 − |a| 2 ) (1 − x 3 ).
Se sigue entonces que estos puntos están contenidos en un plano y por lo
tanto constituyen un cı́rculo en la esfera.
Es útil obtener en términos de z y z , puntos del plano complejo, una
fórmula de la distancia entre sus proyecciones en la esfera. Si denotamos éstas
por (x 1 , x 2 , x 3 ) y (x 1 , x 2 , x 3 ), se tiene
(x 1 − x 1 ) 2 + (x 2 − x 2 ) 2 + (x 3 − x 3 ) 2 = 2 − 2(x 1 x 1 + x 2 x 2 + x 3 x 3 ).
Ahora, usando (1.5), (1.6) y (1.7), se sigue que
x 1 x 1 + x 2 x 2 + x 3 x 3
2
2
z+z z + z z−z z − z |z| − 1 |z | − 1
= − +
|z|2 + 1 |z |2 + 1 |z|2 + 1 |z |2 + 1 |z|2 + 1 |z |2 + 1
2 z z + 2 z z + |z z | 2 − |z| 2 − |z | 2 + 1
=
(1 + |z| 2 ) (1 + |z | 2 )
−2(z − z )(z − z ) + (1 + |z| 2 ) (1 + |z | 2 )
=
(1 + |z| 2 ) (1 + |z | 2 )
(el último paso equipara numerador y denominador).
Por consiguiente,
2 2 2 2 |z − z | 2
(x 1 − x 1 ) + (x 2 − x 2 ) + (x 3 − x 3 ) = 2 − 2 1 −
(1 + |z| 2 ) (1 + |z | 2 )
4 |z − z | 2
= .
(1 + |z| 2 ) (1 + |z | 2 )
Esta nueva fórmula de distancia en C es particularmente novedosa y útil
porque incluye el punto al infinito. En este caso, si z = ∞, se tiene
|z| 2 − 1
x 1 x 1 + x2 x 2 + x 3 x 3 = ,
|z| 2 + 1
1. Fundamentos y analiticidad 25
por lo que
|z| 2 − 1 4
(x 1 − x 1 2
) + (x 2 − x 2 )2 + (x 3 − x 3 ) 2
= 2−2 = .
|z| 2 + 1 1 + |z| 2
Estos cálculos inducen la métrica buscada en C.
Definición 10 Se define la métrica cordal en el plano complejo extendido de
la siguiente manera
⎧
⎪ 2 |z 1 − z 2 |
⎪
⎪ , si z 1 , z 2 = ∞.
⎪
⎨ 1 + |z 1 | 2 1 + |z 2 | 2
d C (z 1 , z 2 ) =
⎪
⎪
⎪
⎪ 2
⎩ , si z 2 = ∞.
1 + |z 1 | 2
Como S 2 es un subespacio métrico de R 3 , esta distancia define en efecto
El término cordal proviene de que se miden cuerdas en
una métrica en C.
la esfera
d C (z 1 , z 2 ) = |π(z 1 ) − π(z 2 )|.
Proposición 1.2.2 Las métricas cordal y euclidiana inducen la misma topo-
logı́a en C, es decir, definen los mismos abiertos en C. Además
d C (z n , ∞) −→ 0 si y sólo si |z n | −→ ∞.
Demostración. Para la primera parte hay que probar que la función iden-
tidad
Id : C E −→ C C
es bicontinua, donde C E es el plano complejo provisto con la métrica eucli-
diana, y C C con la métrica cordal.
Si |z n − z| → 0 cuando n → ∞, entonces |π(z n ) − π(z)| → 0 cuando
n → ∞, ya que la función π es continua, lo cual prueba que la función Id es
también continua. Ahora, por la continuidad de ψ, si d C (z n , z) → 0 cuando
n → ∞, entonces |π(z n ) − π(z)| → 0 y |ψ π(z n ) − ψ π(z)| = |z n − z| → 0
cuando n → ∞.
Para la segunda parte, sea z n , n ∈ N, una sucesión en C, tal que
|z n | → ∞ cuando n → ∞, como
2
d C (z n , ∞) = ,
1 + |z n | 2
26 1.2. Plano complejo extendido, continuidad
EJERCICIOS 1.2.2
1 +i x 2
1. Demuestre que la función estereográfica (x 1 , x 2 , x 3 ) → x 1−x 3
de la
esfera de Riemann en el plano complejo extendido es suprayectiva.
2. Demuestre que si z n → ∞ cuando n → ∞, entonces d C (z n , ∞) → 0,
cuando n → ∞.
3. Las transformaciones de Möbius definidas en (1.4) se extienden a la esfera
de Riemann C como sigue: si c = 0, T (∞) = ∞, y si c = 0, T (∞) = a/c y
T (−d/c) = ∞. Demuestre que estas funciones son continuas en dicha esfera
con la métrica cordal.
4. Demuestre que si A, B son matrices que representan (de la manera obvia)
dos transformaciones de Möbius f, g, respectivamente, entonces la matriz
BA representa la composición gf , que también es de Möbius. Concluya
mostrando que estas transformaciones son funciones bicontinuas de la esfera
en sı́ misma, y que además constituyen un grupo.
1. Fundamentos y analiticidad 27
x2 x3 x4
ex = 1 + x + + + + ··· .
2! 3! 4!
28 1.3. Algunas funciones importantes
ez
iy
eiy
R 0 = {z ∈ C | 0 ≤ Im z < 2 π}
ez
x
ex
π
i
3π
i
e2 = i
e 4
3π
2 i ez e4
π
i
πi eπ i = −1
1
π
2 i
7π
i
e
5π
4 i e 4
3π
i
e 2 = −i
e z+w = e z e w .
Demostración. Si z = x + i y y w = s + i t, tenemos
e x (cos y + i sen y) = 1,
e w+z = e z ∀ z ∈ C.
EJERCICIOS 1.3.1
1. Sea A = {z ∈ C | 0 < Re z < 2, −π/2 < Im z < π/2}. ¿Cuál es la imagen
de A bajo la exponencial?
π
2. Exprese e (4+i 6 ) en la forma x + i y.
3. Demuestre que la función exponencial compleja no está acotada en ninguna
semirrecta por el origen (salvo en el eje imaginario). Describa la imagen.
4. Demuestre que bajo la acción de la función exponencial, dos lı́neas hori-
zontales, simétricas con respecto al eje x, se transforman en dos semirrectas
por el origen que son conjugadas una de otra.
5. ¿Qué puntos del plano complejo cumplen e i w = e i w ?
R y 0 = { z ∈ C | y 0 ≤ Im z < y 0 + 2 π}
(y0 + 2π)i
e y0 i
y0 i
Demostración. Si e z = e w , z, w ∈ R y 0 , entonces
e z−w = 1 y w − z = 2 π n i, n ∈ Z.
si y sólo si
(y0 + 2 π) i
e i y0
log z
y0 i
log z
ei(y0 +t)
eiy0 (y0 + t)i
y0 i
EJERCICIOS 1.3.2
3π
1. Calcule log (3 − 3 i) con las ramas [−π, π), [0, 2 π) y [− π2 , 2
).
2. Calcule
√ todos los valores que toman las distintas ramas de logaritmo de
1 3
2
+ i 2
.
36 1.3. Algunas funciones importantes
Por ejemplo, si
1 i
z = √ − √ y w = i
2 2
se sigue, tomando la rama con valores en [−π, π), que
iπ
i log 1− π
4
zw = e = e 4.
Obsérvese que, en general, es necesario elegir una rama de logaritmo para que
la asociación z → z w sea una función. Por ejemplo, como se vio en la sección
de las raı́ces n-ésimas, la asociación z → z 1/n toma n valores. En contraste,
la asociación w → z w es más simple, puesto que en este caso log z es una
constante. Es muy importante enfatizar que al tomar las distintas ramas de
logaritmo, los valores obtenidos difieren por factores de la forma
e w ( 2 π n i) , n ∈ Z.
Esto se sigue ya que dada una rama de logaritmo denotada por z → log z,
cualquier otra es de la forma z → log z + 2 π n i, n ∈ Z, por lo cual todas
las posibles ramas de z w son de la forma
e w(log z+2 π n i) = e w log z e w (2 π n i) , n ∈ Z.
En el ejemplo que acabamos de mencionar los otros valores de z w son
π π
−2 π n
e 4 e i (2 π n i) = e 4 , n ∈ Z.
1. Fundamentos y analiticidad 37
ew(2πni) = 1 ∀ n ∈ Z ⇐⇒ wn ∈ Z ∀n ∈ Z ⇐⇒ w ∈ Z.
Se tiene
p p
( 2 π n i) (2πmi)
eq = eq , n, m ∈ Z,
p
⇐⇒ (n − m) ∈ Z ⇐⇒ n≡m (mód q),
q
puesto que (p, q) = 1, por lo que z p/q toma exactamente q valores. Tam-
bién, para cualquier rama z → log z se tiene
p q
log z
e q = e p log z = z p .
Demostración. Si w ∈ C − Q, entonces
e w 2 π n i = e w 2 π m i, n, m ∈ Z,
w 2 π (n−m) i
⇐⇒ e = 1 ⇐⇒ w (n − m) ∈ Z ⇐⇒ n = m.
38 1.3. Algunas funciones importantes
e w 2 π n i = e−2 π n y e 2 π n i x .
e−2 π n y = e−2 π m y y n = m.
Con base en el concepto de potencias complejas se pueden definir las
funciones que son raı́ces n-ésimas.
√
Definición 14 La función raı́z n-ésima, denotada por n z o z 1/n , se define
como
log z
e n ,
donde log z es una rama de logaritmo.
z2 z2
z 2θ
θ
1
z2
√
z
√
Figura 1.20: La función z → z, usando la rama [−π, π), es la inversa de
z → z 2 , restringiendo el dominio de esta última a la unión del semiplano
derecho abierto con el eje imaginario inferior (abierto)
√
La función z → z, definida al tomar la rama de logaritmo [0, 2 π),
está dada por
√√ θ
z −→
z = r ei 2,
√
donde z = r e i θ . Como θ/2 ∈ [0, π), z es un real positivo o un punto en
el semiplano superior: el efecto es dividir el ángulo en dos, por lo cual esta
raı́z cuadrada es una inversa (izquierda y derecha) de la función elevar al
cuadrado, cuando esta última se restringe a la unión del semiplano
superior
abierto H 2 y los reales positivos. En contraste, por ejemplo, (−i) 2 = i.
40 1.3. Algunas funciones importantes
√
Por otra parte, si se toma la√raı́z cuadrada z definida por la rama de
logaritmo [−π, π), se tiene que z toma valores en el conjunto formado por
la unión del semiplano derecho y el eje imaginario inferior abierto (véanse
las Figuras 1.20 y 1.21). En general (a semejanza del logaritmo), cualquier
rama de la raı́z cuadrada definida en C − {0} es una inversa derecha de la
función elevar al cuadrado. El siguiente resultado describe algunos aspectos
de la geometrı́a de la función elevar al cuadrado.
θ
θ 2
√
z
√
Figura 1.21: La función z → z usando la rama [−π, π)
Demostración. Si z = x + i y, entonces
z 2 = x 2 − y 2 + 2x y i.
que de nuevo definen una parábola. Nótese que la segunda familia de parábo-
las se obtiene al reflejar la primera familia por el eje imaginario.
En la Figura 1.22 se ilustra la prueba de la proposición anterior: la imagen
de la recta Im z = 1 es la parábola definida por
t2
t −→ −1
4
que cruza al eje imaginario en ± 2 i y al eje real en −1. Asimismo, la imagen
de la recta Im z = 2 cruza a los ejes en ± 8 i y en −4. Si se toman ahora
las imágenes correspondientes a las rectas dadas por Re z = 1, 2, se obtienen
las otras parábolas que pasan por 1 y 4, respectivamente. En la sección de
conformalidad al final de este capı́tulo se entenderá por qué estas parábolas
se intersecan ortogonalmente.
8i
2i
-4 -1 1 4
−2i
−8i
EJERCICIOS 1.3.3
1. Calcule todos los valores de (1 − i) 4−2i , z i y i w .
√
2. Describa la imagen del conjunto C − {0} bajo la función 3 z definida por
la rama de logaritmo [−π, π). ¿Cuál es la imagen de dicho conjunto bajo la
raı́z cúbica definida por la rama de logaritmo [0, 2 π)?
3. Demuestre que si w ∈ R, entonces |z w | = |z|w .
4. Exhiba z, w ∈ C, para las cuales no se cumpla |z w | = |z| |w| .
5. Demuestre que la función raı́z cuadrada definida por la rama de logaritmo
[0, 2 π) transforma las lı́neas verticales y horizontales de C − {R+ ∪ {0}} en
ramas de hipérbolas.
√ √
6. Sea w ∈ C − {0} y una rama de la raı́z, ¿se cumple 1/w = 1/ w ?
e i y + e−i y e i y − e−i y
cos y = y sen y = .
2 2i
Esto sugiere la siguiente definición.
e i z + e−i z ei z − e−i z
cos z = , sen z = .
2 2i
Claramente estas funciones son extensiones de las correspondientes fun-
ciones reales. Es evidente también que estas funciones complejas cumplen las
identidades: cos z = cos(−z) y sen(−z) = − sen z. Además, heredan otras
de sus propiedades como funciones reales, como se muestra en el siguiente
resultado.
Proposición 1.3.9 Dados z, w ∈ C, se cumplen las siguientes igualdades
e 2 i z − 2 + e−2 i z e 2 i z + 2 + e−2 i z
= + = 1.
−4 4
Para probar (ii), nótese que la expresión sen z cos w+sen w cos z está da-
da por
iz
iw
iw
iz
e − e−i z e + e−i w e − e−i w e + e−i z
+ =
2i 2 2i 2
sen z
− π2 − π4 - π6 π
6
π
4
π
2 −1 − 12 1
2 1
u2 v2
+ = 1,
cosh 2 y 0 senh 2 y 0
degenerada. Por otra parte, en el eje imaginario, se tiene sen z = i senh y, por
lo que se transforma en sı́ mismo, caso que también se puede considerar como
una hipérbola degenerada (cuando las dos ramas se juntan en una sola). Otros
casos degenerados suceden con las rectas Re z = π/2 y Re z = −π/2, que se
transforman en los segmentos reales [1, ∞) y (−∞, −1], respectivamente,
ya que en estos casos sen z = ± cosh y (esta situación lı́mite es cuando las
ramas de las hipérbolas se doblan en un segmento, véase la Figura 1.23).
Claramente, este comportamiento se repite en todas las rectas verticales que
son de la forma Re z = π/2 + k π, k ∈ Z.
Intuitivamente es claro entonces que si restringimos la función seno a la
región " #
π π
z ∈ C − < Re z < ,
2 2
ésta se transforma biyectivamente en C−{z | Im z = 0, |Re z| ≥ 1}. Dejamos
la verificación formal de este hecho como un ejercicio para el lector. Para
probar esto es útil usar la relación sen(π−z) = sen z, que es una consecuencia
inmediata de la Proposición 1.3.9.
Terminamos esta sección analizando algunos aspectos de las funciones
inversas del seno. Para esto, si sen z = w, entonces
e i z − e−i z
= w ⇐⇒ e i z − e−i z − 2 i w = 0 ⇐⇒ e2 i z − 2 i w e i z − 1 = 0.
2i
Esta ecuación cuadrática tiene soluciones
√
2 i w ± −4 w 2 + 4 √
iz
e = = i w ± 1 − w 2.
2
Por lo que tomando las distintas ramas de logaritmo se obtienen todas las
preimágenes de w bajo la función seno. Esto es
√
i z = log i w ± 1 − w 2
o √
z = −i log i w ± 1 − w 2 . (1.10)
Por ejemplo, si w = 0 y se toma la rama de logaritmo cuyo argumento toma
valores en ( −π
2
, 32π ] se obtienen los valores 0 y π. Por consiguiente, todas
las preimágenes del 0 bajo la función seno son k π, k ∈ Z.
46 1.4. Algunas funciones importantes
donde z = k π + π/2, k ∈ Z (es fácil verificar que éstos son los puntos donde
se anula el coseno complejo).
EJERCICIOS 1.3.4
1. α f + β g es analı́tica en A y
2. f g es analı́tica en A y
z4 + 2z3 + 1
f (z) =
z2 + 1
es holomorfa en C − {±i} y usando las observaciones anteriores se puede
calcular fácilmente su derivada
(4z 3 + 6 z 2 )(z 2 + 1) − 2 z (z 4 + 2 z 3 + 1) 2z 5 + 2 z 4 + 4 z 3 + 6 z 2 − 2 z
2 2
= .
(z + 1) (z 2 + 1) 2
EJERCICIOS 1.4.1
1. Demuestre la identidad (f g) (z) = f (z) g(z) + f (z) g (z).
3 z 4 −2 z 2 +i
2. Encuentre una región donde z 3 −27 i
sea holomorfa, calcule la derivada.
3. Sea f la función de R 2 en R definida por f (x, y) = (x 2 + y 2 , 0) (en
2
f (x 0 + h, y 0 + k) − f (x 0 , y 0 ) − Df(x 0 , y 0 ) (h, k)
lı́m = 0.
(h, k)→(0, 0) |(h, k)|
50 1.4. Funciones analı́ticas
1 ∂u ∂v ∂v ∂u
f (z 0 ) = (x 0 , y 0 ) + (x 0 , y 0 ) = (x 0 , y 0 ) − i (x 0 , y 0 ).
i ∂y ∂y ∂y ∂y
∂u ∂v ∂v ∂u
f (z) = (z) + i (z) = (z) − i (z).
∂x ∂x ∂y ∂y
(x + i y) −→ (a + i c) (x + i y) = (a x − c y) + i (c x + a y).
Esta función lı́neal es también la definida por la matriz ac −c a , ya que
a −c x
= a x − c y, c x + a y .
c a y
Viceversa, si la matriz ac db representa la multiplicación por α + i β, se
sigue que para todo número complejo x + i y ∈ C, se tiene
a b x
= (α x − β y, β x + α y),
c d y
es decir,
a x + b y = α x − β y,
c x + d y = β x + α y.
En particular, tomando los valores particulares (1, 0) y (0, 1) se obtiene
a = α, c = β, b = −β y d = α.
El Teorema 1.4.2 y el lema anterior permiten probar ahora sin gran difi-
cultad el resultado principal.
Demostración del Teorema 1.4.3. Si f es holomorfa en z 0 , entonces
∀ z en una vecindad de z 0 existe
f (w) − f (z)
lı́m ,
w→z w−z
que denotamos por f (z). Este lı́mite es equivalente a
f (w) − f (z) − f (z) (w − z)
lı́m = 0,
w→z (w − z)
que a su vez equivale a
|f (w) − f (z) − f (z) (w − z)|
lı́m = 0,
w→z |w − z|
1. Fundamentos y analiticidad 53
2πi
T −1 e n = 2nπ , 1
T −1
2π
∂u ∂v
(θ, r) = −r (θ, r) y
∂θ ∂r
∂v ∂u
(θ, r) = r (θ, r),
∂θ ∂r
C − B y0, (1.11)
donde B y 0 = {z ∈ C | z = t e i y 0 , t ≥ 0}.
(y0 + 2π)i
log z
y0 i
eiy0
f (z) = log r + i θ.
Se pueden construir otras funciones enteras con las potencias, por ejemplo,
si se toma un complejo no nulo b y cualquier rama de logaritmo, se tiene
que la función f (z) = b z es entera y su derivada está dada por (log b) b z .
Esto se sigue de la regla de la cadena, ya que b z = e (log b) z .
{z ∈ C | e z + 1 ≤ 0}.
60 1.4. Funciones analı́ticas
A = C − {x + i y ∈ C | x ≥ 0, y = (2 n + 1)π, n ∈ Z}
es la región buscada, y
d (e z + 1) 1/2 ez z
= (e + 1)−1/2 ∀z ∈ A
dz 2
(véase la Figura 1.26).
3πi
πi
−πi
√
Figura 1.26: Dominio de analiticidad para z → ez + 1
es analı́tica en C − B, donde
B = {z ∈ C | Im z = 0, |Re z| ≥ 1}
(véase la Figura 1.27). Para esto, basta observar que z ∈ B si y sólo si se
cumplen las condiciones
Re (z 2 − 1) ≥ 0 y Im(z 2 − 1) = 0.
1. Fundamentos y analiticidad 61
r2 r1
θ2 θ1
−1 1
√
Figura 1.27: Dominio de analiticidad para z → z2 − 1
√
Una segunda descripción de la función z 2 − 1 está dada por la siguiente
expresión
√
r 1 r 2 e i (θ 1 +θ 2 )/2 , (1.12)
donde r i , θ i , i = 1, 2, se determinan de acuerdo con la Figura 1.27, bajo las
condiciones 0 < θ 1 < 2 π √ y −π < θ 2 < π. Para probar esta √ afirmación,
obsérvese primero que si z +√1 es raı́z √ cuadrada de z + 1 y z − 1 es raı́z
cuadrada de z − 1, entonces z + 1 z − 1 es raı́z cuadrada de
(z + 1) (z − 1) = z 2 − 1.
√
Ahora, se toma para definir z − 1 la rama de logaritmo con valores en
(0, 2 π), por lo que esta función es holomorfa en
C − {x + i y ∈ C | y = 0, x ≥ 1}.
√
Es claro también de la Figura 1.27 que, como la función z − 1 está definida
por
1
z −→ e 2 (log |z−1|+i arg(z−1)) ,
donde 0 < arg z < 2 π, se tiene que
√ √
z − 1 = r 1 e i θ 1 /2 .
√
Finalmente, para z + 1 se toma la rama principal, por lo que esta función
es holomorfa en
C − {x + i y ∈ C | y = 0, x ≤ −1}.
62 1.4. Funciones analı́ticas
EJERCICIOS 1.4.2
1. Verifique directamente que se cumplen las ecuaciones de Cauchy-Riemann
para la función z → 3 z 3 + 2 z.
2. Sea A una región en C − R+ y f : A → C diferenciable en el sentido
real y tal que cumple las ecuaciones de Cauchy-Riemann en forma polar,
demuestre que f es analı́tica en A.
√
3. Demuestre que las dos descripciones que se exhibieron de z 2 − 1 al final
de esta sección, son la misma función. Sugerencia: usar un argumento de
conexidad y continuidad.
4. Demuestre que la función z → sen z no es holomorfa en ningún punto del
plano.
5. Encuentre un dominio de analiticidad para la función z → log(z − 7 + i)
y calcule la derivada, donde log denota la rama de logaritmo con valores en
( π2 , 5π
2
).
6. Encuentre un dominio de analiticidad para la función z → log(e z + 1) y
encuentre la derivada, donde log denota la rama (0, 2 π) de logaritmo.
7. Demuestre que la función f (z) = z 5 /|z| 4 , si z = 0, y f (0) = 0, cumple las
ecuaciones de Cauchy-Riemann en el origen, sin embargo no es diferenciable
en dicho punto. Sugerencia: aproximarse al origen por una recta a 45 o .
√
8. Encuentre una región de analiticidad para la función z → z 3 − 1 usando
la rama principal de logartimo. Calcule la derivada.
√
9. Encuentre una región donde la función z → z + 1 sea holomorfa,
usando la rama (0, 2 π) para definir la raı́z. Calcule la derivada.
10. Exhiba una familia infinita de funciones de C en C diferenciables en el
sentido real pero no analı́ticas.
1. Fundamentos y analiticidad 63
1.4.3. Conformalidad
La regla de la cadena para funciones de varias variables reales junto con las
ecuaciones de Cauchy-Riemann proporcionan una interesante y fundamental
interpretación geométrica de las funciones holomorfas.
Teorema 1.4.10 Sea γ : [a, b] → C una curva diferenciable contenida en
una región A, supóngase también que f : A → C es holomorfa, entonces
f ◦ γ es una curva diferenciable y
(f ◦ γ) (t) = f (γ(t)) γ (t) ∀ t ∈ [a, b].
Demostración. La regla de la cadena real implica que
(f ◦ γ) (t) = Df (γ(t)) γ (t).
A su vez, la demostración del Teorema 1.4.3 dice que esto puede escribirse
como
(f ◦ γ) (t) = f (γ(t)) γ (t).
El Teorema 1.4.10 conlleva la geometrı́a local de las funciones analı́ti-
cas; muestra que en los puntos donde no se anula la derivada, la función,
infinitesimalmente, es aproximadamente una rotación en el sentido positivo,
seguida de una homotecia —las cuales pueden ser triviales—. Para mostrar
esto, suponemos que bajo las hipótesis del teorema, se tiene también que
∀ t ∈ [a, b] γ (t) = 0 y f (γ(t)) = 0. Ahora, si denotamos a la curva
imagen f ◦ γ por φ, se tiene
φ (t) = f (γ(t)) γ (t),
y por consiguiente φ (t) = 0. Más aún, la dirección de la tangente a φ en
φ(t) está determinada por
arg φ (t) = arg f (γ(t)) + arg γ (t) (mód 2 π).
Esto dice que el ángulo que forman las tangentes a φ en φ(t) y a γ en
γ(t) es arg f (γ(t)), es decir, no depende de la curva γ, sólo depende del
punto z = γ(t) y de la función f (véase la Figura 1.28).
64 1.4. Funciones analı́ticas
f (t)
φ
γ (t) φ(t)
γ(t)
Estas hipótesis también implican que dos curvas cuyas tangentes forman
un ángulo θ en z se transforman en dos curvas cuyas tangentes forman un
ángulo θ en f (z). Esto se sigue, al tomar dos curvas diferenciables γ 1 , γ 2 ,
con derivadas no nulas que se intersecan en un punto z ∈ A, denotando las
curvas imágenes por φ 1 , φ 2 , y restando las siguientes expresiones
arg φ 1 (t) = arg f (γ 1 (t)) + arg γ 1 (t) (mód 2 π)
arg φ 2 (t) = arg f (γ 2 (t)) + arg γ 2 (t) (mód 2 π),
donde γ 1 (t) = γ 2 (t) = z. Véase las Figuras 1.29 y 1.30.
φ2
γ2
f
θ φ1
z
f (z)
θ
γ1
z0
f (z0 )
2
2
∂u ∂v
det Df (z 0 ) = (z 0 ) + (z 0 ) = |f (z 0 )| 2 = 0.
∂x ∂x
1. Fundamentos y analiticidad 67
Se puede deducir también del Teorema 1.4.11 que existe una función in-
versa del seno, que es holomorfa en la región C − {z | Im z = 0, |Re z| ≥ 1}.
Esto se sigue de la descripción que se hizo anteriormente sobre la geometrı́a
de la función seno, y del hecho de que en la franja |Re z| < π/2 , la función
seno no tiene singularidades, esto es, puntos donde la derivada se anule (en
los puntos ±π/2 la función se ramifica, es dos a uno). Se tiene entonces
que la función z → sen z es una biyección conforme entre ambas regiones.
Sin embargo, no es evidente qué ramas se pueda tomar en la relación (1.10)
para la raı́z cuadrada y para el logaritmo, de tal manera que esta fórmu-
la proporcione la inversa. Un análisis detallado, considerando los distintos
cuadrantes, muestra que tomando
√doblemente
la rama principal, se tiene
que en efecto w → −i log i w + 1 − w 2 define la inversa en la región
C − {z | Im z = 0, |Re z| ≥ 1}. Dejamos la verificación de este resultado
como ejercicio para el lector.
Se concluye este capı́tulo probando que una función holomorfa definida
en una región con derivada nula es constante. Para esto, observamos primero
que si A es una región en C y z, w ∈ A, entonces existe una poligonal
(esto es, una curva formada por un número finito de segmentos de recta
consecutivos no alineados) totalmente contenida en A que une z con w.
Dejamos la verificación de este hecho al lector.
EJERCICIOS 1.4.3
1 Interprete geométricamente la no conformalidad de la función z → z 4 en
el origen.
2. Describa el comportamiento infinitesimal de la función f (z) = 3 z 2 + 2
cerca de 1 + i.
3. Demuestre que en una región del plano complejo, cualesquier dos puntos
se pueden unir por medio de una poligonal. Sugerencia: usar un argumento
de conexidad.
4. Sea B = {z ∈ C | Im z = 0, |Re z| ≥ 1} demuestre queusando √ (doble-
mente) la rama principal de logaritmo, la función z → i log i z + 1 − z 2
es una biyección conforme de C − B en {z ∈ C | |Re z| < π2 }. Esta transfor-
mación es una inversa de la función seno.
5. Demuestre que si una función f es conforme en un punto z, entonces la
matriz jacobiana de f en z es el producto de una matriz escalar por una
matriz ortogonal especial (elemento de SO(2)).
6. Demuestre que si una función g es holomorfa en un dominio D y se anula
en todo punto su derivada n-ésima, entonces la función es un polinomio de
grado menor o igual a n − 1. Sugerencia: aplicar inducción sobre n.
Capı́tulo 2
Integración
2.1. Fundamentos
En esta sección se establecen las propiedades básicas de la integración com-
pleja y el teorema fundamental del cálculo complejo.
71
72 2.1. Fundamentos
Proposición 2.1.1 Sean f (z) = u(z) + i v(z) y γ(t) = (x(t), y(t)) como en
la Definición 23. Entonces
) ) )
f (z) dz = [u(x, y) dx − v(x, y) dy] + i [u(x, y) dy + v(x, y) dx] .
γ γ γ
2. Integración 73
También, dada A una región y γ : [a, b] → A de clase C 1 por tramos,
se define −γ(t) = γ(a + b − t), es decir, −γ recorre la misma curva que γ,
pero en sentido inverso. Ahora, si f : A → C es una función continua, se
sigue del teorema de cambio de variable real (aplicado dos veces) que
) )
f = − f. (2.1)
−γ γ
k(0) k(x)
i 1+i
)
3 ) j+1
(Im z) dz = Im (γ(t)) γ (t) dt
γ j =0 j
) 1 ) 2 ) 3 ) 4
= 0(1) dt + (t − 1) (i) dt + (1)(−1) dt + (4 − t)(−i) dt
0 1 2 3
2 2
4
t t 2
=
− t i − 1 + −4 t + i = −1.
2 1 2 3
2. Integración 77
)
* b
La integral a f γ(t) γ (t) dt se denota por |f | |dz| .
γ
Demostración. La primera parte (i) es consecuencia de la segunda (ii),
para probar esta última se afirma que si g : [a, b] → C es continua, entonces
) )
b b
g(t) dt ≤ |g(t)| dt.
a a
Esta afirmación prueba (ii) al tomar g(t) = f γ(t) γ (t).
El truco para probar la afirmación es expresar la integral de manera polar.
Escribiendo ) b
g(t) dt = r e i θ ,
a
Finalmente
) b ) ) )
b b −i θ b
g(t) dt = r = Re e−i θ g(t) dt ≤ e g(t) dt = |g(t)| dt.
a a a a
Ilustramos el teorema con un ejemplo, si γ es el semicı́rculo inferior uni-
tario recorrido en el sentido positivo, entonces usando la primera parte del
Teorema 2.1.5 se tiene )
2 ez 2e
dz ≤ π ,
γ 5z 5
ya que en el cı́rculo unitario la norma de la exponencial es e cos t , t ∈ [0, 2 π].
*
Algunas veces se usan integrales del tipo γ f |dz|, éstas se definen como
*b
a
f (γ(t)) |γ (t)| dt, donde γ es una curva de clase C 1 por tramos que
está definida en el intervalo [a, b] y que toma valores en una región donde la
función f es continua. Terminamos esta sección con el teorema fundamental
del cálculo complejo que, al igual que el caso real, permite calcular integrales
de manera inmediata, sin hacer muchas cuentas.
Demostración. Si γ es de clase C 1
) ) b ) b ) b
f = f γ(t) γ (t) dt = g γ(t) γ (t) dt = (g ◦ γ) (t) dt
γ a a a
= g γ(b) − g γ(a) ,
*
Como ejemplo evaluamos γ 3 z 2 dz, donde γ es √ el segmento de la elipse
dada por 2 x 2 + y 2 = 1 que une z = i y z = −1/ 2 en el sentido positivo
(en general, siempre que se integre sobre cı́rculos, elipses o curvas simples
cerradas, se tomarán las curvas orientadas positivamente, es decir, al reco-
rrerlas, la región acotada que delimitan estará a la izquierda). En virtud del
Teorema 2.1.6 no es necesario parametrizar la elipse, ya que
d (z 3 )
3z2 = .
dz
Por lo cual )
3
2 −1 1
3 z dz = √ − i 3 = − √ + i.
γ 2 2 2
√
Es crucial notar que si se toma cualquier otra curva que una i con −1/ 2,
se obtiene el mismo resultado, ya que la función z → z 3 es entera.
El siguiente ejemplo es de particular importancia y se usará posterior-
mente. Sea γ el cı́rculo de radio r alrededor de a ∈ C y n ∈ Z, entonces
) $
0 si n = −1,
(z − a) n dz =
γ 2πi si n = −1.
Esto se sigue, ya que
si n ≥ 0 o n ≤ −2,
d 1
(z − a) n
= (z − a) n+1
dz n+1
EJERCICIOS 2.1
1. Demuestre la identidad (2.1).
*
2. Calcule γ 3 z 4 dz, donde γ es cualquier curva de clase C 1 por tramos
que une i con 7.
3. Sea γ*: [0, 2 π] → C dada por γ(t) = i + 4 + 3 e i t y f (z) = (z − i − 4)−7 ,
calcule γ f .
*
4. Calcule γ f, donde f (z) = Im z y γ es el segmento de lı́nea que une 2
* *
con −i. ¿ Se cumple Re ( γ f ) = γ Re f ?
*
5. Demuestre que | γ f | ≤ 34 log 2, donde f (z) = sen z y γ es el segmento
en el eje imaginario que une el origen con (log 2) i.
* *
6. Calcular γ |z|dz|3 | y γ |dz|
z
, donde γ es el cı́rculo de radio 2 con centro en
el origen.
γ
int(γ)
ext(γ)
Figura 2.3: Una curva simple cerrada separa en dos componentes al plano
Demostración. Escribiendo f = u + i v,
) ) ) )
f = (u + i v)(dx + i dy) = u dx − v dy + i u dy + v dx
γ γ γ γ
)
)
∂v ∂u ∂u ∂v
= − − dA + i − dA = 0.
∂x ∂y ∂x ∂y
Int(γ) Int(γ)
A γ1 τ
γ2
Lo cual implica ) )
f = f.
γ1 γ2
84 2.2. Versión particular del teorema de Cauchy, ideas intuitivas
entonces ) n )
f = f, (2.2)
γ k=1 γk
γ1
σ2
γ2
σ1
γ1
z1 z2
γ2
EJERCICIOS 2.2
sen z
1. Calcule la integral de f (z) = e|z| 3 en el cı́rculo {z | |z| = 2}.
*
2. Calcule |z−7|=5 log z dz, donde log z es la rama principal de logaritmo.
* √
3. Calcule |z|=1/2 z 2 − 1 dz, donde la raı́z se define tomando la rama
(0, 2 π).
R1
R3
R2
(i) R ⊃ R 1 ⊃ R 2 . . . ,
(ii) |I(R)| ≤ 4 k I(R k ),
D
|z k − z l | ≤ .
2k
90 2.3. Teorema de Cauchy
|f (z) − f (z 0 ) − (z − z 0 )f (z 0 )| <
|z − z 0 | ,
si |z − z 0 | < δ.
Finalmente, si k es suficientemente grande se tiene que diám (R k ) < δ,
por lo que en virtud del Teorema 2.1.5 se tiene
I(R k ) ≤
D (∂R)
,
2k 2k
y usando (ii)
D (∂R)
|I(R)| ≤ 4 k I(R k ) ≤ 4 k =
D (∂R),
4k
lo cual implica I(R) = 0.
Usaremos para la prueba del caso global, la siguiente generalización del
lema de Goursat.
z0
τh
R
z z+h
P
λz
z0 ψz
Para probar que g es holomorfa en Int P y que g (z) = f (z) para toda
z ∈ Int P, notamos primero que se sigue del lema de Goursat que
) )
f = f.
λz ψz
Por consiguiente
)
g(x + h, y) − g(x, y) 1 x+h
= f (t, y) dt. (2.4)
h h x
g = f.
1
2
γ1
γ 12
0 γ0
Corolario 2.3.4 Bajo las hipótesis del Teorema 2.3.3, si además γ es una
curva cerrada de clase C 1 por tramos en R, se tiene
)
f = 0.
γ
2. Integración 95
H(s, t) = 7 + i + (2 + t) e i s ,
x 1 + t (x 2 − x 1 ) ∈ A.
donde t ∈ [0, 1], véase la Figura 2.13. Nótese que la intersección de regio-
nes convexas es convexa. El siguiente resultado muestra que en las regiones
convexas una curva se puede deformar en cualquier otra.
z2
tz2 + (1 − t)z1
z0
z1
1
H
γ1
0 a b
γ0
Rj
Demostración. Sea
> 0, por continuidad uniforme existe una partición
a = s0 < s 1 < . . . < s n = b, tal que para i = 1, 2,. . . , n − 1 se tiene
λ(s) ∈ D(λ(s i ),
) ∀ s ∈ [s i−1 , s i+1 ].
100 2.3. Teorema de Cauchy
Se define la curva γ como la poligonal que une los puntos λ(s k ). Más
precisamente, ∀ k ∈ {0, 1, 2, . . . , n − 1} se define
γ [s k , s k+1 ] = ψ k ◦ φ k ,
De esta manera, γ|[s k , s k+1 ] describe el segmento que une λ(s k ) con
λ(s k+1 ). Además, es una composición de funciones afines, y es, por lo tanto,
de clase C 1 , es decir, γ es de clase C 1 por tramos. Véase la Figura 2.15.
Finalmente, si s ∈ (s k , s k+1 ), por construcción se tiene que λ(s k ) y
λ(s k+1 ) pertenecen al disco D(λ(s),
), además γ(s) está en el segmento
que une λ(s k ) con λ(s k+1 ). Por consiguiente, como los discos son convexos
se tiene que
|γ(s) − λ(s)| <
.
Aplicando este razonamiento a cada subintervalo se sigue el resultado.
λ(sk )
γ(s)
λ(sk+1 )
λ(sk−1 ) λ(s)
Figura 2.15: Una curva continua se puede aproximar por una de clase C 1
por tramos
D(z0 , 2M )
w1
z1 B
A z0
necesariamente sea de clase C 1 por tramos. Para esto, sea A una región en
C, f : A → C una función analı́tica, λ : [a, b] → A una curva continua y
cerrada,
= d(λ([a, b]), A c ) y γ 1 , γ 2 dos curvas cerradas, de clase C 1 por
tramos,
-cercanas a λ. Nótese que ambas curvas están en A.
Definimos una homotopı́a entre γ 1 y γ 2 como sigue
Definición 29 Sean A, f , λ y
como arriba, y γ una curva cerrada de
clase C 1 por tramos,
-cercana a λ, entonces
) )
f = f.
γ λ
Las observaciones anteriores muestran que esta integral está bien definida.
Finalmente, probamos el teorema de la deformación.
|(s 1 , t 1 ) − (s 2 , t 2 )| < δ,
2. Integración 103
entonces
|H(s 1 , t 1 ) − H(s 2 , t 2 )| <
/2.
Sean 0 = t 0 < t 1 < . . . < t n = 1 tales que
|t j − t j+1 | < δ ∀ j ∈ {0, 1, . . . , n − 1} .
Denotamos por λ t j a H|([a, b] × t j ), obsérvese que
λ t (s) − λ t (s) <
/2 ∀ j.
j j+1
Es importante destacar que esta versión general se aplica a curvas que se
pueden intersecar, o también a curvas que se autointersecan. A continuación
mostramos un ejemplo: sean γ el cı́rculo unitario |z| = 1 y
1
f (z) = .
z 2 − 1/4
104 2.3. Teorema de Cauchy
γ1
− 12 0 ψ 1 1
2
γ2
-3 -1 1
Esta versión general del teorema de Cauchy nos permite detectar de mane-
ra formal que muchas integrales son nulas, por ejemplo, sea A la región que
consiste de intersecar el semiplano {z | Im z > Re z} con el disco D(−1, 2),
y γ cualquier curva cerrada de clase C 1 por tramos en A. Entonces
) 2
z +z+1
dz = 0,
γ z
esto se sigue del teorema de Cauchy, ya que dicha región al ser convexa es
simplemente conexa, y la función que se está integrando es holomorfa en A,
nótese que la curva γ puede autointersecarse, por lo que es necesaria esta
nueva versión del teorema de Cauchy. Véase la Figura 2.18.
Existe un importante teorema de la topologı́a que complementa al teore-
ma de Jordan y permite establecer que el interior de cualquier curva simple
2. Integración 107
Una prueba de este resultado puede consultarse en [14], pp. 68-69. Este
teorema es de gran utilidad en nuestro contexto, pues nos dice que el interior
de una curva simple cerrada, por complicada (y tipo fractal) que sea, es
una región simplemente conexa. Esto se sigue, ya que si se denota por f el
homeomorfismo que va de Int λ en Δ y si φ : [a, b] → Int λ es una curva
continua y cerrada; como Δ es simplemente
conexo, existe una homotopı́a
H : [a, b] × [0, 1] → Δ, tal que H [a, b] × {0} = f ◦ φ y H [a, b] × {1} es
un punto. Por lo que al tomar f −1 ◦ H se tiene la homotopı́a buscada.
Estas observaciones permiten detectar, vı́a el teorema de Cauchy, que
muchas integrales son nulas. Por ejemplo, sean A la región determinada por
el interior de una curva simple cerrada λ y p(z) un polinomio cuyas raı́ces
no están en A, entonces si γ es una curva cerrada C 1 por tramos en A, se
tiene )
dz
= 0.
γ p (z)
g (z) = f (z).
) ) )
1 z
1 z
1 z
= f − f (z 0 ) = f (w) − f (z 0 ) dw.
z − z0 z0 z − z0 z0 z − z0 z0
e g 1 (z) = z y e g 2 (z) = z ∀ z ∈ A,
g 1 (z) = g 2 (z) + 2 π n i ∀ z ∈ A.
A la función g descrita en el teorema anterior se le llama rama de
logaritmo y se denotará también como log z. Esta función generaliza el
tipo de dominios de analiticidad para el logaritmo que se describieron en
el primer capı́tulo. Por una parte, incluye todos esos dominios, ya que si
B y 0 = {z ∈ C | z = t e i y 0 , t ≥ 0}, entonces C − B y 0 es simplemente conexo
y por la unicidad del teorema, la rama correspondiente es precisamente una
de estas funciones, ya que ∀ z ∈ C, z = 0, se tenı́a e log z = z. También, esta
nueva definición incluye dominios más sofisticados, como el que se muestra
en la Figura 2.19.
EJERCICIOS 2.3
1. Probar los dos detalles faltantes en la prueba del Teorema 2.3.3.
2. Pruebe formalmente que el semiplano {z | Im z ≥ m Re z + b, m, b ∈ R}
es convexo.
110 2.4. Teorema de Cauchy
Más aún, si ψ es una curva cerrada de clase C 1 por tramos, tal que z 0 ∈
/ψ
y γ es homotópica a ψ en C − {z 0 }, se sigue entonces del teorema de la
deformación que )
1 dz
= n.
2 π i ψ z − z0
Es natural pensar que al ser γ y ψ homotópicas, estas curvas deben rodear
el mismo número de veces a z 0 .
También, es intuitivamente claro que una curva simple cerrada de clase
C 1 por tramos γ, que contiene a z 0 en su interior (esto es, rodea a z 0 una
sola vez), es homotópica a un pequeño cı́rculo alrededor de z 0 , por lo que
)
1 1
dz = ± 1.
2 π i γ z − z0
1
Por otra parte, si z 0 ∈ Ext γ, entonces la función z−z 0
es holomorfa en una
región que contiene a la curva γ y a su interior, por lo que el teorema de
Cauchy implica que )
1 1
dz = 0,
2 π i γ z − z0
ya que en virtud del teorema de Shoenflies, la curva γ es nulhomotópica en
1
el dominio de analiticidad de z−z 0
. Esto último se sigue, dado que la homo-
topı́a que deforma el cı́rculo unitario en el origen se puede jalar a deformar
γ en un punto de su interior. Las ideas anteriores desembocan en la siguiente
definición.
γ(t) = z 0 + r e i t , 0 ≤ t ≤ 2 π n, n > 0,
−γ(t) = z 0 + r e−i t
2. Integración 113
tiene ı́ndice −n. Ahora, si γ y ψ son dos curvas cerradas de clase C 1 por
tramos que no pasan por z 0 , y γ es homotópica a ψ en C − {z 0 } , entonces
se sigue del teorema de la deformación que
I(γ, z 0 ) = I(ψ, z 0 ).
En este momento se intuye que el ı́ndice debe ser un entero, como se prueba
a continuación.
γ (t)
g (t) = . (2.6)
γ(t) − z 0
4i
ψ
-1 1
−4i
entonces
H(s, t) = cos s + i (4 − 3 t) sen s
es una homotopı́a entre ψ y γ, véase la Figura 2.21. Por lo que se sigue que
I(ψ, 0) = 3.
Finalmente,
) ) )
f (w) f (z) f (w)
0 = dw − dw = dw − 2 π i f (z) I(γ, z).
γ w−z γ w−z γ w−z
116 2.4. Fórmula integral de Cauchy
Es importante observar que esta fórmula es muy útil para calcular inte-
grales, por ejemplo,
)
ez
dz = 2 π i e 0 = 2 π i.
z
|z|=5
1
0 1 2
2
Nótese que esta fórmula se puede recordar derivando respecto a z dentro del
signo de integral. Usaremos el resultado siguiente, que será demostrado en el
capı́tulo 3 (Teorema 3.1.13). Sean γ una curva de clase C 1 por tramos en
una región A, y f n , n ∈ N, una sucesión de funciones continuas definidas en
γ y que además convergen uniformemente a una función f en γ, entonces
) )
lı́m fn = f.
n→∞ γ γ
Demostración del lema. Para demostrar el lema basta probar que para
cualquier z 0 ∈ C − γ y cualquier sucesión h k , k ∈ N, que converja a cero,
se tiene
)
g(z 0 + h k ) − g(z 0 )
−→ −n (w − z 0 ) n−1 ϕ(w) dw,
hk γ
z 0 + hk
z0
• ω
Si n > 0,
(u − h k ) n − u n
+ n u n−1
hk
n n−2 n n−3 2
= −n u n−1
+ u hk − u hk + · · · + n u n−1
2 3
≤ c |h k | + |h k | 2 + · · · + |h k | n−1 ,
para alguna constante c. Esta última desigualdad se justifica por la com-
pacidad de γ, que implica que las normas |u| = |w − z 0 | están acotadas
superiormente (véase la Figura 2.23). Como el último término converge a 0,
cuando k → ∞, y no depende de w, este argumento demuestra la conver-
gencia uniforme para este caso.
Si n < 0, escribiendo m = −n, se tiene
(u − h k ) n − u n 1 1 1
+ n un−1
= − + n u n−1
hk h k (u − h k ) m u m
2. Integración 119
1 u m − (u − h k ) m
n−1
= + nu
hk (u − h k ) m u m
m h u m−1 − m h 2 u m−2 + · · ·
k 2 k n−1
= + nu
h k (u − h k ) m u m
m u m−1
≤ + n u n−1
+ c |h k | + |h k | 2 + · · · + |h k | m−1
(u − h k ) u
m m
m m
≤ − m+1 + ,
(u − h k ) m u u 2
para alguna
> 0, si k es suficientemente grande. La primera desigualdad
se sigue de que |u| y |u − h k | están también acotadas inferiormente, debido
a la compacidad de γ, véase la Figura 2.23.
Finalmente
m m m u m − m (u − h k ) m
(u − h k ) m u − u m+1 = (u − h k ) m u m+1 ≤ c |u − (u − h k ) | ,
m m
donde f 0 = f.
120 2.4. Fórmula integral de Cauchy
Como ésta es una integral de tipo Cauchy, el Lema 2.4.3 permite concluir
que f es C ∞ en D(z 0 , r), y por lo tanto en la región.
Para probar la segunda parte obsérvese que dicho lema también implica
que la función )
1 1
I(γ, z) = dw
2πi γ w − z
es analı́tica y C ∞ en el sentido complejo en C − γ, de hecho es localmente
constante por tomar valores enteros.
Ahora, por la fórmula integral de Cauchy, si z ∈ A − γ se tiene
)
1 f (w)
f (z) I(γ, z) = dw.
2πi γ w − z
Este último teorema tiene muchas consecuencias de enorme importancia
en la variable compleja, como las que se muestran a continuación. Además,
es también de gran utilidad para calcular integrales, por ejemplo, si se quiere
calcular la integral
)
sen w + 3 w 4
dw.
|w−1|=1 (w − 1) 3
2. Integración 121
por lo que
k
f (z 0 ) ≤ k ! M 2 π R = k ! M .
2 π R k+1 Rk
El siguiente sorprendente resultado no se cumple en la variable real, por
ejemplo, la función x → sen x + cos x es de clase C ∞ en los reales y cierta-
mente está acotada.
EJERCICIOS 2.4
1. Exhiba de manera explı́cita la homotopı́a descrita en la Figura 2.22.
2. Complete el detalle formal faltante en la prueba del Teorema 2.4.4.
* (z 2 +z) +cos(2 z+1)
3. Calcule la integral |z−1|=1 e z−1
dz.
* (z+2) +sen(2 z+1)
4. Calcule la integral |z|=1 e z4
dz.
5. Sea f una función entera, tal que Re f (z) > 0 ∀ z, pruebe que dicha
función es constante.
6. Pruebe formalmente que el ı́ndice de la curva γ con respecto al origen es
−2, donde γ(s) = i + 2 e−i s , γ : [0, 4 π] → C.
* |w| 2
7. Demuestre que la función g(z) = |w−3i|=5 (w−z) 4 dw es holomorfa en el
El siguiente resultado muestra que una función holomorfa no puede tener
máximos locales.
g(z) = f (z 0 ) − Re (f (z)) .
2. Integración 125
Re (f (z)) = f (z 0 ) ∀ z ∈ D(z 0 , r 0 ).
Demostración. Sea
⎧
⎪ f (z)
⎪
⎨ si z = 0,
z
g(z) =
⎪
⎪
⎩
f (0) si z = 0,
f (z)
|g(z)| = = |f (z)| ≤ 1 ,
z r r
por lo que se sigue del principio del máximo que ∀ z ∈ D(0, r)
1 |z|
|g(z)| ≤ , es decir, |f (z)| ≤ .
r r
Fijando z, y tomando el lı́mite cuando r → 1, en ambas desigualdades, se
tiene que en Δ, |f (z)| ≤ |z| y |g(z)| ≤ 1, en particular |f (0)| = |g(0)| ≤ 1.
Finalmente, si para algún punto z 0 = 0 se cumple que |f (z 0 )| = |z 0 |,
entonces la función g alcanza el máximo en un punto del interior, por lo que
en virtud del Teorema 2.5.3 es constante (esto se formaliza tomando cualquier
disco cerrado en Δ que contenga a z 0 en su interior). Se concluye entonces
que f (z) = k z, para alguna constante k, más aún como |f (z 0 )| = |z 0 |, se
sigue que |k| = 1.
A continuación extendemos el principio del máximo a las funciones armó-
nicas. Se demostró que las partes, real e imaginaria, de una función analı́tica
son armónicas de clase C ∞ . El recı́proco, que es consecuencia del teorema
de la primitiva, también es cierto.
v(z) = 3 x 2 y + g 1 (y),
2. Integración 129
u(x, y)
(x, y)
u−1 (a1 )
en la intersección
∇u · ∇v = 0,
que es lo mismo que
∂u ∂u ∂v ∂v ∂u ∂v ∂u ∂v
, · , = + = 0,
∂x ∂y ∂x ∂y ∂x ∂x ∂y ∂y
u(x, y) = x 2 − y 2 y v(x, y) = 2 x y,
Teorema 2.5.9 Dada u una función armónica en una región A, tal que
alcanza un máximo local en z 0 ∈ A, i. e., existe r, tal que u(z 0 ) ≥ u(z),
∀ z ∈ D(z 0 , r), entonces u es constante en dicho disco.
z- = t2 /z
z γt
Obteniéndose
)
1 f (w) (|w| 2 − |z| 2 )
f (z) = dw. (2.9)
2πi γt w |w − z| 2
Al tomar las partes reales de esta última expresión, casi se obtiene la fórmula
de Poisson
) 2π
i ϕ 1 u t e i θ (t 2 − ρ 2 )
u ρe = dθ. (2.10)
2π 0 t 2 + ρ 2 − 2 t ρ cos (θ − ϕ)
t 2 + ρ 2 − 2 ρ t = (t − ρ) 2 > 0.
es continua en el compacto
" #
r+ρ
(θ, t) 0 θ 2 π, tr ,
2
y por lo tanto uniformemente continua.
En particular, si se toma una sucesión t n → r, n ∈ N, se sigue que dado
Volviendo a la solución del problema de Dirichlet para el disco, escribiendo
ρ e i ϕ = z, se sigue del lema que
) 2π
1 w+z
u (z) = Re u 0 (w) dθ
2π 0 w−z
) 2π
1 w+z
= Re u 0 (w) dθ
2π 0 w−z
)
1 w + z u 0 (w)
= Re dw .
2 π i |w|=r w−z w
Finalmente, la función
)
)
1 u 0 (w) 1 z u 0 (w)
G (z) = dw + dw
2 π i |w|=r w − z 2 π i |w|=r w (w − z)
EJERCICIOS 2.5
1. Encuentre el valor máximo de la función z → | sen z| en [0, 1] × [−1, 1]
y diga en qué punto (o puntos) se alcanza.
2. Encuentre, integrando parciales, la función armónica conjugada de la fun-
ción u(x + i y) = cos x cosh y.
3. Encuentre, integrando parciales, la función armónica conjugada de la fun-
ción u(x + i y) = 14 x y + 2 y.
4. Calcule el valor máximo y mı́nimo de la función u(x + iy) = 2(x 2 − y 2 ) + x
en el conjunto [−2, 1] × [0, 1], y diga en qué punto (o puntos) se alcanzan
estos valores.
5. Sea f una función holomorfa en Δ = {z | |z| < 1}, tal que |f (z)| = 3
para toda z, demuestre que esta función es constante.
6. Sea A una región acotada y f, g funciones continuas de A en los com-
plejos. Supóngase también que estas funciones son holomorfas en la región y
que coinciden en la frontera; pruebe que son iguales.
7. Demuestre que la función u(x, y) = x 3 − 3 x y 2 es armónica en el plano
complejo.
8. Pruebe que no existe una función holomorfa f : Δ → Δ, tal que f (0) = 0
y f (z) = i, para alguna z ∈ Δ.
9. El teorema del mapeo de Riemann establece que si A es una región sim-
plemente conexa del plano complejo, y distinta de éste, entonces A es con-
formemente equivalente a Δ. Más aún, si f : A → Δ es una biyección
conforme, tal que manda un punto z 0 ∈ A al origen y f (z 0 ) > 0, entonces
f es única. Demuestre esta última afirmación.
Capı́tulo 3
Series y aplicaciones
139
140 3.1. Fundamentos y teorema de Weierstrass
1
,
1−r
si |r| < 1, y diverge si |r| ≥ 1.
Demostración. Escribiendo
1 − r n+1
sn = .
1−r
3. Series y aplicaciones 141
1
s n −→ .
1−r
Por otra parte, si |r| > 1, entonces |r n+1 | → ∞, y la serie diverge. Si r = 1,
s n = n + 1 → ∞, y la serie también diverge. Finalmente, si r = −1, s n = 0
si n es impar y s n = 1 si n es par, por lo que la serie no converge.
Proposición
0∞ 3.1.5 (Prueba de la comparación de series reales) Si la
serie
0∞ k=1 b k converge, donde 0 b k ≥ 0, y 0 ≤ a k ≤ b k , ∀ k ∈ N, entonces
∞
k=1 a k también
0∞ converge. Si k=1 c k diverge, y 0 ≤ c k ≤ d k , se sigue
que la serie k=1 d k también diverge.
0∞
Demostración. Aplicando el criterio de Cauchy, la serie k=1 a k conver-
ge, ya que a k + · · · + a k+p ≤ b k + · · · + b k+p . Asimismo, si M > 0 existe
0j 0j
j ∈ N, tal que k=1 d k ≥ k=1 c k ≥ M (ya que una sucesión 0 creciente
∞
de números positivos diverge si y sólo si no es acotada), por lo que k=1 d k
diverge.
0∞
Proposición 3.1.6 (Prueba de las series p reales) La serie n=1 n−p
converge si p > 1, y diverge si p ≤ 1.
1 ≥ 1
1 1
≥
2 2
1 1 1 1 1
+ ≥ + =
3 4 4 4 2
1 1 1 1 1 1 1 1 1
+ + + ≥ + + + =
5 6 7 8 8 8 8 8 2
.. ..
. .
1 1 1 1 1
+ n + · · · + n+1 ≥ 2 n
= ,
2n +1 2 +2 2 2 n+1 2
142 3.1. Fundamentos y teorema de Weierstrass
0∞ 1
al sumar las desigualdades, se sigue que n=1 n diverge a ∞.
Ahora, si p > 1, como x p = e (log x) p es creciente
1 1 1 1 1 1 1
s 2 k −1 = p + + + + + +
1 2p 3p 4p 5p 6p 7p
1 1 1
+··· + + + · · · +
(2 k−1 ) p (2 k−1 + 1) p (2 k − 1) p
2 2 k−1 1 1
≤ 1 + p + · · · + k−1 p = 1 + p −1 + · · · + k−1 p k−1 −1
2 (2 ) 2 2 (2 ) (2 )
1 1 1 1
= 1 + p−1 + p−1 2 + · · · + p−1 k−1 < 1 .
2 (2 ) (2 ) 1 − 2 p−1
1
log (p−1)
La última desigualdad se sigue0ya que (1/2) p−1 = e 2 < 1. Por lo
∞ −p
tanto las sumas0∞parciales de n=1 n están acotadas superiormente. En
−p
consecuencia, n=1 n converge.
0∞
Nótese que si k=1 a k es una
0∞ serie de números positivos decreciente,
0∞
es decir, a n+1 ≤ a n ∀ n, y si j
j=1 2 a 2 j converge, entonces k=1 a k
converge también. A este criterio se le llama prueba de la condensación de
Cauchy, esencialmente la prueba se sigue de las siguientes desigualdades:
a 1 ≤ a 1,
a 2 + a 3 ≤ 2 a 2,
a 4 + a 5 + a 6 + a 7 ≤ 2 2 a 4, etcétera.
Proposición 3.1.7 (Prueba de la razón para series reales) Supóngase
que
a n+1
lı́m
n→∞ a n
0∞
existe y es menor que 1, entonces k=1 a k converge absolutamente. Si el
lı́mite es mayor que 1 la serie diverge, y si el lı́mite es 1 puede ocurrir
cualquiera de las dos cosas.
Demostración. Sea
a n+1
r = lı́m .
n→∞ an
Si r < 1, tomando r tal que r < r < 1, existe N ∈ N, tal que si n ≥ N
a n+1
an < r .
3. Series y aplicaciones 143
0
Esto implica que0|a N +p | < |a N | (r ) p , y por comparación ∞p=1 |a N +p | con-
∞
verge, es decir, k=1 a k converge absolutamente.
Si r > 1, sea r tal que r > r > 1, de nuevo existe N ∈ N, tal que si
n>N
a n+1
an > r
y |a N +p | > |a N | (r )0
p
, por lo que |a N +p | no converge a 0, cuando p → ∞,
∞
y por consiguiente, k=1 a diverge.
0k ∞ 0∞ −p
Finalmente, las series k=1 a k , a k = 1, ∀ k ∈ N, y n=1 n , p > 1,
divergen y convergen, respectivamente, sin embargo
1
p
a n+1 (n + 1) p n
lı́m = 1 y lı́m = lı́m = 1.
n→∞ an n→∞ 1 n→∞ n+1
np
Regresamos al contexto de series complejas, a continuación se describen
los resultados básicos sobre convergencia uniforme de sucesiones y series de
funciones complejas de variable compleja.
f +
x → xn
f
f −
fk
0 1
y f n → f uniformemente en A.
146 3.1. Fundamentos y teorema de Weierstrass
Probablemente el criterio más útil para detectar convergencia uniforme
es el que establece el siguiente resultado.
i) |f n (z)| ≤ M n ∀ z ∈ A,
∞
ii) M n converge.
n=1
0∞
Entonces, k=1 f k (z) converge de manera uniforme y absoluta en A.
3. Series y aplicaciones 147
0∞
Demostraci
0n+p ón. Como n=1 M n converge, dada
> 0 existe N ∈ N, tal
que k=n+1 M k <
, ∀ n > N y ∀ p ∈ N, por lo cual
n+p
n+p
n+p
f k (z) ≤ |f k (z)| ≤ M k <
∀ z ∈ A.
k = n+1 k = n+1 k = n+1
|z n | rn
|f n (z)| = ≤ ≤ r n.
n n
0∞
Denotando r n = M n , se sigue la afirmación, ya que k=1 M k es una serie
geométrica convergente.
Es interesante observar que esta función f (z), en contraste, no 0
converge
∞ xn
uniformemente en Δ = {z ∈ C | |z| < 1}. Si ası́ fuera, la serie n=1 n
convergerı́a uniformemente en [0, 1). Esto significa que para toda
> 0
existe N ∈ N, tal que si n ≥ N , se tiene
xn x n+1 x n+p
+ + ··· + <
∀ x ∈ [0, 1) y ∀ p ∈ N. (3.1)
n n+1 n+p
1 1
+ ··· + > 2
.
N N +p
148 3.1. Fundamentos y teorema de Weierstrass
También existe x ∈ [0, 1), tal que x N +p > 12 (esto se sigue de la continuidad
de la función x → x m y el teorema del valor intermedio real). Juntando esta
información se obtiene
xN x N +p 1 1
+ ··· + > x N +p + ··· + >
N N +p N N +p
(x n decrece cuando n → ∞), lo cual contradice (3.1).
Sin embargo, obsérvese que la función f (z) es continua en Δ, puesto que
∀ z ∈ Δ existe r > 0, tal que z ∈ D(0, r), y en dicho disco hay convergencia
uniforme; por lo que en virtud del Teorema 3.1.10, f es continua en una
vecindad de z y por ende en Δ. De hecho, como veremos a continuación,
esta función es holomorfa en el disco unitario.
Es fácil demostrar que una sucesión de funciones complejas definidas en
una región A de C converge a una función f uniformemente en discos cerra-
dos de A si y sólo si converge uniformemente en compactos de A (ejercicio).
Bajo estas hipótesis se dice que la sucesión converge normalmente en A. El
siguiente teorema es uno de los resultados más importantes de la variable
compleja.
√
y f n (0) = n no converge a f (0) = 0. Para probar el teorema de Weiers-
trass se necesita un resultado adicional que establece un principio fundamen-
tal: bajo la hipótesis de convergencia uniforme, se pueden intercambiar los
signos de lı́mite e integral.
* *
Teorema 3.1.13 ( lı́m = lı́m ) Sea γ : [a, b] → A una curva de clase
C 1 por tramos, donde A es una región en C.
) ∞
∞
)
g k (z) = g k (z) ,
γ k=1 k=1 γ
Demostración. Dada
> 0 existe N , tal que si n > N ,
ası́ que ) ) )
f n − f = (f n − f ) <
(γ),
γ γ γ
*
teorema de Cauchy que γ f n = 0, para cualquier curva cerrada γ de clase
C 1 por tramos en D(z 0 , r), y ∀ n ∈ N. Ahora,
* como f n → f uniformemente
en γ, se sigue del Teorema 3.1.13 que γ f = 0. Siendo esto cierto para
cualquier curva con estas especificaciones, el teorema de Morera implica que
f es holomorfa en D(z 0 , r).
t
z0 r
w
Por consiguiente, se sigue de (3.2) que para toda z ∈ D(z 0 , r), si n > N , se
tiene
1 μ μt
|f n (z) − f (z)| ≤ 2πt = .
2 π (t − r) 2 (t − r) 2
Finalmente, escribiendo
μt
= ,
(t − r) 2
y despejando μ se sigue el resultado.
Obsérvese que aplicando el teorema de Weierstrass repetidas veces se ob-
tiene que fnk → f k uniformemente en discos cerrados. Nótese que el teorema
de Weierstrass
0∞ non supone convergencia uniforme en la región A. Por ejemplo,
la serie n=1 z /n converge en Δ, pero no uniformemente; sin embargo,
como converge uniformemente en D(0, r), r < 1, converge uniformemente en
cualquier
0∞ disco cerrado de Δ, por lo cual se aplica el teorema0de Weierstrass
n ∞ n−1
y n=1 z /n es holomorfa en Δ. Además su derivada es n=1 z , la
cual converge uniformemente en discos cerrados de Δ.
En algunos casos, el teorema de Weierstrass permite detectar si una serie
de funciones representa una función holomorfa, por ejemplo, la función
∞
zn
f (z) =
n=1
n3
es
0∞ analı́tica en Δ. Esto se sigue de dicho teorema, ya que si M n = 1/n 3 ,
n=1 M n converge y n
z
< 1 ∀ z ∈ Δ,
n3 n3
0∞ z n
por lo que n=1 3
converge en forma absoluta y uniforme en Δ. Más aún
n
∞
n z n−1 ∞
z n−1
f (z) = = .
n=1
n3 n=1
n2
donde n−z = e−z log n y log denota la rama principal de logaritmo. Mostramos
que esta función es holomorfa en la región
A = {z ∈ C | Re z > 1} .
Ahora, si z ∈ D, x ≥ 1 +
y |n−z | = n−x ≤ n−(1+) , puesto que
0∞la función
t → n t = e t log n es creciente. Escribiendo M n = n−(1+) , n=1 M n es
una serie p convergente,
0∞ por lo cual usando la prueba M de Weierstrass,
−z
se tiene que n=1 n converge en forma absoluta y uniforme en D. Se
sigue entonces del teorema de Weierstrass que la función ζ de Riemann es
holomorfa en A, Más aún
∞
ζ (z) = − (log n) n−z .
n=1
0 1
EJERCICIOS 3.1
1. Sean f n : [0, 1] → R, n ∈ N, las funciones dadas por f n (x) = x n , de-
muestre que estas funciones convergen puntualmente pero no uniformemente.
2. Demuestre que una sucesión de funciones complejas definidas en una región
A de C converge a una función f uniformemente en discos cerrados de A
si y sólo si converge uniformemente en compactos de A.
154 3.2. Teorema de Taylor
0
3. Demuestre que g(z) = ∞ 1
n=0 (z−1) n es una función holomorfa en la región
{z ∈ C |z − 1| > 1}, calcule su derivada.
4. Pruebe que la sucesión z n = (−i) n + n1 , n ∈ N, no converge y que en
cambio z n = (2 + i) nnn! , n ∈ N, sı́ es convergente.
0∞ −n
5. Sea g(z) = n=1 e cos (n z), demuestre que esta función es holomorfa
en la región {z ∈ C | − 1 < Im z < 1}. Sugerencia: en discos cerrados,
acotar superiormente las funciones de la serie con los términos e−n , donde
∞
a n (z − z 0 ) n , donde z 0 ∈ C y an ∈ C ∀ n.
n=0
∞
a n (z − z 0 ) n
n=0
0
Teorema 3.2.2 (Radio de convergencia) Sea ∞ n
n=0 a n (z−z 0 ) una se-
rie de potencias, entonces existe un número R ∈ [0, ∞], llamado radio de
convergencia, tal que si |z − z 0 | < R la serie converge, y si |z − z 0 | > R la
serie diverge. La convergencia es normal y absoluta en D(z 0 , R).
Al cı́rculo |z − z 0 | = R se le llama cı́rculo de convergencia, y al número R
se le llama radio de convergencia.
Demostración. Sea
$ ∞ 1
R = sup r ≥ 0 |a n | r n
converge .
n=0
f n (z 0 )
∞
an = y f (z) = n a n (z − z 0 ) n−1 .
n! n=1
0∞ c
Si n=1 n a n (z 1 − z 0 ) n−1
converge, donde z 1 ∈ D(z 0 , R) , se tendrı́a
que la sucesión n |a n | r1 , n ∈ N, estarı́a acotada, donde r 1 = |z 1 − z 0 |.
n−1
Esto implica que la sucesión |a n | r1n , n ∈ N,0 también está acotada Se sigue
∞
n=0 a n (z − z 0 )
n
entonces de la prueba del lema de Abel que converge en
D(z 0 , r 2 ), donde r1 > r2 > R, lo cual contradice0la definición de R. Por
∞
n=1 n a n (z − z 0 )
n−1
consiguiente, el radio de convergencia de la serie es
de nuevo R.
Para demostrar la primera parte, se evalúa 0la serie y sus derivadas en z 0 :
∞
f (z 0 ) = a 0 , f (z 0 ) = a 1 , como f (z) = n=2 n (n − 1) a n (z − z 0 )
n−2
,
se tiene f (z 0 ) = 2 ! a 2 . Iterando el proceso de derivar la serie de potencias,
inductivamente se sigue que
∞
f k (z) = n (n − 1) (n − 2) · · · (n − k + 1) a n (z − z 0 ) n−k ,
n=k
y evaluando en z 0 se obtiene f k (z 0 ) = k ! a k .
Los criterios de la razón y de la raı́z reales se pueden adaptar a criterios
para encontrar el radio de convergencia de series de potencias complejas.
158 3.2. Teorema de Taylor
|a n |
i) Si lı́m existe, o es ∞, entonces dicho lı́mite es R.
n→∞ |a n+1 |
⎧
⎪
⎨1/ρ si ρ = 0, ∞,
ii) Si lı́m n
|a n | existe, o es ∞, entonces R = 0 si ρ = ∞,
n→∞ ⎪
⎩
∞ si ρ = 0,
donde ρ = lı́m n
|a n |
n→∞
|a n |
Para probar i) escribimos L = lı́m y consideramos primero el caso
n→∞ |a n+1 | 0∞
0 < L < ∞. Aplicamos el criterio de la razón real a la serie n=0 |a n | r .
n
|a n+1 | r n+1 r
lı́m = < 1,
n→∞ |a n | r n L
0∞
n=0 |a n| r
n
y por lo tanto la serie 0 converge. En cambio, si L < r, dicho
∞
lı́mite es mayor a 1 y la serie n=0 |a n| r
n
diverge. Para el caso L = ∞ se
tiene que ∀ r
|a n+1 | r n+1
lı́m = 0, (3.3)
n→∞ |a n | r n
y la serie converge en todo el plano. En contraste, si L = 0 para cualquier
valor r, el lı́mite en (3.3) es ∞. Por lo tanto, R, el radio de convergencia,
es L en todos los casos.
0∞probar ii)n consideramos primero el caso ρ ∈ (0, ∞). Se tiene que la
Para
serie n=0 |a n | r converge o diverge, conforme a que
lı́m n
|a n | r (3.4)
n→∞
3. Series y aplicaciones 159
sea menor o mayor que 1, respectivamente. Como lı́mn→∞ n |a n | = ρ, esto
equivale a decir que ρ r sea menor o mayor a 1, esto es, r < 1/ρ, o r > 1/ρ,
por lo que 1/ρ es el radio de convergencia. Si ρ = 0, el lı́mite en (3.4) es 0
∀ r y R = ∞. En cambio, si ρ = ∞, dicho lı́mite es ∞ ∀ r y R = 0.
El criterio de la raı́z para series de potencias se puede enunciar de tal
manera que se aplica a cualquier caso. 0∞Especı́ficamente, el radio de conver-
gencia R de la serie de potencias a
n=0 n (z − z 0 ) n
está dado por 1/ρ,
donde
ρ = lı́m sup n |a n |
y lı́m sup es el supremo de los puntos de acumulación de la sucesión n |a n |,
n ∈ N. Esta fórmula se le atribuye a Hadamard, la prueba queda como
ejercicio para el lector, alternativamente se puede consultar en [1] p. 39. A
continuación 0 mostramos unos ejemplos.
∞ n
La serie n=0 z tiene radio de convergencia 1, puesto que a n = 1
∀ n ∈ N, y
|a n |
lı́m = 1.
n→∞ |a n+1 |
0
Por otra parte, la serie ∞ zn
n=0 n ! tiene radio de convergencia ∞, es decir,
es una función entera, ya que a n = 1/n ! y
|a n |
lı́m = lı́m (n + 1) = ∞.
n→∞ |a n+1 | n→∞
0∞
En contraste, la serie n=0 2 n ! z n tiene radio de convergencia 0, puesto
que
|a n | 1
lı́m = lı́m = 0.
n→∞ |a n+1 | n→∞ n + 1
0∞ z n
Para la serie n=0 n n aplicamos el criterio de la raı́z, se tiene que
n 1 1
lı́m n
= lı́m = 0,
n→∞ n n→∞ n
∞
f n (z 0 )
f (z) = (z − z 0 ) n .
n=0
n !
0∞
Lema 3.2.7 La serie de potencias n=0 z n converge de manera normal y
absoluta en Δ a
1
.
1−z
En particular, la serie converge uniformemente en los cı́rculos |z| = r, donde
r < 1.
≤ M =
∀ z ∈ A y ∀ p ∈ N.
M
1 1 1 1
= =
w−z w − z 0 − (z − z 0 ) (w − z 0 ) z − z0
1−
w − z0
∞
n
1 z − z0
= .
w − z0 n=0 w − z0
Usando el Lema 3.2.7, se observa que para z fijo esta serie converge uniforme-
z−z 0
mente en γ, ya que al variar w , los valores w−z 0
están todos en un cı́rculo
concéntrico al origen de radio menor a 1, véase la Figura 3.5.
f (w)
Ahora, la función w → w−z 0
, w ∈ γ, está acotada, ya que es continua
en un compacto. Por lo que se sigue de la observación previa a la prueba que
∞
f (w) (z − z 0 ) n
n=0
(w − z 0 ) n+1
converge uniformemente en γ a
⎛ ⎞
f (w) ⎜
⎜ 1 ⎟ f (w)
⎟ = .
w − z0 ⎝ z − z0 ⎠ w−z
1−
w − z0
162 3.2. Teorema de Taylor
∞
f n (z 0 )
= (z − z 0 ) n .
n=0
n!
z
z0
γ
Obsérvese que se sigue del teorema de Taylor y del Teorema 3.2.3 que si
A es una región en C y f : A → C es una función, entonces f es analı́tica
en A si y sólo si ∀ z 0 ∈ A se tiene que si D(z 0 , r) ⊂ A, entonces f D(z 0 , r)
es representable como una serie de potencias. Nótese que esta afirmación es
3. Series y aplicaciones 163
C − {z ∈ C | Re z < −1, Im z = 0} ,
z 3
Como aplicación encontramos la serie de Taylor de z−1 alrededor de 0.
1
0 ∞
Se demostró que si |z| < 1, 1−z = n=0 z , y por la unicidad de la serie
n
3. Series y aplicaciones 165
EJERCICIOS 3.2
−2
1. Demuestre que la función f : R → R definida por f (x) = e−x , si x = 0,
y f (0) = 0, es de clase C ∞ real y que f k (0) = 0, ∀ k ∈ N.
2. Demuestre que se pueden debilitar las hipótesis del lema de Abel, supo-
niendo solamente que la sucesión |a n | r1n , n ∈ N, está acotada.
0
3. Diga por qué si una serie de potencias de la forma ∞ n=0 a n (z − (i + 1))
n
0∞ n
5. Encuentre el radio de convergencia de las siguientes series: n=0 2 n z ,
0∞ z n 0∞ z3n
n=0 2 n y n=0 (27) n .
10. Encuentre los primeros tres términos de las series de Taylor de las fun-
ciones: z → (cos z) e 2 z alrededor de π/2, y z → tan z alrededor del origen.
Sugerencia: usar (3.5).
11. Sea A una región en C, f : A → C una función holomorfa y D(z 0 , r) el
mayor disco abierto, centrado en z 0 , contenido en la región A. Demuestre
que si la función f no está acotada en D(z 0 , r), entonces r es el radio de
convergencia de la serie de Taylor para esta función alrededor de z 0 .
12. Exhiba una función f que sea holomorfa en una región A, tal que no se
pueda extender a otra función holomorfa definida en una región mayor (que
contenga a A), y con la propiedad de que para un punto z 0 ∈ A, el disco de
convergencia de la serie de Taylor definida por f, alrededor de dicho punto,
no está contenido en A. Sugerencia: usar la rama principal de logaritmo y el
punto −1 + i, recuérdese que las distintas ramas sólo difieren por constantes.
13. Derivando la serie geométrica encuentre la expansión de Taylor de la
función (1 − z)−3 alrededor del origen.
γ2
γ1
z0 z0 + r1 z0 + r2
Nótese
que
el lema implica que la serie converge normalmente en el conjunto
z ∈ C r1 < |z − z 0 | .
Demostración. Como la serie converge en el punto z 1 , la sucesión |br nn| ,
1
n ∈ N, está acotada por un número M. Basta probar que si r > r 1 , la serie
(3.6) converge de manera absoluta y uniforme en
z ∈ C r ≤ |z − z 0 | .
Esto se sigue de la prueba M de Weierstrass, ya que
n
≤ |b n | = |b n | r1 ≤ M r 1 .
n
bn
(z − z 0 ) n rn r1n r n r
Otro ingrediente necesario para probar el teorema de Laurent es una
fórmula similar a la integral de Cauchy, la cual se cumple en una región anu-
lar. Este resultado permite expresar la función en términos de dos integrales
que, como se verá posteriormente, una representa una función holomorfa
hacia adentro del anillo, y la otra, una función holomorfa hacia afuera del
anillo.
168 3.3. Series de Laurent, singularidades aisladas
γ2
γ1
A
z0
ASS21
∞
n ∞
1 1 z − z0 (z − z 0 ) n
= = ,
w−z w − z0 n=0 w − z0 n=0
(w − z 0 ) n+1
y
f (w) ∞
(z − z 0 ) n
= f (w)
w−z n=0
(w − z 0 ) n+1
uniformemente en γ 2 . Por consiguiente
) ∞ )
1 f (w) 1 (z − z 0 ) n
dw = f (w) dw
2πi γ2 w − z 2 π i n = 0 γ 2 (w − z 0 ) n+1
)
1
∞
f (w)
= (z − z 0 ) n dw .
γ 2 (w − z 0 )
2 π i n=0 n+1
170 3.3. Series de Laurent, singularidades aisladas
Escribiendo )
1 f (w)
an = dw,
2πi γ2 (w − z 0 ) n+1
se obtiene )
1 f (w) ∞
dw = a n (z − z 0 ) n . (3.8)
2πi γ2 w−z n=0
Como la serie converge ∀ z ∈ Int γ 2 , se sigue del lema de Abel que también
converge en forma absoluta y uniforme en A ss 21 , ya que este anillo está con-
tenido en el disco D(z 0 , t 2 ).
Por otra parte, si z es un punto fijo en el exterior de γ 1 y w ∈ γ 1 ,
entonces
−1 1 1 1
= =
w−z z − z 0 − (w − z 0 ) (z − z 0 ) w − z0
1−
z − z0
∞
n ∞
1 w − z0 (w − z 0 ) n
= = .
z − z0 n=0 z − z0 n=0
(z − z 0 ) n+1
Nótese que en esta última serie la convergencia es uniforme en γ 1 , y por
consiguiente se puede integrar la serie término a término, obteniéndose
) ) ∞
−1 f (w) 1 (w − z 0 ) n
dw = f (w) dw
2 π i γ1 w − z 2 π i γ 1 n = 0 (z − z 0 ) n+1
)
1 ∞
(w − z 0 ) n−1
= f (w) dw
2πi γ1 n=1
(z − z 0 ) n
*
∞ 1
2πi γ1
f (w) (w − z 0 ) n−1 dw
= .
n=1
(z − z 0 ) n
Obsérvese que los numeradores de los términos de esta última serie son cons-
tantes y no dependen de z. Por lo cual, escribiendo
)
1
bn = f (w)(w − z 0 ) n−1 dw,
2 π i γ1
3. Series y aplicaciones 171
se tiene que
) ∞
−1 f (w) bn
dw = . (3.9)
2πi γ1 w−z n=1
(z − z 0 ) n
Esta última serie converge ∀ z ∈ Ext γ 1 , por lo que se sigue del Lema 3.3.1
que la convergencia es uniforme y absoluta en conjuntos de la forma
z ∈ C |z − z 0 | ≥ s, s > t 1 .
En particular, también converge de esta manera en el anillo cerrado A ss 21 .
Finalmente, aplicando el teorema de Cauchy para el anillo y las identida-
des (3.8) y (3.9) se obtiene que
∞
∞
bn
f (z) = a n (z − z 0 ) n + ,
n=0 n=1
(z − z 0 ) n
Nótese que lo que dice este resultado es que la serie de Laurent es única, es
decir, solo depende de la función f, del punto z 0 y de los radios del anillo.
A los números a n y b n se les llama coeficientes de Cauchy.
Demostración. Por el lema de Abel y su dual, las series en (3.10) convergen
uniformemente en γ, por lo que también lo hacen las series
f (z) ∞ ∞
bn
= a n (z − z 0 ) n−(k+1)
+ .
(z − z 0 ) k+1
n=0 n=1
(z − z 0 ) n+k+1
172 3.3. Series de Laurent, singularidades aisladas
donde )
1 f (w)
cn = dw.
2πi γ (w − z 0 ) n+1
1 1 −i i
= = + .
z2 +1 (z − i) (z + i) 2(z − i) 2(z + i)
• z0 = i
•
z
•
w = −i
1 1 1 1
Figura 3.8: Truco de Taylor: w−z
= w−z 0 −(z−z 0 )
= (w−z 0 ) 1− z−z 0
w−z 0
∞
∞
bn
f (z) = a n (z − z 0 ) n + .
n=0 n=1
(z − z 0 ) n
i) b k = 0 y b = 0 ∀ > k,
iii) b k = 0 ∀ k.
Los siguientes cuatro resultados establecen criterios para distinguir los di-
versos tipos de singularidades. Éstos se atribuyen principalmente a Riemann.
f (z) = (z − z 0 ) k g(z),
(z − z 0 ) k h(z)
h(z) g(z) =
f (z)
h(z 0 )
.
g (z 0 )
3. Series y aplicaciones 181
g (z)
Esto es cierto, ya que f (z) = (z−z k , donde g es holomorfa y g (z 0 ) = 0,
0)
por lo cual en una vecindad agujerada de z 0
m
|f (z)| ≥ , m > 0.
|z − z 0 | k
Esto implica (3.12), puesto que
m
lı́m = ∞.
z→z 0 |z − z 0 | k
Sin embargo, en el caso de singularidades esenciales el comportamiento
es mucho más complicado, de hecho es espectacular, como lo describen los
siguientes resultados.
|f (z) − w| >
∀ z ∈ V − {z 0 } .
Ahora la función
1
g(z) =
f (z) − w
es holomorfa en V − {z 0 }, y como |g(z)| < 1/
∀ z ∈ V − {z 0 }, se tiene que
g tiene una singularidad removible en z 0 . Más aún, z 0 es un cero de orden
k, k ≥ 0, de g. El cero es de orden finito, ya que de otra manera se tendrı́a
g(z) ≡ 0 en V , lo cual no sucede (g no se anula en V − {z 0 }). Por lo tanto,
1/g tiene un polo de orden k en z 0 , o es holomorfa en z 0 ; además, en esta
vecindad agujerada V − {z 0 },
1 1
= f (z) − w y f (z) = + w,
g(z) g(z)
1
g(0) = 1, se tiene que la función g(z) también es holomorfa en una vecindad
del 0, y por ende la función f tiene una singularidad removible en el origen.
EJERCICIOS 3.3
1. Demuestre que se pueden debilitar las hipótesis del lema dual de Abel,
suponiendo solamente que la sucesión |b n | /r 1n , n ∈ N, está acotada.
e z −1−z
2. Encuentre el residuo de la función en el origen.
z4
3. Encuentre la serie de Laurent y los residuos en el anillo 0 < |z| < ∞ de
las funciones cos3z y cos(1/z).
z
6
4. Encuentre la expansión de Laurent de la función z(z−1)(z−3)
en los anillos:
0 < |z| < 1 y 1 < |z| < 3.
*
5. Calcule |z|=6 sen(1/z) dz.
z4
6. Describa el tipo de singularidad en el origen de .
(cos z−1) 2
Teorema 3.4.1 (Teorema del residuo) Sea A una región en C que con-
tiene a los puntos z 1 , z 2 , . . . , z m y f : A − {z 1 , z 2 , . . . , z m } → C una fun-
ción analı́tica. Supóngase también que γ es una curva cerrada de clase C 1
por tramos en A − {z 1 , z 2 , . . . , z m }, que es homotópica a un punto en A,
entonces ) m
f = 2πi Res (f, z j ) I(γ, z j ),
γ j =1
{z ∈ C | 0 < |z − z j | < r j } ,
Ahora, la función
m
g(z) = f (z) − S k (z)
k=1
*∞ *0
Nótese que si 0 f (x) dx y −∞ f (x) dx están bien definidas, entonces
*∞
también lo está lı́m −∞ f (x) dx. Esto se sigue, ya que dada
> 0 existen
N 1 , N 2 ∈ N, tal que si x 1 < −N 1 y x 2 > N 2 , se tiene
) )
0
x2
donde ) )
0 ∞
L1 = f (x) dx y L2 = f (x) dx.
−∞ 0
Por lo cual )
x2
f (x) dx − (L 1 + L 2 ) <
.
x1
*∞
Evidentemente, si −∞ f (x) dx está bien definida, también lo está en el
sentido condicionado (y por supuesto el lı́mite es el mismo). El recı́proco no
es cierto, por ejemplo, si f (x) = x, entonces
) r
lı́m f (x) dx = 0,
r→∞ −r
*∞
sin embargo, es claro que −∞ x dx no está bien definida en el sentido de
*∞
la Definición 39. Intuitivamente, para que la integral impropia −∞ f (x) dx
esté bien definida es necesario que las áreas que determina la función al
converger a ± ∞ se hagan pequeñas (véase la Figura 3.9).
Figura 3.9: En las integrales impropias bien definidas, los valores de la función
se acercan a 0 conforme x → ± ∞
k
|f (z)| ≤ si |z| ≥ R, R, k ∈ R+ , (3.13)
|z| 2
τr
γr
−r γr r
Además ) ) r )
f = f (x) dx + f (z) dz, (3.15)
γr −r τr
donde τ r es el semicı́rculo
* ∞ superior de radio r.
Ahora, la integral −∞ f (x) dx está bien definida, ya que las integrales
*0 *∞
−∞
f (x) dx y 0 f (x) dx lo están. Esta última afirmación se sigue de la
condición (3.13), puesto que
) x1 ) x1
k k k k
|f (x)| dx ≤ 2
dx = − −→ ,
R R x R x1 R
*∞
cuando x 1 → ∞. Por lo que 0 f (x) dx está bien definida, análogamente
*0
se muestra que también lo está −∞ f (x) dx. En particular,
) ∞ ) r
f (x) dx = lı́m f (x) dx.
−∞ r→∞ −r
3. Series y aplicaciones 189
Finalmente, )
lı́m f (z) dz = 0,
r→∞ τr
puesto que )
k k
f (z) dz ≤ 2 π r = π −→ 0,
r r
τr
Corolario 3.4.3 Las hipótesis del Teorema 3.4.2 se cumplen si f (z) es una
función racional de la forma p(z)/q(z), donde p(z) y q(z) son polinomios
reales, grado [q(z)] ≥ 2 + grado [p(z)] y q(z) no tiene ceros en el eje real.
También
por lo que
|b m z m | ≤ | q(z)| + |b 0 | + |b 1 z| + · · · + b m−1 z m−1 ,
y
|q(z)| ≥ |b m z m | − b m−1 z m−1 − . . . − | b 0 | .
Si B = |b 0 | + |b 1 | + · · · + |b m−1 | y |z| > 1, entonces −1/|z j | > −1, j ∈ N,
por lo cual
m−1 |b 0 |
|q(z)| ≥ |z| |b m | |z| − |b m−1 | − . . . −
|z| m−1
≥ |z| m−1 |b m | |z| − B .
B
|z| ≥ .
|b m | − k 2
Para ilustrar una aplicación del Teorema 3.4.2 y del Corolario 3.4.3 eva-
luamos ) ∞
1
6
dx.
−∞ x + 1
Por consiguiente
) ∞
1 −α −i α πi
6+1
dx = 2 π i + + = (−i − α + α)
−∞ x 6 6 6 3
πi 2π
= (−i − i) = ,
3 3
√
puesto que α = 23 + 2i . A continuación establecemos la aplicación del teo-
rema del residuo al cálculo de las integrales llamadas trigonométricas.
αβ = i
αβ 2 = −α α
αβ 3 = −α αβ 5 = α
αβ 4 = −i
1
Figura 3.11: Polos de la función z → 1+z 6
El número de singularidades
% de f es finito,
& ya que al evaluar R en los
puntos de la forma 12 z + z1 , 21i z − z1 , si z = 0, se puede multiplicar
el numerador y el denominador por una potencia adecuada de z y obtener
una función racional en z.
Finalmente,
) ) 2π ) 2π
i θ i θ
f = f e ie dθ = R(cos θ, sen θ) dθ.
γ 0 0
Nótese que en el resultado anterior, la fórmula que define la función f se
puede recuperar fácilmente al recordar la parte final de la prueba del teorema.
Como ejemplo evaluamos
) 2π
dθ
, b > 1.
0 b + cos θ
Sea γ(θ) = cos θ + i sen θ y f como en el teorema, entonces
1 −2 i
f (z) =
=
1 1 1
iz b + z+ z z + + 2b
2 z z
−2 i −2 i
= = ,
z2 + 2bz + 1 (z − α 1 )(z − α 2 )
donde √
−2 b ± 4 b2 − 4 √
α 1, α 2 = = −b ±
b 2 − 1.
2
√ f tiene dos polos simples en α 1 y α 2 , el primero
Por lo cual, la función
está en Δ, ya que b 2 − 1 < 1 + b, y claramente el otro ( α 2 ) está en el
exterior de Δ. Ahora,
−2 i −i
Res (f, α 1 ) = lı́m f (z) (z − α 1 ) = = √ .
z→α 1 α1 − α2 b2 − 1
3. Series y aplicaciones 193
Por consiguiente
) 2π
dθ −i 2π
= 2πi √ = √ .
0 b + cos θ b2 − 1 b2 − 1
* π dθ π
Nótese que también 0 b+cos θ
= √ . Dejamos la verificación de este
b 2 −1
hecho como ejercicio.
Para concluir este libro se desarrolla una última aplicación del teorema
del residuo al cálculo de integrales definidas por la transformada de Fourier.
Se evaluarán integrales del tipo
) ∞ ) ∞
cos(a x) f (x) dx y sen(a x) f (x) dx, donde a > 0.
−∞ −∞
* ∞
donde L = −∞
f (x)dx. Por lo cual, si x n , x m > N 2 , digamos x n < x m ,
se tiene
) ) )
xm xn xm
f (x) dx − f (x) dx = f (x) dx
0 0 xn
) ) )
xm xn xn
= f (x) dx + f (x) dx − f (x) dx + L − L
xn −N1 −N1
) )
xm xn
≤ f (x) dx − L + L − f (x) dx <
.
−N 1 −N 1
Por consiguiente, se sigue la afirmación, esto es, g(x n ) es una sucesión con-
vergente, digamos a un real m.
Ahora, si y n , n ∈ N, es otra sucesión real tal que y n → ∞, cuando
n → ∞. Se tiene por el mismo argumento que g(y n ) converge a un número
real m , y necesariamente m = m, puesto que el razonamiento *t anterior
implica que si s y t son suficientemente grandes, entonces
*∞ s
f (x) dx es
tan pequeña como se quiera (s < t). Por lo cual, 0 f (x) dx está bien
*0
definida. Igualmente lo está −∞ f (x) dx (usando un argumento análogo).
Obsérvese que la proposición anterior también es válida, si la función f
toma valores complejos, ya que la misma prueba se aplica para este caso.
Demostración. Dada
> 0, sea R tal que cumple las siguientes afirma-
ciones:
3. Series y aplicaciones 195
2a
3
i) si |z| > R, entonces |f (z)| < mı́n , ,
3 3
2R
ii) < 1 y a R > 1,
eaR
Nótese que ii) se puede aplicar, dado que el lı́mite de la función x → e2axx es
0, cuando x → ∞. Obsérvese también que las singularidades de e i a z f (z)
son las mismas que las de f (z). Esto último es consecuencia del Corolario
3.3.9 y del Teorema 3.3.15, ya que la exponencial es entera y no nula.
y1 i
•
•
• γ
•
• •
−x1 0 x2
donde
) y1
I1 = e i a (x 2 + i y) f (x 2 + i y) i dy,
0
) x2
I2 = − e i a (x + i y 1 ) f (x + i y 1 ) dx y
−x 1
) y1
I3 = − e i a (−x 1 + i y) f (−x 1 + i y) i dy.
0
Ahora
) y1 ) y1
a
a
e−a y y 1 a
1 e−a y 1
≤ = − ≤ .
3 −a 0 3 a a 3
Análogamente |I 3 | ≤
/3. También,
) x2
−a y 1
|I 2 | ≤ e−a y 1 |f (x + i y 1 )| dx ≤ e (x 2 + x 1 )
−x 1 3
2
y1
≤ a y
≤ .
3e 1 3
La última desigualdad se sigue ya que la función x → e ax x es decreciente,
cuando x → ∞ (derivando se verifica que esto se cumple si a x > 1). Por lo
que
2 y1 2R
≤ a R ≤ 1.
eay1 e
Finalmente, juntando estas desigualdades se tiene
) x 2
e iax
f (x) dx − 2 π i Residuos de e iaz 2
f (z) en H
−x 1
= |I 1 + I 2 + I 3 | <
,
3. Series y aplicaciones 197
Existe un teorema análogo para el caso a < 0. Bajo las mismas hipótesis
se tiene que
) ∞
e i a x f (x) dx = − 2 π i {Residuos de f en el semiplano inferior}.
−∞
Corolario 3.4.7 Bajo las hipótesis del Teorema 3.4.6, si además f toma
valores reales en la recta real, entonces
) ∞ 4 5
cos(a x) f (x) dx = Re 2 π i Residuos de f (z) e i a z en H 2
−∞
y
) 4
∞ 5
sen(a x) f (x) dx = Im 2 π i Residuos de f (z) e i a z en H 2
−∞
Demostración. Como
) x 2 ) )
iax
x2 % iax
& x2
Re e f (x) dx = Re e f (x) dx = cos(a x) f (x) dx,
−x 1 −x 1 −x 1
y R > 1, tales que si |z| > 1, se tiene |p(z)| ≤ k 1 |z| n , y si |z| > R, entonces
|q(z)| ≥ k 2 |z| m . Por lo cual
|p(z)| k 1 |z| n k1
≤ ≤ , si |z| ≥ R,
|q(z)| k 2 |z| m k 2 |z|
por lo que f (z) → 0, cuando z → ∞.
Mostramos ahora un ejemplo. Calculamos
) ∞
x sen x
2 2
dx,
−∞ x + m
Se sigue del Corolario 3.4.8 que se cumplen las hipótesis del Teorema 3.4.6.
Es claro que la función
z eiz
g(z) = 2
z + m2
tiene exactamente dos polos, que son simples, en ± i m, por lo que basta
calcular el residuo en i m. Se tiene
z eiz i m e i (i m) e−m
Res (g, i m) = lı́m (z − i m) = = .
z→i m z 2 + m2 2im 2
Por consiguiente
) ∞
x eix e−m
dx = 2 π i = π i e−m .
−∞ x2 + m2 2
En particular,
) ∞ )
x sen x −m ∞
x cos x
dx = π e y dx = 0.
−∞ x2 + m2 −∞ x2 + m2
x sen x
Nótese que en virtud de la Proposición 3.4.5, como la función x → x 2 +m 2
es par, se tiene que
) ∞
x sen x π (e−m )
dx = .
0 x2 + m2 2
3. Series y aplicaciones 199
) −r ) 0
u sen u u sen u
= − du = du,
0 u2 + m2 −r u2 + m2
por lo que
) r ) r
x sen x x sen x
lı́m dx = 2 lı́m dx.
r→∞ −r x2 + m2 r→∞ 0 x2 + m2
EJERCICIOS 3.4
1. Demuestre que el teorema del residuo implica el teorema de Cauchy y la
fórmula integral de Cauchy.
*∞
2. Calcule −∞ xx+1 4 +1
dx.
* 2 π dθ
3. Calcule 0 2−sen θ ·
* 2π dθ
4. Calcule 0 1−2 b cos θ+b 2
, b > 1.
* ∞ cos x
5. Calcule 0 x 2 +a dx, a > 0.
*∞
6. Calcule −∞ x 4 +6x+1 x 2 +25
dx.
*π
7. Calcule 0 1+sen dθ
2θ
·
* ∞ x sen x
8. Calcule 0 x 4 +1 dx.
* π dθ * 2 π dθ
9. Pruebe que 2 0 b+cos θ
= 0 b+cos θ
, b > 1.
Glosario de simbologı́a
201
202 Glosario de simbologı́a
[2] Bartle, R. G., The Elements of Real Analysis, John Wiley and Sons,
New York, 1967.
203
204 Bibliografı́a
205
206 ´Indice analı́tico
seno, función, 42
series
p, 141
de Laurent, 168
de potencias, 155
de Taylor, 160
Shoenflies, teorema de, 107
simple cerrada, curva, 81
simplemente conexo, 96
singularidad
aislada, 174
esencial, 174
removible, 174
Taylor
coeficientes de, 157
teorema de, 160
truco de, 161
teorema
fundamental del álgebra, 122
fundamental del cálculo comple-
jo, 78
Triángulo, desigualdad del, 14
trigonométricas, integrales, 191
Weierstrass
prueba M de, 146
teorema de, 148
Curso básico de variable compleja
editado por la Universidad Nacional Autónoma de México
se terminó de imprimir el 15 de febrero de 2020
en Gráfica premier, S. A. de C. V.
5 de febrero 2309, San Jerónimo Chicahualco.
Metepec. Estado de México. CP. 052170.