Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Variable Compleja - Jorge Yazlle PDF
Variable Compleja - Jorge Yazlle PDF
VARIABLE COMPLEJA
APUNTES DE CTEDRA
JULIO DE 2010
JORGE YAZLLE
PREFACIO
Jorge F. Yazlle
ndice general
NMEROS COMPLEJOS
Los nmeros reales, a pesar de sus excelentes propiedades, presentan algunas deficiencias,
como por ejemplo la inexistencia de soluciones de ecuaciones sencillas tales como x2 + 1 =
0. Los nmeros complejos surgieron como consecuencia de encontrar solucin a ecuaciones
algebraicas de este tipo, y, a partir de su aparicin, fueron objeto de estudio a los fines de
extender las nociones del clculo a un ambiente ms general. Es as como se fueron desarrollando
los conceptos de funciones de variable compleja, y sus operaciones de lmites, derivacin e
integracin. Pronto se advirti tambin la sencilla forma en que, mediante simples operaciones
algebraicas entre nmeros complejos, poda llevarse a cabo movimientos del plano tales como
rotaciones, traslaciones, simetras, etc., dando origen a nuevos campos de estudio y aplicaciones
de los nmeros complejos.
En este captulo estudiaremos la estructura algebraica y geomtrica de los nmeros comple-
jos. Veremos distintas formas de representarlos, y extenderemos a este mbito muchas de las
nociones que conocemos para nmeros reales.
3
4 1. NMEROS COMPLEJOS
y tambin
f (z1 z2 ) = f (a1 , 0)(a2 , 0) = f (a1 a2 , 0) = a1 a2
= f (a1 , 0) f (a2 , 0) = f (z1 ) f (z2 )
Entonces, CR y R son conjuntos indistinguibles desde el punto de vista algebraico, y, en este
sentido, podemos considerar a los reales como inmersos en el conjunto de los complejos. Este
isomorfismo permite identificar cada complejo real con el real correspondiente a su parte real,
siendo conveniente en la prctica escribir que (a, 0) = a; en particular, (0, 0) = 0 y (1, 0) = 1.
Resulta fcil verificar que para reales a, b, cualesquiera, se tiene que (a, b) = (a, b), y, en
particular, 0 (a, b) = 0.
1.2. Resta y divisin de complejos. Definimos a continuacin otras operaciones en C.
Definicin 1.3. Sean z1 y z2 nmeros complejos. La diferencia entre z1 y z2 , denotada
z1 z2 , es el complejo que resulta de hacer z1 + (z2 ). Si es z2 6= 0, el cociente entre z1 y z2 ,
denotado z1 /z2 , es el resultado de z1 z21 .
Ntese que z/0 no est definido, cualquiera sea z C.
Aplicando las frmulas de inversos y de las correspondientes operaciones, resulta
(a1 , b1 ) (a2 , b2 ) = (a1 a2 , b1 b2 )
(a1 , b1 ) a1 a2 + b 1 b 2 b 1 a2 a1 b 2
= ,
(a2 , b2 ) a22 + b22 a22 + b22
En particular, para cualquier z 6= 0, resulta z/z = 1. Adems, se puede verificar directamente
que para cualesquiera z1 , z2 , z3 , z4 C,
z1 z3 z1 z4 + z2 z3 z1 z3 z1 z3
+ = =
z2 z4 z2 z4 z2 z4 z2 z4
Definicin 1.4. Potencia con exponente entero.
Para z C y n entero positivo, se define la n-sima potencia de z, denotada z n , mediante
n z si n = 1
z =
z z n1 si n > 1
O sea, z n es el resultado de z z z, habiendo n factores z en la expresin.
Por otro lado, para cualquier complejo z 6= 0, se define z 0 = 1.
|n|
Finalmente, para z 6= 0 y n entero negativo, se define z n = (z 1 ) , evalundose esta
expresin con la frmula de potenciacin con exponente natural dada ms arriba. Ntese que
n
resulta, entonces, (z 1 ) = z n .
Obsrvese que 0n queda indefinido para todo n 0.
De la definicin, puede verse fcilmente que la potenciacin con exponente entero es distri-
butiva respecto del producto y el cociente, y que se cumplen las reglas del producto y cociente
de potencias de igual base, y de potencia de potencia.
1.3. Forma binmica de los nmeros complejos. Los nmeros complejos que tienen
parte real igual a cero se llaman nmeros imaginarios puros. En particular, el nmero com-
plejo imaginario puro que tiene componente imaginaria igual a 1 se llama unidad imaginaria,
y se denota mediante i; es decir, i = (0, 1), que satisface que i2 = 1, como es fcil de verificar.
En virtud del isomorfismo entre los complejos reales y los reales, y de que i = (0, 1), cualquier
complejo z = (a, b) puede escribirse como
z = (a, b) = (a, 0) + (0, b) = (a, 0) + (b, 0)(0, 1) = a + bi
Cuando un complejo (a, b) se expresa en forma de a + bi, se dice que est expresado en forma
binmica. La conveniencia de dicha forma es que facilita los clculos algebraicos, evitando el uso
de pares ordenados, que requieren recordar las frmulas de adicin y producto. Esas operaciones
6 1. NMEROS COMPLEJOS
se pueden realizar en forma binmica usando las mismas reglas algebraicas de los nmeros reales
(tratando a i como una expresin literal), con la consideracin adicional de que, en el caso de
aparecer la expresin i2 , debe reemplazarse por 1. Por ejemplo:
(a + bi) + (c + di) = (a + c) + (b + d)i
(a + bi) (c + di) = (a c) + (b d)i
(a + bi)(c + di) = ac + adi + bci + bdi2 = (ac bd) + (ad + bc)i
La divisin de complejos tambin es ms fcil en forma binmica:
a1 + b 1 i (a1 + b1 i)(a2 b2 i) a1 a2 + b 1 b 2 b 1 a2 a1 b 2
= = 2 2
+i 2
a2 + b 2 i (a2 + b2 i)(a2 b2 i) a2 + b 2 a2 + b22
1.4. Potencias de la unidad imaginaria. Las potencias sucesivas de i son:
i0 = 1
i1 = i
i2 = 1
i3 = i2 i = (1)i = i
Anlogamente,
i4 = 1 i5 = i i6 = 1 i7 = i
En general, si el exponente de i es un nmero natural p > 3, al efectuar la divisin por 4 se
tiene que p = 4q + r, con 0 r < 4. En consecuencia
q
ip = i4q+r = i4q ir = i4 ir = 1ir = ir
y este clculo se reduce a uno de los cuatro casos anteriores cuando r es igual a 0, 1, 2 o 3.
Ejemplo 1.5. i27 + i186 = i3 + i2 = 1 i.
1.5. Conjugacin y mdulo de nmeros complejos. El conjugado de z = (a, b) =
a + bi es el nmero complejo z = (a, b) = a bi. El smbolo z se lee conjugado de z o z
conjugado. Es fcil verificar que la operacin de conjugacin es involutiva: z = z. El mdulo
de z = (a, b), denotado por |z|, es la raz cuadrada
no negativa de la suma de los cuadrados de
sus partes real e imaginaria. Vale decir, |z| = a2 + b2 . Observar que |z| es un nmero real no
negativo.
Proposicin 1.6. Para todos z, w C, se satisfacen las siguientes afirmaciones:
(a) z+w =z+w (b) z w = z w
z z
(c) zw =zw (d) = (w 6= 0)
w w
(e) z + z = 2 Re z (f) z z = 2i Im z
(g) |z| = 0 z = 0 (h) | z| = |z|
(i) |z| = |z| (j) |z|2 = zz
(k) |Re z| |z| (l) |Im z| |z|
(m) |z w| = |z||w| (n) |z 1 | = |z|1 (z 6= 0)
(o) |z + w| |z| + |w| (p) |z w| |z| |w|
Demostracin. Probaremos slo la parte ms difcil, que resulta ser el inciso (o), conocido
como la propiedad triangular, por razones que veremos ms adelante. Asumiremos todos los
anteriores demostrados, por lo que podemos arrancar considerando la expresin para el cuadrado
del mdulo de la suma (inciso (j)):
|z + w|2 = (z + w)(z + w) = (z + w) (z + w) = zz + zw + wz + ww
= |z|2 + zw + zw + |w|2 = |z|2 + 2 Re(zw) + |w|2 |z|2 + 2 |Re(zw)| + |w|2
|z|2 + 2 |zw| + |w|2 = |z|2 + 2|z| |w| + |w|2 = |z|2 + 2|z||w| + |w|2 = (|z| + |w|)2
y entonces |z + w| |z| + |w|.
2. LOS COMPLEJOS COMO ESPACIO VECTORIAL. REPRESENTACIN GEOMTRICA 7
A travs de una sencilla induccin matemtica, puede verse que la desigualdad triangular
vale para la suma de varios complejos:
n
X X n
zk |zk |
k=1 k=1
3.4. Inverso multiplicativo en forma polar. Sea z 6= 0. Por propiedad vista antes,
sabemos que zz = |z|2 . Por lo tanto,
z
z 2 =1
|z|
De all que, por la unicidad del inverso multiplicativo,
z
z 1 = 2
|z|
En consecuencia, en la forma polar, el inverso de z = r (cos + i sen ) es
r (cos i sen )
z 1 = 2
= r1 (cos i sen ) = r1 (cos () + i sen ())
r
Como vemos, el mdulo del inverso de z es el inverso del mdulo de z, y un argumento del
inverso de z es el opuesto del argumento de z.
3.5. Divisin en forma polar. Sean z = r1 (cos 1 + i sen 1 ) y w = r2 (cos 2 + i sen 2 )
con r1 0 y r2 > 0. Por definicin de divisin y de acuerdo a la frmula del inverso en forma
polar, tenemos que
z r1
= zw1 = r1 cos 1 + i sen 1 r21 cos(2 ) + i sen(2 ) = cos(1 2 ) + i sen(1 2 )
w r2
Entonces, el cociente de dos nmeros complejos tiene como mdulo el cociente de los mdulos, y
como argumento la diferencia de los argumentos de dichos nmeros (si el complejo del numerador
es 0, el argumento queda indeterminado).
Con un razonamiento anlogo a la determinacin geomtrica del producto, podemos obtener
la del cociente.
3.6. Potencia entera en forma polar. Veamos ahora cmo la consideracin de expre-
siones polares nos permite hacer fcilmente potenciacin con exponente entero.
Sean z = r (cos + i sen ) (r 0, R) y n cualquier nmero entero.
1. Para valores enteros positivos de n, se comprueba fcilmente por induccin, que:
z n = [r (cos + i sen )]n = rn (cos(n) + i sen(n))
2. Para n entero negativo, tenemos:
|n| 1 |n|
z n = z 1 = r (cos () + i sen ())
Dado que el exponente es un entero positivo:
|n|
z n = r1 (cos ( |n| ) + i sen ( |n| ))
n
= r1 (cos(n) + i sen(n)) = rn (cos(n) + i sen(n))
En consecuencia, para cualquier exponente entero tenemos que:
(1) z n = rn (cos(n) + i sen(n))
Es decir que: |z n | = |z|n = rn y arg (z n ) = n arg z = n.
donde r es un nmero real mayor o igual que cero (el mdulo de z) y cualquier argumento
de z. Para el punto en el origen, r es igual a cero, y en tal caso no est definido, pero por
convencin establecemos que la forma exponencial para el complejo (0, 0) es 0.
De nuestras consideraciones referidas a la forma polar de un nmero complejo, inferimos
que si z = rei , entonces la forma exponencial de su conjugado es z = rei y la de su inverso
es z 1 = r1 ei .
Adems, si z = r1 ei1 y w = r2 ei2 , entonces
z r1
zw = r1 r2 ei(1 +2 ) = ei(1 2 )
w r2
segn vimos al deducir
la forma polar del producto y cociente de complejos. Esto, sumado al
i n
hecho de que re = rn ein (n Z), muestra que al usar la forma exponencial se preservan
las conocidas propiedades de la exponenciacin, y entonces queda ampliamente justificada la
notacin introducida por Euler, y que a partir de ahora preferiremos por encima de la forma
polar.
Observacin 1.7. Cabe preguntarse cmo determinar si son iguales dos nmeros complejos
no nulos que estn expresados en forma exponencial (o polar). Al respecto, es claro que ambos
deben tener igual mdulo, y, en relacin a los argumentos, deben diferir en un mltiplo entero
de 2. Para verlo, notemos primero que, para cualquier R, se tiene que ei = 1 si, y slo si,
= 2k para algn k Z. Entonces, para cualesquiera r1 , r2 R+ , 1 , 2 R, se tiene que
r1 ei1 = r2 ei2 r1 = r2 ei1 = ei2 r1 = r2 ei(1 2 ) = 1
r1 = r2 1 2 = 2k para algn k Z
5. Radicacin
Si z es un nmero complejo y n es un entero positivo, se dice que el nmero complejo w es
una raz n-sima de z, denotadow = n z, si ocurre que wn = z.
De la definicin, surge que n 0 = 0. Nos preguntamos entonces por n z0 cuando z0 es un
complejo no nulo cualquiera. Es decir, buscamos algn nmero w = rei tal que wn = z0 .
Consideremos a z0 en su forma exponencial: z0 = r0 ei0 . Debe ocurrir entonces que rn ein =
r0 ei0 , y, por igualdad de nmeros complejos en forma exponencial:
r n = r0 r = n r0
0 + 2k
n = 0 + 2k = cualquiera sea k Z
n
0 +2k
Entonces, n z = n r0 ei n donde k es cualquier entero. Podra parecer que hay infinitas races
n-simas, correspondientes a los infinitos valores que puede tomar k. Sin embargo, queda de
ejercicio demostrar que para k = m+n se obtiene el mismo valor que para k = m, y que n valores
distintos consecutivos para k producen distintos nmeros complejos. En consecuencia, slo es
necesario tomar n valores consecutivos para k (por ejemplo, 0, 1, . . . , n 1), y reemplazarlos en
la frmula de las races n-simas, para generar todas las races posibles.
En resumen, si z = rei con r 0,
+2k
(2) n
z = n rei n ; k = 0, 1, ..., n 1
p
Es decir, | n z| = n |z| y arg ( n z) = argn z = +2k
n
; k = 0, 1, ..., n 1
Esto nos dice que existen n races n-simas distintas de cualquier nmero complejo distinto
de cero. Todas tienen el mismo mdulo y sus argumentos difieren en mltiplos de 2 n
.
Geomtricamente, cuando n es mayor que dos, las races n-simas de z son los vrtices de
un polgono regular de n lados, inscripto en un crculo con centro en el origen y radio igual a la
raz n-sima de |z|. La direccin del complejo correspondiente a uno de los vrtices es (arg z)/n.
12 1. NMEROS COMPLEJOS
Ejemplo 1.8. Calcular 5 1.
+ 2k
El mdulo de 5 1 es r = 5 1 = 5 1 = 1, y su argumento es = arg 5 1 = ;
5
k = 0, 1, 2, 3, 4.
Por tanto, las cinco races complejas son:
k = 0: w0 = ei 5 = cos + i sen
5 5
3 3 3
k = 1: w1 = ei 5 = cos + i sen
5 5
i
k = 2: w2 = e = cos + i sen
7 7 7
k = 3: w3 = ei 5 = cos + i sen
5 5
9 9 9
k = 4: w4 = ei 5 = cos + i sen
5 5
Estas cinco races son vrtices de un pentgono regular, como se observa en la siguiente figura.
Pentgono determinado por 5
1
Ejemplo 1.9. Calcular 27.
3
2k
El mdulo de 3 27 es r = 3, y su argumento es = ; k = 0, 1, 2.
3
Por tanto, las tres races complejas son:
k = 0: w0 = 3ei0 = 3 (cos 0 + i sen 0) = 3
i 2 2 2 3 3
k = 1: w1 = 3e = 3 cos
3 + i sen = + i 3
3 3 2 2
5 4 4 3 3
k = 2: w2 = 3ei 3 = 3 cos + i sen = i 3
3 3 2 2
Estas tres races son vrtices de un tringulo regular, como se observa en la siguiente figura.
Tringulo determinado por 3
27
7. LOGARITMOS 13
A veces se denota tambin a n z como z 1/n . Tambin es posible definir expresiones como la
anterior, pero en las cuales el exponente es fraccionario, del siguiente modo: para m y n enteros
positivos coprimos,
z m/n = n z m
tenindose que, para z = rei es
z m/n = n rm ei(m+2km)/n k = 0, 1, . . . , n 1
6. La expresin ez
Para cualquier z = x + iy C, se define
(3) ez = ex+iy = ex eiy = ex (cos y + i sen y)
Podemos notar que
|ez | = ex arg ez = y
Ejemplo 1.10. e32i = e3 (cos (2) + i sen (2)) 8. 3585 18. 264i.
Dejamos como ejercicio probar las siguientes propiedades:
7. Logaritmos
Un logaritmo de un nmero complejo z0 6= 0, denotado ln z0 , es cualquier nmero w que
satisface ew = z0 (la razn para excluir al 0 es que no existe w tal que ew = 0).
Supongamos que el argumento principal de z0 es 0 . Consideremos a w en forma binmica,
es decir, w = x + iy, con x, y R. Entonces, debe cumplirse que ex+iy = z0 , es decir,
ex eiy = |z0 | ei0
de donde, por igualdad de complejos en forma exponencial, debe ser
x = ln |z0 | y = 0 + 2k
en donde k representa a cualquier entero.
Resumiendo, obtenemos la siguiente expresin, vlida para cualquier z 6= 0:
(4) ln z = ln |z| + i (Arg z + 2k) en donde k es cualquier entero
La expresin (4) arroja infinitos valores complejos distintos. De todos ellos, definiremos el
logaritmo principal como:
Ln z = ln |z| + i Arg z con < Arg z
es decir el correspondiente a k = 0 en (4).
Ejemplo 1.11. Calcular ln (1) y ln (5 12i).
1. ln (1) = ln |1| + i + i2k = i ( + 2k)
2. ln (5 12i) = ln |5 12i| + i arctan 12
5
+ i2k
= ln 13 1. 176i + i2k
= 2. 5649
1. 176i + 6. 2832ik
14 1. NMEROS COMPLEJOS
h i
= 2e 2 i (1)2 = 2 cos + i sen = 2i
2 2
De la expresin eln 2 e 2 i e4ki ya podemos deducir que el valor de (1 i)2 es slo uno
porque e4ki = 1, para k = 0, 1, 2, ...
3
2. En relacin a (1 i) 5 :
3
(1 i) 5 = e 5 ln(1i) = e 5 (ln +i2k )
3
3 2i 3 3
2 9 6k
4 = e 5 ln 20
i
e 5
i
16 1. NMEROS COMPLEJOS
6k
donde e 5 i toma slo cinco valores distintos, para k = 0, 1, 2, 3, 4 (por ejemplo, k = 5
3
produce el mismo valor que k = 0), por lo que (1 i) 5 tendr nada ms que cinco
valores distintos.
3. En relacin a 12513i :
12513i = e(13i)(ln 125+i2k) = e(ln 125+6k) ei(3 ln 125+2k)
= e(ln 125+6k) ei(3 ln 125) ei2k = e(ln 125+6k) ei(3 ln 125)
Dado que e(ln 125+6k) tiene un valor distinto para cada k = 0, 1, 2, ..., 12513i toma
infinitos valores.
EJERCICIOS
1. Obtener z tal que (2 i)z + (3, 1) = 2z
2. Dados z1 = 1 i, z2 = 3 y z3 = 2 + i, obtener z1 + z2 , z3 z1 , z1 + z2 z3 , z1 z1 , Im(z1 z3 ),
z32 , z3 /z1 y z1 2 . Graficar.
3. Mostrar que (C, +) y (C {0}, ) son grupos conmutativos, y que el producto de
complejos es distributivo respecto de la suma.
x y
4. Mostrar que el conjunto de todas las matrices de la forma , con las opera-
y x
ciones habituales de suma y producto de matrices, es isomorfo al cuerpo de los nmeros
complejos.
5. Mostrar que C tiene estructura de espacio vectorial, con la suma habitual de complejos
y la multiplicacin por escalar dada por (a, b) = (a, b) (, a, b R).
6. Justificar las siguientes propiedades, vlidas z para
todos z, w C:
a) Im(iz) = Re(z) b) zw = z w c) w = |w| (w 6= 0) d) |z w| |z| |w|
|z|
Habiendo establecido en el captulo anterior las propiedades y operaciones bsicas del con-
junto de los complejos (en particular, la nocin de distancia entre dos nmeros en el plano
complejo), nos proponemos, en lo sucesivo, realizar un estudio de funciones cuyo dominio de
definicin es algn subconjunto de los complejos, y extender a ellas las ideas de lmites, deri-
vacin e integracin aprendidas para las funciones de variable real. En los cursos previos de
clculo, en los que se aprendieron esos conceptos, la idea de distancia entre nmeros reales
(|a b|) fue relevante, permitiendo definir en base a ella la nocin de conjunto abierto, ce-
rrado, clausura, etc. Veremos aqu cmo, de manera anloga, la distancia entre complejos da
pie a extender esos conceptos a ese conjunto, deduciendo varias propiedades que sern tiles
posteriormente.
chico de un conjunto finito de nmeros positivos, por lo que r > 0. Tendremos que Br (z) no
contiene puntos de E {z}, por lo que z tampoco es punto de acumulacin de E.
Corolario 2.7. Los subconjuntos finitos de C no poseen puntos de acumulacin.
Teorema 2.8. Un subconjunto de C es abierto si, y slo si, su complemento es cerrado.
Demostracin. Supongamos que E es un subconjunto abierto de C. Sea z E. Existe
r > 0 tal que Br (z) E, luego Br (z) E c = , por lo que z no es punto de acumulacin de
E c . Tenemos entonces que si z E, z no es punto de acumulacin de E c , que equivale a decir
que si z es punto de acumulacin de E c , z pertenece a E c , mostrando que E c es cerrado.
Recprocamente, supongamos que E c es cerrado. Sea z E, es decir, z / E c . z no es punto
de acumulacin de E c , por lo que existe un entorno Br (z) que no contiene puntos de E c {z}.
Pero ya que z E, resulta E c {z} = E c , por lo que Br (z) E c = , es decir, Br (z) E.
Luego z es punto interior a E, y E es abierto.
Corolario 2.9. Un subconjunto de C es cerrado si, y slo si, su complemento es abierto.
Demostracin. E es cerrado (E c )c es cerrado E c es abierto.
Teorema 2.10. En relacin a uniones e intersecciones de conjuntos, las siguientes afirma-
ciones son vlidas:
1. La unin arbitraria de conjuntos abiertos es un conjunto abierto.
2. La interseccin finita de conjuntos abiertos es un conjunto abierto.
3. La interseccin arbitraria de conjuntos cerrados es un conjunto cerrado.
4. La unin finita de conjuntos cerrados es un conjunto cerrado.
Demostracin.
S Sea {Ak }k una familia cualquiera de subconjuntos abiertos S de C. Si
z k Ak , existe S 0k tal que z A k0 , luego hay un entorno B r (z) A k0 k Ak , lo
que muestra que k Ak es abierto. Esto prueba la primera afirmacin. T
Sea {Ak }nk=1 una familia finita de subconjuntos abiertos, y z nk=1 Ak . Para cada k
{1, . . . , n}, existe un rk > 0T tal que Brk (z) Ak . Sea r = mn{rk : k = 1, . . . , n}. Ser r > 0.
Verifiquemos que Br (z) nk=1 Ak : para todo z1 C con |z z1 | < r, ser |z z1 | < rk
cualquiera sea T k {1, . . . , n} por la T eleccin de r, por lo que z1 Ak para todo k {1, . . . , n},
de donde z1 nk=1 Ak . Por lo tanto nk=1 Ak es abierto. Esto muestra la segunda afirmacin. Un
ejemplo que muestra que la afirmacin no es vlida para intersecciones arbitrarias es Ak = B 1 (0)
T k
para k 1, pues se tiene que k=1 A k = {0}, que no es un subconjunto abierto de C.
Sea {Ck }k una familia T cualquiera
S de subconjuntos cerrados de C. Por las leyes de De
c c
Morgan, se tiene que k Ck = k Ck , siendo este ltimo un conjunto T abierto, segn
se demostr en el primer tem, ya que cada Ckc es un conjunto abierto. Luego k Ck es un
conjunto cerrado. Esto demuestra la tercera afirmacin. Sn
n c
Tn Finalmente, sea {C k } k=1 una familia finita de subconjuntos cerrados. Ser ( k=1 Ck ) =
S
c n
k=1 Ck un conjunto abierto segn el inciso segundo de este teorema, por lo que k=1 Ck es
cerrado.
Teorema 2.11. Un subconjunto de C es abierto si, y slo si, es una unin de entornos.
Demostracin. Supongamos que E es un subconjunto abierto de C. Entonces podemos
asociar
S a cada punto z de E un nmero positivoS rz tal que Brz (z) S E. Veamos que E =
B
SzE rz (z): si z 1 E, z 1 B (z
r z1 1 ) B
zE rz (z), luego E zE Brz (z). Y si z1
zE Brz (z), hay un z deSE tal que z1 Brz (z); pero por la definicin de rz , es Brz (z) E, de
donde z1 E; con esto, zE Brz (z) E.
La vuelta se deduce de la proposicin 2.4 y del teorema 2.10.
El siguiente teorema nos dice que la clausura de un conjunto E es el ms pequeo de los
conjuntos cerrados que contienen a E.
22 2. LA TOPOLOGA USUAL DE LOS COMPLEJOS
2. Conjuntos compactos
Definicin 2.19. Sea E C, un conjunto arbitrario y {Ak }k unaSfamilia de subcon-
juntos de C. Decimos que {Ak }k es un cubrimiento para E si E k Ak . Si adems
todos los Ak son conjuntos abiertos, decimos que {Ak }k es un cubrimiento por abiertos
para E. Un subcubrimiento de {Ak }k para E es una subfamilia {Ak }k1Sde la familia
{Ak }k (es decir, 1 ) que tambin es cubrimiento para E (es decir, E k1 Ak ). Un
cubrimiento es finito si posee una cantidad finita de miembros.
Un subconjunto de C se dice compacto si cualquier cubrimiento por abiertos para l posee
un subcubrimiento finito.
El siguiente resultado proporciona dos condiciones necesarias para que un subconjunto de
C sea compacto.
24 2. LA TOPOLOGA USUAL DE LOS COMPLEJOS
para el compacto K, luego hay una subfamilia finita 3 de 2 que cubre a K, y por lo tanto a
F . Tomemos 4 = 3 {F c }. Puede verse que 4 es una subfamilia finita de que cubre a F
(pues 3 lo haca, y ningn punto de F est en F c ). Luego F es compacto.
Lema 2.22. Para cada n N, sea In = {x R : an x bn }, donde T an y bn son reales
con an bn . Supongamos que, para cualquier n N, In In+1 . Entonces, nN In es no vaca.
Demostracin. Sea E = {an : n N}. Tenemos que E es no vaco y acotado superior-
mente (por b0 ). Hagamos x = sup E. Por definicin de supremo, tenemos que para todo n N,
es x an .
Dada la contencin de los In , deducimos que la sucesin {an }nN es creciente, y la {bn }nN
es decreciente. Aprovechemos este hecho para demostrar que para todo n N, x bn . Sea
n N. Para cualquier natural m, tenemos que am am+n bm+n bn . Entonces bn es cota
superior para E, de donde x bn .
T Por lo tanto, tenemos que, para cada n N, x pertenece a In , y, en consecuencia, x
nN In , mostrando que este conjunto es no vaco.
Corolario 2.23. Para cada n N, sea Rn = {z C : an Re z bn , cn Im z dn },
T reales con an bn y cn dn . Supongamos que, para cualquier n N,
donde an , bn , cn y dn son
Rn Rn+1 . Entonces, nN Rn es no vaca.
Demostracin. Para cada n N, sean In = {x R : an x bn } e In = {x R : cn
x dn }. Dado
T que Rn RTn+1 , tenemos que In In+1 e In In+1 T. Luego, existen x, y R
tales que x nN In e y nN In (lema 2.22). Entonces, (x, y) nN Rn .
Lema 2.24. Sea R0 = {z C : a Re z b, c Im z d} (con a, b, c, d R, a b,
c d) un rectngulo (relleno) en el plano complejo. Entonces, R0 es compacto.
2. CONJUNTOS COMPACTOS 25
Demostracin. Hagamos = |(a, c) (b, d)| (la medida de las diagonales de R0 ). Obvia-
mente, para todos z1 , z2 R0 , es |z1 z2 | .
Para probar el lema por contradiccin, supongamos que hay un cubrimiento por abiertos
{Ak }k para R0 que no admite subcubrimiento finito. Trazando las perpendiculares a cada
lado de R0 por su punto medio, dividmoslo en cuatro rectngulos iguales, R00 , R01 , R10 y
R11 , de modo que R0 = R00 R01 R10 R11 . Al menos uno de ellos (llammosle R1 ) no
puede ser cubierto por una subfamilia finita de {Ak }k (de lo contrario, R0 estara cubierto
por una subfamilia finita de {Ak }k , en contra de la suposicin). Las diagonales de R1 miden
/2. Apliquemos a R1 el mismo razonamiento, y continuemos as sucesivamente. Generaremos
entonces una familia de rectngulos {Rn }nN con las siguientes propiedades:
(a) Rn Rn+1 para todo n.
(b) Para cualquier n, ninguna subfamilia finita de {Ak }k cubre a Rn .
(c) Para cualquier n, las diagonales de Rn miden /2n , de modo que |z1 z2 | /2n
cualesquiera sean z1 , z2 Rn
De la condicin (a), existe z C tal que z Rn para todo n (cor. 2.23). Adems, por ser
{Ak }k cubrimiento para R0 , existe k0 tal que z Ak0 .Puesto que Ak0 es abierto, existe
r > 0 tal que Br (z) Ak0 . Sea n lo suficientemente grande como para que 2n < r. Del tem
(c), la diagonal de Rn medir menos que r, por lo que ser Rn Br (z), y en consecuencia Ak0
es cubrimiento para Rn , contradiciendo la condicin (b). La contradiccin provino de suponer
que R0 no es compacto.
Teorema 2.25. (HeineBorel) Un subconjunto de C es compacto si, y slo si, es a la vez
cerrado y acotado.
Demostracin. El teorema 2.20 demuestra la ida. Para la vuelta, sea E un conjunto
cerrado y acotado. Existe r > 0 tal que Br (0) E. Luego, E est contenido en el rectngulo
{z C : r Re(z) r, r Im(z) r}, que es compacto por el lema 2.24. De all que,
siendo E cerrado, es compacto (prop. 2.21).
Corolario 2.27. Si {Kn }nN T es una coleccin de subconjuntos compactos no vacos tal
T n N, Kn Kn+1 , entonces nN Kn 6= . Adems, si lmn diam(Kn ) = 0, entonces
que
nN Kn consta de un solo punto.
T
Demostracin. Hagamos K = nN Kn . Sea {Kn1 , . . . , KnN } una subfamilia finita de
T
{Kn }. Tomemos m = max{n1 , . . . , nN }. Ser N j=1 Knj = Km 6= . Es decir, cualquier subfami-
lia finita tiene interseccin no vaca. Luego, K es no vaco (prop. 2.26).
26 2. LA TOPOLOGA USUAL DE LOS COMPLEJOS
y decimos que [z1 , z2 , . . . , zn ] es una poligonal desde z1 hasta zn . Un polgono es una poligonal
[z1 , z2 , . . . , zn ] tal que zn = z1 .
Es decir, una poligonal es la concatenacin de dos o ms segmentos por sus extremos, y un
polgono es una poligonal cerrada, o sea, una poligonal cuyo punto final coincide con el inicial.
Como es fcil imaginar, cualquier segmento es un conjunto conexo (ms adelante lo de-
mostraremos formalmente, en base a la proposicin 2.32), al igual que cualquier poligonal (un
ejercicio que se propone ms adelante, junto con la conexidad de los segmentos, permitir
arribar a esta conclusin).
Veremos seguidamente otras caracterizaciones de los conjuntos conexos.
Lema 2.34. Sean A y C subconjuntos disjuntos, con A abierto. Entonces A C = .
Demostracin. Sea z A. Existe r > 0 tal que Br (z) A. Como A C = , ser
Br (z) C = , de modo que z
/ C (prop. 2.5). Luego, A C = .
Teorema 2.35. Un conjunto A es disconexo si, y slo si, existen conjuntos no vacos C y
D tales que A = C D y C D = = C D.
Demostracin. Para la ida, sean A1 y A2 abiertos disjuntos tales que A A1 A2 y
A A1 6= 6= A A2 . Hagamos C = A A1 y D = A A2 (notar que A1 D = ). Tenemos
que A = C D, pues, siendo A A1 A2 , es A = A (A1 A2 ) = (A A1 ) (A A2 ). Adems,
C D A1 D = (lema 2.34), y anlogamente C D = .
c
Veamos la vuelta. Como C D = , es C D , siendo este ltimo S un abierto. Por lo tanto,
c
para cada z C, existe Rz > 0 tal que B2Rz (z) D . Sea A1 = zC BRz (z). Similarmente,
c S
para cada z D, existe rz > 0 tal que Brz (z) C ; sea A2 = zD Brz (z). Se tiene que:
1. A1 y A2 son abiertos (teor. 2.11).
2. A A1 A2 , pues A1 C y A2 D, tenindose que A1 A2 C D = A.
3. A A1 6= , pues como C es no vaco, existe z C A, de donde z A1 y z A.
Anlogamente, A A2 6= .
Para probar que A es disconexo, slo resta ver que A1 A2 = . Supongamos que no. Existira
w tal que w A1 y w A2 . En consecuencia, deberan existir zC C y zD D tales que
|w zC | < RzC y |w zD | < rzD , de donde sera
|zC zD | |zC w| + |w zD | < RzC + rzD
c
Si fuese RzC rzD , sera |zC zD | < 2RzC , de donde zD B2RzC (zC ) D , por lo que zD
/ D,
es decir, zD
/ D, contradiciendo que zD D. Y si fuese RzC < rzD , sera |zC zD | < 2rzD , de
c
donde zC B2RzD (zD ) C , por lo que zC / C, es decir, zC
/ C, contradiciendo que zC C.
Como vemos, en cualquier caso llegamos a una contradiccin que resulta de suponer que A1 y
A2 no son disjuntos. Luego, A es disconexo.
A primera vista, puede parecer que si un conjunto es conexo, es posible unir cualquier pareja
de sus puntos por medio de un trazo continuo finito sin salirse del conjunto. Sin embargo, de
acuerdo a nuestra definicin, eso no es correcto; por ejemplo, el conjunto
1
x, sen C : 0 < x 1 {0}
x
satisface la definicin de conexidad, pero es imposible unir los complejos 0 y (1, sen 1) con
uno de tales trazos sin salirse del conjunto. Sin embargo, la situacin cambia si el conjunto es
abierto.
4. EL PLANO EXTENDIDO Y LA ESFERA DE RIEMANN 29
Teorema 2.36. Sea A un subconjunto abierto no vaco de C. A es conexo si, y slo si, dos
puntos cualesquiera de A pueden ser unidos por medio de una lnea poligonal contenida en A.
Demostracin. Para la ida, supongamos que A es abierto y conexo. Sea z cualquier punto
de A. Denotemos por A1 al conjunto de puntos de A que pueden unirse con z a travs de una
poligonal, y hagamos A2 = A A1 . Mostremos primero que A1 es abierto. Si z1 A1 , por
ser A abierto, existe r > 0 tal que Br (z1 ) A; todo punto de Br (z1 ) puede conectarse con
z1 a travs de un segmento (que estar contenido en A), y el propio z1 con z a travs de una
poligonal contenida en A (pues z1 A1 ). Luego, Br (z1 ) A1 , mostrando que A1 es abierto.
Ahora mostremos que A2 es tambin abierto. Sea z2 A2 . Por ser z2 A, existe r > 0 tal que
Br (z2 ) A. Si algn punto de este entorno pudiera conectarse a travs de una poligonal con
z, se podra conectar a z2 con z a travs de una poligonal, lo que no es posible pues z2 A2 .
Entonces Br (z2 ) A2 , con lo que probamos que A2 es abierto. Adems, A1 A2 = . Si A2
no fuese vaco, tendramos que A no es conexo, contradiciendo la hiptesis. Luego, A2 = , y
resulta que z puede conectarse mediante una poligonal con cualquier punto de A. Como z se
escogi arbitrariamente, tenemos demostrada la ida.
Para probar la vuelta por contradiccin, supongamos que A es un abierto no conexo tal
que dos cualesquiera de sus puntos pueden ser unidos mediante una poligonal contenida en A.
Existen abiertos disjuntos (no vacos) A1 y A2 tales que A A1 A2 y A A1 6= 6= A A2 .
Elijamos z1 en A1 y z2 en A2 cualesquiera. Sea P una poligonal desde z1 hasta z2 contenida en
A. Notar que P A1 6= porque z1 est en P y en A1 , y anlogamente P A2 6= . Adems,
P A A1 A2 . Luego, la poligonal P no es conexa. Contradiccin.
De hecho, la poligonal aludida en el resultado anterior puede elegirse con los segmentos
paralelos a los ejes (la demostracin de este hecho es exactamente la misma).
Corolario 2.37. Los entornos (reducidos o no) son conjuntos conexos.
conoce como esfera de Riemann, denotada por R, y permite representar cada punto del plano
complejo por un punto en la esfera, como se explica a continuacin.
Dado z = (a, b) C, tracemos la recta que pasa por N y por el punto (a, b, 0). Dicha recta
corta a la esfera en dos puntos, uno es N y el otro es Z = (x0 , y0 , 0 ). Decimos que Z es la
proyeccin de z sobre la esfera.
1.5
1
0.5
z
z 0
-0.5
-2 2-1
-1 1
0 0
1 -1
-2
2
No es difcil ver intuitivamente (y probar analticamente) que este mecanismo establece una
correspondencia biyectiva entre C y R {N }. Haciendo corresponder al polo norte el punto del
infinito, obtenemos una correspondencia biyectiva entre los puntos del plano extendido, C , y
los de la esfera de Riemann, R; esta correspondencia se llama proyeccin estereogrfica.
Vamos a deducir las expresiones para las coordenadas (x0 , y0 , 0 ) de Z en funcin de las
coordenadas (a, b) de z. Nuestros datos son que Z R (por lo que x20 + y02 + 02 = 1) y que Z
pertenece a la recta del espacio que pasa por (0, 0, 1) y por (a, b, 0). Una ecuacin paramtrica en
R3 para esta recta es (x, y, ) = (0, 0, 1)+t(a, b, 1) con t R. Para encontrar las intersecciones
de la recta con la esfera, debemos encontrar los valores de x, y, , t tales que, simultneamente,
tengamos:
x2 + y 2 + 2 = 1
x = ta
y = tb
= 1t
Reemplazando las tres ltimas ecuaciones en la primera, quedamos con
t2 a2 + t2 b2 + 1 2t + t2 = 1
que equivale a t (a2 + b2 + 1)t 2 = 0. De aqu que t = 0 o t = a2 +b22 +1 . El valor t = 0
corresponde a la interseccin de la recta con la esfera en N , por lo que el que nos interesa es
el otro valor: t = a2 +b22 +1 . Reemplazando en las otras ecuaciones, y recordando que a = Re z,
b = Im z y que a2 + b2 = |z|2 , tenemos las coordenadas de Z en funcin del complejo z:
2 Re z 2 Im z |z|2 1
x0 = y0 = 0 =
|z|2 + 1 |z|2 + 1 |z|2 + 1
Ahora el problema inverso: dado un punto de la esfera distinto de N , a qu nmero complejo
corresponde? Para resolverlo, usemos las relaciones que obtuvimos recin, teniendo que
1 + 0
|z|2 =
1 0
Reemplazando en las frmulas para x0 e y0 , y despejando Re z e Im z, deducimos que
x0 y0
Re z = Im z =
1 0 1 0
EJERCICIOS 31
Hacemos notar que el exterior del crculo unitario centrado en el origen del plano C
corresponde al hemisferio norte, sin el ecuador; los puntos de la frontera de dicho crculo son
fijos para la proyeccin estereogrfica, y los puntos interiores corresponden al hemisferio sur.
En particular, 0 corresponde al polo sur.
Adems, para cada r positivo, los puntos del plano complejo exteriores al crculo |z| = r
corresponden a puntos de la esfera prximos al punto N . Por esta razn, llamaremos al conjunto
{z C : |z| > r} un entorno de radio 1/r del punto del infinito. Es decir:
B 1 () = {z C : |z| > r}
r
EJERCICIOS
1. Cules de los siguientes conjuntos son abiertos, y cules cerrados, en la topologa usual
de C?
a) {z C : |z| < 1} b) R c) {z R : 0 z < 1}
d) {z R : 0 z 1} e) {z C : n Z : n 1, z n = 1}
2. Mostrar que en C con la distancia eucldea, la clausura de un entorno Br (z0 ) es el
conjunto de todos los complejos z tales que |z z0 | r.
3. Sea E C.
a) Mostrar que si A E y A es abierto, entonces A E .
b) Demostrar que E c = (E )c .
c) Mostrar que E = E E c = E E .
d ) Probar que (E)c = E (E c ) , que E = E E y que E = E E
4. Encontrar la clausura en C de los conjuntos
1 1
x + i sen : 0 < x 1 y x + ix sen : 0 < x 1
x x
5. Para cada k N, considrese definido un conjunto Ak de C. Probar que, para cualquier
n N,
[n [n [
[
Ak = Ak Ak Ak
k=0 k=0 k=0 k=0
Mostrar, mediante un ejemplo, que la ltima inclusin puede ser estricta.
6. a) D un ejemplo de una familia decreciente de conjuntos acotados (no vacos) cuya
interseccin sea vaca.
b) D un ejemplo de una familia decreciente de conjuntos cerrados (no vacos) cuya
interseccin sea vaca.
7. a) Muestre que toda unin finita de conjuntos compactos es un conjunto compacto.
b) D un ejemplo de una familia de conjuntos compactos cuya unin no sea compacta.
c) Muestre que cualquier interseccin arbitraria de compactos es un conjunto compac-
to.
8. Demostrar que el dimetro de cualquier tringulo no puede ser superior a su permetro.
9. a) Sea K = {0} {(n + 1)1 : n N}. Mostrar que K es un subconjunto compacto de
C, utilizando la definicin de compacidad.
b) Mostrar que el conjunto {x + iy C : 0 < x < 1, y = 0} no es compacto, dando un
ejemplo de cubrimiento por abiertos que no posea subcubrimiento finito.
10. Decidir cules de los siguientes subconjuntos de C son conexos:
A1 = {z C : |z| 1} {z C : |z 2| < 1}
1
A2 = {x R : 0 x < 1} 1 + : n Z, n 1
n
32 2. LA TOPOLOGA USUAL DE LOS COMPLEJOS
T S
11. Sea {Ck }k una familia de conjuntos conexos tal que k Ck 6= . Mostrar que k Ck
es un conjunto conexo. Mostrar que cualquier poligonal es conexa, asumiendo que los
segmentos son conexos.
12. Una componente conexa maximal (o, simplemente, componente) de un conjunto A
es un subconjunto conexo de A que no est contenido propiamente en un subconjunto
conexo de A.
a) Encontrar las componentes de cada uno de los conjuntos del ejercicio 10.
b) Mostrar que cualquier conjunto es la unin de sus componentes, y que dos compo-
nentes distintas son disjuntas.
13. Graficar las siguientes regiones del plano complejo:
i) {z C : Re z = 2} ii) {z
C : Re z = 3 Im z}
1
iii) {z C : Im z Re z} iv) z C : |z 3 + i| =
2
z + 1
v) {z C : 3 < |z + 3 4i| 5} vi) z C : =4
z 1
i
i 4
vii) z = re : r = 2, R viii) z = re : r = 2
3 3
5 3 7
ix) z = rei : = , r R+0 x) z = rei : < < , r R
4 4 4
14. Sea R la esfera de Riemann. Hallar los puntos de R correspondientes a los nmeros
complejos z0 = 0, z1 = 0,5 + 0,5i y z2 = 3 + 2i.
15. Hallar los subconjuntos de R correspondientes a los ejes real e imaginario en C .
16. Dado el real tal que 2 < < 2 , cul es, en el plano complejo, la imagen del
paralelo de R que tiene latitud ?
17. Dados los reales y r tales que 0 < 2 y r 0, hallar en R la imagen del rayo
arg z = , y de la circunferencia |z| = r.
18. Sean Z y Z puntos de R correspondientes a los complejos z y z respectivamente, y sea
W el punto de R que corresponde a z + z . Hallar las coordenadas de W en trminos
de las coordenadas de Z y Z .
19. Demostrar que una condicin necesaria y suficiente para que dos complejos z y z sean
las proyecciones estereogrficas de dos puntos diametralmente opuestos de la esfera es
que z z = 1.
Captulo 3
Nos proponemos ahora el objetivo de estudiar las funciones complejas definidas en subcon-
juntos del plano complejo provisto de la distancia eucldea. Veremos cmo muchas de las ideas
conocidas para funciones de variable real pueden ser extendidas a C. Por ejemplo, queremos
aqu llegar a definir lmite y derivada de funciones complejas, y visualizar mtodos de clculo.
Presentaremos tambin un concepto ms fuerte que el de la derivabilidad: el de la analiticidad,
que es clave en la teora de variables complejas.
1. Preliminares
Suponemos conocido el concepto de funcin entre dos conjuntos cualesquiera. Sin embargo,
precisaremos ahora alguna notacin y ciertas propiedades de las funciones que nos resultarn
de utilidad en lo sucesivo.
Si f es una funcin de X en Y , A X y B Y , denotamos por f (A) al conjunto de todos
los elementos de Y que son imagen por f de algn elemento de A, y por f 1 (B) al conjunto de
todos los elementos de X cuya imagen por f pertenece a B. Formalmente:
f (A) = {y Y : x A : y = f (x)} f 1 (B) = {x X : f (x) B}
Sea f una funcin de X en Y , A y E subconjuntos de X, B y F subconjuntos de Y , {Ak }k
una familia de subconjuntos de X, {Bk }k una familia de subconjuntos de Y . Se satisfacen
las siguientes propiedades:
1. A E f (A) f (E)
2. B F f 1 (B) f 1 (F )
3. Si f es inyectiva, f (X A) Y f (A). Si f es sobreyectiva, f (X A) Y f (A).
Luego, para f biyectiva, es f (X A) = Y f (A).
4. f 1 (Y B) = X f 1 (B)
5. f (f 1 (B)) B (si f es sobreyectiva, vale la igualdad).
1
6. A Sf (f (A)) S(si f es inyectiva, vale la igualdad).
7. f A = f (Ak )
Tk k Tk
8. f A f (Ak ) (si f es inyectiva, vale la igualdad).
1
S k k
k S 1
9. f k Bk = Tk f (Bk )
1
T 1
10. f k Bk = k f (Bk )
Si f : X Y y S X, se define la restriccin de f a S como la funcin g : S Y tal que
g(x) = f (x) para todo x S. Una notacin habitual para la funcin restringida es f |S , aunque
haciendo abuso de notacin, tambin suele usarse el mismo nombre f .
funciones reales de dos variables u(x, y) y v(x, y) con dominio D R2 define una funcin
f (z) = f (x + iy) = u(x, y) + iv(x, y) en el mismo dominio D (visto como subconjunto de C).
Para cualquier funcin compleja f , el conocimiento de las funciones de parte real e imagi-
naria u y v ser importante en el estudio de las propiedades de f (a ttulo de ejemplo, ntese
que f est definida en x0 + iy0 si, y slo si, u y v estn definidas en (x0 , y0 )). Por eso es esencial
saber encontrarlas. A continuacin presentamos algunos ejemplos ms.
Ejemplo 3.2. Dadas las siguientes funciones, hallar el dominio y determinar sus partes real
e imaginaria, en funcin de las partes real e imaginaria de la variable independiente.
1. f (z) = z 2 + 1. Esta expresin est bien definida para cualquier z C, por lo que, en
este caso, el dominio de definicin de la funcin es D = C. Por la sustitucin z = x + iy,
tenemos que
f (z) = (x + iy)2 + 1 = x2 y 2 + 2xyi + 1 = x2 y 2 + 1 + i(2xy)
Por lo tanto, u(x, y) = x2 y 2 + 1 y v(x, y) = 2xy.
z+1
2. f (z) = z2i . El nico valor de z en que esta expresin no puede ser evaluada es en 2i.
Por lo tanto, D = C {2i}, y
x + iy + 1 (x + 1) + iy (x + 1) + iy x i(y 2)
f (z) = = =
x + iy 2i x + i(y 2) x + i(y 2) x i(y 2)
(x + 1)x + y(y 2) + i (x + 1)(y 2) + yx
=
x2 + (y 2)2
x2 + x + y 2 2y 2x y + 2
= 2 2
+i 2
x + (y 2) x + (y 2)2
2 2
Es decir, u(x, y) = xx+x+y 2y
2 +(y2)2 y v(x, y) = x22xy+2
+(y2)2
.
2
3. f (z) = Re z +|z| . El dominio es C. Notemos que si z = x+iy, es Re z = x. Por lo tanto,
f (z) = x + x2 + y 2 , y, en consecuencia, tenemos que u(x, y) = x2 + y 2 + x, v(x, y) = 0.
4. f (z) = Ln z = ln |z| + i Arg z. Aqu tenemos que D = C {0}, pues el logaritmo
principal de un nmero complejo est bien definido para cualquier complejo p no nu-
lo. Dado que ln |z| y Arg z son nmeros reales, tenemos que u(x, y) = ln x2 + y 2 y
v(x, y) = arctan xy .
2. FUNCIN COMPLEJA DE VARIABLE COMPLEJA 35
Ejemplo 3.3. Obtener las partes real e imaginaria u y v de las siguientes funciones, en
trminos de las coordenadas polares r y de la variable independiente.
1. Para f (z) = z + 1/z, haciendo z = rei , tenemos que
1 1 i r2 + 1 r2 + 1 r2 + 1
f rei = rei + = re i
+ e = cos + i sen = cos + i sen
rei r r r r
2 2
Luego, u(r, ) = r r+1 cos y v(r, ) = r r+1 sen , con dominio D = C {0}.
i
2. Para f (z) = Ln z, con dominio C {0}, tenemos que f re = ln r + i, por lo que
u(r, ) = ln r y v(r, ) = .
G = {(z, w) : z D w = f (z)} C C
Como vemos, est contenido en un espacio vectorial de dimensin cuatro sobre los reales. Su
representacin grfica en ejes independientes es entonces imposible, por lo que recurrimos al
siguiente artificio: vamos a representar a los valores de la variable independiente z y de la
variable dependiente w en dos planos complejos distintos que llamaremos plano z (con ejes x
e y) y plano w (con ejes u y v), respectivamente. Entonces, la relacin funcional w = f (z)
establece una correspondencia entre los puntos (x, y) del plano z y los puntos (u, v) del plano
w.
Ejemplo 3.4. Consideremos la funcin f (z) = Ln z, y veamos cmo transforma los puntos
2
que estn sobre la parbola {z C : Im z = (Re
p z) , z 6= 0}.
x +y . Si z est sobre la parbola, se satisface
Del ejemplo 3.2, sabemos que u(x, y) = ln 2 2
2
que y = x , y, en ese caso, u(x) = ln |x| 1 + x2 . Anlogamente, si z es un complejo del
primer cuadrante (es decir, si x > 0), tenemos que v(x) = arctan x, mientras que si z est en
el segundo (x < 0), es v(x) = + arctan x (tomando 2 arctan x 2 ). La siguiente figura
36 3. FUNCIONES DE VARIABLE COMPLEJA
D = z C : Im z = (Re z)2 , Re z 6= 0 f (D) = {w C : w = Ln z, z D}
3. Lmites
Al igual que en el caso de funciones reales de variable real, se hace necesario tratar primero
el tema de lmites para luego pasar a la parte central: la derivacin y la integracin.
Definicin 3.5. Sea f una funcin de D C en C, z0 un punto de acumulacin de D y
L C. Decimos que el lmite de f cuando z tiende a z0 es L si > 0, > 0 : z D, 0 <
|z z0 | < |f (z) L| < . En ese caso, escribimos lm f (z) = L.
zz0
Notar que no es necesario que z0 D para poder hablar de lmite cuando z tiende a z0 .
Adems, an estando definida la funcin en z0 , podra ocurrir que f (z0 ) 6= L.
Podramos haber dado una definicin equivalente de lmites en trminos de entornos, segn
veremos ahora.
Proposicin 3.6. Sean f una funcin de D C en C, z0 punto de acumulacin de D,
y L C. Se tiene que lm f (z) = L si, y slo si, para todo > 0, existe > 0 tal que
zz0
f D B (z0 ) B (L).
Demostracin. Es directo ver que
z D 0 < |z z0 | < z D B (z0 )
y que
|f (z) L| < f (z) B (L)
Por lo tanto, la definicin de lmite equivale a que
> 0, > 0 : z D B (z0 ), f (z) B (L)
lo que es equivalente a que > 0, > 0 : f D B (z0 ) B (L).
Ejemplo 3.7. Usando la definicin, verificaremos que lm (1 3i)z + 2i = 7 + i.
z1+2i
Dado que el dominio de definicin de la funcin cuyo lmite estamos calculando es todo C,
tenemos que probar que: > 0, > 0 : 0 < |z 1 2i| < |(1 3i)z + 2i 7 i| < .
7i
Observemos que |(13i)z+2i7i| = |(13i)z7+i| = |13i| z 13i = 10|z12i|.
Por lo tanto, basta con tomar cualquier < 10 para ver que se satisface la definicin de lmite.
Demostracin. Sea > 0. Ya que lm f (z) = a + ib, existe > 0 tal que |u(x, y) +
zz0
iv(x, y) (a + ib)| < toda vez que x + iy D y 0 < |x + iy (x0 + iy0 )| < . Es decir,
p
2 2
(x, y) D 0 < (x x0 ) + (y y0 ) < = u(x, y) a + i v(x, y) b <
Como el mdulo de un complejo es siempre mayor o igual
p que el mdulo de sus partes real e
imaginaria,
tenemos
entonces que
si (x, y) D y 0 < (x x0 ) + (y y0 ) < , se satisface
2 2
que u(x, y) a < y que v(x, y) b < . Esto quiere decir que lm u(x, y) =
(x,y)(x0 ,y0 )
ay lm v(x, y) = b.
(x,y)(x0 ,y0 )
Sea > 0. Existe 1 > 0 tal que si (x, y) D y 0 < (x, y) (x 0 , y 0 ) < 1 , entonces
|u(x, y) a| < 2 . Tambin existe 2 > 0 tal que si (x, y) D y 0 < (x, y) (x0 , y0 ) < 2 ,
entonces |v(x, y) b| < 2 . Tomando = mn{1 , 2 }, tendremos que para cualquier z = (x, y)
D con 0 < |z z0 | < ocurrir que |u(x, y) a| < 2 y |v(x, y) b| < 2 . Por lo tanto,
|f (z) (a + ib)| = |u(x, y) + iv(x, y) a ib| = u(x, y) a + i v(x, y) b
u(x, y) a + v(x, y) b <
por lo que lm f (z) = a + ib.
zz0
En resumidas cuentas, el lmite de una funcin de variable compleja existe si, y slo si,
existen los lmites (dobles) de sus partes real e imaginaria en el punto (x0 , y0 ), y, en ese caso,
las partes real e imaginaria del lmite son, respectivamente, los lmites de la parte real y de la
parte imaginaria.
Veremos ahora aspectos algebraicos de los lmites de funciones de variable compleja, teniendo
en mente propiedades del lmite de funciones reales de dos variables reales: lmites de suma
o producto de funciones se obtienen, respectivamente, por suma o producto de los lmites
individuales, siempre y cuando los mismos existan. Para el cociente, hay que pedir adems
que el lmite de la funcin en el denominador no sea 0.
Proposicin 3.15. Sean f1 y f2 funciones complejas definidas en D C, y sea z0 punto
de acumulacin de D. Supongamos que lm f1 (z) y lm f2 (z) existen ambos. Entonces:
zz0 zz0
3. LMITES 39
1. lm f1 (z) + f2 (z) = lm f1 (z) + lm f2 (z)
zz0 zz0 zz0
2. lm f1 (z)f2 (z) = lm f1 (z) lm f2 (z)
zz0 zz0 zz0
lm f1 (z)
f1 (z) zz0
3. Si adems es lm f2 (z) 6= 0, entonces lm =
zz0 zz0 f2 (z) lm f2 (z)
zz0
= lm u1 (x, y) + lm u2 (x, y) +
(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )
i lm
v1 (x, y) + i lm v2 (x, y)
(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )
= lm u1 (x, y) + i lm v1 (x, y) +
(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )
lm u2 (x, y) + i lm v2 (x, y)
(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )
= lm f1 (z) + lm f2 (z)
zz0 zz0
Demostracin. Sea > 0. Tomemos > 0 tal que para todo z D con 0 < |z z0 | < ,
se satisfaga que f (z) < /M . Luego, para todo z D con 0 < |z z0 | < , se cumple que
f (z)g(z) < . Entonces lm f (z)g(z) = 0.
zz0
3.1. Lmite infinito y lmite en el infinito. La definicin de lmite que hemos consi-
derado hasta ahora corresponde a valores finitos para la variable y para el lmite, pero veremos,
a continuacin, variantes de la definicin, que permiten que la variable tienda a infinito, o que
el lmite sea infinito.
Lmite infinito: dados f : D C C y z0 punto de acumulacin de D, decimos que
lm f (z) = si M R, > 0 : 0 < |z z0 | < |f (z)| > M .
zz0
Esto significa que para cada M podemos encontrar un entorno reducido de z0 en el
cual el mdulo de la funcin es mayor que M .
1
Ejemplo 3.20. De la definicin surge que, para cualquier a C, es lm = ,
za za
1
pues dado M R, basta con elegir = > 0, ya que si z satisface 0 < |z a| < ,
|M |+1
1
tenemos que 0 < |z a| < |M1|+1 , de donde za > |M | + 1 > M .
Lmite en el infinito: dada una funcin f : D C C de modo tal que D contenga el
exterior de algn crculo con centro en el origen, y dado L C, decimos que lm f (z) =
z
L si > 0, > 0 : |z| > |f (z) L| < .
4. CONTINUIDAD 41
Como vemos, f debe estar definida en algn entorno del infinito, y para cada > 0
debe haber un entorno del infinito en el cual los valores de la funcin difieren de L (en
mdulo) en una cantidad menor que .
1
Ejemplo 3.21. Mostremos que, para cualquier a C, es lm = 0: dado > 0,
z za
1
basta con elegir = |a| + > 0, ya que
1 para
cualquier z que cumple |z| > , tenemos
que |z a| |z| |a| > , de donde za < .
1
Lmite infinito en el infinito: dada una funcin f : D C C de modo tal que D
contenga el exterior de algn crculo con centro en el origen, decimos que lm f (z) =
z
si M R, > 0 : |z| > |f (z)| > M .
Esto quiere decir que para cada M podemos encontrar un entorno del infinito en el
cual el mdulo de la funcin es mayor que M .
Ejemplo 3.22. Veamos que lm z 2 = : dado M R, es suficiente tomar =
p z
1 + |M | > 0, ya que para cualquier z que cumple |z| > , tenemos que |z 2 | > 1+|M | >
M.
4. Continuidad
Definicin 3.23. Una funcin f : D C C es continua en z0 D si > 0, > 0 :
z D, |z z0 | < |f (z) f (z0 )| < . Si f es continua en todo punto de un subconjunto
E, decimos que f es continua en E.
Notar que, para que f sea continua en z0 , f debe estar definida en z0 .
Analizando con cuidado la definicin, podemos notar que si z0 es punto aislado en D, f es
continua en z0 . Si, por el contrario, z0 es punto de acumulacin de D, se tiene que f es continua
en z0 si, y slo si, se satisfacen las siguientes tres condiciones simultneamente:
1. Existe f (z0 ).
2. Existe lm f (z).
zz0
3. lm f (z) = f (z0 )
zz0
tenemos que f 1 (V ) = G D con G abierto. De all que, por teorema 3.33, f es continua en
D.
Lema 3.35. Sean G, E y D subconjuntos de un conjunto universal X, tales que E D. Se
tiene que D E = D G si, y slo si, E = D Gc .
c
Demostracin. Para la ida, si D E = D G, entonces D E = D G, por lo cque
c c c c c c
D E = D G , de donde D D E = D D G , y de all D E = D G , es
decir, E = D Gc .
Para la vuelta, si E = D Gc , entonces E c = Dc G, por lo que D E c = (D Gc )(D G),
de donde D E = D G.
Corolario 3.36. Sea f : D C C. f es continua en D si, y slo si, para todo
subconjunto U que sea cerrado en C, existe un cerrado F tal que f 1 (U ) = D F .
Demostracin. Para la ida, sea U cerrado. Luego, U c es abierto, de donde f 1 (U c ) =
DG para algn abierto G (teor. 3.33). Pero f 1 (U c ) = Df 1 (U ). Luego, DG = Df 1 (U ).
Como f 1 (U ) D, se sigue que f 1 (U ) = D Gc (lema 3.35). Hagamos F = Gc . Se tiene que
F es cerrado, y f 1 (U ) = D F .
Para la vuelta, sea V un abierto. Entonces V c es cerrado, por lo que, de la hiptesis, existe
un cerrado F tal que f 1 (V c ) = D F , y entonces D f 1 (V ) = D F , que implica que
f 1 (V ) = D F c (lema 3.35). Haciendo G = F c , tenemos que f 1 (V ) = D G con G abierto.
Ya que V es arbitrario, f es continua en D (teor. 3.33).
4.1. Continuidad, compacidad y conexidad. Las funciones continuas tienen la bonita
propiedad de transformar subconjuntos compactos de su dominio en subconjuntos compactos
de C.
Teorema 3.37. Sea f : K C C una funcin continua en K. Si K es compacto,
entonces f (K) es compacto.
Demostracin. Sea {Vj }j un cubrimiento S por abiertos para f (K). Se S
tiene que la fa-
milia {f 1 (Vj )}j es cubrimiento para K, pues j Vj f (K) y por lo tanto j f 1 (Vj ) =
S
f 1 j j f
V 1
(f (K)) K. Adems, por ser f continua en K, para cada j , existe
un abierto Gj tal que f 1 (Vj ) = K Gj (teor. 3.33). Entonces,
[ [ [ [
Gj K Gj = (K Gj ) = f 1 (Vj ) K
j j j j
es decir, {Gj }j es cubrimiento por abiertos para S el compacto K. Existe entonces una subfa-
milia finita {Gj1 , . . . , Gjn } de {Gj }j tal que nk=1 Gjk K. De all que
n
[ n
[
(K Gjk ) = K Gj k K K = K
k=1 k=1
1
Sn Sn 1
Sn
por lo que f ( k=1 Vjk ) = k=1 f (Vjk ) = k=1 (K Gjk ) K y, en consecuencia,
n n
!!
[ [
1
Vj k f f Vj k f (K)
k=1 k=1
5. Derivabilidad
Definicin 3.45. Sea f : D C C, con D un dominio en C, y sea z0 D. La derivada
df
de f en z0 , denotada por f (z0 ) o tambin dz z0
, es
f (z) f (z0 )
f (z0 ) = lm
zz0 z z0
si es que dicho lmite existe.
A travs del cambio de variable z = z z0 , la derivada de f en z0 tambin puede expresarse
como
f (z0 + z) f (z0 )
f (z0 ) = lm
z0 z
5. DERIVABILIDAD 47
Proposicin 3.49. Sean f1 y f2 funciones complejas tales que f1 (z0 ) y f2 (z0 ) existen.
Supongamos adems que k es una constante compleja. Entonces:
1. dk
dz
=0
48 3. FUNCIONES DE VARIABLE COMPLEJA
d kf1 (z)
2. = kf1 (z0 )
dz
z0
d f1 (z)+f2 (z)
3. = f1 (z0 ) + f2 (z0 )
dz
z0
d f1 (z)f2 (z)
4. = f1 (z0 )f2 (z0 ) + f1 (z0 )f2 (z0 )
dz
z0
d f1 (z)/f2 (z) f1 (z0 )f2 (z0 )f1 (z0 )f2 (z0 )
5. Si adems es f2 (z0 ) 6= 0, entonces =
dz (f2 (z0 ))2
z0
f1 (z) = f1 (z0 )+(zz0 )f1 (z0 )+(zz0 )1 (z) f2 (z) = f2 (z0 )+(zz0 )f2 (z0 )+(zz0 )2 (z)
Por lo tanto, para z 6= z0 , es
f1 (z) + f2 (z) f1 (z0 ) f2 (z0 )
= f1 (z0 ) + f2 (z0 ) + 1 (z) + 2 (z)
z z0
d f1 (z)+f2 (z)
con lm 1 (z) + 2 (z) = 0 Por lo tanto, de nuevo por la proposicin 3.17, es =
zz0 dz
z0
f1 (z0 )+f2 (z0 ).
Con consideraciones anlogas, se demuestra lo relativo a la derivada del producto
y del cociente.
La regla de la cadena vale tambin para el caso complejo.
Proposicin 3.50. Sean f : D C y g : f (D) C tales que f es derivable en z0 y g es
derivable en f (z0 ). Entonces, g f es derivable en z0 , y la derivada vale g f (z0 ) f (z0 ).
Demostracin. Hagamos 0 = f (z0 ), y designemos por a la variable independiente
para g. Por proposicin 3.17, existen 1 : D C y 2 : f (D) C tales que lm 1 (z) = 0,
zz0
lm 2 () = 0 y
0
f (z) = f (z0 ) + (z z0 ) f (z0 ) + 1 (z) g() = g(0 ) + ( 0 ) g (0 ) + 2 ()
Redefiniendo 2 en 0 en caso de ser necesario, podemos suponer que 2 es continua en 0 , es
decir, 2 (0 ) = lm 2 () = 0.
0
Para cualquier z D, haciendo = f (z), tenemos entonces que
g f (z) = g f (z0 ) + f (z) f (z0 ) g f (z0 ) + 2 f (z)
= g f (z0 ) + (z z0 ) f (z0 ) + 1 (z) g f (z0 ) + 2 f (z)
Veremos ahora cmo valernos de las partes real e imaginaria u(x, y) y v(x, y) de una funcin
f para analizar su derivabilidad.
Teorema 3.51. (Condicin necesaria de derivabilidad)
Supongamos que la funcin f (z) = u(x, y)+iv(x, y) tiene derivada en el punto z0 = x0 +iy0 .
Entonces las derivadas parciales ux , uy , vx y vy existen en (x0 , y0 ) y se verifican las siguientes
igualdades, denominadas Ecuaciones de CauchyRiemann:
ux (x0 , y0 ) = vy (x0 , y0 ) uy (x0 , y0 ) = vx (x0 , y0 )
Por lo tanto,
f (z) f (z0 ) = u(x, y) + iv(x, y) u(x0 , y0 ) iv(x0 , y0 )
= u(x, y) u(x0 , y0 ) + i v(x, y) v(x0 , y0 ))
= (x x0 )ux (x0 , y0 ) + (y y0 )uy (x0 , y0 ) + (x x0 )1 (x, y) +
(y y0 )2 (x, y) + i(x x0 )vx (x0 , y0 ) + i(y y0 )vy (x0 , y0 ) +
i(x x0 )3 (x, y) + i(y y0 )4 (x, y)
5. DERIVABILIDAD 51
Ejemplo 3.55. Para f (z) = Ln z, es u(r, ) = ln r y v(r, ) = = Arg z. Por lo tanto, para
todo z 6= 0, es ur = 1/r, u = 0, vr = 0 y v = 1. Se satisfacen entonces las ecuaciones de
CauchyRiemann para todo z 6= 0. Adems, para r 6= 0 y < < , las expresiones ur ,
u , vr , u , cos , senr , sen y cosr son todas continuas, de donde ux , uy , vx y vy tambin lo
son. De all que, por el teorema 3.54, la funcin Ln z es derivable en todo el plano complejo
excepto en 0 y el semieje real negativo (donde no es derivable pues no es continua, ya que Arg z
no es continua all, segn vimos en el ejemplo 3.24). La derivada en z0 = r0 ei0 , con r0 6= 0 y
< 0 < , vale
1 1 1
f (z0 ) = ur (r0 , 0 ) + ivr (r0 , 0 ) ei0 = ei0 = i
=
r0 r0 e 0 z0
6. Analiticidad
Definicin 3.56. Una funcin es analtica en un punto si es derivable en un entorno de
dicho punto. Es decir, una funcin f definida en un dominio D es analtica en z0 si existe r > 0
tal que para todo z Br (z0 ), existe f (z). f se dice analtica en un conjunto si es analtica
en todo punto de ese conjunto. f se dice entera si es analtica en todo el plano complejo.
Como vemos, la analiticidad en z0 exige la derivabilidad no slo en z0 , sino tambin en todo
un entorno alrededor de z0 . Una funcin puede fcilmente tener derivada en un punto sin ser
analtica en ese punto. Puntualicemos que no es correcto hablar de una funcin analtica sin
especificar el conjunto donde se considera la analiticidad.
Ejemplo 3.57. Vimos, en el ejemplo 3.47, que la funcin f (z) = |z|2 slo es derivable en
z = 0; por lo tanto, cualquier entorno de 0 contiene puntos donde no existe la derivada, en
consecuencia f (z) no es analtica en z = 0, ni en ningn otro punto.
Dado que una funcin derivable en un punto necesariamente satisface las ecuaciones de
CauchyRiemann en ese punto, de la definicin de analiticidad se desprende inmediatamente
el siguiente resultado.
Teorema 3.58. (Condicin necesaria de analiticidad)
Supongamos que la funcin f (z) = u(x, y) + iv(x, y) es analtica en el punto z0 = x0 + iy0 .
Entonces existe un entorno de z0 tal que las ecuaciones de CauchyRiemann se verifican en
todo punto de l.
Teorema 3.59. (Condicin suficiente de analiticidad)
Supongamos que la funcin f (z) = u(x, y) + iv(x, y) satisface las ecuaciones de Cauchy
Riemann en un entorno B del punto z0 = x0 + iy0 , y que las derivadas parciales ux , uy , vx y
vy son continuas en todo punto de B. Entonces, la funcin f es analtica en z0 .
Demostracin. Sea z1 perteneciente a B, y sea r tal que Br (z1 ) B. Entonces, se
satisfacen las ecuaciones de CauchyRiemann en z1 , y adems ux , uy , vx y vy son continuas
en todo punto de Br (z1 ). Luego, la funcin es derivable en z1 . Como z1 es arbitrario en B, se
sigue que la funcin es derivable en todo punto de B. En consecuencia, la funcin es analtica
en z0 .
Observacin 3.60. Un resultado que estaremos en condiciones de demostrar ms adelante
en este curso es que el cumplimiento de las ecuaciones de CauchyRiemann y la continuidad
de las derivadas parciales en todo un entorno de un punto son tambin necesarias para la
analiticidad de una funcin en ese punto. Como consecuencia de ello, deduciremos que si una
funcin f (z) = u(x, y) + iv(x, y) es analtica en un dominio D, entonces:
f admite derivadas de todos los rdenes en D, y son todas funciones analticas en D
u y v admiten derivadas parciales de todos los rdenes respecto de x y de y, y son todas
funciones continuas en D.
6. ANALITICIDAD 53
Por lo pronto, usaremos estos hechos libremente a partir de ahora, an cuando la demostracin
queda pendiente.
Ejemplo 3.61. Analicemos los puntos del plano en los que la funcin f (z) = 1/z es analtica.
De entrada, vemos que la funcin no es analtica en 0 pues no est definida all. Para
x y
(x, y) 6= (0, 0), tenemos que u(x, y) = x2 +y 2 y v(x, y) = x2 +y 2 , por lo que
y 2 x2 2xy
ux (x, y) = 2 uy (x, y) = 2
x2 + y 2 x2 + y 2
2xy y 2 x2
vx (x, y) = 2 vy (x, y) = 2
x2 + y 2 x2 + y 2
Las ecuaciones de CauchyRiemann se satisfacen en todo el plano complejo, excepto 0.
Las cuatro derivadas parciales son sumas, productos, cocientes y composicin de funcio-
nes que son continuas en todo R2 salvo (0, 0), y en consecuencia son funciones continuas
en R2 {(0, 0)}.
Luego, las condiciones suficientes de analiticidad se satisfacen en todo el plano complejo excepto
el 0. De all que la funcin f (z) = 1/z sea analtica en C {0}.
Por supuesto, el ejemplo anterior podra haber sido resuelto tambin considerando a la
funcin 1/z como cociente de las funciones 1 y z, que son derivables en todo el plano complejo.
Por lo tanto, el cociente es derivable en todo el plano salvo 0, pues all se anula el denominador.
Concluimos tambin la analiticidad de la funcin en C {0}.
Teorema 3.62. Si dos funciones son analticas en un punto, la suma y el producto son
analticas en ese punto. El cociente de estas funciones es analtico en el punto, excepto que el
denominador se anule all.
Demostracin. Supongamos que f1 y f2 son analticas en z0 . Existen entonces reales
positivos r1 y r2 tales que f1 es derivable en todo punto de Br1 (z0 ) y f2 es derivable en todo
punto de Br2 (z0 ).
Si elegimos r = mn{r1 , r2 }, tendremos que f1 y f2 son ambas derivables en todo punto
de Br (z), y por lo tanto f1 + f2 y f1 f2 son ambas derivables en todo punto de Br (z)
(prop. 3.49). Esto muestra que f1 + f2 y f1 f2 son ambas analticas en z0 .
Supongamos adems que f2 (z0 ) 6= 0. Siendo f2 analtica en z0 , es derivable, y por lo
tanto continua en z0 . Por prop. 3.26, existe r3 > 0 tal que para todo z Br3 (z0 ) es
f2 (z) 6= 0. Eligiendo entonces r = mn{r1 , r2 , r3 } tenemos que para todo z Br (z0 )
existen f1 (z) y f2 (z) con f2 (z) 6= 0. Luego, f1 /f2 es derivable en todo punto de Br (z0 )
(prop. 3.49) y, en consecuencia, f1 /f2 es analtica en z0 .
Ejemplo 3.63. La funcin dada por
z 2 3z
f (z) =
(z + 2)(z 5i)
es analtica en todo el plano complejo excepto en los puntos 2 y 5i, pues se trata del cociente
de dos funciones enteras, y la funcin del denominador se anula precisamente en esos puntos. En
general, toda funcin racional f (z) = P (z)/Q(z), con P y Q polinomios en la variable compleja
z, es analtica en todo el plano complejo, excepto en las races de Q(z).
Teorema 3.64. Si f es analtica en z0 y g es analtica en f (z0 ), entonces g f es analtica
en z0 .
54 3. FUNCIONES DE VARIABLE COMPLEJA
Demostracin. Sea r1 tal que f es derivable en cada punto de Br1 (z0 ), y sea r2 tal que
g es derivable en cada punto de Br2 f (z0 ) . Por continuidad de f en z0 , existe r3 > 0 tal que
si |z z0 | < r3 , entonces f (z) f (z0 ) < r2 . Tomando r = mn{r1 , r3 }, tenemos que para
cualquier z1 Br (z0 ) es f derivable en z1 y g derivable en f (z1 ). Por prop. 3.50, g f es
derivable en cada punto de Br (z0 ), y entonces g f es analtica en z0 .
Ejemplo 3.65. Consideremos
eiz + eiz
f (z) = cos z =
2
z
Dado que las funciones z, cz (c C) y e son derivables en todo el plano, y que f (z) se puede
obtener como composicin y suma de ellas, f (z) resulta analtica en todo el plano complejo.
Anlogamente, la funcin sen z es entera. En consecuencia, la funcin tan z es analtica en todo
punto del plano tal que cos z 6= 0. Por lo tanto, tan z es analtica en C 2 + k : k Z .
6.1. Analiticidad de funciones elementales. Para generalizar el ejemplo 3.65, di-
gamos que los teoremas 3.59, 3.62 y 3.64 permiten fcilmente el estudio de la analiticidad
de muchas de las funciones de variable compleja que ya conocemos, y de la obtencin de su
derivada. En la siguiente tabla resumimos esta informacin para las funciones polinmicas,
exponencial, trigonomtricas e hiperblicas, indicando con D el mayor subconjunto de C en
donde cada funcin es analtica.
f (z) D f (z) f (z) D f (z)
z n (n N) C nz n1 ez C ez
sen z C cos z cos z C sen z
tan z C {/2 + k : k Z} sec2 z cot z C {k : k Z} cosec2 z
sec z C {/2 + k : k Z} tan z sec z cosec z C {k : k Z} cot z cosec z
senh z C cosh z cosh z C senh z
tanh z C {i/2 + ik : k Z} sech2 z coth z C {ik : k Z} csch2 z
sech z C {i/2 + ik : k Z} tanh z sech z csc z C {ik : k Z} coth z csch z
7. Funciones Armnicas
Supongamos que u(x, y) es una funcin real en x e y, definida en algn subconjunto D
abierto y conexo de R2 , y queremos saber si corresponde a la parte real de alguna funcin que
sea analtica en D. Es decir, ser posible encontrar v(x, y) definida en el mismo dominio, de
manera tal que la funcin f (z) = u(x, y) + iv(x, y) sea analtica en D?
Supongamos que s. Entonces, por satisfacer f las ecuaciones de CauchyRiemann en D,
se tiene que ux (x, y) = vy (x, y) y uy (x, y) = vx (x, y) en todo punto de D. Teniendo presente
la observacin 3.60, podemos derivar ambas ecuaciones parcialmente, miembro a miembro, la
primera respecto de x y la segunda respecto de y, resultando que, para cada (x, y) D, se
cumple que
uxx (x, y) = vyx (x, y) uyy (x, y) = vxy (x, y)
Adems, siendo las segundas derivadas parciales todas continuas (observ. 3.60), el orden de
derivacin en las derivadas cruzadas no influye, y tendremos que vyx (x, y) = vxy (x, y). De este
modo, sumando miembro a miembro las expresiones anteriores, llegamos a que uxx (x, y) +
uyy (x, y) = 0 para todo (x, y) D. Es decir, u satisface la ecuacin de Laplace 1 en D.
2 2
Recordemos que el operador laplaciano puede expresarse como 2 = x 2 + y 2 , de modo que
2u 2u
2 u = x2
+ y 2
.
Definicin 3.66. Una funcin u es armnica en un dominio si sus segundas derivadas
parciales existen y son continuas, y se satisface la ecuacin de Laplace 2 u = 0 en dicho
dominio.
1Pierre Simon Laplace (1749-1827). Astrnomo, fsico y matemtico francs. Descubri la ecuacin diferen-
cial que lleva su nombre cuando estudiaba la gravitacin y su relacin con el movimiento planetario.
7. FUNCIONES ARMNICAS 55
Entonces, para todo (x, y) R2 , se tiene que uxx (x, y) + uyy (x, y) = 0. Como vemos, u es
armnica en todo el plano. Lo mismo se puede verificar para v.
Volviendo al problema planteado al inicio de esta seccin, podemos responder a la pregunta
afirmativamente, en caso de que la funcin u sea armnica y el dominio D sea simplemente
conexo. Intuitivamente, un dominio es simplemente conexo cuando no posee agujeros en su
interior (daremos una definicin ms formal posteriormente). Por ejemplo, cualquier entorno es
un dominio simplemente conexo, no as los entornos reducidos o las coronas de tipo {z C :
r1 < |z z0 | < r2 } (0 < r1 < r2 ).
Teorema 3.69. Sea u(x, y) una funcin real armnica en un dominio simplemente conexo
D. Existe una funcin v(x, y) armnica en D tal que la funcin f (z) = u(x, y) + iv(x, y) es
analtica en D.
Omitiremos la demostracin del teorema anterior. Cualquier funcin v de las que enuncia el
teorema se denomina una armnica conjugada de u en el dominio D. Todas las armnicas
conjugadas de u difieren en una constante, y pueden ser encontradas por integracin a partir
de las ecuaciones de CauchyRiemann, como mostramos en el siguiente ejemplo.
Ejemplo 3.70. La funcin u(x, y) = ex cos y es armnica en R2 , pues
ux (x, y) = ex cos y uxx (x, y) = ex cos y
uy (x, y) = ex sen y uyy = ex cos y
de modo que uxx (x, y) + uyy (x, y) = 0 en todo R2 .
Para hallar una funcin v que sea armnica conjugada de u en R2 , por las Recuaciones de
CauchyRiemann, debe ser vy (x, y) = ux (x, y) = ex cos, por lo que v(x, y) = ex cos ydy =
ex sen y + c(x), en donde c(x) representa una funcin de la variable x solamente (es decir, no
puede depender de y). Dado que la otra ecuacin de CauchyRiemann tambin debe satisfacerse,
debe ser vx (x, y) = ex sen y + c (x) = uy (x, y), es decir, debe cumplirse que ex sen y + c (x) =
ex sen y, por lo que c (x) = 0, de donde deducimos que c(x) tampoco puede depender de x.
Entonces, c(x) debe ser una constante real, por lo que cualquier armnica conjugada de u en
R2 es de la forma v(x, y) = ex sen y + c, con c R.
Concluimos tambin que, para cualquier c R, la funcin f (z) = ex cos y + i (ex sen y + c)
es analtica en todo el plano complejo (ntese que f (z) = ez + ic).
56 3. FUNCIONES DE VARIABLE COMPLEJA
Ejemplo 3.73. Consideremos la funcin entera f (z) = z 2 . Sus partes real e imaginaria son,
respectivamente, u(x, y) = x2 y 2 y v(x, y) = 2xy. Las curvas de nivel de u se estudiaron en el
ejemplo 3.71. Para las de v, consideramos 2xy = c.
Si c = 0, debe ser x = 0 o y = 0. Entonces, la curva de nivel de valor 0 para v es el par
de ejes x = 0, y = 0.
c
Si c 6= 0, se trata de la hiprbola y = 2x , asinttica con los ejes coordenados. Si c > 0,
la grfica de la hiprbola se desarrolla en los cuadrantes primero y tercero, y para c < 0
la grfica se desarrolla en los cuadrantes segundo y cuarto.
En la figura 1 se muestran algunas curvas de nivel de u y v, notndose la perpendiculari-
dad de las mismas cuando se intersecan en puntos distintos del origen. En el origen no hay
perpendicularidad, pero eso no es una contradiccin al teorema anterior, pues f (0) = 0.
10
7.5
2.5
-2.5
-5
-7.5
-10
Figura 1
8. Singularidades
Definicin 3.74. Un punto z0 es una singularidad de una funcin f si ocurre que f no
es analtica en z0 , pero todo entorno de z0 contiene un punto donde f es analtica.
z 2 3z
Ejemplo 3.75. f (z) = . Las funciones z 2 3z y (z + 2) (z 5i) son enteras,
(z + 2) (z 5i)
y entonces, por el teorema 3.62, las singularidades de f (z) son z = 2 y z = 5i.
Ejemplo 3.76. g (z) = |z|2 . Vimos en el ejemplo 3.57 que esta funcin no es analtica en
ningn punto, por lo tanto no tiene singularidades.
1
Ejemplo 3.77. h (z) = sen(1/z) . No es analtica en 0 ni en los valores de z que anulan a
1
sen(1/z), que son los reales de la forma 2k para cualquier k Z. En todos los otros valores
de z, la funcin es analtica. Por lo tanto, las singularidades de h son 0 y los reales de la forma
1
2k
con k Z.
4
y 9
4
, y considerando z 6= 0.
Definicin 3.79. Una rama de una funcin multiforme es una funcin univaluada de la
misma que es analtica en cierto dominio. En cada punto de ese dominio, la funcin univaluada
debe tomar uno, y slo uno, de los valores de la funcin multiforme.
Ejemplo 3.80. Dada la funcin uniforme f (z) = ln |z| + i arg z con 3 2
< arg z 2
1. Determinar el mayor dominio para que f (z) sea una rama de ln z.
2. Hallar f (2) y f (1 + i)
Resolucin:
1. Antes de estudiar la analiticidad, veamos cul es el conjunto donde la funcin es conti-
nua.
La funcin no es continua en el origen porque ln |z| no est definida en z = 0.
Tampoco es continua en la parte positiva del eje imaginario, por no ser continuo el arg z
en dicho semieje (por qu?). Luego, el dominio de continuidad es D = {z C : 3 2
<
arg z < 2 z 6= 0}.
Veamos que esta funcin es analtica en D. Para obtener la derivada pasemos
a
u v
coordenadas polares, considerando f (z) = ln r + i: f (z) = +i ei =
r r
1 1 1
+ i0 ei = i
= ; esta funcin existe para todo z D, luego, el mayor
r re z
dominio para que la funcin dada sea una rama de ln z es D.
2. f (2) = Ln (2) = ln 2 + i () = 0.69315 3. 1416i
5
f (1 + i) = Ln (1 + i) = ln 2 + i = 0. 34657 3. 927i.
4
Generalizando el ejemplo anterior, se puede ver que todas las ramas de ln z surgen de
restringir arg z a un intervalo abierto de longitud 2.
Definicin 3.81. Un corte de ramificacin de una funcin multiforme es una recta (o,
ms generalmente, una curva) que se usa para crear un dominio de analiticidad.
En el ejemplo 3.80, el corte usado es el semieje positivo imaginario con el origen.
Definicin 3.82. Un punto de ramificacin de una funcin multiforme es un punto en
comn que tienen todos los cortes de ramificacin de la funcin multiforme.
Un punto de ramificacin de una funcin multiforme siempre es una singularidad no aislada
de cualquiera de las ramas de la funcin multiforme.
Ejemplo 3.83. El punto de ramificacin de ln z es z = 0, dado que todos los cortes son
semirrectas que parten desde el origen.
EJERCICIOS
1. Demostrar todas las propiedades generales de las funciones que se enuncian en la seccin
Preliminares: A B f (A) f (B), etc.
EJERCICIOS 59
2. Considerar las siguientes funciones f (z) con z = x + iy. Expresarlas como f (x + iy) =
u(x, y) + iv(x, y), indicando dominio de definicin:
1 z
i) f (z) = ii) f (z) = iii) f (z) = (z i)2 iv) f (z) = z 2 + i
|z| 1+z
3. Verificar, por definicin, que lm z21+1 = 2i+1
1
z1+i
2 +z2
4. Mostrar que lm z z1 no existe, calculndolo a travs de dos trayectorias distintas.
z1
5. Mostrar que si existe lm f (z), entonces, dado cualquier > 0, existe un entorno redu-
zz0
cido de z0 tal que para cualesquiera z1 , z2 en ese entorno que pertenezcan al dominio de
definicin de f , se tiene que |f (z2 ) f (z1 )| < .
6. Sea S un conjunto conexo, y supongamos que f es una funcin continua en S que toma
slo valores enteros. Mostrar que f es constante en S.
7. Sea f : K C T C, con K compacto y f biyectiva y continua en K. Mostrar que
f 1 es una funcin continua en T .
1
8. Usando la definicin, verificar que lm (zi) 2 = , y que lm zz+2i
2 +4 6= .
zi z2i
9. Analizar para qu valores de z = x + iy las siguientes funciones f (z) tienen derivada,
encontrando el valor de la misma.
i) f (z) = z ii) f (x + iy) = x2 y 2 2xy + i (2xy + x2 y 2 )
3
iii) f (z) = e z
iv) f (z) = zz2z
+i
v) f (z) = sen z
10. Mostrar la validez de la Regla de LHpital:
Si f y g son funciones complejas diferenciables en z0 , con f (z0 ) = 0 = g (z0 ) y
g (z0 ) 6= 0, entonces
f (z) f (z0 )
lm =
zz0 g (z) g (z0 )
9
Usar esta regla para encontrar lmzi z z+z2i
15 +i y lmz0 senz z .
11. Mostrar que la funcin f (z) = x2 + iy 2 es derivable slo si y = x, y, por lo tanto, no es
analtica en ningn punto. Hallar el valor de la derivada en los puntos en los que existe.
12. Determinar en qu regiones del plano complejo son analticas las siguientes funciones, y
calcular su derivada en esos puntos:
i) f (z) = 2z 2 + 3 ii) f (z) = z + z 1 iii) f (x + iy) = xy + 2i (x2 y 2 )
1 2 2
iv) f (z) = z4 +2z 2 +1 v) f (z) = z Re(z) vi) f (x + iy) = ex y e2xyi
vii) f (z) = senh z viii) f (z) = tan z ix) f (z) = (3x2 + 5y) + i(6xy 5x)
13. Demostrar que si f (z) es analtica en z0 y g(z) no es analtica en z0 , entonces h(z) =
f (z) + g(z) no es analtica en z0 .
14. Encontrar los valores de los parmetros a, b, c R de manera tal que la funcin f (z) =
x + ay + i(bx + cy) sea una funcin entera.
15. Hallar la forma polar de las ecuaciones de Cauchy-Riemann, y con ella estudiar la
analiticidad de las funciones f (z) = Ln z, g (z) = z n y h (rcis) = r cos + ir.
16. Sea D un dominio en C, y f : D C C una funcin analtica en D. Supongamos
que f (z) = u(x, y) + iv(x, y).
a) Mostrar que si f (z) = 0 para todo z D, entonces f es constante en D.
b) Mostrar que si f (z) es analtica en D, entonces f es constante en D.
c) Mostrar que si u es constante en D, entonces f es constante en D.
d ) Mostrar que si v es constante en D, entonces f es constante en D.
e) Mostrar que si |f (z)| es constante en D, entonces f es constante en D.
17. Probar que si f es analtica en un dominio D, entonces se tiene que, en D,
2 2
+ |f (z)|2 = 4 |f (z)|
x2 y 2
60 3. FUNCIONES DE VARIABLE COMPLEJA
18. Para cada una de las siguientes funciones u (x, y), determine el mayor dominio D en
que son armnicas. Encontrar su armnica conjugada en D, y una funcin de variable
compleja f (z) analtica en D tal que Re (f (z)) = u (x, y):
a) u(x, y) = 6x2 y 2 x4 y 4 + y x + 1
b) u(x, y) = ex cos y
c) u(x, y) = 2xy + 3xy 2 2y 3
d ) u(x, y) = 2x(1 y)
e) u(x, y) = x2 +yx4
2 8x+16
19. Determinar los valores de z para los cuales la funcin u(x, y) = x4 y 3 satisface la
ecuacin de Laplace. Es u armnica en algn dominio?
20. Si u(x, y) y v(x, y) son dos funciones armnicas, comprobar que u + v debe ser una
funcin armnica, pero que uv no es necesariamente armnica.
21. Muestre que si f (z) = u(x, y) + iv(x, y) es analtica en un dominio D, entonces uv es
armnica en D, mientras que u2 no lo es, a menos que u sea constante.
22. Considerar la funcin f (z) = z 3 = u + iv.
a) Obtener la ecuacin de la curva sobre la cual u = 1 en el plano xy. Repetir el clculo
para v = 1. Trazar ambas curvas en el primer cuadrante.
b) Determinar analticamente el punto de interseccin (a, b) de dichas curvas en el
primer cuadrante. (Sugerencia: considerar z = r cis y encontrar la interseccin en
coordenadas polares).
c) Calcular las pendientes de ambas curvas en el punto de interseccin (a, b), y com-
probar la ortogonalidad.
23. Mostrar que las curvas de nivel de las partes real e imaginaria de f (z) = 1/z son
crculos ortogonales que contienen al origen y con centros en el eje real e imaginario
respectivamente.
24. Delinear las curvas de nivel correspondientes a las partes real e imaginaria de f (z) =
(z 1)/(z + 1)
25. Funciones armnicas aplicadas en Electrosttica
En un campo elctrico, el flujo elctrico emana desde las cargas positivas y se absorbe
en las negativas. La concentracin de flujo elctrico en un punto se describe a travs del
vector campo eltrico E. Consideraremos el caso en que el flujo es bidimensional,
por ejemplo en una placa delgada que supondremos coincidente con el plano complejo.
Las ecuaciones de Maxwell muestran que el campo elctrico puede obtenerse a partir
de una funcin llamadapotencial electrosttico, (x, y), que resulta ser una funcin
armnica y se mide en voltios. Las curvas que se generan haciendo (x, y) =constante
se llaman lneas equipotenciales.
Las expresiones para el campo son:
Ex = Ey =
x y
(Aqu los subndices no indican derivadas parciales, sino direccin de las compo-
nentes). Se llama potencial electrosttico complejo a la funcin analtica cuya
parte real es el potencial escalar. La parte imaginaria de esta funcin compleja se llama
funcin de corriente, denotada por (x, y), y las curvas en el plano que se generan
haciendo (x, y) =constante se llaman lneas de corriente, que tienen la caracterstica
de ser tangentes al vector de campo elctrico en cualquier punto del plano. La relacin
entre el vector de campo elctrico y el potencial electrosttico complejo est dada por:
d
E(z) =
dz
donde, naturalmente, z = (x, y).
EJERCICIOS 61
a) Puede ser que el campo elctrico generado por un flujo electrosttico sea E(x+iy) =
1 12 1
10 (y + ix)? Y E(x + iy) = 1012 (x + iy)?
9 9
b) Encontrar el potencial electrosttico que surge del campo elctrico E(x + iy) =
1 12
10 (y + ix), suponiendo que (0, 0) = 0. Trazar las equipotenciales (x, y) = 0 y
9
1
(x, y) = 1012 .
9
c) Encontrar la funcin de corriente (x, y), suponiendo que (0, 0) = 0. Trazar tres
lneas de corriente cualquiera.
d ) Encontrar el potencial complejo , expresndolo en trminos de z (para esto, usar
z+z zz
las relaciones Re(z) = e Im(z) = ).
2 2i
e) Para el punto (1, 1), determinar las componentes del campo elctrico y mostrar,
por medio de un diagrama, el vector correspondiente a este campo, y las lneas
equipotencial y de corriente que pasan por dicho punto.
Captulo 4
Como vemos, dos funciones distintas z1 (t) = x1 (t) + iy1 (t) (a1 t b1 ) y z2 (t) = x2 (t) +
iy2 (t) (a2 t b2 ) pueden representar un mismo contorno. Formalizaremos esa idea diciendo
que z1 y z2 representan el mismo contorno, o que z1 y z2 son equivalentes, si existe
una funcin continua biyectiva g del intervalo [a1 , b1 ] en el intervalo [a2 , b2 ] tal que g(a1 ) = a2 ,
g(b1 ) = b2 y z1 = z2 g. En el ejemplo anterior, para ver que las expresiones de los dos primeros
incisos corresponden a un mismo contorno, basta tomar g(t) = t + 1.
1.1. Polgonos inscriptos en contornos. Supongamos que C es un contorno con para-
metrizacin dada por la funcin continua z(t), a t b. Consideremos una particin P
del intervalo [a, b], es decir, P = {t0 , t1 , . . . , tn } con a = t0 , b = tn y tk < tk+1 para todo
k {0, 1, . . . , n1}. Designemos a la norma de la particin mediante kPk = max{tk+1 tk : k =
0, 1, . . . , n1}, y hagamos zk = z(tk ) para cada k = 0, 1, . . . , n. Tenemos que cada zk es un punto
de C, por lo que los puntos z0 , z1 , . . . , zn determinan una poligonal P = [z0 , z1 , . . . , zn ] desde el
punto inicial hasta el punto final de C que adems tiene todos sus vrtices intermedios en C. Se
dice entonces que P es la poligonal inscripta en C inducida por P. Una parametrizacin
para el segmento [zk , zk+1 ] de P est dada por la expresin
t tk
fk (t) = zk + (zk+1 zk )
tk+1 tk
con parmetro t tal que tk t tk+1 . De este modo, una parametrizacin para P es dada por
z1 (t), a t b, con z1 (t) = fk (t) para t [tk , tk+1 ], k = 0, 1, . . . , n 1.
Como es de esperarse, cuanto ms fina es una particin (es decir, cuanto ms pequea es
su norma), ms ceida es la poligonal P al contorno C.
Proposicin 4.2. Sea C un contorno con parametrizacin z(t), a t b, y sea > 0.
Existe > 0 tal que si P es una particin con norma menor que , entonces P induce una
poligonal P con parametrizacin z1 (t), a t b, tal que para todo t [a, b], |z1 (t) z(t)| < .
1. FUNCIONES COMPLEJAS DE VARIABLE REAL. CURVAS Y CONTORNOS 65
obtenemos la expresin z + z + (2k) = 0. De todo esto concluimos que, en general, una recta
en el plano complejo se representa por una expresin de la forma
(7) Bz + Bz + C = 0; B C , B 6= 0, C R
o por una expresin que admita ser llevada a esa forma por manipulacin algebraica. Recpro-
camente, cualquier expresin de la forma (7) representa una recta en el plano complejo.
Observaciones:
Si C = 0, la ecuacin corresponde a una recta que pasa por el origen, ya que (0, 0)
verifica la ecuacin. Si C 6= 0, la recta no pasa por el origen.
Si B y C son tales que se puede obtener una expresin de la forma z + z + D = 0, con
D R, resulta x = D/2 lo que representa una recta vertical.
Veamos ahora cmo obtener una expresin para una circunferencia, en trminos de z y z.
Sabemos que una circunferencia de centro z0 y radio r puede representarse por la ecuacin
|z z0 | = r. Trabajando esta expresin, vemos que
(z z0 ) (z z0 ) = r2
(z z0 ) (z z0 ) = r2
zz zz0 z0 z + z0 z0 r2 = 0
zz + (z0 ) z + (z0 ) z + |z0 |2 r2 = 0
Tomando A = 1, B = z0 y C = |z0 |2 r2 , vemos que una circunferencia en el plano complejo
admite una ecuacin de la forma:
(8) Azz + Bz + Bz + C = 0; A, C R, A 6= 0, B C
Recprocamente, una ecuacin de la forma Azz +Bz +Bz +C = 0 representa una circunferencia
en el caso en que A y C sean reales, A 6= 0, y el complejo B satisfaga |B|2 > AC; en este caso,
2
B |B| AC
el centro de la circunferencia es z0 = y el radio es r = |A|
.
A
Observaciones:
Si B = 0, se trata de una circunferencia con centro en el origen.
La circunferencia pasa por el origen si, y slo si, C = 0.
Si B = C = 0, se tiene una circunferencia degenerada (el origen).
Destaquemos que la ecuacin (8) se puede interpretar como una generalizacin de la ecuacin
(7), o que esta ltima corresponde a la (8) con A = 0. Entonces, podemos resumir todo diciendo:
La ecuacin de una recta o una circunferencia en el plano complejo est dada por:
(9) Azz + Bz + Bz + C = 0
con A y C nmeros reales, y B complejo.
Si A = 0 y B 6= 0, se tiene una recta (que pasa por el origen si y slo si C = 0).
Si A 6= 0 y |B|2 > AC, se tiene una circunferencia (que pasa por el origen si y slo si
C = 0).
derivadas de sus partes real e imaginaria son, por el Teorema de la Derivacin de Funciones
Compuestas,
u (x(t), y(t)) = ux (x, y)x (t) + uy (x, y)y (t) = ux (x, y)x (t) vx (x, y)y (t)
v (x(t), y(t)) = vx (x, y)x (t) + vy (x, y)y (t) = vx (x, y)x (t) + ux (x, y)y (t)
donde hemos usado las ecuaciones de Cauchy-Riemann. Siendo ux y vx continuas por analiti-
cidad de f , as como x e y por ser z(t) una curva suave, se tiene que u y v son funciones
continuas de t, por lo que w (t) existe y es continua en todo punto de [a, b]. Para terminar de
ver que es una curva suave, falta ver que es w (t) 6= 0 en (a, b):
w (t) = u (t) + iv (t)
= ux (x, y)x (t) vx (x, y)y (t) + i (vx (x, y)x (t) + ux (x, y)y (t))
= ux (x, y)x (t) vx (x, y)y (t) + ivx (x, y)x (t) + iux (x, y)y (t)
= (ux (x, y) + ivx (x, y)) (x (t) + iy (t))
= f (z)z (t)
es decir, w (t) = f (z)z (t) (lo cual, de paso, justifica la regla de la cadena para este caso) y
ya que z (t) 6= 0 (pues z(t) es curva suave) y f (z) 6= 0 por hiptesis asumida, es w (t) 6= 0 en
(a, b). Luego, w(t) es una curva suave.
Cmo determinar geomtricamente el transformado de la curva z(t) = x(t) + iy(t) bajo la
funcin f ? Consideremos el sistema de dos ecuaciones en u y v con el parmetro t:
u = u (x(t), y(t))
v = v (x(t), y(t))
De ser posible, se procede eliminando t (considerando la restriccin a t b) para obtener
una expresin implcita del tipo F (u, v) = 0, que indica la figura en el plano uv que corres-
ponde al transformado de la curva z(t). Alternativamente, puede convenir ver a la curva como
subconjunto de R2 , y, de ser posible, expresarla como y = h (x) (con adecuadas restricciones
para x). Dado que u = u (x, y) y v = v (x, y), reemplazando, resulta que, cuando z se mueve
sobre la curva, es
u = u (x, h (x))
v = v (x, h (x))
Aqu tenemos un sistema de dos ecuaciones en u y v con el parmetro x, que, eliminado (sin
perder de vista las restricciones, si las hubiere), producir una expresin de la forma F (u, v) = 0
que indicar cul es el transformado de la curva.
Para representar grficamente transformaciones utilizaremos dos planos: el plano z (con ejes
x e y) para el dominio y el plano w (con ejes u y v) para la imagen, aunque a veces haremos
de cuenta que ambos planos estn superpuestos.
Ejemplo 4.4. Sea la curva
C = {(2 cos t, 2 sen t) : 0 t }
Hallar su transformado C en el plano w, a travs de la funcin w = f (z) = z + z1 .
y v
2 2
3
1.5
2
1
1
0.5
5 -1 1 5
x -
-2 -1 1 2 2 2
1
Figura 1. Transformacin de un semicrculo bajo la funcin w = f (z) = z + z
En algunos casos, la porcin del plano que se transforma puede ser una curva infinita
(que, tcnicamente, no corresponde a una curva, segn nuestra definicin). Sin embargo, el
procedimiento para encontrar su transformado es esencialmente el mismo que explicamos an-
teriormente.
Ejemplo 4.5. Consideremos
C = {(x, 0) C : x < 1} {(x, y) C : x2 + y 2 = 1 y 0} {(x, 0) C : x > 1}
Hallar su transformado C en el plano w, a travs de la funcin w = f (z) = z + z1 .
1 x y
Solucin: Para z = x + iy, tenemos w = u + iv = x + iy + x+iy = x + x2 +y 2 +i y x2 +y 2
Las funciones reales u y v son:
x y
u=x+ 2 2
y v=y 2
x +y x + y2
Para x < 1: u = x + x1 y v = 0. Del grfico de la funcin u (x) = x + x1 , podemos deducir
que u < 2.
Para 1 x < 1: por ser x2 + y 2 = 1, resulta u = 2x y v = 0, de donde obtenemos:
2 u 2.
Para x > 1 : u = x + x1 y v = 0. Del grfico de la funcin u (x) = x + x1 , podemos deducir
que u > 2.
Por lo tanto, el transformado de C es
C = {(u, v) C : < u < v = 0}
El respectivo grfico se muestra en la figura 2.
y v
1 1
x u
-5 -4 -3 -2 -1 1 2 3 4 5 -5 -4 -3 -2 -1 1 2 3 4 5
Figura 2.
2. TRANSFORMACIN DE CURVAS Y REGIONES. TRANSFORMACIONES CONFORMES 69
2
(r2 1) (r 2 1)2 2
r2
(r 2 +1)2
u.
2
u v2
Si r 6= 1, + = 1 con v 0 y 1 < r 3.
r 2 +1 2 r 2 1 2
r r 2 q
r 2 +1 2 2
Si r = 1, por ser u = r2
x y v = r r1
2 r2 r2r+1 u2 , resulta: 2 u 2 y v = 0.
Entonces:
u2 v2
C = {w = (u, v) C : + = 1, v 0, 1 < r 3} {w = (u, v) C : 2
r 2 +1 2 r 2 1 2
r r
u 2, v = 0}
u2 v2
En particular, si r = 3: + = 1 con v 0. Luego:
10 2 8 2
3 3
( )
u2 v2
R = (u, v) C : + 1; v 0
10 2 8 2
3 3
Vemos la situacin grficamente en la figura 3.
y v
3 8
3
C
C
r
r
u
x 10 -2 -1 1 2 10
-3 -2 -1 1 2 3 -
3
3
1
Figura 3. Transformacin de una regin bajo la funcin w = f (z) = z + z
70 4. TRANSFORMACIONES EN EL PLANO COMPLEJO
y
3
v
1 C 6
4
C
2
x u
1 t 3 -1 15 2 313
-2
4
4
-4
-1 -6
-2
-3
2.1. Transformaciones conformes. Supongamos que C1 es una curva suave con expre-
sin z(t) (a t b), que z0 = z(t0 ) es un punto de ella, y que f es una funcin definida en un
dominio que contiene a C1 , analtica en z0 y con f (z0 ) 6= 0. Llamemos C2 a la imagen de la curva
C1 por f , con expresin w(t) = f (z(t)) (a t b), y w0 = w(t0 ). El vector tangente a C1 en z0
es z (t0 ) y tiene argumento 1 = arg z (t0 ). En la curva C2 , el vector tangente en w0 = f (z(t0 ))
es w (t0 ) y su argumento es 2 = arg w (t0 ) = arg f (z0 ) + arg z (t0 ) pues w (t0 ) = f (z0 )z (t0 ).
Si llamamos = arg f (z0 ), resulta 2 = 1 + . Es decir, el ngulo del vector tangente a la
curva transformada en w0 es el ngulo del vector tangente a la curva sin transformar en z0 ,
ms la constante real . Supongamos que C1 es otra curva suave que pasa por z0 y C2 es su
transformada por f . Sea 1 el argumento del vector tangente a C1 en z0 y 2 el del vector
tangente a C2 en w0 . Por un razonamiento anlogo, 2 = 1 + . Entonces, las dos curvas C2
y C2 se intersecan en w0 formando un ngulo 2 2 = (1 + ) (1 + ) = 1 1 , vale
decir, el mismo ngulo que forman las curvas C1 y C1 al intersecarse en z0 . En otras palabras, el
ngulo entre las curvas antes y despus de transformarse es el mismo. Las transformaciones que
3. TRANSFORMACIONES POR FUNCIONES ELEMENTALES 71
actan de esta manera (no alterando el ngulo entre curvas que se intersecan) se denominan
transformaciones conformes. Resumiendo:
Proposicin 4.8. Sea f una funcin analtica en un punto z0 . Si f (z0 ) 6= 0, entonces f
es una transformacin conforme en z0 .
Nos preguntamos por la validez de la proposicin recproca. Para responder, esperaremos
hasta tener herramientas relacionadas con desarrollos en serie de potencias, que veremos en
captulos posteriores.
10
x
2 4 6 8 10
Ya conociendo cmo trabajan las rotaciones con cambio de escala y las traslaciones, de-
ducimos que las transformaciones lineales, como composicin de ambas, transforman rectas en
rectas y circunferencias en circunferencias.
Imz
z
1
Rez
1
-1
z
Figura 6.
f ei = e1i = ei . Obtenemos otro complejo sobre la circunferencia; precisamente, obte-
nemos su conjugado.
De todo lo anterior, podemos concluir que:
Si |z| = 1, su inverso est sobre la circunferencia
Si |z| < 1, su inverso est fuera de la circunferencia
Si |z| > 1, su inverso est dentro de la circunferencia
Por esta razn, la circunferencia unitaria centrada en el origen se llama circunferencia de in-
versin.
Ntese que:
los puntos de la circunferencia de inversin, en general, no son fijos, pero
la circunferencia de inversin es invariante por inversin
Las figuras 7 y 8 muestran grficas con ejemplos de la accin de la inversin (respectivamente,
a la izquierda aparece el conjunto original, y a la derecha el transformado por inversin). Tngase
en cuenta las escalas de cada dibujo.
ImHzL
10
ImHwL
8 ReHwL
0.05 0.1 0.15 0.2
-0.025
-0.05
6
-0.075
-0.1
4 -0.125
-0.15
2 -0.175
ReHzL
2 4 6 8
ImHwL
0.4
ImHzL
0.3
2
ReHzL 0.2
2 4 6 8
-2 0.1
-4 ReHwL
0.050.10.150.20.250.3
-6 -0.1
-0.2
f : C C mediante:
1
, si z 6= 0 z 6=
w = f (z) = z
, si z = 0
0, si z =
Observamos que f restringida a C {0} es la inversin definida anteriormente. Esta funcin
es continua y biyectiva en el conjunto C .
3.5. Transformaciones de Mbius. Estudiaremos ahora un tipo de transformaciones
que engloba a las transformaciones lineales y a la inversin previamente estudiadas. Se trata de
las transformaciones bilineales, tambin conocidas como homogrficas o de Mbius. Son
de la forma:
az + b
f (z) = a, b, c, d C, c 6= 0 d 6= 0
cz + d
Observamos que si c = 0 estamos en el caso de una transformacin lineal, mientras que si
a = d = 0 y b = c = 1 es una inversin.
Notemos que si fuese ad bc = 0, tendramos que
az + b a z + ab a z + ab a
f (z) = = d
= b
=
cz + d c z+ c c z+a c
con lo cual la funcin sera una constante. Para evitar este caso trivial, establecemos el requisito
de que ad bc 6= 0.
Suponiendo que c 6= 0, podemos extender estas transformaciones a C del siguiente modo:
az + b d
, si z 6= z 6=
cz + d c
w = f (z) = d
, si z =
c
a,
si z =
c
3.5.1. Propiedades.
1. La composicin de transformaciones de Mbius es una transformacin de Mbius.
az + b a z + b
Para verlo, sean f1 (z) = (con ad bc 6= 0), y f2 (z) = (con a d b c 6= 0).
cz + d c z + d
La composicin resulta:
a az+b
cz+d
+ b a az + a b + b cz + b d
(f2 f1 ) (z) = f2 (f1 (z)) = az+b =
c cz+d + d c az + c b + d cz + d d
(a a + b c) z + a b + b d
=
(c a + d c) z + c b + d d
EJERCICIOS 75
EJERCICIOS
1. Sean f1 (t) y f2 (t) funciones complejas de variable real, con a t b para ambas.
Suponga que f1 y f2 existen en [a, b]. Mostrar que (f1 + f2 ) (t) = f1 (t) + f2 (t) y
(f1 f2 ) (t) = f1 (t)f2 (t) + f1 (t)f2 (t).
2. Considerar las transformaciones f1 (z) = 2z 1 y f2 (z) = z 2 .
a) Para cada una de ellas, obtener el transformado de:
1) la recta y = 0, la recta x = 0, la recta y = x y la recta y = x.
2) la recta y = ax con a R {0, 1, 1}.
b) Sean r1 la recta y = 2x y r2 la recta y = 3x.
1) Calcular el ngulo que forman r1 y r2 en su punto de interseccin.
2) Calcular el ngulo que forman los transformados por f1 de r1 y r2 , en su punto
de interseccin. Compararlo con .
3) Calcular el ngulo que forman los transformados por f2 de r1 y r2 , en su punto
de interseccin. Compararlo con .
3. Escribir una ecuacin de la forma Azz +Bz +Bz +C = 0 para cada una de las siguientes
figuras:
a) Recta que pasa por 1 i y 2 i.
b) Recta horizontal que pasa por 2i.
c) Recta vertical que pasa por 1 3i.
d ) Crculo que pasa por el origen, con centro 2 + i.
e) Crculo tal que uno de sus dimetros es el segmento que va de 1 i a 2 + 3i.
4. Decidir cules de las siguientes expresiones representan una recta o una circunferencia,
y, en ese caso, graficar el correspondiente conjunto de puntos.
a) izz + (3 i)z + (3 + i)z + 4i = 0
b) izz + (3 i)z + (3 i)z + 4i = 0
76 4. TRANSFORMACIONES EN EL PLANO COMPLEJO
c) (3 i)z + (3 i)z + 4i = 0
d ) (3 i)z + (3 i)z + 4 = 0
5. Sea R = {z C : 0 Re z 2 0 Im z 1}.i Determinar
eli transformado de R bajo
las funciones f1 (z) = z + (1 2i), f2 (z) = 2e 4 z y f3 = 2e 4 z + (1 2i).
6. Dado un tringulo T con vrtices z1 , z2 , z3 , y f (z) = az + b, encontrar el rea de f (T )
en funcin del rea de T . (Sugerencia: el rea de un rectngulo se puede obtener como
la norma del producto vectorial de sus vectores lado.)
7. Encontrar el transformado del rectngulo de vrtices (2, 1), (3, 1), (2, 4) y (3, 4) bajo la
transformacin w = ez .
8. Encontrar el transformado de la banda /2 x /2, y 0 bajo la funcin w =
sen z.
9. Sean z1 , z2 , w1 y w2 nmeros complejos con z1 6= z2 . Mostrar que existe una nica
transformacin lineal f tal que f (z1 ) = w1 y f (z2 ) = w2 .
10. Sea S el permetro del rombo cuyos vrtices son i, 1/2, i y 1/2. Sea T el permetro
del rombo con vrtices en 0, 2 + i, 4 y 2 i. Obtener dos transformaciones lineales
distintas tales que el transformado del rombo S sea T .
11. Para cada una de las siguientes funciones, determinar el conjunto de puntos en los que
determinan una transformacin conforme.
z2 + 1 1
iz + (1 i) sen
zi z
12. Encontrar todas las transformaciones lineales que tengan a i como punto fijo.
13. Mostrar que por medio de la transformacin w = 1/z, el crculo C dado por |z 3| = 5
se transforma en el crculo |w + 3/16| = 5/16. En que regin se transforma el interior
del crculo?
14. Determinar la ecuacin de la curva en el plano w en la cual la lnea recta x + y = 1 se
transforma por:
(a) w = z 2 (b) w = 1/z
15. En la figura 9, al dibujo de la izquierda se le aplic una inversin 1/z. Identificar, en la
figura de la derecha, la imagen de cada trazo que compone la figura de la izquierda.
Im
Im
10 Re
0.05 0.1 0.15 0.2
-0.025
8
-0.05
6 -0.075
4
-0.1
-0.125
2
-0.15
2 4 6 8
Re -0.175
Figura 9.
2z 5
16. Hallar los punto fijos de la transformacin bilineal w = .
z+4
17. a) Considerar la transformacin bilineal f (z) = (az + b)/(cz + d) con ad 6= bc. Sean z1 ,
z2 , z3 y z4 nmeros complejos dos a dos distintos, y sea wi = f (zi ) para 1 i 4.
EJERCICIOS 77
Im
Im
0.4
2
0.3
Re
2 4 6 8 0.2
-2 0.1
0.05
0.1
0.15
0.2 0.3 Re
0.25
-4
-0.1
-6 -0.2
Figura 10.
Mostrar que
(w1 w2 )(w3 w4 ) (z1 z2 )(z3 z4 )
=
(w1 w4 )(w3 w2 ) (z1 z4 )(z3 z2 )
b) Hallar una transformacin bilineal que aplica los puntos z1 , z2 , z3 (dos a dos distin-
tos) del plano z en los puntos w1 , w2 , w3 del plano w respectivamente. Hallar una
transformacin bilineal que aplica los puntos 0, i, 1 en i, 1, 0 respectivamente.
18. Si z0 est en el semiplano superior delplano zy 0 es cualquier nmero real, mostrar
z z0
que la transformacin bilineal w = ei0 aplica el semiplano superior del plano
z z0
z en el interior del crculo unidad del plano w, es decir, |w| 1.
19. Hallar una transformacin bilineal que aplica el semiplano superior del plano z en el
crculo unidad del plano w de tal manera que z = i se aplica en w = 0, mientras que el
punto en el infinito se aplica en w = 1.
20. Un dominio G1 del plano complejo se dice conformemente equivalente a otro dominio G2
si existe una biyeccin f : G1 G2 que es conforme en G1 . Demuestre que la relacin
de ser conformemente equivalentes es de equivalencia.
Captulo 5
INTEGRACIN
siempre que las dos integrales de FRVR que aparecen a la derecha existan. En particular, si
f (t) es continua (excepto en, a lo sumo, una cantidad finita de puntos del intervalo donde haya
discontinuidades con salto finito), tambin lo sern x(t) e y(t), y existir la integral.
Para f (t) y g(t) (a t b) FCVR, c real entre a y b, y k constante compleja, algunas
propiedades bsicas de las integrales, que se deducen a partir de la definicin dada, y de las
propiedades de integrales de FRVR, son las siguientes:
Z b Z b Z b Z b Z b
(1) (f (t) + g(t))dt = f (t)dt + g(t)dt (2) kf (t)dt = k f (t)dt
Za b Z a a a Za b Z c a Z b
(3) f (t)dt = f (t)dt (4) f (t)dt = f (t)dt + f (t)dt
Za b Z bb a a c
(5) f (t)dt |f (t)|dt
a a Z b
(6) Si f (t) es una curva suave, entonces la longitud de la misma es L = |f (t)| dt
a
79
80 5. INTEGRACIN
Rb
Las cuatro primeras quedan de ejercicio. Para (5), si a f (t)dt = 0 la aseveracin es inmediata-
Rb Rb
mente verdadera; y si a f (t)dt 6= 0, sea a f (t)dt = r0 ei0 con r0 > 0 y 0 R. Entonces,
Z b Z b Z b Z b
1 i0 i0
r0 = i0 f (t)dt = e f (t)dt = Re e f (t) dt + i Im ei0 f (t) dt
e a a a a
Rb
y siendo el ltimo miembro igual al real r0 , debe ser a Im ei0 f (t) dt = 0. Luego,
Z b Z b Z b Z b
i
r0 = Re e i0
f (t) dt Re e i0
f (t) dt e 0
f (t) dt = |f (t)|dt
a a a a
R R
b b
es decir, a f (t)dt a |f (t)|dt.
p Para (6), supongamos f (t) = x(t) + iy(t). De la definicin de derivada, ser |f (t)| =
x (t)2 + y (t)2 que corresponde a la longitud de un arco elemental de curva, segn lo aprendido
en Clculo para curvas expresadas paramtricamente. Integrando, se tiene el resultado.
2. kf (z)dz = k f (z)dz
ZC ZC
3. f (z)dz = f (z)dz
C C
82 5. INTEGRACIN
Veamos la cuarta, para el caso n = 2 (el caso general es anlogo). Si C1 est dada por z1 (t)
con a t c, podemos obtener una parametrizacin z2 (t) para C2 con c t b. Definamos
entonces, para a t b,
z1 (t) si t c
z(t) =
z2 (t) si t > c
Dicha expresin es una parametrizacin para C, siendo
z1 (t) si t < c
z (t) =
z2 (t) si t > c
y entonces
Z Z b Z c Z b
f (z)dz = f (z(t))z (t)dt = f (z(t))z (t)dt + f (z(t))z (t)dt
C a a c
Z c Z b Z Z
= f (z1 (t))z1 (t)dt + f (z2 (t))z2 (t)dt = f (z)dz + f (z)dz
a c C1 C2
Una importantsima cota para el mdulo de una integral es la que sale del siguiente resultado:
Proposicin 5.3. Sea C un contorno de longitud L, y f (z) una funcin continua definida
en un dominio que contiene a la curva. Sea M un real tal que para todo z C es |f (z)| M ,
entonces Z
f (z)dz M L
C
La desigualdad dada en la proposicin anterior se conoce, por razones obvias, como de-
sigualdad ML, y ser usada a menudo en el resto del curso. La existencia del real M est
garantizada, pues siendo C un subconjunto compacto de C y |f | una funcin continua a valores
reales, debe haber un punto z sobre C en el que |f (z)| alcanza un mximo (corolario 3.39).
2.2. Integracin por medio de una primitiva. De acuerdo a la definicin de integral,
el valor de la misma depende tanto de la funcin integrando como del contorno de integracin
(y sto, a su vez, involucra los puntos inicial y final como tambin los puntos intermedios del
contorno). Hay, sin embargo, casos en que el valor de la integral es independiente de los puntos
intermedios de la trayectoria, y depende slo de los puntos inicial y final de la curva. En esos
casos, decimos que la integral es independiente del camino. Formalmente:
Sea D un dominio, y f una funcin compleja continua en D. Sean z1 y z2 dos puntos de
D. Decimos que la integral de f (z) es independiente del caminoR desde z1 hasta R z2 si
para cualquier par de contornos C1 y C2 en D que van de z1 a z2 , es C1 f (z)dz = C2 f (z)dz,
y ese nico valor
R z que tienen las integrales sobre todos los contornos que van de z1 hasta z2 se
simboliza por z12 f (z)dz. Decimos que la integral de f (z) es independiente del camino en
D si la integral es independiente del camino entre dos puntos cualesquiera de D.
Proposicin 5.4. Sea F (z) una funcin analtica en un dominio
R D, y sea C un contorno
contenido en D que va desde el punto z1 al punto z2 . Entonces C F (z)dz = F (z2 ) F (z1 ).
Luego, la integral de F (z) es independiente del camino en D.
Demostracin. Supongamos que C tiene una parametrizacin dada por z(t) con a t
b. Debe ser z(a) = z1 y z(b) = z2 . Hagamos G(t) = F (z(t)). Por la regla de la cadena, es
G (t) = F (z(t))z (t), por lo que
Z Z b Z b
F (z)dz = F (z(t))z (t)dt = G (t)dt
C a a
Suponiendo que G(t) = u(t) + iv(t):
Z Z b Z b
F (z)dz = u (t)dt + i v (t)dt = u(b) u(a) + iv(b) iv(a)
C a a
= G(b) G(a) = F (z(b)) F (z(a)) = F (z2 ) F (z1 )
con lo que se tiene el resultado.
R
La proposicin anterior dice, en definitiva, que si uno debe calcular C f (z)dz y puede
encontrar una funcin F que en cada punto de C sea analtica y cumpla que F (z) = f (z) (tal
funcin F se llama una primitiva de f ), entonces la integral se puede resolver por el mtodo
de la primitiva, es decir, por diferencia entre el valor de la primitiva en los puntos final e inicial
del contorno. Ms adelante, demostraremos que si una funcin es analtica en un dominio, su
derivada es tambin analtica en ese dominio, as que si f (z) no es analtica en algn punto
de C, es intil buscarle una primitiva que sea analtica en cada punto de C, de modo
que, en ese caso, no podremos resolver la integral por el mtodo de la primitiva.
R
Ejemplo 5.5. Obtener C zdz siendo C el segmento desde 1 + i hasta 1 + 3i.
Una primitiva para f (z) = z es F (z) = z 2 /2, que es analtica en todo el plano complejo.
Luego, la integral vale (1 + 3i)2 /2 (1 + i)2 /2 = 4 R 4i.
Ms generalmente, podemos ver que siempre es C zdz = z22 /2 z12 /2, siendo z2 y z1 ,
respectivamente, los puntos final e inicial de C.
R 1
Ejemplo 5.6. Obtener C z dz si C es el arco de circunferencia con centro en el origen que
va desde 1 hasta i en sentido horario.
Uno tiene ganas de considerar, como primitiva, la rama principal de log z, es decir, F1 (z) =
ln |z| + i Arg z con < Arg z , habida cuenta de que su derivada es precisamente 1/z.
Pero enseguida notamos que esta eleccin no satisface las hiptesis de la proposicin, pues esa
84 5. INTEGRACIN
primitiva es analtica en todo el plano complejo salvo en el semieje real no positivo, y la curva
pasa por 1. Tampoco nos servira usar, como primitiva, la funcin F2 (z) = ln |z| + i arg z con
0 arg z < 2, que no es analtica en el semieje real no negativo, siendo que C pasa por 1.
Sin embargo, podemos considerar la siguiente primitiva: F (z) = ln |z| + i arg z con /4 <
arg z 9/4. Es analtica en todo el plano complejo, excepto en la semirrecta que comienza
en el origen y tiene direccin 45 (que no toca a C), y su derivada es 1/z, lo que puede verse
por aplicacin de las ecuaciones de Cauchy-Riemann en forma polar. Siendo z2 = i, se tiene
que arg z2 = /2 + 2k, y, de todos esos ngulos, el que satisface estar entre /4 y 9/4 es
/2, luego F (z2 ) = ln |i| + i/2 = i/2. Anlogamente, para evaluarR 1 F (z1 ) corresponde tomar
arg z1 = 2 y entonces F (z1 ) = ln |1| + i2 = 2i. Entonces, C z dz = i 2 i2 = 3i/2,
hecho que puede confirmarse resolviendo la integral por definicin.
Si hubiramos resuelto tomando como primitiva la funcin F1 o la F2 que especificamos ms
arriba, en cualquiera de los dos casos corresponda tomar arg z2 = /2 y arg z1 = 0, por lo que
la integral valdra, segn nuestros clculos, ln |i| + i/2 (ln |1| + i0) = i/2, resultado errneo
aunque sabemos por qu.
Teorema 5.7. Sea D un dominio, y f (z) una funcin continua en D tal que susR integrales
z
sean independientes del camino en D. Sea z0 un punto de D, y hagamos F (z) = z0 f ()d.
Entonces, F (z) es analtica en D, y F (z) = f (z).
Demostracin. Mostraremos que para cualquier z D, lmwz F (w)F wz
(z)
existe y vale
f (z), con lo que tendremos el resultado.
Sea entonces z un punto cualquiera de D, y > 0. Por ser z un punto interior a D, existe
1 > 0 tal que el crculo con centro z y radio 1 est contenido en D. Como por hiptesis es
f continua en z, hay un 2 > 0 tal que para todo w con |w z| < 2 , es |f (w) f (z)| < /2.
Hagamos = mn{1 , 2 } y tomemos w que cumpla 0 < |w z| < . Sea C un contorno de
z0 a z en D, C1 el segmento recto desde z hasta w y C2 la concatenacin de C con C1 . Notar
que C2 es un camino de z0 a w contenido en D. Entonces, por la hiptesis de que la integral es
independiente del camino,
Z w Z Z Z Z
F (w) = f ()d = f ()d = f ()d + f ()d = F (z) + f ()d
z0 C2 C C1 C1
R
por lo que F (w)F (z) 1
= wz f ()d. Adems, integrando por el mtodo de la primitiva, puede
wz R C1
fcilmente verse que C1 d = w z, por lo que
Z
F (w) F (z) 1 w z
f (z) = f ()d f (z)
wz w z C1 w z
Z
1
= f ()d (w z)f (z)
wz
Z C1 Z
1
= f ()d f (z) d
|w z| C1 C1
Z Z
1
= f ()d f (z)d
|w z| C1 C1
Z
1 1
= (f () f (z)) d |w z| <
|w z| C1 |w z| 2
pues cada punto sobre C1 est a distancia menor que de z.
3. Integracin sobre contornos cerrados
Nos proponemos ahora investigar las propiedades de la integracin cuando el contorno C es
de un tipo especial. Sea C un contorno dado por la expresin z(t) con a t b. Decimos que
C es un contorno simple si z es una funcin inyectiva, es decir, a valores t1 y t2 distintos del
3. INTEGRACIN SOBRE CONTORNOS CERRADOS 85
relacin a u, v y C. Luego:
Z Z Z ZZ ZZ
f (z)dz = (udx vdy) + i (udy + vdx) = (vx uy )dxdy + i (ux vy )dxdy = 0
C C C R R
por ser nulos los dos integrandos del penltimo miembro, gracias a que f es analtica en R y
satisface, por lo tanto, las ecuaciones de Cauchy-Riemann.
Ahora, si C est orientada
R en sentido negativo,R C lo est enRsentido positivo, por lo que, por
lo obtenido arriba, es C f (z)dz = 0. Y ya que C f (z)dz = C f (z)dz, se tiene el resultado
tambin para el caso de contornos orientados en sentido horario.
3.2. El teorema de CauchyGoursat. Para demostrar el teorema de Cauchy sin la
hiptesis de continuidad de f , comenzaremos mostrando que se cumple para el caso en que
el contorno es un tringulo (no degenerado). El resultado se extender entonces a polgonos
simples, luego a polgonos arbitrarios, y finalmente se obtendr el resultado para contornos en
general.
En la demostracin
R del casoRde tringulos, usaremos que si C es un contorno que va de z1 a
z2 , entonces C dz = z2 z1 y C zdz = (z22 z12 )/2 (Prop. 5.4). Luego, ambas integrales valen
0 si el contorno es cerrado.
Lema 5.9. (Goursat). Sea C0 un tringulo simple en un dominio simplemente conexo D,
y f una funcin analtica en D. Entonces,
Z
f (z)dz = 0
C0
Designemos por T0 a la regin formada por C0 con su interior, y digamos que su permetro
vale L. Notar que, siendo D simplemente conexo, es T0 D, por lo que f es analtica en todo
punto de T0 . Llamemos C11 , C12 , C13 y C14 , respectivamente, a los tringulos AA C , A BB , B CC
y A B C (todos con orientacin positiva), y T11 , T12 , T13 y T14 , a las regiones constituidas por
cada subtringulo junto con su interior. Cada subtringulo tiene permetro L/2. Resulta ser
que Z Z Z Z Z
f (z)dz = f (z)dz + f (z)dz + f (z)dz + f (z)dz
C0 C11 C12 C13 C14
pues se compensan varias integrales sobre lados recorridos primero en un sentido y luego en el
inverso. Por lo tanto, de acuerdo a la propiedad triangular,
Z Z Z
Z
Z
f (z)dz
1 f (z)dz + 2 f (z)dz + 3 f (z)dz + 4 f (z)dz
C0 C1 C1 C1 C1
3. INTEGRACIN SOBRE CONTORNOS CERRADOS 87
De los cuatro trminos de la derecha, elijamos uno que sea mayor o igual que los otros tres, y
llamemos C1 al correspondiente tringulo, y T1 al tringulo con su relleno. Tendremos que
Z Z
f (z)dz 4 f (z)dz
C0 C1
Hagamos sobre C1 el mismo proceso que hicimos sobre C0 : tomemos los puntos medios de
sus lados (generndose cuatro tringulos C21 , C22 , C23 y C24 , cada uno con permetro L/(22 )), y
llamemos T21 , T22 , T23 y T24 a cada subtringulo con su respectivo interior; escojamos aquel en
el cual el mdulo de la integral de f es mayor o igual que sobre los otros tres, llamndolo C2 , y
T2 a ese tringulo relleno.
Continuando de esta manera, generaremos una sucesin de contornos triangulares {Cn }n0
y de tringulos rellenos {Tn }n0 con las siguientes propiedades, vlidas para todo n:
Cn es la frontera de Tn , y tiene permetro L/(2n ).
Rn Tn+1 .
T R
Cn f (z)dz 4 Cn+1 f (z)dz
Viendo que Z Z Z
f (z)dz 4 f (z)dz 4 4 f (z)dz . . .
C0 C1 C2
llegamos a que, para todo n, es
Z Z
f (z)dz 4n f (z)dz
C0 Cn
Demostracin. Por induccin en el nmero de lados del polgono. El caso base de induc-
cin es el Lema 5.9.
Para proceder con el paso inductivo, aceptaremos sin demostracin el hecho geomtrico de
que todo polgono simple de al menos cuatro lados posee una diagonal ntegramente contenida en
su interior. Entonces, si P es un polgono de n+1 lados, con vrtices z0 , z1 , . . . , zn , z0 , existen j, k
con 0 j < k n tales que el segmento [zj , zk ] es interior a P . Llamemos P1 al polgono cuyos
vrtices son z0 , . . . , zi , zj , . . . , zn , z0 y P2 a aquel cuyos vrtices son zi , zi+1 , . . . , zj , zi , ambos
recorridos en el mismo sentido que P . Por hiptesis y por eleccin de zi y zj , f es analtica sobre
y
R dentro de ambos R polgonos, que tienen menos lados que P . Luego, por hiptesis inductiva,
P1
f (z)dz = 0 = P2
f (z)dz. Se tiene adems que los lados de P1 y de P2 son los de P , excepto
la diagonal zi zj que es recorrida en un sentido en P1 y en sentido inverso en P2 . Por lo tanto,
Z Z Z
f (z)dz = f (z)dz + f (z)dz = 0
P P1 P2
Ahora, elijamos una particin {t0 , . . . , tn } de [a, b] con norma menor que mn{1 , 2 , 3 }, y
denominemos P al polgono inscripto en C correspondiente a esta particin; sea z1 (t), a t b
una expresin para P , y llamemos L1 a su longitud. Designemos Sk al segmento de P que va
de z(tk ) hasta z(tk+1 ). Observemos que:
1 (laPlongitud
L de P ) es menor o igual que L (la longitud de C).
I n1 (z(tk+1 ) z(tk )) f (z(tk )) < pues < 3 .
k=0 2
P es un polgono cerrado (pues z1 (a) = z1 (t0 ) = z(t0 ) = z(tn ) = z1 (tn ) = z1 (b)) inscripto
en C y contenido en K, pues < 1 .
Si t y t se eligen en [a, b] de modo que |t t | , siendo < 2 y P K, entonces
|z1 (t) z1 (t )| < 2 . Luego, si z Sk , se tiene que |z z(tk )| |z(tk+1 ) z(tk )| < 2
(pues |tk+1 tk | < 2 ) y entonces z Sk , |f (z) f (z(tk ))| < 2L .
R
Por lo tanto, siendo P f (z)dz = 0 (cor. 5.11), tenemos que
Z n1 Z
X
n1 Z
X
|I| = I f (z)dz = I f (z)dz = I (f (z(tk )) + f (z) f (z(tk ))) dz
P
k=0 Sk k=0 Sk
n1 Z n1 Z
X X
= I f (z(tk ))dz (f (z) f (z(tk ))) dz
k=0 Sk k=0 Sk
n1 Z
n1
X X
= I f (z(tk )) (z(tk+1 ) z(tk )) (f (z) f (z(tk ))) dz
k=0 k=0 Sk
n1 Z
n1
X X
I f (z(tk )) (z(tk+1 ) z(tk )) + (f (z) f (z(tk ))) dz
k=0 k=0 Sk
n1 Z n1
X X
< + (f (z) f (z(t ))) dz + |z(t ) z(t )| = + L1
2 k=0 Sk 2
k k+1 k
k=0
2L 2 2L
completando as la demostracin.
3.3. Consecuencias del teorema de Cauchy.
3.3.1. Principio de deformacin de contornos. Supongamos que C1 y C2 son dos
contornos cerrados simples tales que C1 int(C2 ). Supongamos tambin que f (z) es una funcin
analtica en todos los puntos queRestn sobre CR2 y en int(C2 ) int(C1 ) (esto incluye a los puntos
que estn sobre C1 ). Entonces, C1 f (z)dz = C2 f (z)dz, cuando ambas curvas son recorridas
segn la misma orientacin.
Para verlo, hagamos de cuenta que C1 y C2 estn positivamente orientados. Elijamos A sobre
C2 y B sobre C1 de modo que el segmento AB no interseque a C1 ni a C2 en otros puntos. Ahora,
90 5. INTEGRACIN
Figura 1.
Notemos que
Z Z Z Z Z Z
f (z)dz = f (z)dz + f (z)dz f (z)dz = f (z)dz + f (z)dz
C1 C1 C1 C2 C2 C2
y, en consecuencia,
Z Z Z Z
f (z)dz + f (z)dz = f (z)dz + f (z)dz
C1 C1 C2 C2
y se sigue el resultado.
Podemos decir todava ms: supongamos que C2 puede deformarse continuamente R has-
ta transformarse en C1 sin pasar por ninguna singularidad de f (z); entonces, C1 f (z)dz =
R
C2
f (z)dz. Este resultado es un poquito ms general que el anterior, ya que no se necesita
que C1 est ntegramente contenida en int(C2 ). Para verlo, basta elegir un contorno cerrado C0
contenido en int(C2 ) int(C1 ), que punto a punto est suficientemente cerca de la frontera de
esa interseccin, como para que f (z) sea analtica en (int(C2 ) int(C1 )) int(C0 ) (ver fig. 2).
Entonces, C0 ser una curva cerrada contenida en int(C2 ) y la funcin no tendr R singulari-
dades entre ambas curvas, por lo que es aplicable el resultado anterior, es decir C2 f (z)dz =
R R R
C0
f (z)dz. Y anlogamente es C1 f (z)dz = C0 f (z)dz, de donde se tiene lo que se quera.
4. LAS FRMULAS INTEGRALES DE CAUCHY. CONSECUENCIAS 91
Figura 2.
R Demostracin. Sea z0 un complejo en int(C). Veremos que, para todo > 0, se cumple que
f (z)
C zz0 dz 2if (z0 ) < , con lo cual tendremos el resultado. Observemos que el integrando
es una funcin analtica sobre C y en su interior excepto en z0 .
Sea > 0. Elijamos 1 > 0 tal que B1 (z0 ) int(C). Ahora, por ser analtica f en z0 , existe
2 > 0 tal que, para todo z D,
f (z) f (z0 )
0 < |z z0 | < 2 f (z0 ) <
z z0 21
Tomemos ahora cualquier real positivo r tal que r < mn{1 , 2 }, y designemos por Cr a
la circunferencia con centro en z0 y radio r recorrida en sentido positivo. Por ser r me-
nor que 1 y que 2 , tenemos que Cr int(C) D, y que, para todo z Cr , se cum-
f (z)f (z0 )
ple que zz0 f (z0 ) < 21 . Adems, por el principio de deformacin de contornos, es
R f (z) R f (z) R f (z0 )
C zz0
dz = Cr zz 0
dz. Por otro lado, del ejemplo 5.2, surge que Cr zz0
dz = 2if (z0 ), y, por
92 5. INTEGRACIN
R
integracin por primitiva, se tiene que Cr f (z0 )dz = 0. Juntando todo esto, tenemos que
Z Z
f (z) f (z)
dz 2if (z0 )
z z0 dz 2if (z0 ) = z z0
C
ZCr Z Z
f (z) f (z 0 ) f (z) f (z 0 )
= dz dz = dz
Cr z z 0 Cr z z 0 Cr z z0
Z Z
f (z) f (z0 )
= dz f (z0 )dz
z z0
ZCr Cr
f (z) f (z 0 )
= f
(z ) dz
z z0
0
Cr
2r <
21
pues r/1 < 1.
Corolario 5.14. Sean C1 y C2 dos contornos cerrados simples tales que C1 int(C2 ). Sea
D = int(C2 ) (C1 int(C1 )). Supongamos que f (z) es una funcin analtica en todos los puntos
de C1 , C2 y D. Entonces, para todo z0 D, se tiene que
Z Z
f (z) f (z)
2if (z0 ) = dz dz
C2 z z 0 C1 z z 0
Figura 3.
f (z)
Por otro lado, como z0 no est en el interior del contorno cerrado simple 2 , la funcin zz0
es
analtica sobre y dentro de 2 , por lo que, por el Teorema de Cauchy-Goursat, es
Z
f (z)
0= dz
2 z z0
1
RC (zzf (z)
0)
que f (z0 ) = 2i Cr (zz0 )2 dz en donde Cr es cualquier crculo con centro en z0 y radio r > 0
contenido en el interior de C.
Por definicin, f (z0 ) = lmwz0 f (w)f wz0
(z0 )
. Para cualquier w en el interior de Cr , por la
1
R f (z) 1
R f (z)
frmula de Cauchy tenemos que f (w) = 2i Cr zw dz, en particular f (z0 ) = 2i Cr zz0
dz. El
cociente incremental resulta entonces:
Z Z
f (w) f (z0 ) 1 f (z) f (z) 1 f (z)
= dz = dz
w z0 2i(w z0 ) Cr z w z z0 2i Cr (z w)(z z0 )
1
Para cualquier w 6= z0 , tenemos que (zw)(zz 0)
= (zz1 0 )2 + (zzwz2
0
0 ) (zw)
, por lo que
Z Z
f (w) f (z0 ) 1 f (z) 1 (w z0 )f (z)
= dz + dz
w z0 2i Cr (z z0 )2 2i Cr (z z0 )2 (z w)
Como el primer trmino del ltimo miembro es una constante respecto de w, tenemos que
Z Z
1 f (z) 1 f (z)
lm 2
dz = dz
wz0 2i C (z z0 )
r
2i Cr (z z0 )2
R (wz0 )f (z)
Veamos que lmwz0 Cr (zz 2
0 ) (zw)
dz existe y vale 0. Sea > 0. Por la continuidad de f (z)
sobre Cr , existe un M > 0 tal que para todo z Cr , es |f (z)| < M . Adems, para cada z Cr ,
es |z z0 | = r, de modo que |z z0 |2 = r2 . Y si se elige w en el interior del crculo con centro
94 5. INTEGRACIN
en z0 y radio r/2, se tiene que, para todo z Cr , |z w| > r/2, por lo que, para z Cr , es
1
|zw|
< 2r . Por lo tanto, para cualquier z Cr tenemos que
f (z) 2M 2M
=
(z z0 )2 (z w) r2 r r3
Entonces, por la desigualdad ML, es
Z Z
(w z 0 )f (z) f (z)
dz = |w z0 | dz
(z z0 )2 (z w) 2
Cr Cr (z z0 ) (z w)
2M 4M
|w z0 | 3 2r = |w z0 | 2
r r
n 2
o
de donde vemos que basta tomar = mn 2r , 4Mr
para satisfacer la definicin de lmite. Es
decir, Z
(w z0 )f (z)
lm dz = 0
wz0 C (z z0 )2 (z w)
r
Por lo tanto, tomando lmite del cociente incremental cuando w tiende a z0 , tenemos la frmula
que queramos demostrar.
Corolario 5.16. Sea f una funcin analtica en un dominio D. Entonces, para todo n 0,
f (n) (z) es una funcin analtica en D.
Demostracin. Sea n 0, y sea z0 D. Tomemos r > 0 tal que el crculo Cr = {z
C : |z z0 | = r} est contenido en D. Entonces f es analtica sobre y dentro de Cr , de modo
que, por el teorema anterior, f (n+1) existe en cada punto del interior de Cr . De all que f (n) es
analtica en z0 . Como z0 era un punto arbitrario de D, se sigue que f (n) es analtica en D.
Ejemplo 5.17. Usando el teorema de Cauchy o las frmulas integrales de Cauchy, verifique-
mos que si n es cualquier entero, z0 es cualquier complejo fijo y Cr es cualquier circunferencia
con centro en z0 y radio r > 0 en sentido positivo, entonces
Z
n 0 si n 6= 1
(z z0 ) dz =
Cr
2i si n = 1
En el ejemplo 5.2, ya hemos chequeado por parametrizacin el caso n = 1, pero veamos cmo
el uso de las frmulas simplifica la tarea.
Si n = 1, basta tomar f (z) = 1 (analtica en todo el plano complejo) y aplicar la frmula
del teorema 5.13.
Si n 0, el integrando es una funcin entera, por lo que la integral vale 0.
Si n 2, hagamos m = n 1, teniendo que m 1 y que (z z0 )n = (zz01)m+1 . Entonces,
tomando f (z) = 1, es f (m) = 0, por lo que la integral tambin vale 0.
En base a los resultados recientemente deducidos, obtendremos una sucesin de interesantes
propiedades de las funciones complejas.
4.1. Derivadas de las componentes de una funcin analtica. A partir del impor-
tantsimo hecho de que una funcin f (z) que es analtica en un dominio D tiene derivadas de
todos los rdenes en D, y son todas funciones analticas en el mismo (corolario 5.16), deducire-
mos la continuidad de las derivadas parciales de cualquier orden de las partes real e imaginaria
de f en D.
Teorema 5.18. Si f (z) = u(x, y) + iv(x, y) es analtica en D, entonces todas las derivadas
parciales de u y v existen y son funciones continuas en D.
Demostracin. Primero veamos, por induccin matemtica, que, para todo n 0 y para
n n v(x,y)
todos k, r {0, 1, . . . , n} con r + k = n, es ik f (n) (z) = xu(x,y)
r y k + i xr y k .
4. LAS FRMULAS INTEGRALES DE CAUCHY. CONSECUENCIAS 95
0u 0v
Si n = 0, debe ser k = r = 0, as que x0 y 0
= u y x0 y 0 = v. Adems, f
(0)
(z) = f (z),
0
u 0
v
0 (0)
as que i f (z) = f (z) = u + iv = x0 y 0
+ i x0 y0 , y la proposicin se cumple.
Sea n > 0, y supongamos la proposicin vlida para n1. Tomemos k y r con 0 k n,
0 r n, r + k = n. Al menos uno de los dos, supongamos que k, debe ser positivo.
Entonces 0 k 1 n 1 y (k 1) + r = n 1. Luego,
n1
k (n) k (n1)
k1 (n1)
u n1 v
i f (z) = i f (z) = i i f (z) = i + i r k1
xr y k1 x y
n n
n n
v u u v
= i i = + i
xr y k xr y k xr y k xr y k
cumplindose entonces la proposicin.
Ahora demostremos el teorema. Consideremos la derivada n-sima de u respecto de x r veces y
nu
de y k veces (con, obviamente, r + k = n). Por la proposicin de ms arriba, xr y k es la parte
k (n) (n)
real de i f (z). Siendo f analtica, por el Corolario 5.16 tenemos que f existe y es continua
n
en D, y entonces podemos decir lo mismo de ik f (n) (z). De all que xu(x,y)
r y k existe y es continua
n
en D. Lo mismo vale para xv(x,y)
r y k . Es decir, las derivadas parciales de cualquier orden de u y
4.5. Teorema fundamental del lgebra. Usando los resultados anteriores, vamos a
demostrar ahora que cualquier polinomio no constante debe tener al menos una raz compleja.
Teorema 5.22. (Gauss) Si f (z) es un polinomio no constante sobre el cuerpo de los
complejos, entonces la ecuacin f (z) = 0 tiene al menos una raz compleja.
Demostracin. Sea f (z) = an z n + an1 z n1 + + a1 z + a0 con n 0, aj C, an 6= 0.
Supongamos que f (z) 6= 0 para todo z C. Definamos entonces g(z) = 1/f (z), que resultar
analtica en todo el plano complejo. Y adems |g(z)| est acotada en C. Para verlo, hagamos
w(z) = an1z
a1
+ + zn1 + zan0 de modo que es f (z) = (an + w(z))z n . Notemos que para
|a |
cada j entre 1 y n se puede encontrar un rj tal que si |z| > rj , entonces |znjj| < |a2nn | (pues
|a |
lm|z| |znj
j| = 0). Hagamos r = max{rj : 1 j n}, y Dr = {z : |z| r}. Entonces,
cualquier z con mdulo mayor que r cumple que
n
X |anj | |an | |an |
|w(z)| <n =
j=1
|z j | 2n 2
Consecuentemente, cuando |z| > r, es |an + w(z)| = |an (w(z))| |an | | w(z)| =
|an | |w(z)| > |an |/2, lo que nos permite ver que si |z| > r es
1 1 2
|g(z)| = = n
<
|f (z)| |an + w(z)||z| |an |rn
Luego, |g| es acotada en el exterior del disco Dr . Pero adems, siendo Dr compacto y g(z)
continua, |g| es acotada en l. Resumiendo, |g| es una funcin acotada en C.
O sea que g(z) satisface las hiptesis del Teorema de Liouville, y entonces g(z) es una
constante, lo cual, por la definicin de g(z), implica que f (z) es una funcin constante.
Hemos demostrado que si un polinomio no tiene races en C, es una funcin constante.
Luego, si un polinomio no es una constante, debe tener al menos una raz compleja.
n!
R f (z)
es decir, supongamos que f (n) (w) = 2i C (zw)n+1
para cualquier w en el interior de C . De-
dz,
R
bemos mostrar que la afirmacin vale para n + 1, es decir, que f (n+1) (z0 ) = (n+1)! 2i
f (z)
C (zz0 )n+2
dz
para cualquier z0 int(C). Sea entonces z0 un punto interior de C. Sea r > 0 tal que el
crculo Cr = {z C : |z z0 | = r} est contenido en int(C). Por el principio de deforma-
R f (z) R f (z)
cin de contornos, sabemos que C (zz 0)
n+2 dz = Cr (zz0 )n+2
dz, as que debemos probar que
(n+1)! R f (z)
f (n+1) (z0 ) = 2i Cr (zz0 )n+2 dz. De la definicin de derivada, y considerando que, por hipte-
n!
R f (z)
sis inductiva y principio de deformacin de contornos, es f (n) (w) = 2i Cr (zw)n+1
dz para cada
w en el interior del crculo Cr , tenemos que
Z
(n+1) f (n) (w) f (n) (z0 ) 1 n! f (z) f (z)
f (z0 ) = lm = lm dz
wz0 w z0 wz0 w z0 2i C
r
(z w)n+1 (z z0 )n+1
o sea
Z
(n+1) n! 1 (z z0 )n+1 (z w)n+1
(11) f (z0 ) = lm f (z)dz
2i wz0 Cr w z0 (z z0 )n+1 (z w)n+1
Por el teorema del binomio, tenemos que
(z z0 )n+1 = ((z w) + (w z0 ))n+1
n+1
= (z w)n+1 + (n + 1)(z w)n (w z0 ) + (z w)n1 (w z0 )2 +
2(n 1)!
n+1
+ (z w)2 (w z0 )n1 + (n + 1)(z w)(w z0 )n + (w z0 )n+1
2(n 1)!
por lo que
n1
X
n+1 n+1 n n+1 2
(z z0 ) (z w) = (n+1)(z w) (w z0 )+(w z0 ) (z w)n1j (w z0 )j
j+2
j=0
De all,
1 (z z0 )n+1 (z w)n+1 (n + 1)f (z)
n+1 n+1
f (z) = +
w z0 (z z0 ) (z w) (z z0 )n+1 (z w)
n1
X
n+1 (w z0 )j f (z)
(w z0 )
j + 2 (z w)j (z z0 )n+1
j=0
1
y entonces, dado que (zz0 )n+1 (zw)
= (zz10 )n+2 + (zz0wz 0
)n+2 (zw)
, tenemos que
Z
1 (z z0 )n+1 (z w)n+1
n+1 (z w)n+1
f (z)dz
Cr w z0 (z z0 )
Z n1
X Z
(n + 1)f (z) n+1 (w z0 )j f (z)
= dz + (w z 0 ) dz
Cr (z z0 )
n+1 (z w) j+2 j
Cr (z w) (z z0 )
n+1
j=0
Z Z
(n + 1)f (z) (n + 1)(w z0 )
= n+2
dz + n+2 (z w)
f (z)dz +
Cr (z z0 ) Cr (z z0 )
n1
X Z
n+1 (w z0 )j f (z)
(w z0 ) dz
j+2 j
Cr (z w) (z z0 )
n+1
j=0
Vamos ahora a demostrar que los lmites, cuando w tiende a z0 , de los trminos del ltimo
miembro existen, determinando sus valores:
R (n+1)f (z) R f (z)
1. lmwz0 Cr (zz 0)
n+2 dz = (n + 1) C (zz )n+2 dz pues la expresin no depende de w.
r 0
98 5. INTEGRACIN
R
2. Veremos ahora que lmwz0 Cr (n+1)(wz 0 )f (z)
(zz0 )n+2 (zw)
dz = 0. Sea > 0. Por la continuidad de
f (z) sobre Cr , existe un M > 0 tal que para todo z Cr , es |f (z)| < M . Adems, para
cada z Cr , es |z z0 | = r, de modo que |z z0 |n+2 = rn+2 . Y si se elige w en el interior
del crculo con centro en z0 y radio r/2, se tiene que, para todo z Cr , |z w| > r/2
pues
|z w| = |(z z0 ) (w z0 )| ||z z0 | |w z0 || = r |w z0 | > r/2
1
y entonces, para z Cr , es |zw| < 2r . Por lo tanto, para cualquier z Cr tenemos que
f (z)
2M = 2M
(z z0 )n+2 (z w) rn+2 r rn+3
Entonces, por la desigualdad ML, es
Z Z
(n + 1)(w z 0 )f (z) f (z)
dz = (n + 1)|w z0 | dz
(z z0 )n+2 (z w) (z z0 )n+2 (z w)
Cr Cr
2M (n + 1) 4(n + 1)M
|w z0 | n+3
2r = |w z0 |
r rn+2
n o
r n+2
de donde vemos que basta tomar = mn 2r , 4(n+1)M para satisfacer la definicin de
lmite.
3. Finalmente veremos que, de modo anlogo, para cada j entre 0 y n 1, es
Z
n+1 (w z0 )j f (z)
lm (w z0 ) dz = 0
wz0 j+2 j
Cr (z w) (z z0 )
n+1
Sea > 0. Por la continuidad de f (z) sobre Cr , existe un M > 0 tal que para todo
z Cr , es |f (z)| < M . Adems, para cada z Cr , es |z z0 | = r, de modo que
|z z0 |n+1 = rn+1 . Y si se elige w en el interior del crculo con centro en z0 y radio r/2,
1 2j
se tiene que, para todo z Cr , |z w| > r/2, por lo que, para z Cr , es |zw| j < rj .
EJERCICIOS
R
1. Evaluar C f (z)dz para los siguientes casos:
a) f (z) = z
1) C: el segmento desde i hasta 1.
2) C: el arco de la parbola y = (1 x)2 desde i hasta 1.
3) C: el arco de la circunferencia x2 + y 2 = 1 desde i hasta 1, en sentido horario.
b) f (z) = ez
1) C: el segmento desde 0 hasta 1.
2) C: el segmento desde 1 hasta 1 + i.
3) C: segmento desde 1 + i hasta 0.
(Compruebe que se satisface el teorema de Cauchy al integrar ez sobre el per-
metro del tringulo de vrtices z0 = 0, z1 = 1 y z2 = 1 + i.)
1
c) f (z) = z+1+i
1) C: El arco de la circunferencia con centro 1 i y radio 1, desde 1 hasta
2 i, en sentido horario.
2) C: El arco de la circunferencia con centro 1 i y radio 1, desde 2 i hasta
1, en sentido antihorario.
d ) f (z) = (z z0 )n , C: el crculo con centro en z0 y radio r > 0 (Sol.: vale 2i si
n = 1, y 0 en cualquier otro caso)
2. Sea f (t), a t b, una funcin R scompleja de variable real continua en [a, b]. Definamos
g : [a, b] C mediante g(s) = a f (t)dt. Mostrar que g existe en [a, b], y est dada por
g (s) = f (s). (Sugerencia: use el teorema fundamental del clculo para funciones reales
continuas de una variable real.)
3. Completar los detalles de la demostracin de que si f es continua sobre un contorno C
con parametrizacin z(t), a t b, entonces para todo > 0 existe > 0 tal que toda
particin {t0 , . . . , tn } de [a, b] con norma menor que produce
Z
n1
X
f (z)dz f (z(k )) (z(tk+1 ) z(tk )) <
C
k=0
Estamos aqu interesados en sucesiones y series cuyos trminos son nmeros complejos,
con la intencin de extender nociones que son conocidas en el campo de los nmeros reales.
En particular, analizaremos la posibilidad de obtener desarrollos en serie de potencias para
funciones que sean analticas en ciertos conjuntos.
1. Sucesiones complejas
Definicin 6.1. Una sucesin compleja es una funcin z de los naturales en C. Designa-
mos por zn al nsimo trmino de la sucesin (es decir, a la imagen de n a travs de la funcin
z) y por {zn }nN (o, ms brevemente, {zn }) a la sucesin completa. El campo de variabilidad
de la sucesin {zn } es {w C : n N : zn = w}, es decir, el conjunto de valores que toma la
sucesin. Una sucesin se dice acotada si su campo de variabilidad es un conjunto acotado. Si
E C y {zn } tiene campo de variabilidad contenido en E, entonces decimos que {zn } es una
sucesin en E.
Decimos que una sucesin {zn } es convergente si existe un nmero L C con la propiedad
de que > 0, N N : n N, |L zn | < . En ese caso, decimos que la sucesin converge
hacia L, o que L es el lmite de {zn }, y escribimos lmn zn = L.
Una sucesin {zn } diverge a infinito (lmn zn = ) si K R, N N : n
N, |zn | > K.
Si zk est definido al menos para todo k n0 , la expresin {zn }nn0 , con n0 no necesaria-
mente 0, equivale naturalmente a la sucesin {zn+n0 }nN .
Observemos que decir que lmn zn = L C es equivalente a decir que lmn |L zn | =
0 (convergencia de sucesin de nmeros reales).
Teorema 6.2. Sea {zn } una sucesin compleja, y L C.
1. {zn } converge hacia L si, y slo si, cualquier entorno de L contiene a todos los trminos
de la sucesin, salvo una cantidad finita de ellos.
2. Si {zn } converge, su lmite es nico.
3. Si {zn } converge, es acotada.
Demostracin.
1. Supongamos primero que lmn zn = L. Sea r > 0. Existe N tal que para todo
n N, |L zn | < r, por lo que para todo n N, zn Br (L), es decir, Br (L) contiene
todos los trminos de la sucesin salvo, posiblemente, z0 , . . . , zN 1 .
Recprocamente, supongamos que cada entorno de L contiene todos los trminos de
la sucesin, salvo una cantidad finita. Sea > 0, y sea N tal que n N, zn B (L).
Entonces, para todo n N, |L zn | < , por lo que lmn zn = L.
2. Supongamos que lmn zn = L1 y lmn zn = L2 . Si L1 6= L2 , sea = |L1 L2 | /2.
Ser > 0. Sea N1 tal que n N1 , |L1 zn | < y N2 tal que n N2 , |L2 zn | < .
Tomemos N = max{N1 , N2 }. Sera entonces |L1 L2 | |L1 zN | + |zN L2 | < 2 =
|L1 L2 |, que es una contradiccin que proviene de suponer que L1 6= L2 .
3. Sea {zn } convergente hacia L. Existe N N tal que para todo n N, |L zn | < 1. Sea
M = 1 + max {|L z0 | , . . . , |L zN 1 | , 1}. Entonces, para todo n N, |L zn | M ,
por lo que la sucesin {zn } es acotada pues su campo de variabilidad est contenido en
BM (L).
103
104 6. SUCESIONES Y SERIES. SERIES DE TAYLOR
Cada trmino de una sucesin compleja {zn } tiene parte real que llamaremos xn y parte
imaginaria yn . Es decir, zn = xn +iyn . Hay dos sucesiones de nmeros reales que pueden entonces
asociarse naturalmente a la {zn }: ellas son {xn } e {yn }, que llamaremos, respectivamente, la
sucesin de partes reales y la sucesin de partes imaginarias . Veremos cmo el estudio
de la convergencia de la sucesin {zn } en C se puede reducir al estudio de la convergencia de
{xn } y de {yn } en R.
Proposicin 6.3. Sea {zn }n0 una sucesin de nmeros complejos, con zn = xn + iyn , y
sea L un nmero complejo. Se tiene que {zn } converge a L si, y slo si, {xn } converge a Re L
e {yn } converge a Im L.
Demostracin. Digamos que las partes real e imaginaria de L son, respectivamente, x e
y.
Para la ida, supongamos que lmn zn = L. Sea > 0. Existe un N tal que para todo
n N, |zn L| < . Pero es |zn L| |xn x| y |zn L| |yn y|. Luego, para todo n N
es |xn x| < y |yn y| < . Entonces, lmn xn = x y lmn yn = y.
Para la vuelta, sea > 0. Existe N1 tal que para todo n N1 , |xn x| < /2. Del mismo
modo, existe N2 tal que para todo n N2 , |yn y| < /2. Tomando N = max{N1 , N2 },
vemos que para todo n N es |zn L| = |xn + iyn (x + iy)| = |(xn x) + i(yn y)|
|xn x| + |yn y| < /2 + /2 = , por lo que {zn } converge a L.
Los puntos de acumulacin de conjuntos pueden caracterizarse en trminos de sucesiones
convergentes.
Proposicin 6.4. Sean E C y w C. w es un punto de acumulacin de E si, y slo si,
existe una sucesin en E {w} que converge hacia w.
Demostracin. Supongamos que w es punto de acumulacin de E. Para cada n N,
elijamos zn E {w} tal que |w zn | < 1/(n + 1). Observemos que {zn }nN es una sucesin
en E {w}, y que |w zn | tiende a 0 cuando n tiende a , por lo que lmn zn = w. Esto
demuestra la ida. Para la vuelta, sea {zn }nN una sucesin en E {w} tal que lmn zn = w.
Dado > 0, existe n N tal que |w zn | < ; puesto que zn E {w}, se tiene que B (w)
contiene un punto de E {w}. Luego, w es punto de acumulacin de E.
El concepto de sucesin de Cauchy aprendido para sucesiones de nmeros reales se extiende
a sucesiones complejas, de una manera natural.
Definicin 6.5. Sea {zn } una sucesin en C. Decimos que {zn } es una sucesin de
Cauchy si > 0, N N : m, n N, |zm zn | < .
Conocido es que, en el conjunto de los reales con la distancia usual, decir sucesin conver-
gente equivale a decir sucesin de Cauchy. Esta equivalencia no necesariamente es vlida en
contextos ms generales, pero s en el campo de los complejos
Proposicin 6.6. Una sucesin compleja es convergente si, y slo si, es de Cauchy.
Demostracin. Para la ida, supongamos que lmn zn = L. Sea > 0. Existe N
N : n N, |zn L| < /2. Luego, si m y n son mayores o iguales que N , tenemos que
|zn zm | |zn L| + |L zm | < , por lo que {zn } es sucesin de Cauchy. Recprocamente,
sea {zn } una sucesin de Cauchy en C, con zn = xn + iyn . Veamos que {xn } es tambin de
Cauchy. Sea > 0. Por hiptesis, existe N tal que para todos m, n N, |zm zn | < . Como
|zm zn | |xm xn |, se tiene que m, n N, |xm xn | < . Entonces {xn } es una sucesin
de Cauchy de nmeros reales, por lo que existe x = lmn xn . Anlogamente, {yn } es una
sucesin de Cauchy en R, por lo que existe y = lmn yn . Entonces {zn } converge a x + iy C
(Prop. 6.3).
1. SUCESIONES COMPLEJAS 105
Teorema 6.14. Sea f : D C C, supongamos que a es punto de acumulacin de D,
y sea L C. Se tiene que lmza f (z) = L si, y slo si, lmn f (zn ) = L para toda sucesin
{zn } en D {a} que converja a a.
Demostracin. Para la ida, supongamos que lmza f (z) = L. Sea {zn } una sucesin en
D {a} tal que lmn zn = a. Sea > 0. Existe > 0 : 0 < |z a| < |f (z) L| < .
Correspondiente a ese > 0, existe N N : n N, |zn a| < . Luego, si n N , se tiene
que |f (zn ) L| < , por lo que lmn f (zn ) = L.
Para la vuelta, supongamos que lmza f (z) 6= L. Entonces existe > 0 : > 0, z D
tal que 0 < |z a| < pero |f (z) L| . En particular, para cada n N, existe zn tal que
0 < |zn a| < 1/(n + 1) pero |f (zn ) L| . Ya que lmn |zn a| = 0, tenemos que {zn }
es una sucesin en D {a} que converge a a. Sin embargo, lmn f (zn ) 6= L.
Corolario 6.15. Si f es continua en a y lmn zn = a, entonces lmn f (zn ) = f (a).
2. Series de nmeros complejos
Sea {zj }j0 una sucesin de nmeros complejos. La serie infinita de nmeros complejos
correspondiente a esa sucesin se define a travs del smbolo
X
zj = z0 + z1 + z2 +
j=0
que involucra la suma de una cantidad infinita de complejos y, por lo tanto, no tiene significado
por s sola. Para asignarle un sentido a la Pserie, definimos, en base a la sucesin {zj }j0 , otra
sucesin compleja {Sn }n0 en la que Sn = nj=0 zj . La sucesin {Sn }n0 se llama sucesin de
sumas parciales de {zj }j0 . EnP caso de converger la sucesin de sumasPparciales a un nmero
complejo S, se dice que la serie j=0 zj converge a S, y escribimos
j=0 zj = S; es decir,
X n
X
zj = lm zj
n
j=0 j=0
Si lmn Sn no existe (ya sea por oscilar o por ser infinito),Pla serie se dice divergente.
Si zk est definido al menos para todo k j0 , la expresin j=j0 zj , con j0 no necesariamente
P
0, equivale naturalmente a j=0 zj+j0 .
P
Si el j-simo trmino de una serie j=0 zj es zj = xj + iyj , hay dos series de nmeros reales
P P
que de manera natural pueden asociarse a la serie de nmeros complejos: j=0 xj y j=0 yj .
La convergencia de las tres series est relacionada segn el siguiente resultado.
P
Proposicin 6.16. Sea zj una serie de nmeros complejos, con zj = xj + iyj , y sea
Pj=0 P P
x + iy un nmero complejo. j=0 zj = x + iy si, y slo si,
j=0 xj = x y j=0 yj = y.
Pn Pn Pn
Demostracin. Llamemos Sn = j=0 zj , Xn = j=0 xj , Yn = j=0 yj . Observemos que
n
X n
X
Xn = Re zj = Re zj = Re Sn
j=0 j=0
108 6. SUCESIONES Y SERIES. SERIES DE TAYLOR
Recordando que una condicin necesaria para la convergencia de una serie de nmeros reales
es que el trmino j-simo tienda a 0 cuando j tiende a , tenemos el siguiente resultado.
P
Proposicin 6.17. Si una serie compleja j=0 zj es convergente, entonces lmj zj = 0.
P
Demostracin. Supongamos que j=0 zj converge, siendo zj = xj + iyj . Entonces, las
P P
series j=0 xj y j=0 yj son ambas convergentes (Prop. 6.16), lo que implica que lmj xj = 0
y lmj yj = 0. Luego lmj zj = 0 (Prop. 6.3).
P
Proposicin 6.18. Una serie compleja j=0 zj es convergente si, y slo si, > 0, N :
P
m n N, m j=n z j < .
P
Demostracin. j=0 zj es convergente si, y slo si, la sucesin de sumas parciales es de
P
Cauchy (Teor. 6.6), que equivale a pedir que > 0, N : m n N, m j=n zj < .
Dicho intuitivamente, a partir del N que corresponde a cada , sin importar cuntos trminos
de la serie se sumen, el mdulo de esa suma no superar a .
P
Ejemplo 6.19. Sea z0 un nmero complejo. Consideremos la serie geomtrica j
j=0 z0 . Por
P 1z n+1
induccin en n, se puede ver que nj=0 z0j = 1z0 0 . Si z0 tiene mdulo mayor que 1, la serie
n+1
1z
diverge pues 1z0 0 crece sin lmite conforme n aumenta (ya que z0n+1 lo hace), y cuando
|z0 | < 1 la serie converge a 1z1
0
pues, en este caso, z0n+1 tiende a 0 cuando n tiende a infinito.
Cuando |z0 | = 1, se tiene que, para todo j 0, |z0j | = 1, y no se cumple la condicin necesaria
de convergencia de la serie dada por la proposicin 6.17, de modo que la serie no es convergente.
P P
2.1. lgebra de series. Dadas dos series complejas j=0 zj y j=0 wj , la serie suma
de ambas es la serie que tiene por P trmino general la suma de los trminos generales de ambas.
Si k es una constante compleja y j=0 zj es una serie, podemos tambin definir naturalmente
otra serie cuyo j-simo trmino es kzj . El siguiente resultado establece la esperable relacin
entre la convergencia de las series individuales y la de la suma y producto por una constante.
P P
Proposicin 6.20. Sean j=0 zj y j=0 wj dos series convergentes, y sea k una constante
compleja. Entonces,
X X X
X X
(zj + wj ) = zj + wj kzj = k zj
j=0 j=0 j=0 j=0 j=0
P
Demostracin. Sean {Sn }, {Tn } y {Un } las sucesiones de sumas parciales de j=0 zj ,
P P
w
j=0 j y de (z
j=0 j + w j ), respectivamente. Notemos que U n = S n + T n . Ya que {S n } y {Tn }
son ambas convergentes, P{Un } es tambin Pconvergente,
P y converge a lmn Sn + lmn Tn
(Prop. 6.7). Entonces, j=0 (zj + wj ) = j=0 zj + j=0 wj . De manera similar se demuestra lo
P
referido a j=0 kzj .
P
2.2. Convergencia absoluta. Una serie z se dice absolutamente convergente
P P j=0 j
si es convergente la serie |z
j=0 j |. La serie z
j=0 j se dice condicionalmente convergente
P
si es una serie convergente pero no converge absolutamente. Por ejemplo, la serie j
j=0 (i/2) es
P P j P (1)j
absolutamente convergente (pues j
j=0 |(i/2) | = j=0 2 converge) mientras que j=0 j+1
es condicionalmente convergente (el criterio de Leibniz para series de trminos alternados mues-
P (1)j
tra que la serie converge, mientras que j=0 j+1 es la divergente serie armnica).
Como pasa con las series de nmeros reales, convergencia absoluta implica convergencia.
Proposicin 6.21. Toda serie absolutamente convergente es una serie convergente.
3. SUCESIONES Y SERIES FUNCIONALES 109
P
Demostracin. Sea j=0 zj una serie compleja absolutamente convergente. Veremos que
P
cumple con la condicin de convergencia establecida en la Prop. 6.18. Sea > 0. Como j=0 |zj |
P P
m
converge, hay un N tal que para todos m n N, m j=n j |z | < . En virtud de que j=n j
z
Pm
Pm
j=n |zj |, se tiene que para todos m n N, j=n zj < .
simo trmino es una funcin de z, con el agregado de que a distintos j pueden corresponderles
distintas funciones. Como vemos, implcitamente estamos considerando una familia de funciones
{fj (z)}j0 , es decir, estamos suponiendo que tenemos definida una funcin fj (z) para cada
j 0. Tal familia de funciones se llama una sucesin funcional.
Definicin 6.22. Sea D C. Una sucesin funcional en D es una familia de funciones
{fj (z)}j0 de manera que a cada j 0 correspondePuna funcin fj : D C. La serie
funcional asociada a la familia {fj (z)}j0 es la serie
j=0 fj (z), para cada z D en los que
la serie converge.
Ejemplo 6.23. Sea D = {z C : 0 Re z 1 Im z = 0}. Consideremos la suce-
sin {fj (z)}j0 con fj (z) = Re
j+1
z
. Tenemos que, por ejemplo, f2 (3/4) = 1/4, f9 (3/4) = 3/40,
f9 (1/11) = 1/110.
Ejemplo 6.24. Sea D = {z C : 0 Re z 1 Im z = 0}. Consideremos la sucesin
{gj (z)} con gj (z) = (Re z)j+1 . Tenemos que, por ejemplo, gj (0) = 0 y gj (1) = 1 para todo j.
P
Ejemplo 6.25. Sea D = C. Consideremos la serie funcional j
j=0 z . Del ejemplo 6.19,
sabemos que converge para todo z que tenga mdulo menor que 1, y diverge en cualquier otro
caso.
Remarquemos que las funciones que componen una sucesin funcional pueden ser de ndole
muy distinta entre s. Adems, una serie funcional puede converger para algunos valores de
z y divergir
para
otros. De hecho, el criterio del cociente establece que si hacemos r(z) =
fj+1 (z)
lmj fj (z) , la serie converger para todos los z que hagan r(z) < 1 y divergir para
aquellos que hagan r(z) > 1.
110 6. SUCESIONES Y SERIES. SERIES DE TAYLOR
Conviene primero estudiar caractersticas generales de las sucesiones funcionales para luego
estudiar las de series funcionales y finalmente particularizar para series de potencias, en las que
las funciones involucradas son todas de tipo polinmico.
Veamos un criterio til para ver si una sucesin funcional converge uniformemente en un
conjunto. El mismo establece que las sucesiones numricas que se obtienen al reemplazar a la
variable por los nmeros complejos de ese conjunto, son uniformemente de Cauchy.
Teorema 6.26. La sucesin de funciones complejas {fj (z)} definidas en D C converge
uniformemente en D si, y slo si, para todo > 0 existe N tal que para todos m, n N y todo
z D, |fm (z) fn (z)| < .
Demostracin. Para la ida, llamemos f (z) a la funcin lmite. Sea > 0. Por la conver-
gencia uniforme, existe N tal que para todo j N y todo z D, es |fj (z) f (z)| < /2, de
modo que |fn (z) fm (z)| |fn (z) f (z)| + |f (z) fm (z)| < para todos m, n N y todo
z D.
Supongamos ahora que para todo > 0 existe N tal que para todos m, n N y todo
z D, |fm (z) fn (z)| < . Si tomamos z0 D, tenemos que {fj (z0 )} es una sucesin de
Cauchy de nmeros complejos, y entonces converge a un lmite que llamaremos f (z0 ) (Prop.
6.6). Esto permite ver que {fj (z)} converge puntualmente a una funcin f (z) en D. Resta ver
que la convergencia es uniforme. Sea > 0, y elijamos N de modo que m n N, z
D, |fm (z) fn (z)| < /2. Si tomamos cualquier n N y cualquier z D, tenemos que
|f (z) fn (z)| = lm fm (z) fn (z) = lm |fm (z) fn (z)| /2 <
m m
tenindose entonces convergencia uniforme en D.
Como hemos anunciado, hay muchas propiedades interesantes de la funcin lmite cuando
la convergencia es uniforme.
Proposicin 6.27. Sean {fj (z)} y {gj (z)} sucesiones de funciones complejas definidas
en D C que convergen uniformemente en D a f (z) y g(z), respectivamente. Sea h(z) una
funcin compleja definida en D y de mdulo acotado superiormente en D. Entonces, las suce-
siones funcionales {fj (z) + gj (z)} y {h(z)fj (z)} convergen uniformemente en D a f (z) + g(z)
y h(z)f (z), respectivamente.
Demostracin. En cuanto a la suma, sea > 0. Existe N1 0 tal que para todo j N1
y todo z D, es |f (z) fj (z)| < /2. Similarmente, existe N2 0 tal que para todo j N2
y todo z D, es |g(z) gj (z)| < /2. Tomemos N = max{N1 , N2 }. Entonces, si j N , es
|f (z) fj (z)| < /2 y |g(z) gj (z)| < /2, de donde
|(f (z) + g(z)) (fj (z) + gj (z))| |f (z) fj (z)| + |g(z) gj (z)| <
En relacin al producto por una funcin acotada, sea M una cota superior positiva para |h(z)|
en D. Sea > 0. Existe N tal que j N, z D, |fj (z) f (z)| < /M . Luego, para todo
j N y todo z D, es
|h(z)fj (z) h(z)f (z)| = |h(z)| |fj (z) f (z)| M |fj (z) f (z)| < M =
M
Proposicin 6.28. Supongamos que {fj (z)} converge uniformemente a f (z) en D C. Si
las fj (z) son continuas en D, f (z) tambin lo es.
Demostracin. Sea z0 D, y > 0. Debemos mostrar que existe > 0 tal que si z D
y |z z0 | < , entonces |f (z) f (z0 )| < . Por la convergencia uniforme en D, existe N tal que
z D, |fN (z) f (z)| < /3 (en particular, |fN (z0 ) f (z0 )| < /3). Adems, ya que fN (z) es
continua en z0 , existe > 0 tal que si z D y |z z0 | < , es |fN (z) fN (z0 )| < /3. Entonces,
si z D y |z z0 | < , tenemos que
|f (z) f (z0 )| |f (z) fN (z)| + |fN (z) fN (z0 )| + |fN (z0 ) f (z0 )| < /3 + /3 + /3 =
Luego, f (z) es continua en z0 , y ya que z0 es arbitrario en D, se sigue que f (z) es continua en
D.
112 6. SUCESIONES Y SERIES. SERIES DE TAYLOR
Proposicin 6.29. Sean C un contorno en C y {fj (z)} una sucesin de funciones complejas
Rcontinuas sobre C. Supongamos
R que las fj (z) convergen uniformemente a f (z) en C. Entonces,
C
f (z)dz = lm j C jf (z).
R R
Demostracin. Debemos ver que > 0, N : j N, C fj (z)dz C f (z)dz < .
Llamemos L a la longitud de C. Sea > 0. Por la convergencia uniforme, hay un N tal que
para todo z C, es |fj (z) f (z)| < /(2L) para todo j N . Luego, j N se tiene que
Z Z Z
fj (z)dz f (z)dz = (fj (z) f (z)) dz L <
2L
C C C
Proposicin 6.30. Sea {fj (z)} una sucesin de funciones complejas analticas en un do-
minio D C. Supongamos adems que la sucesin funcional converge uniformemente a f (z)
en D. Entonces, f (z) es analtica en D, y f (z) = lmj fj (z) para todo z D.
Demostracin. Sea z0 D, y tomemos r > 0 tal que el entorno G = B2r (z0 ) est
contenido en D. Por medio del Teorema de Morera (teor. 5.19), veremos que f (z) es analtica
en G. Siendo cada fj (z) analtica en D, y por lo tanto continua en G, f (z) es continua R en G
(prop. 6.28). Sea C un contorno cerrado en G. Por R el Teorema de Cauchy-Goursat,
R f
C j
(z)dz =0
para todo j. Luego, por la proposicin 6.29, C f (z)dz = lmj C fj (z) = 0, por lo cual f es
analtica en G (y, en particular, en z0 ).
Sea Cr la circunferencia con centro z0 y radio r, y Dr = {z C : |z z0 | r}. Se tiene que
Dr G, por lo que f (z) es analtica en Dr , as como fj (z) para todo j N. Dado cualquier
> 0, por la convergencia uniforme, existe N tal que para todo j N, |fj (z) f (z)| < r/2
para todo z C. Entonces, si j N , por la desigualdad de Cauchy (prop. 5.20) con n = 1 para
la funcin fj (z) f (z), es
fj (z0 ) f (z0 ) r <
2r
por lo que lmj fj (z0 ) = f (z0 ).
Como z0 se eligi arbitrariamente en D, se tiene el resultado.
3.3. PConvergencia uniforme de series funcionales. Decimos que una serie funcional
compleja (z) converge uniformemente a f (z) en D C si la sucesin funcional de
j=0 fjn
Pn o
sumas parciales j=0 fj (z) converge uniformemente a f (z) en D. El siguiente criterio
n0
nos da una condicin suficiente para la convergencia uniforme de una serie.
Teorema 6.31. P(Criterio de Weierstrass) Sea {Mj } una sucesin de nmeros reales
positivos tal que j=0 Mj es convergente. Sea {fj (z)} una sucesin de funciones complejas
definidas en D C. Si para todo j 0 y todo z D se tiene que |fj (z)|
P P Mj , entonces
f
j=0 j (z) converge uniformemente en D. Adems, para cada z D, j=0 fj (z) converge
absolutamente.
Demostracin. La convergencia absoluta de la serie en cualquier z D se deduce di-
rectamente del criterio de comparacin. Sea {Sn (z)} P la sucesin funcional de sumas parciales
correspondiente a la serie funcional. Sea > 0. Como j=0 Mj converge, existe N tal que para
Pm
todos m n N, j=n Mj < (Prop 6.18). Entonces, para cualquier m n N y z D
P Pm Pm
es |Sm (z) Sn (z)| = m j=n+1 f j (z) j=n+1 |fj (z)| j=n+1 Mj < . Luego, la sucesin
funcional de sumas parciales cumple con la condicin para convergencia uniforme dada en el
Teorema 6.26, por lo que la serie funcional converge uniformemente en D.
P j
Ejemplo 6.32. La serie funcional j=0 z converge uniformemente en DR = {z C : |z|
R}, donde R es cualquier real no negativo menor que 1. En efecto, bastaPtomar Mj = Rj y
aplicar el criterio de Weierstrass, ya que para todo z DR , es |z|j Rj y j=0 Mj converge.
3. SUCESIONES Y SERIES FUNCIONALES 113
P
Por un argumento similar, se puede ver que j
j=0 (z z0 ) (que converge para todo z tal que
|z z0 | < 1) es uniformemente convergente en cualquier disco con centro z0 y radio R < 1.
Ejemplo 6.33. Sea R un real positivo, y a un complejo tal que |a| < R. Hagamos D =
P
a j
{z C : |z| R}. Entonces, la serie funcional j=0 z converge uniformemente en D.
En efecto, tomemos r > 0 tal que |a| < r < R. Entonces, para cualquier z D, es |a/z| <
r/R, por lo que, para cualquier
P j 0 y cualquier z D, es |a/z|j (r/R)j . Denominando
Mj = (r/R)j , se tiene que j=0 Mj es convergente pues se trata de una serie geomtrica con
razn r/R < 1. Luego, se satisface el criterio de Weierstrass para la convergencia uniforme de
P a j
j=0 z en D.
Por un argumento similar, puede verse que
X j
a z0
j=0
z z0
converge uniformemente en {z C : |z z0 | R} toda vez que R es real positivo y |a z0 | <
R.
Los siguientes resultados sern de mucha utilidad en el estudio de las series de potencias.
P P
Proposicin 6.34. Supongamos que j=0 f j (z) y j=0 gj (z) convergen uniformemente en
D C, a f (z) y g(z) respectivamente. Supongamos
P tambin quePh(z) es una funcin de mdulo
acotado superiormente en D. Entonces, j=0 fj (z) + gj (z) y j=0 h(z)fj (z) convergen en D
uniformemente a f (z) + g(z) y h(z)f (z), respectivamente.
P P
Demostracin. Sean Sn (z) = nj=0 fj (z) y Tn (z) = nj=0 gj (z). Por hiptesis, {Sn (z)} y
{Tn (z)} convergen en D uniformemente a f (z) y g(z), respectivamente, de modo que, por prop.
6.27,
Pn {Sn (z) + Tn (z)} converge uniformemente P en D a f (z) + g(z). Ya que Sn (z) + Tn (z) =
f
j=0 j (z) + g j (z), se tiene entonces que j=0 fj (z) + gj (z) converge uniformemente a f (z) +
g(z).
Para probar la otra afirmacin, observemos que, por prop. 6.27, P se tiene que {h(z)Sn (z)}
converge uniformemente a h(z)f (z) en D. Siendo h(z)Sn (z) = nj=0 h(z)fj (z), tenemos que
P
j=0 h(z)fj (z) converge uniformemente a h(z)f (z) en D.
P
Proposicin 6.35. Supongamos que j=0 fj (z) converge uniformemente en D a f (z). Si
las fj (z) son continuas en D, f (z) tambin lo es.
P
Demostracin. Sea Sn (z) = nj=0 fj (z). Por hiptesis, f (z) = lmn Sn (z), y la con-
vergencia es uniforme en D. Por ser suma finita de funciones continuas en D, cada Sn (z) es
continua en D. Entonces f (z) es continua en D (Prop. 6.28).
Proposicin 6.36. Supongamos P que {fj (z)} es una sucesin de funciones complejas con-
tinuas sobre un contorno C, y que j=0 fj (z) converge uniformemente en C a f (z). Entonces,
R P R
C
f (z)dz = j=0 C fj (z)dz.
P
Demostracin. Sea Sn (z) = nj=0 fj (z). Cada Sn (z) es continua en C, y por hiptesis
{Sn (z)} converge uniformemente a f (z) en D. Entonces, por prop. 6.29 y por linealidad de
integrales para sumas finitas de funciones, se tiene:
Z Z Z X n n Z
X Z
X
f (z)dz = lm Sn (z)dz = lm fj (z)dz = lm fj (z)dz = fj (z)dz
C n C n C j=0 n C C
j=0 j=0
ProposicinP6.37. Sea {fj (z)} una sucesin de funciones complejas analticas en D, y
supongamos que f (z) converge uniformemente a f (z) en D. Entonces, f (z) es analtica
P j=0 j
en D, y f (z) =
j=0 j (z).
f
114 6. SUCESIONES Y SERIES. SERIES DE TAYLOR
P
Demostracin. Sea Sn (z) = nj=0 fj (z). Cada Sn (z) es analtica en D por ser suma finita
de funciones analticas en D, y, por hiptesis, {Sn (z)} converge uniformemente a f (z) en D.
Entonces, por prop. 6.30, f (z) es analtica en D, y adems, por regla de derivacin para sumas
finitas de funciones, se tiene:
n
X
X
f (z) = lm Sn (z) = lm fj (z) = fj (z)
n n
j=0 j=0
PComo anticipamos,
j
las series de potencias son series funcionales complejas de la forma
2
j=0 cj (z z0 ) = c0 + c1 (z z0 ) + c2 (z z0 ) + en donde los cj y z0 son nmeros
complejos, y z se interpreta como una variable compleja. El complejo z0 se denomina centro
del desarrollo en serie, y se dice que el desarrollo en serie es alrededor de z0 .
P
Ejemplo 6.38. ij j
j=0 j+1 (z + 3 4i) es la serie de potencias con centro en z0 = 3 + 4i y
ij
coeficientes cj = j+1
.
P
Ejemplo 6.39. La serie funcional j=0 z j (ejemplo 6.25) es una serie de potencias con
centro en z0 = 0 y coeficiente cj = 1 para todo j.
P j
Ejemplo 6.40. j=0 3 (i2z)j es la serie de potencias con centro en z0 = i/2 y coeficientes
cj = (6)j . Para llegar a esta conclusin, se debe observar que, tal como la serie est escrita,
todava resta algn trabajo algebraico para encontrar el centro y los coeficientes. Dicho trabajo
es el siguiente:
X X j X j X j
j j j i j j i j i
3 (i 2z) = 3 (2) z = 3 (2) z = (6) z
j=0 j=0
2 j=0
2 j=0
2
P
Debe quedar perfectamente claro que en la expresin j=0 cj (zz0 )j , cj es el factor complejo
que multiplica a la potencia j-sima de z z0 ; adems, cj no puede depender de z. El siguiente
ejemplo advierte algo en relacin a estas consideraciones.
Ejemplo 6.41. Encontremos el centro y los coeficientes cj de la serie de potencias
X
ij
(z + 3 4i)j+2
j=0
j + 1
i j
Es claro que z0 = 3 + 4i; sin embargo, el j-simo coeficiente de la serie no es cj = j+1 ,
j+2
pues se es el coeficiente que multiplica a (z z0 ) . Tampoco podemos decir que el j-
ij
simo coeficiente es cj = j+1 (z z0 )2 (como podra ocurrrsenos al expresar a la serie como
P
ij 2
j=0 j+1 (z + 3 4i) (z + 3 4i)j ), pues en tal caso cj dependera de z, lo que no puede
ser. Para encontrar el coeficiente j-simo, observemos que
X
ij i0 i1 i2
(z + 3 4i)j+2 = (z z0 )2 + (z z0 )3 + (z z0 )4 +
j=0
j+1 1 2 3
i0 i1 i2
= 0 + 0(z z0 )1 + (z z0 )2 + (z z0 )3 + (z z0 )4 +
1 2 3
de donde se ve que
0 si j < 2
cj = ij2
j1
si j 2
4. SERIES DE POTENCIAS. SERIES DE TAYLOR 115
Como el j-simo trmino de una serie de potencias es fj (z) = cj (z z0 )j , hagamos
fj+1 (z) cj+1 (z z0 )j+1 cj+1
r(z) = lm = lm
= |z z0 | lm
j fj (z) j cj (z z0 )j j cj
Sabemos que, por el criterio del cociente, la serie converger absolutamente para
cualquier z
cj
que satisfaga r(z) < 1. Esa desigualdad se cumple cuando |z z0 | < lmj cj+1 , de modo que
cj
la serie converge para todo z en el interior de un crculo de centro z0 y radio R = lmj cj+1 .
El mencionado crculo se denomina crculo de convergencia de la serie, y la cantidad R es
el radio de convergencia de la serie. El radio de convergencia de una serie puede ser 0 (lo
que significa que la serie converge slo cuando z = z0 ), (lo que significa que la serie converge
para todo z C) o algn nmero real positivo.
Investiguemos ahora qu tipo de convergencia posee una serie de potencias en el interior del
crculo de convergencia.
P
Lema 6.42. Supongamos que la serie j
j=0 cj (z z0 ) converge cuando se reemplaza a z por
algn complejo z1 . Sea r cualquier real no negativo menor que |z1 z0 |, y designemos por Dr al
crculo con centro z0 y radio r junto a su interior. Entonces, la serie converge uniformemente
en Dr , y la convergencia es absoluta para todo z Dr .
Demostracin. Ya que la proposicin es trivial si z1 = z0 , veamos el caso z1 6= z0 .
r
Hagamos p = |z1 z 0|
, que satisfar 0 < p < 1.
P
Como j=0 cj (z1 z0 )j es convergente por hiptesis, debe ser lmj cj (z1 z0 )j = 0 (prop.
6.17). Es decir, la sucesin {cj (z1 z0 )j } es una sucesin convergente, y, por lo tanto, acotada.
Entonces existe m R+ tal que para todo j 0, |cj (z1 z0 )j | m.
Tomemos z satisfaciendo |z z0 | r. Observemos que para todo j 0 es
z z 0 j r j
cj (z z0 ) = |cj ||z1 z0 |
j j j
z1 z0 m z1 z0 = mp
P P P
Designemos entonces Mj = mpj . Observemos que j=0 Mj = j=0 mpj = m j
j=0 p que es
P
convergente pues |p| < 1. Por lo tanto, la serie j=0 cj (z z0 )j satisface las condiciones del
criterio de Weierstrass (Teor. 6.31) y converge absoluta y uniformemente en Dr .
P
Teorema 6.43. Cualquier serie de potencias j=0 cj (z z0 )j converge a una funcin ana-
P
ltica f (z) en el interior de su crculo de convergencia, y f (z) = j=0 jcj (z z0 )
j1
para todo
z en dicho conjunto.
Demostracin. Sea R el radio de convergencia de la serie. Tomemos cualquier complejo
w en el interior del crculo de convergencia, resultando |w z0 | < R, y elijamos r y r1 tales
que |w z0 | < r < r1 < R. Tomemos cualquier complejo z1 a distancia P r1 de z0 .j Ntese que z1
tambin est en el interior del crculo de convergencia, y entonces j=0 cj (z1 z0 ) converge. Sea
P
Dr el crculo con centro en z0 y radio r, incluido su interior. Como r < |z1 z0 |, j=0 cj (z z0 )
j
j
converge uniformemente en Dr (Lema P 6.42), y yaj que para todo j es cj (z z0 ) una funcin
entera, por prop. 6.37 se tiene que j=0 cj (z z0 ) converge a una funcin analtica en Dr (en
P
particular en w), y que f (w) = j=0 jcj (w z0 )
j1
. Ya que w es arbitrario en el interior del
crculo de convergencia de la serie, se sigue el resultado.
P j
Observacin 6.44. Sea R el radio de convergencia de j=0 cj (z z0 ) , y f (z) la fun-
cin analtica a la cual la serie converge en su crculo de convergencia. El teorema anterior
garantizaPque f (z) posee desarrolloP en serie de potencias
P en ese mismo conjunto, siendo
f (z) = j=0 jc j (z z 0 ) j1
= j=1 jc j (z z 0 ) j1
= j=0 (j + 1)c j+1 (z z 0 ) j
. El radio de
116 6. SUCESIONES Y SERIES. SERIES DE TAYLOR
El teorema 6.43 establece que una serie de potencias, en el interior de su crculo de conver-
gencia, converge a una funcin analtica. Nos interesa ahora saber si hay un recproco de este
resultado, es decir, si una dada funcin analtica en cierta regin, admite desarrollo en serie de
potencias all. La respuesta la da el siguiente Teorema de Taylor.
Teorema 6.45. (Desarrollo en serie de Taylor) Sea f (z) una funcin analtica en el
interior
P de un crculo C con centro en z0 y radio R > 0. Entonces existe una serie de potencias
j
j=0 cj (z z0 ) que converge a f (z) en cada punto
P
del interior de C. Es decir, para todo z C
que satisfaga |z z0 | < R, se tiene que f (z) = j=0 cj (z z0 )j . Los coeficientes del desarrollo
f (j) (z0 )
estn dados por cj = j!
.
Z Z j !
1 f (z) 1 f (z) X z1 z0
f (z1 ) = dz = dz
2i Cr (z z0 ) 1 z1 z0 2i Cr z z0 j=0 z z0
zz0
!
1
Z X f (z) z1 z0 j
1 X
Z
f (z) z1 z0
j
= dz = dz
2i Cr j=0 z z0 z z0 2i j=0 Cr z z0 z z0
X Z X
1 f (z) j f (j) (z0 )
= j+1
dz (z 1 z 0 ) = (z1 z0 )j
j=0
2i Cr (z z 0 ) j=0
j!
en donde en el paso final hemos usado la frmula generalizada de Cauchy. Hemos demostrado
entonces que para cualquier z1 en el interior del crculo de convergencia, f (z1 ) se puede expresar
P f (j) (z0 )
como j
j=0 cj (z1 z0 ) con cj independiente de z1 y valiendo j!
.
en z0 . De all que, por prop. 3.26, existe r > 0 tal que (z) 6= 0 para todo punto de Br (z0 ).
Como f (z) = (z z0 )m (z), se tiene que f (z) 6= 0 para todo z Br (z0 ) {z0 }.
El entero positivo m que aparece en la demostracin anterior sugiere la siguiente definicin.
Sea z0 un cero aislado de una funcin f (z) analtica en z0 . z0 es un cero de orden m
para f (z) si existe un entorno B alrededor de z0 y una funcin (z) analtica en z0 tales que
(z0 ) 6= 0 y f (z) = (z z0 )m (z) para todo z B. Un cero de orden 1 se denomina cero
simple de f (z).
El concepto de orden de un cero no aislado de una funcin analtica es una generalizacin
del concepto de multiplicidad de una raz de una funcin polinmica (de hecho, el orden de un
cero de una funcin polinmica es su multiplicidad). De la misma demostracin del Teorema
6.52, puede verse que el orden de z0 es el menor de los enteros positivos cuyo correspondiente
coeficiente en el desarrollo en serie de f alrededor de z0 es distinto de 0. Por esto mismo, ya
(m)
que cm = f m!(z0 ) , el orden de z0 es el menor entero positivo m tal que f (m) (z0 ) 6= 0. Esto
proporciona una herramienta til para encontrar el orden de un cero: derivar sucesivamente y
evaluar en z0 hasta obtener un resultado distinto de 0.
4.2. Prolongacin analtica. Sean D1 y D2 dos dominios tales que D1 D2 6= , y f1 (z)
una funcin analtica en D1 . Puede interesarnos la bsqueda de una funcin f2 (z) : D2 C
que sea analtica en D2 y tal que, restringida a D1 D2 , coincida con f1 , es decir, que z
D1 D2 , f2 (z) = f1 (z). De existir tal funcin, se llamar una prolongacin analtica de f1
en el dominio D2 . La funcin F : D1 D2 C definida por
f1 (z) si z D1
F (z) =
f2 (z) si z D2
se denomina prolongacin analtica de f1 y f2 en el dominio D1 D2 , y f1 y f2 se
llaman elementos de F . El desarrollo en serie de Taylor proporciona una tcnica para buscar
4. SERIES DE POTENCIAS. SERIES DE TAYLOR 119
prolongaciones analticas, segn veremos ahora. En Pefecto, sea z0j un punto de D1 . Ya que
f1 es analtica en z0 , admite una representacin j=0 cj (z z0 ) vlida para un disco con
centro z0 y radio R igual a la distancia desde z0 hasta la singularidad de f1 ms prxima a
zP0 . Sea z tal que |z z0 | < R. f1 es analtica en z1 , y por lo tanto admite una representacin
j
j=0 dj (z z1 ) . Segn la Proposicin 6.51, ese desarrollo converger al menos en el disco
{z C : |z z1 | < R |z1 z0 |}, pero en muchos casos su radio de convergencia P R ser mayor,
de modo que si hacemos D2 = {z C : |z z1 | < R } y en l definimos f2 (z) = j
j=0 dj (z z1 ) ,
resulta f2 (z) una prolongacin analtica de f1 en D2 .
P
Ejemplo 6.53. Sea f1 (z) = j
j=0 cj (z z0 ) con z0 = 0 y cj = 1 para todo j 0. Sabemos
cj
que R = lmj cj+1 = 1. Escojamos el punto z1 = 1i 2
. Aplicando la Proposicin 6.51, se
tiene que
X kj X k j+1
k! 1i (k + j)! 1 i 1 2
dj = = = =
(k j)!j! 2 k!j! 2 1i j+1 1+i
k=j k=0 1 2
1
P (k+N 1)! k
(hemos usado que el desarrollo en serie de Taylor de (1z) N alrededor de 0 es k=0 k!(N 1)! z )
P
2
P 2
j+1 j
y el radio de convergencia de j=0 dj (z z1 )j es 2 . Luego, f2 (z) = j=0 1+i z 1i
n 2 o 2
es una prolongacin analtica de f1 (z) en el disco z C : z 2 < 2 . 1i
4.3. Condicin necesaria para conformidad de transformaciones analticas. En
el captulo 4, hemos establecido una condicin suficiente para que una funcin f analtica en un
punto z0 defina una transformacin conforme en dicho punto: que la derivada de f no se anule
en z0 (prop. 4.8). Ahora, gracias a los desarrollos en series de Taylor, estamos en condiciones de
establecer que esa condicin es tambin necesaria para que f sea una transformacin conforme
en z0 .
Teorema 6.54. Sea f una funcin analtica en z0 . Se tiene que f es conforme en z0 si, y
slo si, f (z0 ) 6= 0.
Demostracin. La vuelta del enunciado es el contenido de la proposicin 4.8. Veamos la
ida, por contrarreciprocidad. Supongamos entonces que f (z0 ) = 0. Por ser f analtica en z0 ,
existe r > 0 tal que f admite desarrollo
X
f (j) (z0 )
f (z) = f (z0 ) + (z z0 )j
j=1
j!
vlido para B = Br (z0 ). Como f (z0 ) = 0, resulta que, para todo z en B, es
X
f (j) (z0 )
f (z) f (z0 ) = (z z0 )j
j=2
j!
Si fuese f (j) (z0 ) = 0 para todo j 2, sera f constante en B, y entonces no sera conforme en
z0 , por lo que la implicacin ya estara establecida. En caso contrario, sea m 2 minimal tal
que f (m) (z0 ) 6= 0. Entonces, para todo z B, tenemos que
X X
f (j) (z0 ) f (j+m) (z0 )
f (z) f (z0 ) = (z z0 )j = (z z0 )j+m
j=m
j! j=0
(j + m)!
f (m) (z0 ) X f (j+m) (z0 ) m!
= (z z0 )m (m) (z ) (j + m)!
(z z0 )j
m! j=0
f 0
Definamos h : B C mediante
X f (j+m) (z0 ) m!
h(z) = (m)
(z z0 )j
j=0
f (z0 ) (j + m)!
120 6. SUCESIONES Y SERIES. SERIES DE TAYLOR
Por teorema 6.43, h(z) es analtica en z0 , por lo que es continua en z0 , y h(z0 ) = 1. De all que,
para cualquier z B, es
arg (f (z) f (z0 )) = arg(z z0 )m + arg f (m) (z0 ) + arg h(z) arg m!
= m arg(z z0 ) + arg f (m) (z0 ) + arg h(z)
Sea C1 una porcin de curva suave contenida en B que pase por z0 , y C1 su imagen por f .
Llamemos 1 al ngulo orientado del vector tangente a C1 en z0 , y 1 al del vector tangente a
C1 en f (z0 ). Tendremos que
1 = m1 + + lm arg h(z)
z z0
z C1
EJERCICIOS
1. Estudiar la convergencia y la convergencia absoluta de las siguientes series de nmeros
complejos:
P
cos(in) P
n sen(in) P
cos(in2 ) P
in
i) 2n
ii) 3n
iii) 5n
2 iv) n+1
n=0 n=0 n=0 n=0
P
e
i n+1 P
ln n
P
cosh(i n
)
v) n+1
vi) senh(in)
vii) n ln n
n=0 n=1 n=1
EJERCICIOS 121
b) f (z) = Ln(2 z)
6. Multiplicando o dividiendo series, encontrar algunos trminos del desarrollo en serie de
1
1
Taylor de 2+sen z
, Ln(cos z) y e 1z alrededor del origen. Determinar el radio de conver-
gencia.
7. Descomponer en fracciones simples para obtener el desarrollo en serie de Taylor alrededor
1 1 z+1
de 0 de las funciones (z1)(z+i) , (zi)(z+1) 2 y (z2)3 . Especificar el radio de convergencia.
11. Sea f (z) analtica en z0 con f (z0 ) 6= 0. Mostrar que f es inversible en algn entorno de
z0 , y que la derivada de la funcin inversa es 1/f (z). (Sugerencia: Sea f (z) = u(x, y) +
iv(x, y). Busque un entorno de z0 en que f no se anule y en el que u, v y sus derivadas
parciales de cualquier orden sean continuas. El par de ecuaciones u = u(x, y), v = v(x, y)
representa una transformacin del entorno con jacobiano no nulo, por lo que es aplicable
el Teorema de la Funcin Inversa.)
Captulo 7
En base a las definiciones precedentes, resulta fcil extender, a series funcionales biinfinitas,
las operaciones con series funcionales infinitas establecidas por las proposiciones 6.34, 6.35, 6.36
y 6.37.
P P
Proposicin 7.2. Supongamos que j= fj (z) y j= gj (z) convergen uniformemente
en D C, a f (z) y g(z) respectivamente. Supongamos tambin que h(z) es una funcin de
mdulo acotado superiormente en D. Entonces:
P P
1. j= fj (z) + gj (z) y j= h(z)fj (z) convergen en D uniformemente a f (z) + g(z)
y h(z)f (z), respectivamente.
2. RSi las fj (z) son
Pcontinuas
R en D, f (z) tambin lo es, y, para cualquier contorno C en D,
f (z)dz = j= C fj (z)dz.
C P
3. Si las fj (z) son analticas en D, f (z) es analtica en D, y f (z) =
j= fj (z).
123
124 7. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
convergen todas absoluta y uniformemente en D, digamos a F1 (z), F2 (z), G1 (z) y G2 (z) res-
pectivamente, con F1 (z) + F2P (z) = f (z) y GP 1 (z) + G2 (z) =P g(z) para todo P z en D.
Lo anterior implica que j=0 fj (z) + j=1 fj (z) + j=0 gj (z) + j=1 gj (z) converge
uniformemente
P en D a F 1 (z)+F 2 (z)+G 1 (z)+G 2 (z) (prop. 6.34), lo que, por definicin, significa
que j= fj (z) + gj (z) converge uniformemente en D a F1 (z) + F2 (z) + G1 (z) + G2 (z), es
P P
decir, a f (z) + g(z). Adems, nuevamente por prop. 6.34, h(z) j=0 fj (z) y h(z) j=1 fj (z)
P
convergen en D uniformemente a h(z)F1 (z) y h(z)F2 (z), de donde h(z) j= fj (z) converge
uniformemente en D a h(z)f (z). Esto prueba el primer inciso.
Si cada fj (z) es continua, por prop. 6.35 se deduce que tanto F1 (z) como F2 (z) son continuas
en D, de donde f (z) tambin lo es. Adems, para cualquier C D,
Z Z X Z
X
F1 (z)dz = fj (z)dz = fj (z)dz
C C j=0 j=0 C
Z Z X X Z
F2 (z)dz = fj (z)dz = fj (z)dz
C C j=1 j=1 C
de donde
Z Z Z Z
X Z
X Z
X
f (z)dz = F1 (z)dz + F1 (z)dz = fj (z)dz + fj (z)dz = fj (z)dz
C C C j=0 C j=1 C j= C
(prop. 6.17). Es decir, la sucesin {cj (z1 z0 )j } es una sucesin convergente, y, por lo tanto,
acotada. Entonces existe m R+ tal que para todo j 1, |cj (z1 z0 )j | m.
Tomemos z satisfaciendo |z z0 | r. Observemos que para todo j 1 es
j j
|c j | z 1 z 0 z 1 z 0
cj (z z0 )j = m j
|z1 z0 |j z z0 r = mp
1. DESARROLLOS EN SERIES DE LAURENT 125
P P P
Designemos entonces Mj = mpj . Observemos que j=1 Mj = j=1 mpj = m j
j=1 p que es
P
convergente pues |p| < 1. Por lo tanto, la serie j=1 cj (z z0 )j satisface las condiciones del
criterio de Weierstrass (Teor. 6.31) y converge absoluta y uniformemente en Er .
Veamos ahora que si una funcin posee desarrollo en serie de Laurent en el interior de
una corona, la serie biinfinita converge uniformemente en la clausura de cualquier subcorona
propiamente contenida.
P
Lema 7.4. Supongamos que f (z) admite desarrollo en serie de Laurent j= cj (z z0 )
j
Figura 1.
Por corolario 5.14, sabemos que
Z Z
1 f (w) 1 f (w)
(12) f (z) = dw dw
2i C2 w z 2i C1 w z
126 7. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
Desarrollemos por separado las dos integrales del segundo miembro. Para la integral sobre C1 ,
0
notemos que wz
zz0
< 1 cuando w est sobre C1 , por lo que, teniendo presente las proposiciones
6.27 y 6.36 y el ejemplo 6.33, es
Z Z Z
f (w) f (w) f (w)
dw = dw = dw
C1 w z C1 (w z0 ) (z z0 ) C1 (z z0 ) 1 wz0
zz0
Z
! Z
f (w) X (w z0 )j X f (w) (w z0 )j
= dw = dw
C1 (z z0 ) j=0 (z z0 )j j=0 C 1
z z 0 (z z 0 ) j
X Z
= f (w)(w z0 )j dw (z z0 )j1
j=0 C1
X Z
j1
= f (w)(w z0 ) dw (z z0 )j
j=1 C1
X Z
j1
= f (w)(w z0 ) dw (z z0 )j
j=1 C
X Z
f (w)
= j+1
dw (z z0 )j
j=0 C (w z 0 )
1
R f (w) P
Para j Z, hagamos cj = 2i C (wz ) j+1 dw. Resulta entonces que f (z) = j=0 cj (z
P P 0
j j j
z0 ) + j=1 cj (z z0 ) = j= cj (z z0 ) . Dado que z fue arbitrariamente elegido en D, y
que cada cj es una constante compleja independiente de z, concluimos que f (z) admite en D el
desarrollo en serie de Laurent dado por la expresin anterior. Por el lema 7.4, la convergencia
de esa serie a f (z) es absoluta y uniforme en A(z0 , 1 , 2 ), cualesquiera sean 1 , 2 tales que
r1 < 1 < 2 < r2 . P
Por ltimo, sea j
j= dj (z z0 ) un desarrollo en serie de Laurent para f (z) vlido en
D. Fijemos r satisfaciendo r1 < r < r2 , y designemos por Cr a la circunferencia con centro z0
y radio r con orientacin positiva. Del lema 7.4, esta serie biinfinita converge uniformemente
en la clausura de cualquier subcorona de D, y entonces converge uniformemente a f (z) en Cr .
Luego, si m es cualquier entero, para todo z Cr tenemos que
X
f (z)
m+1
= dj (z z0 )jm1
(z z0 ) j=
1. DESARROLLOS EN SERIES DE LAURENT 127
R P R
Del ejemplo 5.17, Cr (z z0 )jm1 dz = 0 a menos que j = m, por lo que j= dj Cr (z
R R
z0 )jm1 dz = dm Cr (z z0 )1 dz = 2idm . Entonces, puesto que Cr (zzf (z)
0)
m+1 dz = 2icm ,
con centro en z0 = i, en todas las regiones del plano complejo en que dicha funcin admita
desarrollo.
En este caso, la funcin tiene singularidades en i, 2i y 2i. As, las coronas maximales con
centro z0 en las que f (z) es analtica son A(i, 0, 1), A(i, 1, 3) y A(3, ).
Observemos que
1 z 1 z
f (z) = = (z i)
z i z2 + 4 z2 + 4
1. DESARROLLOS EN SERIES DE LAURENT 129
z 1/2 1/2
= +
z2 +4 z 2i z + 2i
para todo z / {2i, 2i}. Del ejemplo 7.6, ya sabemos cules son los desarrollos vlidos para
(z 2i)1 con centro en i, y, del ejemplo 7.7, los de (z + 2i)1 con centro en i, en cada una de
las regiones. Usamos esos desarrollos para la funcin f (z) del ejemplo actual, como sigue:
z
1. Desarrollo de f (z) = (zi)(z 2 +4)
en A(i, 0, 1). En esta regin, tenemos que
!
1 X 1 1 X (1) j
f (z) = (z i)1 j1
(z i)j + j+1
(z i)j
2 j=0 i 2 j=0 (3i)
X
1 1 (1)j
= (z i) j1
+ j+1
(z i)j
j=0
2i 2(3i)
X X
1 (1)j j1 1 (1)j+1
= j1
+ j+1
(z i) = j
+ j+2
(z i)j
j=0
2i 2(3i) j=1
2i 2(3i)
P
Luego, para esta regin, f (z) = j= cj (z i)j con
(
0 si j < 1
cj = 1 (1)j+1
2ij
+ 2(3i)j+2
si j 1
z
2. Desarrollo de f (z) = (zi)(z 2 +4)
en A(i, 1, 3). En este caso,
1
!
1 X j1 1 X (1)j
f (z) = (z i)1 i j
(z i) + (z i)j
2 j= 2 j=0 (3i)j+1
X1 X
ij1 j1 (1)j
= (z i) + j+1
(z i)j1
j=
2 j=0
2(3i)
X2
X
ij2 j (1)j+1
= (z i) + j+2
(z i)j
j=
2 j=1
2(3i)
P
Entonces, para esta regin, f (z) = j= cj (z i)j con
(
ij2
2
si j < 1
cj = (1)j+1
2(3i)j+2
si j 1
130 7. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
z
3. Desarrollo de f (z) = (zi)(z 2 +4)
en A(i, 3, ). Para esta regin, es
1 1
!
1 1 X j1 j 1 X
f (z) = (z i) i (z i) + (3i)j1 (z i)j
2 j= 2 j=
X1 j1
i (3i)j1
= + (z i)j1
j=
2 2
X2 j2
i (3i)j2
= + (z i)j
j=
2 2
P
Entonces, para esta regin, f (z) = j
j= cj (z i) con
j2 (3i)j2
i
cj = 2
+ 2
si j 2
0 si j 1
Ejemplo 7.9. Desarrollemos
1 z+1
f (z) =
e z
z2
con centro z0 = 0, en todas las partes del plano en que sea posible.
La nica singularidad de la funcin coincide con el centro del desarrollo, as que podemos
encontrar una serie de Laurent con centro en 0 para f (z) en A(0, 0, ).
Observemos que
X j X
z+1 1 1 1 e j
e z = ee = e
z = z
j=0
j! z j=0
j!
Por lo tanto,
2
1 X e j X e j2 X e
f (z) = 2
z = z = zj
z j=0 j! j=0
j! j=
(2 j)!
P
Por lo tanto, en A(0, 0, ), es f (z) = j= cj (z i)j con
e
(2j)!
si j 2
cj =
0 si j 1
Ejemplo 7.10. Desarrollemos en serie de Laurent la funcin g(z) = (z 2i)2 con centro
en z0 = i, en todas las regiones del plano complejo en que dicha funcin admita desarrollo.
Aprovecharemos los desarrollos obtenidos en el ejemplo 7.6, habida cuenta de que, para todo
z 6= 2i, es g(z) = f (z), con f (z) = (z 2i)1 . Por lo tanto, para A(i, 0, 1), tendremos que
X X
j j1 j+1
g(z) = j1
(z i) = j (z i)j
j=0
i j=0
i
2. CLASIFICACIN DE SINGULARIDADES AISLADAS 131
An sin estar definida en i, el lmite de f cuando z tiende a i existe y vale 2i1 , porque
1/(z + i) es continua en i.
Por otro lado, obtengamos el desarrollo en serie de Laurent para f con centro i en
A(i, 0, 2). En dicho conjunto, es
1 1 1 1 1 X (z i)j X (1)j
f (z) = = = = = (z i)j
z+i 2i + (z i) 2i 1 zi
2i
2i j=0
(2i) j
j=0
(2i) j+1
Vamos a ver ahora cmo se comporta una funcin en las cercanas de una singularidad
aislada, dependiendo del tipo de singularidad de que se trate.
Singularidades evitables. Si z0 es singularidad evitable de f , de acuerdo a la definicin
que hemos dado, para todo z Br (z0 ) se tiene que
X
f (z) = cj (z z0 )j
j=0
= cm (z z0 )m + cm+1 (z z0 )m+1 + + c0 + c1 (z z0 ) + c2 (z z0 )2 +
con cm 6= 0. Para z en Br (z0 ), hagamos
(z) = cm + cm+1 (z z0 ) + + c0 (z z0 )m + c1 (z z0 )m+1 + c2 (z z0 )m+2 +
Notemos que (z) = (z z0 )m f (z) en Br (z0 ).
Por ser una serie de potencias vlida para Br (z0 ), es (z) analtica en z0 , y (z0 ) = cm 6= 0.
Hemos concluido una de las implicaciones del siguiente resultado:
Proposicin 7.16. La funcin f (z) tiene un polo de orden m en z0 si, y slo si, existe
(z)
un entorno reducido de z0 en el que f puede expresarse como f (z) = (zz 0)
m , donde es una
(hemos hecho cj = dj+m .) Luego, en B (z0 ), f (z) admite desarrollo en serie de Laurent con
centro en z0 , con cm = d0 = (z0 ) 6= 0 y cj = 0 para todo j < m. En consecuencia, z0 es un
polo de orden m para f .
134 7. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
analtica en z0 y (z0 ) 6= 0 (prop. 7.16). Siendo continua en z0 , tenemos que lmzz0 (z) 6= 0.
Por otro lado, lmzz0 (z z0 )m = 0, de modo que lmzz0 f (z) = .
Tambin veremos enseguida que la afirmacin recproca de la anterior es cierta.
Existe una estrecha relacin entre los conceptos de polos y de ceros de funciones analticas.
Recordemos que si f es analtica en z0 y z0 es un cero aislado de f , entonces existe un entorno
de z0 para el cual vale que f (z) = (z z0 )m (z) para cierto natural m > 0 (denominado el
orden del cero z0 ) y analtica en z0 con (z0 ) 6= 0.
Proposicin 7.18. El complejo z0 es un polo de orden m para f si, y slo si, z0 es un cero
de orden m para la funcin 1/f (completada con el valor 0 en z0 ).
Demostracin. De la proposicin 7.16, tenemos que z0 es polo de orden m para f si, y
slo si,
(z)
f (z) =
(z z0 )m
para algn entorno reducido de z0 , con analtica en z0 y (z0 ) 6= 0. Pero esto equivale a que,
en ese entorno,
1 1
= (z z0 )m
f (z) (z)
con 1/(z) analtica en z0 (pues es analtica en z0 y (z0 ) 6= 0), lo que, por definicin, equivale
a que 1/f tiene un cero de orden m en z0 .
La proposicin anterior establece un criterio que es muy til a veces para ahorrar trabajo a
la hora de detectar el orden de un polo, pues conocemos varios criterios para averiguar el orden
de un cero, por ejemplo el criterio de la derivada.
Ejemplo 7.19. Para la funcin f (z) = senz , resulta que g(z) = 1/f (z) = sen(/z)
z
, cuyos
z
ceros son los reales de la forma 1/k (k Z {0}).
g (z) = z cos z 2 sen
z z
1
1
y, para k Z {0}, es g k = k cos(k) k2 sen(k) 6= 0, as que cada cero es de orden
uno. Luego, los nmeros de la forma 1/k con k entero no nulo son polos simples para f (z).
Singularidades esenciales. La caracterstica fundamental en relacin a este tipo de sin-
gularidades es que no existe lmite de la funcin cuando z tiende a una cualquiera de ellas,
segn se desprende fcilmente del siguiente teorema, que enuncia que, en cualquier entorno de
una singularidad esencial, una funcin toma valores tan cercanos como se desee a cualquier
nmero complejo.
Teorema 7.20. (Cassoratti-Weierstrass) Sea f : D C C. Supongamos que z0 es
singularidad esencial para f (z). Entonces, para todo > 0, la clausura de f (D B (z0 )) es C.
Demostracin. Sea r > 0 tal que z0 es la nica singularidad de f en Br (z0 ). Alcanza
con mostrar el resultado para cualquier < r, pues cualquier entorno reducido de radio mayor
contiene uno de tales entornos. Sea entonces > 0 tal que < r. Debemos mostrar que para
todos w C y > 0, existe z1 B (z0 ) tal que |f (z1 ) w| < . Tomemos entonces w C y
> 0 arbitrarios. Si existe z1 B (z0 ) tal que |f (z1 ) w| = 0, el resultado ya est establecido.
Si no existe tal z1 , hagamos B = B (z0 ) y consideremos la funcin g : B C definida por
1
g(z) =
f (z) w
2. CLASIFICACIN DE SINGULARIDADES AISLADAS 135
Observar que f (z) = w + 1/g(z) y que g(z) no se anula en B. Adems, como f es analtica
en B, y f (z) 6= w en B, tenemos que z0 es singularidad aislada para g. PorP lo tanto, g admite
desarrollo en serie de Laurent con centro z0 vlido para B, digamos g(z) = j
j= cj (z z0 ) .
PVeamos primero j
que z0 no puede ser singularidad evitable de g: si lo fuera, sera g(z) =
j=0 cj (z z0 ) , con algn cj 6= 0 (de lo contrario, habra
P
contradiccin con el hecho de que g
no es nula en B); definamos entonces, en B (z0 ), h(z) = j=0 cj (z z0 )j (h es igual que g, salvo
que definida en el centro del entorno); h es analtica en z0 y, para todo z B, f (z) = w+1/h(z).
De ser c0 6= 0, sera h(z0 ) = c0 6= 0, por lo que w+1/h(z) sera analtica en z0 , y entonces
z0 sera singularidad evitable para f , contradiciendo la hiptesis de que es esencial.
De ser c0 = 0, entonces z0 sera un cero de h, y, por lo tanto, un polo de 1/h, es decir,
un polo de f (z) w, lo cual implicara que es un polo de f , contradiciendo tambin la
hiptesis de que f tiene en z0 una singularidad esencial.
Vemos que suponer que z0 es singularidad evitable de g nos lleva en cualquier caso a una
contradiccin. Por lo tanto, existe m > 0 tal que cm 6= 0. Pero, por el Teorema de Laurent,
Z
1 g(z)
cm = dz
2i CR (z z0 )m+1
donde CR es cualquier circunferencia con centro z0 y radio R satisfaciendo 0 < R < . Por lo
tanto, para todo R que satisfaga esas condiciones, es
1
0 6= |cm | max g(z)(z z0 )m1 : z CR 2R = max {|g(z)| : z CR } Rm
2
De all que
|cm |
max {|g(z)| : z CR }
Rm
Como el lado derecho se hace arbitrariamente grande en la medida que R tiende a 0, podemos
elegir R > 0 tal que
1
max {|g(z)| : z CR } >
lo cual implica que existe z1 CR tal que |g(z1 )| > 1/, de donde 1/ |g(z1 )| < , as que
|f (z1 ) w| < , quedando establecido el teorema.
El Teorema de Cassoratti-Weierstrass afirma que, en cualquier entorno de una singularidad
esencial, la funcin toma valores arbitrariamente cercanos a cualquier nmero complejo. Existe
una versin ms general de ese teorema, que afirma que, en cualquier entorno de una singula-
ridad esencial, la funcin toma todos los valores complejos, salvo una posible nica excepcin,
una cantidad infinita de veces. Es el Teorema de Picard, que enunciamos sin demostracin, por
requerir de herramientas ms avanzadas.
Teorema 7.21. (Picard) Sea f : D C C, y sea z0 una singularidad esencial para f .
Entonces existe E C tal que E tiene a lo sumo un solo elemento y, para todo > 0 y todo
w C E, {z B (z0 ) D : f (z) = w} es un conjunto infinito.
Ilustremos el Teorema de Picard a travs del siguiente ejemplo:
Ejemplo 7.22. Consideremos la funcin f (z) = e1/z , analizada en el ejemplo 7.13. Vimos
all que 0 es la nica singularidad de f , y que es de carcter esencial. La funcin jams toma
el valor 0 (es decir, E = {0}). Sin embargo, para cualquier w = ei 6= 0, los complejos de la
forma
ln + 2k
zk = 2 2
i
(ln ) + ( + 2k) (ln ) + ( + 2k)2
2
satisfacen e1/zk = w, cualquiera sea k Z. Para k suficientemente grande, |zk | se hace arbi-
trariamente pequeo, por lo que, en cualquier entorno de 0, hay infinitos de tales zk , es decir,
infinitos puntos en los que f (z) toma el valor w.
136 7. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
El teorema 7.20 permite resumir los modos de comportamiento de una funcin en las cer-
canas de una singularidad aislada, de acuerdo al siguiente resultado.
Teorema 7.23. Sea z0 una singularidad aislada para f (z).
1. z0 es evitable si, y slo si, |f (z)| es acotada en algn entorno reducido alrededor de z0 .
2. z0 es polo si, y slo si, lmzz0 f (z) = .
3. z0 es esencial si, y slo si, L C {}, lmzz0 f (z) 6= L (es decir, la funcin no
tiene lmite en C ).
Demostracin. Las implicaciones de ida de los dos primeros incisos ya fueron demostradas
en las proposiciones 7.15 y 7.17, y la del tercero se concluye directamente del teorema 7.20.
Si existe M > 0 tal que |f (z)| < M para todo z en algn entorno reducido B alrededor
de z0 , no puede ser lmzz0 f (z) = (de donde z0 no puede ser un polo, segn la proposicin
7.17), y para todo z en ese entorno reducido es |f (z)| < M < M + 1, con lo cual M + 1 no est
en la clausura de f (B), es decir, f (B) 6= C (de donde, por teorema 7.20, z0 no es singularidad
esencial). Entonces, z0 es singularidad evitable.
Si lmzz0 f (z) = , sea > 0 tal que para todo z B (z0 ), |f (z)| > 1. Entonces, 0 no
pertenece a la clausura de f (B (z0 )), y entonces z0 no puede ser una singuaridad esencial, y
tampoco una evitable pues |f (z)| no est acotada en ningn entorno reducido, por la definicin
de lmite infinito. As que z0 es un polo.
Finalmente, si f (z) no tiene lmite en C cuando z tiende a z0 , no puede ser z0 un polo (prop.
7.17) ni una singularidad evitable (prop. 7.14), y entonces debe ser singularidad esencial.
3.1. El Teorema de los Residuos. La proposicin 7.26 nos proporciona una herramien-
ta para calcular integrales sobre contornos cerrados simples cuando la funcin del integrando
posee una nica singularidad en su interior. Sin embargo, podemos extender fcilmente la me-
todologa para el caso en que la funcin presenta, en el interior del contorno, una cantidad finita
de singularidades (que sern, obviamente, aisladas), a travs del siguiente resultado.
Teorema 7.31. (Teorema de los Residuos) Sea f : D C C, y sea C un contorno
cerrado simple en D. Supongamos adems que f es analtica sobre C, y que, en el interior de
C, f posee slo una cantidad finita de singularidades z1 , . . . , zn . Entonces,
Z Xn
f (z)dz = 2i Res (f, zk )
C k=1
Figura 2.
mientras que el otro tiene en su interior exactamente una singularidad de f , digamos zn . En-
tonces, por hiptesis inductiva y por proposicin 7.26, las integrales de f sobre 1 y 2 valen,
respectivamente:
Z n1
X
f (z)dz = 2i Res (f, zk )
1 k=1
Z
f (z)dz = 2i Res (f, zn )
2
Por lo tanto,
Z 2
1 1 2
dx = 2i Res(f, 0) + Res f, 2 + 3 i = 2i i =
0 2 + sen x 3 3
R
4.2. Integrales de tipo f (x)dx.
Si f (x) es una funcin real (de la variable real x) continua en todo x R, se define la
integral impropia de f (x) entre e como
Z Z 0 Z R2
f (x)dx = lm f (x)dx + lm f (x)dx
R1 R1 R2 0
suponiendo que ambos lmites a la derecha existen. Por otro lado, se define el valor principal
de Cauchy de esa integral como
Z Z R
V PC f (x)dx = lm f (x)dx
R R
cuando ese lmite existe. Es posible mostrar que si la integral impropia existe, coincide con su
VPC. Presentaremos ahora un mtodo de clculo de VPC a travs del Teorema de los Residuos.
La estrategia ser considerar al integrando f como una funcin de variable compleja e integrarla
sobre un contorno cerrado simple apropiado (utilizando para ello el Teorema de los Residuos)
de manera tal que el valor de esa integral coincida con el VPC de la integral de f (x).
Para lo que sigue, dado R R, designaremos por LR al segmento del plano que va desde
el complejo R hasta el complejo R, y por SR a la semicircunferencia con centro 0 y radio R
desde R hasta R, en sentido positivo. Es decir,
LR = {x : R x R} SR = {Reit : 0 t }
Supongamos que f (z) es una funcin definida en algn dominio en C que contiene a R, y
tal que, para todo z R, f (z) es un nmero real (de modo que f |R es una funcin real
R RR
de variable real). Obsrvese que, para cualquier R R, LR f (z)dz = R f (x)dx, por lo
R R
que V P C f (x)dx = lmR LR f (z)dz. Por otro lado, la concatenacin de LR con SR es
un contorno cerrado simple. Si f (z) fuese analtica sobre el eje real y tuviera una cantidad
finita de singularidades en el semiplano por encima del eje real, resultara que, para todo R
suficientemente grande, la concatenacin de LR y SR contendra en su interior a todas ellas (ver
fig. 3).
Figura 3.
4. APLICACIONES DEL TEOREMA DE LOS RESIDUOS AL CLCULO DE INTEGRALES REALES 143
Por lo tanto, Z Z X
f (z)dz + f (z)dz = 2i Res (f, zk )
LR SR Imzk >0
donde el subndice de la suma indica que la misma debe realizarse sobre todas las singularidades
que f tenga en el semiplano superior (que son las que tienen parte imaginaria estrictamente
positiva). El lado derecho de la igualdad anterior es una constante compleja. Entonces, tomando
lmite cuando R tiende a infinito (suponiendo que existan los lmites individuales),
Z Z X
V PC f (x)dx + lm f (z)dz = 2i Res (f, zk )
R SR Imzk >0
Sea > 0. Por hiptesis, existe > 0 tal que si |z| < , entonces |zf (z)| < /(t2 t1 ). Luego,
para cualquier real R mayor que y que r, es
Z
f (z)dz t2 t1 (t2 t1 ) =
CR
La condicin de tender |zf (z)| a 0 por el semiplano superior es satisfecha por una amplia co-
leccin de funciones, en particular por las funciones racionales en las que el grado del polinomio
del denominador es al menos dos unidades mayor que el grado del polinomio del numerador.
Ejemplo 7.36. Calculemos Z
x2
V PC dx
x4 + 1
144 7. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
2
Para ello, consideremos f (z) = z4z+1 , que es analtica en todo el plano excepto en ei/4 , e3i/4 ,
ei/4 y e3i/4 , que son polos simples. Slo las dos primeras de las singularidades mencionadas
estn en el semiplano superior. Adems, para z 6= 0, es
z3 1
zf (z) = = 1
z4 + 1 z+ z
que tiende a 0 cuando z tiende a infinito, y entonces |zf (z)| tiende a 0 cuando z tiende a
infinito.
Por otro lado, aplicando la proposicin 7.28, es
i/4
1 1 2
Res f, e = i/4
= (cos(/4) + i sen(/4)) = (1 i)
4e 4 8
1 1 2
Res f, e3i/4 = 3i/4
= (cos(3/4) + i sen(3/4)) = (1 i)
4e 4 8
Para verlo, basta con particionar el intervalo de integracin en /2, tenindose que
Z Z Z
2
k sen x k sen x
e dx = e dx + ek sen x dx
0 0 2
4. APLICACIONES DEL TEOREMA DE LOS RESIDUOS AL CLCULO DE INTEGRALES REALES 145
Figura 4.
y, haciendo el cambio de variable t = x, se puede ver que la ltima integral resulta igual a
R k sen x
0
2
e dx.
Teorema 7.37. Sea m > 0, y sea f (x) una funcin real de variable real que admita exten-
sin a una funcin compleja f (z) tal que satisfaga:
1. f (z) es analtica sobre el eje real, y tiene una cantidad finita de singularidades en el
semiplano por encima del eje real.
2. |f (z)| tiende a 0 cuando z tiende a infinito por el semiplano superior.
Entonces,
Z X
V PC f (x)eimx dx = 2i Res f (z)eimz , zk
Imzk >0
Demostracin. Sea r > 0 tal que para toda singularidad zk de f (z), |zk | < r. Sea R
cualquier real mayor que R. Entonces f (z)eimz es analtica sobre LR y sobre SR , y en el interior
del contorno cerrado determinado por la concatenacin de ambas. Por lo tanto,
Z Z X
imz
f (z)e dz + f (z)eimz dz = 2i Res f (z)eimz , zk
LR SR Imzk >0
de donde
Z Z X
imx
V PC f (x)e dx + lm f (z)eimz dz = 2i Res f (z)eimz , zk
R SR Imzk >0
R
as que el resultado estar establecido al demostrar que lmR SR f (z)eimz dz = 0.
Si hacemos M (R) = max{f (z) : z SR }, por hiptesis para f sabemos que lmR M (R) =
0. Para z = Rei , con 0 , tenemos que imz = imR cos mR sen , de donde
eimz = emR sen +imR cos , as que
imz
e = emR sen e2mR/
146 7. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
Por lo tanto,
Z Z
mR sen +imR cos
f (z)e imz
dz = i
f Re e Rie d
i
SR 0
Z
f Rei emR sen Rd
0
Z Z
2
2mR/
RM (R) e d = 2RM (R) e2mR/ d
0 0
= 2RM (R) emR 1 = 1 emR M (R)
2mR m
Es decir que, para R suficientemente grande,
Z
f (z)e dz
imz
1 emR M (R)
m
SR
mR
Dado queR M (R) y e tienden a 0 cuando RR (pues m es positivo), se tiene que
lmR SR f (z)eimz dz = 0, por lo que lmR SR f (z)eimz dz = 0.
En particular, las funciones racionales en las que el grado del denominador es al menos una
unidad mayor que el grado del numerador satisfacen el requisito de que lmz |f (z)| = 0.
Ejemplo 7.38. Calculemos
Z
x sen(3x)
V PC dx
x2 + 1
Dicho valor corresponde a la parte imaginaria del valor principal de
Z
xei3x
2
dx
x + 1
EJERCICIOS
1. Encontrar el desarrollo en Serie de Laurent de las siguientes funciones alrededor de 0:
sen2 z 1
i) sen
z2
z
ii) z
iii) z 3 e z
1 2 ez 1
iv) z sen2 z
v) z
vi) 1+cosz4
z
3. Clasificar las singularidades de las siguientes funciones, y, en los casos en que sean
evitables, redefinir la funcin de modo que sea analtica en ellas.
1
z 2 +z+1
i) f (z) = cosh z1 ii) f (z) = ze z1 iii) f (z) = sen z
senh z
iv) f (z) = 2z+1i 3
1 2+ 1
e z2
iv) 1+z 4
v) cos( z1 ) + z 3 vi) ez z2
cos z z 2n
vii) z 3 2 z 2
viii) (z1)n
(n Z+ ) ix) cot2 z
11. Calcular
R las siguientes integrales por el teorema de los residuos, cuando sea posible:
a) sen1 1 dz siendo la circunferencia con centro en 0 y radio 10 1
.
R 1z 1 1
b) sen 1 dz siendo la circunferencia con centro en 2 y radio 30 .
z
12. Verificar los siguientes resultados:
R R
i) |z|=1 z tan(z)dz = 0 ii) |z|=10 (z1)z2 (z+2) dz = 0
R ez 2
R
iii) |z|=2 z 3 (z+1)
dz = 1 e
i iv) |z|= 21
z 2 sen z1 dz = 3 i
R ez 1
2 R
v) |z1|=3 z 3 iz 2
dz = 2 e (e 1)i vi) z
|z1|=5 ez +3
dz = 4
3
i ln 3
148 7. SERIES DE LAURENT. TEOREMA DE LOS RESIDUOS
R 2 d 2
R 2 d 2a
iii) 0 12k sen +2
= 1k2
para k 2 < 1 iv) 0 (a+b cos )2
= 1 (a > b > 0)
(a2 +b2 ) 2
R x3 dx
R x
iii) 1+x8
=0 iv) (x2 2x+2)2
dx = 2
con t [0, 1] y C recorrido en sentido positivo. Muestre que el denominador del inte-
grando no tiene ceros sobre C y que es continua en [0, 1]. Aplique entonces el ejercicio
anterior para concluir que es constantemente igual a algn entero. Concluya el ejercicio
observando a qu es igual (0) y (1). Para la continuidad de , probar que
Z
|t t0 | f (z)g (z) f (z)g(z)
|(t) (t0 )| = dz
2 C(f (z) + tg(z))(f (z) + t0 g(z))
y que, para todo z C, el mdulo de ese integrando est acotado por |f (z)g (z)f (z)g(z)|
(|f (z)||g(z)|)2
;
por lo tanto, para alguna constante positiva A, es |(t) (t0 )| A|t t0 |.)
19. En cada caso, determinar la cantidad de ceros (contando rdenes) de p(z) en el conjunto
R.
a) p(z) = z 7 4z 3 + z 1, R = {z C : |z| < 1}. (Sugerencia: f (z) = 4z 3 ,
g(z) = z 7 + z 1 y C = {z C : |z| = 1} para aplicar el Teorema de Rouch.)
(Solucin: 3)
b) p(z) = z 6 5z 4 + z 3 2z, R = {z C : |z| < 1}. (Solucin: 4)
c) p(z) = 2z 4 2z 3 + 2z 2 2z + 9, R = {z C : |z| < 1}. (Solucin: 0)
d ) p(z) = 2z 5 6z 2 + z + 1, R = {z C : 1 |z| < 2}. (Solucin: 3)
e) p(z) = ez cz n (con n natural, y c complejo de mdulo mayor que e), R = {z C :
|z| < 1}. (Solucin: n)
20. Usando el Teorema de Rouch, demostrar que cualquier polinomio de grado n 1 tiene
exactamente n races (contando multiplicidades). Obtener as una demostracin alter-
nativa del Teorema Fundamental del lgebra. (Sugerencia: Sea p(z) = z n + an1 z n1 +
+ a1 z + a0 . Argumentar por qu alcanza con tomar coeficiente unitario en el mo-
n n1
nomio
de mayor grado.
Pn1 Hacer f (z) = z , g(z) = an1 z + + a1 z + a0 , y C =
z C : |z| = 1 + k=0 |ak | . Mostrar que |f (z)| > |g(z)| sobre y fuera de C, y aplicar
Teorema de Rouch.)
Captulo 8
En este ltimo captulo, se presentar una fascinante aplicacin de las funciones de variable
compleja: los fractales. Veremos distintos mecanismos para generarlos, y trataremos de mostrar
algunas de las cuestiones matemticas que los sustentan. Nos basaremos, para ello, en varias
de las propiedades ya aprendidas para el sistema de los nmeros complejos.
1. Conjuntos de Julia
Veremos ahora cmo generar conjuntos con imgenes vistosas, en base a ideas realmente
muy sencillas.
1.1. Iteraciones, rbitas, escape. Sea f : C C una funcin de variable compleja
definida en todo el plano. f puede verse como una mquina procesadora que, alimentada con
z0 , produce f (z0 ). Qu ocurrira
si alimentsemos la procesadora con el nmero f (z0 )? Ob-
tendramos el complejo f f (z0 ) , denominado la composicin de f consigo misma, aplicada a
z0 , y denotada (f f )(z0 ).A su vez, podemos nuevamente alimentar a la mquina con este
nmero, y obtendramos f f f (z0 ) = (f f f )(z0 ). Si repitiramos indefinidamente este
proceso, generaramos una sucesin de nmeros complejos que se denomina la rbita de z0 bajo
la funcin f . Formalizamos esto de la siguiente manera.
Definicin 8.1. Dados un nmero complejo z0 y una funcin de variable compleja f : C
C, se define la rbita de z0 bajo f a la sucesin de nmeros complejos {zk }kN cuyo primer
elemento es z0 y, para k > 0, el k-simo trmino es zk = f (zk1 ).
Como puede constatarse a partir de la definicin, el k-simo trmino de la rbita corresponde
a la composicin de f consigo misma k veces, aplicada a z0 . Denotaremos f [k] a la funcin que
resulta de componer f consigo misma k veces (convenimos que f [0] es la funcin identidad),
de modo que el k-simo
trmino de la rbita de z0 es f [k] (z0 ), y la rbita completa de z0 es la
sucesin f [k] (z0 ) kN .
El proceso que conduce a la obtencin de la rbita de z0 se denomina iterativo, pues consiste
en aplicar reiterativamente la funcin f a lo que sali en la etapa anterior. El hecho de aplicar
f en cada paso se llama una iteracin.
Si imaginamos a f como una accin que mueve partculas en el plano (de modo que una
partcula en posicin correspondiente al complejo z, luego de aplicada la accin, queda en f (z))
que se aplica a intervalos regulares de tiempo, y a k como indicador de tiempo, podramos
interpretar a f [k] (z0 ) como la posicin, al instante k, de una partcula que inicialmente se
encontraba en z0 . Se tiene as un proceso dinmico. Interesa entonces saber cul es el destino
final de esa partcula, o, en otras palabras, qu ocurre con la rbita de z0 .
Definicin 8.2. Sea f una funcin de variable compleja, y z0 un nmero complejo. z0 es un
punto fijo para f si f (z0 ) = z0 . Se dice que z0 es un punto finalmente fijo para f si existe
n 0 tal que f [n+1] (z0 ) = f [n] (z0 ). El complejo z0 es un punto peridico para f si existe
m 1 tal que f [m] (z0 ) = z0 (en tal caso, m se denomina un perodo de z0 ). El punto z0 es un
punto finalmente peridico para f si existen n 0, m 1 tales que f [n+m] (z0 ) = f [n] (z0 )
(tal m se denomina un perodo final de z0 ). Se dice que la rbita de z0 bajo f no escapa si
existe R > 0 tal que n N, f [n] (z0 ) < R; en caso contrario, se dice que la rbita de z0 bajo
f escapa.
151
152 8. DINMICA EN EL PLANO COMPLEJO: FRACTALES
Una cuestin que debe haber dejado intrigado al lector es la determinacin de lo que significa
unos cuantos, tanto en nmero de iteraciones como en posibles valores de z0 . Nuevamente, esto
depende de f . En la siguiente seccin, abordaremos estas cuestiones para un caso especial, pero
de gran riqueza.
Demostracin. Sea c C tal que |c| > 2. Quiere decir que |c| = 2 + para algn > 0.
Veamos, por induccin en n 1, que f [n] (0) 2 + n. Para n = 1, f [1] (0) = |f (0)| =
2
[n]+ c| = |c| = 2 + , verificndose la base del proceso inductivo. Ahora supongamos que
|0
f (0) 2 + n, y comprobemos la aseveracin para n + 1. Tenemos que
[n+1] 2 2 2
f
(0) = f f [n] (0) = f [n] (0) + c f [n] (0) |c| = f [n] (0) |c|
(2 + n)2 |c| = 4 + 4n + n2 2 2 = 2 + (4n 1) + n2 2
2 + (4n 1) 2 + (n + 1)
completando la induccin.
Dado que para todo n 1 es f [n] (0) 2 + n, y que 2 + n tiende a con n, se tiene
que la rbita de 0 bajo fc escapa.
Por razones que veremos ms adelante, nos interesar restringirnos a valores de c tales que
la rbita de 0 bajo fc no escapa, por lo cual, en vistas del teorema 8.6, en la consideracin de la
familia cuadrtica, nos vamos a restringir a valores complejos de c que tengan mdulo menor o
igual que 2.
Teorema 8.7. Sea c un complejo tal que |c| 2. Entonces, la rbita de cualquier complejo
de mdulo mayor que 2 bajo fc escapa.
Demostracin. Sea z0 C tal que |z0 | > 2. Quiere decir que |z0 | = 1+ para algn > 1.
[n] n [1]
Veamos, por induccin en n 1, que f (z0 ) 1 + . Para n = 1, f (z0 ) = |z0 + c| 2
1.3.1. El mtodo directo. Los resultados anteriores nos proporcionan un criterio para aco-
tar la bsqueda de los z0 cuya rbita no escapa, en el caso en que la funcin sea un miembro
de la familia cuadrtica cuyo parmetro tenga mdulo menor o igual que 2: considerar slo
los z0 en el disco de radio 2 con centro en el origen. Igual siguen siendo infinitos, pero hemos
progresado bastante, pues tambin podemos ver que si algn punto de la rbita de z0 cae fuera
de ese disco, la rbita de z0 escapa con seguridad (recordar la observacin 8.4).
En relacin a la infinitud de los posibles z0 en el disco, podramos considerar slo los z0 que
se encuentren en los vrtices de una malla de paso pequeo, digamos . Es decir, calcular las
rbitas de todos los complejos de la forma (k, j), con k y j enteros satisfaciendo
2 2 2 2
k j
(si bien algunos de ellos corresponden a complejos de mdulo mayor que 2, se simplifica la tarea
computacionalmente.)
Con esta discretizacin, hemos soslayado el problema del infinito espacial, pues slo cal-
cularemos la rbita de una cantidad finita de puntos, a cambio de que obtendremos slo un
esbozo del verdadero conjunto de Julia relleno. El esbozo ser tanto ms parecido al conjunto
verdadero cuanto ms pequeo sea el valor de .
Y cmo soslayar el problema del infinito temporal? Podemos fijar un N , y calcular los
primeros N trminos de la rbita de cada z0 ; si en el clculo aparece un trmino de mdulo mayor
que 2, ya sabemos que la rbita de z0 escapa; si ninguno de esos trminos tiene mdulo mayor que
2, pronunciamos por decreto que no escapa (an cuando tal vez, en alguna iteracin posterior,
efectivamente pudiera aparecer un trmino de mdulo mayor que 2). De nuevo, obtenemos un
esbozo del verdadero conjunto, tanto ms parecido cuanto mayor sea N .
A pesar de las dos aproximaciones (la discretizacin del plano y la obtencin de los N pri-
meros trminos de cada rbita), los conjuntos que se obtienen suelen ser bastante aproximados
a los verdaderos conjuntos.
En resumen, podemos proceder de la siguiente manera, para tener una grfica aproximada
del conjunto de Julia relleno asociado a un miembro de la familia cuadrtica cuyo parmetro c
sea de mdulo a lo sumo 2:
1. Fijar real positivo y N entero positivo.
2. Para cada pareja de enteros k, j tales que 2 < k < 2 , 2 < j < 2 , calcular los N
primeros trminos de la rbita del complejo (k, j). Si alguno de ellos tiene mdulo
mayor que 2, el complejo (k, j) no pertenece al conjunto de Julia relleno asociado, y
en caso contrario consideraremos que s pertenece.
3. Marcar en el plano complejo el conjunto de todos los complejos que, de acuerdo al
procedimiento anterior, estn en el conjunto de Julia relleno.
Conforme vara c, cambia JfRc , obtenindose generalmente conjuntos fractales, que tienen la par-
ticularidad de que, al examinar porciones muy pequeas de los mismos, se encuentran rplicas
en menor escala de porciones ms grandes del dibujo. Esta propiedad se denomina autosimilari-
dad bajo magnificacin. En la figura 1, mostramos algunos conjuntos de Julia rellenos asociados
a miembros de la familia cuadrtica, indicando en cada caso el valor de c.
1.3.2. El mtodo de la rbita hacia atrs. Existe un ingenioso mtodo, que enunciarmos
ahora, para dibujar rpidamente un Conjunto de Julia (no relleno) Jfc asociado a un miembro
de la familia cuadrtica. Comencemos exponiendo un caso particular.
Ejemplo 8.8. Consideremos f (z) = z 2 , para la cual ya sabemos que Jf = {z C : |z| = 1}.
Sea z0 cualquier complejo no nulo, y consideremos las dos races cuadradas de z0 .
Si |z0 | > 1, sus races cuadradas tienen mdulo estrictamente entre 1 y |z0 |.
Si |z0 | < 1, sus races cuadradas tienen mdulo estrictamente entre |z0 | y 1.
Si |z0 | = 1, es decir, si z0 Jf , sus races cuadradas tambin estn en Jf .
1. CONJUNTOS DE JULIA 155
c=0 c = 1
Figura 1.
Por lo tanto, en cualquier caso, cualquiera de las races cuadradas de z0 est ms prxima a
Jf que lo que estaba z0 (o en Jf si z0 lo estaba). Repitiendo este razonamiento con las races
cuadradas de z0 , y continuando de manera anloga, obtenemos una sucesin de complejos cada
vez ms prximos a Jf (o directamente en Jf ). Si |z0 | 6= 1, el acercamiento de los puntos a
Jf ocurre con extremada velocidad, si tomamos cualquier z0 no nulo de mdulo a lo sumo 2.
Resulta que si dibujamos todos estos complejos (obviando los obtenidos en los, digamos, 50
primeros pasos), obtenemos una excelente aproximacin de Jf .
Ntese
que estamos obteniendo una especie de rbita de z0 , pero bajo la funcin2 multiforme
g(z) = z, que es, en algn sentido, inversa de la funcin cuadrtica f (z) = z . Tal rbita
se llama la rbita hacia atrs de z0 , y tiene la particularidad de que dibujando sus puntos
(obviando los primeros) se obtiene la mencionada aproximacin de Jf .
Con herramientas avanzadas, puede demostrarse que el procedimiento explicado ms arriba
puede abreviarse considerando en cada paso slo una de las dos races cuadradas obtenidas,
elegida al azar (teniendo cada raz probabilidad 50 % de ser elegida), mantenindose el hecho
de que, al dibujar los puntos obtenidos (obviando los primeros), se obtiene una aproximacin
de Jf .
c=0 c = 1
Figura 2.
2. El conjunto de Mandelbrot
Del anlisis visual de los conjuntos de Julia correspondientes a la familia cuadrtica, se
desprende que los mismos caen en una de las siguientes dos categoras:
Constan de una sola pieza, es decir, son conexos.
Son conjuntos totalmente disconexos, es decir, constan de infinitas piezas, y sus com-
ponentes conexas son conjuntos unitarios.
Los conjuntos que caen en esta ltima categora se denominan polvo fractal.
No es trivial la demostracin de que, efectivamente, desde el punto de vista de la conexidad,
no hay otras posibilidades para los conjuntos de Julia asociados a la familia cuadrtica. Es
sorprendente el hecho de que la rbita del 0 permite discernir a qu categora pertenece el
respectivo conjunto Julia: Jz2 +c es un polvo fractal si, y slo si, la rbita de 0 bajo la funcin
z 2 + c escapa. Este hecho, cuya demostracin est fuera del alcance de estas notas, motiva la
siguiente definicin.
Definicin 8.9. El conjunto de Mandelbrot asociado a la familia cuadrtica, denotado
M, es el conjunto de todos los complejos c tales que la rbita de 0 bajo la funcin fc (z) = z 2 + c
no escapa. Equivalentemente, M es el conjunto de todos los complejos c tales que el conjunto
de Julia asociado a la funcin fc (z) = z 2 + c es conexo.
A la hora de dibujar M, se nos presentan nuevamente los infinitos espacial y temporal.
Gracias al teorema 8.6, sabemos que M est contenido en el disco de radio 2 con centro en el
origen. Podemos discretizar eligiendo un y considerando slo los valores de c que corresponden
a los vrtices de la respectiva malla. Adems, podemos fijar de antemano un N y calcular los N
primeros trminos de la rbita de 0 (para cada funcin de acuerdo a los valores de c); si algn
3. SISTEMAS DE FUNCIONES ITERADAS 157
Figura 3.
y conjunto inicial B0 = {i}, algunos elementos de la sucesin {Bk }kN se muestran en la figura
siguiente.
158 8. DINMICA EN EL PLANO COMPLEJO: FRACTALES
B0 B4 B6 B8
El siguiente resultado, conocido como el Teorema del Punto Fijo de las Transforma-
ciones Contractivas, es clave para la demostracin de la existencia y unicidad del atractor
de los SFI, y de la independencia respecto del conjunto inicial.
Teorema 8.13. Sea f : X X una contraccin del espacio mtrico completo (X, d).
Entonces, f posee un nico punto fijo xf X, que adems satisface que
para todo x X, lm f [k] (x) = xf
k
Ahora ya estamos en condiciones de definir una distancia entre elementos de H que capture
adecuadamente cun parecidas son dos figuras de ese conjunto.
Definicin 8.26. Para A, B H, se define la distancia entre A y B mediante
h (A, B) = max {dc (A, B) , dc (B, A)}
Teorema 8.27. La funcin h : H H R+ 0 anteriormente definida es efectivamente una
distancia para el espacio H. En consecuencia, (H, h) es un espacio mtrico.
Demostracin.
1. Dados A, B H, dc (A, B) y dc (B, A) son nmeros reales no negativos (proposicin
8.22), luego h (A, B) tambin lo es.
2. De la proposicin 8.23, h (A, A) = max {dc (A, A) , dc (A, A)} = 0. Adems, si A 6= B,
podemos suponer, sin prdida de generalidad, que existe a AB. Luego, dp (a, B) > 0
(observacin 8.16), as que h (A, B) dc (A, B) dp (a, B) > 0. En sntesis, tenemos
que h (A, B) = 0 si, y slo si, A = B.
3. Dados A, B H, tenemos que
h (A, B) = max {dc (A, B) , dc (B, A)}
= max {dc (B, A) , dc (A, B)} = h (B, A)
de donde vemos que se cumple el axioma de simetra.
162 8. DINMICA EN EL PLANO COMPLEJO: FRACTALES
3.3. Atractores. Ms arriba hemos visto que el proceso iterativo de un SFI consiste
en generar una sucesin de conjuntos aplicando reiteradamente la unin de transformados
w1 (Bk1 ) wn (Bk1 ). Formalmente, estamos considerando la transformacin
W : HH
W (B) = w1 (B) wn (B)
Para ver que efectivamente W (B) H toda vez que B H, empecemos recordando que
cada wj es una transformacin contractiva en C.
Demostracin. Puesto que B es compacto no vaco y que para cada j {1, . . . , n}, wj es
continua (lema 8.29), cada wj (B) es compacto no vaco (teorema 3.37), de donde w1 (B)
wn (B) es no vaco, y compacto pues es unin finita de conjuntos cerrados y acotados (teorema
2.10).
Demostracin. Del teorema 8.32, sabemos que W es una contraccin en el espacio mtrico
completo (H, h). Entonces, por el Teorema del Punto Fijo de las Transformaciones Contractivas,
existe un nico A H tal que W (A) = A, y lmk W [k] (B0 ) = A cualquiera sea B0 H.
Por construccin, la sucesin {B0 , B1 , B2 , . . .} cumple que su k-simo trmino (k > 0)
es Bk = W (Bk1 ), y de all que Bk = W [k] (B0 ). Luego, lmk Bk = A, cualquiera sea
B0 H.
Una consecuencia del resultado anterior es que el atractor A del SFI {w1 , . . . , wn } satisface
A = w1 (A) wn (A)
de donde se ve que si las wj son similitudes, entonces el atractor puede verse compuesto de n
copias ms pequeas de s mismo, es decir, goza de la propiedad de autosemejanza.
Bibliografa
165
166 PROGRAMA ANALTICO Y RGIMEN DE REGULARIZACIN Y APROBACIN
PROGRAMA ANALTICO
UNIDAD 1: Nmeros complejos.
Definiciones bsicas. Operaciones. Propiedades. Formas de representacin de nmeros comple-
jos. Interpretacin geomtrica. Potenciacin con exponentes enteros. Frmula de De Moivre.
Races. Forma exponencial. Logaritmos. Expresiones trigonomtricas e hiperblicas, y sus in-
versas. Potenciacin con base y exponente complejos.
UNIDAD 2: La topologa usual de los complejos.
Distancia eucldea. Entornos. Conjuntos abiertos, cerrados, acotados. Clausura. Conjuntos com-
pactos. Conjuntos conexos. Dominios y regiones. El plano extendido y la esfera de Riemann.
Proyeccin estereogrfica: obtencin de frmulas de conversin.
UNIDAD 3: Funciones de variable compleja.
Generalidades. Lmites: definicin y propiedades. Continuidad. Continuidad uniforme. Deriva-
da: propiedades. Ecuaciones de Cauchy-Riemann. Condiciones suficientes para derivabilidad.
Funciones analticas. Singularidades. Funciones armnicas: curvas de nivel. Funciones mltiple-
mente valuadas.
UNIDAD 4: Transformaciones en el plano complejo.
Curvas y contornos en el plano complejo. Transformacin de subconjuntos del plano. Repre-
sentacin conforme: condicin suficiente para conformidad de una transformacin analtica.
Transformaciones lineales: traslacin, rotacin, cambio de escala. Inversin. Transformaciones
de Mbius. Propiedades.
UNIDAD 5: Integracin.
Integracin de funciones de variable compleja sobre contornos: definicin y propiedades. La
desigualdad M-L. Integracin por medio de primitivas. Integracin sobre contornos cerrados:
Teorema de Cauchy-Goursat. Consecuencias. Frmulas integrales de Cauchy. Teorema de Mo-
rera. Teorema del mdulo mximo. Desigualdad de Cauchy. Teorema de Liouville. Teorema
Fundamental del lgebra.
UNIDAD 6: Series. Residuos.
Sucesiones y series de nmeros complejos. Convergencia. Propiedades. Sucesiones y series fun-
cionales. Convergencia puntual y convergencia uniforme. Propiedades. Criterio de Weierstrass.
Series de potencias: desarrollo en serie de Taylor. Crculo de convergencia. Condicin necesaria
para conformidad de una transformacin analtica. Series de Laurent y su uso para clasificacin
de singularidades aisladas. Comportamiento de una funcin en cercanas de singularidades. Re-
siduos: definicin, propiedades, formas de clculo. Teorema de los Residuos, y su aplicacin a
la resolucin de integrales reales. Principio del argumento. Teorema de Rouch.
UNIDAD 7: Dinmica en el plano complejo: Fractales.
Iteracin. rbitas. Escape. Conjuntos de Julia. La familia cuadrtica: mtodo directo y mto-
do de la rbita hacia atrs. Polvo fractal. El conjunto de Mandelbrot. Sistemas de funciones
iteradas. Atractores. Mtodos determinista y probabilstico.
PROGRAMA ANALTICO Y RGIMEN DE REGULARIZACIN Y APROBACIN 167