Professional Documents
Culture Documents
CURSO BÁSICO DE
VARIABLE COMPLEJA
$;
.
. .,u~\
~
Lascurain Orive, Antonio.
Curso básico de variable compleja 1 Antonio Lascurain Orive. --
2a ed. -- México : UNAM, Facultad de Ciencias, 2011.
v, 218 p.: il.; 22 cm.-- (Las prensas de ciencias) (remas de
matemáticas).
ISBN 978-607-02-2182-8
Bibliografia:p.203-204
Incluye índice
ISBN: 978-607-02-2182-8
A Guadalupe y Antonio
j¡
Prólogo
muy formativo para los estudiantes; 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 pro-
grama vigente es el de Marsden y Hoffman (12], sin embargo éste tiende a ser
enciclopédico, y difícil 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, los teoremas de Liouville y 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 importantes
111
ideas pueden consultarse en los primeros dos capítulos de [10]. Véase 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. A Héctor Cejudo Camacho por el
trabajo esmerado y su empeño en la elaboración de las figuras. A Luis Rodrigo
Gallardo Cruz, que capturó la versión que publiqué en Vínculos Matemáticos,
en el año 2000, la cual fue muy útil para la realización del presente texto.
A José Lucio Sánchez Garrido por la elaboración de la Figura 2.25, y por la
captura de mi primera versión sobre este tema, en el año de 1992. Mi agrade-
cimiento también a los estudiantes que se han inscrito como mis alumnos en
esta materia, enriqueciéndome con sus comentarios e intervenciones. Extien-
do mi gratitud por igual a muchos de mis colegas por sus valiosas y perti-
nentes enseñanzas; en particular a uno de los dictaminadores del presente
libro, quien llevó a cabo una revisión muy cuidadosa. A Adda Stella Ordiales
agradezco su invaluable colaboración en la corrección de estilo y la edición
de este libro, así como por 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.
Contenido
l. Fundamentos y analiticidad 1
1.1. Álgebra de números complejos . . . . . . . . . . . 1
1.1.1. e 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
V
VI CONTENIDO
Fundamentos y analiticidad
,
1.1. Algebra de números complejos
1.1.1. <C es un campo
Definición 1 El conjunto de los números complejos, denotado por C, con-
siste en todos los números de la forma a+ i b, donde a, bE R.
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 E e, z = x+i y,
se escribirá
Re z = x e Im z = y.
1
2 1.1. ÁLGEBRA DE NÚMEROS COMPLEJOS
1f1Z
z+w 1
1
1
(a + i b)(e + i d)
ac-bd+i(ad+bc)
= (e + i d)( a + i b)
l. FUNDAMENTOS Y ANALITICIDAD 3
ax- by 1
bx+ay O.
Nótese que el campo de los números reales está incluido de manera natural
en los complejos, la asociación
x E IR~ x + Oi E e
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 + Oi.
EJERCICIOS 1.1.1
l. Demuestre que el producto de números complejos cumple la ley asociativa.
4 1.1. ÁLGEBRA DE NÚMEROS COMPLEJOS
se tiene
zw
371" 37r ,
2 +2 = 3 1r = 1r mod 2 1r.
J:l lzwl
1 -¡;¡-·
Nótese que este mismo argumento muestra que esta función 'l/Jw también es
lineal como función de e en c.
(;;) = ~.
Un argumento, casi idéntico al que se usó, para probar que la norma de un
cociente es. el cociente de las normas, prueba este hecho.
l. FUNDAMENTOS Y ANALITICIDAD 9
= lzl2
zz {1.1)
z +z = 2Re z.
z-z = 2ilmz.
Za- Z¡ '![!)+
---E~.
Z2- Z¡
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 lwl 2 •
Por ejemplo:
2+3i (2 + 3 i)( 4 + 2 i) -_ 1 7 .
4- 2i = 20 - 10 + 10 t.
EJERCICIOS 1.1.2
l. Demuestre que (TI = ~.
2. Exprese ( <2 ;!f) de la forma x + i y.
3. Demuestre que a es raíz de un polinomio real si y sólo si a lo es.
4. Sean Z¡, z2, 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,
zt-zí! ~ <O.
existe un círculo que los contiene) si y sólo· si Z3-Z2 Z 1-Z4
±( 2
2
a+Ja +b
2
+l
2 2
. /-a+Ja + b )
V 2 si b >O.
a (1.2)
b. (1.3)
x4+y~-2x2y2 a2 .
.J x2y2 b2.
y por consiguiente
x2+y2 = Ja2+b2 .
Ahora, sumando y restando a esta última ecuación aquélla definida por (1.2)
se obtiene
Esta última fórmula nos permite encontrar las raíces n-ésimas de cualquier
complejo no nulo sin mayor dificultad (conociendo el argumento).
de donde
pn r, y ncp 8 + 2 k 7r, k E .Z,
por lo cual
p=yr y <p
n
Finalmente, dos argumentos
8+2k¡1r
= 2m7r, m E .Z.
n
l. FUNDAMENTOS Y ANALITICIDAD 13
k1- k 2 = mn, m E Z,
-2
EJERCICIOS 1.1.3
l. 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 = O, donde z es una raíz n-ésima
de la unidad, z =/: l.
4. Demuestre la identidad 2:-1 = n~:: sen (1rnk). Sugerencia: factorizar la
expresión 1 + z + z 2 + · · · + zn- 1 usando las raíces n-ésimas de la unidad,
posteriormente evalúe en z = l.
sen (n0+2o)
5. Demuestre que 1 +cosO+···+ cosnO = ~ + 2 sén(0/ 2) , donde O no es
un múltiplo par de 1r. Esta identidad se atribuye a Lagrange. Sugerencia:
calcular la parte real de 1 + z + z 2 + · · · + zn, donde z =cosO+ i senO.
o
De la misma manera que sucede con los números reales, se cumple la
siguiente variante de la desigualdad del triángulo
llzl-lwll ~ lz-w!.
Esto se sigue ya que lzl = lz- w + wl ~ lz- wl + lwl, por lo cual se tiene
lzl-lwl ~ lz- wl, etcétera.
La desigualdad del triángulo y la fórmula de De Moivre son útiles para en-
contrar cotas superiores e inferiores. Por ejemplo, el supremo de la expresión
li z 4 + il en el disco {z llzl ~ V2} es 5, ya que
li z 4 + il ~ lzl 4 + 1 ~ 5,
l. FUNDAMENTOS Y ANALITICIDAD 15
y claramente este valor es tomado en ±v'2 y en ±v'2 i. Más aún, este valor
no es tomado en ningún otro punto, ya que si z = r (cos (} + i sen O), se tiene
lz 4 + 11 2 = lr 4 (cos40 + i sen40) + 11 2
= lr 4 cos40+1+ir 4 sen40I 2 = r 8 +2r 4 cos40+1.
Teorema 1.1.7 Sean z 1 , z2, ... , Zn y W¡, w2, ... , Wn dos n-eádas de núme-
ros complejos, entonces se cumple la desigualdad de Cauchy-Schwarz
lz1 W¡ + ... + Zn Wnl $; vlz1l 2 + ''. + lznl 2 vlw1l 2 +' '' + lwnl 2 •
DEMOSTRACIÓN. Una prueba muy ingeniosa es la siguiente. Se toma
u
y V=¡;·
Bajo esta notación se tiene
n n
O :S; L lzk- vwkl
2
L (zk- vwk) (zk- vwk)
k=l k:::l
n n n n
L zkzk-v¿zkwk-v'L:wkzk+vv'L:wkwk
k=l k=l k=l k=l
= a - v u - v u+ lvl 2 b = a- 2 Re (v u) + lvl 2 b
(buu) + lvl
2
2 lul
= a - 2 Re b = a - 2 -b- + lvl 2 b
2
lul 2 lul 2 lul
= a-2-b-+-b- a--b-, i.e., ab ~ lul 2 •
D
Una manera más natural de probar la desigualdad de Cauchy-Schwarz es
usar la siguiente igualdad atribuida a Lagrange,
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+jylx,yElR}cK
es isomorfo a C.
Sea el> : e --+ K dada por el> (x + i y) = X + j y. Claramente el> es un
homomorfismo de C en F y c/>{C) = F, por lo que basta mostrar que e/> es
inyectiva.
Si c/>(x¡ + i y¡) = cp(x2 + i Y2), entonces x 1 + j Y1 = x2 + j Y2, y nece-
sariamente (x 1 - x2) + j (y¡- Y2) =O. Finalmente, si y 1 =1 y 2, se tiene
. X ¡ - X2
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 E C 1 lz- al = r }.
Asimismo, una elipse con focos en w 1 y w 2 , y semiejemayor l, se determina
por la siguiente expresión
EJERCICIOS 1.1.4
l. Demuestre la identidad de Lagrange.
2. Sean z 11 z 2 , ••• , Zn números complejos, ¿bajo qué condiciones se tiene que
lz1 + Z2 + · · · + Znl = lz1l + lz2l + · · · + lznl?
3. Encuentre el ínfimo de lz 3 + 2il en la región {z llzl ~ 2}, y describa en
qué puntos se alcanza.
De los cursos de cálculo recordamos que los discos D(z, E) son abiertos.
Estudiaremos las funciones con dominio un subconjunto del plano complejo
(generalmente abierto) y con codominio C. A éstas se les llama funciones
complejas de variable compleja. Obsérvese que también se pueden pensar
como funciones de IR 2 en IR 2 • Usualmente denotaremos a estas funciones
como
f(x + iy) = u(x + iy) + iv(x + iy),
18 1.2. PLANO COMPLEJO EXTENDIDO, CONTINUIDAD
donde u y v son funciones reales. Algunas veces escribiremos también f(x, y),
u(x, y), etcétera.
\:1 e > O 3 8 >O, tal que si O < lz- al < 8, se tiene que lf(z)- Ll < e.
Siendo esta definición idéntica a la equivalente para funciones de IR 2 en
2
IR , todas las propiedades demostradas para dichas funciones son válidas en
nuestro caso, por ejemplo, la unicidad y el hecho de que el límite de la suma
es la suma de los límites. Más aún, las mismas demostraciones hechas en
cálculo real de una variable también sirven para probar lo siguiente:
(ii) Si lím f(z) = L1 y lím g(z) = L 2 , L 2 =/=O y g(z) =/=O \:1 z, entonces
z~a z-a
'm
ll
f(z) L1
z-a g(z) L2 ·
Obsérvese que para una sucesión z,. n E N, se tiene que z,. -. z, cuando
n---+ oo, si y sólo si Re(z 11 )---+ Rez e I m(z,)---+ I mz, cuando n---+ oo.
Esto se sigue ya que
EJERCICIOS 1.2.1
l. Demuestre la última afirmación ele esta subsección.
2. Demuestre que una sucesión en IR 11 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 p·unlos del plano complejo junto con f orman el plano
complejo extendido. denotado por C.
20 1.2. PLANO COMPLEJO EXTENDIDO, CONTINUIDAD
az+b
z 1---+ cz + d' ad- be=/= O, a,b,c,d E C. (1.4)
y se debe cumplir
=
X¡ X2
( 1- xa' 1- xa'
o) ·
Una prueba geométrica de este hecho se obtiene observando que la proyec-
ción de x debe tener la dirección de (x 1 , x 2 ), y por semejanza se obtiene
que
lzl
- =
Jx't +x?
1 1- x 3
(véase la Figura 1.12). Con base en estas ideas, se define la función
X¡+ ix 2
1/J : § 2 - {e 3} 1----+ e, dada por (x¡, x2, xa) ~-----+ •
1-xa
Se afirma que 1/J es una biyección de § 2 - {ea} al plano complejo C.
y despejando
(1.5)
También
z+z
y
Finalmente, como
z-z
se sigue que
z-z (1.7)
7r(z)
z +z
= ( lzl 2 +1'
z- z
i(lzl 2 +1)'
-1)
lzl 2
lzl 2 +1
es inversa por la izquierda de 1/J.
2. 1/J es sobre. Un cálculo sencillo muestra que 7r es también una inversa
derecha de 1/J (ejercicio).
~ = {z E e llzl < 1}
y el hemisferio norte (x 3 > O) al exterior de este disco; la fórmula (1.5)
también muestra este hecho de manera analítica.
En esta representación esférica del plano complejo no hay una· inter-
pretación fácil de la suma y el producto, su ventaja radica en que oo no
es un punto distinguido. Convendremos en que toda recta incluye al punto
oo. El siguiente resultado exhibe una propiedad fundamental de la proyección
estereográfica.
Escribiendo z = x + i y, se obtiene
a x + by = c.
X1 ) b( X2 ) = e,
a ( l-x3 + l - x3
ax 1 +bx2 = c( l -x3),
los cuales están contenidos en la intersección ele un plano y la esfera, es decir,
se t rata de un círculo. Como 7í(oo) = (0, O, 1) satisface dicha ecuación, este
círculo pasa por el polo norte, lo cual también es evidente a partir de la
construcción geométrica.
Finalmente, un círculo en el plano está definido por las siguientes ecua-
ciones
l z-al2= 7. 2,
2
(z- a)(z - a) = 1· ,
lzl - a z- az + Jal 2
2
l +x 3
-- -2 Re (az)
1- X3
24 1.2. PLANO COMPLEJO EXTENDIDO, CONTINUIDAD
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 (a1x+a2y ) = r 2 - a
1 12 ,
1-x 3
1 + X3 X1 X2 2 2
- - - 2 a 1 - - - 2a2-- = r -lal,
1- X3 1- X3 1- X3
1+x3- 2a1x1- 2a2x2 = (r 2 -lal 2)(1-x3)·
Se sigue entonces que estos puntos están contenidos en un plano y por lo
tanto constituyen un círculo en la esfera. O
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¡, x 2, x3) y (xt', xd, x:f), se tiene
2 2 2
(x1- x1' ) + (x2- x{ ) + (x3- x:{ ) = 2- 2(x1 x1' + x2x{ + x3x:{).
por lo que
2 4
(x¡-X¡') 2 +{x2-xd) 2 +{x 3 -x3) 2 = 2-2 (lzl -l)
lzl2 + 1
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
Si z 1 , z 2 =/: OO.
si z 2 =OO.
yfl + lz1l 2 '
Como § 2 es un sub espacio métrico de R 3 , esta distancia define en efecto
una métrica en C. El término cordal proviene de que se miden cuerdas en
la esfera
2
< € y por lo tanto lznl > J<~ -1
(ya que se puede tomar € < 2). Por lo que, dado M> O, tomando € tal que
4
M=J -1 €2 '
se obtiene lznl > M, si n > Nf. Esto es, lznl --+ oo. O
Una de las virtudes de haber introducido la métrica cordal y el modelo
de la esfera de Riemann es que nos permite de manera casi inmediata pro-
bar muchas de las propiedades básicas de las transformaciones de Mobius.
El estudio de estas funciones, que son importantes en muchas ramas de
la,s_ matemáticas, permite al lector profundizar en los aspectos geométricos
de la variable compleja. Los ejercicios siguientes fueron ·planeados con ese
propósito, más información sobre el tema aparece en [10].
EJERCICIOS 1.2.2
l. Demuestre que la función estereográfica (x¡, X2, xa) --+ xl~!: 2 de la
esfera de Riemann en el plano complejo extendido es suprayectiva.
· 2. Demuestre que si Zn --+ oo cuando n --+ oo, entonces dc(zn, oo) --+ O,
cuando n --+ oo.
3. Las transformaciones de Mobius definidas en (1.4) se extienden a la esfera
de Riemann C como sigue: si e= O, T(oo) = oo, y si e=/: O, T(oo) =aje y
T( -d/e) = oo. 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 Mobius J, g, respectivamente, entonces la matriz
BA representa la composición. gf, que también es de Mobius. Concluya
mostrando que estas transformaciones son funciones bicontinuas de la esfera
en sí misma, y que además constituyen un grupo.
l. FmmAMENTOS Y ANALITICIDAD 27
x2 xa x4
ex = 1 + x + -2! + -3!· + -4! + · · · .
28 1.3. ALGUNAS FUNCIONES IMPORTANTES
------e-;.-----
iy
/
/
eiargw = 1:1 .
.~ .3~
Por ejemplo, e'2 = i, e~i = -1 y e'T = -i, véase la Figura 1.15. Como
en el caso real, la exponencial compleja distribuye la suma en producto.
,,
, ,, --- -.... ........ '
1
1 ' '\
\
1 \
1
X 1
1
\
'
\
\
\
--------~-------
------- -lnr-:----
~i
---------------- e=
--------~~-íi----~
------- ____ ____
...;;___
--------+.o.-:------
l~i
---------------
--------1-----
ez+w = ez ew.
DEMOSTRACIÓN. Si z = x +i y y w = s + i t, tenemos
ex (cosy +i sen y) = 1,
se sigue al tomar las partes imaginarias que y = (entero) 1r, y al tomar las
partes reales que y= 2 k1r, k E Z, y x =O.
l. FUNDAMENTOS Y ANALITICIDAD 31
EJERCICIOS 1.3.1
l. Sea A= {z E e 1 O< Rez < 2, -7r/2 < Imz < 1rj2}. ¿Cuál es la imagen
de A bajo la exponencial?
2. Exprese e (4+i ~) en la forma x + i y.
3. Demuestre que la función exponencial compleja no está acotada en ninguna
semirrecta por el origen. 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 Hii?
(Yo+ 2r.)i
- - - - - - - - - 1 ________ _
Yoi
tl =
si y sólo si
logz
~ ---- (yo+27r)i
Yoi
~
(Yo+ t)i
Yoi
Eslo se sigue ya que arg (ez) = arg{e'Y) =y, por la forma en la que se
eligió la rama de logarit mo.
o
:\ótese que en la proposición anterior si :; f/:. R yo· entonces no nece-
sariamente log(ez) = z . por ejemplo, si y 0 =O, y:;= 2r.i. se tiene
log (ehi) = O. Posteriormente. se restringirá el dominio del logaritmo a con-
juntos de la forma e- B yo · donde Yo es Ull real fij o y
B YO = {z E e 1 z =te 1 !/U' 1 :::: O}.
E l objeto de esta restri cción será lograr que el logaritmo sea un a función
continua .
Proposición 1.3.5 Sea log z la rama de logm'itmo cuyo ar-gumento toma
valores en [yo. Yo+ 2r.), y ::. w E e- {0}. entonces
log (:: w) = log:; + log U' mód 2r. i.
D E~IOSTRACI ÓJ'\ . Por una parte.
= - 1 - i, ahora
EJERCICIOS 1.3.2
l. Calcule log (3- 3i) con las ramas [-r., r.), [0, 2r.) y [-~, n.
3
2. Calcule todos los valores que toman las distint.as ramas de logaritmo de
l2 +;• .{;!
2 .
36 1.3. ALGUNAS FUNCIONES IMPORTANTES
nveces
Estas consideraciones sugieren cómo deben definirse las potencias complejas.
Definición 13 Sean z, w E C, z :f O, y log una rama de logaritmo, se
define
Por ejemplo, si
z = y w=
se sigue, tomando la rama con valores en [-7r, 1r), que
zw = e
i( log 1- i:) = 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
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 1r ni, n E Z, por lo cual todas
las posibles ramas de z w son de la forma
e w(Iogz+2rrni) = e w logz e w(2rrni), n E z.
En el ejemplo que acabamos de mencionar los otros valores de z w son
e¡ e i(2rrni) = e ¡-2rrn, n E z.
l. FUNDAMENTOS Y ANALITICIDAD 37
l! (21rni)
e q , n E Z.
Se tiene
p
-(n-m) E Z <===> n =m (mód q),
q
puesto que (p, q) = 1, por lo que zPfq toma exactamente q valores. Tam-
bién, para cualquier rama z --+ log z se tiene
o
Proposición 1.3. 7 Sean z E e, z =1 oy w E e- Q fijos ' entonces zW
toma un número infinito de valores.
DEMOSTRACIÓN. Si w E e - Q, entonces
D
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 \Yz o z l/n, se define
como
~
e n '
~ (~+iQ) i9
e n =e n n = \YTen,
r
z-?
~
1
1
~
..;z
1
Las función z -+ -/Z, defin ida al tomar la rama de logaritmo [0, 2 1r)
está dada por
.O
Zl---+ jZ = vre'2,
donde z = 1· ei 0 . Como B/2 E [0, 1r), jZ 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 cuad rada es una inversa (izquierda y derecha) de la función elevar al
cuadrado, cuando esta últi ma se restriuge a la unión del scmiplano superior
abierto 1Hi 2 y los reales positivos. En contraste, por ejemplo, J( - i)2 = i .
40 1.3. ALGUNAS FUNCIONES IMPORTANTES
Por otra parte, si se toma la raíz cuad~ada v'z definida por la rama de
logaritmo [-1r, 1r), se tiene que v'z toma valores en el conjunto formado por
la unión del semi plano 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 - {O} 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.
DEMOSTRACIÓN. Si z = x + i y, entonces
z2 = x2 - y 2 + 2x y i.
lo cual define una parábola. El mismo análisis, aplicado ahora a las rectas
verticales Re z =e, e =F O, muestra que sus imágenes constituyen el lugar
de los puntos de la forma
l. FUNDAMENTOS Y ANALITICIDAD 41
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. D
En la Figura 1.22 se ilustra la prueba de la proposición anterior: la imagen
de la recta I m z = 1 es la parábola definida por
t2
tt---+- -1
4
EJERCICIOS 1.3.3
l. Calcule todos los valores de ( 1 - i) 4 - 2i, z i y i w.
2. Describa la imagen del conjunto e- {O} bajo la función ~ definida por
la rama de logaritmo [-1r, 1r). ¿Cuál es la imagen de dicho conjunto bajo la
raíz cúbica definida por la rama de logaritmo [O, 21r)?
3. Demuestre que si w E lR, entonces lzwl = lzlw.
4. Exhiba z, w E e, para las cuales no se cumpla lzwl = lzllwl.
5. Demuestre que la función raíz cuadrada definida por la rama de logaritmo
[0, 21r) transforma las líneas verticales y horizontales de e-
{JR+ U {O}} en
ramas de hipérbolas.
6. Sea w E e- {O} y .¡-una rama de la raíz ¿Se cumple ffw = 1/.jW?
cosy = y sen y
2i
Esto sugiere la siguiente definición.
cosz = senz =
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 Dadas z, w E e, se cumplen las siguientes igualdades
Para probar (ii), nótese que la expresión senz cosw+sen w cos z está da-
da por
4i
ei(z+w)- e-i(z+w)
= sen(z + w).
2i
La prueba de (iii) es análoga a la de (ii) y queda como ejercicio. o
Usando esta proposición se deriva fácilmente que las funciones sen z y
cos z son periódicas y su mínimo periodo es 2 1r (ejercicio). Además, se sigue
directamente de la Proposición 1.3.9 (ii) que la función coseno es la función
seno aplicada a la composición de la rotación por el origen de 1r radianes,
seguida de la traslación por 1r /2, esto es,
e-' ~e'
2 (e'~e-')
ei(it) _ e-i(it)
sen(i t) = = i = isenht.
2i
44 1.3. ALGUNAS FUNCIONES IMPORTANTES
1
1
1
1
1
1
...... .... , , ... '
... ...
1
1
1
1 sen z '' , ,,
1 1 ''
1 1 ~ ' 1
,'
\
1 1 \ 1
1 1 \ 1
1 1
1 1 ' 1
1 1
11' ' 1
-2 -¡1
1
14
1
2 -1/ 1
:2 \ 1
\
1 1 1 \
,,
1 1 1 \
''
,,
1 1
1 1
1 1 , ''
1
1
1
1
,
, ... ,
. ' ' .. . ....
1 1
1 1
Figura 1.23: Las función z --+ sen z transforma rectas vérticales en hipérbolas
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 = 1r /2 y Re z = -1r /2, que se
transforman en los .segmentos reales [1, oo) y ( -oo, -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 = 1rj2 + k1r, k E Z.
Intuitivamente es claro entonces que si restringimos la función seno a la
región
{zEc 1 -~<Rez<n.
ésta se transforma biyectivamente en C- {z 1 /m z =O, !Re zl ~ 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(1r-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
2i
O {::::::} e2 i z - 2i w ei z - 1 o.
Esta ecuación cuadrática tiene soluciones
2iw ± v'-4w 2 +4
2
= iw±v'1-w2 •
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 ± v' 1- w 2)
o
z = -i log (i w± v'1- w2) . (1.10)
Por ejemplo, si w = O y se toma la rama de logaritmo cuyo argumento toma
valores en C21r, 32-r] se obtienen los valores O y 1r. Por consiguiente, todas
las preimágenes del O bajo la función seno son k 1r, k E Z.
46 1.4. ALGUNAS FUNCIONES IMPORTANTES
donde z f: k 1T + 1r /2, k E Z (es fácil verificar que éstos son los puntos donde
se anula el eoseno complejo).
EJERCICIOS 1.3.4
D e fi nic ión ) 7 Srru . 1 t~ hir.,-/o 1'11 C. f : A - ::::. st r!tr·f" r¡ur f (f s rJ, fJ_tífim
(1 lwlotnurfa en : 0 E. \. s1 f ~ dtfetC' nciabl r 1 PI ·< u/¿(/o ("UIItf!!IJO rn I'.:}.JJ
t"r cw¡lat! alruluiur rl ;.o.
l. af + f3 9 es analítica en A y
2. f 9 es analít ica en A y
(~)' (z)
f'( z) g(z)- f( z )g'(z)
'i z E A.
(g(z))2
lím (h o J)(z)
z- zo
= h(wo) = O.
€()
l. FUNDAMENTOS Y ANALITICIDAD 49
z 4 + 2z 3 + 1
f(z)
z2 + 1
es holomorfa en e - {±i} y usando las observaciones anteriores se puede
calcular fácilmente su derivada
2z 5 + 2 z4 + 4 z3 + 6 z2 - 2z
(z2 + 1) 2
EJERCICIOS 1.4.1
l. Demuestre la identidad (fg)'(z) = f'(z)g(z) + f(z)g'(z).
3
zz (!2~:±i sea holomorfa, calcule la derivada.
4
2. Encuentre una región donde
3. Sea f la función de IR 2 en IR 2 definida por f(x,y) = (x 2 + y 2 , O) (en
notación compleja z --+ lzl 2 ), calcule su matriz jacobiana.
4. Sea f (z) = p( z) / q( z), donde p( z), q( z) son polinomios sin raíces comunes
y de grados distintos, supóngase también que n es el mayor de sus grados
y que a es un complejo no nulo. Pruebe que la ecuación f(z) = a tiene
exactamente n soluciones contadas con multiplicidad.
lím g(z) =
z-+zo
lím Re (g(z))
z-+zo
+ i lím /m (g(z)).
z-+zo
' 1 au . 8v 8v . 8u
f (zo) = -:- - (xo, Yo) + - (xo, Yo) = - (xo, Yo) - z - (xo, Yo).
''t 8y 8y 8y 8y
8u .8v av .8u
1
Lema 1.4.4 Una matriz ( ~ ~) con entradas reales representa bajo multipli-
cación matricial, la multiplicación por un número complejo si y sólo si a = d
y b =....,.c. El número en cuestión es a+ ic o a- ib.
52 1.4. FUNCIONES ANALÍTICAS
(: :) (:) = (ax-{Jy,{Jx+ay),
es decir,
ax+by = ax-{3y,
ex+dy = {3x+ay.
En particular, tomando los valores particulares (1, O) y (0, 1) se obtiene
a = a, e = {3, b = -{3 y d = a.
o
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
V z en una vecindad de z 0 existe
, f(w)- f(z)
1lm '
W-+Z W- Z
d (f(z)) . 1 df
o s1mp emente dz.
dz
Proposición 1.4.5 La exponencial es entera y su derivada es ella misma.
D
5
Otros ejemplos se derivan de este resultado, por ejemplo, la función ez -4
es entera y su derivada es (5 z 4 ) e zs. También, se tiene que las funciones sen z
y cos z son enteras. Además, como en el caso real
d (sen z) d(cosz)
dz = cosz y
dz
-senz.
d (sen z)
dz (
eiz)
2i i-
(e-iz)
2i (-i) cosz.
2rri
r -! (e -, ) = e: .1)
no converge a r- 1 (1) = (211', 1) . Véase la Figura 1.24. Es claro que un
argumento similar se aplica si se toma como dominio [O, 271') x JR+.
r-1
/ " ' X ~
1
,
1
\ 1
1
1
1
+
rx
1 1
\ 1
'' /
/
-~- 1
27f
T
ofJru (8. 1·),
DEMOSTRACIÓN.
D(J o T)(O, r) =
au - -(z)
-(z)
Xa
av
av
( -(z)
X a
au
l
Tomando T(O, r) = z, z E A, se tiene
l
-(z)
ax ax
au
-r senO ax (z)- r cosO ax (z)
av
au
cosO -(z)-
ax av
senO -(z)
ax
( -r sen 0 aavX ( Z) + T COS 0 aauX ( Z) COS 0 aav au
X (Z) + sen 0 aX (Z)
l
Por consiguiente, como esta última matriz es precisamente
au
ao(0, r) ar (0, r)
au
( av av
ao(0, r) ar (0, r)
se sigue la proposición. O
Nótese que el resultado anterior se puede adaptar a dominios diferentes a
e -JR+, variando el argumento, esto es, tomando otras funciones polares con
dominios (y 0 , Yo+ 2 1r) x nt+. Existe un resultado análogo al Teorema 1.4.3
para coordenadas polares: si A es una región en e-JR+ y f: A--+ e es dife-
renciable en el sentido real y se satisfacen las condiciones de Cauchy-Riemann
en forma polar, se concluye que f es analítica en A. La demostración queda
como ejercicio para al lector. De nuevo, esta situación también se aplica a
otros dominios.
Una manera de probar la analiticidad de una rama de logaritmo en un
cierto dominio, es usando las ecuaciones de Cauchy-Riemann polares. Para
poder hablar de la derivada del logaritmo, se necesita restringir el dominio
para que esta función sea continua. Esto sucede ya que en los dominios donde
se definió originalmente la función rama de logaritmo no resulta ser continua.
Por ejemplo, si se toma la rama con valores del argumento en (y 0 , Yo+ 2 1r] la
sucesión ei(yo+l/n), n E N, converge a eiYo, cuando n--+ oo, sin embargo
log (ei(yo+l/n)) no converge a log(eiYo) = (y 0 +27r)i, véase la Figura 1.25.
Si se toma el intervalo [y 0 , y 0 + 2 1r), un argumento similar se aplica.
l. FUNDAMENTOS Y ANALITICIDAD 57
(1.11)
log z
~ -------- y~~-----
au av av
ao = o 8r
y
ao
58 1.4. FUNCIONES ANALÍTICAS
! ar(z),
r ax
por lo cual
) . a o( ) = ! a r ( ) . a o( )
f '( z ) = a (log r) (
aX z +za X z r a X z +za X z.
Ahora, estos valores los podemos encontrar con la matriz inversa del jaco-
biano de la función polar, esto es, como
DT(O
'
r) (-r= sen O cosO)
r cos O sen O '
se sigue que el determinante de esta matriz es -r y
.
*) (ao::(z)
senO
1
DT- (T(O, r)) = r =
(
cosO * -(z)
ax
donde T( O, r) = z. Por consiguiente
cos O . sen O 1 . z 1
J'(z) = - - z -
r r
-(x-zy)
r2 = lzl2 = z
o
Posteriormente, usando el teorema de la función inversa complejo daremos
una prueba muy simple de esta proposición. También, en el siguiente capítulo
mostraremos dominios de analiticidad del logaritmo más sofisticados.
Definición 19 A la roma de logaritmo cuyos argumentos toman valores en
( -1r, 1r) se le llama la rama principal.
Por ejemplo, usando la rama principal la función z ~-----+ log(z 2 ) es bolo-
morfa en
A = <C - {z 1 Re z = O} .
Esto se sigue ya que si z E A, entonces z 2 =F O y arg (z 2 ) =F 1r. Sin embargo,
si se busca una región de analiticidad se debe restringir el dominio a uno de
los dos semiplanos.
l. F UNDMIE:"<T OS Y ANALIT !CIDA D 59
Se pueden construir otras funciones enteras con las potencias, por ejemplo,
si se toma un complejo no nu lo b y cualquier rama de logarit mo, se tiene
q ue la función f (z ) = b• es entera y su derivad a está dada por (Iog b) bz.
Esto se sigue de la regla de la cadena , ya que b• = e (Iog b} • .
d(.::b) = b zb-l
dz
S e sobreentiende que z b y .:: b- l usan la mism a rama de loga1'itrno .
es la región buscada, y
d((ez+ 1)Í/2)
ez (e=+ 1)- 112 Vz E A
dz 2
(véase la Figura 1.26) .
., .
..,rrl
1fi(
Mostramos ahora que tomando la ram a ele la raíz definida por la rama de
logari tmo con argumento en (O, 27r) , la función
z ._____, vlz2=l
es analítica en C - B , donde
Es claro también de la Figura 1.27 que, como la función .;z=-I está definida
por
z f---+ e 4{logl: - 1l+i arg(z-1)) '
d onde O < a rg z < 2 11. se tiene que
vz=1 = ...¡¡:¡ e'0¡ / 2.
Finalmente, para J'Z+1 se toma la ra ma principal. por lo que esta función
es holomorfa en
e- {x +iyEe 1 y= o, x::::; 1}.
62 1.4. FUNCIONES ANALÍTICAS
EJERCICIOS 1.4.2
l. 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 e- IR+ y f : A ~e 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 J 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
7T 57T)
(2 1 2.
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 'Y : [a, b) ~e una curva diferenciable contenida en
una región A, supóngase también que f : A ~ e es holomorfa, entonces
f o 'Y es una curva diferenciable y
(f o -y) 1 (t) = j 1 (-y(t)) 'Y 1(t) Vt E [a, b).
DEMOSTRACIÓN. La regla de la cadena real implica que
(Jo -y) '(t) = D J('Y(t)) 'Y 1 (t).
A su vez, la demostración del Teorema 1.4.3 dice que esto puede escribirse
como
(f o 'Y) 1(t) = f '('Y(t)) 'Y '(t).
o
El Teorema 1.4.10 conlleva la geometría local de las funciones analíticas;
muestra que en los puntos donde no se anula la derivada, la función, in-
finitesimalmente, 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
Vt E [a, b) "Y 1( t) =/: O y f 1('Y( t)) =/: O. Ahora, si denotamos a la curva
imagen f o "Y por 4>, se tiene
4> 1(t) = f'("Y(t)) 1
f' (t),
y por consiguiente 4> 1 (t) =/: O. Más aún, la dirección de la tangente a 4> en
4>(t) está determinada por
arg 4> '(t) = arg f 1 ( -y(t)) + arg "Y 1 (t) (mód 2n}
Esto dice que el ángulo que forman las tangentes a 4> en 4>( t) y a "Y en
"Y(t) es argf 1 ("Y(t)), es decir, no depende de la curva -y, sólo depende del
punto z = "Y(t) y de la función f (véase la Figura 1.28).
64 1.4. FUNCIONES ANALÍTICAS
f
~
;'(t)
~;(t)
f
~
11
L
zo
~
f
(f-1) l(w) = 1
f 1(z)"
DEMOSTRACIÓN. Se tiene que
aaxu (z o)
Dj(zo) =
-~:(zo)) '
y
( av(z ) au(z O)
8x O 8x
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 e - {z 1 I m z = O, 1Re z 1 ~ 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 IRe zl < 7r /2, la función
seno no tiene singularidades, esto es, puntos donde la derivada se anule (en
los puntos ±7r /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 (iw + J1- w 2 ) define la inversa en la región
e - {z 1I m z = O, 1Re z 1 ~ 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 e y z, w E 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 E e 1 lmz =o, IRezl 2: 1} demuestre que usando (doble-
mente) la rama principal de logaritmo, la función z--+ i log (i z +JI- z 2 )
es una biyección conforme de e- B en {z E e IIRezl < ~}. 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 80(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-l. 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.
Definición 22 Sea 'Y: [a, b] --+e una curva C!)ntinua. Se dice que 'Y es de
clase C 1 por tramos, si existe una particiÓn a = X O < X 1 < ... < X n = b de
[a, b], tal que 'Vi E {1, 2, ... , n} rl (xi-b x¡) es diferenciable y la restricción
de -y' al intervalo (xi_ 1 , x¡) tiene una extensión continua a [xi-b xi]·
71
72 2.1. FUNDAMENTOS
Definición 23 Sea A una región en <C, f: A--+ <C una función continua
e
y 'Y : (a, b] --+ A una curva de clase 1 . Se define
Proposición 2.1.1 Sean f(z) = u(z) +iv(z) y 'Y(t) = (x(t), y(t)) como en
la Definición 29. Entonces
1 "Yl +"Y2
f = 1 f+1 f.
"Yl "Y2
o
También, dada A una región y 'Y: (a, b] -4 A de clase C 1 por tramos,
se define --y(t) =-y( a+ b- t), es decir, --y recorre la misma curva que -y,
pero en sentido inverso. Ahora, si f : A -4 C es una función continua, se
sigue del teorema de cambio de variable real (aplicado dos veces) que
r
/_--y f = - J'Y f. (2.1)
Jk(t(C))
o X t(C)
• • •
k(O) k(x)
es unitaria.
1(Rez) dz = 1\-t)(-1- i) dt
1' + (t it) dt
t2
2
.t2)1
( -+z- 2
1
~------.....__-...., 1+i
Figura 2.2: La curva 'Y determinada por el perímetro del cuadrado formado
por los puntos O, 1, 1 + i e i
¡
del cuadrado formado por los puntos O, 1, 1+i e i. Se parametriza 'Y como
~(3-+ (tt)-+
o~ t ~ 1,
= 1 ~ t ~ 2,
(t) 1) i
'Y i 2~ t ~ 3,
(4--:-t)i 3 ~ t ~ 4,
1
'Y
(Imz) dz = L
3
j=O
1'
1
"+1
Im ('Y(t)) 'Y'(t) dt
Finalmente
o
Ilustramos el teorema con un ejemplo, si 'Y es el semicírculo inferior uni-
tario recorrido en el sentido positivo, entonces usando la primera parte del
Teorema 2.1.5 se tiene
1¡
2ez 1 < tr-
-dz
'Y 5z -
2e
5'
ya que en el círculo unitario la norma de la exponencial es ecost, t E (0, 2 tr].
b
Algunas veces se usan integrales del tipo
'Y
J
fldzl, éstas se definen como
fa f ('Y(t)) I'Y'(t)l dt, donde 'Y 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.
lt =o.
DEMOSTRACIÓN. Si 'Y es de clase C1
l tf = f(-y(t))'Y'(t)dt = t g'('Y(t))'Y'(t)dt t (g o-y)'(t)dt
= Y('Y(b))- g('Y(a)),
la última igualdad se sigue fácilmente al escribir g o 1(t) = u(t) + iv(t) y
aplicar dos veces el teorema fundamental del cálculo real. El caso general se
sigue sumando todas las contribuciones. O
2. I NTEGRACIÓN 79
(-l):l .
Por lo cual
1 .
1 1
3 z 2 dz = .j2 - i .J - - - + t.
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 :: _, .:: 3 es entera.
El siguie nte ejemplo es de particular importancia y se usará posterior-
mente. Sea -y el círculo de radio r alrededor de a E C y n E Z . entonces
si n .¡:.-l.
si n =-l.
Esto se sigue, ya que
si n ~ O o n ~ -2,
1 (::-a)" dz O.
dondt• -. t•s ('1 dr ·u lo un ita rio. si u t'luhar •o t'slo cont rndic(' PI ·úkulo lwcho
t•l <'.i<>mplo nntr'rior. Rt•conlt• lnos qw· la id('!ll iJad
1'11
d
- (lo • ')
d:
s \·;ílida ~obnwnt< • t'll d dOininio dt· aw1 lit icidad dt· al"tlll;l milla d' ugarit-
llto. C'onto \ ' fl t' discut ic'>. t•llo!!,a rit 1110 110 t ·~ una funcit'n¡ cont inua t'll ::: - {0} ,
y por lo tn nto tn mpoco pu('d(' st·r holo111orfa t'll dicho lli.llninio.
EJ E RC ICIOS 2. 1
l. Demuestre la identidad (2.1) .
2. Calcule J.. , 3 z'1 dz. donde ¡ es c ualquier curva de clase C 1 por t ramos
que une i con 7.
3. Sea¡: [0 , 2 1r] __, C dada por ¡(t ) =i+4+ 3 e; 1 y f (z) = (z-i- 4)- 7 ,
calcule J.., f .
4 . Calcule J.., J,
donde f (z) = Imz y¡ es el segmento de línea que une 2
con -i. ¿Se cumple R e (J.., !) = J.., R e f?
5. Demuestre que 1J.., JI ::; ~ log 2, donde f(z) =sen z y ¡ es el segmento
en el eje imaginario que une el origen con (log 2) i.
6. Calcula r f-r ~ y J1 ldozl . donde ¡ es el círculo de radio 2 con centro en
el origen.
Figura 2.3: Una curva simple cerrada separa en dos componentes al plano
Este teorema se genera liza a otro tipo de curvas, por ejemplo, a aquellas
cuyos interiores se pueden descomponer en un número fin ito de regiones
elementales, al bisectar con segmentos verticales y horizontales (cf. [13], p.
357) .
82 2.2. VERSIÓN PARTICULAR DEL TEOREMA DE CAUCHY, IDEAS INTUITIVAS
i / i<
= U + i V){ dx + i dy) = i dx -
U V dy + i [i U dy + V dx]
J (_avax _ au)
ay dA+i J (auax _ 8v)
8y dA= O.
Int('y) Int(-y)
i e''"" dz = O.
l !=f!
1 1 12
Posteriorme nte se defin irá fo rmalmente esta idea de la deformació11, se d irá que
'Y 1 es homotópica a 1 2 .
D EMOSTRACIÓN . [I NTUITIVA] Se traza m1a curva auxi lia r u como en la
F igura 2.4. A la curva ¡ 1 + u - "/2 - u se le puede a plicar el teorema de
Cauchy, ya que aunque esta curva 110 es simple cerrada, se pueden tomar
copias paralelas a u obteniendo una curva simple cerrada T. como en la
Figura 2.-1. y después tomar el límite. De esta manera
JJ
1 1+U-')'2- U
= O. por lo que 1 + 1 -1 -1
11
f
u
f
12
f
u
f o.
Lo cual implica
D
84 2.2. VERSIÓN PARTICULAR DEL TEOREMA DE CAUCHY, IDEAS INTUITIVAS
entonces
{f
}--y
= t{
k=l J'"Yk
¡, (2.2)
f.¡= o.
Además, salvo cantidades que se pueden hacer arbitrariamente pequeñas,
T consiste en recorrer 'Y en la dirección original, "(¡, 7 2 , ••• , 'Yn negativa-
mente y u 1 , u 2 , .•. , un en ambas direcciones. Estas últimas contribuciones
se cancelan obteniéndose (2.2).
2. I NTEGRACIÓN 85
(2.3)
@
Figura 2.6: Región que no es simplemente conexa y región que sí lo es
2. I NTEGRACIÓN 87
1!=1!
1'1 'Y2
1! = 1f-1f
'Y "Y l ')2
o
(véase la Figura 2.7). o
EJERCICIOS 2.2
l. Calcule la integral de f( z) = e1: 1"; en el círculo {z llzl = 2}.
2. Calcule frz -ii=S log z dz, donde log z es la rama principal de logar itmo.
~ ~ h
~
R2
I:±:J R3
'-
~
~ ~ R
J. f
8R
= o.
DEMOSTRACIÓN. Para cada rectángulo P denotaremos por I(P) a fap f.
Bisectando el rectángulo R al dividir la base y la altura en partes iguales,
se obtienen cuatro subrectángulos que denotamos por R 11 R 2 , R 3 y R 4 •
Como las fronteras comunes de estos subrectángulos Ri, i = 1,2, 3, 4, se
cancelan
4 4
I(R) = L I(Ri) y II{R)I ~ L II(Ri)l'
i= 1 i=1
k=1
Por lo tanto, 3 Zo E e, tal que Zk __. Zo, cuando k__. oo, y como todos los
rectángulos R k son cerrados, z 0 está en la intersección de todos ellos.
Ahora, como
{ zdz = O = { dz,
laRk laRk
se sigue que
y usando (ii)
-
zo
0 0 0
.-R
0 0 0
Figura 2.9: Prueba de la generalización del lema de Goursat
2. INTEGRACIÓN 91
J. f = o,
8R
J.
8R
f = I: J.
i= l oR¡
f + J.
oR•
f = J.
oR•
f.
J.
8R
f = .0.
z
J
1
z+h
_ __,
R
zo
r
JAz J = v~ J1
Ahora, si h E lR es suficientemente pequeña
al tomar x como parámetro para Th. Nótese que esto se cumple también si
h <O, ya que en este caso
Se afirma que
1 ¡x+h )
l~ ( h Jx j(t, y) dt = f(x, y). {2.5)
éJg1
-- + 2. -éJg2- .
= -v + tu.
éJy éJy
Esencialmente, esto se sigue ya que al tomar como parámetro el segmento
vertical, aparece en la derivada el valor i; dejamos la verificación de los
detalles al lector. Finalmente, como u y v son continuas y las parciales de
g 1 , g 2 existen y están relacionadas por las ecuaciones de Cauchy-Riemann,
g es analítica en Int P, y en dicho conjunto
g' = f.
D
1
2
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
1¡ = o.
2. INTEGRACIÓN 95
Definición 25 Sea A una región en e, se dice que las curvas lo: [a, b] --+A
y 1 1 : [a, b] --+ A son homotópicas {como curvas cerradas) en A, si existe
una función continua H: [a, b] x [0, 1] --+A, que cumple
H(s,t) = 7+i+(2+t)eis,
x 1 +t(x 2 - .x 1) E A.
ltz2 + (1 - t)z ¡ - zol = lt(z2- zo) + (1 - t)(z¡- zo)l < t1· + (1 - t)r = r,
donde t E [0, 1], véase la Figura 2. 13. Nótese que la intersección de regiones
convexas es convexa. El siguiente resultado muestra que en las regiones con-
vexas una curva se puede deformar en cualquier otra.
Proposición 2. 3.6 Sea A una región convexa en e y 'Y o, 'Yt: [a, b] --+ A
do s curvas continuas y cerradas, entonces 'Yo es homotópica a 'Y 1 en A.
o a b
Figura 2.14: Prueba del teorema ele la deformación para homotopías ele clase
e1 por tramos
o= ¿ Jr
i H(oWi)
1= 1 -1
'Yo
1
'Yl
J.
Lema 2.3.10 Sea A: [a, b] ---. e continua y E > O, entonces existe una
curva 'Y= [a, b]---. e C 1 por tramos, tal que IA(s) -')'(s)l < € para toda
sE (a, b).
Se define la curva 'Y como la poligonal que une los puntos .X(sk)· Más
precisamente, V k E {1, 2, ... , n} se define
'1/Jk(t) = t.X(sk)+(1-t).X(sk-d·
De esta manera, "fl[sk-b sk] describe el segmento que une .X(sk-1) con
.X(sk)· Además, es una composición de funciones afines, y es, por lo tanto,
e e
de clase 1 , es decir, 'Y es de clase 1 por tramos. Véase la Figura 2.15.
Finalmente, si sE (sk-b sk), por construcción se tiene que .X(sk-1) y
.X(sk) pertenecen al disco D(.X(s), e), además "f(s) está en el segmento que
une .X(sk-1) con .X(sk)· Por consiguiente, como los discos son convexos se.
tiene que
I'Y(s)- .X(s)l < e.
Aplicando este razonamiento a cada subintervalo se sigue el resultado. O
Figura 2.15: Una curva continua se puede aproximar por una de clase e1
por tramos
En el contexto del lema anterior se dirá que A y 'Y son curvas e-cercanas.
A continuación probamos que la distancia entre dos conjuntos ajenos en IRn,
uno compacto y otro cerrado, se alcanza.
necesariamente sea de clase e1 por tramos. Para esto, sea A una región en
e, /:A -+ e una función analítica, A: (a, b] -+ A una curva continua y
cerrada, € = d(A([a, b]), A e) y -y 1 , -y 2 dos curvas cerradas, de clase C 1 por
tramos, €-cercanas a A. Nótese que ambas curvas están en A.
D~finimos una homotopía entre 1' 1 y -y 2 como sigue
1f 1f.
'Yl
=
'Y2
Las observaciones anteriores muestran que esta integral está bien definida.
Finalmente, probamos el teorema de la deformación.
1!=1J.
'YO 'Yl
entonces
IH(s 1, t 1)- H(s2 , t2)l < c/2.
Sean O = t o < L1 < ... < L" =1 tales que
IL1 -Li+d < ó VjE {O, l.. . . ,n- 1}.
1 1"0
1 = r 1
}Jo. ,, '
ya que d (>. 1, ([a, b]), A e) 2:: d (H ([a, bJ X [0, 1]), N) = f. .
El siguiente paso es tomar una curva auxiliar 1/J 1 , e 1 por tramos, que
sea c/2-cercana a >. 1 , . Esta nue\·a curva es f.- cercana a >. 1 2 , ya que
por lo que
1 J= r J= 1 J= r J
1"0 / ,,, ·1,!1¡ / ,,2
Iterando este proceso se obtiene el resul tado deseado. Esto se puede hacer,
ya que Vj si 1/J es una curva (e 1 por tramos) f.- cercana a 'Yt,, como
o
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 'Y el círculo unitario 1.:::1 = 1 y
1
!(::) = :: 2 - 1/ 4.
104 2.3. TEORE~IA DE CAUCHY
1~ + kei•r = l.
(ejercicio).
2. INTEGRACIÓN 105
[ f = [ f + [ f,
}'Y J'Yl 1"'(2
ya que las contribuciones en el intervalo· [-1/4, 1/4] se cancelan. Ahora,
1 1 1
z 2
- 1/4 z -1/2 z + 1/2'
y usando el teorema de Cauchy se sigue que
[ dz [ dz [ dz
}'Y z 2 - 1/4 = }'Y z- 1/2 - }'Y z + 1/2
o- 27ri.
1 1 1
1, 1 = 2 ro i, y por ende 1 1 = O.
11 =
"r
r 1 =o.
},¡,
o
Esta versión general del teorema de Cauchy nos permite detectar de mane-
ra fo rmal que muchas integrales son nu las, por ejemplo, sea A la región que
consiste de intersecar el semi plano {z 1 I m z > Re z} con el disco D( -1 , 2) ,
y ¡ cualquier curva cerrada de clase C L por tramos en A. Entonces
j.
"r
z2 + z + 1 dz =
z
O,
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 Figu ra 2. 18.
Existe un importante teorema de la topología que complementa al tem·e-
ma de Jordan y permite establecer que el interior de cualquier curva simple
2. I NTEGR ACIÓ 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 I nt 1 en b. y se tiene cualquier curva cont inua
A : [a, b] -> I nt1; como b. es simplemente conexo, existe una homotopía
H: [a, b] x [0, 1]-> b., tal que H l[a, b] x {O} = fo A y H i[a, b] x {1} es
un punto . Por lo que al tomar ¡ - 1 o H se tiene la homotopía buscada.
Estas observaciones per miten 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 A y p(z ) un polinomio cuyas raíces
no están en A , entonces si 1 es una curva cerrada C 1 por tramos en A , se
t iene
1P~:) = O.
El teorema de la defo rmación permite también probar un teorema global de
la primi tiva.
Teorema 2.3.15 (De la primit iva ) Sea A una región simplemente conexa
y sea f : A -> e holomorfa, entonces existe g : A _, e holomorfa, tal que en
los puntos de A se cumple
g'(z) = f( z) .
g(z) r=f,
}"
108 2.3. TEOREMA DE CAUCHY
= --
1 ¡z f - -1- ¡z f(zo) = --
1 ¡z (f(w)- f(zo)) dw.
z - zo zo z - zo zo z - zo zo
Finalmente, por continuidad, 'V f > O existe una 8 > O, tal que si
lz- zol < 8, se tiene lf(z)- f(zo)l < f. Tomando 8 de tal manera que
D(z 0 , 8) e A, se sigue del Teorema 2.1.5 que si O< lz- zol < 8, entonces
ya que se puede usar como curva de integración el segmento de línea que une
z con z 0 • Por consiguiente, g es analítica y g'(z 0 ) = f(z 0 ). D
Terminamos esta sección con un resultado que permite establecer domi-
nios de analiticidad· para las ramas de logaritmo más sofisticados que los que
se presentaron en el primer capítulo.
EJERCICIOS 2.3
l. Probar los dos detalles faltantes en la prueba del Teorema 2.3.3.
2. Pruebe formalmente que el semiplano {z 1 1m z ~ m Re z + b, m, b E 1R}
es convexo.
110 Vl. TEORE~IA DE CAUCHY
.5. Calcule el valor del número k mencion ado en el ejemplo que aparece a con-
tinuación del Teorema de la deformación (2.3.12), y encuentre la parametriza-
ción de la curva 1 en el intervalo [11j2, 1í] .
8. Calcule !¡zl=2 dz
z2+1 ·
J (.::-.::o)"dz ={o .2 7i 1
ll ,¡, -
n =- l.
l.
1=-=ol=•·
Esto se genera liza a curvas que consisten en recorrer n veces dicho círculo,
por ejemplo, la curva r( l) = .:: 0 +ei 1, tE [0, 27i n], rodea. n veces al punto
.::o, y se tiene que
j d.::
2 7i in. o 1
27i i
j d.:: n.
')"'--o 1 .::-.:: 0
112 2.4. FÓRMULA INTEGRAL DE CAUCHY
Más aún, si '1/J es una curva cerrada de clase C 1 por tramos, tal que z 0 ~ '1/J
y 'Y es homotópica a '1/J en e - {z o}' se sigue entonces del teorema de la
deformación que
1 r
dz
27ri}.,¡, z-zo = n.
Es natural pensar que al ser 7 y '1/J 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
e1 por tramos 'Y, 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
2 1ri
¡
"Y
1d z =
--
z- zo
±1.
Por otra parte, si z 0 E Ext "(, entonces la función z!zo es holomorfa en una
región que contiene a la curva 'Y y a su interior, por lo que el teorema de
Cauchy implica que
_1_ {_l_dz =O
27ri}"Yz-zo '
ya que en virtud del teorema de Shoenflies, la curva 'Y es nulhomotópica en
1
el dominio de analiticidad de -z-zo-. Esto último se sigue, dado que la homo-
topía que deforma el círculo unitario en el origen se puede jalar a deformar
'Y en un punto de su interior. Las ideas anteriores desembocan en la siguiente
definición.
-"((t) = zo + r e-it
2. INTEGRACIÓN 113
tiene índice. -n. Ahora, si 'Y y 1/J son dos curvas cerradas de clase C1 por
tramos que no pasan por z o' y 'Y es homotópica a 1/J en e - {z o} ' entonces
se sigue del teorema de la deformación que
1 . 'Y'(t)
g (t) = (t) . (2.6)
'Y - zo
y como 'Y( a) = "f(b), resulta que e-g(b) = e-g(a) = e0 = 1, por lo_ cual
g(b) = 21rni, n E Z. Esto es, l("f, z 0 ) = n. D
114 2.4. FÓRMULA INTEGRAL DE CAUCHY
Obsérvese que si ')' es una curva simple cerrada de clase C 1 por tramos,
entonces
1nt(1) = {z E C 1 1(1, z) # O} ,
es decir, se puede definir el interior de una curva en forma analítica y no
topológica, usando la integral que define el índice. Mostramos ahora un ejem-
plo, sea 1/J(t) = cost + i (4 sent), tE [0, 61r), es decir, la curva consiste en
una elipse centrada en el origen, que se recorre tres veces en el sentido posi-
tivo, por lo que la curva debe tener índice tres con respecto al origen. Para
probar esto de manera formal se toma 1(t) = cost + isent, t E [0,61r],
2. ( NTECHACIÓ:'\' 115
entonces
H (S. t ) = cos S + i (..J - 3 t ) sen S
es una homotopía entre 'l/J y ..)', véase la Figura 2.21. Por lo que se sigue que
! (!/;, O)= 3.
=
f(u2, ~(.::) si w =1- .::.
g(w) =
{
J '(.::) si w = .::.
Se Lie11e que g es analítica en A - {.::} y continua en A. por lo que la
obsermció11 anterior implica q ue
i g o.
F inalmente,
O = f f(w) clw-
. ..,w-z
J
7
f( .::) dw
w-;; J
f (w) .
- - dw - 2 71~ f( z) I (¡, ::).
"r w-::
o
116 2.4. FÓRMULA INTEGRAL DE CAUCHY
Es importante observar que esta fórmula es muy útil para calcular inte-
grales, por ejemplo,
1
lzl=5
ezz dz = 27ri e 0 27ri.
1
lz-11=1
ez +cosz d
z- ~ z,
Lema 2.4.3 (Integrales de tipo Cauchy) Sean 'Y= [a, b]--? e una curva
e1por tramos, cp : 'Y([a, b]) --? e continua, n E .Z, n =/; 0, y
k( ) - k r
g z - .
1
"Y ( w
cp(w) d
- z) k+l w.
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 'Y una curva de clase 1 por tramos en e
una región A, y f n' n E N, una sucesión de funciones continuas definidas en
'Y y que además convergen uniformemente a una función f en 'Y, entonces
DEMOSTRACIÓN DEL LEMA. Para demostrar el lema basta probar que para
cualquier z 0 E e-
'Y y cualquier sucesión hk, k E N, que converja a cero,
se tiene
g(zo + hk)-
h g(zo)
k
~ -n 1( "Y
w- z 0 )n-1 cp (w ) dw,
(
(w-zo-hk)n-(w-zo)n) cp ()
w ~ -n (w - z 0 )n-1 cp ()
w
hk
118 2.4. FÓRMULA INTEGRAL DE CAUCHY
Si n >O,
~ 1(u-m;~-1
k mum
+nu•-•l+c'{lhkl+lhkl2+···+1hklm-1)
m m 1 lmum-m(u-hk)ml
1
(u- hk)m u - um+l = (u- hk)m um+l
donde e" es una constante. Esta última expresión converge de manera uni-
forme a O, lo cual termina la demostración del lema.
o
La fórmula integral de Cauchy junto con el lema sobre integrales de tipo
Cauchy tienen como consecuencia casi inmediata el hecho de que las funciones
holomorfas tienen derivadas de todos los órdenes en el sentido complejo.
e
ii} si 'Y es una curva cerrada, 1 por tramos, homotópica a un punto en
A, y z E A-"(, se tiene \:1 k E {0, 1, 2, ... } que
fk(z) l("f, z) = ~
2 7r i
11 (w
f(w)
- z) k+l
dw
'
(2.8)
donde f0 = f.
120 2.4. FÓRMULA INTEGRAL DE CAUCHY
f(z) = ~
27rt
1
wW-Z
f(w) dw.
Como ésta es una integral de tipo Cauchy, el Lema 2.4.3 permite concluir
que f es C00 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
I( 'Y' z) = 21 . { _1_ dw
7rt}'Yw-z
es analítica y e00 en el sentido complejo en e - 'Y' de hecho es localmente
constante por tomar valores enteros.
Ahora, por la fórmula integral de Cauchy, si z E A - 1 se tiene
f(z) l({, z) = - 2.
1
f(w) dw.
1rzJ.rw-z
r
Finalmente, aplicando de nuevo el lema, ahora a la función G(z) definida
por f(z) l({, z), se obtiene inductivamente que
k
G {z)
k k!
= f {z) I {1, z) = -2 7rt.
¡
7
(
f(w)
w-z
) k+l dw, k E N.
D
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 d
1.
lw-11=1 (w- 1) 3 w.
2. INTEGRACIÓN 121
f k (zo) 1 k' M.
~ R~
1
por lo que
k!:..
D
El siguiertte sorprendente resultado no se cumple en la variable real, por
ejemplo, la función X --+ sen X + COS X es de clase C00 en los reales y cierta-
mente está acotada.
tanto f es constante. · O
A su vez el teorema de Liouville proporciona una prueba bastante sim-
ple del teorema fundamental del álgebra, como se muestra a continuación.
Recordamos que a los ceros de los polinomios se les llama raíces.
Teorema 2.4. 7 (Teorema fundamental del Álgebra) Cualquier polino-
mio con coeficientes complejos y no constante tiene al menos una raíz.
DEMOSTRACIÓN. Sea p(z) = anz" + an_ 1z"- 1 +···+a o un polinomio con
coeficientes complejos, n 2:: 1, y an :/= O. Si p(z) :/= O 'V z E C, entonces la
función 1/p(z) es entera. Para z :/= O, se puede escribir
1
1 1
p(z) an-1 . ao'
an+--+···+-
z zn
por lo que al tomar el límite cuando z--+ oo, se tiene
, 1
1liD
%.......... 00
-()
pz =o.
Por consiguiente, existe M tal que si lzl > lvl, se tiene 11/p(z)l <e. Tam-
bién, esta función está acotada en el compacto D(O, M), por lo que 1/p(z)
está acotada en todo el plano. En este caso, se tendría por el teorema de
Liouville que la función 1/p( z) sería constante, y por ende el polinomio
p( z), lo cual es una contradicción. O
El siguiente interesante teorema muestra, esencialmente, que si las in-
tegrales de una función continua en curvas cerradas se anulan, entonces la
función es holomorfa.
Teorema 2.4.8 (Teorema de Morera) Sea f continua en una región A,
supóngase también que I-r ¡ = o para toda curva cerrada e 1 por tramos ,
en A, entonces f es holomorfa en A, y además tiene una primitiva, es
decir, f = g 1 , donde g es una función holomorfa en A.
DEMOSTRACIÓN. Recordamos que en la prueba del teorema de la primitiva,
la condición I-r f = O equivale a la posibilidad de definir, fijando u E A, una
función g: A --+ C holomorfa tal que
EJERCICIOS 2...1
l. Demuestre que un polinomio de grado mayor o igual a 1 no es constante.
2. Exhiba de manera explícita la homotopía descrita en la Figura 2.22.
r c<:'-•l+cos(2o+i) d-
3. Calcule la integral J ¡o-!1=' o-l -·
.
-l. ealcule la mtegral
r
J izl=l
e <•- 2 ) +scn(2 z+ 1)
z dz.
5. Sea f una función entera. tal que Re f(z) > O 'v' z, pruebe que dicha
función es constante.
6. Pruebe formalmente que el índice de la curYa 1 con respecto al origen es
-2. donde 1(s) = i + 2 e-i•. 1 : [0. -l 7i']--+ C.
7. Demuestre que la función g(z) = l¡w-J•I=S (l~1z'l .. dw es holomorfa en el
complemento del círculo {w 11w - 3 il = 5}. Calcule su derivada.
e
8. Sea 1 una curva simple cerrada 1 por tramos y f una fu nción que es
holomorfa en una región que contiene a 1nt(t). Supóngase también que la
función se anula en la cur\'a. pruebe que la función f se anu la también en
el interior de la CUITa.
9. Sea f una función entera. tal que lf(z)l :::; .\JI zl ", si 1=1 > R, pruebe
que dicha función es un polinomio de grado menor o igual a n.
124 2.5. PRINCIPIO DEL MÁXIMO, LEMA DE SCHWARZ Y FUNCIONES ARMÓNICAS
f(zo) = 1
7r
1211' f(zo +re iO) d8.
2 0
1 f( )
f(zo) = - .¡_z_ dz y f(zo) = -
2 1r~ -yz-zo
1
21r~
·10
211' f(
zo +.:e
re'
iO)
irei 0 d8.
o
El siguiente resultado muestra que una función holomorfa no puede tener
máximos locales.
DEMOSTRACIÓN. Sea
f(z)
¡
si z '#O,
g(z) = z
f'(O) si z =O,
lg(z)l ~
1
-, es decir,
r
lf(z)l ~ 1:1.
r
Fijando z, y tomando el límite cuando r--. 1, en ambas desigualdades, se
tiene que en ~' lf(z)l ~ lzl y lg(z)l ~ 1, en particular lf'(O)I = lg(O)I ~ l.
Finalmente, si para algún punto zo i: O se cumple que lf(zo)l = lzol,
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 lf(zo)l = lzol, se
sigue que lkl = l. O
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 C00 • El recíproco, que es consecuencia del teorema
de la primitiva, también es cierto.
= y
de donde
8g¡ + 8g2 = o,
8y 8x
2
ya que u es de clase C • Al cumplirse las ecuaciones de Cauchy-Riemann se
concluye que la función g es holomorfa.
Usando ahora el teorema de la primitiva, existe f: A --+ e holomorfa, tal
que en la región A se tiene f' = g. Escribiendo, f = f 1 + if2 , se sigue
f' = a f¡ - i a¡l = g = au - i a u
ax 8y ax 8y'
por lo que f 1 = u + k para alguna constante k E lR, y u = Re (f - k).
Nótese que se ha probado también que cualquier función armónica es de clase
e00
' al ser la parte real de una función holomorfa. o
Obsérvese que el resultado también es válido si se sustituye Re f por
lmf, ya que Im(if) =Re f.
\7u(x,y)
en la intersección
'Vu · 'Vv O,
que es lo mismo que
O.
Figura 2.25: Curvas ele ni,·el de las funciones armónicas conjugadas determi-
nadas por ;; -. :: 2
y v(x,y ) = 2 .t.IJ,
f(zo) = 1
7r
/.211' f (zo + rei 8 ) dO,
2 0
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 E A, i. e., existe r, tal que u(z 0 ) ~ u(z),
Vz E D(z 0 , r), entonces u es constante en dicho disco.
z
A este punto lo denotamos por z. Claramente, este punto es el inverso, ya
que lziiZI = t 2 , véase la Figura 2.26. Obsérvese que z E Int('Yt) si y sólo
z
si E Ext('Yt). Por lo tanto 'V z E Jnt('Yt), se tiene
_1_1
2 7rZ.
f (w) d
'Yt W- Z
- w
= O·
'
f(z) ~ ~
2 7r z
1 'Yt
f(w) ( --
w- z
1
- ~)
w- z
dw.
134 2.5. PRINCIPIO DEL MÁXIMO, LEMA DE SCHWARZ Y FUNCIONES ARMÓNICAS
lwl 2 - wz + wz - lzl 2
w lw- zl2
Obteniéndose
f(z) = 1
27ri
r
I.,e wlw-zl
22
f(w) (lwl -lzl ) d
w.
2
(2.9)
Al tomar las partes reales de esta última expresión, casi se obtiene la fórmula
de Poisson
(2.10)
El problema es que se necesita sustituir el círculo "Y t por la frontera del disco
D(O, r), para ello se usa un argumento de continuidad uniforme.
Manteniendo p y <p fijos, la fórmula se cumple 'V t, tal que p < t < r.
También, u es continua en D (0, r) y el denominador del integrando no se
anula (si t > p), ya que es mayor o igual a
es continua en el compacto
1
-2
/.21T 9n(fJ) df) 1---+ -
1 /.21T 9r(fJ) dfJ.
7r o 2 7r o
Esto se sigue del resultado equivalente al Teorema 3.1.13 para funciones reales
de variable real. La pruebas de ambos resultados (caso real y caso complejo)
son casi idénticas. Alternativamente, una prueba para el caso real se puede
consultar ~n (16) p. 162.
Finalmente, como todas las integrales de la sucesión son la misma, a saber
u (pe i cp) , se sigue la fórmula de Poisson. O
La fórmula de Poisson resuelve el problema de Dirichlet en el disco abierto
D(O, r), esto es, dada u 0 : {lzl = r} --+ lR continua, la solución se obtiene
al definir
. = r2- p2 /.21T
u(pe''P)
uo(reiO)
dfJ,
27r r 0
2 - 2r p cos(fJ- cp) + p 2
si p < r y u (r ei<P) = u 0 (r ei'P). Resulta que u es continua en D(O, r), y
es armónica en D(O, r). La prueba de la continuidad no es simple, ésta se
puede derivar de [1] pp. 167-168. Sin embargo, podemos probar ahora que la
solución es armónica en el interior del disco, para esto necesitamos primero
un lema.
Lema 2.5.13 La fórmula de Poisson se puede reescribir como
u(z) = -
1 2
{ 1T Re
2 1r } 0
(ww-+ zz) u 0 (w) dfJ,
donde w = rei 6 •
136 2.5. PRINCIPIO DEL MÁXIMO, LEMA DE SCHWARZ Y FUNCIONES ARMÓNICAS
u (z) = -
1
2 7r
1o (lwllw- zllzl
2
7r
2
-
2
2
)
u 0 (w) dO.
~ [lwl
2
- wz + wz -lzl 2 wz -lzl 2 + lwl 2 - zwl
+
2 lw- zl 2 lw-zl 2
z z
w-z + w-z +- w -]
w-z
w+z] =Re (w+z).
w-z w-z
o
Volviendo a la solución del problema de Dirichlet para el disco, escribiendo
= z, se sigue del lema que
pe i cp
2
1
u (z) = - { 7r Re (w + z) u o (w) d(J
2 1r } 0 w- z
1
Re [ 2 " t• (: ~:) uo (w) do]
Re [~ { (w + z) u0 (w) dw].
27r'l Jlwl=r W- Z W
Finalmente, la función
EJERCICIOS 2.5
l. Encuentre el valor máximo de la función z --+ 1 sen z 1 en [O, 1) x [-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+iy) = 14xy+2y.
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] x [0, 1], y diga en qué punto (o puntos) se alcanzan
estos valores.
5. Sea f una función holomorfa en ~ = {z llzl < 1}, tal que lf(z)l ~ 3
para toda z, demuestre que esta función es constante.
6. Sea A una región acotada y J, 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) = x3 - 3 x y 2 es armónica en el plano
complejo.
8. Pruebe que no existe una función holomorfa f: ~--+ ~' tal que f(O) =O
y f(z) = i, para alguna z E~.
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 zo E A al origen y f'(z 0 ) >O, entonces
f es única. Demuestre esta última afirmación.
CAPÍTULO 3
Series y aplicaciones
Se escribirá L a = s, k o simplemente La k = s.
k=l
Se mencionó también que el límite de una sucesión es único y que una
sucesión es convergente si y sólo si es de Cauchy. En el caso de las series, esto
se traduce en el importante criterio de convergencia que ·sigue.
Proposición 3.1.1 (Criterio de Cauchy) La serie E: a
1 k converge si
y sólo si V€ >O 3N, tal que sin;::: N, se tiene
I: akl <
1k:::n+l
€ Vp=1,2,3, ....
139
140 3.1. FUNDAMENTOS Y TEOREMA DE WEIERSTRASS
1
1- r'
DEMOSTRACIÓN. Escribiendo
sn = 1 + r + · · · + r n, se sigue que r s n
1
Sn~----+ 1-r·
Por otra parte, si lrl > 1, entonces lrn+ 1 1--+ oo, y la serie diverge. Si r = 1,
s n = n + 1 --+ oo, y la serie también diverge. Finalmente, si r = -1, s n = O
si n es impar y sn = 1 si n es par, por lo que la serie no converge.
D
1 2:: 1
1 1
>
2 2
1 1 1 1 1
-+-
3 4
2:: -+-
4 4 2
1 1 1 1 1 1 1 1 1
-+-+-+-
5 6 7 8
2:: -+-+-+-
8 8 8 8
-
2
1
2'
142 3.1. FUNDAMENTOS Y TEOREMA DE WEIERSTRASS
1 (1 1) (1 1 1 1)
82 k- 1 = 1P + 2P + 3P + 4P + 5P + 6P + 7P
La última desigualdad se sigue ya que ( 1/2) P- 1 = e (Iog!) (p- 1> < l. Por lo
tanto las sumas parciales de 2::~= 1 nP están acotadas superiormente. En
consecuencia, 2::~= 1 nP converge. O
Nótese que si 2::~ 1 a k es una serie de números positivos decreciente,
es decir, an+l ::; an 'íln, y si 2::; 1 2j a 2 ; converge, entonces 2::: 1 ak
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:
a1 ::; a 1,
a2 + a3 < 2a2,
a4 +as+ a6 + a7 ::; 2 2 a 4, etcétera.
Proposición 3.1.7 (Prueba de la razón para series reales) Supóngase
que
lím 1an+11
n--+ooan
existe y es menor que 1, entonces 2::: 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
r= , m--.
11
an
n--+oo
1an+ll
Si r < 1, tomando r 1 tal que r < r < 1, existe N E N, tal que si n ;::::: N
1
Esto implica que la 1\'+pl < la 1\·l (r 1 )1' . y por comparac10n 2:;, 1 la N-pi con-
verge, es decir, ¿:;:
1 a k cmwerge absolu tamente.
Si r > 1, sea r 1 tal que T > r 1 > l. de nuevo existe ¡\ · E N . tal que si
n > ¡\ '
an+1' > ,. 1
a,
y iaN+pl > laNI (r
) " , por lo que laN+pl no converge a O
1
, cuando p--+ oo,
y por consiguiente, 1 a¡,. cliverge.
' ¿:;:
Finalmente, las series ¿:;:
1 a k. a¡,. = l. V k E N, y 2:;:"= 1 n- ', p > 1,
1
a,.+1
l'un -
an
n-c:x::
- 1 y lím
n-oo
1
(n + 1 )~'
1
n~'
lím
11-oc
( -11-
n +1 r l.
o
Proposició n 3 .1.8 (Prueba d e la r aíz para series reales) Supóngase
que
lím
n-oo
V'laJ
e.?:isle y es igual a r. Entonces, si r < 1 la se1'ie ¿:;: 1 a k converge abso-
lutamente. si ¡· > 1 la serie divery¡e y si el límite es 1 ambas cosas pueden
suceder·.
l
'
l 1111 { f-l ·
n
= l 1111
' l,
l
e ( ~)
11-00 n-oo
n" n
144 3.1. FUNDAMENTOS Y TEOREMA DE WEIERSTRASS
,
1lm
n-+oo
{f.1
- = 1'lm
n2 n-+oo e ( ñ
1
1 {logn2) )
lím
n-+oo
1
= l.
D
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.
y fn --. f uniformemente en A. O
146 3:1. FUNDAMENTOS Y TEOREMA DE WEIERSTRASS
También, como f N es continua en zo existe 8 >O, tal que si lz- zol < 8,
entonces
lf N(z) - f N(zo)l < €/3,
Por consiguiente, si 1z - z o1 < 8,
o
Probablemente el criterio más útil para detectar convergencia uniforme
es el que establece el siguiente resultado.
i} lf n(z)l ~ M n 'V Z E A,
00
n~p Tl+p
..
Escribiendo f
Deuotando r" = ¡\1 ,., se sigue la a firmación, ya que :l:;;"=1 i\1 k es una serie
geométrica convergente.
Es interesante obsetTar que esta función f( .:) . en contraste, no con\'erge
uuiformemente en ~ = {.:E C 11=1 < 1}. Si así fuera, la serie :l:;:'= 1 xn"
convergería uni fo rmemente en [0. 1). Esto sign ifica que pa ra toda ~ > O
existe .V E N. tal que si n ~ 1Y. se t iene
1 1
-+ .. ·+ - -. > 2c.
N N+p
148 3.1. F UNDA~I ENTOS Y TEOREMA DE \ 'VEIERSTH.ASS
También exist e x E [0, 1), tal que xN+p > ~ (esto se sigue de la cont inuidad
de la fun ción x--+ .1:"' y el teorema del valor inter med io rea l). Juntando esta
información se obtiene
XN :rN+Il N+ ( 1 1 )
N+ ··· + .\"+p > :r " ¡\'+ ··· + A+p > f
t1111a IP"it'lll . 1 dt· ::' ctHJ\'t'l""t' ;¡ 1111;1 f¡¡¡wit'lll f IIIIÍfonnt'I JH'IIIt' t'll di~c·os CC'rra-
do:-- de· . 1 ,¡ ~úl11 s i co11,. ·rg · llllj(onncllll'II Lc• t'll coll!p;w l o~ dP . 1 \ <'jí"rrtrio).
Bajo 1':-il a,; hipt'nesi::. .-.e d ice qu • l<.l sLICCSión con,·m:gc.;- numw.lnu n/1 C'll A. El
sig uiente teorema es uno de los resultados más importantes de la variable
compleja.
Teo rema :3.1. l2 ( \Ycje r strass) Sta 1 tuw n !JÍ ' 1 1 oJC..
·) = sen(nx)
f n (X .jñ , se t iene que f (x) = lím J,.(x) = O,
n-oo
y fn' (O)= .¡ñ no converge a f'(O) =O. Para probar el teorema de Weier-
strass se necesita un resultado adicional que establece un principio funda-
mental: bajo la hipótesis de convergencia uniforme, se pueden intercambiar
los signos de límite e integral. ·
así que
teorema de Cauchy que ·[1 fn = O, para cualquier curva cerrada 'Y de clase
e 1 por tramos en D(zo . r), y 'r:/ n E N. Ahora, como ¡ ,. -> .f unifonllelllenLe
en ¡, se sigue del Teorema 3.1. 13 que j~ f = O. Siendo esto cierto para
cualquier curva con estas especificaciones, el teorema ele I\1forera im plica que
f es holomorfa en D(z 0 , r).
------ ....
/ "" ''
\
/ 1
1
'
1
1
1
\
1
1 '\1
1
\ 1
A
\ 1
'' 1
' -----, 1
Falta demostrru· que j,.' -> f' uniformemente en discos cerrados. Hay que
probar que dados f.> O y D(z 0 . r) e A . rxisLe .\"E N tal que si n >N.
Usando el Lema 2.3.11 se puede encont rar t > r. tal que D(.: 0 . 1) e A. Si
se denota por ¡ la frontera del disco D(::o, t), usando la fórmula integral de
Cauchy se t iene
J,.(w)- f (w)
J,.'(z) - f '(::)
1
2 7ii 1
' (w
_ ~) 2
~
dw 'r:/z E D(z 0 . r) . (3.2)
Por consiguiente; se sigue de (3.2) que para toda z E D(z 0 , r), si n >N, se
tiene
1 ¡.t ¡.t t
lfn'(z)- J'(z)l ~ 27T (t- r)2 27Tt = (t- r)2'
Finalmente, escribiendo
¡.tt
€ =
(t- r) 2 '
y despejando ¡.t se sigue el resultado. o
Obsérvese que aplicando el teorema de Weierstrass repetidas veces se ob-
tiene que fnk ~ Jk uniformemente en discos cerrados. Nótese que el teorema
de Weierstrass no supone convergencia uniforme en la región A. Por ejemplo,
la serie E~= 1 zn/n converge en !:l., pero no uniformemente; sin embargo,
como converge uniformemente en D(O, r), r < 1, converge uniformemente en
cualquier disco cerrado de !:l., por lo cual se aplica el teorema de Weierstrass
y E~= 1 zn jn es holomorfa en /:l.. Además su derivada es E~=l zn-1, la
cual converge uniformemente en discos cerrados de /:l..
En algunos casos, el teorema de Weierstrass permite detectar si una serie
de funciones representa una función holomorfa, por ejemplo, la función
L :3
oo n
f(z) =
n=1
oo n-1 00 n-1
f'(z) = ~ ~ = ~ _z- .
L...J n3 L...J n2
n=l n=1
((z) = L n-z,
n=1
152 3.1. F' UNDA~IENTOS Y TEOREMA DE \V EIERSTRASS
11
EJERCICIOS 3.1
l. Sean fn : [0, 1] ~IR, n E N, las funciones dadas por fn(x) = x", 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
Esta propiedad es otra instancia donde el cálculo real es distinto del com-
plejo. Por ejemplo, la función
f(x) = { ~-x-' ::
X f; 0,
X= 0,
3. SERIES Y A PLICACIONES 155
L an (.::- zo) n
n= O
M,= M (
~) ,
L an (z- zo)n
n=O
es holomorfa en el interior del círculo de convergencia.
3. SERIES Y APLICACIONES 157
, - lanl
i) Si 11m · o es oo, entonces dicho l'zmite es R .
- - enste,
n-+oo 1an+l 1
si p ::f O, oo,
ii) Si lím y!ja"J existe, o es oo, entonces R si p = oo,
n-+oo
si p =O,
donde p = lím y!ja"J
- n-+oo
DEMOSTRACIÓN. Como se vio en la demostración del Teorema 3.2.2, el radio
de convergencia está dado por
y por lo tanto la serie E~==O lanl r" converge. En cambio, si L < r, dicho
límite es mayor a 1 y la serie E~==O la ni r" diverge. Para el caso L = oo se
tiene que Vr
n+l
lím 1an+l 1r = o, (3.3)
n-+oo lanl rn
y la serie converge en todo el plano. En contraste, si L = O para cualquier
valor r, el límite en (3.3) es oo. Por lo tanto, R, el radio de convergencia,
es L en todos los casos.
Para probar ii) consideramos primero el caso pE (0, oo). Se tiene que la
serie E~==O 1a n 1 r n converge o diverge, conforme a que
,
11111 la,l =
- --
1un
' ( n + 1) = oc.
H-00
1Q H+l 1 71-00
1- al
1111
n-oo
-
n"
' 1 -l =
= 1111
n-oo n
o.
por lo que el radio de convergencia es oo, y la serie n'prescnla una fu nción
entera.
Se probó que una serie de potencias es una fu nción holomorfa en el disco
de convergencia. El resultado recíproco también se culllple, es decir, cualquier
función holomorfa es representable locahncnte por un a serie de potencias, por
lo que ambas propiedades son equiva lentes.
160 3.2. TEOREMA DE TAYLOR
f(z) = f: ¡n(~o)
n=O n.
(z- zo)n.
ez = L;
oo
n=O n.
n
VzEe.
Cauchy para convergencia uniforme se sigue que dada € > O 3 N, tal que si
n >N, se tiene
f(z) =
27ri
1 1'Y
f(w) dw.
w-z
1 1 1 1
( 1-~)
w-z w- zo- (z- zo) (w- zo)
W-Zo
1
L ( ~)n
00
= w-zo
n=O
w-zo
Usando el Lema 3.2.7, se observa que para z fijo esta serie converge uniforme-
mente en ')', ya que al variar w, los valores ~=:~ están todos en un círculo
concéntrico al origen de radio menor a 1, véase la Figura 3.5.
Ahora, la función w--+ ~~~~, w E')', 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) f(w)
w-zo w-z
162 3.2. TEORE~IA DE TAYLOH
r
},
f(w) dw
'W- z
= r (~
} .,L.,
J(w) (z- zo)" ) dw
(w-zo)"+J
"Y n=O
l
=~~ "Y
00
f(w ) (z- zo)"
(w- zo) n+L
dw .
j(z) = -?1 .
~ 7r1
r wj(w)
}, - z
dw
00
(z - zo)"
2 7r i
1 1 .:. w_,..)
-:---~ . . ( ---:-:- dw
,. (w- zo) n +L
n=O
= f
n=O
(z- zo)" ¡n(~o) .
n.
1 '\
1 1
\ 1
1
A
\
/
/
' ----- ""'
Obsérvese que se sigue del teorema de Taylor y del Teorema 3.2.3 que si
A es una. región en e y f: A --> e es una función. entonces f es analítica
en A sir sólo si V zo E A se tiene que si D(zo . r) e A, entonces JID(zo , r)
es representable como una serie de potencias. :\ótese que esta a firmación es
3. SERIES Y APLICACIONES 163
oo ( 1) 1 ( 1) n-1 oo n
log(1 + z) = "' n- · - Z 11 = "'(-l)n-l ~.
~ n! ~ n
n=O n=O
Por último, si z = -1, la serie está dada por - L::=o ~' la cual diverge, y
por consiguiente el radio de convergencia es exactamente l.
Terminamos esta sección mostrando que la series de potencias se pueden
multiplicar de manera similar a los polinomios. Específicamente, si f y g
son funciones analíticas en D(z 0 , r) y
00
(f g) n-1 (z) = r; 1)
n-1 (
n~ ¡k (z) 9 n-1-k (z),
n-1
{;;
(
n ~ 1) ¡k+t (z) g•-•-• (z) + {;
n-1 (
n ~ 1) ¡• (z) g•-• (z)
= t. (~ =D ¡• (z) g•-• (z) + ~ (n ~ 1
) ¡• (z) g•-• (z)
(f g)nl(zo) = ~
n. n. k=O k
t (n)
fk (zo) gn-k (zo)
1
3ez
_ z = 3 {1 + z + z 2 + z 3 + · · ·) (
1+z+
z
2
! + 3z ! + · · ·)
10. Encuentre los primeros tres términos de las series de Taylor de las fun-
ciones: z ~ (cos z) e 2 z alrededor de 1r /2, y z ~ tan z alrededor del origen.
Sugerencia: usar (3.5).
11. Sea A una región en e, f: A~ e 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 E A, el disco de
convergencia de la serie de Taylor definida por J, 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) -J alrededor del origen.
{Z E e r¡
1 < lz- Zol},
donde r 1 = lz 1 - z0 1. Más aún, converge uniformemente en los conjuntos
/
... ------- ....
/
/ ''
1
/ ' ' \
1 \
1 \
1 \
1 1
1 \
1 1
1 1
1 1
1
1
1
1
1
• IZo+ 1'2
1
1 1
1 1
\ 1
\ 1
\ /
\ /
'' /
/
-------
Figura 3.6: Prueba del teorema de Cauchy para el an illo
{Z EC 1 T $ lz - Zol } .
Esto se sigue de la prueba tvl de Weierstrass, ya que
bn 1 <
(z- zo)" -
l!:.:J
7'"
= l!:.:J
Tí' T"
Tj' < M
-
(77·.' )"
1
D
O tro ingrediente necesario para probar el teorema de Laurent es una
fórmula similar a la integra l de Cauchy, la cual se cumple en una región anu-
lar. Este resultado permite expresar la función en términos de dos integr ales
que, como se verá posteriormente, una representa una función holomorfa
hacia adentTO del anillo, y la otra, una función holomorfa hacia afuera del
anillo.
168 3.3. SERIES DE LAURENT, SINGULARIDADES AISLADAS
g(w)
.¡
DEMOSTRACIÓN. Dada z fija en el anillo determinado por ')' 1 y ')' 2 (véase
=
f(w)- f(z)
w-z
si w =1= z,
f'(z) si w = z.
Puesto que g es analítica en A - { z} y continua en A, g es holomorfa en
A (en virtud del Corolario 2.4.9). Ahora, como ')' 1 es homotópica a ')' 2 en
A, se sigue que
g(w) dw - 1 g(w) dw = O,
1 'Y2 'Yl
esto es,
f(z) = ~
oo
an (z- zo)n + ·?; (z _bnzo)n'
oo
(3.7)
,. ,.
------ ... ...
/ '
/
/ ''
/ '
/
/ ' '\
/ \
1 \
1 1
1
~
,,
1
1 A
1
1
1
1
1 1
1 As'
s,
\ 1
\ 1
\ /
'' /
/
'' /
/
'' /
/
' /
-------
Figura 3.7: Prueba del teorema de Laurent
1
w-z
y
f (w) oo (z- zo)"
~ f(w )
w-z L....., (w- zo)"+t
n=O
uniformemente en -y 2 . Por consiguiente
170 3.3. SERIES DE LAURENT, SINGULARIDADES AISLADAS
Escribiendo
1 f(w)
se obtiene
an
27ri L (w- zo)n+l
dw,
00
1
27ri L f(w) dw
w-z
n=O
an (z- zo)n.
= L:(3.8)
Como la serie converge 'r/ z E Int1 2 , se sigue del lema de Abel que también
converge en forma absoluta y uniforme en A:~, ya que este anillo está con-
tenido en el disco D(z 0 , t2).
Por otra parte, si z es un punto fijo en el exterior de 'Y 1 y w E 'Y 1 ,
entonces
-1 1 1 1
w-z z- zo- (w- zo) = (z- zo) _ w- zo)
(1 z- zo
= 1 ~ (w-zo)n ~ (w-zo)n
Z- Zo L.,¡ Z- Zo = (z- Zo) n+ 1.
L.,¡
n=O n=O
Nótese que en esta última serie la convergencia es uniforme en /¡, y por
consiguiente se puede integrar la serie término a término, obteniéndose
-1
2 7r i
J. f(w) dw
"Y 1 W - Z
= ~J.
2 7r Z "Y 1
(f: n=
0
(w- zo)n f(w)) .dw
(Z - Z o) n+l
=~J.
27rz "Y1
(f: (w- zo)n-1 f(w)) dw
n=1 (z- zo)n
bn =2
1
.
7r z
J."Y1
f(w)(w- zo) n- 1 dw,
3. SERI ES Y APLICACIO!\ES 171
se tiene que
-11
21Tt -y,
J(w) dw
w-z
= f.
rt=l
bn
(z-zo)".
(3.9)
Esta últ ima serie converge V z E Ext¡ 1 , por lo que se sigue del Lema 3.3.1
que la convergencia es uniforme y absoluta en conjuntos de la forma
J(;;) =; a" 00
(z-zo)"
00
+ ~ (z-zo)"'
b,
a, = - 1 .
2 1T t
1
1'
(
w
J(w)) n+l dW
__
""0
Y bn = - 1 .
2 1T 2
1
1'
J(W )(W- Zo )"-' dw,
f(z) oo oo bu
""' a u (;;-=o) n-(k+l )
L.t
+ ""'
L.t (z- zo)"+k+J ·
n=O n=l
172 3.3. SERIES DE LAURENT, SINGULARIDADES AISLADAS
f(z)
1 'Y ( z _ z ) k+l dz = 2 1r i a k.
0
1( f(z~•
'Y z- zo + 1
dz = 27rib_.,
donde
1
-27ri
1'Y
f(w)
(w- Zo ) n+l dw.
f(z) = (1 ~ z) c 2)'
recordamos que la serie geométrica compleja está dada por E~== o zn y que
que converge en !:l.. Por lo cual, podemos multiplicar esta serie por 1/z 2
puntualmente en el disco (salvo el origen), y obtener (por unicidad) que la
serie de Laurent está dada por
1 1
f(z) = -z 2 + -z + 1 + z + · · · .
Como un segundo ejemplo (menos trivial) consideramos la función
1
f(z) = - -
z2 + 1
3. SERIES Y APLICACIONES 173
1 1 -i i
z2 + 1 = (z- i) (z + i) = 2(+- i) + 2(z + i)"
z_;;")n ,
00
1 1 1
z+i (-i)- z =
-2i ( 1 - z-i)
--.
1
-2i L
n=O
(
-2z
1
z2 + 1 = ~z( ") 1
(z - i) + 4~ ~
1
00
( ")n (z - i) n
w=-i
1 1
Figura 3.8: Truco de Taylor: w_:z = w-zo_!<z-zo) (w-zo) ( 1 -.!.=!J!..)
w-zo
i) bk ~ o y bt = o 'V e> k,
ii) bk ~ O para un número infinito de k' s,
iii) bk =o 'Vk.
i f(::) dz 21iib¡.
Los siguientes cuat ro resul tados establecen criterios pa ra distinguir los di-
versos tipos de singularidades. Éstos se atribuyen principalmente a Riemann.
1
lw-zol=c5
f(w) (w- zo)k-l dw,
Por consiguiente
o
Proposición 3.3. 7 Sea A una región, z 0 E A y f: A - { z 0 } ~ e analítica,
entonces las siguientes afirmaciones son equivalentes.
f(z) = 5 senz
z
tiene en el origen una singularidad removible, ya que
- -z) = 1
11m, z (5-sen , 5 sen z =
1m O.
z-0 z z--+0
= ~ (z _ + ~ _ ...
3 5 2
5 sen z z +z _ ••• ) = 5 _ 5z
z z 3! 5! 3! 4! .
h( z ) g (z )
= (z- z 0 ) k h(z)
f(z)
f(z) = co~z,
z
entonces f tiene un polo de orden 3 en el origen. Esto se tiene, ya que z 3
tiene en ese punto un cero de orden 3 y cos O = l. Otra manera de probar
este hecho es mediante la serie de Laurent
_!_ + ~ - ...
2 4
cos z = _.!.._ (1 - z +z - ... ) = _.!.._ -
z3 z3 2! 4! z3 2z 4! ·
g(z) = g' (zo) (z- zo) + g ";~o) (z- zo) 2 + · · · = (z- zo) 1/J(z),
lím
z-+zo
1 f(z) 1 = oo. (3.12)
Ahora la función
1
g(z) = f(z) - w
es holomorfa en V- {z 0 }, y como lg(z)l < 1/f 'V z E 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;:::: O, de g. El cero es de orden finito, ya que de otra manera se tendría
g(z) =O 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 o},
1 1
g(z) = f(z) - w y f(z) = g(z) + w,
lo que implica que f tiene un polo de orden k en z 0 , o es holomorfa en z 0 •
Estas afirmaciones contradicen las hipótesis y por ende se sigue el teorema.
o
Es útil recordar la geometría de la función exponencial para entender
de manera intuitiva la fuerza de estos teoremas. Para esto considérese el
comportamiento de la función z ~ e1fz cerca del origen. Terminamos esta
sección con un último ejemplo. Se quiere analizar el comportamiento de la
función
z3
f(z) = (ez -1)3
en una vecindad del origen. Para esto se estudia primero la función dada
por g(z) = ez; 1 , esta última tiene una singularidad removible en el origen,
una manera de probarlo es tomar la expansión de Laurent. Más aún, como
3. SERIES Y APLICACIONES 183
EJERCICIOS 3.3
l. Demuestre que se pueden debilitar las hipótesis del lema dual de Abel,
suponiendo solamente que la sucesión lbnl jr¡, n E N, está acotada.
2. Encuentre el residuo de la función e.t-I-z en el origen.
z4
Teorema 3.4.1 (Teorema del residuo) Sea A una región en e que con-
tiene a los puntos Z¡, Z2, ... ' Zm y f: A- {z¡, Z2, ... 'Zm} ---+e una fun-
ción analítica. Supóngase también que 'Y es una curva cerrada de clase C 1
por tramos en A- {z 1, z 2, ... , zm}, que es homotópica a un punto en A,
entonces
¡ 'Y
f = 2rri t
j=l
Res(!, z;) !("!, z;),
Ahora, la función
m
Para calcular J'i' S j' nótese que S j es de la forma 2: ~=1 (z_!Znj) n ' la cual
converge uniformemente en el exterior de cualquier círculo alrededor de z i.
En particular, la convergencia es uniforme en 1 y se puede integrar término
a término, por lo que
¡sj 1
=
00
2:
n=l
¡
'i'
bn
(z-zj}n
dz.
o
Recordamos de los cursos de cálculo algunos hechos sobre integráles im-
propias, antes de proceder a las aplicaciones al cálculo de integrales reales.
186 3.4. TEOREMA DEL RESIDUO, APLICACIONES
Si denotamos el límite por L, esta definición dice que dada f > O existen
N 11 N2 E N, tal que si x 1 <-N¡ y x2 > N2, entonces
Nótese que si foco f(x) dx y f~co f(x) dx están bien definidas, entonces
también lo está lím f_O: f(x) dx. Esto se sigue, ya que dada f > O existen
N 1 , N 2 E N, tal que si x 1 < -N 1 y x 2 > N 2, se tiene
donde
Por lo cual
1: f(x)dx y L2 = J."" f(x) dx.
1[' j(x)dx - (L, + L•)l < •·
Es útil recordar el criterio de comparación para funciones no negativas:
si O ~ h(x) ~ g(x) y foco g(x) dx está bien definida, entonces foco h(x) dx
también lo está, dado que la función H(t) = J0t h(x) dx es creciente y aco-
tada. .
Usaremos el siguiente hecho: si la integral foco lf(x)l dx está bien defini-
da, entonces también lo está la integral f0 f(x) dx. Esto se sigue por com-
00
lím
r~oo
¡r
-r
f(x) dx = O,
sin emba rgo, es claro que f_':, x dx no está bien definida en el sentido de
la Definición 39. Int uitivamente, pa ra que la inLegral im propia J_':, f( x) dx
esté bien defin ida es necesario que las áreas que determina la función al
converger a ± oo 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 O conforme x --+ ± oo
k
lf(z )1 ::S lzl 2 si lzl ~ R, R. k E JR+. (3.13)
DEMOSTRACIÓN. Sea 'Y r como en la Figura 3.10, donde r > R se toma su-
ficientemente grande para que todas las singularidades de f en el semiplano
superior estén en el interior de 'Yr· Por el teorema del residuo
Además
Lf = Lf(x)dx+ Lf(z)dz, (3.15)
JR )R x R X¡ R
cuando x 1 --+ oo. Por lo que J0 f(x) dx está bien definida, análogamente
00
Finalmente,
}~ 1Tr
f(z) dz O,
puesto que
Corolario 3.4.3 Las hipótesis del Teorema 3.4.2 se cumplen si j(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:: 2 + grado (p(z)] y q(z) no tiene ceros en el eje real.
lp(z)l ::; k1 lzl n si lzl > 1, Y lq(z)l 2:: k2lzl m si lzl > R.
También
190 3.4. TEOREMA DEL RESIDUO, APLICACIONES
por lo que
y
lq(z)l ~ lbm zml - lbm-1 Zm- 1 1 -1bol·
.. · -
1
lq(z)l > lzlm- Übmllzl - lbm-11 - · · · - l;t:~1)
1
~ lzl m- {lbmllzl - B) ·
D
Para ilustrar una aplicación del Teorema 3.4.2 y del Corolario 3.4.3 eva-
luamos 00
1
- --dx.
/_
_ X 6 +1
00
P or consiguiente
¡ 00
-oo xG
1
--dx
+1 .
7ii ( - 1
3
. - a+ a )
a{3 = i
f (z) =
iz
Supóngase también que f no tiene polos en el círculo 1mitario. entonces
rh R (cos B, sen B) dB
Jo = 27ii L Res(!, z) .
:E Ll.
192 3.4. TEOREMA DEL RESIDUO, APLICACIONES
¡f = 27ri L Res(f,z).
"Y ze.ó.
11 ~ 1. 1 2
• (e' 0 ) ie' 0 d6
!.
0
21T
D
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 1T de
!.
0
---,
b+cose
b> l.
-2i -2i
z 2 +2bz+1
donde
a¡, a2 -- -2b± J4b - 4 -- - b± yo~- ~211.
2
2
Por lo cual, la función f tiene dos polos simples en a 1 y a 2 , el primero
está en .ó., ya que Jb 2 - 1 < 1 + b, y claramente el otro ( a 2 ) está en el
exterior de .ó.. Ahora,
-2i -i
Res (f, a¡) = lím f(z) (z- a 1 )
Z-+ct¡ Jb2=1"
3. SERIES Y APLICACIONES 193
Por consiguiente
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
Proposición 3.4.5 Sea f: IR~ IR, tal que J_:O f(x) dx está bien defini-
f {x) dx y J~oo f {x) dx.
00
da, entonces también lo están fo
donde L = J_:, f(x)dx. Por lo cual, si Xn, Xm > N2, digamos Xn < Xm,
se tiene
Por consiguiente, se sigue la afirmación, esto es, g(xn) es una sucesión con-
vergente, digamos a un real m.
Ahora, si Yn, n E N, es otra sucesión real tal que Yn ~ oo, cuando
n ~ oo. Se tiene por el mismo argumento que g(yn) converge a un número
real m 1 , y necesariamente m 1 = m, puesto que el razonamiento anterior
implica que si s y t son suficientemente grandes, entonces fst f(x) dx es
tan pequeña como se quiera (s < t). Por lo cual, J0 f(x) dx está bien
00
¡: eiax f(x) dx
iii) las singularidades de eiaz f(z) que son puntos de IHI 2 están contenidas
en el disco D(O, R).
Nótese que ii) se puede aplicar, dado que el límite de la función x--+ e2a~ es
O, cuando x --+ oo. Obsérvese también que las singularidades de eiaz 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.
y¡i
•
•
"Y
• ~~
•
• •
X¡
~ X2
1~
eíaz f {z) dz = 11 + 12 + 13 + /_ x
-X¡
e í ax f {X) dx,
196 3.4. TEOREMA DEL RESIDUO, APLICACION,
donde
Yl
/¡ =
1
o eia(x2+iy)f(x2+iy)idy,
X2
-
1
-X¡
eia(x+iyt) f (x + i Yt) dx y
Yl
/3 = - 1
o eia(-xt+iy) j(-X¡ + iy) idy.
Ahora
II2I :::; 1:: .-••• lf(x + iy,)l dx :::; i e-••• (x2 + x,)
D
Existe un teorema análogo para el caso a< O. Bajo las mismas hipótesis
se tiene que
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
DEMOSTRACIÓN. Como
Re
{X2
[1_x eiax f(x)dx
l =
1X2
-x Re [eiax f(x)] dx =
• {X2
1
_x cos(ax)f(x)dx,
1 1 1
Corolario 3.4.8 Sea f(z) = :~~~ una función racional, donde el polinomio
q(z) no se anula en los reales y se tiene que grado [q(z)] ;::: grado [p(z)] + 1,
entonces se cumplen las hipótesis del Teorema 3.4.6.
y R > 1, tales que si lzl > 1, se tiene jp(z)l :5 k1lzln, ysi lzl > R, entonces
jq(z)l ~ k2lzl m. Por lo cual
¡_: xeix
x2+m2
dx 27Ti (e~m) 1ri (e-m).
En particular,
00
x senx dx = 7r (e-m) y oo x cosx dx = O.
/_
-oo x2 +m2 /_
-oo x2 + m2
x 2 +m
Nótese que en virtud de la Proposición 3.4.5, como la función x --+ x sen~
es par, se tiene que
00
x senx dx = 1r (e-m)
o
/. x2 + m2 2
3. SERIES Y APLICACIONES 199
_ ¡-r u sen u du
lo u2 +m2 1°-r
u sen u d
u2 +m2 u,
por lo que
'\
lím
r-+oo l-r
r
x2
x senx dx
+ m2 = 2 lím
r-+oo !.
O
r x senx d
X2
x
+m 2 •
EJERCICIOS 3.4
l. Demuestre que el teorema del residuo implica el teorema de Cauchy y la
fórmula integral de Cauchy.
2. Calcule foo
-oo
x+l
x4 +1
dx .
201
202 GLOSARIO DE SIMBOLOGÍA
1:
lz-al=r
La k = ¿:,0 a k = a o + a 1 + a2 + a 3 + ...
k=O
Z: los números enteros. . \
Bibliografía
[2] B ARTLE, R. G . , The Elements of R eal Analysis, John W iley and Sons,
~ ew Yor k, 1967.
[3] BEA RDON, A . F .. The Geometry of Discrete Groups. Grad uatc Texts
in Mathema tics 91 , Springer-Ver lag . 1995.
[6] CONWAY, J. B .. H mctions of One Com plex Variable, Grad uate Tcxts
in i'vlathemat ics 11 , Spri nger-Ver lag, 1978.
203
,
204 BIBLIOGRAFÍA
205
r
Taylor
coeficientes de, 157
teorema ele, 160
truco de, 161
teorema
fundamental del álgebra, 122
fundamental del cálculo com-
plejo, 78
Triángulo, desigualdad del, 14
trigonométricas, integrales, 191
vVeierstrass
prueba M de, 146
teorema ele, 148
Curso básico de variable compleja,
editado por la Facultad de Ciencias de la
Universidad Nacional Autónoma de México,
se terminó de imprimir el 25 de marzo de 2011
en los talleres de Navegantes de la Comunicación Gráfica, S.A. de C.V.
Pascual Ortiz Rubio No. 40, San Simón licumac
Delegación Benito Juárez, C.P. 03660. México, D.F.